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 (12169 MiB free)
memory of node 1: 16384 MiB (15818 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301083-1532869343/watcher-4301083-1532869343 -o /tmp/evaluation-result-4301083-1532869343/solver-4301083-1532869343 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532843502-8703 --watchdog 2580 miniBTD 3 2520 HOME/instance-4301083-1532869343.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
Current StackSize limit: 8192 KiB
solver pid=11853, runsolver pid=11850
[startup+0.100488 s]*
/proc/loadavg: 2.00 1.99 2.03 3/189 11854
/proc/meminfo: memFree=28655616/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29580 memory=6044 CPUtime=0.09 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 1728 0 0 0 9 0 0 0 20 0 1 0 104497474 30289920 1511 33554432000 4194304 5224696 140725098776848 140725098775864 4363272 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7395 1511 651 252 0 941 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29580 KiB
Current children cumulated memory: 6044 KiB
[startup+0.209531 s]*
/proc/loadavg: 2.00 1.99 2.03 3/189 11854
/proc/meminfo: memFree=28655616/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29580 memory=6044 CPUtime=0.2 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 1730 0 0 0 20 0 0 0 20 0 1 0 104497474 30289920 1511 33554432000 4194304 5224696 140725098776848 140725098775864 4471814 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7395 1511 651 252 0 941 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29580 KiB
Current children cumulated memory: 6044 KiB
[startup+0.308959 s]*
/proc/loadavg: 2.00 1.99 2.03 3/189 11854
/proc/meminfo: memFree=28655244/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29580 memory=6044 CPUtime=0.3 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 1730 0 0 0 30 0 0 0 20 0 1 0 104497474 30289920 1511 33554432000 4194304 5224696 140725098776848 140725098775864 4363224 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7395 1511 651 252 0 941 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 29580 KiB
Current children cumulated memory: 6044 KiB
[startup+0.700224 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 11854
/proc/meminfo: memFree=28655244/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29712 memory=6308 CPUtime=0.69 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 1764 0 0 0 69 0 0 0 20 0 1 0 104497474 30425088 1577 33554432000 4194304 5224696 140725098776848 140725098775864 4363224 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7428 1577 661 252 0 974 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29712 KiB
Current children cumulated memory: 6308 KiB
[startup+1.50022 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 11854
/proc/meminfo: memFree=28655012/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29844 memory=6308 CPUtime=1.48 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 1778 0 0 0 148 0 0 0 20 0 1 0 104497474 30560256 1577 33554432000 4194304 5224696 140725098776848 140725098775864 4363295 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7461 1577 661 252 0 1007 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6308 KiB
[startup+3.10902 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 11854
/proc/meminfo: memFree=28654872/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29844 memory=6464 CPUtime=3.09 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 2479 0 0 0 309 0 0 0 20 0 1 0 104497474 30560256 1616 33554432000 4194304 5224696 140725098776848 140725098775864 4363241 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7461 1616 661 252 0 1007 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6464 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 11854
/proc/meminfo: memFree=28654588/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29844 memory=6484 CPUtime=6.28 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 3192 0 0 0 627 1 0 0 20 0 1 0 104497474 30560256 1621 33554432000 4194304 5224696 140725098776848 140725098775864 4363295 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7461 1621 661 252 0 1007 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6484 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 11854
/proc/meminfo: memFree=28654776/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29844 memory=6488 CPUtime=12.68 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 3902 0 0 0 1267 1 0 0 20 0 1 0 104497474 30560256 1622 33554432000 4194304 5224696 140725098776848 140725098775864 4363341 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7461 1622 661 252 0 1007 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6488 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 11854
/proc/meminfo: memFree=28654776/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29844 memory=6520 CPUtime=25.48 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 5333 0 0 0 2545 3 0 0 20 0 1 0 104497474 30560256 1630 33554432000 4194304 5224696 140725098776848 140725098775864 4363224 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7461 1630 661 252 0 1007 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6520 KiB
[startup+51.1093 s]
/proc/loadavg: 1.94 1.97 2.03 3/189 11854
/proc/meminfo: memFree=28654964/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29844 memory=6596 CPUtime=51.09 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 5741 0 0 0 5106 3 0 0 20 0 1 0 104497474 30560256 1649 33554432000 4194304 5224696 140725098776848 140725098775864 4363231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7461 1649 661 252 0 1007 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 6596 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 1.97 2.03 3/189 11855
/proc/meminfo: memFree=28655064/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6624 CPUtime=102.27 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 6154 0 0 0 10223 4 0 0 20 0 1 0 104497474 30695424 1656 33554432000 4194304 5224696 140725098776848 140725098775864 140042407862652 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1656 661 252 0 1040 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6624 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 2.03 3/188 11856
/proc/meminfo: memFree=28655316/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6636 CPUtime=162.27 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 6565 0 0 0 16221 6 0 0 20 0 1 0 104497474 30695424 1659 33554432000 4194304 5224696 140725098776848 140725098775864 140042407862652 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1659 661 252 0 1040 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6636 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 11857
/proc/meminfo: memFree=28655496/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6648 CPUtime=222.27 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 6980 0 0 0 22219 8 0 0 20 0 1 0 104497474 30695424 1662 33554432000 4194304 5224696 140725098776848 140725098775864 4363167 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1662 661 252 0 1040 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6648 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 11858
/proc/meminfo: memFree=28655572/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6664 CPUtime=282.27 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 7394 0 0 0 28217 10 0 0 20 0 1 0 104497474 30695424 1666 33554432000 4194304 5224696 140725098776848 140725098775864 4363224 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1666 661 252 0 1040 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6664 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 11859
/proc/meminfo: memFree=28655232/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6676 CPUtime=342.27 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 7811 0 0 0 34214 13 0 0 20 0 1 0 104497474 30695424 1669 33554432000 4194304 5224696 140725098776848 140725098775864 4363295 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1669 661 252 0 1040 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6676 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 2.00 2.03 3/187 11985
/proc/meminfo: memFree=28637324/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6680 CPUtime=402.26 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 8229 0 0 0 40212 14 0 0 20 0 1 0 104497474 30695424 1670 33554432000 4194304 5224696 140725098776848 140725098775864 140042407862652 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1670 661 252 0 1040 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6680 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/188 11996
/proc/meminfo: memFree=28635624/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6684 CPUtime=462.26 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 8649 0 0 0 46210 16 0 0 20 0 1 0 104497474 30695424 1671 33554432000 4194304 5224696 140725098776848 140725098775864 4363224 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1671 661 252 0 1040 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6684 KiB
################
# More data... #
################
/proc/11853/statm: 7494 1684 661 252 0 1040 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6736 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 12059
/proc/meminfo: memFree=28635472/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6736 CPUtime=1782.22 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 17813 0 0 0 178163 59 0 0 20 0 1 0 104497474 30695424 1684 33554432000 4194304 5224696 140725098776848 140725098775864 4363224 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1684 661 252 0 1040 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6736 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 12060
/proc/meminfo: memFree=28635556/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6736 CPUtime=1842.22 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 18224 0 0 0 184161 61 0 0 20 0 1 0 104497474 30695424 1684 33554432000 4194304 5224696 140725098776848 140725098775864 140042407862652 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1684 661 252 0 1040 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6736 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 12061
/proc/meminfo: memFree=28635644/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6736 CPUtime=1902.22 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 18639 0 0 0 190159 63 0 0 20 0 1 0 104497474 30695424 1684 33554432000 4194304 5224696 140725098776848 140725098775864 4363264 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1684 661 252 0 1040 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6736 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 12062
/proc/meminfo: memFree=28635464/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6740 CPUtime=1962.22 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 19073 0 0 0 196157 65 0 0 20 0 1 0 104497474 30695424 1685 33554432000 4194304 5224696 140725098776848 140725098775864 4363245 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1685 661 252 0 1040 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6740 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 12063
/proc/meminfo: memFree=28635168/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6740 CPUtime=2022.22 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 19486 0 0 0 202156 66 0 0 20 0 1 0 104497474 30695424 1685 33554432000 4194304 5224696 140725098776848 140725098775864 4363224 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1685 661 252 0 1040 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6740 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 12064
/proc/meminfo: memFree=28635292/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6740 CPUtime=2082.21 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 19898 0 0 0 208153 68 0 0 20 0 1 0 104497474 30695424 1685 33554432000 4194304 5224696 140725098776848 140725098775864 4363241 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1685 661 252 0 1040 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6740 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 12065
/proc/meminfo: memFree=28634988/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6740 CPUtime=2142.21 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 20329 0 0 0 214150 71 0 0 20 0 1 0 104497474 30695424 1685 33554432000 4194304 5224696 140725098776848 140725098775864 4363224 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1685 661 252 0 1040 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6740 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 12066
/proc/meminfo: memFree=28635056/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6744 CPUtime=2202.21 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 20742 0 0 0 220148 73 0 0 20 0 1 0 104497474 30695424 1686 33554432000 4194304 5224696 140725098776848 140725098775864 4363241 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1686 661 252 0 1040 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6744 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 12075
/proc/meminfo: memFree=28634168/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6744 CPUtime=2262.21 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 21152 0 0 0 226146 75 0 0 20 0 1 0 104497474 30695424 1686 33554432000 4194304 5224696 140725098776848 140725098775864 4363224 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1686 661 252 0 1040 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6744 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 12076
/proc/meminfo: memFree=28635032/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6744 CPUtime=2322.21 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 21590 0 0 0 232144 77 0 0 20 0 1 0 104497474 30695424 1686 33554432000 4194304 5224696 140725098776848 140725098775864 4363276 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1686 661 252 0 1040 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6744 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 12077
/proc/meminfo: memFree=28635108/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6748 CPUtime=2382.21 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 22002 0 0 0 238142 79 0 0 20 0 1 0 104497474 30695424 1687 33554432000 4194304 5224696 140725098776848 140725098775864 4363227 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1687 661 252 0 1040 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6748 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 12078
/proc/meminfo: memFree=28635188/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6748 CPUtime=2442.21 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 22417 0 0 0 244139 82 0 0 20 0 1 0 104497474 30695424 1687 33554432000 4194304 5224696 140725098776848 140725098775864 4363215 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1687 661 252 0 1040 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6748 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 12079
/proc/meminfo: memFree=28634896/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6748 CPUtime=2502.2 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 22822 0 0 0 250137 83 0 0 20 0 1 0 104497474 30695424 1687 33554432000 4194304 5224696 140725098776848 140725098775864 4363224 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1687 661 252 0 1040 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6748 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.04 3/188 12079
/proc/meminfo: memFree=28634896/32770624 swapFree=67108860/67108860
[pid=11853] ppid=11850 vsize=29976 memory=6748 CPUtime=2519.91 cores=0,2,4,6
/proc/11853/stat : 11853 (miniBTD) R 11850 11853 8672 0 -1 4202496 23222 0 0 0 251907 84 0 0 20 0 1 0 104497474 30695424 1687 33554432000 4194304 5224696 140725098776848 140725098775864 140042413892141 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 9072640 140725098779829 140725098779911 140725098779911 140725098782669 0
/proc/11853/statm: 7494 1687 661 252 0 1040 0
Current children cumulated CPU time: 2519.91 s
Current children cumulated vsize: 29976 KiB
Current children cumulated memory: 6748 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 11853 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.07 s, system=0.847971 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2519.92
CPU user time (s): 2519.07
CPU system time (s): 0.847971
CPU usage (%): 99.9965
Max. virtual memory (cumulated for all children) (KiB): 29976
Max. memory (cumulated for all children) (KiB): 6748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.07
system time used= 0.847971
maximum resident set size= 6748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23222
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= 9
involuntary context switches= 3187
# summary of solver processes directly reported to runsolver:
# pid: 11853
# total CPU time (s): 2519.92
# total CPU user time (s): 2519.07
# total CPU system time (s): 0.847971
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.3149 second user time and 18.0704 second system time
The end