current bounds on the number of colors: 0 -- 180 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:09:12 2012 Optimize a model with 74520 rows, 17026 columns and 239220 nonzeros Presolve time: 0.23s Presolved: 74520 rows, 17026 columns, 239220 nonzeros Variable types: 0 continuous, 17026 integer (17026 binary) Root relaxation: objective 0.000000e+00, 617 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 (991 simplex iterations) in 0.39 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 -- 90 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:09:13 2012 Optimize a model with 37350 rows, 8926 columns and 119610 nonzeros Presolve time: 0.15s Presolved: 37350 rows, 8926 columns, 119610 nonzeros Variable types: 0 continuous, 8926 integer (8926 binary) Root relaxation: objective 0.000000e+00, 482 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 (839 simplex iterations) in 0.22 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:09:14 2012 Optimize a model with 18352 rows, 4786 columns and 58476 nonzeros Presolve time: 0.07s Presolved: 18352 rows, 4786 columns, 58476 nonzeros Variable types: 0 continuous, 4786 integer (4786 binary) Root relaxation: objective 0.000000e+00, 374 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 (678 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:09:14 2012 Optimize a model with 9266 rows, 2806 columns and 29238 nonzeros Presolve time: 0.03s Presolved: 9266 rows, 2806 columns, 29238 nonzeros Variable types: 0 continuous, 2806 integer (2806 binary) Root relaxation: objective 0.000000e+00, 373 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 (705 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:09:15 2012 Optimize a model with 4310 rows, 1726 columns and 13290 nonzeros Presolve time: 0.01s Presolved: 4310 rows, 1726 columns, 13290 nonzeros Variable types: 0 continuous, 1726 integer (1726 binary) Root relaxation: objective 0.000000e+00, 393 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 105 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3900 simplex iterations) in 0.27 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 01:09:15 2012 Optimize a model with 1832 rows, 1186 columns and 5316 nonzeros Presolve removed 180 rows and 180 columns Presolve time: 0.00s Presolved: 1652 rows, 1006 columns, 4956 nonzeros Variable types: 0 continuous, 1006 integer (1006 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 180 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (787 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 01:09:15 2012 Optimize a model with 2658 rows, 1366 columns and 7974 nonzeros Presolve time: 0.01s Presolved: 2658 rows, 1366 columns, 7974 nonzeros Variable types: 0 continuous, 1366 integer (1366 binary) Root relaxation: objective 0.000000e+00, 423 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 360 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 0s 0 0 0.00000 0 474 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 38 Zero half: 891 Explored 0 nodes (7618 simplex iterations) in 1.06 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 01:09:16 2012 Optimize a model with 3484 rows, 1546 columns and 10632 nonzeros Presolve time: 0.01s Presolved: 3484 rows, 1546 columns, 10632 nonzeros Variable types: 0 continuous, 1546 integer (1546 binary) Root relaxation: objective 0.000000e+00, 408 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 352 - 0.00000 - - 0s 0 0 0.00000 0 300 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 0.00000 0 468 - 0.00000 - - 0s 0 0 0.00000 0 445 - 0.00000 - - 1s 0 0 0.00000 0 376 - 0.00000 - - 2s 0 0 0.00000 0 248 - 0.00000 - - 2s 0 0 0.00000 0 258 - 0.00000 - - 3s 0 0 0.00000 0 238 - 0.00000 - - 3s 0 0 0.00000 0 251 - 0.00000 - - 4s 0 0 0.00000 0 246 - 0.00000 - - 4s 0 0 0.00000 0 237 - 0.00000 - - 5s 0 0 0.00000 0 239 - 0.00000 - - 5s 0 0 0.00000 0 218 - 0.00000 - - 5s 0 0 0.00000 0 216 - 0.00000 - - 6s 0 0 0.00000 0 244 - 0.00000 - - 6s 0 0 0.00000 0 244 - 0.00000 - - 7s 0 2 0.00000 0 244 - 0.00000 - - 7s 249 34 infeasible 20 - 0.00000 - 129 10s 704 67 0.00000 12 476 - 0.00000 - 130 15s 709 70 0.00000 24 312 - 0.00000 - 129 20s 712 72 0.00000 21 256 - 0.00000 - 129 25s 716 75 0.00000 12 273 - 0.00000 - 128 30s 921 32 0.00000 13 396 - 0.00000 - 218 35s 1175 37 infeasible 23 - 0.00000 - 227 40s 1404 44 0.00000 17 414 - 0.00000 - 237 45s 1674 46 infeasible 22 - 0.00000 - 240 50s 1943 51 0.00000 26 335 - 0.00000 - 241 55s 2194 32 infeasible 22 - 0.00000 - 245 60s 2442 26 infeasible 26 - 0.00000 - 246 65s 2677 3 0.00000 14 411 - 0.00000 - 249 70s Cutting planes: Zero half: 11 Explored 2725 nodes (736358 simplex iterations) in 71.06 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