current bounds on the number of colors: 0 -- 119 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:53:43 2012 Optimize a model with 40534 rows, 7706 columns and 128266 nonzeros Presolve time: 0.15s Presolved: 40534 rows, 7706 columns, 128266 nonzeros Variable types: 0 continuous, 7706 integer (7706 binary) Root relaxation: objective 0.000000e+00, 292 iterations, 0.05 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 (540 simplex iterations) in 0.25 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 -- 59 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:53:44 2012 Optimize a model with 19984 rows, 4136 columns and 63046 nonzeros Presolve time: 0.09s Presolved: 19984 rows, 4136 columns, 63046 nonzeros Variable types: 0 continuous, 4136 integer (4136 binary) Root relaxation: objective 0.000000e+00, 274 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 (566 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 -- 29 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:53:44 2012 Optimize a model with 9709 rows, 2351 columns and 30436 nonzeros Presolve time: 0.03s Presolved: 9709 rows, 2351 columns, 30436 nonzeros Variable types: 0 continuous, 2351 integer (2351 binary) Root relaxation: objective 0.000000e+00, 241 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 (481 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:53:44 2012 Optimize a model with 4914 rows, 1518 columns and 15218 nonzeros Presolve time: 0.01s Presolved: 4914 rows, 1518 columns, 15218 nonzeros Variable types: 0 continuous, 1518 integer (1518 binary) Root relaxation: objective 0.000000e+00, 253 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 (1027 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:53:44 2012 Optimize a model with 2174 rows, 1042 columns and 6522 nonzeros Presolve time: 0.01s Presolved: 2174 rows, 1042 columns, 6522 nonzeros Variable types: 0 continuous, 1042 integer (1042 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.00000 0 238 - 0.00000 - - 0s 0 0 0.00000 0 236 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3346 simplex iterations) in 0.38 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: 3 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:53:45 2012 Optimize a model with 3544 rows, 1280 columns and 10870 nonzeros Presolve time: 0.01s Presolved: 3544 rows, 1280 columns, 10870 nonzeros Variable types: 0 continuous, 1280 integer (1280 binary) Root relaxation: objective 0.000000e+00, 246 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 163 - 0.00000 - - 0s 0 0 0.00000 0 130 - 0.00000 - - 0s 0 0 0.00000 0 235 - 0.00000 - - 0s 0 0 0.00000 0 259 - 0.00000 - - 0s 0 0 0.00000 0 184 - 0.00000 - - 1s 0 0 0.00000 0 227 - 0.00000 - - 1s 0 0 0.00000 0 245 - 0.00000 - - 1s 0 0 0.00000 0 280 - 0.00000 - - 1s 0 0 0.00000 0 248 - 0.00000 - - 2s 0 2 0.00000 0 248 - 0.00000 - - 2s * 212 0 24 0.0000000 0.00000 0.0% 59.7 3s Cutting planes: Clique: 4 Zero half: 32 Explored 213 nodes (34827 simplex iterations) in 3.23 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:53:48 2012 Optimize a model with 2859 rows, 1161 columns and 8696 nonzeros Presolve time: 0.01s Presolved: 2859 rows, 1161 columns, 8696 nonzeros Variable types: 0 continuous, 1161 integer (1161 binary) Root relaxation: objective 0.000000e+00, 258 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 236 - 0.00000 - - 0s 0 0 0.00000 0 220 - 0.00000 - - 0s 0 0 0.00000 0 357 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 0.00000 0 336 - 0.00000 - - 1s 0 0 0.00000 0 337 - 0.00000 - - 1s 0 0 0.00000 0 341 - 0.00000 - - 2s 0 0 0.00000 0 336 - 0.00000 - - 2s 0 0 0.00000 0 341 - 0.00000 - - 3s 0 0 0.00000 0 338 - 0.00000 - - 3s 0 0 0.00000 0 336 - 0.00000 - - 4s 0 0 0.00000 0 331 - 0.00000 - - 4s 0 0 0.00000 0 328 - 0.00000 - - 5s 0 0 0.00000 0 347 - 0.00000 - - 5s 0 0 0.00000 0 347 - 0.00000 - - 5s 0 2 0.00000 0 347 - 0.00000 - - 6s Cutting planes: Clique: 4 Zero half: 28 Explored 15 nodes (34249 simplex iterations) in 6.63 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5