[0.15,1.0] initial partition: 454 blocks; verifying on 8 workers, K=10
    [0.1511,0.1513] ok nA=113 nB=75 mA=+1.7e-05 mB=+1.2e-05 (13s)  [1 done, 13s]
    [0.1508,0.1509] ok nA=113 nB=75 mA=+1.7e-05 mB=+1.2e-05 (13s)  [2 done, 13s]
    [0.1502,0.1503] ok nA=114 nB=76 mA=+1.6e-05 mB=+1.2e-05 (13s)  [3 done, 13s]
    [0.1509,0.1511] ok nA=113 nB=75 mA=+1.7e-05 mB=+1.2e-05 (13s)  [4 done, 13s]
    [0.1500,0.1502] ok nA=114 nB=76 mA=+1.6e-05 mB=+1.2e-05 (13s)  [5 done, 13s]
    [0.1503,0.1505] ok nA=114 nB=76 mA=+1.6e-05 mB=+1.2e-05 (13s)  [6 done, 13s]
    [0.1506,0.1508] ok nA=114 nB=76 mA=+1.7e-05 mB=+1.2e-05 (13s)  [7 done, 13s]
    [0.1505,0.1506] ok nA=114 nB=76 mA=+1.7e-05 mB=+1.2e-05 (13s)  [8 done, 13s]
    [0.1519,0.1521] ok nA=112 nB=74 mA=+1.8e-05 mB=+1.2e-05 (12s)  [10 done, 25s]
    [0.1518,0.1519] ok nA=113 nB=74 mA=+1.7e-05 mB=+1.2e-05 (13s)  [15 done, 26s]
    [0.1531,0.1532] ok nA=111 nB=73 mA=+1.8e-05 mB=+1.2e-05 (13s)  [20 done, 38s]
    [0.1543,0.1544] ok nA=110 nB=72 mA=+1.9e-05 mB=+1.2e-05 (12s)  [25 done, 50s]
    [0.1548,0.1549] ok nA=110 nB=71 mA=+2.0e-05 mB=+1.2e-05 (12s)  [30 done, 51s]
    [0.1553,0.1555] ok nA=109 nB=71 mA=+2.0e-05 mB=+1.2e-05 (12s)  [35 done, 62s]
    [0.1565,0.1567] ok nA=108 nB=70 mA=+2.1e-05 mB=+1.2e-05 (12s)  [40 done, 63s]
    [0.1578,0.1580] ok nA=107 nB=69 mA=+2.2e-05 mB=+1.2e-05 (11s)  [45 done, 74s]
    [0.1593,0.1595] ok nA=106 nB=67 mA=+2.3e-05 mB=+1.2e-05 (11s)  [50 done, 85s]
    [0.1587,0.1589] ok nA=106 nB=68 mA=+2.3e-05 mB=+1.2e-05 (11s)  [55 done, 85s]
    [0.1606,0.1608] ok nA=105 nB=66 mA=+2.4e-05 mB=+1.2e-05 (11s)  [60 done, 96s]
    [0.1612,0.1614] ok nA=104 nB=65 mA=+2.5e-05 mB=+1.2e-05 (11s)  [65 done, 107s]
    [0.1622,0.1624] ok nA=103 nB=65 mA=+2.5e-05 mB=+1.2e-05 (11s)  [70 done, 107s]
    [0.1634,0.1636] ok nA=102 nB=64 mA=+2.6e-05 mB=+1.2e-05 (11s)  [75 done, 118s]
    [0.1642,0.1644] ok nA=102 nB=63 mA=+2.7e-05 mB=+1.2e-05 (11s)  [80 done, 118s]
    [0.1646,0.1648] ok nA=101 nB=63 mA=+2.7e-05 mB=+1.2e-05 (11s)  [85 done, 128s]
    [0.1665,0.1667] ok nA=100 nB=61 mA=+2.9e-05 mB=+1.2e-05 (10s)  [90 done, 139s]
    [0.1676,0.1678] ok nA=99 nB=61 mA=+3.0e-05 mB=+1.2e-05 (10s)  [95 done, 139s]
    [0.1683,0.1685] ok nA=98 nB=60 mA=+3.1e-05 mB=+1.2e-05 (11s)  [100 done, 149s]
    [0.1710,0.1712] ok nA=96 nB=58 mA=+3.3e-05 mB=+1.2e-05 (10s)  [105 done, 160s]
    [0.1701,0.1703] ok nA=97 nB=59 mA=+3.2e-05 mB=+1.2e-05 (10s)  [110 done, 160s]
    [0.1724,0.1726] ok nA=95 nB=57 mA=+3.5e-05 mB=+1.2e-05 (10s)  [115 done, 170s]
    [0.1731,0.1734] ok nA=95 nB=57 mA=+3.5e-05 mB=+1.2e-05 (10s)  [120 done, 170s]
    [0.1741,0.1743] ok nA=94 nB=56 mA=+3.6e-05 mB=+1.2e-05 (10s)  [125 done, 180s]
    [0.1756,0.1758] ok nA=93 nB=55 mA=+3.8e-05 mB=+1.2e-05 (10s)  [130 done, 190s]
    [0.1758,0.1761] ok nA=93 nB=55 mA=+3.8e-05 mB=+1.2e-05 (10s)  [135 done, 190s]
    [0.1774,0.1776] ok nA=92 nB=54 mA=+4.0e-05 mB=+1.2e-05 (10s)  [140 done, 199s]
    [0.1803,0.1806] ok nA=90 nB=52 mA=+4.3e-05 mB=+1.2e-05 (9s)  [145 done, 209s]
    [0.1812,0.1814] ok nA=89 nB=52 mA=+4.4e-05 mB=+1.2e-05 (9s)  [150 done, 209s]
    [0.1817,0.1820] ok nA=89 nB=51 mA=+4.4e-05 mB=+1.2e-05 (9s)  [155 done, 218s]
    [0.1831,0.1834] ok nA=88 nB=50 mA=+4.6e-05 mB=+1.2e-05 (9s)  [160 done, 218s]
    [0.1843,0.1846] ok nA=87 nB=50 mA=+4.7e-05 mB=+1.2e-05 (9s)  [165 done, 227s]
    [0.1879,0.1882] ok nA=85 nB=48 mA=+5.1e-05 mB=+1.2e-05 (9s)  [170 done, 236s]
    [0.1885,0.1888] ok nA=84 nB=48 mA=+5.2e-05 mB=+1.2e-05 (9s)  [175 done, 236s]
    [0.1898,0.1901] ok nA=83 nB=47 mA=+5.3e-05 mB=+1.2e-05 (9s)  [180 done, 244s]
    [0.1931,0.1934] ok nA=81 nB=45 mA=+5.7e-05 mB=+1.2e-05 (8s)  [185 done, 252s]
    [0.1921,0.1924] ok nA=82 nB=46 mA=+5.6e-05 mB=+1.2e-05 (8s)  [190 done, 253s]
    [0.1958,0.1962] ok nA=80 nB=44 mA=+6.1e-05 mB=+1.2e-05 (8s)  [195 done, 261s]
    [0.1955,0.1958] ok nA=80 nB=44 mA=+6.0e-05 mB=+1.2e-05 (8s)  [200 done, 261s]
    [0.1987,0.1991] ok nA=78 nB=43 mA=+6.5e-05 mB=+1.2e-05 (8s)  [205 done, 269s]
    [0.2021,0.2025] ok nA=76 nB=41 mA=+6.9e-05 mB=+1.2e-05 (8s)  [210 done, 276s]
    [0.2010,0.2014] ok nA=77 nB=42 mA=+6.8e-05 mB=+1.2e-05 (8s)  [215 done, 276s]
    [0.2049,0.2053] ok nA=75 nB=40 mA=+7.3e-05 mB=+1.2e-05 (7s)  [220 done, 284s]
    [0.2061,0.2065] ok nA=74 nB=39 mA=+7.5e-05 mB=+1.2e-05 (8s)  [225 done, 291s]
    [0.2074,0.2078] ok nA=74 nB=39 mA=+7.7e-05 mB=+1.2e-05 (8s)  [230 done, 291s]
    [0.2117,0.2121] ok nA=71 nB=37 mA=+8.0e-05 mB=+1.2e-05 (7s)  [235 done, 299s]
    [0.2095,0.2099] ok nA=73 nB=38 mA=+8.0e-05 mB=+1.2e-05 (8s)  [240 done, 299s]
    [0.2140,0.2144] ok nA=69 nB=36 mA=+8.0e-05 mB=+1.2e-05 (7s)  [245 done, 306s]
    [0.2197,0.2202] ok nA=65 nB=35 mA=+8.0e-05 mB=+1.2e-05 (7s)  [250 done, 314s]
    [0.2168,0.2173] ok nA=67 nB=36 mA=+8.0e-05 mB=+1.2e-05 (7s)  [255 done, 314s]
    [0.2244,0.2249] ok nA=63 nB=33 mA=+8.0e-05 mB=+1.2e-05 (7s)  [260 done, 321s]
    [0.2265,0.2271] ok nA=61 nB=32 mA=+8.0e-05 mB=+1.2e-05 (7s)  [265 done, 327s]
    [0.2254,0.2260] ok nA=62 nB=33 mA=+8.0e-05 mB=+1.2e-05 (7s)  [270 done, 327s]
    [0.2328,0.2334] ok nA=58 nB=31 mA=+8.0e-05 mB=+1.2e-05 (6s)  [275 done, 334s]
    [0.2334,0.2340] ok nA=58 nB=31 mA=+8.0e-05 mB=+1.2e-05 (7s)  [280 done, 334s]
    [0.2353,0.2359] ok nA=57 nB=30 mA=+8.0e-05 mB=+1.2e-05 (6s)  [285 done, 340s]
    [0.2390,0.2397] ok nA=55 nB=29 mA=+8.0e-05 mB=+1.2e-05 (6s)  [290 done, 345s]
    [0.2397,0.2404] ok nA=55 nB=29 mA=+8.0e-05 mB=+1.2e-05 (6s)  [295 done, 346s]
    [0.2451,0.2458] ok nA=52 nB=28 mA=+8.0e-05 mB=+1.2e-05 (5s)  [300 done, 351s]
    [0.2524,0.2532] ok nA=49 nB=26 mA=+8.0e-05 mB=+1.2e-05 (5s)  [305 done, 356s]
    [0.2532,0.2540] ok nA=49 nB=26 mA=+8.0e-05 mB=+1.2e-05 (5s)  [310 done, 356s]
    [0.2579,0.2588] ok nA=47 nB=25 mA=+8.0e-05 mB=+1.2e-05 (5s)  [315 done, 361s]
    [0.2563,0.2571] ok nA=48 nB=26 mA=+8.0e-05 mB=+1.2e-05 (5s)  [320 done, 361s]
    [0.2693,0.2702] ok nA=44 nB=23 mA=+8.0e-05 mB=+1.2e-05 (5s)  [325 done, 366s]
    [0.2702,0.2712] ok nA=43 nB=23 mA=+8.0e-05 mB=+1.2e-05 (5s)  [330 done, 370s]
    [0.2731,0.2741] ok nA=43 nB=22 mA=+8.0e-05 mB=+1.2e-05 (5s)  [335 done, 370s]
    [0.2823,0.2834] ok nA=40 nB=21 mA=+8.0e-05 mB=+1.2e-05 (4s)  [340 done, 375s]
    [0.2938,0.2950] ok nA=37 nB=19 mA=+8.0e-05 mB=+1.2e-05 (4s)  [345 done, 379s]
    [0.2879,0.2891] ok nA=39 nB=20 mA=+8.0e-05 mB=+1.2e-05 (4s)  [350 done, 379s]
    [0.2976,0.2988] ok nA=36 nB=19 mA=+8.0e-05 mB=+1.2e-05 (4s)  [355 done, 382s]
    [0.2963,0.2976] ok nA=37 nB=19 mA=+8.0e-05 mB=+1.2e-05 (4s)  [360 done, 382s]
    [0.3097,0.3112] ok nA=34 nB=17 mA=+8.0e-05 mB=+1.2e-05 (4s)  [365 done, 386s]
    [0.3187,0.3203] ok nA=32 nB=16 mA=+8.0e-05 mB=+1.2e-05 (3s)  [370 done, 389s]
    [0.3219,0.3235] ok nA=32 nB=16 mA=+8.0e-05 mB=+1.2e-05 (3s)  [375 done, 389s]
    [0.3358,0.3376] ok nA=29 nB=15 mA=+8.0e-05 mB=+1.2e-05 (3s)  [380 done, 392s]
    [0.3495,0.3516] ok nA=27 nB=13 mA=+8.0e-05 mB=+1.2e-05 (3s)  [385 done, 395s]
    [0.3538,0.3560] ok nA=27 nB=13 mA=+8.0e-05 mB=+1.2e-05 (3s)  [390 done, 395s]
    [0.3806,0.3834] ok nA=24 nB=11 mA=+8.0e-05 mB=+1.2e-05 (2s)  [395 done, 398s]
    [0.3701,0.3727] ok nA=25 nB=12 mA=+8.0e-05 mB=+1.2e-05 (3s)  [400 done, 398s]
    [0.3920,0.3951] ok nA=23 nB=10 mA=+8.0e-05 mB=+1.2e-05 (2s)  [405 done, 400s]
    [0.4302,0.4343] ok nA=19 nB=9 mA=+8.0e-05 mB=+1.2e-05 (2s)  [410 done, 402s]
    [0.4385,0.4429] ok nA=19 nB=8 mA=+8.0e-05 mB=+1.2e-05 (2s)  [415 done, 402s]
    [0.4721,0.4776] ok nA=17 nB=7 mA=+8.0e-05 mB=+1.2e-05 (2s)  [420 done, 404s]
    [0.5307,0.5387] ok nA=14 nB=5 mA=+8.0e-05 mB=+1.2e-05 (1s)  [425 done, 405s]
    [0.5019,0.5086] ok nA=15 nB=6 mA=+8.0e-05 mB=+1.2e-05 (2s)  [430 done, 405s]
    [0.5655,0.5754] ok nA=12 nB=4 mA=+8.0e-05 mB=+1.2e-05 (1s)  [435 done, 406s]
    [0.5472,0.5561] ok nA=13 nB=5 mA=+8.0e-05 mB=+1.2e-05 (1s)  [440 done, 406s]
    [0.6654,0.6824] ok nA=10 nB=3 mA=+8.0e-05 mB=+1.2e-05 (1s)  [445 done, 407s]
    [0.7957,0.8268] ok nA=7 nB=1 mA=+8.0e-05 mB=+4.0e-02 (1s)  [450 done, 408s]
  round 1 done: 454 ok total, 0 to retry  (408s)
COVERED [0.15,1.0] with 454 blocks (cov OK); total cells nA=30724 nB=17737; min marginA=+1.62e-05 marginB=+1.20e-05; 408s
wrote results/U_015_1_cert.jsonl.gz  (454 blocks)
