current bounds on the number of colors: 0 -- 139 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:03:22 2012 Optimize a model with 72382 rows, 10638 columns and 226320 nonzeros Presolve time: 0.20s Presolved: 72382 rows, 10638 columns, 226320 nonzeros Variable types: 0 continuous, 10638 integer (10638 binary) Root relaxation: objective 0.000000e+00, 338 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 (733 simplex iterations) in 0.38 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 -- 69 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:03:23 2012 Optimize a model with 35737 rows, 5773 columns and 111520 nonzeros Presolve time: 0.16s Presolved: 35737 rows, 5773 columns, 111520 nonzeros Variable types: 0 continuous, 5773 integer (5773 binary) Root relaxation: objective 0.000000e+00, 328 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 (709 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:03:23 2012 Optimize a model with 17938 rows, 3410 columns and 55760 nonzeros Presolve time: 0.06s Presolved: 17938 rows, 3410 columns, 55760 nonzeros Variable types: 0 continuous, 3410 integer (3410 binary) Root relaxation: objective 0.000000e+00, 398 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 (1024 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:03:24 2012 Optimize a model with 8515 rows, 2159 columns and 26240 nonzeros Presolve time: 0.02s Presolved: 8515 rows, 2159 columns, 26240 nonzeros Variable types: 0 continuous, 2159 integer (2159 binary) Root relaxation: objective 0.000000e+00, 292 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 (1727 simplex iterations) in 0.11 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 10:03:24 2012 Optimize a model with 4327 rows, 1603 columns and 13120 nonzeros Presolve time: 0.01s Presolved: 4327 rows, 1603 columns, 13120 nonzeros Variable types: 0 continuous, 1603 integer (1603 binary) Root relaxation: objective 0.000000e+00, 313 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 196 - 0.00000 - - 0s 0 0 0.00000 0 176 - 0.00000 - - 1s 0 0 0.00000 0 466 - 0.00000 - - 2s 0 0 0.00000 0 470 - 0.00000 - - 2s 0 0 0.00000 0 468 - 0.00000 - - 3s 0 0 0.00000 0 473 - 0.00000 - - 4s 0 0 0.00000 0 458 - 0.00000 - - 5s 0 0 0.00000 0 465 - 0.00000 - - 5s 0 0 0.00000 0 461 - 0.00000 - - 6s 0 0 0.00000 0 461 - 0.00000 - - 7s 0 0 0.00000 0 461 - 0.00000 - - 7s 0 2 0.00000 0 461 - 0.00000 - - 9s Cutting planes: Clique: 14 Zero half: 13 Explored 3 nodes (49785 simplex iterations) in 9.44 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 10:03:34 2012 Optimize a model with 6421 rows, 1881 columns and 19680 nonzeros Presolve time: 0.02s Presolved: 6421 rows, 1881 columns, 19680 nonzeros Variable types: 0 continuous, 1881 integer (1881 binary) Root relaxation: objective 0.000000e+00, 289 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 166 - 0.00000 - - 0s 0 0 0.00000 0 242 - 0.00000 - - 0s 0 0 0.00000 0 285 - 0.00000 - - 1s 0 0 0.00000 0 356 - 0.00000 - - 2s 0 0 0.00000 0 328 - 0.00000 - - 3s 0 0 0.00000 0 355 - 0.00000 - - 4s 0 0 0.00000 0 376 - 0.00000 - - 4s 0 0 0.00000 0 345 - 0.00000 - - 5s 0 2 0.00000 0 345 - 0.00000 - - 6s * 316 1 38 0.0000000 0.00000 0.0% 97.8 8s Cutting planes: Clique: 11 Explored 317 nodes (65311 simplex iterations) in 8.33 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 10:03:42 2012 Optimize a model with 5374 rows, 1742 columns and 16400 nonzeros Presolve time: 0.01s Presolved: 5374 rows, 1742 columns, 16400 nonzeros Variable types: 0 continuous, 1742 integer (1742 binary) Root relaxation: objective 0.000000e+00, 298 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 200 - 0.00000 - - 0s 0 0 0.00000 0 373 - 0.00000 - - 1s 0 0 0.00000 0 385 - 0.00000 - - 2s 0 0 0.00000 0 383 - 0.00000 - - 3s 0 0 0.00000 0 383 - 0.00000 - - 4s 0 0 0.00000 0 375 - 0.00000 - - 6s 0 0 0.00000 0 385 - 0.00000 - - 6s 0 0 0.00000 0 369 - 0.00000 - - 8s 0 0 0.00000 0 369 - 0.00000 - - 9s 0 0 0.00000 0 355 - 0.00000 - - 11s 0 0 0.00000 0 361 - 0.00000 - - 12s 0 0 0.00000 0 361 - 0.00000 - - 12s 0 2 0.00000 0 361 - 0.00000 - - 14s 8 8 0.00000 6 361 - 0.00000 - 718 15s 245 23 infeasible 21 - 0.00000 - 206 20s 470 20 0.00000 12 352 - 0.00000 - 201 25s 679 24 0.00000 16 351 - 0.00000 - 202 30s 805 32 0.00000 13 373 - 0.00000 - 202 35s 808 34 0.00000 6 382 - 0.00000 - 201 42s 810 36 0.00000 14 373 - 0.00000 - 201 46s 813 38 0.00000 13 374 - 0.00000 - 200 50s 849 42 0.00000 18 351 - 0.00000 - 252 55s 956 31 infeasible 27 - 0.00000 - 264 60s 1051 30 infeasible 24 - 0.00000 - 278 65s 1162 33 infeasible 21 - 0.00000 - 287 70s 1266 55 0.00000 22 346 - 0.00000 - 294 75s 1368 61 infeasible 31 - 0.00000 - 301 80s 1467 64 infeasible 27 - 0.00000 - 309 85s 1564 65 infeasible 22 - 0.00000 - 315 90s 1653 66 infeasible 24 - 0.00000 - 323 95s 1760 73 0.00000 21 355 - 0.00000 - 326 100s 1865 76 infeasible 29 - 0.00000 - 329 105s 1966 73 infeasible 23 - 0.00000 - 333 110s 2068 69 infeasible 25 - 0.00000 - 336 115s 2160 67 infeasible 27 - 0.00000 - 340 120s 2251 70 infeasible 27 - 0.00000 - 344 125s 2340 63 0.00000 27 349 - 0.00000 - 349 130s 2442 63 infeasible 18 - 0.00000 - 351 135s 2536 59 infeasible 27 - 0.00000 - 354 140s 2637 60 0.00000 22 332 - 0.00000 - 356 145s 2736 55 0.00000 24 340 - 0.00000 - 358 150s 2826 45 infeasible 24 - 0.00000 - 361 155s 2924 39 0.00000 20 350 - 0.00000 - 362 160s 3004 35 infeasible 28 - 0.00000 - 365 165s 3100 29 infeasible 23 - 0.00000 - 367 170s 3184 27 0.00000 24 359 - 0.00000 - 370 175s 3276 17 infeasible 24 - 0.00000 - 372 180s 3378 19 infeasible 24 - 0.00000 - 372 185s 3468 25 0.00000 25 370 - 0.00000 - 374 190s 3563 26 0.00000 25 346 - 0.00000 - 375 195s 3671 24 infeasible 28 - 0.00000 - 375 200s 3764 23 infeasible 27 - 0.00000 - 376 205s 3854 15 infeasible 26 - 0.00000 - 378 210s 3935 16 infeasible 23 - 0.00000 - 380 215s 4024 15 infeasible 22 - 0.00000 - 382 220s 4126 13 infeasible 23 - 0.00000 - 382 225s 4235 14 infeasible 23 - 0.00000 - 382 230s 4324 9 0.00000 23 339 - 0.00000 - 383 235s 4431 14 0.00000 21 350 - 0.00000 - 383 240s 4533 14 infeasible 26 - 0.00000 - 384 245s 4628 15 infeasible 24 - 0.00000 - 384 250s 4720 11 infeasible 25 - 0.00000 - 386 255s 4810 7 infeasible 24 - 0.00000 - 387 260s 4903 4 infeasible 21 - 0.00000 - 387 265s 4994 11 0.00000 20 353 - 0.00000 - 388 270s 5104 15 0.00000 29 337 - 0.00000 - 388 275s Cutting planes: Clique: 5 Zero half: 3 Explored 5169 nodes (2053755 simplex iterations) in 277.98 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