[Clp] Assertion/Segfault during postsolve
Christoph Cullmann
cullmann at absint.de
Tue Nov 25 06:37:29 EST 2008
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
-------------- next part --------------
\ Generated automatically by libpathan-0.99-pre95934 on Tue Nov 25 9:36:41 GMT 2008
\ Objective Function
Maximize
obj: 5 x77c +370 x741 +5 x7aa +5 x72d +18 x7c5 +170 x6f7 +341 x7ee
+208 x7ce +111 x73c +x7eb +x74b +80 x7be +558 x7dd +575 x7c6 +x7d0
+211 x7cf +5 x7a0 +5 x70a +18 x7b9 +5 x78f +5 x712 +5 x737 +211 x774
+5 x725 +71 x7bc +471 x742 +659 x380 +98 x71c -3 x7e9 +405 x74e +231 x7c2
+5 x785 +209 x749 +18 x7c3 +18 x7c1 +5 x6ee +558 x75a +x1 +86 x73b
+464 x7c7 +558 x385 +5 x7b3 +14 x738 +183 x740 +212 x30a +85 x7b0 +404 x368
+18 x73e +558 x758 +158 x2db +874 x311 +122 x2e7 +18 x734 +157 x78c +874 x7da
+5 x700 +195 x75c +558 x866 +115 x798 -252 x7e2 +558 x7f8
Subject To
\ Constant in Objective Function
x1 = 21084
\ Constraints
-x742 >= -1
-x741 +x742 -x6ee = 0
x741 -x6f7 -x740 = 0
x740 -x2db -x700 = 0
-x70a -x73e +x2db = 0
x84b -x70a -x73e = 0
-x712 +x73e -x2e7 = 0
-x73c -x71c +x2e7 = 0
-x73c +x71b -x71c = 0
x73c -x725 -x73b = 0
x84d -x725 -x73b = 0
-x72d +x73b -x734 = 0
-x737 -x738 +x734 = 0
x84e -x737 -x738 = 0
-x72d +x84f -x734 = 0
-x712 +x711 -x2e7 = 0
x6ff -x2db -x700 = 0
-x6f7 +x6f6 -x740 = 0
-x741 +x853 -x6ee = 0
-x75c >= -1
-x749 -x30a +x75c = 0
-x74b -x74e +x30a = 0
x74d -x74e -x758 = 0
-x74b -x749 +x311 = 0
-x75a -x758 +x311 = 0
-x7c7 >= -1
-x7c6 -x774 +x7c7 = 0
-x7c6 -x774 +x85a = 0
-x77c -x7c5 +x7c6 = 0
x7c5 -x785 -x78c = 0
-x78f -x7c3 +x78c = 0
-x78f -x7c3 +x85b = 0
-x7c2 +x7c3 -x798 = 0
x85c -x7c2 -x798 = 0
-x7a0 +x7c2 -x7c1 = 0
-x7aa +x7c1 -x7b0 = 0
-x7aa -x7b0 +x85d = 0
-x7b9 -x7b3 +x7b0 = 0
x85e -x7b9 -x7b3 = 0
-x7be +x7b9 -x7bc = 0
-x7be -x7bc +x85f = 0
-x7a0 -x7c1 +x79f = 0
-x785 +x861 -x78c = 0
-x77c -x7c5 +x862 = 0
-x7e2 >= -1
-x7ce -x7cf -x7e2 = -1
x7cf -x7d0 -x368 = 0
-x7dd +x863 -x368 = 0
-x7ce -x7d0 +x7da = 0
-x7dd +x7da -x866 = 0
-x7e9 >= -1
-x7ee -x7eb -x7e9 = -1
-x7ee +x7ed -x7f8 = 0
-x7eb +x380 -x7e9 = 0
x380 -x385 -x7f8 = 0
x741 +x73c +x742 +x73b +x740 +x73e +x2db
+x734 +x2e7 >= 0
-x741 -x73c -x742 -x73b -x740 -x73e -x2db
-x734 -x2e7 >= -9
x7c5 +x7c6 +x7b9 +x7c1 +x7c3 +x7c2 +x7c7
+x7b0 +x78c >= 0
-x7c5 -x7c6 -x7b9 -x7c1 -x7c3 -x7c2 -x7c7
-x7b0 -x78c >= -9
\ Lower Bounds
Bounds
x77c >= 0
x7aa >= 0
x741 >= 0
x72d >= 0
x85e >= 0
x7c5 >= 0
x6f7 >= 0
x7ce >= 0
x7ee >= 0
x73c >= 0
x7eb >= 0
x74b >= 0
x7be >= 0
x7dd >= 0
x7c6 >= 0
x84e >= 0
x7d0 >= 0
x7cf >= 0
x84d >= 0
x853 >= 0
x862 >= 0
x7a0 >= 0
x84b >= 0
x71b >= 0
x6ff >= 0
x70a >= 0
x7b9 >= 0
x74d >= 0
x78f >= 0
x85c >= 0
x712 >= 0
x774 >= 0
x725 >= 0
x737 >= 0
x84f >= 0
x7bc >= 0
x863 >= 0
x742 >= 0
x380 >= 0
x71c >= 0
x7e9 >= 0
x74e >= 0
x7c2 >= 0
x785 >= 0
x749 >= 0
x7c3 >= 0
x7c1 >= 0
x711 >= 0
x6ee >= 0
x75a >= 0
x73b >= 0
x85b >= 0
x6f6 >= 0
x7c7 >= 0
x385 >= 0
x7b3 >= 0
x738 >= 0
x740 >= 0
x85a >= 0
x7b0 >= 0
x30a >= 0
x368 >= 0
x7ed >= 0
x861 >= 0
x79f >= 0
x73e >= 0
x758 >= 0
x2db >= 0
x311 >= 0
x2e7 >= 0
x734 >= 0
x85d >= 0
x78c >= 0
x7da >= 0
x700 >= 0
x75c >= 0
x866 >= 0
x798 >= 0
x7e2 >= 0
x85f >= 0
x7f8 >= 0
\ Integer Requirements: ILP
Generals
x1
x77c x7aa x741 x72d x85e x7c5 x6f7 x7ce x7ee x73c
x7eb x74b x7be x7dd x7c6 x84e x7d0 x7cf x84d x853
x862 x7a0 x84b x71b x6ff x70a x7b9 x74d x78f x85c
x712 x774 x725 x737 x84f x7bc x863 x742 x380 x71c
x7e9 x74e x7c2 x785 x749 x7c3 x7c1 x711 x6ee x75a
x73b x85b x6f6 x7c7 x385 x7b3 x738 x740 x85a x7b0
x30a x368 x7ed x861 x79f x73e x758 x2db x311 x2e7
x734 x85d x78c x7da x700 x75c x866 x798 x7e2 x85f
x7f8
\ Statistics:
\ SuperCFG: #nodes=0, #edges=0
\ SuperCG: #nodes=325, #edges=648
\ ILP: #variables=60, #constraints=59
\ Ich will eine Maschine sein,
\ Arme zu greifen, Beine zu gehen,
\ Kein Schmerz, kein Gedanke.
End
More information about the Clp
mailing list