current bounds on the number of colors: 0 -- 47 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:07:29 2012 Optimize a model with 12996 rows, 1644 columns and 39928 nonzeros Presolve time: 0.05s Presolved: 12996 rows, 1644 columns, 39928 nonzeros Variable types: 0 continuous, 1644 integer (1644 binary) Root relaxation: objective 0.000000e+00, 102 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 (260 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 -- 23 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:07:29 2012 Optimize a model with 6240 rows, 1080 columns and 19096 nonzeros Presolve time: 0.02s Presolved: 6240 rows, 1080 columns, 19096 nonzeros Variable types: 0 continuous, 1080 integer (1080 binary) Root relaxation: objective 0.000000e+00, 108 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 18 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (871 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 -- 11 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:07:29 2012 Optimize a model with 2862 rows, 798 columns and 8680 nonzeros Presolve time: 0.01s Presolved: 2862 rows, 798 columns, 8680 nonzeros Variable types: 0 continuous, 798 integer (798 binary) Root relaxation: objective 0.000000e+00, 98 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 82 - 0.00000 - - 0s 0 0 0.00000 0 82 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (1687 simplex iterations) in 0.22 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: 5 -- 11 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:07:30 2012 Optimize a model with 4551 rows, 939 columns and 13888 nonzeros Presolve time: 0.01s Presolved: 4551 rows, 939 columns, 13888 nonzeros Variable types: 0 continuous, 939 integer (939 binary) Root relaxation: objective 0.000000e+00, 94 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 34 - 0.00000 - - 0s 0 0 0.00000 0 26 - 0.00000 - - 0s 0 0 0.00000 0 196 - 0.00000 - - 0s 0 0 0.00000 0 215 - 0.00000 - - 0s 0 0 0.00000 0 210 - 0.00000 - - 1s 0 0 0.00000 0 195 - 0.00000 - - 2s 0 0 0.00000 0 207 - 0.00000 - - 2s 0 0 0.00000 0 220 - 0.00000 - - 3s 0 0 0.00000 0 155 - 0.00000 - - 4s 0 0 0.00000 0 184 - 0.00000 - - 4s 0 0 0.00000 0 184 - 0.00000 - - 5s 0 2 0.00000 0 184 - 0.00000 - - 5s Cutting planes: Clique: 68 Zero half: 1 Explored 15 nodes (34206 simplex iterations) in 5.94 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: 8 -- 11 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:07:36 2012 Optimize a model with 5114 rows, 986 columns and 15624 nonzeros Presolve time: 0.01s Presolved: 5114 rows, 986 columns, 15624 nonzeros Variable types: 0 continuous, 986 integer (986 binary) Root relaxation: objective 0.000000e+00, 94 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 34 - 0.00000 - - 0s 0 0 0.00000 0 56 - 0.00000 - - 0s 0 0 0.00000 0 101 - 0.00000 - - 0s 0 0 0.00000 0 176 - 0.00000 - - 0s 0 0 0.00000 0 139 - 0.00000 - - 0s 0 0 0.00000 0 39 - 0.00000 - - 1s 0 0 0.00000 0 20 - 0.00000 - - 1s 0 0 0.00000 0 183 - 0.00000 - - 1s 0 0 0.00000 0 161 - 0.00000 - - 2s 0 0 0.00000 0 110 - 0.00000 - - 2s 0 0 0.00000 0 157 - 0.00000 - - 3s 0 0 0.00000 0 171 - 0.00000 - - 3s 0 0 0.00000 0 171 - 0.00000 - - 3s 0 2 0.00000 0 171 - 0.00000 - - 4s 188 6 0.00000 10 104 - 0.00000 - 70.3 5s * 275 2 17 0.0000000 0.00000 0.0% 68.3 5s Cutting planes: Clique: 37 Zero half: 6 Explored 276 nodes (47389 simplex iterations) in 5.30 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: 9