current bounds on the number of colors: 0 -- 170 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:12:04 2012 Optimize a model with 63580 rows, 15196 columns and 204680 nonzeros Presolve time: 0.19s Presolved: 63580 rows, 15196 columns, 204680 nonzeros Variable types: 0 continuous, 15196 integer (15196 binary) Root relaxation: objective 0.000000e+00, 691 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 (1094 simplex iterations) in 0.36 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 -- 85 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:12:05 2012 Optimize a model with 31502 rows, 7886 columns and 101136 nonzeros Presolve time: 0.14s Presolved: 31502 rows, 7886 columns, 101136 nonzeros Variable types: 0 continuous, 7886 integer (7886 binary) Root relaxation: objective 0.000000e+00, 529 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 (900 simplex iterations) in 0.21 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 -- 42 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:12:06 2012 Optimize a model with 15836 rows, 4316 columns and 50568 nonzeros Presolve time: 0.06s Presolved: 15836 rows, 4316 columns, 50568 nonzeros Variable types: 0 continuous, 4316 integer (4316 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 (666 simplex iterations) in 0.09 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:12:06 2012 Optimize a model with 7630 rows, 2446 columns and 24080 nonzeros Presolve time: 0.02s Presolved: 7630 rows, 2446 columns, 24080 nonzeros Variable types: 0 continuous, 2446 integer (2446 binary) Root relaxation: objective 0.000000e+00, 364 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 (666 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 21:12:06 2012 Optimize a model with 3900 rows, 1596 columns and 12040 nonzeros Presolve time: 0.01s Presolved: 3900 rows, 1596 columns, 12040 nonzeros Variable types: 0 continuous, 1596 integer (1596 binary) Root relaxation: objective 0.000000e+00, 386 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 (3389 simplex iterations) in 0.23 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 21:12:06 2012 Optimize a model with 1662 rows, 1086 columns and 4816 nonzeros Presolve removed 170 rows and 170 columns Presolve time: 0.00s Presolved: 1492 rows, 916 columns, 4476 nonzeros Variable types: 0 continuous, 916 integer (916 binary) Root relaxation: objective 0.000000e+00, 172 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 170 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (725 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 21:12:06 2012 Optimize a model with 2408 rows, 1256 columns and 7224 nonzeros Presolve time: 0.01s Presolved: 2408 rows, 1256 columns, 7224 nonzeros Variable types: 0 continuous, 1256 integer (1256 binary) Root relaxation: objective 0.000000e+00, 392 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 338 - 0.00000 - - 0s 0 0 0.00000 0 331 - 0.00000 - - 0s 0 0 0.00000 0 437 - 0.00000 - - 0s 0 0 0.00000 0 448 - 0.00000 - - 0s 0 0 0.00000 0 446 - 0.00000 - - 1s 0 0 0.00000 0 436 - 0.00000 - - 2s 0 0 0.00000 0 437 - 0.00000 - - 2s 0 0 0.00000 0 442 - 0.00000 - - 3s 0 0 0.00000 0 441 - 0.00000 - - 3s 0 0 0.00000 0 441 - 0.00000 - - 4s 0 0 0.00000 0 439 - 0.00000 - - 5s 0 0 infeasible 0 - 0.10000 - - 5s Cutting planes: Zero half: 841 Explored 0 nodes (31430 simplex iterations) in 5.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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:12:12 2012 Optimize a model with 3154 rows, 1426 columns and 9632 nonzeros Presolve time: 0.01s Presolved: 3154 rows, 1426 columns, 9632 nonzeros Variable types: 0 continuous, 1426 integer (1426 binary) Root relaxation: objective 0.000000e+00, 382 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 314 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 0s 0 0 0.00000 0 325 - 0.00000 - - 0s 0 0 0.00000 0 310 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 298 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 297 - 0.00000 - - 1s 0 0 0.00000 0 278 - 0.00000 - - 2s 0 0 0.00000 0 278 - 0.00000 - - 2s 0 0 0.00000 0 278 - 0.00000 - - 2s 0 0 0.00000 0 275 - 0.00000 - - 3s 0 0 0.00000 0 260 - 0.00000 - - 3s 0 0 0.00000 0 264 - 0.00000 - - 3s 0 0 0.00000 0 264 - 0.00000 - - 3s 0 2 0.00000 0 264 - 0.00000 - - 4s 114 26 infeasible 18 - 0.00000 - 134 5s 805 43 0.00000 9 270 - 0.00000 - 100 10s 811 47 0.00000 22 330 - 0.00000 - 99.2 15s 1069 37 0.00000 23 333 - 0.00000 - 147 20s 1518 58 0.00000 24 302 - 0.00000 - 160 25s 2022 78 0.00000 25 335 - 0.00000 - 163 30s 2502 70 infeasible 30 - 0.00000 - 166 35s 3028 100 infeasible 26 - 0.00000 - 167 40s 3491 89 0.00000 22 315 - 0.00000 - 169 45s 3952 94 0.00000 31 357 - 0.00000 - 171 50s 4396 68 infeasible 29 - 0.00000 - 173 55s 4846 74 infeasible 28 - 0.00000 - 174 60s 5249 67 0.00000 32 292 - 0.00000 - 177 65s 5711 51 infeasible 30 - 0.00000 - 177 70s 6184 42 infeasible 26 - 0.00000 - 177 75s 6620 16 infeasible 24 - 0.00000 - 178 80s Cutting planes: Clique: 1 Zero half: 8 Explored 6956 nodes (1289032 simplex iterations) in 84.17 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