current bounds on the number of colors: 0 -- 142 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:01:19 2012 Optimize a model with 69864 rows, 11064 columns and 219248 nonzeros Presolve time: 0.20s Presolved: 69864 rows, 11064 columns, 219248 nonzeros Variable types: 0 continuous, 11064 integer (11064 binary) Root relaxation: objective 0.000000e+00, 370 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 (691 simplex iterations) in 0.38 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 -- 71 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:01:20 2012 Optimize a model with 34512 rows, 5952 columns and 108080 nonzeros Presolve time: 0.15s Presolved: 34512 rows, 5952 columns, 108080 nonzeros Variable types: 0 continuous, 5952 integer (5952 binary) Root relaxation: objective 0.000000e+00, 406 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 (774 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:01:21 2012 Optimize a model with 16836 rows, 3396 columns and 52496 nonzeros Presolve time: 0.06s Presolved: 16836 rows, 3396 columns, 52496 nonzeros Variable types: 0 continuous, 3396 integer (3396 binary) Root relaxation: objective 0.000000e+00, 287 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 (572 simplex iterations) in 0.09 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:01:21 2012 Optimize a model with 7998 rows, 2118 columns and 24704 nonzeros Presolve time: 0.02s Presolved: 7998 rows, 2118 columns, 24704 nonzeros Variable types: 0 continuous, 2118 integer (2118 binary) Root relaxation: objective 0.000000e+00, 307 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 (1610 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:01:21 2012 Optimize a model with 4070 rows, 1550 columns and 12352 nonzeros Presolve time: 0.01s Presolved: 4070 rows, 1550 columns, 12352 nonzeros Variable types: 0 continuous, 1550 integer (1550 binary) Root relaxation: objective 0.000000e+00, 304 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 280 - 0.00000 - - 0s 0 0 0.00000 0 442 - 0.00000 - - 1s 0 0 0.00000 0 445 - 0.00000 - - 2s 0 0 0.00000 0 430 - 0.00000 - - 4s 0 0 0.00000 0 428 - 0.00000 - - 5s 0 0 0.00000 0 426 - 0.00000 - - 7s 0 0 0.00000 0 421 - 0.00000 - - 8s 0 0 0.00000 0 422 - 0.00000 - - 10s 0 0 0.00000 0 416 - 0.00000 - - 11s 0 0 0.00000 0 413 - 0.00000 - - 12s 0 0 0.00000 0 423 - 0.00000 - - 13s 0 0 0.00000 0 419 - 0.00000 - - 14s 0 0 0.00000 0 423 - 0.00000 - - 15s 0 0 0.00000 0 423 - 0.00000 - - 15s 0 2 0.00000 0 423 - 0.00000 - - 17s Cutting planes: Clique: 7 Zero half: 17 Explored 15 nodes (57247 simplex iterations) in 17.73 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: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:01:39 2012 Optimize a model with 6034 rows, 1834 columns and 18528 nonzeros Presolve time: 0.02s Presolved: 6034 rows, 1834 columns, 18528 nonzeros Variable types: 0 continuous, 1834 integer (1834 binary) Root relaxation: objective 0.000000e+00, 294 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 268 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 4 Clique: 343 MIR: 10 Zero half: 427 Explored 0 nodes (6585 simplex iterations) in 0.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% current bounds on the number of colors: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:01:40 2012 Optimize a model with 5052 rows, 1692 columns and 15440 nonzeros Presolve time: 0.01s Presolved: 5052 rows, 1692 columns, 15440 nonzeros Variable types: 0 continuous, 1692 integer (1692 binary) Root relaxation: objective 0.000000e+00, 297 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 274 - 0.00000 - - 0s 0 0 0.00000 0 211 - 0.00000 - - 0s 0 0 0.00000 0 391 - 0.00000 - - 1s 0 0 0.00000 0 381 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 2s 0 0 0.00000 0 372 - 0.00000 - - 2s 0 0 0.00000 0 366 - 0.00000 - - 2s 0 0 0.00000 0 362 - 0.00000 - - 2s 0 0 0.00000 0 370 - 0.00000 - - 2s 0 0 0.00000 0 357 - 0.00000 - - 4s 0 0 0.00000 0 371 - 0.00000 - - 4s 0 0 0.00000 0 380 - 0.00000 - - 5s 0 0 0.00000 0 380 - 0.00000 - - 5s 0 2 0.00000 0 380 - 0.00000 - - 6s 248 86 0.00000 14 336 - 0.00000 - 157 10s 603 202 0.00000 7 391 - 0.00000 - 141 15s 606 204 0.00000 20 367 - 0.00000 - 141 21s 608 206 0.00000 23 354 - 0.00000 - 140 25s 611 208 0.00000 20 355 - 0.00000 - 140 31s 613 209 0.00000 22 350 - 0.00000 - 139 35s 617 212 0.00000 32 339 - 0.00000 - 138 40s 781 201 0.00000 26 325 - 0.00000 - 235 45s 957 138 0.00000 31 342 - 0.00000 - 247 50s 1137 78 0.00000 33 304 - 0.00000 - 255 55s 1322 50 0.00000 34 331 - 0.00000 - 260 60s 1487 45 infeasible 28 - 0.00000 - 267 65s 1653 53 0.00000 27 321 - 0.00000 - 272 70s 1844 64 infeasible 31 - 0.00000 - 273 75s 2016 74 0.00000 28 330 - 0.00000 - 277 80s 2197 63 infeasible 32 - 0.00000 - 278 85s 2367 69 0.00000 35 301 - 0.00000 - 280 90s 2559 57 infeasible 31 - 0.00000 - 280 95s 2750 68 0.00000 34 316 - 0.00000 - 280 100s 2914 72 0.00000 32 343 - 0.00000 - 282 105s 3071 95 0.00000 37 316 - 0.00000 - 283 110s 3227 93 0.00000 36 336 - 0.00000 - 286 115s 3391 95 infeasible 39 - 0.00000 - 287 120s 3555 111 0.00000 32 330 - 0.00000 - 288 125s 3719 111 0.00000 26 360 - 0.00000 - 290 130s 3929 145 infeasible 43 - 0.00000 - 288 135s 4136 166 0.00000 33 318 - 0.00000 - 286 140s 4312 168 0.00000 37 261 - 0.00000 - 287 145s 4485 165 infeasible 33 - 0.00000 - 288 150s 4660 164 0.00000 32 322 - 0.00000 - 289 155s 4839 173 0.00000 33 342 - 0.00000 - 290 160s 5003 177 infeasible 29 - 0.00000 - 291 165s 5189 171 infeasible 33 - 0.00000 - 291 170s 5379 167 infeasible 29 - 0.00000 - 291 175s 5591 193 infeasible 32 - 0.00000 - 290 180s 5764 182 infeasible 33 - 0.00000 - 291 185s 5938 172 infeasible 35 - 0.00000 - 291 190s 6109 167 infeasible 32 - 0.00000 - 292 195s 6263 169 0.00000 32 340 - 0.00000 - 293 200s 6432 166 infeasible 38 - 0.00000 - 293 205s 6632 164 infeasible 36 - 0.00000 - 293 210s 6816 164 0.00000 28 336 - 0.00000 - 293 215s 6993 161 0.00000 29 306 - 0.00000 - 293 220s 7177 157 0.00000 32 282 - 0.00000 - 293 225s 7355 161 0.00000 32 296 - 0.00000 - 293 230s 7521 161 0.00000 29 327 - 0.00000 - 294 235s 7716 164 infeasible 32 - 0.00000 - 294 240s 7938 172 0.00000 30 240 - 0.00000 - 293 245s 8114 158 infeasible 31 - 0.00000 - 293 250s 8270 158 0.00000 32 282 - 0.00000 - 294 255s 8447 157 0.00000 34 295 - 0.00000 - 294 260s 8624 170 infeasible 36 - 0.00000 - 294 265s 8795 171 infeasible 35 - 0.00000 - 294 270s 8964 186 infeasible 38 - 0.00000 - 295 275s Cutting planes: Clique: 6 Zero half: 5 Explored 9042 nodes (2695862 simplex iterations) in 277.45 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: 6