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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458443-1722831081/watcher-4458443-1722831081 -o /tmp/evaluation-result-4458443-1722831081/solver-4458443-1722831081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722827514-268456 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4458443-1722831081.opb -t 3558 -s 1355344585 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=270504, runsolver pid=270501

[startup+0.100163 s]*
/proc/loadavg: 4.36 4.26 4.15 5/257 270505
/proc/meminfo: memFree=129347840/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=35480 memory=28612 CPUtime=0.09 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 4485 0 0 0 9 0 0 0 20 0 1 0 49709167 36331520 7153 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 3 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 8870 7153 2833 2753 0 5523 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35480 KiB
Current children cumulated memory: 28612 KiB

[startup+0.20616 s]*
/proc/loadavg: 4.36 4.26 4.15 5/257 270505
/proc/meminfo: memFree=129347520/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=35480 memory=28612 CPUtime=0.19 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 4524 0 0 0 19 0 0 0 20 0 1 0 49709167 36331520 7153 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 8870 7153 2833 2753 0 5523 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 35480 KiB
Current children cumulated memory: 28612 KiB

[startup+0.304799 s]*
/proc/loadavg: 4.36 4.26 4.15 5/257 270505
/proc/meminfo: memFree=129345656/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=37392 memory=30456 CPUtime=0.29 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 4960 0 0 0 29 0 0 0 20 0 1 0 49709167 38289408 7614 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 9348 7614 2833 2753 0 6001 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 37392 KiB
Current children cumulated memory: 30456 KiB

[startup+0.700189 s]
/proc/loadavg: 4.36 4.26 4.15 5/257 270505
/proc/meminfo: memFree=129340148/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=51596 memory=43128 CPUtime=0.67 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 8132 0 0 0 67 0 0 0 20 0 1 0 49709167 52834304 10782 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 12899 10782 2833 2753 0 9552 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 51596 KiB
Current children cumulated memory: 43128 KiB

[startup+1.50016 s]
/proc/loadavg: 4.36 4.26 4.15 5/257 270505
/proc/meminfo: memFree=129332712/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=51596 memory=43920 CPUtime=1.48 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 8336 0 0 0 147 1 0 0 20 0 1 0 49709167 52834304 10980 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 12899 10980 2833 2753 0 9552 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 51596 KiB
Current children cumulated memory: 43920 KiB

[startup+3.10549 s]
/proc/loadavg: 4.41 4.27 4.16 5/257 270551
/proc/meminfo: memFree=129321608/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=59848 memory=51572 CPUtime=3.08 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 10260 0 0 0 307 1 0 0 20 0 1 0 49709167 61284352 12893 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 14962 12893 2833 2753 0 11615 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 59848 KiB
Current children cumulated memory: 51572 KiB

[startup+6.30016 s]
/proc/loadavg: 4.41 4.27 4.16 5/257 270551
/proc/meminfo: memFree=129311732/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=69940 memory=61596 CPUtime=6.26 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 12775 0 0 0 625 1 0 0 20 0 1 0 49709167 71618560 15399 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 17485 15399 2833 2753 0 14138 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 69940 KiB
Current children cumulated memory: 61596 KiB

[startup+12.7002 s]
/proc/loadavg: 4.38 4.26 4.16 5/257 270553
/proc/meminfo: memFree=129280208/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=102292 memory=91852 CPUtime=12.65 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 22416 0 0 0 1262 3 0 0 20 0 1 0 49709167 104747008 22963 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 25573 22963 2833 2753 0 22226 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 102292 KiB
Current children cumulated memory: 91852 KiB

[startup+25.5002 s]
/proc/loadavg: 4.29 4.25 4.15 5/257 270554
/proc/meminfo: memFree=129270920/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=110908 memory=99856 CPUtime=25.41 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 24691 0 0 0 2537 4 0 0 20 0 1 0 49709167 113569792 24964 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 27727 24964 2849 2753 0 24380 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 110908 KiB
Current children cumulated memory: 99856 KiB

[startup+51.1057 s]
/proc/loadavg: 4.61 4.33 4.18 5/258 270560
/proc/meminfo: memFree=129254024/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=125836 memory=115788 CPUtime=50.93 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 28532 0 0 0 5089 4 0 0 20 0 1 0 49709167 128856064 28947 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 31459 28947 2849 2753 0 28112 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 125836 KiB
Current children cumulated memory: 115788 KiB

