0.00/0.02 c bpsolver version 6.29.2009
0.00/0.02 c converting(HOME/instance-2063154-1247330562)
12.47/12.67 c Converted in 3706 ms
16.44/16.64 c solving(HOME/instance-2063154-1247330562,1800000)
16.44/16.64 c solving(HOME/instance-2063154-1247330562,1800000)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2063154-1247330562/watcher-2063154-1247330562 -o /tmp/evaluation-result-2063154-1247330562/solver-2063154-1247330562 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2063154-1247330562 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.00 2.01 2.00 4/84 13304
/proc/meminfo: memFree=780360/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=7000 CPUtime=0
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 368 0 0 0 0 0 0 0 20 0 1 0 20119990 7168000 86 996147200 134512640 135105188 4294956096 18446744073709551615 4845069 0 0 4096 0 0 0 0 17 1 0 0
/proc/13304/statm: 1750 86 68 144 0 1234 0
[startup+0.209153 s]
/proc/loadavg: 2.00 2.01 2.00 4/84 13304
/proc/meminfo: memFree=780360/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=62208 CPUtime=0.2
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 1116 0 0 0 7 13 0 0 21 0 1 0 20119990 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/13304/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 62208
[startup+0.301172 s]
/proc/loadavg: 2.00 2.01 2.00 4/84 13304
/proc/meminfo: memFree=780360/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=62208 CPUtime=0.29
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 1116 0 0 0 9 20 0 0 21 0 1 0 20119990 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/13304/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62208
[startup+0.401187 s]
/proc/loadavg: 2.00 2.01 2.00 4/84 13304
/proc/meminfo: memFree=780360/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=62208 CPUtime=0.39
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 1116 0 0 0 12 27 0 0 22 0 1 0 20119990 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/13304/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 62208
[startup+0.701242 s]
/proc/loadavg: 2.00 2.01 2.00 4/84 13304
/proc/meminfo: memFree=780360/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=62208 CPUtime=0.68
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 1116 0 0 0 22 46 0 0 25 0 1 0 20119990 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 5097373 0 0 4096 2 0 0 0 17 1 0 0
/proc/13304/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 62208
[startup+1.50139 s]
/proc/loadavg: 2.00 2.01 2.00 3/85 13305
/proc/meminfo: memFree=777152/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=62208 CPUtime=1.48
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 1116 0 0 0 48 100 0 0 25 0 1 0 20119990 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/13304/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 62208
[startup+3.10168 s]
/proc/loadavg: 2.00 2.01 2.00 3/85 13305
/proc/meminfo: memFree=776704/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=62208 CPUtime=3.07
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 1116 0 0 0 93 214 0 0 25 0 1 0 20119990 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/13304/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 62208
[startup+6.30126 s]
/proc/loadavg: 2.00 2.01 2.00 3/85 13305
/proc/meminfo: memFree=775744/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=62208 CPUtime=6.23
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 1117 0 0 0 185 438 0 0 25 0 1 0 20119990 63700992 830 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/13304/statm: 15552 830 176 144 0 15036 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 62208
[startup+12.7014 s]
/proc/loadavg: 2.00 2.01 2.00 3/85 13305
/proc/meminfo: memFree=773632/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=70020 CPUtime=12.57
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 1519 0 0 0 374 883 0 0 25 0 1 0 20119990 71700480 1230 996147200 134512640 135105188 4294956096 18446744073709551615 134577404 0 0 4096 2 0 0 0 17 1 0 0
/proc/13304/statm: 17505 1230 180 144 0 16989 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 70020
[startup+25.5068 s]
/proc/loadavg: 2.00 2.01 2.00 3/86 13306
/proc/meminfo: memFree=671736/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=181252 CPUtime=25.25
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 44223 0 0 0 1620 905 0 0 25 0 2 0 20119990 185602048 26204 996147200 134512640 135105188 4294956096 18446744073709551615 134748704 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13304/statm: 45313 26204 199 144 0 44797 0
[pid=13304/tid=13306] ppid=13302 vsize=181252 CPUtime=0
/proc/13304/task/13306/stat : 13306 (bprolog) S 13302 13304 10765 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20121669 185602048 26204 996147200 134512640 135105188 4294956096 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) 181252
[startup+51.1014 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13306
/proc/meminfo: memFree=671736/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=181252 CPUtime=50.6
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 44225 0 0 0 4155 905 0 0 25 0 2 0 20119990 185602048 26206 996147200 134512640 135105188 4294956096 18446744073709551615 134748704 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13304/statm: 45313 26206 199 144 0 44797 0
[pid=13304/tid=13306] ppid=13302 vsize=181252 CPUtime=0
/proc/13304/task/13306/stat : 13306 (bprolog) S 13302 13304 10765 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20121669 185602048 26206 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 181252
[startup+102.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13306
/proc/meminfo: memFree=671672/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=181252 CPUtime=101.31
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 44225 0 0 0 9226 905 0 0 25 0 2 0 20119990 185602048 26206 996147200 134512640 135105188 4294956096 18446744073709551615 134718165 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13304/statm: 45313 26206 199 144 0 44797 0
[pid=13304/tid=13306] ppid=13302 vsize=181252 CPUtime=0
/proc/13304/task/13306/stat : 13306 (bprolog) S 13302 13304 10765 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20121669 185602048 26206 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 181252
[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13306
/proc/meminfo: memFree=671608/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=181252 CPUtime=160.74
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 44226 0 0 0 15169 905 0 0 25 0 2 0 20119990 185602048 26207 996147200 134512640 135105188 4294956096 18446744073709551615 134718105 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13304/statm: 45313 26207 199 144 0 44797 0
[pid=13304/tid=13306] ppid=13302 vsize=181252 CPUtime=0
/proc/13304/task/13306/stat : 13306 (bprolog) S 13302 13304 10765 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20121669 185602048 26207 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (KiB) 181252
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13306
/proc/meminfo: memFree=671608/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=181252 CPUtime=220.18
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 44226 0 0 0 21113 905 0 0 25 0 2 0 20119990 185602048 26207 996147200 134512640 135105188 4294956096 18446744073709551615 134748584 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13304/statm: 45313 26207 199 144 0 44797 0
[pid=13304/tid=13306] ppid=13302 vsize=181252 CPUtime=0
/proc/13304/task/13306/stat : 13306 (bprolog) S 13302 13304 10765 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20121669 185602048 26207 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 181252
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13306
/proc/meminfo: memFree=617976/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=181252 CPUtime=279.86
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 44226 0 0 0 27081 905 0 0 25 0 2 0 20119990 185602048 26207 996147200 134512640 135105188 4294956096 18446744073709551615 134749620 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13304/statm: 45313 26207 199 144 0 44797 0
[pid=13304/tid=13306] ppid=13302 vsize=181252 CPUtime=0
/proc/13304/task/13306/stat : 13306 (bprolog) S 13302 13304 10765 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20121669 185602048 26207 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.86
Current children cumulated vsize (KiB) 181252
[startup+342.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13306
/proc/meminfo: memFree=617912/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=181252 CPUtime=339.85
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 44227 0 0 0 33079 906 0 0 25 0 2 0 20119990 185602048 26208 996147200 134512640 135105188 4294956096 18446744073709551615 134718128 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13304/statm: 45313 26208 199 144 0 44797 0
[pid=13304/tid=13306] ppid=13302 vsize=181252 CPUtime=0
/proc/13304/task/13306/stat : 13306 (bprolog) S 13302 13304 10765 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20121669 185602048 26208 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.85
Current children cumulated vsize (KiB) 181252
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13306
/proc/meminfo: memFree=617784/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=181252 CPUtime=399.82
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 44227 0 0 0 39076 906 0 0 25 0 2 0 20119990 185602048 26208 996147200 134512640 135105188 4294956096 18446744073709551615 134749068 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13304/statm: 45313 26208 199 144 0 44797 0
[pid=13304/tid=13306] ppid=13302 vsize=181252 CPUtime=0
/proc/13304/task/13306/stat : 13306 (bprolog) S 13302 13304 10765 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20121669 185602048 26208 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.82
Current children cumulated vsize (KiB) 181252
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13306
/proc/meminfo: memFree=617656/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=181252 CPUtime=459.78
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 44227 0 0 0 45072 906 0 0 25 0 2 0 20119990 185602048 26208 996147200 134512640 135105188 4294956096 18446744073709551615 134749106 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13304/statm: 45313 26208 199 144 0 44797 0
[pid=13304/tid=13306] ppid=13302 vsize=181252 CPUtime=0
/proc/13304/task/13306/stat : 13306 (bprolog) S 13302 13304 10765 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20121669 185602048 26208 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 459.78
Current children cumulated vsize (KiB) 181252
[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13308
/proc/meminfo: memFree=617592/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=181252 CPUtime=519.76
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 44229 0 0 0 51070 906 0 0 25 0 2 0 20119990 185602048 26210 996147200 134512640 135105188 4294956096 18446744073709551615 134748450 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13304/statm: 45313 26210 199 144 0 44797 0
[pid=13304/tid=13306] ppid=13302 vsize=181252 CPUtime=0
/proc/13304/task/13306/stat : 13306 (bprolog) S 13302 13304 10765 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20121669 185602048 26210 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 519.76
Current children cumulated vsize (KiB) 181252
################
# More data... #
################
Current children cumulated vsize (KiB) 191496
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/87 13357
/proc/meminfo: memFree=670960/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=191496 CPUtime=1356.37
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 44230 0 0 0 134729 908 0 0 25 0 3 0 20119990 196091904 26211 996147200 134512640 135105188 4294956096 18446744073709551615 134748704 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13304/statm: 47874 26211 199 144 0 47358 0
[pid=13304/tid=13306] ppid=13302 vsize=191496 CPUtime=0
/proc/13304/task/13306/stat : 13306 (bprolog) S 13302 13304 10765 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 20121669 196091904 26211 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13304/tid=13309] ppid=13302 vsize=191496 CPUtime=0
/proc/13304/task/13309/stat : 13309 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 20211685 196091904 26211 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1356.37
Current children cumulated vsize (KiB) 191496
[startup+1422.3 s]
/proc/loadavg: 2.04 2.02 2.00 4/88 13358
/proc/meminfo: memFree=648744/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=201740 CPUtime=1415.81
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 44231 0 0 0 140673 908 0 0 25 0 4 0 20119990 206581760 26212 996147200 134512640 135105188 4294956096 18446744073709551615 134748642 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13304/statm: 50435 26212 199 144 0 49919 0
[pid=13304/tid=13306] ppid=13302 vsize=201740 CPUtime=0
/proc/13304/task/13306/stat : 13306 (bprolog) S 13302 13304 10765 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 20121669 206581760 26212 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13304/tid=13309] ppid=13302 vsize=201740 CPUtime=0
/proc/13304/task/13309/stat : 13309 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 20211685 206581760 26212 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13304/tid=13358] ppid=13302 vsize=201740 CPUtime=0
/proc/13304/task/13358/stat : 13358 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 20256696 206581760 26212 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1415.81
Current children cumulated vsize (KiB) 201740
[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/88 13358
/proc/meminfo: memFree=648680/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=201740 CPUtime=1475.24
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 44231 0 0 0 146616 908 0 0 25 0 4 0 20119990 206581760 26212 996147200 134512640 135105188 4294956096 18446744073709551615 134748671 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13304/statm: 50435 26212 199 144 0 49919 0
[pid=13304/tid=13306] ppid=13302 vsize=201740 CPUtime=0
/proc/13304/task/13306/stat : 13306 (bprolog) S 13302 13304 10765 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 20121669 206581760 26212 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13304/tid=13309] ppid=13302 vsize=201740 CPUtime=0
/proc/13304/task/13309/stat : 13309 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 20211685 206581760 26212 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13304/tid=13358] ppid=13302 vsize=201740 CPUtime=0
/proc/13304/task/13358/stat : 13358 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 20256696 206581760 26212 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.24
Current children cumulated vsize (KiB) 201740
[startup+1542.3 s]
/proc/loadavg: 2.18 2.06 2.01 3/88 13358
/proc/meminfo: memFree=648616/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=201740 CPUtime=1534.67
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 44231 0 0 0 152559 908 0 0 25 0 4 0 20119990 206581760 26212 996147200 134512640 135105188 4294956096 18446744073709551615 134717633 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13304/statm: 50435 26212 199 144 0 49919 0
[pid=13304/tid=13306] ppid=13302 vsize=201740 CPUtime=0
/proc/13304/task/13306/stat : 13306 (bprolog) S 13302 13304 10765 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 20121669 206581760 26212 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13304/tid=13309] ppid=13302 vsize=201740 CPUtime=0
/proc/13304/task/13309/stat : 13309 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 20211685 206581760 26212 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13304/tid=13358] ppid=13302 vsize=201740 CPUtime=0
/proc/13304/task/13358/stat : 13358 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 20256696 206581760 26212 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.67
Current children cumulated vsize (KiB) 201740
[startup+1602.3 s]
/proc/loadavg: 2.64 2.20 2.06 3/89 13359
/proc/meminfo: memFree=626016/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=211984 CPUtime=1594
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 44232 0 0 0 158492 908 0 0 25 0 5 0 20119990 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 134718165 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13304/statm: 52996 26213 199 144 0 52480 0
[pid=13304/tid=13306] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13306/stat : 13306 (bprolog) S 13302 13304 10765 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20121669 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13304/tid=13309] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13309/stat : 13309 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20211685 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13304/tid=13358] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13358/stat : 13358 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20256696 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13304/tid=13359] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13359/stat : 13359 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 20279200 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594
Current children cumulated vsize (KiB) 211984
[startup+1662.31 s]
/proc/loadavg: 2.28 2.18 2.06 3/89 13359
/proc/meminfo: memFree=625824/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=211984 CPUtime=1653.43
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 44232 0 0 0 164435 908 0 0 25 0 5 0 20119990 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 134748476 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13304/statm: 52996 26213 199 144 0 52480 0
[pid=13304/tid=13306] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13306/stat : 13306 (bprolog) S 13302 13304 10765 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20121669 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13304/tid=13309] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13309/stat : 13309 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20211685 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13304/tid=13358] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13358/stat : 13358 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20256696 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13304/tid=13359] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13359/stat : 13359 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 20279200 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1653.43
Current children cumulated vsize (KiB) 211984
[startup+1722.3 s]
/proc/loadavg: 2.11 2.14 2.05 3/89 13359
/proc/meminfo: memFree=625696/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=211984 CPUtime=1712.87
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 44232 0 0 0 170379 908 0 0 25 0 5 0 20119990 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 134748506 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13304/statm: 52996 26213 199 144 0 52480 0
[pid=13304/tid=13306] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13306/stat : 13306 (bprolog) S 13302 13304 10765 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20121669 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13304/tid=13309] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13309/stat : 13309 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20211685 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13304/tid=13358] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13358/stat : 13358 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20256696 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13304/tid=13359] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13359/stat : 13359 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20279200 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.87
Current children cumulated vsize (KiB) 211984
[startup+1782.3 s]
/proc/loadavg: 2.03 2.11 2.05 3/89 13359
/proc/meminfo: memFree=625632/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=211984 CPUtime=1772.29
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 44232 0 0 0 176321 908 0 0 25 0 5 0 20119990 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 134749117 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13304/statm: 52996 26213 199 144 0 52480 0
[pid=13304/tid=13306] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13306/stat : 13306 (bprolog) S 13302 13304 10765 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20121669 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13304/tid=13309] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13309/stat : 13309 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20211685 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13304/tid=13358] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13358/stat : 13358 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20256696 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13304/tid=13359] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13359/stat : 13359 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20279200 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.29
Current children cumulated vsize (KiB) 211984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.3 s]
/proc/loadavg: 2.02 2.10 2.04 3/89 13359
/proc/meminfo: memFree=625632/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=211984 CPUtime=1800.03
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 44232 0 0 0 179095 908 0 0 25 0 5 0 20119990 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 134748671 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13304/statm: 52996 26213 199 144 0 52480 0
[pid=13304/tid=13306] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13306/stat : 13306 (bprolog) S 13302 13304 10765 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20121669 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13304/tid=13309] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13309/stat : 13309 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20211685 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13304/tid=13358] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13358/stat : 13358 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20256696 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13304/tid=13359] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13359/stat : 13359 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20279200 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 211984
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1810.3 s]
/proc/loadavg: 2.02 2.10 2.04 3/89 13359
/proc/meminfo: memFree=625632/2055920 swapFree=4192956/4192956
[pid=13304] ppid=13302 vsize=211984 CPUtime=1800.03
/proc/13304/stat : 13304 (bprolog) R 13302 13304 10765 0 -1 4194304 44232 0 0 0 179095 908 0 0 25 0 5 0 20119990 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 134748671 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13304/statm: 52996 26213 199 144 0 52480 0
[pid=13304/tid=13306] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13306/stat : 13306 (bprolog) S 13302 13304 10765 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20121669 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13304/tid=13309] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13309/stat : 13309 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20211685 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13304/tid=13358] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13358/stat : 13358 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20256696 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=13304/tid=13359] ppid=13302 vsize=211984 CPUtime=0
/proc/13304/task/13359/stat : 13359 (bprolog) S 13302 13304 10765 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20279200 217071616 26213 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 211984
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1810.33
CPU time (s): 1800.07
CPU user time (s): 1790.97
CPU system time (s): 9.09962
CPU usage (%): 99.4329
Max. virtual memory (cumulated for all children) (KiB): 211984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.97
system time used= 9.09962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44232
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= 12
involuntary context switches= 42324
runsolver used 2.52562 second user time and 5.70013 second system time
The end
Begin job on node45 at 2009-07-11 18:42:42
IDJOB=2063154
IDBENCH=53975
IDSOLVER=770
FILE ID=node45/2063154-1247330562
PBS_JOBID= 9506537
Free space on /tmp= 66356 MiB
SOLVER NAME= bpsolver 09
BENCH NAME= CPAI08/csp/rand-3-24-24/normalized-rand-3-24-24-76-632-16_ext.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2063154-1247330562/watcher-2063154-1247330562 -o /tmp/evaluation-result-2063154-1247330562/solver-2063154-1247330562 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2063154-1247330562 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f8619328dd0d9767693064be671e81d6
RANDOM SEED=1522619905
node45.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.281
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.281
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: 780840 kB
Buffers: 59292 kB
Cached: 947788 kB
SwapCached: 0 kB
Active: 310808 kB
Inactive: 890576 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 780840 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 4216 kB
Writeback: 0 kB
Mapped: 209940 kB
Slab: 58640 kB
Committed_AS: 846220 kB
PageTables: 2092 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= 66348 MiB
End job on node45 at 2009-07-11 19:12:54