current bounds on the number of colors: 0 -- 169 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:51:31 2012 Optimize a model with 60733 rows, 14917 columns and 195888 nonzeros Presolve time: 0.18s Presolved: 60733 rows, 14917 columns, 195888 nonzeros Variable types: 0 continuous, 14917 integer (14917 binary) Root relaxation: objective 0.000000e+00, 595 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 (945 simplex iterations) in 0.32 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 -- 84 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:51:32 2012 Optimize a model with 30451 rows, 7819 columns and 97944 nonzeros Presolve time: 0.14s Presolved: 30451 rows, 7819 columns, 97944 nonzeros Variable types: 0 continuous, 7819 integer (7819 binary) Root relaxation: objective 0.000000e+00, 537 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 (886 simplex iterations) in 0.21 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 -- 42 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:51:32 2012 Optimize a model with 15310 rows, 4270 columns and 48972 nonzeros Presolve time: 0.06s Presolved: 15310 rows, 4270 columns, 48972 nonzeros Variable types: 0 continuous, 4270 integer (4270 binary) Root relaxation: objective 0.000000e+00, 372 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 (673 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:51:33 2012 Optimize a model with 7379 rows, 2411 columns and 23320 nonzeros Presolve time: 0.02s Presolved: 7379 rows, 2411 columns, 23320 nonzeros Variable types: 0 continuous, 2411 integer (2411 binary) Root relaxation: objective 0.000000e+00, 375 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 (683 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:51:33 2012 Optimize a model with 3774 rows, 1566 columns and 11660 nonzeros Presolve time: 0.01s Presolved: 3774 rows, 1566 columns, 11660 nonzeros Variable types: 0 continuous, 1566 integer (1566 binary) Root relaxation: objective 0.000000e+00, 379 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 172 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2974 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:51:33 2012 Optimize a model with 1611 rows, 1059 columns and 4664 nonzeros Presolve removed 169 rows and 169 columns Presolve time: 0.00s Presolved: 1442 rows, 890 columns, 4326 nonzeros Variable types: 0 continuous, 890 integer (890 binary) Root relaxation: objective 0.000000e+00, 180 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 169 - 0.00000 - - 0s Explored 0 nodes (717 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 Fri Dec 14 20:51:33 2012 Optimize a model with 2332 rows, 1228 columns and 6996 nonzeros Presolve time: 0.01s Presolved: 2332 rows, 1228 columns, 6996 nonzeros Variable types: 0 continuous, 1228 integer (1228 binary) Root relaxation: objective 0.000000e+00, 414 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 334 - 0.00000 - - 0s 0 0 0.00000 0 328 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 0s 0 0 0.00000 0 467 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Zero half: 354 Explored 0 nodes (7535 simplex iterations) in 0.92 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 Fri Dec 14 20:51:34 2012 Optimize a model with 3053 rows, 1397 columns and 9328 nonzeros Presolve time: 0.01s Presolved: 3053 rows, 1397 columns, 9328 nonzeros Variable types: 0 continuous, 1397 integer (1397 binary) Root relaxation: objective 0.000000e+00, 369 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 316 - 0.00000 - - 0s 0 0 0.00000 0 300 - 0.00000 - - 0s 0 0 0.00000 0 282 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 0s 0 0 0.00000 0 260 - 0.00000 - - 1s 0 0 0.00000 0 264 - 0.00000 - - 1s 0 0 0.00000 0 260 - 0.00000 - - 1s 0 0 0.00000 0 242 - 0.00000 - - 1s 0 0 0.00000 0 244 - 0.00000 - - 2s 0 0 0.00000 0 241 - 0.00000 - - 2s 0 0 0.00000 0 220 - 0.00000 - - 2s 0 0 0.00000 0 208 - 0.00000 - - 2s 0 0 0.00000 0 207 - 0.00000 - - 3s 0 0 0.00000 0 206 - 0.00000 - - 3s 0 0 0.00000 0 196 - 0.00000 - - 3s 0 0 0.00000 0 213 - 0.00000 - - 3s 0 0 0.00000 0 213 - 0.00000 - - 4s 0 2 0.00000 0 212 - 0.00000 - - 4s 27 21 0.00000 16 246 - 0.00000 - 174 5s 607 104 0.00000 12 271 - 0.00000 - 83.1 10s 612 107 0.00000 12 262 - 0.00000 - 82.4 15s 895 100 0.00000 28 266 - 0.00000 - 142 20s 1340 85 infeasible 31 - 0.00000 - 159 25s 1882 131 0.00000 26 266 - 0.00000 - 161 30s 2420 187 infeasible 29 - 0.00000 - 163 35s 2913 162 0.00000 21 308 - 0.00000 - 166 40s 3428 175 infeasible 30 - 0.00000 - 166 45s 3892 189 0.00000 25 312 - 0.00000 - 168 50s 4330 211 infeasible 27 - 0.00000 - 170 55s 4748 177 infeasible 26 - 0.00000 - 174 60s 5274 181 infeasible 31 - 0.00000 - 173 65s 5750 167 infeasible 33 - 0.00000 - 174 70s 6212 147 infeasible 29 - 0.00000 - 175 75s 6695 142 0.00000 24 264 - 0.00000 - 175 80s 7134 149 0.00000 19 334 - 0.00000 - 177 85s 7625 154 0.00000 24 280 - 0.00000 - 177 90s 8172 151 0.00000 24 282 - 0.00000 - 176 95s 8691 138 0.00000 25 294 - 0.00000 - 176 100s 9126 109 0.00000 25 343 - 0.00000 - 176 105s 9561 88 0.00000 27 280 - 0.00000 - 177 110s 10011 70 infeasible 31 - 0.00000 - 178 115s 10439 44 infeasible 26 - 0.00000 - 178 120s 10887 28 infeasible 25 - 0.00000 - 179 125s 11284 5 infeasible 25 - 0.00000 - 180 130s Cutting planes: Zero half: 21 Explored 11384 nodes (2086350 simplex iterations) in 131.09 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