nix-grpc-store-spec
checks.aarch64-darwin.spec
· build #221
· raw
1Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 173s | 152/30000 samples | 173 samples/sRunning... [ ] 1% | ETA: 92s | 329/30000 samples | 326 samples/sRunning... [ ] 1% | ETA: 91s | 367/30000 samples | 329 samples/sRunning... [■ ] 1% | ETA: 75s | 494/30000 samples | 398 samples/sRunning... [■ ] 1% | ETA: 75s | 494/30000 samples | 398 samples/sRunning... [■ ] 2% | ETA: 64s | 646/30000 samples | 463 samples/sRunning... [■ ] 2% | ETA: 64s | 646/30000 samples | 463 samples/sRunning... [■ ] 2% | ETA: 55s | 866/30000 samples | 531 samples/sRunning... [■ ] 2% | ETA: 55s | 866/30000 samples | 531 samples/sRunning... [■ ] 3% | ETA: 53s | 1010/30000 samples | 556 samples/sRunning... [■ ] 3% | ETA: 53s | 1010/30000 samples | 556 samples/sRunning... [■■ ] 3% | ETA: 50s | 1168/30000 samples | 581 samples/sRunning... [■■ ] 3% | ETA: 50s | 1168/30000 samples | 581 samples/sRunning... [■■ ] 4% | ETA: 50s | 1322/30000 samples | 585 samples/sRunning... [■■ ] 4% | ETA: 50s | 1322/30000 samples | 585 samples/sRunning... [■■ ] 5% | ETA: 35s | 1500/30000 samples | 598 samples/sRunning... [■■ ] 5% | ETA: 35s | 1500/30000 samples | 598 samples/sRunning... [■■ ] 5% | ETA: 37s | 1632/30000 samples | 609 samples/sRunning... [■■ ] 5% | ETA: 35s | 1732/30000 samples | 618 samples/sRunning... [■■ ] 5% | ETA: 35s | 1732/30000 samples | 618 samples/sRunning... [■■ ] 6% | ETA: 36s | 1822/30000 samples | 622 samples/sRunning... [■■ ] 6% | ETA: 36s | 1822/30000 samples | 622 samples/sRunning... [■■■ ] 6% | ETA: 37s | 2001/30000 samples | 632 samples/sRunning... [■■■ ] 7% | ETA: 38s | 2118/30000 samples | 637 samples/sRunning... [■■■ ] 7% | ETA: 38s | 2118/30000 samples | 637 samples/sRunning... [■■■ ] 7% | ETA: 38s | 2219/30000 samples | 643 samples/sRunning... [■■■ ] 7% | ETA: 38s | 2324/30000 samples | 647 samples/sRunning... [■■■ ] 7% | ETA: 38s | 2324/30000 samples | 647 samples/sRunning... [■■■ ] 8% | ETA: 37s | 2496/30000 samples | 650 samples/sRunning... [■■■ ] 8% | ETA: 37s | 2496/30000 samples | 650 samples/sRunning... [■■■ ] 8% | ETA: 37s | 2496/30000 samples | 650 samples/sRunning... [■■■■ ] 8% | ETA: 38s | 2628/30000 samples | 648 samples/sRunning... [■■■■ ] 8% | ETA: 38s | 2696/30000 samples | 648 samples/sRunning... [■■■■ ] 9% | ETA: 39s | 2781/30000 samples | 649 samples/sRunning... [■■■■ ] 9% | ETA: 39s | 2781/30000 samples | 649 samples/sRunning... [■■■■ ] 9% | ETA: 39s | 2892/30000 samples | 648 samples/sRunning... [■■■■ ] 9% | ETA: 41s | 2945/30000 samples | 645 samples/sRunning... [■■■■ ] 9% | ETA: 41s | 2945/30000 samples | 645 samples/sRunning... [■■■■ ] 10% | ETA: 38s | 3184/30000 samples | 662 samples/sRunning... [■■■■ ] 11% | ETA: 36s | 3333/30000 samples | 675 samples/sRunning... [■■■■ ] 11% | ETA: 36s | 3333/30000 samples | 675 samples/sRunning... [■■■■■ ] 11% | ETA: 37s | 3448/30000 samples | 670 samples/sRunning... [■■■■■ ] 11% | ETA: 39s | 3478/30000 samples | 662 samples/sRunning... [■■■■■ ] 11% | ETA: 39s | 3478/30000 samples | 662 samples/sRunning... [■■■■■ ] 12% | ETA: 34s | 3732/30000 samples | 681 samples/sRunning... [■■■■■ ] 12% | ETA: 34s | 3732/30000 samples | 681 samples/sRunning... [■■■■■ ] 12% | ETA: 34s | 3732/30000 samples | 681 samples/sRunning... [■■■■■ ] 12% | ETA: 35s | 3865/30000 samples | 680 samples/sRunning... [■■■■■ ] 13% | ETA: 34s | 3945/30000 samples | 682 samples/sRunning... [■■■■■ ] 13% | ETA: 34s | 3945/30000 samples | 682 samples/sRunning... [■■■■■■ ] 13% | ETA: 32s | 4165/30000 samples | 694 samples/sRunning... [■■■■■■ ] 13% | ETA: 32s | 4165/30000 samples | 694 samples/sRunning... [■■■■■■ ] 14% | ETA: 32s | 4288/30000 samples | 692 samples/sRunning... [■■■■■■ ] 14% | ETA: 32s | 4396/30000 samples | 698 samples/sRunning... [■■■■■■ ] 15% | ETA: 31s | 4585/30000 samples | 711 samples/sRunning... [■■■■■■ ] 15% | ETA: 31s | 4585/30000 samples | 711 samples/sRunning... [■■■■■■ ] 15% | ETA: 32s | 4675/30000 samples | 703 samples/sRunning... [■■■■■■ ] 15% | ETA: 30s | 4765/30000 samples | 705 samples/sRunning... [■■■■■■ ] 15% | ETA: 30s | 4765/30000 samples | 705 samples/sRunning... [■■■■■■■ ] 16% | ETA: 32s | 4891/30000 samples | 706 samples/sRunning... [■■■■■■■ ] 16% | ETA: 32s | 4891/30000 samples | 706 samples/sRunning... [■■■■■■■ ] 16% | ETA: 31s | 5091/30000 samples | 709 samples/sRunning... [■■■■■■■ ] 16% | ETA: 31s | 5091/30000 samples | 709 samples/sRunning... [■■■■■■■ ] 17% | ETA: 30s | 5221/30000 samples | 712 samples/sRunning... [■■■■■■■ ] 17% | ETA: 31s | 5358/30000 samples | 718 samples/sRunning... [■■■■■■■ ] 17% | ETA: 31s | 5358/30000 samples | 718 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 26s | 5769/30000 samples | 747 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 24s | 5933/30000 samples | 759 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 24s | 5933/30000 samples | 759 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 27s | 6002/30000 samples | 749 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 24s | 6198/30000 samples | 762 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 24s | 6198/30000 samples | 762 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 24s | 6392/30000 samples | 763 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 25s | 6416/30000 samples | 756 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 24s | 6554/30000 samples | 761 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 24s | 6554/30000 samples | 761 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 24s | 6554/30000 samples | 761 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 24s | 6773/30000 samples | 764 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 24s | 6852/30000 samples | 764 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 28s | 6952/30000 samples | 760 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 31s | 7030/30000 samples | 760 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 28s | 7104/30000 samples | 759 samples/sRunning... [■■■■■■■■■■ ] 23% | ETA: 32s | 7148/30000 samples | 756 samples/sRunning... [■■■■■■■■■■ ] 23% | ETA: 32s | 7148/30000 samples | 756 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 33s | 7257/30000 samples | 756 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 31s | 7351/30000 samples | 756 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 31s | 7351/30000 samples | 756 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 27s | 7711/30000 samples | 770 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 23s | 7973/30000 samples | 789 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 23s | 7973/30000 samples | 789 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 25s | 8008/30000 samples | 781 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 25s | 8008/30000 samples | 781 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 24s | 8148/30000 samples | 780 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 24s | 8250/30000 samples | 779 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 24s | 8325/30000 samples | 778 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 24s | 8325/30000 samples | 778 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 24s | 8413/30000 samples | 775 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 19s | 8843/30000 samples | 804 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 19s | 8895/30000 samples | 800 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 19s | 8895/30000 samples | 800 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 23s | 8951/30000 samples | 788 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 23s | 8951/30000 samples | 788 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 23s | 8951/30000 samples | 788 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 27s | 9159/30000 samples | 789 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 25s | 9266/30000 samples | 788 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 25s | 9266/30000 samples | 788 samples/sRunning... [■■■■■■■■■■■■ ] 31% | ETA: 25s | 9365/30000 samples | 787 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 24s | 9506/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 24s | 9506/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 24s | 9691/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 24s | 9691/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 24s | 9765/30000 samples | 785 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 23s | 10226/30000 samples | 812 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 23s | 10226/30000 samples | 812 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 18s | 10663/30000 samples | 838 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 18s | 10663/30000 samples | 838 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 18s | 10770/30000 samples | 830 samples/sRunning... [■■■■■■■■■■■■■■ ] 36% | ETA: 18s | 10828/30000 samples | 825 samples/sRunning... [■■■■■■■■■■■■■■ ] 36% | ETA: 18s | 10828/30000 samples | 825 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 16s | 11135/30000 samples | 836 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 16s | 11135/30000 samples | 836 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 16s | 11135/30000 samples | 836 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 14s | 11568/30000 samples | 853 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 14s | 11568/30000 samples | 853 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 12s | 12216/30000 samples | 883 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 12s | 12216/30000 samples | 883 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 13s | 12222/30000 samples | 873 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 13s | 12236/30000 samples | 867 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 41% | ETA: 14s | 12333/30000 samples | 868 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 41% | ETA: 14s | 12333/30000 samples | 868 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 17s | 12443/30000 samples | 861 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 16s | 12553/30000 samples | 862 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 16s | 12568/30000 samples | 857 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 16s | 12568/30000 samples | 857 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 17s | 12757/30000 samples | 861 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 18s | 12929/30000 samples | 864 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 30s | 12930/30000 samples | 859 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 27s | 12968/30000 samples | 855 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 27s | 12968/30000 samples | 855 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 43% | ETA: 23s | 13131/30000 samples | 857 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 24s | 13204/30000 samples | 856 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 24s | 13204/30000 samples | 856 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 23s | 13301/30000 samples | 851 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 23s | 13400/30000 samples | 852 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 22s | 13461/30000 samples | 850 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 22s | 13461/30000 samples | 850 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 25s | 13566/30000 samples | 846 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 27s | 13667/30000 samples | 847 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 25s | 13728/30000 samples | 845 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 24s | 13779/30000 samples | 843 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 25s | 13896/30000 samples | 843 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 25s | 13972/30000 samples | 841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 23s | 14063/30000 samples | 841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 23s | 14171/30000 samples | 842 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 24s | 14216/30000 samples | 840 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 24s | 14216/30000 samples | 840 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 18s | 14527/30000 samples | 848 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 18s | 14527/30000 samples | 848 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 21s | 14528/30000 samples | 842 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 20s | 14672/30000 samples | 841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 20s | 14672/30000 samples | 841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 20s | 14672/30000 samples | 841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 20s | 14826/30000 samples | 839 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 20s | 14917/30000 samples | 838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 20s | 14917/30000 samples | 838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 19s | 15090/30000 samples | 837 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 19s | 15090/30000 samples | 837 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 17s | 15462/30000 samples | 845 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 17s | 15462/30000 samples | 845 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 17s | 15591/30000 samples | 846 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 17s | 15591/30000 samples | 846 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 17s | 15731/30000 samples | 842 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 19s | 15808/30000 samples | 842 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 18s | 15865/30000 samples | 840 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 18s | 15934/30000 samples | 839 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 17s | 16026/30000 samples | 840 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 17s | 16026/30000 samples | 840 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 17s | 16126/30000 samples | 838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 17s | 16179/30000 samples | 836 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 17s | 16179/30000 samples | 836 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 18s | 16466/30000 samples | 841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 18s | 16466/30000 samples | 841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 18s | 16568/30000 samples | 839 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 18s | 16648/30000 samples | 839 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 18s | 16648/30000 samples | 839 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 19s | 16772/30000 samples | 834 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 19s | 16772/30000 samples | 834 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 16s | 17011/30000 samples | 839 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 17s | 17018/30000 samples | 834 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 17s | 17018/30000 samples | 834 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 14s | 17407/30000 samples | 846 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 14s | 17407/30000 samples | 846 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 15s | 17478/30000 samples | 840 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 15s | 17576/30000 samples | 838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 15s | 17576/30000 samples | 838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 16s | 17693/30000 samples | 838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 16s | 17758/30000 samples | 837 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 16s | 17810/30000 samples | 835 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 16s | 17810/30000 samples | 835 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 11s | 18300/30000 samples | 850 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 13s | 18301/30000 samples | 846 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 12s | 18329/30000 samples | 843 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 16s | 18386/30000 samples | 841 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 15s | 18436/30000 samples | 839 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 15s | 18436/30000 samples | 839 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 14s | 18549/30000 samples | 839 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 14s | 18590/30000 samples | 837 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 14s | 18674/30000 samples | 836 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 15s | 18708/30000 samples | 833 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 25s | 18790/30000 samples | 831 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 25s | 18790/30000 samples | 831 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 25s | 18790/30000 samples | 831 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 22s | 18931/30000 samples | 828 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 21s | 19001/30000 samples | 827 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 20s | 19088/30000 samples | 827 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 20s | 19088/30000 samples | 827 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 19s | 19159/30000 samples | 825 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 22s | 19167/30000 samples | 821 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 22s | 19167/30000 samples | 821 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 20s | 19351/30000 samples | 820 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 20s | 19351/30000 samples | 820 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 22s | 19362/30000 samples | 816 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 21s | 19425/30000 samples | 814 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 20s | 19526/30000 samples | 815 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 21s | 19560/30000 samples | 812 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 22s | 19601/30000 samples | 809 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 21s | 19703/30000 samples | 810 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 22s | 19741/30000 samples | 808 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 21s | 19768/30000 samples | 805 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 20s | 19897/30000 samples | 807 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 20s | 19897/30000 samples | 807 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 20s | 19897/30000 samples | 807 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 20s | 19944/30000 samples | 802 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 20s | 19944/30000 samples | 802 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 19s | 20093/30000 samples | 801 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 19s | 20093/30000 samples | 801 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 67% | ETA: 18s | 20258/30000 samples | 801 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 67% | ETA: 18s | 20258/30000 samples | 801 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 67% | ETA: 17s | 20392/30000 samples | 800 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 15s | 20515/30000 samples | 801 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 15s | 20515/30000 samples | 801 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 16s | 20627/30000 samples | 798 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 69% | ETA: 15s | 20759/30000 samples | 799 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 69% | ETA: 15s | 20759/30000 samples | 799 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 69% | ETA: 14s | 20853/30000 samples | 798 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 69% | ETA: 14s | 20853/30000 samples | 798 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 69% | ETA: 15s | 20945/30000 samples | 796 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 15s | 21018/30000 samples | 793 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 15s | 21018/30000 samples | 793 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 15s | 21018/30000 samples | 793 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 14s | 21212/30000 samples | 793 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 14s | 21312/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 15s | 21367/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 15s | 21367/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 14s | 21459/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 14s | 21526/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 14s | 21526/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 72% | ETA: 14s | 21701/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 72% | ETA: 14s | 21701/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 72% | ETA: 12s | 21849/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 11s | 21997/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 11s | 22088/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 11s | 22088/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 11s | 22088/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 11s | 22249/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 10s | 22340/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 10s | 22477/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 75% | ETA: 10s | 22561/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 75% | ETA: 10s | 22632/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 75% | ETA: 10s | 22632/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 75% | ETA: 10s | 22632/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 9s | 22868/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 9s | 22868/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 9s | 23036/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 77% | ETA: 9s | 23159/30000 samples | 792 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 77% | ETA: 9s | 23159/30000 samples | 792 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 77% | ETA: 9s | 23302/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 77% | ETA: 9s | 23302/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 77% | ETA: 9s | 23398/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 9s | 23495/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 9s | 23574/30000 samples | 789 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 9s | 23574/30000 samples | 789 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 9s | 23574/30000 samples | 789 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 9s | 23770/30000 samples | 789 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 8s | 23894/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 8s | 23894/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 8s | 23894/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 8s | 24111/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 8s | 24198/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 8s | 24288/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 8s | 24288/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 7s | 24486/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 7s | 24486/30000 samples | 791 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 7s | 24700/30000 samples | 792 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 7s | 24700/30000 samples | 792 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 7s | 24838/30000 samples | 792 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 6s | 24973/30000 samples | 793 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 6s | 24973/30000 samples | 793 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 6s | 25129/30000 samples | 794 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 6s | 25129/30000 samples | 794 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 6s | 25294/30000 samples | 793 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 6s | 25294/30000 samples | 793 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 6s | 25502/30000 samples | 794 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 6s | 25502/30000 samples | 794 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 5s | 25691/30000 samples | 795 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 5s | 25691/30000 samples | 795 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 5s | 25810/30000 samples | 795 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 5s | 26021/30000 samples | 797 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 5s | 26021/30000 samples | 797 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 5s | 26183/30000 samples | 797 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 5s | 26306/30000 samples | 798 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 5s | 26306/30000 samples | 798 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 5s | 26306/30000 samples | 798 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 4s | 26568/30000 samples | 800 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 4s | 26568/30000 samples | 800 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 4s | 26779/30000 samples | 802 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 4s | 26924/30000 samples | 803 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 4s | 26924/30000 samples | 803 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 3s | 27053/30000 samples | 803 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 3s | 27053/30000 samples | 803 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 3s | 27289/30000 samples | 805 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 3s | 27289/30000 samples | 805 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 3s | 27410/30000 samples | 804 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 3s | 27410/30000 samples | 804 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 3s | 27632/30000 samples | 806 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 3s | 27739/30000 samples | 806 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 3s | 27897/30000 samples | 807 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 3s | 27897/30000 samples | 807 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 2s | 28067/30000 samples | 809 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 2s | 28234/30000 samples | 810 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 2s | 28339/30000 samples | 810 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 2s | 28339/30000 samples | 810 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 2s | 28508/30000 samples | 812 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 2s | 28508/30000 samples | 812 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 2s | 28695/30000 samples | 812 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 2s | 28792/30000 samples | 812 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 2s | 28964/30000 samples | 814 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 29071/30000 samples | 815 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29192/30000 samples | 816 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29355/30000 samples | 818 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29355/30000 samples | 818 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 29511/30000 samples | 819 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 98% | ETA: 1s | 29646/30000 samples | 820 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29794/30000 samples | 821 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29794/30000 samples | 821 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29919/30000 samples | 820 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29972/30000 samples | 818 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29990/30000 samples | 817 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29990/30000 samples | 817 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 30000/30000 samples | 814 samples/sAn example execution:23[State 0]4{5 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),6 schedFixed::scheduler::crashes: 0,7 schedFixed::scheduler::entry: [],8 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),9 schedFixed::scheduler::mAssigned: Set(),10 schedFixed::scheduler::mBuild: Set(),11 schedFixed::scheduler::mDone: Set(),12 schedFixed::scheduler::mExpect: Set(),13 schedFixed::scheduler::mResult: Set(),14 schedFixed::scheduler::mRetry: Set(),15 schedFixed::scheduler::mRevoke: Set(),16 schedFixed::scheduler::mSchedule: Set(),17 schedFixed::scheduler::published: 0,18 schedFixed::scheduler::publishedBy: Set(),19 schedFixed::scheduler::ws:20 Map(21 "w1" ->22 {23 attached: Set(),24 built: false,25 expecting: false,26 running: false,27 session: true,28 up: true29 },30 "w2" ->31 {32 attached: Set(),33 built: false,34 expecting: false,35 running: false,36 session: true,37 up: true38 }39 )40}4142[State 1]43{44 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),45 schedFixed::scheduler::crashes: 0,46 schedFixed::scheduler::entry: [],47 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),48 schedFixed::scheduler::mAssigned: Set(),49 schedFixed::scheduler::mBuild: Set(),50 schedFixed::scheduler::mDone: Set(),51 schedFixed::scheduler::mExpect: Set(),52 schedFixed::scheduler::mResult: Set(),53 schedFixed::scheduler::mRetry: Set(),54 schedFixed::scheduler::mRevoke: Set(),55 schedFixed::scheduler::mSchedule: Set("c1"),56 schedFixed::scheduler::published: 0,57 schedFixed::scheduler::publishedBy: Set(),58 schedFixed::scheduler::ws:59 Map(60 "w1" ->61 {62 attached: Set(),63 built: false,64 expecting: false,65 running: false,66 session: true,67 up: true68 },69 "w2" ->70 {71 attached: Set(),72 built: false,73 expecting: false,74 running: false,75 session: true,76 up: true77 }78 )79}8081[State 2]82{83 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),84 schedFixed::scheduler::crashes: 0,85 schedFixed::scheduler::entry: [],86 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),87 schedFixed::scheduler::mAssigned: Set(),88 schedFixed::scheduler::mBuild: Set(),89 schedFixed::scheduler::mDone: Set(),90 schedFixed::scheduler::mExpect: Set(),91 schedFixed::scheduler::mResult: Set(),92 schedFixed::scheduler::mRetry: Set(),93 schedFixed::scheduler::mRevoke: Set(),94 schedFixed::scheduler::mSchedule: Set("c1", "c2"),95 schedFixed::scheduler::published: 0,96 schedFixed::scheduler::publishedBy: Set(),97 schedFixed::scheduler::ws:98 Map(99 "w1" ->100 {101 attached: Set(),102 built: false,103 expecting: false,104 running: false,105 session: true,106 up: true107 },108 "w2" ->109 {110 attached: Set(),111 built: false,112 expecting: false,113 running: false,114 session: true,115 up: true116 }117 )118}119120[State 3]121{122 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),123 schedFixed::scheduler::crashes: 1,124 schedFixed::scheduler::entry: [],125 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),126 schedFixed::scheduler::mAssigned: Set(),127 schedFixed::scheduler::mBuild: Set(),128 schedFixed::scheduler::mDone: Set(),129 schedFixed::scheduler::mExpect: Set(),130 schedFixed::scheduler::mResult: Set(),131 schedFixed::scheduler::mRetry: Set(),132 schedFixed::scheduler::mRevoke: Set(),133 schedFixed::scheduler::mSchedule: Set("c1", "c2"),134 schedFixed::scheduler::published: 0,135 schedFixed::scheduler::publishedBy: Set(),136 schedFixed::scheduler::ws:137 Map(138 "w1" ->139 {140 attached: Set(),141 built: false,142 expecting: false,143 running: false,144 session: false,145 up: false146 },147 "w2" ->148 {149 attached: Set(),150 built: false,151 expecting: false,152 running: false,153 session: true,154 up: true155 }156 )157}158159[State 4]160{161 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),162 schedFixed::scheduler::crashes: 1,163 schedFixed::scheduler::entry: [],164 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),165 schedFixed::scheduler::mAssigned: Set(),166 schedFixed::scheduler::mBuild: Set(),167 schedFixed::scheduler::mDone: Set(),168 schedFixed::scheduler::mExpect: Set(),169 schedFixed::scheduler::mResult: Set(),170 schedFixed::scheduler::mRetry: Set(),171 schedFixed::scheduler::mRevoke: Set(),172 schedFixed::scheduler::mSchedule: Set("c1", "c2"),173 schedFixed::scheduler::published: 0,174 schedFixed::scheduler::publishedBy: Set(),175 schedFixed::scheduler::ws:176 Map(177 "w1" ->178 {179 attached: Set(),180 built: false,181 expecting: false,182 running: false,183 session: true,184 up: true185 },186 "w2" ->187 {188 attached: Set(),189 built: false,190 expecting: false,191 running: false,192 session: true,193 up: true194 }195 )196}197198[State 5]199{200 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),201 schedFixed::scheduler::crashes: 1,202 schedFixed::scheduler::entry:203 [{ followers: Set("c1"), leased: true, worker: "w1" }],204 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),205 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),206 schedFixed::scheduler::mBuild: Set(),207 schedFixed::scheduler::mDone: Set(),208 schedFixed::scheduler::mExpect: Set("w1"),209 schedFixed::scheduler::mResult: Set(),210 schedFixed::scheduler::mRetry: Set(),211 schedFixed::scheduler::mRevoke: Set(),212 schedFixed::scheduler::mSchedule: Set("c2"),213 schedFixed::scheduler::published: 0,214 schedFixed::scheduler::publishedBy: Set(),215 schedFixed::scheduler::ws:216 Map(217 "w1" ->218 {219 attached: Set(),220 built: false,221 expecting: false,222 running: false,223 session: true,224 up: true225 },226 "w2" ->227 {228 attached: Set(),229 built: false,230 expecting: false,231 running: false,232 session: true,233 up: true234 }235 )236}237238[State 6]239{240 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),241 schedFixed::scheduler::crashes: 2,242 schedFixed::scheduler::entry: [],243 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),244 schedFixed::scheduler::mAssigned: Set(),245 schedFixed::scheduler::mBuild: Set(),246 schedFixed::scheduler::mDone: Set(),247 schedFixed::scheduler::mExpect: Set(),248 schedFixed::scheduler::mResult: Set(),249 schedFixed::scheduler::mRetry: Set("c1", "c2"),250 schedFixed::scheduler::mRevoke: Set(),251 schedFixed::scheduler::mSchedule: Set(),252 schedFixed::scheduler::published: 0,253 schedFixed::scheduler::publishedBy: Set(),254 schedFixed::scheduler::ws:255 Map(256 "w1" ->257 {258 attached: Set(),259 built: false,260 expecting: false,261 running: false,262 session: false,263 up: true264 },265 "w2" ->266 {267 attached: Set(),268 built: false,269 expecting: false,270 running: false,271 session: false,272 up: true273 }274 )275}276277[State 7]278{279 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),280 schedFixed::scheduler::crashes: 2,281 schedFixed::scheduler::entry: [],282 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),283 schedFixed::scheduler::mAssigned: Set(),284 schedFixed::scheduler::mBuild: Set(),285 schedFixed::scheduler::mDone: Set(),286 schedFixed::scheduler::mExpect: Set(),287 schedFixed::scheduler::mResult: Set(),288 schedFixed::scheduler::mRetry: Set("c2"),289 schedFixed::scheduler::mRevoke: Set(),290 schedFixed::scheduler::mSchedule: Set("c1"),291 schedFixed::scheduler::published: 0,292 schedFixed::scheduler::publishedBy: Set(),293 schedFixed::scheduler::ws:294 Map(295 "w1" ->296 {297 attached: Set(),298 built: false,299 expecting: false,300 running: false,301 session: false,302 up: true303 },304 "w2" ->305 {306 attached: Set(),307 built: false,308 expecting: false,309 running: false,310 session: false,311 up: true312 }313 )314}315316[State 8]317{318 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),319 schedFixed::scheduler::crashes: 2,320 schedFixed::scheduler::entry: [],321 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),322 schedFixed::scheduler::mAssigned: Set(),323 schedFixed::scheduler::mBuild: Set(),324 schedFixed::scheduler::mDone: Set(),325 schedFixed::scheduler::mExpect: Set(),326 schedFixed::scheduler::mResult: Set(),327 schedFixed::scheduler::mRetry: Set("c2"),328 schedFixed::scheduler::mRevoke: Set(),329 schedFixed::scheduler::mSchedule: Set("c1"),330 schedFixed::scheduler::published: 0,331 schedFixed::scheduler::publishedBy: Set(),332 schedFixed::scheduler::ws:333 Map(334 "w1" ->335 {336 attached: Set(),337 built: false,338 expecting: false,339 running: false,340 session: false,341 up: true342 },343 "w2" ->344 {345 attached: Set(),346 built: false,347 expecting: false,348 running: false,349 session: true,350 up: true351 }352 )353}354355[State 9]356{357 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),358 schedFixed::scheduler::crashes: 2,359 schedFixed::scheduler::entry:360 [{ followers: Set("c1"), leased: true, worker: "w2" }],361 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),362 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),363 schedFixed::scheduler::mBuild: Set(),364 schedFixed::scheduler::mDone: Set(),365 schedFixed::scheduler::mExpect: Set("w2"),366 schedFixed::scheduler::mResult: Set(),367 schedFixed::scheduler::mRetry: Set("c2"),368 schedFixed::scheduler::mRevoke: Set(),369 schedFixed::scheduler::mSchedule: Set(),370 schedFixed::scheduler::published: 0,371 schedFixed::scheduler::publishedBy: Set(),372 schedFixed::scheduler::ws:373 Map(374 "w1" ->375 {376 attached: Set(),377 built: false,378 expecting: false,379 running: false,380 session: false,381 up: true382 },383 "w2" ->384 {385 attached: Set(),386 built: false,387 expecting: false,388 running: false,389 session: true,390 up: true391 }392 )393}394395[State 10]396{397 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),398 schedFixed::scheduler::crashes: 2,399 schedFixed::scheduler::entry:400 [{ followers: Set("c1"), leased: true, worker: "w2" }],401 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),402 schedFixed::scheduler::mAssigned: Set(),403 schedFixed::scheduler::mBuild: Set(("c1", "w2")),404 schedFixed::scheduler::mDone: Set(),405 schedFixed::scheduler::mExpect: Set("w2"),406 schedFixed::scheduler::mResult: Set(),407 schedFixed::scheduler::mRetry: Set("c2"),408 schedFixed::scheduler::mRevoke: Set(),409 schedFixed::scheduler::mSchedule: Set(),410 schedFixed::scheduler::published: 0,411 schedFixed::scheduler::publishedBy: Set(),412 schedFixed::scheduler::ws:413 Map(414 "w1" ->415 {416 attached: Set(),417 built: false,418 expecting: false,419 running: false,420 session: false,421 up: true422 },423 "w2" ->424 {425 attached: Set(),426 built: false,427 expecting: false,428 running: false,429 session: true,430 up: true431 }432 )433}434435[State 11]436{437 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),438 schedFixed::scheduler::crashes: 2,439 schedFixed::scheduler::entry:440 [{ followers: Set("c1"), leased: true, worker: "w2" }],441 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),442 schedFixed::scheduler::mAssigned: Set(),443 schedFixed::scheduler::mBuild: Set(("c1", "w2")),444 schedFixed::scheduler::mDone: Set(),445 schedFixed::scheduler::mExpect: Set("w2"),446 schedFixed::scheduler::mResult: Set(),447 schedFixed::scheduler::mRetry: Set("c2"),448 schedFixed::scheduler::mRevoke: Set(),449 schedFixed::scheduler::mSchedule: Set(),450 schedFixed::scheduler::published: 0,451 schedFixed::scheduler::publishedBy: Set(),452 schedFixed::scheduler::ws:453 Map(454 "w1" ->455 {456 attached: Set(),457 built: false,458 expecting: false,459 running: false,460 session: true,461 up: true462 },463 "w2" ->464 {465 attached: Set(),466 built: false,467 expecting: false,468 running: false,469 session: true,470 up: true471 }472 )473}474475[State 12]476{477 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),478 schedFixed::scheduler::crashes: 2,479 schedFixed::scheduler::entry:480 [{ followers: Set("c1"), leased: true, worker: "w2" }],481 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),482 schedFixed::scheduler::mAssigned: Set(),483 schedFixed::scheduler::mBuild: Set(),484 schedFixed::scheduler::mDone: Set(),485 schedFixed::scheduler::mExpect: Set("w2"),486 schedFixed::scheduler::mResult: Set(),487 schedFixed::scheduler::mRetry: Set("c1", "c2"),488 schedFixed::scheduler::mRevoke: Set(),489 schedFixed::scheduler::mSchedule: Set(),490 schedFixed::scheduler::published: 0,491 schedFixed::scheduler::publishedBy: Set(),492 schedFixed::scheduler::ws:493 Map(494 "w1" ->495 {496 attached: Set(),497 built: false,498 expecting: false,499 running: false,500 session: true,501 up: true502 },503 "w2" ->504 {505 attached: Set(),506 built: false,507 expecting: false,508 running: false,509 session: true,510 up: true511 }512 )513}514515[State 13]516{517 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),518 schedFixed::scheduler::crashes: 2,519 schedFixed::scheduler::entry:520 [{ followers: Set("c1"), leased: true, worker: "w2" }],521 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),522 schedFixed::scheduler::mAssigned: Set(),523 schedFixed::scheduler::mBuild: Set(),524 schedFixed::scheduler::mDone: Set(),525 schedFixed::scheduler::mExpect: Set("w2"),526 schedFixed::scheduler::mResult: Set(),527 schedFixed::scheduler::mRetry: Set("c1"),528 schedFixed::scheduler::mRevoke: Set(),529 schedFixed::scheduler::mSchedule: Set("c2"),530 schedFixed::scheduler::published: 0,531 schedFixed::scheduler::publishedBy: Set(),532 schedFixed::scheduler::ws:533 Map(534 "w1" ->535 {536 attached: Set(),537 built: false,538 expecting: false,539 running: false,540 session: true,541 up: true542 },543 "w2" ->544 {545 attached: Set(),546 built: false,547 expecting: false,548 running: false,549 session: true,550 up: true551 }552 )553}554555[State 14]556{557 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),558 schedFixed::scheduler::crashes: 2,559 schedFixed::scheduler::entry:560 [{ followers: Set("c1"), leased: true, worker: "w2" }],561 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),562 schedFixed::scheduler::mAssigned: Set(),563 schedFixed::scheduler::mBuild: Set(),564 schedFixed::scheduler::mDone: Set(),565 schedFixed::scheduler::mExpect: Set("w2"),566 schedFixed::scheduler::mResult: Set(),567 schedFixed::scheduler::mRetry: Set(),568 schedFixed::scheduler::mRevoke: Set(),569 schedFixed::scheduler::mSchedule: Set("c1", "c2"),570 schedFixed::scheduler::published: 0,571 schedFixed::scheduler::publishedBy: Set(),572 schedFixed::scheduler::ws:573 Map(574 "w1" ->575 {576 attached: Set(),577 built: false,578 expecting: false,579 running: false,580 session: true,581 up: true582 },583 "w2" ->584 {585 attached: Set(),586 built: false,587 expecting: false,588 running: false,589 session: true,590 up: true591 }592 )593}594595[State 15]596{597 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),598 schedFixed::scheduler::crashes: 2,599 schedFixed::scheduler::entry:600 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],601 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),602 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),603 schedFixed::scheduler::mBuild: Set(),604 schedFixed::scheduler::mDone: Set(),605 schedFixed::scheduler::mExpect: Set("w2"),606 schedFixed::scheduler::mResult: Set(),607 schedFixed::scheduler::mRetry: Set(),608 schedFixed::scheduler::mRevoke: Set(),609 schedFixed::scheduler::mSchedule: Set("c1"),610 schedFixed::scheduler::published: 0,611 schedFixed::scheduler::publishedBy: Set(),612 schedFixed::scheduler::ws:613 Map(614 "w1" ->615 {616 attached: Set(),617 built: false,618 expecting: false,619 running: false,620 session: true,621 up: true622 },623 "w2" ->624 {625 attached: Set(),626 built: false,627 expecting: false,628 running: false,629 session: true,630 up: true631 }632 )633}634635[State 16]636{637 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),638 schedFixed::scheduler::crashes: 2,639 schedFixed::scheduler::entry:640 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],641 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),642 schedFixed::scheduler::mAssigned: Set(),643 schedFixed::scheduler::mBuild: Set(("c2", "w2")),644 schedFixed::scheduler::mDone: Set(),645 schedFixed::scheduler::mExpect: Set("w2"),646 schedFixed::scheduler::mResult: Set(),647 schedFixed::scheduler::mRetry: Set(),648 schedFixed::scheduler::mRevoke: Set(),649 schedFixed::scheduler::mSchedule: Set("c1"),650 schedFixed::scheduler::published: 0,651 schedFixed::scheduler::publishedBy: Set(),652 schedFixed::scheduler::ws:653 Map(654 "w1" ->655 {656 attached: Set(),657 built: false,658 expecting: false,659 running: false,660 session: true,661 up: true662 },663 "w2" ->664 {665 attached: Set(),666 built: false,667 expecting: false,668 running: false,669 session: true,670 up: true671 }672 )673}674675[State 17]676{677 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),678 schedFixed::scheduler::crashes: 2,679 schedFixed::scheduler::entry:680 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],681 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),682 schedFixed::scheduler::mAssigned: Set(),683 schedFixed::scheduler::mBuild: Set(),684 schedFixed::scheduler::mDone: Set(),685 schedFixed::scheduler::mExpect: Set("w2"),686 schedFixed::scheduler::mResult: Set(),687 schedFixed::scheduler::mRetry: Set("c2"),688 schedFixed::scheduler::mRevoke: Set(),689 schedFixed::scheduler::mSchedule: Set("c1"),690 schedFixed::scheduler::published: 0,691 schedFixed::scheduler::publishedBy: Set(),692 schedFixed::scheduler::ws:693 Map(694 "w1" ->695 {696 attached: Set(),697 built: false,698 expecting: false,699 running: false,700 session: true,701 up: true702 },703 "w2" ->704 {705 attached: Set(),706 built: false,707 expecting: false,708 running: false,709 session: true,710 up: true711 }712 )713}714715[State 18]716{717 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),718 schedFixed::scheduler::crashes: 2,719 schedFixed::scheduler::entry:720 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],721 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),722 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),723 schedFixed::scheduler::mBuild: Set(),724 schedFixed::scheduler::mDone: Set(),725 schedFixed::scheduler::mExpect: Set("w2"),726 schedFixed::scheduler::mResult: Set(),727 schedFixed::scheduler::mRetry: Set("c2"),728 schedFixed::scheduler::mRevoke: Set(),729 schedFixed::scheduler::mSchedule: Set(),730 schedFixed::scheduler::published: 0,731 schedFixed::scheduler::publishedBy: Set(),732 schedFixed::scheduler::ws:733 Map(734 "w1" ->735 {736 attached: Set(),737 built: false,738 expecting: false,739 running: false,740 session: true,741 up: true742 },743 "w2" ->744 {745 attached: Set(),746 built: false,747 expecting: false,748 running: false,749 session: true,750 up: true751 }752 )753}754755[State 19]756{757 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),758 schedFixed::scheduler::crashes: 2,759 schedFixed::scheduler::entry:760 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],761 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),762 schedFixed::scheduler::mAssigned: Set(),763 schedFixed::scheduler::mBuild: Set(("c1", "w2")),764 schedFixed::scheduler::mDone: Set(),765 schedFixed::scheduler::mExpect: Set("w2"),766 schedFixed::scheduler::mResult: Set(),767 schedFixed::scheduler::mRetry: Set("c2"),768 schedFixed::scheduler::mRevoke: Set(),769 schedFixed::scheduler::mSchedule: Set(),770 schedFixed::scheduler::published: 0,771 schedFixed::scheduler::publishedBy: Set(),772 schedFixed::scheduler::ws:773 Map(774 "w1" ->775 {776 attached: Set(),777 built: false,778 expecting: false,779 running: false,780 session: true,781 up: true782 },783 "w2" ->784 {785 attached: Set(),786 built: false,787 expecting: false,788 running: false,789 session: true,790 up: true791 }792 )793}794795[State 20]796{797 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),798 schedFixed::scheduler::crashes: 2,799 schedFixed::scheduler::entry:800 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],801 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),802 schedFixed::scheduler::mAssigned: Set(),803 schedFixed::scheduler::mBuild: Set(("c1", "w2")),804 schedFixed::scheduler::mDone: Set(),805 schedFixed::scheduler::mExpect: Set("w2"),806 schedFixed::scheduler::mResult: Set(),807 schedFixed::scheduler::mRetry: Set(),808 schedFixed::scheduler::mRevoke: Set(),809 schedFixed::scheduler::mSchedule: Set("c2"),810 schedFixed::scheduler::published: 0,811 schedFixed::scheduler::publishedBy: Set(),812 schedFixed::scheduler::ws:813 Map(814 "w1" ->815 {816 attached: Set(),817 built: false,818 expecting: false,819 running: false,820 session: true,821 up: true822 },823 "w2" ->824 {825 attached: Set(),826 built: false,827 expecting: false,828 running: false,829 session: true,830 up: true831 }832 )833}834835[State 21]836{837 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),838 schedFixed::scheduler::crashes: 2,839 schedFixed::scheduler::entry:840 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],841 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),842 schedFixed::scheduler::mAssigned: Set(),843 schedFixed::scheduler::mBuild: Set(),844 schedFixed::scheduler::mDone: Set(),845 schedFixed::scheduler::mExpect: Set("w2"),846 schedFixed::scheduler::mResult: Set(),847 schedFixed::scheduler::mRetry: Set("c1"),848 schedFixed::scheduler::mRevoke: Set(),849 schedFixed::scheduler::mSchedule: Set("c2"),850 schedFixed::scheduler::published: 0,851 schedFixed::scheduler::publishedBy: Set(),852 schedFixed::scheduler::ws:853 Map(854 "w1" ->855 {856 attached: Set(),857 built: false,858 expecting: false,859 running: false,860 session: true,861 up: true862 },863 "w2" ->864 {865 attached: Set(),866 built: false,867 expecting: false,868 running: false,869 session: true,870 up: true871 }872 )873}874875[State 22]876{877 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),878 schedFixed::scheduler::crashes: 2,879 schedFixed::scheduler::entry:880 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],881 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),882 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),883 schedFixed::scheduler::mBuild: Set(),884 schedFixed::scheduler::mDone: Set(),885 schedFixed::scheduler::mExpect: Set("w2"),886 schedFixed::scheduler::mResult: Set(),887 schedFixed::scheduler::mRetry: Set("c1"),888 schedFixed::scheduler::mRevoke: Set(),889 schedFixed::scheduler::mSchedule: Set(),890 schedFixed::scheduler::published: 0,891 schedFixed::scheduler::publishedBy: Set(),892 schedFixed::scheduler::ws:893 Map(894 "w1" ->895 {896 attached: Set(),897 built: false,898 expecting: false,899 running: false,900 session: true,901 up: true902 },903 "w2" ->904 {905 attached: Set(),906 built: false,907 expecting: false,908 running: false,909 session: true,910 up: true911 }912 )913}914915[State 23]916{917 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),918 schedFixed::scheduler::crashes: 2,919 schedFixed::scheduler::entry:920 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],921 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),922 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),923 schedFixed::scheduler::mBuild: Set(),924 schedFixed::scheduler::mDone: Set(),925 schedFixed::scheduler::mExpect: Set(),926 schedFixed::scheduler::mResult: Set(),927 schedFixed::scheduler::mRetry: Set("c1"),928 schedFixed::scheduler::mRevoke: Set(),929 schedFixed::scheduler::mSchedule: Set(),930 schedFixed::scheduler::published: 0,931 schedFixed::scheduler::publishedBy: Set(),932 schedFixed::scheduler::ws:933 Map(934 "w1" ->935 {936 attached: Set(),937 built: false,938 expecting: false,939 running: false,940 session: true,941 up: true942 },943 "w2" ->944 {945 attached: Set(),946 built: false,947 expecting: true,948 running: true,949 session: true,950 up: true951 }952 )953}954955[State 24]956{957 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),958 schedFixed::scheduler::crashes: 2,959 schedFixed::scheduler::entry:960 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],961 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),962 schedFixed::scheduler::mAssigned: Set(),963 schedFixed::scheduler::mBuild: Set(("c2", "w2")),964 schedFixed::scheduler::mDone: Set(),965 schedFixed::scheduler::mExpect: Set(),966 schedFixed::scheduler::mResult: Set(),967 schedFixed::scheduler::mRetry: Set("c1"),968 schedFixed::scheduler::mRevoke: Set(),969 schedFixed::scheduler::mSchedule: Set(),970 schedFixed::scheduler::published: 0,971 schedFixed::scheduler::publishedBy: Set(),972 schedFixed::scheduler::ws:973 Map(974 "w1" ->975 {976 attached: Set(),977 built: false,978 expecting: false,979 running: false,980 session: true,981 up: true982 },983 "w2" ->984 {985 attached: Set(),986 built: false,987 expecting: true,988 running: true,989 session: true,990 up: true991 }992 )993}994995[State 25]996{997 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),998 schedFixed::scheduler::crashes: 2,999 schedFixed::scheduler::entry:1000 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1001 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1002 schedFixed::scheduler::mAssigned: Set(),1003 schedFixed::scheduler::mBuild: Set(("c2", "w2")),1004 schedFixed::scheduler::mDone: Set("w2"),1005 schedFixed::scheduler::mExpect: Set(),1006 schedFixed::scheduler::mResult: Set(),1007 schedFixed::scheduler::mRetry: Set("c1"),1008 schedFixed::scheduler::mRevoke: Set(),1009 schedFixed::scheduler::mSchedule: Set(),1010 schedFixed::scheduler::published: 1,1011 schedFixed::scheduler::publishedBy: Set("w2"),1012 schedFixed::scheduler::ws:1013 Map(1014 "w1" ->1015 {1016 attached: Set(),1017 built: false,1018 expecting: false,1019 running: false,1020 session: true,1021 up: true1022 },1023 "w2" ->1024 {1025 attached: Set(),1026 built: true,1027 expecting: false,1028 running: false,1029 session: true,1030 up: true1031 }1032 )1033}10341035[State 26]1036{1037 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1038 schedFixed::scheduler::crashes: 2,1039 schedFixed::scheduler::entry:1040 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1041 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1042 schedFixed::scheduler::mAssigned: Set(),1043 schedFixed::scheduler::mBuild: Set(("c2", "w2")),1044 schedFixed::scheduler::mDone: Set("w2"),1045 schedFixed::scheduler::mExpect: Set(),1046 schedFixed::scheduler::mResult: Set(),1047 schedFixed::scheduler::mRetry: Set(),1048 schedFixed::scheduler::mRevoke: Set(),1049 schedFixed::scheduler::mSchedule: Set("c1"),1050 schedFixed::scheduler::published: 1,1051 schedFixed::scheduler::publishedBy: Set("w2"),1052 schedFixed::scheduler::ws:1053 Map(1054 "w1" ->1055 {1056 attached: Set(),1057 built: false,1058 expecting: false,1059 running: false,1060 session: true,1061 up: true1062 },1063 "w2" ->1064 {1065 attached: Set(),1066 built: true,1067 expecting: false,1068 running: false,1069 session: true,1070 up: true1071 }1072 )1073}10741075[State 27]1076{1077 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1078 schedFixed::scheduler::crashes: 2,1079 schedFixed::scheduler::entry:1080 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1081 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1082 schedFixed::scheduler::mAssigned: Set(),1083 schedFixed::scheduler::mBuild: Set(("c2", "w2")),1084 schedFixed::scheduler::mDone: Set("w2"),1085 schedFixed::scheduler::mExpect: Set(),1086 schedFixed::scheduler::mResult: Set("c1"),1087 schedFixed::scheduler::mRetry: Set(),1088 schedFixed::scheduler::mRevoke: Set(),1089 schedFixed::scheduler::mSchedule: Set(),1090 schedFixed::scheduler::published: 1,1091 schedFixed::scheduler::publishedBy: Set("w2"),1092 schedFixed::scheduler::ws:1093 Map(1094 "w1" ->1095 {1096 attached: Set(),1097 built: false,1098 expecting: false,1099 running: false,1100 session: true,1101 up: true1102 },1103 "w2" ->1104 {1105 attached: Set(),1106 built: true,1107 expecting: false,1108 running: false,1109 session: true,1110 up: true1111 }1112 )1113}11141115[State 28]1116{1117 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")),1118 schedFixed::scheduler::crashes: 2,1119 schedFixed::scheduler::entry:1120 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1121 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1122 schedFixed::scheduler::mAssigned: Set(),1123 schedFixed::scheduler::mBuild: Set(("c2", "w2")),1124 schedFixed::scheduler::mDone: Set("w2"),1125 schedFixed::scheduler::mExpect: Set(),1126 schedFixed::scheduler::mResult: Set(),1127 schedFixed::scheduler::mRetry: Set(),1128 schedFixed::scheduler::mRevoke: Set(),1129 schedFixed::scheduler::mSchedule: Set(),1130 schedFixed::scheduler::published: 1,1131 schedFixed::scheduler::publishedBy: Set("w2"),1132 schedFixed::scheduler::ws:1133 Map(1134 "w1" ->1135 {1136 attached: Set(),1137 built: false,1138 expecting: false,1139 running: false,1140 session: true,1141 up: true1142 },1143 "w2" ->1144 {1145 attached: Set(),1146 built: true,1147 expecting: false,1148 running: false,1149 session: true,1150 up: true1151 }1152 )1153}11541155[State 29]1156{1157 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")),1158 schedFixed::scheduler::crashes: 2,1159 schedFixed::scheduler::entry:1160 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1161 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1162 schedFixed::scheduler::mAssigned: Set(),1163 schedFixed::scheduler::mBuild: Set(),1164 schedFixed::scheduler::mDone: Set("w2"),1165 schedFixed::scheduler::mExpect: Set(),1166 schedFixed::scheduler::mResult: Set("c2"),1167 schedFixed::scheduler::mRetry: Set(),1168 schedFixed::scheduler::mRevoke: Set(),1169 schedFixed::scheduler::mSchedule: Set(),1170 schedFixed::scheduler::published: 1,1171 schedFixed::scheduler::publishedBy: Set("w2"),1172 schedFixed::scheduler::ws:1173 Map(1174 "w1" ->1175 {1176 attached: Set(),1177 built: false,1178 expecting: false,1179 running: false,1180 session: true,1181 up: true1182 },1183 "w2" ->1184 {1185 attached: Set(),1186 built: true,1187 expecting: false,1188 running: false,1189 session: true,1190 up: true1191 }1192 )1193}11941195[State 30]1196{1197 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")),1198 schedFixed::scheduler::crashes: 2,1199 schedFixed::scheduler::entry: [],1200 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1201 schedFixed::scheduler::mAssigned: Set(),1202 schedFixed::scheduler::mBuild: Set(),1203 schedFixed::scheduler::mDone: Set(),1204 schedFixed::scheduler::mExpect: Set(),1205 schedFixed::scheduler::mResult: Set("c2"),1206 schedFixed::scheduler::mRetry: Set(),1207 schedFixed::scheduler::mRevoke: Set(),1208 schedFixed::scheduler::mSchedule: Set(),1209 schedFixed::scheduler::published: 1,1210 schedFixed::scheduler::publishedBy: Set("w2"),1211 schedFixed::scheduler::ws:1212 Map(1213 "w1" ->1214 {1215 attached: Set(),1216 built: false,1217 expecting: false,1218 running: false,1219 session: true,1220 up: true1221 },1222 "w2" ->1223 {1224 attached: Set(),1225 built: true,1226 expecting: false,1227 running: false,1228 session: true,1229 up: true1230 }1231 )1232}12331234[ok] No violation found (37163ms at 807 traces/second).1235Trace length statistics: max=31, min=15, average=18.811236You may increase --max-samples and --max-steps.1237Use --verbosity to produce more (or less) output.1238Use --seed=0xd92b5d1434d4bbf6 --backend=rust to reproduce.1239Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■ ] 2% | ETA: 11s | 856/30000 samples | 2932 samples/sRunning... [■ ] 3% | ETA: 12s | 1038/30000 samples | 2648 samples/sRunning... [■ ] 3% | ETA: 12s | 1038/30000 samples | 2648 samples/sRunning... [■ ] 3% | ETA: 12s | 1038/30000 samples | 2648 samples/sRunning... [■■ ] 4% | ETA: 13s | 1440/30000 samples | 2345 samples/sRunning... [■■ ] 4% | ETA: 13s | 1440/30000 samples | 2345 samples/sRunning... [■■ ] 6% | ETA: 14s | 1801/30000 samples | 2172 samples/sRunning... [■■■ ] 6% | ETA: 14s | 2028/30000 samples | 2126 samples/sRunning... [■■■ ] 7% | ETA: 14s | 2309/30000 samples | 2056 samples/sRunning... [■■■ ] 7% | ETA: 14s | 2309/30000 samples | 2056 samples/sRunning... [■■■ ] 8% | ETA: 14s | 2435/30000 samples | 1986 samples/sRunning... [■■■ ] 8% | ETA: 15s | 2604/30000 samples | 1959 samples/sRunning... [■■■ ] 8% | ETA: 15s | 2604/30000 samples | 1959 samples/sRunning... [■■■■ ] 9% | ETA: 15s | 2991/30000 samples | 1894 samples/sRunning... [■■■■ ] 9% | ETA: 15s | 2991/30000 samples | 1894 samples/sRunning... [■■■■ ] 10% | ETA: 16s | 3298/30000 samples | 1879 samples/sRunning... [■■■■■ ] 11% | ETA: 16s | 3487/30000 samples | 1872 samples/sRunning... [■■■■■ ] 12% | ETA: 17s | 3711/30000 samples | 1852 samples/sRunning... [■■■■■ ] 13% | ETA: 17s | 3911/30000 samples | 1837 samples/sRunning... [■■■■■ ] 13% | ETA: 17s | 3911/30000 samples | 1837 samples/sRunning... [■■■■■■ ] 13% | ETA: 17s | 4153/30000 samples | 1817 samples/sRunning... [■■■■■■ ] 13% | ETA: 17s | 4153/30000 samples | 1817 samples/sRunning... [■■■■■■ ] 14% | ETA: 17s | 4428/30000 samples | 1808 samples/sRunning... [■■■■■■ ] 15% | ETA: 16s | 4599/30000 samples | 1803 samples/sRunning... [■■■■■■ ] 15% | ETA: 16s | 4599/30000 samples | 1803 samples/sRunning... [■■■■■■■ ] 16% | ETA: 16s | 4953/30000 samples | 1784 samples/sRunning... [■■■■■■■ ] 17% | ETA: 16s | 5142/30000 samples | 1786 samples/sRunning... [■■■■■■■ ] 17% | ETA: 16s | 5348/30000 samples | 1768 samples/sRunning... [■■■■■■■ ] 18% | ETA: 16s | 5539/30000 samples | 1765 samples/sRunning... [■■■■■■■ ] 18% | ETA: 16s | 5539/30000 samples | 1765 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 16s | 5817/30000 samples | 1747 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 15s | 6005/30000 samples | 1751 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 15s | 6005/30000 samples | 1751 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 15s | 6395/30000 samples | 1742 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 15s | 6395/30000 samples | 1742 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 15s | 6690/30000 samples | 1747 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 15s | 6690/30000 samples | 1747 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 14s | 6962/30000 samples | 1748 samples/sRunning... [■■■■■■■■■■ ] 23% | ETA: 14s | 7175/30000 samples | 1740 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 15s | 7314/30000 samples | 1729 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 14s | 7492/30000 samples | 1730 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 14s | 7651/30000 samples | 1721 samples/sRunning... [■■■■■■■■■■ ] 26% | ETA: 14s | 7854/30000 samples | 1719 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 14s | 8006/30000 samples | 1714 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 14s | 8006/30000 samples | 1714 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 14s | 8006/30000 samples | 1714 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 14s | 8371/30000 samples | 1704 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 14s | 8371/30000 samples | 1704 samples/sRunning... [■■■■■■■■■■■■ ] 28% | ETA: 14s | 8678/30000 samples | 1697 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 14s | 8880/30000 samples | 1696 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 14s | 9122/30000 samples | 1694 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 14s | 9122/30000 samples | 1694 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 14s | 9122/30000 samples | 1694 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 13s | 9496/30000 samples | 1694 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 13s | 9781/30000 samples | 1691 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 13s | 9781/30000 samples | 1691 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 13s | 10108/30000 samples | 1690 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 13s | 10258/30000 samples | 1685 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 13s | 10258/30000 samples | 1685 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 13s | 10258/30000 samples | 1685 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 13s | 10626/30000 samples | 1681 samples/sRunning... [■■■■■■■■■■■■■■ ] 36% | ETA: 12s | 10849/30000 samples | 1678 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 12s | 11087/30000 samples | 1679 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 12s | 11087/30000 samples | 1679 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 12s | 11087/30000 samples | 1679 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 12s | 11470/30000 samples | 1674 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 12s | 11470/30000 samples | 1674 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 12s | 11735/30000 samples | 1668 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 12s | 11735/30000 samples | 1668 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 12s | 12043/30000 samples | 1654 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 13s | 12181/30000 samples | 1642 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 13s | 12181/30000 samples | 1642 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 13s | 12395/30000 samples | 1634 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 13s | 12395/30000 samples | 1634 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 13s | 12633/30000 samples | 1625 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 13s | 12633/30000 samples | 1625 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 13s | 12877/30000 samples | 1614 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 13s | 13059/30000 samples | 1605 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 13s | 13059/30000 samples | 1605 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 43% | ETA: 14s | 13194/30000 samples | 1594 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 15s | 13298/30000 samples | 1582 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 15s | 13372/30000 samples | 1572 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 16s | 13466/30000 samples | 1564 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 16s | 13549/30000 samples | 1552 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 16s | 13549/30000 samples | 1552 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 17s | 13662/30000 samples | 1540 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 18s | 13772/30000 samples | 1535 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 18s | 13772/30000 samples | 1535 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 18s | 13985/30000 samples | 1517 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 19s | 14077/30000 samples | 1510 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 19s | 14185/30000 samples | 1500 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 19s | 14185/30000 samples | 1500 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 18s | 14391/30000 samples | 1494 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 17s | 14505/30000 samples | 1491 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 17s | 14641/30000 samples | 1482 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 17s | 14641/30000 samples | 1482 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 17s | 14641/30000 samples | 1482 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 16s | 14929/30000 samples | 1475 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 15s | 15044/30000 samples | 1471 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 15s | 15044/30000 samples | 1471 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 15s | 15316/30000 samples | 1466 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 14s | 15487/30000 samples | 1463 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 14s | 15487/30000 samples | 1463 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 13s | 15623/30000 samples | 1460 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 13s | 15623/30000 samples | 1460 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 13s | 15868/30000 samples | 1453 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 13s | 15868/30000 samples | 1453 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 13s | 16166/30000 samples | 1447 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 12s | 16318/30000 samples | 1445 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 12s | 16318/30000 samples | 1445 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 12s | 16318/30000 samples | 1445 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 12s | 16586/30000 samples | 1439 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 12s | 16586/30000 samples | 1439 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 12s | 16850/30000 samples | 1433 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 12s | 16850/30000 samples | 1433 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 11s | 17133/30000 samples | 1427 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 11s | 17263/30000 samples | 1425 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 11s | 17407/30000 samples | 1425 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 11s | 17407/30000 samples | 1425 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 11s | 17611/30000 samples | 1421 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 11s | 17611/30000 samples | 1421 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 11s | 17864/30000 samples | 1418 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 11s | 17864/30000 samples | 1418 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 10s | 18160/30000 samples | 1416 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 10s | 18160/30000 samples | 1416 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 10s | 18306/30000 samples | 1414 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 10s | 18306/30000 samples | 1414 samples/sAn example execution:12401241[State 0]1242{1243 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1244 schedNoRevoke::scheduler::crashes: 0,1245 schedNoRevoke::scheduler::entry: [],1246 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1247 schedNoRevoke::scheduler::mAssigned: Set(),1248 schedNoRevoke::scheduler::mBuild: Set(),1249 schedNoRevoke::scheduler::mDone: Set(),1250 schedNoRevoke::scheduler::mExpect: Set(),1251 schedNoRevoke::scheduler::mResult: Set(),1252 schedNoRevoke::scheduler::mRetry: Set(),1253 schedNoRevoke::scheduler::mRevoke: Set(),1254 schedNoRevoke::scheduler::mSchedule: Set(),1255 schedNoRevoke::scheduler::published: 0,1256 schedNoRevoke::scheduler::publishedBy: Set(),1257 schedNoRevoke::scheduler::ws:1258 Map(1259 "w1" ->1260 {1261 attached: Set(),1262 built: false,1263 expecting: false,1264 running: false,1265 session: true,1266 up: true1267 },1268 "w2" ->1269 {1270 attached: Set(),1271 built: false,1272 expecting: false,1273 running: false,1274 session: true,1275 up: true1276 }1277 )1278}12791280[State 1]1281{1282 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1283 schedNoRevoke::scheduler::crashes: 0,1284 schedNoRevoke::scheduler::entry: [],1285 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1286 schedNoRevoke::scheduler::mAssigned: Set(),1287 schedNoRevoke::scheduler::mBuild: Set(),1288 schedNoRevoke::scheduler::mDone: Set(),1289 schedNoRevoke::scheduler::mExpect: Set(),1290 schedNoRevoke::scheduler::mResult: Set(),1291 schedNoRevoke::scheduler::mRetry: Set(),1292 schedNoRevoke::scheduler::mRevoke: Set(),1293 schedNoRevoke::scheduler::mSchedule: Set("c1"),1294 schedNoRevoke::scheduler::published: 0,1295 schedNoRevoke::scheduler::publishedBy: Set(),1296 schedNoRevoke::scheduler::ws:1297 Map(1298 "w1" ->1299 {1300 attached: Set(),1301 built: false,1302 expecting: false,1303 running: false,1304 session: true,1305 up: true1306 },1307 "w2" ->1308 {1309 attached: Set(),1310 built: false,1311 expecting: false,1312 running: false,1313 session: true,1314 up: true1315 }1316 )1317}13181319[State 2]1320{1321 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1322 schedNoRevoke::scheduler::crashes: 0,1323 schedNoRevoke::scheduler::entry:1324 [{ followers: Set("c1"), leased: true, worker: "w1" }],1325 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 1),1326 schedNoRevoke::scheduler::mAssigned: Set(("c1", "w1")),1327 schedNoRevoke::scheduler::mBuild: Set(),1328 schedNoRevoke::scheduler::mDone: Set(),1329 schedNoRevoke::scheduler::mExpect: Set("w1"),1330 schedNoRevoke::scheduler::mResult: Set(),1331 schedNoRevoke::scheduler::mRetry: Set(),1332 schedNoRevoke::scheduler::mRevoke: Set(),1333 schedNoRevoke::scheduler::mSchedule: Set(),1334 schedNoRevoke::scheduler::published: 0,1335 schedNoRevoke::scheduler::publishedBy: Set(),1336 schedNoRevoke::scheduler::ws:1337 Map(1338 "w1" ->1339 {1340 attached: Set(),1341 built: false,1342 expecting: false,1343 running: false,1344 session: true,1345 up: true1346 },1347 "w2" ->1348 {1349 attached: Set(),1350 built: false,1351 expecting: false,1352 running: false,1353 session: true,1354 up: true1355 }1356 )1357}13581359[State 3]1360{1361 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1362 schedNoRevoke::scheduler::crashes: 0,1363 schedNoRevoke::scheduler::entry:1364 [{ followers: Set("c1"), leased: true, worker: "w1" }],1365 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 1),1366 schedNoRevoke::scheduler::mAssigned: Set(("c1", "w1")),1367 schedNoRevoke::scheduler::mBuild: Set(),1368 schedNoRevoke::scheduler::mDone: Set(),1369 schedNoRevoke::scheduler::mExpect: Set(),1370 schedNoRevoke::scheduler::mResult: Set(),1371 schedNoRevoke::scheduler::mRetry: Set(),1372 schedNoRevoke::scheduler::mRevoke: Set(),1373 schedNoRevoke::scheduler::mSchedule: Set(),1374 schedNoRevoke::scheduler::published: 0,1375 schedNoRevoke::scheduler::publishedBy: Set(),1376 schedNoRevoke::scheduler::ws:1377 Map(1378 "w1" ->1379 {1380 attached: Set(),1381 built: false,1382 expecting: true,1383 running: true,1384 session: true,1385 up: true1386 },1387 "w2" ->1388 {1389 attached: Set(),1390 built: false,1391 expecting: false,1392 running: false,1393 session: true,1394 up: true1395 }1396 )1397}13981399[State 4]1400{1401 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1402 schedNoRevoke::scheduler::crashes: 1,1403 schedNoRevoke::scheduler::entry: [],1404 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1405 schedNoRevoke::scheduler::mAssigned: Set(),1406 schedNoRevoke::scheduler::mBuild: Set(),1407 schedNoRevoke::scheduler::mDone: Set(),1408 schedNoRevoke::scheduler::mExpect: Set(),1409 schedNoRevoke::scheduler::mResult: Set(),1410 schedNoRevoke::scheduler::mRetry: Set("c1"),1411 schedNoRevoke::scheduler::mRevoke: Set(),1412 schedNoRevoke::scheduler::mSchedule: Set(),1413 schedNoRevoke::scheduler::published: 0,1414 schedNoRevoke::scheduler::publishedBy: Set(),1415 schedNoRevoke::scheduler::ws:1416 Map(1417 "w1" ->1418 {1419 attached: Set(),1420 built: false,1421 expecting: true,1422 running: true,1423 session: false,1424 up: true1425 },1426 "w2" ->1427 {1428 attached: Set(),1429 built: false,1430 expecting: false,1431 running: false,1432 session: false,1433 up: true1434 }1435 )1436}14371438[State 5]1439{1440 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1441 schedNoRevoke::scheduler::crashes: 2,1442 schedNoRevoke::scheduler::entry: [],1443 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1444 schedNoRevoke::scheduler::mAssigned: Set(),1445 schedNoRevoke::scheduler::mBuild: Set(),1446 schedNoRevoke::scheduler::mDone: Set(),1447 schedNoRevoke::scheduler::mExpect: Set(),1448 schedNoRevoke::scheduler::mResult: Set(),1449 schedNoRevoke::scheduler::mRetry: Set("c1"),1450 schedNoRevoke::scheduler::mRevoke: Set(),1451 schedNoRevoke::scheduler::mSchedule: Set(),1452 schedNoRevoke::scheduler::published: 0,1453 schedNoRevoke::scheduler::publishedBy: Set(),1454 schedNoRevoke::scheduler::ws:1455 Map(1456 "w1" ->1457 {1458 attached: Set(),1459 built: false,1460 expecting: true,1461 running: true,1462 session: false,1463 up: true1464 },1465 "w2" ->1466 {1467 attached: Set(),1468 built: false,1469 expecting: false,1470 running: false,1471 session: false,1472 up: true1473 }1474 )1475}14761477[State 6]1478{1479 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1480 schedNoRevoke::scheduler::crashes: 2,1481 schedNoRevoke::scheduler::entry: [],1482 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1483 schedNoRevoke::scheduler::mAssigned: Set(),1484 schedNoRevoke::scheduler::mBuild: Set(),1485 schedNoRevoke::scheduler::mDone: Set(),1486 schedNoRevoke::scheduler::mExpect: Set(),1487 schedNoRevoke::scheduler::mResult: Set(),1488 schedNoRevoke::scheduler::mRetry: Set("c1"),1489 schedNoRevoke::scheduler::mRevoke: Set(),1490 schedNoRevoke::scheduler::mSchedule: Set(),1491 schedNoRevoke::scheduler::published: 0,1492 schedNoRevoke::scheduler::publishedBy: Set(),1493 schedNoRevoke::scheduler::ws:1494 Map(1495 "w1" ->1496 {1497 attached: Set(),1498 built: false,1499 expecting: true,1500 running: true,1501 session: false,1502 up: true1503 },1504 "w2" ->1505 {1506 attached: Set(),1507 built: false,1508 expecting: false,1509 running: false,1510 session: true,1511 up: true1512 }1513 )1514}15151516[State 7]1517{1518 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1519 schedNoRevoke::scheduler::crashes: 2,1520 schedNoRevoke::scheduler::entry: [],1521 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1522 schedNoRevoke::scheduler::mAssigned: Set(),1523 schedNoRevoke::scheduler::mBuild: Set(),1524 schedNoRevoke::scheduler::mDone: Set(),1525 schedNoRevoke::scheduler::mExpect: Set(),1526 schedNoRevoke::scheduler::mResult: Set(),1527 schedNoRevoke::scheduler::mRetry: Set(),1528 schedNoRevoke::scheduler::mRevoke: Set(),1529 schedNoRevoke::scheduler::mSchedule: Set("c1"),1530 schedNoRevoke::scheduler::published: 0,1531 schedNoRevoke::scheduler::publishedBy: Set(),1532 schedNoRevoke::scheduler::ws:1533 Map(1534 "w1" ->1535 {1536 attached: Set(),1537 built: false,1538 expecting: true,1539 running: true,1540 session: false,1541 up: true1542 },1543 "w2" ->1544 {1545 attached: Set(),1546 built: false,1547 expecting: false,1548 running: false,1549 session: true,1550 up: true1551 }1552 )1553}15541555[State 8]1556{1557 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1558 schedNoRevoke::scheduler::crashes: 2,1559 schedNoRevoke::scheduler::entry:1560 [{ followers: Set("c1"), leased: true, worker: "w2" }],1561 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 0),1562 schedNoRevoke::scheduler::mAssigned: Set(("c1", "w2")),1563 schedNoRevoke::scheduler::mBuild: Set(),1564 schedNoRevoke::scheduler::mDone: Set(),1565 schedNoRevoke::scheduler::mExpect: Set("w2"),1566 schedNoRevoke::scheduler::mResult: Set(),1567 schedNoRevoke::scheduler::mRetry: Set(),1568 schedNoRevoke::scheduler::mRevoke: Set(),1569 schedNoRevoke::scheduler::mSchedule: Set(),1570 schedNoRevoke::scheduler::published: 0,1571 schedNoRevoke::scheduler::publishedBy: Set(),1572 schedNoRevoke::scheduler::ws:1573 Map(1574 "w1" ->1575 {1576 attached: Set(),1577 built: false,1578 expecting: true,1579 running: true,1580 session: false,1581 up: true1582 },1583 "w2" ->1584 {1585 attached: Set(),1586 built: false,1587 expecting: false,1588 running: false,1589 session: true,1590 up: true1591 }1592 )1593}15941595[State 9]1596{1597 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1598 schedNoRevoke::scheduler::crashes: 2,1599 schedNoRevoke::scheduler::entry:1600 [{ followers: Set("c1"), leased: true, worker: "w2" }],1601 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 0),1602 schedNoRevoke::scheduler::mAssigned: Set(("c1", "w2")),1603 schedNoRevoke::scheduler::mBuild: Set(),1604 schedNoRevoke::scheduler::mDone: Set(),1605 schedNoRevoke::scheduler::mExpect: Set("w2"),1606 schedNoRevoke::scheduler::mResult: Set(),1607 schedNoRevoke::scheduler::mRetry: Set(),1608 schedNoRevoke::scheduler::mRevoke: Set(),1609 schedNoRevoke::scheduler::mSchedule: Set(),1610 schedNoRevoke::scheduler::published: 0,1611 schedNoRevoke::scheduler::publishedBy: Set(),1612 schedNoRevoke::scheduler::ws:1613 Map(1614 "w1" ->1615 {1616 attached: Set(),1617 built: false,1618 expecting: true,1619 running: true,1620 session: true,1621 up: true1622 },1623 "w2" ->1624 {1625 attached: Set(),1626 built: false,1627 expecting: false,1628 running: false,1629 session: true,1630 up: true1631 }1632 )1633}16341635[State 10]1636{1637 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1638 schedNoRevoke::scheduler::crashes: 2,1639 schedNoRevoke::scheduler::entry:1640 [{ followers: Set("c1"), leased: true, worker: "w2" }],1641 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 0),1642 schedNoRevoke::scheduler::mAssigned: Set(("c1", "w2")),1643 schedNoRevoke::scheduler::mBuild: Set(),1644 schedNoRevoke::scheduler::mDone: Set(),1645 schedNoRevoke::scheduler::mExpect: Set(),1646 schedNoRevoke::scheduler::mResult: Set(),1647 schedNoRevoke::scheduler::mRetry: Set(),1648 schedNoRevoke::scheduler::mRevoke: Set(),1649 schedNoRevoke::scheduler::mSchedule: Set(),1650 schedNoRevoke::scheduler::published: 0,1651 schedNoRevoke::scheduler::publishedBy: Set(),1652 schedNoRevoke::scheduler::ws:1653 Map(1654 "w1" ->1655 {1656 attached: Set(),1657 built: false,1658 expecting: true,1659 running: true,1660 session: true,1661 up: true1662 },1663 "w2" ->1664 {1665 attached: Set(),1666 built: false,1667 expecting: true,1668 running: true,1669 session: true,1670 up: true1671 }1672 )1673}16741675[violation] Found an issue (13246ms at 1388 traces/second).1676Use --verbosity=3 to show executions.1677Use --seed=0xeac1863bcfce20f1 --backend=rust to reproduce.1678error: Invariant violated1679Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■■ ] 4% | ETA: 7s | 1208/30000 samples | 4628 samples/sRunning... [■■ ] 4% | ETA: 8s | 1476/30000 samples | 3915 samples/sRunning... [■■ ] 6% | ETA: 9s | 1871/30000 samples | 3408 samples/sRunning... [■■ ] 6% | ETA: 9s | 1871/30000 samples | 3408 samples/sRunning... [■■■ ] 7% | ETA: 9s | 2350/30000 samples | 3133 samples/sRunning... [■■■ ] 7% | ETA: 9s | 2350/30000 samples | 3133 samples/sRunning... [■■■■ ] 8% | ETA: 10s | 2638/30000 samples | 2974 samples/sRunning... [■■■■ ] 9% | ETA: 10s | 2904/30000 samples | 2875 samples/sRunning... [■■■■ ] 9% | ETA: 10s | 2904/30000 samples | 2875 samples/sRunning... [■■■■■ ] 11% | ETA: 10s | 3424/30000 samples | 2722 samples/sRunning... [■■■■■ ] 11% | ETA: 10s | 3424/30000 samples | 2722 samples/sRunning... [■■■■■ ] 12% | ETA: 11s | 3636/30000 samples | 2625 samples/sRunning... [■■■■■ ] 12% | ETA: 11s | 3636/30000 samples | 2625 samples/sRunning... [■■■■■ ] 13% | ETA: 11s | 4104/30000 samples | 2515 samples/sRunning... [■■■■■■ ] 14% | ETA: 13s | 4252/30000 samples | 2454 samples/sRunning... [■■■■■■ ] 14% | ETA: 13s | 4377/30000 samples | 2387 samples/sRunning... [■■■■■■ ] 14% | ETA: 13s | 4377/30000 samples | 2387 samples/sRunning... [■■■■■■ ] 15% | ETA: 14s | 4555/30000 samples | 2253 samples/sRunning... [■■■■■■ ] 15% | ETA: 14s | 4555/30000 samples | 2253 samples/sRunning... [■■■■■■ ] 15% | ETA: 16s | 4723/30000 samples | 2135 samples/sRunning... [■■■■■■ ] 15% | ETA: 16s | 4723/30000 samples | 2135 samples/sRunning... [■■■■■■■ ] 16% | ETA: 18s | 4891/30000 samples | 2010 samples/sRunning... [■■■■■■■ ] 16% | ETA: 19s | 4985/30000 samples | 1957 samples/sRunning... [■■■■■■■ ] 16% | ETA: 19s | 4985/30000 samples | 1957 samples/sRunning... [■■■■■■■ ] 16% | ETA: 19s | 4985/30000 samples | 1957 samples/sRunning... [■■■■■■■ ] 17% | ETA: 22s | 5163/30000 samples | 1846 samples/sRunning... [■■■■■■■ ] 17% | ETA: 25s | 5238/30000 samples | 1773 samples/sRunning... [■■■■■■■ ] 17% | ETA: 25s | 5238/30000 samples | 1773 samples/sRunning... [■■■■■■■ ] 17% | ETA: 31s | 5365/30000 samples | 1676 samples/sRunning... [■■■■■■■ ] 17% | ETA: 31s | 5365/30000 samples | 1676 samples/sRunning... [■■■■■■■ ] 17% | ETA: 31s | 5365/30000 samples | 1676 samples/sAn example execution:16801681[State 0]1682{1683 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1684 schedNoFence::scheduler::crashes: 0,1685 schedNoFence::scheduler::entry: [],1686 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1687 schedNoFence::scheduler::mAssigned: Set(),1688 schedNoFence::scheduler::mBuild: Set(),1689 schedNoFence::scheduler::mDone: Set(),1690 schedNoFence::scheduler::mExpect: Set(),1691 schedNoFence::scheduler::mResult: Set(),1692 schedNoFence::scheduler::mRetry: Set(),1693 schedNoFence::scheduler::mRevoke: Set(),1694 schedNoFence::scheduler::mSchedule: Set(),1695 schedNoFence::scheduler::published: 0,1696 schedNoFence::scheduler::publishedBy: Set(),1697 schedNoFence::scheduler::ws:1698 Map(1699 "w1" ->1700 {1701 attached: Set(),1702 built: false,1703 expecting: false,1704 running: false,1705 session: true,1706 up: true1707 },1708 "w2" ->1709 {1710 attached: Set(),1711 built: false,1712 expecting: false,1713 running: false,1714 session: true,1715 up: true1716 }1717 )1718}17191720[State 1]1721{1722 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1723 schedNoFence::scheduler::crashes: 1,1724 schedNoFence::scheduler::entry: [],1725 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1726 schedNoFence::scheduler::mAssigned: Set(),1727 schedNoFence::scheduler::mBuild: Set(),1728 schedNoFence::scheduler::mDone: Set(),1729 schedNoFence::scheduler::mExpect: Set(),1730 schedNoFence::scheduler::mResult: Set(),1731 schedNoFence::scheduler::mRetry: Set(),1732 schedNoFence::scheduler::mRevoke: Set(),1733 schedNoFence::scheduler::mSchedule: Set(),1734 schedNoFence::scheduler::published: 0,1735 schedNoFence::scheduler::publishedBy: Set(),1736 schedNoFence::scheduler::ws:1737 Map(1738 "w1" ->1739 {1740 attached: Set(),1741 built: false,1742 expecting: false,1743 running: false,1744 session: false,1745 up: true1746 },1747 "w2" ->1748 {1749 attached: Set(),1750 built: false,1751 expecting: false,1752 running: false,1753 session: false,1754 up: true1755 }1756 )1757}17581759[State 2]1760{1761 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1762 schedNoFence::scheduler::crashes: 1,1763 schedNoFence::scheduler::entry: [],1764 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1765 schedNoFence::scheduler::mAssigned: Set(),1766 schedNoFence::scheduler::mBuild: Set(),1767 schedNoFence::scheduler::mDone: Set(),1768 schedNoFence::scheduler::mExpect: Set(),1769 schedNoFence::scheduler::mResult: Set(),1770 schedNoFence::scheduler::mRetry: Set(),1771 schedNoFence::scheduler::mRevoke: Set(),1772 schedNoFence::scheduler::mSchedule: Set(),1773 schedNoFence::scheduler::published: 0,1774 schedNoFence::scheduler::publishedBy: Set(),1775 schedNoFence::scheduler::ws:1776 Map(1777 "w1" ->1778 {1779 attached: Set(),1780 built: false,1781 expecting: false,1782 running: false,1783 session: false,1784 up: true1785 },1786 "w2" ->1787 {1788 attached: Set(),1789 built: false,1790 expecting: false,1791 running: false,1792 session: true,1793 up: true1794 }1795 )1796}17971798[State 3]1799{1800 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1801 schedNoFence::scheduler::crashes: 1,1802 schedNoFence::scheduler::entry: [],1803 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1804 schedNoFence::scheduler::mAssigned: Set(),1805 schedNoFence::scheduler::mBuild: Set(),1806 schedNoFence::scheduler::mDone: Set(),1807 schedNoFence::scheduler::mExpect: Set(),1808 schedNoFence::scheduler::mResult: Set(),1809 schedNoFence::scheduler::mRetry: Set(),1810 schedNoFence::scheduler::mRevoke: Set(),1811 schedNoFence::scheduler::mSchedule: Set("c1"),1812 schedNoFence::scheduler::published: 0,1813 schedNoFence::scheduler::publishedBy: Set(),1814 schedNoFence::scheduler::ws:1815 Map(1816 "w1" ->1817 {1818 attached: Set(),1819 built: false,1820 expecting: false,1821 running: false,1822 session: false,1823 up: true1824 },1825 "w2" ->1826 {1827 attached: Set(),1828 built: false,1829 expecting: false,1830 running: false,1831 session: true,1832 up: true1833 }1834 )1835}18361837[State 4]1838{1839 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1840 schedNoFence::scheduler::crashes: 1,1841 schedNoFence::scheduler::entry:1842 [{ followers: Set("c1"), leased: true, worker: "w2" }],1843 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1844 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),1845 schedNoFence::scheduler::mBuild: Set(),1846 schedNoFence::scheduler::mDone: Set(),1847 schedNoFence::scheduler::mExpect: Set("w2"),1848 schedNoFence::scheduler::mResult: Set(),1849 schedNoFence::scheduler::mRetry: Set(),1850 schedNoFence::scheduler::mRevoke: Set(),1851 schedNoFence::scheduler::mSchedule: Set(),1852 schedNoFence::scheduler::published: 0,1853 schedNoFence::scheduler::publishedBy: Set(),1854 schedNoFence::scheduler::ws:1855 Map(1856 "w1" ->1857 {1858 attached: Set(),1859 built: false,1860 expecting: false,1861 running: false,1862 session: false,1863 up: true1864 },1865 "w2" ->1866 {1867 attached: Set(),1868 built: false,1869 expecting: false,1870 running: false,1871 session: true,1872 up: true1873 }1874 )1875}18761877[State 5]1878{1879 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1880 schedNoFence::scheduler::crashes: 1,1881 schedNoFence::scheduler::entry:1882 [{ followers: Set("c1"), leased: true, worker: "w2" }],1883 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1884 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),1885 schedNoFence::scheduler::mBuild: Set(),1886 schedNoFence::scheduler::mDone: Set(),1887 schedNoFence::scheduler::mExpect: Set(),1888 schedNoFence::scheduler::mResult: Set(),1889 schedNoFence::scheduler::mRetry: Set(),1890 schedNoFence::scheduler::mRevoke: Set(),1891 schedNoFence::scheduler::mSchedule: Set(),1892 schedNoFence::scheduler::published: 0,1893 schedNoFence::scheduler::publishedBy: Set(),1894 schedNoFence::scheduler::ws:1895 Map(1896 "w1" ->1897 {1898 attached: Set(),1899 built: false,1900 expecting: false,1901 running: false,1902 session: false,1903 up: true1904 },1905 "w2" ->1906 {1907 attached: Set(),1908 built: false,1909 expecting: true,1910 running: true,1911 session: true,1912 up: true1913 }1914 )1915}19161917[State 6]1918{1919 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1920 schedNoFence::scheduler::crashes: 2,1921 schedNoFence::scheduler::entry: [],1922 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1923 schedNoFence::scheduler::mAssigned: Set(),1924 schedNoFence::scheduler::mBuild: Set(),1925 schedNoFence::scheduler::mDone: Set(),1926 schedNoFence::scheduler::mExpect: Set(),1927 schedNoFence::scheduler::mResult: Set(),1928 schedNoFence::scheduler::mRetry: Set("c1"),1929 schedNoFence::scheduler::mRevoke: Set(),1930 schedNoFence::scheduler::mSchedule: Set(),1931 schedNoFence::scheduler::published: 0,1932 schedNoFence::scheduler::publishedBy: Set(),1933 schedNoFence::scheduler::ws:1934 Map(1935 "w1" ->1936 {1937 attached: Set(),1938 built: false,1939 expecting: false,1940 running: false,1941 session: false,1942 up: true1943 },1944 "w2" ->1945 {1946 attached: Set(),1947 built: false,1948 expecting: true,1949 running: true,1950 session: false,1951 up: true1952 }1953 )1954}19551956[State 7]1957{1958 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1959 schedNoFence::scheduler::crashes: 2,1960 schedNoFence::scheduler::entry: [],1961 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1962 schedNoFence::scheduler::mAssigned: Set(),1963 schedNoFence::scheduler::mBuild: Set(),1964 schedNoFence::scheduler::mDone: Set(),1965 schedNoFence::scheduler::mExpect: Set(),1966 schedNoFence::scheduler::mResult: Set(),1967 schedNoFence::scheduler::mRetry: Set(),1968 schedNoFence::scheduler::mRevoke: Set(),1969 schedNoFence::scheduler::mSchedule: Set("c1"),1970 schedNoFence::scheduler::published: 0,1971 schedNoFence::scheduler::publishedBy: Set(),1972 schedNoFence::scheduler::ws:1973 Map(1974 "w1" ->1975 {1976 attached: Set(),1977 built: false,1978 expecting: false,1979 running: false,1980 session: false,1981 up: true1982 },1983 "w2" ->1984 {1985 attached: Set(),1986 built: false,1987 expecting: true,1988 running: true,1989 session: false,1990 up: true1991 }1992 )1993}19941995[State 8]1996{1997 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1998 schedNoFence::scheduler::crashes: 2,1999 schedNoFence::scheduler::entry: [],2000 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2001 schedNoFence::scheduler::mAssigned: Set(),2002 schedNoFence::scheduler::mBuild: Set(),2003 schedNoFence::scheduler::mDone: Set(),2004 schedNoFence::scheduler::mExpect: Set(),2005 schedNoFence::scheduler::mResult: Set(),2006 schedNoFence::scheduler::mRetry: Set(),2007 schedNoFence::scheduler::mRevoke: Set(),2008 schedNoFence::scheduler::mSchedule: Set("c1"),2009 schedNoFence::scheduler::published: 0,2010 schedNoFence::scheduler::publishedBy: Set(),2011 schedNoFence::scheduler::ws:2012 Map(2013 "w1" ->2014 {2015 attached: Set(),2016 built: false,2017 expecting: false,2018 running: false,2019 session: true,2020 up: true2021 },2022 "w2" ->2023 {2024 attached: Set(),2025 built: false,2026 expecting: true,2027 running: true,2028 session: false,2029 up: true2030 }2031 )2032}20332034[State 9]2035{2036 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2037 schedNoFence::scheduler::crashes: 2,2038 schedNoFence::scheduler::entry:2039 [{ followers: Set("c1"), leased: true, worker: "w1" }],2040 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2041 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),2042 schedNoFence::scheduler::mBuild: Set(),2043 schedNoFence::scheduler::mDone: Set(),2044 schedNoFence::scheduler::mExpect: Set("w1"),2045 schedNoFence::scheduler::mResult: Set(),2046 schedNoFence::scheduler::mRetry: Set(),2047 schedNoFence::scheduler::mRevoke: Set(),2048 schedNoFence::scheduler::mSchedule: Set(),2049 schedNoFence::scheduler::published: 0,2050 schedNoFence::scheduler::publishedBy: Set(),2051 schedNoFence::scheduler::ws:2052 Map(2053 "w1" ->2054 {2055 attached: Set(),2056 built: false,2057 expecting: false,2058 running: false,2059 session: true,2060 up: true2061 },2062 "w2" ->2063 {2064 attached: Set(),2065 built: false,2066 expecting: true,2067 running: true,2068 session: false,2069 up: true2070 }2071 )2072}20732074[State 10]2075{2076 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2077 schedNoFence::scheduler::crashes: 2,2078 schedNoFence::scheduler::entry:2079 [{ followers: Set("c1"), leased: true, worker: "w1" }],2080 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2081 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),2082 schedNoFence::scheduler::mBuild: Set(),2083 schedNoFence::scheduler::mDone: Set(),2084 schedNoFence::scheduler::mExpect: Set("w1"),2085 schedNoFence::scheduler::mResult: Set(),2086 schedNoFence::scheduler::mRetry: Set(),2087 schedNoFence::scheduler::mRevoke: Set(),2088 schedNoFence::scheduler::mSchedule: Set(),2089 schedNoFence::scheduler::published: 1,2090 schedNoFence::scheduler::publishedBy: Set("w2"),2091 schedNoFence::scheduler::ws:2092 Map(2093 "w1" ->2094 {2095 attached: Set(),2096 built: false,2097 expecting: false,2098 running: false,2099 session: true,2100 up: true2101 },2102 "w2" ->2103 {2104 attached: Set(),2105 built: true,2106 expecting: false,2107 running: false,2108 session: false,2109 up: true2110 }2111 )2112}21132114[State 11]2115{2116 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2117 schedNoFence::scheduler::crashes: 2,2118 schedNoFence::scheduler::entry:2119 [{ followers: Set("c1"), leased: true, worker: "w1" }],2120 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2121 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),2122 schedNoFence::scheduler::mBuild: Set(),2123 schedNoFence::scheduler::mDone: Set(),2124 schedNoFence::scheduler::mExpect: Set("w1"),2125 schedNoFence::scheduler::mResult: Set(),2126 schedNoFence::scheduler::mRetry: Set(),2127 schedNoFence::scheduler::mRevoke: Set(),2128 schedNoFence::scheduler::mSchedule: Set(),2129 schedNoFence::scheduler::published: 1,2130 schedNoFence::scheduler::publishedBy: Set("w2"),2131 schedNoFence::scheduler::ws:2132 Map(2133 "w1" ->2134 {2135 attached: Set(),2136 built: false,2137 expecting: false,2138 running: false,2139 session: true,2140 up: true2141 },2142 "w2" ->2143 {2144 attached: Set(),2145 built: true,2146 expecting: false,2147 running: false,2148 session: true,2149 up: true2150 }2151 )2152}21532154[State 12]2155{2156 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2157 schedNoFence::scheduler::crashes: 2,2158 schedNoFence::scheduler::entry:2159 [{ followers: Set("c1"), leased: true, worker: "w1" }],2160 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2161 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),2162 schedNoFence::scheduler::mBuild: Set(),2163 schedNoFence::scheduler::mDone: Set(),2164 schedNoFence::scheduler::mExpect: Set(),2165 schedNoFence::scheduler::mResult: Set(),2166 schedNoFence::scheduler::mRetry: Set(),2167 schedNoFence::scheduler::mRevoke: Set(),2168 schedNoFence::scheduler::mSchedule: Set(),2169 schedNoFence::scheduler::published: 1,2170 schedNoFence::scheduler::publishedBy: Set("w2"),2171 schedNoFence::scheduler::ws:2172 Map(2173 "w1" ->2174 {2175 attached: Set(),2176 built: false,2177 expecting: true,2178 running: true,2179 session: true,2180 up: true2181 },2182 "w2" ->2183 {2184 attached: Set(),2185 built: true,2186 expecting: false,2187 running: false,2188 session: true,2189 up: true2190 }2191 )2192}21932194[State 13]2195{2196 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2197 schedNoFence::scheduler::crashes: 2,2198 schedNoFence::scheduler::entry:2199 [{ followers: Set("c1"), leased: true, worker: "w1" }],2200 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2201 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),2202 schedNoFence::scheduler::mBuild: Set(),2203 schedNoFence::scheduler::mDone: Set("w1"),2204 schedNoFence::scheduler::mExpect: Set(),2205 schedNoFence::scheduler::mResult: Set(),2206 schedNoFence::scheduler::mRetry: Set(),2207 schedNoFence::scheduler::mRevoke: Set(),2208 schedNoFence::scheduler::mSchedule: Set(),2209 schedNoFence::scheduler::published: 2,2210 schedNoFence::scheduler::publishedBy: Set("w1", "w2"),2211 schedNoFence::scheduler::ws:2212 Map(2213 "w1" ->2214 {2215 attached: Set(),2216 built: true,2217 expecting: false,2218 running: false,2219 session: true,2220 up: true2221 },2222 "w2" ->2223 {2224 attached: Set(),2225 built: true,2226 expecting: false,2227 running: false,2228 session: true,2229 up: true2230 }2231 )2232}22332234[violation] Found an issue (3360ms at 1613 traces/second).2235Use --verbosity=3 to show executions.2236Use --seed=0x901a066460b01c2 --backend=rust to reproduce.2237error: Invariant violated2238Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■ ] 2% | ETA: 9s | 673/30000 samples | 3365 samples/sRunning... [■ ] 2% | ETA: 14s | 710/30000 samples | 2240 samples/sRunning... [■ ] 2% | ETA: 14s | 710/30000 samples | 2240 samples/sAn example execution:22392240[State 0]2241{2242 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2243 schedNoPush::scheduler::crashes: 0,2244 schedNoPush::scheduler::entry: [],2245 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2246 schedNoPush::scheduler::mAssigned: Set(),2247 schedNoPush::scheduler::mBuild: Set(),2248 schedNoPush::scheduler::mDone: Set(),2249 schedNoPush::scheduler::mExpect: Set(),2250 schedNoPush::scheduler::mResult: Set(),2251 schedNoPush::scheduler::mRetry: Set(),2252 schedNoPush::scheduler::mRevoke: Set(),2253 schedNoPush::scheduler::mSchedule: Set(),2254 schedNoPush::scheduler::published: 0,2255 schedNoPush::scheduler::publishedBy: Set(),2256 schedNoPush::scheduler::ws:2257 Map(2258 "w1" ->2259 {2260 attached: Set(),2261 built: false,2262 expecting: false,2263 running: false,2264 session: true,2265 up: true2266 },2267 "w2" ->2268 {2269 attached: Set(),2270 built: false,2271 expecting: false,2272 running: false,2273 session: true,2274 up: true2275 }2276 )2277}22782279[State 1]2280{2281 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2282 schedNoPush::scheduler::crashes: 0,2283 schedNoPush::scheduler::entry: [],2284 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2285 schedNoPush::scheduler::mAssigned: Set(),2286 schedNoPush::scheduler::mBuild: Set(),2287 schedNoPush::scheduler::mDone: Set(),2288 schedNoPush::scheduler::mExpect: Set(),2289 schedNoPush::scheduler::mResult: Set(),2290 schedNoPush::scheduler::mRetry: Set(),2291 schedNoPush::scheduler::mRevoke: Set(),2292 schedNoPush::scheduler::mSchedule: Set("c1"),2293 schedNoPush::scheduler::published: 0,2294 schedNoPush::scheduler::publishedBy: Set(),2295 schedNoPush::scheduler::ws:2296 Map(2297 "w1" ->2298 {2299 attached: Set(),2300 built: false,2301 expecting: false,2302 running: false,2303 session: true,2304 up: true2305 },2306 "w2" ->2307 {2308 attached: Set(),2309 built: false,2310 expecting: false,2311 running: false,2312 session: true,2313 up: true2314 }2315 )2316}23172318[State 2]2319{2320 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2321 schedNoPush::scheduler::crashes: 1,2322 schedNoPush::scheduler::entry: [],2323 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2324 schedNoPush::scheduler::mAssigned: Set(),2325 schedNoPush::scheduler::mBuild: Set(),2326 schedNoPush::scheduler::mDone: Set(),2327 schedNoPush::scheduler::mExpect: Set(),2328 schedNoPush::scheduler::mResult: Set(),2329 schedNoPush::scheduler::mRetry: Set(),2330 schedNoPush::scheduler::mRevoke: Set(),2331 schedNoPush::scheduler::mSchedule: Set("c1"),2332 schedNoPush::scheduler::published: 0,2333 schedNoPush::scheduler::publishedBy: Set(),2334 schedNoPush::scheduler::ws:2335 Map(2336 "w1" ->2337 {2338 attached: Set(),2339 built: false,2340 expecting: false,2341 running: false,2342 session: false,2343 up: false2344 },2345 "w2" ->2346 {2347 attached: Set(),2348 built: false,2349 expecting: false,2350 running: false,2351 session: true,2352 up: true2353 }2354 )2355}23562357[State 3]2358{2359 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2360 schedNoPush::scheduler::crashes: 1,2361 schedNoPush::scheduler::entry:2362 [{ followers: Set("c1"), leased: true, worker: "w2" }],2363 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),2364 schedNoPush::scheduler::mAssigned: Set(("c1", "w2")),2365 schedNoPush::scheduler::mBuild: Set(),2366 schedNoPush::scheduler::mDone: Set(),2367 schedNoPush::scheduler::mExpect: Set(),2368 schedNoPush::scheduler::mResult: Set(),2369 schedNoPush::scheduler::mRetry: Set(),2370 schedNoPush::scheduler::mRevoke: Set(),2371 schedNoPush::scheduler::mSchedule: Set(),2372 schedNoPush::scheduler::published: 0,2373 schedNoPush::scheduler::publishedBy: Set(),2374 schedNoPush::scheduler::ws:2375 Map(2376 "w1" ->2377 {2378 attached: Set(),2379 built: false,2380 expecting: false,2381 running: false,2382 session: false,2383 up: false2384 },2385 "w2" ->2386 {2387 attached: Set(),2388 built: false,2389 expecting: false,2390 running: false,2391 session: true,2392 up: true2393 }2394 )2395}23962397[State 4]2398{2399 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),2400 schedNoPush::scheduler::crashes: 1,2401 schedNoPush::scheduler::entry:2402 [{ followers: Set("c1"), leased: true, worker: "w2" }],2403 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),2404 schedNoPush::scheduler::mAssigned: Set(),2405 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),2406 schedNoPush::scheduler::mDone: Set(),2407 schedNoPush::scheduler::mExpect: Set(),2408 schedNoPush::scheduler::mResult: Set(),2409 schedNoPush::scheduler::mRetry: Set(),2410 schedNoPush::scheduler::mRevoke: Set(),2411 schedNoPush::scheduler::mSchedule: Set(),2412 schedNoPush::scheduler::published: 0,2413 schedNoPush::scheduler::publishedBy: Set(),2414 schedNoPush::scheduler::ws:2415 Map(2416 "w1" ->2417 {2418 attached: Set(),2419 built: false,2420 expecting: false,2421 running: false,2422 session: false,2423 up: false2424 },2425 "w2" ->2426 {2427 attached: Set(),2428 built: false,2429 expecting: false,2430 running: false,2431 session: true,2432 up: true2433 }2434 )2435}24362437[State 5]2438{2439 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),2440 schedNoPush::scheduler::crashes: 2,2441 schedNoPush::scheduler::entry: [],2442 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2443 schedNoPush::scheduler::mAssigned: Set(),2444 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),2445 schedNoPush::scheduler::mDone: Set(),2446 schedNoPush::scheduler::mExpect: Set(),2447 schedNoPush::scheduler::mResult: Set(),2448 schedNoPush::scheduler::mRetry: Set(),2449 schedNoPush::scheduler::mRevoke: Set(),2450 schedNoPush::scheduler::mSchedule: Set(),2451 schedNoPush::scheduler::published: 0,2452 schedNoPush::scheduler::publishedBy: Set(),2453 schedNoPush::scheduler::ws:2454 Map(2455 "w1" ->2456 {2457 attached: Set(),2458 built: false,2459 expecting: false,2460 running: false,2461 session: false,2462 up: false2463 },2464 "w2" ->2465 {2466 attached: Set(),2467 built: false,2468 expecting: false,2469 running: false,2470 session: false,2471 up: true2472 }2473 )2474}24752476[State 6]2477{2478 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),2479 schedNoPush::scheduler::crashes: 2,2480 schedNoPush::scheduler::entry: [],2481 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2482 schedNoPush::scheduler::mAssigned: Set(),2483 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),2484 schedNoPush::scheduler::mDone: Set(),2485 schedNoPush::scheduler::mExpect: Set(),2486 schedNoPush::scheduler::mResult: Set(),2487 schedNoPush::scheduler::mRetry: Set(),2488 schedNoPush::scheduler::mRevoke: Set(),2489 schedNoPush::scheduler::mSchedule: Set(),2490 schedNoPush::scheduler::published: 0,2491 schedNoPush::scheduler::publishedBy: Set(),2492 schedNoPush::scheduler::ws:2493 Map(2494 "w1" ->2495 {2496 attached: Set(),2497 built: false,2498 expecting: false,2499 running: false,2500 session: true,2501 up: true2502 },2503 "w2" ->2504 {2505 attached: Set(),2506 built: false,2507 expecting: false,2508 running: false,2509 session: false,2510 up: true2511 }2512 )2513}25142515[State 7]2516{2517 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),2518 schedNoPush::scheduler::crashes: 2,2519 schedNoPush::scheduler::entry: [],2520 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2521 schedNoPush::scheduler::mAssigned: Set(),2522 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),2523 schedNoPush::scheduler::mDone: Set(),2524 schedNoPush::scheduler::mExpect: Set(),2525 schedNoPush::scheduler::mResult: Set(),2526 schedNoPush::scheduler::mRetry: Set(),2527 schedNoPush::scheduler::mRevoke: Set(),2528 schedNoPush::scheduler::mSchedule: Set(),2529 schedNoPush::scheduler::published: 0,2530 schedNoPush::scheduler::publishedBy: Set(),2531 schedNoPush::scheduler::ws:2532 Map(2533 "w1" ->2534 {2535 attached: Set(),2536 built: false,2537 expecting: false,2538 running: false,2539 session: true,2540 up: true2541 },2542 "w2" ->2543 {2544 attached: Set(),2545 built: false,2546 expecting: false,2547 running: false,2548 session: true,2549 up: true2550 }2551 )2552}25532554[State 8]2555{2556 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),2557 schedNoPush::scheduler::crashes: 2,2558 schedNoPush::scheduler::entry: [],2559 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2560 schedNoPush::scheduler::mAssigned: Set(),2561 schedNoPush::scheduler::mBuild: Set(),2562 schedNoPush::scheduler::mDone: Set(),2563 schedNoPush::scheduler::mExpect: Set(),2564 schedNoPush::scheduler::mResult: Set(),2565 schedNoPush::scheduler::mRetry: Set(),2566 schedNoPush::scheduler::mRevoke: Set(),2567 schedNoPush::scheduler::mSchedule: Set(),2568 schedNoPush::scheduler::published: 0,2569 schedNoPush::scheduler::publishedBy: Set(),2570 schedNoPush::scheduler::ws:2571 Map(2572 "w1" ->2573 {2574 attached: Set(),2575 built: false,2576 expecting: false,2577 running: false,2578 session: true,2579 up: true2580 },2581 "w2" ->2582 {2583 attached: Set("c1"),2584 built: false,2585 expecting: true,2586 running: true,2587 session: true,2588 up: true2589 }2590 )2591}25922593[violation] Found an issue (358ms at 2000 traces/second).2594Use --verbosity=3 to show executions.2595Use --seed=0x2145d1f2070b39af --backend=rust to reproduce.2596error: Invariant violated2597Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■■ ] 4% | ETA: 5s | 1404/30000 samples | 6212 samples/sRunning... [■■ ] 4% | ETA: 5s | 1404/30000 samples | 6212 samples/sRunning... [■■■ ] 7% | ETA: 6s | 2345/30000 samples | 5428 samples/sRunning... [■■■ ] 7% | ETA: 6s | 2345/30000 samples | 5428 samples/sRunning... [■■■■ ] 10% | ETA: 6s | 3037/30000 samples | 4623 samples/sRunning... [■■■■ ] 10% | ETA: 6s | 3037/30000 samples | 4623 samples/sRunning... [■■■■■ ] 11% | ETA: 7s | 3595/30000 samples | 4254 samples/sRunning... [■■■■■ ] 11% | ETA: 7s | 3595/30000 samples | 4254 samples/sAn example execution:25982599[State 0]2600{2601 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2602 schedNoReport::scheduler::crashes: 0,2603 schedNoReport::scheduler::entry: [],2604 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2605 schedNoReport::scheduler::mAssigned: Set(),2606 schedNoReport::scheduler::mBuild: Set(),2607 schedNoReport::scheduler::mDone: Set(),2608 schedNoReport::scheduler::mExpect: Set(),2609 schedNoReport::scheduler::mResult: Set(),2610 schedNoReport::scheduler::mRetry: Set(),2611 schedNoReport::scheduler::mRevoke: Set(),2612 schedNoReport::scheduler::mSchedule: Set(),2613 schedNoReport::scheduler::published: 0,2614 schedNoReport::scheduler::publishedBy: Set(),2615 schedNoReport::scheduler::ws:2616 Map(2617 "w1" ->2618 {2619 attached: Set(),2620 built: false,2621 expecting: false,2622 running: false,2623 session: true,2624 up: true2625 },2626 "w2" ->2627 {2628 attached: Set(),2629 built: false,2630 expecting: false,2631 running: false,2632 session: true,2633 up: true2634 }2635 )2636}26372638[State 1]2639{2640 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2641 schedNoReport::scheduler::crashes: 0,2642 schedNoReport::scheduler::entry: [],2643 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2644 schedNoReport::scheduler::mAssigned: Set(),2645 schedNoReport::scheduler::mBuild: Set(),2646 schedNoReport::scheduler::mDone: Set(),2647 schedNoReport::scheduler::mExpect: Set(),2648 schedNoReport::scheduler::mResult: Set(),2649 schedNoReport::scheduler::mRetry: Set(),2650 schedNoReport::scheduler::mRevoke: Set(),2651 schedNoReport::scheduler::mSchedule: Set("c1"),2652 schedNoReport::scheduler::published: 0,2653 schedNoReport::scheduler::publishedBy: Set(),2654 schedNoReport::scheduler::ws:2655 Map(2656 "w1" ->2657 {2658 attached: Set(),2659 built: false,2660 expecting: false,2661 running: false,2662 session: true,2663 up: true2664 },2665 "w2" ->2666 {2667 attached: Set(),2668 built: false,2669 expecting: false,2670 running: false,2671 session: true,2672 up: true2673 }2674 )2675}26762677[State 2]2678{2679 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2680 schedNoReport::scheduler::crashes: 0,2681 schedNoReport::scheduler::entry: [],2682 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2683 schedNoReport::scheduler::mAssigned: Set(),2684 schedNoReport::scheduler::mBuild: Set(),2685 schedNoReport::scheduler::mDone: Set(),2686 schedNoReport::scheduler::mExpect: Set(),2687 schedNoReport::scheduler::mResult: Set(),2688 schedNoReport::scheduler::mRetry: Set(),2689 schedNoReport::scheduler::mRevoke: Set(),2690 schedNoReport::scheduler::mSchedule: Set("c1", "c2"),2691 schedNoReport::scheduler::published: 0,2692 schedNoReport::scheduler::publishedBy: Set(),2693 schedNoReport::scheduler::ws:2694 Map(2695 "w1" ->2696 {2697 attached: Set(),2698 built: false,2699 expecting: false,2700 running: false,2701 session: true,2702 up: true2703 },2704 "w2" ->2705 {2706 attached: Set(),2707 built: false,2708 expecting: false,2709 running: false,2710 session: true,2711 up: true2712 }2713 )2714}27152716[State 3]2717{2718 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2719 schedNoReport::scheduler::crashes: 1,2720 schedNoReport::scheduler::entry: [],2721 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2722 schedNoReport::scheduler::mAssigned: Set(),2723 schedNoReport::scheduler::mBuild: Set(),2724 schedNoReport::scheduler::mDone: Set(),2725 schedNoReport::scheduler::mExpect: Set(),2726 schedNoReport::scheduler::mResult: Set(),2727 schedNoReport::scheduler::mRetry: Set(),2728 schedNoReport::scheduler::mRevoke: Set(),2729 schedNoReport::scheduler::mSchedule: Set("c1", "c2"),2730 schedNoReport::scheduler::published: 0,2731 schedNoReport::scheduler::publishedBy: Set(),2732 schedNoReport::scheduler::ws:2733 Map(2734 "w1" ->2735 {2736 attached: Set(),2737 built: false,2738 expecting: false,2739 running: false,2740 session: false,2741 up: false2742 },2743 "w2" ->2744 {2745 attached: Set(),2746 built: false,2747 expecting: false,2748 running: false,2749 session: true,2750 up: true2751 }2752 )2753}27542755[State 4]2756{2757 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2758 schedNoReport::scheduler::crashes: 1,2759 schedNoReport::scheduler::entry:2760 [{ followers: Set("c1"), leased: true, worker: "w2" }],2761 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2762 schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),2763 schedNoReport::scheduler::mBuild: Set(),2764 schedNoReport::scheduler::mDone: Set(),2765 schedNoReport::scheduler::mExpect: Set("w2"),2766 schedNoReport::scheduler::mResult: Set(),2767 schedNoReport::scheduler::mRetry: Set(),2768 schedNoReport::scheduler::mRevoke: Set(),2769 schedNoReport::scheduler::mSchedule: Set("c2"),2770 schedNoReport::scheduler::published: 0,2771 schedNoReport::scheduler::publishedBy: Set(),2772 schedNoReport::scheduler::ws:2773 Map(2774 "w1" ->2775 {2776 attached: Set(),2777 built: false,2778 expecting: false,2779 running: false,2780 session: false,2781 up: false2782 },2783 "w2" ->2784 {2785 attached: Set(),2786 built: false,2787 expecting: false,2788 running: false,2789 session: true,2790 up: true2791 }2792 )2793}27942795[State 5]2796{2797 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2798 schedNoReport::scheduler::crashes: 1,2799 schedNoReport::scheduler::entry:2800 [{ followers: Set("c1"), leased: true, worker: "w2" }],2801 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2802 schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),2803 schedNoReport::scheduler::mBuild: Set(),2804 schedNoReport::scheduler::mDone: Set(),2805 schedNoReport::scheduler::mExpect: Set(),2806 schedNoReport::scheduler::mResult: Set(),2807 schedNoReport::scheduler::mRetry: Set(),2808 schedNoReport::scheduler::mRevoke: Set(),2809 schedNoReport::scheduler::mSchedule: Set("c2"),2810 schedNoReport::scheduler::published: 0,2811 schedNoReport::scheduler::publishedBy: Set(),2812 schedNoReport::scheduler::ws:2813 Map(2814 "w1" ->2815 {2816 attached: Set(),2817 built: false,2818 expecting: false,2819 running: false,2820 session: false,2821 up: false2822 },2823 "w2" ->2824 {2825 attached: Set(),2826 built: false,2827 expecting: true,2828 running: true,2829 session: true,2830 up: true2831 }2832 )2833}28342835[State 6]2836{2837 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2838 schedNoReport::scheduler::crashes: 2,2839 schedNoReport::scheduler::entry: [],2840 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2841 schedNoReport::scheduler::mAssigned: Set(),2842 schedNoReport::scheduler::mBuild: Set(),2843 schedNoReport::scheduler::mDone: Set(),2844 schedNoReport::scheduler::mExpect: Set(),2845 schedNoReport::scheduler::mResult: Set(),2846 schedNoReport::scheduler::mRetry: Set("c1", "c2"),2847 schedNoReport::scheduler::mRevoke: Set(),2848 schedNoReport::scheduler::mSchedule: Set(),2849 schedNoReport::scheduler::published: 0,2850 schedNoReport::scheduler::publishedBy: Set(),2851 schedNoReport::scheduler::ws:2852 Map(2853 "w1" ->2854 {2855 attached: Set(),2856 built: false,2857 expecting: false,2858 running: false,2859 session: false,2860 up: false2861 },2862 "w2" ->2863 {2864 attached: Set(),2865 built: false,2866 expecting: true,2867 running: true,2868 session: false,2869 up: true2870 }2871 )2872}28732874[State 7]2875{2876 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2877 schedNoReport::scheduler::crashes: 2,2878 schedNoReport::scheduler::entry: [],2879 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2880 schedNoReport::scheduler::mAssigned: Set(),2881 schedNoReport::scheduler::mBuild: Set(),2882 schedNoReport::scheduler::mDone: Set(),2883 schedNoReport::scheduler::mExpect: Set(),2884 schedNoReport::scheduler::mResult: Set(),2885 schedNoReport::scheduler::mRetry: Set("c1"),2886 schedNoReport::scheduler::mRevoke: Set(),2887 schedNoReport::scheduler::mSchedule: Set("c2"),2888 schedNoReport::scheduler::published: 0,2889 schedNoReport::scheduler::publishedBy: Set(),2890 schedNoReport::scheduler::ws:2891 Map(2892 "w1" ->2893 {2894 attached: Set(),2895 built: false,2896 expecting: false,2897 running: false,2898 session: false,2899 up: false2900 },2901 "w2" ->2902 {2903 attached: Set(),2904 built: false,2905 expecting: true,2906 running: true,2907 session: false,2908 up: true2909 }2910 )2911}29122913[State 8]2914{2915 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2916 schedNoReport::scheduler::crashes: 2,2917 schedNoReport::scheduler::entry: [],2918 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2919 schedNoReport::scheduler::mAssigned: Set(),2920 schedNoReport::scheduler::mBuild: Set(),2921 schedNoReport::scheduler::mDone: Set(),2922 schedNoReport::scheduler::mExpect: Set(),2923 schedNoReport::scheduler::mResult: Set(),2924 schedNoReport::scheduler::mRetry: Set("c1"),2925 schedNoReport::scheduler::mRevoke: Set(),2926 schedNoReport::scheduler::mSchedule: Set("c2"),2927 schedNoReport::scheduler::published: 0,2928 schedNoReport::scheduler::publishedBy: Set(),2929 schedNoReport::scheduler::ws:2930 Map(2931 "w1" ->2932 {2933 attached: Set(),2934 built: false,2935 expecting: false,2936 running: false,2937 session: false,2938 up: false2939 },2940 "w2" ->2941 {2942 attached: Set(),2943 built: false,2944 expecting: true,2945 running: true,2946 session: true,2947 up: true2948 }2949 )2950}29512952[State 9]2953{2954 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2955 schedNoReport::scheduler::crashes: 2,2956 schedNoReport::scheduler::entry: [],2957 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2958 schedNoReport::scheduler::mAssigned: Set(),2959 schedNoReport::scheduler::mBuild: Set(),2960 schedNoReport::scheduler::mDone: Set(),2961 schedNoReport::scheduler::mExpect: Set(),2962 schedNoReport::scheduler::mResult: Set(),2963 schedNoReport::scheduler::mRetry: Set("c1"),2964 schedNoReport::scheduler::mRevoke: Set(),2965 schedNoReport::scheduler::mSchedule: Set("c2"),2966 schedNoReport::scheduler::published: 0,2967 schedNoReport::scheduler::publishedBy: Set(),2968 schedNoReport::scheduler::ws:2969 Map(2970 "w1" ->2971 {2972 attached: Set(),2973 built: false,2974 expecting: false,2975 running: false,2976 session: true,2977 up: true2978 },2979 "w2" ->2980 {2981 attached: Set(),2982 built: false,2983 expecting: true,2984 running: true,2985 session: true,2986 up: true2987 }2988 )2989}29902991[State 10]2992{2993 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2994 schedNoReport::scheduler::crashes: 2,2995 schedNoReport::scheduler::entry:2996 [{ followers: Set("c2"), leased: true, worker: "w1" }],2997 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),2998 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),2999 schedNoReport::scheduler::mBuild: Set(),3000 schedNoReport::scheduler::mDone: Set(),3001 schedNoReport::scheduler::mExpect: Set("w1"),3002 schedNoReport::scheduler::mResult: Set(),3003 schedNoReport::scheduler::mRetry: Set("c1"),3004 schedNoReport::scheduler::mRevoke: Set(),3005 schedNoReport::scheduler::mSchedule: Set(),3006 schedNoReport::scheduler::published: 0,3007 schedNoReport::scheduler::publishedBy: Set(),3008 schedNoReport::scheduler::ws:3009 Map(3010 "w1" ->3011 {3012 attached: Set(),3013 built: false,3014 expecting: false,3015 running: false,3016 session: true,3017 up: true3018 },3019 "w2" ->3020 {3021 attached: Set(),3022 built: false,3023 expecting: true,3024 running: true,3025 session: true,3026 up: true3027 }3028 )3029}30303031[State 11]3032{3033 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3034 schedNoReport::scheduler::crashes: 2,3035 schedNoReport::scheduler::entry:3036 [{ followers: Set("c2"), leased: true, worker: "w1" }],3037 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),3038 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),3039 schedNoReport::scheduler::mBuild: Set(),3040 schedNoReport::scheduler::mDone: Set(),3041 schedNoReport::scheduler::mExpect: Set(),3042 schedNoReport::scheduler::mResult: Set(),3043 schedNoReport::scheduler::mRetry: Set("c1"),3044 schedNoReport::scheduler::mRevoke: Set(),3045 schedNoReport::scheduler::mSchedule: Set(),3046 schedNoReport::scheduler::published: 0,3047 schedNoReport::scheduler::publishedBy: Set(),3048 schedNoReport::scheduler::ws:3049 Map(3050 "w1" ->3051 {3052 attached: Set(),3053 built: false,3054 expecting: true,3055 running: true,3056 session: true,3057 up: true3058 },3059 "w2" ->3060 {3061 attached: Set(),3062 built: false,3063 expecting: true,3064 running: true,3065 session: true,3066 up: true3067 }3068 )3069}30703071[violation] Found an issue (983ms at 3877 traces/second).3072Use --verbosity=3 to show executions.3073Use --seed=0x88699e6e9623e2d0 --backend=rust to reproduce.3074error: Invariant violated3075Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sAn example execution:30763077[State 0]3078{3079 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3080 schedTerminal::scheduler::crashes: 0,3081 schedTerminal::scheduler::entry: [],3082 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3083 schedTerminal::scheduler::mAssigned: Set(),3084 schedTerminal::scheduler::mBuild: Set(),3085 schedTerminal::scheduler::mDone: Set(),3086 schedTerminal::scheduler::mExpect: Set(),3087 schedTerminal::scheduler::mResult: Set(),3088 schedTerminal::scheduler::mRetry: Set(),3089 schedTerminal::scheduler::mRevoke: Set(),3090 schedTerminal::scheduler::mSchedule: Set(),3091 schedTerminal::scheduler::published: 0,3092 schedTerminal::scheduler::publishedBy: Set(),3093 schedTerminal::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 1]3117{3118 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3119 schedTerminal::scheduler::crashes: 1,3120 schedTerminal::scheduler::entry: [],3121 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3122 schedTerminal::scheduler::mAssigned: Set(),3123 schedTerminal::scheduler::mBuild: Set(),3124 schedTerminal::scheduler::mDone: Set(),3125 schedTerminal::scheduler::mExpect: Set(),3126 schedTerminal::scheduler::mResult: Set(),3127 schedTerminal::scheduler::mRetry: Set(),3128 schedTerminal::scheduler::mRevoke: Set(),3129 schedTerminal::scheduler::mSchedule: Set(),3130 schedTerminal::scheduler::published: 0,3131 schedTerminal::scheduler::publishedBy: Set(),3132 schedTerminal::scheduler::ws:3133 Map(3134 "w1" ->3135 {3136 attached: Set(),3137 built: false,3138 expecting: false,3139 running: false,3140 session: false,3141 up: true3142 },3143 "w2" ->3144 {3145 attached: Set(),3146 built: false,3147 expecting: false,3148 running: false,3149 session: false,3150 up: true3151 }3152 )3153}31543155[State 2]3156{3157 schedTerminal::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),3158 schedTerminal::scheduler::crashes: 1,3159 schedTerminal::scheduler::entry: [],3160 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3161 schedTerminal::scheduler::mAssigned: Set(),3162 schedTerminal::scheduler::mBuild: Set(),3163 schedTerminal::scheduler::mDone: Set(),3164 schedTerminal::scheduler::mExpect: Set(),3165 schedTerminal::scheduler::mResult: Set(),3166 schedTerminal::scheduler::mRetry: Set(),3167 schedTerminal::scheduler::mRevoke: Set(),3168 schedTerminal::scheduler::mSchedule: Set("c1"),3169 schedTerminal::scheduler::published: 0,3170 schedTerminal::scheduler::publishedBy: Set(),3171 schedTerminal::scheduler::ws:3172 Map(3173 "w1" ->3174 {3175 attached: Set(),3176 built: false,3177 expecting: false,3178 running: false,3179 session: false,3180 up: true3181 },3182 "w2" ->3183 {3184 attached: Set(),3185 built: false,3186 expecting: false,3187 running: false,3188 session: false,3189 up: true3190 }3191 )3192}31933194[State 3]3195{3196 schedTerminal::scheduler::cl: Map("c1" -> CFailed, "c2" -> CIdle),3197 schedTerminal::scheduler::crashes: 1,3198 schedTerminal::scheduler::entry: [],3199 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3200 schedTerminal::scheduler::mAssigned: Set(),3201 schedTerminal::scheduler::mBuild: Set(),3202 schedTerminal::scheduler::mDone: Set(),3203 schedTerminal::scheduler::mExpect: Set(),3204 schedTerminal::scheduler::mResult: Set(),3205 schedTerminal::scheduler::mRetry: Set(),3206 schedTerminal::scheduler::mRevoke: Set(),3207 schedTerminal::scheduler::mSchedule: Set(),3208 schedTerminal::scheduler::published: 0,3209 schedTerminal::scheduler::publishedBy: Set(),3210 schedTerminal::scheduler::ws:3211 Map(3212 "w1" ->3213 {3214 attached: Set(),3215 built: false,3216 expecting: false,3217 running: false,3218 session: false,3219 up: true3220 },3221 "w2" ->3222 {3223 attached: Set(),3224 built: false,3225 expecting: false,3226 running: false,3227 session: false,3228 up: true3229 }3230 )3231}32323233[violation] Found an issue (36ms at 917 traces/second).3234Use --verbosity=3 to show executions.3235Use --seed=0x4866949ba80a469 --backend=rust to reproduce.3236error: Invariant violated3237Running... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 1s | 16606/20000 samples | 71270 samples/sAn example execution:32383239[State 0]3240{3241 pushFixed::push::byPath: Map(),3242 pushFixed::push::inflight: Set(),3243 pushFixed::push::left: Map(),3244 pushFixed::push::sent: Map()3245}32463247[State 1]3248{3249 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3250 pushFixed::push::inflight: Set((3, "a"), (3, "b")),3251 pushFixed::push::left: Map(3 -> 2),3252 pushFixed::push::sent: Map(3 -> Set("a", "b"))3253}32543255[State 2]3256{3257 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3258 pushFixed::push::inflight: Set((3, "b")),3259 pushFixed::push::left: Map(3 -> 1),3260 pushFixed::push::sent: Map(3 -> Set("a", "b"))3261}32623263[State 3]3264{3265 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),3266 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (3, "b")),3267 pushFixed::push::left: Map(1 -> 2, 3 -> 1),3268 pushFixed::push::sent: Map(1 -> Set("a", "b"), 3 -> Set("a", "b"))3269}32703271[State 4]3272{3273 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),3274 pushFixed::push::inflight: Set((1, "a"), (3, "b")),3275 pushFixed::push::left: Map(1 -> 1, 3 -> 1),3276 pushFixed::push::sent: Map(1 -> Set("a", "b"), 3 -> Set("a", "b"))3277}32783279[State 5]3280{3281 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),3282 pushFixed::push::inflight: Set((3, "b")),3283 pushFixed::push::left: Map(1 -> 0, 3 -> 1),3284 pushFixed::push::sent: Map(1 -> Set("a", "b"), 3 -> Set("a", "b"))3285}32863287[State 6]3288{3289 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3290 pushFixed::push::inflight: Set((2, "a"), (2, "b"), (3, "b")),3291 pushFixed::push::left: Map(1 -> 0, 2 -> 2, 3 -> 1),3292 pushFixed::push::sent:3293 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3294}32953296[State 7]3297{3298 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3299 pushFixed::push::inflight: Set((2, "a"), (2, "b")),3300 pushFixed::push::left: Map(1 -> 0, 2 -> 2, 3 -> 0),3301 pushFixed::push::sent:3302 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3303}33043305[State 8]3306{3307 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3308 pushFixed::push::inflight: Set((2, "b")),3309 pushFixed::push::left: Map(1 -> 0, 2 -> 1, 3 -> 0),3310 pushFixed::push::sent:3311 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3312}33133314[State 9]3315{3316 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3317 pushFixed::push::inflight: Set(),3318 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),3319 pushFixed::push::sent:3320 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3321}33223323[ok] No violation found (297ms at 67340 traces/second).3324Trace length statistics: max=10, min=7, average=8.023325You may increase --max-samples and --max-steps.3326Use --verbosity to produce more (or less) output.3327Use --seed=0xcdb4e65c3cdbeba1 --backend=rust to reproduce.