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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458444-1722831087/watcher-4458444-1722831087 -o /tmp/evaluation-result-4458444-1722831087/solver-4458444-1722831087 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722827517-269722 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4458444-1722831087.opb -t 3558 -s 1860447000 

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=271822, runsolver pid=271819

[startup+0.100412 s]*
/proc/loadavg: 4.08 4.12 4.16 5/244 271823
/proc/meminfo: memFree=124094836/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=29876 memory=21448 CPUtime=0.1 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 3114 0 0 0 10 0 0 0 20 0 1 0 49478845 30593024 5362 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 7469 5362 2461 2403 0 4579 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29876 KiB
Current children cumulated memory: 21448 KiB

[startup+0.212564 s]*
/proc/loadavg: 4.08 4.12 4.16 5/244 271823
/proc/meminfo: memFree=124089888/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=34616 memory=25848 CPUtime=0.21 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 4664 0 0 0 21 0 0 0 20 0 1 0 49478845 35446784 6462 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 8654 6462 2461 2403 0 5764 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34616 KiB
Current children cumulated memory: 25848 KiB

[startup+0.312715 s]*
/proc/loadavg: 4.08 4.12 4.16 5/244 271823
/proc/meminfo: memFree=124088628/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=35812 memory=26900 CPUtime=0.32 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 4960 0 0 0 31 1 0 0 20 0 1 0 49478845 36671488 6725 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 8953 6725 2461 2403 0 6063 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 35812 KiB
Current children cumulated memory: 26900 KiB

[startup+0.70026 s]
/proc/loadavg: 4.07 4.12 4.16 5/244 271823
/proc/meminfo: memFree=124081908/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=42900 memory=33764 CPUtime=0.68 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 6671 0 0 0 67 1 0 0 20 0 1 0 49478845 43929600 8441 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 10725 8441 2461 2403 0 7835 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42900 KiB
Current children cumulated memory: 33764 KiB

[startup+1.50026 s]
/proc/loadavg: 4.07 4.12 4.16 5/244 271823
/proc/meminfo: memFree=124081908/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=48020 memory=38272 CPUtime=1.48 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 8016 0 0 0 147 1 0 0 20 0 1 0 49478845 49172480 9568 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 12005 9568 2461 2403 0 9115 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48020 KiB
Current children cumulated memory: 38272 KiB

[startup+3.11271 s]
/proc/loadavg: 4.07 4.12 4.16 5/244 271823
/proc/meminfo: memFree=124075052/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=49408 memory=40384 CPUtime=3.08 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 8558 0 0 0 307 1 0 0 20 0 1 0 49478845 50593792 10096 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 12352 10096 2461 2403 0 9462 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 49408 KiB
Current children cumulated memory: 40384 KiB

[startup+6.30027 s]
/proc/loadavg: 4.07 4.12 4.16 5/244 271823
/proc/meminfo: memFree=124060692/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=64788 memory=55692 CPUtime=6.26 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 12353 0 0 0 624 2 0 0 20 0 1 0 49478845 66342912 13923 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 16197 13923 2461 2403 0 13307 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 64788 KiB
Current children cumulated memory: 55692 KiB

[startup+12.7003 s]
/proc/loadavg: 4.06 4.11 4.16 5/244 271824
/proc/meminfo: memFree=124046172/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=79612 memory=69908 CPUtime=12.64 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 16501 0 0 0 1261 3 0 0 20 0 1 0 49478845 81522688 17477 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 19903 17477 2461 2403 0 17013 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 79612 KiB
Current children cumulated memory: 69908 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.13 4.16 5/244 271826
/proc/meminfo: memFree=124024784/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=98532 memory=88652 CPUtime=25.39 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 21196 0 0 0 2535 4 0 0 20 0 1 0 49478845 100896768 22163 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 24633 22163 2461 2403 0 21743 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 98532 KiB
Current children cumulated memory: 88652 KiB

[startup+51.1128 s]
/proc/loadavg: 4.14 4.13 4.16 5/244 271830
/proc/meminfo: memFree=124009132/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=111996 memory=102328 CPUtime=50.9 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 24546 0 0 0 5086 4 0 0 20 0 1 0 49478845 114683904 25582 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 27999 25582 2461 2403 0 25109 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 111996 KiB
Current children cumulated memory: 102328 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.14 4.16 5/244 271839
/proc/meminfo: memFree=123974384/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=145156 memory=137276 CPUtime=101.85 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 33243 0 0 0 10179 6 0 0 20 0 1 0 49478845 148639744 34319 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 36289 34319 2717 2403 0 33399 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 145156 KiB
Current children cumulated memory: 137276 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/244 271849
/proc/meminfo: memFree=123927856/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=191472 memory=183208 CPUtime=161.6 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 45328 0 0 0 16152 8 0 0 20 0 1 0 49478845 196067328 45802 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 47868 45802 2717 2403 0 44978 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 191472 KiB
Current children cumulated memory: 183208 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/244 271861
/proc/meminfo: memFree=123889596/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=228424 memory=220160 CPUtime=221.35 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 60399 0 0 0 22125 10 0 0 20 0 1 0 49478845 233906176 55040 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 57106 55040 2717 2403 0 54216 0
Current children cumulated CPU time: 221.35 s
Current children cumulated vsize: 228424 KiB
Current children cumulated memory: 220160 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/241 271872
/proc/meminfo: memFree=123860616/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=259028 memory=248644 CPUtime=281.09 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 72903 0 0 0 28097 12 0 0 20 0 1 0 49478845 265244672 62161 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 64757 62161 2717 2403 0 61867 0
Current children cumulated CPU time: 281.09 s
Current children cumulated vsize: 259028 KiB
Current children cumulated memory: 248644 KiB

