-------- Forwarded Message -------- From: Tommaso Balercia <[email protected]> To: [email protected] 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 mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-glpk
