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/rand7141b1.cudf.impossible.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/impossible//rand7141b1.cudf /home/misc2010/tmp/201007051419/aspcud-paranoid-1.0/rand7141b1.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: 1.03 1.13 1.09 1/95 12833 /proc/meminfo: memFree=1037736/2097152 swapFree=2055676/2097144 [pid=12833] ppid=12832 vsize=3296 CPUtime=0 /proc/12833/stat : 12833 (python) S 12832 12833 13759 34823 13904 4202496 588 0 0 0 0 0 0 0 17 0 1 0 416366475 3375104 382 1283457024 134512640 135539072 4290663520 18446744073709551615 4159514702 0 2147483391 16781312 2 18446744071697298955 0 0 17 1 0 0 0 /proc/12833/statm: 824 382 264 251 0 125 0 [startup+0.217406 s] /proc/loadavg: 1.03 1.13 1.09 1/95 12833 /proc/meminfo: memFree=1037736/2097152 swapFree=2055676/2097144 [pid=12833] ppid=12832 vsize=4688 CPUtime=0.01 /proc/12833/stat : 12833 (python) S 12832 12833 13759 34823 13904 4202496 1153 0 0 0 0 1 0 0 18 0 1 0 416366475 4800512 832 1283457024 134512640 135539072 4290663520 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12833/statm: 1172 832 398 251 0 430 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4688 [startup+0.305406 s] /proc/loadavg: 1.03 1.13 1.09 1/95 12833 /proc/meminfo: memFree=1037736/2097152 swapFree=2055676/2097144 [pid=12833] ppid=12832 vsize=4688 CPUtime=0.01 /proc/12833/stat : 12833 (python) S 12832 12833 13759 34823 13904 4202496 1153 0 0 0 0 1 0 0 18 0 1 0 416366475 4800512 832 1283457024 134512640 135539072 4290663520 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12833/statm: 1172 832 398 251 0 430 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4688 [startup+0.405416 s] /proc/loadavg: 1.03 1.13 1.09 1/95 12833 /proc/meminfo: memFree=1037736/2097152 swapFree=2055676/2097144 [pid=12833] ppid=12832 vsize=4688 CPUtime=0.01 /proc/12833/stat : 12833 (python) S 12832 12833 13759 34823 13904 4202496 1153 0 0 0 0 1 0 0 18 0 1 0 416366475 4800512 832 1283457024 134512640 135539072 4290663520 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12833/statm: 1172 832 398 251 0 430 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4688 [startup+0.705418 s] /proc/loadavg: 1.03 1.13 1.09 1/95 12833 /proc/meminfo: memFree=1037736/2097152 swapFree=2055676/2097144 [pid=12833] ppid=12832 vsize=4688 CPUtime=0.01 /proc/12833/stat : 12833 (python) S 12832 12833 13759 34823 13904 4202496 1153 0 0 0 0 1 0 0 18 0 1 0 416366475 4800512 832 1283457024 134512640 135539072 4290663520 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12833/statm: 1172 832 398 251 0 430 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4688 [startup+1.50546 s] /proc/loadavg: 1.03 1.13 1.09 2/97 12836 /proc/meminfo: memFree=1025716/2097152 swapFree=2055676/2097144 [pid=12833] ppid=12832 vsize=4688 CPUtime=0.01 /proc/12833/stat : 12833 (python) S 12832 12833 13759 34823 13904 4202496 1153 0 0 0 0 1 0 0 18 0 1 0 416366475 4800512 832 1283457024 134512640 135539072 4290663520 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12833/statm: 1172 832 398 251 0 430 0 [pid=12835] ppid=12833 vsize=15152 CPUtime=1.46 /proc/12835/stat : 12835 (cudf2lp) R 12833 12833 13759 34823 13904 4202496 3933 0 0 0 144 2 0 0 19 0 1 0 416366479 15515648 3460 1283457024 134512640 135993029 4292476544 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/12835/statm: 3788 3460 110 362 0 3370 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 19840 [startup+3.10553 s] /proc/loadavg: 1.03 1.13 1.09 2/97 12836 /proc/meminfo: memFree=1015796/2097152 swapFree=2055676/2097144 [pid=12833] ppid=12832 vsize=4688 CPUtime=0.01 /proc/12833/stat : 12833 (python) S 12832 12833 13759 34823 13904 4202496 1153 0 0 0 0 1 0 0 18 0 1 0 416366475 4800512 832 1283457024 134512640 135539072 4290663520 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12833/statm: 1172 832 398 251 0 430 0 [pid=12835] ppid=12833 vsize=29668 CPUtime=3.06 /proc/12835/stat : 12835 (cudf2lp) R 12833 12833 13759 34823 13904 4202496 7476 0 0 0 301 5 0 0 25 0 1 0 416366479 30380032 7003 1283457024 134512640 135993029 4292476544 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/12835/statm: 7417 7003 110 362 0 6999 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 34356 [startup+6.30716 s] /proc/loadavg: 1.03 1.13 1.09 2/97 12836 /proc/meminfo: memFree=987400/2097152 swapFree=2055676/2097144 [pid=12833] ppid=12832 vsize=4688 CPUtime=0.01 /proc/12833/stat : 12833 (python) S 12832 12833 13759 34823 13904 4202496 1153 0 0 0 0 1 0 0 18 0 1 0 416366475 4800512 832 1283457024 134512640 135539072 4290663520 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12833/statm: 1172 832 398 251 0 430 0 [pid=12835] ppid=12833 vsize=58068 CPUtime=6.26 /proc/12835/stat : 12835 (cudf2lp) R 12833 12833 13759 34823 13904 4202496 14469 0 0 0 618 8 0 0 25 0 1 0 416366479 59461632 13996 1283457024 134512640 135993029 4292476544 18446744073709551615 134537802 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/12835/statm: 14517 13996 110 362 0 14099 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 62756 [startup+12.7074 s] /proc/loadavg: 1.03 1.13 1.09 2/97 12836 /proc/meminfo: memFree=920340/2097152 swapFree=2055676/2097144 [pid=12833] ppid=12832 vsize=4688 CPUtime=0.01 /proc/12833/stat : 12833 (python) S 12832 12833 13759 34823 13904 4202496 1153 0 0 0 0 1 0 0 18 0 1 0 416366475 4800512 832 1283457024 134512640 135539072 4290663520 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12833/statm: 1172 832 398 251 0 430 0 [pid=12835] ppid=12833 vsize=131580 CPUtime=12.67 /proc/12835/stat : 12835 (cudf2lp) R 12833 12833 13759 34823 13904 4202496 32621 0 0 0 1221 46 0 0 25 0 1 0 416366479 134737920 32148 1283457024 134512640 135993029 4292476544 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/12835/statm: 32895 32148 134 362 0 32477 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 136268 [startup+25.504 s] /proc/loadavg: 1.02 1.12 1.09 3/99 12840 /proc/meminfo: memFree=624940/2097152 swapFree=2055676/2097144 [pid=12833] ppid=12832 vsize=4688 CPUtime=16.56 /proc/12833/stat : 12833 (python) S 12832 12833 13759 34823 13904 4202496 1241 56419 0 0 0 1 1483 172 18 0 1 0 416366475 4800512 834 1283457024 134512640 135539072 4290663520 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12833/statm: 1172 834 400 251 0 430 0 [pid=12838] ppid=12833 vsize=2380 CPUtime=0 /proc/12838/stat : 12838 (sh) S 12833 12833 13759 34823 13904 4194304 443 0 0 0 0 0 0 0 18 0 1 0 416368135 2437120 249 1283457024 134512640 135191968 4289305344 18446744073709551615 4159040142 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12838/statm: 595 249 212 166 0 27 0 [pid=12839] ppid=12838 vsize=287860 CPUtime=8.88 /proc/12839/stat : 12839 (bingo) R 12838 12833 13759 34823 13904 4202496 95763 0 0 0 850 38 0 0 25 0 1 0 416368135 294768640 56005 1283457024 134512640 136195415 4286949744 18446744073709551615 135663438 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/12839/statm: 71965 56005 220 411 0 71552 0 [pid=12840] ppid=12838 vsize=176084 CPUtime=0.56 /proc/12840/stat : 12840 (clasp) R 12838 12833 13759 34823 13904 4202496 51303 0 0 0 50 6 0 0 18 0 1 0 416368135 180310016 42533 1283457024 134512640 136080129 4294779072 18446744073709551615 135562558 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/12840/statm: 44021 42533 147 383 0 43636 0 Current children cumulated CPU time (s) 26 Current children cumulated vsize (KiB) 471012 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+35.9045 s] /proc/loadavg: 1.02 1.12 1.09 2/98 12841 /proc/meminfo: memFree=7304/2097152 swapFree=2055676/2097144 [pid=12833] ppid=12832 vsize=4688 CPUtime=16.56 /proc/12833/stat : 12833 (python) S 12832 12833 13759 34823 13904 4202496 1241 56419 0 0 0 1 1483 172 18 0 1 0 416366475 4800512 834 1283457024 134512640 135539072 4290663520 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12833/statm: 1172 834 400 251 0 430 0 [pid=12838] ppid=12833 vsize=2380 CPUtime=0 /proc/12838/stat : 12838 (sh) S 12833 12833 13759 34823 13904 4194304 443 0 0 0 0 0 0 0 18 0 1 0 416368135 2437120 249 1283457024 134512640 135191968 4289305344 18446744073709551615 4159040142 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12838/statm: 595 249 212 166 0 27 0 [pid=12839] ppid=12838 vsize=843092 CPUtime=19.24 /proc/12839/stat : 12839 (bingo) R 12838 12833 13759 34823 13904 4202496 266239 0 0 0 1835 89 0 0 20 0 1 0 416368135 863326208 177332 1283457024 134512640 136195415 4286949744 18446744073709551615 134654835 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/12839/statm: 210773 177332 220 411 0 210360 0 [pid=12840] ppid=12838 vsize=301304 CPUtime=2.58 /proc/12840/stat : 12840 (clasp) S 12838 12833 13759 34823 13904 4202496 86528 0 0 0 242 16 0 0 18 0 1 0 416368135 308535296 73505 1283457024 134512640 136080129 4294779072 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/12840/statm: 75326 73505 147 383 0 74941 0 Current children cumulated CPU time (s) 38.38 Current children cumulated vsize (KiB) 1151464 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.9045 s] /proc/loadavg: 1.02 1.12 1.09 2/98 12841 /proc/meminfo: memFree=7304/2097152 swapFree=2055676/2097144 [pid=12833] ppid=12832 vsize=4688 CPUtime=16.56 /proc/12833/stat : 12833 (python) S 12832 12833 13759 34823 13904 4202496 1241 56419 0 0 0 1 1483 172 18 0 1 0 416366475 4800512 834 1283457024 134512640 135539072 4290663520 18446744073709551615 4160295854 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12833/statm: 1172 834 400 251 0 430 0 [pid=12838] ppid=12833 vsize=2380 CPUtime=0 /proc/12838/stat : 12838 (sh) S 12833 12833 13759 34823 13904 4194304 443 0 0 0 0 0 0 0 18 0 1 0 416368135 2437120 249 1283457024 134512640 135191968 4289305344 18446744073709551615 4159040142 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12838/statm: 595 249 212 166 0 27 0 [pid=12839] ppid=12838 vsize=843092 CPUtime=19.24 /proc/12839/stat : 12839 (bingo) R 12838 12833 13759 34823 13904 4202496 266239 0 0 0 1835 89 0 0 20 0 1 0 416368135 863326208 177332 1283457024 134512640 136195415 4286949744 18446744073709551615 134654835 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/12839/statm: 210773 177332 220 411 0 210360 0 [pid=12840] ppid=12838 vsize=301304 CPUtime=2.58 /proc/12840/stat : 12840 (clasp) S 12838 12833 13759 34823 13904 4202496 86528 0 0 0 242 16 0 0 18 0 1 0 416368135 308535296 73505 1283457024 134512640 136080129 4294779072 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/12840/statm: 75326 73505 147 383 0 74941 0 Current children cumulated CPU time (s) 38.38 Current children cumulated vsize (KiB) 1151464 Child ended because it received signal 10 (SIGUSR1) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 12833 and gives # childrusage.ru_utime.tv_sec=17 # childrusage.ru_utime.tv_usec=265079 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=972123 # CPU time returned by wait4() is 19.2372 # while last known CPU time is 38.38 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 35.9849 CPU time (s): 38.38 CPU user time (s): 35.6 CPU system time (s): 2.78 CPU usage (%): 106.656 Max. virtual memory (cumulated for all children) (KiB): 1151592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.2651 system time used= 1.97212 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 144631 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= 11880 involuntary context switches= 416 runsolver used 0.008 second user time and 0.028001 second system time The end