current bounds on the number of colors: 0 -- 124 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:20:34 2012 Optimize a model with 53134 rows, 8543 columns and 166718 nonzeros Presolve time: 0.18s Presolved: 53134 rows, 8543 columns, 166718 nonzeros Variable types: 0 continuous, 8543 integer (8543 binary) Root relaxation: objective 0.000000e+00, 307 iterations, 0.06 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 (605 simplex iterations) in 0.31 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 -- 62 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:20:35 2012 Optimize a model with 26629 rows, 4699 columns and 83359 nonzeros Presolve time: 0.12s Presolved: 26629 rows, 4699 columns, 83359 nonzeros Variable types: 0 continuous, 4699 integer (4699 binary) Root relaxation: objective 0.000000e+00, 288 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 (589 simplex iterations) in 0.18 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 -- 31 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:20:35 2012 Optimize a model with 12949 rows, 2715 columns and 40335 nonzeros Presolve time: 0.04s Presolved: 12949 rows, 2715 columns, 40335 nonzeros Variable types: 0 continuous, 2715 integer (2715 binary) Root relaxation: objective 0.000000e+00, 251 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 (505 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:20:35 2012 Optimize a model with 6109 rows, 1723 columns and 18823 nonzeros Presolve time: 0.02s Presolved: 6109 rows, 1723 columns, 18823 nonzeros Variable types: 0 continuous, 1723 integer (1723 binary) Root relaxation: objective 0.000000e+00, 259 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 134 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1747 simplex iterations) in 0.09 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 22:20:36 2012 Optimize a model with 2689 rows, 1227 columns and 8067 nonzeros Presolve time: 0.01s Presolved: 2689 rows, 1227 columns, 8067 nonzeros Variable types: 0 continuous, 1227 integer (1227 binary) Root relaxation: objective 0.000000e+00, 272 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 248 - 0.00000 - - 0s 0 0 0.00000 0 267 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4774 simplex iterations) in 0.65 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 22:20:36 2012 Optimize a model with 4399 rows, 1475 columns and 13445 nonzeros Presolve time: 0.01s Presolved: 4399 rows, 1475 columns, 13445 nonzeros Variable types: 0 continuous, 1475 integer (1475 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 248 - 0.00000 - - 0s 0 0 0.00000 0 238 - 0.00000 - - 0s 0 0 0.00000 0 234 - 0.00000 - - 1s 0 0 0.00000 0 365 - 0.00000 - - 1s 0 0 0.00000 0 208 - 0.00000 - - 1s 0 0 0.00000 0 207 - 0.00000 - - 2s 0 0 0.00000 0 198 - 0.00000 - - 2s 0 0 0.00000 0 212 - 0.00000 - - 3s 0 0 0.00000 0 179 - 0.00000 - - 3s 0 0 0.00000 0 206 - 0.00000 - - 4s 0 0 0.00000 0 237 - 0.00000 - - 4s 0 0 0.00000 0 237 - 0.00000 - - 5s 0 2 0.00000 0 237 - 0.00000 - - 6s 281 43 0.00000 24 291 - 0.00000 - 139 10s 609 48 0.00000 10 378 - 0.00000 - 137 15s 612 50 0.00000 22 289 - 0.00000 - 136 20s 658 65 0.00000 28 212 - 0.00000 - 186 25s 830 30 infeasible 31 - 0.00000 - 211 30s 1005 47 infeasible 28 - 0.00000 - 226 35s 1195 57 0.00000 23 272 - 0.00000 - 236 40s 1403 83 0.00000 25 252 - 0.00000 - 239 45s 1584 96 0.00000 31 288 - 0.00000 - 247 50s 1768 82 infeasible 29 - 0.00000 - 253 55s 1965 87 infeasible 34 - 0.00000 - 255 60s 2142 84 infeasible 28 - 0.00000 - 260 65s 2332 84 infeasible 28 - 0.00000 - 262 70s 2531 81 0.00000 21 291 - 0.00000 - 263 75s 2757 123 infeasible 35 - 0.00000 - 261 80s 2962 136 0.00000 35 272 - 0.00000 - 262 85s 3152 152 infeasible 29 - 0.00000 - 263 90s 3338 174 infeasible 37 - 0.00000 - 264 95s 3520 166 infeasible 31 - 0.00000 - 266 100s 3722 186 infeasible 34 - 0.00000 - 266 105s 3903 177 infeasible 33 - 0.00000 - 267 110s 4073 159 0.00000 27 299 - 0.00000 - 269 115s 4264 156 infeasible 28 - 0.00000 - 270 120s 4456 158 0.00000 27 282 - 0.00000 - 271 125s 4625 185 0.00000 33 277 - 0.00000 - 273 130s 4819 195 0.00000 36 284 - 0.00000 - 273 135s 4999 177 infeasible 29 - 0.00000 - 275 140s 5172 172 infeasible 26 - 0.00000 - 276 145s 5351 193 0.00000 26 294 - 0.00000 - 277 150s 5538 202 0.00000 28 263 - 0.00000 - 277 155s 5721 197 infeasible 31 - 0.00000 - 278 160s 5894 186 0.00000 26 296 - 0.00000 - 279 165s 6081 177 infeasible 36 - 0.00000 - 279 170s 6250 160 infeasible 29 - 0.00000 - 280 175s 6420 166 0.00000 29 292 - 0.00000 - 281 180s 6594 156 0.00000 29 264 - 0.00000 - 282 185s 6775 159 infeasible 27 - 0.00000 - 282 190s 6957 149 0.00000 23 304 - 0.00000 - 283 195s 7131 133 infeasible 28 - 0.00000 - 283 200s 7316 135 0.00000 30 261 - 0.00000 - 284 205s 7500 139 infeasible 31 - 0.00000 - 284 210s 7685 134 0.00000 29 294 - 0.00000 - 284 215s 7882 135 0.00000 35 291 - 0.00000 - 284 220s 8064 133 0.00000 24 301 - 0.00000 - 284 225s 8226 131 0.00000 26 282 - 0.00000 - 285 230s 8388 117 0.00000 26 310 - 0.00000 - 286 235s 8557 110 0.00000 26 294 - 0.00000 - 287 240s 8715 114 infeasible 26 - 0.00000 - 288 245s 8890 125 infeasible 28 - 0.00000 - 288 250s 9074 129 infeasible 25 - 0.00000 - 289 255s 9229 126 0.00000 25 289 - 0.00000 - 290 260s 9389 126 0.00000 26 222 - 0.00000 - 290 265s 9573 118 infeasible 29 - 0.00000 - 291 270s 9757 104 0.00000 32 245 - 0.00000 - 291 275s 9932 101 infeasible 32 - 0.00000 - 291 280s 10115 102 infeasible 25 - 0.00000 - 291 285s 10266 85 infeasible 33 - 0.00000 - 292 290s 10439 86 0.00000 31 218 - 0.00000 - 292 295s Cutting planes: Clique: 4 Zero half: 16 Explored 10483 nodes (3108428 simplex iterations) in 296.34 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 22:25:33 2012 Optimize a model with 5254 rows, 1599 columns and 16134 nonzeros Presolve time: 0.01s Presolved: 5254 rows, 1599 columns, 16134 nonzeros Variable types: 0 continuous, 1599 integer (1599 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.00000 0 248 - 0.00000 - - 0s Explored 0 nodes (613 simplex iterations) in 0.03 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