current bounds on the number of colors: 0 -- 58 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:13:33 2012 Optimize a model with 22997 rows, 2473 columns and 70499 nonzeros Presolve time: 0.10s Presolved: 22997 rows, 2473 columns, 70499 nonzeros Variable types: 0 continuous, 2473 integer (2473 binary) Root relaxation: objective 0.000000e+00, 180 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 (405 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 -- 29 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:13:34 2012 Optimize a model with 11132 rows, 1603 columns and 34034 nonzeros Presolve time: 0.03s Presolved: 11132 rows, 1603 columns, 34034 nonzeros Variable types: 0 continuous, 1603 integer (1603 binary) Root relaxation: objective 0.000000e+00, 129 iterations, 0.01 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 (716 simplex iterations) in 0.08 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:13:34 2012 Optimize a model with 5595 rows, 1197 columns and 17017 nonzeros Presolve time: 0.01s Presolved: 5595 rows, 1197 columns, 17017 nonzeros Variable types: 0 continuous, 1197 integer (1197 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 76 - 0.00000 - - 0s 0 0 0.00000 0 65 - 0.00000 - - 0s 0 0 0.00000 0 313 - 0.00000 - - 1s 0 0 0.00000 0 356 - 0.00000 - - 1s 0 0 0.00000 0 333 - 0.00000 - - 2s 0 0 0.00000 0 364 - 0.00000 - - 4s 0 0 0.00000 0 344 - 0.00000 - - 5s 0 0 0.00000 0 348 - 0.00000 - - 6s 0 0 0.00000 0 348 - 0.00000 - - 7s 0 2 0.00000 0 348 - 0.00000 - - 8s Cutting planes: Clique: 84 Zero half: 5 Explored 5 nodes (33426 simplex iterations) in 8.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: 7 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:13:43 2012 Optimize a model with 7968 rows, 1371 columns and 24310 nonzeros Presolve time: 0.02s Presolved: 7968 rows, 1371 columns, 24310 nonzeros Variable types: 0 continuous, 1371 integer (1371 binary) Root relaxation: objective 0.000000e+00, 118 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 30 - 0.00000 - - 0s 0 0 0.00000 0 46 - 0.00000 - - 0s 0 0 0.00000 0 107 - 0.00000 - - 1s 0 0 0.00000 0 162 - 0.00000 - - 1s 0 0 0.00000 0 140 - 0.00000 - - 1s 0 0 0.00000 0 122 - 0.00000 - - 2s 0 0 0.00000 0 52 - 0.00000 - - 3s 0 0 0.00000 0 66 - 0.00000 - - 3s 0 0 0.00000 0 104 - 0.00000 - - 4s 0 0 0.00000 0 46 - 0.00000 - - 4s 0 0 0.00000 0 144 - 0.00000 - - 5s 0 0 0.00000 0 28 - 0.00000 - - 5s 0 0 0.00000 0 57 - 0.00000 - - 6s 0 0 0.00000 0 57 - 0.00000 - - 6s H 0 0 0.0000000 0.00000 0.0% - 6s Cutting planes: Clique: 11 Zero half: 1 Explored 0 nodes (43284 simplex iterations) in 6.84 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: 7 -- 10 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:13:50 2012 Optimize a model with 6386 rows, 1255 columns and 19448 nonzeros Presolve time: 0.02s Presolved: 6386 rows, 1255 columns, 19448 nonzeros Variable types: 0 continuous, 1255 integer (1255 binary) Root relaxation: objective 0.000000e+00, 128 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 69 - 0.00000 - - 0s 0 0 0.00000 0 234 - 0.00000 - - 1s 0 0 0.00000 0 282 - 0.00000 - - 1s 0 0 0.00000 0 235 - 0.00000 - - 3s 0 0 0.00000 0 215 - 0.00000 - - 4s 0 0 0.00000 0 211 - 0.00000 - - 6s 0 0 0.00000 0 222 - 0.00000 - - 7s 0 0 0.00000 0 241 - 0.00000 - - 8s 0 0 0.00000 0 253 - 0.00000 - - 9s 0 0 0.00000 0 253 - 0.00000 - - 10s 0 2 0.00000 0 253 - 0.00000 - - 11s Cutting planes: Clique: 220 Explored 73 nodes (69683 simplex iterations) in 14.60 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: 8 -- 10 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:14:04 2012 Optimize a model with 7177 rows, 1313 columns and 21879 nonzeros Presolve time: 0.02s Presolved: 7177 rows, 1313 columns, 21879 nonzeros Variable types: 0 continuous, 1313 integer (1313 binary) Root relaxation: objective 0.000000e+00, 118 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 50 - 0.00000 - - 0s 0 0 0.00000 0 32 - 0.00000 - - 0s 0 0 0.00000 0 163 - 0.00000 - - 1s 0 0 0.00000 0 249 - 0.00000 - - 1s 0 0 0.00000 0 181 - 0.00000 - - 2s 0 0 0.00000 0 227 - 0.00000 - - 3s 0 0 0.00000 0 154 - 0.00000 - - 3s 0 0 0.00000 0 155 - 0.00000 - - 4s 0 0 0.00000 0 224 - 0.00000 - - 5s 0 0 0.00000 0 189 - 0.00000 - - 6s 0 2 0.00000 0 189 - 0.00000 - - 7s 121 21 0.00000 16 150 - 0.00000 - 177 10s 498 14 0.00000 11 165 - 0.00000 - 151 15s 813 19 0.00000 0 163 - 0.00000 - 152 21s 816 21 0.00000 0 160 - 0.00000 - 151 26s 818 23 0.00000 0 191 - 0.00000 - 151 30s 821 25 0.00000 0 207 - 0.00000 - 150 35s 849 37 0.00000 26 145 - 0.00000 - 198 40s 1097 28 infeasible 29 - 0.00000 - 193 45s 1380 19 infeasible 32 - 0.00000 - 191 50s 1646 17 infeasible 28 - 0.00000 - 190 55s 1906 9 infeasible 30 - 0.00000 - 190 60s 2185 4 infeasible 27 - 0.00000 - 189 65s 2469 5 0.00000 20 163 - 0.00000 - 188 70s Cutting planes: Clique: 23 Zero half: 4 Explored 2571 nodes (514596 simplex iterations) in 71.54 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 10