when a thread used by choco solver is interrupted by Thread.interrupt() method, the solver should be stopped
when a thread used by choco solver is interrupted by Thread.interrupt() method, the solver should be stopped

chocoteam/choco3,chocoteam/choco3,chocoteam/choco3,chocoteam/choco3