State evaluation results in  java.lang.OutOfMemoryError: Java heap space | Run configuration: -Xmx2048m |
Fixed: variables assignment, full domain values integrated into the formulae atoms.