current bounds on the number of colors: 0 -- 124 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:16:56 2012 Optimize a model with 5952 rows, 7782 columns and 25172 nonzeros Presolve removed 28 rows and 1736 columns Presolve time: 0.07s Presolved: 5924 rows, 6046 columns, 23436 nonzeros Variable types: 0 continuous, 6046 integer (6046 binary) Root relaxation: objective 0.000000e+00, 167 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 (167 simplex iterations) in 0.08 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 -- 62 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:16:57 2012 Optimize a model with 3038 rows, 3938 columns and 12586 nonzeros Presolve removed 28 rows and 868 columns Presolve time: 0.02s Presolved: 3010 rows, 3070 columns, 11718 nonzeros Variable types: 0 continuous, 3070 integer (3070 binary) Root relaxation: objective 0.000000e+00, 167 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 (167 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 -- 31 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:16:57 2012 Optimize a model with 1534 rows, 1954 columns and 6090 nonzeros Presolve removed 28 rows and 420 columns Presolve time: 0.01s Presolved: 1506 rows, 1534 columns, 5670 nonzeros Variable types: 0 continuous, 1534 integer (1534 binary) Root relaxation: objective 0.000000e+00, 174 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 (174 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 -- 15 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:16:57 2012 Optimize a model with 782 rows, 962 columns and 2842 nonzeros Presolve removed 28 rows and 196 columns Presolve time: 0.00s Presolved: 754 rows, 766 columns, 2646 nonzeros Variable types: 0 continuous, 766 integer (766 binary) Root relaxation: objective 0.000000e+00, 163 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 (163 simplex iterations) in 0.00 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 Sat Dec 15 16:16:57 2012 Optimize a model with 406 rows, 466 columns and 1218 nonzeros Presolve removed 28 rows and 84 columns Presolve time: 0.00s Presolved: 378 rows, 382 columns, 1134 nonzeros Variable types: 0 continuous, 382 integer (382 binary) Root relaxation: objective 0.000000e+00, 154 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 (154 simplex iterations) in 0.00 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 -- 3 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:16:57 2012 Optimize a model with 218 rows, 218 columns and 406 nonzeros Presolve removed 218 rows and 218 columns Presolve time: 0.00s Explored 0 nodes (0 simplex iterations) in 0.00 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: 1 -- 3 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:16:57 2012 Optimize a model with 312 rows, 342 columns and 812 nonzeros Presolve removed 134 rows and 167 columns Presolve time: 0.00s Presolved: 178 rows, 175 columns, 534 nonzeros Variable types: 0 continuous, 175 integer (175 binary) Root relaxation: objective 0.000000e+00, 96 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 80 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (313 simplex iterations) in 0.00 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: 3