changed to total_solve_time