runsolver version 3.4.2 (svn: 4680) 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: 64096 MiB (62747 MiB free)
  memory of node 1: 64473 MiB (63022 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458483-1722831183/watcher-4458483-1722831183 -o /tmp/evaluation-result-4458483-1722831183/solver-4458483-1722831183 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722827618-264631 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4458483-1722831183.opb -t 3558 -s 196625318 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=266566, runsolver pid=266563

[startup+0.100095 s]*
/proc/loadavg: 4.01 4.08 4.13 4/237 266575
/proc/meminfo: memFree=128783664/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=17928 CPUtime=0.1 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3928 0 0 0 9 1 0 0 20 0 1 0 49488918 26148864 4482 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4482 2476 2403 0 3494 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 17928 KiB

[startup+0.212523 s]*
/proc/loadavg: 4.01 4.08 4.13 5/237 266575
/proc/meminfo: memFree=128781808/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=17928 CPUtime=0.21 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3928 0 0 0 18 3 0 0 20 0 1 0 49488918 26148864 4482 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4482 2476 2403 0 3494 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 17928 KiB

[startup+0.311567 s]*
/proc/loadavg: 4.01 4.08 4.13 4/239 266581
/proc/meminfo: memFree=128779972/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=17928 CPUtime=0.31 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 27 4 0 0 20 0 1 0 49488918 26148864 4482 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4482 2476 2403 0 3494 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 17928 KiB

[startup+0.700245 s]
/proc/loadavg: 4.01 4.08 4.13 4/236 266600
/proc/meminfo: memFree=128793612/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=17928 CPUtime=0.69 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 59 10 0 0 20 0 1 0 49488918 26148864 4482 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4482 2476 2403 0 3494 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 17928 KiB

[startup+1.50024 s]
/proc/loadavg: 4.01 4.08 4.13 5/242 266613
/proc/meminfo: memFree=128757672/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=17928 CPUtime=1.48 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 127 21 0 0 20 0 1 0 49488918 26148864 4482 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4482 2476 2403 0 3494 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 17928 KiB

[startup+3.11131 s]
/proc/loadavg: 4.01 4.08 4.13 5/242 266705
/proc/meminfo: memFree=129112608/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=17928 CPUtime=3.08 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 266 42 0 0 20 0 1 0 49488918 26148864 4482 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4482 2476 2403 0 3494 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 17928 KiB

[startup+6.30024 s]
/proc/loadavg: 4.09 4.09 4.13 5/242 266705
/proc/meminfo: memFree=128939720/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=17928 CPUtime=6.27 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 544 83 0 0 20 0 1 0 49488918 26148864 4482 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4482 2476 2403 0 3494 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 17928 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.13 5/242 266707
/proc/meminfo: memFree=128693912/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=12.66 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 1093 173 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+25.5003 s]
/proc/loadavg: 4.06 4.08 4.13 5/242 266708
/proc/meminfo: memFree=128675432/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=25.42 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 2191 351 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+51.1113 s]
/proc/loadavg: 4.12 4.09 4.13 5/242 266713
/proc/meminfo: memFree=128673632/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=50.98 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 4376 722 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.12 5/242 266721
/proc/meminfo: memFree=128665712/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=102.05 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 8750 1455 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.12 5/239 266732
/proc/meminfo: memFree=128646064/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=161.92 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 13879 2313 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/238 266743
/proc/meminfo: memFree=128617792/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=221.8 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 19013 3167 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.08 4.11 5/238 266754
/proc/meminfo: memFree=128589276/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=281.66 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 24132 4034 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.10 4.11 5/240 266768
/proc/meminfo: memFree=128569796/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=341.53 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 29258 4895 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 341.53 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+402.3 s]
/proc/loadavg: 4.22 4.13 4.11 5/240 266779
/proc/meminfo: memFree=128540428/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=401.4 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 34381 5759 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 401.4 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/242 266793
/proc/meminfo: memFree=128509928/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=461.28 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 39507 6621 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0

################
# More data... #
################

/proc/loadavg: 4.10 4.10 4.09 5/239 268483
/proc/meminfo: memFree=128443288/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=3215.31 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 275568 45963 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 3215.31 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/239 268493
/proc/meminfo: memFree=128443128/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=3275.17 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 280692 46825 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 3275.17 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/239 268503
/proc/meminfo: memFree=128442880/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=3335.05 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 285822 47683 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 3335.05 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/238 268515
/proc/meminfo: memFree=128442684/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=3394.91 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 290943 48548 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 3394.91 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/241 268531
/proc/meminfo: memFree=128442156/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=3454.78 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 296072 49406 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 3454.78 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/241 268541
/proc/meminfo: memFree=128441836/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=3514.65 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 301185 50280 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 3514.65 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+3565.74 s]
# the end of solver process 266566 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3048.97 s, system=509.04 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3532.8 s]
/proc/loadavg: 4.06 4.10 4.09 5/241 268543
/proc/meminfo: memFree=128441780/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=3525.13 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 302085 50428 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 3525.13 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+3545.6 s]
/proc/loadavg: 4.19 4.12 4.10 5/241 268544
/proc/meminfo: memFree=128441708/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=3537.9 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 303177 50613 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 3537.9 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+3558.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/241 268547
/proc/meminfo: memFree=128441584/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=3550.68 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 304272 50796 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 3550.68 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+3561.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/241 268548
/proc/meminfo: memFree=128441576/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=3553.87 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 304543 50844 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 3553.87 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+3563.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/241 268548
/proc/meminfo: memFree=128441592/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=3555.47 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 304682 50865 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 3555.47 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+3564.8 s]
/proc/loadavg: 4.14 4.12 4.09 5/241 268548
/proc/meminfo: memFree=128441600/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=3557.06 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 304815 50891 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 3557.06 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+3565.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/235 268584
/proc/meminfo: memFree=128458996/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=3557.46 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 304850 50896 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 3557.46 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+3565.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/235 268584
/proc/meminfo: memFree=128458996/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=3557.86 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 304884 50902 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 3557.86 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

[startup+3565.7 s]
/proc/loadavg: 4.14 4.12 4.09 5/235 268584
/proc/meminfo: memFree=128458996/131655788 swapFree=131071216/131071996
[pid=266566] ppid=266563 vsize=25536 memory=18172 CPUtime=3557.96 cores=1,3
/proc/266566/stat : 266566 (LS-MabS) R 266563 266566 264619 0 -1 4194304 3931 0 0 0 304893 50903 0 0 20 0 1 0 49488918 26148864 4543 134679101440 4194304 14036057 140723263122192 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23228416 140723263128613 140723263128714 140723263128714 140723263135726 0
/proc/266566/statm: 6384 4543 2476 2403 0 3494 0
Current children cumulated CPU time: 3557.96 s
Current children cumulated vsize: 25536 KiB
Current children cumulated memory: 18172 KiB

Child status: 0

Real time (s): 3565.74
CPU time (s): 3558.01
CPU user time (s): 3048.97
CPU system time (s): 509.04
CPU usage (%): 99.7832
Max. virtual memory (cumulated for all children) (KiB): 25536
Max. memory (cumulated for all children) (KiB): 18172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3048.97
system time used= 509.04
maximum resident set size= 24636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3935
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= 923


# summary of solver processes directly reported to runsolver:
#   pid: 266566
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3048.97
#   total CPU system time (s): 509.04

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4348 second user time and 28.1708 second system time

The end