current bounds on the number of colors: 0 -- 144 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:25:05 2012 Optimize a model with 76896 rows, 11434 columns and 240624 nonzeros Presolve time: 0.22s Presolved: 76896 rows, 11434 columns, 240624 nonzeros Variable types: 0 continuous, 11434 integer (11434 binary) Root relaxation: objective 0.000000e+00, 360 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 (773 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 -- 72 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:25:06 2012 Optimize a model with 38520 rows, 6250 columns and 120312 nonzeros Presolve time: 0.15s Presolved: 38520 rows, 6250 columns, 120312 nonzeros Variable types: 0 continuous, 6250 integer (6250 binary) Root relaxation: objective 0.000000e+00, 348 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 (663 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 13:25:07 2012 Optimize a model with 19332 rows, 3658 columns and 60156 nonzeros Presolve time: 0.07s Presolved: 19332 rows, 3658 columns, 60156 nonzeros Variable types: 0 continuous, 3658 integer (3658 binary) Root relaxation: objective 0.000000e+00, 419 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 (830 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 13:25:07 2012 Optimize a model with 9738 rows, 2362 columns and 30078 nonzeros Presolve time: 0.03s Presolved: 9738 rows, 2362 columns, 30078 nonzeros Variable types: 0 continuous, 2362 integer (2362 binary) Root relaxation: objective 0.000000e+00, 291 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 (694 simplex iterations) in 0.06 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 13:25:07 2012 Optimize a model with 4408 rows, 1642 columns and 13368 nonzeros Presolve time: 0.01s Presolved: 4408 rows, 1642 columns, 13368 nonzeros Variable types: 0 continuous, 1642 integer (1642 binary) Root relaxation: objective 0.000000e+00, 320 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 180 - 0.00000 - - 0s 0 0 0.00000 0 459 - 0.00000 - - 2s 0 0 0.00000 0 479 - 0.00000 - - 2s 0 0 0.00000 0 457 - 0.00000 - - 3s 0 0 0.00000 0 451 - 0.00000 - - 6s 0 0 0.00000 0 459 - 0.00000 - - 8s 0 0 0.00000 0 463 - 0.00000 - - 9s 0 0 0.00000 0 463 - 0.00000 - - 10s 0 2 0.00000 0 460 - 0.00000 - - 11s Cutting planes: Clique: 23 Zero half: 29 Explored 5 nodes (45120 simplex iterations) in 11.88 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 13:25:19 2012 Optimize a model with 6540 rows, 1930 columns and 20052 nonzeros Presolve time: 0.02s Presolved: 6540 rows, 1930 columns, 20052 nonzeros Variable types: 0 continuous, 1930 integer (1930 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.00000 0 138 - 0.00000 - - 0s 0 0 0.00000 0 154 - 0.00000 - - 0s 0 0 0.00000 0 279 - 0.00000 - - 1s 0 0 0.00000 0 365 - 0.00000 - - 1s 0 0 0.00000 0 363 - 0.00000 - - 2s 0 0 0.00000 0 377 - 0.00000 - - 4s H 0 0 0.0000000 0.00000 0.0% - 4s Cutting planes: Clique: 5 Zero half: 2 Explored 0 nodes (26951 simplex iterations) in 4.29 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 13:25:24 2012 Optimize a model with 5474 rows, 1786 columns and 16710 nonzeros Presolve time: 0.01s Presolved: 5474 rows, 1786 columns, 16710 nonzeros Variable types: 0 continuous, 1786 integer (1786 binary) Root relaxation: objective 0.000000e+00, 291 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 278 - 0.00000 - - 0s 0 0 0.00000 0 393 - 0.00000 - - 1s 0 0 0.00000 0 394 - 0.00000 - - 2s 0 0 0.00000 0 386 - 0.00000 - - 3s 0 0 0.00000 0 358 - 0.00000 - - 5s 0 0 0.00000 0 234 - 0.00000 - - 6s 0 0 0.00000 0 429 - 0.00000 - - 7s 0 0 0.00000 0 415 - 0.00000 - - 8s 0 0 0.00000 0 427 - 0.00000 - - 9s 0 0 0.00000 0 382 - 0.00000 - - 10s 0 2 0.00000 0 382 - 0.00000 - - 11s 108 42 0.00000 15 248 - 0.00000 - 237 15s 385 46 infeasible 20 - 0.00000 - 188 20s 603 55 0.00000 14 393 - 0.00000 - 183 26s 605 57 0.00000 16 391 - 0.00000 - 182 30s 607 58 0.00000 14 403 - 0.00000 - 181 36s 609 59 0.00000 7 376 - 0.00000 - 181 41s 612 61 0.00000 12 309 - 0.00000 - 180 47s 614 63 0.00000 16 326 - 0.00000 - 179 51s 619 66 0.00000 17 358 - 0.00000 - 270 55s 641 77 0.00000 27 339 - 0.00000 - 274 60s 721 52 infeasible 27 - 0.00000 - 290 65s 817 47 infeasible 28 - 0.00000 - 301 70s 902 56 0.00000 26 363 - 0.00000 - 316 75s 999 67 0.00000 24 386 - 0.00000 - 323 80s 1095 71 0.00000 27 365 - 0.00000 - 330 85s 1178 62 infeasible 27 - 0.00000 - 340 90s 1270 76 0.00000 28 339 - 0.00000 - 345 95s 1363 77 0.00000 30 352 - 0.00000 - 350 100s 1446 72 0.00000 28 348 - 0.00000 - 358 105s 1535 65 0.00000 23 385 - 0.00000 - 363 110s 1616 62 infeasible 27 - 0.00000 - 368 115s 1710 72 infeasible 27 - 0.00000 - 370 120s 1796 74 infeasible 27 - 0.00000 - 375 125s 1876 70 infeasible 29 - 0.00000 - 380 130s 1957 71 infeasible 31 - 0.00000 - 385 135s 2041 71 0.00000 28 377 - 0.00000 - 389 140s 2138 68 infeasible 29 - 0.00000 - 391 145s 2239 69 infeasible 29 - 0.00000 - 393 150s 2343 63 infeasible 28 - 0.00000 - 393 155s 2422 62 0.00000 32 335 - 0.00000 - 397 160s 2510 60 0.00000 29 359 - 0.00000 - 399 165s 2597 53 0.00000 30 359 - 0.00000 - 401 170s 2679 51 0.00000 28 338 - 0.00000 - 405 175s 2784 52 infeasible 29 - 0.00000 - 405 180s 2872 42 infeasible 30 - 0.00000 - 407 185s 2961 39 infeasible 28 - 0.00000 - 408 190s 3040 38 0.00000 27 347 - 0.00000 - 411 195s 3125 43 infeasible 32 - 0.00000 - 413 200s 3207 37 infeasible 24 - 0.00000 - 415 205s 3279 21 infeasible 27 - 0.00000 - 418 210s 3370 10 infeasible 29 - 0.00000 - 419 215s 3452 12 infeasible 28 - 0.00000 - 420 220s 3540 9 infeasible 26 - 0.00000 - 421 225s 3625 8 0.00000 25 385 - 0.00000 - 422 230s 3710 3 infeasible 25 - 0.00000 - 423 235s 3797 6 0.00000 27 324 - 0.00000 - 424 240s Cutting planes: Gomory: 1 Clique: 6 Zero half: 9 Explored 3822 nodes (1670757 simplex iterations) in 241.54 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 6