isol_rc.out

Parsed test spec with 3 sessions

starting permutation: s1_begin s1_update1_byid s1_select1 s2_begin s2_update1_byid s1_commit s2_select1 s2_commit s1_select1 s2_select1
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update1_byid: UPDATE o_isorc SET val = val + 1 WHERE id = 1;
step s1_select1: SELECT * FROM o_isorc WHERE id = 1;
id|val
--+---
 1|  2
(1 row)

step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_update1_byid: UPDATE o_isorc SET val = val + 1 WHERE id = 1; <waiting ...>
step s1_commit: COMMIT;
step s2_update1_byid: <... completed>
step s2_select1: SELECT * FROM o_isorc WHERE id = 1;
id|val
--+---
 1|  3
(1 row)

step s2_commit: COMMIT;
step s1_select1: SELECT * FROM o_isorc WHERE id = 1;
id|val
--+---
 1|  3
(1 row)

step s2_select1: SELECT * FROM o_isorc WHERE id = 1;
id|val
--+---
 1|  3
(1 row)


starting permutation: s1_begin s1_update1_byval s1_select1 s2_begin s2_update1_byval s1_commit s2_select1 s2_commit s1_select1 s2_select1
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update1_byval: UPDATE o_isorc SET val = val + 1 WHERE val = 1;
step s1_select1: SELECT * FROM o_isorc WHERE id = 1;
id|val
--+---
 1|  2
(1 row)

step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_update1_byval: UPDATE o_isorc SET val = val + 1 WHERE val = 1; <waiting ...>
step s1_commit: COMMIT;
step s2_update1_byval: <... completed>
step s2_select1: SELECT * FROM o_isorc WHERE id = 1;
id|val
--+---
 1|  2
(1 row)

step s2_commit: COMMIT;
step s1_select1: SELECT * FROM o_isorc WHERE id = 1;
id|val
--+---
 1|  2
(1 row)

step s2_select1: SELECT * FROM o_isorc WHERE id = 1;
id|val
--+---
 1|  2
(1 row)


starting permutation: s1_begin s1_update s1_select s2_begin s2_update s1_commit s2_select s2_commit s1_select s2_select
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update: UPDATE o_isorc SET val = val + 1;
step s1_select: SELECT * FROM o_isorc;
id|val
--+---
 1|  2
 2|  2
 3|  2
 4|  2
 5|  2
 6|  2
 7|  2
 8|  2
 9|  2
10|  2
11|  2
12|  2
13|  2
14|  2
15|  2
16|  2
17|  2
18|  2
19|  2
20|  2
(20 rows)

step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_update: UPDATE o_isorc SET val = val + 1; <waiting ...>
step s1_commit: COMMIT;
step s2_update: <... completed>
step s2_select: SELECT * FROM o_isorc;
id|val
--+---
 1|  3
 2|  3
 3|  3
 4|  3
 5|  3
 6|  3
 7|  3
 8|  3
 9|  3
10|  3
11|  3
12|  3
13|  3
14|  3
15|  3
16|  3
17|  3
18|  3
19|  3
20|  3
(20 rows)

step s2_commit: COMMIT;
step s1_select: SELECT * FROM o_isorc;
id|val
--+---
 1|  3
 2|  3
 3|  3
 4|  3
 5|  3
 6|  3
 7|  3
 8|  3
 9|  3
10|  3
11|  3
12|  3
13|  3
14|  3
15|  3
16|  3
17|  3
18|  3
19|  3
20|  3
(20 rows)

step s2_select: SELECT * FROM o_isorc;
id|val
--+---
 1|  3
 2|  3
 3|  3
 4|  3
 5|  3
 6|  3
 7|  3
 8|  3
 9|  3
10|  3
11|  3
12|  3
13|  3
14|  3
15|  3
16|  3
17|  3
18|  3
19|  3
20|  3
(20 rows)


starting permutation: s1_begin s1_update s2_begin s2_update s1_commit s1_begin s1_update s2_commit s2_begin s2_update s1_commit s2_commit s1_select s2_select
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update: UPDATE o_isorc SET val = val + 1;
step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_update: UPDATE o_isorc SET val = val + 1; <waiting ...>
step s1_commit: COMMIT;
step s2_update: <... completed>
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update: UPDATE o_isorc SET val = val + 1; <waiting ...>
step s2_commit: COMMIT;
step s1_update: <... completed>
step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_update: UPDATE o_isorc SET val = val + 1; <waiting ...>
step s1_commit: COMMIT;
step s2_update: <... completed>
step s2_commit: COMMIT;
step s1_select: SELECT * FROM o_isorc;
id|val
--+---
 1|  5
 2|  5
 3|  5
 4|  5
 5|  5
 6|  5
 7|  5
 8|  5
 9|  5
10|  5
11|  5
12|  5
13|  5
14|  5
15|  5
16|  5
17|  5
18|  5
19|  5
20|  5
(20 rows)

step s2_select: SELECT * FROM o_isorc;
id|val
--+---
 1|  5
 2|  5
 3|  5
 4|  5
 5|  5
 6|  5
 7|  5
 8|  5
 9|  5
10|  5
11|  5
12|  5
13|  5
14|  5
15|  5
16|  5
17|  5
18|  5
19|  5
20|  5
(20 rows)


starting permutation: s1_begin s1_update_toast s2_begin s2_update_toast s1_commit s2_commit
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update_toast: UPDATE o_isorc_toast SET val = generate_string(1, 600) RETURNING *;
id|val                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     
--+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
 1|551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a
 2|551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a
 3|551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a
 4|551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a
 5|551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a
(5 rows)

