[0.11,0.15] initial partition: 649 blocks; verifying on 8 workers, K=16
    [0.1102,0.1103] ok nA=154 nB=162 mA=+1.0e-05 mB=+1.2e-05 (25s)  [1 done, 25s]
    [0.1103,0.1103] ok nA=154 nB=162 mA=+1.0e-05 mB=+1.2e-05 (25s)  [2 done, 25s]
    [0.1101,0.1101] ok nA=154 nB=163 mA=+1.0e-05 mB=+1.2e-05 (25s)  [3 done, 25s]
    [0.1100,0.1100] ok nA=154 nB=164 mA=+1.0e-05 mB=+1.2e-05 (25s)  [4 done, 25s]
    [0.1101,0.1102] ok nA=154 nB=163 mA=+1.0e-05 mB=+1.2e-05 (25s)  [5 done, 25s]
    [0.1100,0.1101] ok nA=154 nB=164 mA=+1.0e-05 mB=+1.2e-05 (25s)  [6 done, 25s]
    [0.1102,0.1102] ok nA=154 nB=163 mA=+1.0e-05 mB=+1.2e-05 (25s)  [7 done, 25s]
    [0.1102,0.1102] ok nA=154 nB=163 mA=+1.0e-05 mB=+1.2e-05 (25s)  [8 done, 25s]
    [0.1105,0.1105] ok nA=153 nB=161 mA=+1.0e-05 mB=+1.2e-05 (25s)  [10 done, 50s]
    [0.1106,0.1106] ok nA=153 nB=161 mA=+1.0e-05 mB=+1.2e-05 (25s)  [15 done, 50s]
    [0.1108,0.1108] ok nA=152 nB=160 mA=+1.0e-05 mB=+1.2e-05 (27s)  [20 done, 77s]
    [0.1110,0.1110] ok nA=152 nB=159 mA=+1.0e-05 mB=+1.2e-05 (26s)  [25 done, 103s]
    [0.1112,0.1112] ok nA=151 nB=158 mA=+1.0e-05 mB=+1.2e-05 (26s)  [30 done, 103s]
    [0.1114,0.1114] ok nA=151 nB=157 mA=+1.0e-05 mB=+1.2e-05 (26s)  [35 done, 129s]
    [0.1116,0.1116] ok nA=150 nB=156 mA=+1.0e-05 mB=+1.2e-05 (26s)  [40 done, 129s]
    [0.1118,0.1118] ok nA=150 nB=155 mA=+1.0e-05 mB=+1.2e-05 (25s)  [45 done, 155s]
    [0.1120,0.1120] ok nA=149 nB=154 mA=+1.0e-05 mB=+1.2e-05 (25s)  [50 done, 179s]
    [0.1122,0.1122] ok nA=149 nB=154 mA=+1.0e-05 mB=+1.2e-05 (25s)  [55 done, 179s]
    [0.1124,0.1124] ok nA=148 nB=153 mA=+1.0e-05 mB=+1.2e-05 (24s)  [60 done, 203s]
    [0.1126,0.1126] ok nA=148 nB=152 mA=+1.0e-05 mB=+1.2e-05 (25s)  [65 done, 227s]
    [0.1128,0.1129] ok nA=147 nB=151 mA=+1.0e-05 mB=+1.2e-05 (24s)  [70 done, 228s]
    [0.1130,0.1131] ok nA=147 nB=150 mA=+1.0e-05 mB=+1.2e-05 (25s)  [75 done, 252s]
    [0.1132,0.1133] ok nA=146 nB=149 mA=+1.0e-05 mB=+1.2e-05 (25s)  [80 done, 253s]
    [0.1134,0.1134] ok nA=146 nB=149 mA=+1.0e-05 mB=+1.2e-05 (25s)  [85 done, 277s]
    [0.1137,0.1137] ok nA=145 nB=147 mA=+1.0e-05 mB=+1.2e-05 (26s)  [90 done, 303s]
    [0.1139,0.1139] ok nA=145 nB=147 mA=+1.0e-05 mB=+1.2e-05 (26s)  [95 done, 303s]
    [0.1141,0.1142] ok nA=144 nB=146 mA=+1.0e-05 mB=+1.2e-05 (26s)  [100 done, 329s]
    [0.1144,0.1144] ok nA=143 nB=145 mA=+1.0e-05 mB=+1.2e-05 (24s)  [105 done, 353s]
    [0.1145,0.1145] ok nA=143 nB=144 mA=+1.0e-05 mB=+1.2e-05 (25s)  [110 done, 353s]
    [0.1147,0.1148] ok nA=143 nB=143 mA=+1.0e-05 mB=+1.2e-05 (25s)  [115 done, 378s]
    [0.1150,0.1150] ok nA=142 nB=142 mA=+1.0e-05 mB=+1.2e-05 (25s)  [120 done, 379s]
    [0.1152,0.1153] ok nA=141 nB=141 mA=+1.0e-05 mB=+1.2e-05 (25s)  [125 done, 403s]
    [0.1155,0.1156] ok nA=141 nB=141 mA=+1.0e-05 mB=+1.2e-05 (25s)  [130 done, 428s]
    [0.1155,0.1155] ok nA=141 nB=141 mA=+1.0e-05 mB=+1.2e-05 (25s)  [135 done, 428s]
    [0.1157,0.1158] ok nA=140 nB=140 mA=+1.0e-05 mB=+1.2e-05 (25s)  [140 done, 453s]
    [0.1162,0.1163] ok nA=139 nB=138 mA=+1.0e-05 mB=+1.2e-05 (23s)  [145 done, 476s]
    [0.1162,0.1162] ok nA=139 nB=138 mA=+1.0e-05 mB=+1.2e-05 (24s)  [150 done, 476s]
    [0.1165,0.1165] ok nA=139 nB=137 mA=+1.0e-05 mB=+1.2e-05 (23s)  [155 done, 499s]
    [0.1168,0.1169] ok nA=138 nB=136 mA=+1.0e-05 mB=+1.2e-05 (23s)  [160 done, 499s]
    [0.1170,0.1171] ok nA=137 nB=135 mA=+1.0e-05 mB=+1.2e-05 (23s)  [165 done, 522s]
    [0.1173,0.1173] ok nA=137 nB=134 mA=+1.0e-05 mB=+1.2e-05 (23s)  [170 done, 545s]
    [0.1175,0.1175] ok nA=137 nB=134 mA=+1.0e-05 mB=+1.2e-05 (23s)  [175 done, 545s]
    [0.1178,0.1178] ok nA=136 nB=133 mA=+1.0e-05 mB=+1.2e-05 (22s)  [180 done, 567s]
    [0.1180,0.1180] ok nA=136 nB=132 mA=+1.0e-05 mB=+1.2e-05 (22s)  [185 done, 588s]
    [0.1183,0.1184] ok nA=135 nB=131 mA=+1.1e-05 mB=+1.2e-05 (21s)  [190 done, 589s]
    [0.1185,0.1185] ok nA=135 nB=131 mA=+1.1e-05 mB=+1.2e-05 (21s)  [195 done, 610s]
    [0.1187,0.1187] ok nA=135 nB=130 mA=+1.1e-05 mB=+1.2e-05 (21s)  [200 done, 610s]
    [0.1189,0.1189] ok nA=135 nB=129 mA=+1.1e-05 mB=+1.2e-05 (21s)  [205 done, 631s]
    [0.1192,0.1193] ok nA=134 nB=129 mA=+1.1e-05 mB=+1.2e-05 (21s)  [210 done, 653s]
    [0.1194,0.1195] ok nA=134 nB=128 mA=+1.1e-05 mB=+1.2e-05 (22s)  [215 done, 653s]
    [0.1196,0.1197] ok nA=133 nB=128 mA=+1.1e-05 mB=+1.2e-05 (21s)  [220 done, 674s]
    [0.1200,0.1201] ok nA=133 nB=126 mA=+1.2e-05 mB=+1.2e-05 (21s)  [225 done, 694s]
    [0.1202,0.1203] ok nA=133 nB=126 mA=+1.2e-05 mB=+1.2e-05 (21s)  [230 done, 694s]
    [0.1205,0.1205] ok nA=132 nB=125 mA=+1.2e-05 mB=+1.2e-05 (21s)  [235 done, 715s]
    [0.1207,0.1208] ok nA=132 nB=124 mA=+1.2e-05 mB=+1.2e-05 (21s)  [240 done, 715s]
    [0.1210,0.1210] ok nA=132 nB=124 mA=+1.2e-05 mB=+1.2e-05 (21s)  [245 done, 736s]
    [0.1213,0.1213] ok nA=131 nB=123 mA=+1.2e-05 mB=+1.2e-05 (21s)  [250 done, 757s]
    [0.1215,0.1216] ok nA=131 nB=122 mA=+1.3e-05 mB=+1.2e-05 (21s)  [255 done, 757s]
    [0.1219,0.1219] ok nA=130 nB=121 mA=+1.3e-05 mB=+1.2e-05 (20s)  [260 done, 777s]
    [0.1221,0.1221] ok nA=130 nB=121 mA=+1.3e-05 mB=+1.2e-05 (20s)  [265 done, 797s]
    [0.1223,0.1224] ok nA=130 nB=120 mA=+1.3e-05 mB=+1.2e-05 (21s)  [270 done, 798s]
    [0.1226,0.1227] ok nA=129 nB=120 mA=+1.3e-05 mB=+1.2e-05 (20s)  [275 done, 818s]
    [0.1229,0.1229] ok nA=129 nB=119 mA=+1.4e-05 mB=+1.2e-05 (20s)  [280 done, 818s]
    [0.1233,0.1233] ok nA=129 nB=118 mA=+1.4e-05 mB=+1.2e-05 (20s)  [285 done, 838s]
    [0.1235,0.1235] ok nA=128 nB=117 mA=+1.4e-05 mB=+1.2e-05 (20s)  [290 done, 858s]
    [0.1237,0.1238] ok nA=128 nB=117 mA=+1.4e-05 mB=+1.2e-05 (20s)  [295 done, 858s]
    [0.1239,0.1239] ok nA=128 nB=116 mA=+1.4e-05 mB=+1.2e-05 (20s)  [300 done, 878s]
    [0.1243,0.1243] ok nA=127 nB=116 mA=+1.5e-05 mB=+1.2e-05 (20s)  [305 done, 897s]
    [0.1245,0.1246] ok nA=127 nB=115 mA=+1.5e-05 mB=+1.2e-05 (20s)  [310 done, 898s]
    [0.1249,0.1249] ok nA=126 nB=114 mA=+1.5e-05 mB=+1.2e-05 (20s)  [315 done, 917s]
    [0.1251,0.1252] ok nA=126 nB=114 mA=+1.5e-05 mB=+1.2e-05 (20s)  [320 done, 918s]
    [0.1254,0.1255] ok nA=126 nB=113 mA=+1.5e-05 mB=+1.2e-05 (19s)  [325 done, 937s]
    [0.1257,0.1258] ok nA=125 nB=112 mA=+1.6e-05 mB=+1.2e-05 (19s)  [330 done, 955s]
    [0.1259,0.1259] ok nA=125 nB=112 mA=+1.6e-05 mB=+1.2e-05 (19s)  [335 done, 956s]
    [0.1263,0.1264] ok nA=125 nB=111 mA=+1.6e-05 mB=+1.2e-05 (19s)  [340 done, 975s]
    [0.1266,0.1266] ok nA=124 nB=110 mA=+1.6e-05 mB=+1.2e-05 (19s)  [345 done, 992s]
    [0.1269,0.1269] ok nA=124 nB=110 mA=+1.6e-05 mB=+1.2e-05 (19s)  [350 done, 994s]
    [0.1272,0.1273] ok nA=124 nB=109 mA=+1.7e-05 mB=+1.2e-05 (19s)  [355 done, 1012s]
    [0.1275,0.1276] ok nA=123 nB=108 mA=+1.7e-05 mB=+1.2e-05 (19s)  [360 done, 1013s]
    [0.1277,0.1278] ok nA=123 nB=108 mA=+1.7e-05 mB=+1.2e-05 (19s)  [365 done, 1031s]
    [0.1281,0.1282] ok nA=122 nB=107 mA=+1.7e-05 mB=+1.2e-05 (19s)  [370 done, 1049s]
    [0.1284,0.1284] ok nA=122 nB=107 mA=+1.8e-05 mB=+1.2e-05 (19s)  [375 done, 1050s]
    [0.1287,0.1288] ok nA=122 nB=106 mA=+1.8e-05 mB=+1.2e-05 (18s)  [380 done, 1068s]
    [0.1291,0.1291] ok nA=121 nB=105 mA=+1.8e-05 mB=+1.2e-05 (18s)  [385 done, 1085s]
    [0.1293,0.1294] ok nA=121 nB=105 mA=+1.8e-05 mB=+1.2e-05 (18s)  [390 done, 1087s]
    [0.1298,0.1298] ok nA=120 nB=104 mA=+1.9e-05 mB=+1.2e-05 (18s)  [395 done, 1104s]
    [0.1300,0.1301] ok nA=120 nB=104 mA=+1.9e-05 mB=+1.2e-05 (18s)  [400 done, 1105s]
    [0.1303,0.1304] ok nA=120 nB=103 mA=+1.9e-05 mB=+1.2e-05 (18s)  [405 done, 1123s]
    [0.1307,0.1307] ok nA=119 nB=102 mA=+1.9e-05 mB=+1.2e-05 (18s)  [410 done, 1140s]
    [0.1310,0.1311] ok nA=119 nB=101 mA=+2.0e-05 mB=+1.2e-05 (18s)  [415 done, 1141s]
    [0.1314,0.1315] ok nA=118 nB=101 mA=+2.0e-05 mB=+1.2e-05 (18s)  [420 done, 1158s]
    [0.1317,0.1317] ok nA=118 nB=101 mA=+2.0e-05 mB=+1.2e-05 (18s)  [425 done, 1174s]
    [0.1319,0.1319] ok nA=118 nB=100 mA=+2.0e-05 mB=+1.2e-05 (18s)  [430 done, 1176s]
    [0.1323,0.1324] ok nA=117 nB=99 mA=+2.1e-05 mB=+1.2e-05 (18s)  [435 done, 1194s]
    [0.1327,0.1328] ok nA=117 nB=98 mA=+2.1e-05 mB=+1.2e-05 (18s)  [440 done, 1194s]
    [0.1330,0.1330] ok nA=117 nB=98 mA=+2.1e-05 mB=+1.2e-05 (18s)  [445 done, 1211s]
    [0.1334,0.1334] ok nA=116 nB=97 mA=+2.2e-05 mB=+1.2e-05 (17s)  [450 done, 1228s]
    [0.1337,0.1338] ok nA=116 nB=97 mA=+2.2e-05 mB=+1.2e-05 (17s)  [455 done, 1229s]
    [0.1341,0.1342] ok nA=115 nB=96 mA=+2.2e-05 mB=+1.2e-05 (17s)  [460 done, 1246s]
    [0.1344,0.1345] ok nA=115 nB=96 mA=+2.2e-05 mB=+1.2e-05 (17s)  [465 done, 1261s]
    [0.1348,0.1349] ok nA=115 nB=95 mA=+2.3e-05 mB=+1.2e-05 (17s)  [470 done, 1263s]
    [0.1352,0.1352] ok nA=114 nB=94 mA=+2.3e-05 mB=+1.2e-05 (17s)  [475 done, 1280s]
    [0.1355,0.1356] ok nA=114 nB=94 mA=+2.3e-05 mB=+1.2e-05 (17s)  [480 done, 1281s]
    [0.1357,0.1358] ok nA=114 nB=94 mA=+2.4e-05 mB=+1.2e-05 (17s)  [485 done, 1298s]
    [0.1363,0.1363] ok nA=113 nB=93 mA=+2.4e-05 mB=+1.2e-05 (18s)  [490 done, 1314s]
    [0.1366,0.1367] ok nA=113 nB=92 mA=+2.4e-05 mB=+1.2e-05 (18s)  [495 done, 1316s]
    [0.1371,0.1372] ok nA=112 nB=91 mA=+2.5e-05 mB=+1.2e-05 (17s)  [500 done, 1333s]
    [0.1374,0.1375] ok nA=112 nB=91 mA=+2.5e-05 mB=+1.2e-05 (17s)  [505 done, 1348s]
    [0.1376,0.1376] ok nA=112 nB=91 mA=+2.5e-05 mB=+1.2e-05 (17s)  [510 done, 1350s]
    [0.1382,0.1383] ok nA=111 nB=90 mA=+2.6e-05 mB=+1.2e-05 (17s)  [515 done, 1367s]
    [0.1386,0.1386] ok nA=111 nB=89 mA=+2.6e-05 mB=+1.2e-05 (17s)  [520 done, 1367s]
    [0.1390,0.1390] ok nA=110 nB=89 mA=+2.7e-05 mB=+1.2e-05 (16s)  [525 done, 1383s]
    [0.1394,0.1394] ok nA=110 nB=88 mA=+2.7e-05 mB=+1.2e-05 (16s)  [530 done, 1398s]
    [0.1398,0.1398] ok nA=109 nB=88 mA=+2.7e-05 mB=+1.2e-05 (16s)  [535 done, 1399s]
    [0.1402,0.1402] ok nA=109 nB=87 mA=+2.8e-05 mB=+1.2e-05 (16s)  [540 done, 1415s]
    [0.1406,0.1407] ok nA=108 nB=87 mA=+2.8e-05 mB=+1.2e-05 (16s)  [545 done, 1429s]
    [0.1411,0.1411] ok nA=108 nB=86 mA=+2.9e-05 mB=+1.2e-05 (16s)  [550 done, 1432s]
    [0.1416,0.1417] ok nA=107 nB=86 mA=+2.9e-05 mB=+1.2e-05 (16s)  [555 done, 1447s]
    [0.1418,0.1419] ok nA=107 nB=85 mA=+2.9e-05 mB=+1.2e-05 (16s)  [560 done, 1448s]
    [0.1422,0.1422] ok nA=107 nB=85 mA=+3.0e-05 mB=+1.2e-05 (16s)  [565 done, 1463s]
    [0.1427,0.1428] ok nA=106 nB=84 mA=+3.0e-05 mB=+1.2e-05 (16s)  [570 done, 1477s]
    [0.1431,0.1432] ok nA=106 nB=84 mA=+3.1e-05 mB=+1.2e-05 (16s)  [575 done, 1479s]
    [0.1434,0.1435] ok nA=106 nB=83 mA=+3.1e-05 mB=+1.2e-05 (16s)  [580 done, 1494s]
    [0.1440,0.1441] ok nA=105 nB=82 mA=+3.1e-05 mB=+1.2e-05 (15s)  [585 done, 1507s]
    [0.1444,0.1445] ok nA=105 nB=82 mA=+3.2e-05 mB=+1.2e-05 (15s)  [590 done, 1510s]
    [0.1449,0.1450] ok nA=104 nB=81 mA=+3.2e-05 mB=+1.2e-05 (15s)  [595 done, 1525s]
    [0.1453,0.1454] ok nA=104 nB=81 mA=+3.3e-05 mB=+1.2e-05 (16s)  [600 done, 1526s]
    [0.1458,0.1459] ok nA=103 nB=80 mA=+3.3e-05 mB=+1.2e-05 (15s)  [605 done, 1541s]
    [0.1462,0.1463] ok nA=103 nB=80 mA=+3.4e-05 mB=+1.2e-05 (15s)  [610 done, 1554s]
    [0.1466,0.1467] ok nA=103 nB=79 mA=+3.4e-05 mB=+1.2e-05 (15s)  [615 done, 1556s]
    [0.1473,0.1474] ok nA=102 nB=78 mA=+3.5e-05 mB=+1.2e-05 (15s)  [620 done, 1571s]
    [0.1476,0.1477] ok nA=102 nB=78 mA=+3.5e-05 mB=+1.2e-05 (15s)  [625 done, 1583s]
    [0.1478,0.1479] ok nA=101 nB=78 mA=+3.5e-05 mB=+1.2e-05 (15s)  [630 done, 1586s]
    [0.1486,0.1487] ok nA=101 nB=77 mA=+3.6e-05 mB=+1.2e-05 (15s)  [635 done, 1601s]
    [0.1491,0.1492] ok nA=100 nB=76 mA=+3.7e-05 mB=+1.2e-05 (15s)  [640 done, 1601s]
    [0.1496,0.1497] ok nA=100 nB=76 mA=+3.7e-05 mB=+1.2e-05 (15s)  [645 done, 1615s]
  round 1 done: 649 ok total, 0 to retry  (1625s)
COVERED [0.11,0.15] with 649 blocks (cov OK); total cells nA=81716 nB=74638; min marginA=+1.00e-05 marginB=+1.20e-05; 1625s
wrote results/U_011_015_cert.jsonl.gz  (649 blocks)
