[Scip] Informations about the Search Tree

[berthold@zib.de]

Hi Nikolaj,

Just one additional remark.

>> What is the simpliest way to know if a node was cut off ? if a primal
>> solution was detected at a node?

Detecting a primal solution is indeed a reason to cut off a node, but by
far the rarest one. In most cases a node is cut off because:
- either the corresponding subproblem (original MIP+branching decisions)
is infeasible or
- the local lower bound (optimum of the subproblem's LP relaxation)
exceeds the primal bound.

Best, Timo