Log pacman.100_prism_from-umb_import

Log file: prism_from-umb_import_ex_pacman.100_rep1.log

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

Version: 4.11
Date: Tue Oct 13 07:21:24 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.4962018/tmpzbemgndeprism_from-umb_import_ex_pacman.100_tmp_indir_/prism.model.umb

Error: Error importing from UMB: Could not open UMB file: /w0/tmp/slurm_tq429871.4962018/tmpzbemgndeprism_from-umb_import_ex_pacman.100_tmp_indir_/prism.model.umb.

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

Log file: prism_from-umb_import_ex_pacman.100_rep2.log

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

Version: 4.11
Date: Tue Oct 13 07:30:58 GMT+02:00 2026
Hostname: n23m0050.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4962436/tmpcrey8qv3prism_from-umb_import_ex_pacman.100_tmp_indir_/prism.model.umb

Error: Error importing from UMB: Could not open UMB file: /w0/tmp/slurm_tq429871.4962436/tmpcrey8qv3prism_from-umb_import_ex_pacman.100_tmp_indir_/prism.model.umb.

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

Log file: prism_from-umb_import_ex_pacman.100_rep3.log

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

Version: 4.11
Date: Tue Oct 13 07:13:41 GMT+02:00 2026
Hostname: n23m0120.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4961722/tmpvxwoph7_prism_from-umb_import_ex_pacman.100_tmp_indir_/prism.model.umb

Error: Error importing from UMB: Could not open UMB file: /w0/tmp/slurm_tq429871.4961722/tmpvxwoph7_prism_from-umb_import_ex_pacman.100_tmp_indir_/prism.model.umb.

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

Log file: prism_from-umb_import_ex_pacman.100_rep4.log

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

Version: 4.11
Date: Tue Oct 13 09:10:16 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 -importmodel /w0/tmp/slurm_tq429871.4964950/tmp6my5hcnuprism_from-umb_import_ex_pacman.100_tmp_indir_/prism.model.umb

Error: Error importing from UMB: Could not open UMB file: /w0/tmp/slurm_tq429871.4964950/tmp6my5hcnuprism_from-umb_import_ex_pacman.100_tmp_indir_/prism.model.umb.

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

Log file: prism_from-umb_import_ex_pacman.100_rep5.log

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

Version: 4.11
Date: Tue Oct 13 07:22:29 GMT+02:00 2026
Hostname: n23m0097.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4962060/tmp8vqlst38prism_from-umb_import_ex_pacman.100_tmp_indir_/prism.model.umb

Error: Error importing from UMB: Could not open UMB file: /w0/tmp/slurm_tq429871.4962060/tmp8vqlst38prism_from-umb_import_ex_pacman.100_tmp_indir_/prism.model.umb.

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

Log files for model pacman.100 and tool configuration prism_from-umb_import_ex