current bounds on the number of colors: 0 -- 208 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:40:49 2012 Optimize a model with 115752 rows, 22743 columns and 368264 nonzeros Presolve time: 0.39s Presolved: 115752 rows, 22743 columns, 368264 nonzeros Variable types: 0 continuous, 22743 integer (22743 binary) Root relaxation: objective 0.000000e+00, 519 iterations, 0.14 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 (976 simplex iterations) in 0.70 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 -- 104 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:40:51 2012 Optimize a model with 57980 rows, 11927 columns and 184132 nonzeros Presolve time: 0.17s Presolved: 57980 rows, 11927 columns, 184132 nonzeros Variable types: 0 continuous, 11927 integer (11927 binary) Root relaxation: objective 0.000000e+00, 734 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 (1234 simplex iterations) in 0.32 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:40:52 2012 Optimize a model with 29094 rows, 6519 columns and 92066 nonzeros Presolve time: 0.12s Presolved: 29094 rows, 6519 columns, 92066 nonzeros Variable types: 0 continuous, 6519 integer (6519 binary) Root relaxation: objective 0.000000e+00, 513 iterations, 0.02 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 (949 simplex iterations) in 0.18 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:40:53 2012 Optimize a model with 14651 rows, 3815 columns and 46033 nonzeros Presolve time: 0.05s Presolved: 14651 rows, 3815 columns, 46033 nonzeros Variable types: 0 continuous, 3815 integer (3815 binary) Root relaxation: objective 0.000000e+00, 432 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 (878 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:40:53 2012 Optimize a model with 6874 rows, 2359 columns and 21246 nonzeros Presolve time: 0.02s Presolved: 6874 rows, 2359 columns, 21246 nonzeros Variable types: 0 continuous, 2359 integer (2359 binary) Root relaxation: objective 0.000000e+00, 456 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 (2254 simplex iterations) in 0.16 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 12:40:53 2012 Optimize a model with 3541 rows, 1735 columns and 10623 nonzeros Presolve time: 0.01s Presolved: 3541 rows, 1735 columns, 10623 nonzeros Variable types: 0 continuous, 1735 integer (1735 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 312 - 0.00000 - - 0s 0 0 0.00000 0 420 - 0.00000 - - 0s 0 0 0.00000 0 593 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 65 Zero half: 1459 Explored 0 nodes (12442 simplex iterations) in 1.94 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 12:40:55 2012 Optimize a model with 4652 rows, 1943 columns and 14164 nonzeros Presolve time: 0.01s Presolved: 4652 rows, 1943 columns, 14164 nonzeros Variable types: 0 continuous, 1943 integer (1943 binary) Root relaxation: objective 0.000000e+00, 469 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 402 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 0s 0 0 0.00000 0 435 - 0.00000 - - 1s 0 0 0.00000 0 556 - 0.00000 - - 1s 0 0 0.00000 0 413 - 0.00000 - - 3s 0 0 0.00000 0 348 - 0.00000 - - 4s 0 0 0.00000 0 346 - 0.00000 - - 5s 0 0 0.00000 0 348 - 0.00000 - - 6s 0 0 0.00000 0 350 - 0.00000 - - 7s 0 0 0.00000 0 368 - 0.00000 - - 7s 0 0 0.00000 0 350 - 0.00000 - - 8s 0 0 0.00000 0 344 - 0.00000 - - 9s 0 0 0.00000 0 392 - 0.00000 - - 10s 0 0 0.00000 0 334 - 0.00000 - - 11s 0 2 0.00000 0 334 - 0.00000 - - 12s 96 20 0.00000 15 417 - 0.00000 - 265 15s 423 33 0.00000 14 383 - 0.00000 - 188 20s 701 32 0.00000 21 402 - 0.00000 - 182 25s 705 35 0.00000 13 371 - 0.00000 - 181 32s 707 36 0.00000 6 326 - 0.00000 - 180 37s 709 37 0.00000 14 334 - 0.00000 - 180 42s 710 38 0.00000 11 444 - 0.00000 - 179 45s 712 39 0.00000 15 451 - 0.00000 - 179 50s 714 41 0.00000 15 428 - 0.00000 - 178 55s 761 34 infeasible 23 - 0.00000 - 293 60s 857 17 0.00000 25 376 - 0.00000 - 307 65s 946 10 0.00000 18 364 - 0.00000 - 322 70s 1056 10 0.00000 21 490 - 0.00000 - 329 75s 1138 8 infeasible 25 - 0.00000 - 340 80s 1222 6 infeasible 20 - 0.00000 - 350 85s Cutting planes: Gomory: 1 Clique: 1 Zero half: 24 Explored 1245 nodes (508661 simplex iterations) in 86.58 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 12:42:22 2012 Optimize a model with 5763 rows, 2151 columns and 17705 nonzeros Presolve time: 0.02s Presolved: 5763 rows, 2151 columns, 17705 nonzeros Variable types: 0 continuous, 2151 integer (2151 binary) Root relaxation: objective 0.000000e+00, 463 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 392 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (12534 simplex iterations) in 1.53 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