Permian Basin oil production boosts US production by nearly triple in past 15 years – Oklahoma Energy Today