runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (53804 MiB free)
  memory of node 1: 64473 MiB (62816 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428989-1722776795/watcher-4428989-1722776795 -o /tmp/evaluation-result-4428989-1722776795/solver-4428989-1722776795 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722769581-239542 --watchdog 3760 --use-pty ./LS-Mab -f HOME/instance-4428989-1722776795.opb -t 3600 -s 1168624502 --no-s 

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=243553, runsolver pid=243548

[startup+0.100102 s]*
/proc/loadavg: 4.17 4.22 4.15 5/241 243560
/proc/meminfo: memFree=119396488/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43056 memory=23112 CPUtime=0.1 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 5137 0 0 0 9 1 0 0 20 0 1 0 44050913 44089344 5778 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10764 5778 749 2403 0 7874 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43056 KiB
Current children cumulated memory: 23112 KiB

[startup+0.21236 s]*
/proc/loadavg: 4.17 4.22 4.15 5/241 243560
/proc/meminfo: memFree=119385520/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=27716 CPUtime=0.21 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 6314 0 0 0 20 1 0 0 20 0 1 0 44050913 44765184 6929 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 6929 780 2403 0 8039 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 27716 KiB

[startup+0.312128 s]*
/proc/loadavg: 4.17 4.22 4.15 5/241 243560
/proc/meminfo: memFree=119385240/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=27716 CPUtime=0.31 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 6315 0 0 0 30 1 0 0 20 0 1 0 44050913 44765184 6929 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 6929 780 2403 0 8039 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 27716 KiB

[startup+0.700295 s]
/proc/loadavg: 4.17 4.22 4.15 4/238 243574
/proc/meminfo: memFree=119386176/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=27716 CPUtime=0.69 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 6315 0 0 0 67 2 0 0 20 0 1 0 44050913 44765184 6929 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 6929 780 2403 0 8039 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 27716 KiB

[startup+1.5003 s]
/proc/loadavg: 4.17 4.22 4.15 5/241 243606
/proc/meminfo: memFree=119385364/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=27716 CPUtime=1.48 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 6316 0 0 0 145 3 0 0 20 0 1 0 44050913 44765184 6929 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 6929 780 2403 0 8039 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 27716 KiB

[startup+3.11199 s]
/proc/loadavg: 4.17 4.22 4.15 5/241 243606
/proc/meminfo: memFree=119384616/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=27716 CPUtime=3.1 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 6317 0 0 0 304 6 0 0 20 0 1 0 44050913 44765184 6929 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 6929 780 2403 0 8039 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 27716 KiB

[startup+6.30027 s]
/proc/loadavg: 4.16 4.22 4.15 5/241 243652
/proc/meminfo: memFree=119384864/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=27972 CPUtime=6.27 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 6832 0 0 0 617 10 0 0 20 0 1 0 44050913 44765184 6993 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 6993 780 2403 0 8039 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 27972 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.21 4.15 5/241 243654
/proc/meminfo: memFree=119384020/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=28368 CPUtime=12.66 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 6926 0 0 0 1248 18 0 0 20 0 1 0 44050913 44765184 7092 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7092 796 2403 0 8039 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 28368 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.20 4.14 5/241 243655
/proc/meminfo: memFree=119382684/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29544 CPUtime=25.43 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 6945 0 0 0 2506 37 0 0 20 0 1 0 44050913 44765184 7386 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7386 796 2403 0 8039 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29544 KiB

[startup+51.1121 s]
/proc/loadavg: 4.13 4.20 4.15 5/241 243660
/proc/meminfo: memFree=119381212/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29544 CPUtime=50.98 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 6978 0 0 0 5027 71 0 0 20 0 1 0 44050913 44765184 7386 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7386 796 2403 0 8039 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29544 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.21 4.15 5/241 243668
/proc/meminfo: memFree=119380576/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=102.08 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7011 0 0 0 10062 146 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.19 4.15 5/241 243678
/proc/meminfo: memFree=119379852/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=161.95 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7033 0 0 0 15963 232 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.18 4.15 5/243 243693
/proc/meminfo: memFree=119378504/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=221.84 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7044 0 0 0 21861 323 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 221.84 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

[startup+282.3 s]
/proc/loadavg: 4.56 4.27 4.18 5/243 243704
/proc/meminfo: memFree=119377896/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=281.72 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7055 0 0 0 27758 414 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 281.72 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

[startup+342.3 s]
/proc/loadavg: 4.55 4.34 4.21 5/243 243715
/proc/meminfo: memFree=119377220/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=341.6 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7066 0 0 0 33659 501 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 341.6 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

[startup+402.3 s]
/proc/loadavg: 4.26 4.29 4.20 5/243 243726
/proc/meminfo: memFree=119376660/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=401.48 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7077 0 0 0 39564 584 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 401.48 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

[startup+462.3 s]
/proc/loadavg: 4.75 4.41 4.25 5/243 243737
/proc/meminfo: memFree=119375968/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=461.36 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7088 0 0 0 45465 671 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0

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

/proc/loadavg: 4.12 4.12 4.12 5/243 245406
/proc/meminfo: memFree=119449928/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=3156.12 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7583 0 0 0 311054 4558 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 3156.12 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.14 4.13 5/245 245422
/proc/meminfo: memFree=119448120/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=3216 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7594 0 0 0 316952 4648 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 3216 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

[startup+3282.3 s]
/proc/loadavg: 4.48 4.21 4.15 5/244 245443
/proc/meminfo: memFree=119447608/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=3275.89 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7605 0 0 0 322850 4739 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 3275.89 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

[startup+3342.3 s]
/proc/loadavg: 4.88 4.38 4.21 5/244 245454
/proc/meminfo: memFree=119447052/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=3335.77 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7616 0 0 0 328760 4817 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 3335.77 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

[startup+3402.3 s]
/proc/loadavg: 4.42 4.34 4.21 5/244 245466
/proc/meminfo: memFree=119446276/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=3395.65 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7627 0 0 0 334664 4901 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 3395.65 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.29 4.20 5/243 245476
/proc/meminfo: memFree=119445872/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=3455.53 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7638 0 0 0 340564 4989 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 3455.53 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.27 4.19 5/244 245489
/proc/meminfo: memFree=119445176/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=3515.42 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7649 0 0 0 346471 5071 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 3515.42 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.23 4.18 5/243 245501
/proc/meminfo: memFree=119444592/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=3575.3 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7660 0 0 0 352376 5154 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 3575.3 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

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

# cumulated CPU time of all completed processes:  user=3548.13 s, system=51.8755 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.23 4.18 5/243 245501
/proc/meminfo: memFree=119444624/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=3577.01 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7660 0 0 0 352545 5156 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 3577.01 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

[startup+3596.8 s]
/proc/loadavg: 4.10 4.22 4.18 5/243 245503
/proc/meminfo: memFree=119444512/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=3589.77 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7660 0 0 0 353805 5172 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 3589.77 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

[startup+3603.2 s]
/proc/loadavg: 4.09 4.22 4.18 5/243 245504
/proc/meminfo: memFree=119444436/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=3596.16 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7660 0 0 0 354434 5182 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 3596.16 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

[startup+3604.8 s]
/proc/loadavg: 4.09 4.22 4.18 5/243 245504
/proc/meminfo: memFree=119444436/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=3597.76 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7660 0 0 0 354592 5184 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 3597.76 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

[startup+3606.4 s]
/proc/loadavg: 4.16 4.23 4.18 5/243 245504
/proc/meminfo: memFree=119444348/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=3599.35 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7660 0 0 0 354749 5186 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 3599.35 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

[startup+3606.8 s]
/proc/loadavg: 4.16 4.23 4.18 5/243 245504
/proc/meminfo: memFree=119444348/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=3599.76 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7660 0 0 0 354789 5187 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 3599.76 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

[startup+3607 s]*
/proc/loadavg: 4.16 4.23 4.18 4/240 245518
/proc/meminfo: memFree=119454976/131655788 swapFree=131071216/131071996
[pid=243553] ppid=243548 vsize=43716 memory=29572 CPUtime=3599.96 cores=4,6
/proc/243553/stat : 243553 (LS-Mab) R 243548 243553 239531 0 -1 4194304 7660 0 0 0 354809 5187 0 0 20 0 1 0 44050913 44765184 7393 134679101440 4194304 14036057 140736326749440 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 48861184 140736326755355 140736326755463 140736326755463 140736326762479 0
/proc/243553/statm: 10929 7393 796 2403 0 8039 0
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 29572 KiB

Child status: 0

Real time (s): 3607.04
CPU time (s): 3600.01
CPU user time (s): 3548.13
CPU system time (s): 51.8755
CPU usage (%): 99.8049
Max. virtual memory (cumulated for all children) (KiB): 43716
Max. memory (cumulated for all children) (KiB): 29572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3548.13
system time used= 51.8755
maximum resident set size= 29572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7662
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= 12
involuntary context switches= 1286


# summary of solver processes directly reported to runsolver:
#   pid: 243553
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3548.13
#   total CPU system time (s): 51.8755

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5578 second user time and 33.2763 second system time

The end