最適化後にOptimization Status CodeがINF_OR_UNBDを返したり、メッセージとして"Model is infeasible or unbounded"が出力されることがあります。これはpresolveにおけるいくつかの処理に由来して、Infeasible（実行不能）かUnbounded（非有界）かの判断がつかないような場合に発生します。
このような場合にモデルがInfeasibleかUnboundedかを判別するためには、DualReductionsパラメータを0に設定、モデルをreset、再度最適化を実行するといった手順が必要です。これにより最適化結果はINFEASIBLEかUNBOUNDEDのいずれかを返します。
もし、モデルがInfeasibleであれば、モデルが実行不能(Infeasible)な理由を調べるには？の手順でInfeasibleの原因を調査可能です。
もし、モデルがUnboundedであれば、UnbdRayの値を見ることで、Unboundedの原因を探ることが可能です。ただし、この情報にアクセスするためには、あらかじめInfUnbdInfo=1を設定する必要があります。また、この情報は整数変数を含まない、連続なモデルでのみサポートされています。