current bounds on the number of colors: 0 -- 178 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:05:11 2012 Optimize a model with 70310 rows, 16630 columns and 226238 nonzeros Presolve time: 0.22s Presolved: 70310 rows, 16630 columns, 226238 nonzeros Variable types: 0 continuous, 16630 integer (16630 binary) Root relaxation: objective 0.000000e+00, 699 iterations, 0.07 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 (1125 simplex iterations) in 0.39 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 -- 89 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:05:12 2012 Optimize a model with 34850 rows, 8620 columns and 111848 nonzeros Presolve time: 0.15s Presolved: 34850 rows, 8620 columns, 111848 nonzeros Variable types: 0 continuous, 8620 integer (8620 binary) Root relaxation: objective 0.000000e+00, 458 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 (816 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 -- 44 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:05:13 2012 Optimize a model with 17514 rows, 4704 columns and 55924 nonzeros Presolve time: 0.07s Presolved: 17514 rows, 4704 columns, 55924 nonzeros Variable types: 0 continuous, 4704 integer (4704 binary) Root relaxation: objective 0.000000e+00, 364 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 (682 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:05:13 2012 Optimize a model with 8846 rows, 2746 columns and 27962 nonzeros Presolve time: 0.03s Presolved: 8846 rows, 2746 columns, 27962 nonzeros Variable types: 0 continuous, 2746 integer (2746 binary) Root relaxation: objective 0.000000e+00, 382 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 (716 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:05:13 2012 Optimize a model with 4118 rows, 1678 columns and 12710 nonzeros Presolve time: 0.01s Presolved: 4118 rows, 1678 columns, 12710 nonzeros Variable types: 0 continuous, 1678 integer (1678 binary) Root relaxation: objective 0.000000e+00, 386 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 (2456 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:05:13 2012 Optimize a model with 1754 rows, 1144 columns and 5084 nonzeros Presolve removed 178 rows and 178 columns Presolve time: 0.00s Presolved: 1576 rows, 966 columns, 4728 nonzeros Variable types: 0 continuous, 966 integer (966 binary) Root relaxation: objective 0.000000e+00, 187 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 178 - 0.00000 - - 0s Explored 0 nodes (774 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 Sat Dec 15 00:05:13 2012 Optimize a model with 2542 rows, 1322 columns and 7626 nonzeros Presolve time: 0.01s Presolved: 2542 rows, 1322 columns, 7626 nonzeros Variable types: 0 continuous, 1322 integer (1322 binary) Root relaxation: objective 0.000000e+00, 421 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 350 - 0.00000 - - 0s 0 0 0.00000 0 350 - 0.00000 - - 0s 0 0 0.00000 0 480 - 0.00000 - - 0s 0 0 0.00000 0 495 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Zero half: 471 Explored 0 nodes (7627 simplex iterations) in 1.06 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 Sat Dec 15 00:05:15 2012 Optimize a model with 3330 rows, 1500 columns and 10168 nonzeros Presolve time: 0.01s Presolved: 3330 rows, 1500 columns, 10168 nonzeros Variable types: 0 continuous, 1500 integer (1500 binary) Root relaxation: objective 0.000000e+00, 400 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 338 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 0s 0 0 0.00000 0 328 - 0.00000 - - 0s 0 0 0.00000 0 345 - 0.00000 - - 0s 0 0 0.00000 0 294 - 0.00000 - - 1s 0 0 0.00000 0 292 - 0.00000 - - 1s 0 0 0.00000 0 290 - 0.00000 - - 1s 0 0 0.00000 0 276 - 0.00000 - - 1s 0 0 0.00000 0 266 - 0.00000 - - 2s 0 0 0.00000 0 270 - 0.00000 - - 2s 0 0 0.00000 0 266 - 0.00000 - - 2s 0 0 0.00000 0 262 - 0.00000 - - 3s 0 0 0.00000 0 255 - 0.00000 - - 3s 0 0 0.00000 0 257 - 0.00000 - - 3s 0 0 0.00000 0 249 - 0.00000 - - 4s 0 0 0.00000 0 248 - 0.00000 - - 4s 0 0 0.00000 0 277 - 0.00000 - - 4s 0 0 0.00000 0 277 - 0.00000 - - 4s 0 2 0.00000 0 274 - 0.00000 - - 5s 880 113 0.00000 27 270 - 0.00000 - 105 10s 909 118 0.00000 21 262 - 0.00000 - 103 15s 914 122 0.00000 5 244 - 0.00000 - 103 20s 1184 146 0.00000 26 379 - 0.00000 - 158 25s 1673 220 0.00000 29 296 - 0.00000 - 162 30s 2175 238 infeasible 25 - 0.00000 - 165 35s 2629 200 0.00000 30 302 - 0.00000 - 170 40s 3127 202 infeasible 28 - 0.00000 - 172 45s 3626 207 0.00000 23 312 - 0.00000 - 172 50s 4092 207 0.00000 22 286 - 0.00000 - 174 55s 4567 210 0.00000 29 288 - 0.00000 - 175 60s 5053 192 0.00000 31 284 - 0.00000 - 175 65s 5594 275 infeasible 28 - 0.00000 - 174 70s 6137 278 0.00000 31 301 - 0.00000 - 174 75s 6648 221 0.00000 27 337 - 0.00000 - 175 80s 7153 240 0.00000 26 304 - 0.00000 - 175 85s 7641 264 infeasible 29 - 0.00000 - 175 90s 8104 257 0.00000 29 289 - 0.00000 - 176 95s 8565 222 0.00000 28 300 - 0.00000 - 177 100s 9037 192 infeasible 28 - 0.00000 - 177 105s 9459 168 infeasible 30 - 0.00000 - 178 110s 9921 164 0.00000 28 310 - 0.00000 - 179 115s 10404 179 infeasible 29 - 0.00000 - 179 120s 10913 182 infeasible 28 - 0.00000 - 179 125s 11439 184 infeasible 24 - 0.00000 - 178 130s 11928 191 0.00000 28 308 - 0.00000 - 179 135s 12428 223 infeasible 26 - 0.00000 - 178 140s 13007 244 infeasible 30 - 0.00000 - 177 145s 13550 227 0.00000 24 310 - 0.00000 - 177 150s 14002 245 infeasible 23 - 0.00000 - 177 155s 14512 273 infeasible 34 - 0.00000 - 177 160s 15034 309 infeasible 28 - 0.00000 - 177 165s 15582 331 0.00000 25 306 - 0.00000 - 176 170s 16110 331 infeasible 30 - 0.00000 - 176 175s 16663 336 infeasible 25 - 0.00000 - 176 180s 17192 331 0.00000 26 317 - 0.00000 - 176 185s 17719 334 infeasible 25 - 0.00000 - 175 190s 18176 333 infeasible 30 - 0.00000 - 176 195s 18664 351 0.00000 24 306 - 0.00000 - 176 200s 19142 329 infeasible 28 - 0.00000 - 176 205s 19627 306 infeasible 29 - 0.00000 - 176 210s 20136 337 0.00000 29 290 - 0.00000 - 176 215s 20651 440 infeasible 27 - 0.00000 - 176 220s 21204 499 infeasible 29 - 0.00000 - 176 225s 21696 453 infeasible 32 - 0.00000 - 176 230s 22223 404 infeasible 27 - 0.00000 - 176 235s 22713 378 0.00000 26 307 - 0.00000 - 176 240s 23258 409 infeasible 25 - 0.00000 - 176 245s 23798 359 0.00000 30 300 - 0.00000 - 175 250s 24380 365 infeasible 28 - 0.00000 - 175 255s 24894 361 infeasible 29 - 0.00000 - 175 260s 25417 400 infeasible 30 - 0.00000 - 175 265s 25904 411 infeasible 27 - 0.00000 - 175 270s 26406 403 infeasible 23 - 0.00000 - 175 275s 26852 411 infeasible 35 - 0.00000 - 175 280s 27313 416 0.00000 30 292 - 0.00000 - 176 285s 27767 408 infeasible 30 - 0.00000 - 176 290s Explored 28257 nodes (5012638 simplex iterations) in 294.77 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 5