Log files for model consensus.6-2 and tool configuration modest_from-jani_to-umb-gz_default

Parsed values
[21694404.0, 21694289.0, 21694397.0, 21694321.0, 21694308.0]
Log file: modest_from-jani_to-umb-gz_default_consensus.6-2_rep1.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.gz %outdir/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 9.552 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957416/tmp61vtcqzimodest_from-jani_to-umb-gz_default_consensus.6-2_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957416/tmpmv2r9e69modest_from-jani_to-umb-gz_default_consensus.6-2_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4957416/tmpmv2r9e69modest_from-jani_to-umb-gz_default_consensus.6-2_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is an MDP model.
model.jani:variables[3]: info: Expanding variable "pc1" into 4 locations in automaton "process1".
model.jani:variables[5]: info: Expanding variable "pc2" into 4 locations in automaton "process2".
model.jani:variables[7]: info: Expanding variable "pc3" into 4 locations in automaton "process3".
model.jani:variables[9]: info: Expanding variable "pc4" into 4 locations in automaton "process4".
model.jani:variables[11]: info: Expanding variable "pc5" into 4 locations in automaton "process5".
model.jani:variables[13]: info: Expanding variable "pc6" into 4 locations in automaton "process6".
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 1258240 states.

Peak memory usage: 310 MB
Analysis results for model.jani

+ State space exploration
  State size:         24 bytes
  States:             1258240
  Choices:            5008128
  Branches:           6236736
  Rate:               200261 states/s
  Peak memory:        105.72 MB
  Final size:         133.37 MB
  Size on disk:       19.72 MB
  Time (exploration): 6.3 s
  Time (merging):     0.5 s

+ UMB export
  Time:        2.5 s
  File size:   20.69 MB
  Compression: GZip (Optimal)


############################## Output files ##############################
model.umb.gz:	Size of output file is 21694377 bytes
umbgz.properties.txt:	Size of output file is 27 bytes
Log file: modest_from-jani_to-umb-gz_default_consensus.6-2_rep2.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.gz %outdir/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 9.342 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955000/tmpvukrwq3lmodest_from-jani_to-umb-gz_default_consensus.6-2_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4955000/tmp5_qhy9c_modest_from-jani_to-umb-gz_default_consensus.6-2_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4955000/tmp5_qhy9c_modest_from-jani_to-umb-gz_default_consensus.6-2_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is an MDP model.
model.jani:variables[3]: info: Expanding variable "pc1" into 4 locations in automaton "process1".
model.jani:variables[5]: info: Expanding variable "pc2" into 4 locations in automaton "process2".
model.jani:variables[7]: info: Expanding variable "pc3" into 4 locations in automaton "process3".
model.jani:variables[9]: info: Expanding variable "pc4" into 4 locations in automaton "process4".
model.jani:variables[11]: info: Expanding variable "pc5" into 4 locations in automaton "process5".
model.jani:variables[13]: info: Expanding variable "pc6" into 4 locations in automaton "process6".
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 1258240 states.

Peak memory usage: 308 MB
Analysis results for model.jani

+ State space exploration
  State size:         24 bytes
  States:             1258240
  Choices:            5008128
  Branches:           6236736
  Rate:               212325 states/s
  Peak memory:        106.13 MB
  Final size:         133.37 MB
  Size on disk:       19.72 MB
  Time (exploration): 5.9 s
  Time (merging):     0.5 s

+ UMB export
  Time:        2.4 s
  File size:   20.69 MB
  Compression: GZip (Optimal)


############################## Output files ##############################
model.umb.gz:	Size of output file is 21694262 bytes
umbgz.properties.txt:	Size of output file is 27 bytes
Log file: modest_from-jani_to-umb-gz_default_consensus.6-2_rep3.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.gz %outdir/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 8.433 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957482/tmpl2d0ub2xmodest_from-jani_to-umb-gz_default_consensus.6-2_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957482/tmp6akcchvamodest_from-jani_to-umb-gz_default_consensus.6-2_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4957482/tmp6akcchvamodest_from-jani_to-umb-gz_default_consensus.6-2_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is an MDP model.
model.jani:variables[3]: info: Expanding variable "pc1" into 4 locations in automaton "process1".
model.jani:variables[5]: info: Expanding variable "pc2" into 4 locations in automaton "process2".
model.jani:variables[7]: info: Expanding variable "pc3" into 4 locations in automaton "process3".
model.jani:variables[9]: info: Expanding variable "pc4" into 4 locations in automaton "process4".
model.jani:variables[11]: info: Expanding variable "pc5" into 4 locations in automaton "process5".
model.jani:variables[13]: info: Expanding variable "pc6" into 4 locations in automaton "process6".
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 1258240 states.

