Log files for model embedded.8-12 and tool configuration prism_from-prism_to-umb-xz_ex
[31036.0, 31348.0, 31092.0, 31384.0, 31036.0]
Log file: prism_from-prism_to-umb-xz_ex_embedded.8-12_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 1.396 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:53:18 GMT+02:00 2026
Hostname: r23m0216.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958138/tmph36pid4aprism_from-prism_to-umb-xz_ex_embedded.8-12_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958138/tmpe32sn3jfprism_from-prism_to-umb-xz_ex_embedded.8-12_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958138/tmph36pid4aprism_from-prism_to-umb-xz_ex_embedded.8-12_tmp_indir_/model.prism"...
Type: CTMC
Modules: sensors proci actuators proco procm bus
Actions: [] [input_reboot] [output_reboot] [timeout]
Variables: s i a o m count comp reqi reqo
Labels: "fail_actuators" "l_down"
Building model (engine:explicit)...
Computing reachable states... 8548 states
Reachable states exploration and model construction done in 0.105 secs.
Sorting reachable states list...
Time for model construction: 0.151 seconds.
Type: CTMC
States: 8548 (1 initial)
Transitions: 36041
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4958138/tmpe32sn3jfprism_from-prism_to-umb-xz_ex_embedded.8-12_tmp_outdir_/model.umbxz"...
Time for exporting: 0.382 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 31036 bytes
Log file: prism_from-prism_to-umb-xz_ex_embedded.8-12_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 1.343 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:53:02 GMT+02:00 2026
Hostname: n23m0054.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955887/tmpshqup25fprism_from-prism_to-umb-xz_ex_embedded.8-12_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955887/tmprow2rzgpprism_from-prism_to-umb-xz_ex_embedded.8-12_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955887/tmpshqup25fprism_from-prism_to-umb-xz_ex_embedded.8-12_tmp_indir_/model.prism"...
Type: CTMC
Modules: sensors proci actuators proco procm bus
Actions: [] [input_reboot] [output_reboot] [timeout]
Variables: s i a o m count comp reqi reqo
Labels: "fail_actuators" "l_down"
Building model (engine:explicit)...
Computing reachable states... 8548 states
Reachable states exploration and model construction done in 0.104 secs.
Sorting reachable states list...
Time for model construction: 0.146 seconds.
Type: CTMC
States: 8548 (1 initial)
Transitions: 36041
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955887/tmprow2rzgpprism_from-prism_to-umb-xz_ex_embedded.8-12_tmp_outdir_/model.umbxz"...
Time for exporting: 0.37 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 31348 bytes
Log file: prism_from-prism_to-umb-xz_ex_embedded.8-12_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 1.406 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:51:36 GMT+02:00 2026
Hostname: n23m0261.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958053/tmpvqdr5_m7prism_from-prism_to-umb-xz_ex_embedded.8-12_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958053/tmp5esw64_kprism_from-prism_to-umb-xz_ex_embedded.8-12_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958053/tmpvqdr5_m7prism_from-prism_to-umb-xz_ex_embedded.8-12_tmp_indir_/model.prism"...
Type: CTMC
Modules: sensors proci actuators proco procm bus
Actions: [] [input_reboot] [output_reboot] [timeout]
Variables: s i a o m count comp reqi reqo
Labels: "fail_actuators" "l_down"
Building model (engine:explicit)...
Computing reachable states... 8548 states
Reachable states exploration and model construction done in 0.112 secs.
Sorting reachable states list...
Time for model construction: 0.161 seconds.
Type: CTMC
States: 8548 (1 initial)
Transitions: 36041
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4958053/tmp5esw64_kprism_from-prism_to-umb-xz_ex_embedded.8-12_tmp_outdir_/model.umbxz"...
Time for exporting: 0.389 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 31092 bytes
Log file: prism_from-prism_to-umb-xz_ex_embedded.8-12_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 2.583 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:33:00 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 /w0/tmp/slurm_tq429871.4955081/tmp12v0gly0prism_from-prism_to-umb-xz_ex_embedded.8-12_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955081/tmpnkyhecx1prism_from-prism_to-umb-xz_ex_embedded.8-12_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955081/tmp12v0gly0prism_from-prism_to-umb-xz_ex_embedded.8-12_tmp_indir_/model.prism"...
Type: CTMC
Modules: sensors proci actuators proco procm bus
Actions: [] [input_reboot] [output_reboot] [timeout]
Variables: s i a o m count comp reqi reqo
Labels: "fail_actuators" "l_down"
Building model (engine:explicit)...
Computing reachable states... 8548 states
Reachable states exploration and model construction done in 0.105 secs.
Sorting reachable states list...
Time for model construction: 0.252 seconds.
Type: CTMC
States: 8548 (1 initial)
Transitions: 36041
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955081/tmpnkyhecx1prism_from-prism_to-umb-xz_ex_embedded.8-12_tmp_outdir_/model.umbxz"...
Time for exporting: 0.398 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 31384 bytes
Log file: prism_from-prism_to-umb-xz_ex_embedded.8-12_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 1.340 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:39:15 GMT+02:00 2026
Hostname: n23m0260.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955328/tmp3dnofhyaprism_from-prism_to-umb-xz_ex_embedded.8-12_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955328/tmpcn64xjhsprism_from-prism_to-umb-xz_ex_embedded.8-12_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955328/tmp3dnofhyaprism_from-prism_to-umb-xz_ex_embedded.8-12_tmp_indir_/model.prism"...
Type: CTMC
Modules: sensors proci actuators proco procm bus
Actions: [] [input_reboot] [output_reboot] [timeout]
Variables: s i a o m count comp reqi reqo
Labels: "fail_actuators" "l_down"
Building model (engine:explicit)...
Computing reachable states... 8548 states
Reachable states exploration and model construction done in 0.107 secs.
Sorting reachable states list...
Time for model construction: 0.154 seconds.
Type: CTMC
States: 8548 (1 initial)
Transitions: 36041
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955328/tmpcn64xjhsprism_from-prism_to-umb-xz_ex_embedded.8-12_tmp_outdir_/model.umbxz"...
Time for exporting: 0.388 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 31036 bytes