current bounds on the number of colors: 0 -- 192 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:48:33 2012 Optimize a model with 89568 rows, 19363 columns and 286560 nonzeros Presolve time: 0.29s Presolved: 89568 rows, 19363 columns, 286560 nonzeros Variable types: 0 continuous, 19363 integer (19363 binary) Root relaxation: objective 0.000000e+00, 860 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 (1309 simplex iterations) in 0.54 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 -- 96 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:48:34 2012 Optimize a model with 44880 rows, 10147 columns and 143280 nonzeros Presolve time: 0.15s Presolved: 44880 rows, 10147 columns, 143280 nonzeros Variable types: 0 continuous, 10147 integer (10147 binary) Root relaxation: objective 0.000000e+00, 616 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 (1062 simplex iterations) in 0.26 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:48:35 2012 Optimize a model with 22536 rows, 5539 columns and 71640 nonzeros Presolve time: 0.09s Presolved: 22536 rows, 5539 columns, 71640 nonzeros Variable types: 0 continuous, 5539 integer (5539 binary) Root relaxation: objective 0.000000e+00, 440 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 (799 simplex iterations) in 0.14 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:48:36 2012 Optimize a model with 11364 rows, 3235 columns and 35820 nonzeros Presolve time: 0.04s Presolved: 11364 rows, 3235 columns, 35820 nonzeros Variable types: 0 continuous, 3235 integer (3235 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 (996 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 05:48:36 2012 Optimize a model with 5778 rows, 2083 columns and 17910 nonzeros Presolve time: 0.02s Presolved: 5778 rows, 2083 columns, 17910 nonzeros Variable types: 0 continuous, 2083 integer (2083 binary) Root relaxation: objective 0.000000e+00, 405 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 (1661 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:48:36 2012 Optimize a model with 2985 rows, 1507 columns and 8955 nonzeros Presolve time: 0.01s Presolved: 2985 rows, 1507 columns, 8955 nonzeros Variable types: 0 continuous, 1507 integer (1507 binary) Root relaxation: objective 0.000000e+00, 462 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 382 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5424 simplex iterations) in 0.66 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 05:48:37 2012 Optimize a model with 3916 rows, 1699 columns and 11940 nonzeros Presolve time: 0.01s Presolved: 3916 rows, 1699 columns, 11940 nonzeros Variable types: 0 continuous, 1699 integer (1699 binary) Root relaxation: objective 0.000000e+00, 462 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 380 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 0s 0 0 0.00000 0 489 - 0.00000 - - 1s 0 0 0.00000 0 350 - 0.00000 - - 1s 0 0 0.00000 0 344 - 0.00000 - - 2s 0 0 0.00000 0 338 - 0.00000 - - 2s 0 0 0.00000 0 343 - 0.00000 - - 3s 0 0 0.00000 0 336 - 0.00000 - - 3s 0 0 0.00000 0 338 - 0.00000 - - 4s 0 0 0.00000 0 338 - 0.00000 - - 4s 0 0 0.00000 0 330 - 0.00000 - - 5s 0 0 0.00000 0 324 - 0.00000 - - 5s 0 0 0.00000 0 312 - 0.00000 - - 6s 0 0 0.00000 0 318 - 0.00000 - - 6s 0 0 0.00000 0 318 - 0.00000 - - 6s 0 2 0.00000 0 318 - 0.00000 - - 7s 252 40 0.00000 18 357 - 0.00000 - 132 10s 669 66 infeasible 16 - 0.00000 - 153 15s 1103 68 0.00000 6 356 - 0.00000 - 151 20s 1106 70 0.00000 27 332 - 0.00000 - 150 25s 1110 73 0.00000 8 312 - 0.00000 - 150 31s 1113 75 0.00000 14 290 - 0.00000 - 149 36s 1116 77 0.00000 15 287 - 0.00000 - 149 41s 1121 80 0.00000 13 474 - 0.00000 - 216 45s 1156 84 0.00000 23 425 - 0.00000 - 217 50s 1339 36 0.00000 30 336 - 0.00000 - 226 55s 1548 33 infeasible 31 - 0.00000 - 232 60s 1771 44 0.00000 29 328 - 0.00000 - 235 65s 1959 42 infeasible 23 - 0.00000 - 241 70s 2144 57 0.00000 29 342 - 0.00000 - 247 75s 2368 43 0.00000 28 355 - 0.00000 - 249 80s 2561 36 0.00000 27 438 - 0.00000 - 252 85s 2793 44 0.00000 28 332 - 0.00000 - 253 90s 3011 36 0.00000 21 450 - 0.00000 - 256 95s 3242 43 0.00000 26 328 - 0.00000 - 256 100s 3487 52 0.00000 31 365 - 0.00000 - 257 105s 3746 81 infeasible 28 - 0.00000 - 256 110s 3970 71 infeasible 30 - 0.00000 - 258 115s 4191 64 infeasible 24 - 0.00000 - 259 120s 4410 41 0.00000 23 330 - 0.00000 - 260 125s 4639 44 0.00000 30 346 - 0.00000 - 261 130s 4828 29 0.00000 32 438 - 0.00000 - 263 135s 5062 37 infeasible 30 - 0.00000 - 263 140s 5325 42 infeasible 32 - 0.00000 - 262 145s 5547 26 infeasible 27 - 0.00000 - 263 150s 5798 35 infeasible 27 - 0.00000 - 263 155s 6020 27 infeasible 22 - 0.00000 - 263 160s 6251 32 infeasible 22 - 0.00000 - 263 165s 6475 26 infeasible 33 - 0.00000 - 264 170s 6717 24 infeasible 27 - 0.00000 - 264 175s 6939 28 0.00000 21 352 - 0.00000 - 264 180s 7181 32 0.00000 24 338 - 0.00000 - 264 185s 7377 22 infeasible 28 - 0.00000 - 264 190s 7577 16 infeasible 31 - 0.00000 - 265 195s 7784 13 0.00000 25 350 - 0.00000 - 266 200s Cutting planes: Clique: 1 Zero half: 15 Explored 7866 nodes (2146305 simplex iterations) in 202.09 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 05:51:59 2012 Optimize a model with 4847 rows, 1891 columns and 14925 nonzeros Presolve time: 0.01s Presolved: 4847 rows, 1891 columns, 14925 nonzeros Variable types: 0 continuous, 1891 integer (1891 binary) Root relaxation: objective 0.000000e+00, 433 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 326 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4580 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% optimal solution found: number of colors: 5