0.68/0.79 c bpsolver version 6.29.2009
0.68/0.79 c converting(HOME/instance-2063253-1247331289)
12.44/12.53 c Converted in 3583 ms
16.02/16.18 c solving(HOME/instance-2063253-1247331289,1800000)
16.02/16.18 c solving(HOME/instance-2063253-1247331289,1800000)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2063253-1247331289/watcher-2063253-1247331289 -o /tmp/evaluation-result-2063253-1247331289/solver-2063253-1247331289 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2063253-1247331289 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.02 1.02 1.08 4/81 16292
/proc/meminfo: memFree=1737224/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=18576 CPUtime=0
/proc/16292/stat : 16292 (runsolver) R 16290 16292 12183 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 20192863 19021824 284 996147200 4194304 4302564 548682068528 18446744073709551615 221954764071 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16292/statm: 4644 284 249 26 0 2626 0
[startup+0.208792 s]
/proc/loadavg: 1.02 1.02 1.08 4/81 16292
/proc/meminfo: memFree=1737224/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=62208 CPUtime=0.2
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 1116 0 0 0 6 14 0 0 19 0 1 0 20192863 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/16292/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 62208
[startup+0.301795 s]
/proc/loadavg: 1.02 1.02 1.08 4/81 16292
/proc/meminfo: memFree=1737224/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=62208 CPUtime=0.29
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 1116 0 0 0 9 20 0 0 19 0 1 0 20192863 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/16292/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62208
[startup+0.401803 s]
/proc/loadavg: 1.02 1.02 1.08 4/81 16292
/proc/meminfo: memFree=1737224/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=62208 CPUtime=0.39
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 1116 0 0 0 12 27 0 0 20 0 1 0 20192863 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/16292/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 62208
[startup+0.701832 s]
/proc/loadavg: 1.02 1.02 1.08 4/81 16292
/proc/meminfo: memFree=1737224/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=62208 CPUtime=0.68
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 1116 0 0 0 19 49 0 0 23 0 1 0 20192863 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/16292/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 62208
[startup+1.5019 s]
/proc/loadavg: 1.10 1.04 1.08 3/82 16293
/proc/meminfo: memFree=1733888/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=62208 CPUtime=1.47
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 1116 0 0 0 39 108 0 0 25 0 1 0 20192863 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/16292/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 62208
[startup+3.10105 s]
/proc/loadavg: 1.10 1.04 1.08 3/82 16293
/proc/meminfo: memFree=1733504/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=62208 CPUtime=3.07
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 1116 0 0 0 82 225 0 0 25 0 1 0 20192863 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/16292/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 62208
[startup+6.30134 s]
/proc/loadavg: 1.10 1.04 1.08 3/82 16293
/proc/meminfo: memFree=1732416/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=62208 CPUtime=6.26
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 1117 0 0 0 176 450 0 0 25 0 1 0 20192863 63700992 830 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/16292/statm: 15552 830 176 144 0 15036 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 62208
[startup+12.7019 s]
/proc/loadavg: 1.24 1.07 1.09 3/82 16293
/proc/meminfo: memFree=1730176/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=70020 CPUtime=12.64
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 3969 0 0 0 375 889 0 0 25 0 1 0 20192863 71700480 3680 996147200 134512640 135105188 4294956096 18446744073709551615 134557074 0 0 4096 2 0 0 0 17 0 0 0
/proc/16292/statm: 17505 3680 180 144 0 16989 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 70020
[startup+25.5061 s]
/proc/loadavg: 1.35 1.10 1.10 3/83 16294
/proc/meminfo: memFree=1625528/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=181576 CPUtime=25.39
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 44944 0 0 0 1634 905 0 0 25 0 2 0 20192863 185933824 26931 996147200 134512640 135105188 4294956096 18446744073709551615 134718165 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/16292/statm: 45394 26931 199 144 0 44878 0
[pid=16292/tid=16294] ppid=16290 vsize=181576 CPUtime=0
/proc/16292/task/16294/stat : 16294 (bprolog) S 16290 16292 12183 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20194495 185933824 26931 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 181576
[startup+51.1014 s]
/proc/loadavg: 1.57 1.17 1.13 3/83 16294
/proc/meminfo: memFree=1625528/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=181576 CPUtime=50.88
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 44946 0 0 0 4183 905 0 0 25 0 2 0 20192863 185933824 26933 996147200 134512640 135105188 4294956096 18446744073709551615 134748544 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/16292/statm: 45394 26933 199 144 0 44878 0
[pid=16292/tid=16294] ppid=16290 vsize=181576 CPUtime=0
/proc/16292/task/16294/stat : 16294 (bprolog) S 16290 16292 12183 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20194495 185933824 26933 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 181576
[startup+102.302 s]
/proc/loadavg: 1.87 1.32 1.18 3/83 16294
/proc/meminfo: memFree=1625528/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=181576 CPUtime=101.87
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 44946 0 0 0 9282 905 0 0 25 0 2 0 20192863 185933824 26933 996147200 134512640 135105188 4294956096 18446744073709551615 134749283 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/16292/statm: 45394 26933 199 144 0 44878 0
[pid=16292/tid=16294] ppid=16290 vsize=181576 CPUtime=0
/proc/16292/task/16294/stat : 16294 (bprolog) S 16290 16292 12183 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20194495 185933824 26933 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 181576
[startup+162.301 s]
/proc/loadavg: 1.95 1.44 1.23 3/83 16294
/proc/meminfo: memFree=1625528/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=181576 CPUtime=161.63
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 44946 0 0 0 15258 905 0 0 25 0 2 0 20192863 185933824 26933 996147200 134512640 135105188 4294956096 18446744073709551615 134748671 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/16292/statm: 45394 26933 199 144 0 44878 0
[pid=16292/tid=16294] ppid=16290 vsize=181576 CPUtime=0
/proc/16292/task/16294/stat : 16294 (bprolog) S 16290 16292 12183 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20194495 185933824 26933 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.63
Current children cumulated vsize (KiB) 181576
[startup+222.302 s]
/proc/loadavg: 1.98 1.54 1.27 3/83 16294
/proc/meminfo: memFree=1625464/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=181576 CPUtime=221.39
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 44946 0 0 0 21234 905 0 0 25 0 2 0 20192863 185933824 26933 996147200 134512640 135105188 4294956096 18446744073709551615 134748497 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/16292/statm: 45394 26933 199 144 0 44878 0
[pid=16292/tid=16294] ppid=16290 vsize=181576 CPUtime=0
/proc/16292/task/16294/stat : 16294 (bprolog) S 16290 16292 12183 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20194495 185933824 26933 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.39
Current children cumulated vsize (KiB) 181576
[startup+282.301 s]
/proc/loadavg: 1.99 1.62 1.31 3/83 16294
/proc/meminfo: memFree=1625464/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=181576 CPUtime=281.15
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 44946 0 0 0 27210 905 0 0 25 0 2 0 20192863 185933824 26933 996147200 134512640 135105188 4294956096 18446744073709551615 134748658 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/16292/statm: 45394 26933 199 144 0 44878 0
[pid=16292/tid=16294] ppid=16290 vsize=181576 CPUtime=0
/proc/16292/task/16294/stat : 16294 (bprolog) S 16290 16292 12183 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20194495 185933824 26933 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.15
Current children cumulated vsize (KiB) 181576
[startup+342.307 s]
/proc/loadavg: 1.99 1.69 1.36 3/83 16294
/proc/meminfo: memFree=1625400/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=181576 CPUtime=340.91
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 44946 0 0 0 33186 905 0 0 25 0 2 0 20192863 185933824 26933 996147200 134512640 135105188 4294956096 18446744073709551615 134718143 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/16292/statm: 45394 26933 199 144 0 44878 0
[pid=16292/tid=16294] ppid=16290 vsize=181576 CPUtime=0
/proc/16292/task/16294/stat : 16294 (bprolog) S 16290 16292 12183 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20194495 185933824 26933 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 340.91
Current children cumulated vsize (KiB) 181576
[startup+402.302 s]
/proc/loadavg: 1.99 1.74 1.39 3/83 16300
/proc/meminfo: memFree=1625392/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=181576 CPUtime=400.66
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 44946 0 0 0 39161 905 0 0 25 0 2 0 20192863 185933824 26933 996147200 134512640 135105188 4294956096 18446744073709551615 134748506 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/16292/statm: 45394 26933 199 144 0 44878 0
[pid=16292/tid=16294] ppid=16290 vsize=181576 CPUtime=0
/proc/16292/task/16294/stat : 16294 (bprolog) S 16290 16292 12183 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20194495 185933824 26933 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 400.66
Current children cumulated vsize (KiB) 181576
[startup+462.301 s]
/proc/loadavg: 2.06 1.80 1.43 3/83 16300
/proc/meminfo: memFree=1625264/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=181576 CPUtime=460.41
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 44946 0 0 0 45136 905 0 0 25 0 2 0 20192863 185933824 26933 996147200 134512640 135105188 4294956096 18446744073709551615 134748679 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/16292/statm: 45394 26933 199 144 0 44878 0
[pid=16292/tid=16294] ppid=16290 vsize=181576 CPUtime=0
/proc/16292/task/16294/stat : 16294 (bprolog) S 16290 16292 12183 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20194495 185933824 26933 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 460.41
Current children cumulated vsize (KiB) 181576
[startup+522.302 s]
/proc/loadavg: 2.02 1.83 1.47 3/83 16300
/proc/meminfo: memFree=1625264/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=181576 CPUtime=520.18
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 44946 0 0 0 51113 905 0 0 25 0 2 0 20192863 185933824 26933 996147200 134512640 135105188 4294956096 18446744073709551615 134748679 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/16292/statm: 45394 26933 199 144 0 44878 0
[pid=16292/tid=16294] ppid=16290 vsize=181576 CPUtime=0
/proc/16292/task/16294/stat : 16294 (bprolog) S 16290 16292 12183 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20194495 185933824 26933 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 520.18
Current children cumulated vsize (KiB) 181576
################
# More data... #
################
Current children cumulated vsize (KiB) 191820
[startup+1362.3 s]
/proc/loadavg: 2.59 2.50 2.00 4/85 16424
/proc/meminfo: memFree=1414336/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=191820 CPUtime=1356.59
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 44947 0 0 0 134656 1003 0 0 25 0 3 0 20192863 196423680 26934 996147200 134512640 135105188 4294956096 18446744073709551615 134718165 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/16292/statm: 47955 26934 199 144 0 47439 0
[pid=16292/tid=16294] ppid=16290 vsize=191820 CPUtime=0
/proc/16292/task/16294/stat : 16294 (bprolog) S 16290 16292 12183 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 20194495 196423680 26934 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=16292/tid=16301] ppid=16290 vsize=191820 CPUtime=0
/proc/16292/task/16301/stat : 16301 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 20284509 196423680 26934 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1356.59
Current children cumulated vsize (KiB) 191820
[startup+1422.3 s]
/proc/loadavg: 2.53 2.50 2.03 3/86 16426
/proc/meminfo: memFree=1432752/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=202064 CPUtime=1416.3
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 44948 0 0 0 140627 1003 0 0 25 0 4 0 20192863 206913536 26935 996147200 134512640 135105188 4294956096 18446744073709551615 134748443 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/16292/statm: 50516 26935 199 144 0 50000 0
[pid=16292/tid=16294] ppid=16290 vsize=202064 CPUtime=0
/proc/16292/task/16294/stat : 16294 (bprolog) S 16290 16292 12183 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 20194495 206913536 26935 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=16292/tid=16301] ppid=16290 vsize=202064 CPUtime=0
/proc/16292/task/16301/stat : 16301 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 20284509 206913536 26935 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=16292/tid=16425] ppid=16290 vsize=202064 CPUtime=0
/proc/16292/task/16425/stat : 16425 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 20329519 206913536 26935 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1416.3
Current children cumulated vsize (KiB) 202064
[startup+1482.3 s]
/proc/loadavg: 2.36 2.45 2.04 3/86 16426
/proc/meminfo: memFree=1432688/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=202064 CPUtime=1476.01
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 44948 0 0 0 146598 1003 0 0 25 0 4 0 20192863 206913536 26935 996147200 134512640 135105188 4294956096 18446744073709551615 134718165 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/16292/statm: 50516 26935 199 144 0 50000 0
[pid=16292/tid=16294] ppid=16290 vsize=202064 CPUtime=0
/proc/16292/task/16294/stat : 16294 (bprolog) S 16290 16292 12183 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 20194495 206913536 26935 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=16292/tid=16301] ppid=16290 vsize=202064 CPUtime=0
/proc/16292/task/16301/stat : 16301 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 20284509 206913536 26935 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=16292/tid=16425] ppid=16290 vsize=202064 CPUtime=0
/proc/16292/task/16425/stat : 16425 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 20329519 206913536 26935 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.01
Current children cumulated vsize (KiB) 202064
[startup+1542.3 s]
/proc/loadavg: 2.13 2.37 2.03 3/86 16426
/proc/meminfo: memFree=1432688/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=202064 CPUtime=1535.73
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 44948 0 0 0 152570 1003 0 0 25 0 4 0 20192863 206913536 26935 996147200 134512640 135105188 4294956096 18446744073709551615 134748679 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/16292/statm: 50516 26935 199 144 0 50000 0
[pid=16292/tid=16294] ppid=16290 vsize=202064 CPUtime=0
/proc/16292/task/16294/stat : 16294 (bprolog) S 16290 16292 12183 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 20194495 206913536 26935 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=16292/tid=16301] ppid=16290 vsize=202064 CPUtime=0
/proc/16292/task/16301/stat : 16301 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 20284509 206913536 26935 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=16292/tid=16425] ppid=16290 vsize=202064 CPUtime=0
/proc/16292/task/16425/stat : 16425 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 20329519 206913536 26935 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.73
Current children cumulated vsize (KiB) 202064
[startup+1602.3 s]
/proc/loadavg: 2.12 2.31 2.03 3/87 16427
/proc/meminfo: memFree=1432616/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=212308 CPUtime=1595.44
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 44951 0 0 0 158541 1003 0 0 25 0 5 0 20192863 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 134718105 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/16292/statm: 53077 26938 199 144 0 52561 0
[pid=16292/tid=16294] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16294/stat : 16294 (bprolog) S 16290 16292 12183 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20194495 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=16292/tid=16301] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16301/stat : 16301 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20284509 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=16292/tid=16425] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16425/stat : 16425 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20329519 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=16292/tid=16427] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16427/stat : 16427 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 20352027 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.44
Current children cumulated vsize (KiB) 212308
[startup+1662.31 s]
/proc/loadavg: 2.04 2.25 2.02 3/87 16427
/proc/meminfo: memFree=1432552/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=212308 CPUtime=1655.15
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 44951 0 0 0 164512 1003 0 0 25 0 5 0 20192863 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 134718128 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/16292/statm: 53077 26938 199 144 0 52561 0
[pid=16292/tid=16294] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16294/stat : 16294 (bprolog) S 16290 16292 12183 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20194495 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=16292/tid=16301] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16301/stat : 16301 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20284509 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=16292/tid=16425] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16425/stat : 16425 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20329519 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=16292/tid=16427] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16427/stat : 16427 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 20352027 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.15
Current children cumulated vsize (KiB) 212308
[startup+1722.3 s]
/proc/loadavg: 2.01 2.20 2.02 3/87 16427
/proc/meminfo: memFree=1432552/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=212308 CPUtime=1714.86
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 44951 0 0 0 170483 1003 0 0 25 0 5 0 20192863 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 134718096 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/16292/statm: 53077 26938 199 144 0 52561 0
[pid=16292/tid=16294] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16294/stat : 16294 (bprolog) S 16290 16292 12183 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20194495 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=16292/tid=16301] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16301/stat : 16301 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20284509 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=16292/tid=16425] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16425/stat : 16425 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20329519 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=16292/tid=16427] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16427/stat : 16427 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20352027 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.86
Current children cumulated vsize (KiB) 212308
[startup+1782.3 s]
/proc/loadavg: 2.00 2.17 2.01 3/87 16427
/proc/meminfo: memFree=1432360/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=212308 CPUtime=1774.57
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 44951 0 0 0 176454 1003 0 0 25 0 5 0 20192863 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 134748650 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/16292/statm: 53077 26938 199 144 0 52561 0
[pid=16292/tid=16294] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16294/stat : 16294 (bprolog) S 16290 16292 12183 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20194495 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=16292/tid=16301] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16301/stat : 16301 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20284509 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=16292/tid=16425] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16425/stat : 16425 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20329519 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=16292/tid=16427] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16427/stat : 16427 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20352027 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.57
Current children cumulated vsize (KiB) 212308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.9 s]
/proc/loadavg: 2.00 2.15 2.01 3/87 16427
/proc/meminfo: memFree=1432360/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=212308 CPUtime=1800.05
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 44951 0 0 0 179002 1003 0 0 25 0 5 0 20192863 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 134718099 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/16292/statm: 53077 26938 199 144 0 52561 0
[pid=16292/tid=16294] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16294/stat : 16294 (bprolog) S 16290 16292 12183 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20194495 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=16292/tid=16301] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16301/stat : 16301 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20284509 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=16292/tid=16425] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16425/stat : 16425 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20329519 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=16292/tid=16427] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16427/stat : 16427 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20352027 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 212308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1807.9 s]
/proc/loadavg: 2.00 2.15 2.01 3/87 16427
/proc/meminfo: memFree=1432360/2055920 swapFree=4192812/4192956
[pid=16292] ppid=16290 vsize=212308 CPUtime=1800.05
/proc/16292/stat : 16292 (bprolog) R 16290 16292 12183 0 -1 4194304 44951 0 0 0 179002 1003 0 0 25 0 5 0 20192863 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 134718099 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/16292/statm: 53077 26938 199 144 0 52561 0
[pid=16292/tid=16294] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16294/stat : 16294 (bprolog) S 16290 16292 12183 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20194495 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=16292/tid=16301] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16301/stat : 16301 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20284509 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=16292/tid=16425] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16425/stat : 16425 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20329519 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=16292/tid=16427] ppid=16290 vsize=212308 CPUtime=0
/proc/16292/task/16427/stat : 16427 (bprolog) S 16290 16292 12183 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20352027 217403392 26938 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 212308
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.93
CPU time (s): 1800.09
CPU user time (s): 1790.03
CPU system time (s): 10.0535
CPU usage (%): 99.5661
Max. virtual memory (cumulated for all children) (KiB): 212308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.03
system time used= 10.0535
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44951
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= 10
involuntary context switches= 28755
runsolver used 1.87172 second user time and 5.42018 second system time
The end
Begin job on node43 at 2009-07-11 18:54:50
IDJOB=2063253
IDBENCH=53990
IDSOLVER=770
FILE ID=node43/2063253-1247331289
PBS_JOBID= 9506541
Free space on /tmp= 66184 MiB
SOLVER NAME= bpsolver 09
BENCH NAME= CPAI08/csp/rand-3-24-24/normalized-rand-3-24-24-76-632-33_ext.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2063253-1247331289/watcher-2063253-1247331289 -o /tmp/evaluation-result-2063253-1247331289/solver-2063253-1247331289 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2063253-1247331289 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 38434596d43f0104d081ed7024cf6a1a
RANDOM SEED=1796416036
node43.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1737704 kB
Buffers: 32136 kB
Cached: 180768 kB
SwapCached: 140 kB
Active: 115604 kB
Inactive: 150348 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1737704 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4284 kB
Writeback: 0 kB
Mapped: 73260 kB
Slab: 37516 kB
Committed_AS: 223260 kB
PageTables: 1976 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66180 MiB
End job on node43 at 2009-07-11 19:25:00