spec-refute-hubBlock
checks.x86_64-linux.spec-refute-hubBlock
· build #289
· raw
1Running... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 418s | 65/50000 samples | 120 samples/sRunning... [ ] 0% | ETA: 307s | 105/50000 samples | 163 samples/sRunning... [ ] 0% | ETA: 248s | 150/50000 samples | 202 samples/sRunning... [ ] 0% | ETA: 215s | 197/50000 samples | 233 samples/sRunning... [ ] 0% | ETA: 177s | 267/50000 samples | 282 samples/sRunning... [ ] 0% | ETA: 157s | 332/50000 samples | 318 samples/sRunning... [ ] 0% | ETA: 140s | 407/50000 samples | 356 samples/sRunning... [ ] 1% | ETA: 111s | 605/50000 samples | 447 samples/sRunning... [■ ] 1% | ETA: 104s | 696/50000 samples | 478 samples/sRunning... [■ ] 1% | ETA: 69s | 787/50000 samples | 506 samples/sRunning... [■ ] 1% | ETA: 65s | 879/50000 samples | 531 samples/sRunning... [■ ] 1% | ETA: 60s | 983/50000 samples | 560 samples/sRunning... [■ ] 2% | ETA: 56s | 1083/50000 samples | 584 samples/sRunning... [■ ] 2% | ETA: 55s | 1175/50000 samples | 601 samples/sRunning... [■ ] 2% | ETA: 52s | 1281/50000 samples | 623 samples/sRunning... [■ ] 2% | ETA: 51s | 1389/50000 samples | 644 samples/sRunning... [■ ] 2% | ETA: 50s | 1483/50000 samples | 657 samples/sRunning... [■ ] 3% | ETA: 50s | 1573/50000 samples | 667 samples/sRunning... [■ ] 3% | ETA: 49s | 1686/50000 samples | 686 samples/sRunning... [■ ] 3% | ETA: 48s | 1795/50000 samples | 702 samples/sRunning... [■■ ] 3% | ETA: 49s | 1880/50000 samples | 707 samples/sRunning... [■■ ] 3% | ETA: 49s | 1974/50000 samples | 715 samples/sRunning... [■■ ] 4% | ETA: 52s | 2065/50000 samples | 709 samples/sRunning... [■■ ] 4% | ETA: 54s | 2136/50000 samples | 709 samples/sRunning... [■■ ] 4% | ETA: 58s | 2216/50000 samples | 704 samples/sRunning... [■■ ] 4% | ETA: 59s | 2292/50000 samples | 705 samples/sRunning... [■■ ] 4% | ETA: 60s | 2372/50000 samples | 708 samples/sRunning... [■■ ] 4% | ETA: 61s | 2472/50000 samples | 717 samples/sRunning... [■■ ] 5% | ETA: 62s | 2561/50000 samples | 721 samples/sRunning... [■■ ] 5% | ETA: 62s | 2642/50000 samples | 723 samples/sRunning... [■■ ] 5% | ETA: 62s | 2734/50000 samples | 728 samples/sRunning... [■■ ] 5% | ETA: 59s | 2826/50000 samples | 733 samples/sRunning... [■■ ] 5% | ETA: 59s | 2898/50000 samples | 732 samples/sRunning... [■■ ] 5% | ETA: 57s | 2974/50000 samples | 733 samples/sRunning... [■■ ] 6% | ETA: 57s | 3043/50000 samples | 731 samples/sRunning... [■■ ] 6% | ETA: 59s | 3104/50000 samples | 728 samples/sRunning... [■■■ ] 6% | ETA: 60s | 3188/50000 samples | 731 samples/sRunning... [■■■ ] 6% | ETA: 60s | 3273/50000 samples | 734 samples/sRunning... [■■■ ] 6% | ETA: 62s | 3346/50000 samples | 731 samples/sRunning... [■■■ ] 6% | ETA: 67s | 3384/50000 samples | 724 samples/sRunning... [■■■ ] 6% | ETA: 70s | 3447/50000 samples | 722 samples/sRunning... [■■■ ] 7% | ETA: 68s | 3534/50000 samples | 725 samples/sRunning... [■■■ ] 7% | ETA: 66s | 3629/50000 samples | 729 samples/sRunning... [■■■ ] 7% | ETA: 65s | 3706/50000 samples | 730 samples/sRunning... [■■■ ] 7% | ETA: 67s | 3782/50000 samples | 723 samples/sRunning... [■■■ ] 7% | ETA: 70s | 3828/50000 samples | 718 samples/sRunning... [■■■ ] 7% | ETA: 75s | 3876/50000 samples | 714 samples/sRunning... [■■■ ] 7% | ETA: 76s | 3931/50000 samples | 710 samples/sRunning... [■■■ ] 8% | ETA: 77s | 4133/50000 samples | 698 samples/sRunning... [■■■ ] 8% | ETA: 74s | 4259/50000 samples | 705 samples/sRunning... [■■■ ] 8% | ETA: 72s | 4368/50000 samples | 711 samples/sRunning... [■■■■ ] 8% | ETA: 69s | 4483/50000 samples | 718 samples/sRunning... [■■■■ ] 9% | ETA: 63s | 4592/50000 samples | 724 samples/sRunning... [■■■■ ] 9% | ETA: 57s | 4710/50000 samples | 731 samples/sRunning... [■■■■ ] 9% | ETA: 55s | 4798/50000 samples | 733 samples/sRunning... [■■■■ ] 9% | ETA: 54s | 4872/50000 samples | 734 samples/sRunning... [■■■■ ] 9% | ETA: 52s | 4957/50000 samples | 735 samples/sRunning... [■■■■ ] 9% | ETA: 52s | 4957/50000 samples | 735 samples/sRunning... [■■■■ ] 10% | ETA: 45s | 5065/50000 samples | 740 samples/sRunning... [■■■■ ] 10% | ETA: 47s | 5135/50000 samples | 739 samples/sRunning... [■■■■ ] 10% | ETA: 48s | 5224/50000 samples | 742 samples/sRunning... [■■■■ ] 10% | ETA: 48s | 5327/50000 samples | 746 samples/sRunning... [■■■■ ] 10% | ETA: 48s | 5443/50000 samples | 751 samples/sRunning... [■■■■ ] 11% | ETA: 48s | 5558/50000 samples | 756 samples/sRunning... [■■■■■ ] 11% | ETA: 47s | 5661/50000 samples | 760 samples/sRunning... [■■■■■ ] 11% | ETA: 45s | 5776/50000 samples | 765 samples/sRunning... [■■■■■ ] 11% | ETA: 43s | 5892/50000 samples | 770 samples/sRunning... [■■■■■ ] 12% | ETA: 41s | 6113/50000 samples | 778 samples/sRunning... [■■■■■ ] 12% | ETA: 39s | 6253/50000 samples | 786 samples/sRunning... [■■■■■ ] 12% | ETA: 38s | 6387/50000 samples | 793 samples/sRunning... [■■■■■ ] 13% | ETA: 38s | 6513/50000 samples | 798 samples/sRunning... [■■■■■ ] 13% | ETA: 38s | 6611/50000 samples | 801 samples/sRunning... [■■■■■ ] 13% | ETA: 38s | 6698/50000 samples | 801 samples/sRunning... [■■■■■ ] 13% | ETA: 39s | 6798/50000 samples | 804 samples/sRunning... [■■■■■■ ] 13% | ETA: 38s | 6925/50000 samples | 809 samples/sRunning... [■■■■■■ ] 14% | ETA: 37s | 7055/50000 samples | 815 samples/sRunning... [■■■■■■ ] 14% | ETA: 37s | 7180/50000 samples | 820 samples/sRunning... [■■■■■■ ] 14% | ETA: 37s | 7295/50000 samples | 823 samples/sRunning... [■■■■■■ ] 14% | ETA: 39s | 7396/50000 samples | 825 samples/sRunning... [■■■■■■ ] 14% | ETA: 40s | 7498/50000 samples | 827 samples/sRunning... [■■■■■■ ] 15% | ETA: 40s | 7588/50000 samples | 828 samples/sRunning... [■■■■■■ ] 15% | ETA: 41s | 7648/50000 samples | 825 samples/sRunning... [■■■■■■ ] 15% | ETA: 42s | 7719/50000 samples | 824 samples/sRunning... [■■■■■■ ] 15% | ETA: 43s | 7827/50000 samples | 827 samples/sRunning... [■■■■■■ ] 15% | ETA: 43s | 7956/50000 samples | 831 samples/sRunning... [■■■■■■ ] 16% | ETA: 42s | 8103/50000 samples | 838 samples/sRunning... [■■■■■■■ ] 16% | ETA: 40s | 8256/50000 samples | 845 samples/sRunning... [■■■■■■■ ] 16% | ETA: 38s | 8411/50000 samples | 851 samples/sRunning... [■■■■■■■ ] 17% | ETA: 36s | 8559/50000 samples | 858 samples/sRunning... [■■■■■■■ ] 17% | ETA: 34s | 8721/50000 samples | 865 samples/sRunning... [■■■■■■■ ] 17% | ETA: 31s | 8865/50000 samples | 871 samples/sRunning... [■■■■■■■ ] 17% | ETA: 30s | 8995/50000 samples | 874 samples/sRunning... [■■■■■■■ ] 18% | ETA: 30s | 9117/50000 samples | 877 samples/sRunning... [■■■■■■■ ] 18% | ETA: 30s | 9226/50000 samples | 879 samples/sRunning... [■■■■■■■ ] 18% | ETA: 31s | 9338/50000 samples | 882 samples/sRunning... [■■■■■■■■ ] 18% | ETA: 32s | 9457/50000 samples | 884 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 33s | 9562/50000 samples | 886 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 34s | 9666/50000 samples | 887 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 35s | 9790/50000 samples | 890 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 35s | 9933/50000 samples | 895 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 34s | 10068/50000 samples | 899 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 34s | 10206/50000 samples | 903 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 33s | 10345/50000 samples | 908 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 31s | 10499/50000 samples | 913 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 31s | 10635/50000 samples | 917 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 30s | 10762/50000 samples | 920 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 29s | 10888/50000 samples | 923 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 29s | 11029/50000 samples | 927 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 29s | 11173/50000 samples | 931 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 29s | 11300/50000 samples | 934 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 29s | 11437/50000 samples | 937 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 28s | 11594/50000 samples | 942 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 28s | 11753/50000 samples | 947 samples/sRunning... [■■■■■■■■■■ ] 23% | ETA: 28s | 11882/50000 samples | 950 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 28s | 12004/50000 samples | 952 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 29s | 12110/50000 samples | 953 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 30s | 12194/50000 samples | 952 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 31s | 12295/50000 samples | 953 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 31s | 12423/50000 samples | 955 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 30s | 12567/50000 samples | 959 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 31s | 12703/50000 samples | 962 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 31s | 12845/50000 samples | 965 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 31s | 12981/50000 samples | 968 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 30s | 13143/50000 samples | 972 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 28s | 13317/50000 samples | 978 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 25s | 13534/50000 samples | 986 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 24s | 13746/50000 samples | 994 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 23s | 13914/50000 samples | 999 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 22s | 14076/50000 samples | 1003 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 22s | 14244/50000 samples | 1008 samples/sRunning... [■■■■■■■■■■■■ ] 28% | ETA: 22s | 14403/50000 samples | 1012 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 21s | 14564/50000 samples | 1016 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 21s | 14725/50000 samples | 1020 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 21s | 14875/50000 samples | 1024 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 22s | 15034/50000 samples | 1027 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 23s | 15165/50000 samples | 1029 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 23s | 15291/50000 samples | 1031 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 24s | 15416/50000 samples | 1032 samples/sRunning... [■■■■■■■■■■■■ ] 31% | ETA: 25s | 15535/50000 samples | 1033 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 25s | 15656/50000 samples | 1034 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 26s | 15773/50000 samples | 1035 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 27s | 15890/50000 samples | 1036 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 28s | 15993/50000 samples | 1036 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 29s | 16097/50000 samples | 1036 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 30s | 16186/50000 samples | 1035 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 31s | 16277/50000 samples | 1034 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 33s | 16363/50000 samples | 1033 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 34s | 16443/50000 samples | 1032 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 36s | 16520/50000 samples | 1030 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 37s | 16608/50000 samples | 1029 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 38s | 16691/50000 samples | 1028 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 39s | 16770/50000 samples | 1026 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 41s | 16860/50000 samples | 1024 samples/sRunning... [■■■■■■■■■■■■■■ ] 33% | ETA: 40s | 16963/50000 samples | 1024 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 39s | 17074/50000 samples | 1025 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 38s | 17169/50000 samples | 1024 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 39s | 17236/50000 samples | 1022 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 40s | 17281/50000 samples | 1019 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 43s | 17335/50000 samples | 1015 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 43s | 17335/50000 samples | 1015 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 45s | 17400/50000 samples | 1011 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 45s | 17480/50000 samples | 1010 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 46s | 17542/50000 samples | 1007 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 47s | 17623/50000 samples | 1006 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 51s | 17684/50000 samples | 1004 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 53s | 17751/50000 samples | 1002 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 51s | 17848/50000 samples | 1002 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 47s | 17939/50000 samples | 1001 samples/sRunning... [■■■■■■■■■■■■■■ ] 36% | ETA: 44s | 18036/50000 samples | 1000 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 41s | 18134/50000 samples | 1000 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 42s | 18196/50000 samples | 998 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 41s | 18255/50000 samples | 996 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 42s | 18319/50000 samples | 994 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 42s | 18381/50000 samples | 992 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 42s | 18459/50000 samples | 990 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 43s | 18526/50000 samples | 988 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 46s | 18585/50000 samples | 986 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 47s | 18657/50000 samples | 985 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 49s | 18717/50000 samples | 983 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 48s | 18798/50000 samples | 982 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 46s | 18880/50000 samples | 980 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 49s | 18954/50000 samples | 976 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 43s | 19065/50000 samples | 979 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 41s | 19166/50000 samples | 979 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 39s | 19269/50000 samples | 979 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 38s | 19361/50000 samples | 979 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 37s | 19625/50000 samples | 975 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 37s | 19706/50000 samples | 974 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 36s | 19782/50000 samples | 973 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 34s | 19873/50000 samples | 972 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 37s | 19931/50000 samples | 970 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 40s | 19969/50000 samples | 968 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 46s | 20011/50000 samples | 961 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 46s | 20067/50000 samples | 962 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 53s | 20199/50000 samples | 956 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 50s | 20280/50000 samples | 958 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 48s | 20357/50000 samples | 958 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 49s | 20431/50000 samples | 957 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 48s | 20495/50000 samples | 955 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 41% | ETA: 48s | 20541/50000 samples | 953 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 41% | ETA: 44s | 20572/50000 samples | 950 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 47s | 20627/50000 samples | 948 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 48s | 20688/50000 samples | 947 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 45s | 20746/50000 samples | 945 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 50s | 20803/50000 samples | 943 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 53s | 20859/50000 samples | 941 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 55s | 20922/50000 samples | 939 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 54s | 20990/50000 samples | 939 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 52s | 21089/50000 samples | 934 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 52s | 21154/50000 samples | 932 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 50s | 21230/50000 samples | 931 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 49s | 21297/50000 samples | 931 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 48s | 21366/50000 samples | 930 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 46s | 21452/50000 samples | 929 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 43s | 21536/50000 samples | 929 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 42s | 21620/50000 samples | 929 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 40s | 21703/50000 samples | 928 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 38s | 21780/50000 samples | 927 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 36s | 21868/50000 samples | 927 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 43% | ETA: 35s | 21959/50000 samples | 927 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 34s | 22053/50000 samples | 927 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 33s | 22133/50000 samples | 926 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 34s | 22207/50000 samples | 926 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 34s | 22291/50000 samples | 925 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 34s | 22366/50000 samples | 924 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 34s | 22440/50000 samples | 924 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 35s | 22512/50000 samples | 923 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 35s | 22596/50000 samples | 922 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 35s | 22687/50000 samples | 922 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 35s | 22776/50000 samples | 922 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 35s | 22842/50000 samples | 921 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 36s | 22893/50000 samples | 919 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 39s | 22935/50000 samples | 917 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 41s | 22974/50000 samples | 915 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 43s | 23016/50000 samples | 913 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 44s | 23073/50000 samples | 912 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 47s | 23144/50000 samples | 910 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 51s | 23188/50000 samples | 908 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 51s | 23188/50000 samples | 908 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 54s | 23254/50000 samples | 906 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 55s | 23313/50000 samples | 905 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 56s | 23358/50000 samples | 903 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 58s | 23398/50000 samples | 900 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 68s | 23411/50000 samples | 893 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 68s | 23411/50000 samples | 893 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 79s | 23415/50000 samples | 890 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 113s | 23435/50000 samples | 882 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 122s | 23483/50000 samples | 879 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 140s | 23520/50000 samples | 876 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 149s | 23544/50000 samples | 875 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 184s | 23556/50000 samples | 869 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 169s | 23570/50000 samples | 866 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 176s | 23577/50000 samples | 861 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 138s | 23595/50000 samples | 861 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 137s | 23614/50000 samples | 858 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 153s | 23640/50000 samples | 856 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 158s | 23664/50000 samples | 854 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 164s | 23691/50000 samples | 852 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 116s | 23731/50000 samples | 850 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 116s | 23759/50000 samples | 848 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 112s | 23782/50000 samples | 846 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 99s | 23800/50000 samples | 843 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 99s | 23838/50000 samples | 842 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 110s | 23858/50000 samples | 837 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 114s | 23872/50000 samples | 834 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 119s | 23890/50000 samples | 832 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 139s | 23909/50000 samples | 828 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 139s | 23932/50000 samples | 827 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 135s | 23960/50000 samples | 825 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 122s | 23997/50000 samples | 824 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 110s | 24055/50000 samples | 823 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 97s | 24099/50000 samples | 821 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 87s | 24132/50000 samples | 820 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 80s | 24170/50000 samples | 818 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 76s | 24206/50000 samples | 817 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 69s | 24237/50000 samples | 815 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 72s | 24298/50000 samples | 811 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 69s | 24340/50000 samples | 810 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 77s | 24363/50000 samples | 808 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 85s | 24379/50000 samples | 806 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 85s | 24379/50000 samples | 806 samples/sAn example execution:23[State 0]4{5 hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),6 hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),7 hubBlock::relay::hLen: 0,8 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),9 hubBlock::relay::have: Set(),10 hubBlock::relay::hubComputing: Set(),11 hubBlock::relay::hubErr: false,12 hubBlock::relay::hubFirstNeed: true,13 hubBlock::relay::hubOutbox: Set(),14 hubBlock::relay::hubSent: Set(),15 hubBlock::relay::imported: Set(),16 hubBlock::relay::inline: Set(),17 hubBlock::relay::outstanding: 0,18 hubBlock::relay::pending: Set(),19 hubBlock::relay::phase: Init,20 hubBlock::relay::qHashes:21 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),22 hubBlock::relay::qLen: 0,23 hubBlock::relay::recipes: Set(),24 hubBlock::relay::rounds: 0,25 hubBlock::relay::store: Set(),26 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),27 hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),28 hubBlock::relay::wLen: 0,29 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")30}3132[State 1]33{34 hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),35 hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),36 hubBlock::relay::hLen: 1,37 hubBlock::relay::hPaths: Map(0 -> Set("a", "b", "c"), 1 -> Set()),38 hubBlock::relay::have: Set(),39 hubBlock::relay::hubComputing: Set(),40 hubBlock::relay::hubErr: false,41 hubBlock::relay::hubFirstNeed: true,42 hubBlock::relay::hubOutbox: Set(),43 hubBlock::relay::hubSent: Set(),44 hubBlock::relay::imported: Set(),45 hubBlock::relay::inline: Set(),46 hubBlock::relay::outstanding: 0,47 hubBlock::relay::pending: Set("a", "b", "c"),48 hubBlock::relay::phase: Staging,49 hubBlock::relay::qHashes:50 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),51 hubBlock::relay::qLen: 0,52 hubBlock::relay::recipes: Set(),53 hubBlock::relay::rounds: 0,54 hubBlock::relay::store: Set(),55 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),56 hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),57 hubBlock::relay::wLen: 0,58 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")59}6061[State 2]62{63 hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),64 hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),65 hubBlock::relay::hLen: 0,66 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),67 hubBlock::relay::have: Set(),68 hubBlock::relay::hubComputing: Set("a", "b", "c"),69 hubBlock::relay::hubErr: false,70 hubBlock::relay::hubFirstNeed: false,71 hubBlock::relay::hubOutbox: Set(),72 hubBlock::relay::hubSent: Set(),73 hubBlock::relay::imported: Set(),74 hubBlock::relay::inline: Set(),75 hubBlock::relay::outstanding: 0,76 hubBlock::relay::pending: Set("a", "b", "c"),77 hubBlock::relay::phase: Staging,78 hubBlock::relay::qHashes:79 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),80 hubBlock::relay::qLen: 0,81 hubBlock::relay::recipes: Set(),82 hubBlock::relay::rounds: 0,83 hubBlock::relay::store: Set(),84 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),85 hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),86 hubBlock::relay::wLen: 0,87 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")88}8990[State 3]91{92 hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),93 hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),94 hubBlock::relay::hLen: 0,95 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),96 hubBlock::relay::have: Set(),97 hubBlock::relay::hubComputing: Set("a", "c"),98 hubBlock::relay::hubErr: false,99 hubBlock::relay::hubFirstNeed: false,100 hubBlock::relay::hubOutbox: Set("b"),101 hubBlock::relay::hubSent: Set(),102 hubBlock::relay::imported: Set(),103 hubBlock::relay::inline: Set(),104 hubBlock::relay::outstanding: 0,105 hubBlock::relay::pending: Set("a", "b", "c"),106 hubBlock::relay::phase: Staging,107 hubBlock::relay::qHashes:108 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),109 hubBlock::relay::qLen: 0,110 hubBlock::relay::recipes: Set(),111 hubBlock::relay::rounds: 0,112 hubBlock::relay::store: Set(),113 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),114 hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),115 hubBlock::relay::wLen: 0,116 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")117}118119[State 4]120{121 hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),122 hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),123 hubBlock::relay::hLen: 0,124 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),125 hubBlock::relay::have: Set(),126 hubBlock::relay::hubComputing: Set("a", "c"),127 hubBlock::relay::hubErr: false,128 hubBlock::relay::hubFirstNeed: false,129 hubBlock::relay::hubOutbox: Set(),130 hubBlock::relay::hubSent: Set("b"),131 hubBlock::relay::imported: Set(),132 hubBlock::relay::inline: Set(),133 hubBlock::relay::outstanding: 0,134 hubBlock::relay::pending: Set("a", "b", "c"),135 hubBlock::relay::phase: Staging,136 hubBlock::relay::qHashes:137 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),138 hubBlock::relay::qLen: 0,139 hubBlock::relay::recipes: Set(),140 hubBlock::relay::rounds: 0,141 hubBlock::relay::store: Set(),142 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),143 hubBlock::relay::wKind: Map(0 -> Man, 1 -> Nil, 2 -> Nil),144 hubBlock::relay::wLen: 1,145 hubBlock::relay::wPath: Map(0 -> "b", 1 -> "a", 2 -> "a")146}147148[State 5]149{150 hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),151 hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),152 hubBlock::relay::hLen: 0,153 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),154 hubBlock::relay::have: Set(),155 hubBlock::relay::hubComputing: Set("c"),156 hubBlock::relay::hubErr: false,157 hubBlock::relay::hubFirstNeed: false,158 hubBlock::relay::hubOutbox: Set("a"),159 hubBlock::relay::hubSent: Set("b"),160 hubBlock::relay::imported: Set(),161 hubBlock::relay::inline: Set(),162 hubBlock::relay::outstanding: 0,163 hubBlock::relay::pending: Set("a", "b", "c"),164 hubBlock::relay::phase: Staging,165 hubBlock::relay::qHashes:166 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),167 hubBlock::relay::qLen: 0,168 hubBlock::relay::recipes: Set(),169 hubBlock::relay::rounds: 0,170 hubBlock::relay::store: Set(),171 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),172 hubBlock::relay::wKind: Map(0 -> Man, 1 -> Nil, 2 -> Nil),173 hubBlock::relay::wLen: 1,174 hubBlock::relay::wPath: Map(0 -> "b", 1 -> "a", 2 -> "a")175}176177[State 6]178{179 hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set("b"), 3 -> Set("b")),180 hubBlock::relay::hHashes: Map(0 -> Set(2, 3), 1 -> Set()),181 hubBlock::relay::hLen: 1,182 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),183 hubBlock::relay::have: Set(),184 hubBlock::relay::hubComputing: Set("c"),185 hubBlock::relay::hubErr: false,186 hubBlock::relay::hubFirstNeed: false,187 hubBlock::relay::hubOutbox: Set("a"),188 hubBlock::relay::hubSent: Set("b"),189 hubBlock::relay::imported: Set(),190 hubBlock::relay::inline: Set(),191 hubBlock::relay::outstanding: 1,192 hubBlock::relay::pending: Set("a", "b", "c"),193 hubBlock::relay::phase: Staging,194 hubBlock::relay::qHashes:195 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),196 hubBlock::relay::qLen: 0,197 hubBlock::relay::recipes: Set("b"),198 hubBlock::relay::rounds: 0,199 hubBlock::relay::store: Set(),200 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),201 hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),202 hubBlock::relay::wLen: 0,203 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")204}205206[State 7]207{208 hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set("b"), 3 -> Set("b")),209 hubBlock::relay::hHashes: Map(0 -> Set(2, 3), 1 -> Set()),210 hubBlock::relay::hLen: 1,211 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),212 hubBlock::relay::have: Set(),213 hubBlock::relay::hubComputing: Set("c"),214 hubBlock::relay::hubErr: false,215 hubBlock::relay::hubFirstNeed: false,216 hubBlock::relay::hubOutbox: Set(),217 hubBlock::relay::hubSent: Set("a", "b"),218 hubBlock::relay::imported: Set(),219 hubBlock::relay::inline: Set(),220 hubBlock::relay::outstanding: 1,221 hubBlock::relay::pending: Set("a", "b", "c"),222 hubBlock::relay::phase: Staging,223 hubBlock::relay::qHashes:224 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),225 hubBlock::relay::qLen: 0,226 hubBlock::relay::recipes: Set("b"),227 hubBlock::relay::rounds: 0,228 hubBlock::relay::store: Set(),229 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),230 hubBlock::relay::wKind: Map(0 -> Man, 1 -> Nil, 2 -> Nil),231 hubBlock::relay::wLen: 1,232 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")233}234235[State 8]236{237 hubBlock::relay::awaiting:238 Map(1 -> Set("a"), 2 -> Set("a", "b"), 3 -> Set("b")),239 hubBlock::relay::hHashes: Map(0 -> Set(2, 3), 1 -> Set(1)),240 hubBlock::relay::hLen: 2,241 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),242 hubBlock::relay::have: Set(),243 hubBlock::relay::hubComputing: Set("c"),244 hubBlock::relay::hubErr: false,245 hubBlock::relay::hubFirstNeed: false,246 hubBlock::relay::hubOutbox: Set(),247 hubBlock::relay::hubSent: Set("a", "b"),248 hubBlock::relay::imported: Set(),249 hubBlock::relay::inline: Set(),250 hubBlock::relay::outstanding: 2,251 hubBlock::relay::pending: Set("a", "b", "c"),252 hubBlock::relay::phase: Staging,253 hubBlock::relay::qHashes:254 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),255 hubBlock::relay::qLen: 0,256 hubBlock::relay::recipes: Set("a", "b"),257 hubBlock::relay::rounds: 0,258 hubBlock::relay::store: Set(),259 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),260 hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),261 hubBlock::relay::wLen: 0,262 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")263}264265[State 9]266{267 hubBlock::relay::awaiting:268 Map(1 -> Set("a"), 2 -> Set("a", "b"), 3 -> Set("b")),269 hubBlock::relay::hHashes: Map(0 -> Set(2, 3), 1 -> Set(1)),270 hubBlock::relay::hLen: 2,271 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),272 hubBlock::relay::have: Set(),273 hubBlock::relay::hubComputing: Set("c"),274 hubBlock::relay::hubErr: false,275 hubBlock::relay::hubFirstNeed: false,276 hubBlock::relay::hubOutbox: Set(),277 hubBlock::relay::hubSent: Set("a", "b"),278 hubBlock::relay::imported: Set(),279 hubBlock::relay::inline: Set(),280 hubBlock::relay::outstanding: 2,281 hubBlock::relay::pending: Set("a", "b", "c"),282 hubBlock::relay::phase: Staging,283 hubBlock::relay::qHashes:284 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),285 hubBlock::relay::qLen: 0,286 hubBlock::relay::recipes: Set("a", "b"),287 hubBlock::relay::rounds: 0,288 hubBlock::relay::store: Set(),289 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),290 hubBlock::relay::wKind: Map(0 -> Other, 1 -> Nil, 2 -> Nil),291 hubBlock::relay::wLen: 1,292 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")293}294295[State 10]296{297 hubBlock::relay::awaiting:298 Map(1 -> Set("a"), 2 -> Set("a", "b"), 3 -> Set("b")),299 hubBlock::relay::hHashes: Map(0 -> Set(2, 3), 1 -> Set(1)),300 hubBlock::relay::hLen: 2,301 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),302 hubBlock::relay::have: Set(),303 hubBlock::relay::hubComputing: Set(),304 hubBlock::relay::hubErr: false,305 hubBlock::relay::hubFirstNeed: false,306 hubBlock::relay::hubOutbox: Set("c"),307 hubBlock::relay::hubSent: Set("a", "b"),308 hubBlock::relay::imported: Set(),309 hubBlock::relay::inline: Set(),310 hubBlock::relay::outstanding: 2,311 hubBlock::relay::pending: Set("a", "b", "c"),312 hubBlock::relay::phase: Staging,313 hubBlock::relay::qHashes:314 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),315 hubBlock::relay::qLen: 0,316 hubBlock::relay::recipes: Set("a", "b"),317 hubBlock::relay::rounds: 0,318 hubBlock::relay::store: Set(),319 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),320 hubBlock::relay::wKind: Map(0 -> Other, 1 -> Nil, 2 -> Nil),321 hubBlock::relay::wLen: 1,322 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")323}324325[State 11]326{327 hubBlock::relay::awaiting:328 Map(1 -> Set("a"), 2 -> Set("a", "b"), 3 -> Set("b")),329 hubBlock::relay::hHashes: Map(0 -> Set(2, 3), 1 -> Set(1)),330 hubBlock::relay::hLen: 2,331 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),332 hubBlock::relay::have: Set(),333 hubBlock::relay::hubComputing: Set(),334 hubBlock::relay::hubErr: false,335 hubBlock::relay::hubFirstNeed: false,336 hubBlock::relay::hubOutbox: Set("c"),337 hubBlock::relay::hubSent: Set("a", "b"),338 hubBlock::relay::imported: Set(),339 hubBlock::relay::inline: Set(),340 hubBlock::relay::outstanding: 2,341 hubBlock::relay::pending: Set("a", "b", "c"),342 hubBlock::relay::phase: Staging,343 hubBlock::relay::qHashes:344 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),345 hubBlock::relay::qLen: 0,346 hubBlock::relay::recipes: Set("a", "b"),347 hubBlock::relay::rounds: 0,348 hubBlock::relay::store: Set(),349 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),350 hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),351 hubBlock::relay::wLen: 0,352 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")353}354355[State 12]356{357 hubBlock::relay::awaiting:358 Map(1 -> Set("a"), 2 -> Set("a", "b"), 3 -> Set("b")),359 hubBlock::relay::hHashes: Map(0 -> Set(2, 3), 1 -> Set(1)),360 hubBlock::relay::hLen: 2,361 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),362 hubBlock::relay::have: Set(),363 hubBlock::relay::hubComputing: Set(),364 hubBlock::relay::hubErr: false,365 hubBlock::relay::hubFirstNeed: false,366 hubBlock::relay::hubOutbox: Set("c"),367 hubBlock::relay::hubSent: Set("a", "b"),368 hubBlock::relay::imported: Set(),369 hubBlock::relay::inline: Set(),370 hubBlock::relay::outstanding: 2,371 hubBlock::relay::pending: Set("a", "b", "c"),372 hubBlock::relay::phase: Staging,373 hubBlock::relay::qHashes:374 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),375 hubBlock::relay::qLen: 0,376 hubBlock::relay::recipes: Set("a", "b"),377 hubBlock::relay::rounds: 0,378 hubBlock::relay::store: Set(),379 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),380 hubBlock::relay::wKind: Map(0 -> Other, 1 -> Nil, 2 -> Nil),381 hubBlock::relay::wLen: 1,382 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")383}384385[State 13]386{387 hubBlock::relay::awaiting:388 Map(1 -> Set("a"), 2 -> Set("a", "b"), 3 -> Set("b")),389 hubBlock::relay::hHashes: Map(0 -> Set(2, 3), 1 -> Set(1)),390 hubBlock::relay::hLen: 2,391 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),392 hubBlock::relay::have: Set(),393 hubBlock::relay::hubComputing: Set(),394 hubBlock::relay::hubErr: false,395 hubBlock::relay::hubFirstNeed: false,396 hubBlock::relay::hubOutbox: Set("c"),397 hubBlock::relay::hubSent: Set("a", "b"),398 hubBlock::relay::imported: Set(),399 hubBlock::relay::inline: Set(),400 hubBlock::relay::outstanding: 2,401 hubBlock::relay::pending: Set("a", "b", "c"),402 hubBlock::relay::phase: Staging,403 hubBlock::relay::qHashes:404 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),405 hubBlock::relay::qLen: 0,406 hubBlock::relay::recipes: Set("a", "b"),407 hubBlock::relay::rounds: 0,408 hubBlock::relay::store: Set(),409 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),410 hubBlock::relay::wKind: Map(0 -> Other, 1 -> Other, 2 -> Nil),411 hubBlock::relay::wLen: 2,412 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")413}414415[State 14]416{417 hubBlock::relay::awaiting:418 Map(1 -> Set("a"), 2 -> Set("a", "b"), 3 -> Set("b")),419 hubBlock::relay::hHashes: Map(0 -> Set(2, 3), 1 -> Set(1)),420 hubBlock::relay::hLen: 2,421 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),422 hubBlock::relay::have: Set(),423 hubBlock::relay::hubComputing: Set(),424 hubBlock::relay::hubErr: false,425 hubBlock::relay::hubFirstNeed: false,426 hubBlock::relay::hubOutbox: Set("c"),427 hubBlock::relay::hubSent: Set("a", "b"),428 hubBlock::relay::imported: Set(),429 hubBlock::relay::inline: Set(),430 hubBlock::relay::outstanding: 2,431 hubBlock::relay::pending: Set("a", "b", "c"),432 hubBlock::relay::phase: Staging,433 hubBlock::relay::qHashes:434 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),435 hubBlock::relay::qLen: 0,436 hubBlock::relay::recipes: Set("a", "b"),437 hubBlock::relay::rounds: 0,438 hubBlock::relay::store: Set(),439 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),440 hubBlock::relay::wKind: Map(0 -> Other, 1 -> Other, 2 -> Other),441 hubBlock::relay::wLen: 3,442 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")443}444445[violation] Found an issue (30494ms at 799 traces/second).446Use --verbosity=3 to show executions.447Use --seed=0x12d282952db3ca7e --backend=rust to reproduce.448error: Invariant violated