Your intuition is correct: the actual solving process and time should be similar because Rust and Python both call the same Z3 solver.
The issue is that Python is a more inefficient language but easier to write than Rust which is known for its mastery of efficiency regarding memory management.
These are the 3 reason I can think of why Python is terrible regarding efficency although there are more.