current bounds on the number of colors: 0 -- 181 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:45:14 2012 Optimize a model with 75151 rows, 17123 columns and 241200 nonzeros Presolve time: 0.23s Presolved: 75151 rows, 17123 columns, 241200 nonzeros Variable types: 0 continuous, 17123 integer (17123 binary) Root relaxation: objective 0.000000e+00, 678 iterations, 0.06 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 (1067 simplex iterations) in 0.40 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 -- 90 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:45:16 2012 Optimize a model with 37666 rows, 8978 columns and 120600 nonzeros Presolve time: 0.15s Presolved: 37666 rows, 8978 columns, 120600 nonzeros Variable types: 0 continuous, 8978 integer (8978 binary) Root relaxation: objective 0.000000e+00, 580 iterations, 0.03 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 (963 simplex iterations) in 0.23 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:45:16 2012 Optimize a model with 18507 rows, 4815 columns and 58960 nonzeros Presolve time: 0.07s Presolved: 18507 rows, 4815 columns, 58960 nonzeros Variable types: 0 continuous, 4815 integer (4815 binary) Root relaxation: objective 0.000000e+00, 432 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 (991 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:45:17 2012 Optimize a model with 9344 rows, 2824 columns and 29480 nonzeros Presolve time: 0.03s Presolved: 9344 rows, 2824 columns, 29480 nonzeros Variable types: 0 continuous, 2824 integer (2824 binary) Root relaxation: objective 0.000000e+00, 394 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 (723 simplex iterations) in 0.05 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 01:45:17 2012 Optimize a model with 4346 rows, 1738 columns and 13400 nonzeros Presolve time: 0.01s Presolved: 4346 rows, 1738 columns, 13400 nonzeros Variable types: 0 continuous, 1738 integer (1738 binary) Root relaxation: objective 0.000000e+00, 397 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 18 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2956 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:45:17 2012 Optimize a model with 1847 rows, 1195 columns and 5360 nonzeros Presolve removed 181 rows and 181 columns Presolve time: 0.00s Presolved: 1666 rows, 1014 columns, 4998 nonzeros Variable types: 0 continuous, 1014 integer (1014 binary) Root relaxation: objective 0.000000e+00, 193 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 181 - 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 Sat Dec 15 01:45:17 2012 Optimize a model with 2680 rows, 1376 columns and 8040 nonzeros Presolve time: 0.01s Presolved: 2680 rows, 1376 columns, 8040 nonzeros Variable types: 0 continuous, 1376 integer (1376 binary) Root relaxation: objective 0.000000e+00, 427 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 360 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 498 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 24 Zero half: 598 Explored 0 nodes (6981 simplex iterations) in 0.96 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 01:45:18 2012 Optimize a model with 3513 rows, 1557 columns and 10720 nonzeros Presolve time: 0.01s Presolved: 3513 rows, 1557 columns, 10720 nonzeros Variable types: 0 continuous, 1557 integer (1557 binary) Root relaxation: objective 0.000000e+00, 402 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 332 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 0.00000 0 363 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 1s 0 0 0.00000 0 314 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 1s 0 0 0.00000 0 302 - 0.00000 - - 2s 0 0 0.00000 0 278 - 0.00000 - - 2s 0 0 0.00000 0 272 - 0.00000 - - 2s 0 0 0.00000 0 284 - 0.00000 - - 3s 0 0 0.00000 0 266 - 0.00000 - - 3s 0 0 0.00000 0 285 - 0.00000 - - 3s 0 0 0.00000 0 266 - 0.00000 - - 4s 0 0 0.00000 0 258 - 0.00000 - - 4s 0 0 0.00000 0 267 - 0.00000 - - 5s 0 0 0.00000 0 252 - 0.00000 - - 5s 0 0 0.00000 0 250 - 0.00000 - - 5s 0 0 0.00000 0 258 - 0.00000 - - 6s 0 0 0.00000 0 258 - 0.00000 - - 6s 0 2 0.00000 0 258 - 0.00000 - - 7s 485 40 0.00000 20 276 - 0.00000 - 116 10s 708 82 0.00000 2 276 - 0.00000 - 111 16s 712 84 0.00000 22 268 - 0.00000 - 111 20s 716 87 0.00000 17 240 - 0.00000 - 110 25s 727 92 0.00000 17 375 - 0.00000 - 191 30s 1028 67 0.00000 28 333 - 0.00000 - 194 35s 1374 79 infeasible 34 - 0.00000 - 202 40s 1734 87 infeasible 26 - 0.00000 - 206 45s 2115 106 infeasible 31 - 0.00000 - 206 50s 2491 116 0.00000 31 348 - 0.00000 - 207 55s 2854 103 0.00000 29 308 - 0.00000 - 210 60s 3239 44 0.00000 33 355 - 0.00000 - 210 65s 3662 45 0.00000 24 302 - 0.00000 - 209 70s 4031 50 0.00000 25 359 - 0.00000 - 209 75s 4438 35 0.00000 28 288 - 0.00000 - 208 80s 4853 24 infeasible 31 - 0.00000 - 207 85s 5228 33 infeasible 31 - 0.00000 - 207 90s 5785 52 infeasible 28 - 0.00000 - 203 95s 6302 61 infeasible 32 - 0.00000 - 200 100s 6807 86 0.00000 27 320 - 0.00000 - 198 105s 7331 66 0.00000 34 310 - 0.00000 - 196 110s 7840 53 infeasible 27 - 0.00000 - 195 115s 8332 53 infeasible 30 - 0.00000 - 194 120s 8801 44 0.00000 25 330 - 0.00000 - 194 125s 9308 37 0.00000 28 336 - 0.00000 - 193 130s 9757 18 infeasible 30 - 0.00000 - 193 135s 10302 17 infeasible 30 - 0.00000 - 191 140s 10747 22 infeasible 34 - 0.00000 - 192 145s 11171 16 0.00000 32 310 - 0.00000 - 192 150s 11565 26 0.00000 28 294 - 0.00000 - 192 155s 11949 16 infeasible 30 - 0.00000 - 193 160s 12376 31 infeasible 31 - 0.00000 - 193 165s 12778 17 infeasible 28 - 0.00000 - 193 170s 13239 36 0.00000 26 312 - 0.00000 - 193 175s 13696 13 infeasible 34 - 0.00000 - 192 180s 14057 12 0.00000 22 418 - 0.00000 - 193 185s 14376 17 infeasible 31 - 0.00000 - 194 190s 14720 15 0.00000 34 308 - 0.00000 - 195 195s Cutting planes: Zero half: 1 Explored 15012 nodes (2994450 simplex iterations) in 199.27 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