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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429014-1722781455/watcher-4429014-1722781455 -o /tmp/evaluation-result-4429014-1722781455/solver-4429014-1722781455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722781455-247699 --watchdog 3760 --use-pty ./LS-Mab -f HOME/instance-4429014-1722781455.opb -t 3600 -s 882394145 --no-s 

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=247755, runsolver pid=247745

[startup+0.100612 s]*
/proc/loadavg: 0.07 0.16 1.20 7/249 247768
/proc/meminfo: memFree=128528688/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5216 CPUtime=0.11 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 696 0 0 0 10 1 0 0 20 0 1 0 44515874 19869696 1304 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1304 764 2403 0 1961 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5216 KiB

[startup+0.21522 s]*
/proc/loadavg: 0.07 0.16 1.20 7/249 247768
/proc/meminfo: memFree=128527688/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5216 CPUtime=0.22 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 696 0 0 0 20 2 0 0 20 0 1 0 44515874 19869696 1304 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1304 764 2403 0 1961 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5216 KiB

[startup+0.31356 s]*
/proc/loadavg: 0.39 0.22 1.22 7/249 247768
/proc/meminfo: memFree=128527112/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5216 CPUtime=0.31 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 696 0 0 0 29 2 0 0 20 0 1 0 44515874 19869696 1304 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1304 764 2403 0 1961 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5216 KiB

[startup+0.700258 s]
/proc/loadavg: 0.39 0.22 1.22 7/249 247768
/proc/meminfo: memFree=128526536/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5216 CPUtime=0.69 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 696 0 0 0 64 5 0 0 20 0 1 0 44515874 19869696 1304 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1304 764 2403 0 1961 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5216 KiB

[startup+1.50025 s]
/proc/loadavg: 0.39 0.22 1.22 7/249 247768
/proc/meminfo: memFree=128526328/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5216 CPUtime=1.48 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 696 0 0 0 139 9 0 0 20 0 1 0 44515874 19869696 1304 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1304 764 2403 0 1961 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5216 KiB

[startup+3.11319 s]
/proc/loadavg: 0.39 0.22 1.22 7/249 247770
/proc/meminfo: memFree=128526032/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5600 CPUtime=3.09 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 708 0 0 0 291 18 0 0 20 0 1 0 44515874 19869696 1400 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1400 796 2403 0 1961 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5600 KiB

[startup+6.30023 s]
/proc/loadavg: 0.92 0.33 1.25 7/249 247770
/proc/meminfo: memFree=128526100/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5600 CPUtime=6.27 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 708 0 0 0 596 31 0 0 20 0 1 0 44515874 19869696 1400 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1400 796 2403 0 1961 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5600 KiB

[startup+12.7002 s]
/proc/loadavg: 1.16 0.39 1.27 7/249 247770
/proc/meminfo: memFree=128526080/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5600 CPUtime=12.66 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 708 0 0 0 1203 63 0 0 20 0 1 0 44515874 19869696 1400 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1400 796 2403 0 1961 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5600 KiB

[startup+25.5003 s]
/proc/loadavg: 1.60 0.51 1.30 7/249 247773
/proc/meminfo: memFree=128525756/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5600 CPUtime=25.43 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 708 0 0 0 2419 124 0 0 20 0 1 0 44515874 19869696 1400 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1400 796 2403 0 1961 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5600 KiB

[startup+51.1124 s]
/proc/loadavg: 2.63 0.86 1.39 7/249 247776
/proc/meminfo: memFree=128525052/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5600 CPUtime=50.99 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 708 0 0 0 4855 244 0 0 20 0 1 0 44515874 19869696 1400 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1400 796 2403 0 1961 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5600 KiB

