Timeout should be in ms, not s
Received from Arnaud Malapert:
Je crois qu'il y a une erreur dans le message de la TimeoutException.
Dans la classe Solver :
if (!undertimeout) {
String message = " Timeout (" + timeout
+ (timeBasedTimeout ? "s" : " conflicts") + ") exceeded";
throw new TimeoutException(message); //$NON-NLS-1$//$NON-NLS-2$
}
Il me semble que timeout est en millisecondes plutôt qu'en secondes.