current bounds on the number of colors: 0 -- 207 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:09:36 2012 Optimize a model with 109181 rows, 22379 columns and 348243 nonzeros Presolve time: 0.37s Presolved: 109181 rows, 22379 columns, 348243 nonzeros Variable types: 0 continuous, 22379 integer (22379 binary) Root relaxation: objective 0.000000e+00, 715 iterations, 0.07 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 (1401 simplex iterations) in 0.69 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 -- 103 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:09:38 2012 Optimize a model with 54165 rows, 11615 columns and 172431 nonzeros Presolve time: 0.16s Presolved: 54165 rows, 11615 columns, 172431 nonzeros Variable types: 0 continuous, 11615 integer (11615 binary) Root relaxation: objective 0.000000e+00, 783 iterations, 0.06 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 (1239 simplex iterations) in 0.30 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:09:39 2012 Optimize a model with 26657 rows, 6233 columns and 84525 nonzeros Presolve time: 0.11s Presolved: 26657 rows, 6233 columns, 84525 nonzeros Variable types: 0 continuous, 6233 integer (6233 binary) Root relaxation: objective 0.000000e+00, 476 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 (864 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:09:39 2012 Optimize a model with 12903 rows, 3542 columns and 40572 nonzeros Presolve time: 0.04s Presolved: 12903 rows, 3542 columns, 40572 nonzeros Variable types: 0 continuous, 3542 integer (3542 binary) Root relaxation: objective 0.000000e+00, 425 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 (795 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:09:40 2012 Optimize a model with 6555 rows, 2300 columns and 20286 nonzeros Presolve time: 0.02s Presolved: 6555 rows, 2300 columns, 20286 nonzeros Variable types: 0 continuous, 2300 integer (2300 binary) Root relaxation: objective 0.000000e+00, 432 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 (1751 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:09:40 2012 Optimize a model with 3381 rows, 1679 columns and 10143 nonzeros Presolve time: 0.01s Presolved: 3381 rows, 1679 columns, 10143 nonzeros Variable types: 0 continuous, 1679 integer (1679 binary) Root relaxation: objective 0.000000e+00, 462 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 412 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 0s 0 0 0.00000 0 586 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 44 Zero half: 721 Explored 0 nodes (9278 simplex iterations) in 1.67 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:09:42 2012 Optimize a model with 4439 rows, 1886 columns and 13524 nonzeros Presolve time: 0.01s Presolved: 4439 rows, 1886 columns, 13524 nonzeros Variable types: 0 continuous, 1886 integer (1886 binary) Root relaxation: objective 0.000000e+00, 462 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 398 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 429 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 379 - 0.00000 - - 2s 0 0 0.00000 0 378 - 0.00000 - - 3s 0 0 0.00000 0 366 - 0.00000 - - 3s 0 0 0.00000 0 368 - 0.00000 - - 4s 0 0 0.00000 0 366 - 0.00000 - - 4s 0 0 0.00000 0 368 - 0.00000 - - 5s 0 0 0.00000 0 366 - 0.00000 - - 5s 0 0 0.00000 0 368 - 0.00000 - - 6s 0 0 0.00000 0 368 - 0.00000 - - 6s 0 2 0.00000 0 368 - 0.00000 - - 7s 327 45 infeasible 22 - 0.00000 - 117 10s 704 71 0.00000 12 496 - 0.00000 - 129 15s 707 73 0.00000 22 370 - 0.00000 - 128 20s 709 74 0.00000 23 358 - 0.00000 - 128 25s 711 76 0.00000 23 353 - 0.00000 - 127 30s 713 77 0.00000 12 363 - 0.00000 - 127 35s 721 80 0.00000 16 471 - 0.00000 - 226 40s 942 34 infeasible 33 - 0.00000 - 236 45s 1195 50 infeasible 32 - 0.00000 - 236 50s 1447 54 0.00000 37 403 - 0.00000 - 237 55s 1651 48 infeasible 27 - 0.00000 - 244 60s 1842 51 infeasible 28 - 0.00000 - 249 65s 2039 50 infeasible 25 - 0.00000 - 252 70s 2229 36 0.00000 34 374 - 0.00000 - 256 75s 2427 46 infeasible 30 - 0.00000 - 256 80s 2640 55 0.00000 27 402 - 0.00000 - 257 85s 2815 46 infeasible 29 - 0.00000 - 261 90s 3004 55 0.00000 25 382 - 0.00000 - 263 95s 3224 61 0.00000 27 376 - 0.00000 - 264 100s 3433 54 infeasible 28 - 0.00000 - 266 105s 3623 46 infeasible 27 - 0.00000 - 268 110s 3801 52 infeasible 30 - 0.00000 - 270 115s 4010 65 infeasible 30 - 0.00000 - 269 120s 4203 84 infeasible 27 - 0.00000 - 270 125s 4435 86 infeasible 32 - 0.00000 - 269 130s 4608 89 infeasible 28 - 0.00000 - 270 135s 4789 78 infeasible 30 - 0.00000 - 271 140s 4978 73 infeasible 27 - 0.00000 - 272 145s 5167 70 infeasible 30 - 0.00000 - 273 150s 5337 74 0.00000 33 386 - 0.00000 - 274 155s 5517 106 0.00000 26 500 - 0.00000 - 275 160s 5685 96 infeasible 31 - 0.00000 - 276 165s 5886 119 infeasible 28 - 0.00000 - 276 170s 6092 107 0.00000 26 449 - 0.00000 - 276 175s 6282 113 infeasible 30 - 0.00000 - 277 180s 6475 104 infeasible 32 - 0.00000 - 277 185s 6662 101 infeasible 30 - 0.00000 - 278 190s 6879 120 infeasible 31 - 0.00000 - 278 195s 7088 103 infeasible 29 - 0.00000 - 278 200s 7305 102 infeasible 31 - 0.00000 - 278 205s 7489 114 infeasible 32 - 0.00000 - 278 210s 7669 98 infeasible 29 - 0.00000 - 279 215s 7869 114 infeasible 41 - 0.00000 - 279 220s 8060 103 infeasible 31 - 0.00000 - 279 225s 8226 97 0.00000 25 437 - 0.00000 - 280 230s 8405 108 infeasible 37 - 0.00000 - 280 235s 8596 107 infeasible 34 - 0.00000 - 281 240s 8783 112 0.00000 32 469 - 0.00000 - 281 245s 8996 119 0.00000 30 385 - 0.00000 - 281 250s 9175 114 infeasible 32 - 0.00000 - 281 255s 9358 107 infeasible 36 - 0.00000 - 282 260s 9536 107 0.00000 29 438 - 0.00000 - 282 265s 9703 96 infeasible 35 - 0.00000 - 283 270s 9876 97 infeasible 28 - 0.00000 - 283 275s 10045 94 0.00000 29 384 - 0.00000 - 284 280s 10213 92 infeasible 34 - 0.00000 - 284 285s 10385 106 infeasible 29 - 0.00000 - 284 290s Cutting planes: Zero half: 12 Explored 10467 nodes (3027526 simplex iterations) in 292.02 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:14:34 2012 Optimize a model with 5497 rows, 2093 columns and 16905 nonzeros Presolve time: 0.02s Presolved: 5497 rows, 2093 columns, 16905 nonzeros Variable types: 0 continuous, 2093 integer (2093 binary) Root relaxation: time limit, 289 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 - 0 - - - - 0s Explored 0 nodes (289 simplex iterations) in 0.02 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound -, gap - optimal solution found: number of colors: 6