That is a LOT of cabbage. No one would do that over an extended period of time.
Bring up to pressure, turn off the fire and let it coast while I go interneting, etc., in 20 minutes or so I'll here the pressure indicator drop and I go enjoy a most delicious meal.
Very easy, peasy, once you get beyond the scary prejudice of working with pressure cookers.