[Clp] Assertion/Segfault during postsolve

[John J Forrest]

Looks like a bug in presolve which has been fixed in trunk.  I will have a 
look at the differences between stable and trunk.

John Forrest





[Clp] Assertion/Segfault during postsolve

Christoph Cullmann 
to:
clp
11/25/2008 06:41 AM


Sent by:
clp-bounces at list.coin-or.org







Hi,

with the attached generated lp-file, I get the following assertion in the 
debug build or segfault in release, any ideas?
I am using a up-to-date 2.2 version from SVN.

clpsolve: CoinPackedMatrix.cpp:638: void 
CoinPackedMatrix::removeGaps(double): 
Assertion `start_[i] == start_[i-1] + length_[i-1]' failed. 

Program received signal SIGABRT, Aborted.
0x00007f537e9ab095 in raise () from /lib/libc.so.6
(gdb) bt 
#0  0x00007f537e9ab095 in raise () from /lib/libc.so.6
#1  0x00007f537e9acaf0 in abort () from /lib/libc.so.6
#2  0x00007f537e9a42df in __assert_fail () from /lib/libc.so.6
#3  0x00000000008973db in CoinPackedMatrix::removeGaps (this=<value 
optimized 
out>, removeValue=-1) at CoinPackedMatrix.cpp:638
#4  0x000000000075ebda in CoinPostsolveMatrix (this=0x7fff87176930, 
si=<value 
optimized out>, ncols0_in=<value optimized out>, nrows0_in=60, 
    nelems0=192, maxmin=1, sol_in=<value optimized out>, acts_in=0xb68640,
    colstat_in=0xb68b40 
"\003\003\003\003\001\003\003\003\003\003\003\002\003\003\003\003\002\003\001\003\001", 

'\003' <repeats 64 times>, '\001'<repeats 57 times>, "?", 
rowstat_in=0xb68b92 
"\003\003\003", 
'\001' <repeats 57 times>, "?") at ClpPresolve.cpp:1321
#5  0x000000000075f168 in ClpPresolve::postsolve (this=0x7fff87177730, 
updateStatus=true) at ClpPresolve.cpp:227
#6  0x00000000007c2e22 in ClpSimplex::initialSolve (this=0x7fff871778a0, 
options=@0x7fff87177f50) at ClpSolve.cpp:2320
#7  0x000000000070aa25 in OsiClpSolverInterface::initialSolve 
(this=0x7fff87178b00) at OsiClpSolverInterface.cpp:358

Greetings
Christoph

-- 
-------------------------------------- Christoph Cullmann ---------
AbsInt Angewandte Informatik GmbH      Email: cullmann at AbsInt.com
Science Park 1                         Tel:   +49-681-38360-22
66123 Saarbrücken                      Fax:   +49-681-38360-20
GERMANY                                WWW:   http://www.AbsInt.com
--------------------------------------------------------------------
Geschäftsführung: Dr.-Ing. Christian Ferdinand
Eingetragen im Handelsregister des Amtsgerichts Saarbrücken, HRB 11234

[attachment "17191-t17_2-main.lp" deleted by John J Forrest/Watson/IBM] 
_______________________________________________
Clp mailing list
Clp at list.coin-or.org
http://list.coin-or.org/mailman/listinfo/clp

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/clp/attachments/20081125/9906d5b6/attachment.html>