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/randf17677.cudf.difficult.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/difficult//randf17677.cudf /home/misc2010/tmp/201007051419/apt-pbo-paranoid-1.0.5/randf17677.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.13 1.08 1.08 3/95 6522 /proc/meminfo: memFree=1307400/2097152 swapFree=2055620/2097144 [pid=6522] ppid=6521 vsize=2880 CPUtime=0 /proc/6522/stat : 6522 (runsolver) R 6521 6522 13759 34823 13904 4202560 75 0 0 0 0 0 0 0 18 0 1 0 418978363 2949120 94 1283457024 134512640 134586868 4290728864 18446744073709551615 4157773082 0 0 0 24578 0 0 0 17 1 0 0 0 /proc/6522/statm: 720 94 63 19 0 52 0 [startup+0.208349 s] /proc/loadavg: 1.13 1.08 1.08 3/95 6522 /proc/meminfo: memFree=1307400/2097152 swapFree=2055620/2097144 [pid=6522] ppid=6521 vsize=2380 CPUtime=0 /proc/6522/stat : 6522 (sh) S 6521 6522 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 19 0 1 0 418978363 2437120 263 1283457024 134512640 135191968 4287627632 18446744073709551615 4159212174 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6522/statm: 595 263 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.304357 s] /proc/loadavg: 1.13 1.08 1.08 3/95 6522 /proc/meminfo: memFree=1307400/2097152 swapFree=2055620/2097144 [pid=6522] ppid=6521 vsize=2380 CPUtime=0 /proc/6522/stat : 6522 (sh) S 6521 6522 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 19 0 1 0 418978363 2437120 263 1283457024 134512640 135191968 4287627632 18446744073709551615 4159212174 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6522/statm: 595 263 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.406291 s] /proc/loadavg: 1.13 1.08 1.08 3/95 6522 /proc/meminfo: memFree=1307400/2097152 swapFree=2055620/2097144 [pid=6522] ppid=6521 vsize=2380 CPUtime=0 /proc/6522/stat : 6522 (sh) S 6521 6522 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 19 0 1 0 418978363 2437120 263 1283457024 134512640 135191968 4287627632 18446744073709551615 4159212174 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6522/statm: 595 263 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.820403 s] /proc/loadavg: 1.13 1.08 1.08 3/95 6522 /proc/meminfo: memFree=1307400/2097152 swapFree=2055620/2097144 [pid=6522] ppid=6521 vsize=2380 CPUtime=0 /proc/6522/stat : 6522 (sh) S 6521 6522 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 19 0 1 0 418978363 2437120 263 1283457024 134512640 135191968 4287627632 18446744073709551615 4159212174 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6522/statm: 595 263 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+1.50239 s] /proc/loadavg: 1.13 1.08 1.08 2/97 6527 /proc/meminfo: memFree=1295944/2097152 swapFree=2055620/2097144 [pid=6522] ppid=6521 vsize=2380 CPUtime=0 /proc/6522/stat : 6522 (sh) S 6521 6522 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 19 0 1 0 418978363 2437120 263 1283457024 134512640 135191968 4287627632 18446744073709551615 4159212174 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6522/statm: 595 263 226 166 0 27 0 [pid=6525] ppid=6522 vsize=14576 CPUtime=0.98 /proc/6525/stat : 6525 (apt-pbo) R 6522 6522 13759 34823 13904 4202496 3453 716 0 0 98 0 0 0 19 0 1 0 418978364 14925824 3009 1283457024 134512640 135758360 4288030992 18446744073709551615 134894099 0 0 128 0 0 0 0 17 0 0 0 0 /proc/6525/statm: 3644 3009 628 305 0 2417 0 Current children cumulated CPU time (s) 0.98 Current children cumulated vsize (KiB) 16956 [startup+3.11428 s] /proc/loadavg: 1.13 1.08 1.08 2/97 6527 /proc/meminfo: memFree=1287816/2097152 swapFree=2055620/2097144 [pid=6522] ppid=6521 vsize=2380 CPUtime=0 /proc/6522/stat : 6522 (sh) S 6521 6522 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 19 0 1 0 418978363 2437120 263 1283457024 134512640 135191968 4287627632 18446744073709551615 4159212174 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6522/statm: 595 263 226 166 0 27 0 [pid=6525] ppid=6522 vsize=22212 CPUtime=2.08 /proc/6525/stat : 6525 (apt-pbo) R 6522 6522 13759 34823 13904 4202496 5385 716 0 0 208 0 0 0 18 0 1 0 418978364 22745088 4934 1283457024 134512640 135758360 4288030992 18446744073709551615 134980623 0 0 128 0 0 0 0 17 0 0 0 0 /proc/6525/statm: 5553 4934 628 305 0 4326 0 Current children cumulated CPU time (s) 2.08 Current children cumulated vsize (KiB) 24592 heavy processes: [startup+6.31094 s] /proc/loadavg: 1.20 1.10 1.08 2/97 6528 /proc/meminfo: memFree=1251540/2097152 swapFree=2055620/2097144 [pid=6522] ppid=6521 vsize=2380 CPUtime=0 /proc/6522/stat : 6522 (sh) S 6521 6522 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 19 0 1 0 418978363 2437120 263 1283457024 134512640 135191968 4287627632 18446744073709551615 4159212174 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6522/statm: 595 263 226 166 0 27 0 [pid=6525] ppid=6522 vsize=42728 CPUtime=5.17 /proc/6525/stat : 6525 (apt-pbo) R 6522 6522 13759 34823 13904 4202496 10512 716 0 0 512 5 0 0 24 0 1 0 418978364 43753472 10059 1283457024 134512640 135758360 4288030992 18446744073709551615 135352534 0 0 128 0 0 0 0 17 0 0 0 0 /proc/6525/statm: 10682 10059 628 305 0 9455 0 Current children cumulated CPU time (s) 5.17 Current children cumulated vsize (KiB) 45108 [startup+12.7049 s] /proc/loadavg: 1.18 1.09 1.08 2/98 6542 /proc/meminfo: memFree=1189348/2097152 swapFree=2055620/2097144 [pid=6522] ppid=6521 vsize=2380 CPUtime=0 /proc/6522/stat : 6522 (sh) S 6521 6522 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 19 0 1 0 418978363 2437120 263 1283457024 134512640 135191968 4287627632 18446744073709551615 4159212174 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6522/statm: 595 263 226 166 0 27 0 [pid=6525] ppid=6522 vsize=69128 CPUtime=10.38 /proc/6525/stat : 6525 (apt-pbo) R 6522 6522 13759 34823 13904 4202496 17598 16684 0 293 847 10 161 20 24 0 1 0 418978364 70787072 16439 1283457024 134512640 135758360 4288030992 18446744073709551615 135035983 0 0 128 0 0 0 0 17 1 0 0 0 /proc/6525/statm: 17282 16439 5561 305 0 10918 0 [pid=6542] ppid=6525 vsize=0 CPUtime=0.56 /proc/6542/stat : 6542 (wbo) Z 6525 6522 13759 34823 13904 4202508 1121 0 0 0 55 1 0 0 18 0 1 0 418979272 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/6542/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 10.94 Current children cumulated vsize (KiB) 71508 Solver just ended. Dumping a history of the last processes samples [startup+13.0104 s] /proc/loadavg: 1.18 1.09 1.08 2/98 6542 /proc/meminfo: memFree=1189348/2097152 swapFree=2055620/2097144 [pid=6522] ppid=6521 vsize=2380 CPUtime=0 /proc/6522/stat : 6522 (sh) S 6521 6522 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 19 0 1 0 418978363 2437120 263 1283457024 134512640 135191968 4287627632 18446744073709551615 4159212174 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6522/statm: 595 263 226 166 0 27 0 [pid=6525] ppid=6522 vsize=69128 CPUtime=10.51 /proc/6525/stat : 6525 (apt-pbo) S 6522 6522 13759 34823 13904 4202496 17634 16684 0 293 860 10 161 20 18 0 1 0 418978364 70787072 16439 1283457024 134512640 135758360 4288030992 18446744073709551615 4160345422 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/6525/statm: 17282 16439 5561 305 0 10918 0 [pid=6542] ppid=6525 vsize=0 CPUtime=0.56 /proc/6542/stat : 6542 (wbo) Z 6525 6522 13759 34823 13904 4202508 1121 0 0 0 55 1 0 0 18 0 1 0 418979272 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/6542/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 11.07 Current children cumulated vsize (KiB) 71508 [startup+16.2089 s] /proc/loadavg: 1.25 1.11 1.09 2/98 6547 /proc/meminfo: memFree=1180784/2097152 swapFree=2055620/2097144 [pid=6522] ppid=6521 vsize=2380 CPUtime=0 /proc/6522/stat : 6522 (sh) S 6521 6522 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 19 0 1 0 418978363 2437120 263 1283457024 134512640 135191968 4287627632 18446744073709551615 4159212174 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6522/statm: 595 263 226 166 0 27 0 [pid=6525] ppid=6522 vsize=69504 CPUtime=12.03 /proc/6525/stat : 6525 (apt-pbo) S 6522 6522 13759 34823 13904 4202496 18730 24920 0 293 881 10 287 25 18 0 1 0 418978364 71172096 16525 1283457024 134512640 135758360 4288030992 18446744073709551615 4160345422 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/6525/statm: 17376 16525 5562 305 0 11012 0 [pid=6547] ppid=6525 vsize=0 CPUtime=2.16 /proc/6547/stat : 6547 (wbo) Z 6525 6522 13759 34823 13904 4202508 3295 0 0 0 214 2 0 0 18 0 1 0 418979729 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/6547/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 14.19 Current children cumulated vsize (KiB) 71884 [startup+17.8151 s] /proc/loadavg: 1.25 1.11 1.09 2/98 6552 /proc/meminfo: memFree=1183388/2097152 swapFree=2055620/2097144 [pid=6522] ppid=6521 vsize=2380 CPUtime=0 /proc/6522/stat : 6522 (sh) S 6521 6522 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 19 0 1 0 418978363 2437120 263 1283457024 134512640 135191968 4287627632 18446744073709551615 4159212174 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6522/statm: 595 263 226 166 0 27 0 [pid=6525] ppid=6522 vsize=69508 CPUtime=14.95 /proc/6525/stat : 6525 (apt-pbo) S 6522 6522 13759 34823 13904 4202496 19560 35338 0 293 881 10 570 34 18 0 1 0 418978364 71176192 16526 1283457024 134512640 135758360 4288030992 18446744073709551615 4160345422 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/6525/statm: 17377 16526 5562 305 0 11013 0 [pid=6552] ppid=6525 vsize=6652 CPUtime=0.9 /proc/6552/stat : 6552 (wbo) R 6525 6522 13759 34823 13904 4202496 1778 0 0 0 90 0 0 0 18 0 1 0 418980053 6811648 1199 1283457024 134512640 135709839 4287310096 18446744073709551615 135172999 0 0 0 3 0 0 0 17 0 0 0 0 /proc/6552/statm: 1663 1199 132 293 0 1368 0 Current children cumulated CPU time (s) 15.85 Current children cumulated vsize (KiB) 78540 [startup+18.6053 s] /proc/loadavg: 1.25 1.11 1.09 2/98 6552 /proc/meminfo: memFree=1183388/2097152 swapFree=2055620/2097144 [pid=6522] ppid=6521 vsize=2380 CPUtime=0 /proc/6522/stat : 6522 (sh) S 6521 6522 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 19 0 1 0 418978363 2437120 263 1283457024 134512640 135191968 4287627632 18446744073709551615 4159212174 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6522/statm: 595 263 226 166 0 27 0 [pid=6525] ppid=6522 vsize=69508 CPUtime=14.95 /proc/6525/stat : 6525 (apt-pbo) S 6522 6522 13759 34823 13904 4202496 19560 35338 0 293 881 10 570 34 18 0 1 0 418978364 71176192 16526 1283457024 134512640 135758360 4288030992 18446744073709551615 4160345422 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/6525/statm: 17377 16526 5562 305 0 11013 0 [pid=6552] ppid=6525 vsize=9316 CPUtime=1.67 /proc/6552/stat : 6552 (wbo) R 6525 6522 13759 34823 13904 4202496 2870 0 0 0 166 1 0 0 18 0 1 0 418980053 9539584 1858 1283457024 134512640 135709839 4287310096 18446744073709551615 135182831 0 0 0 3 0 0 0 17 0 0 0 0 /proc/6552/statm: 2329 1858 132 293 0 2034 0 Current children cumulated CPU time (s) 16.62 Current children cumulated vsize (KiB) 81204 [startup+19.0053 s] /proc/loadavg: 1.25 1.11 1.09 2/98 6552 /proc/meminfo: memFree=1179668/2097152 swapFree=2055620/2097144 [pid=6522] ppid=6521 vsize=2380 CPUtime=0 /proc/6522/stat : 6522 (sh) S 6521 6522 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 19 0 1 0 418978363 2437120 263 1283457024 134512640 135191968 4287627632 18446744073709551615 4159212174 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6522/statm: 595 263 226 166 0 27 0 [pid=6525] ppid=6522 vsize=69508 CPUtime=14.95 /proc/6525/stat : 6525 (apt-pbo) S 6522 6522 13759 34823 13904 4202496 19560 35338 0 293 881 10 570 34 18 0 1 0 418978364 71176192 16526 1283457024 134512640 135758360 4288030992 18446744073709551615 4160345422 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/6525/statm: 17377 16526 5562 305 0 11013 0 [pid=6552] ppid=6525 vsize=10604 CPUtime=2.05 /proc/6552/stat : 6552 (wbo) R 6525 6522 13759 34823 13904 4202496 3414 0 0 0 204 1 0 0 18 0 1 0 418980053 10858496 2209 1283457024 134512640 135709839 4287310096 18446744073709551615 135166081 0 0 0 3 0 0 0 17 0 0 0 0 /proc/6552/statm: 2651 2209 132 293 0 2356 0 Current children cumulated CPU time (s) 17 Current children cumulated vsize (KiB) 82492 [startup+19.4052 s] /proc/loadavg: 1.25 1.11 1.09 2/98 6552 /proc/meminfo: memFree=1179668/2097152 swapFree=2055620/2097144 [pid=6522] ppid=6521 vsize=2380 CPUtime=0 /proc/6522/stat : 6522 (sh) S 6521 6522 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 19 0 1 0 418978363 2437120 263 1283457024 134512640 135191968 4287627632 18446744073709551615 4159212174 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6522/statm: 595 263 226 166 0 27 0 [pid=6525] ppid=6522 vsize=69508 CPUtime=15.1 /proc/6525/stat : 6525 (apt-pbo) R 6522 6522 13759 34823 13904 4202496 21829 35338 0 293 895 11 570 34 18 0 1 0 418978364 71176192 16542 1283457024 134512640 135758360 4288030992 18446744073709551615 135046827 0 0 128 0 0 0 0 17 1 0 0 0 /proc/6525/statm: 17377 16542 5562 305 0 11013 0 [pid=6552] ppid=6525 vsize=0 CPUtime=2.29 /proc/6552/stat : 6552 (wbo) Z 6525 6522 13759 34823 13904 4202508 3749 0 0 0 226 3 0 0 18 0 1 0 418980053 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/6552/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 17.39 Current children cumulated vsize (KiB) 71888 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 6522 and gives # childrusage.ru_utime.tv_sec=14 # childrusage.ru_utime.tv_usec=668916 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=484030 # CPU time returned by wait4() is 15.1529 # while last known CPU time is 17.39 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 19.4306 CPU time (s): 17.39 CPU user time (s): 16.91 CPU system time (s): 0.48 CPU usage (%): 89.4978 Max. virtual memory (cumulated for all children) (KiB): 101408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.6689 system time used= 0.48403 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58336 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= 1987 involuntary context switches= 505 runsolver used 0 second user time and 0.004 second system time The end