nixbot

builds
sign in

nix-grpc-store-spec checks.aarch64-darwin.spec · build #236 · raw

1Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■ ] 2% | ETA: 9s | 889/30000 samples | 3459 samples/sRunning... [■ ] 2% | ETA: 9s | 889/30000 samples | 3459 samples/sRunning... [■ ] 3% | ETA: 11s | 1119/30000 samples | 2743 samples/sRunning... [■■ ] 5% | ETA: 11s | 1512/30000 samples | 2764 samples/sRunning... [■■ ] 5% | ETA: 11s | 1512/30000 samples | 2764 samples/sRunning... [■■■ ] 6% | ETA: 11s | 1981/30000 samples | 2775 samples/sRunning... [■■■ ] 7% | ETA: 11s | 2195/30000 samples | 2641 samples/sRunning... [■■■ ] 7% | ETA: 11s | 2195/30000 samples | 2641 samples/sRunning... [■■■ ] 8% | ETA: 12s | 2500/30000 samples | 2453 samples/sRunning... [■■■■ ] 8% | ETA: 12s | 2677/30000 samples | 2344 samples/sRunning... [■■■■ ] 9% | ETA: 12s | 2850/30000 samples | 2289 samples/sRunning... [■■■■ ] 9% | ETA: 13s | 2995/30000 samples | 2172 samples/sRunning... [■■■■ ] 9% | ETA: 13s | 2995/30000 samples | 2172 samples/sRunning... [■■■■■ ] 12% | ETA: 13s | 3773/30000 samples | 2318 samples/sRunning... [■■■■■ ] 12% | ETA: 13s | 3773/30000 samples | 2318 samples/sRunning... [■■■■■ ] 12% | ETA: 13s | 3773/30000 samples | 2318 samples/sRunning... [■■■■■ ] 13% | ETA: 13s | 4105/30000 samples | 2233 samples/sRunning... [■■■■■ ] 13% | ETA: 13s | 4105/30000 samples | 2233 samples/sRunning... [■■■■■■ ] 15% | ETA: 13s | 4629/30000 samples | 2272 samples/sRunning... [■■■■■■ ] 15% | ETA: 13s | 4629/30000 samples | 2272 samples/sRunning... [■■■■■■■ ] 17% | ETA: 13s | 5112/30000 samples | 2235 samples/sRunning... [■■■■■■■ ] 17% | ETA: 13s | 5318/30000 samples | 2228 samples/sRunning... [■■■■■■■ ] 17% | ETA: 13s | 5318/30000 samples | 2228 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 13s | 5715/30000 samples | 2178 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 12s | 5967/30000 samples | 2174 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 12s | 5967/30000 samples | 2174 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 12s | 5967/30000 samples | 2174 samples/sRunning... [■■■■■■■■ ] 21% | ETA: 12s | 6300/30000 samples | 2133 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 12s | 6472/30000 samples | 2105 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 13s | 6688/30000 samples | 2102 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 13s | 6688/30000 samples | 2102 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 12s | 7108/30000 samples | 2104 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 13s | 7419/30000 samples | 2098 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 13s | 7419/30000 samples | 2098 samples/sRunning... [■■■■■■■■■■ ] 26% | ETA: 12s | 7844/30000 samples | 2095 samples/sRunning... [■■■■■■■■■■ ] 26% | ETA: 12s | 7844/30000 samples | 2095 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 12s | 8139/30000 samples | 2099 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 11s | 8396/30000 samples | 2105 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 11s | 8396/30000 samples | 2105 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 11s | 8852/30000 samples | 2110 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 11s | 8852/30000 samples | 2110 samples/sRunning... [■■■■■■■■■■■■ ] 31% | ETA: 10s | 9352/30000 samples | 2114 samples/sRunning... [■■■■■■■■■■■■ ] 31% | ETA: 10s | 9352/30000 samples | 2114 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 10s | 9811/30000 samples | 2120 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 10s | 10009/30000 samples | 2108 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 10s | 10252/30000 samples | 2112 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 10s | 10434/30000 samples | 2105 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 10s | 10614/30000 samples | 2098 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 10s | 10614/30000 samples | 2098 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 10s | 10990/30000 samples | 2089 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 10s | 11212/30000 samples | 2088 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 10s | 11448/30000 samples | 2081 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 10s | 11448/30000 samples | 2081 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 10s | 11448/30000 samples | 2081 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 10s | 11876/30000 samples | 2072 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 10s | 11876/30000 samples | 2072 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 41% | ETA: 10s | 12312/30000 samples | 2083 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 9s | 12574/30000 samples | 2075 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 9s | 12574/30000 samples | 2075 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 10s | 12738/30000 samples | 2027 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 11s | 12876/30000 samples | 2013 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 11s | 12876/30000 samples | 2013 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 43% | ETA: 11s | 13189/30000 samples | 1999 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 43% | ETA: 11s | 13189/30000 samples | 1999 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 43% | ETA: 11s | 13189/30000 samples | 1999 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 11s | 13524/30000 samples | 1975 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 11s | 13800/30000 samples | 1969 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 11s | 13960/30000 samples | 1962 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 11s | 14139/30000 samples | 1957 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 11s | 14139/30000 samples | 1957 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 12s | 14325/30000 samples | 1949 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 12s | 14473/30000 samples | 1942 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 11s | 14626/30000 samples | 1937 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 10s | 14963/30000 samples | 1932 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 10s | 15100/30000 samples | 1925 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 10s | 15304/30000 samples | 1926 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 10s | 15304/30000 samples | 1926 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 9s | 15642/30000 samples | 1926 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 9s | 15642/30000 samples | 1926 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 9s | 15816/30000 samples | 1912 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 9s | 15975/30000 samples | 1907 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 9s | 15975/30000 samples | 1907 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 9s | 16342/30000 samples | 1904 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 9s | 16561/30000 samples | 1900 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 9s | 16561/30000 samples | 1900 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 8s | 16887/30000 samples | 1896 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 8s | 16887/30000 samples | 1896 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 8s | 17229/30000 samples | 1894 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 8s | 17386/30000 samples | 1890 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 8s | 17642/30000 samples | 1887 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 8s | 17875/30000 samples | 1884 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 8s | 17875/30000 samples | 1884 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 8s | 17875/30000 samples | 1884 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 7s | 18239/30000 samples | 1879 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 7s | 18491/30000 samples | 1874 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 7s | 18491/30000 samples | 1874 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 7s | 18730/30000 samples | 1872 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 7s | 18730/30000 samples | 1872 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 7s | 19172/30000 samples | 1871 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 7s | 19331/30000 samples | 1868 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 7s | 19594/30000 samples | 1865 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 7s | 19594/30000 samples | 1865 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 7s | 19594/30000 samples | 1865 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 6s | 20041/30000 samples | 1863 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 67% | ETA: 6s | 20233/30000 samples | 1861 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 6s | 20428/30000 samples | 1861 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 6s | 20428/30000 samples | 1861 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 6s | 20428/30000 samples | 1861 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 69% | ETA: 6s | 20833/30000 samples | 1856 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 69% | ETA: 6s | 20833/30000 samples | 1856 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 4s | 21981/30000 samples | 1896 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 4s | 21981/30000 samples | 1896 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 4s | 21981/30000 samples | 1896 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 5s | 22145/30000 samples | 1874 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 75% | ETA: 4s | 22523/30000 samples | 1878 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 75% | ETA: 4s | 22523/30000 samples | 1878 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 75% | ETA: 4s | 22523/30000 samples | 1878 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 4s | 22956/30000 samples | 1875 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 77% | ETA: 4s | 23179/30000 samples | 1872 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 77% | ETA: 4s | 23355/30000 samples | 1869 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 4s | 23539/30000 samples | 1867 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 4s | 23539/30000 samples | 1867 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 4s | 23748/30000 samples | 1862 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 4s | 23972/30000 samples | 1863 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 4s | 24143/30000 samples | 1858 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 4s | 24143/30000 samples | 1858 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 4s | 24576/30000 samples | 1861 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 4s | 24576/30000 samples | 1861 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 3s | 24982/30000 samples | 1859 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 3s | 24982/30000 samples | 1859 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 3s | 25279/30000 samples | 1855 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 3s | 25485/30000 samples | 1856 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 3s | 25485/30000 samples | 1856 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 3s | 25734/30000 samples | 1854 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 3s | 25876/30000 samples | 1850 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 3s | 26176/30000 samples | 1851 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 3s | 26176/30000 samples | 1851 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 3s | 26355/30000 samples | 1845 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 3s | 26554/30000 samples | 1842 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 3s | 26554/30000 samples | 1842 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 2s | 26906/30000 samples | 1838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 2s | 26906/30000 samples | 1838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 2s | 27242/30000 samples | 1836 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 2s | 27301/30000 samples | 1830 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 2s | 27301/30000 samples | 1830 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 2s | 27676/30000 samples | 1829 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 2s | 27676/30000 samples | 1829 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 2s | 27913/30000 samples | 1825 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 2s | 28108/30000 samples | 1825 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 2s | 28108/30000 samples | 1825 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 2s | 28405/30000 samples | 1820 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 28743/30000 samples | 1820 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 28743/30000 samples | 1820 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 28912/30000 samples | 1817 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 29065/30000 samples | 1814 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29313/30000 samples | 1812 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29313/30000 samples | 1812 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29313/30000 samples | 1812 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 98% | ETA: 1s | 29687/30000 samples | 1807 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 98% | ETA: 1s | 29687/30000 samples | 1807 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29841/30000 samples | 1795 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29929/30000 samples | 1781 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29991/30000 samples | 1772 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29991/30000 samples | 1772 samples/sAn example execution:23[State 0]4{5 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),6 schedFixed::scheduler::crashes: 0,7 schedFixed::scheduler::entry: [],8 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),9 schedFixed::scheduler::mAssigned: Set(),10 schedFixed::scheduler::mBuild: Set(),11 schedFixed::scheduler::mDone: Set(),12 schedFixed::scheduler::mExpect: Set(),13 schedFixed::scheduler::mResult: Set(),14 schedFixed::scheduler::mRetry: Set(),15 schedFixed::scheduler::mSchedule: Set(),16 schedFixed::scheduler::published: 0,17 schedFixed::scheduler::publishedBy: Set(),18 schedFixed::scheduler::ws:19 Map(20 "w1" ->21 {22 attached: Set(),23 built: false,24 expecting: false,25 running: false,26 session: true,27 up: true28 },29 "w2" ->30 {31 attached: Set(),32 built: false,33 expecting: false,34 running: false,35 session: true,36 up: true37 }38 )39}4041[State 1]42{43 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),44 schedFixed::scheduler::crashes: 1,45 schedFixed::scheduler::entry: [],46 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),47 schedFixed::scheduler::mAssigned: Set(),48 schedFixed::scheduler::mBuild: Set(),49 schedFixed::scheduler::mDone: Set(),50 schedFixed::scheduler::mExpect: Set(),51 schedFixed::scheduler::mResult: Set(),52 schedFixed::scheduler::mRetry: Set(),53 schedFixed::scheduler::mSchedule: Set(),54 schedFixed::scheduler::published: 0,55 schedFixed::scheduler::publishedBy: Set(),56 schedFixed::scheduler::ws:57 Map(58 "w1" ->59 {60 attached: Set(),61 built: false,62 expecting: false,63 running: false,64 session: false,65 up: false66 },67 "w2" ->68 {69 attached: Set(),70 built: false,71 expecting: false,72 running: false,73 session: true,74 up: true75 }76 )77}7879[State 2]80{81 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),82 schedFixed::scheduler::crashes: 1,83 schedFixed::scheduler::entry: [],84 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),85 schedFixed::scheduler::mAssigned: Set(),86 schedFixed::scheduler::mBuild: Set(),87 schedFixed::scheduler::mDone: Set(),88 schedFixed::scheduler::mExpect: Set(),89 schedFixed::scheduler::mResult: Set(),90 schedFixed::scheduler::mRetry: Set(),91 schedFixed::scheduler::mSchedule: Set("c2"),92 schedFixed::scheduler::published: 0,93 schedFixed::scheduler::publishedBy: Set(),94 schedFixed::scheduler::ws:95 Map(96 "w1" ->97 {98 attached: Set(),99 built: false,100 expecting: false,101 running: false,102 session: false,103 up: false104 },105 "w2" ->106 {107 attached: Set(),108 built: false,109 expecting: false,110 running: false,111 session: true,112 up: true113 }114 )115}116117[State 3]118{119 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),120 schedFixed::scheduler::crashes: 1,121 schedFixed::scheduler::entry:122 [{ followers: Set("c2"), leased: true, worker: "w2" }],123 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),124 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),125 schedFixed::scheduler::mBuild: Set(),126 schedFixed::scheduler::mDone: Set(),127 schedFixed::scheduler::mExpect: Set("w2"),128 schedFixed::scheduler::mResult: Set(),129 schedFixed::scheduler::mRetry: Set(),130 schedFixed::scheduler::mSchedule: Set(),131 schedFixed::scheduler::published: 0,132 schedFixed::scheduler::publishedBy: Set(),133 schedFixed::scheduler::ws:134 Map(135 "w1" ->136 {137 attached: Set(),138 built: false,139 expecting: false,140 running: false,141 session: false,142 up: false143 },144 "w2" ->145 {146 attached: Set(),147 built: false,148 expecting: false,149 running: false,150 session: true,151 up: true152 }153 )154}155156[State 4]157{158 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),159 schedFixed::scheduler::crashes: 2,160 schedFixed::scheduler::entry:161 [{ followers: Set("c2"), leased: true, worker: "w2" }],162 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),163 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),164 schedFixed::scheduler::mBuild: Set(),165 schedFixed::scheduler::mDone: Set(),166 schedFixed::scheduler::mExpect: Set(),167 schedFixed::scheduler::mResult: Set(),168 schedFixed::scheduler::mRetry: Set(),169 schedFixed::scheduler::mSchedule: Set(),170 schedFixed::scheduler::published: 0,171 schedFixed::scheduler::publishedBy: Set(),172 schedFixed::scheduler::ws:173 Map(174 "w1" ->175 {176 attached: Set(),177 built: false,178 expecting: false,179 running: false,180 session: false,181 up: false182 },183 "w2" ->184 {185 attached: Set(),186 built: false,187 expecting: false,188 running: false,189 session: false,190 up: false191 }192 )193}194195[State 5]196{197 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),198 schedFixed::scheduler::crashes: 2,199 schedFixed::scheduler::entry:200 [{ followers: Set("c2"), leased: true, worker: "w2" }],201 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),202 schedFixed::scheduler::mAssigned: Set(),203 schedFixed::scheduler::mBuild: Set(("c2", "w2")),204 schedFixed::scheduler::mDone: Set(),205 schedFixed::scheduler::mExpect: Set(),206 schedFixed::scheduler::mResult: Set(),207 schedFixed::scheduler::mRetry: Set(),208 schedFixed::scheduler::mSchedule: Set(),209 schedFixed::scheduler::published: 0,210 schedFixed::scheduler::publishedBy: Set(),211 schedFixed::scheduler::ws:212 Map(213 "w1" ->214 {215 attached: Set(),216 built: false,217 expecting: false,218 running: false,219 session: false,220 up: false221 },222 "w2" ->223 {224 attached: Set(),225 built: false,226 expecting: false,227 running: false,228 session: false,229 up: false230 }231 )232}233234[State 6]235{236 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),237 schedFixed::scheduler::crashes: 2,238 schedFixed::scheduler::entry:239 [{ followers: Set("c2"), leased: true, worker: "w2" }],240 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),241 schedFixed::scheduler::mAssigned: Set(),242 schedFixed::scheduler::mBuild: Set(("c2", "w2")),243 schedFixed::scheduler::mDone: Set(),244 schedFixed::scheduler::mExpect: Set(),245 schedFixed::scheduler::mResult: Set(),246 schedFixed::scheduler::mRetry: Set(),247 schedFixed::scheduler::mSchedule: Set(),248 schedFixed::scheduler::published: 0,249 schedFixed::scheduler::publishedBy: Set(),250 schedFixed::scheduler::ws:251 Map(252 "w1" ->253 {254 attached: Set(),255 built: false,256 expecting: false,257 running: false,258 session: true,259 up: true260 },261 "w2" ->262 {263 attached: Set(),264 built: false,265 expecting: false,266 running: false,267 session: false,268 up: false269 }270 )271}272273[State 7]274{275 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),276 schedFixed::scheduler::crashes: 2,277 schedFixed::scheduler::entry:278 [{ followers: Set("c2"), leased: true, worker: "w2" }],279 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),280 schedFixed::scheduler::mAssigned: Set(),281 schedFixed::scheduler::mBuild: Set(("c2", "w2")),282 schedFixed::scheduler::mDone: Set(),283 schedFixed::scheduler::mExpect: Set(),284 schedFixed::scheduler::mResult: Set(),285 schedFixed::scheduler::mRetry: Set(),286 schedFixed::scheduler::mSchedule: Set("c1"),287 schedFixed::scheduler::published: 0,288 schedFixed::scheduler::publishedBy: Set(),289 schedFixed::scheduler::ws:290 Map(291 "w1" ->292 {293 attached: Set(),294 built: false,295 expecting: false,296 running: false,297 session: true,298 up: true299 },300 "w2" ->301 {302 attached: Set(),303 built: false,304 expecting: false,305 running: false,306 session: false,307 up: false308 }309 )310}311312[State 8]313{314 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),315 schedFixed::scheduler::crashes: 2,316 schedFixed::scheduler::entry: [],317 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),318 schedFixed::scheduler::mAssigned: Set(),319 schedFixed::scheduler::mBuild: Set(("c2", "w2")),320 schedFixed::scheduler::mDone: Set(),321 schedFixed::scheduler::mExpect: Set(),322 schedFixed::scheduler::mResult: Set(),323 schedFixed::scheduler::mRetry: Set("c2"),324 schedFixed::scheduler::mSchedule: Set("c1"),325 schedFixed::scheduler::published: 0,326 schedFixed::scheduler::publishedBy: Set(),327 schedFixed::scheduler::ws:328 Map(329 "w1" ->330 {331 attached: Set(),332 built: false,333 expecting: false,334 running: false,335 session: true,336 up: true337 },338 "w2" ->339 {340 attached: Set(),341 built: false,342 expecting: false,343 running: false,344 session: false,345 up: false346 }347 )348}349350[State 9]351{352 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),353 schedFixed::scheduler::crashes: 2,354 schedFixed::scheduler::entry: [],355 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),356 schedFixed::scheduler::mAssigned: Set(),357 schedFixed::scheduler::mBuild: Set(("c2", "w2")),358 schedFixed::scheduler::mDone: Set(),359 schedFixed::scheduler::mExpect: Set(),360 schedFixed::scheduler::mResult: Set(),361 schedFixed::scheduler::mRetry: Set(),362 schedFixed::scheduler::mSchedule: Set("c1", "c2"),363 schedFixed::scheduler::published: 0,364 schedFixed::scheduler::publishedBy: Set(),365 schedFixed::scheduler::ws:366 Map(367 "w1" ->368 {369 attached: Set(),370 built: false,371 expecting: false,372 running: false,373 session: true,374 up: true375 },376 "w2" ->377 {378 attached: Set(),379 built: false,380 expecting: false,381 running: false,382 session: false,383 up: false384 }385 )386}387388[State 10]389{390 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),391 schedFixed::scheduler::crashes: 2,392 schedFixed::scheduler::entry:393 [{ followers: Set("c2"), leased: true, worker: "w1" }],394 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),395 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),396 schedFixed::scheduler::mBuild: Set(("c2", "w2")),397 schedFixed::scheduler::mDone: Set(),398 schedFixed::scheduler::mExpect: Set("w1"),399 schedFixed::scheduler::mResult: Set(),400 schedFixed::scheduler::mRetry: Set(),401 schedFixed::scheduler::mSchedule: Set("c1"),402 schedFixed::scheduler::published: 0,403 schedFixed::scheduler::publishedBy: Set(),404 schedFixed::scheduler::ws:405 Map(406 "w1" ->407 {408 attached: Set(),409 built: false,410 expecting: false,411 running: false,412 session: true,413 up: true414 },415 "w2" ->416 {417 attached: Set(),418 built: false,419 expecting: false,420 running: false,421 session: false,422 up: false423 }424 )425}426427[State 11]428{429 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),430 schedFixed::scheduler::crashes: 2,431 schedFixed::scheduler::entry:432 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],433 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),434 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),435 schedFixed::scheduler::mBuild: Set(("c2", "w2")),436 schedFixed::scheduler::mDone: Set(),437 schedFixed::scheduler::mExpect: Set("w1"),438 schedFixed::scheduler::mResult: Set(),439 schedFixed::scheduler::mRetry: Set(),440 schedFixed::scheduler::mSchedule: Set(),441 schedFixed::scheduler::published: 0,442 schedFixed::scheduler::publishedBy: Set(),443 schedFixed::scheduler::ws:444 Map(445 "w1" ->446 {447 attached: Set(),448 built: false,449 expecting: false,450 running: false,451 session: true,452 up: true453 },454 "w2" ->455 {456 attached: Set(),457 built: false,458 expecting: false,459 running: false,460 session: false,461 up: false462 }463 )464}465466[State 12]467{468 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),469 schedFixed::scheduler::crashes: 2,470 schedFixed::scheduler::entry:471 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],472 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),473 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),474 schedFixed::scheduler::mBuild: Set(("c2", "w2")),475 schedFixed::scheduler::mDone: Set(),476 schedFixed::scheduler::mExpect: Set("w1"),477 schedFixed::scheduler::mResult: Set(),478 schedFixed::scheduler::mRetry: Set(),479 schedFixed::scheduler::mSchedule: Set(),480 schedFixed::scheduler::published: 0,481 schedFixed::scheduler::publishedBy: Set(),482 schedFixed::scheduler::ws:483 Map(484 "w1" ->485 {486 attached: Set(),487 built: false,488 expecting: false,489 running: false,490 session: true,491 up: true492 },493 "w2" ->494 {495 attached: Set(),496 built: false,497 expecting: false,498 running: false,499 session: true,500 up: true501 }502 )503}504505[State 13]506{507 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),508 schedFixed::scheduler::crashes: 2,509 schedFixed::scheduler::entry:510 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],511 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),512 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),513 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w2")),514 schedFixed::scheduler::mDone: Set(),515 schedFixed::scheduler::mExpect: Set("w1"),516 schedFixed::scheduler::mResult: Set(),517 schedFixed::scheduler::mRetry: Set(),518 schedFixed::scheduler::mSchedule: Set(),519 schedFixed::scheduler::published: 0,520 schedFixed::scheduler::publishedBy: Set(),521 schedFixed::scheduler::ws:522 Map(523 "w1" ->524 {525 attached: Set(),526 built: false,527 expecting: false,528 running: false,529 session: true,530 up: true531 },532 "w2" ->533 {534 attached: Set(),535 built: false,536 expecting: false,537 running: false,538 session: true,539 up: true540 }541 )542}543544[State 14]545{546 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),547 schedFixed::scheduler::crashes: 2,548 schedFixed::scheduler::entry:549 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],550 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),551 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),552 schedFixed::scheduler::mBuild: Set(("c2", "w2")),553 schedFixed::scheduler::mDone: Set(),554 schedFixed::scheduler::mExpect: Set("w1"),555 schedFixed::scheduler::mResult: Set(),556 schedFixed::scheduler::mRetry: Set("c1"),557 schedFixed::scheduler::mSchedule: Set(),558 schedFixed::scheduler::published: 0,559 schedFixed::scheduler::publishedBy: Set(),560 schedFixed::scheduler::ws:561 Map(562 "w1" ->563 {564 attached: Set(),565 built: false,566 expecting: false,567 running: false,568 session: true,569 up: true570 },571 "w2" ->572 {573 attached: Set(),574 built: false,575 expecting: false,576 running: false,577 session: true,578 up: true579 }580 )581}582583[State 15]584{585 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),586 schedFixed::scheduler::crashes: 2,587 schedFixed::scheduler::entry:588 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],589 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),590 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),591 schedFixed::scheduler::mBuild: Set(),592 schedFixed::scheduler::mDone: Set(),593 schedFixed::scheduler::mExpect: Set("w1"),594 schedFixed::scheduler::mResult: Set(),595 schedFixed::scheduler::mRetry: Set("c1", "c2"),596 schedFixed::scheduler::mSchedule: Set(),597 schedFixed::scheduler::published: 0,598 schedFixed::scheduler::publishedBy: Set(),599 schedFixed::scheduler::ws:600 Map(601 "w1" ->602 {603 attached: Set(),604 built: false,605 expecting: false,606 running: false,607 session: true,608 up: true609 },610 "w2" ->611 {612 attached: Set(),613 built: false,614 expecting: false,615 running: false,616 session: true,617 up: true618 }619 )620}621622[State 16]623{624 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),625 schedFixed::scheduler::crashes: 2,626 schedFixed::scheduler::entry:627 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],628 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),629 schedFixed::scheduler::mAssigned: Set(),630 schedFixed::scheduler::mBuild: Set(),631 schedFixed::scheduler::mDone: Set(),632 schedFixed::scheduler::mExpect: Set("w1"),633 schedFixed::scheduler::mResult: Set(),634 schedFixed::scheduler::mRetry: Set("c1"),635 schedFixed::scheduler::mSchedule: Set("c2"),636 schedFixed::scheduler::published: 0,637 schedFixed::scheduler::publishedBy: Set(),638 schedFixed::scheduler::ws:639 Map(640 "w1" ->641 {642 attached: Set(),643 built: false,644 expecting: false,645 running: false,646 session: true,647 up: true648 },649 "w2" ->650 {651 attached: Set(),652 built: false,653 expecting: false,654 running: false,655 session: true,656 up: true657 }658 )659}660661[State 17]662{663 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),664 schedFixed::scheduler::crashes: 2,665 schedFixed::scheduler::entry:666 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],667 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),668 schedFixed::scheduler::mAssigned: Set(),669 schedFixed::scheduler::mBuild: Set(),670 schedFixed::scheduler::mDone: Set(),671 schedFixed::scheduler::mExpect: Set("w1"),672 schedFixed::scheduler::mResult: Set(),673 schedFixed::scheduler::mRetry: Set(),674 schedFixed::scheduler::mSchedule: Set("c1", "c2"),675 schedFixed::scheduler::published: 0,676 schedFixed::scheduler::publishedBy: Set(),677 schedFixed::scheduler::ws:678 Map(679 "w1" ->680 {681 attached: Set(),682 built: false,683 expecting: false,684 running: false,685 session: true,686 up: true687 },688 "w2" ->689 {690 attached: Set(),691 built: false,692 expecting: false,693 running: false,694 session: true,695 up: true696 }697 )698}699700[State 18]701{702 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),703 schedFixed::scheduler::crashes: 2,704 schedFixed::scheduler::entry:705 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],706 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),707 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),708 schedFixed::scheduler::mBuild: Set(),709 schedFixed::scheduler::mDone: Set(),710 schedFixed::scheduler::mExpect: Set("w1"),711 schedFixed::scheduler::mResult: Set(),712 schedFixed::scheduler::mRetry: Set(),713 schedFixed::scheduler::mSchedule: Set("c1"),714 schedFixed::scheduler::published: 0,715 schedFixed::scheduler::publishedBy: Set(),716 schedFixed::scheduler::ws:717 Map(718 "w1" ->719 {720 attached: Set(),721 built: false,722 expecting: false,723 running: false,724 session: true,725 up: true726 },727 "w2" ->728 {729 attached: Set(),730 built: false,731 expecting: false,732 running: false,733 session: true,734 up: true735 }736 )737}738739[State 19]740{741 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),742 schedFixed::scheduler::crashes: 2,743 schedFixed::scheduler::entry:744 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],745 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),746 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),747 schedFixed::scheduler::mBuild: Set(),748 schedFixed::scheduler::mDone: Set(),749 schedFixed::scheduler::mExpect: Set("w1"),750 schedFixed::scheduler::mResult: Set(),751 schedFixed::scheduler::mRetry: Set(),752 schedFixed::scheduler::mSchedule: Set(),753 schedFixed::scheduler::published: 0,754 schedFixed::scheduler::publishedBy: Set(),755 schedFixed::scheduler::ws:756 Map(757 "w1" ->758 {759 attached: Set(),760 built: false,761 expecting: false,762 running: false,763 session: true,764 up: true765 },766 "w2" ->767 {768 attached: Set(),769 built: false,770 expecting: false,771 running: false,772 session: true,773 up: true774 }775 )776}777778[State 20]779{780 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),781 schedFixed::scheduler::crashes: 2,782 schedFixed::scheduler::entry:783 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],784 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),785 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),786 schedFixed::scheduler::mBuild: Set(("c1", "w1")),787 schedFixed::scheduler::mDone: Set(),788 schedFixed::scheduler::mExpect: Set("w1"),789 schedFixed::scheduler::mResult: Set(),790 schedFixed::scheduler::mRetry: Set(),791 schedFixed::scheduler::mSchedule: Set(),792 schedFixed::scheduler::published: 0,793 schedFixed::scheduler::publishedBy: Set(),794 schedFixed::scheduler::ws:795 Map(796 "w1" ->797 {798 attached: Set(),799 built: false,800 expecting: false,801 running: false,802 session: true,803 up: true804 },805 "w2" ->806 {807 attached: Set(),808 built: false,809 expecting: false,810 running: false,811 session: true,812 up: true813 }814 )815}816817[State 21]818{819 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),820 schedFixed::scheduler::crashes: 2,821 schedFixed::scheduler::entry:822 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],823 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),824 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),825 schedFixed::scheduler::mBuild: Set(),826 schedFixed::scheduler::mDone: Set(),827 schedFixed::scheduler::mExpect: Set("w1"),828 schedFixed::scheduler::mResult: Set(),829 schedFixed::scheduler::mRetry: Set("c1"),830 schedFixed::scheduler::mSchedule: Set(),831 schedFixed::scheduler::published: 0,832 schedFixed::scheduler::publishedBy: Set(),833 schedFixed::scheduler::ws:834 Map(835 "w1" ->836 {837 attached: Set(),838 built: false,839 expecting: false,840 running: false,841 session: true,842 up: true843 },844 "w2" ->845 {846 attached: Set(),847 built: false,848 expecting: false,849 running: false,850 session: true,851 up: true852 }853 )854}855856[State 22]857{858 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),859 schedFixed::scheduler::crashes: 2,860 schedFixed::scheduler::entry:861 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],862 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),863 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),864 schedFixed::scheduler::mBuild: Set(),865 schedFixed::scheduler::mDone: Set(),866 schedFixed::scheduler::mExpect: Set("w1"),867 schedFixed::scheduler::mResult: Set(),868 schedFixed::scheduler::mRetry: Set(),869 schedFixed::scheduler::mSchedule: Set("c1"),870 schedFixed::scheduler::published: 0,871 schedFixed::scheduler::publishedBy: Set(),872 schedFixed::scheduler::ws:873 Map(874 "w1" ->875 {876 attached: Set(),877 built: false,878 expecting: false,879 running: false,880 session: true,881 up: true882 },883 "w2" ->884 {885 attached: Set(),886 built: false,887 expecting: false,888 running: false,889 session: true,890 up: true891 }892 )893}894895[State 23]896{897 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),898 schedFixed::scheduler::crashes: 2,899 schedFixed::scheduler::entry:900 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],901 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),902 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),903 schedFixed::scheduler::mBuild: Set(),904 schedFixed::scheduler::mDone: Set(),905 schedFixed::scheduler::mExpect: Set(),906 schedFixed::scheduler::mResult: Set(),907 schedFixed::scheduler::mRetry: Set(),908 schedFixed::scheduler::mSchedule: Set("c1"),909 schedFixed::scheduler::published: 0,910 schedFixed::scheduler::publishedBy: Set(),911 schedFixed::scheduler::ws:912 Map(913 "w1" ->914 {915 attached: Set(),916 built: false,917 expecting: true,918 running: true,919 session: true,920 up: true921 },922 "w2" ->923 {924 attached: Set(),925 built: false,926 expecting: false,927 running: false,928 session: true,929 up: true930 }931 )932}933934[State 24]935{936 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),937 schedFixed::scheduler::crashes: 2,938 schedFixed::scheduler::entry:939 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],940 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),941 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),942 schedFixed::scheduler::mBuild: Set(),943 schedFixed::scheduler::mDone: Set(),944 schedFixed::scheduler::mExpect: Set(),945 schedFixed::scheduler::mResult: Set(),946 schedFixed::scheduler::mRetry: Set(),947 schedFixed::scheduler::mSchedule: Set(),948 schedFixed::scheduler::published: 0,949 schedFixed::scheduler::publishedBy: Set(),950 schedFixed::scheduler::ws:951 Map(952 "w1" ->953 {954 attached: Set(),955 built: false,956 expecting: true,957 running: true,958 session: true,959 up: true960 },961 "w2" ->962 {963 attached: Set(),964 built: false,965 expecting: false,966 running: false,967 session: true,968 up: true969 }970 )971}972973[State 25]974{975 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),976 schedFixed::scheduler::crashes: 2,977 schedFixed::scheduler::entry:978 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],979 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),980 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),981 schedFixed::scheduler::mBuild: Set(("c1", "w1")),982 schedFixed::scheduler::mDone: Set(),983 schedFixed::scheduler::mExpect: Set(),984 schedFixed::scheduler::mResult: Set(),985 schedFixed::scheduler::mRetry: Set(),986 schedFixed::scheduler::mSchedule: Set(),987 schedFixed::scheduler::published: 0,988 schedFixed::scheduler::publishedBy: Set(),989 schedFixed::scheduler::ws:990 Map(991 "w1" ->992 {993 attached: Set(),994 built: false,995 expecting: true,996 running: true,997 session: true,998 up: true999 },1000 "w2" ->1001 {1002 attached: Set(),1003 built: false,1004 expecting: false,1005 running: false,1006 session: true,1007 up: true1008 }1009 )1010}10111012[State 26]1013{1014 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1015 schedFixed::scheduler::crashes: 2,1016 schedFixed::scheduler::entry:1017 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1018 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1019 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1020 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1021 schedFixed::scheduler::mDone: Set("w1"),1022 schedFixed::scheduler::mExpect: Set(),1023 schedFixed::scheduler::mResult: Set(),1024 schedFixed::scheduler::mRetry: Set(),1025 schedFixed::scheduler::mSchedule: Set(),1026 schedFixed::scheduler::published: 1,1027 schedFixed::scheduler::publishedBy: Set("w1"),1028 schedFixed::scheduler::ws:1029 Map(1030 "w1" ->1031 {1032 attached: Set(),1033 built: true,1034 expecting: false,1035 running: false,1036 session: true,1037 up: true1038 },1039 "w2" ->1040 {1041 attached: Set(),1042 built: false,1043 expecting: false,1044 running: false,1045 session: true,1046 up: true1047 }1048 )1049}10501051[State 27]1052{1053 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1054 schedFixed::scheduler::crashes: 2,1055 schedFixed::scheduler::entry:1056 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1057 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1058 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1059 schedFixed::scheduler::mBuild: Set(),1060 schedFixed::scheduler::mDone: Set("w1"),1061 schedFixed::scheduler::mExpect: Set(),1062 schedFixed::scheduler::mResult: Set("c1"),1063 schedFixed::scheduler::mRetry: Set(),1064 schedFixed::scheduler::mSchedule: Set(),1065 schedFixed::scheduler::published: 1,1066 schedFixed::scheduler::publishedBy: Set("w1"),1067 schedFixed::scheduler::ws:1068 Map(1069 "w1" ->1070 {1071 attached: Set(),1072 built: true,1073 expecting: false,1074 running: false,1075 session: true,1076 up: true1077 },1078 "w2" ->1079 {1080 attached: Set(),1081 built: false,1082 expecting: false,1083 running: false,1084 session: true,1085 up: true1086 }1087 )1088}10891090[State 28]1091{1092 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CQueued),1093 schedFixed::scheduler::crashes: 2,1094 schedFixed::scheduler::entry:1095 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1096 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1097 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1098 schedFixed::scheduler::mBuild: Set(),1099 schedFixed::scheduler::mDone: Set("w1"),1100 schedFixed::scheduler::mExpect: Set(),1101 schedFixed::scheduler::mResult: Set(),1102 schedFixed::scheduler::mRetry: Set(),1103 schedFixed::scheduler::mSchedule: Set(),1104 schedFixed::scheduler::published: 1,1105 schedFixed::scheduler::publishedBy: Set("w1"),1106 schedFixed::scheduler::ws:1107 Map(1108 "w1" ->1109 {1110 attached: Set(),1111 built: true,1112 expecting: false,1113 running: false,1114 session: true,1115 up: true1116 },1117 "w2" ->1118 {1119 attached: Set(),1120 built: false,1121 expecting: false,1122 running: false,1123 session: true,1124 up: true1125 }1126 )1127}11281129[State 29]1130{1131 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CQueued),1132 schedFixed::scheduler::crashes: 2,1133 schedFixed::scheduler::entry: [],1134 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1135 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1136 schedFixed::scheduler::mBuild: Set(),1137 schedFixed::scheduler::mDone: Set(),1138 schedFixed::scheduler::mExpect: Set(),1139 schedFixed::scheduler::mResult: Set(),1140 schedFixed::scheduler::mRetry: Set(),1141 schedFixed::scheduler::mSchedule: Set(),1142 schedFixed::scheduler::published: 1,1143 schedFixed::scheduler::publishedBy: Set("w1"),1144 schedFixed::scheduler::ws:1145 Map(1146 "w1" ->1147 {1148 attached: Set(),1149 built: true,1150 expecting: false,1151 running: false,1152 session: true,1153 up: true1154 },1155 "w2" ->1156 {1157 attached: Set(),1158 built: false,1159 expecting: false,1160 running: false,1161 session: true,1162 up: true1163 }1164 )1165}11661167[State 30]1168{1169 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w1")),1170 schedFixed::scheduler::crashes: 2,1171 schedFixed::scheduler::entry: [],1172 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1173 schedFixed::scheduler::mAssigned: Set(),1174 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1175 schedFixed::scheduler::mDone: Set(),1176 schedFixed::scheduler::mExpect: Set(),1177 schedFixed::scheduler::mResult: Set(),1178 schedFixed::scheduler::mRetry: Set(),1179 schedFixed::scheduler::mSchedule: Set(),1180 schedFixed::scheduler::published: 1,1181 schedFixed::scheduler::publishedBy: Set("w1"),1182 schedFixed::scheduler::ws:1183 Map(1184 "w1" ->1185 {1186 attached: Set(),1187 built: true,1188 expecting: false,1189 running: false,1190 session: true,1191 up: true1192 },1193 "w2" ->1194 {1195 attached: Set(),1196 built: false,1197 expecting: false,1198 running: false,1199 session: true,1200 up: true1201 }1202 )1203}12041205[ok] No violation found (17071ms at 1757 traces/second).1206Trace length statistics: max=31, min=14, average=18.461207You may increase --max-samples and --max-steps.1208Use --verbosity to produce more (or less) output.1209Use --seed=0xdcc8a8ec2b4faeed --backend=rust to reproduce.1210Running... [ ] 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... [■ ] 1% | ETA: 12s | 542/30000 samples | 2486 samples/sRunning... [■ ] 3% | ETA: 12s | 917/30000 samples | 2590 samples/sRunning... [■■ ] 4% | ETA: 12s | 1251/30000 samples | 2569 samples/sRunning... [■■ ] 5% | ETA: 11s | 1638/30000 samples | 2712 samples/sRunning... [■■■ ] 6% | ETA: 11s | 1963/30000 samples | 2753 samples/sRunning... [■■■ ] 6% | ETA: 11s | 1963/30000 samples | 2753 samples/sRunning... [■■■ ] 7% | ETA: 12s | 2200/30000 samples | 2428 samples/sRunning... [■■■ ] 8% | ETA: 12s | 2523/30000 samples | 2469 samples/sRunning... [■■■ ] 8% | ETA: 12s | 2523/30000 samples | 2469 samples/sRunning... [■■■■ ] 9% | ETA: 12s | 2891/30000 samples | 2411 samples/sRunning... [■■■■ ] 9% | ETA: 12s | 2891/30000 samples | 2411 samples/sRunning... [■■■■■ ] 11% | ETA: 12s | 3470/30000 samples | 2405 samples/sRunning... [■■■■■ ] 11% | ETA: 12s | 3470/30000 samples | 2405 samples/sRunning... [■■■■■ ] 12% | ETA: 12s | 3850/30000 samples | 2338 samples/sRunning... [■■■■■ ] 12% | ETA: 12s | 3850/30000 samples | 2338 samples/sRunning... [■■■■■ ] 13% | ETA: 12s | 4122/30000 samples | 2353 samples/sRunning... [■■■■■■ ] 16% | ETA: 10s | 4843/30000 samples | 2577 samples/sRunning... [■■■■■■■ ] 17% | ETA: 10s | 5284/30000 samples | 2613 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 10s | 5771/30000 samples | 2658 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 10s | 5771/30000 samples | 2658 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 10s | 6147/30000 samples | 2545 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 10s | 6481/30000 samples | 2543 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 10s | 6481/30000 samples | 2543 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 9s | 6810/30000 samples | 2506 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 9s | 7097/30000 samples | 2495 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 9s | 7097/30000 samples | 2495 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 9s | 7097/30000 samples | 2495 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 9s | 7638/30000 samples | 2469 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 9s | 8041/30000 samples | 2469 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 9s | 8041/30000 samples | 2469 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 10s | 8390/30000 samples | 2459 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 10s | 8753/30000 samples | 2447 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 10s | 8753/30000 samples | 2447 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 10s | 8753/30000 samples | 2447 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 10s | 9213/30000 samples | 2427 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 10s | 9213/30000 samples | 2427 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 10s | 9673/30000 samples | 2419 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 10s | 9974/30000 samples | 2411 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 10s | 9974/30000 samples | 2411 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 9s | 10471/30000 samples | 2388 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 9s | 10471/30000 samples | 2388 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 9s | 10888/30000 samples | 2385 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 9s | 11163/30000 samples | 2386 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 9s | 11163/30000 samples | 2386 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 9s | 11748/30000 samples | 2393 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 9s | 11748/30000 samples | 2393 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 9s | 11748/30000 samples | 2393 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 41% | ETA: 8s | 12301/30000 samples | 2390 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 41% | ETA: 8s | 12301/30000 samples | 2390 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 8s | 12964/30000 samples | 2402 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 8s | 12964/30000 samples | 2402 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 7s | 13538/30000 samples | 2411 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 7s | 13538/30000 samples | 2411 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 7s | 13842/30000 samples | 2411 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 7s | 14155/30000 samples | 2411 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 7s | 14489/30000 samples | 2418 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 7s | 14489/30000 samples | 2418 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 7s | 14825/30000 samples | 2412 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 6s | 15204/30000 samples | 2424 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 6s | 15463/30000 samples | 2427 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 6s | 15818/30000 samples | 2432 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 6s | 16109/30000 samples | 2430 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 6s | 16275/30000 samples | 2419 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 6s | 16275/30000 samples | 2419 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 6s | 16724/30000 samples | 2435 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 6s | 16724/30000 samples | 2435 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 5s | 17309/30000 samples | 2441 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 5s | 17309/30000 samples | 2441 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 5s | 17837/30000 samples | 2437 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 5s | 17837/30000 samples | 2437 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 5s | 18316/30000 samples | 2421 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 5s | 18316/30000 samples | 2421 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 5s | 18316/30000 samples | 2421 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 5s | 18891/30000 samples | 2417 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 5s | 18891/30000 samples | 2417 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 5s | 19187/30000 samples | 2406 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 5s | 19351/30000 samples | 2395 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 5s | 19351/30000 samples | 2395 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 5s | 19910/30000 samples | 2394 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 5s | 19910/30000 samples | 2394 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 67% | ETA: 5s | 20340/30000 samples | 2392 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 5s | 20666/30000 samples | 2384 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 69% | ETA: 5s | 20715/30000 samples | 2360 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 5s | 21127/30000 samples | 2374 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 5s | 21127/30000 samples | 2374 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 72% | ETA: 4s | 21687/30000 samples | 2380 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 72% | ETA: 4s | 21687/30000 samples | 2380 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 72% | ETA: 4s | 21793/30000 samples | 2363 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 4s | 22077/30000 samples | 2358 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 75% | ETA: 4s | 22633/30000 samples | 2392 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 3s | 22948/30000 samples | 2397 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 3s | 22948/30000 samples | 2397 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 3s | 23518/30000 samples | 2394 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 3s | 23518/30000 samples | 2394 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 3s | 23785/30000 samples | 2389 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 3s | 24213/30000 samples | 2387 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 3s | 24213/30000 samples | 2387 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 3s | 24480/30000 samples | 2387 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 3s | 24667/30000 samples | 2381 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 2s | 25082/30000 samples | 2384 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 2s | 25082/30000 samples | 2384 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 2s | 25669/30000 samples | 2384 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 2s | 25669/30000 samples | 2384 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 2s | 25978/30000 samples | 2384 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 2s | 26458/30000 samples | 2389 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 2s | 26458/30000 samples | 2389 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 2s | 26920/30000 samples | 2390 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 2s | 27194/30000 samples | 2393 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 2s | 27194/30000 samples | 2393 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 2s | 27505/30000 samples | 2396 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 1s | 27789/30000 samples | 2400 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 1s | 28352/30000 samples | 2408 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 28641/30000 samples | 2410 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 28641/30000 samples | 2410 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 28641/30000 samples | 2410 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29148/30000 samples | 2404 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 29412/30000 samples | 2402 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 29412/30000 samples | 2402 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 30000/30000 samples | 2412 samples/sAn example execution:12111212[State 0]1213{1214 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1215 schedFixed::scheduler::crashes: 0,1216 schedFixed::scheduler::entry: [],1217 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1218 schedFixed::scheduler::mAssigned: Set(),1219 schedFixed::scheduler::mBuild: Set(),1220 schedFixed::scheduler::mDone: Set(),1221 schedFixed::scheduler::mExpect: Set(),1222 schedFixed::scheduler::mResult: Set(),1223 schedFixed::scheduler::mRetry: Set(),1224 schedFixed::scheduler::mSchedule: Set(),1225 schedFixed::scheduler::published: 0,1226 schedFixed::scheduler::publishedBy: Set(),1227 schedFixed::scheduler::ws:1228 Map(1229 "w1" ->1230 {1231 attached: Set(),1232 built: false,1233 expecting: false,1234 running: false,1235 session: true,1236 up: true1237 },1238 "w2" ->1239 {1240 attached: Set(),1241 built: false,1242 expecting: false,1243 running: false,1244 session: true,1245 up: true1246 }1247 )1248}12491250[State 1]1251{1252 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1253 schedFixed::scheduler::crashes: 0,1254 schedFixed::scheduler::entry: [],1255 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1256 schedFixed::scheduler::mAssigned: Set(),1257 schedFixed::scheduler::mBuild: Set(),1258 schedFixed::scheduler::mDone: Set(),1259 schedFixed::scheduler::mExpect: Set(),1260 schedFixed::scheduler::mResult: Set(),1261 schedFixed::scheduler::mRetry: Set(),1262 schedFixed::scheduler::mSchedule: Set("c1"),1263 schedFixed::scheduler::published: 0,1264 schedFixed::scheduler::publishedBy: Set(),1265 schedFixed::scheduler::ws:1266 Map(1267 "w1" ->1268 {1269 attached: Set(),1270 built: false,1271 expecting: false,1272 running: false,1273 session: true,1274 up: true1275 },1276 "w2" ->1277 {1278 attached: Set(),1279 built: false,1280 expecting: false,1281 running: false,1282 session: true,1283 up: true1284 }1285 )1286}12871288[State 2]1289{1290 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1291 schedFixed::scheduler::crashes: 1,1292 schedFixed::scheduler::entry: [],1293 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1294 schedFixed::scheduler::mAssigned: Set(),1295 schedFixed::scheduler::mBuild: Set(),1296 schedFixed::scheduler::mDone: Set(),1297 schedFixed::scheduler::mExpect: Set(),1298 schedFixed::scheduler::mResult: Set(),1299 schedFixed::scheduler::mRetry: Set(),1300 schedFixed::scheduler::mSchedule: Set("c1"),1301 schedFixed::scheduler::published: 0,1302 schedFixed::scheduler::publishedBy: Set(),1303 schedFixed::scheduler::ws:1304 Map(1305 "w1" ->1306 {1307 attached: Set(),1308 built: false,1309 expecting: false,1310 running: false,1311 session: true,1312 up: true1313 },1314 "w2" ->1315 {1316 attached: Set(),1317 built: false,1318 expecting: false,1319 running: false,1320 session: false,1321 up: false1322 }1323 )1324}13251326[State 3]1327{1328 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1329 schedFixed::scheduler::crashes: 1,1330 schedFixed::scheduler::entry:1331 [{ followers: Set("c1"), leased: true, worker: "w1" }],1332 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1333 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1334 schedFixed::scheduler::mBuild: Set(),1335 schedFixed::scheduler::mDone: Set(),1336 schedFixed::scheduler::mExpect: Set("w1"),1337 schedFixed::scheduler::mResult: Set(),1338 schedFixed::scheduler::mRetry: Set(),1339 schedFixed::scheduler::mSchedule: Set(),1340 schedFixed::scheduler::published: 0,1341 schedFixed::scheduler::publishedBy: Set(),1342 schedFixed::scheduler::ws:1343 Map(1344 "w1" ->1345 {1346 attached: Set(),1347 built: false,1348 expecting: false,1349 running: false,1350 session: true,1351 up: true1352 },1353 "w2" ->1354 {1355 attached: Set(),1356 built: false,1357 expecting: false,1358 running: false,1359 session: false,1360 up: false1361 }1362 )1363}13641365[State 4]1366{1367 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1368 schedFixed::scheduler::crashes: 1,1369 schedFixed::scheduler::entry:1370 [{ followers: Set("c1"), leased: true, worker: "w1" }],1371 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1372 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1373 schedFixed::scheduler::mBuild: Set(),1374 schedFixed::scheduler::mDone: Set(),1375 schedFixed::scheduler::mExpect: Set("w1"),1376 schedFixed::scheduler::mResult: Set(),1377 schedFixed::scheduler::mRetry: Set(),1378 schedFixed::scheduler::mSchedule: Set(),1379 schedFixed::scheduler::published: 0,1380 schedFixed::scheduler::publishedBy: Set(),1381 schedFixed::scheduler::ws:1382 Map(1383 "w1" ->1384 {1385 attached: Set(),1386 built: false,1387 expecting: false,1388 running: false,1389 session: true,1390 up: true1391 },1392 "w2" ->1393 {1394 attached: Set(),1395 built: false,1396 expecting: false,1397 running: false,1398 session: true,1399 up: true1400 }1401 )1402}14031404[State 5]1405{1406 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1407 schedFixed::scheduler::crashes: 2,1408 schedFixed::scheduler::entry:1409 [{ followers: Set("c1"), leased: true, worker: "w1" }],1410 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1411 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1412 schedFixed::scheduler::mBuild: Set(),1413 schedFixed::scheduler::mDone: Set(),1414 schedFixed::scheduler::mExpect: Set(),1415 schedFixed::scheduler::mResult: Set(),1416 schedFixed::scheduler::mRetry: Set(),1417 schedFixed::scheduler::mSchedule: Set(),1418 schedFixed::scheduler::published: 0,1419 schedFixed::scheduler::publishedBy: Set(),1420 schedFixed::scheduler::ws:1421 Map(1422 "w1" ->1423 {1424 attached: Set(),1425 built: false,1426 expecting: false,1427 running: false,1428 session: false,1429 up: false1430 },1431 "w2" ->1432 {1433 attached: Set(),1434 built: false,1435 expecting: false,1436 running: false,1437 session: true,1438 up: true1439 }1440 )1441}14421443[State 6]1444{1445 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1446 schedFixed::scheduler::crashes: 2,1447 schedFixed::scheduler::entry:1448 [{ followers: Set("c1"), leased: true, worker: "w1" }],1449 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1450 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1451 schedFixed::scheduler::mBuild: Set(),1452 schedFixed::scheduler::mDone: Set(),1453 schedFixed::scheduler::mExpect: Set(),1454 schedFixed::scheduler::mResult: Set(),1455 schedFixed::scheduler::mRetry: Set(),1456 schedFixed::scheduler::mSchedule: Set("c2"),1457 schedFixed::scheduler::published: 0,1458 schedFixed::scheduler::publishedBy: Set(),1459 schedFixed::scheduler::ws:1460 Map(1461 "w1" ->1462 {1463 attached: Set(),1464 built: false,1465 expecting: false,1466 running: false,1467 session: false,1468 up: false1469 },1470 "w2" ->1471 {1472 attached: Set(),1473 built: false,1474 expecting: false,1475 running: false,1476 session: true,1477 up: true1478 }1479 )1480}14811482[State 7]1483{1484 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1485 schedFixed::scheduler::crashes: 2,1486 schedFixed::scheduler::entry:1487 [{ followers: Set("c1"), leased: true, worker: "w1" }],1488 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1489 schedFixed::scheduler::mAssigned: Set(),1490 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1491 schedFixed::scheduler::mDone: Set(),1492 schedFixed::scheduler::mExpect: Set(),1493 schedFixed::scheduler::mResult: Set(),1494 schedFixed::scheduler::mRetry: Set(),1495 schedFixed::scheduler::mSchedule: Set("c2"),1496 schedFixed::scheduler::published: 0,1497 schedFixed::scheduler::publishedBy: Set(),1498 schedFixed::scheduler::ws:1499 Map(1500 "w1" ->1501 {1502 attached: Set(),1503 built: false,1504 expecting: false,1505 running: false,1506 session: false,1507 up: false1508 },1509 "w2" ->1510 {1511 attached: Set(),1512 built: false,1513 expecting: false,1514 running: false,1515 session: true,1516 up: true1517 }1518 )1519}15201521[State 8]1522{1523 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1524 schedFixed::scheduler::crashes: 2,1525 schedFixed::scheduler::entry:1526 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1527 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1528 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1529 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1530 schedFixed::scheduler::mDone: Set(),1531 schedFixed::scheduler::mExpect: Set(),1532 schedFixed::scheduler::mResult: Set(),1533 schedFixed::scheduler::mRetry: Set(),1534 schedFixed::scheduler::mSchedule: Set(),1535 schedFixed::scheduler::published: 0,1536 schedFixed::scheduler::publishedBy: Set(),1537 schedFixed::scheduler::ws:1538 Map(1539 "w1" ->1540 {1541 attached: Set(),1542 built: false,1543 expecting: false,1544 running: false,1545 session: false,1546 up: false1547 },1548 "w2" ->1549 {1550 attached: Set(),1551 built: false,1552 expecting: false,1553 running: false,1554 session: true,1555 up: true1556 }1557 )1558}15591560[State 9]1561{1562 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1563 schedFixed::scheduler::crashes: 2,1564 schedFixed::scheduler::entry: [],1565 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1566 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1567 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1568 schedFixed::scheduler::mDone: Set(),1569 schedFixed::scheduler::mExpect: Set(),1570 schedFixed::scheduler::mResult: Set(),1571 schedFixed::scheduler::mRetry: Set("c1", "c2"),1572 schedFixed::scheduler::mSchedule: Set(),1573 schedFixed::scheduler::published: 0,1574 schedFixed::scheduler::publishedBy: Set(),1575 schedFixed::scheduler::ws:1576 Map(1577 "w1" ->1578 {1579 attached: Set(),1580 built: false,1581 expecting: false,1582 running: false,1583 session: false,1584 up: false1585 },1586 "w2" ->1587 {1588 attached: Set(),1589 built: false,1590 expecting: false,1591 running: false,1592 session: true,1593 up: true1594 }1595 )1596}15971598[State 10]1599{1600 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1601 schedFixed::scheduler::crashes: 2,1602 schedFixed::scheduler::entry: [],1603 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1604 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1605 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1606 schedFixed::scheduler::mDone: Set(),1607 schedFixed::scheduler::mExpect: Set(),1608 schedFixed::scheduler::mResult: Set(),1609 schedFixed::scheduler::mRetry: Set("c2"),1610 schedFixed::scheduler::mSchedule: Set("c1"),1611 schedFixed::scheduler::published: 0,1612 schedFixed::scheduler::publishedBy: Set(),1613 schedFixed::scheduler::ws:1614 Map(1615 "w1" ->1616 {1617 attached: Set(),1618 built: false,1619 expecting: false,1620 running: false,1621 session: false,1622 up: false1623 },1624 "w2" ->1625 {1626 attached: Set(),1627 built: false,1628 expecting: false,1629 running: false,1630 session: true,1631 up: true1632 }1633 )1634}16351636[State 11]1637{1638 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1639 schedFixed::scheduler::crashes: 2,1640 schedFixed::scheduler::entry: [],1641 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1642 schedFixed::scheduler::mAssigned: Set(),1643 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1644 schedFixed::scheduler::mDone: Set(),1645 schedFixed::scheduler::mExpect: Set(),1646 schedFixed::scheduler::mResult: Set(),1647 schedFixed::scheduler::mRetry: Set(),1648 schedFixed::scheduler::mSchedule: Set("c1", "c2"),1649 schedFixed::scheduler::published: 0,1650 schedFixed::scheduler::publishedBy: Set(),1651 schedFixed::scheduler::ws:1652 Map(1653 "w1" ->1654 {1655 attached: Set(),1656 built: false,1657 expecting: false,1658 running: false,1659 session: false,1660 up: false1661 },1662 "w2" ->1663 {1664 attached: Set(),1665 built: false,1666 expecting: false,1667 running: false,1668 session: true,1669 up: true1670 }1671 )1672}16731674[State 12]1675{1676 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1677 schedFixed::scheduler::crashes: 2,1678 schedFixed::scheduler::entry:1679 [{ followers: Set("c2"), leased: true, worker: "w2" }],1680 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1681 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),1682 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1683 schedFixed::scheduler::mDone: Set(),1684 schedFixed::scheduler::mExpect: Set("w2"),1685 schedFixed::scheduler::mResult: Set(),1686 schedFixed::scheduler::mRetry: Set(),1687 schedFixed::scheduler::mSchedule: Set("c1"),1688 schedFixed::scheduler::published: 0,1689 schedFixed::scheduler::publishedBy: Set(),1690 schedFixed::scheduler::ws:1691 Map(1692 "w1" ->1693 {1694 attached: Set(),1695 built: false,1696 expecting: false,1697 running: false,1698 session: false,1699 up: false1700 },1701 "w2" ->1702 {1703 attached: Set(),1704 built: false,1705 expecting: false,1706 running: false,1707 session: true,1708 up: true1709 }1710 )1711}17121713[State 13]1714{1715 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1716 schedFixed::scheduler::crashes: 2,1717 schedFixed::scheduler::entry:1718 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1719 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1720 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),1721 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1722 schedFixed::scheduler::mDone: Set(),1723 schedFixed::scheduler::mExpect: Set("w2"),1724 schedFixed::scheduler::mResult: Set(),1725 schedFixed::scheduler::mRetry: Set(),1726 schedFixed::scheduler::mSchedule: Set(),1727 schedFixed::scheduler::published: 0,1728 schedFixed::scheduler::publishedBy: Set(),1729 schedFixed::scheduler::ws:1730 Map(1731 "w1" ->1732 {1733 attached: Set(),1734 built: false,1735 expecting: false,1736 running: false,1737 session: false,1738 up: false1739 },1740 "w2" ->1741 {1742 attached: Set(),1743 built: false,1744 expecting: false,1745 running: false,1746 session: true,1747 up: true1748 }1749 )1750}17511752[State 14]1753{1754 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1755 schedFixed::scheduler::crashes: 2,1756 schedFixed::scheduler::entry:1757 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1758 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1759 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),1760 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w2")),1761 schedFixed::scheduler::mDone: Set(),1762 schedFixed::scheduler::mExpect: Set("w2"),1763 schedFixed::scheduler::mResult: Set(),1764 schedFixed::scheduler::mRetry: Set(),1765 schedFixed::scheduler::mSchedule: Set(),1766 schedFixed::scheduler::published: 0,1767 schedFixed::scheduler::publishedBy: Set(),1768 schedFixed::scheduler::ws:1769 Map(1770 "w1" ->1771 {1772 attached: Set(),1773 built: false,1774 expecting: false,1775 running: false,1776 session: false,1777 up: false1778 },1779 "w2" ->1780 {1781 attached: Set(),1782 built: false,1783 expecting: false,1784 running: false,1785 session: true,1786 up: true1787 }1788 )1789}17901791[State 15]1792{1793 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1794 schedFixed::scheduler::crashes: 2,1795 schedFixed::scheduler::entry:1796 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1797 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1798 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),1799 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w2")),1800 schedFixed::scheduler::mDone: Set(),1801 schedFixed::scheduler::mExpect: Set("w2"),1802 schedFixed::scheduler::mResult: Set(),1803 schedFixed::scheduler::mRetry: Set(),1804 schedFixed::scheduler::mSchedule: Set(),1805 schedFixed::scheduler::published: 0,1806 schedFixed::scheduler::publishedBy: Set(),1807 schedFixed::scheduler::ws:1808 Map(1809 "w1" ->1810 {1811 attached: Set(),1812 built: false,1813 expecting: false,1814 running: false,1815 session: true,1816 up: true1817 },1818 "w2" ->1819 {1820 attached: Set(),1821 built: false,1822 expecting: false,1823 running: false,1824 session: true,1825 up: true1826 }1827 )1828}18291830[State 16]1831{1832 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1833 schedFixed::scheduler::crashes: 2,1834 schedFixed::scheduler::entry:1835 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1836 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1837 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),1838 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1839 schedFixed::scheduler::mDone: Set(),1840 schedFixed::scheduler::mExpect: Set("w2"),1841 schedFixed::scheduler::mResult: Set(),1842 schedFixed::scheduler::mRetry: Set("c2"),1843 schedFixed::scheduler::mSchedule: Set(),1844 schedFixed::scheduler::published: 0,1845 schedFixed::scheduler::publishedBy: Set(),1846 schedFixed::scheduler::ws:1847 Map(1848 "w1" ->1849 {1850 attached: Set(),1851 built: false,1852 expecting: false,1853 running: false,1854 session: true,1855 up: true1856 },1857 "w2" ->1858 {1859 attached: Set(),1860 built: false,1861 expecting: false,1862 running: false,1863 session: true,1864 up: true1865 }1866 )1867}18681869[State 17]1870{1871 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1872 schedFixed::scheduler::crashes: 2,1873 schedFixed::scheduler::entry:1874 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1875 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1876 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),1877 schedFixed::scheduler::mBuild: Set(),1878 schedFixed::scheduler::mDone: Set(),1879 schedFixed::scheduler::mExpect: Set("w2"),1880 schedFixed::scheduler::mResult: Set(),1881 schedFixed::scheduler::mRetry: Set("c1", "c2"),1882 schedFixed::scheduler::mSchedule: Set(),1883 schedFixed::scheduler::published: 0,1884 schedFixed::scheduler::publishedBy: Set(),1885 schedFixed::scheduler::ws:1886 Map(1887 "w1" ->1888 {1889 attached: Set(),1890 built: false,1891 expecting: false,1892 running: false,1893 session: true,1894 up: true1895 },1896 "w2" ->1897 {1898 attached: Set(),1899 built: false,1900 expecting: false,1901 running: false,1902 session: true,1903 up: true1904 }1905 )1906}19071908[State 18]1909{1910 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1911 schedFixed::scheduler::crashes: 2,1912 schedFixed::scheduler::entry:1913 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1914 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1915 schedFixed::scheduler::mAssigned: Set(),1916 schedFixed::scheduler::mBuild: Set(),1917 schedFixed::scheduler::mDone: Set(),1918 schedFixed::scheduler::mExpect: Set("w2"),1919 schedFixed::scheduler::mResult: Set(),1920 schedFixed::scheduler::mRetry: Set("c2"),1921 schedFixed::scheduler::mSchedule: Set("c1"),1922 schedFixed::scheduler::published: 0,1923 schedFixed::scheduler::publishedBy: Set(),1924 schedFixed::scheduler::ws:1925 Map(1926 "w1" ->1927 {1928 attached: Set(),1929 built: false,1930 expecting: false,1931 running: false,1932 session: true,1933 up: true1934 },1935 "w2" ->1936 {1937 attached: Set(),1938 built: false,1939 expecting: false,1940 running: false,1941 session: true,1942 up: true1943 }1944 )1945}19461947[State 19]1948{1949 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1950 schedFixed::scheduler::crashes: 2,1951 schedFixed::scheduler::entry:1952 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1953 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1954 schedFixed::scheduler::mAssigned: Set(),1955 schedFixed::scheduler::mBuild: Set(),1956 schedFixed::scheduler::mDone: Set(),1957 schedFixed::scheduler::mExpect: Set(),1958 schedFixed::scheduler::mResult: Set(),1959 schedFixed::scheduler::mRetry: Set("c2"),1960 schedFixed::scheduler::mSchedule: Set("c1"),1961 schedFixed::scheduler::published: 0,1962 schedFixed::scheduler::publishedBy: Set(),1963 schedFixed::scheduler::ws:1964 Map(1965 "w1" ->1966 {1967 attached: Set(),1968 built: false,1969 expecting: false,1970 running: false,1971 session: true,1972 up: true1973 },1974 "w2" ->1975 {1976 attached: Set(),1977 built: false,1978 expecting: true,1979 running: true,1980 session: true,1981 up: true1982 }1983 )1984}19851986[State 20]1987{1988 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1989 schedFixed::scheduler::crashes: 2,1990 schedFixed::scheduler::entry:1991 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1992 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1993 schedFixed::scheduler::mAssigned: Set(),1994 schedFixed::scheduler::mBuild: Set(),1995 schedFixed::scheduler::mDone: Set(),1996 schedFixed::scheduler::mExpect: Set(),1997 schedFixed::scheduler::mResult: Set(),1998 schedFixed::scheduler::mRetry: Set(),1999 schedFixed::scheduler::mSchedule: Set("c1", "c2"),2000 schedFixed::scheduler::published: 0,2008 expecting: false,2009 running: false,2010 session: true,2011 up: true2012 },2013 "w2" ->2014 {2015 attached: Set(),2016 built: false,2017 expecting: true,2018 running: true,2019 session: true,2020 up: true2021 }2022 )2023}20242025[State 21]2026{2027 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2028 schedFixed::scheduler::crashes: 2,2029 schedFixed::scheduler::entry:2030 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2031 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),2032 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),2033 schedFixed::scheduler::mBuild: Set(),2034 schedFixed::scheduler::mDone: Set(),2035 schedFixed::scheduler::mExpect: Set(),2036 schedFixed::scheduler::mResult: Set(),2037 schedFixed::scheduler::mRetry: Set(),2038 schedFixed::scheduler::mSchedule: Set("c2"),2039 schedFixed::scheduler::published: 0,2040 schedFixed::scheduler::publishedBy: Set(),2041 schedFixed::scheduler::ws:2042 Map(2043 "w1" ->2044 {2045 attached: Set(),2046 built: false,2047 expecting: false,2048 running: false,2049 session: true,2050 up: true2051 },2052 "w2" ->2053 {2054 attached: Set(),2055 built: false,2056 expecting: true,2057 running: true,2058 session: true,2059 up: true2060 }2061 )2062}20632064[State 22]2065{2066 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2067 schedFixed::scheduler::crashes: 2,2068 schedFixed::scheduler::entry:2069 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2070 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),2071 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),2072 schedFixed::scheduler::mBuild: Set(),2073 schedFixed::scheduler::mDone: Set(),2074 schedFixed::scheduler::mExpect: Set(),2075 schedFixed::scheduler::mResult: Set(),2076 schedFixed::scheduler::mRetry: Set(),2077 schedFixed::scheduler::mSchedule: Set(),2078 schedFixed::scheduler::published: 0,2079 schedFixed::scheduler::publishedBy: Set(),2080 schedFixed::scheduler::ws:2081 Map(2082 "w1" ->2083 {2084 attached: Set(),2085 built: false,2086 expecting: false,2087 running: false,2088 session: true,2089 up: true2090 },2091 "w2" ->2092 {2093 attached: Set(),2094 built: false,2095 expecting: true,2096 running: true,2097 session: true,2098 up: true2099 }2100 )2101}21022103[State 23]2104{2105 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),2106 schedFixed::scheduler::crashes: 2,2107 schedFixed::scheduler::entry:2108 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2109 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),2110 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),2111 schedFixed::scheduler::mBuild: Set(("c2", "w2")),2112 schedFixed::scheduler::mDone: Set(),2113 schedFixed::scheduler::mExpect: Set(),2114 schedFixed::scheduler::mResult: Set(),2115 schedFixed::scheduler::mRetry: Set(),2116 schedFixed::scheduler::mSchedule: Set(),2117 schedFixed::scheduler::published: 0,2118 schedFixed::scheduler::publishedBy: Set(),2119 schedFixed::scheduler::ws:2120 Map(2121 "w1" ->2122 {2123 attached: Set(),2124 built: false,2125 expecting: false,2126 running: false,2127 session: true,2128 up: true2129 },2130 "w2" ->2131 {2132 attached: Set(),2133 built: false,2134 expecting: true,2135 running: true,2136 session: true,2137 up: true2138 }2139 )2140}21412142[State 24]2143{2144 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),2145 schedFixed::scheduler::crashes: 2,2146 schedFixed::scheduler::entry:2147 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2148 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),2149 schedFixed::scheduler::mAssigned: Set(),2150 schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),2151 schedFixed::scheduler::mDone: Set(),2152 schedFixed::scheduler::mExpect: Set(),2153 schedFixed::scheduler::mResult: Set(),2154 schedFixed::scheduler::mRetry: Set(),2155 schedFixed::scheduler::mSchedule: Set(),2156 schedFixed::scheduler::published: 0,2157 schedFixed::scheduler::publishedBy: Set(),2158 schedFixed::scheduler::ws:2159 Map(2160 "w1" ->2161 {2162 attached: Set(),2163 built: false,2164 expecting: false,2165 running: false,2166 session: true,2167 up: true2168 },2169 "w2" ->2170 {2171 attached: Set(),2172 built: false,2173 expecting: true,2174 running: true,2175 session: true,2176 up: true2177 }2178 )2179}21802181[State 25]2182{2183 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),2184 schedFixed::scheduler::crashes: 2,2185 schedFixed::scheduler::entry:2186 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2187 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),2188 schedFixed::scheduler::mAssigned: Set(),2189 schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),2190 schedFixed::scheduler::mDone: Set("w2"),2191 schedFixed::scheduler::mExpect: Set(),2192 schedFixed::scheduler::mResult: Set(),2193 schedFixed::scheduler::mRetry: Set(),2194 schedFixed::scheduler::mSchedule: Set(),2195 schedFixed::scheduler::published: 1,2196 schedFixed::scheduler::publishedBy: Set("w2"),2197 schedFixed::scheduler::ws:2198 Map(2199 "w1" ->2200 {2201 attached: Set(),2202 built: false,2203 expecting: false,2204 running: false,2205 session: true,2206 up: true2207 },2208 "w2" ->2209 {2210 attached: Set(),2211 built: true,2212 expecting: false,2213 running: false,2214 session: true,2215 up: true2216 }2217 )2218}22192220[State 26]2221{2222 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),2223 schedFixed::scheduler::crashes: 2,2224 schedFixed::scheduler::entry: [],2225 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),2226 schedFixed::scheduler::mAssigned: Set(),2227 schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),2228 schedFixed::scheduler::mDone: Set(),2229 schedFixed::scheduler::mExpect: Set(),2230 schedFixed::scheduler::mResult: Set(),2231 schedFixed::scheduler::mRetry: Set(),2232 schedFixed::scheduler::mSchedule: Set(),2233 schedFixed::scheduler::published: 1,2234 schedFixed::scheduler::publishedBy: Set("w2"),2235 schedFixed::scheduler::ws:2236 Map(2237 "w1" ->2238 {2239 attached: Set(),2240 built: false,2241 expecting: false,2242 running: false,2243 session: true,2244 up: true2245 },2246 "w2" ->2247 {2248 attached: Set(),2249 built: true,2250 expecting: false,2251 running: false,2252 session: true,2253 up: true2254 }2255 )2256}22572258[State 27]2259{2260 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),2261 schedFixed::scheduler::crashes: 2,2262 schedFixed::scheduler::entry: [],2263 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),2264 schedFixed::scheduler::mAssigned: Set(),2265 schedFixed::scheduler::mBuild: Set(("c2", "w2")),2266 schedFixed::scheduler::mDone: Set(),2267 schedFixed::scheduler::mExpect: Set(),2268 schedFixed::scheduler::mResult: Set("c1"),2269 schedFixed::scheduler::mRetry: Set(),2270 schedFixed::scheduler::mSchedule: Set(),2271 schedFixed::scheduler::published: 1,2272 schedFixed::scheduler::publishedBy: Set("w2"),2273 schedFixed::scheduler::ws:2274 Map(2275 "w1" ->2276 {2277 attached: Set(),2278 built: false,2279 expecting: false,2280 running: false,2281 session: true,2282 up: true2283 },2284 "w2" ->2285 {2286 attached: Set(),2287 built: true,2288 expecting: false,2289 running: false,2290 session: true,2291 up: true2292 }2293 )2294}22952296[State 28]2297{2298 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")),2299 schedFixed::scheduler::crashes: 2,2300 schedFixed::scheduler::entry: [],2301 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),2302 schedFixed::scheduler::mAssigned: Set(),2303 schedFixed::scheduler::mBuild: Set(("c2", "w2")),2304 schedFixed::scheduler::mDone: Set(),2305 schedFixed::scheduler::mExpect: Set(),2306 schedFixed::scheduler::mResult: Set(),2307 schedFixed::scheduler::mRetry: Set(),2308 schedFixed::scheduler::mSchedule: Set(),2309 schedFixed::scheduler::published: 1,2310 schedFixed::scheduler::publishedBy: Set("w2"),2311 schedFixed::scheduler::ws:2312 Map(2313 "w1" ->2314 {2315 attached: Set(),2316 built: false,2317 expecting: false,2318 running: false,2319 session: true,2320 up: true2321 },2322 "w2" ->2323 {2324 attached: Set(),2325 built: true,2326 expecting: false,2327 running: false,2328 session: true,2329 up: true2330 }2331 )2332}23332334[State 29]2335{2336 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")),2337 schedFixed::scheduler::crashes: 2,2338 schedFixed::scheduler::entry: [],2339 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),2340 schedFixed::scheduler::mAssigned: Set(),2341 schedFixed::scheduler::mBuild: Set(),2342 schedFixed::scheduler::mDone: Set(),2343 schedFixed::scheduler::mExpect: Set(),2344 schedFixed::scheduler::mResult: Set("c2"),2345 schedFixed::scheduler::mRetry: Set(),2346 schedFixed::scheduler::mSchedule: Set(),2347 schedFixed::scheduler::published: 1,2348 schedFixed::scheduler::publishedBy: Set("w2"),2349 schedFixed::scheduler::ws:2350 Map(2351 "w1" ->2352 {2353 attached: Set(),2354 built: false,2355 expecting: false,2356 running: false,2357 session: true,2358 up: true2359 },2360 "w2" ->2361 {2362 attached: Set(),2363 built: true,2364 expecting: false,2365 running: false,2366 session: true,2367 up: true2368 }2369 )2370}23712372[State 30]2373{2374 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),2375 schedFixed::scheduler::crashes: 2,2376 schedFixed::scheduler::entry: [],2377 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),2378 schedFixed::scheduler::mAssigned: Set(),2379 schedFixed::scheduler::mBuild: Set(),2380 schedFixed::scheduler::mDone: Set(),2381 schedFixed::scheduler::mExpect: Set(),2382 schedFixed::scheduler::mResult: Set(),2383 schedFixed::scheduler::mRetry: Set(),2384 schedFixed::scheduler::mSchedule: Set(),2385 schedFixed::scheduler::published: 1,2386 schedFixed::scheduler::publishedBy: Set("w2"),2387 schedFixed::scheduler::ws:2388 Map(2389 "w1" ->2390 {2391 attached: Set(),2392 built: false,2393 expecting: false,2394 running: false,2395 session: true,2396 up: true2397 },2398 "w2" ->2399 {2400 attached: Set(),2401 built: true,2402 expecting: false,2403 running: false,2404 session: true,2405 up: true2406 }2407 )2408}24092410[ok] No violation found (12489ms at 2402 traces/second).2411Trace length statistics: max=31, min=16, average=19.142412You may increase --max-samples and --max-steps.2413Use --verbosity to produce more (or less) output.2414Use --seed=0xa8285b40ae7ae418 --backend=rust to reproduce.2415Running... [ ] 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... [■ ] 1% | ETA: 19s | 536/30000 samples | 1654 samples/sRunning... [■ ] 1% | ETA: 19s | 536/30000 samples | 1654 samples/sRunning... [■ ] 1% | ETA: 19s | 536/30000 samples | 1654 samples/sRunning... [■ ] 2% | ETA: 19s | 826/30000 samples | 1556 samples/sRunning... [■ ] 3% | ETA: 18s | 1051/30000 samples | 1658 samples/sRunning... [■ ] 3% | ETA: 18s | 1051/30000 samples | 1658 samples/sRunning... [■■ ] 4% | ETA: 21s | 1250/30000 samples | 1420 samples/sRunning... [■■ ] 4% | ETA: 21s | 1393/30000 samples | 1420 samples/sRunning... [■■ ] 5% | ETA: 20s | 1589/30000 samples | 1466 samples/sRunning... [■■ ] 5% | ETA: 20s | 1710/30000 samples | 1442 samples/sRunning... [■■ ] 6% | ETA: 20s | 1868/30000 samples | 1449 samples/sRunning... [■■ ] 6% | ETA: 20s | 1868/30000 samples | 1449 samples/sRunning... [■■■ ] 7% | ETA: 20s | 2242/30000 samples | 1462 samples/sRunning... [■■■ ] 7% | ETA: 20s | 2242/30000 samples | 1462 samples/sRunning... [■■■ ] 8% | ETA: 20s | 2484/30000 samples | 1455 samples/sRunning... [■■■■ ] 8% | ETA: 20s | 2648/30000 samples | 1465 samples/sRunning... [■■■■ ] 9% | ETA: 20s | 2842/30000 samples | 1483 samples/sRunning... [■■■■ ] 9% | ETA: 20s | 2842/30000 samples | 1483 samples/sRunning... [■■■■ ] 10% | ETA: 18s | 3135/30000 samples | 1464 samples/sRunning... [■■■■■ ] 11% | ETA: 18s | 3394/30000 samples | 1482 samples/sRunning... [■■■■■ ] 11% | ETA: 18s | 3394/30000 samples | 1482 samples/sRunning... [■■■■■ ] 12% | ETA: 18s | 3615/30000 samples | 1480 samples/sRunning... [■■■■■ ] 12% | ETA: 18s | 3806/30000 samples | 1474 samples/sRunning... [■■■■■ ] 13% | ETA: 18s | 3970/30000 samples | 1472 samples/sRunning... [■■■■■■ ] 13% | ETA: 18s | 4168/30000 samples | 1483 samples/sRunning... [■■■■■■ ] 13% | ETA: 18s | 4168/30000 samples | 1483 samples/sRunning... [■■■■■■ ] 14% | ETA: 17s | 4383/30000 samples | 1489 samples/sRunning... [■■■■■■ ] 15% | ETA: 17s | 4546/30000 samples | 1488 samples/sRunning... [■■■■■■ ] 15% | ETA: 17s | 4546/30000 samples | 1488 samples/sRunning... [■■■■■■ ] 16% | ETA: 17s | 4801/30000 samples | 1489 samples/sRunning... [■■■■■■■ ] 16% | ETA: 17s | 4953/30000 samples | 1490 samples/sRunning... [■■■■■■■ ] 16% | ETA: 17s | 4953/30000 samples | 1490 samples/sRunning... [■■■■■■■ ] 17% | ETA: 17s | 5298/30000 samples | 1500 samples/sRunning... [■■■■■■■■ ] 18% | ETA: 16s | 5631/30000 samples | 1510 samples/sRunning... [■■■■■■■■ ] 18% | ETA: 16s | 5631/30000 samples | 1510 samples/sRunning... [■■■■■■■■ ] 18% | ETA: 16s | 5631/30000 samples | 1510 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 16s | 5982/30000 samples | 1506 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 16s | 5982/30000 samples | 1506 samples/sRunning... [■■■■■■■■ ] 21% | ETA: 16s | 6331/30000 samples | 1508 samples/sRunning... [■■■■■■■■ ] 21% | ETA: 16s | 6331/30000 samples | 1508 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 16s | 6556/30000 samples | 1510 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 16s | 6556/30000 samples | 1510 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 15s | 6916/30000 samples | 1509 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 15s | 7050/30000 samples | 1506 samples/sRunning... [■■■■■■■■■■ ] 23% | ETA: 16s | 7160/30000 samples | 1494 samples/sRunning... [■■■■■■■■■■ ] 23% | ETA: 16s | 7160/30000 samples | 1494 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 16s | 7382/30000 samples | 1490 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 16s | 7547/30000 samples | 1481 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 17s | 7689/30000 samples | 1477 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 17s | 7689/30000 samples | 1477 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 17s | 7950/30000 samples | 1467 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 17s | 7950/30000 samples | 1467 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 17s | 7950/30000 samples | 1467 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 17s | 8254/30000 samples | 1456 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 18s | 8368/30000 samples | 1450 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 18s | 8368/30000 samples | 1450 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 19s | 8564/30000 samples | 1425 samples/sRunning... [■■■■■■■■■■■■ ] 28% | ETA: 19s | 8677/30000 samples | 1419 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 19s | 8856/30000 samples | 1413 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 19s | 8856/30000 samples | 1413 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 19s | 8856/30000 samples | 1413 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 19s | 9095/30000 samples | 1404 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 19s | 9252/30000 samples | 1404 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 19s | 9252/30000 samples | 1404 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 18s | 9570/30000 samples | 1401 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 18s | 9570/30000 samples | 1401 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 18s | 9893/30000 samples | 1397 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 18s | 9893/30000 samples | 1397 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 17s | 10076/30000 samples | 1398 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 17s | 10287/30000 samples | 1402 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 17s | 10287/30000 samples | 1402 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 15s | 10621/30000 samples | 1400 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 15s | 10733/30000 samples | 1395 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 15s | 10733/30000 samples | 1395 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 15s | 10733/30000 samples | 1395 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 15s | 11060/30000 samples | 1399 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 15s | 11060/30000 samples | 1399 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 14s | 11325/30000 samples | 1396 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 14s | 11480/30000 samples | 1393 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 14s | 11592/30000 samples | 1386 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 15s | 11705/30000 samples | 1380 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 15s | 11847/30000 samples | 1375 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 15s | 11847/30000 samples | 1375 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 15s | 11847/30000 samples | 1375 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 16s | 12056/30000 samples | 1364 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 16s | 12204/30000 samples | 1365 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 41% | ETA: 15s | 12349/30000 samples | 1366 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 41% | ETA: 15s | 12349/30000 samples | 1366 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 43% | ETA: 11s | 13199/30000 samples | 1426 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 11s | 13296/30000 samples | 1421 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 11s | 13296/30000 samples | 1421 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 11s | 13502/30000 samples | 1409 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 12s | 13573/30000 samples | 1400 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 11s | 13756/30000 samples | 1399 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 11s | 13891/30000 samples | 1395 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 11s | 13988/30000 samples | 1389 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 11s | 13988/30000 samples | 1389 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 11s | 14065/30000 samples | 1381 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 11s | 14065/30000 samples | 1381 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 11s | 14278/30000 samples | 1374 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 11s | 14278/30000 samples | 1374 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 18s | 14400/30000 samples | 1361 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 18s | 14400/30000 samples | 1361 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 18s | 14538/30000 samples | 1347 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 18s | 14538/30000 samples | 1347 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 19s | 14679/30000 samples | 1335 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 19s | 14747/30000 samples | 1330 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 20s | 14837/30000 samples | 1326 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 20s | 14837/30000 samples | 1326 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 20s | 14997/30000 samples | 1316 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 19s | 15161/30000 samples | 1311 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 19s | 15161/30000 samples | 1311 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 19s | 15297/30000 samples | 1303 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 19s | 15408/30000 samples | 1300 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 19s | 15471/30000 samples | 1293 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 19s | 15549/30000 samples | 1288 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 19s | 15549/30000 samples | 1288 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 18s | 15667/30000 samples | 1282 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 18s | 15773/30000 samples | 1278 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 18s | 15848/30000 samples | 1272 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 18s | 15944/30000 samples | 1266 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 18s | 15944/30000 samples | 1266 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 19s | 16058/30000 samples | 1261 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 19s | 16058/30000 samples | 1261 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 18s | 16252/30000 samples | 1254 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 18s | 16394/30000 samples | 1253 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 17s | 16487/30000 samples | 1249 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 17s | 16487/30000 samples | 1249 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 17s | 16487/30000 samples | 1249 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 16s | 16716/30000 samples | 1243 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 16s | 16809/30000 samples | 1240 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 16s | 16912/30000 samples | 1234 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 16s | 16992/30000 samples | 1230 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 16s | 16992/30000 samples | 1230 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 16s | 16992/30000 samples | 1230 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 16s | 17178/30000 samples | 1222 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 16s | 17178/30000 samples | 1222 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 15s | 17355/30000 samples | 1218 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 15s | 17506/30000 samples | 1212 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 15s | 17506/30000 samples | 1212 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 15s | 17506/30000 samples | 1212 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 15s | 17711/30000 samples | 1206 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 15s | 17711/30000 samples | 1206 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 16s | 17802/30000 samples | 1197 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 16s | 17802/30000 samples | 1197 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 17s | 17883/30000 samples | 1187 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 18s | 17915/30000 samples | 1182 samples/sAn example execution:24162417[State 0]2418{2419 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2420 schedNoFence::scheduler::crashes: 0,2421 schedNoFence::scheduler::entry: [],2422 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2423 schedNoFence::scheduler::mAssigned: Set(),2424 schedNoFence::scheduler::mBuild: Set(),2425 schedNoFence::scheduler::mDone: Set(),2426 schedNoFence::scheduler::mExpect: Set(),2427 schedNoFence::scheduler::mResult: Set(),2428 schedNoFence::scheduler::mRetry: Set(),2429 schedNoFence::scheduler::mSchedule: Set(),2430 schedNoFence::scheduler::published: 0,2431 schedNoFence::scheduler::publishedBy: Set(),2432 schedNoFence::scheduler::ws:2433 Map(2434 "w1" ->2435 {2436 attached: Set(),2437 built: false,2438 expecting: false,2439 running: false,2440 session: true,2441 up: true2442 },2443 "w2" ->2444 {2445 attached: Set(),2446 built: false,2447 expecting: false,2448 running: false,2449 session: true,2450 up: true2451 }2452 )2453}24542455[State 1]2456{2457 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2458 schedNoFence::scheduler::crashes: 1,2459 schedNoFence::scheduler::entry: [],2460 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2461 schedNoFence::scheduler::mAssigned: Set(),2462 schedNoFence::scheduler::mBuild: Set(),2463 schedNoFence::scheduler::mDone: Set(),2464 schedNoFence::scheduler::mExpect: Set(),2465 schedNoFence::scheduler::mResult: Set(),2466 schedNoFence::scheduler::mRetry: Set(),2467 schedNoFence::scheduler::mSchedule: Set(),2468 schedNoFence::scheduler::published: 0,2469 schedNoFence::scheduler::publishedBy: Set(),2470 schedNoFence::scheduler::ws:2471 Map(2472 "w1" ->2473 {2474 attached: Set(),2475 built: false,2476 expecting: false,2477 running: false,2478 session: true,2479 up: true2480 },2481 "w2" ->2482 {2483 attached: Set(),2484 built: false,2485 expecting: false,2486 running: false,2487 session: false,2488 up: false2489 }2490 )2491}24922493[State 2]2494{2495 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2496 schedNoFence::scheduler::crashes: 1,2497 schedNoFence::scheduler::entry: [],2498 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2499 schedNoFence::scheduler::mAssigned: Set(),2500 schedNoFence::scheduler::mBuild: Set(),2501 schedNoFence::scheduler::mDone: Set(),2502 schedNoFence::scheduler::mExpect: Set(),2503 schedNoFence::scheduler::mResult: Set(),2504 schedNoFence::scheduler::mRetry: Set(),2505 schedNoFence::scheduler::mSchedule: Set("c2"),2506 schedNoFence::scheduler::published: 0,2507 schedNoFence::scheduler::publishedBy: Set(),2508 schedNoFence::scheduler::ws:2509 Map(2510 "w1" ->2511 {2512 attached: Set(),2513 built: false,2514 expecting: false,2515 running: false,2516 session: true,2517 up: true2518 },2519 "w2" ->2520 {2521 attached: Set(),2522 built: false,2523 expecting: false,2524 running: false,2525 session: false,2526 up: false2527 }2528 )2529}25302531[State 3]2532{2533 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2534 schedNoFence::scheduler::crashes: 1,2535 schedNoFence::scheduler::entry:2536 [{ followers: Set("c2"), leased: true, worker: "w1" }],2537 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2538 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),2539 schedNoFence::scheduler::mBuild: Set(),2540 schedNoFence::scheduler::mDone: Set(),2541 schedNoFence::scheduler::mExpect: Set("w1"),2542 schedNoFence::scheduler::mResult: Set(),2543 schedNoFence::scheduler::mRetry: Set(),2544 schedNoFence::scheduler::mSchedule: Set(),2545 schedNoFence::scheduler::published: 0,2546 schedNoFence::scheduler::publishedBy: Set(),2547 schedNoFence::scheduler::ws:2548 Map(2549 "w1" ->2550 {2551 attached: Set(),2552 built: false,2553 expecting: false,2554 running: false,2555 session: true,2556 up: true2557 },2558 "w2" ->2559 {2560 attached: Set(),2561 built: false,2562 expecting: false,2563 running: false,2564 session: false,2565 up: false2566 }2567 )2568}25692570[State 4]2571{2572 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2573 schedNoFence::scheduler::crashes: 1,2574 schedNoFence::scheduler::entry:2575 [{ followers: Set("c2"), leased: true, worker: "w1" }],2576 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2577 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),2578 schedNoFence::scheduler::mBuild: Set(),2579 schedNoFence::scheduler::mDone: Set(),2580 schedNoFence::scheduler::mExpect: Set(),2581 schedNoFence::scheduler::mResult: Set(),2582 schedNoFence::scheduler::mRetry: Set(),2583 schedNoFence::scheduler::mSchedule: Set(),2584 schedNoFence::scheduler::published: 0,2585 schedNoFence::scheduler::publishedBy: Set(),2586 schedNoFence::scheduler::ws:2587 Map(2588 "w1" ->2589 {2590 attached: Set(),2591 built: false,2592 expecting: true,2593 running: true,2594 session: true,2595 up: true2596 },2597 "w2" ->2598 {2599 attached: Set(),2600 built: false,2601 expecting: false,2602 running: false,2603 session: false,2604 up: false2605 }2606 )2607}26082609[State 5]2610{2611 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2612 schedNoFence::scheduler::crashes: 2,2613 schedNoFence::scheduler::entry: [],2614 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2615 schedNoFence::scheduler::mAssigned: Set(),2616 schedNoFence::scheduler::mBuild: Set(),2617 schedNoFence::scheduler::mDone: Set(),2618 schedNoFence::scheduler::mExpect: Set(),2619 schedNoFence::scheduler::mResult: Set(),2620 schedNoFence::scheduler::mRetry: Set("c2"),2621 schedNoFence::scheduler::mSchedule: Set(),2622 schedNoFence::scheduler::published: 0,2623 schedNoFence::scheduler::publishedBy: Set(),2624 schedNoFence::scheduler::ws:2625 Map(2626 "w1" ->2627 {2628 attached: Set(),2629 built: false,2630 expecting: true,2631 running: true,2632 session: false,2633 up: true2634 },2635 "w2" ->2636 {2637 attached: Set(),2638 built: false,2639 expecting: false,2640 running: false,2641 session: false,2642 up: false2643 }2644 )2645}26462647[State 6]2648{2649 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2650 schedNoFence::scheduler::crashes: 2,2651 schedNoFence::scheduler::entry: [],2652 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2653 schedNoFence::scheduler::mAssigned: Set(),2654 schedNoFence::scheduler::mBuild: Set(),2655 schedNoFence::scheduler::mDone: Set(),2656 schedNoFence::scheduler::mExpect: Set(),2657 schedNoFence::scheduler::mResult: Set(),2658 schedNoFence::scheduler::mRetry: Set("c2"),2659 schedNoFence::scheduler::mSchedule: Set("c1"),2660 schedNoFence::scheduler::published: 0,2661 schedNoFence::scheduler::publishedBy: Set(),2662 schedNoFence::scheduler::ws:2663 Map(2664 "w1" ->2665 {2666 attached: Set(),2667 built: false,2668 expecting: true,2669 running: true,2670 session: false,2671 up: true2672 },2673 "w2" ->2674 {2675 attached: Set(),2676 built: false,2677 expecting: false,2678 running: false,2679 session: false,2680 up: false2681 }2682 )2683}26842685[State 7]2686{2687 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2688 schedNoFence::scheduler::crashes: 2,2689 schedNoFence::scheduler::entry: [],2690 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2691 schedNoFence::scheduler::mAssigned: Set(),2692 schedNoFence::scheduler::mBuild: Set(),2693 schedNoFence::scheduler::mDone: Set(),2694 schedNoFence::scheduler::mExpect: Set(),2695 schedNoFence::scheduler::mResult: Set(),2696 schedNoFence::scheduler::mRetry: Set(),2697 schedNoFence::scheduler::mSchedule: Set("c1", "c2"),2698 schedNoFence::scheduler::published: 0,2699 schedNoFence::scheduler::publishedBy: Set(),2700 schedNoFence::scheduler::ws:2701 Map(2702 "w1" ->2703 {2704 attached: Set(),2705 built: false,2706 expecting: true,2707 running: true,2708 session: false,2709 up: true2710 },2711 "w2" ->2712 {2713 attached: Set(),2714 built: false,2715 expecting: false,2716 running: false,2717 session: false,2718 up: false2719 }2720 )2721}27222723[State 8]2724{2725 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2726 schedNoFence::scheduler::crashes: 2,2727 schedNoFence::scheduler::entry: [],2728 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2729 schedNoFence::scheduler::mAssigned: Set(),2730 schedNoFence::scheduler::mBuild: Set(),2731 schedNoFence::scheduler::mDone: Set(),2732 schedNoFence::scheduler::mExpect: Set(),2733 schedNoFence::scheduler::mResult: Set(),2734 schedNoFence::scheduler::mRetry: Set(),2735 schedNoFence::scheduler::mSchedule: Set("c1", "c2"),2736 schedNoFence::scheduler::published: 0,2737 schedNoFence::scheduler::publishedBy: Set(),2738 schedNoFence::scheduler::ws:2739 Map(2740 "w1" ->2741 {2742 attached: Set(),2743 built: false,2744 expecting: true,2745 running: true,2746 session: false,2747 up: true2748 },2749 "w2" ->2750 {2751 attached: Set(),2752 built: false,2753 expecting: false,2754 running: false,2755 session: true,2756 up: true2757 }2758 )2759}27602761[State 9]2762{2763 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2764 schedNoFence::scheduler::crashes: 2,2765 schedNoFence::scheduler::entry:2766 [{ followers: Set("c2"), leased: true, worker: "w2" }],2767 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2768 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2769 schedNoFence::scheduler::mBuild: Set(),2770 schedNoFence::scheduler::mDone: Set(),2771 schedNoFence::scheduler::mExpect: Set("w2"),2772 schedNoFence::scheduler::mResult: Set(),2773 schedNoFence::scheduler::mRetry: Set(),2774 schedNoFence::scheduler::mSchedule: Set("c1"),2775 schedNoFence::scheduler::published: 0,2776 schedNoFence::scheduler::publishedBy: Set(),2777 schedNoFence::scheduler::ws:2778 Map(2779 "w1" ->2780 {2781 attached: Set(),2782 built: false,2783 expecting: true,2784 running: true,2785 session: false,2786 up: true2787 },2788 "w2" ->2789 {2790 attached: Set(),2791 built: false,2792 expecting: false,2793 running: false,2794 session: true,2795 up: true2796 }2797 )2798}27992800[State 10]2801{2802 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2803 schedNoFence::scheduler::crashes: 2,2804 schedNoFence::scheduler::entry:2805 [{ followers: Set("c2"), leased: true, worker: "w2" }],2806 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2807 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2808 schedNoFence::scheduler::mBuild: Set(),2809 schedNoFence::scheduler::mDone: Set(),2810 schedNoFence::scheduler::mExpect: Set(),2811 schedNoFence::scheduler::mResult: Set(),2812 schedNoFence::scheduler::mRetry: Set(),2813 schedNoFence::scheduler::mSchedule: Set("c1"),2814 schedNoFence::scheduler::published: 0,2815 schedNoFence::scheduler::publishedBy: Set(),2816 schedNoFence::scheduler::ws:2817 Map(2818 "w1" ->2819 {2820 attached: Set(),2821 built: false,2822 expecting: true,2823 running: true,2824 session: false,2825 up: true2826 },2827 "w2" ->2828 {2829 attached: Set(),2830 built: false,2831 expecting: true,2832 running: true,2833 session: true,2834 up: true2835 }2836 )2837}28382839[State 11]2840{2841 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2842 schedNoFence::scheduler::crashes: 2,2843 schedNoFence::scheduler::entry:2844 [{ followers: Set("c2"), leased: true, worker: "w2" }],2845 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2846 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2847 schedNoFence::scheduler::mBuild: Set(),2848 schedNoFence::scheduler::mDone: Set("w2"),2849 schedNoFence::scheduler::mExpect: Set(),2850 schedNoFence::scheduler::mResult: Set(),2851 schedNoFence::scheduler::mRetry: Set(),2852 schedNoFence::scheduler::mSchedule: Set("c1"),2853 schedNoFence::scheduler::published: 1,2854 schedNoFence::scheduler::publishedBy: Set("w2"),2855 schedNoFence::scheduler::ws:2856 Map(2857 "w1" ->2858 {2859 attached: Set(),2860 built: false,2861 expecting: true,2862 running: true,2863 session: false,2864 up: true2865 },2866 "w2" ->2867 {2868 attached: Set(),2869 built: true,2870 expecting: false,2871 running: false,2872 session: true,2873 up: true2874 }2875 )2876}28772878[State 12]2879{2880 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2881 schedNoFence::scheduler::crashes: 2,2882 schedNoFence::scheduler::entry:2883 [{ followers: Set("c2"), leased: true, worker: "w2" }],2884 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),2885 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2886 schedNoFence::scheduler::mBuild: Set(),2887 schedNoFence::scheduler::mDone: Set("w2"),2888 schedNoFence::scheduler::mExpect: Set(),2889 schedNoFence::scheduler::mResult: Set(),2890 schedNoFence::scheduler::mRetry: Set(),2891 schedNoFence::scheduler::mSchedule: Set("c1"),2892 schedNoFence::scheduler::published: 1,2893 schedNoFence::scheduler::publishedBy: Set("w2"),2894 schedNoFence::scheduler::ws:2895 Map(2896 "w1" ->2897 {2898 attached: Set(),2899 built: false,2900 expecting: true,2901 running: true,2902 session: true,2903 up: true2904 },2905 "w2" ->2906 {2907 attached: Set(),2908 built: true,2909 expecting: false,2910 running: false,2911 session: true,2912 up: true2913 }2914 )2915}29162917[State 13]2918{2919 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2920 schedNoFence::scheduler::crashes: 2,2921 schedNoFence::scheduler::entry:2922 [{ followers: Set("c2"), leased: true, worker: "w2" }],2923 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),2924 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2925 schedNoFence::scheduler::mBuild: Set(),2926 schedNoFence::scheduler::mDone: Set("w2"),2927 schedNoFence::scheduler::mExpect: Set(),2928 schedNoFence::scheduler::mResult: Set("c1"),2929 schedNoFence::scheduler::mRetry: Set(),2930 schedNoFence::scheduler::mSchedule: Set(),2931 schedNoFence::scheduler::published: 1,2932 schedNoFence::scheduler::publishedBy: Set("w2"),2933 schedNoFence::scheduler::ws:2934 Map(2935 "w1" ->2936 {2937 attached: Set(),2938 built: false,2939 expecting: true,2940 running: true,2941 session: true,2942 up: true2943 },2944 "w2" ->2945 {2946 attached: Set(),2947 built: true,2948 expecting: false,2949 running: false,2950 session: true,2951 up: true2952 }2953 )2954}29552956[State 14]2957{2958 schedNoFence::scheduler::cl: Map("c1" -> CDone, "c2" -> CQueued),2959 schedNoFence::scheduler::crashes: 2,2960 schedNoFence::scheduler::entry:2961 [{ followers: Set("c2"), leased: true, worker: "w2" }],2962 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),2963 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2964 schedNoFence::scheduler::mBuild: Set(),2965 schedNoFence::scheduler::mDone: Set("w2"),2966 schedNoFence::scheduler::mExpect: Set(),2967 schedNoFence::scheduler::mResult: Set(),2968 schedNoFence::scheduler::mRetry: Set(),2969 schedNoFence::scheduler::mSchedule: Set(),2970 schedNoFence::scheduler::published: 1,2971 schedNoFence::scheduler::publishedBy: Set("w2"),2972 schedNoFence::scheduler::ws:2973 Map(2974 "w1" ->2975 {2976 attached: Set(),2977 built: false,2978 expecting: true,2979 running: true,2980 session: true,2981 up: true2982 },2983 "w2" ->2984 {2985 attached: Set(),2986 built: true,2987 expecting: false,2988 running: false,2989 session: true,2990 up: true2991 }2992 )2993}29942995[State 15]2996{2997 schedNoFence::scheduler::cl: Map("c1" -> CDone, "c2" -> CQueued),2998 schedNoFence::scheduler::crashes: 2,2999 schedNoFence::scheduler::entry:3000 [{ followers: Set("c2"), leased: true, worker: "w2" }],3001 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),3002 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),3003 schedNoFence::scheduler::mBuild: Set(),3004 schedNoFence::scheduler::mDone: Set("w1", "w2"),3005 schedNoFence::scheduler::mExpect: Set(),3006 schedNoFence::scheduler::mResult: Set(),3007 schedNoFence::scheduler::mRetry: Set(),3008 schedNoFence::scheduler::mSchedule: Set(),3009 schedNoFence::scheduler::published: 2,3010 schedNoFence::scheduler::publishedBy: Set("w1", "w2"),3011 schedNoFence::scheduler::ws:3012 Map(3013 "w1" ->3014 {3015 attached: Set(),3016 built: true,3017 expecting: false,3018 running: false,3019 session: true,3020 up: true3021 },3022 "w2" ->3023 {3024 attached: Set(),3025 built: true,3026 expecting: false,3027 running: false,3028 session: true,3029 up: true3030 }3031 )3032}30333034[violation] Found an issue (15285ms at 1172 traces/second).3035Use --verbosity=3 to show executions.3036Use --seed=0xf347b7e4e14f2749 --backend=rust to reproduce.3037error: Invariant violated3038Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■ ] 2% | ETA: 8s | 606/30000 samples | 3910 samples/sRunning... [■ ] 2% | ETA: 13s | 659/30000 samples | 2450 samples/sRunning... [■ ] 2% | ETA: 17s | 725/30000 samples | 1831 samples/sRunning... [■ ] 2% | ETA: 17s | 725/30000 samples | 1831 samples/sAn example execution:30393040[State 0]3041{3042 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3043 schedNoPush::scheduler::crashes: 0,3044 schedNoPush::scheduler::entry: [],3045 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3046 schedNoPush::scheduler::mAssigned: Set(),3047 schedNoPush::scheduler::mBuild: Set(),3048 schedNoPush::scheduler::mDone: Set(),3049 schedNoPush::scheduler::mExpect: Set(),3050 schedNoPush::scheduler::mResult: Set(),3051 schedNoPush::scheduler::mRetry: Set(),3052 schedNoPush::scheduler::mSchedule: Set(),3053 schedNoPush::scheduler::published: 0,3054 schedNoPush::scheduler::publishedBy: Set(),3055 schedNoPush::scheduler::ws:3056 Map(3057 "w1" ->3058 {3059 attached: Set(),3060 built: false,3061 expecting: false,3062 running: false,3063 session: true,3064 up: true3065 },3066 "w2" ->3067 {3068 attached: Set(),3069 built: false,3070 expecting: false,3071 running: false,3072 session: true,3073 up: true3074 }3075 )3076}30773078[State 1]3079{3080 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3081 schedNoPush::scheduler::crashes: 0,3082 schedNoPush::scheduler::entry: [],3083 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3084 schedNoPush::scheduler::mAssigned: Set(),3085 schedNoPush::scheduler::mBuild: Set(),3086 schedNoPush::scheduler::mDone: Set(),3087 schedNoPush::scheduler::mExpect: Set(),3088 schedNoPush::scheduler::mResult: Set(),3089 schedNoPush::scheduler::mRetry: Set(),3090 schedNoPush::scheduler::mSchedule: Set("c2"),3091 schedNoPush::scheduler::published: 0,3092 schedNoPush::scheduler::publishedBy: Set(),3093 schedNoPush::scheduler::ws:3094 Map(3095 "w1" ->3096 {3097 attached: Set(),3098 built: false,3099 expecting: false,3100 running: false,3101 session: true,3102 up: true3103 },3104 "w2" ->3105 {3106 attached: Set(),3107 built: false,3108 expecting: false,3109 running: false,3110 session: true,3111 up: true3112 }3113 )3114}31153116[State 2]3117{3118 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3119 schedNoPush::scheduler::crashes: 0,3120 schedNoPush::scheduler::entry:3121 [{ followers: Set("c2"), leased: true, worker: "w2" }],3122 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3123 schedNoPush::scheduler::mAssigned: Set(("c2", "w2")),3124 schedNoPush::scheduler::mBuild: Set(),3125 schedNoPush::scheduler::mDone: Set(),3126 schedNoPush::scheduler::mExpect: Set(),3127 schedNoPush::scheduler::mResult: Set(),3128 schedNoPush::scheduler::mRetry: Set(),3129 schedNoPush::scheduler::mSchedule: Set(),3130 schedNoPush::scheduler::published: 0,3131 schedNoPush::scheduler::publishedBy: Set(),3132 schedNoPush::scheduler::ws:3133 Map(3134 "w1" ->3135 {3136 attached: Set(),3137 built: false,3138 expecting: false,3139 running: false,3140 session: true,3141 up: true3142 },3143 "w2" ->3144 {3145 attached: Set(),3146 built: false,3147 expecting: false,3148 running: false,3149 session: true,3150 up: true3151 }3152 )3153}31543155[State 3]3156{3157 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3158 schedNoPush::scheduler::crashes: 1,3159 schedNoPush::scheduler::entry:3160 [{ followers: Set("c2"), leased: true, worker: "w2" }],3161 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3162 schedNoPush::scheduler::mAssigned: Set(("c2", "w2")),3163 schedNoPush::scheduler::mBuild: Set(),3164 schedNoPush::scheduler::mDone: Set(),3165 schedNoPush::scheduler::mExpect: Set(),3166 schedNoPush::scheduler::mResult: Set(),3167 schedNoPush::scheduler::mRetry: Set(),3168 schedNoPush::scheduler::mSchedule: Set(),3169 schedNoPush::scheduler::published: 0,3170 schedNoPush::scheduler::publishedBy: Set(),3171 schedNoPush::scheduler::ws:3172 Map(3173 "w1" ->3174 {3175 attached: Set(),3176 built: false,3177 expecting: false,3178 running: false,3179 session: false,3180 up: false3181 },3182 "w2" ->3183 {3184 attached: Set(),3185 built: false,3186 expecting: false,3187 running: false,3188 session: true,3189 up: true3190 }3191 )3192}31933194[State 4]3195{3196 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),3197 schedNoPush::scheduler::crashes: 1,3198 schedNoPush::scheduler::entry:3199 [{ followers: Set("c2"), leased: true, worker: "w2" }],3200 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3201 schedNoPush::scheduler::mAssigned: Set(),3202 schedNoPush::scheduler::mBuild: Set(("c2", "w2")),3203 schedNoPush::scheduler::mDone: Set(),3204 schedNoPush::scheduler::mExpect: Set(),3205 schedNoPush::scheduler::mResult: Set(),3206 schedNoPush::scheduler::mRetry: Set(),3207 schedNoPush::scheduler::mSchedule: Set(),3208 schedNoPush::scheduler::published: 0,3209 schedNoPush::scheduler::publishedBy: Set(),3210 schedNoPush::scheduler::ws:3211 Map(3212 "w1" ->3213 {3214 attached: Set(),3215 built: false,3216 expecting: false,3217 running: false,3218 session: false,3219 up: false3220 },3221 "w2" ->3222 {3223 attached: Set(),3224 built: false,3225 expecting: false,3226 running: false,3227 session: true,3228 up: true3229 }3230 )3231}32323233[State 5]3234{3235 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),3236 schedNoPush::scheduler::crashes: 2,3237 schedNoPush::scheduler::entry:3238 [{ followers: Set("c2"), leased: true, worker: "w2" }],3239 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3240 schedNoPush::scheduler::mAssigned: Set(),3241 schedNoPush::scheduler::mBuild: Set(("c2", "w2")),3242 schedNoPush::scheduler::mDone: Set(),3243 schedNoPush::scheduler::mExpect: Set(),3244 schedNoPush::scheduler::mResult: Set(),3245 schedNoPush::scheduler::mRetry: Set(),3246 schedNoPush::scheduler::mSchedule: Set(),3247 schedNoPush::scheduler::published: 0,3248 schedNoPush::scheduler::publishedBy: Set(),3249 schedNoPush::scheduler::ws:3250 Map(3251 "w1" ->3252 {3253 attached: Set(),3254 built: false,3255 expecting: false,3256 running: false,3257 session: false,3258 up: false3259 },3260 "w2" ->3261 {3262 attached: Set(),3263 built: false,3264 expecting: false,3265 running: false,3266 session: false,3267 up: false3268 }3269 )3270}32713272[State 6]3273{3274 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),3275 schedNoPush::scheduler::crashes: 2,3276 schedNoPush::scheduler::entry: [],3277 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3278 schedNoPush::scheduler::mAssigned: Set(),3279 schedNoPush::scheduler::mBuild: Set(("c2", "w2")),3280 schedNoPush::scheduler::mDone: Set(),3281 schedNoPush::scheduler::mExpect: Set(),3282 schedNoPush::scheduler::mResult: Set(),3283 schedNoPush::scheduler::mRetry: Set("c2"),3284 schedNoPush::scheduler::mSchedule: Set(),3285 schedNoPush::scheduler::published: 0,3286 schedNoPush::scheduler::publishedBy: Set(),3287 schedNoPush::scheduler::ws:3288 Map(3289 "w1" ->3290 {3291 attached: Set(),3292 built: false,3293 expecting: false,3294 running: false,3295 session: false,3296 up: false3297 },3298 "w2" ->3299 {3300 attached: Set(),3301 built: false,3302 expecting: false,3303 running: false,3304 session: true,3305 up: true3306 }3307 )3308}33093310[State 7]3311{3312 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),3313 schedNoPush::scheduler::crashes: 2,3314 schedNoPush::scheduler::entry: [],3315 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3316 schedNoPush::scheduler::mAssigned: Set(),3317 schedNoPush::scheduler::mBuild: Set(),3318 schedNoPush::scheduler::mDone: Set(),3319 schedNoPush::scheduler::mExpect: Set(),3320 schedNoPush::scheduler::mResult: Set(),3321 schedNoPush::scheduler::mRetry: Set("c2"),3322 schedNoPush::scheduler::mSchedule: Set(),3323 schedNoPush::scheduler::published: 0,3324 schedNoPush::scheduler::publishedBy: Set(),3325 schedNoPush::scheduler::ws:3326 Map(3327 "w1" ->3328 {3329 attached: Set(),3330 built: false,3331 expecting: false,3332 running: false,3333 session: false,3334 up: false3335 },3336 "w2" ->3337 {3338 attached: Set("c2"),3339 built: false,3340 expecting: true,3341 running: true,3342 session: true,3343 up: true3344 }3345 )3346}33473348[violation] Found an issue (536ms at 1366 traces/second).3349Use --verbosity=3 to show executions.3350Use --seed=0x3192bd85ce108d6 --backend=rust to reproduce.3351error: Invariant violated3352Running... [ ] 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... [■ ] 1% | ETA: 19s | 406/30000 samples | 1631 samples/sRunning... [■ ] 1% | ETA: 24s | 492/30000 samples | 1298 samples/sAn example execution:33533354[State 0]3355{3356 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3357 schedNoPush::scheduler::crashes: 0,3358 schedNoPush::scheduler::entry: [],3359 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3360 schedNoPush::scheduler::mAssigned: Set(),3361 schedNoPush::scheduler::mBuild: Set(),3362 schedNoPush::scheduler::mDone: Set(),3363 schedNoPush::scheduler::mExpect: Set(),3364 schedNoPush::scheduler::mResult: Set(),3365 schedNoPush::scheduler::mRetry: Set(),3366 schedNoPush::scheduler::mSchedule: Set(),3367 schedNoPush::scheduler::published: 0,3368 schedNoPush::scheduler::publishedBy: Set(),3369 schedNoPush::scheduler::ws:3370 Map(3371 "w1" ->3372 {3373 attached: Set(),3374 built: false,3375 expecting: false,3376 running: false,3377 session: true,3378 up: true3379 },3380 "w2" ->3381 {3382 attached: Set(),3383 built: false,3384 expecting: false,3385 running: false,3386 session: true,3387 up: true3388 }3389 )3390}33913392[State 1]3393{3394 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),3395 schedNoPush::scheduler::crashes: 0,3396 schedNoPush::scheduler::entry: [],3397 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3398 schedNoPush::scheduler::mAssigned: Set(),3399 schedNoPush::scheduler::mBuild: Set(),3400 schedNoPush::scheduler::mDone: Set(),3401 schedNoPush::scheduler::mExpect: Set(),3402 schedNoPush::scheduler::mResult: Set(),3403 schedNoPush::scheduler::mRetry: Set(),3404 schedNoPush::scheduler::mSchedule: Set("c1"),3405 schedNoPush::scheduler::published: 0,3406 schedNoPush::scheduler::publishedBy: Set(),3407 schedNoPush::scheduler::ws:3408 Map(3409 "w1" ->3410 {3411 attached: Set(),3412 built: false,3413 expecting: false,3414 running: false,3415 session: true,3416 up: true3417 },3418 "w2" ->3419 {3420 attached: Set(),3421 built: false,3422 expecting: false,3423 running: false,3424 session: true,3425 up: true3426 }3427 )3428}34293430[State 2]3431{3432 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),3433 schedNoPush::scheduler::crashes: 0,3434 schedNoPush::scheduler::entry:3435 [{ followers: Set("c1"), leased: true, worker: "w1" }],3436 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3437 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),3438 schedNoPush::scheduler::mBuild: Set(),3439 schedNoPush::scheduler::mDone: Set(),3440 schedNoPush::scheduler::mExpect: Set(),3441 schedNoPush::scheduler::mResult: Set(),3442 schedNoPush::scheduler::mRetry: Set(),3443 schedNoPush::scheduler::mSchedule: Set(),3444 schedNoPush::scheduler::published: 0,3445 schedNoPush::scheduler::publishedBy: Set(),3446 schedNoPush::scheduler::ws:3447 Map(3448 "w1" ->3449 {3450 attached: Set(),3451 built: false,3452 expecting: false,3453 running: false,3454 session: true,3455 up: true3456 },3457 "w2" ->3458 {3459 attached: Set(),3460 built: false,3461 expecting: false,3462 running: false,3463 session: true,3464 up: true3465 }3466 )3467}34683469[State 3]3470{3471 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),3472 schedNoPush::scheduler::crashes: 1,3473 schedNoPush::scheduler::entry:3474 [{ followers: Set("c1"), leased: true, worker: "w1" }],3475 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3476 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),3477 schedNoPush::scheduler::mBuild: Set(),3478 schedNoPush::scheduler::mDone: Set(),3479 schedNoPush::scheduler::mExpect: Set(),3480 schedNoPush::scheduler::mResult: Set(),3481 schedNoPush::scheduler::mRetry: Set(),3482 schedNoPush::scheduler::mSchedule: Set(),3483 schedNoPush::scheduler::published: 0,3484 schedNoPush::scheduler::publishedBy: Set(),3485 schedNoPush::scheduler::ws:3486 Map(3487 "w1" ->3488 {3489 attached: Set(),3490 built: false,3491 expecting: false,3492 running: false,3493 session: true,3494 up: true3495 },3496 "w2" ->3497 {3498 attached: Set(),3499 built: false,3500 expecting: false,3501 running: false,3502 session: false,3503 up: false3504 }3505 )3506}35073508[State 4]3509{3510 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),3511 schedNoPush::scheduler::crashes: 2,3512 schedNoPush::scheduler::entry:3513 [{ followers: Set("c1"), leased: true, worker: "w1" }],3514 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3515 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),3516 schedNoPush::scheduler::mBuild: Set(),3517 schedNoPush::scheduler::mDone: Set(),3518 schedNoPush::scheduler::mExpect: Set(),3519 schedNoPush::scheduler::mResult: Set(),3520 schedNoPush::scheduler::mRetry: Set(),3521 schedNoPush::scheduler::mSchedule: Set(),3522 schedNoPush::scheduler::published: 0,3523 schedNoPush::scheduler::publishedBy: Set(),3524 schedNoPush::scheduler::ws:3525 Map(3526 "w1" ->3527 {3528 attached: Set(),3529 built: false,3530 expecting: false,3531 running: false,3532 session: false,3533 up: false3534 },3535 "w2" ->3536 {3537 attached: Set(),3538 built: false,3539 expecting: false,3540 running: false,3541 session: false,3542 up: false3543 }3544 )3545}35463547[State 5]3548{3549 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),3550 schedNoPush::scheduler::crashes: 2,3551 schedNoPush::scheduler::entry: [],3552 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3553 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),3554 schedNoPush::scheduler::mBuild: Set(),3555 schedNoPush::scheduler::mDone: Set(),3556 schedNoPush::scheduler::mExpect: Set(),3557 schedNoPush::scheduler::mResult: Set(),3558 schedNoPush::scheduler::mRetry: Set("c1"),3559 schedNoPush::scheduler::mSchedule: Set(),3560 schedNoPush::scheduler::published: 0,3561 schedNoPush::scheduler::publishedBy: Set(),3562 schedNoPush::scheduler::ws:3563 Map(3564 "w1" ->3565 {3566 attached: Set(),3567 built: false,3568 expecting: false,3569 running: false,3570 session: false,3571 up: false3572 },3573 "w2" ->3574 {3575 attached: Set(),3576 built: false,3577 expecting: false,3578 running: false,3579 session: false,3580 up: false3581 }3582 )3583}35843585[State 6]3586{3587 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),3588 schedNoPush::scheduler::crashes: 2,3589 schedNoPush::scheduler::entry: [],3590 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3591 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),3592 schedNoPush::scheduler::mBuild: Set(),3593 schedNoPush::scheduler::mDone: Set(),3594 schedNoPush::scheduler::mExpect: Set(),3595 schedNoPush::scheduler::mResult: Set(),3596 schedNoPush::scheduler::mRetry: Set("c1"),3597 schedNoPush::scheduler::mSchedule: Set(),3598 schedNoPush::scheduler::published: 0,3599 schedNoPush::scheduler::publishedBy: Set(),3600 schedNoPush::scheduler::ws:3601 Map(3602 "w1" ->3603 {3604 attached: Set(),3605 built: false,3606 expecting: false,3607 running: false,3608 session: true,3609 up: true3610 },3611 "w2" ->3612 {3613 attached: Set(),3614 built: false,3615 expecting: false,3616 running: false,3617 session: false,3618 up: false3619 }3620 )3621}36223623[State 7]3624{3625 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3626 schedNoPush::scheduler::crashes: 2,3627 schedNoPush::scheduler::entry: [],3628 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3629 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),3630 schedNoPush::scheduler::mBuild: Set(),3631 schedNoPush::scheduler::mDone: Set(),3632 schedNoPush::scheduler::mExpect: Set(),3633 schedNoPush::scheduler::mResult: Set(),3634 schedNoPush::scheduler::mRetry: Set("c1"),3635 schedNoPush::scheduler::mSchedule: Set("c2"),3636 schedNoPush::scheduler::published: 0,3637 schedNoPush::scheduler::publishedBy: Set(),3638 schedNoPush::scheduler::ws:3639 Map(3640 "w1" ->3641 {3642 attached: Set(),3643 built: false,3644 expecting: false,3645 running: false,3646 session: true,3647 up: true3648 },3649 "w2" ->3650 {3651 attached: Set(),3652 built: false,3653 expecting: false,3654 running: false,3655 session: false,3656 up: false3657 }3658 )3659}36603661[State 8]3662{3663 schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),3664 schedNoPush::scheduler::crashes: 2,3665 schedNoPush::scheduler::entry: [],3666 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3667 schedNoPush::scheduler::mAssigned: Set(),3668 schedNoPush::scheduler::mBuild: Set(("c1", "w1")),3669 schedNoPush::scheduler::mDone: Set(),3670 schedNoPush::scheduler::mExpect: Set(),3671 schedNoPush::scheduler::mResult: Set(),3672 schedNoPush::scheduler::mRetry: Set("c1"),3673 schedNoPush::scheduler::mSchedule: Set("c2"),3674 schedNoPush::scheduler::published: 0,3675 schedNoPush::scheduler::publishedBy: Set(),3676 schedNoPush::scheduler::ws:3677 Map(3678 "w1" ->3679 {3680 attached: Set(),3681 built: false,3682 expecting: false,3683 running: false,3684 session: true,3685 up: true3686 },3687 "w2" ->3688 {3689 attached: Set(),3690 built: false,3691 expecting: false,3692 running: false,3693 session: false,3694 up: false3695 }3696 )3697}36983699[State 9]3700{3701 schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),3702 schedNoPush::scheduler::crashes: 2,3703 schedNoPush::scheduler::entry: [],3704 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3705 schedNoPush::scheduler::mAssigned: Set(),3706 schedNoPush::scheduler::mBuild: Set(("c1", "w1")),3707 schedNoPush::scheduler::mDone: Set(),3708 schedNoPush::scheduler::mExpect: Set(),3709 schedNoPush::scheduler::mResult: Set(),3710 schedNoPush::scheduler::mRetry: Set("c1"),3711 schedNoPush::scheduler::mSchedule: Set("c2"),3712 schedNoPush::scheduler::published: 0,3713 schedNoPush::scheduler::publishedBy: Set(),3714 schedNoPush::scheduler::ws:3715 Map(3716 "w1" ->3717 {3718 attached: Set(),3719 built: false,3720 expecting: false,3721 running: false,3722 session: true,3723 up: true3724 },3725 "w2" ->3726 {3727 attached: Set(),3728 built: false,3729 expecting: false,3730 running: false,3731 session: true,3732 up: true3733 }3734 )3735}37363737[State 10]3738{3739 schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),3740 schedNoPush::scheduler::crashes: 2,3741 schedNoPush::scheduler::entry:3742 [{ followers: Set("c2"), leased: true, worker: "w2" }],3743 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3744 schedNoPush::scheduler::mAssigned: Set(("c2", "w2")),3745 schedNoPush::scheduler::mBuild: Set(("c1", "w1")),3746 schedNoPush::scheduler::mDone: Set(),3747 schedNoPush::scheduler::mExpect: Set(),3748 schedNoPush::scheduler::mResult: Set(),3749 schedNoPush::scheduler::mRetry: Set("c1"),3750 schedNoPush::scheduler::mSchedule: Set(),3751 schedNoPush::scheduler::published: 0,3752 schedNoPush::scheduler::publishedBy: Set(),3753 schedNoPush::scheduler::ws:3754 Map(3755 "w1" ->3756 {3757 attached: Set(),3758 built: false,3759 expecting: false,3760 running: false,3761 session: true,3762 up: true3763 },3764 "w2" ->3765 {3766 attached: Set(),3767 built: false,3768 expecting: false,3769 running: false,3770 session: true,3771 up: true3772 }3773 )3774}37753776[State 11]3777{3778 schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w2")),3779 schedNoPush::scheduler::crashes: 2,3780 schedNoPush::scheduler::entry:3781 [{ followers: Set("c2"), leased: true, worker: "w2" }],3782 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3783 schedNoPush::scheduler::mAssigned: Set(),3784 schedNoPush::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w2")),3785 schedNoPush::scheduler::mDone: Set(),3786 schedNoPush::scheduler::mExpect: Set(),3787 schedNoPush::scheduler::mResult: Set(),3788 schedNoPush::scheduler::mRetry: Set("c1"),3789 schedNoPush::scheduler::mSchedule: Set(),3790 schedNoPush::scheduler::published: 0,3791 schedNoPush::scheduler::publishedBy: Set(),3792 schedNoPush::scheduler::ws:3793 Map(3794 "w1" ->3795 {3796 attached: Set(),3797 built: false,3798 expecting: false,3799 running: false,3800 session: true,3801 up: true3802 },3803 "w2" ->3804 {3805 attached: Set(),3806 built: false,3807 expecting: false,3808 running: false,3809 session: true,3810 up: true3811 }3812 )3813}38143815[State 12]3816{3817 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),3818 schedNoPush::scheduler::crashes: 2,3819 schedNoPush::scheduler::entry:3820 [{ followers: Set("c2"), leased: true, worker: "w2" }],3821 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3822 schedNoPush::scheduler::mAssigned: Set(),3823 schedNoPush::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w2")),3824 schedNoPush::scheduler::mDone: Set(),3825 schedNoPush::scheduler::mExpect: Set(),3826 schedNoPush::scheduler::mResult: Set(),3827 schedNoPush::scheduler::mRetry: Set(),3828 schedNoPush::scheduler::mSchedule: Set("c1"),3829 schedNoPush::scheduler::published: 0,3830 schedNoPush::scheduler::publishedBy: Set(),3831 schedNoPush::scheduler::ws:3832 Map(3833 "w1" ->3834 {3835 attached: Set(),3836 built: false,3837 expecting: false,3838 running: false,3839 session: true,3840 up: true3841 },3842 "w2" ->3843 {3844 attached: Set(),3845 built: false,3846 expecting: false,3847 running: false,3848 session: true,3849 up: true3850 }3851 )3852}38533854[State 13]3855{3856 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),3857 schedNoPush::scheduler::crashes: 2,3858 schedNoPush::scheduler::entry:3859 [{ followers: Set("c2"), leased: true, worker: "w2" }],3860 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3861 schedNoPush::scheduler::mAssigned: Set(),3862 schedNoPush::scheduler::mBuild: Set(("c1", "w1")),3863 schedNoPush::scheduler::mDone: Set(),3864 schedNoPush::scheduler::mExpect: Set(),3865 schedNoPush::scheduler::mResult: Set(),3866 schedNoPush::scheduler::mRetry: Set(),3867 schedNoPush::scheduler::mSchedule: Set("c1"),3868 schedNoPush::scheduler::published: 0,3869 schedNoPush::scheduler::publishedBy: Set(),3870 schedNoPush::scheduler::ws:3871 Map(3872 "w1" ->3873 {3874 attached: Set(),3875 built: false,3876 expecting: false,3877 running: false,3878 session: true,3879 up: true3880 },3881 "w2" ->3882 {3883 attached: Set("c2"),3884 built: false,3885 expecting: true,3886 running: true,3887 session: true,3888 up: true3889 }3890 )3891}38923893[State 14]3894{3895 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),3896 schedNoPush::scheduler::crashes: 2,3897 schedNoPush::scheduler::entry:3898 [{ followers: Set("c2"), leased: true, worker: "w2" }],3899 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3900 schedNoPush::scheduler::mAssigned: Set(),3901 schedNoPush::scheduler::mBuild: Set(),3902 schedNoPush::scheduler::mDone: Set(),3903 schedNoPush::scheduler::mExpect: Set(),3904 schedNoPush::scheduler::mResult: Set(),3905 schedNoPush::scheduler::mRetry: Set(),3906 schedNoPush::scheduler::mSchedule: Set("c1"),3907 schedNoPush::scheduler::published: 0,3908 schedNoPush::scheduler::publishedBy: Set(),3909 schedNoPush::scheduler::ws:3910 Map(3911 "w1" ->3912 {3913 attached: Set("c1"),3914 built: false,3915 expecting: true,3916 running: true,3917 session: true,3918 up: true3919 },3920 "w2" ->3921 {3922 attached: Set("c2"),3923 built: false,3924 expecting: true,3925 running: true,3926 session: true,3927 up: true3928 }3929 )3930}39313932[violation] Found an issue (623ms at 798 traces/second).3933Use --verbosity=3 to show executions.3934Use --seed=0x7d36021a5d1b956a --backend=rust to reproduce.3935error: Invariant violated3936Running... [ ] 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: 9s | 862/30000 samples | 3278 samples/sRunning... [■ ] 3% | ETA: 11s | 1059/30000 samples | 2862 samples/sRunning... [■ ] 3% | ETA: 11s | 1059/30000 samples | 2862 samples/sRunning... [■■ ] 4% | ETA: 12s | 1288/30000 samples | 2407 samples/sRunning... [■■ ] 4% | ETA: 12s | 1288/30000 samples | 2407 samples/sRunning... [■■ ] 5% | ETA: 14s | 1518/30000 samples | 2102 samples/sRunning... [■■ ] 5% | ETA: 15s | 1692/30000 samples | 1979 samples/sRunning... [■■ ] 5% | ETA: 15s | 1692/30000 samples | 1979 samples/sRunning... [■■■ ] 6% | ETA: 15s | 2040/30000 samples | 1873 samples/sRunning... [■■■ ] 7% | ETA: 16s | 2166/30000 samples | 1822 samples/sRunning... [■■■ ] 7% | ETA: 16s | 2296/30000 samples | 1780 samples/sRunning... [■■■ ] 8% | ETA: 16s | 2454/30000 samples | 1763 samples/sRunning... [■■■ ] 8% | ETA: 16s | 2454/30000 samples | 1763 samples/sRunning... [■■■ ] 8% | ETA: 16s | 2454/30000 samples | 1763 samples/sRunning... [■■■■ ] 9% | ETA: 21s | 2707/30000 samples | 1651 samples/sRunning... [■■■■ ] 9% | ETA: 22s | 2791/30000 samples | 1604 samples/sRunning... [■■■■ ] 9% | ETA: 22s | 2791/30000 samples | 1604 samples/sRunning... [■■■■ ] 9% | ETA: 23s | 2996/30000 samples | 1507 samples/sRunning... [■■■■ ] 10% | ETA: 24s | 3111/30000 samples | 1472 samples/sRunning... [■■■■ ] 10% | ETA: 24s | 3111/30000 samples | 1472 samples/sRunning... [■■■■ ] 10% | ETA: 24s | 3111/30000 samples | 1472 samples/sRunning... [■■■■■ ] 11% | ETA: 27s | 3386/30000 samples | 1380 samples/sRunning... [■■■■■ ] 11% | ETA: 27s | 3386/30000 samples | 1380 samples/sRunning... [■■■■■ ] 11% | ETA: 28s | 3502/30000 samples | 1363 samples/sRunning... [■■■■■ ] 12% | ETA: 29s | 3612/30000 samples | 1325 samples/sRunning... [■■■■■ ] 12% | ETA: 31s | 3709/30000 samples | 1300 samples/sRunning... [■■■■■ ] 12% | ETA: 33s | 3788/30000 samples | 1280 samples/sRunning... [■■■■■ ] 12% | ETA: 34s | 3811/30000 samples | 1244 samples/sRunning... [■■■■■ ] 12% | ETA: 34s | 3811/30000 samples | 1244 samples/sRunning... [■■■■■ ] 12% | ETA: 37s | 3840/30000 samples | 1212 samples/sRunning... [■■■■■ ] 12% | ETA: 41s | 3867/30000 samples | 1182 samples/sRunning... [■■■■■ ] 12% | ETA: 51s | 3892/30000 samples | 1154 samples/sRunning... [■■■■■ ] 13% | ETA: 52s | 3933/30000 samples | 1112 samples/sRunning... [■■■■■ ] 13% | ETA: 61s | 3964/30000 samples | 1088 samples/sRunning... [■■■■■ ] 13% | ETA: 61s | 3964/30000 samples | 1088 samples/sRunning... [■■■■■ ] 13% | ETA: 72s | 4002/30000 samples | 1053 samples/sRunning... [■■■■■ ] 13% | ETA: 72s | 4002/30000 samples | 1053 samples/sRunning... [■■■■■ ] 13% | ETA: 87s | 4052/30000 samples | 1015 samples/sRunning... [■■■■■ ] 13% | ETA: 101s | 4084/30000 samples | 994 samples/sRunning... [■■■■■■ ] 13% | ETA: 100s | 4129/30000 samples | 963 samples/sRunning... [■■■■■■ ] 13% | ETA: 100s | 4129/30000 samples | 963 samples/sRunning... [■■■■■■ ] 13% | ETA: 100s | 4158/30000 samples | 947 samples/sRunning... [■■■■■■ ] 13% | ETA: 100s | 4158/30000 samples | 947 samples/sRunning... [■■■■■■ ] 14% | ETA: 98s | 4222/30000 samples | 914 samples/sRunning... [■■■■■■ ] 14% | ETA: 98s | 4249/30000 samples | 900 samples/sRunning... [■■■■■■ ] 14% | ETA: 98s | 4249/30000 samples | 900 samples/sRunning... [■■■■■■ ] 14% | ETA: 97s | 4297/30000 samples | 877 samples/sRunning... [■■■■■■ ] 14% | ETA: 100s | 4320/30000 samples | 861 samples/sRunning... [■■■■■■ ] 14% | ETA: 100s | 4344/30000 samples | 848 samples/sRunning... [■■■■■■ ] 14% | ETA: 104s | 4359/30000 samples | 834 samples/sRunning... [■■■■■■ ] 14% | ETA: 99s | 4410/30000 samples | 822 samples/sRunning... [■■■■■■ ] 14% | ETA: 93s | 4455/30000 samples | 816 samples/sRunning... [■■■■■■ ] 14% | ETA: 93s | 4455/30000 samples | 816 samples/sRunning... [■■■■■■ ] 14% | ETA: 99s | 4492/30000 samples | 791 samples/sRunning... [■■■■■■ ] 15% | ETA: 97s | 4531/30000 samples | 783 samples/sRunning... [■■■■■■ ] 15% | ETA: 97s | 4531/30000 samples | 783 samples/sRunning... [■■■■■■ ] 15% | ETA: 97s | 4531/30000 samples | 783 samples/sRunning... [■■■■■■ ] 15% | ETA: 96s | 4597/30000 samples | 762 samples/sAn example execution:39373938[State 0]3939{3940 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3941 schedNoReport::scheduler::crashes: 0,3942 schedNoReport::scheduler::entry: [],3943 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),3944 schedNoReport::scheduler::mAssigned: Set(),3945 schedNoReport::scheduler::mBuild: Set(),3946 schedNoReport::scheduler::mDone: Set(),3947 schedNoReport::scheduler::mExpect: Set(),3948 schedNoReport::scheduler::mResult: Set(),3949 schedNoReport::scheduler::mRetry: Set(),3950 schedNoReport::scheduler::mSchedule: Set(),3951 schedNoReport::scheduler::published: 0,3952 schedNoReport::scheduler::publishedBy: Set(),3953 schedNoReport::scheduler::ws:3954 Map(3955 "w1" ->3956 {3957 attached: Set(),3958 built: false,3959 expecting: false,3960 running: false,3961 session: true,3962 up: true3963 },3964 "w2" ->3965 {3966 attached: Set(),3967 built: false,3968 expecting: false,3969 running: false,3970 session: true,3971 up: true3972 }3973 )3974}39753976[State 1]3977{3978 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3979 schedNoReport::scheduler::crashes: 0,3980 schedNoReport::scheduler::entry: [],3981 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),3982 schedNoReport::scheduler::mAssigned: Set(),3983 schedNoReport::scheduler::mBuild: Set(),3984 schedNoReport::scheduler::mDone: Set(),3985 schedNoReport::scheduler::mExpect: Set(),3986 schedNoReport::scheduler::mResult: Set(),3987 schedNoReport::scheduler::mRetry: Set(),3988 schedNoReport::scheduler::mSchedule: Set("c2"),3989 schedNoReport::scheduler::published: 0,3990 schedNoReport::scheduler::publishedBy: Set(),3991 schedNoReport::scheduler::ws:3992 Map(3993 "w1" ->3994 {3995 attached: Set(),3996 built: false,3997 expecting: false,3998 running: false,3999 session: true,4000 up: true4001 },4002 "w2" ->4003 {4004 attached: Set(),4005 built: false,4006 expecting: false,4007 running: false,4008 session: true,4009 up: true4010 }4011 )4012}40134014[State 2]4015{4016 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),4017 schedNoReport::scheduler::crashes: 1,4018 schedNoReport::scheduler::entry: [],4019 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),4020 schedNoReport::scheduler::mAssigned: Set(),4021 schedNoReport::scheduler::mBuild: Set(),4022 schedNoReport::scheduler::mDone: Set(),4023 schedNoReport::scheduler::mExpect: Set(),4024 schedNoReport::scheduler::mResult: Set(),4025 schedNoReport::scheduler::mRetry: Set(),4026 schedNoReport::scheduler::mSchedule: Set("c2"),4027 schedNoReport::scheduler::published: 0,4028 schedNoReport::scheduler::publishedBy: Set(),4029 schedNoReport::scheduler::ws:4030 Map(4031 "w1" ->4032 {4033 attached: Set(),4034 built: false,4035 expecting: false,4036 running: false,4037 session: false,4038 up: false4039 },4040 "w2" ->4041 {4042 attached: Set(),4043 built: false,4044 expecting: false,4045 running: false,4046 session: true,4047 up: true4048 }4049 )4050}40514052[State 3]4053{4054 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),4055 schedNoReport::scheduler::crashes: 1,4056 schedNoReport::scheduler::entry: [],4057 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),4058 schedNoReport::scheduler::mAssigned: Set(),4059 schedNoReport::scheduler::mBuild: Set(),4060 schedNoReport::scheduler::mDone: Set(),4061 schedNoReport::scheduler::mExpect: Set(),4062 schedNoReport::scheduler::mResult: Set(),4063 schedNoReport::scheduler::mRetry: Set(),4064 schedNoReport::scheduler::mSchedule: Set("c2"),4065 schedNoReport::scheduler::published: 0,4066 schedNoReport::scheduler::publishedBy: Set(),4067 schedNoReport::scheduler::ws:4068 Map(4069 "w1" ->4070 {4071 attached: Set(),4072 built: false,4073 expecting: false,4074 running: false,4075 session: true,4076 up: true4077 },4078 "w2" ->4079 {4080 attached: Set(),4081 built: false,4082 expecting: false,4083 running: false,4084 session: true,4085 up: true4086 }4087 )4088}40894090[State 4]4091{4092 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),4093 schedNoReport::scheduler::crashes: 1,4094 schedNoReport::scheduler::entry:4095 [{ followers: Set("c2"), leased: true, worker: "w2" }],4096 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),4097 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),4098 schedNoReport::scheduler::mBuild: Set(),4099 schedNoReport::scheduler::mDone: Set(),4100 schedNoReport::scheduler::mExpect: Set("w2"),4101 schedNoReport::scheduler::mResult: Set(),4102 schedNoReport::scheduler::mRetry: Set(),4103 schedNoReport::scheduler::mSchedule: Set(),4104 schedNoReport::scheduler::published: 0,4105 schedNoReport::scheduler::publishedBy: Set(),4106 schedNoReport::scheduler::ws:4107 Map(4108 "w1" ->4109 {4110 attached: Set(),4111 built: false,4112 expecting: false,4113 running: false,4114 session: true,4115 up: true4116 },4117 "w2" ->4118 {4119 attached: Set(),4120 built: false,4121 expecting: false,4122 running: false,4123 session: true,4124 up: true4125 }4126 )4127}41284129[State 5]4130{4131 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),4132 schedNoReport::scheduler::crashes: 1,4133 schedNoReport::scheduler::entry:4134 [{ followers: Set("c2"), leased: true, worker: "w2" }],4135 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),4136 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),4137 schedNoReport::scheduler::mBuild: Set(),4138 schedNoReport::scheduler::mDone: Set(),4139 schedNoReport::scheduler::mExpect: Set(),4140 schedNoReport::scheduler::mResult: Set(),4141 schedNoReport::scheduler::mRetry: Set(),4142 schedNoReport::scheduler::mSchedule: Set(),4143 schedNoReport::scheduler::published: 0,4144 schedNoReport::scheduler::publishedBy: Set(),4145 schedNoReport::scheduler::ws:4146 Map(4147 "w1" ->4148 {4149 attached: Set(),4150 built: false,4151 expecting: false,4152 running: false,4153 session: true,4154 up: true4155 },4156 "w2" ->4157 {4158 attached: Set(),4159 built: false,4160 expecting: true,4161 running: true,4162 session: true,4163 up: true4164 }4165 )4166}41674168[State 6]4169{4170 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),4171 schedNoReport::scheduler::crashes: 2,4172 schedNoReport::scheduler::entry: [],4173 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),4174 schedNoReport::scheduler::mAssigned: Set(),4175 schedNoReport::scheduler::mBuild: Set(),4176 schedNoReport::scheduler::mDone: Set(),4177 schedNoReport::scheduler::mExpect: Set(),4178 schedNoReport::scheduler::mResult: Set(),4179 schedNoReport::scheduler::mRetry: Set("c2"),4180 schedNoReport::scheduler::mSchedule: Set(),4181 schedNoReport::scheduler::published: 0,4182 schedNoReport::scheduler::publishedBy: Set(),4183 schedNoReport::scheduler::ws:4184 Map(4185 "w1" ->4186 {4187 attached: Set(),4188 built: false,4189 expecting: false,4190 running: false,4191 session: false,4192 up: true4193 },4194 "w2" ->4195 {4196 attached: Set(),4197 built: false,4198 expecting: true,4199 running: true,4200 session: false,4201 up: true4202 }4203 )4204}42054206[State 7]4207{4208 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),4209 schedNoReport::scheduler::crashes: 2,4210 schedNoReport::scheduler::entry: [],4211 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),4212 schedNoReport::scheduler::mAssigned: Set(),4213 schedNoReport::scheduler::mBuild: Set(),4214 schedNoReport::scheduler::mDone: Set(),4215 schedNoReport::scheduler::mExpect: Set(),4216 schedNoReport::scheduler::mResult: Set(),4217 schedNoReport::scheduler::mRetry: Set("c2"),4218 schedNoReport::scheduler::mSchedule: Set(),4219 schedNoReport::scheduler::published: 0,4220 schedNoReport::scheduler::publishedBy: Set(),4221 schedNoReport::scheduler::ws:4222 Map(4223 "w1" ->4224 {4225 attached: Set(),4226 built: false,4227 expecting: false,4228 running: false,4229 session: true,4230 up: true4231 },4232 "w2" ->4233 {4234 attached: Set(),4235 built: false,4236 expecting: true,4237 running: true,4238 session: true,4239 up: true4240 }4241 )4242}42434244[State 8]4245{4246 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),4247 schedNoReport::scheduler::crashes: 2,4248 schedNoReport::scheduler::entry: [],4249 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),4250 schedNoReport::scheduler::mAssigned: Set(),4251 schedNoReport::scheduler::mBuild: Set(),4252 schedNoReport::scheduler::mDone: Set(),4253 schedNoReport::scheduler::mExpect: Set(),4254 schedNoReport::scheduler::mResult: Set(),4255 schedNoReport::scheduler::mRetry: Set(),4256 schedNoReport::scheduler::mSchedule: Set("c2"),4257 schedNoReport::scheduler::published: 0,4258 schedNoReport::scheduler::publishedBy: Set(),4259 schedNoReport::scheduler::ws:4260 Map(4261 "w1" ->4262 {4263 attached: Set(),4264 built: false,4265 expecting: false,4266 running: false,4267 session: true,4268 up: true4269 },4270 "w2" ->4271 {4272 attached: Set(),4273 built: false,4274 expecting: true,4275 running: true,4276 session: true,4277 up: true4278 }4279 )4280}42814282[State 9]4283{4284 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),4285 schedNoReport::scheduler::crashes: 2,4286 schedNoReport::scheduler::entry: [],4287 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),4288 schedNoReport::scheduler::mAssigned: Set(),4289 schedNoReport::scheduler::mBuild: Set(),4290 schedNoReport::scheduler::mDone: Set(),4291 schedNoReport::scheduler::mExpect: Set(),4292 schedNoReport::scheduler::mResult: Set(),4293 schedNoReport::scheduler::mRetry: Set(),4294 schedNoReport::scheduler::mSchedule: Set("c1", "c2"),4295 schedNoReport::scheduler::published: 0,4296 schedNoReport::scheduler::publishedBy: Set(),4297 schedNoReport::scheduler::ws:4298 Map(4299 "w1" ->4300 {4301 attached: Set(),4302 built: false,4303 expecting: false,4304 running: false,4305 session: true,4306 up: true4307 },4308 "w2" ->4309 {4310 attached: Set(),4311 built: false,4312 expecting: true,4313 running: true,4314 session: true,4315 up: true4316 }4317 )4318}43194320[State 10]4321{4322 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),4323 schedNoReport::scheduler::crashes: 2,4324 schedNoReport::scheduler::entry:4325 [{ followers: Set("c1"), leased: true, worker: "w1" }],4326 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),4327 schedNoReport::scheduler::mAssigned: Set(("c1", "w1")),4328 schedNoReport::scheduler::mBuild: Set(),4329 schedNoReport::scheduler::mDone: Set(),4330 schedNoReport::scheduler::mExpect: Set("w1"),4331 schedNoReport::scheduler::mResult: Set(),4332 schedNoReport::scheduler::mRetry: Set(),4333 schedNoReport::scheduler::mSchedule: Set("c2"),4334 schedNoReport::scheduler::published: 0,4335 schedNoReport::scheduler::publishedBy: Set(),4336 schedNoReport::scheduler::ws:4337 Map(4338 "w1" ->4339 {4340 attached: Set(),4341 built: false,4342 expecting: false,4343 running: false,4344 session: true,4345 up: true4346 },4347 "w2" ->4348 {4349 attached: Set(),4350 built: false,4351 expecting: true,4352 running: true,4353 session: true,4354 up: true4355 }4356 )4357}43584359[State 11]4360{4361 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),4362 schedNoReport::scheduler::crashes: 2,4363 schedNoReport::scheduler::entry:4364 [{ followers: Set("c1"), leased: true, worker: "w1" }],4365 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),4366 schedNoReport::scheduler::mAssigned: Set(("c1", "w1")),4367 schedNoReport::scheduler::mBuild: Set(),4368 schedNoReport::scheduler::mDone: Set(),4369 schedNoReport::scheduler::mExpect: Set(),4370 schedNoReport::scheduler::mResult: Set(),4371 schedNoReport::scheduler::mRetry: Set(),4372 schedNoReport::scheduler::mSchedule: Set("c2"),4373 schedNoReport::scheduler::published: 0,4374 schedNoReport::scheduler::publishedBy: Set(),4375 schedNoReport::scheduler::ws:4376 Map(4377 "w1" ->4378 {4379 attached: Set(),4380 built: false,4381 expecting: true,4382 running: true,4383 session: true,4384 up: true4385 },4386 "w2" ->4387 {4388 attached: Set(),4389 built: false,4390 expecting: true,4391 running: true,4392 session: true,4393 up: true4394 }4395 )4396}43974398[State 12]4399{4400 schedNoReport::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),4401 schedNoReport::scheduler::crashes: 2,4402 schedNoReport::scheduler::entry:4403 [{ followers: Set("c1"), leased: true, worker: "w1" }],4404 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),4405 schedNoReport::scheduler::mAssigned: Set(),4406 schedNoReport::scheduler::mBuild: Set(("c1", "w1")),4407 schedNoReport::scheduler::mDone: Set(),4408 schedNoReport::scheduler::mExpect: Set(),4409 schedNoReport::scheduler::mResult: Set(),4410 schedNoReport::scheduler::mRetry: Set(),4411 schedNoReport::scheduler::mSchedule: Set("c2"),4412 schedNoReport::scheduler::published: 0,4413 schedNoReport::scheduler::publishedBy: Set(),4414 schedNoReport::scheduler::ws:4415 Map(4416 "w1" ->4417 {4418 attached: Set(),4419 built: false,4420 expecting: true,4421 running: true,4422 session: true,4423 up: true4424 },4425 "w2" ->4426 {4427 attached: Set(),4428 built: false,4429 expecting: true,4430 running: true,4431 session: true,4432 up: true4433 }4434 )4435}44364437[State 13]4438{4439 schedNoReport::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),4440 schedNoReport::scheduler::crashes: 2,4441 schedNoReport::scheduler::entry:4442 [{ followers: Set("c1"), leased: true, worker: "w1" }],4443 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),4444 schedNoReport::scheduler::mAssigned: Set(),4445 schedNoReport::scheduler::mBuild: Set(("c1", "w1")),4446 schedNoReport::scheduler::mDone: Set("w2"),4447 schedNoReport::scheduler::mExpect: Set(),4448 schedNoReport::scheduler::mResult: Set(),4449 schedNoReport::scheduler::mRetry: Set(),4450 schedNoReport::scheduler::mSchedule: Set("c2"),4451 schedNoReport::scheduler::published: 1,4452 schedNoReport::scheduler::publishedBy: Set("w2"),4453 schedNoReport::scheduler::ws:4454 Map(4455 "w1" ->4456 {4457 attached: Set(),4458 built: false,4459 expecting: true,4460 running: true,4461 session: true,4462 up: true4463 },4464 "w2" ->4465 {4466 attached: Set(),4467 built: true,4468 expecting: false,4469 running: false,4470 session: true,4471 up: true4472 }4473 )4474}44754476[State 14]4477{4478 schedNoReport::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),4479 schedNoReport::scheduler::crashes: 2,4480 schedNoReport::scheduler::entry:4481 [{ followers: Set("c1"), leased: true, worker: "w1" }],4482 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),4483 schedNoReport::scheduler::mAssigned: Set(),4484 schedNoReport::scheduler::mBuild: Set(("c1", "w1")),4485 schedNoReport::scheduler::mDone: Set("w1", "w2"),4486 schedNoReport::scheduler::mExpect: Set(),4487 schedNoReport::scheduler::mResult: Set(),4488 schedNoReport::scheduler::mRetry: Set(),4489 schedNoReport::scheduler::mSchedule: Set("c2"),4490 schedNoReport::scheduler::published: 2,4491 schedNoReport::scheduler::publishedBy: Set("w1", "w2"),4492 schedNoReport::scheduler::ws:4493 Map(4494 "w1" ->4495 {4496 attached: Set(),4497 built: true,4498 expecting: false,4499 running: false,4500 session: true,4501 up: true4502 },4503 "w2" ->4504 {4505 attached: Set(),4506 built: true,4507 expecting: false,4508 running: false,4509 session: true,4510 up: true4511 }4512 )4513}45144515[violation] Found an issue (6129ms at 753 traces/second).4516Use --verbosity=3 to show executions.4517Use --seed=0xc5778a99ef7f5d74 --backend=rust to reproduce.4518error: Invariant violated4519Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sAn example execution:45204521[State 0]4522{4523 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),4524 schedTerminal::scheduler::crashes: 0,4525 schedTerminal::scheduler::entry: [],4526 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4527 schedTerminal::scheduler::mAssigned: Set(),4528 schedTerminal::scheduler::mBuild: Set(),4529 schedTerminal::scheduler::mDone: Set(),4530 schedTerminal::scheduler::mExpect: Set(),4531 schedTerminal::scheduler::mResult: Set(),4532 schedTerminal::scheduler::mRetry: Set(),4533 schedTerminal::scheduler::mSchedule: Set(),4534 schedTerminal::scheduler::published: 0,4535 schedTerminal::scheduler::publishedBy: Set(),4536 schedTerminal::scheduler::ws:4537 Map(4538 "w1" ->4539 {4540 attached: Set(),4541 built: false,4542 expecting: false,4543 running: false,4544 session: true,4545 up: true4546 },4547 "w2" ->4548 {4549 attached: Set(),4550 built: false,4551 expecting: false,4552 running: false,4553 session: true,4554 up: true4555 }4556 )4557}45584559[State 1]4560{4561 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),4562 schedTerminal::scheduler::crashes: 1,4563 schedTerminal::scheduler::entry: [],4564 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4565 schedTerminal::scheduler::mAssigned: Set(),4566 schedTerminal::scheduler::mBuild: Set(),4567 schedTerminal::scheduler::mDone: Set(),4568 schedTerminal::scheduler::mExpect: Set(),4569 schedTerminal::scheduler::mResult: Set(),4570 schedTerminal::scheduler::mRetry: Set(),4571 schedTerminal::scheduler::mSchedule: Set(),4572 schedTerminal::scheduler::published: 0,4573 schedTerminal::scheduler::publishedBy: Set(),4574 schedTerminal::scheduler::ws:4575 Map(4576 "w1" ->4577 {4578 attached: Set(),4579 built: false,4580 expecting: false,4581 running: false,4582 session: false,4583 up: false4584 },4585 "w2" ->4586 {4587 attached: Set(),4588 built: false,4589 expecting: false,4590 running: false,4591 session: true,4592 up: true4593 }4594 )4595}45964597[State 2]4598{4599 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),4600 schedTerminal::scheduler::crashes: 2,4601 schedTerminal::scheduler::entry: [],4602 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4603 schedTerminal::scheduler::mAssigned: Set(),4604 schedTerminal::scheduler::mBuild: Set(),4605 schedTerminal::scheduler::mDone: Set(),4606 schedTerminal::scheduler::mExpect: Set(),4607 schedTerminal::scheduler::mResult: Set(),4608 schedTerminal::scheduler::mRetry: Set(),4609 schedTerminal::scheduler::mSchedule: Set(),4610 schedTerminal::scheduler::published: 0,4611 schedTerminal::scheduler::publishedBy: Set(),4612 schedTerminal::scheduler::ws:4613 Map(4614 "w1" ->4615 {4616 attached: Set(),4617 built: false,4618 expecting: false,4619 running: false,4620 session: false,4621 up: false4622 },4623 "w2" ->4624 {4625 attached: Set(),4626 built: false,4627 expecting: false,4628 running: false,4629 session: false,4630 up: true4631 }4632 )4633}46344635[State 3]4636{4637 schedTerminal::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),4638 schedTerminal::scheduler::crashes: 2,4639 schedTerminal::scheduler::entry: [],4640 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4641 schedTerminal::scheduler::mAssigned: Set(),4642 schedTerminal::scheduler::mBuild: Set(),4643 schedTerminal::scheduler::mDone: Set(),4644 schedTerminal::scheduler::mExpect: Set(),4645 schedTerminal::scheduler::mResult: Set(),4646 schedTerminal::scheduler::mRetry: Set(),4647 schedTerminal::scheduler::mSchedule: Set("c1"),4648 schedTerminal::scheduler::published: 0,4649 schedTerminal::scheduler::publishedBy: Set(),4650 schedTerminal::scheduler::ws:4651 Map(4652 "w1" ->4653 {4654 attached: Set(),4655 built: false,4656 expecting: false,4657 running: false,4658 session: false,4659 up: false4660 },4661 "w2" ->4662 {4663 attached: Set(),4664 built: false,4665 expecting: false,4666 running: false,4667 session: false,4668 up: true4669 }4670 )4671}46724673[State 4]4674{4675 schedTerminal::scheduler::cl: Map("c1" -> CFailed, "c2" -> CIdle),4676 schedTerminal::scheduler::crashes: 2,4677 schedTerminal::scheduler::entry: [],4678 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4679 schedTerminal::scheduler::mAssigned: Set(),4680 schedTerminal::scheduler::mBuild: Set(),4681 schedTerminal::scheduler::mDone: Set(),4682 schedTerminal::scheduler::mExpect: Set(),4683 schedTerminal::scheduler::mResult: Set(),4684 schedTerminal::scheduler::mRetry: Set(),4685 schedTerminal::scheduler::mSchedule: Set(),4686 schedTerminal::scheduler::published: 0,4687 schedTerminal::scheduler::publishedBy: Set(),4688 schedTerminal::scheduler::ws:4689 Map(4690 "w1" ->4691 {4692 attached: Set(),4693 built: false,4694 expecting: false,4695 running: false,4696 session: false,4697 up: false4698 },4699 "w2" ->4700 {4701 attached: Set(),4702 built: false,4703 expecting: false,4704 running: false,4705 session: false,4706 up: true4707 }4708 )4709}47104711[violation] Found an issue (90ms at 844 traces/second).4712Use --verbosity=3 to show executions.4713Use --seed=0x537d1786b178702 --backend=rust to reproduce.4714error: Invariant violated4715Running... [ ] 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... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 1s | 17655/20000 samples | 76099 samples/sAn example execution:47164717[State 0]4718{4719 hookFixed::hook::cache: Set(),4720 hookFixed::hook::drvUploaded: false,4721 hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set()),4722 hookFixed::hook::phase: Query,4723 hookFixed::hook::restarts: 0,4724 hookFixed::hook::retries: 0,4725 hookFixed::hook::toUpload: Set()4726}47274728[State 1]4729{4730 hookFixed::hook::cache: Set(),4731 hookFixed::hook::drvUploaded: false,4732 hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set()),4733 hookFixed::hook::phase: Query,4734 hookFixed::hook::restarts: 1,4735 hookFixed::hook::retries: 1,4736 hookFixed::hook::toUpload: Set()4737}47384739[State 2]4740{4741 hookFixed::hook::cache: Set(),4742 hookFixed::hook::drvUploaded: false,4743 hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set()),4744 hookFixed::hook::phase: Upload,4745 hookFixed::hook::restarts: 1,4746 hookFixed::hook::retries: 1,4747 hookFixed::hook::toUpload: Set("drv", "in")4748}47494750[State 3]4751{4752 hookFixed::hook::cache: Set(),4753 hookFixed::hook::drvUploaded: false,4754 hookFixed::hook::local: Map("w1" -> Set("drv", "in"), "w2" -> Set()),4755 hookFixed::hook::phase: Upload,4756 hookFixed::hook::restarts: 2,4757 hookFixed::hook::retries: 2,4758 hookFixed::hook::toUpload: Set("drv", "in")4759}47604761[State 4]4762{4763 hookFixed::hook::cache: Set("drv", "in"),4764 hookFixed::hook::drvUploaded: false,4765 hookFixed::hook::local: Map("w1" -> Set("drv", "in"), "w2" -> Set()),4766 hookFixed::hook::phase: Build,4767 hookFixed::hook::restarts: 2,4768 hookFixed::hook::retries: 2,4769 hookFixed::hook::toUpload: Set("drv", "in")4770}47714772[State 5]4773{4774 hookFixed::hook::cache: Set("drv", "in", "out"),4775 hookFixed::hook::drvUploaded: false,4776 hookFixed::hook::local: Map("w1" -> Set("drv", "in", "out"), "w2" -> Set()),4777 hookFixed::hook::phase: Fetch,4778 hookFixed::hook::restarts: 2,4779 hookFixed::hook::retries: 2,4780 hookFixed::hook::toUpload: Set("drv", "in")4781}47824783[State 6]4784{4785 hookFixed::hook::cache: Set("drv", "in", "out"),4786 hookFixed::hook::drvUploaded: false,4787 hookFixed::hook::local: Map("w1" -> Set("drv", "in", "out"), "w2" -> Set()),4788 hookFixed::hook::phase: Done,4789 hookFixed::hook::restarts: 2,4790 hookFixed::hook::retries: 2,4791 hookFixed::hook::toUpload: Set("drv", "in")4792}47934794[ok] No violation found (346ms at 57803 traces/second).4795Trace length statistics: max=7, min=5, average=6.744796You may increase --max-samples and --max-steps.4797Use --verbosity to produce more (or less) output.4798Use --seed=0xdecc28adbdc5edf0 --backend=rust to reproduce.4799Running... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sAn example execution:48004801[State 0]4802{4803 hookNoSubstituteRefs::hook::cache: Set(),4804 hookNoSubstituteRefs::hook::drvUploaded: false,4805 hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4806 hookNoSubstituteRefs::hook::phase: Query,4807 hookNoSubstituteRefs::hook::restarts: 0,4808 hookNoSubstituteRefs::hook::retries: 0,4809 hookNoSubstituteRefs::hook::toUpload: Set()4810}48114812[State 1]4813{4814 hookNoSubstituteRefs::hook::cache: Set("in"),4815 hookNoSubstituteRefs::hook::drvUploaded: false,4816 hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4817 hookNoSubstituteRefs::hook::phase: Upload,4818 hookNoSubstituteRefs::hook::restarts: 0,4819 hookNoSubstituteRefs::hook::retries: 0,4820 hookNoSubstituteRefs::hook::toUpload: Set("drv")4821}48224823[State 2]4824{4825 hookNoSubstituteRefs::hook::cache: Set("in"),4826 hookNoSubstituteRefs::hook::drvUploaded: false,4827 hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4828 hookNoSubstituteRefs::hook::phase: Failed,4829 hookNoSubstituteRefs::hook::restarts: 0,4830 hookNoSubstituteRefs::hook::retries: 0,4831 hookNoSubstituteRefs::hook::toUpload: Set("drv")4832}48334834[violation] Found an issue (43ms at 2070 traces/second).4835Use --verbosity=3 to show executions.4836Use --seed=0x76fe4ad56a52038f --backend=rust to reproduce.4837error: Invariant violated4838Running... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sAn example execution:48394840[State 0]4841{4842 hookNoSubstituteDrv::hook::cache: Set(),4843 hookNoSubstituteDrv::hook::drvUploaded: false,4844 hookNoSubstituteDrv::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),4845 hookNoSubstituteDrv::hook::phase: Query,4846 hookNoSubstituteDrv::hook::restarts: 0,4847 hookNoSubstituteDrv::hook::retries: 0,4848 hookNoSubstituteDrv::hook::toUpload: Set()4849}48504851[State 1]4852{4853 hookNoSubstituteDrv::hook::cache: Set("in"),4854 hookNoSubstituteDrv::hook::drvUploaded: false,4855 hookNoSubstituteDrv::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),4856 hookNoSubstituteDrv::hook::phase: Upload,4857 hookNoSubstituteDrv::hook::restarts: 0,4858 hookNoSubstituteDrv::hook::retries: 0,4859 hookNoSubstituteDrv::hook::toUpload: Set("drv")4860}48614862[State 2]4863{4864 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4865 hookNoSubstituteDrv::hook::drvUploaded: false,4866 hookNoSubstituteDrv::hook::local:4867 Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),4868 hookNoSubstituteDrv::hook::phase: Build,4869 hookNoSubstituteDrv::hook::restarts: 0,4870 hookNoSubstituteDrv::hook::retries: 0,4871 hookNoSubstituteDrv::hook::toUpload: Set("drv")4872}48734874[State 3]4875{4876 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4877 hookNoSubstituteDrv::hook::drvUploaded: false,4878 hookNoSubstituteDrv::hook::local:4879 Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),4880 hookNoSubstituteDrv::hook::phase: UploadDrv,4881 hookNoSubstituteDrv::hook::restarts: 0,4882 hookNoSubstituteDrv::hook::retries: 0,4883 hookNoSubstituteDrv::hook::toUpload: Set("drv")4884}48854886[State 4]4887{4888 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4889 hookNoSubstituteDrv::hook::drvUploaded: true,4890 hookNoSubstituteDrv::hook::local:4891 Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),4892 hookNoSubstituteDrv::hook::phase: Build,4893 hookNoSubstituteDrv::hook::restarts: 0,4894 hookNoSubstituteDrv::hook::retries: 0,4895 hookNoSubstituteDrv::hook::toUpload: Set("drv")4896}48974898[State 5]4899{4900 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4901 hookNoSubstituteDrv::hook::drvUploaded: true,4902 hookNoSubstituteDrv::hook::local:4903 Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),4904 hookNoSubstituteDrv::hook::phase: Failed,4905 hookNoSubstituteDrv::hook::restarts: 0,4906 hookNoSubstituteDrv::hook::retries: 0,4907 hookNoSubstituteDrv::hook::toUpload: Set("drv")4908}49094910[violation] Found an issue (63ms at 1841 traces/second).4911Use --verbosity=3 to show executions.4912Use --seed=0x863d4776d64ca9bf --backend=rust to reproduce.4913error: Invariant violated4914Running... [ ] 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... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 1s | 16276/20000 samples | 57512 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 19637/20000 samples | 51005 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 19637/20000 samples | 51005 samples/sAn example execution:49154916[State 0]4917{4918 pushFixed::push::byPath: Map(),4919 pushFixed::push::inflight: Set(),4920 pushFixed::push::left: Map(),4921 pushFixed::push::sent: Map()4922}49234924[State 1]4925{4926 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),4927 pushFixed::push::inflight: Set((3, "a"), (3, "b")),4928 pushFixed::push::left: Map(3 -> 2),4929 pushFixed::push::sent: Map(3 -> Set("a", "b"))4930}49314932[State 2]4933{4934 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),4935 pushFixed::push::inflight: Set((3, "b")),4936 pushFixed::push::left: Map(3 -> 1),4937 pushFixed::push::sent: Map(3 -> Set("a", "b"))4938}49394940[State 3]4941{4942 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),4943 pushFixed::push::inflight: Set((2, "a"), (2, "b"), (3, "b")),4944 pushFixed::push::left: Map(2 -> 2, 3 -> 1),4945 pushFixed::push::sent: Map(2 -> Set("a", "b"), 3 -> Set("a", "b"))4946}49474948[State 4]4949{4950 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4951 pushFixed::push::inflight:4952 Set((1, "a"), (1, "b"), (2, "a"), (2, "b"), (3, "b")),4953 pushFixed::push::left: Map(1 -> 2, 2 -> 2, 3 -> 1),4954 pushFixed::push::sent:4955 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4956}49574958[State 5]4959{4960 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4961 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (2, "a"), (3, "b")),4962 pushFixed::push::left: Map(1 -> 2, 2 -> 1, 3 -> 1),4963 pushFixed::push::sent:4964 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4965}49664967[State 6]4968{4969 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4970 pushFixed::push::inflight: Set((1, "b"), (2, "a"), (3, "b")),4971 pushFixed::push::left: Map(1 -> 1, 2 -> 1, 3 -> 1),4972 pushFixed::push::sent:4973 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4974}49754976[State 7]4977{4978 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4979 pushFixed::push::inflight: Set((2, "a"), (3, "b")),4980 pushFixed::push::left: Map(1 -> 0, 2 -> 1, 3 -> 1),4981 pushFixed::push::sent:4982 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4983}49844985[State 8]4986{4987 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4988 pushFixed::push::inflight: Set((2, "a")),4989 pushFixed::push::left: Map(1 -> 0, 2 -> 1, 3 -> 0),4990 pushFixed::push::sent:4991 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4992}49934994[State 9]4995{4996 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4997 pushFixed::push::inflight: Set(),4998 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),4999 pushFixed::push::sent:5000 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))5001}50025003[ok] No violation found (453ms at 44150 traces/second).5004Trace length statistics: max=10, min=7, average=7.995005You may increase --max-samples and --max-steps.5006Use --verbosity to produce more (or less) output.5007Use --seed=0x92598355e538aacc --backend=rust to reproduce.