runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012061533/apt-get-paranoid-1.0/56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debian-dudf.log.runsolver ./apt-get-paranoid-1.0 /home/misc2010/data/2010/debian-dudf//56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf /home/misc2010/tmp/201012061533/apt-get-paranoid-1.0/56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debian-dudf.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.06 1.18 1.12 4/46 20358
/proc/meminfo: memFree=810868/1048576 swapFree=2078744/2097144
[pid=20356] ppid=20355 vsize=2576 CPUtime=0
/proc/20356/stat : 20356 (apt-get-paranoi) S 20355 20356 2059 34821 2220 4202496 399 156 0 0 0 0 0 0 18 0 1 0 875937706 2637824 277 1283457024 134512640 135304128 4293027856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20356/statm: 644 277 235 194 0 30 0
[pid=20358] ppid=20356 vsize=172 CPUtime=0.01
/proc/20358/stat : 20358 (mkdir) R 20356 20356 2059 34821 2220 4194304 71 0 0 0 0 1 0 0 25 0 1 0 875937707 176128 11 1283457024 134512640 134551716 4287552416 18446744073709551615 4159622864 0 0 0 0 0 0 0 17 0 0 0 0
/proc/20358/statm: 43 11 6 10 0 3 0

[startup+0.132627 s]
/proc/loadavg: 1.06 1.18 1.12 4/46 20358
/proc/meminfo: memFree=810868/1048576 swapFree=2078744/2097144
[pid=20356] ppid=20355 vsize=2584 CPUtime=0.06
/proc/20356/stat : 20356 (apt-get-paranoi) R 20355 20356 2059 34821 2220 4202496 548 1857 0 0 0 0 0 6 25 0 1 0 875937706 2646016 284 1283457024 134512640 135304128 4293027856 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/20356/statm: 646 284 240 194 0 32 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2584

[startup+0.202639 s]
/proc/loadavg: 1.06 1.18 1.12 4/46 20358
/proc/meminfo: memFree=810868/1048576 swapFree=2078744/2097144
[pid=20356] ppid=20355 vsize=2584 CPUtime=0.06
/proc/20356/stat : 20356 (apt-get-paranoi) S 20355 20356 2059 34821 2220 4202496 566 1857 0 0 0 0 0 6 25 0 1 0 875937706 2646016 284 1283457024 134512640 135304128 4293027856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20356/statm: 646 284 240 194 0 32 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2584

[startup+0.31266 s]
/proc/loadavg: 1.06 1.18 1.12 4/46 20358
/proc/meminfo: memFree=810868/1048576 swapFree=2078744/2097144
[pid=20356] ppid=20355 vsize=2584 CPUtime=0.06
/proc/20356/stat : 20356 (apt-get-paranoi) S 20355 20356 2059 34821 2220 4202496 566 1857 0 0 0 0 0 6 25 0 1 0 875937706 2646016 284 1283457024 134512640 135304128 4293027856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20356/statm: 646 284 240 194 0 32 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2584

[startup+0.712746 s]
/proc/loadavg: 1.06 1.18 1.12 4/46 20358
/proc/meminfo: memFree=810868/1048576 swapFree=2078744/2097144
[pid=20356] ppid=20355 vsize=2584 CPUtime=0.06
/proc/20356/stat : 20356 (apt-get-paranoi) S 20355 20356 2059 34821 2220 4202496 566 1857 0 0 0 0 0 6 25 0 1 0 875937706 2646016 284 1283457024 134512640 135304128 4293027856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20356/statm: 646 284 240 194 0 32 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2584

[startup+1.51287 s]
/proc/loadavg: 1.06 1.17 1.12 2/47 20367
/proc/meminfo: memFree=769696/1048576 swapFree=2078744/2097144
[pid=20356] ppid=20355 vsize=2584 CPUtime=0.06
/proc/20356/stat : 20356 (apt-get-paranoi) S 20355 20356 2059 34821 2220 4202496 566 1857 0 0 0 0 0 6 25 0 1 0 875937706 2646016 284 1283457024 134512640 135304128 4293027856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20356/statm: 646 284 240 194 0 32 0
[pid=20367] ppid=20356 vsize=30952 CPUtime=1.46
/proc/20367/stat : 20367 (cudftodeb.nativ) R 20356 20356 2059 34821 2220 4202496 7310 0 0 0 142 4 0 0 25 0 1 0 875937712 31694848 7237 1283457024 134512640 135004320 4292054928 18446744073709551615 134943943 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/20367/statm: 7738 7237 225 121 0 7130 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 33536

