current bounds on the number of colors: 0 -- 174 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:38:03 2012 Optimize a model with 66381 rows, 15899 columns and 213759 nonzeros Presolve time: 0.20s Presolved: 66381 rows, 15899 columns, 213759 nonzeros Variable types: 0 continuous, 15899 integer (15899 binary) Root relaxation: objective 0.000000e+00, 614 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 (985 simplex iterations) in 0.35 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 -- 87 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:38:04 2012 Optimize a model with 32897 rows, 8243 columns and 105651 nonzeros Presolve time: 0.15s Presolved: 32897 rows, 8243 columns, 105651 nonzeros Variable types: 0 continuous, 8243 integer (8243 binary) Root relaxation: objective 0.000000e+00, 490 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 (835 simplex iterations) in 0.21 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 -- 43 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:38:05 2012 Optimize a model with 16155 rows, 4415 columns and 51597 nonzeros Presolve time: 0.06s Presolved: 16155 rows, 4415 columns, 51597 nonzeros Variable types: 0 continuous, 4415 integer (4415 binary) Root relaxation: objective 0.000000e+00, 352 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 (684 simplex iterations) in 0.09 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:38:05 2012 Optimize a model with 7784 rows, 2501 columns and 24570 nonzeros Presolve time: 0.02s Presolved: 7784 rows, 2501 columns, 24570 nonzeros Variable types: 0 continuous, 2501 integer (2501 binary) Root relaxation: objective 0.000000e+00, 379 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 (711 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:38:05 2012 Optimize a model with 3979 rows, 1631 columns and 12285 nonzeros Presolve time: 0.01s Presolved: 3979 rows, 1631 columns, 12285 nonzeros Variable types: 0 continuous, 1631 integer (1631 binary) Root relaxation: objective 0.000000e+00, 396 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 66 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4213 simplex iterations) in 0.28 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:38:06 2012 Optimize a model with 1696 rows, 1109 columns and 4914 nonzeros Presolve removed 174 rows and 174 columns Presolve time: 0.00s Presolved: 1522 rows, 935 columns, 4566 nonzeros Variable types: 0 continuous, 935 integer (935 binary) Root relaxation: objective 0.000000e+00, 180 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 174 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (751 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:38:06 2012 Optimize a model with 2457 rows, 1283 columns and 7371 nonzeros Presolve time: 0.01s Presolved: 2457 rows, 1283 columns, 7371 nonzeros Variable types: 0 continuous, 1283 integer (1283 binary) Root relaxation: objective 0.000000e+00, 419 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 344 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 0s 0 0 0.00000 0 476 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 39 Zero half: 570 Explored 0 nodes (7442 simplex iterations) in 0.95 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:38:07 2012 Optimize a model with 3218 rows, 1457 columns and 9828 nonzeros Presolve time: 0.01s Presolved: 3218 rows, 1457 columns, 9828 nonzeros Variable types: 0 continuous, 1457 integer (1457 binary) Root relaxation: objective 0.000000e+00, 420 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 324 - 0.00000 - - 0s 0 0 0.00000 0 314 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 0s 0 0 0.00000 0 355 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 0s 0 0 0.00000 0 310 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 1s 0 0 0.00000 0 304 - 0.00000 - - 1s 0 0 0.00000 0 302 - 0.00000 - - 1s 0 0 0.00000 0 296 - 0.00000 - - 2s 0 0 0.00000 0 292 - 0.00000 - - 2s 0 0 0.00000 0 290 - 0.00000 - - 2s 0 0 0.00000 0 290 - 0.00000 - - 3s 0 0 0.00000 0 274 - 0.00000 - - 3s 0 0 0.00000 0 286 - 0.00000 - - 3s 0 0 0.00000 0 282 - 0.00000 - - 3s 0 2 0.00000 0 282 - 0.00000 - - 4s 165 43 0.00000 22 276 - 0.00000 - 99.4 5s 809 61 0.00000 12 284 - 0.00000 - 88.7 10s 814 64 0.00000 16 352 - 0.00000 - 88.1 16s 817 66 0.00000 13 382 - 0.00000 - 87.8 20s 1145 44 0.00000 25 266 - 0.00000 - 155 25s 1584 19 infeasible 24 - 0.00000 - 167 30s 1995 36 0.00000 20 285 - 0.00000 - 174 35s 2469 22 infeasible 27 - 0.00000 - 175 40s Cutting planes: Gomory: 2 Clique: 1 Zero half: 2 Explored 2610 nodes (506193 simplex iterations) in 42.02 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