process_23_5_revised.log

1591312493.044 171762 0 SHOW 5ed9806c.29ef2 jepsen process 23 LOG:  execute <unnamed>: SHOW TRANSACTION ISOLATION LEVEL
1591312493.044 171762 0 SET 5ed9806c.29ef2 jepsen process 23 LOG:  execute <unnamed>: SET SESSION CHARACTERISTICS AS TRANSACTION ISOLATION LEVEL SERIALIZABLE
1591312493.044 171762 0 BEGIN 5ed9806c.29ef2 jepsen process 23 LOG:  execute <unnamed>: BEGIN
1591312493.044 171762 0 SELECT 5ed9806c.29ef2 jepsen process 23 LOG:  execute <unnamed>: select (val) from txn2 where sk = $1 
1591312493.044 171762 0 SELECT 5ed9806c.29ef2 jepsen process 23 DETAIL:  parameters: $1 = '100'
1591312493.045 171762 0 UPDATE 5ed9806c.29ef2 jepsen process 23 LOG:  execute <unnamed>: update txn0 set val = CONCAT(val, ',', $1) where id = $2
1591312493.045 171762 0 UPDATE 5ed9806c.29ef2 jepsen process 23 DETAIL:  parameters: $1 = '1', $2 = '101'
1591312493.045 171762 0 SAVEPOINT 5ed9806c.29ef2 jepsen process 23 LOG:  execute <unnamed>: savepoint upsert
1591312493.045 171762 0 INSERT 5ed9806c.29ef2 jepsen process 23 LOG:  execute <unnamed>: insert into txn0 (id, sk, val) values ($1, $2, $3)
1591312493.045 171762 0 INSERT 5ed9806c.29ef2 jepsen process 23 DETAIL:  parameters: $1 = '101', $2 = '101', $3 = '1'
1591312493.046 171762 1197960 RELEASE 5ed9806c.29ef2 jepsen process 23 LOG:  execute <unnamed>: release savepoint upsert
1591312493.046 171762 1197960 SELECT 5ed9806c.29ef2 jepsen process 23 LOG:  execute <unnamed>: select (val) from txn0 where id = $1 
1591312493.046 171762 1197960 SELECT 5ed9806c.29ef2 jepsen process 23 DETAIL:  parameters: $1 = '101'
1591312493.046 171734 0 SHOW 5ed9806c.29ed6 jepsen process 5 LOG:  execute <unnamed>: SHOW TRANSACTION ISOLATION LEVEL
1591312493.046 171762 1197960 SELECT 5ed9806c.29ef2 jepsen process 23 LOG:  execute <unnamed>: select (val) from txn0 where sk = $1 
1591312493.046 171762 1197960 SELECT 5ed9806c.29ef2 jepsen process 23 DETAIL:  parameters: $1 = '96'
1591312493.046 171734 0 SET 5ed9806c.29ed6 jepsen process 5 LOG:  execute <unnamed>: SET SESSION CHARACTERISTICS AS TRANSACTION ISOLATION LEVEL SERIALIZABLE
1591312493.046 171734 0 BEGIN 5ed9806c.29ed6 jepsen process 5 LOG:  execute <unnamed>: BEGIN
1591312493.046 171734 0 UPDATE 5ed9806c.29ed6 jepsen process 5 LOG:  execute <unnamed>: update txn2 set val = CONCAT(val, ',', $1) where id = $2
1591312493.046 171734 0 UPDATE 5ed9806c.29ed6 jepsen process 5 DETAIL:  parameters: $1 = '1', $2 = '100'
1591312493.046 171762 1197960 COMMIT 5ed9806c.29ef2 jepsen process 23 LOG:  execute <unnamed>: COMMIT
1591312493.047 171762 0 SET 5ed9806c.29ef2 jepsen process 23 LOG:  execute <unnamed>: SET SESSION CHARACTERISTICS AS TRANSACTION ISOLATION LEVEL SERIALIZABLE
1591312493.047 171734 0 SAVEPOINT 5ed9806c.29ed6 jepsen process 5 LOG:  execute <unnamed>: savepoint upsert
1591312493.047 171734 0 INSERT 5ed9806c.29ed6 jepsen process 5 LOG:  execute <unnamed>: insert into txn2 (id, sk, val) values ($1, $2, $3)
1591312493.047 171734 0 INSERT 5ed9806c.29ed6 jepsen process 5 DETAIL:  parameters: $1 = '100', $2 = '100', $3 = '1'
1591312493.047 171734 1197963 RELEASE 5ed9806c.29ed6 jepsen process 5 LOG:  execute <unnamed>: release savepoint upsert
1591312493.047 171734 1197963 SELECT 5ed9806c.29ed6 jepsen process 5 LOG:  execute <unnamed>: select (val) from txn2 where id = $1 
1591312493.047 171734 1197963 SELECT 5ed9806c.29ed6 jepsen process 5 DETAIL:  parameters: $1 = '99'
1591312493.047 171734 1197963 SELECT 5ed9806c.29ed6 jepsen process 5 LOG:  execute <unnamed>: select (val) from txn0 where sk = $1 
1591312493.047 171734 1197963 SELECT 5ed9806c.29ed6 jepsen process 5 DETAIL:  parameters: $1 = '101'
1591312493.048 171734 1197963 UPDATE 5ed9806c.29ed6 jepsen process 5 LOG:  execute <unnamed>: update txn1 set val = CONCAT(val, ',', $1) where id = $2
1591312493.048 171734 1197963 UPDATE 5ed9806c.29ed6 jepsen process 5 DETAIL:  parameters: $1 = '4', $2 = '4'
1591312493.048 171734 1197963 COMMIT 5ed9806c.29ed6 jepsen process 5 LOG:  execute <unnamed>: COMMIT