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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458251-1722831110/watcher-4458251-1722831110 -o /tmp/evaluation-result-4458251-1722831110/solver-4458251-1722831110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722827502-275794 --watchdog 3760 --use-pty ./LS-Mab -f HOME/instance-4458251-1722831110.opb -t 3600 -s 369299062 --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
solver pid=277902, runsolver pid=277899
Current StackSize limit: 8192 KiB


[startup+0.10008 s]*
/proc/loadavg: 4.17 4.12 4.10 7/258 277903
/proc/meminfo: memFree=129204236/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=4952 CPUtime=0.1 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 643 0 0 0 9 1 0 0 20 0 1 0 49715279 19558400 1238 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1238 764 2403 0 1885 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 4952 KiB

[startup+0.205274 s]*
/proc/loadavg: 4.17 4.12 4.10 5/258 277903
/proc/meminfo: memFree=129204068/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5336 CPUtime=0.2 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 651 0 0 0 17 3 0 0 20 0 1 0 49715279 19558400 1334 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1334 796 2403 0 1885 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5336 KiB

[startup+0.304349 s]*
/proc/loadavg: 4.17 4.12 4.10 7/258 277903
/proc/meminfo: memFree=129203900/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5336 CPUtime=0.3 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 651 0 0 0 26 4 0 0 20 0 1 0 49715279 19558400 1334 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1334 796 2403 0 1885 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5336 KiB

[startup+0.700136 s]
/proc/loadavg: 4.17 4.12 4.10 5/258 277903
/proc/meminfo: memFree=129203760/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5336 CPUtime=0.69 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 651 0 0 0 61 8 0 0 20 0 1 0 49715279 19558400 1334 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1334 796 2403 0 1885 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5336 KiB

[startup+1.50014 s]
/proc/loadavg: 4.17 4.12 4.10 7/258 277903
/proc/meminfo: memFree=129203684/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5336 CPUtime=1.49 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 651 0 0 0 133 16 0 0 20 0 1 0 49715279 19558400 1334 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1334 796 2403 0 1885 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5336 KiB

[startup+3.10447 s]
/proc/loadavg: 4.16 4.11 4.09 8/258 277905
/proc/meminfo: memFree=129203528/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5336 CPUtime=3.09 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 651 0 0 0 277 32 0 0 20 0 1 0 49715279 19558400 1334 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1334 796 2403 0 1885 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5336 KiB

[startup+6.30014 s]
/proc/loadavg: 4.16 4.11 4.09 5/258 277905
/proc/meminfo: memFree=129203472/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5336 CPUtime=6.27 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 651 0 0 0 557 70 0 0 20 0 1 0 49715279 19558400 1334 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1334 796 2403 0 1885 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5336 KiB

[startup+12.7001 s]
/proc/loadavg: 4.13 4.11 4.09 6/258 277906
/proc/meminfo: memFree=129203236/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5336 CPUtime=12.66 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 651 0 0 0 1128 138 0 0 20 0 1 0 49715279 19558400 1334 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1334 796 2403 0 1885 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5336 KiB

[startup+25.5001 s]
/proc/loadavg: 4.11 4.11 4.09 6/258 277908
/proc/meminfo: memFree=129203216/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5336 CPUtime=25.43 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 651 0 0 0 2249 294 0 0 20 0 1 0 49715279 19558400 1334 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1334 796 2403 0 1885 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5336 KiB

