if (hasTimedOut()) { System.err.println("Found a solution, but will stop looking due to " + (timeoutMillis/1000) + "-sec timeout.  " + "Spent " + (getElapsedMillis()/1000) + " secs.");
if (satisfied()) {
    protected void main() {	// if we haven't found a solution, keep looking	if (!hasIncumbent()) {	    return;	}	// otherwise, see if we've timed out.  if so, keep track of	// the best solution and abort.	if (hasTimedOut()) {	    System.err.println("Found a solution, but will stop looking due to " + 			       (timeoutMillis/1000) + "-sec timeout.  " +			       "Spent " + (getElapsedMillis()/1000) + " secs.");	    sol = getIncumbentValues(x);	    abort();	}    }