current bounds on the number of colors: 0 -- 144 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:34:27 2012 Optimize a model with 75672 rows, 11417 columns and 236952 nonzeros Presolve time: 0.21s Presolved: 75672 rows, 11417 columns, 236952 nonzeros Variable types: 0 continuous, 11417 integer (11417 binary) Root relaxation: objective 0.000000e+00, 381 iterations, 0.09 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 (781 simplex iterations) in 0.41 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 -- 72 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:34:28 2012 Optimize a model with 37908 rows, 6233 columns and 118476 nonzeros Presolve time: 0.15s Presolved: 37908 rows, 6233 columns, 118476 nonzeros Variable types: 0 continuous, 6233 integer (6233 binary) Root relaxation: objective 0.000000e+00, 348 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 (673 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:34:29 2012 Optimize a model with 19026 rows, 3641 columns and 59238 nonzeros Presolve time: 0.07s Presolved: 19026 rows, 3641 columns, 59238 nonzeros Variable types: 0 continuous, 3641 integer (3641 binary) Root relaxation: objective 0.000000e+00, 421 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 (826 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:34:29 2012 Optimize a model with 9585 rows, 2345 columns and 29619 nonzeros Presolve time: 0.03s Presolved: 9585 rows, 2345 columns, 29619 nonzeros Variable types: 0 continuous, 2345 integer (2345 binary) Root relaxation: objective 0.000000e+00, 302 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 (1029 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:34:29 2012 Optimize a model with 4340 rows, 1625 columns and 13164 nonzeros Presolve time: 0.01s Presolved: 4340 rows, 1625 columns, 13164 nonzeros Variable types: 0 continuous, 1625 integer (1625 binary) Root relaxation: objective 0.000000e+00, 306 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 190 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 0 0.00000 0 455 - 0.00000 - - 1s 0 0 0.00000 0 469 - 0.00000 - - 2s 0 0 0.00000 0 459 - 0.00000 - - 3s 0 0 0.00000 0 469 - 0.00000 - - 3s 0 0 0.00000 0 463 - 0.00000 - - 4s 0 0 0.00000 0 453 - 0.00000 - - 5s 0 0 0.00000 0 446 - 0.00000 - - 6s 0 0 0.00000 0 442 - 0.00000 - - 7s 0 0 0.00000 0 457 - 0.00000 - - 8s 0 0 0.00000 0 459 - 0.00000 - - 9s 0 0 0.00000 0 459 - 0.00000 - - 9s 0 2 0.00000 0 459 - 0.00000 - - 11s Cutting planes: Clique: 39 Zero half: 23 Explored 31 nodes (63322 simplex iterations) in 12.87 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:34:42 2012 Optimize a model with 6438 rows, 1913 columns and 19746 nonzeros Presolve time: 0.02s Presolved: 6438 rows, 1913 columns, 19746 nonzeros Variable types: 0 continuous, 1913 integer (1913 binary) Root relaxation: objective 0.000000e+00, 297 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 152 - 0.00000 - - 0s 0 0 0.00000 0 235 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 1s 0 0 0.00000 0 350 - 0.00000 - - 1s 0 0 0.00000 0 336 - 0.00000 - - 2s 0 0 0.00000 0 377 - 0.00000 - - 3s 0 0 0.00000 0 397 - 0.00000 - - 4s 0 0 0.00000 0 373 - 0.00000 - - 5s 0 0 0.00000 0 406 - 0.00000 - - 6s 0 0 0.00000 0 348 - 0.00000 - - 7s 0 2 0.00000 0 348 - 0.00000 - - 7s * 69 3 39 0.0000000 0.00000 0.0% 110 8s Cutting planes: Clique: 4 Explored 70 nodes (50818 simplex iterations) in 8.75 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 13:34:51 2012 Optimize a model with 5389 rows, 1769 columns and 16455 nonzeros Presolve time: 0.01s Presolved: 5389 rows, 1769 columns, 16455 nonzeros Variable types: 0 continuous, 1769 integer (1769 binary) Root relaxation: objective 0.000000e+00, 294 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 284 - 0.00000 - - 0s 0 0 0.00000 0 208 - 0.00000 - - 0s 0 0 0.00000 0 395 - 0.00000 - - 2s 0 0 0.00000 0 386 - 0.00000 - - 2s 0 0 0.00000 0 419 - 0.00000 - - 2s 0 0 0.00000 0 331 - 0.00000 - - 3s 0 0 0.00000 0 335 - 0.00000 - - 4s 0 0 0.00000 0 340 - 0.00000 - - 5s 0 0 0.00000 0 364 - 0.00000 - - 6s 0 0 0.00000 0 363 - 0.00000 - - 8s 0 0 0.00000 0 392 - 0.00000 - - 9s 0 0 0.00000 0 347 - 0.00000 - - 10s 0 2 0.00000 0 347 - 0.00000 - - 11s 199 33 infeasible 20 - 0.00000 - 199 15s 559 29 0.00000 20 310 - 0.00000 - 166 20s 894 25 0.00000 14 337 - 0.00000 - 165 25s 1005 35 0.00000 14 395 - 0.00000 - 165 30s 1007 36 0.00000 12 351 - 0.00000 - 165 35s 1009 37 0.00000 14 313 - 0.00000 - 165 40s 1011 39 0.00000 14 319 - 0.00000 - 164 45s 1013 40 0.00000 6 316 - 0.00000 - 164 50s 1015 41 0.00000 14 357 - 0.00000 - 164 55s 1023 47 0.00000 17 359 - 0.00000 - 226 60s 1061 56 0.00000 26 371 - 0.00000 - 229 65s 1172 37 infeasible 30 - 0.00000 - 243 70s 1296 57 infeasible 34 - 0.00000 - 252 75s 1417 70 0.00000 28 338 - 0.00000 - 261 80s 1550 101 0.00000 36 330 - 0.00000 - 266 85s 1678 101 infeasible 35 - 0.00000 - 273 90s 1793 110 infeasible 27 - 0.00000 - 279 95s 1909 128 0.00000 31 352 - 0.00000 - 284 100s 2028 121 infeasible 44 - 0.00000 - 289 105s 2161 132 0.00000 40 333 - 0.00000 - 292 110s 2278 147 0.00000 29 341 - 0.00000 - 296 115s 2422 177 infeasible 35 - 0.00000 - 298 120s 2545 164 0.00000 36 337 - 0.00000 - 302 125s 2660 151 0.00000 35 322 - 0.00000 - 306 130s 2775 148 0.00000 39 342 - 0.00000 - 309 135s 2903 154 infeasible 36 - 0.00000 - 312 140s 3027 156 0.00000 35 339 - 0.00000 - 314 145s 3151 162 0.00000 27 345 - 0.00000 - 316 150s 3260 163 0.00000 31 333 - 0.00000 - 319 155s 3419 202 0.00000 29 310 - 0.00000 - 318 160s 3583 190 0.00000 30 335 - 0.00000 - 318 165s 3730 195 infeasible 34 - 0.00000 - 318 170s 3874 183 0.00000 22 338 - 0.00000 - 318 175s 4025 194 infeasible 33 - 0.00000 - 319 180s 4171 218 0.00000 30 330 - 0.00000 - 319 185s 4295 208 infeasible 27 - 0.00000 - 320 190s 4439 210 infeasible 33 - 0.00000 - 321 195s 4570 203 infeasible 33 - 0.00000 - 322 200s 4709 218 0.00000 32 322 - 0.00000 - 322 205s 4831 200 infeasible 34 - 0.00000 - 324 210s 4960 201 0.00000 27 339 - 0.00000 - 325 215s 5083 202 infeasible 31 - 0.00000 - 326 220s 5226 213 infeasible 31 - 0.00000 - 326 225s 5367 196 0.00000 34 262 - 0.00000 - 327 230s 5485 182 infeasible 30 - 0.00000 - 328 235s 5627 230 0.00000 31 331 - 0.00000 - 328 240s 5734 219 0.00000 30 331 - 0.00000 - 330 245s 5866 229 0.00000 38 337 - 0.00000 - 330 250s 5989 232 infeasible 29 - 0.00000 - 331 255s 6130 237 infeasible 28 - 0.00000 - 331 260s 6251 232 infeasible 32 - 0.00000 - 332 265s 6372 215 0.00000 30 343 - 0.00000 - 333 270s Cutting planes: Clique: 8 Zero half: 15 Explored 6478 nodes (2209114 simplex iterations) in 274.04 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 6