[startup+102.3 s]
/proc/loadavg: 4.36 4.31 4.18 5/258 270568
/proc/meminfo: memFree=129228848/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=148888 memory=143304 CPUtime=101.96 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 34257 0 0 0 10191 5 0 0 20 0 1 0 49709167 152461312 35826 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 37222 35826 3195 2753 0 33875 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 148888 KiB
Current children cumulated memory: 143304 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.25 4.17 5/258 270579
/proc/meminfo: memFree=129192872/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=180364 memory=174836 CPUtime=161.79 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 42562 0 0 0 16172 7 0 0 20 0 1 0 49709167 184692736 43709 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 45091 43709 3195 2753 0 41744 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 180364 KiB
Current children cumulated memory: 174836 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.23 4.17 5/258 270590
/proc/meminfo: memFree=129149872/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=223872 memory=216732 CPUtime=221.6 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 53064 0 0 0 22152 8 0 0 20 0 1 0 49709167 229244928 54183 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 55968 54183 3195 2753 0 52621 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 223872 KiB
Current children cumulated memory: 216732 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.20 4.16 5/255 270600
/proc/meminfo: memFree=129113896/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=260896 memory=251676 CPUtime=281.42 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 61909 0 0 0 28132 10 0 0 20 0 1 0 49709167 267157504 62919 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 65224 62919 3195 2753 0 61877 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 260896 KiB
Current children cumulated memory: 251676 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.18 4.16 5/255 270612
/proc/meminfo: memFree=129092896/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=281636 memory=271780 CPUtime=341.24 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 66961 0 0 0 34114 10 0 0 20 0 1 0 49709167 288395264 67945 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 70409 67945 3195 2753 0 67062 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 281636 KiB
Current children cumulated memory: 271780 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.17 4.16 5/254 270623
/proc/meminfo: memFree=129058368/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=313920 memory=305732 CPUtime=401.07 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 76550 0 0 0 40094 13 0 0 20 0 1 0 49709167 321454080 76433 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 78480 76433 3195 2753 0 75133 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 313920 KiB
Current children cumulated memory: 305732 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.15 4.15 5/254 270633
/proc/meminfo: memFree=129040864/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=331828 memory=322232 CPUtime=460.89 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 82573 0 0 0 46075 14 0 0 20 0 1 0 49709167 339791872 80558 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0

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

/proc/loadavg: 4.15 4.14 4.11 5/255 272318
/proc/meminfo: memFree=128692884/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=639572 memory=635588 CPUtime=3214.59 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 190349 0 0 0 290276 31183 0 0 20 0 1 0 49709167 654921728 158897 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 159893 158897 3195 2753 0 156546 0
Current children cumulated CPU time: 3214.59 s
Current children cumulated vsize: 639572 KiB
Current children cumulated memory: 635588 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/254 272329
/proc/meminfo: memFree=128691940/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=639572 memory=635588 CPUtime=3274.49 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 190351 0 0 0 294968 32481 0 0 20 0 1 0 49709167 654921728 158897 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 159893 158897 3195 2753 0 156546 0
Current children cumulated CPU time: 3274.49 s
Current children cumulated vsize: 639572 KiB
Current children cumulated memory: 635588 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/254 272341
/proc/meminfo: memFree=128691212/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=639572 memory=635588 CPUtime=3334.38 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 190352 0 0 0 299660 33778 0 0 20 0 1 0 49709167 654921728 158897 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 159893 158897 3195 2753 0 156546 0
Current children cumulated CPU time: 3334.38 s
Current children cumulated vsize: 639572 KiB
Current children cumulated memory: 635588 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/254 272352
/proc/meminfo: memFree=128690496/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=639572 memory=635588 CPUtime=3394.28 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 190354 0 0 0 304343 35085 0 0 20 0 1 0 49709167 654921728 158897 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 159893 158897 3195 2753 0 156546 0
Current children cumulated CPU time: 3394.28 s
Current children cumulated vsize: 639572 KiB
Current children cumulated memory: 635588 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 272362
/proc/meminfo: memFree=128689880/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=639572 memory=635588 CPUtime=3454.17 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 190355 0 0 0 309040 36377 0 0 20 0 1 0 49709167 654921728 158897 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 159893 158897 3195 2753 0 156546 0
Current children cumulated CPU time: 3454.17 s
Current children cumulated vsize: 639572 KiB
Current children cumulated memory: 635588 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/254 272373
/proc/meminfo: memFree=128689128/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=639572 memory=635588 CPUtime=3514.07 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 190357 0 0 0 313743 37664 0 0 20 0 1 0 49709167 654921728 158897 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 159893 158897 3195 2753 0 156546 0
Current children cumulated CPU time: 3514.07 s
Current children cumulated vsize: 639572 KiB
Current children cumulated memory: 635588 KiB

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

# cumulated CPU time of all completed processes:  user=3171.79 s, system=386.218 s

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

[startup+3532.8 s]
/proc/loadavg: 4.28 4.16 4.11 5/254 272374
/proc/meminfo: memFree=128689008/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=639572 memory=635588 CPUtime=3524.55 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 190357 0 0 0 314563 37892 0 0 20 0 1 0 49709167 654921728 158897 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 159893 158897 3195 2753 0 156546 0
Current children cumulated CPU time: 3524.55 s
Current children cumulated vsize: 639572 KiB
Current children cumulated memory: 635588 KiB

