current bounds on the number of colors: 0 -- 129 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:34:04 2012 Optimize a model with 28161 rows, 8694 columns and 92352 nonzeros Presolve removed 1 rows and 64 columns Presolve time: 0.13s Presolved: 28160 rows, 8630 columns, 92288 nonzeros Variable types: 0 continuous, 8630 integer (8630 binary) Root relaxation: objective 0.000000e+00, 428 iterations, 0.02 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 (678 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 -- 64 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:34:04 2012 Optimize a model with 14145 rows, 4566 columns and 46176 nonzeros Presolve removed 1 rows and 32 columns Presolve time: 0.07s Presolved: 14144 rows, 4534 columns, 46144 nonzeros Variable types: 0 continuous, 4534 integer (4534 binary) Root relaxation: objective 0.000000e+00, 289 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 (508 simplex iterations) in 0.10 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:34:05 2012 Optimize a model with 7137 rows, 2502 columns and 23088 nonzeros Presolve removed 1 rows and 16 columns Presolve time: 0.03s Presolved: 7136 rows, 2486 columns, 23072 nonzeros Variable types: 0 continuous, 2486 integer (2486 binary) Root relaxation: objective 0.000000e+00, 266 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 (459 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:34:05 2012 Optimize a model with 3633 rows, 1470 columns and 11544 nonzeros Presolve removed 1 rows and 8 columns Presolve time: 0.01s Presolved: 3632 rows, 1462 columns, 11536 nonzeros Variable types: 0 continuous, 1462 integer (1462 binary) Root relaxation: objective 0.000000e+00, 291 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 (524 simplex iterations) in 0.02 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 Fri Dec 14 18:34:05 2012 Optimize a model with 1881 rows, 954 columns and 5772 nonzeros Presolve removed 1 rows and 4 columns Presolve time: 0.00s Presolved: 1880 rows, 950 columns, 5768 nonzeros Variable types: 0 continuous, 950 integer (950 binary) Root relaxation: objective 0.000000e+00, 290 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 118 - 0.00000 - - 0s 0 0 0.00000 0 236 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4301 simplex iterations) in 0.23 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 Fri Dec 14 18:34:05 2012 Optimize a model with 1005 rows, 696 columns and 2886 nonzeros Presolve removed 129 rows and 130 columns Presolve time: 0.00s Presolved: 876 rows, 566 columns, 2628 nonzeros Variable types: 0 continuous, 566 integer (566 binary) Root relaxation: objective 0.000000e+00, 136 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 128 - 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 -- 4 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:34:05 2012 Optimize a model with 1443 rows, 825 columns and 4329 nonzeros Presolve removed 1 rows and 3 columns Presolve time: 0.00s Presolved: 1442 rows, 822 columns, 4326 nonzeros Variable types: 0 continuous, 822 integer (822 binary) Root relaxation: objective 0.000000e+00, 309 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 248 - 0.00000 - - 0s 0 0 0.00000 0 230 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2951 simplex iterations) in 0.19 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - optimal solution found: number of colors: 4