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

Set parameter Username
Set parameter TimeLimit to value 50
Set parameter LogFile to value "./lp_solutions/grafo2056.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/grafo2056.20.lp
Reading time = 0.01 seconds
: 4065 rows, 358 columns, 12288 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 4065 rows, 358 columns and 12288 nonzeros
Model fingerprint: 0x5f9d4043
Variable types: 15 continuous, 343 integer (343 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 1.0000000
Presolve removed 575 rows and 12 columns
Presolve time: 0.04s
Presolved: 3490 rows, 346 columns, 10668 nonzeros
Variable types: 0 continuous, 346 integer (331 binary)
Found heuristic solution: objective 4.0000000

Root relaxation: objective 9.000000e+00, 165 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    9.00000    0   74    4.00000    9.00000   125%     -    0s
     0     0    9.00000    0   91    4.00000    9.00000   125%     -    0s
     0     0    9.00000    0   91    4.00000    9.00000   125%     -    0s
     0     0    8.66667    0   64    4.00000    8.66667   117%     -    0s
H    0     0                       5.0000000    8.66667  73.3%     -    0s
     0     0    8.66667    0   64    5.00000    8.66667  73.3%     -    0s
     0     0    8.50000    0   69    5.00000    8.50000  70.0%     -    0s
     0     0    8.50000    0   69    5.00000    8.50000  70.0%     -    0s
     0     0    8.00000    0   39    5.00000    8.00000  60.0%     -    0s
     0     0    8.00000    0   35    5.00000    8.00000  60.0%     -    0s
     0     0    8.00000    0   48    5.00000    8.00000  60.0%     -    0s
     0     0    8.00000    0   27    5.00000    8.00000  60.0%     -    0s
H    0     0                       6.0000000    8.00000  33.3%     -    0s
     0     0    8.00000    0   30    6.00000    8.00000  33.3%     -    0s
     0     0    8.00000    0   29    6.00000    8.00000  33.3%     -    1s
     0     0    7.66667    0   38    6.00000    7.66667  27.8%     -    1s
     0     0    7.66667    0   38    6.00000    7.66667  27.8%     -    1s
     0     0    7.66667    0   43    6.00000    7.66667  27.8%     -    1s
     0     0    7.50000    0   33    6.00000    7.50000  25.0%     -    1s
     0     0    7.50000    0   32    6.00000    7.50000  25.0%     -    1s
     0     0    7.50000    0   36    6.00000    7.50000  25.0%     -    1s
     0     0    7.50000    0   35    6.00000    7.50000  25.0%     -    1s
     0     2    7.50000    0   29    6.00000    7.50000  25.0%     -    1s

Cutting planes:
  Cover: 10
  Clique: 3
  MIR: 46
  GUB cover: 1
  Inf proof: 18
  Zero half: 9
  RLT: 18
  BQP: 1

Explored 511 nodes (23657 simplex iterations) in 2.69 seconds (1.15 work units)
Thread count was 8 (of 8 available processors)

Solution count 4: 6 5 4 1 

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

Wrote result file './lp_solutions/grafo2056.20.sol'

