current bounds on the number of colors: 0 -- 143 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:41:20 2012 Optimize a model with 39335 rows, 10705 columns and 127729 nonzeros Presolve time: 0.15s Presolved: 39335 rows, 10705 columns, 127729 nonzeros Variable types: 0 continuous, 10705 integer (10705 binary) Root relaxation: objective 0.000000e+00, 511 iterations, 0.03 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 (798 simplex iterations) in 0.24 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 -- 71 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:41:21 2012 Optimize a model with 19463 rows, 5557 columns and 62965 nonzeros Presolve time: 0.10s Presolved: 19463 rows, 5557 columns, 62965 nonzeros Variable types: 0 continuous, 5557 integer (5557 binary) Root relaxation: objective 0.000000e+00, 371 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 (638 simplex iterations) in 0.13 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 Fri Dec 14 18:41:21 2012 Optimize a model with 9527 rows, 2983 columns and 30583 nonzeros Presolve time: 0.03s Presolved: 9527 rows, 2983 columns, 30583 nonzeros Variable types: 0 continuous, 2983 integer (2983 binary) Root relaxation: objective 0.000000e+00, 297 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 (547 simplex iterations) in 0.05 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 Fri Dec 14 18:41:21 2012 Optimize a model with 4559 rows, 1696 columns and 14392 nonzeros Presolve time: 0.01s Presolved: 4559 rows, 1696 columns, 14392 nonzeros Variable types: 0 continuous, 1696 integer (1696 binary) Root relaxation: objective 0.000000e+00, 299 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 (559 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:41:21 2012 Optimize a model with 2351 rows, 1124 columns and 7196 nonzeros Presolve time: 0.01s Presolved: 2351 rows, 1124 columns, 7196 nonzeros Variable types: 0 continuous, 1124 integer (1124 binary) Root relaxation: objective 0.000000e+00, 344 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 268 - 0.00000 - - 0s 0 0 0.00000 0 258 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 0s 0 0 0.00000 0 276 - 0.00000 - - 0s 0 0 0.00000 0 300 - 0.00000 - - 0s 0 0 0.00000 0 305 - 0.00000 - - 0s 0 0 0.00000 0 176 - 0.00000 - - 1s 0 0 0.00000 0 249 - 0.00000 - - 1s 0 0 0.00000 0 293 - 0.00000 - - 1s 0 0 0.00000 0 272 - 0.00000 - - 1s 0 2 0.00000 0 271 - 0.00000 - - 1s H 363 3 0.0000000 0.00000 0.0% 57.6 2s Cutting planes: Clique: 1 Zero half: 19 Explored 363 nodes (39946 simplex iterations) in 2.54 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:41:24 2012 Optimize a model with 1247 rows, 838 columns and 3598 nonzeros Presolve removed 143 rows and 143 columns Presolve time: 0.00s Presolved: 1104 rows, 695 columns, 3312 nonzeros Variable types: 0 continuous, 695 integer (695 binary) Root relaxation: objective 0.000000e+00, 150 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 143 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (579 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:41:24 2012 Optimize a model with 1799 rows, 981 columns and 5397 nonzeros Presolve time: 0.00s Presolved: 1799 rows, 981 columns, 5397 nonzeros Variable types: 0 continuous, 981 integer (981 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 278 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 0s 0 0 0.00000 0 363 - 0.00000 - - 0s 0 0 0.00000 0 282 - 0.00000 - - 0s 0 0 0.00000 0 337 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Zero half: 229 Explored 0 nodes (5821 simplex iterations) in 0.54 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