* last_time -> inside Solver