Help required regarding modeling in PRISM

[Sohaiba Iqbal]

Hello all
I am research student and using PRISM for modeling. I am using 32GB RAM and Intel® Xeon(R) CPU E5-2407 v2 @ 2.40GHz × 4  processor for building my model.

My model builds with the following output

Building model...

Computing reachable states... 109734 249507 337181 480949 588254 731124 877502 1025692 1067144 1218983 1356174 1493542 1614702 1765962 1902297 2022454 2162722 2165415 states
Reachable states exploration and model construction done in 56.633 secs.
Sorting reachable states list...

Time for model construction: 57.689 seconds.

Warning: Deadlocks detected and fixed in 95904 states

Type:        DTMC
States:      2165415 (1 initial)
Transitions: 3771158


But when I add some code in my model, I face some problems.  I allocated 22g to java and 5g to CUDD. 
After addition of the desired code, when I build my model using explicit engine it keeps on building and when I check how much memory it is utilizing it shows me 87%. I am attaching screen shot (memory_usage). It did not give any result or it did not build successfully. 

When I build the model with MTBB engine having 22g CUDD and 5g java it gives me java runtime error. I am attaching error_MTBB here

Kindly guide me in this regard.

[someusernam...@gmail.com]

Hi,
when looking into the error-log, it seems that the error is that Cudd crashes at line

0x29fa4 of libbdd.so. Note that this is not a java runtime error, but a segfault. You can
try this (compare error-log):
# Failed to write core dump. Core dumps have been disabled. To enable core dumping, try "ulimit -c unlimited" before starting Java again
If you provide a core dump, this could be helpful (although I don't want to raise your hopes
too much). Also, when you upload your code, someone might be able to reproduce and fix your
problem.
Regards,
Christopher