current bounds on the number of colors: 0 -- 149 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:54:09 2012 Optimize a model with 77479 rows, 12071 columns and 243016 nonzeros Presolve time: 0.22s Presolved: 77479 rows, 12071 columns, 243016 nonzeros Variable types: 0 continuous, 12071 integer (12071 binary) Root relaxation: objective 0.000000e+00, 369 iterations, 0.09 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 (793 simplex iterations) in 0.43 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 -- 74 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:54:11 2012 Optimize a model with 38814 rows, 6558 columns and 121508 nonzeros Presolve time: 0.15s Presolved: 38814 rows, 6558 columns, 121508 nonzeros Variable types: 0 continuous, 6558 integer (6558 binary) Root relaxation: objective 0.000000e+00, 430 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 (808 simplex iterations) in 0.24 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 -- 37 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:54:11 2012 Optimize a model with 18959 rows, 3727 columns and 59112 nonzeros Presolve time: 0.07s Presolved: 18959 rows, 3727 columns, 59112 nonzeros Variable types: 0 continuous, 3727 integer (3727 binary) Root relaxation: objective 0.000000e+00, 440 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 (899 simplex iterations) in 0.12 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:54:12 2012 Optimize a model with 9554 rows, 2386 columns and 29556 nonzeros Presolve time: 0.03s Presolved: 9554 rows, 2386 columns, 29556 nonzeros Variable types: 0 continuous, 2386 integer (2386 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1072 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:54:12 2012 Optimize a model with 4329 rows, 1641 columns and 13136 nonzeros Presolve time: 0.01s Presolved: 4329 rows, 1641 columns, 13136 nonzeros Variable types: 0 continuous, 1641 integer (1641 binary) Root relaxation: objective 0.000000e+00, 317 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 298 - 0.00000 - - 0s 0 0 0.00000 0 296 - 0.00000 - - 0s 0 0 0.00000 0 467 - 0.00000 - - 1s 0 0 0.00000 0 467 - 0.00000 - - 2s 0 0 0.00000 0 468 - 0.00000 - - 3s 0 0 0.00000 0 462 - 0.00000 - - 5s 0 0 0.00000 0 462 - 0.00000 - - 5s 0 0 0.00000 0 463 - 0.00000 - - 6s 0 0 0.00000 0 463 - 0.00000 - - 7s 0 2 0.00000 0 463 - 0.00000 - - 8s 22 0 infeasible 3 - infeasible - 536 10s Cutting planes: Clique: 16 Zero half: 14 Explored 23 nodes (45005 simplex iterations) in 10.02 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:54:22 2012 Optimize a model with 6419 rows, 1939 columns and 19704 nonzeros Presolve time: 0.02s Presolved: 6419 rows, 1939 columns, 19704 nonzeros Variable types: 0 continuous, 1939 integer (1939 binary) Root relaxation: objective 0.000000e+00, 330 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 280 - 0.00000 - - 0s 0 0 0.00000 0 258 - 0.00000 - - 0s 0 0 0.00000 0 296 - 0.00000 - - 1s 0 0 0.00000 0 373 - 0.00000 - - 1s 0 0 0.00000 0 273 - 0.00000 - - 2s H 0 0 0.0000000 0.00000 0.0% - 2s Explored 0 nodes (16083 simplex iterations) in 2.16 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 17:54:24 2012 Optimize a model with 5374 rows, 1790 columns and 16420 nonzeros Presolve time: 0.01s Presolved: 5374 rows, 1790 columns, 16420 nonzeros Variable types: 0 continuous, 1790 integer (1790 binary) Root relaxation: objective 0.000000e+00, 317 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 296 - 0.00000 - - 0s 0 0 0.00000 0 238 - 0.00000 - - 0s 0 0 0.00000 0 256 - 0.00000 - - 1s 0 0 0.00000 0 426 - 0.00000 - - 1s 0 0 0.00000 0 345 - 0.00000 - - 3s 0 0 0.00000 0 378 - 0.00000 - - 4s 0 0 0.00000 0 326 - 0.00000 - - 5s 0 0 0.00000 0 386 - 0.00000 - - 6s 0 0 0.00000 0 380 - 0.00000 - - 6s 0 2 0.00000 0 380 - 0.00000 - - 8s 88 34 0.00000 27 277 - 0.00000 - 237 10s 441 47 0.00000 12 358 - 0.00000 - 166 15s 604 74 0.00000 20 447 - 0.00000 - 168 20s 606 75 0.00000 18 342 - 0.00000 - 167 25s 608 77 0.00000 5 351 - 0.00000 - 167 30s 611 79 0.00000 15 338 - 0.00000 - 166 36s 712 92 0.00000 25 344 - 0.00000 - 239 40s 846 71 infeasible 29 - 0.00000 - 258 45s 985 79 0.00000 27 354 - 0.00000 - 269 50s 1139 133 0.00000 20 324 - 0.00000 - 271 55s 1290 160 infeasible 27 - 0.00000 - 277 60s 1433 197 0.00000 27 358 - 0.00000 - 281 65s 1551 215 0.00000 20 262 - 0.00000 - 289 70s 1687 235 infeasible 28 - 0.00000 - 294 75s 1824 232 infeasible 31 - 0.00000 - 298 80s 1946 226 0.00000 27 334 - 0.00000 - 303 85s 2094 226 infeasible 28 - 0.00000 - 306 90s 2240 222 0.00000 26 362 - 0.00000 - 308 95s 2378 246 infeasible 29 - 0.00000 - 310 100s 2511 241 infeasible 33 - 0.00000 - 313 105s 2656 254 0.00000 28 335 - 0.00000 - 314 110s 2778 250 infeasible 28 - 0.00000 - 317 115s 2898 256 infeasible 34 - 0.00000 - 320 120s 3036 260 infeasible 34 - 0.00000 - 321 125s 3172 266 infeasible 35 - 0.00000 - 322 130s 3302 274 0.00000 28 284 - 0.00000 - 324 135s 3431 273 infeasible 33 - 0.00000 - 325 140s 3568 276 0.00000 27 347 - 0.00000 - 326 145s 3708 274 0.00000 25 266 - 0.00000 - 326 150s 3849 273 0.00000 28 344 - 0.00000 - 327 155s 3997 277 0.00000 28 338 - 0.00000 - 327 160s 4139 293 infeasible 32 - 0.00000 - 327 165s 4287 287 infeasible 31 - 0.00000 - 327 170s 4420 286 infeasible 36 - 0.00000 - 328 175s 4558 292 infeasible 30 - 0.00000 - 329 180s 4688 278 infeasible 30 - 0.00000 - 330 185s 4815 287 infeasible 30 - 0.00000 - 331 190s 4940 286 infeasible 36 - 0.00000 - 332 195s 5061 285 infeasible 32 - 0.00000 - 333 200s 5213 295 0.00000 28 320 - 0.00000 - 332 205s 5350 282 infeasible 28 - 0.00000 - 333 210s 5485 289 infeasible 36 - 0.00000 - 333 215s 5613 285 infeasible 30 - 0.00000 - 334 220s 5740 316 infeasible 39 - 0.00000 - 334 225s 5873 319 infeasible 33 - 0.00000 - 334 230s 6012 318 infeasible 36 - 0.00000 - 334 235s 6137 317 infeasible 36 - 0.00000 - 335 240s 6268 318 0.00000 29 305 - 0.00000 - 336 245s 6415 325 infeasible 34 - 0.00000 - 335 250s 6553 323 infeasible 32 - 0.00000 - 335 255s 6685 323 0.00000 24 350 - 0.00000 - 336 260s 6814 340 infeasible 34 - 0.00000 - 336 265s 6935 331 infeasible 30 - 0.00000 - 337 270s 7057 329 infeasible 34 - 0.00000 - 337 275s 7189 331 infeasible 43 - 0.00000 - 338 280s Cutting planes: Clique: 5 Zero half: 7 Explored 7283 nodes (2495287 simplex iterations) in 283.35 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