current bounds on the number of colors: 0 -- 140 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:18:39 2012 Optimize a model with 8400 rows, 9918 columns and 34580 nonzeros Presolve removed 27 rows and 1890 columns Presolve time: 0.11s Presolved: 8373 rows, 8028 columns, 32690 nonzeros Variable types: 0 continuous, 8028 integer (8028 binary) Root relaxation: objective 0.000000e+00, 197 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 (197 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 -- 70 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:18:39 2012 Optimize a model with 4270 rows, 5018 columns and 17290 nonzeros Presolve removed 27 rows and 945 columns Presolve time: 0.03s Presolved: 4243 rows, 4073 columns, 16345 nonzeros Variable types: 0 continuous, 4073 integer (4073 binary) Root relaxation: objective 0.000000e+00, 197 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 (197 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 -- 35 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:18:39 2012 Optimize a model with 2146 rows, 2498 columns and 8398 nonzeros Presolve removed 27 rows and 459 columns Presolve time: 0.01s Presolved: 2119 rows, 2039 columns, 7939 nonzeros Variable types: 0 continuous, 2039 integer (2039 binary) Root relaxation: objective 0.000000e+00, 199 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 (199 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 -- 17 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:18:39 2012 Optimize a model with 1084 rows, 1238 columns and 3952 nonzeros Presolve removed 27 rows and 216 columns Presolve time: 0.00s Presolved: 1057 rows, 1022 columns, 3736 nonzeros Variable types: 0 continuous, 1022 integer (1022 binary) Root relaxation: objective 0.000000e+00, 208 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 (208 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 -- 8 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:18:39 2012 Optimize a model with 612 rows, 678 columns and 1976 nonzeros Presolve removed 27 rows and 108 columns Presolve time: 0.00s Presolved: 585 rows, 570 columns, 1868 nonzeros Variable types: 0 continuous, 570 integer (570 binary) Root relaxation: objective 0.000000e+00, 167 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 (167 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% current bounds on the number of colors: 0 -- 4 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:18:39 2012 Optimize a model with 376 rows, 398 columns and 988 nonzeros Presolve removed 150 rows and 182 columns Presolve time: 0.00s Presolved: 226 rows, 216 columns, 678 nonzeros Variable types: 0 continuous, 216 integer (216 binary) Root relaxation: objective 0.000000e+00, 120 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 95 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (348 simplex iterations) in 0.00 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 -- 4 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:18:39 2012 Optimize a model with 494 rows, 538 columns and 1482 nonzeros Presolve removed 27 rows and 81 columns Presolve time: 0.00s Presolved: 467 rows, 457 columns, 1401 nonzeros Variable types: 0 continuous, 457 integer (457 binary) Root relaxation: objective 0.000000e+00, 181 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 (181 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