
Gurobi 11.0.1 (mac64[x86], gurobi_cl) logging started Wed Nov 13 16:50:59 2024

Set parameter Username
Set parameter TimeLimit to value 50
Set parameter LogFile to value "./lp_solutions/grafo502.20.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/grafo502.20.lp
Reading time = 0.02 seconds
: 6463 rows, 414 columns, 19548 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 6463 rows, 414 columns and 19548 nonzeros
Model fingerprint: 0x1757f786
Variable types: 16 continuous, 398 integer (398 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]
Presolve removed 1991 rows and 5 columns
Presolve time: 0.05s
Presolved: 4472 rows, 409 columns, 13676 nonzeros
Variable types: 0 continuous, 409 integer (393 binary)

Root relaxation: objective 1.500000e+01, 298 iterations, 0.03 seconds (0.02 work units)

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

     0     0   15.00000    0   91          -   15.00000      -     -    0s
H    0     0                       7.0000000   15.00000   114%     -    0s
     0     0   15.00000    0  125    7.00000   15.00000   114%     -    0s
     0     0   15.00000    0  120    7.00000   15.00000   114%     -    0s
     0     0   14.66667    0   92    7.00000   14.66667   110%     -    0s
     0     0   14.00000    0   92    7.00000   14.00000   100%     -    0s
     0     0   14.00000    0   97    7.00000   14.00000   100%     -    0s
H    0     0                       8.0000000   14.00000  75.0%     -    0s
     0     0   14.00000    0   95    8.00000   14.00000  75.0%     -    0s
     0     0   14.00000    0  107    8.00000   14.00000  75.0%     -    0s
     0     0   14.00000    0  105    8.00000   14.00000  75.0%     -    0s
     0     0   14.00000    0  104    8.00000   14.00000  75.0%     -    0s
     0     0   14.00000    0   81    8.00000   14.00000  75.0%     -    0s
     0     2   14.00000    0   81    8.00000   14.00000  75.0%     -    1s
H   33    40                       9.0000000   14.00000  55.6%  64.5    1s
  1809  1078   12.50000   24  105    9.00000   14.00000  55.6%  34.0    5s
  3445  1208   10.00000   38   61    9.00000   12.00000  33.3%  45.7   10s
  6917  1062 infeasible   34         9.00000   11.00000  22.2%  54.3   15s
 11426     0 infeasible   46         9.00000   10.00000  11.1%  53.9   20s

Cutting planes:
  Cover: 1
  Clique: 1
  MIR: 10
  Inf proof: 2
  Zero half: 2
  RLT: 3

Explored 11606 nodes (630893 simplex iterations) in 20.06 seconds (15.98 work units)
Thread count was 8 (of 8 available processors)

Solution count 6: 9 9 9 ... 7

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/grafo502.20.sol'

