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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428313-1722806084/watcher-4428313-1722806084 -o /tmp/evaluation-result-4428313-1722806084/solver-4428313-1722806084 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722806084-258112 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428313-1722806084.opb -t 3558 -s 2019462709 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=258158, runsolver pid=258151

[startup+0.101065 s]*
/proc/loadavg: 0.06 0.08 0.09 6/244 258175
/proc/meminfo: memFree=128567052/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=36296 memory=26624 CPUtime=0.1 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 4542 0 0 0 9 1 0 0 20 0 1 0 46979496 37167104 6656 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 9074 6656 2317 2403 0 6184 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 26624 KiB

[startup+0.213862 s]*
/proc/loadavg: 0.06 0.08 0.09 6/244 258175
/proc/meminfo: memFree=128517604/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=42260 memory=32676 CPUtime=0.21 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6057 0 0 0 20 1 0 0 20 0 1 0 46979496 43274240 8169 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 10565 8169 2429 2403 0 7675 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42260 KiB
Current children cumulated memory: 32676 KiB

[startup+0.31397 s]*
/proc/loadavg: 0.06 0.08 0.09 6/244 258175
/proc/meminfo: memFree=128441388/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=44276 memory=34552 CPUtime=0.32 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6497 0 0 0 30 2 0 0 20 0 1 0 46979496 45338624 8638 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 11069 8638 2445 2403 0 8179 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 44276 KiB
Current children cumulated memory: 34552 KiB

[startup+0.700331 s]
/proc/loadavg: 0.06 0.08 0.09 6/244 258175
/proc/meminfo: memFree=128287732/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=22828 CPUtime=0.69 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6858 0 0 0 66 3 0 0 20 0 1 0 46979496 31461376 5707 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5707 2492 2403 0 4791 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 22828 KiB

[startup+1.50033 s]
/proc/loadavg: 0.06 0.08 0.09 6/244 258175
/proc/meminfo: memFree=128186504/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=22828 CPUtime=1.48 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6858 0 0 0 141 7 0 0 20 0 1 0 46979496 31461376 5707 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5707 2492 2403 0 4791 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 22828 KiB

[startup+3.11331 s]
/proc/loadavg: 0.06 0.08 0.09 6/244 258177
/proc/meminfo: memFree=128028896/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=22828 CPUtime=3.08 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6870 0 0 0 293 15 0 0 20 0 1 0 46979496 31461376 5707 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5707 2492 2403 0 4791 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 22828 KiB

[startup+6.30025 s]
/proc/loadavg: 0.45 0.16 0.11 7/244 258177
/proc/meminfo: memFree=128056584/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=22828 CPUtime=6.27 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6870 0 0 0 596 31 0 0 20 0 1 0 46979496 31461376 5707 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5707 2492 2403 0 4791 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 22828 KiB

[startup+12.7002 s]
/proc/loadavg: 0.74 0.23 0.13 6/244 258177
/proc/meminfo: memFree=128029324/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=22828 CPUtime=12.65 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6870 0 0 0 1203 62 0 0 20 0 1 0 46979496 31461376 5707 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5707 2492 2403 0 4791 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 22828 KiB

[startup+25.5003 s]
/proc/loadavg: 1.46 0.41 0.20 6/244 258180
/proc/meminfo: memFree=128012260/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=22828 CPUtime=25.42 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6870 0 0 0 2417 125 0 0 20 0 1 0 46979496 31461376 5707 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5707 2492 2403 0 4791 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 22828 KiB

[startup+51.1135 s]
/proc/loadavg: 2.49 0.73 0.31 6/244 258183
/proc/meminfo: memFree=127932548/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=22828 CPUtime=50.97 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6870 0 0 0 4846 251 0 0 20 0 1 0 46979496 31461376 5707 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5707 2492 2403 0 4791 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 22828 KiB

[startup+102.3 s]
/proc/loadavg: 3.42 1.26 0.51 6/241 258193
/proc/meminfo: memFree=127969284/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=22828 CPUtime=102.02 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6870 0 0 0 9692 510 0 0 20 0 1 0 46979496 31461376 5707 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5707 2492 2403 0 4791 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 22828 KiB

