Each decomposition node now has a Solver object