current bounds on the number of colors: 0 -- 193 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:13:54 2012 Optimize a model with 88321 rows, 19446 columns and 282912 nonzeros Presolve time: 0.29s Presolved: 88321 rows, 19446 columns, 282912 nonzeros Variable types: 0 continuous, 19446 integer (19446 binary) Root relaxation: objective 0.000000e+00, 749 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 (1210 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 -- 96 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:13:56 2012 Optimize a model with 44257 rows, 10182 columns and 141456 nonzeros Presolve time: 0.15s Presolved: 44257 rows, 10182 columns, 141456 nonzeros Variable types: 0 continuous, 10182 integer (10182 binary) Root relaxation: objective 0.000000e+00, 649 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 (1079 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:13:57 2012 Optimize a model with 22225 rows, 5550 columns and 70728 nonzeros Presolve time: 0.09s Presolved: 22225 rows, 5550 columns, 70728 nonzeros Variable types: 0 continuous, 5550 integer (5550 binary) Root relaxation: objective 0.000000e+00, 468 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 (842 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:13:57 2012 Optimize a model with 11209 rows, 3234 columns and 35364 nonzeros Presolve time: 0.04s Presolved: 11209 rows, 3234 columns, 35364 nonzeros Variable types: 0 continuous, 3234 integer (3234 binary) Root relaxation: objective 0.000000e+00, 406 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 (775 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:13:57 2012 Optimize a model with 5701 rows, 2076 columns and 17682 nonzeros Presolve time: 0.02s Presolved: 5701 rows, 2076 columns, 17682 nonzeros Variable types: 0 continuous, 2076 integer (2076 binary) Root relaxation: objective 0.000000e+00, 419 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 (1380 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:13:57 2012 Optimize a model with 2947 rows, 1497 columns and 8841 nonzeros Presolve time: 0.01s Presolved: 2947 rows, 1497 columns, 8841 nonzeros Variable types: 0 continuous, 1497 integer (1497 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.00000 0 380 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 0.00000 0 510 - 0.00000 - - 0s 0 0 0.00000 0 519 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 2 Zero half: 1177 Explored 0 nodes (8883 simplex iterations) in 1.34 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 06:13:59 2012 Optimize a model with 3865 rows, 1690 columns and 11788 nonzeros Presolve time: 0.01s Presolved: 3865 rows, 1690 columns, 11788 nonzeros Variable types: 0 continuous, 1690 integer (1690 binary) Root relaxation: objective 0.000000e+00, 412 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 368 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 1s 0 0 0.00000 0 470 - 0.00000 - - 1s 0 0 0.00000 0 340 - 0.00000 - - 1s 0 0 0.00000 0 328 - 0.00000 - - 2s 0 0 0.00000 0 334 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 3s 0 0 0.00000 0 324 - 0.00000 - - 3s 0 0 0.00000 0 322 - 0.00000 - - 4s 0 0 0.00000 0 314 - 0.00000 - - 4s 0 0 0.00000 0 310 - 0.00000 - - 5s 0 0 0.00000 0 316 - 0.00000 - - 5s 0 0 0.00000 0 308 - 0.00000 - - 6s 0 0 0.00000 0 316 - 0.00000 - - 6s 0 0 0.00000 0 298 - 0.00000 - - 7s 0 0 0.00000 0 309 - 0.00000 - - 8s 0 0 0.00000 0 303 - 0.00000 - - 8s 0 2 0.00000 0 303 - 0.00000 - - 8s 230 24 infeasible 15 - 0.00000 - 90.7 10s 606 58 0.00000 22 351 - 0.00000 - 87.1 15s 609 60 0.00000 9 288 - 0.00000 - 86.7 21s 612 62 0.00000 27 282 - 0.00000 - 86.2 25s 711 62 0.00000 28 330 - 0.00000 - 179 30s 970 55 infeasible 27 - 0.00000 - 195 35s 1214 51 0.00000 28 340 - 0.00000 - 208 40s 1464 37 infeasible 31 - 0.00000 - 216 45s 1744 43 0.00000 28 356 - 0.00000 - 218 50s 1993 48 infeasible 27 - 0.00000 - 221 55s 2260 71 infeasible 26 - 0.00000 - 223 60s 2563 64 0.00000 30 338 - 0.00000 - 224 65s 2876 61 0.00000 30 352 - 0.00000 - 223 70s 3128 55 0.00000 30 401 - 0.00000 - 225 75s 3390 45 infeasible 32 - 0.00000 - 228 80s 3634 43 infeasible 29 - 0.00000 - 230 85s 3910 37 infeasible 27 - 0.00000 - 230 90s 4139 36 infeasible 26 - 0.00000 - 232 95s 4377 32 infeasible 24 - 0.00000 - 234 100s 4601 24 0.00000 25 365 - 0.00000 - 236 105s 4820 5 0.00000 28 442 - 0.00000 - 238 110s 5093 14 0.00000 27 354 - 0.00000 - 238 115s 5355 6 infeasible 27 - 0.00000 - 239 120s Cutting planes: Zero half: 10 Explored 5394 nodes (1356412 simplex iterations) in 120.89 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 06:16:00 2012 Optimize a model with 4783 rows, 1883 columns and 14735 nonzeros Presolve time: 0.01s Presolved: 4783 rows, 1883 columns, 14735 nonzeros Variable types: 0 continuous, 1883 integer (1883 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 287 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (5217 simplex iterations) in 0.44 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