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 (15123 MiB free)
memory of node 1: 16384 MiB (15360 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386710-1568280912/watcher-4386710-1568280912 -o /tmp/evaluation-result-4386710-1568280912/solver-4386710-1568280912 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568280860-6653 --watchdog 2580 BTD 2520 HOME/instance-4386710-1568280912.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6807, runsolver pid=6804
Current StackSize limit: 8192 KiB
[startup+0.100141 s]*
/proc/loadavg: 0.37 0.10 0.07 3/199 6808
/proc/meminfo: memFree=31175576/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33440 memory=3152 CPUtime=0.1 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 952 0 0 0 10 0 0 0 20 0 1 0 404329913 34242560 788 33554432000 4194304 36700936 140726418305680 140726418305680 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8360 788 476 7937 0 388 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33440 KiB
Current children cumulated memory: 3152 KiB
[startup+0.209434 s]*
/proc/loadavg: 0.37 0.10 0.07 3/199 6808
/proc/meminfo: memFree=31173716/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33440 memory=3152 CPUtime=0.2 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 953 0 0 0 20 0 0 0 20 0 1 0 404329913 34242560 788 33554432000 4194304 36700936 140726418305680 140726418305680 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8360 788 476 7937 0 388 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33440 KiB
Current children cumulated memory: 3152 KiB
[startup+0.309102 s]*
/proc/loadavg: 0.37 0.10 0.07 3/199 6808
/proc/meminfo: memFree=31171856/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33440 memory=3152 CPUtime=0.31 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 953 0 0 0 30 1 0 0 20 0 1 0 404329913 34242560 788 33554432000 4194304 36700936 140726418305680 140726418305680 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8360 788 476 7937 0 388 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33440 KiB
Current children cumulated memory: 3152 KiB
[startup+0.700267 s]
/proc/loadavg: 0.37 0.10 0.07 3/199 6808
/proc/meminfo: memFree=31168508/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33440 memory=3152 CPUtime=0.69 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 955 0 0 0 67 2 0 0 20 0 1 0 404329913 34242560 788 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8360 788 476 7937 0 388 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33440 KiB
Current children cumulated memory: 3152 KiB
[startup+1.50027 s]
/proc/loadavg: 0.37 0.10 0.07 3/199 6808
/proc/meminfo: memFree=31159344/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33440 memory=3152 CPUtime=1.49 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 956 0 0 0 144 5 0 0 20 0 1 0 404329913 34242560 788 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8360 788 476 7937 0 388 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33440 KiB
Current children cumulated memory: 3152 KiB
[startup+3.10901 s]
/proc/loadavg: 0.37 0.10 0.07 3/199 6808
/proc/meminfo: memFree=31125436/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33440 memory=3320 CPUtime=3.1 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 1243 0 0 0 297 13 0 0 20 0 1 0 404329913 34242560 830 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8360 830 491 7937 0 388 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33440 KiB
Current children cumulated memory: 3320 KiB
[startup+6.30026 s]
/proc/loadavg: 0.34 0.09 0.07 3/199 6808
/proc/meminfo: memFree=31066748/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33440 memory=3324 CPUtime=6.29 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 1533 0 0 0 604 25 0 0 20 0 1 0 404329913 34242560 831 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8360 831 491 7937 0 388 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 33440 KiB
Current children cumulated memory: 3324 KiB
[startup+12.7003 s]
/proc/loadavg: 0.47 0.13 0.08 3/199 6808
/proc/meminfo: memFree=27613940/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33440 memory=3332 CPUtime=12.69 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 1823 0 0 0 1216 53 0 0 20 0 1 0 404329913 34242560 833 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8360 833 491 7937 0 388 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 33440 KiB
Current children cumulated memory: 3332 KiB
[startup+25.5003 s]
/proc/loadavg: 0.81 0.22 0.11 3/199 6808
/proc/meminfo: memFree=23087672/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3348 CPUtime=25.49 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 2408 0 0 0 2448 101 0 0 20 0 1 0 404329913 34377728 837 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 837 492 7937 0 421 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3348 KiB
[startup+51.109 s]
/proc/loadavg: 1.15 0.35 0.16 3/199 6811
/proc/meminfo: memFree=23085748/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3348 CPUtime=51.1 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 2704 0 0 0 4912 198 0 0 20 0 1 0 404329913 34377728 837 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 837 492 7937 0 421 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3348 KiB
[startup+102.3 s]
/proc/loadavg: 1.63 0.60 0.25 3/199 6815
/proc/meminfo: memFree=23082004/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3352 CPUtime=102.28 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 2999 0 0 0 9833 395 0 0 20 0 1 0 404329913 34377728 838 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 838 492 7937 0 421 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3352 KiB
[startup+162.3 s]
/proc/loadavg: 1.86 0.86 0.36 3/199 6819
/proc/meminfo: memFree=23081836/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3360 CPUtime=162.28 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 3297 0 0 0 15618 610 0 0 20 0 1 0 404329913 34377728 840 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 840 492 7937 0 421 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3360 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.06 0.46 3/199 6825
/proc/meminfo: memFree=23080436/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3364 CPUtime=222.28 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 3592 0 0 0 21389 839 0 0 20 0 1 0 404329913 34377728 841 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 841 492 7937 0 421 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3364 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 1.25 0.57 3/199 7146
/proc/meminfo: memFree=30365120/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3364 CPUtime=282.28 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 3889 0 0 0 27159 1069 0 0 20 0 1 0 404329913 34377728 841 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 841 492 7937 0 421 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3364 KiB
[startup+342.3 s]
/proc/loadavg: 2.38 1.47 0.68 3/200 7222
/proc/meminfo: memFree=31224656/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3364 CPUtime=342.28 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 4186 0 0 0 32921 1307 0 0 20 0 1 0 404329913 34377728 841 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 841 492 7937 0 421 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3364 KiB
[startup+402.3 s]
/proc/loadavg: 2.14 1.56 0.77 4/200 7228
/proc/meminfo: memFree=31223852/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3364 CPUtime=402.28 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 4484 0 0 0 38682 1546 0 0 20 0 1 0 404329913 34377728 841 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 841 492 7937 0 421 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3364 KiB
[startup+462.3 s]
/proc/loadavg: 2.05 1.64 0.84 4/200 7232
/proc/meminfo: memFree=31223436/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3368 CPUtime=462.27 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 4782 0 0 0 44462 1765 0 0 20 0 1 0 404329913 34377728 842 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 842 492 7937 0 421 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3368 KiB
################
# More data... #
################
Current children cumulated memory: 3376 KiB
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.57 3/199 7311
/proc/meminfo: memFree=31224880/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3376 CPUtime=1362.25 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 9287 0 0 0 130883 5342 0 0 20 0 1 0 404329913 34377728 844 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 844 492 7937 0 421 0
Current children cumulated CPU time: 1362.25 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3376 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.60 3/199 7316
/proc/meminfo: memFree=31224296/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3376 CPUtime=1422.25 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 9588 0 0 0 136673 5552 0 0 20 0 1 0 404329913 34377728 844 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 844 492 7937 0 421 0
Current children cumulated CPU time: 1422.25 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3376 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.62 3/199 7322
/proc/meminfo: memFree=31223664/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3376 CPUtime=1482.25 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 9889 0 0 0 142457 5768 0 0 20 0 1 0 404329913 34377728 844 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 844 492 7937 0 421 0
Current children cumulated CPU time: 1482.25 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3376 KiB
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.65 3/201 7335
/proc/meminfo: memFree=31224096/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3376 CPUtime=1542.25 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 10190 0 0 0 148256 5969 0 0 20 0 1 0 404329913 34377728 844 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 844 492 7937 0 421 0
Current children cumulated CPU time: 1542.25 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3376 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.67 3/201 7361
/proc/meminfo: memFree=31223780/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3376 CPUtime=1602.24 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 10491 0 0 0 154029 6195 0 0 20 0 1 0 404329913 34377728 844 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 844 492 7937 0 421 0
Current children cumulated CPU time: 1602.24 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3376 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.69 3/201 7367
/proc/meminfo: memFree=31223504/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3376 CPUtime=1662.24 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 10792 0 0 0 159821 6403 0 0 20 0 1 0 404329913 34377728 844 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 844 492 7937 0 421 0
Current children cumulated CPU time: 1662.24 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3376 KiB
[startup+1710.32 s]
# the end of solver process 6807 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1644.57 s, system=65.7011 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1664 s]*
/proc/loadavg: 2.00 2.00 1.69 3/201 7367
/proc/meminfo: memFree=31223504/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3376 CPUtime=1663.94 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 10792 0 0 0 159986 6408 0 0 20 0 1 0 404329913 34377728 844 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 844 492 7937 0 421 0
Current children cumulated CPU time: 1663.94 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3376 KiB
[startup+1689.6 s]
/proc/loadavg: 2.00 2.00 1.70 3/201 7367
/proc/meminfo: memFree=31223720/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3376 CPUtime=1689.54 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 11093 0 0 0 162456 6498 0 0 20 0 1 0 404329913 34377728 844 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 844 492 7937 0 421 0
Current children cumulated CPU time: 1689.54 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3376 KiB
[startup+1702.4 s]
/proc/loadavg: 2.00 2.00 1.70 3/202 7369
/proc/meminfo: memFree=31223544/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3376 CPUtime=1702.34 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 11093 0 0 0 163692 6542 0 0 20 0 1 0 404329913 34377728 844 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 844 492 7937 0 421 0
Current children cumulated CPU time: 1702.34 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3376 KiB
[startup+1705.6 s]
/proc/loadavg: 2.00 2.00 1.70 3/202 7369
/proc/meminfo: memFree=31223668/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3376 CPUtime=1705.54 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 11093 0 0 0 164000 6554 0 0 20 0 1 0 404329913 34377728 844 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 844 492 7937 0 421 0
Current children cumulated CPU time: 1705.54 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3376 KiB
[startup+1708.8 s]
/proc/loadavg: 2.00 2.00 1.70 3/201 7369
/proc/meminfo: memFree=31223576/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3376 CPUtime=1708.74 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 11093 0 0 0 164310 6564 0 0 20 0 1 0 404329913 34377728 844 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 844 492 7937 0 421 0
Current children cumulated CPU time: 1708.74 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3376 KiB
[startup+1709.6 s]
/proc/loadavg: 2.00 2.00 1.70 3/201 7369
/proc/meminfo: memFree=31223576/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3376 CPUtime=1709.54 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 11093 0 0 0 164387 6567 0 0 20 0 1 0 404329913 34377728 844 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 844 492 7937 0 421 0
Current children cumulated CPU time: 1709.54 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3376 KiB
[startup+1710 s]*
/proc/loadavg: 2.00 2.00 1.70 3/201 7369
/proc/meminfo: memFree=31223576/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3376 CPUtime=1709.95 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 11093 0 0 0 164426 6569 0 0 20 0 1 0 404329913 34377728 844 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 844 492 7937 0 421 0
Current children cumulated CPU time: 1709.95 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3376 KiB
[startup+1710.2 s]
/proc/loadavg: 2.00 2.00 1.70 3/201 7369
/proc/meminfo: memFree=31223576/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3376 CPUtime=1710.14 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 11093 0 0 0 164445 6569 0 0 20 0 1 0 404329913 34377728 844 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 844 492 7937 0 421 0
Current children cumulated CPU time: 1710.14 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3376 KiB
[startup+1710.3 s]
/proc/loadavg: 2.00 2.00 1.70 3/201 7369
/proc/meminfo: memFree=31223576/32770624 swapFree=66939992/67108860
[pid=6807] ppid=6804 vsize=33572 memory=3376 CPUtime=1710.24 cores=0,2,4,6
/proc/6807/stat : 6807 (BTD) R 6804 6807 6622 0 -1 4202496 11093 0 0 0 164455 6569 0 0 20 0 1 0 404329913 34377728 844 33554432000 4194304 36700936 140726418305680 140726418304728 8340231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38800048 38936640 62730240 140726418314280 140726418314356 140726418314356 140726418317265 0
/proc/6807/statm: 8393 844 492 7937 0 421 0
Current children cumulated CPU time: 1710.24 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3376 KiB
Child status: 0
Real time (s): 1710.32
CPU time (s): 1710.27
CPU user time (s): 1644.57
CPU system time (s): 65.7011
CPU usage (%): 99.997
Max. virtual memory (cumulated for all children) (KiB): 33572
Max. memory (cumulated for all children) (KiB): 3376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1644.57
system time used= 65.7011
maximum resident set size= 3396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11127
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= 2
involuntary context switches= 580
# summary of solver processes directly reported to runsolver:
# pid: 6807
# total CPU time (s): 1710.27
# total CPU user time (s): 1644.57
# total CPU system time (s): 65.7011
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.16123 second user time and 10.929 second system time
The end