runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058137-1215113081/watcher-1058137-1215113081 -o /tmp/evaluation-result-1058137-1215113081/solver-1058137-1215113081 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1058137-1215113081 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.94 2.02 2.00 4/81 24551
/proc/meminfo: memFree=1439040/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=18572 CPUtime=0
/proc/24551/stat : 24551 (runsolver) R 24549 24551 23578 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 123319151 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 210723466535 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24551/statm: 4643 292 257 25 0 2626 0
[startup+0.047651 s]
/proc/loadavg: 1.94 2.02 2.00 4/81 24551
/proc/meminfo: memFree=1439040/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=56080 CPUtime=0.03
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 1090 0 0 0 2 1 0 0 20 0 1 0 123319151 57425920 803 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/24551/statm: 14020 803 174 116 0 13531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 56080
[startup+0.101652 s]
/proc/loadavg: 1.94 2.02 2.00 4/81 24551
/proc/meminfo: memFree=1439040/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=56080 CPUtime=0.08
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 1142 0 0 0 4 4 0 0 20 0 1 0 123319151 57425920 855 996147200 134512640 134990860 4294956112 18446744073709551615 134638438 0 0 4096 2 0 0 0 17 1 0 0
/proc/24551/statm: 14020 855 178 116 0 13531 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 56080
[startup+0.301675 s]
/proc/loadavg: 1.94 2.02 2.00 4/81 24551
/proc/meminfo: memFree=1439040/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=56080 CPUtime=0.29
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 1147 0 0 0 14 15 0 0 21 0 1 0 123319151 57425920 860 996147200 134512640 134990860 4294956112 18446744073709551615 8109005 0 0 4096 2 0 0 0 17 1 0 0
/proc/24551/statm: 14020 860 178 116 0 13531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56080
[startup+0.701722 s]
/proc/loadavg: 1.94 2.02 2.00 4/81 24551
/proc/meminfo: memFree=1439040/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=56080 CPUtime=0.68
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 1154 0 0 0 32 36 0 0 25 0 1 0 123319151 57425920 867 996147200 134512640 134990860 4294956112 18446744073709551615 134572784 0 0 4096 2 0 0 0 17 1 0 0
/proc/24551/statm: 14020 867 178 116 0 13531 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 56080
[startup+1.50182 s]
/proc/loadavg: 1.94 2.02 2.00 3/82 24552
/proc/meminfo: memFree=1435704/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=78548 CPUtime=1.47
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 3993 0 0 0 78 69 0 0 25 0 2 0 123319151 80433152 3701 996147200 134512640 134990860 4294956112 18446744073709551615 134718688 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24551/statm: 19637 3701 197 116 0 19148 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 78548
[startup+3.10201 s]
/proc/loadavg: 1.94 2.02 2.00 3/83 24553
/proc/meminfo: memFree=1423152/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=78548 CPUtime=3.06
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4269 0 0 0 236 70 0 0 25 0 2 0 123319151 80433152 3977 996147200 134512640 134990860 4294956112 18446744073709551615 134718690 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24551/statm: 19637 3977 197 116 0 19148 0
[pid=24551/tid=24553] ppid=24549 vsize=78548 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 123319293 80433152 3977 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) 78548
[startup+6.30138 s]
/proc/loadavg: 1.95 2.02 2.00 3/83 24553
/proc/meminfo: memFree=1422960/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=78548 CPUtime=6.23
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4274 0 0 0 553 70 0 0 25 0 2 0 123319151 80433152 3982 996147200 134512640 134990860 4294956112 18446744073709551615 134631310 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24551/statm: 19637 3982 197 116 0 19148 0
[pid=24551/tid=24553] ppid=24549 vsize=78548 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 123319293 80433152 3982 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 78548
[startup+12.7011 s]
/proc/loadavg: 1.95 2.02 2.00 3/83 24553
/proc/meminfo: memFree=1422832/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=78548 CPUtime=12.57
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4279 0 0 0 1187 70 0 0 25 0 2 0 123319151 80433152 3987 996147200 134512640 134990860 4294956112 18446744073709551615 134718672 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24551/statm: 19637 3987 197 116 0 19148 0
[pid=24551/tid=24553] ppid=24549 vsize=78548 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 123319293 80433152 3987 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 78548
[startup+25.5026 s]
/proc/loadavg: 1.96 2.02 2.00 3/83 24553
/proc/meminfo: memFree=1422896/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=78548 CPUtime=25.25
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4280 0 0 0 2455 70 0 0 25 0 2 0 123319151 80433152 3988 996147200 134512640 134990860 4294956112 18446744073709551615 134718690 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24551/statm: 19637 3988 197 116 0 19148 0
[pid=24551/tid=24553] ppid=24549 vsize=78548 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 123319293 80433152 3988 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 78548
[startup+51.1026 s]
/proc/loadavg: 1.97 2.02 2.00 3/83 24553
/proc/meminfo: memFree=1422960/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=78548 CPUtime=50.61
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4285 0 0 0 4991 70 0 0 25 0 2 0 123319151 80433152 3993 996147200 134512640 134990860 4294956112 18446744073709551615 134718715 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24551/statm: 19637 3993 197 116 0 19148 0
[pid=24551/tid=24553] ppid=24549 vsize=78548 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 123319293 80433152 3993 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 78548
[startup+102.308 s]
/proc/loadavg: 1.99 2.01 2.00 3/83 24553
/proc/meminfo: memFree=1422768/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=78548 CPUtime=101.33
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4298 0 0 0 10063 70 0 0 25 0 2 0 123319151 80433152 4006 996147200 134512640 134990860 4294956112 18446744073709551615 134631310 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24551/statm: 19637 4006 197 116 0 19148 0
[pid=24551/tid=24553] ppid=24549 vsize=78548 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 123319293 80433152 4006 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 78548
[startup+162.303 s]
/proc/loadavg: 1.99 2.01 2.00 3/83 24553
/proc/meminfo: memFree=1422768/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=78548 CPUtime=160.76
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4303 0 0 0 16006 70 0 0 25 0 2 0 123319151 80433152 4011 996147200 134512640 134990860 4294956112 18446744073709551615 134559523 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24551/statm: 19637 4011 197 116 0 19148 0
[pid=24551/tid=24553] ppid=24549 vsize=78548 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 123319293 80433152 4011 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 78548
[startup+222.303 s]
/proc/loadavg: 1.99 2.00 2.00 3/83 24553
/proc/meminfo: memFree=1422704/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=78548 CPUtime=220.2
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4304 0 0 0 21950 70 0 0 25 0 2 0 123319151 80433152 4012 996147200 134512640 134990860 4294956112 18446744073709551615 134718788 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24551/statm: 19637 4012 197 116 0 19148 0
[pid=24551/tid=24553] ppid=24549 vsize=78548 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 123319293 80433152 4012 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.2
Current children cumulated vsize (KiB) 78548
[startup+282.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/83 24553
/proc/meminfo: memFree=1422704/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=78548 CPUtime=279.63
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4304 0 0 0 27893 70 0 0 25 0 2 0 123319151 80433152 4012 996147200 134512640 134990860 4294956112 18446744073709551615 134718672 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24551/statm: 19637 4012 197 116 0 19148 0
[pid=24551/tid=24553] ppid=24549 vsize=78548 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 123319293 80433152 4012 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 78548
[startup+342.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/83 24553
/proc/meminfo: memFree=1422704/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=78548 CPUtime=339.07
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4304 0 0 0 33837 70 0 0 25 0 2 0 123319151 80433152 4012 996147200 134512640 134990860 4294956112 18446744073709551615 134718771 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24551/statm: 19637 4012 197 116 0 19148 0
[pid=24551/tid=24553] ppid=24549 vsize=78548 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 123319293 80433152 4012 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.07
Current children cumulated vsize (KiB) 78548
[startup+402.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/83 24553
/proc/meminfo: memFree=1422704/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=78548 CPUtime=398.51
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4304 0 0 0 39781 70 0 0 25 0 2 0 123319151 80433152 4012 996147200 134512640 134990860 4294956112 18446744073709551615 134631872 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24551/statm: 19637 4012 197 116 0 19148 0
[pid=24551/tid=24553] ppid=24549 vsize=78548 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 123319293 80433152 4012 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.51
Current children cumulated vsize (KiB) 78548
[startup+462.302 s]
/proc/loadavg: 1.99 2.00 2.00 4/83 24553
/proc/meminfo: memFree=1422640/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=78548 CPUtime=457.95
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4304 0 0 0 45725 70 0 0 25 0 2 0 123319151 80433152 4012 996147200 134512640 134990860 4294956112 18446744073709551615 134629488 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/24551/statm: 19637 4012 197 116 0 19148 0
[pid=24551/tid=24553] ppid=24549 vsize=78548 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 123319293 80433152 4012 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 457.95
Current children cumulated vsize (KiB) 78548
[startup+522.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/83 24553
/proc/meminfo: memFree=1422576/2055920 swapFree=4181452/4192956
################
# More data... #
################
Current children cumulated CPU time (s) 1236.91
Current children cumulated vsize (KiB) 88792
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 24583
/proc/meminfo: memFree=1449256/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=88792 CPUtime=1296.89
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4346 0 0 0 129617 72 0 0 25 0 3 0 123319151 90923008 4054 996147200 134512640 134990860 4294956112 18446744073709551615 134718654 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24551/statm: 22198 4054 197 116 0 21709 0
[pid=24551/tid=24553] ppid=24549 vsize=88792 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 123319293 90923008 4054 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24551/tid=24583] ppid=24549 vsize=88792 CPUtime=0
/proc/24551/task/24583/stat : 24583 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 123409308 90923008 4054 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1296.89
Current children cumulated vsize (KiB) 88792
[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/77 24584
/proc/meminfo: memFree=1449248/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=99036 CPUtime=1356.86
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4347 0 0 0 135614 72 0 0 25 0 4 0 123319151 101412864 4055 996147200 134512640 134990860 4294956112 18446744073709551615 134718672 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24551/statm: 24759 4055 197 116 0 24270 0
[pid=24551/tid=24553] ppid=24549 vsize=99036 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 123319293 101412864 4055 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24551/tid=24583] ppid=24549 vsize=99036 CPUtime=0
/proc/24551/task/24583/stat : 24583 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 123409308 101412864 4055 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=24551/tid=24584] ppid=24549 vsize=99036 CPUtime=0
/proc/24551/task/24584/stat : 24584 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 123454317 101412864 4055 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1356.86
Current children cumulated vsize (KiB) 99036
[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/77 24584
/proc/meminfo: memFree=1449248/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=99036 CPUtime=1416.84
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4347 0 0 0 141612 72 0 0 25 0 4 0 123319151 101412864 4055 996147200 134512640 134990860 4294956112 18446744073709551615 134718200 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24551/statm: 24759 4055 197 116 0 24270 0
[pid=24551/tid=24553] ppid=24549 vsize=99036 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 123319293 101412864 4055 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24551/tid=24583] ppid=24549 vsize=99036 CPUtime=0
/proc/24551/task/24583/stat : 24583 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 123409308 101412864 4055 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=24551/tid=24584] ppid=24549 vsize=99036 CPUtime=0
/proc/24551/task/24584/stat : 24584 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 123454317 101412864 4055 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1416.84
Current children cumulated vsize (KiB) 99036
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/77 24584
/proc/meminfo: memFree=1449248/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=99036 CPUtime=1476.81
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4347 0 0 0 147609 72 0 0 25 0 4 0 123319151 101412864 4055 996147200 134512640 134990860 4294956112 18446744073709551615 134607376 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24551/statm: 24759 4055 197 116 0 24270 0
[pid=24551/tid=24553] ppid=24549 vsize=99036 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 123319293 101412864 4055 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24551/tid=24583] ppid=24549 vsize=99036 CPUtime=0
/proc/24551/task/24583/stat : 24583 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 123409308 101412864 4055 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=24551/tid=24584] ppid=24549 vsize=99036 CPUtime=0
/proc/24551/task/24584/stat : 24584 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 123454317 101412864 4055 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1476.81
Current children cumulated vsize (KiB) 99036
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/77 24584
/proc/meminfo: memFree=1449248/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=99036 CPUtime=1536.79
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4347 0 0 0 153607 72 0 0 25 0 4 0 123319151 101412864 4055 996147200 134512640 134990860 4294956112 18446744073709551615 134631310 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24551/statm: 24759 4055 197 116 0 24270 0
[pid=24551/tid=24553] ppid=24549 vsize=99036 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 123319293 101412864 4055 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24551/tid=24583] ppid=24549 vsize=99036 CPUtime=0
/proc/24551/task/24583/stat : 24583 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 123409308 101412864 4055 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=24551/tid=24584] ppid=24549 vsize=99036 CPUtime=0
/proc/24551/task/24584/stat : 24584 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 123454317 101412864 4055 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1536.79
Current children cumulated vsize (KiB) 99036
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/78 24585
/proc/meminfo: memFree=1449240/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=109280 CPUtime=1596.76
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4348 0 0 0 159604 72 0 0 25 0 5 0 123319151 111902720 4056 996147200 134512640 134990860 4294956112 18446744073709551615 134838937 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24551/statm: 27320 4056 197 116 0 26831 0
[pid=24551/tid=24553] ppid=24549 vsize=109280 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 123319293 111902720 4056 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24551/tid=24583] ppid=24549 vsize=109280 CPUtime=0
/proc/24551/task/24583/stat : 24583 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 123409308 111902720 4056 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=24551/tid=24584] ppid=24549 vsize=109280 CPUtime=0
/proc/24551/task/24584/stat : 24584 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 123454317 111902720 4056 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=24551/tid=24585] ppid=24549 vsize=109280 CPUtime=0
/proc/24551/task/24585/stat : 24585 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 123476823 111902720 4056 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1596.76
Current children cumulated vsize (KiB) 109280
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/78 24585
/proc/meminfo: memFree=1449240/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=109280 CPUtime=1656.74
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4348 0 0 0 165602 72 0 0 25 0 5 0 123319151 111902720 4056 996147200 134512640 134990860 4294956112 18446744073709551615 134629956 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24551/statm: 27320 4056 197 116 0 26831 0
[pid=24551/tid=24553] ppid=24549 vsize=109280 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 123319293 111902720 4056 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24551/tid=24583] ppid=24549 vsize=109280 CPUtime=0
/proc/24551/task/24583/stat : 24583 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 123409308 111902720 4056 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=24551/tid=24584] ppid=24549 vsize=109280 CPUtime=0
/proc/24551/task/24584/stat : 24584 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 123454317 111902720 4056 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=24551/tid=24585] ppid=24549 vsize=109280 CPUtime=0
/proc/24551/task/24585/stat : 24585 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 123476823 111902720 4056 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.74
Current children cumulated vsize (KiB) 109280
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/78 24585
/proc/meminfo: memFree=1449176/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=109280 CPUtime=1716.71
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4348 0 0 0 171599 72 0 0 25 0 5 0 123319151 111902720 4056 996147200 134512640 134990860 4294956112 18446744073709551615 134629713 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24551/statm: 27320 4056 197 116 0 26831 0
[pid=24551/tid=24553] ppid=24549 vsize=109280 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 123319293 111902720 4056 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24551/tid=24583] ppid=24549 vsize=109280 CPUtime=0
/proc/24551/task/24583/stat : 24583 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 123409308 111902720 4056 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=24551/tid=24584] ppid=24549 vsize=109280 CPUtime=0
/proc/24551/task/24584/stat : 24584 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 123454317 111902720 4056 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=24551/tid=24585] ppid=24549 vsize=109280 CPUtime=0
/proc/24551/task/24585/stat : 24585 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 123476823 111902720 4056 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1716.71
Current children cumulated vsize (KiB) 109280
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/78 24585
/proc/meminfo: memFree=1448984/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=109280 CPUtime=1776.7
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4348 0 0 0 177597 73 0 0 25 0 5 0 123319151 111902720 4056 996147200 134512640 134990860 4294956112 18446744073709551615 134718698 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/24551/statm: 27320 4056 197 116 0 26831 0
[pid=24551/tid=24553] ppid=24549 vsize=109280 CPUtime=0
/proc/24551/task/24553/stat : 24553 (bprolog) S 24549 24551 23578 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 123319293 111902720 4056 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=24551/tid=24583] ppid=24549 vsize=109280 CPUtime=0
/proc/24551/task/24583/stat : 24583 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 123409308 111902720 4056 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=24551/tid=24584] ppid=24549 vsize=109280 CPUtime=0
/proc/24551/task/24584/stat : 24584 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 123454317 111902720 4056 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=24551/tid=24585] ppid=24549 vsize=109280 CPUtime=0
/proc/24551/task/24585/stat : 24585 (bprolog) S 24549 24551 23578 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 123476823 111902720 4056 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1776.7
Current children cumulated vsize (KiB) 109280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.7 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 24585
/proc/meminfo: memFree=1448984/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=109280 CPUtime=1800.09
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4349 0 0 0 179936 73 0 0 25 0 1 0 123319151 111902720 4057 996147200 134512640 134990860 4294956112 18446744073709551615 134630006 0 0 4096 2 0 0 0 17 0 0 0
/proc/24551/statm: 27320 4057 198 116 0 26831 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 109280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1805.7 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 24585
/proc/meminfo: memFree=1448984/2055920 swapFree=4181452/4192956
[pid=24551] ppid=24549 vsize=109280 CPUtime=1800.09
/proc/24551/stat : 24551 (bprolog) R 24549 24551 23578 0 -1 4194304 4349 0 0 0 179936 73 0 0 25 0 1 0 123319151 111902720 4057 996147200 134512640 134990860 4294956112 18446744073709551615 134630006 0 0 4096 2 0 0 0 17 0 0 0
/proc/24551/statm: 27320 4057 198 116 0 26831 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 109280
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1805.71
CPU time (s): 1800.1
CPU user time (s): 1799.37
CPU system time (s): 0.733888
CPU usage (%): 99.6895
Max. virtual memory (cumulated for all children) (KiB): 109280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.733888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4349
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= 25401
runsolver used 2.52861 second user time and 5.68813 second system time
The end
Begin job on node73 at 2008-07-03 21:24:41
IDJOB=1058137
IDBENCH=54109
IDSOLVER=347
FILE ID=node73/1058137-1215113081
PBS_JOBID= 7877062
Free space on /tmp= 66536 MiB
SOLVER NAME= bpsolver 2008-06-27
BENCH NAME= CPAI08/csp/compet08/normalized-patat-08-comp-4.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058137-1215113081/watcher-1058137-1215113081 -o /tmp/evaluation-result-1058137-1215113081/solver-1058137-1215113081 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1058137-1215113081 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 4cd54922d836889c49a4e7e21135e1e1
RANDOM SEED=88356743
node73.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.230
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.230
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: 1439520 kB
Buffers: 42216 kB
Cached: 435352 kB
SwapCached: 5300 kB
Active: 218376 kB
Inactive: 330752 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1439520 kB
SwapTotal: 4192956 kB
SwapFree: 4181452 kB
Dirty: 2192 kB
Writeback: 0 kB
Mapped: 87804 kB
Slab: 52400 kB
Committed_AS: 1109616 kB
PageTables: 1904 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= 66532 MiB
End job on node73 at 2008-07-03 21:54:49