Skip to content

Instantly share code, notes, and snippets.

@jenschelkopf

jenschelkopf/jepsen-foundationdb-log.txt

Last active August 29, 2015 14:09
Show Gist options
  • Save jenschelkopf/d1d73f30d983062b4b14 to your computer and use it in GitHub Desktop.
Save jenschelkopf/d1d73f30d983062b4b14 to your computer and use it in GitHub Desktop.
Download ZIP
Complete log for FoundationDB Key-Value Store vs Jepsen2
Raw
jepsen-foundationdb-log.txt
lein test jepsen.system.foundationdb-test
INFO jepsen.os.ubuntu - :n4 setting up ubuntu
INFO jepsen.os.ubuntu - :n5 setting up ubuntu
INFO jepsen.os.ubuntu - :n2 setting up ubuntu
INFO jepsen.os.ubuntu - :n3 setting up ubuntu
INFO jepsen.os.ubuntu - :n1 setting up ubuntu
INFO jepsen.os.ubuntu - :n1 ubuntu set up
INFO jepsen.os.ubuntu - :n3 ubuntu set up
INFO jepsen.os.ubuntu - :n4 ubuntu set up
INFO jepsen.os.ubuntu - :n5 ubuntu set up
INFO jepsen.os.ubuntu - :n2 ubuntu set up
INFO jepsen.system.foundationdb - :n2 FoundationDB stopped and logs cleared
INFO jepsen.system.foundationdb - :n1 FoundationDB stopped and logs cleared
INFO jepsen.system.foundationdb - :n3 FoundationDB stopped and logs cleared
INFO jepsen.system.foundationdb - :n4 FoundationDB stopped and logs cleared
INFO jepsen.system.foundationdb - :n5 FoundationDB stopped and logs cleared
INFO jepsen.system.foundationdb - :n3 Downloading FoundationDB
INFO jepsen.system.foundationdb - :n1 Downloading FoundationDB
INFO jepsen.system.foundationdb - :n4 Downloading FoundationDB
INFO jepsen.system.foundationdb - :n2 Downloading FoundationDB
INFO jepsen.system.foundationdb - :n5 Downloading FoundationDB
INFO jepsen.system.foundationdb - :n4 Installing FoundationDB
INFO jepsen.system.foundationdb - :n1 Installing FoundationDB
INFO jepsen.system.foundationdb - :n2 Installing FoundationDB
INFO jepsen.system.foundationdb - :n3 Installing FoundationDB
INFO jepsen.system.foundationdb - :n5 Installing FoundationDB
INFO jepsen.system.foundationdb - :n3 Starting FoundationDB
INFO jepsen.system.foundationdb - :n4 Starting FoundationDB
INFO jepsen.system.foundationdb - :n2 Starting FoundationDB
INFO jepsen.system.foundationdb - :n1 Starting FoundationDB
INFO jepsen.system.foundationdb - :n5 Starting FoundationDB
INFO jepsen.system.foundationdb - :n3 FoundationDB ready.
INFO jepsen.system.foundationdb - :n5 FoundationDB ready.
INFO jepsen.system.foundationdb - :n2 FoundationDB ready.
INFO jepsen.system.foundationdb - :n4 FoundationDB ready.
INFO jepsen.system.foundationdb - :n1 FoundationDB ready.
INFO jepsen.system.foundationdb - :n1 Configuring FoundationDB to listen on public ip address
INFO jepsen.system.foundationdb - :n1 Joining nodes into a cluster
INFO jepsen.system.foundationdb - :n2 local:fQnWiuBR@10.0.3.245:4500
INFO jepsen.system.foundationdb - :n3 local:fQnWiuBR@10.0.3.245:4500
INFO jepsen.system.foundationdb - :n4 local:fQnWiuBR@10.0.3.245:4500
INFO jepsen.system.foundationdb - :n5 local:fQnWiuBR@10.0.3.245:4500
INFO jepsen.system.foundationdb - :n1 Configuring coordinators
INFO jepsen.system.foundationdb - :n1 Configuring triple replication
INFO jepsen.system.foundationdb - :n1 Storing the cluster file locally so the test can connect to the cluster
INFO jepsen.core - Worker 2 starting
INFO jepsen.core - Worker 4 starting
INFO jepsen.core - Worker 0 starting
INFO jepsen.core - Worker 3 starting
INFO jepsen.core - Worker 1 starting
INFO jepsen.util - 4 :invoke :cas [0 3]
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 0 :invoke :cas [3 4]
INFO jepsen.util - 1 :invoke :write 4
INFO jepsen.util - 3 :invoke :write 1
INFO jepsen.util - 4 :fail :cas nil
INFO jepsen.util - 0 :fail :cas nil
INFO jepsen.util - 3 :ok :write 1
INFO jepsen.util - 1 :ok :write 4
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 4 :invoke :write 0
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 3 :invoke :cas [2 3]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 0 :ok :read 4
INFO jepsen.util - 3 :fail :cas [2 3]
INFO jepsen.util - 4 :ok :write 0
INFO jepsen.util - 1 :ok :read 4
INFO jepsen.util - 2 :invoke :cas [1 2]
INFO jepsen.util - 2 :fail :cas [1 2]
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 4 :invoke :cas [1 2]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 0 :ok :read 0
INFO jepsen.util - 3 :ok :read 0
INFO jepsen.util - 4 :fail :cas [1 2]
INFO jepsen.util - 1 :ok :read 0
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 0 :invoke :write 3
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 4 :invoke :cas [4 4]
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 3 :ok :read 4
INFO jepsen.util - 1 :ok :read 4
INFO jepsen.util - 0 :ok :write 3
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 3
INFO jepsen.util - 4 :fail :cas [4 4]
INFO jepsen.util - :nemesis :info :start nil
INFO jepsen.util - 3 :invoke :cas [3 3]
INFO jepsen.util - 1 :invoke :cas [3 3]
INFO jepsen.util - 0 :invoke :cas [1 1]
INFO jepsen.util - 0 :fail :cas [1 1]
INFO jepsen.util - 3 :ok :cas [3 3]
INFO jepsen.util - 2 :invoke :write 4
INFO jepsen.util - 4 :invoke :write 1
INFO jepsen.util - 2 :ok :write 4
INFO jepsen.util - 1 :fail :cas [3 3]
INFO jepsen.util - 4 :ok :write 1
INFO jepsen.util - :nemesis :info :start "Cut off {:n1 #{:n3 :n4}, :n5 #{:n3 :n4}, :n2 #{:n3 :n4}, :n4 #{:n2 :n5 :n1}, :n3 #{:n2 :n5 :n1}}"
INFO jepsen.util - 0 :invoke :write 3
INFO jepsen.util - 3 :invoke :cas [2 0]
INFO jepsen.util - 2 :invoke :cas [0 3]
INFO jepsen.util - 1 :invoke :write 3
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - :nemesis :info :stop nil
INFO jepsen.util - :nemesis :info :stop "fully connected"
INFO jepsen.util - 0 :info :write :timed-out
INFO jepsen.util - 3 :info :cas :timed-out
INFO jepsen.util - 2 :info :cas :timed-out
INFO jepsen.util - 1 :info :write :timed-out
INFO jepsen.util - 4 :info :read :timed-out
INFO jepsen.util - 5 :invoke :read nil
INFO jepsen.util - 8 :invoke :read nil
INFO jepsen.util - 7 :invoke :cas [4 4]
INFO jepsen.util - 6 :invoke :cas [4 0]
INFO jepsen.util - 9 :invoke :cas [4 2]
INFO jepsen.util - 7 :fail :cas [4 4]
INFO jepsen.util - 9 :fail :cas [4 2]
INFO jepsen.util - 6 :fail :cas [4 0]
INFO jepsen.util - 8 :ok :read 3
INFO jepsen.util - 5 :ok :read 3
INFO jepsen.util - 7 :invoke :read nil
INFO jepsen.util - 9 :invoke :read nil
INFO jepsen.util - 6 :invoke :cas [3 0]
INFO jepsen.util - 8 :invoke :write 1
INFO jepsen.util - 5 :invoke :write 4
INFO jepsen.util - 7 :ok :read 3
INFO jepsen.util - 9 :ok :read 3
INFO jepsen.util - 5 :ok :write 4
INFO jepsen.util - 8 :ok :write 1
INFO jepsen.util - 6 :fail :cas [3 0]
INFO jepsen.util - 7 :invoke :cas [2 2]
INFO jepsen.util - 9 :invoke :read nil
INFO jepsen.util - 7 :fail :cas [2 2]
INFO jepsen.util - 9 :ok :read 1
INFO jepsen.util - 5 :invoke :cas [4 1]
INFO jepsen.util - 5 :fail :cas [4 1]
INFO jepsen.util - 8 :invoke :write 4
INFO jepsen.util - 8 :ok :write 4
INFO jepsen.util - 6 :invoke :write 1
INFO jepsen.util - 6 :ok :write 1
INFO jepsen.util - 7 :invoke :cas [2 0]
INFO jepsen.util - 9 :invoke :cas [3 4]
INFO jepsen.util - 7 :fail :cas [2 0]
INFO jepsen.util - 5 :invoke :cas [1 2]
INFO jepsen.util - 9 :fail :cas [3 4]
INFO jepsen.util - 8 :invoke :cas [2 2]
INFO jepsen.util - 5 :ok :cas [1 2]
INFO jepsen.util - 8 :ok :cas [2 2]
INFO jepsen.util - 6 :invoke :read nil
INFO jepsen.util - 6 :ok :read 2
INFO jepsen.util - :nemesis :info :start nil
INFO jepsen.util - 7 :invoke :write 0
INFO jepsen.util - 9 :invoke :cas [4 2]
INFO jepsen.util - 5 :invoke :read nil
INFO jepsen.util - 8 :invoke :cas [4 3]
INFO jepsen.util - 6 :invoke :cas [4 3]
INFO jepsen.util - :nemesis :info :start "Cut off {:n1 #{:n4 :n2}, :n5 #{:n4 :n2}, :n3 #{:n4 :n2}, :n2 #{:n3 :n5 :n1}, :n4 #{:n3 :n5 :n1}}"
INFO jepsen.util - 7 :info :write :timed-out
INFO jepsen.util - 9 :info :cas :timed-out
INFO jepsen.util - 5 :info :read :timed-out
INFO jepsen.util - 8 :info :cas :timed-out
INFO jepsen.util - 6 :info :cas :timed-out
INFO jepsen.util - :nemesis :info :stop nil
INFO jepsen.util - :nemesis :info :stop "fully connected"
INFO jepsen.util - 12 :invoke :cas [4 1]
INFO jepsen.util - 14 :invoke :write 3
INFO jepsen.util - 10 :invoke :cas [1 0]
INFO jepsen.util - 13 :invoke :write 0
INFO jepsen.util - 11 :invoke :write 0
INFO jepsen.util - 10 :fail :cas [1 0]
INFO jepsen.util - 12 :fail :cas [4 1]
INFO jepsen.util - 14 :ok :write 3
INFO jepsen.util - 11 :ok :write 0
INFO jepsen.util - 13 :ok :write 0
INFO jepsen.util - 12 :invoke :write 3
INFO jepsen.util - 10 :invoke :cas [4 4]
INFO jepsen.util - 14 :invoke :read nil
INFO jepsen.util - 10 :fail :cas [4 4]
INFO jepsen.util - 11 :invoke :read nil
INFO jepsen.util - 14 :ok :read 0
INFO jepsen.util - 13 :invoke :read nil
INFO jepsen.util - 12 :ok :write 3
INFO jepsen.util - 11 :ok :read 3
INFO jepsen.util - 13 :ok :read 3
INFO jepsen.util - 10 :invoke :read nil
INFO jepsen.util - 14 :invoke :write 0
INFO jepsen.util - 10 :ok :read 3
INFO jepsen.util - 12 :invoke :read nil
INFO jepsen.util - 11 :invoke :write 3
INFO jepsen.util - 12 :ok :read 3
INFO jepsen.util - 13 :invoke :cas [4 0]
INFO jepsen.util - 13 :fail :cas [4 0]
INFO jepsen.util - 14 :ok :write 0
INFO jepsen.util - 11 :ok :write 3
INFO jepsen.util - 10 :invoke :read nil
INFO jepsen.util - 12 :invoke :write 3
INFO jepsen.util - 10 :ok :read 3
INFO jepsen.util - 13 :invoke :cas [1 2]
INFO jepsen.util - 14 :invoke :write 0
INFO jepsen.util - 11 :invoke :write 3
INFO jepsen.util - 12 :ok :write 3
INFO jepsen.util - 13 :fail :cas [1 2]
INFO jepsen.util - 14 :ok :write 0
INFO jepsen.util - 11 :ok :write 3
INFO jepsen.util - 10 :invoke :cas [4 3]
INFO jepsen.util - 10 :fail :cas [4 3]
INFO jepsen.util - 12 :invoke :cas [4 1]
INFO jepsen.util - 13 :invoke :write 3
INFO jepsen.util - 12 :fail :cas [4 1]
INFO jepsen.util - 14 :invoke :read nil
INFO jepsen.util - 11 :invoke :read nil
INFO jepsen.util - 14 :ok :read 3
INFO jepsen.util - 11 :ok :read 3
INFO jepsen.util - 13 :ok :write 3
INFO jepsen.util - :nemesis :info :start nil
INFO jepsen.util - :nemesis :info :start "Cut off {:n1 #{:n4 :n2}, :n5 #{:n4 :n2}, :n3 #{:n4 :n2}, :n2 #{:n3 :n5 :n1}, :n4 #{:n3 :n5 :n1}}"
INFO jepsen.util - 10 :invoke :cas [3 3]
INFO jepsen.util - 12 :invoke :write 2
INFO jepsen.util - 14 :invoke :cas [4 2]
INFO jepsen.util - 11 :invoke :read nil
INFO jepsen.util - 13 :invoke :read nil
INFO jepsen.util - :nemesis :info :stop nil
INFO jepsen.util - 10 :info :cas :timed-out
INFO jepsen.util - 12 :info :write :timed-out
INFO jepsen.util - 14 :info :cas :timed-out
INFO jepsen.util - 11 :info :read :timed-out
INFO jepsen.util - 13 :info :read :timed-out
INFO jepsen.util - :nemesis :info :stop "fully connected"
INFO jepsen.util - 15 :invoke :write 0
INFO jepsen.util - 15 :ok :write 0
INFO jepsen.util - 17 :invoke :write 3
INFO jepsen.util - 19 :invoke :read nil
INFO jepsen.util - 16 :invoke :read nil
INFO jepsen.util - 18 :invoke :read nil
INFO jepsen.util - 17 :ok :write 3
INFO jepsen.util - 19 :ok :read 3
INFO jepsen.util - 16 :ok :read 3
INFO jepsen.util - 18 :ok :read 3
INFO jepsen.util - 15 :invoke :cas [1 1]
INFO jepsen.util - 15 :fail :cas [1 1]
INFO jepsen.util - 17 :invoke :read nil
INFO jepsen.util - 19 :invoke :cas [1 4]
INFO jepsen.util - 16 :invoke :cas [4 2]
INFO jepsen.util - 18 :invoke :write 2
INFO jepsen.util - 17 :ok :read 3
INFO jepsen.util - 19 :fail :cas [1 4]
INFO jepsen.util - 16 :fail :cas [4 2]
INFO jepsen.util - 18 :ok :write 2
INFO jepsen.util - 15 :invoke :write 1
INFO jepsen.util - 15 :ok :write 1
INFO jepsen.util - 17 :invoke :read nil
INFO jepsen.util - 19 :invoke :write 0
INFO jepsen.util - 16 :invoke :cas [1 3]
INFO jepsen.util - 17 :ok :read 1
INFO jepsen.util - 18 :invoke :read nil
INFO jepsen.util - 19 :ok :write 0
INFO jepsen.util - 18 :ok :read 0
INFO jepsen.util - 16 :fail :cas [1 3]
INFO jepsen.util - 15 :invoke :write 4
INFO jepsen.util - 17 :invoke :read nil
INFO jepsen.util - 17 :ok :read 0
INFO jepsen.util - 19 :invoke :write 3
INFO jepsen.util - 15 :ok :write 4
INFO jepsen.util - 18 :invoke :read nil
INFO jepsen.util - 18 :ok :read 4
INFO jepsen.util - 19 :ok :write 3
INFO jepsen.util - 16 :invoke :cas [0 0]
INFO jepsen.util - 16 :fail :cas [0 0]
INFO jepsen.util - 17 :invoke :write 2
INFO jepsen.util - 15 :invoke :write 1
INFO jepsen.util - 17 :ok :write 2
INFO jepsen.util - 18 :invoke :write 0
INFO jepsen.util - 15 :ok :write 1
INFO jepsen.util - 19 :invoke :read nil
INFO jepsen.util - 19 :ok :read 1
INFO jepsen.util - 18 :ok :write 0
INFO jepsen.util - 16 :invoke :read nil
INFO jepsen.util - 16 :ok :read 0
INFO jepsen.util - :nemesis :info :start nil
INFO jepsen.util - :nemesis :info :start "Cut off {:n1 #{:n3 :n4}, :n5 #{:n3 :n4}, :n2 #{:n3 :n4}, :n4 #{:n2 :n5 :n1}, :n3 #{:n2 :n5 :n1}}"
INFO jepsen.util - 17 :invoke :cas [3 4]
INFO jepsen.util - 15 :invoke :write 4
INFO jepsen.util - 19 :invoke :cas [0 3]
INFO jepsen.util - 18 :invoke :read nil
INFO jepsen.util - 16 :invoke :cas [1 3]
INFO jepsen.util - :nemesis :info :stop nil
INFO jepsen.util - 17 :info :cas :timed-out
INFO jepsen.util - 15 :info :write :timed-out
INFO jepsen.util - 19 :info :cas :timed-out
INFO jepsen.util - 18 :info :read :timed-out
INFO jepsen.util - 16 :info :cas :timed-out
INFO jepsen.util - :nemesis :info :stop "fully connected"
INFO jepsen.util - 22 :invoke :write 0
INFO jepsen.util - 20 :invoke :write 2
INFO jepsen.util - 22 :ok :write 0
INFO jepsen.util - 24 :invoke :write 0
INFO jepsen.util - 23 :invoke :cas [1 4]
INFO jepsen.util - 20 :ok :write 2
INFO jepsen.util - 23 :fail :cas [1 4]
INFO jepsen.util - 24 :ok :write 0
INFO jepsen.util - 21 :invoke :cas [3 0]
INFO jepsen.util - 21 :fail :cas [3 0]
INFO jepsen.util - 22 :invoke :write 1
INFO jepsen.util - 20 :invoke :write 4
INFO jepsen.util - 23 :invoke :write 4
INFO jepsen.util - 22 :ok :write 1
INFO jepsen.util - 24 :invoke :write 4
INFO jepsen.util - 21 :invoke :read nil
INFO jepsen.util - 24 :ok :write 4
INFO jepsen.util - 21 :ok :read 4
INFO jepsen.util - 23 :ok :write 4
INFO jepsen.util - 20 :ok :write 4
INFO jepsen.util - 22 :invoke :read nil
INFO jepsen.util - 22 :ok :read 4
INFO jepsen.util - 24 :invoke :cas [1 0]
INFO jepsen.util - 21 :invoke :read nil
INFO jepsen.util - 23 :invoke :read nil
INFO jepsen.util - 24 :fail :cas [1 0]
INFO jepsen.util - 21 :ok :read 4
INFO jepsen.util - 20 :invoke :write 4
INFO jepsen.util - 23 :ok :read 4
INFO jepsen.util - 20 :ok :write 4
INFO jepsen.util - 22 :invoke :read nil
INFO jepsen.util - 22 :ok :read 4
INFO jepsen.util - 24 :invoke :cas [2 1]
INFO jepsen.util - 21 :invoke :cas [3 0]
INFO jepsen.util - 23 :invoke :cas [3 2]
INFO jepsen.util - 24 :fail :cas [2 1]
INFO jepsen.util - 21 :fail :cas [3 0]
INFO jepsen.util - 23 :fail :cas [3 2]
INFO jepsen.util - 20 :invoke :read nil
INFO jepsen.util - 20 :ok :read 4
INFO jepsen.util - 22 :invoke :cas [0 0]
INFO jepsen.util - 22 :fail :cas [0 0]
INFO jepsen.util - 24 :invoke :read nil
INFO jepsen.util - 21 :invoke :cas [0 1]
INFO jepsen.util - 23 :invoke :read nil
INFO jepsen.util - 24 :ok :read 4
INFO jepsen.util - 21 :fail :cas [0 1]
INFO jepsen.util - 23 :ok :read 4
INFO jepsen.util - :nemesis :info :start nil
INFO jepsen.util - 20 :invoke :read nil
INFO jepsen.util - 20 :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 - 22 :invoke :cas [1 3]
INFO jepsen.util - 24 :invoke :cas [4 1]
INFO jepsen.util - 21 :invoke :cas [1 0]
INFO jepsen.util - 23 :invoke :write 0
INFO jepsen.util - 20 :invoke :write 1
INFO jepsen.util - :nemesis :info :stop nil
INFO jepsen.util - :nemesis :info :stop "fully connected"
INFO jepsen.util - 22 :info :cas :timed-out
INFO jepsen.util - 24 :info :cas :timed-out
INFO jepsen.util - 21 :info :cas :timed-out
INFO jepsen.util - 23 :info :write :timed-out
INFO jepsen.util - 20 :info :write :timed-out
INFO jepsen.util - 27 :invoke :cas [2 0]
INFO jepsen.util - 29 :invoke :read nil
INFO jepsen.util - 26 :invoke :cas [2 3]
INFO jepsen.util - 28 :invoke :read nil
INFO jepsen.util - 25 :invoke :write 2
INFO jepsen.util - 29 :ok :read 1
INFO jepsen.util - 28 :ok :read 1
INFO jepsen.util - 26 :fail :cas [2 3]
INFO jepsen.util - 27 :fail :cas [2 0]
INFO jepsen.util - 25 :ok :write 2
INFO jepsen.util - 29 :invoke :write 0
INFO jepsen.util - 28 :invoke :cas [0 1]
INFO jepsen.util - 26 :invoke :read nil
INFO jepsen.util - 27 :invoke :read nil
INFO jepsen.util - 25 :invoke :cas [3 3]
INFO jepsen.util - 26 :ok :read 1
INFO jepsen.util - 27 :ok :read 1
INFO jepsen.util - 28 :fail :cas [0 1]
INFO jepsen.util - 25 :fail :cas [3 3]
INFO jepsen.util - 29 :ok :write 0
INFO jepsen.util - 26 :invoke :write 4
INFO jepsen.util - 27 :invoke :read nil
INFO jepsen.util - 28 :invoke :cas [4 1]
INFO jepsen.util - 25 :invoke :write 3
INFO jepsen.util - 29 :invoke :write 2
INFO jepsen.util - 28 :fail :cas [4 1]
INFO jepsen.util - 27 :ok :read 0
INFO jepsen.util - 25 :ok :write 3
INFO jepsen.util - 29 :ok :write 2
INFO jepsen.util - 26 :ok :write 4
INFO jepsen.util - 28 :invoke :write 0
INFO jepsen.util - 27 :invoke :cas [2 0]
INFO jepsen.util - 25 :invoke :read nil
INFO jepsen.util - 29 :invoke :write 1
INFO jepsen.util - 26 :invoke :read nil
INFO jepsen.util - 28 :ok :write 0
INFO jepsen.util - 25 :ok :read 2
INFO jepsen.util - 26 :ok :read 0
INFO jepsen.util - 29 :ok :write 1
INFO jepsen.util - 27 :fail :cas [2 0]
INFO jepsen.util - :nemesis :info :start nil
INFO jepsen.util - 28 :invoke :write 4
INFO jepsen.util - 25 :invoke :write 3
INFO jepsen.util - 26 :invoke :write 4
INFO jepsen.util - 29 :invoke :cas [0 3]
INFO jepsen.util - 27 :invoke :read nil
INFO jepsen.util - :nemesis :info :start "Cut off {:n1 #{:n3 :n5}, :n2 #{:n3 :n5}, :n4 #{:n3 :n5}, :n5 #{:n4 :n2 :n1}, :n3 #{:n4 :n2 :n1}}"
INFO jepsen.util - 28 :info :write :timed-out
INFO jepsen.util - 25 :info :write :timed-out
INFO jepsen.util - 26 :info :write :timed-out
INFO jepsen.util - 29 :info :cas :timed-out
INFO jepsen.util - 27 :info :read :timed-out
INFO jepsen.util - :nemesis :info :stop nil
INFO jepsen.util - :nemesis :info :stop "fully connected"
INFO jepsen.util - 33 :invoke :write 0
INFO jepsen.util - 30 :invoke :cas [0 0]
INFO jepsen.util - 31 :invoke :write 4
INFO jepsen.util - 34 :invoke :cas [2 2]
INFO jepsen.util - 32 :invoke :read nil
INFO jepsen.util - 30 :fail :cas [0 0]
INFO jepsen.util - 34 :fail :cas [2 2]
INFO jepsen.util - 32 :ok :read 1
INFO jepsen.util - 31 :ok :write 4
INFO jepsen.util - 33 :ok :write 0
INFO jepsen.util - 30 :invoke :read nil
INFO jepsen.util - 34 :invoke :cas [1 4]
INFO jepsen.util - 32 :invoke :read nil
INFO jepsen.util - 30 :ok :read 4
INFO jepsen.util - 31 :invoke :read nil
INFO jepsen.util - 34 :fail :cas [1 4]
INFO jepsen.util - 32 :ok :read 4
INFO jepsen.util - 31 :ok :read 4
INFO jepsen.util - 33 :invoke :write 4
INFO jepsen.util - 33 :ok :write 4
INFO jepsen.util - 30 :invoke :cas [0 3]
INFO jepsen.util - 34 :invoke :write 2
INFO jepsen.util - 32 :invoke :write 4
INFO jepsen.util - 31 :invoke :read nil
INFO jepsen.util - 30 :fail :cas [0 3]
INFO jepsen.util - 31 :ok :read 4
INFO jepsen.util - 34 :ok :write 2
INFO jepsen.util - 33 :invoke :cas [2 3]
INFO jepsen.util - 32 :ok :write 4
INFO jepsen.util - 33 :fail :cas [2 3]
INFO jepsen.util - 30 :invoke :write 3
INFO jepsen.util - 31 :invoke :write 1
INFO jepsen.util - 34 :invoke :write 4
INFO jepsen.util - 30 :ok :write 3
INFO jepsen.util - 32 :invoke :write 3
INFO jepsen.util - 33 :invoke :cas [1 4]
INFO jepsen.util - 31 :ok :write 1
INFO jepsen.util - 34 :ok :write 4
INFO jepsen.util - 32 :ok :write 3
INFO jepsen.util - 33 :fail :cas [1 4]
INFO jepsen.util - 30 :invoke :cas [1 1]
INFO jepsen.util - 31 :invoke :write 0
INFO jepsen.util - 30 :fail :cas [1 1]
INFO jepsen.util - 34 :invoke :write 3
INFO jepsen.util - 32 :invoke :cas [1 3]
INFO jepsen.util - 31 :ok :write 0
INFO jepsen.util - 32 :fail :cas [1 3]
INFO jepsen.util - 34 :ok :write 3
INFO jepsen.util - 33 :invoke :write 0
INFO jepsen.util - 33 :ok :write 0
INFO jepsen.util - :nemesis :info :start nil
INFO jepsen.util - 30 :invoke :write 2
INFO jepsen.util - 31 :invoke :cas [1 4]
INFO jepsen.util - 32 :invoke :write 1
INFO jepsen.util - 34 :invoke :write 3
INFO jepsen.util - 33 :invoke :cas [4 2]
INFO jepsen.util - :nemesis :info :start "Cut off {:n1 #{:n2 :n5}, :n4 #{:n2 :n5}, :n3 #{:n2 :n5}, :n5 #{:n3 :n4 :n1}, :n2 #{:n3 :n4 :n1}}"
INFO jepsen.util - 30 :info :write :timed-out
INFO jepsen.util - 31 :info :cas :timed-out
INFO jepsen.util - 32 :info :write :timed-out
INFO jepsen.util - 34 :info :write :timed-out
INFO jepsen.util - 33 :info :cas :timed-out
INFO jepsen.util - 35 :invoke :cas [1 0]
INFO jepsen.util - 36 :invoke :cas [1 1]
INFO jepsen.util - 37 :invoke :cas [0 0]
INFO jepsen.util - 39 :invoke :write 0
INFO jepsen.util - 38 :invoke :write 4
INFO jepsen.util - 35 :fail :cas [1 0]
INFO jepsen.util - 36 :fail :cas [1 1]
INFO jepsen.util - 37 :fail :cas [0 0]
INFO jepsen.util - 39 :ok :write 0
INFO jepsen.util - 38 :ok :write 4
INFO jepsen.util - 35 :invoke :read nil
INFO jepsen.util - 36 :invoke :cas [2 2]
INFO jepsen.util - 37 :invoke :write 0
INFO jepsen.util - 35 :ok :read 2
INFO jepsen.util - 37 :ok :write 0
INFO jepsen.util - 36 :fail :cas [2 2]
INFO jepsen.util - 39 :invoke :write 3
INFO jepsen.util - 38 :invoke :read nil
INFO jepsen.util - 38 :ok :read 0
INFO jepsen.util - 39 :ok :write 3
INFO jepsen.util - 35 :invoke :cas [1 2]
INFO jepsen.util - 35 :fail :cas [1 2]
INFO jepsen.util - 37 :invoke :write 0
INFO jepsen.util - 37 :ok :write 0
INFO jepsen.util - 36 :invoke :write 2
INFO jepsen.util - 36 :ok :write 2
INFO jepsen.util - 38 :invoke :read nil
INFO jepsen.util - 38 :ok :read 2
INFO jepsen.util - 39 :invoke :write 2
INFO jepsen.util - 39 :ok :write 2
INFO jepsen.util - :nemesis :info :stop nil
INFO jepsen.util - :nemesis :info :stop "fully connected"
INFO jepsen.util - 35 :invoke :write 3
INFO jepsen.util - 35 :ok :write 3
INFO jepsen.util - 37 :invoke :write 0
INFO jepsen.util - 36 :invoke :read nil
INFO jepsen.util - 37 :ok :write 0
INFO jepsen.util - 36 :ok :read 3
INFO jepsen.util - 38 :invoke :write 0
INFO jepsen.util - 38 :ok :write 0
INFO jepsen.util - 39 :invoke :write 3
INFO jepsen.util - 39 :ok :write 3
INFO jepsen.util - 35 :invoke :read nil
INFO jepsen.util - 35 :ok :read 3
INFO jepsen.util - 37 :invoke :write 0
INFO jepsen.util - 36 :invoke :cas [4 0]
INFO jepsen.util - 36 :fail :cas [4 0]
INFO jepsen.util - 37 :ok :write 0
INFO jepsen.util - 38 :invoke :read nil
INFO jepsen.util - 38 :ok :read 0
INFO jepsen.util - 39 :invoke :read nil
INFO jepsen.util - 39 :ok :read 0
INFO jepsen.util - 35 :invoke :write 1
INFO jepsen.util - 35 :ok :write 1
INFO jepsen.util - 36 :invoke :cas [0 3]
INFO jepsen.util - 37 :invoke :cas [0 1]
INFO jepsen.util - 36 :fail :cas [0 3]
INFO jepsen.util - 37 :fail :cas [0 1]
INFO jepsen.util - 38 :invoke :cas [4 1]
INFO jepsen.util - 38 :fail :cas [4 1]
INFO jepsen.util - 39 :invoke :read nil
INFO jepsen.util - 39 :ok :read 1
INFO jepsen.util - 35 :invoke :read nil
INFO jepsen.util - 35 :ok :read 1
INFO jepsen.util - 36 :invoke :write 2
INFO jepsen.util - 37 :invoke :write 4
INFO jepsen.util - 36 :ok :write 2
INFO jepsen.util - 37 :ok :write 4
INFO jepsen.util - 38 :invoke :cas [3 0]
INFO jepsen.util - 38 :fail :cas [3 0]
INFO jepsen.util - 39 :invoke :cas [3 4]
INFO jepsen.util - 39 :fail :cas [3 4]
INFO jepsen.util - 35 :invoke :write 3
INFO jepsen.util - 35 :ok :write 3
INFO jepsen.util - 36 :invoke :read nil
INFO jepsen.util - 37 :invoke :cas [0 4]
INFO jepsen.util - 36 :ok :read 3
INFO jepsen.util - 38 :invoke :cas [3 3]
INFO jepsen.util - 37 :fail :cas [0 4]
INFO jepsen.util - 38 :ok :cas [3 3]
INFO jepsen.util - 39 :invoke :write 4
INFO jepsen.util - 39 :ok :write 4
INFO jepsen.util - :nemesis :info :start nil
INFO jepsen.util - 35 :invoke :read nil
INFO jepsen.util - 36 :invoke :read nil
INFO jepsen.util - 37 :invoke :write 0
INFO jepsen.util - 38 :invoke :write 4
INFO jepsen.util - 39 :invoke :cas [1 1]
INFO jepsen.util - :nemesis :info :start "Cut off {:n1 #{:n3 :n5}, :n2 #{:n3 :n5}, :n4 #{:n3 :n5}, :n5 #{:n4 :n2 :n1}, :n3 #{:n4 :n2 :n1}}"
INFO jepsen.util - 35 :info :read :timed-out
INFO jepsen.util - 36 :info :read :timed-out
INFO jepsen.util - 37 :info :write :timed-out
INFO jepsen.util - 38 :info :write :timed-out
INFO jepsen.util - 39 :info :cas :timed-out
INFO jepsen.util - :nemesis :info :stop nil
INFO jepsen.util - :nemesis :info :stop "fully connected"
INFO jepsen.util - 40 :invoke :cas [2 4]
INFO jepsen.util - 41 :invoke :read nil
INFO jepsen.util - 42 :invoke :read nil
INFO jepsen.util - 43 :invoke :cas [2 4]
INFO jepsen.util - 44 :invoke :read nil
INFO jepsen.util - 43 :fail :cas [2 4]
INFO jepsen.util - 40 :fail :cas [2 4]
INFO jepsen.util - 44 :ok :read 4
INFO jepsen.util - 41 :ok :read 4
INFO jepsen.util - 42 :ok :read 4
INFO jepsen.util - 43 :invoke :read nil
INFO jepsen.util - 40 :invoke :write 3
INFO jepsen.util - 44 :invoke :read nil
INFO jepsen.util - 42 :invoke :read nil
INFO jepsen.util - 41 :invoke :cas [0 0]
INFO jepsen.util - 43 :ok :read 4
INFO jepsen.util - 44 :ok :read 4
INFO jepsen.util - 42 :ok :read 4
INFO jepsen.util - 41 :fail :cas [0 0]
INFO jepsen.util - 40 :ok :write 3
INFO jepsen.util - 43 :invoke :read nil
INFO jepsen.util - 44 :invoke :read nil
INFO jepsen.util - 42 :invoke :read nil
INFO jepsen.util - 41 :invoke :write 3
INFO jepsen.util - 43 :ok :read 3
INFO jepsen.util - 44 :ok :read 3
INFO jepsen.util - 42 :ok :read 3
INFO jepsen.util - 40 :invoke :write 4
INFO jepsen.util - 41 :ok :write 3
INFO jepsen.util - 40 :ok :write 4
INFO jepsen.util - 43 :invoke :read nil
INFO jepsen.util - 44 :invoke :read nil
INFO jepsen.util - 42 :invoke :cas [0 3]
INFO jepsen.util - 43 :ok :read 4
INFO jepsen.util - 44 :ok :read 4
INFO jepsen.util - 42 :fail :cas [0 3]
INFO jepsen.util - 41 :invoke :write 2
INFO jepsen.util - 41 :ok :write 2
INFO jepsen.util - 40 :invoke :cas [2 2]
INFO jepsen.util - 40 :ok :cas [2 2]
INFO jepsen.util - :nemesis :info :start nil
INFO jepsen.util - 43 :invoke :read nil
INFO jepsen.util - 44 :invoke :read nil
INFO jepsen.util - 42 :invoke :read nil
INFO jepsen.util - 41 :invoke :read nil
INFO jepsen.util - 40 :invoke :write 1
INFO jepsen.util - :nemesis :info :start "Cut off {:n1 #{:n3 :n5}, :n2 #{:n3 :n5}, :n4 #{:n3 :n5}, :n5 #{:n4 :n2 :n1}, :n3 #{:n4 :n2 :n1}}"
INFO jepsen.util - 43 :info :read :timed-out
INFO jepsen.util - 44 :info :read :timed-out
INFO jepsen.util - 42 :info :read :timed-out
INFO jepsen.util - 41 :info :read :timed-out
INFO jepsen.util - 40 :info :write :timed-out
INFO jepsen.util - :nemesis :info :stop nil
INFO jepsen.util - :nemesis :info :stop "fully connected"
INFO jepsen.util - 48 :invoke :write 2
INFO jepsen.util - 49 :invoke :write 1
INFO jepsen.util - 47 :invoke :read nil
INFO jepsen.util - 47 :ok :read 1
INFO jepsen.util - 48 :ok :write 2
INFO jepsen.util - 46 :invoke :cas [3 3]
INFO jepsen.util - 49 :ok :write 1
INFO jepsen.util - 46 :fail :cas [3 3]
INFO jepsen.util - 45 :invoke :cas [3 2]
INFO jepsen.util - 45 :fail :cas [3 2]
INFO jepsen.util - 47 :invoke :read nil
INFO jepsen.util - 48 :invoke :write 3
INFO jepsen.util - 47 :ok :read 1
INFO jepsen.util - 49 :invoke :write 4
INFO jepsen.util - 46 :invoke :read nil
INFO jepsen.util - 48 :ok :write 3
INFO jepsen.util - 46 :ok :read 3
INFO jepsen.util - 49 :ok :write 4
INFO jepsen.util - 45 :invoke :read nil
INFO jepsen.util - 45 :ok :read 4
INFO jepsen.util - 47 :invoke :read nil
INFO jepsen.util - 47 :ok :read 4
INFO jepsen.util - 48 :invoke :read nil
INFO jepsen.util - 46 :invoke :cas [0 1]
INFO jepsen.util - 49 :invoke :write 4
INFO jepsen.util - 48 :ok :read 4
INFO jepsen.util - 46 :fail :cas [0 1]
INFO jepsen.util - 49 :ok :write 4
INFO jepsen.util - 45 :invoke :read nil
INFO jepsen.util - 45 :ok :read 4
INFO jepsen.util - 47 :invoke :cas [2 4]
INFO jepsen.util - 47 :fail :cas [2 4]
INFO jepsen.util - 48 :invoke :read nil
INFO jepsen.util - 46 :invoke :cas [2 3]
INFO jepsen.util - 48 :ok :read 4
INFO jepsen.util - 46 :fail :cas [2 3]
INFO jepsen.util - 49 :invoke :cas [4 2]
INFO jepsen.util - 45 :invoke :write 0
INFO jepsen.util - 49 :ok :cas [4 2]
INFO jepsen.util - 45 :ok :write 0
INFO jepsen.util - 47 :invoke :write 4
INFO jepsen.util - 48 :invoke :cas [1 2]
INFO jepsen.util - 47 :ok :write 4
INFO jepsen.util - 46 :invoke :read nil
INFO jepsen.util - 48 :fail :cas [1 2]
INFO jepsen.util - 46 :ok :read 4
INFO jepsen.util - 49 :invoke :cas [1 3]
INFO jepsen.util - 49 :fail :cas [1 3]
INFO jepsen.util - 45 :invoke :write 4
INFO jepsen.util - 45 :ok :write 4
INFO jepsen.util - :nemesis :info :start nil
INFO jepsen.util - 47 :invoke :read nil
INFO jepsen.util - 48 :invoke :read nil
INFO jepsen.util - 46 :invoke :cas [0 4]
INFO jepsen.util - 49 :invoke :cas [1 2]
INFO jepsen.util - 45 :invoke :read nil
INFO jepsen.util - :nemesis :info :start "Cut off {:n1 #{:n3 :n5}, :n2 #{:n3 :n5}, :n4 #{:n3 :n5}, :n5 #{:n4 :n2 :n1}, :n3 #{:n4 :n2 :n1}}"
INFO jepsen.util - 47 :info :read :timed-out
INFO jepsen.util - 48 :info :read :timed-out
INFO jepsen.util - 46 :info :cas :timed-out
INFO jepsen.util - 49 :info :cas :timed-out
INFO jepsen.util - 45 :info :read :timed-out
INFO jepsen.util - :nemesis :info :stop nil
INFO jepsen.util - :nemesis :info :stop "fully connected"
INFO jepsen.util - 52 :invoke :write 3
INFO jepsen.util - 53 :invoke :write 2
INFO jepsen.util - 51 :invoke :write 2
INFO jepsen.util - 54 :invoke :cas [4 3]
INFO jepsen.util - 53 :ok :write 2
INFO jepsen.util - 52 :ok :write 3
INFO jepsen.util - 50 :invoke :read nil
INFO jepsen.util - 50 :ok :read 3
INFO jepsen.util - 51 :ok :write 2
INFO jepsen.util - 54 :fail :cas [4 3]
INFO jepsen.util - 53 :invoke :write 1
INFO jepsen.util - 52 :invoke :read nil
INFO jepsen.util - 53 :ok :write 1
INFO jepsen.util - 52 :ok :read 2
INFO jepsen.util - 50 :invoke :read nil
INFO jepsen.util - 51 :invoke :write 4
INFO jepsen.util - 50 :ok :read 1
INFO jepsen.util - 51 :ok :write 4
INFO jepsen.util - 54 :invoke :cas [1 1]
INFO jepsen.util - 54 :fail :cas [1 1]
INFO jepsen.util - 52 :invoke :read nil
INFO jepsen.util - 53 :invoke :cas [3 3]
INFO jepsen.util - 52 :ok :read 4
INFO jepsen.util - 53 :fail :cas [3 3]
INFO jepsen.util - 50 :invoke :read nil
INFO jepsen.util - 50 :ok :read 4
INFO jepsen.util - 51 :invoke :cas [4 2]
INFO jepsen.util - 54 :invoke :cas [4 4]
INFO jepsen.util - 54 :ok :cas [4 4]
INFO jepsen.util - 51 :ok :cas [4 2]
INFO jepsen.util - 53 :invoke :read nil
INFO jepsen.util - 52 :invoke :write 0
INFO jepsen.util - 53 :ok :read 2
INFO jepsen.util - 50 :invoke :read nil
INFO jepsen.util - 52 :ok :write 0
INFO jepsen.util - 50 :ok :read 0
INFO jepsen.util - 54 :invoke :write 2
INFO jepsen.util - 54 :ok :write 2
INFO jepsen.util - 51 :invoke :read nil
INFO jepsen.util - 51 :ok :read 2
INFO jepsen.util - 53 :invoke :write 4
INFO jepsen.util - 52 :invoke :cas [0 1]
INFO jepsen.util - 50 :invoke :cas [4 2]
INFO jepsen.util - 52 :fail :cas [0 1]
INFO jepsen.util - 53 :ok :write 4
INFO jepsen.util - 50 :fail :cas [4 2]
INFO jepsen.util - 54 :invoke :write 1
INFO jepsen.util - 54 :ok :write 1
INFO jepsen.util - 51 :invoke :read nil
INFO jepsen.util - 51 :ok :read 1
INFO jepsen.util - :nemesis :info :start nil
INFO jepsen.util - :nemesis :info :start "Cut off {:n1 #{:n3 :n5}, :n2 #{:n3 :n5}, :n4 #{:n3 :n5}, :n5 #{:n4 :n2 :n1}, :n3 #{:n4 :n2 :n1}}"
INFO jepsen.util - 52 :invoke :cas [4 3]
INFO jepsen.util - 53 :invoke :cas [4 4]
INFO jepsen.util - 50 :invoke :read nil
INFO jepsen.util - 52 :fail :cas [4 3]
INFO jepsen.util - 50 :ok :read 1
INFO jepsen.util - 53 :fail :cas [4 4]
INFO jepsen.util - 54 :invoke :write 2
INFO jepsen.util - 54 :ok :write 2
INFO jepsen.util - 51 :invoke :read nil
INFO jepsen.util - 51 :ok :read 2
INFO jepsen.util - 52 :invoke :cas [1 1]
INFO jepsen.util - 50 :invoke :read nil
INFO jepsen.util - 53 :invoke :read nil
INFO jepsen.util - 52 :fail :cas [1 1]
INFO jepsen.util - 53 :ok :read 2
INFO jepsen.util - 50 :ok :read 2
INFO jepsen.util - 54 :invoke :read nil
INFO jepsen.util - 54 :ok :read 2
INFO jepsen.util - 51 :invoke :read nil
INFO jepsen.util - 51 :ok :read 2
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 - 52 :invoke :read nil
INFO jepsen.core - Worker 0 done
INFO jepsen.core - Worker 3 done
INFO jepsen.core - Worker 4 done
INFO jepsen.core - Worker 1 done
INFO jepsen.util - 52 :ok :read 2
INFO jepsen.core - Worker 2 done
INFO jepsen.core - Run complete, writing
INFO jepsen.core - Analyzing
INFO knossos.core - [311 / 718] 6213 extant worlds, 10932 visited/s, 1133 skipped/s, hitrate 0.094 cache size 13494
INFO knossos.core - [355 / 718] 9355 extant worlds, 6814 visited/s, 643 skipped/s, hitrate 0.086 cache size 21088
INFO knossos.core - [368 / 718] 12352 extant worlds, 6441 visited/s, 636 skipped/s, hitrate 0.090 cache size 28222
INFO knossos.core - [368 / 718] 14598 extant worlds, 6812 visited/s, 612 skipped/s, hitrate 0.082 cache size 34016
INFO knossos.core - [368 / 718] 18806 extant worlds, 10372 visited/s, 1162 skipped/s, hitrate 0.101 cache size 44921
INFO knossos.core - [368 / 718] 21797 extant worlds, 8704 visited/s, 935 skipped/s, hitrate 0.097 cache size 52713
INFO knossos.core - [368 / 718] 24393 extant worlds, 7311 visited/s, 643 skipped/s, hitrate 0.081 cache size 59498
INFO knossos.core - [368 / 718] 25662 extant worlds, 3013 visited/s, 298 skipped/s, hitrate 0.090 cache size 62382
INFO knossos.core - [368 / 718] 28780 extant worlds, 11001 visited/s, 1627 skipped/s, hitrate 0.129 cache size 71805
INFO knossos.core - [368 / 718] 31238 extant worlds, 10727 visited/s, 1646 skipped/s, hitrate 0.133 cache size 80322
INFO knossos.core - [368 / 718] 34545 extant worlds, 8099 visited/s, 1192 skipped/s, hitrate 0.128 cache size 87890
INFO knossos.core - [368 / 718] 36861 extant worlds, 9649 visited/s, 1339 skipped/s, hitrate 0.122 cache size 95142
INFO knossos.core - [368 / 718] 39904 extant worlds, 9186 visited/s, 973 skipped/s, hitrate 0.096 cache size 102804
INFO knossos.core - [368 / 718] 42564 extant worlds, 11111 visited/s, 2037 skipped/s, hitrate 0.155 cache size 111441
INFO knossos.core - [368 / 718] 45936 extant worlds, 13953 visited/s, 2774 skipped/s, hitrate 0.166 cache size 122454
INFO knossos.core - [368 / 718] 46950 extant worlds, 1833 visited/s, 140 skipped/s, hitrate 0.071 cache size 124689
INFO knossos.core - [368 / 718] 48096 extant worlds, 3968 visited/s, 792 skipped/s, hitrate 0.166 cache size 128370
INFO knossos.core - [368 / 718] 49945 extant worlds, 5150 visited/s, 905 skipped/s, hitrate 0.149 cache size 133094
INFO knossos.core - [368 / 718] 52354 extant worlds, 8689 visited/s, 1273 skipped/s, hitrate 0.128 cache size 139645
INFO knossos.core - [368 / 718] 55011 extant worlds, 10102 visited/s, 1596 skipped/s, hitrate 0.136 cache size 147487
INFO knossos.core - [368 / 718] 58449 extant worlds, 11994 visited/s, 1680 skipped/s, hitrate 0.123 cache size 156537
INFO knossos.core - [368 / 718] 61441 extant worlds, 9018 visited/s, 953 skipped/s, hitrate 0.096 cache size 163475
INFO knossos.core - [368 / 718] 63414 extant worlds, 5312 visited/s, 599 skipped/s, hitrate 0.101 cache size 168159
INFO knossos.core - [368 / 718] 65127 extant worlds, 5763 visited/s, 845 skipped/s, hitrate 0.128 cache size 172896
INFO knossos.core - [368 / 718] 69422 extant worlds, 11462 visited/s, 1767 skipped/s, hitrate 0.134 cache size 183318
INFO knossos.core - [368 / 718] 73646 extant worlds, 19859 visited/s, 3472 skipped/s, hitrate 0.149 cache size 197897
INFO knossos.core - [368 / 718] 76408 extant worlds, 11287 visited/s, 2239 skipped/s, hitrate 0.166 cache size 206635
INFO knossos.core - [368 / 718] 77728 extant worlds, 9302 visited/s, 2600 skipped/s, hitrate 0.218 cache size 213366
INFO knossos.core - [368 / 718] 79727 extant worlds, 10265 visited/s, 2198 skipped/s, hitrate 0.176 cache size 221088
INFO knossos.core - [368 / 718] 82160 extant worlds, 8122 visited/s, 1427 skipped/s, hitrate 0.149 cache size 228102
INFO knossos.core - [368 / 718] 84139 extant worlds, 7548 visited/s, 1780 skipped/s, hitrate 0.191 cache size 234325
INFO knossos.core - [368 / 718] 86832 extant worlds, 12927 visited/s, 3479 skipped/s, hitrate 0.212 cache size 244857
INFO knossos.core - [368 / 718] 90402 extant worlds, 8914 visited/s, 1194 skipped/s, hitrate 0.118 cache size 253141
INFO knossos.core - [368 / 718] 92089 extant worlds, 6450 visited/s, 1028 skipped/s, hitrate 0.138 cache size 258064
INFO knossos.core - [368 / 718] 94402 extant worlds, 7744 visited/s, 1567 skipped/s, hitrate 0.168 cache size 264206
INFO knossos.core - [368 / 718] 97447 extant worlds, 12731 visited/s, 2384 skipped/s, hitrate 0.158 cache size 273677
INFO knossos.core - [368 / 718] 100212 extant worlds, 12770 visited/s, 2717 skipped/s, hitrate 0.175 cache size 282567
INFO knossos.core - [368 / 718] 101587 extant worlds, 6917 visited/s, 1343 skipped/s, hitrate 0.163 cache size 287229
INFO knossos.core - [368 / 718] 103280 extant worlds, 3990 visited/s, 633 skipped/s, hitrate 0.137 cache size 290920
INFO knossos.core - [368 / 718] 105170 extant worlds, 3948 visited/s, 445 skipped/s, hitrate 0.101 cache size 295157
INFO knossos.core - [368 / 718] 106701 extant worlds, 6519 visited/s, 1055 skipped/s, hitrate 0.139 cache size 299796
INFO knossos.core - [368 / 718] 108351 extant worlds, 7204 visited/s, 1059 skipped/s, hitrate 0.128 cache size 305384
INFO knossos.core - [368 / 718] 109686 extant worlds, 3380 visited/s, 472 skipped/s, hitrate 0.123 cache size 308679
INFO knossos.core - [368 / 718] 110762 extant worlds, 3301 visited/s, 521 skipped/s, hitrate 0.136 cache size 311531
INFO knossos.core - [368 / 718] 112111 extant worlds, 3896 visited/s, 720 skipped/s, hitrate 0.156 cache size 315203
INFO knossos.core - [368 / 718] 113338 extant worlds, 1805 visited/s, 153 skipped/s, hitrate 0.078 cache size 317640
INFO knossos.core - [368 / 718] 115345 extant worlds, 7575 visited/s, 1448 skipped/s, hitrate 0.160 cache size 323251
INFO knossos.core - [368 / 718] 116960 extant worlds, 5258 visited/s, 1015 skipped/s, hitrate 0.162 cache size 327550
INFO knossos.core - [368 / 718] 117934 extant worlds, 2572 visited/s, 338 skipped/s, hitrate 0.116 cache size 329881
INFO knossos.core - [368 / 718] 118885 extant worlds, 1278 visited/s, 124 skipped/s, hitrate 0.089 cache size 331636
INFO knossos.core - [368 / 718] 119884 extant worlds, 2012 visited/s, 382 skipped/s, hitrate 0.160 cache size 333798
INFO knossos.core - [368 / 718] 122254 extant worlds, 5415 visited/s, 716 skipped/s, hitrate 0.117 cache size 338369
INFO knossos.core - [368 / 718] 123944 extant worlds, 3065 visited/s, 402 skipped/s, hitrate 0.116 cache size 341462
INFO knossos.core - [368 / 718] 125382 extant worlds, 2508 visited/s, 376 skipped/s, hitrate 0.130 cache size 344264
INFO knossos.core - [368 / 718] 126591 extant worlds, 4166 visited/s, 458 skipped/s, hitrate 0.099 cache size 347470
INFO knossos.core - [368 / 718] 128068 extant worlds, 3085 visited/s, 540 skipped/s, hitrate 0.149 cache size 350677
INFO knossos.core - [368 / 718] 130193 extant worlds, 5325 visited/s, 916 skipped/s, hitrate 0.147 cache size 355590
INFO knossos.core - [368 / 718] 132104 extant worlds, 5846 visited/s, 1014 skipped/s, hitrate 0.148 cache size 360481
INFO knossos.core - [368 / 718] 134785 extant worlds, 5283 visited/s, 980 skipped/s, hitrate 0.157 cache size 366063
INFO knossos.core - [368 / 718] 136659 extant worlds, 6563 visited/s, 1413 skipped/s, hitrate 0.177 cache size 371184
INFO knossos.core - [368 / 718] 139182 extant worlds, 7746 visited/s, 2100 skipped/s, hitrate 0.213 cache size 377138
INFO knossos.core - [368 / 718] 141585 extant worlds, 7676 visited/s, 1214 skipped/s, hitrate 0.137 cache size 383188
INFO knossos.core - [368 / 718] 144024 extant worlds, 7406 visited/s, 1383 skipped/s, hitrate 0.157 cache size 389128
INFO knossos.core - [368 / 718] 146279 extant worlds, 6067 visited/s, 964 skipped/s, hitrate 0.137 cache size 393891
INFO knossos.core - [368 / 718] 147813 extant worlds, 6822 visited/s, 1320 skipped/s, hitrate 0.162 cache size 398471
INFO knossos.core - [368 / 718] 148998 extant worlds, 5221 visited/s, 984 skipped/s, hitrate 0.159 cache size 402243
INFO knossos.core - [368 / 718] 152247 extant worlds, 10748 visited/s, 2331 skipped/s, hitrate 0.178 cache size 410680
INFO knossos.core - [368 / 718] 153916 extant worlds, 8300 visited/s, 2049 skipped/s, hitrate 0.198 cache size 416386
INFO knossos.core - [368 / 718] 155843 extant worlds, 6277 visited/s, 1182 skipped/s, hitrate 0.159 cache size 421528
INFO knossos.core - [368 / 718] 157516 extant worlds, 4760 visited/s, 984 skipped/s, hitrate 0.171 cache size 425777
INFO knossos.core - [368 / 718] 160228 extant worlds, 4782 visited/s, 803 skipped/s, hitrate 0.144 cache size 430767
INFO knossos.core - [368 / 718] 163326 extant worlds, 5479 visited/s, 616 skipped/s, hitrate 0.101 cache size 437122
INFO knossos.core - [368 / 718] 166353 extant worlds, 11880 visited/s, 2297 skipped/s, hitrate 0.162 cache size 447173
INFO knossos.core - [368 / 718] 169149 extant worlds, 6809 visited/s, 873 skipped/s, hitrate 0.114 cache size 452752
INFO knossos.core - [368 / 718] 171841 extant worlds, 11672 visited/s, 2409 skipped/s, hitrate 0.171 cache size 461213
INFO knossos.core - [368 / 718] 174568 extant worlds, 9986 visited/s, 1865 skipped/s, hitrate 0.157 cache size 468512
INFO knossos.core - [368 / 718] 176186 extant worlds, 6508 visited/s, 1306 skipped/s, hitrate 0.167 cache size 473412
INFO knossos.core - [368 / 718] 180228 extant worlds, 16512 visited/s, 3332 skipped/s, hitrate 0.168 cache size 486061
INFO knossos.core - [368 / 718] 182697 extant worlds, 13220 visited/s, 3082 skipped/s, hitrate 0.189 cache size 494774
INFO knossos.core - [368 / 718] 186186 extant worlds, 14396 visited/s, 3129 skipped/s, hitrate 0.179 cache size 505094
INFO knossos.core - [368 / 718] 188497 extant worlds, 14214 visited/s, 2700 skipped/s, hitrate 0.160 cache size 514722
INFO knossos.core - [368 / 718] 190333 extant worlds, 9301 visited/s, 1804 skipped/s, hitrate 0.162 cache size 520901
INFO knossos.core - [368 / 718] 192375 extant worlds, 5090 visited/s, 791 skipped/s, hitrate 0.135 cache size 525269
INFO knossos.core - [368 / 718] 195548 extant worlds, 6479 visited/s, 857 skipped/s, hitrate 0.117 cache size 531774
INFO knossos.core - [368 / 718] 197011 extant worlds, 4121 visited/s, 480 skipped/s, hitrate 0.105 cache size 535270
INFO knossos.core - [368 / 718] 198513 extant worlds, 3474 visited/s, 246 skipped/s, hitrate 0.066 cache size 538297
INFO knossos.core - [368 / 718] 202232 extant worlds, 6294 visited/s, 661 skipped/s, hitrate 0.095 cache size 544927
INFO knossos.core - [368 / 718] 203679 extant worlds, 4513 visited/s, 599 skipped/s, hitrate 0.117 cache size 548198
INFO knossos.core - [368 / 718] 204875 extant worlds, 1537 visited/s, 184 skipped/s, hitrate 0.107 cache size 550344
INFO knossos.core - [368 / 718] 207353 extant worlds, 12478 visited/s, 2162 skipped/s, hitrate 0.148 cache size 558888
INFO knossos.core - [368 / 718] 208770 extant worlds, 5975 visited/s, 1408 skipped/s, hitrate 0.191 cache size 562642
INFO knossos.core - [368 / 718] 211245 extant worlds, 10836 visited/s, 2373 skipped/s, hitrate 0.180 cache size 570374
INFO knossos.core - [368 / 718] 213700 extant worlds, 8742 visited/s, 1927 skipped/s, hitrate 0.181 cache size 577431
INFO knossos.core - [368 / 718] 215495 extant worlds, 10323 visited/s, 2458 skipped/s, hitrate 0.192 cache size 584922
INFO knossos.core - [368 / 718] 217359 extant worlds, 8472 visited/s, 2221 skipped/s, hitrate 0.208 cache size 591063
INFO knossos.core - [368 / 718] 219332 extant worlds, 9897 visited/s, 1913 skipped/s, hitrate 0.162 cache size 598259
INFO knossos.core - [368 / 718] 221391 extant worlds, 4651 visited/s, 698 skipped/s, hitrate 0.131 cache size 602809
INFO knossos.core - [368 / 718] 224482 extant worlds, 8848 visited/s, 1648 skipped/s, hitrate 0.157 cache size 610253
INFO knossos.core - [368 / 718] 226692 extant worlds, 6756 visited/s, 1109 skipped/s, hitrate 0.141 cache size 616106
INFO knossos.core - [368 / 718] 229675 extant worlds, 11307 visited/s, 2665 skipped/s, hitrate 0.191 cache size 624910
INFO knossos.core - [368 / 718] 232067 extant worlds, 9117 visited/s, 1266 skipped/s, hitrate 0.122 cache size 631570
INFO knossos.core - [368 / 718] 235460 extant worlds, 9345 visited/s, 1431 skipped/s, hitrate 0.133 cache size 639149
INFO knossos.core - [368 / 718] 239265 extant worlds, 13012 visited/s, 2035 skipped/s, hitrate 0.135 cache size 648598
INFO knossos.core - [368 / 718] 241586 extant worlds, 7131 visited/s, 1231 skipped/s, hitrate 0.147 cache size 654594
INFO knossos.core - [368 / 718] 243002 extant worlds, 8141 visited/s, 1465 skipped/s, hitrate 0.153 cache size 660093
INFO knossos.core - [368 / 718] 246754 extant worlds, 13057 visited/s, 2128 skipped/s, hitrate 0.140 cache size 669445
INFO knossos.core - [368 / 718] 248975 extant worlds, 14714 visited/s, 3346 skipped/s, hitrate 0.185 cache size 678841
INFO knossos.core - [368 / 718] 251506 extant worlds, 12164 visited/s, 3315 skipped/s, hitrate 0.214 cache size 686422
INFO knossos.core - [368 / 718] 257201 extant worlds, 13177 visited/s, 2267 skipped/s, hitrate 0.147 cache size 697710
INFO knossos.core - [368 / 718] 258139 extant worlds, 3495 visited/s, 497 skipped/s, hitrate 0.125 cache size 700323
INFO knossos.core - [368 / 718] 260896 extant worlds, 6743 visited/s, 917 skipped/s, hitrate 0.120 cache size 705998
INFO knossos.core - [368 / 718] 264196 extant worlds, 7969 visited/s, 1266 skipped/s, hitrate 0.137 cache size 712929
INFO knossos.core - [368 / 718] 268571 extant worlds, 8932 visited/s, 1487 skipped/s, hitrate 0.143 cache size 721348
INFO knossos.core - [368 / 718] 270514 extant worlds, 7861 visited/s, 1996 skipped/s, hitrate 0.203 cache size 726926
INFO knossos.core - [368 / 718] 272090 extant worlds, 7400 visited/s, 1568 skipped/s, hitrate 0.175 cache size 732374
INFO knossos.core - [368 / 718] 273708 extant worlds, 7615 visited/s, 1343 skipped/s, hitrate 0.150 cache size 736786
INFO knossos.core - [368 / 718] 275343 extant worlds, 5347 visited/s, 810 skipped/s, hitrate 0.132 cache size 740519
INFO knossos.core - [368 / 718] 277668 extant worlds, 3855 visited/s, 380 skipped/s, hitrate 0.090 cache size 744008
INFO knossos.core - [368 / 718] 278246 extant worlds, 4032 visited/s, 726 skipped/s, hitrate 0.153 cache size 746152
INFO knossos.core - [368 / 718] 280330 extant worlds, 7225 visited/s, 1658 skipped/s, hitrate 0.187 cache size 751125
INFO knossos.core - [368 / 718] 281988 extant worlds, 8122 visited/s, 2178 skipped/s, hitrate 0.211 cache size 756693
INFO knossos.core - [368 / 718] 283187 extant worlds, 8822 visited/s, 2539 skipped/s, hitrate 0.224 cache size 762602
INFO knossos.core - [368 / 718] 285482 extant worlds, 5770 visited/s, 1930 skipped/s, hitrate 0.251 cache size 767100
INFO knossos.core - [368 / 718] 286964 extant worlds, 5903 visited/s, 1223 skipped/s, hitrate 0.172 cache size 771571
INFO knossos.core - [368 / 718] 289415 extant worlds, 10673 visited/s, 2103 skipped/s, hitrate 0.165 cache size 779148
INFO knossos.core - [368 / 718] 292366 extant worlds, 7482 visited/s, 1325 skipped/s, hitrate 0.150 cache size 785549
INFO knossos.core - [368 / 718] 295367 extant worlds, 6300 visited/s, 1196 skipped/s, hitrate 0.160 cache size 791017
INFO knossos.core - [368 / 718] 298520 extant worlds, 9641 visited/s, 1356 skipped/s, hitrate 0.123 cache size 798370
INFO knossos.core - [368 / 718] 299857 extant worlds, 9783 visited/s, 1944 skipped/s, hitrate 0.166 cache size 804172
INFO knossos.core - [368 / 718] 300852 extant worlds, 10683 visited/s, 2401 skipped/s, hitrate 0.184 cache size 809608
INFO knossos.core - [368 / 718] 303500 extant worlds, 10023 visited/s, 2975 skipped/s, hitrate 0.229 cache size 816278
INFO knossos.core - [368 / 718] 306581 extant worlds, 9967 visited/s, 1868 skipped/s, hitrate 0.158 cache size 823563
INFO knossos.core - [368 / 718] 307960 extant worlds, 10773 visited/s, 2089 skipped/s, hitrate 0.162 cache size 829696
INFO knossos.core - [368 / 718] 311178 extant worlds, 8916 visited/s, 1651 skipped/s, hitrate 0.156 cache size 836771
INFO knossos.core - [368 / 718] 313168 extant worlds, 4113 visited/s, 792 skipped/s, hitrate 0.162 cache size 840578
INFO knossos.core - [368 / 718] 315034 extant worlds, 4120 visited/s, 624 skipped/s, hitrate 0.132 cache size 844291
INFO knossos.core - [368 / 718] 317510 extant worlds, 6186 visited/s, 910 skipped/s, hitrate 0.128 cache size 849696
INFO knossos.core - [368 / 718] 318595 extant worlds, 1962 visited/s, 252 skipped/s, hitrate 0.114 cache size 852041
INFO knossos.core - [368 / 718] 319303 extant worlds, 1626 visited/s, 214 skipped/s, hitrate 0.117 cache size 853598
INFO knossos.core - [368 / 718] 321061 extant worlds, 4010 visited/s, 660 skipped/s, hitrate 0.141 cache size 857436
INFO knossos.core - [368 / 718] 322675 extant worlds, 6968 visited/s, 1483 skipped/s, hitrate 0.176 cache size 862062
INFO knossos.core - [368 / 718] 323624 extant worlds, 3303 visited/s, 430 skipped/s, hitrate 0.115 cache size 864463
INFO knossos.core - [368 / 718] 324870 extant worlds, 4608 visited/s, 1041 skipped/s, hitrate 0.184 cache size 867841
INFO knossos.core - [368 / 718] 328567 extant worlds, 12189 visited/s, 2747 skipped/s, hitrate 0.184 cache size 878081
INFO knossos.core - [368 / 718] 330292 extant worlds, 10390 visited/s, 2179 skipped/s, hitrate 0.173 cache size 884688
INFO knossos.core - [368 / 718] 332260 extant worlds, 5252 visited/s, 1378 skipped/s, hitrate 0.208 cache size 889007
INFO knossos.core - [368 / 718] 333809 extant worlds, 4043 visited/s, 663 skipped/s, hitrate 0.141 cache size 892499
INFO knossos.core - [368 / 718] 335903 extant worlds, 9347 visited/s, 1740 skipped/s, hitrate 0.157 cache size 898919
INFO knossos.core - [368 / 718] 337825 extant worlds, 6029 visited/s, 975 skipped/s, hitrate 0.139 cache size 903782
INFO knossos.core - [368 / 718] 340183 extant worlds, 10690 visited/s, 2598 skipped/s, hitrate 0.196 cache size 912006
INFO knossos.core - [368 / 718] 342794 extant worlds, 9362 visited/s, 2237 skipped/s, hitrate 0.193 cache size 919011
INFO knossos.core - [368 / 718] 346305 extant worlds, 8558 visited/s, 1620 skipped/s, hitrate 0.159 cache size 925423
INFO knossos.core - [368 / 718] 349662 extant worlds, 4697 visited/s, 437 skipped/s, hitrate 0.085 cache size 930786
INFO knossos.core - [368 / 718] 350640 extant worlds, 2688 visited/s, 262 skipped/s, hitrate 0.089 cache size 933079
INFO knossos.core - [368 / 718] 352441 extant worlds, 5547 visited/s, 653 skipped/s, hitrate 0.105 cache size 937171
INFO knossos.core - [368 / 718] 354606 extant worlds, 3758 visited/s, 453 skipped/s, hitrate 0.108 cache size 941021
INFO knossos.core - [368 / 718] 357802 extant worlds, 8191 visited/s, 1051 skipped/s, hitrate 0.114 cache size 946961
INFO knossos.core - [368 / 718] 359431 extant worlds, 7580 visited/s, 1130 skipped/s, hitrate 0.130 cache size 951813
INFO knossos.core - [368 / 718] 363586 extant worlds, 10702 visited/s, 1182 skipped/s, hitrate 0.100 cache size 960259
INFO knossos.core - [368 / 718] 366301 extant worlds, 5470 visited/s, 909 skipped/s, hitrate 0.143 cache size 965236
INFO knossos.core - [368 / 718] 369093 extant worlds, 5420 visited/s, 572 skipped/s, hitrate 0.096 cache size 970300
INFO knossos.core - [368 / 718] 371452 extant worlds, 5141 visited/s, 671 skipped/s, hitrate 0.116 cache size 975218
INFO knossos.core - [368 / 718] 372507 extant worlds, 6745 visited/s, 1070 skipped/s, hitrate 0.137 cache size 979547
INFO knossos.core - [368 / 718] 376071 extant worlds, 9892 visited/s, 1685 skipped/s, hitrate 0.146 cache size 986976
INFO knossos.core - [368 / 718] 378233 extant worlds, 7219 visited/s, 812 skipped/s, hitrate 0.101 cache size 992080
INFO knossos.core - [368 / 718] 379389 extant worlds, 3751 visited/s, 563 skipped/s, hitrate 0.131 cache size 995128
INFO knossos.core - [368 / 718] 380389 extant worlds, 5016 visited/s, 931 skipped/s, hitrate 0.157 cache size 998879
INFO knossos.core - [368 / 718] 382821 extant worlds, 7272 visited/s, 1411 skipped/s, hitrate 0.163 cache size 1005108
INFO knossos.core - [368 / 718] 386199 extant worlds, 14885 visited/s, 2922 skipped/s, hitrate 0.164 cache size 1016336
INFO knossos.core - [368 / 718] 390588 extant worlds, 7673 visited/s, 727 skipped/s, hitrate 0.087 cache size 1023845
INFO knossos.core - [368 / 718] 391825 extant worlds, 5854 visited/s, 1161 skipped/s, hitrate 0.166 cache size 1028149
INFO knossos.core - [368 / 718] 394538 extant worlds, 8034 visited/s, 1434 skipped/s, hitrate 0.151 cache size 1034595
INFO knossos.core - [368 / 718] 397330 extant worlds, 8762 visited/s, 1347 skipped/s, hitrate 0.133 cache size 1041740
INFO knossos.core - [368 / 718] 399573 extant worlds, 6378 visited/s, 694 skipped/s, hitrate 0.098 cache size 1046586
INFO knossos.core - [368 / 718] 404120 extant worlds, 9993 visited/s, 1232 skipped/s, hitrate 0.110 cache size 1054689
INFO knossos.core - [368 / 718] 406924 extant worlds, 9946 visited/s, 1716 skipped/s, hitrate 0.147 cache size 1061404
INFO knossos.core - [368 / 718] 408630 extant worlds, 3611 visited/s, 524 skipped/s, hitrate 0.127 cache size 1064873
INFO knossos.core - [368 / 718] 411470 extant worlds, 8036 visited/s, 1961 skipped/s, hitrate 0.196 cache size 1071607
INFO knossos.core - [368 / 718] 414234 extant worlds, 14348 visited/s, 3016 skipped/s, hitrate 0.174 cache size 1081159
INFO knossos.core - [368 / 718] 416705 extant worlds, 7958 visited/s, 1644 skipped/s, hitrate 0.171 cache size 1087322
INFO knossos.core - [368 / 718] 418052 extant worlds, 9064 visited/s, 2605 skipped/s, hitrate 0.223 cache size 1092712
INFO knossos.core - [368 / 718] 418891 extant worlds, 6620 visited/s, 1900 skipped/s, hitrate 0.223 cache size 1096316
INFO knossos.core - [368 / 718] 420522 extant worlds, 6070 visited/s, 1871 skipped/s, hitrate 0.236 cache size 1100793
INFO knossos.core - [368 / 718] 422619 extant worlds, 4661 visited/s, 1087 skipped/s, hitrate 0.189 cache size 1104150
INFO knossos.core - [368 / 718] 424170 extant worlds, 6543 visited/s, 1355 skipped/s, hitrate 0.172 cache size 1108932
INFO knossos.core - [368 / 718] 425557 extant worlds, 6434 visited/s, 1666 skipped/s, hitrate 0.206 cache size 1113370
INFO knossos.core - [368 / 718] 427121 extant worlds, 7567 visited/s, 1809 skipped/s, hitrate 0.193 cache size 1117727
INFO knossos.core - [368 / 718] 429380 extant worlds, 10384 visited/s, 2220 skipped/s, hitrate 0.176 cache size 1124556
INFO knossos.core - [368 / 718] 432122 extant worlds, 8276 visited/s, 1419 skipped/s, hitrate 0.146 cache size 1130342
INFO knossos.core - [368 / 718] 435067 extant worlds, 6298 visited/s, 862 skipped/s, hitrate 0.120 cache size 1136143
INFO knossos.core - [368 / 718] 438087 extant worlds, 5680 visited/s, 1043 skipped/s, hitrate 0.155 cache size 1141640
INFO knossos.core - [368 / 718] 440437 extant worlds, 6537 visited/s, 1343 skipped/s, hitrate 0.171 cache size 1146737
INFO knossos.core - [368 / 718] 443832 extant worlds, 7150 visited/s, 1423 skipped/s, hitrate 0.166 cache size 1152989
INFO knossos.core - [368 / 718] 445294 extant worlds, 7253 visited/s, 1401 skipped/s, hitrate 0.162 cache size 1157279
INFO knossos.core - [368 / 718] 446117 extant worlds, 1823 visited/s, 455 skipped/s, hitrate 0.200 cache size 1158934
INFO knossos.core - [368 / 718] 446990 extant worlds, 1717 visited/s, 178 skipped/s, hitrate 0.094 cache size 1160712
INFO knossos.core - [368 / 718] 448249 extant worlds, 3393 visited/s, 440 skipped/s, hitrate 0.115 cache size 1163403
INFO knossos.core - [368 / 718] 450723 extant worlds, 8783 visited/s, 2176 skipped/s, hitrate 0.199 cache size 1169667
INFO knossos.core - [368 / 718] 453558 extant worlds, 8206 visited/s, 1611 skipped/s, hitrate 0.164 cache size 1175336
INFO knossos.core - [368 / 718] 457072 extant worlds, 11117 visited/s, 2032 skipped/s, hitrate 0.155 cache size 1182937
INFO knossos.core - [368 / 718] 459017 extant worlds, 9975 visited/s, 2689 skipped/s, hitrate 0.212 cache size 1189493
INFO knossos.core - [368 / 718] 460521 extant worlds, 5615 visited/s, 1521 skipped/s, hitrate 0.213 cache size 1193215
INFO knossos.core - [368 / 718] 462893 extant worlds, 5626 visited/s, 992 skipped/s, hitrate 0.150 cache size 1198052
INFO knossos.core - [368 / 718] 464886 extant worlds, 6839 visited/s, 1748 skipped/s, hitrate 0.204 cache size 1202747
INFO knossos.core - [368 / 718] 465809 extant worlds, 6011 visited/s, 706 skipped/s, hitrate 0.105 cache size 1206300
INFO knossos.core - [368 / 718] 468795 extant worlds, 8736 visited/s, 1900 skipped/s, hitrate 0.179 cache size 1213170
INFO knossos.core - [368 / 718] 470395 extant worlds, 5468 visited/s, 869 skipped/s, hitrate 0.137 cache size 1216985
INFO knossos.core - [368 / 718] 471314 extant worlds, 8524 visited/s, 2543 skipped/s, hitrate 0.230 cache size 1222421
INFO knossos.core - [368 / 718] 473726 extant worlds, 10813 visited/s, 3149 skipped/s, hitrate 0.226 cache size 1229472
INFO knossos.core - [368 / 718] 474732 extant worlds, 7629 visited/s, 2234 skipped/s, hitrate 0.227 cache size 1234480
INFO knossos.core - [368 / 718] 475270 extant worlds, 6614 visited/s, 2011 skipped/s, hitrate 0.233 cache size 1238457
INFO knossos.core - [368 / 718] 476875 extant worlds, 8208 visited/s, 2585 skipped/s, hitrate 0.240 cache size 1244022
INFO knossos.core - [368 / 718] 478190 extant worlds, 7262 visited/s, 2183 skipped/s, hitrate 0.231 cache size 1249103
INFO knossos.core - [368 / 718] 479531 extant worlds, 2645 visited/s, 323 skipped/s, hitrate 0.109 cache size 1251856
INFO knossos.core - [368 / 718] 481135 extant worlds, 6066 visited/s, 989 skipped/s, hitrate 0.140 cache size 1255783
INFO knossos.core - [368 / 718] 484901 extant worlds, 5497 visited/s, 776 skipped/s, hitrate 0.124 cache size 1261468
INFO knossos.core - [368 / 718] 485857 extant worlds, 3438 visited/s, 711 skipped/s, hitrate 0.171 cache size 1263790
INFO knossos.core - [368 / 718] 488878 extant worlds, 7784 visited/s, 1805 skipped/s, hitrate 0.188 cache size 1270272
INFO knossos.core - [368 / 718] 491838 extant worlds, 5136 visited/s, 1590 skipped/s, hitrate 0.236 cache size 1273968
INFO knossos.core - [368 / 718] 492322 extant worlds, 3909 visited/s, 1202 skipped/s, hitrate 0.235 cache size 1276611
INFO knossos.core - [368 / 718] 493166 extant worlds, 3940 visited/s, 1386 skipped/s, hitrate 0.260 cache size 1279022
INFO knossos.core - [368 / 718] 494117 extant worlds, 5240 visited/s, 607 skipped/s, hitrate 0.104 cache size 1281654
INFO knossos.core - [368 / 718] 496387 extant worlds, 5750 visited/s, 1006 skipped/s, hitrate 0.149 cache size 1286501
INFO knossos.core - [368 / 718] 498224 extant worlds, 3685 visited/s, 529 skipped/s, hitrate 0.126 cache size 1289535
INFO knossos.core - [368 / 718] 501302 extant worlds, 10622 visited/s, 2157 skipped/s, hitrate 0.169 cache size 1296851
INFO knossos.core - [368 / 718] 502831 extant worlds, 14372 visited/s, 2891 skipped/s, hitrate 0.167 cache size 1303883
INFO knossos.core - [368 / 718] 506765 extant worlds, 18190 visited/s, 4410 skipped/s, hitrate 0.195 cache size 1315401
INFO knossos.core - [368 / 718] 508809 extant worlds, 9264 visited/s, 1935 skipped/s, hitrate 0.173 cache size 1321981
INFO knossos.core - [368 / 718] 511108 extant worlds, 7816 visited/s, 1950 skipped/s, hitrate 0.200 cache size 1327678
INFO knossos.core - [368 / 718] 514316 extant worlds, 7824 visited/s, 1230 skipped/s, hitrate 0.136 cache size 1333197
INFO knossos.core - [368 / 718] 515276 extant worlds, 3023 visited/s, 461 skipped/s, hitrate 0.133 cache size 1335653
INFO knossos.core - [368 / 718] 518177 extant worlds, 10452 visited/s, 1431 skipped/s, hitrate 0.120 cache size 1342601
INFO knossos.core - [368 / 718] 520976 extant worlds, 7502 visited/s, 1592 skipped/s, hitrate 0.175 cache size 1348649
INFO knossos.core - [368 / 718] 522545 extant worlds, 9718 visited/s, 2083 skipped/s, hitrate 0.177 cache size 1353811
INFO knossos.core - [368 / 718] 524239 extant worlds, 6115 visited/s, 1389 skipped/s, hitrate 0.185 cache size 1357671
INFO knossos.core - [368 / 718] 524992 extant worlds, 6782 visited/s, 1501 skipped/s, hitrate 0.181 cache size 1360954
INFO knossos.core - [368 / 718] 526252 extant worlds, 6581 visited/s, 1494 skipped/s, hitrate 0.185 cache size 1364912
INFO knossos.core - [368 / 718] 526752 extant worlds, 7086 visited/s, 2090 skipped/s, hitrate 0.228 cache size 1368804
INFO knossos.core - [368 / 718] 527260 extant worlds, 5617 visited/s, 2199 skipped/s, hitrate 0.281 cache size 1371816
INFO knossos.core - [368 / 718] 528405 extant worlds, 9776 visited/s, 2822 skipped/s, hitrate 0.224 cache size 1377579
INFO knossos.core - [368 / 718] 529706 extant worlds, 8704 visited/s, 2673 skipped/s, hitrate 0.235 cache size 1382101
INFO knossos.core - [368 / 718] 530350 extant worlds, 7677 visited/s, 2351 skipped/s, hitrate 0.234 cache size 1386017
INFO knossos.core - [368 / 718] 531298 extant worlds, 9861 visited/s, 3468 skipped/s, hitrate 0.260 cache size 1390864
INFO knossos.core - [368 / 718] 532721 extant worlds, 9360 visited/s, 2293 skipped/s, hitrate 0.197 cache size 1396124
INFO knossos.core - [368 / 718] 533605 extant worlds, 6695 visited/s, 1936 skipped/s, hitrate 0.224 cache size 1399843
INFO knossos.core - [368 / 718] 535567 extant worlds, 8780 visited/s, 2758 skipped/s, hitrate 0.239 cache size 1404430
INFO knossos.core - [368 / 718] 535439 extant worlds, 5593 visited/s, 2362 skipped/s, hitrate 0.297 cache size 1406560
INFO knossos.core - [368 / 718] 536659 extant worlds, 4863 visited/s, 1440 skipped/s, hitrate 0.228 cache size 1409836
INFO knossos.core - [368 / 718] 539066 extant worlds, 9128 visited/s, 2009 skipped/s, hitrate 0.180 cache size 1416222
INFO knossos.core - [368 / 718] 539994 extant worlds, 11459 visited/s, 2686 skipped/s, hitrate 0.190 cache size 1422473
INFO knossos.core - [368 / 718] 541394 extant worlds, 7192 visited/s, 1709 skipped/s, hitrate 0.192 cache size 1427267
INFO knossos.core - [368 / 718] 543375 extant worlds, 6343 visited/s, 1391 skipped/s, hitrate 0.180 cache size 1432360
INFO knossos.core - [368 / 718] 544367 extant worlds, 5741 visited/s, 1803 skipped/s, hitrate 0.239 cache size 1436383
INFO knossos.core - [718 / 718] 545760 extant worlds, 6482 visited/s, 1412 skipped/s, hitrate 0.179 cache size 1439730
INFO jepsen.core - Analysis complete
INFO jepsen.system.foundationdb - :n5 FoundationDB stopped and logs cleared
INFO jepsen.system.foundationdb - :n3 FoundationDB stopped and logs cleared
INFO jepsen.system.foundationdb - :n1 FoundationDB stopped and logs cleared
INFO jepsen.system.foundationdb - :n4 FoundationDB stopped and logs cleared
INFO jepsen.system.foundationdb - :n2 FoundationDB stopped and logs cleared
{:valid? true,
:html {:valid? true},
:linear
{:valid? true,
:linearizable-prefix
({:time 1279248292, :process 0, :type :invoke, :f :cas, :value [3 4]}
{:time 1279218032, :process 2, :type :invoke, :f :write, :value 4}
{:time 1279233650, :process 4, :type :invoke, :f :cas, :value [0 3]}
{:time 1279228898, :process 1, :type :invoke, :f :write, :value 4}
{:time 1279309235, :process 3, :type :invoke, :f :write, :value 1}
{:time 1321893561, :process 4, :type :fail, :f :cas, :value [0 3]}
{:time 1321897466, :process 0, :type :fail, :f :cas, :value [3 4]}
{:time 1322592902, :process 3, :type :ok, :f :write, :value 1}
{:time 1325145427, :process 1, :type :ok, :f :write, :value 4}
{:time 1332898895, :process 2, :type :ok, :f :write, :value 4}
{:time 2322510428, :process 4, :type :invoke, :f :write, :value 0}
{:value 4, :time 2322504206, :process 0, :type :invoke, :f :read}
{:time 2322893729, :process 3, :type :invoke, :f :cas, :value [2 3]}
{:value 4, :time 2325401262, :process 1, :type :invoke, :f :read}
{:value 4, :time 2328842593, :process 0, :type :ok, :f :read}
{:time 2329580024, :process 3, :type :fail, :f :cas, :value [2 3]}
{:time 2330987027, :process 4, :type :ok, :f :write, :value 0}
{:value 4, :time 2331677863, :process 1, :type :ok, :f :read}
{:time 2333182621, :process 2, :type :invoke, :f :cas, :value [1 2]}
{:time 2338923504, :process 2, :type :fail, :f :cas, :value [1 2]}
{:value 0, :time 3329109909, :process 0, :type :invoke, :f :read}
{:value 0, :time 3329889295, :process 3, :type :invoke, :f :read}
{:time 3331258319, :process 4, :type :invoke, :f :cas, :value [1 2]}
{:value 0, :time 3331931911, :process 1, :type :invoke, :f :read}
{:value 0, :time 3332685939, :process 0, :type :ok, :f :read}
{:value 0, :time 3333968276, :process 3, :type :ok, :f :read}
{:time 3335210995, :process 4, :type :fail, :f :cas, :value [1 2]}
{:value 0, :time 3335695193, :process 1, :type :ok, :f :read}
{:time 3339209291, :process 2, :type :invoke, :f :write, :value 4}
{:time 3346929699, :process 2, :type :ok, :f :write, :value 4}
{:time 4332986643, :process 0, :type :invoke, :f :write, :value 3}
{:value 4, :time 4334250912, :process 3, :type :invoke, :f :read}
{:time 4335495245, :process 4, :type :invoke, :f :cas, :value [4 4]}
{:value 4, :time 4335941611, :process 1, :type :invoke, :f :read}
{:value 4, :time 4338098512, :process 3, :type :ok, :f :read}
{:value 4, :time 4339826127, :process 1, :type :ok, :f :read}
{:time 4341532020, :process 0, :type :ok, :f :write, :value 3}
{:value 3, :time 4347187751, :process 2, :type :invoke, :f :read}
{:value 3, :time 4351052172, :process 2, :type :ok, :f :read}
{:time 4357629189, :process 4, :type :fail, :f :cas, :value [4 4]}
{:time 5279493630, :process :nemesis, :type :info, :f :start}
{:time 5338386060, :process 3, :type :invoke, :f :cas, :value [3 3]}
{:time 5340099975, :process 1, :type :invoke, :f :cas, :value [3 3]}
{:time 5341823820, :process 0, :type :invoke, :f :cas, :value [1 1]}
{:time 5346131841, :process 0, :type :fail, :f :cas, :value [1 1]}
{:time 5350379972, :process 3, :type :ok, :f :cas, :value [3 3]}
{:time 5351321228, :process 2, :type :invoke, :f :write, :value 4}
{:time 5357959162, :process 4, :type :invoke, :f :write, :value 1}
{:time 5362374406, :process 2, :type :ok, :f :write, :value 4}
{:time 5363778402, :process 1, :type :fail, :f :cas, :value [3 3]}
{:time 5369620864, :process 4, :type :ok, :f :write, :value 1}
{:value
"Cut off {:n1 #{:n3 :n4}, :n5 #{:n3 :n4}, :n2 #{:n3 :n4}, :n4 #{:n2 :n5 :n1}, :n3 #{:n2 :n5 :n1}}",
:time 5950895296,
:process :nemesis,
:type :info,
:f :start}
{:time 6346538283, :process 0, :type :invoke, :f :write, :value 3}
{:time 6350705282, :process 3, :type :invoke, :f :cas, :value [2 0]}
{:time 6362672619, :process 2, :type :invoke, :f :cas, :value [0 3]}
{:time 6364076805, :process 1, :type :invoke, :f :write, :value 3}
{:time 6369874609, :process 4, :type :invoke, :f :read}
{:time 10951386718, :process :nemesis, :type :info, :f :stop}
{:value "fully connected",
:time 11210184880,
:process :nemesis,
:type :info,
:f :stop}
{:time 11347021235,
:process 0,
:type :info,
:f :write,
:value :timed-out}
{:time 11351033362,
:process 3,
:type :info,
:f :cas,
:value :timed-out}
{:time 11362991735,
:process 2,
:type :info,
:f :cas,
:value :timed-out}
{:time 11364392151,
:process 1,
:type :info,
:f :write,
:value :timed-out}
{:value :timed-out,
:time 11370185718,
:process 4,
:type :info,
:f :read}
{:value 3, :time 12347352916, :process 5, :type :invoke, :f :read}
{:value 3, :time 12351300644, :process 8, :type :invoke, :f :read}
{:time 12363261812,
:process 7,
:type :invoke,
:f :cas,
:value [4 4]}
{:time 12364671051,
:process 6,
:type :invoke,
:f :cas,
:value [4 0]}
{:time 12370458995,
:process 9,
:type :invoke,
:f :cas,
:value [4 2]}
{:time 12532218285, :process 7, :type :fail, :f :cas, :value [4 4]}
{:time 12532670526, :process 9, :type :fail, :f :cas, :value [4 2]}
{:time 12533341474, :process 6, :type :fail, :f :cas, :value [4 0]}
{:value 3, :time 12533386286, :process 8, :type :ok, :f :read}
{:value 3, :time 12533530640, :process 5, :type :ok, :f :read}
{:value 3, :time 13532571396, :process 7, :type :invoke, :f :read}
{:value 3, :time 13532998543, :process 9, :type :invoke, :f :read}
{:time 13533704496,
:process 6,
:type :invoke,
:f :cas,
:value [3 0]}
{:time 13533738259, :process 8, :type :invoke, :f :write, :value 1}
{:time 13533852171, :process 5, :type :invoke, :f :write, :value 4}
{:value 3, :time 13536299067, :process 7, :type :ok, :f :read}
{:value 3, :time 13536905770, :process 9, :type :ok, :f :read}
{:time 13540947362, :process 5, :type :ok, :f :write, :value 4}
{:time 13544030696, :process 8, :type :ok, :f :write, :value 1}
{:time 13552790929, :process 6, :type :fail, :f :cas, :value [3 0]}
{:time 14536594988,
:process 7,
:type :invoke,
:f :cas,
:value [2 2]}
{:value 1, :time 14537188387, :process 9, :type :invoke, :f :read}
{:time 14539738150, :process 7, :type :fail, :f :cas, :value [2 2]}
{:value 1, :time 14540684901, :process 9, :type :ok, :f :read}
{:time 14541214877,
:process 5,
:type :invoke,
:f :cas,
:value [4 1]}
{:time 14544253039, :process 5, :type :fail, :f :cas, :value [4 1]}
{:time 14544304375, :process 8, :type :invoke, :f :write, :value 4}
{:time 14551546749, :process 8, :type :ok, :f :write, :value 4}
{:time 14553073889, :process 6, :type :invoke, :f :write, :value 1}
{:time 14561131906, :process 6, :type :ok, :f :write, :value 1}
{:time 15540021354,
:process 7,
:type :invoke,
:f :cas,
:value [2 0]}
{:time 15540953197,
:process 9,
:type :invoke,
:f :cas,
:value [3 4]}
{:time 15543747618, :process 7, :type :fail, :f :cas, :value [2 0]}
{:time 15544554026,
:process 5,
:type :invoke,
:f :cas,
:value [1 2]}
{:time 15545120020, :process 9, :type :fail, :f :cas, :value [3 4]}
{:time 15551817423,
:process 8,
:type :invoke,
:f :cas,
:value [2 2]}
{:time 15552946050, :process 5, :type :ok, :f :cas, :value [1 2]}
{:time 15560647232, :process 8, :type :ok, :f :cas, :value [2 2]}
{:value 2, :time 15561386953, :process 6, :type :invoke, :f :read}
{:value 2, :time 15564899340, :process 6, :type :ok, :f :read}
{:time 16210540070, :process :nemesis, :type :info, :f :start}
{:time 16544063603, :process 7, :type :invoke, :f :write, :value 0}
{:time 16545427069,
:process 9,
:type :invoke,
:f :cas,
:value [4 2]}
{:time 16553216076, :process 5, :type :invoke, :f :read}
{:time 16560966306,
:process 8,
:type :invoke,
:f :cas,
:value [4 3]}
{:time 16565170156,
:process 6,
:type :invoke,
:f :cas,
:value [4 3]}
{:value
"Cut off {:n1 #{:n4 :n2}, :n5 #{:n4 :n2}, :n3 #{:n4 :n2}, :n2 #{:n3 :n5 :n1}, :n4 #{:n3 :n5 :n1}}",
:time 16861545699,
:process :nemesis,
:type :info,
:f :start}
{:time 21544521363,
:process 7,
:type :info,
:f :write,
:value :timed-out}
{:time 21545781288,
:process 9,
:type :info,
:f :cas,
:value :timed-out}
{:value :timed-out,
:time 21553523489,
:process 5,
:type :info,
:f :read}
{:time 21561299271,
:process 8,
:type :info,
:f :cas,
:value :timed-out}
{:time 21565505617,
:process 6,
:type :info,
:f :cas,
:value :timed-out}
{:time 21861874403, :process :nemesis, :type :info, :f :stop}
{:value "fully connected",
:time 22119533269,
:process :nemesis,
:type :info,
:f :stop}
{:time 22544921585,
:process 12,
:type :invoke,
:f :cas,
:value [4 1]}
{:time 22546080958, :process 14, :type :invoke, :f :write, :value 3}
{:time 22553803033,
:process 10,
:type :invoke,
:f :cas,
:value [1 0]}
{:time 22561573135, :process 13, :type :invoke, :f :write, :value 0}
{:time 22565780268, :process 11, :type :invoke, :f :write, :value 0}
{:time 22844864380, :process 10, :type :fail, :f :cas, :value [1 0]}
{:time 22844841057, :process 12, :type :fail, :f :cas, :value [4 1]}
{:time 22848605707, :process 14, :type :ok, :f :write, :value 3}
{:time 22851688316, :process 11, :type :ok, :f :write, :value 0}
{:time 22852832937, :process 13, :type :ok, :f :write, :value 0}
{:time 23845247696, :process 12, :type :invoke, :f :write, :value 3}
{:time 23845248988,
:process 10,
:type :invoke,
:f :cas,
:value [4 4]}
{:value 0, :time 23848914748, :process 14, :type :invoke, :f :read}
{:time 23849021935, :process 10, :type :fail, :f :cas, :value [4 4]}
{:value 3, :time 23851955516, :process 11, :type :invoke, :f :read}
{:value 0, :time 23852461187, :process 14, :type :ok, :f :read}
{:value 3, :time 23853090846, :process 13, :type :invoke, :f :read}
{:time 23853197320, :process 12, :type :ok, :f :write, :value 3}
{:value 3, :time 23855471349, :process 11, :type :ok, :f :read}
{:value 3, :time 23857547895, :process 13, :type :ok, :f :read}
{:value 3, :time 24849326111, :process 10, :type :invoke, :f :read}
{:time 24852739999, :process 14, :type :invoke, :f :write, :value 0}
{:value 3, :time 24853001512, :process 10, :type :ok, :f :read}
{:value 3, :time 24853460026, :process 12, :type :invoke, :f :read}
{:time 24855735704, :process 11, :type :invoke, :f :write, :value 3}
{:value 3, :time 24856437888, :process 12, :type :ok, :f :read}
{:time 24857776318,
:process 13,
:type :invoke,
:f :cas,
:value [4 0]}
{:time 24861149263, :process 13, :type :fail, :f :cas, :value [4 0]}
{:time 24861510652, :process 14, :type :ok, :f :write, :value 0}
{:time 24863478213, :process 11, :type :ok, :f :write, :value 3}
{:value 3, :time 25853271162, :process 10, :type :invoke, :f :read}
{:time 25856704062, :process 12, :type :invoke, :f :write, :value 3}
{:value 3, :time 25856714469, :process 10, :type :ok, :f :read}
{:time 25861426326,
:process 13,
:type :invoke,
:f :cas,
:value [1 2]}
{:time 25861799690, :process 14, :type :invoke, :f :write, :value 0}
{:time 25863744110, :process 11, :type :invoke, :f :write, :value 3}
{:time 25863967896, :process 12, :type :ok, :f :write, :value 3}
{:time 25865607435, :process 13, :type :fail, :f :cas, :value [1 2]}
{:time 25870673345, :process 14, :type :ok, :f :write, :value 0}
{:time 25872940617, :process 11, :type :ok, :f :write, :value 3}
{:time 26857028811,
:process 10,
:type :invoke,
:f :cas,
:value [4 3]}
{:time 26860635036, :process 10, :type :fail, :f :cas, :value [4 3]}
{:time 26864247809,
:process 12,
:type :invoke,
:f :cas,
:value [4 1]}
{:time 26865888037, :process 13, :type :invoke, :f :write, :value 3}
{:time 26868408731, :process 12, :type :fail, :f :cas, :value [4 1]}
{:value 3, :time 26870968153, :process 14, :type :invoke, :f :read}
{:value 3, :time 26873195727, :process 11, :type :invoke, :f :read}
{:value 3, :time 26873951554, :process 14, :type :ok, :f :read}
{:value 3, :time 26876597380, :process 11, :type :ok, :f :read}
{:time 26876684046, :process 13, :type :ok, :f :write, :value 3}
{:time 27119883362, :process :nemesis, :type :info, :f :start}
{:value
"Cut off {:n1 #{:n4 :n2}, :n5 #{:n4 :n2}, :n3 #{:n4 :n2}, :n2 #{:n3 :n5 :n1}, :n4 #{:n3 :n5 :n1}}",
:time 27774102823,
:process :nemesis,
:type :info,
:f :start}
{:time 27860973878,
:process 10,
:type :invoke,
:f :cas,
:value [3 3]}
{:time 27868704961, :process 12, :type :invoke, :f :write, :value 2}
{:time 27874223609,
:process 14,
:type :invoke,
:f :cas,
:value [4 2]}
{:time 27876896020, :process 11, :type :invoke, :f :read}
{:time 27876950594, :process 13, :type :invoke, :f :read}
{:time 32774437823, :process :nemesis, :type :info, :f :stop}
{:time 32861397856,
:process 10,
:type :info,
:f :cas,
:value :timed-out}
{:time 32869044786,
:process 12,
:type :info,
:f :write,
:value :timed-out}
{:time 32874553113,
:process 14,
:type :info,
:f :cas,
:value :timed-out}
{:value :timed-out,
:time 32877200224,
:process 11,
:type :info,
:f :read}
{:value :timed-out,
:time 32877258407,
:process 13,
:type :info,
:f :read}
{:value "fully connected",
:time 33024561351,
:process :nemesis,
:type :info,
:f :stop}
{:time 33861778425, :process 15, :type :invoke, :f :write, :value 0}
{:time 33868056112, :process 15, :type :ok, :f :write, :value 0}
{:time 33869337277, :process 17, :type :invoke, :f :write, :value 3}
{:value 3, :time 33874844301, :process 19, :type :invoke, :f :read}
{:value 3, :time 33877456483, :process 16, :type :invoke, :f :read}
{:value 3, :time 33877534234, :process 18, :type :invoke, :f :read}
{:time 33877841615, :process 17, :type :ok, :f :write, :value 3}
{:value 3, :time 33879002395, :process 19, :type :ok, :f :read}
{:value 3, :time 33880851588, :process 16, :type :ok, :f :read}
{:value 3, :time 33880874079, :process 18, :type :ok, :f :read}
{:time 34868342203,
:process 15,
:type :invoke,
:f :cas,
:value [1 1]}
{:time 34871863885, :process 15, :type :fail, :f :cas, :value [1 1]}
{:value 3, :time 34878096471, :process 17, :type :invoke, :f :read}
{:time 34879297973,
:process 19,
:type :invoke,
:f :cas,
:value [1 4]}
{:time 34881113639,
:process 16,
:type :invoke,
:f :cas,
:value [4 2]}
{:time 34881141300, :process 18, :type :invoke, :f :write, :value 2}
{:value 3, :time 34881596466, :process 17, :type :ok, :f :read}
{:time 34882802361, :process 19, :type :fail, :f :cas, :value [1 4]}
{:time 34884764658, :process 16, :type :fail, :f :cas, :value [4 2]}
{:time 34888813377, :process 18, :type :ok, :f :write, :value 2}
{:time 35872116585, :process 15, :type :invoke, :f :write, :value 1}
{:time 35879423021, :process 15, :type :ok, :f :write, :value 1}
{:value 1, :time 35881849842, :process 17, :type :invoke, :f :read}
{:time 35883098633, :process 19, :type :invoke, :f :write, :value 0}
{:time 35885049186,
:process 16,
:type :invoke,
:f :cas,
:value [1 3]}
{:value 1, :time 35885413449, :process 17, :type :ok, :f :read}
{:value 0, :time 35889075398, :process 18, :type :invoke, :f :read}
{:time 35891557863, :process 19, :type :ok, :f :write, :value 0}
{:value 0, :time 35892424118, :process 18, :type :ok, :f :read}
{:time 35906919749, :process 16, :type :fail, :f :cas, :value [1 3]}
{:time 36879704440, :process 15, :type :invoke, :f :write, :value 4}
{:value 0, :time 36885661822, :process 17, :type :invoke, :f :read}
{:value 0, :time 36889126716, :process 17, :type :ok, :f :read}
{:time 36891819538, :process 19, :type :invoke, :f :write, :value 3}
{:time 36891848311, :process 15, :type :ok, :f :write, :value 4}
{:value 4, :time 36892718397, :process 18, :type :invoke, :f :read}
{:value 4, :time 36896041378, :process 18, :type :ok, :f :read}
{:time 36901285227, :process 19, :type :ok, :f :write, :value 3}
{:time 36907207507,
:process 16,
:type :invoke,
:f :cas,
:value [0 0]}
{:time 36910328154, :process 16, :type :fail, :f :cas, :value [0 0]}
{:time 37889404669, :process 17, :type :invoke, :f :write, :value 2}
{:time 37892159590, :process 15, :type :invoke, :f :write, :value 1}
{:time 37896020846, :process 17, :type :ok, :f :write, :value 2}
{:time 37896248487, :process 18, :type :invoke, :f :write, :value 0}
{:time 37899426271, :process 15, :type :ok, :f :write, :value 1}
{:value 1, :time 37901540676, :process 19, :type :invoke, :f :read}
{:value 1, :time 37905272798, :process 19, :type :ok, :f :read}
{:time 37906667429, :process 18, :type :ok, :f :write, :value 0}
{:value 0, :time 37910598515, :process 16, :type :invoke, :f :read}
{:value 0, :time 37914068353, :process 16, :type :ok, :f :read}
{:time 38024922227, :process :nemesis, :type :info, :f :start}
{:value
"Cut off {:n1 #{:n3 :n4}, :n5 #{:n3 :n4}, :n2 #{:n3 :n4}, :n4 #{:n2 :n5 :n1}, :n3 #{:n2 :n5 :n1}}",
:time 38681275053,
:process :nemesis,
:type :info,
:f :start}
{:time 38896307608,
:process 17,
:type :invoke,
:f :cas,
:value [3 4]}
{:time 38899713419, :process 15, :type :invoke, :f :write, :value 4}
{:time 38905545371,
:process 19,
:type :invoke,
:f :cas,
:value [0 3]}
{:time 38906923382, :process 18, :type :invoke, :f :read}
{:time 38914330417,
:process 16,
:type :invoke,
:f :cas,
:value [1 3]}
{:time 43681610126, :process :nemesis, :type :info, :f :stop}
{:time 43897114793,
:process 17,
:type :info,
:f :cas,
:value :timed-out}
{:time 43900052735,
:process 15,
:type :info,
:f :write,
:value :timed-out}
{:time 43905870312,
:process 19,
:type :info,
:f :cas,
:value :timed-out}
{:value :timed-out,
:time 43907224425,
:process 18,
:type :info,
:f :read}
{:time 43914642615,
:process 16,
:type :info,
:f :cas,
:value :timed-out}
{:value "fully connected",
:time 43935808017,
:process :nemesis,
:type :info,
:f :stop}
{:time 44897477963, :process 22, :type :invoke, :f :write, :value 0}
{:time 44900346132, :process 20, :type :invoke, :f :write, :value 2}
{:time 44904995194, :process 22, :type :ok, :f :write, :value 0}
{:time 44906146182, :process 24, :type :invoke, :f :write, :value 0}
{:time 44907498389,
:process 23,
:type :invoke,
:f :cas,
:value [1 4]}
{:time 44908127883, :process 20, :type :ok, :f :write, :value 2}
{:time 44911226233, :process 23, :type :fail, :f :cas, :value [1 4]}
{:time 44912788579, :process 24, :type :ok, :f :write, :value 0}
{:time 44914917188,
:process 21,
:type :invoke,
:f :cas,
:value [3 0]}
{:time 44917982003, :process 21, :type :fail, :f :cas, :value [3 0]}
{:time 45905281610, :process 22, :type :invoke, :f :write, :value 1}
{:time 45908414180, :process 20, :type :invoke, :f :write, :value 4}
{:time 45911519185, :process 23, :type :invoke, :f :write, :value 4}
{:time 45912557193, :process 22, :type :ok, :f :write, :value 1}
{:time 45913046027, :process 24, :type :invoke, :f :write, :value 4}
{:value 4, :time 45918251799, :process 21, :type :invoke, :f :read}
{:time 45920772301, :process 24, :type :ok, :f :write, :value 4}
{:value 4, :time 45921974314, :process 21, :type :ok, :f :read}
{:time 45923427222, :process 23, :type :ok, :f :write, :value 4}
{:time 45926163826, :process 20, :type :ok, :f :write, :value 4}
{:value 4, :time 46912814582, :process 22, :type :invoke, :f :read}
{:value 4, :time 46916590400, :process 22, :type :ok, :f :read}
{:time 46921042022,
:process 24,
:type :invoke,
:f :cas,
:value [1 0]}
{:value 4, :time 46922225953, :process 21, :type :invoke, :f :read}
{:value 4, :time 46923696952, :process 23, :type :invoke, :f :read}
{:time 46924735254, :process 24, :type :fail, :f :cas, :value [1 0]}
{:value 4, :time 46925733446, :process 21, :type :ok, :f :read}
{:time 46926441713, :process 20, :type :invoke, :f :write, :value 4}
{:value 4, :time 46927139882, :process 23, :type :ok, :f :read}
{:time 46932982878, :process 20, :type :ok, :f :write, :value 4}
{:value 4, :time 47916885465, :process 22, :type :invoke, :f :read}
{:value 4, :time 47920385739, :process 22, :type :ok, :f :read}
{:time 47924992501,
:process 24,
:type :invoke,
:f :cas,
:value [2 1]}
{:time 47925990252,
:process 21,
:type :invoke,
:f :cas,
:value [3 0]}
{:time 47927400278,
:process 23,
:type :invoke,
:f :cas,
:value [3 2]}
{:time 47928077985, :process 24, :type :fail, :f :cas, :value [2 1]}
{:time 47929689317, :process 21, :type :fail, :f :cas, :value [3 0]}
{:time 47930905168, :process 23, :type :fail, :f :cas, :value [3 2]}
{:value 4, :time 47933218440, :process 20, :type :invoke, :f :read}
{:value 4, :time 47936679594, :process 20, :type :ok, :f :read}
{:time 48920682355,
:process 22,
:type :invoke,
:f :cas,
:value [0 0]}
{:time 48924082571, :process 22, :type :fail, :f :cas, :value [0 0]}
{:value 4, :time 48928372725, :process 24, :type :invoke, :f :read}
{:time 48929976084,
:process 21,
:type :invoke,
:f :cas,
:value [0 1]}
{:value 4, :time 48931185029, :process 23, :type :invoke, :f :read}
{:value 4, :time 48931897067, :process 24, :type :ok, :f :read}
{:time 48933109608, :process 21, :type :fail, :f :cas, :value [0 1]}
{:value 4, :time 48934680569, :process 23, :type :ok, :f :read}
{:time 48936124691, :process :nemesis, :type :info, :f :start}
{:value 4, :time 48936942059, :process 20, :type :invoke, :f :read}
{:value 4, :time 48940519525, :process 20, :type :ok, :f :read}
{:value
"Cut off {:n5 #{:n3 :n1}, :n2 #{:n3 :n1}, :n4 #{:n3 :n1}, :n1 #{:n4 :n2 :n5}, :n3 #{:n4 :n2 :n5}}",
:time 49599763747,
:process :nemesis,
:type :info,
:f :start}
{:time 49924396528,
:process 22,
:type :invoke,
:f :cas,
:value [1 3]}
{:time 49932180125,
:process 24,
:type :invoke,
:f :cas,
:value [4 1]}
{:time 49933396583,
:process 21,
:type :invoke,
:f :cas,
:value [1 0]}
{:time 49934972051, :process 23, :type :invoke, :f :write, :value 0}
{:time 49940788871, :process 20, :type :invoke, :f :write, :value 1}
{:time 54600102137, :process :nemesis, :type :info, :f :stop}
{:value "fully connected",
:time 54848484113,
:process :nemesis,
:type :info,
:f :stop}
{:time 54924802758,
:process 22,
:type :info,
:f :cas,
:value :timed-out}
{:time 54932521945,
:process 24,
:type :info,
:f :cas,
:value :timed-out}
{:time 54933744466,
:process 21,
:type :info,
:f :cas,
:value :timed-out}
{:time 54935242127,
:process 23,
:type :info,
:f :write,
:value :timed-out}
{:time 54941092319,
:process 20,
:type :info,
:f :write,
:value :timed-out}
{:time 55925166193,
:process 27,
:type :invoke,
:f :cas,
:value [2 0]}
{:value 1, :time 55932835764, :process 29, :type :invoke, :f :read}
{:time 55934026684,
:process 26,
:type :invoke,
:f :cas,
:value [2 3]}
{:value 1, :time 55935506296, :process 28, :type :invoke, :f :read}
{:time 55941361715, :process 25, :type :invoke, :f :write, :value 2}
{:value 1, :time 56183548753, :process 29, :type :ok, :f :read}
{:value 1, :time 56184611156, :process 28, :type :ok, :f :read}
{:time 56184601913, :process 26, :type :fail, :f :cas, :value [2 3]}
{:time 56184729757, :process 27, :type :fail, :f :cas, :value [2 0]}
{:time 56186148377, :process 25, :type :ok, :f :write, :value 2}
{:time 57183957292, :process 29, :type :invoke, :f :write, :value 0}
{:time 57184933873,
:process 28,
:type :invoke,
:f :cas,
:value [0 1]}
{:value 1, :time 57184972912, :process 26, :type :invoke, :f :read}
{:value 1, :time 57185054095, :process 27, :type :invoke, :f :read}
{:time 57186420507,
:process 25,
:type :invoke,
:f :cas,
:value [3 3]}
{:value 1, :time 57188040261, :process 26, :type :ok, :f :read}
{:value 1, :time 57188786178, :process 27, :type :ok, :f :read}
{:time 57188815111, :process 28, :type :fail, :f :cas, :value [0 1]}
{:time 57190076953, :process 25, :type :fail, :f :cas, :value [3 3]}
{:time 57192040805, :process 29, :type :ok, :f :write, :value 0}
{:time 58188344498, :process 26, :type :invoke, :f :write, :value 4}
{:value 0, :time 58189044110, :process 27, :type :invoke, :f :read}
{:time 58189098063,
:process 28,
:type :invoke,
:f :cas,
:value [4 1]}
{:time 58190334224, :process 25, :type :invoke, :f :write, :value 3}
{:time 58192299788, :process 29, :type :invoke, :f :write, :value 2}
{:time 58192777902, :process 28, :type :fail, :f :cas, :value [4 1]}
{:value 0, :time 58193314714, :process 27, :type :ok, :f :read}
{:time 58198341965, :process 25, :type :ok, :f :write, :value 3}
{:time 58200798603, :process 29, :type :ok, :f :write, :value 2}
{:time 58201000315, :process 26, :type :ok, :f :write, :value 4}
{:time 59193067792, :process 28, :type :invoke, :f :write, :value 0}
{:time 59193581472,
:process 27,
:type :invoke,
:f :cas,
:value [2 0]}
{:value 2, :time 59198598404, :process 25, :type :invoke, :f :read}
{:time 59201082498, :process 29, :type :invoke, :f :write, :value 1}
{:value 0, :time 59201263876, :process 26, :type :invoke, :f :read}
{:time 59201585034, :process 28, :type :ok, :f :write, :value 0}
{:value 2, :time 59202022251, :process 25, :type :ok, :f :read}
{:value 0, :time 59204298386, :process 26, :type :ok, :f :read}
{:time 59211261321, :process 29, :type :ok, :f :write, :value 1}
{:time 59216753005, :process 27, :type :fail, :f :cas, :value [2 0]}
{:time 59848894938, :process :nemesis, :type :info, :f :start}
{:time 60201869694, :process 28, :type :invoke, :f :write, :value 4}
{:time 60202287834, :process 25, :type :invoke, :f :write, :value 3}
{:time 60204575292, :process 26, :type :invoke, :f :write, :value 4}
{:time 60211557839,
:process 29,
:type :invoke,
:f :cas,
:value [0 3]}
{:time 60217030154, :process 27, :type :invoke, :f :read}
{:value
"Cut off {:n1 #{:n3 :n5}, :n2 #{:n3 :n5}, :n4 #{:n3 :n5}, :n5 #{:n4 :n2 :n1}, :n3 #{:n4 :n2 :n1}}",
:time 60504586878,
:process :nemesis,
:type :info,
:f :start}
{:time 65202295187,
:process 28,
:type :info,
:f :write,
:value :timed-out}
{:time 65202616171,
:process 25,
:type :info,
:f :write,
:value :timed-out}
{:time 65204899302,
:process 26,
:type :info,
:f :write,
:value :timed-out}
{:time 65211900449,
:process 29,
:type :info,
:f :cas,
:value :timed-out}
{:value :timed-out,
:time 65217324817,
:process 27,
:type :info,
:f :read}
{:time 65504920606, :process :nemesis, :type :info, :f :stop}
{:value "fully connected",
:time 65767889199,
:process :nemesis,
:type :info,
:f :stop}
{:time 66202661232, :process 33, :type :invoke, :f :write, :value 0}
{:time 66202909025,
:process 30,
:type :invoke,
:f :cas,
:value [0 0]}
{:time 66205189147, :process 31, :type :invoke, :f :write, :value 4}
{:time 66212177257,
:process 34,
:type :invoke,
:f :cas,
:value [2 2]}
{:value 1, :time 66217578191, :process 32, :type :invoke, :f :read}
{:time 66391210444, :process 30, :type :fail, :f :cas, :value [0 0]}
{:time 66392092447, :process 34, :type :fail, :f :cas, :value [2 2]}
{:value 1, :time 66392648922, :process 32, :type :ok, :f :read}
{:time 66394558600, :process 31, :type :ok, :f :write, :value 4}
{:time 66397933608, :process 33, :type :ok, :f :write, :value 0}
{:value 4, :time 67391569462, :process 30, :type :invoke, :f :read}
{:time 67392361775,
:process 34,
:type :invoke,
:f :cas,
:value [1 4]}
{:value 4, :time 67392956469, :process 32, :type :invoke, :f :read}
{:value 4, :time 67394681820, :process 30, :type :ok, :f :read}
{:value 4, :time 67394819750, :process 31, :type :invoke, :f :read}
{:time 67396127125, :process 34, :type :fail, :f :cas, :value [1 4]}
{:value 4, :time 67396693435, :process 32, :type :ok, :f :read}
{:value 4, :time 67397823802, :process 31, :type :ok, :f :read}
{:time 67398206628, :process 33, :type :invoke, :f :write, :value 4}
{:time 67405734729, :process 33, :type :ok, :f :write, :value 4}
{:time 68394995525,
:process 30,
:type :invoke,
:f :cas,
:value [0 3]}
{:time 68396369832, :process 34, :type :invoke, :f :write, :value 2}
{:time 68396936327, :process 32, :type :invoke, :f :write, :value 4}
{:value 4, :time 68397968299, :process 31, :type :invoke, :f :read}
{:time 68398773238, :process 30, :type :fail, :f :cas, :value [0 3]}
{:value 4, :time 68401991171, :process 31, :type :ok, :f :read}
{:time 68404090547, :process 34, :type :ok, :f :write, :value 2}
{:time 68406006610,
:process 33,
:type :invoke,
:f :cas,
:value [2 3]}
{:time 68407289495, :process 32, :type :ok, :f :write, :value 4}
{:time 68409616692, :process 33, :type :fail, :f :cas, :value [2 3]}
{:time 69399072235, :process 30, :type :invoke, :f :write, :value 3}
{:time 69402258487, :process 31, :type :invoke, :f :write, :value 1}
{:time 69404364725, :process 34, :type :invoke, :f :write, :value 4}
{:time 69407048999, :process 30, :type :ok, :f :write, :value 3}
{:time 69407555570, :process 32, :type :invoke, :f :write, :value 3}
{:time 69409901339,
:process 33,
:type :invoke,
:f :cas,
:value [1 4]}
{:time 69410153599, :process 31, :type :ok, :f :write, :value 1}
{:time 69413636635, :process 34, :type :ok, :f :write, :value 4}
{:time 69417036125, :process 32, :type :ok, :f :write, :value 3}
{:time 69426205652, :process 33, :type :fail, :f :cas, :value [1 4]}
{:time 70407334842,
:process 30,
:type :invoke,
:f :cas,
:value [1 1]}
{:time 70410419916, :process 31, :type :invoke, :f :write, :value 0}
{:time 70410960714, :process 30, :type :fail, :f :cas, :value [1 1]}
{:time 70413916805, :process 34, :type :invoke, :f :write, :value 3}
{:time 70417299540,
:process 32,
:type :invoke,
:f :cas,
:value [1 3]}
{:time 70418338815, :process 31, :type :ok, :f :write, :value 0}
{:time 70420959665, :process 32, :type :fail, :f :cas, :value [1 3]}
{:time 70421761906, :process 34, :type :ok, :f :write, :value 3}
{:time 70426486504, :process 33, :type :invoke, :f :write, :value 0}
{:time 70433869405, :process 33, :type :ok, :f :write, :value 0}
{:time 70768260633, :process :nemesis, :type :info, :f :start}
{:time 71411257082, :process 30, :type :invoke, :f :write, :value 2}
{:time 71418609333,
:process 31,
:type :invoke,
:f :cas,
:value [1 4]}
{:time 71421239372, :process 32, :type :invoke, :f :write, :value 1}
{:time 71422028456, :process 34, :type :invoke, :f :write, :value 3}
{:time 71434137035,
:process 33,
:type :invoke,
:f :cas,
:value [4 2]}
{:value
"Cut off {:n1 #{:n2 :n5}, :n4 #{:n2 :n5}, :n3 #{:n2 :n5}, :n5 #{:n3 :n4 :n1}, :n2 #{:n3 :n4 :n1}}",
:time 76218772978,
:process :nemesis,
:type :info,
:f :start}
{:time 76411655406,
:process 30,
:type :info,
:f :write,
:value :timed-out}
{:time 76418956617,
:process 31,
:type :info,
:f :cas,
:value :timed-out}
{:time 76421547209,
:process 32,
:type :info,
:f :write,
:value :timed-out}
{:time 76422333945,
:process 34,
:type :info,
:f :write,
:value :timed-out}
{:time 76434460564,
:process 33,
:type :info,
:f :cas,
:value :timed-out}
{:time 77411957537,
:process 35,
:type :invoke,
:f :cas,
:value [1 0]}
{:time 77419230687,
:process 36,
:type :invoke,
:f :cas,
:value [1 1]}
{:time 77421822611,
:process 37,
:type :invoke,
:f :cas,
:value [0 0]}
{:time 77422609185, :process 39, :type :invoke, :f :write, :value 0}
{:time 77434724527, :process 38, :type :invoke, :f :write, :value 4}
{:time 78759763301, :process 35, :type :fail, :f :cas, :value [1 0]}
{:time 78759767659, :process 36, :type :fail, :f :cas, :value [1 1]}
{:time 78760278080, :process 37, :type :fail, :f :cas, :value [0 0]}
{:time 78787406391, :process 39, :type :ok, :f :write, :value 0}
{:time 78789998217, :process 38, :type :ok, :f :write, :value 4}
{:value 2, :time 79760154238, :process 35, :type :invoke, :f :read}
{:time 79760192167,
:process 36,
:type :invoke,
:f :cas,
:value [2 2]}
{:time 79760587171, :process 37, :type :invoke, :f :write, :value 0}
{:value 2, :time 79764732505, :process 35, :type :ok, :f :read}
{:time 79769472863, :process 37, :type :ok, :f :write, :value 0}
{:time 79779480172, :process 36, :type :fail, :f :cas, :value [2 2]}
{:time 79787696718, :process 39, :type :invoke, :f :write, :value 3}
{:value 0, :time 79790262227, :process 38, :type :invoke, :f :read}
{:value 0, :time 79793195775, :process 38, :type :ok, :f :read}
{:time 79799082210, :process 39, :type :ok, :f :write, :value 3}
{:time 80765026553,
:process 35,
:type :invoke,
:f :cas,
:value [1 2]}
{:time 80768959318, :process 35, :type :fail, :f :cas, :value [1 2]}
{:time 80769743513, :process 37, :type :invoke, :f :write, :value 0}
{:time 80777272159, :process 37, :type :ok, :f :write, :value 0}
{:time 80779767475, :process 36, :type :invoke, :f :write, :value 2}
{:time 80787582716, :process 36, :type :ok, :f :write, :value 2}
{:value 2, :time 80793453384, :process 38, :type :invoke, :f :read}
{:value 2, :time 80796369371, :process 38, :type :ok, :f :read}
{:time 80799348233, :process 39, :type :invoke, :f :write, :value 2}
{:time 80806978277, :process 39, :type :ok, :f :write, :value 2}
{:time 81219093850, :process :nemesis, :type :info, :f :stop}
{:value "fully connected",
:time 81479655780,
:process :nemesis,
:type :info,
:f :stop}
{:time 81769256942, :process 35, :type :invoke, :f :write, :value 3}
{:time 81777022504, :process 35, :type :ok, :f :write, :value 3}
{:time 81777539819, :process 37, :type :invoke, :f :write, :value 0}
{:value 3, :time 81787847064, :process 36, :type :invoke, :f :read}
{:time 81791333008, :process 37, :type :ok, :f :write, :value 0}
{:value 3, :time 81791459955, :process 36, :type :ok, :f :read}
{:time 81796635261, :process 38, :type :invoke, :f :write, :value 0}
{:time 81803829637, :process 38, :type :ok, :f :write, :value 0}
{:time 81807244902, :process 39, :type :invoke, :f :write, :value 3}
{:time 81814420992, :process 39, :type :ok, :f :write, :value 3}
{:value 3, :time 82777286179, :process 35, :type :invoke, :f :read}
{:value 3, :time 82780581430, :process 35, :type :ok, :f :read}
{:time 82791599410, :process 37, :type :invoke, :f :write, :value 0}
{:time 82791731827,
:process 36,
:type :invoke,
:f :cas,
:value [4 0]}
{:time 82796320449, :process 36, :type :fail, :f :cas, :value [4 0]}
{:time 82799388481, :process 37, :type :ok, :f :write, :value 0}
{:value 0, :time 82804087457, :process 38, :type :invoke, :f :read}
{:value 0, :time 82807522246, :process 38, :type :ok, :f :read}
{:value 0, :time 82814674572, :process 39, :type :invoke, :f :read}
{:value 0, :time 82818251286, :process 39, :type :ok, :f :read}
{:time 83780755393, :process 35, :type :invoke, :f :write, :value 1}
{:time 83788581272, :process 35, :type :ok, :f :write, :value 1}
{:time 83796606358,
:process 36,
:type :invoke,
:f :cas,
:value [0 3]}
{:time 83799650995,
:process 37,
:type :invoke,
:f :cas,
:value [0 1]}
{:time 83800137107, :process 36, :type :fail, :f :cas, :value [0 3]}
{:time 83803280881, :process 37, :type :fail, :f :cas, :value [0 1]}
{:time 83807795120,
:process 38,
:type :invoke,
:f :cas,
:value [4 1]}
{:time 83811292386, :process 38, :type :fail, :f :cas, :value [4 1]}
{:value 1, :time 83818507322, :process 39, :type :invoke, :f :read}
{:value 1, :time 83822185849, :process 39, :type :ok, :f :read}
{:value 1, :time 84788850193, :process 35, :type :invoke, :f :read}
{:value 1, :time 84792698320, :process 35, :type :ok, :f :read}
{:time 84800426185, :process 36, :type :invoke, :f :write, :value 2}
{:time 84803563943, :process 37, :type :invoke, :f :write, :value 4}
{:time 84808493407, :process 36, :type :ok, :f :write, :value 2}
{:time 84811248528, :process 37, :type :ok, :f :write, :value 4}
{:time 84811592037,
:process 38,
:type :invoke,
:f :cas,
:value [3 0]}
{:time 84814569060, :process 38, :type :fail, :f :cas, :value [3 0]}
{:time 84822448793,
:process 39,
:type :invoke,
:f :cas,
:value [3 4]}
{:time 84825923131, :process 39, :type :fail, :f :cas, :value [3 4]}
{:time 85792987458, :process 35, :type :invoke, :f :write, :value 3}
{:time 85800180399, :process 35, :type :ok, :f :write, :value 3}
{:value 3, :time 85808751088, :process 36, :type :invoke, :f :read}
{:time 85811514807,
:process 37,
:type :invoke,
:f :cas,
:value [0 4]}
{:value 3, :time 85811717209, :process 36, :type :ok, :f :read}
{:time 85814851532,
:process 38,
:type :invoke,
:f :cas,
:value [3 3]}
{:time 85815143585, :process 37, :type :fail, :f :cas, :value [0 4]}
{:time 85823704332, :process 38, :type :ok, :f :cas, :value [3 3]}
{:time 85826204028, :process 39, :type :invoke, :f :write, :value 4}
{:time 85833708816, :process 39, :type :ok, :f :write, :value 4}
{:time 86480021623, :process :nemesis, :type :info, :f :start}
{:time 86800453357, :process 35, :type :invoke, :f :read}
{:time 86811984617, :process 36, :type :invoke, :f :read}
{:time 86815428501, :process 37, :type :invoke, :f :write, :value 0}
{:time 86824021332, :process 38, :type :invoke, :f :write, :value 4}
{:time 86833998242,
:process 39,
:type :invoke,
:f :cas,
:value [1 1]}
{:value
"Cut off {:n1 #{:n3 :n5}, :n2 #{:n3 :n5}, :n4 #{:n3 :n5}, :n5 #{:n4 :n2 :n1}, :n3 #{:n4 :n2 :n1}}",
:time 87130065906,
:process :nemesis,
:type :info,
:f :start}
{:value :timed-out,
:time 91800908027,
:process 35,
:type :info,
:f :read}
{:value :timed-out,
:time 91812313548,
:process 36,
:type :info,
:f :read}
{:time 91815747743,
:process 37,
:type :info,
:f :write,
:value :timed-out}
{:time 91824330521,
:process 38,
:type :info,
:f :write,
:value :timed-out}
{:time 91834385899,
:process 39,
:type :info,
:f :cas,
:value :timed-out}
{:time 92130390743, :process :nemesis, :type :info, :f :stop}
{:value "fully connected",
:time 92378134120,
:process :nemesis,
:type :info,
:f :stop}
{:time 92801288098,
:process 40,
:type :invoke,
:f :cas,
:value [2 4]}
{:value 4, :time 92812591180, :process 41, :type :invoke, :f :read}
{:value 4, :time 92816010760, :process 42, :type :invoke, :f :read}
{:time 92824609314,
:process 43,
:type :invoke,
:f :cas,
:value [2 4]}
{:value 4, :time 92834651338, :process 44, :type :invoke, :f :read}
{:time 93781813796, :process 43, :type :fail, :f :cas, :value [2 4]}
{:time 93782461025, :process 40, :type :fail, :f :cas, :value [2 4]}
{:value 4, :time 93782500995, :process 44, :type :ok, :f :read}
{:value 4, :time 93783661528, :process 41, :type :ok, :f :read}
{:value 4, :time 93783665812, :process 42, :type :ok, :f :read}
{:value 4, :time 94782153292, :process 43, :type :invoke, :f :read}
{:time 94782796157, :process 40, :type :invoke, :f :write, :value 3}
{:value 4, :time 94782817059, :process 44, :type :invoke, :f :read}
{:value 4, :time 94783973328, :process 42, :type :invoke, :f :read}
{:time 94783947673,
:process 41,
:type :invoke,
:f :cas,
:value [0 0]}
{:value 4, :time 94785853958, :process 43, :type :ok, :f :read}
{:value 4, :time 94786877049, :process 44, :type :ok, :f :read}
{:value 4, :time 94788028826, :process 42, :type :ok, :f :read}
{:time 94788048384, :process 41, :type :fail, :f :cas, :value [0 0]}
{:time 94791942034, :process 40, :type :ok, :f :write, :value 3}
{:value 3, :time 95786125626, :process 43, :type :invoke, :f :read}
{:value 3, :time 95787129974, :process 44, :type :invoke, :f :read}
{:value 3, :time 95788234750, :process 42, :type :invoke, :f :read}
{:time 95788329742, :process 41, :type :invoke, :f :write, :value 3}
{:value 3, :time 95789850038, :process 43, :type :ok, :f :read}
{:value 3, :time 95790372095, :process 44, :type :ok, :f :read}
{:value 3, :time 95791520379, :process 42, :type :ok, :f :read}
{:time 95792202982, :process 40, :type :invoke, :f :write, :value 4}
{:time 95795784859, :process 41, :type :ok, :f :write, :value 3}
{:time 95804234576, :process 40, :type :ok, :f :write, :value 4}
{:value 4, :time 96790100412, :process 43, :type :invoke, :f :read}
{:value 4, :time 96790619802, :process 44, :type :invoke, :f :read}
{:time 96791793111,
:process 42,
:type :invoke,
:f :cas,
:value [0 3]}
{:value 4, :time 96793048481, :process 43, :type :ok, :f :read}
{:value 4, :time 96794345681, :process 44, :type :ok, :f :read}
{:time 96795587572, :process 42, :type :fail, :f :cas, :value [0 3]}
{:time 96796065115, :process 41, :type :invoke, :f :write, :value 2}
{:time 96803674049, :process 41, :type :ok, :f :write, :value 2}
{:time 96804489671,
:process 40,
:type :invoke,
:f :cas,
:value [2 2]}
{:time 96813454320, :process 40, :type :ok, :f :cas, :value [2 2]}
{:time 97378528825, :process :nemesis, :type :info, :f :start}
{:time 97793324517, :process 43, :type :invoke, :f :read}
{:time 97794592608, :process 44, :type :invoke, :f :read}
{:time 97795848343, :process 42, :type :invoke, :f :read}
{:time 97803932935, :process 41, :type :invoke, :f :read}
{:time 97813729388, :process 40, :type :invoke, :f :write, :value 1}
{:value
"Cut off {:n1 #{:n3 :n5}, :n2 #{:n3 :n5}, :n4 #{:n3 :n5}, :n5 #{:n4 :n2 :n1}, :n3 #{:n4 :n2 :n1}}",
:time 98030880248,
:process :nemesis,
:type :info,
:f :start}
{:value :timed-out,
:time 102793765021,
:process 43,
:type :info,
:f :read}
{:value :timed-out,
:time 102794888113,
:process 44,
:type :info,
:f :read}
{:value :timed-out,
:time 102796182569,
:process 42,
:type :info,
:f :read}
{:value :timed-out,
:time 102804237390,
:process 41,
:type :info,
:f :read}
{:time 102814038968,
:process 40,
:type :info,
:f :write,
:value :timed-out}
{:time 103031200465, :process :nemesis, :type :info, :f :stop}
{:value "fully connected",
:time 103290034316,
:process :nemesis,
:type :info,
:f :stop}
{:time 103794131043,
:process 48,
:type :invoke,
:f :write,
:value 2}
{:time 103795150345,
:process 49,
:type :invoke,
:f :write,
:value 1}
{:value 1, :time 103796467505, :process 47, :type :invoke, :f :read}
{:value 1, :time 103800214237, :process 47, :type :ok, :f :read}
{:time 103802549411, :process 48, :type :ok, :f :write, :value 2}
{:time 103804514001,
:process 46,
:type :invoke,
:f :cas,
:value [3 3]}
{:time 103806295209, :process 49, :type :ok, :f :write, :value 1}
{:time 103807651185,
:process 46,
:type :fail,
:f :cas,
:value [3 3]}
{:time 103814315328,
:process 45,
:type :invoke,
:f :cas,
:value [3 2]}
{:time 103817827507,
:process 45,
:type :fail,
:f :cas,
:value [3 2]}
{:value 1, :time 104800475235, :process 47, :type :invoke, :f :read}
{:time 104802813883,
:process 48,
:type :invoke,
:f :write,
:value 3}
{:value 1, :time 104804044877, :process 47, :type :ok, :f :read}
{:time 104806558034,
:process 49,
:type :invoke,
:f :write,
:value 4}
{:value 3, :time 104807922252, :process 46, :type :invoke, :f :read}
{:time 104810668767, :process 48, :type :ok, :f :write, :value 3}
{:value 3, :time 104811757012, :process 46, :type :ok, :f :read}
{:time 104813801481, :process 49, :type :ok, :f :write, :value 4}
{:value 4, :time 104818095102, :process 45, :type :invoke, :f :read}
{:value 4, :time 104821618738, :process 45, :type :ok, :f :read}
{:value 4, :time 105804303644, :process 47, :type :invoke, :f :read}
{:value 4, :time 105807980388, :process 47, :type :ok, :f :read}
{:value 4, :time 105810930263, :process 48, :type :invoke, :f :read}
{:time 105812025485,
:process 46,
:type :invoke,
:f :cas,
:value [0 1]}
{:time 105814057285,
:process 49,
:type :invoke,
:f :write,
:value 4}
{:value 4, :time 105814549316, :process 48, :type :ok, :f :read}
{:time 105815682311,
:process 46,
:type :fail,
:f :cas,
:value [0 1]}
{:time 105820743115, :process 49, :type :ok, :f :write, :value 4}
{:value 4, :time 105821870449, :process 45, :type :invoke, :f :read}
{:value 4, :time 105825389636, :process 45, :type :ok, :f :read}
{:time 106808271830,
:process 47,
:type :invoke,
:f :cas,
:value [2 4]}
{:time 106812110953,
:process 47,
:type :fail,
:f :cas,
:value [2 4]}
{:value 4, :time 106814800982, :process 48, :type :invoke, :f :read}
{:time 106815981893,
:process 46,
:type :invoke,
:f :cas,
:value [2 3]}
{:value 4, :time 106818336563, :process 48, :type :ok, :f :read}
{:time 106819684364,
:process 46,
:type :fail,
:f :cas,
:value [2 3]}
{:time 106821009164,
:process 49,
:type :invoke,
:f :cas,
:value [4 2]}
{:time 106825647905,
:process 45,
:type :invoke,
:f :write,
:value 0}
{:time 106829588171, :process 49, :type :ok, :f :cas, :value [4 2]}
{:time 106839974874, :process 45, :type :ok, :f :write, :value 0}
{:time 107812349044,
:process 47,
:type :invoke,
:f :write,
:value 4}
{:time 107818612409,
:process 48,
:type :invoke,
:f :cas,
:value [1 2]}
{:time 107819049331, :process 47, :type :ok, :f :write, :value 4}
{:value 4, :time 107819963090, :process 46, :type :invoke, :f :read}
{:time 107822291128,
:process 48,
:type :fail,
:f :cas,
:value [1 2]}
{:value 4, :time 107823159378, :process 46, :type :ok, :f :read}
{:time 107829870211,
:process 49,
:type :invoke,
:f :cas,
:value [1 3]}
{:time 107832873171,
:process 49,
:type :fail,
:f :cas,
:value [1 3]}
{:time 107840232510,
:process 45,
:type :invoke,
:f :write,
:value 4}
{:time 107847456980, :process 45, :type :ok, :f :write, :value 4}
{:time 108290394211, :process :nemesis, :type :info, :f :start}
{:time 108819325140, :process 47, :type :invoke, :f :read}
{:time 108822568211, :process 48, :type :invoke, :f :read}
{:time 108823429961,
:process 46,
:type :invoke,
:f :cas,
:value [0 4]}
{:time 108833150283,
:process 49,
:type :invoke,
:f :cas,
:value [1 2]}
{:time 108847719837, :process 45, :type :invoke, :f :read}
{:value
"Cut off {:n1 #{:n3 :n5}, :n2 #{:n3 :n5}, :n4 #{:n3 :n5}, :n5 #{:n4 :n2 :n1}, :n3 #{:n4 :n2 :n1}}",
:time 108940120110,
:process :nemesis,
:type :info,
:f :start}
{:value :timed-out,
:time 113819740414,
:process 47,
:type :info,
:f :read}
{:value :timed-out,
:time 113822887800,
:process 48,
:type :info,
:f :read}
{:time 113823749848,
:process 46,
:type :info,
:f :cas,
:value :timed-out}
{:time 113833464673,
:process 49,
:type :info,
:f :cas,
:value :timed-out}
{:value :timed-out,
:time 113848028007,
:process 45,
:type :info,
:f :read}
{:time 113940407855, :process :nemesis, :type :info, :f :stop}
{:value "fully connected",
:time 114201373114,
:process :nemesis,
:type :info,
:f :stop}
{:time 114820131835,
:process 52,
:type :invoke,
:f :write,
:value 3}
{:time 114823175920,
:process 53,
:type :invoke,
:f :write,
:value 2}
{:time 114824030224,
:process 51,
:type :invoke,
:f :write,
:value 2}
{:time 114833734340,
:process 54,
:type :invoke,
:f :cas,
:value [4 3]}
{:time 114843433855, :process 53, :type :ok, :f :write, :value 2}
{:time 114846053297, :process 52, :type :ok, :f :write, :value 3}
{:value 3, :time 114848290142, :process 50, :type :invoke, :f :read}
{:value 3, :time 114851764420, :process 50, :type :ok, :f :read}
{:time 114853713659, :process 51, :type :ok, :f :write, :value 2}
{:time 114860774279,
:process 54,
:type :fail,
:f :cas,
:value [4 3]}
{:time 115843743733,
:process 53,
:type :invoke,
:f :write,
:value 1}
{:value 2, :time 115846340927, :process 52, :type :invoke, :f :read}
{:time 115850071136, :process 53, :type :ok, :f :write, :value 1}
{:value 2, :time 115850107759, :process 52, :type :ok, :f :read}
{:value 1, :time 115852054594, :process 50, :type :invoke, :f :read}
{:time 115854024898,
:process 51,
:type :invoke,
:f :write,
:value 4}
{:value 1, :time 115855653555, :process 50, :type :ok, :f :read}
{:time 115861075778, :process 51, :type :ok, :f :write, :value 4}
{:time 115861070038,
:process 54,
:type :invoke,
:f :cas,
:value [1 1]}
{:time 115864642339,
:process 54,
:type :fail,
:f :cas,
:value [1 1]}
{:value 4, :time 116850373886, :process 52, :type :invoke, :f :read}
{:time 116850374251,
:process 53,
:type :invoke,
:f :cas,
:value [3 3]}
{:value 4, :time 116854871195, :process 52, :type :ok, :f :read}
{:time 116854863434,
:process 53,
:type :fail,
:f :cas,
:value [3 3]}
{:value 4, :time 116855904725, :process 50, :type :invoke, :f :read}
{:value 4, :time 116859415875, :process 50, :type :ok, :f :read}
{:time 116861359009,
:process 51,
:type :invoke,
:f :cas,
:value [4 2]}
{:time 116864948278,
:process 54,
:type :invoke,
:f :cas,
:value [4 4]}
{:time 116873340153, :process 54, :type :ok, :f :cas, :value [4 4]}
{:time 116897411551, :process 51, :type :ok, :f :cas, :value [4 2]}
{:value 2, :time 117855188656, :process 53, :type :invoke, :f :read}
{:time 117855182135,
:process 52,
:type :invoke,
:f :write,
:value 0}
{:value 2, :time 117859175642, :process 53, :type :ok, :f :read}
{:value 0, :time 117859673958, :process 50, :type :invoke, :f :read}
{:time 117862446905, :process 52, :type :ok, :f :write, :value 0}
{:value 0, :time 117863589013, :process 50, :type :ok, :f :read}
{:time 117873622580,
:process 54,
:type :invoke,
:f :write,
:value 2}
{:time 117881129766, :process 54, :type :ok, :f :write, :value 2}
{:value 2, :time 117897682411, :process 51, :type :invoke, :f :read}
{:value 2, :time 117900611094, :process 51, :type :ok, :f :read}
{:time 118859472276,
:process 53,
:type :invoke,
:f :write,
:value 4}
{:time 118862739533,
:process 52,
:type :invoke,
:f :cas,
:value [0 1]}
{:time 118863857542,
:process 50,
:type :invoke,
:f :cas,
:value [4 2]}
{:time 118865853594,
:process 52,
:type :fail,
:f :cas,
:value [0 1]}
{:time 118867431342, :process 53, :type :ok, :f :write, :value 4}
{:time 118867506112,
:process 50,
:type :fail,
:f :cas,
:value [4 2]}
{:time 118881358308,
:process 54,
:type :invoke,
:f :write,
:value 1}
{:time 118888906439, :process 54, :type :ok, :f :write, :value 1}
{:value 1, :time 118900882538, :process 51, :type :invoke, :f :read}
{:value 1, :time 118904036359, :process 51, :type :ok, :f :read}
{:time 119201731867, :process :nemesis, :type :info, :f :start}
{:value
"Cut off {:n1 #{:n3 :n5}, :n2 #{:n3 :n5}, :n4 #{:n3 :n5}, :n5 #{:n4 :n2 :n1}, :n3 #{:n4 :n2 :n1}}",
:time 119854357803,
:process :nemesis,
:type :info,
:f :start}
{:time 119866146329,
:process 52,
:type :invoke,
:f :cas,
:value [4 3]}
{:time 119867720302,
:process 53,
:type :invoke,
:f :cas,
:value [4 4]}
{:value 1, :time 119867771233, :process 50, :type :invoke, :f :read}
{:time 119869337734,
:process 52,
:type :fail,
:f :cas,
:value [4 3]}
{:value 1, :time 119871581215, :process 50, :type :ok, :f :read}
{:time 119871601787,
:process 53,
:type :fail,
:f :cas,
:value [4 4]}
{:time 119889180658,
:process 54,
:type :invoke,
:f :write,
:value 2}
{:time 119896170175, :process 54, :type :ok, :f :write, :value 2}
{:value 2, :time 119904283124, :process 51, :type :invoke, :f :read}
{:value 2, :time 119907869711, :process 51, :type :ok, :f :read}
{:time 120869627654,
:process 52,
:type :invoke,
:f :cas,
:value [1 1]}
{:value 2, :time 120871832033, :process 50, :type :invoke, :f :read}
{:value 2, :time 120871875314, :process 53, :type :invoke, :f :read}
{:time 120873471991,
:process 52,
:type :fail,
:f :cas,
:value [1 1]}
{:value 2, :time 120875062715, :process 53, :type :ok, :f :read}
{:value 2, :time 120875802037, :process 50, :type :ok, :f :read}
{:value 2, :time 120896421399, :process 54, :type :invoke, :f :read}
{:value 2, :time 120899391068, :process 54, :type :ok, :f :read}
{:value 2, :time 120908112859, :process 51, :type :invoke, :f :read}
{:value 2, :time 120910996841, :process 51, :type :ok, :f :read}
{:time 124854688900, :process :nemesis, :type :info, :f :stop}
{:value "fully connected",
:time 125107899347,
:process :nemesis,
:type :info,
:f :stop}
{:time 125108622723, :process :nemesis, :type :info, :f :stop}
{:value "fully connected",
:time 125364528199,
:process :nemesis,
:type :info,
:f :stop}
{:value 2, :time 125364833607, :process 52, :type :invoke, :f :read}
{:value 2, :time 125368910120, :process 52, :type :ok, :f :read}),
:worlds
({:model {:value 2},
:fixed
[{:time 1279218032, :process 2, :type :invoke, :f :write, :value 4}
{:time 1279309235, :process 3, :type :invoke, :f :write, :value 1}
{:time 1279228898, :process 1, :type :invoke, :f :write, :value 4}
{:value 4, :time 2322504206, :process 0, :type :invoke, :f :read}
{:value 4, :time 2325401262, :process 1, :type :invoke, :f :read}
{:time 2322510428, :process 4, :type :invoke, :f :write, :value 0}
{:value 0, :time 3329889295, :process 3, :type :invoke, :f :read}
{:value 0, :time 3329109909, :process 0, :type :invoke, :f :read}
{:value 0, :time 3331931911, :process 1, :type :invoke, :f :read}
{:time 3339209291, :process 2, :type :invoke, :f :write, :value 4}
{:value 4, :time 4334250912, :process 3, :type :invoke, :f :read}
{:value 4, :time 4335941611, :process 1, :type :invoke, :f :read}
{:time 4332986643, :process 0, :type :invoke, :f :write, :value 3}
{:value 3, :time 4347187751, :process 2, :type :invoke, :f :read}
{:time 5338386060,
:process 3,
:type :invoke,
:f :cas,
:value [3 3]}
{:time 5357959162, :process 4, :type :invoke, :f :write, :value 1}
{:time 5351321228, :process 2, :type :invoke, :f :write, :value 4}
{:time 6346538283, :process 0, :type :invoke, :f :write, :value 3}
{:time 6364076805, :process 1, :type :invoke, :f :write, :value 3}
{:time 6369874609, :process 4, :type :invoke, :f :read}
{:value 3, :time 12347352916, :process 5, :type :invoke, :f :read}
{:value 3, :time 12351300644, :process 8, :type :invoke, :f :read}
{:value 3, :time 13532571396, :process 7, :type :invoke, :f :read}
{:value 3, :time 13532998543, :process 9, :type :invoke, :f :read}
{:time 13533852171,
:process 5,
:type :invoke,
:f :write,
:value 4}
{:time 13533738259,
:process 8,
:type :invoke,
:f :write,
:value 1}
{:value 1, :time 14537188387, :process 9, :type :invoke, :f :read}
{:time 14544304375,
:process 8,
:type :invoke,
:f :write,
:value 4}
{:time 14553073889,
:process 6,
:type :invoke,
:f :write,
:value 1}
{:time 15544554026,
:process 5,
:type :invoke,
:f :cas,
:value [1 2]}
{:time 15551817423,
:process 8,
:type :invoke,
:f :cas,
:value [2 2]}
{:value 2, :time 15561386953, :process 6, :type :invoke, :f :read}
{:time 6350705282,
:process 3,
:type :invoke,
:f :cas,
:value [2 0]}
{:time 6362672619,
:process 2,
:type :invoke,
:f :cas,
:value [0 3]}
{:time 16553216076, :process 5, :type :invoke, :f :read}
{:time 16544063603,
:process 7,
:type :invoke,
:f :write,
:value 0}
{:time 22546080958,
:process 14,
:type :invoke,
:f :write,
:value 3}
{:time 22565780268,
:process 11,
:type :invoke,
:f :write,
:value 0}
{:time 22561573135,
:process 13,
:type :invoke,
:f :write,
:value 0}
{:value 0,
:time 23848914748,
:process 14,
:type :invoke,
:f :read}
{:time 23845247696,
:process 12,
:type :invoke,
:f :write,
:value 3}
{:value 3,
:time 23851955516,
:process 11,
:type :invoke,
:f :read}
{:value 3,
:time 23853090846,
:process 13,
:type :invoke,
:f :read}
{:value 3,
:time 24849326111,
:process 10,
:type :invoke,
:f :read}
{:time 24852739999,
:process 14,
:type :invoke,
:f :write,
:value 0}
{:time 24855735704,
:process 11,
:type :invoke,
:f :write,
:value 3}
{:value 3,
:time 24853460026,
:process 12,
:type :invoke,
:f :read}
{:value 3,
:time 25853271162,
:process 10,
:type :invoke,
:f :read}
{:time 25856704062,
:process 12,
:type :invoke,
:f :write,
:value 3}
{:time 25861799690,
:process 14,
:type :invoke,
:f :write,
:value 0}
{:time 25863744110,
:process 11,
:type :invoke,
:f :write,
:value 3}
{:time 26865888037,
:process 13,
:type :invoke,
:f :write,
:value 3}
{:value 3,
:time 26873195727,
:process 11,
:type :invoke,
:f :read}
{:value 3,
:time 26870968153,
:process 14,
:type :invoke,
:f :read}
{:time 27860973878,
:process 10,
:type :invoke,
:f :cas,
:value [3 3]}
{:time 27868704961,
:process 12,
:type :invoke,
:f :write,
:value 2}
{:time 27876896020, :process 11, :type :invoke, :f :read}
{:time 27876950594, :process 13, :type :invoke, :f :read}
{:time 33861778425,
:process 15,
:type :invoke,
:f :write,
:value 0}
{:time 33869337277,
:process 17,
:type :invoke,
:f :write,
:value 3}
{:value 3,
:time 33874844301,
:process 19,
:type :invoke,
:f :read}
{:value 3,
:time 33877456483,
:process 16,
:type :invoke,
:f :read}
{:value 3,
:time 33877534234,
:process 18,
:type :invoke,
:f :read}
{:value 3,
:time 34878096471,
:process 17,
:type :invoke,
:f :read}
{:time 34881141300,
:process 18,
:type :invoke,
:f :write,
:value 2}
{:time 35872116585,
:process 15,
:type :invoke,
:f :write,
:value 1}
{:value 1,
:time 35881849842,
:process 17,
:type :invoke,
:f :read}
{:time 35883098633,
:process 19,
:type :invoke,
:f :write,
:value 0}
{:value 0,
:time 35889075398,
:process 18,
:type :invoke,
:f :read}
{:value 0,
:time 36885661822,
:process 17,
:type :invoke,
:f :read}
{:time 36879704440,
:process 15,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 36892718397,
:process 18,
:type :invoke,
:f :read}
{:time 27874223609,
:process 14,
:type :invoke,
:f :cas,
:value [4 2]}
{:time 36891819538,
:process 19,
:type :invoke,
:f :write,
:value 3}
{:time 37889404669,
:process 17,
:type :invoke,
:f :write,
:value 2}
{:time 37892159590,
:process 15,
:type :invoke,
:f :write,
:value 1}
{:value 1,
:time 37901540676,
:process 19,
:type :invoke,
:f :read}
{:time 37896248487,
:process 18,
:type :invoke,
:f :write,
:value 0}
{:value 0,
:time 37910598515,
:process 16,
:type :invoke,
:f :read}
{:time 38899713419,
:process 15,
:type :invoke,
:f :write,
:value 4}
{:time 16560966306,
:process 8,
:type :invoke,
:f :cas,
:value [4 3]}
{:time 38896307608,
:process 17,
:type :invoke,
:f :cas,
:value [3 4]}
{:time 16545427069,
:process 9,
:type :invoke,
:f :cas,
:value [4 2]}
{:time 38906923382, :process 18, :type :invoke, :f :read}
{:time 44897477963,
:process 22,
:type :invoke,
:f :write,
:value 0}
{:time 44900346132,
:process 20,
:type :invoke,
:f :write,
:value 2}
{:time 44906146182,
:process 24,
:type :invoke,
:f :write,
:value 0}
{:time 38905545371,
:process 19,
:type :invoke,
:f :cas,
:value [0 3]}
{:time 45905281610,
:process 22,
:type :invoke,
:f :write,
:value 1}
{:time 38914330417,
:process 16,
:type :invoke,
:f :cas,
:value [1 3]}
{:time 45908414180,
:process 20,
:type :invoke,
:f :write,
:value 4}
{:time 16565170156,
:process 6,
:type :invoke,
:f :cas,
:value [4 3]}
{:time 45911519185,
:process 23,
:type :invoke,
:f :write,
:value 4}
{:time 45913046027,
:process 24,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 45918251799,
:process 21,
:type :invoke,
:f :read}
{:value 4,
:time 46912814582,
:process 22,
:type :invoke,
:f :read}
{:value 4,
:time 46922225953,
:process 21,
:type :invoke,
:f :read}
{:value 4,
:time 46923696952,
:process 23,
:type :invoke,
:f :read}
{:time 46926441713,
:process 20,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 47916885465,
:process 22,
:type :invoke,
:f :read}
{:value 4,
:time 47933218440,
:process 20,
:type :invoke,
:f :read}
{:value 4,
:time 48931185029,
:process 23,
:type :invoke,
:f :read}
{:value 4,
:time 48928372725,
:process 24,
:type :invoke,
:f :read}
{:value 4,
:time 48936942059,
:process 20,
:type :invoke,
:f :read}
{:time 49932180125,
:process 24,
:type :invoke,
:f :cas,
:value [4 1]}
{:time 49924396528,
:process 22,
:type :invoke,
:f :cas,
:value [1 3]}
{:time 49934972051,
:process 23,
:type :invoke,
:f :write,
:value 0}
{:time 55941361715,
:process 25,
:type :invoke,
:f :write,
:value 2}
{:time 49940788871,
:process 20,
:type :invoke,
:f :write,
:value 1}
{:value 1,
:time 55935506296,
:process 28,
:type :invoke,
:f :read}
{:value 1,
:time 55932835764,
:process 29,
:type :invoke,
:f :read}
{:value 1,
:time 57184972912,
:process 26,
:type :invoke,
:f :read}
{:value 1,
:time 57185054095,
:process 27,
:type :invoke,
:f :read}
{:time 49933396583,
:process 21,
:type :invoke,
:f :cas,
:value [1 0]}
{:time 57183957292,
:process 29,
:type :invoke,
:f :write,
:value 0}
{:value 0,
:time 58189044110,
:process 27,
:type :invoke,
:f :read}
{:time 58188344498,
:process 26,
:type :invoke,
:f :write,
:value 4}
{:time 58190334224,
:process 25,
:type :invoke,
:f :write,
:value 3}
{:time 58192299788,
:process 29,
:type :invoke,
:f :write,
:value 2}
{:value 2,
:time 59198598404,
:process 25,
:type :invoke,
:f :read}
{:time 59193067792,
:process 28,
:type :invoke,
:f :write,
:value 0}
{:value 0,
:time 59201263876,
:process 26,
:type :invoke,
:f :read}
{:time 59201082498,
:process 29,
:type :invoke,
:f :write,
:value 1}
{:time 60217030154, :process 27, :type :invoke, :f :read}
{:value 1,
:time 66217578191,
:process 32,
:type :invoke,
:f :read}
{:time 60204575292,
:process 26,
:type :invoke,
:f :write,
:value 4}
{:time 60201869694,
:process 28,
:type :invoke,
:f :write,
:value 4}
{:time 66202661232,
:process 33,
:type :invoke,
:f :write,
:value 0}
{:time 60211557839,
:process 29,
:type :invoke,
:f :cas,
:value [0 3]}
{:time 60202287834,
:process 25,
:type :invoke,
:f :write,
:value 3}
{:time 66205189147,
:process 31,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 67391569462,
:process 30,
:type :invoke,
:f :read}
{:value 4,
:time 67392956469,
:process 32,
:type :invoke,
:f :read}
{:value 4,
:time 67394819750,
:process 31,
:type :invoke,
:f :read}
{:time 67398206628,
:process 33,
:type :invoke,
:f :write,
:value 4}
{:time 68396369832,
:process 34,
:type :invoke,
:f :write,
:value 2}
{:time 68396936327,
:process 32,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 68397968299,
:process 31,
:type :invoke,
:f :read}
{:time 69399072235,
:process 30,
:type :invoke,
:f :write,
:value 3}
{:time 69402258487,
:process 31,
:type :invoke,
:f :write,
:value 1}
{:time 69404364725,
:process 34,
:type :invoke,
:f :write,
:value 4}
{:time 69407555570,
:process 32,
:type :invoke,
:f :write,
:value 3}
{:time 70410419916,
:process 31,
:type :invoke,
:f :write,
:value 0}
{:time 70413916805,
:process 34,
:type :invoke,
:f :write,
:value 3}
{:time 70426486504,
:process 33,
:type :invoke,
:f :write,
:value 0}
{:time 71411257082,
:process 30,
:type :invoke,
:f :write,
:value 2}
{:time 71421239372,
:process 32,
:type :invoke,
:f :write,
:value 1}
{:time 71418609333,
:process 31,
:type :invoke,
:f :cas,
:value [1 4]}
{:time 71422028456,
:process 34,
:type :invoke,
:f :write,
:value 3}
{:time 77422609185,
:process 39,
:type :invoke,
:f :write,
:value 0}
{:time 77434724527,
:process 38,
:type :invoke,
:f :write,
:value 4}
{:time 71434137035,
:process 33,
:type :invoke,
:f :cas,
:value [4 2]}
{:value 2,
:time 79760154238,
:process 35,
:type :invoke,
:f :read}
{:time 79760587171,
:process 37,
:type :invoke,
:f :write,
:value 0}
{:value 0,
:time 79790262227,
:process 38,
:type :invoke,
:f :read}
{:time 79787696718,
:process 39,
:type :invoke,
:f :write,
:value 3}
{:time 80769743513,
:process 37,
:type :invoke,
:f :write,
:value 0}
{:time 80779767475,
:process 36,
:type :invoke,
:f :write,
:value 2}
{:value 2,
:time 80793453384,
:process 38,
:type :invoke,
:f :read}
{:time 80799348233,
:process 39,
:type :invoke,
:f :write,
:value 2}
{:time 81769256942,
:process 35,
:type :invoke,
:f :write,
:value 3}
{:value 3,
:time 81787847064,
:process 36,
:type :invoke,
:f :read}
{:time 81777539819,
:process 37,
:type :invoke,
:f :write,
:value 0}
{:time 81796635261,
:process 38,
:type :invoke,
:f :write,
:value 0}
{:time 81807244902,
:process 39,
:type :invoke,
:f :write,
:value 3}
{:value 3,
:time 82777286179,
:process 35,
:type :invoke,
:f :read}
{:time 82791599410,
:process 37,
:type :invoke,
:f :write,
:value 0}
{:value 0,
:time 82804087457,
:process 38,
:type :invoke,
:f :read}
{:value 0,
:time 82814674572,
:process 39,
:type :invoke,
:f :read}
{:time 83780755393,
:process 35,
:type :invoke,
:f :write,
:value 1}
{:value 1,
:time 83818507322,
:process 39,
:type :invoke,
:f :read}
{:value 1,
:time 84788850193,
:process 35,
:type :invoke,
:f :read}
{:time 84803563943,
:process 37,
:type :invoke,
:f :write,
:value 4}
{:time 84800426185,
:process 36,
:type :invoke,
:f :write,
:value 2}
{:time 85792987458,
:process 35,
:type :invoke,
:f :write,
:value 3}
{:value 3,
:time 85808751088,
:process 36,
:type :invoke,
:f :read}
{:time 85814851532,
:process 38,
:type :invoke,
:f :cas,
:value [3 3]}
{:time 85826204028,
:process 39,
:type :invoke,
:f :write,
:value 4}
{:time 86800453357, :process 35, :type :invoke, :f :read}
{:time 86811984617, :process 36, :type :invoke, :f :read}
{:time 86815428501,
:process 37,
:type :invoke,
:f :write,
:value 0}
{:time 86824021332,
:process 38,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 92812591180,
:process 41,
:type :invoke,
:f :read}
{:value 4,
:time 92816010760,
:process 42,
:type :invoke,
:f :read}
{:value 4,
:time 92834651338,
:process 44,
:type :invoke,
:f :read}
{:value 4,
:time 94782153292,
:process 43,
:type :invoke,
:f :read}
{:value 4,
:time 94782817059,
:process 44,
:type :invoke,
:f :read}
{:value 4,
:time 94783973328,
:process 42,
:type :invoke,
:f :read}
{:time 94782796157,
:process 40,
:type :invoke,
:f :write,
:value 3}
{:value 3,
:time 95786125626,
:process 43,
:type :invoke,
:f :read}
{:value 3,
:time 95787129974,
:process 44,
:type :invoke,
:f :read}
{:value 3,
:time 95788234750,
:process 42,
:type :invoke,
:f :read}
{:time 95788329742,
:process 41,
:type :invoke,
:f :write,
:value 3}
{:time 95792202982,
:process 40,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 96790100412,
:process 43,
:type :invoke,
:f :read}
{:value 4,
:time 96790619802,
:process 44,
:type :invoke,
:f :read}
{:time 96796065115,
:process 41,
:type :invoke,
:f :write,
:value 2}
{:time 96804489671,
:process 40,
:type :invoke,
:f :cas,
:value [2 2]}
{:time 97793324517, :process 43, :type :invoke, :f :read}
{:time 97794592608, :process 44, :type :invoke, :f :read}
{:time 97795848343, :process 42, :type :invoke, :f :read}
{:time 97803932935, :process 41, :type :invoke, :f :read}
{:time 97813729388,
:process 40,
:type :invoke,
:f :write,
:value 1}
{:time 86833998242,
:process 39,
:type :invoke,
:f :cas,
:value [1 1]}
{:time 103794131043,
:process 48,
:type :invoke,
:f :write,
:value 2}
{:time 103795150345,
:process 49,
:type :invoke,
:f :write,
:value 1}
{:value 1,
:time 103796467505,
:process 47,
:type :invoke,
:f :read}
{:value 1,
:time 104800475235,
:process 47,
:type :invoke,
:f :read}
{:time 104802813883,
:process 48,
:type :invoke,
:f :write,
:value 3}
{:value 3,
:time 104807922252,
:process 46,
:type :invoke,
:f :read}
{:time 104806558034,
:process 49,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 104818095102,
:process 45,
:type :invoke,
:f :read}
{:value 4,
:time 105804303644,
:process 47,
:type :invoke,
:f :read}
{:value 4,
:time 105810930263,
:process 48,
:type :invoke,
:f :read}
{:time 105814057285,
:process 49,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 105821870449,
:process 45,
:type :invoke,
:f :read}
{:value 4,
:time 106814800982,
:process 48,
:type :invoke,
:f :read}
{:time 106821009164,
:process 49,
:type :invoke,
:f :cas,
:value [4 2]}
{:time 106825647905,
:process 45,
:type :invoke,
:f :write,
:value 0}
{:time 107812349044,
:process 47,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 107819963090,
:process 46,
:type :invoke,
:f :read}
{:time 107840232510,
:process 45,
:type :invoke,
:f :write,
:value 4}
{:time 108819325140, :process 47, :type :invoke, :f :read}
{:time 108822568211, :process 48, :type :invoke, :f :read}
{:time 108847719837, :process 45, :type :invoke, :f :read}
{:time 114823175920,
:process 53,
:type :invoke,
:f :write,
:value 2}
{:time 114820131835,
:process 52,
:type :invoke,
:f :write,
:value 3}
{:value 3,
:time 114848290142,
:process 50,
:type :invoke,
:f :read}
{:time 114824030224,
:process 51,
:type :invoke,
:f :write,
:value 2}
{:value 2,
:time 115846340927,
:process 52,
:type :invoke,
:f :read}
{:time 115843743733,
:process 53,
:type :invoke,
:f :write,
:value 1}
{:value 1,
:time 115852054594,
:process 50,
:type :invoke,
:f :read}
{:time 108833150283,
:process 49,
:type :invoke,
:f :cas,
:value [1 2]}
{:time 115854024898,
:process 51,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 116850373886,
:process 52,
:type :invoke,
:f :read}
{:value 4,
:time 116855904725,
:process 50,
:type :invoke,
:f :read}
{:time 116864948278,
:process 54,
:type :invoke,
:f :cas,
:value [4 4]}
{:time 116861359009,
:process 51,
:type :invoke,
:f :cas,
:value [4 2]}
{:value 2,
:time 117855188656,
:process 53,
:type :invoke,
:f :read}
{:time 117855182135,
:process 52,
:type :invoke,
:f :write,
:value 0}
{:value 0,
:time 117859673958,
:process 50,
:type :invoke,
:f :read}
{:time 108823429961,
:process 46,
:type :invoke,
:f :cas,
:value [0 4]}
{:time 117873622580,
:process 54,
:type :invoke,
:f :write,
:value 2}
{:value 2,
:time 117897682411,
:process 51,
:type :invoke,
:f :read}
{:time 118859472276,
:process 53,
:type :invoke,
:f :write,
:value 4}
{:time 118881358308,
:process 54,
:type :invoke,
:f :write,
:value 1}
{:value 1,
:time 118900882538,
:process 51,
:type :invoke,
:f :read}
{:value 1,
:time 119867771233,
:process 50,
:type :invoke,
:f :read}
{:time 119889180658,
:process 54,
:type :invoke,
:f :write,
:value 2}
{:value 2,
:time 119904283124,
:process 51,
:type :invoke,
:f :read}
{:value 2,
:time 120871875314,
:process 53,
:type :invoke,
:f :read}
{:value 2,
:time 120871832033,
:process 50,
:type :invoke,
:f :read}
{:value 2,
:time 120896421399,
:process 54,
:type :invoke,
:f :read}
{:value 2,
:time 120908112859,
:process 51,
:type :invoke,
:f :read}
{:value 2,
:time 125364833607,
:process 52,
:type :invoke,
:f :read}],
:pending #{},
:index 718}
{:model {:value 2},
:fixed
[{:time 1279218032, :process 2, :type :invoke, :f :write, :value 4}
{:time 1279309235, :process 3, :type :invoke, :f :write, :value 1}
{:time 1279228898, :process 1, :type :invoke, :f :write, :value 4}
{:value 4, :time 2322504206, :process 0, :type :invoke, :f :read}
{:value 4, :time 2325401262, :process 1, :type :invoke, :f :read}
{:time 2322510428, :process 4, :type :invoke, :f :write, :value 0}
{:value 0, :time 3329889295, :process 3, :type :invoke, :f :read}
{:value 0, :time 3329109909, :process 0, :type :invoke, :f :read}
{:value 0, :time 3331931911, :process 1, :type :invoke, :f :read}
{:time 3339209291, :process 2, :type :invoke, :f :write, :value 4}
{:value 4, :time 4334250912, :process 3, :type :invoke, :f :read}
{:value 4, :time 4335941611, :process 1, :type :invoke, :f :read}
{:time 4332986643, :process 0, :type :invoke, :f :write, :value 3}
{:value 3, :time 4347187751, :process 2, :type :invoke, :f :read}
{:time 5338386060,
:process 3,
:type :invoke,
:f :cas,
:value [3 3]}
{:time 5357959162, :process 4, :type :invoke, :f :write, :value 1}
{:time 5351321228, :process 2, :type :invoke, :f :write, :value 4}
{:time 6346538283, :process 0, :type :invoke, :f :write, :value 3}
{:time 6364076805, :process 1, :type :invoke, :f :write, :value 3}
{:time 6369874609, :process 4, :type :invoke, :f :read}
{:value 3, :time 12347352916, :process 5, :type :invoke, :f :read}
{:value 3, :time 12351300644, :process 8, :type :invoke, :f :read}
{:value 3, :time 13532571396, :process 7, :type :invoke, :f :read}
{:value 3, :time 13532998543, :process 9, :type :invoke, :f :read}
{:time 13533852171,
:process 5,
:type :invoke,
:f :write,
:value 4}
{:time 13533738259,
:process 8,
:type :invoke,
:f :write,
:value 1}
{:value 1, :time 14537188387, :process 9, :type :invoke, :f :read}
{:time 14544304375,
:process 8,
:type :invoke,
:f :write,
:value 4}
{:time 14553073889,
:process 6,
:type :invoke,
:f :write,
:value 1}
{:time 15544554026,
:process 5,
:type :invoke,
:f :cas,
:value [1 2]}
{:time 15551817423,
:process 8,
:type :invoke,
:f :cas,
:value [2 2]}
{:value 2, :time 15561386953, :process 6, :type :invoke, :f :read}
{:time 6350705282,
:process 3,
:type :invoke,
:f :cas,
:value [2 0]}
{:time 6362672619,
:process 2,
:type :invoke,
:f :cas,
:value [0 3]}
{:time 16553216076, :process 5, :type :invoke, :f :read}
{:time 16544063603,
:process 7,
:type :invoke,
:f :write,
:value 0}
{:time 22546080958,
:process 14,
:type :invoke,
:f :write,
:value 3}
{:time 22565780268,
:process 11,
:type :invoke,
:f :write,
:value 0}
{:time 22561573135,
:process 13,
:type :invoke,
:f :write,
:value 0}
{:value 0,
:time 23848914748,
:process 14,
:type :invoke,
:f :read}
{:time 23845247696,
:process 12,
:type :invoke,
:f :write,
:value 3}
{:value 3,
:time 23851955516,
:process 11,
:type :invoke,
:f :read}
{:value 3,
:time 23853090846,
:process 13,
:type :invoke,
:f :read}
{:value 3,
:time 24849326111,
:process 10,
:type :invoke,
:f :read}
{:time 24852739999,
:process 14,
:type :invoke,
:f :write,
:value 0}
{:time 24855735704,
:process 11,
:type :invoke,
:f :write,
:value 3}
{:value 3,
:time 24853460026,
:process 12,
:type :invoke,
:f :read}
{:value 3,
:time 25853271162,
:process 10,
:type :invoke,
:f :read}
{:time 25856704062,
:process 12,
:type :invoke,
:f :write,
:value 3}
{:time 25861799690,
:process 14,
:type :invoke,
:f :write,
:value 0}
{:time 25863744110,
:process 11,
:type :invoke,
:f :write,
:value 3}
{:time 26865888037,
:process 13,
:type :invoke,
:f :write,
:value 3}
{:value 3,
:time 26873195727,
:process 11,
:type :invoke,
:f :read}
{:value 3,
:time 26870968153,
:process 14,
:type :invoke,
:f :read}
{:time 27860973878,
:process 10,
:type :invoke,
:f :cas,
:value [3 3]}
{:time 27868704961,
:process 12,
:type :invoke,
:f :write,
:value 2}
{:time 27876896020, :process 11, :type :invoke, :f :read}
{:time 27876950594, :process 13, :type :invoke, :f :read}
{:time 33861778425,
:process 15,
:type :invoke,
:f :write,
:value 0}
{:time 33869337277,
:process 17,
:type :invoke,
:f :write,
:value 3}
{:value 3,
:time 33874844301,
:process 19,
:type :invoke,
:f :read}
{:value 3,
:time 33877456483,
:process 16,
:type :invoke,
:f :read}
{:value 3,
:time 33877534234,
:process 18,
:type :invoke,
:f :read}
{:value 3,
:time 34878096471,
:process 17,
:type :invoke,
:f :read}
{:time 34881141300,
:process 18,
:type :invoke,
:f :write,
:value 2}
{:time 35872116585,
:process 15,
:type :invoke,
:f :write,
:value 1}
{:value 1,
:time 35881849842,
:process 17,
:type :invoke,
:f :read}
{:time 35883098633,
:process 19,
:type :invoke,
:f :write,
:value 0}
{:value 0,
:time 35889075398,
:process 18,
:type :invoke,
:f :read}
{:value 0,
:time 36885661822,
:process 17,
:type :invoke,
:f :read}
{:time 36879704440,
:process 15,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 36892718397,
:process 18,
:type :invoke,
:f :read}
{:time 27874223609,
:process 14,
:type :invoke,
:f :cas,
:value [4 2]}
{:time 36891819538,
:process 19,
:type :invoke,
:f :write,
:value 3}
{:time 37889404669,
:process 17,
:type :invoke,
:f :write,
:value 2}
{:time 37892159590,
:process 15,
:type :invoke,
:f :write,
:value 1}
{:value 1,
:time 37901540676,
:process 19,
:type :invoke,
:f :read}
{:time 37896248487,
:process 18,
:type :invoke,
:f :write,
:value 0}
{:value 0,
:time 37910598515,
:process 16,
:type :invoke,
:f :read}
{:time 38899713419,
:process 15,
:type :invoke,
:f :write,
:value 4}
{:time 16560966306,
:process 8,
:type :invoke,
:f :cas,
:value [4 3]}
{:time 38896307608,
:process 17,
:type :invoke,
:f :cas,
:value [3 4]}
{:time 16545427069,
:process 9,
:type :invoke,
:f :cas,
:value [4 2]}
{:time 38906923382, :process 18, :type :invoke, :f :read}
{:time 44897477963,
:process 22,
:type :invoke,
:f :write,
:value 0}
{:time 44900346132,
:process 20,
:type :invoke,
:f :write,
:value 2}
{:time 44906146182,
:process 24,
:type :invoke,
:f :write,
:value 0}
{:time 38905545371,
:process 19,
:type :invoke,
:f :cas,
:value [0 3]}
{:time 45905281610,
:process 22,
:type :invoke,
:f :write,
:value 1}
{:time 38914330417,
:process 16,
:type :invoke,
:f :cas,
:value [1 3]}
{:time 45908414180,
:process 20,
:type :invoke,
:f :write,
:value 4}
{:time 16565170156,
:process 6,
:type :invoke,
:f :cas,
:value [4 3]}
{:time 45911519185,
:process 23,
:type :invoke,
:f :write,
:value 4}
{:time 45913046027,
:process 24,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 45918251799,
:process 21,
:type :invoke,
:f :read}
{:value 4,
:time 46912814582,
:process 22,
:type :invoke,
:f :read}
{:value 4,
:time 46922225953,
:process 21,
:type :invoke,
:f :read}
{:value 4,
:time 46923696952,
:process 23,
:type :invoke,
:f :read}
{:time 46926441713,
:process 20,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 47916885465,
:process 22,
:type :invoke,
:f :read}
{:value 4,
:time 47933218440,
:process 20,
:type :invoke,
:f :read}
{:value 4,
:time 48931185029,
:process 23,
:type :invoke,
:f :read}
{:value 4,
:time 48928372725,
:process 24,
:type :invoke,
:f :read}
{:value 4,
:time 48936942059,
:process 20,
:type :invoke,
:f :read}
{:time 49932180125,
:process 24,
:type :invoke,
:f :cas,
:value [4 1]}
{:time 49924396528,
:process 22,
:type :invoke,
:f :cas,
:value [1 3]}
{:time 49934972051,
:process 23,
:type :invoke,
:f :write,
:value 0}
{:time 55941361715,
:process 25,
:type :invoke,
:f :write,
:value 2}
{:time 49940788871,
:process 20,
:type :invoke,
:f :write,
:value 1}
{:value 1,
:time 55935506296,
:process 28,
:type :invoke,
:f :read}
{:value 1,
:time 55932835764,
:process 29,
:type :invoke,
:f :read}
{:value 1,
:time 57184972912,
:process 26,
:type :invoke,
:f :read}
{:value 1,
:time 57185054095,
:process 27,
:type :invoke,
:f :read}
{:time 49933396583,
:process 21,
:type :invoke,
:f :cas,
:value [1 0]}
{:time 57183957292,
:process 29,
:type :invoke,
:f :write,
:value 0}
{:value 0,
:time 58189044110,
:process 27,
:type :invoke,
:f :read}
{:time 58188344498,
:process 26,
:type :invoke,
:f :write,
:value 4}
{:time 58190334224,
:process 25,
:type :invoke,
:f :write,
:value 3}
{:time 58192299788,
:process 29,
:type :invoke,
:f :write,
:value 2}
{:value 2,
:time 59198598404,
:process 25,
:type :invoke,
:f :read}
{:time 59193067792,
:process 28,
:type :invoke,
:f :write,
:value 0}
{:value 0,
:time 59201263876,
:process 26,
:type :invoke,
:f :read}
{:time 59201082498,
:process 29,
:type :invoke,
:f :write,
:value 1}
{:time 60217030154, :process 27, :type :invoke, :f :read}
{:value 1,
:time 66217578191,
:process 32,
:type :invoke,
:f :read}
{:time 60204575292,
:process 26,
:type :invoke,
:f :write,
:value 4}
{:time 60201869694,
:process 28,
:type :invoke,
:f :write,
:value 4}
{:time 66202661232,
:process 33,
:type :invoke,
:f :write,
:value 0}
{:time 60211557839,
:process 29,
:type :invoke,
:f :cas,
:value [0 3]}
{:time 60202287834,
:process 25,
:type :invoke,
:f :write,
:value 3}
{:time 66205189147,
:process 31,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 67391569462,
:process 30,
:type :invoke,
:f :read}
{:value 4,
:time 67392956469,
:process 32,
:type :invoke,
:f :read}
{:value 4,
:time 67394819750,
:process 31,
:type :invoke,
:f :read}
{:time 67398206628,
:process 33,
:type :invoke,
:f :write,
:value 4}
{:time 68396369832,
:process 34,
:type :invoke,
:f :write,
:value 2}
{:time 68396936327,
:process 32,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 68397968299,
:process 31,
:type :invoke,
:f :read}
{:time 69399072235,
:process 30,
:type :invoke,
:f :write,
:value 3}
{:time 69402258487,
:process 31,
:type :invoke,
:f :write,
:value 1}
{:time 69404364725,
:process 34,
:type :invoke,
:f :write,
:value 4}
{:time 69407555570,
:process 32,
:type :invoke,
:f :write,
:value 3}
{:time 70410419916,
:process 31,
:type :invoke,
:f :write,
:value 0}
{:time 70413916805,
:process 34,
:type :invoke,
:f :write,
:value 3}
{:time 70426486504,
:process 33,
:type :invoke,
:f :write,
:value 0}
{:time 71411257082,
:process 30,
:type :invoke,
:f :write,
:value 2}
{:time 71421239372,
:process 32,
:type :invoke,
:f :write,
:value 1}
{:time 71418609333,
:process 31,
:type :invoke,
:f :cas,
:value [1 4]}
{:time 71422028456,
:process 34,
:type :invoke,
:f :write,
:value 3}
{:time 77422609185,
:process 39,
:type :invoke,
:f :write,
:value 0}
{:time 77434724527,
:process 38,
:type :invoke,
:f :write,
:value 4}
{:time 71434137035,
:process 33,
:type :invoke,
:f :cas,
:value [4 2]}
{:value 2,
:time 79760154238,
:process 35,
:type :invoke,
:f :read}
{:time 79760587171,
:process 37,
:type :invoke,
:f :write,
:value 0}
{:value 0,
:time 79790262227,
:process 38,
:type :invoke,
:f :read}
{:time 79787696718,
:process 39,
:type :invoke,
:f :write,
:value 3}
{:time 80769743513,
:process 37,
:type :invoke,
:f :write,
:value 0}
{:time 80779767475,
:process 36,
:type :invoke,
:f :write,
:value 2}
{:value 2,
:time 80793453384,
:process 38,
:type :invoke,
:f :read}
{:time 80799348233,
:process 39,
:type :invoke,
:f :write,
:value 2}
{:time 81769256942,
:process 35,
:type :invoke,
:f :write,
:value 3}
{:value 3,
:time 81787847064,
:process 36,
:type :invoke,
:f :read}
{:time 81777539819,
:process 37,
:type :invoke,
:f :write,
:value 0}
{:time 81796635261,
:process 38,
:type :invoke,
:f :write,
:value 0}
{:time 81807244902,
:process 39,
:type :invoke,
:f :write,
:value 3}
{:value 3,
:time 82777286179,
:process 35,
:type :invoke,
:f :read}
{:time 82791599410,
:process 37,
:type :invoke,
:f :write,
:value 0}
{:value 0,
:time 82804087457,
:process 38,
:type :invoke,
:f :read}
{:value 0,
:time 82814674572,
:process 39,
:type :invoke,
:f :read}
{:time 83780755393,
:process 35,
:type :invoke,
:f :write,
:value 1}
{:value 1,
:time 83818507322,
:process 39,
:type :invoke,
:f :read}
{:value 1,
:time 84788850193,
:process 35,
:type :invoke,
:f :read}
{:time 84803563943,
:process 37,
:type :invoke,
:f :write,
:value 4}
{:time 84800426185,
:process 36,
:type :invoke,
:f :write,
:value 2}
{:time 85792987458,
:process 35,
:type :invoke,
:f :write,
:value 3}
{:value 3,
:time 85808751088,
:process 36,
:type :invoke,
:f :read}
{:time 85814851532,
:process 38,
:type :invoke,
:f :cas,
:value [3 3]}
{:time 85826204028,
:process 39,
:type :invoke,
:f :write,
:value 4}
{:time 86800453357, :process 35, :type :invoke, :f :read}
{:time 86811984617, :process 36, :type :invoke, :f :read}
{:time 86815428501,
:process 37,
:type :invoke,
:f :write,
:value 0}
{:time 86824021332,
:process 38,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 92812591180,
:process 41,
:type :invoke,
:f :read}
{:value 4,
:time 92816010760,
:process 42,
:type :invoke,
:f :read}
{:value 4,
:time 92834651338,
:process 44,
:type :invoke,
:f :read}
{:value 4,
:time 94782153292,
:process 43,
:type :invoke,
:f :read}
{:value 4,
:time 94782817059,
:process 44,
:type :invoke,
:f :read}
{:value 4,
:time 94783973328,
:process 42,
:type :invoke,
:f :read}
{:time 94782796157,
:process 40,
:type :invoke,
:f :write,
:value 3}
{:value 3,
:time 95786125626,
:process 43,
:type :invoke,
:f :read}
{:value 3,
:time 95787129974,
:process 44,
:type :invoke,
:f :read}
{:value 3,
:time 95788234750,
:process 42,
:type :invoke,
:f :read}
{:time 95788329742,
:process 41,
:type :invoke,
:f :write,
:value 3}
{:time 95792202982,
:process 40,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 96790100412,
:process 43,
:type :invoke,
:f :read}
{:value 4,
:time 96790619802,
:process 44,
:type :invoke,
:f :read}
{:time 96796065115,
:process 41,
:type :invoke,
:f :write,
:value 2}
{:time 96804489671,
:process 40,
:type :invoke,
:f :cas,
:value [2 2]}
{:time 97793324517, :process 43, :type :invoke, :f :read}
{:time 97794592608, :process 44, :type :invoke, :f :read}
{:time 97795848343, :process 42, :type :invoke, :f :read}
{:time 97803932935, :process 41, :type :invoke, :f :read}
{:time 97813729388,
:process 40,
:type :invoke,
:f :write,
:value 1}
{:time 86833998242,
:process 39,
:type :invoke,
:f :cas,
:value [1 1]}
{:time 103794131043,
:process 48,
:type :invoke,
:f :write,
:value 2}
{:time 103795150345,
:process 49,
:type :invoke,
:f :write,
:value 1}
{:value 1,
:time 103796467505,
:process 47,
:type :invoke,
:f :read}
{:value 1,
:time 104800475235,
:process 47,
:type :invoke,
:f :read}
{:time 104802813883,
:process 48,
:type :invoke,
:f :write,
:value 3}
{:value 3,
:time 104807922252,
:process 46,
:type :invoke,
:f :read}
{:time 104806558034,
:process 49,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 104818095102,
:process 45,
:type :invoke,
:f :read}
{:value 4,
:time 105804303644,
:process 47,
:type :invoke,
:f :read}
{:value 4,
:time 105810930263,
:process 48,
:type :invoke,
:f :read}
{:time 105814057285,
:process 49,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 105821870449,
:process 45,
:type :invoke,
:f :read}
{:value 4,
:time 106814800982,
:process 48,
:type :invoke,
:f :read}
{:time 106821009164,
:process 49,
:type :invoke,
:f :cas,
:value [4 2]}
{:time 106825647905,
:process 45,
:type :invoke,
:f :write,
:value 0}
{:time 107812349044,
:process 47,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 107819963090,
:process 46,
:type :invoke,
:f :read}
{:time 107840232510,
:process 45,
:type :invoke,
:f :write,
:value 4}
{:time 108819325140, :process 47, :type :invoke, :f :read}
{:time 108822568211, :process 48, :type :invoke, :f :read}
{:time 108847719837, :process 45, :type :invoke, :f :read}
{:time 114823175920,
:process 53,
:type :invoke,
:f :write,
:value 2}
{:time 114820131835,
:process 52,
:type :invoke,
:f :write,
:value 3}
{:value 3,
:time 114848290142,
:process 50,
:type :invoke,
:f :read}
{:time 114824030224,
:process 51,
:type :invoke,
:f :write,
:value 2}
{:value 2,
:time 115846340927,
:process 52,
:type :invoke,
:f :read}
{:time 115843743733,
:process 53,
:type :invoke,
:f :write,
:value 1}
{:value 1,
:time 115852054594,
:process 50,
:type :invoke,
:f :read}
{:time 108833150283,
:process 49,
:type :invoke,
:f :cas,
:value [1 2]}
{:time 115854024898,
:process 51,
:type :invoke,
:f :write,
:value 4}
{:value 4,
:time 116850373886,
:process 52,
:type :invoke,
:f :read}
{:value 4,
:time 116855904725,
:process 50,
:type :invoke,
:f :read}
{:time 116864948278,
:process 54,
:type :invoke,
:f :cas,
:value [4 4]}
{:time 116861359009,
:process 51,
:type :invoke,
:f :cas,
:value [4 2]}
{:value 2,
:time 117855188656,
:process 53,
:type :invoke,
:f :read}
{:time 117855182135,
:process 52,
:type :invoke,
:f :write,
:value 0}
{:value 0,
:time 117859673958,
:process 50,
:type :invoke,
:f :read}
{:time 108823429961,
:process 46,
:type :invoke,
:f :cas,
:value [0 4]}
{:time 117873622580,
:process 54,
:type :invoke,
:f :write,
:value 2}
{:value 2,
:time 117897682411,
:process 51,
:type :invoke,
:f :read}
{:time 118859472276,
:process 53,
:type :invoke,
:f :write,
:value 4}
{:time 118881358308,
:process 54,
:type :invoke,
:f :write,
:value 1}
{:value 1,
:time 118900882538,
:process 51,
:type :invoke,
:f :read}
{:value 1,
:time 119867771233,
:process 50,
:type :invoke,
:f :read}
{:time 119889180658,
:process 54,
:type :invoke,
:f :write,
:value 2}
{:value 2,
:time 119904283124,
:process 51,
:type :invoke,
:f :read}
{:value 2,
:time 120871832033,
:process 50,
:type :invoke,
:f :read}
{:value 2,
:time 120871875314,
:process 53,
:type :invoke,
:f :read}
{:value 2,
:time 120896421399,
:process 54,
:type :invoke,
:f :read}
{:value 2,
:time 120908112859,
:process 51,
:type :invoke,
:f :read}
{:value 2,
:time 125364833607,
:process 52,
:type :invoke,
:f :read}],
:pending #{},
:index 718})}}
Ran 1 tests containing 1 assertions.
0 failures, 0 errors.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment