current bounds on the number of colors: 0 -- 58 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:10:47 2012 Optimize a model with 23983 rows, 2507 columns and 73457 nonzeros Presolve time: 0.10s Presolved: 23983 rows, 2507 columns, 73457 nonzeros Variable types: 0 continuous, 2507 integer (2507 binary) Root relaxation: objective 0.000000e+00, 132 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 (388 simplex iterations) in 0.16 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 -- 29 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:10:47 2012 Optimize a model with 11608 rows, 1637 columns and 35462 nonzeros Presolve time: 0.04s Presolved: 11608 rows, 1637 columns, 35462 nonzeros Variable types: 0 continuous, 1637 integer (1637 binary) Root relaxation: objective 0.000000e+00, 121 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 16 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1444 simplex iterations) in 0.15 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:10:48 2012 Optimize a model with 5833 rows, 1231 columns and 17731 nonzeros Presolve time: 0.02s Presolved: 5833 rows, 1231 columns, 17731 nonzeros Variable types: 0 continuous, 1231 integer (1231 binary) Root relaxation: objective 0.000000e+00, 117 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 78 - 0.00000 - - 0s 0 0 0.00000 0 54 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2788 simplex iterations) in 0.42 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: 7 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:10:48 2012 Optimize a model with 8308 rows, 1405 columns and 25330 nonzeros Presolve time: 0.02s Presolved: 8308 rows, 1405 columns, 25330 nonzeros Variable types: 0 continuous, 1405 integer (1405 binary) Root relaxation: objective 0.000000e+00, 122 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 64 - 0.00000 - - 0s 0 0 0.00000 0 26 - 0.00000 - - 0s 0 0 0.00000 0 155 - 0.00000 - - 1s 0 0 0.00000 0 267 - 0.00000 - - 1s 0 0 0.00000 0 150 - 0.00000 - - 2s 0 0 0.00000 0 134 - 0.00000 - - 3s 0 0 0.00000 0 237 - 0.00000 - - 4s 0 0 0.00000 0 234 - 0.00000 - - 6s 0 0 0.00000 0 234 - 0.00000 - - 7s 0 0 0.00000 0 208 - 0.00000 - - 8s 0 0 0.00000 0 268 - 0.00000 - - 9s 0 0 0.00000 0 268 - 0.00000 - - 10s 0 2 0.00000 0 268 - 0.00000 - - 12s 195 25 0.00000 23 142 - 0.00000 - 141 15s 678 28 infeasible 21 - 0.00000 - 126 20s 904 38 0.00000 18 233 - 0.00000 - 129 25s 907 40 0.00000 24 140 - 0.00000 - 128 31s 910 42 0.00000 11 139 - 0.00000 - 128 36s 913 44 0.00000 11 228 - 0.00000 - 127 41s 915 45 0.00000 24 211 - 0.00000 - 127 46s 917 47 0.00000 24 147 - 0.00000 - 127 51s 923 51 0.00000 13 216 - 0.00000 - 213 55s 1004 34 0.00000 22 148 - 0.00000 - 208 60s 1241 20 infeasible 25 - 0.00000 - 205 65s 1523 14 infeasible 25 - 0.00000 - 200 70s 1778 13 infeasible 27 - 0.00000 - 198 75s 2104 13 infeasible 29 - 0.00000 - 193 80s 2396 15 infeasible 27 - 0.00000 - 191 85s 2680 15 0.00000 29 146 - 0.00000 - 190 90s 3007 24 infeasible 30 - 0.00000 - 187 95s 3296 15 0.00000 29 150 - 0.00000 - 186 100s 3608 25 0.00000 29 147 - 0.00000 - 185 105s 3924 37 0.00000 26 146 - 0.00000 - 184 110s 4250 29 0.00000 27 129 - 0.00000 - 183 115s 4602 21 infeasible 31 - 0.00000 - 181 120s 4927 24 0.00000 29 152 - 0.00000 - 180 125s 5193 16 0.00000 28 143 - 0.00000 - 181 130s 5447 14 0.00000 29 162 - 0.00000 - 183 135s 5716 7 infeasible 24 - 0.00000 - 183 140s 6020 5 infeasible 27 - 0.00000 - 183 145s 6364 11 infeasible 28 - 0.00000 - 182 150s 6662 17 0.00000 26 162 - 0.00000 - 182 155s 6958 11 infeasible 25 - 0.00000 - 182 160s Cutting planes: Clique: 53 Zero half: 5 Explored 7145 nodes (1348462 simplex iterations) in 163.11 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: 10 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:13:32 2012 Optimize a model with 9958 rows, 1521 columns and 30396 nonzeros Presolve time: 0.03s Presolved: 9958 rows, 1521 columns, 30396 nonzeros Variable types: 0 continuous, 1521 integer (1521 binary) Root relaxation: objective 0.000000e+00, 125 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 58 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1351 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: 10 -- 12 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:13:32 2012 Optimize a model with 9133 rows, 1463 columns and 27863 nonzeros Presolve time: 0.03s Presolved: 9133 rows, 1463 columns, 27863 nonzeros Variable types: 0 continuous, 1463 integer (1463 binary) Root relaxation: objective 0.000000e+00, 127 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 44 - 0.00000 - - 0s 0 0 0.00000 0 29 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (5943 simplex iterations) in 0.92 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: 11