current bounds on the number of colors: 0 -- 211 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:43:29 2012 Optimize a model with 117496 rows, 23272 columns and 374010 nonzeros Presolve time: 0.40s Presolved: 117496 rows, 23272 columns, 374010 nonzeros Variable types: 0 continuous, 23272 integer (23272 binary) Root relaxation: objective 0.000000e+00, 560 iterations, 0.15 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 (1001 simplex iterations) in 0.71 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 -- 105 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:43:31 2012 Optimize a model with 58295 rows, 12089 columns and 185224 nonzeros Presolve time: 0.18s Presolved: 58295 rows, 12089 columns, 185224 nonzeros Variable types: 0 continuous, 12089 integer (12089 binary) Root relaxation: objective 0.000000e+00, 578 iterations, 0.03 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 (987 simplex iterations) in 0.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: 0 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:43:32 2012 Optimize a model with 29253 rows, 6603 columns and 92612 nonzeros Presolve time: 0.12s Presolved: 29253 rows, 6603 columns, 92612 nonzeros Variable types: 0 continuous, 6603 integer (6603 binary) Root relaxation: objective 0.000000e+00, 457 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 (841 simplex iterations) in 0.18 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:43:33 2012 Optimize a model with 14732 rows, 3860 columns and 46306 nonzeros Presolve time: 0.05s Presolved: 14732 rows, 3860 columns, 46306 nonzeros Variable types: 0 continuous, 3860 integer (3860 binary) Root relaxation: objective 0.000000e+00, 434 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 (838 simplex iterations) in 0.08 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:43:33 2012 Optimize a model with 6913 rows, 2383 columns and 21372 nonzeros Presolve time: 0.02s Presolved: 6913 rows, 2383 columns, 21372 nonzeros Variable types: 0 continuous, 2383 integer (2383 binary) Root relaxation: objective 0.000000e+00, 447 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 (2258 simplex iterations) in 0.17 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:43:33 2012 Optimize a model with 3562 rows, 1750 columns and 10686 nonzeros Presolve time: 0.01s Presolved: 3562 rows, 1750 columns, 10686 nonzeros Variable types: 0 continuous, 1750 integer (1750 binary) Root relaxation: objective 0.000000e+00, 495 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 346 - 0.00000 - - 0s 0 0 0.00000 0 418 - 0.00000 - - 0s 0 0 0.00000 0 578 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 39 Zero half: 1378 Explored 0 nodes (12194 simplex iterations) in 1.90 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 3 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:43:35 2012 Optimize a model with 4679 rows, 1961 columns and 14248 nonzeros Presolve time: 0.01s Presolved: 4679 rows, 1961 columns, 14248 nonzeros Variable types: 0 continuous, 1961 integer (1961 binary) Root relaxation: objective 0.000000e+00, 474 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 414 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 1s 0 0 0.00000 0 564 - 0.00000 - - 1s 0 0 0.00000 0 418 - 0.00000 - - 2s 0 0 0.00000 0 408 - 0.00000 - - 3s 0 0 0.00000 0 392 - 0.00000 - - 4s 0 0 0.00000 0 390 - 0.00000 - - 4s 0 0 0.00000 0 388 - 0.00000 - - 5s 0 0 0.00000 0 384 - 0.00000 - - 6s 0 0 0.00000 0 389 - 0.00000 - - 6s 0 0 0.00000 0 374 - 0.00000 - - 7s 0 0 0.00000 0 374 - 0.00000 - - 8s 0 0 0.00000 0 366 - 0.00000 - - 8s 0 0 0.00000 0 366 - 0.00000 - - 9s 0 0 0.00000 0 362 - 0.00000 - - 10s 0 0 0.00000 0 354 - 0.00000 - - 11s 0 0 0.00000 0 361 - 0.00000 - - 11s 0 0 0.00000 0 354 - 0.00000 - - 12s 0 2 0.00000 0 354 - 0.00000 - - 12s 96 22 infeasible 13 - 0.00000 - 210 15s 407 97 0.00000 23 477 - 0.00000 - 176 20s 606 135 0.00000 25 602 - 0.00000 - 175 26s 607 136 0.00000 13 370 - 0.00000 - 175 30s 610 138 0.00000 20 373 - 0.00000 - 174 35s 612 139 0.00000 20 358 - 0.00000 - 173 41s 614 140 0.00000 22 354 - 0.00000 - 173 46s 616 142 0.00000 5 350 - 0.00000 - 172 51s 617 142 0.00000 24 343 - 0.00000 - 172 55s 619 144 0.00000 18 334 - 0.00000 - 171 61s 624 147 0.00000 16 507 - 0.00000 - 319 65s 631 152 0.00000 19 537 - 0.00000 - 320 70s 740 126 infeasible 34 - 0.00000 - 319 75s 864 81 infeasible 27 - 0.00000 - 322 80s 988 66 infeasible 29 - 0.00000 - 319 85s 1128 37 infeasible 32 - 0.00000 - 321 90s 1247 40 infeasible 33 - 0.00000 - 324 95s 1365 34 infeasible 31 - 0.00000 - 329 100s 1490 39 0.00000 28 437 - 0.00000 - 330 105s 1645 32 infeasible 24 - 0.00000 - 328 110s 1787 26 infeasible 32 - 0.00000 - 328 115s 1922 29 0.00000 28 504 - 0.00000 - 329 120s 2023 22 infeasible 27 - 0.00000 - 331 125s 2132 19 0.00000 22 518 - 0.00000 - 334 130s 2281 20 infeasible 22 - 0.00000 - 332 135s 2425 18 0.00000 23 511 - 0.00000 - 332 140s 2601 22 0.00000 21 388 - 0.00000 - 329 145s 2748 15 0.00000 24 477 - 0.00000 - 330 150s 2894 25 0.00000 29 382 - 0.00000 - 329 155s 3029 2 infeasible 25 - 0.00000 - 331 160s 3177 8 0.00000 27 502 - 0.00000 - 331 165s Cutting planes: Gomory: 1 Clique: 2 Zero half: 23 Explored 3198 nodes (1142400 simplex iterations) in 165.94 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:46:21 2012 Optimize a model with 5796 rows, 2172 columns and 17810 nonzeros Presolve time: 0.02s Presolved: 5796 rows, 2172 columns, 17810 nonzeros Variable types: 0 continuous, 2172 integer (2172 binary) Root relaxation: objective 0.000000e+00, 443 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 406 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 1s 0 0 0.00000 0 302 - 0.00000 - - 1s 0 0 0.00000 0 288 - 0.00000 - - 1s H 0 0 0.0000000 0.00000 0.0% - 1s Cutting planes: Zero half: 4 Explored 0 nodes (14487 simplex iterations) in 1.68 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% optimal solution found: number of colors: 5