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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429198-1722816783/watcher-4429198-1722816783 -o /tmp/evaluation-result-4429198-1722816783/solver-4429198-1722816783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722816783-269368 --watchdog 3760 --use-pty ./LS-Mab -f HOME/instance-4429198-1722816783.opb -t 3600 -s 1605722816 --no-s 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=269423, runsolver pid=269420
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 3.90 4.07 4.08 6/259 269430
/proc/meminfo: memFree=127854680/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=42640 memory=22584 CPUtime=0.09 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 5042 0 0 0 9 0 0 0 20 0 1 0 48273867 43663360 5646 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10660 5646 749 2403 0 7770 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42640 KiB
Current children cumulated memory: 22584 KiB

[startup+0.20564 s]*
/proc/loadavg: 3.90 4.07 4.08 6/259 269430
/proc/meminfo: memFree=127824468/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=27716 CPUtime=0.2 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 6311 0 0 0 20 0 0 0 20 0 1 0 48273867 44744704 6929 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 6929 780 2403 0 8034 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 27716 KiB

[startup+0.305405 s]*
/proc/loadavg: 3.90 4.07 4.08 6/259 269430
/proc/meminfo: memFree=127813972/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=27716 CPUtime=0.3 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 6312 0 0 0 30 0 0 0 20 0 1 0 48273867 44744704 6929 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 6929 780 2403 0 8034 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 27716 KiB

[startup+0.700208 s]
/proc/loadavg: 3.90 4.07 4.08 6/259 269430
/proc/meminfo: memFree=127770240/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=27716 CPUtime=0.69 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 6314 0 0 0 68 1 0 0 20 0 1 0 48273867 44744704 6929 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 6929 780 2403 0 8034 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 27716 KiB

[startup+1.50021 s]
/proc/loadavg: 3.90 4.07 4.08 6/259 269430
/proc/meminfo: memFree=127701596/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=27716 CPUtime=1.48 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 6314 0 0 0 147 1 0 0 20 0 1 0 48273867 44744704 6929 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 6929 780 2403 0 8034 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 27716 KiB

[startup+3.10534 s]
/proc/loadavg: 3.91 4.07 4.08 6/259 269430
/proc/meminfo: memFree=127625184/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=27716 CPUtime=3.09 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 6314 0 0 0 305 4 0 0 20 0 1 0 48273867 44744704 6929 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 6929 780 2403 0 8034 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 27716 KiB

[startup+6.30021 s]
/proc/loadavg: 3.91 4.07 4.08 6/259 269432
/proc/meminfo: memFree=127624716/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=27716 CPUtime=6.28 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 6317 0 0 0 620 8 0 0 20 0 1 0 48273867 44744704 6929 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 6929 780 2403 0 8034 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 27716 KiB

[startup+12.7002 s]
/proc/loadavg: 3.92 4.07 4.08 6/259 269432
/proc/meminfo: memFree=127624256/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=28304 CPUtime=12.66 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 6405 0 0 0 1252 14 0 0 20 0 1 0 48273867 44744704 7076 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7076 796 2403 0 8034 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 28304 KiB

[startup+25.5002 s]
/proc/loadavg: 4.01 4.08 4.08 6/259 269433
/proc/meminfo: memFree=127623904/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=28304 CPUtime=25.44 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 6405 0 0 0 2515 29 0 0 20 0 1 0 48273867 44744704 7076 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7076 796 2403 0 8034 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 28304 KiB

[startup+51.1052 s]
/proc/loadavg: 4.01 4.08 4.08 6/258 269438
/proc/meminfo: memFree=127623112/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=28304 CPUtime=50.99 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 6405 0 0 0 5037 62 0 0 20 0 1 0 48273867 44744704 7076 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7076 796 2403 0 8034 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 28304 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.08 6/258 269446
/proc/meminfo: memFree=127622288/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=28304 CPUtime=102.09 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 6405 0 0 0 10073 136 0 0 20 0 1 0 48273867 44744704 7076 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7076 796 2403 0 8034 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 28304 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.08 4.08 6/256 269457
/proc/meminfo: memFree=127617764/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=161.96 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 6475 0 0 0 15973 223 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7434 796 2403 0 8034 0
Current children cumulated CPU time: 161.96 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 29736 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.08 6/256 269469
/proc/meminfo: memFree=127615892/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=221.85 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 6508 0 0 0 21878 307 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7434 796 2403 0 8034 0
Current children cumulated CPU time: 221.85 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 29736 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/256 269479
/proc/meminfo: memFree=127615332/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=281.74 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 6530 0 0 0 27780 394 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7434 796 2403 0 8034 0
Current children cumulated CPU time: 281.74 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 29736 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/255 269490
/proc/meminfo: memFree=127614584/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=341.62 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 6541 0 0 0 33683 479 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7434 796 2403 0 8034 0
Current children cumulated CPU time: 341.62 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 29736 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/255 269502
/proc/meminfo: memFree=127613604/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=401.51 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 6552 0 0 0 39587 564 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7434 796 2403 0 8034 0
Current children cumulated CPU time: 401.51 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 29736 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/257 269516
/proc/meminfo: memFree=127612760/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=461.39 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 6563 0 0 0 45491 648 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0

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

