Rafael, The error was not quite as simple to fix as I thought but I have fixed an error in CoinPresolveTighten.cpp The stable/2.0 and trunk versions of Cbc should now use fixed code. John Forrest.