Log files for model cluster.64-2000-20 and tool configuration prism_from-tra-gz_import_ex
[1.401, 2.038, 1.392, 1.492, 1.406]
Log file: prism_from-tra-gz_import_ex_cluster.64-2000-20_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 2.215 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:12:03 GMT+02:00 2026
Hostname: n23m0042.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4961652/tmp_ngddorxprism_from-tra-gz_import_ex_cluster.64-2000-20_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4961652/tmp_ngddorxprism_from-tra-gz_import_ex_cluster.64-2000-20_tmp_indir_/prism.model.pexp.gz"...
Type: CTMC (from file header)
Variables: x
Labels: "minimum"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 1.401 seconds.
Type: CTMC
States: 151060 (1 initial)
Transitions: 733216
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_cluster.64-2000-20_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 5.320 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:39:17 GMT+02:00 2026
Hostname: n23m0035.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4962816/tmplqqvbngxprism_from-tra-gz_import_ex_cluster.64-2000-20_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4962816/tmplqqvbngxprism_from-tra-gz_import_ex_cluster.64-2000-20_tmp_indir_/prism.model.pexp.gz"...
Type: CTMC (from file header)
Variables: x
Labels: "minimum"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 2.038 seconds.
Type: CTMC
States: 151060 (1 initial)
Transitions: 733216
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_cluster.64-2000-20_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 2.260 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:38:40 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.4962786/tmp82vc_4wdprism_from-tra-gz_import_ex_cluster.64-2000-20_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4962786/tmp82vc_4wdprism_from-tra-gz_import_ex_cluster.64-2000-20_tmp_indir_/prism.model.pexp.gz"...
Type: CTMC (from file header)
Variables: x
Labels: "minimum"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 1.392 seconds.
Type: CTMC
States: 151060 (1 initial)
Transitions: 733216
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_cluster.64-2000-20_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 2.336 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:43:41 GMT+02:00 2026
Hostname: n23m0279.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4963006/tmpsyb0ddv0prism_from-tra-gz_import_ex_cluster.64-2000-20_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4963006/tmpsyb0ddv0prism_from-tra-gz_import_ex_cluster.64-2000-20_tmp_indir_/prism.model.pexp.gz"...
Type: CTMC (from file header)
Variables: x
Labels: "minimum"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 1.492 seconds.
Type: CTMC
States: 151060 (1 initial)
Transitions: 733216
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_cluster.64-2000-20_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 2.215 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:28:35 GMT+02:00 2026
Hostname: n23m0066.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4965881/tmpqoqprzq1prism_from-tra-gz_import_ex_cluster.64-2000-20_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4965881/tmpqoqprzq1prism_from-tra-gz_import_ex_cluster.64-2000-20_tmp_indir_/prism.model.pexp.gz"...
Type: CTMC (from file header)
Variables: x
Labels: "minimum"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 1.406 seconds.
Type: CTMC
States: 151060 (1 initial)
Transitions: 733216
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g