0.00/0.02 c bpsolver version 6.29.2009
0.00/0.02 c converting(HOME/instance-2077421-1247364880)
9.98/10.14 c Converted in 3127 ms
11.98/12.17 c solving(HOME/instance-2077421-1247364880,1800000)
11.98/12.17 c solving(HOME/instance-2077421-1247364880,1800000)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2077421-1247364880/watcher-2077421-1247364880 -o /tmp/evaluation-result-2077421-1247364880/solver-2077421-1247364880 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2077421-1247364880 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.59 2.31 2.15 3/82 18056
/proc/meminfo: memFree=851904/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=18576 CPUtime=0
/proc/18056/stat : 18056 (runsolver) R 18054 18056 17977 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 23551751 19021824 284 996147200 4194304 4302564 548682068528 18446744073709551615 208717540647 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18056/statm: 4644 284 249 26 0 2626 0
[startup+0.0219041 s]
/proc/loadavg: 2.59 2.31 2.15 3/82 18056
/proc/meminfo: memFree=851904/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=62200 CPUtime=0
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 968 0 0 0 0 0 0 0 22 0 1 0 23551751 63692800 684 996147200 134512640 135105188 4294956096 18446744073709551615 10891867 0 0 4096 2 0 0 0 17 1 0 0
/proc/18056/statm: 15550 684 130 144 0 15034 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 62200
[startup+0.107517 s]
/proc/loadavg: 2.59 2.31 2.15 3/82 18056
/proc/meminfo: memFree=851904/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=62208 CPUtime=0.09
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 1114 0 0 0 4 5 0 0 22 0 1 0 23551751 63700992 827 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/18056/statm: 15552 827 174 144 0 15036 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 62208
[startup+0.30193 s]
/proc/loadavg: 2.59 2.31 2.15 3/82 18056
/proc/meminfo: memFree=851904/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=62208 CPUtime=0.28
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 1138 0 0 0 9 19 0 0 23 0 1 0 23551751 63700992 851 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/18056/statm: 15552 851 174 144 0 15036 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 62208
[startup+0.701972 s]
/proc/loadavg: 2.59 2.31 2.15 3/82 18056
/proc/meminfo: memFree=851904/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=62208 CPUtime=0.68
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 1188 0 0 0 21 47 0 0 25 0 1 0 23551751 63700992 901 996147200 134512640 135105188 4294956096 18446744073709551615 134669629 0 0 4096 2 0 0 0 17 1 0 0
/proc/18056/statm: 15552 901 174 144 0 15036 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 62208
[startup+1.50106 s]
/proc/loadavg: 2.59 2.31 2.15 4/83 18057
/proc/meminfo: memFree=848440/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=62208 CPUtime=1.47
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 1285 0 0 0 43 104 0 0 25 0 1 0 23551751 63700992 998 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/18056/statm: 15552 998 174 144 0 15036 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 62208
[startup+3.10123 s]
/proc/loadavg: 2.59 2.31 2.15 3/83 18057
/proc/meminfo: memFree=847288/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=62208 CPUtime=3.06
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 1482 0 0 0 93 213 0 0 25 0 1 0 23551751 63700992 1195 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/18056/statm: 15552 1195 174 144 0 15036 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 62208
[startup+6.30158 s]
/proc/loadavg: 2.70 2.34 2.16 3/83 18057
/proc/meminfo: memFree=845048/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=62208 CPUtime=6.23
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 1608 0 0 0 193 430 0 0 25 0 1 0 23551751 63700992 1321 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/18056/statm: 15552 1321 176 144 0 15036 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 62208
[startup+12.7013 s]
/proc/loadavg: 2.64 2.33 2.16 3/83 18057
/proc/meminfo: memFree=787192/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=120468 CPUtime=12.56
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30556 0 0 0 556 700 0 0 25 0 1 0 23551751 123359232 19549 996147200 134512640 135105188 4294956096 18446744073709551615 134748484 0 0 4096 2 0 0 0 17 1 0 0
/proc/18056/statm: 30117 19549 193 144 0 29601 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 120468
[startup+25.5017 s]
/proc/loadavg: 2.63 2.35 2.17 4/84 18058
/proc/meminfo: memFree=770032/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=130712 CPUtime=25.24
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30586 0 0 0 1824 700 0 0 25 0 2 0 23551751 133849088 19579 996147200 134512640 135105188 4294956096 18446744073709551615 134748476 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/18056/statm: 32678 19579 199 144 0 32162 0
[pid=18056/tid=18058] ppid=18054 vsize=130712 CPUtime=0
/proc/18056/task/18058/stat : 18058 (bprolog) S 18054 18056 17977 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23553176 133849088 19579 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 130712
[startup+51.1014 s]
/proc/loadavg: 2.48 2.34 2.17 4/84 18058
/proc/meminfo: memFree=769520/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=130712 CPUtime=50.6
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30590 0 0 0 4360 700 0 0 25 0 2 0 23551751 133849088 19583 996147200 134512640 135105188 4294956096 18446744073709551615 134749070 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/18056/statm: 32678 19583 199 144 0 32162 0
[pid=18056/tid=18058] ppid=18054 vsize=130712 CPUtime=0
/proc/18056/task/18058/stat : 18058 (bprolog) S 18054 18056 17977 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23553176 133849088 19583 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 130712
[startup+102.307 s]
/proc/loadavg: 2.29 2.31 2.17 3/84 18058
/proc/meminfo: memFree=768112/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=130712 CPUtime=101.32
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30591 0 0 0 9432 700 0 0 25 0 2 0 23551751 133849088 19584 996147200 134512640 135105188 4294956096 18446744073709551615 134749148 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/18056/statm: 32678 19584 199 144 0 32162 0
[pid=18056/tid=18058] ppid=18054 vsize=130712 CPUtime=0
/proc/18056/task/18058/stat : 18058 (bprolog) S 18054 18056 17977 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23553176 133849088 19584 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 130712
[startup+162.301 s]
/proc/loadavg: 2.15 2.27 2.17 4/84 18058
/proc/meminfo: memFree=766832/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=130712 CPUtime=160.76
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30591 0 0 0 15376 700 0 0 25 0 2 0 23551751 133849088 19584 996147200 134512640 135105188 4294956096 18446744073709551615 134748571 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/18056/statm: 32678 19584 199 144 0 32162 0
[pid=18056/tid=18058] ppid=18054 vsize=130712 CPUtime=0
/proc/18056/task/18058/stat : 18058 (bprolog) S 18054 18056 17977 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23553176 133849088 19584 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 130712
[startup+222.306 s]
/proc/loadavg: 2.05 2.22 2.15 5/84 18058
/proc/meminfo: memFree=765360/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=130712 CPUtime=220.19
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30591 0 0 0 21319 700 0 0 25 0 2 0 23551751 133849088 19584 996147200 134512640 135105188 4294956096 18446744073709551615 134748513 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/18056/statm: 32678 19584 199 144 0 32162 0
[pid=18056/tid=18058] ppid=18054 vsize=130712 CPUtime=0
/proc/18056/task/18058/stat : 18058 (bprolog) S 18054 18056 17977 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23553176 133849088 19584 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 130712
[startup+282.301 s]
/proc/loadavg: 2.02 2.17 2.14 4/84 18058
/proc/meminfo: memFree=763568/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=130712 CPUtime=279.63
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30591 0 0 0 27263 700 0 0 25 0 2 0 23551751 133849088 19584 996147200 134512640 135105188 4294956096 18446744073709551615 134718162 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/18056/statm: 32678 19584 199 144 0 32162 0
[pid=18056/tid=18058] ppid=18054 vsize=130712 CPUtime=0
/proc/18056/task/18058/stat : 18058 (bprolog) S 18054 18056 17977 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23553176 133849088 19584 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 130712
[startup+342.302 s]
/proc/loadavg: 2.00 2.14 2.13 4/84 18058
/proc/meminfo: memFree=761840/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=130712 CPUtime=339.06
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30591 0 0 0 33206 700 0 0 25 0 2 0 23551751 133849088 19584 996147200 134512640 135105188 4294956096 18446744073709551615 134749117 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/18056/statm: 32678 19584 199 144 0 32162 0
[pid=18056/tid=18058] ppid=18054 vsize=130712 CPUtime=0
/proc/18056/task/18058/stat : 18058 (bprolog) S 18054 18056 17977 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23553176 133849088 19584 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.06
Current children cumulated vsize (KiB) 130712
[startup+402.301 s]
/proc/loadavg: 2.00 2.11 2.12 3/84 18058
/proc/meminfo: memFree=759408/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=130712 CPUtime=398.51
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30591 0 0 0 39151 700 0 0 25 0 2 0 23551751 133849088 19584 996147200 134512640 135105188 4294956096 18446744073709551615 134718165 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/18056/statm: 32678 19584 199 144 0 32162 0
[pid=18056/tid=18058] ppid=18054 vsize=130712 CPUtime=0
/proc/18056/task/18058/stat : 18058 (bprolog) S 18054 18056 17977 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23553176 133849088 19584 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.51
Current children cumulated vsize (KiB) 130712
[startup+462.302 s]
/proc/loadavg: 2.31 2.16 2.13 5/89 19859
/proc/meminfo: memFree=720112/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=130712 CPUtime=457.83
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30592 0 0 0 45081 702 0 0 25 0 2 0 23551751 133849088 19585 996147200 134512640 135105188 4294956096 18446744073709551615 134718080 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18056/statm: 32678 19585 199 144 0 32162 0
[pid=18056/tid=18058] ppid=18054 vsize=130712 CPUtime=0
/proc/18056/task/18058/stat : 18058 (bprolog) S 18054 18056 17977 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23553176 133849088 19585 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 457.83
Current children cumulated vsize (KiB) 130712
[startup+522.301 s]
/proc/loadavg: 2.78 2.32 2.19 5/87 24994
/proc/meminfo: memFree=712264/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=130712 CPUtime=516.21
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30592 0 0 0 50916 705 0 0 25 0 2 0 23551751 133849088 19585 996147200 134512640 135105188 4294956096 18446744073709551615 134748532 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18056/statm: 32678 19585 199 144 0 32162 0
[pid=18056/tid=18058] ppid=18054 vsize=130712 CPUtime=0
/proc/18056/task/18058/stat : 18058 (bprolog) S 18054 18056 17977 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23553176 133849088 19585 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 516.21
Current children cumulated vsize (KiB) 130712
################
# More data... #
################
[pid=18056/tid=20737] ppid=18054 vsize=140956 CPUtime=0
/proc/18056/task/20737/stat : 20737 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 23643194 144338944 19586 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1183.18
Current children cumulated vsize (KiB) 140956
[startup+1302.3 s]
/proc/loadavg: 2.00 2.17 2.26 3/85 20737
/proc/meminfo: memFree=166232/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=140956 CPUtime=1242.9
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30593 0 0 0 123569 721 0 0 25 0 3 0 23551751 144338944 19586 996147200 134512640 135105188 4294956096 18446744073709551615 134748450 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/18056/statm: 35239 19586 199 144 0 34723 0
[pid=18056/tid=18058] ppid=18054 vsize=140956 CPUtime=0
/proc/18056/task/18058/stat : 18058 (bprolog) S 18054 18056 17977 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23553176 144338944 19586 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18056/tid=20737] ppid=18054 vsize=140956 CPUtime=0
/proc/18056/task/20737/stat : 20737 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 23643194 144338944 19586 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1242.9
Current children cumulated vsize (KiB) 140956
[startup+1362.3 s]
/proc/loadavg: 2.00 2.14 2.24 3/85 20737
/proc/meminfo: memFree=156696/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=140956 CPUtime=1302.61
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30593 0 0 0 129540 721 0 0 25 0 3 0 23551751 144338944 19586 996147200 134512640 135105188 4294956096 18446744073709551615 134718113 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/18056/statm: 35239 19586 199 144 0 34723 0
[pid=18056/tid=18058] ppid=18054 vsize=140956 CPUtime=0
/proc/18056/task/18058/stat : 18058 (bprolog) S 18054 18056 17977 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23553176 144338944 19586 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18056/tid=20737] ppid=18054 vsize=140956 CPUtime=0
/proc/18056/task/20737/stat : 20737 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 23643194 144338944 19586 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1302.61
Current children cumulated vsize (KiB) 140956
[startup+1422.31 s]
/proc/loadavg: 2.00 2.11 2.23 3/86 20738
/proc/meminfo: memFree=137744/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=151200 CPUtime=1362.32
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30594 0 0 0 135510 722 0 0 25 0 4 0 23551751 154828800 19587 996147200 134512640 135105188 4294956096 18446744073709551615 134748387 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/18056/statm: 37800 19587 199 144 0 37284 0
[pid=18056/tid=18058] ppid=18054 vsize=151200 CPUtime=0
/proc/18056/task/18058/stat : 18058 (bprolog) S 18054 18056 17977 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 23553176 154828800 19587 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18056/tid=20737] ppid=18054 vsize=151200 CPUtime=0
/proc/18056/task/20737/stat : 20737 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 23643194 154828800 19587 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18056/tid=20738] ppid=18054 vsize=151200 CPUtime=0
/proc/18056/task/20738/stat : 20738 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 23688202 154828800 19587 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 151200
[startup+1482.3 s]
/proc/loadavg: 2.00 2.09 2.21 3/86 20738
/proc/meminfo: memFree=117328/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=151200 CPUtime=1422.03
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30594 0 0 0 141481 722 0 0 25 0 4 0 23551751 154828800 19587 996147200 134512640 135105188 4294956096 18446744073709551615 134748652 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/18056/statm: 37800 19587 199 144 0 37284 0
[pid=18056/tid=18058] ppid=18054 vsize=151200 CPUtime=0
/proc/18056/task/18058/stat : 18058 (bprolog) S 18054 18056 17977 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 23553176 154828800 19587 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18056/tid=20737] ppid=18054 vsize=151200 CPUtime=0
/proc/18056/task/20737/stat : 20737 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 23643194 154828800 19587 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18056/tid=20738] ppid=18054 vsize=151200 CPUtime=0
/proc/18056/task/20738/stat : 20738 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 23688202 154828800 19587 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 151200
[startup+1542.3 s]
/proc/loadavg: 2.00 2.07 2.19 3/86 20738
/proc/meminfo: memFree=107664/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=151200 CPUtime=1481.73
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30594 0 0 0 147451 722 0 0 25 0 4 0 23551751 154828800 19587 996147200 134512640 135105188 4294956096 18446744073709551615 134748652 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/18056/statm: 37800 19587 199 144 0 37284 0
[pid=18056/tid=18058] ppid=18054 vsize=151200 CPUtime=0
/proc/18056/task/18058/stat : 18058 (bprolog) S 18054 18056 17977 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 23553176 154828800 19587 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18056/tid=20737] ppid=18054 vsize=151200 CPUtime=0
/proc/18056/task/20737/stat : 20737 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 23643194 154828800 19587 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18056/tid=20738] ppid=18054 vsize=151200 CPUtime=0
/proc/18056/task/20738/stat : 20738 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 23688202 154828800 19587 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 151200
[startup+1602.3 s]
/proc/loadavg: 2.00 2.05 2.18 3/79 20741
/proc/meminfo: memFree=506440/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=161444 CPUtime=1541.44
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30598 0 0 0 153421 723 0 0 25 0 5 0 23551751 165318656 19591 996147200 134512640 135105188 4294956096 18446744073709551615 134748356 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18056/statm: 40361 19591 199 144 0 39845 0
[pid=18056/tid=18058] ppid=18054 vsize=161444 CPUtime=0
/proc/18056/task/18058/stat : 18058 (bprolog) S 18054 18056 17977 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23553176 165318656 19591 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18056/tid=20737] ppid=18054 vsize=161444 CPUtime=0
/proc/18056/task/20737/stat : 20737 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23643194 165318656 19591 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18056/tid=20738] ppid=18054 vsize=161444 CPUtime=0
/proc/18056/task/20738/stat : 20738 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23688202 165318656 19591 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18056/tid=20739] ppid=18054 vsize=161444 CPUtime=0
/proc/18056/task/20739/stat : 20739 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 23710707 165318656 19591 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.44
Current children cumulated vsize (KiB) 161444
[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.16 3/79 20741
/proc/meminfo: memFree=360712/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=161444 CPUtime=1601.18
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30598 0 0 0 159395 723 0 0 25 0 5 0 23551751 165318656 19591 996147200 134512640 135105188 4294956096 18446744073709551615 134748547 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18056/statm: 40361 19591 199 144 0 39845 0
[pid=18056/tid=18058] ppid=18054 vsize=161444 CPUtime=0
/proc/18056/task/18058/stat : 18058 (bprolog) S 18054 18056 17977 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23553176 165318656 19591 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18056/tid=20737] ppid=18054 vsize=161444 CPUtime=0
/proc/18056/task/20737/stat : 20737 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23643194 165318656 19591 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18056/tid=20738] ppid=18054 vsize=161444 CPUtime=0
/proc/18056/task/20738/stat : 20738 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23688202 165318656 19591 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18056/tid=20739] ppid=18054 vsize=161444 CPUtime=0
/proc/18056/task/20739/stat : 20739 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 23710707 165318656 19591 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.18
Current children cumulated vsize (KiB) 161444
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.15 3/79 20741
/proc/meminfo: memFree=222984/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=161444 CPUtime=1660.95
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30598 0 0 0 165371 724 0 0 25 0 5 0 23551751 165318656 19591 996147200 134512640 135105188 4294956096 18446744073709551615 134748544 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18056/statm: 40361 19591 199 144 0 39845 0
[pid=18056/tid=18058] ppid=18054 vsize=161444 CPUtime=0
/proc/18056/task/18058/stat : 18058 (bprolog) S 18054 18056 17977 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23553176 165318656 19591 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18056/tid=20737] ppid=18054 vsize=161444 CPUtime=0
/proc/18056/task/20737/stat : 20737 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23643194 165318656 19591 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18056/tid=20738] ppid=18054 vsize=161444 CPUtime=0
/proc/18056/task/20738/stat : 20738 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23688202 165318656 19591 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18056/tid=20739] ppid=18054 vsize=161444 CPUtime=0
/proc/18056/task/20739/stat : 20739 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23710707 165318656 19591 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.95
Current children cumulated vsize (KiB) 161444
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.14 3/79 20741
/proc/meminfo: memFree=211592/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=161444 CPUtime=1720.69
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30598 0 0 0 171345 724 0 0 25 0 5 0 23551751 165318656 19591 996147200 134512640 135105188 4294956096 18446744073709551615 134718113 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/18056/statm: 40361 19591 199 144 0 39845 0
[pid=18056/tid=18058] ppid=18054 vsize=161444 CPUtime=0
/proc/18056/task/18058/stat : 18058 (bprolog) S 18054 18056 17977 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23553176 165318656 19591 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18056/tid=20737] ppid=18054 vsize=161444 CPUtime=0
/proc/18056/task/20737/stat : 20737 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23643194 165318656 19591 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18056/tid=20738] ppid=18054 vsize=161444 CPUtime=0
/proc/18056/task/20738/stat : 20738 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23688202 165318656 19591 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=18056/tid=20739] ppid=18054 vsize=161444 CPUtime=0
/proc/18056/task/20739/stat : 20739 (bprolog) S 18054 18056 17977 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23710707 165318656 19591 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.69
Current children cumulated vsize (KiB) 161444
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.13 3/75 20741
/proc/meminfo: memFree=208328/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=161444 CPUtime=1780.45
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30599 0 0 0 177321 724 0 0 25 0 1 0 23551751 165318656 19592 996147200 134512640 135105188 4294956096 18446744073709551615 134748476 0 0 4096 2 0 0 0 17 0 0 0
/proc/18056/statm: 40361 19592 200 144 0 39845 0
Current children cumulated CPU time (s) 1780.45
Current children cumulated vsize (KiB) 161444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1862 s]
/proc/loadavg: 2.00 2.02 2.12 3/75 20741
/proc/meminfo: memFree=208328/2055920 swapFree=4192956/4192956
[pid=18056] ppid=18054 vsize=161444 CPUtime=1800.07
/proc/18056/stat : 18056 (bprolog) R 18054 18056 17977 0 -1 4194304 30599 0 0 0 179283 724 0 0 25 0 1 0 23551751 165318656 19592 996147200 134512640 135105188 4294956096 18446744073709551615 134748487 0 0 4096 2 0 0 0 17 0 0 0
/proc/18056/statm: 40361 19592 200 144 0 39845 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 161444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1862.02
CPU time (s): 1800.1
CPU user time (s): 1792.84
CPU system time (s): 7.2599
CPU usage (%): 96.6745
Max. virtual memory (cumulated for all children) (KiB): 161444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.84
system time used= 7.2599
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30599
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= 11
involuntary context switches= 42394
runsolver used 2.28565 second user time and 6.18806 second system time
The end
Begin job on node47 at 2009-07-12 04:14:40
IDJOB=2077421
IDBENCH=56594
IDSOLVER=770
FILE ID=node47/2077421-1247364880
PBS_JOBID= 9507066
Free space on /tmp= 66464 MiB
SOLVER NAME= bpsolver 09
BENCH NAME= CPAI08/csp/ogdVg/normalized-crossword-m1c-ogd-vg10-13_ext.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2077421-1247364880/watcher-2077421-1247364880 -o /tmp/evaluation-result-2077421-1247364880/solver-2077421-1247364880 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2077421-1247364880 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5a7144764e7657f24f6c6030b3139617
RANDOM SEED=1019631390
node47.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.218
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.218
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: 852384 kB
Buffers: 71940 kB
Cached: 983352 kB
SwapCached: 0 kB
Active: 363208 kB
Inactive: 771212 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 852384 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 4488 kB
Writeback: 0 kB
Mapped: 99472 kB
Slab: 54200 kB
Committed_AS: 272500 kB
PageTables: 2044 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= 66200 MiB
End job on node47 at 2009-07-12 04:45:44