current bounds on the number of colors: 0 -- 137 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:19:57 2012 Optimize a model with 63513 rows, 10248 columns and 199444 nonzeros Presolve time: 0.19s Presolved: 63513 rows, 10248 columns, 199444 nonzeros Variable types: 0 continuous, 10248 integer (10248 binary) Root relaxation: objective 0.000000e+00, 343 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 (673 simplex iterations) in 0.34 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 -- 68 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:19:58 2012 Optimize a model with 31825 rows, 5590 columns and 99722 nonzeros Presolve time: 0.15s Presolved: 31825 rows, 5590 columns, 99722 nonzeros Variable types: 0 continuous, 5590 integer (5590 binary) Root relaxation: objective 0.000000e+00, 332 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 (689 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:19:58 2012 Optimize a model with 15981 rows, 3261 columns and 49861 nonzeros Presolve time: 0.05s Presolved: 15981 rows, 3261 columns, 49861 nonzeros Variable types: 0 continuous, 3261 integer (3261 binary) Root relaxation: objective 0.000000e+00, 274 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 (723 simplex iterations) in 0.10 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 08:19:59 2012 Optimize a model with 7593 rows, 2028 columns and 23464 nonzeros Presolve time: 0.02s Presolved: 7593 rows, 2028 columns, 23464 nonzeros Variable types: 0 continuous, 2028 integer (2028 binary) Root relaxation: objective 0.000000e+00, 291 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 (1014 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:19:59 2012 Optimize a model with 3865 rows, 1480 columns and 11732 nonzeros Presolve time: 0.01s Presolved: 3865 rows, 1480 columns, 11732 nonzeros Variable types: 0 continuous, 1480 integer (1480 binary) Root relaxation: objective 0.000000e+00, 293 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 272 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 0s 0 0 0.00000 0 432 - 0.00000 - - 1s 0 0 0.00000 0 432 - 0.00000 - - 1s 0 0 0.00000 0 421 - 0.00000 - - 3s 0 0 0.00000 0 413 - 0.00000 - - 4s 0 0 0.00000 0 411 - 0.00000 - - 5s 0 0 0.00000 0 409 - 0.00000 - - 6s 0 0 0.00000 0 417 - 0.00000 - - 7s 0 0 0.00000 0 414 - 0.00000 - - 9s 0 0 0.00000 0 412 - 0.00000 - - 10s 0 0 0.00000 0 409 - 0.00000 - - 11s 0 0 0.00000 0 404 - 0.00000 - - 12s 0 0 0.00000 0 421 - 0.00000 - - 13s 0 0 0.00000 0 427 - 0.00000 - - 14s 0 0 0.00000 0 427 - 0.00000 - - 14s 0 2 0.00000 0 427 - 0.00000 - - 15s Cutting planes: Clique: 26 Zero half: 23 Explored 9 nodes (59986 simplex iterations) in 16.43 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 08:20:15 2012 Optimize a model with 5729 rows, 1754 columns and 17598 nonzeros Presolve time: 0.02s Presolved: 5729 rows, 1754 columns, 17598 nonzeros Variable types: 0 continuous, 1754 integer (1754 binary) Root relaxation: objective 0.000000e+00, 288 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 108 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 27 MIR: 1 Zero half: 49 Explored 0 nodes (3924 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:20:16 2012 Optimize a model with 4797 rows, 1617 columns and 14665 nonzeros Presolve time: 0.01s Presolved: 4797 rows, 1617 columns, 14665 nonzeros Variable types: 0 continuous, 1617 integer (1617 binary) Root relaxation: objective 0.000000e+00, 288 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 266 - 0.00000 - - 0s 0 0 0.00000 0 253 - 0.00000 - - 0s 0 0 0.00000 0 298 - 0.00000 - - 1s 0 0 0.00000 0 424 - 0.00000 - - 1s 0 0 0.00000 0 343 - 0.00000 - - 3s 0 0 0.00000 0 355 - 0.00000 - - 3s 0 0 0.00000 0 348 - 0.00000 - - 4s 0 0 0.00000 0 375 - 0.00000 - - 5s 0 0 0.00000 0 375 - 0.00000 - - 5s 0 2 0.00000 0 375 - 0.00000 - - 6s 289 14 infeasible 18 - 0.00000 - 148 10s 703 28 0.00000 19 298 - 0.00000 - 129 15s 707 31 0.00000 19 361 - 0.00000 - 128 22s 710 33 0.00000 7 340 - 0.00000 - 127 26s 713 35 0.00000 13 313 - 0.00000 - 127 30s 716 37 0.00000 7 327 - 0.00000 - 126 35s 721 40 0.00000 8 333 - 0.00000 - 125 40s 846 19 0.00000 20 316 - 0.00000 - 221 45s 983 50 infeasible 28 - 0.00000 - 240 50s 1130 67 infeasible 31 - 0.00000 - 251 55s 1265 54 0.00000 24 307 - 0.00000 - 265 60s 1394 65 0.00000 29 332 - 0.00000 - 276 65s 1570 101 infeasible 37 - 0.00000 - 276 70s 1741 110 0.00000 35 310 - 0.00000 - 279 75s 1900 97 infeasible 31 - 0.00000 - 283 80s 2071 104 0.00000 36 311 - 0.00000 - 284 85s 2237 102 0.00000 31 315 - 0.00000 - 286 90s 2404 95 infeasible 39 - 0.00000 - 288 95s 2572 97 infeasible 29 - 0.00000 - 289 100s 2733 92 0.00000 25 317 - 0.00000 - 291 105s 2912 105 0.00000 27 305 - 0.00000 - 291 110s 3103 102 infeasible 35 - 0.00000 - 291 115s 3279 110 infeasible 33 - 0.00000 - 291 120s 3438 101 infeasible 24 - 0.00000 - 293 125s 3616 119 0.00000 32 338 - 0.00000 - 293 130s 3797 118 0.00000 29 305 - 0.00000 - 293 135s 3939 122 0.00000 30 297 - 0.00000 - 296 140s 4099 120 infeasible 31 - 0.00000 - 296 145s 4247 128 infeasible 37 - 0.00000 - 298 150s 4385 122 infeasible 31 - 0.00000 - 301 155s 4560 137 0.00000 31 248 - 0.00000 - 301 160s 4736 135 0.00000 28 288 - 0.00000 - 301 165s 4901 126 infeasible 32 - 0.00000 - 302 170s 5067 122 0.00000 25 330 - 0.00000 - 302 175s 5225 116 infeasible 28 - 0.00000 - 303 180s 5399 128 infeasible 31 - 0.00000 - 303 185s 5559 128 0.00000 32 324 - 0.00000 - 303 190s 5728 121 0.00000 32 302 - 0.00000 - 304 195s 5871 130 0.00000 31 302 - 0.00000 - 305 200s 6034 123 0.00000 30 321 - 0.00000 - 305 205s 6185 138 infeasible 38 - 0.00000 - 306 210s 6336 133 infeasible 35 - 0.00000 - 307 215s 6486 131 0.00000 30 315 - 0.00000 - 308 220s 6635 144 0.00000 35 234 - 0.00000 - 308 225s 6798 131 0.00000 26 315 - 0.00000 - 308 230s 6951 122 infeasible 29 - 0.00000 - 309 235s 7088 131 0.00000 31 263 - 0.00000 - 310 240s 7248 127 0.00000 37 298 - 0.00000 - 311 245s 7402 123 0.00000 32 308 - 0.00000 - 311 250s 7580 117 infeasible 29 - 0.00000 - 311 255s 7723 112 0.00000 29 340 - 0.00000 - 312 260s 7868 119 0.00000 32 309 - 0.00000 - 312 265s 8014 123 0.00000 29 320 - 0.00000 - 313 270s 8183 120 0.00000 31 318 - 0.00000 - 313 275s Cutting planes: Clique: 6 Zero half: 10 Explored 8317 nodes (2639140 simplex iterations) in 279.57 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