current bounds on the number of colors: 0 -- 190 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:59:51 2012 Optimize a model with 84930 rows, 18942 columns and 272270 nonzeros Presolve time: 0.27s Presolved: 84930 rows, 18942 columns, 272270 nonzeros Variable types: 0 continuous, 18942 integer (18942 binary) Root relaxation: objective 0.000000e+00, 783 iterations, 0.09 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 (1260 simplex iterations) in 0.50 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 04:59:53 2012 Optimize a model with 42114 rows, 9822 columns and 134702 nonzeros Presolve time: 0.15s Presolved: 42114 rows, 9822 columns, 134702 nonzeros Variable types: 0 continuous, 9822 integer (9822 binary) Root relaxation: objective 0.000000e+00, 635 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 (1080 simplex iterations) in 0.26 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 04:59:53 2012 Optimize a model with 20706 rows, 5262 columns and 65918 nonzeros Presolve time: 0.08s Presolved: 20706 rows, 5262 columns, 65918 nonzeros Variable types: 0 continuous, 5262 integer (5262 binary) Root relaxation: objective 0.000000e+00, 436 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 (1021 simplex iterations) in 0.14 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 04:59:54 2012 Optimize a model with 10002 rows, 2982 columns and 31526 nonzeros Presolve time: 0.03s Presolved: 10002 rows, 2982 columns, 31526 nonzeros Variable types: 0 continuous, 2982 integer (2982 binary) Root relaxation: objective 0.000000e+00, 401 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 (734 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 04:59:54 2012 Optimize a model with 4650 rows, 1842 columns and 14330 nonzeros Presolve time: 0.01s Presolved: 4650 rows, 1842 columns, 14330 nonzeros Variable types: 0 continuous, 1842 integer (1842 binary) Root relaxation: objective 0.000000e+00, 420 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 132 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4754 simplex iterations) in 0.39 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 04:59:54 2012 Optimize a model with 1974 rows, 1272 columns and 5732 nonzeros Presolve removed 190 rows and 190 columns Presolve time: 0.00s Presolved: 1784 rows, 1082 columns, 5352 nonzeros Variable types: 0 continuous, 1082 integer (1082 binary) Root relaxation: objective 0.000000e+00, 196 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 190 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (803 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 04:59:54 2012 Optimize a model with 2866 rows, 1462 columns and 8598 nonzeros Presolve time: 0.01s Presolved: 2866 rows, 1462 columns, 8598 nonzeros Variable types: 0 continuous, 1462 integer (1462 binary) Root relaxation: objective 0.000000e+00, 450 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 374 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5107 simplex iterations) in 0.56 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 04:59:55 2012 Optimize a model with 3758 rows, 1652 columns and 11464 nonzeros Presolve time: 0.01s Presolved: 3758 rows, 1652 columns, 11464 nonzeros Variable types: 0 continuous, 1652 integer (1652 binary) Root relaxation: objective 0.000000e+00, 421 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 348 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 0.00000 0 497 - 0.00000 - - 1s 0 0 0.00000 0 411 - 0.00000 - - 1s 0 0 0.00000 0 407 - 0.00000 - - 2s 0 0 0.00000 0 443 - 0.00000 - - 3s 0 0 0.00000 0 450 - 0.00000 - - 3s 0 0 0.00000 0 456 - 0.00000 - - 4s 0 0 0.00000 0 436 - 0.00000 - - 5s 0 2 0.00000 0 436 - 0.00000 - - 5s 603 42 0.00000 13 344 - 0.00000 - 113 10s 607 45 0.00000 13 314 - 0.00000 - 112 15s 611 48 0.00000 5 331 - 0.00000 - 111 21s 614 50 0.00000 13 302 - 0.00000 - 111 25s 861 35 0.00000 29 380 - 0.00000 - 198 30s 1214 60 infeasible 27 - 0.00000 - 202 35s 1553 39 infeasible 26 - 0.00000 - 207 40s 1889 30 infeasible 32 - 0.00000 - 212 45s 2236 15 infeasible 26 - 0.00000 - 214 50s 2559 40 0.00000 27 340 - 0.00000 - 214 55s 2934 29 0.00000 26 328 - 0.00000 - 213 60s 3334 41 infeasible 34 - 0.00000 - 211 65s 3728 35 infeasible 30 - 0.00000 - 210 70s 4110 15 infeasible 29 - 0.00000 - 209 75s 4507 48 infeasible 37 - 0.00000 - 207 80s 4892 49 0.00000 31 322 - 0.00000 - 206 85s 5236 43 0.00000 28 369 - 0.00000 - 206 90s 5590 35 infeasible 33 - 0.00000 - 207 95s 5905 60 infeasible 33 - 0.00000 - 208 100s 6277 78 infeasible 25 - 0.00000 - 208 105s 6633 46 0.00000 32 344 - 0.00000 - 209 110s 7031 48 0.00000 30 316 - 0.00000 - 208 115s 7365 38 0.00000 30 326 - 0.00000 - 209 120s 7683 36 infeasible 32 - 0.00000 - 209 125s 8023 50 0.00000 29 332 - 0.00000 - 210 130s 8360 29 0.00000 32 340 - 0.00000 - 210 135s 8674 27 0.00000 25 324 - 0.00000 - 211 140s 8972 27 0.00000 29 351 - 0.00000 - 212 145s 9254 19 0.00000 33 350 - 0.00000 - 213 150s 9588 17 0.00000 27 375 - 0.00000 - 213 155s 9872 11 0.00000 26 395 - 0.00000 - 214 160s 10226 15 infeasible 25 - 0.00000 - 214 165s Cutting planes: Gomory: 1 Zero half: 16 Explored 10436 nodes (2265530 simplex iterations) in 168.47 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