Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-clone.sh-partial_industrial-_home_jplanes_evaluation_benchmarks_partial_industrial_PROTEIN_INS_3ebx_.1era_.g.wcnf.t.wcnf Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/PROTEIN_INS/3ebx_.1era_.g.wcnf.t.wcnf Job solver: /home/jplanes/evaluation/solvers/KnotPipatsrisawat/clone.sh Exception in thread "main" java.lang.OutOfMemoryError: Java heap space at sun.misc.FloatingDecimal.readJavaFormatString(Unknown Source) at java.lang.Double.parseDouble(Unknown Source) at mark.inf.wcnf.WCnfrDimacs.wcnf(WCnfrDimacs.java:55) at mark.inf.wcnf.WCnf.constructWCnf(WCnf.java:38) at mark.inf.wcnf.WCnf.constructWCnf(WCnf.java:51) at mark.reason.apps.WCnfSplit.main(WCnfSplit.java:90) c Variable splitting failed [exit code = 1]. 51.543u 0.930s 0:53.35 98.3% 0+0k 0+0io 2pf+0w