[Bonmin-tickets] [Bonmin] #31: Segmentation fault on MINLPLib instance

[Bonmin]

#31: Segmentation fault on MINLPLib instance
----------------------+-----------------------------------------------------
Reporter:  giacomo.n  |       Owner:  pbonami
    Type:  defect     |      Status:  new    
Priority:  minor      |   Component:  Bonmin 
 Version:  trunk      |    Keywords:         
----------------------+-----------------------------------------------------
 Hi,
 when I try to solve the gear4 instance of MINLPLib with bonmin (using the
 BB algorithm) I get a segmentation fault, and it's a very small instance.
 I tried on two different machines and I get the same error.
 I am attaching the related .nl file.

 Thanks in advance

 Giacomo

-- 
Ticket URL: <https://projects.coin-or.org/Bonmin/ticket/31>
Bonmin <http://projects.coin-or.org/Bonmin>
Basic Open-source Nonlinear Mixed INteger programming