step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_update_toast: UPDATE o_isorc_toast SET val = generate_string(2, 500) RETURNING *; <waiting ...>
step s1_commit: COMMIT;
step s2_update_toast: <... completed>
id|val                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 
--+--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
 1|420cf95170c6ba2f9564e48fccc7ee00b729591402c6e542833f2d3fb47e24327a0c5dc9f4e06caf214ccbe2701f7c7762728279bdb9fe95a939d34ec792105f46d0ae6fe0d74a3d5db450aef5c767817403a38e0c6a239925d383f68d5afd7b2caedc56690126055d0ae4ce45685c7fde2a2ea748398935b647e4b420a601e501791dabe8377fe5e573c1db3e4fa72b86c7f7c9dfd7e33e42cc40b5ccd4ef5d5fdcb9604af9b71eca08bce0955f4a91b12934d166df31860e6ef21babf8637938aa8cb657aa834dd606038da2c225eea2e29b02eaa3207598f05fbc36b27697b2bec56910c1241f706d3af9908d4559047fdf376d6ef865f28c
 2|420cf95170c6ba2f9564e48fccc7ee00b729591402c6e542833f2d3fb47e24327a0c5dc9f4e06caf214ccbe2701f7c7762728279bdb9fe95a939d34ec792105f46d0ae6fe0d74a3d5db450aef5c767817403a38e0c6a239925d383f68d5afd7b2caedc56690126055d0ae4ce45685c7fde2a2ea748398935b647e4b420a601e501791dabe8377fe5e573c1db3e4fa72b86c7f7c9dfd7e33e42cc40b5ccd4ef5d5fdcb9604af9b71eca08bce0955f4a91b12934d166df31860e6ef21babf8637938aa8cb657aa834dd606038da2c225eea2e29b02eaa3207598f05fbc36b27697b2bec56910c1241f706d3af9908d4559047fdf376d6ef865f28c
 3|420cf95170c6ba2f9564e48fccc7ee00b729591402c6e542833f2d3fb47e24327a0c5dc9f4e06caf214ccbe2701f7c7762728279bdb9fe95a939d34ec792105f46d0ae6fe0d74a3d5db450aef5c767817403a38e0c6a239925d383f68d5afd7b2caedc56690126055d0ae4ce45685c7fde2a2ea748398935b647e4b420a601e501791dabe8377fe5e573c1db3e4fa72b86c7f7c9dfd7e33e42cc40b5ccd4ef5d5fdcb9604af9b71eca08bce0955f4a91b12934d166df31860e6ef21babf8637938aa8cb657aa834dd606038da2c225eea2e29b02eaa3207598f05fbc36b27697b2bec56910c1241f706d3af9908d4559047fdf376d6ef865f28c
 4|420cf95170c6ba2f9564e48fccc7ee00b729591402c6e542833f2d3fb47e24327a0c5dc9f4e06caf214ccbe2701f7c7762728279bdb9fe95a939d34ec792105f46d0ae6fe0d74a3d5db450aef5c767817403a38e0c6a239925d383f68d5afd7b2caedc56690126055d0ae4ce45685c7fde2a2ea748398935b647e4b420a601e501791dabe8377fe5e573c1db3e4fa72b86c7f7c9dfd7e33e42cc40b5ccd4ef5d5fdcb9604af9b71eca08bce0955f4a91b12934d166df31860e6ef21babf8637938aa8cb657aa834dd606038da2c225eea2e29b02eaa3207598f05fbc36b27697b2bec56910c1241f706d3af9908d4559047fdf376d6ef865f28c
 5|420cf95170c6ba2f9564e48fccc7ee00b729591402c6e542833f2d3fb47e24327a0c5dc9f4e06caf214ccbe2701f7c7762728279bdb9fe95a939d34ec792105f46d0ae6fe0d74a3d5db450aef5c767817403a38e0c6a239925d383f68d5afd7b2caedc56690126055d0ae4ce45685c7fde2a2ea748398935b647e4b420a601e501791dabe8377fe5e573c1db3e4fa72b86c7f7c9dfd7e33e42cc40b5ccd4ef5d5fdcb9604af9b71eca08bce0955f4a91b12934d166df31860e6ef21babf8637938aa8cb657aa834dd606038da2c225eea2e29b02eaa3207598f05fbc36b27697b2bec56910c1241f706d3af9908d4559047fdf376d6ef865f28c
(5 rows)

step s2_commit: COMMIT;

starting permutation: s2_setup s3_setup s1_se_set s1_begin s1_update_toast s2_update_toast s3_update_toast s1_commit s1_se_set2 s1_reset
step s2_setup: 
	SET orioledb.enable_stopevents = true;
	SET application_name = 's2';
step s3_setup: 
	SET orioledb.enable_stopevents = true;
	SET application_name = 's3';
step s1_se_set: SELECT pg_stopevent_set('modify_start', 'true');
pg_stopevent_set
----------------
                
(1 row)

step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update_toast: UPDATE o_isorc_toast SET val = generate_string(1, 600) RETURNING *;
id|val                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     
--+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
 1|551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a
 2|551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a
 3|551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a
 4|551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a
 5|551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a
(5 rows)

step s2_update_toast: UPDATE o_isorc_toast SET val = generate_string(2, 500) RETURNING *; <waiting ...>
step s3_update_toast: UPDATE o_isorc_toast SET val = generate_string(3, 400) RETURNING *; <waiting ...>
step s1_commit: COMMIT;
step s1_se_set2: SELECT pg_stopevent_set('modify_start', '$applicationName == "s3"');
pg_stopevent_set
----------------
                
(1 row)

