current bounds on the number of colors: 0 -- 119 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:51:09 2012 Optimize a model with 42363 rows, 7737 columns and 133753 nonzeros Presolve time: 0.16s Presolved: 42363 rows, 7737 columns, 133753 nonzeros Variable types: 0 continuous, 7737 integer (7737 binary) Root relaxation: objective 0.000000e+00, 291 iterations, 0.05 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 (555 simplex iterations) in 0.26 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 -- 59 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:51:10 2012 Optimize a model with 20883 rows, 4167 columns and 65743 nonzeros Presolve time: 0.09s Presolved: 20883 rows, 4167 columns, 65743 nonzeros Variable types: 0 continuous, 4167 integer (4167 binary) Root relaxation: objective 0.000000e+00, 295 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 (553 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 -- 29 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:51:11 2012 Optimize a model with 10143 rows, 2382 columns and 31738 nonzeros Presolve time: 0.03s Presolved: 10143 rows, 2382 columns, 31738 nonzeros Variable types: 0 continuous, 2382 integer (2382 binary) Root relaxation: objective 0.000000e+00, 248 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 (486 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:51:11 2012 Optimize a model with 5131 rows, 1549 columns and 15869 nonzeros Presolve time: 0.01s Presolved: 5131 rows, 1549 columns, 15869 nonzeros Variable types: 0 continuous, 1549 integer (1549 binary) Root relaxation: objective 0.000000e+00, 252 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 (1097 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:51:11 2012 Optimize a model with 2267 rows, 1073 columns and 6801 nonzeros Presolve time: 0.01s Presolved: 2267 rows, 1073 columns, 6801 nonzeros Variable types: 0 continuous, 1073 integer (1073 binary) Root relaxation: objective 0.000000e+00, 267 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 238 - 0.00000 - - 0s 0 0 0.00000 0 236 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3803 simplex iterations) in 0.46 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:51:11 2012 Optimize a model with 3699 rows, 1311 columns and 11335 nonzeros Presolve time: 0.01s Presolved: 3699 rows, 1311 columns, 11335 nonzeros Variable types: 0 continuous, 1311 integer (1311 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 148 - 0.00000 - - 0s 0 0 0.00000 0 252 - 0.00000 - - 0s 0 0 0.00000 0 222 - 0.00000 - - 0s 0 0 0.00000 0 289 - 0.00000 - - 0s 0 0 0.00000 0 216 - 0.00000 - - 1s 0 0 0.00000 0 216 - 0.00000 - - 1s 0 0 0.00000 0 299 - 0.00000 - - 1s 0 0 0.00000 0 238 - 0.00000 - - 2s 0 0 0.00000 0 229 - 0.00000 - - 2s 0 0 0.00000 0 290 - 0.00000 - - 2s 0 0 0.00000 0 209 - 0.00000 - - 3s 0 2 0.00000 0 209 - 0.00000 - - 3s 292 68 infeasible 24 - 0.00000 - 87.9 5s 616 98 0.00000 9 191 - 0.00000 - 79.9 10s 623 102 0.00000 12 223 - 0.00000 - 79.0 15s 639 113 0.00000 20 212 - 0.00000 - 153 20s 999 106 infeasible 34 - 0.00000 - 159 25s 1412 137 infeasible 30 - 0.00000 - 170 30s * 1743 2 31 0.0000000 0.00000 0.0% 174 34s Explored 1744 nodes (332239 simplex iterations) in 34.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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:51:46 2012 Optimize a model with 2983 rows, 1192 columns and 9068 nonzeros Presolve time: 0.01s Presolved: 2983 rows, 1192 columns, 9068 nonzeros Variable types: 0 continuous, 1192 integer (1192 binary) Root relaxation: objective 0.000000e+00, 270 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 230 - 0.00000 - - 0s 0 0 0.00000 0 204 - 0.00000 - - 0s 0 0 0.00000 0 333 - 0.00000 - - 1s 0 0 0.00000 0 352 - 0.00000 - - 1s 0 0 0.00000 0 346 - 0.00000 - - 2s 0 0 0.00000 0 341 - 0.00000 - - 2s 0 0 0.00000 0 337 - 0.00000 - - 3s 0 0 0.00000 0 339 - 0.00000 - - 3s 0 0 0.00000 0 341 - 0.00000 - - 4s 0 0 0.00000 0 337 - 0.00000 - - 4s 0 0 0.00000 0 349 - 0.00000 - - 5s 0 0 0.00000 0 349 - 0.00000 - - 5s 0 2 0.00000 0 349 - 0.00000 - - 6s Cutting planes: Gomory: 1 Clique: 10 Zero half: 21 Explored 9 nodes (32510 simplex iterations) in 6.27 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