current bounds on the number of colors: 0 -- 157 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:21:00 2012 Optimize a model with 9673 rows, 12368 columns and 40794 nonzeros Presolve removed 34 rows and 2652 columns Presolve time: 0.11s Presolved: 9639 rows, 9716 columns, 38142 nonzeros Variable types: 0 continuous, 9716 integer (9716 binary) Root relaxation: objective 0.000000e+00, 215 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 (215 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 -- 78 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:21:01 2012 Optimize a model with 4915 rows, 6245 columns and 20397 nonzeros Presolve removed 34 rows and 1326 columns Presolve time: 0.04s Presolved: 4881 rows, 4919 columns, 19071 nonzeros Variable types: 0 continuous, 4919 integer (4919 binary) Root relaxation: objective 0.000000e+00, 214 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 (214 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 -- 39 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:21:01 2012 Optimize a model with 2475 rows, 3105 columns and 9937 nonzeros Presolve removed 34 rows and 646 columns Presolve time: 0.01s Presolved: 2441 rows, 2459 columns, 9291 nonzeros Variable types: 0 continuous, 2459 integer (2459 binary) Root relaxation: objective 0.000000e+00, 212 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 (212 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:21:01 2012 Optimize a model with 1255 rows, 1535 columns and 4707 nonzeros Presolve removed 34 rows and 306 columns Presolve time: 0.01s Presolved: 1221 rows, 1229 columns, 4401 nonzeros Variable types: 0 continuous, 1229 integer (1229 binary) Root relaxation: objective 0.000000e+00, 208 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 (208 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:21:01 2012 Optimize a model with 645 rows, 750 columns and 2092 nonzeros Presolve removed 34 rows and 136 columns Presolve time: 0.00s Presolved: 611 rows, 614 columns, 1956 nonzeros Variable types: 0 continuous, 614 integer (614 binary) Root relaxation: objective 0.000000e+00, 183 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 (183 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:21:01 2012 Optimize a model with 401 rows, 436 columns and 1046 nonzeros Presolve removed 167 rows and 206 columns Presolve time: 0.00s Presolved: 234 rows, 230 columns, 702 nonzeros Variable types: 0 continuous, 230 integer (230 binary) Root relaxation: objective 0.000000e+00, 119 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 97 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (392 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:21:01 2012 Optimize a model with 523 rows, 593 columns and 1569 nonzeros Presolve removed 34 rows and 102 columns Presolve time: 0.00s Presolved: 489 rows, 491 columns, 1467 nonzeros Variable types: 0 continuous, 491 integer (491 binary) Root relaxation: objective 0.000000e+00, 201 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 (201 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