Log files for model resource-gathering.1300-100-100 and tool configuration modest_from-jani_to-imca_default
[70029999.0, 70029999.0, 70029999.0, 70029999.0, 70029999.0]
Log file: modest_from-jani_to-imca_default_resource-gathering.1300-100-100_rep1.log
Command(s):
../bin/modest mcsta %indir/model.jani --statespace %outdir/model.mrm IMCA --stop-after Exploration -D -Y --exhaustive
Wallclock time: 4.145 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955146/tmpd24tqa__modest_from-jani_to-imca_default_resource-gathering.1300-100-100_tmp_indir_/model.jani --statespace /w0/tmp/slurm_tq429871.4955146/tmpto439yy1modest_from-jani_to-imca_default_resource-gathering.1300-100-100_tmp_outdir_/model.mrm IMCA --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.
model.jani: info: Exported state space to file "/w0/tmp/slurm_tq429871.4955146/tmpto439yy1modest_from-jani_to-imca_default_resource-gathering.1300-100-100_tmp_outdir_/model.mrm".
Peak memory usage: 221 MB
Analysis results for model.jani
+ State space exploration
State size: 16 bytes
States: 948693
Choices: 3050099
Branches: 3294923
Rate: 315180 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
+ Export to IMCA
Time: 0.6 s
File size: 66.79 MB
############################## Output files ##############################
model.mrm: Size of output file is 70029999 bytes
Log file: modest_from-jani_to-imca_default_resource-gathering.1300-100-100_rep2.log
Command(s):
../bin/modest mcsta %indir/model.jani --statespace %outdir/model.mrm IMCA --stop-after Exploration -D -Y --exhaustive
Wallclock time: 4.248 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956917/tmpk_zajw30modest_from-jani_to-imca_default_resource-gathering.1300-100-100_tmp_indir_/model.jani --statespace /w0/tmp/slurm_tq429871.4956917/tmpykr1_nejmodest_from-jani_to-imca_default_resource-gathering.1300-100-100_tmp_outdir_/model.mrm IMCA --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.
model.jani: info: Exported state space to file "/w0/tmp/slurm_tq429871.4956917/tmpykr1_nejmodest_from-jani_to-imca_default_resource-gathering.1300-100-100_tmp_outdir_/model.mrm".
Peak memory usage: 221 MB
Analysis results for model.jani
+ State space exploration
State size: 16 bytes
States: 948693
Choices: 3050099
Branches: 3294923
Rate: 300124 states/s
Peak memory: 66.66 MB
Final size: 73.55 MB
Size on disk: 8.67 MB
Time (exploration): 3.2 s
Time (merging): 0.3 s
+ Export to IMCA
Time: 0.6 s
File size: 66.79 MB
############################## Output files ##############################
model.mrm: Size of output file is 70029999 bytes
Log file: modest_from-jani_to-imca_default_resource-gathering.1300-100-100_rep3.log
Command(s):
../bin/modest mcsta %indir/model.jani --statespace %outdir/model.mrm IMCA --stop-after Exploration -D -Y --exhaustive
Wallclock time: 4.014 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955224/tmpk81bml84modest_from-jani_to-imca_default_resource-gathering.1300-100-100_tmp_indir_/model.jani --statespace /w0/tmp/slurm_tq429871.4955224/tmp9bn0xlnpmodest_from-jani_to-imca_default_resource-gathering.1300-100-100_tmp_outdir_/model.mrm IMCA --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.
model.jani: info: Exported state space to file "/w0/tmp/slurm_tq429871.4955224/tmp9bn0xlnpmodest_from-jani_to-imca_default_resource-gathering.1300-100-100_tmp_outdir_/model.mrm".
Peak memory usage: 221 MB
Analysis results for model.jani
+ State space exploration
State size: 16 bytes
States: 948693
Choices: 3050099
Branches: 3294923
Rate: 321591 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
+ Export to IMCA
Time: 0.6 s
File size: 66.79 MB
############################## Output files ##############################
model.mrm: Size of output file is 70029999 bytes
Log file: modest_from-jani_to-imca_default_resource-gathering.1300-100-100_rep4.log
Command(s):
../bin/modest mcsta %indir/model.jani --statespace %outdir/model.mrm IMCA --stop-after Exploration -D -Y --exhaustive
Wallclock time: 4.249 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4955463/tmpaiw5gp_3modest_from-jani_to-imca_default_resource-gathering.1300-100-100_tmp_indir_/model.jani --statespace /w0/tmp/slurm_tq429871.4955463/tmpfrt1228qmodest_from-jani_to-imca_default_resource-gathering.1300-100-100_tmp_outdir_/model.mrm IMCA --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.
model.jani: info: Exported state space to file "/w0/tmp/slurm_tq429871.4955463/tmpfrt1228qmodest_from-jani_to-imca_default_resource-gathering.1300-100-100_tmp_outdir_/model.mrm".
Peak memory usage: 222 MB
Analysis results for model.jani
+ State space exploration
State size: 16 bytes
States: 948693
Choices: 3050099
Branches: 3294923
Rate: 317820 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
+ Export to IMCA
Time: 0.6 s
File size: 66.79 MB
############################## Output files ##############################
model.mrm: Size of output file is 70029999 bytes
Log file: modest_from-jani_to-imca_default_resource-gathering.1300-100-100_rep5.log
Command(s):
../bin/modest mcsta %indir/model.jani --statespace %outdir/model.mrm IMCA --stop-after Exploration -D -Y --exhaustive
Wallclock time: 4.132 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957876/tmpw673yy99modest_from-jani_to-imca_default_resource-gathering.1300-100-100_tmp_indir_/model.jani --statespace /w0/tmp/slurm_tq429871.4957876/tmpjz_krfavmodest_from-jani_to-imca_default_resource-gathering.1300-100-100_tmp_outdir_/model.mrm IMCA --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.
model.jani: info: Exported state space to file "/w0/tmp/slurm_tq429871.4957876/tmpjz_krfavmodest_from-jani_to-imca_default_resource-gathering.1300-100-100_tmp_outdir_/model.mrm".
Peak memory usage: 221 MB
Analysis results for model.jani
+ State space exploration
State size: 16 bytes
States: 948693
Choices: 3050099
Branches: 3294923
Rate: 310538 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
+ Export to IMCA
Time: 0.6 s
File size: 66.79 MB
############################## Output files ##############################
model.mrm: Size of output file is 70029999 bytes