current bounds on the number of colors: 0 -- 145 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:24:28 2012 Optimize a model with 76465 rows, 11500 columns and 239400 nonzeros Presolve time: 0.21s Presolved: 76465 rows, 11500 columns, 239400 nonzeros Variable types: 0 continuous, 11500 integer (11500 binary) Root relaxation: objective 0.000000e+00, 361 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 (781 simplex iterations) in 0.41 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 -- 72 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:24:29 2012 Optimize a model with 38305 rows, 6280 columns and 119700 nonzeros Presolve time: 0.14s Presolved: 38305 rows, 6280 columns, 119700 nonzeros Variable types: 0 continuous, 6280 integer (6280 binary) Root relaxation: objective 0.000000e+00, 349 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 (664 simplex iterations) in 0.22 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 14:24:29 2012 Optimize a model with 19225 rows, 3670 columns and 59850 nonzeros Presolve time: 0.07s Presolved: 19225 rows, 3670 columns, 59850 nonzeros Variable types: 0 continuous, 3670 integer (3670 binary) Root relaxation: objective 0.000000e+00, 431 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 (879 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 14:24:30 2012 Optimize a model with 9685 rows, 2365 columns and 29925 nonzeros Presolve time: 0.03s Presolved: 9685 rows, 2365 columns, 29925 nonzeros Variable types: 0 continuous, 2365 integer (2365 binary) Root relaxation: objective 0.000000e+00, 304 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 (1133 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 14:24:30 2012 Optimize a model with 4385 rows, 1640 columns and 13300 nonzeros Presolve time: 0.01s Presolved: 4385 rows, 1640 columns, 13300 nonzeros Variable types: 0 continuous, 1640 integer (1640 binary) Root relaxation: objective 0.000000e+00, 303 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 272 - 0.00000 - - 0s 0 0 0.00000 0 463 - 0.00000 - - 2s 0 0 0.00000 0 485 - 0.00000 - - 2s 0 0 0.00000 0 475 - 0.00000 - - 3s 0 0 0.00000 0 461 - 0.00000 - - 4s 0 0 0.00000 0 457 - 0.00000 - - 5s 0 0 0.00000 0 454 - 0.00000 - - 7s 0 0 0.00000 0 462 - 0.00000 - - 7s 0 0 0.00000 0 467 - 0.00000 - - 8s 0 0 0.00000 0 465 - 0.00000 - - 9s 0 0 0.00000 0 469 - 0.00000 - - 10s 0 0 0.00000 0 467 - 0.00000 - - 11s 0 2 0.00000 0 454 - 0.00000 - - 12s Cutting planes: Clique: 31 Zero half: 16 Explored 8 nodes (56423 simplex iterations) in 13.26 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 14:24:43 2012 Optimize a model with 6505 rows, 1930 columns and 19950 nonzeros Presolve time: 0.02s Presolved: 6505 rows, 1930 columns, 19950 nonzeros Variable types: 0 continuous, 1930 integer (1930 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 280 - 0.00000 - - 0s 0 0 0.00000 0 329 - 0.00000 - - 0s Cutting planes: Clique: 19 MIR: 1 Explored 0 nodes (6748 simplex iterations) in 1.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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:24:45 2012 Optimize a model with 5445 rows, 1785 columns and 16625 nonzeros Presolve time: 0.01s Presolved: 5445 rows, 1785 columns, 16625 nonzeros Variable types: 0 continuous, 1785 integer (1785 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 180 - 0.00000 - - 0s 0 0 0.00000 0 320 - 0.00000 - - 0s 0 0 0.00000 0 397 - 0.00000 - - 1s 0 0 0.00000 0 403 - 0.00000 - - 2s 0 0 0.00000 0 399 - 0.00000 - - 3s 0 0 0.00000 0 395 - 0.00000 - - 3s 0 0 0.00000 0 352 - 0.00000 - - 5s 0 0 0.00000 0 354 - 0.00000 - - 6s 0 0 0.00000 0 369 - 0.00000 - - 8s 0 0 0.00000 0 385 - 0.00000 - - 8s 0 0 0.00000 0 382 - 0.00000 - - 9s 0 2 0.00000 0 382 - 0.00000 - - 10s 200 30 0.00000 14 354 - 0.00000 - 206 15s 481 43 infeasible 26 - 0.00000 - 187 20s 772 38 infeasible 23 - 0.00000 - 183 25s 909 45 0.00000 19 397 - 0.00000 - 185 30s 912 47 0.00000 11 406 - 0.00000 - 185 37s 913 48 0.00000 26 389 - 0.00000 - 184 40s 915 49 0.00000 11 385 - 0.00000 - 184 45s 917 51 0.00000 21 387 - 0.00000 - 184 51s 918 51 0.00000 7 378 - 0.00000 - 183 55s 922 54 0.00000 11 372 - 0.00000 - 183 60s 1000 66 0.00000 27 344 - 0.00000 - 250 65s 1108 40 infeasible 29 - 0.00000 - 265 70s 1214 30 0.00000 17 347 - 0.00000 - 279 75s 1327 57 0.00000 27 340 - 0.00000 - 287 80s 1446 66 infeasible 27 - 0.00000 - 294 85s 1556 58 0.00000 25 336 - 0.00000 - 302 90s 1669 47 0.00000 19 346 - 0.00000 - 308 95s 1786 62 0.00000 18 353 - 0.00000 - 312 100s 1886 66 infeasible 27 - 0.00000 - 318 105s 2001 67 infeasible 25 - 0.00000 - 321 110s 2115 65 infeasible 26 - 0.00000 - 325 115s 2219 55 0.00000 27 367 - 0.00000 - 329 120s 2353 97 infeasible 34 - 0.00000 - 328 125s 2472 98 infeasible 29 - 0.00000 - 330 130s 2588 100 infeasible 32 - 0.00000 - 332 135s 2688 94 0.00000 26 340 - 0.00000 - 337 140s 2804 124 0.00000 25 341 - 0.00000 - 338 145s 2914 130 infeasible 25 - 0.00000 - 339 150s 3021 135 infeasible 28 - 0.00000 - 342 155s 3141 161 infeasible 25 - 0.00000 - 342 160s 3250 170 infeasible 24 - 0.00000 - 345 165s 3353 163 0.00000 20 365 - 0.00000 - 347 170s 3464 148 0.00000 20 343 - 0.00000 - 349 175s 3577 139 infeasible 28 - 0.00000 - 350 180s 3675 135 infeasible 35 - 0.00000 - 352 185s 3781 135 0.00000 29 314 - 0.00000 - 354 190s 3876 124 infeasible 27 - 0.00000 - 356 195s 3982 114 infeasible 27 - 0.00000 - 358 200s 4083 121 0.00000 34 365 - 0.00000 - 359 205s 4186 118 infeasible 31 - 0.00000 - 361 210s 4281 121 0.00000 30 347 - 0.00000 - 363 215s 4389 113 0.00000 25 362 - 0.00000 - 364 220s 4502 126 infeasible 29 - 0.00000 - 364 225s 4619 135 infeasible 24 - 0.00000 - 364 230s 4749 165 infeasible 30 - 0.00000 - 364 235s 4858 158 0.00000 26 364 - 0.00000 - 365 240s 4967 167 infeasible 27 - 0.00000 - 365 245s 5074 168 infeasible 29 - 0.00000 - 367 250s 5172 176 infeasible 26 - 0.00000 - 368 255s 5260 170 infeasible 27 - 0.00000 - 370 260s 5354 156 infeasible 25 - 0.00000 - 371 265s 5462 164 infeasible 24 - 0.00000 - 372 270s 5558 154 0.00000 24 337 - 0.00000 - 373 275s 5653 143 infeasible 20 - 0.00000 - 374 280s Cutting planes: Clique: 9 Zero half: 12 Explored 5676 nodes (2172629 simplex iterations) in 281.14 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