Log files for model resource-gathering.1300-100-100 and tool configuration prism_from-umb-gz_import_ex
[0.382, 0.492, 0.361, 0.311, 0.359]
Log file: prism_from-umb-gz_import_ex_resource-gathering.1300-100-100_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbgz:format=umb
Wallclock time: 1.351 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:22:17 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.4965474/tmp9_i1hddvprism_from-umb-gz_import_ex_resource-gathering.1300-100-100_tmp_indir_/prism.model.umbgz:format=umb'
Importing model from "prism.model.umbgz"...
Type: MDP
Actions: [right] [left] [top] [down]
Variables: x
Labels: "success"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 0.382 seconds.
Type: MDP
States: 958894 (1 initial)
Transitions: 3325526
Choices: 3080702
Max/avg: 4/3.21
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb-gz_import_ex_resource-gathering.1300-100-100_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbgz:format=umb
Wallclock time: 1.463 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 06:57:54 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.4961034/tmpwolsblxrprism_from-umb-gz_import_ex_resource-gathering.1300-100-100_tmp_indir_/prism.model.umbgz:format=umb'
Importing model from "prism.model.umbgz"...
Type: MDP
Actions: [right] [left] [top] [down]
Variables: x
Labels: "success"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 0.492 seconds.
Type: MDP
States: 958894 (1 initial)
Transitions: 3325526
Choices: 3080702
Max/avg: 4/3.21
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb-gz_import_ex_resource-gathering.1300-100-100_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbgz:format=umb
Wallclock time: 1.346 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:16:34 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.4965217/tmp2t8l3ixhprism_from-umb-gz_import_ex_resource-gathering.1300-100-100_tmp_indir_/prism.model.umbgz:format=umb'
Importing model from "prism.model.umbgz"...
Type: MDP
Actions: [right] [left] [top] [down]
Variables: x
Labels: "success"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 0.361 seconds.
Type: MDP
States: 958894 (1 initial)
Transitions: 3325526
Choices: 3080702
Max/avg: 4/3.21
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb-gz_import_ex_resource-gathering.1300-100-100_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbgz:format=umb
Wallclock time: 1.312 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:09:12 GMT+02:00 2026
Hostname: r23m0198.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4964903/tmparlqkryuprism_from-umb-gz_import_ex_resource-gathering.1300-100-100_tmp_indir_/prism.model.umbgz:format=umb'
Importing model from "prism.model.umbgz"...
Type: MDP
Actions: [right] [left] [top] [down]
Variables: x
Labels: "success"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 0.311 seconds.
Type: MDP
States: 958894 (1 initial)
Transitions: 3325526
Choices: 3080702
Max/avg: 4/3.21
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb-gz_import_ex_resource-gathering.1300-100-100_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbgz:format=umb
Wallclock time: 1.377 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:51:16 GMT+02:00 2026
Hostname: n23m0252.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4966935/tmpt7cjwg22prism_from-umb-gz_import_ex_resource-gathering.1300-100-100_tmp_indir_/prism.model.umbgz:format=umb'
Importing model from "prism.model.umbgz"...
Type: MDP
Actions: [right] [left] [top] [down]
Variables: x
Labels: "success"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 0.359 seconds.
Type: MDP
States: 958894 (1 initial)
Transitions: 3325526
Choices: 3080702
Max/avg: 4/3.21
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g