current bounds on the number of colors: 0 -- 186 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:38:52 2012 Optimize a model with 83421 rows, 18193 columns and 267003 nonzeros Presolve time: 0.26s Presolved: 83421 rows, 18193 columns, 267003 nonzeros Variable types: 0 continuous, 18193 integer (18193 binary) Root relaxation: objective 0.000000e+00, 740 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 (1272 simplex iterations) in 0.53 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 -- 93 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:38:54 2012 Optimize a model with 41356 rows, 9451 columns and 132066 nonzeros Presolve time: 0.16s Presolved: 41356 rows, 9451 columns, 132066 nonzeros Variable types: 0 continuous, 9451 integer (9451 binary) Root relaxation: objective 0.000000e+00, 583 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 (1007 simplex iterations) in 0.25 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 -- 46 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:38:54 2012 Optimize a model with 20771 rows, 5173 columns and 66033 nonzeros Presolve time: 0.08s Presolved: 20771 rows, 5173 columns, 66033 nonzeros Variable types: 0 continuous, 5173 integer (5173 binary) Root relaxation: objective 0.000000e+00, 426 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 (781 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:38:55 2012 Optimize a model with 10031 rows, 2941 columns and 31581 nonzeros Presolve time: 0.03s Presolved: 10031 rows, 2941 columns, 31581 nonzeros Variable types: 0 continuous, 2941 integer (2941 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (735 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 03:38:55 2012 Optimize a model with 4661 rows, 1825 columns and 14355 nonzeros Presolve time: 0.01s Presolved: 4661 rows, 1825 columns, 14355 nonzeros Variable types: 0 continuous, 1825 integer (1825 binary) Root relaxation: objective 0.000000e+00, 409 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 326 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2099 simplex iterations) in 0.10 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 03:38:55 2012 Optimize a model with 1976 rows, 1267 columns and 5742 nonzeros Presolve removed 186 rows and 186 columns Presolve time: 0.00s Presolved: 1790 rows, 1081 columns, 5370 nonzeros Variable types: 0 continuous, 1081 integer (1081 binary) Root relaxation: objective 0.000000e+00, 192 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 186 - 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 03:38:55 2012 Optimize a model with 2871 rows, 1453 columns and 8613 nonzeros Presolve time: 0.01s Presolved: 2871 rows, 1453 columns, 8613 nonzeros Variable types: 0 continuous, 1453 integer (1453 binary) Root relaxation: objective 0.000000e+00, 433 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 366 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4596 simplex iterations) in 0.58 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 03:38:56 2012 Optimize a model with 3766 rows, 1639 columns and 11484 nonzeros Presolve time: 0.01s Presolved: 3766 rows, 1639 columns, 11484 nonzeros Variable types: 0 continuous, 1639 integer (1639 binary) Root relaxation: objective 0.000000e+00, 405 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 356 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 0s 0 0 0.00000 0 455 - 0.00000 - - 1s 0 0 0.00000 0 294 - 0.00000 - - 1s 0 0 0.00000 0 294 - 0.00000 - - 2s 0 0 0.00000 0 296 - 0.00000 - - 2s 0 0 0.00000 0 306 - 0.00000 - - 3s 0 0 0.00000 0 304 - 0.00000 - - 3s 0 2 0.00000 0 304 - 0.00000 - - 4s 60 44 0.00000 22 314 - 0.00000 - 216 5s 542 106 infeasible 24 - 0.00000 - 165 10s 705 119 0.00000 25 323 - 0.00000 - 157 15s 709 121 0.00000 4 298 - 0.00000 - 156 21s 711 123 0.00000 14 286 - 0.00000 - 156 25s 714 125 0.00000 4 305 - 0.00000 - 155 30s 856 123 0.00000 27 328 - 0.00000 - 242 35s 1100 54 0.00000 33 377 - 0.00000 - 245 40s 1363 49 0.00000 26 326 - 0.00000 - 244 45s 1571 45 infeasible 31 - 0.00000 - 249 50s 1775 41 infeasible 27 - 0.00000 - 254 55s 1972 42 0.00000 26 357 - 0.00000 - 258 60s 2174 38 infeasible 27 - 0.00000 - 260 65s 2381 35 infeasible 26 - 0.00000 - 262 70s 2596 40 infeasible 30 - 0.00000 - 264 75s 2802 22 infeasible 24 - 0.00000 - 266 80s 3047 33 infeasible 25 - 0.00000 - 264 85s 3308 24 infeasible 29 - 0.00000 - 263 90s 3530 34 0.00000 30 324 - 0.00000 - 263 95s 3772 40 infeasible 31 - 0.00000 - 263 100s 4063 57 infeasible 32 - 0.00000 - 260 105s 4335 49 infeasible 30 - 0.00000 - 259 110s 4597 59 0.00000 32 344 - 0.00000 - 258 115s 4826 46 infeasible 32 - 0.00000 - 258 120s 5010 32 0.00000 24 404 - 0.00000 - 261 125s 5263 33 infeasible 30 - 0.00000 - 260 130s 5479 19 infeasible 25 - 0.00000 - 261 135s 5697 15 infeasible 26 - 0.00000 - 261 140s 5918 12 0.00000 25 304 - 0.00000 - 262 145s 6126 10 infeasible 26 - 0.00000 - 263 150s Cutting planes: Clique: 1 Zero half: 27 Explored 6333 nodes (1689946 simplex iterations) in 154.49 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