Fixed bug in max-matching. When the model was infeasible it would throw an exception. We expect this behavior in certain graphs for the xCM mechanism