Optimization timeout
In some cases, it is important to be able to limit the amount of time dedicated to the optimization, i.e. it is important to let the solver find a solution, but we would like to limit to a few seconds only the time to optimize the solution found.