termination criterion killed when it takes too long