current bounds on the number of colors: 0 -- 141 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:41:19 2012 Optimize a model with 75041 rows, 10940 columns and 234570 nonzeros Presolve time: 0.21s Presolved: 75041 rows, 10940 columns, 234570 nonzeros Variable types: 0 continuous, 10940 integer (10940 binary) Root relaxation: objective 0.000000e+00, 340 iterations, 0.08 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 (751 simplex iterations) in 0.40 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 -- 70 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:41:20 2012 Optimize a model with 37591 rows, 6005 columns and 117285 nonzeros Presolve time: 0.16s Presolved: 37591 rows, 6005 columns, 117285 nonzeros Variable types: 0 continuous, 6005 integer (6005 binary) Root relaxation: objective 0.000000e+00, 330 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 (738 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:41:21 2012 Optimize a model with 18331 rows, 3467 columns and 56967 nonzeros Presolve time: 0.06s Presolved: 18331 rows, 3467 columns, 56967 nonzeros Variable types: 0 continuous, 3467 integer (3467 binary) Root relaxation: objective 0.000000e+00, 402 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 (799 simplex iterations) in 0.11 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:41:21 2012 Optimize a model with 8701 rows, 2198 columns and 26808 nonzeros Presolve time: 0.02s Presolved: 8701 rows, 2198 columns, 26808 nonzeros Variable types: 0 continuous, 2198 integer (2198 binary) Root relaxation: objective 0.000000e+00, 289 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 (1473 simplex iterations) in 0.09 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:41:21 2012 Optimize a model with 4421 rows, 1634 columns and 13404 nonzeros Presolve time: 0.01s Presolved: 4421 rows, 1634 columns, 13404 nonzeros Variable types: 0 continuous, 1634 integer (1634 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 282 - 0.00000 - - 0s 0 0 0.00000 0 266 - 0.00000 - - 0s 0 0 0.00000 0 457 - 0.00000 - - 2s 0 0 0.00000 0 470 - 0.00000 - - 2s 0 0 0.00000 0 463 - 0.00000 - - 3s 0 0 0.00000 0 463 - 0.00000 - - 4s 0 0 0.00000 0 466 - 0.00000 - - 4s 0 0 0.00000 0 465 - 0.00000 - - 5s 0 0 0.00000 0 450 - 0.00000 - - 6s 0 0 0.00000 0 463 - 0.00000 - - 9s 0 0 0.00000 0 463 - 0.00000 - - 9s 0 2 0.00000 0 463 - 0.00000 - - 10s Cutting planes: Clique: 23 Zero half: 14 Explored 5 nodes (49666 simplex iterations) in 11.39 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:41:33 2012 Optimize a model with 6561 rows, 1916 columns and 20106 nonzeros Presolve time: 0.02s Presolved: 6561 rows, 1916 columns, 20106 nonzeros Variable types: 0 continuous, 1916 integer (1916 binary) Root relaxation: objective 0.000000e+00, 297 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 270 - 0.00000 - - 0s 0 0 0.00000 0 310 - 0.00000 - - 0s 0 0 0.00000 0 251 - 0.00000 - - 1s 0 0 0.00000 0 284 - 0.00000 - - 1s 0 0 0.00000 0 206 - 0.00000 - - 2s 0 0 0.00000 0 317 - 0.00000 - - 3s 0 0 0.00000 0 365 - 0.00000 - - 4s 0 0 0.00000 0 348 - 0.00000 - - 4s 0 2 0.00000 0 307 - 0.00000 - - 5s * 595 0 55 0.0000000 0.00000 0.0% 56.1 7s Cutting planes: Clique: 9 Zero half: 3 Explored 596 nodes (65064 simplex iterations) in 7.75 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 11:41:41 2012 Optimize a model with 5491 rows, 1775 columns and 16755 nonzeros Presolve time: 0.01s Presolved: 5491 rows, 1775 columns, 16755 nonzeros Variable types: 0 continuous, 1775 integer (1775 binary) Root relaxation: objective 0.000000e+00, 292 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 280 - 0.00000 - - 0s 0 0 0.00000 0 192 - 0.00000 - - 0s 0 0 0.00000 0 391 - 0.00000 - - 2s 0 0 0.00000 0 373 - 0.00000 - - 2s 0 0 0.00000 0 365 - 0.00000 - - 2s 0 0 0.00000 0 391 - 0.00000 - - 3s 0 0 0.00000 0 359 - 0.00000 - - 4s 0 0 0.00000 0 361 - 0.00000 - - 5s 0 0 0.00000 0 347 - 0.00000 - - 6s 0 0 0.00000 0 347 - 0.00000 - - 7s 0 0 0.00000 0 342 - 0.00000 - - 8s 0 0 0.00000 0 364 - 0.00000 - - 9s 0 0 0.00000 0 358 - 0.00000 - - 9s 0 2 0.00000 0 358 - 0.00000 - - 11s 182 44 0.00000 20 350 - 0.00000 - 203 15s 416 99 infeasible 24 - 0.00000 - 198 20s 729 100 0.00000 19 335 - 0.00000 - 177 25s 1010 97 0.00000 24 339 - 0.00000 - 173 30s 1293 96 infeasible 24 - 0.00000 - 172 35s 1577 73 0.00000 16 335 - 0.00000 - 171 40s 1857 71 0.00000 20 297 - 0.00000 - 171 45s 1913 87 0.00000 22 374 - 0.00000 - 170 50s 1917 89 0.00000 5 329 - 0.00000 - 170 55s 1919 91 0.00000 15 352 - 0.00000 - 170 60s 1945 104 0.00000 21 352 - 0.00000 - 191 65s 2076 105 infeasible 28 - 0.00000 - 198 70s 2192 87 0.00000 21 344 - 0.00000 - 207 75s 2299 104 0.00000 22 355 - 0.00000 - 216 80s 2426 115 infeasible 32 - 0.00000 - 222 85s 2539 120 0.00000 28 328 - 0.00000 - 229 90s 2648 115 infeasible 35 - 0.00000 - 236 95s 2759 112 0.00000 28 330 - 0.00000 - 242 100s 2881 110 infeasible 38 - 0.00000 - 246 105s 2977 102 infeasible 33 - 0.00000 - 253 110s 3079 100 infeasible 34 - 0.00000 - 258 115s 3197 107 infeasible 29 - 0.00000 - 261 120s 3310 104 infeasible 26 - 0.00000 - 265 125s 3427 107 infeasible 33 - 0.00000 - 269 130s 3531 97 0.00000 27 347 - 0.00000 - 273 135s 3653 107 0.00000 27 342 - 0.00000 - 275 140s 3755 101 0.00000 32 338 - 0.00000 - 279 145s 3865 97 infeasible 31 - 0.00000 - 282 150s 3966 94 infeasible 29 - 0.00000 - 286 155s 4072 94 0.00000 27 337 - 0.00000 - 289 160s 4188 96 infeasible 25 - 0.00000 - 291 165s 4317 101 infeasible 31 - 0.00000 - 293 170s 4436 94 infeasible 26 - 0.00000 - 294 175s 4553 107 infeasible 28 - 0.00000 - 296 180s 4656 106 0.00000 30 335 - 0.00000 - 298 185s 4761 107 infeasible 31 - 0.00000 - 301 190s 4853 103 infeasible 27 - 0.00000 - 303 195s 4954 104 infeasible 29 - 0.00000 - 305 200s 5062 108 infeasible 22 - 0.00000 - 307 205s 5159 119 infeasible 33 - 0.00000 - 309 210s 5259 143 infeasible 27 - 0.00000 - 311 215s 5368 152 infeasible 29 - 0.00000 - 313 220s 5453 139 infeasible 29 - 0.00000 - 316 225s 5548 140 0.00000 24 347 - 0.00000 - 318 230s 5649 137 0.00000 31 342 - 0.00000 - 320 235s 5733 125 0.00000 22 339 - 0.00000 - 322 240s 5827 121 infeasible 22 - 0.00000 - 324 245s 5935 117 infeasible 33 - 0.00000 - 325 250s 6032 140 0.00000 25 355 - 0.00000 - 327 255s 6120 140 infeasible 31 - 0.00000 - 329 260s 6228 148 0.00000 28 349 - 0.00000 - 330 265s 6334 142 0.00000 23 335 - 0.00000 - 331 270s 6441 139 infeasible 27 - 0.00000 - 332 275s Cutting planes: Clique: 9 Zero half: 6 Explored 6473 nodes (2194133 simplex iterations) in 276.52 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