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/201012070034/apt-pbo-trendy-1.0.6/rand0aa5c1.cudf.difficult.log.runsolver ./apt-pbo-trendy-1.0.6 /home/misc2010/data/2010/difficult//rand0aa5c1.cudf /home/misc2010/tmp/201012070034/apt-pbo-trendy-1.0.6/rand0aa5c1.cudf.difficult.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.04 1.06 1.02 1/43 7316
/proc/meminfo: memFree=728768/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=3028 CPUtime=0
/proc/7316/stat : 7316 (runsolver) R 7315 7316 4159 34819 4229 4202560 72 0 0 0 0 0 0 0 25 0 1 0 878223981 3100672 94 1283457024 134512640 134586868 4287554112 18446744073709551615 4294960130 0 0 0 24578 0 0 0 17 0 0 0 0
/proc/7316/statm: 757 94 62 19 0 55 0

[startup+0.137044 s]
/proc/loadavg: 1.04 1.06 1.02 1/43 7316
/proc/meminfo: memFree=728768/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1680

[startup+0.20506 s]
/proc/loadavg: 1.04 1.06 1.02 1/43 7316
/proc/meminfo: memFree=728768/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1680

[startup+0.312716 s]
/proc/loadavg: 1.04 1.06 1.02 1/43 7316
/proc/meminfo: memFree=728768/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1680

[startup+0.71278 s]
/proc/loadavg: 1.04 1.06 1.02 1/43 7316
/proc/meminfo: memFree=728768/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1680

[startup+1.51289 s]
/proc/loadavg: 1.04 1.06 1.02 2/46 7322
/proc/meminfo: memFree=705112/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
[pid=7319] ppid=7316 vsize=8352 CPUtime=0.03
/proc/7319/stat : 7319 (apt-pbo) S 7316 7316 4159 34819 4229 4202496 1612 414 0 0 3 0 0 0 25 0 1 0 878223981 8552448 1422 1283457024 134512640 135744540 4291798608 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/7319/statm: 2088 1422 646 301 0 821 0
[pid=7322] ppid=7319 vsize=29672 CPUtime=1.27
/proc/7322/stat : 7322 (cudftodeb.nativ) R 7319 7316 4159 34819 4229 4202496 7096 0 9 0 125 2 0 0 25 0 1 0 878224000 30384128 7022 1283457024 134512640 135029684 4287785712 18446744073709551615 135011785 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/7322/statm: 7418 7022 247 127 0 6801 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 39704

[startup+3.1131 s]
/proc/loadavg: 1.04 1.06 1.02 2/46 7322
/proc/meminfo: memFree=682916/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
[pid=7319] ppid=7316 vsize=8352 CPUtime=0.03
/proc/7319/stat : 7319 (apt-pbo) S 7316 7316 4159 34819 4229 4202496 1612 414 0 0 3 0 0 0 25 0 1 0 878223981 8552448 1422 1283457024 134512640 135744540 4291798608 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/7319/statm: 2088 1422 646 301 0 821 0
[pid=7322] ppid=7319 vsize=65212 CPUtime=2.87
/proc/7322/stat : 7322 (cudftodeb.nativ) R 7319 7316 4159 34819 4229 4202496 15853 0 9 0 280 7 0 0 25 0 1 0 878224000 66777088 15779 1283457024 134512640 135029684 4287785712 18446744073709551615 4159786774 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/7322/statm: 16303 15779 257 127 0 15686 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 75244

[startup+6.3138 s]
/proc/loadavg: 1.04 1.06 1.02 2/46 7322
/proc/meminfo: memFree=672004/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
[pid=7319] ppid=7316 vsize=8352 CPUtime=0.03
/proc/7319/stat : 7319 (apt-pbo) S 7316 7316 4159 34819 4229 4202496 1612 414 0 0 3 0 0 0 25 0 1 0 878223981 8552448 1422 1283457024 134512640 135744540 4291798608 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/7319/statm: 2088 1422 646 301 0 821 0
[pid=7322] ppid=7319 vsize=47068 CPUtime=6.07
/proc/7322/stat : 7322 (cudftodeb.nativ) R 7319 7316 4159 34819 4229 4202496 20160 0 9 0 508 99 0 0 25 0 1 0 878224000 48197632 11336 1283457024 134512640 135029684 4287785712 18446744073709551615 134965966 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/7322/statm: 11767 11336 258 127 0 11150 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 57100

