[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Bug-glpk] [Fwd: GLPK 4.46 fails to find solution with enlight13.mps]
|
From: |
Andrew Makhorin |
|
Subject: |
[Bug-glpk] [Fwd: GLPK 4.46 fails to find solution with enlight13.mps] |
|
Date: |
Fri, 09 Sep 2011 01:25:51 +0400 |
-------- Forwarded Message --------
From: Tommaso Balercia <address@hidden>
To: address@hidden
Subject: GLPK 4.46 fails to find solution with enlight13.mps
Date: Thu, 8 Sep 2011 22:24:01 +0200
Dear All,
I tried to solve the problem “enlight13” of the MIPLIB 2010 set
( http://miplib.zib.de/ ). The outcome is below. The issue is that an
integral solution indeed exists and other solves can apparently find it.
Using cuts doesn’t seem to help the situation.
// OUTPUT --------------------
GLPSOL: GLPK LP/MIP Solver, v4.46
Parameter(s) specified in the command line:
enlight13.mps
Reading problem data from `enlight13.mps'...
Problem: enlight13
Objective: moves
170 rows, 338 columns, 1131 non-zeros
338 integer variables, all of which are binary
1648 records were read
GLPK Integer Optimizer, v4.46
170 rows, 338 columns, 1131 non-zeros
338 integer variables, all of which are binary
Preprocessing...
169 rows, 337 columns, 961 non-zeros
337 integer variables, all of which are binary
Scaling...
A: min|aij| = 1.000e+00 max|aij| = 2.000e+00 ratio = 2.000e+00
Problem data seem to be well scaled
Constructing initial basis...
Size of triangular part = 169
Solving LP relaxation...
GLPK Simplex Optimizer, v4.46
169 rows, 337 columns, 961 non-zeros
* 0: obj = 1.000000000e+00 infeas = 0.000e+00 (0)
OPTIMAL SOLUTION FOUND
Integer optimization begins...
+ 0: mip = not found yet >= -inf (1; 0)
+ 58754: mip = not found yet >= 2.600000000e+01 (1207;
3188)
+120111: mip = not found yet >= 3.000000000e+01 (2112;
6239)
+177500: mip = not found yet >= 3.100000000e+01 (3007;
8603)
+233473: mip = not found yet >= 3.300000000e+01 (3625;
11139)
+294003: mip = not found yet >= 3.400000000e+01 (4284;
13778)
+353113: mip = not found yet >= 3.500000000e+01 (4944;
16311)
+411425: mip = not found yet >= 3.500000000e+01 (5501;
18619)
+468622: mip = not found yet >= 3.600000000e+01 (6010;
21225)
+524871: mip = not found yet >= 3.700000000e+01 (6433;
23815)
+582056: mip = not found yet >= 3.700000000e+01 (6860;
26100)
+636304: mip = not found yet >= 3.800000000e+01 (7327;
28402)
+691609: mip = not found yet >= 3.800000000e+01 (7771;
30505)
Time used: 60.0 secs. Memory used: 13.5 Mb.
+738777: mip = not found yet >= 3.900000000e+01 (8088;
32649)
+786652: mip = not found yet >= 3.900000000e+01 (8564;
34532)
+847912: mip = not found yet >= 4.000000000e+01 (9065;
36568)
+905197: mip = not found yet >= 4.000000000e+01 (9377;
39269)
+967480: mip = not found yet >= 4.000000000e+01 (9737;
41795)
+1027899: mip = not found yet >= 4.100000000e+01 (10041;
44389)
+1086585: mip = not found yet >= 4.100000000e+01 (10406;
46910)
+1146295: mip = not found yet >= 4.100000000e+01 (10785;
49130)
+1198824: mip = not found yet >= 4.200000000e+01 (10905;
51610)
+1248691: mip = not found yet >= 4.200000000e+01 (11122;
53822)
+1304923: mip = not found yet >= 4.200000000e+01 (11277;
56275)
+1358296: mip = not found yet >= 4.200000000e+01 (11487;
58283)
Time used: 120.0 secs. Memory used: 22.3 Mb.
+1404082: mip = not found yet >= 4.300000000e+01 (11676;
60565)
+1447585: mip = not found yet >= 4.300000000e+01 (11850;
62517)
+1490980: mip = not found yet >= 4.300000000e+01 (12062;
64287)
+1538881: mip = not found yet >= 4.300000000e+01 (12249;
65947)
+1591856: mip = not found yet >= 4.400000000e+01 (12472;
67946)
+1640984: mip = not found yet >= 4.400000000e+01 (12662;
70379)
+1693418: mip = not found yet >= 4.400000000e+01 (12948;
72367)
+1743057: mip = not found yet >= 4.400000000e+01 (13018;
74502)
+1797313: mip = not found yet >= 4.400000000e+01 (13213;
76484)
+1847639: mip = not found yet >= 4.500000000e+01 (13429;
78663)
+1889314: mip = not found yet >= 4.500000000e+01 (13522;
80653)
+1930972: mip = not found yet >= 4.500000000e+01 (13687;
82296)
Time used: 180.0 secs. Memory used: 27.9 Mb.
+1977362: mip = not found yet >= 4.500000000e+01 (13799;
84101)
+2029088: mip = not found yet >= 4.500000000e+01 (13898;
86164)
+2077100: mip = not found yet >= 4.600000000e+01 (14035;
87987)
+2121252: mip = not found yet >= 4.600000000e+01 (14085;
90110)
+2169960: mip = not found yet >= 4.600000000e+01 (14235;
92102)
+2220286: mip = not found yet >= 4.600000000e+01 (14293;
94199)
+2270601: mip = not found yet >= 4.600000000e+01 (14380;
96202)
+2323575: mip = not found yet >= 4.600000000e+01 (14526;
98152)
+2366440: mip = not found yet >= 4.700000000e+01 (14487;
100317)
+2410730: mip = not found yet >= 4.700000000e+01 (14491;
102445)
+2457664: mip = not found yet >= 4.700000000e+01 (14513;
104657)
+2501771: mip = not found yet >= 4.700000000e+01 (14554;
106442)
Time used: 240.0 secs. Memory used: 32.0 Mb.
+2549413: mip = not found yet >= 4.700000000e+01 (14606;
108363)
+2596180: mip = not found yet >= 4.700000000e+01 (14738;
110060)
+2625797: mip = not found yet >= 4.800000000e+01 (14650;
111840)
+2659942: mip = not found yet >= 4.800000000e+01 (14637;
113619)
+2698075: mip = not found yet >= 4.800000000e+01 (14608;
115566)
+2738898: mip = not found yet >= 4.800000000e+01 (14652;
117437)
+2780576: mip = not found yet >= 4.800000000e+01 (14677;
119194)
+2821206: mip = not found yet >= 4.800000000e+01 (14632;
120946)
+2864832: mip = not found yet >= 4.800000000e+01 (14670;
122572)
+2904490: mip = not found yet >= 4.900000000e+01 (14667;
124350)
+2940157: mip = not found yet >= 4.900000000e+01 (14644;
126353)
+2980300: mip = not found yet >= 4.900000000e+01 (14592;
128404)
Time used: 300.0 secs. Memory used: 34.2 Mb.
+3025018: mip = not found yet >= 4.900000000e+01 (14589;
130426)
+3072630: mip = not found yet >= 4.900000000e+01 (14599;
132520)
+3113858: mip = not found yet >= 4.900000000e+01 (14641;
134203)
+3152834: mip = not found yet >= 4.900000000e+01 (14640;
135693)
+3189197: mip = not found yet >= 5.000000000e+01 (14672;
137182)
+3217434: mip = not found yet >= 5.000000000e+01 (14491;
139078)
+3252104: mip = not found yet >= 5.000000000e+01 (14422;
141061)
+3296017: mip = not found yet >= 5.000000000e+01 (14410;
143037)
+3343219: mip = not found yet >= 5.000000000e+01 (14342;
144966)
+3392792: mip = not found yet >= 5.000000000e+01 (14184;
147364)
+3443877: mip = not found yet >= 5.000000000e+01 (14175;
149480)
Time used: 360.0 secs. Memory used: 35.5 Mb.
+3489882: mip = not found yet >= 5.100000000e+01 (13985;
151920)
+3533986: mip = not found yet >= 5.100000000e+01 (13778;
154425)
+3581095: mip = not found yet >= 5.100000000e+01 (13614;
156928)
+3631528: mip = not found yet >= 5.100000000e+01 (13538;
159250)
+3682686: mip = not found yet >= 5.100000000e+01 (13398;
161602)
+3734409: mip = not found yet >= 5.200000000e+01 (13146;
164278)
+3780777: mip = not found yet >= 5.200000000e+01 (12953;
167010)
+3830434: mip = not found yet >= 5.200000000e+01 (12746;
169864)
+3882742: mip = not found yet >= 5.200000000e+01 (12547;
172510)
+3936190: mip = not found yet >= 5.200000000e+01 (12275;
175291)
+3991512: mip = not found yet >= 5.300000000e+01 (12183;
177999)
+4042631: mip = not found yet >= 5.300000000e+01 (11917;
181098)
Time used: 420.0 secs. Memory used: 35.6 Mb.
+4096058: mip = not found yet >= 5.300000000e+01 (11734;
183973)
+4151291: mip = not found yet >= 5.300000000e+01 (11435;
186976)
+4209261: mip = not found yet >= 5.300000000e+01 (11208;
189663)
+4262943: mip = not found yet >= 5.400000000e+01 (10905;
193262)
+4319672: mip = not found yet >= 5.400000000e+01 (10615;
196463)
+4379218: mip = not found yet >= 5.400000000e+01 (10348;
199448)
+4439733: mip = not found yet >= 5.400000000e+01 (10125;
202309)
+4496243: mip = not found yet >= 5.500000000e+01 (9715;
206331)
+4550269: mip = not found yet >= 5.500000000e+01 (9326;
209619)
+4609996: mip = not found yet >= 5.500000000e+01 (9049;
213171)
+4669696: mip = not found yet >= 5.600000000e+01 (8783;
216578)
+4730050: mip = not found yet >= 5.600000000e+01 (8245;
220967)
Time used: 480.0 secs. Memory used: 35.6 Mb.
+4787659: mip = not found yet >= 5.600000000e+01 (7959;
224229)
+4847569: mip = not found yet >= 5.700000000e+01 (7495;
228330)
+4911137: mip = not found yet >= 5.700000000e+01 (7026;
232713)
+4971516: mip = not found yet >= 5.700000000e+01 (6738;
236507)
+5039861: mip = not found yet >= 5.800000000e+01 (5985;
242018)
+5109417: mip = not found yet >= 5.800000000e+01 (5479;
246417)
+5182282: mip = not found yet >= 5.900000000e+01 (4658;
253042)
+5254310: mip = not found yet >= 6.000000000e+01 (3776;
260092)
+5328478: mip = not found yet >= 6.100000000e+01 (2990;
267064)
+5395692: mip = not found yet >= 6.200000000e+01 (2150;
274186)
+5467977: mip = not found yet >= 6.400000000e+01 (1255;
282356)
+5506999: mip = not found yet >= tree is empty (0;
297291)
PROBLEM HAS NO INTEGER FEASIBLE SOLUTION
Time used: 532.4 secs
Memory used: 35.7 Mb (37408391 bytes)
- [Bug-glpk] [Fwd: GLPK 4.46 fails to find solution with enlight13.mps],
Andrew Makhorin <=