current bounds on the number of colors: 0 -- 117 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:16:18 2012 Optimize a model with 3655 rows, 6847 columns and 17400 nonzeros Presolve removed 41 rows and 2378 columns Presolve time: 0.05s Presolved: 3614 rows, 4469 columns, 15022 nonzeros Variable types: 0 continuous, 4469 integer (4469 binary) Root relaxation: objective 0.000000e+00, 126 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 (126 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 -- 58 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:16:18 2012 Optimize a model with 1886 rows, 3454 columns and 8700 nonzeros Presolve removed 41 rows and 1189 columns Presolve time: 0.02s Presolved: 1845 rows, 2265 columns, 7511 nonzeros Variable types: 0 continuous, 2265 integer (2265 binary) Root relaxation: objective 0.000000e+00, 126 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 (126 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 -- 29 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:16:18 2012 Optimize a model with 971 rows, 1699 columns and 4200 nonzeros Presolve removed 41 rows and 574 columns Presolve time: 0.01s Presolved: 930 rows, 1125 columns, 3626 nonzeros Variable types: 0 continuous, 1125 integer (1125 binary) Root relaxation: objective 0.000000e+00, 127 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 (127 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 -- 14 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:16:18 2012 Optimize a model with 544 rows, 880 columns and 2100 nonzeros Presolve removed 41 rows and 287 columns Presolve time: 0.00s Presolved: 503 rows, 593 columns, 1813 nonzeros Variable types: 0 continuous, 593 integer (593 binary) Root relaxation: objective 0.000000e+00, 127 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 (127 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:18 2012 Optimize a model with 300 rows, 412 columns and 900 nonzeros Presolve removed 41 rows and 123 columns Presolve time: 0.00s Presolved: 259 rows, 289 columns, 777 nonzeros Variable types: 0 continuous, 289 integer (289 binary) Root relaxation: objective 0.000000e+00, 109 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 (109 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:18 2012 Optimize a model with 178 rows, 178 columns and 300 nonzeros Presolve removed 178 rows and 178 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:18 2012 Optimize a model with 239 rows, 295 columns and 600 nonzeros Presolve removed 133 rows and 182 columns Presolve time: 0.00s Presolved: 106 rows, 113 columns, 318 nonzeros Variable types: 0 continuous, 113 integer (113 binary) Root relaxation: objective 0.000000e+00, 49 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 21 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (149 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