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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428335-1722809651/watcher-4428335-1722809651 -o /tmp/evaluation-result-4428335-1722809651/solver-4428335-1722809651 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722806084-249641 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428335-1722809651.opb -t 3558 -s 893628007 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=252200, runsolver pid=252197
Current StackSize limit: 8192 KiB


[startup+0.100102 s]*
/proc/loadavg: 4.14 4.14 4.07 5/242 252201
/proc/meminfo: memFree=129543580/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=32984 memory=9652 CPUtime=0.1 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 1767 0 0 0 10 0 0 0 20 0 1 0 47335802 33775616 2413 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 8246 2413 749 2403 0 5356 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32984 KiB
Current children cumulated memory: 9652 KiB

[startup+0.213905 s]*
/proc/loadavg: 4.14 4.14 4.07 6/242 252201
/proc/meminfo: memFree=129486416/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=40904 memory=18360 CPUtime=0.22 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 3985 0 0 0 21 1 0 0 20 0 1 0 47335802 41885696 4590 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 10226 4590 749 2403 0 7336 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 40904 KiB
Current children cumulated memory: 18360 KiB

[startup+0.31401 s]*
/proc/loadavg: 4.14 4.14 4.07 5/242 252201
/proc/meminfo: memFree=129430788/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=66868 memory=49060 CPUtime=0.31 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 10457 0 0 0 28 3 0 0 20 0 1 0 47335802 68472832 12265 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 16717 12265 2077 2403 0 13827 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 66868 KiB
Current children cumulated memory: 49060 KiB

[startup+0.700359 s]
/proc/loadavg: 4.14 4.14 4.07 5/242 252201
/proc/meminfo: memFree=129308944/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=132764 memory=113792 CPUtime=0.69 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 26678 0 0 0 60 9 0 0 20 0 1 0 47335802 135950336 28448 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 33191 28448 2317 2403 0 30301 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 132764 KiB
Current children cumulated memory: 113792 KiB

[startup+1.50036 s]
/proc/loadavg: 4.14 4.14 4.07 4/240 252203
/proc/meminfo: memFree=129227896/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=158488 memory=140384 CPUtime=1.48 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 36400 0 0 0 137 11 0 0 20 0 1 0 47335802 162291712 35096 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 39622 35096 2349 2403 0 36732 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 158488 KiB
Current children cumulated memory: 140384 KiB

[startup+3.11324 s]
/proc/loadavg: 4.13 4.14 4.07 5/239 252243
/proc/meminfo: memFree=129072132/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=237316 memory=214752 CPUtime=3.09 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 57870 0 0 0 294 15 0 0 20 0 1 0 47335802 243011584 53688 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 59329 53688 2445 2403 0 56439 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 237316 KiB
Current children cumulated memory: 214752 KiB

[startup+6.30028 s]
/proc/loadavg: 4.13 4.14 4.07 5/242 252249
/proc/meminfo: memFree=128722548/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=238060 memory=215544 CPUtime=6.26 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 58075 0 0 0 611 15 0 0 20 0 1 0 47335802 243773440 53886 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 59515 53886 2445 2403 0 56625 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 238060 KiB
Current children cumulated memory: 215544 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.13 4.06 5/242 252250
/proc/meminfo: memFree=128705448/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=239012 memory=216592 CPUtime=12.65 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 58336 0 0 0 1249 16 0 0 20 0 1 0 47335802 244748288 54148 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 59753 54148 2445 2403 0 56863 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 239012 KiB
Current children cumulated memory: 216592 KiB

[startup+25.5004 s]
/proc/loadavg: 4.09 4.13 4.06 5/242 252252
/proc/meminfo: memFree=128689756/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=239012 memory=216592 CPUtime=25.41 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 58338 0 0 0 2525 16 0 0 20 0 1 0 47335802 244748288 54148 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 59753 54148 2445 2403 0 56863 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 239012 KiB
Current children cumulated memory: 216592 KiB

