0.19/0.22 c bpsolver version 6.29.2009
0.19/0.22 c converting(HOME/instance-2085693-1247382455)
0.29/0.34 c Converted in 142 ms
0.29/0.38 c solving(HOME/instance-2085693-1247382455,1800000)
0.29/0.38 c solving(HOME/instance-2085693-1247382455,1800000)
1355.88/1356.67 c (forward)
1355.88/1356.67 s UNSATISFIABLE
1355.88/1356.67
1355.88/1356.67 c Time=1355590 ms Backtracks=45273612
1355.88/1356.67
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2085693-1247382455/watcher-2085693-1247382455 -o /tmp/evaluation-result-2085693-1247382455/solver-2085693-1247382455 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2085693-1247382455 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.01 2.00 2.00 4/74 26451
/proc/meminfo: memFree=1884304/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=7000 CPUtime=0
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 634 0 0 0 0 0 0 0 18 0 1 0 25309968 7168000 352 996147200 134512640 135105188 4294956096 18446744073709551615 134530912 0 0 4096 0 0 0 0 17 0 0 0
/proc/26451/statm: 1750 360 72 144 0 1234 0
[startup+0.08585 s]
/proc/loadavg: 2.01 2.00 2.00 4/74 26451
/proc/meminfo: memFree=1884304/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=62208 CPUtime=0.08
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1129 0 0 0 4 4 0 0 18 0 1 0 25309968 63700992 842 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/26451/statm: 15552 842 177 144 0 15036 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 62208
[startup+0.102852 s]
/proc/loadavg: 2.01 2.00 2.00 4/74 26451
/proc/meminfo: memFree=1884304/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=62208 CPUtime=0.09
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1130 0 0 0 4 5 0 0 18 0 1 0 25309968 63700992 843 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/26451/statm: 15552 843 177 144 0 15036 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 62208
[startup+0.301876 s]
/proc/loadavg: 2.01 2.00 2.00 4/74 26451
/proc/meminfo: memFree=1884304/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=62208 CPUtime=0.29
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1137 0 0 0 13 16 0 0 19 0 1 0 25309968 63700992 850 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/26451/statm: 15552 850 177 144 0 15036 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62208
[startup+0.701923 s]
/proc/loadavg: 2.01 2.00 2.00 4/74 26451
/proc/meminfo: memFree=1884304/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=70164 CPUtime=0.69
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1668 0 0 0 50 19 0 0 23 0 1 0 25309968 71847936 1378 996147200 134512640 135105188 4294956096 18446744073709551615 134800172 0 0 4096 2 0 0 0 17 0 0 0
/proc/26451/statm: 17541 1378 186 144 0 17025 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 70164
[startup+1.50302 s]
/proc/loadavg: 2.01 2.00 2.00 3/75 26452
/proc/meminfo: memFree=1879176/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=70164 CPUtime=1.49
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1668 0 0 0 130 19 0 0 25 0 1 0 25309968 71847936 1378 996147200 134512640 135105188 4294956096 18446744073709551615 134800234 0 0 4096 2 0 0 0 17 0 0 0
/proc/26451/statm: 17541 1378 186 144 0 17025 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70164
[startup+3.10121 s]
/proc/loadavg: 2.01 2.00 2.00 3/75 26452
/proc/meminfo: memFree=1878856/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=70164 CPUtime=3.09
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1668 0 0 0 290 19 0 0 25 0 1 0 25309968 71847936 1378 996147200 134512640 135105188 4294956096 18446744073709551615 134568004 0 0 4096 2 0 0 0 17 0 0 0
/proc/26451/statm: 17541 1378 186 144 0 17025 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 70164
[startup+6.30158 s]
/proc/loadavg: 2.01 2.00 2.00 3/76 26453
/proc/meminfo: memFree=1878592/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=80408 CPUtime=6.29
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1687 0 0 0 610 19 0 0 25 0 2 0 25309968 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 134629901 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 20102 1397 195 144 0 19586 0
[pid=26451/tid=26453] ppid=26449 vsize=80408 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25310467 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 80408
[startup+12.7013 s]
/proc/loadavg: 2.01 2.00 2.00 3/76 26453
/proc/meminfo: memFree=1878592/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=80408 CPUtime=12.68
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1687 0 0 0 1249 19 0 0 25 0 2 0 25309968 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 134722395 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 20102 1397 195 144 0 19586 0
[pid=26451/tid=26453] ppid=26449 vsize=80408 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25310467 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 80408
[startup+25.5018 s]
/proc/loadavg: 2.01 2.00 2.00 3/76 26453
/proc/meminfo: memFree=1878592/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=80408 CPUtime=25.48
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1687 0 0 0 2529 19 0 0 25 0 2 0 25309968 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 134559789 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 20102 1397 195 144 0 19586 0
[pid=26451/tid=26453] ppid=26449 vsize=80408 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25310467 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 80408
[startup+51.1019 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26453
/proc/meminfo: memFree=1878656/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=80408 CPUtime=51.06
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1687 0 0 0 5087 19 0 0 25 0 2 0 25309968 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 134722017 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 20102 1397 195 144 0 19586 0
[pid=26451/tid=26453] ppid=26449 vsize=80408 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25310467 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 80408
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26453
/proc/meminfo: memFree=1878720/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=80408 CPUtime=102.25
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1687 0 0 0 10206 19 0 0 25 0 2 0 25309968 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 134631110 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 20102 1397 195 144 0 19586 0
[pid=26451/tid=26453] ppid=26449 vsize=80408 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25310467 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 80408
[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26453
/proc/meminfo: memFree=1878144/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=80408 CPUtime=162.23
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1687 0 0 0 16203 20 0 0 25 0 2 0 25309968 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 134722067 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 20102 1397 195 144 0 19586 0
[pid=26451/tid=26453] ppid=26449 vsize=80408 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25310467 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 80408
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26453
/proc/meminfo: memFree=1877312/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=80408 CPUtime=222.2
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1687 0 0 0 22200 20 0 0 25 0 2 0 25309968 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 134630216 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 20102 1397 195 144 0 19586 0
[pid=26451/tid=26453] ppid=26449 vsize=80408 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25310467 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 80408
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26453
/proc/meminfo: memFree=1873664/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=80408 CPUtime=282.18
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1687 0 0 0 28198 20 0 0 25 0 2 0 25309968 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 134559794 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 20102 1397 195 144 0 19586 0
[pid=26451/tid=26453] ppid=26449 vsize=80408 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25310467 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 80408
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26453
/proc/meminfo: memFree=1873664/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=80408 CPUtime=342.15
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1687 0 0 0 34195 20 0 0 25 0 2 0 25309968 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 134572522 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 20102 1397 195 144 0 19586 0
[pid=26451/tid=26453] ppid=26449 vsize=80408 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25310467 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 80408
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26453
/proc/meminfo: memFree=1873216/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=80408 CPUtime=402.13
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1687 0 0 0 40193 20 0 0 25 0 2 0 25309968 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 134722184 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 20102 1397 195 144 0 19586 0
[pid=26451/tid=26453] ppid=26449 vsize=80408 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25310467 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 80408
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26453
/proc/meminfo: memFree=1873216/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=80408 CPUtime=462.1
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1687 0 0 0 46190 20 0 0 25 0 2 0 25309968 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 134711863 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 20102 1397 195 144 0 19586 0
[pid=26451/tid=26453] ppid=26449 vsize=80408 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25310467 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 80408
[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26453
/proc/meminfo: memFree=1873216/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=80408 CPUtime=522.09
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1687 0 0 0 52188 21 0 0 25 0 2 0 25309968 82337792 1397 996147200 134512640 135105188 4294956096 18446744073709551615 134607789 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 20102 1397 195 144 0 19586 0
################
# More data... #
################
[pid=26451/tid=26453] ppid=26449 vsize=90652 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 25310467 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26451/tid=26454] ppid=26449 vsize=90652 CPUtime=0
/proc/26451/task/26454/stat : 26454 (bprolog) S 26449 26451 25645 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 25400483 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 90652
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26512
/proc/meminfo: memFree=1868544/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=90652 CPUtime=1181.66
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1688 0 0 0 118145 21 0 0 25 0 3 0 25309968 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 134722376 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 22663 1398 195 144 0 22147 0
[pid=26451/tid=26453] ppid=26449 vsize=90652 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 25310467 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26451/tid=26454] ppid=26449 vsize=90652 CPUtime=0
/proc/26451/task/26454/stat : 26454 (bprolog) S 26449 26451 25645 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 25400483 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 90652
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26512
/proc/meminfo: memFree=1868352/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=90652 CPUtime=1241.63
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1688 0 0 0 124142 21 0 0 25 0 3 0 25309968 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 134848693 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 22663 1398 195 144 0 22147 0
[pid=26451/tid=26453] ppid=26449 vsize=90652 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 25310467 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26451/tid=26454] ppid=26449 vsize=90652 CPUtime=0
/proc/26451/task/26454/stat : 26454 (bprolog) S 26449 26451 25645 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 25400483 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1241.63
Current children cumulated vsize (KiB) 90652
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26512
/proc/meminfo: memFree=1868416/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=90652 CPUtime=1301.61
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1688 0 0 0 130140 21 0 0 25 0 3 0 25309968 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 134722370 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 22663 1398 195 144 0 22147 0
[pid=26451/tid=26453] ppid=26449 vsize=90652 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 25310467 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26451/tid=26454] ppid=26449 vsize=90652 CPUtime=0
/proc/26451/task/26454/stat : 26454 (bprolog) S 26449 26451 25645 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 25400483 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1301.61
Current children cumulated vsize (KiB) 90652
Solver just ended. Dumping a history of the last processes samples
[startup+1331.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26512
/proc/meminfo: memFree=1868416/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=90652 CPUtime=1330.39
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1688 0 0 0 133018 21 0 0 25 0 3 0 25309968 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 134848774 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 22663 1398 195 144 0 22147 0
[pid=26451/tid=26453] ppid=26449 vsize=90652 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 25310467 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26451/tid=26454] ppid=26449 vsize=90652 CPUtime=0
/proc/26451/task/26454/stat : 26454 (bprolog) S 26449 26451 25645 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 25400483 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1330.39
Current children cumulated vsize (KiB) 90652
[startup+1343.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26512
/proc/meminfo: memFree=1868416/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=90652 CPUtime=1343.19
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1688 0 0 0 134298 21 0 0 25 0 3 0 25309968 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 134848738 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 22663 1398 195 144 0 22147 0
[pid=26451/tid=26453] ppid=26449 vsize=90652 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 25310467 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26451/tid=26454] ppid=26449 vsize=90652 CPUtime=0
/proc/26451/task/26454/stat : 26454 (bprolog) S 26449 26451 25645 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 25400483 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1343.19
Current children cumulated vsize (KiB) 90652
[startup+1350.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26512
/proc/meminfo: memFree=1868416/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=90652 CPUtime=1349.59
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1688 0 0 0 134938 21 0 0 25 0 3 0 25309968 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 134722368 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 22663 1398 195 144 0 22147 0
[pid=26451/tid=26453] ppid=26449 vsize=90652 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 25310467 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26451/tid=26454] ppid=26449 vsize=90652 CPUtime=0
/proc/26451/task/26454/stat : 26454 (bprolog) S 26449 26451 25645 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 25400483 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1349.59
Current children cumulated vsize (KiB) 90652
[startup+1353.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26512
/proc/meminfo: memFree=1868416/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=90652 CPUtime=1352.79
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1688 0 0 0 135258 21 0 0 25 0 3 0 25309968 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 134848774 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 22663 1398 195 144 0 22147 0
[pid=26451/tid=26453] ppid=26449 vsize=90652 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 25310467 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26451/tid=26454] ppid=26449 vsize=90652 CPUtime=0
/proc/26451/task/26454/stat : 26454 (bprolog) S 26449 26451 25645 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 25400483 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1352.79
Current children cumulated vsize (KiB) 90652
[startup+1355.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26512
/proc/meminfo: memFree=1868416/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=90652 CPUtime=1354.39
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1688 0 0 0 135418 21 0 0 25 0 3 0 25309968 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 134607783 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 22663 1398 195 144 0 22147 0
[pid=26451/tid=26453] ppid=26449 vsize=90652 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 25310467 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26451/tid=26454] ppid=26449 vsize=90652 CPUtime=0
/proc/26451/task/26454/stat : 26454 (bprolog) S 26449 26451 25645 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 25400483 92827648 1398 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1354.39
Current children cumulated vsize (KiB) 90652
[startup+1355.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26512
/proc/meminfo: memFree=1868416/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=100896 CPUtime=1355.18
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1690 0 0 0 135497 21 0 0 25 0 4 0 25309968 103317504 1400 996147200 134512640 135105188 4294956096 18446744073709551615 134722378 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 25224 1400 195 144 0 24708 0
[pid=26451/tid=26453] ppid=26449 vsize=100896 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 25310467 103317504 1400 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26451/tid=26454] ppid=26449 vsize=100896 CPUtime=0
/proc/26451/task/26454/stat : 26454 (bprolog) S 26449 26451 25645 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 25400483 103317504 1400 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1355.18
Current children cumulated vsize (KiB) 100896
[startup+1356.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 26513
/proc/meminfo: memFree=1868408/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=100896 CPUtime=1355.59
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1690 0 0 0 135538 21 0 0 25 0 4 0 25309968 103317504 1400 996147200 134512640 135105188 4294956096 18446744073709551615 134635884 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 25224 1400 195 144 0 24708 0
[pid=26451/tid=26453] ppid=26449 vsize=100896 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 25310467 103317504 1400 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26451/tid=26454] ppid=26449 vsize=100896 CPUtime=0
/proc/26451/task/26454/stat : 26454 (bprolog) S 26449 26451 25645 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 25400483 103317504 1400 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26451/tid=26513] ppid=26449 vsize=100896 CPUtime=0
/proc/26451/task/26513/stat : 26513 (bprolog) S 26449 26451 25645 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 25445494 103317504 1400 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1355.59
Current children cumulated vsize (KiB) 100896
[startup+1356.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 26513
/proc/meminfo: memFree=1868408/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=100896 CPUtime=1355.78
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1690 0 0 0 135557 21 0 0 25 0 4 0 25309968 103317504 1400 996147200 134512640 135105188 4294956096 18446744073709551615 134848754 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 25224 1400 195 144 0 24708 0
[pid=26451/tid=26453] ppid=26449 vsize=100896 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 25310467 103317504 1400 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26451/tid=26454] ppid=26449 vsize=100896 CPUtime=0
/proc/26451/task/26454/stat : 26454 (bprolog) S 26449 26451 25645 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 25400483 103317504 1400 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26451/tid=26513] ppid=26449 vsize=100896 CPUtime=0
/proc/26451/task/26513/stat : 26513 (bprolog) S 26449 26451 25645 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 25445494 103317504 1400 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1355.78
Current children cumulated vsize (KiB) 100896
[startup+1356.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 26513
/proc/meminfo: memFree=1868408/2055920 swapFree=4192812/4192956
[pid=26451] ppid=26449 vsize=100896 CPUtime=1355.88
/proc/26451/stat : 26451 (bprolog) R 26449 26451 25645 0 -1 4194304 1690 0 0 0 135567 21 0 0 25 0 4 0 25309968 103317504 1400 996147200 134512640 135105188 4294956096 18446744073709551615 134605435 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26451/statm: 25224 1400 195 144 0 24708 0
[pid=26451/tid=26453] ppid=26449 vsize=100896 CPUtime=0
/proc/26451/task/26453/stat : 26453 (bprolog) S 26449 26451 25645 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 25310467 103317504 1400 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26451/tid=26454] ppid=26449 vsize=100896 CPUtime=0
/proc/26451/task/26454/stat : 26454 (bprolog) S 26449 26451 25645 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 25400483 103317504 1400 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26451/tid=26513] ppid=26449 vsize=100896 CPUtime=0
/proc/26451/task/26513/stat : 26513 (bprolog) S 26449 26451 25645 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 25445494 103317504 1400 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1355.88
Current children cumulated vsize (KiB) 100896
Child status: 0
Real time (s): 1356.67
CPU time (s): 1355.97
CPU user time (s): 1355.75
CPU system time (s): 0.219966
CPU usage (%): 99.948
Max. virtual memory (cumulated for all children) (KiB): 100896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1355.75
system time used= 0.219966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1690
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= 5964
runsolver used 1.15382 second user time and 3.79142 second system time
The end
Begin job on node75 at 2009-07-12 09:07:35
IDJOB=2085693
IDBENCH=58479
IDSOLVER=770
FILE ID=node75/2085693-1247382455
PBS_JOBID= 9507193
Free space on /tmp= 66312 MiB
SOLVER NAME= bpsolver 09
BENCH NAME= CPAI08/csp/graphColoring/insertion/full-insertion/normalized-1-fullins-5-4.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2085693-1247382455/watcher-2085693-1247382455 -o /tmp/evaluation-result-2085693-1247382455/solver-2085693-1247382455 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2085693-1247382455 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9da4628fc87df12d83b1d0cb46c9605a
RANDOM SEED=1448776987
node75.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.232
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.232
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1884720 kB
Buffers: 9140 kB
Cached: 72392 kB
SwapCached: 0 kB
Active: 90012 kB
Inactive: 31152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1884720 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2312 kB
Writeback: 0 kB
Mapped: 50748 kB
Slab: 35236 kB
Committed_AS: 231244 kB
PageTables: 1892 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= 66312 MiB
End job on node75 at 2009-07-12 09:30:12