current bounds on the number of colors: 0 -- 140 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:39:52 2012 Optimize a model with 34160 rows, 10286 columns and 111860 nonzeros Presolve removed 1 rows and 70 columns Presolve time: 0.14s Presolved: 34159 rows, 10216 columns, 111790 nonzeros Variable types: 0 continuous, 10216 integer (10216 binary) Root relaxation: objective 0.000000e+00, 483 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 (766 simplex iterations) in 0.22 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 -- 70 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:39:52 2012 Optimize a model with 17150 rows, 5386 columns and 55930 nonzeros Presolve removed 1 rows and 35 columns Presolve time: 0.09s Presolved: 17149 rows, 5351 columns, 55895 nonzeros Variable types: 0 continuous, 5351 integer (5351 binary) Root relaxation: objective 0.000000e+00, 343 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 (605 simplex iterations) in 0.12 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:39:53 2012 Optimize a model with 8402 rows, 2866 columns and 27166 nonzeros Presolve removed 1 rows and 17 columns Presolve time: 0.03s Presolved: 8401 rows, 2849 columns, 27149 nonzeros Variable types: 0 continuous, 2849 integer (2849 binary) Root relaxation: objective 0.000000e+00, 300 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 (554 simplex iterations) in 0.05 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:39:53 2012 Optimize a model with 4028 rows, 1606 columns and 12784 nonzeros Presolve removed 1 rows and 8 columns Presolve time: 0.01s Presolved: 4027 rows, 1598 columns, 12776 nonzeros Variable types: 0 continuous, 1598 integer (1598 binary) Root relaxation: objective 0.000000e+00, 298 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 (520 simplex iterations) in 0.02 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:39:53 2012 Optimize a model with 2084 rows, 1046 columns and 6392 nonzeros Presolve removed 1 rows and 4 columns Presolve time: 0.01s Presolved: 2083 rows, 1042 columns, 6388 nonzeros Variable types: 0 continuous, 1042 integer (1042 binary) Root relaxation: objective 0.000000e+00, 331 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 160 - 0.00000 - - 0s 0 0 0.00000 0 169 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (5039 simplex iterations) in 0.34 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 -- 4 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:39:53 2012 Optimize a model with 1112 rows, 766 columns and 3196 nonzeros Presolve removed 140 rows and 141 columns Presolve time: 0.00s Presolved: 972 rows, 625 columns, 2916 nonzeros Variable types: 0 continuous, 625 integer (625 binary) Root relaxation: objective 0.000000e+00, 149 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 139 - 0.00000 - - 0s Explored 0 nodes (573 simplex iterations) in 0.01 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: 2 -- 4 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:39:53 2012 Optimize a model with 1598 rows, 906 columns and 4794 nonzeros Presolve removed 1 rows and 3 columns Presolve time: 0.00s Presolved: 1597 rows, 903 columns, 4791 nonzeros Variable types: 0 continuous, 903 integer (903 binary) Root relaxation: objective 0.000000e+00, 338 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 272 - 0.00000 - - 0s 0 0 0.00000 0 266 - 0.00000 - - 0s 0 0 0.00000 0 306 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 0s 0 0 0.00000 0 335 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 0s 0 0 0.00000 0 355 - 0.00000 - - 1s 0 0 0.00000 0 367 - 0.00000 - - 1s 0 0 0.00000 0 364 - 0.00000 - - 1s 0 0 0.00000 0 364 - 0.00000 - - 1s 0 0 0.00000 0 364 - 0.00000 - - 1s 0 2 0.00000 0 328 - 0.00000 - - 2s Cutting planes: Clique: 1 Zero half: 24 Explored 3 nodes (17799 simplex iterations) in 2.01 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 4