[startup+51.1047 s]
/proc/loadavg: 4.20 4.13 4.10 7/258 277911
/proc/meminfo: memFree=129202540/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5336 CPUtime=50.98 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 651 0 0 0 4524 574 0 0 20 0 1 0 49715279 19558400 1334 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1334 796 2403 0 1885 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5336 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/258 277921
/proc/meminfo: memFree=129201676/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5336 CPUtime=102.06 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 651 0 0 0 9020 1186 0 0 20 0 1 0 49715279 19558400 1334 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1334 796 2403 0 1885 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5336 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/258 277932
/proc/meminfo: memFree=129201132/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5336 CPUtime=161.93 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 651 0 0 0 14260 1933 0 0 20 0 1 0 49715279 19558400 1334 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1334 796 2403 0 1885 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5336 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.10 6/257 277943
/proc/meminfo: memFree=129200224/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5336 CPUtime=221.79 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 655 0 0 0 19561 2618 0 0 20 0 1 0 49715279 19558400 1334 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1334 796 2403 0 1885 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5336 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 277955
/proc/meminfo: memFree=129198492/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5336 CPUtime=281.66 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 699 0 0 0 24867 3299 0 0 20 0 1 0 49715279 19558400 1334 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1334 796 2403 0 1885 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5336 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/257 277968
/proc/meminfo: memFree=129197756/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5336 CPUtime=341.53 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 699 0 0 0 30227 3926 0 0 20 0 1 0 49715279 19558400 1334 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1334 796 2403 0 1885 0
Current children cumulated CPU time: 341.53 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5336 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/257 277979
/proc/meminfo: memFree=129197020/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5336 CPUtime=401.4 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 699 0 0 0 35422 4718 0 0 20 0 1 0 49715279 19558400 1334 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1334 796 2403 0 1885 0
Current children cumulated CPU time: 401.4 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5336 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/257 277989
/proc/meminfo: memFree=129196368/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5336 CPUtime=461.27 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 699 0 0 0 40691 5436 0 0 20 0 1 0 49715279 19558400 1334 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0

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

/proc/loadavg: 4.09 4.10 4.11 5/258 279679
/proc/meminfo: memFree=129270960/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5368 CPUtime=3155.37 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 715 0 0 0 278959 36578 0 0 20 0 1 0 49715279 19558400 1342 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1342 796 2403 0 1885 0
Current children cumulated CPU time: 3155.37 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5368 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.10 6/255 279690
/proc/meminfo: memFree=129270356/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5368 CPUtime=3215.24 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 715 0 0 0 284240 37284 0 0 20 0 1 0 49715279 19558400 1342 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1342 796 2403 0 1885 0
Current children cumulated CPU time: 3215.24 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5368 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.10 6/255 279700
/proc/meminfo: memFree=129269580/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5368 CPUtime=3275.11 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 715 0 0 0 289634 37877 0 0 20 0 1 0 49715279 19558400 1342 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1342 796 2403 0 1885 0
Current children cumulated CPU time: 3275.11 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5368 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.10 6/255 279711
/proc/meminfo: memFree=129269192/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5368 CPUtime=3334.98 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 715 0 0 0 294994 38504 0 0 20 0 1 0 49715279 19558400 1342 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1342 796 2403 0 1885 0
Current children cumulated CPU time: 3334.98 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5368 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.11 4.10 5/256 279723
/proc/meminfo: memFree=129268548/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5368 CPUtime=3394.85 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 715 0 0 0 300281 39204 0 0 20 0 1 0 49715279 19558400 1342 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1342 796 2403 0 1885 0
Current children cumulated CPU time: 3394.85 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5368 KiB

[startup+3462.3 s]
/proc/loadavg: 4.75 4.31 4.17 5/256 279733
/proc/meminfo: memFree=129267924/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5368 CPUtime=3454.72 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 715 0 0 0 305539 39933 0 0 20 0 1 0 49715279 19558400 1342 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1342 796 2403 0 1885 0
Current children cumulated CPU time: 3454.72 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5368 KiB

[startup+3522.3 s]
/proc/loadavg: 4.39 4.29 4.17 5/259 279749
/proc/meminfo: memFree=129267292/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5368 CPUtime=3514.58 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 715 0 0 0 310837 40621 0 0 20 0 1 0 49715279 19558400 1342 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1342 796 2403 0 1885 0
Current children cumulated CPU time: 3514.58 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5368 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.25 4.16 6/259 279762
/proc/meminfo: memFree=129266648/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5368 CPUtime=3574.46 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 715 0 0 0 316132 41314 0 0 20 0 1 0 49715279 19558400 1342 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1342 796 2403 0 1885 0
Current children cumulated CPU time: 3574.46 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5368 KiB

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