step s2_update_toast: <... completed>
id|val                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 
--+--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
 1|420cf95170c6ba2f9564e48fccc7ee00b729591402c6e542833f2d3fb47e24327a0c5dc9f4e06caf214ccbe2701f7c7762728279bdb9fe95a939d34ec792105f46d0ae6fe0d74a3d5db450aef5c767817403a38e0c6a239925d383f68d5afd7b2caedc56690126055d0ae4ce45685c7fde2a2ea748398935b647e4b420a601e501791dabe8377fe5e573c1db3e4fa72b86c7f7c9dfd7e33e42cc40b5ccd4ef5d5fdcb9604af9b71eca08bce0955f4a91b12934d166df31860e6ef21babf8637938aa8cb657aa834dd606038da2c225eea2e29b02eaa3207598f05fbc36b27697b2bec56910c1241f706d3af9908d4559047fdf376d6ef865f28c
 2|420cf95170c6ba2f9564e48fccc7ee00b729591402c6e542833f2d3fb47e24327a0c5dc9f4e06caf214ccbe2701f7c7762728279bdb9fe95a939d34ec792105f46d0ae6fe0d74a3d5db450aef5c767817403a38e0c6a239925d383f68d5afd7b2caedc56690126055d0ae4ce45685c7fde2a2ea748398935b647e4b420a601e501791dabe8377fe5e573c1db3e4fa72b86c7f7c9dfd7e33e42cc40b5ccd4ef5d5fdcb9604af9b71eca08bce0955f4a91b12934d166df31860e6ef21babf8637938aa8cb657aa834dd606038da2c225eea2e29b02eaa3207598f05fbc36b27697b2bec56910c1241f706d3af9908d4559047fdf376d6ef865f28c
 3|420cf95170c6ba2f9564e48fccc7ee00b729591402c6e542833f2d3fb47e24327a0c5dc9f4e06caf214ccbe2701f7c7762728279bdb9fe95a939d34ec792105f46d0ae6fe0d74a3d5db450aef5c767817403a38e0c6a239925d383f68d5afd7b2caedc56690126055d0ae4ce45685c7fde2a2ea748398935b647e4b420a601e501791dabe8377fe5e573c1db3e4fa72b86c7f7c9dfd7e33e42cc40b5ccd4ef5d5fdcb9604af9b71eca08bce0955f4a91b12934d166df31860e6ef21babf8637938aa8cb657aa834dd606038da2c225eea2e29b02eaa3207598f05fbc36b27697b2bec56910c1241f706d3af9908d4559047fdf376d6ef865f28c
 4|420cf95170c6ba2f9564e48fccc7ee00b729591402c6e542833f2d3fb47e24327a0c5dc9f4e06caf214ccbe2701f7c7762728279bdb9fe95a939d34ec792105f46d0ae6fe0d74a3d5db450aef5c767817403a38e0c6a239925d383f68d5afd7b2caedc56690126055d0ae4ce45685c7fde2a2ea748398935b647e4b420a601e501791dabe8377fe5e573c1db3e4fa72b86c7f7c9dfd7e33e42cc40b5ccd4ef5d5fdcb9604af9b71eca08bce0955f4a91b12934d166df31860e6ef21babf8637938aa8cb657aa834dd606038da2c225eea2e29b02eaa3207598f05fbc36b27697b2bec56910c1241f706d3af9908d4559047fdf376d6ef865f28c
 5|420cf95170c6ba2f9564e48fccc7ee00b729591402c6e542833f2d3fb47e24327a0c5dc9f4e06caf214ccbe2701f7c7762728279bdb9fe95a939d34ec792105f46d0ae6fe0d74a3d5db450aef5c767817403a38e0c6a239925d383f68d5afd7b2caedc56690126055d0ae4ce45685c7fde2a2ea748398935b647e4b420a601e501791dabe8377fe5e573c1db3e4fa72b86c7f7c9dfd7e33e42cc40b5ccd4ef5d5fdcb9604af9b71eca08bce0955f4a91b12934d166df31860e6ef21babf8637938aa8cb657aa834dd606038da2c225eea2e29b02eaa3207598f05fbc36b27697b2bec56910c1241f706d3af9908d4559047fdf376d6ef865f28c
(5 rows)

step s1_reset: SELECT pg_stopevent_reset('modify_start');
pg_stopevent_reset
------------------
t                 
(1 row)

step s3_update_toast: <... completed>
id|val                                                                                                                                                                                                                                                                                                                                                                                                             
--+----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
 1|a9a8d7170b9ee2c655e43ad9a5c5fb1bc135d8cb879d41a1d48dbe9766befe3015ad051bab9daab2d0b92eddabf93b63764cd5899f9f5e9eef1389d27209dd66a207f819b23ff90dc3d15cbad3a3e8994e01761c26ec8abdd1d8449d2c90685ddd434ab20cded902a94dc877db0c695492c97571e19ffd7041c364304ee9c87032564c0aed3bee4d253460c6253e1203ca5107aa4ddd98502fc311688150ca084820e879772fc8a3b32e6e521b3b3d0878f9a2ed2d3f459c37638ff72b4b46196e4cc7be2a7eb9ef
 2|a9a8d7170b9ee2c655e43ad9a5c5fb1bc135d8cb879d41a1d48dbe9766befe3015ad051bab9daab2d0b92eddabf93b63764cd5899f9f5e9eef1389d27209dd66a207f819b23ff90dc3d15cbad3a3e8994e01761c26ec8abdd1d8449d2c90685ddd434ab20cded902a94dc877db0c695492c97571e19ffd7041c364304ee9c87032564c0aed3bee4d253460c6253e1203ca5107aa4ddd98502fc311688150ca084820e879772fc8a3b32e6e521b3b3d0878f9a2ed2d3f459c37638ff72b4b46196e4cc7be2a7eb9ef
 3|a9a8d7170b9ee2c655e43ad9a5c5fb1bc135d8cb879d41a1d48dbe9766befe3015ad051bab9daab2d0b92eddabf93b63764cd5899f9f5e9eef1389d27209dd66a207f819b23ff90dc3d15cbad3a3e8994e01761c26ec8abdd1d8449d2c90685ddd434ab20cded902a94dc877db0c695492c97571e19ffd7041c364304ee9c87032564c0aed3bee4d253460c6253e1203ca5107aa4ddd98502fc311688150ca084820e879772fc8a3b32e6e521b3b3d0878f9a2ed2d3f459c37638ff72b4b46196e4cc7be2a7eb9ef
 4|a9a8d7170b9ee2c655e43ad9a5c5fb1bc135d8cb879d41a1d48dbe9766befe3015ad051bab9daab2d0b92eddabf93b63764cd5899f9f5e9eef1389d27209dd66a207f819b23ff90dc3d15cbad3a3e8994e01761c26ec8abdd1d8449d2c90685ddd434ab20cded902a94dc877db0c695492c97571e19ffd7041c364304ee9c87032564c0aed3bee4d253460c6253e1203ca5107aa4ddd98502fc311688150ca084820e879772fc8a3b32e6e521b3b3d0878f9a2ed2d3f459c37638ff72b4b46196e4cc7be2a7eb9ef
 5|a9a8d7170b9ee2c655e43ad9a5c5fb1bc135d8cb879d41a1d48dbe9766befe3015ad051bab9daab2d0b92eddabf93b63764cd5899f9f5e9eef1389d27209dd66a207f819b23ff90dc3d15cbad3a3e8994e01761c26ec8abdd1d8449d2c90685ddd434ab20cded902a94dc877db0c695492c97571e19ffd7041c364304ee9c87032564c0aed3bee4d253460c6253e1203ca5107aa4ddd98502fc311688150ca084820e879772fc8a3b32e6e521b3b3d0878f9a2ed2d3f459c37638ff72b4b46196e4cc7be2a7eb9ef
