Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at org.sat4j.minisat.constraints.cnf.WLClause.<init>(Unknown Source)
	at org.sat4j.minisat.constraints.cnf.LearntWLClause.<init>(Unknown Source)
	at org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure.createUnregisteredClause(Unknown Source)
	at org.sat4j.minisat.core.Solver.analyze(Unknown Source)
	at org.sat4j.minisat.core.Solver.search(Unknown Source)
	at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
	at org.sat4j.tools.SolverDecorator.isSatisfiable(Unknown Source)
	at org.sat4j.maxsat.WeightedMaxSatDecorator.admitABetterSolution(Unknown Source)
	at org.sat4j.maxsat.WeightedMaxSatDecorator.admitABetterSolution(Unknown Source)
	at org.sat4j.AbstractOptimizationLauncher.solve(Unknown Source)
	at org.sat4j.AbstractLauncher.run(Unknown Source)
	at org.sat4j.maxsat.GenericOptLauncher.main(Unknown Source)