current bounds on the number of colors: 0 -- 167 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:27:23 2012 Optimize a model with 61421 rows, 14599 columns and 197623 nonzeros Presolve time: 0.19s Presolved: 61421 rows, 14599 columns, 197623 nonzeros Variable types: 0 continuous, 14599 integer (14599 binary) Root relaxation: objective 0.000000e+00, 647 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 (1009 simplex iterations) in 0.32 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:27:24 2012 Optimize a model with 30425 rows, 7585 columns and 97621 nonzeros Presolve time: 0.14s Presolved: 30425 rows, 7585 columns, 97621 nonzeros Variable types: 0 continuous, 7585 integer (7585 binary) Root relaxation: objective 0.000000e+00, 459 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.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:27:25 2012 Optimize a model with 14927 rows, 4078 columns and 47620 nonzeros Presolve time: 0.06s Presolved: 14927 rows, 4078 columns, 47620 nonzeros Variable types: 0 continuous, 4078 integer (4078 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 (700 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:27:25 2012 Optimize a model with 7547 rows, 2408 columns and 23810 nonzeros Presolve time: 0.02s Presolved: 7547 rows, 2408 columns, 23810 nonzeros Variable types: 0 continuous, 2408 integer (2408 binary) Root relaxation: objective 0.000000e+00, 356 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 (650 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:27:25 2012 Optimize a model with 3857 rows, 1573 columns and 11905 nonzeros Presolve time: 0.01s Presolved: 3857 rows, 1573 columns, 11905 nonzeros Variable types: 0 continuous, 1573 integer (1573 binary) Root relaxation: objective 0.000000e+00, 346 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 (2373 simplex iterations) in 0.12 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:27:25 2012 Optimize a model with 1643 rows, 1072 columns and 4762 nonzeros Presolve removed 167 rows and 167 columns Presolve time: 0.00s Presolved: 1476 rows, 905 columns, 4428 nonzeros Variable types: 0 continuous, 905 integer (905 binary) Root relaxation: objective 0.000000e+00, 175 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 167 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (705 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:27:25 2012 Optimize a model with 2381 rows, 1239 columns and 7143 nonzeros Presolve time: 0.01s Presolved: 2381 rows, 1239 columns, 7143 nonzeros Variable types: 0 continuous, 1239 integer (1239 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.00000 0 264 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 0s 0 0 0.00000 0 429 - 0.00000 - - 0s 0 0 0.00000 0 466 - 0.00000 - - 0s 0 0 0.00000 0 465 - 0.00000 - - 1s 0 0 0.00000 0 463 - 0.00000 - - 2s 0 0 0.00000 0 460 - 0.00000 - - 2s 0 0 0.00000 0 461 - 0.00000 - - 3s 0 0 0.00000 0 458 - 0.00000 - - 3s 0 0 0.00000 0 468 - 0.00000 - - 4s 0 0 0.00000 0 467 - 0.00000 - - 4s 0 0 0.00000 0 463 - 0.00000 - - 5s 0 0 0.00000 0 430 - 0.00000 - - 6s 0 0 0.00000 0 463 - 0.00000 - - 6s 0 0 0.00000 0 463 - 0.00000 - - 7s 0 2 0.00000 0 463 - 0.00000 - - 7s Cutting planes: Clique: 1 Zero half: 49 Explored 3 nodes (37000 simplex iterations) in 7.23 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:27:33 2012 Optimize a model with 3119 rows, 1406 columns and 9524 nonzeros Presolve time: 0.01s Presolved: 3119 rows, 1406 columns, 9524 nonzeros Variable types: 0 continuous, 1406 integer (1406 binary) Root relaxation: objective 0.000000e+00, 380 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 322 - 0.00000 - - 0s 0 0 0.00000 0 320 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 0s 0 0 0.00000 0 454 - 0.00000 - - 0s 0 0 0.00000 0 439 - 0.00000 - - 1s 0 0 0.00000 0 411 - 0.00000 - - 1s 0 0 0.00000 0 392 - 0.00000 - - 2s 0 0 0.00000 0 382 - 0.00000 - - 2s 0 0 0.00000 0 376 - 0.00000 - - 3s 0 0 0.00000 0 389 - 0.00000 - - 3s 0 0 0.00000 0 389 - 0.00000 - - 3s 0 2 0.00000 0 389 - 0.00000 - - 4s 98 28 0.00000 13 266 - 0.00000 - 99.2 5s 611 62 0.00000 18 379 - 0.00000 - 71.9 10s 876 86 infeasible 34 - 0.00000 - 118 15s 1500 192 infeasible 32 - 0.00000 - 130 20s 2124 234 0.00000 29 297 - 0.00000 - 135 25s 2729 283 0.00000 27 264 - 0.00000 - 139 30s 3293 341 0.00000 32 266 - 0.00000 - 143 35s 3869 333 0.00000 29 296 - 0.00000 - 146 40s 4441 349 infeasible 34 - 0.00000 - 149 45s 5020 376 infeasible 31 - 0.00000 - 150 50s 5598 378 infeasible 31 - 0.00000 - 151 55s 6148 374 infeasible 30 - 0.00000 - 153 60s 6710 390 0.00000 29 284 - 0.00000 - 154 65s 7276 392 infeasible 32 - 0.00000 - 155 70s 7826 380 0.00000 33 290 - 0.00000 - 156 75s 8375 367 infeasible 30 - 0.00000 - 158 80s 8955 359 infeasible 30 - 0.00000 - 158 85s 9516 346 infeasible 30 - 0.00000 - 158 90s 10144 340 infeasible 33 - 0.00000 - 158 95s 10700 360 0.00000 29 286 - 0.00000 - 159 100s 11240 362 infeasible 32 - 0.00000 - 159 105s 11853 363 infeasible 29 - 0.00000 - 159 110s 12419 381 infeasible 34 - 0.00000 - 159 115s 13016 412 infeasible 34 - 0.00000 - 159 120s 13627 417 infeasible 34 - 0.00000 - 159 125s 14185 361 infeasible 36 - 0.00000 - 159 130s 14715 361 0.00000 29 312 - 0.00000 - 160 135s 15225 313 infeasible 36 - 0.00000 - 161 140s 15742 284 0.00000 27 276 - 0.00000 - 162 145s 16259 279 infeasible 34 - 0.00000 - 162 150s 16787 251 0.00000 30 362 - 0.00000 - 163 155s 17353 269 0.00000 34 290 - 0.00000 - 163 160s 17897 241 infeasible 36 - 0.00000 - 163 165s 18452 240 infeasible 31 - 0.00000 - 163 170s 18991 221 0.00000 31 270 - 0.00000 - 163 175s 19515 207 infeasible 34 - 0.00000 - 164 180s 20045 187 0.00000 27 286 - 0.00000 - 164 185s 20552 174 infeasible 32 - 0.00000 - 164 190s 21089 155 infeasible 35 - 0.00000 - 165 195s 21608 162 infeasible 33 - 0.00000 - 165 200s 22162 156 infeasible 31 - 0.00000 - 165 205s 22674 158 infeasible 33 - 0.00000 - 165 210s 23227 131 infeasible 30 - 0.00000 - 165 215s 23718 136 infeasible 30 - 0.00000 - 166 220s 24259 117 infeasible 30 - 0.00000 - 166 225s 24765 109 0.00000 32 288 - 0.00000 - 166 230s 25257 49 0.00000 26 356 - 0.00000 - 166 235s 25754 22 infeasible 34 - 0.00000 - 167 240s Cutting planes: Gomory: 1 Zero half: 14 Explored 26117 nodes (4389477 simplex iterations) in 244.29 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