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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458056-1722827744/watcher-4458056-1722827744 -o /tmp/evaluation-result-4458056-1722827744/solver-4458056-1722827744 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722827744-270659 --watchdog 3760 --use-pty ./LS-Mab -f HOME/instance-4458056-1722827744.opb -t 3600 -s 2038432367 --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=270720, runsolver pid=270715

[startup+0.10023 s]*
/proc/loadavg: 3.81 4.05 4.07 7/256 270721
/proc/meminfo: memFree=123845996/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=0.09 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 516 0 0 0 8 1 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+0.20494 s]*
/proc/loadavg: 3.81 4.05 4.07 8/256 270721
/proc/meminfo: memFree=123844304/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=0.2 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 17 3 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+0.304874 s]*
/proc/loadavg: 3.81 4.05 4.07 8/256 270721
/proc/meminfo: memFree=123843992/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=0.3 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 26 4 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+0.700139 s]
/proc/loadavg: 3.81 4.05 4.07 8/256 270721
/proc/meminfo: memFree=123843416/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=0.69 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 60 9 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+1.50014 s]
/proc/loadavg: 3.81 4.05 4.07 7/256 270721
/proc/meminfo: memFree=123843048/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=1.49 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 130 19 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+3.10482 s]
/proc/loadavg: 3.81 4.05 4.07 8/256 270721
/proc/meminfo: memFree=123842376/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=3.08 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 268 40 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+6.30013 s]
/proc/loadavg: 3.82 4.04 4.07 7/256 270721
/proc/meminfo: memFree=123842492/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=6.28 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 547 81 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+12.7001 s]
/proc/loadavg: 4.00 4.08 4.08 9/256 270722
/proc/meminfo: memFree=123842368/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=12.66 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 1098 168 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+25.5002 s]
/proc/loadavg: 4.98 4.29 4.15 8/256 270724
/proc/meminfo: memFree=123842256/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=25.44 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 2192 352 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+51.1048 s]
/proc/loadavg: 5.38 4.45 4.21 8/255 270728
/proc/meminfo: memFree=123840712/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=50.99 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 4408 691 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+102.3 s]
/proc/loadavg: 4.60 4.38 4.19 7/255 270738
/proc/meminfo: memFree=123840328/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=102.08 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 8823 1385 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+162.3 s]
/proc/loadavg: 4.33 4.34 4.19 9/255 270750
/proc/meminfo: memFree=123840068/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=161.96 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 14007 2189 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 161.96 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.29 4.18 8/255 270760
/proc/meminfo: memFree=123839124/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=221.84 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 19271 2913 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 221.84 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.25 4.17 8/257 270775
/proc/meminfo: memFree=123838872/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=281.72 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 24451 3721 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 281.72 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.22 4.17 7/257 270786
/proc/meminfo: memFree=123838524/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=341.6 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 29750 4410 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 341.6 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.19 4.16 9/257 270796
/proc/meminfo: memFree=123838012/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=401.47 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 35032 5115 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 401.47 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.19 4.16 8/256 270806
/proc/meminfo: memFree=123837908/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=461.35 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 40245 5890 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0

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

/proc/loadavg: 4.24 4.24 4.15 9/254 272469
/proc/meminfo: memFree=123823748/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=3155.93 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 274801 40792 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 3155.93 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+3222.3 s]
/proc/loadavg: 4.19 4.22 4.15 7/254 272479
/proc/meminfo: memFree=123823520/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=3215.8 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 280003 41577 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 3215.8 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.19 4.14 8/256 272493
/proc/meminfo: memFree=123823044/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=3275.68 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 285188 42380 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 3275.68 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.17 4.14 8/256 272504
/proc/meminfo: memFree=123822872/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=3335.56 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 290378 43178 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 3335.56 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.15 4.13 9/256 272514
/proc/meminfo: memFree=123822540/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=3395.44 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 295611 43933 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 3395.44 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.12 8/256 272524
/proc/meminfo: memFree=123822320/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=3455.32 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 300822 44710 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 3455.32 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.12 9/256 272535
/proc/meminfo: memFree=123821976/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=3515.19 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 305980 45539 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 3515.19 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.11 4.11 8/255 272546
/proc/meminfo: memFree=123821768/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=3575.08 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 311224 46284 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 3575.08 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

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

# cumulated CPU time of all completed processes:  user=3134.36 s, system=465.645 s

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

[startup+3584 s]*
/proc/loadavg: 4.05 4.11 4.11 9/255 272546
/proc/meminfo: memFree=123821736/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=3576.77 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 311374 46303 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 3576.77 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.12 4.11 8/255 272548
/proc/meminfo: memFree=123821724/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=3589.55 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 312513 46442 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 3589.55 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+3603.2 s]
/proc/loadavg: 4.11 4.12 4.11 9/255 272549
/proc/meminfo: memFree=123821652/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=3595.94 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 313073 46521 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 3595.94 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+3604.8 s]
/proc/loadavg: 4.11 4.12 4.11 9/255 272550
/proc/meminfo: memFree=123821576/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=3597.53 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 313216 46537 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 3597.53 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+3606.4 s]
/proc/loadavg: 4.10 4.12 4.11 7/255 272550
/proc/meminfo: memFree=123821528/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=3599.12 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 313358 46554 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 3599.12 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+3606.8 s]
/proc/loadavg: 4.10 4.12 4.11 7/255 272550
/proc/meminfo: memFree=123821528/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=3599.53 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 313394 46559 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 3599.53 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

[startup+3607.2 s]
/proc/loadavg: 4.10 4.12 4.11 4/252 272610
/proc/meminfo: memFree=123851060/131524600 swapFree=131071996/131071996
[pid=270720] ppid=270715 vsize=18524 memory=4748 CPUtime=3599.92 cores=4,6
/proc/270720/stat : 270720 (LS-Mab) R 270715 270720 270648 0 -1 4194304 520 0 0 0 313429 46563 0 0 20 0 1 0 49378974 18968576 1187 134679101440 4194304 14036057 140726719434960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 28512256 140726719443995 140726719444103 140726719444103 140726719451119 0
/proc/270720/statm: 4631 1187 780 2403 0 1741 0
Current children cumulated CPU time: 3599.92 s
Current children cumulated vsize: 18524 KiB
Current children cumulated memory: 4748 KiB

Child status: 0

Real time (s): 3607.27
CPU time (s): 3600
CPU user time (s): 3134.36
CPU system time (s): 465.645
CPU usage (%): 99.7985
Max. virtual memory (cumulated for all children) (KiB): 18524
Max. memory (cumulated for all children) (KiB): 4748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3134.36
system time used= 465.645
maximum resident set size= 4928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 522
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= 917


# summary of solver processes directly reported to runsolver:
#   pid: 270720
#   total CPU time (s): 3600
#   total CPU user time (s): 3134.36
#   total CPU system time (s): 465.645

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.60828 second user time and 13.7922 second system time

The end