current bounds on the number of colors: 0 -- 178 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:15:11 2012 Optimize a model with 73692 rows, 16668 columns and 236384 nonzeros Presolve time: 0.23s Presolved: 73692 rows, 16668 columns, 236384 nonzeros Variable types: 0 continuous, 16668 integer (16668 binary) Root relaxation: objective 0.000000e+00, 698 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 (1072 simplex iterations) in 0.40 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:15:12 2012 Optimize a model with 36522 rows, 8658 columns and 116864 nonzeros Presolve time: 0.15s Presolved: 36522 rows, 8658 columns, 116864 nonzeros Variable types: 0 continuous, 8658 integer (8658 binary) Root relaxation: objective 0.000000e+00, 588 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 (987 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 -- 44 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:15:13 2012 Optimize a model with 18350 rows, 4742 columns and 58432 nonzeros Presolve time: 0.07s Presolved: 18350 rows, 4742 columns, 58432 nonzeros Variable types: 0 continuous, 4742 integer (4742 binary) Root relaxation: objective 0.000000e+00, 363 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 (681 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:15:13 2012 Optimize a model with 9264 rows, 2784 columns and 29216 nonzeros Presolve time: 0.03s Presolved: 9264 rows, 2784 columns, 29216 nonzeros Variable types: 0 continuous, 2784 integer (2784 binary) Root relaxation: objective 0.000000e+00, 393 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 (716 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:15:14 2012 Optimize a model with 4308 rows, 1716 columns and 13280 nonzeros Presolve time: 0.01s Presolved: 4308 rows, 1716 columns, 13280 nonzeros Variable types: 0 continuous, 1716 integer (1716 binary) Root relaxation: objective 0.000000e+00, 391 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 247 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4045 simplex iterations) in 0.30 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:15:14 2012 Optimize a model with 1830 rows, 1182 columns and 5312 nonzeros Presolve removed 178 rows and 178 columns Presolve time: 0.00s Presolved: 1652 rows, 1004 columns, 4956 nonzeros Variable types: 0 continuous, 1004 integer (1004 binary) Root relaxation: objective 0.000000e+00, 191 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 178 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (769 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:15:14 2012 Optimize a model with 2656 rows, 1360 columns and 7968 nonzeros Presolve time: 0.01s Presolved: 2656 rows, 1360 columns, 7968 nonzeros Variable types: 0 continuous, 1360 integer (1360 binary) Root relaxation: objective 0.000000e+00, 397 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 356 - 0.00000 - - 0s 0 0 0.00000 0 479 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 18 Zero half: 949 Explored 0 nodes (6502 simplex iterations) in 0.93 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:15:15 2012 Optimize a model with 3482 rows, 1538 columns and 10624 nonzeros Presolve time: 0.01s Presolved: 3482 rows, 1538 columns, 10624 nonzeros Variable types: 0 continuous, 1538 integer (1538 binary) Root relaxation: objective 0.000000e+00, 403 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 340 - 0.00000 - - 0s 0 0 0.00000 0 320 - 0.00000 - - 0s 0 0 0.00000 0 282 - 0.00000 - - 0s 0 0 0.00000 0 411 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 1s 0 0 0.00000 0 270 - 0.00000 - - 1s 0 0 0.00000 0 266 - 0.00000 - - 2s 0 0 0.00000 0 276 - 0.00000 - - 2s 0 0 0.00000 0 275 - 0.00000 - - 3s 0 0 0.00000 0 272 - 0.00000 - - 3s 0 0 0.00000 0 272 - 0.00000 - - 3s 0 0 0.00000 0 272 - 0.00000 - - 4s 0 2 0.00000 0 272 - 0.00000 - - 4s 13 11 infeasible 10 - 0.00000 - 437 5s 615 49 0.00000 12 353 - 0.00000 - 132 10s 1005 53 0.00000 6 278 - 0.00000 - 125 16s 1008 55 0.00000 15 280 - 0.00000 - 125 20s 1012 57 0.00000 6 373 - 0.00000 - 124 25s 1282 29 infeasible 28 - 0.00000 - 177 30s 1571 58 0.00000 22 316 - 0.00000 - 187 35s 1859 70 0.00000 24 407 - 0.00000 - 194 40s 2159 70 infeasible 26 - 0.00000 - 199 45s 2445 68 infeasible 29 - 0.00000 - 203 50s 2753 72 0.00000 28 353 - 0.00000 - 205 55s 3037 72 infeasible 28 - 0.00000 - 209 60s 3325 60 infeasible 29 - 0.00000 - 211 65s 3573 36 0.00000 27 402 - 0.00000 - 216 70s 3864 23 infeasible 27 - 0.00000 - 217 75s 4136 29 infeasible 27 - 0.00000 - 218 80s 4425 26 infeasible 28 - 0.00000 - 219 85s 4721 14 infeasible 22 - 0.00000 - 221 90s Cutting planes: Gomory: 1 Zero half: 20 Explored 4788 nodes (1102000 simplex iterations) in 91.77 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