this derivation will be built:
  /nix/store/m3y2nm9dfk186yfnfj7h2wpp6grvqxy9-nix-grpc-store-spec.drv
building '/nix/store/m3y2nm9dfk186yfnfj7h2wpp6grvqxy9-nix-grpc-store-spec.drv' on 'ssh-ng://customer@mac02'
building '/nix/store/m3y2nm9dfk186yfnfj7h2wpp6grvqxy9-nix-grpc-store-spec.drv'
nix-grpc-store-spec> Running... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 173s | 152/30000 samples | 173 samples/sRunning... [                                        ] 1% | ETA: 92s | 329/30000 samples | 326 samples/sRunning... [                                        ] 1% | ETA: 91s | 367/30000 samples | 329 samples/sRunning... [■                                       ] 1% | ETA: 75s | 494/30000 samples | 398 samples/sRunning... [■                                       ] 1% | ETA: 75s | 494/30000 samples | 398 samples/sRunning... [■                                       ] 2% | ETA: 64s | 646/30000 samples | 463 samples/sRunning... [■                                       ] 2% | ETA: 64s | 646/30000 samples | 463 samples/sRunning... [■                                       ] 2% | ETA: 55s | 866/30000 samples | 531 samples/sRunning... [■                                       ] 2% | ETA: 55s | 866/30000 samples | 531 samples/sRunning... [■                                       ] 3% | ETA: 53s | 1010/30000 samples | 556 samples/sRunning... [■                                       ] 3% | ETA: 53s | 1010/30000 samples | 556 samples/sRunning... [■■                                      ] 3% | ETA: 50s | 1168/30000 samples | 581 samples/sRunning... [■■                                      ] 3% | ETA: 50s | 1168/30000 samples | 581 samples/sRunning... [■■                                      ] 4% | ETA: 50s | 1322/30000 samples | 585 samples/sRunning... [■■                                      ] 4% | ETA: 50s | 1322/30000 samples | 585 samples/sRunning... [■■                                      ] 5% | ETA: 35s | 1500/30000 samples | 598 samples/sRunning... [■■                                      ] 5% | ETA: 35s | 1500/30000 samples | 598 samples/sRunning... [■■                                      ] 5% | ETA: 37s | 1632/30000 samples | 609 samples/sRunning... [■■                                      ] 5% | ETA: 35s | 1732/30000 samples | 618 samples/sRunning... [■■                                      ] 5% | ETA: 35s | 1732/30000 samples | 618 samples/sRunning... [■■                                      ] 6% | ETA: 36s | 1822/30000 samples | 622 samples/sRunning... [■■                                      ] 6% | ETA: 36s | 1822/30000 samples | 622 samples/sRunning... [■■■                                     ] 6% | ETA: 37s | 2001/30000 samples | 632 samples/sRunning... [■■■                                     ] 7% | ETA: 38s | 2118/30000 samples | 637 samples/sRunning... [■■■                                     ] 7% | ETA: 38s | 2118/30000 samples | 637 samples/sRunning... [■■■                                     ] 7% | ETA: 38s | 2219/30000 samples | 643 samples/sRunning... [■■■                                     ] 7% | ETA: 38s | 2324/30000 samples | 647 samples/sRunning... [■■■                                     ] 7% | ETA: 38s | 2324/30000 samples | 647 samples/sRunning... [■■■                                     ] 8% | ETA: 37s | 2496/30000 samples | 650 samples/sRunning... [■■■                                     ] 8% | ETA: 37s | 2496/30000 samples | 650 samples/sRunning... [■■■                                     ] 8% | ETA: 37s | 2496/30000 samples | 650 samples/sRunning... [■■■■                                    ] 8% | ETA: 38s | 2628/30000 samples | 648 samples/sRunning... [■■■■                                    ] 8% | ETA: 38s | 2696/30000 samples | 648 samples/sRunning... [■■■■                                    ] 9% | ETA: 39s | 2781/30000 samples | 649 samples/sRunning... [■■■■                                    ] 9% | ETA: 39s | 2781/30000 samples | 649 samples/sRunning... [■■■■                                    ] 9% | ETA: 39s | 2892/30000 samples | 648 samples/sRunning... [■■■■                                    ] 9% | ETA: 41s | 2945/30000 samples | 645 samples/sRunning... [■■■■                                    ] 9% | ETA: 41s | 2945/30000 samples | 645 samples/sRunning... [■■■■                                    ] 10% | ETA: 38s | 3184/30000 samples | 662 samples/sRunning... [■■■■                                    ] 11% | ETA: 36s | 3333/30000 samples | 675 samples/sRunning... [■■■■                                    ] 11% | ETA: 36s | 3333/30000 samples | 675 samples/sRunning... [■■■■■                                   ] 11% | ETA: 37s | 3448/30000 samples | 670 samples/sRunning... [■■■■■                                   ] 11% | ETA: 39s | 3478/30000 samples | 662 samples/sRunning... [■■■■■                                   ] 11% | ETA: 39s | 3478/30000 samples | 662 samples/sRunning... [■■■■■                                   ] 12% | ETA: 34s | 3732/30000 samples | 681 samples/sRunning... [■■■■■                                   ] 12% | ETA: 34s | 3732/30000 samples | 681 samples/sRunning... [■■■■■                                   ] 12% | ETA: 34s | 3732/30000 samples | 681 samples/sRunning... [■■■■■                                   ] 12% | ETA: 35s | 3865/30000 samples | 680 samples/sRunning... [■■■■■                                   ] 13% | ETA: 34s | 3945/30000 samples | 682 samples/sRunning... [■■■■■                                   ] 13% | ETA: 34s | 3945/30000 samples | 682 samples/sRunning... [■■■■■■                                  ] 13% | ETA: 32s | 4165/30000 samples | 694 samples/sRunning... [■■■■■■                                  ] 13% | ETA: 32s | 4165/30000 samples | 694 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 32s | 4288/30000 samples | 692 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 32s | 4396/30000 samples | 698 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 31s | 4585/30000 samples | 711 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 31s | 4585/30000 samples | 711 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 32s | 4675/30000 samples | 703 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 30s | 4765/30000 samples | 705 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 30s | 4765/30000 samples | 705 samples/sRunning... [■■■■■■■                                 ] 16% | ETA: 32s | 4891/30000 samples | 706 samples/sRunning... [■■■■■■■                                 ] 16% | ETA: 32s | 4891/30000 samples | 706 samples/sRunning... [■■■■■■■                                 ] 16% | ETA: 31s | 5091/30000 samples | 709 samples/sRunning... [■■■■■■■                                 ] 16% | ETA: 31s | 5091/30000 samples | 709 samples/sRunning... [■■■■■■■                                 ] 17% | ETA: 30s | 5221/30000 samples | 712 samples/sRunning... [■■■■■■■                                 ] 17% | ETA: 31s | 5358/30000 samples | 718 samples/sRunning... [■■■■■■■                                 ] 17% | ETA: 31s | 5358/30000 samples | 718 samples/sRunning... [■■■■■■■■                                ] 19% | ETA: 26s | 5769/30000 samples | 747 samples/sRunning... [■■■■■■■■                                ] 19% | ETA: 24s | 5933/30000 samples | 759 samples/sRunning... [■■■■■■■■                                ] 19% | ETA: 24s | 5933/30000 samples | 759 samples/sRunning... [■■■■■■■■                                ] 20% | ETA: 27s | 6002/30000 samples | 749 samples/sRunning... [■■■■■■■■                                ] 20% | ETA: 24s | 6198/30000 samples | 762 samples/sRunning... [■■■■■■■■                                ] 20% | ETA: 24s | 6198/30000 samples | 762 samples/sRunning... [■■■■■■■■■                               ] 21% | ETA: 24s | 6392/30000 samples | 763 samples/sRunning... [■■■■■■■■■                               ] 21% | ETA: 25s | 6416/30000 samples | 756 samples/sRunning... [■■■■■■■■■                               ] 21% | ETA: 24s | 6554/30000 samples | 761 samples/sRunning... [■■■■■■■■■                               ] 21% | ETA: 24s | 6554/30000 samples | 761 samples/sRunning... [■■■■■■■■■                               ] 21% | ETA: 24s | 6554/30000 samples | 761 samples/sRunning... [■■■■■■■■■                               ] 22% | ETA: 24s | 6773/30000 samples | 764 samples/sRunning... [■■■■■■■■■                               ] 22% | ETA: 24s | 6852/30000 samples | 764 samples/sRunning... [■■■■■■■■■                               ] 23% | ETA: 28s | 6952/30000 samples | 760 samples/sRunning... [■■■■■■■■■                               ] 23% | ETA: 31s | 7030/30000 samples | 760 samples/sRunning... [■■■■■■■■■                               ] 23% | ETA: 28s | 7104/30000 samples | 759 samples/sRunning... [■■■■■■■■■■                              ] 23% | ETA: 32s | 7148/30000 samples | 756 samples/sRunning... [■■■■■■■■■■                              ] 23% | ETA: 32s | 7148/30000 samples | 756 samples/sRunning... [■■■■■■■■■■                              ] 24% | ETA: 33s | 7257/30000 samples | 756 samples/sRunning... [■■■■■■■■■■                              ] 24% | ETA: 31s | 7351/30000 samples | 756 samples/sRunning... [■■■■■■■■■■                              ] 24% | ETA: 31s | 7351/30000 samples | 756 samples/sRunning... [■■■■■■■■■■                              ] 25% | ETA: 27s | 7711/30000 samples | 770 samples/sRunning... [■■■■■■■■■■■                             ] 26% | ETA: 23s | 7973/30000 samples | 789 samples/sRunning... [■■■■■■■■■■■                             ] 26% | ETA: 23s | 7973/30000 samples | 789 samples/sRunning... [■■■■■■■■■■■                             ] 26% | ETA: 25s | 8008/30000 samples | 781 samples/sRunning... [■■■■■■■■■■■                             ] 26% | ETA: 25s | 8008/30000 samples | 781 samples/sRunning... [■■■■■■■■■■■                             ] 27% | ETA: 24s | 8148/30000 samples | 780 samples/sRunning... [■■■■■■■■■■■                             ] 27% | ETA: 24s | 8250/30000 samples | 779 samples/sRunning... [■■■■■■■■■■■                             ] 27% | ETA: 24s | 8325/30000 samples | 778 samples/sRunning... [■■■■■■■■■■■                             ] 27% | ETA: 24s | 8325/30000 samples | 778 samples/sRunning... [■■■■■■■■■■■                             ] 28% | ETA: 24s | 8413/30000 samples | 775 samples/sRunning... [■■■■■■■■■■■■                            ] 29% | ETA: 19s | 8843/30000 samples | 804 samples/sRunning... [■■■■■■■■■■■■                            ] 29% | ETA: 19s | 8895/30000 samples | 800 samples/sRunning... [■■■■■■■■■■■■                            ] 29% | ETA: 19s | 8895/30000 samples | 800 samples/sRunning... [■■■■■■■■■■■■                            ] 29% | ETA: 23s | 8951/30000 samples | 788 samples/sRunning... [■■■■■■■■■■■■                            ] 29% | ETA: 23s | 8951/30000 samples | 788 samples/sRunning... [■■■■■■■■■■■■                            ] 29% | ETA: 23s | 8951/30000 samples | 788 samples/sRunning... [■■■■■■■■■■■■                            ] 30% | ETA: 27s | 9159/30000 samples | 789 samples/sRunning... [■■■■■■■■■■■■                            ] 30% | ETA: 25s | 9266/30000 samples | 788 samples/sRunning... [■■■■■■■■■■■■                            ] 30% | ETA: 25s | 9266/30000 samples | 788 samples/sRunning... [■■■■■■■■■■■■                            ] 31% | ETA: 25s | 9365/30000 samples | 787 samples/sRunning... [■■■■■■■■■■■■■                           ] 31% | ETA: 24s | 9506/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■                           ] 31% | ETA: 24s | 9506/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■                           ] 32% | ETA: 24s | 9691/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■                           ] 32% | ETA: 24s | 9691/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■                           ] 32% | ETA: 24s | 9765/30000 samples | 785 samples/sRunning... [■■■■■■■■■■■■■■                          ] 34% | ETA: 23s | 10226/30000 samples | 812 samples/sRunning... [■■■■■■■■■■■■■■                          ] 34% | ETA: 23s | 10226/30000 samples | 812 samples/sRunning... [■■■■■■■■■■■■■■                          ] 35% | ETA: 18s | 10663/30000 samples | 838 samples/sRunning... [■■■■■■■■■■■■■■                          ] 35% | ETA: 18s | 10663/30000 samples | 838 samples/sRunning... [■■■■■■■■■■■■■■                          ] 35% | ETA: 18s | 10770/30000 samples | 830 samples/sRunning... [■■■■■■■■■■■■■■                          ] 36% | ETA: 18s | 10828/30000 samples | 825 samples/sRunning... [■■■■■■■■■■■■■■                          ] 36% | ETA: 18s | 10828/30000 samples | 825 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 37% | ETA: 16s | 11135/30000 samples | 836 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 37% | ETA: 16s | 11135/30000 samples | 836 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 37% | ETA: 16s | 11135/30000 samples | 836 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 38% | ETA: 14s | 11568/30000 samples | 853 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 38% | ETA: 14s | 11568/30000 samples | 853 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 40% | ETA: 12s | 12216/30000 samples | 883 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 40% | ETA: 12s | 12216/30000 samples | 883 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 40% | ETA: 13s | 12222/30000 samples | 873 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 40% | ETA: 13s | 12236/30000 samples | 867 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 41% | ETA: 14s | 12333/30000 samples | 868 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 41% | ETA: 14s | 12333/30000 samples | 868 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 41% | ETA: 17s | 12443/30000 samples | 861 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 41% | ETA: 16s | 12553/30000 samples | 862 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 41% | ETA: 16s | 12568/30000 samples | 857 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 41% | ETA: 16s | 12568/30000 samples | 857 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 42% | ETA: 17s | 12757/30000 samples | 861 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 43% | ETA: 18s | 12929/30000 samples | 864 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 43% | ETA: 30s | 12930/30000 samples | 859 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 43% | ETA: 27s | 12968/30000 samples | 855 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 43% | ETA: 27s | 12968/30000 samples | 855 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 43% | ETA: 23s | 13131/30000 samples | 857 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 44% | ETA: 24s | 13204/30000 samples | 856 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 44% | ETA: 24s | 13204/30000 samples | 856 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 44% | ETA: 23s | 13301/30000 samples | 851 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 44% | ETA: 23s | 13400/30000 samples | 852 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 44% | ETA: 22s | 13461/30000 samples | 850 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 44% | ETA: 22s | 13461/30000 samples | 850 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 25s | 13566/30000 samples | 846 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 27s | 13667/30000 samples | 847 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 25s | 13728/30000 samples | 845 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 24s | 13779/30000 samples | 843 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 46% | ETA: 25s | 13896/30000 samples | 843 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 46% | ETA: 25s | 13972/30000 samples | 841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 46% | ETA: 23s | 14063/30000 samples | 841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 47% | ETA: 23s | 14171/30000 samples | 842 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 47% | ETA: 24s | 14216/30000 samples | 840 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 47% | ETA: 24s | 14216/30000 samples | 840 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 48% | ETA: 18s | 14527/30000 samples | 848 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 48% | ETA: 18s | 14527/30000 samples | 848 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 48% | ETA: 21s | 14528/30000 samples | 842 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 48% | ETA: 20s | 14672/30000 samples | 841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 48% | ETA: 20s | 14672/30000 samples | 841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 48% | ETA: 20s | 14672/30000 samples | 841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 49% | ETA: 20s | 14826/30000 samples | 839 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 49% | ETA: 20s | 14917/30000 samples | 838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 49% | ETA: 20s | 14917/30000 samples | 838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 50% | ETA: 19s | 15090/30000 samples | 837 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 50% | ETA: 19s | 15090/30000 samples | 837 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 51% | ETA: 17s | 15462/30000 samples | 845 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 51% | ETA: 17s | 15462/30000 samples | 845 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 51% | ETA: 17s | 15591/30000 samples | 846 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 51% | ETA: 17s | 15591/30000 samples | 846 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 52% | ETA: 17s | 15731/30000 samples | 842 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 52% | ETA: 19s | 15808/30000 samples | 842 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 52% | ETA: 18s | 15865/30000 samples | 840 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 53% | ETA: 18s | 15934/30000 samples | 839 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 53% | ETA: 17s | 16026/30000 samples | 840 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 53% | ETA: 17s | 16026/30000 samples | 840 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 53% | ETA: 17s | 16126/30000 samples | 838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 53% | ETA: 17s | 16179/30000 samples | 836 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 53% | ETA: 17s | 16179/30000 samples | 836 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 54% | ETA: 18s | 16466/30000 samples | 841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 54% | ETA: 18s | 16466/30000 samples | 841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 18s | 16568/30000 samples | 839 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 18s | 16648/30000 samples | 839 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 18s | 16648/30000 samples | 839 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 19s | 16772/30000 samples | 834 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 19s | 16772/30000 samples | 834 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 56% | ETA: 16s | 17011/30000 samples | 839 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 56% | ETA: 17s | 17018/30000 samples | 834 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 56% | ETA: 17s | 17018/30000 samples | 834 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 58% | ETA: 14s | 17407/30000 samples | 846 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 58% | ETA: 14s | 17407/30000 samples | 846 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 58% | ETA: 15s | 17478/30000 samples | 840 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 58% | ETA: 15s | 17576/30000 samples | 838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 58% | ETA: 15s | 17576/30000 samples | 838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 58% | ETA: 16s | 17693/30000 samples | 838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 59% | ETA: 16s | 17758/30000 samples | 837 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 59% | ETA: 16s | 17810/30000 samples | 835 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 59% | ETA: 16s | 17810/30000 samples | 835 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 61% | ETA: 11s | 18300/30000 samples | 850 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 61% | ETA: 13s | 18301/30000 samples | 846 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 61% | ETA: 12s | 18329/30000 samples | 843 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 61% | ETA: 16s | 18386/30000 samples | 841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 61% | ETA: 15s | 18436/30000 samples | 839 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 61% | ETA: 15s | 18436/30000 samples | 839 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 61% | ETA: 14s | 18549/30000 samples | 839 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 61% | ETA: 14s | 18590/30000 samples | 837 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 62% | ETA: 14s | 18674/30000 samples | 836 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 62% | ETA: 15s | 18708/30000 samples | 833 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 62% | ETA: 25s | 18790/30000 samples | 831 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 62% | ETA: 25s | 18790/30000 samples | 831 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 62% | ETA: 25s | 18790/30000 samples | 831 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 63% | ETA: 22s | 18931/30000 samples | 828 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 63% | ETA: 21s | 19001/30000 samples | 827 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 63% | ETA: 20s | 19088/30000 samples | 827 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 63% | ETA: 20s | 19088/30000 samples | 827 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 63% | ETA: 19s | 19159/30000 samples | 825 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 63% | ETA: 22s | 19167/30000 samples | 821 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 63% | ETA: 22s | 19167/30000 samples | 821 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 64% | ETA: 20s | 19351/30000 samples | 820 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 64% | ETA: 20s | 19351/30000 samples | 820 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 64% | ETA: 22s | 19362/30000 samples | 816 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 64% | ETA: 21s | 19425/30000 samples | 814 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 65% | ETA: 20s | 19526/30000 samples | 815 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 65% | ETA: 21s | 19560/30000 samples | 812 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 65% | ETA: 22s | 19601/30000 samples | 809 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 65% | ETA: 21s | 19703/30000 samples | 810 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 65% | ETA: 22s | 19741/30000 samples | 808 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 65% | ETA: 21s | 19768/30000 samples | 805 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 66% | ETA: 20s | 19897/30000 samples | 807 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 66% | ETA: 20s | 19897/30000 samples | 807 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 66% | ETA: 20s | 19897/30000 samples | 807 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 66% | ETA: 20s | 19944/30000 samples | 802 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 66% | ETA: 20s | 19944/30000 samples | 802 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 66% | ETA: 19s | 20093/30000 samples | 801 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 66% | ETA: 19s | 20093/30000 samples | 801 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 67% | ETA: 18s | 20258/30000 samples | 801 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 67% | ETA: 18s | 20258/30000 samples | 801 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 67% | ETA: 17s | 20392/30000 samples | 800 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 68% | ETA: 15s | 20515/30000 samples | 801 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 68% | ETA: 15s | 20515/30000 samples | 801 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 68% | ETA: 16s | 20627/30000 samples | 798 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 69% | ETA: 15s | 20759/30000 samples | 799 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 69% | ETA: 15s | 20759/30000 samples | 799 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 69% | ETA: 14s | 20853/30000 samples | 798 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 69% | ETA: 14s | 20853/30000 samples | 798 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 69% | ETA: 15s | 20945/30000 samples | 796 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 70% | ETA: 15s | 21018/30000 samples | 793 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 70% | ETA: 15s | 21018/30000 samples | 793 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 70% | ETA: 15s | 21018/30000 samples | 793 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 70% | ETA: 14s | 21212/30000 samples | 793 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 71% | ETA: 14s | 21312/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 71% | ETA: 15s | 21367/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 71% | ETA: 15s | 21367/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 71% | ETA: 14s | 21459/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 71% | ETA: 14s | 21526/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 71% | ETA: 14s | 21526/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 72% | ETA: 14s | 21701/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 72% | ETA: 14s | 21701/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 72% | ETA: 12s | 21849/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 73% | ETA: 11s | 21997/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 73% | ETA: 11s | 22088/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 73% | ETA: 11s | 22088/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 73% | ETA: 11s | 22088/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 74% | ETA: 11s | 22249/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 74% | ETA: 10s | 22340/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 74% | ETA: 10s | 22477/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 75% | ETA: 10s | 22561/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 75% | ETA: 10s | 22632/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 75% | ETA: 10s | 22632/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 75% | ETA: 10s | 22632/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 76% | ETA: 9s | 22868/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 76% | ETA: 9s | 22868/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 76% | ETA: 9s | 23036/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 77% | ETA: 9s | 23159/30000 samples | 792 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 77% | ETA: 9s | 23159/30000 samples | 792 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 77% | ETA: 9s | 23302/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 77% | ETA: 9s | 23302/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 77% | ETA: 9s | 23398/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 78% | ETA: 9s | 23495/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 78% | ETA: 9s | 23574/30000 samples | 789 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 78% | ETA: 9s | 23574/30000 samples | 789 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 78% | ETA: 9s | 23574/30000 samples | 789 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 79% | ETA: 9s | 23770/30000 samples | 789 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 79% | ETA: 8s | 23894/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 79% | ETA: 8s | 23894/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 79% | ETA: 8s | 23894/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 80% | ETA: 8s | 24111/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 80% | ETA: 8s | 24198/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 80% | ETA: 8s | 24288/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 80% | ETA: 8s | 24288/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 81% | ETA: 7s | 24486/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 81% | ETA: 7s | 24486/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 82% | ETA: 7s | 24700/30000 samples | 792 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 82% | ETA: 7s | 24700/30000 samples | 792 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 82% | ETA: 7s | 24838/30000 samples | 792 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 83% | ETA: 6s | 24973/30000 samples | 793 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 83% | ETA: 6s | 24973/30000 samples | 793 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 83% | ETA: 6s | 25129/30000 samples | 794 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 83% | ETA: 6s | 25129/30000 samples | 794 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 84% | ETA: 6s | 25294/30000 samples | 793 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 84% | ETA: 6s | 25294/30000 samples | 793 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 85% | ETA: 6s | 25502/30000 samples | 794 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 85% | ETA: 6s | 25502/30000 samples | 794 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 85% | ETA: 5s | 25691/30000 samples | 795 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 85% | ETA: 5s | 25691/30000 samples | 795 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 86% | ETA: 5s | 25810/30000 samples | 795 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 86% | ETA: 5s | 26021/30000 samples | 797 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 86% | ETA: 5s | 26021/30000 samples | 797 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 87% | ETA: 5s | 26183/30000 samples | 797 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 87% | ETA: 5s | 26306/30000 samples | 798 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 87% | ETA: 5s | 26306/30000 samples | 798 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 87% | ETA: 5s | 26306/30000 samples | 798 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 88% | ETA: 4s | 26568/30000 samples | 800 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 88% | ETA: 4s | 26568/30000 samples | 800 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 89% | ETA: 4s | 26779/30000 samples | 802 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 89% | ETA: 4s | 26924/30000 samples | 803 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 89% | ETA: 4s | 26924/30000 samples | 803 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 90% | ETA: 3s | 27053/30000 samples | 803 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 90% | ETA: 3s | 27053/30000 samples | 803 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 90% | ETA: 3s | 27289/30000 samples | 805 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 90% | ETA: 3s | 27289/30000 samples | 805 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 91% | ETA: 3s | 27410/30000 samples | 804 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 91% | ETA: 3s | 27410/30000 samples | 804 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 92% | ETA: 3s | 27632/30000 samples | 806 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 92% | ETA: 3s | 27739/30000 samples | 806 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 92% | ETA: 3s | 27897/30000 samples | 807 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 92% | ETA: 3s | 27897/30000 samples | 807 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 93% | ETA: 2s | 28067/30000 samples | 809 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 94% | ETA: 2s | 28234/30000 samples | 810 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 94% | ETA: 2s | 28339/30000 samples | 810 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 94% | ETA: 2s | 28339/30000 samples | 810 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 95% | ETA: 2s | 28508/30000 samples | 812 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 95% | ETA: 2s | 28508/30000 samples | 812 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 95% | ETA: 2s | 28695/30000 samples | 812 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 95% | ETA: 2s | 28792/30000 samples | 812 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 2s | 28964/30000 samples | 814 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 29071/30000 samples | 815 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29192/30000 samples | 816 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29355/30000 samples | 818 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29355/30000 samples | 818 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 29511/30000 samples | 819 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 98% | ETA: 1s | 29646/30000 samples | 820 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29794/30000 samples | 821 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29794/30000 samples | 821 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29919/30000 samples | 820 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29972/30000 samples | 818 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29990/30000 samples | 817 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29990/30000 samples | 817 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 30000/30000 samples | 814 samples/sAn example execution:
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 0]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 0,
nix-grpc-store-spec>   schedFixed::scheduler::entry: [],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 1]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 0,
nix-grpc-store-spec>   schedFixed::scheduler::entry: [],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 2]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 0,
nix-grpc-store-spec>   schedFixed::scheduler::entry: [],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c1", "c2"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 3]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 1,
nix-grpc-store-spec>   schedFixed::scheduler::entry: [],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c1", "c2"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 4]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 1,
nix-grpc-store-spec>   schedFixed::scheduler::entry: [],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c1", "c2"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 5]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 1,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c1", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 6]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry: [],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c1", "c2"),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 7]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry: [],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 8]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry: [],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 9]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c1", "w2")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 10]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(("c1", "w2")),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 11]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(("c1", "w2")),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 12]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c1", "c2"),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 13]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 14]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c1", "c2"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 15]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c2", "w2")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 16]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(("c2", "w2")),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 17]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 18]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c1", "w2")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 19]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(("c1", "w2")),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 20]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(("c1", "w2")),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 21]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 22]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c2", "w2")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 23]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c2", "w2")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 24]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(("c2", "w2")),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 25]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(("c2", "w2")),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 1,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 26]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(("c2", "w2")),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 1,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 27]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(("c2", "w2")),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 1,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 28]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(("c2", "w2")),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 1,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 29]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 1,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 30]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry: [],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 1,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set("w2"),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [ok] No violation found (37163ms at 807 traces/second).
nix-grpc-store-spec> Trace length statistics: max=31, min=15, average=18.81
nix-grpc-store-spec> You may increase --max-samples and --max-steps.
nix-grpc-store-spec> Use --verbosity to produce more (or less) output.
nix-grpc-store-spec> Use --seed=0xd92b5d1434d4bbf6 --backend=rust to reproduce.
nix-grpc-store-spec> Running... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■                                       ] 2% | ETA: 11s | 856/30000 samples | 2932 samples/sRunning... [■                                       ] 3% | ETA: 12s | 1038/30000 samples | 2648 samples/sRunning... [■                                       ] 3% | ETA: 12s | 1038/30000 samples | 2648 samples/sRunning... [■                                       ] 3% | ETA: 12s | 1038/30000 samples | 2648 samples/sRunning... [■■                                      ] 4% | ETA: 13s | 1440/30000 samples | 2345 samples/sRunning... [■■                                      ] 4% | ETA: 13s | 1440/30000 samples | 2345 samples/sRunning... [■■                                      ] 6% | ETA: 14s | 1801/30000 samples | 2172 samples/sRunning... [■■■                                     ] 6% | ETA: 14s | 2028/30000 samples | 2126 samples/sRunning... [■■■                                     ] 7% | ETA: 14s | 2309/30000 samples | 2056 samples/sRunning... [■■■                                     ] 7% | ETA: 14s | 2309/30000 samples | 2056 samples/sRunning... [■■■                                     ] 8% | ETA: 14s | 2435/30000 samples | 1986 samples/sRunning... [■■■                                     ] 8% | ETA: 15s | 2604/30000 samples | 1959 samples/sRunning... [■■■                                     ] 8% | ETA: 15s | 2604/30000 samples | 1959 samples/sRunning... [■■■■                                    ] 9% | ETA: 15s | 2991/30000 samples | 1894 samples/sRunning... [■■■■                                    ] 9% | ETA: 15s | 2991/30000 samples | 1894 samples/sRunning... [■■■■                                    ] 10% | ETA: 16s | 3298/30000 samples | 1879 samples/sRunning... [■■■■■                                   ] 11% | ETA: 16s | 3487/30000 samples | 1872 samples/sRunning... [■■■■■                                   ] 12% | ETA: 17s | 3711/30000 samples | 1852 samples/sRunning... [■■■■■                                   ] 13% | ETA: 17s | 3911/30000 samples | 1837 samples/sRunning... [■■■■■                                   ] 13% | ETA: 17s | 3911/30000 samples | 1837 samples/sRunning... [■■■■■■                                  ] 13% | ETA: 17s | 4153/30000 samples | 1817 samples/sRunning... [■■■■■■                                  ] 13% | ETA: 17s | 4153/30000 samples | 1817 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 17s | 4428/30000 samples | 1808 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 16s | 4599/30000 samples | 1803 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 16s | 4599/30000 samples | 1803 samples/sRunning... [■■■■■■■                                 ] 16% | ETA: 16s | 4953/30000 samples | 1784 samples/sRunning... [■■■■■■■                                 ] 17% | ETA: 16s | 5142/30000 samples | 1786 samples/sRunning... [■■■■■■■                                 ] 17% | ETA: 16s | 5348/30000 samples | 1768 samples/sRunning... [■■■■■■■                                 ] 18% | ETA: 16s | 5539/30000 samples | 1765 samples/sRunning... [■■■■■■■                                 ] 18% | ETA: 16s | 5539/30000 samples | 1765 samples/sRunning... [■■■■■■■■                                ] 19% | ETA: 16s | 5817/30000 samples | 1747 samples/sRunning... [■■■■■■■■                                ] 20% | ETA: 15s | 6005/30000 samples | 1751 samples/sRunning... [■■■■■■■■                                ] 20% | ETA: 15s | 6005/30000 samples | 1751 samples/sRunning... [■■■■■■■■■                               ] 21% | ETA: 15s | 6395/30000 samples | 1742 samples/sRunning... [■■■■■■■■■                               ] 21% | ETA: 15s | 6395/30000 samples | 1742 samples/sRunning... [■■■■■■■■■                               ] 22% | ETA: 15s | 6690/30000 samples | 1747 samples/sRunning... [■■■■■■■■■                               ] 22% | ETA: 15s | 6690/30000 samples | 1747 samples/sRunning... [■■■■■■■■■                               ] 23% | ETA: 14s | 6962/30000 samples | 1748 samples/sRunning... [■■■■■■■■■■                              ] 23% | ETA: 14s | 7175/30000 samples | 1740 samples/sRunning... [■■■■■■■■■■                              ] 24% | ETA: 15s | 7314/30000 samples | 1729 samples/sRunning... [■■■■■■■■■■                              ] 24% | ETA: 14s | 7492/30000 samples | 1730 samples/sRunning... [■■■■■■■■■■                              ] 25% | ETA: 14s | 7651/30000 samples | 1721 samples/sRunning... [■■■■■■■■■■                              ] 26% | ETA: 14s | 7854/30000 samples | 1719 samples/sRunning... [■■■■■■■■■■■                             ] 26% | ETA: 14s | 8006/30000 samples | 1714 samples/sRunning... [■■■■■■■■■■■                             ] 26% | ETA: 14s | 8006/30000 samples | 1714 samples/sRunning... [■■■■■■■■■■■                             ] 26% | ETA: 14s | 8006/30000 samples | 1714 samples/sRunning... [■■■■■■■■■■■                             ] 27% | ETA: 14s | 8371/30000 samples | 1704 samples/sRunning... [■■■■■■■■■■■                             ] 27% | ETA: 14s | 8371/30000 samples | 1704 samples/sRunning... [■■■■■■■■■■■■                            ] 28% | ETA: 14s | 8678/30000 samples | 1697 samples/sRunning... [■■■■■■■■■■■■                            ] 29% | ETA: 14s | 8880/30000 samples | 1696 samples/sRunning... [■■■■■■■■■■■■                            ] 30% | ETA: 14s | 9122/30000 samples | 1694 samples/sRunning... [■■■■■■■■■■■■                            ] 30% | ETA: 14s | 9122/30000 samples | 1694 samples/sRunning... [■■■■■■■■■■■■                            ] 30% | ETA: 14s | 9122/30000 samples | 1694 samples/sRunning... [■■■■■■■■■■■■■                           ] 31% | ETA: 13s | 9496/30000 samples | 1694 samples/sRunning... [■■■■■■■■■■■■■                           ] 32% | ETA: 13s | 9781/30000 samples | 1691 samples/sRunning... [■■■■■■■■■■■■■                           ] 32% | ETA: 13s | 9781/30000 samples | 1691 samples/sRunning... [■■■■■■■■■■■■■                           ] 33% | ETA: 13s | 10108/30000 samples | 1690 samples/sRunning... [■■■■■■■■■■■■■■                          ] 34% | ETA: 13s | 10258/30000 samples | 1685 samples/sRunning... [■■■■■■■■■■■■■■                          ] 34% | ETA: 13s | 10258/30000 samples | 1685 samples/sRunning... [■■■■■■■■■■■■■■                          ] 34% | ETA: 13s | 10258/30000 samples | 1685 samples/sRunning... [■■■■■■■■■■■■■■                          ] 35% | ETA: 13s | 10626/30000 samples | 1681 samples/sRunning... [■■■■■■■■■■■■■■                          ] 36% | ETA: 12s | 10849/30000 samples | 1678 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 36% | ETA: 12s | 11087/30000 samples | 1679 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 36% | ETA: 12s | 11087/30000 samples | 1679 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 36% | ETA: 12s | 11087/30000 samples | 1679 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 38% | ETA: 12s | 11470/30000 samples | 1674 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 38% | ETA: 12s | 11470/30000 samples | 1674 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 39% | ETA: 12s | 11735/30000 samples | 1668 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 39% | ETA: 12s | 11735/30000 samples | 1668 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 40% | ETA: 12s | 12043/30000 samples | 1654 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 40% | ETA: 13s | 12181/30000 samples | 1642 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 40% | ETA: 13s | 12181/30000 samples | 1642 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 41% | ETA: 13s | 12395/30000 samples | 1634 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 41% | ETA: 13s | 12395/30000 samples | 1634 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 42% | ETA: 13s | 12633/30000 samples | 1625 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 42% | ETA: 13s | 12633/30000 samples | 1625 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 42% | ETA: 13s | 12877/30000 samples | 1614 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 43% | ETA: 13s | 13059/30000 samples | 1605 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 43% | ETA: 13s | 13059/30000 samples | 1605 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 43% | ETA: 14s | 13194/30000 samples | 1594 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 44% | ETA: 15s | 13298/30000 samples | 1582 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 44% | ETA: 15s | 13372/30000 samples | 1572 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 44% | ETA: 16s | 13466/30000 samples | 1564 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 16s | 13549/30000 samples | 1552 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 16s | 13549/30000 samples | 1552 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 17s | 13662/30000 samples | 1540 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 18s | 13772/30000 samples | 1535 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 18s | 13772/30000 samples | 1535 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 46% | ETA: 18s | 13985/30000 samples | 1517 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 46% | ETA: 19s | 14077/30000 samples | 1510 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 47% | ETA: 19s | 14185/30000 samples | 1500 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 47% | ETA: 19s | 14185/30000 samples | 1500 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 47% | ETA: 18s | 14391/30000 samples | 1494 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 48% | ETA: 17s | 14505/30000 samples | 1491 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 48% | ETA: 17s | 14641/30000 samples | 1482 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 48% | ETA: 17s | 14641/30000 samples | 1482 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 48% | ETA: 17s | 14641/30000 samples | 1482 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 49% | ETA: 16s | 14929/30000 samples | 1475 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 50% | ETA: 15s | 15044/30000 samples | 1471 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 50% | ETA: 15s | 15044/30000 samples | 1471 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 51% | ETA: 15s | 15316/30000 samples | 1466 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 51% | ETA: 14s | 15487/30000 samples | 1463 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 51% | ETA: 14s | 15487/30000 samples | 1463 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 52% | ETA: 13s | 15623/30000 samples | 1460 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 52% | ETA: 13s | 15623/30000 samples | 1460 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 52% | ETA: 13s | 15868/30000 samples | 1453 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 52% | ETA: 13s | 15868/30000 samples | 1453 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 53% | ETA: 13s | 16166/30000 samples | 1447 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 54% | ETA: 12s | 16318/30000 samples | 1445 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 54% | ETA: 12s | 16318/30000 samples | 1445 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 54% | ETA: 12s | 16318/30000 samples | 1445 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 12s | 16586/30000 samples | 1439 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 12s | 16586/30000 samples | 1439 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 56% | ETA: 12s | 16850/30000 samples | 1433 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 56% | ETA: 12s | 16850/30000 samples | 1433 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 57% | ETA: 11s | 17133/30000 samples | 1427 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 57% | ETA: 11s | 17263/30000 samples | 1425 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 58% | ETA: 11s | 17407/30000 samples | 1425 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 58% | ETA: 11s | 17407/30000 samples | 1425 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 58% | ETA: 11s | 17611/30000 samples | 1421 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 58% | ETA: 11s | 17611/30000 samples | 1421 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 59% | ETA: 11s | 17864/30000 samples | 1418 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 59% | ETA: 11s | 17864/30000 samples | 1418 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 60% | ETA: 10s | 18160/30000 samples | 1416 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 60% | ETA: 10s | 18160/30000 samples | 1416 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 61% | ETA: 10s | 18306/30000 samples | 1414 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■                ] 61% | ETA: 10s | 18306/30000 samples | 1414 samples/sAn example execution:
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 0]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoRevoke::scheduler::crashes: 0,
nix-grpc-store-spec>   schedNoRevoke::scheduler::entry: [],
nix-grpc-store-spec>   schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::published: 0,
nix-grpc-store-spec>   schedNoRevoke::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 1]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoRevoke::scheduler::crashes: 0,
nix-grpc-store-spec>   schedNoRevoke::scheduler::entry: [],
nix-grpc-store-spec>   schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedNoRevoke::scheduler::published: 0,
nix-grpc-store-spec>   schedNoRevoke::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 2]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoRevoke::scheduler::crashes: 0,
nix-grpc-store-spec>   schedNoRevoke::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mAssigned: Set(("c1", "w1")),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::published: 0,
nix-grpc-store-spec>   schedNoRevoke::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 3]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoRevoke::scheduler::crashes: 0,
nix-grpc-store-spec>   schedNoRevoke::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mAssigned: Set(("c1", "w1")),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::published: 0,
nix-grpc-store-spec>   schedNoRevoke::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 4]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoRevoke::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoRevoke::scheduler::entry: [],
nix-grpc-store-spec>   schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::published: 0,
nix-grpc-store-spec>   schedNoRevoke::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 5]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoRevoke::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoRevoke::scheduler::entry: [],
nix-grpc-store-spec>   schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::published: 0,
nix-grpc-store-spec>   schedNoRevoke::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 6]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoRevoke::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoRevoke::scheduler::entry: [],
nix-grpc-store-spec>   schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::published: 0,
nix-grpc-store-spec>   schedNoRevoke::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 7]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoRevoke::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoRevoke::scheduler::entry: [],
nix-grpc-store-spec>   schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedNoRevoke::scheduler::published: 0,
nix-grpc-store-spec>   schedNoRevoke::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 8]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoRevoke::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoRevoke::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mAssigned: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::published: 0,
nix-grpc-store-spec>   schedNoRevoke::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 9]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoRevoke::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoRevoke::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 0),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mAssigned: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::published: 0,
nix-grpc-store-spec>   schedNoRevoke::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 10]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoRevoke::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoRevoke::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 0),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mAssigned: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::published: 0,
nix-grpc-store-spec>   schedNoRevoke::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoRevoke::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [violation] Found an issue (13246ms at 1388 traces/second).
nix-grpc-store-spec> Use --verbosity=3 to show executions.
nix-grpc-store-spec> Use --seed=0xeac1863bcfce20f1 --backend=rust to reproduce.
nix-grpc-store-spec> error: Invariant violated
nix-grpc-store-spec> Running... [                                        ] 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: 7s | 1208/30000 samples | 4628 samples/sRunning... [■■                                      ] 4% | ETA: 8s | 1476/30000 samples | 3915 samples/sRunning... [■■                                      ] 6% | ETA: 9s | 1871/30000 samples | 3408 samples/sRunning... [■■                                      ] 6% | ETA: 9s | 1871/30000 samples | 3408 samples/sRunning... [■■■                                     ] 7% | ETA: 9s | 2350/30000 samples | 3133 samples/sRunning... [■■■                                     ] 7% | ETA: 9s | 2350/30000 samples | 3133 samples/sRunning... [■■■■                                    ] 8% | ETA: 10s | 2638/30000 samples | 2974 samples/sRunning... [■■■■                                    ] 9% | ETA: 10s | 2904/30000 samples | 2875 samples/sRunning... [■■■■                                    ] 9% | ETA: 10s | 2904/30000 samples | 2875 samples/sRunning... [■■■■■                                   ] 11% | ETA: 10s | 3424/30000 samples | 2722 samples/sRunning... [■■■■■                                   ] 11% | ETA: 10s | 3424/30000 samples | 2722 samples/sRunning... [■■■■■                                   ] 12% | ETA: 11s | 3636/30000 samples | 2625 samples/sRunning... [■■■■■                                   ] 12% | ETA: 11s | 3636/30000 samples | 2625 samples/sRunning... [■■■■■                                   ] 13% | ETA: 11s | 4104/30000 samples | 2515 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 13s | 4252/30000 samples | 2454 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 13s | 4377/30000 samples | 2387 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 13s | 4377/30000 samples | 2387 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 14s | 4555/30000 samples | 2253 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 14s | 4555/30000 samples | 2253 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 16s | 4723/30000 samples | 2135 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 16s | 4723/30000 samples | 2135 samples/sRunning... [■■■■■■■                                 ] 16% | ETA: 18s | 4891/30000 samples | 2010 samples/sRunning... [■■■■■■■                                 ] 16% | ETA: 19s | 4985/30000 samples | 1957 samples/sRunning... [■■■■■■■                                 ] 16% | ETA: 19s | 4985/30000 samples | 1957 samples/sRunning... [■■■■■■■                                 ] 16% | ETA: 19s | 4985/30000 samples | 1957 samples/sRunning... [■■■■■■■                                 ] 17% | ETA: 22s | 5163/30000 samples | 1846 samples/sRunning... [■■■■■■■                                 ] 17% | ETA: 25s | 5238/30000 samples | 1773 samples/sRunning... [■■■■■■■                                 ] 17% | ETA: 25s | 5238/30000 samples | 1773 samples/sRunning... [■■■■■■■                                 ] 17% | ETA: 31s | 5365/30000 samples | 1676 samples/sRunning... [■■■■■■■                                 ] 17% | ETA: 31s | 5365/30000 samples | 1676 samples/sRunning... [■■■■■■■                                 ] 17% | ETA: 31s | 5365/30000 samples | 1676 samples/sAn example execution:
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 0]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 1]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 2]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 3]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 4]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 5]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 6]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoFence::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 7]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 8]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 9]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 10]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 11]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 12]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 13]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set("w1"),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set("w1", "w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [violation] Found an issue (3360ms at 1613 traces/second).
nix-grpc-store-spec> Use --verbosity=3 to show executions.
nix-grpc-store-spec> Use --seed=0x901a066460b01c2 --backend=rust to reproduce.
nix-grpc-store-spec> error: Invariant violated
nix-grpc-store-spec> Running... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■                                       ] 2% | ETA: 9s | 673/30000 samples | 3365 samples/sRunning... [■                                       ] 2% | ETA: 14s | 710/30000 samples | 2240 samples/sRunning... [■                                       ] 2% | ETA: 14s | 710/30000 samples | 2240 samples/sAn example execution:
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 0]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoPush::scheduler::crashes: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::entry: [],
nix-grpc-store-spec>   schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoPush::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::published: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 1]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoPush::scheduler::crashes: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::entry: [],
nix-grpc-store-spec>   schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoPush::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedNoPush::scheduler::published: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 2]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoPush::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoPush::scheduler::entry: [],
nix-grpc-store-spec>   schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoPush::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedNoPush::scheduler::published: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 3]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoPush::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoPush::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedNoPush::scheduler::mAssigned: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoPush::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::published: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 4]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),
nix-grpc-store-spec>   schedNoPush::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoPush::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedNoPush::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mBuild: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoPush::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::published: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 5]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),
nix-grpc-store-spec>   schedNoPush::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoPush::scheduler::entry: [],
nix-grpc-store-spec>   schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoPush::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mBuild: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoPush::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::published: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 6]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),
nix-grpc-store-spec>   schedNoPush::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoPush::scheduler::entry: [],
nix-grpc-store-spec>   schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoPush::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mBuild: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoPush::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::published: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 7]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),
nix-grpc-store-spec>   schedNoPush::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoPush::scheduler::entry: [],
nix-grpc-store-spec>   schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoPush::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mBuild: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoPush::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::published: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 8]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),
nix-grpc-store-spec>   schedNoPush::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoPush::scheduler::entry: [],
nix-grpc-store-spec>   schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoPush::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::published: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set("c1"),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [violation] Found an issue (358ms at 2000 traces/second).
nix-grpc-store-spec> Use --verbosity=3 to show executions.
nix-grpc-store-spec> Use --seed=0x2145d1f2070b39af --backend=rust to reproduce.
nix-grpc-store-spec> error: Invariant violated
nix-grpc-store-spec> Running... [                                        ] 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: 5s | 1404/30000 samples | 6212 samples/sRunning... [■■                                      ] 4% | ETA: 5s | 1404/30000 samples | 6212 samples/sRunning... [■■■                                     ] 7% | ETA: 6s | 2345/30000 samples | 5428 samples/sRunning... [■■■                                     ] 7% | ETA: 6s | 2345/30000 samples | 5428 samples/sRunning... [■■■■                                    ] 10% | ETA: 6s | 3037/30000 samples | 4623 samples/sRunning... [■■■■                                    ] 10% | ETA: 6s | 3037/30000 samples | 4623 samples/sRunning... [■■■■■                                   ] 11% | ETA: 7s | 3595/30000 samples | 4254 samples/sRunning... [■■■■■                                   ] 11% | ETA: 7s | 3595/30000 samples | 4254 samples/sAn example execution:
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 0]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::entry: [],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 1]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::entry: [],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 2]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::entry: [],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set("c1", "c2"),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 3]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoReport::scheduler::entry: [],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set("c1", "c2"),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 4]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoReport::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 5]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoReport::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 6]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoReport::scheduler::entry: [],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set("c1", "c2"),
nix-grpc-store-spec>   schedNoReport::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 7]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoReport::scheduler::entry: [],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoReport::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 8]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoReport::scheduler::entry: [],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoReport::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 9]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoReport::scheduler::entry: [],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoReport::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 10]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoReport::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoReport::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 11]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoReport::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoReport::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [violation] Found an issue (983ms at 3877 traces/second).
nix-grpc-store-spec> Use --verbosity=3 to show executions.
nix-grpc-store-spec> Use --seed=0x88699e6e9623e2d0 --backend=rust to reproduce.
nix-grpc-store-spec> error: Invariant violated
nix-grpc-store-spec> Running... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sAn example execution:
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 0]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
nix-grpc-store-spec>   schedTerminal::scheduler::crashes: 0,
nix-grpc-store-spec>   schedTerminal::scheduler::entry: [],
nix-grpc-store-spec>   schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedTerminal::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::published: 0,
nix-grpc-store-spec>   schedTerminal::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 1]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
nix-grpc-store-spec>   schedTerminal::scheduler::crashes: 1,
nix-grpc-store-spec>   schedTerminal::scheduler::entry: [],
nix-grpc-store-spec>   schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedTerminal::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::published: 0,
nix-grpc-store-spec>   schedTerminal::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 2]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedTerminal::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedTerminal::scheduler::crashes: 1,
nix-grpc-store-spec>   schedTerminal::scheduler::entry: [],
nix-grpc-store-spec>   schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedTerminal::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedTerminal::scheduler::published: 0,
nix-grpc-store-spec>   schedTerminal::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 3]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedTerminal::scheduler::cl: Map("c1" -> CFailed, "c2" -> CIdle),
nix-grpc-store-spec>   schedTerminal::scheduler::crashes: 1,
nix-grpc-store-spec>   schedTerminal::scheduler::entry: [],
nix-grpc-store-spec>   schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedTerminal::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mRevoke: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::published: 0,
nix-grpc-store-spec>   schedTerminal::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedTerminal::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [violation] Found an issue (36ms at 917 traces/second).
nix-grpc-store-spec> Use --verbosity=3 to show executions.
nix-grpc-store-spec> Use --seed=0x4866949ba80a469 --backend=rust to reproduce.
nix-grpc-store-spec> error: Invariant violated
nix-grpc-store-spec> Running... [                                        ] 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... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 83% | ETA: 1s | 16606/20000 samples | 71270 samples/sAn example execution:
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 0]
nix-grpc-store-spec> {
nix-grpc-store-spec>   pushFixed::push::byPath: Map(),
nix-grpc-store-spec>   pushFixed::push::inflight: Set(),
nix-grpc-store-spec>   pushFixed::push::left: Map(),
nix-grpc-store-spec>   pushFixed::push::sent: Map()
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 1]
nix-grpc-store-spec> {
nix-grpc-store-spec>   pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),
nix-grpc-store-spec>   pushFixed::push::inflight: Set((3, "a"), (3, "b")),
nix-grpc-store-spec>   pushFixed::push::left: Map(3 -> 2),
nix-grpc-store-spec>   pushFixed::push::sent: Map(3 -> Set("a", "b"))
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 2]
nix-grpc-store-spec> {
nix-grpc-store-spec>   pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),
nix-grpc-store-spec>   pushFixed::push::inflight: Set((3, "b")),
nix-grpc-store-spec>   pushFixed::push::left: Map(3 -> 1),
nix-grpc-store-spec>   pushFixed::push::sent: Map(3 -> Set("a", "b"))
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 3]
nix-grpc-store-spec> {
nix-grpc-store-spec>   pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),
nix-grpc-store-spec>   pushFixed::push::inflight: Set((1, "a"), (1, "b"), (3, "b")),
nix-grpc-store-spec>   pushFixed::push::left: Map(1 -> 2, 3 -> 1),
nix-grpc-store-spec>   pushFixed::push::sent: Map(1 -> Set("a", "b"), 3 -> Set("a", "b"))
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 4]
nix-grpc-store-spec> {
nix-grpc-store-spec>   pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),
nix-grpc-store-spec>   pushFixed::push::inflight: Set((1, "a"), (3, "b")),
nix-grpc-store-spec>   pushFixed::push::left: Map(1 -> 1, 3 -> 1),
nix-grpc-store-spec>   pushFixed::push::sent: Map(1 -> Set("a", "b"), 3 -> Set("a", "b"))
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 5]
nix-grpc-store-spec> {
nix-grpc-store-spec>   pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),
nix-grpc-store-spec>   pushFixed::push::inflight: Set((3, "b")),
nix-grpc-store-spec>   pushFixed::push::left: Map(1 -> 0, 3 -> 1),
nix-grpc-store-spec>   pushFixed::push::sent: Map(1 -> Set("a", "b"), 3 -> Set("a", "b"))
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 6]
nix-grpc-store-spec> {
nix-grpc-store-spec>   pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),
nix-grpc-store-spec>   pushFixed::push::inflight: Set((2, "a"), (2, "b"), (3, "b")),
nix-grpc-store-spec>   pushFixed::push::left: Map(1 -> 0, 2 -> 2, 3 -> 1),
nix-grpc-store-spec>   pushFixed::push::sent:
nix-grpc-store-spec>     Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 7]
nix-grpc-store-spec> {
nix-grpc-store-spec>   pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),
nix-grpc-store-spec>   pushFixed::push::inflight: Set((2, "a"), (2, "b")),
nix-grpc-store-spec>   pushFixed::push::left: Map(1 -> 0, 2 -> 2, 3 -> 0),
nix-grpc-store-spec>   pushFixed::push::sent:
nix-grpc-store-spec>     Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 8]
nix-grpc-store-spec> {
nix-grpc-store-spec>   pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),
nix-grpc-store-spec>   pushFixed::push::inflight: Set((2, "b")),
nix-grpc-store-spec>   pushFixed::push::left: Map(1 -> 0, 2 -> 1, 3 -> 0),
nix-grpc-store-spec>   pushFixed::push::sent:
nix-grpc-store-spec>     Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 9]
nix-grpc-store-spec> {
nix-grpc-store-spec>   pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),
nix-grpc-store-spec>   pushFixed::push::inflight: Set(),
nix-grpc-store-spec>   pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),
nix-grpc-store-spec>   pushFixed::push::sent:
nix-grpc-store-spec>     Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [ok] No violation found (297ms at 67340 traces/second).
nix-grpc-store-spec> Trace length statistics: max=10, min=7, average=8.02
nix-grpc-store-spec> You may increase --max-samples and --max-steps.
nix-grpc-store-spec> Use --verbosity to produce more (or less) output.
nix-grpc-store-spec> Use --seed=0xcdb4e65c3cdbeba1 --backend=rust to reproduce.

post-build step Upload coverage to codecov: ok
Skipping codecov: project=Mic92/nix-grpc-store attr=checks.aarch64-darwin.spec