current bounds on the number of colors: 0 -- 131 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:26:21 2012 Optimize a model with 55836 rows, 9372 columns and 175630 nonzeros Presolve time: 0.17s Presolved: 55836 rows, 9372 columns, 175630 nonzeros Variable types: 0 continuous, 9372 integer (9372 binary) Root relaxation: objective 0.000000e+00, 337 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 (824 simplex iterations) in 0.36 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 -- 65 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:26:22 2012 Optimize a model with 27555 rows, 5049 columns and 86464 nonzeros Presolve time: 0.12s Presolved: 27555 rows, 5049 columns, 86464 nonzeros Variable types: 0 continuous, 5049 integer (5049 binary) Root relaxation: objective 0.000000e+00, 319 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 (654 simplex iterations) in 0.19 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:26:23 2012 Optimize a model with 13843 rows, 2953 columns and 43232 nonzeros Presolve time: 0.05s Presolved: 13843 rows, 2953 columns, 43232 nonzeros Variable types: 0 continuous, 2953 integer (2953 binary) Root relaxation: objective 0.000000e+00, 270 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 (537 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:26:23 2012 Optimize a model with 6987 rows, 1905 columns and 21616 nonzeros Presolve time: 0.02s Presolved: 6987 rows, 1905 columns, 21616 nonzeros Variable types: 0 continuous, 1905 integer (1905 binary) Root relaxation: objective 0.000000e+00, 281 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 (864 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:26:23 2012 Optimize a model with 3559 rows, 1381 columns and 10808 nonzeros Presolve time: 0.01s Presolved: 3559 rows, 1381 columns, 10808 nonzeros Variable types: 0 continuous, 1381 integer (1381 binary) Root relaxation: objective 0.000000e+00, 283 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 262 - 0.00000 - - 0s 0 0 0.00000 0 252 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4529 simplex iterations) in 0.53 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: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:26:24 2012 Optimize a model with 5273 rows, 1643 columns and 16212 nonzeros Presolve time: 0.01s Presolved: 5273 rows, 1643 columns, 16212 nonzeros Variable types: 0 continuous, 1643 integer (1643 binary) Root relaxation: objective 0.000000e+00, 272 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 246 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 3 Clique: 307 MIR: 11 Zero half: 359 Explored 0 nodes (2830 simplex iterations) in 0.26 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:26:24 2012 Optimize a model with 4416 rows, 1512 columns and 13510 nonzeros Presolve time: 0.01s Presolved: 4416 rows, 1512 columns, 13510 nonzeros Variable types: 0 continuous, 1512 integer (1512 binary) Root relaxation: objective 0.000000e+00, 273 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 262 - 0.00000 - - 0s 0 0 0.00000 0 224 - 0.00000 - - 0s 0 0 0.00000 0 333 - 0.00000 - - 1s 0 0 0.00000 0 340 - 0.00000 - - 1s 0 0 0.00000 0 322 - 0.00000 - - 1s 0 0 0.00000 0 324 - 0.00000 - - 2s 0 0 0.00000 0 331 - 0.00000 - - 3s 0 0 0.00000 0 331 - 0.00000 - - 3s 0 2 0.00000 0 331 - 0.00000 - - 4s 50 30 infeasible 24 - 0.00000 - 229 5s 725 41 infeasible 35 - 0.00000 - 107 10s 907 61 0.00000 25 316 - 0.00000 - 107 15s 910 63 0.00000 13 325 - 0.00000 - 106 20s 914 66 0.00000 30 329 - 0.00000 - 106 25s 1043 74 infeasible 31 - 0.00000 - 155 30s 1251 51 0.00000 32 292 - 0.00000 - 177 35s 1470 46 0.00000 24 311 - 0.00000 - 190 40s 1727 99 infeasible 30 - 0.00000 - 196 45s 1970 112 infeasible 36 - 0.00000 - 202 50s 2195 87 0.00000 29 296 - 0.00000 - 208 55s 2393 77 infeasible 34 - 0.00000 - 215 60s 2601 77 0.00000 27 293 - 0.00000 - 220 65s 2820 74 infeasible 28 - 0.00000 - 223 70s 2999 65 infeasible 32 - 0.00000 - 229 75s 3201 65 infeasible 30 - 0.00000 - 232 80s 3431 95 0.00000 32 289 - 0.00000 - 233 85s 3653 123 infeasible 40 - 0.00000 - 235 90s 3861 121 0.00000 29 277 - 0.00000 - 236 95s 4055 127 infeasible 28 - 0.00000 - 239 100s 4259 131 infeasible 35 - 0.00000 - 241 105s 4476 130 0.00000 24 278 - 0.00000 - 242 110s 4697 125 infeasible 29 - 0.00000 - 243 115s 4922 128 infeasible 29 - 0.00000 - 244 120s 5163 123 0.00000 26 299 - 0.00000 - 244 125s 5380 126 0.00000 26 290 - 0.00000 - 245 130s 5610 122 infeasible 33 - 0.00000 - 245 135s 5827 135 infeasible 32 - 0.00000 - 246 140s 6063 123 0.00000 32 263 - 0.00000 - 246 145s 6284 118 infeasible 28 - 0.00000 - 247 150s 6486 152 0.00000 26 306 - 0.00000 - 247 155s 6706 156 infeasible 31 - 0.00000 - 248 160s 6956 156 infeasible 32 - 0.00000 - 247 165s 7181 163 0.00000 34 297 - 0.00000 - 248 170s 7426 162 infeasible 37 - 0.00000 - 248 175s 7643 155 0.00000 25 290 - 0.00000 - 248 180s 7849 155 0.00000 25 282 - 0.00000 - 249 185s 8034 150 0.00000 30 214 - 0.00000 - 250 190s 8235 149 0.00000 28 288 - 0.00000 - 251 195s 8424 156 infeasible 27 - 0.00000 - 252 200s 8615 147 0.00000 28 280 - 0.00000 - 253 205s 8827 153 0.00000 25 256 - 0.00000 - 253 210s 9033 145 infeasible 27 - 0.00000 - 254 215s 9229 161 infeasible 33 - 0.00000 - 255 220s 9429 155 infeasible 24 - 0.00000 - 255 225s 9619 167 infeasible 26 - 0.00000 - 256 230s 9810 166 infeasible 28 - 0.00000 - 257 235s 10013 157 0.00000 25 299 - 0.00000 - 257 240s 10231 155 infeasible 29 - 0.00000 - 257 245s 10414 158 infeasible 31 - 0.00000 - 258 250s 10627 145 infeasible 29 - 0.00000 - 259 255s 10853 165 infeasible 31 - 0.00000 - 259 260s 11076 166 infeasible 30 - 0.00000 - 259 265s 11291 171 0.00000 34 286 - 0.00000 - 259 270s 11467 147 0.00000 27 300 - 0.00000 - 260 275s 11675 139 0.00000 22 306 - 0.00000 - 261 280s 11886 170 infeasible 36 - 0.00000 - 261 285s 12089 165 infeasible 32 - 0.00000 - 261 290s 12278 164 0.00000 26 316 - 0.00000 - 262 295s Cutting planes: Clique: 10 Zero half: 14 Explored 12318 nodes (3248162 simplex iterations) in 295.93 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: 6