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-trendy-1.2/rand81406f.cudf.impossible.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/impossible//rand81406f.cudf /home/misc2010/tmp/201007051419/aspcud-trendy-1.2/rand81406f.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.14 1.13 1.09 1/94 23294 /proc/meminfo: memFree=994812/2097152 swapFree=2055620/2097144 [pid=23294] ppid=23293 vsize=3300 CPUtime=0 /proc/23294/stat : 23294 (aspcud-trendy-1) R 23293 23294 13759 34823 13904 4202496 477 0 0 0 0 0 0 0 18 0 1 0 416849858 3379200 376 1283457024 134512640 135539072 4293848928 18446744073709551615 134800287 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/23294/statm: 825 376 259 251 0 126 0 [startup+0.146887 s] /proc/loadavg: 1.14 1.13 1.09 1/94 23294 /proc/meminfo: memFree=994812/2097152 swapFree=2055620/2097144 [pid=23294] ppid=23293 vsize=4708 CPUtime=0 /proc/23294/stat : 23294 (aspcud-trendy-1) S 23293 23294 13759 34823 13904 4202496 1052 0 0 0 0 0 0 0 18 0 1 0 416849858 4820992 837 1283457024 134512640 135539072 4293848928 18446744073709551615 4160111534 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/23294/statm: 1177 837 399 251 0 435 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4708 [startup+0.206869 s] /proc/loadavg: 1.14 1.13 1.09 1/94 23294 /proc/meminfo: memFree=994812/2097152 swapFree=2055620/2097144 [pid=23294] ppid=23293 vsize=4708 CPUtime=0 /proc/23294/stat : 23294 (aspcud-trendy-1) S 23293 23294 13759 34823 13904 4202496 1052 0 0 0 0 0 0 0 18 0 1 0 416849858 4820992 837 1283457024 134512640 135539072 4293848928 18446744073709551615 4160111534 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/23294/statm: 1177 837 399 251 0 435 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4708 [startup+0.306876 s] /proc/loadavg: 1.14 1.13 1.09 1/94 23294 /proc/meminfo: memFree=994812/2097152 swapFree=2055620/2097144 [pid=23294] ppid=23293 vsize=4708 CPUtime=0 /proc/23294/stat : 23294 (aspcud-trendy-1) S 23293 23294 13759 34823 13904 4202496 1052 0 0 0 0 0 0 0 18 0 1 0 416849858 4820992 837 1283457024 134512640 135539072 4293848928 18446744073709551615 4160111534 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/23294/statm: 1177 837 399 251 0 435 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4708 [startup+0.706891 s] /proc/loadavg: 1.14 1.13 1.09 1/94 23294 /proc/meminfo: memFree=994812/2097152 swapFree=2055620/2097144 [pid=23294] ppid=23293 vsize=4708 CPUtime=0 /proc/23294/stat : 23294 (aspcud-trendy-1) S 23293 23294 13759 34823 13904 4202496 1052 0 0 0 0 0 0 0 18 0 1 0 416849858 4820992 837 1283457024 134512640 135539072 4293848928 18446744073709551615 4160111534 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/23294/statm: 1177 837 399 251 0 435 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4708 [startup+1.50694 s] /proc/loadavg: 1.14 1.13 1.09 2/96 23296 /proc/meminfo: memFree=983396/2097152 swapFree=2055620/2097144 [pid=23294] ppid=23293 vsize=4708 CPUtime=0 /proc/23294/stat : 23294 (aspcud-trendy-1) S 23293 23294 13759 34823 13904 4202496 1052 0 0 0 0 0 0 0 18 0 1 0 416849858 4820992 837 1283457024 134512640 135539072 4293848928 18446744073709551615 4160111534 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/23294/statm: 1177 837 399 251 0 435 0 [pid=23296] ppid=23294 vsize=15396 CPUtime=1.45 /proc/23296/stat : 23296 (cudf2lp) R 23294 23294 13759 34823 13904 4202496 3664 0 0 0 145 0 0 0 19 0 1 0 416849862 15765504 3463 1283457024 134512640 135993029 4293918640 18446744073709551615 134537814 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/23296/statm: 3849 3463 110 362 0 3431 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 20104 [startup+3.10701 s] /proc/loadavg: 1.14 1.13 1.09 2/96 23296 /proc/meminfo: memFree=973352/2097152 swapFree=2055620/2097144 [pid=23294] ppid=23293 vsize=4708 CPUtime=0 /proc/23294/stat : 23294 (aspcud-trendy-1) S 23293 23294 13759 34823 13904 4202496 1052 0 0 0 0 0 0 0 18 0 1 0 416849858 4820992 837 1283457024 134512640 135539072 4293848928 18446744073709551615 4160111534 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/23294/statm: 1177 837 399 251 0 435 0 [pid=23296] ppid=23294 vsize=29664 CPUtime=3.06 /proc/23296/stat : 23296 (cudf2lp) R 23294 23294 13759 34823 13904 4202496 7221 0 0 0 304 2 0 0 23 0 1 0 416849862 30375936 7020 1283457024 134512640 135993029 4293918640 18446744073709551615 134537802 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/23296/statm: 7416 7020 110 362 0 6998 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 34372 [startup+6.30714 s] /proc/loadavg: 1.13 1.13 1.09 2/96 23296 /proc/meminfo: memFree=944956/2097152 swapFree=2055620/2097144 [pid=23294] ppid=23293 vsize=4708 CPUtime=0 /proc/23294/stat : 23294 (aspcud-trendy-1) S 23293 23294 13759 34823 13904 4202496 1052 0 0 0 0 0 0 0 18 0 1 0 416849858 4820992 837 1283457024 134512640 135539072 4293848928 18446744073709551615 4160111534 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/23294/statm: 1177 837 399 251 0 435 0 [pid=23296] ppid=23294 vsize=58064 CPUtime=6.25 /proc/23296/stat : 23296 (cudf2lp) R 23294 23294 13759 34823 13904 4202496 14177 0 0 0 616 9 0 0 25 0 1 0 416849862 59457536 13976 1283457024 134512640 135993029 4293918640 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/23296/statm: 14516 13976 110 362 0 14098 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 62772 [startup+12.7074 s] /proc/loadavg: 1.12 1.12 1.09 2/96 23296 /proc/meminfo: memFree=878764/2097152 swapFree=2055620/2097144 [pid=23294] ppid=23293 vsize=4708 CPUtime=0 /proc/23294/stat : 23294 (aspcud-trendy-1) S 23293 23294 13759 34823 13904 4202496 1052 0 0 0 0 0 0 0 18 0 1 0 416849858 4820992 837 1283457024 134512640 135539072 4293848928 18446744073709551615 4160111534 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/23294/statm: 1177 837 399 251 0 435 0 [pid=23296] ppid=23294 vsize=132628 CPUtime=12.64 /proc/23296/stat : 23296 (cudf2lp) R 23294 23294 13759 34823 13904 4202496 32598 0 0 0 1220 44 0 0 25 0 1 0 416849862 135811072 32397 1283457024 134512640 135993029 4293918640 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/23296/statm: 33157 32397 134 362 0 32739 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 137336 [startup+25.5096 s] /proc/loadavg: 1.09 1.12 1.09 2/97 23299 /proc/meminfo: memFree=587108/2097152 swapFree=2055620/2097144 [pid=23294] ppid=23293 vsize=4708 CPUtime=16.48 /proc/23294/stat : 23294 (aspcud-trendy-1) S 23293 23294 13759 34823 13904 4202496 1235 56159 0 0 0 0 1478 170 18 0 1 0 416849858 4820992 840 1283457024 134512640 135539072 4293848928 18446744073709551615 4160111534 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/23294/statm: 1177 840 402 251 0 435 0 [pid=23298] ppid=23294 vsize=289012 CPUtime=8.9 /proc/23298/stat : 23298 (bingo) R 23294 23294 13759 34823 13904 4202496 96277 0 0 0 838 52 0 0 18 0 1 0 416851513 295948288 56192 1283457024 134512640 136195415 4292408944 18446744073709551615 135166345 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/23298/statm: 72253 56192 220 411 0 71840 0 [pid=23299] ppid=23294 vsize=177400 CPUtime=0.44 /proc/23299/stat : 23299 (clasp) S 23294 23294 13759 34823 13904 4202496 51717 0 0 0 42 2 0 0 18 0 1 0 416851513 181657600 42877 1283457024 134512640 136080129 4294194576 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 1 0 0 0 /proc/23299/statm: 44350 42877 144 383 0 43965 0 Current children cumulated CPU time (s) 25.82 Current children cumulated vsize (KiB) 471120 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+36.6045 s] /proc/loadavg: 1.24 1.15 1.10 2/102 23779 /proc/meminfo: memFree=8924/2097152 swapFree=2055620/2097144 [pid=23294] ppid=23293 vsize=4708 CPUtime=16.48 /proc/23294/stat : 23294 (aspcud-trendy-1) S 23293 23294 13759 34823 13904 4202496 1235 56159 0 0 0 0 1478 170 18 0 1 0 416849858 4820992 840 1283457024 134512640 135539072 4293848928 18446744073709551615 4160111534 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/23294/statm: 1177 840 402 251 0 435 0 [pid=23298] ppid=23294 vsize=848196 CPUtime=19.38 /proc/23298/stat : 23298 (bingo) R 23294 23294 13759 34823 13904 4202496 267754 0 0 0 1823 115 0 0 21 0 1 0 416851513 868552704 178648 1283457024 134512640 136195415 4292408944 18446744073709551615 135668609 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/23298/statm: 212049 178648 220 411 0 211636 0 [pid=23299] ppid=23294 vsize=301300 CPUtime=2.5 /proc/23299/stat : 23299 (clasp) S 23294 23294 13759 34823 13904 4202496 86594 0 0 0 232 18 0 0 18 0 1 0 416851513 308531200 73501 1283457024 134512640 136080129 4294194576 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 1 0 0 0 /proc/23299/statm: 75325 73501 144 383 0 74940 0 Current children cumulated CPU time (s) 38.36 Current children cumulated vsize (KiB) 1154204 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.6045 s] /proc/loadavg: 1.24 1.15 1.10 2/102 23779 /proc/meminfo: memFree=8924/2097152 swapFree=2055620/2097144 [pid=23294] ppid=23293 vsize=4708 CPUtime=16.48 /proc/23294/stat : 23294 (aspcud-trendy-1) S 23293 23294 13759 34823 13904 4202496 1235 56159 0 0 0 0 1478 170 18 0 1 0 416849858 4820992 840 1283457024 134512640 135539072 4293848928 18446744073709551615 4160111534 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/23294/statm: 1177 840 402 251 0 435 0 [pid=23298] ppid=23294 vsize=848196 CPUtime=19.38 /proc/23298/stat : 23298 (bingo) R 23294 23294 13759 34823 13904 4202496 267754 0 0 0 1823 115 0 0 21 0 1 0 416851513 868552704 178648 1283457024 134512640 136195415 4292408944 18446744073709551615 135668609 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/23298/statm: 212049 178648 220 411 0 211636 0 [pid=23299] ppid=23294 vsize=301300 CPUtime=2.5 /proc/23299/stat : 23299 (clasp) S 23294 23294 13759 34823 13904 4202496 86594 0 0 0 232 18 0 0 18 0 1 0 416851513 308531200 73501 1283457024 134512640 136080129 4294194576 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 1 0 0 0 /proc/23299/statm: 75325 73501 144 383 0 74940 0 Current children cumulated CPU time (s) 38.36 Current children cumulated vsize (KiB) 1154204 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 23294 and gives # childrusage.ru_utime.tv_sec=17 # childrusage.ru_utime.tv_usec=133070 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=948121 # CPU time returned by wait4() is 19.0812 # while last known CPU time is 38.36 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 36.7054 CPU time (s): 38.36 CPU user time (s): 35.33 CPU system time (s): 3.03 CPU usage (%): 104.508 Max. virtual memory (cumulated for all children) (KiB): 1154204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.1331 system time used= 1.94812 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 145855 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= 11521 involuntary context switches= 65 runsolver used 0.004 second user time and 0.020001 second system time The end