current bounds on the number of colors: 0 -- 148 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:45:29 2012 Optimize a model with 43956 rows, 11544 columns and 142376 nonzeros Presolve time: 0.15s Presolved: 43956 rows, 11544 columns, 142376 nonzeros Variable types: 0 continuous, 11544 integer (11544 binary) Root relaxation: objective 0.000000e+00, 527 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 (811 simplex iterations) in 0.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% current bounds on the number of colors: 0 -- 74 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:45:30 2012 Optimize a model with 22052 rows, 6068 columns and 71188 nonzeros Presolve time: 0.11s Presolved: 22052 rows, 6068 columns, 71188 nonzeros Variable types: 0 continuous, 6068 integer (6068 binary) Root relaxation: objective 0.000000e+00, 366 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 (617 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 -- 37 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:45:30 2012 Optimize a model with 10804 rows, 3256 columns and 34632 nonzeros Presolve time: 0.04s Presolved: 10804 rows, 3256 columns, 34632 nonzeros Variable types: 0 continuous, 3256 integer (3256 binary) Root relaxation: objective 0.000000e+00, 298 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 (548 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:45:30 2012 Optimize a model with 5476 rows, 1924 columns and 17316 nonzeros Presolve time: 0.02s Presolved: 5476 rows, 1924 columns, 17316 nonzeros Variable types: 0 continuous, 1924 integer (1924 binary) Root relaxation: objective 0.000000e+00, 311 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 (551 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:45:30 2012 Optimize a model with 2516 rows, 1184 columns and 7696 nonzeros Presolve time: 0.01s Presolved: 2516 rows, 1184 columns, 7696 nonzeros Variable types: 0 continuous, 1184 integer (1184 binary) Root relaxation: objective 0.000000e+00, 337 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 280 - 0.00000 - - 0s 0 0 0.00000 0 268 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 0s 0 0 0.00000 0 293 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 0s 0 0 0.00000 0 292 - 0.00000 - - 0s 0 0 0.00000 0 303 - 0.00000 - - 1s 0 0 0.00000 0 303 - 0.00000 - - 1s 0 2 0.00000 0 303 - 0.00000 - - 1s * 33 1 14 0.0000000 0.00000 0.0% 119 1s Cutting planes: Clique: 3 Zero half: 15 Explored 34 nodes (18998 simplex iterations) in 1.68 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:45:32 2012 Optimize a model with 1332 rows, 888 columns and 3848 nonzeros Presolve removed 148 rows and 148 columns Presolve time: 0.00s Presolved: 1184 rows, 740 columns, 3552 nonzeros Variable types: 0 continuous, 740 integer (740 binary) Root relaxation: objective 0.000000e+00, 155 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 148 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (636 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:45:32 2012 Optimize a model with 1924 rows, 1036 columns and 5772 nonzeros Presolve time: 0.00s Presolved: 1924 rows, 1036 columns, 5772 nonzeros Variable types: 0 continuous, 1036 integer (1036 binary) Root relaxation: objective 0.000000e+00, 347 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 292 - 0.00000 - - 0s 0 0 0.00000 0 292 - 0.00000 - - 0s 0 0 0.00000 0 409 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 11 Zero half: 374 Explored 0 nodes (5229 simplex iterations) in 0.55 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - optimal solution found: number of colors: 4