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/rand8cc693.cudf.impossible.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/impossible//rand8cc693.cudf /home/misc2010/tmp/201007051419/aspcud-paranoid-1.0/rand8cc693.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.09 1.08 1.04 1/95 9567 /proc/meminfo: memFree=1052024/2097152 swapFree=2055620/2097144 [pid=9567] ppid=9566 vsize=3280 CPUtime=0 /proc/9567/stat : 9567 (python) R 9566 9567 13759 34823 13904 4202496 557 0 0 0 0 0 0 0 25 0 1 0 417698081 3358720 354 1283457024 134512640 135539072 4293443328 18446744073709551615 135189536 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/9567/statm: 823 359 255 251 0 124 0 [startup+0.206329 s] /proc/loadavg: 1.09 1.08 1.04 1/95 9567 /proc/meminfo: memFree=1052024/2097152 swapFree=2055620/2097144 [pid=9567] ppid=9566 vsize=4688 CPUtime=0.02 /proc/9567/stat : 9567 (python) S 9566 9567 13759 34823 13904 4202496 1152 0 0 0 1 1 0 0 25 0 1 0 417698081 4800512 831 1283457024 134512640 135539072 4293443328 18446744073709551615 4159722414 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9567/statm: 1172 831 398 251 0 430 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4688 [startup+0.306349 s] /proc/loadavg: 1.09 1.08 1.04 1/95 9567 /proc/meminfo: memFree=1052024/2097152 swapFree=2055620/2097144 [pid=9567] ppid=9566 vsize=4688 CPUtime=0.02 /proc/9567/stat : 9567 (python) S 9566 9567 13759 34823 13904 4202496 1152 0 0 0 1 1 0 0 25 0 1 0 417698081 4800512 831 1283457024 134512640 135539072 4293443328 18446744073709551615 4159722414 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9567/statm: 1172 831 398 251 0 430 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4688 [startup+0.406413 s] /proc/loadavg: 1.09 1.08 1.04 1/95 9567 /proc/meminfo: memFree=1052024/2097152 swapFree=2055620/2097144 [pid=9567] ppid=9566 vsize=4688 CPUtime=0.02 /proc/9567/stat : 9567 (python) S 9566 9567 13759 34823 13904 4202496 1152 0 0 0 1 1 0 0 25 0 1 0 417698081 4800512 831 1283457024 134512640 135539072 4293443328 18446744073709551615 4159722414 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9567/statm: 1172 831 398 251 0 430 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4688 [startup+0.706429 s] /proc/loadavg: 1.09 1.08 1.04 1/95 9567 /proc/meminfo: memFree=1052024/2097152 swapFree=2055620/2097144 [pid=9567] ppid=9566 vsize=4688 CPUtime=0.02 /proc/9567/stat : 9567 (python) S 9566 9567 13759 34823 13904 4202496 1152 0 0 0 1 1 0 0 25 0 1 0 417698081 4800512 831 1283457024 134512640 135539072 4293443328 18446744073709551615 4159722414 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9567/statm: 1172 831 398 251 0 430 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4688 [startup+1.50435 s] /proc/loadavg: 1.09 1.08 1.04 2/97 9569 /proc/meminfo: memFree=1040112/2097152 swapFree=2055620/2097144 [pid=9567] ppid=9566 vsize=4688 CPUtime=0.02 /proc/9567/stat : 9567 (python) S 9566 9567 13759 34823 13904 4202496 1152 0 0 0 1 1 0 0 25 0 1 0 417698081 4800512 831 1283457024 134512640 135539072 4293443328 18446744073709551615 4159722414 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9567/statm: 1172 831 398 251 0 430 0 [pid=9569] ppid=9567 vsize=15152 CPUtime=1.45 /proc/9569/stat : 9569 (cudf2lp) R 9567 9567 13759 34823 13904 4202496 3903 0 0 0 145 0 0 0 25 0 1 0 417698085 15515648 3430 1283457024 134512640 135993029 4290815216 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/9569/statm: 3788 3430 110 362 0 3370 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 19840 [startup+3.10444 s] /proc/loadavg: 1.08 1.08 1.04 2/97 9569 /proc/meminfo: memFree=1030316/2097152 swapFree=2055620/2097144 [pid=9567] ppid=9566 vsize=4688 CPUtime=0.02 /proc/9567/stat : 9567 (python) S 9566 9567 13759 34823 13904 4202496 1152 0 0 0 1 1 0 0 25 0 1 0 417698081 4800512 831 1283457024 134512640 135539072 4293443328 18446744073709551615 4159722414 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9567/statm: 1172 831 398 251 0 430 0 [pid=9569] ppid=9567 vsize=29420 CPUtime=3.05 /proc/9569/stat : 9569 (cudf2lp) R 9567 9567 13759 34823 13904 4202496 7424 0 0 0 304 1 0 0 25 0 1 0 417698085 30126080 6951 1283457024 134512640 135993029 4290815216 18446744073709551615 134537802 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/9569/statm: 7355 6951 110 362 0 6937 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 34108 [startup+6.30457 s] /proc/loadavg: 1.08 1.08 1.04 2/97 9569 /proc/meminfo: memFree=1002044/2097152 swapFree=2055620/2097144 [pid=9567] ppid=9566 vsize=4688 CPUtime=0.02 /proc/9567/stat : 9567 (python) S 9566 9567 13759 34823 13904 4202496 1152 0 0 0 1 1 0 0 25 0 1 0 417698081 4800512 831 1283457024 134512640 135539072 4293443328 18446744073709551615 4159722414 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9567/statm: 1172 831 398 251 0 430 0 [pid=9569] ppid=9567 vsize=57820 CPUtime=6.24 /proc/9569/stat : 9569 (cudf2lp) R 9567 9567 13759 34823 13904 4202496 14379 0 0 0 620 4 0 0 25 0 1 0 417698085 59207680 13906 1283457024 134512640 135993029 4290815216 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/9569/statm: 14455 13906 110 362 0 14037 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 62508 [startup+12.7049 s] /proc/loadavg: 1.07 1.08 1.04 2/96 9570 /proc/meminfo: memFree=935744/2097152 swapFree=2055620/2097144 [pid=9567] ppid=9566 vsize=4688 CPUtime=0.02 /proc/9567/stat : 9567 (python) S 9566 9567 13759 34823 13904 4202496 1152 0 0 0 1 1 0 0 25 0 1 0 417698081 4800512 831 1283457024 134512640 135539072 4293443328 18446744073709551615 4159722414 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9567/statm: 1172 831 398 251 0 430 0 [pid=9569] ppid=9567 vsize=130264 CPUtime=12.63 /proc/9569/stat : 9569 (cudf2lp) R 9567 9567 13759 34823 13904 4202496 32284 0 0 0 1226 37 0 0 25 0 1 0 417698085 133390336 31811 1283457024 134512640 135993029 4290815216 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/9569/statm: 32566 31812 134 362 0 32148 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 134952 [startup+25.5054 s] /proc/loadavg: 1.21 1.11 1.05 3/98 9574 /proc/meminfo: memFree=640460/2097152 swapFree=2055620/2097144 [pid=9567] ppid=9566 vsize=4688 CPUtime=16.59 /proc/9567/stat : 9567 (python) S 9566 9567 13759 34823 13904 4202496 1240 56422 0 0 1 1 1483 174 20 0 1 0 417698081 4800512 833 1283457024 134512640 135539072 4293443328 18446744073709551615 4159722414 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/9567/statm: 1172 833 400 251 0 430 0 [pid=9571] ppid=9567 vsize=2380 CPUtime=0 /proc/9571/stat : 9571 (sh) S 9567 9567 13759 34823 13904 4194304 443 0 0 0 0 0 0 0 21 0 1 0 417699745 2437120 249 1283457024 134512640 135191968 4289694560 18446744073709551615 4159474318 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9571/statm: 595 249 212 166 0 27 0 [pid=9572] ppid=9571 vsize=287860 CPUtime=8.81 /proc/9572/stat : 9572 (bingo) R 9571 9567 13759 34823 13904 4202496 95737 0 0 0 841 40 0 0 18 0 1 0 417699745 294768640 55979 1283457024 134512640 136195415 4291956272 18446744073709551615 134632665 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/9572/statm: 71965 55979 220 411 0 71552 0 [pid=9573] ppid=9571 vsize=175956 CPUtime=0.65 /proc/9573/stat : 9573 (clasp) S 9571 9567 13759 34823 13904 4202496 51239 0 0 0 56 9 0 0 18 0 1 0 417699745 180178944 42469 1283457024 134512640 136080129 4292259408 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/9573/statm: 43989 42469 147 383 0 43604 0 Current children cumulated CPU time (s) 26.05 Current children cumulated vsize (KiB) 470884 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+35.8091 s] /proc/loadavg: 1.18 1.10 1.05 2/98 9574 /proc/meminfo: memFree=18724/2097152 swapFree=2055620/2097144 [pid=9567] ppid=9566 vsize=4688 CPUtime=16.59 /proc/9567/stat : 9567 (python) S 9566 9567 13759 34823 13904 4202496 1240 56422 0 0 1 1 1483 174 20 0 1 0 417698081 4800512 833 1283457024 134512640 135539072 4293443328 18446744073709551615 4159722414 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/9567/statm: 1172 833 400 251 0 430 0 [pid=9571] ppid=9567 vsize=2380 CPUtime=0 /proc/9571/stat : 9571 (sh) S 9567 9567 13759 34823 13904 4194304 443 0 0 0 0 0 0 0 21 0 1 0 417699745 2437120 249 1283457024 134512640 135191968 4289694560 18446744073709551615 4159474318 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9571/statm: 595 249 212 166 0 27 0 [pid=9572] ppid=9571 vsize=845616 CPUtime=19.08 /proc/9572/stat : 9572 (bingo) R 9571 9567 13759 34823 13904 4202496 267106 0 0 0 1800 108 0 0 25 0 1 0 417699745 865910784 178199 1283457024 134512640 136195415 4291956272 18446744073709551615 134655043 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9572/statm: 211404 178199 220 411 0 210991 0 [pid=9573] ppid=9571 vsize=301308 CPUtime=2.74 /proc/9573/stat : 9573 (clasp) S 9571 9567 13759 34823 13904 4202496 86528 0 0 0 253 21 0 0 18 0 1 0 417699745 308539392 73505 1283457024 134512640 136080129 4292259408 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 1 0 0 0 /proc/9573/statm: 75327 73505 147 383 0 74942 0 Current children cumulated CPU time (s) 38.41 Current children cumulated vsize (KiB) 1153992 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 ended because it received signal 10 (SIGUSR1) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9567 and gives # childrusage.ru_utime.tv_sec=14 # childrusage.ru_utime.tv_usec=844927 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=752109 # CPU time returned by wait4() is 16.597 # while last known CPU time is 38.41 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 35.8837 CPU time (s): 38.41 CPU user time (s): 35.37 CPU system time (s): 3.04 CPU usage (%): 107.04 Max. virtual memory (cumulated for all children) (KiB): 1153992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.8449 system time used= 1.75211 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58177 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= 113 involuntary context switches= 107 runsolver used 0.016001 second user time and 0.024001 second system time The end