Yes, you should bump her up to two fuzzy mice per feed or a larger mouse / fuzzy rat. Your snake is 80g and 15% of that is about 12g. Looking at the chart, a hopper/small mouse is ~10-15g and a fuzzy rat is ~10-18g or so. Fuzzy mice are like 5-7g based on most F/T rodent weight charts. Thus two of those would put you in the right weight range.

Most ball pythons will go right to their hot spot after a meal for digestion. Yours is behaving more like a colubrid....which are never satisfied.