(5 rows)


starting permutation: s2_setup s3_setup s1_se_set s1_begin s1_update_toast2 s2_update_toast2 s3_update_toast2 s1_commit s1_se_set2 s1_reset
step s2_setup: 
	SET orioledb.enable_stopevents = true;
	SET application_name = 's2';
step s3_setup: 
	SET orioledb.enable_stopevents = true;
	SET application_name = 's3';
step s1_se_set: SELECT pg_stopevent_set('modify_start', 'true');
pg_stopevent_set
----------------
                
(1 row)

step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update_toast2: UPDATE o_isorc_toast SET val = val || generate_string(1, 600) RETURNING *;
id|val                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         
--+----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
 1|test551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a
 2|test551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a
 3|test551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a
 4|test551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a
 5|test551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a
(5 rows)

step s2_update_toast2: UPDATE o_isorc_toast SET val = val || generate_string(2, 500) RETURNING *; <waiting ...>
step s3_update_toast2: UPDATE o_isorc_toast SET val = val || generate_string(3, 400) RETURNING *; <waiting ...>
step s1_commit: COMMIT;
step s1_se_set2: SELECT pg_stopevent_set('modify_start', '$applicationName == "s3"');
pg_stopevent_set
----------------
                
(1 row)

step s2_update_toast2: <... completed>
id|val                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             
--+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
 1|test551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a420cf95170c6ba2f9564e48fccc7ee00b729591402c6e542833f2d3fb47e24327a0c5dc9f4e06caf214ccbe2701f7c7762728279bdb9fe95a939d34ec792105f46d0ae6fe0d74a3d5db450aef5c767817403a38e0c6a239925d383f68d5afd7b2caedc56690126055d0ae4ce45685c7fde2a2ea748398935b647e4b420a601e501791dabe8377fe5e573c1db3e4fa72b86c7f7c9dfd7e33e42cc40b5ccd4ef5d5fdcb9604af9b71eca08bce0955f4a91b12934d166df31860e6ef21babf8637938aa8cb657aa834dd606038da2c225eea2e29b02eaa3207598f05fbc36b27697b2bec56910c1241f706d3af9908d4559047fdf376d6ef865f28c
 2|test551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a420cf95170c6ba2f9564e48fccc7ee00b729591402c6e542833f2d3fb47e24327a0c5dc9f4e06caf214ccbe2701f7c7762728279bdb9fe95a939d34ec792105f46d0ae6fe0d74a3d5db450aef5c767817403a38e0c6a239925d383f68d5afd7b2caedc56690126055d0ae4ce45685c7fde2a2ea748398935b647e4b420a601e501791dabe8377fe5e573c1db3e4fa72b86c7f7c9dfd7e33e42cc40b5ccd4ef5d5fdcb9604af9b71eca08bce0955f4a91b12934d166df31860e6ef21babf8637938aa8cb657aa834dd606038da2c225eea2e29b02eaa3207598f05fbc36b27697b2bec56910c1241f706d3af9908d4559047fdf376d6ef865f28c
 3|test551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a420cf95170c6ba2f9564e48fccc7ee00b729591402c6e542833f2d3fb47e24327a0c5dc9f4e06caf214ccbe2701f7c7762728279bdb9fe95a939d34ec792105f46d0ae6fe0d74a3d5db450aef5c767817403a38e0c6a239925d383f68d5afd7b2caedc56690126055d0ae4ce45685c7fde2a2ea748398935b647e4b420a601e501791dabe8377fe5e573c1db3e4fa72b86c7f7c9dfd7e33e42cc40b5ccd4ef5d5fdcb9604af9b71eca08bce0955f4a91b12934d166df31860e6ef21babf8637938aa8cb657aa834dd606038da2c225eea2e29b02eaa3207598f05fbc36b27697b2bec56910c1241f706d3af9908d4559047fdf376d6ef865f28c
 4|test551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a420cf95170c6ba2f9564e48fccc7ee00b729591402c6e542833f2d3fb47e24327a0c5dc9f4e06caf214ccbe2701f7c7762728279bdb9fe95a939d34ec792105f46d0ae6fe0d74a3d5db450aef5c767817403a38e0c6a239925d383f68d5afd7b2caedc56690126055d0ae4ce45685c7fde2a2ea748398935b647e4b420a601e501791dabe8377fe5e573c1db3e4fa72b86c7f7c9dfd7e33e42cc40b5ccd4ef5d5fdcb9604af9b71eca08bce0955f4a91b12934d166df31860e6ef21babf8637938aa8cb657aa834dd606038da2c225eea2e29b02eaa3207598f05fbc36b27697b2bec56910c1241f706d3af9908d4559047fdf376d6ef865f28c
 5|test551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a420cf95170c6ba2f9564e48fccc7ee00b729591402c6e542833f2d3fb47e24327a0c5dc9f4e06caf214ccbe2701f7c7762728279bdb9fe95a939d34ec792105f46d0ae6fe0d74a3d5db450aef5c767817403a38e0c6a239925d383f68d5afd7b2caedc56690126055d0ae4ce45685c7fde2a2ea748398935b647e4b420a601e501791dabe8377fe5e573c1db3e4fa72b86c7f7c9dfd7e33e42cc40b5ccd4ef5d5fdcb9604af9b71eca08bce0955f4a91b12934d166df31860e6ef21babf8637938aa8cb657aa834dd606038da2c225eea2e29b02eaa3207598f05fbc36b27697b2bec56910c1241f706d3af9908d4559047fdf376d6ef865f28c