[startup+3.11316 s]
/proc/loadavg: 1.06 1.17 1.12 2/47 20367
/proc/meminfo: memFree=749360/1048576 swapFree=2078744/2097144
[pid=20356] ppid=20355 vsize=2584 CPUtime=0.06
/proc/20356/stat : 20356 (apt-get-paranoi) S 20355 20356 2059 34821 2220 4202496 566 1857 0 0 0 0 0 6 25 0 1 0 875937706 2646016 284 1283457024 134512640 135304128 4293027856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20356/statm: 646 284 240 194 0 32 0
[pid=20367] ppid=20356 vsize=60172 CPUtime=3.05
/proc/20367/stat : 20367 (cudftodeb.nativ) R 20356 20356 2059 34821 2220 4202496 14499 0 0 0 299 6 0 0 25 0 1 0 875937712 61616128 14421 1283457024 134512640 135004320 4292054928 18446744073709551615 134959907 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/20367/statm: 15043 14421 225 121 0 14435 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 62756

[startup+6.31387 s]
/proc/loadavg: 1.21 1.20 1.13 2/47 20367
/proc/meminfo: memFree=689840/1048576 swapFree=2078744/2097144
[pid=20356] ppid=20355 vsize=2584 CPUtime=0.06
/proc/20356/stat : 20356 (apt-get-paranoi) S 20355 20356 2059 34821 2220 4202496 566 1857 0 0 0 0 0 6 25 0 1 0 875937706 2646016 284 1283457024 134512640 135304128 4293027856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20356/statm: 646 284 240 194 0 32 0
[pid=20367] ppid=20356 vsize=114972 CPUtime=6.24
/proc/20367/stat : 20367 (cudftodeb.nativ) R 20356 20356 2059 34821 2220 4202496 27982 0 0 0 611 13 0 0 25 0 1 0 875937712 117731328 27904 1283457024 134512640 135004320 4292054928 18446744073709551615 134868867 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/20367/statm: 28743 27904 237 121 0 28135 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 117556

Solver just ended. Dumping a history of the last processes samples

[startup+6.40389 s]
/proc/loadavg: 1.21 1.20 1.13 2/47 20367
/proc/meminfo: memFree=689840/1048576 swapFree=2078744/2097144
[pid=20356] ppid=20355 vsize=2584 CPUtime=0.06
/proc/20356/stat : 20356 (apt-get-paranoi) S 20355 20356 2059 34821 2220 4202496 566 1857 0 0 0 0 0 6 25 0 1 0 875937706 2646016 284 1283457024 134512640 135304128 4293027856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20356/statm: 646 284 240 194 0 32 0
[pid=20367] ppid=20356 vsize=114972 CPUtime=6.33
/proc/20367/stat : 20367 (cudftodeb.nativ) R 20356 20356 2059 34821 2220 4202496 27982 0 0 0 620 13 0 0 25 0 1 0 875937712 117731328 27904 1283457024 134512640 135004320 4292054928 18446744073709551615 4158387791 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/20367/statm: 28743 27904 237 121 0 28135 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 117556

[startup+9.60725 s]
/proc/loadavg: 1.21 1.20 1.13 1/47 20375
/proc/meminfo: memFree=745584/1048576 swapFree=2078744/2097144
[pid=20356] ppid=20355 vsize=2592 CPUtime=8.4
/proc/20356/stat : 20356 (apt-get-paranoi) S 20355 20356 2059 34821 2220 4202496 650 31696 0 0 0 0 814 26 18 0 1 0 875937706 2654208 287 1283457024 134512640 135304128 4293027856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20356/statm: 648 287 241 194 0 34 0
[pid=20371] ppid=20356 vsize=101504 CPUtime=0.25
/proc/20371/stat : 20371 (apt-get) D 20356 20356 2059 34821 2220 4202496 551 1680 1 0 0 0 22 3 24 0 1 0 875938548 103940096 422 1283457024 134512640 134619611 4286974192 18446744073709551615 4294960130 0 0 4096 134217728 18446744071696460772 0 0 17 0 0 0 0
/proc/20371/statm: 25376 422 374 27 0 70 0
Current children cumulated CPU time (s) 8.65
Current children cumulated vsize (KiB) 104096

