0.00/0.05 c bpsolver version 6.29.2009
0.00/0.05 c converting(HOME/instance-2064914-1247336870)
23.89/24.12 c Converted in 7178 ms
33.61/33.96 c solving(HOME/instance-2064914-1247336870,1800000)
33.61/33.96 c solving(HOME/instance-2064914-1247336870,1800000)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2064914-1247336870/watcher-2064914-1247336870 -o /tmp/evaluation-result-2064914-1247336870/solver-2064914-1247336870 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2064914-1247336870 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.20 2.05 2.02 4/81 13951
/proc/meminfo: memFree=764616/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=62208 CPUtime=0.19
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 1117 0 0 0 7 12 0 0 19 0 1 0 20751941 63700992 830 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/13951/statm: 15552 830 174 144 0 15036 0
[startup+0.259223 s]
/proc/loadavg: 2.20 2.05 2.02 4/81 13951
/proc/meminfo: memFree=764616/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=62208 CPUtime=0.25
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 1124 0 0 0 8 17 0 0 19 0 1 0 20751941 63700992 837 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/13951/statm: 15552 837 174 144 0 15036 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 62208
[startup+0.301226 s]
/proc/loadavg: 2.20 2.05 2.02 4/81 13951
/proc/meminfo: memFree=764616/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=62208 CPUtime=0.29
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 1128 0 0 0 9 20 0 0 19 0 1 0 20751941 63700992 841 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/13951/statm: 15552 841 176 144 0 15036 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62208
[startup+0.401241 s]
/proc/loadavg: 2.20 2.05 2.02 4/81 13951
/proc/meminfo: memFree=764616/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=62208 CPUtime=0.39
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 1128 0 0 0 12 27 0 0 20 0 1 0 20751941 63700992 841 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/13951/statm: 15552 841 176 144 0 15036 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 62208
[startup+0.701271 s]
/proc/loadavg: 2.20 2.05 2.02 4/81 13951
/proc/meminfo: memFree=764616/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=62208 CPUtime=0.68
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 1129 0 0 0 20 48 0 0 23 0 1 0 20751941 63700992 842 996147200 134512640 135105188 4294956096 18446744073709551615 2005952 0 0 4096 2 0 0 0 17 0 0 0
/proc/13951/statm: 15552 842 176 144 0 15036 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 62208
[startup+1.50136 s]
/proc/loadavg: 2.20 2.05 2.02 3/82 13952
/proc/meminfo: memFree=761536/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=62208 CPUtime=1.48
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 1129 0 0 0 44 104 0 0 25 0 1 0 20751941 63700992 842 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/13951/statm: 15552 842 176 144 0 15036 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 62208
[startup+3.10254 s]
/proc/loadavg: 2.20 2.05 2.02 3/82 13952
/proc/meminfo: memFree=761024/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=62208 CPUtime=3.07
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 1129 0 0 0 93 214 0 0 25 0 1 0 20751941 63700992 842 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/13951/statm: 15552 842 176 144 0 15036 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 62208
[startup+6.30189 s]
/proc/loadavg: 2.19 2.05 2.01 3/82 13952
/proc/meminfo: memFree=759744/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=62208 CPUtime=6.23
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 1129 0 0 0 186 437 0 0 25 0 1 0 20751941 63700992 842 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/13951/statm: 15552 842 176 144 0 15036 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 62208
[startup+12.7016 s]
/proc/loadavg: 2.17 2.05 2.01 3/82 13952
/proc/meminfo: memFree=757824/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=62208 CPUtime=12.58
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 1129 0 0 0 378 880 0 0 25 0 1 0 20751941 63700992 842 996147200 134512640 135105188 4294956096 18446744073709551615 2392760 0 0 4096 2 0 0 0 17 0 0 0
/proc/13951/statm: 15552 842 176 144 0 15036 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 62208
[startup+25.506 s]
/proc/loadavg: 2.13 2.04 2.01 3/82 13952
/proc/meminfo: memFree=703424/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=132520 CPUtime=25.28
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 23229 0 0 0 845 1683 0 0 25 0 1 0 20751941 135700480 14919 996147200 134512640 135105188 4294956096 18446744073709551615 135073136 0 0 4096 2 0 0 0 17 0 0 0
/proc/13951/statm: 33130 14919 180 144 0 32614 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 132520
[startup+51.1019 s]
/proc/loadavg: 2.15 2.05 2.02 3/83 13953
/proc/meminfo: memFree=545144/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=321512 CPUtime=50.66
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 99757 0 0 0 3353 1713 0 0 25 0 2 0 20751941 329228288 52865 996147200 134512640 135105188 4294956096 18446744073709551615 134748547 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13951/statm: 80378 52865 199 144 0 79862 0
[pid=13951/tid=13953] ppid=13949 vsize=321512 CPUtime=0
/proc/13951/task/13953/stat : 13953 (bprolog) S 13949 13951 13566 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20755364 329228288 52865 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 321512
[startup+102.302 s]
/proc/loadavg: 2.06 2.04 2.01 3/83 13953
/proc/meminfo: memFree=545016/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=321512 CPUtime=101.42
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 99760 0 0 0 8429 1713 0 0 25 0 2 0 20751941 329228288 52868 996147200 134512640 135105188 4294956096 18446744073709551615 134748443 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13951/statm: 80378 52868 199 144 0 79862 0
[pid=13951/tid=13953] ppid=13949 vsize=321512 CPUtime=0
/proc/13951/task/13953/stat : 13953 (bprolog) S 13949 13951 13566 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20755364 329228288 52868 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 321512
[startup+162.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/83 13953
/proc/meminfo: memFree=545080/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=321512 CPUtime=160.9
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 99760 0 0 0 14377 1713 0 0 25 0 2 0 20751941 329228288 52868 996147200 134512640 135105188 4294956096 18446744073709551615 134748320 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13951/statm: 80378 52868 199 144 0 79862 0
[pid=13951/tid=13953] ppid=13949 vsize=321512 CPUtime=0
/proc/13951/task/13953/stat : 13953 (bprolog) S 13949 13951 13566 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20755364 329228288 52868 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 160.9
Current children cumulated vsize (KiB) 321512
[startup+222.302 s]
/proc/loadavg: 2.01 2.02 2.00 3/83 13953
/proc/meminfo: memFree=545016/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=321512 CPUtime=220.39
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 99760 0 0 0 20326 1713 0 0 25 0 2 0 20751941 329228288 52868 996147200 134512640 135105188 4294956096 18446744073709551615 134748727 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13951/statm: 80378 52868 199 144 0 79862 0
[pid=13951/tid=13953] ppid=13949 vsize=321512 CPUtime=0
/proc/13951/task/13953/stat : 13953 (bprolog) S 13949 13951 13566 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20755364 329228288 52868 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.39
Current children cumulated vsize (KiB) 321512
[startup+282.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 13953
/proc/meminfo: memFree=544952/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=321512 CPUtime=279.87
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 99760 0 0 0 26274 1713 0 0 25 0 2 0 20751941 329228288 52868 996147200 134512640 135105188 4294956096 18446744073709551615 134748704 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13951/statm: 80378 52868 199 144 0 79862 0
[pid=13951/tid=13953] ppid=13949 vsize=321512 CPUtime=0
/proc/13951/task/13953/stat : 13953 (bprolog) S 13949 13951 13566 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20755364 329228288 52868 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 279.87
Current children cumulated vsize (KiB) 321512
[startup+342.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 13953
/proc/meminfo: memFree=544888/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=321512 CPUtime=339.36
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 99760 0 0 0 32223 1713 0 0 25 0 2 0 20751941 329228288 52868 996147200 134512640 135105188 4294956096 18446744073709551615 134717742 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13951/statm: 80378 52868 199 144 0 79862 0
[pid=13951/tid=13953] ppid=13949 vsize=321512 CPUtime=0
/proc/13951/task/13953/stat : 13953 (bprolog) S 13949 13951 13566 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20755364 329228288 52868 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.36
Current children cumulated vsize (KiB) 321512
[startup+402.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 13953
/proc/meminfo: memFree=544888/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=321512 CPUtime=398.84
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 99760 0 0 0 38171 1713 0 0 25 0 2 0 20751941 329228288 52868 996147200 134512640 135105188 4294956096 18446744073709551615 134749909 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13951/statm: 80378 52868 199 144 0 79862 0
[pid=13951/tid=13953] ppid=13949 vsize=321512 CPUtime=0
/proc/13951/task/13953/stat : 13953 (bprolog) S 13949 13951 13566 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20755364 329228288 52868 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 398.84
Current children cumulated vsize (KiB) 321512
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 13953
/proc/meminfo: memFree=544952/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=321512 CPUtime=458.32
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 99760 0 0 0 44119 1713 0 0 25 0 2 0 20751941 329228288 52868 996147200 134512640 135105188 4294956096 18446744073709551615 134748547 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13951/statm: 80378 52868 199 144 0 79862 0
[pid=13951/tid=13953] ppid=13949 vsize=321512 CPUtime=0
/proc/13951/task/13953/stat : 13953 (bprolog) S 13949 13951 13566 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20755364 329228288 52868 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 458.32
Current children cumulated vsize (KiB) 321512
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 13953
/proc/meminfo: memFree=544952/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=321512 CPUtime=517.81
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 99760 0 0 0 50068 1713 0 0 25 0 2 0 20751941 329228288 52868 996147200 134512640 135105188 4294956096 18446744073709551615 134749283 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13951/statm: 80378 52868 199 144 0 79862 0
[pid=13951/tid=13953] ppid=13949 vsize=321512 CPUtime=0
/proc/13951/task/13953/stat : 13953 (bprolog) S 13949 13951 13566 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20755364 329228288 52868 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 517.81
Current children cumulated vsize (KiB) 321512
[startup+582.302 s]
################
# More data... #
################
/proc/13951/task/13954/stat : 13954 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 20845380 339718144 52872 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1291.06
Current children cumulated vsize (KiB) 331756
[startup+1362.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/85 13998
/proc/meminfo: memFree=655960/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=331756 CPUtime=1350.54
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 99764 0 0 0 133340 1714 0 0 25 0 3 0 20751941 339718144 52872 996147200 134512640 135105188 4294956096 18446744073709551615 134748513 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13951/statm: 82939 52872 199 144 0 82423 0
[pid=13951/tid=13953] ppid=13949 vsize=331756 CPUtime=0
/proc/13951/task/13953/stat : 13953 (bprolog) S 13949 13951 13566 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 20755364 339718144 52872 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=13954] ppid=13949 vsize=331756 CPUtime=0
/proc/13951/task/13954/stat : 13954 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 20845380 339718144 52872 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1350.54
Current children cumulated vsize (KiB) 331756
[startup+1422.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/86 14001
/proc/meminfo: memFree=655760/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=342000 CPUtime=1410.02
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 99765 0 0 0 139287 1715 0 0 25 0 4 0 20751941 350208000 52873 996147200 134512640 135105188 4294956096 18446744073709551615 134748506 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13951/statm: 85500 52873 199 144 0 84984 0
[pid=13951/tid=13953] ppid=13949 vsize=342000 CPUtime=0
/proc/13951/task/13953/stat : 13953 (bprolog) S 13949 13951 13566 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 20755364 350208000 52873 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=13954] ppid=13949 vsize=342000 CPUtime=0
/proc/13951/task/13954/stat : 13954 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 20845380 350208000 52873 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=13999] ppid=13949 vsize=342000 CPUtime=0
/proc/13951/task/13999/stat : 13999 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 20890390 350208000 52873 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1410.02
Current children cumulated vsize (KiB) 342000
[startup+1482.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/86 14001
/proc/meminfo: memFree=655888/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=342000 CPUtime=1469.5
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 99765 0 0 0 145235 1715 0 0 25 0 4 0 20751941 350208000 52873 996147200 134512640 135105188 4294956096 18446744073709551615 134718128 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13951/statm: 85500 52873 199 144 0 84984 0
[pid=13951/tid=13953] ppid=13949 vsize=342000 CPUtime=0
/proc/13951/task/13953/stat : 13953 (bprolog) S 13949 13951 13566 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 20755364 350208000 52873 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=13954] ppid=13949 vsize=342000 CPUtime=0
/proc/13951/task/13954/stat : 13954 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 20845380 350208000 52873 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=13999] ppid=13949 vsize=342000 CPUtime=0
/proc/13951/task/13999/stat : 13999 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 20890390 350208000 52873 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.5
Current children cumulated vsize (KiB) 342000
[startup+1542.3 s]
/proc/loadavg: 2.14 2.08 2.02 3/86 14001
/proc/meminfo: memFree=655888/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=342000 CPUtime=1528.98
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 99765 0 0 0 151183 1715 0 0 25 0 4 0 20751941 350208000 52873 996147200 134512640 135105188 4294956096 18446744073709551615 134748547 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13951/statm: 85500 52873 199 144 0 84984 0
[pid=13951/tid=13953] ppid=13949 vsize=342000 CPUtime=0
/proc/13951/task/13953/stat : 13953 (bprolog) S 13949 13951 13566 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 20755364 350208000 52873 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=13954] ppid=13949 vsize=342000 CPUtime=0
/proc/13951/task/13954/stat : 13954 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 20845380 350208000 52873 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=13999] ppid=13949 vsize=342000 CPUtime=0
/proc/13951/task/13999/stat : 13999 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 20890390 350208000 52873 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1528.98
Current children cumulated vsize (KiB) 342000
[startup+1602.3 s]
/proc/loadavg: 2.27 2.12 2.03 3/86 14001
/proc/meminfo: memFree=655888/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=342000 CPUtime=1588.45
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 99765 0 0 0 157130 1715 0 0 25 0 4 0 20751941 350208000 52873 996147200 134512640 135105188 4294956096 18446744073709551615 134748780 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13951/statm: 85500 52873 199 144 0 84984 0
[pid=13951/tid=13953] ppid=13949 vsize=342000 CPUtime=0
/proc/13951/task/13953/stat : 13953 (bprolog) S 13949 13951 13566 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 20755364 350208000 52873 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=13954] ppid=13949 vsize=342000 CPUtime=0
/proc/13951/task/13954/stat : 13954 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 20845380 350208000 52873 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=13999] ppid=13949 vsize=342000 CPUtime=0
/proc/13951/task/13999/stat : 13999 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 20890390 350208000 52873 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1588.45
Current children cumulated vsize (KiB) 342000
[startup+1662.31 s]
/proc/loadavg: 2.20 2.13 2.04 3/87 14002
/proc/meminfo: memFree=655944/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=352244 CPUtime=1647.89
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 99766 0 0 0 163074 1715 0 0 25 0 5 0 20751941 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 134748482 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13951/statm: 88061 52874 199 144 0 87545 0
[pid=13951/tid=13953] ppid=13949 vsize=352244 CPUtime=0
/proc/13951/task/13953/stat : 13953 (bprolog) S 13949 13951 13566 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20755364 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=13954] ppid=13949 vsize=352244 CPUtime=0
/proc/13951/task/13954/stat : 13954 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20845380 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=13999] ppid=13949 vsize=352244 CPUtime=0
/proc/13951/task/13999/stat : 13999 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20890390 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=14002] ppid=13949 vsize=352244 CPUtime=0
/proc/13951/task/14002/stat : 14002 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 20912898 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1647.89
Current children cumulated vsize (KiB) 352244
[startup+1722.3 s]
/proc/loadavg: 2.11 2.11 2.04 3/87 14002
/proc/meminfo: memFree=655880/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=352244 CPUtime=1707.32
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 99766 0 0 0 169017 1715 0 0 25 0 5 0 20751941 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 134718094 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13951/statm: 88061 52874 199 144 0 87545 0
[pid=13951/tid=13953] ppid=13949 vsize=352244 CPUtime=0
/proc/13951/task/13953/stat : 13953 (bprolog) S 13949 13951 13566 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20755364 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=13954] ppid=13949 vsize=352244 CPUtime=0
/proc/13951/task/13954/stat : 13954 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20845380 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=13999] ppid=13949 vsize=352244 CPUtime=0
/proc/13951/task/13999/stat : 13999 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20890390 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=14002] ppid=13949 vsize=352244 CPUtime=0
/proc/13951/task/14002/stat : 14002 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20912898 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1707.32
Current children cumulated vsize (KiB) 352244
[startup+1782.3 s]
/proc/loadavg: 2.14 2.12 2.04 4/87 14002
/proc/meminfo: memFree=655816/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=352244 CPUtime=1766.75
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 99766 0 0 0 174960 1715 0 0 25 0 5 0 20751941 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 134718165 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13951/statm: 88061 52874 199 144 0 87545 0
[pid=13951/tid=13953] ppid=13949 vsize=352244 CPUtime=0
/proc/13951/task/13953/stat : 13953 (bprolog) S 13949 13951 13566 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20755364 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=13954] ppid=13949 vsize=352244 CPUtime=0
/proc/13951/task/13954/stat : 13954 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20845380 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=13999] ppid=13949 vsize=352244 CPUtime=0
/proc/13951/task/13999/stat : 13999 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20890390 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=14002] ppid=13949 vsize=352244 CPUtime=0
/proc/13951/task/14002/stat : 14002 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20912898 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1766.75
Current children cumulated vsize (KiB) 352244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.9 s]
/proc/loadavg: 2.08 2.11 2.04 3/87 14002
/proc/meminfo: memFree=655816/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=352244 CPUtime=1800.04
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 99766 0 0 0 178289 1715 0 0 25 0 5 0 20751941 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 134748704 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13951/statm: 88061 52874 199 144 0 87545 0
[pid=13951/tid=13953] ppid=13949 vsize=352244 CPUtime=0
/proc/13951/task/13953/stat : 13953 (bprolog) S 13949 13951 13566 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20755364 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=13954] ppid=13949 vsize=352244 CPUtime=0
/proc/13951/task/13954/stat : 13954 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20845380 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=13999] ppid=13949 vsize=352244 CPUtime=0
/proc/13951/task/13999/stat : 13999 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20890390 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=14002] ppid=13949 vsize=352244 CPUtime=0
/proc/13951/task/14002/stat : 14002 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20912898 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 352244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1815.9 s]
/proc/loadavg: 2.08 2.11 2.04 3/87 14002
/proc/meminfo: memFree=655816/2055920 swapFree=4192956/4192956
[pid=13951] ppid=13949 vsize=352244 CPUtime=1800.04
/proc/13951/stat : 13951 (bprolog) R 13949 13951 13566 0 -1 4194304 99766 0 0 0 178289 1715 0 0 25 0 5 0 20751941 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 134748704 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13951/statm: 88061 52874 199 144 0 87545 0
[pid=13951/tid=13953] ppid=13949 vsize=352244 CPUtime=0
/proc/13951/task/13953/stat : 13953 (bprolog) S 13949 13951 13566 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20755364 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=13954] ppid=13949 vsize=352244 CPUtime=0
/proc/13951/task/13954/stat : 13954 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20845380 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=13999] ppid=13949 vsize=352244 CPUtime=0
/proc/13951/task/13999/stat : 13999 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20890390 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13951/tid=14002] ppid=13949 vsize=352244 CPUtime=0
/proc/13951/task/14002/stat : 14002 (bprolog) S 13949 13951 13566 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20912898 360697856 52874 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 352244
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1815.95
CPU time (s): 1800.09
CPU user time (s): 1782.9
CPU system time (s): 17.1864
CPU usage (%): 99.1268
Max. virtual memory (cumulated for all children) (KiB): 375196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.9
system time used= 17.1864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99766
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11
involuntary context switches= 76718
runsolver used 1.69174 second user time and 5.13922 second system time
The end
Begin job on node87 at 2009-07-11 20:27:51
IDJOB=2064914
IDBENCH=54213
IDSOLVER=770
FILE ID=node87/2064914-1247336870
PBS_JOBID= 9506676
Free space on /tmp= 66252 MiB
SOLVER NAME= bpsolver 09
BENCH NAME= CPAI08/csp/rand-3-28-28/normalized-rand-3-28-28-93-632-11_ext.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2064914-1247336870/watcher-2064914-1247336870 -o /tmp/evaluation-result-2064914-1247336870/solver-2064914-1247336870 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2064914-1247336870 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fdbb65536a2ac90b00497e9a98a8fc73
RANDOM SEED=197378497
node87.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.236
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.236
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 765096 kB
Buffers: 62492 kB
Cached: 1028364 kB
SwapCached: 0 kB
Active: 212244 kB
Inactive: 1023288 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 765096 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 7512 kB
Writeback: 0 kB
Mapped: 161176 kB
Slab: 40216 kB
Committed_AS: 910164 kB
PageTables: 2140 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= 66248 MiB
End job on node87 at 2009-07-11 20:58:09