nix-grpc-store-spec
checks.x86_64-linux.spec
· build #689
· 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... [ ] 0% | ETA: 39s | 257/30000 samples | 781 samples/sRunning... [■ ] 1% | ETA: 25s | 503/30000 samples | 1218 samples/sRunning... [■ ] 2% | ETA: 19s | 805/30000 samples | 1566 samples/sRunning... [■ ] 3% | ETA: 17s | 1077/30000 samples | 1754 samples/sRunning... [■■ ] 4% | ETA: 16s | 1359/30000 samples | 1903 samples/sRunning... [■■ ] 5% | ETA: 14s | 1681/30000 samples | 2063 samples/sRunning... [■■■ ] 6% | ETA: 13s | 2054/30000 samples | 2240 samples/sRunning... [■■■ ] 8% | ETA: 12s | 2446/30000 samples | 2400 samples/sRunning... [■■■■ ] 9% | ETA: 9s | 2877/30000 samples | 2569 samples/sRunning... [■■■■ ] 11% | ETA: 8s | 3361/30000 samples | 2750 samples/sRunning... [■■■■■ ] 12% | ETA: 8s | 3835/30000 samples | 2901 samples/sRunning... [■■■■■■ ] 14% | ETA: 7s | 4374/30000 samples | 3076 samples/sRunning... [■■■■■■■ ] 16% | ETA: 6s | 4936/30000 samples | 3241 samples/sRunning... [■■■■■■■ ] 18% | ETA: 6s | 5551/30000 samples | 3420 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 5s | 6159/30000 samples | 3573 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 5s | 6879/30000 samples | 3769 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 4s | 7607/30000 samples | 3950 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 4s | 8247/30000 samples | 4069 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 4s | 8986/30000 samples | 4223 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 4s | 9722/30000 samples | 4364 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 3s | 10349/30000 samples | 4442 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 3s | 10972/30000 samples | 4513 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 3s | 11585/30000 samples | 4577 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 3s | 12235/30000 samples | 4649 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 3s | 12864/30000 samples | 4707 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 3s | 13462/30000 samples | 4750 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 3s | 14010/30000 samples | 4775 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 3s | 14464/30000 samples | 4764 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 3s | 14934/30000 samples | 4761 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 3s | 15337/30000 samples | 4737 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 3s | 15749/30000 samples | 4718 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 3s | 16178/30000 samples | 4704 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 3s | 16690/30000 samples | 4716 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 3s | 17234/30000 samples | 4735 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 3s | 17753/30000 samples | 4747 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 3s | 18331/30000 samples | 4772 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 3s | 18849/30000 samples | 4782 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 3s | 19406/30000 samples | 4799 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 2s | 20038/30000 samples | 4834 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 2s | 20537/30000 samples | 4838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 2s | 21168/30000 samples | 4846 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 2s | 21168/30000 samples | 4846 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 2s | 22102/30000 samples | 4848 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 2s | 23079/30000 samples | 4842 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 2s | 23610/30000 samples | 4812 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 2s | 24078/30000 samples | 4829 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 2s | 24559/30000 samples | 4828 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 2s | 25004/30000 samples | 4816 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 2s | 25368/30000 samples | 4794 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 1s | 25744/30000 samples | 4773 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 1s | 26072/30000 samples | 4740 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 1s | 26382/30000 samples | 4699 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 1s | 26650/30000 samples | 4662 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 1s | 26932/30000 samples | 4628 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 1s | 27196/30000 samples | 4596 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 1s | 27373/30000 samples | 4549 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 1s | 27456/30000 samples | 4488 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 1s | 27600/30000 samples | 4438 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 2s | 27711/30000 samples | 4385 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 2s | 27836/30000 samples | 4335 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 2s | 27986/30000 samples | 4291 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 2s | 28145/30000 samples | 4250 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 2s | 28272/30000 samples | 4206 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 2s | 28436/30000 samples | 4168 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 2s | 28555/30000 samples | 4124 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 2s | 28646/30000 samples | 4075 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 2s | 28726/30000 samples | 4029 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 2s | 28768/30000 samples | 3979 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 2s | 28812/30000 samples | 3931 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 2s | 28887/30000 samples | 3886 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 2s | 28970/30000 samples | 3845 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 2s | 29024/30000 samples | 3802 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 2s | 29046/30000 samples | 3755 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 2s | 29074/30000 samples | 3708 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 2s | 29113/30000 samples | 3666 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 2s | 29134/30000 samples | 3623 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 2s | 29164/30000 samples | 3581 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 2s | 29203/30000 samples | 3541 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 2s | 29257/30000 samples | 3503 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 2s | 29354/30000 samples | 3474 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 2s | 29453/30000 samples | 3444 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 29514/30000 samples | 3411 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 29583/30000 samples | 3378 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 98% | ETA: 1s | 29669/30000 samples | 3349 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29746/30000 samples | 3319 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29823/30000 samples | 3291 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29896/30000 samples | 3225 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29934/30000 samples | 3180 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 30000/30000 samples | 3154 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 30000/30000 samples | 3154 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::mRevoke: Set(),16 schedFixed::scheduler::mSchedule: Set(),17 schedFixed::scheduler::published: 0,18 schedFixed::scheduler::publishedBy: Set(),19 schedFixed::scheduler::ws:20 Map(21 "w1" ->22 {23 attached: Set(),24 built: false,25 expecting: false,26 running: false,27 session: true,28 up: true29 },30 "w2" ->31 {32 attached: Set(),33 built: false,34 expecting: false,35 running: false,36 session: true,37 up: true38 }39 )40}4142[State 1]43{44 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),45 schedFixed::scheduler::crashes: 1,46 schedFixed::scheduler::entry: [],47 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),48 schedFixed::scheduler::mAssigned: Set(),49 schedFixed::scheduler::mBuild: Set(),50 schedFixed::scheduler::mDone: Set(),51 schedFixed::scheduler::mExpect: Set(),52 schedFixed::scheduler::mResult: Set(),53 schedFixed::scheduler::mRetry: Set(),54 schedFixed::scheduler::mRevoke: Set(),55 schedFixed::scheduler::mSchedule: Set(),56 schedFixed::scheduler::published: 0,57 schedFixed::scheduler::publishedBy: Set(),58 schedFixed::scheduler::ws:59 Map(60 "w1" ->61 {62 attached: Set(),63 built: false,64 expecting: false,65 running: false,66 session: false,67 up: true68 },69 "w2" ->70 {71 attached: Set(),72 built: false,73 expecting: false,74 running: false,75 session: false,76 up: true77 }78 )79}8081[State 2]82{83 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),84 schedFixed::scheduler::crashes: 1,85 schedFixed::scheduler::entry: [],86 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),87 schedFixed::scheduler::mAssigned: Set(),88 schedFixed::scheduler::mBuild: Set(),89 schedFixed::scheduler::mDone: Set(),90 schedFixed::scheduler::mExpect: Set(),91 schedFixed::scheduler::mResult: Set(),92 schedFixed::scheduler::mRetry: Set(),93 schedFixed::scheduler::mRevoke: Set(),94 schedFixed::scheduler::mSchedule: Set(),95 schedFixed::scheduler::published: 0,96 schedFixed::scheduler::publishedBy: Set(),97 schedFixed::scheduler::ws:98 Map(99 "w1" ->100 {101 attached: Set(),102 built: false,103 expecting: false,104 running: false,105 session: false,106 up: true107 },108 "w2" ->109 {110 attached: Set(),111 built: false,112 expecting: false,113 running: false,114 session: true,115 up: true116 }117 )118}119120[State 3]121{122 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),123 schedFixed::scheduler::crashes: 1,124 schedFixed::scheduler::entry: [],125 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),126 schedFixed::scheduler::mAssigned: Set(),127 schedFixed::scheduler::mBuild: Set(),128 schedFixed::scheduler::mDone: Set(),129 schedFixed::scheduler::mExpect: Set(),130 schedFixed::scheduler::mResult: Set(),131 schedFixed::scheduler::mRetry: Set(),132 schedFixed::scheduler::mRevoke: Set(),133 schedFixed::scheduler::mSchedule: Set(),134 schedFixed::scheduler::published: 0,135 schedFixed::scheduler::publishedBy: Set(),136 schedFixed::scheduler::ws:137 Map(138 "w1" ->139 {140 attached: Set(),141 built: false,142 expecting: false,143 running: false,144 session: true,145 up: true146 },147 "w2" ->148 {149 attached: Set(),150 built: false,151 expecting: false,152 running: false,153 session: true,154 up: true155 }156 )157}158159[State 4]160{161 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),162 schedFixed::scheduler::crashes: 2,163 schedFixed::scheduler::entry: [],164 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),165 schedFixed::scheduler::mAssigned: Set(),166 schedFixed::scheduler::mBuild: Set(),167 schedFixed::scheduler::mDone: Set(),168 schedFixed::scheduler::mExpect: Set(),169 schedFixed::scheduler::mResult: Set(),170 schedFixed::scheduler::mRetry: Set(),171 schedFixed::scheduler::mRevoke: Set(),172 schedFixed::scheduler::mSchedule: Set(),173 schedFixed::scheduler::published: 0,174 schedFixed::scheduler::publishedBy: Set(),175 schedFixed::scheduler::ws:176 Map(177 "w1" ->178 {179 attached: Set(),180 built: false,181 expecting: false,182 running: false,183 session: false,184 up: true185 },186 "w2" ->187 {188 attached: Set(),189 built: false,190 expecting: false,191 running: false,192 session: false,193 up: true194 }195 )196}197198[State 5]199{200 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),201 schedFixed::scheduler::crashes: 2,202 schedFixed::scheduler::entry: [],203 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),204 schedFixed::scheduler::mAssigned: Set(),205 schedFixed::scheduler::mBuild: Set(),206 schedFixed::scheduler::mDone: Set(),207 schedFixed::scheduler::mExpect: Set(),208 schedFixed::scheduler::mResult: Set(),209 schedFixed::scheduler::mRetry: Set(),210 schedFixed::scheduler::mRevoke: Set(),211 schedFixed::scheduler::mSchedule: Set(),212 schedFixed::scheduler::published: 0,213 schedFixed::scheduler::publishedBy: Set(),214 schedFixed::scheduler::ws:215 Map(216 "w1" ->217 {218 attached: Set(),219 built: false,220 expecting: false,221 running: false,222 session: true,223 up: true224 },225 "w2" ->226 {227 attached: Set(),228 built: false,229 expecting: false,230 running: false,231 session: false,232 up: true233 }234 )235}236237[State 6]238{239 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),240 schedFixed::scheduler::crashes: 2,241 schedFixed::scheduler::entry: [],242 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),243 schedFixed::scheduler::mAssigned: Set(),244 schedFixed::scheduler::mBuild: Set(),245 schedFixed::scheduler::mDone: Set(),246 schedFixed::scheduler::mExpect: Set(),247 schedFixed::scheduler::mResult: Set(),248 schedFixed::scheduler::mRetry: Set(),249 schedFixed::scheduler::mRevoke: Set(),250 schedFixed::scheduler::mSchedule: Set("c2"),251 schedFixed::scheduler::published: 0,252 schedFixed::scheduler::publishedBy: Set(),253 schedFixed::scheduler::ws:254 Map(255 "w1" ->256 {257 attached: Set(),258 built: false,259 expecting: false,260 running: false,261 session: true,262 up: true263 },264 "w2" ->265 {266 attached: Set(),267 built: false,268 expecting: false,269 running: false,270 session: false,271 up: true272 }273 )274}275276[State 7]277{278 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),279 schedFixed::scheduler::crashes: 2,280 schedFixed::scheduler::entry: [],281 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),282 schedFixed::scheduler::mAssigned: Set(),283 schedFixed::scheduler::mBuild: Set(),284 schedFixed::scheduler::mDone: Set(),285 schedFixed::scheduler::mExpect: Set(),286 schedFixed::scheduler::mResult: Set(),287 schedFixed::scheduler::mRetry: Set(),288 schedFixed::scheduler::mRevoke: Set(),289 schedFixed::scheduler::mSchedule: Set("c1", "c2"),290 schedFixed::scheduler::published: 0,291 schedFixed::scheduler::publishedBy: Set(),292 schedFixed::scheduler::ws:293 Map(294 "w1" ->295 {296 attached: Set(),297 built: false,298 expecting: false,299 running: false,300 session: true,301 up: true302 },303 "w2" ->304 {305 attached: Set(),306 built: false,307 expecting: false,308 running: false,309 session: false,310 up: true311 }312 )313}314315[State 8]316{317 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),318 schedFixed::scheduler::crashes: 2,319 schedFixed::scheduler::entry:320 [{ followers: Set("c2"), leased: true, worker: "w1" }],321 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),322 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),323 schedFixed::scheduler::mBuild: Set(),324 schedFixed::scheduler::mDone: Set(),325 schedFixed::scheduler::mExpect: Set("w1"),326 schedFixed::scheduler::mResult: Set(),327 schedFixed::scheduler::mRetry: Set(),328 schedFixed::scheduler::mRevoke: Set(),329 schedFixed::scheduler::mSchedule: Set("c1"),330 schedFixed::scheduler::published: 0,331 schedFixed::scheduler::publishedBy: Set(),332 schedFixed::scheduler::ws:333 Map(334 "w1" ->335 {336 attached: Set(),337 built: false,338 expecting: false,339 running: false,340 session: true,341 up: true342 },343 "w2" ->344 {345 attached: Set(),346 built: false,347 expecting: false,348 running: false,349 session: false,350 up: true351 }352 )353}354355[State 9]356{357 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),358 schedFixed::scheduler::crashes: 2,359 schedFixed::scheduler::entry:360 [{ followers: Set("c2"), leased: true, worker: "w1" }],361 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),362 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),363 schedFixed::scheduler::mBuild: Set(),364 schedFixed::scheduler::mDone: Set(),365 schedFixed::scheduler::mExpect: Set("w1"),366 schedFixed::scheduler::mResult: Set(),367 schedFixed::scheduler::mRetry: Set(),368 schedFixed::scheduler::mRevoke: Set(),369 schedFixed::scheduler::mSchedule: Set("c1"),370 schedFixed::scheduler::published: 0,371 schedFixed::scheduler::publishedBy: Set(),372 schedFixed::scheduler::ws:373 Map(374 "w1" ->375 {376 attached: Set(),377 built: false,378 expecting: false,379 running: false,380 session: true,381 up: true382 },383 "w2" ->384 {385 attached: Set(),386 built: false,387 expecting: false,388 running: false,389 session: true,390 up: true391 }392 )393}394395[State 10]396{397 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),398 schedFixed::scheduler::crashes: 2,399 schedFixed::scheduler::entry:400 [{ followers: Set("c2"), leased: true, worker: "w1" }],401 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),402 schedFixed::scheduler::mAssigned: Set(),403 schedFixed::scheduler::mBuild: Set(("c2", "w1")),404 schedFixed::scheduler::mDone: Set(),405 schedFixed::scheduler::mExpect: Set("w1"),406 schedFixed::scheduler::mResult: Set(),407 schedFixed::scheduler::mRetry: Set(),408 schedFixed::scheduler::mRevoke: Set(),409 schedFixed::scheduler::mSchedule: Set("c1"),410 schedFixed::scheduler::published: 0,411 schedFixed::scheduler::publishedBy: Set(),412 schedFixed::scheduler::ws:413 Map(414 "w1" ->415 {416 attached: Set(),417 built: false,418 expecting: false,419 running: false,420 session: true,421 up: true422 },423 "w2" ->424 {425 attached: Set(),426 built: false,427 expecting: false,428 running: false,429 session: true,430 up: true431 }432 )433}434435[State 11]436{437 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),438 schedFixed::scheduler::crashes: 2,439 schedFixed::scheduler::entry:440 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],441 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),442 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),443 schedFixed::scheduler::mBuild: Set(("c2", "w1")),444 schedFixed::scheduler::mDone: Set(),445 schedFixed::scheduler::mExpect: Set("w1"),446 schedFixed::scheduler::mResult: Set(),447 schedFixed::scheduler::mRetry: Set(),448 schedFixed::scheduler::mRevoke: Set(),449 schedFixed::scheduler::mSchedule: Set(),450 schedFixed::scheduler::published: 0,451 schedFixed::scheduler::publishedBy: Set(),452 schedFixed::scheduler::ws:453 Map(454 "w1" ->455 {456 attached: Set(),457 built: false,458 expecting: false,459 running: false,460 session: true,461 up: true462 },463 "w2" ->464 {465 attached: Set(),466 built: false,467 expecting: false,468 running: false,469 session: true,470 up: true471 }472 )473}474475[State 12]476{477 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),478 schedFixed::scheduler::crashes: 2,479 schedFixed::scheduler::entry:480 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],481 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),482 schedFixed::scheduler::mAssigned: Set(),483 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),484 schedFixed::scheduler::mDone: Set(),485 schedFixed::scheduler::mExpect: Set("w1"),486 schedFixed::scheduler::mResult: Set(),487 schedFixed::scheduler::mRetry: Set(),488 schedFixed::scheduler::mRevoke: Set(),489 schedFixed::scheduler::mSchedule: Set(),490 schedFixed::scheduler::published: 0,491 schedFixed::scheduler::publishedBy: Set(),492 schedFixed::scheduler::ws:493 Map(494 "w1" ->495 {496 attached: Set(),497 built: false,498 expecting: false,499 running: false,500 session: true,501 up: true502 },503 "w2" ->504 {505 attached: Set(),506 built: false,507 expecting: false,508 running: false,509 session: true,510 up: true511 }512 )513}514515[State 13]516{517 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),518 schedFixed::scheduler::crashes: 2,519 schedFixed::scheduler::entry:520 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],521 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),522 schedFixed::scheduler::mAssigned: Set(),523 schedFixed::scheduler::mBuild: Set(("c1", "w1")),524 schedFixed::scheduler::mDone: Set(),525 schedFixed::scheduler::mExpect: Set("w1"),526 schedFixed::scheduler::mResult: Set(),527 schedFixed::scheduler::mRetry: Set("c2"),528 schedFixed::scheduler::mRevoke: Set(),529 schedFixed::scheduler::mSchedule: Set(),530 schedFixed::scheduler::published: 0,531 schedFixed::scheduler::publishedBy: Set(),532 schedFixed::scheduler::ws:533 Map(534 "w1" ->535 {536 attached: Set(),537 built: false,538 expecting: false,539 running: false,540 session: true,541 up: true542 },543 "w2" ->544 {545 attached: Set(),546 built: false,547 expecting: false,548 running: false,549 session: true,550 up: true551 }552 )553}554555[State 14]556{557 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),558 schedFixed::scheduler::crashes: 2,559 schedFixed::scheduler::entry:560 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],561 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),562 schedFixed::scheduler::mAssigned: Set(),563 schedFixed::scheduler::mBuild: Set(),564 schedFixed::scheduler::mDone: Set(),565 schedFixed::scheduler::mExpect: Set("w1"),566 schedFixed::scheduler::mResult: Set(),567 schedFixed::scheduler::mRetry: Set("c1", "c2"),568 schedFixed::scheduler::mRevoke: Set(),569 schedFixed::scheduler::mSchedule: Set(),570 schedFixed::scheduler::published: 0,571 schedFixed::scheduler::publishedBy: Set(),572 schedFixed::scheduler::ws:573 Map(574 "w1" ->575 {576 attached: Set(),577 built: false,578 expecting: false,579 running: false,580 session: true,581 up: true582 },583 "w2" ->584 {585 attached: Set(),586 built: false,587 expecting: false,588 running: false,589 session: true,590 up: true591 }592 )593}594595[State 15]596{597 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),598 schedFixed::scheduler::crashes: 2,599 schedFixed::scheduler::entry:600 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],601 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),602 schedFixed::scheduler::mAssigned: Set(),603 schedFixed::scheduler::mBuild: Set(),604 schedFixed::scheduler::mDone: Set(),605 schedFixed::scheduler::mExpect: Set("w1"),606 schedFixed::scheduler::mResult: Set(),607 schedFixed::scheduler::mRetry: Set("c2"),608 schedFixed::scheduler::mRevoke: Set(),609 schedFixed::scheduler::mSchedule: Set("c1"),610 schedFixed::scheduler::published: 0,611 schedFixed::scheduler::publishedBy: Set(),612 schedFixed::scheduler::ws:613 Map(614 "w1" ->615 {616 attached: Set(),617 built: false,618 expecting: false,619 running: false,620 session: true,621 up: true622 },623 "w2" ->624 {625 attached: Set(),626 built: false,627 expecting: false,628 running: false,629 session: true,630 up: true631 }632 )633}634635[State 16]636{637 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),638 schedFixed::scheduler::crashes: 2,639 schedFixed::scheduler::entry:640 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],641 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),642 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),643 schedFixed::scheduler::mBuild: Set(),644 schedFixed::scheduler::mDone: Set(),645 schedFixed::scheduler::mExpect: Set("w1"),646 schedFixed::scheduler::mResult: Set(),647 schedFixed::scheduler::mRetry: Set("c2"),648 schedFixed::scheduler::mRevoke: Set(),649 schedFixed::scheduler::mSchedule: Set(),650 schedFixed::scheduler::published: 0,651 schedFixed::scheduler::publishedBy: Set(),652 schedFixed::scheduler::ws:653 Map(654 "w1" ->655 {656 attached: Set(),657 built: false,658 expecting: false,659 running: false,660 session: true,661 up: true662 },663 "w2" ->664 {665 attached: Set(),666 built: false,667 expecting: false,668 running: false,669 session: true,670 up: true671 }672 )673}674675[State 17]676{677 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),678 schedFixed::scheduler::crashes: 2,679 schedFixed::scheduler::entry:680 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],681 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),682 schedFixed::scheduler::mAssigned: Set(),683 schedFixed::scheduler::mBuild: Set(("c1", "w1")),684 schedFixed::scheduler::mDone: Set(),685 schedFixed::scheduler::mExpect: Set("w1"),686 schedFixed::scheduler::mResult: Set(),687 schedFixed::scheduler::mRetry: Set("c2"),688 schedFixed::scheduler::mRevoke: Set(),689 schedFixed::scheduler::mSchedule: Set(),690 schedFixed::scheduler::published: 0,691 schedFixed::scheduler::publishedBy: Set(),692 schedFixed::scheduler::ws:693 Map(694 "w1" ->695 {696 attached: Set(),697 built: false,698 expecting: false,699 running: false,700 session: true,701 up: true702 },703 "w2" ->704 {705 attached: Set(),706 built: false,707 expecting: false,708 running: false,709 session: true,710 up: true711 }712 )713}714715[State 18]716{717 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),718 schedFixed::scheduler::crashes: 2,719 schedFixed::scheduler::entry:720 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],721 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),722 schedFixed::scheduler::mAssigned: Set(),723 schedFixed::scheduler::mBuild: Set(("c1", "w1")),724 schedFixed::scheduler::mDone: Set(),725 schedFixed::scheduler::mExpect: Set("w1"),726 schedFixed::scheduler::mResult: Set(),727 schedFixed::scheduler::mRetry: Set(),728 schedFixed::scheduler::mRevoke: Set(),729 schedFixed::scheduler::mSchedule: Set("c2"),730 schedFixed::scheduler::published: 0,731 schedFixed::scheduler::publishedBy: Set(),732 schedFixed::scheduler::ws:733 Map(734 "w1" ->735 {736 attached: Set(),737 built: false,738 expecting: false,739 running: false,740 session: true,741 up: true742 },743 "w2" ->744 {745 attached: Set(),746 built: false,747 expecting: false,748 running: false,749 session: true,750 up: true751 }752 )753}754755[State 19]756{757 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),758 schedFixed::scheduler::crashes: 2,759 schedFixed::scheduler::entry:760 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],761 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),762 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),763 schedFixed::scheduler::mBuild: Set(("c1", "w1")),764 schedFixed::scheduler::mDone: Set(),765 schedFixed::scheduler::mExpect: Set("w1"),766 schedFixed::scheduler::mResult: Set(),767 schedFixed::scheduler::mRetry: Set(),768 schedFixed::scheduler::mRevoke: Set(),769 schedFixed::scheduler::mSchedule: Set(),770 schedFixed::scheduler::published: 0,771 schedFixed::scheduler::publishedBy: Set(),772 schedFixed::scheduler::ws:773 Map(774 "w1" ->775 {776 attached: Set(),777 built: false,778 expecting: false,779 running: false,780 session: true,781 up: true782 },783 "w2" ->784 {785 attached: Set(),786 built: false,787 expecting: false,788 running: false,789 session: true,790 up: true791 }792 )793}794795[State 20]796{797 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),798 schedFixed::scheduler::crashes: 2,799 schedFixed::scheduler::entry:800 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],801 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),802 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),803 schedFixed::scheduler::mBuild: Set(),804 schedFixed::scheduler::mDone: Set(),805 schedFixed::scheduler::mExpect: Set("w1"),806 schedFixed::scheduler::mResult: Set(),807 schedFixed::scheduler::mRetry: Set("c1"),808 schedFixed::scheduler::mRevoke: Set(),809 schedFixed::scheduler::mSchedule: Set(),810 schedFixed::scheduler::published: 0,811 schedFixed::scheduler::publishedBy: Set(),812 schedFixed::scheduler::ws:813 Map(814 "w1" ->815 {816 attached: Set(),817 built: false,818 expecting: false,819 running: false,820 session: true,821 up: true822 },823 "w2" ->824 {825 attached: Set(),826 built: false,827 expecting: false,828 running: false,829 session: true,830 up: true831 }832 )833}834835[State 21]836{837 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),838 schedFixed::scheduler::crashes: 2,839 schedFixed::scheduler::entry:840 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],841 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),842 schedFixed::scheduler::mAssigned: Set(),843 schedFixed::scheduler::mBuild: Set(("c2", "w1")),844 schedFixed::scheduler::mDone: Set(),845 schedFixed::scheduler::mExpect: Set("w1"),846 schedFixed::scheduler::mResult: Set(),847 schedFixed::scheduler::mRetry: Set("c1"),848 schedFixed::scheduler::mRevoke: Set(),849 schedFixed::scheduler::mSchedule: Set(),850 schedFixed::scheduler::published: 0,851 schedFixed::scheduler::publishedBy: Set(),852 schedFixed::scheduler::ws:853 Map(854 "w1" ->855 {856 attached: Set(),857 built: false,858 expecting: false,859 running: false,860 session: true,861 up: true862 },863 "w2" ->864 {865 attached: Set(),866 built: false,867 expecting: false,868 running: false,869 session: true,870 up: true871 }872 )873}874875[State 22]876{877 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),878 schedFixed::scheduler::crashes: 2,879 schedFixed::scheduler::entry:880 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],881 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),882 schedFixed::scheduler::mAssigned: Set(),883 schedFixed::scheduler::mBuild: Set(("c2", "w1")),884 schedFixed::scheduler::mDone: Set(),885 schedFixed::scheduler::mExpect: Set("w1"),886 schedFixed::scheduler::mResult: Set(),887 schedFixed::scheduler::mRetry: Set(),888 schedFixed::scheduler::mRevoke: Set(),889 schedFixed::scheduler::mSchedule: Set("c1"),890 schedFixed::scheduler::published: 0,891 schedFixed::scheduler::publishedBy: Set(),892 schedFixed::scheduler::ws:893 Map(894 "w1" ->895 {896 attached: Set(),897 built: false,898 expecting: false,899 running: false,900 session: true,901 up: true902 },903 "w2" ->904 {905 attached: Set(),906 built: false,907 expecting: false,908 running: false,909 session: true,910 up: true911 }912 )913}914915[State 23]916{917 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),918 schedFixed::scheduler::crashes: 2,919 schedFixed::scheduler::entry:920 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],921 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),922 schedFixed::scheduler::mAssigned: Set(),923 schedFixed::scheduler::mBuild: Set(("c2", "w1")),924 schedFixed::scheduler::mDone: Set(),925 schedFixed::scheduler::mExpect: Set(),926 schedFixed::scheduler::mResult: Set(),927 schedFixed::scheduler::mRetry: Set(),928 schedFixed::scheduler::mRevoke: Set(),929 schedFixed::scheduler::mSchedule: Set("c1"),930 schedFixed::scheduler::published: 0,931 schedFixed::scheduler::publishedBy: Set(),932 schedFixed::scheduler::ws:933 Map(934 "w1" ->935 {936 attached: Set(),937 built: false,938 expecting: true,939 running: true,940 session: true,941 up: true942 },943 "w2" ->944 {945 attached: Set(),946 built: false,947 expecting: false,948 running: false,949 session: true,950 up: true951 }952 )953}954955[State 24]956{957 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),958 schedFixed::scheduler::crashes: 2,959 schedFixed::scheduler::entry:960 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],961 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),962 schedFixed::scheduler::mAssigned: Set(),963 schedFixed::scheduler::mBuild: Set(),964 schedFixed::scheduler::mDone: Set(),965 schedFixed::scheduler::mExpect: Set(),966 schedFixed::scheduler::mResult: Set(),967 schedFixed::scheduler::mRetry: Set(),968 schedFixed::scheduler::mRevoke: Set(),969 schedFixed::scheduler::mSchedule: Set("c1"),970 schedFixed::scheduler::published: 0,971 schedFixed::scheduler::publishedBy: Set(),972 schedFixed::scheduler::ws:973 Map(974 "w1" ->975 {976 attached: Set("c2"),977 built: false,978 expecting: true,979 running: true,980 session: true,981 up: true982 },983 "w2" ->984 {985 attached: Set(),986 built: false,987 expecting: false,988 running: false,989 session: true,990 up: true991 }992 )993}994995[State 25]996{997 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),998 schedFixed::scheduler::crashes: 2,999 schedFixed::scheduler::entry:1000 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1001 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1002 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1003 schedFixed::scheduler::mBuild: Set(),1004 schedFixed::scheduler::mDone: Set(),1005 schedFixed::scheduler::mExpect: Set(),1006 schedFixed::scheduler::mResult: Set(),1007 schedFixed::scheduler::mRetry: Set(),1008 schedFixed::scheduler::mRevoke: Set(),1009 schedFixed::scheduler::mSchedule: Set(),1010 schedFixed::scheduler::published: 0,1011 schedFixed::scheduler::publishedBy: Set(),1012 schedFixed::scheduler::ws:1013 Map(1014 "w1" ->1015 {1016 attached: Set("c2"),1017 built: false,1018 expecting: true,1019 running: true,1020 session: true,1021 up: true1022 },1023 "w2" ->1024 {1025 attached: Set(),1026 built: false,1027 expecting: false,1028 running: false,1029 session: true,1030 up: true1031 }1032 )1033}10341035[State 26]1036{1037 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),1038 schedFixed::scheduler::crashes: 2,1039 schedFixed::scheduler::entry:1040 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1041 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1042 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1043 schedFixed::scheduler::mBuild: Set(),1044 schedFixed::scheduler::mDone: Set("w1"),1045 schedFixed::scheduler::mExpect: Set(),1046 schedFixed::scheduler::mResult: Set("c2"),1047 schedFixed::scheduler::mRetry: Set(),1048 schedFixed::scheduler::mRevoke: Set(),1049 schedFixed::scheduler::mSchedule: Set(),1050 schedFixed::scheduler::published: 1,1051 schedFixed::scheduler::publishedBy: Set("w1"),1052 schedFixed::scheduler::ws:1053 Map(1054 "w1" ->1055 {1056 attached: Set(),1057 built: true,1058 expecting: false,1059 running: false,1060 session: true,1061 up: true1062 },1063 "w2" ->1064 {1065 attached: Set(),1066 built: false,1067 expecting: false,1068 running: false,1069 session: true,1070 up: true1071 }1072 )1073}10741075[State 27]1076{1077 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),1078 schedFixed::scheduler::crashes: 2,1079 schedFixed::scheduler::entry: [],1080 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1081 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1082 schedFixed::scheduler::mBuild: Set(),1083 schedFixed::scheduler::mDone: Set(),1084 schedFixed::scheduler::mExpect: Set(),1085 schedFixed::scheduler::mResult: Set("c2"),1086 schedFixed::scheduler::mRetry: Set(),1087 schedFixed::scheduler::mRevoke: Set(),1088 schedFixed::scheduler::mSchedule: Set(),1089 schedFixed::scheduler::published: 1,1090 schedFixed::scheduler::publishedBy: Set("w1"),1091 schedFixed::scheduler::ws:1092 Map(1093 "w1" ->1094 {1095 attached: Set(),1096 built: true,1097 expecting: false,1098 running: false,1099 session: true,1100 up: true1101 },1102 "w2" ->1103 {1104 attached: Set(),1105 built: false,1106 expecting: false,1107 running: false,1108 session: true,1109 up: true1110 }1111 )1112}11131114[State 28]1115{1116 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CDone),1117 schedFixed::scheduler::crashes: 2,1118 schedFixed::scheduler::entry: [],1119 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1120 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1121 schedFixed::scheduler::mBuild: Set(),1122 schedFixed::scheduler::mDone: Set(),1123 schedFixed::scheduler::mExpect: Set(),1124 schedFixed::scheduler::mResult: Set(),1125 schedFixed::scheduler::mRetry: Set(),1126 schedFixed::scheduler::mRevoke: Set(),1127 schedFixed::scheduler::mSchedule: Set(),1128 schedFixed::scheduler::published: 1,1129 schedFixed::scheduler::publishedBy: Set("w1"),1130 schedFixed::scheduler::ws:1131 Map(1132 "w1" ->1133 {1134 attached: Set(),1135 built: true,1136 expecting: false,1137 running: false,1138 session: true,1139 up: true1140 },1141 "w2" ->1142 {1143 attached: Set(),1144 built: false,1145 expecting: false,1146 running: false,1147 session: true,1148 up: true1149 }1150 )1151}11521153[State 29]1154{1155 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CDone),1156 schedFixed::scheduler::crashes: 2,1157 schedFixed::scheduler::entry: [],1158 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1159 schedFixed::scheduler::mAssigned: Set(),1160 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1161 schedFixed::scheduler::mDone: Set(),1162 schedFixed::scheduler::mExpect: Set(),1163 schedFixed::scheduler::mResult: Set(),1164 schedFixed::scheduler::mRetry: Set(),1165 schedFixed::scheduler::mRevoke: Set(),1166 schedFixed::scheduler::mSchedule: Set(),1167 schedFixed::scheduler::published: 1,1168 schedFixed::scheduler::publishedBy: Set("w1"),1169 schedFixed::scheduler::ws:1170 Map(1171 "w1" ->1172 {1173 attached: Set(),1174 built: true,1175 expecting: false,1176 running: false,1177 session: true,1178 up: true1179 },1180 "w2" ->1181 {1182 attached: Set(),1183 built: false,1184 expecting: false,1185 running: false,1186 session: true,1187 up: true1188 }1189 )1190}11911192[State 30]1193{1194 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CDone),1195 schedFixed::scheduler::crashes: 2,1196 schedFixed::scheduler::entry: [],1197 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1198 schedFixed::scheduler::mAssigned: Set(),1199 schedFixed::scheduler::mBuild: Set(),1200 schedFixed::scheduler::mDone: Set(),1201 schedFixed::scheduler::mExpect: Set(),1202 schedFixed::scheduler::mResult: Set("c1"),1203 schedFixed::scheduler::mRetry: Set(),1204 schedFixed::scheduler::mRevoke: Set(),1205 schedFixed::scheduler::mSchedule: Set(),1206 schedFixed::scheduler::published: 1,1207 schedFixed::scheduler::publishedBy: Set("w1"),1208 schedFixed::scheduler::ws:1209 Map(1210 "w1" ->1211 {1212 attached: Set(),1213 built: true,1214 expecting: false,1215 running: false,1216 session: true,1217 up: true1218 },1219 "w2" ->1220 {1221 attached: Set(),1222 built: false,1223 expecting: false,1224 running: false,1225 session: true,1226 up: true1227 }1228 )1229}12301231[ok] No violation found (9568ms at 3135 traces/second).1232Trace length statistics: max=31, min=15, average=18.891233You may increase --max-samples and --max-steps.1234Use --verbosity to produce more (or less) output.1235Use --seed=0xa39424040869053f --backend=rust to reproduce.1236Running... [ ] 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... [ ] 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... [ ] 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... [ ] 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... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 244s | 206/30000 samples | 123 samples/sRunning... [ ] 1% | ETA: 152s | 346/30000 samples | 195 samples/sRunning... [■ ] 1% | ETA: 105s | 526/30000 samples | 282 samples/sRunning... [■ ] 2% | ETA: 77s | 763/30000 samples | 384 samples/sRunning... [■ ] 3% | ETA: 59s | 1018/30000 samples | 492 samples/sRunning... [■■ ] 4% | ETA: 45s | 1391/30000 samples | 643 samples/sRunning... [■■ ] 6% | ETA: 36s | 1805/30000 samples | 797 samples/sRunning... [■■■ ] 7% | ETA: 30s | 2208/30000 samples | 933 samples/sRunning... [■■■■ ] 8% | ETA: 10s | 2627/30000 samples | 1060 samples/sRunning... [■■■■ ] 10% | ETA: 9s | 3090/30000 samples | 1191 samples/sRunning... [■■■■■ ] 11% | ETA: 8s | 3530/30000 samples | 1303 samples/sRunning... [■■■■■ ] 12% | ETA: 8s | 3880/30000 samples | 1396 samples/sRunning... [■■■■■■ ] 14% | ETA: 7s | 4212/30000 samples | 1460 samples/sRunning... [■■■■■■ ] 14% | ETA: 7s | 4435/30000 samples | 1489 samples/sRunning... [■■■■■■ ] 16% | ETA: 7s | 4814/30000 samples | 1561 samples/sRunning... [■■■■■■■ ] 17% | ETA: 7s | 5219/30000 samples | 1639 samples/sRunning... [■■■■■■■ ] 18% | ETA: 7s | 5563/30000 samples | 1690 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 7s | 5958/30000 samples | 1757 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 7s | 6375/30000 samples | 1825 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 7s | 6740/30000 samples | 1875 samples/sRunning... [■■■■■■■■■■ ] 23% | ETA: 7s | 7180/30000 samples | 1941 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 7s | 7543/30000 samples | 1985 samples/sRunning... [■■■■■■■■■■ ] 26% | ETA: 7s | 7839/30000 samples | 2009 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 6s | 8220/30000 samples | 2054 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 6s | 8596/30000 samples | 2095 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 6s | 9007/30000 samples | 2135 samples/sRunning... [■■■■■■■■■■■■ ] 31% | ETA: 6s | 9363/30000 samples | 2169 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 6s | 9624/30000 samples | 2178 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 6s | 9907/30000 samples | 2189 samples/sRunning... [■■■■■■■■■■■■■■ ] 33% | ETA: 7s | 10136/30000 samples | 2193 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 7s | 10364/30000 samples | 2193 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 7s | 10500/30000 samples | 2171 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 8s | 10615/30000 samples | 2149 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 9s | 10738/30000 samples | 2134 samples/sRunning... [■■■■■■■■■■■■■■ ] 36% | ETA: 10s | 10856/30000 samples | 2108 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 12s | 10950/30000 samples | 2087 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 13s | 10991/30000 samples | 2054 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 16s | 11040/30000 samples | 2026 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 21s | 11220/30000 samples | 1985 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 21s | 11347/30000 samples | 1971 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 21s | 11474/30000 samples | 1956 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 21s | 11586/30000 samples | 1937 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 38% | ETA: 22s | 11647/30000 samples | 1912 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 38% | ETA: 24s | 11682/30000 samples | 1894 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 23s | 11732/30000 samples | 1870 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 23s | 11791/30000 samples | 1850 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 22s | 11924/30000 samples | 1839 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 22s | 12003/30000 samples | 1819 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 24s | 12058/30000 samples | 1799 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 26s | 12118/30000 samples | 1782 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 29s | 12171/30000 samples | 1763 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 29s | 12171/30000 samples | 1763 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 32s | 12232/30000 samples | 1718 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 32s | 12278/30000 samples | 1701 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 41% | ETA: 32s | 12314/30000 samples | 1682 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 32s | 12385/30000 samples | 1669 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 34s | 12474/30000 samples | 1658 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 32s | 12576/30000 samples | 1650 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 29s | 12683/30000 samples | 1642 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 26s | 12811/30000 samples | 1637 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 24s | 12901/30000 samples | 1628 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 22s | 12965/30000 samples | 1615 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 21s | 13038/30000 samples | 1604 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 20s | 13114/30000 samples | 1594 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 43% | ETA: 20s | 13183/30000 samples | 1583 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 19s | 13277/30000 samples | 1575 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 20s | 13344/30000 samples | 1564 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 22s | 13393/30000 samples | 1552 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 24s | 13453/30000 samples | 1540 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 25s | 13512/30000 samples | 1529 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 21s | 13679/30000 samples | 1531 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 19s | 13825/30000 samples | 1530 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 20s | 13877/30000 samples | 1519 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 19s | 13972/30000 samples | 1512 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 19s | 14053/30000 samples | 1505 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 19s | 14119/30000 samples | 1495 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 19s | 14183/30000 samples | 1486 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 18s | 14292/30000 samples | 1482 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 17s | 14382/30000 samples | 1476 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 19s | 14462/30000 samples | 1469 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 20s | 14554/30000 samples | 1463 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 19s | 14622/30000 samples | 1456 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 21s | 14651/30000 samples | 1444 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 21s | 14651/30000 samples | 1444 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 21s | 14780/30000 samples | 1435 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 21s | 14834/30000 samples | 1426 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 21s | 14875/30000 samples | 1416 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 22s | 15044/30000 samples | 1405 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 23s | 15110/30000 samples | 1398 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 22s | 15207/30000 samples | 1394 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 22s | 15290/30000 samples | 1389 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 17s | 15494/30000 samples | 1394 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 17s | 15494/30000 samples | 1394 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 13s | 15920/30000 samples | 1401 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 12s | 16060/30000 samples | 1401 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 11s | 16169/30000 samples | 1398 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 11s | 16261/30000 samples | 1394 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 11s | 16393/30000 samples | 1393 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 11s | 16486/30000 samples | 1389 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 10s | 16592/30000 samples | 1386 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 11s | 16686/30000 samples | 1382 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 11s | 16686/30000 samples | 1382 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 13s | 16752/30000 samples | 1374 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 14s | 16833/30000 samples | 1369 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 15s | 16913/30000 samples | 1365 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 16s | 16952/30000 samples | 1357 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 19s | 17049/30000 samples | 1342 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 20s | 17115/30000 samples | 1337 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 21s | 17172/30000 samples | 1331 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 23s | 17207/30000 samples | 1323 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 24s | 17240/30000 samples | 1315 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 27s | 17271/30000 samples | 1308 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 29s | 17322/30000 samples | 1301 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 27s | 17392/30000 samples | 1297 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 25s | 17459/30000 samples | 1292 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 26s | 17495/30000 samples | 1285 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 30s | 17511/30000 samples | 1276 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 34s | 17520/30000 samples | 1267 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 37s | 17526/30000 samples | 1258 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 36s | 17559/30000 samples | 1252 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 34s | 17617/30000 samples | 1247 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 38s | 17627/30000 samples | 1238 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 43s | 17659/30000 samples | 1232 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 50s | 17687/30000 samples | 1225 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 59s | 17690/30000 samples | 1217 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 61s | 17698/30000 samples | 1209 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 53s | 17734/30000 samples | 1203 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 42s | 17798/30000 samples | 1199 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 37s | 17861/30000 samples | 1195 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 37s | 17924/30000 samples | 1191 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 37s | 17924/30000 samples | 1191 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 31s | 18011/30000 samples | 1185 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 30s | 18050/30000 samples | 1179 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 28s | 18114/30000 samples | 1175 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 26s | 18141/30000 samples | 1169 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 26s | 18149/30000 samples | 1162 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 28s | 18155/30000 samples | 1154 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 32s | 18165/30000 samples | 1148 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 38s | 18172/30000 samples | 1141 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 46s | 18182/30000 samples | 1134 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 61s | 18192/30000 samples | 1128 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 76s | 18198/30000 samples | 1119 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 76s | 18198/30000 samples | 1119 samples/sAn example execution:12371238[State 0]1239{1240 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1241 schedNoRevoke::scheduler::crashes: 0,1242 schedNoRevoke::scheduler::entry: [],1243 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1244 schedNoRevoke::scheduler::mAssigned: Set(),1245 schedNoRevoke::scheduler::mBuild: Set(),1246 schedNoRevoke::scheduler::mDone: Set(),1247 schedNoRevoke::scheduler::mExpect: Set(),1248 schedNoRevoke::scheduler::mResult: Set(),1249 schedNoRevoke::scheduler::mRetry: Set(),1250 schedNoRevoke::scheduler::mRevoke: Set(),1251 schedNoRevoke::scheduler::mSchedule: Set(),1252 schedNoRevoke::scheduler::published: 0,1253 schedNoRevoke::scheduler::publishedBy: Set(),1254 schedNoRevoke::scheduler::ws:1255 Map(1256 "w1" ->1257 {1258 attached: Set(),1259 built: false,1260 expecting: false,1261 running: false,1262 session: true,1263 up: true1264 },1265 "w2" ->1266 {1267 attached: Set(),1268 built: false,1269 expecting: false,1270 running: false,1271 session: true,1272 up: true1273 }1274 )1275}12761277[State 1]1278{1279 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1280 schedNoRevoke::scheduler::crashes: 0,1281 schedNoRevoke::scheduler::entry: [],1282 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1283 schedNoRevoke::scheduler::mAssigned: Set(),1284 schedNoRevoke::scheduler::mBuild: Set(),1285 schedNoRevoke::scheduler::mDone: Set(),1286 schedNoRevoke::scheduler::mExpect: Set(),1287 schedNoRevoke::scheduler::mResult: Set(),1288 schedNoRevoke::scheduler::mRetry: Set(),1289 schedNoRevoke::scheduler::mRevoke: Set(),1290 schedNoRevoke::scheduler::mSchedule: Set("c2"),1291 schedNoRevoke::scheduler::published: 0,1292 schedNoRevoke::scheduler::publishedBy: Set(),1293 schedNoRevoke::scheduler::ws:1294 Map(1295 "w1" ->1296 {1297 attached: Set(),1298 built: false,1299 expecting: false,1300 running: false,1301 session: true,1302 up: true1303 },1304 "w2" ->1305 {1306 attached: Set(),1307 built: false,1308 expecting: false,1309 running: false,1310 session: true,1311 up: true1312 }1313 )1314}13151316[State 2]1317{1318 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1319 schedNoRevoke::scheduler::crashes: 0,1320 schedNoRevoke::scheduler::entry:1321 [{ followers: Set("c2"), leased: true, worker: "w2" }],1322 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 0),1323 schedNoRevoke::scheduler::mAssigned: Set(("c2", "w2")),1324 schedNoRevoke::scheduler::mBuild: Set(),1325 schedNoRevoke::scheduler::mDone: Set(),1326 schedNoRevoke::scheduler::mExpect: Set("w2"),1327 schedNoRevoke::scheduler::mResult: Set(),1328 schedNoRevoke::scheduler::mRetry: Set(),1329 schedNoRevoke::scheduler::mRevoke: Set(),1330 schedNoRevoke::scheduler::mSchedule: Set(),1331 schedNoRevoke::scheduler::published: 0,1332 schedNoRevoke::scheduler::publishedBy: Set(),1333 schedNoRevoke::scheduler::ws:1334 Map(1335 "w1" ->1336 {1337 attached: Set(),1338 built: false,1339 expecting: false,1340 running: false,1341 session: true,1342 up: true1343 },1344 "w2" ->1345 {1346 attached: Set(),1347 built: false,1348 expecting: false,1349 running: false,1350 session: true,1351 up: true1352 }1353 )1354}13551356[State 3]1357{1358 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1359 schedNoRevoke::scheduler::crashes: 0,1360 schedNoRevoke::scheduler::entry:1361 [{ followers: Set("c2"), leased: true, worker: "w2" }],1362 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 0),1363 schedNoRevoke::scheduler::mAssigned: Set(("c2", "w2")),1364 schedNoRevoke::scheduler::mBuild: Set(),1365 schedNoRevoke::scheduler::mDone: Set(),1366 schedNoRevoke::scheduler::mExpect: Set(),1367 schedNoRevoke::scheduler::mResult: Set(),1368 schedNoRevoke::scheduler::mRetry: Set(),1369 schedNoRevoke::scheduler::mRevoke: Set(),1370 schedNoRevoke::scheduler::mSchedule: Set(),1371 schedNoRevoke::scheduler::published: 0,1372 schedNoRevoke::scheduler::publishedBy: Set(),1373 schedNoRevoke::scheduler::ws:1374 Map(1375 "w1" ->1376 {1377 attached: Set(),1378 built: false,1379 expecting: false,1380 running: false,1381 session: true,1382 up: true1383 },1384 "w2" ->1385 {1386 attached: Set(),1387 built: false,1388 expecting: true,1389 running: true,1390 session: true,1391 up: true1392 }1393 )1394}13951396[State 4]1397{1398 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1399 schedNoRevoke::scheduler::crashes: 1,1400 schedNoRevoke::scheduler::entry: [],1401 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1402 schedNoRevoke::scheduler::mAssigned: Set(),1403 schedNoRevoke::scheduler::mBuild: Set(),1404 schedNoRevoke::scheduler::mDone: Set(),1405 schedNoRevoke::scheduler::mExpect: Set(),1406 schedNoRevoke::scheduler::mResult: Set(),1407 schedNoRevoke::scheduler::mRetry: Set("c2"),1408 schedNoRevoke::scheduler::mRevoke: Set(),1409 schedNoRevoke::scheduler::mSchedule: Set(),1410 schedNoRevoke::scheduler::published: 0,1411 schedNoRevoke::scheduler::publishedBy: Set(),1412 schedNoRevoke::scheduler::ws:1413 Map(1414 "w1" ->1415 {1416 attached: Set(),1417 built: false,1418 expecting: false,1419 running: false,1420 session: false,1421 up: true1422 },1423 "w2" ->1424 {1425 attached: Set(),1426 built: false,1427 expecting: true,1428 running: true,1429 session: false,1430 up: true1431 }1432 )1433}14341435[State 5]1436{1437 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1438 schedNoRevoke::scheduler::crashes: 2,1439 schedNoRevoke::scheduler::entry: [],1440 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1441 schedNoRevoke::scheduler::mAssigned: Set(),1442 schedNoRevoke::scheduler::mBuild: Set(),1443 schedNoRevoke::scheduler::mDone: Set(),1444 schedNoRevoke::scheduler::mExpect: Set(),1445 schedNoRevoke::scheduler::mResult: Set(),1446 schedNoRevoke::scheduler::mRetry: Set("c2"),1447 schedNoRevoke::scheduler::mRevoke: Set(),1448 schedNoRevoke::scheduler::mSchedule: Set(),1449 schedNoRevoke::scheduler::published: 0,1450 schedNoRevoke::scheduler::publishedBy: Set(),1451 schedNoRevoke::scheduler::ws:1452 Map(1453 "w1" ->1454 {1455 attached: Set(),1456 built: false,1457 expecting: false,1458 running: false,1459 session: false,1460 up: false1461 },1462 "w2" ->1463 {1464 attached: Set(),1465 built: false,1466 expecting: true,1467 running: true,1468 session: false,1469 up: true1470 }1471 )1472}14731474[State 6]1475{1476 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1477 schedNoRevoke::scheduler::crashes: 2,1478 schedNoRevoke::scheduler::entry: [],1479 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1480 schedNoRevoke::scheduler::mAssigned: Set(),1481 schedNoRevoke::scheduler::mBuild: Set(),1482 schedNoRevoke::scheduler::mDone: Set(),1483 schedNoRevoke::scheduler::mExpect: Set(),1484 schedNoRevoke::scheduler::mResult: Set(),1485 schedNoRevoke::scheduler::mRetry: Set("c2"),1486 schedNoRevoke::scheduler::mRevoke: Set(),1487 schedNoRevoke::scheduler::mSchedule: Set(),1488 schedNoRevoke::scheduler::published: 0,1489 schedNoRevoke::scheduler::publishedBy: Set(),1490 schedNoRevoke::scheduler::ws:1491 Map(1492 "w1" ->1493 {1494 attached: Set(),1495 built: false,1496 expecting: false,1497 running: false,1498 session: true,1499 up: true1500 },1501 "w2" ->1502 {1503 attached: Set(),1504 built: false,1505 expecting: true,1506 running: true,1507 session: false,1508 up: true1509 }1510 )1511}15121513[State 7]1514{1515 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1516 schedNoRevoke::scheduler::crashes: 2,1517 schedNoRevoke::scheduler::entry: [],1518 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1519 schedNoRevoke::scheduler::mAssigned: Set(),1520 schedNoRevoke::scheduler::mBuild: Set(),1521 schedNoRevoke::scheduler::mDone: Set(),1522 schedNoRevoke::scheduler::mExpect: Set(),1523 schedNoRevoke::scheduler::mResult: Set(),1524 schedNoRevoke::scheduler::mRetry: Set("c2"),1525 schedNoRevoke::scheduler::mRevoke: Set(),1526 schedNoRevoke::scheduler::mSchedule: Set("c1"),1527 schedNoRevoke::scheduler::published: 0,1528 schedNoRevoke::scheduler::publishedBy: Set(),1529 schedNoRevoke::scheduler::ws:1530 Map(1531 "w1" ->1532 {1533 attached: Set(),1534 built: false,1535 expecting: false,1536 running: false,1537 session: true,1538 up: true1539 },1540 "w2" ->1541 {1542 attached: Set(),1543 built: false,1544 expecting: true,1545 running: true,1546 session: false,1547 up: true1548 }1549 )1550}15511552[State 8]1553{1554 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1555 schedNoRevoke::scheduler::crashes: 2,1556 schedNoRevoke::scheduler::entry:1557 [{ followers: Set("c1"), leased: true, worker: "w1" }],1558 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 1),1559 schedNoRevoke::scheduler::mAssigned: Set(("c1", "w1")),1560 schedNoRevoke::scheduler::mBuild: Set(),1561 schedNoRevoke::scheduler::mDone: Set(),1562 schedNoRevoke::scheduler::mExpect: Set("w1"),1563 schedNoRevoke::scheduler::mResult: Set(),1564 schedNoRevoke::scheduler::mRetry: Set("c2"),1565 schedNoRevoke::scheduler::mRevoke: Set(),1566 schedNoRevoke::scheduler::mSchedule: Set(),1567 schedNoRevoke::scheduler::published: 0,1568 schedNoRevoke::scheduler::publishedBy: Set(),1569 schedNoRevoke::scheduler::ws:1570 Map(1571 "w1" ->1572 {1573 attached: Set(),1574 built: false,1575 expecting: false,1576 running: false,1577 session: true,1578 up: true1579 },1580 "w2" ->1581 {1582 attached: Set(),1583 built: false,1584 expecting: true,1585 running: true,1586 session: false,1587 up: true1588 }1589 )1590}15911592[State 9]1593{1594 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1595 schedNoRevoke::scheduler::crashes: 2,1596 schedNoRevoke::scheduler::entry:1597 [{ followers: Set("c1"), leased: true, worker: "w1" }],1598 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 0),1599 schedNoRevoke::scheduler::mAssigned: Set(("c1", "w1")),1600 schedNoRevoke::scheduler::mBuild: Set(),1601 schedNoRevoke::scheduler::mDone: Set(),1602 schedNoRevoke::scheduler::mExpect: Set("w1"),1603 schedNoRevoke::scheduler::mResult: Set(),1604 schedNoRevoke::scheduler::mRetry: Set("c2"),1605 schedNoRevoke::scheduler::mRevoke: Set(),1606 schedNoRevoke::scheduler::mSchedule: Set(),1607 schedNoRevoke::scheduler::published: 0,1608 schedNoRevoke::scheduler::publishedBy: Set(),1609 schedNoRevoke::scheduler::ws:1610 Map(1611 "w1" ->1612 {1613 attached: Set(),1614 built: false,1615 expecting: false,1616 running: false,1617 session: true,1618 up: true1619 },1620 "w2" ->1621 {1622 attached: Set(),1623 built: false,1624 expecting: true,1625 running: true,1626 session: true,1627 up: true1628 }1629 )1630}16311632[State 10]1633{1634 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1635 schedNoRevoke::scheduler::crashes: 2,1636 schedNoRevoke::scheduler::entry:1637 [{ followers: Set("c1"), leased: true, worker: "w1" }],1638 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 0),1639 schedNoRevoke::scheduler::mAssigned: Set(("c1", "w1")),1640 schedNoRevoke::scheduler::mBuild: Set(),1641 schedNoRevoke::scheduler::mDone: Set(),1642 schedNoRevoke::scheduler::mExpect: Set(),1643 schedNoRevoke::scheduler::mResult: Set(),1644 schedNoRevoke::scheduler::mRetry: Set("c2"),1645 schedNoRevoke::scheduler::mRevoke: Set(),1646 schedNoRevoke::scheduler::mSchedule: Set(),1647 schedNoRevoke::scheduler::published: 0,1648 schedNoRevoke::scheduler::publishedBy: Set(),1649 schedNoRevoke::scheduler::ws:1650 Map(1651 "w1" ->1652 {1653 attached: Set(),1654 built: false,1655 expecting: true,1656 running: true,1657 session: true,1658 up: true1659 },1660 "w2" ->1661 {1662 attached: Set(),1663 built: false,1664 expecting: true,1665 running: true,1666 session: true,1667 up: true1668 }1669 )1670}16711672[violation] Found an issue (16794ms at 1084 traces/second).1673Use --verbosity=3 to show executions.1674Use --seed=0x98701ac5d366e44d --backend=rust to reproduce.1675error: Invariant violated1676Running... [ ] 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... [ ] 0% | ETA: 1405s | 12/30000 samples | 28 samples/sRunning... [ ] 0% | ETA: 235s | 85/30000 samples | 159 samples/sRunning... [ ] 0% | ETA: 112s | 206/30000 samples | 324 samples/sRunning... [ ] 0% | ETA: 87s | 295/30000 samples | 404 samples/sRunning... [■ ] 1% | ETA: 67s | 431/30000 samples | 518 samples/sRunning... [■ ] 2% | ETA: 51s | 622/30000 samples | 667 samples/sRunning... [■ ] 2% | ETA: 51s | 622/30000 samples | 667 samples/sRunning... [■ ] 2% | ETA: 42s | 851/30000 samples | 781 samples/sRunning... [■ ] 3% | ETA: 38s | 1016/30000 samples | 853 samples/sRunning... [■■ ] 3% | ETA: 36s | 1162/30000 samples | 898 samples/sRunning... [■■ ] 4% | ETA: 22s | 1335/30000 samples | 952 samples/sRunning... [■■ ] 5% | ETA: 20s | 1506/30000 samples | 997 samples/sRunning... [■■ ] 5% | ETA: 19s | 1681/30000 samples | 1043 samples/sRunning... [■■■ ] 6% | ETA: 18s | 1878/30000 samples | 1094 samples/sRunning... [■■■ ] 6% | ETA: 18s | 2053/30000 samples | 1129 samples/sRunning... [■■■ ] 7% | ETA: 17s | 2261/30000 samples | 1178 samples/sRunning... [■■■ ] 8% | ETA: 17s | 2429/30000 samples | 1202 samples/sRunning... [■■■ ] 8% | ETA: 17s | 2575/30000 samples | 1208 samples/sRunning... [■■■■ ] 9% | ETA: 17s | 2704/30000 samples | 1213 samples/sRunning... [■■■■ ] 9% | ETA: 17s | 2846/30000 samples | 1221 samples/sRunning... [■■■■ ] 10% | ETA: 17s | 3003/30000 samples | 1230 samples/sRunning... [■■■■ ] 10% | ETA: 18s | 3147/30000 samples | 1238 samples/sRunning... [■■■■ ] 10% | ETA: 18s | 3287/30000 samples | 1244 samples/sRunning... [■■■■■ ] 11% | ETA: 19s | 3386/30000 samples | 1234 samples/sRunning... [■■■■■ ] 11% | ETA: 20s | 3497/30000 samples | 1229 samples/sRunning... [■■■■■ ] 12% | ETA: 21s | 3630/30000 samples | 1232 samples/sRunning... [■■■■■ ] 12% | ETA: 21s | 3774/30000 samples | 1238 samples/sRunning... [■■■■■ ] 12% | ETA: 21s | 3879/30000 samples | 1232 samples/sRunning... [■■■■■ ] 13% | ETA: 21s | 4000/30000 samples | 1231 samples/sRunning... [■■■■■ ] 13% | ETA: 22s | 4112/30000 samples | 1227 samples/sRunning... [■■■■■■ ] 14% | ETA: 21s | 4298/30000 samples | 1244 samples/sRunning... [■■■■■■ ] 15% | ETA: 19s | 4524/30000 samples | 1270 samples/sRunning... [■■■■■■ ] 15% | ETA: 19s | 4679/30000 samples | 1277 samples/sRunning... [■■■■■■ ] 16% | ETA: 18s | 4826/30000 samples | 1282 samples/sRunning... [■■■■■■■ ] 16% | ETA: 18s | 4932/30000 samples | 1276 samples/sRunning... [■■■■■■■ ] 16% | ETA: 18s | 5046/30000 samples | 1273 samples/sRunning... [■■■■■■■ ] 17% | ETA: 18s | 5224/30000 samples | 1283 samples/sRunning... [■■■■■■■ ] 18% | ETA: 17s | 5411/30000 samples | 1295 samples/sRunning... [■■■■■■■■ ] 18% | ETA: 17s | 5659/30000 samples | 1293 samples/sRunning... [■■■■■■■■ ] 18% | ETA: 17s | 5659/30000 samples | 1293 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 20s | 5826/30000 samples | 1271 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 20s | 5826/30000 samples | 1271 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 21s | 5961/30000 samples | 1263 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 20s | 6099/30000 samples | 1266 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 19s | 6279/30000 samples | 1277 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 18s | 6516/30000 samples | 1299 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 17s | 6777/30000 samples | 1323 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 15s | 7080/30000 samples | 1350 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 14s | 7294/30000 samples | 1365 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 13s | 7458/30000 samples | 1370 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 14s | 7589/30000 samples | 1352 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 14s | 7643/30000 samples | 1339 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 14s | 7682/30000 samples | 1323 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 16s | 7727/30000 samples | 1308 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 18s | 7795/30000 samples | 1295 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 20s | 7905/30000 samples | 1292 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 25s | 7960/30000 samples | 1280 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 31s | 8005/30000 samples | 1266 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 34s | 8112/30000 samples | 1260 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 38s | 8151/30000 samples | 1240 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 35s | 8246/30000 samples | 1237 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 31s | 8369/30000 samples | 1237 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 27s | 8491/30000 samples | 1237 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 27s | 8557/30000 samples | 1228 samples/sRunning... [■■■■■■■■■■■■ ] 28% | ETA: 27s | 8664/30000 samples | 1225 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 27s | 8725/30000 samples | 1215 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 28s | 8747/30000 samples | 1201 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 31s | 8763/30000 samples | 1187 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 30s | 8805/30000 samples | 1177 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 33s | 8837/30000 samples | 1165 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 40s | 8858/30000 samples | 1153 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 51s | 8877/30000 samples | 1140 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 57s | 8898/30000 samples | 1128 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 73s | 8929/30000 samples | 1118 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 82s | 8960/30000 samples | 1108 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 73s | 9014/30000 samples | 1100 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 60s | 9084/30000 samples | 1094 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 64s | 9119/30000 samples | 1082 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 64s | 9148/30000 samples | 1073 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 57s | 9201/30000 samples | 1068 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 55s | 9233/30000 samples | 1059 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 54s | 9263/30000 samples | 1050 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 54s | 9263/30000 samples | 1050 samples/sRunning... [■■■■■■■■■■■■ ] 31% | ETA: 54s | 9305/30000 samples | 1038 samples/sRunning... [■■■■■■■■■■■■ ] 31% | ETA: 57s | 9322/30000 samples | 1027 samples/sRunning... [■■■■■■■■■■■■ ] 31% | ETA: 61s | 9343/30000 samples | 1020 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 58s | 9465/30000 samples | 1007 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 63s | 9474/30000 samples | 996 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 70s | 9492/30000 samples | 988 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 73s | 9511/30000 samples | 980 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 73s | 9511/30000 samples | 980 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 75s | 9550/30000 samples | 969 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 81s | 9560/30000 samples | 959 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 80s | 9575/30000 samples | 951 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 71s | 9633/30000 samples | 947 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 76s | 9653/30000 samples | 940 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 104s | 9655/30000 samples | 931 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 105s | 9660/30000 samples | 923 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 113s | 9666/30000 samples | 914 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 121s | 9674/30000 samples | 906 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 145s | 9679/30000 samples | 898 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 140s | 9694/30000 samples | 890 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 148s | 9702/30000 samples | 883 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 243s | 9711/30000 samples | 875 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 242s | 9731/30000 samples | 869 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 222s | 9741/30000 samples | 861 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 212s | 9750/30000 samples | 855 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 214s | 9755/30000 samples | 848 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 221s | 9760/30000 samples | 841 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 229s | 9763/30000 samples | 832 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 262s | 9767/30000 samples | 826 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 250s | 9778/30000 samples | 820 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 242s | 9789/30000 samples | 814 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 270s | 9801/30000 samples | 808 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 253s | 9815/30000 samples | 802 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 253s | 9824/30000 samples | 796 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 169s | 9866/30000 samples | 793 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 172s | 9869/30000 samples | 787 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 168s | 9873/30000 samples | 781 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 172s | 9875/30000 samples | 774 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 188s | 9877/30000 samples | 768 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 209s | 9878/30000 samples | 762 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 237s | 9882/30000 samples | 755 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 282s | 9883/30000 samples | 749 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 315s | 9885/30000 samples | 744 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 835s | 9889/30000 samples | 738 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 873s | 9891/30000 samples | 733 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 953s | 9893/30000 samples | 728 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 864s | 9897/30000 samples | 723 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 866s | 9899/30000 samples | 717 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 826s | 9901/30000 samples | 712 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 839s | 9904/30000 samples | 707 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 802s | 9906/30000 samples | 702 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 842s | 9908/30000 samples | 695 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 923s | 9910/30000 samples | 690 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 921s | 9912/30000 samples | 686 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 925s | 9914/30000 samples | 681 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 885s | 9919/30000 samples | 676 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 644s | 9929/30000 samples | 673 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 667s | 9930/30000 samples | 668 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 709s | 9932/30000 samples | 662 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 667s | 9936/30000 samples | 658 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 596s | 9940/30000 samples | 654 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 595s | 9942/30000 samples | 650 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 615s | 9943/30000 samples | 645 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 620s | 9945/30000 samples | 641 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 711s | 9946/30000 samples | 637 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1015s | 9948/30000 samples | 633 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1015s | 9948/30000 samples | 633 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1014s | 9951/30000 samples | 625 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 989s | 9953/30000 samples | 621 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1084s | 9955/30000 samples | 617 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1084s | 9955/30000 samples | 617 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1412s | 9956/30000 samples | 610 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1412s | 9956/30000 samples | 610 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1368s | 9960/30000 samples | 603 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1293s | 9963/30000 samples | 597 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1293s | 9963/30000 samples | 597 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1281s | 9965/30000 samples | 593 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1163s | 9968/30000 samples | 590 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1064s | 9972/30000 samples | 587 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1023s | 9974/30000 samples | 583 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 871s | 9980/30000 samples | 580 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 871s | 9982/30000 samples | 577 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 871s | 9982/30000 samples | 577 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 871s | 9983/30000 samples | 570 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 871s | 9983/30000 samples | 570 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 868s | 9989/30000 samples | 561 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 910s | 9990/30000 samples | 557 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 876s | 9994/30000 samples | 554 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 943s | 9996/30000 samples | 551 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 909s | 9999/30000 samples | 548 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 981s | 10003/30000 samples | 546 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 980s | 10005/30000 samples | 543 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 824s | 10008/30000 samples | 540 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 715s | 10010/30000 samples | 537 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 703s | 10015/30000 samples | 535 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 669s | 10017/30000 samples | 532 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 685s | 10021/30000 samples | 528 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 716s | 10022/30000 samples | 526 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 740s | 10024/30000 samples | 523 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 849s | 10025/30000 samples | 520 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 849s | 10025/30000 samples | 520 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 849s | 10025/30000 samples | 520 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 849s | 10025/30000 samples | 520 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 849s | 10025/30000 samples | 520 samples/sAn example execution:16771678[State 0]1679{1680 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1681 schedNoFence::scheduler::crashes: 0,1682 schedNoFence::scheduler::entry: [],1683 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1684 schedNoFence::scheduler::mAssigned: Set(),1685 schedNoFence::scheduler::mBuild: Set(),1686 schedNoFence::scheduler::mDone: Set(),1687 schedNoFence::scheduler::mExpect: Set(),1688 schedNoFence::scheduler::mResult: Set(),1689 schedNoFence::scheduler::mRetry: Set(),1690 schedNoFence::scheduler::mRevoke: Set(),1691 schedNoFence::scheduler::mSchedule: Set(),1692 schedNoFence::scheduler::published: 0,1693 schedNoFence::scheduler::publishedBy: Set(),1694 schedNoFence::scheduler::ws:1695 Map(1696 "w1" ->1697 {1698 attached: Set(),1699 built: false,1700 expecting: false,1701 running: false,1702 session: true,1703 up: true1704 },1705 "w2" ->1706 {1707 attached: Set(),1708 built: false,1709 expecting: false,1710 running: false,1711 session: true,1712 up: true1713 }1714 )1715}17161717[State 1]1718{1719 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1720 schedNoFence::scheduler::crashes: 1,1721 schedNoFence::scheduler::entry: [],1722 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1723 schedNoFence::scheduler::mAssigned: Set(),1724 schedNoFence::scheduler::mBuild: Set(),1725 schedNoFence::scheduler::mDone: Set(),1726 schedNoFence::scheduler::mExpect: Set(),1727 schedNoFence::scheduler::mResult: Set(),1728 schedNoFence::scheduler::mRetry: Set(),1729 schedNoFence::scheduler::mRevoke: Set(),1730 schedNoFence::scheduler::mSchedule: Set(),1731 schedNoFence::scheduler::published: 0,1732 schedNoFence::scheduler::publishedBy: Set(),1733 schedNoFence::scheduler::ws:1734 Map(1735 "w1" ->1736 {1737 attached: Set(),1738 built: false,1739 expecting: false,1740 running: false,1741 session: false,1742 up: false1743 },1744 "w2" ->1745 {1746 attached: Set(),1747 built: false,1748 expecting: false,1749 running: false,1750 session: true,1751 up: true1752 }1753 )1754}17551756[State 2]1757{1758 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1759 schedNoFence::scheduler::crashes: 1,1760 schedNoFence::scheduler::entry: [],1761 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1762 schedNoFence::scheduler::mAssigned: Set(),1763 schedNoFence::scheduler::mBuild: Set(),1764 schedNoFence::scheduler::mDone: Set(),1765 schedNoFence::scheduler::mExpect: Set(),1766 schedNoFence::scheduler::mResult: Set(),1767 schedNoFence::scheduler::mRetry: Set(),1768 schedNoFence::scheduler::mRevoke: Set(),1769 schedNoFence::scheduler::mSchedule: Set("c1"),1770 schedNoFence::scheduler::published: 0,1771 schedNoFence::scheduler::publishedBy: Set(),1772 schedNoFence::scheduler::ws:1773 Map(1774 "w1" ->1775 {1776 attached: Set(),1777 built: false,1778 expecting: false,1779 running: false,1780 session: false,1781 up: false1782 },1783 "w2" ->1784 {1785 attached: Set(),1786 built: false,1787 expecting: false,1788 running: false,1789 session: true,1790 up: true1791 }1792 )1793}17941795[State 3]1796{1797 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1798 schedNoFence::scheduler::crashes: 1,1799 schedNoFence::scheduler::entry:1800 [{ followers: Set("c1"), leased: true, worker: "w2" }],1801 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1802 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),1803 schedNoFence::scheduler::mBuild: Set(),1804 schedNoFence::scheduler::mDone: Set(),1805 schedNoFence::scheduler::mExpect: Set("w2"),1806 schedNoFence::scheduler::mResult: Set(),1807 schedNoFence::scheduler::mRetry: Set(),1808 schedNoFence::scheduler::mRevoke: Set(),1809 schedNoFence::scheduler::mSchedule: Set(),1810 schedNoFence::scheduler::published: 0,1811 schedNoFence::scheduler::publishedBy: Set(),1812 schedNoFence::scheduler::ws:1813 Map(1814 "w1" ->1815 {1816 attached: Set(),1817 built: false,1818 expecting: false,1819 running: false,1820 session: false,1821 up: false1822 },1823 "w2" ->1824 {1825 attached: Set(),1826 built: false,1827 expecting: false,1828 running: false,1829 session: true,1830 up: true1831 }1832 )1833}18341835[State 4]1836{1837 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1838 schedNoFence::scheduler::crashes: 1,1839 schedNoFence::scheduler::entry:1840 [{ followers: Set("c1"), leased: true, worker: "w2" }],1841 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1842 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),1843 schedNoFence::scheduler::mBuild: Set(),1844 schedNoFence::scheduler::mDone: Set(),1845 schedNoFence::scheduler::mExpect: Set("w2"),1846 schedNoFence::scheduler::mResult: Set(),1847 schedNoFence::scheduler::mRetry: Set(),1848 schedNoFence::scheduler::mRevoke: Set(),1849 schedNoFence::scheduler::mSchedule: Set(),1850 schedNoFence::scheduler::published: 0,1851 schedNoFence::scheduler::publishedBy: Set(),1852 schedNoFence::scheduler::ws:1853 Map(1854 "w1" ->1855 {1856 attached: Set(),1857 built: false,1858 expecting: false,1859 running: false,1860 session: true,1861 up: true1862 },1863 "w2" ->1864 {1865 attached: Set(),1866 built: false,1867 expecting: false,1868 running: false,1869 session: true,1870 up: true1871 }1872 )1873}18741875[State 5]1876{1877 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1878 schedNoFence::scheduler::crashes: 1,1879 schedNoFence::scheduler::entry:1880 [{ followers: Set("c1"), leased: true, worker: "w2" }],1881 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1882 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),1883 schedNoFence::scheduler::mBuild: Set(),1884 schedNoFence::scheduler::mDone: Set(),1885 schedNoFence::scheduler::mExpect: Set(),1886 schedNoFence::scheduler::mResult: Set(),1887 schedNoFence::scheduler::mRetry: Set(),1888 schedNoFence::scheduler::mRevoke: Set(),1889 schedNoFence::scheduler::mSchedule: Set(),1890 schedNoFence::scheduler::published: 0,1891 schedNoFence::scheduler::publishedBy: Set(),1892 schedNoFence::scheduler::ws:1893 Map(1894 "w1" ->1895 {1896 attached: Set(),1897 built: false,1898 expecting: false,1899 running: false,1900 session: true,1901 up: true1902 },1903 "w2" ->1904 {1905 attached: Set(),1906 built: false,1907 expecting: true,1908 running: true,1909 session: true,1910 up: true1911 }1912 )1913}19141915[State 6]1916{1917 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1918 schedNoFence::scheduler::crashes: 2,1919 schedNoFence::scheduler::entry: [],1920 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1921 schedNoFence::scheduler::mAssigned: Set(),1922 schedNoFence::scheduler::mBuild: Set(),1923 schedNoFence::scheduler::mDone: Set(),1924 schedNoFence::scheduler::mExpect: Set(),1925 schedNoFence::scheduler::mResult: Set(),1926 schedNoFence::scheduler::mRetry: Set("c1"),1927 schedNoFence::scheduler::mRevoke: Set(),1928 schedNoFence::scheduler::mSchedule: Set(),1929 schedNoFence::scheduler::published: 0,1930 schedNoFence::scheduler::publishedBy: Set(),1931 schedNoFence::scheduler::ws:1932 Map(1933 "w1" ->1934 {1935 attached: Set(),1936 built: false,1937 expecting: false,1938 running: false,1939 session: false,1940 up: true1941 },1942 "w2" ->1943 {1944 attached: Set(),1945 built: false,1946 expecting: true,1947 running: true,1948 session: false,1949 up: true1950 }1951 )1952}19531954[State 7]1955{1956 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1957 schedNoFence::scheduler::crashes: 2,1958 schedNoFence::scheduler::entry: [],1959 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1960 schedNoFence::scheduler::mAssigned: Set(),1961 schedNoFence::scheduler::mBuild: Set(),1962 schedNoFence::scheduler::mDone: Set(),1963 schedNoFence::scheduler::mExpect: Set(),1964 schedNoFence::scheduler::mResult: Set(),1965 schedNoFence::scheduler::mRetry: Set("c1"),1966 schedNoFence::scheduler::mRevoke: Set(),1967 schedNoFence::scheduler::mSchedule: Set("c2"),1968 schedNoFence::scheduler::published: 0,1969 schedNoFence::scheduler::publishedBy: Set(),1970 schedNoFence::scheduler::ws:1971 Map(1972 "w1" ->1973 {1974 attached: Set(),1975 built: false,1976 expecting: false,1977 running: false,1978 session: false,1979 up: true1980 },1981 "w2" ->1982 {1983 attached: Set(),1984 built: false,1985 expecting: true,1986 running: true,1987 session: false,1988 up: true1989 }1990 )1991}19921993[State 8]1994{1995 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1996 schedNoFence::scheduler::crashes: 2,1997 schedNoFence::scheduler::entry: [],1998 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1999 schedNoFence::scheduler::mAssigned: Set(),2000 schedNoFence::scheduler::mBuild: Set(),2001 schedNoFence::scheduler::mDone: Set(),2002 schedNoFence::scheduler::mExpect: Set(),2003 schedNoFence::scheduler::mResult: Set(),2004 schedNoFence::scheduler::mRetry: Set("c1"),2005 schedNoFence::scheduler::mRevoke: Set(),2006 schedNoFence::scheduler::mSchedule: Set("c2"),2007 schedNoFence::scheduler::published: 0,2008 schedNoFence::scheduler::publishedBy: Set(),2009 schedNoFence::scheduler::ws:2010 Map(2011 "w1" ->2012 {2013 attached: Set(),2014 built: false,2015 expecting: false,2016 running: false,2017 session: true,2018 up: true2019 },2020 "w2" ->2021 {2022 attached: Set(),2023 built: false,2024 expecting: true,2025 running: true,2026 session: false,2027 up: true2028 }2029 )2030}20312032[State 9]2033{2034 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2035 schedNoFence::scheduler::crashes: 2,2036 schedNoFence::scheduler::entry: [],2037 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2038 schedNoFence::scheduler::mAssigned: Set(),2039 schedNoFence::scheduler::mBuild: Set(),2040 schedNoFence::scheduler::mDone: Set(),2041 schedNoFence::scheduler::mExpect: Set(),2042 schedNoFence::scheduler::mResult: Set(),2043 schedNoFence::scheduler::mRetry: Set(),2044 schedNoFence::scheduler::mRevoke: Set(),2045 schedNoFence::scheduler::mSchedule: Set("c1", "c2"),2046 schedNoFence::scheduler::published: 0,2047 schedNoFence::scheduler::publishedBy: Set(),2048 schedNoFence::scheduler::ws:2049 Map(2050 "w1" ->2051 {2052 attached: Set(),2053 built: false,2054 expecting: false,2055 running: false,2056 session: true,2057 up: true2058 },2059 "w2" ->2060 {2061 attached: Set(),2062 built: false,2063 expecting: true,2064 running: true,2065 session: false,2066 up: true2067 }2068 )2069}20702071[State 10]2072{2073 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2074 schedNoFence::scheduler::crashes: 2,2075 schedNoFence::scheduler::entry:2076 [{ followers: Set("c1"), leased: true, worker: "w1" }],2077 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2078 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),2079 schedNoFence::scheduler::mBuild: Set(),2080 schedNoFence::scheduler::mDone: Set(),2081 schedNoFence::scheduler::mExpect: Set("w1"),2082 schedNoFence::scheduler::mResult: Set(),2083 schedNoFence::scheduler::mRetry: Set(),2084 schedNoFence::scheduler::mRevoke: Set(),2085 schedNoFence::scheduler::mSchedule: Set("c2"),2086 schedNoFence::scheduler::published: 0,2087 schedNoFence::scheduler::publishedBy: Set(),2088 schedNoFence::scheduler::ws:2089 Map(2090 "w1" ->2091 {2092 attached: Set(),2093 built: false,2094 expecting: false,2095 running: false,2096 session: true,2097 up: true2098 },2099 "w2" ->2100 {2101 attached: Set(),2102 built: false,2103 expecting: true,2104 running: true,2105 session: false,2106 up: true2107 }2108 )2109}21102111[State 11]2112{2113 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2114 schedNoFence::scheduler::crashes: 2,2115 schedNoFence::scheduler::entry:2116 [{ followers: Set("c1"), leased: true, worker: "w1" }],2117 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2118 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),2119 schedNoFence::scheduler::mBuild: Set(),2120 schedNoFence::scheduler::mDone: Set(),2121 schedNoFence::scheduler::mExpect: Set("w1"),2122 schedNoFence::scheduler::mResult: Set(),2123 schedNoFence::scheduler::mRetry: Set(),2124 schedNoFence::scheduler::mRevoke: Set(),2125 schedNoFence::scheduler::mSchedule: Set("c2"),2126 schedNoFence::scheduler::published: 1,2127 schedNoFence::scheduler::publishedBy: Set("w2"),2128 schedNoFence::scheduler::ws:2129 Map(2130 "w1" ->2131 {2132 attached: Set(),2133 built: false,2134 expecting: false,2135 running: false,2136 session: true,2137 up: true2138 },2139 "w2" ->2140 {2141 attached: Set(),2142 built: true,2143 expecting: false,2144 running: false,2145 session: false,2146 up: true2147 }2148 )2149}21502151[State 12]2152{2153 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2154 schedNoFence::scheduler::crashes: 2,2155 schedNoFence::scheduler::entry:2156 [{ followers: Set("c1"), leased: true, worker: "w1" }],2157 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2158 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),2159 schedNoFence::scheduler::mBuild: Set(),2160 schedNoFence::scheduler::mDone: Set(),2161 schedNoFence::scheduler::mExpect: Set(),2162 schedNoFence::scheduler::mResult: Set(),2163 schedNoFence::scheduler::mRetry: Set(),2164 schedNoFence::scheduler::mRevoke: Set(),2165 schedNoFence::scheduler::mSchedule: Set("c2"),2166 schedNoFence::scheduler::published: 1,2167 schedNoFence::scheduler::publishedBy: Set("w2"),2168 schedNoFence::scheduler::ws:2169 Map(2170 "w1" ->2171 {2172 attached: Set(),2173 built: false,2174 expecting: true,2175 running: true,2176 session: true,2177 up: true2178 },2179 "w2" ->2180 {2181 attached: Set(),2182 built: true,2183 expecting: false,2184 running: false,2185 session: false,2186 up: true2187 }2188 )2189}21902191[State 13]2192{2193 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2194 schedNoFence::scheduler::crashes: 2,2195 schedNoFence::scheduler::entry:2196 [{ followers: Set("c1"), leased: true, worker: "w1" }],2197 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2198 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),2199 schedNoFence::scheduler::mBuild: Set(),2200 schedNoFence::scheduler::mDone: Set("w1"),2201 schedNoFence::scheduler::mExpect: Set(),2202 schedNoFence::scheduler::mResult: Set(),2203 schedNoFence::scheduler::mRetry: Set(),2204 schedNoFence::scheduler::mRevoke: Set(),2205 schedNoFence::scheduler::mSchedule: Set("c2"),2206 schedNoFence::scheduler::published: 2,2207 schedNoFence::scheduler::publishedBy: Set("w1", "w2"),2208 schedNoFence::scheduler::ws:2209 Map(2210 "w1" ->2211 {2212 attached: Set(),2213 built: true,2214 expecting: false,2215 running: false,2216 session: true,2217 up: true2218 },2219 "w2" ->2220 {2221 attached: Set(),2222 built: true,2223 expecting: false,2224 running: false,2225 session: false,2226 up: true2227 }2228 )2229}22302231[violation] Found an issue (20738ms at 483 traces/second).2232Use --verbosity=3 to show executions.2233Use --seed=0xad7774de309e096a --backend=rust to reproduce.2234error: Invariant violated2235Running... [ ] 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... [ ] 0% | ETA: 115s | 79/30000 samples | 266 samples/sRunning... [ ] 0% | ETA: 52s | 241/30000 samples | 578 samples/sRunning... [ ] 1% | ETA: 47s | 339/30000 samples | 640 samples/sRunning... [■ ] 1% | ETA: 42s | 444/30000 samples | 716 samples/sRunning... [■ ] 2% | ETA: 35s | 613/30000 samples | 844 samples/sRunning... [■ ] 2% | ETA: 34s | 721/30000 samples | 878 samples/sRunning... [■ ] 2% | ETA: 34s | 813/30000 samples | 879 samples/sRunning... [■ ] 3% | ETA: 34s | 905/30000 samples | 875 samples/sRunning... [■ ] 3% | ETA: 34s | 981/30000 samples | 869 samples/sRunning... [■ ] 3% | ETA: 29s | 1040/30000 samples | 847 samples/sRunning... [■ ] 3% | ETA: 31s | 1100/30000 samples | 824 samples/sRunning... [■■ ] 3% | ETA: 33s | 1135/30000 samples | 789 samples/sRunning... [■■ ] 3% | ETA: 37s | 1174/30000 samples | 759 samples/sRunning... [■■ ] 3% | ETA: 45s | 1196/30000 samples | 732 samples/sRunning... [■■ ] 4% | ETA: 51s | 1248/30000 samples | 717 samples/sRunning... [■■ ] 4% | ETA: 59s | 1260/30000 samples | 684 samples/sRunning... [■■ ] 4% | ETA: 70s | 1281/30000 samples | 658 samples/sRunning... [■■ ] 4% | ETA: 84s | 1300/30000 samples | 633 samples/sRunning... [■■ ] 4% | ETA: 96s | 1318/30000 samples | 612 samples/sRunning... [■■ ] 4% | ETA: 113s | 1335/30000 samples | 591 samples/sRunning... [■■ ] 4% | ETA: 125s | 1346/30000 samples | 571 samples/sRunning... [■■ ] 4% | ETA: 148s | 1351/30000 samples | 550 samples/sRunning... [■■ ] 4% | ETA: 164s | 1358/30000 samples | 531 samples/sRunning... [■■ ] 4% | ETA: 234s | 1361/30000 samples | 511 samples/sRunning... [■■ ] 4% | ETA: 251s | 1365/30000 samples | 494 samples/sRunning... [■■ ] 4% | ETA: 300s | 1369/30000 samples | 478 samples/sRunning... [■■ ] 4% | ETA: 370s | 1371/30000 samples | 462 samples/sRunning... [■■ ] 4% | ETA: 370s | 1371/30000 samples | 462 samples/sRunning... [■■ ] 4% | ETA: 550s | 1373/30000 samples | 428 samples/sRunning... [■■ ] 4% | ETA: 772s | 1374/30000 samples | 415 samples/sRunning... [■■ ] 4% | ETA: 772s | 1374/30000 samples | 415 samples/sRunning... [■■ ] 4% | ETA: 1100s | 1376/30000 samples | 392 samples/sRunning... [■■ ] 4% | ETA: 1100s | 1376/30000 samples | 392 samples/sRunning... [■■ ] 4% | ETA: 1100s | 1376/30000 samples | 392 samples/sRunning... [■■ ] 4% | ETA: 1100s | 1376/30000 samples | 392 samples/sRunning... [■■ ] 4% | ETA: 1100s | 1376/30000 samples | 392 samples/sRunning... [■■ ] 4% | ETA: 1100s | 1376/30000 samples | 392 samples/sAn example execution:22362237[State 0]2238{2239 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2240 schedNoPush::scheduler::crashes: 0,2241 schedNoPush::scheduler::entry: [],2242 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2243 schedNoPush::scheduler::mAssigned: Set(),2244 schedNoPush::scheduler::mBuild: Set(),2245 schedNoPush::scheduler::mDone: Set(),2246 schedNoPush::scheduler::mExpect: Set(),2247 schedNoPush::scheduler::mResult: Set(),2248 schedNoPush::scheduler::mRetry: Set(),2249 schedNoPush::scheduler::mRevoke: Set(),2250 schedNoPush::scheduler::mSchedule: Set(),2251 schedNoPush::scheduler::published: 0,2252 schedNoPush::scheduler::publishedBy: Set(),2253 schedNoPush::scheduler::ws:2254 Map(2255 "w1" ->2256 {2257 attached: Set(),2258 built: false,2259 expecting: false,2260 running: false,2261 session: true,2262 up: true2263 },2264 "w2" ->2265 {2266 attached: Set(),2267 built: false,2268 expecting: false,2269 running: false,2270 session: true,2271 up: true2272 }2273 )2274}22752276[State 1]2277{2278 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2279 schedNoPush::scheduler::crashes: 0,2280 schedNoPush::scheduler::entry: [],2281 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2282 schedNoPush::scheduler::mAssigned: Set(),2283 schedNoPush::scheduler::mBuild: Set(),2284 schedNoPush::scheduler::mDone: Set(),2285 schedNoPush::scheduler::mExpect: Set(),2286 schedNoPush::scheduler::mResult: Set(),2287 schedNoPush::scheduler::mRetry: Set(),2288 schedNoPush::scheduler::mRevoke: Set(),2289 schedNoPush::scheduler::mSchedule: Set("c2"),2290 schedNoPush::scheduler::published: 0,2291 schedNoPush::scheduler::publishedBy: Set(),2292 schedNoPush::scheduler::ws:2293 Map(2294 "w1" ->2295 {2296 attached: Set(),2297 built: false,2298 expecting: false,2299 running: false,2300 session: true,2301 up: true2302 },2303 "w2" ->2304 {2305 attached: Set(),2306 built: false,2307 expecting: false,2308 running: false,2309 session: true,2310 up: true2311 }2312 )2313}23142315[State 2]2316{2317 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2318 schedNoPush::scheduler::crashes: 0,2319 schedNoPush::scheduler::entry:2320 [{ followers: Set("c2"), leased: true, worker: "w1" }],2321 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),2322 schedNoPush::scheduler::mAssigned: Set(("c2", "w1")),2323 schedNoPush::scheduler::mBuild: Set(),2324 schedNoPush::scheduler::mDone: Set(),2325 schedNoPush::scheduler::mExpect: Set(),2326 schedNoPush::scheduler::mResult: Set(),2327 schedNoPush::scheduler::mRetry: Set(),2328 schedNoPush::scheduler::mRevoke: Set(),2329 schedNoPush::scheduler::mSchedule: Set(),2330 schedNoPush::scheduler::published: 0,2331 schedNoPush::scheduler::publishedBy: Set(),2332 schedNoPush::scheduler::ws:2333 Map(2334 "w1" ->2335 {2336 attached: Set(),2337 built: false,2338 expecting: false,2339 running: false,2340 session: true,2341 up: true2342 },2343 "w2" ->2344 {2345 attached: Set(),2346 built: false,2347 expecting: false,2348 running: false,2349 session: true,2350 up: true2351 }2352 )2353}23542355[State 3]2356{2357 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),2358 schedNoPush::scheduler::crashes: 0,2359 schedNoPush::scheduler::entry:2360 [{ followers: Set("c2"), leased: true, worker: "w1" }],2361 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),2362 schedNoPush::scheduler::mAssigned: Set(),2363 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),2364 schedNoPush::scheduler::mDone: Set(),2365 schedNoPush::scheduler::mExpect: Set(),2366 schedNoPush::scheduler::mResult: Set(),2367 schedNoPush::scheduler::mRetry: Set(),2368 schedNoPush::scheduler::mRevoke: Set(),2369 schedNoPush::scheduler::mSchedule: Set(),2370 schedNoPush::scheduler::published: 0,2371 schedNoPush::scheduler::publishedBy: Set(),2372 schedNoPush::scheduler::ws:2373 Map(2374 "w1" ->2375 {2376 attached: Set(),2377 built: false,2378 expecting: false,2379 running: false,2380 session: true,2381 up: true2382 },2383 "w2" ->2384 {2385 attached: Set(),2386 built: false,2387 expecting: false,2388 running: false,2389 session: true,2390 up: true2391 }2392 )2393}23942395[State 4]2396{2397 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),2398 schedNoPush::scheduler::crashes: 1,2399 schedNoPush::scheduler::entry: [],2400 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2401 schedNoPush::scheduler::mAssigned: Set(),2402 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),2403 schedNoPush::scheduler::mDone: Set(),2404 schedNoPush::scheduler::mExpect: Set(),2405 schedNoPush::scheduler::mResult: Set(),2406 schedNoPush::scheduler::mRetry: Set(),2407 schedNoPush::scheduler::mRevoke: Set(),2408 schedNoPush::scheduler::mSchedule: Set(),2409 schedNoPush::scheduler::published: 0,2410 schedNoPush::scheduler::publishedBy: Set(),2411 schedNoPush::scheduler::ws:2412 Map(2413 "w1" ->2414 {2415 attached: Set(),2416 built: false,2417 expecting: false,2418 running: false,2419 session: false,2420 up: true2421 },2422 "w2" ->2423 {2424 attached: Set(),2425 built: false,2426 expecting: false,2427 running: false,2428 session: false,2429 up: true2430 }2431 )2432}24332434[State 5]2435{2436 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),2437 schedNoPush::scheduler::crashes: 2,2438 schedNoPush::scheduler::entry: [],2439 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2440 schedNoPush::scheduler::mAssigned: Set(),2441 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),2442 schedNoPush::scheduler::mDone: Set(),2443 schedNoPush::scheduler::mExpect: Set(),2444 schedNoPush::scheduler::mResult: Set(),2445 schedNoPush::scheduler::mRetry: Set(),2446 schedNoPush::scheduler::mRevoke: Set(),2447 schedNoPush::scheduler::mSchedule: Set(),2448 schedNoPush::scheduler::published: 0,2449 schedNoPush::scheduler::publishedBy: Set(),2450 schedNoPush::scheduler::ws:2451 Map(2452 "w1" ->2453 {2454 attached: Set(),2455 built: false,2456 expecting: false,2457 running: false,2458 session: false,2459 up: true2460 },2461 "w2" ->2462 {2463 attached: Set(),2464 built: false,2465 expecting: false,2466 running: false,2467 session: false,2468 up: true2469 }2470 )2471}24722473[State 6]2474{2475 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),2476 schedNoPush::scheduler::crashes: 2,2477 schedNoPush::scheduler::entry: [],2478 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2479 schedNoPush::scheduler::mAssigned: Set(),2480 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),2481 schedNoPush::scheduler::mDone: Set(),2482 schedNoPush::scheduler::mExpect: Set(),2483 schedNoPush::scheduler::mResult: Set(),2484 schedNoPush::scheduler::mRetry: Set(),2485 schedNoPush::scheduler::mRevoke: Set(),2486 schedNoPush::scheduler::mSchedule: Set(),2487 schedNoPush::scheduler::published: 0,2488 schedNoPush::scheduler::publishedBy: Set(),2489 schedNoPush::scheduler::ws:2490 Map(2491 "w1" ->2492 {2493 attached: Set(),2494 built: false,2495 expecting: false,2496 running: false,2497 session: true,2498 up: true2499 },2500 "w2" ->2501 {2502 attached: Set(),2503 built: false,2504 expecting: false,2505 running: false,2506 session: false,2507 up: true2508 }2509 )2510}25112512[State 7]2513{2514 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),2515 schedNoPush::scheduler::crashes: 2,2516 schedNoPush::scheduler::entry: [],2517 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2518 schedNoPush::scheduler::mAssigned: Set(),2519 schedNoPush::scheduler::mBuild: Set(),2520 schedNoPush::scheduler::mDone: Set(),2521 schedNoPush::scheduler::mExpect: Set(),2522 schedNoPush::scheduler::mResult: Set(),2523 schedNoPush::scheduler::mRetry: Set(),2524 schedNoPush::scheduler::mRevoke: Set(),2525 schedNoPush::scheduler::mSchedule: Set(),2526 schedNoPush::scheduler::published: 0,2527 schedNoPush::scheduler::publishedBy: Set(),2528 schedNoPush::scheduler::ws:2529 Map(2530 "w1" ->2531 {2532 attached: Set("c2"),2533 built: false,2534 expecting: true,2535 running: true,2536 session: true,2537 up: true2538 },2539 "w2" ->2540 {2541 attached: Set(),2542 built: false,2543 expecting: false,2544 running: false,2545 session: false,2546 up: true2547 }2548 )2549}25502551[violation] Found an issue (4197ms at 328 traces/second).2552Use --verbosity=3 to show executions.2553Use --seed=0x90224bedf4e17ca5 --backend=rust to reproduce.2554error: Invariant violated2555Running... [ ] 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... [ ] 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... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 150s | 172/30000 samples | 200 samples/sRunning... [ ] 0% | ETA: 105s | 276/30000 samples | 284 samples/sRunning... [■ ] 1% | ETA: 64s | 498/30000 samples | 463 samples/sRunning... [■ ] 2% | ETA: 44s | 802/30000 samples | 667 samples/sRunning... [■ ] 3% | ETA: 36s | 1066/30000 samples | 812 samples/sRunning... [■■ ] 4% | ETA: 30s | 1343/30000 samples | 958 samples/sRunning... [■■ ] 5% | ETA: 27s | 1596/30000 samples | 1061 samples/sRunning... [■■ ] 5% | ETA: 26s | 1788/30000 samples | 1113 samples/sRunning... [■■■ ] 6% | ETA: 14s | 1986/30000 samples | 1163 samples/sRunning... [■■■ ] 7% | ETA: 14s | 2163/30000 samples | 1197 samples/sRunning... [■■■ ] 7% | ETA: 14s | 2273/30000 samples | 1191 samples/sRunning... [■■■ ] 8% | ETA: 14s | 2460/30000 samples | 1218 samples/sRunning... [■■■ ] 8% | ETA: 14s | 2460/30000 samples | 1218 samples/sRunning... [■■■ ] 8% | ETA: 15s | 2616/30000 samples | 1226 samples/sRunning... [■■■■ ] 9% | ETA: 15s | 2757/30000 samples | 1232 samples/sRunning... [■■■■ ] 9% | ETA: 17s | 2889/30000 samples | 1237 samples/sRunning... [■■■■ ] 10% | ETA: 18s | 3020/30000 samples | 1238 samples/sRunning... [■■■■ ] 10% | ETA: 20s | 3062/30000 samples | 1205 samples/sRunning... [■■■■ ] 10% | ETA: 23s | 3113/30000 samples | 1178 samples/sRunning... [■■■■ ] 10% | ETA: 25s | 3176/30000 samples | 1158 samples/sRunning... [■■■■ ] 10% | ETA: 27s | 3226/30000 samples | 1135 samples/sRunning... [■■■■ ] 10% | ETA: 30s | 3296/30000 samples | 1120 samples/sRunning... [■■■■ ] 11% | ETA: 33s | 3354/30000 samples | 1102 samples/sRunning... [■■■■■ ] 11% | ETA: 34s | 3476/30000 samples | 1105 samples/sRunning... [■■■■■ ] 11% | ETA: 34s | 3599/30000 samples | 1108 samples/sRunning... [■■■■■ ] 12% | ETA: 36s | 3695/30000 samples | 1102 samples/sRunning... [■■■■■ ] 12% | ETA: 36s | 3745/30000 samples | 1085 samples/sRunning... [■■■■■ ] 12% | ETA: 38s | 3756/30000 samples | 1057 samples/sRunning... [■■■■■ ] 12% | ETA: 41s | 3768/30000 samples | 1030 samples/sRunning... [■■■■■ ] 12% | ETA: 43s | 3794/30000 samples | 1010 samples/sRunning... [■■■■■ ] 12% | ETA: 47s | 3818/30000 samples | 986 samples/sRunning... [■■■■■ ] 12% | ETA: 51s | 3839/30000 samples | 966 samples/sRunning... [■■■■■ ] 13% | ETA: 79s | 3910/30000 samples | 935 samples/sRunning... [■■■■■ ] 13% | ETA: 87s | 3975/30000 samples | 929 samples/sRunning... [■■■■■ ] 13% | ETA: 87s | 3975/30000 samples | 929 samples/sRunning... [■■■■■ ] 13% | ETA: 95s | 4011/30000 samples | 895 samples/sRunning... [■■■■■ ] 13% | ETA: 94s | 4026/30000 samples | 879 samples/sRunning... [■■■■■ ] 13% | ETA: 96s | 4046/30000 samples | 864 samples/sRunning... [■■■■■ ] 13% | ETA: 94s | 4071/30000 samples | 851 samples/sRunning... [■■■■■ ] 13% | ETA: 94s | 4071/30000 samples | 851 samples/sRunning... [■■■■■ ] 13% | ETA: 94s | 4115/30000 samples | 823 samples/sRunning... [■■■■■■ ] 13% | ETA: 103s | 4145/30000 samples | 811 samples/sRunning... [■■■■■■ ] 14% | ETA: 98s | 4222/30000 samples | 809 samples/sRunning... [■■■■■■ ] 14% | ETA: 74s | 4319/30000 samples | 813 samples/sRunning... [■■■■■■ ] 14% | ETA: 61s | 4408/30000 samples | 814 samples/sRunning... [■■■■■■ ] 14% | ETA: 58s | 4439/30000 samples | 805 samples/sRunning... [■■■■■■ ] 14% | ETA: 56s | 4473/30000 samples | 796 samples/sRunning... [■■■■■■ ] 14% | ETA: 56s | 4499/30000 samples | 787 samples/sRunning... [■■■■■■ ] 15% | ETA: 57s | 4516/30000 samples | 776 samples/sRunning... [■■■■■■ ] 15% | ETA: 57s | 4528/30000 samples | 765 samples/sRunning... [■■■■■■ ] 15% | ETA: 60s | 4538/30000 samples | 753 samples/sRunning... [■■■■■■ ] 15% | ETA: 71s | 4548/30000 samples | 743 samples/sRunning... [■■■■■■ ] 15% | ETA: 94s | 4567/30000 samples | 734 samples/sRunning... [■■■■■■ ] 15% | ETA: 132s | 4584/30000 samples | 725 samples/sRunning... [■■■■■■ ] 15% | ETA: 143s | 4602/30000 samples | 716 samples/sRunning... [■■■■■■ ] 15% | ETA: 166s | 4613/30000 samples | 707 samples/sRunning... [■■■■■■ ] 15% | ETA: 187s | 4623/30000 samples | 697 samples/sRunning... [■■■■■■ ] 15% | ETA: 203s | 4632/30000 samples | 687 samples/sRunning... [■■■■■■ ] 15% | ETA: 195s | 4649/30000 samples | 679 samples/sRunning... [■■■■■■ ] 15% | ETA: 201s | 4655/30000 samples | 670 samples/sRunning... [■■■■■■ ] 15% | ETA: 210s | 4660/30000 samples | 661 samples/sRunning... [■■■■■■ ] 15% | ETA: 251s | 4662/30000 samples | 651 samples/sRunning... [■■■■■■ ] 15% | ETA: 298s | 4664/30000 samples | 642 samples/sRunning... [■■■■■■ ] 15% | ETA: 372s | 4666/30000 samples | 634 samples/sRunning... [■■■■■■ ] 15% | ETA: 442s | 4667/30000 samples | 625 samples/sRunning... [■■■■■■ ] 15% | ETA: 518s | 4669/30000 samples | 617 samples/sRunning... [■■■■■■ ] 15% | ETA: 570s | 4673/30000 samples | 609 samples/sRunning... [■■■■■■ ] 15% | ETA: 835s | 4677/30000 samples | 602 samples/sRunning... [■■■■■■ ] 15% | ETA: 1018s | 4678/30000 samples | 594 samples/sRunning... [■■■■■■ ] 15% | ETA: 1071s | 4682/30000 samples | 587 samples/sRunning... [■■■■■■ ] 15% | ETA: 668s | 4697/30000 samples | 581 samples/sRunning... [■■■■■■ ] 15% | ETA: 668s | 4697/30000 samples | 581 samples/sRunning... [■■■■■■ ] 15% | ETA: 498s | 4712/30000 samples | 574 samples/sRunning... [■■■■■■ ] 15% | ETA: 426s | 4723/30000 samples | 567 samples/sRunning... [■■■■■■ ] 15% | ETA: 361s | 4734/30000 samples | 562 samples/sRunning... [■■■■■■ ] 15% | ETA: 361s | 4734/30000 samples | 562 samples/sAn example execution:25562557[State 0]2558{2559 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2560 schedNoReport::scheduler::crashes: 0,2561 schedNoReport::scheduler::entry: [],2562 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2563 schedNoReport::scheduler::mAssigned: Set(),2564 schedNoReport::scheduler::mBuild: Set(),2565 schedNoReport::scheduler::mDone: Set(),2566 schedNoReport::scheduler::mExpect: Set(),2567 schedNoReport::scheduler::mResult: Set(),2568 schedNoReport::scheduler::mRetry: Set(),2569 schedNoReport::scheduler::mRevoke: Set(),2570 schedNoReport::scheduler::mSchedule: Set(),2571 schedNoReport::scheduler::published: 0,2572 schedNoReport::scheduler::publishedBy: Set(),2573 schedNoReport::scheduler::ws:2574 Map(2575 "w1" ->2576 {2577 attached: Set(),2578 built: false,2579 expecting: false,2580 running: false,2581 session: true,2582 up: true2583 },2584 "w2" ->2585 {2586 attached: Set(),2587 built: false,2588 expecting: false,2589 running: false,2590 session: true,2591 up: true2592 }2593 )2594}25952596[State 1]2597{2598 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2599 schedNoReport::scheduler::crashes: 1,2600 schedNoReport::scheduler::entry: [],2601 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2602 schedNoReport::scheduler::mAssigned: Set(),2603 schedNoReport::scheduler::mBuild: Set(),2604 schedNoReport::scheduler::mDone: Set(),2605 schedNoReport::scheduler::mExpect: Set(),2606 schedNoReport::scheduler::mResult: Set(),2607 schedNoReport::scheduler::mRetry: Set(),2608 schedNoReport::scheduler::mRevoke: Set(),2609 schedNoReport::scheduler::mSchedule: Set(),2610 schedNoReport::scheduler::published: 0,2611 schedNoReport::scheduler::publishedBy: Set(),2612 schedNoReport::scheduler::ws:2613 Map(2614 "w1" ->2615 {2616 attached: Set(),2617 built: false,2618 expecting: false,2619 running: false,2620 session: true,2621 up: true2622 },2623 "w2" ->2624 {2625 attached: Set(),2626 built: false,2627 expecting: false,2628 running: false,2629 session: false,2630 up: false2631 }2632 )2633}26342635[State 2]2636{2637 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2638 schedNoReport::scheduler::crashes: 1,2639 schedNoReport::scheduler::entry: [],2640 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2641 schedNoReport::scheduler::mAssigned: Set(),2642 schedNoReport::scheduler::mBuild: Set(),2643 schedNoReport::scheduler::mDone: Set(),2644 schedNoReport::scheduler::mExpect: Set(),2645 schedNoReport::scheduler::mResult: Set(),2646 schedNoReport::scheduler::mRetry: Set(),2647 schedNoReport::scheduler::mRevoke: Set(),2648 schedNoReport::scheduler::mSchedule: Set("c2"),2649 schedNoReport::scheduler::published: 0,2650 schedNoReport::scheduler::publishedBy: Set(),2651 schedNoReport::scheduler::ws:2652 Map(2653 "w1" ->2654 {2655 attached: Set(),2656 built: false,2657 expecting: false,2658 running: false,2659 session: true,2660 up: true2661 },2662 "w2" ->2663 {2664 attached: Set(),2665 built: false,2666 expecting: false,2667 running: false,2668 session: false,2669 up: false2670 }2671 )2672}26732674[State 3]2675{2676 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2677 schedNoReport::scheduler::crashes: 1,2678 schedNoReport::scheduler::entry:2679 [{ followers: Set("c2"), leased: true, worker: "w1" }],2680 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),2681 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),2682 schedNoReport::scheduler::mBuild: Set(),2683 schedNoReport::scheduler::mDone: Set(),2684 schedNoReport::scheduler::mExpect: Set("w1"),2685 schedNoReport::scheduler::mResult: Set(),2686 schedNoReport::scheduler::mRetry: Set(),2687 schedNoReport::scheduler::mRevoke: Set(),2688 schedNoReport::scheduler::mSchedule: Set(),2689 schedNoReport::scheduler::published: 0,2690 schedNoReport::scheduler::publishedBy: Set(),2691 schedNoReport::scheduler::ws:2692 Map(2693 "w1" ->2694 {2695 attached: Set(),2696 built: false,2697 expecting: false,2698 running: false,2699 session: true,2700 up: true2701 },2702 "w2" ->2703 {2704 attached: Set(),2705 built: false,2706 expecting: false,2707 running: false,2708 session: false,2709 up: false2710 }2711 )2712}27132714[State 4]2715{2716 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2717 schedNoReport::scheduler::crashes: 1,2718 schedNoReport::scheduler::entry:2719 [{ followers: Set("c2"), leased: true, worker: "w1" }],2720 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),2721 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),2722 schedNoReport::scheduler::mBuild: Set(),2723 schedNoReport::scheduler::mDone: Set(),2724 schedNoReport::scheduler::mExpect: Set(),2725 schedNoReport::scheduler::mResult: Set(),2726 schedNoReport::scheduler::mRetry: Set(),2727 schedNoReport::scheduler::mRevoke: Set(),2728 schedNoReport::scheduler::mSchedule: Set(),2729 schedNoReport::scheduler::published: 0,2730 schedNoReport::scheduler::publishedBy: Set(),2731 schedNoReport::scheduler::ws:2732 Map(2733 "w1" ->2734 {2735 attached: Set(),2736 built: false,2737 expecting: true,2738 running: true,2739 session: true,2740 up: true2741 },2742 "w2" ->2743 {2744 attached: Set(),2745 built: false,2746 expecting: false,2747 running: false,2748 session: false,2749 up: false2750 }2751 )2752}27532754[State 5]2755{2756 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2757 schedNoReport::scheduler::crashes: 2,2758 schedNoReport::scheduler::entry: [],2759 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2760 schedNoReport::scheduler::mAssigned: Set(),2761 schedNoReport::scheduler::mBuild: Set(),2762 schedNoReport::scheduler::mDone: Set(),2763 schedNoReport::scheduler::mExpect: Set(),2764 schedNoReport::scheduler::mResult: Set(),2765 schedNoReport::scheduler::mRetry: Set("c2"),2766 schedNoReport::scheduler::mRevoke: Set(),2767 schedNoReport::scheduler::mSchedule: Set(),2768 schedNoReport::scheduler::published: 0,2769 schedNoReport::scheduler::publishedBy: Set(),2770 schedNoReport::scheduler::ws:2771 Map(2772 "w1" ->2773 {2774 attached: Set(),2775 built: false,2776 expecting: true,2777 running: true,2778 session: false,2779 up: true2780 },2781 "w2" ->2782 {2783 attached: Set(),2784 built: false,2785 expecting: false,2786 running: false,2787 session: false,2788 up: false2789 }2790 )2791}27922793[State 6]2794{2795 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2796 schedNoReport::scheduler::crashes: 2,2797 schedNoReport::scheduler::entry: [],2798 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2799 schedNoReport::scheduler::mAssigned: Set(),2800 schedNoReport::scheduler::mBuild: Set(),2801 schedNoReport::scheduler::mDone: Set(),2802 schedNoReport::scheduler::mExpect: Set(),2803 schedNoReport::scheduler::mResult: Set(),2804 schedNoReport::scheduler::mRetry: Set("c2"),2805 schedNoReport::scheduler::mRevoke: Set(),2806 schedNoReport::scheduler::mSchedule: Set(),2807 schedNoReport::scheduler::published: 0,2808 schedNoReport::scheduler::publishedBy: Set(),2809 schedNoReport::scheduler::ws:2810 Map(2811 "w1" ->2812 {2813 attached: Set(),2814 built: false,2815 expecting: true,2816 running: true,2817 session: false,2818 up: true2819 },2820 "w2" ->2821 {2822 attached: Set(),2823 built: false,2824 expecting: false,2825 running: false,2826 session: true,2827 up: true2828 }2829 )2830}28312832[State 7]2833{2834 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2835 schedNoReport::scheduler::crashes: 2,2836 schedNoReport::scheduler::entry: [],2837 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2838 schedNoReport::scheduler::mAssigned: Set(),2839 schedNoReport::scheduler::mBuild: Set(),2840 schedNoReport::scheduler::mDone: Set(),2841 schedNoReport::scheduler::mExpect: Set(),2842 schedNoReport::scheduler::mResult: Set(),2843 schedNoReport::scheduler::mRetry: Set("c2"),2844 schedNoReport::scheduler::mRevoke: Set(),2845 schedNoReport::scheduler::mSchedule: Set("c1"),2846 schedNoReport::scheduler::published: 0,2847 schedNoReport::scheduler::publishedBy: Set(),2848 schedNoReport::scheduler::ws:2849 Map(2850 "w1" ->2851 {2852 attached: Set(),2853 built: false,2854 expecting: true,2855 running: true,2856 session: false,2857 up: true2858 },2859 "w2" ->2860 {2861 attached: Set(),2862 built: false,2863 expecting: false,2864 running: false,2865 session: true,2866 up: true2867 }2868 )2869}28702871[State 8]2872{2873 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2874 schedNoReport::scheduler::crashes: 2,2875 schedNoReport::scheduler::entry: [],2876 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2877 schedNoReport::scheduler::mAssigned: Set(),2878 schedNoReport::scheduler::mBuild: Set(),2879 schedNoReport::scheduler::mDone: Set(),2880 schedNoReport::scheduler::mExpect: Set(),2881 schedNoReport::scheduler::mResult: Set(),2882 schedNoReport::scheduler::mRetry: Set("c2"),2883 schedNoReport::scheduler::mRevoke: Set(),2884 schedNoReport::scheduler::mSchedule: Set("c1"),2885 schedNoReport::scheduler::published: 0,2886 schedNoReport::scheduler::publishedBy: Set(),2887 schedNoReport::scheduler::ws:2888 Map(2889 "w1" ->2890 {2891 attached: Set(),2892 built: false,2893 expecting: true,2894 running: true,2895 session: true,2896 up: true2897 },2898 "w2" ->2899 {2900 attached: Set(),2901 built: false,2902 expecting: false,2903 running: false,2904 session: true,2905 up: true2906 }2907 )2908}29092910[State 9]2911{2912 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2913 schedNoReport::scheduler::crashes: 2,2914 schedNoReport::scheduler::entry:2915 [{ followers: Set("c1"), leased: true, worker: "w2" }],2916 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2917 schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),2918 schedNoReport::scheduler::mBuild: Set(),2919 schedNoReport::scheduler::mDone: Set(),2920 schedNoReport::scheduler::mExpect: Set("w2"),2921 schedNoReport::scheduler::mResult: Set(),2922 schedNoReport::scheduler::mRetry: Set("c2"),2923 schedNoReport::scheduler::mRevoke: Set(),2924 schedNoReport::scheduler::mSchedule: Set(),2925 schedNoReport::scheduler::published: 0,2926 schedNoReport::scheduler::publishedBy: Set(),2927 schedNoReport::scheduler::ws:2928 Map(2929 "w1" ->2930 {2931 attached: Set(),2932 built: false,2933 expecting: true,2934 running: true,2935 session: true,2936 up: true2937 },2938 "w2" ->2939 {2940 attached: Set(),2941 built: false,2942 expecting: false,2943 running: false,2944 session: true,2945 up: true2946 }2947 )2948}29492950[State 10]2951{2952 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2953 schedNoReport::scheduler::crashes: 2,2954 schedNoReport::scheduler::entry:2955 [{ followers: Set("c1"), leased: true, worker: "w2" }],2956 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2957 schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),2958 schedNoReport::scheduler::mBuild: Set(),2959 schedNoReport::scheduler::mDone: Set(),2960 schedNoReport::scheduler::mExpect: Set(),2961 schedNoReport::scheduler::mResult: Set(),2962 schedNoReport::scheduler::mRetry: Set("c2"),2963 schedNoReport::scheduler::mRevoke: Set(),2964 schedNoReport::scheduler::mSchedule: Set(),2965 schedNoReport::scheduler::published: 0,2966 schedNoReport::scheduler::publishedBy: Set(),2967 schedNoReport::scheduler::ws:2968 Map(2969 "w1" ->2970 {2971 attached: Set(),2972 built: false,2973 expecting: true,2974 running: true,2975 session: true,2976 up: true2977 },2978 "w2" ->2979 {2980 attached: Set(),2981 built: false,2982 expecting: true,2983 running: true,2984 session: true,2985 up: true2986 }2987 )2988}29892990[violation] Found an issue (8872ms at 534 traces/second).2991Use --verbosity=3 to show executions.2992Use --seed=0x91aca213a4278a13 --backend=rust to reproduce.2993error: Invariant violated2994Running... [ ] 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... [ ] 0% | ETA: 630s | 12/30000 samples | 50 samples/sRunning... [ ] 0% | ETA: 623s | 17/30000 samples | 50 samples/sRunning... [ ] 0% | ETA: 310s | 44/30000 samples | 99 samples/sRunning... [ ] 0% | ETA: 335s | 50/30000 samples | 91 samples/sRunning... [ ] 0% | ETA: 290s | 68/30000 samples | 105 samples/sRunning... [ ] 0% | ETA: 290s | 68/30000 samples | 105 samples/sAn example execution:29952996[State 0]2997{2998 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2999 schedTerminal::scheduler::crashes: 0,3000 schedTerminal::scheduler::entry: [],3001 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3002 schedTerminal::scheduler::mAssigned: Set(),3003 schedTerminal::scheduler::mBuild: Set(),3004 schedTerminal::scheduler::mDone: Set(),3005 schedTerminal::scheduler::mExpect: Set(),3006 schedTerminal::scheduler::mResult: Set(),3007 schedTerminal::scheduler::mRetry: Set(),3008 schedTerminal::scheduler::mRevoke: Set(),3009 schedTerminal::scheduler::mSchedule: Set(),3010 schedTerminal::scheduler::published: 0,3011 schedTerminal::scheduler::publishedBy: Set(),3012 schedTerminal::scheduler::ws:3013 Map(3014 "w1" ->3015 {3016 attached: Set(),3017 built: false,3018 expecting: false,3019 running: false,3020 session: true,3021 up: true3022 },3023 "w2" ->3024 {3025 attached: Set(),3026 built: false,3027 expecting: false,3028 running: false,3029 session: true,3030 up: true3031 }3032 )3033}30343035[State 1]3036{3037 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3038 schedTerminal::scheduler::crashes: 1,3039 schedTerminal::scheduler::entry: [],3040 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3041 schedTerminal::scheduler::mAssigned: Set(),3042 schedTerminal::scheduler::mBuild: Set(),3043 schedTerminal::scheduler::mDone: Set(),3044 schedTerminal::scheduler::mExpect: Set(),3045 schedTerminal::scheduler::mResult: Set(),3046 schedTerminal::scheduler::mRetry: Set(),3047 schedTerminal::scheduler::mRevoke: Set(),3048 schedTerminal::scheduler::mSchedule: Set(),3049 schedTerminal::scheduler::published: 0,3050 schedTerminal::scheduler::publishedBy: Set(),3051 schedTerminal::scheduler::ws:3052 Map(3053 "w1" ->3054 {3055 attached: Set(),3056 built: false,3057 expecting: false,3058 running: false,3059 session: false,3060 up: true3061 },3062 "w2" ->3063 {3064 attached: Set(),3065 built: false,3066 expecting: false,3067 running: false,3068 session: false,3069 up: true3070 }3071 )3072}30733074[State 2]3075{3076 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3077 schedTerminal::scheduler::crashes: 1,3078 schedTerminal::scheduler::entry: [],3079 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3080 schedTerminal::scheduler::mAssigned: Set(),3081 schedTerminal::scheduler::mBuild: Set(),3082 schedTerminal::scheduler::mDone: Set(),3083 schedTerminal::scheduler::mExpect: Set(),3084 schedTerminal::scheduler::mResult: Set(),3085 schedTerminal::scheduler::mRetry: Set(),3086 schedTerminal::scheduler::mRevoke: Set(),3087 schedTerminal::scheduler::mSchedule: Set("c2"),3088 schedTerminal::scheduler::published: 0,3089 schedTerminal::scheduler::publishedBy: Set(),3090 schedTerminal::scheduler::ws:3091 Map(3092 "w1" ->3093 {3094 attached: Set(),3095 built: false,3096 expecting: false,3097 running: false,3098 session: false,3099 up: true3100 },3101 "w2" ->3102 {3103 attached: Set(),3104 built: false,3105 expecting: false,3106 running: false,3107 session: false,3108 up: true3109 }3110 )3111}31123113[State 3]3114{3115 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CFailed),3116 schedTerminal::scheduler::crashes: 1,3117 schedTerminal::scheduler::entry: [],3118 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3119 schedTerminal::scheduler::mAssigned: Set(),3120 schedTerminal::scheduler::mBuild: Set(),3121 schedTerminal::scheduler::mDone: Set(),3122 schedTerminal::scheduler::mExpect: Set(),3123 schedTerminal::scheduler::mResult: Set(),3124 schedTerminal::scheduler::mRetry: Set(),3125 schedTerminal::scheduler::mRevoke: Set(),3126 schedTerminal::scheduler::mSchedule: Set(),3127 schedTerminal::scheduler::published: 0,3128 schedTerminal::scheduler::publishedBy: Set(),3129 schedTerminal::scheduler::ws:3130 Map(3131 "w1" ->3132 {3133 attached: Set(),3134 built: false,3135 expecting: false,3136 running: false,3137 session: false,3138 up: true3139 },3140 "w2" ->3141 {3142 attached: Set(),3143 built: false,3144 expecting: false,3145 running: false,3146 session: false,3147 up: true3148 }3149 )3150}31513152[violation] Found an issue (873ms at 117 traces/second).3153Use --verbosity=3 to show executions.3154Use --seed=0x6c3d4c164a110613 --backend=rust to reproduce.3155error: Invariant violated3156Running... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 5184s | 4/20000 samples | 4 samples/sRunning... [ ] 0% | ETA: 1196s | 19/20000 samples | 17 samples/sRunning... [ ] 0% | ETA: 1196s | 19/20000 samples | 17 samples/sRunning... [ ] 0% | ETA: 273s | 107/20000 samples | 74 samples/sRunning... [■ ] 1% | ETA: 112s | 323/20000 samples | 179 samples/sRunning... [■■■■ ] 11% | ETA: 16s | 2211/20000 samples | 1130 samples/sRunning... [■■■■■■ ] 14% | ETA: 14s | 2867/20000 samples | 1309 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 2s | 7662/20000 samples | 3203 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 2s | 7940/20000 samples | 3145 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 2s | 8290/20000 samples | 3207 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 2s | 9103/20000 samples | 3389 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 2s | 9574/20000 samples | 3435 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 2s | 9574/20000 samples | 3435 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 2s | 9574/20000 samples | 3435 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 2s | 9574/20000 samples | 3435 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 2s | 10965/20000 samples | 3375 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 1s | 12294/20000 samples | 3702 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 2s | 12461/20000 samples | 3654 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 2s | 12662/20000 samples | 3606 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 2s | 13179/20000 samples | 3586 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 67% | ETA: 2s | 13452/20000 samples | 3569 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 2s | 13677/20000 samples | 3516 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 69% | ETA: 2s | 13861/20000 samples | 3430 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 69% | ETA: 2s | 13979/20000 samples | 3386 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 2s | 14134/20000 samples | 3355 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 3s | 14866/20000 samples | 3312 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 3s | 15326/20000 samples | 3274 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 77% | ETA: 3s | 15595/20000 samples | 3178 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 2s | 15962/20000 samples | 3201 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 2s | 16054/20000 samples | 3155 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 2s | 16230/20000 samples | 3095 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 2s | 16346/20000 samples | 3014 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 3s | 16432/20000 samples | 2997 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 3s | 16609/20000 samples | 2917 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 3s | 16729/20000 samples | 2816 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 4s | 16904/20000 samples | 2801 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 4s | 16956/20000 samples | 2795 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 4s | 17011/20000 samples | 2758 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 4s | 17186/20000 samples | 2608 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 4s | 17345/20000 samples | 2586 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 4s | 17371/20000 samples | 2544 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 4s | 17485/20000 samples | 2516 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 4s | 17485/20000 samples | 2516 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 4s | 17596/20000 samples | 2442 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 5s | 17677/20000 samples | 2394 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 5s | 17684/20000 samples | 2341 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 4s | 17806/20000 samples | 2315 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 5s | 17848/20000 samples | 2275 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 4s | 18074/20000 samples | 2285 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 2s | 18549/20000 samples | 2257 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 19312/20000 samples | 2333 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 19554/20000 samples | 2319 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 19574/20000 samples | 2291 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 19697/20000 samples | 2274 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19867/20000 samples | 2270 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19889/20000 samples | 2247 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19909/20000 samples | 2216 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19943/20000 samples | 2203 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19963/20000 samples | 2163 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19983/20000 samples | 2155 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 20000/20000 samples | 2135 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 20000/20000 samples | 2135 samples/sAn example execution:31573158[State 0]3159{3160 pushFixed::push::byPath: Map(),3161 pushFixed::push::inflight: Set(),3162 pushFixed::push::left: Map(),3163 pushFixed::push::sent: Map()3164}31653166[State 1]3167{3168 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3169 pushFixed::push::inflight: Set((2, "a"), (2, "b")),3170 pushFixed::push::left: Map(2 -> 2),3171 pushFixed::push::sent: Map(2 -> Set("a", "b"))3172}31733174[State 2]3175{3176 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3177 pushFixed::push::inflight: Set((2, "b")),3178 pushFixed::push::left: Map(2 -> 1),3179 pushFixed::push::sent: Map(2 -> Set("a", "b"))3180}31813182[State 3]3183{3184 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),3185 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (2, "b")),3186 pushFixed::push::left: Map(1 -> 2, 2 -> 1),3187 pushFixed::push::sent: Map(1 -> Set("a", "b"), 2 -> Set("a", "b"))3188}31893190[State 4]3191{3192 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3193 pushFixed::push::inflight:3194 Set((1, "a"), (1, "b"), (2, "b"), (3, "a"), (3, "b")),3195 pushFixed::push::left: Map(1 -> 2, 2 -> 1, 3 -> 2),3196 pushFixed::push::sent:3197 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3198}31993200[State 5]3201{3202 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3203 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (2, "b"), (3, "a")),3204 pushFixed::push::left: Map(1 -> 2, 2 -> 1, 3 -> 1),3205 pushFixed::push::sent:3206 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3207}32083209[State 6]3210{3211 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3212 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (3, "a")),3213 pushFixed::push::left: Map(1 -> 2, 2 -> 0, 3 -> 1),3214 pushFixed::push::sent:3215 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3216}32173218[State 7]3219{3220 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3221 pushFixed::push::inflight: Set((1, "a"), (3, "a")),3222 pushFixed::push::left: Map(1 -> 1, 2 -> 0, 3 -> 1),3223 pushFixed::push::sent:3224 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3225}32263227[State 8]3228{3229 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3230 pushFixed::push::inflight: Set((1, "a")),3231 pushFixed::push::left: Map(1 -> 1, 2 -> 0, 3 -> 0),3232 pushFixed::push::sent:3233 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3234}32353236[State 9]3237{3238 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3239 pushFixed::push::inflight: Set(),3240 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),3241 pushFixed::push::sent:3242 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3243}32443245[ok] No violation found (9917ms at 2017 traces/second).3246Trace length statistics: max=10, min=7, average=8.013247You may increase --max-samples and --max-steps.3248Use --verbosity to produce more (or less) output.3249Use --seed=0xd2f2ab8ac3c90d3d --backend=rust to reproduce.