0.00/0.02 c bpsolver version 6.27.2008
0.00/0.02 c converting(HOME/instance-1094251-1215279227)
0.07/0.08 c Converted in 27 ms
0.07/0.08 c solving(HOME/instance-1094251-1215279227,1800000)
1340.10/1350.33 c (ff_backward)
1340.10/1350.33 s SATISFIABLE
1340.10/1350.33 v 375 0 321 216 209 160 94 394 321 196 260 230 94 0 397 0 181 243 64 321 95 95 186 372 0 252 251 146 329 321 146 0 260 92 196 327 367 90 181 0 173 264 378 230 0 329 264 173 89
1340.10/1350.33
1340.10/1350.33 c Time=1340033 ms
1340.10/1350.33
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1094251-1215279227/watcher-1094251-1215279227 -o /tmp/evaluation-result-1094251-1215279227/solver-1094251-1215279227 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1094251-1215279227 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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.00 2.00 4/73 20962
/proc/meminfo: memFree=1714312/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=18572 CPUtime=0
/proc/20962/stat : 20962 (runsolver) R 20960 20962 19440 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2006896180 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 210824129831 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20962/statm: 4643 292 257 25 0 2626 0
[startup+0.082541 s]
/proc/loadavg: 2.08 2.00 2.00 4/73 20962
/proc/meminfo: memFree=1714312/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=56080 CPUtime=0.07
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1098 0 0 0 4 3 0 0 20 0 1 0 2006896180 57425920 811 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/20962/statm: 14020 811 178 116 0 13531 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 56080
[startup+0.101542 s]
/proc/loadavg: 2.08 2.00 2.00 4/73 20962
/proc/meminfo: memFree=1714312/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=74132 CPUtime=0.08
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1247 0 0 0 5 3 0 0 20 0 2 0 2006896180 75911168 957 996147200 134512640 134990860 4294956096 18446744073709551615 134724168 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 18533 957 194 116 0 18044 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 74132
[startup+0.301565 s]
/proc/loadavg: 2.08 2.00 2.00 4/73 20962
/proc/meminfo: memFree=1714312/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=74132 CPUtime=0.28
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1249 0 0 0 25 3 0 0 22 0 2 0 2006896180 75911168 959 996147200 134512640 134990860 4294956096 18446744073709551615 134724977 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 18533 959 196 116 0 18044 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 74132
[startup+0.701613 s]
/proc/loadavg: 2.08 2.00 2.00 4/73 20962
/proc/meminfo: memFree=1714312/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=74132 CPUtime=0.68
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1249 0 0 0 65 3 0 0 25 0 2 0 2006896180 75911168 959 996147200 134512640 134990860 4294956096 18446744073709551615 134921032 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 18533 959 196 116 0 18044 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 74132
[startup+1.50271 s]
/proc/loadavg: 2.08 2.00 2.00 3/75 20964
/proc/meminfo: memFree=1711096/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=74132 CPUtime=1.48
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1249 0 0 0 145 3 0 0 25 0 2 0 2006896180 75911168 959 996147200 134512640 134990860 4294956096 18446744073709551615 134731367 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 18533 959 196 116 0 18044 0
[pid=20962/tid=20964] ppid=20960 vsize=74132 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 2006896190 75911168 959 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 74132
[startup+3.1019 s]
/proc/loadavg: 2.08 2.00 2.00 3/75 20964
/proc/meminfo: memFree=1710904/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=74132 CPUtime=3.07
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1249 0 0 0 304 3 0 0 25 0 2 0 2006896180 75911168 959 996147200 134512640 134990860 4294956096 18446744073709551615 134721053 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 18533 959 196 116 0 18044 0
[pid=20962/tid=20964] ppid=20960 vsize=74132 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 2006896190 75911168 959 996147200 134512640 134990860 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) 74132
[startup+6.30128 s]
/proc/loadavg: 2.07 2.00 2.00 3/75 20964
/proc/meminfo: memFree=1710904/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=74132 CPUtime=6.24
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1249 0 0 0 621 3 0 0 25 0 2 0 2006896180 75911168 959 996147200 134512640 134990860 4294956096 18446744073709551615 134717433 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 18533 959 196 116 0 18044 0
[pid=20962/tid=20964] ppid=20960 vsize=74132 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 2006896190 75911168 959 996147200 134512640 134990860 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) 74132
[startup+12.7011 s]
/proc/loadavg: 2.07 2.00 2.00 3/75 20964
/proc/meminfo: memFree=1710776/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=74132 CPUtime=12.59
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1249 0 0 0 1256 3 0 0 25 0 2 0 2006896180 75911168 959 996147200 134512640 134990860 4294956096 18446744073709551615 134735562 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 18533 959 196 116 0 18044 0
[pid=20962/tid=20964] ppid=20960 vsize=74132 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 2006896190 75911168 959 996147200 134512640 134990860 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) 74132
[startup+25.5016 s]
/proc/loadavg: 2.05 2.00 2.00 3/75 20964
/proc/meminfo: memFree=1710904/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=74132 CPUtime=25.29
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1249 0 0 0 2526 3 0 0 25 0 2 0 2006896180 75911168 959 996147200 134512640 134990860 4294956096 18446744073709551615 134721297 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 18533 959 196 116 0 18044 0
[pid=20962/tid=20964] ppid=20960 vsize=74132 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 2006896190 75911168 959 996147200 134512640 134990860 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) 74132
[startup+51.1017 s]
/proc/loadavg: 2.03 2.00 2.00 3/75 20964
/proc/meminfo: memFree=1710904/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=74132 CPUtime=50.7
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1249 0 0 0 5067 3 0 0 25 0 2 0 2006896180 75911168 959 996147200 134512640 134990860 4294956096 18446744073709551615 134919569 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 18533 959 196 116 0 18044 0
[pid=20962/tid=20964] ppid=20960 vsize=74132 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 2006896190 75911168 959 996147200 134512640 134990860 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) 74132
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/75 20964
/proc/meminfo: memFree=1710712/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=74132 CPUtime=101.51
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1249 0 0 0 10148 3 0 0 25 0 2 0 2006896180 75911168 959 996147200 134512640 134990860 4294956096 18446744073709551615 134735548 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 18533 959 196 116 0 18044 0
[pid=20962/tid=20964] ppid=20960 vsize=74132 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 2006896190 75911168 959 996147200 134512640 134990860 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) 74132
[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20964
/proc/meminfo: memFree=1710648/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=74132 CPUtime=161.06
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1249 0 0 0 16103 3 0 0 25 0 2 0 2006896180 75911168 959 996147200 134512640 134990860 4294956096 18446744073709551615 134729552 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 18533 959 196 116 0 18044 0
[pid=20962/tid=20964] ppid=20960 vsize=74132 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 2006896190 75911168 959 996147200 134512640 134990860 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) 74132
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20964
/proc/meminfo: memFree=1710648/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=74132 CPUtime=220.61
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1249 0 0 0 22057 4 0 0 25 0 2 0 2006896180 75911168 959 996147200 134512640 134990860 4294956096 18446744073709551615 134731344 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 18533 959 196 116 0 18044 0
[pid=20962/tid=20964] ppid=20960 vsize=74132 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 2006896190 75911168 959 996147200 134512640 134990860 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) 74132
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20964
/proc/meminfo: memFree=1710648/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=74132 CPUtime=280.16
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1249 0 0 0 28012 4 0 0 25 0 2 0 2006896180 75911168 959 996147200 134512640 134990860 4294956096 18446744073709551615 134729149 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 18533 959 196 116 0 18044 0
[pid=20962/tid=20964] ppid=20960 vsize=74132 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 2006896190 75911168 959 996147200 134512640 134990860 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) 74132
[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20964
/proc/meminfo: memFree=1710584/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=74132 CPUtime=339.7
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1249 0 0 0 33966 4 0 0 25 0 2 0 2006896180 75911168 959 996147200 134512640 134990860 4294956096 18446744073709551615 134728163 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 18533 959 196 116 0 18044 0
[pid=20962/tid=20964] ppid=20960 vsize=74132 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 2006896190 75911168 959 996147200 134512640 134990860 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) 74132
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20964
/proc/meminfo: memFree=1710520/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=74132 CPUtime=399.25
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1249 0 0 0 39921 4 0 0 25 0 2 0 2006896180 75911168 959 996147200 134512640 134990860 4294956096 18446744073709551615 134717415 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 18533 959 196 116 0 18044 0
[pid=20962/tid=20964] ppid=20960 vsize=74132 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 2006896190 75911168 959 996147200 134512640 134990860 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) 74132
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20964
/proc/meminfo: memFree=1710456/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=74132 CPUtime=458.8
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1249 0 0 0 45876 4 0 0 25 0 2 0 2006896180 75911168 959 996147200 134512640 134990860 4294956096 18446744073709551615 134717410 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 18533 959 196 116 0 18044 0
[pid=20962/tid=20964] ppid=20960 vsize=74132 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 2006896190 75911168 959 996147200 134512640 134990860 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) 74132
[startup+522.301 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20967
/proc/meminfo: memFree=1710064/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=84376 CPUtime=1054.27
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1250 0 0 0 105422 5 0 0 25 0 3 0 2006896180 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 134726655 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 21094 960 196 116 0 20605 0
[pid=20962/tid=20964] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2006896190 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20962/tid=20967] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20967/stat : 20967 (bprolog) S 20960 20962 19440 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 2006986205 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1054.27
Current children cumulated vsize (KiB) 84376
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20967
/proc/meminfo: memFree=1710000/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=84376 CPUtime=1113.81
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1250 0 0 0 111376 5 0 0 25 0 3 0 2006896180 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 134728698 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 21094 960 196 116 0 20605 0
[pid=20962/tid=20964] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2006896190 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20962/tid=20967] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20967/stat : 20967 (bprolog) S 20960 20962 19440 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 2006986205 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1113.81
Current children cumulated vsize (KiB) 84376
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20967
/proc/meminfo: memFree=1709936/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=84376 CPUtime=1173.37
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1250 0 0 0 117331 6 0 0 25 0 3 0 2006896180 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 134559523 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 21094 960 196 116 0 20605 0
[pid=20962/tid=20964] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2006896190 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20962/tid=20967] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20967/stat : 20967 (bprolog) S 20960 20962 19440 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 2006986205 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1173.37
Current children cumulated vsize (KiB) 84376
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20967
/proc/meminfo: memFree=1709744/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=84376 CPUtime=1232.91
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1250 0 0 0 123285 6 0 0 25 0 3 0 2006896180 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 134717420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 21094 960 196 116 0 20605 0
[pid=20962/tid=20964] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2006896190 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20962/tid=20967] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20967/stat : 20967 (bprolog) S 20960 20962 19440 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 2006986205 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1232.91
Current children cumulated vsize (KiB) 84376
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20967
/proc/meminfo: memFree=1709808/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=84376 CPUtime=1292.46
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1250 0 0 0 129240 6 0 0 25 0 3 0 2006896180 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 134717415 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 21094 960 196 116 0 20605 0
[pid=20962/tid=20964] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2006896190 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20962/tid=20967] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20967/stat : 20967 (bprolog) S 20960 20962 19440 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 2006986205 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1292.46
Current children cumulated vsize (KiB) 84376
Solver just ended. Dumping a history of the last processes samples
[startup+1305.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20967
/proc/meminfo: memFree=1709808/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=84376 CPUtime=1295.64
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1250 0 0 0 129558 6 0 0 25 0 3 0 2006896180 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 134722584 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 21094 960 196 116 0 20605 0
[pid=20962/tid=20964] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2006896190 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20962/tid=20967] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20967/stat : 20967 (bprolog) S 20960 20962 19440 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 2006986205 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1295.64
Current children cumulated vsize (KiB) 84376
[startup+1331.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20967
/proc/meminfo: memFree=1709808/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=84376 CPUtime=1321.04
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1250 0 0 0 132098 6 0 0 25 0 3 0 2006896180 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 134559523 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 21094 960 196 116 0 20605 0
[pid=20962/tid=20964] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2006896190 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20962/tid=20967] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20967/stat : 20967 (bprolog) S 20960 20962 19440 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 2006986205 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1321.04
Current children cumulated vsize (KiB) 84376
[startup+1343.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20967
/proc/meminfo: memFree=1709808/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=84376 CPUtime=1333.75
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1250 0 0 0 133369 6 0 0 25 0 3 0 2006896180 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 134724821 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 21094 960 196 116 0 20605 0
[pid=20962/tid=20964] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2006896190 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20962/tid=20967] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20967/stat : 20967 (bprolog) S 20960 20962 19440 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 2006986205 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1333.75
Current children cumulated vsize (KiB) 84376
[startup+1347.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20967
/proc/meminfo: memFree=1709808/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=84376 CPUtime=1336.92
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1250 0 0 0 133686 6 0 0 25 0 3 0 2006896180 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 134559523 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 21094 960 196 116 0 20605 0
[pid=20962/tid=20964] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2006896190 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20962/tid=20967] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20967/stat : 20967 (bprolog) S 20960 20962 19440 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 2006986205 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1336.92
Current children cumulated vsize (KiB) 84376
[startup+1348.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20967
/proc/meminfo: memFree=1709808/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=84376 CPUtime=1338.5
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1250 0 0 0 133844 6 0 0 25 0 3 0 2006896180 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 134731450 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 21094 960 196 116 0 20605 0
[pid=20962/tid=20964] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2006896190 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20962/tid=20967] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20967/stat : 20967 (bprolog) S 20960 20962 19440 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 2006986205 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1338.5
Current children cumulated vsize (KiB) 84376
[startup+1349.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20967
/proc/meminfo: memFree=1709808/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=84376 CPUtime=1339.3
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1250 0 0 0 133924 6 0 0 25 0 3 0 2006896180 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 134717430 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 21094 960 196 116 0 20605 0
[pid=20962/tid=20964] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2006896190 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20962/tid=20967] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20967/stat : 20967 (bprolog) S 20960 20962 19440 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 2006986205 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1339.3
Current children cumulated vsize (KiB) 84376
[startup+1349.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20967
/proc/meminfo: memFree=1709808/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=84376 CPUtime=1339.7
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1250 0 0 0 133964 6 0 0 25 0 3 0 2006896180 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 134559488 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 21094 960 196 116 0 20605 0
[pid=20962/tid=20964] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2006896190 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20962/tid=20967] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20967/stat : 20967 (bprolog) S 20960 20962 19440 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 2006986205 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1339.7
Current children cumulated vsize (KiB) 84376
[startup+1350.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20967
/proc/meminfo: memFree=1709808/2055920 swapFree=4180424/4192956
[pid=20962] ppid=20960 vsize=84376 CPUtime=1340.1
/proc/20962/stat : 20962 (bprolog) R 20960 20962 19440 0 -1 4194304 1250 0 0 0 134004 6 0 0 25 0 3 0 2006896180 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 134717415 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20962/statm: 21094 960 196 116 0 20605 0
[pid=20962/tid=20964] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20964/stat : 20964 (bprolog) S 20960 20962 19440 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2006896190 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20962/tid=20967] ppid=20960 vsize=84376 CPUtime=0
/proc/20962/task/20967/stat : 20967 (bprolog) S 20960 20962 19440 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 2006986205 86401024 960 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1340.1
Current children cumulated vsize (KiB) 84376
Child status: 0
Real time (s): 1350.34
CPU time (s): 1340.14
CPU user time (s): 1340.08
CPU system time (s): 0.06399
CPU usage (%): 99.2446
Max. virtual memory (cumulated for all children) (KiB): 84376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1340.08
system time used= 0.06399
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1251
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= 7
involuntary context switches= 29019
runsolver used 1.24381 second user time and 3.67844 second system time
The end
Begin job on node33 at 2008-07-05 19:33:47
IDJOB=1094251
IDBENCH=58772
IDSOLVER=347
FILE ID=node33/1094251-1215279227
PBS_JOBID= 7882165
Free space on /tmp= 66444 MiB
SOLVER NAME= bpsolver 2008-06-27
BENCH NAME= CPAI08/csp/os-taillard-7/normalized-os-taillard-7-105-9.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1094251-1215279227/watcher-1094251-1215279227 -o /tmp/evaluation-result-1094251-1215279227/solver-1094251-1215279227 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1094251-1215279227 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 3d2518af7acdab4ec2d62211b9a9becd
RANDOM SEED=313185592
node33.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.231
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.231
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: 1714728 kB
Buffers: 44812 kB
Cached: 227956 kB
SwapCached: 6236 kB
Active: 194776 kB
Inactive: 91760 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1714728 kB
SwapTotal: 4192956 kB
SwapFree: 4180424 kB
Dirty: 1484 kB
Writeback: 0 kB
Mapped: 21524 kB
Slab: 39880 kB
Committed_AS: 3625048 kB
PageTables: 1840 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= 66444 MiB
End job on node33 at 2008-07-05 19:56:17