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/rand06f749.cudf.difficult.log.runsolver ./apt-pbo-trendy-1.0.6 /home/misc2010/data/2010/difficult//rand06f749.cudf /home/misc2010/tmp/201012070034/apt-pbo-trendy-1.0.6/rand06f749.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.25 1.02 0.73 5/44 4805
/proc/meminfo: memFree=436164/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=3412 CPUtime=0.01
/proc/4805/stat : 4805 (apt-pbo) R 4803 4803 4159 34819 4229 4202496 496 0 0 0 1 0 0 0 25 0 1 0 877620720 3493888 444 1283457024 134512640 135744540 4287130080 18446744073709551615 134655915 0 0 128 0 0 0 0 17 0 0 0 0
/proc/4805/statm: 853 444 350 301 0 121 0

[startup+0.155442 s]
/proc/loadavg: 1.25 1.02 0.73 5/44 4805
/proc/meminfo: memFree=436164/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=8352 CPUtime=0.04
/proc/4805/stat : 4805 (apt-pbo) R 4803 4803 4159 34819 4229 4202496 1591 412 0 0 4 0 0 0 25 0 1 0 877620720 8552448 1421 1283457024 134512640 135744540 4287130080 18446744073709551615 4294960130 0 0 128 0 0 0 0 17 0 0 0 0
/proc/4805/statm: 2088 1421 646 301 0 821 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10028

[startup+0.215452 s]
/proc/loadavg: 1.25 1.02 0.73 5/44 4805
/proc/meminfo: memFree=436164/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=8352 CPUtime=0.04
/proc/4805/stat : 4805 (apt-pbo) S 4803 4803 4159 34819 4229 4202496 1612 412 0 0 4 0 0 0 25 0 1 0 877620720 8552448 1422 1283457024 134512640 135744540 4287130080 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/4805/statm: 2088 1422 646 301 0 821 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10028

[startup+0.315488 s]
/proc/loadavg: 1.25 1.02 0.73 5/44 4805
/proc/meminfo: memFree=436164/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=8352 CPUtime=0.04
/proc/4805/stat : 4805 (apt-pbo) S 4803 4803 4159 34819 4229 4202496 1612 412 0 0 4 0 0 0 25 0 1 0 877620720 8552448 1422 1283457024 134512640 135744540 4287130080 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/4805/statm: 2088 1422 646 301 0 821 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10028

[startup+0.715586 s]
/proc/loadavg: 1.25 1.02 0.73 5/44 4805
/proc/meminfo: memFree=436164/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=8352 CPUtime=0.04
/proc/4805/stat : 4805 (apt-pbo) S 4803 4803 4159 34819 4229 4202496 1612 412 0 0 4 0 0 0 25 0 1 0 877620720 8552448 1422 1283457024 134512640 135744540 4287130080 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/4805/statm: 2088 1422 646 301 0 821 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10028

[startup+1.5157 s]
/proc/loadavg: 1.25 1.02 0.73 2/46 4809
/proc/meminfo: memFree=410892/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=8352 CPUtime=0.04
/proc/4805/stat : 4805 (apt-pbo) S 4803 4803 4159 34819 4229 4202496 1612 412 0 0 4 0 0 0 25 0 1 0 877620720 8552448 1422 1283457024 134512640 135744540 4287130080 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/4805/statm: 2088 1422 646 301 0 821 0
[pid=4809] ppid=4805 vsize=33204 CPUtime=1.45
/proc/4809/stat : 4809 (cudftodeb.nativ) R 4805 4803 4159 34819 4229 4202496 7953 0 0 0 143 2 0 0 25 0 1 0 877620726 34000896 7871 1283457024 134512640 135029684 4292835248 18446744073709551615 4158613029 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/4809/statm: 8301 7871 247 127 0 7684 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43232

[startup+3.10639 s]
/proc/loadavg: 1.23 1.02 0.73 2/46 4809
/proc/meminfo: memFree=388324/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=8352 CPUtime=0.04
/proc/4805/stat : 4805 (apt-pbo) S 4803 4803 4159 34819 4229 4202496 1612 412 0 0 4 0 0 0 25 0 1 0 877620720 8552448 1422 1283457024 134512640 135744540 4287130080 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/4805/statm: 2088 1422 646 301 0 821 0
[pid=4809] ppid=4805 vsize=67232 CPUtime=3.03
/proc/4809/stat : 4809 (cudftodeb.nativ) R 4805 4803 4159 34819 4229 4202496 16368 0 0 0 298 5 0 0 25 0 1 0 877620726 68845568 16286 1283457024 134512640 135029684 4292835248 18446744073709551615 134985222 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/4809/statm: 16808 16286 258 127 0 16191 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 77260

