run2_finite.py: 161.6 s wall-clock in the recorded run (about 120-165 s depending on machine load); run2_examples.py: 0.3 s.
