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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457744-1722827626/watcher-4457744-1722827626 -o /tmp/evaluation-result-4457744-1722827626/solver-4457744-1722827626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722827626-273744 --watchdog 3760 --use-pty ./LS-Mab -f HOME/instance-4457744-1722827626.opb -t 3600 -s 337243055 --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=273800, runsolver pid=273796
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 3.70 4.06 4.14 5/243 273805
/proc/meminfo: memFree=128456748/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=32764 memory=18624 CPUtime=0.1 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4028 0 0 0 9 1 0 0 20 0 1 0 49132990 33550336 4656 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8191 4656 749 2403 0 5301 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32764 KiB
Current children cumulated memory: 18624 KiB

[startup+0.213218 s]*
/proc/loadavg: 3.70 4.06 4.14 5/243 273805
/proc/meminfo: memFree=128438304/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20000 CPUtime=0.22 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4340 0 0 0 20 2 0 0 20 0 1 0 49132990 34639872 5000 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5000 764 2403 0 5567 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20000 KiB

[startup+0.31269 s]*
/proc/loadavg: 3.70 4.06 4.14 5/243 273805
/proc/meminfo: memFree=128424156/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20000 CPUtime=0.32 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4340 0 0 0 30 2 0 0 20 0 1 0 49132990 34639872 5000 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5000 764 2403 0 5567 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20000 KiB

[startup+0.700273 s]
/proc/loadavg: 3.70 4.06 4.14 5/243 273805
/proc/meminfo: memFree=128394692/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20000 CPUtime=0.69 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4340 0 0 0 67 2 0 0 20 0 1 0 49132990 34639872 5000 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5000 764 2403 0 5567 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20000 KiB

[startup+1.50026 s]
/proc/loadavg: 3.70 4.06 4.14 5/243 273805
/proc/meminfo: memFree=128364844/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20000 CPUtime=1.48 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4340 0 0 0 145 3 0 0 20 0 1 0 49132990 34639872 5000 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5000 764 2403 0 5567 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20000 KiB

[startup+3.11201 s]
/proc/loadavg: 3.70 4.06 4.14 5/243 273806
/proc/meminfo: memFree=128364684/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20000 CPUtime=3.1 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4341 0 0 0 304 6 0 0 20 0 1 0 49132990 34639872 5000 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5000 764 2403 0 5567 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20000 KiB

[startup+6.30024 s]
/proc/loadavg: 3.73 4.05 4.14 5/243 273806
/proc/meminfo: memFree=128364716/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20000 CPUtime=6.27 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4345 0 0 0 616 11 0 0 20 0 1 0 49132990 34639872 5000 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5000 764 2403 0 5567 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20000 KiB

[startup+12.7002 s]
/proc/loadavg: 3.83 4.07 4.14 5/243 273808
/proc/meminfo: memFree=128364724/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20000 CPUtime=12.67 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4345 0 0 0 1245 22 0 0 20 0 1 0 49132990 34639872 5000 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5000 764 2403 0 5567 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20000 KiB

[startup+25.5003 s]
/proc/loadavg: 3.87 4.07 4.14 5/244 273810
/proc/meminfo: memFree=128364756/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20000 CPUtime=25.45 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4345 0 0 0 2496 49 0 0 20 0 1 0 49132990 34639872 5000 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5000 764 2403 0 5567 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20000 KiB

