runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1064569-1215142518/watcher-1064569-1215142518 -o /tmp/evaluation-result-1064569-1215142518/solver-1064569-1215142518 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1064569-1215142518 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: 1.98 2.02 2.00 4/72 32444
/proc/meminfo: memFree=1289856/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=56080 CPUtime=0.12
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 1169 0 0 0 6 6 0 0 18 0 1 0 126247179 57425920 882 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/32444/statm: 14020 882 178 116 0 13531 0
[startup+0.167778 s]
/proc/loadavg: 1.98 2.02 2.00 4/72 32444
/proc/meminfo: memFree=1289856/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=56080 CPUtime=0.16
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 1170 0 0 0 8 8 0 0 18 0 1 0 126247179 57425920 883 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/32444/statm: 14020 883 178 116 0 13531 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 56080
[startup+0.201784 s]
/proc/loadavg: 1.98 2.02 2.00 4/72 32444
/proc/meminfo: memFree=1289856/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=56080 CPUtime=0.19
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 1170 0 0 0 9 10 0 0 18 0 1 0 126247179 57425920 883 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/32444/statm: 14020 883 178 116 0 13531 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 56080
[startup+0.301801 s]
/proc/loadavg: 1.98 2.02 2.00 4/72 32444
/proc/meminfo: memFree=1289856/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=56080 CPUtime=0.29
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 1170 0 0 0 14 15 0 0 19 0 1 0 126247179 57425920 883 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/32444/statm: 14020 883 178 116 0 13531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56080
[startup+0.701877 s]
/proc/loadavg: 1.98 2.02 2.00 4/72 32444
/proc/meminfo: memFree=1289856/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=56080 CPUtime=0.69
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 1173 0 0 0 33 36 0 0 23 0 1 0 126247179 57425920 886 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/32444/statm: 14020 886 178 116 0 13531 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56080
[startup+1.50203 s]
/proc/loadavg: 1.98 2.02 2.00 3/73 32445
/proc/meminfo: memFree=1286584/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=56080 CPUtime=1.49
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 1178 0 0 0 71 78 0 0 25 0 1 0 126247179 57425920 891 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/32444/statm: 14020 891 178 116 0 13531 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56080
[startup+3.10133 s]
/proc/loadavg: 1.98 2.02 2.00 3/73 32445
/proc/meminfo: memFree=1285816/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=56080 CPUtime=3.09
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 1188 0 0 0 147 162 0 0 25 0 1 0 126247179 57425920 901 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/32444/statm: 14020 901 178 116 0 13531 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56080
[startup+6.30194 s]
/proc/loadavg: 1.98 2.02 2.00 3/73 32445
/proc/meminfo: memFree=1284408/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=56080 CPUtime=6.28
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 1208 0 0 0 298 330 0 0 25 0 1 0 126247179 57425920 921 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/32444/statm: 14020 921 178 116 0 13531 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 56080
[startup+12.7012 s]
/proc/loadavg: 1.98 2.02 2.00 3/73 32445
/proc/meminfo: memFree=1182008/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=288824 CPUtime=12.68
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 54781 0 0 0 771 497 0 0 25 0 1 0 126247179 295755776 45251 996147200 134512640 134990860 4294956112 18446744073709551615 134959702 0 0 4096 2 0 0 0 17 0 0 0
/proc/32444/statm: 72206 45251 196 116 0 71717 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 288824
[startup+25.5016 s]
/proc/loadavg: 1.99 2.02 2.00 3/74 32446
/proc/meminfo: memFree=1121520/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=252188 CPUtime=25.48
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 74144 0 0 0 2041 507 0 0 25 0 2 0 126247179 258240512 41174 996147200 134512640 134990860 4294956112 18446744073709551615 134607551 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32444/statm: 63047 41174 204 116 0 62558 0
[pid=32444/tid=32446] ppid=32442 vsize=252188 CPUtime=0
/proc/32444/task/32446/stat : 32446 (bprolog) S 32442 32444 31904 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 126248510 258240512 41174 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 252188
[startup+51.1025 s]
/proc/loadavg: 1.99 2.02 2.00 3/74 32446
/proc/meminfo: memFree=1120112/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=252188 CPUtime=51.07
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 74515 0 0 0 4600 507 0 0 25 0 2 0 126247179 258240512 41545 996147200 134512640 134990860 4294956112 18446744073709551615 134629495 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32444/statm: 63047 41545 204 116 0 62558 0
[pid=32444/tid=32446] ppid=32442 vsize=252188 CPUtime=0
/proc/32444/task/32446/stat : 32446 (bprolog) S 32442 32444 31904 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 126248510 258240512 41545 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 252188
[startup+102.302 s]
/proc/loadavg: 1.99 2.01 2.00 3/74 32446
/proc/meminfo: memFree=1119920/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=252188 CPUtime=102.25
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 74551 0 0 0 9718 507 0 0 25 0 2 0 126247179 258240512 41581 996147200 134512640 134990860 4294956112 18446744073709551615 134559515 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32444/statm: 63047 41581 204 116 0 62558 0
[pid=32444/tid=32446] ppid=32442 vsize=252188 CPUtime=0
/proc/32444/task/32446/stat : 32446 (bprolog) S 32442 32444 31904 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 126248510 258240512 41581 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 252188
[startup+162.302 s]
/proc/loadavg: 1.99 2.01 2.00 3/74 32446
/proc/meminfo: memFree=1119920/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=252188 CPUtime=162.22
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 74551 0 0 0 15715 507 0 0 25 0 2 0 126247179 258240512 41581 996147200 134512640 134990860 4294956112 18446744073709551615 134559523 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32444/statm: 63047 41581 204 116 0 62558 0
[pid=32444/tid=32446] ppid=32442 vsize=252188 CPUtime=0
/proc/32444/task/32446/stat : 32446 (bprolog) S 32442 32444 31904 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 126248510 258240512 41581 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 252188
[startup+222.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 32446
/proc/meminfo: memFree=1118256/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=252188 CPUtime=222.19
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 74967 0 0 0 21712 507 0 0 25 0 2 0 126247179 258240512 41997 996147200 134512640 134990860 4294956112 18446744073709551615 134607551 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32444/statm: 63047 41997 204 116 0 62558 0
[pid=32444/tid=32446] ppid=32442 vsize=252188 CPUtime=0
/proc/32444/task/32446/stat : 32446 (bprolog) S 32442 32444 31904 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 126248510 258240512 41997 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 252188
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 32446
/proc/meminfo: memFree=1118256/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=252188 CPUtime=282.16
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 74967 0 0 0 27709 507 0 0 25 0 2 0 126247179 258240512 41997 996147200 134512640 134990860 4294956112 18446744073709551615 134629956 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32444/statm: 63047 41997 204 116 0 62558 0
[pid=32444/tid=32446] ppid=32442 vsize=252188 CPUtime=0
/proc/32444/task/32446/stat : 32446 (bprolog) S 32442 32444 31904 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 126248510 258240512 41997 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 252188
[startup+342.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 32446
/proc/meminfo: memFree=1118256/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=252188 CPUtime=342.13
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 74967 0 0 0 33706 507 0 0 25 0 2 0 126247179 258240512 41997 996147200 134512640 134990860 4294956112 18446744073709551615 134559515 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32444/statm: 63047 41997 204 116 0 62558 0
[pid=32444/tid=32446] ppid=32442 vsize=252188 CPUtime=0
/proc/32444/task/32446/stat : 32446 (bprolog) S 32442 32444 31904 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 126248510 258240512 41997 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 252188
[startup+402.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 32446
/proc/meminfo: memFree=1118256/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=252188 CPUtime=402.1
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 74967 0 0 0 39703 507 0 0 25 0 2 0 126247179 258240512 41997 996147200 134512640 134990860 4294956112 18446744073709551615 134872758 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32444/statm: 63047 41997 204 116 0 62558 0
[pid=32444/tid=32446] ppid=32442 vsize=252188 CPUtime=0
/proc/32444/task/32446/stat : 32446 (bprolog) S 32442 32444 31904 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 126248510 258240512 41997 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 252188
[startup+462.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 32446
/proc/meminfo: memFree=1118256/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=252188 CPUtime=462.07
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 74970 0 0 0 45700 507 0 0 25 0 2 0 126247179 258240512 42000 996147200 134512640 134990860 4294956112 18446744073709551615 134629956 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32444/statm: 63047 42000 204 116 0 62558 0
[pid=32444/tid=32446] ppid=32442 vsize=252188 CPUtime=0
/proc/32444/task/32446/stat : 32446 (bprolog) S 32442 32444 31904 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 126248510 258240512 42000 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 252188
[startup+522.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 32446
/proc/meminfo: memFree=1118256/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=252188 CPUtime=522.05
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 74970 0 0 0 51697 508 0 0 25 0 2 0 126247179 258240512 42000 996147200 134512640 134990860 4294956112 18446744073709551615 134630006 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32444/statm: 63047 42000 204 116 0 62558 0
[pid=32444/tid=32446] ppid=32442 vsize=252188 CPUtime=0
/proc/32444/task/32446/stat : 32446 (bprolog) S 32442 32444 31904 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 126248510 258240512 42000 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.05
################
# More data... #
################
Current children cumulated vsize (KiB) 262432
[startup+1362.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/85 32538
/proc/meminfo: memFree=328664/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=262432 CPUtime=1357.49
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 75042 0 0 0 135240 509 0 0 25 0 3 0 126247179 268730368 42072 996147200 134512640 134990860 4294956112 18446744073709551615 134630006 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32444/statm: 65608 42072 204 116 0 65119 0
[pid=32444/tid=32446] ppid=32442 vsize=262432 CPUtime=0
/proc/32444/task/32446/stat : 32446 (bprolog) S 32442 32444 31904 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 126248510 268730368 42072 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=32444/tid=32536] ppid=32442 vsize=262432 CPUtime=0
/proc/32444/task/32536/stat : 32536 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 126338543 268730368 42072 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1357.49
Current children cumulated vsize (KiB) 262432
[startup+1422.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/86 32539
/proc/meminfo: memFree=328656/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=272676 CPUtime=1417.24
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 75043 0 0 0 141215 509 0 0 25 0 4 0 126247179 279220224 42073 996147200 134512640 134990860 4294956112 18446744073709551615 134592936 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32444/statm: 68169 42073 204 116 0 67680 0
[pid=32444/tid=32446] ppid=32442 vsize=272676 CPUtime=0
/proc/32444/task/32446/stat : 32446 (bprolog) S 32442 32444 31904 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 126248510 279220224 42073 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=32444/tid=32536] ppid=32442 vsize=272676 CPUtime=0
/proc/32444/task/32536/stat : 32536 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 126338543 279220224 42073 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32444/tid=32539] ppid=32442 vsize=272676 CPUtime=0
/proc/32444/task/32539/stat : 32539 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 126383569 279220224 42073 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1417.24
Current children cumulated vsize (KiB) 272676
[startup+1482.3 s]
/proc/loadavg: 2.05 2.05 2.01 4/86 32539
/proc/meminfo: memFree=328656/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=272676 CPUtime=1476.99
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 75043 0 0 0 147190 509 0 0 25 0 4 0 126247179 279220224 42073 996147200 134512640 134990860 4294956112 18446744073709551615 134586262 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32444/statm: 68169 42073 204 116 0 67680 0
[pid=32444/tid=32446] ppid=32442 vsize=272676 CPUtime=0
/proc/32444/task/32446/stat : 32446 (bprolog) S 32442 32444 31904 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 126248510 279220224 42073 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=32444/tid=32536] ppid=32442 vsize=272676 CPUtime=0
/proc/32444/task/32536/stat : 32536 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 126338543 279220224 42073 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32444/tid=32539] ppid=32442 vsize=272676 CPUtime=0
/proc/32444/task/32539/stat : 32539 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 126383569 279220224 42073 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.99
Current children cumulated vsize (KiB) 272676
[startup+1542.31 s]
/proc/loadavg: 2.02 2.04 2.00 3/86 32539
/proc/meminfo: memFree=328656/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=272676 CPUtime=1536.75
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 75043 0 0 0 153166 509 0 0 25 0 4 0 126247179 279220224 42073 996147200 134512640 134990860 4294956112 18446744073709551615 134607686 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32444/statm: 68169 42073 204 116 0 67680 0
[pid=32444/tid=32446] ppid=32442 vsize=272676 CPUtime=0
/proc/32444/task/32446/stat : 32446 (bprolog) S 32442 32444 31904 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 126248510 279220224 42073 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=32444/tid=32536] ppid=32442 vsize=272676 CPUtime=0
/proc/32444/task/32536/stat : 32536 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 126338543 279220224 42073 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32444/tid=32539] ppid=32442 vsize=272676 CPUtime=0
/proc/32444/task/32539/stat : 32539 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 126383569 279220224 42073 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.75
Current children cumulated vsize (KiB) 272676
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/87 32546
/proc/meminfo: memFree=328584/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=282920 CPUtime=1596.49
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 75044 0 0 0 159140 509 0 0 25 0 5 0 126247179 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 134630006 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32444/statm: 70730 42074 204 116 0 70241 0
[pid=32444/tid=32446] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32446/stat : 32446 (bprolog) S 32442 32444 31904 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 126248510 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=32444/tid=32536] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32536/stat : 32536 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 126338543 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32444/tid=32539] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32539/stat : 32539 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 126383569 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32444/tid=32546] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32546/stat : 32546 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 126406078 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.49
Current children cumulated vsize (KiB) 282920
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/87 32546
/proc/meminfo: memFree=328520/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=282920 CPUtime=1656.2
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 75044 0 0 0 165111 509 0 0 25 0 5 0 126247179 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 134851762 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32444/statm: 70730 42074 204 116 0 70241 0
[pid=32444/tid=32446] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32446/stat : 32446 (bprolog) S 32442 32444 31904 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 126248510 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=32444/tid=32536] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32536/stat : 32536 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 126338543 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32444/tid=32539] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32539/stat : 32539 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 126383569 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32444/tid=32546] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32546/stat : 32546 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 126406078 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.2
Current children cumulated vsize (KiB) 282920
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/87 32546
/proc/meminfo: memFree=328520/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=282920 CPUtime=1715.92
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 75044 0 0 0 171083 509 0 0 25 0 5 0 126247179 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 134559515 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32444/statm: 70730 42074 204 116 0 70241 0
[pid=32444/tid=32446] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32446/stat : 32446 (bprolog) S 32442 32444 31904 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 126248510 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=32444/tid=32536] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32536/stat : 32536 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 126338543 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32444/tid=32539] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32539/stat : 32539 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 126383569 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32444/tid=32546] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32546/stat : 32546 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 126406078 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.92
Current children cumulated vsize (KiB) 282920
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/87 32546
/proc/meminfo: memFree=328328/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=282920 CPUtime=1775.65
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 75044 0 0 0 177055 510 0 0 25 0 5 0 126247179 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 134629956 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32444/statm: 70730 42074 204 116 0 70241 0
[pid=32444/tid=32446] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32446/stat : 32446 (bprolog) S 32442 32444 31904 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 126248510 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=32444/tid=32536] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32536/stat : 32536 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 126338543 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32444/tid=32539] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32539/stat : 32539 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 126383569 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32444/tid=32546] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32546/stat : 32546 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 126406078 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.65
Current children cumulated vsize (KiB) 282920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.8 s]
/proc/loadavg: 2.06 2.03 2.00 3/87 32546
/proc/meminfo: memFree=328328/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=282920 CPUtime=1800.04
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 75044 0 0 0 179494 510 0 0 25 0 5 0 126247179 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 134630006 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32444/statm: 70730 42074 204 116 0 70241 0
[pid=32444/tid=32446] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32446/stat : 32446 (bprolog) S 32442 32444 31904 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 126248510 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=32444/tid=32536] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32536/stat : 32536 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 126338543 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32444/tid=32539] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32539/stat : 32539 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 126383569 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32444/tid=32546] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32546/stat : 32546 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 126406078 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 282920
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1806.8 s]
/proc/loadavg: 2.06 2.03 2.00 3/87 32546
/proc/meminfo: memFree=328328/2055920 swapFree=4191676/4192956
[pid=32444] ppid=32442 vsize=282920 CPUtime=1800.04
/proc/32444/stat : 32444 (bprolog) R 32442 32444 31904 0 -1 4194304 75044 0 0 0 179494 510 0 0 25 0 5 0 126247179 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 134630006 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32444/statm: 70730 42074 204 116 0 70241 0
[pid=32444/tid=32446] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32446/stat : 32446 (bprolog) S 32442 32444 31904 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 126248510 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=32444/tid=32536] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32536/stat : 32536 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 126338543 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32444/tid=32539] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32539/stat : 32539 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 126383569 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32444/tid=32546] ppid=32442 vsize=282920 CPUtime=0
/proc/32444/task/32546/stat : 32546 (bprolog) S 32442 32444 31904 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 126406078 289710080 42074 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 282920
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1806.84
CPU time (s): 1800.08
CPU user time (s): 1794.95
CPU system time (s): 5.12622
CPU usage (%): 99.6257
Max. virtual memory (cumulated for all children) (KiB): 288824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.95
system time used= 5.12622
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75044
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= 34764
runsolver used 1.91871 second user time and 5.10322 second system time
The end
Begin job on node63 at 2008-07-04 05:35:19
IDJOB=1064569
IDBENCH=54965
IDSOLVER=347
FILE ID=node63/1064569-1215142518
PBS_JOBID= 7877387
Free space on /tmp= 66552 MiB
SOLVER NAME= bpsolver 2008-06-27
BENCH NAME= CPAI08/csp/tdsp/normalized-C7-3-240.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1064569-1215142518/watcher-1064569-1215142518 -o /tmp/evaluation-result-1064569-1215142518/solver-1064569-1215142518 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1064569-1215142518 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= f9fb4b9e93d84a370d6e24bfb8078515
RANDOM SEED=830064863
node63.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.256
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.256
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: 1290336 kB
Buffers: 61456 kB
Cached: 593396 kB
SwapCached: 260 kB
Active: 337588 kB
Inactive: 356184 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1290336 kB
SwapTotal: 4192956 kB
SwapFree: 4191676 kB
Dirty: 4448 kB
Writeback: 0 kB
Mapped: 51556 kB
Slab: 57368 kB
Committed_AS: 320052 kB
PageTables: 1616 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66548 MiB
End job on node63 at 2008-07-04 06:05:27