current bounds on the number of colors: 0 -- 57 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:10:08 2012 Optimize a model with 22317 rows, 2391 columns and 68376 nonzeros Presolve time: 0.09s Presolved: 22317 rows, 2391 columns, 68376 nonzeros Variable types: 0 continuous, 2391 integer (2391 binary) Root relaxation: objective 0.000000e+00, 233 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 (573 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 -- 28 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:10:08 2012 Optimize a model with 11187 rows, 1593 columns and 34188 nonzeros Presolve time: 0.03s Presolved: 11187 rows, 1593 columns, 34188 nonzeros Variable types: 0 continuous, 1593 integer (1593 binary) Root relaxation: objective 0.000000e+00, 131 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 (1345 simplex iterations) in 0.14 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:10:09 2012 Optimize a model with 5622 rows, 1194 columns and 17094 nonzeros Presolve time: 0.01s Presolved: 5622 rows, 1194 columns, 17094 nonzeros Variable types: 0 continuous, 1194 integer (1194 binary) Root relaxation: objective 0.000000e+00, 116 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 60 - 0.00000 - - 0s 0 0 0.00000 0 54 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4162 simplex iterations) in 0.57 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: 7 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:10:09 2012 Optimize a model with 8007 rows, 1365 columns and 24420 nonzeros Presolve time: 0.02s Presolved: 8007 rows, 1365 columns, 24420 nonzeros Variable types: 0 continuous, 1365 integer (1365 binary) Root relaxation: objective 0.000000e+00, 130 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 68 - 0.00000 - - 0s 0 0 0.00000 0 50 - 0.00000 - - 0s 0 0 0.00000 0 60 - 0.00000 - - 1s 0 0 0.00000 0 269 - 0.00000 - - 1s 0 0 0.00000 0 129 - 0.00000 - - 2s 0 0 0.00000 0 22 - 0.00000 - - 3s 0 0 0.00000 0 42 - 0.00000 - - 3s 0 0 0.00000 0 106 - 0.00000 - - 4s 0 0 0.00000 0 132 - 0.00000 - - 4s 0 0 0.00000 0 117 - 0.00000 - - 5s 0 2 0.00000 0 28 - 0.00000 - - 6s 358 18 0.00000 16 121 - 0.00000 - 106 10s * 713 2 22 0.0000000 0.00000 0.0% 93.9 12s Cutting planes: Clique: 14 Zero half: 5 Explored 714 nodes (96971 simplex iterations) in 12.09 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: 7 -- 10 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:10:22 2012 Optimize a model with 6417 rows, 1251 columns and 19536 nonzeros Presolve time: 0.02s Presolved: 6417 rows, 1251 columns, 19536 nonzeros Variable types: 0 continuous, 1251 integer (1251 binary) Root relaxation: objective 0.000000e+00, 133 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 60 - 0.00000 - - 0s 0 0 0.00000 0 48 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 1s 0 0 0.00000 0 319 - 0.00000 - - 1s 0 0 0.00000 0 322 - 0.00000 - - 3s 0 0 0.00000 0 272 - 0.00000 - - 4s 0 0 0.00000 0 312 - 0.00000 - - 6s 0 0 0.00000 0 312 - 0.00000 - - 6s 0 2 0.00000 0 312 - 0.00000 - - 7s Cutting planes: Clique: 118 Zero half: 2 Explored 9 nodes (33309 simplex iterations) in 8.15 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 -- 10 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:10:30 2012 Optimize a model with 7212 rows, 1308 columns and 21978 nonzeros Presolve time: 0.02s Presolved: 7212 rows, 1308 columns, 21978 nonzeros Variable types: 0 continuous, 1308 integer (1308 binary) Root relaxation: objective 0.000000e+00, 131 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 60 - 0.00000 - - 0s 0 0 0.00000 0 28 - 0.00000 - - 0s 0 0 0.00000 0 218 - 0.00000 - - 1s 0 0 0.00000 0 265 - 0.00000 - - 1s 0 0 0.00000 0 219 - 0.00000 - - 2s 0 0 0.00000 0 196 - 0.00000 - - 4s 0 0 0.00000 0 215 - 0.00000 - - 6s 0 0 0.00000 0 225 - 0.00000 - - 7s 0 0 0.00000 0 213 - 0.00000 - - 8s 0 0 0.00000 0 229 - 0.00000 - - 9s 0 0 0.00000 0 179 - 0.00000 - - 10s 0 2 0.00000 0 178 - 0.00000 - - 11s 159 5 infeasible 10 - 0.00000 - 196 15s Cutting planes: Clique: 180 Zero half: 1 Explored 235 nodes (92973 simplex iterations) in 16.37 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 10