current bounds on the number of colors: 0 -- 148 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:45:58 2012 Optimize a model with 40478 rows, 11497 columns and 131942 nonzeros Presolve time: 0.16s Presolved: 40478 rows, 11497 columns, 131942 nonzeros Variable types: 0 continuous, 11497 integer (11497 binary) Root relaxation: objective 0.000000e+00, 499 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 (816 simplex iterations) in 0.25 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 -- 74 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:45:59 2012 Optimize a model with 20313 rows, 6021 columns and 65971 nonzeros Presolve time: 0.11s Presolved: 20313 rows, 6021 columns, 65971 nonzeros Variable types: 0 continuous, 6021 integer (6021 binary) Root relaxation: objective 0.000000e+00, 466 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 (779 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 -- 37 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:45:59 2012 Optimize a model with 9958 rows, 3209 columns and 32094 nonzeros Presolve time: 0.04s Presolved: 9958 rows, 3209 columns, 32094 nonzeros Variable types: 0 continuous, 3209 integer (3209 binary) Root relaxation: objective 0.000000e+00, 297 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 (687 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:45:59 2012 Optimize a model with 5053 rows, 1877 columns and 16047 nonzeros Presolve time: 0.01s Presolved: 5053 rows, 1877 columns, 16047 nonzeros Variable types: 0 continuous, 1877 integer (1877 binary) Root relaxation: objective 0.000000e+00, 313 iterations, 0.00 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 (604 simplex iterations) in 0.03 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:45:59 2012 Optimize a model with 2328 rows, 1137 columns and 7132 nonzeros Presolve time: 0.01s Presolved: 2328 rows, 1137 columns, 7132 nonzeros Variable types: 0 continuous, 1137 integer (1137 binary) Root relaxation: objective 0.000000e+00, 340 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 168 - 0.00000 - - 0s 0 0 0.00000 0 216 - 0.00000 - - 0s Cutting planes: Clique: 2 Explored 0 nodes (6009 simplex iterations) in 0.36 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 -- 4 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:46:00 2012 Optimize a model with 1238 rows, 841 columns and 3566 nonzeros Presolve removed 148 rows and 148 columns Presolve time: 0.00s Presolved: 1090 rows, 693 columns, 3270 nonzeros Variable types: 0 continuous, 693 integer (693 binary) Root relaxation: objective 0.000000e+00, 153 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 148 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (609 simplex iterations) in 0.01 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: 2 -- 4 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:46:00 2012 Optimize a model with 1783 rows, 989 columns and 5349 nonzeros Presolve time: 0.00s Presolved: 1783 rows, 989 columns, 5349 nonzeros Variable types: 0 continuous, 989 integer (989 binary) Root relaxation: objective 0.000000e+00, 333 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 296 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 0 0.00000 0 363 - 0.00000 - - 0s 0 0 0.00000 0 391 - 0.00000 - - 0s 0 0 0.00000 0 389 - 0.00000 - - 0s 0 0 0.00000 0 313 - 0.00000 - - 1s 0 0 0.00000 0 365 - 0.00000 - - 1s 0 0 0.00000 0 401 - 0.00000 - - 1s 0 0 0.00000 0 401 - 0.00000 - - 1s 0 2 0.00000 0 401 - 0.00000 - - 1s Cutting planes: Zero half: 15 Explored 7 nodes (17576 simplex iterations) in 2.00 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 4