stopSearch_ = false;
bestMoveSoFar_ = null;
bestScoreSoFar_ = Integer.MIN_VALUE;
// Set up the play clock:
TimedTaskMonitor searchTask = new TimedTaskMonitor(this);
long time = (playClock_-2) * 1000; // convert to ms, giving ourselves a 2 second margin
searchTimer_.schedule(searchTask, time);
// We now have playClock-2 seconds to finish our search.