Log files for model cluster.64-2000-20 and tool configuration modest_from-umb_check_default
[1237.683, 1621.796, 2113.349, 1441.857, 1257.385]
Log file: modest_from-umb_check_default_cluster.64-2000-20_rep1.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 1237.683 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973366/tmp88i052_5modest_from-umb_check_default_cluster.64-2000-20_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973366/tmp88i052_5modest_from-umb_check_default_cluster.64-2000-20_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 124 MB
Analysis results for UMB
+ State space (UMB)
States: 151060
Choices: 151060
Branches: 733216
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property qos1
Probability: 0.0010695396728838996
Bounds: [0.0010445396728838941, 0.0010945396728839051]
Time: 1237.4 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
+ Unif+
Time: 1237.4 s
Max. exit rate: 50.252
Iterations: 1
Final unif. rate: 50.252
Log file: modest_from-umb_check_default_cluster.64-2000-20_rep2.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 1621.796 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973567/tmp7ehpb025modest_from-umb_check_default_cluster.64-2000-20_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973567/tmp7ehpb025modest_from-umb_check_default_cluster.64-2000-20_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 127 MB
Analysis results for UMB
+ State space (UMB)
States: 151060
Choices: 151060
Branches: 733216
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property qos1
Probability: 0.0010695396728838996
Bounds: [0.0010445396728838941, 0.0010945396728839051]
Time: 1621.6 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
+ Unif+
Time: 1621.6 s
Max. exit rate: 50.252
Iterations: 1
Final unif. rate: 50.252
Log file: modest_from-umb_check_default_cluster.64-2000-20_rep3.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 2113.349 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973376/tmpdj7jbownmodest_from-umb_check_default_cluster.64-2000-20_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973376/tmpdj7jbownmodest_from-umb_check_default_cluster.64-2000-20_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 127 MB
Analysis results for UMB
+ State space (UMB)
States: 151060
Choices: 151060
Branches: 733216
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property qos1
Probability: 0.0010695396728838996
Bounds: [0.0010445396728838941, 0.0010945396728839051]
Time: 2112.8 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
+ Unif+
Time: 2112.8 s
Max. exit rate: 50.252
Iterations: 1
Final unif. rate: 50.252
Log file: modest_from-umb_check_default_cluster.64-2000-20_rep4.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 1441.857 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973541/tmposqip0jpmodest_from-umb_check_default_cluster.64-2000-20_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973541/tmposqip0jpmodest_from-umb_check_default_cluster.64-2000-20_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 127 MB
Analysis results for UMB
+ State space (UMB)
States: 151060
Choices: 151060
Branches: 733216
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property qos1
Probability: 0.0010695396728838996
Bounds: [0.0010445396728838941, 0.0010945396728839051]
Time: 1441.7 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
+ Unif+
Time: 1441.7 s
Max. exit rate: 50.252
Iterations: 1
Final unif. rate: 50.252
Log file: modest_from-umb_check_default_cluster.64-2000-20_rep5.log
Command(s):
../bin/modest mcsta %indir/modest.model.umb %indir/modest.umb.properties.txt -D -Y --exhaustive
Wallclock time: 1257.385 seconds
Return code: 0
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4973422/tmpmi_ajdcnmodest_from-umb_check_default_cluster.64-2000-20_tmp_indir_/modest.model.umb /w0/tmp/slurm_tq429871.4973422/tmpmi_ajdcnmodest_from-umb_check_default_cluster.64-2000-20_tmp_indir_/modest.umb.properties.txt -D -Y --exhaustive
Peak memory usage: 127 MB
Analysis results for UMB
+ State space (UMB)
States: 151060
Choices: 151060
Branches: 733216
Time (decompress): 0.0 s
Time (validate): 0.0 s
Time (load): 0.0 s
+ Property qos1
Probability: 0.0010695396728838996
Bounds: [0.0010445396728838941, 0.0010945396728839051]
Time: 1257.3 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
+ Unif+
Time: 1257.3 s
Max. exit rate: 50.252
Iterations: 1
Final unif. rate: 50.252