current bounds on the number of colors: 0 -- 128 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:00:55 2012 Optimize a model with 51136 rows, 8989 columns and 161216 nonzeros Presolve time: 0.18s Presolved: 51136 rows, 8989 columns, 161216 nonzeros Variable types: 0 continuous, 8989 integer (8989 binary) Root relaxation: objective 0.000000e+00, 311 iterations, 0.06 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 (591 simplex iterations) in 0.30 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 -- 64 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:00:56 2012 Optimize a model with 25632 rows, 4893 columns and 80608 nonzeros Presolve time: 0.11s Presolved: 25632 rows, 4893 columns, 80608 nonzeros Variable types: 0 continuous, 4893 integer (4893 binary) Root relaxation: objective 0.000000e+00, 304 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 (661 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:00:56 2012 Optimize a model with 12880 rows, 2845 columns and 40304 nonzeros Presolve time: 0.04s Presolved: 12880 rows, 2845 columns, 40304 nonzeros Variable types: 0 continuous, 2845 integer (2845 binary) Root relaxation: objective 0.000000e+00, 259 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 (500 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:00:56 2012 Optimize a model with 6504 rows, 1821 columns and 20152 nonzeros Presolve time: 0.02s Presolved: 6504 rows, 1821 columns, 20152 nonzeros Variable types: 0 continuous, 1821 integer (1821 binary) Root relaxation: objective 0.000000e+00, 266 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 (897 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:00:56 2012 Optimize a model with 3316 rows, 1309 columns and 10076 nonzeros Presolve time: 0.01s Presolved: 3316 rows, 1309 columns, 10076 nonzeros Variable types: 0 continuous, 1309 integer (1309 binary) Root relaxation: objective 0.000000e+00, 293 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 254 - 0.00000 - - 0s 0 0 0.00000 0 246 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 0s 0 0 0.00000 0 376 - 0.00000 - - 1s 0 0 0.00000 0 378 - 0.00000 - - 1s 0 0 0.00000 0 376 - 0.00000 - - 2s 0 0 0.00000 0 352 - 0.00000 - - 3s 0 0 0.00000 0 361 - 0.00000 - - 4s 0 0 0.00000 0 357 - 0.00000 - - 5s 0 0 0.00000 0 370 - 0.00000 - - 5s 0 0 0.00000 0 365 - 0.00000 - - 6s 0 0 0.00000 0 366 - 0.00000 - - 7s 0 0 0.00000 0 366 - 0.00000 - - 7s 0 2 0.00000 0 366 - 0.00000 - - 8s 54 3 infeasible 8 - 0.00000 - 313 10s Cutting planes: Clique: 27 Zero half: 29 Explored 64 nodes (51354 simplex iterations) in 10.19 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:01:07 2012 Optimize a model with 4910 rows, 1565 columns and 15114 nonzeros Presolve time: 0.01s Presolved: 4910 rows, 1565 columns, 15114 nonzeros Variable types: 0 continuous, 1565 integer (1565 binary) Root relaxation: objective 0.000000e+00, 272 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 84 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2105 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:01:07 2012 Optimize a model with 4113 rows, 1437 columns and 12595 nonzeros Presolve time: 0.01s Presolved: 4113 rows, 1437 columns, 12595 nonzeros Variable types: 0 continuous, 1437 integer (1437 binary) Root relaxation: objective 0.000000e+00, 280 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 250 - 0.00000 - - 0s 0 0 0.00000 0 240 - 0.00000 - - 0s 0 0 0.00000 0 189 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 0s 0 0 0.00000 0 365 - 0.00000 - - 1s 0 0 0.00000 0 360 - 0.00000 - - 2s 0 0 0.00000 0 350 - 0.00000 - - 2s 0 0 0.00000 0 328 - 0.00000 - - 3s 0 0 0.00000 0 322 - 0.00000 - - 3s 0 0 0.00000 0 357 - 0.00000 - - 4s 0 0 0.00000 0 357 - 0.00000 - - 4s 0 2 0.00000 0 357 - 0.00000 - - 5s 604 127 0.00000 19 370 - 0.00000 - 88.0 10s 610 131 0.00000 24 353 - 0.00000 - 87.1 15s 976 131 infeasible 33 - 0.00000 - 143 20s 1473 166 infeasible 35 - 0.00000 - 149 25s 1959 272 infeasible 42 - 0.00000 - 151 30s 2390 333 0.00000 27 263 - 0.00000 - 156 35s 2795 388 0.00000 31 267 - 0.00000 - 161 40s 3229 421 infeasible 32 - 0.00000 - 163 45s 3737 457 0.00000 33 208 - 0.00000 - 163 50s 4148 488 0.00000 35 282 - 0.00000 - 165 55s 4546 502 infeasible 36 - 0.00000 - 168 60s 4973 537 infeasible 33 - 0.00000 - 169 65s 5430 518 infeasible 39 - 0.00000 - 170 70s 5877 523 infeasible 40 - 0.00000 - 171 75s 6314 514 infeasible 39 - 0.00000 - 172 80s 6770 596 0.00000 27 241 - 0.00000 - 171 85s 7233 651 infeasible 38 - 0.00000 - 171 90s 7686 710 infeasible 34 - 0.00000 - 172 95s 8107 743 infeasible 34 - 0.00000 - 173 100s 8572 803 infeasible 42 - 0.00000 - 173 105s 9097 802 0.00000 33 277 - 0.00000 - 172 110s 9528 813 infeasible 40 - 0.00000 - 173 115s 9916 829 0.00000 39 233 - 0.00000 - 174 120s 10305 852 infeasible 32 - 0.00000 - 174 125s 10676 929 infeasible 34 - 0.00000 - 175 130s *10715 0 36 0.0000000 0.00000 0.0% 175 130s Cutting planes: Clique: 2 Zero half: 15 Explored 10716 nodes (1904561 simplex iterations) in 130.40 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