(5 rows)

step s1_reset: SELECT pg_stopevent_reset('modify_start');
pg_stopevent_reset
------------------
t                 
(1 row)

step s3_update_toast2: <... completed>
id|val                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             
--+----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
 1|test551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a420cf95170c6ba2f9564e48fccc7ee00b729591402c6e542833f2d3fb47e24327a0c5dc9f4e06caf214ccbe2701f7c7762728279bdb9fe95a939d34ec792105f46d0ae6fe0d74a3d5db450aef5c767817403a38e0c6a239925d383f68d5afd7b2caedc56690126055d0ae4ce45685c7fde2a2ea748398935b647e4b420a601e501791dabe8377fe5e573c1db3e4fa72b86c7f7c9dfd7e33e42cc40b5ccd4ef5d5fdcb9604af9b71eca08bce0955f4a91b12934d166df31860e6ef21babf8637938aa8cb657aa834dd606038da2c225eea2e29b02eaa3207598f05fbc36b27697b2bec56910c1241f706d3af9908d4559047fdf376d6ef865f28ca9a8d7170b9ee2c655e43ad9a5c5fb1bc135d8cb879d41a1d48dbe9766befe3015ad051bab9daab2d0b92eddabf93b63764cd5899f9f5e9eef1389d27209dd66a207f819b23ff90dc3d15cbad3a3e8994e01761c26ec8abdd1d8449d2c90685ddd434ab20cded902a94dc877db0c695492c97571e19ffd7041c364304ee9c87032564c0aed3bee4d253460c6253e1203ca5107aa4ddd98502fc311688150ca084820e879772fc8a3b32e6e521b3b3d0878f9a2ed2d3f459c37638ff72b4b46196e4cc7be2a7eb9ef
 2|test551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a420cf95170c6ba2f9564e48fccc7ee00b729591402c6e542833f2d3fb47e24327a0c5dc9f4e06caf214ccbe2701f7c7762728279bdb9fe95a939d34ec792105f46d0ae6fe0d74a3d5db450aef5c767817403a38e0c6a239925d383f68d5afd7b2caedc56690126055d0ae4ce45685c7fde2a2ea748398935b647e4b420a601e501791dabe8377fe5e573c1db3e4fa72b86c7f7c9dfd7e33e42cc40b5ccd4ef5d5fdcb9604af9b71eca08bce0955f4a91b12934d166df31860e6ef21babf8637938aa8cb657aa834dd606038da2c225eea2e29b02eaa3207598f05fbc36b27697b2bec56910c1241f706d3af9908d4559047fdf376d6ef865f28ca9a8d7170b9ee2c655e43ad9a5c5fb1bc135d8cb879d41a1d48dbe9766befe3015ad051bab9daab2d0b92eddabf93b63764cd5899f9f5e9eef1389d27209dd66a207f819b23ff90dc3d15cbad3a3e8994e01761c26ec8abdd1d8449d2c90685ddd434ab20cded902a94dc877db0c695492c97571e19ffd7041c364304ee9c87032564c0aed3bee4d253460c6253e1203ca5107aa4ddd98502fc311688150ca084820e879772fc8a3b32e6e521b3b3d0878f9a2ed2d3f459c37638ff72b4b46196e4cc7be2a7eb9ef
 3|test551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a420cf95170c6ba2f9564e48fccc7ee00b729591402c6e542833f2d3fb47e24327a0c5dc9f4e06caf214ccbe2701f7c7762728279bdb9fe95a939d34ec792105f46d0ae6fe0d74a3d5db450aef5c767817403a38e0c6a239925d383f68d5afd7b2caedc56690126055d0ae4ce45685c7fde2a2ea748398935b647e4b420a601e501791dabe8377fe5e573c1db3e4fa72b86c7f7c9dfd7e33e42cc40b5ccd4ef5d5fdcb9604af9b71eca08bce0955f4a91b12934d166df31860e6ef21babf8637938aa8cb657aa834dd606038da2c225eea2e29b02eaa3207598f05fbc36b27697b2bec56910c1241f706d3af9908d4559047fdf376d6ef865f28ca9a8d7170b9ee2c655e43ad9a5c5fb1bc135d8cb879d41a1d48dbe9766befe3015ad051bab9daab2d0b92eddabf93b63764cd5899f9f5e9eef1389d27209dd66a207f819b23ff90dc3d15cbad3a3e8994e01761c26ec8abdd1d8449d2c90685ddd434ab20cded902a94dc877db0c695492c97571e19ffd7041c364304ee9c87032564c0aed3bee4d253460c6253e1203ca5107aa4ddd98502fc311688150ca084820e879772fc8a3b32e6e521b3b3d0878f9a2ed2d3f459c37638ff72b4b46196e4cc7be2a7eb9ef
 4|test551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a420cf95170c6ba2f9564e48fccc7ee00b729591402c6e542833f2d3fb47e24327a0c5dc9f4e06caf214ccbe2701f7c7762728279bdb9fe95a939d34ec792105f46d0ae6fe0d74a3d5db450aef5c767817403a38e0c6a239925d383f68d5afd7b2caedc56690126055d0ae4ce45685c7fde2a2ea748398935b647e4b420a601e501791dabe8377fe5e573c1db3e4fa72b86c7f7c9dfd7e33e42cc40b5ccd4ef5d5fdcb9604af9b71eca08bce0955f4a91b12934d166df31860e6ef21babf8637938aa8cb657aa834dd606038da2c225eea2e29b02eaa3207598f05fbc36b27697b2bec56910c1241f706d3af9908d4559047fdf376d6ef865f28ca9a8d7170b9ee2c655e43ad9a5c5fb1bc135d8cb879d41a1d48dbe9766befe3015ad051bab9daab2d0b92eddabf93b63764cd5899f9f5e9eef1389d27209dd66a207f819b23ff90dc3d15cbad3a3e8994e01761c26ec8abdd1d8449d2c90685ddd434ab20cded902a94dc877db0c695492c97571e19ffd7041c364304ee9c87032564c0aed3bee4d253460c6253e1203ca5107aa4ddd98502fc311688150ca084820e879772fc8a3b32e6e521b3b3d0878f9a2ed2d3f459c37638ff72b4b46196e4cc7be2a7eb9ef
 5|test551e8b15be547418fbf590c79023f435b2e9e6ceae7dd8da7c62f0a74071d4ea921eeedc8c29ecd667e57d288b89132c2623411305352849a23a56da226d4c9d21ef536a074f046f121cfc381d2397da977137de1e3462d86105158877c4975784175aeec4328db2ae8afb3f0f3bce90661377912e25ef84d0a444560eb25fb147bc381cef72def876c01d64ec146d17b87df386a61a2c9dbf0cb44dee81268195e54ae668b3b178ac059e71473c20cfe0b4c7b1023aea1573dbd6e7984399f1397f00f2715072061179fb3e62006b0dfd58814826761284aa062be32c3fd46c8100d4c9f64004d64beb67b6c6fb3692065f5aee0a956890cc7b1849c69d893b51f43151bdc541a12575c22c894133d5d47a5557de984ab04b0591d756b48403bf27fc48662612a8f22ca22a420cf95170c6ba2f9564e48fccc7ee00b729591402c6e542833f2d3fb47e24327a0c5dc9f4e06caf214ccbe2701f7c7762728279bdb9fe95a939d34ec792105f46d0ae6fe0d74a3d5db450aef5c767817403a38e0c6a239925d383f68d5afd7b2caedc56690126055d0ae4ce45685c7fde2a2ea748398935b647e4b420a601e501791dabe8377fe5e573c1db3e4fa72b86c7f7c9dfd7e33e42cc40b5ccd4ef5d5fdcb9604af9b71eca08bce0955f4a91b12934d166df31860e6ef21babf8637938aa8cb657aa834dd606038da2c225eea2e29b02eaa3207598f05fbc36b27697b2bec56910c1241f706d3af9908d4559047fdf376d6ef865f28ca9a8d7170b9ee2c655e43ad9a5c5fb1bc135d8cb879d41a1d48dbe9766befe3015ad051bab9daab2d0b92eddabf93b63764cd5899f9f5e9eef1389d27209dd66a207f819b23ff90dc3d15cbad3a3e8994e01761c26ec8abdd1d8449d2c90685ddd434ab20cded902a94dc877db0c695492c97571e19ffd7041c364304ee9c87032564c0aed3bee4d253460c6253e1203ca5107aa4ddd98502fc311688150ca084820e879772fc8a3b32e6e521b3b3d0878f9a2ed2d3f459c37638ff72b4b46196e4cc7be2a7eb9ef
