Added to/fromFile to SolverStatistics.