
Gurobi 11.0.1 (mac64[x86], gurobi_cl) logging started Wed Nov 13 03:38:55 2024

Set parameter Username
Set parameter TimeLimit to value 50
Set parameter LogFile to value "./lp_solutions/grafo1756.16.log"
Using license file /Users/sara/gurobi.lic
Academic license - for non-commercial use only - expires 2025-05-12

Gurobi Optimizer version 11.0.1 build v11.0.1rc0 (mac64[x86] - Darwin 21.6.0 21G651)
Copyright (c) 2024, Gurobi Optimization, LLC

Read LP format model from file ./lp_problems/grafo1756.16.lp
Reading time = 0.02 seconds
: 5736 rows, 402 columns, 17434 nonzeros

CPU model: Intel(R) Core(TM) i5-1038NG7 CPU @ 2.00GHz
Thread count: 4 physical cores, 8 logical processors, using up to 8 threads

Optimize a model with 5736 rows, 402 columns and 17434 nonzeros
Model fingerprint: 0x2e503ec1
Variable types: 20 continuous, 382 integer (382 binary)
Coefficient statistics:
  Matrix range     [5e-01, 5e+01]
  Objective range  [1e+00, 1e+00]
  Bounds range     [1e+00, 1e+00]
  RHS range        [1e+00, 5e+01]
Found heuristic solution: objective 2.0000000
Presolve removed 1474 rows and 12 columns
Presolve time: 0.07s
Presolved: 4262 rows, 390 columns, 13138 nonzeros
Variable types: 0 continuous, 390 integer (370 binary)
Found heuristic solution: objective 5.0000000

Root relaxation: objective 1.400000e+01, 144 iterations, 0.02 seconds (0.01 work units)

    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time

     0     0   14.00000    0   88    5.00000   14.00000   180%     -    0s
H    0     0                       6.0000000   14.00000   133%     -    0s
H    0     0                       7.0000000   14.00000   100%     -    0s
     0     0   14.00000    0  108    7.00000   14.00000   100%     -    0s
     0     0   14.00000    0  108    7.00000   14.00000   100%     -    0s
     0     0   14.00000    0   84    7.00000   14.00000   100%     -    0s
     0     0   14.00000    0   92    7.00000   14.00000   100%     -    0s
     0     0   14.00000    0   91    7.00000   14.00000   100%     -    0s
H    0     0                       8.0000000   14.00000  75.0%     -    0s
     0     0   14.00000    0   75    8.00000   14.00000  75.0%     -    0s
     0     0   13.66667    0   82    8.00000   13.66667  70.8%     -    1s
     0     0   13.50000    0  113    8.00000   13.50000  68.8%     -    1s
     0     0   13.50000    0   76    8.00000   13.50000  68.8%     -    1s
     0     0   13.50000    0   79    8.00000   13.50000  68.8%     -    1s
     0     0   13.00000    0   86    8.00000   13.00000  62.5%     -    1s
     0     0   13.00000    0   66    8.00000   13.00000  62.5%     -    1s
H    0     0                       9.0000000   13.00000  44.4%     -    1s
     0     2   13.00000    0   64    9.00000   13.00000  44.4%     -    1s
   666   393   10.00000   34  113    9.00000   13.00000  44.4%  69.8    5s
  3157   444 infeasible   20         9.00000   10.00000  11.1%  57.7   10s
  4335   138   10.00000   22   56    9.00000   10.00000  11.1%  69.4   15s

Cutting planes:
  Gomory: 2
  Lift-and-project: 1
  Cover: 39
  Clique: 6
  MIR: 147
  StrongCG: 3
  Inf proof: 99
  Zero half: 9
  RLT: 52
  BQP: 2
  PSD: 3

Explored 4974 nodes (395245 simplex iterations) in 18.51 seconds (14.64 work units)
Thread count was 8 (of 8 available processors)

Solution count 6: 9 8 7 ... 2

Optimal solution found (tolerance 1.00e-04)
Best objective 9.000000000000e+00, best bound 9.000000000000e+00, gap 0.0000%

Wrote result file './lp_solutions/grafo1756.16.sol'

