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());
if (solverStatisticType != SolverStatisticType.NONE) {
SolverStatistic statistic = unsolvedSolutionFileToStatisticMap.get(unsolvedSolutionFile);