current bounds on the number of colors: 0 -- 130 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:12:26 2012 Optimize a model with 53300 rows, 9268 columns and 167960 nonzeros Presolve time: 0.17s Presolved: 53300 rows, 9268 columns, 167960 nonzeros Variable types: 0 continuous, 9268 integer (9268 binary) Root relaxation: objective 0.000000e+00, 339 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 (618 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 -- 65 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:12:27 2012 Optimize a model with 26306 rows, 4978 columns and 82688 nonzeros Presolve time: 0.12s Presolved: 26306 rows, 4978 columns, 82688 nonzeros Variable types: 0 continuous, 4978 integer (4978 binary) Root relaxation: objective 0.000000e+00, 313 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 (593 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 02:12:27 2012 Optimize a model with 13218 rows, 2898 columns and 41344 nonzeros Presolve time: 0.04s Presolved: 13218 rows, 2898 columns, 41344 nonzeros Variable types: 0 continuous, 2898 integer (2898 binary) Root relaxation: objective 0.000000e+00, 264 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 (540 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 02:12:28 2012 Optimize a model with 6674 rows, 1858 columns and 20672 nonzeros Presolve time: 0.02s Presolved: 6674 rows, 1858 columns, 20672 nonzeros Variable types: 0 continuous, 1858 integer (1858 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (927 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 02:12:28 2012 Optimize a model with 3402 rows, 1338 columns and 10336 nonzeros Presolve time: 0.01s Presolved: 3402 rows, 1338 columns, 10336 nonzeros Variable types: 0 continuous, 1338 integer (1338 binary) Root relaxation: objective 0.000000e+00, 304 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 256 - 0.00000 - - 0s 0 0 0.00000 0 146 - 0.00000 - - 0s 0 0 0.00000 0 395 - 0.00000 - - 1s 0 0 0.00000 0 403 - 0.00000 - - 1s 0 0 0.00000 0 392 - 0.00000 - - 2s 0 0 0.00000 0 389 - 0.00000 - - 3s 0 0 0.00000 0 383 - 0.00000 - - 4s 0 0 0.00000 0 384 - 0.00000 - - 4s 0 0 0.00000 0 378 - 0.00000 - - 5s 0 0 0.00000 0 375 - 0.00000 - - 6s 0 0 0.00000 0 375 - 0.00000 - - 6s 0 0 0.00000 0 384 - 0.00000 - - 7s 0 0 0.00000 0 384 - 0.00000 - - 7s 0 2 0.00000 0 384 - 0.00000 - - 8s Cutting planes: Clique: 28 Zero half: 17 Explored 25 nodes (44165 simplex iterations) in 9.40 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 02:12:37 2012 Optimize a model with 5038 rows, 1598 columns and 15504 nonzeros Presolve time: 0.01s Presolved: 5038 rows, 1598 columns, 15504 nonzeros Variable types: 0 continuous, 1598 integer (1598 binary) Root relaxation: objective 0.000000e+00, 275 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 195 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2984 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:12:38 2012 Optimize a model with 4220 rows, 1468 columns and 12920 nonzeros Presolve time: 0.01s Presolved: 4220 rows, 1468 columns, 12920 nonzeros Variable types: 0 continuous, 1468 integer (1468 binary) Root relaxation: objective 0.000000e+00, 272 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 260 - 0.00000 - - 0s 0 0 0.00000 0 244 - 0.00000 - - 0s 0 0 0.00000 0 284 - 0.00000 - - 1s 0 0 0.00000 0 311 - 0.00000 - - 1s 0 0 0.00000 0 311 - 0.00000 - - 1s 0 0 0.00000 0 315 - 0.00000 - - 2s 0 0 0.00000 0 336 - 0.00000 - - 2s 0 0 0.00000 0 336 - 0.00000 - - 2s 0 2 0.00000 0 336 - 0.00000 - - 3s 144 76 0.00000 27 238 - 0.00000 - 143 5s 710 148 0.00000 12 301 - 0.00000 - 82.4 10s 716 152 0.00000 23 263 - 0.00000 - 81.7 15s 722 156 0.00000 39 270 - 0.00000 - 81.0 20s 1026 157 0.00000 35 292 - 0.00000 - 158 25s 1352 200 0.00000 34 220 - 0.00000 - 171 30s 1689 251 infeasible 43 - 0.00000 - 179 35s 2028 314 infeasible 29 - 0.00000 - 183 40s 2371 409 infeasible 35 - 0.00000 - 187 45s 2742 448 infeasible 36 - 0.00000 - 188 50s 3070 484 0.00000 24 302 - 0.00000 - 192 55s 3405 548 infeasible 34 - 0.00000 - 193 60s 3722 555 infeasible 38 - 0.00000 - 196 65s 4097 626 0.00000 34 266 - 0.00000 - 196 70s 4418 637 infeasible 38 - 0.00000 - 198 75s 4742 641 infeasible 40 - 0.00000 - 200 80s 5134 705 infeasible 38 - 0.00000 - 199 85s 5472 735 0.00000 35 200 - 0.00000 - 200 90s 5832 767 infeasible 38 - 0.00000 - 200 95s 6152 767 0.00000 29 287 - 0.00000 - 202 100s 6521 794 0.00000 40 277 - 0.00000 - 201 105s 6875 820 infeasible 40 - 0.00000 - 202 110s 7222 867 0.00000 39 266 - 0.00000 - 202 115s 7531 872 0.00000 32 259 - 0.00000 - 203 120s 7874 883 0.00000 33 237 - 0.00000 - 204 125s 8248 885 infeasible 38 - 0.00000 - 204 130s 8564 881 infeasible 33 - 0.00000 - 205 135s 8896 875 infeasible 40 - 0.00000 - 205 140s 9201 874 0.00000 41 258 - 0.00000 - 206 145s 9519 908 0.00000 33 265 - 0.00000 - 207 150s 9809 912 0.00000 38 260 - 0.00000 - 208 155s 10141 896 infeasible 36 - 0.00000 - 208 160s 10455 906 infeasible 36 - 0.00000 - 208 165s 10776 917 infeasible 43 - 0.00000 - 208 170s 11086 939 0.00000 33 269 - 0.00000 - 209 175s 11413 1004 0.00000 38 257 - 0.00000 - 209 180s 11761 1018 0.00000 37 214 - 0.00000 - 209 185s 12111 1020 infeasible 35 - 0.00000 - 209 190s 12409 1038 infeasible 37 - 0.00000 - 209 195s 12709 1044 0.00000 38 222 - 0.00000 - 210 200s 13011 1032 infeasible 40 - 0.00000 - 211 205s 13320 1025 0.00000 34 278 - 0.00000 - 211 210s 13656 1067 infeasible 37 - 0.00000 - 211 215s 13981 1124 0.00000 37 261 - 0.00000 - 211 220s 14278 1159 0.00000 35 249 - 0.00000 - 212 225s 14567 1168 0.00000 33 216 - 0.00000 - 212 230s 14855 1164 0.00000 32 271 - 0.00000 - 213 235s 15166 1177 infeasible 37 - 0.00000 - 213 240s 15505 1206 0.00000 38 206 - 0.00000 - 213 245s 15813 1220 0.00000 38 282 - 0.00000 - 213 250s 16130 1249 infeasible 38 - 0.00000 - 213 255s 16478 1291 0.00000 34 283 - 0.00000 - 213 260s 16786 1279 0.00000 32 277 - 0.00000 - 213 265s 17067 1276 infeasible 37 - 0.00000 - 214 270s 17375 1296 0.00000 39 279 - 0.00000 - 214 275s 17713 1334 infeasible 33 - 0.00000 - 214 280s 17995 1322 0.00000 38 258 - 0.00000 - 215 285s Cutting planes: Clique: 4 Explored 18150 nodes (3914607 simplex iterations) in 287.27 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 6