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/rand394916.cudf.difficult.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/difficult//rand394916.cudf /home/misc2010/tmp/201007051419/aspcud-paranoid-1.0/rand394916.cudf.difficult.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.15 1.06 1.01 2/94 9547 /proc/meminfo: memFree=1244140/2097152 swapFree=2055676/2097144 [pid=9547] ppid=9546 vsize=3296 CPUtime=0 /proc/9547/stat : 9547 (python) R 9546 9547 13759 34823 13904 4202496 567 0 0 0 0 0 0 0 17 0 1 0 416249851 3375104 363 1283457024 134512640 135539072 4288170496 18446744073709551615 4158752749 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/9547/statm: 825 366 257 251 0 126 0 [startup+0.14142 s] /proc/loadavg: 1.15 1.06 1.01 2/94 9547 /proc/meminfo: memFree=1244140/2097152 swapFree=2055676/2097144 [pid=9547] ppid=9546 vsize=4688 CPUtime=0.02 /proc/9547/stat : 9547 (python) S 9546 9547 13759 34823 13904 4202496 1153 0 0 0 2 0 0 0 18 0 1 0 416249851 4800512 832 1283457024 134512640 135539072 4288170496 18446744073709551615 4159833006 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9547/statm: 1172 832 398 251 0 430 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4688 [startup+0.20541 s] /proc/loadavg: 1.15 1.06 1.01 2/94 9547 /proc/meminfo: memFree=1244140/2097152 swapFree=2055676/2097144 [pid=9547] ppid=9546 vsize=4688 CPUtime=0.02 /proc/9547/stat : 9547 (python) S 9546 9547 13759 34823 13904 4202496 1153 0 0 0 2 0 0 0 18 0 1 0 416249851 4800512 832 1283457024 134512640 135539072 4288170496 18446744073709551615 4159833006 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9547/statm: 1172 832 398 251 0 430 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4688 [startup+0.305413 s] /proc/loadavg: 1.15 1.06 1.01 2/94 9547 /proc/meminfo: memFree=1244140/2097152 swapFree=2055676/2097144 [pid=9547] ppid=9546 vsize=4688 CPUtime=0.02 /proc/9547/stat : 9547 (python) S 9546 9547 13759 34823 13904 4202496 1153 0 0 0 2 0 0 0 18 0 1 0 416249851 4800512 832 1283457024 134512640 135539072 4288170496 18446744073709551615 4159833006 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9547/statm: 1172 832 398 251 0 430 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4688 [startup+0.705427 s] /proc/loadavg: 1.15 1.06 1.01 2/94 9547 /proc/meminfo: memFree=1244140/2097152 swapFree=2055676/2097144 [pid=9547] ppid=9546 vsize=4688 CPUtime=0.02 /proc/9547/stat : 9547 (python) S 9546 9547 13759 34823 13904 4202496 1153 0 0 0 2 0 0 0 18 0 1 0 416249851 4800512 832 1283457024 134512640 135539072 4288170496 18446744073709551615 4159833006 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9547/statm: 1172 832 398 251 0 430 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4688 [startup+1.50559 s] /proc/loadavg: 1.15 1.06 1.01 2/96 9549 /proc/meminfo: memFree=1233112/2097152 swapFree=2055676/2097144 [pid=9547] ppid=9546 vsize=4688 CPUtime=0.02 /proc/9547/stat : 9547 (python) S 9546 9547 13759 34823 13904 4202496 1153 0 0 0 2 0 0 0 18 0 1 0 416249851 4800512 832 1283457024 134512640 135539072 4288170496 18446744073709551615 4159833006 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9547/statm: 1172 832 398 251 0 430 0 [pid=9549] ppid=9547 vsize=15152 CPUtime=1.45 /proc/9549/stat : 9549 (cudf2lp) R 9547 9547 13759 34823 13904 4202496 3931 0 0 0 141 4 0 0 19 0 1 0 416249854 15515648 3461 1283457024 134512640 135993029 4293883872 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/9549/statm: 3788 3461 110 362 0 3370 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 19840 [startup+3.10554 s] /proc/loadavg: 1.15 1.06 1.01 2/96 9549 /proc/meminfo: memFree=1223068/2097152 swapFree=2055676/2097144 [pid=9547] ppid=9546 vsize=4688 CPUtime=0.02 /proc/9547/stat : 9547 (python) S 9546 9547 13759 34823 13904 4202496 1153 0 0 0 2 0 0 0 18 0 1 0 416249851 4800512 832 1283457024 134512640 135539072 4288170496 18446744073709551615 4159833006 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9547/statm: 1172 832 398 251 0 430 0 [pid=9549] ppid=9547 vsize=29668 CPUtime=3.05 /proc/9549/stat : 9549 (cudf2lp) R 9547 9547 13759 34823 13904 4202496 7474 0 0 0 300 5 0 0 25 0 1 0 416249854 30380032 7004 1283457024 134512640 135993029 4293883872 18446744073709551615 134537802 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/9549/statm: 7417 7004 110 362 0 6999 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 34356 [startup+6.30569 s] /proc/loadavg: 1.13 1.06 1.01 2/96 9549 /proc/meminfo: memFree=1194300/2097152 swapFree=2055676/2097144 [pid=9547] ppid=9546 vsize=4688 CPUtime=0.02 /proc/9547/stat : 9547 (python) S 9546 9547 13759 34823 13904 4202496 1153 0 0 0 2 0 0 0 18 0 1 0 416249851 4800512 832 1283457024 134512640 135539072 4288170496 18446744073709551615 4159833006 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9547/statm: 1172 832 398 251 0 430 0 [pid=9549] ppid=9547 vsize=75700 CPUtime=6.24 /proc/9549/stat : 9549 (cudf2lp) R 9547 9547 13759 34823 13904 4202496 18873 0 0 0 590 34 0 0 25 0 1 0 416249854 77516800 18403 1283457024 134512640 135993029 4293883872 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/9549/statm: 18925 18403 134 362 0 18507 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 80388 [startup+12.706 s] /proc/loadavg: 1.20 1.07 1.02 2/98 9553 /proc/meminfo: memFree=1002316/2097152 swapFree=2055676/2097144 [pid=9547] ppid=9546 vsize=4688 CPUtime=7.75 /proc/9547/stat : 9547 (python) S 9546 9547 13759 34823 13904 4202496 1241 27712 0 0 2 0 682 91 18 0 1 0 416249851 4800512 834 1283457024 134512640 135539072 4288170496 18446744073709551615 4159833006 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/9547/statm: 1172 834 400 251 0 430 0 [pid=9550] ppid=9547 vsize=2380 CPUtime=0 /proc/9550/stat : 9550 (sh) S 9547 9547 13759 34823 13904 4194304 442 0 0 0 0 0 0 0 19 0 1 0 416250629 2437120 249 1283457024 134512640 135191968 4289469216 18446744073709551615 4159597198 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9550/statm: 595 249 212 166 0 27 0 [pid=9551] ppid=9550 vsize=198120 CPUtime=4.89 /proc/9551/stat : 9551 (bingo) R 9550 9547 13759 34823 13904 4202496 57877 0 0 0 463 26 0 0 20 0 1 0 416250630 202874880 39495 1283457024 134512640 136195415 4294525088 18446744073709551615 134654995 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/9551/statm: 49530 39496 220 411 0 49117 0 [pid=9552] ppid=9550 vsize=111844 CPUtime=0.42 /proc/9552/stat : 9552 (clasp) S 9550 9547 13759 34823 13904 4202496 31461 0 0 0 38 4 0 0 18 0 1 0 416250630 114528256 27295 1283457024 134512640 136080129 4288658160 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/9552/statm: 27961 27295 147 383 0 27576 0 Current children cumulated CPU time (s) 13.06 Current children cumulated vsize (KiB) 317032 Solver just ended. Dumping a history of the last processes samples [startup+12.806 s] /proc/loadavg: 1.20 1.07 1.02 2/98 9553 /proc/meminfo: memFree=1002316/2097152 swapFree=2055676/2097144 [pid=9547] ppid=9546 vsize=4688 CPUtime=7.75 /proc/9547/stat : 9547 (python) S 9546 9547 13759 34823 13904 4202496 1241 27712 0 0 2 0 682 91 18 0 1 0 416249851 4800512 834 1283457024 134512640 135539072 4288170496 18446744073709551615 4159833006 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/9547/statm: 1172 834 400 251 0 430 0 [pid=9550] ppid=9547 vsize=2380 CPUtime=0 /proc/9550/stat : 9550 (sh) S 9547 9547 13759 34823 13904 4194304 442 0 0 0 0 0 0 0 19 0 1 0 416250629 2437120 249 1283457024 134512640 135191968 4289469216 18446744073709551615 4159597198 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9550/statm: 595 249 212 166 0 27 0 [pid=9551] ppid=9550 vsize=212956 CPUtime=4.99 /proc/9551/stat : 9551 (bingo) R 9550 9547 13759 34823 13904 4202496 61506 0 0 0 473 26 0 0 20 0 1 0 416250630 218066944 42737 1283457024 134512640 136195415 4294525088 18446744073709551615 134659635 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/9551/statm: 53239 42737 220 411 0 52826 0 [pid=9552] ppid=9550 vsize=111844 CPUtime=0.42 /proc/9552/stat : 9552 (clasp) S 9550 9547 13759 34823 13904 4202496 31474 0 0 0 38 4 0 0 18 0 1 0 416250630 114528256 27308 1283457024 134512640 136080129 4288658160 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/9552/statm: 27961 27308 147 383 0 27576 0 Current children cumulated CPU time (s) 13.16 Current children cumulated vsize (KiB) 331868 [startup+16.0062 s] /proc/loadavg: 1.27 1.09 1.02 2/98 9553 /proc/meminfo: memFree=712304/2097152 swapFree=2055676/2097144 [pid=9547] ppid=9546 vsize=4688 CPUtime=7.75 /proc/9547/stat : 9547 (python) S 9546 9547 13759 34823 13904 4202496 1241 27712 0 0 2 0 682 91 18 0 1 0 416249851 4800512 834 1283457024 134512640 135539072 4288170496 18446744073709551615 4159833006 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/9547/statm: 1172 834 400 251 0 430 0 [pid=9550] ppid=9547 vsize=2380 CPUtime=0 /proc/9550/stat : 9550 (sh) S 9547 9547 13759 34823 13904 4194304 442 0 0 0 0 0 0 0 19 0 1 0 416250629 2437120 249 1283457024 134512640 135191968 4289469216 18446744073709551615 4159597198 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9550/statm: 595 249 212 166 0 27 0 [pid=9551] ppid=9550 vsize=526808 CPUtime=8.18 /proc/9551/stat : 9551 (bingo) R 9550 9547 13759 34823 13904 4202496 141610 0 0 0 760 58 0 0 25 0 1 0 416250630 539451392 112663 1283457024 134512640 136195415 4294525088 18446744073709551615 135588468 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/9551/statm: 131702 112665 220 411 0 131289 0 [pid=9552] ppid=9550 vsize=146304 CPUtime=0.83 /proc/9552/stat : 9552 (clasp) S 9550 9547 13759 34823 13904 4202496 41085 0 0 0 76 7 0 0 18 0 1 0 416250630 149815296 35820 1283457024 134512640 136080129 4288658160 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/9552/statm: 36576 35820 147 383 0 36191 0 Current children cumulated CPU time (s) 16.76 Current children cumulated vsize (KiB) 680180 [startup+19.2065 s] /proc/loadavg: 1.25 1.09 1.02 2/97 9553 /proc/meminfo: memFree=1074152/2097152 swapFree=2055676/2097144 [pid=9547] ppid=9546 vsize=4688 CPUtime=7.75 /proc/9547/stat : 9547 (python) S 9546 9547 13759 34823 13904 4202496 1241 27712 0 0 2 0 682 91 18 0 1 0 416249851 4800512 834 1283457024 134512640 135539072 4288170496 18446744073709551615 4159833006 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/9547/statm: 1172 834 400 251 0 430 0 [pid=9550] ppid=9547 vsize=2380 CPUtime=10.19 /proc/9550/stat : 9550 (sh) S 9547 9547 13759 34823 13904 4194304 442 175523 0 0 0 0 932 87 18 0 1 0 416250629 2437120 249 1283457024 134512640 135191968 4289469216 18446744073709551615 4159597198 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9550/statm: 595 249 212 166 0 27 0 [pid=9552] ppid=9550 vsize=162824 CPUtime=2.02 /proc/9552/stat : 9552 (clasp) R 9550 9547 13759 34823 13904 4202496 48225 0 0 0 192 10 0 0 19 0 1 0 416250630 166731776 39502 1283457024 134512640 136080129 4288658160 18446744073709551615 134912565 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/9552/statm: 40706 39502 161 383 0 40321 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (KiB) 169892 [startup+20.8069 s] /proc/loadavg: 1.25 1.09 1.02 2/97 9553 /proc/meminfo: memFree=1072540/2097152 swapFree=2055676/2097144 [pid=9547] ppid=9546 vsize=4688 CPUtime=7.75 /proc/9547/stat : 9547 (python) S 9546 9547 13759 34823 13904 4202496 1241 27712 0 0 2 0 682 91 18 0 1 0 416249851 4800512 834 1283457024 134512640 135539072 4288170496 18446744073709551615 4159833006 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/9547/statm: 1172 834 400 251 0 430 0 [pid=9550] ppid=9547 vsize=2380 CPUtime=10.19 /proc/9550/stat : 9550 (sh) S 9547 9547 13759 34823 13904 4194304 442 175523 0 0 0 0 932 87 18 0 1 0 416250629 2437120 249 1283457024 134512640 135191968 4289469216 18446744073709551615 4159597198 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9550/statm: 595 249 212 166 0 27 0 [pid=9552] ppid=9550 vsize=209880 CPUtime=3.62 /proc/9552/stat : 9552 (clasp) R 9550 9547 13759 34823 13904 4202496 68402 0 0 0 344 18 0 0 23 0 1 0 416250630 214917120 51266 1283457024 134512640 136080129 4288658160 18446744073709551615 135495236 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/9552/statm: 52470 51266 175 383 0 52085 0 Current children cumulated CPU time (s) 21.56 Current children cumulated vsize (KiB) 216948 [startup+21.207 s] /proc/loadavg: 1.25 1.09 1.02 2/97 9553 /proc/meminfo: memFree=1024800/2097152 swapFree=2055676/2097144 [pid=9547] ppid=9546 vsize=4688 CPUtime=7.75 /proc/9547/stat : 9547 (python) S 9546 9547 13759 34823 13904 4202496 1241 27712 0 0 2 0 682 91 18 0 1 0 416249851 4800512 834 1283457024 134512640 135539072 4288170496 18446744073709551615 4159833006 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/9547/statm: 1172 834 400 251 0 430 0 [pid=9550] ppid=9547 vsize=2380 CPUtime=10.19 /proc/9550/stat : 9550 (sh) S 9547 9547 13759 34823 13904 4194304 442 175523 0 0 0 0 932 87 18 0 1 0 416250629 2437120 249 1283457024 134512640 135191968 4289469216 18446744073709551615 4159597198 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9550/statm: 595 249 212 166 0 27 0 [pid=9552] ppid=9550 vsize=217188 CPUtime=4.02 /proc/9552/stat : 9552 (clasp) R 9550 9547 13759 34823 13904 4202496 76486 0 0 0 381 21 0 0 25 0 1 0 416250630 222400512 53236 1283457024 134512640 136080129 4288658160 18446744073709551615 135495327 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/9552/statm: 54297 53236 181 383 0 53912 0 Current children cumulated CPU time (s) 21.96 Current children cumulated vsize (KiB) 224256 [startup+21.4071 s] /proc/loadavg: 1.25 1.09 1.02 2/97 9553 /proc/meminfo: memFree=1024800/2097152 swapFree=2055676/2097144 [pid=9547] ppid=9546 vsize=4688 CPUtime=7.75 /proc/9547/stat : 9547 (python) S 9546 9547 13759 34823 13904 4202496 1241 27712 0 0 2 0 682 91 18 0 1 0 416249851 4800512 834 1283457024 134512640 135539072 4288170496 18446744073709551615 4159833006 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/9547/statm: 1172 834 400 251 0 430 0 [pid=9550] ppid=9547 vsize=2380 CPUtime=10.19 /proc/9550/stat : 9550 (sh) S 9547 9547 13759 34823 13904 4194304 442 175523 0 0 0 0 932 87 18 0 1 0 416250629 2437120 249 1283457024 134512640 135191968 4289469216 18446744073709551615 4159597198 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9550/statm: 595 249 212 166 0 27 0 [pid=9552] ppid=9550 vsize=200220 CPUtime=4.22 /proc/9552/stat : 9552 (clasp) R 9550 9547 13759 34823 13904 4202496 76486 0 0 0 400 22 0 0 25 0 1 0 416250630 205025280 49064 1283457024 134512640 136080129 4288658160 18446744073709551615 135495346 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/9552/statm: 50055 49064 181 383 0 49670 0 Current children cumulated CPU time (s) 22.16 Current children cumulated vsize (KiB) 207288 [startup+21.5075 s] /proc/loadavg: 1.25 1.09 1.02 2/97 9553 /proc/meminfo: memFree=1024800/2097152 swapFree=2055676/2097144 [pid=9547] ppid=9546 vsize=4688 CPUtime=7.75 /proc/9547/stat : 9547 (python) S 9546 9547 13759 34823 13904 4202496 1241 27712 0 0 2 0 682 91 18 0 1 0 416249851 4800512 834 1283457024 134512640 135539072 4288170496 18446744073709551615 4159833006 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/9547/statm: 1172 834 400 251 0 430 0 [pid=9550] ppid=9547 vsize=2380 CPUtime=10.19 /proc/9550/stat : 9550 (sh) S 9547 9547 13759 34823 13904 4194304 442 175523 0 0 0 0 932 87 18 0 1 0 416250629 2437120 249 1283457024 134512640 135191968 4289469216 18446744073709551615 4159597198 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9550/statm: 595 249 212 166 0 27 0 [pid=9552] ppid=9550 vsize=146228 CPUtime=4.32 /proc/9552/stat : 9552 (clasp) R 9550 9547 13759 34823 13904 4202496 76499 0 0 0 407 25 0 0 25 0 1 0 416250630 149737472 30095 1283457024 134512640 136080129 4288658160 18446744073709551615 135703614 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/9552/statm: 36557 30095 194 383 0 36172 0 Current children cumulated CPU time (s) 22.26 Current children cumulated vsize (KiB) 153296 Child status: 0 Real time (s): 21.5732 CPU time (s): 22.3414 CPU user time (s): 20.2653 CPU system time (s): 2.07613 CPU usage (%): 103.561 Max. virtual memory (cumulated for all children) (KiB): 817152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20.2653 system time used= 2.07613 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 282787 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= 5434 involuntary context switches= 269 runsolver used 0.008 second user time and 0.008 second system time The end