[startup+11.2096 s]
/proc/loadavg: 1.19 1.20 1.13 2/47 20377
/proc/meminfo: memFree=726588/1048576 swapFree=2078744/2097144
[pid=20356] ppid=20355 vsize=2592 CPUtime=8.7
/proc/20356/stat : 20356 (apt-get-paranoi) S 20355 20356 2059 34821 2220 4202496 705 34203 0 1 0 0 841 29 18 0 1 0 875937706 2654208 295 1283457024 134512640 135304128 4293027856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20356/statm: 648 295 249 194 0 34 0
[pid=20377] ppid=20356 vsize=101452 CPUtime=1.04
/proc/20377/stat : 20377 (apt-get) R 20356 20356 2059 34821 2220 4202496 5976 0 330 0 103 1 0 0 22 0 1 0 875938718 103886848 6230 1283457024 134512640 134619611 4286576768 18446744073709551615 4159057217 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/20377/statm: 25363 6230 6177 27 0 57 0
Current children cumulated CPU time (s) 9.74
Current children cumulated vsize (KiB) 104044

[startup+12.0073 s]
/proc/loadavg: 1.19 1.20 1.13 2/47 20377
/proc/meminfo: memFree=726588/1048576 swapFree=2078744/2097144
[pid=20356] ppid=20355 vsize=2592 CPUtime=8.7
/proc/20356/stat : 20356 (apt-get-paranoi) S 20355 20356 2059 34821 2220 4202496 705 34203 0 1 0 0 841 29 18 0 1 0 875937706 2654208 295 1283457024 134512640 135304128 4293027856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20356/statm: 648 295 249 194 0 34 0
[pid=20377] ppid=20356 vsize=101452 CPUtime=1.17
/proc/20377/stat : 20377 (apt-get) D 20356 20356 2059 34821 2220 4202496 6289 0 349 0 111 6 0 0 18 0 1 0 875938718 103886848 6562 1283457024 134512640 134619611 4286576768 18446744073709551615 4294960130 0 0 4096 134217728 18446744071564332537 0 0 17 0 0 0 0
/proc/20377/statm: 25363 6562 6509 27 0 57 0
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (KiB) 104044

[startup+12.4084 s]
/proc/loadavg: 1.19 1.20 1.13 1/47 20377
/proc/meminfo: memFree=697488/1048576 swapFree=2078744/2097144
[pid=20356] ppid=20355 vsize=2592 CPUtime=8.7
/proc/20356/stat : 20356 (apt-get-paranoi) S 20355 20356 2059 34821 2220 4202496 705 34203 0 1 0 0 841 29 18 0 1 0 875937706 2654208 295 1283457024 134512640 135304128 4293027856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20356/statm: 648 295 249 194 0 34 0
[pid=20377] ppid=20356 vsize=101452 CPUtime=1.18
/proc/20377/stat : 20377 (apt-get) R 20356 20356 2059 34821 2220 4202496 6289 0 349 0 111 7 0 0 18 0 1 0 875938718 103886848 418 1283457024 134512640 134619611 4286576768 18446744073709551615 4294960130 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/20377/statm: 25363 418 365 27 0 57 0
Current children cumulated CPU time (s) 9.88
Current children cumulated vsize (KiB) 104044

[startup+12.6117 s]
/proc/loadavg: 1.19 1.20 1.13 1/47 20377
/proc/meminfo: memFree=697488/1048576 swapFree=2078744/2097144
[pid=20356] ppid=20355 vsize=2592 CPUtime=8.7
/proc/20356/stat : 20356 (apt-get-paranoi) S 20355 20356 2059 34821 2220 4202496 705 34203 0 1 0 0 841 29 18 0 1 0 875937706 2654208 295 1283457024 134512640 135304128 4293027856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20356/statm: 648 295 249 194 0 34 0
[pid=20377] ppid=20356 vsize=30520 CPUtime=1.39
/proc/20377/stat : 20377 (apt-get) R 20356 20356 2059 34821 2220 4202496 12648 0 349 0 132 7 0 0 18 0 1 0 875938718 31252480 6767 1283457024 134512640 134619611 4286576768 18446744073709551615 4156658869 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/20377/statm: 7630 6767 6196 27 0 574 0
Current children cumulated CPU time (s) 10.09
Current children cumulated vsize (KiB) 33112

Child status: 100
Real time (s): 12.667
CPU time (s): 10.1526
CPU user time (s): 9.77661
CPU system time (s): 0.376023
CPU usage (%): 80.1505
Max. virtual memory (cumulated for all children) (KiB): 117556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.77661
system time used= 0.376023
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47667
page faults= 350
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 224
involuntary context switches= 229

runsolver used 0 second user time and 0 second system time

The end