runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1081970-1215220266/watcher-1081970-1215220266 -o /tmp/evaluation-result-1081970-1215220266/solver-1081970-1215220266 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1081970-1215220266 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.02 2.01 2.00 4/81 3490
/proc/meminfo: memFree=1716896/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=4780 CPUtime=0
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 404 0 0 0 0 0 0 0 22 0 1 0 2001000656 4894720 122 996147200 134512640 134990860 4294956096 18446744073709551615 134530848 0 0 4096 0 0 0 0 17 1 0 0
/proc/3490/statm: 1195 122 72 116 0 706 0
[startup+0.208878 s]
/proc/loadavg: 2.02 2.01 2.00 4/81 3490
/proc/meminfo: memFree=1716896/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=56080 CPUtime=0.19
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 1252 0 0 0 9 10 0 0 23 0 1 0 2001000656 57425920 965 996147200 134512640 134990860 4294956096 18446744073709551615 134565721 0 0 4096 2 0 0 0 17 1 0 0
/proc/3490/statm: 14020 965 177 116 0 13531 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 56080
[startup+0.302889 s]
/proc/loadavg: 2.02 2.01 2.00 4/81 3490
/proc/meminfo: memFree=1716896/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=56080 CPUtime=0.28
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 1255 0 0 0 14 14 0 0 23 0 1 0 2001000656 57425920 968 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/3490/statm: 14020 968 177 116 0 13531 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 56080
[startup+0.402897 s]
/proc/loadavg: 2.02 2.01 2.00 4/81 3490
/proc/meminfo: memFree=1716896/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=56080 CPUtime=0.39
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 1258 0 0 0 19 20 0 0 24 0 1 0 2001000656 57425920 971 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/3490/statm: 14020 971 177 116 0 13531 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 56080
[startup+0.701926 s]
/proc/loadavg: 2.02 2.01 2.00 4/81 3490
/proc/meminfo: memFree=1716896/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=56080 CPUtime=0.69
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 1266 0 0 0 34 35 0 0 25 0 1 0 2001000656 57425920 979 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/3490/statm: 14020 979 177 116 0 13531 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56080
[startup+1.502 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 3491
/proc/meminfo: memFree=1713104/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=56080 CPUtime=1.48
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 1282 0 0 0 73 75 0 0 25 0 1 0 2001000656 57425920 995 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/3490/statm: 14020 995 177 116 0 13531 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 56080
[startup+3.10114 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 3491
/proc/meminfo: memFree=1712400/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=56080 CPUtime=3.07
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 1313 0 0 0 146 161 0 0 25 0 1 0 2001000656 57425920 1026 996147200 134512640 134990860 4294956096 18446744073709551615 134561282 0 0 4096 2 0 0 0 17 1 0 0
/proc/3490/statm: 14020 1026 177 116 0 13531 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 56080
[startup+6.30143 s]
/proc/loadavg: 2.02 2.01 2.00 3/83 3492
/proc/meminfo: memFree=1692680/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=83144 CPUtime=6.24
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6113 0 0 0 444 180 0 0 25 0 2 0 2001000656 85139456 5821 996147200 134512640 134990860 4294956096 18446744073709551615 134718690 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3490/statm: 20786 5821 198 116 0 20297 0
[pid=3490/tid=3492] ppid=3488 vsize=83144 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 2001001110 85139456 5821 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 83144
[startup+12.702 s]
/proc/loadavg: 2.02 2.01 2.00 3/83 3492
/proc/meminfo: memFree=1692624/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=83144 CPUtime=12.58
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6113 0 0 0 1078 180 0 0 25 0 2 0 2001000656 85139456 5821 996147200 134512640 134990860 4294956096 18446744073709551615 134838844 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3490/statm: 20786 5821 198 116 0 20297 0
[pid=3490/tid=3492] ppid=3488 vsize=83144 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 2001001110 85139456 5821 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 83144
[startup+25.5062 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 3492
/proc/meminfo: memFree=1692752/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=83144 CPUtime=25.27
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6113 0 0 0 2347 180 0 0 25 0 2 0 2001000656 85139456 5821 996147200 134512640 134990860 4294956096 18446744073709551615 134710424 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3490/statm: 20786 5821 198 116 0 20297 0
[pid=3490/tid=3492] ppid=3488 vsize=83144 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 2001001110 85139456 5821 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 83144
[startup+51.1025 s]
/proc/loadavg: 2.09 2.02 2.00 3/83 3492
/proc/meminfo: memFree=1692816/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=83144 CPUtime=50.65
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6114 0 0 0 4885 180 0 0 25 0 2 0 2001000656 85139456 5822 996147200 134512640 134990860 4294956096 18446744073709551615 134718672 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3490/statm: 20786 5822 198 116 0 20297 0
[pid=3490/tid=3492] ppid=3488 vsize=83144 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 2001001110 85139456 5822 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 83144
[startup+102.302 s]
/proc/loadavg: 2.12 2.03 2.01 3/83 3492
/proc/meminfo: memFree=1692624/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=83144 CPUtime=101.42
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6114 0 0 0 9962 180 0 0 25 0 2 0 2001000656 85139456 5822 996147200 134512640 134990860 4294956096 18446744073709551615 134838834 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3490/statm: 20786 5822 198 116 0 20297 0
[pid=3490/tid=3492] ppid=3488 vsize=83144 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 2001001110 85139456 5822 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 83144
[startup+162.303 s]
/proc/loadavg: 2.15 2.07 2.02 3/83 3492
/proc/meminfo: memFree=1692560/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=83144 CPUtime=160.92
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6114 0 0 0 15911 181 0 0 25 0 2 0 2001000656 85139456 5822 996147200 134512640 134990860 4294956096 18446744073709551615 134620386 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3490/statm: 20786 5822 198 116 0 20297 0
[pid=3490/tid=3492] ppid=3488 vsize=83144 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 2001001110 85139456 5822 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.92
Current children cumulated vsize (KiB) 83144
[startup+222.303 s]
/proc/loadavg: 2.05 2.05 2.01 3/83 3492
/proc/meminfo: memFree=1692624/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=83144 CPUtime=220.41
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6114 0 0 0 21860 181 0 0 25 0 2 0 2001000656 85139456 5822 996147200 134512640 134990860 4294956096 18446744073709551615 134710523 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3490/statm: 20786 5822 198 116 0 20297 0
[pid=3490/tid=3492] ppid=3488 vsize=83144 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 2001001110 85139456 5822 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.41
Current children cumulated vsize (KiB) 83144
[startup+282.302 s]
/proc/loadavg: 2.02 2.04 2.00 3/83 3492
/proc/meminfo: memFree=1692624/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=83144 CPUtime=279.9
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6114 0 0 0 27809 181 0 0 25 0 2 0 2001000656 85139456 5822 996147200 134512640 134990860 4294956096 18446744073709551615 134718799 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3490/statm: 20786 5822 198 116 0 20297 0
[pid=3490/tid=3492] ppid=3488 vsize=83144 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 2001001110 85139456 5822 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.9
Current children cumulated vsize (KiB) 83144
[startup+342.307 s]
/proc/loadavg: 2.00 2.03 2.00 3/83 3492
/proc/meminfo: memFree=1692560/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=83144 CPUtime=339.4
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6114 0 0 0 33759 181 0 0 25 0 2 0 2001000656 85139456 5822 996147200 134512640 134990860 4294956096 18446744073709551615 134718696 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3490/statm: 20786 5822 198 116 0 20297 0
[pid=3490/tid=3492] ppid=3488 vsize=83144 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 2001001110 85139456 5822 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.4
Current children cumulated vsize (KiB) 83144
[startup+402.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 3492
/proc/meminfo: memFree=1692560/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=83144 CPUtime=398.89
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6114 0 0 0 39708 181 0 0 25 0 2 0 2001000656 85139456 5822 996147200 134512640 134990860 4294956096 18446744073709551615 134607254 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3490/statm: 20786 5822 198 116 0 20297 0
[pid=3490/tid=3492] ppid=3488 vsize=83144 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 2001001110 85139456 5822 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.89
Current children cumulated vsize (KiB) 83144
[startup+462.303 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 3492
/proc/meminfo: memFree=1692560/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=83144 CPUtime=458.38
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6114 0 0 0 45657 181 0 0 25 0 2 0 2001000656 85139456 5822 996147200 134512640 134990860 4294956096 18446744073709551615 134715867 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/3490/statm: 20786 5822 198 116 0 20297 0
[pid=3490/tid=3492] ppid=3488 vsize=83144 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 2001001110 85139456 5822 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.38
Current children cumulated vsize (KiB) 83144
[startup+522.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 3492
/proc/meminfo: memFree=1692496/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=83144 CPUtime=517.87
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6114 0 0 0 51606 181 0 0 25 0 2 0 2001000656 85139456 5822 996147200 134512640 134990860 4294956096 18446744073709551615 134718139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2001001110 95629312 5843 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3490/tid=3493] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3493/stat : 3493 (bprolog) S 3488 3490 3338 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 2001091122 95629312 5843 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1172.44
Current children cumulated vsize (KiB) 93388
[startup+1242.3 s]
/proc/loadavg: 1.98 2.01 1.99 3/75 3523
/proc/meminfo: memFree=1704592/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=93388 CPUtime=1232.42
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6136 0 0 0 123059 183 0 0 25 0 3 0 2001000656 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 134607528 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3490/statm: 23347 5844 198 116 0 22858 0
[pid=3490/tid=3492] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2001001110 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3490/tid=3493] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3493/stat : 3493 (bprolog) S 3488 3490 3338 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 2001091122 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1232.42
Current children cumulated vsize (KiB) 93388
[startup+1302.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/75 3523
/proc/meminfo: memFree=1704400/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=93388 CPUtime=1292.4
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6136 0 0 0 129057 183 0 0 25 0 3 0 2001000656 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 134627412 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3490/statm: 23347 5844 198 116 0 22858 0
[pid=3490/tid=3492] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2001001110 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3490/tid=3493] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3493/stat : 3493 (bprolog) S 3488 3490 3338 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 2001091122 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1292.4
Current children cumulated vsize (KiB) 93388
[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/75 3523
/proc/meminfo: memFree=1704400/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=93388 CPUtime=1352.38
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6136 0 0 0 135055 183 0 0 25 0 3 0 2001000656 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 134710535 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3490/statm: 23347 5844 198 116 0 22858 0
[pid=3490/tid=3492] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2001001110 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3490/tid=3493] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3493/stat : 3493 (bprolog) S 3488 3490 3338 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 2001091122 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1352.38
Current children cumulated vsize (KiB) 93388
[startup+1422.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/75 3525
/proc/meminfo: memFree=1704272/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=93388 CPUtime=1412.35
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6136 0 0 0 141052 183 0 0 25 0 3 0 2001000656 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 134718746 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3490/statm: 23347 5844 198 116 0 22858 0
[pid=3490/tid=3492] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2001001110 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3490/tid=3493] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3493/stat : 3493 (bprolog) S 3488 3490 3338 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 2001091122 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1412.35
Current children cumulated vsize (KiB) 93388
[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/75 3525
/proc/meminfo: memFree=1704272/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=93388 CPUtime=1472.33
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6136 0 0 0 147050 183 0 0 25 0 3 0 2001000656 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 134718715 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3490/statm: 23347 5844 198 116 0 22858 0
[pid=3490/tid=3492] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2001001110 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3490/tid=3493] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3493/stat : 3493 (bprolog) S 3488 3490 3338 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 2001091122 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1472.33
Current children cumulated vsize (KiB) 93388
[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/75 3525
/proc/meminfo: memFree=1704336/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=93388 CPUtime=1532.32
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6136 0 0 0 153049 183 0 0 25 0 3 0 2001000656 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 134631313 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3490/statm: 23347 5844 198 116 0 22858 0
[pid=3490/tid=3492] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2001001110 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3490/tid=3493] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3493/stat : 3493 (bprolog) S 3488 3490 3338 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 2001091122 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1532.32
Current children cumulated vsize (KiB) 93388
[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/75 3525
/proc/meminfo: memFree=1704336/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=93388 CPUtime=1592.29
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6136 0 0 0 159046 183 0 0 25 0 3 0 2001000656 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 134710206 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3490/statm: 23347 5844 198 116 0 22858 0
[pid=3490/tid=3492] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2001001110 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3490/tid=3493] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3493/stat : 3493 (bprolog) S 3488 3490 3338 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 2001091122 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1592.29
Current children cumulated vsize (KiB) 93388
[startup+1662.31 s]
/proc/loadavg: 1.99 2.00 1.99 3/75 3525
/proc/meminfo: memFree=1704336/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=93388 CPUtime=1652.27
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6136 0 0 0 165044 183 0 0 25 0 3 0 2001000656 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 134718648 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3490/statm: 23347 5844 198 116 0 22858 0
[pid=3490/tid=3492] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2001001110 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3490/tid=3493] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3493/stat : 3493 (bprolog) S 3488 3490 3338 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 2001091122 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.27
Current children cumulated vsize (KiB) 93388
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/75 3525
/proc/meminfo: memFree=1704336/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=93388 CPUtime=1712.25
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6136 0 0 0 171042 183 0 0 25 0 3 0 2001000656 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 134710192 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3490/statm: 23347 5844 198 116 0 22858 0
[pid=3490/tid=3492] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2001001110 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3490/tid=3493] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3493/stat : 3493 (bprolog) S 3488 3490 3338 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 2001091122 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.25
Current children cumulated vsize (KiB) 93388
[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/75 3525
/proc/meminfo: memFree=1704336/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=93388 CPUtime=1772.23
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6136 0 0 0 177040 183 0 0 25 0 3 0 2001000656 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 134629839 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3490/statm: 23347 5844 198 116 0 22858 0
[pid=3490/tid=3492] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3492/stat : 3492 (bprolog) S 3488 3490 3338 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 2001001110 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3490/tid=3493] ppid=3488 vsize=93388 CPUtime=0
/proc/3490/task/3493/stat : 3493 (bprolog) S 3488 3490 3338 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 2001091122 95629312 5844 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.23
Current children cumulated vsize (KiB) 93388
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.1 s]
/proc/loadavg: 1.99 2.00 1.99 3/75 3526
/proc/meminfo: memFree=1703944/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=103632 CPUtime=1800.02
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6256 0 0 0 179819 183 0 0 25 0 3 0 2001000656 106119168 5964 996147200 134512640 134990860 4294956096 18446744073709551615 134710438 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3490/statm: 25908 5964 199 116 0 25419 0
[pid=3490/tid=3493] ppid=3488 vsize=103632 CPUtime=0
/proc/3490/task/3493/stat : 3493 (bprolog) S 3488 3490 3338 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 2001091122 106119168 5964 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3490/tid=3526] ppid=3488 vsize=103632 CPUtime=0
/proc/3490/task/3526/stat : 3526 (bprolog) S 3488 3490 3338 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 2001181137 106119168 5964 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 103632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1810.1 s]
/proc/loadavg: 1.99 2.00 1.99 3/75 3526
/proc/meminfo: memFree=1703944/2055920 swapFree=4180844/4192956
[pid=3490] ppid=3488 vsize=103632 CPUtime=1800.02
/proc/3490/stat : 3490 (bprolog) R 3488 3490 3338 0 -1 4194304 6256 0 0 0 179819 183 0 0 25 0 3 0 2001000656 106119168 5964 996147200 134512640 134990860 4294956096 18446744073709551615 134710438 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3490/statm: 25908 5964 199 116 0 25419 0
[pid=3490/tid=3493] ppid=3488 vsize=103632 CPUtime=0
/proc/3490/task/3493/stat : 3493 (bprolog) S 3488 3490 3338 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 2001091122 106119168 5964 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3490/tid=3526] ppid=3488 vsize=103632 CPUtime=0
/proc/3490/task/3526/stat : 3526 (bprolog) S 3488 3490 3338 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 2001181137 106119168 5964 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 103632
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1810.12
CPU time (s): 1800.05
CPU user time (s): 1798.2
CPU system time (s): 1.84272
CPU usage (%): 99.4437
Max. virtual memory (cumulated for all children) (KiB): 103632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.2
system time used= 1.84272
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6256
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= 10
involuntary context switches= 49231
runsolver used 2.16567 second user time and 4.42833 second system time
The end
Begin job on node25 at 2008-07-05 03:11:06
IDJOB=1081970
IDBENCH=57166
IDSOLVER=347
FILE ID=node25/1081970-1215220266
PBS_JOBID= 7881825
Free space on /tmp= 66524 MiB
SOLVER NAME= bpsolver 2008-06-27
BENCH NAME= CPAI08/csp/haystacks/normalized-haystacks-36.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1081970-1215220266/watcher-1081970-1215220266 -o /tmp/evaluation-result-1081970-1215220266/solver-1081970-1215220266 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1081970-1215220266 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 87cb5ec2449d8c75ad96262506f10f50
RANDOM SEED=497252623
node25.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.234
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.234
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: 1717376 kB
Buffers: 61048 kB
Cached: 197344 kB
SwapCached: 6196 kB
Active: 200056 kB
Inactive: 82692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1717376 kB
SwapTotal: 4192956 kB
SwapFree: 4180844 kB
Dirty: 3968 kB
Writeback: 0 kB
Mapped: 40244 kB
Slab: 40776 kB
Committed_AS: 3559624 kB
PageTables: 2048 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= 66524 MiB
End job on node25 at 2008-07-05 03:41:18