Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at org.sat4j.core.Vec.ensure(Unknown Source)
	at org.sat4j.core.Vec.push(Unknown Source)
	at org.sat4j.minisat.constraints.cnf.Lits.watch(Unknown Source)
	at org.sat4j.minisat.constraints.cnf.BinaryClause.register(Unknown Source)
	at org.sat4j.minisat.constraints.cnf.OriginalBinaryClause.brandNewClause(Unknown Source)