current bounds on the number of colors: 0 -- 199 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:50:47 2012 Optimize a model with 99496 rows, 20704 columns and 317592 nonzeros Presolve time: 0.33s Presolved: 99496 rows, 20704 columns, 317592 nonzeros Variable types: 0 continuous, 20704 integer (20704 binary) Root relaxation: objective 0.000000e+00, 705 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 (1181 simplex iterations) in 0.56 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 -- 99 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:50:49 2012 Optimize a model with 49346 rows, 10754 columns and 157192 nonzeros Presolve time: 0.17s Presolved: 49346 rows, 10754 columns, 157192 nonzeros Variable types: 0 continuous, 10754 integer (10754 binary) Root relaxation: objective 0.000000e+00, 658 iterations, 0.05 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 (1124 simplex iterations) in 0.28 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:50:50 2012 Optimize a model with 24271 rows, 5779 columns and 76992 nonzeros Presolve time: 0.10s Presolved: 24271 rows, 5779 columns, 76992 nonzeros Variable types: 0 continuous, 5779 integer (5779 binary) Root relaxation: objective 0.000000e+00, 446 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 (831 simplex iterations) in 0.15 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:50:50 2012 Optimize a model with 12235 rows, 3391 columns and 38496 nonzeros Presolve time: 0.04s Presolved: 12235 rows, 3391 columns, 38496 nonzeros Variable types: 0 continuous, 3391 integer (3391 binary) Root relaxation: objective 0.000000e+00, 421 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 (826 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:50:51 2012 Optimize a model with 6217 rows, 2197 columns and 19248 nonzeros Presolve time: 0.02s Presolved: 6217 rows, 2197 columns, 19248 nonzeros Variable types: 0 continuous, 2197 integer (2197 binary) Root relaxation: objective 0.000000e+00, 431 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 (1894 simplex iterations) in 0.12 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:50:51 2012 Optimize a model with 3208 rows, 1600 columns and 9624 nonzeros Presolve time: 0.01s Presolved: 3208 rows, 1600 columns, 9624 nonzeros Variable types: 0 continuous, 1600 integer (1600 binary) Root relaxation: objective 0.000000e+00, 466 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 316 - 0.00000 - - 0s 0 0 0.00000 0 376 - 0.00000 - - 0s 0 0 0.00000 0 549 - 0.00000 - - 1s 0 0 0.00000 0 558 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 1 Zero half: 1197 Explored 0 nodes (11899 simplex iterations) in 1.97 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:50:53 2012 Optimize a model with 4211 rows, 1799 columns and 12832 nonzeros Presolve time: 0.01s Presolved: 4211 rows, 1799 columns, 12832 nonzeros Variable types: 0 continuous, 1799 integer (1799 binary) Root relaxation: objective 0.000000e+00, 437 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 380 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 1s 0 0 0.00000 0 474 - 0.00000 - - 1s 0 0 0.00000 0 368 - 0.00000 - - 2s 0 0 0.00000 0 366 - 0.00000 - - 2s 0 0 0.00000 0 372 - 0.00000 - - 3s 0 0 0.00000 0 360 - 0.00000 - - 4s 0 0 0.00000 0 354 - 0.00000 - - 4s 0 0 0.00000 0 340 - 0.00000 - - 5s 0 0 0.00000 0 320 - 0.00000 - - 6s 0 0 0.00000 0 320 - 0.00000 - - 6s 0 0 0.00000 0 320 - 0.00000 - - 7s 0 0 0.00000 0 310 - 0.00000 - - 8s 0 0 0.00000 0 320 - 0.00000 - - 8s 0 0 0.00000 0 310 - 0.00000 - - 9s 0 2 0.00000 0 310 - 0.00000 - - 9s 2 3 0.00000 1 519 - 0.00000 - 1425 10s 307 53 0.00000 13 477 - 0.00000 - 190 15s 703 110 0.00000 19 370 - 0.00000 - 160 21s 706 112 0.00000 19 354 - 0.00000 - 159 27s 708 114 0.00000 21 365 - 0.00000 - 159 31s 710 115 0.00000 15 338 - 0.00000 - 158 35s 713 117 0.00000 19 330 - 0.00000 - 158 42s 725 125 0.00000 15 490 - 0.00000 - 252 45s 885 102 0.00000 22 479 - 0.00000 - 261 50s 1042 56 0.00000 18 368 - 0.00000 - 269 55s 1185 29 0.00000 22 407 - 0.00000 - 279 60s 1370 42 0.00000 26 372 - 0.00000 - 279 65s 1553 33 infeasible 31 - 0.00000 - 281 70s 1754 38 0.00000 28 452 - 0.00000 - 281 75s 1946 32 infeasible 23 - 0.00000 - 281 80s 2144 28 infeasible 21 - 0.00000 - 280 85s 2292 26 infeasible 22 - 0.00000 - 284 90s 2458 32 0.00000 23 454 - 0.00000 - 286 95s 2620 34 0.00000 25 463 - 0.00000 - 287 100s 2769 27 infeasible 21 - 0.00000 - 290 105s 2930 22 infeasible 25 - 0.00000 - 291 110s 3084 20 infeasible 20 - 0.00000 - 293 115s 3251 23 0.00000 22 370 - 0.00000 - 293 120s 3409 25 infeasible 26 - 0.00000 - 296 125s 3551 21 0.00000 22 362 - 0.00000 - 298 130s 3730 24 0.00000 27 454 - 0.00000 - 298 135s 3894 22 infeasible 27 - 0.00000 - 299 140s 4066 14 infeasible 23 - 0.00000 - 299 145s 4243 21 0.00000 23 370 - 0.00000 - 299 150s 4442 18 infeasible 25 - 0.00000 - 297 155s 4600 24 0.00000 24 356 - 0.00000 - 298 160s 4742 18 infeasible 25 - 0.00000 - 300 165s 4921 17 0.00000 19 425 - 0.00000 - 299 170s 5080 22 infeasible 27 - 0.00000 - 300 175s 5235 13 infeasible 25 - 0.00000 - 301 180s 5375 9 infeasible 21 - 0.00000 - 302 185s 5533 7 infeasible 20 - 0.00000 - 303 190s Cutting planes: Zero half: 9 Explored 5575 nodes (1754829 simplex iterations) in 191.35 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:54:04 2012 Optimize a model with 5214 rows, 1998 columns and 16040 nonzeros Presolve time: 0.01s Presolved: 5214 rows, 1998 columns, 16040 nonzeros Variable types: 0 continuous, 1998 integer (1998 binary) Root relaxation: objective 0.000000e+00, 436 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 366 - 0.00000 - - 0s 0 0 0.00000 0 350 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 0.00000 0 379 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 1s 0 0 0.00000 0 340 - 0.00000 - - 1s * 0 0 0 0.0000000 0.00000 0.0% - 1s Cutting planes: Clique: 2 Zero half: 206 Explored 0 nodes (16308 simplex iterations) in 1.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% optimal solution found: number of colors: 5