current bounds on the number of colors: 0 -- 142 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:06:19 2012 Optimize a model with 69935 rows, 11065 columns and 219461 nonzeros Presolve time: 0.19s Presolved: 69935 rows, 11065 columns, 219461 nonzeros Variable types: 0 continuous, 11065 integer (11065 binary) Root relaxation: objective 0.000000e+00, 360 iterations, 0.08 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 (694 simplex iterations) in 0.37 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 -- 71 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:06:20 2012 Optimize a model with 34547 rows, 5953 columns and 108185 nonzeros Presolve time: 0.15s Presolved: 34547 rows, 5953 columns, 108185 nonzeros Variable types: 0 continuous, 5953 integer (5953 binary) Root relaxation: objective 0.000000e+00, 459 iterations, 0.04 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 (866 simplex iterations) in 0.24 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:06:21 2012 Optimize a model with 16853 rows, 3397 columns and 52547 nonzeros Presolve time: 0.06s Presolved: 16853 rows, 3397 columns, 52547 nonzeros Variable types: 0 continuous, 3397 integer (3397 binary) Root relaxation: objective 0.000000e+00, 287 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 (569 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:06:21 2012 Optimize a model with 8006 rows, 2119 columns and 24728 nonzeros Presolve time: 0.02s Presolved: 8006 rows, 2119 columns, 24728 nonzeros Variable types: 0 continuous, 2119 integer (2119 binary) Root relaxation: objective 0.000000e+00, 300 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 (1484 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:06:21 2012 Optimize a model with 4074 rows, 1551 columns and 12364 nonzeros Presolve time: 0.01s Presolved: 4074 rows, 1551 columns, 12364 nonzeros Variable types: 0 continuous, 1551 integer (1551 binary) Root relaxation: objective 0.000000e+00, 304 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.00000 0 424 - 0.00000 - - 0s 0 0 0.00000 0 449 - 0.00000 - - 2s 0 0 0.00000 0 461 - 0.00000 - - 2s 0 0 0.00000 0 441 - 0.00000 - - 3s 0 0 0.00000 0 447 - 0.00000 - - 5s 0 0 0.00000 0 450 - 0.00000 - - 6s 0 0 0.00000 0 448 - 0.00000 - - 7s 0 0 0.00000 0 457 - 0.00000 - - 7s 0 0 0.00000 0 456 - 0.00000 - - 8s 0 2 0.00000 0 449 - 0.00000 - - 9s 4 2 infeasible 3 - 0.00000 - 1135 10s Cutting planes: Clique: 22 Zero half: 13 Explored 7 nodes (42773 simplex iterations) in 10.12 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 12:06:31 2012 Optimize a model with 6040 rows, 1835 columns and 18546 nonzeros Presolve time: 0.02s Presolved: 6040 rows, 1835 columns, 18546 nonzeros Variable types: 0 continuous, 1835 integer (1835 binary) Root relaxation: objective 0.000000e+00, 303 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 * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 11 Clique: 44 MIR: 1 Zero half: 34 Explored 0 nodes (5967 simplex iterations) in 0.63 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 12:06:32 2012 Optimize a model with 5057 rows, 1693 columns and 15455 nonzeros Presolve time: 0.01s Presolved: 5057 rows, 1693 columns, 15455 nonzeros Variable types: 0 continuous, 1693 integer (1693 binary) Root relaxation: objective 0.000000e+00, 303 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 278 - 0.00000 - - 0s 0 0 0.00000 0 276 - 0.00000 - - 0s 0 0 0.00000 0 336 - 0.00000 - - 1s 0 0 0.00000 0 396 - 0.00000 - - 1s 0 0 0.00000 0 336 - 0.00000 - - 2s 0 0 0.00000 0 243 - 0.00000 - - 3s 0 0 0.00000 0 320 - 0.00000 - - 4s 0 0 0.00000 0 292 - 0.00000 - - 5s 0 0 0.00000 0 300 - 0.00000 - - 6s 0 0 0.00000 0 304 - 0.00000 - - 6s 0 0 0.00000 0 304 - 0.00000 - - 7s 0 2 0.00000 0 304 - 0.00000 - - 8s 101 29 0.00000 18 272 - 0.00000 - 194 10s 416 55 infeasible 19 - 0.00000 - 177 15s 604 78 0.00000 11 416 - 0.00000 - 171 20s 606 79 0.00000 14 343 - 0.00000 - 170 25s 608 81 0.00000 21 351 - 0.00000 - 170 30s 610 82 0.00000 17 351 - 0.00000 - 169 35s 613 84 0.00000 17 340 - 0.00000 - 169 40s 646 102 0.00000 27 248 - 0.00000 - 254 45s 791 57 infeasible 27 - 0.00000 - 267 50s 921 67 infeasible 27 - 0.00000 - 279 55s 1026 58 infeasible 27 - 0.00000 - 296 60s 1155 75 infeasible 32 - 0.00000 - 305 65s 1293 83 infeasible 33 - 0.00000 - 308 70s 1406 76 infeasible 29 - 0.00000 - 317 75s 1563 105 0.00000 32 331 - 0.00000 - 316 80s 1698 108 infeasible 27 - 0.00000 - 319 85s 1834 140 0.00000 25 345 - 0.00000 - 321 90s 1947 137 infeasible 28 - 0.00000 - 327 95s 2064 128 0.00000 26 346 - 0.00000 - 331 100s 2189 119 0.00000 21 348 - 0.00000 - 334 105s 2319 121 infeasible 30 - 0.00000 - 336 110s 2464 132 0.00000 30 328 - 0.00000 - 335 115s 2608 138 infeasible 33 - 0.00000 - 335 120s 2759 129 infeasible 29 - 0.00000 - 335 125s 2881 125 0.00000 23 341 - 0.00000 - 337 130s 3008 142 0.00000 26 330 - 0.00000 - 338 135s 3139 157 0.00000 27 306 - 0.00000 - 339 140s 3272 154 infeasible 27 - 0.00000 - 340 145s 3395 167 0.00000 33 340 - 0.00000 - 341 150s 3537 173 0.00000 26 333 - 0.00000 - 341 155s 3653 181 infeasible 25 - 0.00000 - 343 160s 3776 182 infeasible 30 - 0.00000 - 345 165s 3921 189 infeasible 28 - 0.00000 - 344 170s 4061 193 0.00000 28 339 - 0.00000 - 344 175s 4191 187 infeasible 30 - 0.00000 - 345 180s 4339 195 0.00000 27 311 - 0.00000 - 345 185s 4488 188 0.00000 22 316 - 0.00000 - 344 190s 4614 182 infeasible 29 - 0.00000 - 345 195s 4742 188 0.00000 28 333 - 0.00000 - 346 200s 4879 189 infeasible 30 - 0.00000 - 346 205s 5001 181 0.00000 23 356 - 0.00000 - 347 210s 5125 185 infeasible 27 - 0.00000 - 348 215s 5252 184 0.00000 29 334 - 0.00000 - 348 220s 5393 181 infeasible 28 - 0.00000 - 348 225s 5538 182 infeasible 28 - 0.00000 - 349 230s 5667 187 infeasible 33 - 0.00000 - 349 235s 5792 188 infeasible 31 - 0.00000 - 349 240s 5907 193 0.00000 30 347 - 0.00000 - 350 245s 6023 197 0.00000 29 344 - 0.00000 - 351 250s 6146 196 infeasible 28 - 0.00000 - 352 255s 6265 205 0.00000 29 334 - 0.00000 - 352 260s 6388 194 0.00000 27 320 - 0.00000 - 353 265s 6522 194 infeasible 31 - 0.00000 - 353 270s 6673 207 0.00000 32 334 - 0.00000 - 352 275s 6817 197 infeasible 23 - 0.00000 - 352 280s 6945 201 infeasible 39 - 0.00000 - 352 285s Cutting planes: Clique: 9 Zero half: 7 Explored 6954 nodes (2488995 simplex iterations) in 285.24 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