K=4 files=76 boxes=7261
   200/7261  8s  ok=200 certs=2200 verts=28040 cert_fail=0 struct_err=0
   400/7261  12s  ok=400 certs=3780 verts=45704 cert_fail=0 struct_err=0
   600/7261  16s  ok=600 certs=5558 verts=62608 cert_fail=0 struct_err=0
   800/7261  19s  ok=800 certs=7125 verts=77220 cert_fail=0 struct_err=0
  1000/7261  22s  ok=1000 certs=8469 verts=91108 cert_fail=0 struct_err=0
  1200/7261  24s  ok=1200 certs=10062 verts=104460 cert_fail=0 struct_err=0
  1400/7261  26s  ok=1400 certs=11203 verts=115236 cert_fail=0 struct_err=0
  1600/7261  28s  ok=1600 certs=12355 verts=125700 cert_fail=0 struct_err=0
  1800/7261  29s  ok=1800 certs=13475 verts=133860 cert_fail=0 struct_err=0
  2000/7261  30s  ok=2000 certs=14352 verts=140032 cert_fail=0 struct_err=0
  2200/7261  31s  ok=2200 certs=14952 verts=144032 cert_fail=0 struct_err=0
  2400/7261  32s  ok=2400 certs=15552 verts=148032 cert_fail=0 struct_err=0
  2600/7261  32s  ok=2600 certs=16152 verts=151708 cert_fail=0 struct_err=0
  2800/7261  32s  ok=2800 certs=16553 verts=153644 cert_fail=0 struct_err=0
  3000/7261  33s  ok=3000 certs=16753 verts=154444 cert_fail=0 struct_err=0
  3200/7261  33s  ok=3200 certs=16953 verts=155244 cert_fail=0 struct_err=0
  3400/7261  33s  ok=3400 certs=17153 verts=156044 cert_fail=0 struct_err=0
  3600/7261  33s  ok=3600 certs=17353 verts=156844 cert_fail=0 struct_err=0
  3800/7261  33s  ok=3800 certs=17553 verts=157644 cert_fail=0 struct_err=0
  4000/7261  33s  ok=4000 certs=17753 verts=158444 cert_fail=0 struct_err=0
  4200/7261  33s  ok=4200 certs=17953 verts=159244 cert_fail=0 struct_err=0
  4400/7261  33s  ok=4400 certs=18153 verts=160044 cert_fail=0 struct_err=0
  4600/7261  33s  ok=4600 certs=18353 verts=160844 cert_fail=0 struct_err=0
  4800/7261  33s  ok=4800 certs=18553 verts=161644 cert_fail=0 struct_err=0
  5000/7261  34s  ok=5000 certs=18753 verts=162444 cert_fail=0 struct_err=0
  5200/7261  34s  ok=5200 certs=18953 verts=163244 cert_fail=0 struct_err=0
  5400/7261  34s  ok=5400 certs=19153 verts=164044 cert_fail=0 struct_err=0
  5600/7261  34s  ok=5600 certs=19353 verts=164844 cert_fail=0 struct_err=0
  5800/7261  34s  ok=5800 certs=19553 verts=165644 cert_fail=0 struct_err=0
  6000/7261  34s  ok=6000 certs=19753 verts=166444 cert_fail=0 struct_err=0
  6200/7261  34s  ok=6200 certs=19953 verts=167244 cert_fail=0 struct_err=0
  6400/7261  34s  ok=6400 certs=20153 verts=168044 cert_fail=0 struct_err=0
  6600/7261  34s  ok=6600 certs=20353 verts=168844 cert_fail=0 struct_err=0
  6800/7261  34s  ok=6800 certs=20553 verts=169644 cert_fail=0 struct_err=0
  7000/7261  34s  ok=7000 certs=20753 verts=170444 cert_fail=0 struct_err=0
  7200/7261  35s  ok=7200 certs=20953 verts=171244 cert_fail=0 struct_err=0
DONE 35s {'boxes': 7261, 'ok': 7261, 'certs': 21014, 'vertices': 171488, 'cert_fail': 0, 'struct_err': 0}
