nix-grpc-store-spec
checks.aarch64-darwin.spec
· build #186
· raw
1Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 11400s | 1/30000 samples | 3 samples/sRunning... [ ] 0% | ETA: 11400s | 1/30000 samples | 3 samples/sRunning... [■■ ] 4% | ETA: 11s | 1471/30000 samples | 2704 samples/sRunning... [■■■ ] 8% | ETA: 8s | 2545/30000 samples | 3903 samples/sRunning... [■■■■ ] 10% | ETA: 7s | 3284/30000 samples | 4338 samples/sRunning... [■■■■ ] 10% | ETA: 7s | 3284/30000 samples | 4338 samples/sRunning... [■■■■■■ ] 15% | ETA: 6s | 4657/30000 samples | 4856 samples/sRunning... [■■■■■■ ] 15% | ETA: 6s | 4657/30000 samples | 4856 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 5s | 6273/30000 samples | 5417 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 5s | 6273/30000 samples | 5417 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 4s | 8312/30000 samples | 6006 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 4s | 9226/30000 samples | 6167 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 4s | 9226/30000 samples | 6167 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 4s | 9226/30000 samples | 6167 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 3s | 11353/30000 samples | 6532 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 3s | 11353/30000 samples | 6532 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 2s | 13661/30000 samples | 6893 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 2s | 13661/30000 samples | 6893 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 2s | 15588/30000 samples | 7134 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 2s | 16674/30000 samples | 7243 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 2s | 16674/30000 samples | 7243 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 2s | 16674/30000 samples | 7243 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 2s | 19034/30000 samples | 7458 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 2s | 20493/30000 samples | 7551 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 2s | 20493/30000 samples | 7551 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 2s | 20493/30000 samples | 7551 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 75% | ETA: 1s | 22718/30000 samples | 7665 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 1s | 23729/30000 samples | 7714 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 1s | 23729/30000 samples | 7714 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 1s | 24630/30000 samples | 7553 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 1s | 24630/30000 samples | 7553 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 1s | 25628/30000 samples | 7318 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 1s | 25628/30000 samples | 7318 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 1s | 26631/30000 samples | 7266 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 1s | 27863/30000 samples | 7226 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 1s | 27863/30000 samples | 7226 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 28881/30000 samples | 7183 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 28881/30000 samples | 7183 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29812/30000 samples | 7061 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 30000/30000 samples | 6932 samples/sAn example execution:23[State 0]4{5 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),6 schedFixed::scheduler::crashes: 0,7 schedFixed::scheduler::entry: [],8 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),9 schedFixed::scheduler::mAssigned: Set(),10 schedFixed::scheduler::mBuild: Set(),11 schedFixed::scheduler::mDone: Set(),12 schedFixed::scheduler::mExpect: Set(),13 schedFixed::scheduler::mResult: Set(),14 schedFixed::scheduler::mRetry: Set(),15 schedFixed::scheduler::mSchedule: Set(),16 schedFixed::scheduler::published: 0,17 schedFixed::scheduler::publishedBy: Set(),18 schedFixed::scheduler::ws:19 Map(20 "w1" ->21 {22 attached: Set(),23 built: false,24 expecting: false,25 running: false,26 session: true,27 up: true28 },29 "w2" ->30 {31 attached: Set(),32 built: false,33 expecting: false,34 running: false,35 session: true,36 up: true37 }38 )39}4041[State 1]42{43 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),44 schedFixed::scheduler::crashes: 1,45 schedFixed::scheduler::entry: [],46 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),47 schedFixed::scheduler::mAssigned: Set(),48 schedFixed::scheduler::mBuild: Set(),49 schedFixed::scheduler::mDone: Set(),50 schedFixed::scheduler::mExpect: Set(),51 schedFixed::scheduler::mResult: Set(),52 schedFixed::scheduler::mRetry: Set(),53 schedFixed::scheduler::mSchedule: Set(),54 schedFixed::scheduler::published: 0,55 schedFixed::scheduler::publishedBy: Set(),56 schedFixed::scheduler::ws:57 Map(58 "w1" ->59 {60 attached: Set(),61 built: false,62 expecting: false,63 running: false,64 session: true,65 up: true66 },67 "w2" ->68 {69 attached: Set(),70 built: false,71 expecting: false,72 running: false,73 session: false,74 up: false75 }76 )77}7879[State 2]80{81 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),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("c2"),92 schedFixed::scheduler::published: 0,93 schedFixed::scheduler::publishedBy: Set(),94 schedFixed::scheduler::ws:95 Map(96 "w1" ->97 {98 attached: Set(),99 built: false,100 expecting: false,101 running: false,102 session: true,103 up: true104 },105 "w2" ->106 {107 attached: Set(),108 built: false,109 expecting: false,110 running: false,111 session: false,112 up: false113 }114 )115}116117[State 3]118{119 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),120 schedFixed::scheduler::crashes: 1,121 schedFixed::scheduler::entry:122 [{ followers: Set("c2"), leased: true, worker: "w1" }],123 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),124 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),125 schedFixed::scheduler::mBuild: Set(),126 schedFixed::scheduler::mDone: Set(),127 schedFixed::scheduler::mExpect: Set("w1"),128 schedFixed::scheduler::mResult: Set(),129 schedFixed::scheduler::mRetry: Set(),130 schedFixed::scheduler::mSchedule: Set(),131 schedFixed::scheduler::published: 0,132 schedFixed::scheduler::publishedBy: Set(),133 schedFixed::scheduler::ws:134 Map(135 "w1" ->136 {137 attached: Set(),138 built: false,139 expecting: false,140 running: false,141 session: true,142 up: true143 },144 "w2" ->145 {146 attached: Set(),147 built: false,148 expecting: false,149 running: false,150 session: false,151 up: false152 }153 )154}155156[State 4]157{158 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),159 schedFixed::scheduler::crashes: 2,160 schedFixed::scheduler::entry: [],161 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),162 schedFixed::scheduler::mAssigned: Set(),163 schedFixed::scheduler::mBuild: Set(),164 schedFixed::scheduler::mDone: Set(),165 schedFixed::scheduler::mExpect: Set(),166 schedFixed::scheduler::mResult: Set(),167 schedFixed::scheduler::mRetry: Set("c2"),168 schedFixed::scheduler::mSchedule: Set(),169 schedFixed::scheduler::published: 0,170 schedFixed::scheduler::publishedBy: Set(),171 schedFixed::scheduler::ws:172 Map(173 "w1" ->174 {175 attached: Set(),176 built: false,177 expecting: false,178 running: false,179 session: true,180 up: true181 },182 "w2" ->183 {184 attached: Set(),185 built: false,186 expecting: false,187 running: false,188 session: false,189 up: false190 }191 )192}193194[State 5]195{196 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),197 schedFixed::scheduler::crashes: 2,198 schedFixed::scheduler::entry: [],199 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),200 schedFixed::scheduler::mAssigned: Set(),201 schedFixed::scheduler::mBuild: Set(),202 schedFixed::scheduler::mDone: Set(),203 schedFixed::scheduler::mExpect: Set(),204 schedFixed::scheduler::mResult: Set(),205 schedFixed::scheduler::mRetry: Set("c2"),206 schedFixed::scheduler::mSchedule: Set("c1"),207 schedFixed::scheduler::published: 0,208 schedFixed::scheduler::publishedBy: Set(),209 schedFixed::scheduler::ws:210 Map(211 "w1" ->212 {213 attached: Set(),214 built: false,215 expecting: false,216 running: false,217 session: true,218 up: true219 },220 "w2" ->221 {222 attached: Set(),223 built: false,224 expecting: false,225 running: false,226 session: false,227 up: false228 }229 )230}231232[State 6]233{234 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),235 schedFixed::scheduler::crashes: 2,236 schedFixed::scheduler::entry: [],237 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),238 schedFixed::scheduler::mAssigned: Set(),239 schedFixed::scheduler::mBuild: Set(),240 schedFixed::scheduler::mDone: Set(),241 schedFixed::scheduler::mExpect: Set(),242 schedFixed::scheduler::mResult: Set(),243 schedFixed::scheduler::mRetry: Set(),244 schedFixed::scheduler::mSchedule: Set("c1", "c2"),245 schedFixed::scheduler::published: 0,246 schedFixed::scheduler::publishedBy: Set(),247 schedFixed::scheduler::ws:248 Map(249 "w1" ->250 {251 attached: Set(),252 built: false,253 expecting: false,254 running: false,255 session: true,256 up: true257 },258 "w2" ->259 {260 attached: Set(),261 built: false,262 expecting: false,263 running: false,264 session: false,265 up: false266 }267 )268}269270[State 7]271{272 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),273 schedFixed::scheduler::crashes: 2,274 schedFixed::scheduler::entry: [],275 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),276 schedFixed::scheduler::mAssigned: Set(),277 schedFixed::scheduler::mBuild: Set(),278 schedFixed::scheduler::mDone: Set(),279 schedFixed::scheduler::mExpect: Set(),280 schedFixed::scheduler::mResult: Set(),281 schedFixed::scheduler::mRetry: Set(),282 schedFixed::scheduler::mSchedule: Set("c1", "c2"),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" -> CQueued, "c2" -> CQueued),311 schedFixed::scheduler::crashes: 2,312 schedFixed::scheduler::entry:313 [{ followers: Set("c2"), leased: true, worker: "w1" }],314 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),315 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),316 schedFixed::scheduler::mBuild: Set(),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("c1"),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" -> CQueued, "c2" -> CQueued),350 schedFixed::scheduler::crashes: 2,351 schedFixed::scheduler::entry:352 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],353 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),354 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),355 schedFixed::scheduler::mBuild: Set(),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(),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" -> CQueued, "c2" -> CSent("w1")),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(("c1", "w1")),394 schedFixed::scheduler::mBuild: Set(("c2", "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(("c1", "w1")),550 schedFixed::scheduler::mBuild: Set(("c2", "w1")),551 schedFixed::scheduler::mDone: Set(),552 schedFixed::scheduler::mExpect: Set("w1"),553 schedFixed::scheduler::mResult: Set(),554 schedFixed::scheduler::mRetry: Set(),555 schedFixed::scheduler::mSchedule: Set(),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" -> CSent("w1"), "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(),589 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),590 schedFixed::scheduler::mDone: Set(),591 schedFixed::scheduler::mExpect: Set("w1"),592 schedFixed::scheduler::mResult: Set(),593 schedFixed::scheduler::mRetry: Set(),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" -> CSent("w1"), "c2" -> CSent("w1")),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(),628 schedFixed::scheduler::mBuild: Set(("c2", "w1")),629 schedFixed::scheduler::mDone: Set(),630 schedFixed::scheduler::mExpect: Set("w1"),631 schedFixed::scheduler::mResult: Set(),632 schedFixed::scheduler::mRetry: Set("c1"),633 schedFixed::scheduler::mSchedule: Set(),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" -> CSent("w1")),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(),668 schedFixed::scheduler::mDone: Set(),669 schedFixed::scheduler::mExpect: Set("w1"),670 schedFixed::scheduler::mResult: Set(),671 schedFixed::scheduler::mRetry: Set("c1", "c2"),672 schedFixed::scheduler::mSchedule: Set(),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" -> CSent("w1")),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(),709 schedFixed::scheduler::mResult: Set(),710 schedFixed::scheduler::mRetry: Set("c1", "c2"),711 schedFixed::scheduler::mSchedule: Set(),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: true,721 running: true,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" -> CSent("w1"), "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(),748 schedFixed::scheduler::mResult: Set(),749 schedFixed::scheduler::mRetry: Set("c1"),750 schedFixed::scheduler::mSchedule: Set("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: true,760 running: true,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(),784 schedFixed::scheduler::mBuild: Set(),785 schedFixed::scheduler::mDone: Set(),786 schedFixed::scheduler::mExpect: Set(),787 schedFixed::scheduler::mResult: Set(),788 schedFixed::scheduler::mRetry: Set(),789 schedFixed::scheduler::mSchedule: Set("c1", "c2"),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: true,799 running: true,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(("c2", "w1")),823 schedFixed::scheduler::mBuild: Set(),824 schedFixed::scheduler::mDone: Set(),825 schedFixed::scheduler::mExpect: Set(),826 schedFixed::scheduler::mResult: Set(),827 schedFixed::scheduler::mRetry: Set(),828 schedFixed::scheduler::mSchedule: Set("c1"),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: true,838 running: true,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" -> CQueued, "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(("c1", "w1"), ("c2", "w1")),862 schedFixed::scheduler::mBuild: Set(),863 schedFixed::scheduler::mDone: Set(),864 schedFixed::scheduler::mExpect: Set(),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: true,877 running: true,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" -> CQueued, "c2" -> CSent("w1")),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(("c1", "w1")),901 schedFixed::scheduler::mBuild: Set(("c2", "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" -> CQueued, "c2" -> CSent("w1")),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(("c1", "w1")),940 schedFixed::scheduler::mBuild: Set(),941 schedFixed::scheduler::mDone: Set(),942 schedFixed::scheduler::mExpect: Set(),943 schedFixed::scheduler::mResult: Set(),944 schedFixed::scheduler::mRetry: Set(),945 schedFixed::scheduler::mSchedule: Set(),946 schedFixed::scheduler::published: 0,947 schedFixed::scheduler::publishedBy: Set(),948 schedFixed::scheduler::ws:949 Map(950 "w1" ->951 {952 attached: Set("c2"),953 built: false,954 expecting: true,955 running: true,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" -> CQueued, "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(("c1", "w1")),979 schedFixed::scheduler::mBuild: Set(),980 schedFixed::scheduler::mDone: Set("w1"),981 schedFixed::scheduler::mExpect: Set(),982 schedFixed::scheduler::mResult: Set("c2"),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" -> CQueued, "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(("c1", "w1")),1017 schedFixed::scheduler::mBuild: Set(),1018 schedFixed::scheduler::mDone: Set(),1019 schedFixed::scheduler::mExpect: Set(),1020 schedFixed::scheduler::mResult: Set("c2"),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(("c1", "w1")),1056 schedFixed::scheduler::mDone: Set(),1057 schedFixed::scheduler::mExpect: Set(),1058 schedFixed::scheduler::mResult: Set("c2"),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" -> CSent("w1"), "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(),1094 schedFixed::scheduler::mDone: Set(),1095 schedFixed::scheduler::mExpect: Set(),1096 schedFixed::scheduler::mResult: Set("c1", "c2"),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" -> CSent("w1"), "c2" -> CDone),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("c1"),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 (4365ms at 6873 traces/second).1201Trace length statistics: max=31, min=14, average=17.611202You may increase --max-samples and --max-steps.1203Use --verbosity to produce more (or less) output.1204Use --seed=0xba92937ec6d7bd29 --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... [■■ ] 4% | ETA: 8s | 1234/30000 samples | 4073 samples/sRunning... [■■ ] 4% | ETA: 8s | 1234/30000 samples | 4073 samples/sRunning... [■■ ] 4% | ETA: 8s | 1234/30000 samples | 4073 samples/sRunning... [■■ ] 5% | ETA: 9s | 1655/30000 samples | 3251 samples/sRunning... [■■■ ] 6% | ETA: 10s | 1923/30000 samples | 3092 samples/sRunning... [■■■ ] 7% | ETA: 10s | 2178/30000 samples | 2984 samples/sRunning... [■■■ ] 8% | ETA: 10s | 2427/30000 samples | 2859 samples/sRunning... [■■■■ ] 8% | ETA: 10s | 2646/30000 samples | 2782 samples/sRunning... [■■■■ ] 8% | ETA: 10s | 2646/30000 samples | 2782 samples/sRunning... [■■■■ ] 10% | ETA: 10s | 3251/30000 samples | 2707 samples/sRunning... [■■■■■ ] 11% | ETA: 10s | 3517/30000 samples | 2693 samples/sRunning... [■■■■■ ] 12% | ETA: 10s | 3801/30000 samples | 2690 samples/sRunning... [■■■■■ ] 12% | ETA: 10s | 3801/30000 samples | 2690 samples/sRunning... [■■■■■■ ] 13% | ETA: 12s | 4142/30000 samples | 2662 samples/sRunning... [■■■■■■ ] 14% | ETA: 11s | 4475/30000 samples | 2665 samples/sRunning... [■■■■■■ ] 14% | ETA: 11s | 4475/30000 samples | 2665 samples/sRunning... [■■■■■■■ ] 16% | ETA: 11s | 4893/30000 samples | 2643 samples/sRunning... [■■■■■■■ ] 17% | ETA: 11s | 5215/30000 samples | 2622 samples/sRunning... [■■■■■■■ ] 18% | ETA: 10s | 5584/30000 samples | 2617 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 10s | 5844/30000 samples | 2612 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 10s | 6060/30000 samples | 2593 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 10s | 6060/30000 samples | 2593 samples/sRunning... [■■■■■■■■ ] 21% | ETA: 10s | 6308/30000 samples | 2584 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 10s | 6759/30000 samples | 2580 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 10s | 6759/30000 samples | 2580 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 10s | 7105/30000 samples | 2586 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 10s | 7568/30000 samples | 2568 samples/sRunning... [■■■■■■■■■■ ] 26% | ETA: 9s | 7847/30000 samples | 2574 samples/sRunning... [■■■■■■■■■■ ] 26% | ETA: 9s | 7847/30000 samples | 2574 samples/sRunning... [■■■■■■■■■■ ] 26% | ETA: 9s | 7847/30000 samples | 2574 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 9s | 8314/30000 samples | 2554 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 9s | 8314/30000 samples | 2554 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 9s | 8942/30000 samples | 2551 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 9s | 9183/30000 samples | 2547 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 9s | 9183/30000 samples | 2547 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 9s | 9783/30000 samples | 2552 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 9s | 9783/30000 samples | 2552 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 8s | 10291/30000 samples | 2553 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 8s | 10291/30000 samples | 2553 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 8s | 10291/30000 samples | 2553 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 8s | 10951/30000 samples | 2557 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 8s | 11356/30000 samples | 2558 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 8s | 11356/30000 samples | 2558 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 38% | ETA: 8s | 11679/30000 samples | 2552 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 38% | ETA: 8s | 11679/30000 samples | 2552 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 8s | 12283/30000 samples | 2555 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 8s | 12283/30000 samples | 2555 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 7s | 12857/30000 samples | 2555 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 43% | ETA: 7s | 13152/30000 samples | 2559 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 7s | 13410/30000 samples | 2557 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 7s | 13410/30000 samples | 2557 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 7s | 13410/30000 samples | 2557 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 7s | 14016/30000 samples | 2553 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 7s | 14270/30000 samples | 2552 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 7s | 14270/30000 samples | 2552 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 6s | 14937/30000 samples | 2565 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 6s | 14937/30000 samples | 2565 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 6s | 15375/30000 samples | 2563 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 6s | 15889/30000 samples | 2569 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 6s | 15889/30000 samples | 2569 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 6s | 15889/30000 samples | 2569 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 6s | 16570/30000 samples | 2575 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 6s | 16814/30000 samples | 2572 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 6s | 16814/30000 samples | 2572 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 5s | 17547/30000 samples | 2586 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 5s | 17547/30000 samples | 2586 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 5s | 17547/30000 samples | 2586 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 5s | 18286/30000 samples | 2599 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 5s | 18286/30000 samples | 2599 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 5s | 18859/30000 samples | 2606 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 4s | 19241/30000 samples | 2605 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 4s | 19241/30000 samples | 2605 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 4s | 19879/30000 samples | 2607 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 4s | 19879/30000 samples | 2607 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 67% | ETA: 4s | 20257/30000 samples | 2596 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 67% | ETA: 4s | 20257/30000 samples | 2596 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 4s | 20420/30000 samples | 2570 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 4s | 20420/30000 samples | 2570 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 69% | ETA: 4s | 20953/30000 samples | 2570 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 4s | 21399/30000 samples | 2571 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 4s | 21399/30000 samples | 2571 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 72% | ETA: 4s | 21712/30000 samples | 2565 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 72% | ETA: 4s | 21712/30000 samples | 2565 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 4s | 22207/30000 samples | 2564 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 4s | 22207/30000 samples | 2564 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 75% | ETA: 4s | 22674/30000 samples | 2555 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 4s | 22955/30000 samples | 2551 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 77% | ETA: 4s | 23208/30000 samples | 2551 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 77% | ETA: 4s | 23208/30000 samples | 2551 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 3s | 23585/30000 samples | 2549 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 3s | 23585/30000 samples | 2549 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 3s | 24142/30000 samples | 2546 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 3s | 24357/30000 samples | 2541 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 3s | 24567/30000 samples | 2535 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 3s | 24891/30000 samples | 2533 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 3s | 25125/30000 samples | 2530 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 3s | 25125/30000 samples | 2530 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 2s | 25773/30000 samples | 2535 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 2s | 25773/30000 samples | 2535 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 2s | 26262/30000 samples | 2540 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 2s | 26262/30000 samples | 2540 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 2s | 26624/30000 samples | 2535 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 2s | 27264/30000 samples | 2569 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 1s | 27797/30000 samples | 2593 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 1s | 27833/30000 samples | 2571 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 1s | 27942/30000 samples | 2557 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 1s | 28204/30000 samples | 2557 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 1s | 28204/30000 samples | 2557 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 28669/30000 samples | 2552 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 28981/30000 samples | 2547 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29296/30000 samples | 2548 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29296/30000 samples | 2548 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 29535/30000 samples | 2544 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 29535/30000 samples | 2544 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29791/30000 samples | 2523 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29865/30000 samples | 2507 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29937/30000 samples | 2492 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 30000/30000 samples | 2463 samples/sAn example execution:12061207[State 0]1208{1209 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1210 schedNoFence::scheduler::crashes: 0,1211 schedNoFence::scheduler::entry: [],1212 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1213 schedNoFence::scheduler::mAssigned: Set(),1214 schedNoFence::scheduler::mBuild: Set(),1215 schedNoFence::scheduler::mDone: Set(),1216 schedNoFence::scheduler::mExpect: Set(),1217 schedNoFence::scheduler::mResult: Set(),1218 schedNoFence::scheduler::mRetry: Set(),1219 schedNoFence::scheduler::mSchedule: Set(),1220 schedNoFence::scheduler::published: 0,1221 schedNoFence::scheduler::publishedBy: Set(),1222 schedNoFence::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 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1248 schedNoFence::scheduler::crashes: 0,1249 schedNoFence::scheduler::entry: [],1250 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1251 schedNoFence::scheduler::mAssigned: Set(),1252 schedNoFence::scheduler::mBuild: Set(),1253 schedNoFence::scheduler::mDone: Set(),1254 schedNoFence::scheduler::mExpect: Set(),1255 schedNoFence::scheduler::mResult: Set(),1256 schedNoFence::scheduler::mRetry: Set(),1257 schedNoFence::scheduler::mSchedule: Set("c1"),1258 schedNoFence::scheduler::published: 0,1259 schedNoFence::scheduler::publishedBy: Set(),1260 schedNoFence::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 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1286 schedNoFence::scheduler::crashes: 1,1287 schedNoFence::scheduler::entry: [],1288 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1289 schedNoFence::scheduler::mAssigned: Set(),1290 schedNoFence::scheduler::mBuild: Set(),1291 schedNoFence::scheduler::mDone: Set(),1292 schedNoFence::scheduler::mExpect: Set(),1293 schedNoFence::scheduler::mResult: Set(),1294 schedNoFence::scheduler::mRetry: Set(),1295 schedNoFence::scheduler::mSchedule: Set("c1"),1296 schedNoFence::scheduler::published: 0,1297 schedNoFence::scheduler::publishedBy: Set(),1298 schedNoFence::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 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1324 schedNoFence::scheduler::crashes: 2,1325 schedNoFence::scheduler::entry: [],1326 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1327 schedNoFence::scheduler::mAssigned: Set(),1328 schedNoFence::scheduler::mBuild: Set(),1329 schedNoFence::scheduler::mDone: Set(),1330 schedNoFence::scheduler::mExpect: Set(),1331 schedNoFence::scheduler::mResult: Set(),1332 schedNoFence::scheduler::mRetry: Set("c1"),1333 schedNoFence::scheduler::mSchedule: Set(),1334 schedNoFence::scheduler::published: 0,1335 schedNoFence::scheduler::publishedBy: Set(),1336 schedNoFence::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 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1362 schedNoFence::scheduler::crashes: 2,1363 schedNoFence::scheduler::entry: [],1364 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1365 schedNoFence::scheduler::mAssigned: Set(),1366 schedNoFence::scheduler::mBuild: Set(),1367 schedNoFence::scheduler::mDone: Set(),1368 schedNoFence::scheduler::mExpect: Set(),1369 schedNoFence::scheduler::mResult: Set(),1370 schedNoFence::scheduler::mRetry: Set("c1"),1371 schedNoFence::scheduler::mSchedule: Set("c2"),1372 schedNoFence::scheduler::published: 0,1373 schedNoFence::scheduler::publishedBy: Set(),1374 schedNoFence::scheduler::ws:1375 Map(1376 "w1" ->1377 {1378 attached: Set(),1379 built: false,1380 expecting: false,1381 running: false,1382 session: true,1383 up: true1384 },1385 "w2" ->1386 {1387 attached: Set(),1388 built: false,1389 expecting: false,1390 running: false,1391 session: false,1392 up: false1393 }1394 )1395}13961397[State 5]1398{1399 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1400 schedNoFence::scheduler::crashes: 2,1401 schedNoFence::scheduler::entry: [],1402 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1403 schedNoFence::scheduler::mAssigned: Set(),1404 schedNoFence::scheduler::mBuild: Set(),1405 schedNoFence::scheduler::mDone: Set(),1406 schedNoFence::scheduler::mExpect: Set(),1407 schedNoFence::scheduler::mResult: Set(),1408 schedNoFence::scheduler::mRetry: Set("c1"),1409 schedNoFence::scheduler::mSchedule: Set("c2"),1410 schedNoFence::scheduler::published: 0,1411 schedNoFence::scheduler::publishedBy: Set(),1412 schedNoFence::scheduler::ws:1413 Map(1414 "w1" ->1415 {1416 attached: Set(),1417 built: false,1418 expecting: false,1419 running: false,1420 session: true,1421 up: true1422 },1423 "w2" ->1424 {1425 attached: Set(),1426 built: false,1427 expecting: false,1428 running: false,1429 session: true,1430 up: true1431 }1432 )1433}14341435[State 6]1436{1437 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1438 schedNoFence::scheduler::crashes: 2,1439 schedNoFence::scheduler::entry: [],1440 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1441 schedNoFence::scheduler::mAssigned: Set(),1442 schedNoFence::scheduler::mBuild: Set(),1443 schedNoFence::scheduler::mDone: Set(),1444 schedNoFence::scheduler::mExpect: Set(),1445 schedNoFence::scheduler::mResult: Set(),1446 schedNoFence::scheduler::mRetry: Set(),1447 schedNoFence::scheduler::mSchedule: Set("c1", "c2"),1448 schedNoFence::scheduler::published: 0,1449 schedNoFence::scheduler::publishedBy: Set(),1450 schedNoFence::scheduler::ws:1451 Map(1452 "w1" ->1453 {1454 attached: Set(),1455 built: false,1456 expecting: false,1457 running: false,1458 session: true,1459 up: true1460 },1461 "w2" ->1462 {1463 attached: Set(),1464 built: false,1465 expecting: false,1466 running: false,1467 session: true,1468 up: true1469 }1470 )1471}14721473[State 7]1474{1475 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1476 schedNoFence::scheduler::crashes: 2,1477 schedNoFence::scheduler::entry:1478 [{ followers: Set("c2"), leased: true, worker: "w2" }],1479 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1480 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),1481 schedNoFence::scheduler::mBuild: Set(),1482 schedNoFence::scheduler::mDone: Set(),1483 schedNoFence::scheduler::mExpect: Set("w2"),1484 schedNoFence::scheduler::mResult: Set(),1485 schedNoFence::scheduler::mRetry: Set(),1486 schedNoFence::scheduler::mSchedule: Set("c1"),1487 schedNoFence::scheduler::published: 0,1488 schedNoFence::scheduler::publishedBy: Set(),1489 schedNoFence::scheduler::ws:1490 Map(1491 "w1" ->1492 {1493 attached: Set(),1494 built: false,1495 expecting: false,1496 running: false,1497 session: true,1498 up: true1499 },1500 "w2" ->1501 {1502 attached: Set(),1503 built: false,1504 expecting: false,1505 running: false,1506 session: true,1507 up: true1508 }1509 )1510}15111512[State 8]1513{1514 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1515 schedNoFence::scheduler::crashes: 2,1516 schedNoFence::scheduler::entry:1517 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1518 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1519 schedNoFence::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),1520 schedNoFence::scheduler::mBuild: Set(),1521 schedNoFence::scheduler::mDone: Set(),1522 schedNoFence::scheduler::mExpect: Set("w2"),1523 schedNoFence::scheduler::mResult: Set(),1524 schedNoFence::scheduler::mRetry: Set(),1525 schedNoFence::scheduler::mSchedule: Set(),1526 schedNoFence::scheduler::published: 0,1527 schedNoFence::scheduler::publishedBy: Set(),1528 schedNoFence::scheduler::ws:1529 Map(1530 "w1" ->1531 {1532 attached: Set(),1533 built: false,1534 expecting: false,1535 running: false,1536 session: true,1537 up: true1538 },1539 "w2" ->1540 {1541 attached: Set(),1542 built: false,1543 expecting: false,1544 running: false,1545 session: true,1546 up: true1547 }1548 )1549}15501551[State 9]1552{1553 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1554 schedNoFence::scheduler::crashes: 2,1555 schedNoFence::scheduler::entry:1556 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1557 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1558 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),1559 schedNoFence::scheduler::mBuild: Set(("c2", "w2")),1560 schedNoFence::scheduler::mDone: Set(),1561 schedNoFence::scheduler::mExpect: Set("w2"),1562 schedNoFence::scheduler::mResult: Set(),1563 schedNoFence::scheduler::mRetry: Set(),1564 schedNoFence::scheduler::mSchedule: Set(),1565 schedNoFence::scheduler::published: 0,1566 schedNoFence::scheduler::publishedBy: Set(),1567 schedNoFence::scheduler::ws:1568 Map(1569 "w1" ->1570 {1571 attached: Set(),1572 built: false,1573 expecting: false,1574 running: false,1575 session: true,1576 up: true1577 },1578 "w2" ->1579 {1580 attached: Set(),1581 built: false,1582 expecting: false,1583 running: false,1584 session: true,1585 up: true1586 }1587 )1588}15891590[State 10]1591{1592 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),1593 schedNoFence::scheduler::crashes: 2,1594 schedNoFence::scheduler::entry:1595 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1596 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1597 schedNoFence::scheduler::mAssigned: Set(),1598 schedNoFence::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),1599 schedNoFence::scheduler::mDone: Set(),1600 schedNoFence::scheduler::mExpect: Set("w2"),1601 schedNoFence::scheduler::mResult: Set(),1602 schedNoFence::scheduler::mRetry: Set(),1603 schedNoFence::scheduler::mSchedule: Set(),1604 schedNoFence::scheduler::published: 0,1605 schedNoFence::scheduler::publishedBy: Set(),1606 schedNoFence::scheduler::ws:1607 Map(1608 "w1" ->1609 {1610 attached: Set(),1611 built: false,1612 expecting: false,1613 running: false,1614 session: true,1615 up: true1616 },1617 "w2" ->1618 {1619 attached: Set(),1620 built: false,1621 expecting: false,1622 running: false,1623 session: true,1624 up: true1625 }1626 )1627}16281629[State 11]1630{1631 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),1632 schedNoFence::scheduler::crashes: 2,1633 schedNoFence::scheduler::entry:1634 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1635 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1636 schedNoFence::scheduler::mAssigned: Set(),1637 schedNoFence::scheduler::mBuild: Set(("c2", "w2")),1638 schedNoFence::scheduler::mDone: Set(),1639 schedNoFence::scheduler::mExpect: Set("w2"),1640 schedNoFence::scheduler::mResult: Set(),1641 schedNoFence::scheduler::mRetry: Set("c1"),1642 schedNoFence::scheduler::mSchedule: Set(),1643 schedNoFence::scheduler::published: 0,1644 schedNoFence::scheduler::publishedBy: Set(),1645 schedNoFence::scheduler::ws:1646 Map(1647 "w1" ->1648 {1649 attached: Set(),1650 built: false,1651 expecting: false,1652 running: false,1653 session: true,1654 up: true1655 },1656 "w2" ->1657 {1658 attached: Set(),1659 built: false,1660 expecting: false,1661 running: false,1662 session: true,1663 up: true1664 }1665 )1666}16671668[State 12]1669{1670 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1671 schedNoFence::scheduler::crashes: 2,1672 schedNoFence::scheduler::entry:1673 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1674 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1675 schedNoFence::scheduler::mAssigned: Set(),1676 schedNoFence::scheduler::mBuild: Set(("c2", "w2")),1677 schedNoFence::scheduler::mDone: Set(),1678 schedNoFence::scheduler::mExpect: Set("w2"),1679 schedNoFence::scheduler::mResult: Set(),1680 schedNoFence::scheduler::mRetry: Set(),1681 schedNoFence::scheduler::mSchedule: Set("c1"),1682 schedNoFence::scheduler::published: 0,1683 schedNoFence::scheduler::publishedBy: Set(),1684 schedNoFence::scheduler::ws:1685 Map(1686 "w1" ->1687 {1688 attached: Set(),1689 built: false,1690 expecting: false,1691 running: false,1692 session: true,1693 up: true1694 },1695 "w2" ->1696 {1697 attached: Set(),1698 built: false,1699 expecting: false,1700 running: false,1701 session: true,1702 up: true1703 }1704 )1705}17061707[State 13]1708{1709 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1710 schedNoFence::scheduler::crashes: 2,1711 schedNoFence::scheduler::entry:1712 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1713 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1714 schedNoFence::scheduler::mAssigned: Set(),1715 schedNoFence::scheduler::mBuild: Set(),1716 schedNoFence::scheduler::mDone: Set(),1717 schedNoFence::scheduler::mExpect: Set("w2"),1718 schedNoFence::scheduler::mResult: Set(),1719 schedNoFence::scheduler::mRetry: Set("c2"),1720 schedNoFence::scheduler::mSchedule: Set("c1"),1721 schedNoFence::scheduler::published: 0,1722 schedNoFence::scheduler::publishedBy: Set(),1723 schedNoFence::scheduler::ws:1724 Map(1725 "w1" ->1726 {1727 attached: Set(),1728 built: false,1729 expecting: false,1730 running: false,1731 session: true,1732 up: true1733 },1734 "w2" ->1735 {1736 attached: Set(),1737 built: false,1738 expecting: false,1739 running: false,1740 session: true,1741 up: true1742 }1743 )1744}17451746[State 14]1747{1748 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1749 schedNoFence::scheduler::crashes: 2,1750 schedNoFence::scheduler::entry:1751 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1752 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1753 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),1754 schedNoFence::scheduler::mBuild: Set(),1755 schedNoFence::scheduler::mDone: Set(),1756 schedNoFence::scheduler::mExpect: Set("w2"),1757 schedNoFence::scheduler::mResult: Set(),1758 schedNoFence::scheduler::mRetry: Set("c2"),1759 schedNoFence::scheduler::mSchedule: Set(),1760 schedNoFence::scheduler::published: 0,1761 schedNoFence::scheduler::publishedBy: Set(),1762 schedNoFence::scheduler::ws:1763 Map(1764 "w1" ->1765 {1766 attached: Set(),1767 built: false,1768 expecting: false,1769 running: false,1770 session: true,1771 up: true1772 },1773 "w2" ->1774 {1775 attached: Set(),1776 built: false,1777 expecting: false,1778 running: false,1779 session: true,1780 up: true1781 }1782 )1783}17841785[State 15]1786{1787 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1788 schedNoFence::scheduler::crashes: 2,1789 schedNoFence::scheduler::entry:1790 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1791 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1792 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),1793 schedNoFence::scheduler::mBuild: Set(),1794 schedNoFence::scheduler::mDone: Set(),1795 schedNoFence::scheduler::mExpect: Set("w2"),1796 schedNoFence::scheduler::mResult: Set(),1797 schedNoFence::scheduler::mRetry: Set(),1798 schedNoFence::scheduler::mSchedule: Set("c2"),1799 schedNoFence::scheduler::published: 0,1800 schedNoFence::scheduler::publishedBy: Set(),1801 schedNoFence::scheduler::ws:1802 Map(1803 "w1" ->1804 {1805 attached: Set(),1806 built: false,1807 expecting: false,1808 running: false,1809 session: true,1810 up: true1811 },1812 "w2" ->1813 {1814 attached: Set(),1815 built: false,1816 expecting: false,1817 running: false,1818 session: true,1819 up: true1820 }1821 )1822}18231824[State 16]1825{1826 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1827 schedNoFence::scheduler::crashes: 2,1828 schedNoFence::scheduler::entry:1829 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1830 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1831 schedNoFence::scheduler::mAssigned: Set(),1832 schedNoFence::scheduler::mBuild: Set(("c1", "w2")),1833 schedNoFence::scheduler::mDone: Set(),1834 schedNoFence::scheduler::mExpect: Set("w2"),1835 schedNoFence::scheduler::mResult: Set(),1836 schedNoFence::scheduler::mRetry: Set(),1837 schedNoFence::scheduler::mSchedule: Set("c2"),1838 schedNoFence::scheduler::published: 0,1839 schedNoFence::scheduler::publishedBy: Set(),1840 schedNoFence::scheduler::ws:1841 Map(1842 "w1" ->1843 {1844 attached: Set(),1845 built: false,1846 expecting: false,1847 running: false,1848 session: true,1849 up: true1850 },1851 "w2" ->1852 {1853 attached: Set(),1854 built: false,1855 expecting: false,1856 running: false,1857 session: true,1858 up: true1859 }1860 )1861}18621863[State 17]1864{1865 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1866 schedNoFence::scheduler::crashes: 2,1867 schedNoFence::scheduler::entry:1868 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1869 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1870 schedNoFence::scheduler::mAssigned: Set(),1871 schedNoFence::scheduler::mBuild: Set(),1872 schedNoFence::scheduler::mDone: Set(),1873 schedNoFence::scheduler::mExpect: Set("w2"),1874 schedNoFence::scheduler::mResult: Set(),1875 schedNoFence::scheduler::mRetry: Set("c1"),1876 schedNoFence::scheduler::mSchedule: Set("c2"),1877 schedNoFence::scheduler::published: 0,1878 schedNoFence::scheduler::publishedBy: Set(),1879 schedNoFence::scheduler::ws:1880 Map(1881 "w1" ->1882 {1883 attached: Set(),1884 built: false,1885 expecting: false,1886 running: false,1887 session: true,1888 up: true1889 },1890 "w2" ->1891 {1892 attached: Set(),1893 built: false,1894 expecting: false,1895 running: false,1896 session: true,1897 up: true1898 }1899 )1900}19011902[State 18]1903{1904 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1905 schedNoFence::scheduler::crashes: 2,1906 schedNoFence::scheduler::entry:1907 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1908 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1909 schedNoFence::scheduler::mAssigned: Set(),1910 schedNoFence::scheduler::mBuild: Set(),1911 schedNoFence::scheduler::mDone: Set(),1912 schedNoFence::scheduler::mExpect: Set("w2"),1913 schedNoFence::scheduler::mResult: Set(),1914 schedNoFence::scheduler::mRetry: Set(),1915 schedNoFence::scheduler::mSchedule: Set("c1", "c2"),1916 schedNoFence::scheduler::published: 0,1917 schedNoFence::scheduler::publishedBy: Set(),1918 schedNoFence::scheduler::ws:1919 Map(1920 "w1" ->1921 {1922 attached: Set(),1923 built: false,1924 expecting: false,1925 running: false,1926 session: true,1927 up: true1928 },1929 "w2" ->1930 {1931 attached: Set(),1932 built: false,1933 expecting: false,1934 running: false,1935 session: true,1936 up: true1937 }1938 )1939}19401941[State 19]1942{1943 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1944 schedNoFence::scheduler::crashes: 2,1945 schedNoFence::scheduler::entry:1946 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1947 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1948 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),1949 schedNoFence::scheduler::mBuild: Set(),1950 schedNoFence::scheduler::mDone: Set(),1951 schedNoFence::scheduler::mExpect: Set("w2"),1952 schedNoFence::scheduler::mResult: Set(),1953 schedNoFence::scheduler::mRetry: Set(),1954 schedNoFence::scheduler::mSchedule: Set("c2"),1955 schedNoFence::scheduler::published: 0,1956 schedNoFence::scheduler::publishedBy: Set(),1957 schedNoFence::scheduler::ws:1958 Map(1959 "w1" ->1960 {1961 attached: Set(),1962 built: false,1963 expecting: false,1964 running: false,1965 session: true,1966 up: true1967 },1968 "w2" ->1969 {1970 attached: Set(),1971 built: false,1972 expecting: false,1973 running: false,1974 session: true,1975 up: true1976 }1977 )1978}19791980[State 20]1981{1982 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1983 schedNoFence::scheduler::crashes: 2,1984 schedNoFence::scheduler::entry:1985 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1986 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1987 schedNoFence::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),1988 schedNoFence::scheduler::mBuild: Set(),1989 schedNoFence::scheduler::mDone: Set(),1990 schedNoFence::scheduler::mExpect: Set("w2"),1991 schedNoFence::scheduler::mResult: Set(),1992 schedNoFence::scheduler::mRetry: Set(),1993 schedNoFence::scheduler::mSchedule: Set(),1994 schedNoFence::scheduler::published: 0,1995 schedNoFence::scheduler::publishedBy: Set(),1996 schedNoFence::scheduler::ws:1997 Map(1998 "w1" ->1999 {2000 attached: Set(),2001 built: false,2002 expecting: false,2003 running: false,2004 session: true,2005 up: true2006 },2007 "w2" ->2008 {2009 attached: Set(),2010 built: false,2011 expecting: false,2012 running: false,2013 session: true,2014 up: true2015 }2016 )2017}20182019[State 21]2020{2021 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),2022 schedNoFence::scheduler::crashes: 2,2023 schedNoFence::scheduler::entry:2024 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2025 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2026 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),2027 schedNoFence::scheduler::mBuild: Set(("c2", "w2")),2028 schedNoFence::scheduler::mDone: Set(),2029 schedNoFence::scheduler::mExpect: Set("w2"),2030 schedNoFence::scheduler::mResult: Set(),2031 schedNoFence::scheduler::mRetry: Set(),2032 schedNoFence::scheduler::mSchedule: Set(),2033 schedNoFence::scheduler::published: 0,2034 schedNoFence::scheduler::publishedBy: Set(),2035 schedNoFence::scheduler::ws:2036 Map(2037 "w1" ->2038 {2039 attached: Set(),2040 built: false,2041 expecting: false,2042 running: false,2043 session: true,2044 up: true2045 },2046 "w2" ->2047 {2048 attached: Set(),2049 built: false,2050 expecting: false,2051 running: false,2052 session: true,2053 up: true2054 }2055 )2056}20572058[State 22]2059{2060 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),2061 schedNoFence::scheduler::crashes: 2,2062 schedNoFence::scheduler::entry:2063 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2064 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2065 schedNoFence::scheduler::mAssigned: Set(),2066 schedNoFence::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),2067 schedNoFence::scheduler::mDone: Set(),2068 schedNoFence::scheduler::mExpect: Set("w2"),2069 schedNoFence::scheduler::mResult: Set(),2070 schedNoFence::scheduler::mRetry: Set(),2071 schedNoFence::scheduler::mSchedule: Set(),2072 schedNoFence::scheduler::published: 0,2073 schedNoFence::scheduler::publishedBy: Set(),2074 schedNoFence::scheduler::ws:2075 Map(2076 "w1" ->2077 {2078 attached: Set(),2079 built: false,2080 expecting: false,2081 running: false,2082 session: true,2083 up: true2084 },2085 "w2" ->2086 {2087 attached: Set(),2088 built: false,2089 expecting: false,2090 running: false,2091 session: true,2092 up: true2093 }2094 )2095}20962097[State 23]2098{2099 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),2100 schedNoFence::scheduler::crashes: 2,2101 schedNoFence::scheduler::entry:2102 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2103 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2104 schedNoFence::scheduler::mAssigned: Set(),2105 schedNoFence::scheduler::mBuild: Set(("c2", "w2")),2106 schedNoFence::scheduler::mDone: Set(),2107 schedNoFence::scheduler::mExpect: Set("w2"),2108 schedNoFence::scheduler::mResult: Set(),2109 schedNoFence::scheduler::mRetry: Set("c1"),2110 schedNoFence::scheduler::mSchedule: Set(),2111 schedNoFence::scheduler::published: 0,2112 schedNoFence::scheduler::publishedBy: Set(),2113 schedNoFence::scheduler::ws:2114 Map(2115 "w1" ->2116 {2117 attached: Set(),2118 built: false,2119 expecting: false,2120 running: false,2121 session: true,2122 up: true2123 },2124 "w2" ->2125 {2126 attached: Set(),2127 built: false,2128 expecting: false,2129 running: false,2130 session: true,2131 up: true2132 }2133 )2134}21352136[State 24]2137{2138 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),2139 schedNoFence::scheduler::crashes: 2,2140 schedNoFence::scheduler::entry:2141 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2142 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2143 schedNoFence::scheduler::mAssigned: Set(),2144 schedNoFence::scheduler::mBuild: Set(("c2", "w2")),2145 schedNoFence::scheduler::mDone: Set(),2146 schedNoFence::scheduler::mExpect: Set(),2147 schedNoFence::scheduler::mResult: Set(),2148 schedNoFence::scheduler::mRetry: Set("c1"),2149 schedNoFence::scheduler::mSchedule: Set(),2150 schedNoFence::scheduler::published: 0,2151 schedNoFence::scheduler::publishedBy: Set(),2152 schedNoFence::scheduler::ws:2153 Map(2154 "w1" ->2155 {2156 attached: Set(),2157 built: false,2158 expecting: false,2159 running: false,2160 session: true,2161 up: true2162 },2163 "w2" ->2164 {2165 attached: Set(),2166 built: false,2167 expecting: true,2168 running: true,2169 session: true,2170 up: true2171 }2172 )2173}21742175[State 25]2176{2177 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),2178 schedNoFence::scheduler::crashes: 2,2179 schedNoFence::scheduler::entry:2180 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2181 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2182 schedNoFence::scheduler::mAssigned: Set(),2183 schedNoFence::scheduler::mBuild: Set(("c2", "w2")),2184 schedNoFence::scheduler::mDone: Set("w2"),2185 schedNoFence::scheduler::mExpect: Set(),2186 schedNoFence::scheduler::mResult: Set(),2187 schedNoFence::scheduler::mRetry: Set("c1"),2188 schedNoFence::scheduler::mSchedule: Set(),2189 schedNoFence::scheduler::published: 1,2190 schedNoFence::scheduler::publishedBy: Set("w2"),2191 schedNoFence::scheduler::ws:2192 Map(2193 "w1" ->2194 {2195 attached: Set(),2196 built: false,2197 expecting: false,2198 running: false,2199 session: true,2200 up: true2201 },2202 "w2" ->2203 {2204 attached: Set(),2205 built: true,2206 expecting: false,2207 running: false,2208 session: true,2209 up: true2210 }2211 )2212}22132214[State 26]2215{2216 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),2217 schedNoFence::scheduler::crashes: 2,2218 schedNoFence::scheduler::entry:2219 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2220 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2221 schedNoFence::scheduler::mAssigned: Set(),2222 schedNoFence::scheduler::mBuild: Set(("c2", "w2")),2223 schedNoFence::scheduler::mDone: Set("w2"),2224 schedNoFence::scheduler::mExpect: Set(),2225 schedNoFence::scheduler::mResult: Set(),2226 schedNoFence::scheduler::mRetry: Set(),2227 schedNoFence::scheduler::mSchedule: Set("c1"),2228 schedNoFence::scheduler::published: 1,2229 schedNoFence::scheduler::publishedBy: Set("w2"),2230 schedNoFence::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 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),2256 schedNoFence::scheduler::crashes: 2,2257 schedNoFence::scheduler::entry:2258 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2259 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2260 schedNoFence::scheduler::mAssigned: Set(),2261 schedNoFence::scheduler::mBuild: Set(("c2", "w2")),2262 schedNoFence::scheduler::mDone: Set("w2"),2263 schedNoFence::scheduler::mExpect: Set(),2264 schedNoFence::scheduler::mResult: Set("c1"),2265 schedNoFence::scheduler::mRetry: Set(),2266 schedNoFence::scheduler::mSchedule: Set(),2267 schedNoFence::scheduler::published: 1,2268 schedNoFence::scheduler::publishedBy: Set("w2"),2269 schedNoFence::scheduler::ws:2270 Map(2271 "w1" ->2272 {2273 attached: Set(),2274 built: false,2275 expecting: false,2276 running: false,2277 session: true,2278 up: true2279 },2280 "w2" ->2281 {2282 attached: Set(),2283 built: true,2284 expecting: false,2285 running: false,2286 session: true,2287 up: true2288 }2289 )2290}22912292[State 28]2293{2294 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),2295 schedNoFence::scheduler::crashes: 2,2296 schedNoFence::scheduler::entry: [],2297 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2298 schedNoFence::scheduler::mAssigned: Set(),2299 schedNoFence::scheduler::mBuild: Set(("c2", "w2")),2300 schedNoFence::scheduler::mDone: Set(),2301 schedNoFence::scheduler::mExpect: Set(),2302 schedNoFence::scheduler::mResult: Set("c1"),2303 schedNoFence::scheduler::mRetry: Set(),2304 schedNoFence::scheduler::mSchedule: Set(),2305 schedNoFence::scheduler::published: 1,2306 schedNoFence::scheduler::publishedBy: Set("w2"),2307 schedNoFence::scheduler::ws:2308 Map(2309 "w1" ->2310 {2311 attached: Set(),2312 built: false,2313 expecting: false,2314 running: false,2315 session: true,2316 up: true2317 },2318 "w2" ->2319 {2320 attached: Set(),2321 built: true,2322 expecting: false,2323 running: false,2324 session: true,2325 up: true2326 }2327 )2328}23292330[State 29]2331{2332 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),2333 schedNoFence::scheduler::crashes: 2,2334 schedNoFence::scheduler::entry: [],2335 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2336 schedNoFence::scheduler::mAssigned: Set(),2337 schedNoFence::scheduler::mBuild: Set(),2338 schedNoFence::scheduler::mDone: Set(),2339 schedNoFence::scheduler::mExpect: Set(),2340 schedNoFence::scheduler::mResult: Set("c1", "c2"),2341 schedNoFence::scheduler::mRetry: Set(),2342 schedNoFence::scheduler::mSchedule: Set(),2343 schedNoFence::scheduler::published: 1,2344 schedNoFence::scheduler::publishedBy: Set("w2"),2345 schedNoFence::scheduler::ws:2346 Map(2347 "w1" ->2348 {2349 attached: Set(),2350 built: false,2351 expecting: false,2352 running: false,2353 session: true,2354 up: true2355 },2356 "w2" ->2357 {2358 attached: Set(),2359 built: true,2360 expecting: false,2361 running: false,2362 session: true,2363 up: true2364 }2365 )2366}23672368[State 30]2369{2370 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CDone),2371 schedNoFence::scheduler::crashes: 2,2372 schedNoFence::scheduler::entry: [],2373 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2374 schedNoFence::scheduler::mAssigned: Set(),2375 schedNoFence::scheduler::mBuild: Set(),2376 schedNoFence::scheduler::mDone: Set(),2377 schedNoFence::scheduler::mExpect: Set(),2378 schedNoFence::scheduler::mResult: Set("c1"),2379 schedNoFence::scheduler::mRetry: Set(),2380 schedNoFence::scheduler::mSchedule: Set(),2381 schedNoFence::scheduler::published: 1,2382 schedNoFence::scheduler::publishedBy: Set("w2"),2383 schedNoFence::scheduler::ws:2384 Map(2385 "w1" ->2386 {2387 attached: Set(),2388 built: false,2389 expecting: false,2390 running: false,2391 session: true,2392 up: true2393 },2394 "w2" ->2395 {2396 attached: Set(),2397 built: true,2398 expecting: false,2399 running: false,2400 session: true,2401 up: true2402 }2403 )2404}24052406[ok] No violation found (12248ms at 2449 traces/second).2407Trace length statistics: max=31, min=13, average=17.572408You may increase --max-samples and --max-steps.2409Use --verbosity to produce more (or less) output.2410Use --seed=0x87683464076efdc5 --backend=rust to reproduce.2411Running... [ ] 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:24122413[State 0]2414{2415 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2416 schedNoPush::scheduler::crashes: 0,2417 schedNoPush::scheduler::entry: [],2418 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2419 schedNoPush::scheduler::mAssigned: Set(),2420 schedNoPush::scheduler::mBuild: Set(),2421 schedNoPush::scheduler::mDone: Set(),2422 schedNoPush::scheduler::mExpect: Set(),2423 schedNoPush::scheduler::mResult: Set(),2424 schedNoPush::scheduler::mRetry: Set(),2425 schedNoPush::scheduler::mSchedule: Set(),2426 schedNoPush::scheduler::published: 0,2427 schedNoPush::scheduler::publishedBy: Set(),2428 schedNoPush::scheduler::ws:2429 Map(2430 "w1" ->2431 {2432 attached: Set(),2433 built: false,2434 expecting: false,2435 running: false,2436 session: true,2437 up: true2438 },2439 "w2" ->2440 {2441 attached: Set(),2442 built: false,2443 expecting: false,2444 running: false,2445 session: true,2446 up: true2447 }2448 )2449}24502451[State 1]2452{2453 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2454 schedNoPush::scheduler::crashes: 1,2455 schedNoPush::scheduler::entry: [],2456 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2457 schedNoPush::scheduler::mAssigned: Set(),2458 schedNoPush::scheduler::mBuild: Set(),2459 schedNoPush::scheduler::mDone: Set(),2460 schedNoPush::scheduler::mExpect: Set(),2461 schedNoPush::scheduler::mResult: Set(),2462 schedNoPush::scheduler::mRetry: Set(),2463 schedNoPush::scheduler::mSchedule: Set(),2464 schedNoPush::scheduler::published: 0,2465 schedNoPush::scheduler::publishedBy: Set(),2466 schedNoPush::scheduler::ws:2467 Map(2468 "w1" ->2469 {2470 attached: Set(),2471 built: false,2472 expecting: false,2473 running: false,2474 session: true,2475 up: true2476 },2477 "w2" ->2478 {2479 attached: Set(),2480 built: false,2481 expecting: false,2482 running: false,2483 session: true,2484 up: true2485 }2486 )2487}24882489[State 2]2490{2491 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2492 schedNoPush::scheduler::crashes: 1,2493 schedNoPush::scheduler::entry: [],2494 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2495 schedNoPush::scheduler::mAssigned: Set(),2496 schedNoPush::scheduler::mBuild: Set(),2497 schedNoPush::scheduler::mDone: Set(),2498 schedNoPush::scheduler::mExpect: Set(),2499 schedNoPush::scheduler::mResult: Set(),2500 schedNoPush::scheduler::mRetry: Set(),2501 schedNoPush::scheduler::mSchedule: Set("c1"),2502 schedNoPush::scheduler::published: 0,2503 schedNoPush::scheduler::publishedBy: Set(),2504 schedNoPush::scheduler::ws:2505 Map(2506 "w1" ->2507 {2508 attached: Set(),2509 built: false,2510 expecting: false,2511 running: false,2512 session: true,2513 up: true2514 },2515 "w2" ->2516 {2517 attached: Set(),2518 built: false,2519 expecting: false,2520 running: false,2521 session: true,2522 up: true2523 }2524 )2525}25262527[State 3]2528{2529 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2530 schedNoPush::scheduler::crashes: 1,2531 schedNoPush::scheduler::entry:2532 [{ followers: Set("c1"), leased: true, worker: "w1" }],2533 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),2534 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),2535 schedNoPush::scheduler::mBuild: Set(),2536 schedNoPush::scheduler::mDone: Set(),2537 schedNoPush::scheduler::mExpect: Set(),2538 schedNoPush::scheduler::mResult: Set(),2539 schedNoPush::scheduler::mRetry: Set(),2540 schedNoPush::scheduler::mSchedule: Set(),2541 schedNoPush::scheduler::published: 0,2542 schedNoPush::scheduler::publishedBy: Set(),2543 schedNoPush::scheduler::ws:2544 Map(2545 "w1" ->2546 {2547 attached: Set(),2548 built: false,2549 expecting: false,2550 running: false,2551 session: true,2552 up: true2553 },2554 "w2" ->2555 {2556 attached: Set(),2557 built: false,2558 expecting: false,2559 running: false,2560 session: true,2561 up: true2562 }2563 )2564}25652566[State 4]2567{2568 schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CIdle),2569 schedNoPush::scheduler::crashes: 1,2570 schedNoPush::scheduler::entry:2571 [{ followers: Set("c1"), leased: true, worker: "w1" }],2572 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),2573 schedNoPush::scheduler::mAssigned: Set(),2574 schedNoPush::scheduler::mBuild: Set(("c1", "w1")),2575 schedNoPush::scheduler::mDone: Set(),2576 schedNoPush::scheduler::mExpect: Set(),2577 schedNoPush::scheduler::mResult: Set(),2578 schedNoPush::scheduler::mRetry: Set(),2579 schedNoPush::scheduler::mSchedule: Set(),2580 schedNoPush::scheduler::published: 0,2581 schedNoPush::scheduler::publishedBy: Set(),2582 schedNoPush::scheduler::ws:2583 Map(2584 "w1" ->2585 {2586 attached: Set(),2587 built: false,2588 expecting: false,2589 running: false,2590 session: true,2591 up: true2592 },2593 "w2" ->2594 {2595 attached: Set(),2596 built: false,2597 expecting: false,2598 running: false,2599 session: true,2600 up: true2601 }2602 )2603}26042605[State 5]2606{2607 schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CIdle),2608 schedNoPush::scheduler::crashes: 2,2609 schedNoPush::scheduler::entry: [],2610 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2611 schedNoPush::scheduler::mAssigned: Set(),2612 schedNoPush::scheduler::mBuild: Set(("c1", "w1")),2613 schedNoPush::scheduler::mDone: Set(),2614 schedNoPush::scheduler::mExpect: Set(),2615 schedNoPush::scheduler::mResult: Set(),2616 schedNoPush::scheduler::mRetry: Set(),2617 schedNoPush::scheduler::mSchedule: Set(),2618 schedNoPush::scheduler::published: 0,2619 schedNoPush::scheduler::publishedBy: Set(),2620 schedNoPush::scheduler::ws:2621 Map(2622 "w1" ->2623 {2624 attached: Set(),2625 built: false,2626 expecting: false,2627 running: false,2628 session: true,2629 up: true2630 },2631 "w2" ->2632 {2633 attached: Set(),2634 built: false,2635 expecting: false,2636 running: false,2637 session: true,2638 up: true2639 }2640 )2641}26422643[State 6]2644{2645 schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CIdle),2646 schedNoPush::scheduler::crashes: 2,2647 schedNoPush::scheduler::entry: [],2648 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2649 schedNoPush::scheduler::mAssigned: Set(),2650 schedNoPush::scheduler::mBuild: Set(),2651 schedNoPush::scheduler::mDone: Set(),2652 schedNoPush::scheduler::mExpect: Set(),2653 schedNoPush::scheduler::mResult: Set(),2654 schedNoPush::scheduler::mRetry: Set(),2655 schedNoPush::scheduler::mSchedule: Set(),2656 schedNoPush::scheduler::published: 0,2657 schedNoPush::scheduler::publishedBy: Set(),2658 schedNoPush::scheduler::ws:2659 Map(2660 "w1" ->2661 {2662 attached: Set("c1"),2663 built: false,2664 expecting: true,2665 running: true,2666 session: true,2667 up: true2668 },2669 "w2" ->2670 {2671 attached: Set(),2672 built: false,2673 expecting: false,2674 running: false,2675 session: true,2676 up: true2677 }2678 )2679}26802681[violation] Found an issue (491ms at 731 traces/second).2682Use --verbosity=3 to show executions.2683Use --seed=0xd1b3523c4c71915d --backend=rust to reproduce.2684error: Invariant violated2685Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■ ] 1% | ETA: 15s | 417/30000 samples | 1986 samples/sRunning... [■ ] 1% | ETA: 20s | 493/30000 samples | 1508 samples/sRunning... [■ ] 1% | ETA: 20s | 493/30000 samples | 1508 samples/sRunning... [■ ] 2% | ETA: 21s | 670/30000 samples | 1429 samples/sRunning... [■■ ] 3% | ETA: 18s | 1153/30000 samples | 1676 samples/sRunning... [■■ ] 3% | ETA: 18s | 1153/30000 samples | 1676 samples/sRunning... [■■ ] 3% | ETA: 18s | 1153/30000 samples | 1676 samples/sRunning... [■■ ] 4% | ETA: 20s | 1338/30000 samples | 1453 samples/sRunning... [■■ ] 4% | ETA: 20s | 1338/30000 samples | 1453 samples/sRunning... [■■ ] 4% | ETA: 22s | 1444/30000 samples | 1312 samples/sRunning... [■■ ] 5% | ETA: 23s | 1505/30000 samples | 1250 samples/sRunning... [■■ ] 5% | ETA: 23s | 1666/30000 samples | 1237 samples/sRunning... [■■ ] 5% | ETA: 23s | 1666/30000 samples | 1237 samples/sRunning... [■■ ] 6% | ETA: 27s | 1853/30000 samples | 1182 samples/sRunning... [■■ ] 6% | ETA: 28s | 1873/30000 samples | 1121 samples/sRunning... [■■■ ] 6% | ETA: 31s | 1892/30000 samples | 1053 samples/sRunning... [■■■ ] 6% | ETA: 29s | 1984/30000 samples | 1040 samples/sRunning... [■■■ ] 6% | ETA: 29s | 1984/30000 samples | 1040 samples/sRunning... [■■■ ] 6% | ETA: 44s | 2065/30000 samples | 984 samples/sRunning... [■■■ ] 6% | ETA: 44s | 2065/30000 samples | 984 samples/sRunning... [■■■ ] 7% | ETA: 48s | 2121/30000 samples | 940 samples/sRunning... [■■■ ] 7% | ETA: 54s | 2125/30000 samples | 885 samples/sRunning... [■■■ ] 7% | ETA: 54s | 2125/30000 samples | 885 samples/sRunning... [■■■ ] 7% | ETA: 59s | 2147/30000 samples | 845 samples/sRunning... [■■■ ] 7% | ETA: 73s | 2168/30000 samples | 817 samples/sAn example execution:26862687[State 0]2688{2689 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2690 schedNoReport::scheduler::crashes: 0,2691 schedNoReport::scheduler::entry: [],2692 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2693 schedNoReport::scheduler::mAssigned: Set(),2694 schedNoReport::scheduler::mBuild: Set(),2695 schedNoReport::scheduler::mDone: Set(),2696 schedNoReport::scheduler::mExpect: Set(),2697 schedNoReport::scheduler::mResult: Set(),2698 schedNoReport::scheduler::mRetry: Set(),2699 schedNoReport::scheduler::mSchedule: Set(),2700 schedNoReport::scheduler::published: 0,2701 schedNoReport::scheduler::publishedBy: Set(),2702 schedNoReport::scheduler::ws:2703 Map(2704 "w1" ->2705 {2706 attached: Set(),2707 built: false,2708 expecting: false,2709 running: false,2710 session: true,2711 up: true2712 },2713 "w2" ->2714 {2715 attached: Set(),2716 built: false,2717 expecting: false,2718 running: false,2719 session: true,2720 up: true2721 }2722 )2723}27242725[State 1]2726{2727 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2728 schedNoReport::scheduler::crashes: 0,2729 schedNoReport::scheduler::entry: [],2730 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2731 schedNoReport::scheduler::mAssigned: Set(),2732 schedNoReport::scheduler::mBuild: Set(),2733 schedNoReport::scheduler::mDone: Set(),2734 schedNoReport::scheduler::mExpect: Set(),2735 schedNoReport::scheduler::mResult: Set(),2736 schedNoReport::scheduler::mRetry: Set(),2737 schedNoReport::scheduler::mSchedule: Set("c2"),2738 schedNoReport::scheduler::published: 0,2739 schedNoReport::scheduler::publishedBy: Set(),2740 schedNoReport::scheduler::ws:2741 Map(2742 "w1" ->2743 {2744 attached: Set(),2745 built: false,2746 expecting: false,2747 running: false,2748 session: true,2749 up: true2750 },2751 "w2" ->2752 {2753 attached: Set(),2754 built: false,2755 expecting: false,2756 running: false,2757 session: true,2758 up: true2759 }2760 )2761}27622763[State 2]2764{2765 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2766 schedNoReport::scheduler::crashes: 0,2767 schedNoReport::scheduler::entry:2768 [{ followers: Set("c2"), leased: true, worker: "w2" }],2769 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2770 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),2771 schedNoReport::scheduler::mBuild: Set(),2772 schedNoReport::scheduler::mDone: Set(),2773 schedNoReport::scheduler::mExpect: Set("w2"),2774 schedNoReport::scheduler::mResult: Set(),2775 schedNoReport::scheduler::mRetry: Set(),2776 schedNoReport::scheduler::mSchedule: Set(),2777 schedNoReport::scheduler::published: 0,2778 schedNoReport::scheduler::publishedBy: Set(),2779 schedNoReport::scheduler::ws:2780 Map(2781 "w1" ->2782 {2783 attached: Set(),2784 built: false,2785 expecting: false,2786 running: false,2787 session: true,2788 up: true2789 },2790 "w2" ->2791 {2792 attached: Set(),2793 built: false,2794 expecting: false,2795 running: false,2796 session: true,2797 up: true2798 }2799 )2800}28012802[State 3]2803{2804 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2805 schedNoReport::scheduler::crashes: 0,2806 schedNoReport::scheduler::entry:2807 [{ followers: Set("c2"), leased: true, worker: "w2" }],2808 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2809 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),2810 schedNoReport::scheduler::mBuild: Set(),2811 schedNoReport::scheduler::mDone: Set(),2812 schedNoReport::scheduler::mExpect: Set(),2813 schedNoReport::scheduler::mResult: Set(),2814 schedNoReport::scheduler::mRetry: Set(),2815 schedNoReport::scheduler::mSchedule: Set(),2816 schedNoReport::scheduler::published: 0,2817 schedNoReport::scheduler::publishedBy: Set(),2818 schedNoReport::scheduler::ws:2819 Map(2820 "w1" ->2821 {2822 attached: Set(),2823 built: false,2824 expecting: false,2825 running: false,2826 session: true,2827 up: true2828 },2829 "w2" ->2830 {2831 attached: Set(),2832 built: false,2833 expecting: true,2834 running: true,2835 session: true,2836 up: true2837 }2838 )2839}28402841[State 4]2842{2843 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2844 schedNoReport::scheduler::crashes: 1,2845 schedNoReport::scheduler::entry: [],2846 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2847 schedNoReport::scheduler::mAssigned: Set(),2848 schedNoReport::scheduler::mBuild: Set(),2849 schedNoReport::scheduler::mDone: Set(),2850 schedNoReport::scheduler::mExpect: Set(),2851 schedNoReport::scheduler::mResult: Set(),2852 schedNoReport::scheduler::mRetry: Set("c2"),2853 schedNoReport::scheduler::mSchedule: Set(),2854 schedNoReport::scheduler::published: 0,2855 schedNoReport::scheduler::publishedBy: Set(),2856 schedNoReport::scheduler::ws:2857 Map(2858 "w1" ->2859 {2860 attached: Set(),2861 built: false,2862 expecting: false,2863 running: false,2864 session: true,2865 up: true2866 },2867 "w2" ->2868 {2869 attached: Set(),2870 built: false,2871 expecting: true,2872 running: true,2873 session: true,2874 up: true2875 }2876 )2877}28782879[State 5]2880{2881 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2882 schedNoReport::scheduler::crashes: 2,2883 schedNoReport::scheduler::entry: [],2884 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2885 schedNoReport::scheduler::mAssigned: Set(),2886 schedNoReport::scheduler::mBuild: Set(),2887 schedNoReport::scheduler::mDone: Set(),2888 schedNoReport::scheduler::mExpect: Set(),2889 schedNoReport::scheduler::mResult: Set(),2890 schedNoReport::scheduler::mRetry: Set("c2"),2891 schedNoReport::scheduler::mSchedule: Set(),2892 schedNoReport::scheduler::published: 0,2893 schedNoReport::scheduler::publishedBy: Set(),2894 schedNoReport::scheduler::ws:2895 Map(2896 "w1" ->2897 {2898 attached: Set(),2899 built: false,2900 expecting: false,2901 running: false,2902 session: false,2903 up: false2904 },2905 "w2" ->2906 {2907 attached: Set(),2908 built: false,2909 expecting: true,2910 running: true,2911 session: true,2912 up: true2913 }2914 )2915}29162917[State 6]2918{2919 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2920 schedNoReport::scheduler::crashes: 2,2921 schedNoReport::scheduler::entry: [],2922 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2923 schedNoReport::scheduler::mAssigned: Set(),2924 schedNoReport::scheduler::mBuild: Set(),2925 schedNoReport::scheduler::mDone: Set(),2926 schedNoReport::scheduler::mExpect: Set(),2927 schedNoReport::scheduler::mResult: Set(),2928 schedNoReport::scheduler::mRetry: Set("c2"),2929 schedNoReport::scheduler::mSchedule: Set(),2930 schedNoReport::scheduler::published: 0,2931 schedNoReport::scheduler::publishedBy: Set(),2932 schedNoReport::scheduler::ws:2933 Map(2934 "w1" ->2935 {2936 attached: Set(),2937 built: false,2938 expecting: false,2939 running: false,2940 session: true,2941 up: true2942 },2943 "w2" ->2944 {2945 attached: Set(),2946 built: false,2947 expecting: true,2948 running: true,2949 session: true,2950 up: true2951 }2952 )2953}29542955[State 7]2956{2957 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2958 schedNoReport::scheduler::crashes: 2,2959 schedNoReport::scheduler::entry: [],2960 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2961 schedNoReport::scheduler::mAssigned: Set(),2962 schedNoReport::scheduler::mBuild: Set(),2963 schedNoReport::scheduler::mDone: Set(),2964 schedNoReport::scheduler::mExpect: Set(),2965 schedNoReport::scheduler::mResult: Set(),2966 schedNoReport::scheduler::mRetry: Set(),2967 schedNoReport::scheduler::mSchedule: Set("c2"),2968 schedNoReport::scheduler::published: 0,2969 schedNoReport::scheduler::publishedBy: Set(),2970 schedNoReport::scheduler::ws:2971 Map(2972 "w1" ->2973 {2974 attached: Set(),2975 built: false,2976 expecting: false,2977 running: false,2978 session: true,2979 up: true2980 },2981 "w2" ->2982 {2983 attached: Set(),2984 built: false,2985 expecting: true,2986 running: true,2987 session: true,2988 up: true2989 }2990 )2991}29922993[State 8]2994{2995 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2996 schedNoReport::scheduler::crashes: 2,2997 schedNoReport::scheduler::entry:2998 [{ followers: Set("c2"), leased: true, worker: "w1" }],2999 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),3000 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),3001 schedNoReport::scheduler::mBuild: Set(),3002 schedNoReport::scheduler::mDone: Set(),3003 schedNoReport::scheduler::mExpect: Set("w1"),3004 schedNoReport::scheduler::mResult: Set(),3005 schedNoReport::scheduler::mRetry: Set(),3006 schedNoReport::scheduler::mSchedule: Set(),3007 schedNoReport::scheduler::published: 0,3008 schedNoReport::scheduler::publishedBy: Set(),3009 schedNoReport::scheduler::ws:3010 Map(3011 "w1" ->3012 {3013 attached: Set(),3014 built: false,3015 expecting: false,3016 running: false,3017 session: true,3018 up: true3019 },3020 "w2" ->3021 {3022 attached: Set(),3023 built: false,3024 expecting: true,3025 running: true,3026 session: true,3027 up: true3028 }3029 )3030}30313032[State 9]3033{3034 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3035 schedNoReport::scheduler::crashes: 2,3036 schedNoReport::scheduler::entry:3037 [{ followers: Set("c2"), leased: true, worker: "w1" }],3038 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),3039 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),3040 schedNoReport::scheduler::mBuild: Set(),3041 schedNoReport::scheduler::mDone: Set(),3042 schedNoReport::scheduler::mExpect: Set(),3043 schedNoReport::scheduler::mResult: Set(),3044 schedNoReport::scheduler::mRetry: Set(),3045 schedNoReport::scheduler::mSchedule: Set(),3046 schedNoReport::scheduler::published: 0,3047 schedNoReport::scheduler::publishedBy: Set(),3048 schedNoReport::scheduler::ws:3049 Map(3050 "w1" ->3051 {3052 attached: Set(),3053 built: false,3054 expecting: true,3055 running: true,3056 session: true,3057 up: true3058 },3059 "w2" ->3060 {3061 attached: Set(),3062 built: false,3063 expecting: true,3064 running: true,3065 session: true,3066 up: true3067 }3068 )3069}30703071[violation] Found an issue (2911ms at 745 traces/second).3072Use --verbosity=3 to show executions.3073Use --seed=0xa02dfb098039cf9c --backend=rust to reproduce.3074error: Invariant violated3075Running... [ ] 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... [■■■■■■■ ] 17% | ETA: 3s | 3483/20000 samples | 6911 samples/sRunning... [■■■■■■■ ] 17% | ETA: 3s | 3483/20000 samples | 6911 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 2s | 5194/20000 samples | 7549 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 2s | 5194/20000 samples | 7549 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 2s | 6427/20000 samples | 7197 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 2s | 6427/20000 samples | 7197 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 2s | 7585/20000 samples | 6772 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 2s | 8661/20000 samples | 6793 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 2s | 8894/20000 samples | 6459 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 2s | 8894/20000 samples | 6459 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 2s | 9847/20000 samples | 6308 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 2s | 9847/20000 samples | 6308 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 2s | 11103/20000 samples | 6352 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 2s | 11103/20000 samples | 6352 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 2s | 12535/20000 samples | 6340 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 72% | ETA: 1s | 14595/20000 samples | 7013 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 1s | 14811/20000 samples | 6785 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 1s | 15291/20000 samples | 6692 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 1s | 15291/20000 samples | 6692 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 1s | 16434/20000 samples | 6822 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 1s | 17681/20000 samples | 6969 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 1s | 17986/20000 samples | 6795 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 1s | 17986/20000 samples | 6795 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 19474/20000 samples | 6755 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19815/20000 samples | 6636 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19909/20000 samples | 6449 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19956/20000 samples | 6252 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19956/20000 samples | 6252 samples/sAn example execution:30763077[State 0]3078{3079 hookFixed::hook::cache: Set(),3080 hookFixed::hook::drvUploaded: false,3081 hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set()),3082 hookFixed::hook::phase: Query,3083 hookFixed::hook::restarts: 0,3084 hookFixed::hook::retries: 0,3085 hookFixed::hook::toUpload: Set()3086}30873088[State 1]3089{3090 hookFixed::hook::cache: Set(),3091 hookFixed::hook::drvUploaded: false,3092 hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set()),3093 hookFixed::hook::phase: Query,3094 hookFixed::hook::restarts: 1,3095 hookFixed::hook::retries: 1,3096 hookFixed::hook::toUpload: Set()3097}30983099[State 2]3100{3101 hookFixed::hook::cache: Set(),3102 hookFixed::hook::drvUploaded: false,3103 hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set()),3104 hookFixed::hook::phase: Query,3105 hookFixed::hook::restarts: 2,3106 hookFixed::hook::retries: 2,3107 hookFixed::hook::toUpload: Set()3108}31093110[State 3]3111{3112 hookFixed::hook::cache: Set(),3113 hookFixed::hook::drvUploaded: false,3114 hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set()),3115 hookFixed::hook::phase: Upload,3116 hookFixed::hook::restarts: 2,3117 hookFixed::hook::retries: 2,3118 hookFixed::hook::toUpload: Set("drv", "in")3119}31203121[State 4]3122{3123 hookFixed::hook::cache: Set("drv", "in"),3124 hookFixed::hook::drvUploaded: false,3125 hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set("drv", "in")),3126 hookFixed::hook::phase: Build,3127 hookFixed::hook::restarts: 2,3128 hookFixed::hook::retries: 2,3129 hookFixed::hook::toUpload: Set("drv", "in")3130}31313132[State 5]3133{3134 hookFixed::hook::cache: Set("drv", "in", "out"),3135 hookFixed::hook::drvUploaded: false,3136 hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set("drv", "in", "out")),3137 hookFixed::hook::phase: Fetch,3138 hookFixed::hook::restarts: 2,3139 hookFixed::hook::retries: 2,3140 hookFixed::hook::toUpload: Set("drv", "in")3141}31423143[State 6]3144{3145 hookFixed::hook::cache: Set("drv", "in", "out"),3146 hookFixed::hook::drvUploaded: false,3147 hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set("drv", "in", "out")),3148 hookFixed::hook::phase: Done,3149 hookFixed::hook::restarts: 2,3150 hookFixed::hook::retries: 2,3151 hookFixed::hook::toUpload: Set("drv", "in")3152}31533154[ok] No violation found (3304ms at 6053 traces/second).3155Trace length statistics: max=7, min=5, average=6.753156You may increase --max-samples and --max-steps.3157Use --verbosity to produce more (or less) output.3158Use --seed=0xe449f7919c7fb461 --backend=rust to reproduce.3159Running... [ ] 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:31603161[State 0]3162{3163 hookNoSubstituteRefs::hook::cache: Set(),3164 hookNoSubstituteRefs::hook::drvUploaded: false,3165 hookNoSubstituteRefs::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),3166 hookNoSubstituteRefs::hook::phase: Query,3167 hookNoSubstituteRefs::hook::restarts: 0,3168 hookNoSubstituteRefs::hook::retries: 0,3169 hookNoSubstituteRefs::hook::toUpload: Set()3170}31713172[State 1]3173{3174 hookNoSubstituteRefs::hook::cache: Set("in"),3175 hookNoSubstituteRefs::hook::drvUploaded: false,3176 hookNoSubstituteRefs::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),3177 hookNoSubstituteRefs::hook::phase: Upload,3178 hookNoSubstituteRefs::hook::restarts: 0,3179 hookNoSubstituteRefs::hook::retries: 0,3180 hookNoSubstituteRefs::hook::toUpload: Set("drv")3181}31823183[State 2]3184{3185 hookNoSubstituteRefs::hook::cache: Set("in"),3186 hookNoSubstituteRefs::hook::drvUploaded: false,3187 hookNoSubstituteRefs::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),3188 hookNoSubstituteRefs::hook::phase: Failed,3189 hookNoSubstituteRefs::hook::restarts: 0,3190 hookNoSubstituteRefs::hook::retries: 0,3191 hookNoSubstituteRefs::hook::toUpload: Set("drv")3192}31933194[violation] Found an issue (177ms at 418 traces/second).3195Use --verbosity=3 to show executions.3196Use --seed=0x5db5ed8be129893b --backend=rust to reproduce.3197error: Invariant violated3198Running... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sAn example execution:31993200[State 0]3201{3202 hookNoSubstituteDrv::hook::cache: Set(),3203 hookNoSubstituteDrv::hook::drvUploaded: false,3204 hookNoSubstituteDrv::hook::local: Map("w1" -> Set(), "w2" -> Set()),3205 hookNoSubstituteDrv::hook::phase: Query,3206 hookNoSubstituteDrv::hook::restarts: 0,3207 hookNoSubstituteDrv::hook::retries: 0,3208 hookNoSubstituteDrv::hook::toUpload: Set()3209}32103211[State 1]3212{3213 hookNoSubstituteDrv::hook::cache: Set(),3214 hookNoSubstituteDrv::hook::drvUploaded: false,3215 hookNoSubstituteDrv::hook::local: Map("w1" -> Set(), "w2" -> Set()),3216 hookNoSubstituteDrv::hook::phase: Upload,3217 hookNoSubstituteDrv::hook::restarts: 0,3218 hookNoSubstituteDrv::hook::retries: 0,3219 hookNoSubstituteDrv::hook::toUpload: Set("drv", "in")3220}32213222[State 2]3223{3224 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),3225 hookNoSubstituteDrv::hook::drvUploaded: false,3226 hookNoSubstituteDrv::hook::local:3227 Map("w1" -> Set(), "w2" -> Set("drv", "in")),3228 hookNoSubstituteDrv::hook::phase: Build,3229 hookNoSubstituteDrv::hook::restarts: 0,3230 hookNoSubstituteDrv::hook::retries: 0,3231 hookNoSubstituteDrv::hook::toUpload: Set("drv", "in")3232}32333234[State 3]3235{3236 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),3237 hookNoSubstituteDrv::hook::drvUploaded: false,3238 hookNoSubstituteDrv::hook::local:3239 Map("w1" -> Set(), "w2" -> Set("drv", "in")),3240 hookNoSubstituteDrv::hook::phase: UploadDrv,3241 hookNoSubstituteDrv::hook::restarts: 0,3242 hookNoSubstituteDrv::hook::retries: 0,3243 hookNoSubstituteDrv::hook::toUpload: Set("drv", "in")3244}32453246[State 4]3247{3248 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),3249 hookNoSubstituteDrv::hook::drvUploaded: true,3250 hookNoSubstituteDrv::hook::local:3251 Map("w1" -> Set(), "w2" -> Set("drv", "in")),3252 hookNoSubstituteDrv::hook::phase: Build,3253 hookNoSubstituteDrv::hook::restarts: 0,3254 hookNoSubstituteDrv::hook::retries: 0,3255 hookNoSubstituteDrv::hook::toUpload: Set("drv", "in")3256}32573258[State 5]3259{3260 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),3261 hookNoSubstituteDrv::hook::drvUploaded: true,3262 hookNoSubstituteDrv::hook::local:3263 Map("w1" -> Set(), "w2" -> Set("drv", "in")),3264 hookNoSubstituteDrv::hook::phase: Failed,3265 hookNoSubstituteDrv::hook::restarts: 0,3266 hookNoSubstituteDrv::hook::retries: 0,3267 hookNoSubstituteDrv::hook::toUpload: Set("drv", "in")3268}32693270[violation] Found an issue (209ms at 488 traces/second).3271Use --verbosity=3 to show executions.3272Use --seed=0x5b252d83e7e3e4e8 --backend=rust to reproduce.3273error: Invariant violated3274Running... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 1s | 5649/20000 samples | 30048 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 1s | 5649/20000 samples | 30048 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 1s | 5649/20000 samples | 30048 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 1s | 9494/20000 samples | 21725 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 1s | 9494/20000 samples | 21725 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 1s | 12367/20000 samples | 20109 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 1s | 13779/20000 samples | 19191 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 1s | 13779/20000 samples | 19191 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 1s | 17946/20000 samples | 18597 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 19317/20000 samples | 17804 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 19317/20000 samples | 17804 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19957/20000 samples | 16107 samples/sAn example execution:32753276[State 0]3277{3278 pushFixed::push::byPath: Map(),3279 pushFixed::push::inflight: Set(),3280 pushFixed::push::left: Map(),3281 pushFixed::push::sent: Map()3282}32833284[State 1]3285{3286 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3287 pushFixed::push::inflight: Set((2, "a"), (2, "b")),3288 pushFixed::push::left: Map(2 -> 2),3289 pushFixed::push::sent: Map(2 -> Set("a", "b"))3290}32913292[State 2]3293{3294 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3295 pushFixed::push::inflight: Set((2, "a")),3296 pushFixed::push::left: Map(2 -> 1),3297 pushFixed::push::sent: Map(2 -> Set("a", "b"))3298}32993300[State 3]3301{3302 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3303 pushFixed::push::inflight: Set(),3304 pushFixed::push::left: Map(2 -> 0),3305 pushFixed::push::sent: Map(2 -> Set("a", "b"))3306}33073308[State 4]3309{3310 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),3311 pushFixed::push::inflight: Set((1, "a"), (1, "b")),3312 pushFixed::push::left: Map(1 -> 2, 2 -> 0),3313 pushFixed::push::sent: Map(1 -> Set("a", "b"), 2 -> Set("a", "b"))3314}33153316[State 5]3317{3318 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3319 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (3, "a"), (3, "b")),3320 pushFixed::push::left: Map(1 -> 2, 2 -> 0, 3 -> 2),3321 pushFixed::push::sent:3322 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3323}33243325[State 6]3326{3327 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3328 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (3, "b")),3329 pushFixed::push::left: Map(1 -> 2, 2 -> 0, 3 -> 1),3330 pushFixed::push::sent:3331 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3332}33333334[State 7]3335{3336 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3337 pushFixed::push::inflight: Set((1, "b"), (3, "b")),3338 pushFixed::push::left: Map(1 -> 1, 2 -> 0, 3 -> 1),3339 pushFixed::push::sent:3340 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3341}33423343[State 8]3344{3345 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3346 pushFixed::push::inflight: Set((3, "b")),3347 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 1),3348 pushFixed::push::sent:3349 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3350}33513352[State 9]3353{3354 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3355 pushFixed::push::inflight: Set(),3356 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),3357 pushFixed::push::sent:3358 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3359}33603361[ok] No violation found (1390ms at 14388 traces/second).3362Trace length statistics: max=10, min=7, average=8.013363You may increase --max-samples and --max-steps.3364Use --verbosity to produce more (or less) output.3365Use --seed=0x289a68a2f3c8421f --backend=rust to reproduce.