Log files for model fms.8 and tool configuration prism_from-tra_import_ex
[82.931, 82.759, 74.713, 70.258, 78.601]
Log file: prism_from-tra_import_ex_fms.8_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp
Wallclock time: 87.190 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:12:53 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.4965054/tmp31im_df7prism_from-tra_import_ex_fms.8_tmp_indir_/prism.model.pexp
Importing model from "/w0/tmp/slurm_tq429871.4965054/tmp31im_df7prism_from-tra_import_ex_fms.8_tmp_indir_/prism.model.pexp"...
Type: CTMC (from file header)
Variables: x
Rewards: "productivity"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 82.931 seconds.
Type: CTMC
States: 4459455 (1 initial)
Transitions: 38533968
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra_import_ex_fms.8_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp
Wallclock time: 86.877 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:12:22 GMT+02:00 2026
Hostname: n23m0263.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4965033/tmp102e5kuwprism_from-tra_import_ex_fms.8_tmp_indir_/prism.model.pexp
Importing model from "/w0/tmp/slurm_tq429871.4965033/tmp102e5kuwprism_from-tra_import_ex_fms.8_tmp_indir_/prism.model.pexp"...
Type: CTMC (from file header)
Variables: x
Rewards: "productivity"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 82.759 seconds.
Type: CTMC
States: 4459455 (1 initial)
Transitions: 38533968
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra_import_ex_fms.8_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp
Wallclock time: 79.003 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:54:31 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.4967099/tmpmb6upalbprism_from-tra_import_ex_fms.8_tmp_indir_/prism.model.pexp
Importing model from "/w0/tmp/slurm_tq429871.4967099/tmpmb6upalbprism_from-tra_import_ex_fms.8_tmp_indir_/prism.model.pexp"...
Type: CTMC (from file header)
Variables: x
Rewards: "productivity"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 74.713 seconds.
Type: CTMC
States: 4459455 (1 initial)
Transitions: 38533968
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra_import_ex_fms.8_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp
Wallclock time: 73.829 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:51:15 GMT+02:00 2026
Hostname: n23m0110.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4966946/tmpl7adhoz0prism_from-tra_import_ex_fms.8_tmp_indir_/prism.model.pexp
Importing model from "/w0/tmp/slurm_tq429871.4966946/tmpl7adhoz0prism_from-tra_import_ex_fms.8_tmp_indir_/prism.model.pexp"...
Type: CTMC (from file header)
Variables: x
Rewards: "productivity"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 70.258 seconds.
Type: CTMC
States: 4459455 (1 initial)
Transitions: 38533968
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra_import_ex_fms.8_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp
Wallclock time: 82.661 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:11:30 GMT+02:00 2026
Hostname: n23m0107.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4961624/tmp3l2ima52prism_from-tra_import_ex_fms.8_tmp_indir_/prism.model.pexp
Importing model from "/w0/tmp/slurm_tq429871.4961624/tmp3l2ima52prism_from-tra_import_ex_fms.8_tmp_indir_/prism.model.pexp"...
Type: CTMC (from file header)
Variables: x
Rewards: "productivity"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 78.601 seconds.
Type: CTMC
States: 4459455 (1 initial)
Transitions: 38533968
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g