runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060054-1215125645/watcher-1060054-1215125645 -o /tmp/evaluation-result-1060054-1215125645/solver-1060054-1215125645 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1060054-1215125645 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.00 1.00 1.08 4/81 13251
/proc/meminfo: memFree=1547368/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=4780 CPUtime=0
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 400 0 0 0 0 0 0 0 20 0 1 0 150375874 4894720 118 996147200 134512640 134990860 4294956112 18446744073709551615 134530848 0 0 4096 0 0 0 0 17 1 0 0
/proc/13251/statm: 1195 118 72 116 0 706 0
[startup+0.208918 s]
/proc/loadavg: 1.00 1.00 1.08 4/81 13251
/proc/meminfo: memFree=1547368/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=56080 CPUtime=0.2
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 1124 0 0 0 11 9 0 0 21 0 1 0 150375874 57425920 837 996147200 134512640 134990860 4294956112 18446744073709551615 134557328 0 0 4096 2 0 0 0 17 1 0 0
/proc/13251/statm: 14020 837 178 116 0 13531 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 56080
[startup+0.301931 s]
/proc/loadavg: 1.00 1.00 1.08 4/81 13251
/proc/meminfo: memFree=1547368/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=56080 CPUtime=0.29
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 1126 0 0 0 16 13 0 0 21 0 1 0 150375874 57425920 839 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/13251/statm: 14020 839 178 116 0 13531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56080
[startup+0.401941 s]
/proc/loadavg: 1.00 1.00 1.08 4/81 13251
/proc/meminfo: memFree=1547368/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=56080 CPUtime=0.38
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 1128 0 0 0 20 18 0 0 22 0 1 0 150375874 57425920 841 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/13251/statm: 14020 841 178 116 0 13531 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 56080
[startup+0.70198 s]
/proc/loadavg: 1.00 1.00 1.08 4/81 13251
/proc/meminfo: memFree=1547368/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=64188 CPUtime=0.69
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2049 0 0 0 40 29 0 0 25 0 1 0 150375874 65728512 1759 996147200 134512640 134990860 4294956112 18446744073709551615 134571776 0 0 4096 2 0 0 0 17 1 0 0
/proc/13251/statm: 16047 1759 185 116 0 15558 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64188
[startup+1.50105 s]
/proc/loadavg: 1.00 1.00 1.08 3/83 13253
/proc/meminfo: memFree=1540632/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=74432 CPUtime=1.48
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2077 0 0 0 119 29 0 0 25 0 2 0 150375874 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 134724281 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13251/statm: 18608 1787 196 116 0 18119 0
[pid=13251/tid=13253] ppid=13249 vsize=74432 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 150375987 76218368 1787 996147200 134512640 134990860 4294956112 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) 74432
[startup+3.10122 s]
/proc/loadavg: 1.00 1.00 1.08 3/83 13253
/proc/meminfo: memFree=1540504/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=74432 CPUtime=3.06
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2077 0 0 0 277 29 0 0 25 0 2 0 150375874 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 134731715 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13251/statm: 18608 1787 196 116 0 18119 0
[pid=13251/tid=13253] ppid=13249 vsize=74432 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 150375987 76218368 1787 996147200 134512640 134990860 4294956112 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) 74432
[startup+6.30156 s]
/proc/loadavg: 1.08 1.02 1.09 3/83 13253
/proc/meminfo: memFree=1540312/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=74432 CPUtime=6.24
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2077 0 0 0 595 29 0 0 25 0 2 0 150375874 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 134722767 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13251/statm: 18608 1787 196 116 0 18119 0
[pid=13251/tid=13253] ppid=13249 vsize=74432 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 150375987 76218368 1787 996147200 134512640 134990860 4294956112 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) 74432
[startup+12.7012 s]
/proc/loadavg: 1.15 1.03 1.09 3/83 13253
/proc/meminfo: memFree=1540184/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=74432 CPUtime=12.59
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2077 0 0 0 1230 29 0 0 25 0 2 0 150375874 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 134722670 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13251/statm: 18608 1787 196 116 0 18119 0
[pid=13251/tid=13253] ppid=13249 vsize=74432 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 150375987 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 74432
[startup+25.5056 s]
/proc/loadavg: 1.34 1.08 1.11 3/83 13253
/proc/meminfo: memFree=1540184/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=74432 CPUtime=25.28
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2077 0 0 0 2499 29 0 0 25 0 2 0 150375874 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 134724112 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13251/statm: 18608 1787 196 116 0 18119 0
[pid=13251/tid=13253] ppid=13249 vsize=74432 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 150375987 76218368 1787 996147200 134512640 134990860 4294956112 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) 74432
[startup+51.1013 s]
/proc/loadavg: 1.56 1.15 1.13 3/83 13253
/proc/meminfo: memFree=1540184/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=74432 CPUtime=50.66
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2077 0 0 0 5037 29 0 0 25 0 2 0 150375874 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 134717438 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13251/statm: 18608 1787 196 116 0 18119 0
[pid=13251/tid=13253] ppid=13249 vsize=74432 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 150375987 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 74432
[startup+102.302 s]
/proc/loadavg: 1.81 1.28 1.17 3/83 13253
/proc/meminfo: memFree=1539928/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=74432 CPUtime=101.42
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2077 0 0 0 10113 29 0 0 25 0 2 0 150375874 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 134717413 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13251/statm: 18608 1787 196 116 0 18119 0
[pid=13251/tid=13253] ppid=13249 vsize=74432 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 150375987 76218368 1787 996147200 134512640 134990860 4294956112 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) 74432
[startup+162.302 s]
/proc/loadavg: 1.93 1.41 1.22 3/83 13253
/proc/meminfo: memFree=1539608/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=74432 CPUtime=160.92
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2077 0 0 0 16063 29 0 0 25 0 2 0 150375874 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 134723429 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13251/statm: 18608 1787 196 116 0 18119 0
[pid=13251/tid=13253] ppid=13249 vsize=74432 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 150375987 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.92
Current children cumulated vsize (KiB) 74432
[startup+222.301 s]
/proc/loadavg: 1.97 1.51 1.27 3/83 13253
/proc/meminfo: memFree=1539288/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=74432 CPUtime=220.41
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2077 0 0 0 22012 29 0 0 25 0 2 0 150375874 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 134722510 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13251/statm: 18608 1787 196 116 0 18119 0
[pid=13251/tid=13253] ppid=13249 vsize=74432 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 150375987 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.41
Current children cumulated vsize (KiB) 74432
[startup+282.302 s]
/proc/loadavg: 1.99 1.60 1.31 3/83 13253
/proc/meminfo: memFree=1538968/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=74432 CPUtime=279.91
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2077 0 0 0 27961 30 0 0 25 0 2 0 150375874 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 134731461 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13251/statm: 18608 1787 196 116 0 18119 0
[pid=13251/tid=13253] ppid=13249 vsize=74432 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 150375987 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.91
Current children cumulated vsize (KiB) 74432
[startup+342.306 s]
/proc/loadavg: 1.99 1.67 1.35 3/83 13253
/proc/meminfo: memFree=1538712/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=74432 CPUtime=339.41
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2077 0 0 0 33911 30 0 0 25 0 2 0 150375874 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 134731353 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13251/statm: 18608 1787 196 116 0 18119 0
[pid=13251/tid=13253] ppid=13249 vsize=74432 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 150375987 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.41
Current children cumulated vsize (KiB) 74432
[startup+402.301 s]
/proc/loadavg: 1.99 1.73 1.39 3/83 13253
/proc/meminfo: memFree=1538328/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=74432 CPUtime=398.9
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2077 0 0 0 39860 30 0 0 25 0 2 0 150375874 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 134731543 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13251/statm: 18608 1787 196 116 0 18119 0
[pid=13251/tid=13253] ppid=13249 vsize=74432 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 150375987 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.9
Current children cumulated vsize (KiB) 74432
[startup+462.302 s]
/proc/loadavg: 1.99 1.77 1.42 3/83 13259
/proc/meminfo: memFree=1538064/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=74432 CPUtime=458.37
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2077 0 0 0 45807 30 0 0 25 0 2 0 150375874 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 134731543 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13251/statm: 18608 1787 196 116 0 18119 0
[pid=13251/tid=13253] ppid=13249 vsize=74432 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 150375987 76218368 1787 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.37
Current children cumulated vsize (KiB) 74432
[startup+522.302 s]
################
# More data... #
################
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.71 3/96 13316
/proc/meminfo: memFree=1485752/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=84676 CPUtime=1169.32
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2079 0 0 0 116898 34 0 0 25 0 3 0 150375874 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 134630006 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13251/statm: 21169 1789 196 116 0 20680 0
[pid=13251/tid=13253] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 150375987 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13251/tid=13316] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13316/stat : 13316 (bprolog) S 13249 13251 13011 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 150466004 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1169.32
Current children cumulated vsize (KiB) 84676
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.73 3/96 13316
/proc/meminfo: memFree=1485560/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=84676 CPUtime=1228.24
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2079 0 0 0 122790 34 0 0 25 0 3 0 150375874 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 134724060 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13251/statm: 21169 1789 196 116 0 20680 0
[pid=13251/tid=13253] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 150375987 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13251/tid=13316] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13316/stat : 13316 (bprolog) S 13249 13251 13011 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 150466004 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1228.24
Current children cumulated vsize (KiB) 84676
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/96 13318
/proc/meminfo: memFree=1485368/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=84676 CPUtime=1287.16
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2079 0 0 0 128682 34 0 0 25 0 3 0 150375874 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 134731543 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13251/statm: 21169 1789 196 116 0 20680 0
[pid=13251/tid=13253] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 150375987 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13251/tid=13316] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13316/stat : 13316 (bprolog) S 13249 13251 13011 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 150466004 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1287.16
Current children cumulated vsize (KiB) 84676
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/96 13318
/proc/meminfo: memFree=1485432/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=84676 CPUtime=1346.07
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2079 0 0 0 134573 34 0 0 25 0 3 0 150375874 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 134731540 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13251/statm: 21169 1789 196 116 0 20680 0
[pid=13251/tid=13253] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 150375987 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13251/tid=13316] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13316/stat : 13316 (bprolog) S 13249 13251 13011 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 150466004 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1346.07
Current children cumulated vsize (KiB) 84676
[startup+1422.3 s]
/proc/loadavg: 2.00 1.97 1.76 3/87 13321
/proc/meminfo: memFree=1532784/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=84676 CPUtime=1405.96
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2079 0 0 0 140561 35 0 0 25 0 3 0 150375874 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 134725676 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13251/statm: 21169 1789 196 116 0 20680 0
[pid=13251/tid=13253] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 150375987 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13251/tid=13316] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13316/stat : 13316 (bprolog) S 13249 13251 13011 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 150466004 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1405.96
Current children cumulated vsize (KiB) 84676
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.77 3/87 13321
/proc/meminfo: memFree=1532720/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=84676 CPUtime=1465.93
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2079 0 0 0 146558 35 0 0 25 0 3 0 150375874 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 134724093 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13251/statm: 21169 1789 196 116 0 20680 0
[pid=13251/tid=13253] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 150375987 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13251/tid=13316] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13316/stat : 13316 (bprolog) S 13249 13251 13011 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 150466004 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1465.93
Current children cumulated vsize (KiB) 84676
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.79 3/87 13321
/proc/meminfo: memFree=1532720/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=84676 CPUtime=1525.91
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2079 0 0 0 152556 35 0 0 25 0 3 0 150375874 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 134721177 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13251/statm: 21169 1789 196 116 0 20680 0
[pid=13251/tid=13253] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 150375987 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13251/tid=13316] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13316/stat : 13316 (bprolog) S 13249 13251 13011 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 150466004 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1525.91
Current children cumulated vsize (KiB) 84676
[startup+1602.3 s]
/proc/loadavg: 2.06 1.99 1.80 3/87 13321
/proc/meminfo: memFree=1532720/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=84676 CPUtime=1585.89
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2079 0 0 0 158554 35 0 0 25 0 3 0 150375874 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 134728210 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13251/statm: 21169 1789 196 116 0 20680 0
[pid=13251/tid=13253] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 150375987 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13251/tid=13316] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13316/stat : 13316 (bprolog) S 13249 13251 13011 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 150466004 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1585.89
Current children cumulated vsize (KiB) 84676
[startup+1662.31 s]
/proc/loadavg: 2.11 2.02 1.82 3/87 13321
/proc/meminfo: memFree=1532720/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=84676 CPUtime=1645.87
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2079 0 0 0 164552 35 0 0 25 0 3 0 150375874 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 134722859 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13251/statm: 21169 1789 196 116 0 20680 0
[pid=13251/tid=13253] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 150375987 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13251/tid=13316] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13316/stat : 13316 (bprolog) S 13249 13251 13011 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 150466004 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1645.87
Current children cumulated vsize (KiB) 84676
[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 1.83 3/87 13321
/proc/meminfo: memFree=1532728/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=84676 CPUtime=1705.84
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2079 0 0 0 170549 35 0 0 25 0 3 0 150375874 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 134731434 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13251/statm: 21169 1789 196 116 0 20680 0
[pid=13251/tid=13253] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 150375987 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13251/tid=13316] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13316/stat : 13316 (bprolog) S 13249 13251 13011 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 150466004 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1705.84
Current children cumulated vsize (KiB) 84676
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 1.84 3/87 13321
/proc/meminfo: memFree=1532664/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=84676 CPUtime=1765.82
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2079 0 0 0 176547 35 0 0 25 0 3 0 150375874 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 134731344 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13251/statm: 21169 1789 196 116 0 20680 0
[pid=13251/tid=13253] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13253/stat : 13253 (bprolog) S 13249 13251 13011 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 150375987 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13251/tid=13316] ppid=13249 vsize=84676 CPUtime=0
/proc/13251/task/13316/stat : 13316 (bprolog) S 13249 13251 13011 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 150466004 86708224 1789 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1765.82
Current children cumulated vsize (KiB) 84676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.5 s]
/proc/loadavg: 2.09 2.04 1.85 3/85 13321
/proc/meminfo: memFree=1532664/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=84676 CPUtime=1800.01
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2080 0 0 0 179966 35 0 0 25 0 1 0 150375874 86708224 1790 996147200 134512640 134990860 4294956112 18446744073709551615 134725606 0 0 4096 2 0 0 0 17 0 0 0
/proc/13251/statm: 21169 1790 197 116 0 20680 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 84676
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1816.5 s]
/proc/loadavg: 2.09 2.04 1.85 3/85 13321
/proc/meminfo: memFree=1532664/2055920 swapFree=4181068/4192956
[pid=13251] ppid=13249 vsize=84676 CPUtime=1800.01
/proc/13251/stat : 13251 (bprolog) R 13249 13251 13011 0 -1 4194304 2080 0 0 0 179966 35 0 0 25 0 1 0 150375874 86708224 1790 996147200 134512640 134990860 4294956112 18446744073709551615 134725606 0 0 4096 2 0 0 0 17 0 0 0
/proc/13251/statm: 21169 1790 197 116 0 20680 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 84676
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1816.51
CPU time (s): 1800.02
CPU user time (s): 1799.67
CPU system time (s): 0.352946
CPU usage (%): 99.0922
Max. virtual memory (cumulated for all children) (KiB): 84676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.352946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2080
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= 8
involuntary context switches= 41125
runsolver used 1.9657 second user time and 5.10322 second system time
The end
Begin job on node46 at 2008-07-04 00:54:05
IDJOB=1060054
IDBENCH=54402
IDSOLVER=347
FILE ID=node46/1060054-1215125645
PBS_JOBID= 7877214
Free space on /tmp= 66204 MiB
SOLVER NAME= bpsolver 2008-06-27
BENCH NAME= CPAI08/csp/os-taillard-15/normalized-os-taillard-15-95-2.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060054-1215125645/watcher-1060054-1215125645 -o /tmp/evaluation-result-1060054-1215125645/solver-1060054-1215125645 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1060054-1215125645 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 8376fcfcac18b60a71faf845a033c81e
RANDOM SEED=1152096627
node46.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.238
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.238
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: 1547848 kB
Buffers: 71348 kB
Cached: 318016 kB
SwapCached: 5852 kB
Active: 242048 kB
Inactive: 204412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1547848 kB
SwapTotal: 4192956 kB
SwapFree: 4181068 kB
Dirty: 1688 kB
Writeback: 0 kB
Mapped: 71404 kB
Slab: 47152 kB
Committed_AS: 1057604 kB
PageTables: 1720 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264992 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66180 MiB
End job on node46 at 2008-07-04 01:24:24