0.00/0.02 c bpsolver version 6.29.2009
0.00/0.02 c converting(HOME/instance-2082657-1247375438)
0.09/0.17 c Converted in 54 ms
0.09/0.19 c solving(HOME/instance-2082657-1247375438,1800000)
0.09/0.19 c solving(HOME/instance-2082657-1247375438,1800000)
1348.75/1350.58 c (ff_backward)
1348.75/1350.58 s SATISFIABLE
1348.75/1350.58 v 53 52 77 78 119 120 134 133 164 165 50 51 73 74 134 133 149 150 173 172 64 63 73 74 109 108 119 120 149 148 0 1 15 6 27 28 43 42 51 50 35 34 40 41 95 96 109 108 132 133 0 1 11 10 43 42 58 59 83 82 7 6 20 21 83 82 95 96 122 121 20 21 31 30 59 58 69 68 100 99 31 30 41 40 67 68 83 82 111 112 0 1 11 10 16 15 27 28 66 35
1348.75/1350.58
1348.75/1350.58 c Time=1348640 ms Backtracks=5014328
1348.75/1350.58
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2082657-1247375438/watcher-2082657-1247375438 -o /tmp/evaluation-result-2082657-1247375438/solver-2082657-1247375438 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2082657-1247375438 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: 2.00 2.00 2.00 4/74 25995
/proc/meminfo: memFree=1716992/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=18576 CPUtime=0
/proc/25995/stat : 25995 (runsolver) R 25993 25995 24630 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 24609792 19021824 284 996147200 4194304 4302564 548682068528 18446744073709551615 210824129831 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25995/statm: 4644 284 249 26 0 2626 0
[startup+0.080551 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 25995
/proc/meminfo: memFree=1716992/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=62208 CPUtime=0.06
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1109 0 0 0 4 2 0 0 20 0 1 0 24609792 63700992 822 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/25995/statm: 15552 822 177 144 0 15036 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 62208
[startup+0.101554 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 25995
/proc/meminfo: memFree=1716992/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=62208 CPUtime=0.09
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1109 0 0 0 5 4 0 0 20 0 1 0 24609792 63700992 822 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/25995/statm: 15552 822 177 144 0 15036 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 62208
[startup+0.301578 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 25995
/proc/meminfo: memFree=1716992/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=72444 CPUtime=0.28
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1709 0 0 0 19 9 0 0 22 0 2 0 24609792 74182656 1419 996147200 134512640 135105188 4294956096 18446744073709551615 134729555 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25995/statm: 18111 1419 199 144 0 17595 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 72444
[startup+0.701623 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 25995
/proc/meminfo: memFree=1716992/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=72444 CPUtime=0.68
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1712 0 0 0 59 9 0 0 25 0 2 0 24609792 74182656 1422 996147200 134512640 135105188 4294956096 18446744073709551615 134630295 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25995/statm: 18111 1422 200 144 0 17595 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 72444
[startup+1.50172 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 25997
/proc/meminfo: memFree=1711920/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=72444 CPUtime=1.47
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1712 0 0 0 138 9 0 0 25 0 2 0 24609792 74182656 1422 996147200 134512640 135105188 4294956096 18446744073709551615 134630264 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25995/statm: 18111 1422 200 144 0 17595 0
[pid=25995/tid=25997] ppid=25993 vsize=72444 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 24609815 74182656 1422 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 72444
[startup+3.10191 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 25997
/proc/meminfo: memFree=1711792/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=72444 CPUtime=3.06
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1712 0 0 0 297 9 0 0 25 0 2 0 24609792 74182656 1422 996147200 134512640 135105188 4294956096 18446744073709551615 134730038 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25995/statm: 18111 1422 200 144 0 17595 0
[pid=25995/tid=25997] ppid=25993 vsize=72444 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 24609815 74182656 1422 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 72444
[startup+6.30129 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 25997
/proc/meminfo: memFree=1711728/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=72444 CPUtime=6.24
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1712 0 0 0 614 10 0 0 25 0 2 0 24609792 74182656 1422 996147200 134512640 135105188 4294956096 18446744073709551615 134733859 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25995/statm: 18111 1422 200 144 0 17595 0
[pid=25995/tid=25997] ppid=25993 vsize=72444 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 24609815 74182656 1422 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 72444
[startup+12.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 25997
/proc/meminfo: memFree=1711600/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=72444 CPUtime=12.6
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1712 0 0 0 1250 10 0 0 25 0 2 0 24609792 74182656 1422 996147200 134512640 135105188 4294956096 18446744073709551615 134732956 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25995/statm: 18111 1422 200 144 0 17595 0
[pid=25995/tid=25997] ppid=25993 vsize=72444 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 24609815 74182656 1422 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 72444
[startup+25.5016 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 25997
/proc/meminfo: memFree=1711728/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=72444 CPUtime=25.3
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1712 0 0 0 2520 10 0 0 25 0 2 0 24609792 74182656 1422 996147200 134512640 135105188 4294956096 18446744073709551615 134731650 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25995/statm: 18111 1422 200 144 0 17595 0
[pid=25995/tid=25997] ppid=25993 vsize=72444 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 24609815 74182656 1422 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 72444
[startup+51.1016 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 25997
/proc/meminfo: memFree=1711792/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=72444 CPUtime=50.7
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1713 0 0 0 5060 10 0 0 25 0 2 0 24609792 74182656 1423 996147200 134512640 135105188 4294956096 18446744073709551615 135028188 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25995/statm: 18111 1423 200 144 0 17595 0
[pid=25995/tid=25997] ppid=25993 vsize=72444 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 24609815 74182656 1423 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 72444
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 25997
/proc/meminfo: memFree=1711600/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=72444 CPUtime=101.52
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1713 0 0 0 10142 10 0 0 25 0 2 0 24609792 74182656 1423 996147200 134512640 135105188 4294956096 18446744073709551615 134730744 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25995/statm: 18111 1423 200 144 0 17595 0
[pid=25995/tid=25997] ppid=25993 vsize=72444 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 24609815 74182656 1423 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 72444
[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 25997
/proc/meminfo: memFree=1711472/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=72444 CPUtime=161.06
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1713 0 0 0 16096 10 0 0 25 0 2 0 24609792 74182656 1423 996147200 134512640 135105188 4294956096 18446744073709551615 134727656 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/25995/statm: 18111 1423 200 144 0 17595 0
[pid=25995/tid=25997] ppid=25993 vsize=72444 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 24609815 74182656 1423 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.06
Current children cumulated vsize (KiB) 72444
[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 26039
/proc/meminfo: memFree=1673768/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=72444 CPUtime=220.97
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1713 0 0 0 22086 11 0 0 25 0 2 0 24609792 74182656 1423 996147200 134512640 135105188 4294956096 18446744073709551615 134729585 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25995/statm: 18111 1423 200 144 0 17595 0
[pid=25995/tid=25997] ppid=25993 vsize=72444 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 24609815 74182656 1423 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.97
Current children cumulated vsize (KiB) 72444
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 26039
/proc/meminfo: memFree=1649512/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=72444 CPUtime=280.95
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1713 0 0 0 28084 11 0 0 25 0 2 0 24609792 74182656 1423 996147200 134512640 135105188 4294956096 18446744073709551615 134731137 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25995/statm: 18111 1423 200 144 0 17595 0
[pid=25995/tid=25997] ppid=25993 vsize=72444 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 24609815 74182656 1423 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.95
Current children cumulated vsize (KiB) 72444
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 26039
/proc/meminfo: memFree=1643624/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=72444 CPUtime=340.93
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1713 0 0 0 34082 11 0 0 25 0 2 0 24609792 74182656 1423 996147200 134512640 135105188 4294956096 18446744073709551615 134731744 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25995/statm: 18111 1423 200 144 0 17595 0
[pid=25995/tid=25997] ppid=25993 vsize=72444 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 24609815 74182656 1423 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.93
Current children cumulated vsize (KiB) 72444
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 26039
/proc/meminfo: memFree=1643112/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=72444 CPUtime=400.9
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1713 0 0 0 40079 11 0 0 25 0 2 0 24609792 74182656 1423 996147200 134512640 135105188 4294956096 18446744073709551615 134630187 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25995/statm: 18111 1423 200 144 0 17595 0
[pid=25995/tid=25997] ppid=25993 vsize=72444 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 24609815 74182656 1423 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.9
Current children cumulated vsize (KiB) 72444
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 26039
/proc/meminfo: memFree=1643112/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=72444 CPUtime=460.88
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1713 0 0 0 46077 11 0 0 25 0 2 0 24609792 74182656 1423 996147200 134512640 135105188 4294956096 18446744073709551615 134731942 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25995/statm: 18111 1423 200 144 0 17595 0
[pid=25995/tid=25997] ppid=25993 vsize=72444 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 22 0 2 0 24609815 74182656 1423 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.88
Current children cumulated vsize (KiB) 72444
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 26039
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 26040
/proc/meminfo: memFree=1642400/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=82688 CPUtime=1060.66
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1714 0 0 0 106054 12 0 0 25 0 3 0 24609792 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 134849175 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25995/statm: 20672 1424 200 144 0 20156 0
[pid=25995/tid=25997] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24609815 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25995/tid=26040] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/26040/stat : 26040 (bprolog) S 25993 25995 24630 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24699834 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1060.66
Current children cumulated vsize (KiB) 82688
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 26040
/proc/meminfo: memFree=1642272/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=82688 CPUtime=1120.63
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1714 0 0 0 112051 12 0 0 25 0 3 0 24609792 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 134734091 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25995/statm: 20672 1424 200 144 0 20156 0
[pid=25995/tid=25997] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24609815 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25995/tid=26040] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/26040/stat : 26040 (bprolog) S 25993 25995 24630 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24699834 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1120.63
Current children cumulated vsize (KiB) 82688
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 26040
/proc/meminfo: memFree=1642272/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=82688 CPUtime=1180.61
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1714 0 0 0 118049 12 0 0 25 0 3 0 24609792 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 134731023 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25995/statm: 20672 1424 200 144 0 20156 0
[pid=25995/tid=25997] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24609815 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25995/tid=26040] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/26040/stat : 26040 (bprolog) S 25993 25995 24630 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24699834 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1180.61
Current children cumulated vsize (KiB) 82688
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 26040
/proc/meminfo: memFree=1642272/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=82688 CPUtime=1240.59
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1714 0 0 0 124047 12 0 0 25 0 3 0 24609792 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 134727157 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25995/statm: 20672 1424 200 144 0 20156 0
[pid=25995/tid=25997] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24609815 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25995/tid=26040] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/26040/stat : 26040 (bprolog) S 25993 25995 24630 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24699834 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1240.59
Current children cumulated vsize (KiB) 82688
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 26040
/proc/meminfo: memFree=1642272/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=82688 CPUtime=1300.57
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1714 0 0 0 130045 12 0 0 25 0 3 0 24609792 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 134731799 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25995/statm: 20672 1424 200 144 0 20156 0
[pid=25995/tid=25997] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24609815 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25995/tid=26040] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/26040/stat : 26040 (bprolog) S 25993 25995 24630 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24699834 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1300.57
Current children cumulated vsize (KiB) 82688
Solver just ended. Dumping a history of the last processes samples
[startup+1305.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 26040
/proc/meminfo: memFree=1642272/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=82688 CPUtime=1303.76
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1714 0 0 0 130364 12 0 0 25 0 3 0 24609792 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 134733198 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25995/statm: 20672 1424 200 144 0 20156 0
[pid=25995/tid=25997] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24609815 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25995/tid=26040] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/26040/stat : 26040 (bprolog) S 25993 25995 24630 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24699834 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1303.76
Current children cumulated vsize (KiB) 82688
[startup+1331.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 26040
/proc/meminfo: memFree=1642208/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=82688 CPUtime=1329.35
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1714 0 0 0 132923 12 0 0 25 0 3 0 24609792 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 134727405 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25995/statm: 20672 1424 200 144 0 20156 0
[pid=25995/tid=25997] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24609815 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25995/tid=26040] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/26040/stat : 26040 (bprolog) S 25993 25995 24630 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24699834 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1329.35
Current children cumulated vsize (KiB) 82688
[startup+1343.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 26040
/proc/meminfo: memFree=1642208/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=82688 CPUtime=1342.15
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1714 0 0 0 134203 12 0 0 25 0 3 0 24609792 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 134727820 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25995/statm: 20672 1424 200 144 0 20156 0
[pid=25995/tid=25997] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24609815 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25995/tid=26040] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/26040/stat : 26040 (bprolog) S 25993 25995 24630 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24699834 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1342.15
Current children cumulated vsize (KiB) 82688
[startup+1347.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 26040
/proc/meminfo: memFree=1642208/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=82688 CPUtime=1345.35
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1714 0 0 0 134523 12 0 0 25 0 3 0 24609792 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 134727354 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25995/statm: 20672 1424 200 144 0 20156 0
[pid=25995/tid=25997] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24609815 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25995/tid=26040] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/26040/stat : 26040 (bprolog) S 25993 25995 24630 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24699834 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1345.35
Current children cumulated vsize (KiB) 82688
[startup+1348.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 26040
/proc/meminfo: memFree=1642208/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=82688 CPUtime=1346.95
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1714 0 0 0 134683 12 0 0 25 0 3 0 24609792 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 134729248 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25995/statm: 20672 1424 200 144 0 20156 0
[pid=25995/tid=25997] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24609815 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25995/tid=26040] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/26040/stat : 26040 (bprolog) S 25993 25995 24630 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24699834 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1346.95
Current children cumulated vsize (KiB) 82688
[startup+1349.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 26040
/proc/meminfo: memFree=1642208/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=82688 CPUtime=1347.75
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1714 0 0 0 134763 12 0 0 25 0 3 0 24609792 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 134733871 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25995/statm: 20672 1424 200 144 0 20156 0
[pid=25995/tid=25997] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24609815 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25995/tid=26040] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/26040/stat : 26040 (bprolog) S 25993 25995 24630 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24699834 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1347.75
Current children cumulated vsize (KiB) 82688
[startup+1350.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 26040
/proc/meminfo: memFree=1642208/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=82688 CPUtime=1348.55
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1714 0 0 0 134843 12 0 0 25 0 3 0 24609792 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 134731300 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25995/statm: 20672 1424 200 144 0 20156 0
[pid=25995/tid=25997] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24609815 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25995/tid=26040] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/26040/stat : 26040 (bprolog) S 25993 25995 24630 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24699834 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1348.55
Current children cumulated vsize (KiB) 82688
[startup+1350.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 26040
/proc/meminfo: memFree=1642208/2055920 swapFree=4192812/4192956
[pid=25995] ppid=25993 vsize=82688 CPUtime=1348.75
/proc/25995/stat : 25995 (bprolog) R 25993 25995 24630 0 -1 4194304 1714 0 0 0 134863 12 0 0 25 0 3 0 24609792 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 134728456 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/25995/statm: 20672 1424 200 144 0 20156 0
[pid=25995/tid=25997] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/25997/stat : 25997 (bprolog) S 25993 25995 24630 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24609815 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=25995/tid=26040] ppid=25993 vsize=82688 CPUtime=0
/proc/25995/task/26040/stat : 26040 (bprolog) S 25993 25995 24630 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24699834 84672512 1424 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1348.75
Current children cumulated vsize (KiB) 82688
Child status: 0
Real time (s): 1350.59
CPU time (s): 1348.84
CPU user time (s): 1348.71
CPU system time (s): 0.12998
CPU usage (%): 99.8709
Max. virtual memory (cumulated for all children) (KiB): 82688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1348.71
system time used= 0.12998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1719
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= 7
involuntary context switches= 8044
runsolver used 1.88971 second user time and 4.10837 second system time
The end
Begin job on node33 at 2009-07-12 07:10:38
IDJOB=2082657
IDBENCH=57613
IDSOLVER=770
FILE ID=node33/2082657-1247375438
PBS_JOBID= 9507111
Free space on /tmp= 66448 MiB
SOLVER NAME= bpsolver 09
BENCH NAME= CPAI08/csp/super-jobShop/super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-10.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2082657-1247375438/watcher-2082657-1247375438 -o /tmp/evaluation-result-2082657-1247375438/solver-2082657-1247375438 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2082657-1247375438 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 16828d5b306d2e949e22316dd26b1589
RANDOM SEED=1645488330
node33.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.229
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 : 5914.62
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.229
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: 1717472 kB
Buffers: 42720 kB
Cached: 173860 kB
SwapCached: 0 kB
Active: 190364 kB
Inactive: 89876 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1717472 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1724 kB
Writeback: 0 kB
Mapped: 74372 kB
Slab: 43416 kB
Committed_AS: 286572 kB
PageTables: 1844 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= 66448 MiB
End job on node33 at 2009-07-12 07:33:09