[Soplex] Crash in polymakes SoPlex interface

[Lars Kastner]

Dear SoPlex developers,


I am using SoPlex via polymake in a rather large computation and am experiencing
spurious crashes. They come from the following line:
https://github.com/polymake/polymake/blob/59df15ebbefadc1539fb5bf415a0d97f56125dfe/bundled/soplex/apps/polytope/src/soplex_interface.cc#L217
where the status seems to be 'ERROR'. I added the following line

soplex.writeFileRational("debug.lp", nullptr, nullptr, nullptr);

in the polymake interface to save one of the crashing LPs, which I attached to
this email.

I would greatly appreciate your input on how to debug this issue. Is there
something immediately wrong with this LP or our interface?

Furthermore I am experiencing a bunch of
EMAISM: numerical violation after disaggregating variable
Are these something I should be worried about?


Thank you and best regards,
Lars Kastner
-------------- next part --------------
Minimize
  obj: 1 x0 + 1 x1 + 1 x2 + 1 x3 + 1 x4
	 + 1 x5 + 1 x6 + 1 x7 + 1 x8 + 1 x9
	 + 1 x10 + 1 x11 + 1 x12 + 1 x13 + 1 x14
	 + 1 x15 + 1 x16 + 1 x17 + 1 x18
Subject To
 C0 :  >= -1
 C1 : 1 x0 >= 0
 C2 : 1 x1 >= 0
 C3 : 1 x2 >= 0
 C4 : 1 x3 >= 0
 C5 : 1 x4 >= 0
 C6 : 1 x5 >= 0
 C7 : 1 x6 >= 0
 C8 : 1 x7 >= 0
 C9 : 1 x8 >= 0
 C10 : 1 x9 >= 0
 C11 : 1 x10 >= 0
 C12 : 1 x11 >= 0
 C13 : 1 x12 >= 0
 C14 : 1 x13 >= 0
 C15 : 1 x14 >= 0
 C16 : 1 x15 >= 0
 C17 : 1 x16 >= 0
 C18 : 1 x17 >= 0
 C19 : 1 x18 >= 0
 C20 : 1 x11 + 1 x13 - 1 x14 = 0
 C21 : 2 x7 - 1 x11 + 1 x14 = 0
 C22 : 5 x1 - 2 x7 - 1 x13 = 0
 C23 : 15 x0 - 13 x4 = 0
 C24 : -15 x0 - 5 x1 + 13 x4 = 0
 C25 : 3 x3 - 1 x13 = 0
 C26 : 3 x2 + 2 x9 - 2 x15 = 0
 C27 : -5 x1 - 3 x2 - 3 x3 + 4 x10 + 1 x13 = 0
 C28 : 13 x4 - 4 x10 = 0
 C29 : 5 x1 - 13 x4 - 2 x9 + 2 x15 = 0
 C30 : -3 x3 + 1 x14 = 9
 C31 : -6 x5 + 4 x8 - 1 x14 = 0
 C32 : 3 x3 + 6 x5 - 4 x10 = -9
 C33 : -15 x0 - 4 x8 + 4 x10 + 2 x15 + 1 x16 = 0
 C34 : 15 x0 - 2 x15 - 1 x16 = 0
 C35 : 8 x6 - 1 x11 = -9
 C36 : 6 x5 - 8 x6 - 2 x7 - 4 x8 - 2 x9
	 + 1 x11 + 1 x12 + 2 x15 = 0
 C37 : -6 x5 + 2 x7 + 4 x17 - 1 x18 = 9
 C38 : 4 x8 - 2 x15 - 4 x17 = 0
 C39 : 2 x9 - 1 x12 + 1 x18 = 0
 C40 : -8 x6 = 0
 C41 : -3 x2 + 8 x6 - 1 x12 = 0
 C42 : 3 x2 - 4 x17 + 1 x18 = 0
 C43 : -1 x16 + 4 x17 = 0
 C44 : 1 x12 + 1 x16 - 1 x18 = 0
Bounds
  x0 free
  x1 free
  x2 free
  x3 free
  x4 free
  x5 free
  x6 free
  x7 free
  x8 free
  x9 free
  x10 free
  x11 free
  x12 free
  x13 free
  x14 free
  x15 free
  x16 free
  x17 free
  x18 free
End