[startup+51.1134 s]
/proc/loadavg: 4.12 4.13 4.07 5/241 252256
/proc/meminfo: memFree=128623336/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=239012 memory=216592 CPUtime=50.96 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 58340 0 0 0 5080 16 0 0 20 0 1 0 47335802 244748288 54148 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 59753 54148 2445 2403 0 56863 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 239012 KiB
Current children cumulated memory: 216592 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/239 252266
/proc/meminfo: memFree=128597440/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=239012 memory=216592 CPUtime=102 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 58343 0 0 0 10184 16 0 0 20 0 1 0 47335802 244748288 54148 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 59753 54148 2445 2403 0 56863 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 239012 KiB
Current children cumulated memory: 216592 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.07 5/239 252277
/proc/meminfo: memFree=128306260/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=239012 memory=216592 CPUtime=161.85 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 58345 0 0 0 16168 17 0 0 20 0 1 0 47335802 244748288 54148 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 59753 54148 2445 2403 0 56863 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 239012 KiB
Current children cumulated memory: 216592 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/239 252287
/proc/meminfo: memFree=128303208/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=239012 memory=216592 CPUtime=221.68 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 58346 0 0 0 22151 17 0 0 20 0 1 0 47335802 244748288 54148 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 59753 54148 2445 2403 0 56863 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 239012 KiB
Current children cumulated memory: 216592 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.07 5/239 252297
/proc/meminfo: memFree=128263080/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=263520 memory=229124 CPUtime=281.52 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 62315 0 0 0 28134 18 0 0 20 0 1 0 47335802 269844480 57281 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 65880 57281 2477 2403 0 62990 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 263520 KiB
Current children cumulated memory: 229124 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.08 5/238 252308
/proc/meminfo: memFree=128247620/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=263520 memory=232428 CPUtime=341.35 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 62342 0 0 0 34117 18 0 0 20 0 1 0 47335802 269844480 58107 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 65880 58107 2477 2403 0 62990 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 263520 KiB
Current children cumulated memory: 232428 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/240 252322
/proc/meminfo: memFree=128062684/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=263520 memory=251008 CPUtime=401.19 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 62384 0 0 0 40101 18 0 0 20 0 1 0 47335802 269844480 62752 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 65880 62752 2477 2403 0 62990 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 263520 KiB
Current children cumulated memory: 251008 KiB

[startup+462.3 s]
/proc/loadavg: 4.28 4.15 4.10 5/240 252332
/proc/meminfo: memFree=128038808/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=263520 memory=251980 CPUtime=461.03 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 62416 0 0 0 46085 18 0 0 20 0 1 0 47335802 269844480 62995 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0

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

/proc/loadavg: 4.14 4.13 4.17 5/238 254005
/proc/meminfo: memFree=128067248/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=210908 memory=191892 CPUtime=3214.92 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 75362 0 0 0 316593 4899 0 0 20 0 1 0 47335802 215969792 47973 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 52727 47973 2508 2403 0 49837 0
Current children cumulated CPU time: 3214.92 s
Current children cumulated vsize: 210908 KiB
Current children cumulated memory: 191892 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.16 5/238 254015
/proc/meminfo: memFree=128066828/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=210908 memory=191892 CPUtime=3274.81 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 75373 0 0 0 322343 5138 0 0 20 0 1 0 47335802 215969792 47973 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 52727 47973 2508 2403 0 49837 0
Current children cumulated CPU time: 3274.81 s
Current children cumulated vsize: 210908 KiB
Current children cumulated memory: 191892 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/241 254031
/proc/meminfo: memFree=128066176/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=210908 memory=191892 CPUtime=3334.71 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 75384 0 0 0 328124 5347 0 0 20 0 1 0 47335802 215969792 47973 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 52727 47973 2508 2403 0 49837 0
Current children cumulated CPU time: 3334.71 s
Current children cumulated vsize: 210908 KiB
Current children cumulated memory: 191892 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.16 5/241 254043
/proc/meminfo: memFree=128066024/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=210908 memory=191892 CPUtime=3394.6 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 75395 0 0 0 333897 5563 0 0 20 0 1 0 47335802 215969792 47973 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 52727 47973 2508 2403 0 49837 0
Current children cumulated CPU time: 3394.6 s
Current children cumulated vsize: 210908 KiB
Current children cumulated memory: 191892 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/241 254053
/proc/meminfo: memFree=128065728/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=210908 memory=191892 CPUtime=3454.49 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 75406 0 0 0 339688 5761 0 0 20 0 1 0 47335802 215969792 47973 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 52727 47973 2508 2403 0 49837 0
Current children cumulated CPU time: 3454.49 s
Current children cumulated vsize: 210908 KiB
Current children cumulated memory: 191892 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/242 254065
/proc/meminfo: memFree=128065392/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=210908 memory=191892 CPUtime=3514.38 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 75417 0 0 0 345497 5941 0 0 20 0 1 0 47335802 215969792 47973 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 52727 47973 2508 2403 0 49837 0
Current children cumulated CPU time: 3514.38 s
Current children cumulated vsize: 210908 KiB
Current children cumulated memory: 191892 KiB

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

# cumulated CPU time of all completed processes:  user=3497.02 s, system=60.9905 s

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

[startup+3532.8 s]
/proc/loadavg: 4.13 4.12 4.15 5/242 254067
/proc/meminfo: memFree=128065340/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=210908 memory=191892 CPUtime=3524.86 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 75417 0 0 0 346508 5978 0 0 20 0 1 0 47335802 215969792 47973 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 52727 47973 2508 2403 0 49837 0
Current children cumulated CPU time: 3524.86 s
Current children cumulated vsize: 210908 KiB
Current children cumulated memory: 191892 KiB