[startup+342.3 s]
/proc/loadavg: 4.21 4.13 4.15 5/241 271883
/proc/meminfo: memFree=123820276/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=299192 memory=288072 CPUtime=340.85 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 85809 0 0 0 34070 15 0 0 20 0 1 0 49478845 306372608 72018 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 74798 72018 2717 2403 0 71908 0
Current children cumulated CPU time: 340.85 s
Current children cumulated vsize: 299192 KiB
Current children cumulated memory: 288072 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/241 271894
/proc/meminfo: memFree=123814000/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=303412 memory=293800 CPUtime=400.59 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 91739 0 0 0 40043 16 0 0 20 0 1 0 49478845 310693888 73450 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 75853 73450 2717 2403 0 72963 0
Current children cumulated CPU time: 400.59 s
Current children cumulated vsize: 303412 KiB
Current children cumulated memory: 293800 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.14 5/241 271905
/proc/meminfo: memFree=123788948/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=326268 memory=317780 CPUtime=460.34 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 107771 0 0 0 46016 18 0 0 20 0 1 0 49478845 334098432 79445 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0

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

/proc/loadavg: 4.09 4.32 4.27 5/243 273590
/proc/meminfo: memFree=123405096/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=673400 memory=667676 CPUtime=3211.92 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 237914 0 0 0 291677 29515 0 0 20 0 1 0 49478845 689561600 166919 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 168350 166919 2732 2403 0 165460 0
Current children cumulated CPU time: 3211.92 s
Current children cumulated vsize: 673400 KiB
Current children cumulated memory: 667676 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.27 4.25 6/241 273601
/proc/meminfo: memFree=123404156/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=673400 memory=667676 CPUtime=3271.78 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 237916 0 0 0 296419 30759 0 0 20 0 1 0 49478845 689561600 166919 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 168350 166919 2732 2403 0 165460 0
Current children cumulated CPU time: 3271.78 s
Current children cumulated vsize: 673400 KiB
Current children cumulated memory: 667676 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.23 4.24 5/241 273611
/proc/meminfo: memFree=123403568/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=673400 memory=667676 CPUtime=3331.63 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 237917 0 0 0 301194 31969 0 0 20 0 1 0 49478845 689561600 166919 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 168350 166919 2732 2403 0 165460 0
Current children cumulated CPU time: 3331.63 s
Current children cumulated vsize: 673400 KiB
Current children cumulated memory: 667676 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.22 4.24 5/241 273623
/proc/meminfo: memFree=123402704/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=673400 memory=667676 CPUtime=3391.5 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 237919 0 0 0 305940 33210 0 0 20 0 1 0 49478845 689561600 166919 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 168350 166919 2732 2403 0 165460 0
Current children cumulated CPU time: 3391.5 s
Current children cumulated vsize: 673400 KiB
Current children cumulated memory: 667676 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.19 4.22 5/241 273633
/proc/meminfo: memFree=123402152/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=673400 memory=667676 CPUtime=3451.36 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 237920 0 0 0 310702 34434 0 0 20 0 1 0 49478845 689561600 166919 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 168350 166919 2732 2403 0 165460 0
Current children cumulated CPU time: 3451.36 s
Current children cumulated vsize: 673400 KiB
Current children cumulated memory: 667676 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.21 5/241 273643
/proc/meminfo: memFree=123401436/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=673400 memory=667676 CPUtime=3511.22 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 237922 0 0 0 315482 35640 0 0 20 0 1 0 49478845 689561600 166919 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 168350 166919 2732 2403 0 165460 0
Current children cumulated CPU time: 3511.22 s
Current children cumulated vsize: 673400 KiB
Current children cumulated memory: 667676 KiB

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

# cumulated CPU time of all completed processes:  user=3192 s, system=366.009 s

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

[startup+3532.8 s]
/proc/loadavg: 4.10 4.17 4.21 5/241 273645
/proc/meminfo: memFree=123401332/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=673400 memory=667676 CPUtime=3521.7 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 237922 0 0 0 316319 35851 0 0 20 0 1 0 49478845 689561600 166919 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 168350 166919 2732 2403 0 165460 0
Current children cumulated CPU time: 3521.7 s
Current children cumulated vsize: 673400 KiB
Current children cumulated memory: 667676 KiB

