current bounds on the number of colors: 0 -- 138 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:14:58 2012 Optimize a model with 71691 rows, 10559 columns and 224181 nonzeros Presolve time: 0.19s Presolved: 71691 rows, 10559 columns, 224181 nonzeros Variable types: 0 continuous, 10559 integer (10559 binary) Root relaxation: objective 0.000000e+00, 333 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 (717 simplex iterations) in 0.38 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 09:14:59 2012 Optimize a model with 35396 rows, 5729 columns and 110466 nonzeros Presolve time: 0.15s Presolved: 35396 rows, 5729 columns, 110466 nonzeros Variable types: 0 continuous, 5729 integer (5729 binary) Root relaxation: objective 0.000000e+00, 331 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 (652 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: 0 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:14:59 2012 Optimize a model with 17767 rows, 3383 columns and 55233 nonzeros Presolve time: 0.06s Presolved: 17767 rows, 3383 columns, 55233 nonzeros Variable types: 0 continuous, 3383 integer (3383 binary) Root relaxation: objective 0.000000e+00, 376 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 (957 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:15:00 2012 Optimize a model with 8434 rows, 2141 columns and 25992 nonzeros Presolve time: 0.02s Presolved: 8434 rows, 2141 columns, 25992 nonzeros Variable types: 0 continuous, 2141 integer (2141 binary) Root relaxation: objective 0.000000e+00, 288 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 (1563 simplex iterations) in 0.10 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:15:00 2012 Optimize a model with 4286 rows, 1589 columns and 12996 nonzeros Presolve time: 0.01s Presolved: 4286 rows, 1589 columns, 12996 nonzeros Variable types: 0 continuous, 1589 integer (1589 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 212 - 0.00000 - - 0s 0 0 0.00000 0 182 - 0.00000 - - 0s 0 0 0.00000 0 463 - 0.00000 - - 2s 0 0 0.00000 0 468 - 0.00000 - - 2s 0 0 0.00000 0 457 - 0.00000 - - 3s 0 0 0.00000 0 457 - 0.00000 - - 4s 0 0 0.00000 0 455 - 0.00000 - - 5s 0 0 0.00000 0 468 - 0.00000 - - 6s 0 0 0.00000 0 468 - 0.00000 - - 6s 0 2 0.00000 0 468 - 0.00000 - - 8s Cutting planes: Clique: 26 Zero half: 21 Explored 5 nodes (42404 simplex iterations) in 8.42 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:15:08 2012 Optimize a model with 6360 rows, 1865 columns and 19494 nonzeros Presolve time: 0.02s Presolved: 6360 rows, 1865 columns, 19494 nonzeros Variable types: 0 continuous, 1865 integer (1865 binary) Root relaxation: objective 0.000000e+00, 290 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 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 1 Clique: 449 MIR: 14 Zero half: 462 Explored 0 nodes (2975 simplex iterations) in 0.37 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:15:09 2012 Optimize a model with 5323 rows, 1727 columns and 16245 nonzeros Presolve time: 0.01s Presolved: 5323 rows, 1727 columns, 16245 nonzeros Variable types: 0 continuous, 1727 integer (1727 binary) Root relaxation: objective 0.000000e+00, 309 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 274 - 0.00000 - - 0s 0 0 0.00000 0 393 - 0.00000 - - 0s 0 0 0.00000 0 421 - 0.00000 - - 1s 0 0 0.00000 0 416 - 0.00000 - - 2s 0 0 0.00000 0 415 - 0.00000 - - 2s 0 0 0.00000 0 410 - 0.00000 - - 2s 0 0 0.00000 0 409 - 0.00000 - - 2s 0 0 0.00000 0 403 - 0.00000 - - 2s 0 0 0.00000 0 415 - 0.00000 - - 3s 0 0 0.00000 0 416 - 0.00000 - - 3s 0 0 0.00000 0 425 - 0.00000 - - 4s 0 0 0.00000 0 382 - 0.00000 - - 6s 0 0 0.00000 0 391 - 0.00000 - - 7s 0 0 0.00000 0 391 - 0.00000 - - 7s 0 2 0.00000 0 391 - 0.00000 - - 9s 33 21 0.00000 19 313 - 0.00000 - 333 10s 284 21 0.00000 16 302 - 0.00000 - 205 15s 534 25 0.00000 12 345 - 0.00000 - 188 20s 605 46 0.00000 9 416 - 0.00000 - 183 29s 606 46 0.00000 8 409 - 0.00000 - 183 31s 607 47 0.00000 12 401 - 0.00000 - 182 35s 609 48 0.00000 14 392 - 0.00000 - 182 40s 610 49 0.00000 7 356 - 0.00000 - 181 45s 612 50 0.00000 9 369 - 0.00000 - 181 50s 614 52 0.00000 11 356 - 0.00000 - 180 55s 616 53 0.00000 12 363 - 0.00000 - 180 60s 619 55 0.00000 12 365 - 0.00000 - 179 65s 680 58 0.00000 22 373 - 0.00000 - 294 70s 778 33 infeasible 26 - 0.00000 - 307 75s 876 36 infeasible 27 - 0.00000 - 318 80s 991 65 infeasible 33 - 0.00000 - 323 85s 1099 67 0.00000 27 346 - 0.00000 - 327 90s 1207 63 0.00000 29 329 - 0.00000 - 332 95s 1303 65 0.00000 27 362 - 0.00000 - 338 100s 1396 62 0.00000 29 363 - 0.00000 - 345 105s 1502 68 0.00000 26 348 - 0.00000 - 347 110s 1609 67 0.00000 26 351 - 0.00000 - 350 115s 1702 68 infeasible 27 - 0.00000 - 354 120s 1809 71 infeasible 29 - 0.00000 - 356 125s 1908 72 0.00000 23 340 - 0.00000 - 359 130s 2006 68 infeasible 26 - 0.00000 - 361 135s 2100 74 infeasible 30 - 0.00000 - 364 140s 2196 72 0.00000 26 352 - 0.00000 - 367 145s 2301 75 infeasible 27 - 0.00000 - 368 150s 2410 74 infeasible 33 - 0.00000 - 368 155s 2512 72 0.00000 23 335 - 0.00000 - 369 160s 2632 78 0.00000 26 327 - 0.00000 - 368 165s 2739 75 infeasible 27 - 0.00000 - 368 170s 2844 78 0.00000 25 347 - 0.00000 - 369 175s 2935 73 0.00000 27 330 - 0.00000 - 371 180s 3020 62 infeasible 28 - 0.00000 - 374 185s 3119 63 infeasible 26 - 0.00000 - 376 190s 3217 53 infeasible 25 - 0.00000 - 377 195s 3318 58 infeasible 29 - 0.00000 - 377 200s 3410 50 0.00000 28 365 - 0.00000 - 379 205s 3508 44 infeasible 31 - 0.00000 - 380 210s 3596 32 infeasible 26 - 0.00000 - 382 215s 3699 27 infeasible 27 - 0.00000 - 382 220s 3789 29 0.00000 26 356 - 0.00000 - 384 225s 3891 27 infeasible 25 - 0.00000 - 384 230s 3978 28 infeasible 27 - 0.00000 - 386 235s 4082 24 infeasible 31 - 0.00000 - 386 240s 4189 21 infeasible 27 - 0.00000 - 386 245s 4293 29 0.00000 29 344 - 0.00000 - 386 250s 4389 33 0.00000 27 348 - 0.00000 - 387 255s 4481 31 0.00000 30 354 - 0.00000 - 388 260s 4570 26 0.00000 26 358 - 0.00000 - 389 265s 4661 27 0.00000 23 349 - 0.00000 - 390 270s 4764 38 0.00000 30 348 - 0.00000 - 391 275s 4853 41 0.00000 29 348 - 0.00000 - 392 280s 4948 38 0.00000 28 360 - 0.00000 - 392 285s Cutting planes: Clique: 7 Zero half: 14 Explored 4984 nodes (1988683 simplex iterations) in 287.05 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