current bounds on the number of colors: 0 -- 201 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:43:20 2012 Optimize a model with 100601 rows, 21104 columns and 321300 nonzeros Presolve time: 0.33s Presolved: 100601 rows, 21104 columns, 321300 nonzeros Variable types: 0 continuous, 21104 integer (21104 binary) Root relaxation: objective 0.000000e+00, 865 iterations, 0.10 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 (1322 simplex iterations) in 0.59 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 -- 100 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:43:21 2012 Optimize a model with 50401 rows, 11054 columns and 160650 nonzeros Presolve time: 0.17s Presolved: 50401 rows, 11054 columns, 160650 nonzeros Variable types: 0 continuous, 11054 integer (11054 binary) Root relaxation: objective 0.000000e+00, 732 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 (1159 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:43:22 2012 Optimize a model with 25301 rows, 6029 columns and 80325 nonzeros Presolve time: 0.10s Presolved: 25301 rows, 6029 columns, 80325 nonzeros Variable types: 0 continuous, 6029 integer (6029 binary) Root relaxation: objective 0.000000e+00, 506 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 (914 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 09:43:23 2012 Optimize a model with 12249 rows, 3416 columns and 38556 nonzeros Presolve time: 0.04s Presolved: 12249 rows, 3416 columns, 38556 nonzeros Variable types: 0 continuous, 3416 integer (3416 binary) Root relaxation: objective 0.000000e+00, 421 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 (786 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 09:43:23 2012 Optimize a model with 6225 rows, 2210 columns and 19278 nonzeros Presolve time: 0.02s Presolved: 6225 rows, 2210 columns, 19278 nonzeros Variable types: 0 continuous, 2210 integer (2210 binary) Root relaxation: objective 0.000000e+00, 418 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 (1520 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:43:23 2012 Optimize a model with 3213 rows, 1607 columns and 9639 nonzeros Presolve time: 0.01s Presolved: 3213 rows, 1607 columns, 9639 nonzeros Variable types: 0 continuous, 1607 integer (1607 binary) Root relaxation: objective 0.000000e+00, 469 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 400 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5748 simplex iterations) in 0.82 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 09:43:24 2012 Optimize a model with 4217 rows, 1808 columns and 12852 nonzeros Presolve time: 0.01s Presolved: 4217 rows, 1808 columns, 12852 nonzeros Variable types: 0 continuous, 1808 integer (1808 binary) Root relaxation: objective 0.000000e+00, 452 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 382 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 1s 0 0 0.00000 0 383 - 0.00000 - - 1s 0 0 0.00000 0 362 - 0.00000 - - 2s 0 0 0.00000 0 368 - 0.00000 - - 2s 0 0 0.00000 0 357 - 0.00000 - - 3s 0 0 0.00000 0 360 - 0.00000 - - 3s 0 0 0.00000 0 350 - 0.00000 - - 4s 0 0 0.00000 0 356 - 0.00000 - - 4s 0 0 0.00000 0 356 - 0.00000 - - 5s 0 0 0.00000 0 356 - 0.00000 - - 5s 0 2 0.00000 0 356 - 0.00000 - - 6s 415 111 0.00000 17 352 - 0.00000 - 126 10s 605 133 0.00000 10 367 - 0.00000 - 130 15s 608 135 0.00000 19 346 - 0.00000 - 130 20s 611 137 0.00000 13 326 - 0.00000 - 129 27s 613 138 0.00000 10 312 - 0.00000 - 129 30s 617 141 0.00000 9 305 - 0.00000 - 128 35s 801 121 0.00000 31 400 - 0.00000 - 248 40s 974 65 infeasible 29 - 0.00000 - 260 45s 1170 51 0.00000 33 366 - 0.00000 - 264 50s 1381 44 infeasible 28 - 0.00000 - 265 55s 1640 63 infeasible 30 - 0.00000 - 260 60s 1883 74 infeasible 30 - 0.00000 - 258 65s 2084 65 infeasible 30 - 0.00000 - 260 70s 2297 72 infeasible 25 - 0.00000 - 261 75s 2491 78 0.00000 28 358 - 0.00000 - 263 80s 2689 72 0.00000 28 436 - 0.00000 - 266 85s 2896 79 infeasible 24 - 0.00000 - 266 90s 3154 109 0.00000 27 393 - 0.00000 - 264 95s 3387 106 infeasible 30 - 0.00000 - 263 100s 3616 101 infeasible 33 - 0.00000 - 263 105s 3887 98 0.00000 27 398 - 0.00000 - 261 110s 4102 87 0.00000 32 464 - 0.00000 - 261 115s 4280 91 0.00000 28 391 - 0.00000 - 263 120s 4461 82 infeasible 28 - 0.00000 - 265 125s 4659 86 infeasible 30 - 0.00000 - 266 130s 4855 100 infeasible 30 - 0.00000 - 267 135s 5034 91 0.00000 26 397 - 0.00000 - 268 140s 5206 83 infeasible 33 - 0.00000 - 270 145s 5411 96 infeasible 28 - 0.00000 - 270 150s 5620 87 infeasible 26 - 0.00000 - 270 155s 5815 86 infeasible 35 - 0.00000 - 271 160s 6017 82 0.00000 28 368 - 0.00000 - 271 165s 6190 67 0.00000 31 384 - 0.00000 - 273 170s 6364 65 0.00000 25 407 - 0.00000 - 274 175s 6552 59 infeasible 28 - 0.00000 - 275 180s 6727 56 infeasible 28 - 0.00000 - 275 185s 6960 57 0.00000 32 364 - 0.00000 - 275 190s 7162 47 infeasible 27 - 0.00000 - 275 195s 7319 42 infeasible 29 - 0.00000 - 277 200s 7504 35 infeasible 27 - 0.00000 - 277 205s 7680 25 0.00000 26 461 - 0.00000 - 278 210s 7861 18 infeasible 27 - 0.00000 - 279 215s 8038 9 infeasible 30 - 0.00000 - 279 220s 8245 2 infeasible 26 - 0.00000 - 279 225s Cutting planes: Zero half: 16 Explored 8248 nodes (2344607 simplex iterations) in 225.18 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:47:09 2012 Optimize a model with 5221 rows, 2009 columns and 16065 nonzeros Presolve time: 0.01s Presolved: 5221 rows, 2009 columns, 16065 nonzeros Variable types: 0 continuous, 2009 integer (2009 binary) Root relaxation: objective 0.000000e+00, 424 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 212 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4188 simplex iterations) in 0.35 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% optimal solution found: number of colors: 5