UInt64 ISolverData.MaxElementId { get; }

Gets the current maximum element id of the solver.