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

Parsed values
[9020871.0, 9010479.0, 8914003.0, 9064807.0, 9051519.0]
Log file: modest_from-jani_to-umb-xz_default_consensus.6-2_rep1.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.xz %outdir/umbxz.properties.txt --umb-compress XZ --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 44.335 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957992/tmplogymcxjmodest_from-jani_to-umb-xz_default_consensus.6-2_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957992/tmplm59n7qlmodest_from-jani_to-umb-xz_default_consensus.6-2_tmp_outdir_/model.umb.xz /w0/tmp/slurm_tq429871.4957992/tmplm59n7qlmodest_from-jani_to-umb-xz_default_consensus.6-2_tmp_outdir_/umbxz.properties.txt --umb-compress XZ --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: 401 MB
Analysis results for model.jani

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

+ UMB export
  Time:        37.5 s
  File size:   8.60 MB
  Compression: XZ (Optimal)


############################## Output files ##############################
model.umb.xz:	Size of output file is 9020844 bytes
umbxz.properties.txt:	Size of output file is 27 bytes
Log file: modest_from-jani_to-umb-xz_default_consensus.6-2_rep2.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.xz %outdir/umbxz.properties.txt --umb-compress XZ --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 40.376 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956108/tmpl1fu0d1jmodest_from-jani_to-umb-xz_default_consensus.6-2_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4956108/tmp6je2nb5cmodest_from-jani_to-umb-xz_default_consensus.6-2_tmp_outdir_/model.umb.xz /w0/tmp/slurm_tq429871.4956108/tmp6je2nb5cmodest_from-jani_to-umb-xz_default_consensus.6-2_tmp_outdir_/umbxz.properties.txt --umb-compress XZ --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: 401 MB
Analysis results for model.jani

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

+ UMB export
  Time:        33.6 s
  File size:   8.59 MB
  Compression: XZ (Optimal)


############################## Output files ##############################
model.umb.xz:	Size of output file is 9010452 bytes
umbxz.properties.txt:	Size of output file is 27 bytes
Log file: modest_from-jani_to-umb-xz_default_consensus.6-2_rep3.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.xz %outdir/umbxz.properties.txt --umb-compress XZ --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 40.384 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955989/tmp3yf_3zffmodest_from-jani_to-umb-xz_default_consensus.6-2_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4955989/tmps01lizi_modest_from-jani_to-umb-xz_default_consensus.6-2_tmp_outdir_/model.umb.xz /w0/tmp/slurm_tq429871.4955989/tmps01lizi_modest_from-jani_to-umb-xz_default_consensus.6-2_tmp_outdir_/umbxz.properties.txt --umb-compress XZ --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: 402 MB
Analysis results for model.jani

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

+ UMB export
  Time:        33.7 s
  File size:   8.50 MB
  Compression: XZ (Optimal)


############################## Output files ##############################
model.umb.xz:	Size of output file is 8913976 bytes
umbxz.properties.txt:	Size of output file is 27 bytes
Log file: modest_from-jani_to-umb-xz_default_consensus.6-2_rep4.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.xz %outdir/umbxz.properties.txt --umb-compress XZ --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 43.983 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957478/tmplmhc4_gpmodest_from-jani_to-umb-xz_default_consensus.6-2_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957478/tmphrbi446jmodest_from-jani_to-umb-xz_default_consensus.6-2_tmp_outdir_/model.umb.xz /w0/tmp/slurm_tq429871.4957478/tmphrbi446jmodest_from-jani_to-umb-xz_default_consensus.6-2_tmp_outdir_/umbxz.properties.txt --umb-compress XZ --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: 402 MB
Analysis results for model.jani

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

+ UMB export
  Time:        37.1 s
  File size:   8.64 MB
  Compression: XZ (Optimal)


############################## Output files ##############################
model.umb.xz:	Size of output file is 9064780 bytes
umbxz.properties.txt:	Size of output file is 27 bytes
Log file: modest_from-jani_to-umb-xz_default_consensus.6-2_rep5.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb.xz %outdir/umbxz.properties.txt --umb-compress XZ --stop-after Exploration  -D -Y --exhaustive
Wallclock time: 44.517 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955086/tmp_n22dq3bmodest_from-jani_to-umb-xz_default_consensus.6-2_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4955086/tmpqg12f0rgmodest_from-jani_to-umb-xz_default_consensus.6-2_tmp_outdir_/model.umb.xz /w0/tmp/slurm_tq429871.4955086/tmpqg12f0rgmodest_from-jani_to-umb-xz_default_consensus.6-2_tmp_outdir_/umbxz.properties.txt --umb-compress XZ --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: 402 MB
Analysis results for model.jani

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

+ UMB export
  Time:        37.7 s
  File size:   8.63 MB
  Compression: XZ (Optimal)


############################## Output files ##############################
model.umb.xz:	Size of output file is 9051492 bytes
umbxz.properties.txt:	Size of output file is 27 bytes