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/rand6b4d6e.cudf.impossible.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/impossible//rand6b4d6e.cudf /home/misc2010/tmp/201007051419/aspcud-paranoid-1.0/rand6b4d6e.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.96 1.02 1.02 2/95 8666 /proc/meminfo: memFree=1030296/2097152 swapFree=2055676/2097144 [pid=8666] ppid=8665 vsize=2876 CPUtime=0 /proc/8666/stat : 8666 (runsolver) R 8665 8666 13759 34823 13904 4202560 73 0 0 0 0 0 0 0 25 0 1 0 416196602 2945024 92 1283457024 134512640 134586868 4293217792 18446744073709551615 4158539034 0 2147483391 0 24578 0 0 0 17 0 0 0 0 /proc/8666/statm: 719 92 62 19 0 51 0 [startup+0.169956 s] /proc/loadavg: 0.96 1.02 1.02 2/95 8666 /proc/meminfo: memFree=1030296/2097152 swapFree=2055676/2097144 [pid=8666] ppid=8665 vsize=4684 CPUtime=0.01 /proc/8666/stat : 8666 (python) S 8665 8666 13759 34823 13904 4202496 1152 0 0 0 1 0 0 0 18 0 1 0 416196602 4796416 831 1283457024 134512640 135539072 4290931872 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8666/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+0.205931 s] /proc/loadavg: 0.96 1.02 1.02 2/95 8666 /proc/meminfo: memFree=1030296/2097152 swapFree=2055676/2097144 [pid=8666] ppid=8665 vsize=4684 CPUtime=0.01 /proc/8666/stat : 8666 (python) S 8665 8666 13759 34823 13904 4202496 1152 0 0 0 1 0 0 0 18 0 1 0 416196602 4796416 831 1283457024 134512640 135539072 4290931872 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8666/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+0.305939 s] /proc/loadavg: 0.96 1.02 1.02 2/95 8666 /proc/meminfo: memFree=1030296/2097152 swapFree=2055676/2097144 [pid=8666] ppid=8665 vsize=4684 CPUtime=0.01 /proc/8666/stat : 8666 (python) S 8665 8666 13759 34823 13904 4202496 1152 0 0 0 1 0 0 0 18 0 1 0 416196602 4796416 831 1283457024 134512640 135539072 4290931872 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8666/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+0.705961 s] /proc/loadavg: 0.96 1.02 1.02 2/95 8666 /proc/meminfo: memFree=1030296/2097152 swapFree=2055676/2097144 [pid=8666] ppid=8665 vsize=4684 CPUtime=0.01 /proc/8666/stat : 8666 (python) S 8665 8666 13759 34823 13904 4202496 1152 0 0 0 1 0 0 0 18 0 1 0 416196602 4796416 831 1283457024 134512640 135539072 4290931872 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8666/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+1.50601 s] /proc/loadavg: 0.96 1.02 1.02 2/97 8668 /proc/meminfo: memFree=1019500/2097152 swapFree=2055676/2097144 [pid=8666] ppid=8665 vsize=4684 CPUtime=0.01 /proc/8666/stat : 8666 (python) S 8665 8666 13759 34823 13904 4202496 1152 0 0 0 1 0 0 0 18 0 1 0 416196602 4796416 831 1283457024 134512640 135539072 4290931872 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8666/statm: 1171 831 398 251 0 429 0 [pid=8668] ppid=8666 vsize=15152 CPUtime=1.45 /proc/8668/stat : 8668 (cudf2lp) R 8666 8666 13759 34823 13904 4202496 3905 0 0 0 145 0 0 0 19 0 1 0 416196606 15515648 3433 1283457024 134512640 135993029 4288252544 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/8668/statm: 3788 3433 110 362 0 3370 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 19836 [startup+3.10609 s] /proc/loadavg: 0.96 1.02 1.02 2/97 8668 /proc/meminfo: memFree=1009580/2097152 swapFree=2055676/2097144 [pid=8666] ppid=8665 vsize=4684 CPUtime=0.01 /proc/8666/stat : 8666 (python) S 8665 8666 13759 34823 13904 4202496 1152 0 0 0 1 0 0 0 18 0 1 0 416196602 4796416 831 1283457024 134512640 135539072 4290931872 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8666/statm: 1171 831 398 251 0 429 0 [pid=8668] ppid=8666 vsize=29420 CPUtime=3.05 /proc/8668/stat : 8668 (cudf2lp) R 8666 8666 13759 34823 13904 4202496 7435 0 0 0 304 1 0 0 23 0 1 0 416196606 30126080 6963 1283457024 134512640 135993029 4288252544 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/8668/statm: 7355 6963 110 362 0 6937 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 34104 [startup+6.30624 s] /proc/loadavg: 0.96 1.02 1.02 2/97 8669 /proc/meminfo: memFree=980820/2097152 swapFree=2055676/2097144 [pid=8666] ppid=8665 vsize=4684 CPUtime=0.01 /proc/8666/stat : 8666 (python) S 8665 8666 13759 34823 13904 4202496 1152 0 0 0 1 0 0 0 18 0 1 0 416196602 4796416 831 1283457024 134512640 135539072 4290931872 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8666/statm: 1171 831 398 251 0 429 0 [pid=8668] ppid=8666 vsize=57572 CPUtime=6.24 /proc/8668/stat : 8668 (cudf2lp) R 8666 8666 13759 34823 13904 4202496 14332 0 0 0 622 2 0 0 25 0 1 0 416196606 58953728 13860 1283457024 134512640 135993029 4288252544 18446744073709551615 134537802 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/8668/statm: 14393 13860 110 362 0 13975 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 62256 [startup+12.7065 s] /proc/loadavg: 0.96 1.02 1.02 2/97 8669 /proc/meminfo: memFree=918836/2097152 swapFree=2055676/2097144 [pid=8666] ppid=8665 vsize=4684 CPUtime=0.01 /proc/8666/stat : 8666 (python) S 8665 8666 13759 34823 13904 4202496 1152 0 0 0 1 0 0 0 18 0 1 0 416196602 4796416 831 1283457024 134512640 135539072 4290931872 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8666/statm: 1171 831 398 251 0 429 0 [pid=8668] ppid=8666 vsize=129084 CPUtime=12.62 /proc/8668/stat : 8668 (cudf2lp) R 8666 8666 13759 34823 13904 4202496 31985 0 0 0 1235 27 0 0 25 0 1 0 416196606 132182016 31513 1283457024 134512640 135993029 4288252544 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/8668/statm: 32271 31513 134 362 0 31853 0 Current children cumulated CPU time (s) 12.63 Current children cumulated vsize (KiB) 133768 [startup+25.5071 s] /proc/loadavg: 0.97 1.02 1.01 2/99 8674 /proc/meminfo: memFree=626900/2097152 swapFree=2055676/2097144 [pid=8666] ppid=8665 vsize=4684 CPUtime=16.62 /proc/8666/stat : 8666 (python) S 8665 8666 13759 34823 13904 4202496 1240 56415 0 0 1 0 1495 166 20 0 1 0 416196602 4796416 833 1283457024 134512640 135539072 4290931872 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/8666/statm: 1171 833 400 251 0 429 0 [pid=8671] ppid=8666 vsize=2376 CPUtime=0 /proc/8671/stat : 8671 (sh) S 8666 8666 13759 34823 13904 4194304 440 0 0 0 0 0 0 0 18 0 1 0 416198272 2433024 247 1283457024 134512640 135191968 4292918896 18446744073709551615 4159679118 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8671/statm: 594 247 212 166 0 26 0 [pid=8672] ppid=8671 vsize=286644 CPUtime=8.74 /proc/8672/stat : 8672 (bingo) R 8671 8666 13759 34823 13904 4202496 95382 0 0 0 828 46 0 0 25 0 1 0 416198273 293523456 55624 1283457024 134512640 136195415 4288863040 18446744073709551615 134590839 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/8672/statm: 71661 55624 220 411 0 71248 0 [pid=8673] ppid=8671 vsize=171948 CPUtime=0.56 /proc/8673/stat : 8673 (clasp) R 8671 8666 13759 34823 13904 4202496 49481 0 0 0 51 5 0 0 18 0 1 0 416198273 176074752 42249 1283457024 134512640 136080129 4288008784 18446744073709551615 134670623 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/8673/statm: 42987 42249 147 383 0 42602 0 Current children cumulated CPU time (s) 25.92 Current children cumulated vsize (KiB) 465652 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+35.8075 s] /proc/loadavg: 1.05 1.03 1.02 2/99 8675 /proc/meminfo: memFree=7428/2097152 swapFree=2055676/2097144 [pid=8666] ppid=8665 vsize=4684 CPUtime=16.62 /proc/8666/stat : 8666 (python) S 8665 8666 13759 34823 13904 4202496 1240 56415 0 0 1 0 1495 166 20 0 1 0 416196602 4796416 833 1283457024 134512640 135539072 4290931872 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/8666/statm: 1171 833 400 251 0 429 0 [pid=8671] ppid=8666 vsize=2376 CPUtime=0 /proc/8671/stat : 8671 (sh) S 8666 8666 13759 34823 13904 4194304 440 0 0 0 0 0 0 0 18 0 1 0 416198272 2433024 247 1283457024 134512640 135191968 4292918896 18446744073709551615 4159679118 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8671/statm: 594 247 212 166 0 26 0 [pid=8672] ppid=8671 vsize=843860 CPUtime=19.01 /proc/8672/stat : 8672 (bingo) R 8671 8666 13759 34823 13904 4202496 266673 0 0 0 1787 114 0 0 22 0 1 0 416198273 864112640 177766 1283457024 134512640 136195415 4288863040 18446744073709551615 134655772 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/8672/statm: 210965 177766 220 411 0 210552 0 [pid=8673] ppid=8671 vsize=301300 CPUtime=2.42 /proc/8673/stat : 8673 (clasp) S 8671 8666 13759 34823 13904 4202496 86527 0 0 0 227 15 0 0 18 0 1 0 416198273 308531200 73504 1283457024 134512640 136080129 4288008784 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/8673/statm: 75325 73504 147 383 0 74940 0 Current children cumulated CPU time (s) 38.05 Current children cumulated vsize (KiB) 1152220 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+35.8075 s] /proc/loadavg: 1.05 1.03 1.02 2/99 8675 /proc/meminfo: memFree=7428/2097152 swapFree=2055676/2097144 [pid=8666] ppid=8665 vsize=4684 CPUtime=16.62 /proc/8666/stat : 8666 (python) S 8665 8666 13759 34823 13904 4202496 1240 56415 0 0 1 0 1495 166 20 0 1 0 416196602 4796416 833 1283457024 134512640 135539072 4290931872 18446744073709551615 4159980462 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/8666/statm: 1171 833 400 251 0 429 0 [pid=8671] ppid=8666 vsize=2376 CPUtime=0 /proc/8671/stat : 8671 (sh) S 8666 8666 13759 34823 13904 4194304 440 0 0 0 0 0 0 0 18 0 1 0 416198272 2433024 247 1283457024 134512640 135191968 4292918896 18446744073709551615 4159679118 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8671/statm: 594 247 212 166 0 26 0 [pid=8672] ppid=8671 vsize=843860 CPUtime=19.01 /proc/8672/stat : 8672 (bingo) R 8671 8666 13759 34823 13904 4202496 266673 0 0 0 1787 114 0 0 22 0 1 0 416198273 864112640 177766 1283457024 134512640 136195415 4288863040 18446744073709551615 134655772 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/8672/statm: 210965 177766 220 411 0 210552 0 [pid=8673] ppid=8671 vsize=301300 CPUtime=2.42 /proc/8673/stat : 8673 (clasp) S 8671 8666 13759 34823 13904 4202496 86527 0 0 0 227 15 0 0 18 0 1 0 416198273 308531200 73504 1283457024 134512640 136080129 4288008784 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/8673/statm: 75325 73504 147 383 0 74940 0 Current children cumulated CPU time (s) 38.05 Current children cumulated vsize (KiB) 1152220 Child ended because it received signal 10 (SIGUSR1) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 8666 and gives # childrusage.ru_utime.tv_sec=14 # childrusage.ru_utime.tv_usec=968935 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=668104 # CPU time returned by wait4() is 16.637 # while last known CPU time is 38.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 35.8613 CPU time (s): 38.05 CPU user time (s): 35.1 CPU system time (s): 2.95 CPU usage (%): 106.103 Max. virtual memory (cumulated for all children) (KiB): 1152220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.9689 system time used= 1.6681 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57655 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= 106 involuntary context switches= 56 runsolver used 0.012 second user time and 0.012 second system time The end