How Long Does MemTest Take? A Professional’s Point of View