current bounds on the number of colors: 0 -- 204 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:39:34 2012 Optimize a model with 106590 rows, 21851 columns and 339966 nonzeros Presolve time: 0.35s Presolved: 106590 rows, 21851 columns, 339966 nonzeros Variable types: 0 continuous, 21851 integer (21851 binary) Root relaxation: objective 0.000000e+00, 847 iterations, 0.12 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 (1314 simplex iterations) in 0.64 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 -- 102 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:39:36 2012 Optimize a model with 53397 rows, 11447 columns and 169983 nonzeros Presolve time: 0.16s Presolved: 53397 rows, 11447 columns, 169983 nonzeros Variable types: 0 continuous, 11447 integer (11447 binary) Root relaxation: objective 0.000000e+00, 642 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 (1101 simplex iterations) in 0.28 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:39:37 2012 Optimize a model with 26279 rows, 6143 columns and 83325 nonzeros Presolve time: 0.11s Presolved: 26279 rows, 6143 columns, 83325 nonzeros Variable types: 0 continuous, 6143 integer (6143 binary) Root relaxation: objective 0.000000e+00, 459 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 (833 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:39:37 2012 Optimize a model with 12720 rows, 3491 columns and 39996 nonzeros Presolve time: 0.04s Presolved: 12720 rows, 3491 columns, 39996 nonzeros Variable types: 0 continuous, 3491 integer (3491 binary) Root relaxation: objective 0.000000e+00, 430 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 (1056 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:39:38 2012 Optimize a model with 6462 rows, 2267 columns and 19998 nonzeros Presolve time: 0.02s Presolved: 6462 rows, 2267 columns, 19998 nonzeros Variable types: 0 continuous, 2267 integer (2267 binary) Root relaxation: objective 0.000000e+00, 454 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 (2538 simplex iterations) in 0.12 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:39:38 2012 Optimize a model with 3333 rows, 1655 columns and 9999 nonzeros Presolve time: 0.01s Presolved: 3333 rows, 1655 columns, 9999 nonzeros Variable types: 0 continuous, 1655 integer (1655 binary) Root relaxation: objective 0.000000e+00, 465 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 408 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6288 simplex iterations) in 0.88 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:39:39 2012 Optimize a model with 4376 rows, 1859 columns and 13332 nonzeros Presolve time: 0.01s Presolved: 4376 rows, 1859 columns, 13332 nonzeros Variable types: 0 continuous, 1859 integer (1859 binary) Root relaxation: objective 0.000000e+00, 445 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 392 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 0s 0 0 0.00000 0 445 - 0.00000 - - 1s 0 0 0.00000 0 560 - 0.00000 - - 1s 0 0 0.00000 0 364 - 0.00000 - - 2s 0 0 0.00000 0 360 - 0.00000 - - 3s 0 0 0.00000 0 360 - 0.00000 - - 4s 0 0 0.00000 0 364 - 0.00000 - - 4s 0 0 0.00000 0 356 - 0.00000 - - 5s 0 0 0.00000 0 358 - 0.00000 - - 6s 0 0 0.00000 0 358 - 0.00000 - - 6s 0 0 0.00000 0 358 - 0.00000 - - 7s 0 2 0.00000 0 358 - 0.00000 - - 7s 117 39 infeasible 23 - 0.00000 - 199 10s 425 93 infeasible 18 - 0.00000 - 184 15s 604 120 0.00000 18 576 - 0.00000 - 186 21s 605 121 0.00000 9 434 - 0.00000 - 186 25s 607 122 0.00000 18 316 - 0.00000 - 185 30s 609 123 0.00000 12 308 - 0.00000 - 184 35s 611 125 0.00000 14 380 - 0.00000 - 184 41s 615 127 infeasible 13 - 0.00000 - 290 45s 742 120 0.00000 25 463 - 0.00000 - 296 50s 880 74 0.00000 29 346 - 0.00000 - 304 55s 1021 25 0.00000 23 457 - 0.00000 - 309 60s 1150 10 0.00000 24 472 - 0.00000 - 316 65s 1286 26 infeasible 23 - 0.00000 - 319 70s 1419 31 infeasible 24 - 0.00000 - 322 75s 1538 28 infeasible 26 - 0.00000 - 327 80s 1654 24 0.00000 23 492 - 0.00000 - 331 85s 1776 38 0.00000 27 461 - 0.00000 - 334 90s 1894 32 0.00000 25 366 - 0.00000 - 339 95s 2017 29 infeasible 30 - 0.00000 - 341 100s 2162 18 0.00000 20 462 - 0.00000 - 340 105s 2296 30 0.00000 28 481 - 0.00000 - 340 110s 2421 33 infeasible 28 - 0.00000 - 341 115s 2538 24 infeasible 25 - 0.00000 - 343 120s 2678 42 0.00000 29 471 - 0.00000 - 343 125s 2811 51 infeasible 29 - 0.00000 - 343 130s 2936 42 0.00000 29 497 - 0.00000 - 344 135s 3045 23 infeasible 27 - 0.00000 - 347 140s 3177 25 infeasible 31 - 0.00000 - 348 145s 3292 18 infeasible 25 - 0.00000 - 349 150s 3428 22 infeasible 27 - 0.00000 - 349 155s 3533 25 infeasible 23 - 0.00000 - 351 160s 3651 15 0.00000 24 447 - 0.00000 - 353 165s 3765 7 0.00000 20 429 - 0.00000 - 354 170s Cutting planes: Zero half: 30 Explored 3813 nodes (1397807 simplex iterations) in 171.87 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:42:31 2012 Optimize a model with 5419 rows, 2063 columns and 16665 nonzeros Presolve time: 0.01s Presolved: 5419 rows, 2063 columns, 16665 nonzeros Variable types: 0 continuous, 2063 integer (2063 binary) Root relaxation: objective 0.000000e+00, 444 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 384 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 184 MIR: 3 Zero half: 438 Explored 0 nodes (3880 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% optimal solution found: number of colors: 5