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/201007051419/apt-pbo-paranoid-1.0.5/rand7902a8.cudf.impossible.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/impossible//rand7902a8.cudf /home/misc2010/tmp/201007051419/apt-pbo-paranoid-1.0.5/rand7902a8.cudf.impossible.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.12 1.09 1.03 2/95 16838 /proc/meminfo: memFree=1276208/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2880 CPUtime=0 /proc/16838/stat : 16838 (runsolver) R 16837 16838 13759 34823 13904 4202560 74 0 0 0 0 0 0 0 20 0 1 0 416558165 2949120 93 1283457024 134512640 134586868 4292144368 18446744073709551615 4157658394 0 0 0 24578 0 0 0 17 1 0 0 0 /proc/16838/statm: 720 93 63 19 0 52 0 [startup+0.168702 s] /proc/loadavg: 1.12 1.09 1.03 2/95 16838 /proc/meminfo: memFree=1276208/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2376 CPUtime=0 /proc/16838/stat : 16838 (sh) S 16837 16838 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416558165 2433024 263 1283457024 134512640 135191968 4292011424 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16838/statm: 594 263 226 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.204697 s] /proc/loadavg: 1.12 1.09 1.03 2/95 16838 /proc/meminfo: memFree=1276208/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2376 CPUtime=0 /proc/16838/stat : 16838 (sh) S 16837 16838 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416558165 2433024 263 1283457024 134512640 135191968 4292011424 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16838/statm: 594 263 226 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.304712 s] /proc/loadavg: 1.12 1.09 1.03 2/95 16838 /proc/meminfo: memFree=1276208/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2376 CPUtime=0 /proc/16838/stat : 16838 (sh) S 16837 16838 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416558165 2433024 263 1283457024 134512640 135191968 4292011424 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16838/statm: 594 263 226 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.704702 s] /proc/loadavg: 1.12 1.09 1.03 2/95 16838 /proc/meminfo: memFree=1276208/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2376 CPUtime=0 /proc/16838/stat : 16838 (sh) S 16837 16838 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416558165 2433024 263 1283457024 134512640 135191968 4292011424 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16838/statm: 594 263 226 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+1.50474 s] /proc/loadavg: 1.11 1.09 1.02 2/97 16843 /proc/meminfo: memFree=1262856/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2376 CPUtime=0 /proc/16838/stat : 16838 (sh) S 16837 16838 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416558165 2433024 263 1283457024 134512640 135191968 4292011424 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16838/statm: 594 263 226 166 0 26 0 [pid=16841] ppid=16838 vsize=16948 CPUtime=1.43 /proc/16841/stat : 16841 (apt-pbo) R 16838 16838 13759 34823 13904 4202496 4058 714 0 0 140 3 0 0 21 0 1 0 416558165 17354752 3615 1283457024 134512640 135758360 4287570080 18446744073709551615 4159685854 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16841/statm: 4237 3615 628 305 0 3010 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 19324 [startup+3.10481 s] /proc/loadavg: 1.11 1.09 1.02 2/97 16843 /proc/meminfo: memFree=1249860/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2376 CPUtime=0 /proc/16838/stat : 16838 (sh) S 16837 16838 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416558165 2433024 263 1283457024 134512640 135191968 4292011424 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16838/statm: 594 263 226 166 0 26 0 [pid=16841] ppid=16838 vsize=27512 CPUtime=3.02 /proc/16841/stat : 16841 (apt-pbo) R 16838 16838 13759 34823 13904 4202496 6704 714 0 0 298 4 0 0 25 0 1 0 416558165 28172288 6253 1283457024 134512640 135758360 4287570080 18446744073709551615 4158779749 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16841/statm: 6878 6253 628 305 0 5651 0 Current children cumulated CPU time (s) 3.02 Current children cumulated vsize (KiB) 29888 [startup+6.30496 s] /proc/loadavg: 1.11 1.09 1.02 2/97 16844 /proc/meminfo: memFree=1212176/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2376 CPUtime=0 /proc/16838/stat : 16838 (sh) S 16837 16838 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416558165 2433024 263 1283457024 134512640 135191968 4292011424 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16838/statm: 594 263 226 166 0 26 0 [pid=16841] ppid=16838 vsize=48672 CPUtime=6.22 /proc/16841/stat : 16841 (apt-pbo) R 16838 16838 13759 34823 13904 4202496 11989 714 0 0 614 8 0 0 25 0 1 0 416558165 49840128 11536 1283457024 134512640 135758360 4287570080 18446744073709551615 4159685854 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16841/statm: 12168 11536 628 305 0 10941 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 51048 [startup+12.7053 s] /proc/loadavg: 1.09 1.08 1.02 1/96 16844 /proc/meminfo: memFree=1171320/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2376 CPUtime=0 /proc/16838/stat : 16838 (sh) S 16837 16838 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416558165 2433024 263 1283457024 134512640 135191968 4292011424 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16838/statm: 594 263 226 166 0 26 0 [pid=16841] ppid=16838 vsize=67824 CPUtime=8.87 /proc/16841/stat : 16841 (apt-pbo) D 16838 16838 13759 34823 13904 4202496 17291 714 0 0 874 13 0 0 18 0 1 0 416558165 69451776 16324 1283457024 134512640 135758360 4287570080 18446744073709551615 4159685966 0 0 128 0 18446744071564332000 0 0 17 0 0 0 0 /proc/16841/statm: 16956 16324 628 305 0 15729 0 Current children cumulated CPU time (s) 8.87 Current children cumulated vsize (KiB) 70200 heavy processes: [startup+25.5058 s] /proc/loadavg: 1.08 1.08 1.02 2/97 16859 /proc/meminfo: memFree=1000024/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2376 CPUtime=0 /proc/16838/stat : 16838 (sh) S 16837 16838 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416558165 2433024 263 1283457024 134512640 135191968 4292011424 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16838/statm: 594 263 226 166 0 26 0 [pid=16841] ppid=16838 vsize=128160 CPUtime=17.87 /proc/16841/stat : 16841 (apt-pbo) S 16838 16838 13759 34823 13904 4202496 32428 26497 0 588 1138 23 576 50 18 0 1 0 416558165 131235840 30936 1283457024 134512640 135758360 4287570080 18446744073709551615 4159685966 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/16841/statm: 32040 30936 10363 305 0 20610 0 [pid=16859] ppid=16841 vsize=27008 CPUtime=3.38 /proc/16859/stat : 16859 (wbo) R 16841 16838 13759 34823 13904 4202496 8042 0 0 0 334 4 0 0 18 0 1 0 416560374 27656192 6287 1283457024 134512640 135709839 4292806208 18446744073709551615 135230974 0 0 0 3 0 0 0 17 1 0 0 0 /proc/16859/statm: 6752 6287 132 293 0 6457 0 Current children cumulated CPU time (s) 21.25 Current children cumulated vsize (KiB) 157544 [startup+51.1123 s] /proc/loadavg: 1.05 1.07 1.02 2/98 16868 /proc/meminfo: memFree=923284/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2376 CPUtime=0 /proc/16838/stat : 16838 (sh) S 16837 16838 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416558165 2433024 263 1283457024 134512640 135191968 4292011424 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16838/statm: 594 263 226 166 0 26 0 [pid=16841] ppid=16838 vsize=132544 CPUtime=29.34 /proc/16841/stat : 16841 (apt-pbo) S 16838 16838 13759 34823 13904 4202496 35181 46747 0 588 1507 26 1320 81 18 0 1 0 416558165 135725056 32052 1283457024 134512640 135758360 4287570080 18446744073709551615 4159685966 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/16841/statm: 33136 32052 10367 305 0 21706 0 [pid=16864] ppid=16841 vsize=91368 CPUtime=17.41 /proc/16864/stat : 16864 (wbo) R 16841 16838 13759 34823 13904 4202496 26671 0 0 0 1725 16 0 0 18 0 1 0 416561526 93560832 22246 1283457024 134512640 135709839 4288922352 18446744073709551615 134607408 0 0 0 3 0 0 0 17 0 0 0 0 /proc/16864/statm: 22842 22246 132 293 0 22547 0 Current children cumulated CPU time (s) 46.75 Current children cumulated vsize (KiB) 226288 [startup+102.303 s] /proc/loadavg: 1.13 1.09 1.03 2/97 16876 /proc/meminfo: memFree=958756/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2376 CPUtime=0 /proc/16838/stat : 16838 (sh) S 16837 16838 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416558165 2433024 263 1283457024 134512640 135191968 4292011424 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16838/statm: 594 263 226 166 0 26 0 [pid=16841] ppid=16838 vsize=132956 CPUtime=90.37 /proc/16841/stat : 16841 (apt-pbo) S 16838 16838 13759 34823 13904 4202496 38153 143065 0 588 1593 32 7268 144 18 0 1 0 416558165 136146944 32144 1283457024 134512640 135758360 4287570080 18446744073709551615 4159685966 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/16841/statm: 33239 32144 10367 305 0 21809 0 [pid=16875] ppid=16841 vsize=47104 CPUtime=7.5 /proc/16875/stat : 16875 (wbo) R 16841 16838 13759 34823 13904 4202496 14687 0 0 0 743 7 0 0 25 0 1 0 416567642 48234496 11262 1283457024 134512640 135709839 4288031168 18446744073709551615 135182774 0 0 0 3 0 0 0 17 0 0 0 0 /proc/16875/statm: 11776 11262 132 293 0 11481 0 Current children cumulated CPU time (s) 97.87 Current children cumulated vsize (KiB) 182436 Solver just ended. Dumping a history of the last processes samples [startup+102.413 s] /proc/loadavg: 1.13 1.09 1.03 2/97 16876 /proc/meminfo: memFree=958756/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2376 CPUtime=0 /proc/16838/stat : 16838 (sh) S 16837 16838 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416558165 2433024 263 1283457024 134512640 135191968 4292011424 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16838/statm: 594 263 226 166 0 26 0 [pid=16841] ppid=16838 vsize=132956 CPUtime=90.37 /proc/16841/stat : 16841 (apt-pbo) S 16838 16838 13759 34823 13904 4202496 38153 143065 0 588 1593 32 7268 144 18 0 1 0 416558165 136146944 32144 1283457024 134512640 135758360 4287570080 18446744073709551615 4159685966 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/16841/statm: 33239 32144 10367 305 0 21809 0 [pid=16875] ppid=16841 vsize=47904 CPUtime=7.61 /proc/16875/stat : 16875 (wbo) R 16841 16838 13759 34823 13904 4202496 14821 0 0 0 754 7 0 0 25 0 1 0 416567642 49053696 11396 1283457024 134512640 135709839 4288031168 18446744073709551615 135165985 0 0 0 3 0 0 0 17 0 0 0 0 /proc/16875/statm: 11976 11396 132 293 0 11681 0 Current children cumulated CPU time (s) 97.98 Current children cumulated vsize (KiB) 183236 [startup+128.01 s] /proc/loadavg: 1.21 1.11 1.03 2/97 16878 /proc/meminfo: memFree=839096/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2376 CPUtime=0 /proc/16838/stat : 16838 (sh) S 16837 16838 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416558165 2433024 263 1283457024 134512640 135191968 4292011424 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16838/statm: 594 263 226 166 0 26 0 [pid=16841] ppid=16838 vsize=132956 CPUtime=90.37 /proc/16841/stat : 16841 (apt-pbo) S 16838 16838 13759 34823 13904 4202496 38153 143065 0 588 1593 32 7268 144 18 0 1 0 416558165 136146944 32144 1283457024 134512640 135758360 4287570080 18446744073709551615 4159685966 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/16841/statm: 33239 32144 10367 305 0 21809 0 [pid=16875] ppid=16841 vsize=168868 CPUtime=33.21 /proc/16875/stat : 16875 (wbo) R 16841 16838 13759 34823 13904 4202496 48601 0 0 0 3295 26 0 0 18 0 1 0 416567642 172920832 41649 1283457024 134512640 135709839 4288031168 18446744073709551615 135162622 0 0 0 3 0 0 0 17 0 0 0 0 /proc/16875/statm: 42217 41649 132 293 0 41922 0 Current children cumulated CPU time (s) 123.58 Current children cumulated vsize (KiB) 304200 [startup+140.804 s] /proc/loadavg: 1.24 1.12 1.04 2/97 16879 /proc/meminfo: memFree=768672/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2376 CPUtime=0 /proc/16838/stat : 16838 (sh) S 16837 16838 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416558165 2433024 263 1283457024 134512640 135191968 4292011424 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16838/statm: 594 263 226 166 0 26 0 [pid=16841] ppid=16838 vsize=132956 CPUtime=90.37 /proc/16841/stat : 16841 (apt-pbo) S 16838 16838 13759 34823 13904 4202496 38153 143065 0 588 1593 32 7268 144 18 0 1 0 416558165 136146944 32144 1283457024 134512640 135758360 4287570080 18446744073709551615 4159685966 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/16841/statm: 33239 32144 10367 305 0 21809 0 [pid=16875] ppid=16841 vsize=237088 CPUtime=46 /proc/16875/stat : 16875 (wbo) R 16841 16838 13759 34823 13904 4202496 66510 0 0 0 4567 33 0 0 25 0 1 0 416567642 242778112 58715 1283457024 134512640 135709839 4288031168 18446744073709551615 135182831 0 0 0 3 0 0 0 17 0 0 0 0 /proc/16875/statm: 59272 58715 132 293 0 58977 0 Current children cumulated CPU time (s) 136.37 Current children cumulated vsize (KiB) 372420 [startup+147.206 s] /proc/loadavg: 1.22 1.12 1.04 2/97 16879 /proc/meminfo: memFree=733828/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2376 CPUtime=0 /proc/16838/stat : 16838 (sh) S 16837 16838 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416558165 2433024 263 1283457024 134512640 135191968 4292011424 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16838/statm: 594 263 226 166 0 26 0 [pid=16841] ppid=16838 vsize=132956 CPUtime=90.37 /proc/16841/stat : 16841 (apt-pbo) S 16838 16838 13759 34823 13904 4202496 38153 143065 0 588 1593 32 7268 144 18 0 1 0 416558165 136146944 32144 1283457024 134512640 135758360 4287570080 18446744073709551615 4159685966 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/16841/statm: 33239 32144 10367 305 0 21809 0 [pid=16875] ppid=16841 vsize=277608 CPUtime=52.39 /proc/16875/stat : 16875 (wbo) R 16841 16838 13759 34823 13904 4202496 76754 0 0 0 5203 36 0 0 18 0 1 0 416567642 284270592 68848 1283457024 134512640 135709839 4288031168 18446744073709551615 134518144 0 0 0 3 0 0 0 17 0 0 0 0 /proc/16875/statm: 69402 68848 132 293 0 69107 0 Current children cumulated CPU time (s) 142.76 Current children cumulated vsize (KiB) 412940 [startup+150.407 s] /proc/loadavg: 1.22 1.12 1.04 2/97 16879 /proc/meminfo: memFree=713120/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2376 CPUtime=0 /proc/16838/stat : 16838 (sh) S 16837 16838 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416558165 2433024 263 1283457024 134512640 135191968 4292011424 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16838/statm: 594 263 226 166 0 26 0 [pid=16841] ppid=16838 vsize=132956 CPUtime=90.37 /proc/16841/stat : 16841 (apt-pbo) S 16838 16838 13759 34823 13904 4202496 38153 143065 0 588 1593 32 7268 144 18 0 1 0 416558165 136146944 32144 1283457024 134512640 135758360 4287570080 18446744073709551615 4159685966 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/16841/statm: 33239 32144 10367 305 0 21809 0 [pid=16875] ppid=16841 vsize=297580 CPUtime=55.59 /proc/16875/stat : 16875 (wbo) R 16841 16838 13759 34823 13904 4202496 82207 0 0 0 5523 36 0 0 18 0 1 0 416567642 304721920 73830 1283457024 134512640 135709839 4288031168 18446744073709551615 134530665 0 0 0 3 0 0 0 17 0 0 0 0 /proc/16875/statm: 74395 73830 132 293 0 74100 0 Current children cumulated CPU time (s) 145.96 Current children cumulated vsize (KiB) 432912 [startup+153.609 s] /proc/loadavg: 1.21 1.12 1.04 2/97 16879 /proc/meminfo: memFree=692660/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2376 CPUtime=0 /proc/16838/stat : 16838 (sh) S 16837 16838 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416558165 2433024 263 1283457024 134512640 135191968 4292011424 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16838/statm: 594 263 226 166 0 26 0 [pid=16841] ppid=16838 vsize=132956 CPUtime=90.37 /proc/16841/stat : 16841 (apt-pbo) S 16838 16838 13759 34823 13904 4202496 38153 143065 0 588 1593 32 7268 144 18 0 1 0 416558165 136146944 32144 1283457024 134512640 135758360 4287570080 18446744073709551615 4159685966 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/16841/statm: 33239 32144 10367 305 0 21809 0 [pid=16875] ppid=16841 vsize=317780 CPUtime=58.8 /proc/16875/stat : 16875 (wbo) R 16841 16838 13759 34823 13904 4202496 87241 0 0 0 5837 43 0 0 18 0 1 0 416567642 325406720 78864 1283457024 134512640 135709839 4288031168 18446744073709551615 135166000 0 0 0 3 0 0 0 17 0 0 0 0 /proc/16875/statm: 79445 78864 132 293 0 79150 0 Current children cumulated CPU time (s) 149.17 Current children cumulated vsize (KiB) 453112 [startup+154.402 s] /proc/loadavg: 1.21 1.12 1.04 2/97 16879 /proc/meminfo: memFree=685468/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2376 CPUtime=0 /proc/16838/stat : 16838 (sh) S 16837 16838 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416558165 2433024 263 1283457024 134512640 135191968 4292011424 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16838/statm: 594 263 226 166 0 26 0 [pid=16841] ppid=16838 vsize=132956 CPUtime=90.37 /proc/16841/stat : 16841 (apt-pbo) S 16838 16838 13759 34823 13904 4202496 38153 143065 0 588 1593 32 7268 144 18 0 1 0 416558165 136146944 32144 1283457024 134512640 135758360 4287570080 18446744073709551615 4159685966 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/16841/statm: 33239 32144 10367 305 0 21809 0 [pid=16875] ppid=16841 vsize=322484 CPUtime=59.59 /proc/16875/stat : 16875 (wbo) R 16841 16838 13759 34823 13904 4202496 88592 0 0 0 5915 44 0 0 18 0 1 0 416567642 330223616 80100 1283457024 134512640 135709839 4288031168 18446744073709551615 135182873 0 0 0 3 0 0 0 17 0 0 0 0 /proc/16875/statm: 80621 80100 133 293 0 80326 0 Current children cumulated CPU time (s) 149.96 Current children cumulated vsize (KiB) 457816 [startup+154.809 s] /proc/loadavg: 1.21 1.12 1.04 2/97 16879 /proc/meminfo: memFree=685468/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2376 CPUtime=0 /proc/16838/stat : 16838 (sh) S 16837 16838 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416558165 2433024 263 1283457024 134512640 135191968 4292011424 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16838/statm: 594 263 226 166 0 26 0 [pid=16841] ppid=16838 vsize=132956 CPUtime=90.37 /proc/16841/stat : 16841 (apt-pbo) S 16838 16838 13759 34823 13904 4202496 38153 143065 0 588 1593 32 7268 144 18 0 1 0 416558165 136146944 32144 1283457024 134512640 135758360 4287570080 18446744073709551615 4159685966 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/16841/statm: 33239 32144 10367 305 0 21809 0 [pid=16875] ppid=16841 vsize=325244 CPUtime=59.99 /proc/16875/stat : 16875 (wbo) R 16841 16838 13759 34823 13904 4202496 89251 0 0 0 5955 44 0 0 18 0 1 0 416567642 333049856 80759 1283457024 134512640 135709839 4288031168 18446744073709551615 134605372 0 0 0 3 0 0 0 17 0 0 0 0 /proc/16875/statm: 81311 80759 133 293 0 81016 0 Current children cumulated CPU time (s) 150.36 Current children cumulated vsize (KiB) 460576 [startup+155.216 s] /proc/loadavg: 1.21 1.12 1.04 2/97 16879 /proc/meminfo: memFree=1002544/2097152 swapFree=2055676/2097144 [pid=16838] ppid=16837 vsize=2376 CPUtime=0 /proc/16838/stat : 16838 (sh) S 16837 16838 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416558165 2433024 263 1283457024 134512640 135191968 4292011424 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16838/statm: 594 263 226 166 0 26 0 [pid=16841] ppid=16838 vsize=89848 CPUtime=90.68 /proc/16841/stat : 16841 (apt-pbo) R 16838 16838 13759 34823 13904 4202496 41369 143065 0 588 1620 36 7268 144 18 0 1 0 416558165 92004352 21872 1283457024 134512640 135758360 4287570080 18446744073709551615 134983594 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16841/statm: 22462 21872 685 305 0 21235 0 [pid=16875] ppid=16841 vsize=0 CPUtime=60.08 /proc/16875/stat : 16875 (wbo) Z 16841 16838 13759 34823 13904 4202508 89322 0 0 0 5959 49 0 0 18 0 1 0 416567642 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/16875/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 150.76 Current children cumulated vsize (KiB) 92224 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16838 and gives # childrusage.ru_utime.tv_sec=88 # childrusage.ru_utime.tv_usec=885555 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=836114 # CPU time returned by wait4() is 90.7217 # while last known CPU time is 150.76 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 155.251 CPU time (s): 150.76 CPU user time (s): 148.47 CPU system time (s): 2.29 CPU usage (%): 97.1071 Max. virtual memory (cumulated for all children) (KiB): 460576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 88.8856 system time used= 1.83611 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 185241 page faults= 588 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3187 involuntary context switches= 3133 runsolver used 0 second user time and 0.012 second system time The end