current bounds on the number of colors: 0 -- 92 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:46:31 2012 Optimize a model with 21160 rows, 4690 columns and 67436 nonzeros Presolve time: 0.12s Presolved: 21160 rows, 4690 columns, 67436 nonzeros Variable types: 0 continuous, 4690 integer (4690 binary) Root relaxation: objective 0.000000e+00, 265 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 (466 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 -- 46 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:46:31 2012 Optimize a model with 10626 rows, 2574 columns and 33718 nonzeros Presolve time: 0.04s Presolved: 10626 rows, 2574 columns, 33718 nonzeros Variable types: 0 continuous, 2574 integer (2574 binary) Root relaxation: objective 0.000000e+00, 215 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 (387 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 -- 23 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:46:31 2012 Optimize a model with 5130 rows, 1470 columns and 16126 nonzeros Presolve time: 0.02s Presolved: 5130 rows, 1470 columns, 16126 nonzeros Variable types: 0 continuous, 1470 integer (1470 binary) Root relaxation: objective 0.000000e+00, 195 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 (350 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 -- 11 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:46:32 2012 Optimize a model with 2382 rows, 918 columns and 7330 nonzeros Presolve time: 0.01s Presolved: 2382 rows, 918 columns, 7330 nonzeros Variable types: 0 continuous, 918 integer (918 binary) Root relaxation: objective 0.000000e+00, 189 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 131 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1690 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 -- 5 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:46:32 2012 Optimize a model with 1008 rows, 642 columns and 2932 nonzeros Presolve removed 92 rows and 92 columns Presolve time: 0.00s Presolved: 916 rows, 550 columns, 2748 nonzeros Variable types: 0 continuous, 550 integer (550 binary) Root relaxation: objective 0.000000e+00, 95 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 92 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (400 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 -- 5 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:46:32 2012 Optimize a model with 1466 rows, 734 columns and 4398 nonzeros Presolve time: 0.00s Presolved: 1466 rows, 734 columns, 4398 nonzeros Variable types: 0 continuous, 734 integer (734 binary) Root relaxation: objective 0.000000e+00, 213 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 180 - 0.00000 - - 0s 0 0 0.00000 0 213 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2671 simplex iterations) in 0.21 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 -- 5 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:46:32 2012 Optimize a model with 1924 rows, 826 columns and 5864 nonzeros Presolve time: 0.00s Presolved: 1924 rows, 826 columns, 5864 nonzeros Variable types: 0 continuous, 826 integer (826 binary) Root relaxation: objective 0.000000e+00, 206 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 176 - 0.00000 - - 0s 0 0 0.00000 0 168 - 0.00000 - - 0s 0 0 0.00000 0 90 - 0.00000 - - 0s 0 0 0.00000 0 216 - 0.00000 - - 0s 0 0 0.00000 0 228 - 0.00000 - - 0s 0 0 0.00000 0 224 - 0.00000 - - 0s 0 0 0.00000 0 233 - 0.00000 - - 0s 0 0 0.00000 0 229 - 0.00000 - - 0s 0 2 0.00000 0 229 - 0.00000 - - 1s Cutting planes: Clique: 3 Zero half: 21 Explored 136 nodes (27491 simplex iterations) in 1.87 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5