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/rand908403.cudf.difficult.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/difficult//rand908403.cudf /home/misc2010/tmp/201007051419/apt-pbo-paranoid-1.0.5/rand908403.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.00 1.03 1.02 2/94 10683 /proc/meminfo: memFree=1180000/2097152 swapFree=2055620/2097144 [pid=10683] ppid=10682 vsize=2380 CPUtime=0 /proc/10683/stat : 10683 (sh) S 10682 10683 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 417760180 2437120 264 1283457024 134512640 135191968 4289184496 18446744073709551615 4159654542 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10683/statm: 595 264 226 166 0 27 0 [pid=10685] ppid=10683 vsize=1380 CPUtime=0 /proc/10685/stat : 10685 (apt-pbo) S 10683 10683 13759 34823 13904 4194304 91 0 0 0 0 0 0 0 18 0 1 0 417760181 1413120 33 1283457024 134512640 135758360 4293346848 18446744073709551615 4160090244 0 2147483391 0 0 18446744071697298955 0 0 17 0 0 0 0 /proc/10685/statm: 345 33 25 305 0 5 0 [startup+0.297648 s] /proc/loadavg: 1.00 1.03 1.02 2/94 10683 /proc/meminfo: memFree=1180000/2097152 swapFree=2055620/2097144 [pid=10683] ppid=10682 vsize=2380 CPUtime=0 /proc/10683/stat : 10683 (sh) S 10682 10683 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 417760180 2437120 264 1283457024 134512640 135191968 4289184496 18446744073709551615 4159654542 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10683/statm: 595 264 226 166 0 27 0 [pid=10685] ppid=10683 vsize=8976 CPUtime=0.21 /proc/10685/stat : 10685 (apt-pbo) R 10683 10683 13759 34823 13904 4202496 2023 717 0 0 20 1 0 0 19 0 1 0 417760181 9191424 1618 1283457024 134512640 135758360 4293346848 18446744073709551615 134944880 0 0 128 0 0 0 0 17 0 0 0 0 /proc/10685/statm: 2244 1618 628 305 0 1017 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 11356 [startup+0.325976 s] /proc/loadavg: 1.00 1.03 1.02 2/94 10683 /proc/meminfo: memFree=1180000/2097152 swapFree=2055620/2097144 [pid=10683] ppid=10682 vsize=2380 CPUtime=0 /proc/10683/stat : 10683 (sh) S 10682 10683 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 417760180 2437120 264 1283457024 134512640 135191968 4289184496 18446744073709551615 4159654542 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10683/statm: 595 264 226 166 0 27 0 [pid=10685] ppid=10683 vsize=9244 CPUtime=0.23 /proc/10685/stat : 10685 (apt-pbo) R 10683 10683 13759 34823 13904 4202496 2087 717 0 0 22 1 0 0 19 0 1 0 417760181 9465856 1682 1283457024 134512640 135758360 4293346848 18446744073709551615 4159751390 0 0 128 0 0 0 0 17 0 0 0 0 /proc/10685/statm: 2311 1682 628 305 0 1084 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 11624 [startup+0.405995 s] /proc/loadavg: 1.00 1.03 1.02 2/94 10683 /proc/meminfo: memFree=1180000/2097152 swapFree=2055620/2097144 [pid=10683] ppid=10682 vsize=2380 CPUtime=0 /proc/10683/stat : 10683 (sh) S 10682 10683 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 417760180 2437120 264 1283457024 134512640 135191968 4289184496 18446744073709551615 4159654542 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10683/statm: 595 264 226 166 0 27 0 [pid=10685] ppid=10683 vsize=9772 CPUtime=0.31 /proc/10685/stat : 10685 (apt-pbo) R 10683 10683 13759 34823 13904 4202496 2250 717 0 0 30 1 0 0 19 0 1 0 417760181 10006528 1812 1283457024 134512640 135758360 4293346848 18446744073709551615 134888694 0 0 128 0 0 0 0 17 0 0 0 0 /proc/10685/statm: 2443 1812 628 305 0 1216 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 12152 [startup+0.70598 s] /proc/loadavg: 1.00 1.03 1.02 2/94 10683 /proc/meminfo: memFree=1180000/2097152 swapFree=2055620/2097144 [pid=10683] ppid=10682 vsize=2380 CPUtime=0 /proc/10683/stat : 10683 (sh) S 10682 10683 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 417760180 2437120 264 1283457024 134512640 135191968 4289184496 18446744073709551615 4159654542 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10683/statm: 595 264 226 166 0 27 0 [pid=10685] ppid=10683 vsize=11780 CPUtime=0.62 /proc/10685/stat : 10685 (apt-pbo) R 10683 10683 13759 34823 13904 4202496 2747 717 0 0 60 2 0 0 19 0 1 0 417760181 12062720 2309 1283457024 134512640 135758360 4293346848 18446744073709551615 4158845285 0 0 128 0 0 0 0 17 0 0 0 0 /proc/10685/statm: 2945 2309 628 305 0 1718 0 Current children cumulated CPU time (s) 0.62 Current children cumulated vsize (KiB) 14160 [startup+1.50604 s] /proc/loadavg: 1.00 1.02 1.02 2/96 10688 /proc/meminfo: memFree=1165276/2097152 swapFree=2055620/2097144 [pid=10683] ppid=10682 vsize=2380 CPUtime=0 /proc/10683/stat : 10683 (sh) S 10682 10683 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 417760180 2437120 264 1283457024 134512640 135191968 4289184496 18446744073709551615 4159654542 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10683/statm: 595 264 226 166 0 27 0 [pid=10685] ppid=10683 vsize=17076 CPUtime=1.42 /proc/10685/stat : 10685 (apt-pbo) R 10683 10683 13759 34823 13904 4202496 4073 717 0 0 137 5 0 0 21 0 1 0 417760181 17485824 3629 1283457024 134512640 135758360 4293346848 18446744073709551615 4159751502 0 0 128 0 0 0 0 17 0 0 0 0 /proc/10685/statm: 4269 3629 628 305 0 3042 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 19456 [startup+3.10612 s] /proc/loadavg: 1.00 1.02 1.02 2/96 10688 /proc/meminfo: memFree=1152588/2097152 swapFree=2055620/2097144 [pid=10683] ppid=10682 vsize=2380 CPUtime=0 /proc/10683/stat : 10683 (sh) S 10682 10683 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 417760180 2437120 264 1283457024 134512640 135191968 4289184496 18446744073709551615 4159654542 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10683/statm: 595 264 226 166 0 27 0 [pid=10685] ppid=10683 vsize=27480 CPUtime=3.01 /proc/10685/stat : 10685 (apt-pbo) R 10683 10683 13759 34823 13904 4202496 6693 717 0 0 294 7 0 0 25 0 1 0 417760181 28139520 6242 1283457024 134512640 135758360 4293346848 18446744073709551615 4159751502 0 0 128 0 0 0 0 17 0 0 0 0 /proc/10685/statm: 6870 6242 628 305 0 5643 0 Current children cumulated CPU time (s) 3.01 Current children cumulated vsize (KiB) 29860 [startup+6.31447 s] /proc/loadavg: 1.00 1.02 1.02 2/96 10689 /proc/meminfo: memFree=1127768/2097152 swapFree=2055620/2097144 [pid=10683] ppid=10682 vsize=2380 CPUtime=0 /proc/10683/stat : 10683 (sh) S 10682 10683 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 417760180 2437120 264 1283457024 134512640 135191968 4289184496 18446744073709551615 4159654542 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10683/statm: 595 264 226 166 0 27 0 [pid=10685] ppid=10683 vsize=41528 CPUtime=5.09 /proc/10685/stat : 10685 (apt-pbo) R 10683 10683 13759 34823 13904 4202496 10200 717 0 0 499 10 0 0 19 0 1 0 417760181 42524672 9747 1283457024 134512640 135758360 4293346848 18446744073709551615 135510299 0 0 128 0 0 0 0 17 0 0 0 0 /proc/10685/statm: 10382 9747 628 305 0 9155 0 Current children cumulated CPU time (s) 5.09 Current children cumulated vsize (KiB) 43908 [startup+12.7065 s] /proc/loadavg: 1.00 1.02 1.02 2/97 10703 /proc/meminfo: memFree=1052816/2097152 swapFree=2055620/2097144 [pid=10683] ppid=10682 vsize=2380 CPUtime=0 /proc/10683/stat : 10683 (sh) S 10682 10683 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 417760180 2437120 264 1283457024 134512640 135191968 4289184496 18446744073709551615 4159654542 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10683/statm: 595 264 226 166 0 27 0 [pid=10685] ppid=10683 vsize=68392 CPUtime=8.01 /proc/10685/stat : 10685 (apt-pbo) R 10683 10683 13759 34823 13904 4202496 17428 16714 0 293 575 14 184 28 18 0 1 0 417760181 70033408 16271 1283457024 134512640 135758360 4293346848 18446744073709551615 135064827 0 0 128 0 0 0 0 17 1 0 0 0 /proc/10685/statm: 17098 16271 5559 305 0 10734 0 [pid=10703] ppid=10685 vsize=0 CPUtime=3.33 /proc/10703/stat : 10703 (wbo) Z 10685 10683 13759 34823 13904 4202508 4751 0 0 0 333 0 0 0 18 0 1 0 417761095 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/10703/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 11.34 Current children cumulated vsize (KiB) 70772 [startup+25.5071 s] /proc/loadavg: 1.00 1.02 1.02 2/97 10704 /proc/meminfo: memFree=1043068/2097152 swapFree=2055620/2097144 [pid=10683] ppid=10682 vsize=2380 CPUtime=0 /proc/10683/stat : 10683 (sh) S 10682 10683 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 417760180 2437120 264 1283457024 134512640 135191968 4289184496 18446744073709551615 4159654542 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10683/statm: 595 264 226 166 0 27 0 [pid=10685] ppid=10683 vsize=87688 CPUtime=20.8 /proc/10685/stat : 10685 (apt-pbo) R 10683 10683 13759 34823 13904 4202496 22316 16714 0 293 1854 14 184 28 25 0 1 0 417760181 89792512 21079 1283457024 134512640 135758360 4293346848 18446744073709551615 135162168 0 0 128 0 0 0 0 17 1 0 0 0 /proc/10685/statm: 21922 21079 5561 305 0 15558 0 [pid=10703] ppid=10685 vsize=0 CPUtime=3.33 /proc/10703/stat : 10703 (wbo) Z 10685 10683 13759 34823 13904 4202508 4751 0 0 0 333 0 0 0 18 0 1 0 417761095 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/10703/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 24.13 Current children cumulated vsize (KiB) 90068 [startup+51.1042 s] /proc/loadavg: 1.00 1.02 1.01 2/97 10716 /proc/meminfo: memFree=1029776/2097152 swapFree=2055620/2097144 [pid=10683] ppid=10682 vsize=2380 CPUtime=0 /proc/10683/stat : 10683 (sh) S 10682 10683 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 417760180 2437120 264 1283457024 134512640 135191968 4289184496 18446744073709551615 4159654542 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10683/statm: 595 264 226 166 0 27 0 [pid=10685] ppid=10683 vsize=88448 CPUtime=46.25 /proc/10685/stat : 10685 (apt-pbo) S 10683 10683 13759 34823 13904 4202496 27828 53124 0 293 2620 19 1926 60 18 0 1 0 417760181 90570752 21248 1283457024 134512640 135758360 4293346848 18446744073709551615 4159751502 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/10685/statm: 22112 21248 5561 305 0 15748 0 [pid=10716] ppid=10685 vsize=13092 CPUtime=3.22 /proc/10716/stat : 10716 (wbo) R 10685 10683 13759 34823 13904 4202496 5248 0 0 0 319 3 0 0 18 0 1 0 417764956 13406208 2796 1283457024 134512640 135709839 4292253120 18446744073709551615 134606605 0 0 0 3 0 0 0 17 1 0 0 0 /proc/10716/statm: 3273 2796 132 293 0 2978 0 Current children cumulated CPU time (s) 49.47 Current children cumulated vsize (KiB) 103920 Solver just ended. Dumping a history of the last processes samples [startup+51.3042 s] /proc/loadavg: 1.00 1.02 1.01 2/97 10716 /proc/meminfo: memFree=1029776/2097152 swapFree=2055620/2097144 [pid=10683] ppid=10682 vsize=2380 CPUtime=0 /proc/10683/stat : 10683 (sh) S 10682 10683 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 417760180 2437120 264 1283457024 134512640 135191968 4289184496 18446744073709551615 4159654542 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10683/statm: 595 264 226 166 0 27 0 [pid=10685] ppid=10683 vsize=88448 CPUtime=46.25 /proc/10685/stat : 10685 (apt-pbo) S 10683 10683 13759 34823 13904 4202496 27828 53124 0 293 2620 19 1926 60 18 0 1 0 417760181 90570752 21248 1283457024 134512640 135758360 4293346848 18446744073709551615 4159751502 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/10685/statm: 22112 21248 5561 305 0 15748 0 [pid=10716] ppid=10685 vsize=13580 CPUtime=3.42 /proc/10716/stat : 10716 (wbo) R 10685 10683 13759 34823 13904 4202496 5460 0 0 0 339 3 0 0 18 0 1 0 417764956 13905920 2945 1283457024 134512640 135709839 4292253120 18446744073709551615 135230974 0 0 0 3 0 0 0 17 1 0 0 0 /proc/10716/statm: 3395 2945 132 293 0 3100 0 Current children cumulated CPU time (s) 49.67 Current children cumulated vsize (KiB) 104408 [startup+57.7045 s] /proc/loadavg: 1.00 1.02 1.01 2/97 10716 /proc/meminfo: memFree=1009572/2097152 swapFree=2055620/2097144 [pid=10683] ppid=10682 vsize=2380 CPUtime=0 /proc/10683/stat : 10683 (sh) S 10682 10683 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 417760180 2437120 264 1283457024 134512640 135191968 4289184496 18446744073709551615 4159654542 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10683/statm: 595 264 226 166 0 27 0 [pid=10685] ppid=10683 vsize=88448 CPUtime=46.25 /proc/10685/stat : 10685 (apt-pbo) S 10683 10683 13759 34823 13904 4202496 27828 53124 0 293 2620 19 1926 60 18 0 1 0 417760181 90570752 21248 1283457024 134512640 135758360 4293346848 18446744073709551615 4159751502 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/10685/statm: 22112 21248 5561 305 0 15748 0 [pid=10716] ppid=10685 vsize=33756 CPUtime=9.8 /proc/10716/stat : 10716 (wbo) R 10685 10683 13759 34823 13904 4202496 13666 0 0 0 974 6 0 0 19 0 1 0 417764956 34566144 7993 1283457024 134512640 135709839 4292253120 18446744073709551615 134605451 0 0 0 3 0 0 0 17 1 0 0 0 /proc/10716/statm: 8439 7993 132 293 0 8144 0 Current children cumulated CPU time (s) 56.05 Current children cumulated vsize (KiB) 124584 [startup+59.3046 s] /proc/loadavg: 1.00 1.02 1.01 2/97 10716 /proc/meminfo: memFree=1005604/2097152 swapFree=2055620/2097144 [pid=10683] ppid=10682 vsize=2380 CPUtime=0 /proc/10683/stat : 10683 (sh) S 10682 10683 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 417760180 2437120 264 1283457024 134512640 135191968 4289184496 18446744073709551615 4159654542 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10683/statm: 595 264 226 166 0 27 0 [pid=10685] ppid=10683 vsize=88448 CPUtime=46.25 /proc/10685/stat : 10685 (apt-pbo) S 10683 10683 13759 34823 13904 4202496 27828 53124 0 293 2620 19 1926 60 18 0 1 0 417760181 90570752 21248 1283457024 134512640 135758360 4293346848 18446744073709551615 4159751502 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/10685/statm: 22112 21248 5561 305 0 15748 0 [pid=10716] ppid=10685 vsize=40276 CPUtime=11.4 /proc/10716/stat : 10716 (wbo) R 10685 10683 13759 34823 13904 4202496 15791 0 0 0 1134 6 0 0 18 0 1 0 417764956 41242624 9605 1283457024 134512640 135709839 4292253120 18446744073709551615 134529856 0 0 0 3 0 0 0 17 1 0 0 0 /proc/10716/statm: 10069 9605 132 293 0 9774 0 Current children cumulated CPU time (s) 57.65 Current children cumulated vsize (KiB) 131104 [startup+60.1047 s] /proc/loadavg: 1.00 1.02 1.01 2/97 10716 /proc/meminfo: memFree=1000528/2097152 swapFree=2055620/2097144 [pid=10683] ppid=10682 vsize=2380 CPUtime=0 /proc/10683/stat : 10683 (sh) S 10682 10683 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 417760180 2437120 264 1283457024 134512640 135191968 4289184496 18446744073709551615 4159654542 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10683/statm: 595 264 226 166 0 27 0 [pid=10685] ppid=10683 vsize=88448 CPUtime=46.25 /proc/10685/stat : 10685 (apt-pbo) S 10683 10683 13759 34823 13904 4202496 27828 53124 0 293 2620 19 1926 60 18 0 1 0 417760181 90570752 21248 1283457024 134512640 135758360 4293346848 18446744073709551615 4159751502 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/10685/statm: 22112 21248 5561 305 0 15748 0 [pid=10716] ppid=10685 vsize=44060 CPUtime=12.2 /proc/10716/stat : 10716 (wbo) R 10685 10683 13759 34823 13904 4202496 17412 0 0 0 1214 6 0 0 18 0 1 0 417764956 45117440 10520 1283457024 134512640 135709839 4292253120 18446744073709551615 134529856 0 0 0 3 0 0 0 17 1 0 0 0 /proc/10716/statm: 11015 10520 132 293 0 10720 0 Current children cumulated CPU time (s) 58.45 Current children cumulated vsize (KiB) 134888 [startup+60.5128 s] /proc/loadavg: 1.00 1.02 1.01 2/97 10716 /proc/meminfo: memFree=1000528/2097152 swapFree=2055620/2097144 [pid=10683] ppid=10682 vsize=2380 CPUtime=0 /proc/10683/stat : 10683 (sh) S 10682 10683 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 417760180 2437120 264 1283457024 134512640 135191968 4289184496 18446744073709551615 4159654542 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10683/statm: 595 264 226 166 0 27 0 [pid=10685] ppid=10683 vsize=88448 CPUtime=46.37 /proc/10685/stat : 10685 (apt-pbo) R 10683 10683 13759 34823 13904 4202496 28741 53124 0 293 2632 19 1926 60 18 0 1 0 417760181 90570752 21248 1283457024 134512640 135758360 4293346848 18446744073709551615 135311896 0 0 128 0 0 0 0 17 0 0 0 0 /proc/10685/statm: 22112 21248 5561 305 0 15748 0 [pid=10716] ppid=10685 vsize=0 CPUtime=12.49 /proc/10716/stat : 10716 (wbo) Z 10685 10683 13759 34823 13904 4202508 17758 0 0 0 1242 7 0 0 19 0 1 0 417764956 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/10716/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 58.86 Current children cumulated vsize (KiB) 90828 [startup+60.7128 s] /proc/loadavg: 1.00 1.02 1.01 2/97 10716 /proc/meminfo: memFree=1038976/2097152 swapFree=2055620/2097144 [pid=10683] ppid=10682 vsize=2380 CPUtime=0 /proc/10683/stat : 10683 (sh) S 10682 10683 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 25 0 1 0 417760180 2437120 264 1283457024 134512640 135191968 4289184496 18446744073709551615 4159654542 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10683/statm: 595 264 226 166 0 27 0 [pid=10685] ppid=10683 vsize=88448 CPUtime=46.57 /proc/10685/stat : 10685 (apt-pbo) R 10683 10683 13759 34823 13904 4202496 29860 53124 0 293 2652 19 1926 60 18 0 1 0 417760181 90570752 21248 1283457024 134512640 135758360 4293346848 18446744073709551615 135037865 0 0 128 0 0 0 0 17 0 0 0 0 /proc/10685/statm: 22112 21248 5561 305 0 15748 0 [pid=10716] ppid=10685 vsize=0 CPUtime=12.49 /proc/10716/stat : 10716 (wbo) Z 10685 10683 13759 34823 13904 4202508 17758 0 0 0 1242 7 0 0 19 0 1 0 417764956 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/10716/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 59.06 Current children cumulated vsize (KiB) 90828 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 10683 and gives # childrusage.ru_utime.tv_sec=45 # childrusage.ru_utime.tv_usec=830864 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=816051 # CPU time returned by wait4() is 46.6469 # while last known CPU time is 59.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 60.7859 CPU time (s): 59.06 CPU user time (s): 58.2 CPU system time (s): 0.86 CPU usage (%): 97.1606 Max. virtual memory (cumulated for all children) (KiB): 136168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 45.8309 system time used= 0.816051 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 86425 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= 4898 involuntary context switches= 1993 runsolver used 0.020001 second user time and 0.052003 second system time The end