current bounds on the number of colors: 0 -- 173 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:51:37 2012 Optimize a model with 71209 rows, 15704 columns and 227986 nonzeros Presolve time: 0.22s Presolved: 71209 rows, 15704 columns, 227986 nonzeros Variable types: 0 continuous, 15704 integer (15704 binary) Root relaxation: objective 0.000000e+00, 567 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 (897 simplex iterations) in 0.36 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 -- 86 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:51:38 2012 Optimize a model with 35691 rows, 8265 columns and 113993 nonzeros Presolve time: 0.15s Presolved: 35691 rows, 8265 columns, 113993 nonzeros Variable types: 0 continuous, 8265 integer (8265 binary) Root relaxation: objective 0.000000e+00, 529 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 (935 simplex iterations) in 0.23 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 -- 43 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:51:39 2012 Optimize a model with 17519 rows, 4459 columns and 55671 nonzeros Presolve time: 0.07s Presolved: 17519 rows, 4459 columns, 55671 nonzeros Variable types: 0 continuous, 4459 integer (4459 binary) Root relaxation: objective 0.000000e+00, 357 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 (699 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:51:39 2012 Optimize a model with 8433 rows, 2556 columns and 26510 nonzeros Presolve time: 0.03s Presolved: 8433 rows, 2556 columns, 26510 nonzeros Variable types: 0 continuous, 2556 integer (2556 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 (713 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:51:40 2012 Optimize a model with 4303 rows, 1691 columns and 13255 nonzeros Presolve time: 0.01s Presolved: 4303 rows, 1691 columns, 13255 nonzeros Variable types: 0 continuous, 1691 integer (1691 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 (3292 simplex iterations) in 0.20 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 21:51:40 2012 Optimize a model with 1825 rows, 1172 columns and 5302 nonzeros Presolve removed 173 rows and 173 columns Presolve time: 0.00s Presolved: 1652 rows, 999 columns, 4956 nonzeros Variable types: 0 continuous, 999 integer (999 binary) Root relaxation: objective 0.000000e+00, 178 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 173 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (747 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 21:51:40 2012 Optimize a model with 2651 rows, 1345 columns and 7953 nonzeros Presolve time: 0.01s Presolved: 2651 rows, 1345 columns, 7953 nonzeros Variable types: 0 continuous, 1345 integer (1345 binary) Root relaxation: objective 0.000000e+00, 381 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 342 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 0.00000 0 471 - 0.00000 - - 0s 0 0 0.00000 0 487 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 1 Zero half: 781 Explored 0 nodes (7636 simplex iterations) in 1.12 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 21:51:41 2012 Optimize a model with 3477 rows, 1518 columns and 10604 nonzeros Presolve time: 0.01s Presolved: 3477 rows, 1518 columns, 10604 nonzeros Variable types: 0 continuous, 1518 integer (1518 binary) Root relaxation: objective 0.000000e+00, 389 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 344 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 1s 0 0 0.00000 0 322 - 0.00000 - - 1s 0 0 0.00000 0 320 - 0.00000 - - 1s 0 0 0.00000 0 316 - 0.00000 - - 2s 0 0 0.00000 0 306 - 0.00000 - - 2s 0 0 0.00000 0 304 - 0.00000 - - 2s 0 0 0.00000 0 288 - 0.00000 - - 3s 0 0 0.00000 0 270 - 0.00000 - - 3s 0 0 0.00000 0 266 - 0.00000 - - 4s 0 0 0.00000 0 252 - 0.00000 - - 4s 0 0 0.00000 0 248 - 0.00000 - - 5s 0 0 0.00000 0 248 - 0.00000 - - 5s 0 0 0.00000 0 242 - 0.00000 - - 5s 0 0 0.00000 0 238 - 0.00000 - - 6s 0 0 0.00000 0 238 - 0.00000 - - 6s 0 0 0.00000 0 234 - 0.00000 - - 7s 0 0 0.00000 0 249 - 0.00000 - - 7s 0 0 0.00000 0 248 - 0.00000 - - 8s 0 2 0.00000 0 248 - 0.00000 - - 8s 130 40 infeasible 21 - 0.00000 - 116 10s 605 92 0.00000 14 440 - 0.00000 - 98.9 15s 608 94 0.00000 21 381 - 0.00000 - 98.5 20s 612 96 0.00000 15 365 - 0.00000 - 97.8 27s 617 100 infeasible 13 - 0.00000 - 171 30s 881 48 0.00000 22 311 - 0.00000 - 188 35s 1177 33 0.00000 23 311 - 0.00000 - 198 40s 1524 56 infeasible 27 - 0.00000 - 201 45s 1839 59 infeasible 25 - 0.00000 - 205 50s 2172 48 infeasible 27 - 0.00000 - 207 55s 2531 73 0.00000 25 312 - 0.00000 - 206 60s 2886 56 infeasible 28 - 0.00000 - 207 65s 3195 57 0.00000 26 296 - 0.00000 - 209 70s 3490 56 0.00000 27 328 - 0.00000 - 212 75s 3770 42 infeasible 27 - 0.00000 - 215 80s 4051 33 infeasible 23 - 0.00000 - 216 85s 4392 40 infeasible 27 - 0.00000 - 216 90s 4670 14 infeasible 28 - 0.00000 - 218 95s 4971 9 infeasible 25 - 0.00000 - 218 100s Cutting planes: Clique: 1 Zero half: 24 Explored 5081 nodes (1179240 simplex iterations) in 101.79 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