[, , , , ]

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

Version: 4.11
Date: Tue Oct 13 08:57:06 GMT+02:00 2026
Hostname: r23m0197.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4964282/tmp2emqwmqiprism_from-umb-xz_import_ex_pacman.100_tmp_indir_/prism.model.umbxz:format=umb'

Error: Error importing from UMB: Could not open UMB file: /w0/tmp/slurm_tq429871.4964282/tmp2emqwmqiprism_from-umb-xz_import_ex_pacman.100_tmp_indir_/prism.model.umbxz.

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

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

Version: 4.11
Date: Tue Oct 13 07:10:26 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.4961577/tmpjxsrm7olprism_from-umb-xz_import_ex_pacman.100_tmp_indir_/prism.model.umbxz:format=umb'

Error: Error importing from UMB: Could not open UMB file: /w0/tmp/slurm_tq429871.4961577/tmpjxsrm7olprism_from-umb-xz_import_ex_pacman.100_tmp_indir_/prism.model.umbxz.

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

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

Version: 4.11
Date: Tue Oct 13 09:06:00 GMT+02:00 2026
Hostname: r23m0199.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4964762/tmp_ui2fxy_prism_from-umb-xz_import_ex_pacman.100_tmp_indir_/prism.model.umbxz:format=umb'

Error: Error importing from UMB: Could not open UMB file: /w0/tmp/slurm_tq429871.4964762/tmp_ui2fxy_prism_from-umb-xz_import_ex_pacman.100_tmp_indir_/prism.model.umbxz.

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

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

Version: 4.11
Date: Tue Oct 13 07:15:56 GMT+02:00 2026
Hostname: n23m0043.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4961813/tmpamh4sc0zprism_from-umb-xz_import_ex_pacman.100_tmp_indir_/prism.model.umbxz:format=umb'

Error: Error importing from UMB: Could not open UMB file: /w0/tmp/slurm_tq429871.4961813/tmpamh4sc0zprism_from-umb-xz_import_ex_pacman.100_tmp_indir_/prism.model.umbxz.

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

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

Version: 4.11
Date: Tue Oct 13 07:42:33 GMT+02:00 2026
Hostname: n23m0248.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4962947/tmpb_hr5hb8prism_from-umb-xz_import_ex_pacman.100_tmp_indir_/prism.model.umbxz:format=umb'

Error: Error importing from UMB: Could not open UMB file: /w0/tmp/slurm_tq429871.4962947/tmpb_hr5hb8prism_from-umb-xz_import_ex_pacman.100_tmp_indir_/prism.model.umbxz.

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