current bounds on the number of colors: 0 -- 126 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:35:05 2012 Optimize a model with 56196 rows, 8828 columns and 176148 nonzeros Presolve time: 0.17s Presolved: 56196 rows, 8828 columns, 176148 nonzeros Variable types: 0 continuous, 8828 integer (8828 binary) Root relaxation: objective 0.000000e+00, 294 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 (575 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 -- 63 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:35:06 2012 Optimize a model with 27716 rows, 4796 columns and 86676 nonzeros Presolve time: 0.12s Presolved: 27716 rows, 4796 columns, 86676 nonzeros Variable types: 0 continuous, 4796 integer (4796 binary) Root relaxation: objective 0.000000e+00, 300 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 (574 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 -- 31 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:35:07 2012 Optimize a model with 13476 rows, 2780 columns and 41940 nonzeros Presolve time: 0.04s Presolved: 13476 rows, 2780 columns, 41940 nonzeros Variable types: 0 continuous, 2780 integer (2780 binary) Root relaxation: objective 0.000000e+00, 256 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.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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:35:07 2012 Optimize a model with 6356 rows, 1772 columns and 19572 nonzeros Presolve time: 0.02s Presolved: 6356 rows, 1772 columns, 19572 nonzeros Variable types: 0 continuous, 1772 integer (1772 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.00000 0 58 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2646 simplex iterations) in 0.17 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:35:07 2012 Optimize a model with 2796 rows, 1268 columns and 8388 nonzeros Presolve time: 0.01s Presolved: 2796 rows, 1268 columns, 8388 nonzeros Variable types: 0 continuous, 1268 integer (1268 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 222 - 0.00000 - - 0s 0 0 0.00000 0 307 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5130 simplex iterations) in 0.66 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:35:08 2012 Optimize a model with 4576 rows, 1520 columns and 13980 nonzeros Presolve time: 0.01s Presolved: 4576 rows, 1520 columns, 13980 nonzeros Variable types: 0 continuous, 1520 integer (1520 binary) Root relaxation: objective 0.000000e+00, 276 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 242 - 0.00000 - - 0s 0 0 0.00000 0 240 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 372 - 0.00000 - - 1s 0 0 0.00000 0 359 - 0.00000 - - 1s 0 0 0.00000 0 368 - 0.00000 - - 1s 0 0 0.00000 0 298 - 0.00000 - - 2s 0 0 0.00000 0 190 - 0.00000 - - 3s 0 0 0.00000 0 224 - 0.00000 - - 4s 0 0 0.00000 0 254 - 0.00000 - - 4s 0 0 0.00000 0 263 - 0.00000 - - 5s 0 0 0.00000 0 279 - 0.00000 - - 6s 0 0 0.00000 0 279 - 0.00000 - - 7s 0 2 0.00000 0 279 - 0.00000 - - 8s 90 24 0.00000 21 257 - 0.00000 - 183 10s 499 30 0.00000 19 275 - 0.00000 - 146 15s 920 23 infeasible 21 - 0.00000 - 142 20s 1295 17 0.00000 16 305 - 0.00000 - 146 25s 1317 36 0.00000 6 349 - 0.00000 - 145 30s 1323 40 0.00000 15 310 - 0.00000 - 145 36s 1326 42 0.00000 26 335 - 0.00000 - 144 42s 1328 43 0.00000 2 311 - 0.00000 - 144 45s 1332 46 0.00000 24 293 - 0.00000 - 144 50s 1458 24 infeasible 29 - 0.00000 - 189 55s 1615 24 0.00000 24 288 - 0.00000 - 202 60s 1777 30 infeasible 35 - 0.00000 - 213 65s 1927 34 0.00000 23 299 - 0.00000 - 222 70s 2051 18 infeasible 24 - 0.00000 - 234 75s 2177 12 0.00000 18 315 - 0.00000 - 243 80s 2315 16 infeasible 31 - 0.00000 - 250 85s 2447 16 infeasible 27 - 0.00000 - 257 90s 2573 12 0.00000 24 312 - 0.00000 - 263 95s 2737 20 infeasible 30 - 0.00000 - 266 100s 2882 25 infeasible 31 - 0.00000 - 271 105s 3027 34 infeasible 31 - 0.00000 - 274 110s 3193 46 0.00000 32 268 - 0.00000 - 277 115s 3326 43 infeasible 31 - 0.00000 - 281 120s 3485 48 0.00000 26 319 - 0.00000 - 282 125s 3659 38 0.00000 24 300 - 0.00000 - 284 130s 3799 44 infeasible 29 - 0.00000 - 286 135s 3919 38 infeasible 26 - 0.00000 - 290 140s 4056 35 0.00000 25 309 - 0.00000 - 293 145s 4190 29 infeasible 28 - 0.00000 - 296 150s 4330 21 infeasible 35 - 0.00000 - 298 155s 4481 18 0.00000 23 303 - 0.00000 - 300 160s 4616 15 infeasible 26 - 0.00000 - 302 165s 4747 10 infeasible 23 - 0.00000 - 304 170s 4902 25 infeasible 29 - 0.00000 - 305 175s 5054 35 0.00000 27 277 - 0.00000 - 306 180s 5195 22 infeasible 27 - 0.00000 - 308 185s 5336 21 infeasible 22 - 0.00000 - 309 190s 5466 9 infeasible 23 - 0.00000 - 310 195s 5608 17 0.00000 24 220 - 0.00000 - 311 200s 5745 14 0.00000 23 297 - 0.00000 - 313 205s 5896 15 infeasible 21 - 0.00000 - 313 210s 6042 13 infeasible 24 - 0.00000 - 314 215s 6201 14 0.00000 22 316 - 0.00000 - 314 220s 6355 6 infeasible 22 - 0.00000 - 314 225s 6515 8 infeasible 23 - 0.00000 - 314 230s 6679 18 0.00000 26 228 - 0.00000 - 314 235s 6821 16 0.00000 22 321 - 0.00000 - 315 240s 6964 11 0.00000 23 305 - 0.00000 - 316 245s 7116 5 0.00000 22 309 - 0.00000 - 317 250s 7275 20 infeasible 28 - 0.00000 - 317 255s 7421 20 0.00000 25 303 - 0.00000 - 317 260s 7565 8 0.00000 20 308 - 0.00000 - 318 265s 7715 12 0.00000 21 294 - 0.00000 - 318 270s 7850 7 infeasible 23 - 0.00000 - 319 275s 7994 17 0.00000 27 285 - 0.00000 - 320 280s 8150 9 infeasible 23 - 0.00000 - 320 285s 8300 9 0.00000 28 295 - 0.00000 - 320 290s Cutting planes: Clique: 11 Zero half: 4 Explored 8406 nodes (2745117 simplex iterations) in 294.22 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: 5 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:40:02 2012 Optimize a model with 5466 rows, 1646 columns and 16776 nonzeros Presolve time: 0.01s Presolved: 5466 rows, 1646 columns, 16776 nonzeros Variable types: 0 continuous, 1646 integer (1646 binary) Root relaxation: objective 0.000000e+00, 263 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 242 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1387 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% optimal solution found: number of colors: 6