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 (12390 MiB free)
memory of node 1: 16384 MiB (14692 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300946-1532860777/watcher-4300946-1532860777 -o /tmp/evaluation-result-4300946-1532860777/solver-4300946-1532860777 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532843003-16947 --watchdog 2580 miniBTD 12 2520 HOME/instance-4300946-1532860777.xml
running on 4 cores: 1,3,5,7
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=18846, runsolver pid=18843
[startup+0.100163 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 18847
/proc/meminfo: memFree=27728736/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=29852 memory=6364 CPUtime=0.1 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 1802 0 0 0 10 0 0 0 20 0 1 0 103641017 30568448 1591 33554432000 4194304 5224696 140721245544800 140721245541800 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7463 1591 647 252 0 1009 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29852 KiB
Current children cumulated memory: 6364 KiB
[startup+0.209388 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 18847
/proc/meminfo: memFree=27728364/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=29984 memory=6628 CPUtime=0.21 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 1822 0 0 0 21 0 0 0 20 0 1 0 103641017 30703616 1657 33554432000 4194304 5224696 140721245544800 140721245541800 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7496 1657 658 252 0 1042 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29984 KiB
Current children cumulated memory: 6628 KiB
[startup+0.308923 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 18847
/proc/meminfo: memFree=27728364/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=29984 memory=6628 CPUtime=0.31 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 1823 0 0 0 31 0 0 0 20 0 1 0 103641017 30703616 1657 33554432000 4194304 5224696 140721245544800 140721245541800 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7496 1657 658 252 0 1042 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29984 KiB
Current children cumulated memory: 6628 KiB
[startup+0.700282 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18847
/proc/meminfo: memFree=27728364/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=29984 memory=6628 CPUtime=0.69 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 1823 0 0 0 69 0 0 0 20 0 1 0 103641017 30703616 1657 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7496 1657 658 252 0 1042 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29984 KiB
Current children cumulated memory: 6628 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18847
/proc/meminfo: memFree=27728204/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=29984 memory=6628 CPUtime=1.49 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 1827 0 0 0 148 1 0 0 20 0 1 0 103641017 30703616 1657 33554432000 4194304 5224696 140721245544800 140721245543816 4363241 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7496 1657 658 252 0 1042 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 29984 KiB
Current children cumulated memory: 6628 KiB
[startup+3.10895 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18847
/proc/meminfo: memFree=27728204/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=29984 memory=6660 CPUtime=3.1 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 2689 0 0 0 308 2 0 0 20 0 1 0 103641017 30703616 1665 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7496 1665 658 252 0 1042 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 29984 KiB
Current children cumulated memory: 6660 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18847
/proc/meminfo: memFree=27727532/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=29984 memory=6676 CPUtime=6.28 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 3556 0 0 0 625 3 0 0 20 0 1 0 103641017 30703616 1669 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7496 1669 658 252 0 1042 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 29984 KiB
Current children cumulated memory: 6676 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18847
/proc/meminfo: memFree=27727648/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=29984 memory=6696 CPUtime=12.68 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 4431 0 0 0 1262 6 0 0 20 0 1 0 103641017 30703616 1674 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7496 1674 658 252 0 1042 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 29984 KiB
Current children cumulated memory: 6696 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18854
/proc/meminfo: memFree=27727284/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30116 memory=6728 CPUtime=25.48 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 6183 0 0 0 2535 13 0 0 20 0 1 0 103641017 30838784 1682 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7529 1682 658 252 0 1075 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 30116 KiB
Current children cumulated memory: 6728 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18854
/proc/meminfo: memFree=27725848/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30116 memory=6740 CPUtime=51.09 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 7070 0 0 0 5085 24 0 0 20 0 1 0 103641017 30838784 1685 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7529 1685 659 252 0 1075 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 30116 KiB
Current children cumulated memory: 6740 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18855
/proc/meminfo: memFree=27724664/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30116 memory=6776 CPUtime=102.28 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 7519 0 0 0 10181 47 0 0 20 0 1 0 103641017 30838784 1694 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7529 1694 659 252 0 1075 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 30116 KiB
Current children cumulated memory: 6776 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18856
/proc/meminfo: memFree=27724664/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30116 memory=6800 CPUtime=162.28 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 7968 0 0 0 16149 79 0 0 20 0 1 0 103641017 30838784 1700 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7529 1700 659 252 0 1075 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 30116 KiB
Current children cumulated memory: 6800 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18857
/proc/meminfo: memFree=27724168/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30116 memory=6832 CPUtime=222.28 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 8423 0 0 0 22124 104 0 0 20 0 1 0 103641017 30838784 1708 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7529 1708 659 252 0 1075 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 30116 KiB
Current children cumulated memory: 6832 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18858
/proc/meminfo: memFree=27722416/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30116 memory=6844 CPUtime=282.28 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 8877 0 0 0 28098 130 0 0 20 0 1 0 103641017 30838784 1711 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7529 1711 659 252 0 1075 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 30116 KiB
Current children cumulated memory: 6844 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18859
/proc/meminfo: memFree=27722160/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30116 memory=6848 CPUtime=342.27 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 9330 0 0 0 34068 159 0 0 20 0 1 0 103641017 30838784 1712 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7529 1712 659 252 0 1075 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 30116 KiB
Current children cumulated memory: 6848 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18860
/proc/meminfo: memFree=27722020/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30116 memory=6852 CPUtime=402.27 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 9781 0 0 0 40040 187 0 0 20 0 1 0 103641017 30838784 1713 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7529 1713 659 252 0 1075 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 30116 KiB
Current children cumulated memory: 6852 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18861
/proc/meminfo: memFree=27722284/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30116 memory=6860 CPUtime=462.27 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 10235 0 0 0 46013 214 0 0 20 0 1 0 103641017 30838784 1715 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7529 1715 659 252 0 1075 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 30116 KiB
Current children cumulated memory: 6860 KiB
################
# More data... #
################
/proc/18846/statm: 7562 1737 664 252 0 1108 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 30248 KiB
Current children cumulated memory: 6948 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18923
/proc/meminfo: memFree=27719300/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30248 memory=6948 CPUtime=1782.22 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 20125 0 0 0 177385 837 0 0 20 0 1 0 103641017 30973952 1737 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7562 1737 664 252 0 1108 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 30248 KiB
Current children cumulated memory: 6948 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18932
/proc/meminfo: memFree=27718884/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30248 memory=6952 CPUtime=1842.21 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 20545 0 0 0 183353 868 0 0 20 0 1 0 103641017 30973952 1738 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7562 1738 664 252 0 1108 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 30248 KiB
Current children cumulated memory: 6952 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 18936
/proc/meminfo: memFree=27896064/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30248 memory=6952 CPUtime=1902.21 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 20963 0 0 0 189318 903 0 0 20 0 1 0 103641017 30973952 1738 33554432000 4194304 5224696 140721245544800 140721245543816 4363224 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7562 1738 664 252 0 1108 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 30248 KiB
Current children cumulated memory: 6952 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 18937
/proc/meminfo: memFree=27896312/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30248 memory=6952 CPUtime=1962.21 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 21437 0 0 0 195286 935 0 0 20 0 1 0 103641017 30973952 1738 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7562 1738 664 252 0 1108 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 30248 KiB
Current children cumulated memory: 6952 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 18938
/proc/meminfo: memFree=27896560/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30248 memory=6952 CPUtime=2022.21 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 21879 0 0 0 201257 964 0 0 20 0 1 0 103641017 30973952 1738 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7562 1738 664 252 0 1108 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 30248 KiB
Current children cumulated memory: 6952 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 18939
/proc/meminfo: memFree=27896544/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30248 memory=6952 CPUtime=2082.21 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 22268 0 0 0 207227 994 0 0 20 0 1 0 103641017 30973952 1738 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7562 1738 664 252 0 1108 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 30248 KiB
Current children cumulated memory: 6952 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18940
/proc/meminfo: memFree=27896568/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30248 memory=6960 CPUtime=2142.2 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 22774 0 0 0 213197 1023 0 0 20 0 1 0 103641017 30973952 1740 33554432000 4194304 5224696 140721245544800 140721245543816 4363227 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7562 1740 664 252 0 1108 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 30248 KiB
Current children cumulated memory: 6960 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18941
/proc/meminfo: memFree=27896824/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30248 memory=6968 CPUtime=2202.2 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 23172 0 0 0 219169 1051 0 0 20 0 1 0 103641017 30973952 1742 33554432000 4194304 5224696 140721245544800 140721245543816 4363400 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7562 1742 664 252 0 1108 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 30248 KiB
Current children cumulated memory: 6968 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18942
/proc/meminfo: memFree=27896948/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30248 memory=6968 CPUtime=2262.2 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 23588 0 0 0 225139 1081 0 0 20 0 1 0 103641017 30973952 1742 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7562 1742 664 252 0 1108 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 30248 KiB
Current children cumulated memory: 6968 KiB
[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 18943
/proc/meminfo: memFree=27896476/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30248 memory=6968 CPUtime=2322.2 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 24076 0 0 0 231109 1111 0 0 20 0 1 0 103641017 30973952 1742 33554432000 4194304 5224696 140721245544800 140721245543816 4599808 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7562 1742 664 252 0 1108 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 30248 KiB
Current children cumulated memory: 6968 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 18944
/proc/meminfo: memFree=27897804/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30248 memory=6972 CPUtime=2382.2 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 24529 0 0 0 237077 1143 0 0 20 0 1 0 103641017 30973952 1743 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7562 1743 664 252 0 1108 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 30248 KiB
Current children cumulated memory: 6972 KiB
[startup+2442.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 19013
/proc/meminfo: memFree=28175988/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30248 memory=6972 CPUtime=2442.19 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 24987 0 0 0 243043 1176 0 0 20 0 1 0 103641017 30973952 1743 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7562 1743 664 252 0 1108 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 30248 KiB
Current children cumulated memory: 6972 KiB
[startup+2502.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 19014
/proc/meminfo: memFree=28175856/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30248 memory=6972 CPUtime=2502.19 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 25443 0 0 0 249010 1209 0 0 20 0 1 0 103641017 30973952 1743 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7562 1743 664 252 0 1108 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 30248 KiB
Current children cumulated memory: 6972 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.04 2.04 2.05 3/187 19015
/proc/meminfo: memFree=28175948/32770624 swapFree=67108792/67108860
[pid=18846] ppid=18843 vsize=30248 memory=6972 CPUtime=2519.9 cores=1,3,5,7
/proc/18846/stat : 18846 (miniBTD) R 18843 18846 16915 0 -1 4202496 25868 0 0 0 250772 1218 0 0 20 0 1 0 103641017 30973952 1743 33554432000 4194304 5224696 140721245544800 140721245543816 140676014109052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 36446208 140721245549748 140721245549831 140721245549831 140721245552589 0
/proc/18846/statm: 7562 1743 664 252 0 1108 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 30248 KiB
Current children cumulated memory: 6972 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 18846 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.72 s, system=12.1895 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.91
CPU user time (s): 2507.72
CPU system time (s): 12.1895
CPU usage (%): 99.9961
Max. virtual memory (cumulated for all children) (KiB): 30248
Max. memory (cumulated for all children) (KiB): 6972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.72
system time used= 12.1895
maximum resident set size= 6972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25868
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= 737
# summary of solver processes directly reported to runsolver:
# pid: 18846
# total CPU time (s): 2519.91
# total CPU user time (s): 2507.72
# total CPU system time (s): 12.1895
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.38042 second user time and 15.1572 second system time
The end