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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427750-1722773152/watcher-4427750-1722773152 -o /tmp/evaluation-result-4427750-1722773152/solver-4427750-1722773152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722769582-245027 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427750-1722773152.opb -t 3558 -s 704629819 

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
solver pid=247121, runsolver pid=247118
Current StackSize limit: 8192 KiB


[startup+0.100084 s]*
/proc/loadavg: 4.12 4.12 4.03 5/257 247134
/proc/meminfo: memFree=125849284/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=30596 memory=17480 CPUtime=0.09 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 3412 0 0 0 9 0 0 0 20 0 1 0 43915078 31330304 4370 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 7649 4370 1073 2753 0 4302 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30596 KiB
Current children cumulated memory: 17480 KiB

[startup+0.205047 s]*
/proc/loadavg: 4.12 4.12 4.03 5/257 247134
/proc/meminfo: memFree=125838300/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=33228 memory=20652 CPUtime=0.2 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 4666 0 0 0 20 0 0 0 20 0 1 0 43915078 34025472 5163 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 8307 5163 1105 2753 0 4960 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33228 KiB
Current children cumulated memory: 20652 KiB

[startup+0.304374 s]*
/proc/loadavg: 4.12 4.12 4.03 5/257 247134
/proc/meminfo: memFree=125835548/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=33228 memory=20652 CPUtime=0.29 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 4666 0 0 0 29 0 0 0 20 0 1 0 43915078 34025472 5163 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 8307 5163 1105 2753 0 4960 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 33228 KiB
Current children cumulated memory: 20652 KiB

[startup+0.70023 s]
/proc/loadavg: 4.12 4.12 4.03 5/257 247134
/proc/meminfo: memFree=125688920/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=96816 memory=86920 CPUtime=0.69 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 20154 0 0 0 66 3 0 0 20 0 1 0 43915078 99139584 21730 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 24204 21730 2737 2753 0 20857 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 96816 KiB
Current children cumulated memory: 86920 KiB

[startup+1.50022 s]
/proc/loadavg: 4.12 4.12 4.03 5/257 247134
/proc/meminfo: memFree=125675996/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=98152 memory=88240 CPUtime=1.49 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 20488 0 0 0 146 3 0 0 20 0 1 0 43915078 100507648 22060 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 24538 22060 2737 2753 0 21191 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 98152 KiB
Current children cumulated memory: 88240 KiB

[startup+3.10544 s]
/proc/loadavg: 4.11 4.11 4.03 5/257 247136
/proc/meminfo: memFree=125378860/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=180396 memory=163644 CPUtime=3.08 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 35050 0 0 0 303 5 0 0 20 0 1 0 43915078 184725504 40911 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 45099 40911 2817 2753 0 41752 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 180396 KiB
Current children cumulated memory: 163644 KiB

[startup+6.30019 s]
/proc/loadavg: 4.11 4.11 4.03 5/257 247136
/proc/meminfo: memFree=125118116/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=207988 memory=185648 CPUtime=6.27 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 40087 0 0 0 620 7 0 0 20 0 1 0 43915078 212979712 46412 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 51997 46412 2849 2753 0 48650 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 207988 KiB
Current children cumulated memory: 185648 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.03 5/256 247137
/proc/meminfo: memFree=125062168/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=270164 memory=209208 CPUtime=12.65 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 45454 0 0 0 1257 8 0 0 20 0 1 0 43915078 276647936 52302 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 67541 52302 2849 2753 0 64194 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 270164 KiB
Current children cumulated memory: 209208 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.03 5/256 247139
/proc/meminfo: memFree=125038396/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=292768 memory=231908 CPUtime=25.4 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 51207 0 0 0 2531 9 0 0 20 0 1 0 43915078 299794432 57977 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 73192 57977 2849 2753 0 69845 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 292768 KiB
Current children cumulated memory: 231908 KiB

