current bounds on the number of colors: 0 -- 191 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:33:42 2012 Optimize a model with 88541 rows, 19075 columns and 283195 nonzeros Presolve time: 0.28s Presolved: 88541 rows, 19075 columns, 283195 nonzeros Variable types: 0 continuous, 19075 integer (19075 binary) Root relaxation: objective 0.000000e+00, 667 iterations, 0.07 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 (1109 simplex iterations) in 0.48 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 -- 95 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:33:44 2012 Optimize a model with 43901 rows, 9907 columns and 140107 nonzeros Presolve time: 0.15s Presolved: 43901 rows, 9907 columns, 140107 nonzeros Variable types: 0 continuous, 9907 integer (9907 binary) Root relaxation: objective 0.000000e+00, 597 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 (1194 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:33:44 2012 Optimize a model with 21581 rows, 5323 columns and 68563 nonzeros Presolve time: 0.08s Presolved: 21581 rows, 5323 columns, 68563 nonzeros Variable types: 0 continuous, 5323 integer (5323 binary) Root relaxation: objective 0.000000e+00, 425 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 (791 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: 0 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:33:45 2012 Optimize a model with 10421 rows, 3031 columns and 32791 nonzeros Presolve time: 0.03s Presolved: 10421 rows, 3031 columns, 32791 nonzeros Variable types: 0 continuous, 3031 integer (3031 binary) Root relaxation: objective 0.000000e+00, 418 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 (815 simplex iterations) in 0.06 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 Sat Dec 15 05:33:45 2012 Optimize a model with 4841 rows, 1885 columns and 14905 nonzeros Presolve time: 0.01s Presolved: 4841 rows, 1885 columns, 14905 nonzeros Variable types: 0 continuous, 1885 integer (1885 binary) Root relaxation: objective 0.000000e+00, 440 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 85 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4649 simplex iterations) in 0.37 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 Sat Dec 15 05:33:45 2012 Optimize a model with 2051 rows, 1312 columns and 5962 nonzeros Presolve removed 191 rows and 191 columns Presolve time: 0.01s Presolved: 1860 rows, 1121 columns, 5580 nonzeros Variable types: 0 continuous, 1121 integer (1121 binary) Root relaxation: objective 0.000000e+00, 199 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 191 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (801 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 Sat Dec 15 05:33:46 2012 Optimize a model with 2981 rows, 1503 columns and 8943 nonzeros Presolve time: 0.01s Presolved: 2981 rows, 1503 columns, 8943 nonzeros Variable types: 0 continuous, 1503 integer (1503 binary) Root relaxation: objective 0.000000e+00, 422 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 380 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5218 simplex iterations) in 0.65 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 Sat Dec 15 05:33:46 2012 Optimize a model with 3911 rows, 1694 columns and 11924 nonzeros Presolve time: 0.01s Presolved: 3911 rows, 1694 columns, 11924 nonzeros Variable types: 0 continuous, 1694 integer (1694 binary) Root relaxation: objective 0.000000e+00, 437 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 358 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 0s 0 0 0.00000 0 375 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 1s 0 0 0.00000 0 365 - 0.00000 - - 1s 0 0 0.00000 0 360 - 0.00000 - - 2s 0 0 0.00000 0 356 - 0.00000 - - 2s 0 0 0.00000 0 354 - 0.00000 - - 3s 0 0 0.00000 0 350 - 0.00000 - - 3s 0 0 0.00000 0 347 - 0.00000 - - 4s 0 0 0.00000 0 336 - 0.00000 - - 4s 0 0 0.00000 0 336 - 0.00000 - - 4s 0 0 0.00000 0 338 - 0.00000 - - 5s 0 0 0.00000 0 330 - 0.00000 - - 5s 0 0 0.00000 0 329 - 0.00000 - - 6s 0 0 0.00000 0 320 - 0.00000 - - 6s 0 0 0.00000 0 314 - 0.00000 - - 7s 0 0 0.00000 0 330 - 0.00000 - - 7s 0 0 0.00000 0 320 - 0.00000 - - 7s 0 2 0.00000 0 320 - 0.00000 - - 8s 180 49 infeasible 22 - 0.00000 - 150 10s 705 87 0.00000 3 362 - 0.00000 - 125 15s 710 90 0.00000 8 332 - 0.00000 - 124 20s 713 92 0.00000 16 304 - 0.00000 - 123 26s 716 94 0.00000 9 290 - 0.00000 - 123 31s 754 113 0.00000 26 424 - 0.00000 - 223 35s 1054 83 infeasible 25 - 0.00000 - 222 40s 1320 81 infeasible 22 - 0.00000 - 227 45s 1626 85 0.00000 21 355 - 0.00000 - 227 50s 1940 78 0.00000 19 372 - 0.00000 - 228 55s 2215 81 infeasible 24 - 0.00000 - 229 60s 2501 75 infeasible 28 - 0.00000 - 230 65s 2777 73 0.00000 17 332 - 0.00000 - 232 70s 3027 65 infeasible 18 - 0.00000 - 235 75s 3286 30 infeasible 24 - 0.00000 - 237 80s 3525 37 infeasible 25 - 0.00000 - 238 85s 3838 40 infeasible 19 - 0.00000 - 237 90s 4083 25 infeasible 22 - 0.00000 - 238 95s 4353 35 infeasible 26 - 0.00000 - 238 100s 4634 36 infeasible 21 - 0.00000 - 238 105s 4860 24 infeasible 23 - 0.00000 - 240 110s 5168 20 infeasible 24 - 0.00000 - 240 115s 5436 6 infeasible 18 - 0.00000 - 240 120s 5687 11 infeasible 24 - 0.00000 - 241 125s 5967 5 infeasible 21 - 0.00000 - 240 130s Cutting planes: Zero half: 8 Explored 5993 nodes (1507260 simplex iterations) in 130.65 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5