current bounds on the number of colors: 0 -- 132 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:11:22 2012 Optimize a model with 56430 rows, 9565 columns and 177606 nonzeros Presolve time: 0.18s Presolved: 56430 rows, 9565 columns, 177606 nonzeros Variable types: 0 continuous, 9565 integer (9565 binary) Root relaxation: objective 0.000000e+00, 326 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 (606 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 -- 66 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:11:23 2012 Optimize a model with 28281 rows, 5209 columns and 88803 nonzeros Presolve time: 0.13s Presolved: 28281 rows, 5209 columns, 88803 nonzeros Variable types: 0 continuous, 5209 integer (5209 binary) Root relaxation: objective 0.000000e+00, 312 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 (592 simplex iterations) in 0.20 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 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:11:23 2012 Optimize a model with 13780 rows, 2965 columns and 43056 nonzeros Presolve time: 0.05s Presolved: 13780 rows, 2965 columns, 43056 nonzeros Variable types: 0 continuous, 2965 integer (2965 binary) Root relaxation: objective 0.000000e+00, 271 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 04:11:23 2012 Optimize a model with 6956 rows, 1909 columns and 21528 nonzeros Presolve time: 0.02s Presolved: 6956 rows, 1909 columns, 21528 nonzeros Variable types: 0 continuous, 1909 integer (1909 binary) Root relaxation: objective 0.000000e+00, 290 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 (829 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 04:11:24 2012 Optimize a model with 3544 rows, 1381 columns and 10764 nonzeros Presolve time: 0.01s Presolved: 3544 rows, 1381 columns, 10764 nonzeros Variable types: 0 continuous, 1381 integer (1381 binary) Root relaxation: objective 0.000000e+00, 292 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 264 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 1s 0 0 0.00000 0 406 - 0.00000 - - 1s 0 0 0.00000 0 393 - 0.00000 - - 2s 0 0 0.00000 0 394 - 0.00000 - - 3s 0 0 0.00000 0 395 - 0.00000 - - 4s 0 0 0.00000 0 386 - 0.00000 - - 5s 0 0 0.00000 0 387 - 0.00000 - - 5s 0 0 0.00000 0 387 - 0.00000 - - 6s 0 2 0.00000 0 387 - 0.00000 - - 7s Cutting planes: Clique: 19 Zero half: 26 Explored 59 nodes (49269 simplex iterations) in 9.16 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: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:11:33 2012 Optimize a model with 5250 rows, 1645 columns and 16146 nonzeros Presolve time: 0.01s Presolved: 5250 rows, 1645 columns, 16146 nonzeros Variable types: 0 continuous, 1645 integer (1645 binary) Root relaxation: objective 0.000000e+00, 284 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 140 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2777 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:11:33 2012 Optimize a model with 4397 rows, 1513 columns and 13455 nonzeros Presolve time: 0.01s Presolved: 4397 rows, 1513 columns, 13455 nonzeros Variable types: 0 continuous, 1513 integer (1513 binary) Root relaxation: objective 0.000000e+00, 285 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 219 - 0.00000 - - 0s 0 0 0.00000 0 347 - 0.00000 - - 1s 0 0 0.00000 0 367 - 0.00000 - - 1s 0 0 0.00000 0 254 - 0.00000 - - 2s 0 0 0.00000 0 286 - 0.00000 - - 3s 0 0 0.00000 0 178 - 0.00000 - - 3s 0 0 0.00000 0 361 - 0.00000 - - 4s 0 0 0.00000 0 378 - 0.00000 - - 4s 0 0 0.00000 0 378 - 0.00000 - - 4s 0 2 0.00000 0 378 - 0.00000 - - 5s 630 82 0.00000 22 252 - 0.00000 - 108 10s 716 95 0.00000 25 350 - 0.00000 - 107 16s 719 97 0.00000 19 313 - 0.00000 - 106 20s 723 100 0.00000 19 275 - 0.00000 - 106 26s 727 103 0.00000 24 321 - 0.00000 - 105 30s 927 114 0.00000 36 221 - 0.00000 - 183 35s 1244 112 infeasible 31 - 0.00000 - 188 40s 1531 133 0.00000 31 236 - 0.00000 - 195 45s 1777 109 infeasible 34 - 0.00000 - 204 50s 2022 84 0.00000 35 279 - 0.00000 - 211 55s 2285 99 infeasible 35 - 0.00000 - 215 60s 2539 83 0.00000 33 302 - 0.00000 - 218 65s 2788 76 infeasible 31 - 0.00000 - 221 70s 3042 78 0.00000 27 314 - 0.00000 - 224 75s 3290 86 0.00000 29 270 - 0.00000 - 226 80s 3554 84 0.00000 31 302 - 0.00000 - 228 85s 3808 94 infeasible 37 - 0.00000 - 230 90s 4065 93 infeasible 40 - 0.00000 - 232 95s 4359 127 infeasible 38 - 0.00000 - 231 100s 4625 111 0.00000 35 276 - 0.00000 - 233 105s 4933 111 0.00000 35 237 - 0.00000 - 232 110s 5183 105 0.00000 32 288 - 0.00000 - 233 115s 5458 96 infeasible 33 - 0.00000 - 234 120s 5695 107 0.00000 34 232 - 0.00000 - 235 125s 5954 114 infeasible 40 - 0.00000 - 235 130s 6217 101 infeasible 33 - 0.00000 - 236 135s 6449 111 infeasible 37 - 0.00000 - 237 140s 6700 112 0.00000 33 252 - 0.00000 - 237 145s 6946 112 0.00000 33 253 - 0.00000 - 238 150s 7169 99 infeasible 32 - 0.00000 - 239 155s 7408 100 0.00000 38 277 - 0.00000 - 240 160s 7659 97 0.00000 36 210 - 0.00000 - 240 165s 7956 84 infeasible 32 - 0.00000 - 240 170s 8180 76 0.00000 34 222 - 0.00000 - 241 175s 8440 80 0.00000 34 208 - 0.00000 - 241 180s 8690 104 0.00000 33 282 - 0.00000 - 242 185s 8898 80 infeasible 33 - 0.00000 - 243 190s 9147 77 0.00000 36 228 - 0.00000 - 243 195s 9383 79 0.00000 38 258 - 0.00000 - 243 200s 9587 81 0.00000 34 249 - 0.00000 - 244 205s 9863 83 0.00000 32 224 - 0.00000 - 244 210s 10154 78 0.00000 36 300 - 0.00000 - 244 215s 10406 72 infeasible 36 - 0.00000 - 244 220s 10658 78 0.00000 35 272 - 0.00000 - 244 225s 10911 101 infeasible 39 - 0.00000 - 244 230s 11176 78 infeasible 41 - 0.00000 - 245 235s 11424 78 0.00000 37 212 - 0.00000 - 245 240s 11652 78 0.00000 34 242 - 0.00000 - 245 245s 11912 88 infeasible 36 - 0.00000 - 246 250s 12177 91 0.00000 33 309 - 0.00000 - 245 255s 12412 86 0.00000 34 283 - 0.00000 - 246 260s 12664 94 0.00000 31 298 - 0.00000 - 246 265s 12935 89 0.00000 32 283 - 0.00000 - 245 270s 13185 97 infeasible 42 - 0.00000 - 245 275s 13433 93 0.00000 37 279 - 0.00000 - 246 280s 13673 93 infeasible 32 - 0.00000 - 246 285s Cutting planes: Clique: 4 Zero half: 13 Explored 13791 nodes (3421332 simplex iterations) in 287.39 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