[startup+51.1054 s]
/proc/loadavg: 4.11 4.11 4.04 5/256 247142
/proc/meminfo: memFree=124933356/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=336224 memory=274400 CPUtime=50.91 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 61829 0 0 0 5079 12 0 0 20 0 1 0 43915078 344293376 68600 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 84056 68600 2849 2753 0 80709 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 336224 KiB
Current children cumulated memory: 274400 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/256 247152
/proc/meminfo: memFree=124720924/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=480716 memory=376388 CPUtime=101.89 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 107183 0 0 0 10169 20 0 0 20 0 1 0 43915078 492253184 94097 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 120179 94097 2849 2753 0 116832 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 480716 KiB
Current children cumulated memory: 376388 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/256 247165
/proc/meminfo: memFree=124627520/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=527260 memory=406596 CPUtime=161.64 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 114233 0 0 0 16143 21 0 0 20 0 1 0 43915078 539914240 101649 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 131815 101649 2849 2753 0 128468 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 527260 KiB
Current children cumulated memory: 406596 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.10 4.04 5/256 247175
/proc/meminfo: memFree=124572312/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=614660 memory=415384 CPUtime=221.39 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 122463 0 0 0 22116 23 0 0 20 0 1 0 43915078 629411840 103846 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 153665 103846 2849 2753 0 150318 0
Current children cumulated CPU time: 221.39 s
Current children cumulated vsize: 614660 KiB
Current children cumulated memory: 415384 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.09 4.04 5/258 247189
/proc/meminfo: memFree=124506416/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=710408 memory=440760 CPUtime=281.14 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 128222 0 0 0 28090 24 0 0 20 0 1 0 43915078 727457792 110190 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 177602 110190 3195 2753 0 174255 0
Current children cumulated CPU time: 281.14 s
Current children cumulated vsize: 710408 KiB
Current children cumulated memory: 440760 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/257 247200
/proc/meminfo: memFree=124456104/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=808728 memory=462704 CPUtime=340.89 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 133207 0 0 0 34064 25 0 0 20 0 1 0 43915078 828137472 115676 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 202182 115676 3195 2753 0 198835 0
Current children cumulated CPU time: 340.89 s
Current children cumulated vsize: 808728 KiB
Current children cumulated memory: 462704 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.11 4.05 5/257 247210
/proc/meminfo: memFree=124254132/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=886356 memory=532244 CPUtime=400.65 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 149372 0 0 0 40038 27 0 0 20 0 1 0 43915078 907628544 133061 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 221589 133061 3195 2753 0 218242 0
Current children cumulated CPU time: 400.65 s
Current children cumulated vsize: 886356 KiB
Current children cumulated memory: 532244 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.12 4.05 5/257 247220
/proc/meminfo: memFree=124144372/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=953312 memory=616156 CPUtime=460.45 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 159841 0 0 0 46015 30 0 0 20 0 1 0 43915078 976191488 154039 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0

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

/proc/loadavg: 4.15 4.11 4.09 5/259 248900
/proc/meminfo: memFree=121650956/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=1783792 memory=1661900 CPUtime=3212.07 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 231506 0 0 0 317932 3275 0 0 20 0 1 0 43915078 1826603008 415475 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 445948 415475 3195 2753 0 442601 0
Current children cumulated CPU time: 3212.07 s
Current children cumulated vsize: 1783792 KiB
Current children cumulated memory: 1661900 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/260 248913
/proc/meminfo: memFree=121648624/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=1783792 memory=1661900 CPUtime=3271.92 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 231538 0 0 0 323797 3395 0 0 20 0 1 0 43915078 1826603008 415475 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 445948 415475 3195 2753 0 442601 0
Current children cumulated CPU time: 3271.92 s
Current children cumulated vsize: 1783792 KiB
Current children cumulated memory: 1661900 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/259 248936
/proc/meminfo: memFree=121648272/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=1783792 memory=1661900 CPUtime=3331.76 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 231562 0 0 0 329661 3515 0 0 20 0 1 0 43915078 1826603008 415475 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 445948 415475 3195 2753 0 442601 0
Current children cumulated CPU time: 3331.76 s
Current children cumulated vsize: 1783792 KiB
Current children cumulated memory: 1661900 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/259 248946
/proc/meminfo: memFree=121647528/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=1783792 memory=1661900 CPUtime=3391.6 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 231594 0 0 0 335516 3644 0 0 20 0 1 0 43915078 1826603008 415475 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 445948 415475 3195 2753 0 442601 0
Current children cumulated CPU time: 3391.6 s
Current children cumulated vsize: 1783792 KiB
Current children cumulated memory: 1661900 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 248958
/proc/meminfo: memFree=121646792/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=1783792 memory=1661900 CPUtime=3451.45 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 231618 0 0 0 341377 3768 0 0 20 0 1 0 43915078 1826603008 415475 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 445948 415475 3195 2753 0 442601 0
Current children cumulated CPU time: 3451.45 s
Current children cumulated vsize: 1783792 KiB
Current children cumulated memory: 1661900 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/256 248970
/proc/meminfo: memFree=121646076/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=1783792 memory=1661900 CPUtime=3511.3 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 231650 0 0 0 347240 3890 0 0 20 0 1 0 43915078 1826603008 415475 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 445948 415475 3195 2753 0 442601 0
Current children cumulated CPU time: 3511.3 s
Current children cumulated vsize: 1783792 KiB
Current children cumulated memory: 1661900 KiB

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

# cumulated CPU time of all completed processes:  user=3518.09 s, system=39.9234 s

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

