nixbot

builds
sign in

nix-grpc-store-spec checks.aarch64-darwin.spec · build #422 · 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... [■■ ] 4% | ETA: 6s | 1412/30000 samples | 5191 samples/sRunning... [■■ ] 4% | ETA: 6s | 1412/30000 samples | 5191 samples/sRunning... [■■ ] 6% | ETA: 8s | 1864/30000 samples | 4061 samples/sRunning... [■■■ ] 7% | ETA: 8s | 2189/30000 samples | 3847 samples/sRunning... [■■■ ] 8% | ETA: 8s | 2478/30000 samples | 3699 samples/sRunning... [■■■■ ] 9% | ETA: 8s | 2880/30000 samples | 3529 samples/sRunning... [■■■■ ] 9% | ETA: 8s | 2880/30000 samples | 3529 samples/sRunning... [■■■■■ ] 11% | ETA: 8s | 3449/30000 samples | 3439 samples/sRunning... [■■■■■ ] 11% | ETA: 8s | 3449/30000 samples | 3439 samples/sRunning... [■■■■■ ] 12% | ETA: 8s | 3771/30000 samples | 3355 samples/sRunning... [■■■■■ ] 13% | ETA: 8s | 4049/30000 samples | 3303 samples/sRunning... [■■■■■■ ] 14% | ETA: 8s | 4470/30000 samples | 3241 samples/sRunning... [■■■■■■ ] 14% | ETA: 8s | 4470/30000 samples | 3241 samples/sRunning... [■■■■■■■ ] 17% | ETA: 10s | 5142/30000 samples | 3160 samples/sRunning... [■■■■■■■ ] 17% | ETA: 10s | 5142/30000 samples | 3160 samples/sRunning... [■■■■■■■ ] 17% | ETA: 9s | 5385/30000 samples | 3100 samples/sRunning... [■■■■■■■ ] 17% | ETA: 9s | 5385/30000 samples | 3100 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 9s | 6017/30000 samples | 3033 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 9s | 6017/30000 samples | 3033 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 9s | 6486/30000 samples | 2977 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 9s | 6486/30000 samples | 2977 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 9s | 7121/30000 samples | 2935 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 9s | 7121/30000 samples | 2935 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 9s | 7474/30000 samples | 2929 samples/sRunning... [■■■■■■■■■■ ] 26% | ETA: 9s | 7872/30000 samples | 2890 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 9s | 8270/30000 samples | 2900 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 9s | 8270/30000 samples | 2900 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 9s | 8270/30000 samples | 2900 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 8s | 9004/30000 samples | 2912 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 8s | 9440/30000 samples | 2892 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 8s | 9440/30000 samples | 2892 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 8s | 9440/30000 samples | 2892 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 8s | 10100/30000 samples | 2877 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 8s | 10473/30000 samples | 2870 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 8s | 10473/30000 samples | 2870 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 8s | 10889/30000 samples | 2869 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 7s | 11162/30000 samples | 2859 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 7s | 11162/30000 samples | 2859 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 7s | 11793/30000 samples | 2855 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 7s | 12212/30000 samples | 2854 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 7s | 12212/30000 samples | 2854 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 7s | 12212/30000 samples | 2854 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 7s | 12878/30000 samples | 2847 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 7s | 13227/30000 samples | 2844 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 7s | 13580/30000 samples | 2842 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 7s | 13580/30000 samples | 2842 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 6s | 13919/30000 samples | 2843 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 6s | 14208/30000 samples | 2842 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 6s | 14515/30000 samples | 2846 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 6s | 15006/30000 samples | 2840 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 6s | 15307/30000 samples | 2841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 6s | 15307/30000 samples | 2841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 6s | 15779/30000 samples | 2836 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 6s | 15779/30000 samples | 2836 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 5s | 16345/30000 samples | 2841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 5s | 16345/30000 samples | 2841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 5s | 16991/30000 samples | 2836 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 5s | 16991/30000 samples | 2836 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 5s | 17373/30000 samples | 2835 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 5s | 17717/30000 samples | 2840 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 5s | 17717/30000 samples | 2840 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 5s | 18392/30000 samples | 2837 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 5s | 18392/30000 samples | 2837 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 5s | 18392/30000 samples | 2837 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 4s | 19083/30000 samples | 2834 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 4s | 19083/30000 samples | 2834 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 4s | 19663/30000 samples | 2835 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 4s | 19663/30000 samples | 2835 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 67% | ETA: 4s | 20290/30000 samples | 2836 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 4s | 20695/30000 samples | 2836 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 4s | 20695/30000 samples | 2836 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 4s | 21255/30000 samples | 2841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 4s | 21255/30000 samples | 2841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 72% | ETA: 3s | 21731/30000 samples | 2837 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 3s | 22076/30000 samples | 2838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 3s | 22396/30000 samples | 2834 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 75% | ETA: 3s | 22747/30000 samples | 2836 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 77% | ETA: 3s | 23124/30000 samples | 2838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 3s | 23422/30000 samples | 2838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 3s | 23422/30000 samples | 2838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 3s | 23422/30000 samples | 2838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 3s | 24082/30000 samples | 2832 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 3s | 24082/30000 samples | 2832 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 2s | 24772/30000 samples | 2833 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 2s | 24772/30000 samples | 2833 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 2s | 25156/30000 samples | 2830 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 2s | 25156/30000 samples | 2830 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 2s | 25718/30000 samples | 2832 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 2s | 25718/30000 samples | 2832 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 2s | 26276/30000 samples | 2832 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 2s | 26276/30000 samples | 2832 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 2s | 26847/30000 samples | 2832 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 1s | 27321/30000 samples | 2830 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 1s | 27321/30000 samples | 2830 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 1s | 27321/30000 samples | 2830 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 1s | 27969/30000 samples | 2828 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 1s | 28329/30000 samples | 2830 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 1s | 28329/30000 samples | 2830 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 29032/30000 samples | 2829 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 29032/30000 samples | 2829 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 29032/30000 samples | 2829 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 98% | ETA: 1s | 29675/30000 samples | 2825 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 98% | ETA: 1s | 29675/30000 samples | 2825 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 98% | ETA: 1s | 29675/30000 samples | 2825 samples/sAn example execution:23[State 0]4{5 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),6 schedFixed::scheduler::crashes: 0,7 schedFixed::scheduler::entry: [],8 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),9 schedFixed::scheduler::mAssigned: Set(),10 schedFixed::scheduler::mBuild: Set(),11 schedFixed::scheduler::mDone: Set(),12 schedFixed::scheduler::mExpect: Set(),13 schedFixed::scheduler::mResult: Set(),14 schedFixed::scheduler::mRetry: Set(),15 schedFixed::scheduler::mSchedule: Set(),16 schedFixed::scheduler::published: 0,17 schedFixed::scheduler::publishedBy: Set(),18 schedFixed::scheduler::ws:19 Map(20 "w1" ->21 {22 attached: Set(),23 built: false,24 expecting: false,25 running: false,26 session: true,27 up: true28 },29 "w2" ->30 {31 attached: Set(),32 built: false,33 expecting: false,34 running: false,35 session: true,36 up: true37 }38 )39}4041[State 1]42{43 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),44 schedFixed::scheduler::crashes: 1,45 schedFixed::scheduler::entry: [],46 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),47 schedFixed::scheduler::mAssigned: Set(),48 schedFixed::scheduler::mBuild: Set(),49 schedFixed::scheduler::mDone: Set(),50 schedFixed::scheduler::mExpect: Set(),51 schedFixed::scheduler::mResult: Set(),52 schedFixed::scheduler::mRetry: Set(),53 schedFixed::scheduler::mSchedule: Set(),54 schedFixed::scheduler::published: 0,55 schedFixed::scheduler::publishedBy: Set(),56 schedFixed::scheduler::ws:57 Map(58 "w1" ->59 {60 attached: Set(),61 built: false,62 expecting: false,63 running: false,64 session: false,65 up: false66 },67 "w2" ->68 {69 attached: Set(),70 built: false,71 expecting: false,72 running: false,73 session: true,74 up: true75 }76 )77}7879[State 2]80{81 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),82 schedFixed::scheduler::crashes: 1,83 schedFixed::scheduler::entry: [],84 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),85 schedFixed::scheduler::mAssigned: Set(),86 schedFixed::scheduler::mBuild: Set(),87 schedFixed::scheduler::mDone: Set(),88 schedFixed::scheduler::mExpect: Set(),89 schedFixed::scheduler::mResult: Set(),90 schedFixed::scheduler::mRetry: Set(),91 schedFixed::scheduler::mSchedule: Set("c1"),92 schedFixed::scheduler::published: 0,93 schedFixed::scheduler::publishedBy: Set(),94 schedFixed::scheduler::ws:95 Map(96 "w1" ->97 {98 attached: Set(),99 built: false,100 expecting: false,101 running: false,102 session: false,103 up: false104 },105 "w2" ->106 {107 attached: Set(),108 built: false,109 expecting: false,110 running: false,111 session: true,112 up: true113 }114 )115}116117[State 3]118{119 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),120 schedFixed::scheduler::crashes: 2,121 schedFixed::scheduler::entry: [],122 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),123 schedFixed::scheduler::mAssigned: Set(),124 schedFixed::scheduler::mBuild: Set(),125 schedFixed::scheduler::mDone: Set(),126 schedFixed::scheduler::mExpect: Set(),127 schedFixed::scheduler::mResult: Set(),128 schedFixed::scheduler::mRetry: Set("c1"),129 schedFixed::scheduler::mSchedule: Set(),130 schedFixed::scheduler::published: 0,131 schedFixed::scheduler::publishedBy: Set(),132 schedFixed::scheduler::ws:133 Map(134 "w1" ->135 {136 attached: Set(),137 built: false,138 expecting: false,139 running: false,140 session: false,141 up: false142 },143 "w2" ->144 {145 attached: Set(),146 built: false,147 expecting: false,148 running: false,149 session: false,150 up: true151 }152 )153}154155[State 4]156{157 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),158 schedFixed::scheduler::crashes: 2,159 schedFixed::scheduler::entry: [],160 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),161 schedFixed::scheduler::mAssigned: Set(),162 schedFixed::scheduler::mBuild: Set(),163 schedFixed::scheduler::mDone: Set(),164 schedFixed::scheduler::mExpect: Set(),165 schedFixed::scheduler::mResult: Set(),166 schedFixed::scheduler::mRetry: Set("c1"),167 schedFixed::scheduler::mSchedule: Set(),168 schedFixed::scheduler::published: 0,169 schedFixed::scheduler::publishedBy: Set(),170 schedFixed::scheduler::ws:171 Map(172 "w1" ->173 {174 attached: Set(),175 built: false,176 expecting: false,177 running: false,178 session: true,179 up: true180 },181 "w2" ->182 {183 attached: Set(),184 built: false,185 expecting: false,186 running: false,187 session: false,188 up: true189 }190 )191}192193[State 5]194{195 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),196 schedFixed::scheduler::crashes: 2,197 schedFixed::scheduler::entry: [],198 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),199 schedFixed::scheduler::mAssigned: Set(),200 schedFixed::scheduler::mBuild: Set(),201 schedFixed::scheduler::mDone: Set(),202 schedFixed::scheduler::mExpect: Set(),203 schedFixed::scheduler::mResult: Set(),204 schedFixed::scheduler::mRetry: Set("c1"),205 schedFixed::scheduler::mSchedule: Set(),206 schedFixed::scheduler::published: 0,207 schedFixed::scheduler::publishedBy: Set(),208 schedFixed::scheduler::ws:209 Map(210 "w1" ->211 {212 attached: Set(),213 built: false,214 expecting: false,215 running: false,216 session: true,217 up: true218 },219 "w2" ->220 {221 attached: Set(),222 built: false,223 expecting: false,224 running: false,225 session: true,226 up: true227 }228 )229}230231[State 6]232{233 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),234 schedFixed::scheduler::crashes: 2,235 schedFixed::scheduler::entry: [],236 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),237 schedFixed::scheduler::mAssigned: Set(),238 schedFixed::scheduler::mBuild: Set(),239 schedFixed::scheduler::mDone: Set(),240 schedFixed::scheduler::mExpect: Set(),241 schedFixed::scheduler::mResult: Set(),242 schedFixed::scheduler::mRetry: Set(),243 schedFixed::scheduler::mSchedule: Set("c1"),244 schedFixed::scheduler::published: 0,245 schedFixed::scheduler::publishedBy: Set(),246 schedFixed::scheduler::ws:247 Map(248 "w1" ->249 {250 attached: Set(),251 built: false,252 expecting: false,253 running: false,254 session: true,255 up: true256 },257 "w2" ->258 {259 attached: Set(),260 built: false,261 expecting: false,262 running: false,263 session: true,264 up: true265 }266 )267}268269[State 7]270{271 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),272 schedFixed::scheduler::crashes: 2,273 schedFixed::scheduler::entry:274 [{ followers: Set("c1"), leased: true, worker: "w1" }],275 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),276 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),277 schedFixed::scheduler::mBuild: Set(),278 schedFixed::scheduler::mDone: Set(),279 schedFixed::scheduler::mExpect: Set("w1"),280 schedFixed::scheduler::mResult: Set(),281 schedFixed::scheduler::mRetry: Set(),282 schedFixed::scheduler::mSchedule: Set(),283 schedFixed::scheduler::published: 0,284 schedFixed::scheduler::publishedBy: Set(),285 schedFixed::scheduler::ws:286 Map(287 "w1" ->288 {289 attached: Set(),290 built: false,291 expecting: false,292 running: false,293 session: true,294 up: true295 },296 "w2" ->297 {298 attached: Set(),299 built: false,300 expecting: false,301 running: false,302 session: true,303 up: true304 }305 )306}307308[State 8]309{310 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CIdle),311 schedFixed::scheduler::crashes: 2,312 schedFixed::scheduler::entry:313 [{ followers: Set("c1"), leased: true, worker: "w1" }],314 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),315 schedFixed::scheduler::mAssigned: Set(),316 schedFixed::scheduler::mBuild: Set(("c1", "w1")),317 schedFixed::scheduler::mDone: Set(),318 schedFixed::scheduler::mExpect: Set("w1"),319 schedFixed::scheduler::mResult: Set(),320 schedFixed::scheduler::mRetry: Set(),321 schedFixed::scheduler::mSchedule: Set(),322 schedFixed::scheduler::published: 0,323 schedFixed::scheduler::publishedBy: Set(),324 schedFixed::scheduler::ws:325 Map(326 "w1" ->327 {328 attached: Set(),329 built: false,330 expecting: false,331 running: false,332 session: true,333 up: true334 },335 "w2" ->336 {337 attached: Set(),338 built: false,339 expecting: false,340 running: false,341 session: true,342 up: true343 }344 )345}346347[State 9]348{349 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),350 schedFixed::scheduler::crashes: 2,351 schedFixed::scheduler::entry:352 [{ followers: Set("c1"), leased: true, worker: "w1" }],353 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),354 schedFixed::scheduler::mAssigned: Set(),355 schedFixed::scheduler::mBuild: Set(("c1", "w1")),356 schedFixed::scheduler::mDone: Set(),357 schedFixed::scheduler::mExpect: Set("w1"),358 schedFixed::scheduler::mResult: Set(),359 schedFixed::scheduler::mRetry: Set(),360 schedFixed::scheduler::mSchedule: Set("c2"),361 schedFixed::scheduler::published: 0,362 schedFixed::scheduler::publishedBy: Set(),363 schedFixed::scheduler::ws:364 Map(365 "w1" ->366 {367 attached: Set(),368 built: false,369 expecting: false,370 running: false,371 session: true,372 up: true373 },374 "w2" ->375 {376 attached: Set(),377 built: false,378 expecting: false,379 running: false,380 session: true,381 up: true382 }383 )384}385386[State 10]387{388 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),389 schedFixed::scheduler::crashes: 2,390 schedFixed::scheduler::entry:391 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],392 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),393 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),394 schedFixed::scheduler::mBuild: Set(("c1", "w1")),395 schedFixed::scheduler::mDone: Set(),396 schedFixed::scheduler::mExpect: Set("w1"),397 schedFixed::scheduler::mResult: Set(),398 schedFixed::scheduler::mRetry: Set(),399 schedFixed::scheduler::mSchedule: Set(),400 schedFixed::scheduler::published: 0,401 schedFixed::scheduler::publishedBy: Set(),402 schedFixed::scheduler::ws:403 Map(404 "w1" ->405 {406 attached: Set(),407 built: false,408 expecting: false,409 running: false,410 session: true,411 up: true412 },413 "w2" ->414 {415 attached: Set(),416 built: false,417 expecting: false,418 running: false,419 session: true,420 up: true421 }422 )423}424425[State 11]426{427 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),428 schedFixed::scheduler::crashes: 2,429 schedFixed::scheduler::entry:430 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],431 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),432 schedFixed::scheduler::mAssigned: Set(),433 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),434 schedFixed::scheduler::mDone: Set(),435 schedFixed::scheduler::mExpect: Set("w1"),436 schedFixed::scheduler::mResult: Set(),437 schedFixed::scheduler::mRetry: Set(),438 schedFixed::scheduler::mSchedule: Set(),439 schedFixed::scheduler::published: 0,440 schedFixed::scheduler::publishedBy: Set(),441 schedFixed::scheduler::ws:442 Map(443 "w1" ->444 {445 attached: Set(),446 built: false,447 expecting: false,448 running: false,449 session: true,450 up: true451 },452 "w2" ->453 {454 attached: Set(),455 built: false,456 expecting: false,457 running: false,458 session: true,459 up: true460 }461 )462}463464[State 12]465{466 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),467 schedFixed::scheduler::crashes: 2,468 schedFixed::scheduler::entry:469 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],470 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),471 schedFixed::scheduler::mAssigned: Set(),472 schedFixed::scheduler::mBuild: Set(("c2", "w1")),473 schedFixed::scheduler::mDone: Set(),474 schedFixed::scheduler::mExpect: Set("w1"),475 schedFixed::scheduler::mResult: Set(),476 schedFixed::scheduler::mRetry: Set("c1"),477 schedFixed::scheduler::mSchedule: Set(),478 schedFixed::scheduler::published: 0,479 schedFixed::scheduler::publishedBy: Set(),480 schedFixed::scheduler::ws:481 Map(482 "w1" ->483 {484 attached: Set(),485 built: false,486 expecting: false,487 running: false,488 session: true,489 up: true490 },491 "w2" ->492 {493 attached: Set(),494 built: false,495 expecting: false,496 running: false,497 session: true,498 up: true499 }500 )501}502503[State 13]504{505 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),506 schedFixed::scheduler::crashes: 2,507 schedFixed::scheduler::entry:508 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],509 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),510 schedFixed::scheduler::mAssigned: Set(),511 schedFixed::scheduler::mBuild: Set(("c2", "w1")),512 schedFixed::scheduler::mDone: Set(),513 schedFixed::scheduler::mExpect: Set("w1"),514 schedFixed::scheduler::mResult: Set(),515 schedFixed::scheduler::mRetry: Set(),516 schedFixed::scheduler::mSchedule: Set("c1"),517 schedFixed::scheduler::published: 0,518 schedFixed::scheduler::publishedBy: Set(),519 schedFixed::scheduler::ws:520 Map(521 "w1" ->522 {523 attached: Set(),524 built: false,525 expecting: false,526 running: false,527 session: true,528 up: true529 },530 "w2" ->531 {532 attached: Set(),533 built: false,534 expecting: false,535 running: false,536 session: true,537 up: true538 }539 )540}541542[State 14]543{544 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),545 schedFixed::scheduler::crashes: 2,546 schedFixed::scheduler::entry:547 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],548 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),549 schedFixed::scheduler::mAssigned: Set(),550 schedFixed::scheduler::mBuild: Set(),551 schedFixed::scheduler::mDone: Set(),552 schedFixed::scheduler::mExpect: Set("w1"),553 schedFixed::scheduler::mResult: Set(),554 schedFixed::scheduler::mRetry: Set("c2"),555 schedFixed::scheduler::mSchedule: Set("c1"),556 schedFixed::scheduler::published: 0,557 schedFixed::scheduler::publishedBy: Set(),558 schedFixed::scheduler::ws:559 Map(560 "w1" ->561 {562 attached: Set(),563 built: false,564 expecting: false,565 running: false,566 session: true,567 up: true568 },569 "w2" ->570 {571 attached: Set(),572 built: false,573 expecting: false,574 running: false,575 session: true,576 up: true577 }578 )579}580581[State 15]582{583 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),584 schedFixed::scheduler::crashes: 2,585 schedFixed::scheduler::entry:586 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],587 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),588 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),589 schedFixed::scheduler::mBuild: Set(),590 schedFixed::scheduler::mDone: Set(),591 schedFixed::scheduler::mExpect: Set("w1"),592 schedFixed::scheduler::mResult: Set(),593 schedFixed::scheduler::mRetry: Set("c2"),594 schedFixed::scheduler::mSchedule: Set(),595 schedFixed::scheduler::published: 0,596 schedFixed::scheduler::publishedBy: Set(),597 schedFixed::scheduler::ws:598 Map(599 "w1" ->600 {601 attached: Set(),602 built: false,603 expecting: false,604 running: false,605 session: true,606 up: true607 },608 "w2" ->609 {610 attached: Set(),611 built: false,612 expecting: false,613 running: false,614 session: true,615 up: true616 }617 )618}619620[State 16]621{622 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),623 schedFixed::scheduler::crashes: 2,624 schedFixed::scheduler::entry:625 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],626 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),627 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),628 schedFixed::scheduler::mBuild: Set(),629 schedFixed::scheduler::mDone: Set(),630 schedFixed::scheduler::mExpect: Set("w1"),631 schedFixed::scheduler::mResult: Set(),632 schedFixed::scheduler::mRetry: Set(),633 schedFixed::scheduler::mSchedule: Set("c2"),634 schedFixed::scheduler::published: 0,635 schedFixed::scheduler::publishedBy: Set(),636 schedFixed::scheduler::ws:637 Map(638 "w1" ->639 {640 attached: Set(),641 built: false,642 expecting: false,643 running: false,644 session: true,645 up: true646 },647 "w2" ->648 {649 attached: Set(),650 built: false,651 expecting: false,652 running: false,653 session: true,654 up: true655 }656 )657}658659[State 17]660{661 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),662 schedFixed::scheduler::crashes: 2,663 schedFixed::scheduler::entry:664 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],665 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),666 schedFixed::scheduler::mAssigned: Set(),667 schedFixed::scheduler::mBuild: Set(("c1", "w1")),668 schedFixed::scheduler::mDone: Set(),669 schedFixed::scheduler::mExpect: Set("w1"),670 schedFixed::scheduler::mResult: Set(),671 schedFixed::scheduler::mRetry: Set(),672 schedFixed::scheduler::mSchedule: Set("c2"),673 schedFixed::scheduler::published: 0,674 schedFixed::scheduler::publishedBy: Set(),675 schedFixed::scheduler::ws:676 Map(677 "w1" ->678 {679 attached: Set(),680 built: false,681 expecting: false,682 running: false,683 session: true,684 up: true685 },686 "w2" ->687 {688 attached: Set(),689 built: false,690 expecting: false,691 running: false,692 session: true,693 up: true694 }695 )696}697698[State 18]699{700 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),701 schedFixed::scheduler::crashes: 2,702 schedFixed::scheduler::entry:703 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],704 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),705 schedFixed::scheduler::mAssigned: Set(),706 schedFixed::scheduler::mBuild: Set(),707 schedFixed::scheduler::mDone: Set(),708 schedFixed::scheduler::mExpect: Set("w1"),709 schedFixed::scheduler::mResult: Set(),710 schedFixed::scheduler::mRetry: Set("c1"),711 schedFixed::scheduler::mSchedule: Set("c2"),712 schedFixed::scheduler::published: 0,713 schedFixed::scheduler::publishedBy: Set(),714 schedFixed::scheduler::ws:715 Map(716 "w1" ->717 {718 attached: Set(),719 built: false,720 expecting: false,721 running: false,722 session: true,723 up: true724 },725 "w2" ->726 {727 attached: Set(),728 built: false,729 expecting: false,730 running: false,731 session: true,732 up: true733 }734 )735}736737[State 19]738{739 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),740 schedFixed::scheduler::crashes: 2,741 schedFixed::scheduler::entry:742 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],743 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),744 schedFixed::scheduler::mAssigned: Set(),745 schedFixed::scheduler::mBuild: Set(),746 schedFixed::scheduler::mDone: Set(),747 schedFixed::scheduler::mExpect: Set("w1"),748 schedFixed::scheduler::mResult: Set(),749 schedFixed::scheduler::mRetry: Set(),750 schedFixed::scheduler::mSchedule: Set("c1", "c2"),751 schedFixed::scheduler::published: 0,752 schedFixed::scheduler::publishedBy: Set(),753 schedFixed::scheduler::ws:754 Map(755 "w1" ->756 {757 attached: Set(),758 built: false,759 expecting: false,760 running: false,761 session: true,762 up: true763 },764 "w2" ->765 {766 attached: Set(),767 built: false,768 expecting: false,769 running: false,770 session: true,771 up: true772 }773 )774}775776[State 20]777{778 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),779 schedFixed::scheduler::crashes: 2,780 schedFixed::scheduler::entry:781 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],782 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),783 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),784 schedFixed::scheduler::mBuild: Set(),785 schedFixed::scheduler::mDone: Set(),786 schedFixed::scheduler::mExpect: Set("w1"),787 schedFixed::scheduler::mResult: Set(),788 schedFixed::scheduler::mRetry: Set(),789 schedFixed::scheduler::mSchedule: Set("c1"),790 schedFixed::scheduler::published: 0,791 schedFixed::scheduler::publishedBy: Set(),792 schedFixed::scheduler::ws:793 Map(794 "w1" ->795 {796 attached: Set(),797 built: false,798 expecting: false,799 running: false,800 session: true,801 up: true802 },803 "w2" ->804 {805 attached: Set(),806 built: false,807 expecting: false,808 running: false,809 session: true,810 up: true811 }812 )813}814815[State 21]816{817 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),818 schedFixed::scheduler::crashes: 2,819 schedFixed::scheduler::entry:820 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],821 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),822 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),823 schedFixed::scheduler::mBuild: Set(),824 schedFixed::scheduler::mDone: Set(),825 schedFixed::scheduler::mExpect: Set("w1"),826 schedFixed::scheduler::mResult: Set(),827 schedFixed::scheduler::mRetry: Set(),828 schedFixed::scheduler::mSchedule: Set(),829 schedFixed::scheduler::published: 0,830 schedFixed::scheduler::publishedBy: Set(),831 schedFixed::scheduler::ws:832 Map(833 "w1" ->834 {835 attached: Set(),836 built: false,837 expecting: false,838 running: false,839 session: true,840 up: true841 },842 "w2" ->843 {844 attached: Set(),845 built: false,846 expecting: false,847 running: false,848 session: true,849 up: true850 }851 )852}853854[State 22]855{856 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),857 schedFixed::scheduler::crashes: 2,858 schedFixed::scheduler::entry:859 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],860 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),861 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),862 schedFixed::scheduler::mBuild: Set(("c1", "w1")),863 schedFixed::scheduler::mDone: Set(),864 schedFixed::scheduler::mExpect: Set("w1"),865 schedFixed::scheduler::mResult: Set(),866 schedFixed::scheduler::mRetry: Set(),867 schedFixed::scheduler::mSchedule: Set(),868 schedFixed::scheduler::published: 0,869 schedFixed::scheduler::publishedBy: Set(),870 schedFixed::scheduler::ws:871 Map(872 "w1" ->873 {874 attached: Set(),875 built: false,876 expecting: false,877 running: false,878 session: true,879 up: true880 },881 "w2" ->882 {883 attached: Set(),884 built: false,885 expecting: false,886 running: false,887 session: true,888 up: true889 }890 )891}892893[State 23]894{895 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),896 schedFixed::scheduler::crashes: 2,897 schedFixed::scheduler::entry:898 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],899 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),900 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),901 schedFixed::scheduler::mBuild: Set(("c1", "w1")),902 schedFixed::scheduler::mDone: Set(),903 schedFixed::scheduler::mExpect: Set(),904 schedFixed::scheduler::mResult: Set(),905 schedFixed::scheduler::mRetry: Set(),906 schedFixed::scheduler::mSchedule: Set(),907 schedFixed::scheduler::published: 0,908 schedFixed::scheduler::publishedBy: Set(),909 schedFixed::scheduler::ws:910 Map(911 "w1" ->912 {913 attached: Set(),914 built: false,915 expecting: true,916 running: true,917 session: true,918 up: true919 },920 "w2" ->921 {922 attached: Set(),923 built: false,924 expecting: false,925 running: false,926 session: true,927 up: true928 }929 )930}931932[State 24]933{934 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),935 schedFixed::scheduler::crashes: 2,936 schedFixed::scheduler::entry:937 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],938 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),939 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),940 schedFixed::scheduler::mBuild: Set(("c1", "w1")),941 schedFixed::scheduler::mDone: Set("w1"),942 schedFixed::scheduler::mExpect: Set(),943 schedFixed::scheduler::mResult: Set(),944 schedFixed::scheduler::mRetry: Set(),945 schedFixed::scheduler::mSchedule: Set(),946 schedFixed::scheduler::published: 1,947 schedFixed::scheduler::publishedBy: Set("w1"),948 schedFixed::scheduler::ws:949 Map(950 "w1" ->951 {952 attached: Set(),953 built: true,954 expecting: false,955 running: false,956 session: true,957 up: true958 },959 "w2" ->960 {961 attached: Set(),962 built: false,963 expecting: false,964 running: false,965 session: true,966 up: true967 }968 )969}970971[State 25]972{973 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),974 schedFixed::scheduler::crashes: 2,975 schedFixed::scheduler::entry:976 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],977 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),978 schedFixed::scheduler::mAssigned: Set(),979 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),980 schedFixed::scheduler::mDone: Set("w1"),981 schedFixed::scheduler::mExpect: Set(),982 schedFixed::scheduler::mResult: Set(),983 schedFixed::scheduler::mRetry: Set(),984 schedFixed::scheduler::mSchedule: Set(),985 schedFixed::scheduler::published: 1,986 schedFixed::scheduler::publishedBy: Set("w1"),987 schedFixed::scheduler::ws:988 Map(989 "w1" ->990 {991 attached: Set(),992 built: true,993 expecting: false,994 running: false,995 session: true,996 up: true997 },998 "w2" ->999 {1000 attached: Set(),1001 built: false,1002 expecting: false,1003 running: false,1004 session: true,1005 up: true1006 }1007 )1008}10091010[State 26]1011{1012 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1013 schedFixed::scheduler::crashes: 2,1014 schedFixed::scheduler::entry: [],1015 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1016 schedFixed::scheduler::mAssigned: Set(),1017 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),1018 schedFixed::scheduler::mDone: Set(),1019 schedFixed::scheduler::mExpect: Set(),1020 schedFixed::scheduler::mResult: Set(),1021 schedFixed::scheduler::mRetry: Set(),1022 schedFixed::scheduler::mSchedule: Set(),1023 schedFixed::scheduler::published: 1,1024 schedFixed::scheduler::publishedBy: Set("w1"),1025 schedFixed::scheduler::ws:1026 Map(1027 "w1" ->1028 {1029 attached: Set(),1030 built: true,1031 expecting: false,1032 running: false,1033 session: true,1034 up: true1035 },1036 "w2" ->1037 {1038 attached: Set(),1039 built: false,1040 expecting: false,1041 running: false,1042 session: true,1043 up: true1044 }1045 )1046}10471048[State 27]1049{1050 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1051 schedFixed::scheduler::crashes: 2,1052 schedFixed::scheduler::entry: [],1053 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1054 schedFixed::scheduler::mAssigned: Set(),1055 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1056 schedFixed::scheduler::mDone: Set(),1057 schedFixed::scheduler::mExpect: Set(),1058 schedFixed::scheduler::mResult: Set("c1"),1059 schedFixed::scheduler::mRetry: Set(),1060 schedFixed::scheduler::mSchedule: Set(),1061 schedFixed::scheduler::published: 1,1062 schedFixed::scheduler::publishedBy: Set("w1"),1063 schedFixed::scheduler::ws:1064 Map(1065 "w1" ->1066 {1067 attached: Set(),1068 built: true,1069 expecting: false,1070 running: false,1071 session: true,1072 up: true1073 },1074 "w2" ->1075 {1076 attached: Set(),1077 built: false,1078 expecting: false,1079 running: false,1080 session: true,1081 up: true1082 }1083 )1084}10851086[State 28]1087{1088 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w1")),1089 schedFixed::scheduler::crashes: 2,1090 schedFixed::scheduler::entry: [],1091 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1092 schedFixed::scheduler::mAssigned: Set(),1093 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1094 schedFixed::scheduler::mDone: Set(),1095 schedFixed::scheduler::mExpect: Set(),1096 schedFixed::scheduler::mResult: Set(),1097 schedFixed::scheduler::mRetry: Set(),1098 schedFixed::scheduler::mSchedule: Set(),1099 schedFixed::scheduler::published: 1,1100 schedFixed::scheduler::publishedBy: Set("w1"),1101 schedFixed::scheduler::ws:1102 Map(1103 "w1" ->1104 {1105 attached: Set(),1106 built: true,1107 expecting: false,1108 running: false,1109 session: true,1110 up: true1111 },1112 "w2" ->1113 {1114 attached: Set(),1115 built: false,1116 expecting: false,1117 running: false,1118 session: true,1119 up: true1120 }1121 )1122}11231124[State 29]1125{1126 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w1")),1127 schedFixed::scheduler::crashes: 2,1128 schedFixed::scheduler::entry: [],1129 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1130 schedFixed::scheduler::mAssigned: Set(),1131 schedFixed::scheduler::mBuild: Set(),1132 schedFixed::scheduler::mDone: Set(),1133 schedFixed::scheduler::mExpect: Set(),1134 schedFixed::scheduler::mResult: Set("c2"),1135 schedFixed::scheduler::mRetry: Set(),1136 schedFixed::scheduler::mSchedule: Set(),1137 schedFixed::scheduler::published: 1,1138 schedFixed::scheduler::publishedBy: Set("w1"),1139 schedFixed::scheduler::ws:1140 Map(1141 "w1" ->1142 {1143 attached: Set(),1144 built: true,1145 expecting: false,1146 running: false,1147 session: true,1148 up: true1149 },1150 "w2" ->1151 {1152 attached: Set(),1153 built: false,1154 expecting: false,1155 running: false,1156 session: true,1157 up: true1158 }1159 )1160}11611162[State 30]1163{1164 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),1165 schedFixed::scheduler::crashes: 2,1166 schedFixed::scheduler::entry: [],1167 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1168 schedFixed::scheduler::mAssigned: Set(),1169 schedFixed::scheduler::mBuild: Set(),1170 schedFixed::scheduler::mDone: Set(),1171 schedFixed::scheduler::mExpect: Set(),1172 schedFixed::scheduler::mResult: Set(),1173 schedFixed::scheduler::mRetry: Set(),1174 schedFixed::scheduler::mSchedule: Set(),1175 schedFixed::scheduler::published: 1,1176 schedFixed::scheduler::publishedBy: Set("w1"),1177 schedFixed::scheduler::ws:1178 Map(1179 "w1" ->1180 {1181 attached: Set(),1182 built: true,1183 expecting: false,1184 running: false,1185 session: true,1186 up: true1187 },1188 "w2" ->1189 {1190 attached: Set(),1191 built: false,1192 expecting: false,1193 running: false,1194 session: true,1195 up: true1196 }1197 )1198}11991200[ok] No violation found (10816ms at 2774 traces/second).1201Trace length statistics: max=31, min=14, average=18.481202You may increase --max-samples and --max-steps.1203Use --verbosity to produce more (or less) output.1204Use --seed=0x8c756b0362f0521b --backend=rust to reproduce.1205Running... [ ] 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... [■■ ] 5% | ETA: 4s | 1573/30000 samples | 7455 samples/sRunning... [■■■ ] 7% | ETA: 5s | 2322/30000 samples | 5719 samples/sRunning... [■■■ ] 7% | ETA: 5s | 2322/30000 samples | 5719 samples/sRunning... [■■■■ ] 10% | ETA: 6s | 3050/30000 samples | 5135 samples/sRunning... [■■■■■ ] 11% | ETA: 6s | 3541/30000 samples | 4952 samples/sRunning... [■■■■■ ] 11% | ETA: 6s | 3541/30000 samples | 4952 samples/sRunning... [■■■■■ ] 13% | ETA: 6s | 4016/30000 samples | 4810 samples/sRunning... [■■■■■ ] 13% | ETA: 6s | 4016/30000 samples | 4810 samples/sRunning... [■■■■■■ ] 15% | ETA: 6s | 4795/30000 samples | 4615 samples/sRunning... [■■■■■■■ ] 17% | ETA: 6s | 5152/30000 samples | 4496 samples/sRunning... [■■■■■■■ ] 17% | ETA: 6s | 5152/30000 samples | 4496 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 6s | 6052/30000 samples | 4345 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 6s | 6052/30000 samples | 4345 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 6s | 6660/30000 samples | 4269 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 6s | 6660/30000 samples | 4269 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 6s | 7659/30000 samples | 4231 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 6s | 8188/30000 samples | 4238 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 6s | 8188/30000 samples | 4238 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 6s | 8581/30000 samples | 4178 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 6s | 9225/30000 samples | 4167 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 6s | 9225/30000 samples | 4167 samples/sRunning... [■■■■■■■■■■■■■■ ] 33% | ETA: 6s | 10135/30000 samples | 4138 samples/sRunning... [■■■■■■■■■■■■■■ ] 33% | ETA: 6s | 10135/30000 samples | 4138 samples/sRunning... [■■■■■■■■■■■■■■ ] 33% | ETA: 6s | 10135/30000 samples | 4138 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 6s | 10997/30000 samples | 4091 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 6s | 10997/30000 samples | 4091 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 5s | 11813/30000 samples | 4029 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 5s | 11813/30000 samples | 4029 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 5s | 12511/30000 samples | 4044 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 5s | 12511/30000 samples | 4044 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 5s | 13217/30000 samples | 4041 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 5s | 13606/30000 samples | 4036 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 5s | 14271/30000 samples | 4018 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 5s | 14271/30000 samples | 4018 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 4s | 14999/30000 samples | 4006 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 4s | 14999/30000 samples | 4006 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 4s | 15596/30000 samples | 4015 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 4s | 16007/30000 samples | 4010 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 4s | 16391/30000 samples | 4004 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 4s | 16391/30000 samples | 4004 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 4s | 17335/30000 samples | 3994 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 4s | 17945/30000 samples | 4010 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 4s | 17945/30000 samples | 4010 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 3s | 18777/30000 samples | 3997 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 3s | 18777/30000 samples | 3997 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 3s | 19500/30000 samples | 4002 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 3s | 19500/30000 samples | 4002 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 3s | 19500/30000 samples | 4002 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 3s | 20485/30000 samples | 4001 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 3s | 20485/30000 samples | 4001 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 3s | 21285/30000 samples | 3990 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 72% | ETA: 3s | 21810/30000 samples | 3994 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 72% | ETA: 3s | 21810/30000 samples | 3994 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 75% | ETA: 2s | 22720/30000 samples | 3985 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 75% | ETA: 2s | 22720/30000 samples | 3985 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 75% | ETA: 2s | 22720/30000 samples | 3985 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 2s | 23703/30000 samples | 3982 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 2s | 24247/30000 samples | 3979 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 2s | 24753/30000 samples | 3987 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 2s | 24753/30000 samples | 3987 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 2s | 25232/30000 samples | 3983 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 2s | 25947/30000 samples | 3978 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 2s | 25947/30000 samples | 3978 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 2s | 25947/30000 samples | 3978 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 1s | 26906/30000 samples | 3976 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 1s | 26906/30000 samples | 3976 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 1s | 27830/30000 samples | 3976 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 1s | 27830/30000 samples | 3976 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 28671/30000 samples | 3977 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29109/30000 samples | 3970 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29109/30000 samples | 3970 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 29563/30000 samples | 3970 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29907/30000 samples | 3920 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29999/30000 samples | 3871 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29999/30000 samples | 3871 samples/sAn example execution:12061207[State 0]1208{1209 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1210 schedFixed::scheduler::crashes: 0,1211 schedFixed::scheduler::entry: [],1212 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1213 schedFixed::scheduler::mAssigned: Set(),1214 schedFixed::scheduler::mBuild: Set(),1215 schedFixed::scheduler::mDone: Set(),1216 schedFixed::scheduler::mExpect: Set(),1217 schedFixed::scheduler::mResult: Set(),1218 schedFixed::scheduler::mRetry: Set(),1219 schedFixed::scheduler::mSchedule: Set(),1220 schedFixed::scheduler::published: 0,1221 schedFixed::scheduler::publishedBy: Set(),1222 schedFixed::scheduler::ws:1223 Map(1224 "w1" ->1225 {1226 attached: Set(),1227 built: false,1228 expecting: false,1229 running: false,1230 session: true,1231 up: true1232 },1233 "w2" ->1234 {1235 attached: Set(),1236 built: false,1237 expecting: false,1238 running: false,1239 session: true,1240 up: true1241 }1242 )1243}12441245[State 1]1246{1247 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1248 schedFixed::scheduler::crashes: 0,1249 schedFixed::scheduler::entry: [],1250 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1251 schedFixed::scheduler::mAssigned: Set(),1252 schedFixed::scheduler::mBuild: Set(),1253 schedFixed::scheduler::mDone: Set(),1254 schedFixed::scheduler::mExpect: Set(),1255 schedFixed::scheduler::mResult: Set(),1256 schedFixed::scheduler::mRetry: Set(),1257 schedFixed::scheduler::mSchedule: Set("c2"),1258 schedFixed::scheduler::published: 0,1259 schedFixed::scheduler::publishedBy: Set(),1260 schedFixed::scheduler::ws:1261 Map(1262 "w1" ->1263 {1264 attached: Set(),1265 built: false,1266 expecting: false,1267 running: false,1268 session: true,1269 up: true1270 },1271 "w2" ->1272 {1273 attached: Set(),1274 built: false,1275 expecting: false,1276 running: false,1277 session: true,1278 up: true1279 }1280 )1281}12821283[State 2]1284{1285 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1286 schedFixed::scheduler::crashes: 1,1287 schedFixed::scheduler::entry: [],1288 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1289 schedFixed::scheduler::mAssigned: Set(),1290 schedFixed::scheduler::mBuild: Set(),1291 schedFixed::scheduler::mDone: Set(),1292 schedFixed::scheduler::mExpect: Set(),1293 schedFixed::scheduler::mResult: Set(),1294 schedFixed::scheduler::mRetry: Set(),1295 schedFixed::scheduler::mSchedule: Set("c2"),1296 schedFixed::scheduler::published: 0,1297 schedFixed::scheduler::publishedBy: Set(),1298 schedFixed::scheduler::ws:1299 Map(1300 "w1" ->1301 {1302 attached: Set(),1303 built: false,1304 expecting: false,1305 running: false,1306 session: true,1307 up: true1308 },1309 "w2" ->1310 {1311 attached: Set(),1312 built: false,1313 expecting: false,1314 running: false,1315 session: false,1316 up: false1317 }1318 )1319}13201321[State 3]1322{1323 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1324 schedFixed::scheduler::crashes: 1,1325 schedFixed::scheduler::entry: [],1326 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1327 schedFixed::scheduler::mAssigned: Set(),1328 schedFixed::scheduler::mBuild: Set(),1329 schedFixed::scheduler::mDone: Set(),1330 schedFixed::scheduler::mExpect: Set(),1331 schedFixed::scheduler::mResult: Set(),1332 schedFixed::scheduler::mRetry: Set(),1333 schedFixed::scheduler::mSchedule: Set("c1", "c2"),1334 schedFixed::scheduler::published: 0,1335 schedFixed::scheduler::publishedBy: Set(),1336 schedFixed::scheduler::ws:1337 Map(1338 "w1" ->1339 {1340 attached: Set(),1341 built: false,1342 expecting: false,1343 running: false,1344 session: true,1345 up: true1346 },1347 "w2" ->1348 {1349 attached: Set(),1350 built: false,1351 expecting: false,1352 running: false,1353 session: false,1354 up: false1355 }1356 )1357}13581359[State 4]1360{1361 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1362 schedFixed::scheduler::crashes: 1,1363 schedFixed::scheduler::entry:1364 [{ followers: Set("c1"), leased: true, worker: "w1" }],1365 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1366 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1367 schedFixed::scheduler::mBuild: Set(),1368 schedFixed::scheduler::mDone: Set(),1369 schedFixed::scheduler::mExpect: Set("w1"),1370 schedFixed::scheduler::mResult: Set(),1371 schedFixed::scheduler::mRetry: Set(),1372 schedFixed::scheduler::mSchedule: Set("c2"),1373 schedFixed::scheduler::published: 0,1374 schedFixed::scheduler::publishedBy: Set(),1375 schedFixed::scheduler::ws:1376 Map(1377 "w1" ->1378 {1379 attached: Set(),1380 built: false,1381 expecting: false,1382 running: false,1383 session: true,1384 up: true1385 },1386 "w2" ->1387 {1388 attached: Set(),1389 built: false,1390 expecting: false,1391 running: false,1392 session: false,1393 up: false1394 }1395 )1396}13971398[State 5]1399{1400 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1401 schedFixed::scheduler::crashes: 1,1402 schedFixed::scheduler::entry:1403 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1404 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1405 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),1406 schedFixed::scheduler::mBuild: Set(),1407 schedFixed::scheduler::mDone: Set(),1408 schedFixed::scheduler::mExpect: Set("w1"),1409 schedFixed::scheduler::mResult: Set(),1410 schedFixed::scheduler::mRetry: Set(),1411 schedFixed::scheduler::mSchedule: Set(),1412 schedFixed::scheduler::published: 0,1413 schedFixed::scheduler::publishedBy: Set(),1414 schedFixed::scheduler::ws:1415 Map(1416 "w1" ->1417 {1418 attached: Set(),1419 built: false,1420 expecting: false,1421 running: false,1422 session: true,1423 up: true1424 },1425 "w2" ->1426 {1427 attached: Set(),1428 built: false,1429 expecting: false,1430 running: false,1431 session: false,1432 up: false1433 }1434 )1435}14361437[State 6]1438{1439 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),1440 schedFixed::scheduler::crashes: 1,1441 schedFixed::scheduler::entry:1442 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1443 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1444 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1445 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1446 schedFixed::scheduler::mDone: Set(),1447 schedFixed::scheduler::mExpect: Set("w1"),1448 schedFixed::scheduler::mResult: Set(),1449 schedFixed::scheduler::mRetry: Set(),1450 schedFixed::scheduler::mSchedule: Set(),1451 schedFixed::scheduler::published: 0,1452 schedFixed::scheduler::publishedBy: Set(),1453 schedFixed::scheduler::ws:1454 Map(1455 "w1" ->1456 {1457 attached: Set(),1458 built: false,1459 expecting: false,1460 running: false,1461 session: true,1462 up: true1463 },1464 "w2" ->1465 {1466 attached: Set(),1467 built: false,1468 expecting: false,1469 running: false,1470 session: false,1471 up: false1472 }1473 )1474}14751476[State 7]1477{1478 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),1479 schedFixed::scheduler::crashes: 1,1480 schedFixed::scheduler::entry:1481 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1482 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1483 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1484 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1485 schedFixed::scheduler::mDone: Set(),1486 schedFixed::scheduler::mExpect: Set(),1487 schedFixed::scheduler::mResult: Set(),1488 schedFixed::scheduler::mRetry: Set(),1489 schedFixed::scheduler::mSchedule: Set(),1490 schedFixed::scheduler::published: 0,1491 schedFixed::scheduler::publishedBy: Set(),1492 schedFixed::scheduler::ws:1493 Map(1494 "w1" ->1495 {1496 attached: Set(),1497 built: false,1498 expecting: true,1499 running: true,1500 session: true,1501 up: true1502 },1503 "w2" ->1504 {1505 attached: Set(),1506 built: false,1507 expecting: false,1508 running: false,1509 session: false,1510 up: false1511 }1512 )1513}15141515[State 8]1516{1517 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),1518 schedFixed::scheduler::crashes: 1,1519 schedFixed::scheduler::entry:1520 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1521 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1522 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1523 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1524 schedFixed::scheduler::mDone: Set(),1525 schedFixed::scheduler::mExpect: Set(),1526 schedFixed::scheduler::mResult: Set(),1527 schedFixed::scheduler::mRetry: Set(),1528 schedFixed::scheduler::mSchedule: Set(),1529 schedFixed::scheduler::published: 0,1530 schedFixed::scheduler::publishedBy: Set(),1531 schedFixed::scheduler::ws:1532 Map(1533 "w1" ->1534 {1535 attached: Set(),1536 built: false,1537 expecting: true,1538 running: true,1539 session: true,1540 up: true1541 },1542 "w2" ->1543 {1544 attached: Set(),1545 built: false,1546 expecting: false,1547 running: false,1548 session: true,1549 up: true1550 }1551 )1552}15531554[State 9]1555{1556 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1557 schedFixed::scheduler::crashes: 1,1558 schedFixed::scheduler::entry:1559 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1560 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1561 schedFixed::scheduler::mAssigned: Set(),1562 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),1563 schedFixed::scheduler::mDone: Set(),1564 schedFixed::scheduler::mExpect: Set(),1565 schedFixed::scheduler::mResult: Set(),1566 schedFixed::scheduler::mRetry: Set(),1567 schedFixed::scheduler::mSchedule: Set(),1568 schedFixed::scheduler::published: 0,1569 schedFixed::scheduler::publishedBy: Set(),1570 schedFixed::scheduler::ws:1571 Map(1572 "w1" ->1573 {1574 attached: Set(),1575 built: false,1576 expecting: true,1577 running: true,1578 session: true,1579 up: true1580 },1581 "w2" ->1582 {1583 attached: Set(),1584 built: false,1585 expecting: false,1586 running: false,1587 session: true,1588 up: true1589 }1590 )1591}15921593[State 10]1594{1595 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1596 schedFixed::scheduler::crashes: 2,1597 schedFixed::scheduler::entry:1598 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1599 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1600 schedFixed::scheduler::mAssigned: Set(),1601 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),1602 schedFixed::scheduler::mDone: Set(),1603 schedFixed::scheduler::mExpect: Set(),1604 schedFixed::scheduler::mResult: Set(),1605 schedFixed::scheduler::mRetry: Set(),1606 schedFixed::scheduler::mSchedule: Set(),1607 schedFixed::scheduler::published: 0,1608 schedFixed::scheduler::publishedBy: Set(),1609 schedFixed::scheduler::ws:1610 Map(1611 "w1" ->1612 {1613 attached: Set(),1614 built: false,1615 expecting: false,1616 running: false,1617 session: false,1618 up: false1619 },1620 "w2" ->1621 {1622 attached: Set(),1623 built: false,1624 expecting: false,1625 running: false,1626 session: true,1627 up: true1628 }1629 )1630}16311632[State 11]1633{1634 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1635 schedFixed::scheduler::crashes: 2,1636 schedFixed::scheduler::entry:1637 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1638 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1639 schedFixed::scheduler::mAssigned: Set(),1640 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1641 schedFixed::scheduler::mDone: Set(),1642 schedFixed::scheduler::mExpect: Set(),1643 schedFixed::scheduler::mResult: Set(),1644 schedFixed::scheduler::mRetry: Set("c1"),1645 schedFixed::scheduler::mSchedule: Set(),1646 schedFixed::scheduler::published: 0,1647 schedFixed::scheduler::publishedBy: Set(),1648 schedFixed::scheduler::ws:1649 Map(1650 "w1" ->1651 {1652 attached: Set(),1653 built: false,1654 expecting: false,1655 running: false,1656 session: false,1657 up: false1658 },1659 "w2" ->1660 {1661 attached: Set(),1662 built: false,1663 expecting: false,1664 running: false,1665 session: true,1666 up: true1667 }1668 )1669}16701671[State 12]1672{1673 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1674 schedFixed::scheduler::crashes: 2,1675 schedFixed::scheduler::entry: [],1676 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1677 schedFixed::scheduler::mAssigned: Set(),1678 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1679 schedFixed::scheduler::mDone: Set(),1680 schedFixed::scheduler::mExpect: Set(),1681 schedFixed::scheduler::mResult: Set(),1682 schedFixed::scheduler::mRetry: Set("c1", "c2"),1683 schedFixed::scheduler::mSchedule: Set(),1684 schedFixed::scheduler::published: 0,1685 schedFixed::scheduler::publishedBy: Set(),1686 schedFixed::scheduler::ws:1687 Map(1688 "w1" ->1689 {1690 attached: Set(),1691 built: false,1692 expecting: false,1693 running: false,1694 session: true,1695 up: true1696 },1697 "w2" ->1698 {1699 attached: Set(),1700 built: false,1701 expecting: false,1702 running: false,1703 session: true,1704 up: true1705 }1706 )1707}17081709[State 13]1710{1711 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),1712 schedFixed::scheduler::crashes: 2,1713 schedFixed::scheduler::entry: [],1714 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1715 schedFixed::scheduler::mAssigned: Set(),1716 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1717 schedFixed::scheduler::mDone: Set(),1718 schedFixed::scheduler::mExpect: Set(),1719 schedFixed::scheduler::mResult: Set(),1720 schedFixed::scheduler::mRetry: Set("c2"),1721 schedFixed::scheduler::mSchedule: Set("c1"),1722 schedFixed::scheduler::published: 0,1723 schedFixed::scheduler::publishedBy: Set(),1724 schedFixed::scheduler::ws:1725 Map(1726 "w1" ->1727 {1728 attached: Set(),1729 built: false,1730 expecting: false,1731 running: false,1732 session: true,1733 up: true1734 },1735 "w2" ->1736 {1737 attached: Set(),1738 built: false,1739 expecting: false,1740 running: false,1741 session: true,1742 up: true1743 }1744 )1745}17461747[State 14]1748{1749 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),1750 schedFixed::scheduler::crashes: 2,1751 schedFixed::scheduler::entry:1752 [{ followers: Set("c1"), leased: true, worker: "w2" }],1753 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1754 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),1755 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1756 schedFixed::scheduler::mDone: Set(),1757 schedFixed::scheduler::mExpect: Set("w2"),1758 schedFixed::scheduler::mResult: Set(),1759 schedFixed::scheduler::mRetry: Set("c2"),1760 schedFixed::scheduler::mSchedule: Set(),1761 schedFixed::scheduler::published: 0,1762 schedFixed::scheduler::publishedBy: Set(),1763 schedFixed::scheduler::ws:1764 Map(1765 "w1" ->1766 {1767 attached: Set(),1768 built: false,1769 expecting: false,1770 running: false,1771 session: true,1772 up: true1773 },1774 "w2" ->1775 {1776 attached: Set(),1777 built: false,1778 expecting: false,1779 running: false,1780 session: true,1781 up: true1782 }1783 )1784}17851786[State 15]1787{1788 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w1")),1789 schedFixed::scheduler::crashes: 2,1790 schedFixed::scheduler::entry:1791 [{ followers: Set("c1"), leased: true, worker: "w2" }],1792 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1793 schedFixed::scheduler::mAssigned: Set(),1794 schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w1")),1795 schedFixed::scheduler::mDone: Set(),1796 schedFixed::scheduler::mExpect: Set("w2"),1797 schedFixed::scheduler::mResult: Set(),1798 schedFixed::scheduler::mRetry: Set("c2"),1799 schedFixed::scheduler::mSchedule: Set(),1800 schedFixed::scheduler::published: 0,1801 schedFixed::scheduler::publishedBy: Set(),1802 schedFixed::scheduler::ws:1803 Map(1804 "w1" ->1805 {1806 attached: Set(),1807 built: false,1808 expecting: false,1809 running: false,1810 session: true,1811 up: true1812 },1813 "w2" ->1814 {1815 attached: Set(),1816 built: false,1817 expecting: false,1818 running: false,1819 session: true,1820 up: true1821 }1822 )1823}18241825[State 16]1826{1827 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1828 schedFixed::scheduler::crashes: 2,1829 schedFixed::scheduler::entry:1830 [{ followers: Set("c1"), leased: true, worker: "w2" }],1831 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1832 schedFixed::scheduler::mAssigned: Set(),1833 schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w1")),1834 schedFixed::scheduler::mDone: Set(),1835 schedFixed::scheduler::mExpect: Set("w2"),1836 schedFixed::scheduler::mResult: Set(),1837 schedFixed::scheduler::mRetry: Set(),1838 schedFixed::scheduler::mSchedule: Set("c2"),1839 schedFixed::scheduler::published: 0,1840 schedFixed::scheduler::publishedBy: Set(),1841 schedFixed::scheduler::ws:1842 Map(1843 "w1" ->1844 {1845 attached: Set(),1846 built: false,1847 expecting: false,1848 running: false,1849 session: true,1850 up: true1851 },1852 "w2" ->1853 {1854 attached: Set(),1855 built: false,1856 expecting: false,1857 running: false,1858 session: true,1859 up: true1860 }1861 )1862}18631864[State 17]1865{1866 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1867 schedFixed::scheduler::crashes: 2,1868 schedFixed::scheduler::entry:1869 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1870 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1871 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),1872 schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w1")),1873 schedFixed::scheduler::mDone: Set(),1874 schedFixed::scheduler::mExpect: Set("w2"),1875 schedFixed::scheduler::mResult: Set(),1876 schedFixed::scheduler::mRetry: Set(),1877 schedFixed::scheduler::mSchedule: Set(),1878 schedFixed::scheduler::published: 0,1879 schedFixed::scheduler::publishedBy: Set(),1880 schedFixed::scheduler::ws:1881 Map(1882 "w1" ->1883 {1884 attached: Set(),1885 built: false,1886 expecting: false,1887 running: false,1888 session: true,1889 up: true1890 },1891 "w2" ->1892 {1893 attached: Set(),1894 built: false,1895 expecting: false,1896 running: false,1897 session: true,1898 up: true1899 }1900 )1901}19021903[State 18]1904{1905 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1906 schedFixed::scheduler::crashes: 2,1907 schedFixed::scheduler::entry:1908 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1909 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1910 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),1911 schedFixed::scheduler::mBuild: Set(("c1", "w2")),1912 schedFixed::scheduler::mDone: Set(),1913 schedFixed::scheduler::mExpect: Set("w2"),1914 schedFixed::scheduler::mResult: Set(),1915 schedFixed::scheduler::mRetry: Set("c2"),1916 schedFixed::scheduler::mSchedule: Set(),1917 schedFixed::scheduler::published: 0,1918 schedFixed::scheduler::publishedBy: Set(),1919 schedFixed::scheduler::ws:1920 Map(1921 "w1" ->1922 {1923 attached: Set(),1924 built: false,1925 expecting: false,1926 running: false,1927 session: true,1928 up: true1929 },1930 "w2" ->1931 {1932 attached: Set(),1933 built: false,1934 expecting: false,1935 running: false,1936 session: true,1937 up: true1938 }1939 )1940}19411942[State 19]1943{1944 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1945 schedFixed::scheduler::crashes: 2,1946 schedFixed::scheduler::entry:1947 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1948 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1949 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),1950 schedFixed::scheduler::mBuild: Set(),1951 schedFixed::scheduler::mDone: Set(),1952 schedFixed::scheduler::mExpect: Set("w2"),1953 schedFixed::scheduler::mResult: Set(),1954 schedFixed::scheduler::mRetry: Set("c1", "c2"),1955 schedFixed::scheduler::mSchedule: Set(),1956 schedFixed::scheduler::published: 0,1957 schedFixed::scheduler::publishedBy: Set(),1958 schedFixed::scheduler::ws:1959 Map(1960 "w1" ->1961 {1962 attached: Set(),1963 built: false,1964 expecting: false,1965 running: false,1966 session: true,1967 up: true1968 },1969 "w2" ->1970 {1971 attached: Set(),1972 built: false,1973 expecting: false,1974 running: false,1975 session: true,1976 up: true1977 }1978 )1979}19801981[State 20]1982{1983 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1984 schedFixed::scheduler::crashes: 2,1985 schedFixed::scheduler::entry:1986 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1987 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1988 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),1989 schedFixed::scheduler::mBuild: Set(),1990 schedFixed::scheduler::mDone: Set(),1991 schedFixed::scheduler::mExpect: Set(),1992 schedFixed::scheduler::mResult: Set(),1993 schedFixed::scheduler::mRetry: Set("c1", "c2"),1994 schedFixed::scheduler::mSchedule: Set(),1995 schedFixed::scheduler::published: 0,1996 schedFixed::scheduler::publishedBy: Set(),1997 schedFixed::scheduler::ws:1998 Map(1999 "w1" ->2000 {2001 attached: Set(),2002 built: false,2003 expecting: false,2004 running: false,2005 session: true,2006 up: true2007 },2008 "w2" ->2009 {2010 attached: Set(),2011 built: false,2012 expecting: true,2013 running: true,2014 session: true,2015 up: true2016 }2017 )2018}20192020[State 21]2021{2022 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2023 schedFixed::scheduler::crashes: 2,2024 schedFixed::scheduler::entry:2025 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2026 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),2027 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),2028 schedFixed::scheduler::mBuild: Set(),2029 schedFixed::scheduler::mDone: Set(),2030 schedFixed::scheduler::mExpect: Set(),2031 schedFixed::scheduler::mResult: Set(),2032 schedFixed::scheduler::mRetry: Set("c2"),2033 schedFixed::scheduler::mSchedule: Set("c1"),2034 schedFixed::scheduler::published: 0,2035 schedFixed::scheduler::publishedBy: Set(),2036 schedFixed::scheduler::ws:2037 Map(2038 "w1" ->2039 {2040 attached: Set(),2041 built: false,2042 expecting: false,2043 running: false,2044 session: true,2045 up: true2046 },2047 "w2" ->2048 {2049 attached: Set(),2050 built: false,2051 expecting: true,2052 running: true,2053 session: true,2054 up: true2055 }2056 )2057}20582059[State 22]2060{2061 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2062 schedFixed::scheduler::crashes: 2,2063 schedFixed::scheduler::entry:2064 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2065 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),2066 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),2067 schedFixed::scheduler::mBuild: Set(),2068 schedFixed::scheduler::mDone: Set(),2069 schedFixed::scheduler::mExpect: Set(),2070 schedFixed::scheduler::mResult: Set(),2071 schedFixed::scheduler::mRetry: Set("c2"),2072 schedFixed::scheduler::mSchedule: Set(),2073 schedFixed::scheduler::published: 0,2074 schedFixed::scheduler::publishedBy: Set(),2075 schedFixed::scheduler::ws:2076 Map(2077 "w1" ->2078 {2079 attached: Set(),2080 built: false,2081 expecting: false,2082 running: false,2083 session: true,2084 up: true2085 },2086 "w2" ->2087 {2088 attached: Set(),2089 built: false,2090 expecting: true,2091 running: true,2092 session: true,2093 up: true2094 }2095 )2096}20972098[State 23]2099{2100 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2101 schedFixed::scheduler::crashes: 2,2102 schedFixed::scheduler::entry:2103 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2104 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),2105 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),2106 schedFixed::scheduler::mBuild: Set(),2107 schedFixed::scheduler::mDone: Set(),2108 schedFixed::scheduler::mExpect: Set(),2109 schedFixed::scheduler::mResult: Set(),2110 schedFixed::scheduler::mRetry: Set(),2111 schedFixed::scheduler::mSchedule: Set("c2"),2112 schedFixed::scheduler::published: 0,2113 schedFixed::scheduler::publishedBy: Set(),2114 schedFixed::scheduler::ws:2115 Map(2116 "w1" ->2117 {2118 attached: Set(),2119 built: false,2120 expecting: false,2121 running: false,2122 session: true,2123 up: true2124 },2125 "w2" ->2126 {2127 attached: Set(),2128 built: false,2129 expecting: true,2130 running: true,2131 session: true,2132 up: true2133 }2134 )2135}21362137[State 24]2138{2139 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),2140 schedFixed::scheduler::crashes: 2,2141 schedFixed::scheduler::entry:2142 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2143 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),2144 schedFixed::scheduler::mAssigned: Set(),2145 schedFixed::scheduler::mBuild: Set(("c1", "w2")),2146 schedFixed::scheduler::mDone: Set(),2147 schedFixed::scheduler::mExpect: Set(),2148 schedFixed::scheduler::mResult: Set(),2149 schedFixed::scheduler::mRetry: Set(),2150 schedFixed::scheduler::mSchedule: Set("c2"),2151 schedFixed::scheduler::published: 0,2152 schedFixed::scheduler::publishedBy: Set(),2153 schedFixed::scheduler::ws:2154 Map(2155 "w1" ->2156 {2157 attached: Set(),2158 built: false,2159 expecting: false,2160 running: false,2161 session: true,2162 up: true2163 },2164 "w2" ->2165 {2166 attached: Set(),2167 built: false,2168 expecting: true,2169 running: true,2170 session: true,2171 up: true2172 }2173 )2174}21752176[State 25]2177{2178 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),2179 schedFixed::scheduler::crashes: 2,2180 schedFixed::scheduler::entry:2181 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2182 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),2183 schedFixed::scheduler::mAssigned: Set(),2184 schedFixed::scheduler::mBuild: Set(("c1", "w2")),2185 schedFixed::scheduler::mDone: Set("w2"),2186 schedFixed::scheduler::mExpect: Set(),2187 schedFixed::scheduler::mResult: Set(),2188 schedFixed::scheduler::mRetry: Set(),2189 schedFixed::scheduler::mSchedule: Set("c2"),2190 schedFixed::scheduler::published: 1,2191 schedFixed::scheduler::publishedBy: Set("w2"),2192 schedFixed::scheduler::ws:2193 Map(2194 "w1" ->2195 {2196 attached: Set(),2197 built: false,2198 expecting: false,2199 running: false,2200 session: true,2201 up: true2202 },2203 "w2" ->2204 {2205 attached: Set(),2206 built: true,2207 expecting: false,2208 running: false,2209 session: true,2210 up: true2211 }2212 )2213}22142215[State 26]2216{2217 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),2218 schedFixed::scheduler::crashes: 2,2219 schedFixed::scheduler::entry: [],2220 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),2221 schedFixed::scheduler::mAssigned: Set(),2222 schedFixed::scheduler::mBuild: Set(("c1", "w2")),2223 schedFixed::scheduler::mDone: Set(),2224 schedFixed::scheduler::mExpect: Set(),2225 schedFixed::scheduler::mResult: Set(),2226 schedFixed::scheduler::mRetry: Set(),2227 schedFixed::scheduler::mSchedule: Set("c2"),2228 schedFixed::scheduler::published: 1,2229 schedFixed::scheduler::publishedBy: Set("w2"),2230 schedFixed::scheduler::ws:2231 Map(2232 "w1" ->2233 {2234 attached: Set(),2235 built: false,2236 expecting: false,2237 running: false,2238 session: true,2239 up: true2240 },2241 "w2" ->2242 {2243 attached: Set(),2244 built: true,2245 expecting: false,2246 running: false,2247 session: true,2248 up: true2249 }2250 )2251}22522253[State 27]2254{2255 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),2256 schedFixed::scheduler::crashes: 2,2257 schedFixed::scheduler::entry: [],2258 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),2259 schedFixed::scheduler::mAssigned: Set(),2260 schedFixed::scheduler::mBuild: Set(("c1", "w2")),2261 schedFixed::scheduler::mDone: Set(),2262 schedFixed::scheduler::mExpect: Set(),2263 schedFixed::scheduler::mResult: Set("c2"),2264 schedFixed::scheduler::mRetry: Set(),2265 schedFixed::scheduler::mSchedule: Set(),2266 schedFixed::scheduler::published: 1,2267 schedFixed::scheduler::publishedBy: Set("w2"),2268 schedFixed::scheduler::ws:2269 Map(2270 "w1" ->2271 {2272 attached: Set(),2273 built: false,2274 expecting: false,2275 running: false,2276 session: true,2277 up: true2278 },2279 "w2" ->2280 {2281 attached: Set(),2282 built: true,2283 expecting: false,2284 running: false,2285 session: true,2286 up: true2287 }2288 )2289}22902291[State 28]2292{2293 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CDone),2294 schedFixed::scheduler::crashes: 2,2295 schedFixed::scheduler::entry: [],2296 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),2297 schedFixed::scheduler::mAssigned: Set(),2298 schedFixed::scheduler::mBuild: Set(("c1", "w2")),2299 schedFixed::scheduler::mDone: Set(),2300 schedFixed::scheduler::mExpect: Set(),2301 schedFixed::scheduler::mResult: Set(),2302 schedFixed::scheduler::mRetry: Set(),2303 schedFixed::scheduler::mSchedule: Set(),2304 schedFixed::scheduler::published: 1,2305 schedFixed::scheduler::publishedBy: Set("w2"),2306 schedFixed::scheduler::ws:2307 Map(2308 "w1" ->2309 {2310 attached: Set(),2311 built: false,2312 expecting: false,2313 running: false,2314 session: true,2315 up: true2316 },2317 "w2" ->2318 {2319 attached: Set(),2320 built: true,2321 expecting: false,2322 running: false,2323 session: true,2324 up: true2325 }2326 )2327}23282329[State 29]2330{2331 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CDone),2332 schedFixed::scheduler::crashes: 2,2333 schedFixed::scheduler::entry: [],2334 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),2335 schedFixed::scheduler::mAssigned: Set(),2336 schedFixed::scheduler::mBuild: Set(),2337 schedFixed::scheduler::mDone: Set(),2338 schedFixed::scheduler::mExpect: Set(),2339 schedFixed::scheduler::mResult: Set("c1"),2340 schedFixed::scheduler::mRetry: Set(),2341 schedFixed::scheduler::mSchedule: Set(),2342 schedFixed::scheduler::published: 1,2343 schedFixed::scheduler::publishedBy: Set("w2"),2344 schedFixed::scheduler::ws:2345 Map(2346 "w1" ->2347 {2348 attached: Set(),2349 built: false,2350 expecting: false,2351 running: false,2352 session: true,2353 up: true2354 },2355 "w2" ->2356 {2357 attached: Set(),2358 built: true,2359 expecting: false,2360 running: false,2361 session: true,2362 up: true2363 }2364 )2365}23662367[State 30]2368{2369 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),2370 schedFixed::scheduler::crashes: 2,2371 schedFixed::scheduler::entry: [],2372 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),2373 schedFixed::scheduler::mAssigned: Set(),2374 schedFixed::scheduler::mBuild: Set(),2375 schedFixed::scheduler::mDone: Set(),2376 schedFixed::scheduler::mExpect: Set(),2377 schedFixed::scheduler::mResult: Set(),2378 schedFixed::scheduler::mRetry: Set(),2379 schedFixed::scheduler::mSchedule: Set(),2380 schedFixed::scheduler::published: 1,2381 schedFixed::scheduler::publishedBy: Set("w2"),2382 schedFixed::scheduler::ws:2383 Map(2384 "w1" ->2385 {2386 attached: Set(),2387 built: false,2388 expecting: false,2389 running: false,2390 session: true,2391 up: true2392 },2393 "w2" ->2394 {2395 attached: Set(),2396 built: true,2397 expecting: false,2398 running: false,2399 session: true,2400 up: true2401 }2402 )2403}24042405[ok] No violation found (7814ms at 3839 traces/second).2406Trace length statistics: max=31, min=16, average=19.102407You may increase --max-samples and --max-steps.2408Use --verbosity to produce more (or less) output.2409Use --seed=0xe3baece213f12a89 --backend=rust to reproduce.2410Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■ ] 3% | ETA: 6s | 987/30000 samples | 5806 samples/sRunning... [■ ] 3% | ETA: 6s | 987/30000 samples | 5806 samples/sRunning... [■ ] 3% | ETA: 6s | 987/30000 samples | 5806 samples/sRunning... [■■ ] 5% | ETA: 8s | 1600/30000 samples | 3819 samples/sRunning... [■■■ ] 6% | ETA: 9s | 1891/30000 samples | 3476 samples/sRunning... [■■■ ] 6% | ETA: 9s | 1891/30000 samples | 3476 samples/sRunning... [■■■ ] 8% | ETA: 9s | 2498/30000 samples | 3146 samples/sRunning... [■■■ ] 8% | ETA: 9s | 2498/30000 samples | 3146 samples/sRunning... [■■■ ] 8% | ETA: 9s | 2498/30000 samples | 3146 samples/sRunning... [■■■■ ] 10% | ETA: 10s | 3059/30000 samples | 2979 samples/sRunning... [■■■■■ ] 11% | ETA: 10s | 3441/30000 samples | 2894 samples/sRunning... [■■■■■ ] 11% | ETA: 10s | 3441/30000 samples | 2894 samples/sRunning... [■■■■■ ] 12% | ETA: 10s | 3745/30000 samples | 2812 samples/sRunning... [■■■■■ ] 13% | ETA: 10s | 4081/30000 samples | 2765 samples/sRunning... [■■■■■ ] 13% | ETA: 10s | 4081/30000 samples | 2765 samples/sRunning... [■■■■■■ ] 15% | ETA: 10s | 4500/30000 samples | 2696 samples/sRunning... [■■■■■■ ] 16% | ETA: 11s | 4815/30000 samples | 2659 samples/sRunning... [■■■■■■ ] 16% | ETA: 11s | 4815/30000 samples | 2659 samples/sRunning... [■■■■■■ ] 16% | ETA: 11s | 4815/30000 samples | 2659 samples/sRunning... [■■■■■■■ ] 17% | ETA: 11s | 5326/30000 samples | 2597 samples/sRunning... [■■■■■■■ ] 17% | ETA: 11s | 5326/30000 samples | 2597 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 11s | 5898/30000 samples | 2563 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 11s | 6182/30000 samples | 2556 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 11s | 6182/30000 samples | 2556 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 11s | 6695/30000 samples | 2537 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 11s | 6695/30000 samples | 2537 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 11s | 6695/30000 samples | 2537 samples/sRunning... [■■■■■■■■■■ ] 23% | ETA: 11s | 7195/30000 samples | 2508 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 11s | 7527/30000 samples | 2494 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 11s | 7527/30000 samples | 2494 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 11s | 7981/30000 samples | 2449 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 11s | 7981/30000 samples | 2449 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 11s | 7981/30000 samples | 2449 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 11s | 8428/30000 samples | 2402 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 11s | 8701/30000 samples | 2371 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 11s | 8701/30000 samples | 2371 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 11s | 8882/30000 samples | 2350 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 11s | 9037/30000 samples | 2329 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 11s | 9037/30000 samples | 2329 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 11s | 9440/30000 samples | 2286 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 12s | 9663/30000 samples | 2259 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 12s | 9663/30000 samples | 2259 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 12s | 9883/30000 samples | 2228 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 13s | 10020/30000 samples | 2200 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 13s | 10020/30000 samples | 2200 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 13s | 10324/30000 samples | 2154 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 13s | 10324/30000 samples | 2154 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 13s | 10324/30000 samples | 2154 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 14s | 10621/30000 samples | 2108 samples/sRunning... [■■■■■■■■■■■■■■ ] 36% | ETA: 14s | 10805/30000 samples | 2090 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 14s | 10957/30000 samples | 2078 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 14s | 10957/30000 samples | 2078 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 14s | 11170/30000 samples | 2061 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 14s | 11318/30000 samples | 2047 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 14s | 11525/30000 samples | 2033 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 38% | ETA: 14s | 11678/30000 samples | 2021 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 38% | ETA: 14s | 11678/30000 samples | 2021 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 14s | 11880/30000 samples | 2007 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 14s | 11880/30000 samples | 2007 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 13s | 12222/30000 samples | 1981 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 13s | 12399/30000 samples | 1970 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 13s | 12399/30000 samples | 1970 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 13s | 12590/30000 samples | 1959 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 13s | 12844/30000 samples | 1944 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 13s | 12985/30000 samples | 1935 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 13s | 12985/30000 samples | 1935 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 13s | 12985/30000 samples | 1935 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 12s | 13320/30000 samples | 1914 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 12s | 13320/30000 samples | 1914 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 12s | 13631/30000 samples | 1901 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 12s | 13815/30000 samples | 1894 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 12s | 13815/30000 samples | 1894 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 12s | 14133/30000 samples | 1878 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 12s | 14133/30000 samples | 1878 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 12s | 14286/30000 samples | 1867 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 12s | 14455/30000 samples | 1855 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 12s | 14455/30000 samples | 1855 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 12s | 14654/30000 samples | 1841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 12s | 14654/30000 samples | 1841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 12s | 14915/30000 samples | 1826 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 12s | 15047/30000 samples | 1815 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 12s | 15170/30000 samples | 1807 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 12s | 15170/30000 samples | 1807 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 12s | 15399/30000 samples | 1788 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 12s | 15399/30000 samples | 1788 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 12s | 15714/30000 samples | 1774 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 12s | 15714/30000 samples | 1774 samples/sAn example execution:24112412[State 0]2413{2414 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2415 schedNoFence::scheduler::crashes: 0,2416 schedNoFence::scheduler::entry: [],2417 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2418 schedNoFence::scheduler::mAssigned: Set(),2419 schedNoFence::scheduler::mBuild: Set(),2420 schedNoFence::scheduler::mDone: Set(),2421 schedNoFence::scheduler::mExpect: Set(),2422 schedNoFence::scheduler::mResult: Set(),2423 schedNoFence::scheduler::mRetry: Set(),2424 schedNoFence::scheduler::mSchedule: Set(),2425 schedNoFence::scheduler::published: 0,2426 schedNoFence::scheduler::publishedBy: Set(),2427 schedNoFence::scheduler::ws:2428 Map(2429 "w1" ->2430 {2431 attached: Set(),2432 built: false,2433 expecting: false,2434 running: false,2435 session: true,2436 up: true2437 },2438 "w2" ->2439 {2440 attached: Set(),2441 built: false,2442 expecting: false,2443 running: false,2444 session: true,2445 up: true2446 }2447 )2448}24492450[State 1]2451{2452 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2453 schedNoFence::scheduler::crashes: 1,2454 schedNoFence::scheduler::entry: [],2455 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2456 schedNoFence::scheduler::mAssigned: Set(),2457 schedNoFence::scheduler::mBuild: Set(),2458 schedNoFence::scheduler::mDone: Set(),2459 schedNoFence::scheduler::mExpect: Set(),2460 schedNoFence::scheduler::mResult: Set(),2461 schedNoFence::scheduler::mRetry: Set(),2462 schedNoFence::scheduler::mSchedule: Set(),2463 schedNoFence::scheduler::published: 0,2464 schedNoFence::scheduler::publishedBy: Set(),2465 schedNoFence::scheduler::ws:2466 Map(2467 "w1" ->2468 {2469 attached: Set(),2470 built: false,2471 expecting: false,2472 running: false,2473 session: true,2474 up: true2475 },2476 "w2" ->2477 {2478 attached: Set(),2479 built: false,2480 expecting: false,2481 running: false,2482 session: false,2483 up: false2484 }2485 )2486}24872488[State 2]2489{2490 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2491 schedNoFence::scheduler::crashes: 1,2492 schedNoFence::scheduler::entry: [],2493 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2494 schedNoFence::scheduler::mAssigned: Set(),2495 schedNoFence::scheduler::mBuild: Set(),2496 schedNoFence::scheduler::mDone: Set(),2497 schedNoFence::scheduler::mExpect: Set(),2498 schedNoFence::scheduler::mResult: Set(),2499 schedNoFence::scheduler::mRetry: Set(),2500 schedNoFence::scheduler::mSchedule: Set("c2"),2501 schedNoFence::scheduler::published: 0,2502 schedNoFence::scheduler::publishedBy: Set(),2503 schedNoFence::scheduler::ws:2504 Map(2505 "w1" ->2506 {2507 attached: Set(),2508 built: false,2509 expecting: false,2510 running: false,2511 session: true,2512 up: true2513 },2514 "w2" ->2515 {2516 attached: Set(),2517 built: false,2518 expecting: false,2519 running: false,2520 session: false,2521 up: false2522 }2523 )2524}25252526[State 3]2527{2528 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2529 schedNoFence::scheduler::crashes: 1,2530 schedNoFence::scheduler::entry: [],2531 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2532 schedNoFence::scheduler::mAssigned: Set(),2533 schedNoFence::scheduler::mBuild: Set(),2534 schedNoFence::scheduler::mDone: Set(),2535 schedNoFence::scheduler::mExpect: Set(),2536 schedNoFence::scheduler::mResult: Set(),2537 schedNoFence::scheduler::mRetry: Set(),2538 schedNoFence::scheduler::mSchedule: Set("c1", "c2"),2539 schedNoFence::scheduler::published: 0,2540 schedNoFence::scheduler::publishedBy: Set(),2541 schedNoFence::scheduler::ws:2542 Map(2543 "w1" ->2544 {2545 attached: Set(),2546 built: false,2547 expecting: false,2548 running: false,2549 session: true,2550 up: true2551 },2552 "w2" ->2553 {2554 attached: Set(),2555 built: false,2556 expecting: false,2557 running: false,2558 session: false,2559 up: false2560 }2561 )2562}25632564[State 4]2565{2566 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2567 schedNoFence::scheduler::crashes: 1,2568 schedNoFence::scheduler::entry:2569 [{ followers: Set("c2"), leased: true, worker: "w1" }],2570 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2571 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),2572 schedNoFence::scheduler::mBuild: Set(),2573 schedNoFence::scheduler::mDone: Set(),2574 schedNoFence::scheduler::mExpect: Set("w1"),2575 schedNoFence::scheduler::mResult: Set(),2576 schedNoFence::scheduler::mRetry: Set(),2577 schedNoFence::scheduler::mSchedule: Set("c1"),2578 schedNoFence::scheduler::published: 0,2579 schedNoFence::scheduler::publishedBy: Set(),2580 schedNoFence::scheduler::ws:2581 Map(2582 "w1" ->2583 {2584 attached: Set(),2585 built: false,2586 expecting: false,2587 running: false,2588 session: true,2589 up: true2590 },2591 "w2" ->2592 {2593 attached: Set(),2594 built: false,2595 expecting: false,2596 running: false,2597 session: false,2598 up: false2599 }2600 )2601}26022603[State 5]2604{2605 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2606 schedNoFence::scheduler::crashes: 1,2607 schedNoFence::scheduler::entry:2608 [{ followers: Set("c2"), leased: true, worker: "w1" }],2609 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2610 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),2611 schedNoFence::scheduler::mBuild: Set(),2612 schedNoFence::scheduler::mDone: Set(),2613 schedNoFence::scheduler::mExpect: Set(),2614 schedNoFence::scheduler::mResult: Set(),2615 schedNoFence::scheduler::mRetry: Set(),2616 schedNoFence::scheduler::mSchedule: Set("c1"),2617 schedNoFence::scheduler::published: 0,2618 schedNoFence::scheduler::publishedBy: Set(),2619 schedNoFence::scheduler::ws:2620 Map(2621 "w1" ->2622 {2623 attached: Set(),2624 built: false,2625 expecting: true,2626 running: true,2627 session: true,2628 up: true2629 },2630 "w2" ->2631 {2632 attached: Set(),2633 built: false,2634 expecting: false,2635 running: false,2636 session: false,2637 up: false2638 }2639 )2640}26412642[State 6]2643{2644 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2645 schedNoFence::scheduler::crashes: 2,2646 schedNoFence::scheduler::entry: [],2647 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2648 schedNoFence::scheduler::mAssigned: Set(),2649 schedNoFence::scheduler::mBuild: Set(),2650 schedNoFence::scheduler::mDone: Set(),2651 schedNoFence::scheduler::mExpect: Set(),2652 schedNoFence::scheduler::mResult: Set(),2653 schedNoFence::scheduler::mRetry: Set("c1", "c2"),2654 schedNoFence::scheduler::mSchedule: Set(),2655 schedNoFence::scheduler::published: 0,2656 schedNoFence::scheduler::publishedBy: Set(),2657 schedNoFence::scheduler::ws:2658 Map(2659 "w1" ->2660 {2661 attached: Set(),2662 built: false,2663 expecting: true,2664 running: true,2665 session: false,2666 up: true2667 },2668 "w2" ->2669 {2670 attached: Set(),2671 built: false,2672 expecting: false,2673 running: false,2674 session: false,2675 up: false2676 }2677 )2678}26792680[State 7]2681{2682 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2683 schedNoFence::scheduler::crashes: 2,2684 schedNoFence::scheduler::entry: [],2685 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2686 schedNoFence::scheduler::mAssigned: Set(),2687 schedNoFence::scheduler::mBuild: Set(),2688 schedNoFence::scheduler::mDone: Set(),2689 schedNoFence::scheduler::mExpect: Set(),2690 schedNoFence::scheduler::mResult: Set(),2691 schedNoFence::scheduler::mRetry: Set("c1"),2692 schedNoFence::scheduler::mSchedule: Set("c2"),2693 schedNoFence::scheduler::published: 0,2694 schedNoFence::scheduler::publishedBy: Set(),2695 schedNoFence::scheduler::ws:2696 Map(2697 "w1" ->2698 {2699 attached: Set(),2700 built: false,2701 expecting: true,2702 running: true,2703 session: false,2704 up: true2705 },2706 "w2" ->2707 {2708 attached: Set(),2709 built: false,2710 expecting: false,2711 running: false,2712 session: false,2713 up: false2714 }2715 )2716}27172718[State 8]2719{2720 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2721 schedNoFence::scheduler::crashes: 2,2722 schedNoFence::scheduler::entry: [],2723 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2724 schedNoFence::scheduler::mAssigned: Set(),2725 schedNoFence::scheduler::mBuild: Set(),2726 schedNoFence::scheduler::mDone: Set(),2727 schedNoFence::scheduler::mExpect: Set(),2728 schedNoFence::scheduler::mResult: Set(),2729 schedNoFence::scheduler::mRetry: Set("c1"),2730 schedNoFence::scheduler::mSchedule: Set("c2"),2731 schedNoFence::scheduler::published: 0,2732 schedNoFence::scheduler::publishedBy: Set(),2733 schedNoFence::scheduler::ws:2734 Map(2735 "w1" ->2736 {2737 attached: Set(),2738 built: false,2739 expecting: true,2740 running: true,2741 session: false,2742 up: true2743 },2744 "w2" ->2745 {2746 attached: Set(),2747 built: false,2748 expecting: false,2749 running: false,2750 session: true,2751 up: true2752 }2753 )2754}27552756[State 9]2757{2758 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2759 schedNoFence::scheduler::crashes: 2,2760 schedNoFence::scheduler::entry:2761 [{ followers: Set("c2"), leased: true, worker: "w2" }],2762 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2763 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2764 schedNoFence::scheduler::mBuild: Set(),2765 schedNoFence::scheduler::mDone: Set(),2766 schedNoFence::scheduler::mExpect: Set("w2"),2767 schedNoFence::scheduler::mResult: Set(),2768 schedNoFence::scheduler::mRetry: Set("c1"),2769 schedNoFence::scheduler::mSchedule: Set(),2770 schedNoFence::scheduler::published: 0,2771 schedNoFence::scheduler::publishedBy: Set(),2772 schedNoFence::scheduler::ws:2773 Map(2774 "w1" ->2775 {2776 attached: Set(),2777 built: false,2778 expecting: true,2779 running: true,2780 session: false,2781 up: true2782 },2783 "w2" ->2784 {2785 attached: Set(),2786 built: false,2787 expecting: false,2788 running: false,2789 session: true,2790 up: true2791 }2792 )2793}27942795[State 10]2796{2797 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2798 schedNoFence::scheduler::crashes: 2,2799 schedNoFence::scheduler::entry:2800 [{ followers: Set("c2"), leased: true, worker: "w2" }],2801 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),2802 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2803 schedNoFence::scheduler::mBuild: Set(),2804 schedNoFence::scheduler::mDone: Set(),2805 schedNoFence::scheduler::mExpect: Set("w2"),2806 schedNoFence::scheduler::mResult: Set(),2807 schedNoFence::scheduler::mRetry: Set("c1"),2808 schedNoFence::scheduler::mSchedule: Set(),2809 schedNoFence::scheduler::published: 0,2810 schedNoFence::scheduler::publishedBy: Set(),2811 schedNoFence::scheduler::ws:2812 Map(2813 "w1" ->2814 {2815 attached: Set(),2816 built: false,2817 expecting: true,2818 running: true,2819 session: true,2820 up: true2821 },2822 "w2" ->2823 {2824 attached: Set(),2825 built: false,2826 expecting: false,2827 running: false,2828 session: true,2829 up: true2830 }2831 )2832}28332834[State 11]2835{2836 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2837 schedNoFence::scheduler::crashes: 2,2838 schedNoFence::scheduler::entry:2839 [{ followers: Set("c2"), leased: true, worker: "w2" }],2840 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),2841 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2842 schedNoFence::scheduler::mBuild: Set(),2843 schedNoFence::scheduler::mDone: Set(),2844 schedNoFence::scheduler::mExpect: Set("w2"),2845 schedNoFence::scheduler::mResult: Set(),2846 schedNoFence::scheduler::mRetry: Set(),2847 schedNoFence::scheduler::mSchedule: Set("c1"),2848 schedNoFence::scheduler::published: 0,2849 schedNoFence::scheduler::publishedBy: Set(),2850 schedNoFence::scheduler::ws:2851 Map(2852 "w1" ->2853 {2854 attached: Set(),2855 built: false,2856 expecting: true,2857 running: true,2858 session: true,2859 up: true2860 },2861 "w2" ->2862 {2863 attached: Set(),2864 built: false,2865 expecting: false,2866 running: false,2867 session: true,2868 up: true2869 }2870 )2871}28722873[State 12]2874{2875 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2876 schedNoFence::scheduler::crashes: 2,2877 schedNoFence::scheduler::entry:2878 [{ followers: Set("c2"), leased: true, worker: "w2" }],2879 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),2880 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2881 schedNoFence::scheduler::mBuild: Set(),2882 schedNoFence::scheduler::mDone: Set(),2883 schedNoFence::scheduler::mExpect: Set(),2884 schedNoFence::scheduler::mResult: Set(),2885 schedNoFence::scheduler::mRetry: Set(),2886 schedNoFence::scheduler::mSchedule: Set("c1"),2887 schedNoFence::scheduler::published: 0,2888 schedNoFence::scheduler::publishedBy: Set(),2889 schedNoFence::scheduler::ws:2890 Map(2891 "w1" ->2892 {2893 attached: Set(),2894 built: false,2895 expecting: true,2896 running: true,2897 session: true,2898 up: true2899 },2900 "w2" ->2901 {2902 attached: Set(),2903 built: false,2904 expecting: true,2905 running: true,2906 session: true,2907 up: true2908 }2909 )2910}29112912[State 13]2913{2914 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2915 schedNoFence::scheduler::crashes: 2,2916 schedNoFence::scheduler::entry:2917 [{ followers: Set("c2"), leased: true, worker: "w2" }],2918 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),2919 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2920 schedNoFence::scheduler::mBuild: Set(),2921 schedNoFence::scheduler::mDone: Set("w1"),2922 schedNoFence::scheduler::mExpect: Set(),2923 schedNoFence::scheduler::mResult: Set(),2924 schedNoFence::scheduler::mRetry: Set(),2925 schedNoFence::scheduler::mSchedule: Set("c1"),2926 schedNoFence::scheduler::published: 1,2927 schedNoFence::scheduler::publishedBy: Set("w1"),2928 schedNoFence::scheduler::ws:2929 Map(2930 "w1" ->2931 {2932 attached: Set(),2933 built: true,2934 expecting: false,2935 running: false,2936 session: true,2937 up: true2938 },2939 "w2" ->2940 {2941 attached: Set(),2942 built: false,2943 expecting: true,2944 running: true,2945 session: true,2946 up: true2947 }2948 )2949}29502951[State 14]2952{2953 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2954 schedNoFence::scheduler::crashes: 2,2955 schedNoFence::scheduler::entry:2956 [{ followers: Set("c2"), leased: true, worker: "w2" }],2957 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),2958 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2959 schedNoFence::scheduler::mBuild: Set(),2960 schedNoFence::scheduler::mDone: Set("w1", "w2"),2961 schedNoFence::scheduler::mExpect: Set(),2962 schedNoFence::scheduler::mResult: Set(),2963 schedNoFence::scheduler::mRetry: Set(),2964 schedNoFence::scheduler::mSchedule: Set("c1"),2965 schedNoFence::scheduler::published: 2,2966 schedNoFence::scheduler::publishedBy: Set("w1", "w2"),2967 schedNoFence::scheduler::ws:2968 Map(2969 "w1" ->2970 {2971 attached: Set(),2972 built: true,2973 expecting: false,2974 running: false,2975 session: true,2976 up: true2977 },2978 "w2" ->2979 {2980 attached: Set(),2981 built: true,2982 expecting: false,2983 running: false,2984 session: true,2985 up: true2986 }2987 )2988}29892990[violation] Found an issue (9007ms at 1752 traces/second).2991Use --verbosity=3 to show executions.2992Use --seed=0x7e31a63457d49600 --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: 0s | 0/30000 samples | 0 samples/sAn example execution:29952996[State 0]2997{2998 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2999 schedNoPush::scheduler::crashes: 0,3000 schedNoPush::scheduler::entry: [],3001 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3002 schedNoPush::scheduler::mAssigned: Set(),3003 schedNoPush::scheduler::mBuild: Set(),3004 schedNoPush::scheduler::mDone: Set(),3005 schedNoPush::scheduler::mExpect: Set(),3006 schedNoPush::scheduler::mResult: Set(),3007 schedNoPush::scheduler::mRetry: Set(),3008 schedNoPush::scheduler::mSchedule: Set(),3009 schedNoPush::scheduler::published: 0,3010 schedNoPush::scheduler::publishedBy: Set(),3011 schedNoPush::scheduler::ws:3012 Map(3013 "w1" ->3014 {3015 attached: Set(),3016 built: false,3017 expecting: false,3018 running: false,3019 session: true,3020 up: true3021 },3022 "w2" ->3023 {3024 attached: Set(),3025 built: false,3026 expecting: false,3027 running: false,3028 session: true,3029 up: true3030 }3031 )3032}30333034[State 1]3035{3036 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3037 schedNoPush::scheduler::crashes: 0,3038 schedNoPush::scheduler::entry: [],3039 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3040 schedNoPush::scheduler::mAssigned: Set(),3041 schedNoPush::scheduler::mBuild: Set(),3042 schedNoPush::scheduler::mDone: Set(),3043 schedNoPush::scheduler::mExpect: Set(),3044 schedNoPush::scheduler::mResult: Set(),3045 schedNoPush::scheduler::mRetry: Set(),3046 schedNoPush::scheduler::mSchedule: Set("c2"),3047 schedNoPush::scheduler::published: 0,3048 schedNoPush::scheduler::publishedBy: Set(),3049 schedNoPush::scheduler::ws:3050 Map(3051 "w1" ->3052 {3053 attached: Set(),3054 built: false,3055 expecting: false,3056 running: false,3057 session: true,3058 up: true3059 },3060 "w2" ->3061 {3062 attached: Set(),3063 built: false,3064 expecting: false,3065 running: false,3066 session: true,3067 up: true3068 }3069 )3070}30713072[State 2]3073{3074 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3075 schedNoPush::scheduler::crashes: 0,3076 schedNoPush::scheduler::entry:3077 [{ followers: Set("c2"), leased: true, worker: "w1" }],3078 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3079 schedNoPush::scheduler::mAssigned: Set(("c2", "w1")),3080 schedNoPush::scheduler::mBuild: Set(),3081 schedNoPush::scheduler::mDone: Set(),3082 schedNoPush::scheduler::mExpect: Set(),3083 schedNoPush::scheduler::mResult: Set(),3084 schedNoPush::scheduler::mRetry: Set(),3085 schedNoPush::scheduler::mSchedule: Set(),3086 schedNoPush::scheduler::published: 0,3087 schedNoPush::scheduler::publishedBy: Set(),3088 schedNoPush::scheduler::ws:3089 Map(3090 "w1" ->3091 {3092 attached: Set(),3093 built: false,3094 expecting: false,3095 running: false,3096 session: true,3097 up: true3098 },3099 "w2" ->3100 {3101 attached: Set(),3102 built: false,3103 expecting: false,3104 running: false,3105 session: true,3106 up: true3107 }3108 )3109}31103111[State 3]3112{3113 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),3114 schedNoPush::scheduler::crashes: 0,3115 schedNoPush::scheduler::entry:3116 [{ followers: Set("c2"), leased: true, worker: "w1" }],3117 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3118 schedNoPush::scheduler::mAssigned: Set(),3119 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),3120 schedNoPush::scheduler::mDone: Set(),3121 schedNoPush::scheduler::mExpect: Set(),3122 schedNoPush::scheduler::mResult: Set(),3123 schedNoPush::scheduler::mRetry: Set(),3124 schedNoPush::scheduler::mSchedule: Set(),3125 schedNoPush::scheduler::published: 0,3126 schedNoPush::scheduler::publishedBy: Set(),3127 schedNoPush::scheduler::ws:3128 Map(3129 "w1" ->3130 {3131 attached: Set(),3132 built: false,3133 expecting: false,3134 running: false,3135 session: true,3136 up: true3137 },3138 "w2" ->3139 {3140 attached: Set(),3141 built: false,3142 expecting: false,3143 running: false,3144 session: true,3145 up: true3146 }3147 )3148}31493150[State 4]3151{3152 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),3153 schedNoPush::scheduler::crashes: 1,3154 schedNoPush::scheduler::entry: [],3155 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3156 schedNoPush::scheduler::mAssigned: Set(),3157 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),3158 schedNoPush::scheduler::mDone: Set(),3159 schedNoPush::scheduler::mExpect: Set(),3160 schedNoPush::scheduler::mResult: Set(),3161 schedNoPush::scheduler::mRetry: Set(),3162 schedNoPush::scheduler::mSchedule: Set(),3163 schedNoPush::scheduler::published: 0,3164 schedNoPush::scheduler::publishedBy: Set(),3165 schedNoPush::scheduler::ws:3166 Map(3167 "w1" ->3168 {3169 attached: Set(),3170 built: false,3171 expecting: false,3172 running: false,3173 session: false,3174 up: true3175 },3176 "w2" ->3177 {3178 attached: Set(),3179 built: false,3180 expecting: false,3181 running: false,3182 session: false,3183 up: true3184 }3185 )3186}31873188[State 5]3189{3190 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),3191 schedNoPush::scheduler::crashes: 1,3192 schedNoPush::scheduler::entry: [],3193 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3194 schedNoPush::scheduler::mAssigned: Set(),3195 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),3196 schedNoPush::scheduler::mDone: Set(),3197 schedNoPush::scheduler::mExpect: Set(),3198 schedNoPush::scheduler::mResult: Set(),3199 schedNoPush::scheduler::mRetry: Set(),3200 schedNoPush::scheduler::mSchedule: Set(),3201 schedNoPush::scheduler::published: 0,3202 schedNoPush::scheduler::publishedBy: Set(),3203 schedNoPush::scheduler::ws:3204 Map(3205 "w1" ->3206 {3207 attached: Set(),3208 built: false,3209 expecting: false,3210 running: false,3211 session: true,3212 up: true3213 },3214 "w2" ->3215 {3216 attached: Set(),3217 built: false,3218 expecting: false,3219 running: false,3220 session: true,3221 up: true3222 }3223 )3224}32253226[State 6]3227{3228 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),3229 schedNoPush::scheduler::crashes: 1,3230 schedNoPush::scheduler::entry: [],3231 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3232 schedNoPush::scheduler::mAssigned: Set(),3233 schedNoPush::scheduler::mBuild: Set(),3234 schedNoPush::scheduler::mDone: Set(),3235 schedNoPush::scheduler::mExpect: Set(),3236 schedNoPush::scheduler::mResult: Set(),3237 schedNoPush::scheduler::mRetry: Set(),3238 schedNoPush::scheduler::mSchedule: Set(),3239 schedNoPush::scheduler::published: 0,3240 schedNoPush::scheduler::publishedBy: Set(),3241 schedNoPush::scheduler::ws:3242 Map(3243 "w1" ->3244 {3245 attached: Set("c2"),3246 built: false,3247 expecting: true,3248 running: true,3249 session: true,3250 up: true3251 },3252 "w2" ->3253 {3254 attached: Set(),3255 built: false,3256 expecting: false,3257 running: false,3258 session: true,3259 up: true3260 }3261 )3262}32633264[violation] Found an issue (305ms at 2111 traces/second).3265Use --verbosity=3 to show executions.3266Use --seed=0x9f79ecebe23dc39b --backend=rust to reproduce.3267error: Invariant violated3268Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sAn example execution:32693270[State 0]3271{3272 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3273 schedNoPush::scheduler::crashes: 0,3274 schedNoPush::scheduler::entry: [],3275 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3276 schedNoPush::scheduler::mAssigned: Set(),3277 schedNoPush::scheduler::mBuild: Set(),3278 schedNoPush::scheduler::mDone: Set(),3279 schedNoPush::scheduler::mExpect: Set(),3280 schedNoPush::scheduler::mResult: Set(),3281 schedNoPush::scheduler::mRetry: Set(),3282 schedNoPush::scheduler::mSchedule: Set(),3283 schedNoPush::scheduler::published: 0,3284 schedNoPush::scheduler::publishedBy: Set(),3285 schedNoPush::scheduler::ws:3286 Map(3287 "w1" ->3288 {3289 attached: Set(),3290 built: false,3291 expecting: false,3292 running: false,3293 session: true,3294 up: true3295 },3296 "w2" ->3297 {3298 attached: Set(),3299 built: false,3300 expecting: false,3301 running: false,3302 session: true,3303 up: true3304 }3305 )3306}33073308[State 1]3309{3310 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3311 schedNoPush::scheduler::crashes: 1,3312 schedNoPush::scheduler::entry: [],3313 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3314 schedNoPush::scheduler::mAssigned: Set(),3315 schedNoPush::scheduler::mBuild: Set(),3316 schedNoPush::scheduler::mDone: Set(),3317 schedNoPush::scheduler::mExpect: Set(),3318 schedNoPush::scheduler::mResult: Set(),3319 schedNoPush::scheduler::mRetry: Set(),3320 schedNoPush::scheduler::mSchedule: Set(),3321 schedNoPush::scheduler::published: 0,3322 schedNoPush::scheduler::publishedBy: Set(),3323 schedNoPush::scheduler::ws:3324 Map(3325 "w1" ->3326 {3327 attached: Set(),3328 built: false,3329 expecting: false,3330 running: false,3331 session: false,3332 up: false3333 },3334 "w2" ->3335 {3336 attached: Set(),3337 built: false,3338 expecting: false,3339 running: false,3340 session: true,3341 up: true3342 }3343 )3344}33453346[State 2]3347{3348 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3349 schedNoPush::scheduler::crashes: 1,3350 schedNoPush::scheduler::entry: [],3351 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3352 schedNoPush::scheduler::mAssigned: Set(),3353 schedNoPush::scheduler::mBuild: Set(),3354 schedNoPush::scheduler::mDone: Set(),3355 schedNoPush::scheduler::mExpect: Set(),3356 schedNoPush::scheduler::mResult: Set(),3357 schedNoPush::scheduler::mRetry: Set(),3358 schedNoPush::scheduler::mSchedule: Set("c2"),3359 schedNoPush::scheduler::published: 0,3360 schedNoPush::scheduler::publishedBy: Set(),3361 schedNoPush::scheduler::ws:3362 Map(3363 "w1" ->3364 {3365 attached: Set(),3366 built: false,3367 expecting: false,3368 running: false,3369 session: false,3370 up: false3371 },3372 "w2" ->3373 {3374 attached: Set(),3375 built: false,3376 expecting: false,3377 running: false,3378 session: true,3379 up: true3380 }3381 )3382}33833384[State 3]3385{3386 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3387 schedNoPush::scheduler::crashes: 1,3388 schedNoPush::scheduler::entry: [],3389 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3390 schedNoPush::scheduler::mAssigned: Set(),3391 schedNoPush::scheduler::mBuild: Set(),3392 schedNoPush::scheduler::mDone: Set(),3393 schedNoPush::scheduler::mExpect: Set(),3394 schedNoPush::scheduler::mResult: Set(),3395 schedNoPush::scheduler::mRetry: Set(),3396 schedNoPush::scheduler::mSchedule: Set("c2"),3397 schedNoPush::scheduler::published: 0,3398 schedNoPush::scheduler::publishedBy: Set(),3399 schedNoPush::scheduler::ws:3400 Map(3401 "w1" ->3402 {3403 attached: Set(),3404 built: false,3405 expecting: false,3406 running: false,3407 session: true,3408 up: true3409 },3410 "w2" ->3411 {3412 attached: Set(),3413 built: false,3414 expecting: false,3415 running: false,3416 session: true,3417 up: true3418 }3419 )3420}34213422[State 4]3423{3424 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3425 schedNoPush::scheduler::crashes: 1,3426 schedNoPush::scheduler::entry:3427 [{ followers: Set("c2"), leased: true, worker: "w1" }],3428 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3429 schedNoPush::scheduler::mAssigned: Set(("c2", "w1")),3430 schedNoPush::scheduler::mBuild: Set(),3431 schedNoPush::scheduler::mDone: Set(),3432 schedNoPush::scheduler::mExpect: Set(),3433 schedNoPush::scheduler::mResult: Set(),3434 schedNoPush::scheduler::mRetry: Set(),3435 schedNoPush::scheduler::mSchedule: Set(),3436 schedNoPush::scheduler::published: 0,3437 schedNoPush::scheduler::publishedBy: Set(),3438 schedNoPush::scheduler::ws:3439 Map(3440 "w1" ->3441 {3442 attached: Set(),3443 built: false,3444 expecting: false,3445 running: false,3446 session: true,3447 up: true3448 },3449 "w2" ->3450 {3451 attached: Set(),3452 built: false,3453 expecting: false,3454 running: false,3455 session: true,3456 up: true3457 }3458 )3459}34603461[State 5]3462{3463 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3464 schedNoPush::scheduler::crashes: 1,3465 schedNoPush::scheduler::entry:3466 [{ followers: Set("c2"), leased: true, worker: "w1" }],3467 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3468 schedNoPush::scheduler::mAssigned: Set(("c2", "w1")),3469 schedNoPush::scheduler::mBuild: Set(),3470 schedNoPush::scheduler::mDone: Set(),3471 schedNoPush::scheduler::mExpect: Set(),3472 schedNoPush::scheduler::mResult: Set(),3473 schedNoPush::scheduler::mRetry: Set(),3474 schedNoPush::scheduler::mSchedule: Set("c1"),3475 schedNoPush::scheduler::published: 0,3476 schedNoPush::scheduler::publishedBy: Set(),3477 schedNoPush::scheduler::ws:3478 Map(3479 "w1" ->3480 {3481 attached: Set(),3482 built: false,3483 expecting: false,3484 running: false,3485 session: true,3486 up: true3487 },3488 "w2" ->3489 {3490 attached: Set(),3491 built: false,3492 expecting: false,3493 running: false,3494 session: true,3495 up: true3496 }3497 )3498}34993500[State 6]3501{3502 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3503 schedNoPush::scheduler::crashes: 1,3504 schedNoPush::scheduler::entry:3505 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],3506 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3507 schedNoPush::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),3508 schedNoPush::scheduler::mBuild: Set(),3509 schedNoPush::scheduler::mDone: Set(),3510 schedNoPush::scheduler::mExpect: Set(),3511 schedNoPush::scheduler::mResult: Set(),3512 schedNoPush::scheduler::mRetry: Set(),3513 schedNoPush::scheduler::mSchedule: Set(),3514 schedNoPush::scheduler::published: 0,3515 schedNoPush::scheduler::publishedBy: Set(),3516 schedNoPush::scheduler::ws:3517 Map(3518 "w1" ->3519 {3520 attached: Set(),3521 built: false,3522 expecting: false,3523 running: false,3524 session: true,3525 up: true3526 },3527 "w2" ->3528 {3529 attached: Set(),3530 built: false,3531 expecting: false,3532 running: false,3533 session: true,3534 up: true3535 }3536 )3537}35383539[State 7]3540{3541 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),3542 schedNoPush::scheduler::crashes: 1,3543 schedNoPush::scheduler::entry:3544 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],3545 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3546 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),3547 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),3548 schedNoPush::scheduler::mDone: Set(),3549 schedNoPush::scheduler::mExpect: Set(),3550 schedNoPush::scheduler::mResult: Set(),3551 schedNoPush::scheduler::mRetry: Set(),3552 schedNoPush::scheduler::mSchedule: Set(),3553 schedNoPush::scheduler::published: 0,3554 schedNoPush::scheduler::publishedBy: Set(),3555 schedNoPush::scheduler::ws:3556 Map(3557 "w1" ->3558 {3559 attached: Set(),3560 built: false,3561 expecting: false,3562 running: false,3563 session: true,3564 up: true3565 },3566 "w2" ->3567 {3568 attached: Set(),3569 built: false,3570 expecting: false,3571 running: false,3572 session: true,3573 up: true3574 }3575 )3576}35773578[State 8]3579{3580 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),3581 schedNoPush::scheduler::crashes: 2,3582 schedNoPush::scheduler::entry:3583 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],3584 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3585 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),3586 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),3587 schedNoPush::scheduler::mDone: Set(),3588 schedNoPush::scheduler::mExpect: Set(),3589 schedNoPush::scheduler::mResult: Set(),3590 schedNoPush::scheduler::mRetry: Set(),3591 schedNoPush::scheduler::mSchedule: Set(),3592 schedNoPush::scheduler::published: 0,3593 schedNoPush::scheduler::publishedBy: Set(),3594 schedNoPush::scheduler::ws:3595 Map(3596 "w1" ->3597 {3598 attached: Set(),3599 built: false,3600 expecting: false,3601 running: false,3602 session: false,3603 up: false3604 },3605 "w2" ->3606 {3607 attached: Set(),3608 built: false,3609 expecting: false,3610 running: false,3611 session: true,3612 up: true3613 }3614 )3615}36163617[State 9]3618{3619 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),3620 schedNoPush::scheduler::crashes: 2,3621 schedNoPush::scheduler::entry: [],3622 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3623 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),3624 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),3625 schedNoPush::scheduler::mDone: Set(),3626 schedNoPush::scheduler::mExpect: Set(),3627 schedNoPush::scheduler::mResult: Set(),3628 schedNoPush::scheduler::mRetry: Set("c1", "c2"),3629 schedNoPush::scheduler::mSchedule: Set(),3630 schedNoPush::scheduler::published: 0,3631 schedNoPush::scheduler::publishedBy: Set(),3632 schedNoPush::scheduler::ws:3633 Map(3634 "w1" ->3635 {3636 attached: Set(),3637 built: false,3638 expecting: false,3639 running: false,3640 session: true,3641 up: true3642 },3643 "w2" ->3644 {3645 attached: Set(),3646 built: false,3647 expecting: false,3648 running: false,3649 session: true,3650 up: true3651 }3652 )3653}36543655[State 10]3656{3657 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3658 schedNoPush::scheduler::crashes: 2,3659 schedNoPush::scheduler::entry: [],3660 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3661 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),3662 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),3663 schedNoPush::scheduler::mDone: Set(),3664 schedNoPush::scheduler::mExpect: Set(),3665 schedNoPush::scheduler::mResult: Set(),3666 schedNoPush::scheduler::mRetry: Set("c1"),3667 schedNoPush::scheduler::mSchedule: Set("c2"),3668 schedNoPush::scheduler::published: 0,3669 schedNoPush::scheduler::publishedBy: Set(),3670 schedNoPush::scheduler::ws:3671 Map(3672 "w1" ->3673 {3674 attached: Set(),3675 built: false,3676 expecting: false,3677 running: false,3678 session: true,3679 up: true3680 },3681 "w2" ->3682 {3683 attached: Set(),3684 built: false,3685 expecting: false,3686 running: false,3687 session: true,3688 up: true3689 }3690 )3691}36923693[State 11]3694{3695 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3696 schedNoPush::scheduler::crashes: 2,3697 schedNoPush::scheduler::entry: [],3698 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3699 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),3700 schedNoPush::scheduler::mBuild: Set(),3701 schedNoPush::scheduler::mDone: Set(),3702 schedNoPush::scheduler::mExpect: Set(),3703 schedNoPush::scheduler::mResult: Set(),3704 schedNoPush::scheduler::mRetry: Set("c1"),3705 schedNoPush::scheduler::mSchedule: Set("c2"),3706 schedNoPush::scheduler::published: 0,3707 schedNoPush::scheduler::publishedBy: Set(),3708 schedNoPush::scheduler::ws:3709 Map(3710 "w1" ->3711 {3712 attached: Set("c2"),3713 built: false,3714 expecting: true,3715 running: true,3716 session: true,3717 up: true3718 },3719 "w2" ->3720 {3721 attached: Set(),3722 built: false,3723 expecting: false,3724 running: false,3725 session: true,3726 up: true3727 }3728 )3729}37303731[State 12]3732{3733 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3734 schedNoPush::scheduler::crashes: 2,3735 schedNoPush::scheduler::entry:3736 [{ followers: Set("c2"), leased: true, worker: "w2" }],3737 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3738 schedNoPush::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w2")),3739 schedNoPush::scheduler::mBuild: Set(),3740 schedNoPush::scheduler::mDone: Set(),3741 schedNoPush::scheduler::mExpect: Set(),3742 schedNoPush::scheduler::mResult: Set(),3743 schedNoPush::scheduler::mRetry: Set("c1"),3744 schedNoPush::scheduler::mSchedule: Set(),3745 schedNoPush::scheduler::published: 0,3746 schedNoPush::scheduler::publishedBy: Set(),3747 schedNoPush::scheduler::ws:3748 Map(3749 "w1" ->3750 {3751 attached: Set("c2"),3752 built: false,3753 expecting: true,3754 running: true,3755 session: true,3756 up: true3757 },3758 "w2" ->3759 {3760 attached: Set(),3761 built: false,3762 expecting: false,3763 running: false,3764 session: true,3765 up: true3766 }3767 )3768}37693770[State 13]3771{3772 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),3773 schedNoPush::scheduler::crashes: 2,3774 schedNoPush::scheduler::entry:3775 [{ followers: Set("c2"), leased: true, worker: "w2" }],3776 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3777 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),3778 schedNoPush::scheduler::mBuild: Set(("c2", "w2")),3779 schedNoPush::scheduler::mDone: Set(),3780 schedNoPush::scheduler::mExpect: Set(),3781 schedNoPush::scheduler::mResult: Set(),3782 schedNoPush::scheduler::mRetry: Set("c1"),3783 schedNoPush::scheduler::mSchedule: Set(),3784 schedNoPush::scheduler::published: 0,3785 schedNoPush::scheduler::publishedBy: Set(),3786 schedNoPush::scheduler::ws:3787 Map(3788 "w1" ->3789 {3790 attached: Set("c2"),3791 built: false,3792 expecting: true,3793 running: true,3794 session: true,3795 up: true3796 },3797 "w2" ->3798 {3799 attached: Set(),3800 built: false,3801 expecting: false,3802 running: false,3803 session: true,3804 up: true3805 }3806 )3807}38083809[State 14]3810{3811 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),3812 schedNoPush::scheduler::crashes: 2,3813 schedNoPush::scheduler::entry:3814 [{ followers: Set("c2"), leased: true, worker: "w2" }],3815 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3816 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),3817 schedNoPush::scheduler::mBuild: Set(),3818 schedNoPush::scheduler::mDone: Set(),3819 schedNoPush::scheduler::mExpect: Set(),3820 schedNoPush::scheduler::mResult: Set(),3821 schedNoPush::scheduler::mRetry: Set("c1"),3822 schedNoPush::scheduler::mSchedule: Set(),3823 schedNoPush::scheduler::published: 0,3824 schedNoPush::scheduler::publishedBy: Set(),3825 schedNoPush::scheduler::ws:3826 Map(3827 "w1" ->3828 {3829 attached: Set("c2"),3830 built: false,3831 expecting: true,3832 running: true,3833 session: true,3834 up: true3835 },3836 "w2" ->3837 {3838 attached: Set("c2"),3839 built: false,3840 expecting: true,3841 running: true,3842 session: true,3843 up: true3844 }3845 )3846}38473848[violation] Found an issue (139ms at 3719 traces/second).3849Use --verbosity=3 to show executions.3850Use --seed=0x90cb385c12e87e5c --backend=rust to reproduce.3851error: Invariant violated3852Running... [ ] 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... [■■ ] 5% | ETA: 4s | 1692/30000 samples | 8135 samples/sRunning... [■■ ] 5% | ETA: 4s | 1692/30000 samples | 8135 samples/sRunning... [■■■ ] 8% | ETA: 6s | 2473/30000 samples | 5435 samples/sRunning... [■■■ ] 8% | ETA: 6s | 2473/30000 samples | 5435 samples/sRunning... [■■■■ ] 10% | ETA: 6s | 3045/30000 samples | 4565 samples/sRunning... [■■■■ ] 10% | ETA: 7s | 3211/30000 samples | 4143 samples/sRunning... [■■■■ ] 10% | ETA: 7s | 3211/30000 samples | 4143 samples/sRunning... [■■■■ ] 11% | ETA: 8s | 3349/30000 samples | 3593 samples/sRunning... [■■■■■ ] 11% | ETA: 9s | 3467/30000 samples | 3255 samples/sRunning... [■■■■■ ] 11% | ETA: 9s | 3467/30000 samples | 3255 samples/sRunning... [■■■■■ ] 12% | ETA: 9s | 3628/30000 samples | 2952 samples/sRunning... [■■■■■ ] 12% | ETA: 10s | 3830/30000 samples | 2697 samples/sRunning... [■■■■■ ] 12% | ETA: 10s | 3830/30000 samples | 2697 samples/sAn example execution:38533854[State 0]3855{3856 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3857 schedNoReport::scheduler::crashes: 0,3858 schedNoReport::scheduler::entry: [],3859 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),3860 schedNoReport::scheduler::mAssigned: Set(),3861 schedNoReport::scheduler::mBuild: Set(),3862 schedNoReport::scheduler::mDone: Set(),3863 schedNoReport::scheduler::mExpect: Set(),3864 schedNoReport::scheduler::mResult: Set(),3865 schedNoReport::scheduler::mRetry: Set(),3866 schedNoReport::scheduler::mSchedule: Set(),3867 schedNoReport::scheduler::published: 0,3868 schedNoReport::scheduler::publishedBy: Set(),3869 schedNoReport::scheduler::ws:3870 Map(3871 "w1" ->3872 {3873 attached: Set(),3874 built: false,3875 expecting: false,3876 running: false,3877 session: true,3878 up: true3879 },3880 "w2" ->3881 {3882 attached: Set(),3883 built: false,3884 expecting: false,3885 running: false,3886 session: true,3887 up: true3888 }3889 )3890}38913892[State 1]3893{3894 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),3895 schedNoReport::scheduler::crashes: 0,3896 schedNoReport::scheduler::entry: [],3897 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),3898 schedNoReport::scheduler::mAssigned: Set(),3899 schedNoReport::scheduler::mBuild: Set(),3900 schedNoReport::scheduler::mDone: Set(),3901 schedNoReport::scheduler::mExpect: Set(),3902 schedNoReport::scheduler::mResult: Set(),3903 schedNoReport::scheduler::mRetry: Set(),3904 schedNoReport::scheduler::mSchedule: Set("c1"),3905 schedNoReport::scheduler::published: 0,3906 schedNoReport::scheduler::publishedBy: Set(),3907 schedNoReport::scheduler::ws:3908 Map(3909 "w1" ->3910 {3911 attached: Set(),3912 built: false,3913 expecting: false,3914 running: false,3915 session: true,3916 up: true3917 },3918 "w2" ->3919 {3920 attached: Set(),3921 built: false,3922 expecting: false,3923 running: false,3924 session: true,3925 up: true3926 }3927 )3928}39293930[State 2]3931{3932 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),3933 schedNoReport::scheduler::crashes: 0,3934 schedNoReport::scheduler::entry:3935 [{ followers: Set("c1"), leased: true, worker: "w1" }],3936 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),3937 schedNoReport::scheduler::mAssigned: Set(("c1", "w1")),3938 schedNoReport::scheduler::mBuild: Set(),3939 schedNoReport::scheduler::mDone: Set(),3940 schedNoReport::scheduler::mExpect: Set("w1"),3941 schedNoReport::scheduler::mResult: Set(),3942 schedNoReport::scheduler::mRetry: Set(),3943 schedNoReport::scheduler::mSchedule: Set(),3944 schedNoReport::scheduler::published: 0,3945 schedNoReport::scheduler::publishedBy: Set(),3946 schedNoReport::scheduler::ws:3947 Map(3948 "w1" ->3949 {3950 attached: Set(),3951 built: false,3952 expecting: false,3953 running: false,3954 session: true,3955 up: true3956 },3957 "w2" ->3958 {3959 attached: Set(),3960 built: false,3961 expecting: false,3962 running: false,3963 session: true,3964 up: true3965 }3966 )3967}39683969[State 3]3970{3971 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),3972 schedNoReport::scheduler::crashes: 0,3973 schedNoReport::scheduler::entry:3974 [{ followers: Set("c1"), leased: true, worker: "w1" }],3975 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),3976 schedNoReport::scheduler::mAssigned: Set(("c1", "w1")),3977 schedNoReport::scheduler::mBuild: Set(),3978 schedNoReport::scheduler::mDone: Set(),3979 schedNoReport::scheduler::mExpect: Set(),3980 schedNoReport::scheduler::mResult: Set(),3981 schedNoReport::scheduler::mRetry: Set(),3982 schedNoReport::scheduler::mSchedule: Set(),3983 schedNoReport::scheduler::published: 0,3984 schedNoReport::scheduler::publishedBy: Set(),3985 schedNoReport::scheduler::ws:3986 Map(3987 "w1" ->3988 {3989 attached: Set(),3990 built: false,3991 expecting: true,3992 running: true,3993 session: true,3994 up: true3995 },3996 "w2" ->3997 {3998 attached: Set(),3999 built: false,4000 expecting: false,4001 running: false,4002 session: true,4003 up: true4004 }4005 )4006}40074008[State 4]4009{4010 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),4011 schedNoReport::scheduler::crashes: 1,4012 schedNoReport::scheduler::entry: [],4013 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),4014 schedNoReport::scheduler::mAssigned: Set(),4015 schedNoReport::scheduler::mBuild: Set(),4016 schedNoReport::scheduler::mDone: Set(),4017 schedNoReport::scheduler::mExpect: Set(),4018 schedNoReport::scheduler::mResult: Set(),4019 schedNoReport::scheduler::mRetry: Set("c1"),4020 schedNoReport::scheduler::mSchedule: Set(),4021 schedNoReport::scheduler::published: 0,4022 schedNoReport::scheduler::publishedBy: Set(),4023 schedNoReport::scheduler::ws:4024 Map(4025 "w1" ->4026 {4027 attached: Set(),4028 built: false,4029 expecting: true,4030 running: true,4031 session: false,4032 up: true4033 },4034 "w2" ->4035 {4036 attached: Set(),4037 built: false,4038 expecting: false,4039 running: false,4040 session: false,4041 up: true4042 }4043 )4044}40454046[State 5]4047{4048 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),4049 schedNoReport::scheduler::crashes: 2,4050 schedNoReport::scheduler::entry: [],4051 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),4052 schedNoReport::scheduler::mAssigned: Set(),4053 schedNoReport::scheduler::mBuild: Set(),4054 schedNoReport::scheduler::mDone: Set(),4055 schedNoReport::scheduler::mExpect: Set(),4056 schedNoReport::scheduler::mResult: Set(),4057 schedNoReport::scheduler::mRetry: Set("c1"),4058 schedNoReport::scheduler::mSchedule: Set(),4059 schedNoReport::scheduler::published: 0,4060 schedNoReport::scheduler::publishedBy: Set(),4061 schedNoReport::scheduler::ws:4062 Map(4063 "w1" ->4064 {4065 attached: Set(),4066 built: false,4067 expecting: true,4068 running: true,4069 session: false,4070 up: true4071 },4072 "w2" ->4073 {4074 attached: Set(),4075 built: false,4076 expecting: false,4077 running: false,4078 session: false,4079 up: true4080 }4081 )4082}40834084[State 6]4085{4086 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),4087 schedNoReport::scheduler::crashes: 2,4088 schedNoReport::scheduler::entry: [],4089 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),4090 schedNoReport::scheduler::mAssigned: Set(),4091 schedNoReport::scheduler::mBuild: Set(),4092 schedNoReport::scheduler::mDone: Set(),4093 schedNoReport::scheduler::mExpect: Set(),4094 schedNoReport::scheduler::mResult: Set(),4095 schedNoReport::scheduler::mRetry: Set("c1"),4096 schedNoReport::scheduler::mSchedule: Set(),4097 schedNoReport::scheduler::published: 0,4098 schedNoReport::scheduler::publishedBy: Set(),4099 schedNoReport::scheduler::ws:4100 Map(4101 "w1" ->4102 {4103 attached: Set(),4104 built: false,4105 expecting: true,4106 running: true,4107 session: true,4108 up: true4109 },4110 "w2" ->4111 {4112 attached: Set(),4113 built: false,4114 expecting: false,4115 running: false,4116 session: true,4117 up: true4118 }4119 )4120}41214122[State 7]4123{4124 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),4125 schedNoReport::scheduler::crashes: 2,4126 schedNoReport::scheduler::entry: [],4127 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),4128 schedNoReport::scheduler::mAssigned: Set(),4129 schedNoReport::scheduler::mBuild: Set(),4130 schedNoReport::scheduler::mDone: Set(),4131 schedNoReport::scheduler::mExpect: Set(),4132 schedNoReport::scheduler::mResult: Set(),4133 schedNoReport::scheduler::mRetry: Set("c1"),4134 schedNoReport::scheduler::mSchedule: Set("c2"),4135 schedNoReport::scheduler::published: 0,4136 schedNoReport::scheduler::publishedBy: Set(),4137 schedNoReport::scheduler::ws:4138 Map(4139 "w1" ->4140 {4141 attached: Set(),4142 built: false,4143 expecting: true,4144 running: true,4145 session: true,4146 up: true4147 },4148 "w2" ->4149 {4150 attached: Set(),4151 built: false,4152 expecting: false,4153 running: false,4154 session: true,4155 up: true4156 }4157 )4158}41594160[State 8]4161{4162 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),4163 schedNoReport::scheduler::crashes: 2,4164 schedNoReport::scheduler::entry:4165 [{ followers: Set("c2"), leased: true, worker: "w2" }],4166 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),4167 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),4168 schedNoReport::scheduler::mBuild: Set(),4169 schedNoReport::scheduler::mDone: Set(),4170 schedNoReport::scheduler::mExpect: Set("w2"),4171 schedNoReport::scheduler::mResult: Set(),4172 schedNoReport::scheduler::mRetry: Set("c1"),4173 schedNoReport::scheduler::mSchedule: Set(),4174 schedNoReport::scheduler::published: 0,4175 schedNoReport::scheduler::publishedBy: Set(),4176 schedNoReport::scheduler::ws:4177 Map(4178 "w1" ->4179 {4180 attached: Set(),4181 built: false,4182 expecting: true,4183 running: true,4184 session: true,4185 up: true4186 },4187 "w2" ->4188 {4189 attached: Set(),4190 built: false,4191 expecting: false,4192 running: false,4193 session: true,4194 up: true4195 }4196 )4197}41984199[State 9]4200{4201 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),4202 schedNoReport::scheduler::crashes: 2,4203 schedNoReport::scheduler::entry:4204 [{ followers: Set("c2"), leased: true, worker: "w2" }],4205 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),4206 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),4207 schedNoReport::scheduler::mBuild: Set(),4208 schedNoReport::scheduler::mDone: Set(),4209 schedNoReport::scheduler::mExpect: Set(),4210 schedNoReport::scheduler::mResult: Set(),4211 schedNoReport::scheduler::mRetry: Set("c1"),4212 schedNoReport::scheduler::mSchedule: Set(),4213 schedNoReport::scheduler::published: 0,4214 schedNoReport::scheduler::publishedBy: Set(),4215 schedNoReport::scheduler::ws:4216 Map(4217 "w1" ->4218 {4219 attached: Set(),4220 built: false,4221 expecting: true,4222 running: true,4223 session: true,4224 up: true4225 },4226 "w2" ->4227 {4228 attached: Set(),4229 built: false,4230 expecting: true,4231 running: true,4232 session: true,4233 up: true4234 }4235 )4236}42374238[State 10]4239{4240 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),4241 schedNoReport::scheduler::crashes: 2,4242 schedNoReport::scheduler::entry:4243 [{ followers: Set("c2"), leased: true, worker: "w2" }],4244 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),4245 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),4246 schedNoReport::scheduler::mBuild: Set(),4247 schedNoReport::scheduler::mDone: Set(),4248 schedNoReport::scheduler::mExpect: Set(),4249 schedNoReport::scheduler::mResult: Set(),4250 schedNoReport::scheduler::mRetry: Set(),4251 schedNoReport::scheduler::mSchedule: Set("c1"),4252 schedNoReport::scheduler::published: 0,4253 schedNoReport::scheduler::publishedBy: Set(),4254 schedNoReport::scheduler::ws:4255 Map(4256 "w1" ->4257 {4258 attached: Set(),4259 built: false,4260 expecting: true,4261 running: true,4262 session: true,4263 up: true4264 },4265 "w2" ->4266 {4267 attached: Set(),4268 built: false,4269 expecting: true,4270 running: true,4271 session: true,4272 up: true4273 }4274 )4275}42764277[State 11]4278{4279 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),4280 schedNoReport::scheduler::crashes: 2,4281 schedNoReport::scheduler::entry:4282 [{ followers: Set("c2"), leased: true, worker: "w2" }],4283 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),4284 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),4285 schedNoReport::scheduler::mBuild: Set(),4286 schedNoReport::scheduler::mDone: Set("w2"),4287 schedNoReport::scheduler::mExpect: Set(),4288 schedNoReport::scheduler::mResult: Set(),4289 schedNoReport::scheduler::mRetry: Set(),4290 schedNoReport::scheduler::mSchedule: Set("c1"),4291 schedNoReport::scheduler::published: 1,4292 schedNoReport::scheduler::publishedBy: Set("w2"),4293 schedNoReport::scheduler::ws:4294 Map(4295 "w1" ->4296 {4297 attached: Set(),4298 built: false,4299 expecting: true,4300 running: true,4301 session: true,4302 up: true4303 },4304 "w2" ->4305 {4306 attached: Set(),4307 built: true,4308 expecting: false,4309 running: false,4310 session: true,4311 up: true4312 }4313 )4314}43154316[State 12]4317{4318 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),4319 schedNoReport::scheduler::crashes: 2,4320 schedNoReport::scheduler::entry:4321 [{ followers: Set("c2"), leased: true, worker: "w2" }],4322 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),4323 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),4324 schedNoReport::scheduler::mBuild: Set(),4325 schedNoReport::scheduler::mDone: Set("w1", "w2"),4326 schedNoReport::scheduler::mExpect: Set(),4327 schedNoReport::scheduler::mResult: Set(),4328 schedNoReport::scheduler::mRetry: Set(),4329 schedNoReport::scheduler::mSchedule: Set("c1"),4330 schedNoReport::scheduler::published: 2,4331 schedNoReport::scheduler::publishedBy: Set("w1", "w2"),4332 schedNoReport::scheduler::ws:4333 Map(4334 "w1" ->4335 {4336 attached: Set(),4337 built: true,4338 expecting: false,4339 running: false,4340 session: true,4341 up: true4342 },4343 "w2" ->4344 {4345 attached: Set(),4346 built: true,4347 expecting: false,4348 running: false,4349 session: true,4350 up: true4351 }4352 )4353}43544355[violation] Found an issue (1478ms at 2607 traces/second).4356Use --verbosity=3 to show executions.4357Use --seed=0x19671c0e9a974acd --backend=rust to reproduce.4358error: Invariant violated4359Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sAn example execution:43604361[State 0]4362{4363 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),4364 schedTerminal::scheduler::crashes: 0,4365 schedTerminal::scheduler::entry: [],4366 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4367 schedTerminal::scheduler::mAssigned: Set(),4368 schedTerminal::scheduler::mBuild: Set(),4369 schedTerminal::scheduler::mDone: Set(),4370 schedTerminal::scheduler::mExpect: Set(),4371 schedTerminal::scheduler::mResult: Set(),4372 schedTerminal::scheduler::mRetry: Set(),4373 schedTerminal::scheduler::mSchedule: Set(),4374 schedTerminal::scheduler::published: 0,4375 schedTerminal::scheduler::publishedBy: Set(),4376 schedTerminal::scheduler::ws:4377 Map(4378 "w1" ->4379 {4380 attached: Set(),4381 built: false,4382 expecting: false,4383 running: false,4384 session: true,4385 up: true4386 },4387 "w2" ->4388 {4389 attached: Set(),4390 built: false,4391 expecting: false,4392 running: false,4393 session: true,4394 up: true4395 }4396 )4397}43984399[State 1]4400{4401 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),4402 schedTerminal::scheduler::crashes: 1,4403 schedTerminal::scheduler::entry: [],4404 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4405 schedTerminal::scheduler::mAssigned: Set(),4406 schedTerminal::scheduler::mBuild: Set(),4407 schedTerminal::scheduler::mDone: Set(),4408 schedTerminal::scheduler::mExpect: Set(),4409 schedTerminal::scheduler::mResult: Set(),4410 schedTerminal::scheduler::mRetry: Set(),4411 schedTerminal::scheduler::mSchedule: Set(),4412 schedTerminal::scheduler::published: 0,4413 schedTerminal::scheduler::publishedBy: Set(),4414 schedTerminal::scheduler::ws:4415 Map(4416 "w1" ->4417 {4418 attached: Set(),4419 built: false,4420 expecting: false,4421 running: false,4422 session: false,4423 up: true4424 },4425 "w2" ->4426 {4427 attached: Set(),4428 built: false,4429 expecting: false,4430 running: false,4431 session: false,4432 up: true4433 }4434 )4435}44364437[State 2]4438{4439 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),4440 schedTerminal::scheduler::crashes: 1,4441 schedTerminal::scheduler::entry: [],4442 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4443 schedTerminal::scheduler::mAssigned: Set(),4444 schedTerminal::scheduler::mBuild: Set(),4445 schedTerminal::scheduler::mDone: Set(),4446 schedTerminal::scheduler::mExpect: Set(),4447 schedTerminal::scheduler::mResult: Set(),4448 schedTerminal::scheduler::mRetry: Set(),4449 schedTerminal::scheduler::mSchedule: Set("c2"),4450 schedTerminal::scheduler::published: 0,4451 schedTerminal::scheduler::publishedBy: Set(),4452 schedTerminal::scheduler::ws:4453 Map(4454 "w1" ->4455 {4456 attached: Set(),4457 built: false,4458 expecting: false,4459 running: false,4460 session: false,4461 up: true4462 },4463 "w2" ->4464 {4465 attached: Set(),4466 built: false,4467 expecting: false,4468 running: false,4469 session: false,4470 up: true4471 }4472 )4473}44744475[State 3]4476{4477 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CFailed),4478 schedTerminal::scheduler::crashes: 1,4479 schedTerminal::scheduler::entry: [],4480 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4481 schedTerminal::scheduler::mAssigned: Set(),4482 schedTerminal::scheduler::mBuild: Set(),4483 schedTerminal::scheduler::mDone: Set(),4484 schedTerminal::scheduler::mExpect: Set(),4485 schedTerminal::scheduler::mResult: Set(),4486 schedTerminal::scheduler::mRetry: Set(),4487 schedTerminal::scheduler::mSchedule: Set(),4488 schedTerminal::scheduler::published: 0,4489 schedTerminal::scheduler::publishedBy: Set(),4490 schedTerminal::scheduler::ws:4491 Map(4492 "w1" ->4493 {4494 attached: Set(),4495 built: false,4496 expecting: false,4497 running: false,4498 session: false,4499 up: true4500 },4501 "w2" ->4502 {4503 attached: Set(),4504 built: false,4505 expecting: false,4506 running: false,4507 session: false,4508 up: true4509 }4510 )4511}45124513[violation] Found an issue (61ms at 1082 traces/second).4514Use --verbosity=3 to show executions.4515Use --seed=0x3ab13905bf24af65 --backend=rust to reproduce.4516error: Invariant violated4517Running... [ ] 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/sAn example execution:45184519[State 0]4520{4521 hookFixed::hook::cache: Set(),4522 hookFixed::hook::drvUploaded: false,4523 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4524 hookFixed::hook::phase: Query,4525 hookFixed::hook::restarts: 0,4526 hookFixed::hook::retries: 0,4527 hookFixed::hook::toUpload: Set()4528}45294530[State 1]4531{4532 hookFixed::hook::cache: Set(),4533 hookFixed::hook::drvUploaded: false,4534 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4535 hookFixed::hook::phase: Query,4536 hookFixed::hook::restarts: 1,4537 hookFixed::hook::retries: 1,4538 hookFixed::hook::toUpload: Set()4539}45404541[State 2]4542{4543 hookFixed::hook::cache: Set(),4544 hookFixed::hook::drvUploaded: false,4545 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4546 hookFixed::hook::phase: Query,4547 hookFixed::hook::restarts: 2,4548 hookFixed::hook::retries: 2,4549 hookFixed::hook::toUpload: Set()4550}45514552[State 3]4553{4554 hookFixed::hook::cache: Set(),4555 hookFixed::hook::drvUploaded: false,4556 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4557 hookFixed::hook::phase: Upload,4558 hookFixed::hook::restarts: 2,4559 hookFixed::hook::retries: 2,4560 hookFixed::hook::toUpload: Set("drv", "in")4561}45624563[State 4]4564{4565 hookFixed::hook::cache: Set("drv", "in"),4566 hookFixed::hook::drvUploaded: false,4567 hookFixed::hook::local: Map("w1" -> Set("drv", "in"), "w2" -> Set()),4568 hookFixed::hook::phase: Build,4569 hookFixed::hook::restarts: 2,4570 hookFixed::hook::retries: 2,4571 hookFixed::hook::toUpload: Set("drv", "in")4572}45734574[State 5]4575{4576 hookFixed::hook::cache: Set("drv", "in", "out"),4577 hookFixed::hook::drvUploaded: false,4578 hookFixed::hook::local: Map("w1" -> Set("drv", "in", "out"), "w2" -> Set()),4579 hookFixed::hook::phase: Fetch,4580 hookFixed::hook::restarts: 2,4581 hookFixed::hook::retries: 2,4582 hookFixed::hook::toUpload: Set("drv", "in")4583}45844585[State 6]4586{4587 hookFixed::hook::cache: Set("drv", "in", "out"),4588 hookFixed::hook::drvUploaded: false,4589 hookFixed::hook::local: Map("w1" -> Set("drv", "in", "out"), "w2" -> Set()),4590 hookFixed::hook::phase: Done,4591 hookFixed::hook::restarts: 2,4592 hookFixed::hook::retries: 2,4593 hookFixed::hook::toUpload: Set("drv", "in")4594}45954596[ok] No violation found (173ms at 115607 traces/second).4597Trace length statistics: max=7, min=5, average=6.754598You may increase --max-samples and --max-steps.4599Use --verbosity to produce more (or less) output.4600Use --seed=0xd23de04cb5947921 --backend=rust to reproduce.4601Running... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sAn example execution:46024603[State 0]4604{4605 hookNoSubstituteRefs::hook::cache: Set(),4606 hookNoSubstituteRefs::hook::drvUploaded: false,4607 hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4608 hookNoSubstituteRefs::hook::phase: Query,4609 hookNoSubstituteRefs::hook::restarts: 0,4610 hookNoSubstituteRefs::hook::retries: 0,4611 hookNoSubstituteRefs::hook::toUpload: Set()4612}46134614[State 1]4615{4616 hookNoSubstituteRefs::hook::cache: Set("in"),4617 hookNoSubstituteRefs::hook::drvUploaded: false,4618 hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4619 hookNoSubstituteRefs::hook::phase: Upload,4620 hookNoSubstituteRefs::hook::restarts: 0,4621 hookNoSubstituteRefs::hook::retries: 0,4622 hookNoSubstituteRefs::hook::toUpload: Set("drv")4623}46244625[State 2]4626{4627 hookNoSubstituteRefs::hook::cache: Set("in"),4628 hookNoSubstituteRefs::hook::drvUploaded: false,4629 hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4630 hookNoSubstituteRefs::hook::phase: Failed,4631 hookNoSubstituteRefs::hook::restarts: 0,4632 hookNoSubstituteRefs::hook::retries: 0,4633 hookNoSubstituteRefs::hook::toUpload: Set("drv")4634}46354636[violation] Found an issue (31ms at 2871 traces/second).4637Use --verbosity=3 to show executions.4638Use --seed=0xf7ff3f4e68c15ff3 --backend=rust to reproduce.4639error: Invariant violated4640Running... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 5s | 63/20000 samples | 4200 samples/sAn example execution:46414642[State 0]4643{4644 hookNoSubstituteDrv::hook::cache: Set(),4645 hookNoSubstituteDrv::hook::drvUploaded: false,4646 hookNoSubstituteDrv::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),4647 hookNoSubstituteDrv::hook::phase: Query,4648 hookNoSubstituteDrv::hook::restarts: 0,4649 hookNoSubstituteDrv::hook::retries: 0,4650 hookNoSubstituteDrv::hook::toUpload: Set()4651}46524653[State 1]4654{4655 hookNoSubstituteDrv::hook::cache: Set(),4656 hookNoSubstituteDrv::hook::drvUploaded: false,4657 hookNoSubstituteDrv::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),4658 hookNoSubstituteDrv::hook::phase: Query,4659 hookNoSubstituteDrv::hook::restarts: 1,4660 hookNoSubstituteDrv::hook::retries: 1,4661 hookNoSubstituteDrv::hook::toUpload: Set()4662}46634664[State 2]4665{4666 hookNoSubstituteDrv::hook::cache: Set("in"),4667 hookNoSubstituteDrv::hook::drvUploaded: false,4668 hookNoSubstituteDrv::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),4669 hookNoSubstituteDrv::hook::phase: Upload,4670 hookNoSubstituteDrv::hook::restarts: 1,4671 hookNoSubstituteDrv::hook::retries: 1,4672 hookNoSubstituteDrv::hook::toUpload: Set("drv")4673}46744675[State 3]4676{4677 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4678 hookNoSubstituteDrv::hook::drvUploaded: false,4679 hookNoSubstituteDrv::hook::local:4680 Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),4681 hookNoSubstituteDrv::hook::phase: Build,4682 hookNoSubstituteDrv::hook::restarts: 1,4683 hookNoSubstituteDrv::hook::retries: 1,4684 hookNoSubstituteDrv::hook::toUpload: Set("drv")4685}46864687[State 4]4688{4689 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4690 hookNoSubstituteDrv::hook::drvUploaded: false,4691 hookNoSubstituteDrv::hook::local:4692 Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),4693 hookNoSubstituteDrv::hook::phase: Build,4694 hookNoSubstituteDrv::hook::restarts: 2,4695 hookNoSubstituteDrv::hook::retries: 2,4696 hookNoSubstituteDrv::hook::toUpload: Set("drv")4697}46984699[State 5]4700{4701 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4702 hookNoSubstituteDrv::hook::drvUploaded: false,4703 hookNoSubstituteDrv::hook::local:4704 Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),4705 hookNoSubstituteDrv::hook::phase: UploadDrv,4706 hookNoSubstituteDrv::hook::restarts: 2,4707 hookNoSubstituteDrv::hook::retries: 2,4708 hookNoSubstituteDrv::hook::toUpload: Set("drv")4709}47104711[State 6]4712{4713 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4714 hookNoSubstituteDrv::hook::drvUploaded: true,4715 hookNoSubstituteDrv::hook::local:4716 Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),4717 hookNoSubstituteDrv::hook::phase: Build,4718 hookNoSubstituteDrv::hook::restarts: 2,4719 hookNoSubstituteDrv::hook::retries: 2,4720 hookNoSubstituteDrv::hook::toUpload: Set("drv")4721}47224723[State 7]4724{4725 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4726 hookNoSubstituteDrv::hook::drvUploaded: true,4727 hookNoSubstituteDrv::hook::local:4728 Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),4729 hookNoSubstituteDrv::hook::phase: Failed,4730 hookNoSubstituteDrv::hook::restarts: 2,4731 hookNoSubstituteDrv::hook::retries: 2,4732 hookNoSubstituteDrv::hook::toUpload: Set("drv")4733}47344735[violation] Found an issue (30ms at 2800 traces/second).4736Use --verbosity=3 to show executions.4737Use --seed=0x6bbb341bdedca95f --backend=rust to reproduce.4738error: Invariant violated4739Running... [ ] 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/sAn example execution:47404741[State 0]4742{4743 pushFixed::push::byPath: Map(),4744 pushFixed::push::inflight: Set(),4745 pushFixed::push::left: Map(),4746 pushFixed::push::sent: Map()4747}47484749[State 1]4750{4751 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),4752 pushFixed::push::inflight: Set((3, "a"), (3, "b")),4753 pushFixed::push::left: Map(3 -> 2),4754 pushFixed::push::sent: Map(3 -> Set("a", "b"))4755}47564757[State 2]4758{4759 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),4760 pushFixed::push::inflight: Set((2, "a"), (2, "b"), (3, "a"), (3, "b")),4761 pushFixed::push::left: Map(2 -> 2, 3 -> 2),4762 pushFixed::push::sent: Map(2 -> Set("a", "b"), 3 -> Set("a", "b"))4763}47644765[State 3]4766{4767 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4768 pushFixed::push::inflight:4769 Set((1, "a"), (1, "b"), (2, "a"), (2, "b"), (3, "a"), (3, "b")),4770 pushFixed::push::left: Map(1 -> 2, 2 -> 2, 3 -> 2),4771 pushFixed::push::sent:4772 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4773}47744775[State 4]4776{4777 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4778 pushFixed::push::inflight:4779 Set((1, "a"), (1, "b"), (2, "a"), (2, "b"), (3, "b")),4780 pushFixed::push::left: Map(1 -> 2, 2 -> 2, 3 -> 1),4781 pushFixed::push::sent:4782 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4783}47844785[State 5]4786{4787 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4788 pushFixed::push::inflight: Set((1, "b"), (2, "a"), (2, "b"), (3, "b")),4789 pushFixed::push::left: Map(1 -> 1, 2 -> 2, 3 -> 1),4790 pushFixed::push::sent:4791 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4792}47934794[State 6]4795{4796 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4797 pushFixed::push::inflight: Set((1, "b"), (2, "b"), (3, "b")),4798 pushFixed::push::left: Map(1 -> 1, 2 -> 1, 3 -> 1),4799 pushFixed::push::sent:4800 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4801}48024803[State 7]4804{4805 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4806 pushFixed::push::inflight: Set((1, "b"), (3, "b")),4807 pushFixed::push::left: Map(1 -> 1, 2 -> 0, 3 -> 1),4808 pushFixed::push::sent:4809 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4810}48114812[State 8]4813{4814 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4815 pushFixed::push::inflight: Set((1, "b")),4816 pushFixed::push::left: Map(1 -> 1, 2 -> 0, 3 -> 0),4817 pushFixed::push::sent:4818 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4819}48204821[State 9]4822{4823 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4824 pushFixed::push::inflight: Set(),4825 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),4826 pushFixed::push::sent:4827 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4828}48294830[ok] No violation found (231ms at 86580 traces/second).4831Trace length statistics: max=10, min=7, average=7.994832You may increase --max-samples and --max-steps.4833Use --verbosity to produce more (or less) output.4834Use --seed=0x6d2cbb8c575a50c9 --backend=rust to reproduce.