current bounds on the number of colors: 0 -- 56 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:48:06 2012 Optimize a model with 21980 rows, 2351 columns and 67340 nonzeros Presolve time: 0.09s Presolved: 21980 rows, 2351 columns, 67340 nonzeros Variable types: 0 continuous, 2351 integer (2351 binary) Root relaxation: objective 0.000000e+00, 128 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 (554 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 -- 28 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:48:06 2012 Optimize a model with 11018 rows, 1567 columns and 33670 nonzeros Presolve time: 0.03s Presolved: 11018 rows, 1567 columns, 33670 nonzeros Variable types: 0 continuous, 1567 integer (1567 binary) Root relaxation: objective 0.000000e+00, 117 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 22 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1527 simplex iterations) in 0.15 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:48:07 2012 Optimize a model with 5537 rows, 1175 columns and 16835 nonzeros Presolve time: 0.01s Presolved: 5537 rows, 1175 columns, 16835 nonzeros Variable types: 0 continuous, 1175 integer (1175 binary) Root relaxation: objective 0.000000e+00, 112 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 78 - 0.00000 - - 0s 0 0 0.00000 0 62 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3039 simplex iterations) in 0.50 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: 7 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:48:07 2012 Optimize a model with 7886 rows, 1343 columns and 24050 nonzeros Presolve time: 0.02s Presolved: 7886 rows, 1343 columns, 24050 nonzeros Variable types: 0 continuous, 1343 integer (1343 binary) Root relaxation: objective 0.000000e+00, 122 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 42 - 0.00000 - - 0s 0 0 0.00000 0 53 - 0.00000 - - 0s 0 0 0.00000 0 99 - 0.00000 - - 1s 0 0 0.00000 0 186 - 0.00000 - - 1s 0 0 0.00000 0 69 - 0.00000 - - 1s 0 0 0.00000 0 99 - 0.00000 - - 2s 0 0 0.00000 0 57 - 0.00000 - - 3s 0 0 0.00000 0 175 - 0.00000 - - 3s 0 0 0.00000 0 90 - 0.00000 - - 4s 0 0 0.00000 0 185 - 0.00000 - - 5s 0 0 0.00000 0 250 - 0.00000 - - 6s 0 0 0.00000 0 250 - 0.00000 - - 6s 0 2 0.00000 0 250 - 0.00000 - - 7s 355 25 0.00000 16 148 - 0.00000 - 99.1 10s * 559 1 17 0.0000000 0.00000 0.0% 98.4 11s Cutting planes: Clique: 60 Zero half: 2 Explored 560 nodes (96050 simplex iterations) in 11.50 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: 7 -- 10 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:48:19 2012 Optimize a model with 6320 rows, 1231 columns and 19240 nonzeros Presolve time: 0.02s Presolved: 6320 rows, 1231 columns, 19240 nonzeros Variable types: 0 continuous, 1231 integer (1231 binary) Root relaxation: objective 0.000000e+00, 119 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 54 - 0.00000 - - 0s 0 0 0.00000 0 38 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3096 simplex iterations) in 0.44 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: 8 -- 10 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:48:20 2012 Optimize a model with 7103 rows, 1287 columns and 21645 nonzeros Presolve time: 0.02s Presolved: 7103 rows, 1287 columns, 21645 nonzeros Variable types: 0 continuous, 1287 integer (1287 binary) Root relaxation: objective 0.000000e+00, 120 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 40 - 0.00000 - - 0s 0 0 0.00000 0 47 - 0.00000 - - 0s 0 0 0.00000 0 223 - 0.00000 - - 1s 0 0 0.00000 0 275 - 0.00000 - - 1s 0 0 0.00000 0 204 - 0.00000 - - 2s 0 0 0.00000 0 222 - 0.00000 - - 3s 0 0 0.00000 0 183 - 0.00000 - - 4s 0 0 0.00000 0 139 - 0.00000 - - 5s 0 0 0.00000 0 173 - 0.00000 - - 6s 0 0 0.00000 0 203 - 0.00000 - - 7s 0 0 0.00000 0 203 - 0.00000 - - 8s 0 2 0.00000 0 203 - 0.00000 - - 9s 10 6 0.00000 7 214 - 0.00000 - 432 10s Cutting planes: Clique: 151 Zero half: 5 Explored 61 nodes (53792 simplex iterations) in 10.89 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 10