# cumulated CPU time of all completed processes:  user=3183.82 s, system=416.186 s

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

[startup+3584 s]*
/proc/loadavg: 4.19 4.24 4.16 5/259 279762
/proc/meminfo: memFree=129266672/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5368 CPUtime=3576.16 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 715 0 0 0 316280 41336 0 0 20 0 1 0 49715279 19558400 1342 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1342 796 2403 0 1885 0
Current children cumulated CPU time: 3576.16 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5368 KiB

[startup+3596.8 s]
/proc/loadavg: 4.16 4.23 4.16 6/259 279764
/proc/meminfo: memFree=129266508/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5368 CPUtime=3588.92 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 715 0 0 0 317420 41472 0 0 20 0 1 0 49715279 19558400 1342 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1342 796 2403 0 1885 0
Current children cumulated CPU time: 3588.92 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5368 KiB

[startup+3603.2 s]
/proc/loadavg: 4.13 4.23 4.16 5/259 279765
/proc/meminfo: memFree=129266492/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5368 CPUtime=3595.31 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 715 0 0 0 317976 41555 0 0 20 0 1 0 49715279 19558400 1342 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1342 796 2403 0 1885 0
Current children cumulated CPU time: 3595.31 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5368 KiB

[startup+3606.4 s]
/proc/loadavg: 4.13 4.23 4.16 4/254 279820
/proc/meminfo: memFree=129187044/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5368 CPUtime=3598.5 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 715 0 0 0 318251 41599 0 0 20 0 1 0 49715279 19558400 1342 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1342 796 2403 0 1885 0
Current children cumulated CPU time: 3598.5 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5368 KiB

[startup+3607.2 s]
/proc/loadavg: 4.13 4.23 4.16 5/259 279904
/proc/meminfo: memFree=128987836/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5368 CPUtime=3599.3 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 715 0 0 0 318321 41609 0 0 20 0 1 0 49715279 19558400 1342 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1342 796 2403 0 1885 0
Current children cumulated CPU time: 3599.3 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5368 KiB

[startup+3607.6 s]
/proc/loadavg: 4.13 4.23 4.16 5/259 279904
/proc/meminfo: memFree=128987836/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5368 CPUtime=3599.7 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 715 0 0 0 318357 41613 0 0 20 0 1 0 49715279 19558400 1342 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1342 796 2403 0 1885 0
Current children cumulated CPU time: 3599.7 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5368 KiB

[startup+3607.8 s]
/proc/loadavg: 4.13 4.23 4.16 5/259 279904
/proc/meminfo: memFree=128987836/131524600 swapFree=131071996/131071996
[pid=277902] ppid=277899 vsize=19100 memory=5368 CPUtime=3599.9 cores=0,2
/proc/277902/stat : 277902 (LS-Mab) R 277899 277902 275784 0 -1 4194304 715 0 0 0 318373 41617 0 0 20 0 1 0 49715279 19558400 1342 134679101440 4194304 14036057 140730984871536 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 53911552 140730984879132 140730984879239 140730984879239 140730984886255 0
/proc/277902/statm: 4775 1342 796 2403 0 1885 0
Current children cumulated CPU time: 3599.9 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 5368 KiB

Child status: 0

Real time (s): 3607.9
CPU time (s): 3600.01
CPU user time (s): 3183.82
CPU system time (s): 416.186
CPU usage (%): 99.7812
Max. virtual memory (cumulated for all children) (KiB): 19100
Max. memory (cumulated for all children) (KiB): 5368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3183.82
system time used= 416.186
maximum resident set size= 5444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 729
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= 2
involuntary context switches= 25160


# summary of solver processes directly reported to runsolver:
#   pid: 277902
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3183.82
#   total CPU system time (s): 416.186

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70988 second user time and 12.9548 second system time

The end