[Bug-glpk] mir cut generator assertion failure

[Andrew Makhorin]

From:   Zatsepin Vasily <address@hidden>
To:     Andrew Makhorin <address@hidden>

GLPSOL: GLPK LP/MIP Solver, v4.58
Parameter(s) specified in the command line:
 --mir cap6000 -o cap6000.gnu
Reading problem data from 'cap6000'...
cap6000:15: warning: missing model name in field 3
Objective: obj
2177 rows, 6000 columns, 54238 non-zeros
6000 integer variables, all of which are binary
39230 records were read
One free row was removed
GLPK Integer Optimizer, v4.58
2176 rows, 6000 columns, 48243 non-zeros
6000 integer variables, all of which are binary
Preprocessing...
141 hidden packing inequaliti(es) were detected
2171 rows, 6000 columns, 18243 non-zeros
6000 integer variables, all of which are binary
Scaling...
 A: min|aij| =  1.000e+00  max|aij| =  9.945e+04  ratio =  9.945e+04
GM: min|aij| =  9.159e-03  max|aij| =  1.092e+02  ratio =  1.192e+04
EQ: min|aij| =  8.389e-05  max|aij| =  1.000e+00  ratio =  1.192e+04
2N: min|aij| =  6.104e-05  max|aij| =  1.386e+00  ratio =  2.270e+04
Constructing initial basis...
Size of triangular part is 2171
Solving LP relaxation...
GLPK Simplex Optimizer, v4.58
2171 rows, 6000 columns, 18243 non-zeros
*     0: obj =  -8.046300000e+04 inf =   0.000e+00 (5799)
*   500: obj =  -2.131853070e+06 inf =   1.354e-14 (865)
*   862: obj =  -2.451537325e+06 inf =   0.000e+00 (0)
OPTIMAL LP SOLUTION FOUND
Integer optimization begins...
MIR cuts enabled
+   862: mip =     not found yet >=              -inf        (1; 0)
Solution found by heuristic: -2446473
Cuts on level 0: mir = 4;
Solution found by heuristic: -2447452
Solution found by heuristic: -2448451
Solution found by heuristic: -2450558
Solution found by heuristic: -2450744
Solution found by heuristic: -2450874
Solution found by heuristic: -2451140
Solution found by heuristic: -2451173
+  1646: mip =  -2.451173000e+06 >=  -2.451440000e+06 < 0.1% (269; 146)
Solution found by heuristic: -2451303
Solution found by heuristic: -2451337
Solution found by heuristic: -2451361
+  2359: mip =  -2.451361000e+06 >=  -2.451423000e+06 < 0.1% (221; 602)
+  3032: mip =  -2.451361000e+06 >=  -2.451418000e+06 < 0.1% (361; 622)
Solution found by heuristic: -2451371
+  3775: mip =  -2.451371000e+06 >=  -2.451413000e+06 < 0.1% (413; 777)
+  4547: mip =  -2.451371000e+06 >=  -2.451410000e+06 < 0.1% (507; 807)
Solution found by heuristic: -2451373
+  5165: mip =  -2.451373000e+06 >=  -2.451407000e+06 < 0.1% (559; 909)
+  5846: mip =  -2.451373000e+06 >=  -2.451405000e+06 < 0.1% (626; 948)
Solution found by heuristic: -2451377
+  6517: mip =  -2.451377000e+06 >=  -2.451402000e+06 < 0.1% (587; 1148)
+  7179: mip =  -2.451377000e+06 >=  -2.451400000e+06 < 0.1% (614; 1201)
+  7823: mip =  -2.451377000e+06 >=  -2.451397000e+06 < 0.1% (634; 1264)
+  8435: mip =  -2.451377000e+06 >=  -2.451396000e+06 < 0.1% (655; 1313)
Time used: 60.0 secs.  Memory used: 57.0 Mb.
+  9083: mip =  -2.451377000e+06 >=  -2.451394000e+06 < 0.1% (650; 1377)
Assertion failed: x >= -0.001
Error detected in file ..\src\glpios06.c at line 993