current bounds on the number of colors: 0 -- 177 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:44:31 2012 Optimize a model with 70313 rows, 16373 columns and 225984 nonzeros Presolve time: 0.22s Presolved: 70313 rows, 16373 columns, 225984 nonzeros Variable types: 0 continuous, 16373 integer (16373 binary) Root relaxation: objective 0.000000e+00, 720 iterations, 0.08 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 (1124 simplex iterations) in 0.40 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:44:32 2012 Optimize a model with 35245 rows, 8585 columns and 112992 nonzeros Presolve time: 0.15s Presolved: 35245 rows, 8585 columns, 112992 nonzeros Variable types: 0 continuous, 8585 integer (8585 binary) Root relaxation: objective 0.000000e+00, 617 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 (1018 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 -- 44 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:44:33 2012 Optimize a model with 17711 rows, 4691 columns and 56496 nonzeros Presolve time: 0.07s Presolved: 17711 rows, 4691 columns, 56496 nonzeros Variable types: 0 continuous, 4691 integer (4691 binary) Root relaxation: objective 0.000000e+00, 415 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 (760 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:44:33 2012 Optimize a model with 8944 rows, 2744 columns and 28248 nonzeros Presolve time: 0.03s Presolved: 8944 rows, 2744 columns, 28248 nonzeros Variable types: 0 continuous, 2744 integer (2744 binary) Root relaxation: objective 0.000000e+00, 375 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 (689 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:44:34 2012 Optimize a model with 4162 rows, 1682 columns and 12840 nonzeros Presolve time: 0.01s Presolved: 4162 rows, 1682 columns, 12840 nonzeros Variable types: 0 continuous, 1682 integer (1682 binary) Root relaxation: objective 0.000000e+00, 390 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 67 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4315 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 Fri Dec 14 23:44:34 2012 Optimize a model with 1771 rows, 1151 columns and 5136 nonzeros Presolve removed 177 rows and 177 columns Presolve time: 0.00s Presolved: 1594 rows, 974 columns, 4782 nonzeros Variable types: 0 continuous, 974 integer (974 binary) Root relaxation: objective 0.000000e+00, 185 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 177 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (758 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:44:34 2012 Optimize a model with 2568 rows, 1328 columns and 7704 nonzeros Presolve time: 0.01s Presolved: 2568 rows, 1328 columns, 7704 nonzeros Variable types: 0 continuous, 1328 integer (1328 binary) Root relaxation: objective 0.000000e+00, 394 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 350 - 0.00000 - - 0s 0 0 0.00000 0 499 - 0.00000 - - 0s 0 0 0.00000 0 503 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Clique: 1 Zero half: 461 Explored 0 nodes (7938 simplex iterations) in 1.33 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:44:35 2012 Optimize a model with 3365 rows, 1505 columns and 10272 nonzeros Presolve time: 0.01s Presolved: 3365 rows, 1505 columns, 10272 nonzeros Variable types: 0 continuous, 1505 integer (1505 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 342 - 0.00000 - - 0s 0 0 0.00000 0 335 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 0s 0 0 0.00000 0 411 - 0.00000 - - 1s 0 0 0.00000 0 318 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 2s 0 0 0.00000 0 306 - 0.00000 - - 2s 0 0 0.00000 0 302 - 0.00000 - - 2s 0 0 0.00000 0 294 - 0.00000 - - 2s 0 0 0.00000 0 284 - 0.00000 - - 3s 0 0 0.00000 0 276 - 0.00000 - - 3s 0 0 0.00000 0 266 - 0.00000 - - 3s 0 0 0.00000 0 262 - 0.00000 - - 4s 0 0 0.00000 0 258 - 0.00000 - - 4s 0 0 0.00000 0 256 - 0.00000 - - 4s 0 0 0.00000 0 252 - 0.00000 - - 5s 0 0 0.00000 0 252 - 0.00000 - - 5s 0 0 0.00000 0 258 - 0.00000 - - 5s 0 0 0.00000 0 258 - 0.00000 - - 5s 0 2 0.00000 0 258 - 0.00000 - - 6s 951 45 infeasible 18 - 0.00000 - 83.8 10s 1109 69 0.00000 20 294 - 0.00000 - 83.9 15s 1114 73 0.00000 10 248 - 0.00000 - 83.5 20s 1119 76 0.00000 21 338 - 0.00000 - 83.1 25s 1550 31 infeasible 29 - 0.00000 - 149 30s 2065 64 0.00000 33 274 - 0.00000 - 154 35s 2567 40 0.00000 29 296 - 0.00000 - 159 40s 3105 52 infeasible 33 - 0.00000 - 160 45s 3671 74 0.00000 34 292 - 0.00000 - 160 50s 4203 68 0.00000 34 316 - 0.00000 - 161 55s 4687 106 0.00000 30 347 - 0.00000 - 163 60s 5227 80 infeasible 30 - 0.00000 - 164 65s 5748 89 infeasible 34 - 0.00000 - 164 70s 6194 73 infeasible 31 - 0.00000 - 166 75s 6710 63 infeasible 33 - 0.00000 - 166 80s 7219 64 infeasible 34 - 0.00000 - 166 85s 7722 109 0.00000 36 280 - 0.00000 - 166 90s 8200 111 0.00000 35 314 - 0.00000 - 167 95s 8673 124 infeasible 35 - 0.00000 - 168 100s 9096 147 0.00000 30 284 - 0.00000 - 169 105s 9590 141 infeasible 28 - 0.00000 - 169 110s 10027 192 0.00000 30 294 - 0.00000 - 170 115s 10519 198 infeasible 34 - 0.00000 - 170 120s 11007 212 infeasible 35 - 0.00000 - 170 125s 11446 181 0.00000 32 298 - 0.00000 - 171 130s 11888 195 infeasible 34 - 0.00000 - 171 135s 12349 182 0.00000 26 304 - 0.00000 - 172 140s 12826 191 0.00000 32 298 - 0.00000 - 172 145s 13266 195 infeasible 32 - 0.00000 - 173 150s 13759 198 0.00000 31 304 - 0.00000 - 173 155s 14207 190 infeasible 30 - 0.00000 - 173 160s 14659 190 0.00000 35 304 - 0.00000 - 174 165s 15164 186 infeasible 32 - 0.00000 - 174 170s 15625 173 infeasible 31 - 0.00000 - 174 175s 16102 214 0.00000 25 296 - 0.00000 - 174 180s 16585 241 infeasible 31 - 0.00000 - 174 185s 17066 216 0.00000 34 304 - 0.00000 - 174 190s 17516 198 infeasible 32 - 0.00000 - 175 195s 17960 194 infeasible 31 - 0.00000 - 175 200s 18424 164 infeasible 31 - 0.00000 - 176 205s 18901 161 0.00000 32 292 - 0.00000 - 176 210s 19302 140 infeasible 33 - 0.00000 - 176 215s 19729 125 infeasible 28 - 0.00000 - 177 220s 20162 120 infeasible 34 - 0.00000 - 177 225s 20602 112 infeasible 30 - 0.00000 - 177 230s 21068 132 0.00000 27 300 - 0.00000 - 177 235s 21524 116 infeasible 29 - 0.00000 - 177 240s 21952 98 infeasible 32 - 0.00000 - 178 245s 22443 95 0.00000 31 361 - 0.00000 - 178 250s 22917 93 infeasible 31 - 0.00000 - 178 255s 23345 95 0.00000 28 327 - 0.00000 - 178 260s 23839 139 infeasible 31 - 0.00000 - 178 265s 24273 123 0.00000 30 296 - 0.00000 - 178 270s 24673 127 infeasible 31 - 0.00000 - 178 275s 25076 148 infeasible 33 - 0.00000 - 178 280s 25520 186 infeasible 37 - 0.00000 - 179 285s 25933 169 0.00000 35 292 - 0.00000 - 179 290s Cutting planes: Clique: 1 Zero half: 17 Explored 26301 nodes (4761395 simplex iterations) in 294.22 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 5