current bounds on the number of colors: 0 -- 205 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:19:53 2012 Optimize a model with 109855 rows, 21985 columns and 349860 nonzeros Presolve time: 0.36s Presolved: 109855 rows, 21985 columns, 349860 nonzeros Variable types: 0 continuous, 21985 integer (21985 binary) Root relaxation: objective 0.000000e+00, 868 iterations, 0.11 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 (1401 simplex iterations) in 0.64 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 -- 102 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:19:55 2012 Optimize a model with 55030 rows, 11530 columns and 174930 nonzeros Presolve time: 0.16s Presolved: 55030 rows, 11530 columns, 174930 nonzeros Variable types: 0 continuous, 11530 integer (11530 binary) Root relaxation: objective 0.000000e+00, 717 iterations, 0.05 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 (1201 simplex iterations) in 0.30 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:19:56 2012 Optimize a model with 27080 rows, 6200 columns and 85750 nonzeros Presolve time: 0.11s Presolved: 27080 rows, 6200 columns, 85750 nonzeros Variable types: 0 continuous, 6200 integer (6200 binary) Root relaxation: objective 0.000000e+00, 492 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 (920 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:19:56 2012 Optimize a model with 13105 rows, 3535 columns and 41160 nonzeros Presolve time: 0.04s Presolved: 13105 rows, 3535 columns, 41160 nonzeros Variable types: 0 continuous, 3535 integer (3535 binary) Root relaxation: objective 0.000000e+00, 420 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 (850 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:19:56 2012 Optimize a model with 6655 rows, 2305 columns and 20580 nonzeros Presolve time: 0.02s Presolved: 6655 rows, 2305 columns, 20580 nonzeros Variable types: 0 continuous, 2305 integer (2305 binary) Root relaxation: objective 0.000000e+00, 444 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 (1861 simplex iterations) in 0.09 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:19:57 2012 Optimize a model with 3430 rows, 1690 columns and 10290 nonzeros Presolve time: 0.01s Presolved: 3430 rows, 1690 columns, 10290 nonzeros Variable types: 0 continuous, 1690 integer (1690 binary) Root relaxation: objective 0.000000e+00, 464 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 320 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (7762 simplex iterations) in 1.11 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:19:58 2012 Optimize a model with 4505 rows, 1895 columns and 13720 nonzeros Presolve time: 0.01s Presolved: 4505 rows, 1895 columns, 13720 nonzeros Variable types: 0 continuous, 1895 integer (1895 binary) Root relaxation: objective 0.000000e+00, 459 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 398 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 0 0.00000 0 553 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 2s 0 0 0.00000 0 366 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 4s 0 0 0.00000 0 370 - 0.00000 - - 5s 0 0 0.00000 0 368 - 0.00000 - - 6s 0 0 0.00000 0 370 - 0.00000 - - 7s 0 0 0.00000 0 370 - 0.00000 - - 7s 0 2 0.00000 0 370 - 0.00000 - - 8s 72 24 0.00000 12 476 - 0.00000 - 232 10s 427 51 0.00000 17 431 - 0.00000 - 167 15s 709 57 0.00000 3 384 - 0.00000 - 154 20s 711 59 0.00000 9 366 - 0.00000 - 154 25s 713 60 0.00000 3 384 - 0.00000 - 153 30s 715 61 0.00000 12 350 - 0.00000 - 153 36s 717 63 0.00000 3 328 - 0.00000 - 152 40s 719 64 0.00000 20 365 - 0.00000 - 152 46s 721 65 0.00000 9 494 - 0.00000 - 151 50s 788 72 0.00000 24 504 - 0.00000 - 277 55s 901 41 0.00000 25 471 - 0.00000 - 294 60s 1009 37 0.00000 25 364 - 0.00000 - 304 65s 1125 35 infeasible 22 - 0.00000 - 313 70s 1226 38 infeasible 27 - 0.00000 - 322 75s 1343 63 infeasible 38 - 0.00000 - 325 80s 1451 63 infeasible 35 - 0.00000 - 333 85s 1547 61 infeasible 34 - 0.00000 - 340 90s 1661 69 0.00000 29 495 - 0.00000 - 343 95s 1757 61 infeasible 31 - 0.00000 - 348 100s 1875 71 infeasible 28 - 0.00000 - 349 105s 1971 75 infeasible 31 - 0.00000 - 354 110s 2063 71 0.00000 28 496 - 0.00000 - 358 115s 2179 59 infeasible 27 - 0.00000 - 360 120s 2276 66 infeasible 29 - 0.00000 - 363 125s 2366 64 infeasible 30 - 0.00000 - 367 130s 2466 62 0.00000 26 474 - 0.00000 - 371 135s 2573 57 0.00000 28 520 - 0.00000 - 372 140s 2668 50 0.00000 27 462 - 0.00000 - 375 145s 2764 52 infeasible 27 - 0.00000 - 377 150s 2860 50 infeasible 26 - 0.00000 - 379 155s 2955 41 0.00000 21 386 - 0.00000 - 381 160s 3057 43 infeasible 26 - 0.00000 - 383 165s 3156 44 infeasible 27 - 0.00000 - 385 170s 3260 38 infeasible 23 - 0.00000 - 386 175s 3362 32 infeasible 31 - 0.00000 - 387 180s 3474 32 infeasible 32 - 0.00000 - 387 185s 3565 23 0.00000 28 518 - 0.00000 - 389 190s 3654 16 0.00000 25 433 - 0.00000 - 391 195s 3752 4 infeasible 27 - 0.00000 - 393 200s 3859 9 0.00000 29 416 - 0.00000 - 393 205s Cutting planes: Zero half: 28 Explored 3889 nodes (1579955 simplex iterations) in 206.88 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:23:25 2012 Optimize a model with 5580 rows, 2100 columns and 17150 nonzeros Presolve time: 0.02s Presolved: 5580 rows, 2100 columns, 17150 nonzeros Variable types: 0 continuous, 2100 integer (2100 binary) Root relaxation: objective 0.000000e+00, 453 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 392 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 0.00000 0 488 - 0.00000 - - 1s 0 0 0.00000 0 506 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 2s H 0 0 0.0000000 0.00000 0.0% - 2s Cutting planes: Clique: 1 Explored 0 nodes (16239 simplex iterations) in 2.45 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% optimal solution found: number of colors: 5