Moved StatisticsManager to CSPOM for benchmarking. Trying to optimize
ProblemCompiler.