current bounds on the number of colors: 0 -- 184 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:47:23 2012 Optimize a model with 76912 rows, 17762 columns and 247112 nonzeros Presolve time: 0.24s Presolved: 76912 rows, 17762 columns, 247112 nonzeros Variable types: 0 continuous, 17762 integer (17762 binary) Root relaxation: objective 0.000000e+00, 798 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 (1205 simplex iterations) in 0.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: 0 -- 92 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:47:25 2012 Optimize a model with 38548 rows, 9298 columns and 123556 nonzeros Presolve time: 0.16s Presolved: 38548 rows, 9298 columns, 123556 nonzeros Variable types: 0 continuous, 9298 integer (9298 binary) Root relaxation: objective 0.000000e+00, 588 iterations, 0.03 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 (1019 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 -- 46 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:47:25 2012 Optimize a model with 19366 rows, 5066 columns and 61778 nonzeros Presolve time: 0.08s Presolved: 19366 rows, 5066 columns, 61778 nonzeros Variable types: 0 continuous, 5066 integer (5066 binary) Root relaxation: objective 0.000000e+00, 438 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 (778 simplex iterations) in 0.11 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:47:26 2012 Optimize a model with 9358 rows, 2858 columns and 29546 nonzeros Presolve time: 0.03s Presolved: 9358 rows, 2858 columns, 29546 nonzeros Variable types: 0 continuous, 2858 integer (2858 binary) Root relaxation: objective 0.000000e+00, 395 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 (738 simplex iterations) in 0.06 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:47:26 2012 Optimize a model with 4354 rows, 1754 columns and 13430 nonzeros Presolve time: 0.01s Presolved: 4354 rows, 1754 columns, 13430 nonzeros Variable types: 0 continuous, 1754 integer (1754 binary) Root relaxation: objective 0.000000e+00, 390 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 74 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4325 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:47:26 2012 Optimize a model with 1852 rows, 1202 columns and 5372 nonzeros Presolve removed 184 rows and 184 columns Presolve time: 0.00s Presolved: 1668 rows, 1018 columns, 5004 nonzeros Variable types: 0 continuous, 1018 integer (1018 binary) Root relaxation: objective 0.000000e+00, 189 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 184 - 0.00000 - - 0s Explored 0 nodes (792 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:47:26 2012 Optimize a model with 2686 rows, 1386 columns and 8058 nonzeros Presolve time: 0.01s Presolved: 2686 rows, 1386 columns, 8058 nonzeros Variable types: 0 continuous, 1386 integer (1386 binary) Root relaxation: objective 0.000000e+00, 411 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 356 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 0s 0 0 0.00000 0 473 - 0.00000 - - 0s 0 0 0.00000 0 495 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 3 Zero half: 930 Explored 0 nodes (8395 simplex iterations) in 1.07 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:47:27 2012 Optimize a model with 3520 rows, 1570 columns and 10744 nonzeros Presolve time: 0.01s Presolved: 3520 rows, 1570 columns, 10744 nonzeros Variable types: 0 continuous, 1570 integer (1570 binary) Root relaxation: objective 0.000000e+00, 403 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 346 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 0s 0 0 0.00000 0 328 - 0.00000 - - 1s 0 0 0.00000 0 324 - 0.00000 - - 1s 0 0 0.00000 0 324 - 0.00000 - - 1s 0 0 0.00000 0 318 - 0.00000 - - 2s 0 0 0.00000 0 306 - 0.00000 - - 2s 0 0 0.00000 0 310 - 0.00000 - - 2s 0 0 0.00000 0 292 - 0.00000 - - 3s 0 0 0.00000 0 302 - 0.00000 - - 3s 0 0 0.00000 0 302 - 0.00000 - - 3s 0 2 0.00000 0 300 - 0.00000 - - 4s 119 41 0.00000 16 306 - 0.00000 - 138 5s 605 152 0.00000 9 323 - 0.00000 - 120 10s 609 154 0.00000 16 282 - 0.00000 - 119 15s 614 158 0.00000 15 250 - 0.00000 - 118 21s 620 162 infeasible 11 - 0.00000 - 219 25s 731 156 infeasible 19 - 0.00000 - 217 30s 1049 76 0.00000 22 318 - 0.00000 - 216 35s 1402 69 0.00000 27 312 - 0.00000 - 214 40s 1797 68 infeasible 26 - 0.00000 - 212 45s 2114 77 0.00000 20 312 - 0.00000 - 215 50s 2445 82 infeasible 29 - 0.00000 - 216 55s 2743 68 0.00000 20 379 - 0.00000 - 219 60s 3071 58 0.00000 18 404 - 0.00000 - 219 65s 3457 70 infeasible 20 - 0.00000 - 218 70s 3792 67 0.00000 18 322 - 0.00000 - 219 75s 4117 64 0.00000 26 359 - 0.00000 - 220 80s 4449 54 0.00000 21 333 - 0.00000 - 220 85s 4825 78 0.00000 27 300 - 0.00000 - 220 90s 5125 78 0.00000 23 359 - 0.00000 - 221 95s 5460 75 0.00000 20 365 - 0.00000 - 222 100s 5760 47 infeasible 25 - 0.00000 - 223 105s 6066 29 infeasible 26 - 0.00000 - 224 110s 6330 5 infeasible 19 - 0.00000 - 225 115s Cutting planes: Zero half: 20 Explored 6456 nodes (1494783 simplex iterations) in 117.12 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5