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.core.Solver.addConstr(Unknown Source)
	at org.sat4j.minisat.core.Solver.addClause(Unknown Source)
	at org.sat4j.tools.SolverDecorator.addClause(Unknown Source)
	at org.sat4j.opt.MaxSatDecorator.addClause(Unknown Source)
	at org.sat4j.reader.DimacsReader.flushConstraint(Unknown Source)
	at org.sat4j.reader.DimacsReader.handleLine(Unknown Source)
	at org.sat4j.reader.DimacsReader.readConstrs(Unknown Source)
	at org.sat4j.reader.DimacsReader.parseInstance(Unknown Source)
	at org.sat4j.reader.DimacsReader.parseInstance(Unknown Source)
	at org.sat4j.reader.Reader.parseInstance(Unknown Source)
	at org.sat4j.AbstractLauncher.readProblem(Unknown Source)
	at org.sat4j.AbstractLauncher.run(Unknown Source)
	at org.sat4j.maxsat.GenericOptLauncher.main(Unknown Source)