current bounds on the number of colors: 0 -- 189 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:48:43 2012 Optimize a model with 82533 rows, 18642 columns and 264798 nonzeros Presolve time: 0.26s Presolved: 82533 rows, 18642 columns, 264798 nonzeros Variable types: 0 continuous, 18642 integer (18642 binary) Root relaxation: objective 0.000000e+00, 780 iterations, 0.10 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 (1216 simplex iterations) in 0.49 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 -- 94 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:48:45 2012 Optimize a model with 41361 rows, 9759 columns and 132399 nonzeros Presolve time: 0.15s Presolved: 41361 rows, 9759 columns, 132399 nonzeros Variable types: 0 continuous, 9759 integer (9759 binary) Root relaxation: objective 0.000000e+00, 647 iterations, 0.04 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 (1064 simplex iterations) in 0.25 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:48:46 2012 Optimize a model with 20337 rows, 5223 columns and 64791 nonzeros Presolve time: 0.08s Presolved: 20337 rows, 5223 columns, 64791 nonzeros Variable types: 0 continuous, 5223 integer (5223 binary) Root relaxation: objective 0.000000e+00, 406 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 (948 simplex iterations) in 0.14 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:48:46 2012 Optimize a model with 9825 rows, 2955 columns and 30987 nonzeros Presolve time: 0.03s Presolved: 9825 rows, 2955 columns, 30987 nonzeros Variable types: 0 continuous, 2955 integer (2955 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 (733 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 Sat Dec 15 04:48:46 2012 Optimize a model with 4569 rows, 1821 columns and 14085 nonzeros Presolve time: 0.01s Presolved: 4569 rows, 1821 columns, 14085 nonzeros Variable types: 0 continuous, 1821 integer (1821 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.00000 0 183 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4247 simplex iterations) in 0.32 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 Sat Dec 15 04:48:46 2012 Optimize a model with 1941 rows, 1254 columns and 5634 nonzeros Presolve removed 189 rows and 189 columns Presolve time: 0.00s Presolved: 1752 rows, 1065 columns, 5256 nonzeros Variable types: 0 continuous, 1065 integer (1065 binary) Root relaxation: objective 0.000000e+00, 199 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 189 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (818 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 Sat Dec 15 04:48:47 2012 Optimize a model with 2817 rows, 1443 columns and 8451 nonzeros Presolve time: 0.01s Presolved: 2817 rows, 1443 columns, 8451 nonzeros Variable types: 0 continuous, 1443 integer (1443 binary) Root relaxation: objective 0.000000e+00, 422 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 282 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (8627 simplex iterations) in 0.89 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 Sat Dec 15 04:48:48 2012 Optimize a model with 3693 rows, 1632 columns and 11268 nonzeros Presolve time: 0.01s Presolved: 3693 rows, 1632 columns, 11268 nonzeros Variable types: 0 continuous, 1632 integer (1632 binary) Root relaxation: objective 0.000000e+00, 430 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 374 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 0s 0 0 0.00000 0 523 - 0.00000 - - 0s 0 0 0.00000 0 482 - 0.00000 - - 1s 0 0 0.00000 0 472 - 0.00000 - - 2s 0 0 0.00000 0 481 - 0.00000 - - 3s 0 0 0.00000 0 481 - 0.00000 - - 3s 0 2 0.00000 0 481 - 0.00000 - - 4s 14 14 0.00000 10 338 - 0.00000 - 429 5s 603 127 0.00000 11 366 - 0.00000 - 138 10s 607 130 0.00000 17 324 - 0.00000 - 137 15s 610 132 0.00000 19 430 - 0.00000 - 136 20s 734 153 infeasible 33 - 0.00000 - 194 25s 1057 104 infeasible 32 - 0.00000 - 200 30s 1375 102 infeasible 33 - 0.00000 - 207 35s 1678 79 infeasible 32 - 0.00000 - 214 40s 1981 66 0.00000 26 334 - 0.00000 - 218 45s 2301 90 infeasible 31 - 0.00000 - 219 50s 2643 94 infeasible 32 - 0.00000 - 219 55s 2964 111 0.00000 32 291 - 0.00000 - 220 60s 3259 88 infeasible 28 - 0.00000 - 221 65s 3556 97 infeasible 33 - 0.00000 - 223 70s 3856 109 infeasible 35 - 0.00000 - 224 75s 4143 104 0.00000 27 336 - 0.00000 - 226 80s 4408 101 infeasible 30 - 0.00000 - 228 85s 4723 110 infeasible 30 - 0.00000 - 228 90s 5031 102 infeasible 35 - 0.00000 - 229 95s 5337 116 infeasible 38 - 0.00000 - 229 100s 5626 105 0.00000 30 314 - 0.00000 - 230 105s 5903 90 infeasible 34 - 0.00000 - 230 110s 6199 94 0.00000 30 326 - 0.00000 - 231 115s 6493 90 0.00000 30 362 - 0.00000 - 231 120s 6790 99 0.00000 23 345 - 0.00000 - 231 125s 7149 88 infeasible 34 - 0.00000 - 230 130s 7447 74 infeasible 37 - 0.00000 - 230 135s 7735 90 infeasible 26 - 0.00000 - 230 140s 8024 85 infeasible 32 - 0.00000 - 230 145s 8327 82 infeasible 30 - 0.00000 - 230 150s 8628 67 infeasible 34 - 0.00000 - 230 155s 8935 60 infeasible 32 - 0.00000 - 230 160s 9273 60 0.00000 29 326 - 0.00000 - 229 165s 9606 65 infeasible 30 - 0.00000 - 229 170s 9946 51 infeasible 32 - 0.00000 - 229 175s 10194 27 0.00000 28 384 - 0.00000 - 230 180s 10468 7 0.00000 30 373 - 0.00000 - 230 185s Cutting planes: Gomory: 1 Clique: 2 Zero half: 23 Explored 10554 nodes (2451874 simplex iterations) in 186.69 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