show time elapsed in Solver