}
long stepref = System.nanoTime();
while (System.currentTimeMillis() < deadline
&& !Thread.currentThread().isInterrupted()
&& op.admitABetterSolution()) {
model = solver.model();
GraphColoring<V, E> coloring = this.getColoring(colors,
vertices, numberOfVertices, model);
long now = System.nanoTime();
LOGGER.debug(
"solution found with {} colors and objective value {} in {}/{} ns",