[startup+51.1119 s]
/proc/loadavg: 3.91 4.06 4.13 5/244 273813
/proc/meminfo: memFree=128363992/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20000 CPUtime=51.02 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4345 0 0 0 5002 100 0 0 20 0 1 0 49132990 34639872 5000 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5000 764 2403 0 5567 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20000 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.14 5/244 273823
/proc/meminfo: memFree=128362336/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20000 CPUtime=102.12 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4347 0 0 0 10013 199 0 0 20 0 1 0 49132990 34639872 5000 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5000 764 2403 0 5567 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20000 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.14 5/242 273836
/proc/meminfo: memFree=128361660/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20000 CPUtime=162.01 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4380 0 0 0 15886 315 0 0 20 0 1 0 49132990 34639872 5000 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5000 764 2403 0 5567 0
Current children cumulated CPU time: 162.01 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20000 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.13 5/242 273847
/proc/meminfo: memFree=128360744/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20152 CPUtime=221.91 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4408 0 0 0 21757 434 0 0 20 0 1 0 49132990 34639872 5038 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5038 796 2403 0 5567 0
Current children cumulated CPU time: 221.91 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20152 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.13 5/242 273857
/proc/meminfo: memFree=128359908/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20152 CPUtime=281.82 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4422 0 0 0 27628 554 0 0 20 0 1 0 49132990 34639872 5038 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5038 796 2403 0 5567 0
Current children cumulated CPU time: 281.82 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20152 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.11 4.13 5/242 273869
/proc/meminfo: memFree=128359144/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20152 CPUtime=341.72 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4429 0 0 0 33498 674 0 0 20 0 1 0 49132990 34639872 5038 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5038 796 2403 0 5567 0
Current children cumulated CPU time: 341.72 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20152 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.12 4.13 5/244 273884
/proc/meminfo: memFree=128358708/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20152 CPUtime=401.63 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4436 0 0 0 39375 788 0 0 20 0 1 0 49132990 34639872 5038 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5038 796 2403 0 5567 0
Current children cumulated CPU time: 401.63 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20152 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/244 273894
/proc/meminfo: memFree=128357752/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20152 CPUtime=461.53 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4443 0 0 0 45241 912 0 0 20 0 1 0 49132990 34639872 5038 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0

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

/proc/loadavg: 4.55 4.31 4.17 5/241 275571
/proc/meminfo: memFree=128425056/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20152 CPUtime=3157.17 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4758 0 0 0 309439 6278 0 0 20 0 1 0 49132990 34639872 5038 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5038 796 2403 0 5567 0
Current children cumulated CPU time: 3157.17 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20152 KiB

[startup+3222.3 s]
/proc/loadavg: 4.47 4.32 4.18 5/241 275581
/proc/meminfo: memFree=128424200/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20152 CPUtime=3217.08 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4765 0 0 0 315302 6406 0 0 20 0 1 0 49132990 34639872 5038 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5038 796 2403 0 5567 0
Current children cumulated CPU time: 3217.08 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20152 KiB

[startup+3282.3 s]
/proc/loadavg: 4.76 4.44 4.23 5/241 275591
/proc/meminfo: memFree=128423428/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20152 CPUtime=3276.98 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4772 0 0 0 321176 6522 0 0 20 0 1 0 49132990 34639872 5038 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5038 796 2403 0 5567 0
Current children cumulated CPU time: 3276.98 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20152 KiB

[startup+3342.3 s]
/proc/loadavg: 5.18 4.58 4.29 5/241 275602
/proc/meminfo: memFree=128422720/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20152 CPUtime=3336.89 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4779 0 0 0 327049 6640 0 0 20 0 1 0 49132990 34639872 5038 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5038 796 2403 0 5567 0
Current children cumulated CPU time: 3336.89 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20152 KiB

[startup+3402.3 s]
/proc/loadavg: 5.02 4.68 4.35 5/243 275616
/proc/meminfo: memFree=128422040/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20152 CPUtime=3396.79 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4786 0 0 0 332922 6757 0 0 20 0 1 0 49132990 34639872 5038 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5038 796 2403 0 5567 0
Current children cumulated CPU time: 3396.79 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20152 KiB

[startup+3462.3 s]
/proc/loadavg: 4.47 4.59 4.34 5/244 275629
/proc/meminfo: memFree=128421148/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20152 CPUtime=3456.69 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4793 0 0 0 338794 6875 0 0 20 0 1 0 49132990 34639872 5038 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5038 796 2403 0 5567 0
Current children cumulated CPU time: 3456.69 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20152 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.49 4.32 5/244 275640
/proc/meminfo: memFree=128420556/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20152 CPUtime=3516.6 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4800 0 0 0 344669 6991 0 0 20 0 1 0 49132990 34639872 5038 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5038 796 2403 0 5567 0
Current children cumulated CPU time: 3516.6 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20152 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.42 4.30 5/244 275651
/proc/meminfo: memFree=128419748/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20152 CPUtime=3576.49 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4807 0 0 0 350542 7107 0 0 20 0 1 0 49132990 34639872 5038 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5038 796 2403 0 5567 0
Current children cumulated CPU time: 3576.49 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20152 KiB

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

