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/201103031013/apt-pbo-trendy-1.0.8/3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debian.log.runsolver ./apt-pbo-trendy-1.0.8 /home/misc2010/data/misc4/debian//3e4f8550-0b33-11df-942d-00163e1d94dc.cudf /home/misc2010/tmp/201103031013/apt-pbo-trendy-1.0.8/3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debian.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.31 1.14 1.02 5/39 18731
/proc/meminfo: memFree=708440/1048576 swapFree=0/0
[pid=18729] ppid=18728 vsize=1672 CPUtime=0
/proc/18729/stat : 18729 (sh) S 18728 18729 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 74884959 1712128 128 1283457024 134512640 134593992 4294732224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18729/statm: 418 128 112 20 0 45 0
[pid=18731] ppid=18729 vsize=3544 CPUtime=0.01
/proc/18731/stat : 18731 (apt-pbo) R 18729 18729 29493 34817 29493 4202496 505 0 0 0 1 0 0 0 25 0 1 0 74884959 3629056 447 1283457024 134512640 135745756 4289905744 18446744073709551615 135283118 0 0 128 0 0 0 0 17 0 0 0 0
/proc/18731/statm: 886 447 349 302 0 154 0

[startup+0.19568 s]
/proc/loadavg: 1.31 1.14 1.02 5/39 18731
/proc/meminfo: memFree=708440/1048576 swapFree=0/0
[pid=18729] ppid=18728 vsize=1672 CPUtime=0
/proc/18729/stat : 18729 (sh) S 18728 18729 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 74884959 1712128 128 1283457024 134512640 134593992 4294732224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18729/statm: 418 128 112 20 0 45 0
[pid=18731] ppid=18729 vsize=8232 CPUtime=0.05
/proc/18731/stat : 18731 (apt-pbo) S 18729 18729 29493 34817 29493 4202496 1589 411 0 0 5 0 0 0 25 0 1 0 74884959 8429568 1401 1283457024 134512640 135745756 4289905744 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/18731/statm: 2058 1401 648 302 0 791 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9904

[startup+0.215679 s]
/proc/loadavg: 1.31 1.14 1.02 5/39 18731
/proc/meminfo: memFree=708440/1048576 swapFree=0/0
[pid=18729] ppid=18728 vsize=1672 CPUtime=0
/proc/18729/stat : 18729 (sh) S 18728 18729 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 74884959 1712128 128 1283457024 134512640 134593992 4294732224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18729/statm: 418 128 112 20 0 45 0
[pid=18731] ppid=18729 vsize=8232 CPUtime=0.05
/proc/18731/stat : 18731 (apt-pbo) S 18729 18729 29493 34817 29493 4202496 1589 411 0 0 5 0 0 0 25 0 1 0 74884959 8429568 1401 1283457024 134512640 135745756 4289905744 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/18731/statm: 2058 1401 648 302 0 791 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9904

[startup+0.315708 s]
/proc/loadavg: 1.31 1.14 1.02 5/39 18731
/proc/meminfo: memFree=708440/1048576 swapFree=0/0
[pid=18729] ppid=18728 vsize=1672 CPUtime=0
/proc/18729/stat : 18729 (sh) S 18728 18729 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 74884959 1712128 128 1283457024 134512640 134593992 4294732224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18729/statm: 418 128 112 20 0 45 0
[pid=18731] ppid=18729 vsize=8232 CPUtime=0.05
/proc/18731/stat : 18731 (apt-pbo) S 18729 18729 29493 34817 29493 4202496 1589 411 0 0 5 0 0 0 25 0 1 0 74884959 8429568 1401 1283457024 134512640 135745756 4289905744 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/18731/statm: 2058 1401 648 302 0 791 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9904

