current bounds on the number of colors: 0 -- 124 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:08:13 2012 Optimize a model with 46314 rows, 8433 columns and 146258 nonzeros Presolve time: 0.16s Presolved: 46314 rows, 8433 columns, 146258 nonzeros Variable types: 0 continuous, 8433 integer (8433 binary) Root relaxation: objective 0.000000e+00, 328 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 (860 simplex iterations) in 0.32 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 -- 62 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:08:14 2012 Optimize a model with 23219 rows, 4589 columns and 73129 nonzeros Presolve time: 0.10s Presolved: 23219 rows, 4589 columns, 73129 nonzeros Variable types: 0 continuous, 4589 integer (4589 binary) Root relaxation: objective 0.000000e+00, 292 iterations, 0.03 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 (570 simplex iterations) in 0.16 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 -- 31 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:08:15 2012 Optimize a model with 11299 rows, 2605 columns and 35385 nonzeros Presolve time: 0.04s Presolved: 11299 rows, 2605 columns, 35385 nonzeros Variable types: 0 continuous, 2605 integer (2605 binary) Root relaxation: objective 0.000000e+00, 255 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 (506 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 22:08:15 2012 Optimize a model with 5339 rows, 1613 columns and 16513 nonzeros Presolve time: 0.01s Presolved: 5339 rows, 1613 columns, 16513 nonzeros Variable types: 0 continuous, 1613 integer (1613 binary) Root relaxation: objective 0.000000e+00, 253 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 (921 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 22:08:15 2012 Optimize a model with 2359 rows, 1117 columns and 7077 nonzeros Presolve time: 0.01s Presolved: 2359 rows, 1117 columns, 7077 nonzeros Variable types: 0 continuous, 1117 integer (1117 binary) Root relaxation: objective 0.000000e+00, 273 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 248 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 1 Clique: 278 Zero half: 380 Explored 0 nodes (1519 simplex iterations) in 0.13 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 22:08:15 2012 Optimize a model with 3849 rows, 1365 columns and 11795 nonzeros Presolve time: 0.01s Presolved: 3849 rows, 1365 columns, 11795 nonzeros Variable types: 0 continuous, 1365 integer (1365 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 232 - 0.00000 - - 0s 0 0 0.00000 0 289 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 1s 0 0 0.00000 0 335 - 0.00000 - - 1s 0 0 0.00000 0 343 - 0.00000 - - 1s 0 0 0.00000 0 233 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 2s 0 0 0.00000 0 277 - 0.00000 - - 2s 0 0 0.00000 0 279 - 0.00000 - - 3s 0 0 0.00000 0 310 - 0.00000 - - 3s 0 0 0.00000 0 310 - 0.00000 - - 3s 0 2 0.00000 0 310 - 0.00000 - - 3s 235 57 0.00000 29 178 - 0.00000 - 82.1 5s 608 80 0.00000 16 306 - 0.00000 - 67.6 10s 614 84 0.00000 20 210 - 0.00000 - 66.9 15s 620 88 0.00000 22 224 - 0.00000 - 66.3 20s 713 94 0.00000 27 251 - 0.00000 - 155 25s 1060 56 infeasible 28 - 0.00000 - 170 30s 1438 60 infeasible 29 - 0.00000 - 177 35s * 1836 2 39 0.0000000 0.00000 0.0% 179 40s Cutting planes: Zero half: 20 Explored 1837 nodes (356019 simplex iterations) in 40.01 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 22:08:55 2012 Optimize a model with 3104 rows, 1241 columns and 9436 nonzeros Presolve time: 0.01s Presolved: 3104 rows, 1241 columns, 9436 nonzeros Variable types: 0 continuous, 1241 integer (1241 binary) Root relaxation: objective 0.000000e+00, 273 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 244 - 0.00000 - - 0s 0 0 0.00000 0 222 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 1s 0 0 0.00000 0 382 - 0.00000 - - 1s 0 0 0.00000 0 363 - 0.00000 - - 2s 0 0 0.00000 0 364 - 0.00000 - - 2s 0 0 0.00000 0 370 - 0.00000 - - 3s 0 0 0.00000 0 366 - 0.00000 - - 4s 0 0 0.00000 0 356 - 0.00000 - - 5s 0 0 0.00000 0 348 - 0.00000 - - 5s 0 0 0.00000 0 343 - 0.00000 - - 6s 0 0 0.00000 0 364 - 0.00000 - - 6s 0 0 0.00000 0 364 - 0.00000 - - 7s 0 2 0.00000 0 364 - 0.00000 - - 7s Cutting planes: Clique: 14 Zero half: 31 Explored 53 nodes (47049 simplex iterations) in 9.10 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