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

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

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=258964, runsolver pid=258961

[startup+0.10055 s]*
/proc/loadavg: 0.07 0.09 0.09 5/227 258976
/proc/meminfo: memFree=119444960/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=0.1 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 762 0 0 0 9 1 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+0.21331 s]*
/proc/loadavg: 0.07 0.09 0.09 4/238 258994
/proc/meminfo: memFree=119425084/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=0.22 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 762 0 0 0 20 2 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+0.312513 s]*
/proc/loadavg: 0.07 0.09 0.09 5/244 259006
/proc/meminfo: memFree=119425292/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=0.31 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 762 0 0 0 29 2 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+0.700274 s]
/proc/loadavg: 0.07 0.09 0.09 5/244 259008
/proc/meminfo: memFree=119407556/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=0.69 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 762 0 0 0 64 5 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+1.50026 s]
/proc/loadavg: 0.07 0.09 0.09 5/244 259008
/proc/meminfo: memFree=119406796/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=1.48 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 762 0 0 0 138 10 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+3.11153 s]
/proc/loadavg: 0.38 0.15 0.11 5/244 259008
/proc/meminfo: memFree=119406748/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=3.09 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 291 18 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+6.30023 s]
/proc/loadavg: 0.38 0.15 0.11 5/244 259008
/proc/meminfo: memFree=119406744/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=6.26 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 595 31 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+12.7002 s]
/proc/loadavg: 1.01 0.30 0.16 5/244 259009
/proc/meminfo: memFree=119405808/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=12.64 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 1201 63 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+25.5003 s]
/proc/loadavg: 1.47 0.42 0.20 5/244 259011
/proc/meminfo: memFree=119405580/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=25.42 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 2416 126 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+51.1114 s]
/proc/loadavg: 2.41 0.72 0.31 5/241 259016
/proc/meminfo: memFree=119404784/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=50.96 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 4845 251 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+102.3 s]
/proc/loadavg: 3.48 1.31 0.53 5/241 259025
/proc/meminfo: memFree=119404040/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=102.01 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 9692 509 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 1.82 0.76 5/242 259036
/proc/meminfo: memFree=119400920/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=161.85 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 15379 806 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 2.25 0.97 5/242 259047
/proc/meminfo: memFree=119399968/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=221.69 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 21057 1112 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 2.58 1.17 5/242 259057
/proc/meminfo: memFree=119399348/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=281.53 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 26741 1412 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 2.86 1.35 5/245 259072
/proc/meminfo: memFree=119398400/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=341.37 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 32431 1706 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.09 1.53 5/245 259084
/proc/meminfo: memFree=119397928/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=401.22 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 38131 1991 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+462.3 s]
/proc/loadavg: 4.72 3.45 1.75 5/244 259094
/proc/meminfo: memFree=119397356/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=461.06 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 43837 2269 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0

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

/proc/loadavg: 4.12 4.10 4.01 5/246 261037
/proc/meminfo: memFree=119368016/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=3273.6 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 311067 16293 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 3273.6 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.11 4.02 5/247 261347
/proc/meminfo: memFree=119436844/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=3333.44 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 316759 16585 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 3333.44 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.02 5/247 261358
/proc/meminfo: memFree=119436352/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=3393.28 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 322419 16909 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 3393.28 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.02 5/244 261368
/proc/meminfo: memFree=119435672/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=3453.12 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 328101 17211 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 3453.12 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/243 261379
/proc/meminfo: memFree=119435128/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=3512.97 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 333806 17491 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 3512.97 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.03 5/243 261389
/proc/meminfo: memFree=119434512/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=3572.8 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 339505 17775 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 3572.8 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

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

# cumulated CPU time of all completed processes:  user=3420.87 s, system=179.135 s

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

[startup+3584 s]*
/proc/loadavg: 4.15 4.10 4.03 5/243 261389
/proc/meminfo: memFree=119434520/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=3574.51 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 339666 17785 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 3574.51 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.10 4.02 5/243 261391
/proc/meminfo: memFree=119434384/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=3587.27 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 340878 17849 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 3587.27 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+3603.2 s]
/proc/loadavg: 4.10 4.09 4.02 5/243 261392
/proc/meminfo: memFree=119434284/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=3593.65 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 341485 17880 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 3593.65 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+3606.4 s]
/proc/loadavg: 4.10 4.09 4.02 5/243 261393
/proc/meminfo: memFree=119434324/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=3596.85 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 341788 17897 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 3596.85 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+3608 s]*
/proc/loadavg: 4.10 4.09 4.02 5/239 261527
/proc/meminfo: memFree=119445968/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=3598.45 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 341940 17905 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 3598.45 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+3608.8 s]
/proc/loadavg: 4.10 4.09 4.02 5/239 261527
/proc/meminfo: memFree=119445968/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=3599.24 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 342015 17909 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 3599.24 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+3609.2 s]
/proc/loadavg: 4.10 4.09 4.02 5/243 261531
/proc/meminfo: memFree=119438332/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=3599.63 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 342052 17911 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 3599.63 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+3609.4 s]
/proc/loadavg: 4.10 4.09 4.02 5/243 261531
/proc/meminfo: memFree=119438332/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=3599.84 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 342071 17913 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 3599.84 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

[startup+3609.5 s]
/proc/loadavg: 4.10 4.09 4.02 5/243 261531
/proc/meminfo: memFree=119438332/131655788 swapFree=131071216/131071996
[pid=258964] ppid=258961 vsize=19700 memory=5480 CPUtime=3599.93 cores=0,2
/proc/258964/stat : 258964 (LS-Mab) R 258961 258964 258933 0 -1 4194304 774 0 0 0 342080 17913 0 0 20 0 1 0 46979785 20172800 1370 134679101440 4194304 14036057 140737477365696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45207552 140737477375003 140737477375111 140737477375111 140737477382127 0
/proc/258964/statm: 4925 1370 764 2403 0 2035 0
Current children cumulated CPU time: 3599.93 s
Current children cumulated vsize: 19700 KiB
Current children cumulated memory: 5480 KiB

Child status: 0

Real time (s): 3609.56
CPU time (s): 3600.01
CPU user time (s): 3420.87
CPU system time (s): 179.135
CPU usage (%): 99.7352
Max. virtual memory (cumulated for all children) (KiB): 19700
Max. memory (cumulated for all children) (KiB): 5480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3420.87
system time used= 179.135
maximum resident set size= 5936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 776
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= 25169


# summary of solver processes directly reported to runsolver:
#   pid: 258964
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3420.87
#   total CPU system time (s): 179.135

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5413 second user time and 29.404 second system time

The end