Log files for model consensus.4-4 and tool configuration prism_from-prism_to-umb-gz_ex
[594225.0, 594228.0, 594225.0, 594228.0, 594225.0]
Log file: prism_from-prism_to-umb-gz_ex_consensus.4-4_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 1.342 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:05:21 GMT+02:00 2026
Hostname: n23m0144.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956360/tmpv8dyxh8kprism_from-prism_to-umb-gz_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956360/tmpg5sqrzyfprism_from-prism_to-umb-gz_ex_consensus.4-4_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956360/tmpv8dyxh8kprism_from-prism_to-umb-gz_ex_consensus.4-4_tmp_indir_/model.prism"...
Type: MDP
Modules: process1 process2 process3 process4
Actions: [] [done]
Variables: counter pc1 coin1 pc2 coin2 pc3 coin3 pc4 coin4
Labels: "finished" "agree"
Building model (engine:explicit)...
Computing reachable states... 43136 states
Reachable states exploration and model construction done in 0.293 secs.
Sorting reachable states list...
Time for model construction: 0.409 seconds.
Type: MDP
States: 43136 (1 initial)
Transitions: 144352
Choices: 115840
Max/avg: 4/2.69
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956360/tmpg5sqrzyfprism_from-prism_to-umb-gz_ex_consensus.4-4_tmp_outdir_/model.umbgz"...
Time for exporting: 0.135 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 594225 bytes
Log file: prism_from-prism_to-umb-gz_ex_consensus.4-4_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 1.340 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:52:43 GMT+02:00 2026
Hostname: n23m0294.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958111/tmprcj94ckwprism_from-prism_to-umb-gz_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958111/tmp1zijm11mprism_from-prism_to-umb-gz_ex_consensus.4-4_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958111/tmprcj94ckwprism_from-prism_to-umb-gz_ex_consensus.4-4_tmp_indir_/model.prism"...
Type: MDP
Modules: process1 process2 process3 process4
Actions: [] [done]
Variables: counter pc1 coin1 pc2 coin2 pc3 coin3 pc4 coin4
Labels: "finished" "agree"
Building model (engine:explicit)...
Computing reachable states... 43136 states
Reachable states exploration and model construction done in 0.263 secs.
Sorting reachable states list...
Time for model construction: 0.383 seconds.
Type: MDP
States: 43136 (1 initial)
Transitions: 144352
Choices: 115840
Max/avg: 4/2.69
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4958111/tmp1zijm11mprism_from-prism_to-umb-gz_ex_consensus.4-4_tmp_outdir_/model.umbgz"...
Time for exporting: 0.136 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 594228 bytes
Log file: prism_from-prism_to-umb-gz_ex_consensus.4-4_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 1.451 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:23:55 GMT+02:00 2026
Hostname: n23m0310.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957119/tmpfpklvn8aprism_from-prism_to-umb-gz_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957119/tmp6qpum6d7prism_from-prism_to-umb-gz_ex_consensus.4-4_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957119/tmpfpklvn8aprism_from-prism_to-umb-gz_ex_consensus.4-4_tmp_indir_/model.prism"...
Type: MDP
Modules: process1 process2 process3 process4
Actions: [] [done]
Variables: counter pc1 coin1 pc2 coin2 pc3 coin3 pc4 coin4
Labels: "finished" "agree"
Building model (engine:explicit)...
Computing reachable states... 43136 states
Reachable states exploration and model construction done in 0.33 secs.
Sorting reachable states list...
Time for model construction: 0.492 seconds.
Type: MDP
States: 43136 (1 initial)
Transitions: 144352
Choices: 115840
Max/avg: 4/2.69
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957119/tmp6qpum6d7prism_from-prism_to-umb-gz_ex_consensus.4-4_tmp_outdir_/model.umbgz"...
Time for exporting: 0.175 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 594225 bytes
Log file: prism_from-prism_to-umb-gz_ex_consensus.4-4_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 1.349 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:39:16 GMT+02:00 2026
Hostname: n23m0113.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955315/tmpizaia1w9prism_from-prism_to-umb-gz_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955315/tmpr7r9sw96prism_from-prism_to-umb-gz_ex_consensus.4-4_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955315/tmpizaia1w9prism_from-prism_to-umb-gz_ex_consensus.4-4_tmp_indir_/model.prism"...
Type: MDP
Modules: process1 process2 process3 process4
Actions: [] [done]
Variables: counter pc1 coin1 pc2 coin2 pc3 coin3 pc4 coin4
Labels: "finished" "agree"
Building model (engine:explicit)...
Computing reachable states... 43136 states
Reachable states exploration and model construction done in 0.278 secs.
Sorting reachable states list...
Time for model construction: 0.392 seconds.
Type: MDP
States: 43136 (1 initial)
Transitions: 144352
Choices: 115840
Max/avg: 4/2.69
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955315/tmpr7r9sw96prism_from-prism_to-umb-gz_ex_consensus.4-4_tmp_outdir_/model.umbgz"...
Time for exporting: 0.168 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 594228 bytes
Log file: prism_from-prism_to-umb-gz_ex_consensus.4-4_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 1.342 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:46:08 GMT+02:00 2026
Hostname: n23m0102.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955596/tmppjjou5osprism_from-prism_to-umb-gz_ex_consensus.4-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955596/tmpa7bopz5vprism_from-prism_to-umb-gz_ex_consensus.4-4_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955596/tmppjjou5osprism_from-prism_to-umb-gz_ex_consensus.4-4_tmp_indir_/model.prism"...
Type: MDP
Modules: process1 process2 process3 process4
Actions: [] [done]
Variables: counter pc1 coin1 pc2 coin2 pc3 coin3 pc4 coin4
Labels: "finished" "agree"
Building model (engine:explicit)...
Computing reachable states... 43136 states
Reachable states exploration and model construction done in 0.279 secs.
Sorting reachable states list...
Time for model construction: 0.394 seconds.
Type: MDP
States: 43136 (1 initial)
Transitions: 144352
Choices: 115840
Max/avg: 4/2.69
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955596/tmpa7bopz5vprism_from-prism_to-umb-gz_ex_consensus.4-4_tmp_outdir_/model.umbgz"...
Time for exporting: 0.185 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 594225 bytes