[Symphony-tickets] [SYMPHONY] #50: declares node limit reached for an infeasible problem

[SYMPHONY]

#50: declares node limit reached for an infeasible problem
--------------------+-------------------------------------------------------
 Reporter:  asm4    |       Owner:  tkr
     Type:  defect  |      Status:  new
 Priority:  normal  |   Milestone:     
Component:  Master  |     Version:  5.2
 Severity:  normal  |    Keywords:     
--------------------+-------------------------------------------------------
 for some infeasible problems with node limit, symphony declares node limit
 reached (instead of 'the problem is infeasible!'). Running with verbosity
 12 suggests that feasibility is lost and the node is fathomed correctly.

 to replicate:
 run symphony with node_limit of 1 and input file:
 /home/asm4/p0033.modified

 The problem has feasible lp solution but becomes infeasible on adding
 cuts.

-- 
Ticket URL: <https://projects.coin-or.org/SYMPHONY/ticket/50>
SYMPHONY <https://projects.coin-or.org/SYMPHONY>
A solver, callable library, and customizable framework for mixed-integer linear programs.