runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1092135-1215264177/watcher-1092135-1215264177 -o /tmp/evaluation-result-1092135-1215264177/solver-1092135-1215264177 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1092135-1215264177 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.01 2.02 2.00 4/94 17215
/proc/meminfo: memFree=1616496/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=56080 CPUtime=0.19
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 1523 0 0 0 9 10 0 0 19 0 1 0 691543168 57425920 1236 996147200 134512640 134990860 4294956096 18446744073709551615 134599748 0 0 4096 2 0 0 0 17 1 0 0
/proc/17215/statm: 14020 1236 174 116 0 13531 0
[startup+0.308043 s]
/proc/loadavg: 2.01 2.02 2.00 4/94 17215
/proc/meminfo: memFree=1616496/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=56080 CPUtime=0.29
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 1764 0 0 0 13 16 0 0 20 0 1 0 691543168 57425920 1477 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/17215/statm: 14020 1477 174 116 0 13531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56080
[startup+0.401094 s]
/proc/loadavg: 2.01 2.02 2.00 4/94 17215
/proc/meminfo: memFree=1616496/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=64224 CPUtime=0.38
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 1980 0 0 0 16 22 0 0 20 0 1 0 691543168 65765376 1693 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/17215/statm: 16056 1693 174 116 0 15567 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 64224
[startup+0.501102 s]
/proc/loadavg: 2.01 2.02 2.00 4/94 17215
/proc/meminfo: memFree=1616496/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=64224 CPUtime=0.48
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 1992 0 0 0 21 27 0 0 21 0 1 0 691543168 65765376 1705 996147200 134512640 134990860 4294956096 18446744073709551615 134940761 0 0 4096 2 0 0 0 17 1 0 0
/proc/17215/statm: 16056 1705 178 116 0 15567 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 64224
[startup+0.701129 s]
/proc/loadavg: 2.01 2.02 2.00 4/94 17215
/proc/meminfo: memFree=1616496/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=64224 CPUtime=0.68
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 2002 0 0 0 30 38 0 0 23 0 1 0 691543168 65765376 1715 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/17215/statm: 16056 1715 178 116 0 15567 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 64224
[startup+1.50123 s]
/proc/loadavg: 2.01 2.02 2.00 3/95 17216
/proc/meminfo: memFree=1609640/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=64220 CPUtime=1.46
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 2170 0 0 0 69 77 0 0 25 0 1 0 691543168 65761280 1881 996147200 134512640 134990860 4294956096 18446744073709551615 134668468 0 0 4096 2 0 0 0 17 1 0 0
/proc/17215/statm: 16055 1881 180 116 0 15566 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 64220
[startup+3.10238 s]
/proc/loadavg: 2.01 2.02 2.00 3/96 17217
/proc/meminfo: memFree=1603296/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=74908 CPUtime=3.04
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4283 0 0 0 226 78 0 0 25 0 2 0 691543168 76705792 3345 996147200 134512640 134990860 4294956096 18446744073709551615 134858076 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 18727 3345 202 116 0 18238 0
[pid=17215/tid=17217] ppid=17213 vsize=74908 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 691543328 76705792 3345 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 74908
[startup+6.30183 s]
/proc/loadavg: 2.01 2.02 2.00 3/96 17217
/proc/meminfo: memFree=1602912/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=74908 CPUtime=6.17
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4293 0 0 0 539 78 0 0 25 0 2 0 691543168 76705792 3355 996147200 134512640 134990860 4294956096 18446744073709551615 134851739 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 18727 3355 202 116 0 18238 0
[pid=17215/tid=17217] ppid=17213 vsize=74908 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 691543328 76705792 3355 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 74908
[startup+12.7016 s]
/proc/loadavg: 2.01 2.02 2.00 3/96 17217
/proc/meminfo: memFree=1602784/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=74908 CPUtime=12.45
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4293 0 0 0 1167 78 0 0 25 0 2 0 691543168 76705792 3355 996147200 134512640 134990860 4294956096 18446744073709551615 134851762 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 18727 3355 202 116 0 18238 0
[pid=17215/tid=17217] ppid=17213 vsize=74908 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 691543328 76705792 3355 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 74908
[startup+25.5012 s]
/proc/loadavg: 2.01 2.01 2.00 3/96 17217
/proc/meminfo: memFree=1602720/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=74908 CPUtime=25.03
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4293 0 0 0 2424 79 0 0 25 0 2 0 691543168 76705792 3355 996147200 134512640 134990860 4294956096 18446744073709551615 134895103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 18727 3355 202 116 0 18238 0
[pid=17215/tid=17217] ppid=17213 vsize=74908 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 691543328 76705792 3355 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 74908
[startup+51.1013 s]
/proc/loadavg: 2.00 2.01 2.00 3/96 17217
/proc/meminfo: memFree=1602720/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=74908 CPUtime=50.16
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4293 0 0 0 4937 79 0 0 25 0 2 0 691543168 76705792 3355 996147200 134512640 134990860 4294956096 18446744073709551615 134857833 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 18727 3355 202 116 0 18238 0
[pid=17215/tid=17217] ppid=17213 vsize=74908 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 691543328 76705792 3355 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.16
Current children cumulated vsize (KiB) 74908
[startup+102.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/96 17217
/proc/meminfo: memFree=1602656/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=74908 CPUtime=100.44
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4293 0 0 0 9965 79 0 0 25 0 2 0 691543168 76705792 3355 996147200 134512640 134990860 4294956096 18446744073709551615 134858122 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 18727 3355 202 116 0 18238 0
[pid=17215/tid=17217] ppid=17213 vsize=74908 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 691543328 76705792 3355 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 100.44
Current children cumulated vsize (KiB) 74908
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 17217
/proc/meminfo: memFree=1602592/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=74908 CPUtime=159.37
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4294 0 0 0 15857 80 0 0 25 0 2 0 691543168 76705792 3356 996147200 134512640 134990860 4294956096 18446744073709551615 134605289 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 18727 3356 202 116 0 18238 0
[pid=17215/tid=17217] ppid=17213 vsize=74908 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 691543328 76705792 3356 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 159.37
Current children cumulated vsize (KiB) 74908
[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 17217
/proc/meminfo: memFree=1602592/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=74908 CPUtime=218.28
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4294 0 0 0 21748 80 0 0 25 0 2 0 691543168 76705792 3356 996147200 134512640 134990860 4294956096 18446744073709551615 134629713 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 18727 3356 202 116 0 18238 0
[pid=17215/tid=17217] ppid=17213 vsize=74908 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 691543328 76705792 3356 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 218.28
Current children cumulated vsize (KiB) 74908
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 17217
/proc/meminfo: memFree=1602528/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=74908 CPUtime=277.2
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4294 0 0 0 27640 80 0 0 25 0 2 0 691543168 76705792 3356 996147200 134512640 134990860 4294956096 18446744073709551615 134629713 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 18727 3356 202 116 0 18238 0
[pid=17215/tid=17217] ppid=17213 vsize=74908 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 691543328 76705792 3356 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 277.2
Current children cumulated vsize (KiB) 74908
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 17217
/proc/meminfo: memFree=1602528/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=74908 CPUtime=336.12
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4294 0 0 0 33532 80 0 0 25 0 2 0 691543168 76705792 3356 996147200 134512640 134990860 4294956096 18446744073709551615 134629683 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 18727 3356 202 116 0 18238 0
[pid=17215/tid=17217] ppid=17213 vsize=74908 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 691543328 76705792 3356 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 336.12
Current children cumulated vsize (KiB) 74908
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 17217
/proc/meminfo: memFree=1602528/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=74908 CPUtime=395.04
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4294 0 0 0 39423 81 0 0 25 0 2 0 691543168 76705792 3356 996147200 134512640 134990860 4294956096 18446744073709551615 134559518 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 18727 3356 202 116 0 18238 0
[pid=17215/tid=17217] ppid=17213 vsize=74908 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 691543328 76705792 3356 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 395.04
Current children cumulated vsize (KiB) 74908
[startup+462.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 17217
/proc/meminfo: memFree=1602464/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=74908 CPUtime=453.95
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4294 0 0 0 45314 81 0 0 25 0 2 0 691543168 76705792 3356 996147200 134512640 134990860 4294956096 18446744073709551615 134862077 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 18727 3356 202 116 0 18238 0
[pid=17215/tid=17217] ppid=17213 vsize=74908 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 691543328 76705792 3356 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 453.95
Current children cumulated vsize (KiB) 74908
[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 4/86 17258
/proc/meminfo: memFree=1698480/2055920 swapFree=4147452/4192956
################
# More data... #
################
Current children cumulated CPU time (s) 1228.93
Current children cumulated vsize (KiB) 85152
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 17553
/proc/meminfo: memFree=1722632/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=85152 CPUtime=1288.7
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4295 0 0 0 128787 83 0 0 25 0 3 0 691543168 87195648 3357 996147200 134512640 134990860 4294956096 18446744073709551615 134574655 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 21288 3357 202 116 0 20799 0
[pid=17215/tid=17217] ppid=17213 vsize=85152 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 691543328 87195648 3357 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17553] ppid=17213 vsize=85152 CPUtime=0
/proc/17215/task/17553/stat : 17553 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 691633344 87195648 3357 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1288.7
Current children cumulated vsize (KiB) 85152
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 17554
/proc/meminfo: memFree=1722624/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=95396 CPUtime=1348.47
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4296 0 0 0 134764 83 0 0 25 0 4 0 691543168 97685504 3358 996147200 134512640 134990860 4294956096 18446744073709551615 134629713 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 23849 3358 202 116 0 23360 0
[pid=17215/tid=17217] ppid=17213 vsize=95396 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 691543328 97685504 3358 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17553] ppid=17213 vsize=95396 CPUtime=0
/proc/17215/task/17553/stat : 17553 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 691633344 97685504 3358 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17554] ppid=17213 vsize=95396 CPUtime=0
/proc/17215/task/17554/stat : 17554 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 691678352 97685504 3358 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1348.47
Current children cumulated vsize (KiB) 95396
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 17554
/proc/meminfo: memFree=1722624/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=95396 CPUtime=1408.23
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4296 0 0 0 140740 83 0 0 25 0 4 0 691543168 97685504 3358 996147200 134512640 134990860 4294956096 18446744073709551615 134629674 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 23849 3358 202 116 0 23360 0
[pid=17215/tid=17217] ppid=17213 vsize=95396 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 691543328 97685504 3358 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17553] ppid=17213 vsize=95396 CPUtime=0
/proc/17215/task/17553/stat : 17553 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 691633344 97685504 3358 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17554] ppid=17213 vsize=95396 CPUtime=0
/proc/17215/task/17554/stat : 17554 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 691678352 97685504 3358 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1408.23
Current children cumulated vsize (KiB) 95396
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 17554
/proc/meminfo: memFree=1722560/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=95396 CPUtime=1468
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4296 0 0 0 146716 84 0 0 25 0 4 0 691543168 97685504 3358 996147200 134512640 134990860 4294956096 18446744073709551615 134858024 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 23849 3358 202 116 0 23360 0
[pid=17215/tid=17217] ppid=17213 vsize=95396 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 691543328 97685504 3358 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17553] ppid=17213 vsize=95396 CPUtime=0
/proc/17215/task/17553/stat : 17553 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 691633344 97685504 3358 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17554] ppid=17213 vsize=95396 CPUtime=0
/proc/17215/task/17554/stat : 17554 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 691678352 97685504 3358 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1468
Current children cumulated vsize (KiB) 95396
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 17554
/proc/meminfo: memFree=1722560/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=95396 CPUtime=1527.77
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4296 0 0 0 152693 84 0 0 25 0 4 0 691543168 97685504 3358 996147200 134512640 134990860 4294956096 18446744073709551615 134629373 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 23849 3358 202 116 0 23360 0
[pid=17215/tid=17217] ppid=17213 vsize=95396 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 691543328 97685504 3358 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17553] ppid=17213 vsize=95396 CPUtime=0
/proc/17215/task/17553/stat : 17553 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 691633344 97685504 3358 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17554] ppid=17213 vsize=95396 CPUtime=0
/proc/17215/task/17554/stat : 17554 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 691678352 97685504 3358 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1527.77
Current children cumulated vsize (KiB) 95396
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 17555
/proc/meminfo: memFree=1722424/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=105640 CPUtime=1587.54
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4297 0 0 0 158670 84 0 0 25 0 5 0 691543168 108175360 3359 996147200 134512640 134990860 4294956096 18446744073709551615 134857819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 26410 3359 202 116 0 25921 0
[pid=17215/tid=17217] ppid=17213 vsize=105640 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 691543328 108175360 3359 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17553] ppid=17213 vsize=105640 CPUtime=0
/proc/17215/task/17553/stat : 17553 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 691633344 108175360 3359 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17554] ppid=17213 vsize=105640 CPUtime=0
/proc/17215/task/17554/stat : 17554 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 691678352 108175360 3359 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17555] ppid=17213 vsize=105640 CPUtime=0
/proc/17215/task/17555/stat : 17555 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 691700857 108175360 3359 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1587.54
Current children cumulated vsize (KiB) 105640
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 17555
/proc/meminfo: memFree=1722360/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=105640 CPUtime=1647.3
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4297 0 0 0 164646 84 0 0 25 0 5 0 691543168 108175360 3359 996147200 134512640 134990860 4294956096 18446744073709551615 134629681 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 26410 3359 202 116 0 25921 0
[pid=17215/tid=17217] ppid=17213 vsize=105640 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 691543328 108175360 3359 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17553] ppid=17213 vsize=105640 CPUtime=0
/proc/17215/task/17553/stat : 17553 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 691633344 108175360 3359 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17554] ppid=17213 vsize=105640 CPUtime=0
/proc/17215/task/17554/stat : 17554 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 691678352 108175360 3359 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17555] ppid=17213 vsize=105640 CPUtime=0
/proc/17215/task/17555/stat : 17555 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 691700857 108175360 3359 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1647.3
Current children cumulated vsize (KiB) 105640
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 17555
/proc/meminfo: memFree=1722360/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=105640 CPUtime=1707.07
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4297 0 0 0 170623 84 0 0 25 0 5 0 691543168 108175360 3359 996147200 134512640 134990860 4294956096 18446744073709551615 134610180 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 26410 3359 202 116 0 25921 0
[pid=17215/tid=17217] ppid=17213 vsize=105640 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 691543328 108175360 3359 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17553] ppid=17213 vsize=105640 CPUtime=0
/proc/17215/task/17553/stat : 17553 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 691633344 108175360 3359 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17554] ppid=17213 vsize=105640 CPUtime=0
/proc/17215/task/17554/stat : 17554 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 691678352 108175360 3359 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17555] ppid=17213 vsize=105640 CPUtime=0
/proc/17215/task/17555/stat : 17555 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 691700857 108175360 3359 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1707.07
Current children cumulated vsize (KiB) 105640
[startup+1782.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 17555
/proc/meminfo: memFree=1722168/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=105640 CPUtime=1766.83
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4297 0 0 0 176599 84 0 0 25 0 5 0 691543168 108175360 3359 996147200 134512640 134990860 4294956096 18446744073709551615 134857983 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17215/statm: 26410 3359 202 116 0 25921 0
[pid=17215/tid=17217] ppid=17213 vsize=105640 CPUtime=0
/proc/17215/task/17217/stat : 17217 (bprolog) S 17213 17215 15327 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 691543328 108175360 3359 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17553] ppid=17213 vsize=105640 CPUtime=0
/proc/17215/task/17553/stat : 17553 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 691633344 108175360 3359 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17554] ppid=17213 vsize=105640 CPUtime=0
/proc/17215/task/17554/stat : 17554 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 691678352 108175360 3359 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=17215/tid=17555] ppid=17213 vsize=105640 CPUtime=0
/proc/17215/task/17555/stat : 17555 (bprolog) S 17213 17215 15327 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 691700857 108175360 3359 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1766.83
Current children cumulated vsize (KiB) 105640
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17555
/proc/meminfo: memFree=1722168/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=105640 CPUtime=1800
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4298 0 0 0 179916 84 0 0 25 0 1 0 691543168 108175360 3360 996147200 134512640 134990860 4294956096 18446744073709551615 134629713 0 0 4096 2 0 0 0 17 1 0 0
/proc/17215/statm: 26410 3360 203 116 0 25921 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 105640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1815.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17555
/proc/meminfo: memFree=1722168/2055920 swapFree=4147452/4192956
[pid=17215] ppid=17213 vsize=105640 CPUtime=1800
/proc/17215/stat : 17215 (bprolog) R 17213 17215 15327 0 -1 4194304 4298 0 0 0 179916 84 0 0 25 0 1 0 691543168 108175360 3360 996147200 134512640 134990860 4294956096 18446744073709551615 134629713 0 0 4096 2 0 0 0 17 1 0 0
/proc/17215/statm: 26410 3360 203 116 0 25921 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 105640
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1815.61
CPU time (s): 1800.01
CPU user time (s): 1799.16
CPU system time (s): 0.843871
CPU usage (%): 99.1407
Max. virtual memory (cumulated for all children) (KiB): 105640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.16
system time used= 0.843871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4298
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= 29882
runsolver used 2.05069 second user time and 4.80127 second system time
The end
Begin job on node80 at 2008-07-05 15:22:57
IDJOB=1092135
IDBENCH=58598
IDSOLVER=347
FILE ID=node80/1092135-1215264177
PBS_JOBID= 7882032
Free space on /tmp= 66532 MiB
SOLVER NAME= bpsolver 2008-06-27
BENCH NAME= CPAI08/csp/bibdVariousK/normalized-bibd-21-28-8-6-2_glb.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1092135-1215264177/watcher-1092135-1215264177 -o /tmp/evaluation-result-1092135-1215264177/solver-1092135-1215264177 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1092135-1215264177 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 43f8af121f89189e34019dd27fcf5130
RANDOM SEED=553506792
node80.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.232
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.232
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: 1617040 kB
Buffers: 22660 kB
Cached: 213276 kB
SwapCached: 39736 kB
Active: 314348 kB
Inactive: 77916 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1617040 kB
SwapTotal: 4192956 kB
SwapFree: 4147452 kB
Dirty: 2344 kB
Writeback: 0 kB
Mapped: 172400 kB
Slab: 31260 kB
Committed_AS: 1778952 kB
PageTables: 2304 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66556 MiB
End job on node80 at 2008-07-05 15:53:15