Log files for model fms.8 and tool configuration modest_from-jani_to-umb-gz_default
[122142775.0, 122142783.0, 122142775.0, 122142787.0, 122142840.0]
Log file: modest_from-jani_to-umb-gz_default_fms.8_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: 53.876 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955129/tmp4zc5q519modest_from-jani_to-umb-gz_default_fms.8_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4955129/tmpxqa3pm93modest_from-jani_to-umb-gz_default_fms.8_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4955129/tmpxqa3pm93modest_from-jani_to-umb-gz_default_fms.8_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is a CTMC model.
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 4459455 states.
Peak memory usage: 1325 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 4459455
Choices: 4459455
Branches: 38533968
Rate: 107361 states/s
Peak memory: 267.50 MB
Final size: 916.00 MB
Size on disk: 183.97 MB
Time (exploration): 41.5 s
Time (merging): 2.7 s
+ UMB export
Time: 9.0 s
File size: 116.48 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 122142745 bytes
umbgz.properties.txt: Size of output file is 30 bytes
Log file: modest_from-jani_to-umb-gz_default_fms.8_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: 59.302 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957845/tmp0ucgwpv0modest_from-jani_to-umb-gz_default_fms.8_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957845/tmpk2ebnnfnmodest_from-jani_to-umb-gz_default_fms.8_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4957845/tmpk2ebnnfnmodest_from-jani_to-umb-gz_default_fms.8_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is a CTMC model.
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 4459455 states.
Peak memory usage: 1330 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 4459455
Choices: 4459455
Branches: 38533968
Rate: 97587 states/s
Peak memory: 280.75 MB
Final size: 916.00 MB
Size on disk: 183.97 MB
Time (exploration): 45.7 s
Time (merging): 2.8 s
+ UMB export
Time: 10.2 s
File size: 116.48 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 122142753 bytes
umbgz.properties.txt: Size of output file is 30 bytes
Log file: modest_from-jani_to-umb-gz_default_fms.8_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: 61.392 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4958322/tmpxk2a2o45modest_from-jani_to-umb-gz_default_fms.8_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4958322/tmpbemk7n4tmodest_from-jani_to-umb-gz_default_fms.8_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4958322/tmpbemk7n4tmodest_from-jani_to-umb-gz_default_fms.8_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is a CTMC model.
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 4459455 states.
Peak memory usage: 1328 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 4459455
Choices: 4459455
Branches: 38533968
Rate: 93519 states/s
Peak memory: 268.42 MB
Final size: 916.00 MB
Size on disk: 183.97 MB
Time (exploration): 47.7 s
Time (merging): 2.9 s
+ UMB export
Time: 10.5 s
File size: 116.48 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 122142745 bytes
umbgz.properties.txt: Size of output file is 30 bytes
Log file: modest_from-jani_to-umb-gz_default_fms.8_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: 60.540 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956934/tmpqwdp54ckmodest_from-jani_to-umb-gz_default_fms.8_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4956934/tmpf0gd7_btmodest_from-jani_to-umb-gz_default_fms.8_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4956934/tmpf0gd7_btmodest_from-jani_to-umb-gz_default_fms.8_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is a CTMC model.
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 4459455 states.
Peak memory usage: 1328 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 4459455
Choices: 4459455
Branches: 38533968
Rate: 95196 states/s
Peak memory: 281.28 MB
Final size: 916.00 MB
Size on disk: 183.97 MB
Time (exploration): 46.9 s
Time (merging): 2.9 s
+ UMB export
Time: 10.2 s
File size: 116.48 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 122142757 bytes
umbgz.properties.txt: Size of output file is 30 bytes
Log file: modest_from-jani_to-umb-gz_default_fms.8_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: 52.649 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955393/tmpl584j_ffmodest_from-jani_to-umb-gz_default_fms.8_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4955393/tmpannx9q04modest_from-jani_to-umb-gz_default_fms.8_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4955393/tmpannx9q04modest_from-jani_to-umb-gz_default_fms.8_tmp_outdir_/umbgz.properties.txt --umb-compress GZIP --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is a CTMC model.
model.jani: info: Need 24 bytes per state.
model.jani: info: Explored 4459455 states.
Peak memory usage: 1329 MB
Analysis results for model.jani
+ State space exploration
State size: 24 bytes
States: 4459455
Choices: 4459455
Branches: 38533968
Rate: 109038 states/s
Peak memory: 269.84 MB
Final size: 916.00 MB
Size on disk: 183.97 MB
Time (exploration): 40.9 s
Time (merging): 2.5 s
+ UMB export
Time: 9.0 s
File size: 116.48 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 122142810 bytes
umbgz.properties.txt: Size of output file is 30 bytes