0.19/0.20 c bpsolver version 6.29.2009
0.19/0.20 c converting(HOME/instance-2063088-1247330007)
11.39/11.43 c Converted in 3407 ms
14.89/14.99 c solving(HOME/instance-2063088-1247330007,1800000)
14.89/14.99 c solving(HOME/instance-2063088-1247330007,1800000)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2063088-1247330007/watcher-2063088-1247330007 -o /tmp/evaluation-result-2063088-1247330007/solver-2063088-1247330007 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2063088-1247330007 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.92 1.98 1.99 4/74 13122
/proc/meminfo: memFree=1617552/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=7000 CPUtime=0
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 630 0 0 0 0 0 0 0 18 0 1 0 20066357 7168000 348 996147200 134512640 135105188 4294956096 18446744073709551615 134530912 0 0 4096 0 0 0 0 17 0 0 0
/proc/13122/statm: 1750 357 72 144 0 1234 0
[startup+0.00783997 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 13122
/proc/meminfo: memFree=1617552/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=62200 CPUtime=0
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 880 0 0 0 0 0 0 0 18 0 1 0 20066357 63692800 596 996147200 134512640 135105188 4294956096 18446744073709551615 134557234 0 0 4096 2 0 0 0 17 0 0 0
/proc/13122/statm: 15550 597 127 144 0 15034 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 62200
[startup+0.101849 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 13122
/proc/meminfo: memFree=1617552/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=62208 CPUtime=0.09
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 1104 0 0 0 3 6 0 0 18 0 1 0 20066357 63700992 817 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/13122/statm: 15552 817 174 144 0 15036 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 62208
[startup+0.301871 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 13122
/proc/meminfo: memFree=1617552/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=62208 CPUtime=0.29
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 1116 0 0 0 10 19 0 0 19 0 1 0 20066357 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/13122/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62208
[startup+0.701911 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 13122
/proc/meminfo: memFree=1617552/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=62208 CPUtime=0.7
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 1116 0 0 0 21 49 0 0 23 0 1 0 20066357 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/13122/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 62208
[startup+1.50199 s]
/proc/loadavg: 1.92 1.98 1.99 3/75 13123
/proc/meminfo: memFree=1614536/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=62208 CPUtime=1.49
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 1116 0 0 0 42 107 0 0 25 0 1 0 20066357 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/13122/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62208
[startup+3.10116 s]
/proc/loadavg: 1.92 1.98 1.99 3/75 13123
/proc/meminfo: memFree=1614024/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=62208 CPUtime=3.09
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 1116 0 0 0 88 221 0 0 25 0 1 0 20066357 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/13122/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 62208
[startup+6.3015 s]
/proc/loadavg: 2.09 2.02 2.01 3/75 13123
/proc/meminfo: memFree=1612744/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=62208 CPUtime=6.29
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 1117 0 0 0 185 444 0 0 25 0 1 0 20066357 63700992 830 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/13122/statm: 15552 830 176 144 0 15036 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62208
[startup+12.7012 s]
/proc/loadavg: 2.08 2.02 2.00 3/75 13123
/proc/meminfo: memFree=1568904/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=101272 CPUtime=12.68
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 17852 0 0 0 461 807 0 0 25 0 1 0 20066357 103702528 17431 996147200 134512640 135105188 4294956096 18446744073709551615 135073136 0 0 4096 2 0 0 0 17 0 0 0
/proc/13122/statm: 25318 17431 180 144 0 24802 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 101272
[startup+25.5015 s]
/proc/loadavg: 2.06 2.01 2.00 3/76 13124
/proc/meminfo: memFree=1510592/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=181088 CPUtime=25.48
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 43831 0 0 0 1731 817 0 0 25 0 2 0 20066357 185434112 25812 996147200 134512640 135105188 4294956096 18446744073709551615 134718105 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13122/statm: 45272 25812 199 144 0 44756 0
[pid=13122/tid=13124] ppid=13120 vsize=181088 CPUtime=0
/proc/13122/task/13124/stat : 13124 (bprolog) S 13120 13122 11838 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20067869 185434112 25812 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 181088
[startup+51.1012 s]
/proc/loadavg: 2.04 2.01 2.00 3/76 13124
/proc/meminfo: memFree=1510528/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=181088 CPUtime=51.06
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 43832 0 0 0 4289 817 0 0 25 0 2 0 20066357 185434112 25813 996147200 134512640 135105188 4294956096 18446744073709551615 134718105 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13122/statm: 45272 25813 199 144 0 44756 0
[pid=13122/tid=13124] ppid=13120 vsize=181088 CPUtime=0
/proc/13122/task/13124/stat : 13124 (bprolog) S 13120 13122 11838 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20067869 185434112 25813 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) 181088
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/77 13125
/proc/meminfo: memFree=1510328/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=181088 CPUtime=102.24
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 43832 0 0 0 9407 817 0 0 25 0 2 0 20066357 185434112 25813 996147200 134512640 135105188 4294956096 18446744073709551615 134748704 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13122/statm: 45272 25813 199 144 0 44756 0
[pid=13122/tid=13124] ppid=13120 vsize=181088 CPUtime=0
/proc/13122/task/13124/stat : 13124 (bprolog) S 13120 13122 11838 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20067869 185434112 25813 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) 181088
[startup+162.302 s]
/proc/loadavg: 2.08 2.03 2.01 3/75 13153
/proc/meminfo: memFree=1504400/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=181088 CPUtime=162.19
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 43833 0 0 0 15401 818 0 0 25 0 2 0 20066357 185434112 25814 996147200 134512640 135105188 4294956096 18446744073709551615 134749266 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13122/statm: 45272 25814 199 144 0 44756 0
[pid=13122/tid=13124] ppid=13120 vsize=181088 CPUtime=0
/proc/13122/task/13124/stat : 13124 (bprolog) S 13120 13122 11838 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20067869 185434112 25814 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 181088
[startup+222.301 s]
/proc/loadavg: 2.14 2.05 2.01 3/75 13153
/proc/meminfo: memFree=1504464/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=181088 CPUtime=222.16
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 43835 0 0 0 21398 818 0 0 25 0 2 0 20066357 185434112 25816 996147200 134512640 135105188 4294956096 18446744073709551615 134749266 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13122/statm: 45272 25816 199 144 0 44756 0
[pid=13122/tid=13124] ppid=13120 vsize=181088 CPUtime=0
/proc/13122/task/13124/stat : 13124 (bprolog) S 13120 13122 11838 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20067869 185434112 25816 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 181088
[startup+282.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/75 13153
/proc/meminfo: memFree=1504464/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=181088 CPUtime=282.14
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 43835 0 0 0 27396 818 0 0 25 0 2 0 20066357 185434112 25816 996147200 134512640 135105188 4294956096 18446744073709551615 134748808 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13122/statm: 45272 25816 199 144 0 44756 0
[pid=13122/tid=13124] ppid=13120 vsize=181088 CPUtime=0
/proc/13122/task/13124/stat : 13124 (bprolog) S 13120 13122 11838 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20067869 185434112 25816 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 181088
[startup+342.302 s]
/proc/loadavg: 2.02 2.03 2.00 3/75 13153
/proc/meminfo: memFree=1504400/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=181088 CPUtime=342.11
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 43835 0 0 0 33393 818 0 0 25 0 2 0 20066357 185434112 25816 996147200 134512640 135105188 4294956096 18446744073709551615 134749627 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13122/statm: 45272 25816 199 144 0 44756 0
[pid=13122/tid=13124] ppid=13120 vsize=181088 CPUtime=0
/proc/13122/task/13124/stat : 13124 (bprolog) S 13120 13122 11838 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20067869 185434112 25816 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 181088
[startup+402.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/75 13153
/proc/meminfo: memFree=1504400/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=181088 CPUtime=402.09
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 43835 0 0 0 39391 818 0 0 25 0 2 0 20066357 185434112 25816 996147200 134512640 135105188 4294956096 18446744073709551615 134749863 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13122/statm: 45272 25816 199 144 0 44756 0
[pid=13122/tid=13124] ppid=13120 vsize=181088 CPUtime=0
/proc/13122/task/13124/stat : 13124 (bprolog) S 13120 13122 11838 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20067869 185434112 25816 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 181088
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/75 13153
/proc/meminfo: memFree=1504400/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=181088 CPUtime=462.06
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 43835 0 0 0 45388 818 0 0 25 0 2 0 20066357 185434112 25816 996147200 134512640 135105188 4294956096 18446744073709551615 134748476 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13122/statm: 45272 25816 199 144 0 44756 0
[pid=13122/tid=13124] ppid=13120 vsize=181088 CPUtime=0
/proc/13122/task/13124/stat : 13124 (bprolog) S 13120 13122 11838 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20067869 185434112 25816 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 181088
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/75 13153
/proc/meminfo: memFree=1504464/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=181088 CPUtime=522.04
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 43835 0 0 0 51386 818 0 0 25 0 2 0 20066357 185434112 25816 996147200 134512640 135105188 4294956096 18446744073709551615 134718139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13122/statm: 45272 25816 199 144 0 44756 0
[pid=13122/tid=13124] ppid=13120 vsize=181088 CPUtime=0
/proc/13122/task/13124/stat : 13124 (bprolog) S 13120 13122 11838 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 20067869 185434112 25816 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 181088
################
# More data... #
################
Current children cumulated vsize (KiB) 191332
[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/85 13197
/proc/meminfo: memFree=1481400/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=191332 CPUtime=1361.67
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 43836 0 0 0 135348 819 0 0 25 0 3 0 20066357 195923968 25817 996147200 134512640 135105188 4294956096 18446744073709551615 134718145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13122/statm: 47833 25817 199 144 0 47317 0
[pid=13122/tid=13124] ppid=13120 vsize=191332 CPUtime=0
/proc/13122/task/13124/stat : 13124 (bprolog) S 13120 13122 11838 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 20067869 195923968 25817 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13154] ppid=13120 vsize=191332 CPUtime=0
/proc/13122/task/13154/stat : 13154 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 20157886 195923968 25817 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1361.67
Current children cumulated vsize (KiB) 191332
[startup+1422.31 s]
/proc/loadavg: 2.39 2.12 2.04 3/86 13198
/proc/meminfo: memFree=1478576/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=201576 CPUtime=1421.64
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 43837 0 0 0 141345 819 0 0 25 0 4 0 20066357 206413824 25818 996147200 134512640 135105188 4294956096 18446744073709551615 134748443 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13122/statm: 50394 25818 199 144 0 49878 0
[pid=13122/tid=13124] ppid=13120 vsize=201576 CPUtime=0
/proc/13122/task/13124/stat : 13124 (bprolog) S 13120 13122 11838 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 20067869 206413824 25818 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13154] ppid=13120 vsize=201576 CPUtime=0
/proc/13122/task/13154/stat : 13154 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 20157886 206413824 25818 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13198] ppid=13120 vsize=201576 CPUtime=0
/proc/13122/task/13198/stat : 13198 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 20202894 206413824 25818 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1421.64
Current children cumulated vsize (KiB) 201576
[startup+1482.3 s]
/proc/loadavg: 2.30 2.15 2.05 3/86 13198
/proc/meminfo: memFree=1475760/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=201576 CPUtime=1481.62
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 43837 0 0 0 147342 820 0 0 25 0 4 0 20066357 206413824 25818 996147200 134512640 135105188 4294956096 18446744073709551615 134748487 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13122/statm: 50394 25818 199 144 0 49878 0
[pid=13122/tid=13124] ppid=13120 vsize=201576 CPUtime=0
/proc/13122/task/13124/stat : 13124 (bprolog) S 13120 13122 11838 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 20067869 206413824 25818 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13154] ppid=13120 vsize=201576 CPUtime=0
/proc/13122/task/13154/stat : 13154 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 20157886 206413824 25818 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13198] ppid=13120 vsize=201576 CPUtime=0
/proc/13122/task/13198/stat : 13198 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 20202894 206413824 25818 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.62
Current children cumulated vsize (KiB) 201576
[startup+1542.3 s]
/proc/loadavg: 2.11 2.12 2.05 3/86 13198
/proc/meminfo: memFree=1474608/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=201576 CPUtime=1541.6
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 43837 0 0 0 153340 820 0 0 25 0 4 0 20066357 206413824 25818 996147200 134512640 135105188 4294956096 18446744073709551615 134748704 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13122/statm: 50394 25818 199 144 0 49878 0
[pid=13122/tid=13124] ppid=13120 vsize=201576 CPUtime=0
/proc/13122/task/13124/stat : 13124 (bprolog) S 13120 13122 11838 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 20067869 206413824 25818 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13154] ppid=13120 vsize=201576 CPUtime=0
/proc/13122/task/13154/stat : 13154 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 20157886 206413824 25818 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13198] ppid=13120 vsize=201576 CPUtime=0
/proc/13122/task/13198/stat : 13198 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 20202894 206413824 25818 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 201576
[startup+1602.3 s]
/proc/loadavg: 2.04 2.10 2.04 3/87 13199
/proc/meminfo: memFree=1474600/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=211820 CPUtime=1601.57
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 43838 0 0 0 159337 820 0 0 25 0 5 0 20066357 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 134748668 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13122/statm: 52955 25819 199 144 0 52439 0
[pid=13122/tid=13124] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13124/stat : 13124 (bprolog) S 13120 13122 11838 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20067869 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13154] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13154/stat : 13154 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20157886 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13198] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13198/stat : 13198 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20202894 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13199] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13199/stat : 13199 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 20225402 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.57
Current children cumulated vsize (KiB) 211820
[startup+1662.3 s]
/proc/loadavg: 2.01 2.08 2.03 3/87 13205
/proc/meminfo: memFree=1474344/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=211820 CPUtime=1661.53
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 43838 0 0 0 165333 820 0 0 25 0 5 0 20066357 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 134748704 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13122/statm: 52955 25819 199 144 0 52439 0
[pid=13122/tid=13124] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13124/stat : 13124 (bprolog) S 13120 13122 11838 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20067869 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13154] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13154/stat : 13154 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20157886 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13198] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13198/stat : 13198 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20202894 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13199] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13199/stat : 13199 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 20225402 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.53
Current children cumulated vsize (KiB) 211820
[startup+1722.3 s]
/proc/loadavg: 2.00 2.06 2.03 3/87 13205
/proc/meminfo: memFree=1473896/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=211820 CPUtime=1721.51
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 43838 0 0 0 171331 820 0 0 25 0 5 0 20066357 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 134748652 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13122/statm: 52955 25819 199 144 0 52439 0
[pid=13122/tid=13124] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13124/stat : 13124 (bprolog) S 13120 13122 11838 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20067869 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13154] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13154/stat : 13154 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20157886 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13198] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13198/stat : 13198 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20202894 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13199] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13199/stat : 13199 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20225402 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.51
Current children cumulated vsize (KiB) 211820
[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/87 13205
/proc/meminfo: memFree=1473768/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=211820 CPUtime=1781.48
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 43838 0 0 0 177328 820 0 0 25 0 5 0 20066357 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 134718099 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13122/statm: 52955 25819 199 144 0 52439 0
[pid=13122/tid=13124] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13124/stat : 13124 (bprolog) S 13120 13122 11838 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20067869 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13154] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13154/stat : 13154 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20157886 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13198] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13198/stat : 13198 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20202894 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13199] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13199/stat : 13199 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20225402 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (KiB) 211820
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.00 2.04 2.02 3/87 13205
/proc/meminfo: memFree=1473768/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=211820 CPUtime=1800.07
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 43838 0 0 0 179187 820 0 0 25 0 5 0 20066357 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 134718139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13122/statm: 52955 25819 199 144 0 52439 0
[pid=13122/tid=13124] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13124/stat : 13124 (bprolog) S 13120 13122 11838 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20067869 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13154] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13154/stat : 13154 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20157886 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13198] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13198/stat : 13198 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20202894 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13199] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13199/stat : 13199 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20225402 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 211820
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 2.00 2.04 2.02 3/87 13205
/proc/meminfo: memFree=1473768/2055920 swapFree=4192956/4192956
[pid=13122] ppid=13120 vsize=211820 CPUtime=1800.07
/proc/13122/stat : 13122 (bprolog) R 13120 13122 11838 0 -1 4194304 43838 0 0 0 179187 820 0 0 25 0 5 0 20066357 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 134718139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13122/statm: 52955 25819 199 144 0 52439 0
[pid=13122/tid=13124] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13124/stat : 13124 (bprolog) S 13120 13122 11838 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 20067869 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13154] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13154/stat : 13154 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20157886 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13198] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13198/stat : 13198 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20202894 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13122/tid=13199] ppid=13120 vsize=211820 CPUtime=0
/proc/13122/task/13199/stat : 13199 (bprolog) S 13120 13122 11838 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 20225402 216903680 25819 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 211820
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.93
CPU time (s): 1800.11
CPU user time (s): 1791.89
CPU system time (s): 8.22575
CPU usage (%): 99.9547
Max. virtual memory (cumulated for all children) (KiB): 211820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.89
system time used= 8.22575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43838
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= 7683
runsolver used 1.44878 second user time and 5.2522 second system time
The end
Begin job on node79 at 2009-07-11 18:33:28
IDJOB=2063088
IDBENCH=53958
IDSOLVER=770
FILE ID=node79/2063088-1247330007
PBS_JOBID= 9506475
Free space on /tmp= 66256 MiB
SOLVER NAME= bpsolver 09
BENCH NAME= CPAI08/csp/rand-3-24-24/normalized-rand-3-24-24-76-632-49_ext.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2063088-1247330007/watcher-2063088-1247330007 -o /tmp/evaluation-result-2063088-1247330007/solver-2063088-1247330007 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2063088-1247330007 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3af7865e03c5616a46813a828865f306
RANDOM SEED=1725354609
node79.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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1618032 kB
Buffers: 39340 kB
Cached: 312084 kB
SwapCached: 0 kB
Active: 77520 kB
Inactive: 294608 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1618032 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 4060 kB
Writeback: 0 kB
Mapped: 31296 kB
Slab: 51148 kB
Committed_AS: 221380 kB
PageTables: 1756 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= 66248 MiB
End job on node79 at 2009-07-11 19:03:31