[startup+12.7117 s]
/proc/loadavg: 1.03 1.06 1.02 2/46 7336
/proc/meminfo: memFree=640788/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
[pid=7319] ppid=7316 vsize=31508 CPUtime=10.11
/proc/7319/stat : 7319 (apt-pbo) S 7316 7316 4159 34819 4229 4202496 7733 35930 0 291 36 14 800 161 18 0 1 0 878223981 32264192 7019 1283457024 134512640 135744540 4291798608 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/7319/statm: 7877 7019 5165 301 0 1884 0
[pid=7336] ppid=7319 vsize=13760 CPUtime=0.81
/proc/7336/stat : 7336 (wbo) R 7319 7316 4159 34819 4229 4202496 3825 0 0 0 77 4 0 0 21 0 1 0 878225170 14090240 3162 1283457024 4194304 5578286 140737449511904 18446744073709551615 4273355 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7336/statm: 3440 3162 158 338 0 3099 0
Current children cumulated CPU time (s) 10.92
Current children cumulated vsize (KiB) 46948

[startup+25.5043 s]
/proc/loadavg: 1.02 1.05 1.02 2/46 7336
/proc/meminfo: memFree=604348/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
[pid=7319] ppid=7316 vsize=31508 CPUtime=10.12
/proc/7319/stat : 7319 (apt-pbo) S 7316 7316 4159 34819 4229 4202496 7733 35930 0 291 36 15 800 161 18 0 1 0 878223981 32264192 7019 1283457024 134512640 135744540 4291798608 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/7319/statm: 7877 7019 5165 301 0 1884 0
[pid=7336] ppid=7319 vsize=46480 CPUtime=13.59
/proc/7336/stat : 7336 (wbo) R 7319 7316 4159 34819 4229 4202496 12013 0 0 0 1340 19 0 0 25 0 1 0 878225170 47595520 11350 1283457024 4194304 5578286 140737449511904 18446744073709551615 4273351 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7336/statm: 11620 11350 158 338 0 11279 0
Current children cumulated CPU time (s) 23.71
Current children cumulated vsize (KiB) 79668

[startup+51.1101 s]
/proc/loadavg: 1.02 1.05 1.01 2/46 7336
/proc/meminfo: memFree=582400/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
[pid=7319] ppid=7316 vsize=31508 CPUtime=10.12
/proc/7319/stat : 7319 (apt-pbo) S 7316 7316 4159 34819 4229 4202496 7733 35930 0 291 36 15 800 161 18 0 1 0 878223981 32264192 7019 1283457024 134512640 135744540 4291798608 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/7319/statm: 7877 7019 5165 301 0 1884 0
[pid=7336] ppid=7319 vsize=67800 CPUtime=39.16
/proc/7336/stat : 7336 (wbo) R 7319 7316 4159 34819 4229 4202496 17337 0 0 0 3888 28 0 0 25 0 1 0 878225170 69427200 16674 1283457024 4194304 5578286 140737449511904 18446744073709551615 4273264 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7336/statm: 16950 16674 158 338 0 16609 0
Current children cumulated CPU time (s) 49.28
Current children cumulated vsize (KiB) 100988

[startup+102.312 s]
/proc/loadavg: 1.00 1.04 1.01 2/46 7336
/proc/meminfo: memFree=580540/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
[pid=7319] ppid=7316 vsize=31508 CPUtime=10.13
/proc/7319/stat : 7319 (apt-pbo) S 7316 7316 4159 34819 4229 4202496 7733 35930 0 291 36 16 800 161 18 0 1 0 878223981 32264192 7019 1283457024 134512640 135744540 4291798608 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/7319/statm: 7877 7019 5165 301 0 1884 0
[pid=7336] ppid=7319 vsize=70248 CPUtime=90.3
/proc/7336/stat : 7336 (wbo) R 7319 7316 4159 34819 4229 4202496 17947 0 0 0 8994 36 0 0 25 0 1 0 878225170 71933952 17284 1283457024 4194304 5578286 140737449511904 18446744073709551615 4289908 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7336/statm: 17562 17284 158 338 0 17221 0
Current children cumulated CPU time (s) 100.43
Current children cumulated vsize (KiB) 103436

