current bounds on the number of colors: 0 -- 165 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:57:24 2012 Optimize a model with 59533 rows, 14254 columns and 191634 nonzeros Presolve time: 0.18s Presolved: 59533 rows, 14254 columns, 191634 nonzeros Variable types: 0 continuous, 14254 integer (14254 binary) Root relaxation: objective 0.000000e+00, 637 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 (1030 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 -- 82 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:57:25 2012 Optimize a model with 29849 rows, 7489 columns and 95817 nonzeros Presolve time: 0.14s Presolved: 29849 rows, 7489 columns, 95817 nonzeros Variable types: 0 continuous, 7489 integer (7489 binary) Root relaxation: objective 0.000000e+00, 451 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 (986 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 -- 41 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:57:25 2012 Optimize a model with 14645 rows, 4024 columns and 46740 nonzeros Presolve time: 0.05s Presolved: 14645 rows, 4024 columns, 46740 nonzeros Variable types: 0 continuous, 4024 integer (4024 binary) Root relaxation: objective 0.000000e+00, 353 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 (625 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:57:25 2012 Optimize a model with 7405 rows, 2374 columns and 23370 nonzeros Presolve time: 0.02s Presolved: 7405 rows, 2374 columns, 23370 nonzeros Variable types: 0 continuous, 2374 integer (2374 binary) Root relaxation: objective 0.000000e+00, 346 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 (651 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:57:26 2012 Optimize a model with 3785 rows, 1549 columns and 11685 nonzeros Presolve time: 0.01s Presolved: 3785 rows, 1549 columns, 11685 nonzeros Variable types: 0 continuous, 1549 integer (1549 binary) Root relaxation: objective 0.000000e+00, 377 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 (3550 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:57:26 2012 Optimize a model with 1613 rows, 1054 columns and 4674 nonzeros Presolve removed 165 rows and 165 columns Presolve time: 0.00s Presolved: 1448 rows, 889 columns, 4344 nonzeros Variable types: 0 continuous, 889 integer (889 binary) Root relaxation: objective 0.000000e+00, 169 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 165 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (691 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 Fri Dec 14 19:57:26 2012 Optimize a model with 2337 rows, 1219 columns and 7011 nonzeros Presolve time: 0.01s Presolved: 2337 rows, 1219 columns, 7011 nonzeros Variable types: 0 continuous, 1219 integer (1219 binary) Root relaxation: objective 0.000000e+00, 386 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 326 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 0s 0 0 0.00000 0 433 - 0.00000 - - 0s 0 0 0.00000 0 447 - 0.00000 - - 0s 0 0 0.00000 0 442 - 0.00000 - - 1s 0 0 0.00000 0 445 - 0.00000 - - 1s 0 0 0.00000 0 437 - 0.00000 - - 2s 0 0 0.00000 0 448 - 0.00000 - - 2s 0 0 0.00000 0 435 - 0.00000 - - 3s 0 0 infeasible 0 - 0.10000 - - 3s Cutting planes: Zero half: 936 Explored 0 nodes (19287 simplex iterations) in 3.39 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 Fri Dec 14 19:57:29 2012 Optimize a model with 3061 rows, 1384 columns and 9348 nonzeros Presolve time: 0.01s Presolved: 3061 rows, 1384 columns, 9348 nonzeros Variable types: 0 continuous, 1384 integer (1384 binary) Root relaxation: objective 0.000000e+00, 381 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 320 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 0s 0 0 0.00000 0 303 - 0.00000 - - 0s 0 0 0.00000 0 349 - 0.00000 - - 0s 0 0 0.00000 0 376 - 0.00000 - - 1s 0 0 0.00000 0 385 - 0.00000 - - 1s 0 0 0.00000 0 394 - 0.00000 - - 1s 0 0 0.00000 0 394 - 0.00000 - - 2s 0 2 0.00000 0 394 - 0.00000 - - 2s 547 114 0.00000 15 272 - 0.00000 - 90.0 5s 609 132 0.00000 14 339 - 0.00000 - 87.8 10s 788 94 0.00000 23 260 - 0.00000 - 144 15s 1237 76 infeasible 30 - 0.00000 - 157 20s 1693 54 infeasible 29 - 0.00000 - 165 25s 2163 62 infeasible 30 - 0.00000 - 168 30s 2650 59 infeasible 30 - 0.00000 - 172 35s 3157 74 infeasible 30 - 0.00000 - 171 40s 3632 121 0.00000 25 282 - 0.00000 - 173 45s 4104 103 infeasible 36 - 0.00000 - 174 50s 4542 77 infeasible 31 - 0.00000 - 176 55s 4972 67 0.00000 22 284 - 0.00000 - 177 60s 5382 69 infeasible 27 - 0.00000 - 180 65s 5792 51 0.00000 25 276 - 0.00000 - 182 70s 6208 27 infeasible 34 - 0.00000 - 183 75s 6653 14 infeasible 32 - 0.00000 - 184 80s 7041 12 infeasible 27 - 0.00000 - 185 85s Cutting planes: Gomory: 1 Zero half: 14 Explored 7106 nodes (1338611 simplex iterations) in 85.94 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