current bounds on the number of colors: 0 -- 131 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:01:49 2012 Optimize a model with 54211 rows, 9347 columns and 170755 nonzeros Presolve time: 0.17s Presolved: 54211 rows, 9347 columns, 170755 nonzeros Variable types: 0 continuous, 9347 integer (9347 binary) Root relaxation: objective 0.000000e+00, 333 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 (661 simplex iterations) in 0.31 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 -- 65 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:01:49 2012 Optimize a model with 26755 rows, 5024 columns and 84064 nonzeros Presolve time: 0.12s Presolved: 26755 rows, 5024 columns, 84064 nonzeros Variable types: 0 continuous, 5024 integer (5024 binary) Root relaxation: objective 0.000000e+00, 318 iterations, 0.03 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 (620 simplex iterations) in 0.19 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:01:50 2012 Optimize a model with 13443 rows, 2928 columns and 42032 nonzeros Presolve time: 0.04s Presolved: 13443 rows, 2928 columns, 42032 nonzeros Variable types: 0 continuous, 2928 integer (2928 binary) Root relaxation: objective 0.000000e+00, 267 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 (540 simplex iterations) in 0.07 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:01:50 2012 Optimize a model with 6787 rows, 1880 columns and 21016 nonzeros Presolve time: 0.02s Presolved: 6787 rows, 1880 columns, 21016 nonzeros Variable types: 0 continuous, 1880 integer (1880 binary) Root relaxation: objective 0.000000e+00, 279 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 (939 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:01:50 2012 Optimize a model with 3459 rows, 1356 columns and 10508 nonzeros Presolve time: 0.01s Presolved: 3459 rows, 1356 columns, 10508 nonzeros Variable types: 0 continuous, 1356 integer (1356 binary) Root relaxation: objective 0.000000e+00, 286 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 262 - 0.00000 - - 0s 0 0 0.00000 0 239 - 0.00000 - - 0s 0 0 0.00000 0 397 - 0.00000 - - 1s 0 0 0.00000 0 386 - 0.00000 - - 1s 0 0 0.00000 0 382 - 0.00000 - - 1s 0 0 0.00000 0 380 - 0.00000 - - 2s 0 0 0.00000 0 379 - 0.00000 - - 2s 0 0 0.00000 0 378 - 0.00000 - - 2s 0 0 0.00000 0 375 - 0.00000 - - 2s 0 0 0.00000 0 377 - 0.00000 - - 3s 0 0 0.00000 0 377 - 0.00000 - - 3s 0 0 0.00000 0 374 - 0.00000 - - 4s 0 0 0.00000 0 388 - 0.00000 - - 5s 0 0 0.00000 0 385 - 0.00000 - - 6s 0 0 0.00000 0 378 - 0.00000 - - 6s 0 0 0.00000 0 391 - 0.00000 - - 7s 0 0 0.00000 0 391 - 0.00000 - - 8s 0 2 0.00000 0 391 - 0.00000 - - 8s Cutting planes: Clique: 17 Zero half: 14 Explored 29 nodes (38881 simplex iterations) in 9.62 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: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:02:00 2012 Optimize a model with 5123 rows, 1618 columns and 15762 nonzeros Presolve time: 0.01s Presolved: 5123 rows, 1618 columns, 15762 nonzeros Variable types: 0 continuous, 1618 integer (1618 binary) Root relaxation: objective 0.000000e+00, 280 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 154 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2993 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:02:00 2012 Optimize a model with 4291 rows, 1487 columns and 13135 nonzeros Presolve time: 0.01s Presolved: 4291 rows, 1487 columns, 13135 nonzeros Variable types: 0 continuous, 1487 integer (1487 binary) Root relaxation: objective 0.000000e+00, 268 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 260 - 0.00000 - - 0s 0 0 0.00000 0 215 - 0.00000 - - 0s 0 0 0.00000 0 321 - 0.00000 - - 1s 0 0 0.00000 0 351 - 0.00000 - - 1s 0 0 0.00000 0 326 - 0.00000 - - 1s 0 0 0.00000 0 350 - 0.00000 - - 2s 0 0 0.00000 0 195 - 0.00000 - - 3s 0 0 0.00000 0 245 - 0.00000 - - 3s 0 0 0.00000 0 274 - 0.00000 - - 4s 0 0 0.00000 0 281 - 0.00000 - - 4s 0 0 0.00000 0 281 - 0.00000 - - 5s 0 2 0.00000 0 281 - 0.00000 - - 5s 603 87 0.00000 28 321 - 0.00000 - 90.4 10s 608 91 0.00000 19 328 - 0.00000 - 89.7 16s 612 93 0.00000 27 306 - 0.00000 - 89.1 20s 649 106 infeasible 27 - 0.00000 - 166 25s 961 86 0.00000 24 306 - 0.00000 - 180 30s 1270 173 infeasible 29 - 0.00000 - 188 35s 1618 215 0.00000 34 270 - 0.00000 - 191 40s 1955 254 infeasible 40 - 0.00000 - 192 45s 2284 291 infeasible 34 - 0.00000 - 195 50s 2622 391 infeasible 33 - 0.00000 - 195 55s 2971 432 0.00000 32 263 - 0.00000 - 197 60s 3359 452 infeasible 34 - 0.00000 - 197 65s 3743 494 0.00000 32 220 - 0.00000 - 197 70s 4184 543 0.00000 33 218 - 0.00000 - 194 75s 4555 542 0.00000 35 234 - 0.00000 - 194 80s 4948 573 infeasible 44 - 0.00000 - 194 85s 5311 582 infeasible 34 - 0.00000 - 194 90s 5671 572 0.00000 30 271 - 0.00000 - 195 95s 6051 604 0.00000 30 272 - 0.00000 - 195 100s 6405 588 0.00000 35 202 - 0.00000 - 196 105s 6768 605 infeasible 37 - 0.00000 - 196 110s 7134 613 infeasible 33 - 0.00000 - 196 115s 7519 622 infeasible 33 - 0.00000 - 196 120s 7863 654 0.00000 35 268 - 0.00000 - 196 125s 8171 650 infeasible 31 - 0.00000 - 197 130s 8506 651 0.00000 28 280 - 0.00000 - 198 135s 8887 678 0.00000 43 240 - 0.00000 - 197 140s 9261 712 infeasible 35 - 0.00000 - 197 145s 9589 716 0.00000 37 231 - 0.00000 - 198 150s 9897 724 0.00000 27 206 - 0.00000 - 198 155s 10246 725 0.00000 32 275 - 0.00000 - 199 160s 10559 732 0.00000 27 281 - 0.00000 - 199 165s 10900 763 0.00000 34 277 - 0.00000 - 199 170s 11239 802 0.00000 32 270 - 0.00000 - 199 175s 11591 812 infeasible 30 - 0.00000 - 199 180s 11932 837 0.00000 36 265 - 0.00000 - 200 185s 12242 839 infeasible 34 - 0.00000 - 201 190s 12553 844 0.00000 31 235 - 0.00000 - 201 195s 12871 838 infeasible 30 - 0.00000 - 202 200s 13205 848 0.00000 33 239 - 0.00000 - 202 205s 13523 844 0.00000 35 225 - 0.00000 - 202 210s 13847 898 0.00000 24 224 - 0.00000 - 202 215s 14146 957 infeasible 28 - 0.00000 - 203 220s 14479 982 infeasible 28 - 0.00000 - 203 225s 14798 991 infeasible 31 - 0.00000 - 204 230s 15116 1017 0.00000 28 278 - 0.00000 - 204 235s 15433 1018 infeasible 30 - 0.00000 - 204 240s 15713 984 0.00000 33 278 - 0.00000 - 205 245s 16025 986 infeasible 34 - 0.00000 - 205 250s 16388 1025 0.00000 31 206 - 0.00000 - 205 255s 16768 1013 infeasible 39 - 0.00000 - 205 260s 17123 1016 0.00000 29 281 - 0.00000 - 205 265s 17463 1034 infeasible 32 - 0.00000 - 205 270s 17803 1058 infeasible 35 - 0.00000 - 205 275s 18194 1065 0.00000 31 278 - 0.00000 - 205 280s 18602 1097 infeasible 35 - 0.00000 - 204 285s Cutting planes: Gomory: 3 Clique: 1 Zero half: 4 Explored 18756 nodes (3857041 simplex iterations) in 286.98 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: 6