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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=238949, runsolver pid=238942
Current StackSize limit: 8192 KiB


[startup+0.100091 s]*
/proc/loadavg: 0.10 0.11 0.09 6/257 238977
/proc/meminfo: memFree=126633020/131524600 swapFree=131071996/131071996
[pid=238949] ppid=238942 vsize=56996 memory=35084 CPUtime=0.09 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 6940 0 0 0 9 0 0 0 20 0 1 0 43558425 58363904 8771 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 14249 8771 2077 2403 0 11359 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56996 KiB
Current children cumulated memory: 35084 KiB

[startup+0.206187 s]*
/proc/loadavg: 0.10 0.11 0.09 6/257 238977
/proc/meminfo: memFree=126390420/131524600 swapFree=131071996/131071996
[pid=238949] ppid=238942 vsize=127756 memory=105724 CPUtime=0.2 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 24782 0 0 0 17 3 0 0 20 0 1 0 43558425 130822144 26431 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 31939 26431 2237 2403 0 29049 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 127756 KiB
Current children cumulated memory: 105724 KiB

[startup+0.306207 s]*
/proc/loadavg: 0.10 0.11 0.09 6/257 238977
/proc/meminfo: memFree=126210052/131524600 swapFree=131071996/131071996
[pid=238949] ppid=238942 vsize=169724 memory=145704 CPUtime=0.3 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 34677 0 0 0 25 5 0 0 20 0 1 0 43558425 173797376 36426 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 42431 36426 2301 2403 0 39541 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 169724 KiB
Current children cumulated memory: 145704 KiB

[startup+0.700241 s]
/proc/loadavg: 0.10 0.11 0.09 6/257 238977
/proc/meminfo: memFree=126085320/131524600 swapFree=131071996/131071996
[pid=238949] ppid=238942 vsize=202380 memory=170880 CPUtime=0.69 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 48238 0 0 0 62 7 0 0 20 0 1 0 43558425 207237120 42720 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 50595 42720 2301 2403 0 47705 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 202380 KiB
Current children cumulated memory: 170880 KiB

[startup+1.50063 s]
/proc/loadavg: 0.10 0.11 0.09 6/257 238977
/proc/meminfo: memFree=125966736/131524600 swapFree=131071996/131071996
[pid=238949] ppid=238942 vsize=364200 memory=298972 CPUtime=1.48 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 58773 0 0 0 138 10 0 0 20 0 1 0 43558425 372940800 74743 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 91050 74743 2349 2403 0 88160 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 364200 KiB
Current children cumulated memory: 298972 KiB

[startup+3.10604 s]
/proc/loadavg: 0.41 0.17 0.11 6/257 238977
/proc/meminfo: memFree=124998916/131524600 swapFree=131071996/131071996
[pid=238949] ppid=238942 vsize=533592 memory=463924 CPUtime=3.09 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 86354 0 0 0 293 16 0 0 20 0 1 0 43558425 546398208 115981 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 133398 115981 2445 2403 0 130508 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 533592 KiB
Current children cumulated memory: 463924 KiB

[startup+6.30014 s]
/proc/loadavg: 0.41 0.17 0.11 6/257 238977
/proc/meminfo: memFree=124936984/131524600 swapFree=131071996/131071996
[pid=238949] ppid=238942 vsize=577424 memory=490044 CPUtime=6.27 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 93618 0 0 0 610 17 0 0 20 0 1 0 43558425 591282176 122511 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 144356 122511 2461 2403 0 141466 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 577424 KiB
Current children cumulated memory: 490044 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=238949] ppid=238942 vsize=597008 memory=492056 CPUtime=12.66 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 94402 0 0 0 1248 18 0 0 20 0 1 0 43558425 611336192 123014 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 149252 123014 2461 2403 0 146362 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 597008 KiB
Current children cumulated memory: 492056 KiB

[startup+25.5002 s]
/proc/loadavg: 1.49 0.44 0.20 6/257 238980
/proc/meminfo: memFree=124819832/131524600 swapFree=131071996/131071996
[pid=238949] ppid=238942 vsize=626720 memory=497100 CPUtime=25.43 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 95090 0 0 0 2524 19 0 0 20 0 1 0 43558425 641761280 124275 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 156680 124275 2461 2403 0 153790 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 626720 KiB
Current children cumulated memory: 497100 KiB

[startup+51.1063 s]
/proc/loadavg: 2.35 0.72 0.30 6/257 238985
/proc/meminfo: memFree=124415496/131524600 swapFree=131071996/131071996
[pid=238949] ppid=238942 vsize=868760 memory=624564 CPUtime=50.97 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 126974 0 0 0 5073 24 0 0 20 0 1 0 43558425 889610240 156141 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 217190 156141 2461 2403 0 214300 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 868760 KiB
Current children cumulated memory: 624564 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=238949] ppid=238942 vsize=890748 memory=646632 CPUtime=101.98 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 132654 0 0 0 10173 25 0 0 20 0 1 0 43558425 912125952 161658 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 222687 161658 2461 2403 0 219797 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 890748 KiB
Current children cumulated memory: 646632 KiB

