current bounds on the number of colors: 0 -- 164 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:52:16 2012 Optimize a model with 55268 rows, 14120 columns and 178760 nonzeros Presolve time: 0.17s Presolved: 55268 rows, 14120 columns, 178760 nonzeros Variable types: 0 continuous, 14120 integer (14120 binary) Root relaxation: objective 0.000000e+00, 590 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 (935 simplex iterations) in 0.29 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 -- 82 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:52:17 2012 Optimize a model with 27716 rows, 7396 columns and 89380 nonzeros Presolve time: 0.14s Presolved: 27716 rows, 7396 columns, 89380 nonzeros Variable types: 0 continuous, 7396 integer (7396 binary) Root relaxation: objective 0.000000e+00, 479 iterations, 0.02 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 (825 simplex iterations) in 0.19 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 -- 41 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:52:17 2012 Optimize a model with 13604 rows, 3952 columns and 43600 nonzeros Presolve time: 0.05s Presolved: 13604 rows, 3952 columns, 43600 nonzeros Variable types: 0 continuous, 3952 integer (3952 binary) Root relaxation: objective 0.000000e+00, 344 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 (644 simplex iterations) in 0.08 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:52:17 2012 Optimize a model with 6884 rows, 2312 columns and 21800 nonzeros Presolve time: 0.02s Presolved: 6884 rows, 2312 columns, 21800 nonzeros Variable types: 0 continuous, 2312 integer (2312 binary) Root relaxation: objective 0.000000e+00, 361 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 (643 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:52:18 2012 Optimize a model with 3524 rows, 1492 columns and 10900 nonzeros Presolve time: 0.01s Presolved: 3524 rows, 1492 columns, 10900 nonzeros Variable types: 0 continuous, 1492 integer (1492 binary) Root relaxation: objective 0.000000e+00, 360 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 (1293 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:52:18 2012 Optimize a model with 1508 rows, 1000 columns and 4360 nonzeros Presolve removed 164 rows and 164 columns Presolve time: 0.00s Presolved: 1344 rows, 836 columns, 4032 nonzeros Variable types: 0 continuous, 836 integer (836 binary) Root relaxation: objective 0.000000e+00, 174 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 164 - 0.00000 - - 0s Explored 0 nodes (709 simplex iterations) in 0.02 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:52:18 2012 Optimize a model with 2180 rows, 1164 columns and 6540 nonzeros Presolve time: 0.01s Presolved: 2180 rows, 1164 columns, 6540 nonzeros Variable types: 0 continuous, 1164 integer (1164 binary) Root relaxation: objective 0.000000e+00, 395 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 320 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 0s 0 0 0.00000 0 448 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 25 Clique: 1 Zero half: 375 Explored 0 nodes (7063 simplex iterations) in 0.81 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:52:19 2012 Optimize a model with 2852 rows, 1328 columns and 8720 nonzeros Presolve time: 0.01s Presolved: 2852 rows, 1328 columns, 8720 nonzeros Variable types: 0 continuous, 1328 integer (1328 binary) Root relaxation: objective 0.000000e+00, 372 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 312 - 0.00000 - - 0s 0 0 0.00000 0 298 - 0.00000 - - 0s 0 0 0.00000 0 282 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 0s 0 0 0.00000 0 284 - 0.00000 - - 0s 0 0 0.00000 0 284 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 1s 0 0 0.00000 0 266 - 0.00000 - - 1s 0 0 0.00000 0 263 - 0.00000 - - 1s 0 0 0.00000 0 246 - 0.00000 - - 1s 0 0 0.00000 0 244 - 0.00000 - - 2s 0 0 0.00000 0 244 - 0.00000 - - 2s 0 0 0.00000 0 236 - 0.00000 - - 2s 0 0 0.00000 0 228 - 0.00000 - - 2s 0 0 0.00000 0 224 - 0.00000 - - 3s 0 0 0.00000 0 214 - 0.00000 - - 3s 0 0 0.00000 0 214 - 0.00000 - - 3s 0 0 0.00000 0 202 - 0.00000 - - 3s 0 0 0.00000 0 208 - 0.00000 - - 3s 0 0 0.00000 0 208 - 0.00000 - - 3s 0 2 0.00000 0 208 - 0.00000 - - 4s 341 55 0.00000 25 258 - 0.00000 - 69.6 5s * 351 2 31 0.0000000 0.00000 0.0% 69.9 5s Cutting planes: Zero half: 16 Explored 352 nodes (70008 simplex iterations) in 5.04 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: 4