0.00/0.03 c bpsolver version 6.29.2009
0.00/0.03 c converting(HOME/instance-2075012-1247359578)
13.07/13.24 c Converted in 3910 ms
17.23/17.42 c solving(HOME/instance-2075012-1247359578,1800000)
17.23/17.42 c solving(HOME/instance-2075012-1247359578,1800000)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2075012-1247359578/watcher-2075012-1247359578 -o /tmp/evaluation-result-2075012-1247359578/solver-2075012-1247359578 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2075012-1247359578 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.15 2.07 2.01 4/82 17671
/proc/meminfo: memFree=1408968/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=18576 CPUtime=0
/proc/17671/stat : 17671 (runsolver) R 17669 17671 16154 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 23021607 19021824 284 996147200 4194304 4302564 548682068528 18446744073709551615 258936437450 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17671/statm: 4644 284 249 26 0 2626 0
[startup+0.0853981 s]
/proc/loadavg: 2.15 2.07 2.01 4/82 17671
/proc/meminfo: memFree=1408968/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=62208 CPUtime=0.07
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 1101 0 0 0 3 4 0 0 19 0 1 0 23021607 63700992 814 996147200 134512640 135105188 4294956096 18446744073709551615 5002211 0 0 4096 2 0 0 0 17 1 0 0
/proc/17671/statm: 15552 814 174 144 0 15036 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 62208
[startup+0.101398 s]
/proc/loadavg: 2.15 2.07 2.01 4/82 17671
/proc/meminfo: memFree=1408968/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=62208 CPUtime=0.09
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 1103 0 0 0 4 5 0 0 19 0 1 0 23021607 63700992 816 996147200 134512640 135105188 4294956096 18446744073709551615 5513939 0 0 4096 2 0 0 0 17 1 0 0
/proc/17671/statm: 15552 816 174 144 0 15036 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 62208
[startup+0.301438 s]
/proc/loadavg: 2.15 2.07 2.01 4/82 17671
/proc/meminfo: memFree=1408968/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=62208 CPUtime=0.28
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 1116 0 0 0 10 18 0 0 21 0 1 0 23021607 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/17671/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 62208
[startup+0.70151 s]
/proc/loadavg: 2.15 2.07 2.01 4/82 17671
/proc/meminfo: memFree=1408968/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=62208 CPUtime=0.68
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 1116 0 0 0 20 48 0 0 25 0 1 0 23021607 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/17671/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 62208
[startup+1.50165 s]
/proc/loadavg: 2.14 2.07 2.01 3/83 17672
/proc/meminfo: memFree=1405952/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=62208 CPUtime=1.47
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 1116 0 0 0 43 104 0 0 25 0 1 0 23021607 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/17671/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 62208
[startup+3.10195 s]
/proc/loadavg: 2.14 2.07 2.01 3/83 17672
/proc/meminfo: memFree=1405440/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=62208 CPUtime=3.05
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 1116 0 0 0 89 216 0 0 25 0 1 0 23021607 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/17671/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 62208
[startup+6.30153 s]
/proc/loadavg: 2.13 2.07 2.01 3/83 17672
/proc/meminfo: memFree=1404352/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=62208 CPUtime=6.23
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 1117 0 0 0 185 438 0 0 25 0 1 0 23021607 63700992 830 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/17671/statm: 15552 830 176 144 0 15036 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 62208
[startup+12.7017 s]
/proc/loadavg: 2.12 2.06 2.01 3/83 17672
/proc/meminfo: memFree=1402176/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=62208 CPUtime=12.57
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 1117 0 0 0 376 881 0 0 25 0 1 0 23021607 63700992 830 996147200 134512640 135105188 4294956096 18446744073709551615 4996820 0 0 4096 2 0 0 0 17 1 0 0
/proc/17671/statm: 15552 830 176 144 0 15036 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 62208
[startup+25.502 s]
/proc/loadavg: 2.18 2.08 2.02 4/84 17673
/proc/meminfo: memFree=1297144/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=181576 CPUtime=25.25
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 44944 0 0 0 1581 944 0 0 25 0 2 0 23021607 185933824 26931 996147200 134512640 135105188 4294956096 18446744073709551615 134749068 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17671/statm: 45394 26931 199 144 0 44878 0
[pid=17671/tid=17673] ppid=17669 vsize=181576 CPUtime=0
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23023366 185933824 26931 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 181576
[startup+51.1017 s]
/proc/loadavg: 2.16 2.08 2.02 3/84 17673
/proc/meminfo: memFree=1297272/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=181576 CPUtime=50.61
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 44947 0 0 0 4117 944 0 0 25 0 2 0 23021607 185933824 26934 996147200 134512640 135105188 4294956096 18446744073709551615 134718108 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17671/statm: 45394 26934 199 144 0 44878 0
[pid=17671/tid=17673] ppid=17669 vsize=181576 CPUtime=0
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23023366 185933824 26934 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 181576
[startup+102.307 s]
/proc/loadavg: 2.19 2.10 2.02 3/76 17725
/proc/meminfo: memFree=1707320/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=181576 CPUtime=101.53
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 44949 0 0 0 9208 945 0 0 25 0 2 0 23021607 185933824 26936 996147200 134512640 135105188 4294956096 18446744073709551615 134749278 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17671/statm: 45394 26936 199 144 0 44878 0
[pid=17671/tid=17673] ppid=17669 vsize=181576 CPUtime=0
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23023366 185933824 26936 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 181576
[startup+162.302 s]
/proc/loadavg: 2.07 2.08 2.02 3/76 17725
/proc/meminfo: memFree=1702328/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=181576 CPUtime=161.49
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 44949 0 0 0 15204 945 0 0 25 0 2 0 23021607 185933824 26936 996147200 134512640 135105188 4294956096 18446744073709551615 134718165 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17671/statm: 45394 26936 199 144 0 44878 0
[pid=17671/tid=17673] ppid=17669 vsize=181576 CPUtime=0
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23023366 185933824 26936 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 181576
[startup+222.302 s]
/proc/loadavg: 2.02 2.06 2.01 3/76 17725
/proc/meminfo: memFree=1698296/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=181576 CPUtime=221.46
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 44949 0 0 0 21201 945 0 0 25 0 2 0 23021607 185933824 26936 996147200 134512640 135105188 4294956096 18446744073709551615 134748331 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17671/statm: 45394 26936 199 144 0 44878 0
[pid=17671/tid=17673] ppid=17669 vsize=181576 CPUtime=0
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23023366 185933824 26936 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.46
Current children cumulated vsize (KiB) 181576
[startup+282.302 s]
/proc/loadavg: 2.01 2.05 2.01 3/76 17727
/proc/meminfo: memFree=1694456/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=181576 CPUtime=281.43
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 44949 0 0 0 27198 945 0 0 25 0 2 0 23021607 185933824 26936 996147200 134512640 135105188 4294956096 18446744073709551615 134748712 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17671/statm: 45394 26936 199 144 0 44878 0
[pid=17671/tid=17673] ppid=17669 vsize=181576 CPUtime=0
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23023366 185933824 26936 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.43
Current children cumulated vsize (KiB) 181576
[startup+342.303 s]
/proc/loadavg: 2.00 2.04 2.00 3/76 17727
/proc/meminfo: memFree=1690936/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=181576 CPUtime=341.4
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 44949 0 0 0 33195 945 0 0 25 0 2 0 23021607 185933824 26936 996147200 134512640 135105188 4294956096 18446744073709551615 134748602 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17671/statm: 45394 26936 199 144 0 44878 0
[pid=17671/tid=17673] ppid=17669 vsize=181576 CPUtime=0
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23023366 185933824 26936 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.4
Current children cumulated vsize (KiB) 181576
[startup+402.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/76 17727
/proc/meminfo: memFree=1687608/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=181576 CPUtime=401.37
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 44949 0 0 0 39192 945 0 0 25 0 2 0 23021607 185933824 26936 996147200 134512640 135105188 4294956096 18446744073709551615 134748547 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17671/statm: 45394 26936 199 144 0 44878 0
[pid=17671/tid=17673] ppid=17669 vsize=181576 CPUtime=0
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23023366 185933824 26936 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.37
Current children cumulated vsize (KiB) 181576
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 17727
/proc/meminfo: memFree=1684600/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=181576 CPUtime=461.34
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 44949 0 0 0 45189 945 0 0 25 0 2 0 23021607 185933824 26936 996147200 134512640 135105188 4294956096 18446744073709551615 134748416 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17671/statm: 45394 26936 199 144 0 44878 0
[pid=17671/tid=17673] ppid=17669 vsize=181576 CPUtime=0
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23023366 185933824 26936 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 461.34
Current children cumulated vsize (KiB) 181576
[startup+522.301 s]
/proc/loadavg: 2.08 2.03 2.01 3/76 17727
/proc/meminfo: memFree=1681912/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=181576 CPUtime=521.32
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 44949 0 0 0 51186 946 0 0 25 0 2 0 23021607 185933824 26936 996147200 134512640 135105188 4294956096 18446744073709551615 134748331 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17671/statm: 45394 26936 199 144 0 44878 0
[pid=17671/tid=17673] ppid=17669 vsize=181576 CPUtime=0
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23023366 185933824 26936 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 521.32
Current children cumulated vsize (KiB) 181576
################
# More data... #
################
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23023366 196423680 26940 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17671/tid=17734] ppid=17669 vsize=191820 CPUtime=0
/proc/17671/task/17734/stat : 17734 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 23113382 196423680 26940 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1240.96
Current children cumulated vsize (KiB) 191820
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 17734
/proc/meminfo: memFree=1660720/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=191820 CPUtime=1300.94
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 44953 0 0 0 129148 946 0 0 25 0 3 0 23021607 196423680 26940 996147200 134512640 135105188 4294956096 18446744073709551615 134717698 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17671/statm: 47955 26940 199 144 0 47439 0
[pid=17671/tid=17673] ppid=17669 vsize=191820 CPUtime=0
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23023366 196423680 26940 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17671/tid=17734] ppid=17669 vsize=191820 CPUtime=0
/proc/17671/task/17734/stat : 17734 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 23113382 196423680 26940 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1300.94
Current children cumulated vsize (KiB) 191820
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 17734
/proc/meminfo: memFree=1660784/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=191820 CPUtime=1360.92
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 44953 0 0 0 135145 947 0 0 25 0 3 0 23021607 196423680 26940 996147200 134512640 135105188 4294956096 18446744073709551615 134630528 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17671/statm: 47955 26940 199 144 0 47439 0
[pid=17671/tid=17673] ppid=17669 vsize=191820 CPUtime=0
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23023366 196423680 26940 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17671/tid=17734] ppid=17669 vsize=191820 CPUtime=0
/proc/17671/task/17734/stat : 17734 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 23113382 196423680 26940 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1360.92
Current children cumulated vsize (KiB) 191820
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 17735
/proc/meminfo: memFree=1660712/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=202064 CPUtime=1420.89
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 44954 0 0 0 141142 947 0 0 25 0 4 0 23021607 206913536 26941 996147200 134512640 135105188 4294956096 18446744073709551615 134718128 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17671/statm: 50516 26941 199 144 0 50000 0
[pid=17671/tid=17673] ppid=17669 vsize=202064 CPUtime=0
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 23023366 206913536 26941 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17671/tid=17734] ppid=17669 vsize=202064 CPUtime=0
/proc/17671/task/17734/stat : 17734 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 23113382 206913536 26941 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17671/tid=17735] ppid=17669 vsize=202064 CPUtime=0
/proc/17671/task/17735/stat : 17735 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 23158390 206913536 26941 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1420.89
Current children cumulated vsize (KiB) 202064
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 17735
/proc/meminfo: memFree=1660648/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=202064 CPUtime=1480.86
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 44954 0 0 0 147139 947 0 0 25 0 4 0 23021607 206913536 26941 996147200 134512640 135105188 4294956096 18446744073709551615 134748588 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17671/statm: 50516 26941 199 144 0 50000 0
[pid=17671/tid=17673] ppid=17669 vsize=202064 CPUtime=0
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 23023366 206913536 26941 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17671/tid=17734] ppid=17669 vsize=202064 CPUtime=0
/proc/17671/task/17734/stat : 17734 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 23113382 206913536 26941 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17671/tid=17735] ppid=17669 vsize=202064 CPUtime=0
/proc/17671/task/17735/stat : 17735 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 23158390 206913536 26941 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1480.86
Current children cumulated vsize (KiB) 202064
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 17735
/proc/meminfo: memFree=1660648/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=202064 CPUtime=1540.83
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 44954 0 0 0 153136 947 0 0 25 0 4 0 23021607 206913536 26941 996147200 134512640 135105188 4294956096 18446744073709551615 134748701 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17671/statm: 50516 26941 199 144 0 50000 0
[pid=17671/tid=17673] ppid=17669 vsize=202064 CPUtime=0
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 23023366 206913536 26941 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17671/tid=17734] ppid=17669 vsize=202064 CPUtime=0
/proc/17671/task/17734/stat : 17734 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 23113382 206913536 26941 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17671/tid=17735] ppid=17669 vsize=202064 CPUtime=0
/proc/17671/task/17735/stat : 17735 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 23158390 206913536 26941 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1540.83
Current children cumulated vsize (KiB) 202064
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/79 17736
/proc/meminfo: memFree=1660576/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=212308 CPUtime=1600.8
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 44955 0 0 0 159133 947 0 0 25 0 5 0 23021607 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 134718108 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17671/statm: 53077 26942 199 144 0 52561 0
[pid=17671/tid=17673] ppid=17669 vsize=212308 CPUtime=0
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23023366 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17671/tid=17734] ppid=17669 vsize=212308 CPUtime=0
/proc/17671/task/17734/stat : 17734 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23113382 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17671/tid=17735] ppid=17669 vsize=212308 CPUtime=0
/proc/17671/task/17735/stat : 17735 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23158390 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17671/tid=17736] ppid=17669 vsize=212308 CPUtime=0
/proc/17671/task/17736/stat : 17736 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 23180898 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1600.8
Current children cumulated vsize (KiB) 212308
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/79 17736
/proc/meminfo: memFree=1660576/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=212308 CPUtime=1660.77
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 44955 0 0 0 165130 947 0 0 25 0 5 0 23021607 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 134718139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17671/statm: 53077 26942 199 144 0 52561 0
[pid=17671/tid=17673] ppid=17669 vsize=212308 CPUtime=0
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23023366 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17671/tid=17734] ppid=17669 vsize=212308 CPUtime=0
/proc/17671/task/17734/stat : 17734 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23113382 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17671/tid=17735] ppid=17669 vsize=212308 CPUtime=0
/proc/17671/task/17735/stat : 17735 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23158390 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17671/tid=17736] ppid=17669 vsize=212308 CPUtime=0
/proc/17671/task/17736/stat : 17736 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 23180898 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1660.77
Current children cumulated vsize (KiB) 212308
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/79 17736
/proc/meminfo: memFree=1660512/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=212308 CPUtime=1720.74
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 44955 0 0 0 171127 947 0 0 25 0 5 0 23021607 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 134718099 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17671/statm: 53077 26942 199 144 0 52561 0
[pid=17671/tid=17673] ppid=17669 vsize=212308 CPUtime=0
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23023366 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17671/tid=17734] ppid=17669 vsize=212308 CPUtime=0
/proc/17671/task/17734/stat : 17734 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23113382 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17671/tid=17735] ppid=17669 vsize=212308 CPUtime=0
/proc/17671/task/17735/stat : 17735 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23158390 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17671/tid=17736] ppid=17669 vsize=212308 CPUtime=0
/proc/17671/task/17736/stat : 17736 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23180898 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1720.74
Current children cumulated vsize (KiB) 212308
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/79 17736
/proc/meminfo: memFree=1660320/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=212308 CPUtime=1780.71
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 44955 0 0 0 177124 947 0 0 25 0 5 0 23021607 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 134748510 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17671/statm: 53077 26942 199 144 0 52561 0
[pid=17671/tid=17673] ppid=17669 vsize=212308 CPUtime=0
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23023366 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17671/tid=17734] ppid=17669 vsize=212308 CPUtime=0
/proc/17671/task/17734/stat : 17734 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23113382 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17671/tid=17735] ppid=17669 vsize=212308 CPUtime=0
/proc/17671/task/17735/stat : 17735 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23158390 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17671/tid=17736] ppid=17669 vsize=212308 CPUtime=0
/proc/17671/task/17736/stat : 17736 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23180898 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.71
Current children cumulated vsize (KiB) 212308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.6 s]
/proc/loadavg: 2.08 2.02 2.01 3/79 17736
/proc/meminfo: memFree=1660256/2055920 swapFree=4192812/4192956
[pid=17671] ppid=17669 vsize=212308 CPUtime=1800.01
/proc/17671/stat : 17671 (bprolog) R 17669 17671 16154 0 -1 4194304 44955 0 0 0 179054 947 0 0 25 0 5 0 23021607 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 134748497 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17671/statm: 53077 26942 199 144 0 52561 0
[pid=17671/tid=17673] ppid=17669 vsize=212308 CPUtime=0
/proc/17671/task/17673/stat : 17673 (bprolog) S 17669 17671 16154 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23023366 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17671/tid=17734] ppid=17669 vsize=212308 CPUtime=0
/proc/17671/task/17734/stat : 17734 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23113382 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17671/tid=17735] ppid=17669 vsize=212308 CPUtime=0
/proc/17671/task/17735/stat : 17735 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23158390 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17671/tid=17736] ppid=17669 vsize=212308 CPUtime=0
/proc/17671/task/17736/stat : 17736 (bprolog) S 17669 17671 16154 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23180898 217403392 26942 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 212308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.63
CPU time (s): 1800.04
CPU user time (s): 1790.55
CPU system time (s): 9.49356
CPU usage (%): 99.9117
Max. virtual memory (cumulated for all children) (KiB): 212308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.55
system time used= 9.49356
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44955
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= 9
involuntary context switches= 10331
runsolver used 2.20566 second user time and 5.99009 second system time
The end
Begin job on node45 at 2009-07-12 02:46:18
IDJOB=2075012
IDBENCH=56216
IDSOLVER=770
FILE ID=node45/2075012-1247359578
PBS_JOBID= 9506843
Free space on /tmp= 66356 MiB
SOLVER NAME= bpsolver 09
BENCH NAME= CPAI08/csp/rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-19_ext.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2075012-1247359578/watcher-2075012-1247359578 -o /tmp/evaluation-result-2075012-1247359578/solver-2075012-1247359578 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2075012-1247359578 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 12fa9991c3edb6406160dfe2c7e35ac1
RANDOM SEED=1746655833
node45.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.281
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.281
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: 1409448 kB
Buffers: 35000 kB
Cached: 101952 kB
SwapCached: 0 kB
Active: 540824 kB
Inactive: 54092 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1409448 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4272 kB
Writeback: 0 kB
Mapped: 478368 kB
Slab: 35916 kB
Committed_AS: 635680 kB
PageTables: 2668 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= 66336 MiB
End job on node45 at 2009-07-12 03:16:22