ExhaustiveSearch: processWorkingSolutionDuringMove()
javadoc
ExhaustiveSearch: config
ExhaustiveSearch: startNode.setOptimisticBound()
exhaustive search: Fix depth bugs
exhaustive search: Fix infinite loop