current bounds on the number of colors: 0 -- 195 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:56:40 2012 Optimize a model with 95740 rows, 19900 columns and 305550 nonzeros Presolve time: 0.31s Presolved: 95740 rows, 19900 columns, 305550 nonzeros Variable types: 0 continuous, 19900 integer (19900 binary) Root relaxation: objective 0.000000e+00, 770 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 (1244 simplex iterations) in 0.54 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 -- 97 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:56:42 2012 Optimize a model with 47475 rows, 10345 columns and 151200 nonzeros Presolve time: 0.16s Presolved: 47475 rows, 10345 columns, 151200 nonzeros Variable types: 0 continuous, 10345 integer (10345 binary) Root relaxation: objective 0.000000e+00, 731 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 (1234 simplex iterations) in 0.29 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:56:43 2012 Optimize a model with 23835 rows, 5665 columns and 75600 nonzeros Presolve time: 0.10s Presolved: 23835 rows, 5665 columns, 75600 nonzeros Variable types: 0 continuous, 5665 integer (5665 binary) Root relaxation: objective 0.000000e+00, 489 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 (888 simplex iterations) in 0.14 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 06:56:43 2012 Optimize a model with 12015 rows, 3325 columns and 37800 nonzeros Presolve time: 0.04s Presolved: 12015 rows, 3325 columns, 37800 nonzeros Variable types: 0 continuous, 3325 integer (3325 binary) Root relaxation: objective 0.000000e+00, 417 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 (818 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 06:56:44 2012 Optimize a model with 6105 rows, 2155 columns and 18900 nonzeros Presolve time: 0.02s Presolved: 6105 rows, 2155 columns, 18900 nonzeros Variable types: 0 continuous, 2155 integer (2155 binary) Root relaxation: objective 0.000000e+00, 428 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 (1524 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 06:56:44 2012 Optimize a model with 3150 rows, 1570 columns and 9450 nonzeros Presolve time: 0.01s Presolved: 3150 rows, 1570 columns, 9450 nonzeros Variable types: 0 continuous, 1570 integer (1570 binary) Root relaxation: objective 0.000000e+00, 457 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 314 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6013 simplex iterations) in 0.75 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 06:56:45 2012 Optimize a model with 4135 rows, 1765 columns and 12600 nonzeros Presolve time: 0.01s Presolved: 4135 rows, 1765 columns, 12600 nonzeros Variable types: 0 continuous, 1765 integer (1765 binary) Root relaxation: objective 0.000000e+00, 430 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 380 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 0.00000 0 403 - 0.00000 - - 1s 0 0 0.00000 0 370 - 0.00000 - - 1s 0 0 0.00000 0 364 - 0.00000 - - 2s 0 0 0.00000 0 358 - 0.00000 - - 2s 0 0 0.00000 0 358 - 0.00000 - - 3s 0 0 0.00000 0 380 - 0.00000 - - 3s 0 0 0.00000 0 356 - 0.00000 - - 4s 0 0 0.00000 0 356 - 0.00000 - - 4s 0 0 0.00000 0 352 - 0.00000 - - 5s 0 0 0.00000 0 348 - 0.00000 - - 6s 0 0 0.00000 0 352 - 0.00000 - - 6s 0 0 0.00000 0 352 - 0.00000 - - 6s 0 2 0.00000 0 352 - 0.00000 - - 7s 298 28 infeasible 19 - 0.00000 - 126 10s 607 57 0.00000 17 352 - 0.00000 - 120 16s 610 59 0.00000 12 324 - 0.00000 - 119 21s 613 61 0.00000 9 328 - 0.00000 - 119 26s 615 62 0.00000 5 318 - 0.00000 - 118 30s 618 64 0.00000 9 305 - 0.00000 - 118 36s 642 78 0.00000 23 362 - 0.00000 - 237 40s 876 71 infeasible 22 - 0.00000 - 242 45s 1090 65 infeasible 26 - 0.00000 - 253 50s 1351 48 0.00000 22 361 - 0.00000 - 255 55s 1558 53 infeasible 25 - 0.00000 - 260 60s 1782 49 infeasible 25 - 0.00000 - 261 65s 1983 46 0.00000 21 439 - 0.00000 - 264 70s 2157 34 infeasible 23 - 0.00000 - 269 75s 2360 37 infeasible 28 - 0.00000 - 271 80s 2559 28 infeasible 28 - 0.00000 - 273 85s 2739 14 0.00000 21 439 - 0.00000 - 275 90s 2966 17 0.00000 23 451 - 0.00000 - 275 95s 3182 35 infeasible 33 - 0.00000 - 274 100s 3412 25 infeasible 28 - 0.00000 - 275 105s 3615 20 infeasible 26 - 0.00000 - 275 110s 3852 17 0.00000 23 352 - 0.00000 - 276 115s 4051 6 infeasible 24 - 0.00000 - 277 120s Cutting planes: Zero half: 15 Explored 4128 nodes (1200244 simplex iterations) in 122.33 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 06:58:47 2012 Optimize a model with 5120 rows, 1960 columns and 15750 nonzeros Presolve time: 0.01s Presolved: 5120 rows, 1960 columns, 15750 nonzeros Variable types: 0 continuous, 1960 integer (1960 binary) Root relaxation: objective 0.000000e+00, 416 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 178 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4431 simplex iterations) in 0.36 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