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/rand0695fb.cudf.impossible.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/impossible//rand0695fb.cudf /home/misc2010/tmp/201007051419/aspcud-trendy-1.2/rand0695fb.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.11 0.93 2/106 17641 /proc/meminfo: memFree=888756/2097152 swapFree=2055676/2097144 [pid=17641] ppid=17640 vsize=2884 CPUtime=0 /proc/17641/stat : 17641 (runsolver) R 17640 17641 13759 34823 13904 4202560 73 0 0 0 0 0 0 0 19 0 1 0 415188290 2953216 93 1283457024 134512640 134586868 4290247488 18446744073709551615 4157953306 0 2147483391 0 24578 0 0 0 17 1 0 0 0 /proc/17641/statm: 721 93 62 19 0 53 0 [startup+0.149011 s] /proc/loadavg: 1.09 1.11 0.93 2/106 17641 /proc/meminfo: memFree=888756/2097152 swapFree=2055676/2097144 [pid=17641] ppid=17640 vsize=4712 CPUtime=0 /proc/17641/stat : 17641 (aspcud-trendy-1) S 17640 17641 13759 34823 13904 4202496 1053 0 0 0 0 0 0 0 18 0 1 0 415188290 4825088 838 1283457024 134512640 135539072 4292244944 18446744073709551615 4159583150 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17641/statm: 1178 838 399 251 0 436 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4712 [startup+0.20498 s] /proc/loadavg: 1.09 1.11 0.93 2/106 17641 /proc/meminfo: memFree=888756/2097152 swapFree=2055676/2097144 [pid=17641] ppid=17640 vsize=4712 CPUtime=0 /proc/17641/stat : 17641 (aspcud-trendy-1) S 17640 17641 13759 34823 13904 4202496 1053 0 0 0 0 0 0 0 18 0 1 0 415188290 4825088 838 1283457024 134512640 135539072 4292244944 18446744073709551615 4159583150 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17641/statm: 1178 838 399 251 0 436 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4712 [startup+0.304986 s] /proc/loadavg: 1.09 1.11 0.93 2/106 17641 /proc/meminfo: memFree=888756/2097152 swapFree=2055676/2097144 [pid=17641] ppid=17640 vsize=4712 CPUtime=0 /proc/17641/stat : 17641 (aspcud-trendy-1) S 17640 17641 13759 34823 13904 4202496 1053 0 0 0 0 0 0 0 18 0 1 0 415188290 4825088 838 1283457024 134512640 135539072 4292244944 18446744073709551615 4159583150 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17641/statm: 1178 838 399 251 0 436 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4712 [startup+0.705008 s] /proc/loadavg: 1.09 1.11 0.93 2/106 17641 /proc/meminfo: memFree=888756/2097152 swapFree=2055676/2097144 [pid=17641] ppid=17640 vsize=4712 CPUtime=0 /proc/17641/stat : 17641 (aspcud-trendy-1) S 17640 17641 13759 34823 13904 4202496 1053 0 0 0 0 0 0 0 18 0 1 0 415188290 4825088 838 1283457024 134512640 135539072 4292244944 18446744073709551615 4159583150 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17641/statm: 1178 838 399 251 0 436 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4712 [startup+1.50504 s] /proc/loadavg: 1.09 1.11 0.93 2/108 17643 /proc/meminfo: memFree=878084/2097152 swapFree=2055676/2097144 [pid=17641] ppid=17640 vsize=4712 CPUtime=0 /proc/17641/stat : 17641 (aspcud-trendy-1) S 17640 17641 13759 34823 13904 4202496 1053 0 0 0 0 0 0 0 18 0 1 0 415188290 4825088 838 1283457024 134512640 135539072 4292244944 18446744073709551615 4159583150 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17641/statm: 1178 838 399 251 0 436 0 [pid=17643] ppid=17641 vsize=14652 CPUtime=1.4 /proc/17643/stat : 17643 (cudf2lp) R 17641 17641 13759 34823 13904 4202496 3539 0 0 0 139 1 0 0 19 0 1 0 415188298 15003648 3338 1283457024 134512640 135993029 4293160688 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/17643/statm: 3663 3338 110 362 0 3245 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 19364 [startup+3.10512 s] /proc/loadavg: 1.09 1.11 0.93 2/108 17643 /proc/meminfo: memFree=868412/2097152 swapFree=2055676/2097144 [pid=17641] ppid=17640 vsize=4712 CPUtime=0 /proc/17641/stat : 17641 (aspcud-trendy-1) S 17640 17641 13759 34823 13904 4202496 1053 0 0 0 0 0 0 0 18 0 1 0 415188290 4825088 838 1283457024 134512640 135539072 4292244944 18446744073709551615 4159583150 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17641/statm: 1178 838 399 251 0 436 0 [pid=17643] ppid=17641 vsize=29168 CPUtime=3 /proc/17643/stat : 17643 (cudf2lp) R 17641 17641 13759 34823 13904 4202496 7057 0 0 0 297 3 0 0 23 0 1 0 415188298 29868032 6856 1283457024 134512640 135993029 4293160688 18446744073709551615 134537802 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/17643/statm: 7292 6856 110 362 0 6874 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 33880 [startup+6.30526 s] /proc/loadavg: 1.09 1.11 0.93 2/108 17644 /proc/meminfo: memFree=839272/2097152 swapFree=2055676/2097144 [pid=17641] ppid=17640 vsize=4712 CPUtime=0 /proc/17641/stat : 17641 (aspcud-trendy-1) S 17640 17641 13759 34823 13904 4202496 1053 0 0 0 0 0 0 0 18 0 1 0 415188290 4825088 838 1283457024 134512640 135539072 4292244944 18446744073709551615 4159583150 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17641/statm: 1178 838 399 251 0 436 0 [pid=17643] ppid=17641 vsize=57320 CPUtime=6.2 /proc/17643/stat : 17643 (cudf2lp) R 17641 17641 13759 34823 13904 4202496 14008 0 0 0 614 6 0 0 25 0 1 0 415188298 58695680 13807 1283457024 134512640 135993029 4293160688 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/17643/statm: 14330 13807 110 362 0 13912 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 62032 [startup+12.7087 s] /proc/loadavg: 1.08 1.10 0.93 2/109 17646 /proc/meminfo: memFree=778372/2097152 swapFree=2055676/2097144 [pid=17641] ppid=17640 vsize=4712 CPUtime=0 /proc/17641/stat : 17641 (aspcud-trendy-1) S 17640 17641 13759 34823 13904 4202496 1053 0 0 0 0 0 0 0 18 0 1 0 415188290 4825088 838 1283457024 134512640 135539072 4292244944 18446744073709551615 4159583150 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17641/statm: 1178 838 399 251 0 436 0 [pid=17643] ppid=17641 vsize=128424 CPUtime=12.58 /proc/17643/stat : 17643 (cudf2lp) R 17641 17641 13759 34823 13904 4202496 31565 0 0 0 1223 35 0 0 25 0 1 0 415188298 131506176 31364 1283457024 134512640 135993029 4293160688 18446744073709551615 134523456 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/17643/statm: 32106 31364 134 362 0 31688 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 133136 [startup+25.5081 s] /proc/loadavg: 1.13 1.12 0.94 2/110 17649 /proc/meminfo: memFree=501860/2097152 swapFree=2055676/2097144 [pid=17641] ppid=17640 vsize=4712 CPUtime=16.6 /proc/17641/stat : 17641 (aspcud-trendy-1) S 17640 17641 13759 34823 13904 4202496 1238 56153 0 0 0 0 1490 170 15 0 1 0 415188290 4825088 841 1283457024 134512640 135539072 4292244944 18446744073709551615 4159583150 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/17641/statm: 1178 841 402 251 0 436 0 [pid=17647] ppid=17641 vsize=281384 CPUtime=8.61 /proc/17647/stat : 17647 (bingo) R 17641 17641 13759 34823 13904 4202496 93603 0 0 0 820 41 0 0 18 0 1 0 415189964 288137216 54291 1283457024 134512640 136195415 4290585776 18446744073709551615 134655893 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/17647/statm: 70346 54291 220 411 0 69933 0 [pid=17648] ppid=17641 vsize=165880 CPUtime=0.52 /proc/17648/stat : 17648 (clasp) S 17641 17641 13759 34823 13904 4202496 47940 0 0 0 45 7 0 0 18 0 1 0 415189966 169861120 40639 1283457024 134512640 136080129 4290204752 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 1 0 0 0 /proc/17648/statm: 41470 40639 144 383 0 41085 0 Current children cumulated CPU time (s) 25.73 Current children cumulated vsize (KiB) 451976 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+36.1115 s] /proc/loadavg: 1.27 1.14 0.95 2/110 17650 /proc/meminfo: memFree=7344/2097152 swapFree=2055676/2097144 [pid=17641] ppid=17640 vsize=4712 CPUtime=16.6 /proc/17641/stat : 17641 (aspcud-trendy-1) S 17640 17641 13759 34823 13904 4202496 1238 56153 0 0 0 0 1490 170 15 0 1 0 415188290 4825088 841 1283457024 134512640 135539072 4292244944 18446744073709551615 4159583150 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/17641/statm: 1178 841 402 251 0 436 0 [pid=17647] ppid=17641 vsize=848192 CPUtime=19.16 /proc/17647/stat : 17647 (bingo) R 17641 17641 13759 34823 13904 4202496 267813 0 0 0 1810 106 0 0 23 0 1 0 415189964 868548608 178708 1283457024 134512640 136195415 4290585776 18446744073709551615 134654710 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/17647/statm: 212048 178708 220 411 0 211635 0 [pid=17648] ppid=17641 vsize=301304 CPUtime=2.43 /proc/17648/stat : 17648 (clasp) S 17641 17641 13759 34823 13904 4202496 86594 0 0 0 224 19 0 0 18 0 1 0 415189966 308535296 73502 1283457024 134512640 136080129 4290204752 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 1 0 0 0 /proc/17648/statm: 75326 73502 144 383 0 74941 0 Current children cumulated CPU time (s) 38.19 Current children cumulated vsize (KiB) 1154208 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.3106 s] /proc/loadavg: 1.27 1.14 0.95 2/112 17652 /proc/meminfo: memFree=1015952/2097152 swapFree=2055676/2097144 [pid=17641] ppid=17640 vsize=4712 CPUtime=16.6 /proc/17641/stat : 17641 (aspcud-trendy-1) S 17640 17641 13759 34823 13904 4202496 1316 56153 0 0 0 0 1490 170 18 0 1 0 415188290 4825088 842 1283457024 134512640 135539072 4292244944 18446744073709551615 4159583150 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/17641/statm: 1178 842 402 251 0 436 0 [pid=17647] ppid=17641 vsize=0 CPUtime=19.27 /proc/17647/stat : 17647 (bingo) Z 17641 17641 13759 34823 13904 4203532 267813 0 0 0 1810 117 0 0 23 0 1 0 415189964 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 1 0 0 0 /proc/17647/statm: 0 0 0 0 0 0 0 [pid=17648] ppid=17641 vsize=0 CPUtime=2.48 /proc/17648/stat : 17648 (clasp) Z 17641 17641 13759 34823 13904 4203532 86594 0 0 0 224 24 0 0 18 0 1 0 415189966 0 0 1283457024 0 0 0 0 0 0 0 16781312 16386 18446744071564254338 0 0 17 1 0 0 0 /proc/17648/statm: 0 0 0 0 0 0 0 [pid=17652] ppid=17641 vsize=300 CPUtime=0 /proc/17652/stat : 17652 (kill) R 17641 17641 13759 34823 13904 4194304 238 0 1 0 0 0 0 0 18 0 1 0 415191905 307200 32 1283457024 134512640 134524144 4289506288 18446744073709551615 4160359359 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/17652/statm: 75 32 25 3 0 6 0 Current children cumulated CPU time (s) 38.35 Current children cumulated vsize (KiB) 5012 Child status: 0 Real time (s): 36.3504 CPU time (s): 38.4024 CPU user time (s): 35.2782 CPU system time (s): 3.1242 CPU usage (%): 105.645 Max. virtual memory (cumulated for all children) (KiB): 1154208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 35.2782 system time used= 3.12419 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 413661 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12522 involuntary context switches= 1920 runsolver used 0 second user time and 0.016001 second system time The end