[startup+6.31004 s]
/proc/loadavg: 1.23 1.02 0.73 2/46 4809
/proc/meminfo: memFree=381256/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=8352 CPUtime=0.04
/proc/4805/stat : 4805 (apt-pbo) S 4803 4803 4159 34819 4229 4202496 1612 412 0 0 4 0 0 0 25 0 1 0 877620720 8552448 1422 1283457024 134512640 135744540 4287130080 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/4805/statm: 2088 1422 646 301 0 821 0
[pid=4809] ppid=4805 vsize=47072 CPUtime=6.11
/proc/4809/stat : 4809 (cudftodeb.nativ) R 4805 4803 4159 34819 4229 4202496 19793 0 0 0 529 82 0 0 25 0 1 0 877620726 48201728 11336 1283457024 134512640 135029684 4292835248 18446744073709551615 134875582 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/4809/statm: 11768 11336 258 127 0 11151 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 57100

[startup+12.7123 s]
/proc/loadavg: 1.19 1.02 0.73 2/46 4823
/proc/meminfo: memFree=348400/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=31508 CPUtime=9.99
/proc/4805/stat : 4805 (apt-pbo) S 4803 4803 4159 34819 4229 4202496 7751 35740 0 267 27 23 813 136 18 0 1 0 877620720 32264192 7019 1283457024 134512640 135744540 4287130080 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/4805/statm: 7877 7019 5165 301 0 1884 0
[pid=4823] ppid=4805 vsize=17376 CPUtime=0.97
/proc/4823/stat : 4823 (wbo) R 4805 4803 4159 34819 4229 4202496 4631 0 1 0 91 6 0 0 21 0 1 0 877621892 17793024 4037 1283457024 4194304 5578286 140736527576240 18446744073709551615 4200704 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4823/statm: 4344 4037 158 338 0 4003 0
Current children cumulated CPU time (s) 10.96
Current children cumulated vsize (KiB) 50560

[startup+25.5148 s]
/proc/loadavg: 1.16 1.02 0.73 2/46 4823
/proc/meminfo: memFree=323736/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=31508 CPUtime=10
/proc/4805/stat : 4805 (apt-pbo) S 4803 4803 4159 34819 4229 4202496 7751 35740 0 267 28 23 813 136 18 0 1 0 877620720 32264192 7019 1283457024 134512640 135744540 4287130080 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/4805/statm: 7877 7019 5165 301 0 1884 0
[pid=4823] ppid=4805 vsize=36908 CPUtime=13.76
/proc/4823/stat : 4823 (wbo) R 4805 4803 4159 34819 4229 4202496 9528 0 1 0 1360 16 0 0 25 0 1 0 877621892 37793792 8934 1283457024 4194304 5578286 140736527576240 18446744073709551615 4200272 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4823/statm: 9227 8934 158 338 0 8886 0
Current children cumulated CPU time (s) 23.76
Current children cumulated vsize (KiB) 70092

[startup+51.1107 s]
/proc/loadavg: 1.10 1.02 0.74 2/46 4823
/proc/meminfo: memFree=312452/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=31508 CPUtime=10
/proc/4805/stat : 4805 (apt-pbo) S 4803 4803 4159 34819 4229 4202496 7751 35740 0 267 28 23 813 136 18 0 1 0 877620720 32264192 7019 1283457024 134512640 135744540 4287130080 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/4805/statm: 7877 7019 5165 301 0 1884 0
[pid=4823] ppid=4805 vsize=49176 CPUtime=39.33
/proc/4823/stat : 4823 (wbo) R 4805 4803 4159 34819 4229 4202496 12596 0 1 0 3905 28 0 0 25 0 1 0 877621892 50356224 12002 1283457024 4194304 5578286 140736527576240 18446744073709551615 4289908 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4823/statm: 12294 12002 158 338 0 11953 0
Current children cumulated CPU time (s) 49.33
Current children cumulated vsize (KiB) 82360

