current bounds on the number of colors: 0 -- 106 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:26:00 2012 Optimize a model with 16801 rows, 5933 columns and 55703 nonzeros Presolve removed 1 rows and 53 columns Presolve time: 0.12s Presolved: 16800 rows, 5880 columns, 55650 nonzeros Variable types: 0 continuous, 5880 integer (5880 binary) Root relaxation: objective 0.000000e+00, 302 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 (487 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 -- 53 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:26:00 2012 Optimize a model with 8296 rows, 3071 columns and 27326 nonzeros Presolve removed 1 rows and 26 columns Presolve time: 0.04s Presolved: 8295 rows, 3045 columns, 27300 nonzeros Variable types: 0 continuous, 3045 integer (3045 binary) Root relaxation: objective 0.000000e+00, 253 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 (448 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 -- 26 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:26:01 2012 Optimize a model with 4201 rows, 1693 columns and 13663 nonzeros Presolve removed 1 rows and 13 columns Presolve time: 0.01s Presolved: 4200 rows, 1680 columns, 13650 nonzeros Variable types: 0 continuous, 1680 integer (1680 binary) Root relaxation: objective 0.000000e+00, 217 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 (454 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 -- 13 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:26:01 2012 Optimize a model with 1996 rows, 951 columns and 6306 nonzeros Presolve removed 1 rows and 6 columns Presolve time: 0.01s Presolved: 1995 rows, 945 columns, 6300 nonzeros Variable types: 0 continuous, 945 integer (945 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 (417 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 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:26:01 2012 Optimize a model with 1051 rows, 633 columns and 3153 nonzeros Presolve removed 1 rows and 3 columns Presolve time: 0.00s Presolved: 1050 rows, 630 columns, 3150 nonzeros Variable types: 0 continuous, 630 integer (630 binary) Root relaxation: objective 0.000000e+00, 255 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 200 - 0.00000 - - 0s 0 0 0.00000 0 202 - 0.00000 - - 0s 0 0 0.00000 0 188 - 0.00000 - - 0s 0 0 0.00000 0 277 - 0.00000 - - 0s 0 0 0.00000 0 156 - 0.00000 - - 0s 0 0 0.00000 0 232 - 0.00000 - - 0s 0 0 0.00000 0 248 - 0.00000 - - 0s 0 0 0.00000 0 248 - 0.00000 - - 0s 0 2 0.00000 0 248 - 0.00000 - - 0s Cutting planes: Clique: 1 Zero half: 16 Explored 7 nodes (8261 simplex iterations) in 0.55 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 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:26:01 2012 Optimize a model with 1366 rows, 739 columns and 4204 nonzeros Presolve removed 1 rows and 4 columns Presolve time: 0.00s Presolved: 1365 rows, 735 columns, 4200 nonzeros Variable types: 0 continuous, 735 integer (735 binary) Root relaxation: objective 0.000000e+00, 265 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 48 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1548 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% optimal solution found: number of colors: 4