[startup+3532.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 248972
/proc/meminfo: memFree=121645928/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=1783792 memory=1661900 CPUtime=3521.77 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 231650 0 0 0 348267 3910 0 0 20 0 1 0 43915078 1826603008 415475 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 445948 415475 3195 2753 0 442601 0
Current children cumulated CPU time: 3521.77 s
Current children cumulated vsize: 1783792 KiB
Current children cumulated memory: 1661900 KiB

[startup+3545.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/256 248974
/proc/meminfo: memFree=121645652/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=1783792 memory=1661900 CPUtime=3534.54 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 231658 0 0 0 349516 3938 0 0 20 0 1 0 43915078 1826603008 415475 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 445948 415475 3195 2753 0 442601 0
Current children cumulated CPU time: 3534.54 s
Current children cumulated vsize: 1783792 KiB
Current children cumulated memory: 1661900 KiB

[startup+3558.4 s]
/proc/loadavg: 4.13 4.09 4.09 5/256 248976
/proc/meminfo: memFree=121645616/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=1783792 memory=1661900 CPUtime=3547.31 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 231666 0 0 0 350761 3970 0 0 20 0 1 0 43915078 1826603008 415475 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 445948 415475 3195 2753 0 442601 0
Current children cumulated CPU time: 3547.31 s
Current children cumulated vsize: 1783792 KiB
Current children cumulated memory: 1661900 KiB

[startup+3564.8 s]
/proc/loadavg: 4.12 4.09 4.09 5/256 248977
/proc/meminfo: memFree=121645560/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=1783792 memory=1661900 CPUtime=3553.68 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 231666 0 0 0 351386 3982 0 0 20 0 1 0 43915078 1826603008 415475 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 445948 415475 3195 2753 0 442601 0
Current children cumulated CPU time: 3553.68 s
Current children cumulated vsize: 1783792 KiB
Current children cumulated memory: 1661900 KiB

[startup+3566.4 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 249059
/proc/meminfo: memFree=122184652/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=1783792 memory=1661900 CPUtime=3555.28 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 231666 0 0 0 351542 3986 0 0 20 0 1 0 43915078 1826603008 415475 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 2 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 445948 415475 3195 2753 0 442601 0
Current children cumulated CPU time: 3555.28 s
Current children cumulated vsize: 1783792 KiB
Current children cumulated memory: 1661900 KiB

[startup+3568 s]*
/proc/loadavg: 4.19 4.11 4.10 5/256 249115
/proc/meminfo: memFree=124090172/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=1783792 memory=1661900 CPUtime=3556.86 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 231666 0 0 0 351697 3989 0 0 20 0 1 0 43915078 1826603008 415475 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 2 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 445948 415475 3195 2753 0 442601 0
Current children cumulated CPU time: 3556.86 s
Current children cumulated vsize: 1783792 KiB
Current children cumulated memory: 1661900 KiB

[startup+3568.8 s]
/proc/loadavg: 4.19 4.11 4.10 5/256 249115
/proc/meminfo: memFree=124090172/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=1783792 memory=1661900 CPUtime=3557.65 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 231666 0 0 0 351775 3990 0 0 20 0 1 0 43915078 1826603008 415475 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 2 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 445948 415475 3195 2753 0 442601 0
Current children cumulated CPU time: 3557.65 s
Current children cumulated vsize: 1783792 KiB
Current children cumulated memory: 1661900 KiB

[startup+3569 s]*
/proc/loadavg: 4.19 4.11 4.10 5/256 249115
/proc/meminfo: memFree=124088480/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=1783792 memory=1661900 CPUtime=3557.86 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 231666 0 0 0 351795 3991 0 0 20 0 1 0 43915078 1826603008 415475 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 2 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 445948 415475 3195 2753 0 442601 0
Current children cumulated CPU time: 3557.86 s
Current children cumulated vsize: 1783792 KiB
Current children cumulated memory: 1661900 KiB

[startup+3569.11 s]
/proc/loadavg: 4.19 4.11 4.10 5/256 249115
/proc/meminfo: memFree=124088480/131524600 swapFree=131071996/131071996
[pid=247121] ppid=247118 vsize=1783792 memory=1661900 CPUtime=3557.96 cores=0,2
/proc/247121/stat : 247121 (LS-MabSP) R 247118 247121 245017 0 -1 4194304 231666 0 0 0 351805 3991 0 0 20 0 1 0 43915078 1826603008 415475 134679101440 4194304 15467897 140722019030736 0 0 0 0 0 17410 0 0 0 17 2 0 0 0 0 0 17807032 17896208 49651712 140722019038239 140722019038341 140722019038341 140722019045357 0
/proc/247121/statm: 445948 415475 3195 2753 0 442601 0
Current children cumulated CPU time: 3557.96 s
Current children cumulated vsize: 1783792 KiB
Current children cumulated memory: 1661900 KiB

Child status: 0

Real time (s): 3569.16
CPU time (s): 3558.02
CPU user time (s): 3518.09
CPU system time (s): 39.9234
CPU usage (%): 99.6879
Max. virtual memory (cumulated for all children) (KiB): 1887648
Max. memory (cumulated for all children) (KiB): 1756712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3518.09
system time used= 39.9234
maximum resident set size= 1756712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231810
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= 56
involuntary context switches= 24421


# summary of solver processes directly reported to runsolver:
#   pid: 247121
#   total CPU time (s): 3558.02
#   total CPU user time (s): 3518.09
#   total CPU system time (s): 39.9234

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.35891 second user time and 13.6034 second system time

The end