/proc/loadavg: 4.12 4.12 4.09 6/256 271203
/proc/meminfo: memFree=127677368/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=3216.11 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 7069 0 0 0 317062 4549 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7434 796 2403 0 8034 0
Current children cumulated CPU time: 3216.11 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 29736 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/256 271214
/proc/meminfo: memFree=127676292/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=3275.99 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 7080 0 0 0 322965 4634 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7434 796 2403 0 8034 0
Current children cumulated CPU time: 3275.99 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 29736 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.09 6/256 271225
/proc/meminfo: memFree=127675816/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=3335.87 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 7091 0 0 0 328875 4712 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7434 796 2403 0 8034 0
Current children cumulated CPU time: 3335.87 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 29736 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 6/256 271235
/proc/meminfo: memFree=127674892/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=3395.77 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 7102 0 0 0 334780 4797 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7434 796 2403 0 8034 0
Current children cumulated CPU time: 3395.77 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 29736 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/258 271250
/proc/meminfo: memFree=127674308/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=3455.65 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 7113 0 0 0 340681 4884 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7434 796 2403 0 8034 0
Current children cumulated CPU time: 3455.65 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 29736 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/259 271262
/proc/meminfo: memFree=127673500/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=3515.53 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 7124 0 0 0 346586 4967 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7434 796 2403 0 8034 0
Current children cumulated CPU time: 3515.53 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 29736 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.08 4.08 6/259 271272
/proc/meminfo: memFree=127673060/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=3575.42 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 7135 0 0 0 352490 5052 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7434 796 2403 0 8034 0
Current children cumulated CPU time: 3575.42 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 29736 KiB

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

# cumulated CPU time of all completed processes:  user=3549.15 s, system=50.8573 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.09 4.09 6/259 271272
/proc/meminfo: memFree=127673112/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=3577.12 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 7135 0 0 0 352658 5054 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7434 796 2403 0 8034 0
Current children cumulated CPU time: 3577.12 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 29736 KiB

[startup+3596.8 s]
/proc/loadavg: 4.10 4.09 4.09 6/259 271275
/proc/meminfo: memFree=127672908/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=3589.89 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 7135 0 0 0 353918 5071 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7434 796 2403 0 8034 0
Current children cumulated CPU time: 3589.89 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 29736 KiB

[startup+3603.2 s]
/proc/loadavg: 4.09 4.09 4.09 6/259 271275
/proc/meminfo: memFree=127672848/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=3596.28 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 7135 0 0 0 354548 5080 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7434 796 2403 0 8034 0
Current children cumulated CPU time: 3596.28 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 29736 KiB

[startup+3604.8 s]
/proc/loadavg: 4.08 4.09 4.09 6/259 271276
/proc/meminfo: memFree=127672640/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=3597.87 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 7135 0 0 0 354705 5082 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7434 796 2403 0 8034 0
Current children cumulated CPU time: 3597.87 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 29736 KiB

[startup+3605.6 s]
/proc/loadavg: 4.08 4.09 4.09 6/259 271276
/proc/meminfo: memFree=127672848/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=3598.67 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 7135 0 0 0 354784 5083 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7434 796 2403 0 8034 0
Current children cumulated CPU time: 3598.67 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 29736 KiB

[startup+3606.4 s]
/proc/loadavg: 4.08 4.09 4.09 6/259 271277
/proc/meminfo: memFree=127672848/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=3599.47 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 7135 0 0 0 354863 5084 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7434 796 2403 0 8034 0
Current children cumulated CPU time: 3599.47 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 29736 KiB

[startup+3606.8 s]
/proc/loadavg: 4.08 4.09 4.09 6/259 271277
/proc/meminfo: memFree=127672848/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=3599.87 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 7135 0 0 0 354902 5085 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7434 796 2403 0 8034 0
Current children cumulated CPU time: 3599.87 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 29736 KiB

[startup+3606.9 s]
/proc/loadavg: 4.08 4.09 4.09 6/259 271277
/proc/meminfo: memFree=127672848/131524600 swapFree=131071996/131071996
[pid=269423] ppid=269420 vsize=43696 memory=29736 CPUtime=3599.97 cores=1,3
/proc/269423/stat : 269423 (LS-Mab) R 269420 269423 269356 0 -1 4194304 7135 0 0 0 354912 5085 0 0 20 0 1 0 48273867 44744704 7434 134679101440 4194304 14036057 140726767013072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 38842368 140726767019035 140726767019143 140726767019143 140726767026159 0
/proc/269423/statm: 10924 7434 796 2403 0 8034 0
Current children cumulated CPU time: 3599.97 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 29736 KiB

Child status: 0

Real time (s): 3606.93
CPU time (s): 3600.01
CPU user time (s): 3549.15
CPU system time (s): 50.8573
CPU usage (%): 99.8081
Max. virtual memory (cumulated for all children) (KiB): 43696
Max. memory (cumulated for all children) (KiB): 29736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3549.15
system time used= 50.8573
maximum resident set size= 29736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7137
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= 1173


# summary of solver processes directly reported to runsolver:
#   pid: 269423
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3549.15
#   total CPU system time (s): 50.8573

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65732 second user time and 15.9153 second system time

The end