(5 rows)


starting permutation: s1_begin s1_update1_byid s1_select1 s2_begin s2_delete1 s1_commit s2_select1 s2_commit s1_select1 s2_select1
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update1_byid: UPDATE o_isorc SET val = val + 1 WHERE id = 1;
step s1_select1: SELECT * FROM o_isorc WHERE id = 1;
id|val
--+---
 1|  2
(1 row)

step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_delete1: DELETE FROM o_isorc WHERE val = 1; <waiting ...>
step s1_commit: COMMIT;
step s2_delete1: <... completed>
step s2_select1: SELECT * FROM o_isorc WHERE id = 1;
id|val
--+---
 1|  2
(1 row)

step s2_commit: COMMIT;
step s1_select1: SELECT * FROM o_isorc WHERE id = 1;
id|val
--+---
 1|  2
(1 row)

step s2_select1: SELECT * FROM o_isorc WHERE id = 1;
id|val
--+---
 1|  2
(1 row)


starting permutation: s1_begin s1_update1_byid s1_select1 s2_begin s2_delete2 s1_commit s2_select1 s2_commit s1_select1 s2_select1
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update1_byid: UPDATE o_isorc SET val = val + 1 WHERE id = 1;
step s1_select1: SELECT * FROM o_isorc WHERE id = 1;
id|val
--+---
 1|  2
(1 row)

step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_delete2: DELETE FROM o_isorc WHERE val = 2;
step s1_commit: COMMIT;
step s2_select1: SELECT * FROM o_isorc WHERE id = 1;
id|val
--+---
 1|  2
(1 row)

step s2_commit: COMMIT;
step s1_select1: SELECT * FROM o_isorc WHERE id = 1;
id|val
--+---
 1|  2
(1 row)

step s2_select1: SELECT * FROM o_isorc WHERE id = 1;
id|val
--+---
 1|  2
(1 row)


starting permutation: s1_begin s1_update1_byid s1_select1 s2_begin s2_delete12 s1_commit s2_select1 s2_commit s1_select1 s2_select1
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update1_byid: UPDATE o_isorc SET val = val + 1 WHERE id = 1;
step s1_select1: SELECT * FROM o_isorc WHERE id = 1;
id|val
--+---
 1|  2
(1 row)

step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_delete12: DELETE FROM o_isorc WHERE val BETWEEN 1 and 2; <waiting ...>
step s1_commit: COMMIT;
step s2_delete12: <... completed>
step s2_select1: SELECT * FROM o_isorc WHERE id = 1;
id|val
--+---
(0 rows)

step s2_commit: COMMIT;
step s1_select1: SELECT * FROM o_isorc WHERE id = 1;
id|val
--+---
(0 rows)

step s2_select1: SELECT * FROM o_isorc WHERE id = 1;
id|val
--+---
(0 rows)


