cleanup of the solver execution interface