Scientists established how much rain fell by measuring how much the Earth compressed during the storm.