starting permutation: s1_begin s1_update1_10 s1_update11_20 s1_select s2_begin s2_delete1 s1_commit s2_select s2_commit s1_select s2_select
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update1_10: UPDATE o_isorc SET val = val + 1 WHERE id <= 10;
step s1_update11_20: UPDATE o_isorc SET val = val + 2 WHERE id > 10;
step s1_select: SELECT * FROM o_isorc;
id|val
--+---
 1|  2
 2|  2
 3|  2
 4|  2
 5|  2
 6|  2
 7|  2
 8|  2
 9|  2
10|  2
11|  3
12|  3
13|  3
14|  3
15|  3
16|  3
17|  3
18|  3
19|  3
20|  3
(20 rows)

step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_delete1: DELETE FROM o_isorc WHERE val = 1; <waiting ...>
step s1_commit: COMMIT;
step s2_delete1: <... completed>
step s2_select: SELECT * FROM o_isorc;
id|val
--+---
 1|  2
 2|  2
 3|  2
 4|  2
 5|  2
 6|  2
 7|  2
 8|  2
 9|  2
10|  2
11|  3
12|  3
13|  3
14|  3
15|  3
16|  3
17|  3
18|  3
19|  3
20|  3
(20 rows)

step s2_commit: COMMIT;
step s1_select: SELECT * FROM o_isorc;
id|val
--+---
 1|  2
 2|  2
 3|  2
 4|  2
 5|  2
 6|  2
 7|  2
 8|  2
 9|  2
10|  2
11|  3
12|  3
13|  3
14|  3
15|  3
16|  3
17|  3
18|  3
19|  3
20|  3
(20 rows)

step s2_select: SELECT * FROM o_isorc;
id|val
--+---
 1|  2
 2|  2
 3|  2
 4|  2
 5|  2
 6|  2
 7|  2
 8|  2
 9|  2
10|  2
11|  3
12|  3
13|  3
14|  3
15|  3
16|  3
17|  3
18|  3
19|  3
20|  3
(20 rows)


starting permutation: s1_begin s1_update1_10 s1_update11_20 s1_select s2_begin s2_delete2 s1_commit s2_select s2_commit s1_select s2_select
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update1_10: UPDATE o_isorc SET val = val + 1 WHERE id <= 10;
step s1_update11_20: UPDATE o_isorc SET val = val + 2 WHERE id > 10;
step s1_select: SELECT * FROM o_isorc;
id|val
--+---
 1|  2
 2|  2
 3|  2
 4|  2
 5|  2
 6|  2
 7|  2
 8|  2
 9|  2
10|  2
11|  3
12|  3
13|  3
14|  3
15|  3
16|  3
17|  3
18|  3
19|  3
20|  3
(20 rows)

step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_delete2: DELETE FROM o_isorc WHERE val = 2;
step s1_commit: COMMIT;
step s2_select: SELECT * FROM o_isorc;
id|val
--+---
 1|  2
 2|  2
 3|  2
 4|  2
 5|  2
 6|  2
 7|  2
 8|  2
 9|  2
10|  2
11|  3
12|  3
13|  3
14|  3
15|  3
16|  3
17|  3
18|  3
19|  3
20|  3
(20 rows)

step s2_commit: COMMIT;
step s1_select: SELECT * FROM o_isorc;
id|val
--+---
 1|  2
 2|  2
 3|  2
 4|  2
 5|  2
 6|  2
 7|  2
 8|  2
 9|  2
10|  2
11|  3
12|  3
13|  3
14|  3
15|  3
16|  3
17|  3
18|  3
19|  3
20|  3
(20 rows)

step s2_select: SELECT * FROM o_isorc;
id|val
--+---
 1|  2
 2|  2
 3|  2
 4|  2
 5|  2
 6|  2
 7|  2
 8|  2
 9|  2
10|  2
11|  3
12|  3
13|  3
14|  3
15|  3
16|  3
17|  3
18|  3
19|  3
20|  3
(20 rows)


starting permutation: s1_begin s1_update1_10 s1_update11_20 s1_select s2_begin s2_delete12 s1_commit s2_select s2_commit s1_select s2_select
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update1_10: UPDATE o_isorc SET val = val + 1 WHERE id <= 10;
step s1_update11_20: UPDATE o_isorc SET val = val + 2 WHERE id > 10;
step s1_select: SELECT * FROM o_isorc;
id|val
--+---
 1|  2
 2|  2
 3|  2
 4|  2
 5|  2
 6|  2
 7|  2
 8|  2
 9|  2
10|  2
11|  3
12|  3
13|  3
14|  3
15|  3
16|  3
17|  3
18|  3
19|  3
20|  3
(20 rows)

step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_delete12: DELETE FROM o_isorc WHERE val BETWEEN 1 and 2; <waiting ...>
step s1_commit: COMMIT;
step s2_delete12: <... completed>
step s2_select: SELECT * FROM o_isorc;
id|val
--+---
11|  3
12|  3
13|  3
14|  3
15|  3
16|  3
17|  3
18|  3
19|  3
20|  3
(10 rows)

step s2_commit: COMMIT;
step s1_select: SELECT * FROM o_isorc;
id|val
--+---
11|  3
12|  3
13|  3
14|  3
15|  3
16|  3
17|  3
18|  3
19|  3
20|  3
(10 rows)

step s2_select: SELECT * FROM o_isorc;
id|val
--+---
11|  3
12|  3
13|  3
14|  3
15|  3
16|  3
17|  3
18|  3
19|  3
20|  3
(10 rows)


starting permutation: s1_begin s2_begin s1_update1_byid s2_update_id1 s1_commit s2_commit s1_select
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update1_byid: UPDATE o_isorc SET val = val + 1 WHERE id = 1;
step s2_update_id1: UPDATE o_isorc SET id = val WHERE id = 1; <waiting ...>
step s1_commit: COMMIT;
step s2_update_id1: <... completed>
step s2_commit: COMMIT;
step s1_select: SELECT * FROM o_isorc;
id|val
--+---
 2|  2
 2|  1
 3|  1
 4|  1
 5|  1
 6|  1
 7|  1
 8|  1
 9|  1
