Log files for model polling.18-16 and tool configuration prism_from-tra-gz_import_ex
[158.321, 162.997, 158.091, 157.381, 156.847]
Log file: prism_from-tra-gz_import_ex_polling.18-16_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 170.947 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:48:01 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.4963222/tmpvfv2kvocprism_from-tra-gz_import_ex_polling.18-16_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4963222/tmpvfv2kvocprism_from-tra-gz_import_ex_polling.18-16_tmp_indir_/prism.model.pexp.gz"...
Type: CTMC (from file header)
Variables: x
Labels: "serve_s2" "serve_s1"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 158.321 seconds.
Type: CTMC
States: 7077888 (1 initial)
Transitions: 69599232
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_polling.18-16_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 176.051 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 06:58:59 GMT+02:00 2026
Hostname: n23m0045.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4961086/tmptfjaerj3prism_from-tra-gz_import_ex_polling.18-16_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4961086/tmptfjaerj3prism_from-tra-gz_import_ex_polling.18-16_tmp_indir_/prism.model.pexp.gz"...
Type: CTMC (from file header)
Variables: x
Labels: "serve_s2" "serve_s1"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 162.997 seconds.
Type: CTMC
States: 7077888 (1 initial)
Transitions: 69599232
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_polling.18-16_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 171.246 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:01:52 GMT+02:00 2026
Hostname: n23m0255.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4964534/tmp3lv0a43zprism_from-tra-gz_import_ex_polling.18-16_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4964534/tmp3lv0a43zprism_from-tra-gz_import_ex_polling.18-16_tmp_indir_/prism.model.pexp.gz"...
Type: CTMC (from file header)
Variables: x
Labels: "serve_s2" "serve_s1"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 158.091 seconds.
Type: CTMC
States: 7077888 (1 initial)
Transitions: 69599232
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_polling.18-16_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 170.137 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:52:22 GMT+02:00 2026
Hostname: n23m0272.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4966984/tmp_fg8yec0prism_from-tra-gz_import_ex_polling.18-16_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4966984/tmp_fg8yec0prism_from-tra-gz_import_ex_polling.18-16_tmp_indir_/prism.model.pexp.gz"...
Type: CTMC (from file header)
Variables: x
Labels: "serve_s2" "serve_s1"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 157.381 seconds.
Type: CTMC
States: 7077888 (1 initial)
Transitions: 69599232
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_polling.18-16_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 169.825 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:34:49 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.4962617/tmpcq_4hn38prism_from-tra-gz_import_ex_polling.18-16_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4962617/tmpcq_4hn38prism_from-tra-gz_import_ex_polling.18-16_tmp_indir_/prism.model.pexp.gz"...
Type: CTMC (from file header)
Variables: x
Labels: "serve_s2" "serve_s1"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 156.847 seconds.
Type: CTMC
States: 7077888 (1 initial)
Transitions: 69599232
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g