The user now chooses between SolverFactory modules, no longer Solvers, since we want to have a solver for each decomposition node.