0.00/0.02 c bpsolver version 6.29.2009
0.00/0.02 c converting(HOME/instance-2080809-1247371305)
4.35/4.42 c Converted in 2060 ms
4.95/5.04 c solving(HOME/instance-2080809-1247371305,1800000)
4.95/5.04 c solving(HOME/instance-2080809-1247371305,1800000)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2080809-1247371305/watcher-2080809-1247371305 -o /tmp/evaluation-result-2080809-1247371305/solver-2080809-1247371305 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2080809-1247371305 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: 1.91 1.97 1.99 4/72 26719
/proc/meminfo: memFree=1582744/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=5596 CPUtime=0
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 293 0 0 0 0 0 0 0 22 0 1 0 24193286 5730304 24 996147200 134512640 135105188 4294956096 18446744073709551615 6889771 0 0 4096 0 0 0 0 17 1 0 0
/proc/26719/statm: 1399 24 18 144 0 1229 0
[startup+0.167466 s]
/proc/loadavg: 1.91 1.97 1.99 4/72 26719
/proc/meminfo: memFree=1582744/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=62208 CPUtime=0.15
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 1278 0 0 0 7 8 0 0 22 0 1 0 24193286 63700992 991 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/26719/statm: 15552 991 176 144 0 15036 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 62208
[startup+0.201353 s]
/proc/loadavg: 1.91 1.97 1.99 4/72 26719
/proc/meminfo: memFree=1582744/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=62208 CPUtime=0.18
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 1280 0 0 0 8 10 0 0 22 0 1 0 24193286 63700992 993 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/26719/statm: 15552 993 176 144 0 15036 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 62208
[startup+0.301358 s]
/proc/loadavg: 1.91 1.97 1.99 4/72 26719
/proc/meminfo: memFree=1582744/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=62208 CPUtime=0.28
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 1285 0 0 0 13 15 0 0 23 0 1 0 24193286 63700992 998 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/26719/statm: 15552 998 176 144 0 15036 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 62208
[startup+0.701398 s]
/proc/loadavg: 1.91 1.97 1.99 4/72 26719
/proc/meminfo: memFree=1582744/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=62208 CPUtime=0.68
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 1296 0 0 0 32 36 0 0 25 0 1 0 24193286 63700992 1009 996147200 134512640 135105188 4294956096 18446744073709551615 7306440 0 0 4096 2 0 0 0 17 1 0 0
/proc/26719/statm: 15552 1009 176 144 0 15036 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 62208
[startup+1.50148 s]
/proc/loadavg: 1.91 1.97 1.99 3/73 26720
/proc/meminfo: memFree=1578896/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=62208 CPUtime=1.48
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 1313 0 0 0 71 77 0 0 25 0 1 0 24193286 63700992 1026 996147200 134512640 135105188 4294956096 18446744073709551615 7259987 0 0 4096 2 0 0 0 17 1 0 0
/proc/26719/statm: 15552 1026 176 144 0 15036 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 62208
[startup+3.10164 s]
/proc/loadavg: 1.91 1.97 1.99 3/73 26720
/proc/meminfo: memFree=1578064/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=62208 CPUtime=3.06
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 1344 0 0 0 146 160 0 0 25 0 1 0 24193286 63700992 1057 996147200 134512640 135105188 4294956096 18446744073709551615 134557108 0 0 4096 2 0 0 0 17 1 0 0
/proc/26719/statm: 15552 1057 176 144 0 15036 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 62208
[startup+6.30297 s]
/proc/loadavg: 1.92 1.97 1.99 3/73 26720
/proc/meminfo: memFree=1553360/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=82476 CPUtime=6.24
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 7326 0 0 0 392 232 0 0 25 0 1 0 24193286 84455424 7034 996147200 134512640 135105188 4294956096 18446744073709551615 134570635 0 0 4096 2 0 0 0 17 1 0 0
/proc/26719/statm: 20619 7034 191 144 0 20103 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 82476
[startup+12.7016 s]
/proc/loadavg: 1.93 1.97 1.99 3/73 26720
/proc/meminfo: memFree=1552976/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=82608 CPUtime=12.58
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 7423 0 0 0 1026 232 0 0 25 0 1 0 24193286 84590592 7131 996147200 134512640 135105188 4294956096 18446744073709551615 134684457 0 0 4096 2 0 0 0 17 1 0 0
/proc/26719/statm: 20652 7131 191 144 0 20136 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 82608
[startup+25.5019 s]
/proc/loadavg: 1.94 1.97 1.99 3/74 26721
/proc/meminfo: memFree=1553096/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=92852 CPUtime=25.29
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 7432 0 0 0 2297 232 0 0 25 0 2 0 24193286 95080448 7140 996147200 134512640 135105188 4294956096 18446744073709551615 134848746 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/26719/statm: 23213 7140 199 144 0 22697 0
[pid=26719/tid=26721] ppid=26717 vsize=92852 CPUtime=0
/proc/26719/task/26721/stat : 26721 (bprolog) S 26717 26719 22427 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24195583 95080448 7140 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 92852
[startup+51.1016 s]
/proc/loadavg: 1.96 1.97 1.99 3/74 26721
/proc/meminfo: memFree=1553032/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=92852 CPUtime=50.7
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 7432 0 0 0 4837 233 0 0 25 0 2 0 24193286 95080448 7140 996147200 134512640 135105188 4294956096 18446744073709551615 134722370 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/26719/statm: 23213 7140 199 144 0 22697 0
[pid=26719/tid=26721] ppid=26717 vsize=92852 CPUtime=0
/proc/26719/task/26721/stat : 26721 (bprolog) S 26717 26719 22427 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24195583 95080448 7140 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) 92852
[startup+102.302 s]
/proc/loadavg: 1.98 1.97 1.99 3/74 26721
/proc/meminfo: memFree=1552968/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=92852 CPUtime=101.51
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 7432 0 0 0 9918 233 0 0 25 0 2 0 24193286 95080448 7140 996147200 134512640 135105188 4294956096 18446744073709551615 134722192 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/26719/statm: 23213 7140 199 144 0 22697 0
[pid=26719/tid=26721] ppid=26717 vsize=92852 CPUtime=0
/proc/26719/task/26721/stat : 26721 (bprolog) S 26717 26719 22427 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24195583 95080448 7140 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 92852
[startup+162.302 s]
/proc/loadavg: 2.05 1.99 1.99 3/74 26721
/proc/meminfo: memFree=1553032/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=92852 CPUtime=161.05
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 7432 0 0 0 15872 233 0 0 25 0 2 0 24193286 95080448 7140 996147200 134512640 135105188 4294956096 18446744073709551615 134848760 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/26719/statm: 23213 7140 199 144 0 22697 0
[pid=26719/tid=26721] ppid=26717 vsize=92852 CPUtime=0
/proc/26719/task/26721/stat : 26721 (bprolog) S 26717 26719 22427 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24195583 95080448 7140 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.05
Current children cumulated vsize (KiB) 92852
[startup+222.305 s]
/proc/loadavg: 2.07 2.00 2.00 3/74 26721
/proc/meminfo: memFree=1553032/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=92852 CPUtime=220.6
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 7432 0 0 0 21827 233 0 0 25 0 2 0 24193286 95080448 7140 996147200 134512640 135105188 4294956096 18446744073709551615 134849570 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/26719/statm: 23213 7140 199 144 0 22697 0
[pid=26719/tid=26721] ppid=26717 vsize=92852 CPUtime=0
/proc/26719/task/26721/stat : 26721 (bprolog) S 26717 26719 22427 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24195583 95080448 7140 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.6
Current children cumulated vsize (KiB) 92852
[startup+282.301 s]
/proc/loadavg: 2.07 2.01 2.00 3/74 26721
/proc/meminfo: memFree=1553032/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=92852 CPUtime=280.15
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 7432 0 0 0 27782 233 0 0 25 0 2 0 24193286 95080448 7140 996147200 134512640 135105188 4294956096 18446744073709551615 134849570 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/26719/statm: 23213 7140 199 144 0 22697 0
[pid=26719/tid=26721] ppid=26717 vsize=92852 CPUtime=0
/proc/26719/task/26721/stat : 26721 (bprolog) S 26717 26719 22427 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24195583 95080448 7140 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.15
Current children cumulated vsize (KiB) 92852
[startup+342.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/74 26721
/proc/meminfo: memFree=1552976/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=92852 CPUtime=339.7
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 7432 0 0 0 33736 234 0 0 25 0 2 0 24193286 95080448 7140 996147200 134512640 135105188 4294956096 18446744073709551615 134607727 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/26719/statm: 23213 7140 199 144 0 22697 0
[pid=26719/tid=26721] ppid=26717 vsize=92852 CPUtime=0
/proc/26719/task/26721/stat : 26721 (bprolog) S 26717 26719 22427 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24195583 95080448 7140 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.7
Current children cumulated vsize (KiB) 92852
[startup+402.302 s]
/proc/loadavg: 2.09 2.04 2.01 3/74 26721
/proc/meminfo: memFree=1552784/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=92852 CPUtime=399.25
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 7432 0 0 0 39691 234 0 0 25 0 2 0 24193286 95080448 7140 996147200 134512640 135105188 4294956096 18446744073709551615 134849568 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/26719/statm: 23213 7140 199 144 0 22697 0
[pid=26719/tid=26721] ppid=26717 vsize=92852 CPUtime=0
/proc/26719/task/26721/stat : 26721 (bprolog) S 26717 26719 22427 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24195583 95080448 7140 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.25
Current children cumulated vsize (KiB) 92852
[startup+462.302 s]
/proc/loadavg: 2.03 2.03 2.00 3/74 26721
/proc/meminfo: memFree=1552784/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=92852 CPUtime=458.8
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 7432 0 0 0 45646 234 0 0 25 0 2 0 24193286 95080448 7140 996147200 134512640 135105188 4294956096 18446744073709551615 134608431 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/26719/statm: 23213 7140 199 144 0 22697 0
[pid=26719/tid=26721] ppid=26717 vsize=92852 CPUtime=0
/proc/26719/task/26721/stat : 26721 (bprolog) S 26717 26719 22427 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24195583 95080448 7140 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) 92852
[startup+522.302 s]
/proc/loadavg: 2.01 2.02 2.00 3/74 26721
/proc/meminfo: memFree=1552784/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=92852 CPUtime=518.34
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 7432 0 0 0 51600 234 0 0 25 0 2 0 24193286 95080448 7140 996147200 134512640 135105188 4294956096 18446744073709551615 134848754 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/26719/statm: 23213 7140 199 144 0 22697 0
[pid=26719/tid=26721] ppid=26717 vsize=92852 CPUtime=0
/proc/26719/task/26721/stat : 26721 (bprolog) S 26717 26719 22427 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24195583 95080448 7140 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 518.34
Current children cumulated vsize (KiB) 92852
################
# More data... #
################
Current children cumulated vsize (KiB) 103096
[startup+1362.3 s]
/proc/loadavg: 2.10 2.09 2.03 3/77 26914
/proc/meminfo: memFree=1533024/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=103096 CPUtime=1352.97
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 7447 0 0 0 135058 239 0 0 25 0 3 0 24193286 105570304 7155 996147200 134512640 135105188 4294956096 18446744073709551615 134559794 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26719/statm: 25774 7155 199 144 0 25258 0
[pid=26719/tid=26721] ppid=26717 vsize=103096 CPUtime=0
/proc/26719/task/26721/stat : 26721 (bprolog) S 26717 26719 22427 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24195583 105570304 7155 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=26719/tid=26722] ppid=26717 vsize=103096 CPUtime=0
/proc/26719/task/26722/stat : 26722 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24285596 105570304 7155 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1352.97
Current children cumulated vsize (KiB) 103096
[startup+1422.3 s]
/proc/loadavg: 2.03 2.07 2.02 3/78 26915
/proc/meminfo: memFree=1528152/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=113340 CPUtime=1412.73
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 8000 0 0 0 141034 239 0 0 25 0 4 0 24193286 116060160 7708 996147200 134512640 135105188 4294956096 18446744073709551615 134722370 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26719/statm: 28335 7708 199 144 0 27819 0
[pid=26719/tid=26721] ppid=26717 vsize=113340 CPUtime=0
/proc/26719/task/26721/stat : 26721 (bprolog) S 26717 26719 22427 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 24195583 116060160 7708 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=26719/tid=26722] ppid=26717 vsize=113340 CPUtime=0
/proc/26719/task/26722/stat : 26722 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 24285596 116060160 7708 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=26719/tid=26915] ppid=26717 vsize=113340 CPUtime=0
/proc/26719/task/26915/stat : 26915 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 24330604 116060160 7708 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1412.73
Current children cumulated vsize (KiB) 113340
[startup+1482.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/84 26960
/proc/meminfo: memFree=1490352/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=113340 CPUtime=1472.48
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 8000 0 0 0 147008 240 0 0 25 0 4 0 24193286 116060160 7708 996147200 134512640 135105188 4294956096 18446744073709551615 134605544 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26719/statm: 28335 7708 199 144 0 27819 0
[pid=26719/tid=26721] ppid=26717 vsize=113340 CPUtime=0
/proc/26719/task/26721/stat : 26721 (bprolog) S 26717 26719 22427 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 24195583 116060160 7708 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=26719/tid=26722] ppid=26717 vsize=113340 CPUtime=0
/proc/26719/task/26722/stat : 26722 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 24285596 116060160 7708 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=26719/tid=26915] ppid=26717 vsize=113340 CPUtime=0
/proc/26719/task/26915/stat : 26915 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 24330604 116060160 7708 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1472.48
Current children cumulated vsize (KiB) 113340
[startup+1542.31 s]
/proc/loadavg: 2.02 2.05 2.02 3/84 26960
/proc/meminfo: memFree=1485296/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=113340 CPUtime=1532.24
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 8000 0 0 0 152984 240 0 0 25 0 4 0 24193286 116060160 7708 996147200 134512640 135105188 4294956096 18446744073709551615 134848774 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26719/statm: 28335 7708 199 144 0 27819 0
[pid=26719/tid=26721] ppid=26717 vsize=113340 CPUtime=0
/proc/26719/task/26721/stat : 26721 (bprolog) S 26717 26719 22427 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 24195583 116060160 7708 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=26719/tid=26722] ppid=26717 vsize=113340 CPUtime=0
/proc/26719/task/26722/stat : 26722 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 24285596 116060160 7708 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=26719/tid=26915] ppid=26717 vsize=113340 CPUtime=0
/proc/26719/task/26915/stat : 26915 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 24330604 116060160 7708 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1532.24
Current children cumulated vsize (KiB) 113340
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/85 26961
/proc/meminfo: memFree=1485352/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=123584 CPUtime=1592.01
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 8001 0 0 0 158960 241 0 0 25 0 5 0 24193286 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 134629901 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26719/statm: 30896 7709 199 144 0 30380 0
[pid=26719/tid=26721] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26721/stat : 26721 (bprolog) S 26717 26719 22427 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 24195583 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=26719/tid=26722] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26722/stat : 26722 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 24285596 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=26719/tid=26915] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26915/stat : 26915 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 24330604 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26719/tid=26961] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26961/stat : 26961 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 24353111 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1592.01
Current children cumulated vsize (KiB) 123584
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/85 26961
/proc/meminfo: memFree=1485352/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=123584 CPUtime=1651.77
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 8001 0 0 0 164936 241 0 0 25 0 5 0 24193286 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 134849651 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26719/statm: 30896 7709 199 144 0 30380 0
[pid=26719/tid=26721] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26721/stat : 26721 (bprolog) S 26717 26719 22427 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 24195583 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=26719/tid=26722] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26722/stat : 26722 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 24285596 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=26719/tid=26915] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26915/stat : 26915 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 24330604 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26719/tid=26961] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26961/stat : 26961 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 24353111 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1651.77
Current children cumulated vsize (KiB) 123584
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/85 26961
/proc/meminfo: memFree=1485352/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=123584 CPUtime=1711.53
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 8001 0 0 0 170912 241 0 0 25 0 5 0 24193286 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 134722451 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26719/statm: 30896 7709 199 144 0 30380 0
[pid=26719/tid=26721] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26721/stat : 26721 (bprolog) S 26717 26719 22427 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 24195583 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=26719/tid=26722] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26722/stat : 26722 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 24285596 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=26719/tid=26915] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26915/stat : 26915 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 24330604 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26719/tid=26961] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26961/stat : 26961 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 24353111 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1711.53
Current children cumulated vsize (KiB) 123584
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/85 26961
/proc/meminfo: memFree=1485296/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=123584 CPUtime=1771.29
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 8001 0 0 0 176888 241 0 0 25 0 5 0 24193286 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 134849541 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26719/statm: 30896 7709 199 144 0 30380 0
[pid=26719/tid=26721] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26721/stat : 26721 (bprolog) S 26717 26719 22427 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 24195583 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=26719/tid=26722] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26722/stat : 26722 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 24285596 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=26719/tid=26915] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26915/stat : 26915 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 24330604 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26719/tid=26961] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26961/stat : 26961 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 24353111 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1771.29
Current children cumulated vsize (KiB) 123584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/85 26961
/proc/meminfo: memFree=1485296/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=123584 CPUtime=1800.07
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 8001 0 0 0 179766 241 0 0 25 0 5 0 24193286 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 134722067 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26719/statm: 30896 7709 199 144 0 30380 0
[pid=26719/tid=26721] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26721/stat : 26721 (bprolog) S 26717 26719 22427 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 24195583 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=26719/tid=26722] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26722/stat : 26722 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 24285596 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=26719/tid=26915] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26915/stat : 26915 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 24330604 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26719/tid=26961] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26961/stat : 26961 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 24353111 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 123584
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1811.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/85 26961
/proc/meminfo: memFree=1485296/2055920 swapFree=4192956/4192956
[pid=26719] ppid=26717 vsize=123584 CPUtime=1800.07
/proc/26719/stat : 26719 (bprolog) R 26717 26719 22427 0 -1 4194304 8001 0 0 0 179766 241 0 0 25 0 5 0 24193286 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 134722067 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/26719/statm: 30896 7709 199 144 0 30380 0
[pid=26719/tid=26721] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26721/stat : 26721 (bprolog) S 26717 26719 22427 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 24195583 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=26719/tid=26722] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26722/stat : 26722 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 24285596 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=26719/tid=26915] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26915/stat : 26915 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 24330604 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=26719/tid=26961] ppid=26717 vsize=123584 CPUtime=0
/proc/26719/task/26961/stat : 26961 (bprolog) S 26717 26719 22427 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 24353111 126550016 7709 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 123584
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1811.22
CPU time (s): 1800.09
CPU user time (s): 1797.67
CPU system time (s): 2.42063
CPU usage (%): 99.3856
Max. virtual memory (cumulated for all children) (KiB): 123584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.67
system time used= 2.42063
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8001
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 35452
runsolver used 1.77973 second user time and 4.86926 second system time
The end
Begin job on node67 at 2009-07-12 06:01:46
IDJOB=2080809
IDBENCH=57173
IDSOLVER=770
FILE ID=node67/2080809-1247371305
PBS_JOBID= 9506995
Free space on /tmp= 66508 MiB
SOLVER NAME= bpsolver 09
BENCH NAME= CPAI08/csp/haystacks/normalized-haystacks-39.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080809-1247371305/watcher-2080809-1247371305 -o /tmp/evaluation-result-2080809-1247371305/solver-2080809-1247371305 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2080809-1247371305 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fc8636b483e33815847709f2fb0cf1bf
RANDOM SEED=1912260333
node67.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.239
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.239
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: 1583224 kB
Buffers: 73000 kB
Cached: 314532 kB
SwapCached: 0 kB
Active: 154020 kB
Inactive: 251648 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1583224 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 4872 kB
Writeback: 0 kB
Mapped: 29780 kB
Slab: 52304 kB
Committed_AS: 183012 kB
PageTables: 1772 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= 66504 MiB
End job on node67 at 2009-07-12 06:31:59