[startup+0.71581 s]
/proc/loadavg: 1.31 1.14 1.02 5/39 18731
/proc/meminfo: memFree=708440/1048576 swapFree=0/0
[pid=18729] ppid=18728 vsize=1672 CPUtime=0
/proc/18729/stat : 18729 (sh) S 18728 18729 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 74884959 1712128 128 1283457024 134512640 134593992 4294732224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18729/statm: 418 128 112 20 0 45 0
[pid=18731] ppid=18729 vsize=8232 CPUtime=0.05
/proc/18731/stat : 18731 (apt-pbo) S 18729 18729 29493 34817 29493 4202496 1589 411 0 0 5 0 0 0 25 0 1 0 74884959 8429568 1401 1283457024 134512640 135745756 4289905744 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/18731/statm: 2058 1401 648 302 0 791 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9904

[startup+1.51599 s]
/proc/loadavg: 1.31 1.14 1.02 2/41 18735
/proc/meminfo: memFree=685152/1048576 swapFree=0/0
[pid=18729] ppid=18728 vsize=1672 CPUtime=0
/proc/18729/stat : 18729 (sh) S 18728 18729 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 74884959 1712128 128 1283457024 134512640 134593992 4294732224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18729/statm: 418 128 112 20 0 45 0
[pid=18731] ppid=18729 vsize=8232 CPUtime=0.05
/proc/18731/stat : 18731 (apt-pbo) S 18729 18729 29493 34817 29493 4202496 1589 411 0 0 5 0 0 0 25 0 1 0 74884959 8429568 1401 1283457024 134512640 135745756 4289905744 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/18731/statm: 2058 1401 648 302 0 791 0
[pid=18735] ppid=18731 vsize=30688 CPUtime=1.45
/proc/18735/stat : 18735 (cudftodeb.nativ) R 18731 18729 29493 34817 29493 4202496 7252 0 0 0 143 2 0 0 25 0 1 0 74884965 31424512 7172 1283457024 134512640 135029684 4292173552 18446744073709551615 135011912 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/18735/statm: 7672 7172 246 127 0 7053 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 40592

[startup+3.10638 s]
/proc/loadavg: 1.31 1.14 1.02 2/41 18735
/proc/meminfo: memFree=664940/1048576 swapFree=0/0
[pid=18729] ppid=18728 vsize=1672 CPUtime=0
/proc/18729/stat : 18729 (sh) S 18728 18729 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 74884959 1712128 128 1283457024 134512640 134593992 4294732224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18729/statm: 418 128 112 20 0 45 0
[pid=18731] ppid=18729 vsize=8232 CPUtime=0.05
/proc/18731/stat : 18731 (apt-pbo) S 18729 18729 29493 34817 29493 4202496 1589 411 0 0 5 0 0 0 25 0 1 0 74884959 8429568 1401 1283457024 134512640 135745756 4289905744 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/18731/statm: 2058 1401 648 302 0 791 0
[pid=18735] ppid=18731 vsize=58668 CPUtime=3.04
/proc/18735/stat : 18735 (cudftodeb.nativ) R 18731 18729 29493 34817 29493 4202496 14274 0 0 0 301 3 0 0 25 0 1 0 74884965 60076032 14194 1283457024 134512640 135029684 4292173552 18446744073709551615 134976077 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/18735/statm: 14667 14194 246 127 0 14048 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68572

[startup+6.30721 s]
/proc/loadavg: 1.28 1.14 1.02 2/41 18736
/proc/meminfo: memFree=603064/1048576 swapFree=0/0
[pid=18729] ppid=18728 vsize=1672 CPUtime=0
/proc/18729/stat : 18729 (sh) S 18728 18729 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 74884959 1712128 128 1283457024 134512640 134593992 4294732224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18729/statm: 418 128 112 20 0 45 0
[pid=18731] ppid=18729 vsize=8232 CPUtime=0.05
/proc/18731/stat : 18731 (apt-pbo) S 18729 18729 29493 34817 29493 4202496 1589 411 0 0 5 0 0 0 25 0 1 0 74884959 8429568 1401 1283457024 134512640 135745756 4289905744 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/18731/statm: 2058 1401 648 302 0 791 0
[pid=18735] ppid=18731 vsize=112852 CPUtime=6.25
/proc/18735/stat : 18735 (cudftodeb.nativ) R 18731 18729 29493 34817 29493 4202496 27590 0 0 0 588 37 0 0 25 0 1 0 74884965 115560448 27510 1283457024 134512640 135029684 4292173552 18446744073709551615 4294960130 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/18735/statm: 28213 27510 259 127 0 27594 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 122756

