[Scip] trying to read debug output of infeasibility

[George Nychis]

Hi all,

I am trying to debug why I am getting an infeasibility error with
#define SCIP_DEBUG.

If I grep for "to be infeasible" I get:

[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
[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
[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
[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
[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
[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

Therefore, I am guessing it is this constraint:

  subto expComp_eq:     # The component in the exponential function is the
packets/second * vulnerability win
      forall <l> in L : forall <j> in U[l] : expComp[l,j] * LinkPPS[j] == 1
- LinkAirtime[j];

How do I read the debug output in relation to that constraint to understand
why exactly it is infeasible?

Thanks for any help, and sorry for the barrage of e-mails for help!

- George
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20130923/04f59f51/attachment.html>