highered maxRestarts with factor 5, added additional abort criterion