[startup+3545.6 s]
/proc/loadavg: 4.08 4.16 4.21 5/241 273647
/proc/meminfo: memFree=123401236/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=673400 memory=667676 CPUtime=3534.47 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 237922 0 0 0 317333 36114 0 0 20 0 1 0 49478845 689561600 166919 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 168350 166919 2732 2403 0 165460 0
Current children cumulated CPU time: 3534.47 s
Current children cumulated vsize: 673400 KiB
Current children cumulated memory: 667676 KiB

[startup+3558.4 s]
/proc/loadavg: 4.06 4.15 4.20 5/244 273654
/proc/meminfo: memFree=123400712/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=673400 memory=667676 CPUtime=3547.24 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 237923 0 0 0 318348 36376 0 0 20 0 1 0 49478845 689561600 166919 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 168350 166919 2732 2403 0 165460 0
Current children cumulated CPU time: 3547.24 s
Current children cumulated vsize: 673400 KiB
Current children cumulated memory: 667676 KiB

[startup+3564.8 s]
/proc/loadavg: 4.06 4.15 4.20 5/244 273748
/proc/meminfo: memFree=123081952/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=673400 memory=667676 CPUtime=3553.62 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 237923 0 0 0 318855 36507 0 0 20 0 1 0 49478845 689561600 166919 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 168350 166919 2732 2403 0 165460 0
Current children cumulated CPU time: 3553.62 s
Current children cumulated vsize: 673400 KiB
Current children cumulated memory: 667676 KiB

[startup+3566.4 s]
/proc/loadavg: 4.06 4.15 4.20 5/244 273794
/proc/meminfo: memFree=122618876/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=673400 memory=667676 CPUtime=3555.22 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 237923 0 0 0 318982 36540 0 0 20 0 1 0 49478845 689561600 166919 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 168350 166919 2732 2403 0 165460 0
Current children cumulated CPU time: 3555.22 s
Current children cumulated vsize: 673400 KiB
Current children cumulated memory: 667676 KiB

[startup+3568 s]*
/proc/loadavg: 4.13 4.16 4.20 6/244 273794
/proc/meminfo: memFree=121391604/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=673400 memory=667676 CPUtime=3556.83 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 237923 0 0 0 319108 36575 0 0 20 0 1 0 49478845 689561600 166919 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 168350 166919 2732 2403 0 165460 0
Current children cumulated CPU time: 3556.83 s
Current children cumulated vsize: 673400 KiB
Current children cumulated memory: 667676 KiB

[startup+3568.8 s]
/proc/loadavg: 4.13 4.16 4.20 6/244 273794
/proc/meminfo: memFree=121391604/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=673400 memory=667676 CPUtime=3557.62 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 237923 0 0 0 319170 36592 0 0 20 0 1 0 49478845 689561600 166919 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 168350 166919 2732 2403 0 165460 0
Current children cumulated CPU time: 3557.62 s
Current children cumulated vsize: 673400 KiB
Current children cumulated memory: 667676 KiB

[startup+3569 s]*
/proc/loadavg: 4.13 4.16 4.20 5/244 273794
/proc/meminfo: memFree=120952816/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=673400 memory=667676 CPUtime=3557.82 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 237923 0 0 0 319186 36596 0 0 20 0 1 0 49478845 689561600 166919 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 168350 166919 2732 2403 0 165460 0
Current children cumulated CPU time: 3557.82 s
Current children cumulated vsize: 673400 KiB
Current children cumulated memory: 667676 KiB

[startup+3569.11 s]
/proc/loadavg: 4.13 4.16 4.20 5/244 273794
/proc/meminfo: memFree=120952816/131655788 swapFree=131071472/131071996
[pid=271822] ppid=271819 vsize=673400 memory=667676 CPUtime=3557.93 cores=0,2
/proc/271822/stat : 271822 (LS-MabS) R 271819 271822 269712 0 -1 4194304 237923 0 0 0 319194 36599 0 0 20 0 1 0 49478845 689561600 166919 134679101440 4194304 14036057 140734536683168 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 52133888 140734536688672 140734536688774 140734536688774 140734536695790 0
/proc/271822/statm: 168350 166919 2732 2403 0 165460 0
Current children cumulated CPU time: 3557.93 s
Current children cumulated vsize: 673400 KiB
Current children cumulated memory: 667676 KiB

Child status: 0

Real time (s): 3569.19
CPU time (s): 3558.01
CPU user time (s): 3192
CPU system time (s): 366.009
CPU usage (%): 99.6868
Max. virtual memory (cumulated for all children) (KiB): 733980
Max. memory (cumulated for all children) (KiB): 721324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3192
system time used= 366.009
maximum resident set size= 725632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237932
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= 187
involuntary context switches= 21647


# summary of solver processes directly reported to runsolver:
#   pid: 271822
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3192
#   total CPU system time (s): 366.009

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6813 second user time and 31.7361 second system time

The end