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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429130-1722806085/watcher-4429130-1722806085 -o /tmp/evaluation-result-4429130-1722806085/solver-4429130-1722806085 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722806085-264618 --watchdog 3760 --use-pty ./LS-Mab -f HOME/instance-4429130-1722806085.opb -t 3600 -s 644177770 --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
Current StackSize limit: 8192 KiB

solver pid=264665, runsolver pid=264662

[startup+0.100453 s]*
/proc/loadavg: 0.05 0.08 0.09 5/251 264668
/proc/meminfo: memFree=125752456/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6008 CPUtime=0.09 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 893 0 0 0 9 0 0 0 20 0 1 0 47208408 20602880 1502 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1502 764 2403 0 2140 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6008 KiB

[startup+0.204696 s]*
/proc/loadavg: 0.05 0.08 0.09 5/257 264679
/proc/meminfo: memFree=125738336/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6008 CPUtime=0.2 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 893 0 0 0 19 1 0 0 20 0 1 0 47208408 20602880 1502 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1502 764 2403 0 2140 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6008 KiB

[startup+0.304733 s]*
/proc/loadavg: 0.05 0.08 0.09 5/257 264679
/proc/meminfo: memFree=125709668/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6008 CPUtime=0.3 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 893 0 0 0 29 1 0 0 20 0 1 0 47208408 20602880 1502 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1502 764 2403 0 2140 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6008 KiB

[startup+0.700154 s]
/proc/loadavg: 0.45 0.16 0.11 5/257 264679
/proc/meminfo: memFree=125678168/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6008 CPUtime=0.69 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 899 0 0 0 65 4 0 0 20 0 1 0 47208408 20602880 1502 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1502 764 2403 0 2140 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6008 KiB

[startup+1.50015 s]
/proc/loadavg: 0.45 0.16 0.11 5/257 264679
/proc/meminfo: memFree=125513288/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6008 CPUtime=1.49 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 899 0 0 0 142 7 0 0 20 0 1 0 47208408 20602880 1502 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1502 764 2403 0 2140 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6008 KiB

[startup+3.10437 s]
/proc/loadavg: 0.45 0.16 0.11 5/257 264679
/proc/meminfo: memFree=124917344/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6008 CPUtime=3.08 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 899 0 0 0 292 16 0 0 20 0 1 0 47208408 20602880 1502 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1502 764 2403 0 2140 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6008 KiB

[startup+6.30014 s]
/proc/loadavg: 0.73 0.22 0.13 5/257 264679
/proc/meminfo: memFree=124032452/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6008 CPUtime=6.27 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 899 0 0 0 594 33 0 0 20 0 1 0 47208408 20602880 1502 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1502 764 2403 0 2140 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6008 KiB

[startup+12.7001 s]
/proc/loadavg: 0.99 0.29 0.15 5/257 264681
/proc/meminfo: memFree=123514856/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6008 CPUtime=12.66 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 899 0 0 0 1195 71 0 0 20 0 1 0 47208408 20602880 1502 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1502 764 2403 0 2140 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6008 KiB

[startup+25.5002 s]
/proc/loadavg: 1.53 0.43 0.20 5/257 264682
/proc/meminfo: memFree=123514728/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6008 CPUtime=25.43 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 899 0 0 0 2398 145 0 0 20 0 1 0 47208408 20602880 1502 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1502 764 2403 0 2140 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6008 KiB

[startup+51.1042 s]
/proc/loadavg: 2.50 0.77 0.32 5/255 264687
/proc/meminfo: memFree=123513728/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6008 CPUtime=50.99 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 899 0 0 0 4796 303 0 0 20 0 1 0 47208408 20602880 1502 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1502 764 2403 0 2140 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6008 KiB

