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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428268-1722769582/watcher-4428268-1722769582 -o /tmp/evaluation-result-4428268-1722769582/solver-4428268-1722769582 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722769582-238913 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428268-1722769582.opb -t 3558 -s 787304997 

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=238974, runsolver pid=238968

[startup+0.100699 s]*
/proc/loadavg: 0.10 0.11 0.09 6/257 238977
/proc/meminfo: memFree=126462792/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=64140 memory=43676 CPUtime=0.1 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 9083 0 0 0 9 1 0 0 20 0 1 0 43558433 65679360 10919 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 16035 10919 2077 2403 0 13145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 64140 KiB
Current children cumulated memory: 43676 KiB

[startup+0.206146 s]*
/proc/loadavg: 0.10 0.11 0.09 6/257 238977
/proc/meminfo: memFree=126224472/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=132548 memory=112036 CPUtime=0.2 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 26346 0 0 0 16 4 0 0 20 0 1 0 43558433 135729152 28009 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 33137 28009 2237 2403 0 30247 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 132548 KiB
Current children cumulated memory: 112036 KiB

[startup+0.30608 s]*
/proc/loadavg: 0.10 0.11 0.09 6/257 238977
/proc/meminfo: memFree=126166036/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=152696 memory=131096 CPUtime=0.3 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 31255 0 0 0 25 5 0 0 20 0 1 0 43558433 156360704 32774 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 38174 32774 2301 2403 0 35284 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 152696 KiB
Current children cumulated memory: 131096 KiB

[startup+0.700224 s]
/proc/loadavg: 0.10 0.11 0.09 6/257 238977
/proc/meminfo: memFree=126093108/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=188020 memory=164928 CPUtime=0.69 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 44695 0 0 0 62 7 0 0 20 0 1 0 43558433 192532480 41232 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 47005 41232 2333 2403 0 44115 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 188020 KiB
Current children cumulated memory: 164928 KiB

[startup+1.50021 s]
/proc/loadavg: 0.10 0.11 0.09 6/257 238977
/proc/meminfo: memFree=125965056/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=397208 memory=347292 CPUtime=1.49 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 55060 0 0 0 138 11 0 0 20 0 1 0 43558433 406740992 86823 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 99302 86823 2349 2403 0 96412 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 397208 KiB
Current children cumulated memory: 347292 KiB

[startup+3.10586 s]
/proc/loadavg: 0.41 0.17 0.11 6/257 238977
/proc/meminfo: memFree=124998580/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=500564 memory=440344 CPUtime=3.09 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 80627 0 0 0 295 14 0 0 20 0 1 0 43558433 512577536 110086 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 125141 110086 2461 2403 0 122251 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 500564 KiB
Current children cumulated memory: 440344 KiB

[startup+6.30017 s]
/proc/loadavg: 0.41 0.17 0.11 6/257 238977
/proc/meminfo: memFree=124936968/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=514300 memory=446652 CPUtime=6.28 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 83354 0 0 0 613 15 0 0 20 0 1 0 43558433 526643200 111663 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 128575 111663 2461 2403 0 125685 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 514300 KiB
Current children cumulated memory: 446652 KiB

[startup+12.7002 s]
/proc/loadavg: 0.78 0.25 0.14 6/257 238979
/proc/meminfo: memFree=124922584/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=533076 memory=453424 CPUtime=12.65 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 84528 0 0 0 1250 15 0 0 20 0 1 0 43558433 545869824 113356 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 133269 113356 2461 2403 0 130379 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 533076 KiB
Current children cumulated memory: 453424 KiB

[startup+25.5002 s]
/proc/loadavg: 1.49 0.44 0.20 6/257 238980
/proc/meminfo: memFree=124819824/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=585564 memory=462140 CPUtime=25.42 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 86505 0 0 0 2526 16 0 0 20 0 1 0 43558433 599617536 115535 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 146391 115535 2461 2403 0 143501 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 585564 KiB
Current children cumulated memory: 462140 KiB

[startup+51.1062 s]
/proc/loadavg: 2.35 0.72 0.30 6/257 238985
/proc/meminfo: memFree=124415496/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=788848 memory=583708 CPUtime=50.95 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 116417 0 0 0 5074 21 0 0 20 0 1 0 43558433 807780352 145927 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 197212 145927 2461 2403 0 194322 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 788848 KiB
Current children cumulated memory: 583708 KiB

[startup+102.3 s]
/proc/loadavg: 3.40 1.26 0.51 6/257 238995
/proc/meminfo: memFree=124313192/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=881656 memory=623148 CPUtime=101.97 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 136102 0 0 0 10173 24 0 0 20 0 1 0 43558433 902815744 155787 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 220414 155787 2461 2403 0 217524 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 881656 KiB
Current children cumulated memory: 623148 KiB

