0.00/0.02 c bpsolver version 6.29.2009
0.00/0.02 c converting(HOME/instance-2080215-1247369338)
0.49/0.60 c Converted in 289 ms
0.58/0.69 c solving(HOME/instance-2080215-1247369338,1800000)
0.58/0.69 c solving(HOME/instance-2080215-1247369338,1800000)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2080215-1247369338/watcher-2080215-1247369338 -o /tmp/evaluation-result-2080215-1247369338/solver-2080215-1247369338 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2080215-1247369338 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.06 2.04 4/73 24185
/proc/meminfo: memFree=1659800/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=7000 CPUtime=0
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 621 0 0 0 0 0 0 0 20 0 1 0 23996500 7168000 339 996147200 134512640 135105188 4294956096 18446744073709551615 134530912 0 0 4096 0 0 0 0 17 1 0 0
/proc/24185/statm: 1750 339 72 144 0 1234 0
[startup+0.194565 s]
/proc/loadavg: 2.00 2.06 2.04 4/73 24185
/proc/meminfo: memFree=1659800/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=62208 CPUtime=0.18
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 1137 0 0 0 9 9 0 0 20 0 1 0 23996500 63700992 850 996147200 134512640 135105188 4294956096 18446744073709551615 134598224 0 0 4096 2 0 0 0 17 1 0 0
/proc/24185/statm: 15552 850 177 144 0 15036 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 62208
[startup+0.201567 s]
/proc/loadavg: 2.00 2.06 2.04 4/73 24185
/proc/meminfo: memFree=1659800/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=62208 CPUtime=0.18
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 1137 0 0 0 9 9 0 0 20 0 1 0 23996500 63700992 850 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/24185/statm: 15552 850 177 144 0 15036 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 62208
[startup+0.301575 s]
/proc/loadavg: 2.00 2.06 2.04 4/73 24185
/proc/meminfo: memFree=1659800/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=62208 CPUtime=0.28
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 1139 0 0 0 14 14 0 0 21 0 1 0 23996500 63700992 852 996147200 134512640 135105188 4294956096 18446744073709551615 134559580 0 0 4096 2 0 0 0 17 1 0 0
/proc/24185/statm: 15552 852 177 144 0 15036 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 62208
[startup+0.701616 s]
/proc/loadavg: 2.00 2.06 2.04 4/73 24185
/proc/meminfo: memFree=1659800/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=70312 CPUtime=0.68
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2051 0 0 0 40 28 0 0 25 0 1 0 23996500 71999488 1761 996147200 134512640 135105188 4294956096 18446744073709551615 134670844 0 0 4096 2 0 0 0 17 1 0 0
/proc/24185/statm: 17578 1761 188 144 0 17062 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 70312
[startup+1.5017 s]
/proc/loadavg: 2.00 2.06 2.04 3/75 24187
/proc/meminfo: memFree=1652744/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=80556 CPUtime=1.47
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2167 0 0 0 119 28 0 0 25 0 2 0 23996500 82489344 1877 996147200 134512640 135105188 4294956096 18446744073709551615 134736786 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 20139 1877 200 144 0 19623 0
[pid=24185/tid=24187] ppid=24183 vsize=80556 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23996582 82489344 1877 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 80556
[startup+3.10185 s]
/proc/loadavg: 2.00 2.06 2.04 3/75 24187
/proc/meminfo: memFree=1652616/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=80556 CPUtime=3.07
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2167 0 0 0 278 29 0 0 25 0 2 0 23996500 82489344 1877 996147200 134512640 135105188 4294956096 18446744073709551615 134729441 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 20139 1877 200 144 0 19623 0
[pid=24185/tid=24187] ppid=24183 vsize=80556 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23996582 82489344 1877 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) 80556
[startup+6.30217 s]
/proc/loadavg: 2.00 2.06 2.04 3/75 24187
/proc/meminfo: memFree=1652488/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=80556 CPUtime=6.24
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2167 0 0 0 595 29 0 0 25 0 2 0 23996500 82489344 1877 996147200 134512640 135105188 4294956096 18446744073709551615 134728376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 20139 1877 200 144 0 19623 0
[pid=24185/tid=24187] ppid=24183 vsize=80556 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23996582 82489344 1877 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 80556
[startup+12.7018 s]
/proc/loadavg: 2.00 2.05 2.03 3/75 24187
/proc/meminfo: memFree=1652296/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=80556 CPUtime=12.59
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2167 0 0 0 1230 29 0 0 25 0 2 0 23996500 82489344 1877 996147200 134512640 135105188 4294956096 18446744073709551615 134730893 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 20139 1877 200 144 0 19623 0
[pid=24185/tid=24187] ppid=24183 vsize=80556 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23996582 82489344 1877 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 80556
[startup+25.5011 s]
/proc/loadavg: 2.00 2.05 2.03 3/75 24187
/proc/meminfo: memFree=1652424/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=80556 CPUtime=25.3
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2174 0 0 0 2501 29 0 0 25 0 2 0 23996500 82489344 1884 996147200 134512640 135105188 4294956096 18446744073709551615 134727997 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 20139 1884 200 144 0 19623 0
[pid=24185/tid=24187] ppid=24183 vsize=80556 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23996582 82489344 1884 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 80556
[startup+51.1016 s]
/proc/loadavg: 2.00 2.05 2.03 3/75 24187
/proc/meminfo: memFree=1652360/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=80556 CPUtime=50.7
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2174 0 0 0 5041 29 0 0 25 0 2 0 23996500 82489344 1884 996147200 134512640 135105188 4294956096 18446744073709551615 134559780 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 20139 1884 200 144 0 19623 0
[pid=24185/tid=24187] ppid=24183 vsize=80556 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23996582 82489344 1884 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 80556
[startup+102.302 s]
/proc/loadavg: 2.00 2.04 2.03 3/75 24187
/proc/meminfo: memFree=1652296/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=80556 CPUtime=101.52
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2174 0 0 0 10123 29 0 0 25 0 2 0 23996500 82489344 1884 996147200 134512640 135105188 4294956096 18446744073709551615 134732238 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 20139 1884 200 144 0 19623 0
[pid=24185/tid=24187] ppid=24183 vsize=80556 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23996582 82489344 1884 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 80556
[startup+162.302 s]
/proc/loadavg: 2.00 2.03 2.02 3/75 24187
/proc/meminfo: memFree=1652232/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=80556 CPUtime=161.06
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2174 0 0 0 16077 29 0 0 25 0 2 0 23996500 82489344 1884 996147200 134512640 135105188 4294956096 18446744073709551615 134730753 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 20139 1884 200 144 0 19623 0
[pid=24185/tid=24187] ppid=24183 vsize=80556 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23996582 82489344 1884 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.06
Current children cumulated vsize (KiB) 80556
[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.01 3/75 24187
/proc/meminfo: memFree=1652168/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=80556 CPUtime=220.61
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2174 0 0 0 22032 29 0 0 25 0 2 0 23996500 82489344 1884 996147200 134512640 135105188 4294956096 18446744073709551615 134728482 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 20139 1884 200 144 0 19623 0
[pid=24185/tid=24187] ppid=24183 vsize=80556 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23996582 82489344 1884 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.61
Current children cumulated vsize (KiB) 80556
[startup+282.302 s]
/proc/loadavg: 2.00 2.02 2.01 3/75 24187
/proc/meminfo: memFree=1652168/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=80556 CPUtime=280.16
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2174 0 0 0 27987 29 0 0 25 0 2 0 23996500 82489344 1884 996147200 134512640 135105188 4294956096 18446744073709551615 134734140 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 20139 1884 200 144 0 19623 0
[pid=24185/tid=24187] ppid=24183 vsize=80556 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23996582 82489344 1884 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.16
Current children cumulated vsize (KiB) 80556
[startup+342.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/75 24187
/proc/meminfo: memFree=1652176/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=80556 CPUtime=339.71
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2174 0 0 0 33941 30 0 0 25 0 2 0 23996500 82489344 1884 996147200 134512640 135105188 4294956096 18446744073709551615 134731029 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 20139 1884 200 144 0 19623 0
[pid=24185/tid=24187] ppid=24183 vsize=80556 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23996582 82489344 1884 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.71
Current children cumulated vsize (KiB) 80556
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 24188
/proc/meminfo: memFree=1652168/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=80556 CPUtime=399.26
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2174 0 0 0 39896 30 0 0 25 0 2 0 23996500 82489344 1884 996147200 134512640 135105188 4294956096 18446744073709551615 134729868 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 20139 1884 200 144 0 19623 0
[pid=24185/tid=24187] ppid=24183 vsize=80556 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23996582 82489344 1884 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.26
Current children cumulated vsize (KiB) 80556
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 24188
/proc/meminfo: memFree=1652168/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=80556 CPUtime=458.8
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2174 0 0 0 45850 30 0 0 25 0 2 0 23996500 82489344 1884 996147200 134512640 135105188 4294956096 18446744073709551615 134730007 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 20139 1884 200 144 0 19623 0
[pid=24185/tid=24187] ppid=24183 vsize=80556 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23996582 82489344 1884 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.8
Current children cumulated vsize (KiB) 80556
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 24188
################
# More data... #
################
[pid=24185] ppid=24183 vsize=90800 CPUtime=1113.83
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2180 0 0 0 111351 32 0 0 25 0 3 0 23996500 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 134734348 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 22700 1890 200 144 0 22184 0
[pid=24185/tid=24187] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23996582 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24185/tid=24190] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24190/stat : 24190 (bprolog) S 24183 24185 18582 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24086599 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1113.83
Current children cumulated vsize (KiB) 90800
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/79 24191
/proc/meminfo: memFree=1651632/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=90800 CPUtime=1173.38
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2180 0 0 0 117306 32 0 0 25 0 3 0 23996500 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 134733738 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 22700 1890 200 144 0 22184 0
[pid=24185/tid=24187] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23996582 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24185/tid=24190] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24190/stat : 24190 (bprolog) S 24183 24185 18582 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24086599 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1173.38
Current children cumulated vsize (KiB) 90800
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/79 24191
/proc/meminfo: memFree=1651376/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=90800 CPUtime=1232.92
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2180 0 0 0 123260 32 0 0 25 0 3 0 23996500 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 134731896 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 22700 1890 200 144 0 22184 0
[pid=24185/tid=24187] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23996582 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24185/tid=24190] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24190/stat : 24190 (bprolog) S 24183 24185 18582 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24086599 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1232.92
Current children cumulated vsize (KiB) 90800
[startup+1302.3 s]
/proc/loadavg: 1.93 1.99 1.99 3/75 24219
/proc/meminfo: memFree=1686280/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=90800 CPUtime=1292.49
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2180 0 0 0 129216 33 0 0 25 0 3 0 23996500 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 134733280 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 22700 1890 200 144 0 22184 0
[pid=24185/tid=24187] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23996582 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24185/tid=24190] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24190/stat : 24190 (bprolog) S 24183 24185 18582 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24086599 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1292.49
Current children cumulated vsize (KiB) 90800
[startup+1362.3 s]
/proc/loadavg: 1.97 1.99 1.99 3/75 24221
/proc/meminfo: memFree=1686032/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=90800 CPUtime=1352.03
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2180 0 0 0 135170 33 0 0 25 0 3 0 23996500 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 134730785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 22700 1890 200 144 0 22184 0
[pid=24185/tid=24187] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23996582 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24185/tid=24190] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24190/stat : 24190 (bprolog) S 24183 24185 18582 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 24086599 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1352.03
Current children cumulated vsize (KiB) 90800
[startup+1422.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/75 24221
/proc/meminfo: memFree=1686096/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=90800 CPUtime=1411.58
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2180 0 0 0 141125 33 0 0 25 0 3 0 23996500 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 134730818 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 22700 1890 200 144 0 22184 0
[pid=24185/tid=24187] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23996582 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24185/tid=24190] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24190/stat : 24190 (bprolog) S 24183 24185 18582 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 24086599 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1411.58
Current children cumulated vsize (KiB) 90800
[startup+1482.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/75 24221
/proc/meminfo: memFree=1686032/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=90800 CPUtime=1471.12
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2180 0 0 0 147079 33 0 0 25 0 3 0 23996500 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 134630126 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 22700 1890 200 144 0 22184 0
[pid=24185/tid=24187] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23996582 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24185/tid=24190] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24190/stat : 24190 (bprolog) S 24183 24185 18582 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 24086599 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1471.12
Current children cumulated vsize (KiB) 90800
[startup+1542.31 s]
/proc/loadavg: 1.99 1.99 1.99 3/75 24221
/proc/meminfo: memFree=1686032/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=90800 CPUtime=1530.68
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2180 0 0 0 153034 34 0 0 25 0 3 0 23996500 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 134731759 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 22700 1890 200 144 0 22184 0
[pid=24185/tid=24187] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23996582 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24185/tid=24190] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24190/stat : 24190 (bprolog) S 24183 24185 18582 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 24086599 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.68
Current children cumulated vsize (KiB) 90800
[startup+1602.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/75 24221
/proc/meminfo: memFree=1686032/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=90800 CPUtime=1590.22
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2180 0 0 0 158988 34 0 0 25 0 3 0 23996500 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 134734133 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 22700 1890 200 144 0 22184 0
[pid=24185/tid=24187] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23996582 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24185/tid=24190] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24190/stat : 24190 (bprolog) S 24183 24185 18582 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 24086599 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1590.22
Current children cumulated vsize (KiB) 90800
[startup+1662.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/75 24221
/proc/meminfo: memFree=1686032/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=90800 CPUtime=1649.76
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2180 0 0 0 164942 34 0 0 25 0 3 0 23996500 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 134727712 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 22700 1890 200 144 0 22184 0
[pid=24185/tid=24187] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23996582 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24185/tid=24190] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24190/stat : 24190 (bprolog) S 24183 24185 18582 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 24086599 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1649.76
Current children cumulated vsize (KiB) 90800
[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/75 24221
/proc/meminfo: memFree=1686032/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=90800 CPUtime=1709.32
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2180 0 0 0 170897 35 0 0 25 0 3 0 23996500 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 134730904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 22700 1890 200 144 0 22184 0
[pid=24185/tid=24187] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23996582 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24185/tid=24190] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24190/stat : 24190 (bprolog) S 24183 24185 18582 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 24086599 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1709.32
Current children cumulated vsize (KiB) 90800
[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/75 24221
/proc/meminfo: memFree=1685904/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=90800 CPUtime=1768.87
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2180 0 0 0 176852 35 0 0 25 0 3 0 23996500 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 134727656 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24185/statm: 22700 1890 200 144 0 22184 0
[pid=24185/tid=24187] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24187/stat : 24187 (bprolog) S 24183 24185 18582 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23996582 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24185/tid=24190] ppid=24183 vsize=90800 CPUtime=0
/proc/24185/task/24190/stat : 24190 (bprolog) S 24183 24185 18582 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 24086599 92979200 1890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.87
Current children cumulated vsize (KiB) 90800
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.7 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 24221
/proc/meminfo: memFree=1685904/2055920 swapFree=4192812/4192956
[pid=24185] ppid=24183 vsize=90800 CPUtime=1800.03
/proc/24185/stat : 24185 (bprolog) R 24183 24185 18582 0 -1 4194304 2181 0 0 0 179968 35 0 0 25 0 1 0 23996500 92979200 1891 996147200 134512640 135105188 4294956096 18446744073709551615 134728932 0 0 4096 2 0 0 0 17 1 0 0
/proc/24185/statm: 22700 1891 201 144 0 22184 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 90800
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): 1813.71
CPU time (s): 1800.04
CPU user time (s): 1799.68
CPU system time (s): 0.357945
CPU usage (%): 99.2465
Max. virtual memory (cumulated for all children) (KiB): 90800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.357945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2181
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= 39239
runsolver used 1.81572 second user time and 4.79127 second system time
The end
Begin job on node70 at 2009-07-12 05:28:58
IDJOB=2080215
IDBENCH=57033
IDSOLVER=770
FILE ID=node70/2080215-1247369338
PBS_JOBID= 9507007
Free space on /tmp= 66416 MiB
SOLVER NAME= bpsolver 09
BENCH NAME= CPAI08/csp/js-taillard-20-15/normalized-js-taillard-20-15-105-0.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080215-1247369338/watcher-2080215-1247369338 -o /tmp/evaluation-result-2080215-1247369338/solver-2080215-1247369338 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2080215-1247369338 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a7e24af60e92a1b4969e8de32e0c94e1
RANDOM SEED=1588424722
node70.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.214
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.214
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: 1660280 kB
Buffers: 23168 kB
Cached: 247336 kB
SwapCached: 0 kB
Active: 169224 kB
Inactive: 153672 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1660280 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1752 kB
Writeback: 0 kB
Mapped: 63056 kB
Slab: 58232 kB
Committed_AS: 242752 kB
PageTables: 1784 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= 66416 MiB
End job on node70 at 2009-07-12 05:59:14