# cumulated CPU time of all completed processes:  user=3528.47 s, system=71.5351 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.42 4.30 5/244 275651
/proc/meminfo: memFree=128419760/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20152 CPUtime=3578.2 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4807 0 0 0 350710 7110 0 0 20 0 1 0 49132990 34639872 5038 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5038 796 2403 0 5567 0
Current children cumulated CPU time: 3578.2 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20152 KiB

[startup+3596.8 s]
/proc/loadavg: 4.16 4.41 4.30 5/244 275652
/proc/meminfo: memFree=128419340/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20152 CPUtime=3590.97 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4807 0 0 0 351961 7136 0 0 20 0 1 0 49132990 34639872 5038 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5038 796 2403 0 5567 0
Current children cumulated CPU time: 3590.97 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20152 KiB

[startup+3600 s]*
/proc/loadavg: 4.15 4.40 4.30 5/244 275652
/proc/meminfo: memFree=128419356/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20152 CPUtime=3594.18 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4807 0 0 0 352276 7142 0 0 20 0 1 0 49132990 34639872 5038 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5038 796 2403 0 5567 0
Current children cumulated CPU time: 3594.18 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20152 KiB

[startup+3603.2 s]
/proc/loadavg: 4.15 4.40 4.30 5/244 275654
/proc/meminfo: memFree=128419180/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20152 CPUtime=3597.36 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4807 0 0 0 352588 7148 0 0 20 0 1 0 49132990 34639872 5038 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5038 796 2403 0 5567 0
Current children cumulated CPU time: 3597.36 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20152 KiB

[startup+3604.8 s]
/proc/loadavg: 4.15 4.40 4.30 6/245 275655
/proc/meminfo: memFree=128418884/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20152 CPUtime=3598.96 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4807 0 0 0 352745 7151 0 0 20 0 1 0 49132990 34639872 5038 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5038 796 2403 0 5567 0
Current children cumulated CPU time: 3598.96 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20152 KiB

[startup+3605.6 s]
/proc/loadavg: 4.14 4.40 4.30 5/244 275655
/proc/meminfo: memFree=128419168/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20152 CPUtime=3599.76 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4807 0 0 0 352823 7153 0 0 20 0 1 0 49132990 34639872 5038 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5038 796 2403 0 5567 0
Current children cumulated CPU time: 3599.76 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20152 KiB

[startup+3605.8 s]
/proc/loadavg: 4.14 4.40 4.30 5/244 275655
/proc/meminfo: memFree=128419168/131655788 swapFree=131071728/131071996
[pid=273800] ppid=273796 vsize=33828 memory=20152 CPUtime=3599.96 cores=1,3
/proc/273800/stat : 273800 (LS-Mab) R 273796 273800 273732 0 -1 4194304 4807 0 0 0 352843 7153 0 0 20 0 1 0 49132990 34639872 5038 134679101440 4194304 14036057 140723605677984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 40353792 140723605681180 140723605681287 140723605681287 140723605688303 0
/proc/273800/statm: 8457 5038 796 2403 0 5567 0
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 20152 KiB

Child status: 0

Real time (s): 3605.84
CPU time (s): 3600.01
CPU user time (s): 3528.47
CPU system time (s): 71.5351
CPU usage (%): 99.8383
Max. virtual memory (cumulated for all children) (KiB): 33828
Max. memory (cumulated for all children) (KiB): 20152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3528.47
system time used= 71.5351
maximum resident set size= 20152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4809
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= 9
involuntary context switches= 1246


# summary of solver processes directly reported to runsolver:
#   pid: 273800
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3528.47
#   total CPU system time (s): 71.5351

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3011 second user time and 30.6233 second system time

The end