UInt64 ISolverData.MaxNodeId { get; }

Gets the current maximum node id of the solver.