Originally posted by: ZoharFeldman

Hi,

I have a search that ended with no solution.

When I query the solver for the failure status, I get "searchHasNotFailed". Yet, the solver log ends with "problem found infeasible at the root node".

The problem is indeed infeasible, and when I ran it with previous version of cp, I got "searchHasFailedNormally" which used to indicate infeasibility.

Could you please explain what does searchHasNotFailed mean? and why do I now get this status in the new version?

Thanks,

Zohar

Originally posted by: ol

Hello,

there is a bug in the update of the failure status returned by cp.getInfo(IloCP::FailStatus) in this case.

Instead, you can check cp.getStatus(), it will answer Infeasible as expected.

Regards,

Olivier

Originally posted by: ol

Hello Zohar,
In fact, I was wrong in my previous answer, I checked  cp.getInfo(IloCP::FailStatus) after cp.next() without having called cp.endSearch() where the update of the getInfo dataStructure is done. The sequence:

  cp.next();  

  cp.endSearch();

  cp.getInfo(IloCP::FailStatus);

works as expected.

The doc mention:

 Note that during search (for example in the execution of a custom IlcGoal), the status is always IloCP::SearchHasNotFailed.

Regards

Olivier