current bounds on the number of colors: 0 -- 192 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:45:44 2012 Optimize a model with 95328 rows, 19423 columns and 303840 nonzeros Presolve time: 0.31s Presolved: 95328 rows, 19423 columns, 303840 nonzeros Variable types: 0 continuous, 19423 integer (19423 binary) Root relaxation: objective 0.000000e+00, 862 iterations, 0.10 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 (1308 simplex iterations) in 0.55 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 -- 96 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:45:46 2012 Optimize a model with 47760 rows, 10207 columns and 151920 nonzeros Presolve time: 0.16s Presolved: 47760 rows, 10207 columns, 151920 nonzeros Variable types: 0 continuous, 10207 integer (10207 binary) Root relaxation: objective 0.000000e+00, 657 iterations, 0.05 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 (1110 simplex iterations) in 0.28 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:45:46 2012 Optimize a model with 23976 rows, 5599 columns and 75960 nonzeros Presolve time: 0.10s Presolved: 23976 rows, 5599 columns, 75960 nonzeros Variable types: 0 continuous, 5599 integer (5599 binary) Root relaxation: objective 0.000000e+00, 422 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 (791 simplex iterations) in 0.14 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:45:47 2012 Optimize a model with 12084 rows, 3295 columns and 37980 nonzeros Presolve time: 0.04s Presolved: 12084 rows, 3295 columns, 37980 nonzeros Variable types: 0 continuous, 3295 integer (3295 binary) Root relaxation: objective 0.000000e+00, 407 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 (745 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:45:47 2012 Optimize a model with 6138 rows, 2143 columns and 18990 nonzeros Presolve time: 0.02s Presolved: 6138 rows, 2143 columns, 18990 nonzeros Variable types: 0 continuous, 2143 integer (2143 binary) Root relaxation: objective 0.000000e+00, 426 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 (1574 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:45:47 2012 Optimize a model with 3165 rows, 1567 columns and 9495 nonzeros Presolve time: 0.01s Presolved: 3165 rows, 1567 columns, 9495 nonzeros Variable types: 0 continuous, 1567 integer (1567 binary) Root relaxation: objective 0.000000e+00, 440 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 320 - 0.00000 - - 0s 0 0 0.00000 0 376 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (7058 simplex iterations) in 0.88 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 05:45:48 2012 Optimize a model with 4156 rows, 1759 columns and 12660 nonzeros Presolve time: 0.01s Presolved: 4156 rows, 1759 columns, 12660 nonzeros Variable types: 0 continuous, 1759 integer (1759 binary) Root relaxation: objective 0.000000e+00, 458 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 372 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 1s 0 0 0.00000 0 477 - 0.00000 - - 1s 0 0 0.00000 0 354 - 0.00000 - - 2s 0 0 0.00000 0 362 - 0.00000 - - 2s 0 0 0.00000 0 352 - 0.00000 - - 3s 0 0 0.00000 0 352 - 0.00000 - - 3s 0 0 0.00000 0 350 - 0.00000 - - 4s 0 0 0.00000 0 348 - 0.00000 - - 4s 0 0 0.00000 0 348 - 0.00000 - - 5s 0 0 0.00000 0 348 - 0.00000 - - 5s 0 2 0.00000 0 348 - 0.00000 - - 6s 268 12 0.00000 11 350 - 0.00000 - 155 10s 567 15 infeasible 14 - 0.00000 - 174 15s 616 29 0.00000 22 352 - 0.00000 - 172 21s 619 31 0.00000 9 332 - 0.00000 - 171 26s 621 33 0.00000 12 328 - 0.00000 - 171 30s 624 35 0.00000 9 308 - 0.00000 - 170 36s 627 37 0.00000 9 306 - 0.00000 - 169 40s 783 27 infeasible 27 - 0.00000 - 282 45s 979 27 infeasible 25 - 0.00000 - 279 50s 1142 24 0.00000 25 359 - 0.00000 - 284 55s 1303 25 0.00000 29 324 - 0.00000 - 290 60s 1449 9 0.00000 22 451 - 0.00000 - 296 65s 1601 13 infeasible 25 - 0.00000 - 299 70s Cutting planes: Clique: 2 Zero half: 19 Explored 1709 nodes (563393 simplex iterations) in 73.92 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 05:47:02 2012 Optimize a model with 5147 rows, 1951 columns and 15825 nonzeros Presolve time: 0.01s Presolved: 5147 rows, 1951 columns, 15825 nonzeros Variable types: 0 continuous, 1951 integer (1951 binary) Root relaxation: objective 0.000000e+00, 407 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 368 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 1s 0 0 0.00000 0 413 - 0.00000 - - 1s 0 0 0.00000 0 445 - 0.00000 - - 2s 0 0 0.00000 0 445 - 0.00000 - - 2s * 0 0 0 0.0000000 0.00000 0.0% - 3s Cutting planes: Gomory: 1 Zero half: 15 Explored 1 nodes (20054 simplex iterations) in 3.02 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