current bounds on the number of colors: 0 -- 116 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:28:43 2012 Optimize a model with 39034 rows, 7399 columns and 123482 nonzeros Presolve time: 0.15s Presolved: 39034 rows, 7399 columns, 123482 nonzeros Variable types: 0 continuous, 7399 integer (7399 binary) Root relaxation: objective 0.000000e+00, 309 iterations, 0.04 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 (635 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 -- 58 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:28:44 2012 Optimize a model with 19575 rows, 4035 columns and 61741 nonzeros Presolve time: 0.08s Presolved: 19575 rows, 4035 columns, 61741 nonzeros Variable types: 0 continuous, 4035 integer (4035 binary) Root relaxation: objective 0.000000e+00, 294 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 (539 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:28:44 2012 Optimize a model with 9510 rows, 2295 columns and 29806 nonzeros Presolve time: 0.03s Presolved: 9510 rows, 2295 columns, 29806 nonzeros Variable types: 0 continuous, 2295 integer (2295 binary) Root relaxation: objective 0.000000e+00, 243 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 (475 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:28:44 2012 Optimize a model with 4813 rows, 1483 columns and 14903 nonzeros Presolve time: 0.01s Presolved: 4813 rows, 1483 columns, 14903 nonzeros Variable types: 0 continuous, 1483 integer (1483 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1225 simplex iterations) in 0.06 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:28:44 2012 Optimize a model with 2129 rows, 1019 columns and 6387 nonzeros Presolve time: 0.01s Presolved: 2129 rows, 1019 columns, 6387 nonzeros Variable types: 0 continuous, 1019 integer (1019 binary) Root relaxation: objective 0.000000e+00, 256 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 208 - 0.00000 - - 0s 0 0 0.00000 0 228 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3950 simplex iterations) in 0.34 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:28:45 2012 Optimize a model with 3471 rows, 1251 columns and 10645 nonzeros Presolve time: 0.01s Presolved: 3471 rows, 1251 columns, 10645 nonzeros Variable types: 0 continuous, 1251 integer (1251 binary) Root relaxation: objective 0.000000e+00, 257 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 218 - 0.00000 - - 0s 0 0 0.00000 0 220 - 0.00000 - - 0s 0 0 0.00000 0 275 - 0.00000 - - 0s 0 0 0.00000 0 291 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 2 0.00000 0 175 - 0.00000 - - 1s 704 215 0.00000 22 303 - 0.00000 - 66.6 5s 711 220 0.00000 6 270 - 0.00000 - 66.0 10s 718 224 0.00000 11 246 - 0.00000 - 65.3 15s * 908 152 34 0.0000000 0.00000 0.0% 120 17s Cutting planes: Gomory: 1 Clique: 4 Zero half: 14 Explored 909 nodes (121550 simplex iterations) in 17.79 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:29:03 2012 Optimize a model with 2800 rows, 1135 columns and 8516 nonzeros Presolve time: 0.01s Presolved: 2800 rows, 1135 columns, 8516 nonzeros Variable types: 0 continuous, 1135 integer (1135 binary) Root relaxation: objective 0.000000e+00, 248 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 128 - 0.00000 - - 0s 0 0 0.00000 0 301 - 0.00000 - - 0s 0 0 0.00000 0 328 - 0.00000 - - 0s 0 0 0.00000 0 337 - 0.00000 - - 1s 0 0 0.00000 0 321 - 0.00000 - - 1s 0 0 0.00000 0 315 - 0.00000 - - 2s 0 0 0.00000 0 317 - 0.00000 - - 2s 0 0 0.00000 0 314 - 0.00000 - - 3s 0 0 0.00000 0 316 - 0.00000 - - 3s 0 0 0.00000 0 314 - 0.00000 - - 4s 0 0 0.00000 0 311 - 0.00000 - - 4s 0 0 0.00000 0 322 - 0.00000 - - 4s 0 0 0.00000 0 322 - 0.00000 - - 5s 0 2 0.00000 0 322 - 0.00000 - - 5s Cutting planes: Clique: 17 Zero half: 34 Explored 57 nodes (43718 simplex iterations) in 6.72 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