0.00/0.02 c bpsolver version 6.29.2009
0.00/0.02 c converting(HOME/instance-2086815-1247384468)
0.78/0.80 c Converted in 382 ms
0.88/0.93 c solving(HOME/instance-2086815-1247384468,1800000)
0.88/0.93 c solving(HOME/instance-2086815-1247384468,1800000)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2086815-1247384468/watcher-2086815-1247384468 -o /tmp/evaluation-result-2086815-1247384468/solver-2086815-1247384468 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2086815-1247384468 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.12 2.03 2.01 3/82 27844
/proc/meminfo: memFree=1578312/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=5256 CPUtime=0
/proc/27844/stat : 27844 (sh) R 27842 27844 27000 0 -1 4194304 63 0 0 0 0 0 0 0 20 0 1 0 25138486 5382144 47 996147200 4194304 4889804 548682068864 18446744073709551615 209133289916 0 0 4096 0 0 0 0 17 1 0 0
/proc/27844/statm: 1314 47 36 169 0 13 0
[startup+0.0574791 s]
/proc/loadavg: 2.12 2.03 2.01 3/82 27844
/proc/meminfo: memFree=1578312/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=62208 CPUtime=0.04
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 1106 0 0 0 3 1 0 0 20 0 1 0 25138486 63700992 819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/27844/statm: 15552 819 174 144 0 15036 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 62208
[startup+0.102476 s]
/proc/loadavg: 2.12 2.03 2.01 3/82 27844
/proc/meminfo: memFree=1578312/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=62208 CPUtime=0.09
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 1146 0 0 0 5 4 0 0 20 0 1 0 25138486 63700992 859 996147200 134512640 135105188 4294956096 18446744073709551615 134669629 0 0 4096 2 0 0 0 17 1 0 0
/proc/27844/statm: 15552 859 177 144 0 15036 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 62208
[startup+0.302493 s]
/proc/loadavg: 2.12 2.03 2.01 3/82 27844
/proc/meminfo: memFree=1578312/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=62208 CPUtime=0.28
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 1151 0 0 0 15 13 0 0 21 0 1 0 25138486 63700992 864 996147200 134512640 135105188 4294956096 18446744073709551615 134566444 0 0 4096 2 0 0 0 17 1 0 0
/proc/27844/statm: 15552 864 177 144 0 15036 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 62208
[startup+0.702533 s]
/proc/loadavg: 2.12 2.03 2.01 3/82 27844
/proc/meminfo: memFree=1578312/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=62208 CPUtime=0.68
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 1158 0 0 0 34 34 0 0 25 0 1 0 25138486 63700992 871 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/27844/statm: 15552 871 177 144 0 15036 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 62208
[startup+1.5016 s]
/proc/loadavg: 2.12 2.03 2.01 3/83 27845
/proc/meminfo: memFree=1570304/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=80656 CPUtime=1.48
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2515 0 0 0 108 40 0 0 25 0 2 0 25138486 82591744 2225 996147200 134512640 135105188 4294956096 18446744073709551615 134732467 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/27844/statm: 20164 2225 199 144 0 19648 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 80656
[startup+3.10174 s]
/proc/loadavg: 2.12 2.03 2.01 3/84 27846
/proc/meminfo: memFree=1569656/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=80656 CPUtime=3.07
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2515 0 0 0 267 40 0 0 25 0 2 0 25138486 82591744 2225 996147200 134512640 135105188 4294956096 18446744073709551615 134726927 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/27844/statm: 20164 2225 199 144 0 19648 0
[pid=27844/tid=27846] ppid=27842 vsize=80656 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25138599 82591744 2225 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 80656
[startup+6.30102 s]
/proc/loadavg: 2.11 2.03 2.01 3/84 27846
/proc/meminfo: memFree=1567096/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=80656 CPUtime=6.23
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2516 0 0 0 583 40 0 0 25 0 2 0 25138486 82591744 2226 996147200 134512640 135105188 4294956096 18446744073709551615 134733871 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/27844/statm: 20164 2226 199 144 0 19648 0
[pid=27844/tid=27846] ppid=27842 vsize=80656 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25138599 82591744 2226 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 80656
[startup+12.7016 s]
/proc/loadavg: 2.10 2.03 2.01 3/84 27846
/proc/meminfo: memFree=1563448/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=80656 CPUtime=12.57
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2517 0 0 0 1217 40 0 0 25 0 2 0 25138486 82591744 2227 996147200 134512640 135105188 4294956096 18446744073709551615 134727772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/27844/statm: 20164 2227 199 144 0 19648 0
[pid=27844/tid=27846] ppid=27842 vsize=80656 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25138599 82591744 2227 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 80656
[startup+25.5017 s]
/proc/loadavg: 2.08 2.03 2.01 3/84 27846
/proc/meminfo: memFree=1558968/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=80656 CPUtime=25.26
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2518 0 0 0 2486 40 0 0 25 0 2 0 25138486 82591744 2228 996147200 134512640 135105188 4294956096 18446744073709551615 135025539 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/27844/statm: 20164 2228 199 144 0 19648 0
[pid=27844/tid=27846] ppid=27842 vsize=80656 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25138599 82591744 2228 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) 80656
[startup+51.103 s]
/proc/loadavg: 2.18 2.06 2.01 3/76 27897
/proc/meminfo: memFree=1893312/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=80656 CPUtime=50.75
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2518 0 0 0 5034 41 0 0 25 0 2 0 25138486 82591744 2228 996147200 134512640 135105188 4294956096 18446744073709551615 134730229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/27844/statm: 20164 2228 199 144 0 19648 0
[pid=27844/tid=27846] ppid=27842 vsize=80656 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25138599 82591744 2228 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 80656
[startup+102.308 s]
/proc/loadavg: 2.08 2.05 2.01 3/76 27897
/proc/meminfo: memFree=1892800/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=80656 CPUtime=101.93
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2518 0 0 0 10152 41 0 0 25 0 2 0 25138486 82591744 2228 996147200 134512640 135105188 4294956096 18446744073709551615 134728035 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/27844/statm: 20164 2228 199 144 0 19648 0
[pid=27844/tid=27846] ppid=27842 vsize=80656 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25138599 82591744 2228 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 80656
[startup+162.303 s]
/proc/loadavg: 2.03 2.03 2.00 3/76 27897
/proc/meminfo: memFree=1892416/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=80656 CPUtime=161.9
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2519 0 0 0 16149 41 0 0 25 0 2 0 25138486 82591744 2229 996147200 134512640 135105188 4294956096 18446744073709551615 134728482 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/27844/statm: 20164 2229 199 144 0 19648 0
[pid=27844/tid=27846] ppid=27842 vsize=80656 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25138599 82591744 2229 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.9
Current children cumulated vsize (KiB) 80656
[startup+222.302 s]
/proc/loadavg: 2.01 2.03 2.00 3/76 27897
/proc/meminfo: memFree=1892032/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=80656 CPUtime=221.88
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2519 0 0 0 22147 41 0 0 25 0 2 0 25138486 82591744 2229 996147200 134512640 135105188 4294956096 18446744073709551615 134729318 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/27844/statm: 20164 2229 199 144 0 19648 0
[pid=27844/tid=27846] ppid=27842 vsize=80656 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25138599 82591744 2229 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.88
Current children cumulated vsize (KiB) 80656
[startup+282.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 27897
/proc/meminfo: memFree=1891712/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=80656 CPUtime=281.86
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2519 0 0 0 28145 41 0 0 25 0 2 0 25138486 82591744 2229 996147200 134512640 135105188 4294956096 18446744073709551615 134733727 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/27844/statm: 20164 2229 199 144 0 19648 0
[pid=27844/tid=27846] ppid=27842 vsize=80656 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25138599 82591744 2229 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.86
Current children cumulated vsize (KiB) 80656
[startup+342.303 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 27897
/proc/meminfo: memFree=1891584/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=80656 CPUtime=341.84
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2519 0 0 0 34143 41 0 0 25 0 2 0 25138486 82591744 2229 996147200 134512640 135105188 4294956096 18446744073709551615 134728432 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/27844/statm: 20164 2229 199 144 0 19648 0
[pid=27844/tid=27846] ppid=27842 vsize=80656 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25138599 82591744 2229 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.84
Current children cumulated vsize (KiB) 80656
[startup+402.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 27897
/proc/meminfo: memFree=1891200/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=80656 CPUtime=401.81
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2519 0 0 0 40140 41 0 0 25 0 2 0 25138486 82591744 2229 996147200 134512640 135105188 4294956096 18446744073709551615 134729270 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/27844/statm: 20164 2229 199 144 0 19648 0
[pid=27844/tid=27846] ppid=27842 vsize=80656 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25138599 82591744 2229 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.81
Current children cumulated vsize (KiB) 80656
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 27934
/proc/meminfo: memFree=1785736/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=80656 CPUtime=461.51
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2519 0 0 0 46103 48 0 0 25 0 2 0 25138486 82591744 2229 996147200 134512640 135105188 4294956096 18446744073709551615 134718711 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/27844/statm: 20164 2229 199 144 0 19648 0
[pid=27844/tid=27846] ppid=27842 vsize=80656 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 25138599 82591744 2229 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 461.51
Current children cumulated vsize (KiB) 80656
[startup+522.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/71 27937
/proc/meminfo: memFree=1837408/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=80656 CPUtime=521.07
################
# More data... #
################
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/84 28056
/proc/meminfo: memFree=1694832/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=90900 CPUtime=1180.69
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2523 0 0 0 118006 63 0 0 25 0 3 0 25138486 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 134630284 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/27844/statm: 22725 2233 200 144 0 22209 0
[pid=27844/tid=27846] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 25138599 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=27844/tid=28056] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/28056/stat : 28056 (bprolog) S 27842 27844 27000 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 25228615 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1180.69
Current children cumulated vsize (KiB) 90900
[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/84 28062
/proc/meminfo: memFree=1694760/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=90900 CPUtime=1240.66
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2523 0 0 0 124003 63 0 0 25 0 3 0 25138486 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 134728142 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/27844/statm: 22725 2233 200 144 0 22209 0
[pid=27844/tid=27846] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 25138599 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=27844/tid=28056] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/28056/stat : 28056 (bprolog) S 27842 27844 27000 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 25228615 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1240.66
Current children cumulated vsize (KiB) 90900
[startup+1302.3 s]
/proc/loadavg: 2.25 2.07 2.02 3/84 28062
/proc/meminfo: memFree=1694696/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=90900 CPUtime=1300.64
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2523 0 0 0 130001 63 0 0 25 0 3 0 25138486 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 134731854 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/27844/statm: 22725 2233 200 144 0 22209 0
[pid=27844/tid=27846] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 25138599 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=27844/tid=28056] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/28056/stat : 28056 (bprolog) S 27842 27844 27000 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 25228615 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1300.64
Current children cumulated vsize (KiB) 90900
[startup+1362.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/84 28062
/proc/meminfo: memFree=1694696/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=90900 CPUtime=1360.61
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2523 0 0 0 135998 63 0 0 25 0 3 0 25138486 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 134729832 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/27844/statm: 22725 2233 200 144 0 22209 0
[pid=27844/tid=27846] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 25138599 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=27844/tid=28056] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/28056/stat : 28056 (bprolog) S 27842 27844 27000 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 25228615 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1360.61
Current children cumulated vsize (KiB) 90900
[startup+1422.31 s]
/proc/loadavg: 2.04 2.06 2.01 3/84 28062
/proc/meminfo: memFree=1694632/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=90900 CPUtime=1420.6
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2523 0 0 0 141997 63 0 0 25 0 3 0 25138486 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 134730464 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/27844/statm: 22725 2233 200 144 0 22209 0
[pid=27844/tid=27846] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 25138599 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=27844/tid=28056] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/28056/stat : 28056 (bprolog) S 27842 27844 27000 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 25228615 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1420.6
Current children cumulated vsize (KiB) 90900
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/84 28062
/proc/meminfo: memFree=1694568/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=90900 CPUtime=1480.57
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2523 0 0 0 147994 63 0 0 25 0 3 0 25138486 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 134729953 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/27844/statm: 22725 2233 200 144 0 22209 0
[pid=27844/tid=27846] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 25138599 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=27844/tid=28056] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/28056/stat : 28056 (bprolog) S 27842 27844 27000 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 25228615 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1480.57
Current children cumulated vsize (KiB) 90900
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/84 28062
/proc/meminfo: memFree=1694576/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=90900 CPUtime=1540.55
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2523 0 0 0 153992 63 0 0 25 0 3 0 25138486 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 134630261 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/27844/statm: 22725 2233 200 144 0 22209 0
[pid=27844/tid=27846] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 25138599 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=27844/tid=28056] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/28056/stat : 28056 (bprolog) S 27842 27844 27000 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 25228615 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1540.55
Current children cumulated vsize (KiB) 90900
[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/84 28062
/proc/meminfo: memFree=1694576/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=90900 CPUtime=1600.52
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2523 0 0 0 159989 63 0 0 25 0 3 0 25138486 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 134730093 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/27844/statm: 22725 2233 200 144 0 22209 0
[pid=27844/tid=27846] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 25138599 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=27844/tid=28056] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/28056/stat : 28056 (bprolog) S 27842 27844 27000 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 25228615 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1600.52
Current children cumulated vsize (KiB) 90900
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/84 28062
/proc/meminfo: memFree=1694576/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=90900 CPUtime=1660.5
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2523 0 0 0 165987 63 0 0 25 0 3 0 25138486 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 134729325 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/27844/statm: 22725 2233 200 144 0 22209 0
[pid=27844/tid=27846] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 25138599 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=27844/tid=28056] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/28056/stat : 28056 (bprolog) S 27842 27844 27000 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 25228615 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1660.5
Current children cumulated vsize (KiB) 90900
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/84 28062
/proc/meminfo: memFree=1694512/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=90900 CPUtime=1720.48
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2523 0 0 0 171985 63 0 0 25 0 3 0 25138486 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 134630423 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/27844/statm: 22725 2233 200 144 0 22209 0
[pid=27844/tid=27846] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 25138599 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=27844/tid=28056] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/28056/stat : 28056 (bprolog) S 27842 27844 27000 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 25228615 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1720.48
Current children cumulated vsize (KiB) 90900
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/84 28062
/proc/meminfo: memFree=1694384/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=90900 CPUtime=1780.46
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2523 0 0 0 177983 63 0 0 25 0 3 0 25138486 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 134727874 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/27844/statm: 22725 2233 200 144 0 22209 0
[pid=27844/tid=27846] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/27846/stat : 27846 (bprolog) S 27842 27844 27000 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 25138599 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=27844/tid=28056] ppid=27842 vsize=90900 CPUtime=0
/proc/27844/task/28056/stat : 28056 (bprolog) S 27842 27844 27000 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 25228615 93081600 2233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.46
Current children cumulated vsize (KiB) 90900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 28062
/proc/meminfo: memFree=1694384/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=90900 CPUtime=1800.06
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2524 0 0 0 179943 63 0 0 25 0 1 0 25138486 93081600 2234 996147200 134512640 135105188 4294956096 18446744073709551615 134727935 0 0 4096 2 0 0 0 17 0 0 0
/proc/27844/statm: 22725 2234 201 144 0 22209 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 90900
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 28062
/proc/meminfo: memFree=1694384/2055920 swapFree=4192812/4192956
[pid=27844] ppid=27842 vsize=90900 CPUtime=1800.06
/proc/27844/stat : 27844 (bprolog) R 27842 27844 27000 0 -1 4194304 2524 0 0 0 179943 63 0 0 25 0 1 0 25138486 93081600 2234 996147200 134512640 135105188 4294956096 18446744073709551615 134727935 0 0 4096 2 0 0 0 17 0 0 0
/proc/27844/statm: 22725 2234 201 144 0 22209 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 90900
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.91
CPU time (s): 1800.07
CPU user time (s): 1799.43
CPU system time (s): 0.639902
CPU usage (%): 99.898
Max. virtual memory (cumulated for all children) (KiB): 90900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.639902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2524
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= 8
involuntary context switches= 10188
runsolver used 1.9817 second user time and 5.97209 second system time
The end
Begin job on node41 at 2009-07-12 09:41:08
IDJOB=2086815
IDBENCH=58637
IDSOLVER=770
FILE ID=node41/2086815-1247384468
PBS_JOBID= 9507177
Free space on /tmp= 65888 MiB
SOLVER NAME= bpsolver 09
BENCH NAME= CPAI08/csp/js-taillard-20/normalized-js-taillard-20-105-7.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2086815-1247384468/watcher-2086815-1247384468 -o /tmp/evaluation-result-2086815-1247384468/solver-2086815-1247384468 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2086815-1247384468 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 933af775481748d76719206dbc8b6623
RANDOM SEED=1220868722
node41.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.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.212
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: 1578792 kB
Buffers: 9876 kB
Cached: 68528 kB
SwapCached: 0 kB
Active: 399768 kB
Inactive: 25552 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1578792 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1896 kB
Writeback: 0 kB
Mapped: 367284 kB
Slab: 36460 kB
Committed_AS: 668076 kB
PageTables: 2432 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= 65856 MiB
End job on node41 at 2009-07-12 10:11:12