A new branch and bound method with pretreatment for the binary quadratic programming