[Couenne] false infeasible

[ALI ZAZOU Abdelkrim]

Hi,

i'm wondering if couenne can handle large MIQCP problems (12k 
Variables), because i implemented a small problem of the exact same 
formulation as the large one and it solves well but when i try to solve 
the large one it gave me the information that :
"=C Couenne: Warning, tightened NLP is infeasible
  =CReformulation finds model infeasible."
And in reality this problem can be solve with Baron, so does it's a 
problem of size?

thank you very much for your informations.

Abdelkrim