getSolverModel->getInternalModel (plus better SOS printing)