+ (System.currentTimeMillis() - getBeginTime())
/ 1000.0);
getLogWriter().println(
CURRENT_OPTIMUM_VALUE_PREFIX
+ optproblem.calculateObjective());
optproblem.discard();
}
if (isSatisfiable) {
setExitCode(ExitCode.OPTIMUM_FOUND);
} else {
setExitCode(ExitCode.UNSATISFIABLE);