[DF5200] t1 r1/5: park() returned; worker visits during 500ms 'parked' window: 13 -> 38 (RAN WHILE PARKED) SHOULD_PARK bit now=0
[DF5200] t1 r2/5: park() returned; worker visits during 500ms 'parked' window: 44 -> 69 (RAN WHILE PARKED) SHOULD_PARK bit now=0
[DF5200] t1 r3/5: park() returned; worker visits during 500ms 'parked' window: 75 -> 100 (RAN WHILE PARKED) SHOULD_PARK bit now=0
[DF5200] t1 r4/5: park() returned; worker visits during 500ms 'parked' window: 106 -> 131 (RAN WHILE PARKED) SHOULD_PARK bit now=0
[DF5200] t1 r5/5: park() returned; worker visits during 500ms 'parked' window: 137 -> 162 (RAN WHILE PARKED) SHOULD_PARK bit now=0
[DF5200] t1 RESULT: 5/5 rounds violated the park quiescence contract; 125 post-park visits total
[DF5200] t1 r1/5: park() returned; worker visits during 500ms 'parked' window: 13 -> 38 (RAN WHILE PARKED) SHOULD_PARK bit now=0
[DF5200] t1 r2/5: park() returned; worker visits during 500ms 'parked' window: 44 -> 69 (RAN WHILE PARKED) SHOULD_PARK bit now=0
[DF5200] t1 r3/5: park() returned; worker visits during 500ms 'parked' window: 75 -> 100 (RAN WHILE PARKED) SHOULD_PARK bit now=0
[DF5200] t1 r4/5: park() returned; worker visits during 500ms 'parked' window: 106 -> 131 (RAN WHILE PARKED) SHOULD_PARK bit now=0
[DF5200] t1 r5/5: park() returned; worker visits during 500ms 'parked' window: 137 -> 162 (RAN WHILE PARKED) SHOULD_PARK bit now=0
[DF5200] t1 RESULT: 5/5 rounds violated the park quiescence contract; 125 post-park visits total