current bounds on the number of colors: 0 -- 125 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:40:40 2012 Optimize a model with 46873 rows, 8504 columns and 147994 nonzeros Presolve time: 0.16s Presolved: 46873 rows, 8504 columns, 147994 nonzeros Variable types: 0 continuous, 8504 integer (8504 binary) Root relaxation: objective 0.000000e+00, 316 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 (606 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 -- 62 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:40:41 2012 Optimize a model with 23499 rows, 4629 columns and 73997 nonzeros Presolve time: 0.10s Presolved: 23499 rows, 4629 columns, 73997 nonzeros Variable types: 0 continuous, 4629 integer (4629 binary) Root relaxation: objective 0.000000e+00, 293 iterations, 0.03 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 (565 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 -- 31 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:40:41 2012 Optimize a model with 11435 rows, 2629 columns and 35805 nonzeros Presolve time: 0.04s Presolved: 11435 rows, 2629 columns, 35805 nonzeros Variable types: 0 continuous, 2629 integer (2629 binary) Root relaxation: objective 0.000000e+00, 254 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 (504 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 22:40:41 2012 Optimize a model with 5403 rows, 1629 columns and 16709 nonzeros Presolve time: 0.01s Presolved: 5403 rows, 1629 columns, 16709 nonzeros Variable types: 0 continuous, 1629 integer (1629 binary) Root relaxation: objective 0.000000e+00, 274 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 (935 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 22:40:42 2012 Optimize a model with 2387 rows, 1129 columns and 7161 nonzeros Presolve time: 0.01s Presolved: 2387 rows, 1129 columns, 7161 nonzeros Variable types: 0 continuous, 1129 integer (1129 binary) Root relaxation: objective 0.000000e+00, 278 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 196 - 0.00000 - - 0s 0 0 0.00000 0 252 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3335 simplex iterations) in 0.33 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 22:40:42 2012 Optimize a model with 3895 rows, 1379 columns and 11935 nonzeros Presolve time: 0.01s Presolved: 3895 rows, 1379 columns, 11935 nonzeros Variable types: 0 continuous, 1379 integer (1379 binary) Root relaxation: objective 0.000000e+00, 266 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 240 - 0.00000 - - 0s 0 0 0.00000 0 234 - 0.00000 - - 0s 0 0 0.00000 0 228 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 1s 0 0 0.00000 0 306 - 0.00000 - - 1s 0 0 0.00000 0 326 - 0.00000 - - 1s 0 0 0.00000 0 271 - 0.00000 - - 2s 0 0 0.00000 0 235 - 0.00000 - - 3s 0 0 0.00000 0 322 - 0.00000 - - 3s 0 0 0.00000 0 321 - 0.00000 - - 3s 0 2 0.00000 0 321 - 0.00000 - - 4s 158 18 0.00000 23 160 - 0.00000 - 75.5 5s 707 37 0.00000 17 188 - 0.00000 - 69.2 10s 713 41 0.00000 10 293 - 0.00000 - 68.6 15s * 782 20 31 0.0000000 0.00000 0.0% 129 18s Cutting planes: Clique: 2 Zero half: 15 Explored 783 nodes (129630 simplex iterations) in 18.59 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 22:41:01 2012 Optimize a model with 3141 rows, 1254 columns and 9548 nonzeros Presolve time: 0.01s Presolved: 3141 rows, 1254 columns, 9548 nonzeros Variable types: 0 continuous, 1254 integer (1254 binary) Root relaxation: objective 0.000000e+00, 274 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 244 - 0.00000 - - 0s 0 0 0.00000 0 355 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 1s 0 0 0.00000 0 356 - 0.00000 - - 1s 0 0 0.00000 0 354 - 0.00000 - - 1s 0 0 0.00000 0 352 - 0.00000 - - 2s 0 0 0.00000 0 349 - 0.00000 - - 3s 0 0 0.00000 0 346 - 0.00000 - - 3s 0 0 0.00000 0 366 - 0.00000 - - 4s 0 0 0.00000 0 356 - 0.00000 - - 5s 0 0 0.00000 0 355 - 0.00000 - - 5s 0 0 0.00000 0 341 - 0.00000 - - 6s 0 0 0.00000 0 341 - 0.00000 - - 7s 0 0 0.00000 0 341 - 0.00000 - - 7s 0 2 0.00000 0 341 - 0.00000 - - 8s Cutting planes: Clique: 14 Zero half: 29 Explored 19 nodes (40979 simplex iterations) in 8.53 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