current bounds on the number of colors: 0 -- 46 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:05:44 2012 Optimize a model with 12443 rows, 1597 columns and 38249 nonzeros Presolve time: 0.05s Presolved: 12443 rows, 1597 columns, 38249 nonzeros Variable types: 0 continuous, 1597 integer (1597 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 (249 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:05:44 2012 Optimize a model with 5975 rows, 1045 columns and 18293 nonzeros Presolve time: 0.02s Presolved: 5975 rows, 1045 columns, 18293 nonzeros Variable types: 0 continuous, 1045 integer (1045 binary) Root relaxation: objective 0.000000e+00, 99 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 (934 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:05:44 2012 Optimize a model with 2741 rows, 769 columns and 8315 nonzeros Presolve time: 0.01s Presolved: 2741 rows, 769 columns, 8315 nonzeros Variable types: 0 continuous, 769 integer (769 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 62 - 0.00000 - - 0s 0 0 0.00000 0 54 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (1663 simplex iterations) in 0.18 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:05:45 2012 Optimize a model with 4358 rows, 907 columns and 13304 nonzeros Presolve time: 0.01s Presolved: 4358 rows, 907 columns, 13304 nonzeros Variable types: 0 continuous, 907 integer (907 binary) Root relaxation: objective 0.000000e+00, 93 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 59 - 0.00000 - - 0s 0 0 0.00000 0 42 - 0.00000 - - 0s 0 0 0.00000 0 182 - 0.00000 - - 0s 0 0 0.00000 0 243 - 0.00000 - - 0s 0 0 0.00000 0 230 - 0.00000 - - 1s 0 0 0.00000 0 255 - 0.00000 - - 1s 0 0 0.00000 0 222 - 0.00000 - - 2s 0 0 0.00000 0 205 - 0.00000 - - 3s 0 0 0.00000 0 240 - 0.00000 - - 3s 0 0 0.00000 0 225 - 0.00000 - - 3s 0 2 0.00000 0 225 - 0.00000 - - 4s Cutting planes: Clique: 62 Zero half: 8 Explored 7 nodes (27875 simplex iterations) in 4.43 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:05:49 2012 Optimize a model with 4897 rows, 953 columns and 14967 nonzeros Presolve time: 0.01s Presolved: 4897 rows, 953 columns, 14967 nonzeros Variable types: 0 continuous, 953 integer (953 binary) Root relaxation: objective 0.000000e+00, 103 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 48 - 0.00000 - - 0s 0 0 0.00000 0 40 - 0.00000 - - 0s 0 0 0.00000 0 113 - 0.00000 - - 0s 0 0 0.00000 0 152 - 0.00000 - - 0s 0 0 0.00000 0 118 - 0.00000 - - 1s 0 0 0.00000 0 112 - 0.00000 - - 1s 0 0 0.00000 0 100 - 0.00000 - - 1s 0 0 0.00000 0 26 - 0.00000 - - 2s 0 0 0.00000 0 181 - 0.00000 - - 2s 0 0 0.00000 0 174 - 0.00000 - - 2s 0 0 0.00000 0 160 - 0.00000 - - 3s 0 0 0.00000 0 191 - 0.00000 - - 3s 0 0 0.00000 0 24 - 0.00000 - - 3s 0 0 0.00000 0 16 - 0.00000 - - 4s 0 0 0.00000 0 175 - 0.00000 - - 4s 0 0 0.00000 0 176 - 0.00000 - - 4s 0 0 0.00000 0 176 - 0.00000 - - 4s 0 2 0.00000 0 176 - 0.00000 - - 4s 2 3 0.00000 1 142 - 0.00000 - 386 5s Cutting planes: Clique: 75 Zero half: 4 Explored 195 nodes (60527 simplex iterations) in 6.59 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: 9 -- 11 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:05:56 2012 Optimize a model with 5436 rows, 999 columns and 16630 nonzeros Presolve time: 0.01s Presolved: 5436 rows, 999 columns, 16630 nonzeros Variable types: 0 continuous, 999 integer (999 binary) Root relaxation: objective 0.000000e+00, 105 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 34 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 3 Clique: 27 MIR: 16 Zero half: 21 Explored 0 nodes (1480 simplex iterations) in 0.11 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: 10