[startup+162.305 s]
/proc/loadavg: 1.00 1.03 1.00 2/46 7336
/proc/meminfo: memFree=580540/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
[pid=7319] ppid=7316 vsize=31508 CPUtime=10.14
/proc/7319/stat : 7319 (apt-pbo) S 7316 7316 4159 34819 4229 4202496 7733 35930 0 291 36 17 800 161 18 0 1 0 878223981 32264192 7019 1283457024 134512640 135744540 4291798608 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/7319/statm: 7877 7019 5165 301 0 1884 0
[pid=7336] ppid=7319 vsize=70248 CPUtime=150.22
/proc/7336/stat : 7336 (wbo) R 7319 7316 4159 34819 4229 4202496 17947 0 0 0 14974 48 0 0 25 0 1 0 878225170 71933952 17284 1283457024 4194304 5578286 140737449511904 18446744073709551615 4289936 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7336/statm: 17562 17284 158 338 0 17221 0
Current children cumulated CPU time (s) 160.36
Current children cumulated vsize (KiB) 103436

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

[startup+179.209 s]
/proc/loadavg: 1.00 1.03 1.00 2/46 7336
/proc/meminfo: memFree=580416/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
[pid=7319] ppid=7316 vsize=31508 CPUtime=10.14
/proc/7319/stat : 7319 (apt-pbo) S 7316 7316 4159 34819 4229 4202496 7733 35930 0 291 36 17 800 161 18 0 1 0 878223981 32264192 7019 1283457024 134512640 135744540 4291798608 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/7319/statm: 7877 7019 5165 301 0 1884 0
[pid=7336] ppid=7319 vsize=70396 CPUtime=167.11
/proc/7336/stat : 7336 (wbo) R 7319 7316 4159 34819 4229 4202496 17974 0 0 0 16659 52 0 0 25 0 1 0 878225170 72085504 17311 1283457024 4194304 5578286 140737449511904 18446744073709551615 4284146 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7336/statm: 17599 17311 158 338 0 17258 0
Current children cumulated CPU time (s) 177.25
Current children cumulated vsize (KiB) 103584

[startup+192.002 s]
/proc/loadavg: 1.00 1.03 1.00 2/46 7336
/proc/meminfo: memFree=575580/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
[pid=7319] ppid=7316 vsize=31508 CPUtime=10.14
/proc/7319/stat : 7319 (apt-pbo) S 7316 7316 4159 34819 4229 4202496 7733 35930 0 291 36 17 800 161 18 0 1 0 878223981 32264192 7019 1283457024 134512640 135744540 4291798608 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/7319/statm: 7877 7019 5165 301 0 1884 0
[pid=7336] ppid=7319 vsize=75644 CPUtime=179.89
/proc/7336/stat : 7336 (wbo) R 7319 7316 4159 34819 4229 4202496 19289 0 0 0 17934 55 0 0 25 0 1 0 878225170 77459456 18626 1283457024 4194304 5578286 140737449511904 18446744073709551615 4289927 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7336/statm: 18911 18626 158 338 0 18570 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (KiB) 108832

