runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1068848-1215157267/watcher-1068848-1215157267 -o /tmp/evaluation-result-1068848-1215157267/solver-1068848-1215157267 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1068848-1215157267 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.05 2.02 2.00 4/72 17861
/proc/meminfo: memFree=1738064/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=18572 CPUtime=0
/proc/17861/stat : 17861 (runsolver) R 17859 17861 17590 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1994698962 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 273653755175 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17861/statm: 4643 292 257 25 0 2626 0
[startup+0.0273869 s]
/proc/loadavg: 2.05 2.02 2.00 4/72 17861
/proc/meminfo: memFree=1738064/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=56068 CPUtime=0.01
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 1011 0 0 0 1 0 0 0 20 0 1 0 1994698962 57413632 724 996147200 134512640 134990860 4294956112 18446744073709551615 134942486 0 0 4096 2 0 0 0 17 1 0 0
/proc/17861/statm: 14017 724 151 116 0 13528 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 56068
[startup+0.101392 s]
/proc/loadavg: 2.05 2.02 2.00 4/72 17861
/proc/meminfo: memFree=1738064/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=56080 CPUtime=0.09
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 1103 0 0 0 4 5 0 0 20 0 1 0 1994698962 57425920 816 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/17861/statm: 14020 816 174 116 0 13531 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 56080
[startup+0.301418 s]
/proc/loadavg: 2.05 2.02 2.00 4/72 17861
/proc/meminfo: memFree=1738064/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=56080 CPUtime=0.29
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 1128 0 0 0 11 18 0 0 21 0 1 0 1994698962 57425920 841 996147200 134512640 134990860 4294956112 18446744073709551615 4574824 0 0 4096 2 0 0 0 17 1 0 0
/proc/17861/statm: 14020 841 174 116 0 13531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56080
[startup+0.70148 s]
/proc/loadavg: 2.05 2.02 2.00 4/72 17861
/proc/meminfo: memFree=1738064/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=56080 CPUtime=0.68
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 1178 0 0 0 24 44 0 0 25 0 1 0 1994698962 57425920 891 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/17861/statm: 14020 891 174 116 0 13531 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 56080
[startup+1.5016 s]
/proc/loadavg: 2.04 2.01 2.00 3/73 17862
/proc/meminfo: memFree=1734664/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=56080 CPUtime=1.48
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 1276 0 0 0 48 100 0 0 25 0 1 0 1994698962 57425920 989 996147200 134512640 134990860 4294956112 18446744073709551615 4578653 0 0 4096 2 0 0 0 17 1 0 0
/proc/17861/statm: 14020 989 174 116 0 13531 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 56080
[startup+3.10183 s]
/proc/loadavg: 2.04 2.01 2.00 3/73 17862
/proc/meminfo: memFree=1733576/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=56080 CPUtime=3.07
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 1417 0 0 0 97 210 0 0 25 0 1 0 1994698962 57425920 1130 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/17861/statm: 14020 1130 176 116 0 13531 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 56080
[startup+6.30132 s]
/proc/loadavg: 2.04 2.01 2.00 3/73 17862
/proc/meminfo: memFree=1698376/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=80104 CPUtime=6.25
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 16888 0 0 0 321 304 0 0 25 0 1 0 1994698962 82026496 12861 996147200 134512640 134990860 4294956112 18446744073709551615 134959280 0 0 4096 2 0 0 0 17 1 0 0
/proc/17861/statm: 20026 12861 186 116 0 19537 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 80104
[startup+12.7013 s]
/proc/loadavg: 2.04 2.01 2.00 3/73 17862
/proc/meminfo: memFree=1617736/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=201312 CPUtime=12.59
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 62278 0 0 0 935 324 0 0 25 0 1 0 1994698962 206143488 31358 996147200 134512640 134990860 4294956112 18446744073709551615 134954117 0 0 4096 2 0 0 0 17 1 0 0
/proc/17861/statm: 50328 31358 186 116 0 49839 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 201312
[startup+25.5011 s]
/proc/loadavg: 2.03 2.01 2.00 3/74 17863
/proc/meminfo: memFree=1608128/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=281868 CPUtime=25.29
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 79895 0 0 0 2197 332 0 0 25 0 2 0 1994698962 288632832 32096 996147200 134512640 134990860 4294956112 18446744073709551615 134746544 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17861/statm: 70467 32096 193 116 0 69978 0
[pid=17861/tid=17863] ppid=17859 vsize=281868 CPUtime=0
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1994700353 288632832 32096 996147200 134512640 134990860 4294956112 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) 281868
[startup+51.1019 s]
/proc/loadavg: 2.02 2.01 2.00 3/74 17863
/proc/meminfo: memFree=1608128/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=281868 CPUtime=50.7
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 79898 0 0 0 4738 332 0 0 25 0 2 0 1994698962 288632832 32099 996147200 134512640 134990860 4294956112 18446744073709551615 134716952 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17861/statm: 70467 32099 193 116 0 69978 0
[pid=17861/tid=17863] ppid=17859 vsize=281868 CPUtime=0
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1994700353 288632832 32099 996147200 134512640 134990860 4294956112 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) 281868
[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/74 17863
/proc/meminfo: memFree=1608128/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=281868 CPUtime=101.51
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 79898 0 0 0 9819 332 0 0 25 0 2 0 1994698962 288632832 32099 996147200 134512640 134990860 4294956112 18446744073709551615 134746544 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17861/statm: 70467 32099 193 116 0 69978 0
[pid=17861/tid=17863] ppid=17859 vsize=281868 CPUtime=0
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1994700353 288632832 32099 996147200 134512640 134990860 4294956112 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) 281868
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17863
/proc/meminfo: memFree=1608064/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=281868 CPUtime=161.07
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 79898 0 0 0 15774 333 0 0 25 0 2 0 1994698962 288632832 32099 996147200 134512640 134990860 4294956112 18446744073709551615 134746429 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17861/statm: 70467 32099 193 116 0 69978 0
[pid=17861/tid=17863] ppid=17859 vsize=281868 CPUtime=0
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1994700353 288632832 32099 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.07
Current children cumulated vsize (KiB) 281868
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17863
/proc/meminfo: memFree=1608064/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=281868 CPUtime=220.61
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 79898 0 0 0 21728 333 0 0 25 0 2 0 1994698962 288632832 32099 996147200 134512640 134990860 4294956112 18446744073709551615 134716955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17861/statm: 70467 32099 193 116 0 69978 0
[pid=17861/tid=17863] ppid=17859 vsize=281868 CPUtime=0
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1994700353 288632832 32099 996147200 134512640 134990860 4294956112 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) 281868
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17863
/proc/meminfo: memFree=1608064/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=281868 CPUtime=280.15
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 79898 0 0 0 27682 333 0 0 25 0 2 0 1994698962 288632832 32099 996147200 134512640 134990860 4294956112 18446744073709551615 134746346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17861/statm: 70467 32099 193 116 0 69978 0
[pid=17861/tid=17863] ppid=17859 vsize=281868 CPUtime=0
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1994700353 288632832 32099 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.15
Current children cumulated vsize (KiB) 281868
[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17863
/proc/meminfo: memFree=1608064/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=281868 CPUtime=339.7
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 79898 0 0 0 33637 333 0 0 25 0 2 0 1994698962 288632832 32099 996147200 134512640 134990860 4294956112 18446744073709551615 134746429 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17861/statm: 70467 32099 193 116 0 69978 0
[pid=17861/tid=17863] ppid=17859 vsize=281868 CPUtime=0
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1994700353 288632832 32099 996147200 134512640 134990860 4294956112 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) 281868
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17863
/proc/meminfo: memFree=1608064/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=281868 CPUtime=399.25
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 79898 0 0 0 39592 333 0 0 25 0 2 0 1994698962 288632832 32099 996147200 134512640 134990860 4294956112 18446744073709551615 134746436 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17861/statm: 70467 32099 193 116 0 69978 0
[pid=17861/tid=17863] ppid=17859 vsize=281868 CPUtime=0
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1994700353 288632832 32099 996147200 134512640 134990860 4294956112 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) 281868
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17863
/proc/meminfo: memFree=1608064/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=281868 CPUtime=458.78
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 79898 0 0 0 45545 333 0 0 25 0 2 0 1994698962 288632832 32099 996147200 134512640 134990860 4294956112 18446744073709551615 134716880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17861/statm: 70467 32099 193 116 0 69978 0
[pid=17861/tid=17863] ppid=17859 vsize=281868 CPUtime=0
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1994700353 288632832 32099 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.78
Current children cumulated vsize (KiB) 281868
[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17863
/proc/meminfo: memFree=1608000/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=281868 CPUtime=518.33
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 79898 0 0 0 51500 333 0 0 25 0 2 0 1994698962 288632832 32099 996147200 134512640 134990860 4294956112 18446744073709551615 134716933 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17861/statm: 70467 32099 193 116 0 69978 0
[pid=17861/tid=17863] ppid=17859 vsize=281868 CPUtime=0
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1994700353 288632832 32099 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 518.33
################
# More data... #
################
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1994700353 299122688 32101 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17861/tid=17904] ppid=17859 vsize=292112 CPUtime=0
/proc/17861/task/17904/stat : 17904 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1994790370 299122688 32101 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1237.75
Current children cumulated vsize (KiB) 292112
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17910
/proc/meminfo: memFree=1588576/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=292112 CPUtime=1297.73
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 79900 0 0 0 129438 335 0 0 25 0 3 0 1994698962 299122688 32101 996147200 134512640 134990860 4294956112 18446744073709551615 134746277 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17861/statm: 73028 32101 193 116 0 72539 0
[pid=17861/tid=17863] ppid=17859 vsize=292112 CPUtime=0
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1994700353 299122688 32101 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17861/tid=17904] ppid=17859 vsize=292112 CPUtime=0
/proc/17861/task/17904/stat : 17904 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1994790370 299122688 32101 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1297.73
Current children cumulated vsize (KiB) 292112
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17910
/proc/meminfo: memFree=1588576/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=292112 CPUtime=1357.7
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 79900 0 0 0 135435 335 0 0 25 0 3 0 1994698962 299122688 32101 996147200 134512640 134990860 4294956112 18446744073709551615 134716880 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17861/statm: 73028 32101 193 116 0 72539 0
[pid=17861/tid=17863] ppid=17859 vsize=292112 CPUtime=0
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1994700353 299122688 32101 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17861/tid=17904] ppid=17859 vsize=292112 CPUtime=0
/proc/17861/task/17904/stat : 17904 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1994790370 299122688 32101 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1357.7
Current children cumulated vsize (KiB) 292112
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/85 17911
/proc/meminfo: memFree=1588568/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=302356 CPUtime=1417.68
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 79901 0 0 0 141432 336 0 0 25 0 4 0 1994698962 309612544 32102 996147200 134512640 134990860 4294956112 18446744073709551615 134746366 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17861/statm: 75589 32102 193 116 0 75100 0
[pid=17861/tid=17863] ppid=17859 vsize=302356 CPUtime=0
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 1994700353 309612544 32102 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17861/tid=17904] ppid=17859 vsize=302356 CPUtime=0
/proc/17861/task/17904/stat : 17904 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 1994790370 309612544 32102 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17861/tid=17911] ppid=17859 vsize=302356 CPUtime=0
/proc/17861/task/17911/stat : 17911 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 1994835379 309612544 32102 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1417.68
Current children cumulated vsize (KiB) 302356
[startup+1482.3 s]
/proc/loadavg: 2.24 2.07 2.02 3/85 17911
/proc/meminfo: memFree=1588568/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=302356 CPUtime=1477.65
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 79901 0 0 0 147429 336 0 0 25 0 4 0 1994698962 309612544 32102 996147200 134512640 134990860 4294956112 18446744073709551615 134716955 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17861/statm: 75589 32102 193 116 0 75100 0
[pid=17861/tid=17863] ppid=17859 vsize=302356 CPUtime=0
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 1994700353 309612544 32102 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17861/tid=17904] ppid=17859 vsize=302356 CPUtime=0
/proc/17861/task/17904/stat : 17904 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 1994790370 309612544 32102 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17861/tid=17911] ppid=17859 vsize=302356 CPUtime=0
/proc/17861/task/17911/stat : 17911 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 1994835379 309612544 32102 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1477.65
Current children cumulated vsize (KiB) 302356
[startup+1542.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/85 17911
/proc/meminfo: memFree=1588512/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=302356 CPUtime=1537.62
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 79901 0 0 0 153426 336 0 0 25 0 4 0 1994698962 309612544 32102 996147200 134512640 134990860 4294956112 18446744073709551615 134716892 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17861/statm: 75589 32102 193 116 0 75100 0
[pid=17861/tid=17863] ppid=17859 vsize=302356 CPUtime=0
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 1994700353 309612544 32102 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17861/tid=17904] ppid=17859 vsize=302356 CPUtime=0
/proc/17861/task/17904/stat : 17904 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 1994790370 309612544 32102 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17861/tid=17911] ppid=17859 vsize=302356 CPUtime=0
/proc/17861/task/17911/stat : 17911 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 1994835379 309612544 32102 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1537.62
Current children cumulated vsize (KiB) 302356
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/86 17912
/proc/meminfo: memFree=1588440/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=312600 CPUtime=1597.59
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 79902 0 0 0 159423 336 0 0 25 0 5 0 1994698962 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 134746353 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17861/statm: 78150 32103 193 116 0 77661 0
[pid=17861/tid=17863] ppid=17859 vsize=312600 CPUtime=0
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 1994700353 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17861/tid=17904] ppid=17859 vsize=312600 CPUtime=0
/proc/17861/task/17904/stat : 17904 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1994790370 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17861/tid=17911] ppid=17859 vsize=312600 CPUtime=0
/proc/17861/task/17911/stat : 17911 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1994835379 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17861/tid=17912] ppid=17859 vsize=312600 CPUtime=0
/proc/17861/task/17912/stat : 17912 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 1994857890 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1597.59
Current children cumulated vsize (KiB) 312600
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/86 17912
/proc/meminfo: memFree=1588376/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=312600 CPUtime=1657.57
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 79902 0 0 0 165421 336 0 0 25 0 5 0 1994698962 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 134716889 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17861/statm: 78150 32103 193 116 0 77661 0
[pid=17861/tid=17863] ppid=17859 vsize=312600 CPUtime=0
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 1994700353 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17861/tid=17904] ppid=17859 vsize=312600 CPUtime=0
/proc/17861/task/17904/stat : 17904 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1994790370 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17861/tid=17911] ppid=17859 vsize=312600 CPUtime=0
/proc/17861/task/17911/stat : 17911 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1994835379 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17861/tid=17912] ppid=17859 vsize=312600 CPUtime=0
/proc/17861/task/17912/stat : 17912 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 1994857890 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1657.57
Current children cumulated vsize (KiB) 312600
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/86 17912
/proc/meminfo: memFree=1588312/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=312600 CPUtime=1717.54
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 79902 0 0 0 171418 336 0 0 25 0 5 0 1994698962 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 134716928 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17861/statm: 78150 32103 193 116 0 77661 0
[pid=17861/tid=17863] ppid=17859 vsize=312600 CPUtime=0
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 1994700353 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17861/tid=17904] ppid=17859 vsize=312600 CPUtime=0
/proc/17861/task/17904/stat : 17904 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1994790370 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17861/tid=17911] ppid=17859 vsize=312600 CPUtime=0
/proc/17861/task/17911/stat : 17911 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1994835379 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17861/tid=17912] ppid=17859 vsize=312600 CPUtime=0
/proc/17861/task/17912/stat : 17912 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1994857890 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1717.54
Current children cumulated vsize (KiB) 312600
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/86 17912
/proc/meminfo: memFree=1587992/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=312600 CPUtime=1777.52
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 79902 0 0 0 177416 336 0 0 25 0 5 0 1994698962 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 134746487 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17861/statm: 78150 32103 193 116 0 77661 0
[pid=17861/tid=17863] ppid=17859 vsize=312600 CPUtime=0
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 1994700353 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17861/tid=17904] ppid=17859 vsize=312600 CPUtime=0
/proc/17861/task/17904/stat : 17904 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1994790370 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17861/tid=17911] ppid=17859 vsize=312600 CPUtime=0
/proc/17861/task/17911/stat : 17911 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1994835379 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17861/tid=17912] ppid=17859 vsize=312600 CPUtime=0
/proc/17861/task/17912/stat : 17912 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1994857890 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1777.52
Current children cumulated vsize (KiB) 312600
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/86 17912
/proc/meminfo: memFree=1587992/2055920 swapFree=4180424/4192956
[pid=17861] ppid=17859 vsize=312600 CPUtime=1800.01
/proc/17861/stat : 17861 (bprolog) R 17859 17861 17590 0 -1 4194304 79902 0 0 0 179665 336 0 0 25 0 5 0 1994698962 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 134716889 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/17861/statm: 78150 32103 193 116 0 77661 0
[pid=17861/tid=17863] ppid=17859 vsize=312600 CPUtime=0
/proc/17861/task/17863/stat : 17863 (bprolog) S 17859 17861 17590 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 1994700353 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17861/tid=17904] ppid=17859 vsize=312600 CPUtime=0
/proc/17861/task/17904/stat : 17904 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1994790370 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17861/tid=17911] ppid=17859 vsize=312600 CPUtime=0
/proc/17861/task/17911/stat : 17911 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1994835379 320102400 32103 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=17861/tid=17912] ppid=17859 vsize=312600 CPUtime=0
/proc/17861/task/17912/stat : 17912 (bprolog) S 17859 17861 17590 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 1994857890 320102400 32103 996147200 134512640 134990860 4294956112 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) 312600
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): 1804.84
CPU time (s): 1800.05
CPU user time (s): 1796.66
CPU system time (s): 3.38948
CPU usage (%): 99.735
Max. virtual memory (cumulated for all children) (KiB): 341940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.66
system time used= 3.38948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79902
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= 16581
runsolver used 2.09768 second user time and 5.42018 second system time
The end
Begin job on node52 at 2008-07-04 09:41:07
IDJOB=1068848
IDBENCH=55548
IDSOLVER=347
FILE ID=node52/1068848-1215157267
PBS_JOBID= 7877460
Free space on /tmp= 66560 MiB
SOLVER NAME= bpsolver 2008-06-27
BENCH NAME= CPAI08/csp/ukVg/normalized-crossword-m1c-uk-vg7-9_ext.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1068848-1215157267/watcher-1068848-1215157267 -o /tmp/evaluation-result-1068848-1215157267/solver-1068848-1215157267 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1068848-1215157267 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= eb6a12039273c6f062389e17a5681a9f
RANDOM SEED=1799299335
node52.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.265
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.265
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: 1738544 kB
Buffers: 61688 kB
Cached: 176848 kB
SwapCached: 6808 kB
Active: 156848 kB
Inactive: 98808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1738544 kB
SwapTotal: 4192956 kB
SwapFree: 4180424 kB
Dirty: 2416 kB
Writeback: 0 kB
Mapped: 24160 kB
Slab: 46920 kB
Committed_AS: 3864064 kB
PageTables: 1848 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= 66556 MiB
End job on node52 at 2008-07-04 10:11:14