current bounds on the number of colors: 0 -- 116 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:28:06 2012 Optimize a model with 38628 rows, 7392 columns and 122264 nonzeros Presolve time: 0.15s Presolved: 38628 rows, 7392 columns, 122264 nonzeros Variable types: 0 continuous, 7392 integer (7392 binary) Root relaxation: objective 0.000000e+00, 291 iterations, 0.04 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 (544 simplex iterations) in 0.24 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 -- 58 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:28:07 2012 Optimize a model with 19372 rows, 4028 columns and 61132 nonzeros Presolve time: 0.08s Presolved: 19372 rows, 4028 columns, 61132 nonzeros Variable types: 0 continuous, 4028 integer (4028 binary) Root relaxation: objective 0.000000e+00, 261 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 (493 simplex iterations) in 0.12 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 -- 29 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:28:07 2012 Optimize a model with 9412 rows, 2288 columns and 29512 nonzeros Presolve time: 0.03s Presolved: 9412 rows, 2288 columns, 29512 nonzeros Variable types: 0 continuous, 2288 integer (2288 binary) Root relaxation: objective 0.000000e+00, 241 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 (457 simplex iterations) in 0.05 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 20:28:07 2012 Optimize a model with 4764 rows, 1476 columns and 14756 nonzeros Presolve time: 0.01s Presolved: 4764 rows, 1476 columns, 14756 nonzeros Variable types: 0 continuous, 1476 integer (1476 binary) Root relaxation: objective 0.000000e+00, 239 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 (583 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:28:08 2012 Optimize a model with 2108 rows, 1012 columns and 6324 nonzeros Presolve time: 0.01s Presolved: 2108 rows, 1012 columns, 6324 nonzeros Variable types: 0 continuous, 1012 integer (1012 binary) Root relaxation: objective 0.000000e+00, 248 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 232 - 0.00000 - - 0s 0 0 0.00000 0 232 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3295 simplex iterations) in 0.37 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:28:08 2012 Optimize a model with 3436 rows, 1244 columns and 10540 nonzeros Presolve time: 0.01s Presolved: 3436 rows, 1244 columns, 10540 nonzeros Variable types: 0 continuous, 1244 integer (1244 binary) Root relaxation: objective 0.000000e+00, 254 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 222 - 0.00000 - - 0s 0 0 0.00000 0 157 - 0.00000 - - 0s 0 0 0.00000 0 232 - 0.00000 - - 0s 0 0 0.00000 0 292 - 0.00000 - - 0s 0 0 0.00000 0 292 - 0.00000 - - 1s 0 0 0.00000 0 292 - 0.00000 - - 1s 0 2 0.00000 0 292 - 0.00000 - - 1s 605 130 0.00000 16 271 - 0.00000 - 58.8 5s 611 134 0.00000 29 233 - 0.00000 - 58.2 10s 652 159 0.00000 27 217 - 0.00000 - 111 15s * 711 100 37 0.0000000 0.00000 0.0% 111 15s Cutting planes: Clique: 6 Zero half: 8 Explored 712 nodes (92813 simplex iterations) in 15.39 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:28:23 2012 Optimize a model with 2772 rows, 1128 columns and 8432 nonzeros Presolve time: 0.01s Presolved: 2772 rows, 1128 columns, 8432 nonzeros Variable types: 0 continuous, 1128 integer (1128 binary) Root relaxation: objective 0.000000e+00, 259 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 230 - 0.00000 - - 0s 0 0 0.00000 0 220 - 0.00000 - - 0s 0 0 0.00000 0 247 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 0.00000 0 313 - 0.00000 - - 1s 0 0 0.00000 0 314 - 0.00000 - - 1s 0 0 0.00000 0 304 - 0.00000 - - 2s 0 0 0.00000 0 296 - 0.00000 - - 2s 0 0 0.00000 0 311 - 0.00000 - - 3s 0 0 0.00000 0 311 - 0.00000 - - 3s 0 2 0.00000 0 311 - 0.00000 - - 3s 58 7 0.00000 4 312 - 0.00000 - 234 5s Cutting planes: Clique: 8 Zero half: 31 Explored 156 nodes (52449 simplex iterations) in 6.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: 5