[startup+198.414 s]
/proc/loadavg: 1.00 1.03 1.00 2/46 7336
/proc/meminfo: memFree=103760/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
[pid=7319] ppid=7316 vsize=31508 CPUtime=10.14
/proc/7319/stat : 7319 (apt-pbo) S 7316 7316 4159 34819 4229 4202496 7735 35930 0 291 36 17 800 161 18 0 1 0 878223981 32264192 7019 1283457024 134512640 135744540 4291798608 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/7319/statm: 7877 7019 5165 301 0 1884 0
[pid=7336] ppid=7319 vsize=582068 CPUtime=186.28
/proc/7336/stat : 7336 (wbo) R 7319 7316 4159 34819 4229 4202496 146218 0 0 0 18536 92 0 0 25 0 1 0 878225170 596037632 145283 1283457024 4194304 5578286 140737449511904 18446744073709551615 4885555 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7336/statm: 145517 145283 160 338 0 145176 0
Current children cumulated CPU time (s) 196.42
Current children cumulated vsize (KiB) 615256

[startup+204.814 s]
/proc/loadavg: 1.00 1.02 1.00 2/46 7336
/proc/meminfo: memFree=877276/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
[pid=7319] ppid=7316 vsize=38040 CPUtime=12.81
/proc/7319/stat : 7319 (apt-pbo) R 7316 7316 4159 34819 4229 4202496 9739 35930 1 291 302 18 800 161 22 0 1 0 878223981 38952960 8658 1283457024 134512640 135744540 4291798608 18446744073709551615 135282638 0 0 128 0 0 0 0 17 0 0 0 0
/proc/7319/statm: 9510 8658 5169 301 0 3517 0
[pid=7336] ppid=7319 vsize=0 CPUtime=189.77
/proc/7336/stat : 7336 (wbo) Z 7319 7316 4159 34819 4229 4202508 220092 0 2 0 18858 119 0 0 25 0 1 0 878225170 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0
/proc/7336/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 202.58
Current children cumulated vsize (KiB) 39720

[startup+206.412 s]
/proc/loadavg: 1.00 1.02 1.00 2/46 7336
/proc/meminfo: memFree=877276/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
[pid=7319] ppid=7316 vsize=38040 CPUtime=14.18
/proc/7319/stat : 7319 (apt-pbo) S 7316 7316 4159 34819 4229 4202496 9773 35930 1 291 439 18 800 161 24 0 1 0 878223981 38952960 8658 1283457024 134512640 135744540 4291798608 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/7319/statm: 9510 8658 5169 301 0 3517 0
[pid=7336] ppid=7319 vsize=0 CPUtime=189.77
/proc/7336/stat : 7336 (wbo) Z 7319 7316 4159 34819 4229 4202508 220092 0 2 0 18858 119 0 0 25 0 1 0 878225170 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0
/proc/7336/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 39720

[startup+208.012 s]
/proc/loadavg: 1.00 1.02 1.00 2/48 7340
/proc/meminfo: memFree=877300/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
[pid=7319] ppid=7316 vsize=38040 CPUtime=14.44
/proc/7319/stat : 7319 (apt-pbo) S 7316 7316 4159 34819 4229 4202496 9773 35930 1 291 453 30 800 161 18 0 1 0 878223981 38952960 8658 1283457024 134512640 135744540 4291798608 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/7319/statm: 9510 8658 5169 301 0 3517 0
[pid=7336] ppid=7319 vsize=0 CPUtime=189.77
/proc/7336/stat : 7336 (wbo) Z 7319 7316 4159 34819 4229 4202508 220092 0 2 0 18858 119 0 0 25 0 1 0 878225170 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0
/proc/7336/statm: 0 0 0 0 0 0 0
[pid=7337] ppid=7319 vsize=2600 CPUtime=0
/proc/7337/stat : 7337 (apt-get.sh) S 7319 7316 4159 34819 4229 4202496 429 487 2 1 0 0 0 0 25 0 1 0 878244600 2662400 283 1283457024 134512640 135304128 4294620224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7337/statm: 650 283 235 194 0 36 0
[pid=7340] ppid=7337 vsize=25108 CPUtime=1.43
/proc/7340/stat : 7340 (apt-get) R 7337 7316 4159 34819 4229 4202496 5621 0 0 0 126 17 0 0 25 0 1 0 878244607 25710592 5505 1283457024 134512640 134649604 4294452304 18446744073709551615 4156578684 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/7340/statm: 6277 5505 4860 34 0 641 0
Current children cumulated CPU time (s) 205.64
Current children cumulated vsize (KiB) 67428

