current bounds on the number of colors: 0 -- 95 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:48:29 2012 Optimize a model with 23125 rows, 4955 columns and 73555 nonzeros Presolve time: 0.13s Presolved: 23125 rows, 4955 columns, 73555 nonzeros Variable types: 0 continuous, 4955 integer (4955 binary) Root relaxation: objective 0.000000e+00, 325 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 (552 simplex iterations) in 0.18 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 -- 47 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:48:29 2012 Optimize a model with 11365 rows, 2675 columns and 35995 nonzeros Presolve time: 0.04s Presolved: 11365 rows, 2675 columns, 35995 nonzeros Variable types: 0 continuous, 2675 integer (2675 binary) Root relaxation: objective 0.000000e+00, 205 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 (386 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:48:29 2012 Optimize a model with 5485 rows, 1535 columns and 17215 nonzeros Presolve time: 0.02s Presolved: 5485 rows, 1535 columns, 17215 nonzeros Variable types: 0 continuous, 1535 integer (1535 binary) Root relaxation: objective 0.000000e+00, 198 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 (384 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:48:30 2012 Optimize a model with 2545 rows, 965 columns and 7825 nonzeros Presolve time: 0.01s Presolved: 2545 rows, 965 columns, 7825 nonzeros Variable types: 0 continuous, 965 integer (965 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 182 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (902 simplex iterations) in 0.04 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:48:30 2012 Optimize a model with 1075 rows, 680 columns and 3130 nonzeros Presolve removed 95 rows and 95 columns Presolve time: 0.00s Presolved: 980 rows, 585 columns, 2940 nonzeros Variable types: 0 continuous, 585 integer (585 binary) Root relaxation: objective 0.000000e+00, 97 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 95 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (394 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:48:30 2012 Optimize a model with 1565 rows, 775 columns and 4695 nonzeros Presolve time: 0.00s Presolved: 1565 rows, 775 columns, 4695 nonzeros Variable types: 0 continuous, 775 integer (775 binary) Root relaxation: objective 0.000000e+00, 220 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 0.00000 0 184 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2951 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:48:30 2012 Optimize a model with 2055 rows, 870 columns and 6260 nonzeros Presolve time: 0.01s Presolved: 2055 rows, 870 columns, 6260 nonzeros Variable types: 0 continuous, 870 integer (870 binary) Root relaxation: objective 0.000000e+00, 214 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 138 - 0.00000 - - 0s 0 0 0.00000 0 205 - 0.00000 - - 0s 0 0 0.00000 0 258 - 0.00000 - - 0s 0 0 0.00000 0 261 - 0.00000 - - 0s 0 0 0.00000 0 257 - 0.00000 - - 0s 0 0 0.00000 0 252 - 0.00000 - - 1s 0 0 0.00000 0 252 - 0.00000 - - 1s 0 0 0.00000 0 250 - 0.00000 - - 1s 0 0 0.00000 0 246 - 0.00000 - - 1s 0 0 0.00000 0 243 - 0.00000 - - 1s 0 0 0.00000 0 251 - 0.00000 - - 2s 0 0 0.00000 0 248 - 0.00000 - - 2s 0 0 0.00000 0 260 - 0.00000 - - 2s 0 0 0.00000 0 260 - 0.00000 - - 2s 0 2 0.00000 0 260 - 0.00000 - - 3s Cutting planes: Clique: 10 Zero half: 33 Explored 48 nodes (29183 simplex iterations) in 3.32 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