[startup+3545.6 s]
/proc/loadavg: 4.10 4.12 4.15 5/242 254068
/proc/meminfo: memFree=128065308/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=210908 memory=191892 CPUtime=3537.63 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 75417 0 0 0 347736 6027 0 0 20 0 1 0 47335802 215969792 47973 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 52727 47973 2508 2403 0 49837 0
Current children cumulated CPU time: 3537.63 s
Current children cumulated vsize: 210908 KiB
Current children cumulated memory: 191892 KiB

[startup+3558.4 s]
/proc/loadavg: 4.08 4.11 4.15 5/242 254071
/proc/meminfo: memFree=128065216/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=210908 memory=191892 CPUtime=3550.41 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 75417 0 0 0 348963 6078 0 0 20 0 1 0 47335802 215969792 47973 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 52727 47973 2508 2403 0 49837 0
Current children cumulated CPU time: 3550.41 s
Current children cumulated vsize: 210908 KiB
Current children cumulated memory: 191892 KiB

[startup+3561.6 s]
/proc/loadavg: 4.08 4.11 4.15 5/242 254072
/proc/meminfo: memFree=128065164/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=210908 memory=191892 CPUtime=3553.61 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 75417 0 0 0 349276 6085 0 0 20 0 1 0 47335802 215969792 47973 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 52727 47973 2508 2403 0 49837 0
Current children cumulated CPU time: 3553.61 s
Current children cumulated vsize: 210908 KiB
Current children cumulated memory: 191892 KiB

[startup+3563.2 s]
/proc/loadavg: 4.15 4.13 4.15 5/242 254072
/proc/meminfo: memFree=128065196/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=210908 memory=191892 CPUtime=3555.21 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 75417 0 0 0 349431 6090 0 0 20 0 1 0 47335802 215969792 47973 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 52727 47973 2508 2403 0 49837 0
Current children cumulated CPU time: 3555.21 s
Current children cumulated vsize: 210908 KiB
Current children cumulated memory: 191892 KiB

[startup+3564.8 s]
/proc/loadavg: 4.15 4.13 4.15 5/242 254072
/proc/meminfo: memFree=128065196/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=210908 memory=191892 CPUtime=3556.81 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 75417 0 0 0 349586 6095 0 0 20 0 1 0 47335802 215969792 47973 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 52727 47973 2508 2403 0 49837 0
Current children cumulated CPU time: 3556.81 s
Current children cumulated vsize: 210908 KiB
Current children cumulated memory: 191892 KiB

[startup+3565.6 s]
/proc/loadavg: 4.15 4.13 4.15 5/242 254072
/proc/meminfo: memFree=128065196/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=210908 memory=191892 CPUtime=3557.61 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 75417 0 0 0 349663 6098 0 0 20 0 1 0 47335802 215969792 47973 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 52727 47973 2508 2403 0 49837 0
Current children cumulated CPU time: 3557.61 s
Current children cumulated vsize: 210908 KiB
Current children cumulated memory: 191892 KiB

[startup+3565.8 s]
/proc/loadavg: 4.15 4.13 4.15 5/242 254072
/proc/meminfo: memFree=128065196/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=210908 memory=191892 CPUtime=3557.8 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 75417 0 0 0 349682 6098 0 0 20 0 1 0 47335802 215969792 47973 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 52727 47973 2508 2403 0 49837 0
Current children cumulated CPU time: 3557.8 s
Current children cumulated vsize: 210908 KiB
Current children cumulated memory: 191892 KiB

[startup+3565.9 s]
/proc/loadavg: 4.15 4.13 4.15 5/242 254072
/proc/meminfo: memFree=128065196/131655788 swapFree=131071472/131071996
[pid=252200] ppid=252197 vsize=210908 memory=191892 CPUtime=3557.9 cores=5,7
/proc/252200/stat : 252200 (LS-MabS) R 252197 252200 249628 0 -1 4194304 75417 0 0 0 349692 6098 0 0 20 0 1 0 47335802 215969792 47973 134679101440 4194304 14036057 140731582230560 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 48508928 140731582239781 140731582239882 140731582239882 140731582246894 0
/proc/252200/statm: 52727 47973 2508 2403 0 49837 0
Current children cumulated CPU time: 3557.9 s
Current children cumulated vsize: 210908 KiB
Current children cumulated memory: 191892 KiB

Child status: 0

Real time (s): 3566.01
CPU time (s): 3558.01
CPU user time (s): 3497.02
CPU system time (s): 60.9905
CPU usage (%): 99.7757
Max. virtual memory (cumulated for all children) (KiB): 347788
Max. memory (cumulated for all children) (KiB): 313352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3497.02
system time used= 60.9905
maximum resident set size= 313352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75419
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= 25
involuntary context switches= 4546


# summary of solver processes directly reported to runsolver:
#   pid: 252200
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3497.02
#   total CPU system time (s): 60.9905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5261 second user time and 31.9443 second system time

The end