current bounds on the number of colors: 0 -- 134 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:32:16 2012 Optimize a model with 59429 rows, 9863 columns and 186863 nonzeros Presolve time: 0.18s Presolved: 59429 rows, 9863 columns, 186863 nonzeros Variable types: 0 continuous, 9863 integer (9863 binary) Root relaxation: objective 0.000000e+00, 344 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 (653 simplex iterations) in 0.33 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 -- 67 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:32:17 2012 Optimize a model with 29339 rows, 5307 columns and 92037 nonzeros Presolve time: 0.13s Presolved: 29339 rows, 5307 columns, 92037 nonzeros Variable types: 0 continuous, 5307 integer (5307 binary) Root relaxation: objective 0.000000e+00, 409 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 (772 simplex iterations) in 0.21 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 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:32:17 2012 Optimize a model with 14294 rows, 3029 columns and 44624 nonzeros Presolve time: 0.05s Presolved: 14294 rows, 3029 columns, 44624 nonzeros Variable types: 0 continuous, 3029 integer (3029 binary) Root relaxation: objective 0.000000e+00, 271 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 (537 simplex iterations) in 0.08 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 05:32:18 2012 Optimize a model with 7214 rows, 1957 columns and 22312 nonzeros Presolve time: 0.02s Presolved: 7214 rows, 1957 columns, 22312 nonzeros Variable types: 0 continuous, 1957 integer (1957 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 (1023 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 05:32:18 2012 Optimize a model with 3674 rows, 1421 columns and 11156 nonzeros Presolve time: 0.01s Presolved: 3674 rows, 1421 columns, 11156 nonzeros Variable types: 0 continuous, 1421 integer (1421 binary) Root relaxation: objective 0.000000e+00, 292 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 266 - 0.00000 - - 0s 0 0 0.00000 0 238 - 0.00000 - - 0s 0 0 0.00000 0 430 - 0.00000 - - 1s 0 0 0.00000 0 440 - 0.00000 - - 2s 0 0 0.00000 0 425 - 0.00000 - - 2s 0 0 0.00000 0 420 - 0.00000 - - 4s 0 0 0.00000 0 412 - 0.00000 - - 5s 0 0 0.00000 0 410 - 0.00000 - - 6s 0 0 0.00000 0 403 - 0.00000 - - 7s 0 0 0.00000 0 411 - 0.00000 - - 9s 0 0 0.00000 0 424 - 0.00000 - - 10s 0 0 0.00000 0 417 - 0.00000 - - 11s 0 0 0.00000 0 424 - 0.00000 - - 12s 0 0 0.00000 0 412 - 0.00000 - - 12s 0 2 0.00000 0 406 - 0.00000 - - 13s Cutting planes: Clique: 30 Zero half: 17 Explored 4 nodes (49886 simplex iterations) in 14.04 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 05:32:32 2012 Optimize a model with 5444 rows, 1689 columns and 16734 nonzeros Presolve time: 0.01s Presolved: 5444 rows, 1689 columns, 16734 nonzeros Variable types: 0 continuous, 1689 integer (1689 binary) Root relaxation: objective 0.000000e+00, 277 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 156 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 47 MIR: 6 Zero half: 64 Explored 0 nodes (4076 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:32:32 2012 Optimize a model with 4559 rows, 1555 columns and 13945 nonzeros Presolve time: 0.01s Presolved: 4559 rows, 1555 columns, 13945 nonzeros Variable types: 0 continuous, 1555 integer (1555 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 254 - 0.00000 - - 0s 0 0 0.00000 0 256 - 0.00000 - - 0s 0 0 0.00000 0 246 - 0.00000 - - 1s 0 0 0.00000 0 353 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 2s 0 0 0.00000 0 338 - 0.00000 - - 2s 0 0 0.00000 0 324 - 0.00000 - - 3s 0 0 0.00000 0 289 - 0.00000 - - 4s 0 0 0.00000 0 314 - 0.00000 - - 5s 0 0 0.00000 0 305 - 0.00000 - - 5s 0 0 0.00000 0 283 - 0.00000 - - 6s 0 0 0.00000 0 305 - 0.00000 - - 7s 0 0 0.00000 0 305 - 0.00000 - - 7s 0 2 0.00000 0 305 - 0.00000 - - 8s 122 29 0.00000 13 238 - 0.00000 - 166 10s 537 51 0.00000 16 245 - 0.00000 - 148 15s 805 62 0.00000 17 208 - 0.00000 - 144 21s 808 64 0.00000 21 295 - 0.00000 - 144 26s 811 66 0.00000 16 152 - 0.00000 - 143 30s 821 70 0.00000 13 290 - 0.00000 - 201 35s 910 68 0.00000 19 323 - 0.00000 - 209 40s 1086 88 0.00000 27 320 - 0.00000 - 220 45s 1240 122 0.00000 31 330 - 0.00000 - 236 50s 1382 118 0.00000 26 281 - 0.00000 - 251 55s 1527 127 infeasible 31 - 0.00000 - 261 60s 1685 121 infeasible 22 - 0.00000 - 270 65s 1824 112 0.00000 21 311 - 0.00000 - 278 70s 1979 121 infeasible 24 - 0.00000 - 282 75s 2121 119 infeasible 32 - 0.00000 - 289 80s 2249 125 0.00000 27 332 - 0.00000 - 295 85s 2372 106 infeasible 28 - 0.00000 - 301 90s 2521 97 infeasible 26 - 0.00000 - 306 95s 2667 99 infeasible 27 - 0.00000 - 309 100s 2817 97 infeasible 18 - 0.00000 - 311 105s 2974 88 infeasible 25 - 0.00000 - 313 110s 3134 82 infeasible 22 - 0.00000 - 314 115s 3286 74 infeasible 31 - 0.00000 - 316 120s 3435 79 0.00000 20 341 - 0.00000 - 318 125s 3600 92 infeasible 26 - 0.00000 - 319 130s 3768 84 0.00000 30 277 - 0.00000 - 320 135s 3920 62 infeasible 31 - 0.00000 - 322 140s 4085 63 infeasible 22 - 0.00000 - 322 145s 4267 53 0.00000 25 324 - 0.00000 - 322 150s 4407 47 infeasible 29 - 0.00000 - 324 155s 4581 41 0.00000 21 333 - 0.00000 - 324 160s 4728 32 0.00000 22 300 - 0.00000 - 325 165s 4904 34 infeasible 25 - 0.00000 - 325 170s 5051 25 infeasible 30 - 0.00000 - 326 175s 5215 25 infeasible 26 - 0.00000 - 326 180s 5355 17 0.00000 25 317 - 0.00000 - 328 185s 5527 15 0.00000 23 304 - 0.00000 - 328 190s 5692 14 infeasible 24 - 0.00000 - 328 195s 5849 15 0.00000 22 295 - 0.00000 - 329 200s 6037 13 0.00000 23 298 - 0.00000 - 328 205s Cutting planes: Clique: 2 Zero half: 7 Explored 6167 nodes (2074133 simplex iterations) in 209.25 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 6