orca.log

852 spins in 98.560000 us with timeout 2
637 spins in 99.245000 us with timeout 1
1133 spins in 100.236000 us with timeout 2
752 spins in 97.881000 us with timeout 2
547 spins in 98.287000 us with timeout 1
2322 spins in 100.432000 us with timeout 1
512 spins in 96.523000 us with timeout 2
855 spins in 99.567000 us with timeout 1
1156 spins in 99.947000 us with timeout 2
1371 spins in 100.394000 us with timeout 2
756 spins in 98.302000 us with timeout 2
956 spins in 99.357000 us with timeout 1
1768 spins in 100.301000 us with timeout 1
1249 spins in 99.163000 us with timeout 1
679 spins in 99.189000 us with timeout 2
759 spins in 98.808000 us with timeout 1
962 spins in 99.847000 us with timeout 1
1052 spins in 98.437000 us with timeout 1
950 spins in 99.117000 us with timeout 1
854 spins in 98.757000 us with timeout 1
959 spins in 99.550000 us with timeout 1
761 spins in 98.898000 us with timeout 1
765 spins in 99.460000 us with timeout 1
871 spins in 100.637000 us with timeout 1
771 spins in 100.331000 us with timeout 1
1123 spins in 99.410000 us with timeout 1
864 spins in 99.706000 us with timeout 1
755 spins in 98.647000 us with timeout 1
772 spins in 100.462000 us with timeout 1
876 spins in 100.372000 us with timeout 1
1261 spins in 99.725000 us with timeout 2
961 spins in 99.867000 us with timeout 2
2599 spins in 99.596000 us with timeout 2
1637 spins in 99.708000 us with timeout 2
691 spins in 98.467000 us with timeout 2
1560 spins in 100.326000 us with timeout 2
694 spins in 100.793000 us with timeout 2
1237 spins in 98.665000 us with timeout 1
761 spins in 99.123000 us with timeout 2
753 spins in 97.846000 us with timeout 1
638 spins in 99.919000 us with timeout 1
854 spins in 98.632000 us with timeout 1
759 spins in 98.673000 us with timeout 2
773 spins in 100.528000 us with timeout 1
759 spins in 98.738000 us with timeout 1
err: 0.000007
729 spins in 226.518000 us with timeout 1
765 spins in 99.524000 us with timeout 1
752 spins in 97.796000 us with timeout 1
err: 0.000008
803 spins in 149.187000 us with timeout 1
532 spins in 97.971000 us with timeout 1
err: 0.000027
620 spins in 179.986000 us with timeout 1
873 spins in 100.046000 us with timeout 1
870 spins in 100.472000 us with timeout 2
1241 spins in 99.149000 us with timeout 1
1747 spins in 99.170000 us with timeout 2
err: 0.000125
guilty timeout: 2
552 spins in 250.058000 us with timeout 2
751 spins in 97.696000 us with timeout 2
961 spins in 100.152000 us with timeout 1
863 spins in 99.626000 us with timeout 2
1618 spins in 99.490000 us with timeout 2
808 spins in 94.882000 us with timeout 2
748 spins in 98.648000 us with timeout 1
1161 spins in 100.315000 us with timeout 2
967 spins in 100.411000 us with timeout 2
766 spins in 99.620000 us with timeout 1
1046 spins in 98.393000 us with timeout 1
1048 spins in 99.550000 us with timeout 2
773 spins in 100.477000 us with timeout 1
860 spins in 98.366000 us with timeout 2
753 spins in 98.001000 us with timeout 1
542 spins in 100.487000 us with timeout 1
957 spins in 99.430000 us with timeout 1
867 spins in 100.140000 us with timeout 1
775 spins in 99.630000 us with timeout 1
1243 spins in 99.227000 us with timeout 1
757 spins in 98.527000 us with timeout 2
752 spins in 97.746000 us with timeout 1
912 spins in 93.921000 us with timeout 1
1440 spins in 99.499000 us with timeout 2
817 spins in 100.518000 us with timeout 2
1065 spins in 100.499000 us with timeout 1
967 spins in 100.408000 us with timeout 1
1719 spins in 99.328000 us with timeout 2
757 spins in 97.919000 us with timeout 2
1069 spins in 99.957000 us with timeout 2
856 spins in 98.864000 us with timeout 2
864 spins in 99.822000 us with timeout 2
954 spins in 99.220000 us with timeout 1
753 spins in 97.962000 us with timeout 2
1052 spins in 99.356000 us with timeout 1
963 spins in 100.083000 us with timeout 1
649 spins in 100.291000 us with timeout 1
1556 spins in 99.560000 us with timeout 1
764 spins in 98.668000 us with timeout 2
1298 spins in 99.785000 us with timeout 2
1627 spins in 99.182000 us with timeout 2
866 spins in 99.967000 us with timeout 2
1048 spins in 99.386000 us with timeout 1
962 spins in 99.871000 us with timeout 2
949 spins in 98.828000 us with timeout 2
526 spins in 96.778000 us with timeout 2
1154 spins in 99.877000 us with timeout 1
736 spins in 96.808000 us with timeout 2
1050 spins in 99.062000 us with timeout 2
763 spins in 99.239000 us with timeout 2
1635 spins in 99.592000 us with timeout 1
752 spins in 97.736000 us with timeout 2
848 spins in 98.039000 us with timeout 1
768 spins in 99.786000 us with timeout 1
1160 spins in 100.295000 us with timeout 1
760 spins in 98.783000 us with timeout 2
771 spins in 100.261000 us with timeout 1
1026 spins in 99.840000 us with timeout 1
532 spins in 98.423000 us with timeout 2
867 spins in 100.231000 us with timeout 1
753 spins in 97.946000 us with timeout 1
947 spins in 98.340000 us with timeout 1
855 spins in 98.852000 us with timeout 1
758 spins in 98.628000 us with timeout 1
847 spins in 97.991000 us with timeout 1
767 spins in 99.650000 us with timeout 1
688 spins in 99.018000 us with timeout 1
515 spins in 96.663000 us with timeout 1
773 spins in 100.376000 us with timeout 1
1143 spins in 98.865000 us with timeout 2
869 spins in 100.312000 us with timeout 2
757 spins in 98.673000 us with timeout 2
849 spins in 98.037000 us with timeout 1
1627 spins in 99.199000 us with timeout 2
849 spins in 98.089000 us with timeout 2
662 spins in 98.713000 us with timeout 2
err: 0.000011
852 spins in 203.902000 us with timeout 1
687 spins in 97.969000 us with timeout 1
763 spins in 99.244000 us with timeout 1
678 spins in 98.277000 us with timeout 1
1637 spins in 100.419000 us with timeout 1
err: 0.000022
919 spins in 159.739000 us with timeout 2
1244 spins in 99.326000 us with timeout 1
1208 spins in 100.268000 us with timeout 2
948 spins in 98.462000 us with timeout 2
754 spins in 98.076000 us with timeout 2
449 spins in 100.283000 us with timeout 1
752 spins in 97.820000 us with timeout 2
602 spins in 101.750000 us with timeout 2
773 spins in 100.542000 us with timeout 1
1347 spins in 99.795000 us with timeout 1
739 spins in 82.851000 us with timeout 2
1066 spins in 98.497000 us with timeout 2
857 spins in 98.062000 us with timeout 2
1356 spins in 100.402000 us with timeout 1
758 spins in 98.537000 us with timeout 2
1430 spins in 98.931000 us with timeout 1
768 spins in 100.307000 us with timeout 2
762 spins in 98.968000 us with timeout 1
777 spins in 100.116000 us with timeout 2
1062 spins in 100.165000 us with timeout 1
598 spins in 98.423000 us with timeout 1
760 spins in 97.831000 us with timeout 1
2307 spins in 99.679000 us with timeout 2
1155 spins in 99.861000 us with timeout 2
1154 spins in 99.800000 us with timeout 2
772 spins in 100.046000 us with timeout 1
713 spins in 100.647000 us with timeout 1
861 spins in 99.429000 us with timeout 1
760 spins in 98.001000 us with timeout 1
861 spins in 99.436000 us with timeout 1
772 spins in 100.212000 us with timeout 1
1162 spins in 100.010000 us with timeout 1
858 spins in 99.132000 us with timeout 2
848 spins in 97.921000 us with timeout 1
959 spins in 99.578000 us with timeout 2
654 spins in 97.902000 us with timeout 2
764 spins in 98.462000 us with timeout 1
635 spins in 73.546000 us with timeout 1
1541 spins in 99.803000 us with timeout 2
682 spins in 100.602000 us with timeout 2
755 spins in 98.262000 us with timeout 1
587 spins in 94.859000 us with timeout 1
1058 spins in 99.831000 us with timeout 1
767 spins in 99.750000 us with timeout 2
1062 spins in 100.291000 us with timeout 1
1712 spins in 100.042000 us with timeout 2
670 spins in 97.440000 us with timeout 2
773 spins in 99.705000 us with timeout 1
863 spins in 98.663000 us with timeout 1
768 spins in 98.908000 us with timeout 1
588 spins in 99.650000 us with timeout 1
760 spins in 99.023000 us with timeout 1
919 spins in 98.764000 us with timeout 1
1064 spins in 100.412000 us with timeout 1
823 spins in 100.756000 us with timeout 1
951 spins in 98.848000 us with timeout 1
761 spins in 99.099000 us with timeout 2
851 spins in 98.260000 us with timeout 1
871 spins in 100.621000 us with timeout 2
774 spins in 100.662000 us with timeout 1
771 spins in 100.241000 us with timeout 1
1255 spins in 100.132000 us with timeout 1
853 spins in 98.444000 us with timeout 2
754 spins in 98.007000 us with timeout 1
1205 spins in 99.587000 us with timeout 1
953 spins in 98.107000 us with timeout 2
859 spins in 99.157000 us with timeout 2
1243 spins in 99.243000 us with timeout 2
2319 spins in 100.114000 us with timeout 2
1650 spins in 100.065000 us with timeout 2
789 spins in 98.843000 us with timeout 2
961 spins in 99.755000 us with timeout 1
862 spins in 99.594000 us with timeout 1
963 spins in 100.034000 us with timeout 2
863 spins in 98.087000 us with timeout 2
770 spins in 100.106000 us with timeout 1
949 spins in 98.531000 us with timeout 1
862 spins in 99.478000 us with timeout 1
err: 0.000041
800 spins in 656.450000 us with timeout 1
860 spins in 99.282000 us with timeout 1
568 spins in 97.165000 us with timeout 2
697 spins in 98.653000 us with timeout 1
762 spins in 98.206000 us with timeout 2
774 spins in 100.477000 us with timeout 1
965 spins in 99.863000 us with timeout 1
474 spins in 99.274000 us with timeout 1
err: 0.000030
621 spins in 164.291000 us with timeout 1
1050 spins in 99.069000 us with timeout 1
1052 spins in 99.483000 us with timeout 1
816 spins in 98.159000 us with timeout 1
948 spins in 98.584000 us with timeout 1
645 spins in 99.332000 us with timeout 1
862 spins in 99.490000 us with timeout 1
848 spins in 99.357000 us with timeout 1
764 spins in 99.279000 us with timeout 1
783 spins in 97.933000 us with timeout 2
1117 spins in 85.981000 us with timeout 1
849 spins in 98.182000 us with timeout 1
1043 spins in 98.367000 us with timeout 1
860 spins in 99.421000 us with timeout 2
711 spins in 100.287000 us with timeout 1
742 spins in 96.748000 us with timeout 1
554 spins in 100.276000 us with timeout 1
755 spins in 98.202000 us with timeout 1
684 spins in 97.871000 us with timeout 1
1469 spins in 99.309000 us with timeout 2
2030 spins in 100.113000 us with timeout 2
947 spins in 98.347000 us with timeout 1
873 spins in 99.814000 us with timeout 1
1061 spins in 100.131000 us with timeout 1
1137 spins in 98.394000 us with timeout 2
945 spins in 98.276000 us with timeout 1
868 spins in 100.415000 us with timeout 1
816 spins in 100.071000 us with timeout 1
1357 spins in 100.138000 us with timeout 1
771 spins in 99.415000 us with timeout 1
765 spins in 98.493000 us with timeout 1
858 spins in 98.996000 us with timeout 1
957 spins in 99.426000 us with timeout 1
868 spins in 100.164000 us with timeout 1
836 spins in 98.090000 us with timeout 1
756 spins in 97.611000 us with timeout 1
1061 spins in 100.224000 us with timeout 2
err: 0.000023
681 spins in 99.766000 us with timeout 1
688 spins in 99.497000 us with timeout 1
772 spins in 100.352000 us with timeout 2
866 spins in 100.060000 us with timeout 1
1647 spins in 100.366000 us with timeout 1
2303 spins in 99.312000 us with timeout 2
967 spins in 100.356000 us with timeout 2
761 spins in 98.101000 us with timeout 1
865 spins in 98.988000 us with timeout 2
851 spins in 98.119000 us with timeout 1
1059 spins in 98.996000 us with timeout 1
961 spins in 99.839000 us with timeout 2
479 spins in 100.808000 us with timeout 2
1058 spins in 99.079000 us with timeout 1
755 spins in 98.201000 us with timeout 2
745 spins in 98.102000 us with timeout 1
949 spins in 98.628000 us with timeout 1
1749 spins in 100.220000 us with timeout 2
757 spins in 98.472000 us with timeout 2
868 spins in 100.428000 us with timeout 1
954 spins in 99.253000 us with timeout 1
768 spins in 99.840000 us with timeout 1
758 spins in 98.598000 us with timeout 1
768 spins in 99.860000 us with timeout 1
964 spins in 100.342000 us with timeout 1
520 spins in 96.793000 us with timeout 1
543 spins in 97.064000 us with timeout 1
1050 spins in 99.119000 us with timeout 1
1236 spins in 98.616000 us with timeout 1
727 spins in 100.484000 us with timeout 1
1000 spins in 99.209000 us with timeout 1
852 spins in 98.560000 us with timeout 1
576 spins in 99.288000 us with timeout 1
1132 spins in 99.964000 us with timeout 1
853 spins in 98.809000 us with timeout 1
863 spins in 98.896000 us with timeout 1
1060 spins in 100.044000 us with timeout 2
637 spins in 97.970000 us with timeout 1
631 spins in 100.402000 us with timeout 1
758 spins in 98.603000 us with timeout 1
1785 spins in 99.843000 us with timeout 1
859 spins in 98.507000 us with timeout 1
751 spins in 97.640000 us with timeout 1
1008 spins in 100.579000 us with timeout 1
753 spins in 97.916000 us with timeout 2
758 spins in 97.605000 us with timeout 1
585 spins in 100.181000 us with timeout 1
1869 spins in 99.680000 us with timeout 1
err: 0.000002
994 spins in 147.795000 us with timeout 2
762 spins in 99.043000 us with timeout 2
958 spins in 100.652000 us with timeout 1
1618 spins in 98.978000 us with timeout 1
962 spins in 100.115000 us with timeout 2
537 spins in 99.048000 us with timeout 1
764 spins in 99.274000 us with timeout 2
err: 0.000027
544 spins in 192.911000 us with timeout 1
1093 spins in 99.309000 us with timeout 1
945 spins in 98.167000 us with timeout 2
821 spins in 94.919000 us with timeout 1
809 spins in 97.943000 us with timeout 1
1166 spins in 99.662000 us with timeout 1
762 spins in 98.212000 us with timeout 1
774 spins in 100.567000 us with timeout 1
1644 spins in 100.187000 us with timeout 1
859 spins in 99.277000 us with timeout 2
691 spins in 100.237000 us with timeout 1
763 spins in 99.224000 us with timeout 1
668 spins in 99.550000 us with timeout 1
760 spins in 98.803000 us with timeout 1
1101 spins in 99.480000 us with timeout 1
1646 spins in 99.113000 us with timeout 1
859 spins in 99.182000 us with timeout 2
870 spins in 100.403000 us with timeout 2
697 spins in 98.292000 us with timeout 1
831 spins in 97.440000 us with timeout 2
624 spins in 99.866000 us with timeout 1
762 spins in 99.350000 us with timeout 1
868 spins in 100.471000 us with timeout 2
855 spins in 98.767000 us with timeout 1
1643 spins in 100.125000 us with timeout 1
1238 spins in 98.773000 us with timeout 1
788 spins in 98.935000 us with timeout 1
853 spins in 98.640000 us with timeout 1
916 spins in 97.581000 us with timeout 1
966 spins in 100.348000 us with timeout 1
err: 0.000070
guilty timeout: 1
1647 spins in 100.509000 us with timeout 1
677 spins in 98.578000 us with timeout 2
772 spins in 100.603000 us with timeout 1
568 spins in 97.560000 us with timeout 1
638 spins in 98.879000 us with timeout 1
1624 spins in 99.004000 us with timeout 1
976 spins in 100.359000 us with timeout 1
1679 spins in 98.790000 us with timeout 1
952 spins in 98.973000 us with timeout 1
867 spins in 100.011000 us with timeout 1
966 spins in 100.484000 us with timeout 2
963 spins in 99.987000 us with timeout 1
689 spins in 100.787000 us with timeout 1
err: 0.000416
guilty timeout: 1
1453 spins in 100.334000 us with timeout 1
1244 spins in 99.181000 us with timeout 2
858 spins in 98.244000 us with timeout 2
860 spins in 99.465000 us with timeout 2
772 spins in 100.231000 us with timeout 1
868 spins in 100.311000 us with timeout 1
868 spins in 100.216000 us with timeout 1
817 spins in 100.668000 us with timeout 1
764 spins in 99.389000 us with timeout 1
1338 spins in 99.119000 us with timeout 2
860 spins in 99.305000 us with timeout 2
611 spins in 98.097000 us with timeout 1
err: 0.000013
677 spins in 170.714000 us with timeout 1
1149 spins in 99.483000 us with timeout 1
1255 spins in 100.103000 us with timeout 1
1627 spins in 99.027000 us with timeout 1
1330 spins in 99.842000 us with timeout 1
2323 spins in 100.178000 us with timeout 1
err: 0.000004
930 spins in 155.623000 us with timeout 1
1121 spins in 99.923000 us with timeout 1
995 spins in 84.014000 us with timeout 1
1248 spins in 98.547000 us with timeout 1
1174 spins in 98.693000 us with timeout 1
1624 spins in 99.111000 us with timeout 1
1014 spins in 99.593000 us with timeout 1
879 spins in 100.539000 us with timeout 1
err: 0.000009
534 spins in 630.931000 us with timeout 1
865 spins in 99.965000 us with timeout 1
751 spins in 97.700000 us with timeout 1
684 spins in 100.648000 us with timeout 1
762 spins in 98.171000 us with timeout 1
756 spins in 98.412000 us with timeout 1
1152 spins in 98.861000 us with timeout 2
669 spins in 97.720000 us with timeout 2
err: 0.000013
929 spins in 149.876000 us with timeout 1
1457 spins in 99.726000 us with timeout 1
1333 spins in 98.858000 us with timeout 2
759 spins in 98.619000 us with timeout 2
960 spins in 99.722000 us with timeout 2
1221 spins in 99.472000 us with timeout 2
860 spins in 99.377000 us with timeout 2
864 spins in 99.746000 us with timeout 1
844 spins in 98.423000 us with timeout 2
1462 spins in 100.091000 us with timeout 1
623 spins in 73.878000 us with timeout 2
758 spins in 97.595000 us with timeout 1
848 spins in 97.931000 us with timeout 1
791 spins in 98.107000 us with timeout 1
861 spins in 98.492000 us with timeout 1
678 spins in 96.643000 us with timeout 1
859 spins in 99.265000 us with timeout 1
857 spins in 98.967000 us with timeout 2
738 spins in 100.427000 us with timeout 1
766 spins in 99.539000 us with timeout 1
606 spins in 98.824000 us with timeout 1
1082 spins in 98.594000 us with timeout 1
756 spins in 98.262000 us with timeout 2
948 spins in 98.575000 us with timeout 1
957 spins in 99.333000 us with timeout 1
953 spins in 99.005000 us with timeout 1
1347 spins in 99.748000 us with timeout 2
533 spins in 97.961000 us with timeout 2
1030 spins in 100.204000 us with timeout 1
954 spins in 99.289000 us with timeout 1
1538 spins in 99.623000 us with timeout 1
1143 spins in 98.805000 us with timeout 2
1073 spins in 100.211000 us with timeout 1
1049 spins in 98.978000 us with timeout 1
1065 spins in 100.449000 us with timeout 1
677 spins in 98.075000 us with timeout 1
863 spins in 99.706000 us with timeout 1
849 spins in 98.115000 us with timeout 1
659 spins in 97.825000 us with timeout 1
err: 0.000015
762 spins in 154.808000 us with timeout 1
850 spins in 98.199000 us with timeout 1
766 spins in 99.790000 us with timeout 2
954 spins in 98.338000 us with timeout 1
861 spins in 98.435000 us with timeout 1
988 spins in 99.075000 us with timeout 2
686 spins in 100.753000 us with timeout 2
1046 spins in 98.768000 us with timeout 1
856 spins in 98.813000 us with timeout 1
760 spins in 98.823000 us with timeout 2
968 spins in 100.567000 us with timeout 1
599 spins in 99.404000 us with timeout 1
1053 spins in 99.399000 us with timeout 1
871 spins in 100.552000 us with timeout 2
865 spins in 99.911000 us with timeout 1
865 spins in 98.683000 us with timeout 1
859 spins in 99.623000 us with timeout 1
967 spins in 100.487000 us with timeout 1
767 spins in 99.765000 us with timeout 1
771 spins in 100.361000 us with timeout 1
761 spins in 99.109000 us with timeout 1
792 spins in 98.809000 us with timeout 1
919 spins in 99.185000 us with timeout 1
1375 spins in 99.515000 us with timeout 1
517 spins in 97.039000 us with timeout 2
773 spins in 100.517000 us with timeout 1
964 spins in 100.187000 us with timeout 1
773 spins in 100.507000 us with timeout 2
1051 spins in 99.433000 us with timeout 1
772 spins in 100.381000 us with timeout 1
964 spins in 100.087000 us with timeout 1
848 spins in 97.958000 us with timeout 2
660 spins in 96.197000 us with timeout 2
675 spins in 96.427000 us with timeout 1
758 spins in 98.407000 us with timeout 1
1626 spins in 99.090000 us with timeout 2
897 spins in 100.271000 us with timeout 1
790 spins in 99.698000 us with timeout 1
1060 spins in 99.994000 us with timeout 1
1717 spins in 99.332000 us with timeout 1
964 spins in 99.145000 us with timeout 1
err: 0.000171
guilty timeout: 2
749 spins in 98.267000 us with timeout 1
757 spins in 98.753000 us with timeout 2
758 spins in 97.710000 us with timeout 1
527 spins in 97.365000 us with timeout 1
1639 spins in 100.035000 us with timeout 1
err: 0.000025
933 spins in 163.634000 us with timeout 2
758 spins in 97.755000 us with timeout 1
1042 spins in 98.417000 us with timeout 2
1246 spins in 100.058000 us with timeout 2
863 spins in 99.603000 us with timeout 2
715 spins in 98.303000 us with timeout 1
815 spins in 100.600000 us with timeout 1
721 spins in 100.315000 us with timeout 1
1251 spins in 99.876000 us with timeout 1
763 spins in 99.364000 us with timeout 1
814 spins in 74.559000 us with timeout 1
964 spins in 100.182000 us with timeout 2
849 spins in 97.994000 us with timeout 1
1639 spins in 99.869000 us with timeout 1
753 spins in 97.906000 us with timeout 2
1551 spins in 99.813000 us with timeout 2
1593 spins in 98.841000 us with timeout 2
1133 spins in 99.146000 us with timeout 2
857 spins in 98.984000 us with timeout 2
774 spins in 100.707000 us with timeout 1
err: 0.000888
guilty timeout: 1
960 spins in 99.725000 us with timeout 1
2313 spins in 99.756000 us with timeout 2
1056 spins in 99.710000 us with timeout 1
849 spins in 98.047000 us with timeout 2
962 spins in 99.915000 us with timeout 1
955 spins in 99.162000 us with timeout 2
640 spins in 100.182000 us with timeout 1
765 spins in 99.775000 us with timeout 1
679 spins in 99.099000 us with timeout 1
779 spins in 100.497000 us with timeout 2
1057 spins in 99.520000 us with timeout 1
1059 spins in 99.904000 us with timeout 2
err: 0.000036
718 spins in 212.755000 us with timeout 1
857 spins in 99.012000 us with timeout 1
597 spins in 98.695000 us with timeout 2
759 spins in 98.758000 us with timeout 1
541 spins in 100.347000 us with timeout 1
2227 spins in 100.163000 us with timeout 2
err: 0.000048
758 spins in 98.512000 us with timeout 1
520 spins in 97.059000 us with timeout 1
754 spins in 98.141000 us with timeout 1
710 spins in 97.190000 us with timeout 1
908 spins in 100.011000 us with timeout 1
2070 spins in 99.855000 us with timeout 2
1236 spins in 98.550000 us with timeout 1
737 spins in 98.818000 us with timeout 2
851 spins in 98.315000 us with timeout 1
743 spins in 100.292000 us with timeout 1
601 spins in 99.537000 us with timeout 1
846 spins in 97.895000 us with timeout 1
773 spins in 100.522000 us with timeout 2
1061 spins in 100.255000 us with timeout 1
864 spins in 99.959000 us with timeout 1
1634 spins in 99.554000 us with timeout 1
867 spins in 100.106000 us with timeout 2
977 spins in 100.455000 us with timeout 1
767 spins in 99.162000 us with timeout 1
755 spins in 98.267000 us with timeout 2
756 spins in 98.407000 us with timeout 1
1646 spins in 100.310000 us with timeout 1
601 spins in 99.740000 us with timeout 2
2264 spins in 99.819000 us with timeout 1
866 spins in 99.999000 us with timeout 1
1155 spins in 100.041000 us with timeout 1
1351 spins in 100.109000 us with timeout 2
760 spins in 99.420000 us with timeout 1
1665 spins in 99.528000 us with timeout 2
2246 spins in 99.708000 us with timeout 2
err: 0.000008
347 spins in 164.665000 us with timeout 2
946 spins in 98.230000 us with timeout 1
721 spins in 99.179000 us with timeout 1
869 spins in 100.400000 us with timeout 2
864 spins in 99.738000 us with timeout 2
961 spins in 99.754000 us with timeout 1
879 spins in 98.969000 us with timeout 2
862 spins in 99.719000 us with timeout 2
err: 0.000354
guilty timeout: 2
188 spins in 502.596000 us with timeout 2
763 spins in 99.194000 us with timeout 1
612 spins in 98.873000 us with timeout 2
675 spins in 100.577000 us with timeout 1
860 spins in 99.233000 us with timeout 2
755 spins in 98.287000 us with timeout 2
1626 spins in 99.581000 us with timeout 1
772 spins in 100.387000 us with timeout 1
err: 0.000012
914 spins in 151.042000 us with timeout 2
1454 spins in 99.412000 us with timeout 1
761 spins in 99.074000 us with timeout 2
760 spins in 99.039000 us with timeout 1
750 spins in 97.530000 us with timeout 1
1108 spins in 100.244000 us with timeout 1
1926 spins in 99.784000 us with timeout 2
1418 spins in 99.996000 us with timeout 2
850 spins in 98.182000 us with timeout 2
757 spins in 98.542000 us with timeout 1
638 spins in 66.983000 us with timeout 1
768 spins in 98.858000 us with timeout 1
774 spins in 100.642000 us with timeout 1
949 spins in 98.600000 us with timeout 1
877 spins in 100.322000 us with timeout 1
957 spins in 99.610000 us with timeout 1
612 spins in 98.190000 us with timeout 1
861 spins in 99.370000 us with timeout 1
859 spins in 99.140000 us with timeout 1
769 spins in 99.229000 us with timeout 1
560 spins in 100.617000 us with timeout 1
1529 spins in 99.963000 us with timeout 1
1688 spins in 99.293000 us with timeout 2
945 spins in 98.283000 us with timeout 2
1022 spins in 100.245000 us with timeout 2
765 spins in 99.515000 us with timeout 1
856 spins in 98.860000 us with timeout 1
847 spins in 97.957000 us with timeout 1
1398 spins in 99.956000 us with timeout 1
854 spins in 99.009000 us with timeout 1
861 spins in 99.558000 us with timeout 1
868 spins in 100.196000 us with timeout 1
1051 spins in 99.192000 us with timeout 1
err: 0.000328
guilty timeout: 2
511 spins in 480.609000 us with timeout 2
852 spins in 98.423000 us with timeout 1
860 spins in 99.362000 us with timeout 1
702 spins in 98.532000 us with timeout 2
519 spins in 100.302000 us with timeout 1
1368 spins in 100.306000 us with timeout 1
1611 spins in 99.219000 us with timeout 2
769 spins in 100.001000 us with timeout 2
err: 0.000215
guilty timeout: 1
1051 spins in 99.299000 us with timeout 1
981 spins in 100.451000 us with timeout 1
1238 spins in 98.816000 us with timeout 2
701 spins in 98.613000 us with timeout 2
1048 spins in 98.898000 us with timeout 1
650 spins in 98.542000 us with timeout 1
967 spins in 100.436000 us with timeout 1
860 spins in 99.542000 us with timeout 1
590 spins in 98.487000 us with timeout 1
1020 spins in 100.432000 us with timeout 1
1139 spins in 98.467000 us with timeout 2
1053 spins in 99.359000 us with timeout 2
780 spins in 100.376000 us with timeout 2
776 spins in 100.575000 us with timeout 1
778 spins in 100.162000 us with timeout 1
752 spins in 97.800000 us with timeout 1
770 spins in 100.252000 us with timeout 1
879 spins in 100.476000 us with timeout 1
764 spins in 98.588000 us with timeout 1
756 spins in 98.392000 us with timeout 1
1237 spins in 98.670000 us with timeout 1
656 spins in 99.585000 us with timeout 2
871 spins in 100.612000 us with timeout 1
768 spins in 98.843000 us with timeout 1
1244 spins in 99.250000 us with timeout 1
1171 spins in 99.172000 us with timeout 2
856 spins in 98.805000 us with timeout 2
889 spins in 98.254000 us with timeout 1
773 spins in 99.545000 us with timeout 1
680 spins in 100.632000 us with timeout 1
766 spins in 98.623000 us with timeout 1
752 spins in 97.730000 us with timeout 1
1149 spins in 99.359000 us with timeout 1
1243 spins in 99.157000 us with timeout 1
854 spins in 98.881000 us with timeout 2
855 spins in 98.707000 us with timeout 1
err: 0.000102
guilty timeout: 2
731 spins in 100.582000 us with timeout 1
766 spins in 100.316000 us with timeout 1
858 spins in 99.216000 us with timeout 1
761 spins in 98.974000 us with timeout 1
560 spins in 100.703000 us with timeout 1
599 spins in 100.948000 us with timeout 1
2610 spins in 100.032000 us with timeout 1
err: 0.000018
846 spins in 160.797000 us with timeout 2
1143 spins in 98.795000 us with timeout 2
776 spins in 100.031000 us with timeout 2
1155 spins in 100.134000 us with timeout 1
1045 spins in 98.674000 us with timeout 2
591 spins in 99.890000 us with timeout 1
876 spins in 100.227000 us with timeout 1
762 spins in 99.144000 us with timeout 1
753 spins in 97.836000 us with timeout 1
1237 spins in 98.793000 us with timeout 1
538 spins in 65.186000 us with timeout 2
1624 spins in 98.921000 us with timeout 2
953 spins in 98.936000 us with timeout 2
949 spins in 98.551000 us with timeout 1
855 spins in 98.769000 us with timeout 2
1378 spins in 98.999000 us with timeout 2
859 spins in 99.189000 us with timeout 1
856 spins in 97.874000 us with timeout 1
750 spins in 97.560000 us with timeout 1
763 spins in 99.048000 us with timeout 1
626 spins in 100.562000 us with timeout 1
1153 spins in 98.923000 us with timeout 1
2257 spins in 99.591000 us with timeout 2
938 spins in 98.167000 us with timeout 2
945 spins in 98.223000 us with timeout 1
756 spins in 98.387000 us with timeout 2