current bounds on the number of colors: 0 -- 59 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:23:17 2012 Optimize a model with 24796 rows, 2564 columns and 75922 nonzeros Presolve time: 0.10s Presolved: 24796 rows, 2564 columns, 75922 nonzeros Variable types: 0 continuous, 2564 integer (2564 binary) Root relaxation: objective 0.000000e+00, 122 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 (524 simplex iterations) in 0.19 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:23:18 2012 Optimize a model with 12001 rows, 1679 columns and 36652 nonzeros Presolve time: 0.04s Presolved: 12001 rows, 1679 columns, 36652 nonzeros Variable types: 0 continuous, 1679 integer (1679 binary) Root relaxation: objective 0.000000e+00, 135 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 42 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1501 simplex iterations) in 0.16 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:23:18 2012 Optimize a model with 6030 rows, 1266 columns and 18326 nonzeros Presolve time: 0.02s Presolved: 6030 rows, 1266 columns, 18326 nonzeros Variable types: 0 continuous, 1266 integer (1266 binary) Root relaxation: objective 0.000000e+00, 120 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 74 - 0.00000 - - 0s 0 0 0.00000 0 64 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4339 simplex iterations) in 0.71 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:23:19 2012 Optimize a model with 8589 rows, 1443 columns and 26180 nonzeros Presolve time: 0.02s Presolved: 8589 rows, 1443 columns, 26180 nonzeros Variable types: 0 continuous, 1443 integer (1443 binary) Root relaxation: objective 0.000000e+00, 127 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 50 - 0.00000 - - 0s 0 0 0.00000 0 52 - 0.00000 - - 0s 0 0 0.00000 0 173 - 0.00000 - - 1s 0 0 0.00000 0 235 - 0.00000 - - 1s 0 0 0.00000 0 81 - 0.00000 - - 2s 0 0 0.00000 0 73 - 0.00000 - - 3s 0 0 0.00000 0 88 - 0.00000 - - 4s 0 0 0.00000 0 57 - 0.00000 - - 5s 0 0 0.00000 0 173 - 0.00000 - - 5s 0 0 0.00000 0 159 - 0.00000 - - 7s 0 0 0.00000 0 197 - 0.00000 - - 8s 0 0 0.00000 0 255 - 0.00000 - - 9s 0 0 0.00000 0 75 - 0.00000 - - 10s 0 2 0.00000 0 71 - 0.00000 - - 12s 365 28 infeasible 26 - 0.00000 - 86.3 15s 1096 13 infeasible 17 - 0.00000 - 88.7 20s 1503 42 0.00000 20 173 - 0.00000 - 93.1 25s 1506 44 0.00000 22 129 - 0.00000 - 92.9 31s 1508 46 0.00000 12 175 - 0.00000 - 92.7 36s 1512 48 infeasible 10 - 0.00000 - 119 40s 1580 44 infeasible 26 - 0.00000 - 120 45s 1913 24 0.00000 27 160 - 0.00000 - 124 50s 2250 27 infeasible 30 - 0.00000 - 129 55s 2608 31 infeasible 32 - 0.00000 - 133 60s 2866 37 infeasible 31 - 0.00000 - 138 65s 3200 27 infeasible 29 - 0.00000 - 141 70s 3503 34 infeasible 27 - 0.00000 - 143 75s 3851 30 0.00000 25 139 - 0.00000 - 144 80s 4225 44 infeasible 30 - 0.00000 - 145 85s 4611 40 infeasible 30 - 0.00000 - 146 90s 4994 45 0.00000 29 115 - 0.00000 - 147 95s 5398 43 0.00000 29 126 - 0.00000 - 147 100s 5829 42 infeasible 27 - 0.00000 - 146 105s 6249 40 infeasible 27 - 0.00000 - 146 110s 6604 37 0.00000 23 137 - 0.00000 - 147 115s 6934 43 infeasible 33 - 0.00000 - 148 120s 7298 37 0.00000 21 137 - 0.00000 - 149 125s 7647 36 0.00000 24 164 - 0.00000 - 150 130s 8007 44 infeasible 29 - 0.00000 - 150 135s 8429 40 infeasible 27 - 0.00000 - 150 140s 8821 34 0.00000 28 111 - 0.00000 - 150 145s 9205 28 0.00000 25 132 - 0.00000 - 150 150s 9579 30 0.00000 25 134 - 0.00000 - 150 155s 9942 29 0.00000 25 156 - 0.00000 - 151 160s 10294 29 0.00000 23 116 - 0.00000 - 151 165s 10681 36 0.00000 29 87 - 0.00000 - 151 170s 11103 28 infeasible 27 - 0.00000 - 150 175s 11490 31 0.00000 28 108 - 0.00000 - 150 180s 11891 24 infeasible 27 - 0.00000 - 150 185s 12200 19 0.00000 25 140 - 0.00000 - 151 190s 12526 15 0.00000 24 138 - 0.00000 - 151 195s 12859 14 0.00000 24 149 - 0.00000 - 152 200s 13213 18 0.00000 23 166 - 0.00000 - 152 205s 13587 20 infeasible 29 - 0.00000 - 152 210s 13954 20 0.00000 28 123 - 0.00000 - 152 215s 14310 12 0.00000 25 109 - 0.00000 - 152 220s 14624 8 infeasible 26 - 0.00000 - 153 225s 14938 14 0.00000 30 152 - 0.00000 - 153 230s Cutting planes: Clique: 25 Zero half: 2 Explored 15157 nodes (2382234 simplex iterations) in 233.16 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: 10 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:27:12 2012 Optimize a model with 10295 rows, 1561 columns and 31416 nonzeros Presolve time: 0.03s Presolved: 10295 rows, 1561 columns, 31416 nonzeros Variable types: 0 continuous, 1561 integer (1561 binary) Root relaxation: objective 0.000000e+00, 138 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 52 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1226 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: 10 -- 12 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:27:13 2012 Optimize a model with 9442 rows, 1502 columns and 28798 nonzeros Presolve time: 0.03s Presolved: 9442 rows, 1502 columns, 28798 nonzeros Variable types: 0 continuous, 1502 integer (1502 binary) Root relaxation: objective 0.000000e+00, 135 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 34 - 0.00000 - - 0s 0 0 0.00000 0 39 - 0.00000 - - 0s 0 0 0.00000 0 133 - 0.00000 - - 1s 0 0 0.00000 0 181 - 0.00000 - - 1s 0 0 0.00000 0 16 - 0.00000 - - 1s 0 0 0.00000 0 18 - 0.00000 - - 2s 0 0 0.00000 0 142 - 0.00000 - - 2s 0 0 0.00000 0 63 - 0.00000 - - 3s 0 0 0.00000 0 94 - 0.00000 - - 3s 0 0 0.00000 0 96 - 0.00000 - - 4s 0 0 0.00000 0 96 - 0.00000 - - 5s 0 2 0.00000 0 96 - 0.00000 - - 5s H 8 4 0.0000000 0.00000 0.0% 228 6s Cutting planes: Clique: 19 Zero half: 2 Explored 8 nodes (30137 simplex iterations) in 6.77 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: 11