current bounds on the number of colors: 0 -- 176 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:15:22 2012 Optimize a model with 71720 rows, 16301 columns and 230120 nonzeros Presolve time: 0.22s Presolved: 71720 rows, 16301 columns, 230120 nonzeros Variable types: 0 continuous, 16301 integer (16301 binary) Root relaxation: objective 0.000000e+00, 571 iterations, 0.05 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 (941 simplex iterations) in 0.37 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 -- 88 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:15:23 2012 Optimize a model with 35948 rows, 8557 columns and 115060 nonzeros Presolve time: 0.15s Presolved: 35948 rows, 8557 columns, 115060 nonzeros Variable types: 0 continuous, 8557 integer (8557 binary) Root relaxation: objective 0.000000e+00, 435 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 (769 simplex iterations) in 0.22 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 -- 44 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:15:24 2012 Optimize a model with 18062 rows, 4685 columns and 57530 nonzeros Presolve time: 0.07s Presolved: 18062 rows, 4685 columns, 57530 nonzeros Variable types: 0 continuous, 4685 integer (4685 binary) Root relaxation: objective 0.000000e+00, 400 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 (739 simplex iterations) in 0.11 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 -- 22 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:15:24 2012 Optimize a model with 9119 rows, 2749 columns and 28765 nonzeros Presolve time: 0.03s Presolved: 9119 rows, 2749 columns, 28765 nonzeros Variable types: 0 continuous, 2749 integer (2749 binary) Root relaxation: objective 0.000000e+00, 363 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 (674 simplex iterations) in 0.05 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 -- 11 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:15:24 2012 Optimize a model with 4241 rows, 1693 columns and 13075 nonzeros Presolve time: 0.01s Presolved: 4241 rows, 1693 columns, 13075 nonzeros Variable types: 0 continuous, 1693 integer (1693 binary) Root relaxation: objective 0.000000e+00, 383 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 218 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4317 simplex iterations) in 0.34 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:15:25 2012 Optimize a model with 1802 rows, 1165 columns and 5230 nonzeros Presolve removed 176 rows and 176 columns Presolve time: 0.00s Presolved: 1626 rows, 989 columns, 4878 nonzeros Variable types: 0 continuous, 989 integer (989 binary) Root relaxation: objective 0.000000e+00, 187 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 176 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (737 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:15:25 2012 Optimize a model with 2615 rows, 1341 columns and 7845 nonzeros Presolve time: 0.01s Presolved: 2615 rows, 1341 columns, 7845 nonzeros Variable types: 0 continuous, 1341 integer (1341 binary) Root relaxation: objective 0.000000e+00, 448 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 350 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3903 simplex iterations) in 0.34 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:15:25 2012 Optimize a model with 3428 rows, 1517 columns and 10460 nonzeros Presolve time: 0.01s Presolved: 3428 rows, 1517 columns, 10460 nonzeros Variable types: 0 continuous, 1517 integer (1517 binary) Root relaxation: objective 0.000000e+00, 401 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 342 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 0s 0 0 0.00000 0 351 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 0.00000 0 411 - 0.00000 - - 0s 0 0 0.00000 0 320 - 0.00000 - - 1s 0 0 0.00000 0 326 - 0.00000 - - 1s 0 0 0.00000 0 324 - 0.00000 - - 2s 0 0 0.00000 0 328 - 0.00000 - - 2s 0 0 0.00000 0 330 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 2s 0 2 0.00000 0 326 - 0.00000 - - 3s 385 21 infeasible 18 - 0.00000 - 101 5s 912 44 0.00000 6 276 - 0.00000 - 103 10s 917 47 0.00000 20 450 - 0.00000 - 103 15s 940 60 0.00000 22 373 - 0.00000 - 147 20s 1346 56 infeasible 26 - 0.00000 - 159 25s 1765 63 infeasible 28 - 0.00000 - 167 30s 2140 56 infeasible 33 - 0.00000 - 173 35s 2524 88 infeasible 22 - 0.00000 - 178 40s 2910 80 0.00000 26 300 - 0.00000 - 181 45s 3293 89 infeasible 29 - 0.00000 - 184 50s 3700 106 0.00000 29 312 - 0.00000 - 185 55s 4084 78 infeasible 29 - 0.00000 - 186 60s 4484 88 infeasible 31 - 0.00000 - 187 65s 4905 79 0.00000 30 304 - 0.00000 - 187 70s 5316 112 infeasible 31 - 0.00000 - 187 75s 5743 77 infeasible 25 - 0.00000 - 187 80s 6138 96 0.00000 26 317 - 0.00000 - 187 85s 6591 93 infeasible 25 - 0.00000 - 186 90s 6962 90 infeasible 25 - 0.00000 - 187 95s 7370 64 0.00000 33 325 - 0.00000 - 187 100s 7724 56 infeasible 34 - 0.00000 - 189 105s 8170 46 0.00000 29 302 - 0.00000 - 188 110s 8547 27 infeasible 23 - 0.00000 - 189 115s Cutting planes: Gomory: 1 Clique: 1 Zero half: 14 Explored 8837 nodes (1700914 simplex iterations) in 119.08 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5