More debug information is added for the out-of-core emulation in BigSim.