Adding more timing info to CachingFilteringSolverInterface