current bounds on the number of colors: 0 -- 52 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:22:34 2012 Optimize a model with 18356 rows, 2056 columns and 56264 nonzeros Presolve time: 0.07s Presolved: 18356 rows, 2056 columns, 56264 nonzeros Variable types: 0 continuous, 2056 integer (2056 binary) Root relaxation: objective 0.000000e+00, 134 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 (432 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: 0 -- 26 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:22:35 2012 Optimize a model with 9204 rows, 1380 columns and 28132 nonzeros Presolve time: 0.03s Presolved: 9204 rows, 1380 columns, 28132 nonzeros Variable types: 0 continuous, 1380 integer (1380 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (855 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 -- 13 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:22:35 2012 Optimize a model with 4276 rows, 1016 columns and 12984 nonzeros Presolve time: 0.01s Presolved: 4276 rows, 1016 columns, 12984 nonzeros Variable types: 0 continuous, 1016 integer (1016 binary) Root relaxation: objective 0.000000e+00, 104 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 56 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2458 simplex iterations) in 0.33 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: 6 -- 13 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:22:35 2012 Optimize a model with 6388 rows, 1172 columns and 19476 nonzeros Presolve time: 0.02s Presolved: 6388 rows, 1172 columns, 19476 nonzeros Variable types: 0 continuous, 1172 integer (1172 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 36 - 0.00000 - - 0s 0 0 0.00000 0 36 - 0.00000 - - 0s 0 0 0.00000 0 183 - 0.00000 - - 1s 0 0 0.00000 0 216 - 0.00000 - - 1s 0 0 0.00000 0 141 - 0.00000 - - 2s 0 0 0.00000 0 164 - 0.00000 - - 2s 0 0 0.00000 0 162 - 0.00000 - - 3s 0 0 0.00000 0 199 - 0.00000 - - 4s 0 0 0.00000 0 284 - 0.00000 - - 5s 0 0 0.00000 0 256 - 0.00000 - - 5s 0 2 0.00000 0 256 - 0.00000 - - 6s Cutting planes: Clique: 146 Explored 137 nodes (54291 simplex iterations) in 8.37 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: 9 -- 13 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:22:44 2012 Optimize a model with 7796 rows, 1276 columns and 23804 nonzeros Presolve time: 0.02s Presolved: 7796 rows, 1276 columns, 23804 nonzeros Variable types: 0 continuous, 1276 integer (1276 binary) Root relaxation: objective 0.000000e+00, 107 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 32 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1527 simplex iterations) in 0.12 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: 9 -- 11 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:22:44 2012 Optimize a model with 7092 rows, 1224 columns and 21640 nonzeros Presolve time: 0.02s Presolved: 7092 rows, 1224 columns, 21640 nonzeros Variable types: 0 continuous, 1224 integer (1224 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 38 - 0.00000 - - 0s 0 0 0.00000 0 15 - 0.00000 - - 0s 0 0 0.00000 0 82 - 0.00000 - - 1s 0 0 0.00000 0 222 - 0.00000 - - 1s 0 0 0.00000 0 75 - 0.00000 - - 1s 0 0 0.00000 0 111 - 0.00000 - - 2s 0 0 0.00000 0 147 - 0.00000 - - 2s 0 0 0.00000 0 16 - 0.00000 - - 3s 0 0 0.00000 0 84 - 0.00000 - - 3s 0 0 0.00000 0 116 - 0.00000 - - 4s 0 0 0.00000 0 116 - 0.00000 - - 5s 0 2 0.00000 0 116 - 0.00000 - - 5s 413 11 infeasible 13 - 0.00000 - 96.4 10s 705 43 0.00000 19 85 - 0.00000 - 93.1 15s 713 48 infeasible 11 - 0.00000 - 134 20s 952 16 infeasible 26 - 0.00000 - 135 25s 1470 34 infeasible 29 - 0.00000 - 130 30s * 1514 2 36 0.0000000 0.00000 0.0% 129 30s Cutting planes: Gomory: 1 Clique: 7 Zero half: 3 Explored 1515 nodes (225559 simplex iterations) in 30.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: 10