current bounds on the number of colors: 0 -- 120 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:08:20 2012 Optimize a model with 41520 rows, 7890 columns and 131400 nonzeros Presolve time: 0.16s Presolved: 41520 rows, 7890 columns, 131400 nonzeros Variable types: 0 continuous, 7890 integer (7890 binary) Root relaxation: objective 0.000000e+00, 296 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 (576 simplex iterations) in 0.26 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 -- 60 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:08:20 2012 Optimize a model with 20820 rows, 4290 columns and 65700 nonzeros Presolve time: 0.09s Presolved: 20820 rows, 4290 columns, 65700 nonzeros Variable types: 0 continuous, 4290 integer (4290 binary) Root relaxation: objective 0.000000e+00, 306 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 (554 simplex iterations) in 0.13 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 -- 30 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:08:21 2012 Optimize a model with 10470 rows, 2490 columns and 32850 nonzeros Presolve time: 0.03s Presolved: 10470 rows, 2490 columns, 32850 nonzeros Variable types: 0 continuous, 2490 integer (2490 binary) Root relaxation: objective 0.000000e+00, 248 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 (485 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:08:21 2012 Optimize a model with 4950 rows, 1530 columns and 15330 nonzeros Presolve time: 0.01s Presolved: 4950 rows, 1530 columns, 15330 nonzeros Variable types: 0 continuous, 1530 integer (1530 binary) Root relaxation: objective 0.000000e+00, 253 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 (1045 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 21:08:21 2012 Optimize a model with 2190 rows, 1050 columns and 6570 nonzeros Presolve time: 0.01s Presolved: 2190 rows, 1050 columns, 6570 nonzeros Variable types: 0 continuous, 1050 integer (1050 binary) Root relaxation: objective 0.000000e+00, 268 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 192 - 0.00000 - - 0s 0 0 0.00000 0 238 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3348 simplex iterations) in 0.32 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 21:08:21 2012 Optimize a model with 3570 rows, 1290 columns and 10950 nonzeros Presolve time: 0.01s Presolved: 3570 rows, 1290 columns, 10950 nonzeros Variable types: 0 continuous, 1290 integer (1290 binary) Root relaxation: objective 0.000000e+00, 255 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 232 - 0.00000 - - 0s 0 0 0.00000 0 206 - 0.00000 - - 0s 0 0 0.00000 0 250 - 0.00000 - - 0s 0 0 0.00000 0 301 - 0.00000 - - 0s 0 0 0.00000 0 146 - 0.00000 - - 1s 0 0 0.00000 0 247 - 0.00000 - - 1s 0 0 0.00000 0 218 - 0.00000 - - 1s 0 0 0.00000 0 261 - 0.00000 - - 2s 0 0 0.00000 0 193 - 0.00000 - - 2s 0 2 0.00000 0 193 - 0.00000 - - 2s 703 108 0.00000 17 250 - 0.00000 - 67.9 5s 709 112 0.00000 6 250 - 0.00000 - 67.3 10s * 775 92 44 0.0000000 0.00000 0.0% 100 13s Cutting planes: Gomory: 1 Clique: 2 Zero half: 13 Explored 776 nodes (99610 simplex iterations) in 13.38 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 21:08:35 2012 Optimize a model with 2880 rows, 1170 columns and 8760 nonzeros Presolve time: 0.01s Presolved: 2880 rows, 1170 columns, 8760 nonzeros Variable types: 0 continuous, 1170 integer (1170 binary) Root relaxation: objective 0.000000e+00, 274 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 240 - 0.00000 - - 0s 0 0 0.00000 0 232 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 0.00000 0 337 - 0.00000 - - 0s 0 0 0.00000 0 337 - 0.00000 - - 1s 0 0 0.00000 0 327 - 0.00000 - - 1s 0 0 0.00000 0 322 - 0.00000 - - 2s 0 0 0.00000 0 319 - 0.00000 - - 2s 0 0 0.00000 0 323 - 0.00000 - - 3s 0 0 0.00000 0 314 - 0.00000 - - 3s 0 0 0.00000 0 324 - 0.00000 - - 4s 0 0 0.00000 0 318 - 0.00000 - - 4s 0 0 0.00000 0 315 - 0.00000 - - 5s 0 0 0.00000 0 313 - 0.00000 - - 5s 0 0 0.00000 0 318 - 0.00000 - - 5s 0 0 0.00000 0 318 - 0.00000 - - 6s 0 2 0.00000 0 318 - 0.00000 - - 6s Cutting planes: Clique: 14 Zero half: 44 Explored 76 nodes (52090 simplex iterations) in 8.51 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