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/1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./apt-get-paranoid-1.0 /home/misc2010/data/2010/debian-dudf//1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf /home/misc2010/tmp/201012061533/apt-get-paranoid-1.0/1dcce248-4bb4-11df-9e6e-00163e7a6f5e.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: 0.95 1.04 1.07 5/52 5093
/proc/meminfo: memFree=875148/1048576 swapFree=2073632/2097144
[pid=5085] ppid=5084 vsize=2584 CPUtime=0
/proc/5085/stat : 5085 (apt-get-paranoi) S 5084 5085 2059 34821 2220 4202496 517 1358 0 0 0 0 0 0 18 0 1 0 874544337 2646016 281 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5085/statm: 646 281 237 194 0 32 0
[pid=5093] ppid=5085 vsize=2008 CPUtime=0.01
/proc/5093/stat : 5093 (cp) R 5085 5085 2059 34821 2220 4202496 253 0 0 0 0 1 0 0 25 0 1 0 874544338 2056192 183 1283457024 134512640 134614052 4294490656 18446744073709551615 4294960130 0 0 0 0 0 0 0 17 0 0 0 0
/proc/5093/statm: 502 183 145 25 0 48 0

[startup+0.142115 s]
/proc/loadavg: 0.95 1.04 1.07 5/52 5093
/proc/meminfo: memFree=875148/1048576 swapFree=2073632/2097144
[pid=5085] ppid=5084 vsize=2584 CPUtime=0.06
/proc/5085/stat : 5085 (apt-get-paranoi) R 5084 5085 2059 34821 2220 4202496 548 1858 0 0 0 0 0 6 25 0 1 0 874544337 2646016 284 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/5085/statm: 646 284 240 194 0 32 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2584

[startup+0.212124 s]
/proc/loadavg: 0.95 1.04 1.07 5/52 5093
/proc/meminfo: memFree=875148/1048576 swapFree=2073632/2097144
[pid=5085] ppid=5084 vsize=2584 CPUtime=0.06
/proc/5085/stat : 5085 (apt-get-paranoi) S 5084 5085 2059 34821 2220 4202496 566 1858 0 0 0 0 0 6 25 0 1 0 874544337 2646016 284 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5085/statm: 646 284 240 194 0 32 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2584

[startup+0.302135 s]
/proc/loadavg: 0.95 1.04 1.07 5/52 5093
/proc/meminfo: memFree=875148/1048576 swapFree=2073632/2097144
[pid=5085] ppid=5084 vsize=2584 CPUtime=0.06
/proc/5085/stat : 5085 (apt-get-paranoi) S 5084 5085 2059 34821 2220 4202496 566 1858 0 0 0 0 0 6 25 0 1 0 874544337 2646016 284 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5085/statm: 646 284 240 194 0 32 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2584

[startup+0.702198 s]
/proc/loadavg: 0.95 1.04 1.07 5/52 5093
/proc/meminfo: memFree=875148/1048576 swapFree=2073632/2097144
[pid=5085] ppid=5084 vsize=2584 CPUtime=0.06
/proc/5085/stat : 5085 (apt-get-paranoi) S 5084 5085 2059 34821 2220 4202496 566 1858 0 0 0 0 0 6 25 0 1 0 874544337 2646016 284 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5085/statm: 646 284 240 194 0 32 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2584

[startup+1.50233 s]
/proc/loadavg: 0.95 1.04 1.07 3/53 5096
/proc/meminfo: memFree=834324/1048576 swapFree=2073632/2097144
[pid=5085] ppid=5084 vsize=2584 CPUtime=0.06
/proc/5085/stat : 5085 (apt-get-paranoi) S 5084 5085 2059 34821 2220 4202496 566 1858 0 0 0 0 0 6 25 0 1 0 874544337 2646016 284 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5085/statm: 646 284 240 194 0 32 0
[pid=5096] ppid=5085 vsize=30528 CPUtime=1.43
/proc/5096/stat : 5096 (cudftodeb.nativ) R 5085 5085 2059 34821 2220 4202496 7216 0 0 0 139 4 0 0 25 0 1 0 874544343 31260672 7143 1283457024 134512640 135004320 4292173744 18446744073709551615 134947979 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/5096/statm: 7632 7143 225 121 0 7024 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33112

[startup+3.11261 s]
/proc/loadavg: 0.95 1.04 1.07 2/53 5096
/proc/meminfo: memFree=814608/1048576 swapFree=2073632/2097144
[pid=5085] ppid=5084 vsize=2584 CPUtime=0.06
/proc/5085/stat : 5085 (apt-get-paranoi) S 5084 5085 2059 34821 2220 4202496 566 1858 0 0 0 0 0 6 25 0 1 0 874544337 2646016 284 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5085/statm: 646 284 240 194 0 32 0
[pid=5096] ppid=5085 vsize=59424 CPUtime=3.02
/proc/5096/stat : 5096 (cudftodeb.nativ) R 5085 5085 2059 34821 2220 4202496 14271 0 0 0 297 5 0 0 25 0 1 0 874544343 60850176 14198 1283457024 134512640 135004320 4292173744 18446744073709551615 134996501 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/5096/statm: 14856 14198 225 121 0 14248 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 62008

