current bounds on the number of colors: 0 -- 58 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:22:06 2012 Optimize a model with 24012 rows, 2508 columns and 73544 nonzeros Presolve time: 0.10s Presolved: 24012 rows, 2508 columns, 73544 nonzeros Variable types: 0 continuous, 2508 integer (2508 binary) Root relaxation: objective 0.000000e+00, 133 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 (537 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 -- 29 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:22:06 2012 Optimize a model with 11622 rows, 1638 columns and 35504 nonzeros Presolve time: 0.04s Presolved: 11622 rows, 1638 columns, 35504 nonzeros Variable types: 0 continuous, 1638 integer (1638 binary) Root relaxation: objective 0.000000e+00, 123 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 (1070 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: 0 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:22:07 2012 Optimize a model with 5840 rows, 1232 columns and 17752 nonzeros Presolve time: 0.02s Presolved: 5840 rows, 1232 columns, 17752 nonzeros Variable types: 0 continuous, 1232 integer (1232 binary) Root relaxation: objective 0.000000e+00, 118 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 72 - 0.00000 - - 0s 0 0 0.00000 0 104 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2375 simplex iterations) in 0.41 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:22:07 2012 Optimize a model with 8318 rows, 1406 columns and 25360 nonzeros Presolve time: 0.02s Presolved: 8318 rows, 1406 columns, 25360 nonzeros Variable types: 0 continuous, 1406 integer (1406 binary) Root relaxation: objective 0.000000e+00, 132 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 60 - 0.00000 - - 0s 0 0 0.00000 0 44 - 0.00000 - - 0s 0 0 0.00000 0 140 - 0.00000 - - 1s 0 0 0.00000 0 200 - 0.00000 - - 1s 0 0 0.00000 0 123 - 0.00000 - - 2s 0 0 0.00000 0 99 - 0.00000 - - 3s 0 0 0.00000 0 52 - 0.00000 - - 4s 0 0 0.00000 0 89 - 0.00000 - - 5s 0 0 0.00000 0 137 - 0.00000 - - 5s 0 0 0.00000 0 70 - 0.00000 - - 6s 0 0 0.00000 0 218 - 0.00000 - - 6s 0 0 0.00000 0 218 - 0.00000 - - 9s 0 2 0.00000 0 218 - 0.00000 - - 10s 305 17 infeasible 24 - 0.00000 - 118 15s 813 13 0.00000 16 142 - 0.00000 - 118 20s 905 27 0.00000 15 97 - 0.00000 - 116 25s * 906 25 9 0.0000000 0.00000 0.0% 116 26s Cutting planes: Gomory: 7 Clique: 16 Zero half: 6 Explored 906 nodes (169958 simplex iterations) in 26.89 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:22:34 2012 Optimize a model with 6666 rows, 1290 columns and 20288 nonzeros Presolve time: 0.02s Presolved: 6666 rows, 1290 columns, 20288 nonzeros Variable types: 0 continuous, 1290 integer (1290 binary) Root relaxation: objective 0.000000e+00, 123 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 56 - 0.00000 - - 0s 0 0 0.00000 0 78 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 1s 0 0 0.00000 0 333 - 0.00000 - - 1s 0 0 0.00000 0 299 - 0.00000 - - 2s 0 0 0.00000 0 294 - 0.00000 - - 4s 0 0 0.00000 0 281 - 0.00000 - - 5s 0 0 0.00000 0 290 - 0.00000 - - 6s 0 0 0.00000 0 288 - 0.00000 - - 8s 0 0 0.00000 0 290 - 0.00000 - - 9s 0 0 0.00000 0 275 - 0.00000 - - 10s 0 0 0.00000 0 332 - 0.00000 - - 12s 0 0 0.00000 0 314 - 0.00000 - - 13s 0 2 0.00000 0 314 - 0.00000 - - 15s Cutting planes: Clique: 158 Zero half: 8 Explored 17 nodes (71444 simplex iterations) in 16.03 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:22:50 2012 Optimize a model with 7492 rows, 1348 columns and 22824 nonzeros Presolve time: 0.02s Presolved: 7492 rows, 1348 columns, 22824 nonzeros Variable types: 0 continuous, 1348 integer (1348 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.00000 0 66 - 0.00000 - - 0s 0 0 0.00000 0 32 - 0.00000 - - 0s 0 0 0.00000 0 227 - 0.00000 - - 1s 0 0 0.00000 0 278 - 0.00000 - - 1s 0 0 0.00000 0 248 - 0.00000 - - 3s 0 0 0.00000 0 282 - 0.00000 - - 3s 0 0 0.00000 0 194 - 0.00000 - - 4s 0 0 0.00000 0 246 - 0.00000 - - 6s 0 0 0.00000 0 207 - 0.00000 - - 7s 0 0 0.00000 0 235 - 0.00000 - - 8s 0 0 0.00000 0 234 - 0.00000 - - 9s 0 2 0.00000 0 234 - 0.00000 - - 10s 153 11 0.00000 12 168 - 0.00000 - 248 15s 328 14 infeasible 12 - 0.00000 - 239 20s 488 6 0.00000 9 215 - 0.00000 - 243 25s Cutting planes: Clique: 349 Zero half: 7 Explored 527 nodes (174170 simplex iterations) in 26.30 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