Running... [                                        ] 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:

[State 0]
{
  hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),
  hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::hLen: 0,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set(),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: true,
  hubBlock::relay::hubOutbox: Set(),
  hubBlock::relay::hubSent: Set(),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 0,
  hubBlock::relay::pending: Set(),
  hubBlock::relay::phase: Init,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set(),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 0,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 1]
{
  hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),
  hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::hLen: 1,
  hubBlock::relay::hPaths: Map(0 -> Set("a", "b", "c"), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set(),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: true,
  hubBlock::relay::hubOutbox: Set(),
  hubBlock::relay::hubSent: Set(),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 0,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set(),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 0,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 2]
{
  hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),
  hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::hLen: 0,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set("a", "b", "c"),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set(),
  hubBlock::relay::hubSent: Set(),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 0,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set(),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 0,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 3]
{
  hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),
  hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::hLen: 0,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set("a", "c"),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set("b"),
  hubBlock::relay::hubSent: Set(),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 0,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set(),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 0,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 4]
{
  hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),
  hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::hLen: 0,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set("a", "c"),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set(),
  hubBlock::relay::hubSent: Set("b"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 0,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set(),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Man, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 1,
  hubBlock::relay::wPath: Map(0 -> "b", 1 -> "a", 2 -> "a")
}

[State 5]
{
  hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),
  hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::hLen: 0,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set("c"),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set("a"),
  hubBlock::relay::hubSent: Set("b"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 0,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set(),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Man, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 1,
  hubBlock::relay::wPath: Map(0 -> "b", 1 -> "a", 2 -> "a")
}

[State 6]
{
  hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set("b"), 3 -> Set("b")),
  hubBlock::relay::hHashes: Map(0 -> Set(2, 3), 1 -> Set()),
  hubBlock::relay::hLen: 1,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set("c"),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set("a"),
  hubBlock::relay::hubSent: Set("b"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 1,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set("b"),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 0,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 7]
{
  hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set("b"), 3 -> Set("b")),
  hubBlock::relay::hHashes: Map(0 -> Set(2, 3), 1 -> Set()),
  hubBlock::relay::hLen: 1,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set("c"),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set(),
  hubBlock::relay::hubSent: Set("a", "b"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 1,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set("b"),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Man, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 1,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 8]
{
  hubBlock::relay::awaiting:
    Map(1 -> Set("a"), 2 -> Set("a", "b"), 3 -> Set("b")),
  hubBlock::relay::hHashes: Map(0 -> Set(2, 3), 1 -> Set(1)),
  hubBlock::relay::hLen: 2,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set("c"),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set(),
  hubBlock::relay::hubSent: Set("a", "b"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 2,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set("a", "b"),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 0,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 9]
{
  hubBlock::relay::awaiting:
    Map(1 -> Set("a"), 2 -> Set("a", "b"), 3 -> Set("b")),
  hubBlock::relay::hHashes: Map(0 -> Set(2, 3), 1 -> Set(1)),
  hubBlock::relay::hLen: 2,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set("c"),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set(),
  hubBlock::relay::hubSent: Set("a", "b"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 2,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set("a", "b"),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Other, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 1,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 10]
{
  hubBlock::relay::awaiting:
    Map(1 -> Set("a"), 2 -> Set("a", "b"), 3 -> Set("b")),
  hubBlock::relay::hHashes: Map(0 -> Set(2, 3), 1 -> Set(1)),
  hubBlock::relay::hLen: 2,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set(),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set("c"),
  hubBlock::relay::hubSent: Set("a", "b"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 2,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set("a", "b"),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Other, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 1,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 11]
{
  hubBlock::relay::awaiting:
    Map(1 -> Set("a"), 2 -> Set("a", "b"), 3 -> Set("b")),
  hubBlock::relay::hHashes: Map(0 -> Set(2, 3), 1 -> Set(1)),
  hubBlock::relay::hLen: 2,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set(),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set("c"),
  hubBlock::relay::hubSent: Set("a", "b"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 2,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set("a", "b"),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 0,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 12]
{
  hubBlock::relay::awaiting:
    Map(1 -> Set("a"), 2 -> Set("a", "b"), 3 -> Set("b")),
  hubBlock::relay::hHashes: Map(0 -> Set(2, 3), 1 -> Set(1)),
  hubBlock::relay::hLen: 2,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set(),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set("c"),
  hubBlock::relay::hubSent: Set("a", "b"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 2,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set("a", "b"),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Other, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 1,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 13]
{
  hubBlock::relay::awaiting:
    Map(1 -> Set("a"), 2 -> Set("a", "b"), 3 -> Set("b")),
  hubBlock::relay::hHashes: Map(0 -> Set(2, 3), 1 -> Set(1)),
  hubBlock::relay::hLen: 2,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set(),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set("c"),
  hubBlock::relay::hubSent: Set("a", "b"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 2,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set("a", "b"),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Other, 1 -> Other, 2 -> Nil),
  hubBlock::relay::wLen: 2,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 14]
{
  hubBlock::relay::awaiting:
    Map(1 -> Set("a"), 2 -> Set("a", "b"), 3 -> Set("b")),
  hubBlock::relay::hHashes: Map(0 -> Set(2, 3), 1 -> Set(1)),
  hubBlock::relay::hLen: 2,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set(),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set("c"),
  hubBlock::relay::hubSent: Set("a", "b"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 2,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set("a", "b"),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Other, 1 -> Other, 2 -> Other),
  hubBlock::relay::wLen: 3,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[violation] Found an issue (30494ms at 799 traces/second).
Use --verbosity=3 to show executions.
Use --seed=0x12d282952db3ca7e --backend=rust to reproduce.
error: Invariant violated