[startup+12.7044 s]
/proc/loadavg: 1.26 1.13 1.02 2/42 18744
/proc/meminfo: memFree=648344/1048576 swapFree=0/0
[pid=18729] ppid=18728 vsize=1672 CPUtime=0
/proc/18729/stat : 18729 (sh) S 18728 18729 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 74884959 1712128 128 1283457024 134512640 134593992 4294732224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18729/statm: 418 128 112 20 0 45 0
[pid=18731] ppid=18729 vsize=8232 CPUtime=10.2
/proc/18731/stat : 18731 (apt-pbo) S 18729 18729 29493 34817 29493 4202496 1762 31102 0 0 5 0 869 146 18 0 1 0 74884959 8429568 1428 1283457024 134512640 135745756 4289905744 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0
/proc/18731/statm: 2058 1428 653 302 0 791 0
[pid=18737] ppid=18731 vsize=2572 CPUtime=0
/proc/18737/stat : 18737 (apt-get.sh) S 18731 18729 29493 34817 29493 4202496 406 491 0 0 0 0 0 0 18 0 1 0 74885981 2633728 274 1283457024 134512640 135304128 4291503744 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18737/statm: 643 274 232 194 0 30 0
[pid=18740] ppid=18737 vsize=52744 CPUtime=1.43
/proc/18740/stat : 18740 (apt-get) D 18737 18729 29493 34817 29493 4202496 6638 1745 350 0 104 6 26 7 18 0 1 0 74885981 54009856 6858 1283457024 134512640 134650667 4290797072 18446744073709551615 4294960130 0 0 4096 134217728 18446744071564332537 0 0 17 0 0 0 0
/proc/18740/statm: 13186 6858 6802 34 0 69 0
Current children cumulated CPU time (s) 11.63
Current children cumulated vsize (KiB) 65220

[startup+25.515 s]
/proc/loadavg: 1.20 1.13 1.02 2/41 18754
/proc/meminfo: memFree=581164/1048576 swapFree=0/0
[pid=18729] ppid=18728 vsize=1672 CPUtime=0
/proc/18729/stat : 18729 (sh) S 18728 18729 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 74884959 1712128 128 1283457024 134512640 134593992 4294732224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18729/statm: 418 128 112 20 0 45 0
[pid=18731] ppid=18729 vsize=53988 CPUtime=12.94
/proc/18731/stat : 18731 (apt-pbo) S 18729 18729 29493 34817 29493 4202496 13338 49625 0 350 62 8 1058 166 18 0 1 0 74884959 55283712 12543 1283457024 134512640 135745756 4289905744 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/18731/statm: 13497 12543 6771 302 0 5819 0
[pid=18752] ppid=18731 vsize=17944 CPUtime=10.63
/proc/18752/stat : 18752 (wbo) R 18731 18729 29493 34817 29493 4202496 4562 0 0 0 1040 23 0 0 25 0 1 0 74886446 18374656 4023 1283457024 134512640 135755527 4289885408 18446744073709551615 134589278 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18752/statm: 4486 4023 147 304 0 4180 0
Current children cumulated CPU time (s) 23.57
Current children cumulated vsize (KiB) 73604

[startup+51.1105 s]
/proc/loadavg: 1.13 1.11 1.02 2/40 18755
/proc/meminfo: memFree=565308/1048576 swapFree=0/0
[pid=18729] ppid=18728 vsize=1672 CPUtime=0
/proc/18729/stat : 18729 (sh) S 18728 18729 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 74884959 1712128 128 1283457024 134512640 134593992 4294732224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18729/statm: 418 128 112 20 0 45 0
[pid=18731] ppid=18729 vsize=53988 CPUtime=12.94
/proc/18731/stat : 18731 (apt-pbo) S 18729 18729 29493 34817 29493 4202496 13338 49625 0 350 62 8 1058 166 18 0 1 0 74884959 55283712 12543 1283457024 134512640 135745756 4289905744 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/18731/statm: 13497 12543 6771 302 0 5819 0
[pid=18752] ppid=18731 vsize=34944 CPUtime=36.21
/proc/18752/stat : 18752 (wbo) R 18731 18729 29493 34817 29493 4202496 8815 0 0 0 3569 52 0 0 25 0 1 0 74886446 35782656 8276 1283457024 134512640 135755527 4289885408 18446744073709551615 134589449 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18752/statm: 8736 8276 147 304 0 8430 0
Current children cumulated CPU time (s) 49.15
Current children cumulated vsize (KiB) 90604