[startup+162.3 s]
/proc/loadavg: 3.85 1.78 0.74 6/257 239005
/proc/meminfo: memFree=124103616/131524600 swapFree=131071996/131071996
[pid=238949] ppid=238942 vsize=968968 memory=642476 CPUtime=161.82 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 138193 0 0 0 16155 27 0 0 20 0 1 0 43558425 992223232 160619 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 242242 160619 2461 2403 0 239352 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 968968 KiB
Current children cumulated memory: 642476 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=238949] ppid=238942 vsize=1080140 memory=726632 CPUtime=221.66 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 159269 0 0 0 22136 30 0 0 20 0 1 0 43558425 1106063360 181658 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 270035 181658 2461 2403 0 267145 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 1080140 KiB
Current children cumulated memory: 726632 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 2.56 1.15 6/260 239032
/proc/meminfo: memFree=123674400/131524600 swapFree=131071996/131071996
[pid=238949] ppid=238942 vsize=1135924 memory=764032 CPUtime=281.5 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 174617 0 0 0 28116 34 0 0 20 0 1 0 43558425 1163186176 191008 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 283981 191008 2461 2403 0 281091 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 1135924 KiB
Current children cumulated memory: 764032 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=238949] ppid=238942 vsize=1178260 memory=796056 CPUtime=341.33 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 181898 0 0 0 34098 35 0 0 20 0 1 0 43558425 1206538240 199014 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 294565 199014 2717 2403 0 291675 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 1178260 KiB
Current children cumulated memory: 796056 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=238949] ppid=238942 vsize=1304776 memory=838360 CPUtime=401.17 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 185336 0 0 0 40080 37 0 0 20 0 1 0 43558425 1336090624 209590 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 326194 209590 2717 2403 0 323304 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 1304776 KiB
Current children cumulated memory: 838360 KiB

[startup+462.301 s]
/proc/loadavg: 4.12 3.28 1.69 6/257 239064
/proc/meminfo: memFree=123219984/131524600 swapFree=131071996/131071996
[pid=238949] ppid=238942 vsize=1336764 memory=853880 CPUtime=461.01 cores=4,6

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

/proc/loadavg: 4.18 4.15 4.03 6/260 240727
/proc/meminfo: memFree=122887324/131524600 swapFree=131071996/131071996
[pid=238949] ppid=238942 vsize=1219180 memory=910016 CPUtime=3154.89 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 338659 0 0 0 313184 2305 0 0 20 0 1 0 43558425 1248440320 227504 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 304795 227504 2748 2403 0 301905 0
Current children cumulated CPU time: 3154.89 s
Current children cumulated vsize: 1219180 KiB
Current children cumulated memory: 910016 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=238949] ppid=238942 vsize=1219180 memory=910016 CPUtime=3214.76 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 338687 0 0 0 319075 2401 0 0 20 0 1 0 43558425 1248440320 227504 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 304795 227504 2748 2403 0 301905 0
Current children cumulated CPU time: 3214.76 s
Current children cumulated vsize: 1219180 KiB
Current children cumulated memory: 910016 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=238949] ppid=238942 vsize=1219180 memory=910016 CPUtime=3274.63 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 338715 0 0 0 324965 2498 0 0 20 0 1 0 43558425 1248440320 227504 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 304795 227504 2748 2403 0 301905 0
Current children cumulated CPU time: 3274.63 s
Current children cumulated vsize: 1219180 KiB
Current children cumulated memory: 910016 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=238949] ppid=238942 vsize=1219180 memory=910016 CPUtime=3334.51 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 338743 0 0 0 330853 2598 0 0 20 0 1 0 43558425 1248440320 227504 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 304795 227504 2748 2403 0 301905 0
Current children cumulated CPU time: 3334.51 s
Current children cumulated vsize: 1219180 KiB
Current children cumulated memory: 910016 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=238949] ppid=238942 vsize=1219180 memory=910016 CPUtime=3394.38 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 338771 0 0 0 336740 2698 0 0 20 0 1 0 43558425 1248440320 227504 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 304795 227504 2748 2403 0 301905 0
Current children cumulated CPU time: 3394.38 s
Current children cumulated vsize: 1219180 KiB
Current children cumulated memory: 910016 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=238949] ppid=238942 vsize=1219180 memory=910016 CPUtime=3454.26 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 338799 0 0 0 342630 2796 0 0 20 0 1 0 43558425 1248440320 227504 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 304795 227504 2748 2403 0 301905 0
Current children cumulated CPU time: 3454.26 s
Current children cumulated vsize: 1219180 KiB
Current children cumulated memory: 910016 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=238949] ppid=238942 vsize=1219180 memory=910016 CPUtime=3514.14 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 338827 0 0 0 348526 2888 0 0 20 0 1 0 43558425 1248440320 227504 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 304795 227504 2748 2403 0 301905 0
Current children cumulated CPU time: 3514.14 s
Current children cumulated vsize: 1219180 KiB
Current children cumulated memory: 910016 KiB

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

