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: 63931 MiB (62374 MiB free)
  memory of node 1: 64510 MiB (63650 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429076-1722769582/watcher-4429076-1722769582 -o /tmp/evaluation-result-4429076-1722769582/solver-4429076-1722769582 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722769582-239110 --watchdog 3760 --use-pty ./LS-Mab -f HOME/instance-4429076-1722769582.opb -t 3600 -s 787304997 --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=239168, runsolver pid=239162

[startup+0.100896 s]*
/proc/loadavg: 0.10 0.09 0.09 5/258 239175
/proc/meminfo: memFree=129008324/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=27924 CPUtime=0.09 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 6352 0 0 0 9 0 0 0 20 0 1 0 43557501 49381376 6981 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 6981 764 2403 0 9166 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 27924 KiB

[startup+0.205468 s]*
/proc/loadavg: 0.10 0.09 0.09 5/258 239175
/proc/meminfo: memFree=129004164/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=29832 CPUtime=0.2 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 6826 0 0 0 19 1 0 0 20 0 1 0 43557501 49381376 7458 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 7458 780 2403 0 9166 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 29832 KiB

[startup+0.305624 s]*
/proc/loadavg: 0.10 0.09 0.09 5/258 239175
/proc/meminfo: memFree=129003808/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=29832 CPUtime=0.3 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 6826 0 0 0 29 1 0 0 20 0 1 0 43557501 49381376 7458 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 7458 780 2403 0 9166 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 29832 KiB

[startup+0.700237 s]
/proc/loadavg: 0.10 0.09 0.09 5/258 239175
/proc/meminfo: memFree=129003072/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=29832 CPUtime=0.68 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 6826 0 0 0 67 1 0 0 20 0 1 0 43557501 49381376 7458 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 7458 780 2403 0 9166 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 29832 KiB

[startup+1.50024 s]
/proc/loadavg: 0.10 0.09 0.09 5/258 239175
/proc/meminfo: memFree=129002624/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=29832 CPUtime=1.48 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 6826 0 0 0 145 3 0 0 20 0 1 0 43557501 49381376 7458 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 7458 780 2403 0 9166 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 29832 KiB

[startup+3.10546 s]
/proc/loadavg: 0.41 0.16 0.11 5/258 239175
/proc/meminfo: memFree=129002256/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=29832 CPUtime=3.09 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 6826 0 0 0 304 5 0 0 20 0 1 0 43557501 49381376 7458 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 7458 780 2403 0 9166 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 29832 KiB

[startup+6.30021 s]
/proc/loadavg: 0.41 0.16 0.11 6/258 239175
/proc/meminfo: memFree=129001380/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=30684 CPUtime=6.27 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7013 0 0 0 617 10 0 0 20 0 1 0 43557501 49381376 7671 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 7671 796 2403 0 9166 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 30684 KiB

[startup+12.7002 s]
/proc/loadavg: 0.70 0.22 0.13 5/258 239177
/proc/meminfo: memFree=129001196/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=30684 CPUtime=12.66 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7013 0 0 0 1245 21 0 0 20 0 1 0 43557501 49381376 7671 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 7671 796 2403 0 9166 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 30684 KiB

[startup+25.5002 s]
/proc/loadavg: 1.51 0.42 0.20 5/258 239178
/proc/meminfo: memFree=129001124/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=30684 CPUtime=25.44 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7013 0 0 0 2500 44 0 0 20 0 1 0 43557501 49381376 7671 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 7671 796 2403 0 9166 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 30684 KiB

[startup+51.1054 s]
/proc/loadavg: 2.36 0.71 0.30 5/257 239183
/proc/meminfo: memFree=129000376/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=30684 CPUtime=50.99 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7013 0 0 0 5017 82 0 0 20 0 1 0 43557501 49381376 7671 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 7671 796 2403 0 9166 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 30684 KiB

[startup+102.3 s]
/proc/loadavg: 3.34 1.23 0.50 5/257 239193
/proc/meminfo: memFree=128999800/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=30684 CPUtime=102.08 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7013 0 0 0 10046 162 0 0 20 0 1 0 43557501 49381376 7671 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 7671 796 2403 0 9166 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 30684 KiB

[startup+162.3 s]
/proc/loadavg: 3.83 1.76 0.73 5/257 239204
/proc/meminfo: memFree=128999576/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=30684 CPUtime=161.96 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7013 0 0 0 15941 255 0 0 20 0 1 0 43557501 49381376 7671 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 7671 796 2403 0 9166 0
Current children cumulated CPU time: 161.96 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 30684 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 2.18 0.94 5/257 239215
/proc/meminfo: memFree=128994568/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=33432 CPUtime=221.84 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7091 0 0 0 21830 354 0 0 20 0 1 0 43557501 49381376 8358 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 8358 796 2403 0 9166 0
Current children cumulated CPU time: 221.84 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 33432 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 2.53 1.14 5/259 239229
/proc/meminfo: memFree=128994192/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=33432 CPUtime=281.73 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7143 0 0 0 27725 448 0 0 20 0 1 0 43557501 49381376 8358 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 8358 796 2403 0 9166 0
Current children cumulated CPU time: 281.73 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 33432 KiB

[startup+342.3 s]
/proc/loadavg: 4.04 2.81 1.33 5/256 239240
/proc/meminfo: memFree=128993968/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=33432 CPUtime=341.61 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7169 0 0 0 33619 542 0 0 20 0 1 0 43557501 49381376 8358 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 8358 796 2403 0 9166 0
Current children cumulated CPU time: 341.61 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 33432 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.06 1.51 5/256 239251
/proc/meminfo: memFree=128993624/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=33432 CPUtime=401.5 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7182 0 0 0 39515 635 0 0 20 0 1 0 43557501 49381376 8358 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 8358 796 2403 0 9166 0
Current children cumulated CPU time: 401.5 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 33432 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 3.27 1.68 5/256 239261
/proc/meminfo: memFree=128993276/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=33432 CPUtime=461.39 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7195 0 0 0 45413 726 0 0 20 0 1 0 43557501 49381376 8358 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0

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

/proc/loadavg: 4.08 4.09 4.01 5/258 240921
/proc/meminfo: memFree=129080376/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=33432 CPUtime=3156.31 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7780 0 0 0 310684 4947 0 0 20 0 1 0 43557501 49381376 8358 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 8358 796 2403 0 9166 0
Current children cumulated CPU time: 3156.31 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 33432 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.01 5/258 240931
/proc/meminfo: memFree=129080024/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=33432 CPUtime=3216.19 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7793 0 0 0 316574 5045 0 0 20 0 1 0 43557501 49381376 8358 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 8358 796 2403 0 9166 0
Current children cumulated CPU time: 3216.19 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 33432 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.01 5/257 240954
/proc/meminfo: memFree=129079432/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=33432 CPUtime=3276.08 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7806 0 0 0 322467 5141 0 0 20 0 1 0 43557501 49381376 8358 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 8358 796 2403 0 9166 0
Current children cumulated CPU time: 3276.08 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 33432 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.11 4.02 5/257 240965
/proc/meminfo: memFree=129079436/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=33432 CPUtime=3335.96 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7819 0 0 0 328365 5231 0 0 20 0 1 0 43557501 49381376 8358 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 8358 796 2403 0 9166 0
Current children cumulated CPU time: 3335.96 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 33432 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.02 5/256 240975
/proc/meminfo: memFree=129079200/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=33432 CPUtime=3395.86 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7832 0 0 0 334265 5321 0 0 20 0 1 0 43557501 49381376 8358 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 8358 796 2403 0 9166 0
Current children cumulated CPU time: 3395.86 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 33432 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.02 5/256 240987
/proc/meminfo: memFree=129078900/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=33432 CPUtime=3455.75 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7845 0 0 0 340159 5416 0 0 20 0 1 0 43557501 49381376 8358 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 8358 796 2403 0 9166 0
Current children cumulated CPU time: 3455.75 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 33432 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.03 5/256 240998
/proc/meminfo: memFree=129078616/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=33432 CPUtime=3515.63 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7858 0 0 0 346054 5509 0 0 20 0 1 0 43557501 49381376 8358 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 8358 796 2403 0 9166 0
Current children cumulated CPU time: 3515.63 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 33432 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.04 5/255 241009
/proc/meminfo: memFree=129078352/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=33432 CPUtime=3575.51 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7871 0 0 0 351951 5600 0 0 20 0 1 0 43557501 49381376 8358 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 8358 796 2403 0 9166 0
Current children cumulated CPU time: 3575.51 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 33432 KiB

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

# cumulated CPU time of all completed processes:  user=3543.63 s, system=56.3793 s

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

[startup+3584 s]*
/proc/loadavg: 4.13 4.12 4.04 5/255 241009
/proc/meminfo: memFree=129078336/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=33432 CPUtime=3577.22 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7871 0 0 0 352119 5603 0 0 20 0 1 0 43557501 49381376 8358 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 8358 796 2403 0 9166 0
Current children cumulated CPU time: 3577.22 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 33432 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.12 4.03 5/255 241010
/proc/meminfo: memFree=129078256/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=33432 CPUtime=3589.99 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7871 0 0 0 353377 5622 0 0 20 0 1 0 43557501 49381376 8358 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 8358 796 2403 0 9166 0
Current children cumulated CPU time: 3589.99 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 33432 KiB

[startup+3603.2 s]
/proc/loadavg: 4.10 4.11 4.03 5/255 241012
/proc/meminfo: memFree=129078168/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=33432 CPUtime=3596.38 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7871 0 0 0 354005 5633 0 0 20 0 1 0 43557501 49381376 8358 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 8358 796 2403 0 9166 0
Current children cumulated CPU time: 3596.38 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 33432 KiB

[startup+3604.8 s]
/proc/loadavg: 4.10 4.11 4.03 5/255 241013
/proc/meminfo: memFree=129078164/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=33432 CPUtime=3597.97 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7871 0 0 0 354162 5635 0 0 20 0 1 0 43557501 49381376 8358 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 8358 796 2403 0 9166 0
Current children cumulated CPU time: 3597.97 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 33432 KiB

[startup+3605.6 s]
/proc/loadavg: 4.10 4.11 4.03 5/255 241013
/proc/meminfo: memFree=129078188/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=33432 CPUtime=3598.77 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7871 0 0 0 354241 5636 0 0 20 0 1 0 43557501 49381376 8358 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 8358 796 2403 0 9166 0
Current children cumulated CPU time: 3598.77 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 33432 KiB

[startup+3606.4 s]
/proc/loadavg: 4.10 4.11 4.03 5/255 241013
/proc/meminfo: memFree=129078196/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=33432 CPUtime=3599.57 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7871 0 0 0 354320 5637 0 0 20 0 1 0 43557501 49381376 8358 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 8358 796 2403 0 9166 0
Current children cumulated CPU time: 3599.57 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 33432 KiB

[startup+3606.8 s]
/proc/loadavg: 4.10 4.11 4.03 5/255 241013
/proc/meminfo: memFree=129078196/131524600 swapFree=131071996/131071996
[pid=239168] ppid=239162 vsize=48224 memory=33432 CPUtime=3599.97 cores=4,6
/proc/239168/stat : 239168 (LS-Mab) R 239162 239168 239099 0 -1 4194304 7871 0 0 0 354360 5637 0 0 20 0 1 0 43557501 49381376 8358 134679101440 4194304 14036057 140726398153200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33615872 140726398157852 140726398157959 140726398157959 140726398164975 0
/proc/239168/statm: 12056 8358 796 2403 0 9166 0
Current children cumulated CPU time: 3599.97 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 33432 KiB

Child status: 0

Real time (s): 3606.83
CPU time (s): 3600.01
CPU user time (s): 3543.63
CPU system time (s): 56.3793
CPU usage (%): 99.8109
Max. virtual memory (cumulated for all children) (KiB): 48224
Max. memory (cumulated for all children) (KiB): 33432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3543.63
system time used= 56.3793
maximum resident set size= 33432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7873
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 918


# summary of solver processes directly reported to runsolver:
#   pid: 239168
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3543.63
#   total CPU system time (s): 56.3793

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47499 second user time and 16.1227 second system time

The end