current bounds on the number of colors: 0 -- 85 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:09 2012 Optimize a model with 8569 rows, 3772 columns and 29022 nonzeros Presolve removed 1 rows and 42 columns Presolve time: 0.05s Presolved: 8568 rows, 3730 columns, 28980 nonzeros Variable types: 0 continuous, 3730 integer (3730 binary) Root relaxation: objective 0.000000e+00, 188 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 (188 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 -- 42 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:09 2012 Optimize a model with 4327 rows, 1987 columns and 14511 nonzeros Presolve removed 1 rows and 21 columns Presolve time: 0.02s Presolved: 4326 rows, 1966 columns, 14490 nonzeros Variable types: 0 continuous, 1966 integer (1966 binary) Root relaxation: objective 0.000000e+00, 198 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 (328 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:09 2012 Optimize a model with 2105 rows, 1052 columns and 6910 nonzeros Presolve removed 1 rows and 10 columns Presolve time: 0.01s Presolved: 2104 rows, 1042 columns, 6900 nonzeros Variable types: 0 continuous, 1042 integer (1042 binary) Root relaxation: objective 0.000000e+00, 178 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 (295 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:09 2012 Optimize a model with 1095 rows, 627 columns and 3455 nonzeros Presolve removed 1 rows and 5 columns Presolve time: 0.00s Presolved: 1094 rows, 622 columns, 3450 nonzeros Variable types: 0 continuous, 622 integer (622 binary) Root relaxation: objective 0.000000e+00, 191 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 (396 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:09 2012 Optimize a model with 489 rows, 372 columns and 1382 nonzeros Presolve removed 85 rows and 86 columns Presolve time: 0.01s Presolved: 404 rows, 286 columns, 1212 nonzeros Variable types: 0 continuous, 286 integer (286 binary) Root relaxation: objective 0.000000e+00, 89 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 84 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (308 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:09 2012 Optimize a model with 691 rows, 457 columns and 2073 nonzeros Presolve removed 1 rows and 3 columns Presolve time: 0.00s Presolved: 690 rows, 454 columns, 2070 nonzeros Variable types: 0 continuous, 454 integer (454 binary) Root relaxation: objective 0.000000e+00, 197 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 146 - 0.00000 - - 0s 0 0 0.00000 0 146 - 0.00000 - - 0s 0 0 0.00000 0 134 - 0.00000 - - 0s 0 0 0.00000 0 162 - 0.00000 - - 0s 0 0 0.00000 0 106 - 0.00000 - - 0s 0 0 0.00000 0 110 - 0.00000 - - 0s 0 0 0.00000 0 133 - 0.00000 - - 0s 0 0 0.00000 0 148 - 0.00000 - - 0s 0 0 0.00000 0 137 - 0.00000 - - 0s 0 0 0.00000 0 141 - 0.00000 - - 0s 0 0 0.00000 0 141 - 0.00000 - - 0s 0 2 0.00000 0 141 - 0.00000 - - 0s Cutting planes: Zero half: 14 Explored 18 nodes (6539 simplex iterations) in 0.30 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:10 2012 Optimize a model with 893 rows, 542 columns and 2764 nonzeros Presolve removed 1 rows and 4 columns Presolve time: 0.00s Presolved: 892 rows, 538 columns, 2760 nonzeros Variable types: 0 continuous, 538 integer (538 binary) Root relaxation: objective 0.000000e+00, 188 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 (325 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% optimal solution found: number of colors: 4