current bounds on the number of colors: 0 -- 157 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:01:40 2012 Optimize a model with 46723 rows, 12843 columns and 151944 nonzeros Presolve time: 0.17s Presolved: 46723 rows, 12843 columns, 151944 nonzeros Variable types: 0 continuous, 12843 integer (12843 binary) Root relaxation: objective 0.000000e+00, 585 iterations, 0.04 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 (919 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 19:01:41 2012 Optimize a model with 23440 rows, 6720 columns and 75972 nonzeros Presolve time: 0.12s Presolved: 23440 rows, 6720 columns, 75972 nonzeros Variable types: 0 continuous, 6720 integer (6720 binary) Root relaxation: objective 0.000000e+00, 422 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 (708 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 19:01:41 2012 Optimize a model with 11500 rows, 3580 columns and 37012 nonzeros Presolve time: 0.04s Presolved: 11500 rows, 3580 columns, 37012 nonzeros Variable types: 0 continuous, 3580 integer (3580 binary) Root relaxation: objective 0.000000e+00, 315 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 (544 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:01:41 2012 Optimize a model with 5530 rows, 2010 columns and 17532 nonzeros Presolve time: 0.02s Presolved: 5530 rows, 2010 columns, 17532 nonzeros Variable types: 0 continuous, 2010 integer (2010 binary) Root relaxation: objective 0.000000e+00, 336 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.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 19:01:41 2012 Optimize a model with 2545 rows, 1225 columns and 7792 nonzeros Presolve time: 0.01s Presolved: 2545 rows, 1225 columns, 7792 nonzeros Variable types: 0 continuous, 1225 integer (1225 binary) Root relaxation: objective 0.000000e+00, 349 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 272 - 0.00000 - - 0s 0 0 0.00000 0 266 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 0s 0 0 0.00000 0 300 - 0.00000 - - 0s 0 0 0.00000 0 276 - 0.00000 - - 0s 0 0 0.00000 0 317 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Clique: 2 Zero half: 121 Explored 0 nodes (12258 simplex iterations) in 0.91 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 19:01:42 2012 Optimize a model with 1351 rows, 911 columns and 3896 nonzeros Presolve removed 157 rows and 157 columns Presolve time: 0.00s Presolved: 1194 rows, 754 columns, 3582 nonzeros Variable types: 0 continuous, 754 integer (754 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.00000 0 157 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (659 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 19:01:42 2012 Optimize a model with 1948 rows, 1068 columns and 5844 nonzeros Presolve time: 0.00s Presolved: 1948 rows, 1068 columns, 5844 nonzeros Variable types: 0 continuous, 1068 integer (1068 binary) Root relaxation: objective 0.000000e+00, 371 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 312 - 0.00000 - - 0s 0 0 0.00000 0 306 - 0.00000 - - 0s 0 0 0.00000 0 367 - 0.00000 - - 0s 0 0 0.00000 0 389 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Zero half: 297 Explored 0 nodes (6585 simplex iterations) in 0.64 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