current bounds on the number of colors: 0 -- 166 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:09:02 2012 Optimize a model with 60922 rows, 14510 columns and 196046 nonzeros Presolve time: 0.18s Presolved: 60922 rows, 14510 columns, 196046 nonzeros Variable types: 0 continuous, 14510 integer (14510 binary) Root relaxation: objective 0.000000e+00, 657 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 (1012 simplex iterations) in 0.33 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:09:03 2012 Optimize a model with 30178 rows, 7538 columns and 96842 nonzeros Presolve time: 0.14s Presolved: 30178 rows, 7538 columns, 96842 nonzeros Variable types: 0 continuous, 7538 integer (7538 binary) Root relaxation: objective 0.000000e+00, 430 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 (776 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 -- 41 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:09:03 2012 Optimize a model with 14806 rows, 4052 columns and 47240 nonzeros Presolve time: 0.06s Presolved: 14806 rows, 4052 columns, 47240 nonzeros Variable types: 0 continuous, 4052 integer (4052 binary) Root relaxation: objective 0.000000e+00, 365 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 (686 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:09:04 2012 Optimize a model with 7486 rows, 2392 columns and 23620 nonzeros Presolve time: 0.02s Presolved: 7486 rows, 2392 columns, 23620 nonzeros Variable types: 0 continuous, 2392 integer (2392 binary) Root relaxation: objective 0.000000e+00, 350 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 (657 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:09:04 2012 Optimize a model with 3826 rows, 1562 columns and 11810 nonzeros Presolve time: 0.01s Presolved: 3826 rows, 1562 columns, 11810 nonzeros Variable types: 0 continuous, 1562 integer (1562 binary) Root relaxation: objective 0.000000e+00, 363 iterations, 0.00 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 (1412 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:09:04 2012 Optimize a model with 1630 rows, 1064 columns and 4724 nonzeros Presolve removed 166 rows and 166 columns Presolve time: 0.00s Presolved: 1464 rows, 898 columns, 4392 nonzeros Variable types: 0 continuous, 898 integer (898 binary) Root relaxation: objective 0.000000e+00, 176 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 (700 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:09:04 2012 Optimize a model with 2362 rows, 1230 columns and 7086 nonzeros Presolve time: 0.01s Presolved: 2362 rows, 1230 columns, 7086 nonzeros Variable types: 0 continuous, 1230 integer (1230 binary) Root relaxation: objective 0.000000e+00, 376 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 324 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4147 simplex iterations) in 0.43 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:09:05 2012 Optimize a model with 3094 rows, 1396 columns and 9448 nonzeros Presolve time: 0.01s Presolved: 3094 rows, 1396 columns, 9448 nonzeros Variable types: 0 continuous, 1396 integer (1396 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.00000 0 320 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 0s 0 0 0.00000 0 300 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 0s 0 0 0.00000 0 306 - 0.00000 - - 1s 0 0 0.00000 0 407 - 0.00000 - - 1s 0 0 0.00000 0 387 - 0.00000 - - 2s 0 0 0.00000 0 353 - 0.00000 - - 2s 0 0 0.00000 0 396 - 0.00000 - - 3s 0 0 0.00000 0 396 - 0.00000 - - 3s 0 2 0.00000 0 396 - 0.00000 - - 3s 245 25 infeasible 18 - 0.00000 - 99.3 5s 905 61 0.00000 16 286 - 0.00000 - 97.8 10s 912 65 0.00000 12 234 - 0.00000 - 97.0 15s 918 69 0.00000 20 397 - 0.00000 - 96.4 20s 1341 39 infeasible 23 - 0.00000 - 160 25s 1788 40 infeasible 24 - 0.00000 - 169 30s 2240 74 0.00000 27 274 - 0.00000 - 172 35s 2682 74 0.00000 28 342 - 0.00000 - 176 40s 3146 120 infeasible 27 - 0.00000 - 177 45s 3501 105 0.00000 27 321 - 0.00000 - 183 50s 3938 88 infeasible 27 - 0.00000 - 185 55s 4359 95 0.00000 25 347 - 0.00000 - 187 60s 4799 133 0.00000 26 360 - 0.00000 - 187 65s 5209 131 infeasible 27 - 0.00000 - 189 70s 5619 161 infeasible 29 - 0.00000 - 190 75s 6001 155 0.00000 29 313 - 0.00000 - 192 80s 6392 130 infeasible 29 - 0.00000 - 193 85s 6845 153 infeasible 28 - 0.00000 - 193 90s 7295 151 0.00000 30 295 - 0.00000 - 193 95s 7756 150 0.00000 28 282 - 0.00000 - 192 100s 8176 142 infeasible 26 - 0.00000 - 193 105s 8635 129 infeasible 25 - 0.00000 - 193 110s 9039 145 0.00000 27 314 - 0.00000 - 193 115s 9444 162 infeasible 33 - 0.00000 - 194 120s 9862 152 0.00000 21 274 - 0.00000 - 194 125s 10315 165 0.00000 25 278 - 0.00000 - 194 130s 10758 174 0.00000 32 250 - 0.00000 - 194 135s 11253 215 infeasible 34 - 0.00000 - 193 140s 11760 212 0.00000 28 272 - 0.00000 - 192 145s 12262 182 infeasible 29 - 0.00000 - 192 150s 12680 150 0.00000 26 297 - 0.00000 - 192 155s 13104 152 0.00000 30 290 - 0.00000 - 193 160s 13515 119 0.00000 26 276 - 0.00000 - 193 165s 13911 129 infeasible 31 - 0.00000 - 194 170s 14369 143 infeasible 25 - 0.00000 - 193 175s 14839 151 infeasible 29 - 0.00000 - 193 180s 15266 182 infeasible 34 - 0.00000 - 193 185s *15554 3 34 0.0000000 0.00000 0.0% 193 188s Cutting planes: Gomory: 2 Zero half: 13 Explored 15555 nodes (3031658 simplex iterations) in 188.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% optimal solution found: number of colors: 4