Added an elapsed time label to the Solving dialog