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: 64059 MiB (63194 MiB free)
  memory of node 1: 64510 MiB (60609 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457742-1722827630/watcher-4457742-1722827630 -o /tmp/evaluation-result-4457742-1722827630/solver-4457742-1722827630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722827629-261858 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4457742-1722827630.opb -t 3558 -s 1260273114 

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=261918, runsolver pid=261913

[startup+0.100897 s]*
/proc/loadavg: 3.92 4.06 4.08 8/242 261921
/proc/meminfo: memFree=126754668/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=31968 memory=17832 CPUtime=0.1 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 3825 0 0 0 9 1 0 0 20 0 1 0 49359874 32735232 4458 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 7992 4458 749 2403 0 5102 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31968 KiB
Current children cumulated memory: 17832 KiB

[startup+0.213119 s]*
/proc/loadavg: 3.92 4.06 4.08 7/242 261921
/proc/meminfo: memFree=126664404/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=205376 memory=128872 CPUtime=0.21 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7079 0 0 0 16 5 0 0 20 0 1 0 49359874 210305024 32218 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 51344 32218 2349 2403 0 48454 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 205376 KiB
Current children cumulated memory: 128872 KiB

[startup+0.314693 s]*
/proc/loadavg: 3.92 4.06 4.08 8/242 261921
/proc/meminfo: memFree=126747240/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29200 CPUtime=0.31 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7164 0 0 0 23 8 0 0 20 0 1 0 49359874 37920768 7300 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7300 2364 2403 0 6368 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29200 KiB

[startup+0.700264 s]
/proc/loadavg: 3.92 4.06 4.08 8/242 261921
/proc/meminfo: memFree=126746672/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29200 CPUtime=0.68 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7164 0 0 0 60 8 0 0 20 0 1 0 49359874 37920768 7300 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7300 2364 2403 0 6368 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29200 KiB

[startup+1.50025 s]
/proc/loadavg: 3.92 4.06 4.08 8/242 261921
/proc/meminfo: memFree=126747020/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29200 CPUtime=1.48 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7164 0 0 0 138 10 0 0 20 0 1 0 49359874 37920768 7300 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7300 2364 2403 0 6368 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29200 KiB

[startup+3.11239 s]
/proc/loadavg: 3.92 4.06 4.08 8/242 261921
/proc/meminfo: memFree=126747108/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29200 CPUtime=3.09 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7164 0 0 0 296 13 0 0 20 0 1 0 49359874 37920768 7300 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7300 2364 2403 0 6368 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29200 KiB

[startup+6.30024 s]
/proc/loadavg: 3.92 4.06 4.08 8/242 261923
/proc/meminfo: memFree=126747020/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29200 CPUtime=6.27 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7168 0 0 0 607 20 0 0 20 0 1 0 49359874 37920768 7300 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7300 2364 2403 0 6368 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29200 KiB

[startup+12.7002 s]
/proc/loadavg: 3.93 4.06 4.08 8/242 261923
/proc/meminfo: memFree=126747104/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29200 CPUtime=12.66 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7168 0 0 0 1235 31 0 0 20 0 1 0 49359874 37920768 7300 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7300 2364 2403 0 6368 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29200 KiB

[startup+25.5003 s]
/proc/loadavg: 4.03 4.07 4.08 8/242 261924
/proc/meminfo: memFree=126746952/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29476 CPUtime=25.43 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7189 0 0 0 2489 54 0 0 20 0 1 0 49359874 37920768 7369 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7369 2380 2403 0 6368 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29476 KiB

[startup+51.1131 s]
/proc/loadavg: 4.02 4.06 4.08 8/242 261929
/proc/meminfo: memFree=126746364/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=51.01 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7228 0 0 0 5003 98 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.08 4.08 8/240 261937
/proc/meminfo: memFree=126745940/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=102.11 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7252 0 0 0 10018 193 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.10 4.09 8/240 261948
/proc/meminfo: memFree=126745648/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=162.01 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7268 0 0 0 15897 304 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 162.01 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

[startup+222.3 s]
/proc/loadavg: 4.44 4.16 4.11 8/240 261958
/proc/meminfo: memFree=126744940/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=221.92 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7284 0 0 0 21781 411 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 221.92 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

[startup+282.3 s]
/proc/loadavg: 6.59 4.83 4.35 8/240 261969
/proc/meminfo: memFree=126744696/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=281.82 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7292 0 0 0 27668 514 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 281.82 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

[startup+342.3 s]
/proc/loadavg: 5.53 4.88 4.40 8/238 261980
/proc/meminfo: memFree=126744500/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=341.72 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7300 0 0 0 33549 623 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 341.72 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

[startup+402.3 s]
/proc/loadavg: 4.61 4.73 4.37 8/241 261995
/proc/meminfo: memFree=126744076/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=401.62 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7308 0 0 0 39429 733 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 401.62 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

[startup+462.3 s]
/proc/loadavg: 4.30 4.61 4.35 8/241 262005
/proc/meminfo: memFree=126743848/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=461.53 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7316 0 0 0 45311 842 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0

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

/proc/loadavg: 4.22 4.21 4.16 8/238 263680
/proc/meminfo: memFree=126728964/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=3217.11 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7676 0 0 0 315821 5890 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 3217.11 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.17 4.15 8/238 263691
/proc/meminfo: memFree=126728572/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=3277.02 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7684 0 0 0 321703 5999 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 3277.02 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.15 8/239 263703
/proc/meminfo: memFree=126728220/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=3336.92 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7692 0 0 0 327585 6107 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 3336.92 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.15 4.14 8/242 263718
/proc/meminfo: memFree=126727848/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=3396.82 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7700 0 0 0 333463 6219 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 3396.82 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.13 8/242 263728
/proc/meminfo: memFree=126727564/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=3456.73 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7708 0 0 0 339345 6328 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 3456.73 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.13 8/242 263738
/proc/meminfo: memFree=126727268/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=3516.64 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7716 0 0 0 345232 6432 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 3516.64 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

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

# cumulated CPU time of all completed processes:  user=3492.89 s, system=65.1202 s

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

[startup+3532.8 s]
/proc/loadavg: 4.08 4.12 4.13 8/242 263740
/proc/meminfo: memFree=126727284/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=3527.11 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7724 0 0 0 346261 6450 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 3527.11 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

[startup+3545.6 s]
/proc/loadavg: 4.07 4.12 4.12 8/242 263742
/proc/meminfo: memFree=126727180/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=3539.9 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7724 0 0 0 347516 6474 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 3539.9 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

[startup+3552 s]*
/proc/loadavg: 4.06 4.11 4.12 8/242 263745
/proc/meminfo: memFree=126727048/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=3546.3 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7724 0 0 0 348143 6487 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 3546.3 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

[startup+3558.4 s]
/proc/loadavg: 4.13 4.13 4.13 8/242 263746
/proc/meminfo: memFree=126726980/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=3552.68 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7724 0 0 0 348767 6501 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 3552.68 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

[startup+3561.6 s]
/proc/loadavg: 4.12 4.12 4.13 8/242 263746
/proc/meminfo: memFree=126727004/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=3555.87 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7724 0 0 0 349079 6508 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 3555.87 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

[startup+3562.4 s]
/proc/loadavg: 4.12 4.12 4.13 8/242 263746
/proc/meminfo: memFree=126727068/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=3556.67 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7724 0 0 0 349158 6509 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 3556.67 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

[startup+3563.2 s]
/proc/loadavg: 4.12 4.12 4.13 8/242 263746
/proc/meminfo: memFree=126726964/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=3557.46 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7724 0 0 0 349236 6510 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 3557.46 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

[startup+3563.6 s]
/proc/loadavg: 4.12 4.12 4.13 8/242 263746
/proc/meminfo: memFree=126726964/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=3557.86 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7724 0 0 0 349275 6511 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 3557.86 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

[startup+3563.7 s]
/proc/loadavg: 4.12 4.12 4.13 8/242 263746
/proc/meminfo: memFree=126726964/131655788 swapFree=131071996/131071996
[pid=261918] ppid=261913 vsize=37032 memory=29556 CPUtime=3557.96 cores=1,3
/proc/261918/stat : 261918 (LS-MabS) R 261913 261918 261846 0 -1 4194304 7724 0 0 0 349285 6511 0 0 20 0 1 0 49359874 37920768 7389 134679101440 4194304 14036057 140734333274704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39022592 140734333277220 140734333277322 140734333277322 140734333284334 0
/proc/261918/statm: 9258 7389 2380 2403 0 6368 0
Current children cumulated CPU time: 3557.96 s
Current children cumulated vsize: 37032 KiB
Current children cumulated memory: 29556 KiB

Child status: 0

Real time (s): 3563.74
CPU time (s): 3558.01
CPU user time (s): 3492.89
CPU system time (s): 65.1202
CPU usage (%): 99.8393
Max. virtual memory (cumulated for all children) (KiB): 205376
Max. memory (cumulated for all children) (KiB): 128872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3492.89
system time used= 65.1202
maximum resident set size= 192444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7726
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= 10
involuntary context switches= 942


# summary of solver processes directly reported to runsolver:
#   pid: 261918
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3492.89
#   total CPU system time (s): 65.1202

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7873 second user time and 30.7539 second system time

The end