current bounds on the number of colors: 0 -- 122 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:37:49 2012 Optimize a model with 44713 rows, 8173 columns and 141215 nonzeros Presolve time: 0.15s Presolved: 44713 rows, 8173 columns, 141215 nonzeros Variable types: 0 continuous, 8173 integer (8173 binary) Root relaxation: objective 0.000000e+00, 312 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 (582 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 -- 61 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:37:50 2012 Optimize a model with 22052 rows, 4391 columns and 69450 nonzeros Presolve time: 0.10s Presolved: 22052 rows, 4391 columns, 69450 nonzeros Variable types: 0 continuous, 4391 integer (4391 binary) Root relaxation: objective 0.000000e+00, 303 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 (574 simplex iterations) in 0.15 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:37:50 2012 Optimize a model with 11087 rows, 2561 columns and 34725 nonzeros Presolve time: 0.04s Presolved: 11087 rows, 2561 columns, 34725 nonzeros Variable types: 0 continuous, 2561 integer (2561 binary) Root relaxation: objective 0.000000e+00, 244 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 (478 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:37:50 2012 Optimize a model with 5239 rows, 1585 columns and 16205 nonzeros Presolve time: 0.01s Presolved: 5239 rows, 1585 columns, 16205 nonzeros Variable types: 0 continuous, 1585 integer (1585 binary) Root relaxation: objective 0.000000e+00, 257 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 (940 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:37:51 2012 Optimize a model with 2315 rows, 1097 columns and 6945 nonzeros Presolve time: 0.01s Presolved: 2315 rows, 1097 columns, 6945 nonzeros Variable types: 0 continuous, 1097 integer (1097 binary) Root relaxation: objective 0.000000e+00, 278 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 190 - 0.00000 - - 0s 0 0 0.00000 0 240 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3738 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 21:37:51 2012 Optimize a model with 3777 rows, 1341 columns and 11575 nonzeros Presolve time: 0.01s Presolved: 3777 rows, 1341 columns, 11575 nonzeros Variable types: 0 continuous, 1341 integer (1341 binary) Root relaxation: objective 0.000000e+00, 264 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 202 - 0.00000 - - 0s 0 0 0.00000 0 245 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 1s 0 0 0.00000 0 229 - 0.00000 - - 1s 0 0 0.00000 0 255 - 0.00000 - - 1s 0 0 0.00000 0 266 - 0.00000 - - 2s 0 0 0.00000 0 266 - 0.00000 - - 2s 0 2 0.00000 0 266 - 0.00000 - - 3s 591 95 0.00000 25 206 - 0.00000 - 68.9 5s 609 105 0.00000 26 266 - 0.00000 - 67.2 10s 614 109 0.00000 17 252 - 0.00000 - 66.7 15s 776 115 0.00000 25 260 - 0.00000 - 142 20s 1240 144 infeasible 35 - 0.00000 - 153 25s 1684 192 0.00000 29 238 - 0.00000 - 162 30s 2159 215 0.00000 37 194 - 0.00000 - 165 35s 2712 278 0.00000 32 252 - 0.00000 - 163 40s * 2780 3 40 0.0000000 0.00000 0.0% 163 40s Cutting planes: Gomory: 1 Clique: 1 Zero half: 4 Explored 2781 nodes (474611 simplex iterations) in 40.59 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:38:32 2012 Optimize a model with 3046 rows, 1219 columns and 9260 nonzeros Presolve time: 0.01s Presolved: 3046 rows, 1219 columns, 9260 nonzeros Variable types: 0 continuous, 1219 integer (1219 binary) Root relaxation: objective 0.000000e+00, 262 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 242 - 0.00000 - - 0s 0 0 0.00000 0 236 - 0.00000 - - 0s 0 0 0.00000 0 349 - 0.00000 - - 0s 0 0 0.00000 0 345 - 0.00000 - - 1s 0 0 0.00000 0 342 - 0.00000 - - 1s 0 0 0.00000 0 340 - 0.00000 - - 1s 0 0 0.00000 0 339 - 0.00000 - - 1s 0 0 0.00000 0 335 - 0.00000 - - 1s 0 0 0.00000 0 357 - 0.00000 - - 1s 0 0 0.00000 0 352 - 0.00000 - - 2s 0 0 0.00000 0 350 - 0.00000 - - 3s 0 0 0.00000 0 345 - 0.00000 - - 3s 0 0 0.00000 0 341 - 0.00000 - - 3s 0 0 0.00000 0 336 - 0.00000 - - 4s 0 0 0.00000 0 338 - 0.00000 - - 5s 0 0 0.00000 0 343 - 0.00000 - - 5s 0 0 0.00000 0 338 - 0.00000 - - 6s 0 0 0.00000 0 337 - 0.00000 - - 6s 0 0 0.00000 0 336 - 0.00000 - - 7s 0 0 0.00000 0 335 - 0.00000 - - 7s 0 0 0.00000 0 347 - 0.00000 - - 8s 0 0 0.00000 0 347 - 0.00000 - - 8s 0 2 0.00000 0 347 - 0.00000 - - 8s 45 1 infeasible 6 - 0.00000 - 287 10s Cutting planes: Clique: 14 Zero half: 37 Explored 47 nodes (51908 simplex iterations) in 10.03 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