current bounds on the number of colors: 0 -- 175 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:53:35 2012 Optimize a model with 67513 rows, 15999 columns and 217239 nonzeros Presolve time: 0.21s Presolved: 67513 rows, 15999 columns, 217239 nonzeros Variable types: 0 continuous, 15999 integer (15999 binary) Root relaxation: objective 0.000000e+00, 732 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 (1136 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 -- 87 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:53:36 2012 Optimize a model with 33457 rows, 8299 columns and 107371 nonzeros Presolve time: 0.15s Presolved: 33457 rows, 8299 columns, 107371 nonzeros Variable types: 0 continuous, 8299 integer (8299 binary) Root relaxation: objective 0.000000e+00, 488 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 (870 simplex iterations) in 0.21 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 -- 43 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:53:37 2012 Optimize a model with 16429 rows, 4449 columns and 52437 nonzeros Presolve time: 0.06s Presolved: 16429 rows, 4449 columns, 52437 nonzeros Variable types: 0 continuous, 4449 integer (4449 binary) Root relaxation: objective 0.000000e+00, 378 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 (701 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:53:37 2012 Optimize a model with 7915 rows, 2524 columns and 24970 nonzeros Presolve time: 0.02s Presolved: 7915 rows, 2524 columns, 24970 nonzeros Variable types: 0 continuous, 2524 integer (2524 binary) Root relaxation: objective 0.000000e+00, 364 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 (677 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:53:37 2012 Optimize a model with 4045 rows, 1649 columns and 12485 nonzeros Presolve time: 0.01s Presolved: 4045 rows, 1649 columns, 12485 nonzeros Variable types: 0 continuous, 1649 integer (1649 binary) Root relaxation: objective 0.000000e+00, 375 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 118 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3155 simplex iterations) in 0.19 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 Fri Dec 14 22:53:38 2012 Optimize a model with 1723 rows, 1124 columns and 4994 nonzeros Presolve removed 175 rows and 175 columns Presolve time: 0.00s Presolved: 1548 rows, 949 columns, 4644 nonzeros Variable types: 0 continuous, 949 integer (949 binary) Root relaxation: objective 0.000000e+00, 183 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 175 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (749 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 Fri Dec 14 22:53:38 2012 Optimize a model with 2497 rows, 1299 columns and 7491 nonzeros Presolve time: 0.01s Presolved: 2497 rows, 1299 columns, 7491 nonzeros Variable types: 0 continuous, 1299 integer (1299 binary) Root relaxation: objective 0.000000e+00, 390 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 342 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 0.00000 0 492 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 19 Zero half: 500 Explored 0 nodes (6821 simplex iterations) in 0.91 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 Fri Dec 14 22:53:39 2012 Optimize a model with 3271 rows, 1474 columns and 9988 nonzeros Presolve time: 0.01s Presolved: 3271 rows, 1474 columns, 9988 nonzeros Variable types: 0 continuous, 1474 integer (1474 binary) Root relaxation: objective 0.000000e+00, 384 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 338 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 0s 0 0 0.00000 0 328 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 0s 0 0 0.00000 0 310 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 292 - 0.00000 - - 2s 0 0 0.00000 0 282 - 0.00000 - - 2s 0 0 0.00000 0 272 - 0.00000 - - 2s 0 0 0.00000 0 272 - 0.00000 - - 2s 0 0 0.00000 0 274 - 0.00000 - - 3s 0 0 0.00000 0 274 - 0.00000 - - 3s 0 2 0.00000 0 274 - 0.00000 - - 3s 256 26 0.00000 19 306 - 0.00000 - 109 5s 905 65 0.00000 12 314 - 0.00000 - 98.5 10s 911 69 0.00000 20 250 - 0.00000 - 97.8 15s 915 71 0.00000 16 323 - 0.00000 - 97.4 20s 920 75 0.00000 6 200 - 0.00000 - 96.9 25s 1059 79 0.00000 24 340 - 0.00000 - 171 30s 1459 37 infeasible 30 - 0.00000 - 183 35s 1795 35 infeasible 24 - 0.00000 - 191 40s 2215 61 infeasible 32 - 0.00000 - 192 45s 2593 97 0.00000 22 304 - 0.00000 - 194 50s 2976 112 0.00000 19 278 - 0.00000 - 197 55s 3344 110 0.00000 22 294 - 0.00000 - 200 60s 3714 92 0.00000 25 306 - 0.00000 - 203 65s 4047 97 infeasible 20 - 0.00000 - 206 70s 4426 110 infeasible 26 - 0.00000 - 207 75s 4789 107 infeasible 24 - 0.00000 - 208 80s 5153 105 infeasible 26 - 0.00000 - 209 85s 5509 83 infeasible 18 - 0.00000 - 211 90s 5868 68 0.00000 23 301 - 0.00000 - 212 95s 6215 51 0.00000 23 290 - 0.00000 - 213 100s 6607 35 infeasible 24 - 0.00000 - 213 105s 6960 42 infeasible 24 - 0.00000 - 214 110s 7341 37 0.00000 21 377 - 0.00000 - 214 115s 7711 23 0.00000 21 349 - 0.00000 - 215 120s 8048 14 infeasible 26 - 0.00000 - 216 125s 8370 2 infeasible 24 - 0.00000 - 217 130s Cutting planes: Clique: 1 Zero half: 20 Explored 8379 nodes (1856885 simplex iterations) in 130.15 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