current bounds on the number of colors: 0 -- 199 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:48:57 2012 Optimize a model with 99694 rows, 20706 columns and 318186 nonzeros Presolve time: 0.33s Presolved: 99694 rows, 20706 columns, 318186 nonzeros Variable types: 0 continuous, 20706 integer (20706 binary) Root relaxation: objective 0.000000e+00, 773 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 (1235 simplex iterations) in 0.57 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 -- 99 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:48:58 2012 Optimize a model with 49444 rows, 10756 columns and 157486 nonzeros Presolve time: 0.17s Presolved: 49444 rows, 10756 columns, 157486 nonzeros Variable types: 0 continuous, 10756 integer (10756 binary) Root relaxation: objective 0.000000e+00, 542 iterations, 0.03 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 (937 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:48:59 2012 Optimize a model with 24319 rows, 5781 columns and 77136 nonzeros Presolve time: 0.10s Presolved: 24319 rows, 5781 columns, 77136 nonzeros Variable types: 0 continuous, 5781 integer (5781 binary) Root relaxation: objective 0.000000e+00, 422 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 (800 simplex iterations) in 0.15 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:49:00 2012 Optimize a model with 12259 rows, 3393 columns and 38568 nonzeros Presolve time: 0.04s Presolved: 12259 rows, 3393 columns, 38568 nonzeros Variable types: 0 continuous, 3393 integer (3393 binary) Root relaxation: objective 0.000000e+00, 415 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 (767 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 08:49:00 2012 Optimize a model with 6229 rows, 2199 columns and 19284 nonzeros Presolve time: 0.02s Presolved: 6229 rows, 2199 columns, 19284 nonzeros Variable types: 0 continuous, 2199 integer (2199 binary) Root relaxation: objective 0.000000e+00, 426 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 (1882 simplex iterations) in 0.10 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 08:49:00 2012 Optimize a model with 3214 rows, 1602 columns and 9642 nonzeros Presolve time: 0.01s Presolved: 3214 rows, 1602 columns, 9642 nonzeros Variable types: 0 continuous, 1602 integer (1602 binary) Root relaxation: objective 0.000000e+00, 504 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 394 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 0s 0 0 0.00000 0 548 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 36 Zero half: 1210 Explored 0 nodes (9018 simplex iterations) in 1.51 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 08:49:02 2012 Optimize a model with 4219 rows, 1801 columns and 12856 nonzeros Presolve time: 0.01s Presolved: 4219 rows, 1801 columns, 12856 nonzeros Variable types: 0 continuous, 1801 integer (1801 binary) Root relaxation: objective 0.000000e+00, 455 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 386 - 0.00000 - - 0s 0 0 0.00000 0 363 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 0s 0 0 0.00000 0 460 - 0.00000 - - 1s 0 0 0.00000 0 372 - 0.00000 - - 1s 0 0 0.00000 0 368 - 0.00000 - - 2s 0 0 0.00000 0 370 - 0.00000 - - 2s 0 0 0.00000 0 378 - 0.00000 - - 3s 0 0 0.00000 0 344 - 0.00000 - - 4s 0 0 0.00000 0 348 - 0.00000 - - 4s 0 0 0.00000 0 346 - 0.00000 - - 4s 0 2 0.00000 0 346 - 0.00000 - - 5s 418 46 0.00000 19 326 - 0.00000 - 158 10s 605 62 0.00000 14 370 - 0.00000 - 155 16s 608 64 0.00000 6 334 - 0.00000 - 154 21s 610 65 0.00000 17 332 - 0.00000 - 154 25s 613 67 0.00000 7 320 - 0.00000 - 153 30s 616 69 0.00000 6 302 - 0.00000 - 152 36s 658 87 0.00000 20 356 - 0.00000 - 275 40s 867 52 0.00000 20 368 - 0.00000 - 276 45s 1071 38 0.00000 23 404 - 0.00000 - 278 50s 1299 34 infeasible 22 - 0.00000 - 277 55s 1462 35 0.00000 21 358 - 0.00000 - 282 60s 1683 44 infeasible 25 - 0.00000 - 280 65s 1830 45 0.00000 23 455 - 0.00000 - 286 70s 1994 41 0.00000 23 425 - 0.00000 - 288 75s 2147 20 infeasible 24 - 0.00000 - 292 80s 2313 28 0.00000 26 352 - 0.00000 - 294 85s 2482 27 infeasible 24 - 0.00000 - 296 90s 2650 13 infeasible 24 - 0.00000 - 297 95s 2803 10 infeasible 28 - 0.00000 - 300 100s Cutting planes: Gomory: 1 Clique: 1 Zero half: 23 Explored 2852 nodes (897616 simplex iterations) in 102.03 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 08:50:44 2012 Optimize a model with 5224 rows, 2000 columns and 16070 nonzeros Presolve time: 0.01s Presolved: 5224 rows, 2000 columns, 16070 nonzeros Variable types: 0 continuous, 2000 integer (2000 binary) Root relaxation: objective 0.000000e+00, 423 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 228 - 0.00000 - - 0s 0 0 0.00000 0 234 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 0s 0 0 0.00000 0 466 - 0.00000 - - 1s H 0 0 0.0000000 0.00000 0.0% - 1s Cutting planes: Zero half: 1 Explored 0 nodes (12376 simplex iterations) in 1.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% optimal solution found: number of colors: 5