TreePool now uses SolverNodeList