current bounds on the number of colors: 0 -- 121 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:18:58 2012 Optimize a model with 43561 rows, 7984 columns and 137580 nonzeros Presolve time: 0.16s Presolved: 43561 rows, 7984 columns, 137580 nonzeros Variable types: 0 continuous, 7984 integer (7984 binary) Root relaxation: objective 0.000000e+00, 308 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.27 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 -- 60 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:18:59 2012 Optimize a model with 21841 rows, 4354 columns and 68790 nonzeros Presolve time: 0.09s Presolved: 21841 rows, 4354 columns, 68790 nonzeros Variable types: 0 continuous, 4354 integer (4354 binary) Root relaxation: objective 0.000000e+00, 310 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 (551 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:18:59 2012 Optimize a model with 10981 rows, 2539 columns and 34395 nonzeros Presolve time: 0.04s Presolved: 10981 rows, 2539 columns, 34395 nonzeros Variable types: 0 continuous, 2539 integer (2539 binary) Root relaxation: objective 0.000000e+00, 250 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 (486 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:19:00 2012 Optimize a model with 5189 rows, 1571 columns and 16051 nonzeros Presolve time: 0.01s Presolved: 5189 rows, 1571 columns, 16051 nonzeros Variable types: 0 continuous, 1571 integer (1571 binary) Root relaxation: objective 0.000000e+00, 251 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 (911 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:19:00 2012 Optimize a model with 2293 rows, 1087 columns and 6879 nonzeros Presolve time: 0.01s Presolved: 2293 rows, 1087 columns, 6879 nonzeros Variable types: 0 continuous, 1087 integer (1087 binary) Root relaxation: objective 0.000000e+00, 261 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 242 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3222 simplex iterations) in 0.41 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:19:00 2012 Optimize a model with 3741 rows, 1329 columns and 11465 nonzeros Presolve time: 0.01s Presolved: 3741 rows, 1329 columns, 11465 nonzeros Variable types: 0 continuous, 1329 integer (1329 binary) Root relaxation: objective 0.000000e+00, 254 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 210 - 0.00000 - - 0s 0 0 0.00000 0 174 - 0.00000 - - 0s 0 0 0.00000 0 234 - 0.00000 - - 0s 0 0 0.00000 0 183 - 0.00000 - - 1s 0 0 0.00000 0 170 - 0.00000 - - 1s 0 0 0.00000 0 156 - 0.00000 - - 1s 0 0 0.00000 0 203 - 0.00000 - - 2s 0 0 0.00000 0 227 - 0.00000 - - 2s 0 0 0.00000 0 188 - 0.00000 - - 2s 0 0 0.00000 0 249 - 0.00000 - - 3s 0 0 0.00000 0 261 - 0.00000 - - 3s 0 0 0.00000 0 261 - 0.00000 - - 3s 0 2 0.00000 0 261 - 0.00000 - - 4s 118 42 0.00000 20 250 - 0.00000 - 118 5s 607 174 0.00000 18 239 - 0.00000 - 91.6 10s 613 178 0.00000 23 194 - 0.00000 - 90.7 15s 730 182 infeasible 33 - 0.00000 - 159 20s 1108 76 infeasible 33 - 0.00000 - 175 25s 1572 60 0.00000 28 200 - 0.00000 - 174 30s 2060 68 0.00000 32 231 - 0.00000 - 174 35s 2519 101 infeasible 33 - 0.00000 - 174 40s 2916 100 infeasible 31 - 0.00000 - 179 45s 3371 117 0.00000 27 182 - 0.00000 - 181 50s 3783 105 infeasible 31 - 0.00000 - 184 55s 4126 98 0.00000 33 206 - 0.00000 - 187 60s 4494 86 infeasible 29 - 0.00000 - 191 65s 4921 75 infeasible 26 - 0.00000 - 191 70s 5337 67 0.00000 21 199 - 0.00000 - 192 75s 5650 96 0.00000 31 233 - 0.00000 - 195 80s 6029 121 infeasible 30 - 0.00000 - 197 85s 6410 120 infeasible 31 - 0.00000 - 198 90s 6776 110 0.00000 36 230 - 0.00000 - 200 95s 7170 124 infeasible 31 - 0.00000 - 200 100s 7726 178 infeasible 29 - 0.00000 - 197 105s 8155 155 infeasible 38 - 0.00000 - 197 110s 8541 137 infeasible 29 - 0.00000 - 198 115s 8932 110 infeasible 30 - 0.00000 - 199 120s 9304 116 infeasible 34 - 0.00000 - 199 125s 9686 116 infeasible 32 - 0.00000 - 200 130s 10055 105 infeasible 33 - 0.00000 - 201 135s 10412 116 infeasible 30 - 0.00000 - 202 140s *10644 0 28 0.0000000 0.00000 0.0% 202 142s Cutting planes: Gomory: 2 Clique: 1 Explored 10645 nodes (2184511 simplex iterations) in 142.76 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:21:23 2012 Optimize a model with 3017 rows, 1208 columns and 9172 nonzeros Presolve time: 0.01s Presolved: 3017 rows, 1208 columns, 9172 nonzeros Variable types: 0 continuous, 1208 integer (1208 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 146 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 0s 0 0 0.00000 0 363 - 0.00000 - - 1s 0 0 0.00000 0 356 - 0.00000 - - 1s 0 0 0.00000 0 351 - 0.00000 - - 2s 0 0 0.00000 0 346 - 0.00000 - - 3s 0 0 0.00000 0 342 - 0.00000 - - 3s 0 0 0.00000 0 342 - 0.00000 - - 4s 0 0 0.00000 0 354 - 0.00000 - - 4s 0 0 0.00000 0 357 - 0.00000 - - 5s 0 0 0.00000 0 346 - 0.00000 - - 5s 0 2 0.00000 0 346 - 0.00000 - - 6s Cutting planes: Clique: 12 Zero half: 13 Explored 27 nodes (38955 simplex iterations) in 7.12 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