Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: 1058920
	at org.sat4j.opt.AbstractSelectorVariablesDecorator.admitABetterSolution(Unknown Source)
	at org.sat4j.opt.AbstractSelectorVariablesDecorator.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)