current bounds on the number of colors: 0 -- 147 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:58:00 2012 Optimize a model with 81323 rows, 11843 columns and 254259 nonzeros Presolve time: 0.23s Presolved: 81323 rows, 11843 columns, 254259 nonzeros Variable types: 0 continuous, 11843 integer (11843 binary) Root relaxation: objective 0.000000e+00, 357 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 (788 simplex iterations) in 0.44 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 -- 73 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:58:01 2012 Optimize a model with 40179 rows, 6404 columns and 125388 nonzeros Presolve time: 0.15s Presolved: 40179 rows, 6404 columns, 125388 nonzeros Variable types: 0 continuous, 6404 integer (6404 binary) Root relaxation: objective 0.000000e+00, 446 iterations, 0.05 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 (854 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:58:02 2012 Optimize a model with 20163 rows, 3758 columns and 62694 nonzeros Presolve time: 0.07s Presolved: 20163 rows, 3758 columns, 62694 nonzeros Variable types: 0 continuous, 3758 integer (3758 binary) Root relaxation: objective 0.000000e+00, 407 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 (828 simplex iterations) in 0.13 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 15:58:02 2012 Optimize a model with 10155 rows, 2435 columns and 31347 nonzeros Presolve time: 0.03s Presolved: 10155 rows, 2435 columns, 31347 nonzeros Variable types: 0 continuous, 2435 integer (2435 binary) Root relaxation: objective 0.000000e+00, 324 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 (1387 simplex iterations) in 0.09 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 15:58:02 2012 Optimize a model with 4595 rows, 1700 columns and 13932 nonzeros Presolve time: 0.01s Presolved: 4595 rows, 1700 columns, 13932 nonzeros Variable types: 0 continuous, 1700 integer (1700 binary) Root relaxation: objective 0.000000e+00, 311 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 290 - 0.00000 - - 0s 0 0 0.00000 0 281 - 0.00000 - - 0s 0 0 0.00000 0 500 - 0.00000 - - 1s 0 0 0.00000 0 494 - 0.00000 - - 2s 0 0 0.00000 0 501 - 0.00000 - - 2s 0 0 0.00000 0 485 - 0.00000 - - 3s 0 0 0.00000 0 490 - 0.00000 - - 4s 0 0 0.00000 0 485 - 0.00000 - - 5s 0 0 0.00000 0 480 - 0.00000 - - 7s 0 0 0.00000 0 487 - 0.00000 - - 8s 0 0 0.00000 0 474 - 0.00000 - - 9s 0 0 0.00000 0 492 - 0.00000 - - 9s 0 0 0.00000 0 483 - 0.00000 - - 10s 0 2 0.00000 0 483 - 0.00000 - - 11s Cutting planes: Clique: 27 Zero half: 12 Explored 7 nodes (61552 simplex iterations) in 12.35 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 15:58:15 2012 Optimize a model with 6819 rows, 1994 columns and 20898 nonzeros Presolve time: 0.02s Presolved: 6819 rows, 1994 columns, 20898 nonzeros Variable types: 0 continuous, 1994 integer (1994 binary) Root relaxation: objective 0.000000e+00, 300 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 329 - 0.00000 - - 0s 0 0 0.00000 0 244 - 0.00000 - - 1s 0 0 0.00000 0 376 - 0.00000 - - 1s 0 0 0.00000 0 246 - 0.00000 - - 2s 0 0 0.00000 0 244 - 0.00000 - - 3s 0 0 0.00000 0 240 - 0.00000 - - 3s 0 0 0.00000 0 228 - 0.00000 - - 4s 0 0 0.00000 0 230 - 0.00000 - - 4s 0 0 0.00000 0 218 - 0.00000 - - 5s 0 0 0.00000 0 212 - 0.00000 - - 5s 0 0 0.00000 0 212 - 0.00000 - - 6s 0 0 0.00000 0 208 - 0.00000 - - 6s 0 0 0.00000 0 210 - 0.00000 - - 6s 0 0 0.00000 0 204 - 0.00000 - - 7s 0 0 0.00000 0 188 - 0.00000 - - 7s 0 0 0.00000 0 236 - 0.00000 - - 7s 0 0 0.00000 0 132 - 0.00000 - - 8s 0 2 0.00000 0 130 - 0.00000 - - 10s 610 120 0.00000 41 244 - 0.00000 - 66.6 15s 614 123 0.00000 49 301 - 0.00000 - 66.2 21s 617 125 0.00000 12 317 - 0.00000 - 65.8 26s 620 127 0.00000 5 383 - 0.00000 - 65.5 30s * 763 80 49 0.0000000 0.00000 0.0% 156 33s Cutting planes: Clique: 3 Zero half: 13 Explored 764 nodes (181796 simplex iterations) in 33.91 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 15:58:49 2012 Optimize a model with 5707 rows, 1847 columns and 17415 nonzeros Presolve time: 0.02s Presolved: 5707 rows, 1847 columns, 17415 nonzeros Variable types: 0 continuous, 1847 integer (1847 binary) Root relaxation: objective 0.000000e+00, 300 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 292 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 2s 0 0 0.00000 0 430 - 0.00000 - - 2s 0 0 0.00000 0 364 - 0.00000 - - 4s 0 0 0.00000 0 223 - 0.00000 - - 6s 0 0 0.00000 0 214 - 0.00000 - - 7s 0 0 0.00000 0 349 - 0.00000 - - 8s 0 0 0.00000 0 225 - 0.00000 - - 9s 0 0 0.00000 0 210 - 0.00000 - - 11s 0 0 0.00000 0 333 - 0.00000 - - 12s 0 0 0.00000 0 330 - 0.00000 - - 13s 0 0 0.00000 0 307 - 0.00000 - - 14s 0 0 0.00000 0 317 - 0.00000 - - 16s 0 0 0.00000 0 317 - 0.00000 - - 17s 0 2 0.00000 0 317 - 0.00000 - - 18s 19 17 0.00000 13 375 - 0.00000 - 479 20s 211 42 0.00000 17 354 - 0.00000 - 213 25s 453 48 infeasible 18 - 0.00000 - 198 30s 645 49 0.00000 17 357 - 0.00000 - 204 35s 803 61 0.00000 12 308 - 0.00000 - 206 41s 805 63 0.00000 5 361 - 0.00000 - 205 47s 806 63 0.00000 12 360 - 0.00000 - 205 50s 808 65 0.00000 12 354 - 0.00000 - 205 56s 810 66 0.00000 11 346 - 0.00000 - 204 61s 812 67 0.00000 17 344 - 0.00000 - 204 65s 814 69 0.00000 11 354 - 0.00000 - 203 70s 816 70 0.00000 5 347 - 0.00000 - 203 75s 820 73 0.00000 6 348 - 0.00000 - 202 80s 874 77 0.00000 28 355 - 0.00000 - 305 85s 953 49 0.00000 25 378 - 0.00000 - 321 90s 1052 49 0.00000 31 386 - 0.00000 - 325 95s 1133 48 infeasible 34 - 0.00000 - 337 100s 1224 53 infeasible 34 - 0.00000 - 345 105s 1319 56 0.00000 34 388 - 0.00000 - 351 110s 1413 58 0.00000 28 359 - 0.00000 - 355 115s 1496 67 0.00000 29 364 - 0.00000 - 362 120s 1580 61 infeasible 31 - 0.00000 - 369 125s 1663 60 0.00000 30 380 - 0.00000 - 374 130s 1747 54 0.00000 29 379 - 0.00000 - 378 135s 1829 52 infeasible 28 - 0.00000 - 383 140s 1913 60 infeasible 34 - 0.00000 - 386 145s 2004 61 0.00000 31 357 - 0.00000 - 387 150s 2101 68 infeasible 33 - 0.00000 - 388 155s 2197 68 0.00000 27 359 - 0.00000 - 389 160s 2289 81 infeasible 30 - 0.00000 - 390 165s 2373 83 0.00000 27 377 - 0.00000 - 393 170s 2462 84 0.00000 27 390 - 0.00000 - 395 175s 2555 91 0.00000 28 368 - 0.00000 - 396 180s 2635 81 0.00000 30 373 - 0.00000 - 399 185s 2720 74 infeasible 31 - 0.00000 - 401 190s 2819 89 0.00000 33 337 - 0.00000 - 401 195s 2911 83 infeasible 30 - 0.00000 - 403 200s 3000 86 infeasible 28 - 0.00000 - 404 205s 3075 85 infeasible 32 - 0.00000 - 407 210s 3151 85 infeasible 34 - 0.00000 - 409 215s 3233 83 0.00000 24 376 - 0.00000 - 411 220s 3318 82 0.00000 34 369 - 0.00000 - 412 225s 3416 76 infeasible 30 - 0.00000 - 412 230s 3504 70 infeasible 28 - 0.00000 - 412 235s 3608 80 infeasible 37 - 0.00000 - 411 240s 3683 75 infeasible 32 - 0.00000 - 414 245s Cutting planes: Clique: 6 Zero half: 12 Explored 3755 nodes (1642142 simplex iterations) in 249.09 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