current bounds on the number of colors: 0 -- 146 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:24:28 2012 Optimize a model with 77088 rows, 11712 columns and 241484 nonzeros Presolve time: 0.22s Presolved: 77088 rows, 11712 columns, 241484 nonzeros Variable types: 0 continuous, 11712 integer (11712 binary) Root relaxation: objective 0.000000e+00, 393 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 (806 simplex iterations) in 0.42 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:24:29 2012 Optimize a model with 38090 rows, 6310 columns and 119088 nonzeros Presolve time: 0.15s Presolved: 38090 rows, 6310 columns, 119088 nonzeros Variable types: 0 continuous, 6310 integer (6310 binary) Root relaxation: objective 0.000000e+00, 456 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 (836 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:24:30 2012 Optimize a model with 19118 rows, 3682 columns and 59544 nonzeros Presolve time: 0.07s Presolved: 19118 rows, 3682 columns, 59544 nonzeros Variable types: 0 continuous, 3682 integer (3682 binary) Root relaxation: objective 0.000000e+00, 420 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 (824 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 15:24:30 2012 Optimize a model with 9632 rows, 2368 columns and 29772 nonzeros Presolve time: 0.03s Presolved: 9632 rows, 2368 columns, 29772 nonzeros Variable types: 0 continuous, 2368 integer (2368 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (655 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:24:30 2012 Optimize a model with 4362 rows, 1638 columns and 13232 nonzeros Presolve time: 0.01s Presolved: 4362 rows, 1638 columns, 13232 nonzeros Variable types: 0 continuous, 1638 integer (1638 binary) Root relaxation: objective 0.000000e+00, 325 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 224 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 0 0.00000 0 468 - 0.00000 - - 1s 0 0 0.00000 0 479 - 0.00000 - - 2s 0 0 0.00000 0 477 - 0.00000 - - 3s 0 0 0.00000 0 471 - 0.00000 - - 5s 0 0 0.00000 0 472 - 0.00000 - - 6s 0 0 0.00000 0 473 - 0.00000 - - 7s 0 0 0.00000 0 464 - 0.00000 - - 8s 0 0 0.00000 0 468 - 0.00000 - - 10s 0 0 0.00000 0 468 - 0.00000 - - 10s 0 2 0.00000 0 468 - 0.00000 - - 12s Cutting planes: Clique: 33 Zero half: 8 Explored 17 nodes (55194 simplex iterations) in 13.49 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:24:44 2012 Optimize a model with 6470 rows, 1930 columns and 19848 nonzeros Presolve time: 0.02s Presolved: 6470 rows, 1930 columns, 19848 nonzeros Variable types: 0 continuous, 1930 integer (1930 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 286 - 0.00000 - - 0s 0 0 0.00000 0 258 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 1s 0 0 0.00000 0 339 - 0.00000 - - 2s 0 0 0.00000 0 344 - 0.00000 - - 2s 0 0 0.00000 0 342 - 0.00000 - - 2s 0 0 0.00000 0 376 - 0.00000 - - 3s 0 0 0.00000 0 334 - 0.00000 - - 3s 0 0 0.00000 0 311 - 0.00000 - - 4s 0 0 0.00000 0 317 - 0.00000 - - 5s H 0 0 0.0000000 0.00000 0.0% - 5s Cutting planes: Clique: 6 Explored 0 nodes (32723 simplex iterations) in 5.58 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:24:50 2012 Optimize a model with 5416 rows, 1784 columns and 16540 nonzeros Presolve time: 0.01s Presolved: 5416 rows, 1784 columns, 16540 nonzeros Variable types: 0 continuous, 1784 integer (1784 binary) Root relaxation: objective 0.000000e+00, 309 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 244 - 0.00000 - - 0s 0 0 0.00000 0 426 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 2s 0 0 0.00000 0 409 - 0.00000 - - 2s 0 0 0.00000 0 403 - 0.00000 - - 3s 0 0 0.00000 0 393 - 0.00000 - - 4s 0 0 0.00000 0 389 - 0.00000 - - 5s 0 0 0.00000 0 386 - 0.00000 - - 6s 0 0 0.00000 0 391 - 0.00000 - - 6s 0 0 0.00000 0 404 - 0.00000 - - 7s 0 0 0.00000 0 367 - 0.00000 - - 8s 0 0 0.00000 0 341 - 0.00000 - - 9s 0 0 0.00000 0 335 - 0.00000 - - 10s 0 0 0.00000 0 338 - 0.00000 - - 12s 0 0 0.00000 0 338 - 0.00000 - - 12s 0 2 0.00000 0 338 - 0.00000 - - 13s 25 19 0.00000 16 359 - 0.00000 - 406 15s 313 26 infeasible 17 - 0.00000 - 195 20s 674 53 0.00000 24 330 - 0.00000 - 170 25s 705 54 0.00000 22 401 - 0.00000 - 168 32s 706 54 0.00000 8 393 - 0.00000 - 168 35s 708 56 0.00000 8 376 - 0.00000 - 167 40s 711 58 0.00000 14 375 - 0.00000 - 167 47s 712 58 0.00000 11 373 - 0.00000 - 167 50s 715 60 0.00000 8 295 - 0.00000 - 166 56s 717 62 0.00000 2 263 - 0.00000 - 165 61s 720 64 0.00000 14 346 - 0.00000 - 165 65s 732 70 0.00000 18 350 - 0.00000 - 262 70s 816 60 0.00000 25 345 - 0.00000 - 273 75s 917 37 infeasible 29 - 0.00000 - 287 80s 1016 72 0.00000 23 355 - 0.00000 - 293 85s 1131 73 0.00000 29 353 - 0.00000 - 303 90s 1246 84 0.00000 26 314 - 0.00000 - 310 95s 1355 91 infeasible 31 - 0.00000 - 315 100s 1466 90 infeasible 31 - 0.00000 - 320 105s 1578 86 0.00000 28 342 - 0.00000 - 326 110s 1700 90 0.00000 26 342 - 0.00000 - 329 115s 1809 85 0.00000 28 352 - 0.00000 - 332 120s 1933 95 infeasible 32 - 0.00000 - 333 125s 2045 95 0.00000 30 346 - 0.00000 - 336 130s 2147 103 0.00000 33 347 - 0.00000 - 341 135s 2245 91 infeasible 30 - 0.00000 - 346 140s 2353 101 0.00000 26 342 - 0.00000 - 349 145s 2470 104 0.00000 24 353 - 0.00000 - 350 150s 2598 104 infeasible 35 - 0.00000 - 350 155s 2714 132 0.00000 39 356 - 0.00000 - 352 160s 2824 146 infeasible 33 - 0.00000 - 353 165s 2921 139 infeasible 37 - 0.00000 - 357 170s 3032 126 infeasible 33 - 0.00000 - 358 175s 3144 122 0.00000 22 352 - 0.00000 - 360 180s 3271 125 infeasible 29 - 0.00000 - 359 185s 3390 122 infeasible 36 - 0.00000 - 360 190s 3503 131 infeasible 29 - 0.00000 - 361 195s 3610 130 0.00000 30 360 - 0.00000 - 363 200s 3719 121 0.00000 26 370 - 0.00000 - 364 205s 3842 128 infeasible 34 - 0.00000 - 364 210s 3956 124 infeasible 27 - 0.00000 - 365 215s 4058 116 infeasible 26 - 0.00000 - 367 220s 4173 121 infeasible 28 - 0.00000 - 367 225s 4300 144 infeasible 35 - 0.00000 - 367 230s 4419 143 infeasible 32 - 0.00000 - 368 235s 4540 150 infeasible 28 - 0.00000 - 369 240s 4661 153 infeasible 27 - 0.00000 - 369 245s 4779 147 0.00000 30 356 - 0.00000 - 370 250s 4905 147 0.00000 28 330 - 0.00000 - 370 255s 5027 137 infeasible 26 - 0.00000 - 370 260s 5151 135 infeasible 28 - 0.00000 - 370 265s 5269 131 infeasible 31 - 0.00000 - 370 270s 5383 131 infeasible 27 - 0.00000 - 371 275s Cutting planes: Clique: 3 Zero half: 16 Explored 5417 nodes (2066176 simplex iterations) in 276.53 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