[startup+102.312 s]
/proc/loadavg: 1.04 1.01 0.75 2/46 4823
/proc/meminfo: memFree=305756/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=31508 CPUtime=10
/proc/4805/stat : 4805 (apt-pbo) S 4803 4803 4159 34819 4229 4202496 7751 35740 0 267 28 23 813 136 18 0 1 0 877620720 32264192 7019 1283457024 134512640 135744540 4287130080 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/4805/statm: 7877 7019 5165 301 0 1884 0
[pid=4823] ppid=4805 vsize=55212 CPUtime=90.5
/proc/4823/stat : 4823 (wbo) R 4805 4803 4159 34819 4229 4202496 14105 0 1 0 9015 35 0 0 25 0 1 0 877621892 56537088 13511 1283457024 4194304 5578286 140736527576240 18446744073709551615 4289908 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4823/statm: 13803 13511 158 338 0 13462 0
Current children cumulated CPU time (s) 100.5
Current children cumulated vsize (KiB) 88396

[startup+162.308 s]
/proc/loadavg: 1.01 1.00 0.76 2/46 4823
/proc/meminfo: memFree=298316/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=31508 CPUtime=10.02
/proc/4805/stat : 4805 (apt-pbo) S 4803 4803 4159 34819 4229 4202496 7751 35740 0 267 30 23 813 136 18 0 1 0 877620720 32264192 7019 1283457024 134512640 135744540 4287130080 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/4805/statm: 7877 7019 5165 301 0 1884 0
[pid=4823] ppid=4805 vsize=63068 CPUtime=150.39
/proc/4823/stat : 4823 (wbo) R 4805 4803 4159 34819 4229 4202496 16040 0 1 0 14998 41 0 0 25 0 1 0 877621892 64581632 15446 1283457024 4194304 5578286 140736527576240 18446744073709551615 4200704 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4823/statm: 15767 15446 158 338 0 15426 0
Current children cumulated CPU time (s) 160.41
Current children cumulated vsize (KiB) 96252

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

[startup+179.113 s]
/proc/loadavg: 1.01 1.00 0.76 2/46 4823
/proc/meminfo: memFree=296828/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=31508 CPUtime=10.02
/proc/4805/stat : 4805 (apt-pbo) S 4803 4803 4159 34819 4229 4202496 7751 35740 0 267 30 23 813 136 18 0 1 0 877620720 32264192 7019 1283457024 134512640 135744540 4287130080 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/4805/statm: 7877 7019 5165 301 0 1884 0
[pid=4823] ppid=4805 vsize=64264 CPUtime=167.17
/proc/4823/stat : 4823 (wbo) R 4805 4803 4159 34819 4229 4202496 16348 0 1 0 16674 43 0 0 25 0 1 0 877621892 65806336 15754 1283457024 4194304 5578286 140736527576240 18446744073709551615 4284146 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4823/statm: 16066 15754 158 338 0 15725 0
Current children cumulated CPU time (s) 177.19
Current children cumulated vsize (KiB) 97448

[startup+191.906 s]
/proc/loadavg: 1.01 1.00 0.77 2/46 4823
/proc/meminfo: memFree=296828/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=31508 CPUtime=10.02
/proc/4805/stat : 4805 (apt-pbo) S 4803 4803 4159 34819 4229 4202496 7751 35740 0 267 30 23 813 136 18 0 1 0 877620720 32264192 7019 1283457024 134512640 135744540 4287130080 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/4805/statm: 7877 7019 5165 301 0 1884 0
[pid=4823] ppid=4805 vsize=64264 CPUtime=179.94
/proc/4823/stat : 4823 (wbo) R 4805 4803 4159 34819 4229 4202496 16348 0 1 0 17950 44 0 0 25 0 1 0 877621892 65806336 15754 1283457024 4194304 5578286 140736527576240 18446744073709551615 4289880 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4823/statm: 16066 15754 158 338 0 15725 0
Current children cumulated CPU time (s) 189.96
Current children cumulated vsize (KiB) 97448

[startup+204.709 s]
/proc/loadavg: 1.00 1.00 0.77 2/46 4823
/proc/meminfo: memFree=899680/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=50704 CPUtime=13.69
/proc/4805/stat : 4805 (apt-pbo) R 4803 4803 4159 34819 4229 4202496 12913 35740 1 267 396 24 813 136 25 0 1 0 877620720 51920896 11811 1283457024 134512640 135744540 4287130080 18446744073709551615 134753535 0 0 128 0 0 0 0 17 0 0 0 0
/proc/4805/statm: 12676 11811 5169 301 0 6683 0
[pid=4823] ppid=4805 vsize=0 CPUtime=188.79
/proc/4823/stat : 4823 (wbo) Z 4805 4803 4159 34819 4229 4202508 228559 0 3 0 18764 115 0 0 25 0 1 0 877621892 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0
/proc/4823/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 202.48
Current children cumulated vsize (KiB) 52380

