current bounds on the number of colors: 0 -- 120 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:03:19 2012 Optimize a model with 44220 rows, 7935 columns and 139500 nonzeros Presolve time: 0.16s Presolved: 44220 rows, 7935 columns, 139500 nonzeros Variable types: 0 continuous, 7935 integer (7935 binary) Root relaxation: objective 0.000000e+00, 301 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 (573 simplex iterations) in 0.27 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 -- 60 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:03:20 2012 Optimize a model with 22170 rows, 4335 columns and 69750 nonzeros Presolve time: 0.10s Presolved: 22170 rows, 4335 columns, 69750 nonzeros Variable types: 0 continuous, 4335 integer (4335 binary) Root relaxation: objective 0.000000e+00, 298 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 (561 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 -- 30 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:03:21 2012 Optimize a model with 11145 rows, 2535 columns and 34875 nonzeros Presolve time: 0.04s Presolved: 11145 rows, 2535 columns, 34875 nonzeros Variable types: 0 continuous, 2535 integer (2535 binary) Root relaxation: objective 0.000000e+00, 244 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 (477 simplex iterations) in 0.06 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:03:21 2012 Optimize a model with 5265 rows, 1575 columns and 16275 nonzeros Presolve time: 0.01s Presolved: 5265 rows, 1575 columns, 16275 nonzeros Variable types: 0 continuous, 1575 integer (1575 binary) Root relaxation: objective 0.000000e+00, 256 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 (1333 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:03:21 2012 Optimize a model with 2325 rows, 1095 columns and 6975 nonzeros Presolve time: 0.01s Presolved: 2325 rows, 1095 columns, 6975 nonzeros Variable types: 0 continuous, 1095 integer (1095 binary) Root relaxation: objective 0.000000e+00, 294 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 186 - 0.00000 - - 0s 0 0 0.00000 0 298 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5510 simplex iterations) in 0.56 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: 3 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:03:22 2012 Optimize a model with 3795 rows, 1335 columns and 11625 nonzeros Presolve time: 0.01s Presolved: 3795 rows, 1335 columns, 11625 nonzeros Variable types: 0 continuous, 1335 integer (1335 binary) Root relaxation: objective 0.000000e+00, 261 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 228 - 0.00000 - - 0s 0 0 0.00000 0 208 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 0s 0 0 0.00000 0 306 - 0.00000 - - 0s 0 0 0.00000 0 206 - 0.00000 - - 1s 0 0 0.00000 0 272 - 0.00000 - - 1s 0 0 0.00000 0 265 - 0.00000 - - 2s 0 0 0.00000 0 248 - 0.00000 - - 3s 0 0 0.00000 0 250 - 0.00000 - - 3s 0 0 0.00000 0 331 - 0.00000 - - 4s 0 0 0.00000 0 317 - 0.00000 - - 4s 0 2 0.00000 0 317 - 0.00000 - - 4s 10 10 0.00000 8 230 - 0.00000 - 302 5s 607 64 0.00000 18 291 - 0.00000 - 78.9 10s 610 66 0.00000 9 229 - 0.00000 - 78.5 15s 619 70 0.00000 15 266 - 0.00000 - 131 20s 846 65 infeasible 30 - 0.00000 - 147 25s 1176 109 infeasible 36 - 0.00000 - 162 30s 1499 136 infeasible 36 - 0.00000 - 174 35s 1794 123 0.00000 30 278 - 0.00000 - 182 40s 2125 134 infeasible 24 - 0.00000 - 186 45s 2487 120 infeasible 25 - 0.00000 - 189 50s 2767 126 0.00000 33 245 - 0.00000 - 193 55s 3047 126 0.00000 32 247 - 0.00000 - 198 60s 3354 87 0.00000 27 204 - 0.00000 - 201 65s 3671 146 0.00000 36 233 - 0.00000 - 202 70s 4078 175 infeasible 39 - 0.00000 - 201 75s 4461 158 infeasible 35 - 0.00000 - 202 80s 4867 158 0.00000 40 245 - 0.00000 - 202 85s 5189 148 0.00000 30 263 - 0.00000 - 204 90s 5558 179 0.00000 32 242 - 0.00000 - 204 95s 5901 178 0.00000 33 257 - 0.00000 - 205 100s 6274 195 infeasible 31 - 0.00000 - 205 105s 6644 193 0.00000 28 230 - 0.00000 - 205 110s 6969 178 infeasible 31 - 0.00000 - 206 115s 7253 166 0.00000 32 212 - 0.00000 - 208 120s 7564 153 infeasible 35 - 0.00000 - 209 125s 7906 157 infeasible 32 - 0.00000 - 210 130s 8237 138 infeasible 33 - 0.00000 - 210 135s 8563 136 infeasible 30 - 0.00000 - 211 140s 8946 131 infeasible 26 - 0.00000 - 210 145s 9261 124 0.00000 34 259 - 0.00000 - 211 150s 9611 116 infeasible 33 - 0.00000 - 211 155s 9958 105 infeasible 31 - 0.00000 - 211 160s 10281 130 infeasible 34 - 0.00000 - 212 165s 10591 118 infeasible 32 - 0.00000 - 212 170s 10898 103 infeasible 31 - 0.00000 - 213 175s 11186 95 infeasible 28 - 0.00000 - 214 180s 11500 99 0.00000 35 194 - 0.00000 - 214 185s 11808 101 0.00000 32 216 - 0.00000 - 215 190s 12118 109 infeasible 37 - 0.00000 - 216 195s 12430 113 infeasible 30 - 0.00000 - 216 200s 12708 117 infeasible 32 - 0.00000 - 217 205s 12988 111 infeasible 33 - 0.00000 - 218 210s 13305 104 infeasible 35 - 0.00000 - 218 215s 13664 113 0.00000 31 190 - 0.00000 - 218 220s 14049 110 infeasible 35 - 0.00000 - 218 225s 14384 103 infeasible 31 - 0.00000 - 218 230s 14702 101 infeasible 29 - 0.00000 - 218 235s 15029 106 infeasible 39 - 0.00000 - 218 240s 15315 98 0.00000 34 263 - 0.00000 - 219 245s 15617 94 infeasible 29 - 0.00000 - 219 250s 15910 93 infeasible 32 - 0.00000 - 219 255s 16235 84 0.00000 33 259 - 0.00000 - 220 260s 16486 71 0.00000 34 276 - 0.00000 - 220 265s 16832 77 infeasible 37 - 0.00000 - 220 270s 17146 69 infeasible 34 - 0.00000 - 220 275s 17493 84 infeasible 33 - 0.00000 - 220 280s 17861 76 0.00000 25 271 - 0.00000 - 220 285s 18173 66 0.00000 30 216 - 0.00000 - 220 290s 18516 67 0.00000 30 247 - 0.00000 - 220 295s Cutting planes: Clique: 1 Zero half: 2 Explored 18661 nodes (4140506 simplex iterations) in 296.90 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 5 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:08:19 2012 Optimize a model with 4530 rows, 1455 columns and 13950 nonzeros Presolve time: 0.01s Presolved: 4530 rows, 1455 columns, 13950 nonzeros Variable types: 0 continuous, 1455 integer (1455 binary) Root relaxation: objective 0.000000e+00, 268 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 240 - 0.00000 - - 0s Explored 0 nodes (790 simplex iterations) in 0.04 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 7