current bounds on the number of colors: 0 -- 56 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:46:13 2012 Optimize a model with 21056 rows, 2318 columns and 64568 nonzeros Presolve time: 0.09s Presolved: 21056 rows, 2318 columns, 64568 nonzeros Variable types: 0 continuous, 2318 integer (2318 binary) Root relaxation: objective 0.000000e+00, 114 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 (312 simplex iterations) in 0.14 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:46:13 2012 Optimize a model with 10556 rows, 1534 columns and 32284 nonzeros Presolve time: 0.03s Presolved: 10556 rows, 1534 columns, 32284 nonzeros Variable types: 0 continuous, 1534 integer (1534 binary) Root relaxation: objective 0.000000e+00, 121 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 17 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1376 simplex iterations) in 0.14 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:46:13 2012 Optimize a model with 5306 rows, 1142 columns and 16142 nonzeros Presolve time: 0.01s Presolved: 5306 rows, 1142 columns, 16142 nonzeros Variable types: 0 continuous, 1142 integer (1142 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 108 - 0.00000 - - 0s 0 0 0.00000 0 48 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2590 simplex iterations) in 0.45 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:46:14 2012 Optimize a model with 7556 rows, 1310 columns and 23060 nonzeros Presolve time: 0.02s Presolved: 7556 rows, 1310 columns, 23060 nonzeros Variable types: 0 continuous, 1310 integer (1310 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 58 - 0.00000 - - 0s 0 0 0.00000 0 42 - 0.00000 - - 0s 0 0 0.00000 0 113 - 0.00000 - - 1s 0 0 0.00000 0 211 - 0.00000 - - 1s 0 0 0.00000 0 94 - 0.00000 - - 1s 0 0 0.00000 0 58 - 0.00000 - - 2s 0 0 0.00000 0 128 - 0.00000 - - 3s 0 0 0.00000 0 131 - 0.00000 - - 3s 0 0 0.00000 0 166 - 0.00000 - - 5s 0 0 0.00000 0 85 - 0.00000 - - 6s 0 0 0.00000 0 99 - 0.00000 - - 6s 0 0 0.00000 0 99 - 0.00000 - - 7s 0 2 0.00000 0 99 - 0.00000 - - 8s 10 8 0.00000 6 154 - 0.00000 - 334 10s * 30 3 24 0.0000000 0.00000 0.0% 181 10s Cutting planes: Clique: 18 Zero half: 5 Explored 31 nodes (49741 simplex iterations) in 10.67 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:46:25 2012 Optimize a model with 6056 rows, 1198 columns and 18448 nonzeros Presolve time: 0.02s Presolved: 6056 rows, 1198 columns, 18448 nonzeros Variable types: 0 continuous, 1198 integer (1198 binary) Root relaxation: objective 0.000000e+00, 121 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 44 - 0.00000 - - 0s 0 0 0.00000 0 50 - 0.00000 - - 0s 0 0 0.00000 0 251 - 0.00000 - - 1s 0 0 0.00000 0 328 - 0.00000 - - 1s 0 0 0.00000 0 296 - 0.00000 - - 2s 0 0 0.00000 0 283 - 0.00000 - - 3s 0 0 0.00000 0 256 - 0.00000 - - 5s 0 0 0.00000 0 273 - 0.00000 - - 7s 0 0 0.00000 0 305 - 0.00000 - - 8s 0 0 0.00000 0 271 - 0.00000 - - 9s 0 0 0.00000 0 305 - 0.00000 - - 10s 0 0 0.00000 0 305 - 0.00000 - - 11s 0 2 0.00000 0 305 - 0.00000 - - 12s Cutting planes: Clique: 102 Zero half: 14 Explored 9 nodes (53662 simplex iterations) in 13.30 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 8 -- 10 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:46:38 2012 Optimize a model with 6806 rows, 1254 columns and 20754 nonzeros Presolve time: 0.02s Presolved: 6806 rows, 1254 columns, 20754 nonzeros Variable types: 0 continuous, 1254 integer (1254 binary) Root relaxation: objective 0.000000e+00, 124 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 58 - 0.00000 - - 0s 0 0 0.00000 0 76 - 0.00000 - - 0s 0 0 0.00000 0 232 - 0.00000 - - 1s 0 0 0.00000 0 255 - 0.00000 - - 1s 0 0 0.00000 0 186 - 0.00000 - - 2s 0 0 0.00000 0 156 - 0.00000 - - 3s 0 0 0.00000 0 137 - 0.00000 - - 4s 0 0 0.00000 0 240 - 0.00000 - - 5s 0 0 0.00000 0 242 - 0.00000 - - 6s 0 0 0.00000 0 213 - 0.00000 - - 7s 0 0 0.00000 0 184 - 0.00000 - - 8s 0 0 0.00000 0 250 - 0.00000 - - 9s 0 0 0.00000 0 250 - 0.00000 - - 9s 0 2 0.00000 0 249 - 0.00000 - - 10s 168 12 infeasible 14 - 0.00000 - 218 15s Cutting planes: Clique: 136 Zero half: 11 Explored 261 nodes (103157 simplex iterations) in 16.69 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