nix-grpc-store-spec
checks.aarch64-darwin.spec
· build #194
· raw
1Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■■■ ] 6% | ETA: 3s | 2057/30000 samples | 9937 samples/sRunning... [■■■ ] 6% | ETA: 3s | 2057/30000 samples | 9937 samples/sRunning... [■■■■■ ] 11% | ETA: 4s | 3471/30000 samples | 7629 samples/sRunning... [■■■■■ ] 11% | ETA: 4s | 3471/30000 samples | 7629 samples/sRunning... [■■■■■■ ] 14% | ETA: 4s | 4312/30000 samples | 7046 samples/sRunning... [■■■■■■■ ] 16% | ETA: 4s | 5062/30000 samples | 6896 samples/sRunning... [■■■■■■■ ] 16% | ETA: 4s | 5062/30000 samples | 6896 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 4s | 6127/30000 samples | 6602 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 4s | 6127/30000 samples | 6602 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 4s | 7218/30000 samples | 6393 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 4s | 8110/30000 samples | 6210 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 4s | 8110/30000 samples | 6210 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 4s | 8753/30000 samples | 6138 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 4s | 9436/30000 samples | 5938 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 4s | 9978/30000 samples | 5863 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 4s | 9978/30000 samples | 5863 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 4s | 9978/30000 samples | 5863 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 4s | 11084/30000 samples | 5702 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 4s | 11609/30000 samples | 5674 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 4s | 11609/30000 samples | 5674 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 4s | 12847/30000 samples | 5622 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 4s | 12847/30000 samples | 5622 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 4s | 13821/30000 samples | 5544 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 4s | 14315/30000 samples | 5504 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 4s | 14768/30000 samples | 5417 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 4s | 14890/30000 samples | 5267 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 4s | 14890/30000 samples | 5267 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 4s | 15363/30000 samples | 5136 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 4s | 15600/30000 samples | 5047 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 4s | 15600/30000 samples | 5047 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 4s | 16320/30000 samples | 4895 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 4s | 16702/30000 samples | 4851 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 4s | 16702/30000 samples | 4851 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 4s | 16702/30000 samples | 4851 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 4s | 17540/30000 samples | 4777 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 4s | 18104/30000 samples | 4729 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 4s | 18539/30000 samples | 4703 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 4s | 18916/30000 samples | 4651 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 4s | 18916/30000 samples | 4651 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 4s | 19351/30000 samples | 4629 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 4s | 19788/30000 samples | 4599 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 4s | 19788/30000 samples | 4599 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 3s | 20647/30000 samples | 4544 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 69% | ETA: 3s | 20942/30000 samples | 4509 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 3s | 21414/30000 samples | 4483 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 3s | 21414/30000 samples | 4483 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 3s | 21414/30000 samples | 4483 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 3s | 22091/30000 samples | 4431 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 3s | 22851/30000 samples | 4410 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 3s | 22851/30000 samples | 4410 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 3s | 22851/30000 samples | 4410 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 2s | 23528/30000 samples | 4335 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 2s | 24075/30000 samples | 4319 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 2s | 24523/30000 samples | 4317 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 2s | 24523/30000 samples | 4317 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 2s | 24523/30000 samples | 4317 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 2s | 25358/30000 samples | 4280 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 2s | 25358/30000 samples | 4280 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 2s | 26237/30000 samples | 4249 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 2s | 26237/30000 samples | 4249 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 1s | 26757/30000 samples | 4237 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 1s | 27218/30000 samples | 4213 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 1s | 27636/30000 samples | 4185 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 1s | 28017/30000 samples | 4174 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 1s | 28017/30000 samples | 4174 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 28597/30000 samples | 4160 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 28921/30000 samples | 4146 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 28921/30000 samples | 4146 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 29554/30000 samples | 4124 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 29554/30000 samples | 4124 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29877/30000 samples | 4081 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29970/30000 samples | 4026 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29970/30000 samples | 4026 samples/sAn example execution:23[State 0]4{5 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),6 schedFixed::scheduler::crashes: 0,7 schedFixed::scheduler::entry: [],8 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),9 schedFixed::scheduler::mAssigned: Set(),10 schedFixed::scheduler::mBuild: Set(),11 schedFixed::scheduler::mDone: Set(),12 schedFixed::scheduler::mExpect: Set(),13 schedFixed::scheduler::mResult: Set(),14 schedFixed::scheduler::mRetry: Set(),15 schedFixed::scheduler::mSchedule: Set(),16 schedFixed::scheduler::published: 0,17 schedFixed::scheduler::publishedBy: Set(),18 schedFixed::scheduler::ws:19 Map(20 "w1" ->21 {22 attached: Set(),23 built: false,24 expecting: false,25 running: false,26 session: true,27 up: true28 },29 "w2" ->30 {31 attached: Set(),32 built: false,33 expecting: false,34 running: false,35 session: true,36 up: true37 }38 )39}4041[State 1]42{43 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),44 schedFixed::scheduler::crashes: 1,45 schedFixed::scheduler::entry: [],46 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),47 schedFixed::scheduler::mAssigned: Set(),48 schedFixed::scheduler::mBuild: Set(),49 schedFixed::scheduler::mDone: Set(),50 schedFixed::scheduler::mExpect: Set(),51 schedFixed::scheduler::mResult: Set(),52 schedFixed::scheduler::mRetry: Set(),53 schedFixed::scheduler::mSchedule: Set(),54 schedFixed::scheduler::published: 0,55 schedFixed::scheduler::publishedBy: Set(),56 schedFixed::scheduler::ws:57 Map(58 "w1" ->59 {60 attached: Set(),61 built: false,62 expecting: false,63 running: false,64 session: true,65 up: true66 },67 "w2" ->68 {69 attached: Set(),70 built: false,71 expecting: false,72 running: false,73 session: true,74 up: true75 }76 )77}7879[State 2]80{81 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),82 schedFixed::scheduler::crashes: 2,83 schedFixed::scheduler::entry: [],84 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),85 schedFixed::scheduler::mAssigned: Set(),86 schedFixed::scheduler::mBuild: Set(),87 schedFixed::scheduler::mDone: Set(),88 schedFixed::scheduler::mExpect: Set(),89 schedFixed::scheduler::mResult: Set(),90 schedFixed::scheduler::mRetry: Set(),91 schedFixed::scheduler::mSchedule: Set(),92 schedFixed::scheduler::published: 0,93 schedFixed::scheduler::publishedBy: Set(),94 schedFixed::scheduler::ws:95 Map(96 "w1" ->97 {98 attached: Set(),99 built: false,100 expecting: false,101 running: false,102 session: true,103 up: true104 },105 "w2" ->106 {107 attached: Set(),108 built: false,109 expecting: false,110 running: false,111 session: true,112 up: true113 }114 )115}116117[State 3]118{119 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),120 schedFixed::scheduler::crashes: 2,121 schedFixed::scheduler::entry: [],122 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),123 schedFixed::scheduler::mAssigned: Set(),124 schedFixed::scheduler::mBuild: Set(),125 schedFixed::scheduler::mDone: Set(),126 schedFixed::scheduler::mExpect: Set(),127 schedFixed::scheduler::mResult: Set(),128 schedFixed::scheduler::mRetry: Set(),129 schedFixed::scheduler::mSchedule: Set("c1"),130 schedFixed::scheduler::published: 0,131 schedFixed::scheduler::publishedBy: Set(),132 schedFixed::scheduler::ws:133 Map(134 "w1" ->135 {136 attached: Set(),137 built: false,138 expecting: false,139 running: false,140 session: true,141 up: true142 },143 "w2" ->144 {145 attached: Set(),146 built: false,147 expecting: false,148 running: false,149 session: true,150 up: true151 }152 )153}154155[State 4]156{157 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),158 schedFixed::scheduler::crashes: 2,159 schedFixed::scheduler::entry: [],160 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),161 schedFixed::scheduler::mAssigned: Set(),162 schedFixed::scheduler::mBuild: Set(),163 schedFixed::scheduler::mDone: Set(),164 schedFixed::scheduler::mExpect: Set(),165 schedFixed::scheduler::mResult: Set(),166 schedFixed::scheduler::mRetry: Set(),167 schedFixed::scheduler::mSchedule: Set("c1", "c2"),168 schedFixed::scheduler::published: 0,169 schedFixed::scheduler::publishedBy: Set(),170 schedFixed::scheduler::ws:171 Map(172 "w1" ->173 {174 attached: Set(),175 built: false,176 expecting: false,177 running: false,178 session: true,179 up: true180 },181 "w2" ->182 {183 attached: Set(),184 built: false,185 expecting: false,186 running: false,187 session: true,188 up: true189 }190 )191}192193[State 5]194{195 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),196 schedFixed::scheduler::crashes: 2,197 schedFixed::scheduler::entry:198 [{ followers: Set("c2"), leased: true, worker: "w2" }],199 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),200 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),201 schedFixed::scheduler::mBuild: Set(),202 schedFixed::scheduler::mDone: Set(),203 schedFixed::scheduler::mExpect: Set("w2"),204 schedFixed::scheduler::mResult: Set(),205 schedFixed::scheduler::mRetry: Set(),206 schedFixed::scheduler::mSchedule: Set("c1"),207 schedFixed::scheduler::published: 0,208 schedFixed::scheduler::publishedBy: Set(),209 schedFixed::scheduler::ws:210 Map(211 "w1" ->212 {213 attached: Set(),214 built: false,215 expecting: false,216 running: false,217 session: true,218 up: true219 },220 "w2" ->221 {222 attached: Set(),223 built: false,224 expecting: false,225 running: false,226 session: true,227 up: true228 }229 )230}231232[State 6]233{234 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),235 schedFixed::scheduler::crashes: 2,236 schedFixed::scheduler::entry:237 [{ followers: Set("c2"), leased: true, worker: "w2" }],238 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),239 schedFixed::scheduler::mAssigned: Set(),240 schedFixed::scheduler::mBuild: Set(("c2", "w2")),241 schedFixed::scheduler::mDone: Set(),242 schedFixed::scheduler::mExpect: Set("w2"),243 schedFixed::scheduler::mResult: Set(),244 schedFixed::scheduler::mRetry: Set(),245 schedFixed::scheduler::mSchedule: Set("c1"),246 schedFixed::scheduler::published: 0,247 schedFixed::scheduler::publishedBy: Set(),248 schedFixed::scheduler::ws:249 Map(250 "w1" ->251 {252 attached: Set(),253 built: false,254 expecting: false,255 running: false,256 session: true,257 up: true258 },259 "w2" ->260 {261 attached: Set(),262 built: false,263 expecting: false,264 running: false,265 session: true,266 up: true267 }268 )269}270271[State 7]272{273 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),274 schedFixed::scheduler::crashes: 2,275 schedFixed::scheduler::entry:276 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],277 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),278 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),279 schedFixed::scheduler::mBuild: Set(("c2", "w2")),280 schedFixed::scheduler::mDone: Set(),281 schedFixed::scheduler::mExpect: Set("w2"),282 schedFixed::scheduler::mResult: Set(),283 schedFixed::scheduler::mRetry: Set(),284 schedFixed::scheduler::mSchedule: Set(),285 schedFixed::scheduler::published: 0,286 schedFixed::scheduler::publishedBy: Set(),287 schedFixed::scheduler::ws:288 Map(289 "w1" ->290 {291 attached: Set(),292 built: false,293 expecting: false,294 running: false,295 session: true,296 up: true297 },298 "w2" ->299 {300 attached: Set(),301 built: false,302 expecting: false,303 running: false,304 session: true,305 up: true306 }307 )308}309310[State 8]311{312 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),313 schedFixed::scheduler::crashes: 2,314 schedFixed::scheduler::entry:315 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],316 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),317 schedFixed::scheduler::mAssigned: Set(),318 schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),319 schedFixed::scheduler::mDone: Set(),320 schedFixed::scheduler::mExpect: Set("w2"),321 schedFixed::scheduler::mResult: Set(),322 schedFixed::scheduler::mRetry: Set(),323 schedFixed::scheduler::mSchedule: Set(),324 schedFixed::scheduler::published: 0,325 schedFixed::scheduler::publishedBy: Set(),326 schedFixed::scheduler::ws:327 Map(328 "w1" ->329 {330 attached: Set(),331 built: false,332 expecting: false,333 running: false,334 session: true,335 up: true336 },337 "w2" ->338 {339 attached: Set(),340 built: false,341 expecting: false,342 running: false,343 session: true,344 up: true345 }346 )347}348349[State 9]350{351 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),352 schedFixed::scheduler::crashes: 2,353 schedFixed::scheduler::entry:354 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],355 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),356 schedFixed::scheduler::mAssigned: Set(),357 schedFixed::scheduler::mBuild: Set(("c2", "w2")),358 schedFixed::scheduler::mDone: Set(),359 schedFixed::scheduler::mExpect: Set("w2"),360 schedFixed::scheduler::mResult: Set(),361 schedFixed::scheduler::mRetry: Set("c1"),362 schedFixed::scheduler::mSchedule: Set(),363 schedFixed::scheduler::published: 0,364 schedFixed::scheduler::publishedBy: Set(),365 schedFixed::scheduler::ws:366 Map(367 "w1" ->368 {369 attached: Set(),370 built: false,371 expecting: false,372 running: false,373 session: true,374 up: true375 },376 "w2" ->377 {378 attached: Set(),379 built: false,380 expecting: false,381 running: false,382 session: true,383 up: true384 }385 )386}387388[State 10]389{390 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),391 schedFixed::scheduler::crashes: 2,392 schedFixed::scheduler::entry:393 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],394 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),395 schedFixed::scheduler::mAssigned: Set(),396 schedFixed::scheduler::mBuild: Set(),397 schedFixed::scheduler::mDone: Set(),398 schedFixed::scheduler::mExpect: Set("w2"),399 schedFixed::scheduler::mResult: Set(),400 schedFixed::scheduler::mRetry: Set("c1", "c2"),401 schedFixed::scheduler::mSchedule: Set(),402 schedFixed::scheduler::published: 0,403 schedFixed::scheduler::publishedBy: Set(),404 schedFixed::scheduler::ws:405 Map(406 "w1" ->407 {408 attached: Set(),409 built: false,410 expecting: false,411 running: false,412 session: true,413 up: true414 },415 "w2" ->416 {417 attached: Set(),418 built: false,419 expecting: false,420 running: false,421 session: true,422 up: true423 }424 )425}426427[State 11]428{429 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),430 schedFixed::scheduler::crashes: 2,431 schedFixed::scheduler::entry:432 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],433 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),434 schedFixed::scheduler::mAssigned: Set(),435 schedFixed::scheduler::mBuild: Set(),436 schedFixed::scheduler::mDone: Set(),437 schedFixed::scheduler::mExpect: Set("w2"),438 schedFixed::scheduler::mResult: Set(),439 schedFixed::scheduler::mRetry: Set("c2"),440 schedFixed::scheduler::mSchedule: Set("c1"),441 schedFixed::scheduler::published: 0,442 schedFixed::scheduler::publishedBy: Set(),443 schedFixed::scheduler::ws:444 Map(445 "w1" ->446 {447 attached: Set(),448 built: false,449 expecting: false,450 running: false,451 session: true,452 up: true453 },454 "w2" ->455 {456 attached: Set(),457 built: false,458 expecting: false,459 running: false,460 session: true,461 up: true462 }463 )464}465466[State 12]467{468 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),469 schedFixed::scheduler::crashes: 2,470 schedFixed::scheduler::entry:471 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],472 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),473 schedFixed::scheduler::mAssigned: Set(),474 schedFixed::scheduler::mBuild: Set(),475 schedFixed::scheduler::mDone: Set(),476 schedFixed::scheduler::mExpect: Set("w2"),477 schedFixed::scheduler::mResult: Set(),478 schedFixed::scheduler::mRetry: Set(),479 schedFixed::scheduler::mSchedule: Set("c1", "c2"),480 schedFixed::scheduler::published: 0,481 schedFixed::scheduler::publishedBy: Set(),482 schedFixed::scheduler::ws:483 Map(484 "w1" ->485 {486 attached: Set(),487 built: false,488 expecting: false,489 running: false,490 session: true,491 up: true492 },493 "w2" ->494 {495 attached: Set(),496 built: false,497 expecting: false,498 running: false,499 session: true,500 up: true501 }502 )503}504505[State 13]506{507 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),508 schedFixed::scheduler::crashes: 2,509 schedFixed::scheduler::entry:510 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],511 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),512 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),513 schedFixed::scheduler::mBuild: Set(),514 schedFixed::scheduler::mDone: Set(),515 schedFixed::scheduler::mExpect: Set("w2"),516 schedFixed::scheduler::mResult: Set(),517 schedFixed::scheduler::mRetry: Set(),518 schedFixed::scheduler::mSchedule: Set("c1"),519 schedFixed::scheduler::published: 0,520 schedFixed::scheduler::publishedBy: Set(),521 schedFixed::scheduler::ws:522 Map(523 "w1" ->524 {525 attached: Set(),526 built: false,527 expecting: false,528 running: false,529 session: true,530 up: true531 },532 "w2" ->533 {534 attached: Set(),535 built: false,536 expecting: false,537 running: false,538 session: true,539 up: true540 }541 )542}543544[State 14]545{546 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),547 schedFixed::scheduler::crashes: 2,548 schedFixed::scheduler::entry:549 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],550 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),551 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),552 schedFixed::scheduler::mBuild: Set(),553 schedFixed::scheduler::mDone: Set(),554 schedFixed::scheduler::mExpect: Set("w2"),555 schedFixed::scheduler::mResult: Set(),556 schedFixed::scheduler::mRetry: Set(),557 schedFixed::scheduler::mSchedule: Set(),558 schedFixed::scheduler::published: 0,559 schedFixed::scheduler::publishedBy: Set(),560 schedFixed::scheduler::ws:561 Map(562 "w1" ->563 {564 attached: Set(),565 built: false,566 expecting: false,567 running: false,568 session: true,569 up: true570 },571 "w2" ->572 {573 attached: Set(),574 built: false,575 expecting: false,576 running: false,577 session: true,578 up: true579 }580 )581}582583[State 15]584{585 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),586 schedFixed::scheduler::crashes: 2,587 schedFixed::scheduler::entry:588 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],589 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),590 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),591 schedFixed::scheduler::mBuild: Set(("c2", "w2")),592 schedFixed::scheduler::mDone: Set(),593 schedFixed::scheduler::mExpect: Set("w2"),594 schedFixed::scheduler::mResult: Set(),595 schedFixed::scheduler::mRetry: Set(),596 schedFixed::scheduler::mSchedule: Set(),597 schedFixed::scheduler::published: 0,598 schedFixed::scheduler::publishedBy: Set(),599 schedFixed::scheduler::ws:600 Map(601 "w1" ->602 {603 attached: Set(),604 built: false,605 expecting: false,606 running: false,607 session: true,608 up: true609 },610 "w2" ->611 {612 attached: Set(),613 built: false,614 expecting: false,615 running: false,616 session: true,617 up: true618 }619 )620}621622[State 16]623{624 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),625 schedFixed::scheduler::crashes: 2,626 schedFixed::scheduler::entry:627 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],628 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),629 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),630 schedFixed::scheduler::mBuild: Set(),631 schedFixed::scheduler::mDone: Set(),632 schedFixed::scheduler::mExpect: Set("w2"),633 schedFixed::scheduler::mResult: Set(),634 schedFixed::scheduler::mRetry: Set("c2"),635 schedFixed::scheduler::mSchedule: Set(),636 schedFixed::scheduler::published: 0,637 schedFixed::scheduler::publishedBy: Set(),638 schedFixed::scheduler::ws:639 Map(640 "w1" ->641 {642 attached: Set(),643 built: false,644 expecting: false,645 running: false,646 session: true,647 up: true648 },649 "w2" ->650 {651 attached: Set(),652 built: false,653 expecting: false,654 running: false,655 session: true,656 up: true657 }658 )659}660661[State 17]662{663 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),664 schedFixed::scheduler::crashes: 2,665 schedFixed::scheduler::entry:666 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],667 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),668 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),669 schedFixed::scheduler::mBuild: Set(),670 schedFixed::scheduler::mDone: Set(),671 schedFixed::scheduler::mExpect: Set("w2"),672 schedFixed::scheduler::mResult: Set(),673 schedFixed::scheduler::mRetry: Set(),674 schedFixed::scheduler::mSchedule: Set("c2"),675 schedFixed::scheduler::published: 0,676 schedFixed::scheduler::publishedBy: Set(),677 schedFixed::scheduler::ws:678 Map(679 "w1" ->680 {681 attached: Set(),682 built: false,683 expecting: false,684 running: false,685 session: true,686 up: true687 },688 "w2" ->689 {690 attached: Set(),691 built: false,692 expecting: false,693 running: false,694 session: true,695 up: true696 }697 )698}699700[State 18]701{702 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),703 schedFixed::scheduler::crashes: 2,704 schedFixed::scheduler::entry:705 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],706 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),707 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),708 schedFixed::scheduler::mBuild: Set(),709 schedFixed::scheduler::mDone: Set(),710 schedFixed::scheduler::mExpect: Set("w2"),711 schedFixed::scheduler::mResult: Set(),712 schedFixed::scheduler::mRetry: Set(),713 schedFixed::scheduler::mSchedule: Set(),714 schedFixed::scheduler::published: 0,715 schedFixed::scheduler::publishedBy: Set(),716 schedFixed::scheduler::ws:717 Map(718 "w1" ->719 {720 attached: Set(),721 built: false,722 expecting: false,723 running: false,724 session: true,725 up: true726 },727 "w2" ->728 {729 attached: Set(),730 built: false,731 expecting: false,732 running: false,733 session: true,734 up: true735 }736 )737}738739[State 19]740{741 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),742 schedFixed::scheduler::crashes: 2,743 schedFixed::scheduler::entry:744 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],745 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),746 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),747 schedFixed::scheduler::mBuild: Set(("c1", "w2")),748 schedFixed::scheduler::mDone: Set(),749 schedFixed::scheduler::mExpect: Set("w2"),750 schedFixed::scheduler::mResult: Set(),751 schedFixed::scheduler::mRetry: Set(),752 schedFixed::scheduler::mSchedule: Set(),753 schedFixed::scheduler::published: 0,754 schedFixed::scheduler::publishedBy: Set(),755 schedFixed::scheduler::ws:756 Map(757 "w1" ->758 {759 attached: Set(),760 built: false,761 expecting: false,762 running: false,763 session: true,764 up: true765 },766 "w2" ->767 {768 attached: Set(),769 built: false,770 expecting: false,771 running: false,772 session: true,773 up: true774 }775 )776}777778[State 20]779{780 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),781 schedFixed::scheduler::crashes: 2,782 schedFixed::scheduler::entry:783 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],784 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),785 schedFixed::scheduler::mAssigned: Set(),786 schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),787 schedFixed::scheduler::mDone: Set(),788 schedFixed::scheduler::mExpect: Set("w2"),789 schedFixed::scheduler::mResult: Set(),790 schedFixed::scheduler::mRetry: Set(),791 schedFixed::scheduler::mSchedule: Set(),792 schedFixed::scheduler::published: 0,793 schedFixed::scheduler::publishedBy: Set(),794 schedFixed::scheduler::ws:795 Map(796 "w1" ->797 {798 attached: Set(),799 built: false,800 expecting: false,801 running: false,802 session: true,803 up: true804 },805 "w2" ->806 {807 attached: Set(),808 built: false,809 expecting: false,810 running: false,811 session: true,812 up: true813 }814 )815}816817[State 21]818{819 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),820 schedFixed::scheduler::crashes: 2,821 schedFixed::scheduler::entry:822 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],823 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),824 schedFixed::scheduler::mAssigned: Set(),825 schedFixed::scheduler::mBuild: Set(("c1", "w2")),826 schedFixed::scheduler::mDone: Set(),827 schedFixed::scheduler::mExpect: Set("w2"),828 schedFixed::scheduler::mResult: Set(),829 schedFixed::scheduler::mRetry: Set("c2"),830 schedFixed::scheduler::mSchedule: Set(),831 schedFixed::scheduler::published: 0,832 schedFixed::scheduler::publishedBy: Set(),833 schedFixed::scheduler::ws:834 Map(835 "w1" ->836 {837 attached: Set(),838 built: false,839 expecting: false,840 running: false,841 session: true,842 up: true843 },844 "w2" ->845 {846 attached: Set(),847 built: false,848 expecting: false,849 running: false,850 session: true,851 up: true852 }853 )854}855856[State 22]857{858 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),859 schedFixed::scheduler::crashes: 2,860 schedFixed::scheduler::entry:861 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],862 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),863 schedFixed::scheduler::mAssigned: Set(),864 schedFixed::scheduler::mBuild: Set(("c1", "w2")),865 schedFixed::scheduler::mDone: Set(),866 schedFixed::scheduler::mExpect: Set("w2"),867 schedFixed::scheduler::mResult: Set(),868 schedFixed::scheduler::mRetry: Set(),869 schedFixed::scheduler::mSchedule: Set("c2"),870 schedFixed::scheduler::published: 0,871 schedFixed::scheduler::publishedBy: Set(),872 schedFixed::scheduler::ws:873 Map(874 "w1" ->875 {876 attached: Set(),877 built: false,878 expecting: false,879 running: false,880 session: true,881 up: true882 },883 "w2" ->884 {885 attached: Set(),886 built: false,887 expecting: false,888 running: false,889 session: true,890 up: true891 }892 )893}894895[State 23]896{897 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),898 schedFixed::scheduler::crashes: 2,899 schedFixed::scheduler::entry:900 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],901 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),902 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),903 schedFixed::scheduler::mBuild: Set(("c1", "w2")),904 schedFixed::scheduler::mDone: Set(),905 schedFixed::scheduler::mExpect: Set("w2"),906 schedFixed::scheduler::mResult: Set(),907 schedFixed::scheduler::mRetry: Set(),908 schedFixed::scheduler::mSchedule: Set(),909 schedFixed::scheduler::published: 0,910 schedFixed::scheduler::publishedBy: Set(),911 schedFixed::scheduler::ws:912 Map(913 "w1" ->914 {915 attached: Set(),916 built: false,917 expecting: false,918 running: false,919 session: true,920 up: true921 },922 "w2" ->923 {924 attached: Set(),925 built: false,926 expecting: false,927 running: false,928 session: true,929 up: true930 }931 )932}933934[State 24]935{936 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),937 schedFixed::scheduler::crashes: 2,938 schedFixed::scheduler::entry:939 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],940 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),941 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),942 schedFixed::scheduler::mBuild: Set(("c1", "w2")),943 schedFixed::scheduler::mDone: Set(),944 schedFixed::scheduler::mExpect: Set(),945 schedFixed::scheduler::mResult: Set(),946 schedFixed::scheduler::mRetry: Set(),947 schedFixed::scheduler::mSchedule: Set(),948 schedFixed::scheduler::published: 0,949 schedFixed::scheduler::publishedBy: Set(),950 schedFixed::scheduler::ws:951 Map(952 "w1" ->953 {954 attached: Set(),955 built: false,956 expecting: false,957 running: false,958 session: true,959 up: true960 },961 "w2" ->962 {963 attached: Set(),964 built: false,965 expecting: true,966 running: true,967 session: true,968 up: true969 }970 )971}972973[State 25]974{975 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),976 schedFixed::scheduler::crashes: 2,977 schedFixed::scheduler::entry:978 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],979 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),980 schedFixed::scheduler::mAssigned: Set(),981 schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),982 schedFixed::scheduler::mDone: Set(),983 schedFixed::scheduler::mExpect: Set(),984 schedFixed::scheduler::mResult: Set(),985 schedFixed::scheduler::mRetry: Set(),986 schedFixed::scheduler::mSchedule: Set(),987 schedFixed::scheduler::published: 0,988 schedFixed::scheduler::publishedBy: Set(),989 schedFixed::scheduler::ws:990 Map(991 "w1" ->992 {993 attached: Set(),994 built: false,995 expecting: false,996 running: false,997 session: true,998 up: true999 },1000 "w2" ->1001 {1002 attached: Set(),1003 built: false,1004 expecting: true,1005 running: true,1006 session: true,1007 up: true1008 }1009 )1010}10111012[State 26]1013{1014 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),1015 schedFixed::scheduler::crashes: 2,1016 schedFixed::scheduler::entry:1017 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1018 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1019 schedFixed::scheduler::mAssigned: Set(),1020 schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),1021 schedFixed::scheduler::mDone: Set("w2"),1022 schedFixed::scheduler::mExpect: Set(),1023 schedFixed::scheduler::mResult: Set(),1024 schedFixed::scheduler::mRetry: Set(),1025 schedFixed::scheduler::mSchedule: Set(),1026 schedFixed::scheduler::published: 1,1027 schedFixed::scheduler::publishedBy: Set("w2"),1028 schedFixed::scheduler::ws:1029 Map(1030 "w1" ->1031 {1032 attached: Set(),1033 built: false,1034 expecting: false,1035 running: false,1036 session: true,1037 up: true1038 },1039 "w2" ->1040 {1041 attached: Set(),1042 built: true,1043 expecting: false,1044 running: false,1045 session: true,1046 up: true1047 }1048 )1049}10501051[State 27]1052{1053 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),1054 schedFixed::scheduler::crashes: 2,1055 schedFixed::scheduler::entry: [],1056 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1057 schedFixed::scheduler::mAssigned: Set(),1058 schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),1059 schedFixed::scheduler::mDone: Set(),1060 schedFixed::scheduler::mExpect: Set(),1061 schedFixed::scheduler::mResult: Set(),1062 schedFixed::scheduler::mRetry: Set(),1063 schedFixed::scheduler::mSchedule: Set(),1064 schedFixed::scheduler::published: 1,1065 schedFixed::scheduler::publishedBy: Set("w2"),1066 schedFixed::scheduler::ws:1067 Map(1068 "w1" ->1069 {1070 attached: Set(),1071 built: false,1072 expecting: false,1073 running: false,1074 session: true,1075 up: true1076 },1077 "w2" ->1078 {1079 attached: Set(),1080 built: true,1081 expecting: false,1082 running: false,1083 session: true,1084 up: true1085 }1086 )1087}10881089[State 28]1090{1091 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),1092 schedFixed::scheduler::crashes: 2,1093 schedFixed::scheduler::entry: [],1094 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1095 schedFixed::scheduler::mAssigned: Set(),1096 schedFixed::scheduler::mBuild: Set(("c2", "w2")),1097 schedFixed::scheduler::mDone: Set(),1098 schedFixed::scheduler::mExpect: Set(),1099 schedFixed::scheduler::mResult: Set("c1"),1100 schedFixed::scheduler::mRetry: Set(),1101 schedFixed::scheduler::mSchedule: Set(),1102 schedFixed::scheduler::published: 1,1103 schedFixed::scheduler::publishedBy: Set("w2"),1104 schedFixed::scheduler::ws:1105 Map(1106 "w1" ->1107 {1108 attached: Set(),1109 built: false,1110 expecting: false,1111 running: false,1112 session: true,1113 up: true1114 },1115 "w2" ->1116 {1117 attached: Set(),1118 built: true,1119 expecting: false,1120 running: false,1121 session: true,1122 up: true1123 }1124 )1125}11261127[State 29]1128{1129 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")),1130 schedFixed::scheduler::crashes: 2,1131 schedFixed::scheduler::entry: [],1132 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1133 schedFixed::scheduler::mAssigned: Set(),1134 schedFixed::scheduler::mBuild: Set(("c2", "w2")),1135 schedFixed::scheduler::mDone: Set(),1136 schedFixed::scheduler::mExpect: Set(),1137 schedFixed::scheduler::mResult: Set(),1138 schedFixed::scheduler::mRetry: Set(),1139 schedFixed::scheduler::mSchedule: Set(),1140 schedFixed::scheduler::published: 1,1141 schedFixed::scheduler::publishedBy: Set("w2"),1142 schedFixed::scheduler::ws:1143 Map(1144 "w1" ->1145 {1146 attached: Set(),1147 built: false,1148 expecting: false,1149 running: false,1150 session: true,1151 up: true1152 },1153 "w2" ->1154 {1155 attached: Set(),1156 built: true,1157 expecting: false,1158 running: false,1159 session: true,1160 up: true1161 }1162 )1163}11641165[State 30]1166{1167 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")),1168 schedFixed::scheduler::crashes: 2,1169 schedFixed::scheduler::entry: [],1170 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1171 schedFixed::scheduler::mAssigned: Set(),1172 schedFixed::scheduler::mBuild: Set(),1173 schedFixed::scheduler::mDone: Set(),1174 schedFixed::scheduler::mExpect: Set(),1175 schedFixed::scheduler::mResult: Set("c2"),1176 schedFixed::scheduler::mRetry: Set(),1177 schedFixed::scheduler::mSchedule: Set(),1178 schedFixed::scheduler::published: 1,1179 schedFixed::scheduler::publishedBy: Set("w2"),1180 schedFixed::scheduler::ws:1181 Map(1182 "w1" ->1183 {1184 attached: Set(),1185 built: false,1186 expecting: false,1187 running: false,1188 session: true,1189 up: true1190 },1191 "w2" ->1192 {1193 attached: Set(),1194 built: true,1195 expecting: false,1196 running: false,1197 session: true,1198 up: true1199 }1200 )1201}12021203[ok] No violation found (7568ms at 3964 traces/second).1204Trace length statistics: max=31, min=13, average=17.571205You may increase --max-samples and --max-steps.1206Use --verbosity to produce more (or less) output.1207Use --seed=0xb78cf65a2a90c853 --backend=rust to reproduce.1208Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■ ] 3% | ETA: 4s | 1105/30000 samples | 7466 samples/sRunning... [■■ ] 5% | ETA: 6s | 1552/30000 samples | 5297 samples/sRunning... [■■■ ] 6% | ETA: 6s | 1936/30000 samples | 4733 samples/sRunning... [■■■ ] 6% | ETA: 6s | 1936/30000 samples | 4733 samples/sRunning... [■■■ ] 8% | ETA: 7s | 2562/30000 samples | 4249 samples/sRunning... [■■■ ] 8% | ETA: 7s | 2562/30000 samples | 4249 samples/sRunning... [■■■■ ] 9% | ETA: 7s | 2966/30000 samples | 4063 samples/sRunning... [■■■■ ] 9% | ETA: 7s | 2966/30000 samples | 4063 samples/sRunning... [■■■■■ ] 12% | ETA: 7s | 3814/30000 samples | 3908 samples/sRunning... [■■■■■ ] 12% | ETA: 7s | 3814/30000 samples | 3908 samples/sRunning... [■■■■■■ ] 14% | ETA: 7s | 4364/30000 samples | 3825 samples/sRunning... [■■■■■■ ] 14% | ETA: 7s | 4364/30000 samples | 3825 samples/sRunning... [■■■■■■■ ] 16% | ETA: 7s | 5033/30000 samples | 3723 samples/sRunning... [■■■■■■■ ] 18% | ETA: 7s | 5461/30000 samples | 3685 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 8s | 5782/30000 samples | 3648 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 8s | 6070/30000 samples | 3602 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 8s | 6070/30000 samples | 3602 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 8s | 6717/30000 samples | 3477 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 8s | 6717/30000 samples | 3477 samples/sRunning... [■■■■■■■■■■ ] 23% | ETA: 8s | 7144/30000 samples | 3475 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 7s | 7902/30000 samples | 3633 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 8s | 7914/30000 samples | 3477 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 7s | 8245/30000 samples | 3461 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 7s | 8573/30000 samples | 3421 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 7s | 8573/30000 samples | 3421 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 7s | 9224/30000 samples | 3410 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 7s | 9533/30000 samples | 3393 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 7s | 9533/30000 samples | 3393 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 7s | 10222/30000 samples | 3345 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 7s | 10222/30000 samples | 3345 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 7s | 10632/30000 samples | 3334 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 7s | 10632/30000 samples | 3334 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 7s | 11316/30000 samples | 3296 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 7s | 11316/30000 samples | 3296 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 7s | 11316/30000 samples | 3296 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 7s | 12046/30000 samples | 3271 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 7s | 12046/30000 samples | 3271 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 7s | 12550/30000 samples | 3216 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 7s | 12899/30000 samples | 3209 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 7s | 12899/30000 samples | 3209 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 6s | 13476/30000 samples | 3191 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 6s | 13476/30000 samples | 3191 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 6s | 14123/30000 samples | 3179 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 6s | 14123/30000 samples | 3179 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 6s | 14612/30000 samples | 3174 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 6s | 14916/30000 samples | 3165 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 6s | 15213/30000 samples | 3157 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 6s | 15596/30000 samples | 3163 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 6s | 15860/30000 samples | 3151 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 5s | 16153/30000 samples | 3144 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 5s | 16153/30000 samples | 3144 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 5s | 16620/30000 samples | 3126 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 5s | 16620/30000 samples | 3126 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 5s | 17309/30000 samples | 3128 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 5s | 17661/30000 samples | 3133 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 5s | 18062/30000 samples | 3124 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 4s | 18462/30000 samples | 3120 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 4s | 18462/30000 samples | 3120 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 4s | 18717/30000 samples | 3103 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 4s | 18717/30000 samples | 3103 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 4s | 19377/30000 samples | 3096 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 4s | 19777/30000 samples | 3092 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 67% | ETA: 4s | 20128/30000 samples | 3093 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 4s | 20439/30000 samples | 3087 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 4s | 20439/30000 samples | 3087 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 4s | 21114/30000 samples | 3090 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 4s | 21114/30000 samples | 3090 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 72% | ETA: 3s | 21792/30000 samples | 3093 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 3s | 22086/30000 samples | 3090 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 3s | 22086/30000 samples | 3090 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 3s | 22474/30000 samples | 3093 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 3s | 22973/30000 samples | 3094 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 3s | 22973/30000 samples | 3094 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 3s | 23576/30000 samples | 3104 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 3s | 23576/30000 samples | 3104 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 2s | 24272/30000 samples | 3100 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 2s | 24521/30000 samples | 3093 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 2s | 24721/30000 samples | 3078 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 2s | 25061/30000 samples | 3074 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 2s | 25061/30000 samples | 3074 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 2s | 25061/30000 samples | 3074 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 2s | 25893/30000 samples | 3088 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 2s | 26197/30000 samples | 3087 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 2s | 26197/30000 samples | 3087 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 2s | 26723/30000 samples | 3075 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 1s | 27075/30000 samples | 3079 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 1s | 27456/30000 samples | 3087 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 1s | 27959/30000 samples | 3098 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 1s | 27959/30000 samples | 3098 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 28614/30000 samples | 3098 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29110/30000 samples | 3101 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29110/30000 samples | 3101 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 29475/30000 samples | 3101 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29922/30000 samples | 3084 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29922/30000 samples | 3084 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29922/30000 samples | 3084 samples/sAn example execution:12091210[State 0]1211{1212 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1213 schedNoFence::scheduler::crashes: 0,1214 schedNoFence::scheduler::entry: [],1215 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1216 schedNoFence::scheduler::mAssigned: Set(),1217 schedNoFence::scheduler::mBuild: Set(),1218 schedNoFence::scheduler::mDone: Set(),1219 schedNoFence::scheduler::mExpect: Set(),1220 schedNoFence::scheduler::mResult: Set(),1221 schedNoFence::scheduler::mRetry: Set(),1222 schedNoFence::scheduler::mSchedule: Set(),1223 schedNoFence::scheduler::published: 0,1224 schedNoFence::scheduler::publishedBy: Set(),1225 schedNoFence::scheduler::ws:1226 Map(1227 "w1" ->1228 {1229 attached: Set(),1230 built: false,1231 expecting: false,1232 running: false,1233 session: true,1234 up: true1235 },1236 "w2" ->1237 {1238 attached: Set(),1239 built: false,1240 expecting: false,1241 running: false,1242 session: true,1243 up: true1244 }1245 )1246}12471248[State 1]1249{1250 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1251 schedNoFence::scheduler::crashes: 0,1252 schedNoFence::scheduler::entry: [],1253 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1254 schedNoFence::scheduler::mAssigned: Set(),1255 schedNoFence::scheduler::mBuild: Set(),1256 schedNoFence::scheduler::mDone: Set(),1257 schedNoFence::scheduler::mExpect: Set(),1258 schedNoFence::scheduler::mResult: Set(),1259 schedNoFence::scheduler::mRetry: Set(),1260 schedNoFence::scheduler::mSchedule: Set("c2"),1261 schedNoFence::scheduler::published: 0,1262 schedNoFence::scheduler::publishedBy: Set(),1263 schedNoFence::scheduler::ws:1264 Map(1265 "w1" ->1266 {1267 attached: Set(),1268 built: false,1269 expecting: false,1270 running: false,1271 session: true,1272 up: true1273 },1274 "w2" ->1275 {1276 attached: Set(),1277 built: false,1278 expecting: false,1279 running: false,1280 session: true,1281 up: true1282 }1283 )1284}12851286[State 2]1287{1288 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1289 schedNoFence::scheduler::crashes: 0,1290 schedNoFence::scheduler::entry:1291 [{ followers: Set("c2"), leased: true, worker: "w1" }],1292 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1293 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),1294 schedNoFence::scheduler::mBuild: Set(),1295 schedNoFence::scheduler::mDone: Set(),1296 schedNoFence::scheduler::mExpect: Set("w1"),1297 schedNoFence::scheduler::mResult: Set(),1298 schedNoFence::scheduler::mRetry: Set(),1299 schedNoFence::scheduler::mSchedule: Set(),1300 schedNoFence::scheduler::published: 0,1301 schedNoFence::scheduler::publishedBy: Set(),1302 schedNoFence::scheduler::ws:1303 Map(1304 "w1" ->1305 {1306 attached: Set(),1307 built: false,1308 expecting: false,1309 running: false,1310 session: true,1311 up: true1312 },1313 "w2" ->1314 {1315 attached: Set(),1316 built: false,1317 expecting: false,1318 running: false,1319 session: true,1320 up: true1321 }1322 )1323}13241325[State 3]1326{1327 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1328 schedNoFence::scheduler::crashes: 1,1329 schedNoFence::scheduler::entry:1330 [{ followers: Set("c2"), leased: true, worker: "w1" }],1331 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1332 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),1333 schedNoFence::scheduler::mBuild: Set(),1334 schedNoFence::scheduler::mDone: Set(),1335 schedNoFence::scheduler::mExpect: Set("w1"),1336 schedNoFence::scheduler::mResult: Set(),1337 schedNoFence::scheduler::mRetry: Set(),1338 schedNoFence::scheduler::mSchedule: Set(),1339 schedNoFence::scheduler::published: 0,1340 schedNoFence::scheduler::publishedBy: Set(),1341 schedNoFence::scheduler::ws:1342 Map(1343 "w1" ->1344 {1345 attached: Set(),1346 built: false,1347 expecting: false,1348 running: false,1349 session: true,1350 up: true1351 },1352 "w2" ->1353 {1354 attached: Set(),1355 built: false,1356 expecting: false,1357 running: false,1358 session: false,1359 up: false1360 }1361 )1362}13631364[State 4]1365{1366 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1367 schedNoFence::scheduler::crashes: 1,1368 schedNoFence::scheduler::entry:1369 [{ followers: Set("c2"), leased: true, worker: "w1" }],1370 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1371 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),1372 schedNoFence::scheduler::mBuild: Set(),1373 schedNoFence::scheduler::mDone: Set(),1374 schedNoFence::scheduler::mExpect: Set(),1375 schedNoFence::scheduler::mResult: Set(),1376 schedNoFence::scheduler::mRetry: Set(),1377 schedNoFence::scheduler::mSchedule: Set(),1378 schedNoFence::scheduler::published: 0,1379 schedNoFence::scheduler::publishedBy: Set(),1380 schedNoFence::scheduler::ws:1381 Map(1382 "w1" ->1383 {1384 attached: Set(),1385 built: false,1386 expecting: true,1387 running: true,1388 session: true,1389 up: true1390 },1391 "w2" ->1392 {1393 attached: Set(),1394 built: false,1395 expecting: false,1396 running: false,1397 session: false,1398 up: false1399 }1400 )1401}14021403[State 5]1404{1405 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1406 schedNoFence::scheduler::crashes: 1,1407 schedNoFence::scheduler::entry:1408 [{ followers: Set("c2"), leased: true, worker: "w1" }],1409 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1410 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),1411 schedNoFence::scheduler::mBuild: Set(),1412 schedNoFence::scheduler::mDone: Set(),1413 schedNoFence::scheduler::mExpect: Set(),1414 schedNoFence::scheduler::mResult: Set(),1415 schedNoFence::scheduler::mRetry: Set(),1416 schedNoFence::scheduler::mSchedule: Set(),1417 schedNoFence::scheduler::published: 0,1418 schedNoFence::scheduler::publishedBy: Set(),1419 schedNoFence::scheduler::ws:1420 Map(1421 "w1" ->1422 {1423 attached: Set(),1424 built: false,1425 expecting: true,1426 running: true,1427 session: true,1428 up: true1429 },1430 "w2" ->1431 {1432 attached: Set(),1433 built: false,1434 expecting: false,1435 running: false,1436 session: true,1437 up: true1438 }1439 )1440}14411442[State 6]1443{1444 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1445 schedNoFence::scheduler::crashes: 2,1446 schedNoFence::scheduler::entry:1447 [{ followers: Set("c2"), leased: true, worker: "w1" }],1448 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1449 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),1450 schedNoFence::scheduler::mBuild: Set(),1451 schedNoFence::scheduler::mDone: Set(),1452 schedNoFence::scheduler::mExpect: Set(),1453 schedNoFence::scheduler::mResult: Set(),1454 schedNoFence::scheduler::mRetry: Set(),1455 schedNoFence::scheduler::mSchedule: Set(),1456 schedNoFence::scheduler::published: 0,1457 schedNoFence::scheduler::publishedBy: Set(),1458 schedNoFence::scheduler::ws:1459 Map(1460 "w1" ->1461 {1462 attached: Set(),1463 built: false,1464 expecting: false,1465 running: false,1466 session: false,1467 up: false1468 },1469 "w2" ->1470 {1471 attached: Set(),1472 built: false,1473 expecting: false,1474 running: false,1475 session: true,1476 up: true1477 }1478 )1479}14801481[State 7]1482{1483 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1484 schedNoFence::scheduler::crashes: 2,1485 schedNoFence::scheduler::entry: [],1486 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1487 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),1488 schedNoFence::scheduler::mBuild: Set(),1489 schedNoFence::scheduler::mDone: Set(),1490 schedNoFence::scheduler::mExpect: Set(),1491 schedNoFence::scheduler::mResult: Set(),1492 schedNoFence::scheduler::mRetry: Set("c2"),1493 schedNoFence::scheduler::mSchedule: Set(),1494 schedNoFence::scheduler::published: 0,1495 schedNoFence::scheduler::publishedBy: Set(),1496 schedNoFence::scheduler::ws:1497 Map(1498 "w1" ->1499 {1500 attached: Set(),1501 built: false,1502 expecting: false,1503 running: false,1504 session: false,1505 up: false1506 },1507 "w2" ->1508 {1509 attached: Set(),1510 built: false,1511 expecting: false,1512 running: false,1513 session: true,1514 up: true1515 }1516 )1517}15181519[State 8]1520{1521 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1522 schedNoFence::scheduler::crashes: 2,1523 schedNoFence::scheduler::entry: [],1524 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1525 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),1526 schedNoFence::scheduler::mBuild: Set(),1527 schedNoFence::scheduler::mDone: Set(),1528 schedNoFence::scheduler::mExpect: Set(),1529 schedNoFence::scheduler::mResult: Set(),1530 schedNoFence::scheduler::mRetry: Set("c2"),1531 schedNoFence::scheduler::mSchedule: Set(),1532 schedNoFence::scheduler::published: 0,1533 schedNoFence::scheduler::publishedBy: Set(),1534 schedNoFence::scheduler::ws:1535 Map(1536 "w1" ->1537 {1538 attached: Set(),1539 built: false,1540 expecting: false,1541 running: false,1542 session: true,1543 up: true1544 },1545 "w2" ->1546 {1547 attached: Set(),1548 built: false,1549 expecting: false,1550 running: false,1551 session: true,1552 up: true1553 }1554 )1555}15561557[State 9]1558{1559 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1560 schedNoFence::scheduler::crashes: 2,1561 schedNoFence::scheduler::entry: [],1562 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1563 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),1564 schedNoFence::scheduler::mBuild: Set(),1565 schedNoFence::scheduler::mDone: Set(),1566 schedNoFence::scheduler::mExpect: Set(),1567 schedNoFence::scheduler::mResult: Set(),1568 schedNoFence::scheduler::mRetry: Set("c2"),1569 schedNoFence::scheduler::mSchedule: Set("c1"),1570 schedNoFence::scheduler::published: 0,1571 schedNoFence::scheduler::publishedBy: Set(),1572 schedNoFence::scheduler::ws:1573 Map(1574 "w1" ->1575 {1576 attached: Set(),1577 built: false,1578 expecting: false,1579 running: false,1580 session: true,1581 up: true1582 },1583 "w2" ->1584 {1585 attached: Set(),1586 built: false,1587 expecting: false,1588 running: false,1589 session: true,1590 up: true1591 }1592 )1593}15941595[State 10]1596{1597 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1598 schedNoFence::scheduler::crashes: 2,1599 schedNoFence::scheduler::entry:1600 [{ followers: Set("c1"), leased: true, worker: "w2" }],1601 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1602 schedNoFence::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w1")),1603 schedNoFence::scheduler::mBuild: Set(),1604 schedNoFence::scheduler::mDone: Set(),1605 schedNoFence::scheduler::mExpect: Set("w2"),1606 schedNoFence::scheduler::mResult: Set(),1607 schedNoFence::scheduler::mRetry: Set("c2"),1608 schedNoFence::scheduler::mSchedule: Set(),1609 schedNoFence::scheduler::published: 0,1610 schedNoFence::scheduler::publishedBy: Set(),1611 schedNoFence::scheduler::ws:1612 Map(1613 "w1" ->1614 {1615 attached: Set(),1616 built: false,1617 expecting: false,1618 running: false,1619 session: true,1620 up: true1621 },1622 "w2" ->1623 {1624 attached: Set(),1625 built: false,1626 expecting: false,1627 running: false,1628 session: true,1629 up: true1630 }1631 )1632}16331634[State 11]1635{1636 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1637 schedNoFence::scheduler::crashes: 2,1638 schedNoFence::scheduler::entry:1639 [{ followers: Set("c1"), leased: true, worker: "w2" }],1640 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1641 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),1642 schedNoFence::scheduler::mBuild: Set(("c1", "w2")),1643 schedNoFence::scheduler::mDone: Set(),1644 schedNoFence::scheduler::mExpect: Set("w2"),1645 schedNoFence::scheduler::mResult: Set(),1646 schedNoFence::scheduler::mRetry: Set("c2"),1647 schedNoFence::scheduler::mSchedule: Set(),1648 schedNoFence::scheduler::published: 0,1649 schedNoFence::scheduler::publishedBy: Set(),1650 schedNoFence::scheduler::ws:1651 Map(1652 "w1" ->1653 {1654 attached: Set(),1655 built: false,1656 expecting: false,1657 running: false,1658 session: true,1659 up: true1660 },1661 "w2" ->1662 {1663 attached: Set(),1664 built: false,1665 expecting: false,1666 running: false,1667 session: true,1668 up: true1669 }1670 )1671}16721673[State 12]1674{1675 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1676 schedNoFence::scheduler::crashes: 2,1677 schedNoFence::scheduler::entry:1678 [{ followers: Set("c1"), leased: true, worker: "w2" }],1679 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1680 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),1681 schedNoFence::scheduler::mBuild: Set(),1682 schedNoFence::scheduler::mDone: Set(),1683 schedNoFence::scheduler::mExpect: Set("w2"),1684 schedNoFence::scheduler::mResult: Set(),1685 schedNoFence::scheduler::mRetry: Set("c1", "c2"),1686 schedNoFence::scheduler::mSchedule: Set(),1687 schedNoFence::scheduler::published: 0,1688 schedNoFence::scheduler::publishedBy: Set(),1689 schedNoFence::scheduler::ws:1690 Map(1691 "w1" ->1692 {1693 attached: Set(),1694 built: false,1695 expecting: false,1696 running: false,1697 session: true,1698 up: true1699 },1700 "w2" ->1701 {1702 attached: Set(),1703 built: false,1704 expecting: false,1705 running: false,1706 session: true,1707 up: true1708 }1709 )1710}17111712[State 13]1713{1714 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1715 schedNoFence::scheduler::crashes: 2,1716 schedNoFence::scheduler::entry:1717 [{ followers: Set("c1"), leased: true, worker: "w2" }],1718 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1719 schedNoFence::scheduler::mAssigned: Set(),1720 schedNoFence::scheduler::mBuild: Set(),1721 schedNoFence::scheduler::mDone: Set(),1722 schedNoFence::scheduler::mExpect: Set("w2"),1723 schedNoFence::scheduler::mResult: Set(),1724 schedNoFence::scheduler::mRetry: Set("c1"),1725 schedNoFence::scheduler::mSchedule: Set("c2"),1726 schedNoFence::scheduler::published: 0,1727 schedNoFence::scheduler::publishedBy: Set(),1728 schedNoFence::scheduler::ws:1729 Map(1730 "w1" ->1731 {1732 attached: Set(),1733 built: false,1734 expecting: false,1735 running: false,1736 session: true,1737 up: true1738 },1739 "w2" ->1740 {1741 attached: Set(),1742 built: false,1743 expecting: false,1744 running: false,1745 session: true,1746 up: true1747 }1748 )1749}17501751[State 14]1752{1753 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1754 schedNoFence::scheduler::crashes: 2,1755 schedNoFence::scheduler::entry:1756 [{ followers: Set("c1"), leased: true, worker: "w2" }],1757 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1758 schedNoFence::scheduler::mAssigned: Set(),1759 schedNoFence::scheduler::mBuild: Set(),1760 schedNoFence::scheduler::mDone: Set(),1761 schedNoFence::scheduler::mExpect: Set("w2"),1762 schedNoFence::scheduler::mResult: Set(),1763 schedNoFence::scheduler::mRetry: Set(),1764 schedNoFence::scheduler::mSchedule: Set("c1", "c2"),1765 schedNoFence::scheduler::published: 0,1766 schedNoFence::scheduler::publishedBy: Set(),1767 schedNoFence::scheduler::ws:1768 Map(1769 "w1" ->1770 {1771 attached: Set(),1772 built: false,1773 expecting: false,1774 running: false,1775 session: true,1776 up: true1777 },1778 "w2" ->1779 {1780 attached: Set(),1781 built: false,1782 expecting: false,1783 running: false,1784 session: true,1785 up: true1786 }1787 )1788}17891790[State 15]1791{1792 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1793 schedNoFence::scheduler::crashes: 2,1794 schedNoFence::scheduler::entry:1795 [{ followers: Set("c1"), leased: true, worker: "w2" }],1796 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1797 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),1798 schedNoFence::scheduler::mBuild: Set(),1799 schedNoFence::scheduler::mDone: Set(),1800 schedNoFence::scheduler::mExpect: Set("w2"),1801 schedNoFence::scheduler::mResult: Set(),1802 schedNoFence::scheduler::mRetry: Set(),1803 schedNoFence::scheduler::mSchedule: Set("c2"),1804 schedNoFence::scheduler::published: 0,1805 schedNoFence::scheduler::publishedBy: Set(),1806 schedNoFence::scheduler::ws:1807 Map(1808 "w1" ->1809 {1810 attached: Set(),1811 built: false,1812 expecting: false,1813 running: false,1814 session: true,1815 up: true1816 },1817 "w2" ->1818 {1819 attached: Set(),1820 built: false,1821 expecting: false,1822 running: false,1823 session: true,1824 up: true1825 }1826 )1827}18281829[State 16]1830{1831 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1832 schedNoFence::scheduler::crashes: 2,1833 schedNoFence::scheduler::entry:1834 [{ followers: Set("c1"), leased: true, worker: "w2" }],1835 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1836 schedNoFence::scheduler::mAssigned: Set(),1837 schedNoFence::scheduler::mBuild: Set(("c1", "w2")),1838 schedNoFence::scheduler::mDone: Set(),1839 schedNoFence::scheduler::mExpect: Set("w2"),1840 schedNoFence::scheduler::mResult: Set(),1841 schedNoFence::scheduler::mRetry: Set(),1842 schedNoFence::scheduler::mSchedule: Set("c2"),1843 schedNoFence::scheduler::published: 0,1844 schedNoFence::scheduler::publishedBy: Set(),1845 schedNoFence::scheduler::ws:1846 Map(1847 "w1" ->1848 {1849 attached: Set(),1850 built: false,1851 expecting: false,1852 running: false,1853 session: true,1854 up: true1855 },1856 "w2" ->1857 {1858 attached: Set(),1859 built: false,1860 expecting: false,1861 running: false,1862 session: true,1863 up: true1864 }1865 )1866}18671868[State 17]1869{1870 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1871 schedNoFence::scheduler::crashes: 2,1872 schedNoFence::scheduler::entry:1873 [{ followers: Set("c1"), leased: true, worker: "w2" }],1874 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1875 schedNoFence::scheduler::mAssigned: Set(),1876 schedNoFence::scheduler::mBuild: Set(),1877 schedNoFence::scheduler::mDone: Set(),1878 schedNoFence::scheduler::mExpect: Set("w2"),1879 schedNoFence::scheduler::mResult: Set(),1880 schedNoFence::scheduler::mRetry: Set("c1"),1881 schedNoFence::scheduler::mSchedule: Set("c2"),1882 schedNoFence::scheduler::published: 0,1883 schedNoFence::scheduler::publishedBy: Set(),1884 schedNoFence::scheduler::ws:1885 Map(1886 "w1" ->1887 {1888 attached: Set(),1889 built: false,1890 expecting: false,1891 running: false,1892 session: true,1893 up: true1894 },1895 "w2" ->1896 {1897 attached: Set(),1898 built: false,1899 expecting: false,1900 running: false,1901 session: true,1902 up: true1903 }1904 )1905}19061907[State 18]1908{1909 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1910 schedNoFence::scheduler::crashes: 2,1911 schedNoFence::scheduler::entry:1912 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1913 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1914 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),1915 schedNoFence::scheduler::mBuild: Set(),1916 schedNoFence::scheduler::mDone: Set(),1917 schedNoFence::scheduler::mExpect: Set("w2"),1918 schedNoFence::scheduler::mResult: Set(),1919 schedNoFence::scheduler::mRetry: Set("c1"),1920 schedNoFence::scheduler::mSchedule: Set(),1921 schedNoFence::scheduler::published: 0,1922 schedNoFence::scheduler::publishedBy: Set(),1923 schedNoFence::scheduler::ws:1924 Map(1925 "w1" ->1926 {1927 attached: Set(),1928 built: false,1929 expecting: false,1930 running: false,1931 session: true,1932 up: true1933 },1934 "w2" ->1935 {1936 attached: Set(),1937 built: false,1938 expecting: false,1939 running: false,1940 session: true,1941 up: true1942 }1943 )1944}19451946[State 19]1947{1948 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1949 schedNoFence::scheduler::crashes: 2,1950 schedNoFence::scheduler::entry:1951 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1952 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1953 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),1954 schedNoFence::scheduler::mBuild: Set(),1955 schedNoFence::scheduler::mDone: Set(),1956 schedNoFence::scheduler::mExpect: Set("w2"),1957 schedNoFence::scheduler::mResult: Set(),1958 schedNoFence::scheduler::mRetry: Set(),1959 schedNoFence::scheduler::mSchedule: Set("c1"),1960 schedNoFence::scheduler::published: 0,1961 schedNoFence::scheduler::publishedBy: Set(),1962 schedNoFence::scheduler::ws:1963 Map(1964 "w1" ->1965 {1966 attached: Set(),1967 built: false,1968 expecting: false,1969 running: false,1970 session: true,1971 up: true1972 },1973 "w2" ->1974 {1975 attached: Set(),1976 built: false,1977 expecting: false,1978 running: false,1979 session: true,1980 up: true1981 }1982 )1983}19841985[State 20]1986{1987 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1988 schedNoFence::scheduler::crashes: 2,1989 schedNoFence::scheduler::entry:1990 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1991 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1992 schedNoFence::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),1993 schedNoFence::scheduler::mBuild: Set(),1994 schedNoFence::scheduler::mDone: Set(),1995 schedNoFence::scheduler::mExpect: Set("w2"),1996 schedNoFence::scheduler::mResult: Set(),1997 schedNoFence::scheduler::mRetry: Set(),1998 schedNoFence::scheduler::mSchedule: Set(),1999 schedNoFence::scheduler::published: 0,2000 schedNoFence::scheduler::publishedBy: Set(),2001 schedNoFence::scheduler::ws:2002 Map(2003 "w1" ->2004 {2005 attached: Set(),2006 built: false,2007 expecting: false,2008 running: false,2009 session: true,2010 up: true2011 },2012 "w2" ->2013 {2014 attached: Set(),2015 built: false,2016 expecting: false,2017 running: false,2018 session: true,2019 up: true2020 }2021 )2022}20232024[State 21]2025{2026 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),2027 schedNoFence::scheduler::crashes: 2,2028 schedNoFence::scheduler::entry:2029 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2030 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2031 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2032 schedNoFence::scheduler::mBuild: Set(("c1", "w2")),2033 schedNoFence::scheduler::mDone: Set(),2034 schedNoFence::scheduler::mExpect: Set("w2"),2035 schedNoFence::scheduler::mResult: Set(),2036 schedNoFence::scheduler::mRetry: Set(),2037 schedNoFence::scheduler::mSchedule: Set(),2038 schedNoFence::scheduler::published: 0,2039 schedNoFence::scheduler::publishedBy: Set(),2040 schedNoFence::scheduler::ws:2041 Map(2042 "w1" ->2043 {2044 attached: Set(),2045 built: false,2046 expecting: false,2047 running: false,2048 session: true,2049 up: true2050 },2051 "w2" ->2052 {2053 attached: Set(),2054 built: false,2055 expecting: false,2056 running: false,2057 session: true,2058 up: true2059 }2060 )2061}20622063[State 22]2064{2065 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),2066 schedNoFence::scheduler::crashes: 2,2067 schedNoFence::scheduler::entry:2068 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2069 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2070 schedNoFence::scheduler::mAssigned: Set(),2071 schedNoFence::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),2072 schedNoFence::scheduler::mDone: Set(),2073 schedNoFence::scheduler::mExpect: Set("w2"),2074 schedNoFence::scheduler::mResult: Set(),2075 schedNoFence::scheduler::mRetry: Set(),2076 schedNoFence::scheduler::mSchedule: Set(),2077 schedNoFence::scheduler::published: 0,2078 schedNoFence::scheduler::publishedBy: Set(),2079 schedNoFence::scheduler::ws:2080 Map(2081 "w1" ->2082 {2083 attached: Set(),2084 built: false,2085 expecting: false,2086 running: false,2087 session: true,2088 up: true2089 },2090 "w2" ->2091 {2092 attached: Set(),2093 built: false,2094 expecting: false,2095 running: false,2096 session: true,2097 up: true2098 }2099 )2100}21012102[State 23]2103{2104 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),2105 schedNoFence::scheduler::crashes: 2,2106 schedNoFence::scheduler::entry:2107 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2108 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2109 schedNoFence::scheduler::mAssigned: Set(),2110 schedNoFence::scheduler::mBuild: Set(("c1", "w2")),2111 schedNoFence::scheduler::mDone: Set(),2112 schedNoFence::scheduler::mExpect: Set("w2"),2113 schedNoFence::scheduler::mResult: Set(),2114 schedNoFence::scheduler::mRetry: Set("c2"),2115 schedNoFence::scheduler::mSchedule: Set(),2116 schedNoFence::scheduler::published: 0,2117 schedNoFence::scheduler::publishedBy: Set(),2118 schedNoFence::scheduler::ws:2119 Map(2120 "w1" ->2121 {2122 attached: Set(),2123 built: false,2124 expecting: false,2125 running: false,2126 session: true,2127 up: true2128 },2129 "w2" ->2130 {2131 attached: Set(),2132 built: false,2133 expecting: false,2134 running: false,2135 session: true,2136 up: true2137 }2138 )2139}21402141[State 24]2142{2143 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),2144 schedNoFence::scheduler::crashes: 2,2145 schedNoFence::scheduler::entry:2146 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2147 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2148 schedNoFence::scheduler::mAssigned: Set(),2149 schedNoFence::scheduler::mBuild: Set(),2150 schedNoFence::scheduler::mDone: Set(),2151 schedNoFence::scheduler::mExpect: Set("w2"),2152 schedNoFence::scheduler::mResult: Set(),2153 schedNoFence::scheduler::mRetry: Set("c1", "c2"),2154 schedNoFence::scheduler::mSchedule: Set(),2155 schedNoFence::scheduler::published: 0,2156 schedNoFence::scheduler::publishedBy: Set(),2157 schedNoFence::scheduler::ws:2158 Map(2159 "w1" ->2160 {2161 attached: Set(),2162 built: false,2163 expecting: false,2164 running: false,2165 session: true,2166 up: true2167 },2168 "w2" ->2169 {2170 attached: Set(),2171 built: false,2172 expecting: false,2173 running: false,2174 session: true,2175 up: true2176 }2177 )2178}21792180[State 25]2181{2182 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),2183 schedNoFence::scheduler::crashes: 2,2184 schedNoFence::scheduler::entry:2185 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2186 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2187 schedNoFence::scheduler::mAssigned: Set(),2188 schedNoFence::scheduler::mBuild: Set(),2189 schedNoFence::scheduler::mDone: Set(),2190 schedNoFence::scheduler::mExpect: Set("w2"),2191 schedNoFence::scheduler::mResult: Set(),2192 schedNoFence::scheduler::mRetry: Set("c2"),2193 schedNoFence::scheduler::mSchedule: Set("c1"),2194 schedNoFence::scheduler::published: 0,2195 schedNoFence::scheduler::publishedBy: Set(),2196 schedNoFence::scheduler::ws:2197 Map(2198 "w1" ->2199 {2200 attached: Set(),2201 built: false,2202 expecting: false,2203 running: false,2204 session: true,2205 up: true2206 },2207 "w2" ->2208 {2209 attached: Set(),2210 built: false,2211 expecting: false,2212 running: false,2213 session: true,2214 up: true2215 }2216 )2217}22182219[State 26]2220{2221 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),2222 schedNoFence::scheduler::crashes: 2,2223 schedNoFence::scheduler::entry:2224 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2225 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2226 schedNoFence::scheduler::mAssigned: Set(),2227 schedNoFence::scheduler::mBuild: Set(),2228 schedNoFence::scheduler::mDone: Set(),2229 schedNoFence::scheduler::mExpect: Set(),2230 schedNoFence::scheduler::mResult: Set(),2231 schedNoFence::scheduler::mRetry: Set("c2"),2232 schedNoFence::scheduler::mSchedule: Set("c1"),2233 schedNoFence::scheduler::published: 0,2234 schedNoFence::scheduler::publishedBy: Set(),2235 schedNoFence::scheduler::ws:2236 Map(2237 "w1" ->2238 {2239 attached: Set(),2240 built: false,2241 expecting: false,2242 running: false,2243 session: true,2244 up: true2245 },2246 "w2" ->2247 {2248 attached: Set(),2249 built: false,2250 expecting: true,2251 running: true,2252 session: true,2253 up: true2254 }2255 )2256}22572258[State 27]2259{2260 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),2261 schedNoFence::scheduler::crashes: 2,2262 schedNoFence::scheduler::entry:2263 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2264 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2265 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),2266 schedNoFence::scheduler::mBuild: Set(),2267 schedNoFence::scheduler::mDone: Set(),2268 schedNoFence::scheduler::mExpect: Set(),2269 schedNoFence::scheduler::mResult: Set(),2270 schedNoFence::scheduler::mRetry: Set("c2"),2271 schedNoFence::scheduler::mSchedule: Set(),2272 schedNoFence::scheduler::published: 0,2273 schedNoFence::scheduler::publishedBy: Set(),2274 schedNoFence::scheduler::ws:2275 Map(2276 "w1" ->2277 {2278 attached: Set(),2279 built: false,2280 expecting: false,2281 running: false,2282 session: true,2283 up: true2284 },2285 "w2" ->2286 {2287 attached: Set(),2288 built: false,2289 expecting: true,2290 running: true,2291 session: true,2292 up: true2293 }2294 )2295}22962297[State 28]2298{2299 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2300 schedNoFence::scheduler::crashes: 2,2301 schedNoFence::scheduler::entry:2302 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2303 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2304 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),2305 schedNoFence::scheduler::mBuild: Set(),2306 schedNoFence::scheduler::mDone: Set(),2307 schedNoFence::scheduler::mExpect: Set(),2308 schedNoFence::scheduler::mResult: Set(),2309 schedNoFence::scheduler::mRetry: Set(),2310 schedNoFence::scheduler::mSchedule: Set("c2"),2311 schedNoFence::scheduler::published: 0,2312 schedNoFence::scheduler::publishedBy: Set(),2313 schedNoFence::scheduler::ws:2314 Map(2315 "w1" ->2316 {2317 attached: Set(),2318 built: false,2319 expecting: false,2320 running: false,2321 session: true,2322 up: true2323 },2324 "w2" ->2325 {2326 attached: Set(),2327 built: false,2328 expecting: true,2329 running: true,2330 session: true,2331 up: true2332 }2333 )2334}23352336[State 29]2337{2338 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),2339 schedNoFence::scheduler::crashes: 2,2340 schedNoFence::scheduler::entry:2341 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2342 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2343 schedNoFence::scheduler::mAssigned: Set(),2344 schedNoFence::scheduler::mBuild: Set(("c1", "w2")),2345 schedNoFence::scheduler::mDone: Set(),2346 schedNoFence::scheduler::mExpect: Set(),2347 schedNoFence::scheduler::mResult: Set(),2348 schedNoFence::scheduler::mRetry: Set(),2349 schedNoFence::scheduler::mSchedule: Set("c2"),2350 schedNoFence::scheduler::published: 0,2351 schedNoFence::scheduler::publishedBy: Set(),2352 schedNoFence::scheduler::ws:2353 Map(2354 "w1" ->2355 {2356 attached: Set(),2357 built: false,2358 expecting: false,2359 running: false,2360 session: true,2361 up: true2362 },2363 "w2" ->2364 {2365 attached: Set(),2366 built: false,2367 expecting: true,2368 running: true,2369 session: true,2370 up: true2371 }2372 )2373}23742375[State 30]2376{2377 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),2378 schedNoFence::scheduler::crashes: 2,2379 schedNoFence::scheduler::entry:2380 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2381 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2382 schedNoFence::scheduler::mAssigned: Set(),2383 schedNoFence::scheduler::mBuild: Set(("c1", "w2")),2384 schedNoFence::scheduler::mDone: Set("w2"),2385 schedNoFence::scheduler::mExpect: Set(),2386 schedNoFence::scheduler::mResult: Set(),2387 schedNoFence::scheduler::mRetry: Set(),2388 schedNoFence::scheduler::mSchedule: Set("c2"),2389 schedNoFence::scheduler::published: 1,2390 schedNoFence::scheduler::publishedBy: Set("w2"),2391 schedNoFence::scheduler::ws:2392 Map(2393 "w1" ->2394 {2395 attached: Set(),2396 built: false,2397 expecting: false,2398 running: false,2399 session: true,2400 up: true2401 },2402 "w2" ->2403 {2404 attached: Set(),2405 built: true,2406 expecting: false,2407 running: false,2408 session: true,2409 up: true2410 }2411 )2412}24132414[ok] No violation found (9903ms at 3029 traces/second).2415Trace length statistics: max=31, min=13, average=17.582416You may increase --max-samples and --max-steps.2417Use --verbosity to produce more (or less) output.2418Use --seed=0xc7d1f1fcc471d064 --backend=rust to reproduce.2419Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sAn example execution:24202421[State 0]2422{2423 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2424 schedNoPush::scheduler::crashes: 0,2425 schedNoPush::scheduler::entry: [],2426 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2427 schedNoPush::scheduler::mAssigned: Set(),2428 schedNoPush::scheduler::mBuild: Set(),2429 schedNoPush::scheduler::mDone: Set(),2430 schedNoPush::scheduler::mExpect: Set(),2431 schedNoPush::scheduler::mResult: Set(),2432 schedNoPush::scheduler::mRetry: Set(),2433 schedNoPush::scheduler::mSchedule: Set(),2434 schedNoPush::scheduler::published: 0,2435 schedNoPush::scheduler::publishedBy: Set(),2436 schedNoPush::scheduler::ws:2437 Map(2438 "w1" ->2439 {2440 attached: Set(),2441 built: false,2442 expecting: false,2443 running: false,2444 session: true,2445 up: true2446 },2447 "w2" ->2448 {2449 attached: Set(),2450 built: false,2451 expecting: false,2452 running: false,2453 session: true,2454 up: true2455 }2456 )2457}24582459[State 1]2460{2461 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2462 schedNoPush::scheduler::crashes: 0,2463 schedNoPush::scheduler::entry: [],2464 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2465 schedNoPush::scheduler::mAssigned: Set(),2466 schedNoPush::scheduler::mBuild: Set(),2467 schedNoPush::scheduler::mDone: Set(),2468 schedNoPush::scheduler::mExpect: Set(),2469 schedNoPush::scheduler::mResult: Set(),2470 schedNoPush::scheduler::mRetry: Set(),2471 schedNoPush::scheduler::mSchedule: Set("c1"),2472 schedNoPush::scheduler::published: 0,2473 schedNoPush::scheduler::publishedBy: Set(),2474 schedNoPush::scheduler::ws:2475 Map(2476 "w1" ->2477 {2478 attached: Set(),2479 built: false,2480 expecting: false,2481 running: false,2482 session: true,2483 up: true2484 },2485 "w2" ->2486 {2487 attached: Set(),2488 built: false,2489 expecting: false,2490 running: false,2491 session: true,2492 up: true2493 }2494 )2495}24962497[State 2]2498{2499 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2500 schedNoPush::scheduler::crashes: 0,2501 schedNoPush::scheduler::entry:2502 [{ followers: Set("c1"), leased: true, worker: "w2" }],2503 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),2504 schedNoPush::scheduler::mAssigned: Set(("c1", "w2")),2505 schedNoPush::scheduler::mBuild: Set(),2506 schedNoPush::scheduler::mDone: Set(),2507 schedNoPush::scheduler::mExpect: Set(),2508 schedNoPush::scheduler::mResult: Set(),2509 schedNoPush::scheduler::mRetry: Set(),2510 schedNoPush::scheduler::mSchedule: Set(),2511 schedNoPush::scheduler::published: 0,2512 schedNoPush::scheduler::publishedBy: Set(),2513 schedNoPush::scheduler::ws:2514 Map(2515 "w1" ->2516 {2517 attached: Set(),2518 built: false,2519 expecting: false,2520 running: false,2521 session: true,2522 up: true2523 },2524 "w2" ->2525 {2526 attached: Set(),2527 built: false,2528 expecting: false,2529 running: false,2530 session: true,2531 up: true2532 }2533 )2534}25352536[State 3]2537{2538 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),2539 schedNoPush::scheduler::crashes: 0,2540 schedNoPush::scheduler::entry:2541 [{ followers: Set("c1"), leased: true, worker: "w2" }],2542 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),2543 schedNoPush::scheduler::mAssigned: Set(),2544 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),2545 schedNoPush::scheduler::mDone: Set(),2546 schedNoPush::scheduler::mExpect: Set(),2547 schedNoPush::scheduler::mResult: Set(),2548 schedNoPush::scheduler::mRetry: Set(),2549 schedNoPush::scheduler::mSchedule: Set(),2550 schedNoPush::scheduler::published: 0,2551 schedNoPush::scheduler::publishedBy: Set(),2552 schedNoPush::scheduler::ws:2553 Map(2554 "w1" ->2555 {2556 attached: Set(),2557 built: false,2558 expecting: false,2559 running: false,2560 session: true,2561 up: true2562 },2563 "w2" ->2564 {2565 attached: Set(),2566 built: false,2567 expecting: false,2568 running: false,2569 session: true,2570 up: true2571 }2572 )2573}25742575[State 4]2576{2577 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),2578 schedNoPush::scheduler::crashes: 1,2579 schedNoPush::scheduler::entry: [],2580 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2581 schedNoPush::scheduler::mAssigned: Set(),2582 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),2583 schedNoPush::scheduler::mDone: Set(),2584 schedNoPush::scheduler::mExpect: Set(),2585 schedNoPush::scheduler::mResult: Set(),2586 schedNoPush::scheduler::mRetry: Set(),2587 schedNoPush::scheduler::mSchedule: Set(),2588 schedNoPush::scheduler::published: 0,2589 schedNoPush::scheduler::publishedBy: Set(),2590 schedNoPush::scheduler::ws:2591 Map(2592 "w1" ->2593 {2594 attached: Set(),2595 built: false,2596 expecting: false,2597 running: false,2598 session: true,2599 up: true2600 },2601 "w2" ->2602 {2603 attached: Set(),2604 built: false,2605 expecting: false,2606 running: false,2607 session: true,2608 up: true2609 }2610 )2611}26122613[State 5]2614{2615 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),2616 schedNoPush::scheduler::crashes: 2,2617 schedNoPush::scheduler::entry: [],2618 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2619 schedNoPush::scheduler::mAssigned: Set(),2620 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),2621 schedNoPush::scheduler::mDone: Set(),2622 schedNoPush::scheduler::mExpect: Set(),2623 schedNoPush::scheduler::mResult: Set(),2624 schedNoPush::scheduler::mRetry: Set(),2625 schedNoPush::scheduler::mSchedule: Set(),2626 schedNoPush::scheduler::published: 0,2627 schedNoPush::scheduler::publishedBy: Set(),2628 schedNoPush::scheduler::ws:2629 Map(2630 "w1" ->2631 {2632 attached: Set(),2633 built: false,2634 expecting: false,2635 running: false,2636 session: false,2637 up: false2638 },2639 "w2" ->2640 {2641 attached: Set(),2642 built: false,2643 expecting: false,2644 running: false,2645 session: true,2646 up: true2647 }2648 )2649}26502651[State 6]2652{2653 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),2654 schedNoPush::scheduler::crashes: 2,2655 schedNoPush::scheduler::entry: [],2656 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2657 schedNoPush::scheduler::mAssigned: Set(),2658 schedNoPush::scheduler::mBuild: Set(),2659 schedNoPush::scheduler::mDone: Set(),2660 schedNoPush::scheduler::mExpect: Set(),2661 schedNoPush::scheduler::mResult: Set(),2662 schedNoPush::scheduler::mRetry: Set(),2663 schedNoPush::scheduler::mSchedule: Set(),2664 schedNoPush::scheduler::published: 0,2665 schedNoPush::scheduler::publishedBy: Set(),2666 schedNoPush::scheduler::ws:2667 Map(2668 "w1" ->2669 {2670 attached: Set(),2671 built: false,2672 expecting: false,2673 running: false,2674 session: false,2675 up: false2676 },2677 "w2" ->2678 {2679 attached: Set("c1"),2680 built: false,2681 expecting: true,2682 running: true,2683 session: true,2684 up: true2685 }2686 )2687}26882689[violation] Found an issue (167ms at 2389 traces/second).2690Use --verbosity=3 to show executions.2691Use --seed=0xafb8c7127b66c5f0 --backend=rust to reproduce.2692error: Invariant violated2693Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■ ] 3% | ETA: 5s | 1031/30000 samples | 5858 samples/sRunning... [■ ] 3% | ETA: 5s | 1031/30000 samples | 5858 samples/sRunning... [■■ ] 4% | ETA: 8s | 1470/30000 samples | 3930 samples/sRunning... [■■ ] 4% | ETA: 8s | 1470/30000 samples | 3930 samples/sRunning... [■■ ] 5% | ETA: 10s | 1794/30000 samples | 3061 samples/sRunning... [■■■ ] 6% | ETA: 10s | 1942/30000 samples | 2814 samples/sRunning... [■■■ ] 6% | ETA: 10s | 1942/30000 samples | 2814 samples/sRunning... [■■■ ] 6% | ETA: 10s | 1942/30000 samples | 2814 samples/sRunning... [■■■ ] 7% | ETA: 12s | 2341/30000 samples | 2506 samples/sRunning... [■■■ ] 8% | ETA: 12s | 2474/30000 samples | 2393 samples/sRunning... [■■■■ ] 9% | ETA: 12s | 2792/30000 samples | 2272 samples/sRunning... [■■■■ ] 9% | ETA: 12s | 2792/30000 samples | 2272 samples/sRunning... [■■■■ ] 9% | ETA: 13s | 2952/30000 samples | 2218 samples/sRunning... [■■■■ ] 10% | ETA: 13s | 3093/30000 samples | 2135 samples/sRunning... [■■■■ ] 10% | ETA: 18s | 3173/30000 samples | 2048 samples/sRunning... [■■■■ ] 10% | ETA: 20s | 3278/30000 samples | 1948 samples/sRunning... [■■■■ ] 11% | ETA: 21s | 3360/30000 samples | 1879 samples/sRunning... [■■■■■ ] 11% | ETA: 22s | 3439/30000 samples | 1820 samples/sRunning... [■■■■■ ] 11% | ETA: 24s | 3555/30000 samples | 1757 samples/sRunning... [■■■■■ ] 12% | ETA: 26s | 3628/30000 samples | 1704 samples/sRunning... [■■■■■ ] 12% | ETA: 26s | 3628/30000 samples | 1704 samples/sRunning... [■■■■■ ] 12% | ETA: 26s | 3628/30000 samples | 1704 samples/sRunning... [■■■■■ ] 12% | ETA: 30s | 3815/30000 samples | 1614 samples/sRunning... [■■■■■ ] 12% | ETA: 30s | 3815/30000 samples | 1614 samples/sRunning... [■■■■■ ] 13% | ETA: 33s | 3949/30000 samples | 1540 samples/sRunning... [■■■■■ ] 13% | ETA: 33s | 3949/30000 samples | 1540 samples/sRunning... [■■■■■ ] 13% | ETA: 36s | 4054/30000 samples | 1466 samples/sRunning... [■■■■■ ] 13% | ETA: 38s | 4084/30000 samples | 1421 samples/sRunning... [■■■■■ ] 13% | ETA: 38s | 4084/30000 samples | 1421 samples/sRunning... [■■■■■■ ] 14% | ETA: 40s | 4203/30000 samples | 1354 samples/sRunning... [■■■■■■ ] 14% | ETA: 40s | 4203/30000 samples | 1354 samples/sRunning... [■■■■■■ ] 14% | ETA: 43s | 4271/30000 samples | 1299 samples/sRunning... [■■■■■■ ] 14% | ETA: 45s | 4308/30000 samples | 1270 samples/sRunning... [■■■■■■ ] 14% | ETA: 49s | 4347/30000 samples | 1239 samples/sRunning... [■■■■■■ ] 14% | ETA: 49s | 4347/30000 samples | 1239 samples/sRunning... [■■■■■■ ] 14% | ETA: 52s | 4402/30000 samples | 1192 samples/sRunning... [■■■■■■ ] 14% | ETA: 52s | 4402/30000 samples | 1192 samples/sRunning... [■■■■■■ ] 14% | ETA: 61s | 4457/30000 samples | 1146 samples/sRunning... [■■■■■■ ] 14% | ETA: 68s | 4487/30000 samples | 1123 samples/sRunning... [■■■■■■ ] 15% | ETA: 73s | 4529/30000 samples | 1102 samples/sRunning... [■■■■■■ ] 15% | ETA: 73s | 4529/30000 samples | 1102 samples/sRunning... [■■■■■■ ] 15% | ETA: 74s | 4579/30000 samples | 1066 samples/sAn example execution:26942695[State 0]2696{2697 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2698 schedNoReport::scheduler::crashes: 0,2699 schedNoReport::scheduler::entry: [],2700 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2701 schedNoReport::scheduler::mAssigned: Set(),2702 schedNoReport::scheduler::mBuild: Set(),2703 schedNoReport::scheduler::mDone: Set(),2704 schedNoReport::scheduler::mExpect: Set(),2705 schedNoReport::scheduler::mResult: Set(),2706 schedNoReport::scheduler::mRetry: Set(),2707 schedNoReport::scheduler::mSchedule: Set(),2708 schedNoReport::scheduler::published: 0,2709 schedNoReport::scheduler::publishedBy: Set(),2710 schedNoReport::scheduler::ws:2711 Map(2712 "w1" ->2713 {2714 attached: Set(),2715 built: false,2716 expecting: false,2717 running: false,2718 session: true,2719 up: true2720 },2721 "w2" ->2722 {2723 attached: Set(),2724 built: false,2725 expecting: false,2726 running: false,2727 session: true,2728 up: true2729 }2730 )2731}27322733[State 1]2734{2735 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2736 schedNoReport::scheduler::crashes: 0,2737 schedNoReport::scheduler::entry: [],2738 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2739 schedNoReport::scheduler::mAssigned: Set(),2740 schedNoReport::scheduler::mBuild: Set(),2741 schedNoReport::scheduler::mDone: Set(),2742 schedNoReport::scheduler::mExpect: Set(),2743 schedNoReport::scheduler::mResult: Set(),2744 schedNoReport::scheduler::mRetry: Set(),2745 schedNoReport::scheduler::mSchedule: Set("c2"),2746 schedNoReport::scheduler::published: 0,2747 schedNoReport::scheduler::publishedBy: Set(),2748 schedNoReport::scheduler::ws:2749 Map(2750 "w1" ->2751 {2752 attached: Set(),2753 built: false,2754 expecting: false,2755 running: false,2756 session: true,2757 up: true2758 },2759 "w2" ->2760 {2761 attached: Set(),2762 built: false,2763 expecting: false,2764 running: false,2765 session: true,2766 up: true2767 }2768 )2769}27702771[State 2]2772{2773 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2774 schedNoReport::scheduler::crashes: 0,2775 schedNoReport::scheduler::entry:2776 [{ followers: Set("c2"), leased: true, worker: "w2" }],2777 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2778 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),2779 schedNoReport::scheduler::mBuild: Set(),2780 schedNoReport::scheduler::mDone: Set(),2781 schedNoReport::scheduler::mExpect: Set("w2"),2782 schedNoReport::scheduler::mResult: Set(),2783 schedNoReport::scheduler::mRetry: Set(),2784 schedNoReport::scheduler::mSchedule: Set(),2785 schedNoReport::scheduler::published: 0,2786 schedNoReport::scheduler::publishedBy: Set(),2787 schedNoReport::scheduler::ws:2788 Map(2789 "w1" ->2790 {2791 attached: Set(),2792 built: false,2793 expecting: false,2794 running: false,2795 session: true,2796 up: true2797 },2798 "w2" ->2799 {2800 attached: Set(),2801 built: false,2802 expecting: false,2803 running: false,2804 session: true,2805 up: true2806 }2807 )2808}28092810[State 3]2811{2812 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2813 schedNoReport::scheduler::crashes: 0,2814 schedNoReport::scheduler::entry:2815 [{ followers: Set("c2"), leased: true, worker: "w2" }],2816 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2817 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),2818 schedNoReport::scheduler::mBuild: Set(),2819 schedNoReport::scheduler::mDone: Set(),2820 schedNoReport::scheduler::mExpect: Set(),2821 schedNoReport::scheduler::mResult: Set(),2822 schedNoReport::scheduler::mRetry: Set(),2823 schedNoReport::scheduler::mSchedule: Set(),2824 schedNoReport::scheduler::published: 0,2825 schedNoReport::scheduler::publishedBy: Set(),2826 schedNoReport::scheduler::ws:2827 Map(2828 "w1" ->2829 {2830 attached: Set(),2831 built: false,2832 expecting: false,2833 running: false,2834 session: true,2835 up: true2836 },2837 "w2" ->2838 {2839 attached: Set(),2840 built: false,2841 expecting: true,2842 running: true,2843 session: true,2844 up: true2845 }2846 )2847}28482849[State 4]2850{2851 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2852 schedNoReport::scheduler::crashes: 1,2853 schedNoReport::scheduler::entry: [],2854 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2855 schedNoReport::scheduler::mAssigned: Set(),2856 schedNoReport::scheduler::mBuild: Set(),2857 schedNoReport::scheduler::mDone: Set(),2858 schedNoReport::scheduler::mExpect: Set(),2859 schedNoReport::scheduler::mResult: Set(),2860 schedNoReport::scheduler::mRetry: Set("c2"),2861 schedNoReport::scheduler::mSchedule: Set(),2862 schedNoReport::scheduler::published: 0,2863 schedNoReport::scheduler::publishedBy: Set(),2864 schedNoReport::scheduler::ws:2865 Map(2866 "w1" ->2867 {2868 attached: Set(),2869 built: false,2870 expecting: false,2871 running: false,2872 session: true,2873 up: true2874 },2875 "w2" ->2876 {2877 attached: Set(),2878 built: false,2879 expecting: true,2880 running: true,2881 session: true,2882 up: true2883 }2884 )2885}28862887[State 5]2888{2889 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2890 schedNoReport::scheduler::crashes: 2,2891 schedNoReport::scheduler::entry: [],2892 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2893 schedNoReport::scheduler::mAssigned: Set(),2894 schedNoReport::scheduler::mBuild: Set(),2895 schedNoReport::scheduler::mDone: Set(),2896 schedNoReport::scheduler::mExpect: Set(),2897 schedNoReport::scheduler::mResult: Set(),2898 schedNoReport::scheduler::mRetry: Set("c2"),2899 schedNoReport::scheduler::mSchedule: Set(),2900 schedNoReport::scheduler::published: 0,2901 schedNoReport::scheduler::publishedBy: Set(),2902 schedNoReport::scheduler::ws:2903 Map(2904 "w1" ->2905 {2906 attached: Set(),2907 built: false,2908 expecting: false,2909 running: false,2910 session: true,2911 up: true2912 },2913 "w2" ->2914 {2915 attached: Set(),2916 built: false,2917 expecting: true,2918 running: true,2919 session: true,2920 up: true2921 }2922 )2923}29242925[State 6]2926{2927 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2928 schedNoReport::scheduler::crashes: 2,2929 schedNoReport::scheduler::entry: [],2930 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2931 schedNoReport::scheduler::mAssigned: Set(),2932 schedNoReport::scheduler::mBuild: Set(),2933 schedNoReport::scheduler::mDone: Set(),2934 schedNoReport::scheduler::mExpect: Set(),2935 schedNoReport::scheduler::mResult: Set(),2936 schedNoReport::scheduler::mRetry: Set("c2"),2937 schedNoReport::scheduler::mSchedule: Set("c1"),2938 schedNoReport::scheduler::published: 0,2939 schedNoReport::scheduler::publishedBy: Set(),2940 schedNoReport::scheduler::ws:2941 Map(2942 "w1" ->2943 {2944 attached: Set(),2945 built: false,2946 expecting: false,2947 running: false,2948 session: true,2949 up: true2950 },2951 "w2" ->2952 {2953 attached: Set(),2954 built: false,2955 expecting: true,2956 running: true,2957 session: true,2958 up: true2959 }2960 )2961}29622963[State 7]2964{2965 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2966 schedNoReport::scheduler::crashes: 2,2967 schedNoReport::scheduler::entry:2968 [{ followers: Set("c1"), leased: true, worker: "w1" }],2969 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),2970 schedNoReport::scheduler::mAssigned: Set(("c1", "w1")),2971 schedNoReport::scheduler::mBuild: Set(),2972 schedNoReport::scheduler::mDone: Set(),2973 schedNoReport::scheduler::mExpect: Set("w1"),2974 schedNoReport::scheduler::mResult: Set(),2975 schedNoReport::scheduler::mRetry: Set("c2"),2976 schedNoReport::scheduler::mSchedule: Set(),2977 schedNoReport::scheduler::published: 0,2978 schedNoReport::scheduler::publishedBy: Set(),2979 schedNoReport::scheduler::ws:2980 Map(2981 "w1" ->2982 {2983 attached: Set(),2984 built: false,2985 expecting: false,2986 running: false,2987 session: true,2988 up: true2989 },2990 "w2" ->2991 {2992 attached: Set(),2993 built: false,2994 expecting: true,2995 running: true,2996 session: true,2997 up: true2998 }2999 )3000}30013002[State 8]3003{3004 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3005 schedNoReport::scheduler::crashes: 2,3006 schedNoReport::scheduler::entry:3007 [{ followers: Set("c1"), leased: true, worker: "w1" }],3008 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),3009 schedNoReport::scheduler::mAssigned: Set(("c1", "w1")),3010 schedNoReport::scheduler::mBuild: Set(),3011 schedNoReport::scheduler::mDone: Set(),3012 schedNoReport::scheduler::mExpect: Set(),3013 schedNoReport::scheduler::mResult: Set(),3014 schedNoReport::scheduler::mRetry: Set("c2"),3015 schedNoReport::scheduler::mSchedule: Set(),3016 schedNoReport::scheduler::published: 0,3017 schedNoReport::scheduler::publishedBy: Set(),3018 schedNoReport::scheduler::ws:3019 Map(3020 "w1" ->3021 {3022 attached: Set(),3023 built: false,3024 expecting: true,3025 running: true,3026 session: true,3027 up: true3028 },3029 "w2" ->3030 {3031 attached: Set(),3032 built: false,3033 expecting: true,3034 running: true,3035 session: true,3036 up: true3037 }3038 )3039}30403041[violation] Found an issue (4412ms at 1039 traces/second).3042Use --verbosity=3 to show executions.3043Use --seed=0x666c11ea3e2847e6 --backend=rust to reproduce.3044error: Invariant violated3045Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■ ] 2% | ETA: 10s | 758/30000 samples | 3008 samples/sRunning... [■ ] 2% | ETA: 10s | 758/30000 samples | 3008 samples/sRunning... [■■ ] 3% | ETA: 12s | 1198/30000 samples | 2415 samples/sRunning... [■■ ] 3% | ETA: 12s | 1198/30000 samples | 2415 samples/sRunning... [■■ ] 4% | ETA: 13s | 1497/30000 samples | 2268 samples/sRunning... [■■ ] 5% | ETA: 13s | 1695/30000 samples | 2193 samples/sRunning... [■■■ ] 6% | ETA: 14s | 1929/30000 samples | 2146 samples/sRunning... [■■■ ] 6% | ETA: 14s | 1929/30000 samples | 2146 samples/sRunning... [■■■ ] 7% | ETA: 14s | 2316/30000 samples | 2079 samples/sRunning... [■■■ ] 8% | ETA: 14s | 2553/30000 samples | 2061 samples/sRunning... [■■■ ] 8% | ETA: 14s | 2553/30000 samples | 2061 samples/sRunning... [■■■■ ] 9% | ETA: 14s | 2803/30000 samples | 2036 samples/sRunning... [■■■■ ] 9% | ETA: 14s | 2961/30000 samples | 2005 samples/sRunning... [■■■■ ] 9% | ETA: 14s | 2961/30000 samples | 2005 samples/sRunning... [■■■■ ] 11% | ETA: 16s | 3312/30000 samples | 1927 samples/sRunning... [■■■■ ] 11% | ETA: 16s | 3312/30000 samples | 1927 samples/sRunning... [■■■■■ ] 12% | ETA: 15s | 3688/30000 samples | 1930 samples/sRunning... [■■■■■ ] 13% | ETA: 15s | 3935/30000 samples | 1926 samples/sRunning... [■■■■■ ] 13% | ETA: 15s | 3935/30000 samples | 1926 samples/sRunning... [■■■■■ ] 13% | ETA: 15s | 3935/30000 samples | 1926 samples/sRunning... [■■■■■■ ] 14% | ETA: 15s | 4380/30000 samples | 1932 samples/sRunning... [■■■■■■ ] 14% | ETA: 15s | 4380/30000 samples | 1932 samples/sRunning... [■■■■■■■ ] 16% | ETA: 14s | 4900/30000 samples | 1955 samples/sRunning... [■■■■■■■ ] 17% | ETA: 14s | 5110/30000 samples | 1951 samples/sRunning... [■■■■■■■ ] 17% | ETA: 14s | 5110/30000 samples | 1951 samples/sRunning... [■■■■■■■ ] 18% | ETA: 14s | 5551/30000 samples | 1936 samples/sRunning... [■■■■■■■ ] 18% | ETA: 14s | 5551/30000 samples | 1936 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 14s | 5816/30000 samples | 1926 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 14s | 5816/30000 samples | 1926 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 14s | 6191/30000 samples | 1905 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 14s | 6191/30000 samples | 1905 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 13s | 6520/30000 samples | 1906 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 13s | 6520/30000 samples | 1906 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 13s | 6838/30000 samples | 1889 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 13s | 7048/30000 samples | 1878 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 13s | 7048/30000 samples | 1878 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 13s | 7534/30000 samples | 1888 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 13s | 7534/30000 samples | 1888 samples/sRunning... [■■■■■■■■■■ ] 26% | ETA: 13s | 7820/30000 samples | 1895 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 12s | 8161/30000 samples | 1904 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 12s | 8161/30000 samples | 1904 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 12s | 8466/30000 samples | 1915 samples/sRunning... [■■■■■■■■■■■■ ] 28% | ETA: 12s | 8681/30000 samples | 1914 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 11s | 8959/30000 samples | 1928 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 11s | 9248/30000 samples | 1936 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 11s | 9248/30000 samples | 1936 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 10s | 9803/30000 samples | 1959 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 10s | 9803/30000 samples | 1959 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 9s | 10110/30000 samples | 1972 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 9s | 10371/30000 samples | 1977 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 9s | 10371/30000 samples | 1977 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 9s | 10665/30000 samples | 1968 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 9s | 10970/30000 samples | 1976 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 9s | 10970/30000 samples | 1976 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 9s | 11294/30000 samples | 1961 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 9s | 11294/30000 samples | 1961 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 38% | ETA: 10s | 11637/30000 samples | 1942 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 10s | 11857/30000 samples | 1944 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 10s | 11857/30000 samples | 1944 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 10s | 12116/30000 samples | 1940 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 10s | 12116/30000 samples | 1940 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 9s | 12682/30000 samples | 1965 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 9s | 12917/30000 samples | 1964 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 9s | 12917/30000 samples | 1964 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 9s | 13249/30000 samples | 1965 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 9s | 13494/30000 samples | 1961 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 9s | 13693/30000 samples | 1954 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 9s | 13899/30000 samples | 1953 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 9s | 13899/30000 samples | 1953 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 8s | 14237/30000 samples | 1958 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 8s | 14237/30000 samples | 1958 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 8s | 14779/30000 samples | 1967 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 8s | 15048/30000 samples | 1973 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 8s | 15048/30000 samples | 1973 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 8s | 15485/30000 samples | 1970 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 8s | 15485/30000 samples | 1970 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 8s | 15485/30000 samples | 1970 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 8s | 15817/30000 samples | 1960 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 8s | 16112/30000 samples | 1961 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 7s | 16361/30000 samples | 1967 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 7s | 16361/30000 samples | 1967 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 7s | 16828/30000 samples | 1962 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 7s | 16994/30000 samples | 1959 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 7s | 16994/30000 samples | 1959 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 7s | 16994/30000 samples | 1959 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 7s | 17407/30000 samples | 1955 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 7s | 17628/30000 samples | 1953 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 7s | 17861/30000 samples | 1955 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 7s | 18029/30000 samples | 1952 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 7s | 18029/30000 samples | 1952 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 7s | 18306/30000 samples | 1949 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 7s | 18601/30000 samples | 1949 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 7s | 18806/30000 samples | 1947 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 7s | 18806/30000 samples | 1947 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 6s | 19125/30000 samples | 1952 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 6s | 19385/30000 samples | 1957 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 6s | 19613/30000 samples | 1958 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 5s | 19878/30000 samples | 1962 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 67% | ETA: 5s | 20245/30000 samples | 1970 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 67% | ETA: 5s | 20245/30000 samples | 1970 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 67% | ETA: 5s | 20245/30000 samples | 1970 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 69% | ETA: 5s | 20827/30000 samples | 1980 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 4s | 21166/30000 samples | 1987 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 4s | 21166/30000 samples | 1987 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 72% | ETA: 4s | 21750/30000 samples | 1997 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 72% | ETA: 4s | 21750/30000 samples | 1997 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 72% | ETA: 4s | 21750/30000 samples | 1997 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 4s | 22344/30000 samples | 2008 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 75% | ETA: 3s | 22788/30000 samples | 2017 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 75% | ETA: 3s | 22788/30000 samples | 2017 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 75% | ETA: 3s | 22788/30000 samples | 2017 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 3s | 23492/30000 samples | 2036 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 3s | 23492/30000 samples | 2036 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 3s | 23916/30000 samples | 2036 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 3s | 24169/30000 samples | 2037 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 3s | 24509/30000 samples | 2045 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 3s | 24790/30000 samples | 2051 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 3s | 24790/30000 samples | 2051 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 2s | 25283/30000 samples | 2064 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 2s | 25283/30000 samples | 2064 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 2s | 25928/30000 samples | 2082 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 2s | 26397/30000 samples | 2094 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 2s | 26397/30000 samples | 2094 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 2s | 26877/30000 samples | 2107 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 2s | 26877/30000 samples | 2107 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 1s | 27657/30000 samples | 2128 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 1s | 28101/30000 samples | 2139 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 1s | 28101/30000 samples | 2139 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 28584/30000 samples | 2152 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 29023/30000 samples | 2166 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 29023/30000 samples | 2166 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29821/30000 samples | 2185 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29821/30000 samples | 2185 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29821/30000 samples | 2185 samples/sAn example execution:30463047[State 0]3048{3049 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3050 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3051 foFixed::failover::cl: Map("c1" -> "idle", "c2" -> "idle"),3052 foFixed::failover::flaps: 0,3053 foFixed::failover::mAssigned: Set(),3054 foFixed::failover::mBuild: Set(),3055 foFixed::failover::mDone: Set(),3056 foFixed::failover::mExpect: Set(),3057 foFixed::failover::mRestart: Set(),3058 foFixed::failover::mResult: Set(),3059 foFixed::failover::mRetry: Set(),3060 foFixed::failover::mWant: Set(),3061 foFixed::failover::published: 0,3062 foFixed::failover::s1up: true,3063 foFixed::failover::ss:3064 Map(3065 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3066 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3067 ),3068 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3069 foFixed::failover::ws:3070 Map(3071 "w1" ->3072 { attached: Set(), built: false, expecting: false, running: false },3073 "w2" ->3074 { attached: Set(), built: false, expecting: false, running: false }3075 )3076}30773078[State 1]3079{3080 foFixed::failover::cOn: Map("c1" -> "", "c2" -> "s1"),3081 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3082 foFixed::failover::cl: Map("c1" -> "idle", "c2" -> "queued"),3083 foFixed::failover::flaps: 0,3084 foFixed::failover::mAssigned: Set(),3085 foFixed::failover::mBuild: Set(),3086 foFixed::failover::mDone: Set(),3087 foFixed::failover::mExpect: Set(),3088 foFixed::failover::mRestart: Set(),3089 foFixed::failover::mResult: Set(),3090 foFixed::failover::mRetry: Set(),3091 foFixed::failover::mWant: Set(("c2", "s1")),3092 foFixed::failover::published: 0,3093 foFixed::failover::s1up: true,3094 foFixed::failover::ss:3095 Map(3096 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3097 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3098 ),3099 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3100 foFixed::failover::ws:3101 Map(3102 "w1" ->3103 { attached: Set(), built: false, expecting: false, running: false },3104 "w2" ->3105 { attached: Set(), built: false, expecting: false, running: false }3106 )3107}31083109[State 2]3110{3111 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3112 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3113 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3114 foFixed::failover::flaps: 0,3115 foFixed::failover::mAssigned: Set(),3116 foFixed::failover::mBuild: Set(),3117 foFixed::failover::mDone: Set(),3118 foFixed::failover::mExpect: Set(),3119 foFixed::failover::mRestart: Set(),3120 foFixed::failover::mResult: Set(),3121 foFixed::failover::mRetry: Set(),3122 foFixed::failover::mWant: Set(("c1", "s1"), ("c2", "s1")),3123 foFixed::failover::published: 0,3124 foFixed::failover::s1up: true,3125 foFixed::failover::ss:3126 Map(3127 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3128 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3129 ),3130 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3131 foFixed::failover::ws:3132 Map(3133 "w1" ->3134 { attached: Set(), built: false, expecting: false, running: false },3135 "w2" ->3136 { attached: Set(), built: false, expecting: false, running: false }3137 )3138}31393140[State 3]3141{3142 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3143 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3144 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3145 foFixed::failover::flaps: 1,3146 foFixed::failover::mAssigned: Set(),3147 foFixed::failover::mBuild: Set(),3148 foFixed::failover::mDone: Set(),3149 foFixed::failover::mExpect: Set(),3150 foFixed::failover::mRestart: Set("c1", "c2", "w1", "w2"),3151 foFixed::failover::mResult: Set(),3152 foFixed::failover::mRetry: Set(),3153 foFixed::failover::mWant: Set(),3154 foFixed::failover::published: 0,3155 foFixed::failover::s1up: false,3156 foFixed::failover::ss:3157 Map(3158 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3159 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3160 ),3161 foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),3162 foFixed::failover::ws:3163 Map(3164 "w1" ->3165 { attached: Set(), built: false, expecting: false, running: false },3166 "w2" ->3167 { attached: Set(), built: false, expecting: false, running: false }3168 )3169}31703171[State 4]3172{3173 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3174 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3175 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3176 foFixed::failover::flaps: 1,3177 foFixed::failover::mAssigned: Set(),3178 foFixed::failover::mBuild: Set(),3179 foFixed::failover::mDone: Set(),3180 foFixed::failover::mExpect: Set(),3181 foFixed::failover::mRestart: Set("c1", "c2", "w2"),3182 foFixed::failover::mResult: Set(),3183 foFixed::failover::mRetry: Set(),3184 foFixed::failover::mWant: Set(),3185 foFixed::failover::published: 0,3186 foFixed::failover::s1up: false,3187 foFixed::failover::ss:3188 Map(3189 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3190 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3191 ),3192 foFixed::failover::wOn: Map("w1" -> "s2", "w2" -> ""),3193 foFixed::failover::ws:3194 Map(3195 "w1" ->3196 { attached: Set(), built: false, expecting: false, running: false },3197 "w2" ->3198 { attached: Set(), built: false, expecting: false, running: false }3199 )3200}32013202[State 5]3203{3204 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3205 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3206 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3207 foFixed::failover::flaps: 1,3208 foFixed::failover::mAssigned: Set(),3209 foFixed::failover::mBuild: Set(),3210 foFixed::failover::mDone: Set(),3211 foFixed::failover::mExpect: Set(),3212 foFixed::failover::mRestart: Set("c1", "c2", "w1", "w2"),3213 foFixed::failover::mResult: Set(),3214 foFixed::failover::mRetry: Set(),3215 foFixed::failover::mWant: Set(),3216 foFixed::failover::published: 0,3217 foFixed::failover::s1up: true,3218 foFixed::failover::ss:3219 Map(3220 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3221 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3222 ),3223 foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),3224 foFixed::failover::ws:3225 Map(3226 "w1" ->3227 { attached: Set(), built: false, expecting: false, running: false },3228 "w2" ->3229 { attached: Set(), built: false, expecting: false, running: false }3230 )3231}32323233[State 6]3234{3235 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3236 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3237 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3238 foFixed::failover::flaps: 1,3239 foFixed::failover::mAssigned: Set(),3240 foFixed::failover::mBuild: Set(),3241 foFixed::failover::mDone: Set(),3242 foFixed::failover::mExpect: Set(),3243 foFixed::failover::mRestart: Set("c1", "c2", "w2"),3244 foFixed::failover::mResult: Set(),3245 foFixed::failover::mRetry: Set(),3246 foFixed::failover::mWant: Set(),3247 foFixed::failover::published: 0,3248 foFixed::failover::s1up: true,3249 foFixed::failover::ss:3250 Map(3251 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3252 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3253 ),3254 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> ""),3255 foFixed::failover::ws:3256 Map(3257 "w1" ->3258 { attached: Set(), built: false, expecting: false, running: false },3259 "w2" ->3260 { attached: Set(), built: false, expecting: false, running: false }3261 )3262}32633264[State 7]3265{3266 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3267 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3268 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3269 foFixed::failover::flaps: 2,3270 foFixed::failover::mAssigned: Set(),3271 foFixed::failover::mBuild: Set(),3272 foFixed::failover::mDone: Set(),3273 foFixed::failover::mExpect: Set(),3274 foFixed::failover::mRestart: Set("c1", "c2", "w1", "w2"),3275 foFixed::failover::mResult: Set(),3276 foFixed::failover::mRetry: Set(),3277 foFixed::failover::mWant: Set(),3278 foFixed::failover::published: 0,3279 foFixed::failover::s1up: false,3280 foFixed::failover::ss:3281 Map(3282 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3283 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3284 ),3285 foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),3286 foFixed::failover::ws:3287 Map(3288 "w1" ->3289 { attached: Set(), built: false, expecting: false, running: false },3290 "w2" ->3291 { attached: Set(), built: false, expecting: false, running: false }3292 )3293}32943295[State 8]3296{3297 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3298 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3299 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3300 foFixed::failover::flaps: 2,3301 foFixed::failover::mAssigned: Set(),3302 foFixed::failover::mBuild: Set(),3303 foFixed::failover::mDone: Set(),3304 foFixed::failover::mExpect: Set(),3305 foFixed::failover::mRestart: Set("c1", "c2", "w1", "w2"),3306 foFixed::failover::mResult: Set(),3307 foFixed::failover::mRetry: Set(),3308 foFixed::failover::mWant: Set(),3309 foFixed::failover::published: 0,3310 foFixed::failover::s1up: true,3311 foFixed::failover::ss:3312 Map(3313 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3314 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3315 ),3316 foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),3317 foFixed::failover::ws:3318 Map(3319 "w1" ->3320 { attached: Set(), built: false, expecting: false, running: false },3321 "w2" ->3322 { attached: Set(), built: false, expecting: false, running: false }3323 )3324}33253326[State 9]3327{3328 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3329 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3330 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3331 foFixed::failover::flaps: 2,3332 foFixed::failover::mAssigned: Set(),3333 foFixed::failover::mBuild: Set(),3334 foFixed::failover::mDone: Set(),3335 foFixed::failover::mExpect: Set(),3336 foFixed::failover::mRestart: Set("c1", "c2", "w2"),3337 foFixed::failover::mResult: Set(),3338 foFixed::failover::mRetry: Set(),3339 foFixed::failover::mWant: Set(),3340 foFixed::failover::published: 0,3341 foFixed::failover::s1up: true,3342 foFixed::failover::ss:3343 Map(3344 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3345 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3346 ),3347 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> ""),3348 foFixed::failover::ws:3349 Map(3350 "w1" ->3351 { attached: Set(), built: false, expecting: false, running: false },3352 "w2" ->3353 { attached: Set(), built: false, expecting: false, running: false }3354 )3355}33563357[State 10]3358{3359 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> ""),3360 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3361 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3362 foFixed::failover::flaps: 2,3363 foFixed::failover::mAssigned: Set(),3364 foFixed::failover::mBuild: Set(),3365 foFixed::failover::mDone: Set(),3366 foFixed::failover::mExpect: Set(),3367 foFixed::failover::mRestart: Set("c2", "w2"),3368 foFixed::failover::mResult: Set(),3369 foFixed::failover::mRetry: Set(),3370 foFixed::failover::mWant: Set(("c1", "s1")),3371 foFixed::failover::published: 0,3372 foFixed::failover::s1up: true,3373 foFixed::failover::ss:3374 Map(3375 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3376 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3377 ),3378 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> ""),3379 foFixed::failover::ws:3380 Map(3381 "w1" ->3382 { attached: Set(), built: false, expecting: false, running: false },3383 "w2" ->3384 { attached: Set(), built: false, expecting: false, running: false }3385 )3386}33873388[State 11]3389{3390 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> ""),3391 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3392 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3393 foFixed::failover::flaps: 2,3394 foFixed::failover::mAssigned: Set(),3395 foFixed::failover::mBuild: Set(),3396 foFixed::failover::mDone: Set(),3397 foFixed::failover::mExpect: Set(),3398 foFixed::failover::mRestart: Set("c2"),3399 foFixed::failover::mResult: Set(),3400 foFixed::failover::mRetry: Set(),3401 foFixed::failover::mWant: Set(("c1", "s1")),3402 foFixed::failover::published: 0,3403 foFixed::failover::s1up: true,3404 foFixed::failover::ss:3405 Map(3406 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3407 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3408 ),3409 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3410 foFixed::failover::ws:3411 Map(3412 "w1" ->3413 { attached: Set(), built: false, expecting: false, running: false },3414 "w2" ->3415 { attached: Set(), built: false, expecting: false, running: false }3416 )3417}34183419[State 12]3420{3421 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3422 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3423 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3424 foFixed::failover::flaps: 2,3425 foFixed::failover::mAssigned: Set(),3426 foFixed::failover::mBuild: Set(),3427 foFixed::failover::mDone: Set(),3428 foFixed::failover::mExpect: Set(),3429 foFixed::failover::mRestart: Set(),3430 foFixed::failover::mResult: Set(),3431 foFixed::failover::mRetry: Set(),3432 foFixed::failover::mWant: Set(("c1", "s1"), ("c2", "s1")),3433 foFixed::failover::published: 0,3434 foFixed::failover::s1up: true,3435 foFixed::failover::ss:3436 Map(3437 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3438 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3439 ),3440 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3441 foFixed::failover::ws:3442 Map(3443 "w1" ->3444 { attached: Set(), built: false, expecting: false, running: false },3445 "w2" ->3446 { attached: Set(), built: false, expecting: false, running: false }3447 )3448}34493450[State 13]3451{3452 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3453 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3454 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3455 foFixed::failover::flaps: 3,3456 foFixed::failover::mAssigned: Set(),3457 foFixed::failover::mBuild: Set(),3458 foFixed::failover::mDone: Set(),3459 foFixed::failover::mExpect: Set(),3460 foFixed::failover::mRestart: Set("c1", "c2", "w1", "w2"),3461 foFixed::failover::mResult: Set(),3462 foFixed::failover::mRetry: Set(),3463 foFixed::failover::mWant: Set(),3464 foFixed::failover::published: 0,3465 foFixed::failover::s1up: false,3466 foFixed::failover::ss:3467 Map(3468 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3469 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3470 ),3471 foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),3472 foFixed::failover::ws:3473 Map(3474 "w1" ->3475 { attached: Set(), built: false, expecting: false, running: false },3476 "w2" ->3477 { attached: Set(), built: false, expecting: false, running: false }3478 )3479}34803481[State 14]3482{3483 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3484 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3485 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3486 foFixed::failover::flaps: 3,3487 foFixed::failover::mAssigned: Set(),3488 foFixed::failover::mBuild: Set(),3489 foFixed::failover::mDone: Set(),3490 foFixed::failover::mExpect: Set(),3491 foFixed::failover::mRestart: Set("c1", "c2", "w1", "w2"),3492 foFixed::failover::mResult: Set(),3493 foFixed::failover::mRetry: Set(),3494 foFixed::failover::mWant: Set(),3495 foFixed::failover::published: 0,3496 foFixed::failover::s1up: true,3497 foFixed::failover::ss:3498 Map(3499 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3500 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3501 ),3502 foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),3503 foFixed::failover::ws:3504 Map(3505 "w1" ->3506 { attached: Set(), built: false, expecting: false, running: false },3507 "w2" ->3508 { attached: Set(), built: false, expecting: false, running: false }3509 )3510}35113512[State 15]3513{3514 foFixed::failover::cOn: Map("c1" -> "", "c2" -> "s1"),3515 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3516 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3517 foFixed::failover::flaps: 3,3518 foFixed::failover::mAssigned: Set(),3519 foFixed::failover::mBuild: Set(),3520 foFixed::failover::mDone: Set(),3521 foFixed::failover::mExpect: Set(),3522 foFixed::failover::mRestart: Set("c1", "w1", "w2"),3523 foFixed::failover::mResult: Set(),3524 foFixed::failover::mRetry: Set(),3525 foFixed::failover::mWant: Set(("c2", "s1")),3526 foFixed::failover::published: 0,3527 foFixed::failover::s1up: true,3528 foFixed::failover::ss:3529 Map(3530 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3531 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3532 ),3533 foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),3534 foFixed::failover::ws:3535 Map(3536 "w1" ->3537 { attached: Set(), built: false, expecting: false, running: false },3538 "w2" ->3539 { attached: Set(), built: false, expecting: false, running: false }3540 )3541}35423543[State 16]3544{3545 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3546 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3547 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3548 foFixed::failover::flaps: 3,3549 foFixed::failover::mAssigned: Set(),3550 foFixed::failover::mBuild: Set(),3551 foFixed::failover::mDone: Set(),3552 foFixed::failover::mExpect: Set(),3553 foFixed::failover::mRestart: Set("w1", "w2"),3554 foFixed::failover::mResult: Set(),3555 foFixed::failover::mRetry: Set(),3556 foFixed::failover::mWant: Set(("c1", "s1"), ("c2", "s1")),3557 foFixed::failover::published: 0,3558 foFixed::failover::s1up: true,3559 foFixed::failover::ss:3560 Map(3561 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3562 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3563 ),3564 foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),3565 foFixed::failover::ws:3566 Map(3567 "w1" ->3568 { attached: Set(), built: false, expecting: false, running: false },3569 "w2" ->3570 { attached: Set(), built: false, expecting: false, running: false }3571 )3572}35733574[State 17]3575{3576 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3577 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3578 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3579 foFixed::failover::flaps: 3,3580 foFixed::failover::mAssigned: Set(),3581 foFixed::failover::mBuild: Set(),3582 foFixed::failover::mDone: Set(),3583 foFixed::failover::mExpect: Set(),3584 foFixed::failover::mRestart: Set("w2"),3585 foFixed::failover::mResult: Set(),3586 foFixed::failover::mRetry: Set(),3587 foFixed::failover::mWant: Set(("c1", "s1"), ("c2", "s1")),3588 foFixed::failover::published: 0,3589 foFixed::failover::s1up: true,3590 foFixed::failover::ss:3591 Map(3592 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3593 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3594 ),3595 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> ""),3596 foFixed::failover::ws:3597 Map(3598 "w1" ->3599 { attached: Set(), built: false, expecting: false, running: false },3600 "w2" ->3601 { attached: Set(), built: false, expecting: false, running: false }3602 )3603}36043605[State 18]3606{3607 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3608 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3609 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3610 foFixed::failover::flaps: 3,3611 foFixed::failover::mAssigned: Set(("s1", "c1", "w1")),3612 foFixed::failover::mBuild: Set(),3613 foFixed::failover::mDone: Set(),3614 foFixed::failover::mExpect: Set(("s1", "w1")),3615 foFixed::failover::mRestart: Set("w2"),3616 foFixed::failover::mResult: Set(),3617 foFixed::failover::mRetry: Set(),3618 foFixed::failover::mWant: Set(("c2", "s1")),3619 foFixed::failover::published: 0,3620 foFixed::failover::s1up: true,3621 foFixed::failover::ss:3622 Map(3623 "s1" ->3624 { busy: Set("w1"), followers: Set("c1"), has: true, worker: "w1" },3625 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3626 ),3627 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> ""),3628 foFixed::failover::ws:3629 Map(3630 "w1" ->3631 { attached: Set(), built: false, expecting: false, running: false },3632 "w2" ->3633 { attached: Set(), built: false, expecting: false, running: false }3634 )3635}36363637[State 19]3638{3639 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3640 foFixed::failover::cTo: Map("c1" -> "w1", "c2" -> ""),3641 foFixed::failover::cl: Map("c1" -> "sent", "c2" -> "queued"),3642 foFixed::failover::flaps: 3,3643 foFixed::failover::mAssigned: Set(),3644 foFixed::failover::mBuild: Set(("c1", "w1")),3645 foFixed::failover::mDone: Set(),3646 foFixed::failover::mExpect: Set(("s1", "w1")),3647 foFixed::failover::mRestart: Set("w2"),3648 foFixed::failover::mResult: Set(),3649 foFixed::failover::mRetry: Set(),3650 foFixed::failover::mWant: Set(("c2", "s1")),3651 foFixed::failover::published: 0,3652 foFixed::failover::s1up: true,3653 foFixed::failover::ss:3654 Map(3655 "s1" ->3656 { busy: Set("w1"), followers: Set("c1"), has: true, worker: "w1" },3657 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3658 ),3659 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> ""),3660 foFixed::failover::ws:3661 Map(3662 "w1" ->3663 { attached: Set(), built: false, expecting: false, running: false },3664 "w2" ->3665 { attached: Set(), built: false, expecting: false, running: false }3666 )3667}36683669[State 20]3670{3671 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3672 foFixed::failover::cTo: Map("c1" -> "w1", "c2" -> ""),3673 foFixed::failover::cl: Map("c1" -> "sent", "c2" -> "queued"),3674 foFixed::failover::flaps: 3,3675 foFixed::failover::mAssigned: Set(),3676 foFixed::failover::mBuild: Set(("c1", "w1")),3677 foFixed::failover::mDone: Set(),3678 foFixed::failover::mExpect: Set(("s1", "w1")),3679 foFixed::failover::mRestart: Set(),3680 foFixed::failover::mResult: Set(),3681 foFixed::failover::mRetry: Set(),3682 foFixed::failover::mWant: Set(("c2", "s1")),3683 foFixed::failover::published: 0,3684 foFixed::failover::s1up: true,3685 foFixed::failover::ss:3686 Map(3687 "s1" ->3688 { busy: Set("w1"), followers: Set("c1"), has: true, worker: "w1" },3689 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3690 ),3691 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3692 foFixed::failover::ws:3693 Map(3694 "w1" ->3695 { attached: Set(), built: false, expecting: false, running: false },3696 "w2" ->3697 { attached: Set(), built: false, expecting: false, running: false }3698 )3699}37003701[State 21]3702{3703 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3704 foFixed::failover::cTo: Map("c1" -> "w1", "c2" -> ""),3705 foFixed::failover::cl: Map("c1" -> "sent", "c2" -> "queued"),3706 foFixed::failover::flaps: 3,3707 foFixed::failover::mAssigned: Set(),3708 foFixed::failover::mBuild: Set(),3709 foFixed::failover::mDone: Set(),3710 foFixed::failover::mExpect: Set(("s1", "w1")),3711 foFixed::failover::mRestart: Set(),3712 foFixed::failover::mResult: Set(),3713 foFixed::failover::mRetry: Set("c1"),3714 foFixed::failover::mWant: Set(("c2", "s1")),3715 foFixed::failover::published: 0,3716 foFixed::failover::s1up: true,3717 foFixed::failover::ss:3718 Map(3719 "s1" ->3720 { busy: Set("w1"), followers: Set("c1"), has: true, worker: "w1" },3721 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3722 ),3723 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3724 foFixed::failover::ws:3725 Map(3726 "w1" ->3727 { attached: Set(), built: false, expecting: false, running: false },3728 "w2" ->3729 { attached: Set(), built: false, expecting: false, running: false }3730 )3731}37323733[State 22]3734{3735 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3736 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3737 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3738 foFixed::failover::flaps: 3,3739 foFixed::failover::mAssigned: Set(),3740 foFixed::failover::mBuild: Set(),3741 foFixed::failover::mDone: Set(),3742 foFixed::failover::mExpect: Set(("s1", "w1")),3743 foFixed::failover::mRestart: Set(),3744 foFixed::failover::mResult: Set(),3745 foFixed::failover::mRetry: Set("c1"),3746 foFixed::failover::mWant: Set(("c2", "s1")),3747 foFixed::failover::published: 0,3748 foFixed::failover::s1up: true,3749 foFixed::failover::ss:3750 Map(3751 "s1" ->3752 { busy: Set("w1"), followers: Set("c1"), has: true, worker: "w1" },3753 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3754 ),3755 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3756 foFixed::failover::ws:3757 Map(3758 "w1" ->3759 { attached: Set(), built: false, expecting: false, running: false },3760 "w2" ->3761 { attached: Set(), built: false, expecting: false, running: false }3762 )3763}37643765[State 23]3766{3767 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3768 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3769 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3770 foFixed::failover::flaps: 3,3771 foFixed::failover::mAssigned: Set(),3772 foFixed::failover::mBuild: Set(),3773 foFixed::failover::mDone: Set(),3774 foFixed::failover::mExpect: Set(("s1", "w1")),3775 foFixed::failover::mRestart: Set(),3776 foFixed::failover::mResult: Set(),3777 foFixed::failover::mRetry: Set(),3778 foFixed::failover::mWant: Set(("c1", "s1"), ("c2", "s1")),3779 foFixed::failover::published: 0,3780 foFixed::failover::s1up: true,3781 foFixed::failover::ss:3782 Map(3783 "s1" ->3784 { busy: Set("w1"), followers: Set("c1"), has: true, worker: "w1" },3785 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3786 ),3787 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3788 foFixed::failover::ws:3789 Map(3790 "w1" ->3791 { attached: Set(), built: false, expecting: false, running: false },3792 "w2" ->3793 { attached: Set(), built: false, expecting: false, running: false }3794 )3795}37963797[State 24]3798{3799 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3800 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3801 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3802 foFixed::failover::flaps: 3,3803 foFixed::failover::mAssigned: Set(("s1", "c2", "w1")),3804 foFixed::failover::mBuild: Set(),3805 foFixed::failover::mDone: Set(),3806 foFixed::failover::mExpect: Set(("s1", "w1")),3807 foFixed::failover::mRestart: Set(),3808 foFixed::failover::mResult: Set(),3809 foFixed::failover::mRetry: Set(),3810 foFixed::failover::mWant: Set(("c1", "s1")),3811 foFixed::failover::published: 0,3812 foFixed::failover::s1up: true,3813 foFixed::failover::ss:3814 Map(3815 "s1" ->3816 {3817 busy: Set("w1"),3818 followers: Set("c1", "c2"),3819 has: true,3820 worker: "w1"3821 },3822 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3823 ),3824 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3825 foFixed::failover::ws:3826 Map(3827 "w1" ->3828 { attached: Set(), built: false, expecting: false, running: false },3829 "w2" ->3830 { attached: Set(), built: false, expecting: false, running: false }3831 )3832}38333834[State 25]3835{3836 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3837 foFixed::failover::cTo: Map("c1" -> "", "c2" -> "w1"),3838 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "sent"),3839 foFixed::failover::flaps: 3,3840 foFixed::failover::mAssigned: Set(),3841 foFixed::failover::mBuild: Set(("c2", "w1")),3842 foFixed::failover::mDone: Set(),3843 foFixed::failover::mExpect: Set(("s1", "w1")),3844 foFixed::failover::mRestart: Set(),3845 foFixed::failover::mResult: Set(),3846 foFixed::failover::mRetry: Set(),3847 foFixed::failover::mWant: Set(("c1", "s1")),3848 foFixed::failover::published: 0,3849 foFixed::failover::s1up: true,3850 foFixed::failover::ss:3851 Map(3852 "s1" ->3853 {3854 busy: Set("w1"),3855 followers: Set("c1", "c2"),3856 has: true,3857 worker: "w1"3858 },3859 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3860 ),3861 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3862 foFixed::failover::ws:3863 Map(3864 "w1" ->3865 { attached: Set(), built: false, expecting: false, running: false },3866 "w2" ->3867 { attached: Set(), built: false, expecting: false, running: false }3868 )3869}38703871[State 26]3872{3873 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3874 foFixed::failover::cTo: Map("c1" -> "", "c2" -> "w1"),3875 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "sent"),3876 foFixed::failover::flaps: 3,3877 foFixed::failover::mAssigned: Set(),3878 foFixed::failover::mBuild: Set(),3879 foFixed::failover::mDone: Set(),3880 foFixed::failover::mExpect: Set(("s1", "w1")),3881 foFixed::failover::mRestart: Set(),3882 foFixed::failover::mResult: Set(),3883 foFixed::failover::mRetry: Set("c2"),3884 foFixed::failover::mWant: Set(("c1", "s1")),3885 foFixed::failover::published: 0,3886 foFixed::failover::s1up: true,3887 foFixed::failover::ss:3888 Map(3889 "s1" ->3890 {3891 busy: Set("w1"),3892 followers: Set("c1", "c2"),3893 has: true,3894 worker: "w1"3895 },3896 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3897 ),3898 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3899 foFixed::failover::ws:3900 Map(3901 "w1" ->3902 { attached: Set(), built: false, expecting: false, running: false },3903 "w2" ->3904 { attached: Set(), built: false, expecting: false, running: false }3905 )3906}39073908[State 27]3909{3910 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3911 foFixed::failover::cTo: Map("c1" -> "", "c2" -> "w1"),3912 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "sent"),3913 foFixed::failover::flaps: 3,3914 foFixed::failover::mAssigned: Set(("s1", "c1", "w1")),3915 foFixed::failover::mBuild: Set(),3916 foFixed::failover::mDone: Set(),3917 foFixed::failover::mExpect: Set(("s1", "w1")),3918 foFixed::failover::mRestart: Set(),3919 foFixed::failover::mResult: Set(),3920 foFixed::failover::mRetry: Set("c2"),3921 foFixed::failover::mWant: Set(),3922 foFixed::failover::published: 0,3923 foFixed::failover::s1up: true,3924 foFixed::failover::ss:3925 Map(3926 "s1" ->3927 {3928 busy: Set("w1"),3929 followers: Set("c1", "c2"),3930 has: true,3931 worker: "w1"3932 },3933 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3934 ),3935 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3936 foFixed::failover::ws:3937 Map(3938 "w1" ->3939 { attached: Set(), built: false, expecting: false, running: false },3940 "w2" ->3941 { attached: Set(), built: false, expecting: false, running: false }3942 )3943}39443945[State 28]3946{3947 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3948 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3949 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3950 foFixed::failover::flaps: 3,3951 foFixed::failover::mAssigned: Set(("s1", "c1", "w1")),3952 foFixed::failover::mBuild: Set(),3953 foFixed::failover::mDone: Set(),3954 foFixed::failover::mExpect: Set(("s1", "w1")),3955 foFixed::failover::mRestart: Set(),3956 foFixed::failover::mResult: Set(),3957 foFixed::failover::mRetry: Set("c2"),3958 foFixed::failover::mWant: Set(),3959 foFixed::failover::published: 0,3960 foFixed::failover::s1up: true,3961 foFixed::failover::ss:3962 Map(3963 "s1" ->3964 {3965 busy: Set("w1"),3966 followers: Set("c1", "c2"),3967 has: true,3968 worker: "w1"3969 },3970 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3971 ),3972 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3973 foFixed::failover::ws:3974 Map(3975 "w1" ->3976 { attached: Set(), built: false, expecting: false, running: false },3977 "w2" ->3978 { attached: Set(), built: false, expecting: false, running: false }3979 )3980}39813982[State 29]3983{3984 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3985 foFixed::failover::cTo: Map("c1" -> "w1", "c2" -> ""),3986 foFixed::failover::cl: Map("c1" -> "sent", "c2" -> "queued"),3987 foFixed::failover::flaps: 3,3988 foFixed::failover::mAssigned: Set(),3989 foFixed::failover::mBuild: Set(("c1", "w1")),3990 foFixed::failover::mDone: Set(),3991 foFixed::failover::mExpect: Set(("s1", "w1")),3992 foFixed::failover::mRestart: Set(),3993 foFixed::failover::mResult: Set(),3994 foFixed::failover::mRetry: Set("c2"),3995 foFixed::failover::mWant: Set(),3996 foFixed::failover::published: 0,3997 foFixed::failover::s1up: true,3998 foFixed::failover::ss:3999 Map(4000 "s1" ->4001 {4002 busy: Set("w1"),4003 followers: Set("c1", "c2"),4004 has: true,4005 worker: "w1"4006 },4007 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }4008 ),4009 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),4010 foFixed::failover::ws:4011 Map(4012 "w1" ->4013 { attached: Set(), built: false, expecting: false, running: false },4014 "w2" ->4015 { attached: Set(), built: false, expecting: false, running: false }4016 )4017}40184019[State 30]4020{4021 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),4022 foFixed::failover::cTo: Map("c1" -> "w1", "c2" -> ""),4023 foFixed::failover::cl: Map("c1" -> "sent", "c2" -> "queued"),4024 foFixed::failover::flaps: 3,4025 foFixed::failover::mAssigned: Set(),4026 foFixed::failover::mBuild: Set(("c1", "w1")),4027 foFixed::failover::mDone: Set(),4028 foFixed::failover::mExpect: Set(("s1", "w1")),4029 foFixed::failover::mRestart: Set(),4030 foFixed::failover::mResult: Set(),4031 foFixed::failover::mRetry: Set(),4032 foFixed::failover::mWant: Set(("c2", "s1")),4033 foFixed::failover::published: 0,4034 foFixed::failover::s1up: true,4035 foFixed::failover::ss:4036 Map(4037 "s1" ->4038 {4039 busy: Set("w1"),4040 followers: Set("c1", "c2"),4041 has: true,4042 worker: "w1"4043 },4044 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }4045 ),4046 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),4047 foFixed::failover::ws:4048 Map(4049 "w1" ->4050 { attached: Set(), built: false, expecting: false, running: false },4051 "w2" ->4052 { attached: Set(), built: false, expecting: false, running: false }4053 )4054}40554056[ok] No violation found (13911ms at 2157 traces/second).4057Trace length statistics: max=31, min=21, average=30.524058You may increase --max-samples and --max-steps.4059Use --verbosity to produce more (or less) output.4060Use --seed=0x2d9b7301e50b7a8 --backend=rust to reproduce.4061Running... [ ] 0% | ETA: 0s | 0/10000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/10000 samples | 0 samples/sAn example execution:40624063[State 0]4064{4065 foNoStepDown::failover::cOn: Map("c1" -> "", "c2" -> ""),4066 foNoStepDown::failover::cTo: Map("c1" -> "", "c2" -> ""),4067 foNoStepDown::failover::cl: Map("c1" -> "idle", "c2" -> "idle"),4068 foNoStepDown::failover::flaps: 0,4069 foNoStepDown::failover::mAssigned: Set(),4070 foNoStepDown::failover::mBuild: Set(),4071 foNoStepDown::failover::mDone: Set(),4072 foNoStepDown::failover::mExpect: Set(),4073 foNoStepDown::failover::mRestart: Set(),4074 foNoStepDown::failover::mResult: Set(),4075 foNoStepDown::failover::mRetry: Set(),4076 foNoStepDown::failover::mWant: Set(),4077 foNoStepDown::failover::published: 0,4078 foNoStepDown::failover::s1up: true,4079 foNoStepDown::failover::ss:4080 Map(4081 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },4082 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }4083 ),4084 foNoStepDown::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),4085 foNoStepDown::failover::ws:4086 Map(4087 "w1" ->4088 { attached: Set(), built: false, expecting: false, running: false },4089 "w2" ->4090 { attached: Set(), built: false, expecting: false, running: false }4091 )4092}40934094[State 1]4095{4096 foNoStepDown::failover::cOn: Map("c1" -> "s1", "c2" -> ""),4097 foNoStepDown::failover::cTo: Map("c1" -> "", "c2" -> ""),4098 foNoStepDown::failover::cl: Map("c1" -> "queued", "c2" -> "idle"),4099 foNoStepDown::failover::flaps: 0,4100 foNoStepDown::failover::mAssigned: Set(),4101 foNoStepDown::failover::mBuild: Set(),4102 foNoStepDown::failover::mDone: Set(),4103 foNoStepDown::failover::mExpect: Set(),4104 foNoStepDown::failover::mRestart: Set(),4105 foNoStepDown::failover::mResult: Set(),4106 foNoStepDown::failover::mRetry: Set(),4107 foNoStepDown::failover::mWant: Set(("c1", "s1")),4108 foNoStepDown::failover::published: 0,4109 foNoStepDown::failover::s1up: true,4110 foNoStepDown::failover::ss:4111 Map(4112 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },4113 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }4114 ),4115 foNoStepDown::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),4116 foNoStepDown::failover::ws:4117 Map(4118 "w1" ->4119 { attached: Set(), built: false, expecting: false, running: false },4120 "w2" ->4121 { attached: Set(), built: false, expecting: false, running: false }4122 )4123}41244125[State 2]4126{4127 foNoStepDown::failover::cOn: Map("c1" -> "s1", "c2" -> ""),4128 foNoStepDown::failover::cTo: Map("c1" -> "", "c2" -> ""),4129 foNoStepDown::failover::cl: Map("c1" -> "queued", "c2" -> "idle"),4130 foNoStepDown::failover::flaps: 0,4131 foNoStepDown::failover::mAssigned: Set(("s1", "c1", "w2")),4132 foNoStepDown::failover::mBuild: Set(),4133 foNoStepDown::failover::mDone: Set(),4134 foNoStepDown::failover::mExpect: Set(("s1", "w2")),4135 foNoStepDown::failover::mRestart: Set(),4136 foNoStepDown::failover::mResult: Set(),4137 foNoStepDown::failover::mRetry: Set(),4138 foNoStepDown::failover::mWant: Set(),4139 foNoStepDown::failover::published: 0,4140 foNoStepDown::failover::s1up: true,4141 foNoStepDown::failover::ss:4142 Map(4143 "s1" ->4144 { busy: Set("w2"), followers: Set("c1"), has: true, worker: "w2" },4145 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }4146 ),4147 foNoStepDown::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),4148 foNoStepDown::failover::ws:4149 Map(4150 "w1" ->4151 { attached: Set(), built: false, expecting: false, running: false },4152 "w2" ->4153 { attached: Set(), built: false, expecting: false, running: false }4154 )4155}41564157[State 3]4158{4159 foNoStepDown::failover::cOn: Map("c1" -> "", "c2" -> ""),4160 foNoStepDown::failover::cTo: Map("c1" -> "", "c2" -> ""),4161 foNoStepDown::failover::cl: Map("c1" -> "queued", "c2" -> "idle"),4162 foNoStepDown::failover::flaps: 1,4163 foNoStepDown::failover::mAssigned: Set(),4164 foNoStepDown::failover::mBuild: Set(),4165 foNoStepDown::failover::mDone: Set(),4166 foNoStepDown::failover::mExpect: Set(),4167 foNoStepDown::failover::mRestart: Set("c1", "w1", "w2"),4168 foNoStepDown::failover::mResult: Set(),4169 foNoStepDown::failover::mRetry: Set(),4170 foNoStepDown::failover::mWant: Set(),4171 foNoStepDown::failover::published: 0,4172 foNoStepDown::failover::s1up: false,4173 foNoStepDown::failover::ss:4174 Map(4175 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },4176 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }4177 ),4178 foNoStepDown::failover::wOn: Map("w1" -> "", "w2" -> ""),4179 foNoStepDown::failover::ws:4180 Map(4181 "w1" ->4182 { attached: Set(), built: false, expecting: false, running: false },4183 "w2" ->4184 { attached: Set(), built: false, expecting: false, running: false }4185 )4186}41874188[State 4]4189{4190 foNoStepDown::failover::cOn: Map("c1" -> "s2", "c2" -> ""),4191 foNoStepDown::failover::cTo: Map("c1" -> "", "c2" -> ""),4192 foNoStepDown::failover::cl: Map("c1" -> "queued", "c2" -> "idle"),4193 foNoStepDown::failover::flaps: 1,4194 foNoStepDown::failover::mAssigned: Set(),4195 foNoStepDown::failover::mBuild: Set(),4196 foNoStepDown::failover::mDone: Set(),4197 foNoStepDown::failover::mExpect: Set(),4198 foNoStepDown::failover::mRestart: Set("w1", "w2"),4199 foNoStepDown::failover::mResult: Set(),4200 foNoStepDown::failover::mRetry: Set(),4201 foNoStepDown::failover::mWant: Set(("c1", "s2")),4202 foNoStepDown::failover::published: 0,4203 foNoStepDown::failover::s1up: false,4204 foNoStepDown::failover::ss:4205 Map(4206 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },4207 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }4208 ),4209 foNoStepDown::failover::wOn: Map("w1" -> "", "w2" -> ""),4210 foNoStepDown::failover::ws:4211 Map(4212 "w1" ->4213 { attached: Set(), built: false, expecting: false, running: false },4214 "w2" ->4215 { attached: Set(), built: false, expecting: false, running: false }4216 )4217}42184219[State 5]4220{4221 foNoStepDown::failover::cOn: Map("c1" -> "s2", "c2" -> ""),4222 foNoStepDown::failover::cTo: Map("c1" -> "", "c2" -> ""),4223 foNoStepDown::failover::cl: Map("c1" -> "queued", "c2" -> "idle"),4224 foNoStepDown::failover::flaps: 1,4225 foNoStepDown::failover::mAssigned: Set(),4226 foNoStepDown::failover::mBuild: Set(),4227 foNoStepDown::failover::mDone: Set(),4228 foNoStepDown::failover::mExpect: Set(),4229 foNoStepDown::failover::mRestart: Set("w1", "w2"),4230 foNoStepDown::failover::mResult: Set(),4231 foNoStepDown::failover::mRetry: Set(),4232 foNoStepDown::failover::mWant: Set(),4233 foNoStepDown::failover::published: 0,4234 foNoStepDown::failover::s1up: false,4235 foNoStepDown::failover::ss:4236 Map(4237 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },4238 "s2" -> { busy: Set(), followers: Set("c1"), has: true, worker: "" }4239 ),4240 foNoStepDown::failover::wOn: Map("w1" -> "", "w2" -> ""),4241 foNoStepDown::failover::ws:4242 Map(4243 "w1" ->4244 { attached: Set(), built: false, expecting: false, running: false },4245 "w2" ->4246 { attached: Set(), built: false, expecting: false, running: false }4247 )4248}42494250[State 6]4251{4252 foNoStepDown::failover::cOn: Map("c1" -> "s2", "c2" -> ""),4253 foNoStepDown::failover::cTo: Map("c1" -> "", "c2" -> ""),4254 foNoStepDown::failover::cl: Map("c1" -> "queued", "c2" -> "idle"),4255 foNoStepDown::failover::flaps: 1,4256 foNoStepDown::failover::mAssigned: Set(),4257 foNoStepDown::failover::mBuild: Set(),4258 foNoStepDown::failover::mDone: Set(),4259 foNoStepDown::failover::mExpect: Set(),4260 foNoStepDown::failover::mRestart: Set("w1", "w2"),4261 foNoStepDown::failover::mResult: Set(),4262 foNoStepDown::failover::mRetry: Set(),4263 foNoStepDown::failover::mWant: Set(),4264 foNoStepDown::failover::published: 0,4265 foNoStepDown::failover::s1up: true,4266 foNoStepDown::failover::ss:4267 Map(4268 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },4269 "s2" -> { busy: Set(), followers: Set("c1"), has: true, worker: "" }4270 ),4271 foNoStepDown::failover::wOn: Map("w1" -> "", "w2" -> ""),4272 foNoStepDown::failover::ws:4273 Map(4274 "w1" ->4275 { attached: Set(), built: false, expecting: false, running: false },4276 "w2" ->4277 { attached: Set(), built: false, expecting: false, running: false }4278 )4279}42804281[violation] Found an issue (103ms at 272 traces/second).4282Use --verbosity=3 to show executions.4283Use --seed=0x4d9d51d91a98caf9 --backend=rust to reproduce.4284error: Invariant violated4285Running... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19988/20000 samples | 129792 samples/sAn example execution:42864287[State 0]4288{4289 hookFixed::hook::cache: Set(),4290 hookFixed::hook::drvUploaded: false,4291 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4292 hookFixed::hook::phase: Query,4293 hookFixed::hook::restarts: 0,4294 hookFixed::hook::retries: 0,4295 hookFixed::hook::toUpload: Set()4296}42974298[State 1]4299{4300 hookFixed::hook::cache: Set(),4301 hookFixed::hook::drvUploaded: false,4302 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4303 hookFixed::hook::phase: Query,4304 hookFixed::hook::restarts: 1,4305 hookFixed::hook::retries: 1,4306 hookFixed::hook::toUpload: Set()4307}43084309[State 2]4310{4311 hookFixed::hook::cache: Set(),4312 hookFixed::hook::drvUploaded: false,4313 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4314 hookFixed::hook::phase: Upload,4315 hookFixed::hook::restarts: 1,4316 hookFixed::hook::retries: 1,4317 hookFixed::hook::toUpload: Set("drv", "in")4318}43194320[State 3]4321{4322 hookFixed::hook::cache: Set(),4323 hookFixed::hook::drvUploaded: false,4324 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set("drv")),4325 hookFixed::hook::phase: Upload,4326 hookFixed::hook::restarts: 2,4327 hookFixed::hook::retries: 2,4328 hookFixed::hook::toUpload: Set("drv", "in")4329}43304331[State 4]4332{4333 hookFixed::hook::cache: Set("drv", "in"),4334 hookFixed::hook::drvUploaded: false,4335 hookFixed::hook::local: Map("w1" -> Set("drv", "in"), "w2" -> Set("drv")),4336 hookFixed::hook::phase: Build,4337 hookFixed::hook::restarts: 2,4338 hookFixed::hook::retries: 2,4339 hookFixed::hook::toUpload: Set("drv", "in")4340}43414342[State 5]4343{4344 hookFixed::hook::cache: Set("drv", "in", "out"),4345 hookFixed::hook::drvUploaded: false,4346 hookFixed::hook::local:4347 Map("w1" -> Set("drv", "in", "out"), "w2" -> Set("drv")),4348 hookFixed::hook::phase: Fetch,4349 hookFixed::hook::restarts: 2,4350 hookFixed::hook::retries: 2,4351 hookFixed::hook::toUpload: Set("drv", "in")4352}43534354[State 6]4355{4356 hookFixed::hook::cache: Set("drv", "in", "out"),4357 hookFixed::hook::drvUploaded: false,4358 hookFixed::hook::local:4359 Map("w1" -> Set("drv", "in", "out"), "w2" -> Set("drv")),4360 hookFixed::hook::phase: Done,4361 hookFixed::hook::restarts: 2,4362 hookFixed::hook::retries: 2,4363 hookFixed::hook::toUpload: Set("drv", "in")4364}43654366[ok] No violation found (189ms at 105820 traces/second).4367Trace length statistics: max=7, min=5, average=6.744368You may increase --max-samples and --max-steps.4369Use --verbosity to produce more (or less) output.4370Use --seed=0x2b1c086c396e38f0 --backend=rust to reproduce.4371Running... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sAn example execution:43724373[State 0]4374{4375 hookNoSubstituteRefs::hook::cache: Set(),4376 hookNoSubstituteRefs::hook::drvUploaded: false,4377 hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4378 hookNoSubstituteRefs::hook::phase: Query,4379 hookNoSubstituteRefs::hook::restarts: 0,4380 hookNoSubstituteRefs::hook::retries: 0,4381 hookNoSubstituteRefs::hook::toUpload: Set()4382}43834384[State 1]4385{4386 hookNoSubstituteRefs::hook::cache: Set("in"),4387 hookNoSubstituteRefs::hook::drvUploaded: false,4388 hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4389 hookNoSubstituteRefs::hook::phase: Upload,4390 hookNoSubstituteRefs::hook::restarts: 0,4391 hookNoSubstituteRefs::hook::retries: 0,4392 hookNoSubstituteRefs::hook::toUpload: Set("drv")4393}43944395[State 2]4396{4397 hookNoSubstituteRefs::hook::cache: Set("in"),4398 hookNoSubstituteRefs::hook::drvUploaded: false,4399 hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4400 hookNoSubstituteRefs::hook::phase: Failed,4401 hookNoSubstituteRefs::hook::restarts: 0,4402 hookNoSubstituteRefs::hook::retries: 0,4403 hookNoSubstituteRefs::hook::toUpload: Set("drv")4404}44054406[violation] Found an issue (54ms at 1648 traces/second).4407Use --verbosity=3 to show executions.4408Use --seed=0x1cffdce3c4fde7e3 --backend=rust to reproduce.4409error: Invariant violated4410Running... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sAn example execution:44114412[State 0]4413{4414 hookNoSubstituteDrv::hook::cache: Set(),4415 hookNoSubstituteDrv::hook::drvUploaded: false,4416 hookNoSubstituteDrv::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),4417 hookNoSubstituteDrv::hook::phase: Query,4418 hookNoSubstituteDrv::hook::restarts: 0,4419 hookNoSubstituteDrv::hook::retries: 0,4420 hookNoSubstituteDrv::hook::toUpload: Set()4421}44224423[State 1]4424{4425 hookNoSubstituteDrv::hook::cache: Set("in"),4426 hookNoSubstituteDrv::hook::drvUploaded: false,4427 hookNoSubstituteDrv::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),4428 hookNoSubstituteDrv::hook::phase: Upload,4429 hookNoSubstituteDrv::hook::restarts: 0,4430 hookNoSubstituteDrv::hook::retries: 0,4431 hookNoSubstituteDrv::hook::toUpload: Set("drv")4432}44334434[State 2]4435{4436 hookNoSubstituteDrv::hook::cache: Set("in"),4437 hookNoSubstituteDrv::hook::drvUploaded: false,4438 hookNoSubstituteDrv::hook::local:4439 Map("w1" -> Set(), "w2" -> Set("drv", "in")),4440 hookNoSubstituteDrv::hook::phase: Upload,4441 hookNoSubstituteDrv::hook::restarts: 1,4442 hookNoSubstituteDrv::hook::retries: 1,4443 hookNoSubstituteDrv::hook::toUpload: Set("drv")4444}44454446[State 3]4447{4448 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4449 hookNoSubstituteDrv::hook::drvUploaded: false,4450 hookNoSubstituteDrv::hook::local:4451 Map("w1" -> Set(), "w2" -> Set("drv", "in")),4452 hookNoSubstituteDrv::hook::phase: Build,4453 hookNoSubstituteDrv::hook::restarts: 1,4454 hookNoSubstituteDrv::hook::retries: 1,4455 hookNoSubstituteDrv::hook::toUpload: Set("drv")4456}44574458[State 4]4459{4460 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4461 hookNoSubstituteDrv::hook::drvUploaded: false,4462 hookNoSubstituteDrv::hook::local:4463 Map("w1" -> Set(), "w2" -> Set("drv", "in")),4464 hookNoSubstituteDrv::hook::phase: UploadDrv,4465 hookNoSubstituteDrv::hook::restarts: 1,4466 hookNoSubstituteDrv::hook::retries: 1,4467 hookNoSubstituteDrv::hook::toUpload: Set("drv")4468}44694470[State 5]4471{4472 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4473 hookNoSubstituteDrv::hook::drvUploaded: true,4474 hookNoSubstituteDrv::hook::local:4475 Map("w1" -> Set(), "w2" -> Set("drv", "in")),4476 hookNoSubstituteDrv::hook::phase: Build,4477 hookNoSubstituteDrv::hook::restarts: 1,4478 hookNoSubstituteDrv::hook::retries: 1,4479 hookNoSubstituteDrv::hook::toUpload: Set("drv")4480}44814482[State 6]4483{4484 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4485 hookNoSubstituteDrv::hook::drvUploaded: true,4486 hookNoSubstituteDrv::hook::local:4487 Map("w1" -> Set(), "w2" -> Set("drv", "in")),4488 hookNoSubstituteDrv::hook::phase: Failed,4489 hookNoSubstituteDrv::hook::restarts: 1,4490 hookNoSubstituteDrv::hook::retries: 1,4491 hookNoSubstituteDrv::hook::toUpload: Set("drv")4492}44934494[violation] Found an issue (46ms at 3391 traces/second).4495Use --verbosity=3 to show executions.4496Use --seed=0x1bb69ca514e01a59 --backend=rust to reproduce.4497error: Invariant violated4498Running... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 1s | 13020/20000 samples | 89793 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 1s | 18028/20000 samples | 72988 samples/sAn example execution:44994500[State 0]4501{4502 pushFixed::push::byPath: Map(),4503 pushFixed::push::inflight: Set(),4504 pushFixed::push::left: Map(),4505 pushFixed::push::sent: Map()4506}45074508[State 1]4509{4510 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),4511 pushFixed::push::inflight: Set((2, "a"), (2, "b")),4512 pushFixed::push::left: Map(2 -> 2),4513 pushFixed::push::sent: Map(2 -> Set("a", "b"))4514}45154516[State 2]4517{4518 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),4519 pushFixed::push::inflight: Set((2, "a")),4520 pushFixed::push::left: Map(2 -> 1),4521 pushFixed::push::sent: Map(2 -> Set("a", "b"))4522}45234524[State 3]4525{4526 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),4527 pushFixed::push::inflight: Set(),4528 pushFixed::push::left: Map(2 -> 0),4529 pushFixed::push::sent: Map(2 -> Set("a", "b"))4530}45314532[State 4]4533{4534 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4535 pushFixed::push::inflight: Set((1, "a"), (1, "b")),4536 pushFixed::push::left: Map(1 -> 2, 2 -> 0),4537 pushFixed::push::sent: Map(1 -> Set("a", "b"), 2 -> Set("a", "b"))4538}45394540[State 5]4541{4542 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),4543 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (3, "a"), (3, "b")),4544 pushFixed::push::left: Map(1 -> 2, 2 -> 0, 3 -> 2),4545 pushFixed::push::sent:4546 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4547}45484549[State 6]4550{4551 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),4552 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (3, "a")),4553 pushFixed::push::left: Map(1 -> 2, 2 -> 0, 3 -> 1),4554 pushFixed::push::sent:4555 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4556}45574558[State 7]4559{4560 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),4561 pushFixed::push::inflight: Set((1, "a"), (1, "b")),4562 pushFixed::push::left: Map(1 -> 2, 2 -> 0, 3 -> 0),4563 pushFixed::push::sent:4564 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4565}45664567[State 8]4568{4569 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),4570 pushFixed::push::inflight: Set((1, "a")),4571 pushFixed::push::left: Map(1 -> 1, 2 -> 0, 3 -> 0),4572 pushFixed::push::sent:4573 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4574}45754576[State 9]4577{4578 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),4579 pushFixed::push::inflight: Set(),4580 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),4581 pushFixed::push::sent:4582 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4583}45844585[ok] No violation found (351ms at 56980 traces/second).4586Trace length statistics: max=10, min=7, average=7.994587You may increase --max-samples and --max-steps.4588Use --verbosity to produce more (or less) output.4589Use --seed=0xb9a5242e33fb7843 --backend=rust to reproduce.