[startup+162.3 s]
/proc/loadavg: 3.85 1.78 0.74 6/257 239005
/proc/meminfo: memFree=124103624/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=947608 memory=688864 CPUtime=161.79 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 152549 0 0 0 16153 26 0 0 20 0 1 0 43558433 970350592 172216 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 236902 172216 2461 2403 0 234012 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 947608 KiB
Current children cumulated memory: 688864 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 2.20 0.95 6/257 239016
/proc/meminfo: memFree=123914028/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=970336 memory=711300 CPUtime=221.63 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 158140 0 0 0 22135 28 0 0 20 0 1 0 43558433 993624064 177825 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 242584 177825 2461 2403 0 239694 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 970336 KiB
Current children cumulated memory: 711300 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 2.56 1.15 6/260 239032
/proc/meminfo: memFree=123674408/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=1075932 memory=799164 CPUtime=281.44 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 174088 0 0 0 28113 31 0 0 20 0 1 0 43558433 1101754368 199791 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 268983 199791 2461 2403 0 266093 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 1075932 KiB
Current children cumulated memory: 799164 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 2.85 1.34 6/257 239043
/proc/meminfo: memFree=123542048/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=1137036 memory=847684 CPUtime=341.25 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 184705 0 0 0 34092 33 0 0 20 0 1 0 43558433 1164324864 211921 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 284259 211921 2461 2403 0 281369 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 1137036 KiB
Current children cumulated memory: 847684 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.08 1.52 6/257 239054
/proc/meminfo: memFree=123393104/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=1156524 memory=869028 CPUtime=401.06 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 186559 0 0 0 40073 33 0 0 20 0 1 0 43558433 1184280576 217257 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 289131 217257 2461 2403 0 286241 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 1156524 KiB
Current children cumulated memory: 869028 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.28 1.69 6/257 239064
/proc/meminfo: memFree=123219984/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=1236420 memory=950436 CPUtime=460.88 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 206388 0 0 0 46052 36 0 0 20 0 1 0 43558433 1266094080 237609 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0

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

/proc/loadavg: 4.18 4.15 4.03 6/260 240727
/proc/meminfo: memFree=122887324/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=1260212 memory=868236 CPUtime=3153.91 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 283916 0 0 0 312915 2476 0 0 20 0 1 0 43558433 1290457088 217059 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 315053 217059 2748 2403 0 312163 0
Current children cumulated CPU time: 3153.91 s
Current children cumulated vsize: 1260212 KiB
Current children cumulated memory: 868236 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.03 6/260 240737
/proc/meminfo: memFree=122863196/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=1260212 memory=892240 CPUtime=3213.79 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 283928 0 0 0 318797 2582 0 0 20 0 1 0 43558433 1290457088 223060 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 315053 223060 2748 2403 0 312163 0
Current children cumulated CPU time: 3213.79 s
Current children cumulated vsize: 1260212 KiB
Current children cumulated memory: 892240 KiB

[startup+3282.3 s]
/proc/loadavg: 4.25 4.16 4.04 6/259 240761
/proc/meminfo: memFree=122846384/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=1260212 memory=908592 CPUtime=3273.66 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 283934 0 0 0 324686 2680 0 0 20 0 1 0 43558433 1290457088 227148 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 315053 227148 2748 2403 0 312163 0
Current children cumulated CPU time: 3273.66 s
Current children cumulated vsize: 1260212 KiB
Current children cumulated memory: 908592 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.16 4.05 6/258 240772
/proc/meminfo: memFree=122830844/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=1260212 memory=924072 CPUtime=3333.54 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 283946 0 0 0 330575 2779 0 0 20 0 1 0 43558433 1290457088 231018 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 315053 231018 2748 2403 0 312163 0
Current children cumulated CPU time: 3333.54 s
Current children cumulated vsize: 1260212 KiB
Current children cumulated memory: 924072 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.17 4.06 6/258 240782
/proc/meminfo: memFree=122822704/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=1260212 memory=931892 CPUtime=3393.41 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 283971 0 0 0 336451 2890 0 0 20 0 1 0 43558433 1290457088 232973 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 315053 232973 2748 2403 0 312163 0
Current children cumulated CPU time: 3393.41 s
Current children cumulated vsize: 1260212 KiB
Current children cumulated memory: 931892 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.17 4.06 6/256 240793
/proc/meminfo: memFree=122822456/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=1260212 memory=931892 CPUtime=3453.28 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 283997 0 0 0 342336 2992 0 0 20 0 1 0 43558433 1290457088 232973 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 315053 232973 2748 2403 0 312163 0
Current children cumulated CPU time: 3453.28 s
Current children cumulated vsize: 1260212 KiB
Current children cumulated memory: 931892 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.15 4.06 6/256 240804
/proc/meminfo: memFree=122822152/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=1260212 memory=931892 CPUtime=3513.17 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 284023 0 0 0 348222 3095 0 0 20 0 1 0 43558433 1290457088 232973 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 315053 232973 2748 2403 0 312163 0
Current children cumulated CPU time: 3513.17 s
Current children cumulated vsize: 1260212 KiB
Current children cumulated memory: 931892 KiB

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

# cumulated CPU time of all completed processes:  user=3526.28 s, system=31.7261 s

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

