PRISM: Profiling-free symbolic memory-driven strategy planner for large DNN model training