[startup+6.31359 s]
/proc/loadavg: 0.95 1.04 1.07 2/53 5096
/proc/meminfo: memFree=758064/1048576 swapFree=2073632/2097144
[pid=5085] ppid=5084 vsize=2584 CPUtime=0.06
/proc/5085/stat : 5085 (apt-get-paranoi) S 5084 5085 2059 34821 2220 4202496 566 1858 0 0 0 0 0 6 25 0 1 0 874544337 2646016 284 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5085/statm: 646 284 240 194 0 32 0
[pid=5096] ppid=5085 vsize=113976 CPUtime=6.21
/proc/5096/stat : 5096 (cudftodeb.nativ) R 5085 5085 2059 34821 2220 4202496 27708 0 0 0 610 11 0 0 25 0 1 0 874544343 116711424 27635 1283457024 134512640 135004320 4292173744 18446744073709551615 4158613078 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/5096/statm: 28494 27635 237 121 0 27886 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 116560

[startup+12.7069 s]
/proc/loadavg: 0.96 1.04 1.07 2/53 5106
/proc/meminfo: memFree=757548/1048576 swapFree=2073632/2097144
[pid=5085] ppid=5084 vsize=2592 CPUtime=9.1
/proc/5085/stat : 5085 (apt-get-paranoi) S 5084 5085 2059 34821 2220 4202496 706 34074 0 1 0 0 877 33 18 0 1 0 874544337 2654208 295 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5085/statm: 648 295 249 194 0 34 0
[pid=5106] ppid=5085 vsize=101456 CPUtime=1.26
/proc/5106/stat : 5106 (apt-get) D 5085 5085 2059 34821 2220 4202496 6528 0 363 0 117 9 0 0 18 0 1 0 874545359 103890944 6814 1283457024 134512640 134619611 4288363056 18446744073709551615 4294960130 0 0 4096 134217728 18446744071564332537 0 0 17 0 0 0 0
/proc/5106/statm: 25364 6814 6761 27 0 58 0
Current children cumulated CPU time (s) 10.36
Current children cumulated vsize (KiB) 104048

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

[startup+12.8069 s]
/proc/loadavg: 0.96 1.04 1.07 2/53 5106
/proc/meminfo: memFree=757548/1048576 swapFree=2073632/2097144
[pid=5085] ppid=5084 vsize=2592 CPUtime=9.1
/proc/5085/stat : 5085 (apt-get-paranoi) S 5084 5085 2059 34821 2220 4202496 706 34074 0 1 0 0 877 33 18 0 1 0 874544337 2654208 295 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5085/statm: 648 295 249 194 0 34 0
[pid=5106] ppid=5085 vsize=101456 CPUtime=1.26
/proc/5106/stat : 5106 (apt-get) D 5085 5085 2059 34821 2220 4202496 6528 0 363 0 117 9 0 0 18 0 1 0 874545359 103890944 6814 1283457024 134512640 134619611 4288363056 18446744073709551615 4294960130 0 0 4096 134217728 18446744071564332537 0 0 17 0 0 0 0
/proc/5106/statm: 25364 6814 6761 27 0 58 0
Current children cumulated CPU time (s) 10.36
Current children cumulated vsize (KiB) 104048

[startup+13.2077 s]
/proc/loadavg: 0.96 1.04 1.07 2/53 5106
/proc/meminfo: memFree=754532/1048576 swapFree=2073632/2097144
[pid=5085] ppid=5084 vsize=2592 CPUtime=9.1
/proc/5085/stat : 5085 (apt-get-paranoi) S 5084 5085 2059 34821 2220 4202496 706 34074 0 1 0 0 877 33 18 0 1 0 874544337 2654208 295 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5085/statm: 648 295 249 194 0 34 0
[pid=5106] ppid=5085 vsize=31624 CPUtime=1.44
/proc/5106/stat : 5106 (apt-get) R 5085 5085 2059 34821 2220 4202496 13138 0 363 0 133 11 0 0 18 0 1 0 874545359 32382976 7018 1283457024 134512640 134619611 4288363056 18446744073709551615 4159620103 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/5106/statm: 7906 7018 6423 27 0 600 0
Current children cumulated CPU time (s) 10.54
Current children cumulated vsize (KiB) 34216

[startup+13.3082 s]
/proc/loadavg: 0.96 1.04 1.07 2/53 5106
/proc/meminfo: memFree=754532/1048576 swapFree=2073632/2097144
[pid=5085] ppid=5084 vsize=2592 CPUtime=9.1
/proc/5085/stat : 5085 (apt-get-paranoi) S 5084 5085 2059 34821 2220 4202496 706 34074 0 1 0 0 877 33 18 0 1 0 874544337 2654208 295 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5085/statm: 648 295 249 194 0 34 0
[pid=5106] ppid=5085 vsize=29456 CPUtime=1.54
/proc/5106/stat : 5106 (apt-get) R 5085 5085 2059 34821 2220 4202496 13256 0 363 0 142 12 0 0 18 0 1 0 874545359 30162944 4457 1283457024 134512640 134619611 4288363056 18446744073709551615 4294960130 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/5106/statm: 7364 4457 4403 27 0 58 0
Current children cumulated CPU time (s) 10.64
Current children cumulated vsize (KiB) 32048

Child status: 100
Real time (s): 13.3129
CPU time (s): 10.6567
CPU user time (s): 10.2006
CPU system time (s): 0.456028
CPU usage (%): 80.0476
Max. virtual memory (cumulated for all children) (KiB): 116808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2006
system time used= 0.456028
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48048
page faults= 364
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 242
involuntary context switches= 257

runsolver used 0 second user time and 0 second system time

The end