Depth-First Search versus Jurema Search on GPU Branch-and-Bound Algorithms: a case study