Sat4J не хватает места в куче

Question

Я пытаюсь решить частично взвешенную проблему максимальной удовлетворенности, используя SAT-решатель, SAT4J.

Мой файл.wcnf большой, он содержит около миллиона ограничений.

Когда я запускаю решатель, я получаю следующее как часть вывода (OutOfMemoryError: пространство кучи Java):

Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
at org.sat4j.minisat.constraints.cnf.WLClause.<init>(WLClause.java:67)
at org.sat4j.minisat.constraints.cnf.LearntWLClause.<init>(LearntWLClause.java:38)
at org.sat4j.pb.constraints.UnitBinaryWLClauseConstructor.constructLearntClause(UnitBinaryWLClauseConstructor.java:66)
at org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.constructLearntClause(AbstractPBClauseCardConstrDataStructure.java:197)
at org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure.createUnregisteredClause(AbstractPBClauseCardConstrDataStructure.java:75)
at org.sat4j.minisat.core.Solver.analyze(Solver.java:614)
at org.sat4j.minisat.core.Solver.search(Solver.java:1245)
at org.sat4j.minisat.core.Solver.isSatisfiable(Solver.java:2018)
at org.sat4j.tools.SolverDecorator.isSatisfiable(SolverDecorator.java:114)
at org.sat4j.tools.SolverDecorator.isSatisfiable(SolverDecorator.java:114)
at org.sat4j.pb.PseudoOptDecorator.admitABetterSolution(PseudoOptDecorator.java:177)
at org.sat4j.pb.PseudoOptDecorator.admitABetterSolution(PseudoOptDecorator.java:170)
at org.sat4j.ILauncherMode$2.solve(ILauncherMode.java:311)
at org.sat4j.AbstractLauncher.solve(AbstractLauncher.java:278)
at org.sat4j.AbstractLauncher.run(AbstractLauncher.java:245)
at org.sat4j.maxsat.GenericOptLauncher.main(GenericOptLauncher.java:229)

То есть ошибка пространства вне кучи. Как мне увеличить размер пространства кучи и какова подходящая величина для его увеличения?

Вот как я вызываю решатель sat4j для моего файла ограничений constraint.wcnf:

/usr/bin/java -jar sat4j-maxsat.jar constraints.wcnf

Спасибо

Answer 1

Просто используйте

java -Xms2g -Xmx2g -jar sat4j-maxsat.jar constraints.wcnf

например, использовать 2 ГБ памяти кучи.