current bounds on the number of colors: 0 -- 57 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:03:32 2012 Optimize a model with 23689 rows, 2440 columns and 72492 nonzeros Presolve time: 0.10s Presolved: 23689 rows, 2440 columns, 72492 nonzeros Variable types: 0 continuous, 2440 integer (2440 binary) Root relaxation: objective 0.000000e+00, 121 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 (523 simplex iterations) in 0.18 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:03:33 2012 Optimize a model with 11873 rows, 1642 columns and 36246 nonzeros Presolve time: 0.04s Presolved: 11873 rows, 1642 columns, 36246 nonzeros Variable types: 0 continuous, 1642 integer (1642 binary) Root relaxation: objective 0.000000e+00, 130 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 26 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1301 simplex iterations) in 0.14 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:03:33 2012 Optimize a model with 5965 rows, 1243 columns and 18123 nonzeros Presolve time: 0.02s Presolved: 5965 rows, 1243 columns, 18123 nonzeros Variable types: 0 continuous, 1243 integer (1243 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 68 - 0.00000 - - 0s 0 0 0.00000 0 58 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2848 simplex iterations) in 0.49 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:03:34 2012 Optimize a model with 8497 rows, 1414 columns and 25890 nonzeros Presolve time: 0.02s Presolved: 8497 rows, 1414 columns, 25890 nonzeros Variable types: 0 continuous, 1414 integer (1414 binary) Root relaxation: objective 0.000000e+00, 120 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 42 - 0.00000 - - 0s 0 0 0.00000 0 26 - 0.00000 - - 0s 0 0 0.00000 0 195 - 0.00000 - - 1s 0 0 0.00000 0 284 - 0.00000 - - 1s 0 0 0.00000 0 269 - 0.00000 - - 3s 0 0 0.00000 0 268 - 0.00000 - - 4s 0 0 0.00000 0 141 - 0.00000 - - 6s 0 0 0.00000 0 178 - 0.00000 - - 7s 0 0 0.00000 0 209 - 0.00000 - - 8s 0 0 0.00000 0 248 - 0.00000 - - 9s 0 0 0.00000 0 236 - 0.00000 - - 11s 0 0 0.00000 0 260 - 0.00000 - - 12s 0 0 0.00000 0 258 - 0.00000 - - 12s 0 2 0.00000 0 258 - 0.00000 - - 14s 53 5 infeasible 14 - 0.00000 - 179 15s 439 13 infeasible 16 - 0.00000 - 137 20s 703 25 0.00000 10 195 - 0.00000 - 138 26s 705 27 0.00000 16 157 - 0.00000 - 138 31s 708 29 0.00000 5 113 - 0.00000 - 137 36s 711 31 0.00000 6 144 - 0.00000 - 137 42s 713 32 0.00000 17 181 - 0.00000 - 136 45s 731 38 0.00000 18 168 - 0.00000 - 214 50s 966 10 infeasible 25 - 0.00000 - 205 55s 1211 5 infeasible 26 - 0.00000 - 204 60s 1419 5 infeasible 23 - 0.00000 - 204 65s Cutting planes: Clique: 15 Zero half: 4 Explored 1633 nodes (393588 simplex iterations) in 69.57 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:04:43 2012 Optimize a model with 10185 rows, 1528 columns and 31068 nonzeros Presolve time: 0.03s Presolved: 10185 rows, 1528 columns, 31068 nonzeros Variable types: 0 continuous, 1528 integer (1528 binary) Root relaxation: objective 0.000000e+00, 130 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 62 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1198 simplex iterations) in 0.13 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:04:44 2012 Optimize a model with 9341 rows, 1471 columns and 28479 nonzeros Presolve time: 0.03s Presolved: 9341 rows, 1471 columns, 28479 nonzeros Variable types: 0 continuous, 1471 integer (1471 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 62 - 0.00000 - - 0s 0 0 0.00000 0 34 - 0.00000 - - 0s 0 0 0.00000 0 109 - 0.00000 - - 1s 0 0 0.00000 0 137 - 0.00000 - - 1s 0 0 0.00000 0 24 - 0.00000 - - 2s * 0 0 0 0.0000000 0.00000 0.0% - 2s Cutting planes: Clique: 21 Zero half: 10 Explored 0 nodes (13124 simplex iterations) in 2.25 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