Notifies the solver that it should stop at its earliest convenience. This method returns immediatly, but it takes an undetermined time for the {@link #solve()} to actually return.
This method is thread-safe.
@return true if successful
@see #isTerminatedEarly()
@see Future#cancel(boolean)