# cumulated CPU time of all completed processes:  user=3528.38 s, system=29.6258 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=238949] ppid=238942 vsize=1219180 memory=910016 CPUtime=3524.61 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 338835 0 0 0 349556 2905 0 0 20 0 1 0 43558425 1248440320 227504 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 304795 227504 2748 2403 0 301905 0
Current children cumulated CPU time: 3524.61 s
Current children cumulated vsize: 1219180 KiB
Current children cumulated memory: 910016 KiB

[startup+3545.6 s]
/proc/loadavg: 4.15 4.15 4.07 6/255 240808
/proc/meminfo: memFree=122822012/131524600 swapFree=131071996/131071996
[pid=238949] ppid=238942 vsize=1219180 memory=910016 CPUtime=3537.38 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 338841 0 0 0 350813 2925 0 0 20 0 1 0 43558425 1248440320 227504 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 304795 227504 2748 2403 0 301905 0
Current children cumulated CPU time: 3537.38 s
Current children cumulated vsize: 1219180 KiB
Current children cumulated memory: 910016 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=238949] ppid=238942 vsize=1219180 memory=910016 CPUtime=3550.16 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 338849 0 0 0 352069 2947 0 0 20 0 1 0 43558425 1248440320 227504 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 304795 227504 2748 2403 0 301905 0
Current children cumulated CPU time: 3550.16 s
Current children cumulated vsize: 1219180 KiB
Current children cumulated memory: 910016 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=238949] ppid=238942 vsize=1219180 memory=910016 CPUtime=3553.35 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 338849 0 0 0 352382 2953 0 0 20 0 1 0 43558425 1248440320 227504 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 304795 227504 2748 2403 0 301905 0
Current children cumulated CPU time: 3553.35 s
Current children cumulated vsize: 1219180 KiB
Current children cumulated memory: 910016 KiB

[startup+3564.8 s]
/proc/loadavg: 4.11 4.14 4.06 6/255 240811
/proc/meminfo: memFree=122821924/131524600 swapFree=131071996/131071996
[pid=238949] ppid=238942 vsize=1219180 memory=910016 CPUtime=3556.54 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 338849 0 0 0 352695 2959 0 0 20 0 1 0 43558425 1248440320 227504 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 304795 227504 2748 2403 0 301905 0
Current children cumulated CPU time: 3556.54 s
Current children cumulated vsize: 1219180 KiB
Current children cumulated memory: 910016 KiB

[startup+3565.6 s]
/proc/loadavg: 4.11 4.14 4.06 6/255 240811
/proc/meminfo: memFree=122821924/131524600 swapFree=131071996/131071996
[pid=238949] ppid=238942 vsize=1219180 memory=910016 CPUtime=3557.35 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 338849 0 0 0 352774 2961 0 0 20 0 1 0 43558425 1248440320 227504 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 304795 227504 2748 2403 0 301905 0
Current children cumulated CPU time: 3557.35 s
Current children cumulated vsize: 1219180 KiB
Current children cumulated memory: 910016 KiB

[startup+3566 s]*
/proc/loadavg: 4.11 4.14 4.06 6/255 240811
/proc/meminfo: memFree=122821932/131524600 swapFree=131071996/131071996
[pid=238949] ppid=238942 vsize=1219180 memory=910016 CPUtime=3557.74 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 338849 0 0 0 352813 2961 0 0 20 0 1 0 43558425 1248440320 227504 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 304795 227504 2748 2403 0 301905 0
Current children cumulated CPU time: 3557.74 s
Current children cumulated vsize: 1219180 KiB
Current children cumulated memory: 910016 KiB

[startup+3566.2 s]
/proc/loadavg: 4.11 4.14 4.06 6/255 240811
/proc/meminfo: memFree=122821932/131524600 swapFree=131071996/131071996
[pid=238949] ppid=238942 vsize=1219180 memory=910016 CPUtime=3557.94 cores=4,6
/proc/238949/stat : 238949 (LS-MabS) R 238942 238949 238901 0 -1 4194304 338849 0 0 0 352832 2962 0 0 20 0 1 0 43558425 1248440320 227504 134679101440 4194304 14036057 140722954928880 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 38739968 140722954933281 140722954933382 140722954933382 140722954940398 0
/proc/238949/statm: 304795 227504 2748 2403 0 301905 0
Current children cumulated CPU time: 3557.94 s
Current children cumulated vsize: 1219180 KiB
Current children cumulated memory: 910016 KiB

Child status: 0

Real time (s): 3566.26
CPU time (s): 3558.01
CPU user time (s): 3528.38
CPU system time (s): 29.6258
CPU usage (%): 99.7687
Max. virtual memory (cumulated for all children) (KiB): 1906708
Max. memory (cumulated for all children) (KiB): 1498880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3528.38
system time used= 29.6258
maximum resident set size= 1498880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 338859
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= 104
involuntary context switches= 1375


# summary of solver processes directly reported to runsolver:
#   pid: 238949
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3528.38
#   total CPU system time (s): 29.6258

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.80825 second user time and 15.6177 second system time

The end