current bounds on the number of colors: 0 -- 124 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:02:18 2012 Optimize a model with 47926 rows, 8459 columns and 151094 nonzeros Presolve time: 0.16s Presolved: 47926 rows, 8459 columns, 151094 nonzeros Variable types: 0 continuous, 8459 integer (8459 binary) Root relaxation: objective 0.000000e+00, 301 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 (580 simplex iterations) in 0.28 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 -- 62 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:02:19 2012 Optimize a model with 24025 rows, 4615 columns and 75547 nonzeros Presolve time: 0.11s Presolved: 24025 rows, 4615 columns, 75547 nonzeros Variable types: 0 continuous, 4615 integer (4615 binary) Root relaxation: objective 0.000000e+00, 295 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 (573 simplex iterations) in 0.16 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 -- 31 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:02:19 2012 Optimize a model with 11689 rows, 2631 columns and 36555 nonzeros Presolve time: 0.04s Presolved: 11689 rows, 2631 columns, 36555 nonzeros Variable types: 0 continuous, 2631 integer (2631 binary) Root relaxation: objective 0.000000e+00, 255 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 (483 simplex iterations) in 0.07 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:02:20 2012 Optimize a model with 5521 rows, 1639 columns and 17059 nonzeros Presolve time: 0.01s Presolved: 5521 rows, 1639 columns, 17059 nonzeros Variable types: 0 continuous, 1639 integer (1639 binary) Root relaxation: objective 0.000000e+00, 259 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 70 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1656 simplex iterations) in 0.08 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:02:20 2012 Optimize a model with 2437 rows, 1143 columns and 7311 nonzeros Presolve time: 0.01s Presolved: 2437 rows, 1143 columns, 7311 nonzeros Variable types: 0 continuous, 1143 integer (1143 binary) Root relaxation: objective 0.000000e+00, 274 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 202 - 0.00000 - - 0s 0 0 0.00000 0 244 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4118 simplex iterations) in 0.41 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:02:20 2012 Optimize a model with 3979 rows, 1391 columns and 12185 nonzeros Presolve time: 0.01s Presolved: 3979 rows, 1391 columns, 12185 nonzeros Variable types: 0 continuous, 1391 integer (1391 binary) Root relaxation: objective 0.000000e+00, 263 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 248 - 0.00000 - - 0s 0 0 0.00000 0 228 - 0.00000 - - 0s 0 0 0.00000 0 329 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 1s 0 0 0.00000 0 357 - 0.00000 - - 1s 0 0 0.00000 0 323 - 0.00000 - - 2s 0 0 0.00000 0 346 - 0.00000 - - 2s 0 0 0.00000 0 346 - 0.00000 - - 2s 0 2 0.00000 0 324 - 0.00000 - - 3s 242 62 0.00000 24 190 - 0.00000 - 93.6 5s 607 77 0.00000 20 291 - 0.00000 - 77.5 10s 613 81 0.00000 16 282 - 0.00000 - 76.7 16s 655 107 0.00000 33 240 - 0.00000 - 139 20s 1091 114 0.00000 28 265 - 0.00000 - 153 25s 1534 101 infeasible 34 - 0.00000 - 161 30s 1985 92 infeasible 37 - 0.00000 - 164 35s 2446 111 0.00000 38 208 - 0.00000 - 166 40s 2845 82 infeasible 36 - 0.00000 - 170 45s 3241 178 infeasible 44 - 0.00000 - 171 50s 3614 219 0.00000 42 242 - 0.00000 - 174 55s 3955 220 0.00000 35 196 - 0.00000 - 176 60s 4371 264 infeasible 45 - 0.00000 - 176 65s 4792 313 0.00000 39 250 - 0.00000 - 177 70s 5217 374 0.00000 43 230 - 0.00000 - 177 75s 5657 402 infeasible 43 - 0.00000 - 177 80s 6067 380 0.00000 43 245 - 0.00000 - 178 85s 6508 385 0.00000 42 227 - 0.00000 - 178 90s 6895 400 0.00000 41 184 - 0.00000 - 178 95s 7323 382 0.00000 37 262 - 0.00000 - 179 100s 7798 391 infeasible 45 - 0.00000 - 178 105s 8220 385 0.00000 36 259 - 0.00000 - 178 110s 8626 387 0.00000 42 255 - 0.00000 - 179 115s 8999 390 infeasible 38 - 0.00000 - 180 120s 9415 390 infeasible 47 - 0.00000 - 179 125s 9858 395 infeasible 45 - 0.00000 - 179 130s 10294 399 0.00000 41 200 - 0.00000 - 179 135s 10691 384 0.00000 38 258 - 0.00000 - 180 140s 11058 385 0.00000 43 204 - 0.00000 - 180 145s 11479 422 0.00000 34 237 - 0.00000 - 181 150s *11755 1 39 0.0000000 0.00000 0.0% 180 153s Cutting planes: Gomory: 1 Clique: 1 Zero half: 8 Explored 11756 nodes (2140117 simplex iterations) in 153.02 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:04:53 2012 Optimize a model with 3208 rows, 1267 columns and 9748 nonzeros Presolve time: 0.01s Presolved: 3208 rows, 1267 columns, 9748 nonzeros Variable types: 0 continuous, 1267 integer (1267 binary) Root relaxation: objective 0.000000e+00, 271 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 242 - 0.00000 - - 0s 0 0 0.00000 0 242 - 0.00000 - - 0s 0 0 0.00000 0 369 - 0.00000 - - 0s 0 0 0.00000 0 365 - 0.00000 - - 1s 0 0 0.00000 0 376 - 0.00000 - - 1s 0 0 0.00000 0 365 - 0.00000 - - 2s 0 0 0.00000 0 357 - 0.00000 - - 3s 0 0 0.00000 0 357 - 0.00000 - - 4s 0 0 0.00000 0 356 - 0.00000 - - 4s 0 0 0.00000 0 363 - 0.00000 - - 5s 0 0 0.00000 0 360 - 0.00000 - - 6s 0 0 0.00000 0 359 - 0.00000 - - 7s 0 0 0.00000 0 356 - 0.00000 - - 7s 0 0 0.00000 0 356 - 0.00000 - - 8s 0 0 0.00000 0 356 - 0.00000 - - 8s 0 2 0.00000 0 356 - 0.00000 - - 9s 19 3 infeasible 11 - 0.00000 - 375 10s Cutting planes: Clique: 9 Zero half: 23 Explored 59 nodes (51953 simplex iterations) in 11.11 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