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/201007051233/aspcud-paranoid-1.0/7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/debian-dudf//7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/aspcud-paranoid-1.0/7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.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: 0.98 1.02 1.00 1/33 13312 /proc/meminfo: memFree=923300/1048576 swapFree=2094596/2097144 [pid=13312] ppid=13311 vsize=2880 CPUtime=0 /proc/13312/stat : 13312 (runsolver) D 13311 13312 3447 769 3447 4202560 73 0 0 0 0 0 0 0 25 0 1 0 528140154 2949120 93 1283457024 134512640 134586868 4288482224 18446744073709551615 4157928490 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/13312/statm: 720 93 62 19 0 52 0 [startup+0.107958 s] /proc/loadavg: 0.98 1.02 1.00 1/33 13312 /proc/meminfo: memFree=923300/1048576 swapFree=2094596/2097144 [pid=13312] ppid=13311 vsize=4484 CPUtime=0 /proc/13312/stat : 13312 (python) D 13311 13312 3447 769 3447 4202496 988 0 1 0 0 0 0 0 25 0 1 0 528140154 4591616 755 1283457024 134512640 135539072 4289101104 18446744073709551615 4158983838 0 0 16781312 2 18446744071564332000 0 0 17 0 0 0 0 /proc/13312/statm: 1121 755 374 251 0 400 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4484 [startup+0.207973 s] /proc/loadavg: 0.98 1.02 1.00 1/33 13312 /proc/meminfo: memFree=923300/1048576 swapFree=2094596/2097144 [pid=13312] ppid=13311 vsize=4704 CPUtime=0 /proc/13312/stat : 13312 (python) S 13311 13312 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 25 0 1 0 528140154 4816896 833 1283457024 134512640 135539072 4289101104 18446744073709551615 4159763374 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13312/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4704 [startup+0.307968 s] /proc/loadavg: 0.98 1.02 1.00 1/33 13312 /proc/meminfo: memFree=923300/1048576 swapFree=2094596/2097144 [pid=13312] ppid=13311 vsize=4704 CPUtime=0 /proc/13312/stat : 13312 (python) S 13311 13312 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 25 0 1 0 528140154 4816896 833 1283457024 134512640 135539072 4289101104 18446744073709551615 4159763374 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13312/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4704 [startup+0.70416 s] /proc/loadavg: 0.98 1.02 1.00 1/33 13312 /proc/meminfo: memFree=923300/1048576 swapFree=2094596/2097144 [pid=13312] ppid=13311 vsize=4704 CPUtime=0 /proc/13312/stat : 13312 (python) S 13311 13312 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 25 0 1 0 528140154 4816896 833 1283457024 134512640 135539072 4289101104 18446744073709551615 4159763374 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13312/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4704 [startup+1.50428 s] /proc/loadavg: 0.98 1.02 1.00 2/35 13314 /proc/meminfo: memFree=912212/1048576 swapFree=2094596/2097144 [pid=13312] ppid=13311 vsize=4704 CPUtime=0 /proc/13312/stat : 13312 (python) S 13311 13312 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 25 0 1 0 528140154 4816896 833 1283457024 134512640 135539072 4289101104 18446744073709551615 4159763374 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13312/statm: 1176 833 400 251 0 434 0 [pid=13314] ppid=13312 vsize=12668 CPUtime=1.26 /proc/13314/stat : 13314 (cudf2lp) R 13312 13312 3447 769 3447 4202496 3248 0 18 0 123 3 0 0 25 0 1 0 528140168 12972032 2793 1283457024 134512640 135993029 4287524992 18446744073709551615 134585095 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/13314/statm: 3167 2793 110 362 0 2749 0 Current children cumulated CPU time (s) 1.26 Current children cumulated vsize (KiB) 17372 [startup+3.10455 s] /proc/loadavg: 0.98 1.02 1.00 2/35 13314 /proc/meminfo: memFree=903284/1048576 swapFree=2094596/2097144 [pid=13312] ppid=13311 vsize=4704 CPUtime=0 /proc/13312/stat : 13312 (python) S 13311 13312 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 25 0 1 0 528140154 4816896 833 1283457024 134512640 135539072 4289101104 18446744073709551615 4159763374 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13312/statm: 1176 833 400 251 0 434 0 [pid=13314] ppid=13312 vsize=25192 CPUtime=2.86 /proc/13314/stat : 13314 (cudf2lp) R 13312 13312 3447 769 3447 4202496 6321 0 18 0 282 4 0 0 25 0 1 0 528140168 25796608 5866 1283457024 134512640 135993029 4287524992 18446744073709551615 134566525 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/13314/statm: 6298 5866 111 362 0 5880 0 Current children cumulated CPU time (s) 2.86 Current children cumulated vsize (KiB) 29896 [startup+6.30521 s] /proc/loadavg: 0.98 1.01 1.00 2/35 13314 /proc/meminfo: memFree=877244/1048576 swapFree=2094596/2097144 [pid=13312] ppid=13311 vsize=4704 CPUtime=0 /proc/13312/stat : 13312 (python) S 13311 13312 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 25 0 1 0 528140154 4816896 833 1283457024 134512640 135539072 4289101104 18446744073709551615 4159763374 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13312/statm: 1176 833 400 251 0 434 0 [pid=13314] ppid=13312 vsize=50684 CPUtime=6.05 /proc/13314/stat : 13314 (cudf2lp) R 13312 13312 3447 769 3447 4202496 12611 0 18 0 600 5 0 0 25 0 1 0 528140168 51900416 12156 1283457024 134512640 135993029 4287524992 18446744073709551615 134569732 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/13314/statm: 12671 12156 111 362 0 12253 0 Current children cumulated CPU time (s) 6.05 Current children cumulated vsize (KiB) 55388 [startup+12.7064 s] /proc/loadavg: 0.98 1.01 1.00 2/35 13314 /proc/meminfo: memFree=774948/1048576 swapFree=2094596/2097144 [pid=13312] ppid=13311 vsize=4704 CPUtime=0 /proc/13312/stat : 13312 (python) S 13311 13312 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 25 0 1 0 528140154 4816896 833 1283457024 134512640 135539072 4289101104 18446744073709551615 4159763374 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13312/statm: 1176 833 400 251 0 434 0 [pid=13314] ppid=13312 vsize=156940 CPUtime=12.44 /proc/13314/stat : 13314 (cudf2lp) R 13312 13312 3447 769 3447 4202496 39101 0 20 0 1133 111 0 0 25 0 1 0 528140168 160706560 38615 1283457024 134512640 135993029 4287524992 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/13314/statm: 39235 38615 135 362 0 38817 0 Current children cumulated CPU time (s) 12.44 Current children cumulated vsize (KiB) 161644 [startup+25.5115 s] /proc/loadavg: 0.98 1.01 1.00 2/37 13317 /proc/meminfo: memFree=402896/1048576 swapFree=2094596/2097144 [pid=13312] ppid=13311 vsize=4704 CPUtime=13.91 /proc/13312/stat : 13312 (python) S 13311 13312 3447 769 3447 4202496 1215 48273 1 20 0 0 1215 176 18 0 1 0 528140154 4816896 835 1283457024 134512640 135539072 4289101104 18446744073709551615 4159763374 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13312/statm: 1176 835 402 251 0 434 0 [pid=13315] ppid=13312 vsize=2384 CPUtime=0 /proc/13315/stat : 13315 (sh) S 13312 13312 3447 769 3447 4194304 441 0 0 0 0 0 0 0 18 0 1 0 528141572 2441216 253 1283457024 134512640 135191968 4289064192 18446744073709551615 4159015326 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13315/statm: 596 253 214 166 0 28 0 [pid=13316] ppid=13315 vsize=427356 CPUtime=9.52 /proc/13316/stat : 13316 (bingo) R 13315 13312 3447 769 3447 4202496 127572 0 21 0 899 53 0 0 25 0 1 0 528141573 437612544 82980 1283457024 134512640 136195415 4293912256 18446744073709551615 135663438 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/13316/statm: 106839 82980 220 411 0 106426 0 [pid=13317] ppid=13315 vsize=174460 CPUtime=1.56 /proc/13317/stat : 13317 (clasp) R 13315 13312 3447 769 3447 4202496 49348 0 16 0 138 18 0 0 18 0 1 0 528141573 178647040 42592 1283457024 134512640 136080129 4292819072 18446744073709551615 134670132 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/13317/statm: 43615 42592 147 383 0 43230 0 Current children cumulated CPU time (s) 24.99 Current children cumulated vsize (KiB) 608904 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+30.9152 s] /proc/loadavg: 0.98 1.01 1.00 2/37 13317 /proc/meminfo: memFree=4492/1048576 swapFree=2094596/2097144 [pid=13312] ppid=13311 vsize=4704 CPUtime=13.91 /proc/13312/stat : 13312 (python) S 13311 13312 3447 769 3447 4202496 1215 48273 1 20 0 0 1215 176 18 0 1 0 528140154 4816896 835 1283457024 134512640 135539072 4289101104 18446744073709551615 4159763374 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13312/statm: 1176 835 402 251 0 434 0 [pid=13315] ppid=13312 vsize=2384 CPUtime=0 /proc/13315/stat : 13315 (sh) S 13312 13312 3447 769 3447 4194304 441 0 0 0 0 0 0 0 18 0 1 0 528141572 2441216 253 1283457024 134512640 135191968 4289064192 18446744073709551615 4159015326 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13315/statm: 596 253 214 166 0 28 0 [pid=13316] ppid=13315 vsize=941904 CPUtime=14.3 /proc/13316/stat : 13316 (bingo) R 13315 13312 3447 769 3447 4204544 267159 0 21 0 1334 96 0 0 25 0 1 0 528141573 964509696 179053 1283457024 134512640 136195415 4293912256 18446744073709551615 134604175 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/13316/statm: 235476 179053 220 411 0 235063 0 [pid=13317] ppid=13315 vsize=202216 CPUtime=2.18 /proc/13317/stat : 13317 (clasp) S 13315 13312 3447 769 3447 4202496 57608 0 16 0 198 20 0 0 18 0 1 0 528141573 207069184 49205 1283457024 134512640 136080129 4292819072 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/13317/statm: 50554 49205 147 383 0 50169 0 Current children cumulated CPU time (s) 30.39 Current children cumulated vsize (KiB) 1151208 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 ended because it received signal 10 (SIGUSR1) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 13312 and gives # childrusage.ru_utime.tv_sec=14 # childrusage.ru_utime.tv_usec=132883 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=992124 # CPU time returned by wait4() is 16.125 # while last known CPU time is 30.39 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 30.9709 CPU time (s): 30.39 CPU user time (s): 27.47 CPU system time (s): 2.92 CPU usage (%): 98.1244 Max. virtual memory (cumulated for all children) (KiB): 1151208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.1329 system time used= 1.99212 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107619 page faults= 37 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7918 involuntary context switches= 446 runsolver used 0 second user time and 0.004 second system time The end