0.00/0.02 c bpsolver version 6.29.2009
0.00/0.02 c converting(HOME/instance-2075859-1247362115)
11.98/12.13 c Converted in 3722 ms
15.65/15.88 c solving(HOME/instance-2075859-1247362115,1800000)
15.65/15.88 c solving(HOME/instance-2075859-1247362115,1800000)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2075859-1247362115/watcher-2075859-1247362115 -o /tmp/evaluation-result-2075859-1247362115/solver-2075859-1247362115 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2075859-1247362115 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.23 2.21 2.11 4/81 18696
/proc/meminfo: memFree=1229280/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=7000 CPUtime=0
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 574 0 0 0 0 0 0 0 20 0 1 0 23279003 7168000 292 996147200 134512640 135105188 4294956096 18446744073709551615 134530912 0 0 4096 0 0 0 0 17 1 0 0
/proc/18696/statm: 1750 292 72 144 0 1234 0
[startup+0.189932 s]
/proc/loadavg: 2.23 2.21 2.11 4/81 18696
/proc/meminfo: memFree=1229280/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=62208 CPUtime=0.17
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 1114 0 0 0 6 11 0 0 20 0 1 0 23279003 63700992 827 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/18696/statm: 15552 827 176 144 0 15036 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 62208
[startup+0.201932 s]
/proc/loadavg: 2.23 2.21 2.11 4/81 18696
/proc/meminfo: memFree=1229280/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=62208 CPUtime=0.19
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 1114 0 0 0 7 12 0 0 20 0 1 0 23279003 63700992 827 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/18696/statm: 15552 827 176 144 0 15036 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 62208
[startup+0.301943 s]
/proc/loadavg: 2.23 2.21 2.11 4/81 18696
/proc/meminfo: memFree=1229280/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=62208 CPUtime=0.28
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 1122 0 0 0 10 18 0 0 21 0 1 0 23279003 63700992 835 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/18696/statm: 15552 835 176 144 0 15036 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 62208
[startup+0.70198 s]
/proc/loadavg: 2.23 2.21 2.11 4/81 18696
/proc/meminfo: memFree=1229280/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=62208 CPUtime=0.69
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 1157 0 0 0 22 47 0 0 25 0 1 0 23279003 63700992 870 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/18696/statm: 15552 870 176 144 0 15036 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62208
[startup+1.50105 s]
/proc/loadavg: 2.23 2.21 2.11 3/82 18697
/proc/meminfo: memFree=1226136/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=62208 CPUtime=1.47
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 1157 0 0 0 48 99 0 0 25 0 1 0 23279003 63700992 870 996147200 134512640 135105188 4294956096 18446744073709551615 10958564 0 0 4096 2 0 0 0 17 1 0 0
/proc/18696/statm: 15552 870 176 144 0 15036 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 62208
[startup+3.10121 s]
/proc/loadavg: 2.23 2.21 2.11 3/82 18697
/proc/meminfo: memFree=1225624/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=62208 CPUtime=3.06
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 1183 0 0 0 94 212 0 0 25 0 1 0 23279003 63700992 896 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/18696/statm: 15552 896 176 144 0 15036 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 62208
[startup+6.30151 s]
/proc/loadavg: 2.21 2.21 2.11 3/82 18697
/proc/meminfo: memFree=1222424/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=62208 CPUtime=6.24
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 1439 0 0 0 194 430 0 0 25 0 1 0 23279003 63700992 1152 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/18696/statm: 15552 1152 176 144 0 15036 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 62208
[startup+12.7011 s]
/proc/loadavg: 2.20 2.21 2.11 3/82 18697
/proc/meminfo: memFree=1217176/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=101272 CPUtime=12.58
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 11483 0 0 0 426 832 0 0 25 0 1 0 23279003 103702528 11146 996147200 134512640 135105188 4294956096 18446744073709551615 135073136 0 0 4096 2 0 0 0 17 1 0 0
/proc/18696/statm: 25318 11146 180 144 0 24802 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 101272
[startup+25.5013 s]
/proc/loadavg: 2.23 2.21 2.11 3/84 18699
/proc/meminfo: memFree=1098952/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=181052 CPUtime=25.26
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 46381 0 0 0 1679 847 0 0 25 0 2 0 23279003 185397248 26693 996147200 134512640 135105188 4294956096 18446744073709551615 134749155 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/18696/statm: 45263 26693 199 144 0 44747 0
[pid=18696/tid=18698] ppid=18694 vsize=181052 CPUtime=0
/proc/18696/task/18698/stat : 18698 (bprolog) S 18694 18696 16647 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23280622 185397248 26693 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 181052
[startup+51.1018 s]
/proc/loadavg: 2.22 2.21 2.11 4/84 18699
/proc/meminfo: memFree=728840/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=181052 CPUtime=50.65
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 46381 0 0 0 4218 847 0 0 25 0 2 0 23279003 185397248 26693 996147200 134512640 135105188 4294956096 18446744073709551615 134748556 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/18696/statm: 45263 26693 199 144 0 44747 0
[pid=18696/tid=18698] ppid=18694 vsize=181052 CPUtime=0
/proc/18696/task/18698/stat : 18698 (bprolog) S 18694 18696 16647 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23280622 185397248 26693 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 181052
[startup+102.302 s]
/proc/loadavg: 2.05 2.16 2.09 3/84 18769
/proc/meminfo: memFree=1133576/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=181052 CPUtime=101.7
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 46381 0 0 0 9321 849 0 0 25 0 2 0 23279003 185397248 26693 996147200 134512640 135105188 4294956096 18446744073709551615 134749675 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18696/statm: 45263 26693 199 144 0 44747 0
[pid=18696/tid=18698] ppid=18694 vsize=181052 CPUtime=0
/proc/18696/task/18698/stat : 18698 (bprolog) S 18694 18696 16647 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23280622 185397248 26693 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 181052
[startup+162.301 s]
/proc/loadavg: 2.02 2.13 2.09 3/84 18769
/proc/meminfo: memFree=1132296/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=181052 CPUtime=161.67
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 46381 0 0 0 15318 849 0 0 25 0 2 0 23279003 185397248 26693 996147200 134512640 135105188 4294956096 18446744073709551615 134748484 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18696/statm: 45263 26693 199 144 0 44747 0
[pid=18696/tid=18698] ppid=18694 vsize=181052 CPUtime=0
/proc/18696/task/18698/stat : 18698 (bprolog) S 18694 18696 16647 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23280622 185397248 26693 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.67
Current children cumulated vsize (KiB) 181052
[startup+222.306 s]
/proc/loadavg: 2.00 2.10 2.08 3/75 18840
/proc/meminfo: memFree=1067280/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=181052 CPUtime=221.65
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 46381 0 0 0 21314 851 0 0 25 0 2 0 23279003 185397248 26693 996147200 134512640 135105188 4294956096 18446744073709551615 134748503 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18696/statm: 45263 26693 199 144 0 44747 0
[pid=18696/tid=18698] ppid=18694 vsize=181052 CPUtime=0
/proc/18696/task/18698/stat : 18698 (bprolog) S 18694 18696 16647 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23280622 185397248 26693 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.65
Current children cumulated vsize (KiB) 181052
[startup+282.302 s]
/proc/loadavg: 2.00 2.08 2.07 3/75 18840
/proc/meminfo: memFree=1067152/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=181052 CPUtime=281.62
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 46381 0 0 0 27311 851 0 0 25 0 2 0 23279003 185397248 26693 996147200 134512640 135105188 4294956096 18446744073709551615 134718162 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18696/statm: 45263 26693 199 144 0 44747 0
[pid=18696/tid=18698] ppid=18694 vsize=181052 CPUtime=0
/proc/18696/task/18698/stat : 18698 (bprolog) S 18694 18696 16647 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23280622 185397248 26693 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.62
Current children cumulated vsize (KiB) 181052
[startup+342.302 s]
/proc/loadavg: 2.00 2.06 2.07 3/75 18840
/proc/meminfo: memFree=1067088/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=181052 CPUtime=341.6
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 46381 0 0 0 33309 851 0 0 25 0 2 0 23279003 185397248 26693 996147200 134512640 135105188 4294956096 18446744073709551615 134749124 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18696/statm: 45263 26693 199 144 0 44747 0
[pid=18696/tid=18698] ppid=18694 vsize=181052 CPUtime=0
/proc/18696/task/18698/stat : 18698 (bprolog) S 18694 18696 16647 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23280622 185397248 26693 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.6
Current children cumulated vsize (KiB) 181052
[startup+402.301 s]
/proc/loadavg: 2.00 2.05 2.06 3/75 18840
/proc/meminfo: memFree=1067088/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=181052 CPUtime=401.58
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 46381 0 0 0 39307 851 0 0 25 0 2 0 23279003 185397248 26693 996147200 134512640 135105188 4294956096 18446744073709551615 134748602 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18696/statm: 45263 26693 199 144 0 44747 0
[pid=18696/tid=18698] ppid=18694 vsize=181052 CPUtime=0
/proc/18696/task/18698/stat : 18698 (bprolog) S 18694 18696 16647 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23280622 185397248 26693 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.58
Current children cumulated vsize (KiB) 181052
[startup+462.302 s]
/proc/loadavg: 2.00 2.04 2.06 3/75 18840
/proc/meminfo: memFree=1067088/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=181052 CPUtime=461.56
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 46381 0 0 0 45305 851 0 0 25 0 2 0 23279003 185397248 26693 996147200 134512640 135105188 4294956096 18446744073709551615 134718099 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18696/statm: 45263 26693 199 144 0 44747 0
[pid=18696/tid=18698] ppid=18694 vsize=181052 CPUtime=0
/proc/18696/task/18698/stat : 18698 (bprolog) S 18694 18696 16647 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23280622 185397248 26693 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 461.56
Current children cumulated vsize (KiB) 181052
[startup+522.302 s]
/proc/loadavg: 2.00 2.03 2.05 3/75 18840
/proc/meminfo: memFree=1067088/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=181052 CPUtime=521.54
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 46381 0 0 0 51302 852 0 0 25 0 2 0 23279003 185397248 26693 996147200 134512640 135105188 4294956096 18446744073709551615 134718131 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18696/statm: 45263 26693 199 144 0 44747 0
[pid=18696/tid=18698] ppid=18694 vsize=181052 CPUtime=0
/proc/18696/task/18698/stat : 18698 (bprolog) S 18694 18696 16647 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23280622 185397248 26693 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 521.54
Current children cumulated vsize (KiB) 181052
################
# More data... #
################
Current children cumulated vsize (KiB) 191296
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 18844
/proc/meminfo: memFree=1066560/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=191296 CPUtime=1361.27
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 46382 0 0 0 135274 853 0 0 25 0 3 0 23279003 195887104 26694 996147200 134512640 135105188 4294956096 18446744073709551615 134718108 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18696/statm: 47824 26694 199 144 0 47308 0
[pid=18696/tid=18698] ppid=18694 vsize=191296 CPUtime=0
/proc/18696/task/18698/stat : 18698 (bprolog) S 18694 18696 16647 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23280622 195887104 26694 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18696/tid=18841] ppid=18694 vsize=191296 CPUtime=0
/proc/18696/task/18841/stat : 18841 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 23370636 195887104 26694 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1361.27
Current children cumulated vsize (KiB) 191296
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 18845
/proc/meminfo: memFree=1066488/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=201540 CPUtime=1421.24
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 46383 0 0 0 141271 853 0 0 25 0 4 0 23279003 206376960 26695 996147200 134512640 135105188 4294956096 18446744073709551615 134717753 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18696/statm: 50385 26695 199 144 0 49869 0
[pid=18696/tid=18698] ppid=18694 vsize=201540 CPUtime=0
/proc/18696/task/18698/stat : 18698 (bprolog) S 18694 18696 16647 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 23280622 206376960 26695 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18696/tid=18841] ppid=18694 vsize=201540 CPUtime=0
/proc/18696/task/18841/stat : 18841 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 23370636 206376960 26695 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=18696/tid=18845] ppid=18694 vsize=201540 CPUtime=0
/proc/18696/task/18845/stat : 18845 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 23415646 206376960 26695 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1421.24
Current children cumulated vsize (KiB) 201540
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 18845
/proc/meminfo: memFree=1066424/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=201540 CPUtime=1481.22
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 46383 0 0 0 147269 853 0 0 25 0 4 0 23279003 206376960 26695 996147200 134512640 135105188 4294956096 18446744073709551615 134717642 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18696/statm: 50385 26695 199 144 0 49869 0
[pid=18696/tid=18698] ppid=18694 vsize=201540 CPUtime=0
/proc/18696/task/18698/stat : 18698 (bprolog) S 18694 18696 16647 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 23280622 206376960 26695 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18696/tid=18841] ppid=18694 vsize=201540 CPUtime=0
/proc/18696/task/18841/stat : 18841 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 23370636 206376960 26695 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=18696/tid=18845] ppid=18694 vsize=201540 CPUtime=0
/proc/18696/task/18845/stat : 18845 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 23415646 206376960 26695 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.22
Current children cumulated vsize (KiB) 201540
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/79 18846
/proc/meminfo: memFree=1066416/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=201540 CPUtime=1541.2
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 46383 0 0 0 153267 853 0 0 25 0 4 0 23279003 206376960 26695 996147200 134512640 135105188 4294956096 18446744073709551615 134716881 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18696/statm: 50385 26695 199 144 0 49869 0
[pid=18696/tid=18698] ppid=18694 vsize=201540 CPUtime=0
/proc/18696/task/18698/stat : 18698 (bprolog) S 18694 18696 16647 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 23280622 206376960 26695 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18696/tid=18841] ppid=18694 vsize=201540 CPUtime=0
/proc/18696/task/18841/stat : 18841 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 23370636 206376960 26695 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=18696/tid=18845] ppid=18694 vsize=201540 CPUtime=0
/proc/18696/task/18845/stat : 18845 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 23415646 206376960 26695 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.2
Current children cumulated vsize (KiB) 201540
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 18847
/proc/meminfo: memFree=1066408/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=211784 CPUtime=1601.18
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 46384 0 0 0 159265 853 0 0 25 0 5 0 23279003 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 134718131 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18696/statm: 52946 26696 199 144 0 52430 0
[pid=18696/tid=18698] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18698/stat : 18698 (bprolog) S 18694 18696 16647 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23280622 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18696/tid=18841] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18841/stat : 18841 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23370636 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=18696/tid=18845] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18845/stat : 18845 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23415646 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=18696/tid=18847] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18847/stat : 18847 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 23438151 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.18
Current children cumulated vsize (KiB) 211784
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 18847
/proc/meminfo: memFree=1066344/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=211784 CPUtime=1661.16
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 46384 0 0 0 165262 854 0 0 25 0 5 0 23279003 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 134718165 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18696/statm: 52946 26696 199 144 0 52430 0
[pid=18696/tid=18698] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18698/stat : 18698 (bprolog) S 18694 18696 16647 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23280622 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18696/tid=18841] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18841/stat : 18841 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23370636 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=18696/tid=18845] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18845/stat : 18845 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23415646 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=18696/tid=18847] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18847/stat : 18847 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 23438151 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.16
Current children cumulated vsize (KiB) 211784
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 18847
/proc/meminfo: memFree=1066344/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=211784 CPUtime=1721.14
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 46384 0 0 0 171260 854 0 0 25 0 5 0 23279003 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 134718080 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18696/statm: 52946 26696 199 144 0 52430 0
[pid=18696/tid=18698] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18698/stat : 18698 (bprolog) S 18694 18696 16647 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23280622 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18696/tid=18841] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18841/stat : 18841 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23370636 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=18696/tid=18845] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18845/stat : 18845 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23415646 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=18696/tid=18847] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18847/stat : 18847 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23438151 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.14
Current children cumulated vsize (KiB) 211784
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18848
/proc/meminfo: memFree=1066208/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=211784 CPUtime=1781.12
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 46384 0 0 0 177258 854 0 0 25 0 5 0 23279003 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 134717649 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18696/statm: 52946 26696 199 144 0 52430 0
[pid=18696/tid=18698] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18698/stat : 18698 (bprolog) S 18694 18696 16647 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23280622 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18696/tid=18841] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18841/stat : 18841 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23370636 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=18696/tid=18845] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18845/stat : 18845 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23415646 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=18696/tid=18847] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18847/stat : 18847 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23438151 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.12
Current children cumulated vsize (KiB) 211784
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18848
/proc/meminfo: memFree=1066208/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=211784 CPUtime=1800.01
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 46384 0 0 0 179147 854 0 0 25 0 5 0 23279003 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 134749670 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18696/statm: 52946 26696 199 144 0 52430 0
[pid=18696/tid=18698] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18698/stat : 18698 (bprolog) S 18694 18696 16647 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23280622 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18696/tid=18841] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18841/stat : 18841 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23370636 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=18696/tid=18845] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18845/stat : 18845 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23415646 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=18696/tid=18847] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18847/stat : 18847 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23438151 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 211784
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18848
/proc/meminfo: memFree=1066208/2055920 swapFree=4192956/4192956
[pid=18696] ppid=18694 vsize=211784 CPUtime=1800.01
/proc/18696/stat : 18696 (bprolog) R 18694 18696 16647 0 -1 4194304 46384 0 0 0 179147 854 0 0 25 0 5 0 23279003 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 134749670 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18696/statm: 52946 26696 199 144 0 52430 0
[pid=18696/tid=18698] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18698/stat : 18698 (bprolog) S 18694 18696 16647 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23280622 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18696/tid=18841] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18841/stat : 18841 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23370636 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=18696/tid=18845] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18845/stat : 18845 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23415646 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=18696/tid=18847] ppid=18694 vsize=211784 CPUtime=0
/proc/18696/task/18847/stat : 18847 (bprolog) S 18694 18696 16647 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23438151 216866816 26696 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 211784
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.23
CPU time (s): 1800.05
CPU user time (s): 1791.49
CPU system time (s): 8.5617
CPU usage (%): 99.9344
Max. virtual memory (cumulated for all children) (KiB): 211784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.49
system time used= 8.5617
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46384
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= 12
involuntary context switches= 8627
runsolver used 1.68774 second user time and 4.97024 second system time
The end
Begin job on node4 at 2009-07-12 03:28:35
IDJOB=2075859
IDBENCH=56353
IDSOLVER=770
FILE ID=node4/2075859-1247362115
PBS_JOBID= 9506902
Free space on /tmp= 66192 MiB
SOLVER NAME= bpsolver 09
BENCH NAME= CPAI08/csp/modifiedRenault/normalized-renault-mod-1_ext.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2075859-1247362115/watcher-2075859-1247362115 -o /tmp/evaluation-result-2075859-1247362115/solver-2075859-1247362115 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2075859-1247362115 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0a7786cb066bb1931619ce1947242042
RANDOM SEED=1503416117
node4.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 : 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.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: 1229760 kB
Buffers: 71508 kB
Cached: 606656 kB
SwapCached: 0 kB
Active: 172552 kB
Inactive: 577332 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1229760 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 4604 kB
Writeback: 0 kB
Mapped: 92008 kB
Slab: 61328 kB
Committed_AS: 260164 kB
PageTables: 2064 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= 66188 MiB
End job on node4 at 2009-07-12 03:58:38