[Couenne] Got "Assertion `objind >= 0' failed" error

[sguazt]

On Fri, Sep 16, 2011 at 5:47 PM, sguazt <marco.guazzone at gmail.com> wrote:
> Hi,
>
> I've just compiled Couenne (the trunk version) in two new machines and
> now when I run it against one of my math problems I get the following
> error:
>
> couenne: ../../../../Couenne/src/bound_tightening/boundTightening.cpp:226:
> int Couenne::CouenneProblem::redCostBT(const OsiSolverInterface*,
> Couenne::t_chg_bounds*) const: Assertion `objind >= 0' failed.
>
> I've tried both through AMPL and via command line.
> I've also tried to compile the stable version 0.4.0 but I get the same error :(
>
> The same math problem run fine on another machine with both a Couenne
> trunk version compiled some day ago (Sep 13, 2011) and the stable
> version.
>
> The three machines are different:
> * "broken" machine:
>  - Linux Fedora  14 x86_64 with GCC 4.6.1 / glibc 2.13
>  - Linux CentOS 5.6 x86_64 with GCC 4.6.1 / glibc 2.5
> * "working" machine:
>  - Linux Fedora 15 x86_64 with GCC 4.6.0 20110603 (Red Hat 4.6.0-10)
> / glibc 2.14
>
> One thing that the two "broken" machines have in common is GCC 4.6.1
> so it can be the source of error.
>
> Have you any experience of this kind of problem or of problems with GCC 4.6.1?
>
> I attach the problem in nl format so that you can experiment with.
>

UPDATE: I've installed on "broken" machines an older version of GCC
and the error is disappeared.
Specifically:
* Linux Fedora 14 x86_64 with GCC 4.5.1 20100924 (Red Hat 4.5.1-4)
* Linux CentOS 5.6 x86_64 with GCC 4.4.4 20100726 (Red Hat 4.4.4-13)

So it seems there is something in GCC 4.6.1 (or in some library that
GCC depends on) that "offends" couenne.
For your info, GCC 4.6.1 has been compiled with the following libraries:
* GMP 5.0.2 (http://gmplib.org/)
* MPC 0.9 (http://www.multiprecision.org/)
* MPFR 3.0.1  (http://www.mpfr.org/)

If you have the possibility to try to compile Couenne with GCC 4.6.1,
I would be thankful if you could try to solve the problem I've
attached in the previous email and tell me if you get any error.

Thank you very much.

Best,

-- Marco