[startup+162.3 s]
/proc/loadavg: 4.51 1.93 0.79 7/241 258203
/proc/meminfo: memFree=127955312/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=22828 CPUtime=161.88 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6870 0 0 0 15381 807 0 0 20 0 1 0 46979496 31461376 5707 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5707 2492 2403 0 4791 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 22828 KiB

[startup+222.3 s]
/proc/loadavg: 5.01 2.58 1.09 6/241 258214
/proc/meminfo: memFree=127935304/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=22828 CPUtime=221.73 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6870 0 0 0 21072 1101 0 0 20 0 1 0 46979496 31461376 5707 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5707 2492 2403 0 4791 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 22828 KiB

[startup+282.3 s]
/proc/loadavg: 4.43 2.85 1.28 6/241 258224
/proc/meminfo: memFree=127930972/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=23596 CPUtime=281.59 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6879 0 0 0 26754 1405 0 0 20 0 1 0 46979496 31461376 5899 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5899 2492 2403 0 4791 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 23596 KiB

[startup+342.3 s]
/proc/loadavg: 4.84 3.26 1.52 6/241 258234
/proc/meminfo: memFree=127922108/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=23596 CPUtime=341.44 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6882 0 0 0 32432 1712 0 0 20 0 1 0 46979496 31461376 5899 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5899 2492 2403 0 4791 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 23596 KiB

[startup+402.3 s]
/proc/loadavg: 4.38 3.42 1.68 6/243 258250
/proc/meminfo: memFree=127918428/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=23596 CPUtime=401.28 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6884 0 0 0 38116 2012 0 0 20 0 1 0 46979496 31461376 5899 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5899 2492 2403 0 4791 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 23596 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 3.54 1.83 6/243 258261
/proc/meminfo: memFree=127881368/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=23596 CPUtime=461.12 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6885 0 0 0 43803 2309 0 0 20 0 1 0 46979496 31461376 5899 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0

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

/proc/loadavg: 4.12 4.10 4.01 6/241 259939
/proc/meminfo: memFree=127945876/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=23724 CPUtime=3153.89 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6930 0 0 0 299817 15572 0 0 20 0 1 0 46979496 31461376 5931 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5931 2492 2403 0 4791 0
Current children cumulated CPU time: 3153.89 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 23724 KiB

[startup+3222.3 s]
/proc/loadavg: 4.04 4.08 4.01 6/243 259964
/proc/meminfo: memFree=127944180/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=23724 CPUtime=3213.73 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6931 0 0 0 305482 15891 0 0 20 0 1 0 46979496 31461376 5931 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5931 2492 2403 0 4791 0
Current children cumulated CPU time: 3213.73 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 23724 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.01 7/245 260201
/proc/meminfo: memFree=127943480/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=23724 CPUtime=3273.57 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6932 0 0 0 311188 16169 0 0 20 0 1 0 46979496 31461376 5931 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5931 2492 2403 0 4791 0
Current children cumulated CPU time: 3273.57 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 23724 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.01 6/245 260211
/proc/meminfo: memFree=127942912/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=23724 CPUtime=3333.41 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6933 0 0 0 316885 16456 0 0 20 0 1 0 46979496 31461376 5931 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5931 2492 2403 0 4791 0
Current children cumulated CPU time: 3333.41 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 23724 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.02 6/248 260518
/proc/meminfo: memFree=127969728/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=23724 CPUtime=3393.25 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6934 0 0 0 322547 16778 0 0 20 0 1 0 46979496 31461376 5931 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5931 2492 2403 0 4791 0
Current children cumulated CPU time: 3393.25 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 23724 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.02 6/248 260529
/proc/meminfo: memFree=127969068/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=23724 CPUtime=3453.09 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6935 0 0 0 328228 17081 0 0 20 0 1 0 46979496 31461376 5931 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5931 2492 2403 0 4791 0
Current children cumulated CPU time: 3453.09 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 23724 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.02 6/246 260540
/proc/meminfo: memFree=127968360/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=23724 CPUtime=3512.92 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6936 0 0 0 333927 17365 0 0 20 0 1 0 46979496 31461376 5931 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5931 2492 2403 0 4791 0
Current children cumulated CPU time: 3512.92 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 23724 KiB

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

# cumulated CPU time of all completed processes:  user=3381.96 s, system=176.044 s

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

