current bounds on the number of colors: 0 -- 210 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:28:05 2012 Optimize a model with 118440 rows, 23176 columns and 376740 nonzeros Presolve time: 0.40s Presolved: 118440 rows, 23176 columns, 376740 nonzeros Variable types: 0 continuous, 23176 integer (23176 binary) Root relaxation: objective 0.000000e+00, 546 iterations, 0.15 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 (1013 simplex iterations) in 0.72 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 -- 105 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:28:07 2012 Optimize a model with 58762 rows, 12046 columns and 186576 nonzeros Presolve time: 0.18s Presolved: 58762 rows, 12046 columns, 186576 nonzeros Variable types: 0 continuous, 12046 integer (12046 binary) Root relaxation: objective 0.000000e+00, 745 iterations, 0.06 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 (1235 simplex iterations) in 0.32 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:28:08 2012 Optimize a model with 29486 rows, 6586 columns and 93288 nonzeros Presolve time: 0.12s Presolved: 29486 rows, 6586 columns, 93288 nonzeros Variable types: 0 continuous, 6586 integer (6586 binary) Root relaxation: objective 0.000000e+00, 528 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 (999 simplex iterations) in 0.19 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:28:09 2012 Optimize a model with 14848 rows, 3856 columns and 46644 nonzeros Presolve time: 0.05s Presolved: 14848 rows, 3856 columns, 46644 nonzeros Variable types: 0 continuous, 3856 integer (3856 binary) Root relaxation: objective 0.000000e+00, 442 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 (851 simplex iterations) in 0.08 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:28:09 2012 Optimize a model with 6966 rows, 2386 columns and 21528 nonzeros Presolve time: 0.02s Presolved: 6966 rows, 2386 columns, 21528 nonzeros Variable types: 0 continuous, 2386 integer (2386 binary) Root relaxation: objective 0.000000e+00, 457 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 (2959 simplex iterations) in 0.20 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 13:28:10 2012 Optimize a model with 3588 rows, 1756 columns and 10764 nonzeros Presolve time: 0.01s Presolved: 3588 rows, 1756 columns, 10764 nonzeros Variable types: 0 continuous, 1756 integer (1756 binary) Root relaxation: objective 0.000000e+00, 498 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 416 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 3 Clique: 191 Zero half: 564 Explored 0 nodes (2491 simplex iterations) in 0.27 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 13:28:10 2012 Optimize a model with 4714 rows, 1966 columns and 14352 nonzeros Presolve time: 0.01s Presolved: 4714 rows, 1966 columns, 14352 nonzeros Variable types: 0 continuous, 1966 integer (1966 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 414 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 1s 0 0 0.00000 0 548 - 0.00000 - - 1s 0 0 0.00000 0 382 - 0.00000 - - 3s 0 0 0.00000 0 386 - 0.00000 - - 3s 0 0 0.00000 0 374 - 0.00000 - - 5s 0 0 0.00000 0 368 - 0.00000 - - 5s 0 0 0.00000 0 376 - 0.00000 - - 6s 0 0 0.00000 0 368 - 0.00000 - - 6s 0 0 0.00000 0 366 - 0.00000 - - 7s 0 0 0.00000 0 378 - 0.00000 - - 8s 0 0 0.00000 0 366 - 0.00000 - - 9s 0 0 0.00000 0 362 - 0.00000 - - 10s 0 0 0.00000 0 366 - 0.00000 - - 11s 0 0 0.00000 0 366 - 0.00000 - - 12s 0 2 0.00000 0 366 - 0.00000 - - 13s 18 8 infeasible 10 - 0.00000 - 460 15s 161 32 infeasible 16 - 0.00000 - 295 20s 360 31 0.00000 11 358 - 0.00000 - 272 25s 560 47 0.00000 18 463 - 0.00000 - 259 30s 604 55 0.00000 14 598 - 0.00000 - 260 35s 606 56 0.00000 11 380 - 0.00000 - 259 41s 608 58 0.00000 13 376 - 0.00000 - 259 46s 610 59 0.00000 16 417 - 0.00000 - 258 51s 654 66 0.00000 18 502 - 0.00000 - 346 55s 758 32 infeasible 22 - 0.00000 - 355 60s 855 5 infeasible 21 - 0.00000 - 364 65s Cutting planes: Gomory: 1 Zero half: 7 Explored 903 nodes (407766 simplex iterations) in 67.29 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 13:29:17 2012 Optimize a model with 5840 rows, 2176 columns and 17940 nonzeros Presolve time: 0.02s Presolved: 5840 rows, 2176 columns, 17940 nonzeros Variable types: 0 continuous, 2176 integer (2176 binary) Root relaxation: objective 0.000000e+00, 465 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 305 - 0.00000 - - 0s 0 0 0.00000 0 313 - 0.00000 - - 1s 0 0 0.00000 0 470 - 0.00000 - - 2s 0 0 0.00000 0 466 - 0.00000 - - 2s 0 0 0.00000 0 469 - 0.00000 - - 2s 0 0 0.00000 0 458 - 0.00000 - - 3s 0 0 0.00000 0 519 - 0.00000 - - 4s 0 0 0.00000 0 486 - 0.00000 - - 5s 0 0 0.00000 0 479 - 0.00000 - - 6s 0 0 0.00000 0 497 - 0.00000 - - 7s 0 0 0.00000 0 523 - 0.00000 - - 8s H 0 0 0.0000000 0.00000 0.0% - 8s Cutting planes: Zero half: 2 Explored 0 nodes (49749 simplex iterations) in 8.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% optimal solution found: number of colors: 5