Log files for model oscillators.8-10-0.1-1-0.1-1.0 and tool configuration modest_from-jani_to-umb_default
[ERR, ERR, ERR, ERR, ERR]
Log file: modest_from-jani_to-umb_default_oscillators.8-10-0.1-1-0.1-1.0_rep1.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb %outdir/umb.properties.txt --stop-after Exploration -D -Y --exhaustive
Wallclock time: 40.743 seconds
Return code: -6
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4956577/tmpl37qagotmodest_from-jani_to-umb_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4956577/tmpq9kfi_78modest_from-jani_to-umb_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.umb /w0/tmp/slurm_tq429871.4956577/tmpq9kfi_78modest_from-jani_to-umb_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/umb.properties.txt --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is a DTMC model.
##############################Output to stderr##############################
Unhandled exception. System.Runtime.InteropServices.COMException (0x80131198): No logical space left to create more user strings. (0x80131198)
at System.Reflection.Emit.RuntimeModuleBuilder.g____PInvoke|26_0(QCallModule __module_native, UInt16* __str_native, Int32 __length_native)
at System.Reflection.Emit.RuntimeModuleBuilder.g____PInvoke|26_0(QCallModule __module_native, UInt16* __str_native, Int32 __length_native)
at System.Reflection.Emit.RuntimeModuleBuilder.GetStringMetadataToken(String stringConstant)
at System.Reflection.Emit.RuntimeILGenerator.Emit(OpCode opcode, String str)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_3.b__4(Int32 assignmentIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_2.b__3(Int32 targetIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_1.b__2(Int32 edgeIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_0.b__1(Int32 locationIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.CreateJump(TypeBuilder tb)
at Modest.Exploration.Compiled.CompiledAutomaton.Compile(Dictionary`2 edgeLabelMapping)
at Modest.Exploration.Compiled.NetworkCompiler.CompileNetwork(NetworkCompilationState compilationState, Expression[] expressions, Expression[] timeConstraints)
at Modest.Exploration.NetworkCompilerHelper.Compile(AutomataNetwork automataNetwork, ExplorationConfiguration config, Expression[] expressions, Expression[] timeConstraints, Dictionary`2 clockBounds, HashSet`1 extraSymbolicVariables, StateProjection[] projections, OperationState operationState, String extraStatusString)
at Modest.ModelChecking.ModelCheckingAnalysisEngine.ModelCheck(IModel model, CompilationParameters compilationParams, Object parametersObj, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.ModelCheckingAnalysisEngine.Analyze(AnalysisParams analysisParameters, IModel[] models, Int32 index, Boolean isLast, Boolean useDtmcSemantics, Boolean isContinuousTimeMarkovModel, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.AnalysisEngine`1.Analyze(AP analysisParameters, IModel model, Int32 index, Boolean isLast, IExperiment[] modelParameters, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.AnalysisEngine`1.Analyze(IParameterObject analysisParameters, IModel[] models, IExperiment[][] experiments, OperationState operationState, IErrorHandler errors)
at Modest.Executable.ModelChecker.Run(IParameterObject parameterObj, Stopwatch time, IOutputHandler outputHandler, CancellationToken cancellationToken)
at Modest.Executable.Program.Main(String[] args)
############################## Output files ##############################
model.umb: File does not exist.
umb.properties.txt: File does not exist.
Log file: modest_from-jani_to-umb_default_oscillators.8-10-0.1-1-0.1-1.0_rep2.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb %outdir/umb.properties.txt --stop-after Exploration -D -Y --exhaustive
Wallclock time: 43.162 seconds
Return code: -6
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957017/tmpynwz09lumodest_from-jani_to-umb_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957017/tmp3_ubtfl2modest_from-jani_to-umb_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.umb /w0/tmp/slurm_tq429871.4957017/tmp3_ubtfl2modest_from-jani_to-umb_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/umb.properties.txt --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is a DTMC model.
##############################Output to stderr##############################
Unhandled exception. System.Runtime.InteropServices.COMException (0x80131198): No logical space left to create more user strings. (0x80131198)
at System.Reflection.Emit.RuntimeModuleBuilder.g____PInvoke|26_0(QCallModule __module_native, UInt16* __str_native, Int32 __length_native)
at System.Reflection.Emit.RuntimeModuleBuilder.g____PInvoke|26_0(QCallModule __module_native, UInt16* __str_native, Int32 __length_native)
at System.Reflection.Emit.RuntimeModuleBuilder.GetStringMetadataToken(String stringConstant)
at System.Reflection.Emit.RuntimeILGenerator.Emit(OpCode opcode, String str)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_3.b__4(Int32 assignmentIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_2.b__3(Int32 targetIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_1.b__2(Int32 edgeIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_0.b__1(Int32 locationIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.CreateJump(TypeBuilder tb)
at Modest.Exploration.Compiled.CompiledAutomaton.Compile(Dictionary`2 edgeLabelMapping)
at Modest.Exploration.Compiled.NetworkCompiler.CompileNetwork(NetworkCompilationState compilationState, Expression[] expressions, Expression[] timeConstraints)
at Modest.Exploration.NetworkCompilerHelper.Compile(AutomataNetwork automataNetwork, ExplorationConfiguration config, Expression[] expressions, Expression[] timeConstraints, Dictionary`2 clockBounds, HashSet`1 extraSymbolicVariables, StateProjection[] projections, OperationState operationState, String extraStatusString)
at Modest.ModelChecking.ModelCheckingAnalysisEngine.ModelCheck(IModel model, CompilationParameters compilationParams, Object parametersObj, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.ModelCheckingAnalysisEngine.Analyze(AnalysisParams analysisParameters, IModel[] models, Int32 index, Boolean isLast, Boolean useDtmcSemantics, Boolean isContinuousTimeMarkovModel, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.AnalysisEngine`1.Analyze(AP analysisParameters, IModel model, Int32 index, Boolean isLast, IExperiment[] modelParameters, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.AnalysisEngine`1.Analyze(IParameterObject analysisParameters, IModel[] models, IExperiment[][] experiments, OperationState operationState, IErrorHandler errors)
at Modest.Executable.ModelChecker.Run(IParameterObject parameterObj, Stopwatch time, IOutputHandler outputHandler, CancellationToken cancellationToken)
at Modest.Executable.Program.Main(String[] args)
############################## Output files ##############################
model.umb: File does not exist.
umb.properties.txt: File does not exist.
Log file: modest_from-jani_to-umb_default_oscillators.8-10-0.1-1-0.1-1.0_rep3.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb %outdir/umb.properties.txt --stop-after Exploration -D -Y --exhaustive
Wallclock time: 44.236 seconds
Return code: -6
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957901/tmplnlea_t0modest_from-jani_to-umb_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957901/tmpzychx00dmodest_from-jani_to-umb_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.umb /w0/tmp/slurm_tq429871.4957901/tmpzychx00dmodest_from-jani_to-umb_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/umb.properties.txt --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is a DTMC model.
##############################Output to stderr##############################
Unhandled exception. System.Runtime.InteropServices.COMException (0x80131198): No logical space left to create more user strings. (0x80131198)
at System.Reflection.Emit.RuntimeModuleBuilder.g____PInvoke|26_0(QCallModule __module_native, UInt16* __str_native, Int32 __length_native)
at System.Reflection.Emit.RuntimeModuleBuilder.g____PInvoke|26_0(QCallModule __module_native, UInt16* __str_native, Int32 __length_native)
at System.Reflection.Emit.RuntimeModuleBuilder.GetStringMetadataToken(String stringConstant)
at System.Reflection.Emit.RuntimeILGenerator.Emit(OpCode opcode, String str)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_3.b__4(Int32 assignmentIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_2.b__3(Int32 targetIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_1.b__2(Int32 edgeIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_0.b__1(Int32 locationIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.CreateJump(TypeBuilder tb)
at Modest.Exploration.Compiled.CompiledAutomaton.Compile(Dictionary`2 edgeLabelMapping)
at Modest.Exploration.Compiled.NetworkCompiler.CompileNetwork(NetworkCompilationState compilationState, Expression[] expressions, Expression[] timeConstraints)
at Modest.Exploration.NetworkCompilerHelper.Compile(AutomataNetwork automataNetwork, ExplorationConfiguration config, Expression[] expressions, Expression[] timeConstraints, Dictionary`2 clockBounds, HashSet`1 extraSymbolicVariables, StateProjection[] projections, OperationState operationState, String extraStatusString)
at Modest.ModelChecking.ModelCheckingAnalysisEngine.ModelCheck(IModel model, CompilationParameters compilationParams, Object parametersObj, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.ModelCheckingAnalysisEngine.Analyze(AnalysisParams analysisParameters, IModel[] models, Int32 index, Boolean isLast, Boolean useDtmcSemantics, Boolean isContinuousTimeMarkovModel, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.AnalysisEngine`1.Analyze(AP analysisParameters, IModel model, Int32 index, Boolean isLast, IExperiment[] modelParameters, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.AnalysisEngine`1.Analyze(IParameterObject analysisParameters, IModel[] models, IExperiment[][] experiments, OperationState operationState, IErrorHandler errors)
at Modest.Executable.ModelChecker.Run(IParameterObject parameterObj, Stopwatch time, IOutputHandler outputHandler, CancellationToken cancellationToken)
at Modest.Executable.Program.Main(String[] args)
############################## Output files ##############################
model.umb: File does not exist.
umb.properties.txt: File does not exist.
Log file: modest_from-jani_to-umb_default_oscillators.8-10-0.1-1-0.1-1.0_rep4.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb %outdir/umb.properties.txt --stop-after Exploration -D -Y --exhaustive
Wallclock time: 40.782 seconds
Return code: -6
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957391/tmpgjhja1mymodest_from-jani_to-umb_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957391/tmpdeizsaitmodest_from-jani_to-umb_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.umb /w0/tmp/slurm_tq429871.4957391/tmpdeizsaitmodest_from-jani_to-umb_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/umb.properties.txt --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is a DTMC model.
##############################Output to stderr##############################
Unhandled exception. System.Runtime.InteropServices.COMException (0x80131198): No logical space left to create more user strings. (0x80131198)
at System.Reflection.Emit.RuntimeModuleBuilder.g____PInvoke|26_0(QCallModule __module_native, UInt16* __str_native, Int32 __length_native)
at System.Reflection.Emit.RuntimeModuleBuilder.g____PInvoke|26_0(QCallModule __module_native, UInt16* __str_native, Int32 __length_native)
at System.Reflection.Emit.RuntimeModuleBuilder.GetStringMetadataToken(String stringConstant)
at System.Reflection.Emit.RuntimeILGenerator.Emit(OpCode opcode, String str)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_3.b__4(Int32 assignmentIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_2.b__3(Int32 targetIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_1.b__2(Int32 edgeIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_0.b__1(Int32 locationIndex)
at Modest.Exploration.Compiled.CompiledAutomaton.CreateJump(TypeBuilder tb)
at Modest.Exploration.Compiled.CompiledAutomaton.Compile(Dictionary`2 edgeLabelMapping)
at Modest.Exploration.Compiled.NetworkCompiler.CompileNetwork(NetworkCompilationState compilationState, Expression[] expressions, Expression[] timeConstraints)
at Modest.Exploration.NetworkCompilerHelper.Compile(AutomataNetwork automataNetwork, ExplorationConfiguration config, Expression[] expressions, Expression[] timeConstraints, Dictionary`2 clockBounds, HashSet`1 extraSymbolicVariables, StateProjection[] projections, OperationState operationState, String extraStatusString)
at Modest.ModelChecking.ModelCheckingAnalysisEngine.ModelCheck(IModel model, CompilationParameters compilationParams, Object parametersObj, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.ModelCheckingAnalysisEngine.Analyze(AnalysisParams analysisParameters, IModel[] models, Int32 index, Boolean isLast, Boolean useDtmcSemantics, Boolean isContinuousTimeMarkovModel, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.AnalysisEngine`1.Analyze(AP analysisParameters, IModel model, Int32 index, Boolean isLast, IExperiment[] modelParameters, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.AnalysisEngine`1.Analyze(IParameterObject analysisParameters, IModel[] models, IExperiment[][] experiments, OperationState operationState, IErrorHandler errors)
at Modest.Executable.ModelChecker.Run(IParameterObject parameterObj, Stopwatch time, IOutputHandler outputHandler, CancellationToken cancellationToken)
at Modest.Executable.Program.Main(String[] args)
############################## Output files ##############################
model.umb: File does not exist.
umb.properties.txt: File does not exist.
Log file: modest_from-jani_to-umb_default_oscillators.8-10-0.1-1-0.1-1.0_rep5.log
Command(s):
../bin/modest mcsta %indir/model.jani --umb %outdir/model.umb %outdir/umb.properties.txt --stop-after Exploration -D -Y --exhaustive
Wallclock time: 45.337 seconds
Return code: -6
##############################
The Modest Toolset (www.modestchecker.net), version v3.1.311-g14c460466+14c4604667cea0a04631c853eb09e474e24dc368.
Command: modest mcsta /w0/tmp/slurm_tq429871.4957069/tmpfmfiedp9modest_from-jani_to-umb_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.jani --umb /w0/tmp/slurm_tq429871.4957069/tmpy5p1zy1xmodest_from-jani_to-umb_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.umb /w0/tmp/slurm_tq429871.4957069/tmpy5p1zy1xmodest_from-jani_to-umb_default_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/umb.properties.txt --stop-after Exploration -D -Y --exhaustive
model.jani:model: info: model is a DTMC model.
##############################Output to stderr##############################
Unhandled exception. System.Runtime.InteropServices.COMException (0x80131198): No logical space left to create more user strings. (0x80131198)
at System.Reflection.Emit.RuntimeModuleBuilder.g____PInvoke|26_0(QCallModule __module_native, UInt16* __str_native, Int32 __length_native)
at System.Reflection.Emit.RuntimeModuleBuilder.g____PInvoke|26_0(QCallModule __module_native, UInt16* __str_native, Int32 __length_native)
at System.Reflection.Emit.RuntimeModuleBuilder.GetStringMetadataToken(String stringConstant)
at System.Reflection.Emit.RuntimeILGenerator.Emit(OpCode opcode, String str)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_3.b__4(Int32 assignmentIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_2.b__3(Int32 targetIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_1.b__2(Int32 edgeIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.<>c__DisplayClass24_0.b__1(Int32 locationIndex)
at Modest.Exploration.Compiled.CompilerHelper.CreateJumpTable(ILGenerator ilgen, Int32 labelCount, Action`1 generateCase, String description)
at Modest.Exploration.Compiled.CompiledAutomaton.CreateJump(TypeBuilder tb)
at Modest.Exploration.Compiled.CompiledAutomaton.Compile(Dictionary`2 edgeLabelMapping)
at Modest.Exploration.Compiled.NetworkCompiler.CompileNetwork(NetworkCompilationState compilationState, Expression[] expressions, Expression[] timeConstraints)
at Modest.Exploration.NetworkCompilerHelper.Compile(AutomataNetwork automataNetwork, ExplorationConfiguration config, Expression[] expressions, Expression[] timeConstraints, Dictionary`2 clockBounds, HashSet`1 extraSymbolicVariables, StateProjection[] projections, OperationState operationState, String extraStatusString)
at Modest.ModelChecking.ModelCheckingAnalysisEngine.ModelCheck(IModel model, CompilationParameters compilationParams, Object parametersObj, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.ModelCheckingAnalysisEngine.Analyze(AnalysisParams analysisParameters, IModel[] models, Int32 index, Boolean isLast, Boolean useDtmcSemantics, Boolean isContinuousTimeMarkovModel, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.AnalysisEngine`1.Analyze(AP analysisParameters, IModel model, Int32 index, Boolean isLast, IExperiment[] modelParameters, OperationState operationState, IErrorHandler errors)
at Modest.ModelChecking.AnalysisEngine`1.Analyze(IParameterObject analysisParameters, IModel[] models, IExperiment[][] experiments, OperationState operationState, IErrorHandler errors)
at Modest.Executable.ModelChecker.Run(IParameterObject parameterObj, Stopwatch time, IOutputHandler outputHandler, CancellationToken cancellationToken)
at Modest.Executable.Program.Main(String[] args)
############################## Output files ##############################
model.umb: File does not exist.
umb.properties.txt: File does not exist.