[startup+3532.8 s]
/proc/loadavg: 4.10 4.14 4.06 6/256 240805
/proc/meminfo: memFree=122822096/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=1260212 memory=931892 CPUtime=3523.65 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 284029 0 0 0 349252 3113 0 0 20 0 1 0 43558433 1290457088 232973 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 315053 232973 2748 2403 0 312163 0
Current children cumulated CPU time: 3523.65 s
Current children cumulated vsize: 1260212 KiB
Current children cumulated memory: 931892 KiB

[startup+3545.6 s]
/proc/loadavg: 4.15 4.15 4.07 6/255 240808
/proc/meminfo: memFree=122822004/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=1260212 memory=931892 CPUtime=3536.42 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 284030 0 0 0 350506 3136 0 0 20 0 1 0 43558433 1290457088 232973 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 315053 232973 2748 2403 0 312163 0
Current children cumulated CPU time: 3536.42 s
Current children cumulated vsize: 1260212 KiB
Current children cumulated memory: 931892 KiB

[startup+3558.4 s]
/proc/loadavg: 4.13 4.15 4.07 6/255 240809
/proc/meminfo: memFree=122821988/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=1260212 memory=931892 CPUtime=3549.2 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 284036 0 0 0 351764 3156 0 0 20 0 1 0 43558433 1290457088 232973 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 315053 232973 2748 2403 0 312163 0
Current children cumulated CPU time: 3549.2 s
Current children cumulated vsize: 1260212 KiB
Current children cumulated memory: 931892 KiB

[startup+3561.6 s]
/proc/loadavg: 4.12 4.14 4.07 6/255 240811
/proc/meminfo: memFree=122821904/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=1260212 memory=931892 CPUtime=3552.39 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 284036 0 0 0 352078 3161 0 0 20 0 1 0 43558433 1290457088 232973 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 315053 232973 2748 2403 0 312163 0
Current children cumulated CPU time: 3552.39 s
Current children cumulated vsize: 1260212 KiB
Current children cumulated memory: 931892 KiB

[startup+3564.8 s]
/proc/loadavg: 4.11 4.14 4.06 6/255 240811
/proc/meminfo: memFree=122821932/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=1260212 memory=931892 CPUtime=3555.58 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 284043 0 0 0 352391 3167 0 0 20 0 1 0 43558433 1290457088 232973 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 315053 232973 2748 2403 0 312163 0
Current children cumulated CPU time: 3555.58 s
Current children cumulated vsize: 1260212 KiB
Current children cumulated memory: 931892 KiB

[startup+3566.4 s]
/proc/loadavg: 4.11 4.14 4.06 6/255 240811
/proc/meminfo: memFree=122821932/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=1260212 memory=931892 CPUtime=3557.18 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 284043 0 0 0 352547 3171 0 0 20 0 1 0 43558433 1290457088 232973 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 315053 232973 2748 2403 0 312163 0
Current children cumulated CPU time: 3557.18 s
Current children cumulated vsize: 1260212 KiB
Current children cumulated memory: 931892 KiB

[startup+3566.8 s]
/proc/loadavg: 4.11 4.14 4.06 6/255 240811
/proc/meminfo: memFree=122821932/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=1260212 memory=931892 CPUtime=3557.57 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 284043 0 0 0 352586 3171 0 0 20 0 1 0 43558433 1290457088 232973 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 315053 232973 2748 2403 0 312163 0
Current children cumulated CPU time: 3557.57 s
Current children cumulated vsize: 1260212 KiB
Current children cumulated memory: 931892 KiB

[startup+3567.2 s]
/proc/loadavg: 4.11 4.14 4.06 5/250 240819
/proc/meminfo: memFree=123725672/131524600 swapFree=131071996/131071996
[pid=238974] ppid=238968 vsize=1260212 memory=931892 CPUtime=3557.98 cores=1,3
/proc/238974/stat : 238974 (LS-MabS) R 238968 238974 238901 0 -1 4194304 284043 0 0 0 352626 3172 0 0 20 0 1 0 43558433 1290457088 232973 134679101440 4194304 14036057 140724816509680 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 28700672 140724816516129 140724816516230 140724816516230 140724816523246 0
/proc/238974/statm: 315053 232973 2748 2403 0 312163 0
Current children cumulated CPU time: 3557.98 s
Current children cumulated vsize: 1260212 KiB
Current children cumulated memory: 931892 KiB

Child status: 0

Real time (s): 3567.22
CPU time (s): 3558.01
CPU user time (s): 3526.28
CPU system time (s): 31.7261
CPU usage (%): 99.7417
Max. virtual memory (cumulated for all children) (KiB): 1892160
Max. memory (cumulated for all children) (KiB): 1348036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3526.28
system time used= 31.7261
maximum resident set size= 1348036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284055
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= 14
involuntary context switches= 3694


# summary of solver processes directly reported to runsolver:
#   pid: 238974
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3526.28
#   total CPU system time (s): 31.7261

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88715 second user time and 17.1331 second system time

The end