Peak memory usage: 309 MB
Analysis results for model.jani

+ State space exploration
  State size:         24 bytes
  States:             1258240
  Choices:            5008128
  Branches:           6236736
  Rate:               227736 states/s
  Peak memory:        105.52 MB
  Final size:         133.37 MB
  Size on disk:       19.72 MB
  Time (exploration): 5.5 s
  Time (merging):     0.4 s

+ UMB export
  Time:        2.2 s
  File size:   20.69 MB
  Compression: GZip (Optimal)


############################## Output files ##############################
model.umb.gz:	Size of output file is 21694370 bytes
umbgz.properties.txt:	Size of output file is 27 bytes
Log file: modest_from-jani_to-umb-gz_default_consensus.6-2_rep4.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.gz %outdir/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 8.459 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957608/tmp1veeloxpmodest_from-jani_to-umb-gz_default_consensus.6-2_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957608/tmptuedov94modest_from-jani_to-umb-gz_default_consensus.6-2_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4957608/tmptuedov94modest_from-jani_to-umb-gz_default_consensus.6-2_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is an MDP model.
model.jani:variables[3]: info: Expanding variable "pc1" into 4 locations in automaton "process1".
model.jani:variables[5]: info: Expanding variable "pc2" into 4 locations in automaton "process2".
model.jani:variables[7]: info: Expanding variable "pc3" into 4 locations in automaton "process3".
model.jani:variables[9]: info: Expanding variable "pc4" into 4 locations in automaton "process4".
model.jani:variables[11]: info: Expanding variable "pc5" into 4 locations in automaton "process5".
model.jani:variables[13]: info: Expanding variable "pc6" into 4 locations in automaton "process6".
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 1258240 states.

Peak memory usage: 307 MB
Analysis results for model.jani

+ State space exploration
  State size:         24 bytes
  States:             1258240
  Choices:            5008128
  Branches:           6236736
  Rate:               225855 states/s
  Peak memory:        107.66 MB
  Final size:         133.37 MB
  Size on disk:       19.72 MB
  Time (exploration): 5.6 s
  Time (merging):     0.4 s

+ UMB export
  Time:        2.2 s
  File size:   20.69 MB
  Compression: GZip (Optimal)


############################## Output files ##############################
model.umb.gz:	Size of output file is 21694294 bytes
umbgz.properties.txt:	Size of output file is 27 bytes
Log file: modest_from-jani_to-umb-gz_default_consensus.6-2_rep5.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.gz %outdir/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 9.549 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955571/tmpuxgd6v2fmodest_from-jani_to-umb-gz_default_consensus.6-2_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4955571/tmpg9j38imsmodest_from-jani_to-umb-gz_default_consensus.6-2_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4955571/tmpg9j38imsmodest_from-jani_to-umb-gz_default_consensus.6-2_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive




model.jani:model: info: model is an MDP model.
model.jani:variables[3]: info: Expanding variable "pc1" into 4 locations in automaton "process1".
model.jani:variables[5]: info: Expanding variable "pc2" into 4 locations in automaton "process2".
model.jani:variables[7]: info: Expanding variable "pc3" into 4 locations in automaton "process3".
model.jani:variables[9]: info: Expanding variable "pc4" into 4 locations in automaton "process4".
model.jani:variables[11]: info: Expanding variable "pc5" into 4 locations in automaton "process5".
model.jani:variables[13]: info: Expanding variable "pc6" into 4 locations in automaton "process6".
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 1258240 states.

Peak memory usage: 307 MB
Analysis results for model.jani

+ State space exploration
  State size:         24 bytes
  States:             1258240
  Choices:            5008128
  Branches:           6236736
  Rate:               200676 states/s
  Peak memory:        105.30 MB
  Final size:         133.37 MB
  Size on disk:       19.72 MB
  Time (exploration): 6.3 s
  Time (merging):     0.5 s

+ UMB export
  Time:        2.5 s
  File size:   20.69 MB
  Compression: GZip (Optimal)


############################## Output files ##############################
model.umb.gz:	Size of output file is 21694281 bytes
umbgz.properties.txt:	Size of output file is 27 bytes