current bounds on the number of colors: 0 -- 142 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:16:19 2012 Optimize a model with 72349 rows, 11099 columns and 226703 nonzeros Presolve time: 0.20s Presolved: 72349 rows, 11099 columns, 226703 nonzeros Variable types: 0 continuous, 11099 integer (11099 binary) Root relaxation: objective 0.000000e+00, 333 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 (700 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:16:20 2012 Optimize a model with 35737 rows, 5987 columns and 111755 nonzeros Presolve time: 0.16s Presolved: 35737 rows, 5987 columns, 111755 nonzeros Variable types: 0 continuous, 5987 integer (5987 binary) Root relaxation: objective 0.000000e+00, 345 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 (715 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:16:21 2012 Optimize a model with 17431 rows, 3431 columns and 54281 nonzeros Presolve time: 0.06s Presolved: 17431 rows, 3431 columns, 54281 nonzeros Variable types: 0 continuous, 3431 integer (3431 binary) Root relaxation: objective 0.000000e+00, 394 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 (790 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:16:21 2012 Optimize a model with 8278 rows, 2153 columns and 25544 nonzeros Presolve time: 0.02s Presolved: 8278 rows, 2153 columns, 25544 nonzeros Variable types: 0 continuous, 2153 integer (2153 binary) Root relaxation: objective 0.000000e+00, 296 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 (1356 simplex iterations) in 0.08 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:16:21 2012 Optimize a model with 4210 rows, 1585 columns and 12772 nonzeros Presolve time: 0.01s Presolved: 4210 rows, 1585 columns, 12772 nonzeros Variable types: 0 continuous, 1585 integer (1585 binary) Root relaxation: objective 0.000000e+00, 308 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 275 - 0.00000 - - 0s 0 0 0.00000 0 450 - 0.00000 - - 2s 0 0 0.00000 0 464 - 0.00000 - - 2s 0 0 0.00000 0 450 - 0.00000 - - 3s 0 0 0.00000 0 447 - 0.00000 - - 5s 0 0 0.00000 0 454 - 0.00000 - - 6s 0 0 0.00000 0 451 - 0.00000 - - 7s 0 0 0.00000 0 452 - 0.00000 - - 9s 0 0 0.00000 0 452 - 0.00000 - - 10s 0 0 0.00000 0 452 - 0.00000 - - 11s 0 2 0.00000 0 452 - 0.00000 - - 12s Cutting planes: Clique: 18 Zero half: 11 Explored 7 nodes (47280 simplex iterations) in 12.67 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:16:34 2012 Optimize a model with 6244 rows, 1869 columns and 19158 nonzeros Presolve time: 0.02s Presolved: 6244 rows, 1869 columns, 19158 nonzeros Variable types: 0 continuous, 1869 integer (1869 binary) Root relaxation: objective 0.000000e+00, 314 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 168 - 0.00000 - - 0s 0 0 0.00000 0 211 - 0.00000 - - 0s 0 0 0.00000 0 311 - 0.00000 - - 1s 0 0 0.00000 0 332 - 0.00000 - - 1s 0 0 0.00000 0 262 - 0.00000 - - 2s H 0 0 0.0000000 0.00000 0.0% - 2s Cutting planes: Clique: 2 Explored 0 nodes (19612 simplex iterations) in 2.60 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:16:37 2012 Optimize a model with 5227 rows, 1727 columns and 15965 nonzeros Presolve time: 0.01s Presolved: 5227 rows, 1727 columns, 15965 nonzeros Variable types: 0 continuous, 1727 integer (1727 binary) Root relaxation: objective 0.000000e+00, 312 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 276 - 0.00000 - - 0s 0 0 0.00000 0 209 - 0.00000 - - 0s 0 0 0.00000 0 359 - 0.00000 - - 2s 0 0 0.00000 0 363 - 0.00000 - - 2s 0 0 0.00000 0 347 - 0.00000 - - 3s 0 0 0.00000 0 367 - 0.00000 - - 4s 0 0 0.00000 0 356 - 0.00000 - - 5s 0 0 0.00000 0 347 - 0.00000 - - 6s 0 0 0.00000 0 376 - 0.00000 - - 7s 0 0 0.00000 0 366 - 0.00000 - - 8s 0 0 0.00000 0 397 - 0.00000 - - 9s 0 0 0.00000 0 371 - 0.00000 - - 9s 0 2 0.00000 0 371 - 0.00000 - - 10s 154 51 0.00000 13 334 - 0.00000 - 251 15s 433 90 0.00000 22 305 - 0.00000 - 205 20s 701 110 0.00000 12 209 - 0.00000 - 198 25s 705 113 0.00000 12 306 - 0.00000 - 197 31s 707 114 0.00000 19 318 - 0.00000 - 196 36s 709 115 0.00000 16 372 - 0.00000 - 196 40s 714 119 0.00000 9 358 - 0.00000 - 194 45s 807 119 infeasible 24 - 0.00000 - 272 50s 939 83 infeasible 27 - 0.00000 - 281 55s 1059 33 0.00000 21 359 - 0.00000 - 292 60s 1190 45 0.00000 22 351 - 0.00000 - 297 65s 1311 52 0.00000 28 317 - 0.00000 - 304 70s 1418 55 0.00000 25 346 - 0.00000 - 313 75s 1535 52 0.00000 21 357 - 0.00000 - 318 80s 1651 56 infeasible 27 - 0.00000 - 322 85s 1783 80 infeasible 29 - 0.00000 - 324 90s 1908 83 infeasible 24 - 0.00000 - 327 95s 2024 65 infeasible 27 - 0.00000 - 330 100s 2152 85 infeasible 25 - 0.00000 - 331 105s 2271 88 0.00000 23 351 - 0.00000 - 333 110s 2400 89 infeasible 28 - 0.00000 - 334 115s 2524 89 0.00000 26 284 - 0.00000 - 336 120s 2645 80 infeasible 28 - 0.00000 - 338 125s 2763 80 0.00000 25 276 - 0.00000 - 340 130s 2872 73 0.00000 26 275 - 0.00000 - 342 135s 2986 65 infeasible 31 - 0.00000 - 344 140s 3087 66 infeasible 29 - 0.00000 - 347 145s 3186 59 0.00000 26 334 - 0.00000 - 351 150s 3298 51 infeasible 27 - 0.00000 - 352 155s 3406 53 0.00000 26 330 - 0.00000 - 354 160s 3514 53 0.00000 25 366 - 0.00000 - 356 165s 3626 53 0.00000 27 341 - 0.00000 - 357 170s 3735 42 infeasible 25 - 0.00000 - 358 175s 3845 34 0.00000 24 350 - 0.00000 - 359 180s 3961 26 infeasible 26 - 0.00000 - 360 185s 4076 27 0.00000 23 358 - 0.00000 - 360 190s 4186 19 0.00000 22 354 - 0.00000 - 361 195s 4289 12 infeasible 25 - 0.00000 - 363 200s 4400 3 0.00000 21 375 - 0.00000 - 363 205s Cutting planes: Clique: 5 Zero half: 10 Explored 4404 nodes (1649383 simplex iterations) in 205.17 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 6