current bounds on the number of colors: 0 -- 198 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:29:11 2012 Optimize a model with 98703 rows, 20597 columns and 315117 nonzeros Presolve time: 0.33s Presolved: 98703 rows, 20597 columns, 315117 nonzeros Variable types: 0 continuous, 20597 integer (20597 binary) Root relaxation: objective 0.000000e+00, 834 iterations, 0.10 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 (1295 simplex iterations) in 0.58 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 -- 99 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:29:13 2012 Optimize a model with 48953 rows, 10697 columns and 155967 nonzeros Presolve time: 0.16s Presolved: 48953 rows, 10697 columns, 155967 nonzeros Variable types: 0 continuous, 10697 integer (10697 binary) Root relaxation: objective 0.000000e+00, 683 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 (1156 simplex iterations) in 0.28 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:29:14 2012 Optimize a model with 24078 rows, 5747 columns and 76392 nonzeros Presolve time: 0.10s Presolved: 24078 rows, 5747 columns, 76392 nonzeros Variable types: 0 continuous, 5747 integer (5747 binary) Root relaxation: objective 0.000000e+00, 429 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 (833 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 08:29:14 2012 Optimize a model with 12138 rows, 3371 columns and 38196 nonzeros Presolve time: 0.04s Presolved: 12138 rows, 3371 columns, 38196 nonzeros Variable types: 0 continuous, 3371 integer (3371 binary) Root relaxation: objective 0.000000e+00, 409 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 (777 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 08:29:14 2012 Optimize a model with 6168 rows, 2183 columns and 19098 nonzeros Presolve time: 0.02s Presolved: 6168 rows, 2183 columns, 19098 nonzeros Variable types: 0 continuous, 2183 integer (2183 binary) Root relaxation: objective 0.000000e+00, 417 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 (1788 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 08:29:14 2012 Optimize a model with 3183 rows, 1589 columns and 9549 nonzeros Presolve time: 0.01s Presolved: 3183 rows, 1589 columns, 9549 nonzeros Variable types: 0 continuous, 1589 integer (1589 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.00000 0 298 - 0.00000 - - 0s 0 0 0.00000 0 382 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (7156 simplex iterations) in 0.83 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 08:29:15 2012 Optimize a model with 4178 rows, 1787 columns and 12732 nonzeros Presolve time: 0.01s Presolved: 4178 rows, 1787 columns, 12732 nonzeros Variable types: 0 continuous, 1787 integer (1787 binary) Root relaxation: objective 0.000000e+00, 434 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 386 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 0 0.00000 0 453 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 2s 0 0 0.00000 0 376 - 0.00000 - - 2s 0 0 0.00000 0 369 - 0.00000 - - 3s 0 0 0.00000 0 361 - 0.00000 - - 4s 0 0 0.00000 0 350 - 0.00000 - - 4s 0 0 0.00000 0 342 - 0.00000 - - 5s 0 0 0.00000 0 344 - 0.00000 - - 5s 0 0 0.00000 0 346 - 0.00000 - - 6s 0 0 0.00000 0 342 - 0.00000 - - 6s 0 0 0.00000 0 364 - 0.00000 - - 7s 0 0 0.00000 0 364 - 0.00000 - - 7s 0 2 0.00000 0 364 - 0.00000 - - 8s 119 25 0.00000 14 392 - 0.00000 - 183 10s 603 57 0.00000 6 384 - 0.00000 - 150 15s 607 60 0.00000 12 332 - 0.00000 - 149 21s 609 61 0.00000 20 320 - 0.00000 - 149 25s 612 63 0.00000 12 441 - 0.00000 - 148 31s 689 77 0.00000 28 377 - 0.00000 - 237 35s 879 31 infeasible 31 - 0.00000 - 249 40s 1085 29 infeasible 25 - 0.00000 - 254 45s 1305 47 infeasible 27 - 0.00000 - 256 50s 1525 45 0.00000 26 368 - 0.00000 - 257 55s 1723 53 infeasible 30 - 0.00000 - 260 60s 1933 49 infeasible 26 - 0.00000 - 263 65s 2112 38 infeasible 28 - 0.00000 - 267 70s 2292 26 infeasible 25 - 0.00000 - 270 75s 2500 18 infeasible 31 - 0.00000 - 271 80s 2692 6 infeasible 30 - 0.00000 - 272 85s Cutting planes: Zero half: 35 Explored 2725 nodes (799503 simplex iterations) in 86.03 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 08:30:42 2012 Optimize a model with 5173 rows, 1985 columns and 15915 nonzeros Presolve time: 0.01s Presolved: 5173 rows, 1985 columns, 15915 nonzeros Variable types: 0 continuous, 1985 integer (1985 binary) Root relaxation: objective 0.000000e+00, 431 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 177 - 0.00000 - - 0s 0 0 0.00000 0 172 - 0.00000 - - 0s Cutting planes: Clique: 11 Zero half: 3 Explored 0 nodes (6849 simplex iterations) in 0.58 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