runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1088251-1215246346/watcher-1088251-1215246346 -o /tmp/evaluation-result-1088251-1215246346/solver-1088251-1215246346 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1088251-1215246346 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.04 2.00 4/94 14387
/proc/meminfo: memFree=1724552/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=56080 CPUtime=0.02
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 1122 0 0 0 1 1 0 0 18 0 1 0 647564982 57425920 835 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/14387/statm: 14020 835 173 116 0 13531 0
[startup+0.10826 s]
/proc/loadavg: 2.09 2.04 2.00 4/94 14387
/proc/meminfo: memFree=1724552/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=56080 CPUtime=0.09
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 1173 0 0 0 4 5 0 0 18 0 1 0 647564982 57425920 886 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/14387/statm: 14020 886 177 116 0 13531 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 56080
[startup+0.201269 s]
/proc/loadavg: 2.09 2.04 2.00 4/94 14387
/proc/meminfo: memFree=1724552/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=56080 CPUtime=0.19
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 1177 0 0 0 9 10 0 0 18 0 1 0 647564982 57425920 890 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/14387/statm: 14020 890 177 116 0 13531 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 56080
[startup+0.301281 s]
/proc/loadavg: 2.09 2.04 2.00 4/94 14387
/proc/meminfo: memFree=1724552/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=56080 CPUtime=0.28
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 1180 0 0 0 14 14 0 0 19 0 1 0 647564982 57425920 893 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/14387/statm: 14020 893 177 116 0 13531 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 56080
[startup+0.701322 s]
/proc/loadavg: 2.09 2.04 2.00 4/94 14387
/proc/meminfo: memFree=1724552/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=74420 CPUtime=0.68
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2466 0 0 0 41 27 0 0 25 0 2 0 647564982 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 134731715 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/14387/statm: 18605 2176 197 116 0 18116 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 74420
[startup+1.5014 s]
/proc/loadavg: 2.09 2.04 2.00 3/96 14389
/proc/meminfo: memFree=1716280/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=74420 CPUtime=1.46
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2466 0 0 0 119 27 0 0 25 0 2 0 647564982 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 134731353 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/14387/statm: 18605 2176 197 116 0 18116 0
[pid=14387/tid=14389] ppid=14385 vsize=74420 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 647565050 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 74420
[startup+3.10158 s]
/proc/loadavg: 2.08 2.04 2.00 3/96 14389
/proc/meminfo: memFree=1716088/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=74420 CPUtime=3.04
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2466 0 0 0 277 27 0 0 25 0 2 0 647564982 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 134629934 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/14387/statm: 18605 2176 197 116 0 18116 0
[pid=14387/tid=14389] ppid=14385 vsize=74420 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 647565050 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 74420
[startup+6.30291 s]
/proc/loadavg: 2.08 2.04 2.00 3/96 14389
/proc/meminfo: memFree=1716024/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=74420 CPUtime=6.2
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2466 0 0 0 593 27 0 0 25 0 2 0 647564982 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 134614779 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/14387/statm: 18605 2176 197 116 0 18116 0
[pid=14387/tid=14389] ppid=14385 vsize=74420 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 647565050 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 74420
[startup+12.7016 s]
/proc/loadavg: 2.07 2.04 2.00 3/96 14389
/proc/meminfo: memFree=1715904/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=74420 CPUtime=12.51
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2466 0 0 0 1224 27 0 0 25 0 2 0 647564982 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 134629529 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/14387/statm: 18605 2176 197 116 0 18116 0
[pid=14387/tid=14389] ppid=14385 vsize=74420 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 647565050 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 74420
[startup+25.5019 s]
/proc/loadavg: 2.06 2.03 2.00 3/96 14389
/proc/meminfo: memFree=1715840/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=74420 CPUtime=25.13
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2466 0 0 0 2486 27 0 0 25 0 2 0 647564982 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 134655139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/14387/statm: 18605 2176 197 116 0 18116 0
[pid=14387/tid=14389] ppid=14385 vsize=74420 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 647565050 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 74420
[startup+51.1016 s]
/proc/loadavg: 2.04 2.03 2.00 3/96 14389
/proc/meminfo: memFree=1715904/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=74420 CPUtime=50.37
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2466 0 0 0 5010 27 0 0 25 0 2 0 647564982 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 134629999 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/14387/statm: 18605 2176 197 116 0 18116 0
[pid=14387/tid=14389] ppid=14385 vsize=74420 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 647565050 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.37
Current children cumulated vsize (KiB) 74420
[startup+102.302 s]
/proc/loadavg: 2.01 2.02 2.00 3/96 14389
/proc/meminfo: memFree=1715904/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=74420 CPUtime=100.85
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2466 0 0 0 10058 27 0 0 25 0 2 0 647564982 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 134608466 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/14387/statm: 18605 2176 197 116 0 18116 0
[pid=14387/tid=14389] ppid=14385 vsize=74420 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 647565050 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 100.85
Current children cumulated vsize (KiB) 74420
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/96 14389
/proc/meminfo: memFree=1715840/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=74420 CPUtime=160.01
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2466 0 0 0 15973 28 0 0 25 0 2 0 647564982 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 134716439 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/14387/statm: 18605 2176 197 116 0 18116 0
[pid=14387/tid=14389] ppid=14385 vsize=74420 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 647565050 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (KiB) 74420
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/96 14389
/proc/meminfo: memFree=1715840/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=74420 CPUtime=219.18
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2466 0 0 0 21890 28 0 0 25 0 2 0 647564982 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 134630092 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/14387/statm: 18605 2176 197 116 0 18116 0
[pid=14387/tid=14389] ppid=14385 vsize=74420 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 647565050 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 219.18
Current children cumulated vsize (KiB) 74420
[startup+282.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/96 14389
/proc/meminfo: memFree=1715840/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=74420 CPUtime=278.33
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2466 0 0 0 27805 28 0 0 25 0 2 0 647564982 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 134607384 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/14387/statm: 18605 2176 197 116 0 18116 0
[pid=14387/tid=14389] ppid=14385 vsize=74420 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 647565050 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 278.33
Current children cumulated vsize (KiB) 74420
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 14389
/proc/meminfo: memFree=1715776/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=74420 CPUtime=337.49
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2466 0 0 0 33721 28 0 0 25 0 2 0 647564982 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 134731367 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/14387/statm: 18605 2176 197 116 0 18116 0
[pid=14387/tid=14389] ppid=14385 vsize=74420 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 647565050 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 337.49
Current children cumulated vsize (KiB) 74420
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 14389
/proc/meminfo: memFree=1714624/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=74420 CPUtime=396.64
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2466 0 0 0 39636 28 0 0 25 0 2 0 647564982 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 134583410 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/14387/statm: 18605 2176 197 116 0 18116 0
[pid=14387/tid=14389] ppid=14385 vsize=74420 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 647565050 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 396.64
Current children cumulated vsize (KiB) 74420
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14428
/proc/meminfo: memFree=1788520/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=74420 CPUtime=455.8
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2466 0 0 0 45552 28 0 0 25 0 2 0 647564982 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 134630006 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/14387/statm: 18605 2176 197 116 0 18116 0
[pid=14387/tid=14389] ppid=14385 vsize=74420 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 647565050 76206080 2176 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 455.8
Current children cumulated vsize (KiB) 74420
[startup+522.301 s]
################
# More data... #
################
Current children cumulated CPU time (s) 1232.76
Current children cumulated vsize (KiB) 84664
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 14429
/proc/meminfo: memFree=1787496/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=84664 CPUtime=1292.53
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2467 0 0 0 129225 28 0 0 25 0 3 0 647564982 86695936 2177 996147200 134512640 134990860 4294956096 18446744073709551615 134559509 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/14387/statm: 21166 2177 197 116 0 20677 0
[pid=14387/tid=14389] ppid=14385 vsize=84664 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 647565050 86695936 2177 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=14387/tid=14429] ppid=14385 vsize=84664 CPUtime=0
/proc/14387/task/14429/stat : 14429 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 647655064 86695936 2177 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1292.53
Current children cumulated vsize (KiB) 84664
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 14430
/proc/meminfo: memFree=1787488/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=94908 CPUtime=1352.29
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2468 0 0 0 135201 28 0 0 25 0 4 0 647564982 97185792 2178 996147200 134512640 134990860 4294956096 18446744073709551615 134630006 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/14387/statm: 23727 2178 197 116 0 23238 0
[pid=14387/tid=14389] ppid=14385 vsize=94908 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 647565050 97185792 2178 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=14387/tid=14429] ppid=14385 vsize=94908 CPUtime=0
/proc/14387/task/14429/stat : 14429 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 647655064 97185792 2178 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=14387/tid=14430] ppid=14385 vsize=94908 CPUtime=0
/proc/14387/task/14430/stat : 14430 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 647700072 97185792 2178 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1352.29
Current children cumulated vsize (KiB) 94908
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 14430
/proc/meminfo: memFree=1787424/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=94908 CPUtime=1412.06
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2468 0 0 0 141178 28 0 0 25 0 4 0 647564982 97185792 2178 996147200 134512640 134990860 4294956096 18446744073709551615 134629956 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/14387/statm: 23727 2178 197 116 0 23238 0
[pid=14387/tid=14389] ppid=14385 vsize=94908 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 647565050 97185792 2178 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=14387/tid=14429] ppid=14385 vsize=94908 CPUtime=0
/proc/14387/task/14429/stat : 14429 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 647655064 97185792 2178 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=14387/tid=14430] ppid=14385 vsize=94908 CPUtime=0
/proc/14387/task/14430/stat : 14430 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 647700072 97185792 2178 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1412.06
Current children cumulated vsize (KiB) 94908
[startup+1482.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/85 14430
/proc/meminfo: memFree=1787424/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=94908 CPUtime=1471.83
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2468 0 0 0 147155 28 0 0 25 0 4 0 647564982 97185792 2178 996147200 134512640 134990860 4294956096 18446744073709551615 134717506 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/14387/statm: 23727 2178 197 116 0 23238 0
[pid=14387/tid=14389] ppid=14385 vsize=94908 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 647565050 97185792 2178 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=14387/tid=14429] ppid=14385 vsize=94908 CPUtime=0
/proc/14387/task/14429/stat : 14429 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 647655064 97185792 2178 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=14387/tid=14430] ppid=14385 vsize=94908 CPUtime=0
/proc/14387/task/14430/stat : 14430 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 647700072 97185792 2178 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1471.83
Current children cumulated vsize (KiB) 94908
[startup+1542.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/85 14430
/proc/meminfo: memFree=1787424/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=94908 CPUtime=1531.59
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2468 0 0 0 153131 28 0 0 25 0 4 0 647564982 97185792 2178 996147200 134512640 134990860 4294956096 18446744073709551615 134608096 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/14387/statm: 23727 2178 197 116 0 23238 0
[pid=14387/tid=14389] ppid=14385 vsize=94908 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 647565050 97185792 2178 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=14387/tid=14429] ppid=14385 vsize=94908 CPUtime=0
/proc/14387/task/14429/stat : 14429 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 647655064 97185792 2178 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=14387/tid=14430] ppid=14385 vsize=94908 CPUtime=0
/proc/14387/task/14430/stat : 14430 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 647700072 97185792 2178 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.59
Current children cumulated vsize (KiB) 94908
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/86 14431
/proc/meminfo: memFree=1787288/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=105152 CPUtime=1591.36
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2469 0 0 0 159108 28 0 0 25 0 5 0 647564982 107675648 2179 996147200 134512640 134990860 4294956096 18446744073709551615 134559529 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/14387/statm: 26288 2179 197 116 0 25799 0
[pid=14387/tid=14389] ppid=14385 vsize=105152 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 647565050 107675648 2179 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=14387/tid=14429] ppid=14385 vsize=105152 CPUtime=0
/proc/14387/task/14429/stat : 14429 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 647655064 107675648 2179 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=14387/tid=14430] ppid=14385 vsize=105152 CPUtime=0
/proc/14387/task/14430/stat : 14430 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 647700072 107675648 2179 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=14387/tid=14431] ppid=14385 vsize=105152 CPUtime=0
/proc/14387/task/14431/stat : 14431 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 647722576 107675648 2179 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1591.36
Current children cumulated vsize (KiB) 105152
[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/86 14431
/proc/meminfo: memFree=1787288/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=105152 CPUtime=1651.12
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2469 0 0 0 165084 28 0 0 25 0 5 0 647564982 107675648 2179 996147200 134512640 134990860 4294956096 18446744073709551615 134848401 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/14387/statm: 26288 2179 197 116 0 25799 0
[pid=14387/tid=14389] ppid=14385 vsize=105152 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 647565050 107675648 2179 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=14387/tid=14429] ppid=14385 vsize=105152 CPUtime=0
/proc/14387/task/14429/stat : 14429 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 647655064 107675648 2179 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=14387/tid=14430] ppid=14385 vsize=105152 CPUtime=0
/proc/14387/task/14430/stat : 14430 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 647700072 107675648 2179 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=14387/tid=14431] ppid=14385 vsize=105152 CPUtime=0
/proc/14387/task/14431/stat : 14431 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 647722576 107675648 2179 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1651.12
Current children cumulated vsize (KiB) 105152
[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/86 14431
/proc/meminfo: memFree=1787096/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=105152 CPUtime=1710.89
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2469 0 0 0 171061 28 0 0 25 0 5 0 647564982 107675648 2179 996147200 134512640 134990860 4294956096 18446744073709551615 134630006 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/14387/statm: 26288 2179 197 116 0 25799 0
[pid=14387/tid=14389] ppid=14385 vsize=105152 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 647565050 107675648 2179 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=14387/tid=14429] ppid=14385 vsize=105152 CPUtime=0
/proc/14387/task/14429/stat : 14429 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 647655064 107675648 2179 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=14387/tid=14430] ppid=14385 vsize=105152 CPUtime=0
/proc/14387/task/14430/stat : 14430 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 647700072 107675648 2179 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=14387/tid=14431] ppid=14385 vsize=105152 CPUtime=0
/proc/14387/task/14431/stat : 14431 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 647722576 107675648 2179 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1710.89
Current children cumulated vsize (KiB) 105152
[startup+1782.3 s]
/proc/loadavg: 2.20 2.08 2.01 3/86 14433
/proc/meminfo: memFree=1786648/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=105152 CPUtime=1770.65
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2469 0 0 0 177037 28 0 0 25 0 5 0 647564982 107675648 2179 996147200 134512640 134990860 4294956096 18446744073709551615 134559509 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/14387/statm: 26288 2179 197 116 0 25799 0
[pid=14387/tid=14389] ppid=14385 vsize=105152 CPUtime=0
/proc/14387/task/14389/stat : 14389 (bprolog) S 14385 14387 12245 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 647565050 107675648 2179 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=14387/tid=14429] ppid=14385 vsize=105152 CPUtime=0
/proc/14387/task/14429/stat : 14429 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 647655064 107675648 2179 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=14387/tid=14430] ppid=14385 vsize=105152 CPUtime=0
/proc/14387/task/14430/stat : 14430 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 647700072 107675648 2179 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=14387/tid=14431] ppid=14385 vsize=105152 CPUtime=0
/proc/14387/task/14431/stat : 14431 (bprolog) S 14385 14387 12245 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 647722576 107675648 2179 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1770.65
Current children cumulated vsize (KiB) 105152
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.81 s]
/proc/loadavg: 2.32 2.12 2.02 3/82 14433
/proc/meminfo: memFree=1786712/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=105152 CPUtime=1800.04
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2470 0 0 0 179976 28 0 0 25 0 1 0 647564982 107675648 2180 996147200 134512640 134990860 4294956096 18446744073709551615 134848482 0 0 4096 2 0 0 0 17 1 0 0
/proc/14387/statm: 26288 2180 198 116 0 25799 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 105152
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1811.81 s]
/proc/loadavg: 2.32 2.12 2.02 3/82 14433
/proc/meminfo: memFree=1786712/2055920 swapFree=4180580/4192956
[pid=14387] ppid=14385 vsize=105152 CPUtime=1800.04
/proc/14387/stat : 14387 (bprolog) R 14385 14387 12245 0 -1 4194304 2470 0 0 0 179976 28 0 0 25 0 1 0 647564982 107675648 2180 996147200 134512640 134990860 4294956096 18446744073709551615 134848482 0 0 4096 2 0 0 0 17 1 0 0
/proc/14387/statm: 26288 2180 198 116 0 25799 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 105152
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1811.81
CPU time (s): 1800.06
CPU user time (s): 1799.77
CPU system time (s): 0.289955
CPU usage (%): 99.3513
Max. virtual memory (cumulated for all children) (KiB): 105152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.289955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2470
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= 30257
runsolver used 1.85872 second user time and 4.74628 second system time
The end
Begin job on node79 at 2008-07-05 10:25:46
IDJOB=1088251
IDBENCH=58074
IDSOLVER=347
FILE ID=node79/1088251-1215246346
PBS_JOBID= 7881917
Free space on /tmp= 66472 MiB
SOLVER NAME= bpsolver 2008-06-27
BENCH NAME= CPAI08/csp/rlfapScens11/normalized-scen11-f8.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1088251-1215246346/watcher-1088251-1215246346 -o /tmp/evaluation-result-1088251-1215246346/solver-1088251-1215246346 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1088251-1215246346 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= b015d872cbc51a1a99034ec27314cdb1
RANDOM SEED=1355709577
node79.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.218
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.218
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: 1724968 kB
Buffers: 15312 kB
Cached: 163276 kB
SwapCached: 6916 kB
Active: 207100 kB
Inactive: 73956 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1724968 kB
SwapTotal: 4192956 kB
SwapFree: 4180580 kB
Dirty: 1968 kB
Writeback: 0 kB
Mapped: 116896 kB
Slab: 34604 kB
Committed_AS: 1747528 kB
PageTables: 2160 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= 66496 MiB
End job on node79 at 2008-07-05 10:56:00