I can not open the file you attached. It say the version of sas is inkompatible, but thank you. I think it solves our problem is not to find the best values for this problem. The model represents only an example of the problem. There may be much larger and much more binary variables. However, for our application is important to get all binary variables always optimal value, otherwise we can not prove the correctness of the solution to the problem. And if the solver has difficulty to deliver the optimal binary variables, then we can not use this modeling. Maybe there are better modeling, but I have no idea
... View more