current bounds on the number of colors: 0 -- 198 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:24:08 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, 799 iterations, 0.09 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 (1272 simplex iterations) in 0.58 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:24:10 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, 531 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 (922 simplex iterations) in 0.26 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:24:11 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, 438 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 (794 simplex iterations) in 0.14 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:24:11 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, 425 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 (802 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:24:11 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, 423 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 (1395 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:24:12 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, 444 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 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5304 simplex iterations) in 0.75 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:24:12 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, 417 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.00000 0 376 - 0.00000 - - 1s 0 0 0.00000 0 360 - 0.00000 - - 1s 0 0 0.00000 0 530 - 0.00000 - - 1s 0 0 0.00000 0 403 - 0.00000 - - 2s 0 0 0.00000 0 409 - 0.00000 - - 3s 0 0 0.00000 0 270 - 0.00000 - - 4s 0 0 0.00000 0 449 - 0.00000 - - 4s 0 0 0.00000 0 434 - 0.00000 - - 5s 0 0 0.00000 0 437 - 0.00000 - - 6s 0 0 0.00000 0 437 - 0.00000 - - 7s 0 2 0.00000 0 437 - 0.00000 - - 7s 163 15 0.00000 7 393 - 0.00000 - 159 10s 703 35 0.00000 18 376 - 0.00000 - 136 16s 706 37 0.00000 14 343 - 0.00000 - 135 20s 709 39 0.00000 20 425 - 0.00000 - 135 26s 711 41 0.00000 17 299 - 0.00000 - 135 31s 721 45 0.00000 17 346 - 0.00000 - 208 35s 824 24 0.00000 25 352 - 0.00000 - 221 40s 1033 20 0.00000 23 360 - 0.00000 - 227 45s 1205 12 infeasible 24 - 0.00000 - 238 50s 1426 5 0.00000 20 410 - 0.00000 - 241 55s Cutting planes: Zero half: 13 Explored 1482 nodes (408936 simplex iterations) in 56.82 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:25:09 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, 422 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 287 - 0.00000 - - 0s 0 0 0.00000 0 293 - 0.00000 - - 1s * 0 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (13970 simplex iterations) in 1.73 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