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

Parsed values
[2.214, 1.852, 2.47, 2.187, 1.954]
Log file: prism_from-umb-gz_import_ex_eajs.6-300-13_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbgz:format=umb
Wallclock time: 3.774 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:03:25 GMT+02:00 2026
Hostname: n23m0287.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4964640/tmp_ffuboexprism_from-umb-gz_import_ex_eajs.6-300-13_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: 2.214 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-gz_import_ex_eajs.6-300-13_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbgz:format=umb
Wallclock time: 3.161 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:04:24 GMT+02:00 2026
Hostname: n23m0120.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4961318/tmp9a86nnweprism_from-umb-gz_import_ex_eajs.6-300-13_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: 1.852 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-gz_import_ex_eajs.6-300-13_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbgz:format=umb
Wallclock time: 4.112 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:28:02 GMT+02:00 2026
Hostname: n23m0053.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4965854/tmpgei7c6cqprism_from-umb-gz_import_ex_eajs.6-300-13_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: 2.47 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-gz_import_ex_eajs.6-300-13_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbgz:format=umb
Wallclock time: 3.679 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:15:56 GMT+02:00 2026
Hostname: n23m0056.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4961820/tmpu5f8g328prism_from-umb-gz_import_ex_eajs.6-300-13_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: 2.187 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-gz_import_ex_eajs.6-300-13_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbgz:format=umb
Wallclock time: 3.249 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:05:29 GMT+02:00 2026
Hostname: n23m0120.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4961366/tmpduqc0te4prism_from-umb-gz_import_ex_eajs.6-300-13_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: 1.954 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