[startup+208.412 s]
/proc/loadavg: 1.00 1.02 1.00 2/48 7340
/proc/meminfo: memFree=877300/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
[pid=7319] ppid=7316 vsize=38040 CPUtime=14.48
/proc/7319/stat : 7319 (apt-pbo) S 7316 7316 4159 34819 4229 4202496 9773 35930 1 291 454 33 800 161 18 0 1 0 878223981 38952960 8658 1283457024 134512640 135744540 4291798608 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/7319/statm: 9510 8658 5169 301 0 3517 0
[pid=7336] ppid=7319 vsize=0 CPUtime=189.77
/proc/7336/stat : 7336 (wbo) Z 7319 7316 4159 34819 4229 4202508 220092 0 2 0 18858 119 0 0 25 0 1 0 878225170 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0
/proc/7336/statm: 0 0 0 0 0 0 0
[pid=7337] ppid=7319 vsize=2600 CPUtime=0
/proc/7337/stat : 7337 (apt-get.sh) S 7319 7316 4159 34819 4229 4202496 429 487 2 1 0 0 0 0 25 0 1 0 878244600 2662400 283 1283457024 134512640 135304128 4294620224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7337/statm: 650 283 235 194 0 36 0
[pid=7340] ppid=7337 vsize=25356 CPUtime=1.79
/proc/7340/stat : 7340 (apt-get) R 7337 7316 4159 34819 4229 4202496 5642 0 0 0 155 24 0 0 25 0 1 0 878244607 25964544 5526 1283457024 134512640 134649604 4294452304 18446744073709551615 4156291647 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/7340/statm: 6339 5526 4860 34 0 703 0
Current children cumulated CPU time (s) 206.04
Current children cumulated vsize (KiB) 67676

[startup+208.812 s]
/proc/loadavg: 1.00 1.02 1.00 2/48 7340
/proc/meminfo: memFree=877300/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
[pid=7319] ppid=7316 vsize=38040 CPUtime=206.41
/proc/7319/stat : 7319 (apt-pbo) R 7316 7316 4159 34819 4229 4202496 10679 262597 1 296 457 35 19833 316 18 0 1 0 878223981 38952960 8658 1283457024 134512640 135744540 4291798608 18446744073709551615 4294960130 0 0 128 0 0 0 0 17 0 0 0 0
/proc/7319/statm: 9510 8658 5169 301 0 3517 0
Current children cumulated CPU time (s) 206.41
Current children cumulated vsize (KiB) 39720

[startup+208.902 s]
/proc/loadavg: 1.00 1.02 1.00 2/48 7340
/proc/meminfo: memFree=877300/1048576 swapFree=2077664/2097144
[pid=7316] ppid=7315 vsize=1680 CPUtime=0
/proc/7316/stat : 7316 (sh) S 7315 7316 4159 34819 4229 4202496 222 175 0 0 0 0 0 0 25 0 1 0 878223981 1720320 129 1283457024 134512640 134594024 4289684768 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7316/statm: 420 129 112 20 0 46 0
[pid=7319] ppid=7316 vsize=38240 CPUtime=206.42
/proc/7319/stat : 7319 (apt-pbo) D 7316 7316 4159 34819 4229 4202496 11182 262597 1 296 458 35 19833 316 20 0 1 0 878223981 39157760 8705 1283457024 134512640 135744540 4291798608 18446744073709551615 4294960130 0 0 128 0 18446744071564252162 0 0 17 0 0 0 0
/proc/7319/statm: 9560 8705 5169 301 0 3567 0
Current children cumulated CPU time (s) 206.42
Current children cumulated vsize (KiB) 39920

Child status: 0
Real time (s): 208.925
CPU time (s): 206.461
CPU user time (s): 202.925
CPU system time (s): 3.53622
CPU usage (%): 98.8204
Max. virtual memory (cumulated for all children) (KiB): 909288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 202.925
system time used= 3.53622
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274427
page faults= 298
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111145
involuntary context switches= 113497

runsolver used 0 second user time and 0 second system time

The end