current bounds on the number of colors: 0 -- 175 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:47:48 2012 Optimize a model with 70036 rows, 16028 columns and 224808 nonzeros Presolve time: 0.21s Presolved: 70036 rows, 16028 columns, 224808 nonzeros Variable types: 0 continuous, 16028 integer (16028 binary) Root relaxation: objective 0.000000e+00, 766 iterations, 0.08 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 (1177 simplex iterations) in 0.40 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 -- 87 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:47:49 2012 Optimize a model with 34704 rows, 8328 columns and 111112 nonzeros Presolve time: 0.15s Presolved: 34704 rows, 8328 columns, 111112 nonzeros Variable types: 0 continuous, 8328 integer (8328 binary) Root relaxation: objective 0.000000e+00, 590 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 (1019 simplex iterations) in 0.24 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 22:47:50 2012 Optimize a model with 17038 rows, 4478 columns and 54264 nonzeros Presolve time: 0.07s Presolved: 17038 rows, 4478 columns, 54264 nonzeros Variable types: 0 continuous, 4478 integer (4478 binary) Root relaxation: objective 0.000000e+00, 369 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 (697 simplex iterations) in 0.10 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 22:47:50 2012 Optimize a model with 8205 rows, 2553 columns and 25840 nonzeros Presolve time: 0.02s Presolved: 8205 rows, 2553 columns, 25840 nonzeros Variable types: 0 continuous, 2553 integer (2553 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (893 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 22:47:51 2012 Optimize a model with 4190 rows, 1678 columns and 12920 nonzeros Presolve time: 0.01s Presolved: 4190 rows, 1678 columns, 12920 nonzeros Variable types: 0 continuous, 1678 integer (1678 binary) Root relaxation: objective 0.000000e+00, 388 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 127 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3916 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 Fri Dec 14 22:47:51 2012 Optimize a model with 1781 rows, 1153 columns and 5168 nonzeros Presolve removed 175 rows and 175 columns Presolve time: 0.00s Presolved: 1606 rows, 978 columns, 4818 nonzeros Variable types: 0 continuous, 978 integer (978 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 175 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (759 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 22:47:51 2012 Optimize a model with 2584 rows, 1328 columns and 7752 nonzeros Presolve time: 0.01s Presolved: 2584 rows, 1328 columns, 7752 nonzeros Variable types: 0 continuous, 1328 integer (1328 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 302 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5433 simplex iterations) in 0.52 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 22:47:52 2012 Optimize a model with 3387 rows, 1503 columns and 10336 nonzeros Presolve time: 0.01s Presolved: 3387 rows, 1503 columns, 10336 nonzeros Variable types: 0 continuous, 1503 integer (1503 binary) Root relaxation: objective 0.000000e+00, 402 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 332 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 0s 0 0 0.00000 0 310 - 0.00000 - - 0s 0 0 0.00000 0 450 - 0.00000 - - 0s 0 0 0.00000 0 427 - 0.00000 - - 1s 0 0 0.00000 0 401 - 0.00000 - - 2s 0 0 0.00000 0 418 - 0.00000 - - 2s 0 0 0.00000 0 417 - 0.00000 - - 3s 0 0 0.00000 0 422 - 0.00000 - - 3s 0 0 0.00000 0 450 - 0.00000 - - 4s 0 0 0.00000 0 450 - 0.00000 - - 4s 0 2 0.00000 0 450 - 0.00000 - - 5s 968 30 0.00000 19 286 - 0.00000 - 97.0 10s 1306 56 0.00000 12 379 - 0.00000 - 96.0 15s 1311 60 0.00000 20 291 - 0.00000 - 95.6 20s 1403 81 0.00000 25 320 - 0.00000 - 133 25s 1902 107 0.00000 29 327 - 0.00000 - 142 30s 2390 125 infeasible 30 - 0.00000 - 148 35s 2880 127 infeasible 35 - 0.00000 - 153 40s 3389 104 0.00000 30 304 - 0.00000 - 156 45s 3838 139 infeasible 29 - 0.00000 - 160 50s 4318 141 0.00000 28 316 - 0.00000 - 161 55s 4743 122 0.00000 28 359 - 0.00000 - 165 60s 5212 155 infeasible 33 - 0.00000 - 166 65s 5759 178 infeasible 31 - 0.00000 - 165 70s 6266 213 infeasible 28 - 0.00000 - 165 75s 6819 250 0.00000 20 312 - 0.00000 - 164 80s 7310 245 0.00000 30 336 - 0.00000 - 165 85s 7792 237 infeasible 35 - 0.00000 - 166 90s 8275 210 infeasible 29 - 0.00000 - 166 95s 8754 177 0.00000 32 351 - 0.00000 - 167 100s 9232 189 0.00000 29 315 - 0.00000 - 167 105s 9731 164 infeasible 29 - 0.00000 - 168 110s 10152 161 0.00000 29 304 - 0.00000 - 169 115s 10556 177 0.00000 23 320 - 0.00000 - 170 120s 10967 180 0.00000 28 353 - 0.00000 - 170 125s 11383 178 infeasible 30 - 0.00000 - 171 130s 11853 168 0.00000 24 310 - 0.00000 - 171 135s 12276 141 0.00000 25 288 - 0.00000 - 172 140s 12745 138 0.00000 28 300 - 0.00000 - 172 145s 13169 130 0.00000 32 306 - 0.00000 - 173 150s 13543 102 infeasible 27 - 0.00000 - 174 155s 14023 106 0.00000 28 292 - 0.00000 - 174 160s 14451 106 0.00000 23 386 - 0.00000 - 174 165s 14865 102 infeasible 27 - 0.00000 - 175 170s 15292 93 infeasible 27 - 0.00000 - 175 175s 15698 105 infeasible 30 - 0.00000 - 176 180s 16149 102 0.00000 30 363 - 0.00000 - 176 185s 16556 93 infeasible 24 - 0.00000 - 177 190s 16977 76 infeasible 26 - 0.00000 - 177 195s 17408 77 infeasible 29 - 0.00000 - 177 200s 17869 82 0.00000 33 302 - 0.00000 - 177 205s 18297 68 0.00000 28 286 - 0.00000 - 178 210s 18752 67 0.00000 26 327 - 0.00000 - 177 215s 19166 63 infeasible 29 - 0.00000 - 178 220s 19590 65 infeasible 24 - 0.00000 - 178 225s 19953 50 infeasible 31 - 0.00000 - 179 230s 20356 39 0.00000 26 300 - 0.00000 - 179 235s 20743 38 infeasible 30 - 0.00000 - 179 240s 21184 21 infeasible 28 - 0.00000 - 180 245s 21657 36 infeasible 32 - 0.00000 - 179 250s 22108 9 infeasible 26 - 0.00000 - 179 255s 22514 15 infeasible 32 - 0.00000 - 180 260s Cutting planes: Gomory: 1 Zero half: 22 Explored 22922 nodes (4153991 simplex iterations) in 264.74 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