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 (9571 MiB free)
memory of node 1: 16384 MiB (11603 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386681-1568280898/watcher-4386681-1568280898 -o /tmp/evaluation-result-4386681-1568280898/solver-4386681-1568280898 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568280858-9033 --watchdog 2580 BTD 2520 HOME/instance-4386681-1568280898.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
solver pid=9062, runsolver pid=9054
Current StackSize limit: 8192 KiB
[startup+0.100171 s]*
/proc/loadavg: 0.39 0.10 0.07 4/200 9063
/proc/meminfo: memFree=21673940/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=37376 memory=6844 CPUtime=0.03 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 1881 0 0 0 3 0 0 0 20 0 1 0 404029239 38273024 1711 33554432000 4194304 36700936 140729260744368 140729260744368 7949654 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 9344 1711 450 7937 0 1372 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 6844 KiB
[startup+0.209503 s]*
/proc/loadavg: 0.39 0.10 0.07 4/200 9063
/proc/meminfo: memFree=21662716/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=44240 memory=13708 CPUtime=0.14 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 3597 0 0 0 14 0 0 0 20 0 1 0 404029239 45301760 3427 33554432000 4194304 36700936 140729260744368 140729260736632 7949654 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 11060 3427 450 7937 0 3088 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 13708 KiB
[startup+0.309446 s]*
/proc/loadavg: 0.39 0.10 0.07 4/200 9063
/proc/meminfo: memFree=21650340/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=50312 memory=19780 CPUtime=0.24 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 5107 0 0 0 24 0 0 0 20 0 1 0 404029239 51519488 4945 33554432000 4194304 36700936 140729260744368 140729260737944 7949654 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 12578 4945 450 7937 0 4606 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 50312 KiB
Current children cumulated memory: 19780 KiB
[startup+0.700294 s]
/proc/loadavg: 0.39 0.10 0.07 4/200 9063
/proc/meminfo: memFree=21627896/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=72236 memory=41692 CPUtime=0.62 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 10599 0 0 0 61 1 0 0 20 0 1 0 404029239 73969664 10423 33554432000 4194304 36700936 140729260744368 140729260736632 7949654 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 18059 10423 450 7937 0 10087 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 72236 KiB
Current children cumulated memory: 41692 KiB
[startup+1.50028 s]
/proc/loadavg: 0.60 0.14 0.09 4/200 9063
/proc/meminfo: memFree=21560812/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=103236 memory=72844 CPUtime=1.42 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 18379 0 0 0 140 2 0 0 20 0 1 0 404029239 105713664 18211 33554432000 4194304 36700936 140729260744368 140729260742760 4309926 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 25809 18211 483 7937 0 17837 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 103236 KiB
Current children cumulated memory: 72844 KiB
[startup+3.10942 s]
/proc/loadavg: 0.60 0.14 0.09 4/200 9063
/proc/meminfo: memFree=21549332/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=103368 memory=73176 CPUtime=3.03 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 18475 0 0 0 301 2 0 0 20 0 1 0 404029239 105848832 18294 33554432000 4194304 36700936 140729260744368 140729260742760 4312015 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 25842 18294 483 7937 0 17870 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 103368 KiB
Current children cumulated memory: 73176 KiB
[startup+6.30026 s]
/proc/loadavg: 0.95 0.23 0.11 5/213 9092
/proc/meminfo: memFree=21420620/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=103896 memory=73628 CPUtime=6.22 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 18896 0 0 0 620 2 0 0 20 0 1 0 404029239 106389504 18407 33554432000 4194304 36700936 140729260744368 140729260742760 4312015 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 25974 18407 483 7937 0 18002 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 103896 KiB
Current children cumulated memory: 73628 KiB
[startup+12.7002 s]
/proc/loadavg: 1.04 0.25 0.12 3/200 9124
/proc/meminfo: memFree=21546448/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=104952 memory=74660 CPUtime=12.62 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 19409 0 0 0 1260 2 0 0 20 0 1 0 404029239 107470848 18665 33554432000 4194304 36700936 140729260744368 140729260742760 4312040 0 0 4096 0 0 0 0 17 1 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26238 18665 483 7937 0 18266 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 104952 KiB
Current children cumulated memory: 74660 KiB
[startup+25.5003 s]
/proc/loadavg: 1.12 0.30 0.14 3/200 9185
/proc/meminfo: memFree=21544920/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106264 memory=75480 CPUtime=25.42 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 34423 0 0 0 2539 3 0 0 20 0 1 0 404029239 108814336 18870 33554432000 4194304 36700936 140729260744368 140729260743416 4313721 0 0 4096 0 0 0 0 17 1 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26566 18870 518 7937 0 18594 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 106264 KiB
Current children cumulated memory: 75480 KiB
[startup+51.1092 s]
/proc/loadavg: 1.46 0.46 0.20 3/199 9188
/proc/meminfo: memFree=21543928/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106264 memory=75480 CPUtime=51.03 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 35347 0 0 0 5100 3 0 0 20 0 1 0 404029239 108814336 18870 33554432000 4194304 36700936 140729260744368 140729260743416 4313712 0 0 4096 0 0 0 0 17 1 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26566 18870 518 7937 0 18594 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 106264 KiB
Current children cumulated memory: 75480 KiB
[startup+102.3 s]
/proc/loadavg: 1.77 0.70 0.29 3/199 9192
/proc/meminfo: memFree=21542948/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106264 memory=75496 CPUtime=102.21 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 36101 0 0 0 10218 3 0 0 20 0 1 0 404029239 108814336 18874 33554432000 4194304 36700936 140729260744368 140729260743416 4313721 0 0 4096 0 0 0 0 17 1 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26566 18874 518 7937 0 18594 0
Current children cumulated CPU time: 102.21 s
Current children cumulated vsize: 106264 KiB
Current children cumulated memory: 75496 KiB
[startup+162.3 s]
/proc/loadavg: 1.91 0.93 0.40 3/200 9198
/proc/meminfo: memFree=21542536/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106264 memory=75528 CPUtime=162.21 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 36329 0 0 0 16218 3 0 0 20 0 1 0 404029239 108814336 18882 33554432000 4194304 36700936 140729260744368 140729260743416 4313712 0 0 4096 0 0 0 0 17 1 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26566 18882 518 7937 0 18594 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 106264 KiB
Current children cumulated memory: 75528 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.13 0.50 3/199 9202
/proc/meminfo: memFree=21542552/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106264 memory=75580 CPUtime=222.2 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 36514 0 0 0 22217 3 0 0 20 0 1 0 404029239 108814336 18895 33554432000 4194304 36700936 140729260744368 140729260743416 4313745 0 0 4096 0 0 0 0 17 1 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26566 18895 518 7937 0 18594 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 106264 KiB
Current children cumulated memory: 75580 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.29 0.59 3/199 9206
/proc/meminfo: memFree=21542272/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106264 memory=75596 CPUtime=282.19 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 36710 0 0 0 28216 3 0 0 20 0 1 0 404029239 108814336 18899 33554432000 4194304 36700936 140729260744368 140729260743416 4310117 0 0 4096 0 0 0 0 17 1 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26566 18899 518 7937 0 18594 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 106264 KiB
Current children cumulated memory: 75596 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.42 0.68 3/200 9219
/proc/meminfo: memFree=21541252/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106264 memory=75596 CPUtime=342.2 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 36892 0 0 0 34216 4 0 0 20 0 1 0 404029239 108814336 18899 33554432000 4194304 36700936 140729260744368 140729260743416 4313320 0 0 4096 0 0 0 0 17 1 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26566 18899 518 7937 0 18594 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 106264 KiB
Current children cumulated memory: 75596 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.52 0.76 3/199 9223
/proc/meminfo: memFree=21542272/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106264 memory=75620 CPUtime=402.19 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 37102 0 0 0 40215 4 0 0 20 0 1 0 404029239 108814336 18905 33554432000 4194304 36700936 140729260744368 140729260743416 4313745 0 0 4096 0 0 0 0 17 1 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26566 18905 518 7937 0 18594 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 106264 KiB
Current children cumulated memory: 75620 KiB
[startup+462.3 s]
/proc/loadavg: 1.94 1.59 0.84 3/199 9227
/proc/meminfo: memFree=21542572/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106264 memory=75620 CPUtime=462.18 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 37270 0 0 0 46214 4 0 0 20 0 1 0 404029239 108814336 18905 33554432000 4194304 36700936 140729260744368 140729260743416 4313712 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26566 18905 518 7937 0 18594 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 106264 KiB
Current children cumulated memory: 75620 KiB
[startup+522.3 s]
/proc/loadavg: 2.26 1.73 0.93 3/200 9233
/proc/meminfo: memFree=21542876/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106264 memory=75620 CPUtime=522.17 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 37435 0 0 0 52213 4 0 0 20 0 1 0 404029239 108814336 18905 33554432000 4194304 36700936 140729260744368 140729260743416 4313320 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26566 18905 518 7937 0 18594 0
Current children cumulated CPU time: 522.17 s
Current children cumulated vsize: 106264 KiB
Current children cumulated memory: 75620 KiB
[startup+582.3 s]
/proc/loadavg: 2.29 1.85 1.02 3/199 9237
/proc/meminfo: memFree=21542508/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106516 memory=75780 CPUtime=582.15 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 37703 0 0 0 58211 4 0 0 20 0 1 0 404029239 109072384 18945 33554432000 4194304 36700936 140729260744368 140729260743416 4308944 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26629 18945 518 7937 0 18657 0
Current children cumulated CPU time: 582.15 s
Current children cumulated vsize: 106516 KiB
Current children cumulated memory: 75780 KiB
[startup+642.3 s]
/proc/loadavg: 2.11 1.88 1.08 3/199 9241
/proc/meminfo: memFree=21543664/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106516 memory=75780 CPUtime=642.14 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 37853 0 0 0 64210 4 0 0 20 0 1 0 404029239 109072384 18945 33554432000 4194304 36700936 140729260744368 140729260743416 8340231 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26629 18945 518 7937 0 18657 0
Current children cumulated CPU time: 642.14 s
Current children cumulated vsize: 106516 KiB
Current children cumulated memory: 75780 KiB
[startup+702.3 s]
/proc/loadavg: 2.04 1.90 1.14 3/199 9245
/proc/meminfo: memFree=21543464/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106516 memory=75780 CPUtime=702.13 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 38001 0 0 0 70208 5 0 0 20 0 1 0 404029239 109072384 18945 33554432000 4194304 36700936 140729260744368 140729260743416 4313745 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26629 18945 518 7937 0 18657 0
Current children cumulated CPU time: 702.13 s
Current children cumulated vsize: 106516 KiB
Current children cumulated memory: 75780 KiB
[startup+762.3 s]
/proc/loadavg: 2.01 1.92 1.19 3/199 9251
/proc/meminfo: memFree=21543204/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106516 memory=75832 CPUtime=762.12 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 38202 0 0 0 76207 5 0 0 20 0 1 0 404029239 109072384 18958 33554432000 4194304 36700936 140729260744368 140729260743416 4313320 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26629 18958 518 7937 0 18657 0
Current children cumulated CPU time: 762.12 s
Current children cumulated vsize: 106516 KiB
Current children cumulated memory: 75832 KiB
[startup+820.912 s]
# the end of solver process 9062 was just reported to runsolver
# cumulated CPU time of all completed processes: user=820.666 s, system=0.057991 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+768 s]*
/proc/loadavg: 2.01 1.92 1.20 3/199 9251
/proc/meminfo: memFree=21543236/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106516 memory=75832 CPUtime=767.82 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 38202 0 0 0 76777 5 0 0 20 0 1 0 404029239 109072384 18958 33554432000 4194304 36700936 140729260744368 140729260743416 4313721 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26629 18958 518 7937 0 18657 0
Current children cumulated CPU time: 767.82 s
Current children cumulated vsize: 106516 KiB
Current children cumulated memory: 75832 KiB
[startup+793.6 s]
/proc/loadavg: 2.01 1.93 1.22 3/200 9253
/proc/meminfo: memFree=21542748/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106516 memory=75832 CPUtime=793.41 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 38316 0 0 0 79336 5 0 0 20 0 1 0 404029239 109072384 18958 33554432000 4194304 36700936 140729260744368 140729260743416 4313745 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26629 18958 518 7937 0 18657 0
Current children cumulated CPU time: 793.41 s
Current children cumulated vsize: 106516 KiB
Current children cumulated memory: 75832 KiB
[startup+806.4 s]
/proc/loadavg: 2.01 1.93 1.23 3/199 9254
/proc/meminfo: memFree=21542924/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106516 memory=75832 CPUtime=806.2 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 38324 0 0 0 80615 5 0 0 20 0 1 0 404029239 109072384 18958 33554432000 4194304 36700936 140729260744368 140729260743416 4313745 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26629 18958 518 7937 0 18657 0
Current children cumulated CPU time: 806.2 s
Current children cumulated vsize: 106516 KiB
Current children cumulated memory: 75832 KiB
[startup+812.8 s]
/proc/loadavg: 2.01 1.93 1.24 3/199 9255
/proc/meminfo: memFree=21543048/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106516 memory=75832 CPUtime=812.6 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 38327 0 0 0 81255 5 0 0 20 0 1 0 404029239 109072384 18958 33554432000 4194304 36700936 140729260744368 140729260743416 4313320 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26629 18958 518 7937 0 18657 0
Current children cumulated CPU time: 812.6 s
Current children cumulated vsize: 106516 KiB
Current children cumulated memory: 75832 KiB
[startup+816 s]*
/proc/loadavg: 2.01 1.93 1.24 3/199 9255
/proc/meminfo: memFree=21543048/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106516 memory=75832 CPUtime=815.81 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 38330 0 0 0 81576 5 0 0 20 0 1 0 404029239 109072384 18958 33554432000 4194304 36700936 140729260744368 140729260743416 4313320 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26629 18958 518 7937 0 18657 0
Current children cumulated CPU time: 815.81 s
Current children cumulated vsize: 106516 KiB
Current children cumulated memory: 75832 KiB
[startup+819.2 s]
/proc/loadavg: 2.01 1.93 1.24 3/199 9255
/proc/meminfo: memFree=21543048/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106516 memory=75832 CPUtime=819 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 38333 0 0 0 81895 5 0 0 20 0 1 0 404029239 109072384 18958 33554432000 4194304 36700936 140729260744368 140729260743416 4313712 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26629 18958 518 7937 0 18657 0
Current children cumulated CPU time: 819 s
Current children cumulated vsize: 106516 KiB
Current children cumulated memory: 75832 KiB
[startup+820 s]*
/proc/loadavg: 2.01 1.93 1.24 3/199 9255
/proc/meminfo: memFree=21543172/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106516 memory=75832 CPUtime=819.81 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 38335 0 0 0 81976 5 0 0 20 0 1 0 404029239 109072384 18958 33554432000 4194304 36700936 140729260744368 140729260743416 4313745 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26629 18958 518 7937 0 18657 0
Current children cumulated CPU time: 819.81 s
Current children cumulated vsize: 106516 KiB
Current children cumulated memory: 75832 KiB
[startup+820.4 s]
/proc/loadavg: 2.01 1.93 1.24 3/199 9255
/proc/meminfo: memFree=21543172/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106516 memory=75832 CPUtime=820.2 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 38336 0 0 0 82015 5 0 0 20 0 1 0 404029239 109072384 18958 33554432000 4194304 36700936 140729260744368 140729260743416 4313320 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26629 18958 518 7937 0 18657 0
Current children cumulated CPU time: 820.2 s
Current children cumulated vsize: 106516 KiB
Current children cumulated memory: 75832 KiB
[startup+820.8 s]
/proc/loadavg: 2.01 1.93 1.24 3/199 9255
/proc/meminfo: memFree=21543172/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106516 memory=75832 CPUtime=820.6 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 38337 0 0 0 82055 5 0 0 20 0 1 0 404029239 109072384 18958 33554432000 4194304 36700936 140729260744368 140729260743416 4313320 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26629 18958 518 7937 0 18657 0
Current children cumulated CPU time: 820.6 s
Current children cumulated vsize: 106516 KiB
Current children cumulated memory: 75832 KiB
[startup+820.9 s]
/proc/loadavg: 2.01 1.93 1.24 3/199 9255
/proc/meminfo: memFree=21543172/32770624 swapFree=66999088/67108860
[pid=9062] ppid=9054 vsize=106516 memory=75832 CPUtime=820.7 cores=1,3,5,7
/proc/9062/stat : 9062 (BTD) R 9054 9062 9001 0 -1 4202496 38337 0 0 0 82065 5 0 0 20 0 1 0 404029239 109072384 18958 33554432000 4194304 36700936 140729260744368 140729260743416 8340231 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 38800048 38936640 53633024 140729260745768 140729260745844 140729260745844 140729260748753 0
/proc/9062/statm: 26629 18958 518 7937 0 18657 0
Current children cumulated CPU time: 820.7 s
Current children cumulated vsize: 106516 KiB
Current children cumulated memory: 75832 KiB
Child status: 0
Real time (s): 820.912
CPU time (s): 820.724
CPU user time (s): 820.666
CPU system time (s): 0.057991
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 106516
Max. memory (cumulated for all children) (KiB): 75832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 820.666
system time used= 0.057991
maximum resident set size= 75832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38593
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= 2435
# summary of solver processes directly reported to runsolver:
# pid: 9062
# total CPU time (s): 820.724
# total CPU user time (s): 820.666
# total CPU system time (s): 0.057991
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.86971 second user time and 5.29221 second system time
The end