Log files for model fms.8 and tool configuration prism_from-umb_import_ex
[4.671, 4.73, 5.044, 5.63, 5.126]
Log file: prism_from-umb_import_ex_fms.8_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb
Wallclock time: 5.370 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:24:22 GMT+02:00 2026
Hostname: r23m0197.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4965652/tmpftl1vub8prism_from-umb_import_ex_fms.8_tmp_indir_/prism.model.umb
Importing model from "prism.model.umb"...
Type: CTMC
Actions: [] [t1] [p1p2] [fp12] [t2] [p2p3] [t3] [t12]
Variables: x
Rewards: "productivity"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 4.671 seconds.
Type: CTMC
States: 4459455 (1 initial)
Transitions: 38533968
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb_import_ex_fms.8_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb
Wallclock time: 5.719 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:46:27 GMT+02:00 2026
Hostname: n23m0054.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4963134/tmp4s2bto42prism_from-umb_import_ex_fms.8_tmp_indir_/prism.model.umb
Importing model from "prism.model.umb"...
Type: CTMC
Actions: [] [t1] [p1p2] [fp12] [t2] [p2p3] [t3] [t12]
Variables: x
Rewards: "productivity"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 4.73 seconds.
Type: CTMC
States: 4459455 (1 initial)
Transitions: 38533968
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb_import_ex_fms.8_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb
Wallclock time: 5.726 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:21:15 GMT+02:00 2026
Hostname: r23m0217.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4965436/tmp78bcc0gxprism_from-umb_import_ex_fms.8_tmp_indir_/prism.model.umb
Importing model from "prism.model.umb"...
Type: CTMC
Actions: [] [t1] [p1p2] [fp12] [t2] [p2p3] [t3] [t12]
Variables: x
Rewards: "productivity"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 5.044 seconds.
Type: CTMC
States: 4459455 (1 initial)
Transitions: 38533968
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb_import_ex_fms.8_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb
Wallclock time: 6.414 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:06:03 GMT+02:00 2026
Hostname: n23m0125.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4961393/tmpphyicdrbprism_from-umb_import_ex_fms.8_tmp_indir_/prism.model.umb
Importing model from "prism.model.umb"...
Type: CTMC
Actions: [] [t1] [p1p2] [fp12] [t2] [p2p3] [t3] [t12]
Variables: x
Rewards: "productivity"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 5.63 seconds.
Type: CTMC
States: 4459455 (1 initial)
Transitions: 38533968
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb_import_ex_fms.8_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb
Wallclock time: 5.829 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:34:24 GMT+02:00 2026
Hostname: n23m0237.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4966175/tmpu7rk8j81prism_from-umb_import_ex_fms.8_tmp_indir_/prism.model.umb
Importing model from "prism.model.umb"...
Type: CTMC
Actions: [] [t1] [p1p2] [fp12] [t2] [p2p3] [t3] [t12]
Variables: x
Rewards: "productivity"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 5.126 seconds.
Type: CTMC
States: 4459455 (1 initial)
Transitions: 38533968
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g