OptToSATAdapter throws a timeout exception when an optimal solution cannot be found.
This bug was discovered when building tycho: https://bugs.eclipse.org/bugs/show_bug.cgi?id=408997
The release 2.3.4 performs the optimization in isSatisfiable() instead of model() in the OptTo[PB]SATAdapter classes.
However, that new release introduced a semantic change in the class: a TimeoutException is now launched when the optimal solution is not found, while such exception was only occurring when no solution at all could be found.
The fix is quite simple: the TimeoutException needs to be caught, and only launched if no solution has been found yet.