[startup+102.3 s]
/proc/loadavg: 3.39 1.28 0.52 5/255 264695
/proc/meminfo: memFree=123512028/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6008 CPUtime=102.07 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 899 0 0 0 9595 612 0 0 20 0 1 0 47208408 20602880 1502 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1502 764 2403 0 2140 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6008 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 1.81 0.75 5/255 264705
/proc/meminfo: memFree=123509744/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6252 CPUtime=161.97 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 908 0 0 0 15225 972 0 0 20 0 1 0 47208408 20602880 1563 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1563 764 2403 0 2140 0
Current children cumulated CPU time: 161.97 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6252 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.23 0.97 5/255 264718
/proc/meminfo: memFree=123508492/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6600 CPUtime=221.87 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 911 0 0 0 20849 1338 0 0 20 0 1 0 47208408 20602880 1650 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1650 796 2403 0 2140 0
Current children cumulated CPU time: 221.87 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6600 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 2.60 1.17 5/255 264728
/proc/meminfo: memFree=123507600/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6600 CPUtime=281.77 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 913 0 0 0 26479 1698 0 0 20 0 1 0 47208408 20602880 1650 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1650 796 2403 0 2140 0
Current children cumulated CPU time: 281.77 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6600 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 2.87 1.36 5/257 264743
/proc/meminfo: memFree=123506776/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6600 CPUtime=341.66 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 914 0 0 0 32115 2051 0 0 20 0 1 0 47208408 20602880 1650 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1650 796 2403 0 2140 0
Current children cumulated CPU time: 341.66 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6600 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.09 1.53 5/257 264754
/proc/meminfo: memFree=123505808/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6600 CPUtime=401.56 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 915 0 0 0 37748 2408 0 0 20 0 1 0 47208408 20602880 1650 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1650 796 2403 0 2140 0
Current children cumulated CPU time: 401.56 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6600 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.28 1.69 5/257 264764
/proc/meminfo: memFree=123505248/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6600 CPUtime=461.46 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 916 0 0 0 43373 2773 0 0 20 0 1 0 47208408 20602880 1650 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0

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

/proc/loadavg: 4.69 4.25 4.06 5/257 266473
/proc/meminfo: memFree=123544308/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6600 CPUtime=3216.82 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 962 0 0 0 302236 19446 0 0 20 0 1 0 47208408 20602880 1650 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1650 796 2403 0 2140 0
Current children cumulated CPU time: 3216.82 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6600 KiB

[startup+3282.3 s]
/proc/loadavg: 4.38 4.26 4.08 5/258 266709
/proc/meminfo: memFree=123542924/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6600 CPUtime=3276.71 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 963 0 0 0 307867 19804 0 0 20 0 1 0 47208408 20602880 1650 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1650 796 2403 0 2140 0
Current children cumulated CPU time: 3276.71 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6600 KiB

[startup+3342.3 s]
/proc/loadavg: 4.31 4.26 4.09 5/259 267010
/proc/meminfo: memFree=123593676/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6600 CPUtime=3336.62 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 964 0 0 0 313501 20161 0 0 20 0 1 0 47208408 20602880 1650 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1650 796 2403 0 2140 0
Current children cumulated CPU time: 3336.62 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6600 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.22 4.09 5/259 267021
/proc/meminfo: memFree=123593232/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6600 CPUtime=3396.51 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 965 0 0 0 319136 20515 0 0 20 0 1 0 47208408 20602880 1650 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1650 796 2403 0 2140 0
Current children cumulated CPU time: 3396.51 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6600 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.21 4.09 5/259 267031
/proc/meminfo: memFree=123592216/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6600 CPUtime=3456.42 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 966 0 0 0 324763 20879 0 0 20 0 1 0 47208408 20602880 1650 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1650 796 2403 0 2140 0
Current children cumulated CPU time: 3456.42 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6600 KiB

[startup+3522.3 s]
/proc/loadavg: 4.30 4.26 4.12 5/259 267041
/proc/meminfo: memFree=123591436/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6600 CPUtime=3516.31 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 967 0 0 0 330389 21242 0 0 20 0 1 0 47208408 20602880 1650 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1650 796 2403 0 2140 0
Current children cumulated CPU time: 3516.31 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6600 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.22 4.11 5/257 267053
/proc/meminfo: memFree=123590464/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6600 CPUtime=3576.21 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 968 0 0 0 336020 21601 0 0 20 0 1 0 47208408 20602880 1650 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1650 796 2403 0 2140 0
Current children cumulated CPU time: 3576.21 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6600 KiB

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

# cumulated CPU time of all completed processes:  user=3382.61 s, system=217.399 s

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

