forcefully terminate if server tries to grade two submissions at once, keeping the last submission