3 :invoke :write 0 1 :invoke :write 9 5 :invoke :read nil 3 :ok :write 0 1 :ok :write 9 2 :invoke :read nil 9 :invoke :read nil 9 :ok :read 9 2 :ok :read 9 5 :ok :read 9 9 :invoke :read nil 9 :ok :read 9 0 :invoke :write 5 0 :ok :write 5 8 :invoke :read nil 8 :ok :read 5 6 :invoke :read nil 6 :ok :read 5 7 :invoke :read nil 7 :ok :read 5 4 :invoke :read nil 4 :ok :read 5 5 :invoke :read nil 5 :ok :read 5 6 :invoke :read nil 6 :ok :read 5 6 :invoke :read nil 6 :ok :read 5 5 :invoke :read nil 5 :ok :read 5 2 :invoke :read nil 2 :ok :read 5 1 :invoke :read nil 1 :ok :read 5 9 :invoke :read nil 9 :ok :read 5 6 :invoke :read nil 6 :ok :read 5 4 :invoke :write 4 2 :invoke :read nil 4 :ok :write 4 2 :ok :read 4 4 :invoke :write 8 4 :ok :write 8 3 :invoke :read nil 3 :ok :read 8 7 :invoke :read nil 7 :ok :read 8 0 :invoke :write 9 0 :ok :write 9 9 :invoke :read nil 9 :ok :read 9 8 :invoke :read nil 8 :ok :read 9 1 :invoke :read nil 1 :ok :read 9 5 :invoke :read nil 5 :ok :read 9 5 :invoke :read nil 5 :ok :read 9 4 :invoke :write 6 4 :ok :write 6 5 :invoke :read nil 5 :ok :read 6 7 :invoke :read nil 7 :ok :read 6 6 :invoke :read nil 6 :ok :read 6 0 :invoke :write 0 0 :ok :write 0 2 :invoke :write 0 2 :ok :write 0 0 :invoke :read nil 7 :invoke :read nil 0 :ok :read 0 7 :ok :read 0 6 :invoke :read nil 6 :ok :read 0 4 :invoke :read nil 4 :ok :read 0 3 :invoke :read nil 3 :ok :read 0 9 :invoke :read nil 9 :ok :read 0 3 :invoke :read nil 3 :ok :read 0 8 :invoke :read nil 8 :ok :read 0 9 :invoke :read nil 9 :ok :read 0 1 :invoke :write 6 1 :ok :write 6 5 :invoke :read nil 5 :ok :read 6 8 :invoke :read nil 8 :ok :read 6 0 :invoke :write 0 0 :ok :write 0 3 :invoke :write 0 3 :ok :write 0 7 :invoke :read nil 7 :ok :read 0 6 :invoke :read nil 6 :ok :read 0 6 :invoke :read nil 6 :ok :read 0 2 :invoke :write 8 2 :ok :write 8 4 :invoke :read nil 4 :ok :read 8 6 :invoke :read nil 6 :ok :read 8 0 :invoke :read nil 0 :ok :read 8 1 :invoke :read nil 1 :ok :read 8 5 :invoke :read nil 5 :ok :read 8 9 :invoke :read nil 9 :ok :read 8 2 :invoke :write 4 2 :ok :write 4 8 :invoke :read nil 8 :ok :read 4 3 :invoke :read nil 3 :ok :read 4 6 :invoke :read nil 6 :ok :read 4 4 :invoke :read nil 4 :ok :read 4 7 :invoke :read nil 7 :ok :read 4 2 :invoke :write 8 2 :ok :write 8 4 :invoke :read nil 4 :ok :read 8 9 :invoke :read nil 9 :ok :read 8 1 :invoke :read nil 1 :ok :read 8 5 :invoke :read nil 5 :ok :read 8 1 :invoke :write 8 1 :ok :write 8 0 :invoke :write 1 0 :ok :write 1 2 :invoke :write 4 2 :ok :write 4 9 :invoke :read nil 9 :ok :read 4 8 :invoke :read nil 4 :invoke :write 3 8 :ok :read 4 4 :ok :write 3 3 :invoke :read nil 3 :ok :read 3 6 :invoke :read nil 6 :ok :read 3 6 :invoke :read nil 6 :ok :read 3 8 :invoke :read nil 8 :ok :read 3 7 :invoke :read nil 7 :ok :read 3 7 :invoke :read nil 7 :ok :read 3 8 :invoke :read nil 8 :ok :read 3 3 :invoke :write 1 3 :ok :write 1 4 :invoke :read nil 4 :ok :read 1 4 :invoke :write 2 4 :ok :write 2 1 :invoke :write 8 1 :ok :write 8 2 :invoke :write 0 2 :ok :write 0 5 :invoke :read nil 5 :ok :read 0 0 :invoke :write 3 0 :ok :write 3 3 :invoke :write 9 3 :ok :write 9 6 :invoke :read nil 6 :ok :read 9 1 :invoke :write 6 1 :ok :write 6 2 :invoke :read nil 2 :ok :read 6 2 :invoke :read nil 2 :ok :read 6 9 :invoke :read nil 9 :ok :read 6 4 :invoke :write 7 4 :ok :write 7 7 :invoke :read nil 7 :ok :read 7 8 :invoke :read nil 8 :ok :read 7 1 :invoke :write 5 1 :ok :write 5 9 :invoke :read nil 9 :ok :read 5 2 :invoke :write 5 2 :ok :write 5 2 :invoke :write 4 2 :ok :write 4 6 :invoke :read nil 6 :ok :read 4 3 :invoke :write 5 3 :ok :write 5 2 :invoke :write 5 2 :ok :write 5 0 :invoke :write 3 0 :ok :write 3 5 :invoke :read nil 5 :ok :read 3 8 :invoke :read nil 8 :ok :read 3 9 :invoke :read nil 9 :ok :read 3 3 :invoke :write 9 3 :ok :write 9 1 :invoke :write 8 1 :ok :write 8 4 :invoke :read nil 4 :ok :read 8 7 :invoke :read nil 7 :ok :read 8 0 :invoke :read nil 0 :ok :read 8 2 :invoke :read nil 2 :ok :read 8 8 :invoke :read nil 8 :ok :read 8 1 :invoke :write 2 1 :ok :write 2 6 :invoke :read nil 6 :ok :read 2 5 :invoke :read nil 5 :ok :read 2 9 :invoke :read nil 9 :ok :read 2 5 :invoke :read nil 5 :ok :read 2 8 :invoke :read nil 8 :ok :read 2 2 :invoke :read nil 0 :invoke :write 5 2 :ok :read 2 0 :ok :write 5 6 :invoke :read nil 6 :ok :read 5 3 :invoke :read nil 3 :ok :read 5 7 :invoke :read nil 7 :ok :read 5 4 :invoke :read nil 4 :ok :read 5 8 :invoke :read nil 8 :ok :read 5 1 :invoke :write 4 1 :ok :write 4 0 :invoke :read nil 0 :ok :read 4 2 :invoke :read nil 2 :ok :read 4 1 :invoke :read nil 1 :ok :read 4 4 :invoke :write 2 4 :ok :write 2 6 :invoke :read nil 9 :invoke :read nil 9 :ok :read 2 6 :ok :read 2 8 :invoke :read nil 8 :ok :read 2 7 :invoke :read nil 7 :ok :read 2 :nemesis :info :start nil 0 :invoke :write 5 0 :ok :write 5 5 :invoke :read nil 5 :ok :read 5 0 :invoke :write 9 0 :ok :write 9 5 :invoke :read nil 5 :ok :read 9 3 :invoke :write 8 3 :ok :write 8 4 :invoke :write 7 4 :ok :write 7 4 :invoke :write 9 4 :ok :write 9 2 :invoke :write 1 2 :ok :write 1 8 :invoke :read nil 8 :ok :read 1 9 :invoke :read nil 9 :ok :read 1 7 :invoke :read nil 7 :ok :read 1 2 :invoke :read nil 2 :ok :read 1 1 :invoke :write 3 1 :ok :write 3 1 :invoke :write 3 1 :ok :write 3 5 :invoke :read nil 5 :ok :read 3 2 :invoke :read nil 2 :ok :read 3 6 :invoke :read nil 6 :ok :read 3 2 :invoke :read nil 2 :ok :read 3 0 :invoke :read nil 0 :ok :read 3 9 :invoke :read nil 9 :ok :read 3 3 :invoke :read nil 3 :ok :read 3 4 :invoke :read nil 4 :ok :read 3 5 :invoke :read nil 5 :ok :read 3 4 :invoke :write 2 4 :ok :write 2 6 :invoke :read nil 8 :invoke :read nil 7 :invoke :read nil 1 :invoke :write 7 5 :invoke :read nil 2 :invoke :write 4 4 :invoke :read nil 9 :invoke :read nil 0 :invoke :read nil :nemesis :info :start {"aserbin-kudu-jepsen-ts-1.gce.cloudera.com" [:killed :kudu-tserver], "aserbin-kudu-jepsen-ts-5.gce.cloudera.com" [:killed :kudu-tserver], "aserbin-kudu-jepsen-ts-2.gce.cloudera.com" [:killed :kudu-tserver], "aserbin-kudu-jepsen-ts-3.gce.cloudera.com" [:killed :kudu-tserver], "aserbin-kudu-jepsen-ts-4.gce.cloudera.com" [:killed :kudu-tserver]} 3 :invoke :write 8 :nemesis :info :stop nil 9 :ok :read 2 8 :ok :read 2 :nemesis :info :stop {"aserbin-kudu-jepsen-ts-1.gce.cloudera.com" [:started :kudu-tserver], "aserbin-kudu-jepsen-ts-5.gce.cloudera.com" [:started :kudu-tserver], "aserbin-kudu-jepsen-ts-2.gce.cloudera.com" [:started :kudu-tserver], "aserbin-kudu-jepsen-ts-3.gce.cloudera.com" [:started :kudu-tserver], "aserbin-kudu-jepsen-ts-4.gce.cloudera.com" [:started :kudu-tserver]} 9 :invoke :read nil 9 :ok :read 2 8 :invoke :read nil 8 :ok :read 2 9 :invoke :read nil 9 :ok :read 2 8 :invoke :read nil 8 :ok :read 2 8 :invoke :read nil 8 :ok :read 2 7 :ok :read 2 9 :invoke :read nil 9 :ok :read 2 6 :ok :read 2 0 :ok :read 2 0 :invoke :write 3 6 :invoke :read nil 6 :ok :read 2 8 :invoke :read nil 8 :ok :read 2 7 :invoke :read nil 7 :ok :read 2 9 :invoke :read nil 9 :ok :read 2 4 :ok :read 2 8 :invoke :read nil 8 :ok :read 2 9 :invoke :read nil 9 :ok :read 2 5 :ok :read 2 4 :invoke :read nil 4 :ok :read 2 8 :invoke :read nil 8 :ok :read 2 9 :invoke :read nil 9 :ok :read 2 6 :invoke :read nil 6 :ok :read 2 7 :invoke :read nil 7 :ok :read 2 9 :invoke :read nil 9 :ok :read 2 5 :invoke :read nil 5 :ok :read 2 4 :invoke :read nil 4 :ok :read 2 2 :ok :write 4 8 :invoke :read nil 8 :ok :read 2 6 :invoke :read nil 6 :ok :read 2 7 :invoke :read nil 7 :ok :read 2 7 :invoke :read nil 7 :ok :read 2 9 :invoke :read nil 9 :ok :read 2 8 :invoke :read nil 8 :ok :read 2 6 :invoke :read nil 6 :ok :read 2 5 :invoke :read nil 5 :ok :read 2 8 :invoke :read nil 8 :ok :read 2 4 :invoke :read nil 4 :ok :read 2 4 :invoke :read nil 4 :ok :read 2 7 :invoke :read nil 7 :ok :read 2 2 :invoke :write 4 2 :ok :write 4 8 :invoke :read nil 8 :ok :read 2 9 :invoke :read nil 9 :ok :read 2 6 :invoke :read nil 6 :ok :read 2 5 :invoke :read nil 5 :ok :read 2 2 :invoke :read nil 2 :ok :read 4 4 :invoke :write 0 9 :invoke :read nil 9 :ok :read 2 9 :invoke :read nil 9 :ok :read 2 7 :invoke :read nil 7 :ok :read 2 8 :invoke :read nil 8 :ok :read 2 2 :invoke :write 5 2 :ok :write 5 6 :invoke :read nil 6 :ok :read 2 9 :invoke :read nil 9 :ok :read 2 5 :invoke :read nil 5 :ok :read 2 9 :invoke :read nil 9 :ok :read 2 2 :invoke :write 7 2 :ok :write 7 6 :invoke :read nil 6 :ok :read 2 7 :invoke :read nil 7 :ok :read 2 6 :invoke :read nil 6 :ok :read 2 5 :invoke :read nil 5 :ok :read 2 2 :invoke :read nil 2 :ok :read 7 5 :invoke :read nil 5 :ok :read 2 5 :invoke :read nil 5 :ok :read 2 8 :invoke :read nil 8 :ok :read 2 8 :invoke :read nil 8 :ok :read 2 2 :invoke :read nil 2 :ok :read 7 9 :invoke :read nil 9 :ok :read 2 5 :invoke :read nil 5 :ok :read 2 6 :invoke :read nil 6 :ok :read 2 7 :invoke :read nil 7 :ok :read 2 6 :invoke :read nil 6 :ok :read 2 9 :invoke :read nil 0 :ok :write 3 9 :ok :read 7 4 :ok :write 0 4 :invoke :write 7 4 :ok :write 7 5 :invoke :read nil :nemesis :info :start nil 5 :ok :read 7 3 :ok :write 8 0 :invoke :read nil 0 :ok :read 8 2 :invoke :write 2 2 :ok :write 2 8 :invoke :read nil 8 :ok :read 2 6 :invoke :read nil 0 :invoke :write 7 0 :ok :write 7 6 :ok :read 2 0 :invoke :read nil 0 :ok :read 7 0 :invoke :write 9 2 :invoke :read nil 5 :invoke :read nil 2 :ok :read 9 0 :ok :write 9 7 :invoke :read nil 8 :invoke :read nil 5 :ok :read 9 8 :ok :read 9 7 :ok :read 9 4 :invoke :read nil 4 :ok :read 9 5 :invoke :read nil 9 :invoke :read nil 6 :invoke :read nil 7 :invoke :read nil 3 :invoke :write 7 4 :invoke :read nil 2 :invoke :write 7 8 :invoke :read nil 0 :invoke :write 0 :nemesis :info :start {"aserbin-kudu-jepsen-ts-4.gce.cloudera.com" [:killed :kudu-tserver], "aserbin-kudu-jepsen-ts-3.gce.cloudera.com" [:killed :kudu-tserver], "aserbin-kudu-jepsen-ts-2.gce.cloudera.com" [:killed :kudu-tserver], "aserbin-kudu-jepsen-ts-5.gce.cloudera.com" [:killed :kudu-tserver], "aserbin-kudu-jepsen-ts-1.gce.cloudera.com" [:killed :kudu-tserver]} :nemesis :info :stop nil 8 :ok :read 9 4 :ok :read 9 8 :invoke :read nil 8 :ok :read 9 4 :invoke :write 4 4 :ok :write 4 3 :ok :write 7 3 :invoke :write 3 3 :ok :write 3 4 :invoke :read nil 4 :ok :read 3 6 :ok :read 3 8 :invoke :read nil 8 :ok :read 3 3 :invoke :read nil 3 :ok :read 3 4 :invoke :read nil 4 :ok :read 3 0 :ok :write 0 0 :invoke :read nil 0 :ok :read 0 6 :invoke :read nil 6 :ok :read 0 3 :invoke :read nil 3 :ok :read 0 3 :invoke :read nil 3 :ok :read 0 4 :invoke :read nil 4 :ok :read 0 8 :invoke :read nil 8 :ok :read 0 7 :ok :read 0 0 :invoke :write 0 0 :ok :write 0 9 :ok :read 0 6 :invoke :read nil 6 :ok :read 0 9 :invoke :read nil 7 :invoke :read nil 7 :ok :read 0 9 :ok :read 0 8 :invoke :read nil 8 :ok :read 0 8 :invoke :read nil 8 :ok :read 0 3 :invoke :write 9 3 :ok :write 9 5 :ok :read 9 4 :invoke :read nil 4 :ok :read 9 7 :invoke :read nil 7 :ok :read 9 8 :invoke :read nil 8 :ok :read 9 1 :ok :write 7 6 :invoke :read nil 6 :ok :read 7 0 :invoke :write 6 0 :ok :write 6 5 :invoke :read nil 5 :ok :read 6 6 :invoke :read nil 6 :ok :read 6 4 :invoke :write 8 4 :ok :write 8 5 :invoke :read nil 5 :ok :read 8 3 :invoke :write 9 3 :ok :write 9 7 :invoke :read nil 7 :ok :read 9 9 :invoke :read nil 0 :invoke :read nil 0 :ok :read 9 1 :invoke :write 5 1 :ok :write 5 9 :ok :read 9 6 :invoke :read nil 6 :ok :read 5 9 :invoke :read nil 1 :invoke :read nil 1 :ok :read 5 6 :invoke :read nil 6 :ok :read 5 9 :ok :read 5 8 :invoke :read nil 8 :ok :read 5 8 :invoke :read nil 8 :ok :read 5 7 :invoke :read nil 7 :ok :read 5 8 :invoke :read nil 8 :ok :read 5 5 :invoke :read nil 5 :ok :read 5 3 :invoke :read nil 3 :ok :read 5 6 :invoke :read nil 6 :ok :read 5 7 :invoke :read nil 7 :ok :read 5 3 :invoke :write 8 3 :ok :write 8 4 :invoke :write 6 4 :ok :write 6 0 :invoke :read nil 0 :ok :read 6 1 :invoke :write 5 1 :ok :write 5 9 :invoke :read nil 6 :invoke :read nil 6 :ok :read 5 9 :ok :read 5 0 :invoke :write 7 0 :ok :write 7 3 :invoke :read nil 3 :ok :read 7 8 :invoke :read nil 8 :ok :read 7 5 :invoke :read nil 5 :ok :read 7 6 :invoke :read nil 6 :ok :read 7 7 :invoke :read nil 7 :ok :read 7 9 :invoke :read nil 8 :invoke :read nil 8 :ok :read 7 9 :ok :read 7 3 :invoke :write 3 3 :ok :write 3 8 :invoke :read nil 8 :ok :read 3 1 :invoke :write 7 3 :invoke :read nil 1 :ok :write 7 3 :ok :read 7 0 :invoke :read nil 0 :ok :read 7 4 :invoke :write 0 4 :ok :write 0 4 :invoke :read nil 4 :ok :read 0 5 :invoke :read nil 5 :ok :read 0 7 :invoke :read nil 7 :ok :read 0 0 :invoke :write 1 0 :ok :write 1 9 :invoke :read nil 9 :ok :read 1 4 :invoke :write 6 4 :ok :write 6 9 :invoke :read nil 6 :invoke :read nil 6 :ok :read 6 9 :ok :read 6 3 :invoke :read nil 3 :ok :read 6 8 :invoke :read nil 8 :ok :read 6 1 :invoke :read nil 1 :ok :read 6 3 :invoke :write 8 3 :ok :write 8 8 :invoke :read nil 8 :ok :read 8 0 :invoke :read nil 0 :ok :read 8 0 :invoke :read nil 0 :ok :read 8 4 :invoke :write 5 4 :ok :write 5 3 :invoke :read nil 3 :ok :read 5 4 :invoke :write 2 4 :ok :write 2 9 :invoke :read nil 9 :ok :read 2 7 :invoke :read nil 7 :ok :read 2 5 :invoke :read nil 5 :ok :read 2 6 :invoke :read nil 6 :ok :read 2 6 :invoke :read nil 6 :ok :read 2 9 :invoke :read nil 2 :ok :write 7 9 :ok :read 2 2 :invoke :read nil 2 :ok :read 7 0 :invoke :read nil 0 :ok :read 7 2 :invoke :write 0 2 :ok :write 0 8 :invoke :read nil 8 :ok :read 0 1 :invoke :read nil 1 :ok :read 0 :nemesis :info :stop {"aserbin-kudu-jepsen-ts-4.gce.cloudera.com" [:started :kudu-tserver], "aserbin-kudu-jepsen-ts-3.gce.cloudera.com" [:started :kudu-tserver], "aserbin-kudu-jepsen-ts-2.gce.cloudera.com" [:started :kudu-tserver], "aserbin-kudu-jepsen-ts-5.gce.cloudera.com" [:started :kudu-tserver], "aserbin-kudu-jepsen-ts-1.gce.cloudera.com" [:started :kudu-tserver]} 3 :invoke :write 1 3 :ok :write 1 8 :invoke :read nil 8 :ok :read 1 5 :invoke :read nil 5 :ok :read 1 4 :invoke :write 2 4 :ok :write 2 7 :invoke :read nil 7 :ok :read 2 6 :invoke :read nil 6 :ok :read 2 1 :invoke :write 8 1 :ok :write 8 2 :invoke :read nil 2 :ok :read 8 7 :invoke :read nil 7 :ok :read 8 5 :invoke :read nil 5 :ok :read 8 3 :invoke :write 1 3 :ok :write 1 9 :invoke :read nil 5 :invoke :read nil 5 :ok :read 1 1 :invoke :write 5 1 :ok :write 5 9 :ok :read 1 0 :invoke :write 1 0 :ok :write 1 2 :invoke :read nil 2 :ok :read 1 6 :invoke :read nil 6 :ok :read 1 8 :invoke :read nil 8 :ok :read 1 0 :invoke :write 6 0 :ok :write 6 3 :invoke :write 1 3 :ok :write 1 4 :invoke :read nil 4 :ok :read 1 9 :invoke :read nil 9 :ok :read 1 8 :invoke :read nil 8 :ok :read 1 1 :invoke :write 2 1 :ok :write 2 8 :invoke :read nil 8 :ok :read 2 7 :invoke :read nil 7 :ok :read 2 6 :invoke :read nil 6 :ok :read 2 5 :invoke :read nil 5 :ok :read 2 3 :invoke :read nil 3 :ok :read 2 0 :invoke :write 6 0 :ok :write 6 5 :invoke :read nil 9 :invoke :read nil 5 :ok :read 6 9 :ok :read 6 1 :invoke :read nil 1 :ok :read 6 0 :invoke :read nil 0 :ok :read 6 2 :invoke :read nil 2 :ok :read 6 8 :invoke :read nil 8 :ok :read 6 4 :invoke :write 0 4 :ok :write 0 5 :invoke :read nil 5 :ok :read 0 7 :invoke :read nil 7 :ok :read 0 8 :invoke :read nil 8 :ok :read 0 1 :invoke :write 6 1 :ok :write 6 2 :invoke :write 7 2 :ok :write 7 4 :invoke :read nil 4 :ok :read 7 9 :invoke :read nil 9 :ok :read 7 6 :invoke :read nil 6 :ok :read 7 3 :invoke :read nil 3 :ok :read 7 0 :invoke :write 5 0 :ok :write 5 6 :invoke :read nil 6 :ok :read 5 2 :invoke :read nil 2 :ok :read 5 7 :invoke :read nil 7 :ok :read 5 6 :invoke :read nil 6 :ok :read 5 5 :invoke :read nil 5 :ok :read 5 6 :invoke :read nil 6 :ok :read 5 1 :invoke :write 8 1 :ok :write 8 3 :invoke :read nil 3 :ok :read 8 5 :invoke :read nil 5 :ok :read 8 9 :invoke :read nil 7 :invoke :read nil 7 :ok :read 8 2 :invoke :read nil 2 :ok :read 8 9 :ok :read 8 8 :invoke :read nil 8 :ok :read 8 9 :invoke :read nil 9 :ok :read 8 3 :invoke :write 0 3 :ok :write 0 4 :invoke :write 8 4 :ok :write 8 0 :invoke :read nil 0 :ok :read 8 9 :invoke :read nil 9 :ok :read 8 7 :invoke :read nil 7 :ok :read 8 5 :invoke :read nil 5 :ok :read 8 4 :invoke :read nil 4 :ok :read 8 0 :invoke :write 5 0 :ok :write 5 7 :invoke :read nil 7 :ok :read 5 6 :invoke :read nil 6 :ok :read 5 3 :invoke :write 7 3 :ok :write 7 1 :invoke :write 1 1 :ok :write 1 5 :invoke :read nil 5 :ok :read 1 4 :invoke :read nil 4 :ok :read 1 2 :invoke :read nil 2 :ok :read 1 8 :invoke :read nil 8 :ok :read 1 7 :invoke :read nil 7 :ok :read 1 7 :invoke :read nil 7 :ok :read 1 1 :invoke :read nil 1 :ok :read 1 0 :invoke :read nil 0 :ok :read 1 9 :invoke :read nil 0 :invoke :write 9 0 :ok :write 9 9 :ok :read 1 0 :invoke :read nil 0 :ok :read 9 6 :invoke :read nil 6 :ok :read 9 1 :invoke :read nil 1 :ok :read 9 4 :invoke :write 6 4 :ok :write 6 5 :invoke :read nil 5 :ok :read 6 7 :invoke :read nil 7 :ok :read 6 3 :invoke :read nil 3 :ok :read 6 7 :invoke :read nil 7 :ok :read 6 2 :invoke :write 6 2 :ok :write 6 5 :invoke :read nil 5 :ok :read 6 8 :invoke :read nil 8 :ok :read 6 1 :invoke :write 7 1 :ok :write 7 5 :invoke :read nil 5 :ok :read 7 0 :invoke :write 8 0 :ok :write 8 5 :invoke :read nil 5 :ok :read 8 7 :invoke :read nil 7 :ok :read 8 6 :invoke :read nil 6 :ok :read 8 9 :invoke :read nil 6 :invoke :read nil 6 :ok :read 8 9 :ok :read 8 8 :invoke :read nil 8 :ok :read 8 0 :invoke :read nil 0 :ok :read 8 3 :invoke :read nil 3 :ok :read 8 2 :invoke :write 6 2 :ok :write 6 5 :invoke :read nil 5 :ok :read 6 4 :invoke :write 0 4 :ok :write 0 4 :invoke :read nil 4 :ok :read 0 6 :invoke :read nil 6 :ok :read 0 1 :invoke :read nil 1 :ok :read 0 8 :invoke :read nil 8 :ok :read 0 6 :invoke :read nil 6 :ok :read 0 6 :invoke :read nil 6 :ok :read 0 1 :invoke :read nil 1 :ok :read 0 5 :invoke :read nil 5 :ok :read 0 4 :invoke :read nil 4 :ok :read 0 7 :invoke :read nil 7 :ok :read 0 4 :invoke :write 4 4 :ok :write 4 6 :invoke :read nil 6 :ok :read 4 9 :invoke :read nil 9 :ok :read 4 3 :invoke :write 3 3 :ok :write 3 0 :invoke :write 4 0 :ok :write 4 1 :invoke :read nil 1 :ok :read 4 2 :invoke :write 0 2 :ok :write 0 6 :invoke :read nil 6 :ok :read 0 2 :invoke :read nil 2 :ok :read 0 9 :invoke :read nil 9 :ok :read 0 2 :invoke :write 9 2 :ok :write 9 8 :invoke :read nil 8 :ok :read 9 4 :invoke :write 5 0 :invoke :write 8 4 :ok :write 5 0 :ok :write 8 1 :invoke :read nil 1 :ok :read 8 5 :invoke :read nil 5 :ok :read 8 4 :invoke :read nil 4 :ok :read 8 8 :invoke :read nil 8 :ok :read 8 7 :invoke :read nil 7 :ok :read 8 3 :invoke :write 4 3 :ok :write 4 0 :invoke :write 6 0 :ok :write 6 6 :invoke :read nil 6 :ok :read 6 7 :invoke :read nil 7 :ok :read 6 4 :invoke :write 2 9 :invoke :read nil 4 :ok :write 2 9 :ok :read 2 2 :invoke :read nil 2 :ok :read 2 8 :invoke :read nil 8 :ok :read 2 9 :invoke :read nil 9 :ok :read 2 4 :invoke :write 3 :nemesis :info :start nil 4 :ok :write 3 5 :invoke :read nil 5 :ok :read 3 1 :invoke :write 3 1 :ok :write 3 0 :invoke :write 0 0 :ok :write 0 6 :invoke :read nil 6 :ok :read 0 3 :invoke :read nil 3 :ok :read 0 8 :invoke :read nil 8 :ok :read 0 1 :invoke :read nil 1 :ok :read 0 9 :invoke :read nil 9 :ok :read 0 0 :invoke :write 6 0 :ok :write 6 2 :invoke :write 0 2 :ok :write 0 5 :invoke :read nil 5 :ok :read 0 7 :invoke :read nil 7 :ok :read 0 3 :invoke :read nil 3 :ok :read 0 5 :invoke :read nil 5 :ok :read 0 4 :invoke :read nil 4 :ok :read 0 7 :invoke :read nil 7 :ok :read 0 9 :invoke :read nil 3 :invoke :read nil 3 :ok :read 0 0 :invoke :read nil 0 :ok :read 0 6 :invoke :read nil 6 :ok :read 0 9 :ok :read 0 6 :invoke :read nil 6 :ok :read 0 4 :invoke :read nil 4 :ok :read 0 2 :invoke :write 3 2 :ok :write 3 2 :invoke :write 1 2 :ok :write 1 8 :invoke :read nil 8 :ok :read 1 2 :invoke :write 3 2 :ok :write 3 5 :invoke :read nil 5 :ok :read 3 8 :invoke :read nil 8 :ok :read 3 1 :invoke :write 0 1 :ok :write 0 7 :invoke :read nil 7 :ok :read 0 4 :invoke :read nil 4 :ok :read 0 9 :invoke :read nil 3 :invoke :read nil 9 :ok :read 0 3 :ok :read 0 0 :invoke :read nil 0 :ok :read 0 0 :invoke :write 1 0 :ok :write 1 5 :invoke :read nil 5 :ok :read 1 6 :invoke :read nil 6 :ok :read 1 1 :invoke :write 5 1 :ok :write 5 2 :invoke :read nil 2 :ok :read 5 9 :invoke :read nil 9 :ok :read 5 6 :invoke :read nil 8 :invoke :read nil 6 :ok :read 5 8 :ok :read 5 2 :invoke :write 9 2 :ok :write 9 8 :invoke :read nil 8 :ok :read 9 4 :invoke :read nil 4 :ok :read 9 3 :invoke :read nil 3 :ok :read 9 4 :invoke :read nil 4 :ok :read 9 4 :invoke :read nil 4 :ok :read 9 5 :invoke :read nil 5 :ok :read 9 7 :invoke :read nil 7 :ok :read 9 6 :invoke :read nil 6 :ok :read 9 0 :invoke :read nil 0 :ok :read 9 4 :invoke :write 4 4 :ok :write 4 9 :invoke :read nil 2 :invoke :write 1 2 :ok :write 1 9 :ok :read 4 4 :invoke :read nil 4 :ok :read 1 1 :invoke :write 2 1 :ok :write 2 3 :invoke :read nil 3 :ok :read 2 8 :invoke :read nil 8 :ok :read 2 6 :invoke :read nil 6 :ok :read 2 2 :invoke :write 1 2 :ok :write 1 5 :invoke :read nil 5 :ok :read 1 1 :invoke :read nil 1 :ok :read 1 8 :invoke :read nil 8 :ok :read 1 0 :invoke :read nil 0 :ok :read 1 9 :invoke :read nil 7 :invoke :read nil 7 :ok :read 1 9 :ok :read 1 2 :invoke :read nil 2 :ok :read 1 1 :invoke :read nil 1 :ok :read 1 4 :invoke :read nil 4 :ok :read 1 6 :invoke :read nil 6 :ok :read 1 8 :invoke :read nil 8 :ok :read 1 6 :invoke :read nil 6 :ok :read 1 5 :invoke :read nil 5 :ok :read 1 2 :invoke :read nil 2 :ok :read 1 3 :invoke :read nil 3 :ok :read 1 7 :invoke :read nil 7 :ok :read 1 9 :invoke :read nil 9 :ok :read 1 0 :invoke :write 7 0 :ok :write 7 4 :invoke :read nil 4 :ok :read 7 6 :invoke :read nil 6 :ok :read 7 3 :invoke :write 2 3 :ok :write 2 2 :invoke :read nil 2 :ok :read 2 2 :invoke :read nil 2 :ok :read 2 5 :invoke :read nil 5 :ok :read 2 9 :invoke :read nil 9 :ok :read 2 8 :invoke :read nil 8 :ok :read 2 1 :invoke :write 7 1 :ok :write 7 5 :invoke :read nil 5 :ok :read 7 4 :invoke :write 2 4 :ok :write 2 7 :invoke :read nil 7 :ok :read 2 3 :invoke :read nil 3 :ok :read 2 4 :invoke :read nil 4 :ok :read 2 9 :invoke :read nil 6 :invoke :read nil 6 :ok :read 2 9 :ok :read 2 3 :invoke :read nil 3 :ok :read 2 0 :invoke :write 8 0 :ok :write 8 2 :invoke :read nil 2 :ok :read 8 1 :invoke :read nil 1 :ok :read 8 7 :invoke :read nil 7 :ok :read 8 6 :invoke :read nil 6 :ok :read 8 8 :invoke :read nil 8 :ok :read 8 3 :invoke :read nil 9 :invoke :read nil 3 :ok :read 8 2 :invoke :read nil 2 :ok :read 8 9 :ok :read 8 4 :invoke :read nil 4 :ok :read 8 5 :invoke :read nil 5 :ok :read 8 7 :invoke :read nil 7 :ok :read 8 1 :invoke :read nil 1 :ok :read 8 2 :invoke :write 6 2 :ok :write 6 0 :invoke :read nil 0 :ok :read 6 5 :invoke :read nil 5 :ok :read 6 8 :invoke :read nil 8 :ok :read 6 2 :invoke :read nil 2 :ok :read 6 6 :invoke :read nil 6 :ok :read 6 3 :invoke :write 9 3 :ok :write 9 9 :invoke :read nil 1 :invoke :write 5 1 :ok :write 5 9 :ok :read 9 2 :invoke :write 1 2 :ok :write 1 4 :invoke :read nil 4 :ok :read 1 3 :invoke :read nil 3 :ok :read 1 5 :invoke :read nil 5 :ok :read 1 7 :invoke :read nil 7 :ok :read 1 7 :invoke :read nil 7 :ok :read 1 3 :invoke :write 6 3 :ok :write 6 4 :invoke :write 3 4 :ok :write 3 0 :invoke :read nil 0 :ok :read 3 6 :invoke :read nil 6 :ok :read 3 5 :invoke :read nil 5 :ok :read 3 8 :invoke :read nil 8 :ok :read 3 9 :invoke :read nil 9 :ok :read 3 7 :invoke :read nil 7 :ok :read 3 1 :invoke :write 1 1 :ok :write 1 8 :invoke :read nil 8 :ok :read 1 9 :invoke :read nil 9 :ok :read 1 2 :invoke :read nil 2 :ok :read 1 3 :invoke :write 5 3 :ok :write 5 5 :invoke :read nil 5 :ok :read 5 6 :invoke :read nil 6 :ok :read 5 8 :invoke :read nil 8 :ok :read 5 4 :invoke :read nil 4 :ok :read 5 0 :invoke :read nil 0 :ok :read 5 1 :invoke :write 8 1 :ok :write 8 1 :invoke :read nil 1 :ok :read 8 1 :invoke :write 8 1 :ok :write 8 9 :invoke :read nil 1 :invoke :read nil 1 :ok :read 8 7 :invoke :read nil 7 :ok :read 8 9 :ok :read 8 8 :invoke :read nil 8 :ok :read 8 9 :invoke :read nil 9 :ok :read 8 6 :invoke :read nil 6 :ok :read 8 8 :invoke :read nil 8 :ok :read 8 2 :invoke :read nil 3 :invoke :write 1 2 :ok :read 8 3 :ok :write 1 0 :invoke :write 5 0 :ok :write 5 4 :invoke :write 3 4 :ok :write 3 5 :invoke :read nil 5 :ok :read 3 3 :invoke :read nil 3 :ok :read 3 1 :invoke :read nil 1 :ok :read 3 6 :invoke :read nil 6 :ok :read 3 9 :invoke :read nil 9 :ok :read 3 3 :invoke :write 6 3 :ok :write 6 1 :invoke :read nil 1 :ok :read 6 5 :invoke :read nil 5 :ok :read 6 0 :invoke :write 7 0 :ok :write 7 3 :invoke :read nil 3 :ok :read 7 9 :invoke :read nil 2 :invoke :write 7 8 :invoke :read nil 9 :ok :read 7 7 :invoke :read nil 6 :invoke :read nil 0 :invoke :write 9 3 :invoke :write 7 4 :invoke :read nil 1 :invoke :read nil :nemesis :info :start {"aserbin-kudu-jepsen-ts-5.gce.cloudera.com" [:killed :kudu-tserver], "aserbin-kudu-jepsen-ts-1.gce.cloudera.com" [:killed :kudu-tserver], "aserbin-kudu-jepsen-ts-4.gce.cloudera.com" [:killed :kudu-tserver], "aserbin-kudu-jepsen-ts-3.gce.cloudera.com" [:killed :kudu-tserver], "aserbin-kudu-jepsen-ts-2.gce.cloudera.com" [:killed :kudu-tserver]} 5 :invoke :read nil 9 :invoke :read nil :nemesis :info :stop nil 2 :ok :write 7 5 :ok :read 7 3 :ok :write 7 9 :ok :read 7 1 :ok :read 7 :nemesis :info :stop {"aserbin-kudu-jepsen-ts-5.gce.cloudera.com" [:started :kudu-tserver], "aserbin-kudu-jepsen-ts-1.gce.cloudera.com" [:started :kudu-tserver], "aserbin-kudu-jepsen-ts-4.gce.cloudera.com" [:started :kudu-tserver], "aserbin-kudu-jepsen-ts-3.gce.cloudera.com" [:started :kudu-tserver], "aserbin-kudu-jepsen-ts-2.gce.cloudera.com" [:started :kudu-tserver]} 5 :invoke :read nil 5 :ok :read 7 2 :invoke :write 6 2 :ok :write 6 7 :ok :read 6 3 :invoke :write 1 3 :ok :write 1 5 :invoke :read nil 5 :ok :read 1 1 :invoke :write 3 1 :ok :write 3 7 :invoke :read nil 7 :ok :read 3 1 :invoke :write 2 1 :ok :write 2 9 :invoke :read nil 9 :ok :read 2 9 :invoke :read nil 5 :invoke :read nil 5 :ok :read 2 9 :ok :read 2 7 :invoke :read nil 7 :ok :read 2 2 :invoke :write 3 2 :ok :write 3 5 :invoke :read nil 5 :ok :read 3 7 :invoke :read nil 7 :ok :read 3 9 :invoke :read nil 4 :ok :read 3 9 :ok :read 3 3 :invoke :read nil 3 :ok :read 3 3 :invoke :read nil 3 :ok :read 3 1 :invoke :write 4 1 :ok :write 4 1 :invoke :write 9 1 :ok :write 9 1 :invoke :read nil 1 :ok :read 9 7 :invoke :read nil 7 :ok :read 9 5 :invoke :read nil 5 :ok :read 9 2 :invoke :write 0 2 :ok :write 0 4 :invoke :write 3 4 :ok :write 3 3 :invoke :write 1 3 :ok :write 1 3 :invoke :write 8 3 :ok :write 8 8 :ok :read 8 3 :invoke :read nil 3 :ok :read 8 5 :invoke :read nil 5 :ok :read 8 9 :invoke :read nil 9 :ok :read 8 9 :invoke :read nil 1 :invoke :read nil 1 :ok :read 8 9 :ok :read 8 2 :invoke :write 9 2 :ok :write 9 1 :invoke :read nil 1 :ok :read 9 7 :invoke :read nil 7 :ok :read 9 3 :invoke :read nil 3 :ok :read 9 0 :ok :write 9 5 :invoke :read nil 5 :ok :read 9 3 :invoke :write 8 3 :ok :write 8 1 :invoke :read nil 1 :ok :read 8 8 :invoke :read nil 8 :ok :read 8 1 :invoke :read nil 1 :ok :read 8 4 :invoke :write 7 4 :ok :write 7 3 :invoke :write 4 3 :ok :write 4 9 :invoke :read nil 9 :ok :read 4 2 :invoke :write 8 2 :ok :write 8 4 :invoke :write 2 4 :ok :write 2 3 :invoke :write 8 3 :ok :write 8 1 :invoke :read nil 1 :ok :read 8 0 :invoke :read nil 0 :ok :read 8 7 :invoke :read nil 7 :ok :read 8 5 :invoke :read nil 5 :ok :read 8 2 :invoke :write 2 2 :ok :write 2 4 :invoke :write 8 4 :ok :write 8 6 :ok :read 8 8 :invoke :read nil 8 :ok :read 8 4 :invoke :write 5 4 :ok :write 5 9 :invoke :read nil 9 :ok :read 5 1 :invoke :write 1 1 :ok :write 1 3 :invoke :read nil 3 :ok :read 1 1 :invoke :write 8 1 :ok :write 8 2 :invoke :write 0 2 :ok :write 0 0 :invoke :read nil 0 :ok :read 0 4 :invoke :read nil 4 :ok :read 0 0 :invoke :write 3 0 :ok :write 3 0 :invoke :write 8 0 :ok :write 8 7 :invoke :read nil 7 :ok :read 8 3 :invoke :read nil 3 :ok :read 8 9 :invoke :read nil 8 :invoke :read nil 8 :ok :read 8 9 :ok :read 8 5 :invoke :read nil 5 :ok :read 8 5 :invoke :read nil 5 :ok :read 8 6 :invoke :read nil 9 :invoke :read nil 6 :ok :read 8 9 :ok :read 8 2 :invoke :read nil 2 :ok :read 8 1 :invoke :read nil 1 :ok :read 8 0 :invoke :write 3 0 :ok :write 3 4 :invoke :write 8 4 :ok :write 8 1 :invoke :write 1 1 :ok :write 1 1 :invoke :read nil 1 :ok :read 1 5 :invoke :read nil 5 :ok :read 1 8 :invoke :read nil 8 :ok :read 1 7 :invoke :read nil 7 :ok :read 1 2 :invoke :read nil 2 :ok :read 1 0 :invoke :write 8 0 :ok :write 8 3 :invoke :write 3 3 :ok :write 3 7 :invoke :read nil 7 :ok :read 3 5 :invoke :read nil 5 :ok :read 3 6 :invoke :read nil 6 :ok :read 3 9 :invoke :read nil 9 :ok :read 3 1 :invoke :write 7 3 :invoke :read nil 1 :ok :write 7 3 :ok :read 7 8 :invoke :read nil 8 :ok :read 7 4 :invoke :read nil 4 :ok :read 7 6 :invoke :read nil 6 :ok :read 7 3 :invoke :write 4 3 :ok :write 4 2 :invoke :write 4 2 :ok :write 4 9 :invoke :read nil 9 :ok :read 4 0 :invoke :read nil 0 :ok :read 4 0 :invoke :read nil 0 :ok :read 4 0 :invoke :read nil 0 :ok :read 4 0 :invoke :read nil 0 :ok :read 4 5 :invoke :read nil 5 :ok :read 4 7 :invoke :read nil 7 :ok :read 4 0 :invoke :write 5 0 :ok :write 5 3 :invoke :read nil 3 :ok :read 5 8 :invoke :read nil 8 :ok :read 5 1 :invoke :write 3 1 :ok :write 3 1 :invoke :write 1 1 :ok :write 1 4 :invoke :read nil 4 :ok :read 1 8 :invoke :read nil 8 :ok :read 1 6 :invoke :read nil 6 :ok :read 1 8 :invoke :read nil 2 :invoke :read nil 2 :ok :read 1 8 :ok :read 1 8 :invoke :read nil 8 :ok :read 1 9 :invoke :read nil 9 :ok :read 1 5 :invoke :read nil 5 :ok :read 1 3 :invoke :read nil 3 :ok :read 1 8 :invoke :read nil 8 :ok :read 1 7 :invoke :read nil 7 :ok :read 1 0 :invoke :read nil 0 :ok :read 1 8 :invoke :read nil 8 :ok :read 1 9 :invoke :read nil 9 :ok :read 1 4 :invoke :read nil 4 :ok :read 1 4 :invoke :read nil 4 :ok :read 1 3 :invoke :read nil 3 :ok :read 1 1 :invoke :read nil 1 :ok :read 1 1 :invoke :write 3 1 :ok :write 3 6 :invoke :read nil 6 :ok :read 3 6 :invoke :read nil 6 :ok :read 3 6 :invoke :read nil 6 :ok :read 3 7 :invoke :read nil 7 :ok :read 3 2 :invoke :read nil 2 :ok :read 3 :nemesis :info :start nil 5 :invoke :read nil 5 :ok :read 3 9 :invoke :read nil 4 :invoke :write 0 4 :ok :write 0 9 :ok :read 3 4 :invoke :read nil 4 :ok :read 0 4 :invoke :write 9 4 :ok :write 9 3 :invoke :write 2 3 :ok :write 2 0 :invoke :write 6 0 :ok :write 6 8 :invoke :read nil 8 :ok :read 6 8 :invoke :read nil 8 :ok :read 6 5 :invoke :read nil 5 :ok :read 6 4 :invoke :read nil 4 :ok :read 6 9 :invoke :read nil 5 :invoke :read nil 5 :ok :read 6 9 :ok :read 6 1 :invoke :write 4 1 :ok :write 4 7 :invoke :read nil 7 :ok :read 4 1 :invoke :read nil 1 :ok :read 4 1 :invoke :write 3 1 :ok :write 3 7 :invoke :read nil 7 :ok :read 3 8 :invoke :read nil 8 :ok :read 3 6 :invoke :read nil 6 :ok :read 3 3 :invoke :read nil 3 :ok :read 3 2 :invoke :write 0 2 :ok :write 0 9 :invoke :read nil 9 :ok :read 0 0 :invoke :read nil 0 :ok :read 0 6 :invoke :read nil 6 :ok :read 0 3 :invoke :read nil 3 :ok :read 0 9 :invoke :read nil 7 :invoke :read nil 7 :ok :read 0 8 :invoke :read nil 8 :ok :read 0 6 :invoke :read nil 6 :ok :read 0 0 :invoke :read nil 0 :ok :read 0 7 :invoke :read nil 7 :ok :read 0 4 :invoke :write 4 6 :invoke :read nil 5 :invoke :read nil 2 :invoke :read nil 1 :invoke :write 1 3 :invoke :read nil :nemesis :info :start {"aserbin-kudu-jepsen-ts-2.gce.cloudera.com" [:killed :kudu-tserver], "aserbin-kudu-jepsen-ts-1.gce.cloudera.com" [:killed :kudu-tserver], "aserbin-kudu-jepsen-ts-5.gce.cloudera.com" [:killed :kudu-tserver], "aserbin-kudu-jepsen-ts-3.gce.cloudera.com" [:killed :kudu-tserver], "aserbin-kudu-jepsen-ts-4.gce.cloudera.com" [:killed :kudu-tserver]} 0 :invoke :read nil 8 :invoke :read nil 7 :invoke :read nil :nemesis :info :stop nil 5 :ok :read 0 2 :ok :read 0 9 :ok :read 0 7 :ok :read 0 3 :ok :read 0 1 :ok :write 1 0 :ok :read 1 8 :ok :read 1 6 :ok :read 1 4 :ok :write 4 :nemesis :info :stop {"aserbin-kudu-jepsen-ts-2.gce.cloudera.com" [:started :kudu-tserver], "aserbin-kudu-jepsen-ts-1.gce.cloudera.com" [:started :kudu-tserver], "aserbin-kudu-jepsen-ts-5.gce.cloudera.com" [:started :kudu-tserver], "aserbin-kudu-jepsen-ts-3.gce.cloudera.com" [:started :kudu-tserver], "aserbin-kudu-jepsen-ts-4.gce.cloudera.com" [:started :kudu-tserver]}