[startup+102.3 s]
/proc/loadavg: 3.61 1.40 1.54 7/249 248173
/proc/meminfo: memFree=128624516/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5600 CPUtime=102.08 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 708 0 0 0 9722 486 0 0 20 0 1 0 44515874 19869696 1400 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1400 796 2403 0 1961 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5600 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 1.89 1.70 7/249 248184
/proc/meminfo: memFree=128623484/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5860 CPUtime=161.95 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 715 0 0 0 15425 770 0 0 20 0 1 0 44515874 19869696 1465 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1465 796 2403 0 1961 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5860 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.31 1.86 7/249 248195
/proc/meminfo: memFree=128622244/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5860 CPUtime=221.83 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 719 0 0 0 21130 1053 0 0 20 0 1 0 44515874 19869696 1465 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1465 796 2403 0 1961 0
Current children cumulated CPU time: 221.83 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5860 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 2.63 2.00 7/251 248375
/proc/meminfo: memFree=128621640/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5860 CPUtime=281.7 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 721 0 0 0 26844 1326 0 0 20 0 1 0 44515874 19869696 1465 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1465 796 2403 0 1961 0
Current children cumulated CPU time: 281.7 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5860 KiB

[startup+342.3 s]
/proc/loadavg: 4.03 2.89 2.13 7/245 248386
/proc/meminfo: memFree=128621232/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5860 CPUtime=341.59 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 723 0 0 0 32562 1597 0 0 20 0 1 0 44515874 19869696 1465 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1465 796 2403 0 1961 0
Current children cumulated CPU time: 341.59 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5860 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.12 2.26 7/244 248452
/proc/meminfo: memFree=128620272/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5860 CPUtime=401.47 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 724 0 0 0 38266 1881 0 0 20 0 1 0 44515874 19869696 1465 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1465 796 2403 0 1961 0
Current children cumulated CPU time: 401.47 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5860 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 3.31 2.38 7/244 248463
/proc/meminfo: memFree=128619144/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5860 CPUtime=461.35 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 725 0 0 0 43976 2159 0 0 20 0 1 0 44515874 19869696 1465 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0

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

/proc/loadavg: 4.06 4.08 4.01 8/241 249533
/proc/meminfo: memFree=128586640/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5860 CPUtime=3155.92 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 770 0 0 0 301080 14512 0 0 20 0 1 0 44515874 19869696 1465 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1465 796 2403 0 1961 0
Current children cumulated CPU time: 3155.92 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5860 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.01 7/241 249543
/proc/meminfo: memFree=128586088/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5860 CPUtime=3215.8 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 771 0 0 0 306783 14797 0 0 20 0 1 0 44515874 19869696 1465 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1465 796 2403 0 1961 0
Current children cumulated CPU time: 3215.8 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5860 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.12 4.02 7/244 249558
/proc/meminfo: memFree=128585256/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5860 CPUtime=3275.69 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 772 0 0 0 312490 15079 0 0 20 0 1 0 44515874 19869696 1465 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1465 796 2403 0 1961 0
Current children cumulated CPU time: 3275.69 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5860 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.13 4.03 7/244 249570
/proc/meminfo: memFree=128584560/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5868 CPUtime=3335.57 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 773 0 0 0 318198 15359 0 0 20 0 1 0 44515874 19869696 1467 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1467 796 2403 0 1961 0
Current children cumulated CPU time: 3335.57 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5868 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.03 7/244 249582
/proc/meminfo: memFree=128583800/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5868 CPUtime=3395.45 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 774 0 0 0 323914 15631 0 0 20 0 1 0 44515874 19869696 1467 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1467 796 2403 0 1961 0
Current children cumulated CPU time: 3395.45 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5868 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.03 7/244 249592
/proc/meminfo: memFree=128583032/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5868 CPUtime=3455.33 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 775 0 0 0 329637 15896 0 0 20 0 1 0 44515874 19869696 1467 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1467 796 2403 0 1961 0
Current children cumulated CPU time: 3455.33 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5868 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.03 7/244 249603
/proc/meminfo: memFree=128582256/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5868 CPUtime=3515.21 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 776 0 0 0 335355 16166 0 0 20 0 1 0 44515874 19869696 1467 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1467 796 2403 0 1961 0
Current children cumulated CPU time: 3515.21 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5868 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.03 8/242 249613
/proc/meminfo: memFree=128581664/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5868 CPUtime=3575.09 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 777 0 0 0 341073 16436 0 0 20 0 1 0 44515874 19869696 1467 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1467 796 2403 0 1961 0
Current children cumulated CPU time: 3575.09 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5868 KiB

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

