Originally posted by: SystemAdmin

Hi all,

I have an (probably) easy question.
If CPLEX is running in B&C, so no "infeasible solution" in first place, is it prooven that there will be a feasible solution?
So in other words, if I don't need a solution, can I abort the B&C and be sure for feasibility of the model?

Regards, Chris.
#CPLEXOptimizers
#DecisionOptimization

Originally posted by: SystemAdmin

The problem is proven to be feasible as soon as CPLEX has found an incumbent (i.e. a feasible solution). Unless CPLEX has found an incumbent you/we don't know whether the problem is feasible or not.
If you want to stop as soon as feasibility is proved then set the solution limit parameter to 1.
You may also consider setting the emphasis to "feasibility".
Sometimes it is faster you use feasopt and stop as soon as a solution with no violations is found.
#CPLEXOptimizers
#DecisionOptimization

Originally posted by: SystemAdmin

Hi Daniel,

thank you for your reply.

Regards, chris
#CPLEXOptimizers
#DecisionOptimization