current bounds on the number of colors: 0 -- 188 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:29:33 2012 Optimize a model with 85634 rows, 18581 columns and 274010 nonzeros Presolve time: 0.27s Presolved: 85634 rows, 18581 columns, 274010 nonzeros Variable types: 0 continuous, 18581 integer (18581 binary) Root relaxation: objective 0.000000e+00, 634 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 (991 simplex iterations) in 0.44 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 -- 94 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:29:35 2012 Optimize a model with 42911 rows, 9745 columns and 137005 nonzeros Presolve time: 0.15s Presolved: 42911 rows, 9745 columns, 137005 nonzeros Variable types: 0 continuous, 9745 integer (9745 binary) Root relaxation: objective 0.000000e+00, 502 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 (853 simplex iterations) in 0.23 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:29:35 2012 Optimize a model with 21095 rows, 5233 columns and 67045 nonzeros Presolve time: 0.08s Presolved: 21095 rows, 5233 columns, 67045 nonzeros Variable types: 0 continuous, 5233 integer (5233 binary) Root relaxation: objective 0.000000e+00, 408 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 (760 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:29:36 2012 Optimize a model with 10187 rows, 2977 columns and 32065 nonzeros Presolve time: 0.03s Presolved: 10187 rows, 2977 columns, 32065 nonzeros Variable types: 0 continuous, 2977 integer (2977 binary) Root relaxation: objective 0.000000e+00, 392 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 (737 simplex iterations) in 0.06 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 04:29:36 2012 Optimize a model with 4733 rows, 1849 columns and 14575 nonzeros Presolve time: 0.01s Presolved: 4733 rows, 1849 columns, 14575 nonzeros Variable types: 0 continuous, 1849 integer (1849 binary) Root relaxation: objective 0.000000e+00, 406 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 182 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 1 Clique: 19 Zero half: 84 Explored 0 nodes (5140 simplex iterations) in 0.35 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 04:29:36 2012 Optimize a model with 2006 rows, 1285 columns and 5830 nonzeros Presolve removed 188 rows and 188 columns Presolve time: 0.01s Presolved: 1818 rows, 1097 columns, 5454 nonzeros Variable types: 0 continuous, 1097 integer (1097 binary) Root relaxation: objective 0.000000e+00, 203 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 188 - 0.00000 - - 0s Explored 0 nodes (789 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 04:29:36 2012 Optimize a model with 2915 rows, 1473 columns and 8745 nonzeros Presolve time: 0.01s Presolved: 2915 rows, 1473 columns, 8745 nonzeros Variable types: 0 continuous, 1473 integer (1473 binary) Root relaxation: objective 0.000000e+00, 427 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 376 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 0s 0 0 0.00000 0 507 - 0.00000 - - 0s 0 0 0.00000 0 526 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 2 Zero half: 894 Explored 0 nodes (9250 simplex iterations) in 1.45 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 04:29:38 2012 Optimize a model with 3824 rows, 1661 columns and 11660 nonzeros Presolve time: 0.01s Presolved: 3824 rows, 1661 columns, 11660 nonzeros Variable types: 0 continuous, 1661 integer (1661 binary) Root relaxation: objective 0.000000e+00, 413 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 366 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 0s 0 0 0.00000 0 350 - 0.00000 - - 0s 0 0 0.00000 0 397 - 0.00000 - - 1s 0 0 0.00000 0 338 - 0.00000 - - 1s 0 0 0.00000 0 336 - 0.00000 - - 2s 0 0 0.00000 0 338 - 0.00000 - - 2s 0 0 0.00000 0 332 - 0.00000 - - 2s 0 0 0.00000 0 328 - 0.00000 - - 3s 0 0 0.00000 0 318 - 0.00000 - - 3s 0 0 0.00000 0 314 - 0.00000 - - 4s 0 0 0.00000 0 322 - 0.00000 - - 4s 0 0 0.00000 0 313 - 0.00000 - - 5s 0 0 0.00000 0 310 - 0.00000 - - 5s 0 0 0.00000 0 321 - 0.00000 - - 6s 0 0 0.00000 0 299 - 0.00000 - - 6s 0 0 0.00000 0 292 - 0.00000 - - 7s 0 0 0.00000 0 292 - 0.00000 - - 7s 0 0 0.00000 0 292 - 0.00000 - - 7s 0 2 0.00000 0 292 - 0.00000 - - 8s 188 28 0.00000 14 376 - 0.00000 - 124 10s 1003 53 0.00000 18 350 - 0.00000 - 107 15s 1007 56 0.00000 18 344 - 0.00000 - 106 21s 1009 57 0.00000 18 306 - 0.00000 - 106 25s 1013 60 0.00000 17 266 - 0.00000 - 106 31s 1016 62 0.00000 18 264 - 0.00000 - 106 35s 1037 76 0.00000 20 435 - 0.00000 - 170 40s 1278 89 0.00000 23 330 - 0.00000 - 178 45s 1538 91 0.00000 25 338 - 0.00000 - 189 50s 1811 88 infeasible 26 - 0.00000 - 198 55s 2100 115 infeasible 34 - 0.00000 - 202 60s 2379 96 infeasible 29 - 0.00000 - 207 65s 2692 139 0.00000 27 336 - 0.00000 - 208 70s 2964 133 infeasible 32 - 0.00000 - 211 75s 3236 121 0.00000 30 332 - 0.00000 - 214 80s 3511 102 infeasible 31 - 0.00000 - 217 85s 3736 101 infeasible 27 - 0.00000 - 221 90s 3969 128 0.00000 24 343 - 0.00000 - 223 95s 4238 127 infeasible 28 - 0.00000 - 225 100s 4474 129 0.00000 24 417 - 0.00000 - 227 105s 4746 133 0.00000 31 332 - 0.00000 - 229 110s 5019 132 infeasible 29 - 0.00000 - 231 115s 5304 151 0.00000 22 326 - 0.00000 - 231 120s 5557 140 0.00000 20 377 - 0.00000 - 233 125s 5824 149 infeasible 23 - 0.00000 - 234 130s 6105 142 0.00000 23 326 - 0.00000 - 234 135s 6381 150 infeasible 32 - 0.00000 - 235 140s 6629 134 0.00000 27 332 - 0.00000 - 237 145s 6881 130 infeasible 24 - 0.00000 - 238 150s 7148 117 infeasible 29 - 0.00000 - 238 155s 7396 111 0.00000 25 330 - 0.00000 - 239 160s 7624 99 infeasible 22 - 0.00000 - 240 165s 7847 108 0.00000 31 320 - 0.00000 - 242 170s 8084 103 0.00000 28 348 - 0.00000 - 242 175s 8323 100 infeasible 25 - 0.00000 - 243 180s 8563 90 infeasible 27 - 0.00000 - 244 185s 8803 86 infeasible 26 - 0.00000 - 245 190s 9045 100 infeasible 27 - 0.00000 - 246 195s 9351 110 infeasible 25 - 0.00000 - 245 200s 9615 108 0.00000 26 332 - 0.00000 - 245 205s 9960 115 0.00000 27 338 - 0.00000 - 244 210s 10233 110 infeasible 26 - 0.00000 - 245 215s 10523 106 0.00000 28 330 - 0.00000 - 244 220s 10828 97 infeasible 22 - 0.00000 - 244 225s 11126 91 infeasible 28 - 0.00000 - 244 230s 11361 82 infeasible 26 - 0.00000 - 244 235s 11604 79 infeasible 27 - 0.00000 - 245 240s 11836 73 0.00000 24 403 - 0.00000 - 246 245s 12074 53 0.00000 22 334 - 0.00000 - 246 250s 12295 54 infeasible 27 - 0.00000 - 247 255s 12545 48 0.00000 23 424 - 0.00000 - 247 260s 12798 45 infeasible 26 - 0.00000 - 248 265s 13011 38 infeasible 27 - 0.00000 - 248 270s 13334 81 infeasible 31 - 0.00000 - 247 275s 13597 62 infeasible 32 - 0.00000 - 247 280s 13850 51 infeasible 34 - 0.00000 - 248 285s 14105 42 infeasible 32 - 0.00000 - 248 290s Cutting planes: Zero half: 12 Explored 14287 nodes (3604208 simplex iterations) in 293.36 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