Estofado de cerdo con patatas (olla rápida)

Ingredientes

• 500 gr de cerdo para hacer estofado cortado en dados.
• 1 cebolla grande
• 3 zanahorias
• 3 papas grandes o 5 medianas
• 2 tomates maduros
• 1 vaso de manzanilla
• laurel
• pimienta
• sal
• romero
• aceite de oliva virgen extra