Removed some debugging prints.
Also, changed a case that now timer prints the page faults that occurred in last tick.