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: 63968 MiB (62701 MiB free)
  memory of node 1: 64473 MiB (63828 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428154-1722776713/watcher-4428154-1722776713 -o /tmp/evaluation-result-4428154-1722776713/solver-4428154-1722776713 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722769582-236743 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428154-1722776713.opb -t 3558 -s 741050824 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB

solver pid=240527, runsolver pid=240524

[startup+0.100566 s]*
/proc/loadavg: 1.09 1.09 1.09 2/236 240528
/proc/meminfo: memFree=129520080/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=68276 memory=55244 CPUtime=0.09 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 11822 0 0 0 8 1 0 0 20 0 1 0 44272364 69914624 13811 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 17069 13811 2301 2403 0 14179 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68276 KiB
Current children cumulated memory: 55244 KiB

[startup+0.205087 s]*
/proc/loadavg: 1.09 1.09 1.09 2/236 240528
/proc/meminfo: memFree=129512832/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=76416 memory=62756 CPUtime=0.19 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 13674 0 0 0 18 1 0 0 20 0 1 0 44272364 78249984 15689 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 19104 15689 2333 2403 0 16214 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 76416 KiB
Current children cumulated memory: 62756 KiB

[startup+0.304994 s]*
/proc/loadavg: 1.09 1.09 1.09 2/236 240528
/proc/meminfo: memFree=129512384/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=76416 memory=63080 CPUtime=0.29 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 13680 0 0 0 28 1 0 0 20 0 1 0 44272364 78249984 15770 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 19104 15770 2349 2403 0 16214 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 76416 KiB
Current children cumulated memory: 63080 KiB

[startup+0.700141 s]
/proc/loadavg: 1.09 1.09 1.09 2/236 240528
/proc/meminfo: memFree=129512300/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=77000 memory=63608 CPUtime=0.68 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 13825 0 0 0 67 1 0 0 20 0 1 0 44272364 78848000 15902 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 19250 15902 2349 2403 0 16360 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 77000 KiB
Current children cumulated memory: 63608 KiB

[startup+1.50016 s]
/proc/loadavg: 1.09 1.09 1.09 2/236 240528
/proc/meminfo: memFree=129510928/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=112048 memory=92452 CPUtime=1.48 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 19508 0 0 0 146 2 0 0 20 0 1 0 44272364 114737152 23113 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 28012 23113 2365 2403 0 25122 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 112048 KiB
Current children cumulated memory: 92452 KiB

[startup+3.10489 s]
/proc/loadavg: 1.09 1.09 1.09 2/236 240528
/proc/meminfo: memFree=129434152/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=166600 memory=142280 CPUtime=3.08 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 31521 0 0 0 304 4 0 0 20 0 1 0 44272364 170598400 35570 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 41650 35570 2461 2403 0 38760 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 166600 KiB
Current children cumulated memory: 142280 KiB

[startup+6.30021 s]
/proc/loadavg: 1.08 1.09 1.09 2/236 240530
/proc/meminfo: memFree=129412524/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=215520 memory=163768 CPUtime=6.27 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 37303 0 0 0 622 5 0 0 20 0 1 0 44272364 220692480 40942 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 53880 40942 2461 2403 0 50990 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 215520 KiB
Current children cumulated memory: 163768 KiB

[startup+12.7002 s]
/proc/loadavg: 1.07 1.09 1.09 2/236 240531
/proc/meminfo: memFree=129387480/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=240896 memory=187808 CPUtime=12.66 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 44481 0 0 0 1260 6 0 0 20 0 1 0 44272364 246677504 46952 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 60224 46952 2461 2403 0 57334 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 240896 KiB
Current children cumulated memory: 187808 KiB

[startup+25.5002 s]
/proc/loadavg: 1.12 1.10 1.09 2/234 240532
/proc/meminfo: memFree=129387056/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=240896 memory=187808 CPUtime=25.42 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 44495 0 0 0 2535 7 0 0 20 0 1 0 44272364 246677504 46952 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 60224 46952 2461 2403 0 57334 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 240896 KiB
Current children cumulated memory: 187808 KiB

[startup+51.105 s]
/proc/loadavg: 1.16 1.11 1.09 2/234 240537
/proc/meminfo: memFree=129336172/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=304500 memory=237964 CPUtime=50.97 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 65199 0 0 0 5084 13 0 0 20 0 1 0 44272364 311808000 59491 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 76125 59491 2461 2403 0 73235 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 304500 KiB
Current children cumulated memory: 237964 KiB

[startup+102.3 s]
/proc/loadavg: 1.14 1.10 1.09 2/234 240545
/proc/meminfo: memFree=129233484/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=449804 memory=339968 CPUtime=102.03 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 97322 0 0 0 10181 22 0 0 20 0 1 0 44272364 460599296 84992 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 112451 84992 2461 2403 0 109561 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 449804 KiB
Current children cumulated memory: 339968 KiB

[startup+162.3 s]
/proc/loadavg: 1.11 1.10 1.09 2/234 240558
/proc/meminfo: memFree=129141380/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=556256 memory=431476 CPUtime=161.88 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 119141 0 0 0 16162 26 0 0 20 0 1 0 44272364 569606144 107869 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 139064 107869 2461 2403 0 136174 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 556256 KiB
Current children cumulated memory: 431476 KiB

[startup+222.3 s]
/proc/loadavg: 1.08 1.09 1.09 2/234 240568
/proc/meminfo: memFree=129093348/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=770332 memory=478140 CPUtime=221.73 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 126347 0 0 0 22146 27 0 0 20 0 1 0 44272364 788819968 119535 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 192583 119535 2461 2403 0 189693 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 770332 KiB
Current children cumulated memory: 478140 KiB

[startup+282.3 s]
/proc/loadavg: 1.13 1.10 1.09 2/234 240578
/proc/meminfo: memFree=129024164/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=895568 memory=546248 CPUtime=281.58 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 133904 0 0 0 28129 29 0 0 20 0 1 0 44272364 917061632 136562 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 223892 136562 2461 2403 0 221002 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 895568 KiB
Current children cumulated memory: 546248 KiB

[startup+342.3 s]
/proc/loadavg: 1.09 1.10 1.09 2/235 240593
/proc/meminfo: memFree=128932764/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=1000956 memory=637396 CPUtime=341.42 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 150773 0 0 0 34111 31 0 0 20 0 1 0 44272364 1024978944 159349 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 250239 159349 2717 2403 0 247349 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 1000956 KiB
Current children cumulated memory: 637396 KiB

[startup+402.3 s]
/proc/loadavg: 1.15 1.11 1.09 2/235 240604
/proc/meminfo: memFree=128781212/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=1150668 memory=788188 CPUtime=401.28 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 171563 0 0 0 40094 34 0 0 20 0 1 0 44272364 1178284032 197047 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 287667 197047 2717 2403 0 284777 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 1150668 KiB
Current children cumulated memory: 788188 KiB

[startup+462.3 s]
/proc/loadavg: 1.12 1.10 1.09 2/235 240614
/proc/meminfo: memFree=128677096/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=1222200 memory=891496 CPUtime=461.13 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 181074 0 0 0 46077 36 0 0 20 0 1 0 44272364 1251532800 222874 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0

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

/proc/loadavg: 1.12 1.10 1.09 2/236 242114
/proc/meminfo: memFree=127625264/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=2014008 memory=2007916 CPUtime=3155.7 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 351075 0 0 0 311880 3690 0 0 20 0 1 0 44272364 2062344192 501979 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 503502 501979 2748 2403 0 500612 0
Current children cumulated CPU time: 3155.7 s
Current children cumulated vsize: 2014008 KiB
Current children cumulated memory: 2007916 KiB

[startup+3222.3 s]
/proc/loadavg: 1.10 1.09 1.09 2/238 242294
/proc/meminfo: memFree=127624532/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=2014008 memory=2007916 CPUtime=3215.6 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 351087 0 0 0 317699 3861 0 0 20 0 1 0 44272364 2062344192 501979 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 503502 501979 2748 2403 0 500612 0
Current children cumulated CPU time: 3215.6 s
Current children cumulated vsize: 2014008 KiB
Current children cumulated memory: 2007916 KiB

[startup+3282.3 s]
/proc/loadavg: 1.07 1.09 1.09 2/238 242305
/proc/meminfo: memFree=127623816/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=2014008 memory=2007916 CPUtime=3275.5 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 351099 0 0 0 323500 4050 0 0 20 0 1 0 44272364 2062344192 501979 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 503502 501979 2748 2403 0 500612 0
Current children cumulated CPU time: 3275.5 s
Current children cumulated vsize: 2014008 KiB
Current children cumulated memory: 2007916 KiB

[startup+3342.3 s]
/proc/loadavg: 1.08 1.09 1.09 2/237 242318
/proc/meminfo: memFree=127623100/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=2014008 memory=2007916 CPUtime=3335.4 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 351111 0 0 0 329329 4211 0 0 20 0 1 0 44272364 2062344192 501979 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 503502 501979 2748 2403 0 500612 0
Current children cumulated CPU time: 3335.4 s
Current children cumulated vsize: 2014008 KiB
Current children cumulated memory: 2007916 KiB

[startup+3402.3 s]
/proc/loadavg: 1.07 1.08 1.09 2/237 242340
/proc/meminfo: memFree=127622604/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=2014008 memory=2007916 CPUtime=3395.29 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 351123 0 0 0 335139 4390 0 0 20 0 1 0 44272364 2062344192 501979 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 503502 501979 2748 2403 0 500612 0
Current children cumulated CPU time: 3395.29 s
Current children cumulated vsize: 2014008 KiB
Current children cumulated memory: 2007916 KiB

[startup+3462.3 s]
/proc/loadavg: 1.13 1.10 1.09 2/236 242350
/proc/meminfo: memFree=127621896/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=2014008 memory=2007916 CPUtime=3455.2 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 351135 0 0 0 340951 4569 0 0 20 0 1 0 44272364 2062344192 501979 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 503502 501979 2748 2403 0 500612 0
Current children cumulated CPU time: 3455.2 s
Current children cumulated vsize: 2014008 KiB
Current children cumulated memory: 2007916 KiB

[startup+3522.3 s]
/proc/loadavg: 1.10 1.09 1.09 2/235 242360
/proc/meminfo: memFree=127621160/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=2014008 memory=2007916 CPUtime=3515.1 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 351147 0 0 0 346768 4742 0 0 20 0 1 0 44272364 2062344192 501979 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 503502 501979 2748 2403 0 500612 0
Current children cumulated CPU time: 3515.1 s
Current children cumulated vsize: 2014008 KiB
Current children cumulated memory: 2007916 KiB

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

# cumulated CPU time of all completed processes:  user=3509.16 s, system=48.8483 s

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

[startup+3532.8 s]
/proc/loadavg: 1.09 1.09 1.09 2/235 242362
/proc/meminfo: memFree=127621104/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=2014008 memory=2007916 CPUtime=3525.58 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 351147 0 0 0 347781 4777 0 0 20 0 1 0 44272364 2062344192 501979 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 503502 501979 2748 2403 0 500612 0
Current children cumulated CPU time: 3525.58 s
Current children cumulated vsize: 2014008 KiB
Current children cumulated memory: 2007916 KiB

[startup+3545.6 s]
/proc/loadavg: 1.15 1.10 1.09 2/235 242364
/proc/meminfo: memFree=127621048/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=2014008 memory=2007916 CPUtime=3538.36 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 351150 0 0 0 349020 4816 0 0 20 0 1 0 44272364 2062344192 501979 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 503502 501979 2748 2403 0 500612 0
Current children cumulated CPU time: 3538.36 s
Current children cumulated vsize: 2014008 KiB
Current children cumulated memory: 2007916 KiB

[startup+3558.4 s]
/proc/loadavg: 1.11 1.10 1.09 2/235 242369
/proc/meminfo: memFree=127620744/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=2014008 memory=2007916 CPUtime=3551.14 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 351153 0 0 0 350255 4859 0 0 20 0 1 0 44272364 2062344192 501979 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 503502 501979 2748 2403 0 500612 0
Current children cumulated CPU time: 3551.14 s
Current children cumulated vsize: 2014008 KiB
Current children cumulated memory: 2007916 KiB

[startup+3561.6 s]
/proc/loadavg: 1.10 1.09 1.09 2/235 242369
/proc/meminfo: memFree=127620760/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=2014008 memory=2007916 CPUtime=3554.33 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 351153 0 0 0 350565 4868 0 0 20 0 1 0 44272364 2062344192 501979 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 503502 501979 2748 2403 0 500612 0
Current children cumulated CPU time: 3554.33 s
Current children cumulated vsize: 2014008 KiB
Current children cumulated memory: 2007916 KiB

[startup+3563.2 s]
/proc/loadavg: 1.10 1.09 1.09 2/235 242369
/proc/meminfo: memFree=127620768/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=2014008 memory=2007916 CPUtime=3555.93 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 351153 0 0 0 350717 4876 0 0 20 0 1 0 44272364 2062344192 501979 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 503502 501979 2748 2403 0 500612 0
Current children cumulated CPU time: 3555.93 s
Current children cumulated vsize: 2014008 KiB
Current children cumulated memory: 2007916 KiB

[startup+3564 s]*
/proc/loadavg: 1.10 1.09 1.09 2/235 242369
/proc/meminfo: memFree=127620768/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=2014008 memory=2007916 CPUtime=3556.73 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 351153 0 0 0 350795 4878 0 0 20 0 1 0 44272364 2062344192 501979 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 503502 501979 2748 2403 0 500612 0
Current children cumulated CPU time: 3556.73 s
Current children cumulated vsize: 2014008 KiB
Current children cumulated memory: 2007916 KiB

[startup+3564.8 s]
/proc/loadavg: 1.10 1.09 1.09 2/235 242369
/proc/meminfo: memFree=127620768/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=2014008 memory=2007916 CPUtime=3557.52 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 351153 0 0 0 350871 4881 0 0 20 0 1 0 44272364 2062344192 501979 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 503502 501979 2748 2403 0 500612 0
Current children cumulated CPU time: 3557.52 s
Current children cumulated vsize: 2014008 KiB
Current children cumulated memory: 2007916 KiB

[startup+3565.2 s]
/proc/loadavg: 1.10 1.09 1.09 2/235 242369
/proc/meminfo: memFree=127620776/131524600 swapFree=131063756/131071996
[pid=240527] ppid=240524 vsize=2014008 memory=2007916 CPUtime=3557.92 cores=5,7
/proc/240527/stat : 240527 (LS-MabS) R 240524 240527 236730 0 -1 4194304 351153 0 0 0 350909 4883 0 0 20 0 1 0 44272364 2062344192 501979 134679101440 4194304 14036057 140720464951360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 53874688 140720464954401 140720464954502 140720464954502 140720464961518 0
/proc/240527/statm: 503502 501979 2748 2403 0 500612 0
Current children cumulated CPU time: 3557.92 s
Current children cumulated vsize: 2014008 KiB
Current children cumulated memory: 2007916 KiB

Child status: 0

Real time (s): 3565.27
CPU time (s): 3558.01
CPU user time (s): 3509.16
CPU system time (s): 48.8483
CPU usage (%): 99.7963
Max. virtual memory (cumulated for all children) (KiB): 2216400
Max. memory (cumulated for all children) (KiB): 2007916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3509.16
system time used= 48.8483
maximum resident set size= 2007916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351162
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= 84
involuntary context switches= 3678


# summary of solver processes directly reported to runsolver:
#   pid: 240527
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3509.16
#   total CPU system time (s): 48.8483

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.48396 second user time and 12.4137 second system time

The end