current bounds on the number of colors: 0 -- 142 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:46:19 2012 Optimize a model with 73130 rows, 11110 columns and 229046 nonzeros Presolve time: 0.20s Presolved: 73130 rows, 11110 columns, 229046 nonzeros Variable types: 0 continuous, 11110 integer (11110 binary) Root relaxation: objective 0.000000e+00, 357 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 (776 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 -- 71 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:46:20 2012 Optimize a model with 36122 rows, 5998 columns and 112910 nonzeros Presolve time: 0.16s Presolved: 36122 rows, 5998 columns, 112910 nonzeros Variable types: 0 continuous, 5998 integer (5998 binary) Root relaxation: objective 0.000000e+00, 345 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 (746 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:46:21 2012 Optimize a model with 17618 rows, 3442 columns and 54842 nonzeros Presolve time: 0.06s Presolved: 17618 rows, 3442 columns, 54842 nonzeros Variable types: 0 continuous, 3442 integer (3442 binary) Root relaxation: objective 0.000000e+00, 410 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 (817 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:46:21 2012 Optimize a model with 8366 rows, 2164 columns and 25808 nonzeros Presolve time: 0.02s Presolved: 8366 rows, 2164 columns, 25808 nonzeros Variable types: 0 continuous, 2164 integer (2164 binary) Root relaxation: objective 0.000000e+00, 295 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 (1167 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:46:21 2012 Optimize a model with 4254 rows, 1596 columns and 12904 nonzeros Presolve time: 0.01s Presolved: 4254 rows, 1596 columns, 12904 nonzeros Variable types: 0 continuous, 1596 integer (1596 binary) Root relaxation: objective 0.000000e+00, 297 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 188 - 0.00000 - - 0s 0 0 0.00000 0 184 - 0.00000 - - 0s 0 0 0.00000 0 465 - 0.00000 - - 1s 0 0 0.00000 0 468 - 0.00000 - - 1s 0 0 0.00000 0 456 - 0.00000 - - 2s 0 0 0.00000 0 460 - 0.00000 - - 3s 0 0 0.00000 0 461 - 0.00000 - - 4s 0 0 0.00000 0 445 - 0.00000 - - 5s 0 0 0.00000 0 461 - 0.00000 - - 6s 0 0 0.00000 0 461 - 0.00000 - - 6s 0 2 0.00000 0 461 - 0.00000 - - 8s Cutting planes: Clique: 15 Zero half: 10 Explored 7 nodes (42139 simplex iterations) in 8.45 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:46:30 2012 Optimize a model with 6310 rows, 1880 columns and 19356 nonzeros Presolve time: 0.02s Presolved: 6310 rows, 1880 columns, 19356 nonzeros Variable types: 0 continuous, 1880 integer (1880 binary) Root relaxation: objective 0.000000e+00, 297 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 258 - 0.00000 - - 0s 0 0 0.00000 0 239 - 0.00000 - - 1s 0 0 0.00000 0 334 - 0.00000 - - 2s 0 0 0.00000 0 190 - 0.00000 - - 2s 0 0 0.00000 0 298 - 0.00000 - - 3s 0 0 0.00000 0 377 - 0.00000 - - 4s 0 0 0.00000 0 377 - 0.00000 - - 4s * 0 0 0 0.0000000 0.00000 0.0% - 5s Cutting planes: Clique: 2 Zero half: 9 Explored 1 nodes (33818 simplex iterations) in 5.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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:46:35 2012 Optimize a model with 5282 rows, 1738 columns and 16130 nonzeros Presolve time: 0.01s Presolved: 5282 rows, 1738 columns, 16130 nonzeros Variable types: 0 continuous, 1738 integer (1738 binary) Root relaxation: objective 0.000000e+00, 295 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 278 - 0.00000 - - 0s 0 0 0.00000 0 136 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 2s 0 0 0.00000 0 397 - 0.00000 - - 2s 0 0 0.00000 0 218 - 0.00000 - - 3s 0 0 0.00000 0 257 - 0.00000 - - 4s 0 0 0.00000 0 340 - 0.00000 - - 5s 0 0 0.00000 0 332 - 0.00000 - - 6s 0 0 0.00000 0 332 - 0.00000 - - 7s 0 0 0.00000 0 358 - 0.00000 - - 8s 0 0 0.00000 0 358 - 0.00000 - - 8s 0 2 0.00000 0 358 - 0.00000 - - 9s 8 8 0.00000 7 359 - 0.00000 - 549 10s 336 37 infeasible 26 - 0.00000 - 165 15s 611 50 0.00000 16 364 - 0.00000 - 153 20s 614 52 0.00000 19 352 - 0.00000 - 152 25s 616 54 0.00000 18 353 - 0.00000 - 152 30s 619 56 0.00000 20 324 - 0.00000 - 151 36s 680 52 infeasible 27 - 0.00000 - 227 40s 815 12 infeasible 25 - 0.00000 - 246 45s 956 31 0.00000 29 313 - 0.00000 - 257 50s 1089 36 infeasible 32 - 0.00000 - 264 55s 1209 40 0.00000 34 323 - 0.00000 - 274 60s 1339 52 infeasible 35 - 0.00000 - 281 65s 1464 51 infeasible 32 - 0.00000 - 289 70s 1604 51 0.00000 27 337 - 0.00000 - 293 75s 1716 39 infeasible 33 - 0.00000 - 300 80s 1837 38 0.00000 23 372 - 0.00000 - 305 85s 1951 44 0.00000 28 326 - 0.00000 - 310 90s 2059 40 0.00000 31 324 - 0.00000 - 316 95s 2204 43 0.00000 29 330 - 0.00000 - 316 100s 2327 36 infeasible 28 - 0.00000 - 318 105s 2459 48 0.00000 34 297 - 0.00000 - 319 110s 2578 41 infeasible 33 - 0.00000 - 322 115s 2705 44 infeasible 30 - 0.00000 - 324 120s 2836 43 0.00000 34 335 - 0.00000 - 325 125s 2975 54 infeasible 29 - 0.00000 - 325 130s 3096 61 infeasible 32 - 0.00000 - 328 135s 3212 57 0.00000 26 345 - 0.00000 - 330 140s 3338 57 infeasible 33 - 0.00000 - 331 145s 3451 54 infeasible 30 - 0.00000 - 334 150s 3572 53 infeasible 32 - 0.00000 - 335 155s 3708 55 infeasible 34 - 0.00000 - 336 160s 3848 51 infeasible 32 - 0.00000 - 336 165s 3967 60 0.00000 32 341 - 0.00000 - 337 170s 4082 55 infeasible 36 - 0.00000 - 338 175s 4204 51 0.00000 31 347 - 0.00000 - 339 180s 4321 46 0.00000 29 351 - 0.00000 - 341 185s 4447 54 infeasible 36 - 0.00000 - 341 190s 4567 44 0.00000 20 377 - 0.00000 - 341 195s 4698 65 0.00000 31 351 - 0.00000 - 342 200s 4829 70 infeasible 38 - 0.00000 - 342 205s 4948 55 0.00000 30 337 - 0.00000 - 343 210s 5080 59 0.00000 35 335 - 0.00000 - 343 215s 5203 56 infeasible 32 - 0.00000 - 344 220s 5338 51 0.00000 28 350 - 0.00000 - 344 225s 5472 55 infeasible 33 - 0.00000 - 344 230s 5592 61 0.00000 32 337 - 0.00000 - 344 235s 5709 62 0.00000 33 336 - 0.00000 - 345 240s 5825 70 infeasible 32 - 0.00000 - 345 245s 5941 72 infeasible 36 - 0.00000 - 346 250s 6047 64 0.00000 27 335 - 0.00000 - 347 255s 6172 67 0.00000 31 322 - 0.00000 - 347 260s 6290 63 infeasible 33 - 0.00000 - 348 265s 6405 64 infeasible 32 - 0.00000 - 349 270s 6536 71 0.00000 30 342 - 0.00000 - 349 275s 6655 74 infeasible 32 - 0.00000 - 349 280s Cutting planes: Clique: 8 Zero half: 10 Explored 6689 nodes (2387054 simplex iterations) in 281.95 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