current bounds on the number of colors: 0 -- 159 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:08:39 2012 Optimize a model with 54037 rows, 13243 columns and 174195 nonzeros Presolve time: 0.17s Presolved: 54037 rows, 13243 columns, 174195 nonzeros Variable types: 0 continuous, 13243 integer (13243 binary) Root relaxation: objective 0.000000e+00, 595 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 (936 simplex iterations) in 0.29 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 -- 79 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:08:40 2012 Optimize a model with 26757 rows, 6883 columns and 85995 nonzeros Presolve time: 0.13s Presolved: 26757 rows, 6883 columns, 85995 nonzeros Variable types: 0 continuous, 6883 integer (6883 binary) Root relaxation: objective 0.000000e+00, 409 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 (717 simplex iterations) in 0.19 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 -- 39 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:08:40 2012 Optimize a model with 13117 rows, 3703 columns and 41895 nonzeros Presolve time: 0.05s Presolved: 13117 rows, 3703 columns, 41895 nonzeros Variable types: 0 continuous, 3703 integer (3703 binary) Root relaxation: objective 0.000000e+00, 322 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 (582 simplex iterations) in 0.07 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 -- 19 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:08:41 2012 Optimize a model with 6297 rows, 2113 columns and 19845 nonzeros Presolve time: 0.02s Presolved: 6297 rows, 2113 columns, 19845 nonzeros Variable types: 0 continuous, 2113 integer (2113 binary) Root relaxation: objective 0.000000e+00, 344 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 (646 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:08:41 2012 Optimize a model with 2887 rows, 1318 columns and 8820 nonzeros Presolve time: 0.01s Presolved: 2887 rows, 1318 columns, 8820 nonzeros Variable types: 0 continuous, 1318 integer (1318 binary) Root relaxation: objective 0.000000e+00, 354 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 306 - 0.00000 - - 0s 0 0 0.00000 0 288 - 0.00000 - - 0s 0 0 0.00000 0 252 - 0.00000 - - 0s 0 0 0.00000 0 369 - 0.00000 - - 0s 0 0 0.00000 0 355 - 0.00000 - - 1s 0 0 0.00000 0 344 - 0.00000 - - 1s 0 0 0.00000 0 371 - 0.00000 - - 1s 0 0 0.00000 0 404 - 0.00000 - - 2s 0 0 0.00000 0 404 - 0.00000 - - 2s 0 2 0.00000 0 404 - 0.00000 - - 3s 525 38 infeasible 18 - 0.00000 - 84.1 5s 612 54 0.00000 20 363 - 0.00000 - 81.6 10s 735 60 0.00000 27 311 - 0.00000 - 136 15s 1146 56 0.00000 23 290 - 0.00000 - 161 20s 1588 76 infeasible 31 - 0.00000 - 171 25s 2012 52 infeasible 30 - 0.00000 - 176 30s 2429 41 infeasible 30 - 0.00000 - 180 35s 2856 54 0.00000 30 295 - 0.00000 - 182 40s 3332 52 infeasible 30 - 0.00000 - 182 45s 3812 48 0.00000 26 262 - 0.00000 - 182 50s 4307 49 infeasible 28 - 0.00000 - 182 55s 4862 54 infeasible 29 - 0.00000 - 179 60s 5418 48 infeasible 29 - 0.00000 - 178 65s 5917 51 infeasible 36 - 0.00000 - 178 70s 6349 27 infeasible 27 - 0.00000 - 179 75s 6760 104 0.00000 33 301 - 0.00000 - 180 80s 7198 104 0.00000 29 276 - 0.00000 - 181 85s 7598 104 0.00000 32 280 - 0.00000 - 182 90s 8055 91 0.00000 28 313 - 0.00000 - 182 95s 8432 86 infeasible 31 - 0.00000 - 184 100s 8827 69 0.00000 30 303 - 0.00000 - 185 105s 9219 59 0.00000 23 276 - 0.00000 - 186 110s 9637 77 0.00000 31 256 - 0.00000 - 187 115s 10081 77 0.00000 29 278 - 0.00000 - 187 120s 10520 84 0.00000 27 340 - 0.00000 - 187 125s 10948 78 0.00000 33 305 - 0.00000 - 187 130s 11406 82 0.00000 28 336 - 0.00000 - 187 135s 11855 71 infeasible 29 - 0.00000 - 187 140s 12265 73 infeasible 32 - 0.00000 - 188 145s 12690 64 infeasible 34 - 0.00000 - 188 150s 13047 59 infeasible 34 - 0.00000 - 189 155s 13424 42 infeasible 32 - 0.00000 - 189 160s 13844 32 0.00000 24 322 - 0.00000 - 189 165s 14257 25 infeasible 31 - 0.00000 - 190 170s 14651 31 infeasible 29 - 0.00000 - 190 175s 15047 29 infeasible 31 - 0.00000 - 190 180s 15464 30 0.00000 26 260 - 0.00000 - 191 185s 15887 27 0.00000 25 268 - 0.00000 - 191 190s 16264 24 infeasible 29 - 0.00000 - 191 195s 16637 9 infeasible 37 - 0.00000 - 192 200s Cutting planes: Gomory: 2 Clique: 1 Zero half: 13 Explored 16761 nodes (3238468 simplex iterations) in 201.79 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:12:03 2012 Optimize a model with 4251 rows, 1636 columns and 13230 nonzeros Presolve time: 0.01s Presolved: 4251 rows, 1636 columns, 13230 nonzeros Variable types: 0 continuous, 1636 integer (1636 binary) Root relaxation: objective 0.000000e+00, 345 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 (722 simplex iterations) in 0.03 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:12:03 2012 Optimize a model with 3569 rows, 1477 columns and 11025 nonzeros Presolve time: 0.01s Presolved: 3569 rows, 1477 columns, 11025 nonzeros Variable types: 0 continuous, 1477 integer (1477 binary) Root relaxation: objective 0.000000e+00, 341 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 12 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2554 simplex iterations) in 0.13 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% optimal solution found: number of colors: 5