Oil prices dip on record US output, but global market tense