current bounds on the number of colors: 0 -- 198 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:16:00 2012 Optimize a model with 99693 rows, 20607 columns and 318087 nonzeros Presolve time: 0.33s Presolved: 99693 rows, 20607 columns, 318087 nonzeros Variable types: 0 continuous, 20607 integer (20607 binary) Root relaxation: objective 0.000000e+00, 773 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 (1241 simplex iterations) in 0.55 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:16:02 2012 Optimize a model with 49443 rows, 10707 columns and 157437 nonzeros Presolve time: 0.16s Presolved: 49443 rows, 10707 columns, 157437 nonzeros Variable types: 0 continuous, 10707 integer (10707 binary) Root relaxation: objective 0.000000e+00, 673 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 (1165 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:16:03 2012 Optimize a model with 24318 rows, 5757 columns and 77112 nonzeros Presolve time: 0.10s Presolved: 24318 rows, 5757 columns, 77112 nonzeros Variable types: 0 continuous, 5757 integer (5757 binary) Root relaxation: objective 0.000000e+00, 493 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 (917 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:16:03 2012 Optimize a model with 12258 rows, 3381 columns and 38556 nonzeros Presolve time: 0.04s Presolved: 12258 rows, 3381 columns, 38556 nonzeros Variable types: 0 continuous, 3381 integer (3381 binary) Root relaxation: objective 0.000000e+00, 414 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 (793 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:16:03 2012 Optimize a model with 6228 rows, 2193 columns and 19278 nonzeros Presolve time: 0.02s Presolved: 6228 rows, 2193 columns, 19278 nonzeros Variable types: 0 continuous, 2193 integer (2193 binary) Root relaxation: objective 0.000000e+00, 433 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 (1604 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:16:03 2012 Optimize a model with 3213 rows, 1599 columns and 9639 nonzeros Presolve time: 0.01s Presolved: 3213 rows, 1599 columns, 9639 nonzeros Variable types: 0 continuous, 1599 integer (1599 binary) Root relaxation: objective 0.000000e+00, 448 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 312 - 0.00000 - - 0s 0 0 0.00000 0 473 - 0.00000 - - 0s 0 0 0.00000 0 543 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 17 Zero half: 1312 Explored 0 nodes (9619 simplex iterations) in 1.52 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:16:05 2012 Optimize a model with 4218 rows, 1797 columns and 12852 nonzeros Presolve time: 0.01s Presolved: 4218 rows, 1797 columns, 12852 nonzeros Variable types: 0 continuous, 1797 integer (1797 binary) Root relaxation: objective 0.000000e+00, 461 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 390 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 0s 0 0 0.00000 0 538 - 0.00000 - - 1s 0 0 0.00000 0 370 - 0.00000 - - 1s 0 0 0.00000 0 366 - 0.00000 - - 2s 0 0 0.00000 0 368 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 3s 0 0 0.00000 0 366 - 0.00000 - - 4s 0 0 0.00000 0 369 - 0.00000 - - 4s 0 0 0.00000 0 338 - 0.00000 - - 5s 0 0 0.00000 0 338 - 0.00000 - - 6s 0 0 0.00000 0 338 - 0.00000 - - 6s 0 2 0.00000 0 338 - 0.00000 - - 7s 306 32 infeasible 23 - 0.00000 - 138 10s 703 61 0.00000 16 388 - 0.00000 - 136 15s 706 63 0.00000 17 356 - 0.00000 - 136 20s 709 65 0.00000 12 340 - 0.00000 - 135 25s 712 67 0.00000 18 324 - 0.00000 - 135 31s 714 69 0.00000 15 318 - 0.00000 - 134 36s 716 70 0.00000 16 350 - 0.00000 - 134 40s 757 73 0.00000 21 378 - 0.00000 - 250 45s 923 26 0.00000 19 417 - 0.00000 - 260 50s 1080 37 infeasible 25 - 0.00000 - 271 55s 1237 28 infeasible 21 - 0.00000 - 281 60s 1407 24 infeasible 21 - 0.00000 - 285 65s 1532 7 infeasible 20 - 0.00000 - 296 70s 1692 21 infeasible 21 - 0.00000 - 300 75s 1848 15 infeasible 22 - 0.00000 - 304 80s 2006 27 0.00000 22 342 - 0.00000 - 307 85s 2140 21 0.00000 22 435 - 0.00000 - 313 90s 2279 16 infeasible 22 - 0.00000 - 316 95s 2435 12 0.00000 21 354 - 0.00000 - 317 100s 2574 5 infeasible 19 - 0.00000 - 319 105s Cutting planes: Clique: 2 Zero half: 9 Explored 2656 nodes (897507 simplex iterations) in 107.83 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:17:53 2012 Optimize a model with 5223 rows, 1995 columns and 16065 nonzeros Presolve time: 0.01s Presolved: 5223 rows, 1995 columns, 16065 nonzeros Variable types: 0 continuous, 1995 integer (1995 binary) Root relaxation: objective 0.000000e+00, 433 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 368 - 0.00000 - - 0s 0 0 0.00000 0 257 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (10896 simplex iterations) in 1.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% optimal solution found: number of colors: 5