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

Set parameter Username
Set parameter TimeLimit to value 50
Set parameter LogFile to value "./lp_solutions/grafo1943.12.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/grafo1943.12.lp
Reading time = 0.02 seconds
: 3479 rows, 221 columns, 10512 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 3479 rows, 221 columns and 10512 nonzeros
Model fingerprint: 0xb5643b5b
Variable types: 13 continuous, 208 integer (208 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 1452 rows and 6 columns
Presolve time: 0.03s
Presolved: 2027 rows, 215 columns, 6271 nonzeros
Variable types: 0 continuous, 215 integer (202 binary)

Root relaxation: objective 9.000000e+00, 164 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   58    1.00000    9.00000   800%     -    0s
H    0     0                       3.0000000    9.00000   200%     -    0s
H    0     0                       4.0000000    9.00000   125%     -    0s
     0     0    9.00000    0   76    4.00000    9.00000   125%     -    0s
H    0     0                       5.0000000    9.00000  80.0%     -    0s
     0     0    9.00000    0   53    5.00000    9.00000  80.0%     -    0s
     0     0    9.00000    0   99    5.00000    9.00000  80.0%     -    0s
     0     0    9.00000    0   92    5.00000    9.00000  80.0%     -    0s
     0     0    9.00000    0   72    5.00000    9.00000  80.0%     -    0s
     0     0    9.00000    0   80    5.00000    9.00000  80.0%     -    0s
     0     0    9.00000    0   24    5.00000    9.00000  80.0%     -    0s
     0     0    9.00000    0   39    5.00000    9.00000  80.0%     -    0s
     0     0    9.00000    0   49    5.00000    9.00000  80.0%     -    1s
H    0     0                       6.0000000    9.00000  50.0%     -    1s
     0     0    9.00000    0   49    6.00000    9.00000  50.0%     -    1s
     0     0    9.00000    0   68    6.00000    9.00000  50.0%     -    1s
     0     0    9.00000    0   48    6.00000    9.00000  50.0%     -    1s
     0     2    9.00000    0   46    6.00000    9.00000  50.0%     -    1s
   526   337    9.00000    6   64    6.00000    9.00000  50.0%  51.3    5s
  1715   731     cutoff   24         6.00000    8.00000  33.3%  55.7   10s
  3586   844    7.00000   22   39    6.00000    7.50000  25.0%  55.2   15s
  5562   134 infeasible   15         6.00000    7.00000  16.7%  59.3   20s

Cutting planes:
  Cover: 56
  Clique: 8
  MIR: 30
  Inf proof: 109
  Zero half: 2
  RLT: 27
  BQP: 1

Explored 6360 nodes (396743 simplex iterations) in 21.70 seconds (7.50 work units)
Thread count was 8 (of 8 available processors)

Solution count 5: 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/grafo1943.12.sol'

