current bounds on the number of colors: 0 -- 180 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:25:12 2012 Optimize a model with 15750 rows, 16373 columns and 62910 nonzeros Presolve removed 21 rows and 1890 columns Presolve time: 0.12s Presolved: 15729 rows, 14483 columns, 61020 nonzeros Variable types: 0 continuous, 14483 integer (14483 binary) Root relaxation: objective 0.000000e+00, 281 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 (281 simplex iterations) in 0.14 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 -- 90 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:25:13 2012 Optimize a model with 7965 rows, 8273 columns and 31455 nonzeros Presolve removed 21 rows and 945 columns Presolve time: 0.07s Presolved: 7944 rows, 7328 columns, 30510 nonzeros Variable types: 0 continuous, 7328 integer (7328 binary) Root relaxation: objective 0.000000e+00, 282 iterations, 0.00 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 (282 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:25:13 2012 Optimize a model with 3986 rows, 4133 columns and 15378 nonzeros Presolve removed 21 rows and 462 columns Presolve time: 0.02s Presolved: 3965 rows, 3671 columns, 14916 nonzeros Variable types: 0 continuous, 3671 integer (3671 binary) Root relaxation: objective 0.000000e+00, 282 iterations, 0.00 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 (282 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: 0 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:25:13 2012 Optimize a model with 2083 rows, 2153 columns and 7689 nonzeros Presolve removed 21 rows and 231 columns Presolve time: 0.01s Presolved: 2062 rows, 1922 columns, 7458 nonzeros Variable types: 0 continuous, 1922 integer (1922 binary) Root relaxation: objective 0.000000e+00, 294 iterations, 0.00 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 (426 simplex iterations) in 0.01 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:25:13 2012 Optimize a model with 1045 rows, 1073 columns and 3495 nonzeros Presolve removed 21 rows and 105 columns Presolve time: 0.00s Presolved: 1024 rows, 968 columns, 3390 nonzeros Variable types: 0 continuous, 968 integer (968 binary) Root relaxation: objective 0.000000e+00, 272 iterations, 0.00 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 (272 simplex iterations) in 0.01 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 Sat Dec 15 16:25:13 2012 Optimize a model with 526 rows, 533 columns and 1398 nonzeros Presolve removed 194 rows and 222 columns Presolve time: 0.00s Presolved: 332 rows, 311 columns, 996 nonzeros Variable types: 0 continuous, 311 integer (311 binary) Root relaxation: objective 0.000000e+00, 162 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 133 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (536 simplex iterations) in 0.01 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 Sat Dec 15 16:25:13 2012 Optimize a model with 699 rows, 713 columns and 2097 nonzeros Presolve removed 21 rows and 63 columns Presolve time: 0.00s Presolved: 678 rows, 650 columns, 2034 nonzeros Variable types: 0 continuous, 650 integer (650 binary) Root relaxation: objective 0.000000e+00, 265 iterations, 0.00 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 (265 simplex iterations) in 0.00 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: 3