current bounds on the number of colors: 0 -- 138 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:59:57 2012 Optimize a model with 67206 rows, 10494 columns and 210726 nonzeros Presolve time: 0.20s Presolved: 67206 rows, 10494 columns, 210726 nonzeros Variable types: 0 continuous, 10494 integer (10494 binary) Root relaxation: objective 0.000000e+00, 368 iterations, 0.08 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.43 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 -- 69 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:59:58 2012 Optimize a model with 33186 rows, 5664 columns and 103836 nonzeros Presolve time: 0.15s Presolved: 33186 rows, 5664 columns, 103836 nonzeros Variable types: 0 continuous, 5664 integer (5664 binary) Root relaxation: objective 0.000000e+00, 403 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 (759 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:59:59 2012 Optimize a model with 16662 rows, 3318 columns and 51918 nonzeros Presolve time: 0.06s Presolved: 16662 rows, 3318 columns, 51918 nonzeros Variable types: 0 continuous, 3318 integer (3318 binary) Root relaxation: objective 0.000000e+00, 409 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 (805 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:59:59 2012 Optimize a model with 7914 rows, 2076 columns and 24432 nonzeros Presolve time: 0.02s Presolved: 7914 rows, 2076 columns, 24432 nonzeros Variable types: 0 continuous, 2076 integer (2076 binary) Root relaxation: objective 0.000000e+00, 281 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 (1024 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:00:00 2012 Optimize a model with 4026 rows, 1524 columns and 12216 nonzeros Presolve time: 0.01s Presolved: 4026 rows, 1524 columns, 12216 nonzeros Variable types: 0 continuous, 1524 integer (1524 binary) Root relaxation: objective 0.000000e+00, 291 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 276 - 0.00000 - - 0s 0 0 0.00000 0 275 - 0.00000 - - 0s 0 0 0.00000 0 425 - 0.00000 - - 1s 0 0 0.00000 0 439 - 0.00000 - - 2s 0 0 0.00000 0 431 - 0.00000 - - 3s 0 0 0.00000 0 421 - 0.00000 - - 4s 0 0 0.00000 0 431 - 0.00000 - - 5s 0 0 0.00000 0 428 - 0.00000 - - 6s 0 0 0.00000 0 432 - 0.00000 - - 7s 0 0 0.00000 0 430 - 0.00000 - - 8s 0 0 0.00000 0 419 - 0.00000 - - 9s 0 0 0.00000 0 425 - 0.00000 - - 10s 0 0 0.00000 0 425 - 0.00000 - - 10s 0 2 0.00000 0 425 - 0.00000 - - 12s Cutting planes: Clique: 21 Zero half: 20 Explored 5 nodes (50827 simplex iterations) in 12.32 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 09:00:12 2012 Optimize a model with 5970 rows, 1800 columns and 18324 nonzeros Presolve time: 0.02s Presolved: 5970 rows, 1800 columns, 18324 nonzeros Variable types: 0 continuous, 1800 integer (1800 binary) Root relaxation: objective 0.000000e+00, 287 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 268 - 0.00000 - - 0s 0 0 0.00000 0 266 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 1s 0 0 0.00000 0 344 - 0.00000 - - 1s 0 0 0.00000 0 369 - 0.00000 - - 1s 0 0 0.00000 0 347 - 0.00000 - - 2s 0 0 0.00000 0 322 - 0.00000 - - 2s 0 0 0.00000 0 295 - 0.00000 - - 3s H 0 0 0.0000000 0.00000 0.0% - 3s Cutting planes: Clique: 11 Explored 0 nodes (26691 simplex iterations) in 3.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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:00:16 2012 Optimize a model with 4998 rows, 1662 columns and 15270 nonzeros Presolve time: 0.01s Presolved: 4998 rows, 1662 columns, 15270 nonzeros Variable types: 0 continuous, 1662 integer (1662 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 264 - 0.00000 - - 0s 0 0 0.00000 0 254 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 1s 0 0 0.00000 0 373 - 0.00000 - - 1s 0 0 0.00000 0 372 - 0.00000 - - 2s 0 0 0.00000 0 374 - 0.00000 - - 3s 0 0 0.00000 0 368 - 0.00000 - - 4s 0 0 0.00000 0 327 - 0.00000 - - 4s 0 0 0.00000 0 342 - 0.00000 - - 5s 0 0 0.00000 0 305 - 0.00000 - - 6s 0 0 0.00000 0 284 - 0.00000 - - 7s 0 0 0.00000 0 285 - 0.00000 - - 8s 0 0 0.00000 0 318 - 0.00000 - - 9s 0 0 0.00000 0 318 - 0.00000 - - 9s 0 2 0.00000 0 318 - 0.00000 - - 10s 224 28 0.00000 23 261 - 0.00000 - 191 15s 618 16 0.00000 16 277 - 0.00000 - 159 20s 705 29 0.00000 12 373 - 0.00000 - 158 26s 707 30 0.00000 2 367 - 0.00000 - 158 30s 709 31 0.00000 8 359 - 0.00000 - 157 35s 711 33 0.00000 5 362 - 0.00000 - 157 40s 715 35 0.00000 10 354 - 0.00000 - 156 45s 796 33 infeasible 27 - 0.00000 - 231 50s 941 33 infeasible 29 - 0.00000 - 248 55s 1086 38 0.00000 29 242 - 0.00000 - 259 60s 1233 35 0.00000 27 321 - 0.00000 - 268 65s 1379 37 0.00000 27 307 - 0.00000 - 275 70s 1506 24 infeasible 27 - 0.00000 - 284 75s 1645 23 0.00000 25 327 - 0.00000 - 289 80s 1799 33 infeasible 35 - 0.00000 - 292 85s 1937 35 0.00000 27 332 - 0.00000 - 297 90s 2054 30 infeasible 31 - 0.00000 - 303 95s 2185 27 infeasible 34 - 0.00000 - 306 100s 2305 25 infeasible 32 - 0.00000 - 310 105s 2445 27 0.00000 27 323 - 0.00000 - 312 110s 2606 36 0.00000 30 308 - 0.00000 - 312 115s 2755 39 0.00000 29 325 - 0.00000 - 313 120s 2897 35 0.00000 27 343 - 0.00000 - 314 125s 3022 36 infeasible 31 - 0.00000 - 317 130s 3143 41 infeasible 33 - 0.00000 - 320 135s 3287 35 infeasible 27 - 0.00000 - 321 140s 3412 28 0.00000 31 336 - 0.00000 - 323 145s 3536 22 infeasible 25 - 0.00000 - 325 150s 3653 27 0.00000 26 294 - 0.00000 - 327 155s 3773 23 infeasible 27 - 0.00000 - 330 160s 3898 22 infeasible 27 - 0.00000 - 331 165s 4015 17 0.00000 26 346 - 0.00000 - 333 170s 4137 25 0.00000 32 289 - 0.00000 - 334 175s 4264 26 0.00000 29 322 - 0.00000 - 335 180s 4381 29 infeasible 31 - 0.00000 - 337 185s 4513 27 infeasible 27 - 0.00000 - 338 190s 4636 22 infeasible 30 - 0.00000 - 339 195s 4764 22 0.00000 33 316 - 0.00000 - 340 200s 4889 27 0.00000 31 336 - 0.00000 - 340 205s 5013 31 0.00000 30 336 - 0.00000 - 341 210s 5155 53 0.00000 25 331 - 0.00000 - 341 215s 5279 43 0.00000 26 324 - 0.00000 - 342 220s 5405 47 0.00000 29 319 - 0.00000 - 343 225s 5531 51 0.00000 29 335 - 0.00000 - 344 230s 5651 51 infeasible 32 - 0.00000 - 345 235s 5785 41 infeasible 26 - 0.00000 - 346 240s 5913 45 0.00000 28 351 - 0.00000 - 347 245s 6038 36 0.00000 28 321 - 0.00000 - 347 250s 6166 40 0.00000 31 319 - 0.00000 - 348 255s 6304 42 infeasible 28 - 0.00000 - 348 260s 6432 34 0.00000 28 322 - 0.00000 - 349 265s 6553 35 infeasible 32 - 0.00000 - 350 270s 6678 34 0.00000 23 316 - 0.00000 - 351 275s 6807 31 infeasible 24 - 0.00000 - 351 280s Cutting planes: Gomory: 1 Clique: 16 Zero half: 14 Explored 6810 nodes (2444672 simplex iterations) in 280.16 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