soplex icon indicating copy to clipboard operation
soplex copied to clipboard

Assertion `lp.isScaled()' failed when triying to solve different LP with the same solver instance

Open aabbas-brook opened this issue 1 year ago • 3 comments

Hi ! First of all, thank you for the work you have done here with SoPlex

I am using SoPlex in a project. It worked on thousands problems quiet well, but when I try to solve the system bellow, programm crashes.

Minimize obj: 1.0000000000000000e+00 x5 Subject To C0 : 1.9662500000000001e+01 x0 + 1.8271399999999999e-01 x1 + 2.3599500000000001e-01 x2 = 0.0000000000000000e+00 C1 : 5.0552100000000000e-01 x0 + 4.2908400000000002e-01 x1 - 2.0153399999999999e-01 x2 + 8.0298099999999994e-01 x3 + 5.8319600000000005e-01 x4 - 3.4320400000000001e-01 x5 = 2.9622700000000002e-01 Bounds -1.0000000000000000e+00 <= x0 <= 1.0000000000000000e+00 -1.0000000000000000e+00 <= x1 <= 1.0000000000000000e+00 -1.0000000000000000e+00 <= x2 <= 1.0000000000000000e+00 -1.0000000000000000e+00 <= x3 <= 1.0000000000000000e+00 -1.0000000000000000e+00 <= x4 <= 1.0000000000000000e+00 -1.0000000000000000e+00 <= x5 <= 1.0000000000000000e+00 End

Here is the log :

Simplifier removed 0 rows, 2 columns, 2 nonzeros, 0 col bounds, 0 row bounds
Reduced LP has 2 rows 4 columns 7 nonzeros
Equilibrium scaling LP
  L  |    0.0 |       0 |     1 | 0.00e+00 | 2.01e+01 |        1 | -1.00000000e+00
  L  |    0.0 |       1 |     2 | 0.00e+00 | 0.00e+00 |        0 | -1.00000000e+00
 --- unscaling internal solution
 --- unsimplifying solution and basis
 --- unscaling external solution
_tests: /usr/local/include/soplex/spxscaler.hpp:645: void soplex::SPxScaler<R>::unscalePrimal(const soplex::SPxLPBase<R>&, soplex::VectorBase<S>&) const [with R = double]: Assertion `lp.isScaled()' failed.

Am I doing something wrong ?

aabbas-brook avatar Apr 19 '23 15:04 aabbas-brook