runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14936 MiB free)
memory of node 1: 16384 MiB (11854 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293714-1532349665/watcher-4293714-1532349665 -o /tmp/evaluation-result-4293714-1532349665/solver-4293714-1532349665 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532329499-11624 --watchdog 2580 BTD 3 2520 HOME/instance-4293714-1532349665.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15257, runsolver pid=15254
Current StackSize limit: 8192 KiB
[startup+0.100145 s]*
/proc/loadavg: 1.88 1.98 2.03 3/187 15258
/proc/meminfo: memFree=27431572/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=34820 memory=4708 CPUtime=0.1 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 1317 0 0 0 10 0 0 0 20 0 1 0 52529708 35655680 1177 33554432000 4194304 36388972 140727739626288 140727739626288 7657238 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 8705 1177 446 7861 0 809 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34820 KiB
Current children cumulated memory: 4708 KiB
[startup+0.209455 s]*
/proc/loadavg: 1.88 1.98 2.03 3/187 15258
/proc/meminfo: memFree=27428300/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=38156 memory=8128 CPUtime=0.21 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 2191 0 0 0 21 0 0 0 20 0 1 0 52529708 39071744 2032 33554432000 4194304 36388972 140727739626288 140727739626288 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9539 2032 501 7861 0 1643 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38156 KiB
Current children cumulated memory: 8128 KiB
[startup+0.309307 s]*
/proc/loadavg: 1.88 1.98 2.03 3/187 15258
/proc/meminfo: memFree=27428300/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=38156 memory=8128 CPUtime=0.31 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 2193 0 0 0 31 0 0 0 20 0 1 0 52529708 39071744 2032 33554432000 4194304 36388972 140727739626288 140727739626288 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9539 2032 501 7861 0 1643 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38156 KiB
Current children cumulated memory: 8128 KiB
[startup+0.700271 s]
/proc/loadavg: 1.88 1.98 2.03 3/187 15258
/proc/meminfo: memFree=27428300/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=38156 memory=8128 CPUtime=0.69 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 2209 0 0 0 68 1 0 0 20 0 1 0 52529708 39071744 2032 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9539 2032 501 7861 0 1643 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38156 KiB
Current children cumulated memory: 8128 KiB
[startup+1.50027 s]
/proc/loadavg: 1.88 1.98 2.03 3/187 15258
/proc/meminfo: memFree=27428096/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=38288 memory=8392 CPUtime=1.49 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 2235 0 0 0 147 2 0 0 20 0 1 0 52529708 39206912 2098 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9572 2098 502 7861 0 1676 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38288 KiB
Current children cumulated memory: 8392 KiB
[startup+3.10937 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 15258
/proc/meminfo: memFree=27413704/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=38420 memory=8480 CPUtime=3.1 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 3116 0 0 0 307 3 0 0 20 0 1 0 52529708 39342080 2120 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9605 2120 502 7861 0 1709 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 38420 KiB
Current children cumulated memory: 8480 KiB
[startup+6.30024 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 15258
/proc/meminfo: memFree=27427024/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=38552 memory=8624 CPUtime=6.29 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 4026 0 0 0 623 6 0 0 20 0 1 0 52529708 39477248 2156 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9638 2156 502 7861 0 1742 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 38552 KiB
Current children cumulated memory: 8624 KiB
[startup+12.7002 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 15258
/proc/meminfo: memFree=27427456/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=38684 memory=8720 CPUtime=12.69 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 4964 0 0 0 1257 12 0 0 20 0 1 0 52529708 39612416 2180 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9671 2180 502 7861 0 1775 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 38684 KiB
Current children cumulated memory: 8720 KiB
[startup+25.5002 s]
/proc/loadavg: 1.98 2.00 2.04 3/187 15258
/proc/meminfo: memFree=27426820/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=38816 memory=8940 CPUtime=25.48 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 6500 0 0 0 2524 24 0 0 20 0 1 0 52529708 39747584 2235 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9704 2235 502 7861 0 1808 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 38816 KiB
Current children cumulated memory: 8940 KiB
[startup+51.1002 s]*
/proc/loadavg: 1.99 2.00 2.04 3/187 15258
/proc/meminfo: memFree=27427060/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=38948 memory=9052 CPUtime=51.09 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 7135 0 0 0 5055 54 0 0 20 0 1 0 52529708 39882752 2263 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9737 2263 502 7861 0 1841 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 9052 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 15259
/proc/meminfo: memFree=27425788/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39080 memory=9152 CPUtime=102.28 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 7795 0 0 0 10120 108 0 0 20 0 1 0 52529708 40017920 2288 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9770 2288 502 7861 0 1874 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 39080 KiB
Current children cumulated memory: 9152 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 15260
/proc/meminfo: memFree=27425396/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39080 memory=9252 CPUtime=162.27 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 8465 0 0 0 16050 177 0 0 20 0 1 0 52529708 40017920 2313 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9770 2313 502 7861 0 1874 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 39080 KiB
Current children cumulated memory: 9252 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 15261
/proc/meminfo: memFree=27425396/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39212 memory=9320 CPUtime=222.27 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 9147 0 0 0 21987 240 0 0 20 0 1 0 52529708 40153088 2330 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9803 2330 502 7861 0 1907 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 39212 KiB
Current children cumulated memory: 9320 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 15262
/proc/meminfo: memFree=27424968/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39212 memory=9376 CPUtime=282.26 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 9844 0 0 0 27924 302 0 0 20 0 1 0 52529708 40153088 2344 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9803 2344 502 7861 0 1907 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 39212 KiB
Current children cumulated memory: 9376 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 15263
/proc/meminfo: memFree=27425044/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39344 memory=9436 CPUtime=342.26 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 10548 0 0 0 33854 372 0 0 20 0 1 0 52529708 40288256 2359 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9836 2359 502 7861 0 1940 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 39344 KiB
Current children cumulated memory: 9436 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 15264
/proc/meminfo: memFree=27424920/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39344 memory=9460 CPUtime=402.25 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 11257 0 0 0 39790 435 0 0 20 0 1 0 52529708 40288256 2365 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9836 2365 502 7861 0 1940 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 39344 KiB
Current children cumulated memory: 9460 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 15265
/proc/meminfo: memFree=27424176/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39344 memory=9500 CPUtime=462.24 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 11980 0 0 0 45725 499 0 0 20 0 1 0 52529708 40288256 2375 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9836 2375 502 7861 0 1940 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 39344 KiB
Current children cumulated memory: 9500 KiB
################
# More data... #
################
/proc/15257/statm: 9902 2447 502 7861 0 2006 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 39608 KiB
Current children cumulated memory: 9788 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15338
/proc/meminfo: memFree=27423376/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39608 memory=9808 CPUtime=1842.13 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 29484 0 0 0 182239 1974 0 0 20 0 1 0 52529708 40558592 2452 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9902 2452 502 7861 0 2006 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 39608 KiB
Current children cumulated memory: 9808 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15339
/proc/meminfo: memFree=27423072/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39608 memory=9808 CPUtime=1902.12 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 30271 0 0 0 188176 2036 0 0 20 0 1 0 52529708 40558592 2452 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9902 2452 502 7861 0 2006 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 39608 KiB
Current children cumulated memory: 9808 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15340
/proc/meminfo: memFree=27422700/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39608 memory=9808 CPUtime=1962.12 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 31058 0 0 0 194109 2103 0 0 20 0 1 0 52529708 40558592 2452 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9902 2452 502 7861 0 2006 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 39608 KiB
Current children cumulated memory: 9808 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15341
/proc/meminfo: memFree=27422816/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39608 memory=9808 CPUtime=2022.11 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 31853 0 0 0 200044 2167 0 0 20 0 1 0 52529708 40558592 2452 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9902 2452 502 7861 0 2006 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 39608 KiB
Current children cumulated memory: 9808 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15342
/proc/meminfo: memFree=27422804/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39608 memory=9824 CPUtime=2082.11 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 32644 0 0 0 205980 2231 0 0 20 0 1 0 52529708 40558592 2456 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9902 2456 502 7861 0 2006 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 39608 KiB
Current children cumulated memory: 9824 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15343
/proc/meminfo: memFree=27422508/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39608 memory=9824 CPUtime=2142.1 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 33435 0 0 0 211915 2295 0 0 20 0 1 0 52529708 40558592 2456 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9902 2456 502 7861 0 2006 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 39608 KiB
Current children cumulated memory: 9824 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15344
/proc/meminfo: memFree=27422448/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39740 memory=9824 CPUtime=2202.1 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 34235 0 0 0 217844 2366 0 0 20 0 1 0 52529708 40693760 2456 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9935 2456 502 7861 0 2039 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 39740 KiB
Current children cumulated memory: 9824 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15345
/proc/meminfo: memFree=27422448/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39740 memory=9844 CPUtime=2262.09 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 35028 0 0 0 223778 2431 0 0 20 0 1 0 52529708 40693760 2461 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9935 2461 502 7861 0 2039 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 39740 KiB
Current children cumulated memory: 9844 KiB
[startup+2322.3 s]
/proc/loadavg: 2.53 2.16 2.09 3/187 15346
/proc/meminfo: memFree=27422696/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39740 memory=9844 CPUtime=2322.09 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 35821 0 0 0 229710 2499 0 0 20 0 1 0 52529708 40693760 2461 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9935 2461 502 7861 0 2039 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 39740 KiB
Current children cumulated memory: 9844 KiB
[startup+2382.3 s]
/proc/loadavg: 2.19 2.13 2.09 3/188 15355
/proc/meminfo: memFree=27422628/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39740 memory=9844 CPUtime=2382.08 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 36612 0 0 0 235641 2567 0 0 20 0 1 0 52529708 40693760 2461 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9935 2461 502 7861 0 2039 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 39740 KiB
Current children cumulated memory: 9844 KiB
[startup+2442.3 s]
/proc/loadavg: 2.07 2.11 2.08 3/188 15356
/proc/meminfo: memFree=27421736/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39740 memory=9844 CPUtime=2442.08 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 37417 0 0 0 241578 2630 0 0 20 0 1 0 52529708 40693760 2461 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9935 2461 502 7861 0 2039 0
Current children cumulated CPU time: 2442.08 s
Current children cumulated vsize: 39740 KiB
Current children cumulated memory: 9844 KiB
[startup+2502.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/188 15357
/proc/meminfo: memFree=27421684/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39740 memory=9864 CPUtime=2502.08 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 38215 0 0 0 247518 2690 0 0 20 0 1 0 52529708 40693760 2466 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9935 2466 502 7861 0 2039 0
Current children cumulated CPU time: 2502.08 s
Current children cumulated vsize: 39740 KiB
Current children cumulated memory: 9864 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 15418
/proc/meminfo: memFree=27257200/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39740 memory=9864 CPUtime=2519.77 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 38972 0 0 0 249271 2706 0 0 20 0 1 0 52529708 40693760 2466 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9935 2466 502 7861 0 2039 0
Current children cumulated CPU time: 2519.77 s
Current children cumulated vsize: 39740 KiB
Current children cumulated memory: 9864 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520 s]
# the end of solver process 15257 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2492.71 s, system=27.0677 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 15418
/proc/meminfo: memFree=27257200/32770624 swapFree=67108860/67108860
[pid=15257] ppid=15254 vsize=39740 memory=9864 CPUtime=2519.77 cores=0,2,4,6
/proc/15257/stat : 15257 (BTD) R 15254 15257 11593 0 -1 4202496 38972 0 0 0 249271 2706 0 0 20 0 1 0 52529708 40693760 2466 33554432000 4194304 36388972 140727739626288 140727739625128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 71553024 140727739634877 140727739634955 140727739634955 140727739637713 0
/proc/15257/statm: 9935 2466 502 7861 0 2039 0
Current children cumulated CPU time: 2519.77 s
Current children cumulated vsize: 39740 KiB
Current children cumulated memory: 9864 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520
CPU time (s): 2519.78
CPU user time (s): 2492.71
CPU system time (s): 27.0677
CPU usage (%): 99.9913
Max. virtual memory (cumulated for all children) (KiB): 39740
Max. memory (cumulated for all children) (KiB): 9864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2492.71
system time used= 27.0677
maximum resident set size= 9864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38972
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= 4
involuntary context switches= 3151
# summary of solver processes directly reported to runsolver:
# pid: 15257
# total CPU time (s): 2519.78
# total CPU user time (s): 2492.71
# total CPU system time (s): 27.0677
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.99978 second user time and 16.9544 second system time
The end