[startup+3532.8 s]
/proc/loadavg: 4.07 4.09 4.02 6/246 260541
/proc/meminfo: memFree=127968312/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=23724 CPUtime=3523.4 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6936 0 0 0 334918 17422 0 0 20 0 1 0 46979496 31461376 5931 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5931 2492 2403 0 4791 0
Current children cumulated CPU time: 3523.4 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 23724 KiB

[startup+3545.6 s]
/proc/loadavg: 4.12 4.10 4.02 6/245 260545
/proc/meminfo: memFree=127967552/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=23724 CPUtime=3536.16 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6936 0 0 0 336124 17492 0 0 20 0 1 0 46979496 31461376 5931 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5931 2492 2403 0 4791 0
Current children cumulated CPU time: 3536.16 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 23724 KiB

[startup+3558.4 s]
/proc/loadavg: 4.10 4.09 4.02 6/245 260547
/proc/meminfo: memFree=127967708/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=23724 CPUtime=3548.93 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6936 0 0 0 337336 17557 0 0 20 0 1 0 46979496 31461376 5931 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5931 2492 2403 0 4791 0
Current children cumulated CPU time: 3548.93 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 23724 KiB

[startup+3561.6 s]
/proc/loadavg: 4.10 4.09 4.02 6/245 260547
/proc/meminfo: memFree=127967708/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=23724 CPUtime=3552.12 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6936 0 0 0 337639 17573 0 0 20 0 1 0 46979496 31461376 5931 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5931 2492 2403 0 4791 0
Current children cumulated CPU time: 3552.12 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 23724 KiB

[startup+3564.8 s]
/proc/loadavg: 4.10 4.09 4.02 6/240 260556
/proc/meminfo: memFree=128101920/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=23724 CPUtime=3555.31 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6936 0 0 0 337941 17590 0 0 20 0 1 0 46979496 31461376 5931 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5931 2492 2403 0 4791 0
Current children cumulated CPU time: 3555.31 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 23724 KiB

[startup+3566.4 s]
/proc/loadavg: 4.09 4.09 4.02 5/238 260594
/proc/meminfo: memFree=128661072/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=23724 CPUtime=3556.91 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6936 0 0 0 338093 17598 0 0 20 0 1 0 46979496 31461376 5931 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5931 2492 2403 0 4791 0
Current children cumulated CPU time: 3556.91 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 23724 KiB

[startup+3567.2 s]
/proc/loadavg: 4.09 4.09 4.02 5/246 260687
/proc/meminfo: memFree=128504108/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=23724 CPUtime=3557.71 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6936 0 0 0 338168 17603 0 0 20 0 1 0 46979496 31461376 5931 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5931 2492 2403 0 4791 0
Current children cumulated CPU time: 3557.71 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 23724 KiB

[startup+3567.4 s]
/proc/loadavg: 4.09 4.09 4.02 5/246 260687
/proc/meminfo: memFree=128504108/131655788 swapFree=131071996/131071996
[pid=258158] ppid=258151 vsize=30724 memory=23724 CPUtime=3557.91 cores=0,2
/proc/258158/stat : 258158 (LS-MabS) R 258151 258158 258102 0 -1 4194304 6936 0 0 0 338187 17604 0 0 20 0 1 0 46979496 31461376 5931 134679101440 4194304 14036057 140725502268688 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 28356608 140725502276640 140725502276742 140725502276742 140725502283758 0
/proc/258158/statm: 7681 5931 2492 2403 0 4791 0
Current children cumulated CPU time: 3557.91 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 23724 KiB

Child status: 0

Real time (s): 3567.49
CPU time (s): 3558
CPU user time (s): 3381.96
CPU system time (s): 176.044
CPU usage (%): 99.7341
Max. virtual memory (cumulated for all children) (KiB): 45300
Max. memory (cumulated for all children) (KiB): 35404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3381.96
system time used= 176.044
maximum resident set size= 35512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6940
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= 3
involuntary context switches= 24881


# summary of solver processes directly reported to runsolver:
#   pid: 258158
#   total CPU time (s): 3558
#   total CPU user time (s): 3381.96
#   total CPU system time (s): 176.044

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5911 second user time and 32.5176 second system time

The end