ExactSolver reset to a working state.
Using and HashSet with 400+ Millions of nodes is not doable.
Something new must be worked out ....