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/aspcud-paranoid-1.0/randfa4522.cudf.impossible.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/impossible//randfa4522.cudf /home/misc2010/tmp/201007051419/aspcud-paranoid-1.0/randfa4522.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: 0.85 0.99 0.99 2/95 30495 /proc/meminfo: memFree=1115300/2097152 swapFree=2055620/2097144 [pid=30495] ppid=30494 vsize=2880 CPUtime=0 /proc/30495/stat : 30495 (runsolver) R 30494 30495 13759 34823 13904 4202560 73 0 0 0 0 0 0 0 23 0 1 0 418615351 2949120 93 1283457024 134512640 134586868 4289358432 18446744073709551615 4158194970 0 2147483391 0 24578 0 0 0 17 0 0 0 0 /proc/30495/statm: 720 93 62 19 0 52 0 [startup+0.167903 s] /proc/loadavg: 0.85 0.99 0.99 2/95 30495 /proc/meminfo: memFree=1115300/2097152 swapFree=2055620/2097144 [pid=30495] ppid=30494 vsize=4688 CPUtime=0.01 /proc/30495/stat : 30495 (python) S 30494 30495 13759 34823 13904 4202496 1153 0 0 0 0 1 0 0 18 0 1 0 418615351 4800512 831 1283457024 134512640 135539072 4289411888 18446744073709551615 4159779758 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30495/statm: 1172 831 398 251 0 430 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4688 [startup+0.20792 s] /proc/loadavg: 0.85 0.99 0.99 2/95 30495 /proc/meminfo: memFree=1115300/2097152 swapFree=2055620/2097144 [pid=30495] ppid=30494 vsize=4688 CPUtime=0.01 /proc/30495/stat : 30495 (python) S 30494 30495 13759 34823 13904 4202496 1153 0 0 0 0 1 0 0 18 0 1 0 418615351 4800512 831 1283457024 134512640 135539072 4289411888 18446744073709551615 4159779758 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30495/statm: 1172 831 398 251 0 430 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4688 [startup+0.307903 s] /proc/loadavg: 0.85 0.99 0.99 2/95 30495 /proc/meminfo: memFree=1115300/2097152 swapFree=2055620/2097144 [pid=30495] ppid=30494 vsize=4688 CPUtime=0.01 /proc/30495/stat : 30495 (python) S 30494 30495 13759 34823 13904 4202496 1153 0 0 0 0 1 0 0 18 0 1 0 418615351 4800512 831 1283457024 134512640 135539072 4289411888 18446744073709551615 4159779758 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30495/statm: 1172 831 398 251 0 430 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4688 [startup+0.70792 s] /proc/loadavg: 0.85 0.99 0.99 2/95 30495 /proc/meminfo: memFree=1115300/2097152 swapFree=2055620/2097144 [pid=30495] ppid=30494 vsize=4688 CPUtime=0.01 /proc/30495/stat : 30495 (python) S 30494 30495 13759 34823 13904 4202496 1153 0 0 0 0 1 0 0 18 0 1 0 418615351 4800512 831 1283457024 134512640 135539072 4289411888 18446744073709551615 4159779758 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30495/statm: 1172 831 398 251 0 430 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4688 [startup+1.50798 s] /proc/loadavg: 0.85 0.99 0.99 2/97 30497 /proc/meminfo: memFree=1104024/2097152 swapFree=2055620/2097144 [pid=30495] ppid=30494 vsize=4688 CPUtime=0.01 /proc/30495/stat : 30495 (python) S 30494 30495 13759 34823 13904 4202496 1153 0 0 0 0 1 0 0 18 0 1 0 418615351 4800512 831 1283457024 134512640 135539072 4289411888 18446744073709551615 4159779758 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30495/statm: 1172 831 398 251 0 430 0 [pid=30497] ppid=30495 vsize=15148 CPUtime=1.45 /proc/30497/stat : 30497 (cudf2lp) R 30495 30495 13759 34823 13904 4202496 3932 0 0 0 145 0 0 0 21 0 1 0 418615355 15511552 3460 1283457024 134512640 135993029 4287023440 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/30497/statm: 3787 3460 110 362 0 3369 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 19836 [startup+3.10408 s] /proc/loadavg: 0.85 0.99 0.99 2/97 30497 /proc/meminfo: memFree=1094104/2097152 swapFree=2055620/2097144 [pid=30495] ppid=30494 vsize=4688 CPUtime=0.01 /proc/30495/stat : 30495 (python) S 30494 30495 13759 34823 13904 4202496 1153 0 0 0 0 1 0 0 18 0 1 0 418615351 4800512 831 1283457024 134512640 135539072 4289411888 18446744073709551615 4159779758 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30495/statm: 1172 831 398 251 0 430 0 [pid=30497] ppid=30495 vsize=29664 CPUtime=3.06 /proc/30497/stat : 30497 (cudf2lp) R 30495 30495 13759 34823 13904 4202496 7502 0 0 0 304 2 0 0 25 0 1 0 418615355 30375936 7030 1283457024 134512640 135993029 4287023440 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/30497/statm: 7416 7030 110 362 0 6998 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 34352 [startup+6.30419 s] /proc/loadavg: 0.86 0.99 0.99 2/97 30498 /proc/meminfo: memFree=1064964/2097152 swapFree=2055620/2097144 [pid=30495] ppid=30494 vsize=4688 CPUtime=0.01 /proc/30495/stat : 30495 (python) S 30494 30495 13759 34823 13904 4202496 1153 0 0 0 0 1 0 0 18 0 1 0 418615351 4800512 831 1283457024 134512640 135539072 4289411888 18446744073709551615 4159779758 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30495/statm: 1172 831 398 251 0 430 0 [pid=30497] ppid=30495 vsize=58312 CPUtime=6.25 /proc/30497/stat : 30497 (cudf2lp) R 30495 30495 13759 34823 13904 4202496 14498 0 0 0 619 6 0 0 25 0 1 0 418615355 59711488 14026 1283457024 134512640 135993029 4287023440 18446744073709551615 134537802 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/30497/statm: 14578 14026 110 362 0 14160 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 63000 [startup+12.7045 s] /proc/loadavg: 0.87 0.99 0.99 2/97 30498 /proc/meminfo: memFree=999268/2097152 swapFree=2055620/2097144 [pid=30495] ppid=30494 vsize=4688 CPUtime=0.01 /proc/30495/stat : 30495 (python) S 30494 30495 13759 34823 13904 4202496 1153 0 0 0 0 1 0 0 18 0 1 0 418615351 4800512 831 1283457024 134512640 135539072 4289411888 18446744073709551615 4159779758 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30495/statm: 1172 831 398 251 0 430 0 [pid=30497] ppid=30495 vsize=132236 CPUtime=12.65 /proc/30497/stat : 30497 (cudf2lp) R 30495 30495 13759 34823 13904 4202496 32820 0 0 0 1228 37 0 0 25 0 1 0 418615355 135409664 32348 1283457024 134512640 135993029 4287023440 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/30497/statm: 33059 32348 134 362 0 32641 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 136924 [startup+25.5057 s] /proc/loadavg: 0.98 1.00 0.99 3/99 30502 /proc/meminfo: memFree=740688/2097152 swapFree=2055620/2097144 [pid=30495] ppid=30494 vsize=4688 CPUtime=16.53 /proc/30495/stat : 30495 (python) S 30494 30495 13759 34823 13904 4202496 1241 56460 0 0 0 1 1474 178 18 0 1 0 418615351 4800512 833 1283457024 134512640 135539072 4289411888 18446744073709551615 4159779758 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/30495/statm: 1172 833 400 251 0 430 0 [pid=30499] ppid=30495 vsize=2372 CPUtime=0 /proc/30499/stat : 30499 (sh) S 30495 30495 13759 34823 13904 4194304 442 0 0 0 0 0 0 0 19 0 1 0 418617009 2428928 248 1283457024 134512640 135191968 4290552880 18446744073709551615 4158757518 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30499/statm: 593 248 212 166 0 25 0 [pid=30500] ppid=30499 vsize=271408 CPUtime=8.5 /proc/30500/stat : 30500 (bingo) R 30499 30495 13759 34823 13904 4202496 90593 0 0 0 806 44 0 0 18 0 1 0 418617010 277921792 52187 1283457024 134512640 136195415 4288500448 18446744073709551615 134627086 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/30500/statm: 67852 52187 220 411 0 67439 0 [pid=30501] ppid=30499 vsize=164800 CPUtime=0.73 /proc/30501/stat : 30501 (clasp) S 30499 30495 13759 34823 13904 4202496 47600 0 0 0 59 14 0 0 18 0 1 0 418617010 168755200 40368 1283457024 134512640 136080129 4292036128 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 1 0 0 0 /proc/30501/statm: 41200 40368 147 383 0 40815 0 Current children cumulated CPU time (s) 25.76 Current children cumulated vsize (KiB) 443268 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+36.5068 s] /proc/loadavg: 1.06 1.02 1.00 2/99 30503 /proc/meminfo: memFree=79908/2097152 swapFree=2055620/2097144 [pid=30495] ppid=30494 vsize=4688 CPUtime=16.53 /proc/30495/stat : 30495 (python) S 30494 30495 13759 34823 13904 4202496 1241 56460 0 0 0 1 1474 178 18 0 1 0 418615351 4800512 833 1283457024 134512640 135539072 4289411888 18446744073709551615 4159779758 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/30495/statm: 1172 833 400 251 0 430 0 [pid=30499] ppid=30495 vsize=2372 CPUtime=0 /proc/30499/stat : 30499 (sh) S 30495 30495 13759 34823 13904 4194304 442 0 0 0 0 0 0 0 19 0 1 0 418617009 2428928 248 1283457024 134512640 135191968 4290552880 18446744073709551615 4158757518 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30499/statm: 593 248 212 166 0 25 0 [pid=30500] ppid=30499 vsize=847632 CPUtime=19.19 /proc/30500/stat : 30500 (bingo) R 30499 30495 13759 34823 13904 4202496 267521 0 0 0 1801 118 0 0 25 0 1 0 418617010 867975168 178614 1283457024 134512640 136195415 4288500448 18446744073709551615 135604619 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/30500/statm: 211908 178614 220 411 0 211495 0 [pid=30501] ppid=30499 vsize=301416 CPUtime=2.76 /proc/30501/stat : 30501 (clasp) S 30499 30495 13759 34823 13904 4202496 86558 0 0 0 253 23 0 0 18 0 1 0 418617010 308649984 73535 1283457024 134512640 136080129 4292036128 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 1 0 0 0 /proc/30501/statm: 75354 73535 147 383 0 74969 0 Current children cumulated CPU time (s) 38.48 Current children cumulated vsize (KiB) 1156108 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 30495 and gives # childrusage.ru_utime.tv_sec=14 # childrusage.ru_utime.tv_usec=748921 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=792112 # CPU time returned by wait4() is 16.541 # while last known CPU time is 38.48 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 36.5826 CPU time (s): 38.48 CPU user time (s): 35.28 CPU system time (s): 3.2 CPU usage (%): 105.187 Max. virtual memory (cumulated for all children) (KiB): 1156108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.7489 system time used= 1.79211 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58143 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 132 involuntary context switches= 228 runsolver used 0.008 second user time and 0.016001 second system time The end