current bounds on the number of colors: 0 -- 131 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:06:49 2012 Optimize a model with 55641 rows, 9369 columns and 175045 nonzeros Presolve time: 0.17s Presolved: 55641 rows, 9369 columns, 175045 nonzeros Variable types: 0 continuous, 9369 integer (9369 binary) Root relaxation: objective 0.000000e+00, 325 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 (608 simplex iterations) in 0.31 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 -- 65 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:06:50 2012 Optimize a model with 27459 rows, 5046 columns and 86176 nonzeros Presolve time: 0.13s Presolved: 27459 rows, 5046 columns, 86176 nonzeros Variable types: 0 continuous, 5046 integer (5046 binary) Root relaxation: objective 0.000000e+00, 313 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 (604 simplex iterations) in 0.19 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:06:50 2012 Optimize a model with 13795 rows, 2950 columns and 43088 nonzeros Presolve time: 0.05s Presolved: 13795 rows, 2950 columns, 43088 nonzeros Variable types: 0 continuous, 2950 integer (2950 binary) Root relaxation: objective 0.000000e+00, 274 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 (542 simplex iterations) in 0.07 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:06:50 2012 Optimize a model with 6963 rows, 1902 columns and 21544 nonzeros Presolve time: 0.02s Presolved: 6963 rows, 1902 columns, 21544 nonzeros Variable types: 0 continuous, 1902 integer (1902 binary) Root relaxation: objective 0.000000e+00, 264 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 (1023 simplex iterations) in 0.07 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:06:50 2012 Optimize a model with 3547 rows, 1378 columns and 10772 nonzeros Presolve time: 0.01s Presolved: 3547 rows, 1378 columns, 10772 nonzeros Variable types: 0 continuous, 1378 integer (1378 binary) Root relaxation: objective 0.000000e+00, 293 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 176 - 0.00000 - - 0s 0 0 0.00000 0 237 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 1s 0 0 0.00000 0 411 - 0.00000 - - 1s 0 0 0.00000 0 403 - 0.00000 - - 2s 0 0 0.00000 0 393 - 0.00000 - - 4s 0 0 0.00000 0 393 - 0.00000 - - 5s 0 0 0.00000 0 385 - 0.00000 - - 6s 0 0 0.00000 0 385 - 0.00000 - - 7s 0 0 0.00000 0 398 - 0.00000 - - 8s 0 0 0.00000 0 390 - 0.00000 - - 9s 0 0 0.00000 0 394 - 0.00000 - - 10s 0 0 0.00000 0 394 - 0.00000 - - 10s 0 2 0.00000 0 394 - 0.00000 - - 11s Cutting planes: Clique: 6 Zero half: 14 Explored 7 nodes (42029 simplex iterations) in 11.96 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:07:03 2012 Optimize a model with 5255 rows, 1640 columns and 16158 nonzeros Presolve time: 0.01s Presolved: 5255 rows, 1640 columns, 16158 nonzeros Variable types: 0 continuous, 1640 integer (1640 binary) Root relaxation: objective 0.000000e+00, 284 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 120 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2955 simplex iterations) in 0.24 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:07:03 2012 Optimize a model with 4401 rows, 1509 columns and 13465 nonzeros Presolve time: 0.01s Presolved: 4401 rows, 1509 columns, 13465 nonzeros Variable types: 0 continuous, 1509 integer (1509 binary) Root relaxation: objective 0.000000e+00, 276 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 214 - 0.00000 - - 0s 0 0 0.00000 0 204 - 0.00000 - - 1s 0 0 0.00000 0 350 - 0.00000 - - 1s 0 0 0.00000 0 174 - 0.00000 - - 2s 0 0 0.00000 0 272 - 0.00000 - - 2s 0 0 0.00000 0 185 - 0.00000 - - 3s 0 0 0.00000 0 182 - 0.00000 - - 3s 0 0 0.00000 0 237 - 0.00000 - - 4s 0 0 0.00000 0 204 - 0.00000 - - 5s 0 0 0.00000 0 255 - 0.00000 - - 5s 0 0 0.00000 0 255 - 0.00000 - - 6s 0 2 0.00000 0 255 - 0.00000 - - 6s 338 30 infeasible 18 - 0.00000 - 121 10s 705 52 0.00000 18 192 - 0.00000 - 112 16s 709 54 0.00000 20 245 - 0.00000 - 112 20s 712 56 0.00000 20 275 - 0.00000 - 111 27s 715 58 0.00000 16 264 - 0.00000 - 111 30s 870 32 infeasible 25 - 0.00000 - 198 35s 1085 25 infeasible 26 - 0.00000 - 214 40s 1294 54 0.00000 30 289 - 0.00000 - 224 45s 1524 72 infeasible 28 - 0.00000 - 230 50s 1739 71 infeasible 26 - 0.00000 - 237 55s 1954 56 infeasible 24 - 0.00000 - 243 60s 2180 66 infeasible 31 - 0.00000 - 245 65s 2389 87 infeasible 29 - 0.00000 - 248 70s 2585 111 infeasible 31 - 0.00000 - 252 75s 2803 113 0.00000 22 319 - 0.00000 - 254 80s 2998 114 infeasible 31 - 0.00000 - 257 85s 3238 130 infeasible 28 - 0.00000 - 257 90s 3431 137 0.00000 23 320 - 0.00000 - 259 95s 3626 132 infeasible 27 - 0.00000 - 261 100s 3820 130 infeasible 28 - 0.00000 - 264 105s 4040 122 infeasible 31 - 0.00000 - 264 110s 4233 113 infeasible 24 - 0.00000 - 266 115s 4427 103 0.00000 24 280 - 0.00000 - 268 120s 4636 108 infeasible 30 - 0.00000 - 268 125s 4826 100 infeasible 30 - 0.00000 - 270 130s 5062 116 infeasible 31 - 0.00000 - 269 135s 5286 104 0.00000 26 315 - 0.00000 - 269 140s 5507 115 0.00000 26 255 - 0.00000 - 269 145s 5719 101 0.00000 29 303 - 0.00000 - 269 150s 5928 106 infeasible 25 - 0.00000 - 269 155s 6155 89 0.00000 24 288 - 0.00000 - 269 160s 6376 88 infeasible 30 - 0.00000 - 269 165s 6608 86 0.00000 31 300 - 0.00000 - 269 170s 6809 81 infeasible 25 - 0.00000 - 269 175s 7002 82 infeasible 30 - 0.00000 - 270 180s 7207 69 0.00000 26 275 - 0.00000 - 271 185s 7443 65 0.00000 24 263 - 0.00000 - 270 190s 7626 60 0.00000 26 297 - 0.00000 - 272 195s 7839 61 0.00000 28 283 - 0.00000 - 272 200s 8055 51 infeasible 24 - 0.00000 - 272 205s 8266 48 0.00000 31 274 - 0.00000 - 272 210s 8484 54 infeasible 31 - 0.00000 - 272 215s 8702 42 infeasible 28 - 0.00000 - 272 220s 8899 33 infeasible 27 - 0.00000 - 273 225s 9087 23 0.00000 25 313 - 0.00000 - 273 230s 9275 25 0.00000 27 301 - 0.00000 - 274 235s 9497 19 infeasible 27 - 0.00000 - 274 240s 9689 17 infeasible 30 - 0.00000 - 274 245s 9896 6 0.00000 23 308 - 0.00000 - 274 250s 10097 3 infeasible 28 - 0.00000 - 275 255s Cutting planes: Clique: 4 Zero half: 14 Explored 10175 nodes (2838530 simplex iterations) in 256.95 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 6