Log files for model resource-gathering.1300-100-100 and tool configuration modest_from-jani_to-umb-gz_default
[11424672.0, 11424542.0, 11424666.0, 11424674.0, 11424529.0]
Log file: modest_from-jani_to-umb-gz_default_resource-gathering.1300-100-100_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: 4.920 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955654/tmp57bcuqccmodest_from-jani_to-umb-gz_default_resource-gathering.1300-100-100_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4955654/tmpnaz4hztimodest_from-jani_to-umb-gz_default_resource-gathering.1300-100-100_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4955654/tmpnaz4hztimodest_from-jani_to-umb-gz_default_resource-gathering.1300-100-100_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: info: Need 16 bytes per state.
model.jani: info: Explored 948693 states.
Peak memory usage: 223 MB
Analysis results for model.jani
+ State space exploration
State size: 16 bytes
States: 948693
Choices: 3050099
Branches: 3294923
Rate: 321918 states/s
Peak memory: 66.66 MB
Final size: 73.55 MB
Size on disk: 8.67 MB
Time (exploration): 3.0 s
Time (merging): 0.3 s
+ UMB export
Time: 1.4 s
File size: 10.90 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 11424633 bytes
umbgz.properties.txt: Size of output file is 39 bytes
Log file: modest_from-jani_to-umb-gz_default_resource-gathering.1300-100-100_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: 4.637 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957559/tmpux92v1f7modest_from-jani_to-umb-gz_default_resource-gathering.1300-100-100_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957559/tmp70kpxe1gmodest_from-jani_to-umb-gz_default_resource-gathering.1300-100-100_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4957559/tmp70kpxe1gmodest_from-jani_to-umb-gz_default_resource-gathering.1300-100-100_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: info: Need 16 bytes per state.
model.jani: info: Explored 948693 states.
Peak memory usage: 222 MB
Analysis results for model.jani
+ State space exploration
State size: 16 bytes
States: 948693
Choices: 3050099
Branches: 3294923
Rate: 332875 states/s
Peak memory: 66.66 MB
Final size: 73.55 MB
Size on disk: 8.67 MB
Time (exploration): 2.9 s
Time (merging): 0.3 s
+ UMB export
Time: 1.3 s
File size: 10.90 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 11424503 bytes
umbgz.properties.txt: Size of output file is 39 bytes
Log file: modest_from-jani_to-umb-gz_default_resource-gathering.1300-100-100_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: 4.938 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4958086/tmp5ycs6xurmodest_from-jani_to-umb-gz_default_resource-gathering.1300-100-100_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4958086/tmpamlzggn7modest_from-jani_to-umb-gz_default_resource-gathering.1300-100-100_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4958086/tmpamlzggn7modest_from-jani_to-umb-gz_default_resource-gathering.1300-100-100_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: info: Need 16 bytes per state.
model.jani: info: Explored 948693 states.
Peak memory usage: 222 MB
Analysis results for model.jani
+ State space exploration
State size: 16 bytes
States: 948693
Choices: 3050099
Branches: 3294923
Rate: 316653 states/s
Peak memory: 66.66 MB
Final size: 73.55 MB
Size on disk: 8.67 MB
Time (exploration): 3.0 s
Time (merging): 0.3 s
+ UMB export
Time: 1.4 s
File size: 10.90 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 11424627 bytes
umbgz.properties.txt: Size of output file is 39 bytes
Log file: modest_from-jani_to-umb-gz_default_resource-gathering.1300-100-100_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: 4.992 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957266/tmpllq86juumodest_from-jani_to-umb-gz_default_resource-gathering.1300-100-100_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957266/tmp73hqnyd5modest_from-jani_to-umb-gz_default_resource-gathering.1300-100-100_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4957266/tmp73hqnyd5modest_from-jani_to-umb-gz_default_resource-gathering.1300-100-100_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: info: Need 16 bytes per state.
model.jani: info: Explored 948693 states.
Peak memory usage: 222 MB
Analysis results for model.jani
+ State space exploration
State size: 16 bytes
States: 948693
Choices: 3050099
Branches: 3294923
Rate: 310639 states/s
Peak memory: 66.66 MB
Final size: 73.55 MB
Size on disk: 8.67 MB
Time (exploration): 3.1 s
Time (merging): 0.3 s
+ UMB export
Time: 1.4 s
File size: 10.90 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 11424635 bytes
umbgz.properties.txt: Size of output file is 39 bytes
Log file: modest_from-jani_to-umb-gz_default_resource-gathering.1300-100-100_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: 5.244 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957443/tmprm3epatomodest_from-jani_to-umb-gz_default_resource-gathering.1300-100-100_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957443/tmpe5zjvhxcmodest_from-jani_to-umb-gz_default_resource-gathering.1300-100-100_tmp_outdir_/model.umb.gz /w0/tmp/slurm_tq429871.4957443/tmpe5zjvhxcmodest_from-jani_to-umb-gz_default_resource-gathering.1300-100-100_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: info: Need 16 bytes per state.
model.jani: info: Explored 948693 states.
Peak memory usage: 223 MB
Analysis results for model.jani
+ State space exploration
State size: 16 bytes
States: 948693
Choices: 3050099
Branches: 3294923
Rate: 315810 states/s
Peak memory: 66.66 MB
Final size: 73.55 MB
Size on disk: 8.67 MB
Time (exploration): 3.0 s
Time (merging): 0.3 s
+ UMB export
Time: 1.5 s
File size: 10.90 MB
Compression: GZip (Optimal)
############################## Output files ##############################
model.umb.gz: Size of output file is 11424490 bytes
umbgz.properties.txt: Size of output file is 39 bytes