Select “manual” and set the pot at high pressure for 30 minutes. At the end of the cooking time, allow the pot to sit undisturbed until the pressure has released. Check the pork for doneness.