current bounds on the number of colors: 0 -- 214 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:07:30 2012 Optimize a model with 124762 rows, 24062 columns and 396542 nonzeros Presolve time: 0.43s Presolved: 124762 rows, 24062 columns, 396542 nonzeros Variable types: 0 continuous, 24062 integer (24062 binary) Root relaxation: objective 0.000000e+00, 575 iterations, 0.16 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 (1312 simplex iterations) in 0.88 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 -- 107 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:07:33 2012 Optimize a model with 61906 rows, 12506 columns and 196418 nonzeros Presolve time: 0.18s Presolved: 61906 rows, 12506 columns, 196418 nonzeros Variable types: 0 continuous, 12506 integer (12506 binary) Root relaxation: objective 0.000000e+00, 663 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 (1171 simplex iterations) in 0.31 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:07:34 2012 Optimize a model with 30478 rows, 6728 columns and 96356 nonzeros Presolve time: 0.13s Presolved: 30478 rows, 6728 columns, 96356 nonzeros Variable types: 0 continuous, 6728 integer (6728 binary) Root relaxation: objective 0.000000e+00, 464 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 (862 simplex iterations) in 0.18 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 15:07:34 2012 Optimize a model with 15346 rows, 3946 columns and 48178 nonzeros Presolve time: 0.05s Presolved: 15346 rows, 3946 columns, 48178 nonzeros Variable types: 0 continuous, 3946 integer (3946 binary) Root relaxation: objective 0.000000e+00, 439 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 (816 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 15:07:34 2012 Optimize a model with 7198 rows, 2448 columns and 22236 nonzeros Presolve time: 0.02s Presolved: 7198 rows, 2448 columns, 22236 nonzeros Variable types: 0 continuous, 2448 integer (2448 binary) Root relaxation: objective 0.000000e+00, 463 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 96 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3327 simplex iterations) in 0.21 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 15:07:35 2012 Optimize a model with 3706 rows, 1806 columns and 11118 nonzeros Presolve time: 0.01s Presolved: 3706 rows, 1806 columns, 11118 nonzeros Variable types: 0 continuous, 1806 integer (1806 binary) Root relaxation: objective 0.000000e+00, 481 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 426 - 0.00000 - - 0s 0 0 0.00000 0 426 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6212 simplex iterations) in 0.93 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 15:07:36 2012 Optimize a model with 4870 rows, 2020 columns and 14824 nonzeros Presolve time: 0.01s Presolved: 4870 rows, 2020 columns, 14824 nonzeros Variable types: 0 continuous, 2020 integer (2020 binary) Root relaxation: objective 0.000000e+00, 502 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 422 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 0s 0 0 0.00000 0 435 - 0.00000 - - 1s 0 0 0.00000 0 414 - 0.00000 - - 1s 0 0 0.00000 0 601 - 0.00000 - - 1s 0 0 0.00000 0 400 - 0.00000 - - 3s 0 0 0.00000 0 396 - 0.00000 - - 4s 0 0 0.00000 0 392 - 0.00000 - - 5s 0 0 0.00000 0 390 - 0.00000 - - 6s 0 0 0.00000 0 387 - 0.00000 - - 7s 0 0 0.00000 0 392 - 0.00000 - - 8s 0 0 0.00000 0 390 - 0.00000 - - 9s 0 0 0.00000 0 400 - 0.00000 - - 10s 0 0 0.00000 0 372 - 0.00000 - - 11s 0 0 0.00000 0 372 - 0.00000 - - 13s 0 0 0.00000 0 376 - 0.00000 - - 14s 0 0 0.00000 0 376 - 0.00000 - - 14s 0 2 0.00000 0 375 - 0.00000 - - 15s 140 13 infeasible 18 - 0.00000 - 272 20s 336 28 infeasible 17 - 0.00000 - 250 25s 522 16 infeasible 13 - 0.00000 - 246 30s 681 17 0.00000 8 489 - 0.00000 - 251 35s 805 37 0.00000 19 411 - 0.00000 - 239 41s 807 38 0.00000 15 386 - 0.00000 - 238 46s 809 39 0.00000 7 380 - 0.00000 - 237 50s 811 41 0.00000 11 364 - 0.00000 - 237 57s 812 41 0.00000 7 370 - 0.00000 - 237 60s 868 43 infeasible 23 - 0.00000 - 322 65s 949 19 infeasible 26 - 0.00000 - 334 70s 1040 4 0.00000 26 486 - 0.00000 - 342 75s Cutting planes: Zero half: 26 Explored 1047 nodes (445869 simplex iterations) in 75.30 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 15:08:51 2012 Optimize a model with 6034 rows, 2234 columns and 18530 nonzeros Presolve time: 0.02s Presolved: 6034 rows, 2234 columns, 18530 nonzeros Variable types: 0 continuous, 2234 integer (2234 binary) Root relaxation: objective 0.000000e+00, 446 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 396 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 1s 0 0 0.00000 0 334 - 0.00000 - - 1s * 0 0 0 0.0000000 0.00000 0.0% - 1s Cutting planes: Gomory: 3 Clique: 1 Zero half: 242 Explored 0 nodes (11811 simplex iterations) in 1.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