current bounds on the number of colors: 0 -- 175 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:55:50 2012 Optimize a model with 70036 rows, 16028 columns and 224808 nonzeros Presolve time: 0.21s Presolved: 70036 rows, 16028 columns, 224808 nonzeros Variable types: 0 continuous, 16028 integer (16028 binary) Root relaxation: objective 0.000000e+00, 696 iterations, 0.07 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 (1110 simplex iterations) in 0.39 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 -- 87 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:55:52 2012 Optimize a model with 34704 rows, 8328 columns and 111112 nonzeros Presolve time: 0.15s Presolved: 34704 rows, 8328 columns, 111112 nonzeros Variable types: 0 continuous, 8328 integer (8328 binary) Root relaxation: objective 0.000000e+00, 549 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 (949 simplex iterations) in 0.23 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 -- 43 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:55:52 2012 Optimize a model with 17038 rows, 4478 columns and 54264 nonzeros Presolve time: 0.07s Presolved: 17038 rows, 4478 columns, 54264 nonzeros Variable types: 0 continuous, 4478 integer (4478 binary) Root relaxation: objective 0.000000e+00, 403 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 (740 simplex iterations) in 0.10 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:55:53 2012 Optimize a model with 8205 rows, 2553 columns and 25840 nonzeros Presolve time: 0.02s Presolved: 8205 rows, 2553 columns, 25840 nonzeros Variable types: 0 continuous, 2553 integer (2553 binary) Root relaxation: objective 0.000000e+00, 368 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 (691 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:55:53 2012 Optimize a model with 4190 rows, 1678 columns and 12920 nonzeros Presolve time: 0.01s Presolved: 4190 rows, 1678 columns, 12920 nonzeros Variable types: 0 continuous, 1678 integer (1678 binary) Root relaxation: objective 0.000000e+00, 397 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 148 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3579 simplex iterations) in 0.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% current bounds on the number of colors: 0 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:55:53 2012 Optimize a model with 1781 rows, 1153 columns and 5168 nonzeros Presolve removed 175 rows and 175 columns Presolve time: 0.00s Presolved: 1606 rows, 978 columns, 4818 nonzeros Variable types: 0 continuous, 978 integer (978 binary) Root relaxation: objective 0.000000e+00, 180 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 175 - 0.00000 - - 0s Explored 0 nodes (754 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 22:55:53 2012 Optimize a model with 2584 rows, 1328 columns and 7752 nonzeros Presolve time: 0.01s Presolved: 2584 rows, 1328 columns, 7752 nonzeros Variable types: 0 continuous, 1328 integer (1328 binary) Root relaxation: objective 0.000000e+00, 398 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 340 - 0.00000 - - 0s 0 0 0.00000 0 349 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4909 simplex iterations) in 0.54 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 22:55:54 2012 Optimize a model with 3387 rows, 1503 columns and 10336 nonzeros Presolve time: 0.01s Presolved: 3387 rows, 1503 columns, 10336 nonzeros Variable types: 0 continuous, 1503 integer (1503 binary) Root relaxation: objective 0.000000e+00, 403 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 344 - 0.00000 - - 0s 0 0 0.00000 0 320 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 0s 0 0 0.00000 0 349 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 1s 0 0 0.00000 0 438 - 0.00000 - - 1s 0 0 0.00000 0 424 - 0.00000 - - 2s 0 0 0.00000 0 425 - 0.00000 - - 2s 0 0 0.00000 0 425 - 0.00000 - - 3s 0 2 0.00000 0 425 - 0.00000 - - 3s 127 42 infeasible 13 - 0.00000 - 150 5s 709 85 0.00000 18 330 - 0.00000 - 109 10s 713 87 0.00000 7 296 - 0.00000 - 108 15s 717 90 0.00000 23 279 - 0.00000 - 107 20s 906 68 infeasible 25 - 0.00000 - 181 25s 1222 34 infeasible 22 - 0.00000 - 194 30s 1561 43 infeasible 26 - 0.00000 - 198 35s 1890 46 0.00000 20 316 - 0.00000 - 202 40s 2201 47 infeasible 25 - 0.00000 - 206 45s 2555 53 infeasible 25 - 0.00000 - 206 50s 2895 71 infeasible 30 - 0.00000 - 207 55s 3217 69 infeasible 22 - 0.00000 - 209 60s 3568 52 infeasible 23 - 0.00000 - 210 65s 3895 55 infeasible 26 - 0.00000 - 211 70s 4198 42 0.00000 27 306 - 0.00000 - 213 75s 4476 30 infeasible 21 - 0.00000 - 215 80s 4784 36 infeasible 22 - 0.00000 - 216 85s 5128 24 infeasible 22 - 0.00000 - 215 90s 5522 34 infeasible 26 - 0.00000 - 214 95s 5838 14 0.00000 19 314 - 0.00000 - 215 100s 6148 28 0.00000 23 306 - 0.00000 - 215 105s 6492 30 infeasible 25 - 0.00000 - 215 110s 6821 25 infeasible 27 - 0.00000 - 215 115s 7142 26 infeasible 27 - 0.00000 - 216 120s 7491 27 infeasible 21 - 0.00000 - 216 125s 7822 24 infeasible 25 - 0.00000 - 216 130s 8145 35 0.00000 25 306 - 0.00000 - 216 135s 8452 20 infeasible 21 - 0.00000 - 217 140s 8749 7 infeasible 24 - 0.00000 - 218 145s 9077 17 infeasible 27 - 0.00000 - 218 150s 9397 3 infeasible 22 - 0.00000 - 218 155s Cutting planes: Gomory: 1 Zero half: 18 Explored 9639 nodes (2121957 simplex iterations) in 158.44 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