[startup+207.909 s]
/proc/loadavg: 1.00 1.00 0.77 2/46 4823
/proc/meminfo: memFree=899680/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=50704 CPUtime=16.89
/proc/4805/stat : 4805 (apt-pbo) R 4803 4803 4159 34819 4229 4202496 12913 35740 1 267 716 24 813 136 25 0 1 0 877620720 51920896 11811 1283457024 134512640 135744540 4287130080 18446744073709551615 135169952 0 0 128 0 0 0 0 17 0 0 0 0
/proc/4805/statm: 12676 11811 5169 301 0 6683 0
[pid=4823] ppid=4805 vsize=0 CPUtime=188.79
/proc/4823/stat : 4823 (wbo) Z 4805 4803 4159 34819 4229 4202508 228559 0 3 0 18764 115 0 0 25 0 1 0 877621892 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0
/proc/4823/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 205.68
Current children cumulated vsize (KiB) 52380

[startup+211.11 s]
/proc/loadavg: 1.00 1.00 0.77 2/46 4823
/proc/meminfo: memFree=899680/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=50704 CPUtime=20.09
/proc/4805/stat : 4805 (apt-pbo) R 4803 4803 4159 34819 4229 4202496 12913 35740 1 267 1036 24 813 136 25 0 1 0 877620720 51920896 11811 1283457024 134512640 135744540 4287130080 18446744073709551615 135115146 0 0 128 0 0 0 0 17 0 0 0 0
/proc/4805/statm: 12676 11811 5169 301 0 6683 0
[pid=4823] ppid=4805 vsize=0 CPUtime=188.79
/proc/4823/stat : 4823 (wbo) Z 4805 4803 4159 34819 4229 4202508 228559 0 3 0 18764 115 0 0 25 0 1 0 877621892 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0
/proc/4823/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 208.88
Current children cumulated vsize (KiB) 52380

[startup+212.714 s]
/proc/loadavg: 1.00 1.00 0.77 2/48 4827
/proc/meminfo: memFree=900328/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=50704 CPUtime=20.41
/proc/4805/stat : 4805 (apt-pbo) S 4803 4803 4159 34819 4229 4202496 12945 35740 1 267 1056 36 813 136 18 0 1 0 877620720 51920896 11811 1283457024 134512640 135744540 4287130080 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/4805/statm: 12676 11811 5169 301 0 6683 0
[pid=4823] ppid=4805 vsize=0 CPUtime=188.79
/proc/4823/stat : 4823 (wbo) Z 4805 4803 4159 34819 4229 4202508 228559 0 3 0 18764 115 0 0 25 0 1 0 877621892 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0
/proc/4823/statm: 0 0 0 0 0 0 0
[pid=4824] ppid=4805 vsize=2596 CPUtime=0
/proc/4824/stat : 4824 (apt-get.sh) S 4805 4803 4159 34819 4229 4202496 428 487 1 1 0 0 0 0 25 0 1 0 877641848 2658304 282 1283457024 134512640 135304128 4286916064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4824/statm: 649 282 235 194 0 35 0
[pid=4827] ppid=4824 vsize=25100 CPUtime=1.05
/proc/4827/stat : 4827 (apt-get) R 4824 4803 4159 34819 4229 4202496 5612 0 2 0 94 11 0 0 25 0 1 0 877641857 25702400 5498 1283457024 134512640 134649604 4288841968 18446744073709551615 4294960130 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/4827/statm: 6275 5498 4860 34 0 639 0
Current children cumulated CPU time (s) 210.25
Current children cumulated vsize (KiB) 80076