# cumulated CPU time of all completed processes:  user=3434.53 s, system=165.477 s

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

[startup+3584 s]*
/proc/loadavg: 4.07 4.10 4.03 7/242 249614
/proc/meminfo: memFree=128581544/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5868 CPUtime=3576.79 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 777 0 0 0 341235 16444 0 0 20 0 1 0 44515874 19869696 1467 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1467 796 2403 0 1961 0
Current children cumulated CPU time: 3576.79 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5868 KiB

[startup+3596.8 s]
/proc/loadavg: 4.05 4.09 4.03 7/242 249616
/proc/meminfo: memFree=128581720/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5868 CPUtime=3589.55 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 777 0 0 0 342450 16505 0 0 20 0 1 0 44515874 19869696 1467 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1467 796 2403 0 1961 0
Current children cumulated CPU time: 3589.55 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5868 KiB

[startup+3603.2 s]
/proc/loadavg: 4.05 4.09 4.03 7/242 249617
/proc/meminfo: memFree=128581668/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5868 CPUtime=3595.95 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 777 0 0 0 343067 16528 0 0 20 0 1 0 44515874 19869696 1467 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1467 796 2403 0 1961 0
Current children cumulated CPU time: 3595.95 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5868 KiB

[startup+3604.8 s]
/proc/loadavg: 4.05 4.09 4.03 7/242 249617
/proc/meminfo: memFree=128581684/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5868 CPUtime=3597.54 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 777 0 0 0 343219 16535 0 0 20 0 1 0 44515874 19869696 1467 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1467 796 2403 0 1961 0
Current children cumulated CPU time: 3597.54 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5868 KiB

[startup+3606.4 s]
/proc/loadavg: 4.04 4.09 4.03 6/233 249683
/proc/meminfo: memFree=128602056/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5868 CPUtime=3599.14 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 777 0 0 0 343371 16543 0 0 20 0 1 0 44515874 19869696 1467 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1467 796 2403 0 1961 0
Current children cumulated CPU time: 3599.14 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5868 KiB

[startup+3606.8 s]
/proc/loadavg: 4.04 4.09 4.03 6/233 249683
/proc/meminfo: memFree=128602056/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5868 CPUtime=3599.54 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 777 0 0 0 343409 16545 0 0 20 0 1 0 44515874 19869696 1467 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1467 796 2403 0 1961 0
Current children cumulated CPU time: 3599.54 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5868 KiB

[startup+3607.2 s]
/proc/loadavg: 4.04 4.09 4.03 4/237 249718
/proc/meminfo: memFree=128482336/131655788 swapFree=131071728/131071996
[pid=247755] ppid=247745 vsize=19404 memory=5868 CPUtime=3599.93 cores=0,2
/proc/247755/stat : 247755 (LS-Mab) R 247745 247755 247689 0 -1 4194304 777 0 0 0 343447 16546 0 0 20 0 1 0 44515874 19869696 1467 134679101440 4194304 14036057 140732674039280 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 29155328 140732674044956 140732674045063 140732674045063 140732674052079 0
/proc/247755/statm: 4851 1467 796 2403 0 1961 0
Current children cumulated CPU time: 3599.93 s
Current children cumulated vsize: 19404 KiB
Current children cumulated memory: 5868 KiB

Child status: 0

Real time (s): 3607.26
CPU time (s): 3600.01
CPU user time (s): 3434.53
CPU system time (s): 165.477
CPU usage (%): 99.7989
Max. virtual memory (cumulated for all children) (KiB): 19404
Max. memory (cumulated for all children) (KiB): 5868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3434.53
system time used= 165.477
maximum resident set size= 5944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 779
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= 3
involuntary context switches= 25154


# summary of solver processes directly reported to runsolver:
#   pid: 247755
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3434.53
#   total CPU system time (s): 165.477

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4563 second user time and 30.0244 second system time

The end