Log files for model eajs.6-300-13 and tool configuration prism_from-umb_import_ex

Parsed values
[1.519, 1.431, 1.641, 1.924, 1.892]
Log file: prism_from-umb_import_ex_eajs.6-300-13_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb
Wallclock time: 2.192 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:24:54 GMT+02:00 2026
Hostname: r23m0202.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4965690/tmpxr3edlj7prism_from-umb_import_ex_eajs.6-300-13_tmp_indir_/prism.model.umb

Importing model from "prism.model.umb"...

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

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

Building model (engine:explicit)...

Time for model construction: 1.519 seconds.

Type:        MDP
States:      7901694 (1 initial)
Transitions: 19722777
Choices:     11897412
Max/avg:     12/1.51


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb_import_ex_eajs.6-300-13_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb
Wallclock time: 2.022 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:53:27 GMT+02:00 2026
Hostname: r23m0204.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4967061/tmp0iiawyi_prism_from-umb_import_ex_eajs.6-300-13_tmp_indir_/prism.model.umb

Importing model from "prism.model.umb"...

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

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

Building model (engine:explicit)...

Time for model construction: 1.431 seconds.

Type:        MDP
States:      7901694 (1 initial)
Transitions: 19722777
Choices:     11897412
Max/avg:     12/1.51


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb_import_ex_eajs.6-300-13_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb
Wallclock time: 2.282 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:53:27 GMT+02:00 2026
Hostname: n23m0135.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4967058/tmpwox576lhprism_from-umb_import_ex_eajs.6-300-13_tmp_indir_/prism.model.umb

Importing model from "prism.model.umb"...

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

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

Building model (engine:explicit)...

Time for model construction: 1.641 seconds.

Type:        MDP
States:      7901694 (1 initial)
Transitions: 19722777
Choices:     11897412
Max/avg:     12/1.51


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb_import_ex_eajs.6-300-13_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb
Wallclock time: 4.892 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 06:59:34 GMT+02:00 2026
Hostname: n23m0058.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4961120/tmpt7sll2ixprism_from-umb_import_ex_eajs.6-300-13_tmp_indir_/prism.model.umb

Importing model from "prism.model.umb"...

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

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

Building model (engine:explicit)...

Time for model construction: 1.924 seconds.

Type:        MDP
States:      7901694 (1 initial)
Transitions: 19722777
Choices:     11897412
Max/avg:     12/1.51


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb_import_ex_eajs.6-300-13_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb
Wallclock time: 2.738 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:52:55 GMT+02:00 2026
Hostname: n23m0308.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4967009/tmp62vdm70bprism_from-umb_import_ex_eajs.6-300-13_tmp_indir_/prism.model.umb

Importing model from "prism.model.umb"...

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

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

Building model (engine:explicit)...

Time for model construction: 1.892 seconds.

Type:        MDP
States:      7901694 (1 initial)
Transitions: 19722777
Choices:     11897412
Max/avg:     12/1.51


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