current bounds on the number of colors: 0 -- 155 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:41 2012 Optimize a model with 9934 rows, 12062 columns and 41272 nonzeros Presolve removed 29 rows and 2233 columns Presolve time: 0.11s Presolved: 9905 rows, 9829 columns, 39039 nonzeros Variable types: 0 continuous, 9829 integer (9829 binary) Root relaxation: objective 0.000000e+00, 220 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 (220 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 -- 77 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:41 2012 Optimize a model with 4981 rows, 6017 columns and 20368 nonzeros Presolve removed 29 rows and 1102 columns Presolve time: 0.04s Presolved: 4952 rows, 4915 columns, 19266 nonzeros Variable types: 0 continuous, 4915 integer (4915 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 (221 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 -- 38 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:41 2012 Optimize a model with 2568 rows, 3072 columns and 10184 nonzeros Presolve removed 29 rows and 551 columns Presolve time: 0.01s Presolved: 2539 rows, 2521 columns, 9633 nonzeros Variable types: 0 continuous, 2521 integer (2521 binary) Root relaxation: objective 0.000000e+00, 222 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 (222 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 -- 19 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:41 2012 Optimize a model with 1298 rows, 1522 columns and 4824 nonzeros Presolve removed 29 rows and 261 columns Presolve time: 0.01s Presolved: 1269 rows, 1261 columns, 4563 nonzeros Variable types: 0 continuous, 1261 integer (1261 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 (221 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 -- 9 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:41 2012 Optimize a model with 663 rows, 747 columns and 2144 nonzeros Presolve removed 29 rows and 116 columns Presolve time: 0.00s Presolved: 634 rows, 631 columns, 2028 nonzeros Variable types: 0 continuous, 631 integer (631 binary) Root relaxation: objective 0.000000e+00, 189 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 (189 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 -- 4 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:41 2012 Optimize a model with 409 rows, 437 columns and 1072 nonzeros Presolve removed 165 rows and 199 columns Presolve time: 0.00s Presolved: 244 rows, 238 columns, 732 nonzeros Variable types: 0 continuous, 238 integer (238 binary) Root relaxation: objective 0.000000e+00, 125 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 100 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (385 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 - current bounds on the number of colors: 2 -- 4 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:41 2012 Optimize a model with 536 rows, 592 columns and 1608 nonzeros Presolve removed 29 rows and 87 columns Presolve time: 0.00s Presolved: 507 rows, 505 columns, 1521 nonzeros Variable types: 0 continuous, 505 integer (505 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (197 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% optimal solution found: number of colors: 3