<div dir="ltr">Hi all,<div><br></div><div>I am trying to debug why I am getting an infeasibility error with #define SCIP_DEBUG.</div><div><br></div><div>If I grep for "to be infeasible" I get:</div><div><br></div>
<div><div>[src/scip/cons_quadratic.c:8230] debug: found constraint <expComp_eq_38> to be infeasible; sides: [1, 1], activity: [1, 1], infeas: 1.0784e-09</div><div>[src/scip/cons_quadratic.c:8230] debug: found constraint <expComp_eq_38> to be infeasible; sides: [1, 1], activity: [1, 1], infeas: 1.0784e-09</div>
<div>[src/scip/cons_quadratic.c:8230] debug: found constraint <expComp_eq_38> to be infeasible; sides: [1, 1], activity: [1, 1], infeas: 1.0784e-09</div><div>[src/scip/cons_quadratic.c:8230] debug: found constraint <expComp_eq_38> to be infeasible; sides: [1, 1], activity: [1, 1], infeas: 1.0784e-09</div>
<div>[src/scip/cons_quadratic.c:8230] debug: found constraint <expComp_eq_38> to be infeasible; sides: [1, 1], activity: [1, 1], infeas: 1.0784e-09</div><div>[src/scip/cons_quadratic.c:8230] debug: found constraint <expComp_eq_62> to be infeasible; sides: [1, 1], activity: [0.841751, 1], infeas: 1.08939e-09</div>
</div><div><br></div><div>Therefore, I am guessing it is this constraint:</div><div><br></div><div><div>  subto expComp_eq:     # The component in the exponential function is the packets/second * vulnerability win</div><div>
      forall <l> in L : forall <j> in U[l] : expComp[l,j] * LinkPPS[j] == 1 - LinkAirtime[j];</div></div><div><br></div><div>How do I read the debug output in relation to that constraint to understand why exactly it is infeasible?</div>
<div><br></div><div>Thanks for any help, and sorry for the barrage of e-mails for help!</div><div><br></div><div>- George</div></div>