0.00/0.02 c bpsolver version 6.29.2009
0.00/0.02 c converting(HOME/instance-2076761-1247363040)
0.68/0.74 c Converted in 341 ms
0.78/0.84 c solving(HOME/instance-2076761-1247363040,1800000)
0.78/0.84 c solving(HOME/instance-2076761-1247363040,1800000)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076761-1247363040/watcher-2076761-1247363040 -o /tmp/evaluation-result-2076761-1247363040/solver-2076761-1247363040 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2076761-1247363040 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): 2000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.14 2.12 4/69 20772
/proc/meminfo: memFree=1876968/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=18576 CPUtime=0
/proc/20772/stat : 20772 (runsolver) R 20770 20772 20197 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 23368112 19021824 284 996147200 4194304 4302564 548682068528 18446744073709551615 266890439975 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20772/statm: 4644 284 249 26 0 2626 0
[startup+0.0846689 s]
/proc/loadavg: 2.05 2.14 2.12 4/69 20772
/proc/meminfo: memFree=1876968/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=62208 CPUtime=0.07
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 1199 0 0 0 4 3 0 0 20 0 1 0 23368112 63700992 912 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/20772/statm: 15552 912 173 144 0 15036 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 62208
[startup+0.101675 s]
/proc/loadavg: 2.05 2.14 2.12 4/69 20772
/proc/meminfo: memFree=1876968/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=62208 CPUtime=0.08
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 1203 0 0 0 4 4 0 0 20 0 1 0 23368112 63700992 916 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/20772/statm: 15552 916 176 144 0 15036 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 62208
[startup+0.301689 s]
/proc/loadavg: 2.05 2.14 2.12 4/69 20772
/proc/meminfo: memFree=1876968/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=62208 CPUtime=0.27
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 1213 0 0 0 13 14 0 0 21 0 1 0 23368112 63700992 926 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/20772/statm: 15552 926 176 144 0 15036 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 62208
[startup+0.701733 s]
/proc/loadavg: 2.05 2.14 2.12 4/69 20772
/proc/meminfo: memFree=1876968/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=62208 CPUtime=0.68
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 1223 0 0 0 33 35 0 0 25 0 1 0 23368112 63700992 936 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/20772/statm: 15552 936 176 144 0 15036 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 62208
[startup+1.50183 s]
/proc/loadavg: 2.05 2.14 2.12 2/69 20790
/proc/meminfo: memFree=1871784/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=80632 CPUtime=1.47
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2727 0 0 0 109 38 0 0 25 0 2 0 23368112 82567168 2437 996147200 134512640 135105188 4294956096 18446744073709551615 134717157 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/20772/statm: 20158 2437 196 144 0 19642 0
[pid=20772/tid=20788] ppid=20770 vsize=80632 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23368200 82567168 2437 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 80632
[startup+3.10201 s]
/proc/loadavg: 2.05 2.14 2.12 4/85 20809
/proc/meminfo: memFree=1849768/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=80632 CPUtime=3.07
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2727 0 0 0 269 38 0 0 25 0 2 0 23368112 82567168 2437 996147200 134512640 135105188 4294956096 18446744073709551615 134630207 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/20772/statm: 20158 2437 196 144 0 19642 0
[pid=20772/tid=20788] ppid=20770 vsize=80632 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23368200 82567168 2437 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 80632
[startup+6.30137 s]
/proc/loadavg: 2.12 2.16 2.13 4/85 20809
/proc/meminfo: memFree=1749096/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=80632 CPUtime=6.16
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2727 0 0 0 578 38 0 0 25 0 2 0 23368112 82567168 2437 996147200 134512640 135105188 4294956096 18446744073709551615 134629875 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/20772/statm: 20158 2437 196 144 0 19642 0
[pid=20772/tid=20788] ppid=20770 vsize=80632 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23368200 82567168 2437 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 80632
[startup+12.7021 s]
/proc/loadavg: 2.27 2.19 2.14 5/85 20809
/proc/meminfo: memFree=1412968/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=80632 CPUtime=11.47
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2728 0 0 0 1109 38 0 0 25 0 2 0 23368112 82567168 2438 996147200 134512640 135105188 4294956096 18446744073709551615 134630166 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/20772/statm: 20158 2438 196 144 0 19642 0
[pid=20772/tid=20788] ppid=20770 vsize=80632 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23368200 82567168 2438 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.47
Current children cumulated vsize (KiB) 80632
[startup+25.5015 s]
/proc/loadavg: 2.21 2.18 2.13 3/85 20809
/proc/meminfo: memFree=1143464/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=80632 CPUtime=23.73
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2728 0 0 0 2335 38 0 0 25 0 2 0 23368112 82567168 2438 996147200 134512640 135105188 4294956096 18446744073709551615 134630216 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20772/statm: 20158 2438 196 144 0 19642 0
[pid=20772/tid=20788] ppid=20770 vsize=80632 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23368200 82567168 2438 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 23.73
Current children cumulated vsize (KiB) 80632
[startup+51.1014 s]
/proc/loadavg: 2.14 2.16 2.13 3/85 20809
/proc/meminfo: memFree=1111208/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=80632 CPUtime=49.11
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2728 0 0 0 4873 38 0 0 25 0 2 0 23368112 82567168 2438 996147200 134512640 135105188 4294956096 18446744073709551615 134630305 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20772/statm: 20158 2438 196 144 0 19642 0
[pid=20772/tid=20788] ppid=20770 vsize=80632 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23368200 82567168 2438 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.11
Current children cumulated vsize (KiB) 80632
[startup+102.307 s]
/proc/loadavg: 2.59 2.26 2.16 4/85 20890
/proc/meminfo: memFree=1172712/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=80632 CPUtime=98.77
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2728 0 0 0 9838 39 0 0 25 0 2 0 23368112 82567168 2438 996147200 134512640 135105188 4294956096 18446744073709551615 134559794 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/20772/statm: 20158 2438 196 144 0 19642 0
[pid=20772/tid=20788] ppid=20770 vsize=80632 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23368200 82567168 2438 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 98.77
Current children cumulated vsize (KiB) 80632
[startup+162.302 s]
/proc/loadavg: 2.24 2.22 2.15 3/85 20890
/proc/meminfo: memFree=1173736/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=80632 CPUtime=157.97
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2728 0 0 0 15758 39 0 0 25 0 2 0 23368112 82567168 2438 996147200 134512640 135105188 4294956096 18446744073709551615 134559780 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20772/statm: 20158 2438 196 144 0 19642 0
[pid=20772/tid=20788] ppid=20770 vsize=80632 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23368200 82567168 2438 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 157.97
Current children cumulated vsize (KiB) 80632
[startup+222.302 s]
/proc/loadavg: 2.17 2.20 2.15 3/84 20932
/proc/meminfo: memFree=1416104/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=80632 CPUtime=217.91
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2728 0 0 0 21750 41 0 0 25 0 2 0 23368112 82567168 2438 996147200 134512640 135105188 4294956096 18446744073709551615 134625576 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/20772/statm: 20158 2438 196 144 0 19642 0
[pid=20772/tid=20788] ppid=20770 vsize=80632 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23368200 82567168 2438 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 217.91
Current children cumulated vsize (KiB) 80632
[startup+282.301 s]
/proc/loadavg: 2.13 2.18 2.14 3/84 20932
/proc/meminfo: memFree=1415976/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=80632 CPUtime=277.89
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2728 0 0 0 27748 41 0 0 25 0 2 0 23368112 82567168 2438 996147200 134512640 135105188 4294956096 18446744073709551615 134849570 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/20772/statm: 20158 2438 196 144 0 19642 0
[pid=20772/tid=20788] ppid=20770 vsize=80632 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23368200 82567168 2438 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 277.89
Current children cumulated vsize (KiB) 80632
[startup+342.301 s]
/proc/loadavg: 2.05 2.14 2.13 3/84 20932
/proc/meminfo: memFree=1415976/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=80632 CPUtime=337.86
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2728 0 0 0 33745 41 0 0 25 0 2 0 23368112 82567168 2438 996147200 134512640 135105188 4294956096 18446744073709551615 134593716 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/20772/statm: 20158 2438 196 144 0 19642 0
[pid=20772/tid=20788] ppid=20770 vsize=80632 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23368200 82567168 2438 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 337.86
Current children cumulated vsize (KiB) 80632
[startup+402.302 s]
/proc/loadavg: 2.02 2.12 2.12 3/84 20932
/proc/meminfo: memFree=1424680/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=80632 CPUtime=397.84
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2728 0 0 0 39743 41 0 0 25 0 2 0 23368112 82567168 2438 996147200 134512640 135105188 4294956096 18446744073709551615 134593770 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/20772/statm: 20158 2438 196 144 0 19642 0
[pid=20772/tid=20788] ppid=20770 vsize=80632 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23368200 82567168 2438 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 397.84
Current children cumulated vsize (KiB) 80632
[startup+462.301 s]
/proc/loadavg: 2.05 2.11 2.11 3/84 20934
/proc/meminfo: memFree=1424616/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=80632 CPUtime=457.82
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2728 0 0 0 45741 41 0 0 25 0 2 0 23368112 82567168 2438 996147200 134512640 135105188 4294956096 18446744073709551615 134630483 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/20772/statm: 20158 2438 196 144 0 19642 0
[pid=20772/tid=20788] ppid=20770 vsize=80632 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23368200 82567168 2438 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 457.82
Current children cumulated vsize (KiB) 80632
[startup+522.301 s]
/proc/loadavg: 2.02 2.08 2.10 3/84 20934
################
# More data... #
################
Current children cumulated CPU time (s) 1236.03
Current children cumulated vsize (KiB) 90876
[startup+1302.3 s]
/proc/loadavg: 2.98 2.54 2.25 4/90 21378
/proc/meminfo: memFree=1503760/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=90876 CPUtime=1295.47
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2737 0 0 0 129502 45 0 0 25 0 3 0 23368112 93057024 2447 996147200 134512640 135105188 4294956096 18446744073709551615 134608683 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20772/statm: 22719 2447 196 144 0 22203 0
[pid=20772/tid=20788] ppid=20770 vsize=90876 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23368200 93057024 2447 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20772/tid=20935] ppid=20770 vsize=90876 CPUtime=0
/proc/20772/task/20935/stat : 20935 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 23458213 93057024 2447 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1295.47
Current children cumulated vsize (KiB) 90876
[startup+1362.3 s]
/proc/loadavg: 2.99 2.61 2.29 5/93 21382
/proc/meminfo: memFree=1488504/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=101120 CPUtime=1354.85
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2738 0 0 0 135440 45 0 0 25 0 4 0 23368112 103546880 2448 996147200 134512640 135105188 4294956096 18446744073709551615 134670297 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20772/statm: 25280 2448 196 144 0 24764 0
[pid=20772/tid=20788] ppid=20770 vsize=101120 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 23368200 103546880 2448 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20772/tid=20935] ppid=20770 vsize=101120 CPUtime=0
/proc/20772/task/20935/stat : 20935 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 23458213 103546880 2448 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=20772/tid=21379] ppid=20770 vsize=101120 CPUtime=0
/proc/20772/task/21379/stat : 21379 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 23503223 103546880 2448 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1354.85
Current children cumulated vsize (KiB) 101120
[startup+1422.31 s]
/proc/loadavg: 2.45 2.54 2.28 3/86 21434
/proc/meminfo: memFree=1466456/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=101120 CPUtime=1412.73
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2738 0 0 0 141224 49 0 0 25 0 4 0 23368112 103546880 2448 996147200 134512640 135105188 4294956096 18446744073709551615 134858760 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20772/statm: 25280 2448 196 144 0 24764 0
[pid=20772/tid=20788] ppid=20770 vsize=101120 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 23368200 103546880 2448 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20772/tid=20935] ppid=20770 vsize=101120 CPUtime=0
/proc/20772/task/20935/stat : 20935 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 23458213 103546880 2448 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=20772/tid=21379] ppid=20770 vsize=101120 CPUtime=0
/proc/20772/task/21379/stat : 21379 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 23503223 103546880 2448 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1412.73
Current children cumulated vsize (KiB) 101120
[startup+1482.3 s]
/proc/loadavg: 2.18 2.45 2.26 3/86 21434
/proc/meminfo: memFree=1466392/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=101120 CPUtime=1472.21
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2738 0 0 0 147172 49 0 0 25 0 4 0 23368112 103546880 2448 996147200 134512640 135105188 4294956096 18446744073709551615 134858640 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20772/statm: 25280 2448 196 144 0 24764 0
[pid=20772/tid=20788] ppid=20770 vsize=101120 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 23368200 103546880 2448 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20772/tid=20935] ppid=20770 vsize=101120 CPUtime=0
/proc/20772/task/20935/stat : 20935 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 23458213 103546880 2448 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=20772/tid=21379] ppid=20770 vsize=101120 CPUtime=0
/proc/20772/task/21379/stat : 21379 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 23503223 103546880 2448 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1472.21
Current children cumulated vsize (KiB) 101120
[startup+1542.3 s]
/proc/loadavg: 2.06 2.37 2.25 3/86 21434
/proc/meminfo: memFree=1466456/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=101120 CPUtime=1531.7
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2738 0 0 0 153121 49 0 0 25 0 4 0 23368112 103546880 2448 996147200 134512640 135105188 4294956096 18446744073709551615 134628965 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20772/statm: 25280 2448 196 144 0 24764 0
[pid=20772/tid=20788] ppid=20770 vsize=101120 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 23368200 103546880 2448 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20772/tid=20935] ppid=20770 vsize=101120 CPUtime=0
/proc/20772/task/20935/stat : 20935 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 23458213 103546880 2448 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=20772/tid=21379] ppid=20770 vsize=101120 CPUtime=0
/proc/20772/task/21379/stat : 21379 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 23503223 103546880 2448 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.7
Current children cumulated vsize (KiB) 101120
[startup+1602.3 s]
/proc/loadavg: 2.02 2.30 2.23 3/87 21435
/proc/meminfo: memFree=1466384/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=111364 CPUtime=1591.16
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2739 0 0 0 159067 49 0 0 25 0 5 0 23368112 114036736 2449 996147200 134512640 135105188 4294956096 18446744073709551615 134629901 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20772/statm: 27841 2449 196 144 0 27325 0
[pid=20772/tid=20788] ppid=20770 vsize=111364 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23368200 114036736 2449 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20772/tid=20935] ppid=20770 vsize=111364 CPUtime=0
/proc/20772/task/20935/stat : 20935 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23458213 114036736 2449 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=20772/tid=21379] ppid=20770 vsize=111364 CPUtime=0
/proc/20772/task/21379/stat : 21379 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23503223 114036736 2449 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20772/tid=21435] ppid=20770 vsize=111364 CPUtime=0
/proc/20772/task/21435/stat : 21435 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 23525729 114036736 2449 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1591.16
Current children cumulated vsize (KiB) 111364
[startup+1662.3 s]
/proc/loadavg: 2.01 2.24 2.21 3/87 21435
/proc/meminfo: memFree=1466320/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=111364 CPUtime=1650.6
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2739 0 0 0 165011 49 0 0 25 0 5 0 23368112 114036736 2449 996147200 134512640 135105188 4294956096 18446744073709551615 134630264 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20772/statm: 27841 2449 196 144 0 27325 0
[pid=20772/tid=20788] ppid=20770 vsize=111364 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23368200 114036736 2449 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20772/tid=20935] ppid=20770 vsize=111364 CPUtime=0
/proc/20772/task/20935/stat : 20935 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23458213 114036736 2449 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=20772/tid=21379] ppid=20770 vsize=111364 CPUtime=0
/proc/20772/task/21379/stat : 21379 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23503223 114036736 2449 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20772/tid=21435] ppid=20770 vsize=111364 CPUtime=0
/proc/20772/task/21435/stat : 21435 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 23525729 114036736 2449 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1650.6
Current children cumulated vsize (KiB) 111364
[startup+1722.3 s]
/proc/loadavg: 2.00 2.19 2.19 3/87 21435
/proc/meminfo: memFree=1466320/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=111364 CPUtime=1710.04
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2739 0 0 0 170955 49 0 0 25 0 5 0 23368112 114036736 2449 996147200 134512640 135105188 4294956096 18446744073709551615 134630085 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20772/statm: 27841 2449 196 144 0 27325 0
[pid=20772/tid=20788] ppid=20770 vsize=111364 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23368200 114036736 2449 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20772/tid=20935] ppid=20770 vsize=111364 CPUtime=0
/proc/20772/task/20935/stat : 20935 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23458213 114036736 2449 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=20772/tid=21379] ppid=20770 vsize=111364 CPUtime=0
/proc/20772/task/21379/stat : 21379 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23503223 114036736 2449 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20772/tid=21435] ppid=20770 vsize=111364 CPUtime=0
/proc/20772/task/21435/stat : 21435 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23525729 114036736 2449 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1710.04
Current children cumulated vsize (KiB) 111364
[startup+1782.3 s]
/proc/loadavg: 2.00 2.16 2.18 3/87 21435
/proc/meminfo: memFree=1466128/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=111364 CPUtime=1769.48
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2739 0 0 0 176898 50 0 0 25 0 5 0 23368112 114036736 2449 996147200 134512640 135105188 4294956096 18446744073709551615 134628958 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20772/statm: 27841 2449 196 144 0 27325 0
[pid=20772/tid=20788] ppid=20770 vsize=111364 CPUtime=0
/proc/20772/task/20788/stat : 20788 (bprolog) S 20770 20772 20197 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23368200 114036736 2449 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20772/tid=20935] ppid=20770 vsize=111364 CPUtime=0
/proc/20772/task/20935/stat : 20935 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23458213 114036736 2449 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=20772/tid=21379] ppid=20770 vsize=111364 CPUtime=0
/proc/20772/task/21379/stat : 21379 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23503223 114036736 2449 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20772/tid=21435] ppid=20770 vsize=111364 CPUtime=0
/proc/20772/task/21435/stat : 21435 (bprolog) S 20770 20772 20197 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23525729 114036736 2449 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1769.48
Current children cumulated vsize (KiB) 111364
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.1 s]
/proc/loadavg: 2.00 2.14 2.17 3/83 21435
/proc/meminfo: memFree=1466128/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=111364 CPUtime=1800
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2740 0 0 0 179950 50 0 0 25 0 1 0 23368112 114036736 2450 996147200 134512640 135105188 4294956096 18446744073709551615 134608683 0 0 4096 2 0 0 0 17 1 0 0
/proc/20772/statm: 27841 2450 197 144 0 27325 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 111364
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1813.1 s]
/proc/loadavg: 2.00 2.14 2.17 3/83 21435
/proc/meminfo: memFree=1466128/2055920 swapFree=4192812/4192956
[pid=20772] ppid=20770 vsize=111364 CPUtime=1800
/proc/20772/stat : 20772 (bprolog) R 20770 20772 20197 0 -1 4194304 2740 0 0 0 179950 50 0 0 25 0 1 0 23368112 114036736 2450 996147200 134512640 135105188 4294956096 18446744073709551615 134608683 0 0 4096 2 0 0 0 17 1 0 0
/proc/20772/statm: 27841 2450 197 144 0 27325 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 111364
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1813.11
CPU time (s): 1800.01
CPU user time (s): 1799.51
CPU system time (s): 0.502923
CPU usage (%): 99.2775
Max. virtual memory (cumulated for all children) (KiB): 111364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.502923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2740
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= 36537
runsolver used 2.56961 second user time and 5.39018 second system time
The end
Begin job on node38 at 2009-07-12 03:44:00
IDJOB=2076761
IDBENCH=56492
IDSOLVER=770
FILE ID=node38/2076761-1247363040
PBS_JOBID= 9507010
Free space on /tmp= 66396 MiB
SOLVER NAME= bpsolver 09
BENCH NAME= CPAI08/csp/rlfapGraphsMod/normalized-graph9-f10.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2076761-1247363040/watcher-2076761-1247363040 -o /tmp/evaluation-result-2076761-1247363040/solver-2076761-1247363040 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2076761-1247363040 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6c2f102032bae2df336cce2e32238ab9
RANDOM SEED=805375440
node38.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.229
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.229
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: 1877448 kB
Buffers: 21440 kB
Cached: 92256 kB
SwapCached: 0 kB
Active: 74588 kB
Inactive: 55560 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1877448 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5420 kB
Writeback: 0 kB
Mapped: 26840 kB
Slab: 33772 kB
Committed_AS: 150544 kB
PageTables: 1800 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= 66436 MiB
End job on node38 at 2009-07-12 04:14:15