[startup+102.313 s]
/proc/loadavg: 1.05 1.09 1.01 2/40 18755
/proc/meminfo: memFree=539020/1048576 swapFree=0/0
[pid=18729] ppid=18728 vsize=1672 CPUtime=0
/proc/18729/stat : 18729 (sh) S 18728 18729 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 74884959 1712128 128 1283457024 134512640 134593992 4294732224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18729/statm: 418 128 112 20 0 45 0
[pid=18731] ppid=18729 vsize=53988 CPUtime=12.94
/proc/18731/stat : 18731 (apt-pbo) S 18729 18729 29493 34817 29493 4202496 13338 49625 0 350 62 8 1058 166 18 0 1 0 74884959 55283712 12543 1283457024 134512640 135745756 4289905744 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/18731/statm: 13497 12543 6771 302 0 5819 0
[pid=18752] ppid=18731 vsize=60932 CPUtime=87.31
/proc/18752/stat : 18752 (wbo) R 18731 18729 29493 34817 29493 4202496 15258 0 0 0 8650 81 0 0 25 0 1 0 74886446 62394368 14719 1283457024 134512640 135755527 4289885408 18446744073709551615 134518534 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18752/statm: 15233 14719 147 304 0 14927 0
Current children cumulated CPU time (s) 100.25
Current children cumulated vsize (KiB) 116592

[startup+162.314 s]
/proc/loadavg: 1.02 1.08 1.01 2/39 18755
/proc/meminfo: memFree=519312/1048576 swapFree=0/0
[pid=18729] ppid=18728 vsize=1672 CPUtime=0
/proc/18729/stat : 18729 (sh) S 18728 18729 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 74884959 1712128 128 1283457024 134512640 134593992 4294732224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18729/statm: 418 128 112 20 0 45 0
[pid=18731] ppid=18729 vsize=53988 CPUtime=12.94
/proc/18731/stat : 18731 (apt-pbo) S 18729 18729 29493 34817 29493 4202496 13338 49625 0 350 62 8 1058 166 18 0 1 0 74884959 55283712 12543 1283457024 134512640 135745756 4289905744 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/18731/statm: 13497 12543 6771 302 0 5819 0
[pid=18752] ppid=18731 vsize=80616 CPUtime=147.28
/proc/18752/stat : 18752 (wbo) R 18731 18729 29493 34817 29493 4202496 20160 0 0 0 14584 144 0 0 25 0 1 0 74886446 82550784 19621 1283457024 134512640 135755527 4289885408 18446744073709551615 134589280 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18752/statm: 20154 19621 147 304 0 19848 0
Current children cumulated CPU time (s) 160.22
Current children cumulated vsize (KiB) 136276

[startup+222.308 s]
/proc/loadavg: 1.00 1.06 1.00 2/39 18755
/proc/meminfo: memFree=500960/1048576 swapFree=0/0
[pid=18729] ppid=18728 vsize=1672 CPUtime=0
/proc/18729/stat : 18729 (sh) S 18728 18729 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 74884959 1712128 128 1283457024 134512640 134593992 4294732224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18729/statm: 418 128 112 20 0 45 0
[pid=18731] ppid=18729 vsize=53988 CPUtime=12.94
/proc/18731/stat : 18731 (apt-pbo) S 18729 18729 29493 34817 29493 4202496 13338 49625 0 350 62 8 1058 166 18 0 1 0 74884959 55283712 12543 1283457024 134512640 135745756 4289905744 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/18731/statm: 13497 12543 6771 302 0 5819 0
[pid=18752] ppid=18731 vsize=99220 CPUtime=207.2
/proc/18752/stat : 18752 (wbo) R 18731 18729 29493 34817 29493 4202496 24767 0 0 0 20530 190 0 0 25 0 1 0 74886446 101601280 24228 1283457024 134512640 135755527 4289885408 18446744073709551615 134621027 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18752/statm: 24805 24228 147 304 0 24499 0
Current children cumulated CPU time (s) 220.14
Current children cumulated vsize (KiB) 154880

