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/randf61f65.cudf.difficult.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/difficult//randf61f65.cudf /home/misc2010/tmp/201007051419/apt-pbo-paranoid-1.0.5/randf61f65.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.46 1.21 1.11 1/95 9241 /proc/meminfo: memFree=1282284/2097152 swapFree=2055620/2097144 [pid=9241] ppid=9240 vsize=2380 CPUtime=0 /proc/9241/stat : 9241 (sh) S 9240 9241 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 419077737 2437120 264 1283457024 134512640 135191968 4293965696 18446744073709551615 4159679118 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9241/statm: 595 264 226 166 0 27 0 [pid=9243] ppid=9241 vsize=1364 CPUtime=0 /proc/9243/stat : 9243 (apt-pbo) R 9241 9241 13759 34823 13904 4194304 89 0 0 0 0 0 0 0 18 0 1 0 419077738 1396736 31 1283457024 134512640 135758360 4290171680 18446744073709551615 4160102532 0 2147483391 0 0 0 0 0 17 1 0 0 0 /proc/9243/statm: 341 31 22 305 0 6 0 [startup+0.205931 s] /proc/loadavg: 1.46 1.21 1.11 1/95 9241 /proc/meminfo: memFree=1282284/2097152 swapFree=2055620/2097144 [pid=9241] ppid=9240 vsize=2380 CPUtime=0 /proc/9241/stat : 9241 (sh) S 9240 9241 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 419077737 2437120 264 1283457024 134512640 135191968 4293965696 18446744073709551615 4159679118 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9241/statm: 595 264 226 166 0 27 0 [pid=9243] ppid=9241 vsize=3776 CPUtime=0 /proc/9243/stat : 9243 (apt-pbo) S 9241 9241 13759 34823 13904 4202496 631 0 0 0 0 0 0 0 16 0 1 0 419077738 3866624 563 1283457024 134512640 135758360 4290171680 18446744073709551615 4159175470 0 2147483391 128 0 18446744071697298955 0 0 17 0 0 0 0 /proc/9243/statm: 944 563 377 305 0 219 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6156 [startup+0.305938 s] /proc/loadavg: 1.46 1.21 1.11 1/95 9241 /proc/meminfo: memFree=1282284/2097152 swapFree=2055620/2097144 [pid=9241] ppid=9240 vsize=2380 CPUtime=0 /proc/9241/stat : 9241 (sh) S 9240 9241 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 419077737 2437120 264 1283457024 134512640 135191968 4293965696 18446744073709551615 4159679118 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9241/statm: 595 264 226 166 0 27 0 [pid=9243] ppid=9241 vsize=7228 CPUtime=0.02 /proc/9243/stat : 9243 (apt-pbo) S 9241 9241 13759 34823 13904 4202496 1205 0 0 0 2 0 0 0 15 0 1 0 419077738 7401472 1122 1283457024 134512640 135758360 4290171680 18446744073709551615 4159765949 0 2147483391 128 0 18446744071697298955 0 0 17 0 0 0 0 /proc/9243/statm: 1807 1122 576 305 0 589 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9608 [startup+0.405977 s] /proc/loadavg: 1.46 1.21 1.11 1/95 9241 /proc/meminfo: memFree=1282284/2097152 swapFree=2055620/2097144 [pid=9241] ppid=9240 vsize=2380 CPUtime=0 /proc/9241/stat : 9241 (sh) S 9240 9241 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 419077737 2437120 264 1283457024 134512640 135191968 4293965696 18446744073709551615 4159679118 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9241/statm: 595 264 226 166 0 27 0 [pid=9243] ppid=9241 vsize=7660 CPUtime=0.02 /proc/9243/stat : 9243 (apt-pbo) D 9241 9241 13759 34823 13904 4202496 1490 716 0 0 2 0 0 0 17 0 1 0 419077738 7843840 1287 1283457024 134512640 135758360 4290171680 18446744073709551615 4159763790 0 0 128 0 18446744071564332000 0 0 17 0 0 0 0 /proc/9243/statm: 1915 1287 625 305 0 688 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10040 [startup+0.745675 s] /proc/loadavg: 1.46 1.21 1.11 1/95 9241 /proc/meminfo: memFree=1282284/2097152 swapFree=2055620/2097144 [pid=9241] ppid=9240 vsize=2380 CPUtime=0 /proc/9241/stat : 9241 (sh) S 9240 9241 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 419077737 2437120 264 1283457024 134512640 135191968 4293965696 18446744073709551615 4159679118 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9241/statm: 595 264 226 166 0 27 0 [pid=9243] ppid=9241 vsize=8716 CPUtime=0.16 /proc/9243/stat : 9243 (apt-pbo) D 9241 9241 13759 34823 13904 4202496 1962 716 0 0 16 0 0 0 18 0 1 0 419077738 8925184 1555 1283457024 134512640 135758360 4290171680 18446744073709551615 4159763790 0 0 128 0 18446744071564332000 0 0 17 0 0 0 0 /proc/9243/statm: 2179 1555 628 305 0 952 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 11096 [startup+1.50598 s] /proc/loadavg: 1.42 1.21 1.11 2/97 9249 /proc/meminfo: memFree=1276080/2097152 swapFree=2055620/2097144 [pid=9241] ppid=9240 vsize=2380 CPUtime=0 /proc/9241/stat : 9241 (sh) S 9240 9241 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 419077737 2437120 264 1283457024 134512640 135191968 4293965696 18446744073709551615 4159679118 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9241/statm: 595 264 226 166 0 27 0 [pid=9243] ppid=9241 vsize=12048 CPUtime=0.65 /proc/9243/stat : 9243 (apt-pbo) R 9241 9241 13759 34823 13904 4202496 2830 716 0 0 64 1 0 0 18 0 1 0 419077738 12337152 2390 1283457024 134512640 135758360 4290171680 18446744073709551615 134950288 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9243/statm: 3012 2390 628 305 0 1785 0 Current children cumulated CPU time (s) 0.65 Current children cumulated vsize (KiB) 14428 [startup+3.11452 s] /proc/loadavg: 1.42 1.21 1.11 2/97 9249 /proc/meminfo: memFree=1266228/2097152 swapFree=2055620/2097144 [pid=9241] ppid=9240 vsize=2380 CPUtime=0 /proc/9241/stat : 9241 (sh) S 9240 9241 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 419077737 2437120 264 1283457024 134512640 135191968 4293965696 18446744073709551615 4159679118 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9241/statm: 595 264 226 166 0 27 0 [pid=9243] ppid=9241 vsize=20492 CPUtime=1.8 /proc/9243/stat : 9243 (apt-pbo) R 9241 9241 13759 34823 13904 4202496 4955 716 0 0 178 2 0 0 18 0 1 0 419077738 20983808 4502 1283457024 134512640 135758360 4290171680 18446744073709551615 4158853174 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9243/statm: 5123 4502 628 305 0 3896 0 Current children cumulated CPU time (s) 1.8 Current children cumulated vsize (KiB) 22872 heavy processes: [startup+6.30225 s] /proc/loadavg: 1.42 1.21 1.11 2/97 9249 /proc/meminfo: memFree=1235248/2097152 swapFree=2055620/2097144 [pid=9241] ppid=9240 vsize=2380 CPUtime=0 /proc/9241/stat : 9241 (sh) S 9240 9241 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 419077737 2437120 264 1283457024 134512640 135191968 4293965696 18446744073709551615 4159679118 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9241/statm: 595 264 226 166 0 27 0 [pid=9243] ppid=9241 vsize=38492 CPUtime=4.4 /proc/9243/stat : 9243 (apt-pbo) D 9241 9241 13759 34823 13904 4202496 9447 716 0 0 432 8 0 0 18 0 1 0 419077738 39415808 8992 1283457024 134512640 135758360 4290171680 18446744073709551615 4159763790 0 0 128 0 18446744071564332000 0 0 17 0 0 0 0 /proc/9243/statm: 9623 8992 628 305 0 8396 0 Current children cumulated CPU time (s) 4.4 Current children cumulated vsize (KiB) 40872 heavy processes: [startup+12.7065 s] /proc/loadavg: 1.36 1.20 1.11 2/98 9266 /proc/meminfo: memFree=1158372/2097152 swapFree=2055620/2097144 [pid=9241] ppid=9240 vsize=2380 CPUtime=0 /proc/9241/stat : 9241 (sh) S 9240 9241 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 419077737 2437120 264 1283457024 134512640 135191968 4293965696 18446744073709551615 4159679118 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9241/statm: 595 264 226 166 0 27 0 [pid=9243] ppid=9241 vsize=67616 CPUtime=7.43 /proc/9243/stat : 9243 (apt-pbo) S 9241 9241 13759 34823 13904 4202496 16988 16701 0 293 533 14 174 22 18 0 1 0 419077738 69238784 16060 1283457024 134512640 135758360 4290171680 18446744073709551615 4159763790 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9243/statm: 16904 16060 5557 305 0 10540 0 [pid=9266] ppid=9243 vsize=12632 CPUtime=2.11 /proc/9266/stat : 9266 (wbo) R 9243 9241 13759 34823 13904 4202496 3413 0 0 0 207 4 0 0 18 0 1 0 419078795 12935168 2692 1283457024 134512640 135709839 4293627392 18446744073709551615 134571159 0 0 0 3 0 0 0 17 1 0 0 0 /proc/9266/statm: 3158 2692 132 293 0 2863 0 Current children cumulated CPU time (s) 9.54 Current children cumulated vsize (KiB) 82628 heavy processes: [startup+25.5031 s] /proc/loadavg: 1.38 1.21 1.11 2/97 9267 /proc/meminfo: memFree=1146888/2097152 swapFree=2055620/2097144 [pid=9241] ppid=9240 vsize=2380 CPUtime=0 /proc/9241/stat : 9241 (sh) S 9240 9241 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 419077737 2437120 264 1283457024 134512640 135191968 4293965696 18446744073709551615 4159679118 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9241/statm: 595 264 226 166 0 27 0 [pid=9243] ppid=9241 vsize=86508 CPUtime=19.44 /proc/9243/stat : 9243 (apt-pbo) R 9241 9241 13759 34823 13904 4202496 21940 16701 0 293 1728 20 174 22 25 0 1 0 419077738 88584192 20768 1283457024 134512640 135758360 4290171680 18446744073709551615 134890831 0 0 128 0 0 0 0 17 1 0 0 0 /proc/9243/statm: 21627 20768 5561 305 0 15263 0 [pid=9266] ppid=9243 vsize=0 CPUtime=2.87 /proc/9266/stat : 9266 (wbo) Z 9243 9241 13759 34823 13904 4202508 4806 0 0 0 282 5 0 0 18 0 1 0 419078795 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/9266/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 22.31 Current children cumulated vsize (KiB) 88888 Solver just ended. Dumping a history of the last processes samples [startup+25.6071 s] /proc/loadavg: 1.38 1.21 1.11 2/97 9267 /proc/meminfo: memFree=1146888/2097152 swapFree=2055620/2097144 [pid=9241] ppid=9240 vsize=2380 CPUtime=0 /proc/9241/stat : 9241 (sh) S 9240 9241 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 419077737 2437120 264 1283457024 134512640 135191968 4293965696 18446744073709551615 4159679118 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9241/statm: 595 264 226 166 0 27 0 [pid=9243] ppid=9241 vsize=86508 CPUtime=19.55 /proc/9243/stat : 9243 (apt-pbo) R 9241 9241 13759 34823 13904 4202496 21940 16701 0 293 1739 20 174 22 25 0 1 0 419077738 88584192 20768 1283457024 134512640 135758360 4290171680 18446744073709551615 134893895 0 0 128 0 0 0 0 17 1 0 0 0 /proc/9243/statm: 21627 20768 5561 305 0 15263 0 [pid=9266] ppid=9243 vsize=0 CPUtime=2.87 /proc/9266/stat : 9266 (wbo) Z 9243 9241 13759 34823 13904 4202508 4806 0 0 0 282 5 0 0 18 0 1 0 419078795 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/9266/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 22.42 Current children cumulated vsize (KiB) 88888 [startup+38.4036 s] /proc/loadavg: 1.30 1.20 1.11 2/97 9273 /proc/meminfo: memFree=1140928/2097152 swapFree=2055620/2097144 [pid=9241] ppid=9240 vsize=2380 CPUtime=0 /proc/9241/stat : 9241 (sh) S 9240 9241 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 419077737 2437120 264 1283457024 134512640 135191968 4293965696 18446744073709551615 4159679118 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9241/statm: 595 264 226 166 0 27 0 [pid=9243] ppid=9241 vsize=86648 CPUtime=33.16 /proc/9243/stat : 9243 (apt-pbo) S 9241 9241 13759 34823 13904 4202496 22695 28628 0 293 2720 22 540 34 18 0 1 0 419077738 88727552 20828 1283457024 134512640 135758360 4290171680 18446744073709551615 4159763790 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/9243/statm: 21662 20828 5562 305 0 15298 0 [pid=9273] ppid=9243 vsize=10396 CPUtime=1.95 /proc/9273/stat : 9273 (wbo) R 9243 9241 13759 34823 13904 4202496 3095 0 0 0 193 2 0 0 18 0 1 0 419081377 10645504 2140 1283457024 134512640 135709839 4291489024 18446744073709551615 135165958 0 0 0 3 0 0 0 17 0 0 0 0 /proc/9273/statm: 2599 2140 132 293 0 2304 0 Current children cumulated CPU time (s) 35.11 Current children cumulated vsize (KiB) 99424 [startup+44.8041 s] /proc/loadavg: 1.35 1.21 1.11 2/97 9278 /proc/meminfo: memFree=1142416/2097152 swapFree=2055620/2097144 [pid=9241] ppid=9240 vsize=2380 CPUtime=0 /proc/9241/stat : 9241 (sh) S 9240 9241 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 419077737 2437120 264 1283457024 134512640 135191968 4293965696 18446744073709551615 4159679118 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9241/statm: 595 264 226 166 0 27 0 [pid=9243] ppid=9241 vsize=86652 CPUtime=40.52 /proc/9243/stat : 9243 (apt-pbo) S 9241 9241 13759 34823 13904 4202496 25787 44973 0 293 2753 24 1226 49 18 0 1 0 419077738 88731648 20829 1283457024 134512640 135758360 4290171680 18446744073709551615 4159763790 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/9243/statm: 21663 20829 5562 305 0 15299 0 [pid=9278] ppid=9243 vsize=6916 CPUtime=0.86 /proc/9278/stat : 9278 (wbo) R 9243 9241 13759 34823 13904 4202496 2043 0 0 0 86 0 0 0 18 0 1 0 419082128 7081984 1280 1283457024 134512640 135709839 4293363408 18446744073709551615 134529856 0 0 0 3 0 0 0 17 0 0 0 0 /proc/9278/statm: 1729 1280 132 293 0 1434 0 Current children cumulated CPU time (s) 41.38 Current children cumulated vsize (KiB) 95948 [startup+48.0084 s] /proc/loadavg: 1.41 1.23 1.12 2/97 9279 /proc/meminfo: memFree=1132000/2097152 swapFree=2055620/2097144 [pid=9241] ppid=9240 vsize=2380 CPUtime=0 /proc/9241/stat : 9241 (sh) S 9240 9241 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 419077737 2437120 264 1283457024 134512640 135191968 4293965696 18446744073709551615 4159679118 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9241/statm: 595 264 226 166 0 27 0 [pid=9243] ppid=9241 vsize=86652 CPUtime=40.53 /proc/9243/stat : 9243 (apt-pbo) S 9241 9241 13759 34823 13904 4202496 25787 44973 0 293 2753 25 1226 49 18 0 1 0 419077738 88731648 20829 1283457024 134512640 135758360 4290171680 18446744073709551615 4159763790 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/9243/statm: 21663 20829 5562 305 0 15299 0 [pid=9278] ppid=9243 vsize=17972 CPUtime=4 /proc/9278/stat : 9278 (wbo) R 9243 9241 13759 34823 13904 4202496 6046 0 0 0 398 2 0 0 18 0 1 0 419082128 18403328 4048 1283457024 134512640 135709839 4293363408 18446744073709551615 134517174 0 0 0 3 0 0 0 17 0 0 0 0 /proc/9278/statm: 4493 4048 132 293 0 4198 0 Current children cumulated CPU time (s) 44.53 Current children cumulated vsize (KiB) 107004 [startup+49.6088 s] /proc/loadavg: 1.41 1.23 1.12 2/97 9279 /proc/meminfo: memFree=1122080/2097152 swapFree=2055620/2097144 [pid=9241] ppid=9240 vsize=2380 CPUtime=0 /proc/9241/stat : 9241 (sh) S 9240 9241 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 419077737 2437120 264 1283457024 134512640 135191968 4293965696 18446744073709551615 4159679118 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9241/statm: 595 264 226 166 0 27 0 [pid=9243] ppid=9241 vsize=86652 CPUtime=40.53 /proc/9243/stat : 9243 (apt-pbo) S 9241 9241 13759 34823 13904 4202496 25787 44973 0 293 2753 25 1226 49 18 0 1 0 419077738 88731648 20829 1283457024 134512640 135758360 4290171680 18446744073709551615 4159763790 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/9243/statm: 21663 20829 5562 305 0 15299 0 [pid=9278] ppid=9243 vsize=25664 CPUtime=5.59 /proc/9278/stat : 9278 (wbo) R 9243 9241 13759 34823 13904 4202496 8825 0 0 0 556 3 0 0 18 0 1 0 419082128 26279936 5927 1283457024 134512640 135709839 4293363408 18446744073709551615 134606234 0 0 0 3 0 0 0 17 0 0 0 0 /proc/9278/statm: 6416 5927 132 293 0 6121 0 Current children cumulated CPU time (s) 46.12 Current children cumulated vsize (KiB) 114696 [startup+50.4042 s] /proc/loadavg: 1.41 1.23 1.12 2/97 9279 /proc/meminfo: memFree=1122080/2097152 swapFree=2055620/2097144 [pid=9241] ppid=9240 vsize=2380 CPUtime=0 /proc/9241/stat : 9241 (sh) S 9240 9241 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 419077737 2437120 264 1283457024 134512640 135191968 4293965696 18446744073709551615 4159679118 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9241/statm: 595 264 226 166 0 27 0 [pid=9243] ppid=9241 vsize=86652 CPUtime=40.53 /proc/9243/stat : 9243 (apt-pbo) S 9241 9241 13759 34823 13904 4202496 25787 44973 0 293 2753 25 1226 49 18 0 1 0 419077738 88731648 20829 1283457024 134512640 135758360 4290171680 18446744073709551615 4159763790 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/9243/statm: 21663 20829 5562 305 0 15299 0 [pid=9278] ppid=9243 vsize=29896 CPUtime=6.39 /proc/9278/stat : 9278 (wbo) R 9243 9241 13759 34823 13904 4202496 10311 0 0 0 636 3 0 0 18 0 1 0 419082128 30613504 7018 1283457024 134512640 135709839 4293363408 18446744073709551615 134529856 0 0 0 3 0 0 0 17 0 0 0 0 /proc/9278/statm: 7474 7018 133 293 0 7179 0 Current children cumulated CPU time (s) 46.92 Current children cumulated vsize (KiB) 118928 [startup+50.6042 s] /proc/loadavg: 1.41 1.23 1.12 2/97 9279 /proc/meminfo: memFree=1144284/2097152 swapFree=2055620/2097144 [pid=9241] ppid=9240 vsize=2380 CPUtime=0 /proc/9241/stat : 9241 (sh) S 9240 9241 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 419077737 2437120 264 1283457024 134512640 135191968 4293965696 18446744073709551615 4159679118 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9241/statm: 595 264 226 166 0 27 0 [pid=9243] ppid=9241 vsize=86652 CPUtime=40.68 /proc/9243/stat : 9243 (apt-pbo) R 9241 9241 13759 34823 13904 4202496 26663 44973 0 293 2768 25 1226 49 18 0 1 0 419077738 88731648 20829 1283457024 134512640 135758360 4290171680 18446744073709551615 134944880 0 0 128 0 0 0 0 17 1 0 0 0 /proc/9243/statm: 21663 20829 5562 305 0 15299 0 [pid=9278] ppid=9243 vsize=0 CPUtime=6.43 /proc/9278/stat : 9278 (wbo) Z 9243 9241 13759 34823 13904 4202508 10383 0 0 0 640 3 0 0 18 0 1 0 419082128 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/9278/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 47.11 Current children cumulated vsize (KiB) 89032 [startup+50.7042 s] /proc/loadavg: 1.41 1.23 1.12 2/97 9279 /proc/meminfo: memFree=1144284/2097152 swapFree=2055620/2097144 [pid=9241] ppid=9240 vsize=2380 CPUtime=0 /proc/9241/stat : 9241 (sh) S 9240 9241 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 18 0 1 0 419077737 2437120 264 1283457024 134512640 135191968 4293965696 18446744073709551615 4159679118 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9241/statm: 595 264 226 166 0 27 0 [pid=9243] ppid=9241 vsize=86652 CPUtime=40.78 /proc/9243/stat : 9243 (apt-pbo) R 9241 9241 13759 34823 13904 4202496 27356 44973 0 293 2777 26 1226 49 18 0 1 0 419077738 88731648 20829 1283457024 134512640 135758360 4290171680 18446744073709551615 134889579 0 0 128 0 0 0 0 17 1 0 0 0 /proc/9243/statm: 21663 20829 5562 305 0 15299 0 [pid=9278] ppid=9243 vsize=0 CPUtime=6.43 /proc/9278/stat : 9278 (wbo) Z 9243 9241 13759 34823 13904 4202508 10383 0 0 0 640 3 0 0 18 0 1 0 419082128 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/9278/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 47.21 Current children cumulated vsize (KiB) 89032 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9241 and gives # childrusage.ru_utime.tv_sec=40 # childrusage.ru_utime.tv_usec=90505 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=764047 # CPU time returned by wait4() is 40.8545 # while last known CPU time is 47.21 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 50.7681 CPU time (s): 47.21 CPU user time (s): 46.43 CPU system time (s): 0.78 CPU usage (%): 92.9914 Max. virtual memory (cumulated for all children) (KiB): 118928 getrusage(RUSAGE_CHILDREN,...) data: user time used= 40.0905 system time used= 0.764047 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75306 page faults= 293 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3399 involuntary context switches= 1143 runsolver used 0.016001 second user time and 0.020001 second system time The end