[startup+3545.6 s]
/proc/loadavg: 4.38 4.19 4.12 5/254 272376
/proc/meminfo: memFree=128688932/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=639572 memory=635588 CPUtime=3537.33 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 190357 0 0 0 315554 38179 0 0 20 0 1 0 49709167 654921728 158897 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 159893 158897 3195 2753 0 156546 0
Current children cumulated CPU time: 3537.33 s
Current children cumulated vsize: 639572 KiB
Current children cumulated memory: 635588 KiB

[startup+3558.4 s]
/proc/loadavg: 4.32 4.18 4.11 5/256 272384
/proc/meminfo: memFree=128688524/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=639572 memory=635588 CPUtime=3550.1 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 190358 0 0 0 316562 38448 0 0 20 0 1 0 49709167 654921728 158897 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 159893 158897 3195 2753 0 156546 0
Current children cumulated CPU time: 3550.1 s
Current children cumulated vsize: 639572 KiB
Current children cumulated memory: 635588 KiB

[startup+3561.6 s]
/proc/loadavg: 4.29 4.18 4.11 5/256 272384
/proc/meminfo: memFree=128688384/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=639572 memory=635588 CPUtime=3553.3 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 190358 0 0 0 316811 38519 0 0 20 0 1 0 49709167 654921728 158897 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 159893 158897 3195 2753 0 156546 0
Current children cumulated CPU time: 3553.3 s
Current children cumulated vsize: 639572 KiB
Current children cumulated memory: 635588 KiB

[startup+3564.8 s]
/proc/loadavg: 4.27 4.17 4.11 5/256 272430
/proc/meminfo: memFree=128732728/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=639572 memory=635588 CPUtime=3556.5 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 190358 0 0 0 317062 38588 0 0 20 0 1 0 49709167 654921728 158897 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 159893 158897 3195 2753 0 156546 0
Current children cumulated CPU time: 3556.5 s
Current children cumulated vsize: 639572 KiB
Current children cumulated memory: 635588 KiB

[startup+3565.6 s]
/proc/loadavg: 4.27 4.17 4.11 5/256 272430
/proc/meminfo: memFree=128639416/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=639572 memory=635588 CPUtime=3557.29 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 190358 0 0 0 317124 38605 0 0 20 0 1 0 49709167 654921728 158897 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 159893 158897 3195 2753 0 156546 0
Current children cumulated CPU time: 3557.29 s
Current children cumulated vsize: 639572 KiB
Current children cumulated memory: 635588 KiB

[startup+3566 s]*
/proc/loadavg: 4.27 4.17 4.11 5/256 272476
/proc/meminfo: memFree=128619308/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=639572 memory=635588 CPUtime=3557.7 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 190358 0 0 0 317156 38614 0 0 20 0 1 0 49709167 654921728 158897 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 159893 158897 3195 2753 0 156546 0
Current children cumulated CPU time: 3557.7 s
Current children cumulated vsize: 639572 KiB
Current children cumulated memory: 635588 KiB

[startup+3566.2 s]
/proc/loadavg: 4.27 4.17 4.11 5/256 272476
/proc/meminfo: memFree=128619308/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=639572 memory=635588 CPUtime=3557.89 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 190358 0 0 0 317170 38619 0 0 20 0 1 0 49709167 654921728 158897 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 159893 158897 3195 2753 0 156546 0
Current children cumulated CPU time: 3557.89 s
Current children cumulated vsize: 639572 KiB
Current children cumulated memory: 635588 KiB

[startup+3566.3 s]
/proc/loadavg: 4.27 4.17 4.11 5/256 272476
/proc/meminfo: memFree=128619308/131524600 swapFree=131063756/131071996
[pid=270504] ppid=270501 vsize=639572 memory=635588 CPUtime=3557.99 cores=1,3
/proc/270504/stat : 270504 (LS-MabSP) R 270501 270504 268444 0 -1 4194304 190358 0 0 0 317178 38621 0 0 20 0 1 0 49709167 654921728 158897 134679101440 4194304 15467897 140722041611968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35213312 140722041619486 140722041619589 140722041619589 140722041626605 0
/proc/270504/statm: 159893 158897 3195 2753 0 156546 0
Current children cumulated CPU time: 3557.99 s
Current children cumulated vsize: 639572 KiB
Current children cumulated memory: 635588 KiB

Child status: 0

Real time (s): 3566.31
CPU time (s): 3558.01
CPU user time (s): 3171.79
CPU system time (s): 386.218
CPU usage (%): 99.7673
Max. virtual memory (cumulated for all children) (KiB): 692936
Max. memory (cumulated for all children) (KiB): 683956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3171.79
system time used= 386.218
maximum resident set size= 683956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190406
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= 185
involuntary context switches= 3006


# summary of solver processes directly reported to runsolver:
#   pid: 270504
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3171.79
#   total CPU system time (s): 386.218

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.30654 second user time and 12.6712 second system time

The end