current bounds on the number of colors: 0 -- 215 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:33:56 2012 Optimize a model with 126047 rows, 24181 columns and 400501 nonzeros Presolve time: 0.44s Presolved: 126047 rows, 24181 columns, 400501 nonzeros Variable types: 0 continuous, 24181 integer (24181 binary) Root relaxation: objective 0.000000e+00, 566 iterations, 0.16 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 (1220 simplex iterations) in 0.87 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 -- 107 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:33:59 2012 Optimize a model with 62543 rows, 12571 columns and 198379 nonzeros Presolve time: 0.18s Presolved: 62543 rows, 12571 columns, 198379 nonzeros Variable types: 0 continuous, 12571 integer (12571 binary) Root relaxation: objective 0.000000e+00, 794 iterations, 0.07 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 (1366 simplex iterations) in 0.35 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:34:00 2012 Optimize a model with 30791 rows, 6766 columns and 97318 nonzeros Presolve time: 0.13s Presolved: 30791 rows, 6766 columns, 97318 nonzeros Variable types: 0 continuous, 6766 integer (6766 binary) Root relaxation: objective 0.000000e+00, 494 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 (938 simplex iterations) in 0.19 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 15:34:00 2012 Optimize a model with 15503 rows, 3971 columns and 48659 nonzeros Presolve time: 0.05s Presolved: 15503 rows, 3971 columns, 48659 nonzeros Variable types: 0 continuous, 3971 integer (3971 binary) Root relaxation: objective 0.000000e+00, 441 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 (854 simplex iterations) in 0.09 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 15:34:01 2012 Optimize a model with 7271 rows, 2466 columns and 22458 nonzeros Presolve time: 0.02s Presolved: 7271 rows, 2466 columns, 22458 nonzeros Variable types: 0 continuous, 2466 integer (2466 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 92 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3829 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:34:01 2012 Optimize a model with 3743 rows, 1821 columns and 11229 nonzeros Presolve time: 0.01s Presolved: 3743 rows, 1821 columns, 11229 nonzeros Variable types: 0 continuous, 1821 integer (1821 binary) Root relaxation: objective 0.000000e+00, 494 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 428 - 0.00000 - - 0s 0 0 0.00000 0 428 - 0.00000 - - 0s 0 0 0.00000 0 609 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 2s Cutting planes: Gomory: 43 Zero half: 1689 Explored 0 nodes (11478 simplex iterations) in 2.30 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 15:34:03 2012 Optimize a model with 4919 rows, 2036 columns and 14972 nonzeros Presolve time: 0.01s Presolved: 4919 rows, 2036 columns, 14972 nonzeros Variable types: 0 continuous, 2036 integer (2036 binary) Root relaxation: objective 0.000000e+00, 477 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 384 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 2s 0 0 0.00000 0 408 - 0.00000 - - 3s 0 0 0.00000 0 518 - 0.00000 - - 3s 0 0 0.00000 0 402 - 0.00000 - - 4s 0 0 0.00000 0 402 - 0.00000 - - 5s 0 0 0.00000 0 400 - 0.00000 - - 6s 0 0 0.00000 0 398 - 0.00000 - - 7s 0 0 0.00000 0 400 - 0.00000 - - 8s 0 0 0.00000 0 417 - 0.00000 - - 9s 0 0 0.00000 0 378 - 0.00000 - - 10s 0 0 0.00000 0 378 - 0.00000 - - 11s 0 0 0.00000 0 378 - 0.00000 - - 11s 0 2 0.00000 0 378 - 0.00000 - - 13s 66 40 0.00000 13 398 - 0.00000 - 288 15s 272 68 0.00000 19 526 - 0.00000 - 240 20s 498 108 0.00000 21 503 - 0.00000 - 225 25s 606 126 0.00000 26 596 - 0.00000 - 223 31s 607 127 0.00000 28 392 - 0.00000 - 223 35s 609 128 0.00000 25 370 - 0.00000 - 222 41s 611 129 0.00000 26 384 - 0.00000 - 222 46s 613 131 0.00000 9 352 - 0.00000 - 221 52s 614 131 0.00000 7 357 - 0.00000 - 220 55s 621 134 0.00000 16 544 - 0.00000 - 335 60s 646 143 infeasible 28 - 0.00000 - 335 65s 722 105 infeasible 24 - 0.00000 - 345 70s 785 85 0.00000 23 456 - 0.00000 - 359 75s 860 61 infeasible 23 - 0.00000 - 368 80s 943 31 infeasible 26 - 0.00000 - 377 85s 1038 6 infeasible 25 - 0.00000 - 378 90s Cutting planes: Gomory: 1 Zero half: 18 Explored 1057 nodes (469659 simplex iterations) in 90.91 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 15:35:34 2012 Optimize a model with 6095 rows, 2251 columns and 18715 nonzeros Presolve time: 0.02s Presolved: 6095 rows, 2251 columns, 18715 nonzeros Variable types: 0 continuous, 2251 integer (2251 binary) Root relaxation: objective 0.000000e+00, 469 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 190 - 0.00000 - - 0s 0 0 0.00000 0 246 - 0.00000 - - 1s * 0 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (16000 simplex iterations) in 1.94 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