Global timeout not properly taken into account when optimizing solutions
When optimizing a solution, the timeout should be global, not for each call to the issatisfiable() method.
This is taken into account thanks to the boolean parameter global in isSatisfiable(). If it is true, the timeout will not be reset at each time.
It looks like a problem appears when optimizing Eclipse solutions: https://bugs.eclipse.org/bugs/show_bug.cgi?id=336967