Change the default time limit to 10s in LocalSolver

and report "Stopped at time limit of {} seconds" if the time limit was hit as suggested by Robert Fourer.