[startup+3584 s]*
/proc/loadavg: 4.15 4.22 4.11 5/258 267054
/proc/meminfo: memFree=123590508/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6600 CPUtime=3577.91 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 968 0 0 0 336179 21612 0 0 20 0 1 0 47208408 20602880 1650 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1650 796 2403 0 2140 0
Current children cumulated CPU time: 3577.91 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6600 KiB

[startup+3596.8 s]
/proc/loadavg: 4.21 4.23 4.11 5/258 267055
/proc/meminfo: memFree=123590480/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6600 CPUtime=3590.69 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 968 0 0 0 337382 21687 0 0 20 0 1 0 47208408 20602880 1650 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1650 796 2403 0 2140 0
Current children cumulated CPU time: 3590.69 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6600 KiB

[startup+3600 s]*
/proc/loadavg: 4.19 4.23 4.11 5/258 267057
/proc/meminfo: memFree=123590440/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6600 CPUtime=3593.89 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 968 0 0 0 337682 21707 0 0 20 0 1 0 47208408 20602880 1650 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1650 796 2403 0 2140 0
Current children cumulated CPU time: 3593.89 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6600 KiB

[startup+3603.2 s]
/proc/loadavg: 4.18 4.22 4.11 5/258 267057
/proc/meminfo: memFree=123590456/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6600 CPUtime=3597.08 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 968 0 0 0 337984 21724 0 0 20 0 1 0 47208408 20602880 1650 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1650 796 2403 0 2140 0
Current children cumulated CPU time: 3597.08 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6600 KiB

[startup+3604.8 s]
/proc/loadavg: 4.18 4.22 4.11 5/258 267058
/proc/meminfo: memFree=123590364/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6600 CPUtime=3598.67 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 968 0 0 0 338135 21732 0 0 20 0 1 0 47208408 20602880 1650 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1650 796 2403 0 2140 0
Current children cumulated CPU time: 3598.67 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6600 KiB

[startup+3605.6 s]
/proc/loadavg: 4.18 4.22 4.11 5/258 267058
/proc/meminfo: memFree=123590380/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6600 CPUtime=3599.47 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 968 0 0 0 338211 21736 0 0 20 0 1 0 47208408 20602880 1650 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1650 796 2403 0 2140 0
Current children cumulated CPU time: 3599.47 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6600 KiB

[startup+3606 s]*
/proc/loadavg: 4.18 4.22 4.11 4/253 267066
/proc/meminfo: memFree=123611072/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6600 CPUtime=3599.88 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 968 0 0 0 338249 21739 0 0 20 0 1 0 47208408 20602880 1650 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1650 796 2403 0 2140 0
Current children cumulated CPU time: 3599.88 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6600 KiB

[startup+3606.11 s]
/proc/loadavg: 4.18 4.22 4.11 4/253 267066
/proc/meminfo: memFree=123611072/131524600 swapFree=131071996/131071996
[pid=264665] ppid=264662 vsize=20120 memory=6600 CPUtime=3599.97 cores=1,3
/proc/264665/stat : 264665 (LS-Mab) R 264662 264665 264606 0 -1 4194304 968 0 0 0 338258 21739 0 0 20 0 1 0 47208408 20602880 1650 134679101440 4194304 14036057 140736104071952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 52154368 140736104076316 140736104076423 140736104076423 140736104083439 0
/proc/264665/statm: 5030 1650 796 2403 0 2140 0
Current children cumulated CPU time: 3599.97 s
Current children cumulated vsize: 20120 KiB
Current children cumulated memory: 6600 KiB

Child status: 0

Real time (s): 3606.13
CPU time (s): 3600.01
CPU user time (s): 3382.61
CPU system time (s): 217.399
CPU usage (%): 99.8303
Max. virtual memory (cumulated for all children) (KiB): 20120
Max. memory (cumulated for all children) (KiB): 6600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3382.61
system time used= 217.399
maximum resident set size= 6676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 970
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= 3
involuntary context switches= 2968


# summary of solver processes directly reported to runsolver:
#   pid: 264665
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3382.61
#   total CPU system time (s): 217.399

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.73628 second user time and 10.5817 second system time

The end