current bounds on the number of colors: 0 -- 144 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:42:33 2012 Optimize a model with 39384 rows, 10913 columns and 128088 nonzeros Presolve time: 0.15s Presolved: 39384 rows, 10913 columns, 128088 nonzeros Variable types: 0 continuous, 10913 integer (10913 binary) Root relaxation: objective 0.000000e+00, 496 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 (817 simplex iterations) in 0.24 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 -- 72 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:42:33 2012 Optimize a model with 19764 rows, 5729 columns and 64044 nonzeros Presolve time: 0.10s Presolved: 19764 rows, 5729 columns, 64044 nonzeros Variable types: 0 continuous, 5729 integer (5729 binary) Root relaxation: objective 0.000000e+00, 434 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 (732 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:42:34 2012 Optimize a model with 9954 rows, 3137 columns and 32022 nonzeros Presolve time: 0.04s Presolved: 9954 rows, 3137 columns, 32022 nonzeros Variable types: 0 continuous, 3137 integer (3137 binary) Root relaxation: objective 0.000000e+00, 295 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 (541 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:42:34 2012 Optimize a model with 5049 rows, 1841 columns and 16011 nonzeros Presolve time: 0.01s Presolved: 5049 rows, 1841 columns, 16011 nonzeros Variable types: 0 continuous, 1841 integer (1841 binary) Root relaxation: objective 0.000000e+00, 309 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 (682 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:42:34 2012 Optimize a model with 2324 rows, 1121 columns and 7116 nonzeros Presolve time: 0.01s Presolved: 2324 rows, 1121 columns, 7116 nonzeros Variable types: 0 continuous, 1121 integer (1121 binary) Root relaxation: objective 0.000000e+00, 335 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 258 - 0.00000 - - 0s 0 0 0.00000 0 307 - 0.00000 - - 0s 0 0 0.00000 0 258 - 0.00000 - - 0s 0 0 0.00000 0 353 - 0.00000 - - 0s 0 0 0.00000 0 327 - 0.00000 - - 0s 0 0 0.00000 0 285 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 1s 0 0 0.00000 0 314 - 0.00000 - - 1s 0 0 0.00000 0 314 - 0.00000 - - 1s 0 2 0.00000 0 314 - 0.00000 - - 1s * 81 6 24 0.0000000 0.00000 0.0% 63.7 1s Cutting planes: Clique: 1 Zero half: 10 Explored 82 nodes (20350 simplex iterations) in 1.92 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:42:36 2012 Optimize a model with 1234 rows, 833 columns and 3558 nonzeros Presolve removed 144 rows and 144 columns Presolve time: 0.00s Presolved: 1090 rows, 689 columns, 3270 nonzeros Variable types: 0 continuous, 689 integer (689 binary) Root relaxation: objective 0.000000e+00, 158 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 144 - 0.00000 - - 0s Explored 0 nodes (617 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:42:36 2012 Optimize a model with 1779 rows, 977 columns and 5337 nonzeros Presolve time: 0.00s Presolved: 1779 rows, 977 columns, 5337 nonzeros Variable types: 0 continuous, 977 integer (977 binary) Root relaxation: objective 0.000000e+00, 329 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 276 - 0.00000 - - 0s 0 0 0.00000 0 272 - 0.00000 - - 0s 0 0 0.00000 0 383 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 4 Clique: 1 Zero half: 351 Explored 0 nodes (5321 simplex iterations) in 0.53 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - optimal solution found: number of colors: 4