current bounds on the number of colors: 0 -- 170 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:10:52 2012 Optimize a model with 62305 rows, 15181 columns and 200855 nonzeros Presolve time: 0.19s Presolved: 62305 rows, 15181 columns, 200855 nonzeros Variable types: 0 continuous, 15181 integer (15181 binary) Root relaxation: objective 0.000000e+00, 699 iterations, 0.07 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 (1091 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 -- 85 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:10:53 2012 Optimize a model with 30872 rows, 7871 columns and 99246 nonzeros Presolve time: 0.14s Presolved: 30872 rows, 7871 columns, 99246 nonzeros Variable types: 0 continuous, 7871 integer (7871 binary) Root relaxation: objective 0.000000e+00, 525 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 (913 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 -- 42 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:10:53 2012 Optimize a model with 15521 rows, 4301 columns and 49623 nonzeros Presolve time: 0.06s Presolved: 15521 rows, 4301 columns, 49623 nonzeros Variable types: 0 continuous, 4301 integer (4301 binary) Root relaxation: objective 0.000000e+00, 363 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 (659 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 21:10:54 2012 Optimize a model with 7480 rows, 2431 columns and 23630 nonzeros Presolve time: 0.02s Presolved: 7480 rows, 2431 columns, 23630 nonzeros Variable types: 0 continuous, 2431 integer (2431 binary) Root relaxation: objective 0.000000e+00, 354 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 (625 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 21:10:54 2012 Optimize a model with 3825 rows, 1581 columns and 11815 nonzeros Presolve time: 0.01s Presolved: 3825 rows, 1581 columns, 11815 nonzeros Variable types: 0 continuous, 1581 integer (1581 binary) Root relaxation: objective 0.000000e+00, 375 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 (2239 simplex iterations) in 0.11 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 21:10:54 2012 Optimize a model with 1632 rows, 1071 columns and 4726 nonzeros Presolve removed 170 rows and 170 columns Presolve time: 0.00s Presolved: 1462 rows, 901 columns, 4386 nonzeros Variable types: 0 continuous, 901 integer (901 binary) Root relaxation: objective 0.000000e+00, 175 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 170 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (748 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 21:10:54 2012 Optimize a model with 2363 rows, 1241 columns and 7089 nonzeros Presolve time: 0.01s Presolved: 2363 rows, 1241 columns, 7089 nonzeros Variable types: 0 continuous, 1241 integer (1241 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 336 - 0.00000 - - 0s 0 0 0.00000 0 336 - 0.00000 - - 0s 0 0 0.00000 0 468 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 24 Zero half: 417 Explored 0 nodes (6894 simplex iterations) in 0.85 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 21:10:55 2012 Optimize a model with 3094 rows, 1411 columns and 9452 nonzeros Presolve time: 0.01s Presolved: 3094 rows, 1411 columns, 9452 nonzeros Variable types: 0 continuous, 1411 integer (1411 binary) Root relaxation: objective 0.000000e+00, 424 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 318 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 0s 0 0 0.00000 0 414 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 1s 0 0 0.00000 0 270 - 0.00000 - - 1s 0 0 0.00000 0 242 - 0.00000 - - 1s 0 0 0.00000 0 234 - 0.00000 - - 1s 0 0 0.00000 0 234 - 0.00000 - - 2s 0 0 0.00000 0 228 - 0.00000 - - 2s 0 0 0.00000 0 235 - 0.00000 - - 2s 0 0 0.00000 0 230 - 0.00000 - - 2s 0 0 0.00000 0 240 - 0.00000 - - 3s 0 0 0.00000 0 240 - 0.00000 - - 3s 0 2 0.00000 0 239 - 0.00000 - - 3s 345 130 infeasible 23 - 0.00000 - 95.6 5s 609 214 0.00000 20 236 - 0.00000 - 90.6 10s 615 218 0.00000 26 380 - 0.00000 - 89.7 15s 1050 144 0.00000 34 276 - 0.00000 - 162 20s 1578 82 0.00000 27 341 - 0.00000 - 166 25s 2147 95 infeasible 29 - 0.00000 - 165 30s 2734 104 infeasible 33 - 0.00000 - 164 35s 3265 141 infeasible 34 - 0.00000 - 165 40s 3816 168 infeasible 33 - 0.00000 - 165 45s 4365 185 infeasible 32 - 0.00000 - 165 50s 4903 211 infeasible 28 - 0.00000 - 166 55s 5447 265 0.00000 29 288 - 0.00000 - 166 60s 6011 307 infeasible 28 - 0.00000 - 166 65s * 6278 3 41 0.0000000 0.00000 0.0% 166 67s Cutting planes: Zero half: 8 Explored 6279 nodes (1079412 simplex iterations) in 67.47 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