current bounds on the number of colors: 0 -- 58 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:18:27 2012 Optimize a model with 24592 rows, 2528 columns and 75284 nonzeros Presolve time: 0.11s Presolved: 24592 rows, 2528 columns, 75284 nonzeros Variable types: 0 continuous, 2528 integer (2528 binary) Root relaxation: objective 0.000000e+00, 126 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 (422 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 -- 29 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:18:28 2012 Optimize a model with 11902 rows, 1658 columns and 36344 nonzeros Presolve time: 0.04s Presolved: 11902 rows, 1658 columns, 36344 nonzeros Variable types: 0 continuous, 1658 integer (1658 binary) Root relaxation: objective 0.000000e+00, 134 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 28 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1441 simplex iterations) in 0.15 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:18:28 2012 Optimize a model with 5980 rows, 1252 columns and 18172 nonzeros Presolve time: 0.02s Presolved: 5980 rows, 1252 columns, 18172 nonzeros Variable types: 0 continuous, 1252 integer (1252 binary) Root relaxation: objective 0.000000e+00, 117 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 56 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2876 simplex iterations) in 0.48 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:18:29 2012 Optimize a model with 8518 rows, 1426 columns and 25960 nonzeros Presolve time: 0.02s Presolved: 8518 rows, 1426 columns, 25960 nonzeros Variable types: 0 continuous, 1426 integer (1426 binary) Root relaxation: objective 0.000000e+00, 125 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 52 - 0.00000 - - 0s 0 0 0.00000 0 54 - 0.00000 - - 0s 0 0 0.00000 0 124 - 0.00000 - - 1s 0 0 0.00000 0 225 - 0.00000 - - 1s 0 0 0.00000 0 171 - 0.00000 - - 2s 0 0 0.00000 0 148 - 0.00000 - - 3s 0 0 0.00000 0 227 - 0.00000 - - 4s 0 0 0.00000 0 259 - 0.00000 - - 5s 0 0 0.00000 0 181 - 0.00000 - - 6s 0 0 0.00000 0 187 - 0.00000 - - 7s 0 0 0.00000 0 187 - 0.00000 - - 8s 0 2 0.00000 0 187 - 0.00000 - - 9s 8 8 0.00000 6 175 - 0.00000 - 418 10s 447 19 0.00000 19 141 - 0.00000 - 126 15s 803 25 0.00000 12 124 - 0.00000 - 122 20s 807 28 0.00000 7 162 - 0.00000 - 122 26s 809 29 0.00000 13 181 - 0.00000 - 121 30s 812 31 0.00000 8 257 - 0.00000 - 121 35s 847 33 0.00000 28 164 - 0.00000 - 175 40s 1125 7 infeasible 31 - 0.00000 - 170 45s 1461 9 0.00000 31 118 - 0.00000 - 166 50s 1825 21 infeasible 34 - 0.00000 - 164 55s 2227 15 infeasible 36 - 0.00000 - 160 60s 2630 12 0.00000 35 132 - 0.00000 - 158 65s 2988 6 infeasible 30 - 0.00000 - 158 70s 3262 14 infeasible 31 - 0.00000 - 160 75s 3543 15 infeasible 35 - 0.00000 - 162 80s 3902 16 0.00000 30 149 - 0.00000 - 162 85s 4221 15 infeasible 35 - 0.00000 - 163 90s 4561 13 infeasible 34 - 0.00000 - 164 95s 4840 8 infeasible 34 - 0.00000 - 165 100s Cutting planes: Clique: 72 Zero half: 4 Explored 4937 nodes (862564 simplex iterations) in 101.80 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:20:11 2012 Optimize a model with 10210 rows, 1542 columns and 31152 nonzeros Presolve time: 0.03s Presolved: 10210 rows, 1542 columns, 31152 nonzeros Variable types: 0 continuous, 1542 integer (1542 binary) Root relaxation: objective 0.000000e+00, 127 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 49 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2274 simplex iterations) in 0.28 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:20:11 2012 Optimize a model with 9364 rows, 1484 columns and 28556 nonzeros Presolve time: 0.03s Presolved: 9364 rows, 1484 columns, 28556 nonzeros Variable types: 0 continuous, 1484 integer (1484 binary) Root relaxation: objective 0.000000e+00, 126 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 58 - 0.00000 - - 0s 0 0 0.00000 0 126 - 0.00000 - - 1s 0 0 0.00000 0 183 - 0.00000 - - 1s 0 0 0.00000 0 57 - 0.00000 - - 1s 0 0 0.00000 0 126 - 0.00000 - - 2s * 0 0 0 0.0000000 0.00000 0.0% - 2s Cutting planes: Clique: 26 Zero half: 3 Explored 0 nodes (16672 simplex iterations) in 2.57 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