current bounds on the number of colors: 0 -- 146 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:44:28 2012 Optimize a model with 78694 rows, 11734 columns and 246302 nonzeros Presolve time: 0.22s Presolved: 78694 rows, 11734 columns, 246302 nonzeros Variable types: 0 continuous, 11734 integer (11734 binary) Root relaxation: objective 0.000000e+00, 364 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 (784 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 -- 73 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:44:30 2012 Optimize a model with 38882 rows, 6332 columns and 121464 nonzeros Presolve time: 0.15s Presolved: 38882 rows, 6332 columns, 121464 nonzeros Variable types: 0 continuous, 6332 integer (6332 binary) Root relaxation: objective 0.000000e+00, 347 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 (687 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:44:30 2012 Optimize a model with 19514 rows, 3704 columns and 60732 nonzeros Presolve time: 0.07s Presolved: 19514 rows, 3704 columns, 60732 nonzeros Variable types: 0 continuous, 3704 integer (3704 binary) Root relaxation: objective 0.000000e+00, 418 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 (823 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 15:44:31 2012 Optimize a model with 9830 rows, 2390 columns and 30366 nonzeros Presolve time: 0.03s Presolved: 9830 rows, 2390 columns, 30366 nonzeros Variable types: 0 continuous, 2390 integer (2390 binary) Root relaxation: objective 0.000000e+00, 311 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 (674 simplex iterations) in 0.05 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 15:44:31 2012 Optimize a model with 4450 rows, 1660 columns and 13496 nonzeros Presolve time: 0.01s Presolved: 4450 rows, 1660 columns, 13496 nonzeros Variable types: 0 continuous, 1660 integer (1660 binary) Root relaxation: objective 0.000000e+00, 313 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 224 - 0.00000 - - 0s 0 0 0.00000 0 180 - 0.00000 - - 0s 0 0 0.00000 0 474 - 0.00000 - - 2s 0 0 0.00000 0 483 - 0.00000 - - 2s 0 0 0.00000 0 471 - 0.00000 - - 3s 0 0 0.00000 0 476 - 0.00000 - - 4s 0 0 0.00000 0 478 - 0.00000 - - 5s 0 0 0.00000 0 461 - 0.00000 - - 6s 0 0 0.00000 0 460 - 0.00000 - - 8s 0 0 0.00000 0 446 - 0.00000 - - 10s 0 0 0.00000 0 451 - 0.00000 - - 11s 0 0 0.00000 0 453 - 0.00000 - - 13s 0 0 0.00000 0 452 - 0.00000 - - 13s 0 2 0.00000 0 449 - 0.00000 - - 14s 1 2 infeasible 1 - 0.00000 - 3423 15s Cutting planes: Clique: 19 Zero half: 15 Explored 3 nodes (57953 simplex iterations) in 15.07 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 15:44:46 2012 Optimize a model with 6602 rows, 1952 columns and 20244 nonzeros Presolve time: 0.02s Presolved: 6602 rows, 1952 columns, 20244 nonzeros Variable types: 0 continuous, 1952 integer (1952 binary) Root relaxation: objective 0.000000e+00, 301 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 213 - 0.00000 - - 0s 0 0 0.00000 0 245 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 2s 0 0 0.00000 0 277 - 0.00000 - - 2s 0 0 0.00000 0 318 - 0.00000 - - 3s 0 0 0.00000 0 365 - 0.00000 - - 5s 0 0 0.00000 0 350 - 0.00000 - - 6s 0 0 0.00000 0 392 - 0.00000 - - 7s 0 0 0.00000 0 417 - 0.00000 - - 8s 0 0 0.00000 0 285 - 0.00000 - - 8s 0 2 0.00000 0 285 - 0.00000 - - 9s 24 22 0.00000 14 278 - 0.00000 - 231 10s H 55 5 0.0000000 0.00000 0.0% 151 10s Cutting planes: Clique: 7 Explored 55 nodes (63185 simplex iterations) in 10.44 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 15:44:57 2012 Optimize a model with 5526 rows, 1806 columns and 16870 nonzeros Presolve time: 0.01s Presolved: 5526 rows, 1806 columns, 16870 nonzeros Variable types: 0 continuous, 1806 integer (1806 binary) Root relaxation: objective 0.000000e+00, 301 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 176 - 0.00000 - - 0s 0 0 0.00000 0 394 - 0.00000 - - 0s 0 0 0.00000 0 416 - 0.00000 - - 2s 0 0 0.00000 0 409 - 0.00000 - - 2s 0 0 0.00000 0 423 - 0.00000 - - 2s 0 0 0.00000 0 389 - 0.00000 - - 3s 0 0 0.00000 0 391 - 0.00000 - - 4s 0 0 0.00000 0 371 - 0.00000 - - 6s 0 0 0.00000 0 380 - 0.00000 - - 7s 0 0 0.00000 0 373 - 0.00000 - - 8s 0 0 0.00000 0 375 - 0.00000 - - 9s 0 0 0.00000 0 388 - 0.00000 - - 10s 0 0 0.00000 0 388 - 0.00000 - - 10s 0 2 0.00000 0 388 - 0.00000 - - 11s 106 28 0.00000 18 326 - 0.00000 - 242 15s 359 25 0.00000 17 334 - 0.00000 - 204 20s 598 43 0.00000 13 270 - 0.00000 - 199 25s 605 48 0.00000 12 420 - 0.00000 - 197 31s 606 48 0.00000 10 416 - 0.00000 - 196 36s 607 49 0.00000 10 408 - 0.00000 - 196 40s 609 50 0.00000 7 404 - 0.00000 - 195 47s 610 51 0.00000 3 401 - 0.00000 - 195 51s 612 52 0.00000 10 399 - 0.00000 - 194 58s 613 53 0.00000 11 402 - 0.00000 - 194 61s 614 54 0.00000 10 395 - 0.00000 - 194 65s 616 55 0.00000 9 369 - 0.00000 - 193 70s 619 57 0.00000 12 356 - 0.00000 - 192 77s 621 58 0.00000 10 357 - 0.00000 - 192 80s 693 60 0.00000 20 363 - 0.00000 - 319 85s 781 35 infeasible 25 - 0.00000 - 333 90s 883 22 infeasible 21 - 0.00000 - 341 95s 987 28 infeasible 22 - 0.00000 - 347 100s 1076 41 0.00000 27 350 - 0.00000 - 354 105s 1175 38 0.00000 22 386 - 0.00000 - 359 110s 1269 38 infeasible 24 - 0.00000 - 364 115s 1379 40 0.00000 24 347 - 0.00000 - 366 120s 1475 28 infeasible 25 - 0.00000 - 371 125s 1571 30 0.00000 23 360 - 0.00000 - 375 130s 1670 25 infeasible 21 - 0.00000 - 377 135s 1780 29 infeasible 23 - 0.00000 - 377 140s 1870 25 infeasible 22 - 0.00000 - 380 145s 1970 29 0.00000 23 362 - 0.00000 - 382 150s 2053 20 infeasible 24 - 0.00000 - 386 155s 2146 19 0.00000 20 365 - 0.00000 - 388 160s 2240 25 0.00000 24 363 - 0.00000 - 390 165s 2333 14 0.00000 26 386 - 0.00000 - 392 170s 2423 10 infeasible 24 - 0.00000 - 395 175s 2520 5 0.00000 22 356 - 0.00000 - 396 180s Cutting planes: Clique: 5 Zero half: 5 Explored 2544 nodes (1055515 simplex iterations) in 181.23 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 6