<T1, start>
<T1, P, 500, 450>
<T1, commit>
<T2, start>
<T2, Q, 800, 900>
<checkpoint {T2}>
<T3, start>
<T3, R, 300, 250>
<T3, commit>
<T2, S, 1000, 1100>
<T2, commit>
