INFO jepsen.core - Worker 0 starting INFO jepsen.util - 2 :invoke :read nil INFO jepsen.util - 4 :invoke :read nil INFO jepsen.util - 1 :invoke :write 1 INFO jepsen.util - 0 :invoke :write 3 INFO jepsen.util - 3 :invoke :cas [4 3] INFO jepsen.util - 2 :ok :read nil INFO jepsen.util - 1 :ok :write 1 INFO jepsen.util - 4 :ok :read nil INFO jepsen.util - 0 :ok :write 3 INFO jepsen.util - 3 :fail :cas [4 3] INFO jepsen.util - 2 :invoke :write 3 INFO jepsen.util - 1 :invoke :write 3 INFO jepsen.util - 4 :invoke :cas [0 1] INFO jepsen.util - 2 :ok :write 3 INFO jepsen.util - 1 :ok :write 3 INFO jepsen.util - 4 :fail :cas [0 1] INFO jepsen.util - 0 :invoke :read nil INFO jepsen.util - 3 :invoke :read nil INFO jepsen.util - 0 :ok :read 3 INFO jepsen.util - 3 :ok :read 3 INFO jepsen.util - 2 :invoke :read nil INFO jepsen.util - 1 :invoke :read nil INFO jepsen.util - 2 :ok :read 3 INFO jepsen.util - 4 :invoke :cas [2 1] INFO jepsen.util - 1 :ok :read 3 INFO jepsen.util - 4 :fail :cas [2 1] INFO jepsen.util - 0 :invoke :read nil INFO jepsen.util - 0 :ok :read 3 INFO jepsen.util - 3 :invoke :write 4 INFO jepsen.util - 3 :ok :write 4 INFO jepsen.util - 2 :invoke :write 0 INFO jepsen.util - 1 :invoke :read nil INFO jepsen.util - 2 :ok :write 0 INFO jepsen.util - 4 :invoke :write 4 INFO jepsen.util - 1 :ok :read 0 INFO jepsen.util - 0 :invoke :read nil INFO jepsen.util - 4 :ok :write 4 INFO jepsen.util - 0 :ok :read 4 INFO jepsen.util - :nemesis :info :start nil INFO jepsen.util - 3 :invoke :read nil INFO jepsen.util - 3 :ok :read 4 INFO jepsen.util - 2 :invoke :read nil INFO jepsen.util - 1 :invoke :read nil INFO jepsen.util - 4 :invoke :read nil INFO jepsen.util - 0 :invoke :read nil INFO jepsen.util - 1 :ok :read 4 INFO jepsen.util - :nemesis :info :start "Cut off {:n5 #{:n3 :n1}, :n2 #{:n3 :n1}, :n4 #{:n3 :n1}, :n1 #{:n4 :n2 :n5}, :n3 #{:n4 :n2 :n5}}" INFO jepsen.util - 4 :ok :read 4 INFO jepsen.util - 3 :invoke :write 1 INFO jepsen.util - 3 :ok :write 1 INFO jepsen.util - 2 :fail :read :timed-out INFO jepsen.util - 0 :fail :read :timed-out INFO jepsen.util - 1 :invoke :write 3 INFO jepsen.util - 1 :ok :write 3 INFO jepsen.util - 4 :invoke :cas [2 1] INFO jepsen.util - 3 :invoke :write 3 INFO jepsen.util - 3 :ok :write 3 INFO jepsen.util - 4 :fail :cas [2 1] INFO jepsen.util - 2 :invoke :write 4 INFO jepsen.util - 0 :invoke :cas [0 0] INFO jepsen.util - 1 :invoke :cas [2 3] INFO jepsen.util - 1 :fail :cas [2 3] INFO jepsen.util - 3 :invoke :cas [4 2] INFO jepsen.util - 4 :invoke :read nil INFO jepsen.util - 2 :info :write :timed-out INFO jepsen.util - 0 :info :cas :timed-out INFO jepsen.util - 1 :invoke :read nil INFO jepsen.util - 1 :ok :read 3 INFO jepsen.util - 4 :ok :read 3 INFO jepsen.util - 3 :fail :cas [4 2] INFO jepsen.util - 7 :invoke :write 4 INFO jepsen.util - 5 :invoke :read nil INFO jepsen.util - 1 :invoke :write 2 INFO jepsen.util - 1 :ok :write 2 INFO jepsen.util - 4 :invoke :read nil INFO jepsen.util - 3 :invoke :cas [3 4] INFO jepsen.util - 4 :ok :read 2 INFO jepsen.util - 7 :info :write :timed-out INFO jepsen.util - 3 :fail :cas [3 4] INFO jepsen.util - 5 :fail :read :timed-out INFO jepsen.util - :nemesis :info :stop nil INFO jepsen.util - 1 :invoke :write 0 INFO jepsen.util - 4 :invoke :cas [1 0] INFO jepsen.util - 1 :ok :write 0 INFO jepsen.util - 4 :fail :cas [1 0] INFO jepsen.util - :nemesis :info :stop "fully connected" INFO jepsen.util - 12 :invoke :write 1 INFO jepsen.util - 3 :invoke :write 0 INFO jepsen.util - 5 :invoke :read nil INFO jepsen.util - 1 :invoke :cas [1 2] INFO jepsen.util - 4 :invoke :cas [4 4] INFO jepsen.util - 12 :info :write :timed-out INFO jepsen.util - 3 :info :write :timed-out INFO jepsen.util - 5 :fail :read :timed-out INFO jepsen.util - 1 :info :cas :timed-out INFO jepsen.util - 4 :info :cas :timed-out INFO jepsen.util - 17 :invoke :read nil INFO jepsen.util - 8 :invoke :read nil INFO jepsen.util - 5 :invoke :write 1 INFO jepsen.util - 6 :invoke :cas [0 0] INFO jepsen.util - 17 :ok :read 1 INFO jepsen.util - 5 :ok :write 1 INFO jepsen.util - 8 :ok :read 0 INFO jepsen.util - 9 :invoke :write 0 INFO jepsen.util - 9 :ok :write 0 INFO jepsen.util - 6 :fail :cas [0 0] INFO jepsen.util - 17 :invoke :read nil INFO jepsen.util - 5 :invoke :cas [0 4] INFO jepsen.util - 8 :invoke :cas [1 2] INFO jepsen.util - 9 :invoke :cas [0 1] INFO jepsen.util - 5 :ok :cas [0 4] INFO jepsen.util - 6 :invoke :write 0 INFO jepsen.util - 9 :fail :cas [0 1] INFO jepsen.util - 17 :ok :read 4 INFO jepsen.util - 8 :fail :cas [1 2] INFO jepsen.util - 6 :ok :write 0 INFO jepsen.util - 5 :invoke :cas [1 3] INFO jepsen.util - 9 :invoke :read nil INFO jepsen.util - :nemesis :info :start nil INFO jepsen.util - 17 :invoke :cas [4 1] INFO jepsen.util - 6 :invoke :cas [0 3] INFO jepsen.util - 8 :invoke :write 3 INFO jepsen.util - 5 :fail :cas [1 3] INFO jepsen.util - 9 :ok :read 0 INFO jepsen.util - 17 :fail :cas [4 1] INFO jepsen.util - 8 :ok :write 3 INFO jepsen.util - 6 :ok :cas [0 3] INFO jepsen.util - :nemesis :info :start "Cut off {:n5 #{:n4 :n1}, :n2 #{:n4 :n1}, :n3 #{:n4 :n1}, :n1 #{:n3 :n2 :n5}, :n4 #{:n3 :n2 :n5}}" INFO jepsen.util - 5 :invoke :cas [4 0] INFO jepsen.util - 9 :invoke :cas [0 2] INFO jepsen.util - 9 :fail :cas [0 2] INFO jepsen.util - 17 :invoke :cas [0 2] INFO jepsen.util - 17 :fail :cas [0 2] INFO jepsen.util - 8 :invoke :cas [2 4] INFO jepsen.util - 6 :invoke :write 4 INFO jepsen.util - 6 :ok :write 4 INFO jepsen.util - 5 :info :cas :timed-out INFO jepsen.util - 9 :invoke :cas [2 4] INFO jepsen.util - 9 :fail :cas [2 4] INFO jepsen.util - 17 :invoke :write 4 INFO jepsen.util - 8 :info :cas :timed-out INFO jepsen.util - 6 :invoke :write 0 INFO jepsen.util - 17 :ok :write 4 INFO jepsen.util - 6 :ok :write 0 INFO jepsen.util - 10 :invoke :cas [4 3] INFO jepsen.util - 9 :invoke :write 2 INFO jepsen.util - 9 :ok :write 2 INFO jepsen.util - 13 :invoke :read nil INFO jepsen.util - 17 :invoke :read nil INFO jepsen.util - 6 :invoke :write 2 INFO jepsen.util - 17 :ok :read 2 INFO jepsen.util - 6 :ok :write 2 INFO jepsen.util - 10 :info :cas :timed-out INFO jepsen.util - 9 :invoke :write 1 INFO jepsen.util - 9 :ok :write 1 INFO jepsen.util - 13 :fail :read :timed-out INFO jepsen.util - 17 :invoke :cas [3 1] INFO jepsen.util - 17 :fail :cas [3 1] INFO jepsen.util - :nemesis :info :stop nil INFO jepsen.util - :nemesis :info :stop "fully connected" INFO jepsen.util - :nemesis :info :stop nil INFO jepsen.util - :nemesis :info :stop "fully connected" INFO jepsen.core - nemesis done INFO jepsen.util - 6 :invoke :read nil INFO jepsen.core - Worker 0 done INFO jepsen.core - Worker 4 done INFO jepsen.core - Worker 2 done INFO jepsen.core - Worker 3 done INFO jepsen.util - 6 :ok :read 1 INFO jepsen.core - Worker 1 done INFO jepsen.core - Run complete, writing INFO jepsen.core - Analyzing INFO jepsen.core - Analysis complete