[Bug-glpk] [Fwd: assertion detected]

[Andrew Makhorin]

-------- Forwarded Message --------
From: Martin Jacob <address@hidden>
To: address@hidden
Subject: assertion detected
Date: Mon, 22 Sep 2014 22:53:29 +0200

Hi,

glpsol crashed by an assertion on my windows when executing. May be an
interesting case for you guys.

Output is as follow:


GLPSOL: GLPK LP/MIP Solver, v4.55
Parameter(s) specified in the command line:
 --cover --clique --gomory --mir -m D:\src\atm-psc\psc\GLPK\model.mod -d
D:\tmp\MRT\glpk\Network_MTRnet\model.dat
 -d D:\tmp\MRT\glpk\Network_MTRnet\3007000_ifu.dat
Reading model section from D:\src\atm-psc\psc\GLPK\model.mod...
53 lines were read
Reading data section from D:\tmp\MRT\glpk\Network_MTRnet\model.dat...
2876 lines were read
Reading data section from D:\tmp\MRT\glpk\Network_MTRnet
\3007000_ifu.dat...
1112 lines were read
Generating z_constraint...
Generating s_constraint...
Generating u_constraint...
Generating i_constraint...
Generating netzwerk...
Model has been successfully generated
GLPK Integer Optimizer, v4.55
1948 rows, 2978 columns, 9659 non-zeros
1068 integer variables, all of which are binary
Preprocessing...
1943 rows, 2973 columns, 9644 non-zeros
1068 integer variables, all of which are binary
Scaling...
 A: min|aij| = 1.000e-004  max|aij| = 1.426e+005  ratio = 1.426e+009
GM: min|aij| = 1.174e-004  max|aij| = 8.516e+003  ratio = 7.252e+007
EQ: min|aij| = 1.379e-008  max|aij| = 1.000e+000  ratio = 7.252e+007
2N: min|aij| = 1.221e-008  max|aij| = 1.758e+000  ratio = 1.440e+008
Constructing initial basis...
Size of triangular part is 1825
Solving LP relaxation...
GLPK Simplex Optimizer, v4.55
1943 rows, 2973 columns, 9644 non-zeros
      0: obj =  0.000000000e+000  infeas = 2.062e+046 (118)
Warning: numerical instability (primal simplex, phase I)
      1: obj =  0.000000000e+000  infeas = 1.255e+014 (117)
Warning: numerical instability (primal simplex, phase I)
      3: obj =  0.000000000e+000  infeas = 7.940e+012 (115)
Warning: numerical instability (primal simplex, phase I)
      4: obj =  0.000000000e+000  infeas = 3.000e+011 (114)
Warning: numerical instability (primal simplex, phase I)
     18: obj =  0.000000000e+000  infeas = 1.570e+009 (103)
Warning: numerical instability (primal simplex, phase I)
     50: obj =  0.000000000e+000  infeas = 8.121e+005 (83)
    500: obj =  0.000000000e+000  infeas = 1.641e+003 (21)
   1000: obj =  0.000000000e+000  infeas = 4.112e+002 (7)
*  1076: obj =  0.000000000e+000  infeas = 2.357e-012 (0)
OPTIMAL LP SOLUTION FOUND
Integer optimization begins...
Gomory's cuts enabled
MIR cuts enabled
Cover cuts enabled
Clique cuts enabled
Constructing conflict graph...
Conflict graph has 1068 + 0 = 1068 vertices
+  1076: mip =     not found yet >=              -inf        (1; 0)
+ 13338: mip =     not found yet >=  0.000000000e+000        (8; 48)
+ 24022: mip =     not found yet >=  0.000000000e+000        (16; 95)
+ 36608: mip =     not found yet >=  0.000000000e+000        (13; 134)
+ 49040: mip =     not found yet >=  0.000000000e+000        (14; 174)
+ 62338: mip =     not found yet >=  0.000000000e+000        (16; 214)
+ 74637: mip =     not found yet >=  0.000000000e+000        (28; 255)
+ 88115: mip =     not found yet >=  0.000000000e+000        (18; 294)
+100716: mip =     not found yet >=  0.000000000e+000        (19; 332)
+112575: mip =     not found yet >=  0.000000000e+000        (20; 366)
+124358: mip =     not found yet >=  0.000000000e+000        (18; 406)
+135143: mip =     not found yet >=  0.000000000e+000        (22; 448)
Assertion failed: ptr < end
Error detected in file ..\src\bflib\sgf.c at line 146




Attached please find the model and data.


-- 
Mit freundlichen Grüßen / Best regards / 非常感谢您的支持, 

Martin Jacob

----------------------------------------------------------

IFB Institut für Bahntechnik GmbH
Niederlassung Dresden
Wiener Str. 114-116
D-01219 Dresden

Tel.:             +49 (0)351 / 877 59 - 42
Fax.:             +49 (0)351 / 877 59 - 90

E-Mail:    address@hidden
Internet:  www.bahntechnik.de

Registergericht:      AG Berlin-Charlottenburg HRB 22 641
Geschäftsführer:      Dipl.-Ing. Andrzej Nuszkiewicz
                      Prof. Dr.-Ing. Arnd Stephan
Aufsichtsratsvorsitz: Dr.-Ing. Dieter Klumpp

OpenPowerNet website: www.openpowernet.de


========================================================
       Besuchen Sie uns auf der INNOTRANS 2014
              23.-26.09.2014 in Berlin
               Halle 4.1b, Stand 108
========================================================