[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Bug-glpk] mir cut generator assertion failure
From: |
Andrew Makhorin |
Subject: |
[Bug-glpk] mir cut generator assertion failure |
Date: |
Sun, 06 Mar 2016 11:12:32 +0300 |
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
- [Bug-glpk] mir cut generator assertion failure,
Andrew Makhorin <=