current bounds on the number of colors: 0 -- 115 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:28:43 2012 Optimize a model with 18583 rows, 6879 columns and 61959 nonzeros Presolve removed 1 rows and 57 columns Presolve time: 0.12s Presolved: 18582 rows, 6822 columns, 61902 nonzeros Variable types: 0 continuous, 6822 integer (6822 binary) Root relaxation: objective 0.000000e+00, 339 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 (542 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 -- 57 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:28:43 2012 Optimize a model with 9187 rows, 3544 columns and 30436 nonzeros Presolve removed 1 rows and 28 columns Presolve time: 0.04s Presolved: 9186 rows, 3516 columns, 30408 nonzeros Variable types: 0 continuous, 3516 integer (3516 binary) Root relaxation: objective 0.000000e+00, 274 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 (460 simplex iterations) in 0.06 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 -- 28 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:28:43 2012 Optimize a model with 4651 rows, 1934 columns and 15218 nonzeros Presolve removed 1 rows and 14 columns Presolve time: 0.02s Presolved: 4650 rows, 1920 columns, 15204 nonzeros Variable types: 0 continuous, 1920 integer (1920 binary) Root relaxation: objective 0.000000e+00, 233 iterations, 0.00 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 (417 simplex iterations) in 0.03 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 -- 14 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:28:43 2012 Optimize a model with 2383 rows, 1129 columns and 7609 nonzeros Presolve removed 1 rows and 7 columns Presolve time: 0.01s Presolved: 2382 rows, 1122 columns, 7602 nonzeros Variable types: 0 continuous, 1122 integer (1122 binary) Root relaxation: objective 0.000000e+00, 245 iterations, 0.00 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 (410 simplex iterations) in 0.01 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 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:28:43 2012 Optimize a model with 1087 rows, 669 columns and 3261 nonzeros Presolve removed 1 rows and 3 columns Presolve time: 0.00s Presolved: 1086 rows, 666 columns, 3258 nonzeros Variable types: 0 continuous, 666 integer (666 binary) Root relaxation: objective 0.000000e+00, 258 iterations, 0.00 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 0 0 0.00000 0 216 - 0.00000 - - 0s 0 0 0.00000 0 179 - 0.00000 - - 0s 0 0 0.00000 0 246 - 0.00000 - - 0s 0 0 0.00000 0 238 - 0.00000 - - 0s 0 0 0.00000 0 238 - 0.00000 - - 0s 0 0 0.00000 0 234 - 0.00000 - - 0s 0 0 0.00000 0 256 - 0.00000 - - 0s 0 0 0.00000 0 155 - 0.00000 - - 0s 0 2 0.00000 0 154 - 0.00000 - - 0s Cutting planes: Zero half: 16 Explored 13 nodes (9633 simplex iterations) in 0.64 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: 3 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:28:44 2012 Optimize a model with 1735 rows, 899 columns and 5435 nonzeros Presolve removed 1 rows and 5 columns Presolve time: 0.00s Presolved: 1734 rows, 894 columns, 5430 nonzeros Variable types: 0 continuous, 894 integer (894 binary) Root relaxation: objective 0.000000e+00, 246 iterations, 0.00 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 (461 simplex iterations) in 0.01 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:28:44 2012 Optimize a model with 1411 rows, 784 columns and 4348 nonzeros Presolve removed 1 rows and 4 columns Presolve time: 0.00s Presolved: 1410 rows, 780 columns, 4344 nonzeros Variable types: 0 continuous, 780 integer (780 binary) Root relaxation: objective 0.000000e+00, 261 iterations, 0.00 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 (1109 simplex iterations) in 0.03 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: 4