current bounds on the number of colors: 0 -- 119 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:54:59 2012 Optimize a model with 46139 rows, 7801 columns and 145081 nonzeros Presolve time: 0.16s Presolved: 46139 rows, 7801 columns, 145081 nonzeros Variable types: 0 continuous, 7801 integer (7801 binary) Root relaxation: objective 0.000000e+00, 280 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 (548 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 -- 59 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:55:00 2012 Optimize a model with 22739 rows, 4231 columns and 71311 nonzeros Presolve time: 0.10s Presolved: 22739 rows, 4231 columns, 71311 nonzeros Variable types: 0 continuous, 4231 integer (4231 binary) Root relaxation: objective 0.000000e+00, 275 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 (617 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 -- 29 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:55:00 2012 Optimize a model with 11039 rows, 2446 columns and 34426 nonzeros Presolve time: 0.03s Presolved: 11039 rows, 2446 columns, 34426 nonzeros Variable types: 0 continuous, 2446 integer (2446 binary) Root relaxation: objective 0.000000e+00, 241 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 (489 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:55:00 2012 Optimize a model with 5579 rows, 1613 columns and 17213 nonzeros Presolve time: 0.01s Presolved: 5579 rows, 1613 columns, 17213 nonzeros Variable types: 0 continuous, 1613 integer (1613 binary) Root relaxation: objective 0.000000e+00, 248 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 (1039 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:55:00 2012 Optimize a model with 2459 rows, 1137 columns and 7377 nonzeros Presolve time: 0.01s Presolved: 2459 rows, 1137 columns, 7377 nonzeros Variable types: 0 continuous, 1137 integer (1137 binary) Root relaxation: objective 0.000000e+00, 257 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 200 - 0.00000 - - 0s 0 0 0.00000 0 238 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4047 simplex iterations) in 0.46 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 20:55:01 2012 Optimize a model with 4019 rows, 1375 columns and 12295 nonzeros Presolve time: 0.01s Presolved: 4019 rows, 1375 columns, 12295 nonzeros Variable types: 0 continuous, 1375 integer (1375 binary) Root relaxation: objective 0.000000e+00, 247 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 226 - 0.00000 - - 0s 0 0 0.00000 0 216 - 0.00000 - - 0s 0 0 0.00000 0 271 - 0.00000 - - 1s 0 0 0.00000 0 299 - 0.00000 - - 1s 0 0 0.00000 0 289 - 0.00000 - - 1s 0 0 0.00000 0 318 - 0.00000 - - 2s 0 0 0.00000 0 330 - 0.00000 - - 2s 0 0 0.00000 0 330 - 0.00000 - - 3s 0 2 0.00000 0 322 - 0.00000 - - 3s 137 19 infeasible 17 - 0.00000 - 140 5s 1006 31 0.00000 9 271 - 0.00000 - 96.0 11s 1011 35 0.00000 19 148 - 0.00000 - 95.5 15s 1016 38 0.00000 13 249 - 0.00000 - 95.1 20s 1077 55 0.00000 23 279 - 0.00000 - 137 25s 1346 120 0.00000 26 272 - 0.00000 - 152 30s 1597 141 0.00000 28 234 - 0.00000 - 166 35s 1859 161 infeasible 31 - 0.00000 - 174 40s 2092 180 0.00000 33 234 - 0.00000 - 181 45s 2340 200 infeasible 31 - 0.00000 - 188 50s 2607 205 0.00000 29 268 - 0.00000 - 192 55s 2855 211 0.00000 33 277 - 0.00000 - 197 60s 3084 220 0.00000 30 221 - 0.00000 - 200 65s 3332 208 infeasible 32 - 0.00000 - 204 70s 3574 212 0.00000 31 278 - 0.00000 - 208 75s 3815 205 infeasible 38 - 0.00000 - 211 80s 4053 191 infeasible 33 - 0.00000 - 214 85s 4275 181 0.00000 28 237 - 0.00000 - 218 90s 4519 175 infeasible 31 - 0.00000 - 220 95s 4761 175 0.00000 30 194 - 0.00000 - 222 100s 4982 160 infeasible 33 - 0.00000 - 225 105s 5223 151 0.00000 34 276 - 0.00000 - 226 110s 5464 150 infeasible 31 - 0.00000 - 228 115s 5713 133 0.00000 24 255 - 0.00000 - 229 120s 5946 128 0.00000 31 259 - 0.00000 - 230 125s 6163 123 infeasible 37 - 0.00000 - 232 130s 6409 113 infeasible 29 - 0.00000 - 233 135s 6656 110 infeasible 31 - 0.00000 - 234 140s 6890 110 infeasible 29 - 0.00000 - 235 145s 7145 113 infeasible 33 - 0.00000 - 235 150s 7385 107 infeasible 30 - 0.00000 - 236 155s 7619 105 0.00000 34 271 - 0.00000 - 237 160s 7893 97 0.00000 29 227 - 0.00000 - 237 165s 8149 95 infeasible 30 - 0.00000 - 238 170s 8407 83 infeasible 29 - 0.00000 - 238 175s 8633 75 infeasible 32 - 0.00000 - 239 180s 8870 72 0.00000 28 297 - 0.00000 - 240 185s 9115 77 infeasible 32 - 0.00000 - 240 190s 9358 74 infeasible 30 - 0.00000 - 240 195s 9596 58 0.00000 33 251 - 0.00000 - 241 200s 9816 50 infeasible 31 - 0.00000 - 242 205s 10033 43 0.00000 27 292 - 0.00000 - 242 210s 10257 35 0.00000 28 212 - 0.00000 - 243 215s 10471 27 infeasible 28 - 0.00000 - 244 220s 10720 34 0.00000 27 277 - 0.00000 - 244 225s 10979 27 infeasible 25 - 0.00000 - 244 230s 11206 28 infeasible 26 - 0.00000 - 245 235s 11435 37 0.00000 27 262 - 0.00000 - 246 240s 11678 22 infeasible 28 - 0.00000 - 246 245s 11927 23 infeasible 31 - 0.00000 - 246 250s 12163 23 infeasible 27 - 0.00000 - 246 255s 12427 23 0.00000 27 263 - 0.00000 - 246 260s 12666 18 0.00000 31 286 - 0.00000 - 246 265s 12867 13 infeasible 29 - 0.00000 - 247 270s Cutting planes: Clique: 2 Zero half: 10 Explored 13011 nodes (3243067 simplex iterations) in 273.57 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: 5 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:59:35 2012 Optimize a model with 4799 rows, 1494 columns and 14754 nonzeros Presolve time: 0.01s Presolved: 4799 rows, 1494 columns, 14754 nonzeros Variable types: 0 continuous, 1494 integer (1494 binary) Root relaxation: objective 0.000000e+00, 254 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 226 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 294 MIR: 19 Zero half: 299 Explored 0 nodes (3147 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% optimal solution found: number of colors: 6