current bounds on the number of colors: 0 -- 123 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:50:23 2012 Optimize a model with 44897 rows, 8237 columns and 141825 nonzeros Presolve time: 0.15s Presolved: 44897 rows, 8237 columns, 141825 nonzeros Variable types: 0 continuous, 8237 integer (8237 binary) Root relaxation: objective 0.000000e+00, 300 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 (574 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 -- 61 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:50:24 2012 Optimize a model with 22143 rows, 4424 columns and 69750 nonzeros Presolve time: 0.10s Presolved: 22143 rows, 4424 columns, 69750 nonzeros Variable types: 0 continuous, 4424 integer (4424 binary) Root relaxation: objective 0.000000e+00, 299 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 (641 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 -- 30 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:50:24 2012 Optimize a model with 11133 rows, 2579 columns and 34875 nonzeros Presolve time: 0.04s Presolved: 11133 rows, 2579 columns, 34875 nonzeros Variable types: 0 continuous, 2579 integer (2579 binary) Root relaxation: objective 0.000000e+00, 249 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 (489 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:50:24 2012 Optimize a model with 5261 rows, 1595 columns and 16275 nonzeros Presolve time: 0.01s Presolved: 5261 rows, 1595 columns, 16275 nonzeros Variable types: 0 continuous, 1595 integer (1595 binary) Root relaxation: objective 0.000000e+00, 261 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 (1386 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:50:24 2012 Optimize a model with 2325 rows, 1103 columns and 6975 nonzeros Presolve time: 0.01s Presolved: 2325 rows, 1103 columns, 6975 nonzeros Variable types: 0 continuous, 1103 integer (1103 binary) Root relaxation: objective 0.000000e+00, 262 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 246 - 0.00000 - - 0s 0 0 0.00000 0 234 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4049 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 21:50:25 2012 Optimize a model with 3793 rows, 1349 columns and 11625 nonzeros Presolve time: 0.01s Presolved: 3793 rows, 1349 columns, 11625 nonzeros Variable types: 0 continuous, 1349 integer (1349 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 236 - 0.00000 - - 0s 0 0 0.00000 0 234 - 0.00000 - - 0s 0 0 0.00000 0 206 - 0.00000 - - 0s 0 0 0.00000 0 339 - 0.00000 - - 0s 0 0 0.00000 0 272 - 0.00000 - - 1s 0 0 0.00000 0 270 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 2s 0 0 0.00000 0 295 - 0.00000 - - 2s 0 0 0.00000 0 296 - 0.00000 - - 3s 0 0 0.00000 0 276 - 0.00000 - - 3s 0 0 0.00000 0 318 - 0.00000 - - 4s 0 0 0.00000 0 318 - 0.00000 - - 4s 0 2 0.00000 0 318 - 0.00000 - - 4s 16 16 0.00000 10 198 - 0.00000 - 208 5s 609 100 0.00000 11 298 - 0.00000 - 75.9 10s 624 108 0.00000 20 259 - 0.00000 - 122 15s 1069 119 0.00000 26 270 - 0.00000 - 141 20s 1541 231 0.00000 33 263 - 0.00000 - 148 25s 1948 290 infeasible 42 - 0.00000 - 158 30s * 2194 3 39 0.0000000 0.00000 0.0% 161 32s Cutting planes: Gomory: 1 Clique: 4 Zero half: 9 Explored 2195 nodes (385266 simplex iterations) in 32.71 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 21:50:58 2012 Optimize a model with 3059 rows, 1226 columns and 9300 nonzeros Presolve time: 0.01s Presolved: 3059 rows, 1226 columns, 9300 nonzeros Variable types: 0 continuous, 1226 integer (1226 binary) Root relaxation: objective 0.000000e+00, 268 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 242 - 0.00000 - - 0s 0 0 0.00000 0 240 - 0.00000 - - 0s 0 0 0.00000 0 355 - 0.00000 - - 0s 0 0 0.00000 0 353 - 0.00000 - - 1s 0 0 0.00000 0 349 - 0.00000 - - 1s 0 0 0.00000 0 352 - 0.00000 - - 1s 0 0 0.00000 0 347 - 0.00000 - - 2s 0 0 0.00000 0 348 - 0.00000 - - 2s 0 0 0.00000 0 348 - 0.00000 - - 3s 0 0 0.00000 0 343 - 0.00000 - - 4s 0 0 0.00000 0 350 - 0.00000 - - 4s 0 0 0.00000 0 351 - 0.00000 - - 5s 0 0 0.00000 0 351 - 0.00000 - - 5s 0 2 0.00000 0 351 - 0.00000 - - 6s Cutting planes: Clique: 18 Zero half: 9 Explored 37 nodes (37775 simplex iterations) in 7.68 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