current bounds on the number of colors: 0 -- 122 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:36:56 2012 Optimize a model with 45445 rows, 8185 columns and 143411 nonzeros Presolve time: 0.15s Presolved: 45445 rows, 8185 columns, 143411 nonzeros Variable types: 0 continuous, 8185 integer (8185 binary) Root relaxation: objective 0.000000e+00, 329 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 (595 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:36:57 2012 Optimize a model with 22412 rows, 4403 columns and 70530 nonzeros Presolve time: 0.10s Presolved: 22412 rows, 4403 columns, 70530 nonzeros Variable types: 0 continuous, 4403 integer (4403 binary) Root relaxation: objective 0.000000e+00, 289 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 (556 simplex iterations) in 0.15 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:36:57 2012 Optimize a model with 11267 rows, 2573 columns and 35265 nonzeros Presolve time: 0.04s Presolved: 11267 rows, 2573 columns, 35265 nonzeros Variable types: 0 continuous, 2573 integer (2573 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 (462 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:36:57 2012 Optimize a model with 5323 rows, 1597 columns and 16457 nonzeros Presolve time: 0.01s Presolved: 5323 rows, 1597 columns, 16457 nonzeros Variable types: 0 continuous, 1597 integer (1597 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1060 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:36:57 2012 Optimize a model with 2351 rows, 1109 columns and 7053 nonzeros Presolve time: 0.01s Presolved: 2351 rows, 1109 columns, 7053 nonzeros Variable types: 0 continuous, 1109 integer (1109 binary) Root relaxation: objective 0.000000e+00, 275 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 244 - 0.00000 - - 0s 0 0 0.00000 0 269 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4241 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:36:58 2012 Optimize a model with 3837 rows, 1353 columns and 11755 nonzeros Presolve time: 0.01s Presolved: 3837 rows, 1353 columns, 11755 nonzeros Variable types: 0 continuous, 1353 integer (1353 binary) Root relaxation: objective 0.000000e+00, 263 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 134 - 0.00000 - - 0s 0 0 0.00000 0 142 - 0.00000 - - 0s 0 0 0.00000 0 192 - 0.00000 - - 0s 0 0 0.00000 0 351 - 0.00000 - - 0s 0 0 0.00000 0 303 - 0.00000 - - 1s 0 0 0.00000 0 328 - 0.00000 - - 1s 0 0 0.00000 0 346 - 0.00000 - - 2s 0 0 0.00000 0 193 - 0.00000 - - 2s 0 2 0.00000 0 193 - 0.00000 - - 2s 603 120 0.00000 7 192 - 0.00000 - 66.9 5s 609 124 0.00000 20 325 - 0.00000 - 66.2 10s 912 80 0.00000 33 191 - 0.00000 - 129 15s 1269 126 infeasible 34 - 0.00000 - 149 20s 1634 171 infeasible 39 - 0.00000 - 161 25s 1990 165 infeasible 32 - 0.00000 - 169 30s 2363 198 infeasible 38 - 0.00000 - 174 35s 2776 215 infeasible 30 - 0.00000 - 176 40s * 2946 2 32 0.0000000 0.00000 0.0% 175 41s Cutting planes: Gomory: 2 Clique: 2 Zero half: 15 Explored 2947 nodes (536302 simplex iterations) in 41.68 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:37:40 2012 Optimize a model with 3094 rows, 1231 columns and 9404 nonzeros Presolve time: 0.01s Presolved: 3094 rows, 1231 columns, 9404 nonzeros Variable types: 0 continuous, 1231 integer (1231 binary) Root relaxation: objective 0.000000e+00, 257 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 238 - 0.00000 - - 0s 0 0 0.00000 0 261 - 0.00000 - - 0s 0 0 0.00000 0 375 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 2s 0 0 0.00000 0 341 - 0.00000 - - 2s 0 0 0.00000 0 351 - 0.00000 - - 3s 0 0 0.00000 0 349 - 0.00000 - - 4s 0 0 0.00000 0 345 - 0.00000 - - 4s 0 0 0.00000 0 343 - 0.00000 - - 5s 0 0 0.00000 0 342 - 0.00000 - - 5s 0 0 0.00000 0 353 - 0.00000 - - 5s 0 0 0.00000 0 351 - 0.00000 - - 6s 0 2 0.00000 0 337 - 0.00000 - - 6s Cutting planes: Gomory: 1 Clique: 22 Zero half: 33 Explored 55 nodes (49121 simplex iterations) in 8.29 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