Log pnueli-zuck.10_prism_from-umb-xz_import

Log file: prism_from-umb-xz_import_ex_pnueli-zuck.10_rep1.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbxz:format=umb
Wallclock time: 0.577 seconds
Return code: 1
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:44:22 GMT+02:00 2026
Hostname: n23m0358.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4966643/tmp_bosr77dprism_from-umb-xz_import_ex_pnueli-zuck.10_tmp_indir_/prism.model.umbxz:format=umb'

Error: Error importing from UMB: Could not open UMB file: /w0/tmp/slurm_tq429871.4966643/tmp_bosr77dprism_from-umb-xz_import_ex_pnueli-zuck.10_tmp_indir_/prism.model.umbxz.

##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Log file: prism_from-umb-xz_import_ex_pnueli-zuck.10_rep2.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbxz:format=umb
Wallclock time: 0.587 seconds
Return code: 1
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:03:52 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.4961304/tmpe21vauohprism_from-umb-xz_import_ex_pnueli-zuck.10_tmp_indir_/prism.model.umbxz:format=umb'

Error: Error importing from UMB: Could not open UMB file: /w0/tmp/slurm_tq429871.4961304/tmpe21vauohprism_from-umb-xz_import_ex_pnueli-zuck.10_tmp_indir_/prism.model.umbxz.

##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Log file: prism_from-umb-xz_import_ex_pnueli-zuck.10_rep3.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbxz:format=umb
Wallclock time: 0.704 seconds
Return code: 1
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:05:00 GMT+02:00 2026
Hostname: r23m0206.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4964714/tmplytgiaktprism_from-umb-xz_import_ex_pnueli-zuck.10_tmp_indir_/prism.model.umbxz:format=umb'

Error: Error importing from UMB: Could not open UMB file: /w0/tmp/slurm_tq429871.4964714/tmplytgiaktprism_from-umb-xz_import_ex_pnueli-zuck.10_tmp_indir_/prism.model.umbxz.

##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Log file: prism_from-umb-xz_import_ex_pnueli-zuck.10_rep4.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbxz:format=umb
Wallclock time: 0.602 seconds
Return code: 1
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 08:56:04 GMT+02:00 2026
Hostname: n23m0287.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4964236/tmp1x3hat13prism_from-umb-xz_import_ex_pnueli-zuck.10_tmp_indir_/prism.model.umbxz:format=umb'

Error: Error importing from UMB: Could not open UMB file: /w0/tmp/slurm_tq429871.4964236/tmp1x3hat13prism_from-umb-xz_import_ex_pnueli-zuck.10_tmp_indir_/prism.model.umbxz.

##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Log file: prism_from-umb-xz_import_ex_pnueli-zuck.10_rep5.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbxz:format=umb
Wallclock time: 0.520 seconds
Return code: 1
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:14:47 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.4961762/tmpfju7djg9prism_from-umb-xz_import_ex_pnueli-zuck.10_tmp_indir_/prism.model.umbxz:format=umb'

Error: Error importing from UMB: Could not open UMB file: /w0/tmp/slurm_tq429871.4961762/tmpfju7djg9prism_from-umb-xz_import_ex_pnueli-zuck.10_tmp_indir_/prism.model.umbxz.

##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Log files for model pnueli-zuck.10 and tool configuration prism_from-umb-xz_import_ex