A Scalable and Near-Optimal Conformance Checking Approach for Long Traces