Log files for model kanban.5 and tool configuration prism_from-tra-gz_import_ex
[35.136, 40.905, 40.934, 35.498, 42.608]
Log file: prism_from-tra-gz_import_ex_kanban.5_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 39.314 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:37:34 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.4962733/tmp_q3240n5prism_from-tra-gz_import_ex_kanban.5_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4962733/tmp_q3240n5prism_from-tra-gz_import_ex_kanban.5_tmp_indir_/prism.model.pexp.gz"...
Type: CTMC (from file header)
Variables: x
Rewards: "throughput"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 35.136 seconds.
Type: CTMC
States: 2546432 (1 initial)
Transitions: 24460016
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_kanban.5_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 45.843 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 08:51:34 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.4964081/tmpsfw6yk8eprism_from-tra-gz_import_ex_kanban.5_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4964081/tmpsfw6yk8eprism_from-tra-gz_import_ex_kanban.5_tmp_indir_/prism.model.pexp.gz"...
Type: CTMC (from file header)
Variables: x
Rewards: "throughput"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 40.905 seconds.
Type: CTMC
States: 2546432 (1 initial)
Transitions: 24460016
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_kanban.5_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 46.043 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 06:57:22 GMT+02:00 2026
Hostname: n23m0046.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4961015/tmpfd7d0lifprism_from-tra-gz_import_ex_kanban.5_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4961015/tmpfd7d0lifprism_from-tra-gz_import_ex_kanban.5_tmp_indir_/prism.model.pexp.gz"...
Type: CTMC (from file header)
Variables: x
Rewards: "throughput"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 40.934 seconds.
Type: CTMC
States: 2546432 (1 initial)
Transitions: 24460016
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_kanban.5_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 39.879 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:13:07 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.4961693/tmp72j021lkprism_from-tra-gz_import_ex_kanban.5_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4961693/tmp72j021lkprism_from-tra-gz_import_ex_kanban.5_tmp_indir_/prism.model.pexp.gz"...
Type: CTMC (from file header)
Variables: x
Rewards: "throughput"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 35.498 seconds.
Type: CTMC
States: 2546432 (1 initial)
Transitions: 24460016
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_kanban.5_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 48.943 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:23:54 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.4965597/tmpmi8hs8tiprism_from-tra-gz_import_ex_kanban.5_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4965597/tmpmi8hs8tiprism_from-tra-gz_import_ex_kanban.5_tmp_indir_/prism.model.pexp.gz"...
Type: CTMC (from file header)
Variables: x
Rewards: "throughput"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 42.608 seconds.
Type: CTMC
States: 2546432 (1 initial)
Transitions: 24460016
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g