op.getObjectiveValue(), now - stepref,
now - baseref });
if (listener != null) {
listener.handle(this, coloring);
}
op.discardCurrentSolution();
stepref = System.nanoTime();
long nextTO = Math.max(0,
deadline - System.currentTimeMillis());
solver.setTimeoutMs(nextTO);
LOGGER.debug("timeout set to {} ms", nextTO);