runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1090057-1215270029/watcher-1090057-1215270029 -o /tmp/evaluation-result-1090057-1215270029/solver-1090057-1215270029 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1090057-1215270029 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.92 1.98 1.99 4/81 24145
/proc/meminfo: memFree=1670192/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=4780 CPUtime=0
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 595 0 0 0 0 0 0 0 20 0 1 0 1011457814 4894720 313 996147200 134512640 134990860 4294956096 18446744073709551615 134530848 0 0 4096 0 0 0 0 17 1 0 0
/proc/24145/statm: 1195 313 72 116 0 706 0
[startup+0.202967 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 24145
/proc/meminfo: memFree=1670192/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=56080 CPUtime=0.19
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1165 0 0 0 10 9 0 0 20 0 1 0 1011457814 57425920 878 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/24145/statm: 14020 878 178 116 0 13531 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 56080
[startup+0.301976 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 24145
/proc/meminfo: memFree=1670192/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=0.29
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1483 0 0 0 19 10 0 0 21 0 2 0 1011457814 75911168 1193 996147200 134512640 134990860 4294956096 18446744073709551615 134839640 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 18533 1193 191 116 0 18044 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 74132
[startup+0.401979 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 24145
/proc/meminfo: memFree=1670192/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=0.39
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 29 10 0 0 23 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134839736 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 74132
[startup+0.702004 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 24145
/proc/meminfo: memFree=1670192/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=0.69
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 59 10 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134839661 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 74132
[startup+1.50107 s]
/proc/loadavg: 1.92 1.98 1.99 3/83 24147
/proc/meminfo: memFree=1666016/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=1.48
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 138 10 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134572199 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 23 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 74132
[startup+3.10119 s]
/proc/loadavg: 1.92 1.98 1.99 3/83 24147
/proc/meminfo: memFree=1665824/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=3.06
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 296 10 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134838955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 23 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 74132
[startup+6.30145 s]
/proc/loadavg: 1.93 1.98 1.99 4/83 24147
/proc/meminfo: memFree=1665760/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=6.24
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 614 10 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134838898 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 23 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 74132
[startup+12.702 s]
/proc/loadavg: 1.93 1.98 1.99 3/83 24147
/proc/meminfo: memFree=1665632/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=12.58
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 1248 10 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134710581 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 23 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 74132
[startup+25.507 s]
/proc/loadavg: 1.95 1.98 1.99 3/83 24147
/proc/meminfo: memFree=1665376/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=25.28
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 2518 10 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134839722 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 23 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 74132
[startup+51.102 s]
/proc/loadavg: 2.04 2.00 2.00 3/83 24153
/proc/meminfo: memFree=1665184/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=50.64
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 5054 10 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134839704 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 23 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 74132
[startup+102.301 s]
/proc/loadavg: 2.02 2.00 2.00 3/83 24153
/proc/meminfo: memFree=1665056/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=101.42
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 10131 11 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134839661 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 23 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 74132
[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24153
/proc/meminfo: memFree=1665120/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=160.91
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 16080 11 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134839690 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 23 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.91
Current children cumulated vsize (KiB) 74132
[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24153
/proc/meminfo: memFree=1664480/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=220.4
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 22029 11 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134839650 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 23 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.4
Current children cumulated vsize (KiB) 74132
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24153
/proc/meminfo: memFree=1664480/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=279.89
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 27978 11 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134607551 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 23 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.89
Current children cumulated vsize (KiB) 74132
[startup+342.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24153
/proc/meminfo: memFree=1664288/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=339.39
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 33928 11 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134605140 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 23 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.39
Current children cumulated vsize (KiB) 74132
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24153
/proc/meminfo: memFree=1663904/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=398.88
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 39877 11 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134709039 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 23 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.88
Current children cumulated vsize (KiB) 74132
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24153
/proc/meminfo: memFree=1663520/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=458.38
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 45826 12 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134598341 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 23 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.38
Current children cumulated vsize (KiB) 74132
[startup+522.301 s]
################
# More data... #
################
[pid=24145] ppid=24143 vsize=74132 CPUtime=996.29
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 99615 14 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134710564 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 996.29
Current children cumulated vsize (KiB) 74132
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24196
/proc/meminfo: memFree=1694880/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=1056.24
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 105610 14 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134839661 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1056.24
Current children cumulated vsize (KiB) 74132
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24196
/proc/meminfo: memFree=1694880/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=1116.21
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 111607 14 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134839661 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1116.21
Current children cumulated vsize (KiB) 74132
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24196
/proc/meminfo: memFree=1694880/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=1176.18
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 117604 14 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134715604 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1176.18
Current children cumulated vsize (KiB) 74132
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24196
/proc/meminfo: memFree=1694688/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=1236.14
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 123600 14 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134839702 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1236.14
Current children cumulated vsize (KiB) 74132
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24196
/proc/meminfo: memFree=1694624/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=1296.1
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 129596 14 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134839661 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1296.1
Current children cumulated vsize (KiB) 74132
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24196
/proc/meminfo: memFree=1694624/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=1356.06
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 135592 14 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134839722 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1356.06
Current children cumulated vsize (KiB) 74132
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24196
/proc/meminfo: memFree=1694624/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=1416.02
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 141588 14 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134838937 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1416.02
Current children cumulated vsize (KiB) 74132
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24196
/proc/meminfo: memFree=1694624/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=1475.98
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 147584 14 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134629956 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.98
Current children cumulated vsize (KiB) 74132
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24196
/proc/meminfo: memFree=1694624/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=1535.95
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 153581 14 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134838842 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.95
Current children cumulated vsize (KiB) 74132
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24196
/proc/meminfo: memFree=1694624/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=1595.92
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 159577 15 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134710948 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.92
Current children cumulated vsize (KiB) 74132
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24196
/proc/meminfo: memFree=1694560/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=1655.89
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 165574 15 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134839632 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.89
Current children cumulated vsize (KiB) 74132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24196
/proc/meminfo: memFree=1694560/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=1715.85
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 171570 15 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134715688 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.85
Current children cumulated vsize (KiB) 74132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24196
/proc/meminfo: memFree=1694368/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=1775.81
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 177566 15 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134607551 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.81
Current children cumulated vsize (KiB) 74132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24196
/proc/meminfo: memFree=1694368/2055920 swapFree=4137340/4192956
[pid=24145] ppid=24143 vsize=74132 CPUtime=1800.1
/proc/24145/stat : 24145 (bprolog) R 24143 24145 23877 0 -1 4194304 1485 0 0 0 179995 15 0 0 25 0 2 0 1011457814 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 134718656 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24145/statm: 18533 1195 193 116 0 18044 0
[pid=24145/tid=24147] ppid=24143 vsize=74132 CPUtime=0
/proc/24145/task/24147/stat : 24147 (bprolog) S 24143 24145 23877 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 1011457844 75911168 1195 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 74132
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): 1806.61
CPU time (s): 1800.11
CPU user time (s): 1799.96
CPU system time (s): 0.152976
CPU usage (%): 99.6401
Max. virtual memory (cumulated for all children) (KiB): 74132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1485
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 31316
runsolver used 1.61775 second user time and 4.96724 second system time
The end
Begin job on node26 at 2008-07-05 17:00:29
IDJOB=1090057
IDBENCH=58391
IDSOLVER=347
FILE ID=node26/1090057-1215270029
PBS_JOBID= 7882224
Free space on /tmp= 66468 MiB
SOLVER NAME= bpsolver 2008-06-27
BENCH NAME= CPAI08/csp/graphColoring/sgb/book/normalized-homer-12.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1090057-1215270029/watcher-1090057-1215270029 -o /tmp/evaluation-result-1090057-1215270029/solver-1090057-1215270029 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1090057-1215270029 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 123e2cd4075a239e85b27a34c046082e
RANDOM SEED=1171380576
node26.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.221
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.221
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: 1670672 kB
Buffers: 37464 kB
Cached: 184208 kB
SwapCached: 49444 kB
Active: 250572 kB
Inactive: 82304 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1670672 kB
SwapTotal: 4192956 kB
SwapFree: 4137340 kB
Dirty: 1548 kB
Writeback: 0 kB
Mapped: 127296 kB
Slab: 37492 kB
Committed_AS: 1842748 kB
PageTables: 1996 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= 66468 MiB
End job on node26 at 2008-07-05 17:30:38