current bounds on the number of colors: 0 -- 143 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:20:05 2012 Optimize a model with 77675 rows, 11245 columns and 242749 nonzeros Presolve time: 0.21s Presolved: 77675 rows, 11245 columns, 242749 nonzeros Variable types: 0 continuous, 11245 integer (11245 binary) Root relaxation: objective 0.000000e+00, 342 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 (784 simplex iterations) in 0.43 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 -- 71 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:20:06 2012 Optimize a model with 38363 rows, 6097 columns and 119665 nonzeros Presolve time: 0.16s Presolved: 38363 rows, 6097 columns, 119665 nonzeros Variable types: 0 continuous, 6097 integer (6097 binary) Root relaxation: objective 0.000000e+00, 422 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 (830 simplex iterations) in 0.26 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 13:20:07 2012 Optimize a model with 18707 rows, 3523 columns and 58123 nonzeros Presolve time: 0.06s Presolved: 18707 rows, 3523 columns, 58123 nonzeros Variable types: 0 continuous, 3523 integer (3523 binary) Root relaxation: objective 0.000000e+00, 418 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 (834 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 13:20:07 2012 Optimize a model with 8879 rows, 2236 columns and 27352 nonzeros Presolve time: 0.02s Presolved: 8879 rows, 2236 columns, 27352 nonzeros Variable types: 0 continuous, 2236 integer (2236 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2014 simplex iterations) in 0.13 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 13:20:07 2012 Optimize a model with 4511 rows, 1664 columns and 13676 nonzeros Presolve time: 0.01s Presolved: 4511 rows, 1664 columns, 13676 nonzeros Variable types: 0 continuous, 1664 integer (1664 binary) Root relaxation: objective 0.000000e+00, 319 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 234 - 0.00000 - - 0s 0 0 0.00000 0 335 - 0.00000 - - 0s 0 0 0.00000 0 474 - 0.00000 - - 1s 0 0 0.00000 0 486 - 0.00000 - - 2s 0 0 0.00000 0 479 - 0.00000 - - 3s 0 0 0.00000 0 486 - 0.00000 - - 4s 0 0 0.00000 0 485 - 0.00000 - - 4s 0 0 0.00000 0 476 - 0.00000 - - 5s 0 0 0.00000 0 472 - 0.00000 - - 6s 0 0 0.00000 0 488 - 0.00000 - - 7s 0 0 0.00000 0 475 - 0.00000 - - 8s 0 0 0.00000 0 477 - 0.00000 - - 9s 0 0 0.00000 0 477 - 0.00000 - - 9s 0 2 0.00000 0 477 - 0.00000 - - 11s Cutting planes: Clique: 21 Zero half: 27 Explored 9 nodes (62058 simplex iterations) in 12.38 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 13:20:20 2012 Optimize a model with 6695 rows, 1950 columns and 20514 nonzeros Presolve time: 0.02s Presolved: 6695 rows, 1950 columns, 20514 nonzeros Variable types: 0 continuous, 1950 integer (1950 binary) Root relaxation: objective 0.000000e+00, 301 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 186 - 0.00000 - - 0s 0 0 0.00000 0 277 - 0.00000 - - 1s 0 0 0.00000 0 206 - 0.00000 - - 2s 0 0 0.00000 0 348 - 0.00000 - - 2s 0 0 0.00000 0 266 - 0.00000 - - 3s 0 0 0.00000 0 226 - 0.00000 - - 4s 0 0 0.00000 0 291 - 0.00000 - - 4s 0 0 0.00000 0 271 - 0.00000 - - 5s 0 0 0.00000 0 280 - 0.00000 - - 6s 0 0 0.00000 0 316 - 0.00000 - - 7s 0 0 0.00000 0 380 - 0.00000 - - 8s 0 0 0.00000 0 349 - 0.00000 - - 9s 0 2 0.00000 0 349 - 0.00000 - - 9s 5 5 0.00000 4 266 - 0.00000 - 523 10s 803 88 0.00000 20 206 - 0.00000 - 73.7 15s 807 91 0.00000 23 217 - 0.00000 - 73.3 20s 811 94 0.00000 38 292 - 0.00000 - 72.9 25s 1070 72 0.00000 37 210 - 0.00000 - 133 30s 1468 114 0.00000 43 216 - 0.00000 - 146 35s * 1639 3 39 0.0000000 0.00000 0.0% 151 37s Cutting planes: Gomory: 2 Clique: 6 Zero half: 12 Explored 1640 nodes (305449 simplex iterations) in 37.45 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 13:20:57 2012 Optimize a model with 5603 rows, 1807 columns and 17095 nonzeros Presolve time: 0.01s Presolved: 5603 rows, 1807 columns, 17095 nonzeros Variable types: 0 continuous, 1807 integer (1807 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 278 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 0s 0 0 0.00000 0 393 - 0.00000 - - 2s 0 0 0.00000 0 425 - 0.00000 - - 2s 0 0 0.00000 0 317 - 0.00000 - - 4s 0 0 0.00000 0 359 - 0.00000 - - 5s 0 0 0.00000 0 353 - 0.00000 - - 6s 0 0 0.00000 0 368 - 0.00000 - - 8s 0 0 0.00000 0 394 - 0.00000 - - 9s 0 0 0.00000 0 394 - 0.00000 - - 9s 0 2 0.00000 0 394 - 0.00000 - - 10s 223 29 0.00000 23 348 - 0.00000 - 168 15s 476 28 infeasible 26 - 0.00000 - 172 20s 715 26 infeasible 21 - 0.00000 - 175 25s 903 43 0.00000 23 393 - 0.00000 - 180 32s 905 45 0.00000 20 410 - 0.00000 - 179 36s 906 45 0.00000 22 376 - 0.00000 - 179 40s 909 47 0.00000 23 398 - 0.00000 - 178 47s 911 49 0.00000 23 382 - 0.00000 - 178 53s 913 50 0.00000 23 378 - 0.00000 - 178 57s 916 52 0.00000 22 373 - 0.00000 - 177 61s 965 61 0.00000 24 365 - 0.00000 - 246 65s 1057 70 infeasible 33 - 0.00000 - 258 70s 1162 87 infeasible 35 - 0.00000 - 267 75s 1271 104 infeasible 34 - 0.00000 - 275 80s 1373 114 0.00000 29 354 - 0.00000 - 283 85s 1481 124 0.00000 25 359 - 0.00000 - 289 90s 1566 119 infeasible 27 - 0.00000 - 298 95s 1657 126 0.00000 25 359 - 0.00000 - 305 100s 1753 140 0.00000 26 370 - 0.00000 - 310 105s 1841 130 infeasible 28 - 0.00000 - 317 110s 1920 121 infeasible 25 - 0.00000 - 324 115s 2014 123 infeasible 31 - 0.00000 - 328 120s 2119 126 0.00000 25 373 - 0.00000 - 330 125s 2212 147 infeasible 33 - 0.00000 - 334 130s 2309 148 0.00000 28 356 - 0.00000 - 336 135s 2399 150 infeasible 26 - 0.00000 - 340 140s 2484 143 infeasible 29 - 0.00000 - 343 145s 2571 142 0.00000 31 344 - 0.00000 - 347 150s 2652 141 0.00000 28 363 - 0.00000 - 350 155s 2749 138 infeasible 26 - 0.00000 - 352 160s 2842 137 infeasible 32 - 0.00000 - 354 165s 2934 131 infeasible 37 - 0.00000 - 356 170s 3024 121 0.00000 30 355 - 0.00000 - 358 175s 3114 123 infeasible 27 - 0.00000 - 360 180s 3213 132 0.00000 27 382 - 0.00000 - 361 185s 3305 134 infeasible 31 - 0.00000 - 363 190s 3396 137 0.00000 26 382 - 0.00000 - 364 195s 3486 141 infeasible 35 - 0.00000 - 366 200s 3573 140 infeasible 25 - 0.00000 - 367 205s 3658 141 0.00000 24 370 - 0.00000 - 369 210s 3742 139 infeasible 29 - 0.00000 - 371 215s 3834 139 infeasible 28 - 0.00000 - 372 220s 3916 131 infeasible 36 - 0.00000 - 374 225s 4012 143 infeasible 30 - 0.00000 - 375 230s 4100 143 infeasible 31 - 0.00000 - 376 235s 4184 135 0.00000 32 361 - 0.00000 - 378 240s 4267 136 infeasible 24 - 0.00000 - 379 245s Cutting planes: Gomory: 3 Clique: 3 Zero half: 9 Explored 4281 nodes (1667890 simplex iterations) in 245.72 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