Log files for model polling.18-16 and tool configuration prism_from-tra_import_ex
[146.628, 149.934, 129.149, 147.684, 148.249]
Log file: prism_from-tra_import_ex_polling.18-16_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp
Wallclock time: 153.083 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:02:55 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.4964609/tmpye7wc6odprism_from-tra_import_ex_polling.18-16_tmp_indir_/prism.model.pexp
Importing model from "/w0/tmp/slurm_tq429871.4964609/tmpye7wc6odprism_from-tra_import_ex_polling.18-16_tmp_indir_/prism.model.pexp"...
Type: CTMC (from file header)
Variables: x
Labels: "serve_s2" "serve_s1"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 146.628 seconds.
Type: CTMC
States: 7077888 (1 initial)
Transitions: 69599232
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra_import_ex_polling.18-16_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp
Wallclock time: 156.643 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:33:52 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.4966153/tmpzhtn2mxpprism_from-tra_import_ex_polling.18-16_tmp_indir_/prism.model.pexp
Importing model from "/w0/tmp/slurm_tq429871.4966153/tmpzhtn2mxpprism_from-tra_import_ex_polling.18-16_tmp_indir_/prism.model.pexp"...
Type: CTMC (from file header)
Variables: x
Labels: "serve_s2" "serve_s1"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 149.934 seconds.
Type: CTMC
States: 7077888 (1 initial)
Transitions: 69599232
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra_import_ex_polling.18-16_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp
Wallclock time: 135.203 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:45:20 GMT+02:00 2026
Hostname: n23m0120.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4963070/tmpg7d5b8r1prism_from-tra_import_ex_polling.18-16_tmp_indir_/prism.model.pexp
Importing model from "/w0/tmp/slurm_tq429871.4963070/tmpg7d5b8r1prism_from-tra_import_ex_polling.18-16_tmp_indir_/prism.model.pexp"...
Type: CTMC (from file header)
Variables: x
Labels: "serve_s2" "serve_s1"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 129.149 seconds.
Type: CTMC
States: 7077888 (1 initial)
Transitions: 69599232
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra_import_ex_polling.18-16_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp
Wallclock time: 154.267 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:08:43 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.4964868/tmpbgbjjkhuprism_from-tra_import_ex_polling.18-16_tmp_indir_/prism.model.pexp
Importing model from "/w0/tmp/slurm_tq429871.4964868/tmpbgbjjkhuprism_from-tra_import_ex_polling.18-16_tmp_indir_/prism.model.pexp"...
Type: CTMC (from file header)
Variables: x
Labels: "serve_s2" "serve_s1"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 147.684 seconds.
Type: CTMC
States: 7077888 (1 initial)
Transitions: 69599232
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra_import_ex_polling.18-16_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp
Wallclock time: 154.582 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:12:37 GMT+02:00 2026
Hostname: n23m0047.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4961678/tmpuc2hsphoprism_from-tra_import_ex_polling.18-16_tmp_indir_/prism.model.pexp
Importing model from "/w0/tmp/slurm_tq429871.4961678/tmpuc2hsphoprism_from-tra_import_ex_polling.18-16_tmp_indir_/prism.model.pexp"...
Type: CTMC (from file header)
Variables: x
Labels: "serve_s2" "serve_s1"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 148.249 seconds.
Type: CTMC
States: 7077888 (1 initial)
Transitions: 69599232
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g