10|  1
11|  1
12|  1
13|  1
14|  1
15|  1
16|  1
17|  1
18|  1
19|  1
20|  1
(20 rows)


starting permutation: s1_begin s2_begin s1_update1_byid s2_update_id1 s1_rollback s2_commit s1_select
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update1_byid: UPDATE o_isorc SET val = val + 1 WHERE id = 1;
step s2_update_id1: UPDATE o_isorc SET id = val WHERE id = 1; <waiting ...>
step s1_rollback: ROLLBACK;
step s2_update_id1: <... completed>
step s2_commit: COMMIT;
step s1_select: SELECT * FROM o_isorc;
id|val
--+---
 1|  1
 2|  1
 3|  1
 4|  1
 5|  1
 6|  1
 7|  1
 8|  1
 9|  1
10|  1
11|  1
12|  1
13|  1
14|  1
15|  1
16|  1
17|  1
18|  1
19|  1
20|  1
(20 rows)


starting permutation: s1_begin s2_begin s1_update2_byid s2_update_id2 s1_commit s2_commit s1_select
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update2_byid: UPDATE o_isorc SET val = val + 1 WHERE id = 2;
step s2_update_id2: UPDATE o_isorc SET id = val WHERE id = 2; <waiting ...>
step s1_commit: COMMIT;
step s2_update_id2: <... completed>
step s2_commit: COMMIT;
step s1_select: SELECT * FROM o_isorc;
id|val
--+---
 1|  1
 2|  2
 3|  1
 4|  1
 5|  1
 6|  1
 7|  1
 8|  1
 9|  1
10|  1
11|  1
12|  1
13|  1
14|  1
15|  1
16|  1
17|  1
18|  1
19|  1
20|  1
(20 rows)


starting permutation: s1_begin s2_begin s1_update2_byid s2_update_id2 s1_rollback s2_commit s1_select
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update2_byid: UPDATE o_isorc SET val = val + 1 WHERE id = 2;
step s2_update_id2: UPDATE o_isorc SET id = val WHERE id = 2; <waiting ...>
step s1_rollback: ROLLBACK;
step s2_update_id2: <... completed>
step s2_commit: COMMIT;
step s1_select: SELECT * FROM o_isorc;
id|val
--+---
 1|  1
 1|  1
 3|  1
 4|  1
 5|  1
 6|  1
 7|  1
 8|  1
 9|  1
10|  1
11|  1
12|  1
13|  1
14|  1
15|  1
16|  1
17|  1
18|  1
19|  1
20|  1
(20 rows)


starting permutation: s1_begin s2_begin s1_update1_byid s2_delete1_val1 s1_commit s2_commit s1_select
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update1_byid: UPDATE o_isorc SET val = val + 1 WHERE id = 1;
step s2_delete1_val1: DELETE FROM o_isorc WHERE id = 1 AND val = 1; <waiting ...>
step s1_commit: COMMIT;
step s2_delete1_val1: <... completed>
step s2_commit: COMMIT;
step s1_select: SELECT * FROM o_isorc;
id|val
--+---
 1|  2
 2|  1
 3|  1
 4|  1
 5|  1
 6|  1
 7|  1
 8|  1
 9|  1
10|  1
11|  1
12|  1
13|  1
14|  1
15|  1
16|  1
17|  1
18|  1
19|  1
20|  1
(20 rows)


starting permutation: s1_begin s2_begin s1_update1_byid s2_delete1_val1 s1_rollback s2_commit s1_select
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update1_byid: UPDATE o_isorc SET val = val + 1 WHERE id = 1;
step s2_delete1_val1: DELETE FROM o_isorc WHERE id = 1 AND val = 1; <waiting ...>
step s1_rollback: ROLLBACK;
step s2_delete1_val1: <... completed>
step s2_commit: COMMIT;
step s1_select: SELECT * FROM o_isorc;
id|val
--+---
 2|  1
 3|  1
 4|  1
 5|  1
 6|  1
 7|  1
 8|  1
 9|  1
10|  1
11|  1
12|  1
13|  1
14|  1
15|  1
16|  1
17|  1
18|  1
19|  1
20|  1
(19 rows)


starting permutation: s1_begin s2_begin s1_delete_pk_id s2_update_pk_val s1_commit s2_commit
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_delete_pk_id: DELETE FROM o_isorc_pk WHERE id = 1;
step s2_update_pk_val: UPDATE o_isorc_pk SET val = val + 1 WHERE val = 1; <waiting ...>
step s1_commit: COMMIT;
step s2_update_pk_val: <... completed>
step s2_commit: COMMIT;

starting permutation: s1_begin s2_begin s1_delete_pk_id s2_update_pk_id s1_commit s2_commit
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_delete_pk_id: DELETE FROM o_isorc_pk WHERE id = 1;
step s2_update_pk_id: UPDATE o_isorc_pk SET id = id + 1 WHERE val = 1; <waiting ...>
step s1_commit: COMMIT;
step s2_update_pk_id: <... completed>
step s2_commit: COMMIT;

starting permutation: s1_begin s2_begin s1_update_pk_val s2_update_pk_val s1_commit s2_commit
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update_pk_val: UPDATE o_isorc_pk SET val = val + 1 WHERE id = 1;
step s2_update_pk_val: UPDATE o_isorc_pk SET val = val + 1 WHERE val = 1; <waiting ...>
step s1_commit: COMMIT;
step s2_update_pk_val: <... completed>
step s2_commit: COMMIT;

starting permutation: s1_begin s2_begin s1_update_pk_val s2_delete_pk_val s1_commit s2_commit
step s1_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s2_begin: BEGIN ISOLATION LEVEL READ COMMITTED;
step s1_update_pk_val: UPDATE o_isorc_pk SET val = val + 1 WHERE id = 1;
step s2_delete_pk_val: DELETE FROM o_isorc_pk WHERE val = 1; <waiting ...>
step s1_commit: COMMIT;
step s2_delete_pk_val: <... completed>
step s2_commit: COMMIT;