current bounds on the number of colors: 0 -- 141 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:01:18 2012 Optimize a model with 71471 rows, 10889 columns and 223860 nonzeros Presolve time: 0.19s Presolved: 71471 rows, 10889 columns, 223860 nonzeros Variable types: 0 continuous, 10889 integer (10889 binary) Root relaxation: objective 0.000000e+00, 347 iterations, 0.08 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 (760 simplex iterations) in 0.39 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 -- 70 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:01:19 2012 Optimize a model with 35806 rows, 5954 columns and 111930 nonzeros Presolve time: 0.16s Presolved: 35806 rows, 5954 columns, 111930 nonzeros Variable types: 0 continuous, 5954 integer (5954 binary) Root relaxation: objective 0.000000e+00, 431 iterations, 0.04 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 (807 simplex iterations) in 0.25 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:01:20 2012 Optimize a model with 17464 rows, 3416 columns and 54366 nonzeros Presolve time: 0.06s Presolved: 17464 rows, 3416 columns, 54366 nonzeros Variable types: 0 continuous, 3416 integer (3416 binary) Root relaxation: objective 0.000000e+00, 409 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 (798 simplex iterations) in 0.11 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:01:20 2012 Optimize a model with 8293 rows, 2147 columns and 25584 nonzeros Presolve time: 0.02s Presolved: 8293 rows, 2147 columns, 25584 nonzeros Variable types: 0 continuous, 2147 integer (2147 binary) Root relaxation: objective 0.000000e+00, 291 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 (1205 simplex iterations) in 0.08 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 11:01:20 2012 Optimize a model with 4217 rows, 1583 columns and 12792 nonzeros Presolve time: 0.01s Presolved: 4217 rows, 1583 columns, 12792 nonzeros Variable types: 0 continuous, 1583 integer (1583 binary) Root relaxation: objective 0.000000e+00, 310 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 282 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 0s 0 0 0.00000 0 468 - 0.00000 - - 1s 0 0 0.00000 0 469 - 0.00000 - - 1s 0 0 0.00000 0 448 - 0.00000 - - 2s 0 0 0.00000 0 444 - 0.00000 - - 3s 0 0 0.00000 0 434 - 0.00000 - - 5s 0 0 0.00000 0 449 - 0.00000 - - 5s 0 0 0.00000 0 445 - 0.00000 - - 6s 0 0 0.00000 0 444 - 0.00000 - - 7s 0 0 0.00000 0 433 - 0.00000 - - 7s 0 0 0.00000 0 433 - 0.00000 - - 9s 0 0 0.00000 0 431 - 0.00000 - - 10s 0 0 0.00000 0 429 - 0.00000 - - 11s 0 0 0.00000 0 428 - 0.00000 - - 12s 0 0 0.00000 0 431 - 0.00000 - - 13s 0 0 0.00000 0 431 - 0.00000 - - 13s 0 2 0.00000 0 431 - 0.00000 - - 14s 5 3 infeasible 4 - 0.00000 - 1049 15s Cutting planes: Clique: 13 Zero half: 12 Explored 9 nodes (65427 simplex iterations) in 15.10 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 11:01:36 2012 Optimize a model with 6255 rows, 1865 columns and 19188 nonzeros Presolve time: 0.02s Presolved: 6255 rows, 1865 columns, 19188 nonzeros Variable types: 0 continuous, 1865 integer (1865 binary) Root relaxation: objective 0.000000e+00, 307 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 230 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 13 Clique: 95 MIR: 1 Zero half: 88 Explored 0 nodes (6559 simplex iterations) in 0.79 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 11:01:37 2012 Optimize a model with 5236 rows, 1724 columns and 15990 nonzeros Presolve time: 0.01s Presolved: 5236 rows, 1724 columns, 15990 nonzeros Variable types: 0 continuous, 1724 integer (1724 binary) Root relaxation: objective 0.000000e+00, 296 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 276 - 0.00000 - - 0s 0 0 0.00000 0 186 - 0.00000 - - 0s 0 0 0.00000 0 238 - 0.00000 - - 1s 0 0 0.00000 0 440 - 0.00000 - - 2s 0 0 0.00000 0 303 - 0.00000 - - 3s 0 0 0.00000 0 334 - 0.00000 - - 4s 0 0 0.00000 0 224 - 0.00000 - - 5s 0 0 0.00000 0 340 - 0.00000 - - 6s 0 0 0.00000 0 340 - 0.00000 - - 8s 0 0 0.00000 0 340 - 0.00000 - - 8s 0 2 0.00000 0 340 - 0.00000 - - 9s 8 8 0.00000 6 357 - 0.00000 - 624 10s 358 34 infeasible 21 - 0.00000 - 166 15s 693 36 0.00000 24 317 - 0.00000 - 162 20s 1101 52 0.00000 5 186 - 0.00000 - 153 25s 1105 55 0.00000 13 297 - 0.00000 - 152 30s 1107 56 0.00000 22 348 - 0.00000 - 152 35s 1109 57 0.00000 5 256 - 0.00000 - 152 40s 1113 60 0.00000 5 299 - 0.00000 - 151 45s 1128 68 0.00000 23 337 - 0.00000 - 196 50s 1233 88 infeasible 36 - 0.00000 - 204 55s 1380 71 infeasible 37 - 0.00000 - 217 60s 1511 70 0.00000 28 328 - 0.00000 - 230 65s 1647 74 0.00000 29 325 - 0.00000 - 239 70s 1770 85 0.00000 31 335 - 0.00000 - 248 75s 1896 113 infeasible 33 - 0.00000 - 254 80s 2038 131 infeasible 31 - 0.00000 - 260 85s 2144 135 0.00000 29 336 - 0.00000 - 266 90s 2278 177 0.00000 34 341 - 0.00000 - 270 95s 2391 180 0.00000 21 332 - 0.00000 - 277 100s 2515 204 infeasible 36 - 0.00000 - 281 105s 2646 225 infeasible 33 - 0.00000 - 285 110s 2782 237 0.00000 33 318 - 0.00000 - 289 115s 2910 225 infeasible 30 - 0.00000 - 293 120s 3042 225 0.00000 35 320 - 0.00000 - 296 125s 3160 221 0.00000 32 352 - 0.00000 - 300 130s 3275 218 infeasible 35 - 0.00000 - 304 135s 3405 214 0.00000 30 335 - 0.00000 - 306 140s 3530 219 infeasible 35 - 0.00000 - 309 145s 3659 224 infeasible 35 - 0.00000 - 311 150s 3797 214 0.00000 31 329 - 0.00000 - 313 155s 3952 223 0.00000 37 312 - 0.00000 - 313 160s 4097 228 0.00000 32 316 - 0.00000 - 315 165s 4220 223 infeasible 37 - 0.00000 - 317 170s 4377 232 infeasible 42 - 0.00000 - 317 175s 4524 229 infeasible 38 - 0.00000 - 318 180s 4651 228 infeasible 29 - 0.00000 - 319 185s 4779 220 infeasible 32 - 0.00000 - 321 190s 4916 245 infeasible 36 - 0.00000 - 321 195s 5045 240 0.00000 28 349 - 0.00000 - 323 200s 5189 246 infeasible 34 - 0.00000 - 323 205s 5297 248 infeasible 32 - 0.00000 - 325 210s 5429 256 infeasible 34 - 0.00000 - 326 215s 5553 246 0.00000 32 350 - 0.00000 - 327 220s 5680 251 infeasible 40 - 0.00000 - 329 225s 5789 244 0.00000 31 320 - 0.00000 - 331 230s 5921 242 0.00000 30 340 - 0.00000 - 331 235s 6060 247 0.00000 31 331 - 0.00000 - 332 240s 6212 251 0.00000 32 344 - 0.00000 - 331 245s 6347 258 infeasible 32 - 0.00000 - 332 250s 6477 256 0.00000 33 307 - 0.00000 - 333 255s 6615 254 infeasible 34 - 0.00000 - 333 260s 6737 244 infeasible 27 - 0.00000 - 335 265s 6881 248 infeasible 36 - 0.00000 - 335 270s 6998 251 infeasible 38 - 0.00000 - 336 275s Cutting planes: Clique: 11 Zero half: 10 Explored 7122 nodes (2443542 simplex iterations) in 280.01 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