current bounds on the number of colors: 0 -- 57 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:07:46 2012 Optimize a model with 23241 rows, 2424 columns and 71148 nonzeros Presolve time: 0.10s Presolved: 23241 rows, 2424 columns, 71148 nonzeros Variable types: 0 continuous, 2424 integer (2424 binary) Root relaxation: objective 0.000000e+00, 176 iterations, 0.02 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (506 simplex iterations) in 0.16 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 28 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:07:46 2012 Optimize a model with 11649 rows, 1626 columns and 35574 nonzeros Presolve time: 0.04s Presolved: 11649 rows, 1626 columns, 35574 nonzeros Variable types: 0 continuous, 1626 integer (1626 binary) Root relaxation: objective 0.000000e+00, 119 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 44 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1523 simplex iterations) in 0.17 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:07:47 2012 Optimize a model with 5853 rows, 1227 columns and 17787 nonzeros Presolve time: 0.02s Presolved: 5853 rows, 1227 columns, 17787 nonzeros Variable types: 0 continuous, 1227 integer (1227 binary) Root relaxation: objective 0.000000e+00, 115 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 60 - 0.00000 - - 0s 0 0 0.00000 0 70 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3503 simplex iterations) in 0.52 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 7 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:07:47 2012 Optimize a model with 8337 rows, 1398 columns and 25410 nonzeros Presolve time: 0.02s Presolved: 8337 rows, 1398 columns, 25410 nonzeros Variable types: 0 continuous, 1398 integer (1398 binary) Root relaxation: objective 0.000000e+00, 122 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 46 - 0.00000 - - 0s 0 0 0.00000 0 70 - 0.00000 - - 0s 0 0 0.00000 0 180 - 0.00000 - - 1s 0 0 0.00000 0 240 - 0.00000 - - 1s 0 0 0.00000 0 109 - 0.00000 - - 2s 0 0 0.00000 0 140 - 0.00000 - - 3s 0 0 0.00000 0 202 - 0.00000 - - 5s 0 0 0.00000 0 147 - 0.00000 - - 6s 0 0 0.00000 0 135 - 0.00000 - - 7s 0 0 0.00000 0 209 - 0.00000 - - 7s 0 0 0.00000 0 209 - 0.00000 - - 8s 0 2 0.00000 0 209 - 0.00000 - - 9s 16 10 0.00000 11 130 - 0.00000 - 240 10s 559 20 infeasible 15 - 0.00000 - 111 15s 705 30 0.00000 18 177 - 0.00000 - 112 21s 708 32 0.00000 10 161 - 0.00000 - 112 26s 710 33 0.00000 11 216 - 0.00000 - 112 30s 725 35 0.00000 16 179 - 0.00000 - 165 35s 960 8 0.00000 20 162 - 0.00000 - 164 40s 1298 9 infeasible 24 - 0.00000 - 161 45s 1590 11 0.00000 23 126 - 0.00000 - 161 50s 1966 7 infeasible 23 - 0.00000 - 159 55s 2318 7 0.00000 17 167 - 0.00000 - 158 60s 2606 9 0.00000 24 128 - 0.00000 - 160 65s Cutting planes: Clique: 37 Zero half: 4 Explored 2718 nodes (477786 simplex iterations) in 66.75 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 10 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:08:54 2012 Optimize a model with 9993 rows, 1512 columns and 30492 nonzeros Presolve time: 0.03s Presolved: 9993 rows, 1512 columns, 30492 nonzeros Variable types: 0 continuous, 1512 integer (1512 binary) Root relaxation: objective 0.000000e+00, 117 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 31 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1668 simplex iterations) in 0.17 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 10 -- 12 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:08:55 2012 Optimize a model with 9165 rows, 1455 columns and 27951 nonzeros Presolve time: 0.03s Presolved: 9165 rows, 1455 columns, 27951 nonzeros Variable types: 0 continuous, 1455 integer (1455 binary) Root relaxation: objective 0.000000e+00, 121 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 66 - 0.00000 - - 0s 0 0 0.00000 0 43 - 0.00000 - - 0s Cutting planes: Clique: 3 Explored 0 nodes (1939 simplex iterations) in 0.24 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% optimal solution found: number of colors: 11