current bounds on the number of colors: 0 -- 181 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:38:04 2012 Optimize a model with 77311 rows, 17147 columns and 247680 nonzeros Presolve time: 0.24s Presolved: 77311 rows, 17147 columns, 247680 nonzeros Variable types: 0 continuous, 17147 integer (17147 binary) Root relaxation: objective 0.000000e+00, 663 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 (1053 simplex iterations) in 0.41 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 -- 90 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:38:06 2012 Optimize a model with 38746 rows, 9002 columns and 123840 nonzeros Presolve time: 0.15s Presolved: 38746 rows, 9002 columns, 123840 nonzeros Variable types: 0 continuous, 9002 integer (9002 binary) Root relaxation: objective 0.000000e+00, 474 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 (823 simplex iterations) in 0.22 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:38:06 2012 Optimize a model with 19035 rows, 4839 columns and 60544 nonzeros Presolve time: 0.07s Presolved: 19035 rows, 4839 columns, 60544 nonzeros Variable types: 0 continuous, 4839 integer (4839 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (732 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:38:07 2012 Optimize a model with 9608 rows, 2848 columns and 30272 nonzeros Presolve time: 0.03s Presolved: 9608 rows, 2848 columns, 30272 nonzeros Variable types: 0 continuous, 2848 integer (2848 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 (713 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 01:38:07 2012 Optimize a model with 4466 rows, 1762 columns and 13760 nonzeros Presolve time: 0.01s Presolved: 4466 rows, 1762 columns, 13760 nonzeros Variable types: 0 continuous, 1762 integer (1762 binary) Root relaxation: objective 0.000000e+00, 396 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 174 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4739 simplex iterations) in 0.36 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 01:38:07 2012 Optimize a model with 1895 rows, 1219 columns and 5504 nonzeros Presolve removed 181 rows and 181 columns Presolve time: 0.00s Presolved: 1714 rows, 1038 columns, 5142 nonzeros Variable types: 0 continuous, 1038 integer (1038 binary) Root relaxation: objective 0.000000e+00, 192 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 181 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (777 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 01:38:07 2012 Optimize a model with 2752 rows, 1400 columns and 8256 nonzeros Presolve time: 0.01s Presolved: 2752 rows, 1400 columns, 8256 nonzeros Variable types: 0 continuous, 1400 integer (1400 binary) Root relaxation: objective 0.000000e+00, 415 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 362 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4286 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 Sat Dec 15 01:38:08 2012 Optimize a model with 3609 rows, 1581 columns and 11008 nonzeros Presolve time: 0.01s Presolved: 3609 rows, 1581 columns, 11008 nonzeros Variable types: 0 continuous, 1581 integer (1581 binary) Root relaxation: objective 0.000000e+00, 412 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 346 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 0s 0 0 0.00000 0 432 - 0.00000 - - 0s 0 0 0.00000 0 320 - 0.00000 - - 1s 0 0 0.00000 0 314 - 0.00000 - - 1s 0 0 0.00000 0 298 - 0.00000 - - 2s 0 0 0.00000 0 296 - 0.00000 - - 2s 0 0 0.00000 0 303 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 3s 0 0 0.00000 0 294 - 0.00000 - - 3s 0 0 0.00000 0 290 - 0.00000 - - 4s 0 0 0.00000 0 286 - 0.00000 - - 4s 0 0 0.00000 0 286 - 0.00000 - - 4s 0 0 0.00000 0 290 - 0.00000 - - 5s 0 0 0.00000 0 284 - 0.00000 - - 5s 0 0 0.00000 0 284 - 0.00000 - - 5s 0 0 0.00000 0 284 - 0.00000 - - 5s 0 2 0.00000 0 284 - 0.00000 - - 6s 556 107 0.00000 24 292 - 0.00000 - 111 10s 607 119 0.00000 17 306 - 0.00000 - 107 15s 611 122 0.00000 16 272 - 0.00000 - 106 20s 614 124 0.00000 15 280 - 0.00000 - 105 25s 619 127 infeasible 13 - 0.00000 - 202 30s 987 64 infeasible 27 - 0.00000 - 195 35s 1277 77 0.00000 26 310 - 0.00000 - 204 40s 1596 70 0.00000 26 320 - 0.00000 - 208 45s 1906 42 0.00000 21 322 - 0.00000 - 209 50s 2202 62 0.00000 20 366 - 0.00000 - 212 55s 2561 99 infeasible 28 - 0.00000 - 211 60s 2915 165 infeasible 28 - 0.00000 - 211 65s 3218 138 0.00000 30 310 - 0.00000 - 214 70s 3530 124 infeasible 32 - 0.00000 - 217 75s 3892 126 0.00000 26 315 - 0.00000 - 216 80s 4256 138 0.00000 31 304 - 0.00000 - 215 85s 4607 127 0.00000 24 320 - 0.00000 - 216 90s 4975 124 0.00000 26 333 - 0.00000 - 216 95s 5278 119 infeasible 29 - 0.00000 - 217 100s 5556 81 infeasible 28 - 0.00000 - 219 105s 5851 62 infeasible 27 - 0.00000 - 220 110s 6123 34 0.00000 25 316 - 0.00000 - 221 115s 6426 40 0.00000 25 405 - 0.00000 - 222 120s 6696 40 infeasible 24 - 0.00000 - 222 125s 6990 36 infeasible 29 - 0.00000 - 223 130s 7294 48 infeasible 35 - 0.00000 - 223 135s 7607 63 0.00000 28 322 - 0.00000 - 224 140s 7932 76 infeasible 32 - 0.00000 - 223 145s 8196 68 0.00000 26 316 - 0.00000 - 224 150s 8542 74 0.00000 25 306 - 0.00000 - 224 155s 8825 59 infeasible 27 - 0.00000 - 224 160s 9059 69 0.00000 26 316 - 0.00000 - 225 165s 9324 58 infeasible 26 - 0.00000 - 226 170s 9589 69 infeasible 25 - 0.00000 - 226 175s 9852 76 infeasible 24 - 0.00000 - 227 180s 10117 61 infeasible 25 - 0.00000 - 228 185s 10412 56 0.00000 22 379 - 0.00000 - 228 190s 10674 58 infeasible 26 - 0.00000 - 228 195s 10956 46 infeasible 26 - 0.00000 - 229 200s 11232 36 0.00000 29 306 - 0.00000 - 229 205s 11475 23 0.00000 26 423 - 0.00000 - 230 210s 11738 24 0.00000 23 304 - 0.00000 - 231 215s 12022 12 0.00000 22 420 - 0.00000 - 231 220s 12293 17 0.00000 27 330 - 0.00000 - 231 225s 12569 15 infeasible 30 - 0.00000 - 232 230s 12852 26 infeasible 32 - 0.00000 - 232 235s 13155 21 0.00000 29 310 - 0.00000 - 232 240s 13444 16 infeasible 27 - 0.00000 - 232 245s 13713 9 0.00000 25 314 - 0.00000 - 232 250s Cutting planes: Clique: 2 Zero half: 28 Explored 13855 nodes (3277843 simplex iterations) in 252.99 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