current bounds on the number of colors: 0 -- 185 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:04:40 2012 Optimize a model with 80317 rows, 17891 columns and 257416 nonzeros Presolve time: 0.25s Presolved: 80317 rows, 17891 columns, 257416 nonzeros Variable types: 0 continuous, 17891 integer (17891 binary) Root relaxation: objective 0.000000e+00, 798 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 (1223 simplex iterations) in 0.46 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 -- 92 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:04:41 2012 Optimize a model with 40251 rows, 9381 columns and 128708 nonzeros Presolve time: 0.16s Presolved: 40251 rows, 9381 columns, 128708 nonzeros Variable types: 0 continuous, 9381 integer (9381 binary) Root relaxation: objective 0.000000e+00, 542 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 (940 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 -- 46 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:04:42 2012 Optimize a model with 20218 rows, 5126 columns and 64354 nonzeros Presolve time: 0.08s Presolved: 20218 rows, 5126 columns, 64354 nonzeros Variable types: 0 continuous, 5126 integer (5126 binary) Root relaxation: objective 0.000000e+00, 405 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 (749 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:04:42 2012 Optimize a model with 9766 rows, 2906 columns and 30778 nonzeros Presolve time: 0.03s Presolved: 9766 rows, 2906 columns, 30778 nonzeros Variable types: 0 continuous, 2906 integer (2906 binary) Root relaxation: objective 0.000000e+00, 394 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 (743 simplex iterations) in 0.05 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:04:43 2012 Optimize a model with 4540 rows, 1796 columns and 13990 nonzeros Presolve time: 0.01s Presolved: 4540 rows, 1796 columns, 13990 nonzeros Variable types: 0 continuous, 1796 integer (1796 binary) Root relaxation: objective 0.000000e+00, 413 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 219 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3451 simplex iterations) in 0.23 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:04:43 2012 Optimize a model with 1927 rows, 1241 columns and 5596 nonzeros Presolve removed 185 rows and 185 columns Presolve time: 0.00s Presolved: 1742 rows, 1056 columns, 5226 nonzeros Variable types: 0 continuous, 1056 integer (1056 binary) Root relaxation: objective 0.000000e+00, 190 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 185 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (805 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:04:43 2012 Optimize a model with 2798 rows, 1426 columns and 8394 nonzeros Presolve time: 0.01s Presolved: 2798 rows, 1426 columns, 8394 nonzeros Variable types: 0 continuous, 1426 integer (1426 binary) Root relaxation: objective 0.000000e+00, 420 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 366 - 0.00000 - - 0s 0 0 0.00000 0 491 - 0.00000 - - 0s 0 0 0.00000 0 499 - 0.00000 - - 0s 0 0 0.00000 0 495 - 0.00000 - - 1s 0 0 0.00000 0 493 - 0.00000 - - 2s 0 0 0.00000 0 493 - 0.00000 - - 3s 0 0 0.00000 0 492 - 0.00000 - - 4s 0 0 infeasible 0 - 0.10000 - - 4s Cutting planes: Zero half: 1130 Explored 0 nodes (22123 simplex iterations) in 4.39 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:04:48 2012 Optimize a model with 3669 rows, 1611 columns and 11192 nonzeros Presolve time: 0.01s Presolved: 3669 rows, 1611 columns, 11192 nonzeros Variable types: 0 continuous, 1611 integer (1611 binary) Root relaxation: objective 0.000000e+00, 415 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 356 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 0s 0 0 0.00000 0 431 - 0.00000 - - 0s 0 0 0.00000 0 320 - 0.00000 - - 1s 0 0 0.00000 0 318 - 0.00000 - - 2s 0 0 0.00000 0 310 - 0.00000 - - 2s 0 0 0.00000 0 308 - 0.00000 - - 2s 0 0 0.00000 0 300 - 0.00000 - - 3s 0 0 0.00000 0 300 - 0.00000 - - 3s 0 0 0.00000 0 292 - 0.00000 - - 4s 0 0 0.00000 0 284 - 0.00000 - - 4s 0 0 0.00000 0 292 - 0.00000 - - 5s 0 0 0.00000 0 302 - 0.00000 - - 5s 0 0 0.00000 0 290 - 0.00000 - - 5s 0 0 0.00000 0 323 - 0.00000 - - 6s 0 0 0.00000 0 306 - 0.00000 - - 6s 0 2 0.00000 0 306 - 0.00000 - - 7s 293 50 0.00000 11 375 - 0.00000 - 141 10s 606 101 0.00000 11 325 - 0.00000 - 129 15s 609 103 0.00000 10 306 - 0.00000 - 128 20s 613 106 0.00000 23 437 - 0.00000 - 127 26s 616 108 0.00000 16 440 - 0.00000 - 127 30s 715 106 infeasible 27 - 0.00000 - 224 35s 998 56 0.00000 28 320 - 0.00000 - 223 40s 1222 72 infeasible 34 - 0.00000 - 232 45s 1469 77 infeasible 31 - 0.00000 - 235 50s 1724 56 infeasible 24 - 0.00000 - 238 55s 1949 45 0.00000 23 420 - 0.00000 - 242 60s 2149 41 infeasible 26 - 0.00000 - 246 65s 2371 19 infeasible 28 - 0.00000 - 249 70s Cutting planes: Clique: 1 Zero half: 18 Explored 2469 nodes (675647 simplex iterations) in 72.27 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5