current bounds on the number of colors: 0 -- 186 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:19:31 2012 Optimize a model with 80538 rows, 18162 columns and 258354 nonzeros Presolve time: 0.26s Presolved: 80538 rows, 18162 columns, 258354 nonzeros Variable types: 0 continuous, 18162 integer (18162 binary) Root relaxation: objective 0.000000e+00, 587 iterations, 0.05 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 (1183 simplex iterations) in 0.48 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:19:32 2012 Optimize a model with 39930 rows, 9420 columns and 127788 nonzeros Presolve time: 0.16s Presolved: 39930 rows, 9420 columns, 127788 nonzeros Variable types: 0 continuous, 9420 integer (9420 binary) Root relaxation: objective 0.000000e+00, 492 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 (855 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 -- 46 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:19:33 2012 Optimize a model with 20058 rows, 5142 columns and 63894 nonzeros Presolve time: 0.08s Presolved: 20058 rows, 5142 columns, 63894 nonzeros Variable types: 0 continuous, 5142 integer (5142 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (732 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:19:33 2012 Optimize a model with 9690 rows, 2910 columns and 30558 nonzeros Presolve time: 0.03s Presolved: 9690 rows, 2910 columns, 30558 nonzeros Variable types: 0 continuous, 2910 integer (2910 binary) Root relaxation: objective 0.000000e+00, 385 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 (709 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:19:34 2012 Optimize a model with 4506 rows, 1794 columns and 13890 nonzeros Presolve time: 0.01s Presolved: 4506 rows, 1794 columns, 13890 nonzeros Variable types: 0 continuous, 1794 integer (1794 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 156 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4513 simplex iterations) in 0.36 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:19:34 2012 Optimize a model with 1914 rows, 1236 columns and 5556 nonzeros Presolve removed 186 rows and 186 columns Presolve time: 0.00s Presolved: 1728 rows, 1050 columns, 5184 nonzeros Variable types: 0 continuous, 1050 integer (1050 binary) Root relaxation: objective 0.000000e+00, 194 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 (789 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:19:34 2012 Optimize a model with 2778 rows, 1422 columns and 8334 nonzeros Presolve time: 0.01s Presolved: 2778 rows, 1422 columns, 8334 nonzeros Variable types: 0 continuous, 1422 integer (1422 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 370 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 0s 0 0 0.00000 0 505 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 10 Zero half: 1044 Explored 0 nodes (7863 simplex iterations) in 1.07 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:19:35 2012 Optimize a model with 3642 rows, 1608 columns and 11112 nonzeros Presolve time: 0.01s Presolved: 3642 rows, 1608 columns, 11112 nonzeros Variable types: 0 continuous, 1608 integer (1608 binary) Root relaxation: objective 0.000000e+00, 417 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 364 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 0s 0 0 0.00000 0 503 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 1s 0 0 0.00000 0 459 - 0.00000 - - 2s 0 0 0.00000 0 453 - 0.00000 - - 3s 0 0 0.00000 0 436 - 0.00000 - - 3s 0 0 0.00000 0 449 - 0.00000 - - 4s 0 0 0.00000 0 449 - 0.00000 - - 4s 0 2 0.00000 0 449 - 0.00000 - - 5s 594 64 0.00000 21 286 - 0.00000 - 122 10s 806 79 0.00000 16 313 - 0.00000 - 115 15s 811 83 0.00000 18 252 - 0.00000 - 114 21s 814 85 0.00000 21 292 - 0.00000 - 114 25s 818 87 0.00000 13 347 - 0.00000 - 113 30s 870 88 infeasible 26 - 0.00000 - 196 35s 1188 26 0.00000 25 338 - 0.00000 - 199 40s 1497 21 infeasible 27 - 0.00000 - 203 45s 1756 24 0.00000 22 363 - 0.00000 - 207 50s 2031 15 infeasible 27 - 0.00000 - 211 55s 2309 13 infeasible 26 - 0.00000 - 213 60s 2622 24 0.00000 29 359 - 0.00000 - 214 65s 2872 22 0.00000 27 322 - 0.00000 - 217 70s 3179 13 0.00000 24 367 - 0.00000 - 217 75s 3449 17 infeasible 29 - 0.00000 - 218 80s 3713 7 infeasible 25 - 0.00000 - 221 85s 3973 11 infeasible 24 - 0.00000 - 223 90s 4219 13 infeasible 26 - 0.00000 - 226 95s 4461 3 infeasible 23 - 0.00000 - 229 100s 4744 4 infeasible 30 - 0.00000 - 229 105s Cutting planes: Clique: 1 Zero half: 20 Explored 4815 nodes (1135080 simplex iterations) in 106.34 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