current bounds on the number of colors: 0 -- 179 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:16:48 2012 Optimize a model with 77520 rows, 16800 columns and 247954 nonzeros Presolve time: 0.24s Presolved: 77520 rows, 16800 columns, 247954 nonzeros Variable types: 0 continuous, 16800 integer (16800 binary) Root relaxation: objective 0.000000e+00, 696 iterations, 0.07 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 (1116 simplex iterations) in 0.43 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 -- 89 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:16:50 2012 Optimize a model with 38415 rows, 8745 columns and 122584 nonzeros Presolve time: 0.15s Presolved: 38415 rows, 8745 columns, 122584 nonzeros Variable types: 0 continuous, 8745 integer (8745 binary) Root relaxation: objective 0.000000e+00, 579 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 (1022 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 -- 44 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:16:51 2012 Optimize a model with 19297 rows, 4807 columns and 61292 nonzeros Presolve time: 0.07s Presolved: 19297 rows, 4807 columns, 61292 nonzeros Variable types: 0 continuous, 4807 integer (4807 binary) Root relaxation: objective 0.000000e+00, 428 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 (801 simplex iterations) in 0.11 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:16:51 2012 Optimize a model with 9738 rows, 2838 columns and 30646 nonzeros Presolve time: 0.03s Presolved: 9738 rows, 2838 columns, 30646 nonzeros Variable types: 0 continuous, 2838 integer (2838 binary) Root relaxation: objective 0.000000e+00, 371 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 (705 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:16:51 2012 Optimize a model with 4524 rows, 1764 columns and 13930 nonzeros Presolve time: 0.01s Presolved: 4524 rows, 1764 columns, 13930 nonzeros Variable types: 0 continuous, 1764 integer (1764 binary) Root relaxation: objective 0.000000e+00, 405 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 334 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 1 Clique: 147 MIR: 1 Zero half: 369 Explored 0 nodes (5952 simplex iterations) in 0.49 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 Sat Dec 15 00:16:52 2012 Optimize a model with 1917 rows, 1227 columns and 5572 nonzeros Presolve removed 179 rows and 179 columns Presolve time: 0.00s Presolved: 1738 rows, 1048 columns, 5214 nonzeros Variable types: 0 continuous, 1048 integer (1048 binary) Root relaxation: objective 0.000000e+00, 189 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 179 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (776 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 Sat Dec 15 00:16:52 2012 Optimize a model with 2786 rows, 1406 columns and 8358 nonzeros Presolve time: 0.01s Presolved: 2786 rows, 1406 columns, 8358 nonzeros Variable types: 0 continuous, 1406 integer (1406 binary) Root relaxation: objective 0.000000e+00, 423 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 356 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4570 simplex iterations) in 0.52 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 Sat Dec 15 00:16:52 2012 Optimize a model with 3655 rows, 1585 columns and 11144 nonzeros Presolve time: 0.01s Presolved: 3655 rows, 1585 columns, 11144 nonzeros Variable types: 0 continuous, 1585 integer (1585 binary) Root relaxation: objective 0.000000e+00, 409 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 336 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 0.00000 0 361 - 0.00000 - - 0s 0 0 0.00000 0 438 - 0.00000 - - 0s 0 0 0.00000 0 306 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 2s 0 0 0.00000 0 304 - 0.00000 - - 2s 0 0 0.00000 0 308 - 0.00000 - - 3s 0 0 0.00000 0 294 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 4s 0 0 0.00000 0 286 - 0.00000 - - 4s 0 0 0.00000 0 297 - 0.00000 - - 5s 0 0 0.00000 0 297 - 0.00000 - - 5s 0 2 0.00000 0 296 - 0.00000 - - 5s 497 80 0.00000 12 322 - 0.00000 - 131 10s 1174 90 infeasible 20 - 0.00000 - 127 15s 1604 94 0.00000 15 451 - 0.00000 - 129 20s 1608 97 0.00000 4 322 - 0.00000 - 128 25s 1612 99 0.00000 14 292 - 0.00000 - 128 31s 1617 103 infeasible 10 - 0.00000 - 161 35s 1874 46 infeasible 22 - 0.00000 - 172 40s 2118 28 0.00000 21 362 - 0.00000 - 182 45s 2338 12 infeasible 23 - 0.00000 - 191 50s Cutting planes: Zero half: 22 Explored 2399 nodes (508397 simplex iterations) in 51.55 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