Log files for model eajs.5-250-11 and tool configuration prism_from-umb-gz_import_ex

Parsed values
[0.872, 0.837, 0.861, 0.84, 0.876]
Log file: prism_from-umb-gz_import_ex_eajs.5-250-11_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbgz:format=umb
Wallclock time: 1.823 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:03:51 GMT+02:00 2026
Hostname: n23m0097.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4961291/tmpgpuyppu3prism_from-umb-gz_import_ex_eajs.5-250-11_tmp_indir_/prism.model.umbgz:format=umb'

Importing model from "prism.model.umbgz"...

Type:        MDP
Actions:     [tick]
Variables:   x
Labels:      "emptyBattery"
Rewards:     "utilityLocal"

---------------------------------------------------------------------

Building model (engine:explicit)...

Time for model construction: 0.872 seconds.

Type:        MDP
States:      3049471 (1 initial)
Transitions: 6977654
Choices:     4256193
Max/avg:     10/1.40


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb-gz_import_ex_eajs.5-250-11_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbgz:format=umb
Wallclock time: 1.849 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:09:22 GMT+02:00 2026
Hostname: n23m0043.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4961533/tmpz3drxabqprism_from-umb-gz_import_ex_eajs.5-250-11_tmp_indir_/prism.model.umbgz:format=umb'

Importing model from "prism.model.umbgz"...

Type:        MDP
Actions:     [tick]
Variables:   x
Labels:      "emptyBattery"
Rewards:     "utilityLocal"

---------------------------------------------------------------------

Building model (engine:explicit)...

Time for model construction: 0.837 seconds.

Type:        MDP
States:      3049471 (1 initial)
Transitions: 6977654
Choices:     4256193
Max/avg:     10/1.40


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb-gz_import_ex_eajs.5-250-11_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbgz:format=umb
Wallclock time: 1.918 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:36:28 GMT+02:00 2026
Hostname: n23m0254.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4962691/tmpuyi71tctprism_from-umb-gz_import_ex_eajs.5-250-11_tmp_indir_/prism.model.umbgz:format=umb'

Importing model from "prism.model.umbgz"...

Type:        MDP
Actions:     [tick]
Variables:   x
Labels:      "emptyBattery"
Rewards:     "utilityLocal"

---------------------------------------------------------------------

Building model (engine:explicit)...

Time for model construction: 0.861 seconds.

Type:        MDP
States:      3049471 (1 initial)
Transitions: 6977654
Choices:     4256193
Max/avg:     10/1.40


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb-gz_import_ex_eajs.5-250-11_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbgz:format=umb
Wallclock time: 1.885 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 08:56:04 GMT+02:00 2026
Hostname: n23m0255.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4964227/tmpp8pnj4ooprism_from-umb-gz_import_ex_eajs.5-250-11_tmp_indir_/prism.model.umbgz:format=umb'

Importing model from "prism.model.umbgz"...

Type:        MDP
Actions:     [tick]
Variables:   x
Labels:      "emptyBattery"
Rewards:     "utilityLocal"

---------------------------------------------------------------------

Building model (engine:explicit)...

Time for model construction: 0.84 seconds.

Type:        MDP
States:      3049471 (1 initial)
Transitions: 6977654
Choices:     4256193
Max/avg:     10/1.40


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb-gz_import_ex_eajs.5-250-11_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbgz:format=umb
Wallclock time: 1.851 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:44:46 GMT+02:00 2026
Hostname: n23m0032.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4963052/tmpizin2dc8prism_from-umb-gz_import_ex_eajs.5-250-11_tmp_indir_/prism.model.umbgz:format=umb'

Importing model from "prism.model.umbgz"...

Type:        MDP
Actions:     [tick]
Variables:   x
Labels:      "emptyBattery"
Rewards:     "utilityLocal"

---------------------------------------------------------------------

Building model (engine:explicit)...

Time for model construction: 0.876 seconds.

Type:        MDP
States:      3049471 (1 initial)
Transitions: 6977654
Choices:     4256193
Max/avg:     10/1.40


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g