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/rand655e63.cudf.impossible.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/impossible//rand655e63.cudf /home/misc2010/tmp/201007051419/aspcud-paranoid-1.0/rand655e63.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.98 1.07 1.07 2/95 3440 /proc/meminfo: memFree=1033720/2097152 swapFree=2055676/2097144 [pid=3440] ppid=3439 vsize=2876 CPUtime=0 /proc/3440/stat : 3440 (runsolver) R 3439 3440 13759 34823 13904 4202560 73 0 0 0 0 0 0 0 25 0 1 0 415989439 2945024 92 1283457024 134512640 134586868 4293254672 18446744073709551615 4158563610 0 2147483391 0 24578 0 0 0 17 0 0 0 0 /proc/3440/statm: 719 92 62 19 0 51 0 [startup+0.151026 s] /proc/loadavg: 0.98 1.07 1.07 2/95 3440 /proc/meminfo: memFree=1033720/2097152 swapFree=2055676/2097144 [pid=3440] ppid=3439 vsize=4688 CPUtime=0.01 /proc/3440/stat : 3440 (python) S 3439 3440 13759 34823 13904 4202496 1154 0 0 0 0 1 0 0 25 0 1 0 415989439 4800512 832 1283457024 134512640 135539072 4287730064 18446744073709551615 4160394158 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3440/statm: 1172 832 398 251 0 430 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4688 [startup+0.203046 s] /proc/loadavg: 0.98 1.07 1.07 2/95 3440 /proc/meminfo: memFree=1033720/2097152 swapFree=2055676/2097144 [pid=3440] ppid=3439 vsize=4688 CPUtime=0.01 /proc/3440/stat : 3440 (python) S 3439 3440 13759 34823 13904 4202496 1154 0 0 0 0 1 0 0 25 0 1 0 415989439 4800512 832 1283457024 134512640 135539072 4287730064 18446744073709551615 4160394158 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3440/statm: 1172 832 398 251 0 430 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4688 [startup+0.307048 s] /proc/loadavg: 0.98 1.07 1.07 2/95 3440 /proc/meminfo: memFree=1033720/2097152 swapFree=2055676/2097144 [pid=3440] ppid=3439 vsize=4688 CPUtime=0.01 /proc/3440/stat : 3440 (python) S 3439 3440 13759 34823 13904 4202496 1154 0 0 0 0 1 0 0 25 0 1 0 415989439 4800512 832 1283457024 134512640 135539072 4287730064 18446744073709551615 4160394158 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3440/statm: 1172 832 398 251 0 430 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4688 [startup+0.707071 s] /proc/loadavg: 0.98 1.07 1.07 2/95 3440 /proc/meminfo: memFree=1033720/2097152 swapFree=2055676/2097144 [pid=3440] ppid=3439 vsize=4688 CPUtime=0.01 /proc/3440/stat : 3440 (python) S 3439 3440 13759 34823 13904 4202496 1154 0 0 0 0 1 0 0 25 0 1 0 415989439 4800512 832 1283457024 134512640 135539072 4287730064 18446744073709551615 4160394158 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3440/statm: 1172 832 398 251 0 430 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4688 [startup+1.50711 s] /proc/loadavg: 0.98 1.07 1.07 2/97 3442 /proc/meminfo: memFree=1022560/2097152 swapFree=2055676/2097144 [pid=3440] ppid=3439 vsize=4688 CPUtime=0.01 /proc/3440/stat : 3440 (python) S 3439 3440 13759 34823 13904 4202496 1154 0 0 0 0 1 0 0 25 0 1 0 415989439 4800512 832 1283457024 134512640 135539072 4287730064 18446744073709551615 4160394158 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3440/statm: 1172 832 398 251 0 430 0 [pid=3442] ppid=3440 vsize=15152 CPUtime=1.44 /proc/3442/stat : 3442 (cudf2lp) R 3440 3440 13759 34823 13904 4202496 3885 0 0 0 143 1 0 0 19 0 1 0 415989443 15515648 3414 1283457024 134512640 135993029 4291941888 18446744073709551615 134537814 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/3442/statm: 3788 3414 110 362 0 3370 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 19840 [startup+3.10718 s] /proc/loadavg: 0.98 1.07 1.07 2/96 3442 /proc/meminfo: memFree=1012772/2097152 swapFree=2055676/2097144 [pid=3440] ppid=3439 vsize=4688 CPUtime=0.01 /proc/3440/stat : 3440 (python) S 3439 3440 13759 34823 13904 4202496 1154 0 0 0 0 1 0 0 25 0 1 0 415989439 4800512 832 1283457024 134512640 135539072 4287730064 18446744073709551615 4160394158 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3440/statm: 1172 832 398 251 0 430 0 [pid=3442] ppid=3440 vsize=29420 CPUtime=3.04 /proc/3442/stat : 3442 (cudf2lp) R 3440 3440 13759 34823 13904 4202496 7401 0 0 0 300 4 0 0 24 0 1 0 415989443 30126080 6930 1283457024 134512640 135993029 4291941888 18446744073709551615 134537802 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/3442/statm: 7355 6930 110 362 0 6937 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 34108 [startup+6.30734 s] /proc/loadavg: 0.98 1.07 1.06 2/96 3442 /proc/meminfo: memFree=984996/2097152 swapFree=2055676/2097144 [pid=3440] ppid=3439 vsize=4688 CPUtime=0.01 /proc/3440/stat : 3440 (python) S 3439 3440 13759 34823 13904 4202496 1154 0 0 0 0 1 0 0 25 0 1 0 415989439 4800512 832 1283457024 134512640 135539072 4287730064 18446744073709551615 4160394158 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3440/statm: 1172 832 398 251 0 430 0 [pid=3442] ppid=3440 vsize=57324 CPUtime=6.24 /proc/3442/stat : 3442 (cudf2lp) R 3440 3440 13759 34823 13904 4202496 14299 0 0 0 618 6 0 0 25 0 1 0 415989443 58699776 13828 1283457024 134512640 135993029 4291941888 18446744073709551615 134537802 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/3442/statm: 14331 13828 110 362 0 13913 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 62012 [startup+12.7076 s] /proc/loadavg: 0.98 1.06 1.06 2/96 3443 /proc/meminfo: memFree=923756/2097152 swapFree=2055676/2097144 [pid=3440] ppid=3439 vsize=4688 CPUtime=0.01 /proc/3440/stat : 3440 (python) S 3439 3440 13759 34823 13904 4202496 1154 0 0 0 0 1 0 0 25 0 1 0 415989439 4800512 832 1283457024 134512640 135539072 4287730064 18446744073709551615 4160394158 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3440/statm: 1172 832 398 251 0 430 0 [pid=3442] ppid=3440 vsize=128180 CPUtime=12.63 /proc/3442/stat : 3442 (cudf2lp) R 3440 3440 13759 34823 13904 4202496 31814 0 0 0 1227 36 0 0 25 0 1 0 415989443 131256320 31343 1283457024 134512640 135993029 4291941888 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/3442/statm: 32045 31344 134 362 0 31627 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 132868 [startup+25.5042 s] /proc/loadavg: 1.06 1.08 1.07 3/98 3447 /proc/meminfo: memFree=638912/2097152 swapFree=2055676/2097144 [pid=3440] ppid=3439 vsize=4688 CPUtime=16.65 /proc/3440/stat : 3440 (python) S 3439 3440 13759 34823 13904 4202496 1241 56409 0 0 0 1 1476 188 18 0 1 0 415989439 4800512 834 1283457024 134512640 135539072 4287730064 18446744073709551615 4160394158 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3440/statm: 1172 834 400 251 0 430 0 [pid=3444] ppid=3440 vsize=2372 CPUtime=0 /proc/3444/stat : 3444 (sh) S 3440 3440 13759 34823 13904 4194304 441 0 0 0 0 0 0 0 22 0 1 0 415991112 2428928 247 1283457024 134512640 135191968 4287496512 18446744073709551615 4158683790 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3444/statm: 593 247 212 166 0 25 0 [pid=3445] ppid=3444 vsize=284880 CPUtime=8.7 /proc/3445/stat : 3445 (bingo) R 3444 3440 13759 34823 13904 4202496 94745 0 0 0 827 43 0 0 18 0 1 0 415991112 291717120 55116 1283457024 134512640 136195415 4287910480 18446744073709551615 134635498 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/3445/statm: 71220 55116 220 411 0 70807 0 [pid=3446] ppid=3444 vsize=169708 CPUtime=0.47 /proc/3446/stat : 3446 (clasp) R 3444 3440 13759 34823 13904 4202496 48869 0 0 0 39 8 0 0 18 0 1 0 415991113 173780992 41637 1283457024 134512640 136080129 4286710032 18446744073709551615 135562558 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/3446/statm: 42427 41637 147 383 0 42042 0 Current children cumulated CPU time (s) 25.82 Current children cumulated vsize (KiB) 461648 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+36.0046 s] /proc/loadavg: 1.05 1.07 1.07 2/98 3448 /proc/meminfo: memFree=8560/2097152 swapFree=2055676/2097144 [pid=3440] ppid=3439 vsize=4688 CPUtime=16.65 /proc/3440/stat : 3440 (python) S 3439 3440 13759 34823 13904 4202496 1241 56409 0 0 0 1 1476 188 18 0 1 0 415989439 4800512 834 1283457024 134512640 135539072 4287730064 18446744073709551615 4160394158 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3440/statm: 1172 834 400 251 0 430 0 [pid=3444] ppid=3440 vsize=2372 CPUtime=0 /proc/3444/stat : 3444 (sh) S 3440 3440 13759 34823 13904 4194304 441 0 0 0 0 0 0 0 22 0 1 0 415991112 2428928 247 1283457024 134512640 135191968 4287496512 18446744073709551615 4158683790 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3444/statm: 593 247 212 166 0 25 0 [pid=3445] ppid=3444 vsize=850132 CPUtime=19.15 /proc/3445/stat : 3445 (bingo) R 3444 3440 13759 34823 13904 4202496 268156 0 0 0 1820 95 0 0 25 0 1 0 415991112 870535168 179120 1283457024 134512640 136195415 4287910480 18446744073709551615 134603949 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/3445/statm: 212533 179121 220 411 0 212120 0 [pid=3446] ppid=3444 vsize=301304 CPUtime=2.29 /proc/3446/stat : 3446 (clasp) S 3444 3440 13759 34823 13904 4202496 86529 0 0 0 210 19 0 0 18 0 1 0 415991113 308535296 73506 1283457024 134512640 136080129 4286710032 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/3446/statm: 75326 73506 147 383 0 74941 0 Current children cumulated CPU time (s) 38.09 Current children cumulated vsize (KiB) 1158496 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples [startup+36.0046 s] /proc/loadavg: 1.05 1.07 1.07 2/98 3448 /proc/meminfo: memFree=8560/2097152 swapFree=2055676/2097144 [pid=3440] ppid=3439 vsize=4688 CPUtime=16.65 /proc/3440/stat : 3440 (python) S 3439 3440 13759 34823 13904 4202496 1241 56409 0 0 0 1 1476 188 18 0 1 0 415989439 4800512 834 1283457024 134512640 135539072 4287730064 18446744073709551615 4160394158 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3440/statm: 1172 834 400 251 0 430 0 [pid=3444] ppid=3440 vsize=2372 CPUtime=0 /proc/3444/stat : 3444 (sh) S 3440 3440 13759 34823 13904 4194304 441 0 0 0 0 0 0 0 22 0 1 0 415991112 2428928 247 1283457024 134512640 135191968 4287496512 18446744073709551615 4158683790 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3444/statm: 593 247 212 166 0 25 0 [pid=3445] ppid=3444 vsize=850132 CPUtime=19.15 /proc/3445/stat : 3445 (bingo) R 3444 3440 13759 34823 13904 4202496 268156 0 0 0 1820 95 0 0 25 0 1 0 415991112 870535168 179120 1283457024 134512640 136195415 4287910480 18446744073709551615 134603949 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/3445/statm: 212533 179121 220 411 0 212120 0 [pid=3446] ppid=3444 vsize=301304 CPUtime=2.29 /proc/3446/stat : 3446 (clasp) S 3444 3440 13759 34823 13904 4202496 86529 0 0 0 210 19 0 0 18 0 1 0 415991113 308535296 73506 1283457024 134512640 136080129 4286710032 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/3446/statm: 75326 73506 147 383 0 74941 0 Current children cumulated CPU time (s) 38.09 Current children cumulated vsize (KiB) 1158496 Child ended because it received signal 10 (SIGUSR1) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 3440 and gives # childrusage.ru_utime.tv_sec=16 # childrusage.ru_utime.tv_usec=861053 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=152134 # CPU time returned by wait4() is 19.0132 # while last known CPU time is 38.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 36.0774 CPU time (s): 38.09 CPU user time (s): 35.06 CPU system time (s): 3.03 CPU usage (%): 105.578 Max. virtual memory (cumulated for all children) (KiB): 1158496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.8611 system time used= 2.15213 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 144620 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= 12291 involuntary context switches= 274 runsolver used 0.008 second user time and 0.028001 second system time The end