current bounds on the number of colors: 0 -- 105 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:25:47 2012 Optimize a model with 14353 rows, 5734 columns and 48204 nonzeros Presolve removed 1 rows and 52 columns Presolve time: 0.10s Presolved: 14352 rows, 5682 columns, 48152 nonzeros Variable types: 0 continuous, 5682 integer (5682 binary) Root relaxation: objective 0.000000e+00, 290 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 (290 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 -- 52 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:25:47 2012 Optimize a model with 7229 rows, 3004 columns and 24102 nonzeros Presolve removed 1 rows and 26 columns Presolve time: 0.03s Presolved: 7228 rows, 2978 columns, 24076 nonzeros Variable types: 0 continuous, 2978 integer (2978 binary) Root relaxation: objective 0.000000e+00, 276 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 (460 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:25:47 2012 Optimize a model with 3667 rows, 1639 columns and 12051 nonzeros Presolve removed 1 rows and 13 columns Presolve time: 0.01s Presolved: 3666 rows, 1626 columns, 12038 nonzeros Variable types: 0 continuous, 1626 integer (1626 binary) Root relaxation: objective 0.000000e+00, 221 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 (381 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 -- 13 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:25:47 2012 Optimize a model with 1749 rows, 904 columns and 5562 nonzeros Presolve removed 1 rows and 6 columns Presolve time: 0.01s Presolved: 1748 rows, 898 columns, 5556 nonzeros Variable types: 0 continuous, 898 integer (898 binary) Root relaxation: objective 0.000000e+00, 227 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 (397 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:25:47 2012 Optimize a model with 927 rows, 589 columns and 2781 nonzeros Presolve removed 1 rows and 3 columns Presolve time: 0.00s Presolved: 926 rows, 586 columns, 2778 nonzeros Variable types: 0 continuous, 586 integer (586 binary) Root relaxation: objective 0.000000e+00, 261 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 190 - 0.00000 - - 0s 0 0 0.00000 0 198 - 0.00000 - - 0s 0 0 0.00000 0 186 - 0.00000 - - 0s 0 0 0.00000 0 235 - 0.00000 - - 0s 0 0 0.00000 0 225 - 0.00000 - - 0s 0 0 0.00000 0 236 - 0.00000 - - 0s 0 0 0.00000 0 238 - 0.00000 - - 0s 0 0 0.00000 0 238 - 0.00000 - - 0s 0 2 0.00000 0 238 - 0.00000 - - 0s Cutting planes: Zero half: 19 Explored 31 nodes (7705 simplex iterations) in 0.45 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:25:48 2012 Optimize a model with 1201 rows, 694 columns and 3708 nonzeros Presolve removed 1 rows and 4 columns Presolve time: 0.00s Presolved: 1200 rows, 690 columns, 3704 nonzeros Variable types: 0 continuous, 690 integer (690 binary) Root relaxation: objective 0.000000e+00, 240 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 (647 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