[Bug-glpk] [Fwd: proxy not timing out]

[Andrew Makhorin]

-------- Forwarded Message --------
From: Meketon, Marc <address@hidden>
To: address@hidden <address@hidden>
Subject: proxy not timing out
Date: Mon, 16 Sep 2013 07:23:10 -0500

Hi Andrew,

 

I’ve been creating an MIP for airline maintenance planning, and trying
out different GLPK parameters.  The “proxy” parameter works amazing
well.  So well that I decided to try it for 10 minutes.  It did not
time-out after 40 minutes, at which point I stopped it.  Below is the
log (from GUSEK, so it includes the command line).  If necessary, I
could forward you the *.mod, *.dat file.

 

>C:\gusek\glpsol.exe --cover --clique --gomory --mir --proxy 600 --tmlim
18000 -m "PackageConsolidator4.mod"   -d "D:
\AirlineMaintenanceOptimization\PackageConsolidator
\PackageConsolidator3.dat" 

GLPSOL: GLPK LP/MIP Solver, v4.52

Parameter(s) specified in the command line:

--cover --clique --gomory --mir --proxy 600 --tmlim 18000 -m
PackageConsolidator4.mod

-d D:\AirlineMaintenanceOptimization\PackageConsolidator
\PackageConsolidator3.dat

Reading model section from PackageConsolidator4.mod...

525 lines were read

Reading data section from D:\AirlineMaintenanceOptimization
\PackageConsolidator\PackageConsolidator3.dat...

119 lines were read

Generating FORCED_INTERMEDIATE...

Generating ONE_DAY_PICKED_FOR_PACKAGE...

Generating DAY_MTCE_EVENT...

Generating LINE_MX...

Generating INTERMEDIATE_MX...

Generating HEAVY_MX...

Generating LINE_IS_ZERO_IF_NONE_PERFORMED...

Generating INTERMEDIATE_IS_ZERO_IF_NONE_PERFORMED...

Generating HEAVY_IS_ZERO_IF_NONE_PERFORMED...

Generating COUNT_AS_HEAVY...

Generating COUNT_AS_INTERMEDIATE_Exclude_Heavy...

Generating COUNT_AS_INTERMEDIATE_Exclude_No_Intermediate...

Generating COUNT_AS_INTERMEDIATE_Include_Intermediate_No_Heavy...

Generating COUNT_AS_LINE_Exclude_Heavy...

Generating COUNT_AS_LINE_Exclude_Intermediate...

Generating COUNT_AS_LINE_Exclude_No_Line...

Generating COUNT_AS_LINE_Include_Line_No_Other...

Generating ENSURE_CONSOLIDATION_TO_NON_CONSOLIDATED_PACKAGE...

Generating CALC_TOTAL_EXTRA_MX_HOURS...

Generating CALC_TOTAL_MTCE_EVENTS...

Generating CALC_TOTAL_MX_HOURS...

Generating CALC_MAX_MX_HOURS_ALLOWED...

Generating MAX_MX_HOURS...

Generating DO_NOT_EXCEED_LINE_MAX_MX_HOURS...

Generating TOTAL_COST...

Model has been successfully generated

GLPK Integer Optimizer, v4.52

25030 rows, 7021 columns, 70084 non-zeros

577 integer variables, all of which are binary

Preprocessing...

17680 rows, 5052 columns, 50061 non-zeros

576 integer variables, all of which are binary

Scaling...

A: min|aij| = 5.300e-001  max|aij| = 1.000e+005  ratio = 1.887e+005

GM: min|aij| = 1.000e-001  max|aij| = 1.000e+001  ratio = 1.000e+002

EQ: min|aij| = 1.000e-002  max|aij| = 1.000e+000  ratio = 1.000e+002

2N: min|aij| = 7.813e-003  max|aij| = 1.418e+000  ratio = 1.814e+002

Constructing initial basis...

Size of triangular part is 17680

Solving LP relaxation...

GLPK Simplex Optimizer, v4.52

17680 rows, 5052 columns, 50061 non-zeros

      0: obj =  1.312298030e+004  infeas = 1.777e+003 (0)

    500: obj =  2.754270575e+004  infeas = 1.585e+003 (0)

   1000: obj =  2.754270575e+004  infeas = 1.585e+003 (0)

   1500: obj =  4.473470913e+004  infeas = 1.296e+003 (0)

   2000: obj =  4.473470913e+004  infeas = 1.296e+003 (0)

   2500: obj =  1.192569179e+005  infeas = 5.159e+002 (0)

   3000: obj =  1.192569179e+005  infeas = 5.159e+002 (0)

   3500: obj =  1.435218619e+005  infeas = 2.660e+002 (0)

   4000: obj =  1.912198019e+005  infeas = 4.272e+001 (0)

   4500: obj =  1.912198019e+005  infeas = 4.272e+001 (0)

   5000: obj =  1.955915008e+005  infeas = 3.498e+001 (0)

   5500: obj =  1.969402027e+005  infeas = 2.999e+001 (0)

*  5705: obj =  2.060392156e+005  infeas = 1.798e-014 (0)

*  6000: obj =  1.341827379e+005  infeas = 2.468e-015 (0)

*  6500: obj =  1.181708883e+005  infeas = 2.989e-018 (0)

*  7000: obj =  1.120530533e+005  infeas = 5.533e-016 (0)

*  7500: obj =  1.103152220e+005  infeas = 3.782e-015 (0)

*  8000: obj =  1.003165261e+005  infeas = 1.819e-016 (0)

*  8500: obj =  9.921765929e+004  infeas = 3.943e-016 (0)

*  9000: obj =  9.823311671e+004  infeas = 2.022e-015 (0)

*  9500: obj =  8.831302799e+004  infeas = 3.777e-016 (0)

* 10000: obj =  8.599222486e+004  infeas = 1.478e-016 (0)

* 10041: obj =  8.598234431e+004  infeas = 1.371e-014 (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 576 + 57 = 633 vertices

+ 10041: mip =     not found yet >=              -inf        (1; 0)

Applying PROXY heuristic...

Proxy's time limit set to 600 seconds.

Proxy's relative improvement set to 1.00 %.

Searching for a feasbile solution...

>>>>> first solution = 9.909657e+004;

Time used: 2.7 secs.  Memory used: 47.0 Mb

Starting proximity search...

 

>Process failed to respond; forcing abrupt termination...

>Exit code: 1    Time: 2432.275




________________________________________________________________________
This e-mail and any attachments may be confidential or legally
privileged. If you received this message in error or are not the
intended recipient, you should destroy the e-mail message and any
attachments or copies, and you are prohibited from retaining,
distributing, disclosing or using any information contained herein.
Please inform us of the erroneous delivery by return e-mail. Thank you
for your cooperation.