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/rand835640.cudf.impossible.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/impossible//rand835640.cudf /home/misc2010/tmp/201007051419/aspcud-trendy-1.2/rand835640.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.05 1.10 1.09 2/95 29541 /proc/meminfo: memFree=1031280/2097152 swapFree=2055620/2097144 [pid=29541] ppid=29540 vsize=2880 CPUtime=0 /proc/29541/stat : 29541 (runsolver) R 29540 29541 13759 34823 13904 4202560 73 0 0 0 0 0 0 0 19 0 1 0 417121505 2949120 93 1283457024 134512640 134586868 4288366960 18446744073709551615 4158342426 0 2147483391 0 24578 0 0 0 17 1 0 0 0 /proc/29541/statm: 720 93 62 19 0 52 0 [startup+0.188771 s] /proc/loadavg: 1.05 1.10 1.09 2/95 29541 /proc/meminfo: memFree=1031280/2097152 swapFree=2055620/2097144 [pid=29541] ppid=29540 vsize=4708 CPUtime=0.01 /proc/29541/stat : 29541 (aspcud-trendy-1) S 29540 29541 13759 34823 13904 4202496 1051 0 0 0 0 1 0 0 18 0 1 0 417121505 4820992 837 1283457024 134512640 135539072 4291470624 18446744073709551615 4160422830 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/29541/statm: 1177 837 399 251 0 435 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4708 [startup+0.20473 s] /proc/loadavg: 1.05 1.10 1.09 2/95 29541 /proc/meminfo: memFree=1031280/2097152 swapFree=2055620/2097144 [pid=29541] ppid=29540 vsize=4708 CPUtime=0.01 /proc/29541/stat : 29541 (aspcud-trendy-1) S 29540 29541 13759 34823 13904 4202496 1051 0 0 0 0 1 0 0 18 0 1 0 417121505 4820992 837 1283457024 134512640 135539072 4291470624 18446744073709551615 4160422830 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/29541/statm: 1177 837 399 251 0 435 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4708 [startup+0.304742 s] /proc/loadavg: 1.05 1.10 1.09 2/95 29541 /proc/meminfo: memFree=1031280/2097152 swapFree=2055620/2097144 [pid=29541] ppid=29540 vsize=4708 CPUtime=0.01 /proc/29541/stat : 29541 (aspcud-trendy-1) S 29540 29541 13759 34823 13904 4202496 1051 0 0 0 0 1 0 0 18 0 1 0 417121505 4820992 837 1283457024 134512640 135539072 4291470624 18446744073709551615 4160422830 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/29541/statm: 1177 837 399 251 0 435 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4708 [startup+0.704763 s] /proc/loadavg: 1.05 1.10 1.09 2/95 29541 /proc/meminfo: memFree=1031280/2097152 swapFree=2055620/2097144 [pid=29541] ppid=29540 vsize=4708 CPUtime=0.01 /proc/29541/stat : 29541 (aspcud-trendy-1) S 29540 29541 13759 34823 13904 4202496 1051 0 0 0 0 1 0 0 18 0 1 0 417121505 4820992 837 1283457024 134512640 135539072 4291470624 18446744073709551615 4160422830 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/29541/statm: 1177 837 399 251 0 435 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4708 [startup+1.50487 s] /proc/loadavg: 1.05 1.10 1.09 2/97 29543 /proc/meminfo: memFree=1020252/2097152 swapFree=2055620/2097144 [pid=29541] ppid=29540 vsize=4708 CPUtime=0.01 /proc/29541/stat : 29541 (aspcud-trendy-1) S 29540 29541 13759 34823 13904 4202496 1051 0 0 0 0 1 0 0 18 0 1 0 417121505 4820992 837 1283457024 134512640 135539072 4291470624 18446744073709551615 4160422830 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/29541/statm: 1177 837 399 251 0 435 0 [pid=29543] ppid=29541 vsize=15152 CPUtime=1.44 /proc/29543/stat : 29543 (cudf2lp) R 29541 29541 13759 34823 13904 4202496 3662 0 0 0 143 1 0 0 19 0 1 0 417121510 15515648 3461 1283457024 134512640 135993029 4292318768 18446744073709551615 134537814 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/29543/statm: 3788 3461 110 362 0 3370 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 19860 [startup+3.10488 s] /proc/loadavg: 1.05 1.10 1.09 2/97 29543 /proc/meminfo: memFree=1010580/2097152 swapFree=2055620/2097144 [pid=29541] ppid=29540 vsize=4708 CPUtime=0.01 /proc/29541/stat : 29541 (aspcud-trendy-1) S 29540 29541 13759 34823 13904 4202496 1051 0 0 0 0 1 0 0 18 0 1 0 417121505 4820992 837 1283457024 134512640 135539072 4291470624 18446744073709551615 4160422830 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/29541/statm: 1177 837 399 251 0 435 0 [pid=29543] ppid=29541 vsize=29420 CPUtime=3.04 /proc/29543/stat : 29543 (cudf2lp) R 29541 29541 13759 34823 13904 4202496 7120 0 0 0 302 2 0 0 23 0 1 0 417121510 30126080 6919 1283457024 134512640 135993029 4292318768 18446744073709551615 134537802 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/29543/statm: 7355 6919 110 362 0 6937 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 34128 [startup+6.30503 s] /proc/loadavg: 1.05 1.10 1.09 2/97 29543 /proc/meminfo: memFree=981320/2097152 swapFree=2055620/2097144 [pid=29541] ppid=29540 vsize=4708 CPUtime=0.01 /proc/29541/stat : 29541 (aspcud-trendy-1) S 29540 29541 13759 34823 13904 4202496 1051 0 0 0 0 1 0 0 18 0 1 0 417121505 4820992 837 1283457024 134512640 135539072 4291470624 18446744073709551615 4160422830 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/29541/statm: 1177 837 399 251 0 435 0 [pid=29543] ppid=29541 vsize=57572 CPUtime=6.24 /proc/29543/stat : 29543 (cudf2lp) R 29541 29541 13759 34823 13904 4202496 14033 0 0 0 616 8 0 0 25 0 1 0 417121510 58953728 13832 1283457024 134512640 135993029 4292318768 18446744073709551615 134537802 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/29543/statm: 14393 13832 110 362 0 13975 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 62280 [startup+12.7053 s] /proc/loadavg: 1.05 1.10 1.09 2/97 29544 /proc/meminfo: memFree=917368/2097152 swapFree=2055620/2097144 [pid=29541] ppid=29540 vsize=4708 CPUtime=0.01 /proc/29541/stat : 29541 (aspcud-trendy-1) S 29540 29541 13759 34823 13904 4202496 1051 0 0 0 0 1 0 0 18 0 1 0 417121505 4820992 837 1283457024 134512640 135539072 4291470624 18446744073709551615 4160422830 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/29541/statm: 1177 837 399 251 0 435 0 [pid=29543] ppid=29541 vsize=131068 CPUtime=12.64 /proc/29543/stat : 29543 (cudf2lp) R 29541 29541 13759 34823 13904 4202496 32185 0 0 0 1230 34 0 0 25 0 1 0 417121510 134213632 31984 1283457024 134512640 135993029 4292318768 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/29543/statm: 32767 31985 134 362 0 32349 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 135776 [startup+25.5127 s] /proc/loadavg: 1.18 1.13 1.10 2/98 30027 /proc/meminfo: memFree=701800/2097152 swapFree=2055620/2097144 [pid=29541] ppid=29540 vsize=4708 CPUtime=16.53 /proc/29541/stat : 29541 (aspcud-trendy-1) S 29540 29541 13759 34823 13904 4202496 1237 56056 0 0 0 1 1476 176 15 0 1 0 417121505 4820992 840 1283457024 134512640 135539072 4291470624 18446744073709551615 4160422830 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/29541/statm: 1177 840 402 251 0 435 0 [pid=29711] ppid=29541 vsize=241880 CPUtime=8.13 /proc/29711/stat : 29711 (bingo) R 29541 29541 13759 34823 13904 4202496 82428 0 0 0 773 40 0 0 25 0 1 0 417123179 247685120 45626 1283457024 134512640 136195415 4293746608 18446744073709551615 135221536 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/29711/statm: 60470 45626 220 411 0 60057 0 [pid=29712] ppid=29541 vsize=137208 CPUtime=0.57 /proc/29712/stat : 29712 (clasp) S 29541 29541 13759 34823 13904 4202496 40359 0 0 0 41 16 0 0 18 0 1 0 417123180 140500992 33396 1283457024 134512640 136080129 4289485728 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/29712/statm: 34302 33396 144 383 0 33917 0 Current children cumulated CPU time (s) 25.23 Current children cumulated vsize (KiB) 383796 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+37.3071 s] /proc/loadavg: 1.15 1.12 1.10 3/98 30028 /proc/meminfo: memFree=8056/2097152 swapFree=2055620/2097144 [pid=29541] ppid=29540 vsize=4708 CPUtime=16.53 /proc/29541/stat : 29541 (aspcud-trendy-1) S 29540 29541 13759 34823 13904 4202496 1237 56056 0 0 0 1 1476 176 15 0 1 0 417121505 4820992 840 1283457024 134512640 135539072 4291470624 18446744073709551615 4160422830 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/29541/statm: 1177 840 402 251 0 435 0 [pid=29711] ppid=29541 vsize=848192 CPUtime=19.24 /proc/29711/stat : 29711 (bingo) R 29541 29541 13759 34823 13904 4202496 267869 0 0 0 1816 108 0 0 23 0 1 0 417123179 868548608 178763 1283457024 134512640 136195415 4293746608 18446744073709551615 134780550 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/29711/statm: 212048 178763 220 411 0 211635 0 [pid=29712] ppid=29541 vsize=301304 CPUtime=2.95 /proc/29712/stat : 29712 (clasp) S 29541 29541 13759 34823 13904 4202496 86595 0 0 0 265 30 0 0 18 0 1 0 417123180 308535296 73502 1283457024 134512640 136080129 4289485728 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 1 0 0 0 /proc/29712/statm: 75326 73502 144 383 0 74941 0 Current children cumulated CPU time (s) 38.72 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 Child status: 1 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 29541 and gives # childrusage.ru_utime.tv_sec=17 # childrusage.ru_utime.tv_usec=425089 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=160135 # CPU time returned by wait4() is 19.5852 # while last known CPU time is 38.72 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 37.39 CPU time (s): 38.72 CPU user time (s): 35.57 CPU system time (s): 3.15 CPU usage (%): 103.557 Max. virtual memory (cumulated for all children) (KiB): 1154204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.4251 system time used= 2.16013 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 144652 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= 12170 involuntary context switches= 210 runsolver used 0.004 second user time and 0.020001 second system time The end