current bounds on the number of colors: 0 -- 173 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:11:32 2012 Optimize a model with 64243 rows, 15623 columns and 207088 nonzeros Presolve time: 0.20s Presolved: 64243 rows, 15623 columns, 207088 nonzeros Variable types: 0 continuous, 15623 integer (15623 binary) Root relaxation: objective 0.000000e+00, 644 iterations, 0.06 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 (1065 simplex iterations) in 0.36 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 -- 86 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:11:34 2012 Optimize a model with 32208 rows, 8184 columns and 103544 nonzeros Presolve time: 0.14s Presolved: 32208 rows, 8184 columns, 103544 nonzeros Variable types: 0 continuous, 8184 integer (8184 binary) Root relaxation: objective 0.000000e+00, 543 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 (927 simplex iterations) in 0.22 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:11:34 2012 Optimize a model with 15818 rows, 4378 columns and 50568 nonzeros Presolve time: 0.06s Presolved: 15818 rows, 4378 columns, 50568 nonzeros Variable types: 0 continuous, 4378 integer (4378 binary) Root relaxation: objective 0.000000e+00, 402 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 (734 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:11:35 2012 Optimize a model with 7623 rows, 2475 columns and 24080 nonzeros Presolve time: 0.02s Presolved: 7623 rows, 2475 columns, 24080 nonzeros Variable types: 0 continuous, 2475 integer (2475 binary) Root relaxation: objective 0.000000e+00, 370 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 (680 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:11:35 2012 Optimize a model with 3898 rows, 1610 columns and 12040 nonzeros Presolve time: 0.01s Presolved: 3898 rows, 1610 columns, 12040 nonzeros Variable types: 0 continuous, 1610 integer (1610 binary) Root relaxation: objective 0.000000e+00, 403 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 (1953 simplex iterations) in 0.08 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:11:35 2012 Optimize a model with 1663 rows, 1091 columns and 4816 nonzeros Presolve removed 173 rows and 173 columns Presolve time: 0.00s Presolved: 1490 rows, 918 columns, 4470 nonzeros Variable types: 0 continuous, 918 integer (918 binary) Root relaxation: objective 0.000000e+00, 182 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 173 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (710 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:11:35 2012 Optimize a model with 2408 rows, 1264 columns and 7224 nonzeros Presolve time: 0.01s Presolved: 2408 rows, 1264 columns, 7224 nonzeros Variable types: 0 continuous, 1264 integer (1264 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 248 - 0.00000 - - 0s 0 0 0.00000 0 396 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 0.00000 0 482 - 0.00000 - - 1s 0 0 0.00000 0 475 - 0.00000 - - 1s 0 0 0.00000 0 466 - 0.00000 - - 2s 0 0 0.00000 0 469 - 0.00000 - - 2s 0 0 0.00000 0 477 - 0.00000 - - 3s 0 0 0.00000 0 477 - 0.00000 - - 3s 0 2 0.00000 0 477 - 0.00000 - - 3s Cutting planes: Gomory: 1 Zero half: 24 Explored 3 nodes (22901 simplex iterations) in 3.66 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:11:39 2012 Optimize a model with 3153 rows, 1437 columns and 9632 nonzeros Presolve time: 0.01s Presolved: 3153 rows, 1437 columns, 9632 nonzeros Variable types: 0 continuous, 1437 integer (1437 binary) Root relaxation: objective 0.000000e+00, 384 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 328 - 0.00000 - - 0s 0 0 0.00000 0 313 - 0.00000 - - 0s 0 0 0.00000 0 294 - 0.00000 - - 0s 0 0 0.00000 0 292 - 0.00000 - - 0s 0 0 0.00000 0 415 - 0.00000 - - 0s 0 0 0.00000 0 284 - 0.00000 - - 1s 0 0 0.00000 0 286 - 0.00000 - - 1s 0 0 0.00000 0 284 - 0.00000 - - 1s 0 0 0.00000 0 268 - 0.00000 - - 1s 0 0 0.00000 0 264 - 0.00000 - - 1s 0 0 0.00000 0 267 - 0.00000 - - 2s 0 0 0.00000 0 256 - 0.00000 - - 2s 0 0 0.00000 0 237 - 0.00000 - - 2s 0 0 0.00000 0 226 - 0.00000 - - 2s 0 0 0.00000 0 208 - 0.00000 - - 3s 0 0 0.00000 0 206 - 0.00000 - - 3s 0 0 0.00000 0 190 - 0.00000 - - 3s 0 0 0.00000 0 190 - 0.00000 - - 4s 0 0 0.00000 0 198 - 0.00000 - - 4s 0 0 0.00000 0 198 - 0.00000 - - 5s 0 2 0.00000 0 196 - 0.00000 - - 5s 1006 79 0.00000 14 248 - 0.00000 - 63.1 10s 1216 39 infeasible 25 - 0.00000 - 96.4 15s * 1638 1 27 0.0000000 0.00000 0.0% 113 18s Cutting planes: Gomory: 1 Zero half: 8 Explored 1639 nodes (235586 simplex iterations) in 18.54 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% optimal solution found: number of colors: 4