current bounds on the number of colors: 0 -- 126 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:06:36 2012 Optimize a model with 49581 rows, 8723 columns and 156303 nonzeros Presolve time: 0.16s Presolved: 49581 rows, 8723 columns, 156303 nonzeros Variable types: 0 continuous, 8723 integer (8723 binary) Root relaxation: objective 0.000000e+00, 334 iterations, 0.06 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 (611 simplex iterations) in 0.29 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 -- 63 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:06:37 2012 Optimize a model with 24461 rows, 4691 columns and 76911 nonzeros Presolve time: 0.11s Presolved: 24461 rows, 4691 columns, 76911 nonzeros Variable types: 0 continuous, 4691 integer (4691 binary) Root relaxation: objective 0.000000e+00, 296 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 (579 simplex iterations) in 0.17 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 23:06:37 2012 Optimize a model with 11901 rows, 2675 columns and 37215 nonzeros Presolve time: 0.04s Presolved: 11901 rows, 2675 columns, 37215 nonzeros Variable types: 0 continuous, 2675 integer (2675 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 (514 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 23:06:37 2012 Optimize a model with 5621 rows, 1667 columns and 17367 nonzeros Presolve time: 0.02s Presolved: 5621 rows, 1667 columns, 17367 nonzeros Variable types: 0 continuous, 1667 integer (1667 binary) Root relaxation: objective 0.000000e+00, 258 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 (2203 simplex iterations) in 0.12 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 23:06:38 2012 Optimize a model with 2481 rows, 1163 columns and 7443 nonzeros Presolve time: 0.01s Presolved: 2481 rows, 1163 columns, 7443 nonzeros Variable types: 0 continuous, 1163 integer (1163 binary) Root relaxation: objective 0.000000e+00, 270 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 200 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4330 simplex iterations) in 0.48 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 23:06:38 2012 Optimize a model with 4051 rows, 1415 columns and 12405 nonzeros Presolve time: 0.01s Presolved: 4051 rows, 1415 columns, 12405 nonzeros Variable types: 0 continuous, 1415 integer (1415 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 248 - 0.00000 - - 0s 0 0 0.00000 0 216 - 0.00000 - - 0s 0 0 0.00000 0 214 - 0.00000 - - 1s 0 0 0.00000 0 352 - 0.00000 - - 1s 0 0 0.00000 0 200 - 0.00000 - - 1s 0 0 0.00000 0 320 - 0.00000 - - 2s 0 0 0.00000 0 312 - 0.00000 - - 2s 0 0 0.00000 0 248 - 0.00000 - - 3s 0 0 0.00000 0 290 - 0.00000 - - 3s 0 0 0.00000 0 290 - 0.00000 - - 4s 0 2 0.00000 0 290 - 0.00000 - - 4s 10 8 0.00000 5 251 - 0.00000 - 362 5s 607 156 0.00000 6 196 - 0.00000 - 96.3 10s 611 158 0.00000 26 311 - 0.00000 - 95.7 15s 615 161 0.00000 27 275 - 0.00000 - 95.1 20s 710 168 infeasible 31 - 0.00000 - 160 25s 1018 82 0.00000 26 214 - 0.00000 - 180 30s 1329 62 0.00000 31 208 - 0.00000 - 190 35s 1633 64 infeasible 28 - 0.00000 - 198 40s 1950 61 0.00000 38 271 - 0.00000 - 202 45s 2300 65 0.00000 32 248 - 0.00000 - 202 50s 2675 56 infeasible 31 - 0.00000 - 202 55s 3041 50 infeasible 32 - 0.00000 - 202 60s 3362 81 0.00000 26 273 - 0.00000 - 204 65s 3704 83 0.00000 25 287 - 0.00000 - 205 70s 4035 66 0.00000 30 212 - 0.00000 - 206 75s 4451 69 infeasible 34 - 0.00000 - 204 80s 4829 63 infeasible 33 - 0.00000 - 204 85s 5211 85 0.00000 31 272 - 0.00000 - 204 90s 5621 73 infeasible 36 - 0.00000 - 203 95s 6003 59 0.00000 31 190 - 0.00000 - 203 100s 6409 61 infeasible 29 - 0.00000 - 202 105s 6779 55 0.00000 26 285 - 0.00000 - 202 110s 7151 67 0.00000 32 250 - 0.00000 - 202 115s 7493 109 infeasible 34 - 0.00000 - 202 120s 7813 153 infeasible 38 - 0.00000 - 203 125s 8292 200 infeasible 45 - 0.00000 - 202 130s 8680 214 0.00000 33 257 - 0.00000 - 202 135s 9069 175 0.00000 25 313 - 0.00000 - 202 140s 9439 191 infeasible 36 - 0.00000 - 202 145s 9870 191 infeasible 36 - 0.00000 - 201 150s 10226 181 infeasible 32 - 0.00000 - 201 155s 10588 183 infeasible 39 - 0.00000 - 201 160s 10993 252 infeasible 39 - 0.00000 - 201 165s 11364 247 infeasible 39 - 0.00000 - 201 170s 11761 252 0.00000 36 206 - 0.00000 - 201 175s 12166 254 0.00000 37 256 - 0.00000 - 201 180s 12551 241 0.00000 38 204 - 0.00000 - 201 185s *12692 0 39 0.0000000 0.00000 0.0% 201 186s Cutting planes: Clique: 2 Zero half: 14 Explored 12693 nodes (2576275 simplex iterations) in 186.61 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 23:09:45 2012 Optimize a model with 3266 rows, 1289 columns and 9924 nonzeros Presolve time: 0.01s Presolved: 3266 rows, 1289 columns, 9924 nonzeros Variable types: 0 continuous, 1289 integer (1289 binary) Root relaxation: objective 0.000000e+00, 265 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 0.00000 0 251 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 1s 0 0 0.00000 0 387 - 0.00000 - - 1s 0 0 0.00000 0 379 - 0.00000 - - 2s 0 0 0.00000 0 367 - 0.00000 - - 3s 0 0 0.00000 0 376 - 0.00000 - - 4s 0 0 0.00000 0 362 - 0.00000 - - 5s 0 0 0.00000 0 366 - 0.00000 - - 6s 0 0 0.00000 0 361 - 0.00000 - - 7s 0 0 0.00000 0 364 - 0.00000 - - 8s 0 0 0.00000 0 364 - 0.00000 - - 8s 0 2 0.00000 0 364 - 0.00000 - - 9s 25 5 infeasible 8 - 0.00000 - 354 10s Cutting planes: Clique: 20 Zero half: 19 Explored 41 nodes (47793 simplex iterations) in 10.47 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