github.com/outbrain/consul@v1.4.5/website/source/docs/internals/jepsen.html.md (about) 1 --- 2 layout: "docs" 3 page_title: "Jepsen Testing" 4 sidebar_current: "docs-internals-jepsen" 5 description: |- 6 Jepsen is a tool, written by Kyle Kingsbury, designed to test the partition tolerance of distributed systems. It creates network partitions while fuzzing the system with random operations. The results are analyzed to see if the system violates any of the consistency properties it claims to have. 7 --- 8 9 # Jepsen Testing 10 11 [Jepsen](http://aphyr.com/posts/281-call-me-maybe-carly-rae-jepsen-and-the-perils-of-network-partitions) 12 is a tool, written by Kyle Kingsbury, designed to test the partition 13 tolerance of distributed systems. It creates network partitions while fuzzing 14 the system with random operations. The results are analyzed to see if the system 15 violates any of the consistency properties it claims to have. 16 17 As part of our Consul testing, we ran a Jepsen test to determine if 18 any consistency issues could be uncovered. In our testing, Consul 19 gracefully recovered from partitions without introducing any consistency 20 issues. 21 22 ## Running the tests 23 24 At the moment, testing with Jepsen is rather complex as it requires 25 setting up multiple virtual machines, SSH keys, DNS configuration, 26 and a working Clojure environment. We hope to contribute our Consul 27 testing code upstream and to provide a Vagrant environment for Jepsen 28 testing soon. 29 30 ## Output 31 32 Below is the output captured from Jepsen. We ran Jepsen multiple times, 33 and it passed each time. This output is only representative of a single 34 run. 35 36 <!--googleoff: all--> 37 38 ```text 39 $ lein test :only jepsen.system.consul-test 40 41 lein test jepsen.system.consul-test 42 INFO jepsen.os.debian - :n5 setting up debian 43 INFO jepsen.os.debian - :n3 setting up debian 44 INFO jepsen.os.debian - :n4 setting up debian 45 INFO jepsen.os.debian - :n1 setting up debian 46 INFO jepsen.os.debian - :n2 setting up debian 47 INFO jepsen.os.debian - :n4 debian set up 48 INFO jepsen.os.debian - :n5 debian set up 49 INFO jepsen.os.debian - :n3 debian set up 50 INFO jepsen.os.debian - :n1 debian set up 51 INFO jepsen.os.debian - :n2 debian set up 52 INFO jepsen.system.consul - :n1 consul nuked 53 INFO jepsen.system.consul - :n4 consul nuked 54 INFO jepsen.system.consul - :n5 consul nuked 55 INFO jepsen.system.consul - :n3 consul nuked 56 INFO jepsen.system.consul - :n2 consul nuked 57 INFO jepsen.system.consul - Running nodes: {:n1 false, :n2 false, :n3 false, :n4 false, :n5 false} 58 INFO jepsen.system.consul - :n2 consul nuked 59 INFO jepsen.system.consul - :n3 consul nuked 60 INFO jepsen.system.consul - :n4 consul nuked 61 INFO jepsen.system.consul - :n5 consul nuked 62 INFO jepsen.system.consul - :n1 consul nuked 63 INFO jepsen.system.consul - :n1 starting consul 64 INFO jepsen.system.consul - :n2 starting consul 65 INFO jepsen.system.consul - :n4 starting consul 66 INFO jepsen.system.consul - :n5 starting consul 67 INFO jepsen.system.consul - :n3 starting consul 68 INFO jepsen.system.consul - :n3 consul ready 69 INFO jepsen.system.consul - :n2 consul ready 70 INFO jepsen.system.consul - Running nodes: {:n1 true, :n2 true, :n3 true, :n4 true, :n5 true} 71 INFO jepsen.system.consul - :n5 consul ready 72 INFO jepsen.system.consul - :n1 consul ready 73 INFO jepsen.system.consul - :n4 consul ready 74 INFO jepsen.core - Worker 0 starting 75 INFO jepsen.core - Worker 2 starting 76 INFO jepsen.core - Worker 1 starting 77 INFO jepsen.core - Worker 3 starting 78 INFO jepsen.core - Worker 4 starting 79 INFO jepsen.util - 2 :invoke :read nil 80 INFO jepsen.util - 3 :invoke :cas [4 4] 81 INFO jepsen.util - 0 :invoke :write 4 82 INFO jepsen.util - 1 :invoke :write 1 83 INFO jepsen.util - 4 :invoke :cas [4 0] 84 INFO jepsen.util - 2 :ok :read nil 85 INFO jepsen.util - 4 :fail :cas [4 0] 86 INFO jepsen.util - 1 :ok :write 1 87 INFO jepsen.util - 0 :ok :write 4 88 INFO jepsen.util - 3 :fail :cas [4 4] 89 INFO jepsen.util - 2 :invoke :cas [0 3] 90 INFO jepsen.util - 2 :fail :cas [0 3] 91 INFO jepsen.util - 4 :invoke :cas [4 4] 92 INFO jepsen.util - 1 :invoke :write 3 93 INFO jepsen.util - 0 :invoke :cas [3 1] 94 INFO jepsen.util - 3 :invoke :write 2 95 INFO jepsen.util - 4 :fail :cas [4 4] 96 INFO jepsen.util - 0 :fail :cas [3 1] 97 INFO jepsen.util - 1 :ok :write 3 98 INFO jepsen.util - 3 :ok :write 2 99 INFO jepsen.util - 2 :invoke :read nil 100 INFO jepsen.util - 2 :ok :read 2 101 INFO jepsen.util - 4 :invoke :read nil 102 INFO jepsen.util - 0 :invoke :write 4 103 INFO jepsen.util - 1 :invoke :write 0 104 INFO jepsen.util - 4 :ok :read 2 105 INFO jepsen.util - 3 :invoke :read nil 106 INFO jepsen.util - 0 :ok :write 4 107 INFO jepsen.util - 3 :ok :read 2 108 INFO jepsen.util - 1 :ok :write 0 109 INFO jepsen.util - 2 :invoke :write 3 110 INFO jepsen.util - 2 :ok :write 3 111 INFO jepsen.util - 4 :invoke :write 4 112 INFO jepsen.util - 4 :ok :write 4 113 INFO jepsen.util - 0 :invoke :write 1 114 INFO jepsen.util - 3 :invoke :read nil 115 INFO jepsen.util - 1 :invoke :cas [1 0] 116 INFO jepsen.util - 3 :ok :read 4 117 INFO jepsen.util - 0 :ok :write 1 118 INFO jepsen.util - 1 :fail :cas [1 0] 119 INFO jepsen.util - 2 :invoke :cas [0 2] 120 INFO jepsen.util - 2 :fail :cas [0 2] 121 INFO jepsen.util - 4 :invoke :cas [1 2] 122 INFO jepsen.util - 4 :fail :cas [1 2] 123 INFO jepsen.util - 3 :invoke :write 1 124 INFO jepsen.util - 0 :invoke :write 1 125 INFO jepsen.util - 1 :invoke :read nil 126 INFO jepsen.util - 0 :ok :write 1 127 INFO jepsen.util - 1 :ok :read 1 128 INFO jepsen.util - 3 :ok :write 1 129 INFO jepsen.util - 2 :invoke :write 4 130 INFO jepsen.util - 2 :ok :write 4 131 INFO jepsen.util - 4 :invoke :cas [2 4] 132 INFO jepsen.util - 4 :fail :cas [2 4] 133 INFO jepsen.util - 0 :invoke :read nil 134 INFO jepsen.util - 1 :invoke :write 3 135 INFO jepsen.util - 3 :invoke :read nil 136 INFO jepsen.util - 0 :ok :read 4 137 INFO jepsen.util - 3 :ok :read 4 138 INFO jepsen.util - 1 :ok :write 3 139 INFO jepsen.util - 2 :invoke :cas [4 2] 140 INFO jepsen.util - 2 :fail :cas [4 2] 141 INFO jepsen.util - 4 :invoke :read nil 142 INFO jepsen.util - 4 :ok :read 3 143 INFO jepsen.util - 0 :invoke :cas [2 4] 144 INFO jepsen.util - 3 :invoke :write 2 145 INFO jepsen.util - 1 :invoke :write 0 146 INFO jepsen.util - 0 :fail :cas [2 4] 147 INFO jepsen.util - 3 :ok :write 2 148 INFO jepsen.util - 1 :ok :write 0 149 INFO jepsen.util - 2 :invoke :cas [0 3] 150 INFO jepsen.util - 2 :fail :cas [0 3] 151 INFO jepsen.util - 4 :invoke :write 0 152 INFO jepsen.util - 4 :ok :write 0 153 INFO jepsen.util - 0 :invoke :write 1 154 INFO jepsen.util - 3 :invoke :cas [0 2] 155 INFO jepsen.util - 1 :invoke :cas [0 0] 156 INFO jepsen.util - 0 :ok :write 1 157 INFO jepsen.util - 3 :fail :cas [0 2] 158 INFO jepsen.util - 1 :fail :cas [0 0] 159 INFO jepsen.util - 2 :invoke :cas [1 3] 160 INFO jepsen.util - 2 :fail :cas [1 3] 161 INFO jepsen.util - 4 :invoke :cas [1 0] 162 INFO jepsen.util - 4 :fail :cas [1 0] 163 INFO jepsen.util - 0 :invoke :read nil 164 INFO jepsen.util - 3 :invoke :cas [2 2] 165 INFO jepsen.util - 1 :invoke :write 0 166 INFO jepsen.util - 3 :fail :cas [2 2] 167 INFO jepsen.util - 0 :ok :read 1 168 INFO jepsen.util - 1 :ok :write 0 169 INFO jepsen.util - 2 :invoke :write 2 170 INFO jepsen.util - 2 :ok :write 2 171 INFO jepsen.util - 4 :invoke :read nil 172 INFO jepsen.util - 4 :ok :read 2 173 INFO jepsen.util - 3 :invoke :read nil 174 INFO jepsen.util - 3 :ok :read 2 175 INFO jepsen.util - 0 :invoke :read nil 176 INFO jepsen.util - 1 :invoke :write 0 177 INFO jepsen.util - 0 :ok :read 2 178 INFO jepsen.util - 1 :ok :write 0 179 INFO jepsen.util - 2 :invoke :read nil 180 INFO jepsen.util - 2 :ok :read 0 181 INFO jepsen.util - 4 :invoke :cas [1 2] 182 INFO jepsen.util - 4 :fail :cas [1 2] 183 INFO jepsen.util - 3 :invoke :write 0 184 INFO jepsen.util - 0 :invoke :cas [1 0] 185 INFO jepsen.util - 1 :invoke :cas [0 1] 186 INFO jepsen.util - 3 :ok :write 0 187 INFO jepsen.util - 1 :fail :cas [0 1] 188 INFO jepsen.util - 0 :fail :cas [1 0] 189 INFO jepsen.util - 2 :invoke :read nil 190 INFO jepsen.util - 2 :ok :read 0 191 INFO jepsen.util - 4 :invoke :read nil 192 INFO jepsen.util - 4 :ok :read 0 193 INFO jepsen.util - 3 :invoke :cas [3 3] 194 INFO jepsen.util - 0 :invoke :write 1 195 INFO jepsen.util - 1 :invoke :cas [0 0] 196 INFO jepsen.util - 3 :fail :cas [3 3] 197 INFO jepsen.util - 1 :fail :cas [0 0] 198 INFO jepsen.util - 0 :ok :write 1 199 INFO jepsen.util - 2 :invoke :cas [0 0] 200 INFO jepsen.util - 2 :fail :cas [0 0] 201 INFO jepsen.util - 4 :invoke :read nil 202 INFO jepsen.util - 4 :ok :read 1 203 INFO jepsen.util - 3 :invoke :cas [3 0] 204 INFO jepsen.util - 1 :invoke :write 3 205 INFO jepsen.util - 0 :invoke :cas [0 0] 206 INFO jepsen.util - 3 :fail :cas [3 0] 207 INFO jepsen.util - 0 :fail :cas [0 0] 208 INFO jepsen.util - 1 :ok :write 3 209 INFO jepsen.util - 2 :invoke :write 0 210 INFO jepsen.util - 2 :ok :write 0 211 INFO jepsen.util - 4 :invoke :cas [0 0] 212 INFO jepsen.util - 4 :fail :cas [0 0] 213 INFO jepsen.util - 3 :invoke :cas [3 4] 214 INFO jepsen.util - 0 :invoke :cas [4 3] 215 INFO jepsen.util - 3 :fail :cas [3 4] 216 INFO jepsen.util - 0 :fail :cas [4 3] 217 INFO jepsen.util - 1 :invoke :read nil 218 INFO jepsen.util - 1 :ok :read 0 219 INFO jepsen.util - 2 :invoke :cas [1 1] 220 INFO jepsen.util - 2 :fail :cas [1 1] 221 INFO jepsen.util - 4 :invoke :write 2 222 INFO jepsen.util - 4 :ok :write 2 223 INFO jepsen.util - 3 :invoke :cas [1 0] 224 INFO jepsen.util - 0 :invoke :read nil 225 INFO jepsen.util - 0 :ok :read 2 226 INFO jepsen.util - 3 :fail :cas [1 0] 227 INFO jepsen.util - 1 :invoke :cas [0 3] 228 INFO jepsen.util - 1 :fail :cas [0 3] 229 INFO jepsen.util - 2 :invoke :read nil 230 INFO jepsen.util - 2 :ok :read 2 231 INFO jepsen.util - 4 :invoke :write 3 232 INFO jepsen.util - 4 :ok :write 3 233 INFO jepsen.util - 0 :invoke :write 0 234 INFO jepsen.util - 3 :invoke :read nil 235 INFO jepsen.util - 1 :invoke :cas [1 1] 236 INFO jepsen.util - 3 :ok :read 3 237 INFO jepsen.util - 0 :ok :write 0 238 INFO jepsen.util - 1 :fail :cas [1 1] 239 INFO jepsen.util - 2 :invoke :write 3 240 INFO jepsen.util - 2 :ok :write 3 241 INFO jepsen.util - 4 :invoke :read nil 242 INFO jepsen.util - 4 :ok :read 3 243 INFO jepsen.util - 3 :invoke :write 4 244 INFO jepsen.util - 0 :invoke :read nil 245 INFO jepsen.util - 1 :invoke :write 1 246 INFO jepsen.util - 0 :ok :read 3 247 INFO jepsen.util - 3 :ok :write 4 248 INFO jepsen.util - 1 :ok :write 1 249 INFO jepsen.util - 2 :invoke :read nil 250 INFO jepsen.util - 2 :ok :read 1 251 INFO jepsen.util - 4 :invoke :write 4 252 INFO jepsen.util - 4 :ok :write 4 253 INFO jepsen.util - 0 :invoke :write 1 254 INFO jepsen.util - 3 :invoke :read nil 255 INFO jepsen.util - 1 :invoke :write 1 256 INFO jepsen.util - 0 :ok :write 1 257 INFO jepsen.util - 3 :ok :read 1 258 INFO jepsen.util - 1 :ok :write 1 259 INFO jepsen.util - 2 :invoke :write 0 260 INFO jepsen.util - 2 :ok :write 0 261 INFO jepsen.util - 4 :invoke :cas [0 3] 262 INFO jepsen.util - 4 :fail :cas [0 3] 263 INFO jepsen.util - 0 :invoke :cas [2 0] 264 INFO jepsen.util - :nemesis :info :start nil 265 INFO jepsen.util - 3 :invoke :cas [0 1] 266 INFO jepsen.util - 1 :invoke :write 1 267 INFO jepsen.util - 0 :fail :cas [2 0] 268 INFO jepsen.util - 3 :fail :cas [0 1] 269 INFO jepsen.util - 1 :ok :write 1 270 INFO jepsen.util - 2 :invoke :cas [3 0] 271 INFO jepsen.util - 2 :fail :cas [3 0] 272 INFO jepsen.util - 4 :invoke :write 3 273 INFO jepsen.util - 4 :ok :write 3 274 INFO jepsen.util - 0 :invoke :write 3 275 INFO jepsen.util - 0 :ok :write 3 276 INFO jepsen.util - 3 :invoke :write 0 277 INFO jepsen.util - 1 :invoke :cas [1 0] 278 INFO jepsen.util - 2 :invoke :read nil 279 INFO jepsen.util - 2 :ok :read 3 280 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}}" 281 INFO jepsen.util - 4 :invoke :write 2 282 INFO jepsen.util - 4 :ok :write 2 283 INFO jepsen.util - 0 :invoke :write 3 284 INFO jepsen.util - 0 :fail :write 3 285 INFO jepsen.util - 2 :invoke :write 1 286 INFO jepsen.util - 2 :fail :write 1 287 INFO jepsen.util - 4 :invoke :write 1 288 INFO jepsen.util - 4 :ok :write 1 289 INFO jepsen.util - 0 :invoke :write 3 290 INFO jepsen.util - 0 :fail :write 3 291 INFO jepsen.util - 2 :invoke :write 2 292 INFO jepsen.util - 2 :fail :write 2 293 INFO jepsen.util - 4 :invoke :read nil 294 INFO jepsen.util - 4 :ok :read 1 295 INFO jepsen.util - 0 :invoke :read nil 296 INFO jepsen.util - 0 :fail :read nil 297 INFO jepsen.util - 2 :invoke :read nil 298 INFO jepsen.util - 2 :fail :read nil 299 INFO jepsen.util - 4 :invoke :read nil 300 INFO jepsen.util - 4 :ok :read 1 301 INFO jepsen.util - 0 :invoke :write 2 302 INFO jepsen.util - 0 :fail :write 2 303 INFO jepsen.util - 2 :invoke :cas [4 4] 304 INFO jepsen.util - 2 :fail :cas [4 4] 305 INFO jepsen.util - 4 :invoke :cas [3 0] 306 INFO jepsen.util - 4 :fail :cas [3 0] 307 INFO jepsen.util - 0 :invoke :cas [4 3] 308 INFO jepsen.util - 0 :fail :cas [4 3] 309 INFO jepsen.util - 2 :invoke :read nil 310 INFO jepsen.util - 2 :fail :read nil 311 INFO jepsen.util - 4 :invoke :cas [1 3] 312 INFO jepsen.util - 4 :fail :cas [1 3] 313 INFO jepsen.util - 0 :invoke :cas [3 0] 314 INFO jepsen.util - 0 :fail :cas [3 0] 315 INFO jepsen.util - 2 :invoke :cas [1 1] 316 INFO jepsen.util - 2 :fail :cas [1 1] 317 INFO jepsen.util - 4 :invoke :read nil 318 INFO jepsen.util - 4 :ok :read 1 319 INFO jepsen.util - 0 :invoke :cas [1 4] 320 INFO jepsen.util - 0 :fail :cas [1 4] 321 INFO jepsen.util - 2 :invoke :cas [2 2] 322 INFO jepsen.util - 2 :fail :cas [2 2] 323 INFO jepsen.util - 4 :invoke :cas [2 0] 324 INFO jepsen.util - 4 :fail :cas [2 0] 325 INFO jepsen.util - 0 :invoke :cas [0 4] 326 INFO jepsen.util - 0 :fail :cas [0 4] 327 INFO jepsen.util - 2 :invoke :cas [1 3] 328 INFO jepsen.util - 2 :fail :cas [1 3] 329 INFO jepsen.util - 4 :invoke :write 2 330 INFO jepsen.util - 4 :ok :write 2 331 INFO jepsen.util - 0 :invoke :cas [2 3] 332 INFO jepsen.util - 0 :fail :cas [2 3] 333 INFO jepsen.util - 2 :invoke :read nil 334 INFO jepsen.util - 2 :fail :read nil 335 INFO jepsen.util - 4 :invoke :cas [4 0] 336 INFO jepsen.util - 4 :fail :cas [4 0] 337 INFO jepsen.util - 0 :invoke :write 0 338 INFO jepsen.util - 0 :fail :write 0 339 INFO jepsen.util - 2 :invoke :cas [2 2] 340 INFO jepsen.util - 2 :fail :cas [2 2] 341 INFO jepsen.util - 4 :invoke :read nil 342 INFO jepsen.util - 4 :ok :read 2 343 INFO jepsen.util - 0 :invoke :cas [1 1] 344 INFO jepsen.util - 0 :fail :cas [1 1] 345 INFO jepsen.util - 2 :invoke :cas [4 0] 346 INFO jepsen.util - 2 :fail :cas [4 0] 347 INFO jepsen.util - 4 :invoke :cas [2 4] 348 INFO jepsen.util - 4 :fail :cas [2 4] 349 INFO jepsen.util - 0 :invoke :cas [0 1] 350 INFO jepsen.util - 0 :fail :cas [0 1] 351 INFO jepsen.util - 2 :invoke :cas [1 0] 352 INFO jepsen.util - 2 :fail :cas [1 0] 353 INFO jepsen.util - 4 :invoke :read nil 354 INFO jepsen.util - 4 :ok :read 2 355 INFO jepsen.util - 0 :invoke :cas [4 0] 356 INFO jepsen.util - 0 :fail :cas [4 0] 357 INFO jepsen.util - 2 :invoke :read nil 358 INFO jepsen.util - 2 :fail :read nil 359 INFO jepsen.util - 4 :invoke :read nil 360 INFO jepsen.util - 4 :ok :read 2 361 INFO jepsen.util - 0 :invoke :read nil 362 INFO jepsen.util - 0 :fail :read nil 363 INFO jepsen.util - 2 :invoke :read nil 364 INFO jepsen.util - 2 :fail :read nil 365 INFO jepsen.util - 4 :invoke :write 2 366 INFO jepsen.util - 4 :ok :write 2 367 INFO jepsen.util - 0 :invoke :cas [0 0] 368 INFO jepsen.util - 0 :fail :cas [0 0] 369 INFO jepsen.util - 2 :invoke :write 4 370 INFO jepsen.util - 2 :fail :write 4 371 INFO jepsen.util - 4 :invoke :cas [0 0] 372 INFO jepsen.util - 4 :fail :cas [0 0] 373 INFO jepsen.util - 0 :invoke :read nil 374 INFO jepsen.util - 0 :fail :read nil 375 INFO jepsen.util - 2 :invoke :read nil 376 INFO jepsen.util - 2 :fail :read nil 377 INFO jepsen.util - 4 :invoke :read nil 378 INFO jepsen.util - 4 :ok :read 2 379 INFO jepsen.util - 0 :invoke :write 2 380 INFO jepsen.util - 0 :fail :write 2 381 INFO jepsen.util - 2 :invoke :write 1 382 INFO jepsen.util - 2 :fail :write 1 383 INFO jepsen.util - 4 :invoke :cas [0 1] 384 INFO jepsen.util - 4 :fail :cas [0 1] 385 INFO jepsen.util - 0 :invoke :read nil 386 INFO jepsen.util - 0 :fail :read nil 387 INFO jepsen.util - 2 :invoke :write 3 388 INFO jepsen.util - 2 :fail :write 3 389 INFO jepsen.util - 4 :invoke :write 2 390 INFO jepsen.util - 4 :ok :write 2 391 INFO jepsen.util - 0 :invoke :read nil 392 INFO jepsen.util - 0 :fail :read nil 393 INFO jepsen.util - 2 :invoke :read nil 394 INFO jepsen.util - 2 :fail :read nil 395 INFO jepsen.util - 4 :invoke :write 4 396 INFO jepsen.util - 4 :ok :write 4 397 INFO jepsen.util - 0 :invoke :read nil 398 INFO jepsen.util - 0 :fail :read nil 399 INFO jepsen.util - :nemesis :info :stop nil 400 INFO jepsen.util - 2 :invoke :write 4 401 INFO jepsen.util - 2 :fail :write 4 402 INFO jepsen.util - 4 :invoke :write 2 403 INFO jepsen.util - 4 :ok :write 2 404 INFO jepsen.util - 0 :invoke :cas [2 3] 405 INFO jepsen.util - 0 :fail :cas [2 3] 406 INFO jepsen.util - :nemesis :info :stop "fully connected" 407 INFO jepsen.util - 2 :invoke :cas [2 1] 408 INFO jepsen.util - 2 :fail :cas [2 1] 409 INFO jepsen.util - 4 :invoke :cas [0 1] 410 INFO jepsen.util - 4 :fail :cas [0 1] 411 INFO jepsen.util - 0 :invoke :cas [1 1] 412 INFO jepsen.util - 0 :fail :cas [1 1] 413 INFO jepsen.util - 1 :fail :cas [1 0] 414 INFO jepsen.util - 3 :fail :write 0 415 INFO jepsen.util - 2 :invoke :cas [2 1] 416 INFO jepsen.util - 2 :fail :cas [2 1] 417 INFO jepsen.util - 4 :invoke :write 0 418 INFO jepsen.util - 4 :fail :write 0 419 INFO jepsen.util - 0 :invoke :cas [0 4] 420 INFO jepsen.util - 0 :fail :cas [0 4] 421 INFO jepsen.util - 1 :invoke :read nil 422 INFO jepsen.util - 3 :invoke :write 3 423 INFO jepsen.util - 1 :fail :read nil 424 INFO jepsen.util - 3 :fail :write 3 425 INFO jepsen.util - 2 :invoke :read nil 426 INFO jepsen.util - 2 :fail :read nil 427 INFO jepsen.util - 4 :invoke :read nil 428 INFO jepsen.util - 4 :fail :read nil 429 INFO jepsen.util - 0 :invoke :read nil 430 INFO jepsen.util - 0 :fail :read nil 431 INFO jepsen.util - 1 :invoke :write 4 432 INFO jepsen.util - 3 :invoke :write 3 433 INFO jepsen.util - 1 :fail :write 4 434 INFO jepsen.util - 3 :fail :write 3 435 INFO jepsen.util - 2 :invoke :cas [4 4] 436 INFO jepsen.util - 2 :fail :cas [4 4] 437 INFO jepsen.util - 4 :invoke :write 1 438 INFO jepsen.util - 4 :fail :write 1 439 INFO jepsen.util - 0 :invoke :read nil 440 INFO jepsen.util - 0 :fail :read nil 441 INFO jepsen.util - 1 :invoke :write 1 442 INFO jepsen.util - 3 :invoke :cas [0 0] 443 INFO jepsen.util - 1 :ok :write 1 444 INFO jepsen.util - 3 :fail :cas [0 0] 445 INFO jepsen.util - 2 :invoke :read nil 446 INFO jepsen.util - 2 :ok :read 1 447 INFO jepsen.util - 4 :invoke :read nil 448 INFO jepsen.util - 4 :ok :read 1 449 INFO jepsen.util - 0 :invoke :cas [1 1] 450 INFO jepsen.util - 0 :fail :cas [1 1] 451 INFO jepsen.util - 3 :invoke :read nil 452 INFO jepsen.util - 1 :invoke :cas [0 1] 453 INFO jepsen.util - 1 :fail :cas [0 1] 454 INFO jepsen.util - 3 :ok :read 1 455 INFO jepsen.util - 2 :invoke :write 4 456 INFO jepsen.util - 2 :ok :write 4 457 INFO jepsen.util - 4 :invoke :cas [1 2] 458 INFO jepsen.util - 4 :fail :cas [1 2] 459 INFO jepsen.util - 0 :invoke :read nil 460 INFO jepsen.util - 0 :ok :read 4 461 INFO jepsen.util - 1 :invoke :write 3 462 INFO jepsen.util - 3 :invoke :write 3 463 INFO jepsen.util - 1 :ok :write 3 464 INFO jepsen.util - 3 :ok :write 3 465 INFO jepsen.util - 2 :invoke :cas [0 4] 466 INFO jepsen.util - 2 :fail :cas [0 4] 467 INFO jepsen.util - 4 :invoke :cas [2 4] 468 INFO jepsen.util - 4 :fail :cas [2 4] 469 INFO jepsen.util - 0 :invoke :cas [3 3] 470 INFO jepsen.util - 0 :fail :cas [3 3] 471 INFO jepsen.util - 1 :invoke :read nil 472 INFO jepsen.util - 3 :invoke :write 3 473 INFO jepsen.util - 1 :ok :read 3 474 INFO jepsen.util - 3 :ok :write 3 475 INFO jepsen.util - 2 :invoke :read nil 476 INFO jepsen.util - 2 :ok :read 3 477 INFO jepsen.util - 4 :invoke :read nil 478 INFO jepsen.util - 4 :ok :read 3 479 INFO jepsen.util - 0 :invoke :cas [1 1] 480 INFO jepsen.util - 0 :fail :cas [1 1] 481 INFO jepsen.util - 1 :invoke :cas [2 3] 482 INFO jepsen.util - 3 :invoke :write 4 483 INFO jepsen.util - 1 :fail :cas [2 3] 484 INFO jepsen.util - 3 :ok :write 4 485 INFO jepsen.util - 2 :invoke :write 3 486 INFO jepsen.util - 2 :ok :write 3 487 INFO jepsen.util - 4 :invoke :write 4 488 INFO jepsen.util - 4 :ok :write 4 489 INFO jepsen.util - 0 :invoke :cas [1 3] 490 INFO jepsen.util - 0 :fail :cas [1 3] 491 INFO jepsen.util - 1 :invoke :write 1 492 INFO jepsen.util - 3 :invoke :write 4 493 INFO jepsen.util - 1 :ok :write 1 494 INFO jepsen.util - 3 :ok :write 4 495 INFO jepsen.util - 2 :invoke :cas [0 2] 496 INFO jepsen.util - 2 :fail :cas [0 2] 497 INFO jepsen.util - 4 :invoke :cas [2 4] 498 INFO jepsen.util - 4 :fail :cas [2 4] 499 INFO jepsen.util - 0 :invoke :read nil 500 INFO jepsen.util - 0 :ok :read 4 501 INFO jepsen.util - 1 :invoke :write 2 502 INFO jepsen.util - 3 :invoke :read nil 503 INFO jepsen.util - 1 :ok :write 2 504 INFO jepsen.util - 3 :ok :read 2 505 INFO jepsen.util - 2 :invoke :read nil 506 INFO jepsen.util - 2 :ok :read 2 507 INFO jepsen.util - 4 :invoke :cas [4 4] 508 INFO jepsen.util - 4 :fail :cas [4 4] 509 INFO jepsen.util - 0 :invoke :write 0 510 INFO jepsen.util - 0 :ok :write 0 511 INFO jepsen.util - 1 :invoke :cas [1 4] 512 INFO jepsen.util - 3 :invoke :write 3 513 INFO jepsen.util - 1 :fail :cas [1 4] 514 INFO jepsen.util - 3 :ok :write 3 515 INFO jepsen.util - 2 :invoke :write 3 516 INFO jepsen.util - 2 :ok :write 3 517 INFO jepsen.util - 4 :invoke :read nil 518 INFO jepsen.util - 4 :ok :read 3 519 INFO jepsen.util - 0 :invoke :cas [3 4] 520 INFO jepsen.util - 0 :fail :cas [3 4] 521 INFO jepsen.util - 1 :invoke :cas [4 4] 522 INFO jepsen.util - 3 :invoke :cas [0 4] 523 INFO jepsen.util - 1 :fail :cas [4 4] 524 INFO jepsen.util - 3 :fail :cas [0 4] 525 INFO jepsen.util - 2 :invoke :read nil 526 INFO jepsen.util - 2 :ok :read 3 527 INFO jepsen.util - 4 :invoke :read nil 528 INFO jepsen.util - 4 :ok :read 3 529 INFO jepsen.util - 0 :invoke :write 4 530 INFO jepsen.util - 0 :ok :write 4 531 INFO jepsen.util - 1 :invoke :read nil 532 INFO jepsen.util - 3 :invoke :write 1 533 INFO jepsen.util - 1 :ok :read 4 534 INFO jepsen.util - 3 :ok :write 1 535 INFO jepsen.util - 2 :invoke :cas [0 2] 536 INFO jepsen.util - 2 :fail :cas [0 2] 537 INFO jepsen.util - 4 :invoke :write 3 538 INFO jepsen.util - 4 :ok :write 3 539 INFO jepsen.util - 0 :invoke :write 4 540 INFO jepsen.util - 0 :ok :write 4 541 INFO jepsen.util - 1 :invoke :cas [3 2] 542 INFO jepsen.util - 3 :invoke :read nil 543 INFO jepsen.util - 1 :fail :cas [3 2] 544 INFO jepsen.util - 3 :ok :read 4 545 INFO jepsen.util - 2 :invoke :write 2 546 INFO jepsen.util - 2 :ok :write 2 547 INFO jepsen.util - 4 :invoke :read nil 548 INFO jepsen.util - 4 :ok :read 2 549 INFO jepsen.util - 0 :invoke :read nil 550 INFO jepsen.util - 0 :ok :read 2 551 INFO jepsen.util - 1 :invoke :write 3 552 INFO jepsen.util - 3 :invoke :cas [3 2] 553 INFO jepsen.util - 3 :fail :cas [3 2] 554 INFO jepsen.util - 1 :ok :write 3 555 INFO jepsen.util - 2 :invoke :read nil 556 INFO jepsen.util - 2 :ok :read 3 557 INFO jepsen.util - 4 :invoke :read nil 558 INFO jepsen.util - 4 :ok :read 3 559 INFO jepsen.util - 0 :invoke :cas [2 3] 560 INFO jepsen.util - 0 :fail :cas [2 3] 561 INFO jepsen.util - 3 :invoke :write 3 562 INFO jepsen.util - 1 :invoke :read nil 563 INFO jepsen.util - 1 :ok :read 3 564 INFO jepsen.util - 3 :ok :write 3 565 INFO jepsen.util - 2 :invoke :read nil 566 INFO jepsen.util - 2 :ok :read 3 567 INFO jepsen.util - 4 :invoke :write 2 568 INFO jepsen.util - 4 :ok :write 2 569 INFO jepsen.util - 0 :invoke :cas [2 2] 570 INFO jepsen.util - 0 :fail :cas [2 2] 571 INFO jepsen.util - 1 :invoke :read nil 572 INFO jepsen.util - 3 :invoke :write 0 573 INFO jepsen.util - 1 :ok :read 2 574 INFO jepsen.util - 3 :ok :write 0 575 INFO jepsen.util - 2 :invoke :write 2 576 INFO jepsen.util - 2 :ok :write 2 577 INFO jepsen.util - 4 :invoke :read nil 578 INFO jepsen.util - 4 :ok :read 2 579 INFO jepsen.util - 0 :invoke :cas [0 1] 580 INFO jepsen.util - 0 :fail :cas [0 1] 581 INFO jepsen.util - 1 :invoke :write 0 582 INFO jepsen.util - 1 :ok :write 0 583 INFO jepsen.util - 3 :invoke :cas [2 4] 584 INFO jepsen.util - 3 :fail :cas [2 4] 585 INFO jepsen.util - 2 :invoke :read nil 586 INFO jepsen.util - 2 :ok :read 0 587 INFO jepsen.util - 4 :invoke :cas [1 0] 588 INFO jepsen.util - 4 :fail :cas [1 0] 589 INFO jepsen.util - 0 :invoke :cas [4 3] 590 INFO jepsen.util - 0 :fail :cas [4 3] 591 INFO jepsen.util - 1 :invoke :cas [4 4] 592 INFO jepsen.util - 1 :fail :cas [4 4] 593 INFO jepsen.util - 3 :invoke :read nil 594 INFO jepsen.util - 3 :ok :read 0 595 INFO jepsen.util - 2 :invoke :write 4 596 INFO jepsen.util - 2 :ok :write 4 597 INFO jepsen.util - :nemesis :info :start nil 598 INFO jepsen.util - 4 :invoke :read nil 599 INFO jepsen.util - 4 :ok :read 4 600 INFO jepsen.util - 0 :invoke :write 3 601 INFO jepsen.util - 0 :ok :write 3 602 INFO jepsen.util - 1 :invoke :read nil 603 INFO jepsen.util - 1 :ok :read 3 604 INFO jepsen.util - 3 :invoke :write 3 605 INFO jepsen.util - 3 :ok :write 3 606 INFO jepsen.util - 2 :invoke :write 2 607 INFO jepsen.util - 2 :ok :write 2 608 INFO jepsen.util - 4 :invoke :write 3 609 INFO jepsen.util - 0 :invoke :read nil 610 INFO jepsen.util - 1 :invoke :read nil 611 INFO jepsen.util - 1 :ok :read 2 612 INFO jepsen.util - 3 :invoke :cas [4 2] 613 INFO jepsen.util - 3 :fail :cas [4 2] 614 INFO jepsen.util - :nemesis :info :start "Cut off {:n1 #{:n3 :n2}, :n5 #{:n3 :n2}, :n4 #{:n3 :n2}, :n2 #{:n4 :n5 :n1}, :n3 #{:n4 :n5 :n1}}" 615 INFO jepsen.util - 2 :invoke :read nil 616 INFO jepsen.util - 2 :fail :read nil 617 INFO jepsen.util - 1 :invoke :write 3 618 INFO jepsen.util - 1 :fail :write 3 619 INFO jepsen.util - 3 :invoke :read nil 620 INFO jepsen.util - 3 :ok :read 2 621 INFO jepsen.util - 2 :invoke :cas [4 4] 622 INFO jepsen.util - 2 :fail :cas [4 4] 623 INFO jepsen.util - 1 :invoke :read nil 624 INFO jepsen.util - 1 :fail :read nil 625 INFO jepsen.util - 3 :invoke :cas [4 4] 626 INFO jepsen.util - 3 :fail :cas [4 4] 627 INFO jepsen.util - 2 :invoke :cas [3 1] 628 INFO jepsen.util - 2 :fail :cas [3 1] 629 INFO jepsen.util - 1 :invoke :cas [3 2] 630 INFO jepsen.util - 1 :fail :cas [3 2] 631 INFO jepsen.util - 3 :invoke :write 3 632 INFO jepsen.util - 3 :ok :write 3 633 INFO jepsen.util - 2 :invoke :read nil 634 INFO jepsen.util - 2 :fail :read nil 635 INFO jepsen.util - 1 :invoke :cas [3 2] 636 INFO jepsen.util - 1 :fail :cas [3 2] 637 INFO jepsen.util - 3 :invoke :cas [0 2] 638 INFO jepsen.util - 3 :fail :cas [0 2] 639 INFO jepsen.util - 2 :invoke :read nil 640 INFO jepsen.util - 2 :fail :read nil 641 INFO jepsen.util - 1 :invoke :write 1 642 INFO jepsen.util - 1 :fail :write 1 643 INFO jepsen.util - 3 :invoke :write 4 644 INFO jepsen.util - 3 :ok :write 4 645 INFO jepsen.util - 2 :invoke :cas [4 0] 646 INFO jepsen.util - 2 :fail :cas [4 0] 647 INFO jepsen.util - 1 :invoke :read nil 648 INFO jepsen.util - 1 :fail :read nil 649 INFO jepsen.util - 3 :invoke :read nil 650 INFO jepsen.util - 3 :ok :read 4 651 INFO jepsen.util - 2 :invoke :cas [0 1] 652 INFO jepsen.util - 2 :fail :cas [0 1] 653 INFO jepsen.util - 1 :invoke :read nil 654 INFO jepsen.util - 1 :fail :read nil 655 INFO jepsen.util - 3 :invoke :cas [3 3] 656 INFO jepsen.util - 3 :fail :cas [3 3] 657 INFO jepsen.util - 2 :invoke :cas [0 2] 658 INFO jepsen.util - 2 :fail :cas [0 2] 659 INFO jepsen.util - 1 :invoke :write 0 660 INFO jepsen.util - 1 :fail :write 0 661 INFO jepsen.util - 3 :invoke :read nil 662 INFO jepsen.util - 3 :ok :read 4 663 INFO jepsen.util - 2 :invoke :read nil 664 INFO jepsen.util - 2 :fail :read nil 665 INFO jepsen.util - 1 :invoke :write 2 666 INFO jepsen.util - 1 :fail :write 2 667 INFO jepsen.util - 3 :invoke :write 1 668 INFO jepsen.util - 3 :ok :write 1 669 INFO jepsen.util - 2 :invoke :write 0 670 INFO jepsen.util - 2 :fail :write 0 671 INFO jepsen.util - 1 :invoke :write 0 672 INFO jepsen.util - 1 :fail :write 0 673 INFO jepsen.util - 3 :invoke :cas [3 3] 674 INFO jepsen.util - 3 :fail :cas [3 3] 675 INFO jepsen.util - 2 :invoke :write 0 676 INFO jepsen.util - 2 :fail :write 0 677 INFO jepsen.util - 1 :invoke :read nil 678 INFO jepsen.util - 1 :fail :read nil 679 INFO jepsen.util - 3 :invoke :write 3 680 INFO jepsen.util - 3 :ok :write 3 681 INFO jepsen.util - 2 :invoke :cas [2 3] 682 INFO jepsen.util - 2 :fail :cas [2 3] 683 INFO jepsen.util - 1 :invoke :read nil 684 INFO jepsen.util - 1 :fail :read nil 685 INFO jepsen.util - 3 :invoke :cas [4 1] 686 INFO jepsen.util - 3 :fail :cas [4 1] 687 INFO jepsen.util - 2 :invoke :read nil 688 INFO jepsen.util - 2 :fail :read nil 689 INFO jepsen.util - 1 :invoke :write 0 690 INFO jepsen.util - 1 :fail :write 0 691 INFO jepsen.util - 3 :invoke :read nil 692 INFO jepsen.util - 3 :ok :read 3 693 INFO jepsen.util - 2 :invoke :write 4 694 INFO jepsen.util - 2 :fail :write 4 695 INFO jepsen.util - 1 :invoke :read nil 696 INFO jepsen.util - 1 :fail :read nil 697 INFO jepsen.util - 3 :invoke :cas [2 2] 698 INFO jepsen.util - 3 :fail :cas [2 2] 699 INFO jepsen.util - 2 :invoke :write 3 700 INFO jepsen.util - 2 :fail :write 3 701 INFO jepsen.util - 1 :invoke :cas [3 4] 702 INFO jepsen.util - 1 :fail :cas [3 4] 703 INFO jepsen.util - 3 :invoke :read nil 704 INFO jepsen.util - 3 :ok :read 3 705 INFO jepsen.util - 2 :invoke :write 0 706 INFO jepsen.util - 2 :fail :write 0 707 INFO jepsen.util - 1 :invoke :write 4 708 INFO jepsen.util - 1 :fail :write 4 709 INFO jepsen.util - 3 :invoke :cas [3 1] 710 INFO jepsen.util - 3 :fail :cas [3 1] 711 INFO jepsen.util - 2 :invoke :cas [0 0] 712 INFO jepsen.util - 2 :fail :cas [0 0] 713 INFO jepsen.util - 1 :invoke :write 0 714 INFO jepsen.util - 1 :fail :write 0 715 INFO jepsen.util - 3 :invoke :cas [2 1] 716 INFO jepsen.util - 3 :fail :cas [2 1] 717 INFO jepsen.util - 2 :invoke :read nil 718 INFO jepsen.util - 2 :fail :read nil 719 INFO jepsen.util - 1 :invoke :read nil 720 INFO jepsen.util - 1 :fail :read nil 721 INFO jepsen.util - 3 :invoke :write 1 722 INFO jepsen.util - 3 :ok :write 1 723 INFO jepsen.util - 2 :invoke :write 4 724 INFO jepsen.util - 2 :fail :write 4 725 INFO jepsen.util - 1 :invoke :read nil 726 INFO jepsen.util - 1 :fail :read nil 727 INFO jepsen.util - 3 :invoke :cas [2 0] 728 INFO jepsen.util - 3 :fail :cas [2 0] 729 INFO jepsen.util - 2 :invoke :cas [4 3] 730 INFO jepsen.util - 2 :fail :cas [4 3] 731 INFO jepsen.util - :nemesis :info :stop nil 732 INFO jepsen.util - 1 :invoke :read nil 733 INFO jepsen.util - 1 :fail :read nil 734 INFO jepsen.util - 3 :invoke :write 2 735 INFO jepsen.util - 3 :ok :write 2 736 INFO jepsen.util - 2 :invoke :read nil 737 INFO jepsen.util - 2 :fail :read nil 738 INFO jepsen.util - :nemesis :info :stop "fully connected" 739 INFO jepsen.util - 0 :fail :read nil 740 INFO jepsen.util - 1 :invoke :write 1 741 INFO jepsen.util - 1 :fail :write 1 742 INFO jepsen.util - 3 :invoke :read nil 743 INFO jepsen.util - 3 :fail :read nil 744 INFO jepsen.util - 2 :invoke :read nil 745 INFO jepsen.util - 2 :fail :read nil 746 INFO jepsen.util - 0 :invoke :cas [4 3] 747 INFO jepsen.util - 0 :fail :cas [4 3] 748 INFO jepsen.util - 1 :invoke :cas [3 3] 749 INFO jepsen.util - 1 :fail :cas [3 3] 750 INFO jepsen.util - 3 :invoke :write 4 751 INFO jepsen.util - 3 :fail :write 4 752 INFO jepsen.util - 2 :invoke :write 4 753 INFO jepsen.util - 2 :fail :write 4 754 INFO jepsen.util - 0 :invoke :read nil 755 INFO jepsen.util - 0 :fail :read nil 756 INFO jepsen.util - 1 :invoke :write 0 757 INFO jepsen.util - 1 :fail :write 0 758 INFO jepsen.util - 3 :invoke :cas [4 1] 759 INFO jepsen.util - 3 :fail :cas [4 1] 760 INFO jepsen.util - 2 :invoke :cas [1 4] 761 INFO jepsen.util - 2 :fail :cas [1 4] 762 INFO jepsen.util - 0 :invoke :cas [4 1] 763 INFO jepsen.util - 0 :fail :cas [4 1] 764 INFO jepsen.util - 1 :invoke :read nil 765 INFO jepsen.util - 1 :fail :read nil 766 INFO jepsen.util - 3 :invoke :write 1 767 INFO jepsen.util - 3 :fail :write 1 768 INFO jepsen.util - 2 :invoke :write 2 769 INFO jepsen.util - 2 :fail :write 2 770 INFO jepsen.util - 0 :invoke :write 0 771 INFO jepsen.util - 0 :fail :write 0 772 INFO jepsen.util - 4 :fail :write 3 773 INFO jepsen.util - 1 :invoke :write 2 774 INFO jepsen.util - 1 :fail :write 2 775 INFO jepsen.util - 3 :invoke :write 1 776 INFO jepsen.util - 3 :fail :write 1 777 INFO jepsen.util - 2 :invoke :write 2 778 INFO jepsen.util - 2 :fail :write 2 779 INFO jepsen.util - 0 :invoke :read nil 780 INFO jepsen.util - 0 :fail :read nil 781 INFO jepsen.util - 4 :invoke :read nil 782 INFO jepsen.util - 4 :fail :read nil 783 INFO jepsen.util - 1 :invoke :write 4 784 INFO jepsen.util - 1 :fail :write 4 785 INFO jepsen.util - 3 :invoke :write 3 786 INFO jepsen.util - 3 :fail :write 3 787 INFO jepsen.util - 2 :invoke :write 0 788 INFO jepsen.util - 2 :fail :write 0 789 INFO jepsen.util - 0 :invoke :cas [2 1] 790 INFO jepsen.util - 0 :fail :cas [2 1] 791 INFO jepsen.util - 4 :invoke :read nil 792 INFO jepsen.util - 4 :fail :read nil 793 INFO jepsen.util - 1 :invoke :write 4 794 INFO jepsen.util - 1 :fail :write 4 795 INFO jepsen.util - 3 :invoke :read nil 796 INFO jepsen.util - 3 :fail :read nil 797 INFO jepsen.util - 2 :invoke :read nil 798 INFO jepsen.util - 2 :fail :read nil 799 INFO jepsen.util - 0 :invoke :read nil 800 INFO jepsen.util - 0 :fail :read nil 801 INFO jepsen.util - 4 :invoke :read nil 802 INFO jepsen.util - 4 :fail :read nil 803 INFO jepsen.util - 1 :invoke :read nil 804 INFO jepsen.util - 1 :fail :read nil 805 INFO jepsen.util - 3 :invoke :write 2 806 INFO jepsen.util - 3 :fail :write 2 807 INFO jepsen.util - 2 :invoke :cas [3 2] 808 INFO jepsen.util - 2 :fail :cas [3 2] 809 INFO jepsen.util - 0 :invoke :read nil 810 INFO jepsen.util - 0 :fail :read nil 811 INFO jepsen.util - 4 :invoke :read nil 812 INFO jepsen.util - 4 :fail :read nil 813 INFO jepsen.util - 1 :invoke :write 1 814 INFO jepsen.util - 1 :fail :write 1 815 INFO jepsen.util - 3 :invoke :cas [1 0] 816 INFO jepsen.util - 3 :fail :cas [1 0] 817 INFO jepsen.util - 2 :invoke :write 2 818 INFO jepsen.util - 2 :fail :write 2 819 INFO jepsen.util - 0 :invoke :read nil 820 INFO jepsen.util - 0 :ok :read 2 821 INFO jepsen.util - 4 :invoke :write 3 822 INFO jepsen.util - 4 :ok :write 3 823 INFO jepsen.util - 1 :invoke :write 1 824 INFO jepsen.util - 1 :ok :write 1 825 INFO jepsen.util - 3 :invoke :cas [1 1] 826 INFO jepsen.util - 3 :fail :cas [1 1] 827 INFO jepsen.util - 2 :invoke :write 1 828 INFO jepsen.util - 2 :ok :write 1 829 INFO jepsen.util - 0 :invoke :cas [4 3] 830 INFO jepsen.util - 0 :fail :cas [4 3] 831 INFO jepsen.util - 4 :invoke :cas [1 0] 832 INFO jepsen.util - 4 :fail :cas [1 0] 833 INFO jepsen.util - 1 :invoke :write 3 834 INFO jepsen.util - 1 :ok :write 3 835 INFO jepsen.util - 3 :invoke :read nil 836 INFO jepsen.util - 3 :ok :read 3 837 INFO jepsen.util - 2 :invoke :write 1 838 INFO jepsen.util - 2 :ok :write 1 839 INFO jepsen.util - 0 :invoke :write 2 840 INFO jepsen.util - 0 :ok :write 2 841 INFO jepsen.util - 4 :invoke :cas [4 3] 842 INFO jepsen.util - 4 :fail :cas [4 3] 843 INFO jepsen.util - 1 :invoke :cas [2 0] 844 INFO jepsen.util - 1 :fail :cas [2 0] 845 INFO jepsen.util - 3 :invoke :cas [1 3] 846 INFO jepsen.util - 3 :fail :cas [1 3] 847 INFO jepsen.util - 2 :invoke :write 2 848 INFO jepsen.util - 2 :ok :write 2 849 INFO jepsen.util - 0 :invoke :read nil 850 INFO jepsen.util - 0 :ok :read 2 851 INFO jepsen.util - 4 :invoke :cas [4 2] 852 INFO jepsen.util - 4 :fail :cas [4 2] 853 INFO jepsen.util - 1 :invoke :read nil 854 INFO jepsen.util - 1 :ok :read 2 855 INFO jepsen.util - 3 :invoke :read nil 856 INFO jepsen.util - 3 :ok :read 2 857 INFO jepsen.util - 2 :invoke :write 1 858 INFO jepsen.util - 2 :ok :write 1 859 INFO jepsen.util - 0 :invoke :write 0 860 INFO jepsen.util - 0 :ok :write 0 861 INFO jepsen.util - 4 :invoke :write 0 862 INFO jepsen.util - 4 :ok :write 0 863 INFO jepsen.util - 1 :invoke :cas [1 1] 864 INFO jepsen.util - 1 :fail :cas [1 1] 865 INFO jepsen.util - 3 :invoke :read nil 866 INFO jepsen.util - 3 :ok :read 0 867 INFO jepsen.util - 2 :invoke :read nil 868 INFO jepsen.util - 2 :ok :read 0 869 INFO jepsen.util - 0 :invoke :write 0 870 INFO jepsen.util - 0 :ok :write 0 871 INFO jepsen.util - 4 :invoke :write 3 872 INFO jepsen.util - 4 :ok :write 3 873 INFO jepsen.util - 1 :invoke :cas [3 0] 874 INFO jepsen.util - 1 :fail :cas [3 0] 875 INFO jepsen.util - 3 :invoke :write 3 876 INFO jepsen.util - 3 :ok :write 3 877 INFO jepsen.util - 2 :invoke :cas [3 0] 878 INFO jepsen.util - 2 :fail :cas [3 0] 879 INFO jepsen.util - 0 :invoke :cas [4 3] 880 INFO jepsen.util - 0 :fail :cas [4 3] 881 INFO jepsen.util - 4 :invoke :cas [0 2] 882 INFO jepsen.util - 4 :fail :cas [0 2] 883 INFO jepsen.util - 1 :invoke :write 2 884 INFO jepsen.util - 1 :ok :write 2 885 INFO jepsen.util - 3 :invoke :write 0 886 INFO jepsen.util - 3 :ok :write 0 887 INFO jepsen.util - 2 :invoke :read nil 888 INFO jepsen.util - 2 :ok :read 0 889 INFO jepsen.util - 0 :invoke :read nil 890 INFO jepsen.util - 0 :ok :read 0 891 INFO jepsen.util - 4 :invoke :write 0 892 INFO jepsen.util - 4 :ok :write 0 893 INFO jepsen.util - 1 :invoke :write 4 894 INFO jepsen.util - 1 :ok :write 4 895 INFO jepsen.util - 3 :invoke :write 3 896 INFO jepsen.util - 3 :ok :write 3 897 INFO jepsen.util - 2 :invoke :read nil 898 INFO jepsen.util - 2 :ok :read 3 899 INFO jepsen.util - 0 :invoke :cas [3 1] 900 INFO jepsen.util - 0 :fail :cas [3 1] 901 INFO jepsen.util - 4 :invoke :read nil 902 INFO jepsen.util - 4 :ok :read 3 903 INFO jepsen.util - 1 :invoke :read nil 904 INFO jepsen.util - 1 :ok :read 3 905 INFO jepsen.util - 3 :invoke :write 3 906 INFO jepsen.util - 3 :ok :write 3 907 INFO jepsen.util - 2 :invoke :cas [1 4] 908 INFO jepsen.util - 2 :fail :cas [1 4] 909 INFO jepsen.util - 0 :invoke :cas [1 4] 910 INFO jepsen.util - 0 :fail :cas [1 4] 911 INFO jepsen.util - 4 :invoke :read nil 912 INFO jepsen.util - 4 :ok :read 3 913 INFO jepsen.util - 1 :invoke :read nil 914 INFO jepsen.util - 1 :ok :read 3 915 INFO jepsen.util - 3 :invoke :write 2 916 INFO jepsen.util - 3 :ok :write 2 917 INFO jepsen.util - 2 :invoke :cas [4 0] 918 INFO jepsen.util - 2 :fail :cas [4 0] 919 INFO jepsen.util - 0 :invoke :read nil 920 INFO jepsen.util - 0 :ok :read 2 921 INFO jepsen.util - 4 :invoke :cas [3 1] 922 INFO jepsen.util - 4 :fail :cas [3 1] 923 INFO jepsen.util - 1 :invoke :write 4 924 INFO jepsen.util - 1 :ok :write 4 925 INFO jepsen.util - 3 :invoke :cas [3 2] 926 INFO jepsen.util - 3 :fail :cas [3 2] 927 INFO jepsen.util - :nemesis :info :start nil 928 INFO jepsen.util - 2 :invoke :read nil 929 INFO jepsen.util - 2 :ok :read 4 930 INFO jepsen.util - 0 :invoke :cas [1 2] 931 INFO jepsen.util - 0 :fail :cas [1 2] 932 INFO jepsen.util - 4 :invoke :read nil 933 INFO jepsen.util - 4 :ok :read 4 934 INFO jepsen.util - 1 :invoke :cas [2 1] 935 INFO jepsen.util - 1 :fail :cas [2 1] 936 INFO jepsen.util - 3 :invoke :read nil 937 INFO jepsen.util - 2 :invoke :read nil 938 INFO jepsen.util - 2 :ok :read 4 939 INFO jepsen.util - 0 :invoke :read nil 940 INFO jepsen.util - 0 :ok :read 4 941 INFO jepsen.util - 4 :invoke :read nil 942 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}}" 943 INFO jepsen.util - 4 :ok :read 4 944 INFO jepsen.util - 1 :invoke :read nil 945 INFO jepsen.util - 2 :invoke :write 0 946 INFO jepsen.util - 2 :ok :write 0 947 INFO jepsen.util - 0 :invoke :write 3 948 INFO jepsen.util - 0 :ok :write 3 949 INFO jepsen.util - 4 :invoke :read nil 950 INFO jepsen.util - 4 :ok :read 3 951 INFO jepsen.util - 2 :invoke :read nil 952 INFO jepsen.util - 2 :ok :read 3 953 INFO jepsen.util - 0 :invoke :cas [1 3] 954 INFO jepsen.util - 0 :fail :cas [1 3] 955 INFO jepsen.util - 4 :invoke :write 1 956 INFO jepsen.util - 4 :ok :write 1 957 INFO jepsen.util - 2 :invoke :write 3 958 INFO jepsen.util - 2 :ok :write 3 959 INFO jepsen.util - 0 :invoke :cas [2 4] 960 INFO jepsen.util - 0 :fail :cas [2 4] 961 INFO jepsen.util - 4 :invoke :cas [4 2] 962 INFO jepsen.util - 4 :fail :cas [4 2] 963 INFO jepsen.util - 2 :invoke :cas [3 1] 964 INFO jepsen.util - 2 :fail :cas [3 1] 965 INFO jepsen.util - 0 :invoke :cas [2 0] 966 INFO jepsen.util - 0 :fail :cas [2 0] 967 INFO jepsen.util - 4 :invoke :write 0 968 INFO jepsen.util - 4 :ok :write 0 969 INFO jepsen.util - 2 :invoke :write 4 970 INFO jepsen.util - 2 :ok :write 4 971 INFO jepsen.util - 0 :invoke :cas [2 3] 972 INFO jepsen.util - 0 :fail :cas [2 3] 973 INFO jepsen.util - 4 :invoke :cas [0 0] 974 INFO jepsen.util - 4 :fail :cas [0 0] 975 INFO jepsen.util - 2 :invoke :write 4 976 INFO jepsen.util - 2 :ok :write 4 977 INFO jepsen.util - 0 :invoke :write 3 978 INFO jepsen.util - 0 :ok :write 3 979 INFO jepsen.util - 4 :invoke :read nil 980 INFO jepsen.util - 4 :ok :read 3 981 INFO jepsen.util - 2 :invoke :read nil 982 INFO jepsen.util - 2 :ok :read 3 983 INFO jepsen.util - 0 :invoke :write 4 984 INFO jepsen.util - 0 :ok :write 4 985 INFO jepsen.util - 4 :invoke :cas [1 4] 986 INFO jepsen.util - 4 :fail :cas [1 4] 987 INFO jepsen.util - 2 :invoke :write 4 988 INFO jepsen.util - 2 :ok :write 4 989 INFO jepsen.util - 0 :invoke :read nil 990 INFO jepsen.util - 0 :ok :read 4 991 INFO jepsen.util - 4 :invoke :read nil 992 INFO jepsen.util - 4 :ok :read 4 993 INFO jepsen.util - 2 :invoke :cas [3 0] 994 INFO jepsen.util - 2 :fail :cas [3 0] 995 INFO jepsen.util - 0 :invoke :read nil 996 INFO jepsen.util - 0 :ok :read 4 997 INFO jepsen.util - 4 :invoke :write 2 998 INFO jepsen.util - 4 :ok :write 2 999 INFO jepsen.util - 2 :invoke :cas [1 4] 1000 INFO jepsen.util - 2 :fail :cas [1 4] 1001 INFO jepsen.util - 0 :invoke :read nil 1002 INFO jepsen.util - 0 :ok :read 2 1003 INFO jepsen.util - 4 :invoke :read nil 1004 INFO jepsen.util - 4 :ok :read 2 1005 INFO jepsen.util - 2 :invoke :write 4 1006 INFO jepsen.util - 2 :ok :write 4 1007 INFO jepsen.util - 0 :invoke :write 4 1008 INFO jepsen.util - 0 :ok :write 4 1009 INFO jepsen.util - 4 :invoke :cas [3 3] 1010 INFO jepsen.util - 4 :fail :cas [3 3] 1011 INFO jepsen.util - 2 :invoke :write 4 1012 INFO jepsen.util - 2 :ok :write 4 1013 INFO jepsen.util - 0 :invoke :write 4 1014 INFO jepsen.util - 0 :ok :write 4 1015 INFO jepsen.util - 4 :invoke :cas [1 2] 1016 INFO jepsen.util - 4 :fail :cas [1 2] 1017 INFO jepsen.util - 2 :invoke :write 3 1018 INFO jepsen.util - 2 :ok :write 3 1019 INFO jepsen.util - 0 :invoke :read nil 1020 INFO jepsen.util - 0 :ok :read 3 1021 INFO jepsen.util - 4 :invoke :read nil 1022 INFO jepsen.util - 4 :ok :read 3 1023 INFO jepsen.util - 2 :invoke :cas [2 2] 1024 INFO jepsen.util - 2 :fail :cas [2 2] 1025 INFO jepsen.util - 0 :invoke :read nil 1026 INFO jepsen.util - 0 :ok :read 3 1027 INFO jepsen.util - 4 :invoke :read nil 1028 INFO jepsen.util - 4 :ok :read 3 1029 INFO jepsen.util - 2 :invoke :write 3 1030 INFO jepsen.util - 2 :ok :write 3 1031 INFO jepsen.util - 0 :invoke :read nil 1032 INFO jepsen.util - 0 :ok :read 3 1033 INFO jepsen.util - 4 :invoke :cas [0 2] 1034 INFO jepsen.util - 4 :fail :cas [0 2] 1035 INFO jepsen.util - 2 :invoke :cas [0 3] 1036 INFO jepsen.util - 2 :fail :cas [0 3] 1037 INFO jepsen.util - 0 :invoke :write 3 1038 INFO jepsen.util - 0 :ok :write 3 1039 INFO jepsen.util - 4 :invoke :cas [4 0] 1040 INFO jepsen.util - 4 :fail :cas [4 0] 1041 INFO jepsen.util - 2 :invoke :write 4 1042 INFO jepsen.util - 2 :ok :write 4 1043 INFO jepsen.util - 0 :invoke :cas [0 0] 1044 INFO jepsen.util - 0 :fail :cas [0 0] 1045 INFO jepsen.util - 4 :invoke :read nil 1046 INFO jepsen.util - 4 :ok :read 4 1047 INFO jepsen.util - 2 :invoke :write 0 1048 INFO jepsen.util - 2 :ok :write 0 1049 INFO jepsen.util - 0 :invoke :cas [2 1] 1050 INFO jepsen.util - 0 :fail :cas [2 1] 1051 INFO jepsen.util - 4 :invoke :cas [3 3] 1052 INFO jepsen.util - 4 :fail :cas [3 3] 1053 INFO jepsen.util - 2 :invoke :cas [4 2] 1054 INFO jepsen.util - 2 :fail :cas [4 2] 1055 INFO jepsen.util - 0 :invoke :read nil 1056 INFO jepsen.util - 0 :ok :read 0 1057 INFO jepsen.util - 4 :invoke :write 3 1058 INFO jepsen.util - 4 :ok :write 3 1059 INFO jepsen.util - 1 :fail :read nil 1060 INFO jepsen.util - 3 :fail :read nil 1061 INFO jepsen.util - 2 :invoke :cas [4 0] 1062 INFO jepsen.util - 2 :fail :cas [4 0] 1063 INFO jepsen.util - :nemesis :info :stop nil 1064 INFO jepsen.util - 0 :invoke :cas [2 2] 1065 INFO jepsen.util - 0 :fail :cas [2 2] 1066 INFO jepsen.util - 4 :invoke :read nil 1067 INFO jepsen.util - 4 :ok :read 3 1068 INFO jepsen.util - 1 :invoke :cas [1 3] 1069 INFO jepsen.util - 1 :fail :cas [1 3] 1070 INFO jepsen.util - 3 :invoke :write 1 1071 INFO jepsen.util - 3 :fail :write 1 1072 INFO jepsen.util - :nemesis :info :stop "fully connected" 1073 INFO jepsen.util - 2 :invoke :write 4 1074 INFO jepsen.util - 2 :fail :write 4 1075 INFO jepsen.util - 0 :invoke :read nil 1076 INFO jepsen.util - 0 :fail :read nil 1077 INFO jepsen.util - 4 :invoke :write 4 1078 INFO jepsen.util - 4 :fail :write 4 1079 INFO jepsen.util - 1 :invoke :cas [0 4] 1080 INFO jepsen.util - 1 :fail :cas [0 4] 1081 INFO jepsen.util - 3 :invoke :write 3 1082 INFO jepsen.util - 3 :fail :write 3 1083 INFO jepsen.util - 2 :invoke :cas [3 2] 1084 INFO jepsen.util - 2 :fail :cas [3 2] 1085 INFO jepsen.util - 0 :invoke :read nil 1086 INFO jepsen.util - 0 :fail :read nil 1087 INFO jepsen.util - 4 :invoke :read nil 1088 INFO jepsen.util - 4 :fail :read nil 1089 INFO jepsen.util - 1 :invoke :read nil 1090 INFO jepsen.util - 1 :fail :read nil 1091 INFO jepsen.util - 3 :invoke :cas [4 0] 1092 INFO jepsen.util - 3 :fail :cas [4 0] 1093 INFO jepsen.util - 2 :invoke :read nil 1094 INFO jepsen.util - 2 :fail :read nil 1095 INFO jepsen.util - 0 :invoke :cas [4 4] 1096 INFO jepsen.util - 0 :fail :cas [4 4] 1097 INFO jepsen.util - 4 :invoke :write 1 1098 INFO jepsen.util - 4 :fail :write 1 1099 INFO jepsen.util - 1 :invoke :read nil 1100 INFO jepsen.util - 1 :fail :read nil 1101 INFO jepsen.util - 3 :invoke :read nil 1102 INFO jepsen.util - 3 :fail :read nil 1103 INFO jepsen.util - 2 :invoke :read nil 1104 INFO jepsen.util - 2 :fail :read nil 1105 INFO jepsen.util - 0 :invoke :cas [0 0] 1106 INFO jepsen.util - 0 :fail :cas [0 0] 1107 INFO jepsen.util - 4 :invoke :write 3 1108 INFO jepsen.util - 4 :fail :write 3 1109 INFO jepsen.util - 1 :invoke :write 3 1110 INFO jepsen.util - 1 :fail :write 3 1111 INFO jepsen.util - 3 :invoke :write 4 1112 INFO jepsen.util - 3 :fail :write 4 1113 INFO jepsen.util - 2 :invoke :read nil 1114 INFO jepsen.util - 2 :fail :read nil 1115 INFO jepsen.util - 0 :invoke :cas [2 4] 1116 INFO jepsen.util - 0 :fail :cas [2 4] 1117 INFO jepsen.util - 4 :invoke :read nil 1118 INFO jepsen.util - 4 :fail :read nil 1119 INFO jepsen.util - 1 :invoke :write 3 1120 INFO jepsen.util - 1 :fail :write 3 1121 INFO jepsen.util - 3 :invoke :read nil 1122 INFO jepsen.util - 3 :fail :read nil 1123 INFO jepsen.util - 2 :invoke :read nil 1124 INFO jepsen.util - 2 :fail :read nil 1125 INFO jepsen.util - 0 :invoke :write 2 1126 INFO jepsen.util - 0 :fail :write 2 1127 INFO jepsen.util - 4 :invoke :write 4 1128 INFO jepsen.util - 4 :fail :write 4 1129 INFO jepsen.util - 1 :invoke :cas [1 3] 1130 INFO jepsen.util - 1 :fail :cas [1 3] 1131 INFO jepsen.util - 3 :invoke :write 3 1132 INFO jepsen.util - 3 :fail :write 3 1133 INFO jepsen.util - 2 :invoke :read nil 1134 INFO jepsen.util - 2 :fail :read nil 1135 INFO jepsen.util - 0 :invoke :cas [0 3] 1136 INFO jepsen.util - 0 :fail :cas [0 3] 1137 INFO jepsen.util - 4 :invoke :write 1 1138 INFO jepsen.util - 4 :fail :write 1 1139 INFO jepsen.util - 1 :invoke :cas [4 3] 1140 INFO jepsen.util - 1 :fail :cas [4 3] 1141 INFO jepsen.util - 3 :invoke :cas [0 3] 1142 INFO jepsen.util - 3 :fail :cas [0 3] 1143 INFO jepsen.util - 2 :invoke :read nil 1144 INFO jepsen.util - 2 :fail :read nil 1145 INFO jepsen.util - 0 :invoke :write 2 1146 INFO jepsen.util - 0 :fail :write 2 1147 INFO jepsen.util - 4 :invoke :cas [3 3] 1148 INFO jepsen.util - 4 :fail :cas [3 3] 1149 INFO jepsen.util - 1 :invoke :read nil 1150 INFO jepsen.util - 1 :fail :read nil 1151 INFO jepsen.util - 3 :invoke :write 0 1152 INFO jepsen.util - 3 :fail :write 0 1153 INFO jepsen.util - 2 :invoke :cas [0 0] 1154 INFO jepsen.util - 2 :fail :cas [0 0] 1155 INFO jepsen.util - 0 :invoke :read nil 1156 INFO jepsen.util - 0 :fail :read nil 1157 INFO jepsen.util - 4 :invoke :read nil 1158 INFO jepsen.util - 4 :fail :read nil 1159 INFO jepsen.util - 1 :invoke :cas [2 1] 1160 INFO jepsen.util - 1 :fail :cas [2 1] 1161 INFO jepsen.util - 3 :invoke :read nil 1162 INFO jepsen.util - 3 :fail :read nil 1163 INFO jepsen.util - 2 :invoke :write 4 1164 INFO jepsen.util - 2 :fail :write 4 1165 INFO jepsen.util - 0 :invoke :read nil 1166 INFO jepsen.util - 0 :fail :read nil 1167 INFO jepsen.util - 4 :invoke :cas [0 0] 1168 INFO jepsen.util - 4 :fail :cas [0 0] 1169 INFO jepsen.util - 1 :invoke :read nil 1170 INFO jepsen.util - 1 :fail :read nil 1171 INFO jepsen.util - 3 :invoke :write 4 1172 INFO jepsen.util - 3 :fail :write 4 1173 INFO jepsen.util - 2 :invoke :read nil 1174 INFO jepsen.util - 2 :fail :read nil 1175 INFO jepsen.util - 0 :invoke :read nil 1176 INFO jepsen.util - 0 :fail :read nil 1177 INFO jepsen.util - 4 :invoke :cas [3 3] 1178 INFO jepsen.util - 4 :fail :cas [3 3] 1179 INFO jepsen.util - 1 :invoke :read nil 1180 INFO jepsen.util - 1 :fail :read nil 1181 INFO jepsen.util - 3 :invoke :write 2 1182 INFO jepsen.util - 3 :fail :write 2 1183 INFO jepsen.util - 2 :invoke :cas [4 4] 1184 INFO jepsen.util - 2 :fail :cas [4 4] 1185 INFO jepsen.util - 0 :invoke :cas [2 0] 1186 INFO jepsen.util - 0 :fail :cas [2 0] 1187 INFO jepsen.util - 4 :invoke :read nil 1188 INFO jepsen.util - 4 :ok :read 3 1189 INFO jepsen.util - 1 :invoke :write 4 1190 INFO jepsen.util - 1 :ok :write 4 1191 INFO jepsen.util - 3 :invoke :write 3 1192 INFO jepsen.util - 3 :ok :write 3 1193 INFO jepsen.util - 2 :invoke :write 3 1194 INFO jepsen.util - 2 :ok :write 3 1195 INFO jepsen.util - 0 :invoke :cas [0 0] 1196 INFO jepsen.util - 0 :fail :cas [0 0] 1197 INFO jepsen.util - 4 :invoke :cas [2 3] 1198 INFO jepsen.util - 4 :fail :cas [2 3] 1199 INFO jepsen.util - 1 :invoke :write 4 1200 INFO jepsen.util - 1 :ok :write 4 1201 INFO jepsen.util - 3 :invoke :write 1 1202 INFO jepsen.util - 3 :ok :write 1 1203 INFO jepsen.util - 2 :invoke :read nil 1204 INFO jepsen.util - 2 :ok :read 1 1205 INFO jepsen.util - 0 :invoke :read nil 1206 INFO jepsen.util - 0 :ok :read 1 1207 INFO jepsen.util - 4 :invoke :read nil 1208 INFO jepsen.util - 4 :ok :read 1 1209 INFO jepsen.util - 1 :invoke :read nil 1210 INFO jepsen.util - 1 :ok :read 1 1211 INFO jepsen.util - 3 :invoke :read nil 1212 INFO jepsen.util - 3 :ok :read 1 1213 INFO jepsen.util - 2 :invoke :write 4 1214 INFO jepsen.util - 2 :ok :write 4 1215 INFO jepsen.util - 0 :invoke :read nil 1216 INFO jepsen.util - 0 :ok :read 4 1217 INFO jepsen.util - 4 :invoke :read nil 1218 INFO jepsen.util - 4 :ok :read 4 1219 INFO jepsen.util - 1 :invoke :cas [1 3] 1220 INFO jepsen.util - 1 :fail :cas [1 3] 1221 INFO jepsen.util - 3 :invoke :write 0 1222 INFO jepsen.util - 3 :ok :write 0 1223 INFO jepsen.util - 2 :invoke :write 4 1224 INFO jepsen.util - 2 :ok :write 4 1225 INFO jepsen.util - 0 :invoke :write 1 1226 INFO jepsen.util - 0 :ok :write 1 1227 INFO jepsen.util - 4 :invoke :cas [4 4] 1228 INFO jepsen.util - 4 :fail :cas [4 4] 1229 INFO jepsen.util - 1 :invoke :write 3 1230 INFO jepsen.util - 1 :ok :write 3 1231 INFO jepsen.util - 3 :invoke :cas [2 3] 1232 INFO jepsen.util - 3 :fail :cas [2 3] 1233 INFO jepsen.util - 2 :invoke :cas [1 2] 1234 INFO jepsen.util - 2 :fail :cas [1 2] 1235 INFO jepsen.util - 0 :invoke :write 0 1236 INFO jepsen.util - 0 :ok :write 0 1237 INFO jepsen.util - 4 :invoke :write 0 1238 INFO jepsen.util - 4 :ok :write 0 1239 INFO jepsen.util - 1 :invoke :cas [1 0] 1240 INFO jepsen.util - 1 :fail :cas [1 0] 1241 INFO jepsen.util - 3 :invoke :read nil 1242 INFO jepsen.util - 3 :ok :read 0 1243 INFO jepsen.util - 2 :invoke :read nil 1244 INFO jepsen.util - 2 :ok :read 0 1245 INFO jepsen.util - 0 :invoke :write 4 1246 INFO jepsen.util - 0 :ok :write 4 1247 INFO jepsen.util - 4 :invoke :read nil 1248 INFO jepsen.util - 4 :ok :read 4 1249 INFO jepsen.util - 1 :invoke :cas [0 3] 1250 INFO jepsen.util - 1 :fail :cas [0 3] 1251 INFO jepsen.util - 3 :invoke :write 1 1252 INFO jepsen.util - 3 :ok :write 1 1253 INFO jepsen.util - 2 :invoke :write 2 1254 INFO jepsen.util - 2 :ok :write 2 1255 INFO jepsen.util - 0 :invoke :cas [1 2] 1256 INFO jepsen.util - 0 :fail :cas [1 2] 1257 INFO jepsen.util - 4 :invoke :write 0 1258 INFO jepsen.util - 4 :ok :write 0 1259 INFO jepsen.util - 1 :invoke :read nil 1260 INFO jepsen.util - 1 :ok :read 0 1261 INFO jepsen.util - 3 :invoke :write 2 1262 INFO jepsen.util - 3 :ok :write 2 1263 INFO jepsen.util - 2 :invoke :read nil 1264 INFO jepsen.util - 2 :ok :read 2 1265 INFO jepsen.util - 0 :invoke :read nil 1266 INFO jepsen.util - 0 :ok :read 2 1267 INFO jepsen.util - :nemesis :info :start nil 1268 INFO jepsen.util - 4 :invoke :cas [0 2] 1269 INFO jepsen.util - 4 :fail :cas [0 2] 1270 INFO jepsen.util - 1 :invoke :cas [3 1] 1271 INFO jepsen.util - 1 :fail :cas [3 1] 1272 INFO jepsen.util - 3 :invoke :cas [3 0] 1273 INFO jepsen.util - 3 :fail :cas [3 0] 1274 INFO jepsen.util - 2 :invoke :read nil 1275 INFO jepsen.util - 2 :ok :read 2 1276 INFO jepsen.util - 0 :invoke :cas [2 2] 1277 INFO jepsen.util - 0 :fail :cas [2 2] 1278 INFO jepsen.util - 4 :invoke :write 3 1279 INFO jepsen.util - 4 :ok :write 3 1280 INFO jepsen.util - 1 :invoke :write 4 1281 INFO jepsen.util - 3 :invoke :write 2 1282 INFO jepsen.util - 3 :ok :write 2 1283 INFO jepsen.util - 2 :invoke :write 3 1284 INFO jepsen.util - :nemesis :info :start "Cut off {:n1 #{:n3 :n2}, :n5 #{:n3 :n2}, :n4 #{:n3 :n2}, :n2 #{:n4 :n5 :n1}, :n3 #{:n4 :n5 :n1}}" 1285 INFO jepsen.util - 0 :invoke :cas [2 4] 1286 INFO jepsen.util - 0 :fail :cas [2 4] 1287 INFO jepsen.util - 4 :invoke :read nil 1288 INFO jepsen.util - 4 :ok :read 2 1289 INFO jepsen.util - 3 :invoke :write 0 1290 INFO jepsen.util - 3 :ok :write 0 1291 INFO jepsen.util - 0 :invoke :cas [3 2] 1292 INFO jepsen.util - 0 :fail :cas [3 2] 1293 INFO jepsen.util - 4 :invoke :cas [3 2] 1294 INFO jepsen.util - 4 :fail :cas [3 2] 1295 INFO jepsen.util - 3 :invoke :read nil 1296 INFO jepsen.util - 3 :ok :read 0 1297 INFO jepsen.util - 0 :invoke :cas [0 1] 1298 INFO jepsen.util - 0 :fail :cas [0 1] 1299 INFO jepsen.util - 4 :invoke :write 0 1300 INFO jepsen.util - 4 :ok :write 0 1301 INFO jepsen.util - 3 :invoke :write 0 1302 INFO jepsen.util - 3 :ok :write 0 1303 INFO jepsen.util - 0 :invoke :write 1 1304 INFO jepsen.util - 0 :ok :write 1 1305 INFO jepsen.util - 4 :invoke :read nil 1306 INFO jepsen.util - 4 :ok :read 1 1307 INFO jepsen.util - 3 :invoke :cas [1 3] 1308 INFO jepsen.util - 3 :fail :cas [1 3] 1309 INFO jepsen.util - 0 :invoke :read nil 1310 INFO jepsen.util - 0 :ok :read 1 1311 INFO jepsen.util - 4 :invoke :read nil 1312 INFO jepsen.util - 4 :ok :read 1 1313 INFO jepsen.util - 3 :invoke :cas [0 4] 1314 INFO jepsen.util - 3 :fail :cas [0 4] 1315 INFO jepsen.util - 0 :invoke :cas [0 3] 1316 INFO jepsen.util - 0 :fail :cas [0 3] 1317 INFO jepsen.util - 4 :invoke :write 2 1318 INFO jepsen.util - 4 :ok :write 2 1319 INFO jepsen.util - 3 :invoke :read nil 1320 INFO jepsen.util - 3 :ok :read 2 1321 INFO jepsen.util - 0 :invoke :cas [2 0] 1322 INFO jepsen.util - 0 :fail :cas [2 0] 1323 INFO jepsen.util - 4 :invoke :read nil 1324 INFO jepsen.util - 4 :ok :read 2 1325 INFO jepsen.util - 3 :invoke :cas [0 0] 1326 INFO jepsen.util - 3 :fail :cas [0 0] 1327 INFO jepsen.util - 0 :invoke :read nil 1328 INFO jepsen.util - 0 :ok :read 2 1329 INFO jepsen.util - 4 :invoke :cas [0 3] 1330 INFO jepsen.util - 4 :fail :cas [0 3] 1331 INFO jepsen.util - 3 :invoke :read nil 1332 INFO jepsen.util - 3 :ok :read 2 1333 INFO jepsen.util - 0 :invoke :read nil 1334 INFO jepsen.util - 0 :ok :read 2 1335 INFO jepsen.util - 4 :invoke :read nil 1336 INFO jepsen.util - 4 :ok :read 2 1337 INFO jepsen.util - 3 :invoke :read nil 1338 INFO jepsen.util - 3 :ok :read 2 1339 INFO jepsen.util - 0 :invoke :write 2 1340 INFO jepsen.util - 0 :ok :write 2 1341 INFO jepsen.util - 4 :invoke :write 2 1342 INFO jepsen.util - 4 :ok :write 2 1343 INFO jepsen.util - 3 :invoke :cas [2 0] 1344 INFO jepsen.util - 3 :fail :cas [2 0] 1345 INFO jepsen.util - 0 :invoke :read nil 1346 INFO jepsen.util - 0 :ok :read 2 1347 INFO jepsen.util - 4 :invoke :cas [1 1] 1348 INFO jepsen.util - 4 :fail :cas [1 1] 1349 INFO jepsen.util - 3 :invoke :cas [2 1] 1350 INFO jepsen.util - 3 :fail :cas [2 1] 1351 INFO jepsen.util - 0 :invoke :read nil 1352 INFO jepsen.util - 0 :ok :read 2 1353 INFO jepsen.util - 4 :invoke :cas [4 2] 1354 INFO jepsen.util - 4 :fail :cas [4 2] 1355 INFO jepsen.util - 3 :invoke :cas [0 0] 1356 INFO jepsen.util - 3 :fail :cas [0 0] 1357 INFO jepsen.util - 0 :invoke :cas [0 4] 1358 INFO jepsen.util - 0 :fail :cas [0 4] 1359 INFO jepsen.util - 4 :invoke :cas [2 3] 1360 INFO jepsen.util - 4 :fail :cas [2 3] 1361 INFO jepsen.util - 3 :invoke :write 2 1362 INFO jepsen.util - 3 :ok :write 2 1363 INFO jepsen.util - 0 :invoke :cas [3 0] 1364 INFO jepsen.util - 0 :fail :cas [3 0] 1365 INFO jepsen.util - 4 :invoke :write 1 1366 INFO jepsen.util - 4 :ok :write 1 1367 INFO jepsen.util - 3 :invoke :cas [3 2] 1368 INFO jepsen.util - 3 :fail :cas [3 2] 1369 INFO jepsen.util - 0 :invoke :read nil 1370 INFO jepsen.util - 0 :ok :read 1 1371 INFO jepsen.util - 4 :invoke :read nil 1372 INFO jepsen.util - 4 :ok :read 1 1373 INFO jepsen.util - 3 :invoke :cas [0 1] 1374 INFO jepsen.util - 3 :fail :cas [0 1] 1375 INFO jepsen.util - 0 :invoke :write 4 1376 INFO jepsen.util - 0 :ok :write 4 1377 INFO jepsen.util - 4 :invoke :write 3 1378 INFO jepsen.util - 4 :ok :write 3 1379 INFO jepsen.util - 3 :invoke :read nil 1380 INFO jepsen.util - 3 :ok :read 3 1381 INFO jepsen.util - 0 :invoke :write 0 1382 INFO jepsen.util - 0 :ok :write 0 1383 INFO jepsen.util - 4 :invoke :cas [0 2] 1384 INFO jepsen.util - 4 :fail :cas [0 2] 1385 INFO jepsen.util - 3 :invoke :write 4 1386 INFO jepsen.util - 3 :ok :write 4 1387 INFO jepsen.util - 0 :invoke :read nil 1388 INFO jepsen.util - 0 :ok :read 4 1389 INFO jepsen.util - 4 :invoke :write 1 1390 INFO jepsen.util - 4 :ok :write 1 1391 INFO jepsen.util - 3 :invoke :write 1 1392 INFO jepsen.util - 3 :ok :write 1 1393 INFO jepsen.util - 0 :invoke :read nil 1394 INFO jepsen.util - 0 :ok :read 1 1395 INFO jepsen.util - 4 :invoke :write 0 1396 INFO jepsen.util - 4 :ok :write 0 1397 INFO jepsen.util - 3 :invoke :write 2 1398 INFO jepsen.util - 3 :ok :write 2 1399 INFO jepsen.util - 2 :fail :write 3 1400 INFO jepsen.util - 0 :invoke :cas [2 2] 1401 INFO jepsen.util - 0 :fail :cas [2 2] 1402 INFO jepsen.util - :nemesis :info :stop nil 1403 INFO jepsen.util - 4 :invoke :read nil 1404 INFO jepsen.util - 4 :ok :read 2 1405 INFO jepsen.util - 3 :invoke :read nil 1406 INFO jepsen.util - 3 :ok :read 2 1407 INFO jepsen.util - 2 :invoke :read nil 1408 INFO jepsen.util - 2 :fail :read nil 1409 INFO jepsen.util - 0 :invoke :cas [0 2] 1410 INFO jepsen.util - 0 :fail :cas [0 2] 1411 INFO jepsen.util - :nemesis :info :stop "fully connected" 1412 INFO jepsen.util - 4 :invoke :read nil 1413 INFO jepsen.util - 4 :fail :read nil 1414 INFO jepsen.util - 3 :invoke :write 2 1415 INFO jepsen.util - 3 :fail :write 2 1416 INFO jepsen.util - 2 :invoke :write 4 1417 INFO jepsen.util - 2 :fail :write 4 1418 INFO jepsen.util - 0 :invoke :read nil 1419 INFO jepsen.util - 0 :fail :read nil 1420 INFO jepsen.util - 4 :invoke :read nil 1421 INFO jepsen.util - 4 :fail :read nil 1422 INFO jepsen.util - 3 :invoke :read nil 1423 INFO jepsen.util - 1 :fail :write 4 1424 INFO jepsen.util - 3 :fail :read nil 1425 INFO jepsen.util - 2 :invoke :read nil 1426 INFO jepsen.util - 2 :fail :read nil 1427 INFO jepsen.util - 0 :invoke :cas [0 3] 1428 INFO jepsen.util - 0 :fail :cas [0 3] 1429 INFO jepsen.util - 4 :invoke :read nil 1430 INFO jepsen.util - 4 :fail :read nil 1431 INFO jepsen.util - 1 :invoke :cas [0 1] 1432 INFO jepsen.util - 3 :invoke :read nil 1433 INFO jepsen.util - 1 :fail :cas [0 1] 1434 INFO jepsen.util - 3 :fail :read nil 1435 INFO jepsen.util - 2 :invoke :cas [2 4] 1436 INFO jepsen.util - 2 :fail :cas [2 4] 1437 INFO jepsen.util - 0 :invoke :write 0 1438 INFO jepsen.util - 0 :fail :write 0 1439 INFO jepsen.util - 4 :invoke :cas [2 4] 1440 INFO jepsen.util - 4 :fail :cas [2 4] 1441 INFO jepsen.util - 1 :invoke :read nil 1442 INFO jepsen.util - 3 :invoke :cas [3 3] 1443 INFO jepsen.util - 1 :fail :read nil 1444 INFO jepsen.util - 3 :fail :cas [3 3] 1445 INFO jepsen.util - 2 :invoke :cas [2 3] 1446 INFO jepsen.util - 2 :fail :cas [2 3] 1447 INFO jepsen.util - 0 :invoke :write 1 1448 INFO jepsen.util - 0 :fail :write 1 1449 INFO jepsen.util - 4 :invoke :read nil 1450 INFO jepsen.util - 4 :fail :read nil 1451 INFO jepsen.util - 1 :invoke :cas [2 0] 1452 INFO jepsen.util - 3 :invoke :read nil 1453 INFO jepsen.util - 1 :fail :cas [2 0] 1454 INFO jepsen.util - 3 :fail :read nil 1455 INFO jepsen.util - 2 :invoke :write 2 1456 INFO jepsen.util - 2 :fail :write 2 1457 INFO jepsen.util - 0 :invoke :write 0 1458 INFO jepsen.util - 0 :fail :write 0 1459 INFO jepsen.util - 4 :invoke :write 4 1460 INFO jepsen.util - 4 :fail :write 4 1461 INFO jepsen.util - 1 :invoke :cas [1 3] 1462 INFO jepsen.util - 3 :invoke :write 4 1463 INFO jepsen.util - 1 :fail :cas [1 3] 1464 INFO jepsen.util - 3 :fail :write 4 1465 INFO jepsen.util - 2 :invoke :cas [2 2] 1466 INFO jepsen.util - 2 :fail :cas [2 2] 1467 INFO jepsen.util - 0 :invoke :read nil 1468 INFO jepsen.util - 0 :fail :read nil 1469 INFO jepsen.util - 4 :invoke :write 4 1470 INFO jepsen.util - 4 :fail :write 4 1471 INFO jepsen.util - 1 :invoke :cas [4 0] 1472 INFO jepsen.util - 3 :invoke :read nil 1473 INFO jepsen.util - 1 :fail :cas [4 0] 1474 INFO jepsen.util - 3 :fail :read nil 1475 INFO jepsen.util - 2 :invoke :cas [4 2] 1476 INFO jepsen.util - 2 :fail :cas [4 2] 1477 INFO jepsen.util - 0 :invoke :cas [2 2] 1478 INFO jepsen.util - 0 :fail :cas [2 2] 1479 INFO jepsen.util - 4 :invoke :write 3 1480 INFO jepsen.util - 4 :fail :write 3 1481 INFO jepsen.util - 1 :invoke :cas [2 4] 1482 INFO jepsen.util - 3 :invoke :write 4 1483 INFO jepsen.util - 1 :fail :cas [2 4] 1484 INFO jepsen.util - 3 :fail :write 4 1485 INFO jepsen.util - 2 :invoke :read nil 1486 INFO jepsen.util - 2 :fail :read nil 1487 INFO jepsen.util - 0 :invoke :write 1 1488 INFO jepsen.util - 0 :fail :write 1 1489 INFO jepsen.util - 4 :invoke :cas [2 2] 1490 INFO jepsen.util - 4 :fail :cas [2 2] 1491 INFO jepsen.util - 1 :invoke :read nil 1492 INFO jepsen.util - 3 :invoke :write 3 1493 INFO jepsen.util - 1 :fail :read nil 1494 INFO jepsen.util - 3 :fail :write 3 1495 INFO jepsen.util - 2 :invoke :read nil 1496 INFO jepsen.util - 2 :fail :read nil 1497 INFO jepsen.util - 0 :invoke :read nil 1498 INFO jepsen.util - 0 :fail :read nil 1499 INFO jepsen.util - 4 :invoke :read nil 1500 INFO jepsen.util - 4 :fail :read nil 1501 INFO jepsen.util - 3 :invoke :read nil 1502 INFO jepsen.util - 1 :invoke :read nil 1503 INFO jepsen.util - 1 :fail :read nil 1504 INFO jepsen.util - 3 :fail :read nil 1505 INFO jepsen.util - 2 :invoke :read nil 1506 INFO jepsen.util - 2 :fail :read nil 1507 INFO jepsen.util - 0 :invoke :read nil 1508 INFO jepsen.util - 0 :fail :read nil 1509 INFO jepsen.util - 4 :invoke :write 4 1510 INFO jepsen.util - 4 :fail :write 4 1511 INFO jepsen.util - 1 :invoke :write 4 1512 INFO jepsen.util - 3 :invoke :cas [3 1] 1513 INFO jepsen.util - 3 :fail :cas [3 1] 1514 INFO jepsen.util - 1 :ok :write 4 1515 INFO jepsen.util - 2 :invoke :read nil 1516 INFO jepsen.util - 2 :ok :read 4 1517 INFO jepsen.util - 0 :invoke :cas [1 2] 1518 INFO jepsen.util - 0 :fail :cas [1 2] 1519 INFO jepsen.util - 4 :invoke :read nil 1520 INFO jepsen.util - 4 :ok :read 4 1521 INFO jepsen.util - 3 :invoke :cas [2 0] 1522 INFO jepsen.util - 1 :invoke :read nil 1523 INFO jepsen.util - 3 :fail :cas [2 0] 1524 INFO jepsen.util - 1 :ok :read 4 1525 INFO jepsen.util - 2 :invoke :read nil 1526 INFO jepsen.util - 2 :ok :read 4 1527 INFO jepsen.util - 0 :invoke :write 3 1528 INFO jepsen.util - 0 :ok :write 3 1529 INFO jepsen.util - 4 :invoke :read nil 1530 INFO jepsen.util - 4 :ok :read 3 1531 INFO jepsen.util - 3 :invoke :cas [3 2] 1532 INFO jepsen.util - 1 :invoke :write 0 1533 INFO jepsen.util - 3 :fail :cas [3 2] 1534 INFO jepsen.util - 1 :ok :write 0 1535 INFO jepsen.util - 2 :invoke :cas [3 4] 1536 INFO jepsen.util - 2 :fail :cas [3 4] 1537 INFO jepsen.util - 0 :invoke :write 3 1538 INFO jepsen.util - 0 :ok :write 3 1539 INFO jepsen.util - 4 :invoke :read nil 1540 INFO jepsen.util - 4 :ok :read 3 1541 INFO jepsen.util - 3 :invoke :read nil 1542 INFO jepsen.util - 1 :invoke :read nil 1543 INFO jepsen.util - 3 :ok :read 3 1544 INFO jepsen.util - 1 :ok :read 3 1545 INFO jepsen.util - 2 :invoke :read nil 1546 INFO jepsen.util - 2 :ok :read 3 1547 INFO jepsen.util - 0 :invoke :cas [1 4] 1548 INFO jepsen.util - 0 :fail :cas [1 4] 1549 INFO jepsen.util - 4 :invoke :cas [1 4] 1550 INFO jepsen.util - 4 :fail :cas [1 4] 1551 INFO jepsen.util - 3 :invoke :write 2 1552 INFO jepsen.util - 1 :invoke :read nil 1553 INFO jepsen.util - 1 :ok :read 2 1554 INFO jepsen.util - 3 :ok :write 2 1555 INFO jepsen.util - 2 :invoke :read nil 1556 INFO jepsen.util - 2 :ok :read 2 1557 INFO jepsen.util - 0 :invoke :write 3 1558 INFO jepsen.util - 0 :ok :write 3 1559 INFO jepsen.util - 4 :invoke :read nil 1560 INFO jepsen.util - 4 :ok :read 3 1561 INFO jepsen.util - 1 :invoke :write 0 1562 INFO jepsen.util - 3 :invoke :write 4 1563 INFO jepsen.util - 1 :ok :write 0 1564 INFO jepsen.util - 3 :ok :write 4 1565 INFO jepsen.util - 2 :invoke :write 4 1566 INFO jepsen.util - 2 :ok :write 4 1567 INFO jepsen.util - 0 :invoke :write 4 1568 INFO jepsen.util - 0 :ok :write 4 1569 INFO jepsen.util - 4 :invoke :cas [3 4] 1570 INFO jepsen.util - 4 :fail :cas [3 4] 1571 INFO jepsen.util - 1 :invoke :read nil 1572 INFO jepsen.util - 3 :invoke :read nil 1573 INFO jepsen.util - 1 :ok :read 4 1574 INFO jepsen.util - 3 :ok :read 4 1575 INFO jepsen.util - 2 :invoke :read nil 1576 INFO jepsen.util - 2 :ok :read 4 1577 INFO jepsen.util - 0 :invoke :write 0 1578 INFO jepsen.util - 0 :ok :write 0 1579 INFO jepsen.util - 4 :invoke :read nil 1580 INFO jepsen.util - 4 :ok :read 0 1581 INFO jepsen.util - 1 :invoke :read nil 1582 INFO jepsen.util - 3 :invoke :write 2 1583 INFO jepsen.util - 1 :ok :read 0 1584 INFO jepsen.util - 3 :ok :write 2 1585 INFO jepsen.util - 2 :invoke :cas [3 4] 1586 INFO jepsen.util - 2 :fail :cas [3 4] 1587 INFO jepsen.util - 0 :invoke :cas [1 1] 1588 INFO jepsen.util - 0 :fail :cas [1 1] 1589 INFO jepsen.util - 4 :invoke :read nil 1590 INFO jepsen.util - 4 :ok :read 2 1591 INFO jepsen.util - 1 :invoke :read nil 1592 INFO jepsen.util - 3 :invoke :cas [0 2] 1593 INFO jepsen.util - 1 :ok :read 2 1594 INFO jepsen.util - 3 :fail :cas [0 2] 1595 INFO jepsen.util - 2 :invoke :cas [0 4] 1596 INFO jepsen.util - 2 :fail :cas [0 4] 1597 INFO jepsen.util - 0 :invoke :cas [3 2] 1598 INFO jepsen.util - 0 :fail :cas [3 2] 1599 INFO jepsen.util - 4 :invoke :read nil 1600 INFO jepsen.util - 4 :ok :read 2 1601 INFO jepsen.util - 1 :invoke :cas [0 4] 1602 INFO jepsen.util - 3 :invoke :read nil 1603 INFO jepsen.util - 1 :fail :cas [0 4] 1604 INFO jepsen.util - 3 :ok :read 2 1605 INFO jepsen.util - 2 :invoke :write 0 1606 INFO jepsen.util - 2 :ok :write 0 1607 INFO jepsen.util - :nemesis :info :start nil 1608 INFO jepsen.util - 0 :invoke :read nil 1609 INFO jepsen.util - 0 :ok :read 0 1610 INFO jepsen.util - 4 :invoke :read nil 1611 INFO jepsen.util - 4 :ok :read 0 1612 INFO jepsen.util - 3 :invoke :read nil 1613 INFO jepsen.util - 1 :invoke :write 4 1614 INFO jepsen.util - 2 :invoke :write 2 1615 INFO jepsen.util - 1 :ok :write 4 1616 INFO jepsen.util - 3 :ok :read 0 1617 INFO jepsen.util - 2 :ok :write 2 1618 INFO jepsen.util - 0 :invoke :write 2 1619 INFO jepsen.util - 0 :ok :write 2 1620 INFO jepsen.util - 4 :invoke :read nil 1621 INFO jepsen.util - 4 :ok :read 2 1622 INFO jepsen.util - :nemesis :info :start "Cut off {:n5 #{:n2 :n1}, :n4 #{:n2 :n1}, :n3 #{:n2 :n1}, :n1 #{:n3 :n4 :n5}, :n2 #{:n3 :n4 :n5}}" 1623 INFO jepsen.util - 3 :invoke :write 1 1624 INFO jepsen.util - 1 :invoke :read nil 1625 INFO jepsen.util - 1 :fail :read nil 1626 INFO jepsen.util - 2 :invoke :read nil 1627 INFO jepsen.util - 3 :ok :write 1 1628 INFO jepsen.util - 2 :ok :read 1 1629 INFO jepsen.util - 0 :invoke :read nil 1630 INFO jepsen.util - 4 :invoke :read nil 1631 INFO jepsen.util - 4 :ok :read 1 1632 INFO jepsen.util - 1 :invoke :cas [1 4] 1633 INFO jepsen.util - 3 :invoke :cas [0 4] 1634 INFO jepsen.util - 1 :fail :cas [1 4] 1635 INFO jepsen.util - 2 :invoke :read nil 1636 INFO jepsen.util - 3 :fail :cas [0 4] 1637 INFO jepsen.util - 2 :ok :read 1 1638 INFO jepsen.util - 4 :invoke :write 3 1639 INFO jepsen.util - 4 :ok :write 3 1640 INFO jepsen.util - 1 :invoke :write 4 1641 INFO jepsen.util - 1 :fail :write 4 1642 INFO jepsen.util - 3 :invoke :read nil 1643 INFO jepsen.util - 2 :invoke :cas [3 1] 1644 INFO jepsen.util - 3 :ok :read 3 1645 INFO jepsen.util - 2 :fail :cas [3 1] 1646 INFO jepsen.util - 4 :invoke :read nil 1647 INFO jepsen.util - 4 :ok :read 3 1648 INFO jepsen.util - 1 :invoke :cas [2 1] 1649 INFO jepsen.util - 1 :fail :cas [2 1] 1650 INFO jepsen.util - 3 :invoke :write 3 1651 INFO jepsen.util - 2 :invoke :read nil 1652 INFO jepsen.util - 2 :ok :read 3 1653 INFO jepsen.util - 3 :ok :write 3 1654 INFO jepsen.util - 4 :invoke :write 0 1655 INFO jepsen.util - 4 :ok :write 0 1656 INFO jepsen.util - 1 :invoke :cas [4 0] 1657 INFO jepsen.util - 1 :fail :cas [4 0] 1658 INFO jepsen.util - 2 :invoke :read nil 1659 INFO jepsen.util - 3 :invoke :cas [2 4] 1660 INFO jepsen.util - 2 :ok :read 0 1661 INFO jepsen.util - 3 :fail :cas [2 4] 1662 INFO jepsen.util - 4 :invoke :write 3 1663 INFO jepsen.util - 4 :ok :write 3 1664 INFO jepsen.util - 1 :invoke :read nil 1665 INFO jepsen.util - 1 :fail :read nil 1666 INFO jepsen.util - 2 :invoke :write 0 1667 INFO jepsen.util - 3 :invoke :read nil 1668 INFO jepsen.util - 3 :ok :read 3 1669 INFO jepsen.util - 2 :ok :write 0 1670 INFO jepsen.util - 4 :invoke :cas [3 1] 1671 INFO jepsen.util - 4 :fail :cas [3 1] 1672 INFO jepsen.util - 1 :invoke :write 0 1673 INFO jepsen.util - 1 :fail :write 0 1674 INFO jepsen.util - 3 :invoke :write 3 1675 INFO jepsen.util - 2 :invoke :write 2 1676 INFO jepsen.util - 3 :ok :write 3 1677 INFO jepsen.util - 2 :ok :write 2 1678 INFO jepsen.util - 4 :invoke :read nil 1679 INFO jepsen.util - 4 :ok :read 2 1680 INFO jepsen.util - 1 :invoke :cas [4 0] 1681 INFO jepsen.util - 1 :fail :cas [4 0] 1682 INFO jepsen.util - 3 :invoke :read nil 1683 INFO jepsen.util - 2 :invoke :read nil 1684 INFO jepsen.util - 2 :ok :read 2 1685 INFO jepsen.util - 3 :ok :read 2 1686 INFO jepsen.util - 4 :invoke :cas [2 1] 1687 INFO jepsen.util - 4 :fail :cas [2 1] 1688 INFO jepsen.util - 1 :invoke :cas [4 1] 1689 INFO jepsen.util - 1 :fail :cas [4 1] 1690 INFO jepsen.util - 2 :invoke :read nil 1691 INFO jepsen.util - 3 :invoke :cas [4 2] 1692 INFO jepsen.util - 3 :fail :cas [4 2] 1693 INFO jepsen.util - 2 :ok :read 2 1694 INFO jepsen.util - 4 :invoke :write 4 1695 INFO jepsen.util - 4 :ok :write 4 1696 INFO jepsen.util - 1 :invoke :read nil 1697 INFO jepsen.util - 1 :fail :read nil 1698 INFO jepsen.util - 3 :invoke :read nil 1699 INFO jepsen.util - 2 :invoke :read nil 1700 INFO jepsen.util - 2 :ok :read 4 1701 INFO jepsen.util - 3 :ok :read 4 1702 INFO jepsen.util - 4 :invoke :write 4 1703 INFO jepsen.util - 4 :ok :write 4 1704 INFO jepsen.util - 1 :invoke :read nil 1705 INFO jepsen.util - 1 :fail :read nil 1706 INFO jepsen.util - 2 :invoke :cas [4 0] 1707 INFO jepsen.util - 3 :invoke :cas [2 4] 1708 INFO jepsen.util - 3 :fail :cas [2 4] 1709 INFO jepsen.util - 2 :fail :cas [4 0] 1710 INFO jepsen.util - 4 :invoke :write 3 1711 INFO jepsen.util - 4 :ok :write 3 1712 INFO jepsen.util - 1 :invoke :read nil 1713 INFO jepsen.util - 1 :fail :read nil 1714 INFO jepsen.util - 3 :invoke :cas [3 0] 1715 INFO jepsen.util - 2 :invoke :write 4 1716 INFO jepsen.util - 3 :fail :cas [3 0] 1717 INFO jepsen.util - 2 :ok :write 4 1718 INFO jepsen.util - 4 :invoke :cas [1 2] 1719 INFO jepsen.util - 4 :fail :cas [1 2] 1720 INFO jepsen.util - 1 :invoke :read nil 1721 INFO jepsen.util - 1 :fail :read nil 1722 INFO jepsen.util - 3 :invoke :cas [4 2] 1723 INFO jepsen.util - 2 :invoke :cas [3 0] 1724 INFO jepsen.util - 3 :fail :cas [4 2] 1725 INFO jepsen.util - 2 :fail :cas [3 0] 1726 INFO jepsen.util - 4 :invoke :write 4 1727 INFO jepsen.util - 4 :ok :write 4 1728 INFO jepsen.util - 1 :invoke :write 1 1729 INFO jepsen.util - 1 :fail :write 1 1730 INFO jepsen.util - 3 :invoke :write 1 1731 INFO jepsen.util - 2 :invoke :cas [2 3] 1732 INFO jepsen.util - 2 :fail :cas [2 3] 1733 INFO jepsen.util - 3 :ok :write 1 1734 INFO jepsen.util - 4 :invoke :write 2 1735 INFO jepsen.util - 4 :ok :write 2 1736 INFO jepsen.util - 1 :invoke :write 3 1737 INFO jepsen.util - 1 :fail :write 3 1738 INFO jepsen.util - 2 :invoke :write 3 1739 INFO jepsen.util - 3 :invoke :write 2 1740 INFO jepsen.util - 3 :ok :write 2 1741 INFO jepsen.util - 2 :ok :write 3 1742 INFO jepsen.util - 4 :invoke :cas [3 1] 1743 INFO jepsen.util - 4 :fail :cas [3 1] 1744 INFO jepsen.util - 1 :invoke :read nil 1745 INFO jepsen.util - 1 :fail :read nil 1746 INFO jepsen.util - 3 :invoke :read nil 1747 INFO jepsen.util - 2 :invoke :write 4 1748 INFO jepsen.util - 3 :ok :read 3 1749 INFO jepsen.util - 2 :ok :write 4 1750 INFO jepsen.util - 4 :invoke :write 3 1751 INFO jepsen.util - 4 :ok :write 3 1752 INFO jepsen.util - 1 :invoke :cas [2 4] 1753 INFO jepsen.util - 1 :fail :cas [2 4] 1754 INFO jepsen.util - 3 :invoke :cas [0 3] 1755 INFO jepsen.util - 2 :invoke :write 1 1756 INFO jepsen.util - 3 :fail :cas [0 3] 1757 INFO jepsen.util - 2 :ok :write 1 1758 INFO jepsen.util - 4 :invoke :write 3 1759 INFO jepsen.util - 4 :ok :write 3 1760 INFO jepsen.util - 1 :invoke :cas [0 4] 1761 INFO jepsen.util - 1 :fail :cas [0 4] 1762 INFO jepsen.util - 3 :invoke :read nil 1763 INFO jepsen.util - 2 :invoke :write 4 1764 INFO jepsen.util - 3 :ok :read 3 1765 INFO jepsen.util - 2 :ok :write 4 1766 INFO jepsen.util - 4 :invoke :write 3 1767 INFO jepsen.util - 4 :ok :write 3 1768 INFO jepsen.util - 1 :invoke :read nil 1769 INFO jepsen.util - 1 :fail :read nil 1770 INFO jepsen.util - 3 :invoke :cas [2 0] 1771 INFO jepsen.util - 2 :invoke :write 4 1772 INFO jepsen.util - 3 :fail :cas [2 0] 1773 INFO jepsen.util - 2 :ok :write 4 1774 INFO jepsen.util - 4 :invoke :write 1 1775 INFO jepsen.util - 4 :ok :write 1 1776 INFO jepsen.util - 1 :invoke :write 4 1777 INFO jepsen.util - 1 :fail :write 4 1778 INFO jepsen.util - 3 :invoke :cas [4 1] 1779 INFO jepsen.util - 2 :invoke :read nil 1780 INFO jepsen.util - 3 :fail :cas [4 1] 1781 INFO jepsen.util - 2 :ok :read 1 1782 INFO jepsen.util - :nemesis :info :stop nil 1783 INFO jepsen.util - 4 :invoke :read nil 1784 INFO jepsen.util - 4 :ok :read 1 1785 INFO jepsen.util - 1 :invoke :cas [1 4] 1786 INFO jepsen.util - 1 :fail :cas [1 4] 1787 INFO jepsen.util - 3 :invoke :read nil 1788 INFO jepsen.util - 2 :invoke :cas [3 2] 1789 INFO jepsen.util - 3 :fail :read nil 1790 INFO jepsen.util - 2 :fail :cas [3 2] 1791 INFO jepsen.util - :nemesis :info :stop "fully connected" 1792 INFO jepsen.util - 0 :fail :read nil 1793 INFO jepsen.util - 4 :invoke :cas [1 2] 1794 INFO jepsen.util - 4 :fail :cas [1 2] 1795 INFO jepsen.util - 1 :invoke :read nil 1796 INFO jepsen.util - 1 :fail :read nil 1797 INFO jepsen.util - 3 :invoke :cas [2 1] 1798 INFO jepsen.util - 2 :invoke :cas [2 4] 1799 INFO jepsen.util - 3 :fail :cas [2 1] 1800 INFO jepsen.util - 2 :fail :cas [2 4] 1801 INFO jepsen.util - 0 :invoke :cas [1 2] 1802 INFO jepsen.util - 0 :fail :cas [1 2] 1803 INFO jepsen.util - 4 :invoke :cas [3 1] 1804 INFO jepsen.util - 4 :fail :cas [3 1] 1805 INFO jepsen.util - 1 :invoke :cas [0 3] 1806 INFO jepsen.util - 1 :fail :cas [0 3] 1807 INFO jepsen.util - 3 :invoke :cas [1 0] 1808 INFO jepsen.util - 2 :invoke :write 0 1809 INFO jepsen.util - 2 :fail :write 0 1810 INFO jepsen.util - 3 :fail :cas [1 0] 1811 INFO jepsen.util - 0 :invoke :read nil 1812 INFO jepsen.util - 0 :fail :read nil 1813 INFO jepsen.util - 4 :invoke :write 0 1814 INFO jepsen.util - 4 :fail :write 0 1815 INFO jepsen.util - 1 :invoke :cas [2 3] 1816 INFO jepsen.util - 1 :fail :cas [2 3] 1817 INFO jepsen.util - 2 :invoke :read nil 1818 INFO jepsen.util - 3 :invoke :cas [2 0] 1819 INFO jepsen.util - 2 :fail :read nil 1820 INFO jepsen.util - 3 :fail :cas [2 0] 1821 INFO jepsen.util - 0 :invoke :cas [0 4] 1822 INFO jepsen.util - 0 :fail :cas [0 4] 1823 INFO jepsen.util - 4 :invoke :read nil 1824 INFO jepsen.util - 4 :fail :read nil 1825 INFO jepsen.util - 1 :invoke :cas [4 2] 1826 INFO jepsen.util - 1 :fail :cas [4 2] 1827 INFO jepsen.util - 2 :invoke :read nil 1828 INFO jepsen.util - 3 :invoke :write 0 1829 INFO jepsen.util - 2 :fail :read nil 1830 INFO jepsen.util - 3 :fail :write 0 1831 INFO jepsen.util - 0 :invoke :write 0 1832 INFO jepsen.util - 0 :fail :write 0 1833 INFO jepsen.util - 4 :invoke :read nil 1834 INFO jepsen.util - 4 :fail :read nil 1835 INFO jepsen.util - 1 :invoke :cas [1 2] 1836 INFO jepsen.util - 1 :fail :cas [1 2] 1837 INFO jepsen.util - 2 :invoke :read nil 1838 INFO jepsen.util - 3 :invoke :read nil 1839 INFO jepsen.util - 2 :fail :read nil 1840 INFO jepsen.util - 3 :fail :read nil 1841 INFO jepsen.util - 0 :invoke :cas [2 4] 1842 INFO jepsen.util - 0 :fail :cas [2 4] 1843 INFO jepsen.util - 4 :invoke :read nil 1844 INFO jepsen.util - 4 :fail :read nil 1845 INFO jepsen.util - 1 :invoke :cas [3 3] 1846 INFO jepsen.util - 1 :fail :cas [3 3] 1847 INFO jepsen.util - 2 :invoke :read nil 1848 INFO jepsen.util - 3 :invoke :cas [2 1] 1849 INFO jepsen.util - 2 :fail :read nil 1850 INFO jepsen.util - 3 :fail :cas [2 1] 1851 INFO jepsen.util - 0 :invoke :read nil 1852 INFO jepsen.util - 0 :fail :read nil 1853 INFO jepsen.util - 4 :invoke :cas [0 4] 1854 INFO jepsen.util - 4 :fail :cas [0 4] 1855 INFO jepsen.util - 1 :invoke :write 1 1856 INFO jepsen.util - 1 :fail :write 1 1857 INFO jepsen.util - 2 :invoke :write 2 1858 INFO jepsen.util - 3 :invoke :read nil 1859 INFO jepsen.util - 2 :fail :write 2 1860 INFO jepsen.util - 3 :fail :read nil 1861 INFO jepsen.util - 0 :invoke :read nil 1862 INFO jepsen.util - 0 :fail :read nil 1863 INFO jepsen.util - 4 :invoke :read nil 1864 INFO jepsen.util - 4 :fail :read nil 1865 INFO jepsen.util - 1 :invoke :cas [4 1] 1866 INFO jepsen.util - 1 :fail :cas [4 1] 1867 INFO jepsen.util - 2 :invoke :cas [1 4] 1868 INFO jepsen.util - 3 :invoke :cas [4 2] 1869 INFO jepsen.util - 3 :fail :cas [4 2] 1870 INFO jepsen.util - 2 :fail :cas [1 4] 1871 INFO jepsen.util - 0 :invoke :read nil 1872 INFO jepsen.util - 0 :ok :read 1 1873 INFO jepsen.util - 4 :invoke :read nil 1874 INFO jepsen.util - 4 :ok :read 1 1875 INFO jepsen.util - 1 :invoke :write 4 1876 INFO jepsen.util - 1 :ok :write 4 1877 INFO jepsen.util - 3 :invoke :write 0 1878 INFO jepsen.util - 2 :invoke :cas [3 2] 1879 INFO jepsen.util - 2 :fail :cas [3 2] 1880 INFO jepsen.util - 3 :ok :write 0 1881 INFO jepsen.util - 0 :invoke :cas [0 3] 1882 INFO jepsen.util - 0 :fail :cas [0 3] 1883 INFO jepsen.util - 4 :invoke :write 2 1884 INFO jepsen.util - 4 :ok :write 2 1885 INFO jepsen.util - 1 :invoke :read nil 1886 INFO jepsen.util - 1 :ok :read 2 1887 INFO jepsen.util - 2 :invoke :write 0 1888 INFO jepsen.util - 3 :invoke :cas [4 4] 1889 INFO jepsen.util - 3 :fail :cas [4 4] 1890 INFO jepsen.util - 2 :ok :write 0 1891 INFO jepsen.util - 0 :invoke :cas [1 0] 1892 INFO jepsen.util - 0 :fail :cas [1 0] 1893 INFO jepsen.util - 4 :invoke :read nil 1894 INFO jepsen.util - 4 :ok :read 0 1895 INFO jepsen.util - 1 :invoke :write 4 1896 INFO jepsen.util - 1 :ok :write 4 1897 INFO jepsen.util - 3 :invoke :read nil 1898 INFO jepsen.util - 2 :invoke :cas [1 3] 1899 INFO jepsen.util - 3 :ok :read 4 1900 INFO jepsen.util - 2 :fail :cas [1 3] 1901 INFO jepsen.util - 0 :invoke :cas [1 2] 1902 INFO jepsen.util - 0 :fail :cas [1 2] 1903 INFO jepsen.util - 4 :invoke :read nil 1904 INFO jepsen.util - 4 :ok :read 4 1905 INFO jepsen.util - 1 :invoke :cas [3 2] 1906 INFO jepsen.util - 1 :fail :cas [3 2] 1907 INFO jepsen.util - 3 :invoke :write 4 1908 INFO jepsen.util - 2 :invoke :read nil 1909 INFO jepsen.util - 3 :ok :write 4 1910 INFO jepsen.util - 2 :ok :read 4 1911 INFO jepsen.util - 0 :invoke :read nil 1912 INFO jepsen.util - 0 :ok :read 4 1913 INFO jepsen.util - 4 :invoke :write 2 1914 INFO jepsen.util - 4 :ok :write 2 1915 INFO jepsen.util - 1 :invoke :write 0 1916 INFO jepsen.util - 1 :ok :write 0 1917 INFO jepsen.util - 3 :invoke :write 3 1918 INFO jepsen.util - 2 :invoke :cas [4 2] 1919 INFO jepsen.util - 3 :ok :write 3 1920 INFO jepsen.util - 2 :fail :cas [4 2] 1921 INFO jepsen.util - 0 :invoke :cas [0 4] 1922 INFO jepsen.util - 0 :fail :cas [0 4] 1923 INFO jepsen.util - 4 :invoke :write 1 1924 INFO jepsen.util - 4 :ok :write 1 1925 INFO jepsen.util - 1 :invoke :write 2 1926 INFO jepsen.util - 1 :ok :write 2 1927 INFO jepsen.util - 3 :invoke :write 0 1928 INFO jepsen.util - 2 :invoke :cas [3 3] 1929 INFO jepsen.util - 2 :fail :cas [3 3] 1930 INFO jepsen.util - 3 :ok :write 0 1931 INFO jepsen.util - 0 :invoke :read nil 1932 INFO jepsen.util - 0 :ok :read 0 1933 INFO jepsen.util - 4 :invoke :read nil 1934 INFO jepsen.util - 4 :ok :read 0 1935 INFO jepsen.util - 1 :invoke :write 2 1936 INFO jepsen.util - 1 :ok :write 2 1937 INFO jepsen.util - 2 :invoke :write 3 1938 INFO jepsen.util - 3 :invoke :cas [3 0] 1939 INFO jepsen.util - 3 :fail :cas [3 0] 1940 INFO jepsen.util - 2 :ok :write 3 1941 INFO jepsen.util - 0 :invoke :cas [0 1] 1942 INFO jepsen.util - 0 :fail :cas [0 1] 1943 INFO jepsen.util - 4 :invoke :write 2 1944 INFO jepsen.util - 4 :ok :write 2 1945 INFO jepsen.util - 1 :invoke :read nil 1946 INFO jepsen.util - 1 :ok :read 2 1947 INFO jepsen.util - 3 :invoke :write 0 1948 INFO jepsen.util - 2 :invoke :write 4 1949 INFO jepsen.util - 3 :ok :write 0 1950 INFO jepsen.util - 2 :ok :write 4 1951 INFO jepsen.util - 0 :invoke :write 0 1952 INFO jepsen.util - 0 :ok :write 0 1953 INFO jepsen.util - 4 :invoke :write 3 1954 INFO jepsen.util - 4 :ok :write 3 1955 INFO jepsen.util - 1 :invoke :read nil 1956 INFO jepsen.util - 1 :ok :read 3 1957 INFO jepsen.util - 3 :invoke :cas [2 2] 1958 INFO jepsen.util - 3 :fail :cas [2 2] 1959 INFO jepsen.util - 2 :invoke :read nil 1960 INFO jepsen.util - 2 :ok :read 3 1961 INFO jepsen.util - 0 :invoke :cas [4 2] 1962 INFO jepsen.util - 0 :fail :cas [4 2] 1963 INFO jepsen.util - 4 :invoke :cas [3 0] 1964 INFO jepsen.util - 4 :fail :cas [3 0] 1965 INFO jepsen.util - 1 :invoke :cas [4 2] 1966 INFO jepsen.util - 1 :fail :cas [4 2] 1967 INFO jepsen.util - 3 :invoke :write 2 1968 INFO jepsen.util - 2 :invoke :read nil 1969 INFO jepsen.util - 3 :ok :write 2 1970 INFO jepsen.util - 2 :ok :read 2 1971 INFO jepsen.util - 0 :invoke :read nil 1972 INFO jepsen.util - 0 :ok :read 2 1973 INFO jepsen.util - 4 :invoke :read nil 1974 INFO jepsen.util - 4 :ok :read 2 1975 INFO jepsen.util - 1 :invoke :write 0 1976 INFO jepsen.util - 1 :ok :write 0 1977 INFO jepsen.util - 3 :invoke :cas [4 1] 1978 INFO jepsen.util - 2 :invoke :read nil 1979 INFO jepsen.util - 3 :fail :cas [4 1] 1980 INFO jepsen.util - 2 :ok :read 0 1981 INFO jepsen.util - 0 :invoke :cas [4 3] 1982 INFO jepsen.util - 0 :fail :cas [4 3] 1983 INFO jepsen.util - 4 :invoke :write 0 1984 INFO jepsen.util - 4 :ok :write 0 1985 INFO jepsen.util - :nemesis :info :start nil 1986 INFO jepsen.util - 1 :invoke :write 0 1987 INFO jepsen.util - 1 :ok :write 0 1988 INFO jepsen.util - 3 :invoke :cas [1 2] 1989 INFO jepsen.util - 2 :invoke :read nil 1990 INFO jepsen.util - 3 :fail :cas [1 2] 1991 INFO jepsen.util - 2 :ok :read 0 1992 INFO jepsen.util - 0 :invoke :cas [0 1] 1993 INFO jepsen.util - 0 :fail :cas [0 1] 1994 INFO jepsen.util - 4 :invoke :write 2 1995 INFO jepsen.util - 4 :ok :write 2 1996 INFO jepsen.util - 1 :invoke :write 0 1997 INFO jepsen.util - 3 :invoke :read nil 1998 INFO jepsen.util - 2 :invoke :write 2 1999 INFO jepsen.util - 3 :ok :read 2 2000 INFO jepsen.util - 2 :ok :write 2 2001 INFO jepsen.util - 0 :invoke :read nil 2002 INFO jepsen.util - :nemesis :info :start "Cut off {:n5 #{:n2 :n1}, :n4 #{:n2 :n1}, :n3 #{:n2 :n1}, :n1 #{:n3 :n4 :n5}, :n2 #{:n3 :n4 :n5}}" 2003 INFO jepsen.util - 4 :invoke :write 2 2004 INFO jepsen.util - 4 :ok :write 2 2005 INFO jepsen.util - 3 :invoke :cas [3 2] 2006 INFO jepsen.util - 2 :invoke :read nil 2007 INFO jepsen.util - 3 :fail :cas [3 2] 2008 INFO jepsen.util - 2 :ok :read 2 2009 INFO jepsen.util - 4 :invoke :read nil 2010 INFO jepsen.util - 4 :ok :read 2 2011 INFO jepsen.util - 3 :invoke :write 3 2012 INFO jepsen.util - 2 :invoke :write 4 2013 INFO jepsen.util - 3 :ok :write 3 2014 INFO jepsen.util - 2 :ok :write 4 2015 INFO jepsen.util - 4 :invoke :read nil 2016 INFO jepsen.util - 4 :ok :read 4 2017 INFO jepsen.util - 3 :invoke :read nil 2018 INFO jepsen.util - 2 :invoke :read nil 2019 INFO jepsen.util - 3 :ok :read 4 2020 INFO jepsen.util - 2 :ok :read 4 2021 INFO jepsen.util - 4 :invoke :read nil 2022 INFO jepsen.util - 4 :ok :read 4 2023 INFO jepsen.util - 3 :invoke :read nil 2024 INFO jepsen.util - 2 :invoke :write 4 2025 INFO jepsen.util - 3 :ok :read 4 2026 INFO jepsen.util - 2 :ok :write 4 2027 INFO jepsen.util - 4 :invoke :cas [0 4] 2028 INFO jepsen.util - 4 :fail :cas [0 4] 2029 INFO jepsen.util - 3 :invoke :write 3 2030 INFO jepsen.util - 2 :invoke :cas [0 1] 2031 INFO jepsen.util - 3 :ok :write 3 2032 INFO jepsen.util - 2 :fail :cas [0 1] 2033 INFO jepsen.util - 4 :invoke :cas [3 3] 2034 INFO jepsen.util - 4 :fail :cas [3 3] 2035 INFO jepsen.util - :nemesis :info :stop nil 2036 INFO jepsen.util - :nemesis :info :stop "fully connected" 2037 INFO jepsen.util - 0 :fail :read nil 2038 INFO jepsen.util - 1 :fail :write 0 2039 INFO jepsen.util - :nemesis :info :stop nil 2040 INFO jepsen.util - :nemesis :info :stop "fully connected" 2041 INFO jepsen.core - nemesis done 2042 INFO jepsen.core - Worker 3 done 2043 INFO jepsen.util - 1 :invoke :read nil 2044 INFO jepsen.core - Worker 2 done 2045 INFO jepsen.core - Worker 4 done 2046 INFO jepsen.core - Worker 0 done 2047 INFO jepsen.util - 1 :ok :read 3 2048 INFO jepsen.core - Worker 1 done 2049 INFO jepsen.core - Run complete, writing 2050 INFO jepsen.core - Analyzing 2051 :world-size 2 :degenerate 2 2052 :world-size 2 :degenerate 2 2053 :world-size 9 :degenerate 6 2054 :world-size 30 :degenerate 16 2055 :world-size 61 :degenerate 28 2056 :world-size 14 :degenerate 14 2057 :world-size 8 :degenerate 8 2058 :world-size 5 :degenerate 5 2059 :world-size 4 :degenerate 4 2060 :world-size 2 :degenerate 2 2061 :world-size 2 :degenerate 2 2062 :world-size 2 :degenerate 2 2063 :world-size 3 :degenerate 3 2064 :world-size 6 :degenerate 5 2065 :world-size 9 :degenerate 7 2066 :world-size 24 :degenerate 17 2067 :world-size 9 :degenerate 9 2068 :world-size 6 :degenerate 6 2069 :world-size 3 :degenerate 3 2070 :world-size 2 :degenerate 2 2071 :world-size 3 :degenerate 3 2072 :world-size 1 :degenerate 1 2073 :world-size 2 :degenerate 2 2074 :world-size 4 :degenerate 4 2075 :world-size 10 :degenerate 10 2076 :world-size 5 :degenerate 5 2077 :world-size 10 :degenerate 10 2078 :world-size 6 :degenerate 6 2079 :world-size 3 :degenerate 3 2080 :world-size 2 :degenerate 2 2081 :world-size 4 :degenerate 3 2082 :world-size 1 :degenerate 1 2083 :world-size 2 :degenerate 2 2084 :world-size 1 :degenerate 1 2085 :world-size 2 :degenerate 2 2086 :world-size 4 :degenerate 4 2087 :world-size 6 :degenerate 6 2088 :world-size 3 :degenerate 3 2089 :world-size 2 :degenerate 2 2090 :world-size 1 :degenerate 1 2091 :world-size 1 :degenerate 1 2092 :world-size 1 :degenerate 1 2093 :world-size 2 :degenerate 2 2094 :world-size 1 :degenerate 1 2095 :world-size 2 :degenerate 2 2096 :world-size 5 :degenerate 4 2097 :world-size 16 :degenerate 8 2098 :world-size 4 :degenerate 4 2099 :world-size 2 :degenerate 2 2100 :world-size 1 :degenerate 1 2101 :world-size 2 :degenerate 2 2102 :world-size 1 :degenerate 1 2103 :world-size 1 :degenerate 1 2104 :world-size 1 :degenerate 1 2105 :world-size 2 :degenerate 2 2106 :world-size 4 :degenerate 4 2107 :world-size 10 :degenerate 8 2108 :world-size 4 :degenerate 4 2109 :world-size 2 :degenerate 2 2110 :world-size 1 :degenerate 1 2111 :world-size 1 :degenerate 1 2112 :world-size 1 :degenerate 1 2113 :world-size 2 :degenerate 2 2114 :world-size 1 :degenerate 1 2115 :world-size 1 :degenerate 1 2116 :world-size 3 :degenerate 3 2117 :world-size 8 :degenerate 8 2118 :world-size 5 :degenerate 5 2119 :world-size 3 :degenerate 3 2120 :world-size 2 :degenerate 2 2121 :world-size 3 :degenerate 3 2122 :world-size 2 :degenerate 2 2123 :world-size 4 :degenerate 3 2124 :world-size 1 :degenerate 1 2125 :world-size 2 :degenerate 2 2126 :world-size 4 :degenerate 4 2127 :world-size 8 :degenerate 8 2128 :world-size 4 :degenerate 4 2129 :world-size 2 :degenerate 2 2130 :world-size 1 :degenerate 1 2131 :world-size 2 :degenerate 2 2132 :world-size 1 :degenerate 1 2133 :world-size 2 :degenerate 2 2134 :world-size 1 :degenerate 1 2135 :world-size 2 :degenerate 2 2136 :world-size 2 :degenerate 2 2137 :world-size 4 :degenerate 4 2138 :world-size 4 :degenerate 4 2139 :world-size 2 :degenerate 2 2140 :world-size 1 :degenerate 1 2141 :world-size 2 :degenerate 2 2142 :world-size 1 :degenerate 1 2143 :world-size 2 :degenerate 2 2144 :world-size 1 :degenerate 1 2145 :world-size 2 :degenerate 2 2146 :world-size 1 :degenerate 1 2147 :world-size 2 :degenerate 2 2148 :world-size 4 :degenerate 4 2149 :world-size 2 :degenerate 2 2150 :world-size 1 :degenerate 1 2151 :world-size 2 :degenerate 2 2152 :world-size 1 :degenerate 1 2153 :world-size 1 :degenerate 1 2154 :world-size 1 :degenerate 1 2155 :world-size 2 :degenerate 2 2156 :world-size 2 :degenerate 2 2157 :world-size 8 :degenerate 7 2158 :world-size 4 :degenerate 4 2159 :world-size 1 :degenerate 1 2160 :world-size 1 :degenerate 1 2161 :world-size 2 :degenerate 2 2162 :world-size 1 :degenerate 1 2163 :world-size 2 :degenerate 2 2164 :world-size 1 :degenerate 1 2165 :world-size 1 :degenerate 1 2166 :world-size 2 :degenerate 2 2167 :world-size 4 :degenerate 4 2168 :world-size 4 :degenerate 4 2169 :world-size 2 :degenerate 2 2170 :world-size 1 :degenerate 1 2171 :world-size 1 :degenerate 1 2172 :world-size 1 :degenerate 1 2173 :world-size 2 :degenerate 2 2174 :world-size 1 :degenerate 1 2175 :world-size 1 :degenerate 1 2176 :world-size 3 :degenerate 3 2177 :world-size 4 :degenerate 4 2178 :world-size 2 :degenerate 2 2179 :world-size 2 :degenerate 2 2180 :world-size 1 :degenerate 1 2181 :world-size 2 :degenerate 2 2182 :world-size 1 :degenerate 1 2183 :world-size 2 :degenerate 2 2184 :world-size 1 :degenerate 1 2185 :world-size 1 :degenerate 1 2186 :world-size 1 :degenerate 1 2187 :world-size 1 :degenerate 1 2188 :world-size 1 :degenerate 1 2189 :world-size 2 :degenerate 2 2190 :world-size 1 :degenerate 1 2191 :world-size 1 :degenerate 1 2192 :world-size 1 :degenerate 1 2193 :world-size 2 :degenerate 2 2194 :world-size 1 :degenerate 1 2195 :world-size 1 :degenerate 1 2196 :world-size 2 :degenerate 2 2197 :world-size 1 :degenerate 1 2198 :world-size 1 :degenerate 1 2199 :world-size 1 :degenerate 1 2200 :world-size 1 :degenerate 1 2201 :world-size 2 :degenerate 2 2202 :world-size 1 :degenerate 1 2203 :world-size 2 :degenerate 2 2204 :world-size 1 :degenerate 1 2205 :world-size 2 :degenerate 2 2206 :world-size 4 :degenerate 4 2207 :world-size 4 :degenerate 4 2208 :world-size 2 :degenerate 2 2209 :world-size 1 :degenerate 1 2210 :world-size 1 :degenerate 1 2211 :world-size 2 :degenerate 2 2212 :world-size 1 :degenerate 1 2213 :world-size 2 :degenerate 2 2214 :world-size 1 :degenerate 1 2215 :world-size 2 :degenerate 2 2216 :world-size 4 :degenerate 4 2217 :world-size 10 :degenerate 10 2218 :world-size 5 :degenerate 5 2219 :world-size 3 :degenerate 3 2220 :world-size 2 :degenerate 2 2221 :world-size 3 :degenerate 3 2222 :world-size 1 :degenerate 1 2223 :world-size 2 :degenerate 2 2224 :world-size 1 :degenerate 1 2225 :world-size 2 :degenerate 2 2226 :world-size 3 :degenerate 3 2227 :world-size 11 :degenerate 7 2228 :world-size 4 :degenerate 4 2229 :world-size 2 :degenerate 2 2230 :world-size 1 :degenerate 1 2231 :world-size 2 :degenerate 2 2232 :world-size 1 :degenerate 1 2233 :world-size 2 :degenerate 2 2234 :world-size 1 :degenerate 1 2235 :world-size 1 :degenerate 1 2236 :world-size 1 :degenerate 1 2237 :world-size 2 :degenerate 2 2238 :world-size 4 :degenerate 4 2239 :world-size 4 :degenerate 4 2240 :world-size 2 :degenerate 2 2241 :world-size 1 :degenerate 1 2242 :world-size 1 :degenerate 1 2243 :world-size 1 :degenerate 1 2244 :world-size 2 :degenerate 2 2245 :world-size 1 :degenerate 1 2246 :world-size 2 :degenerate 2 2247 :world-size 1 :degenerate 1 2248 :world-size 2 :degenerate 2 2249 :world-size 2 :degenerate 2 2250 :world-size 4 :degenerate 4 2251 :world-size 2 :degenerate 2 2252 :world-size 2 :degenerate 2 2253 :world-size 5 :degenerate 5 2254 :world-size 3 :degenerate 3 2255 :world-size 7 :degenerate 6 2256 :world-size 3 :degenerate 3 2257 :world-size 11 :degenerate 8 2258 :world-size 3 :degenerate 3 2259 :world-size 11 :degenerate 8 2260 :world-size 5 :degenerate 5 2261 :world-size 14 :degenerate 11 2262 :world-size 5 :degenerate 5 2263 :world-size 14 :degenerate 11 2264 :world-size 5 :degenerate 5 2265 :world-size 12 :degenerate 10 2266 :world-size 5 :degenerate 5 2267 :world-size 17 :degenerate 10 2268 :world-size 5 :degenerate 5 2269 :world-size 17 :degenerate 10 2270 :world-size 5 :degenerate 5 2271 :world-size 12 :degenerate 10 2272 :world-size 5 :degenerate 5 2273 :world-size 14 :degenerate 11 2274 :world-size 5 :degenerate 5 2275 :world-size 6 :degenerate 5 2276 :world-size 5 :degenerate 5 2277 :world-size 6 :degenerate 5 2278 :world-size 5 :degenerate 5 2279 :world-size 6 :degenerate 5 2280 :world-size 5 :degenerate 5 2281 :world-size 17 :degenerate 10 2282 :world-size 5 :degenerate 5 2283 :world-size 9 :degenerate 8 2284 :world-size 5 :degenerate 5 2285 :world-size 6 :degenerate 5 2286 :world-size 5 :degenerate 5 2287 :world-size 12 :degenerate 10 2288 :world-size 5 :degenerate 5 2289 :world-size 12 :degenerate 10 2290 :world-size 5 :degenerate 5 2291 :world-size 9 :degenerate 8 2292 :world-size 5 :degenerate 5 2293 :world-size 6 :degenerate 5 2294 :world-size 5 :degenerate 5 2295 :world-size 6 :degenerate 5 2296 :world-size 5 :degenerate 5 2297 :world-size 11 :degenerate 9 2298 :world-size 5 :degenerate 5 2299 :world-size 9 :degenerate 8 2300 :world-size 5 :degenerate 5 2301 :world-size 14 :degenerate 11 2302 :world-size 6 :degenerate 6 2303 :world-size 12 :degenerate 12 2304 :world-size 6 :degenerate 6 2305 :world-size 14 :degenerate 12 2306 :world-size 6 :degenerate 6 2307 :world-size 6 :degenerate 6 2308 :world-size 6 :degenerate 6 2309 :world-size 14 :degenerate 10 2310 :world-size 6 :degenerate 6 2311 :world-size 12 :degenerate 12 2312 :world-size 6 :degenerate 6 2313 :world-size 12 :degenerate 12 2314 :world-size 6 :degenerate 6 2315 :world-size 6 :degenerate 6 2316 :world-size 6 :degenerate 6 2317 :world-size 6 :degenerate 6 2318 :world-size 6 :degenerate 6 2319 :world-size 12 :degenerate 12 2320 :world-size 6 :degenerate 6 2321 :world-size 9 :degenerate 9 2322 :world-size 6 :degenerate 6 2323 :world-size 6 :degenerate 6 2324 :world-size 6 :degenerate 6 2325 :world-size 12 :degenerate 12 2326 :world-size 6 :degenerate 6 2327 :world-size 6 :degenerate 6 2328 :world-size 6 :degenerate 6 2329 :world-size 14 :degenerate 12 2330 :world-size 6 :degenerate 6 2331 :world-size 12 :degenerate 12 2332 :world-size 6 :degenerate 6 2333 :world-size 14 :degenerate 12 2334 :world-size 6 :degenerate 6 2335 :world-size 14 :degenerate 12 2336 :world-size 6 :degenerate 6 2337 :world-size 14 :degenerate 12 2338 :world-size 6 :degenerate 6 2339 :world-size 8 :degenerate 8 2340 :world-size 6 :degenerate 6 2341 :world-size 14 :degenerate 12 2342 :world-size 6 :degenerate 6 2343 :world-size 8 :degenerate 8 2344 :world-size 6 :degenerate 6 2345 :world-size 14 :degenerate 12 2346 :world-size 6 :degenerate 6 2347 :world-size 14 :degenerate 12 2348 :world-size 6 :degenerate 6 2349 :world-size 12 :degenerate 12 2350 :world-size 6 :degenerate 6 2351 :world-size 14 :degenerate 12 2352 :world-size 6 :degenerate 6 2353 :world-size 18 :degenerate 13 2354 :world-size 6 :degenerate 6 2355 :world-size 9 :degenerate 9 2356 :world-size 6 :degenerate 6 2357 :world-size 14 :degenerate 12 2358 :world-size 6 :degenerate 6 2359 :world-size 14 :degenerate 12 2360 :world-size 6 :degenerate 6 2361 :world-size 14 :degenerate 12 2362 :world-size 6 :degenerate 6 2363 :world-size 14 :degenerate 12 2364 :world-size 6 :degenerate 6 2365 :world-size 14 :degenerate 12 2366 :world-size 6 :degenerate 6 2367 :world-size 14 :degenerate 12 2368 :world-size 6 :degenerate 6 2369 :world-size 14 :degenerate 12 2370 :world-size 6 :degenerate 6 2371 :world-size 6 :degenerate 6 2372 :world-size 14 :degenerate 12 2373 :world-size 6 :degenerate 6 2374 :world-size 14 :degenerate 12 2375 :world-size 6 :degenerate 6 2376 :world-size 12 :degenerate 12 2377 :world-size 6 :degenerate 6 2378 :world-size 6 :degenerate 6 2379 :world-size 15 :degenerate 13 2380 :world-size 6 :degenerate 6 2381 :world-size 9 :degenerate 9 2382 :world-size 6 :degenerate 6 2383 :world-size 6 :degenerate 6 2384 :world-size 6 :degenerate 6 2385 :world-size 3 :degenerate 3 2386 :world-size 1 :degenerate 1 2387 :world-size 2 :degenerate 2 2388 :world-size 1 :degenerate 1 2389 :world-size 2 :degenerate 2 2390 :world-size 1 :degenerate 1 2391 :world-size 1 :degenerate 1 2392 :world-size 1 :degenerate 1 2393 :world-size 2 :degenerate 2 2394 :world-size 5 :degenerate 4 2395 :world-size 2 :degenerate 2 2396 :world-size 1 :degenerate 1 2397 :world-size 2 :degenerate 2 2398 :world-size 1 :degenerate 1 2399 :world-size 2 :degenerate 2 2400 :world-size 1 :degenerate 1 2401 :world-size 2 :degenerate 2 2402 :world-size 1 :degenerate 1 2403 :world-size 2 :degenerate 2 2404 :world-size 5 :degenerate 5 2405 :world-size 2 :degenerate 2 2406 :world-size 1 :degenerate 1 2407 :world-size 1 :degenerate 1 2408 :world-size 1 :degenerate 1 2409 :world-size 2 :degenerate 2 2410 :world-size 1 :degenerate 1 2411 :world-size 2 :degenerate 2 2412 :world-size 1 :degenerate 1 2413 :world-size 2 :degenerate 2 2414 :world-size 2 :degenerate 2 2415 :world-size 1 :degenerate 1 2416 :world-size 1 :degenerate 1 2417 :world-size 2 :degenerate 2 2418 :world-size 1 :degenerate 1 2419 :world-size 2 :degenerate 2 2420 :world-size 1 :degenerate 1 2421 :world-size 2 :degenerate 2 2422 :world-size 1 :degenerate 1 2423 :world-size 2 :degenerate 2 2424 :world-size 2 :degenerate 2 2425 :world-size 2 :degenerate 2 2426 :world-size 1 :degenerate 1 2427 :world-size 2 :degenerate 2 2428 :world-size 1 :degenerate 1 2429 :world-size 1 :degenerate 1 2430 :world-size 1 :degenerate 1 2431 :world-size 2 :degenerate 2 2432 :world-size 1 :degenerate 1 2433 :world-size 2 :degenerate 2 2434 :world-size 5 :degenerate 4 2435 :world-size 2 :degenerate 2 2436 :world-size 1 :degenerate 1 2437 :world-size 1 :degenerate 1 2438 :world-size 1 :degenerate 1 2439 :world-size 1 :degenerate 1 2440 :world-size 1 :degenerate 1 2441 :world-size 2 :degenerate 2 2442 :world-size 1 :degenerate 1 2443 :world-size 2 :degenerate 2 2444 :world-size 5 :degenerate 4 2445 :world-size 2 :degenerate 2 2446 :world-size 1 :degenerate 1 2447 :world-size 2 :degenerate 2 2448 :world-size 1 :degenerate 1 2449 :world-size 2 :degenerate 2 2450 :world-size 1 :degenerate 1 2451 :world-size 1 :degenerate 1 2452 :world-size 1 :degenerate 1 2453 :world-size 1 :degenerate 1 2454 :world-size 2 :degenerate 2 2455 :world-size 2 :degenerate 2 2456 :world-size 1 :degenerate 1 2457 :world-size 2 :degenerate 2 2458 :world-size 1 :degenerate 1 2459 :world-size 2 :degenerate 2 2460 :world-size 1 :degenerate 1 2461 :world-size 1 :degenerate 1 2462 :world-size 1 :degenerate 1 2463 :world-size 2 :degenerate 2 2464 :world-size 5 :degenerate 5 2465 :world-size 3 :degenerate 3 2466 :world-size 2 :degenerate 2 2467 :world-size 2 :degenerate 2 2468 :world-size 2 :degenerate 2 2469 :world-size 2 :degenerate 2 2470 :world-size 2 :degenerate 2 2471 :world-size 3 :degenerate 3 2472 :world-size 1 :degenerate 1 2473 :world-size 2 :degenerate 2 2474 :world-size 3 :degenerate 3 2475 :world-size 2 :degenerate 2 2476 :world-size 1 :degenerate 1 2477 :world-size 2 :degenerate 2 2478 :world-size 1 :degenerate 1 2479 :world-size 1 :degenerate 1 2480 :world-size 1 :degenerate 1 2481 :world-size 2 :degenerate 2 2482 :world-size 1 :degenerate 1 2483 :world-size 1 :degenerate 1 2484 :world-size 2 :degenerate 2 2485 :world-size 2 :degenerate 2 2486 :world-size 1 :degenerate 1 2487 :world-size 2 :degenerate 2 2488 :world-size 1 :degenerate 1 2489 :world-size 2 :degenerate 2 2490 :world-size 1 :degenerate 1 2491 :world-size 2 :degenerate 2 2492 :world-size 1 :degenerate 1 2493 :world-size 1 :degenerate 1 2494 :world-size 1 :degenerate 1 2495 :world-size 1 :degenerate 1 2496 :world-size 1 :degenerate 1 2497 :world-size 2 :degenerate 2 2498 :world-size 1 :degenerate 1 2499 :world-size 2 :degenerate 2 2500 :world-size 1 :degenerate 1 2501 :world-size 2 :degenerate 2 2502 :world-size 1 :degenerate 1 2503 :world-size 2 :degenerate 2 2504 :world-size 4 :degenerate 4 2505 :world-size 2 :degenerate 2 2506 :world-size 1 :degenerate 1 2507 :world-size 1 :degenerate 1 2508 :world-size 1 :degenerate 1 2509 :world-size 2 :degenerate 2 2510 :world-size 1 :degenerate 1 2511 :world-size 2 :degenerate 2 2512 :world-size 1 :degenerate 1 2513 :world-size 1 :degenerate 1 2514 :world-size 2 :degenerate 2 2515 :world-size 2 :degenerate 2 2516 :world-size 1 :degenerate 1 2517 :world-size 2 :degenerate 2 2518 :world-size 1 :degenerate 1 2519 :world-size 2 :degenerate 2 2520 :world-size 1 :degenerate 1 2521 :world-size 2 :degenerate 2 2522 :world-size 1 :degenerate 1 2523 :world-size 2 :degenerate 2 2524 :world-size 3 :degenerate 3 2525 :world-size 2 :degenerate 2 2526 :world-size 1 :degenerate 1 2527 :world-size 2 :degenerate 2 2528 :world-size 1 :degenerate 1 2529 :world-size 2 :degenerate 2 2530 :world-size 1 :degenerate 1 2531 :world-size 1 :degenerate 1 2532 :world-size 1 :degenerate 1 2533 :world-size 2 :degenerate 2 2534 :world-size 5 :degenerate 4 2535 :world-size 2 :degenerate 2 2536 :world-size 1 :degenerate 1 2537 :world-size 2 :degenerate 2 2538 :world-size 1 :degenerate 1 2539 :world-size 2 :degenerate 2 2540 :world-size 1 :degenerate 1 2541 :world-size 2 :degenerate 2 2542 :world-size 1 :degenerate 1 2543 :world-size 2 :degenerate 2 2544 :world-size 4 :degenerate 4 2545 :world-size 2 :degenerate 2 2546 :world-size 1 :degenerate 1 2547 :world-size 2 :degenerate 2 2548 :world-size 1 :degenerate 1 2549 :world-size 2 :degenerate 2 2550 :world-size 1 :degenerate 1 2551 :world-size 1 :degenerate 1 2552 :world-size 1 :degenerate 1 2553 :world-size 2 :degenerate 2 2554 :world-size 1 :degenerate 1 2555 :world-size 1 :degenerate 1 2556 :world-size 1 :degenerate 1 2557 :world-size 2 :degenerate 2 2558 :world-size 1 :degenerate 1 2559 :world-size 1 :degenerate 1 2560 :world-size 1 :degenerate 1 2561 :world-size 1 :degenerate 1 2562 :world-size 1 :degenerate 1 2563 :world-size 1 :degenerate 1 2564 :world-size 1 :degenerate 1 2565 :world-size 2 :degenerate 2 2566 :world-size 1 :degenerate 1 2567 :world-size 2 :degenerate 2 2568 :world-size 1 :degenerate 1 2569 :world-size 1 :degenerate 1 2570 :world-size 2 :degenerate 2 2571 :world-size 1 :degenerate 1 2572 :world-size 2 :degenerate 2 2573 :world-size 1 :degenerate 1 2574 :world-size 2 :degenerate 2 2575 :world-size 1 :degenerate 1 2576 :world-size 2 :degenerate 2 2577 :world-size 1 :degenerate 1 2578 :world-size 2 :degenerate 2 2579 :world-size 1 :degenerate 1 2580 :world-size 2 :degenerate 2 2581 :world-size 5 :degenerate 4 2582 :world-size 12 :degenerate 8 2583 :world-size 4 :degenerate 4 2584 :world-size 6 :degenerate 4 2585 :world-size 4 :degenerate 4 2586 :world-size 4 :degenerate 4 2587 :world-size 18 :degenerate 8 2588 :world-size 4 :degenerate 4 2589 :world-size 16 :degenerate 8 2590 :world-size 4 :degenerate 4 2591 :world-size 12 :degenerate 8 2592 :world-size 4 :degenerate 4 2593 :world-size 7 :degenerate 4 2594 :world-size 4 :degenerate 4 2595 :world-size 21 :degenerate 8 2596 :world-size 4 :degenerate 4 2597 :world-size 5 :degenerate 4 2598 :world-size 4 :degenerate 4 2599 :world-size 9 :degenerate 6 2600 :world-size 4 :degenerate 4 2601 :world-size 9 :degenerate 6 2602 :world-size 4 :degenerate 4 2603 :world-size 16 :degenerate 8 2604 :world-size 4 :degenerate 4 2605 :world-size 21 :degenerate 8 2606 :world-size 4 :degenerate 4 2607 :world-size 21 :degenerate 10 2608 :world-size 4 :degenerate 4 2609 :world-size 6 :degenerate 4 2610 :world-size 4 :degenerate 4 2611 :world-size 16 :degenerate 8 2612 :world-size 4 :degenerate 4 2613 :world-size 16 :degenerate 10 2614 :world-size 4 :degenerate 4 2615 :world-size 16 :degenerate 10 2616 :world-size 6 :degenerate 6 2617 :world-size 18 :degenerate 12 2618 :world-size 6 :degenerate 6 2619 :world-size 21 :degenerate 12 2620 :world-size 6 :degenerate 6 2621 :world-size 17 :degenerate 12 2622 :world-size 6 :degenerate 6 2623 :world-size 10 :degenerate 6 2624 :world-size 6 :degenerate 6 2625 :world-size 26 :degenerate 12 2626 :world-size 6 :degenerate 6 2627 :world-size 11 :degenerate 8 2628 :world-size 6 :degenerate 6 2629 :world-size 7 :degenerate 6 2630 :world-size 6 :degenerate 6 2631 :world-size 21 :degenerate 12 2632 :world-size 6 :degenerate 6 2633 :world-size 17 :degenerate 12 2634 :world-size 6 :degenerate 6 2635 :world-size 26 :degenerate 12 2636 :world-size 6 :degenerate 6 2637 :world-size 26 :degenerate 12 2638 :world-size 6 :degenerate 6 2639 :world-size 21 :degenerate 12 2640 :world-size 6 :degenerate 6 2641 :world-size 25 :degenerate 12 2642 :world-size 6 :degenerate 6 2643 :world-size 25 :degenerate 12 2644 :world-size 6 :degenerate 6 2645 :world-size 12 :degenerate 8 2646 :world-size 6 :degenerate 6 2647 :world-size 23 :degenerate 12 2648 :world-size 6 :degenerate 6 2649 :world-size 21 :degenerate 12 2650 :world-size 6 :degenerate 6 2651 :world-size 21 :degenerate 10 2652 :world-size 4 :degenerate 4 2653 :world-size 7 :degenerate 4 2654 :world-size 4 :degenerate 4 2655 :world-size 16 :degenerate 8 2656 :world-size 4 :degenerate 4 2657 :world-size 5 :degenerate 4 2658 :world-size 4 :degenerate 4 2659 :world-size 16 :degenerate 8 2660 :world-size 4 :degenerate 4 2661 :world-size 16 :degenerate 10 2662 :world-size 4 :degenerate 4 2663 :world-size 16 :degenerate 8 2664 :world-size 4 :degenerate 4 2665 :world-size 18 :degenerate 10 2666 :world-size 4 :degenerate 4 2667 :world-size 18 :degenerate 8 2668 :world-size 4 :degenerate 4 2669 :world-size 5 :degenerate 4 2670 :world-size 4 :degenerate 4 2671 :world-size 16 :degenerate 8 2672 :world-size 4 :degenerate 4 2673 :world-size 16 :degenerate 10 2674 :world-size 4 :degenerate 4 2675 :world-size 16 :degenerate 8 2676 :world-size 4 :degenerate 4 2677 :world-size 21 :degenerate 10 2678 :world-size 4 :degenerate 4 2679 :world-size 21 :degenerate 10 2680 :world-size 4 :degenerate 4 2681 :world-size 16 :degenerate 10 2682 :world-size 4 :degenerate 4 2683 :world-size 5 :degenerate 4 2684 :world-size 4 :degenerate 4 2685 :world-size 16 :degenerate 10 2686 :world-size 4 :degenerate 4 2687 :world-size 5 :degenerate 4 2688 :world-size 4 :degenerate 4 2689 :world-size 16 :degenerate 8 2690 :world-size 4 :degenerate 4 2691 :world-size 16 :degenerate 8 2692 :world-size 4 :degenerate 4 2693 :world-size 16 :degenerate 10 2694 :world-size 6 :degenerate 6 2695 :world-size 26 :degenerate 12 2696 :world-size 6 :degenerate 6 2697 :world-size 26 :degenerate 12 2698 :world-size 6 :degenerate 6 2699 :world-size 7 :degenerate 6 2700 :world-size 6 :degenerate 6 2701 :world-size 7 :degenerate 6 2702 :world-size 6 :degenerate 6 2703 :world-size 6 :degenerate 6 2704 :world-size 21 :degenerate 12 2705 :world-size 6 :degenerate 6 2706 :world-size 21 :degenerate 12 2707 :world-size 6 :degenerate 6 2708 :world-size 26 :degenerate 12 2709 :world-size 6 :degenerate 6 2710 :world-size 6 :degenerate 6 2711 :world-size 3 :degenerate 3 2712 :world-size 7 :degenerate 6 2713 :world-size 3 :degenerate 3 2714 :world-size 7 :degenerate 6 2715 :world-size 3 :degenerate 3 2716 :world-size 7 :degenerate 6 2717 :world-size 3 :degenerate 3 2718 :world-size 3 :degenerate 3 2719 :world-size 3 :degenerate 3 2720 :world-size 4 :degenerate 4 2721 :world-size 3 :degenerate 3 2722 :world-size 7 :degenerate 6 2723 :world-size 3 :degenerate 3 2724 :world-size 7 :degenerate 6 2725 :world-size 3 :degenerate 3 2726 :world-size 7 :degenerate 6 2727 :world-size 3 :degenerate 3 2728 :world-size 7 :degenerate 6 2729 :world-size 3 :degenerate 3 2730 :world-size 3 :degenerate 3 2731 :world-size 3 :degenerate 3 2732 :world-size 3 :degenerate 3 2733 :world-size 3 :degenerate 3 2734 :world-size 3 :degenerate 3 2735 :world-size 3 :degenerate 3 2736 :world-size 7 :degenerate 6 2737 :world-size 3 :degenerate 3 2738 :world-size 7 :degenerate 6 2739 :world-size 3 :degenerate 3 2740 :world-size 7 :degenerate 6 2741 :world-size 3 :degenerate 3 2742 :world-size 7 :degenerate 6 2743 :world-size 3 :degenerate 3 2744 :world-size 1 :degenerate 1 2745 :world-size 2 :degenerate 2 2746 :world-size 1 :degenerate 1 2747 :world-size 2 :degenerate 2 2748 :world-size 1 :degenerate 1 2749 :world-size 2 :degenerate 2 2750 :world-size 1 :degenerate 1 2751 :world-size 2 :degenerate 2 2752 :world-size 1 :degenerate 1 2753 :world-size 2 :degenerate 2 2754 :world-size 1 :degenerate 1 2755 :world-size 2 :degenerate 2 2756 :world-size 1 :degenerate 1 2757 :world-size 2 :degenerate 2 2758 :world-size 1 :degenerate 1 2759 :world-size 2 :degenerate 2 2760 :world-size 1 :degenerate 1 2761 :world-size 2 :degenerate 2 2762 :world-size 1 :degenerate 1 2763 :world-size 2 :degenerate 2 2764 :world-size 1 :degenerate 1 2765 :world-size 2 :degenerate 2 2766 :world-size 1 :degenerate 1 2767 :world-size 2 :degenerate 2 2768 :world-size 1 :degenerate 1 2769 :world-size 2 :degenerate 2 2770 :world-size 1 :degenerate 1 2771 :world-size 2 :degenerate 2 2772 :world-size 1 :degenerate 1 2773 :world-size 2 :degenerate 2 2774 :world-size 1 :degenerate 1 2775 :world-size 2 :degenerate 2 2776 :world-size 1 :degenerate 1 2777 :world-size 2 :degenerate 2 2778 :world-size 1 :degenerate 1 2779 :world-size 1 :degenerate 1 2780 :world-size 1 :degenerate 1 2781 :world-size 2 :degenerate 2 2782 :world-size 1 :degenerate 1 2783 :world-size 2 :degenerate 2 2784 :world-size 1 :degenerate 1 2785 :world-size 2 :degenerate 2 2786 :world-size 1 :degenerate 1 2787 :world-size 1 :degenerate 1 2788 :world-size 1 :degenerate 1 2789 :world-size 2 :degenerate 2 2790 :world-size 1 :degenerate 1 2791 :world-size 2 :degenerate 2 2792 :world-size 1 :degenerate 1 2793 :world-size 2 :degenerate 2 2794 :world-size 1 :degenerate 1 2795 :world-size 2 :degenerate 2 2796 :world-size 1 :degenerate 1 2797 :world-size 2 :degenerate 2 2798 :world-size 1 :degenerate 1 2799 :world-size 2 :degenerate 2 2800 :world-size 1 :degenerate 1 2801 :world-size 1 :degenerate 1 2802 :world-size 1 :degenerate 1 2803 :world-size 2 :degenerate 2 2804 :world-size 1 :degenerate 1 2805 :world-size 2 :degenerate 2 2806 :world-size 1 :degenerate 1 2807 :world-size 2 :degenerate 2 2808 :world-size 1 :degenerate 1 2809 :world-size 2 :degenerate 2 2810 :world-size 1 :degenerate 1 2811 :world-size 2 :degenerate 2 2812 :world-size 1 :degenerate 1 2813 :world-size 1 :degenerate 1 2814 :world-size 1 :degenerate 1 2815 :world-size 2 :degenerate 2 2816 :world-size 1 :degenerate 1 2817 :world-size 1 :degenerate 1 2818 :world-size 1 :degenerate 1 2819 :world-size 2 :degenerate 2 2820 :world-size 1 :degenerate 1 2821 :world-size 2 :degenerate 2 2822 :world-size 1 :degenerate 1 2823 :world-size 1 :degenerate 1 2824 :world-size 1 :degenerate 1 2825 :world-size 2 :degenerate 2 2826 :world-size 1 :degenerate 1 2827 :world-size 2 :degenerate 2 2828 :world-size 1 :degenerate 1 2829 :world-size 2 :degenerate 2 2830 :world-size 1 :degenerate 1 2831 :world-size 2 :degenerate 2 2832 :world-size 1 :degenerate 1 2833 :world-size 2 :degenerate 2 2834 :world-size 1 :degenerate 1 2835 :world-size 1 :degenerate 1 2836 :world-size 1 :degenerate 1 2837 :world-size 2 :degenerate 2 2838 :world-size 1 :degenerate 1 2839 :world-size 2 :degenerate 2 2840 :world-size 1 :degenerate 1 2841 :world-size 2 :degenerate 2 2842 :world-size 1 :degenerate 1 2843 :world-size 2 :degenerate 2 2844 :world-size 1 :degenerate 1 2845 :world-size 2 :degenerate 2 2846 :world-size 1 :degenerate 1 2847 :world-size 2 :degenerate 2 2848 :world-size 1 :degenerate 1 2849 :world-size 2 :degenerate 2 2850 :world-size 1 :degenerate 1 2851 :world-size 1 :degenerate 1 2852 :world-size 1 :degenerate 1 2853 :world-size 1 :degenerate 1 2854 :world-size 1 :degenerate 1 2855 :world-size 2 :degenerate 2 2856 :world-size 1 :degenerate 1 2857 :world-size 2 :degenerate 2 2858 :world-size 1 :degenerate 1 2859 :world-size 2 :degenerate 2 2860 :world-size 1 :degenerate 1 2861 :world-size 2 :degenerate 2 2862 :world-size 1 :degenerate 1 2863 :world-size 2 :degenerate 2 2864 :world-size 1 :degenerate 1 2865 :world-size 2 :degenerate 2 2866 :world-size 1 :degenerate 1 2867 :world-size 2 :degenerate 2 2868 :world-size 1 :degenerate 1 2869 :world-size 2 :degenerate 2 2870 :world-size 1 :degenerate 1 2871 :world-size 2 :degenerate 2 2872 :world-size 1 :degenerate 1 2873 :world-size 2 :degenerate 2 2874 :world-size 1 :degenerate 1 2875 :world-size 2 :degenerate 2 2876 :world-size 1 :degenerate 1 2877 :world-size 2 :degenerate 2 2878 :world-size 1 :degenerate 1 2879 :world-size 1 :degenerate 1 2880 :world-size 1 :degenerate 1 2881 :world-size 1 :degenerate 1 2882 :world-size 1 :degenerate 1 2883 :world-size 2 :degenerate 2 2884 :world-size 1 :degenerate 1 2885 :world-size 2 :degenerate 2 2886 :world-size 1 :degenerate 1 2887 :world-size 2 :degenerate 2 2888 :world-size 1 :degenerate 1 2889 :world-size 1 :degenerate 1 2890 :world-size 1 :degenerate 1 2891 :world-size 2 :degenerate 2 2892 :world-size 1 :degenerate 1 2893 :world-size 1 :degenerate 1 2894 :world-size 1 :degenerate 1 2895 :world-size 2 :degenerate 2 2896 :world-size 1 :degenerate 1 2897 :world-size 1 :degenerate 1 2898 :world-size 1 :degenerate 1 2899 :world-size 1 :degenerate 1 2900 :world-size 2 :degenerate 2 2901 :world-size 1 :degenerate 1 2902 :world-size 1 :degenerate 1 2903 :world-size 1 :degenerate 1 2904 :world-size 2 :degenerate 2 2905 :world-size 1 :degenerate 1 2906 :world-size 1 :degenerate 1 2907 :world-size 1 :degenerate 1 2908 :world-size 2 :degenerate 2 2909 :world-size 5 :degenerate 4 2910 :world-size 2 :degenerate 2 2911 :world-size 7 :degenerate 4 2912 :world-size 2 :degenerate 2 2913 :world-size 7 :degenerate 4 2914 :world-size 4 :degenerate 4 2915 :world-size 2 :degenerate 2 2916 :world-size 7 :degenerate 4 2917 :world-size 21 :degenerate 8 2918 :world-size 4 :degenerate 4 2919 :world-size 21 :degenerate 8 2920 :world-size 4 :degenerate 4 2921 :world-size 26 :degenerate 8 2922 :world-size 4 :degenerate 4 2923 :world-size 28 :degenerate 8 2924 :world-size 4 :degenerate 4 2925 :world-size 8 :degenerate 4 2926 :world-size 4 :degenerate 4 2927 :world-size 21 :degenerate 8 2928 :world-size 4 :degenerate 4 2929 :world-size 23 :degenerate 8 2930 :world-size 4 :degenerate 4 2931 :world-size 7 :degenerate 4 2932 :world-size 4 :degenerate 4 2933 :world-size 5 :degenerate 4 2934 :world-size 4 :degenerate 4 2935 :world-size 16 :degenerate 8 2936 :world-size 4 :degenerate 4 2937 :world-size 5 :degenerate 4 2938 :world-size 4 :degenerate 4 2939 :world-size 16 :degenerate 8 2940 :world-size 4 :degenerate 4 2941 :world-size 23 :degenerate 8 2942 :world-size 4 :degenerate 4 2943 :world-size 8 :degenerate 4 2944 :world-size 4 :degenerate 4 2945 :world-size 8 :degenerate 4 2946 :world-size 4 :degenerate 4 2947 :world-size 23 :degenerate 8 2948 :world-size 4 :degenerate 4 2949 :world-size 23 :degenerate 8 2950 :world-size 4 :degenerate 4 2951 :world-size 18 :degenerate 8 2952 :world-size 4 :degenerate 4 2953 :world-size 23 :degenerate 8 2954 :world-size 4 :degenerate 4 2955 :world-size 18 :degenerate 8 2956 :world-size 4 :degenerate 4 2957 :world-size 8 :degenerate 4 2958 :world-size 4 :degenerate 4 2959 :world-size 16 :degenerate 8 2960 :world-size 4 :degenerate 4 2961 :world-size 28 :degenerate 8 2962 :world-size 4 :degenerate 4 2963 :world-size 21 :degenerate 8 2964 :world-size 4 :degenerate 4 2965 :world-size 8 :degenerate 4 2966 :world-size 4 :degenerate 4 2967 :world-size 16 :degenerate 8 2968 :world-size 4 :degenerate 4 2969 :world-size 18 :degenerate 8 2970 :world-size 4 :degenerate 4 2971 :world-size 7 :degenerate 4 2972 :world-size 4 :degenerate 4 2973 :world-size 21 :degenerate 8 2974 :world-size 4 :degenerate 4 2975 :world-size 26 :degenerate 8 2976 :world-size 4 :degenerate 4 2977 :world-size 21 :degenerate 8 2978 :world-size 4 :degenerate 4 2979 :world-size 21 :degenerate 8 2980 :world-size 4 :degenerate 4 2981 :world-size 5 :degenerate 4 2982 :world-size 4 :degenerate 4 2983 :world-size 16 :degenerate 8 2984 :world-size 4 :degenerate 4 2985 :world-size 23 :degenerate 8 2986 :world-size 4 :degenerate 4 2987 :world-size 6 :degenerate 4 2988 :world-size 4 :degenerate 4 2989 :world-size 16 :degenerate 8 2990 :world-size 4 :degenerate 4 2991 :world-size 23 :degenerate 8 2992 :world-size 4 :degenerate 4 2993 :world-size 23 :degenerate 8 2994 :world-size 4 :degenerate 4 2995 :world-size 6 :degenerate 4 2996 :world-size 4 :degenerate 4 2997 :world-size 18 :degenerate 8 2998 :world-size 4 :degenerate 4 2999 :world-size 23 :degenerate 8 3000 :world-size 4 :degenerate 4 3001 :world-size 18 :degenerate 8 3002 :world-size 4 :degenerate 4 3003 :world-size 18 :degenerate 8 3004 :world-size 4 :degenerate 4 3005 :world-size 10 :degenerate 4 3006 :world-size 4 :degenerate 4 3007 :world-size 8 :degenerate 4 3008 :world-size 4 :degenerate 4 3009 :world-size 16 :degenerate 8 3010 :world-size 4 :degenerate 4 3011 :world-size 9 :degenerate 4 3012 :world-size 4 :degenerate 4 3013 :world-size 26 :degenerate 8 3014 :world-size 4 :degenerate 4 3015 :world-size 10 :degenerate 4 3016 :world-size 4 :degenerate 4 3017 :world-size 18 :degenerate 8 3018 :world-size 4 :degenerate 4 3019 :world-size 26 :degenerate 8 3020 :world-size 4 :degenerate 4 3021 :world-size 9 :degenerate 4 3022 :world-size 4 :degenerate 4 3023 :world-size 8 :degenerate 4 3024 :world-size 4 :degenerate 4 3025 :world-size 5 :degenerate 4 3026 :world-size 4 :degenerate 4 3027 :world-size 16 :degenerate 8 3028 :world-size 4 :degenerate 4 3029 :world-size 18 :degenerate 8 3030 :world-size 4 :degenerate 4 3031 :world-size 2 :degenerate 2 3032 :world-size 1 :degenerate 1 3033 :world-size 1 :degenerate 1 3034 :world-size 1 :degenerate 1 3035 :world-size 1 :degenerate 1 3036 :world-size 1 :degenerate 1 3037 :world-size 1 :degenerate 1 3038 :world-size 2 :degenerate 2 3039 :world-size 1 :degenerate 1 3040 :world-size 1 :degenerate 1 3041 :world-size 1 :degenerate 1 3042 :world-size 2 :degenerate 2 3043 :world-size 1 :degenerate 1 3044 :world-size 1 :degenerate 1 3045 :world-size 2 :degenerate 2 3046 :world-size 1 :degenerate 1 3047 :world-size 2 :degenerate 2 3048 :world-size 1 :degenerate 1 3049 :world-size 2 :degenerate 2 3050 :world-size 1 :degenerate 1 3051 :world-size 1 :degenerate 1 3052 :world-size 1 :degenerate 1 3053 :world-size 2 :degenerate 2 3054 :world-size 1 :degenerate 1 3055 :world-size 2 :degenerate 2 3056 :world-size 1 :degenerate 1 3057 :world-size 2 :degenerate 2 3058 :world-size 1 :degenerate 1 3059 :world-size 2 :degenerate 2 3060 :world-size 1 :degenerate 1 3061 :world-size 2 :degenerate 2 3062 :world-size 1 :degenerate 1 3063 :world-size 1 :degenerate 1 3064 :world-size 1 :degenerate 1 3065 :world-size 2 :degenerate 2 3066 :world-size 1 :degenerate 1 3067 :world-size 1 :degenerate 1 3068 :world-size 1 :degenerate 1 3069 :world-size 2 :degenerate 2 3070 :world-size 1 :degenerate 1 3071 :world-size 2 :degenerate 2 3072 :world-size 1 :degenerate 1 3073 :world-size 2 :degenerate 2 3074 :world-size 1 :degenerate 1 3075 :world-size 2 :degenerate 2 3076 :world-size 1 :degenerate 1 3077 :world-size 1 :degenerate 1 3078 :world-size 1 :degenerate 1 3079 :world-size 2 :degenerate 2 3080 :world-size 1 :degenerate 1 3081 :world-size 2 :degenerate 2 3082 :world-size 1 :degenerate 1 3083 :world-size 2 :degenerate 2 3084 :world-size 1 :degenerate 1 3085 :world-size 2 :degenerate 2 3086 :world-size 1 :degenerate 1 3087 :world-size 1 :degenerate 1 3088 :world-size 1 :degenerate 1 3089 :world-size 2 :degenerate 2 3090 :world-size 1 :degenerate 1 3091 :world-size 2 :degenerate 2 3092 :world-size 1 :degenerate 1 3093 :world-size 2 :degenerate 2 3094 :world-size 1 :degenerate 1 3095 :world-size 2 :degenerate 2 3096 :world-size 1 :degenerate 1 3097 :world-size 2 :degenerate 2 3098 :world-size 1 :degenerate 1 3099 :world-size 2 :degenerate 2 3100 :world-size 1 :degenerate 1 3101 :world-size 1 :degenerate 1 3102 :world-size 1 :degenerate 1 3103 :world-size 2 :degenerate 2 3104 :world-size 1 :degenerate 1 3105 :world-size 2 :degenerate 2 3106 :world-size 1 :degenerate 1 3107 :world-size 1 :degenerate 1 3108 :world-size 1 :degenerate 1 3109 :world-size 2 :degenerate 2 3110 :world-size 1 :degenerate 1 3111 :world-size 1 :degenerate 1 3112 :world-size 1 :degenerate 1 3113 :world-size 1 :degenerate 1 3114 :world-size 1 :degenerate 1 3115 :world-size 2 :degenerate 2 3116 :world-size 1 :degenerate 1 3117 :world-size 2 :degenerate 2 3118 :world-size 1 :degenerate 1 3119 :world-size 2 :degenerate 2 3120 :world-size 1 :degenerate 1 3121 :world-size 2 :degenerate 2 3122 :world-size 1 :degenerate 1 3123 :world-size 2 :degenerate 2 3124 :world-size 1 :degenerate 1 3125 :world-size 1 :degenerate 1 3126 :world-size 1 :degenerate 1 3127 :world-size 2 :degenerate 2 3128 :world-size 1 :degenerate 1 3129 :world-size 2 :degenerate 2 3130 :world-size 1 :degenerate 1 3131 :world-size 1 :degenerate 1 3132 :world-size 1 :degenerate 1 3133 :world-size 2 :degenerate 2 3134 :world-size 1 :degenerate 1 3135 :world-size 2 :degenerate 2 3136 :world-size 1 :degenerate 1 3137 :world-size 2 :degenerate 2 3138 :world-size 1 :degenerate 1 3139 :world-size 1 :degenerate 1 3140 :world-size 1 :degenerate 1 3141 :world-size 2 :degenerate 2 3142 :world-size 1 :degenerate 1 3143 :world-size 2 :degenerate 2 3144 :world-size 1 :degenerate 1 3145 :world-size 2 :degenerate 2 3146 :world-size 1 :degenerate 1 3147 :world-size 2 :degenerate 2 3148 :world-size 1 :degenerate 1 3149 :world-size 2 :degenerate 2 3150 :world-size 1 :degenerate 1 3151 :world-size 2 :degenerate 2 3152 :world-size 1 :degenerate 1 3153 :world-size 2 :degenerate 2 3154 :world-size 1 :degenerate 1 3155 :world-size 1 :degenerate 1 3156 :world-size 1 :degenerate 1 3157 :world-size 1 :degenerate 1 3158 :world-size 1 :degenerate 1 3159 :world-size 2 :degenerate 2 3160 :world-size 1 :degenerate 1 3161 :world-size 2 :degenerate 2 3162 :world-size 1 :degenerate 1 3163 :world-size 2 :degenerate 2 3164 :world-size 1 :degenerate 1 3165 :world-size 2 :degenerate 2 3166 :world-size 1 :degenerate 1 3167 :world-size 1 :degenerate 1 3168 :world-size 1 :degenerate 1 3169 :world-size 1 :degenerate 1 3170 :world-size 1 :degenerate 1 3171 :world-size 2 :degenerate 2 3172 :world-size 1 :degenerate 1 3173 :world-size 2 :degenerate 2 3174 :world-size 1 :degenerate 1 3175 :world-size 2 :degenerate 2 3176 :world-size 1 :degenerate 1 3177 :world-size 2 :degenerate 2 3178 :world-size 1 :degenerate 1 3179 :world-size 2 :degenerate 2 3180 :world-size 1 :degenerate 1 3181 :world-size 2 :degenerate 2 3182 :world-size 1 :degenerate 1 3183 :world-size 2 :degenerate 2 3184 :world-size 1 :degenerate 1 3185 :world-size 2 :degenerate 2 3186 :world-size 1 :degenerate 1 3187 :world-size 2 :degenerate 2 3188 :world-size 1 :degenerate 1 3189 :world-size 2 :degenerate 2 3190 :world-size 1 :degenerate 1 3191 :world-size 1 :degenerate 1 3192 :world-size 1 :degenerate 1 3193 :world-size 2 :degenerate 2 3194 :world-size 1 :degenerate 1 3195 :world-size 2 :degenerate 2 3196 :world-size 1 :degenerate 1 3197 :world-size 2 :degenerate 2 3198 :world-size 1 :degenerate 1 3199 :world-size 1 :degenerate 1 3200 :world-size 1 :degenerate 1 3201 :world-size 2 :degenerate 2 3202 :world-size 1 :degenerate 1 3203 :world-size 1 :degenerate 1 3204 :world-size 1 :degenerate 1 3205 :world-size 1 :degenerate 1 3206 :world-size 1 :degenerate 1 3207 :world-size 2 :degenerate 2 3208 :world-size 1 :degenerate 1 3209 :world-size 2 :degenerate 2 3210 :world-size 1 :degenerate 1 3211 :world-size 1 :degenerate 1 3212 :world-size 1 :degenerate 1 3213 :world-size 2 :degenerate 2 3214 :world-size 1 :degenerate 1 3215 :world-size 2 :degenerate 2 3216 :world-size 1 :degenerate 1 3217 :world-size 2 :degenerate 2 3218 :world-size 1 :degenerate 1 3219 :world-size 2 :degenerate 2 3220 :world-size 1 :degenerate 1 3221 :world-size 1 :degenerate 1 3222 :world-size 1 :degenerate 1 3223 :world-size 2 :degenerate 2 3224 :world-size 1 :degenerate 1 3225 :world-size 2 :degenerate 2 3226 :world-size 1 :degenerate 1 3227 :world-size 1 :degenerate 1 3228 :world-size 1 :degenerate 1 3229 :world-size 2 :degenerate 2 3230 :world-size 1 :degenerate 1 3231 :world-size 2 :degenerate 2 3232 :world-size 1 :degenerate 1 3233 :world-size 2 :degenerate 2 3234 :world-size 1 :degenerate 1 3235 :world-size 2 :degenerate 2 3236 :world-size 1 :degenerate 1 3237 :world-size 2 :degenerate 2 3238 :world-size 1 :degenerate 1 3239 :world-size 1 :degenerate 1 3240 :world-size 1 :degenerate 1 3241 :world-size 1 :degenerate 1 3242 :world-size 1 :degenerate 1 3243 :world-size 1 :degenerate 1 3244 :world-size 1 :degenerate 1 3245 :world-size 1 :degenerate 1 3246 :world-size 2 :degenerate 2 3247 :world-size 1 :degenerate 1 3248 :world-size 2 :degenerate 2 3249 :world-size 1 :degenerate 1 3250 :world-size 2 :degenerate 2 3251 :world-size 1 :degenerate 1 3252 :world-size 2 :degenerate 2 3253 :world-size 5 :degenerate 5 3254 :world-size 3 :degenerate 3 3255 :world-size 7 :degenerate 6 3256 :world-size 6 :degenerate 6 3257 :world-size 14 :degenerate 11 3258 :world-size 6 :degenerate 6 3259 :world-size 14 :degenerate 12 3260 :world-size 6 :degenerate 6 3261 :world-size 21 :degenerate 14 3262 :world-size 8 :degenerate 8 3263 :world-size 16 :degenerate 11 3264 :world-size 8 :degenerate 8 3265 :world-size 14 :degenerate 11 3266 :world-size 8 :degenerate 8 3267 :world-size 20 :degenerate 16 3268 :world-size 8 :degenerate 8 3269 :world-size 20 :degenerate 16 3270 :world-size 8 :degenerate 8 3271 :world-size 28 :degenerate 16 3272 :world-size 8 :degenerate 8 3273 :world-size 30 :degenerate 16 3274 :world-size 8 :degenerate 8 3275 :world-size 28 :degenerate 16 3276 :world-size 8 :degenerate 8 3277 :world-size 21 :degenerate 16 3278 :world-size 8 :degenerate 8 3279 :world-size 20 :degenerate 14 3280 :world-size 8 :degenerate 8 3281 :world-size 20 :degenerate 16 3282 :world-size 8 :degenerate 8 3283 :world-size 20 :degenerate 16 3284 :world-size 8 :degenerate 8 3285 :world-size 10 :degenerate 8 3286 :world-size 8 :degenerate 8 3287 :world-size 10 :degenerate 8 3288 :world-size 8 :degenerate 8 3289 :world-size 28 :degenerate 16 3290 :world-size 8 :degenerate 8 3291 :world-size 20 :degenerate 16 3292 :world-size 8 :degenerate 8 3293 :world-size 20 :degenerate 16 3294 :world-size 8 :degenerate 8 3295 :world-size 20 :degenerate 16 3296 :world-size 8 :degenerate 8 3297 :world-size 10 :degenerate 8 3298 :world-size 8 :degenerate 8 3299 :world-size 20 :degenerate 16 3300 :world-size 8 :degenerate 8 3301 :world-size 10 :degenerate 8 3302 :world-size 8 :degenerate 8 3303 :world-size 20 :degenerate 16 3304 :world-size 8 :degenerate 8 3305 :world-size 20 :degenerate 16 3306 :world-size 8 :degenerate 8 3307 :world-size 20 :degenerate 16 3308 :world-size 8 :degenerate 8 3309 :world-size 20 :degenerate 16 3310 :world-size 8 :degenerate 8 3311 :world-size 28 :degenerate 16 3312 :world-size 8 :degenerate 8 3313 :world-size 28 :degenerate 16 3314 :world-size 8 :degenerate 8 3315 :world-size 21 :degenerate 16 3316 :world-size 8 :degenerate 8 3317 :world-size 20 :degenerate 16 3318 :world-size 8 :degenerate 8 3319 :world-size 10 :degenerate 8 3320 :world-size 8 :degenerate 8 3321 :world-size 20 :degenerate 16 3322 :world-size 8 :degenerate 8 3323 :world-size 20 :degenerate 16 3324 :world-size 8 :degenerate 8 3325 :world-size 14 :degenerate 11 3326 :world-size 8 :degenerate 8 3327 :world-size 10 :degenerate 8 3328 :world-size 8 :degenerate 8 3329 :world-size 10 :degenerate 8 3330 :world-size 8 :degenerate 8 3331 :world-size 20 :degenerate 14 3332 :world-size 8 :degenerate 8 3333 :world-size 28 :degenerate 16 3334 :world-size 8 :degenerate 8 3335 :world-size 16 :degenerate 11 3336 :world-size 8 :degenerate 8 3337 :world-size 28 :degenerate 16 3338 :world-size 8 :degenerate 8 3339 :world-size 15 :degenerate 11 3340 :world-size 8 :degenerate 8 3341 :world-size 20 :degenerate 16 3342 :world-size 8 :degenerate 8 3343 :world-size 20 :degenerate 16 3344 :world-size 8 :degenerate 8 3345 :world-size 10 :degenerate 8 3346 :world-size 8 :degenerate 8 3347 :world-size 28 :degenerate 14 3348 :world-size 6 :degenerate 6 3349 :world-size 26 :degenerate 12 3350 :world-size 6 :degenerate 6 3351 :world-size 20 :degenerate 12 3352 :world-size 6 :degenerate 6 3353 :world-size 23 :degenerate 14 3354 :world-size 8 :degenerate 8 3355 :world-size 20 :degenerate 16 3356 :world-size 8 :degenerate 8 3357 :world-size 28 :degenerate 14 3358 :world-size 6 :degenerate 6 3359 :world-size 21 :degenerate 12 3360 :world-size 6 :degenerate 6 3361 :world-size 21 :degenerate 14 3362 :world-size 8 :degenerate 8 3363 :world-size 30 :degenerate 16 3364 :world-size 8 :degenerate 8 3365 :world-size 20 :degenerate 16 3366 :world-size 8 :degenerate 8 3367 :world-size 28 :degenerate 16 3368 :world-size 8 :degenerate 8 3369 :world-size 30 :degenerate 16 3370 :world-size 8 :degenerate 8 3371 :world-size 3 :degenerate 3 3372 :world-size 6 :degenerate 6 3373 :world-size 3 :degenerate 3 3374 :world-size 3 :degenerate 3 3375 :world-size 6 :degenerate 6 3376 :world-size 3 :degenerate 3 3377 :world-size 6 :degenerate 6 3378 :world-size 3 :degenerate 3 3379 :world-size 7 :degenerate 6 3380 :world-size 3 :degenerate 3 3381 :world-size 3 :degenerate 3 3382 :world-size 3 :degenerate 3 3383 :world-size 3 :degenerate 3 3384 :world-size 7 :degenerate 6 3385 :world-size 3 :degenerate 3 3386 :world-size 7 :degenerate 6 3387 :world-size 3 :degenerate 3 3388 :world-size 7 :degenerate 5 3389 :world-size 3 :degenerate 3 3390 :world-size 7 :degenerate 6 3391 :world-size 3 :degenerate 3 3392 :world-size 7 :degenerate 6 3393 :world-size 3 :degenerate 3 3394 :world-size 7 :degenerate 6 3395 :world-size 2 :degenerate 2 3396 :world-size 1 :degenerate 1 3397 :world-size 2 :degenerate 2 3398 :world-size 1 :degenerate 1 3399 :world-size 1 :degenerate 1 3400 :world-size 1 :degenerate 1 3401 :world-size 2 :degenerate 2 3402 :world-size 1 :degenerate 1 3403 :world-size 1 :degenerate 1 3404 :world-size 2 :degenerate 2 3405 :world-size 2 :degenerate 2 3406 :world-size 1 :degenerate 1 3407 :world-size 2 :degenerate 2 3408 :world-size 1 :degenerate 1 3409 :world-size 2 :degenerate 2 3410 :world-size 1 :degenerate 1 3411 :world-size 2 :degenerate 2 3412 :world-size 1 :degenerate 1 3413 :world-size 2 :degenerate 2 3414 :world-size 2 :degenerate 2 3415 :world-size 1 :degenerate 1 3416 :world-size 1 :degenerate 1 3417 :world-size 2 :degenerate 2 3418 :world-size 1 :degenerate 1 3419 :world-size 2 :degenerate 2 3420 :world-size 1 :degenerate 1 3421 :world-size 2 :degenerate 2 3422 :world-size 1 :degenerate 1 3423 :world-size 2 :degenerate 2 3424 :world-size 5 :degenerate 4 3425 :world-size 2 :degenerate 2 3426 :world-size 1 :degenerate 1 3427 :world-size 2 :degenerate 2 3428 :world-size 1 :degenerate 1 3429 :world-size 2 :degenerate 2 3430 :world-size 1 :degenerate 1 3431 :world-size 2 :degenerate 2 3432 :world-size 1 :degenerate 1 3433 :world-size 1 :degenerate 1 3434 :world-size 2 :degenerate 2 3435 :world-size 2 :degenerate 2 3436 :world-size 1 :degenerate 1 3437 :world-size 2 :degenerate 2 3438 :world-size 1 :degenerate 1 3439 :world-size 2 :degenerate 2 3440 :world-size 1 :degenerate 1 3441 :world-size 2 :degenerate 2 3442 :world-size 1 :degenerate 1 3443 :world-size 1 :degenerate 1 3444 :world-size 2 :degenerate 2 3445 :world-size 2 :degenerate 2 3446 :world-size 1 :degenerate 1 3447 :world-size 1 :degenerate 1 3448 :world-size 1 :degenerate 1 3449 :world-size 2 :degenerate 2 3450 :world-size 1 :degenerate 1 3451 :world-size 2 :degenerate 2 3452 :world-size 1 :degenerate 1 3453 :world-size 2 :degenerate 2 3454 :world-size 4 :degenerate 4 3455 :world-size 2 :degenerate 2 3456 :world-size 1 :degenerate 1 3457 :world-size 2 :degenerate 2 3458 :world-size 1 :degenerate 1 3459 :world-size 2 :degenerate 2 3460 :world-size 1 :degenerate 1 3461 :world-size 2 :degenerate 2 3462 :world-size 1 :degenerate 1 3463 :world-size 2 :degenerate 2 3464 :world-size 5 :degenerate 4 3465 :world-size 2 :degenerate 2 3466 :world-size 1 :degenerate 1 3467 :world-size 2 :degenerate 2 3468 :world-size 1 :degenerate 1 3469 :world-size 2 :degenerate 2 3470 :world-size 1 :degenerate 1 3471 :world-size 2 :degenerate 2 3472 :world-size 1 :degenerate 1 3473 :world-size 2 :degenerate 2 3474 :world-size 5 :degenerate 4 3475 :world-size 2 :degenerate 2 3476 :world-size 1 :degenerate 1 3477 :world-size 2 :degenerate 2 3478 :world-size 1 :degenerate 1 3479 :world-size 2 :degenerate 2 3480 :world-size 1 :degenerate 1 3481 :world-size 2 :degenerate 2 3482 :world-size 1 :degenerate 1 3483 :world-size 2 :degenerate 2 3484 :world-size 2 :degenerate 2 3485 :world-size 2 :degenerate 2 3486 :world-size 1 :degenerate 1 3487 :world-size 2 :degenerate 2 3488 :world-size 1 :degenerate 1 3489 :world-size 1 :degenerate 1 3490 :world-size 1 :degenerate 1 3491 :world-size 2 :degenerate 2 3492 :world-size 1 :degenerate 1 3493 :world-size 1 :degenerate 1 3494 :world-size 2 :degenerate 2 3495 :world-size 2 :degenerate 2 3496 :world-size 1 :degenerate 1 3497 :world-size 2 :degenerate 2 3498 :world-size 1 :degenerate 1 3499 :world-size 2 :degenerate 2 3500 :world-size 1 :degenerate 1 3501 :world-size 2 :degenerate 2 3502 :world-size 1 :degenerate 1 3503 :world-size 2 :degenerate 2 3504 :world-size 4 :degenerate 4 3505 :world-size 2 :degenerate 2 3506 :world-size 1 :degenerate 1 3507 :world-size 1 :degenerate 1 3508 :world-size 1 :degenerate 1 3509 :world-size 2 :degenerate 2 3510 :world-size 1 :degenerate 1 3511 :world-size 2 :degenerate 2 3512 :world-size 1 :degenerate 1 3513 :world-size 2 :degenerate 2 3514 :world-size 5 :degenerate 4 3515 :world-size 2 :degenerate 2 3516 :world-size 1 :degenerate 1 3517 :world-size 2 :degenerate 2 3518 :world-size 1 :degenerate 1 3519 :world-size 1 :degenerate 1 3520 :world-size 1 :degenerate 1 3521 :world-size 1 :degenerate 1 3522 :world-size 1 :degenerate 1 3523 :world-size 2 :degenerate 2 3524 :world-size 3 :degenerate 3 3525 :world-size 1 :degenerate 1 3526 :world-size 1 :degenerate 1 3527 :world-size 2 :degenerate 2 3528 :world-size 1 :degenerate 1 3529 :world-size 2 :degenerate 2 3530 :world-size 1 :degenerate 1 3531 :world-size 2 :degenerate 2 3532 :world-size 1 :degenerate 1 3533 :world-size 2 :degenerate 2 3534 :world-size 5 :degenerate 5 3535 :world-size 3 :degenerate 3 3536 :world-size 2 :degenerate 2 3537 :world-size 4 :degenerate 3 3538 :world-size 1 :degenerate 1 3539 :world-size 2 :degenerate 2 3540 :world-size 1 :degenerate 1 3541 :world-size 1 :degenerate 1 3542 :world-size 1 :degenerate 1 3543 :world-size 2 :degenerate 2 3544 :world-size 5 :degenerate 4 3545 :world-size 2 :degenerate 2 3546 :world-size 1 :degenerate 1 3547 :world-size 2 :degenerate 2 3548 :world-size 1 :degenerate 1 3549 :world-size 2 :degenerate 2 3550 :world-size 1 :degenerate 1 3551 :world-size 2 :degenerate 2 3552 :world-size 1 :degenerate 1 3553 :world-size 2 :degenerate 2 3554 :world-size 4 :degenerate 4 3555 :world-size 2 :degenerate 2 3556 :world-size 1 :degenerate 1 3557 :world-size 1 :degenerate 1 3558 :world-size 1 :degenerate 1 3559 :world-size 1 :degenerate 1 3560 :world-size 1 :degenerate 1 3561 :world-size 2 :degenerate 2 3562 :world-size 1 :degenerate 1 3563 :world-size 2 :degenerate 2 3564 :world-size 2 :degenerate 2 3565 :world-size 1 :degenerate 1 3566 :world-size 1 :degenerate 1 3567 :world-size 1 :degenerate 1 3568 :world-size 1 :degenerate 1 3569 :world-size 1 :degenerate 1 3570 :world-size 1 :degenerate 1 3571 :world-size 2 :degenerate 2 3572 :world-size 1 :degenerate 1 3573 :world-size 1 :degenerate 1 3574 :world-size 2 :degenerate 2 3575 :world-size 2 :degenerate 2 3576 :world-size 1 :degenerate 1 3577 :world-size 2 :degenerate 2 3578 :world-size 1 :degenerate 1 3579 :world-size 1 :degenerate 1 3580 :world-size 2 :degenerate 2 3581 :world-size 1 :degenerate 1 3582 :world-size 2 :degenerate 2 3583 :world-size 1 :degenerate 1 3584 :world-size 2 :degenerate 2 3585 :world-size 4 :degenerate 4 3586 :world-size 10 :degenerate 10 3587 :world-size 6 :degenerate 6 3588 :world-size 3 :degenerate 3 3589 :world-size 2 :degenerate 2 3590 :world-size 4 :degenerate 3 3591 :world-size 1 :degenerate 1 3592 :world-size 2 :degenerate 2 3593 :world-size 1 :degenerate 1 3594 :world-size 1 :degenerate 1 3595 :world-size 2 :degenerate 2 3596 :world-size 5 :degenerate 4 3597 :world-size 2 :degenerate 2 3598 :world-size 3 :degenerate 3 3599 :world-size 2 :degenerate 2 3600 :world-size 1 :degenerate 1 3601 :world-size 2 :degenerate 2 3602 :world-size 5 :degenerate 4 3603 :world-size 2 :degenerate 2 3604 :world-size 7 :degenerate 4 3605 :world-size 7 :degenerate 4 3606 :world-size 2 :degenerate 2 3607 :world-size 7 :degenerate 4 3608 :world-size 4 :degenerate 4 3609 :world-size 2 :degenerate 2 3610 :world-size 7 :degenerate 4 3611 :world-size 2 :degenerate 2 3612 :world-size 7 :degenerate 4 3613 :world-size 2 :degenerate 2 3614 :world-size 5 :degenerate 4 3615 :world-size 12 :degenerate 8 3616 :world-size 4 :degenerate 4 3617 :world-size 2 :degenerate 2 3618 :world-size 7 :degenerate 4 3619 :world-size 2 :degenerate 2 3620 :world-size 3 :degenerate 2 3621 :world-size 2 :degenerate 2 3622 :world-size 7 :degenerate 4 3623 :world-size 21 :degenerate 8 3624 :world-size 4 :degenerate 4 3625 :world-size 2 :degenerate 2 3626 :world-size 7 :degenerate 4 3627 :world-size 2 :degenerate 2 3628 :world-size 3 :degenerate 2 3629 :world-size 2 :degenerate 2 3630 :world-size 5 :degenerate 4 3631 :world-size 5 :degenerate 4 3632 :world-size 2 :degenerate 2 3633 :world-size 2 :degenerate 2 3634 :world-size 7 :degenerate 4 3635 :world-size 2 :degenerate 2 3636 :world-size 7 :degenerate 4 3637 :world-size 2 :degenerate 2 3638 :world-size 5 :degenerate 4 3639 :world-size 12 :degenerate 8 3640 :world-size 4 :degenerate 4 3641 :world-size 2 :degenerate 2 3642 :world-size 3 :degenerate 2 3643 :world-size 2 :degenerate 2 3644 :world-size 7 :degenerate 4 3645 :world-size 2 :degenerate 2 3646 :world-size 7 :degenerate 4 3647 :world-size 16 :degenerate 10 3648 :world-size 6 :degenerate 6 3649 :world-size 4 :degenerate 4 3650 :world-size 8 :degenerate 6 3651 :world-size 2 :degenerate 2 3652 :world-size 2 :degenerate 2 3653 :world-size 2 :degenerate 2 3654 :world-size 5 :degenerate 4 3655 :world-size 16 :degenerate 8 3656 :world-size 4 :degenerate 4 3657 :world-size 2 :degenerate 2 3658 :world-size 7 :degenerate 4 3659 :world-size 2 :degenerate 2 3660 :world-size 3 :degenerate 2 3661 :world-size 2 :degenerate 2 3662 :world-size 7 :degenerate 4 3663 :world-size 6 :degenerate 4 3664 :world-size 4 :degenerate 4 3665 :world-size 2 :degenerate 2 3666 :world-size 7 :degenerate 4 3667 :world-size 2 :degenerate 2 3668 :world-size 5 :degenerate 4 3669 :world-size 2 :degenerate 2 3670 :world-size 5 :degenerate 4 3671 :world-size 16 :degenerate 8 3672 :world-size 4 :degenerate 4 3673 :world-size 2 :degenerate 2 3674 :world-size 5 :degenerate 4 3675 :world-size 2 :degenerate 2 3676 :world-size 7 :degenerate 4 3677 :world-size 2 :degenerate 2 3678 :world-size 7 :degenerate 4 3679 :world-size 5 :degenerate 4 3680 :world-size 4 :degenerate 4 3681 :world-size 2 :degenerate 2 3682 :world-size 5 :degenerate 4 3683 :world-size 2 :degenerate 2 3684 :world-size 7 :degenerate 4 3685 :world-size 2 :degenerate 2 3686 :world-size 7 :degenerate 4 3687 :world-size 12 :degenerate 8 3688 :world-size 4 :degenerate 4 3689 :world-size 2 :degenerate 2 3690 :world-size 3 :degenerate 2 3691 :world-size 2 :degenerate 2 3692 :world-size 5 :degenerate 4 3693 :world-size 2 :degenerate 2 3694 :world-size 5 :degenerate 4 3695 :world-size 5 :degenerate 4 3696 :world-size 2 :degenerate 2 3697 :world-size 2 :degenerate 2 3698 :world-size 5 :degenerate 4 3699 :world-size 2 :degenerate 2 3700 :world-size 7 :degenerate 4 3701 :world-size 2 :degenerate 2 3702 :world-size 5 :degenerate 4 3703 :world-size 5 :degenerate 4 3704 :world-size 4 :degenerate 4 3705 :world-size 2 :degenerate 2 3706 :world-size 7 :degenerate 4 3707 :world-size 2 :degenerate 2 3708 :world-size 7 :degenerate 4 3709 :world-size 2 :degenerate 2 3710 :world-size 5 :degenerate 4 3711 :world-size 16 :degenerate 10 3712 :world-size 6 :degenerate 6 3713 :world-size 4 :degenerate 4 3714 :world-size 8 :degenerate 6 3715 :world-size 4 :degenerate 4 3716 :world-size 12 :degenerate 8 3717 :world-size 4 :degenerate 4 3718 :world-size 8 :degenerate 6 3719 :world-size 17 :degenerate 10 3720 :world-size 4 :degenerate 4 3721 :world-size 2 :degenerate 2 3722 :world-size 7 :degenerate 4 3723 :world-size 2 :degenerate 2 3724 :world-size 3 :degenerate 2 3725 :world-size 2 :degenerate 2 3726 :world-size 2 :degenerate 2 3727 :world-size 5 :degenerate 4 3728 :world-size 4 :degenerate 4 3729 :world-size 2 :degenerate 2 3730 :world-size 5 :degenerate 4 3731 :world-size 2 :degenerate 2 3732 :world-size 3 :degenerate 2 3733 :world-size 2 :degenerate 2 3734 :world-size 5 :degenerate 4 3735 :world-size 12 :degenerate 8 3736 :world-size 4 :degenerate 4 3737 :world-size 2 :degenerate 2 3738 :world-size 7 :degenerate 4 3739 :world-size 2 :degenerate 2 3740 :world-size 5 :degenerate 4 3741 :world-size 2 :degenerate 2 3742 :world-size 2 :degenerate 2 3743 :world-size 5 :degenerate 4 3744 :world-size 4 :degenerate 4 3745 :world-size 2 :degenerate 2 3746 :world-size 7 :degenerate 4 3747 :world-size 2 :degenerate 2 3748 :world-size 7 :degenerate 4 3749 :world-size 2 :degenerate 2 3750 :world-size 2 :degenerate 2 3751 :world-size 5 :degenerate 4 3752 :world-size 4 :degenerate 4 3753 :world-size 2 :degenerate 2 3754 :world-size 2 :degenerate 2 3755 :world-size 5 :degenerate 4 3756 :world-size 2 :degenerate 2 3757 :world-size 7 :degenerate 4 3758 :world-size 2 :degenerate 2 3759 :world-size 5 :degenerate 4 3760 :world-size 5 :degenerate 4 3761 :world-size 2 :degenerate 2 3762 :world-size 2 :degenerate 2 3763 :world-size 2 :degenerate 2 3764 :world-size 1 :degenerate 1 3765 :world-size 2 :degenerate 2 3766 :world-size 1 :degenerate 1 3767 :world-size 2 :degenerate 2 3768 :world-size 1 :degenerate 1 3769 :world-size 1 :degenerate 1 3770 :world-size 1 :degenerate 1 3771 :world-size 1 :degenerate 1 3772 :world-size 1 :degenerate 1 3773 :world-size 2 :degenerate 2 3774 :world-size 1 :degenerate 1 3775 :world-size 1 :degenerate 1 3776 :world-size 1 :degenerate 1 3777 :world-size 1 :degenerate 1 3778 :world-size 1 :degenerate 1 3779 :world-size 2 :degenerate 2 3780 :world-size 4 :degenerate 4 3781 :world-size 2 :degenerate 2 3782 :world-size 1 :degenerate 1 3783 :world-size 2 :degenerate 2 3784 :world-size 1 :degenerate 1 3785 :world-size 2 :degenerate 2 3786 :world-size 1 :degenerate 1 3787 :world-size 1 :degenerate 1 3788 :world-size 1 :degenerate 1 3789 :world-size 2 :degenerate 2 3790 :world-size 2 :degenerate 2 3791 :world-size 1 :degenerate 1 3792 :world-size 1 :degenerate 1 3793 :world-size 1 :degenerate 1 3794 :world-size 1 :degenerate 1 3795 :world-size 2 :degenerate 2 3796 :world-size 1 :degenerate 1 3797 :world-size 1 :degenerate 1 3798 :world-size 1 :degenerate 1 3799 :world-size 2 :degenerate 2 3800 :world-size 5 :degenerate 4 3801 :world-size 2 :degenerate 2 3802 :world-size 1 :degenerate 1 3803 :world-size 2 :degenerate 2 3804 :world-size 1 :degenerate 1 3805 :world-size 2 :degenerate 2 3806 :world-size 1 :degenerate 1 3807 :world-size 2 :degenerate 2 3808 :world-size 1 :degenerate 1 3809 :world-size 2 :degenerate 2 3810 :world-size 5 :degenerate 4 3811 :world-size 2 :degenerate 2 3812 :world-size 1 :degenerate 1 3813 :world-size 1 :degenerate 1 3814 :world-size 1 :degenerate 1 3815 :world-size 2 :degenerate 2 3816 :world-size 1 :degenerate 1 3817 :world-size 1 :degenerate 1 3818 :world-size 1 :degenerate 1 3819 :world-size 2 :degenerate 2 3820 :world-size 2 :degenerate 2 3821 :world-size 1 :degenerate 1 3822 :world-size 1 :degenerate 1 3823 :world-size 2 :degenerate 2 3824 :world-size 1 :degenerate 1 3825 :world-size 1 :degenerate 1 3826 :world-size 1 :degenerate 1 3827 :world-size 2 :degenerate 2 3828 :world-size 1 :degenerate 1 3829 :world-size 2 :degenerate 2 3830 :world-size 5 :degenerate 4 3831 :world-size 2 :degenerate 2 3832 :world-size 1 :degenerate 1 3833 :world-size 2 :degenerate 2 3834 :world-size 1 :degenerate 1 3835 :world-size 2 :degenerate 2 3836 :world-size 1 :degenerate 1 3837 :world-size 1 :degenerate 1 3838 :world-size 1 :degenerate 1 3839 :world-size 2 :degenerate 2 3840 :world-size 3 :degenerate 3 3841 :world-size 2 :degenerate 2 3842 :world-size 1 :degenerate 1 3843 :world-size 2 :degenerate 2 3844 :world-size 1 :degenerate 1 3845 :world-size 2 :degenerate 2 3846 :world-size 1 :degenerate 1 3847 :world-size 2 :degenerate 2 3848 :world-size 1 :degenerate 1 3849 :world-size 2 :degenerate 2 3850 :world-size 2 :degenerate 2 3851 :world-size 2 :degenerate 2 3852 :world-size 1 :degenerate 1 3853 :world-size 2 :degenerate 2 3854 :world-size 1 :degenerate 1 3855 :world-size 2 :degenerate 2 3856 :world-size 1 :degenerate 1 3857 :world-size 2 :degenerate 2 3858 :world-size 1 :degenerate 1 3859 :world-size 2 :degenerate 2 3860 :world-size 2 :degenerate 2 3861 :world-size 2 :degenerate 2 3862 :world-size 1 :degenerate 1 3863 :world-size 1 :degenerate 1 3864 :world-size 1 :degenerate 1 3865 :world-size 2 :degenerate 2 3866 :world-size 1 :degenerate 1 3867 :world-size 2 :degenerate 2 3868 :world-size 1 :degenerate 1 3869 :world-size 2 :degenerate 2 3870 :world-size 2 :degenerate 2 3871 :world-size 1 :degenerate 1 3872 :world-size 1 :degenerate 1 3873 :world-size 1 :degenerate 1 3874 :world-size 1 :degenerate 1 3875 :world-size 2 :degenerate 2 3876 :world-size 1 :degenerate 1 3877 :world-size 1 :degenerate 1 3878 :world-size 1 :degenerate 1 3879 :world-size 2 :degenerate 2 3880 :world-size 5 :degenerate 4 3881 :world-size 2 :degenerate 2 3882 :world-size 1 :degenerate 1 3883 :world-size 2 :degenerate 2 3884 :world-size 1 :degenerate 1 3885 :world-size 2 :degenerate 2 3886 :world-size 1 :degenerate 1 3887 :world-size 2 :degenerate 2 3888 :world-size 1 :degenerate 1 3889 :world-size 2 :degenerate 2 3890 :world-size 2 :degenerate 2 3891 :world-size 1 :degenerate 1 3892 :world-size 1 :degenerate 1 3893 :world-size 1 :degenerate 1 3894 :world-size 1 :degenerate 1 3895 :world-size 2 :degenerate 2 3896 :world-size 1 :degenerate 1 3897 :world-size 2 :degenerate 2 3898 :world-size 1 :degenerate 1 3899 :world-size 2 :degenerate 2 3900 :world-size 2 :degenerate 2 3901 :world-size 2 :degenerate 2 3902 :world-size 1 :degenerate 1 3903 :world-size 2 :degenerate 2 3904 :world-size 1 :degenerate 1 3905 :world-size 2 :degenerate 2 3906 :world-size 1 :degenerate 1 3907 :world-size 2 :degenerate 2 3908 :world-size 1 :degenerate 1 3909 :world-size 2 :degenerate 2 3910 :world-size 3 :degenerate 3 3911 :world-size 2 :degenerate 2 3912 :world-size 1 :degenerate 1 3913 :world-size 1 :degenerate 1 3914 :world-size 1 :degenerate 1 3915 :world-size 2 :degenerate 2 3916 :world-size 1 :degenerate 1 3917 :world-size 2 :degenerate 2 3918 :world-size 1 :degenerate 1 3919 :world-size 2 :degenerate 2 3920 :world-size 5 :degenerate 5 3921 :world-size 3 :degenerate 3 3922 :world-size 2 :degenerate 2 3923 :world-size 4 :degenerate 3 3924 :world-size 1 :degenerate 1 3925 :world-size 2 :degenerate 2 3926 :world-size 1 :degenerate 1 3927 :world-size 2 :degenerate 2 3928 :world-size 1 :degenerate 1 3929 :world-size 1 :degenerate 1 3930 :world-size 1 :degenerate 1 3931 :world-size 2 :degenerate 2 3932 :world-size 1 :degenerate 1 3933 :world-size 1 :degenerate 1 3934 :world-size 1 :degenerate 1 3935 :world-size 2 :degenerate 2 3936 :world-size 1 :degenerate 1 3937 :world-size 1 :degenerate 1 3938 :world-size 1 :degenerate 1 3939 :world-size 2 :degenerate 2 3940 :world-size 3 :degenerate 3 3941 :world-size 2 :degenerate 2 3942 :world-size 1 :degenerate 1 3943 :world-size 2 :degenerate 2 3944 :world-size 1 :degenerate 1 3945 :world-size 2 :degenerate 2 3946 :world-size 1 :degenerate 1 3947 :world-size 2 :degenerate 2 3948 :world-size 1 :degenerate 1 3949 :world-size 1 :degenerate 1 3950 :world-size 2 :degenerate 2 3951 :world-size 2 :degenerate 2 3952 :world-size 1 :degenerate 1 3953 :world-size 1 :degenerate 1 3954 :world-size 1 :degenerate 1 3955 :world-size 2 :degenerate 2 3956 :world-size 1 :degenerate 1 3957 :world-size 1 :degenerate 1 3958 :world-size 2 :degenerate 2 3959 :world-size 1 :degenerate 1 3960 :world-size 1 :degenerate 1 3961 :world-size 2 :degenerate 2 3962 :world-size 2 :degenerate 2 3963 :world-size 1 :degenerate 1 3964 :world-size 2 :degenerate 2 3965 :world-size 1 :degenerate 1 3966 :world-size 2 :degenerate 2 3967 :world-size 1 :degenerate 1 3968 :world-size 2 :degenerate 2 3969 :world-size 4 :degenerate 4 3970 :world-size 13 :degenerate 10 3971 :world-size 5 :degenerate 5 3972 :world-size 3 :degenerate 3 3973 :world-size 9 :degenerate 6 3974 :world-size 6 :degenerate 6 3975 :world-size 26 :degenerate 12 3976 :world-size 6 :degenerate 6 3977 :world-size 10 :degenerate 6 3978 :world-size 19 :degenerate 12 3979 :world-size 12 :degenerate 12 3980 :world-size 6 :degenerate 6 3981 :world-size 23 :degenerate 12 3982 :world-size 6 :degenerate 6 3983 :world-size 30 :degenerate 12 3984 :world-size 91 :degenerate 28 3985 :world-size 16 :degenerate 16 3986 :world-size 10 :degenerate 10 3987 :world-size 32 :degenerate 16 3988 :world-size 6 :degenerate 6 3989 :world-size 23 :degenerate 12 3990 :world-size 68 :degenerate 24 3991 :world-size 12 :degenerate 12 3992 :world-size 6 :degenerate 6 3993 :world-size 24 :degenerate 12 3994 :world-size 6 :degenerate 6 3995 :world-size 23 :degenerate 12 3996 :world-size 85 :degenerate 24 3997 :world-size 12 :degenerate 12 3998 :world-size 6 :degenerate 6 3999 :world-size 20 :degenerate 8 4000 :world-size 6 :degenerate 6 4001 :world-size 26 :degenerate 12 4002 :world-size 47 :degenerate 18 4003 :world-size 10 :degenerate 10 4004 :world-size 6 :degenerate 6 4005 :world-size 23 :degenerate 12 4006 :world-size 6 :degenerate 6 4007 :world-size 6 :degenerate 6 4008 :world-size 6 :degenerate 6 4009 :world-size 3 :degenerate 3 4010 :world-size 1 :degenerate 1 4011 :world-size 1 :degenerate 1 4012 :world-size 1 :degenerate 1 4013 :world-size 2 :degenerate 2 4014 :world-size 1 :degenerate 1 4015 INFO jepsen.core - Analysis complete 4016 INFO jepsen.system.consul - :n3 consul nuked 4017 INFO jepsen.system.consul - :n2 consul nuked 4018 INFO jepsen.system.consul - :n4 consul nuked 4019 INFO jepsen.system.consul - :n1 consul nuked 4020 INFO jepsen.system.consul - :n5 consul nuked 4021 1964 element history linearizable. :D 4022 4023 Ran 1 tests containing 1 assertions. 4024 0 failures, 0 errors. 4025 ``` 4026 4027 <!--googleon: all-->