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

Parsed values
[4.9, 4.897, 4.997, 4.947, 4.807]
Log file: prism_from-umb-xz_import_ex_eajs.6-300-13_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbxz:format=umb
Wallclock time: 9.181 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:50:43 GMT+02:00 2026
Hostname: n23m0303.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4966920/tmpqe267oneprism_from-umb-xz_import_ex_eajs.6-300-13_tmp_indir_/prism.model.umbxz:format=umb'

Importing model from "prism.model.umbxz"...

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

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

Building model (engine:explicit)...

Time for model construction: 4.9 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-xz_import_ex_eajs.6-300-13_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbxz:format=umb
Wallclock time: 9.157 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:21:45 GMT+02:00 2026
Hostname: n23m0291.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4965459/tmp42levrysprism_from-umb-xz_import_ex_eajs.6-300-13_tmp_indir_/prism.model.umbxz:format=umb'

Importing model from "prism.model.umbxz"...

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

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

Building model (engine:explicit)...

Time for model construction: 4.897 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-xz_import_ex_eajs.6-300-13_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbxz:format=umb
Wallclock time: 9.394 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:35:56 GMT+02:00 2026
Hostname: n23m0259.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4962670/tmphf58tt0xprism_from-umb-xz_import_ex_eajs.6-300-13_tmp_indir_/prism.model.umbxz:format=umb'

Importing model from "prism.model.umbxz"...

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

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

Building model (engine:explicit)...

Time for model construction: 4.997 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-xz_import_ex_eajs.6-300-13_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbxz:format=umb
Wallclock time: 9.263 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:04:25 GMT+02:00 2026
Hostname: n23m0050.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4961331/tmpl36bsxj5prism_from-umb-xz_import_ex_eajs.6-300-13_tmp_indir_/prism.model.umbxz:format=umb'

Importing model from "prism.model.umbxz"...

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

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

Building model (engine:explicit)...

Time for model construction: 4.947 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-xz_import_ex_eajs.6-300-13_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbxz:format=umb
Wallclock time: 9.032 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:10:26 GMT+02:00 2026
Hostname: n23m0048.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4961589/tmpnq98yjleprism_from-umb-xz_import_ex_eajs.6-300-13_tmp_indir_/prism.model.umbxz:format=umb'

Importing model from "prism.model.umbxz"...

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

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

Building model (engine:explicit)...

Time for model construction: 4.807 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