runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62896 MiB free)
  memory of node 1: 64473 MiB (63467 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428340-1722809653/watcher-4428340-1722809653 -o /tmp/evaluation-result-4428340-1722809653/solver-4428340-1722809653 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722806085-263849 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428340-1722809653.opb -t 3558 -s 712155603 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB

solver pid=266403, runsolver pid=266400

[startup+0.100449 s]*
/proc/loadavg: 4.15 4.10 4.03 5/260 266415
/proc/meminfo: memFree=129289808/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=76392 memory=62740 CPUtime=0.09 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 13802 0 0 0 7 2 0 0 20 0 1 0 47567651 78225408 15685 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 19098 15685 2237 2403 0 16208 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 76392 KiB
Current children cumulated memory: 62740 KiB

[startup+0.205729 s]*
/proc/loadavg: 4.15 4.10 4.03 5/260 266417
/proc/meminfo: memFree=129200140/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=90756 memory=76504 CPUtime=0.2 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 17180 0 0 0 17 3 0 0 20 0 1 0 47567651 92934144 19126 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 22689 19126 2317 2403 0 19799 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 90756 KiB
Current children cumulated memory: 76504 KiB

[startup+0.305615 s]*
/proc/loadavg: 4.15 4.10 4.03 5/260 266417
/proc/meminfo: memFree=129176948/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=89164 memory=75504 CPUtime=0.3 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 17396 0 0 0 27 3 0 0 20 0 1 0 47567651 91303936 18876 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 22291 18876 2349 2403 0 19401 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 89164 KiB
Current children cumulated memory: 75504 KiB

[startup+0.700234 s]
/proc/loadavg: 4.15 4.10 4.03 5/260 266417
/proc/meminfo: memFree=128988184/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=153112 memory=137660 CPUtime=0.69 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 33205 0 0 0 64 5 0 0 20 0 1 0 47567651 156786688 34415 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 38278 34415 2445 2403 0 35388 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 153112 KiB
Current children cumulated memory: 137660 KiB

[startup+1.50016 s]
/proc/loadavg: 4.15 4.10 4.03 4/258 266417
/proc/meminfo: memFree=128988700/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=153112 memory=137660 CPUtime=1.48 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 33218 0 0 0 143 5 0 0 20 0 1 0 47567651 156786688 34415 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 38278 34415 2445 2403 0 35388 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 153112 KiB
Current children cumulated memory: 137660 KiB

[startup+3.10553 s]
/proc/loadavg: 4.15 4.10 4.03 5/260 266463
/proc/meminfo: memFree=128348020/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=153112 memory=137660 CPUtime=3.09 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 33218 0 0 0 304 5 0 0 20 0 1 0 47567651 156786688 34415 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 38278 34415 2445 2403 0 35388 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 153112 KiB
Current children cumulated memory: 137660 KiB

[startup+6.30022 s]
/proc/loadavg: 4.13 4.10 4.03 5/260 266463
/proc/meminfo: memFree=128250324/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=153112 memory=137660 CPUtime=6.27 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 33219 0 0 0 622 5 0 0 20 0 1 0 47567651 156786688 34415 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 38278 34415 2445 2403 0 35388 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 153112 KiB
Current children cumulated memory: 137660 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.12 4.03 5/260 266466
/proc/meminfo: memFree=128218516/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=151952 memory=137980 CPUtime=12.65 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 33585 0 0 0 1260 5 0 0 20 0 1 0 47567651 155598848 34495 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 37988 34495 2477 2403 0 35098 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 151952 KiB
Current children cumulated memory: 137980 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.11 4.03 5/260 266467
/proc/meminfo: memFree=128181732/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=181616 memory=160516 CPUtime=25.41 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 39476 0 0 0 2534 7 0 0 20 0 1 0 47567651 185974784 40129 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 45404 40129 2477 2403 0 42514 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 181616 KiB
Current children cumulated memory: 160516 KiB

[startup+51.1055 s]
/proc/loadavg: 4.10 4.10 4.03 5/258 266472
/proc/meminfo: memFree=128138620/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=243432 memory=199576 CPUtime=50.93 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 49988 0 0 0 5082 11 0 0 20 0 1 0 47567651 249274368 49894 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 60858 49894 2477 2403 0 57968 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 243432 KiB
Current children cumulated memory: 199576 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/255 266481
/proc/meminfo: memFree=127688392/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=257736 memory=200856 CPUtime=101.98 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 50363 0 0 0 10186 12 0 0 20 0 1 0 47567651 263921664 50214 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 64434 50214 2477 2403 0 61544 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 257736 KiB
Current children cumulated memory: 200856 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/256 266492
/proc/meminfo: memFree=127447928/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=290064 memory=232984 CPUtime=161.8 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 58007 0 0 0 16167 13 0 0 20 0 1 0 47567651 297025536 58246 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 72516 58246 2477 2403 0 69626 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 290064 KiB
Current children cumulated memory: 232984 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.03 5/256 266504
/proc/meminfo: memFree=127441428/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=290064 memory=237652 CPUtime=221.65 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 58363 0 0 0 22151 14 0 0 20 0 1 0 47567651 297025536 59413 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 72516 59413 2477 2403 0 69626 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 290064 KiB
Current children cumulated memory: 237652 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.03 5/256 266514
/proc/meminfo: memFree=127349560/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=307636 memory=292300 CPUtime=281.51 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 63169 0 0 0 28137 14 0 0 20 0 1 0 47567651 315019264 73075 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 76909 73075 2477 2403 0 74019 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 307636 KiB
Current children cumulated memory: 292300 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.08 4.03 5/255 266524
/proc/meminfo: memFree=127154892/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=307636 memory=296008 CPUtime=341.34 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 63274 0 0 0 34120 14 0 0 20 0 1 0 47567651 315019264 74002 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 76909 74002 2477 2403 0 74019 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 307636 KiB
Current children cumulated memory: 296008 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/257 266538
/proc/meminfo: memFree=127142148/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=317868 memory=299064 CPUtime=401.21 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 64146 0 0 0 40106 15 0 0 20 0 1 0 47567651 325496832 74766 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 79467 74766 2477 2403 0 76577 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 317868 KiB
Current children cumulated memory: 299064 KiB

[startup+462.3 s]
/proc/loadavg: 4.35 4.17 4.06 5/257 266550
/proc/meminfo: memFree=127127052/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=325608 memory=301044 CPUtime=461.07 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 64782 0 0 0 46092 15 0 0 20 0 1 0 47567651 333422592 75261 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0

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

/proc/loadavg: 4.09 4.11 4.11 5/254 268223
/proc/meminfo: memFree=126525164/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=437444 memory=422412 CPUtime=3155.07 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 91074 0 0 0 309798 5709 0 0 20 0 1 0 47567651 447942656 105603 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 109361 105603 2508 2403 0 106471 0
Current children cumulated CPU time: 3155.07 s
Current children cumulated vsize: 437444 KiB
Current children cumulated memory: 422412 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/254 268235
/proc/meminfo: memFree=126524604/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=437444 memory=422412 CPUtime=3214.94 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 91080 0 0 0 315510 5984 0 0 20 0 1 0 47567651 447942656 105603 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 109361 105603 2508 2403 0 106471 0
Current children cumulated CPU time: 3214.94 s
Current children cumulated vsize: 437444 KiB
Current children cumulated memory: 422412 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.11 4.10 5/254 268245
/proc/meminfo: memFree=126523912/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=437444 memory=422412 CPUtime=3274.81 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 91086 0 0 0 321270 6211 0 0 20 0 1 0 47567651 447942656 105603 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 109361 105603 2508 2403 0 106471 0
Current children cumulated CPU time: 3274.81 s
Current children cumulated vsize: 437444 KiB
Current children cumulated memory: 422412 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/254 268255
/proc/meminfo: memFree=126523244/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=437444 memory=422412 CPUtime=3334.67 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 91092 0 0 0 327003 6464 0 0 20 0 1 0 47567651 447942656 105603 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 109361 105603 2508 2403 0 106471 0
Current children cumulated CPU time: 3334.67 s
Current children cumulated vsize: 437444 KiB
Current children cumulated memory: 422412 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 268270
/proc/meminfo: memFree=126522728/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=437444 memory=422412 CPUtime=3394.55 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 91098 0 0 0 332751 6704 0 0 20 0 1 0 47567651 447942656 105603 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 109361 105603 2508 2403 0 106471 0
Current children cumulated CPU time: 3394.55 s
Current children cumulated vsize: 437444 KiB
Current children cumulated memory: 422412 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 268281
/proc/meminfo: memFree=126522036/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=437444 memory=422412 CPUtime=3454.42 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 91104 0 0 0 338476 6966 0 0 20 0 1 0 47567651 447942656 105603 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 109361 105603 2508 2403 0 106471 0
Current children cumulated CPU time: 3454.42 s
Current children cumulated vsize: 437444 KiB
Current children cumulated memory: 422412 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 268291
/proc/meminfo: memFree=126521504/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=437444 memory=422412 CPUtime=3514.29 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 91110 0 0 0 344220 7209 0 0 20 0 1 0 47567651 447942656 105603 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 109361 105603 2508 2403 0 106471 0
Current children cumulated CPU time: 3514.29 s
Current children cumulated vsize: 437444 KiB
Current children cumulated memory: 422412 KiB

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

# cumulated CPU time of all completed processes:  user=3484.14 s, system=73.8671 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.09 4.09 5/257 268293
/proc/meminfo: memFree=126521384/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=437444 memory=422412 CPUtime=3524.77 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 91110 0 0 0 345224 7253 0 0 20 0 1 0 47567651 447942656 105603 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 109361 105603 2508 2403 0 106471 0
Current children cumulated CPU time: 3524.77 s
Current children cumulated vsize: 437444 KiB
Current children cumulated memory: 422412 KiB

[startup+3545.6 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 268295
/proc/meminfo: memFree=126520988/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=437444 memory=422412 CPUtime=3537.55 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 91110 0 0 0 346443 7312 0 0 20 0 1 0 47567651 447942656 105603 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 109361 105603 2508 2403 0 106471 0
Current children cumulated CPU time: 3537.55 s
Current children cumulated vsize: 437444 KiB
Current children cumulated memory: 422412 KiB

[startup+3558.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 268297
/proc/meminfo: memFree=126521236/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=437444 memory=422412 CPUtime=3550.32 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 91111 0 0 0 347673 7359 0 0 20 0 1 0 47567651 447942656 105603 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 109361 105603 2508 2403 0 106471 0
Current children cumulated CPU time: 3550.32 s
Current children cumulated vsize: 437444 KiB
Current children cumulated memory: 422412 KiB

[startup+3561.6 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 268298
/proc/meminfo: memFree=126521076/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=437444 memory=422412 CPUtime=3553.51 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 91111 0 0 0 347981 7370 0 0 20 0 1 0 47567651 447942656 105603 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 109361 105603 2508 2403 0 106471 0
Current children cumulated CPU time: 3553.51 s
Current children cumulated vsize: 437444 KiB
Current children cumulated memory: 422412 KiB

[startup+3563.2 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 268298
/proc/meminfo: memFree=126521076/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=437444 memory=422412 CPUtime=3555.11 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 91111 0 0 0 348135 7376 0 0 20 0 1 0 47567651 447942656 105603 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 109361 105603 2508 2403 0 106471 0
Current children cumulated CPU time: 3555.11 s
Current children cumulated vsize: 437444 KiB
Current children cumulated memory: 422412 KiB

[startup+3564.8 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 268298
/proc/meminfo: memFree=126521100/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=437444 memory=422412 CPUtime=3556.7 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 91111 0 0 0 348288 7382 0 0 20 0 1 0 47567651 447942656 105603 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 109361 105603 2508 2403 0 106471 0
Current children cumulated CPU time: 3556.7 s
Current children cumulated vsize: 437444 KiB
Current children cumulated memory: 422412 KiB

[startup+3565.6 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 268298
/proc/meminfo: memFree=126521084/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=437444 memory=422412 CPUtime=3557.5 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 91111 0 0 0 348365 7385 0 0 20 0 1 0 47567651 447942656 105603 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 109361 105603 2508 2403 0 106471 0
Current children cumulated CPU time: 3557.5 s
Current children cumulated vsize: 437444 KiB
Current children cumulated memory: 422412 KiB

[startup+3566 s]*
/proc/loadavg: 4.11 4.09 4.09 5/254 268301
/proc/meminfo: memFree=128074820/131524600 swapFree=131071996/131071996
[pid=266403] ppid=266400 vsize=437444 memory=422412 CPUtime=3557.91 cores=4,6
/proc/266403/stat : 266403 (LS-MabS) R 266400 266403 263838 0 -1 4194304 91111 0 0 0 348405 7386 0 0 20 0 1 0 47567651 447942656 105603 134679101440 4194304 14036057 140724819951008 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 22536192 140724819952673 140724819952774 140724819952774 140724819959790 0
/proc/266403/statm: 109361 105603 2508 2403 0 106471 0
Current children cumulated CPU time: 3557.91 s
Current children cumulated vsize: 437444 KiB
Current children cumulated memory: 422412 KiB

Child status: 0

Real time (s): 3566.1
CPU time (s): 3558.01
CPU user time (s): 3484.14
CPU system time (s): 73.8671
CPU usage (%): 99.7732
Max. virtual memory (cumulated for all children) (KiB): 478536
Max. memory (cumulated for all children) (KiB): 422412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3484.14
system time used= 73.8671
maximum resident set size= 422412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91116
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= 30
involuntary context switches= 1495


# summary of solver processes directly reported to runsolver:
#   pid: 266403
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3484.14
#   total CPU system time (s): 73.8671

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.92681 second user time and 14.0438 second system time

The end