current bounds on the number of colors: 0 -- 166 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:02:38 2012 Optimize a model with 62167 rows, 14525 columns and 199781 nonzeros Presolve time: 0.19s Presolved: 62167 rows, 14525 columns, 199781 nonzeros Variable types: 0 continuous, 14525 integer (14525 binary) Root relaxation: objective 0.000000e+00, 579 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 (965 simplex iterations) in 0.35 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 -- 83 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:02:39 2012 Optimize a model with 30793 rows, 7553 columns and 98687 nonzeros Presolve time: 0.14s Presolved: 30793 rows, 7553 columns, 98687 nonzeros Variable types: 0 continuous, 7553 integer (7553 binary) Root relaxation: objective 0.000000e+00, 490 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 (835 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 -- 41 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:02:39 2012 Optimize a model with 15106 rows, 4067 columns and 48140 nonzeros Presolve time: 0.06s Presolved: 15106 rows, 4067 columns, 48140 nonzeros Variable types: 0 continuous, 4067 integer (4067 binary) Root relaxation: objective 0.000000e+00, 368 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 (676 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:02:40 2012 Optimize a model with 7636 rows, 2407 columns and 24070 nonzeros Presolve time: 0.02s Presolved: 7636 rows, 2407 columns, 24070 nonzeros Variable types: 0 continuous, 2407 integer (2407 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 (661 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 20:02:40 2012 Optimize a model with 3901 rows, 1577 columns and 12035 nonzeros Presolve time: 0.01s Presolved: 3901 rows, 1577 columns, 12035 nonzeros Variable types: 0 continuous, 1577 integer (1577 binary) Root relaxation: objective 0.000000e+00, 368 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 66 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3546 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:02:40 2012 Optimize a model with 1660 rows, 1079 columns and 4814 nonzeros Presolve removed 166 rows and 166 columns Presolve time: 0.00s Presolved: 1494 rows, 913 columns, 4482 nonzeros Variable types: 0 continuous, 913 integer (913 binary) Root relaxation: objective 0.000000e+00, 173 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 166 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (682 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 20:02:40 2012 Optimize a model with 2407 rows, 1245 columns and 7221 nonzeros Presolve time: 0.01s Presolved: 2407 rows, 1245 columns, 7221 nonzeros Variable types: 0 continuous, 1245 integer (1245 binary) Root relaxation: objective 0.000000e+00, 378 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 238 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6008 simplex iterations) in 0.51 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 20:02:41 2012 Optimize a model with 3154 rows, 1411 columns and 9628 nonzeros Presolve time: 0.01s Presolved: 3154 rows, 1411 columns, 9628 nonzeros Variable types: 0 continuous, 1411 integer (1411 binary) Root relaxation: objective 0.000000e+00, 383 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 318 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 0.00000 0 310 - 0.00000 - - 0s 0 0 0.00000 0 298 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 1s 0 0 0.00000 0 286 - 0.00000 - - 1s 0 0 0.00000 0 282 - 0.00000 - - 1s 0 0 0.00000 0 282 - 0.00000 - - 2s 0 0 0.00000 0 268 - 0.00000 - - 2s 0 0 0.00000 0 258 - 0.00000 - - 2s 0 0 0.00000 0 254 - 0.00000 - - 3s 0 0 0.00000 0 248 - 0.00000 - - 3s 0 0 0.00000 0 228 - 0.00000 - - 3s 0 0 0.00000 0 307 - 0.00000 - - 4s 0 0 0.00000 0 351 - 0.00000 - - 4s 0 0 0.00000 0 208 - 0.00000 - - 4s 0 2 0.00000 0 206 - 0.00000 - - 5s 894 66 infeasible 27 - 0.00000 - 103 10s 1307 80 0.00000 12 258 - 0.00000 - 99.1 15s 1314 85 0.00000 15 392 - 0.00000 - 98.6 20s 1437 99 infeasible 29 - 0.00000 - 136 25s 1963 87 0.00000 23 290 - 0.00000 - 144 30s 2394 102 0.00000 27 284 - 0.00000 - 154 35s 2825 83 0.00000 27 339 - 0.00000 - 160 40s 3292 66 0.00000 26 264 - 0.00000 - 162 45s 3715 43 0.00000 27 284 - 0.00000 - 166 50s 4142 20 0.00000 28 376 - 0.00000 - 169 55s Cutting planes: Gomory: 1 Zero half: 12 Explored 4329 nodes (786396 simplex iterations) in 57.49 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