current bounds on the number of colors: 0 -- 126 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:30:05 2012 Optimize a model with 50463 rows, 8737 columns and 158949 nonzeros Presolve time: 0.17s Presolved: 50463 rows, 8737 columns, 158949 nonzeros Variable types: 0 continuous, 8737 integer (8737 binary) Root relaxation: objective 0.000000e+00, 340 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 (692 simplex iterations) in 0.30 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 -- 63 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:30:06 2012 Optimize a model with 24895 rows, 4705 columns and 78213 nonzeros Presolve time: 0.11s Presolved: 24895 rows, 4705 columns, 78213 nonzeros Variable types: 0 continuous, 4705 integer (4705 binary) Root relaxation: objective 0.000000e+00, 303 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 (568 simplex iterations) in 0.17 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 23:30:06 2012 Optimize a model with 12111 rows, 2689 columns and 37845 nonzeros Presolve time: 0.04s Presolved: 12111 rows, 2689 columns, 37845 nonzeros Variable types: 0 continuous, 2689 integer (2689 binary) Root relaxation: objective 0.000000e+00, 262 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 (664 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 23:30:07 2012 Optimize a model with 5719 rows, 1681 columns and 17661 nonzeros Presolve time: 0.02s Presolved: 5719 rows, 1681 columns, 17661 nonzeros Variable types: 0 continuous, 1681 integer (1681 binary) Root relaxation: objective 0.000000e+00, 265 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 (762 simplex iterations) in 0.04 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 23:30:07 2012 Optimize a model with 2523 rows, 1177 columns and 7569 nonzeros Presolve time: 0.01s Presolved: 2523 rows, 1177 columns, 7569 nonzeros Variable types: 0 continuous, 1177 integer (1177 binary) Root relaxation: objective 0.000000e+00, 270 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 252 - 0.00000 - - 0s 0 0 0.00000 0 250 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4315 simplex iterations) in 0.52 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 23:30:07 2012 Optimize a model with 4121 rows, 1429 columns and 12615 nonzeros Presolve time: 0.01s Presolved: 4121 rows, 1429 columns, 12615 nonzeros Variable types: 0 continuous, 1429 integer (1429 binary) Root relaxation: objective 0.000000e+00, 287 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.00000 0 316 - 0.00000 - - 0s 0 0 0.00000 0 204 - 0.00000 - - 1s 0 0 0.00000 0 373 - 0.00000 - - 1s 0 0 0.00000 0 188 - 0.00000 - - 1s 0 0 0.00000 0 176 - 0.00000 - - 2s 0 0 0.00000 0 195 - 0.00000 - - 2s 0 0 0.00000 0 246 - 0.00000 - - 2s 0 0 0.00000 0 284 - 0.00000 - - 3s 0 0 0.00000 0 323 - 0.00000 - - 4s 0 0 0.00000 0 323 - 0.00000 - - 4s 0 2 0.00000 0 323 - 0.00000 - - 4s 8 8 0.00000 6 298 - 0.00000 - 383 5s 903 77 0.00000 16 204 - 0.00000 - 89.0 10s 908 81 0.00000 17 297 - 0.00000 - 88.5 16s 912 83 0.00000 17 277 - 0.00000 - 88.1 20s 921 89 0.00000 13 256 - 0.00000 - 134 25s 1110 79 0.00000 31 210 - 0.00000 - 144 30s 1505 63 infeasible 31 - 0.00000 - 156 35s 1817 113 0.00000 27 266 - 0.00000 - 167 40s 2121 119 infeasible 32 - 0.00000 - 177 45s 2388 142 0.00000 25 242 - 0.00000 - 185 50s 2708 160 infeasible 31 - 0.00000 - 190 55s 3030 150 0.00000 24 219 - 0.00000 - 195 60s 3325 145 infeasible 29 - 0.00000 - 200 65s 3637 151 infeasible 30 - 0.00000 - 203 70s 3958 152 0.00000 26 255 - 0.00000 - 205 75s 4244 138 infeasible 27 - 0.00000 - 209 80s 4527 117 0.00000 24 269 - 0.00000 - 211 85s 4831 111 infeasible 30 - 0.00000 - 213 90s 5119 103 infeasible 24 - 0.00000 - 214 95s 5401 87 infeasible 32 - 0.00000 - 216 100s 5690 76 infeasible 30 - 0.00000 - 218 105s 5960 78 0.00000 34 225 - 0.00000 - 220 110s 6247 83 infeasible 29 - 0.00000 - 222 115s 6516 90 infeasible 30 - 0.00000 - 223 120s 6829 101 infeasible 31 - 0.00000 - 224 125s 7120 100 0.00000 32 226 - 0.00000 - 225 130s 7391 93 infeasible 33 - 0.00000 - 226 135s 7679 91 infeasible 30 - 0.00000 - 227 140s 7929 101 infeasible 30 - 0.00000 - 228 145s 8182 92 0.00000 26 265 - 0.00000 - 230 150s 8447 91 0.00000 34 214 - 0.00000 - 231 155s 8743 93 0.00000 29 283 - 0.00000 - 231 160s 9028 94 0.00000 27 282 - 0.00000 - 232 165s 9282 86 infeasible 32 - 0.00000 - 233 170s 9555 71 0.00000 32 289 - 0.00000 - 233 175s 9834 78 0.00000 29 216 - 0.00000 - 234 180s 10106 88 0.00000 29 262 - 0.00000 - 235 185s 10368 94 infeasible 31 - 0.00000 - 235 190s 10633 85 infeasible 31 - 0.00000 - 236 195s 10934 80 0.00000 28 265 - 0.00000 - 236 200s 11206 72 infeasible 33 - 0.00000 - 237 205s 11473 67 infeasible 33 - 0.00000 - 237 210s 11739 71 infeasible 30 - 0.00000 - 238 215s 12005 61 0.00000 27 303 - 0.00000 - 238 220s 12282 82 0.00000 23 279 - 0.00000 - 238 225s 12569 95 infeasible 34 - 0.00000 - 238 230s 12828 70 0.00000 22 267 - 0.00000 - 239 235s 13087 71 0.00000 27 210 - 0.00000 - 240 240s 13384 60 infeasible 27 - 0.00000 - 240 245s 13651 63 0.00000 33 210 - 0.00000 - 240 250s 13884 56 infeasible 30 - 0.00000 - 241 255s 14160 60 infeasible 31 - 0.00000 - 241 260s 14408 72 0.00000 29 268 - 0.00000 - 242 265s 14662 66 0.00000 31 274 - 0.00000 - 242 270s 14917 67 infeasible 31 - 0.00000 - 243 275s 15187 61 infeasible 32 - 0.00000 - 243 280s 15473 61 0.00000 23 306 - 0.00000 - 243 285s 15735 53 infeasible 27 - 0.00000 - 243 290s 15996 58 infeasible 27 - 0.00000 - 244 295s Cutting planes: Clique: 1 Zero half: 12 Explored 16067 nodes (3955484 simplex iterations) in 296.67 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 23:35:04 2012 Optimize a model with 4920 rows, 1555 columns and 15138 nonzeros Presolve time: 0.01s Presolved: 4920 rows, 1555 columns, 15138 nonzeros Variable types: 0 continuous, 1555 integer (1555 binary) Root relaxation: objective 0.000000e+00, 266 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 252 - 0.00000 - - 0s Explored 0 nodes (780 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