SolverStatistic statistic = unsolvedSolutionFileToStatisticMap.get(unsolvedSolutionFile);
if (statistic == null) {
statistic = solverStatisticType.create();
unsolvedSolutionFileToStatisticMap.put(unsolvedSolutionFile, statistic);
}
statistic.addListener(solver, solverBenchmark.getName());
}
solver.solve();
result.setTimeMillisSpend(solver.getTimeMillisSpend());
Solution solvedSolution = solver.getBestSolution();
result.setScore(solvedSolution.getScore());