[startup+213.514 s]
/proc/loadavg: 1.00 1.00 0.77 3/48 4827
/proc/meminfo: memFree=899088/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=50704 CPUtime=20.59
/proc/4805/stat : 4805 (apt-pbo) S 4803 4803 4159 34819 4229 4202496 12945 35740 1 267 1063 47 813 136 18 0 1 0 877620720 51920896 11811 1283457024 134512640 135744540 4287130080 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/4805/statm: 12676 11811 5169 301 0 6683 0
[pid=4823] ppid=4805 vsize=0 CPUtime=188.79
/proc/4823/stat : 4823 (wbo) Z 4805 4803 4159 34819 4229 4202508 228559 0 3 0 18764 115 0 0 25 0 1 0 877621892 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0
/proc/4823/statm: 0 0 0 0 0 0 0
[pid=4824] ppid=4805 vsize=2596 CPUtime=0
/proc/4824/stat : 4824 (apt-get.sh) S 4805 4803 4159 34819 4229 4202496 428 487 1 1 0 0 0 0 25 0 1 0 877641848 2658304 282 1283457024 134512640 135304128 4286916064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4824/statm: 649 282 235 194 0 35 0
[pid=4827] ppid=4824 vsize=25348 CPUtime=1.67
/proc/4827/stat : 4827 (apt-get) R 4824 4803 4159 34819 4229 4202496 5636 0 2 0 146 21 0 0 25 0 1 0 877641857 25956352 5522 1283457024 134512640 134649604 4288841968 18446744073709551615 4156987280 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/4827/statm: 6337 5522 4860 34 0 701 0
Current children cumulated CPU time (s) 211.05
Current children cumulated vsize (KiB) 80324

[startup+213.705 s]
/proc/loadavg: 1.00 1.00 0.77 3/48 4827
/proc/meminfo: memFree=899088/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=50704 CPUtime=20.59
/proc/4805/stat : 4805 (apt-pbo) S 4803 4803 4159 34819 4229 4202496 12945 35740 1 267 1063 47 813 136 18 0 1 0 877620720 51920896 11811 1283457024 134512640 135744540 4287130080 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/4805/statm: 12676 11811 5169 301 0 6683 0
[pid=4823] ppid=4805 vsize=0 CPUtime=188.79
/proc/4823/stat : 4823 (wbo) Z 4805 4803 4159 34819 4229 4202508 228559 0 3 0 18764 115 0 0 25 0 1 0 877621892 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0
/proc/4823/statm: 0 0 0 0 0 0 0
[pid=4824] ppid=4805 vsize=2596 CPUtime=0
/proc/4824/stat : 4824 (apt-get.sh) S 4805 4803 4159 34819 4229 4202496 428 487 1 1 0 0 0 0 25 0 1 0 877641848 2658304 282 1283457024 134512640 135304128 4286916064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4824/statm: 649 282 235 194 0 35 0
[pid=4827] ppid=4824 vsize=25348 CPUtime=1.86
/proc/4827/stat : 4827 (apt-get) R 4824 4803 4159 34819 4229 4202496 5639 0 2 0 158 28 0 0 25 0 1 0 877641857 25956352 5525 1283457024 134512640 134649604 4288841968 18446744073709551615 4159023318 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/4827/statm: 6337 5525 4861 34 0 701 0
Current children cumulated CPU time (s) 211.24
Current children cumulated vsize (KiB) 80324

[startup+213.814 s]
/proc/loadavg: 1.00 1.00 0.77 3/48 4827
/proc/meminfo: memFree=899088/1048576 swapFree=2084088/2097144
[pid=4803] ppid=4802 vsize=1676 CPUtime=0
/proc/4803/stat : 4803 (sh) S 4802 4803 4159 34819 4229 4202496 220 174 0 0 0 0 0 0 18 0 1 0 877620720 1716224 128 1283457024 134512640 134594024 4294429104 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/4803/statm: 419 128 112 20 0 45 0
[pid=4805] ppid=4803 vsize=50704 CPUtime=211.32
/proc/4805/stat : 4805 (apt-pbo) R 4803 4803 4159 34819 4229 4202496 13842 270866 1 274 1063 47 19737 285 18 0 1 0 877620720 51920896 11811 1283457024 134512640 135744540 4287130080 18446744073709551615 4294960130 0 0 128 0 0 0 0 17 0 0 0 0
/proc/4805/statm: 12676 11811 5169 301 0 6683 0
Current children cumulated CPU time (s) 211.32
Current children cumulated vsize (KiB) 52380

Child status: 0
Real time (s): 213.9
CPU time (s): 211.349
CPU user time (s): 208.021
CPU system time (s): 3.32821
CPU usage (%): 98.8077
Max. virtual memory (cumulated for all children) (KiB): 943892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 208.021
system time used= 3.32821
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285880
page faults= 276
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 101359
involuntary context switches= 104061

runsolver used 0 second user time and 0 second system time

The end