0.20/0.20 c bpsolver version 6.29.2009
0.20/0.20 c converting(HOME/instance-2077388-1247364643)
8.79/8.80 c Converted in 2784 ms
10.68/10.78 c solving(HOME/instance-2077388-1247364643,1800000)
10.68/10.78 c solving(HOME/instance-2077388-1247364643,1800000)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2077388-1247364643/watcher-2077388-1247364643 -o /tmp/evaluation-result-2077388-1247364643/solver-2077388-1247364643 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2077388-1247364643 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: 1.94 2.00 1.99 4/81 21339
/proc/meminfo: memFree=1701728/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=7000 CPUtime=0
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 663 0 0 0 0 0 0 0 18 0 1 0 23529298 7168000 381 996147200 134512640 135105188 4294956096 18446744073709551615 134530912 0 0 4096 0 0 0 0 17 0 0 0
/proc/21339/statm: 1750 389 72 144 0 1234 0
[startup+0.00860694 s]
/proc/loadavg: 1.94 2.00 1.99 4/81 21339
/proc/meminfo: memFree=1701728/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=62200 CPUtime=0
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 894 0 0 0 0 0 0 0 18 0 1 0 23529298 63692800 610 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/21339/statm: 15550 611 130 144 0 15034 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 62200
[startup+0.101622 s]
/proc/loadavg: 1.94 2.00 1.99 4/81 21339
/proc/meminfo: memFree=1701728/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=62208 CPUtime=0.09
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 1112 0 0 0 3 6 0 0 18 0 1 0 23529298 63700992 825 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/21339/statm: 15552 825 174 144 0 15036 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 62208
[startup+0.301657 s]
/proc/loadavg: 1.94 2.00 1.99 4/81 21339
/proc/meminfo: memFree=1701728/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=62208 CPUtime=0.29
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 1139 0 0 0 9 20 0 0 19 0 1 0 23529298 63700992 852 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/21339/statm: 15552 852 174 144 0 15036 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62208
[startup+0.70173 s]
/proc/loadavg: 1.94 2.00 1.99 4/81 21339
/proc/meminfo: memFree=1701728/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=62208 CPUtime=0.69
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 1193 0 0 0 22 47 0 0 23 0 1 0 23529298 63700992 906 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/21339/statm: 15552 906 174 144 0 15036 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62208
[startup+1.50188 s]
/proc/loadavg: 1.94 2.00 1.99 3/82 21340
/proc/meminfo: memFree=1698072/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=62208 CPUtime=1.49
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 1301 0 0 0 47 102 0 0 25 0 1 0 23529298 63700992 1014 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/21339/statm: 15552 1014 174 144 0 15036 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62208
[startup+3.10118 s]
/proc/loadavg: 1.94 2.00 1.99 3/82 21340
/proc/meminfo: memFree=1696984/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=62208 CPUtime=3.09
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 1518 0 0 0 97 212 0 0 25 0 1 0 23529298 63700992 1231 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/21339/statm: 15552 1231 174 144 0 15036 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 62208
[startup+6.30178 s]
/proc/loadavg: 1.94 2.00 1.99 3/82 21340
/proc/meminfo: memFree=1694040/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=62208 CPUtime=6.28
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 1845 0 0 0 199 429 0 0 25 0 1 0 23529298 63700992 1558 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/21339/statm: 15552 1558 176 144 0 15036 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 62208
[startup+12.702 s]
/proc/loadavg: 1.95 2.00 1.99 3/83 21341
/proc/meminfo: memFree=1618072/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=136576 CPUtime=12.68
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29967 0 0 0 654 614 0 0 25 0 2 0 23529298 139853824 20212 996147200 134512640 135105188 4294956096 18446744073709551615 134748550 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21339/statm: 34144 20212 199 144 0 33628 0
[pid=21339/tid=21341] ppid=21337 vsize=136576 CPUtime=0
/proc/21339/task/21341/stat : 21341 (bprolog) S 21337 21339 19891 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23530446 139853824 20212 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 136576
[startup+25.5014 s]
/proc/loadavg: 1.96 2.00 1.99 3/83 21341
/proc/meminfo: memFree=1618072/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=136576 CPUtime=25.47
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29979 0 0 0 1933 614 0 0 25 0 2 0 23529298 139853824 20224 996147200 134512640 135105188 4294956096 18446744073709551615 134748506 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21339/statm: 34144 20224 199 144 0 33628 0
[pid=21339/tid=21341] ppid=21337 vsize=136576 CPUtime=0
/proc/21339/task/21341/stat : 21341 (bprolog) S 21337 21339 19891 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23530446 139853824 20224 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 136576
[startup+51.1011 s]
/proc/loadavg: 1.97 2.00 1.99 3/83 21341
/proc/meminfo: memFree=1618008/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=136576 CPUtime=51.06
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29980 0 0 0 4492 614 0 0 25 0 2 0 23529298 139853824 20225 996147200 134512640 135105188 4294956096 18446744073709551615 134748791 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21339/statm: 34144 20225 199 144 0 33628 0
[pid=21339/tid=21341] ppid=21337 vsize=136576 CPUtime=0
/proc/21339/task/21341/stat : 21341 (bprolog) S 21337 21339 19891 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23530446 139853824 20225 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 136576
[startup+102.307 s]
/proc/loadavg: 1.99 2.00 1.99 4/83 21341
/proc/meminfo: memFree=1617944/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=136576 CPUtime=102.24
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29982 0 0 0 9610 614 0 0 25 0 2 0 23529298 139853824 20227 996147200 134512640 135105188 4294956096 18446744073709551615 134718113 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21339/statm: 34144 20227 199 144 0 33628 0
[pid=21339/tid=21341] ppid=21337 vsize=136576 CPUtime=0
/proc/21339/task/21341/stat : 21341 (bprolog) S 21337 21339 19891 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23530446 139853824 20227 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 136576
[startup+162.302 s]
/proc/loadavg: 1.99 2.00 1.99 3/83 21341
/proc/meminfo: memFree=1617880/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=136576 CPUtime=162.22
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29985 0 0 0 15607 615 0 0 25 0 2 0 23529298 139853824 20230 996147200 134512640 135105188 4294956096 18446744073709551615 134748532 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21339/statm: 34144 20230 199 144 0 33628 0
[pid=21339/tid=21341] ppid=21337 vsize=136576 CPUtime=0
/proc/21339/task/21341/stat : 21341 (bprolog) S 21337 21339 19891 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23530446 139853824 20230 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 136576
[startup+222.303 s]
/proc/loadavg: 1.99 2.00 1.99 3/83 21341
/proc/meminfo: memFree=1617880/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=136576 CPUtime=222.19
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29985 0 0 0 21604 615 0 0 25 0 2 0 23529298 139853824 20230 996147200 134512640 135105188 4294956096 18446744073709551615 134748532 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21339/statm: 34144 20230 199 144 0 33628 0
[pid=21339/tid=21341] ppid=21337 vsize=136576 CPUtime=0
/proc/21339/task/21341/stat : 21341 (bprolog) S 21337 21339 19891 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23530446 139853824 20230 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 136576
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/83 21341
/proc/meminfo: memFree=1617880/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=136576 CPUtime=282.16
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29985 0 0 0 27601 615 0 0 25 0 2 0 23529298 139853824 20230 996147200 134512640 135105188 4294956096 18446744073709551615 134748383 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21339/statm: 34144 20230 199 144 0 33628 0
[pid=21339/tid=21341] ppid=21337 vsize=136576 CPUtime=0
/proc/21339/task/21341/stat : 21341 (bprolog) S 21337 21339 19891 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23530446 139853824 20230 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 136576
[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/83 21341
/proc/meminfo: memFree=1617880/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=136576 CPUtime=342.14
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29985 0 0 0 33599 615 0 0 25 0 2 0 23529298 139853824 20230 996147200 134512640 135105188 4294956096 18446744073709551615 134748449 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21339/statm: 34144 20230 199 144 0 33628 0
[pid=21339/tid=21341] ppid=21337 vsize=136576 CPUtime=0
/proc/21339/task/21341/stat : 21341 (bprolog) S 21337 21339 19891 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23530446 139853824 20230 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 136576
[startup+402.302 s]
/proc/loadavg: 1.99 2.00 1.99 3/83 21341
/proc/meminfo: memFree=1617880/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=136576 CPUtime=402.11
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29985 0 0 0 39596 615 0 0 25 0 2 0 23529298 139853824 20230 996147200 134512640 135105188 4294956096 18446744073709551615 134748487 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21339/statm: 34144 20230 199 144 0 33628 0
[pid=21339/tid=21341] ppid=21337 vsize=136576 CPUtime=0
/proc/21339/task/21341/stat : 21341 (bprolog) S 21337 21339 19891 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23530446 139853824 20230 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 136576
[startup+462.302 s]
/proc/loadavg: 1.99 2.00 1.99 3/83 21341
/proc/meminfo: memFree=1617816/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=136576 CPUtime=462.08
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29987 0 0 0 45593 615 0 0 25 0 2 0 23529298 139853824 20232 996147200 134512640 135105188 4294956096 18446744073709551615 134748476 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21339/statm: 34144 20232 199 144 0 33628 0
[pid=21339/tid=21341] ppid=21337 vsize=136576 CPUtime=0
/proc/21339/task/21341/stat : 21341 (bprolog) S 21337 21339 19891 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23530446 139853824 20232 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 136576
[startup+522.302 s]
/proc/loadavg: 1.99 2.00 1.99 3/83 21341
/proc/meminfo: memFree=1617816/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=136576 CPUtime=522.06
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29987 0 0 0 51591 615 0 0 25 0 2 0 23529298 139853824 20232 996147200 134512640 135105188 4294956096 18446744073709551615 134748506 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21339/statm: 34144 20232 199 144 0 33628 0
[pid=21339/tid=21341] ppid=21337 vsize=136576 CPUtime=0
/proc/21339/task/21341/stat : 21341 (bprolog) S 21337 21339 19891 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23530446 139853824 20232 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1200.54
Current children cumulated vsize (KiB) 146820
[startup+1302.3 s]
/proc/loadavg: 2.01 2.41 2.32 3/86 24085
/proc/meminfo: memFree=1659728/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=146820 CPUtime=1260.53
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29988 0 0 0 125409 644 0 0 25 0 3 0 23529298 150343680 20233 996147200 134512640 135105188 4294956096 18446744073709551615 134748482 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21339/statm: 36705 20233 199 144 0 36189 0
[pid=21339/tid=21341] ppid=21337 vsize=146820 CPUtime=0
/proc/21339/task/21341/stat : 21341 (bprolog) S 21337 21339 19891 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23530446 150343680 20233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=9070] ppid=21337 vsize=146820 CPUtime=0
/proc/21339/task/9070/stat : 9070 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 23620460 150343680 20233 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1260.53
Current children cumulated vsize (KiB) 146820
[startup+1362.3 s]
/proc/loadavg: 2.00 2.33 2.29 4/87 24086
/proc/meminfo: memFree=1659656/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=157064 CPUtime=1320.5
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29989 0 0 0 131406 644 0 0 25 0 4 0 23529298 160833536 20234 996147200 134512640 135105188 4294956096 18446744073709551615 134748443 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21339/statm: 39266 20234 199 144 0 38750 0
[pid=21339/tid=21341] ppid=21337 vsize=157064 CPUtime=0
/proc/21339/task/21341/stat : 21341 (bprolog) S 21337 21339 19891 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 23530446 160833536 20234 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=9070] ppid=21337 vsize=157064 CPUtime=0
/proc/21339/task/9070/stat : 9070 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 23620460 160833536 20234 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=24086] ppid=21337 vsize=157064 CPUtime=0
/proc/21339/task/24086/stat : 24086 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 23665467 160833536 20234 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1320.5
Current children cumulated vsize (KiB) 157064
[startup+1422.31 s]
/proc/loadavg: 2.00 2.27 2.27 3/87 24086
/proc/meminfo: memFree=1659656/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=157064 CPUtime=1380.47
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29989 0 0 0 137403 644 0 0 25 0 4 0 23529298 160833536 20234 996147200 134512640 135105188 4294956096 18446744073709551615 134748322 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21339/statm: 39266 20234 199 144 0 38750 0
[pid=21339/tid=21341] ppid=21337 vsize=157064 CPUtime=0
/proc/21339/task/21341/stat : 21341 (bprolog) S 21337 21339 19891 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 23530446 160833536 20234 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=9070] ppid=21337 vsize=157064 CPUtime=0
/proc/21339/task/9070/stat : 9070 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 23620460 160833536 20234 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=24086] ppid=21337 vsize=157064 CPUtime=0
/proc/21339/task/24086/stat : 24086 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 23665467 160833536 20234 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1380.47
Current children cumulated vsize (KiB) 157064
[startup+1482.3 s]
/proc/loadavg: 2.00 2.22 2.25 3/87 24086
/proc/meminfo: memFree=1659656/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=157064 CPUtime=1440.44
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29989 0 0 0 143400 644 0 0 25 0 4 0 23529298 160833536 20234 996147200 134512640 135105188 4294956096 18446744073709551615 134718165 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21339/statm: 39266 20234 199 144 0 38750 0
[pid=21339/tid=21341] ppid=21337 vsize=157064 CPUtime=0
/proc/21339/task/21341/stat : 21341 (bprolog) S 21337 21339 19891 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 23530446 160833536 20234 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=9070] ppid=21337 vsize=157064 CPUtime=0
/proc/21339/task/9070/stat : 9070 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 23620460 160833536 20234 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=24086] ppid=21337 vsize=157064 CPUtime=0
/proc/21339/task/24086/stat : 24086 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 23665467 160833536 20234 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1440.44
Current children cumulated vsize (KiB) 157064
[startup+1542.3 s]
/proc/loadavg: 2.00 2.18 2.23 3/87 24086
/proc/meminfo: memFree=1659656/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=157064 CPUtime=1500.41
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29989 0 0 0 149397 644 0 0 25 0 4 0 23529298 160833536 20234 996147200 134512640 135105188 4294956096 18446744073709551615 134748447 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21339/statm: 39266 20234 199 144 0 38750 0
[pid=21339/tid=21341] ppid=21337 vsize=157064 CPUtime=0
/proc/21339/task/21341/stat : 21341 (bprolog) S 21337 21339 19891 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 23530446 160833536 20234 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=9070] ppid=21337 vsize=157064 CPUtime=0
/proc/21339/task/9070/stat : 9070 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 23620460 160833536 20234 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=24086] ppid=21337 vsize=157064 CPUtime=0
/proc/21339/task/24086/stat : 24086 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 23665467 160833536 20234 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1500.41
Current children cumulated vsize (KiB) 157064
[startup+1602.3 s]
/proc/loadavg: 2.00 2.14 2.22 3/88 24087
/proc/meminfo: memFree=1659648/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=167308 CPUtime=1560.39
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29990 0 0 0 155395 644 0 0 25 0 5 0 23529298 171323392 20235 996147200 134512640 135105188 4294956096 18446744073709551615 134748506 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21339/statm: 41827 20235 199 144 0 41311 0
[pid=21339/tid=21341] ppid=21337 vsize=167308 CPUtime=0
/proc/21339/task/21341/stat : 21341 (bprolog) S 21337 21339 19891 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23530446 171323392 20235 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=9070] ppid=21337 vsize=167308 CPUtime=0
/proc/21339/task/9070/stat : 9070 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23620460 171323392 20235 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=24086] ppid=21337 vsize=167308 CPUtime=0
/proc/21339/task/24086/stat : 24086 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23665467 171323392 20235 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=24087] ppid=21337 vsize=167308 CPUtime=0
/proc/21339/task/24087/stat : 24087 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 23687975 171323392 20235 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1560.39
Current children cumulated vsize (KiB) 167308
[startup+1662.3 s]
/proc/loadavg: 2.00 2.11 2.20 3/88 24087
/proc/meminfo: memFree=1659648/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=167308 CPUtime=1620.36
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29990 0 0 0 161392 644 0 0 25 0 5 0 23529298 171323392 20235 996147200 134512640 135105188 4294956096 18446744073709551615 134748411 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21339/statm: 41827 20235 199 144 0 41311 0
[pid=21339/tid=21341] ppid=21337 vsize=167308 CPUtime=0
/proc/21339/task/21341/stat : 21341 (bprolog) S 21337 21339 19891 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23530446 171323392 20235 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=9070] ppid=21337 vsize=167308 CPUtime=0
/proc/21339/task/9070/stat : 9070 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23620460 171323392 20235 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=24086] ppid=21337 vsize=167308 CPUtime=0
/proc/21339/task/24086/stat : 24086 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23665467 171323392 20235 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=24087] ppid=21337 vsize=167308 CPUtime=0
/proc/21339/task/24087/stat : 24087 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 23687975 171323392 20235 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1620.36
Current children cumulated vsize (KiB) 167308
[startup+1722.3 s]
/proc/loadavg: 2.00 2.09 2.18 3/88 24087
/proc/meminfo: memFree=1659648/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=167308 CPUtime=1680.33
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29990 0 0 0 167389 644 0 0 25 0 5 0 23529298 171323392 20235 996147200 134512640 135105188 4294956096 18446744073709551615 134748513 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21339/statm: 41827 20235 199 144 0 41311 0
[pid=21339/tid=21341] ppid=21337 vsize=167308 CPUtime=0
/proc/21339/task/21341/stat : 21341 (bprolog) S 21337 21339 19891 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23530446 171323392 20235 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=9070] ppid=21337 vsize=167308 CPUtime=0
/proc/21339/task/9070/stat : 9070 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23620460 171323392 20235 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=24086] ppid=21337 vsize=167308 CPUtime=0
/proc/21339/task/24086/stat : 24086 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23665467 171323392 20235 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=24087] ppid=21337 vsize=167308 CPUtime=0
/proc/21339/task/24087/stat : 24087 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23687975 171323392 20235 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1680.33
Current children cumulated vsize (KiB) 167308
[startup+1782.3 s]
/proc/loadavg: 2.00 2.07 2.17 3/88 24087
/proc/meminfo: memFree=1659456/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=167308 CPUtime=1740.31
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29990 0 0 0 173387 644 0 0 25 0 5 0 23529298 171323392 20235 996147200 134512640 135105188 4294956096 18446744073709551615 134748472 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21339/statm: 41827 20235 199 144 0 41311 0
[pid=21339/tid=21341] ppid=21337 vsize=167308 CPUtime=0
/proc/21339/task/21341/stat : 21341 (bprolog) S 21337 21339 19891 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23530446 171323392 20235 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=9070] ppid=21337 vsize=167308 CPUtime=0
/proc/21339/task/9070/stat : 9070 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23620460 171323392 20235 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=24086] ppid=21337 vsize=167308 CPUtime=0
/proc/21339/task/24086/stat : 24086 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23665467 171323392 20235 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=21339/tid=24087] ppid=21337 vsize=167308 CPUtime=0
/proc/21339/task/24087/stat : 24087 (bprolog) S 21337 21339 19891 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23687975 171323392 20235 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1740.31
Current children cumulated vsize (KiB) 167308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1842.1 s]
/proc/loadavg: 2.00 2.06 2.16 3/84 24087
/proc/meminfo: memFree=1659392/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=167308 CPUtime=1800.08
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29991 0 0 0 179364 644 0 0 25 0 1 0 23529298 171323392 20236 996147200 134512640 135105188 4294956096 18446744073709551615 134748487 0 0 4096 2 0 0 0 17 0 0 0
/proc/21339/statm: 41827 20236 200 144 0 41311 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 167308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1842.1 s]
/proc/loadavg: 2.00 2.06 2.16 3/84 24087
/proc/meminfo: memFree=1659392/2055920 swapFree=4192812/4192956
[pid=21339] ppid=21337 vsize=167308 CPUtime=1800.08
/proc/21339/stat : 21339 (bprolog) R 21337 21339 19891 0 -1 4194304 29991 0 0 0 179364 644 0 0 25 0 1 0 23529298 171323392 20236 996147200 134512640 135105188 4294956096 18446744073709551615 134748487 0 0 4096 2 0 0 0 17 0 0 0
/proc/21339/statm: 41827 20236 200 144 0 41311 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 167308
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1842.12
CPU time (s): 1800.1
CPU user time (s): 1793.64
CPU system time (s): 6.45902
CPU usage (%): 97.7191
Max. virtual memory (cumulated for all children) (KiB): 167308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.64
system time used= 6.45902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29991
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= 27294
runsolver used 1.9587 second user time and 5.11322 second system time
The end
Begin job on node82 at 2009-07-12 04:10:43
IDJOB=2077388
IDBENCH=56589
IDSOLVER=770
FILE ID=node82/2077388-1247364643
PBS_JOBID= 9506983
Free space on /tmp= 66184 MiB
SOLVER NAME= bpsolver 09
BENCH NAME= CPAI08/csp/ogdVg/normalized-crossword-m1c-ogd-vg8-11_ext.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2077388-1247364643/watcher-2077388-1247364643 -o /tmp/evaluation-result-2077388-1247364643/solver-2077388-1247364643 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2077388-1247364643 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6156340813783c268b56280fd8ae95c0
RANDOM SEED=454095966
node82.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.265
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.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1702216 kB
Buffers: 35672 kB
Cached: 140924 kB
SwapCached: 0 kB
Active: 215792 kB
Inactive: 77520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1702216 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4028 kB
Writeback: 0 kB
Mapped: 132540 kB
Slab: 45496 kB
Committed_AS: 914572 kB
PageTables: 1980 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66184 MiB
End job on node82 at 2009-07-12 04:41:27