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 (11581 MiB free)
memory of node 1: 16384 MiB (15822 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301116-1532851976/watcher-4301116-1532851976 -o /tmp/evaluation-result-4301116-1532851976/solver-4301116-1532851976 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532843502-8704 --watchdog 2580 miniBTD 3 2520 HOME/instance-4301116-1532851976.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=10036, runsolver pid=10033
[startup+0.100154 s]*
/proc/loadavg: 2.00 2.02 2.05 3/188 10037
/proc/meminfo: memFree=28058268/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=29468 memory=6100 CPUtime=0.1 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 1704 0 0 0 10 0 0 0 20 0 1 0 102760784 30175232 1525 33554432000 4194304 5224696 140727103750768 140727103747768 140406759801212 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7367 1525 657 252 0 913 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29468 KiB
Current children cumulated memory: 6100 KiB
[startup+0.209469 s]*
/proc/loadavg: 2.00 2.02 2.05 3/188 10037
/proc/meminfo: memFree=28058268/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=29468 memory=6100 CPUtime=0.21 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 1708 0 0 0 21 0 0 0 20 0 1 0 102760784 30175232 1525 33554432000 4194304 5224696 140727103750768 140727103747768 140406759801212 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7367 1525 657 252 0 913 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29468 KiB
Current children cumulated memory: 6100 KiB
[startup+0.308823 s]*
/proc/loadavg: 2.00 2.02 2.05 3/188 10037
/proc/meminfo: memFree=28058268/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=29468 memory=6100 CPUtime=0.3 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 1713 0 0 0 30 0 0 0 20 0 1 0 102760784 30175232 1525 33554432000 4194304 5224696 140727103750768 140727103749784 4363186 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7367 1525 657 252 0 913 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 29468 KiB
Current children cumulated memory: 6100 KiB
[startup+0.700272 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 10037
/proc/meminfo: memFree=28058268/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=29600 memory=6100 CPUtime=0.69 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 1723 0 0 0 68 1 0 0 20 0 1 0 102760784 30310400 1525 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7400 1525 657 252 0 946 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29600 KiB
Current children cumulated memory: 6100 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 10037
/proc/meminfo: memFree=28058144/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=29600 memory=6100 CPUtime=1.49 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 1733 0 0 0 148 1 0 0 20 0 1 0 102760784 30310400 1525 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7400 1525 657 252 0 946 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 29600 KiB
Current children cumulated memory: 6100 KiB
[startup+3.10887 s]
/proc/loadavg: 1.92 2.01 2.04 3/188 10037
/proc/meminfo: memFree=28058140/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=29600 memory=6300 CPUtime=3.09 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 2231 0 0 0 307 2 0 0 20 0 1 0 102760784 30310400 1575 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7400 1575 659 252 0 946 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 29600 KiB
Current children cumulated memory: 6300 KiB
[startup+6.30027 s]
/proc/loadavg: 1.92 2.01 2.04 3/188 10037
/proc/meminfo: memFree=28057572/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=29732 memory=6384 CPUtime=6.29 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 2748 0 0 0 624 5 0 0 20 0 1 0 102760784 30445568 1596 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7433 1596 659 252 0 979 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 29732 KiB
Current children cumulated memory: 6384 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.01 2.04 3/188 10037
/proc/meminfo: memFree=28057820/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=29732 memory=6440 CPUtime=12.69 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 3273 0 0 0 1258 11 0 0 20 0 1 0 102760784 30445568 1610 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7433 1610 659 252 0 979 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 29732 KiB
Current children cumulated memory: 6440 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.01 2.04 3/188 10037
/proc/meminfo: memFree=28057896/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=29864 memory=6476 CPUtime=25.49 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 4094 0 0 0 2529 20 0 0 20 0 1 0 102760784 30580736 1619 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7466 1619 659 252 0 1012 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 29864 KiB
Current children cumulated memory: 6476 KiB
[startup+51.1089 s]
/proc/loadavg: 1.96 2.01 2.04 3/188 10037
/proc/meminfo: memFree=28058144/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=29864 memory=6540 CPUtime=51.09 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 4424 0 0 0 5067 42 0 0 20 0 1 0 102760784 30580736 1635 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7466 1635 659 252 0 1012 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 29864 KiB
Current children cumulated memory: 6540 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/188 10038
/proc/meminfo: memFree=28057820/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=29996 memory=6596 CPUtime=102.29 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 4767 0 0 0 10141 88 0 0 20 0 1 0 102760784 30715904 1649 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7499 1649 659 252 0 1045 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 29996 KiB
Current children cumulated memory: 6596 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 10039
/proc/meminfo: memFree=28058056/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=29996 memory=6672 CPUtime=162.29 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 5119 0 0 0 16096 133 0 0 20 0 1 0 102760784 30715904 1668 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7499 1668 659 252 0 1045 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 29996 KiB
Current children cumulated memory: 6672 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 10040
/proc/meminfo: memFree=28058300/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=29996 memory=6692 CPUtime=222.29 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 5449 0 0 0 22057 172 0 0 20 0 1 0 102760784 30715904 1673 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7499 1673 659 252 0 1045 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 29996 KiB
Current children cumulated memory: 6692 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 10041
/proc/meminfo: memFree=28058172/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=30128 memory=6748 CPUtime=282.29 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 5799 0 0 0 28002 227 0 0 20 0 1 0 102760784 30851072 1687 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7532 1687 659 252 0 1078 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 30128 KiB
Current children cumulated memory: 6748 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 10042
/proc/meminfo: memFree=28057924/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=30128 memory=6764 CPUtime=342.3 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 6164 0 0 0 33947 283 0 0 20 0 1 0 102760784 30851072 1691 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7532 1691 659 252 0 1078 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 30128 KiB
Current children cumulated memory: 6764 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 10043
/proc/meminfo: memFree=28058188/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=30128 memory=6792 CPUtime=402.29 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 6497 0 0 0 39890 339 0 0 20 0 1 0 102760784 30851072 1698 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7532 1698 659 252 0 1078 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 30128 KiB
Current children cumulated memory: 6792 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 10052
/proc/meminfo: memFree=28056568/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=30128 memory=6820 CPUtime=462.29 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 6848 0 0 0 45835 394 0 0 20 0 1 0 102760784 30851072 1705 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7532 1705 659 252 0 1078 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 30128 KiB
Current children cumulated memory: 6820 KiB
################
# More data... #
################
Current children cumulated memory: 6952 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 10158
/proc/meminfo: memFree=28058428/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=30256 memory=6952 CPUtime=2082.33 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 16133 0 0 0 206476 1757 0 0 20 0 1 0 102760784 30982144 1738 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7564 1738 659 252 0 1110 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 30256 KiB
Current children cumulated memory: 6952 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 10159
/proc/meminfo: memFree=28058336/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=30256 memory=6960 CPUtime=2142.33 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 16480 0 0 0 212416 1817 0 0 20 0 1 0 102760784 30982144 1740 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7564 1740 659 252 0 1110 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 30256 KiB
Current children cumulated memory: 6960 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 10160
/proc/meminfo: memFree=28058156/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=30256 memory=6960 CPUtime=2202.34 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 16813 0 0 0 218361 1873 0 0 20 0 1 0 102760784 30982144 1740 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7564 1740 659 252 0 1110 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 30256 KiB
Current children cumulated memory: 6960 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/189 10170
/proc/meminfo: memFree=28057176/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=30256 memory=6968 CPUtime=2262.34 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 17187 0 0 0 224307 1927 0 0 20 0 1 0 102760784 30982144 1742 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7564 1742 659 252 0 1110 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 30256 KiB
Current children cumulated memory: 6968 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/189 10171
/proc/meminfo: memFree=28057588/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=30256 memory=6968 CPUtime=2322.34 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 17510 0 0 0 230253 1981 0 0 20 0 1 0 102760784 30982144 1742 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7564 1742 659 252 0 1110 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 30256 KiB
Current children cumulated memory: 6968 KiB
[startup+2382.3 s]
/proc/loadavg: 2.40 2.16 2.09 3/189 10172
/proc/meminfo: memFree=28057672/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=30256 memory=6968 CPUtime=2382.34 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 17834 0 0 0 236202 2032 0 0 20 0 1 0 102760784 30982144 1742 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7564 1742 659 252 0 1110 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 30256 KiB
Current children cumulated memory: 6968 KiB
[startup+2442.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/189 10173
/proc/meminfo: memFree=28057688/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=30256 memory=6968 CPUtime=2442.34 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 18157 0 0 0 242145 2089 0 0 20 0 1 0 102760784 30982144 1742 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7564 1742 659 252 0 1110 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 30256 KiB
Current children cumulated memory: 6968 KiB
[startup+2502.3 s]
/proc/loadavg: 2.05 2.11 2.08 3/189 10174
/proc/meminfo: memFree=28057684/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=30256 memory=6980 CPUtime=2502.34 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 18497 0 0 0 248086 2148 0 0 20 0 1 0 102760784 30982144 1745 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7564 1745 659 252 0 1110 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 30256 KiB
Current children cumulated memory: 6980 KiB
[startup+2519.97 s]
# the end of solver process 10036 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2498.38 s, system=21.6395 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.8 s]
/proc/loadavg: 2.05 2.11 2.08 3/189 10174
/proc/meminfo: memFree=28057684/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=30256 memory=6980 CPUtime=2508.84 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 18497 0 0 0 248731 2153 0 0 20 0 1 0 102760784 30982144 1745 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7564 1745 659 252 0 1110 0
Current children cumulated CPU time: 2508.84 s
Current children cumulated vsize: 30256 KiB
Current children cumulated memory: 6980 KiB
[startup+2515.2 s]
/proc/loadavg: 2.04 2.10 2.08 3/189 10174
/proc/meminfo: memFree=28057808/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=30256 memory=6980 CPUtime=2515.25 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 18497 0 0 0 249366 2159 0 0 20 0 1 0 102760784 30982144 1745 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7564 1745 659 252 0 1110 0
Current children cumulated CPU time: 2515.25 s
Current children cumulated vsize: 30256 KiB
Current children cumulated memory: 6980 KiB
[startup+2518.4 s]
/proc/loadavg: 2.04 2.10 2.08 3/189 10174
/proc/meminfo: memFree=28057808/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=30256 memory=6980 CPUtime=2518.44 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 18816 0 0 0 249682 2162 0 0 20 0 1 0 102760784 30982144 1745 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7564 1745 659 252 0 1110 0
Current children cumulated CPU time: 2518.44 s
Current children cumulated vsize: 30256 KiB
Current children cumulated memory: 6980 KiB
[startup+2519.2 s]
/proc/loadavg: 2.04 2.10 2.08 3/189 10174
/proc/meminfo: memFree=28057808/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=30256 memory=6980 CPUtime=2519.25 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 18816 0 0 0 249762 2163 0 0 20 0 1 0 102760784 30982144 1745 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7564 1745 659 252 0 1110 0
Current children cumulated CPU time: 2519.25 s
Current children cumulated vsize: 30256 KiB
Current children cumulated memory: 6980 KiB
[startup+2519.6 s]
/proc/loadavg: 2.04 2.10 2.08 3/189 10174
/proc/meminfo: memFree=28057808/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=30256 memory=6980 CPUtime=2519.64 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 18818 0 0 0 249801 2163 0 0 20 0 1 0 102760784 30982144 1745 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7564 1745 659 252 0 1110 0
Current children cumulated CPU time: 2519.64 s
Current children cumulated vsize: 30256 KiB
Current children cumulated memory: 6980 KiB
[startup+2519.8 s]
/proc/loadavg: 2.04 2.10 2.08 3/189 10174
/proc/meminfo: memFree=28057808/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=30256 memory=6980 CPUtime=2519.84 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 18818 0 0 0 249821 2163 0 0 20 0 1 0 102760784 30982144 1745 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7564 1745 659 252 0 1110 0
Current children cumulated CPU time: 2519.84 s
Current children cumulated vsize: 30256 KiB
Current children cumulated memory: 6980 KiB
[startup+2519.9 s]
/proc/loadavg: 2.04 2.10 2.08 3/189 10174
/proc/meminfo: memFree=28057808/32770624 swapFree=67108860/67108860
[pid=10036] ppid=10033 vsize=30256 memory=6980 CPUtime=2519.94 cores=1,3,5,7
/proc/10036/stat : 10036 (miniBTD) R 10033 10036 8672 0 -1 4202496 18818 0 0 0 249831 2163 0 0 20 0 1 0 102760784 30982144 1745 33554432000 4194304 5224696 140727103750768 140727103749784 140406759801212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18010112 140727103759541 140727103759623 140727103759623 140727103762381 0
/proc/10036/statm: 7564 1745 659 252 0 1110 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 30256 KiB
Current children cumulated memory: 6980 KiB
Child status: 0
Real time (s): 2519.97
CPU time (s): 2520.02
CPU user time (s): 2498.38
CPU system time (s): 21.6395
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 30256
Max. memory (cumulated for all children) (KiB): 6980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2498.38
system time used= 21.6395
maximum resident set size= 7004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19018
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= 756
# summary of solver processes directly reported to runsolver:
# pid: 10036
# total CPU time (s): 2520.02
# total CPU user time (s): 2498.38
# total CPU system time (s): 21.6395
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.61497 second user time and 15.791 second system time
The end