current bounds on the number of colors: 0 -- 146 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:19:28 2012 Optimize a model with 75993 rows, 11697 columns and 238199 nonzeros Presolve time: 0.21s Presolved: 75993 rows, 11697 columns, 238199 nonzeros Variable types: 0 continuous, 11697 integer (11697 binary) Root relaxation: objective 0.000000e+00, 387 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 (779 simplex iterations) in 0.42 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 -- 73 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:19:29 2012 Optimize a model with 37550 rows, 6295 columns and 117468 nonzeros Presolve time: 0.14s Presolved: 37550 rows, 6295 columns, 117468 nonzeros Variable types: 0 continuous, 6295 integer (6295 binary) Root relaxation: objective 0.000000e+00, 342 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 (684 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:19:30 2012 Optimize a model with 18848 rows, 3667 columns and 58734 nonzeros Presolve time: 0.06s Presolved: 18848 rows, 3667 columns, 58734 nonzeros Variable types: 0 continuous, 3667 integer (3667 binary) Root relaxation: objective 0.000000e+00, 439 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 (862 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:19:30 2012 Optimize a model with 9497 rows, 2353 columns and 29367 nonzeros Presolve time: 0.03s Presolved: 9497 rows, 2353 columns, 29367 nonzeros Variable types: 0 continuous, 2353 integer (2353 binary) Root relaxation: objective 0.000000e+00, 302 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 (1100 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:19:30 2012 Optimize a model with 4302 rows, 1623 columns and 13052 nonzeros Presolve time: 0.01s Presolved: 4302 rows, 1623 columns, 13052 nonzeros Variable types: 0 continuous, 1623 integer (1623 binary) Root relaxation: objective 0.000000e+00, 310 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 292 - 0.00000 - - 0s 0 0 0.00000 0 205 - 0.00000 - - 0s 0 0 0.00000 0 457 - 0.00000 - - 1s 0 0 0.00000 0 460 - 0.00000 - - 2s 0 0 0.00000 0 447 - 0.00000 - - 3s 0 0 0.00000 0 449 - 0.00000 - - 6s 0 0 0.00000 0 444 - 0.00000 - - 7s 0 0 0.00000 0 445 - 0.00000 - - 9s 0 0 0.00000 0 441 - 0.00000 - - 10s 0 2 0.00000 0 441 - 0.00000 - - 11s Cutting planes: Clique: 33 Zero half: 10 Explored 23 nodes (48806 simplex iterations) in 12.68 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:19:43 2012 Optimize a model with 6380 rows, 1915 columns and 19578 nonzeros Presolve time: 0.02s Presolved: 6380 rows, 1915 columns, 19578 nonzeros Variable types: 0 continuous, 1915 integer (1915 binary) Root relaxation: objective 0.000000e+00, 306 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 272 - 0.00000 - - 0s 0 0 0.00000 0 319 - 0.00000 - - 0s Cutting planes: Clique: 13 Explored 0 nodes (5187 simplex iterations) in 0.72 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:19:44 2012 Optimize a model with 5341 rows, 1769 columns and 16315 nonzeros Presolve time: 0.01s Presolved: 5341 rows, 1769 columns, 16315 nonzeros Variable types: 0 continuous, 1769 integer (1769 binary) Root relaxation: objective 0.000000e+00, 305 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 290 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 0s 0 0 0.00000 0 369 - 0.00000 - - 1s 0 0 0.00000 0 370 - 0.00000 - - 2s 0 0 0.00000 0 364 - 0.00000 - - 2s 0 0 0.00000 0 390 - 0.00000 - - 3s 0 0 0.00000 0 376 - 0.00000 - - 4s 0 0 0.00000 0 345 - 0.00000 - - 6s 0 0 0.00000 0 360 - 0.00000 - - 7s 0 0 0.00000 0 365 - 0.00000 - - 8s 0 0 0.00000 0 373 - 0.00000 - - 9s 0 0 0.00000 0 373 - 0.00000 - - 9s 0 2 0.00000 0 373 - 0.00000 - - 10s 322 34 infeasible 30 - 0.00000 - 141 15s 603 42 0.00000 23 369 - 0.00000 - 145 21s 608 46 0.00000 32 353 - 0.00000 - 144 25s 611 48 0.00000 25 355 - 0.00000 - 143 30s 614 50 0.00000 23 345 - 0.00000 - 143 35s 693 42 0.00000 27 316 - 0.00000 - 219 40s 844 24 infeasible 34 - 0.00000 - 237 45s 987 37 infeasible 35 - 0.00000 - 249 50s 1122 54 infeasible 36 - 0.00000 - 260 55s 1265 93 infeasible 34 - 0.00000 - 266 60s 1421 97 0.00000 31 311 - 0.00000 - 271 65s 1553 85 infeasible 31 - 0.00000 - 278 70s 1702 80 infeasible 33 - 0.00000 - 281 75s 1842 86 infeasible 36 - 0.00000 - 286 80s 1975 87 infeasible 32 - 0.00000 - 291 85s 2131 99 0.00000 36 307 - 0.00000 - 292 90s 2280 100 0.00000 36 314 - 0.00000 - 295 95s 2425 85 0.00000 31 350 - 0.00000 - 297 100s 2566 90 infeasible 37 - 0.00000 - 299 105s 2712 90 0.00000 36 309 - 0.00000 - 300 110s 2854 90 infeasible 33 - 0.00000 - 302 115s 2991 115 0.00000 36 312 - 0.00000 - 303 120s 3119 119 infeasible 32 - 0.00000 - 306 125s 3249 129 0.00000 30 333 - 0.00000 - 308 130s 3378 126 infeasible 37 - 0.00000 - 310 135s 3518 142 infeasible 41 - 0.00000 - 311 140s 3633 135 infeasible 33 - 0.00000 - 314 145s 3769 155 infeasible 33 - 0.00000 - 315 150s 3897 149 infeasible 33 - 0.00000 - 317 155s 4030 166 0.00000 31 317 - 0.00000 - 318 160s 4161 163 infeasible 30 - 0.00000 - 320 165s 4301 161 infeasible 33 - 0.00000 - 320 170s 4424 164 0.00000 34 329 - 0.00000 - 322 175s 4542 160 infeasible 34 - 0.00000 - 324 180s 4672 156 infeasible 35 - 0.00000 - 325 185s 4801 153 0.00000 35 324 - 0.00000 - 326 190s 4932 148 0.00000 32 345 - 0.00000 - 327 195s 5064 148 infeasible 36 - 0.00000 - 327 200s 5200 150 infeasible 36 - 0.00000 - 328 205s 5328 146 0.00000 34 345 - 0.00000 - 328 210s 5464 148 0.00000 36 295 - 0.00000 - 329 215s 5588 140 infeasible 40 - 0.00000 - 330 220s 5720 164 0.00000 27 258 - 0.00000 - 330 225s 5849 187 infeasible 38 - 0.00000 - 331 230s 5982 192 0.00000 36 309 - 0.00000 - 331 235s 6104 190 infeasible 35 - 0.00000 - 332 240s 6242 188 infeasible 33 - 0.00000 - 332 245s 6372 198 0.00000 30 326 - 0.00000 - 332 250s 6508 198 infeasible 29 - 0.00000 - 333 255s 6657 205 infeasible 32 - 0.00000 - 333 260s 6794 200 infeasible 34 - 0.00000 - 333 265s 6922 218 infeasible 36 - 0.00000 - 333 270s 7054 230 0.00000 32 360 - 0.00000 - 334 275s 7193 249 infeasible 34 - 0.00000 - 334 280s Cutting planes: Gomory: 1 Clique: 7 Zero half: 9 Explored 7259 nodes (2467571 simplex iterations) in 282.24 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 6