• Official comment

Hi Paolo,

There are 11 constraints of the form

x * y >= 0.02


with y being a binary variable, effectively forcing all these binaries to 1 to satisfy the constraints.
Then there is the first constraint:

y_1 + ... + y_11 <= 10


This can never be satisfied if all 11 y variables have to be 1.

Cheers,
Matthias

crosspost on or.stackexchange.com

Thanks a lot Matthias!