current bounds on the number of colors: 0 -- 123 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:46:47 2012 Optimize a model with 46605 rows, 8265 columns and 146949 nonzeros Presolve time: 0.16s Presolved: 46605 rows, 8265 columns, 146949 nonzeros Variable types: 0 continuous, 8265 integer (8265 binary) Root relaxation: objective 0.000000e+00, 304 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 (585 simplex iterations) in 0.27 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:46:47 2012 Optimize a model with 22983 rows, 4452 columns and 72270 nonzeros Presolve time: 0.10s Presolved: 22983 rows, 4452 columns, 72270 nonzeros Variable types: 0 continuous, 4452 integer (4452 binary) Root relaxation: objective 0.000000e+00, 298 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 (560 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:46:48 2012 Optimize a model with 11553 rows, 2607 columns and 36135 nonzeros Presolve time: 0.04s Presolved: 11553 rows, 2607 columns, 36135 nonzeros Variable types: 0 continuous, 2607 integer (2607 binary) Root relaxation: objective 0.000000e+00, 256 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 (512 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:46:48 2012 Optimize a model with 5457 rows, 1623 columns and 16863 nonzeros Presolve time: 0.01s Presolved: 5457 rows, 1623 columns, 16863 nonzeros Variable types: 0 continuous, 1623 integer (1623 binary) Root relaxation: objective 0.000000e+00, 255 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 (1408 simplex iterations) in 0.07 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:46:48 2012 Optimize a model with 2409 rows, 1131 columns and 7227 nonzeros Presolve time: 0.01s Presolved: 2409 rows, 1131 columns, 7227 nonzeros Variable types: 0 continuous, 1131 integer (1131 binary) Root relaxation: objective 0.000000e+00, 264 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 190 - 0.00000 - - 0s 0 0 0.00000 0 244 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4166 simplex iterations) in 0.38 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:46:49 2012 Optimize a model with 3933 rows, 1377 columns and 12045 nonzeros Presolve time: 0.01s Presolved: 3933 rows, 1377 columns, 12045 nonzeros Variable types: 0 continuous, 1377 integer (1377 binary) Root relaxation: objective 0.000000e+00, 269 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 282 - 0.00000 - - 0s 0 0 0.00000 0 253 - 0.00000 - - 0s 0 0 0.00000 0 329 - 0.00000 - - 1s 0 0 0.00000 0 311 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 1s 0 0 0.00000 0 259 - 0.00000 - - 2s 0 0 0.00000 0 285 - 0.00000 - - 2s 0 0 0.00000 0 265 - 0.00000 - - 3s 0 0 0.00000 0 303 - 0.00000 - - 3s 0 0 0.00000 0 303 - 0.00000 - - 3s 0 2 0.00000 0 303 - 0.00000 - - 4s 96 26 0.00000 25 178 - 0.00000 - 93.2 5s 1105 26 0.00000 15 307 - 0.00000 - 76.2 10s 1112 31 0.00000 16 249 - 0.00000 - 75.7 15s 1119 35 0.00000 15 225 - 0.00000 - 75.2 20s 1136 47 0.00000 18 235 - 0.00000 - 117 25s 1518 114 infeasible 34 - 0.00000 - 127 30s 1929 197 0.00000 33 204 - 0.00000 - 138 35s 2334 324 0.00000 31 198 - 0.00000 - 145 40s * 2417 5 33 0.0000000 0.00000 0.0% 146 40s Cutting planes: Clique: 3 Zero half: 20 Explored 2418 nodes (382622 simplex iterations) in 40.98 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:47:30 2012 Optimize a model with 3171 rows, 1254 columns and 9636 nonzeros Presolve time: 0.01s Presolved: 3171 rows, 1254 columns, 9636 nonzeros Variable types: 0 continuous, 1254 integer (1254 binary) Root relaxation: objective 0.000000e+00, 270 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 166 - 0.00000 - - 0s 0 0 0.00000 0 214 - 0.00000 - - 0s 0 0 0.00000 0 365 - 0.00000 - - 1s 0 0 0.00000 0 360 - 0.00000 - - 1s 0 0 0.00000 0 354 - 0.00000 - - 1s 0 0 0.00000 0 352 - 0.00000 - - 1s 0 0 0.00000 0 356 - 0.00000 - - 1s 0 0 0.00000 0 355 - 0.00000 - - 2s 0 0 0.00000 0 352 - 0.00000 - - 3s 0 0 0.00000 0 357 - 0.00000 - - 3s 0 0 0.00000 0 355 - 0.00000 - - 4s 0 0 0.00000 0 357 - 0.00000 - - 5s 0 0 0.00000 0 358 - 0.00000 - - 5s 0 0 0.00000 0 356 - 0.00000 - - 6s 0 2 0.00000 0 353 - 0.00000 - - 6s Cutting planes: Clique: 14 Zero half: 28 Explored 17 nodes (34823 simplex iterations) in 7.22 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