current bounds on the number of colors: 0 -- 158 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:05:04 2012 Optimize a model with 53483 rows, 13157 columns and 172457 nonzeros Presolve time: 0.17s Presolved: 53483 rows, 13157 columns, 172457 nonzeros Variable types: 0 continuous, 13157 integer (13157 binary) Root relaxation: objective 0.000000e+00, 628 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 (971 simplex iterations) in 0.30 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 -- 79 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:05:05 2012 Optimize a model with 26483 rows, 6837 columns and 85137 nonzeros Presolve time: 0.13s Presolved: 26483 rows, 6837 columns, 85137 nonzeros Variable types: 0 continuous, 6837 integer (6837 binary) Root relaxation: objective 0.000000e+00, 514 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 (874 simplex iterations) in 0.20 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 -- 39 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:05:05 2012 Optimize a model with 12983 rows, 3677 columns and 41477 nonzeros Presolve time: 0.05s Presolved: 12983 rows, 3677 columns, 41477 nonzeros Variable types: 0 continuous, 3677 integer (3677 binary) Root relaxation: objective 0.000000e+00, 325 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 (606 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 -- 19 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:05:05 2012 Optimize a model with 6233 rows, 2097 columns and 19647 nonzeros Presolve time: 0.02s Presolved: 6233 rows, 2097 columns, 19647 nonzeros Variable types: 0 continuous, 2097 integer (2097 binary) Root relaxation: objective 0.000000e+00, 329 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 (630 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:05:06 2012 Optimize a model with 2858 rows, 1307 columns and 8732 nonzeros Presolve time: 0.01s Presolved: 2858 rows, 1307 columns, 8732 nonzeros Variable types: 0 continuous, 1307 integer (1307 binary) Root relaxation: objective 0.000000e+00, 356 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 300 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 0s 0 0 0.00000 0 288 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 0s 0 0 0.00000 0 411 - 0.00000 - - 0s 0 0 0.00000 0 262 - 0.00000 - - 1s 0 0 0.00000 0 254 - 0.00000 - - 1s 0 0 0.00000 0 246 - 0.00000 - - 1s 0 0 0.00000 0 244 - 0.00000 - - 1s 0 0 0.00000 0 244 - 0.00000 - - 2s 0 0 0.00000 0 238 - 0.00000 - - 2s 0 0 0.00000 0 249 - 0.00000 - - 2s 0 0 0.00000 0 226 - 0.00000 - - 2s 0 0 0.00000 0 224 - 0.00000 - - 3s 0 0 0.00000 0 232 - 0.00000 - - 3s 0 0 0.00000 0 222 - 0.00000 - - 3s 0 2 0.00000 0 222 - 0.00000 - - 3s 309 70 0.00000 17 280 - 0.00000 - 82.6 5s 609 118 0.00000 13 222 - 0.00000 - 81.2 10s 669 122 0.00000 20 266 - 0.00000 - 145 15s 1232 10 infeasible 21 - 0.00000 - 156 20s 1834 28 infeasible 25 - 0.00000 - 158 25s 2414 22 0.00000 21 254 - 0.00000 - 161 30s 2932 14 0.00000 25 258 - 0.00000 - 164 35s Cutting planes: Zero half: 1 Explored 3343 nodes (590353 simplex iterations) in 38.98 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: 4 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:05:45 2012 Optimize a model with 4208 rows, 1623 columns and 13098 nonzeros Presolve time: 0.01s Presolved: 4208 rows, 1623 columns, 13098 nonzeros Variable types: 0 continuous, 1623 integer (1623 binary) Root relaxation: objective 0.000000e+00, 345 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 (953 simplex iterations) in 0.03 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:05:45 2012 Optimize a model with 3533 rows, 1465 columns and 10915 nonzeros Presolve time: 0.01s Presolved: 3533 rows, 1465 columns, 10915 nonzeros Variable types: 0 continuous, 1465 integer (1465 binary) Root relaxation: objective 0.000000e+00, 359 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 96 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2085 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% optimal solution found: number of colors: 5