current bounds on the number of colors: 0 -- 156 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:59:25 2012 Optimize a model with 45708 rows, 12752 columns and 148824 nonzeros Presolve time: 0.16s Presolved: 45708 rows, 12752 columns, 148824 nonzeros Variable types: 0 continuous, 12752 integer (12752 binary) Root relaxation: objective 0.000000e+00, 546 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 (897 simplex iterations) in 0.28 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 -- 78 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:59:26 2012 Optimize a model with 22932 rows, 6668 columns and 74412 nonzeros Presolve time: 0.12s Presolved: 22932 rows, 6668 columns, 74412 nonzeros Variable types: 0 continuous, 6668 integer (6668 binary) Root relaxation: objective 0.000000e+00, 403 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 (721 simplex iterations) in 0.17 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 18:59:26 2012 Optimize a model with 11252 rows, 3548 columns and 36252 nonzeros Presolve time: 0.04s Presolved: 11252 rows, 3548 columns, 36252 nonzeros Variable types: 0 continuous, 3548 integer (3548 binary) Root relaxation: objective 0.000000e+00, 347 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 (609 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 18:59:26 2012 Optimize a model with 5412 rows, 1988 columns and 17172 nonzeros Presolve time: 0.02s Presolved: 5412 rows, 1988 columns, 17172 nonzeros Variable types: 0 continuous, 1988 integer (1988 binary) Root relaxation: objective 0.000000e+00, 350 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 (639 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:59:26 2012 Optimize a model with 2492 rows, 1208 columns and 7632 nonzeros Presolve time: 0.01s Presolved: 2492 rows, 1208 columns, 7632 nonzeros Variable types: 0 continuous, 1208 integer (1208 binary) Root relaxation: objective 0.000000e+00, 353 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 296 - 0.00000 - - 0s 0 0 0.00000 0 262 - 0.00000 - - 0s 0 0 0.00000 0 276 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 0s 0 0 0.00000 0 361 - 0.00000 - - 0s 0 0 0.00000 0 251 - 0.00000 - - 0s 0 0 0.00000 0 215 - 0.00000 - - 1s 0 0 0.00000 0 266 - 0.00000 - - 1s 0 0 0.00000 0 238 - 0.00000 - - 1s H 0 0 0.0000000 0.00000 0.0% - 1s Cutting planes: Zero half: 4 Explored 0 nodes (16326 simplex iterations) in 1.40 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:59:28 2012 Optimize a model with 1324 rows, 896 columns and 3816 nonzeros Presolve removed 156 rows and 156 columns Presolve time: 0.00s Presolved: 1168 rows, 740 columns, 3504 nonzeros Variable types: 0 continuous, 740 integer (740 binary) Root relaxation: objective 0.000000e+00, 165 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 156 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (691 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 -- 4 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:59:28 2012 Optimize a model with 1908 rows, 1052 columns and 5724 nonzeros Presolve time: 0.00s Presolved: 1908 rows, 1052 columns, 5724 nonzeros Variable types: 0 continuous, 1052 integer (1052 binary) Root relaxation: objective 0.000000e+00, 361 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 308 - 0.00000 - - 0s 0 0 0.00000 0 298 - 0.00000 - - 0s 0 0 0.00000 0 393 - 0.00000 - - 0s 0 0 0.00000 0 423 - 0.00000 - - 0s 0 0 0.00000 0 417 - 0.00000 - - 0s 0 0 0.00000 0 296 - 0.00000 - - 1s 0 0 0.00000 0 341 - 0.00000 - - 1s 0 0 0.00000 0 422 - 0.00000 - - 1s 0 0 0.00000 0 276 - 0.00000 - - 2s 0 0 0.00000 0 427 - 0.00000 - - 2s 0 0 0.00000 0 405 - 0.00000 - - 2s 0 2 0.00000 0 402 - 0.00000 - - 2s Cutting planes: Clique: 1 Zero half: 5 Explored 5 nodes (24388 simplex iterations) in 2.88 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 4