[startup+282.311 s]
/proc/loadavg: 1.00 1.05 1.00 2/39 18755
/proc/meminfo: memFree=479508/1048576 swapFree=0/0
[pid=18729] ppid=18728 vsize=1672 CPUtime=0
/proc/18729/stat : 18729 (sh) S 18728 18729 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 74884959 1712128 128 1283457024 134512640 134593992 4294732224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18729/statm: 418 128 112 20 0 45 0
[pid=18731] ppid=18729 vsize=53988 CPUtime=12.94
/proc/18731/stat : 18731 (apt-pbo) S 18729 18729 29493 34817 29493 4202496 13338 49625 0 350 62 8 1058 166 18 0 1 0 74884959 55283712 12543 1283457024 134512640 135745756 4289905744 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/18731/statm: 13497 12543 6771 302 0 5819 0
[pid=18752] ppid=18731 vsize=121564 CPUtime=267.11
/proc/18752/stat : 18752 (wbo) R 18731 18729 29493 34817 29493 4202496 30340 0 0 0 26474 237 0 0 25 0 1 0 74886446 124481536 29801 1283457024 134512640 135755527 4289885408 18446744073709551615 134589424 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18752/statm: 30391 29801 147 304 0 30085 0
Current children cumulated CPU time (s) 280.05
Current children cumulated vsize (KiB) 177224



Maximum CPU time exceeded: sending signal-name then SIGKILL

[startup+292.314 s]
/proc/loadavg: 1.00 1.04 1.00 2/39 18755
/proc/meminfo: memFree=475912/1048576 swapFree=0/0
[pid=18729] ppid=18728 vsize=1672 CPUtime=0
/proc/18729/stat : 18729 (sh) S 18728 18729 29493 34817 29493 4202496 221 174 0 0 0 0 0 0 18 0 1 0 74884959 1712128 128 1283457024 134512640 134593992 4294732224 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18729/statm: 418 128 112 20 0 45 0
[pid=18731] ppid=18729 vsize=53988 CPUtime=12.94
/proc/18731/stat : 18731 (apt-pbo) S 18729 18729 29493 34817 29493 4202496 13338 49625 0 350 62 8 1058 166 18 0 1 0 74884959 55283712 12543 1283457024 134512640 135745756 4289905744 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/18731/statm: 13497 12543 6771 302 0 5819 0
[pid=18752] ppid=18731 vsize=124108 CPUtime=277.09
/proc/18752/stat : 18752 (wbo) R 18731 18729 29493 34817 29493 4202496 30999 0 0 0 27466 243 0 0 25 0 1 0 74886446 127086592 30460 1283457024 134512640 135755527 4289885408 18446744073709551615 134519072 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18752/statm: 31027 30460 147 304 0 30721 0
Current children cumulated CPU time (s) 290.03
Current children cumulated vsize (KiB) 179768

Sending User defined signal 1 to process tree (bottom up)
Sleeping 10 seconds

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

Child status: 138

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18729 and gives
#  childrusage.ru_utime.tv_sec=11
#  childrusage.ru_utime.tv_usec=208700
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=748109
# CPU time returned by wait4() is 12.9568
# while last known CPU time is 290.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 292.33
CPU time (s): 290.03
CPU user time (s): 285.86
CPU system time (s): 4.17
CPU usage (%): 99.2132
Max. virtual memory (cumulated for all children) (KiB): 179768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.2087
system time used= 1.74811
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63368
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= 2748
involuntary context switches= 2301

runsolver used 0 second user time and 0 second system time

The end