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 (8469 MiB free)
memory of node 1: 16384 MiB (15770 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391926-1568310484/watcher-4391926-1568310484 -o /tmp/evaluation-result-4391926-1568310484/solver-4391926-1568310484 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568306885-1656 --watchdog 2560 miniBTD 2400 HOME/instance-4391926-1568310484.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=4030, runsolver pid=4027
[startup+0.100589 s]*
/proc/loadavg: 2.00 2.01 2.01 3/199 4031
/proc/meminfo: memFree=24752952/32770624 swapFree=67017388/67108860
[pid=4030] ppid=4027 vsize=100280 memory=76320 CPUtime=0.1 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 19242 0 0 0 8 2 0 0 20 0 1 0 407321060 102686720 19014 33554432000 4194304 5326806 140725724475136 140725724471144 139640793742309 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 25070 19080 526 277 0 18591 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 100280 KiB
Current children cumulated memory: 76320 KiB
[startup+0.20985 s]*
/proc/loadavg: 2.00 2.01 2.01 3/199 4031
/proc/meminfo: memFree=24714328/32770624 swapFree=67017388/67108860
[pid=4030] ppid=4027 vsize=136904 memory=112996 CPUtime=0.2 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 28453 0 0 0 17 3 0 0 20 0 1 0 407321060 140189696 28249 33554432000 4194304 5326806 140725724475136 140725724471144 4210672 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 34226 28249 602 277 0 27747 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 136904 KiB
Current children cumulated memory: 112996 KiB
[startup+0.309689 s]*
/proc/loadavg: 2.00 2.01 2.01 3/199 4031
/proc/meminfo: memFree=24676756/32770624 swapFree=67017388/67108860
[pid=4030] ppid=4027 vsize=174960 memory=151012 CPUtime=0.3 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 37981 0 0 0 26 4 0 0 20 0 1 0 407321060 179159040 37753 33554432000 4194304 5326806 140725724475136 140725724471144 139640793742309 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 43740 37753 602 277 0 37261 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 174960 KiB
Current children cumulated memory: 151012 KiB
[startup+0.700379 s]
/proc/loadavg: 2.00 2.01 2.01 3/199 4031
/proc/meminfo: memFree=24600496/32770624 swapFree=67017388/67108860
[pid=4030] ppid=4027 vsize=318636 memory=294628 CPUtime=0.69 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 73886 0 0 0 59 10 0 0 20 0 1 0 407321060 326283264 73657 33554432000 4194304 5326806 140725724475136 140725724471144 139640793742309 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 79659 73657 602 277 0 73180 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 318636 KiB
Current children cumulated memory: 294628 KiB
[startup+1.50039 s]
/proc/loadavg: 2.00 2.01 2.01 3/199 4031
/proc/meminfo: memFree=24417472/32770624 swapFree=67017388/67108860
[pid=4030] ppid=4027 vsize=617984 memory=594268 CPUtime=1.49 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 148732 0 0 0 129 20 0 0 20 0 1 0 407321060 632815616 148567 33554432000 4194304 5326806 140725724475136 140725724469944 139640793742309 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 154496 148567 602 277 0 148017 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 617984 KiB
Current children cumulated memory: 594268 KiB
[startup+3.10939 s]
/proc/loadavg: 2.00 2.01 2.01 3/199 4031
/proc/meminfo: memFree=23670080/32770624 swapFree=67017388/67108860
[pid=4030] ppid=4027 vsize=1216168 memory=1192328 CPUtime=3.1 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 301164 0 0 0 273 37 0 0 20 0 1 0 407321060 1245356032 298082 33554432000 4194304 5326806 140725724475136 140725724469944 4459884 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 304042 298082 602 277 0 297563 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1216168 KiB
Current children cumulated memory: 1192328 KiB
[startup+6.30039 s]
/proc/loadavg: 1.92 2.00 2.01 3/199 4031
/proc/meminfo: memFree=22549864/32770624 swapFree=67017388/67108860
[pid=4030] ppid=4027 vsize=2405608 memory=2381716 CPUtime=6.29 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 602710 0 0 0 557 72 0 0 20 0 1 0 407321060 2463342592 595429 33554432000 4194304 5326806 140725724475136 140725724469944 139640793742309 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 601402 595429 602 277 0 594923 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2405608 KiB
Current children cumulated memory: 2381716 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 2.01 3/199 4031
/proc/meminfo: memFree=20322064/32770624 swapFree=67017388/67108860
[pid=4030] ppid=4027 vsize=4776200 memory=4752356 CPUtime=12.69 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 1203591 0 0 0 1126 143 0 0 20 0 1 0 407321060 4890828800 1188089 33554432000 4194304 5326806 140725724475136 140725724469944 139640793742309 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1194050 1188089 602 277 0 1187571 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 4776200 KiB
Current children cumulated memory: 4752356 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.01 3/199 4031
/proc/meminfo: memFree=19065116/32770624 swapFree=67017388/67108860
[pid=4030] ppid=4027 vsize=5774228 memory=5748956 CPUtime=25.49 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 1848155 0 0 0 2360 189 0 0 20 0 1 0 407321060 5912809472 1437239 33554432000 4194304 5326806 140725724475136 140725724473240 4542095 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443557 1437239 638 277 0 1437078 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 5774228 KiB
Current children cumulated memory: 5748956 KiB
[startup+51.1097 s]
/proc/loadavg: 1.96 2.00 2.01 3/199 4034
/proc/meminfo: memFree=19064620/32770624 swapFree=67017388/67108860
[pid=4030] ppid=4027 vsize=5774388 memory=5749116 CPUtime=51.09 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 1874628 0 0 0 4919 190 0 0 20 0 1 0 407321060 5912973312 1437279 33554432000 4194304 5326806 140725724475136 140725724474344 4542080 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443597 1437279 638 277 0 1437118 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 5774388 KiB
Current children cumulated memory: 5749116 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.01 3/199 4038
/proc/meminfo: memFree=19065044/32770624 swapFree=67017388/67108860
[pid=4030] ppid=4027 vsize=5774388 memory=5749204 CPUtime=102.28 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 1931233 0 0 0 10035 193 0 0 20 0 1 0 407321060 5912973312 1437301 33554432000 4194304 5326806 140725724475136 140725724474344 4542101 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443597 1437301 638 277 0 1437118 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 5774388 KiB
Current children cumulated memory: 5749204 KiB
[startup+162.3 s]
/proc/loadavg: 2.07 2.01 2.01 3/199 4049
/proc/meminfo: memFree=19063880/32770624 swapFree=67017408/67108860
[pid=4030] ppid=4027 vsize=5774520 memory=5749244 CPUtime=162.27 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 1977931 0 0 0 16032 195 0 0 20 0 1 0 407321060 5913108480 1437311 33554432000 4194304 5326806 140725724475136 140725724474344 4542080 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443630 1437311 638 277 0 1437151 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 5774520 KiB
Current children cumulated memory: 5749244 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.01 3/199 4055
/proc/meminfo: memFree=19063460/32770624 swapFree=67017408/67108860
[pid=4030] ppid=4027 vsize=5774520 memory=5749312 CPUtime=222.27 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 2018963 0 0 0 22030 197 0 0 20 0 1 0 407321060 5913108480 1437328 33554432000 4194304 5326806 140725724475136 140725724474344 4542087 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443630 1437328 638 277 0 1437151 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 5774520 KiB
Current children cumulated memory: 5749312 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.01 3/199 4059
/proc/meminfo: memFree=19064472/32770624 swapFree=67017408/67108860
[pid=4030] ppid=4027 vsize=5774652 memory=5749416 CPUtime=282.26 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 2059769 0 0 0 28027 199 0 0 20 0 1 0 407321060 5913243648 1437354 33554432000 4194304 5326806 140725724475136 140725724474344 4542097 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443663 1437354 638 277 0 1437184 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 5774652 KiB
Current children cumulated memory: 5749416 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/199 4063
/proc/meminfo: memFree=19063788/32770624 swapFree=67017408/67108860
[pid=4030] ppid=4027 vsize=5774652 memory=5749508 CPUtime=342.27 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 2086464 0 0 0 34026 201 0 0 20 0 1 0 407321060 5913243648 1437377 33554432000 4194304 5326806 140725724475136 140725724474344 4542083 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443663 1437377 638 277 0 1437184 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 5774652 KiB
Current children cumulated memory: 5749508 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/199 4070
/proc/meminfo: memFree=19063732/32770624 swapFree=67017408/67108860
[pid=4030] ppid=4027 vsize=5774788 memory=5749556 CPUtime=402.26 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 2109365 0 0 0 40024 202 0 0 20 0 1 0 407321060 5913382912 1437389 33554432000 4194304 5326806 140725724475136 140725724474344 139640803189255 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443697 1437389 638 277 0 1437218 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 5774788 KiB
Current children cumulated memory: 5749556 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/199 4075
/proc/meminfo: memFree=19063896/32770624 swapFree=67017416/67108860
[pid=4030] ppid=4027 vsize=5774948 memory=5749640 CPUtime=462.26 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 2145857 0 0 0 46023 203 0 0 20 0 1 0 407321060 5913546752 1437410 33554432000 4194304 5326806 140725724475136 140725724474344 4542095 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443737 1437410 638 277 0 1437258 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 5774948 KiB
Current children cumulated memory: 5749640 KiB
################
# More data... #
################
/proc/meminfo: memFree=19064280/32770624 swapFree=67017480/67108860
[pid=4030] ppid=4027 vsize=5774948 memory=5749756 CPUtime=822.25 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 2194517 0 0 0 82019 206 0 0 20 0 1 0 407321060 5913546752 1437439 33554432000 4194304 5326806 140725724475136 140725724474344 4542062 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443737 1437439 638 277 0 1437258 0
Current children cumulated CPU time: 822.25 s
Current children cumulated vsize: 5774948 KiB
Current children cumulated memory: 5749756 KiB
[startup+882.3 s]
/proc/loadavg: 2.03 2.10 2.05 3/201 4260
/proc/meminfo: memFree=19064836/32770624 swapFree=67017480/67108860
[pid=4030] ppid=4027 vsize=5774948 memory=5749760 CPUtime=882.24 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 2194957 0 0 0 88018 206 0 0 20 0 1 0 407321060 5913546752 1437440 33554432000 4194304 5326806 140725724475136 140725724474344 4542080 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443737 1437440 639 277 0 1437258 0
Current children cumulated CPU time: 882.24 s
Current children cumulated vsize: 5774948 KiB
Current children cumulated memory: 5749760 KiB
[startup+942.3 s]
/proc/loadavg: 2.01 2.08 2.05 3/201 4266
/proc/meminfo: memFree=19063804/32770624 swapFree=67017480/67108860
[pid=4030] ppid=4027 vsize=5774948 memory=5749760 CPUtime=942.24 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 2195687 0 0 0 94018 206 0 0 20 0 1 0 407321060 5913546752 1437440 33554432000 4194304 5326806 140725724475136 140725724474344 4542095 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443737 1437440 639 277 0 1437258 0
Current children cumulated CPU time: 942.24 s
Current children cumulated vsize: 5774948 KiB
Current children cumulated memory: 5749760 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.07 2.05 3/201 4270
/proc/meminfo: memFree=19063664/32770624 swapFree=67017480/67108860
[pid=4030] ppid=4027 vsize=5774948 memory=5749760 CPUtime=1002.24 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 2196078 0 0 0 100018 206 0 0 20 0 1 0 407321060 5913546752 1437440 33554432000 4194304 5326806 140725724475136 140725724474344 4542097 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443737 1437440 639 277 0 1437258 0
Current children cumulated CPU time: 1002.24 s
Current children cumulated vsize: 5774948 KiB
Current children cumulated memory: 5749760 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/200 4274
/proc/meminfo: memFree=19064252/32770624 swapFree=67017480/67108860
[pid=4030] ppid=4027 vsize=5774948 memory=5749776 CPUtime=1062.23 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 2196486 0 0 0 106017 206 0 0 20 0 1 0 407321060 5913546752 1437444 33554432000 4194304 5326806 140725724475136 140725724474344 4542083 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443737 1437444 639 277 0 1437258 0
Current children cumulated CPU time: 1062.23 s
Current children cumulated vsize: 5774948 KiB
Current children cumulated memory: 5749776 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 4280
/proc/meminfo: memFree=19064500/32770624 swapFree=67017480/67108860
[pid=4030] ppid=4027 vsize=5774948 memory=5749776 CPUtime=1122.23 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 2196723 0 0 0 112017 206 0 0 20 0 1 0 407321060 5913546752 1437444 33554432000 4194304 5326806 140725724475136 140725724474344 4542095 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443737 1437444 639 277 0 1437258 0
Current children cumulated CPU time: 1122.23 s
Current children cumulated vsize: 5774948 KiB
Current children cumulated memory: 5749776 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 4284
/proc/meminfo: memFree=19064392/32770624 swapFree=67017480/67108860
[pid=4030] ppid=4027 vsize=5774948 memory=5749776 CPUtime=1182.23 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 2196958 0 0 0 118017 206 0 0 20 0 1 0 407321060 5913546752 1437444 33554432000 4194304 5326806 140725724475136 140725724474344 4542062 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443737 1437444 639 277 0 1437258 0
Current children cumulated CPU time: 1182.23 s
Current children cumulated vsize: 5774948 KiB
Current children cumulated memory: 5749776 KiB
[startup+1242.3 s]
/proc/loadavg: 2.72 2.22 2.11 3/199 4288
/proc/meminfo: memFree=19064300/32770624 swapFree=67017480/67108860
[pid=4030] ppid=4027 vsize=5774948 memory=5749776 CPUtime=1242.22 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 2197189 0 0 0 124016 206 0 0 20 0 1 0 407321060 5913546752 1437444 33554432000 4194304 5326806 140725724475136 140725724474344 4542092 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443737 1437444 639 277 0 1437258 0
Current children cumulated CPU time: 1242.22 s
Current children cumulated vsize: 5774948 KiB
Current children cumulated memory: 5749776 KiB
[startup+1270.72 s]
# the end of solver process 4030 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1268.01 s, system=2.64588 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1254.4 s]
/proc/loadavg: 2.61 2.21 2.10 3/199 4291
/proc/meminfo: memFree=19063944/32770624 swapFree=67017480/67108860
[pid=4030] ppid=4027 vsize=5774948 memory=5749776 CPUtime=1254.32 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 2197213 0 0 0 125226 206 0 0 20 0 1 0 407321060 5913546752 1437444 33554432000 4194304 5326806 140725724475136 140725724474344 4542164 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443737 1437444 639 277 0 1437258 0
Current children cumulated CPU time: 1254.32 s
Current children cumulated vsize: 5774948 KiB
Current children cumulated memory: 5749776 KiB
[startup+1260.8 s]
/proc/loadavg: 2.52 2.20 2.10 3/199 4291
/proc/meminfo: memFree=19064256/32770624 swapFree=67017480/67108860
[pid=4030] ppid=4027 vsize=5774948 memory=5749776 CPUtime=1260.72 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 2197301 0 0 0 125866 206 0 0 20 0 1 0 407321060 5913546752 1437444 33554432000 4194304 5326806 140725724475136 140725724474344 4542095 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443737 1437444 639 277 0 1437258 0
Current children cumulated CPU time: 1260.72 s
Current children cumulated vsize: 5774948 KiB
Current children cumulated memory: 5749776 KiB
[startup+1267.2 s]
/proc/loadavg: 2.48 2.20 2.10 3/199 4291
/proc/meminfo: memFree=19064224/32770624 swapFree=67017480/67108860
[pid=4030] ppid=4027 vsize=5774948 memory=5749776 CPUtime=1267.12 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 2197376 0 0 0 126506 206 0 0 20 0 1 0 407321060 5913546752 1437444 33554432000 4194304 5326806 140725724475136 140725724474344 4542080 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443737 1437444 639 277 0 1437258 0
Current children cumulated CPU time: 1267.12 s
Current children cumulated vsize: 5774948 KiB
Current children cumulated memory: 5749776 KiB
[startup+1268.8 s]
/proc/loadavg: 2.48 2.20 2.10 3/199 4291
/proc/meminfo: memFree=19064044/32770624 swapFree=67017480/67108860
[pid=4030] ppid=4027 vsize=5774948 memory=5749776 CPUtime=1268.72 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 2197377 0 0 0 126666 206 0 0 20 0 1 0 407321060 5913546752 1437444 33554432000 4194304 5326806 140725724475136 140725724474344 4542097 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443737 1437444 639 277 0 1437258 0
Current children cumulated CPU time: 1268.72 s
Current children cumulated vsize: 5774948 KiB
Current children cumulated memory: 5749776 KiB
[startup+1269.6 s]
/proc/loadavg: 2.48 2.20 2.10 3/199 4291
/proc/meminfo: memFree=19064208/32770624 swapFree=67017480/67108860
[pid=4030] ppid=4027 vsize=5773272 memory=5749772 CPUtime=1269.52 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 2207036 0 0 0 126746 206 0 0 20 0 1 0 407321060 5911830528 1437443 33554432000 4194304 5326806 140725724475136 140725724474344 139640793735169 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443318 1437443 643 277 0 1436839 0
Current children cumulated CPU time: 1269.52 s
Current children cumulated vsize: 5773272 KiB
Current children cumulated memory: 5749772 KiB
[startup+1270.4 s]
/proc/loadavg: 2.44 2.20 2.10 3/199 4291
/proc/meminfo: memFree=19064208/32770624 swapFree=67017480/67108860
[pid=4030] ppid=4027 vsize=5773272 memory=5749772 CPUtime=1270.33 cores=1,3,5,7
/proc/4030/stat : 4030 (miniBTD) R 4027 4030 1622 0 -1 4202496 3089807 0 0 0 126790 243 0 0 20 0 1 0 407321060 5911830528 1437443 33554432000 4194304 5326806 140725724475136 140725724474344 139640793735163 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 20926464 140725724476448 140725724476528 140725724476528 140725724479437 0
/proc/4030/statm: 1443318 1437443 643 277 0 1436839 0
Current children cumulated CPU time: 1270.33 s
Current children cumulated vsize: 5773272 KiB
Current children cumulated memory: 5749772 KiB
[startup+1270.6 s]*
/proc/loadavg: 2.44 2.20 2.10 4/199 4291
/proc/meminfo: memFree=22572176/32770624 swapFree=67017480/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+1270.71 s]
/proc/loadavg: 2.44 2.20 2.10 4/199 4291
/proc/meminfo: memFree=22572176/32770624 swapFree=67017480/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 1270.72
CPU time (s): 1270.65
CPU user time (s): 1268.01
CPU system time (s): 2.64588
CPU usage (%): 99.9947
Max. virtual memory (cumulated for all children) (KiB): 5774948
Max. memory (cumulated for all children) (KiB): 5749776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1268.01
system time used= 2.64588
maximum resident set size= 5749784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3117989
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= 22
involuntary context switches= 475
# summary of solver processes directly reported to runsolver:
# pid: 4030
# total CPU time (s): 1270.65
# total CPU user time (s): 1268.01
# total CPU system time (s): 2.64588
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.5124 second user time and 9.31635 second system time
The end