valid=381369152  io=186.997s  core=66.261s  total=263.897s
valid=587084897  io=118.712s  core=101.504s  total=226.690s
valid=574816887  io=138.251s  core=97.901s  total=243.701s
valid=486075607  io=110.092s  core=84.584s  total=200.326s
valid=885085852  io=193.352s  core=164.186s  total=368.435s
valid=299442744  io=67.612s  core=47.696s  total=118.697s
valid=389975160  io=114.934s  core=65.047s  total=186.474s
valid=73705271  io=32.698s  core=10.123s  total=44.510s
valid=194977387  io=134.156s  core=38.859s  total=181.474s
valid=424634157  io=124.962s  core=71.660s  total=203.979s
valid=272267856  io=118.736s  core=43.321s  total=168.708s
valid=411170665  io=107.542s  core=66.910s  total=180.403s
valid=198147648  io=127.673s  core=35.650s  total=171.001s
valid=311136493  io=121.569s  core=54.880s  total=183.561s
valid=28317604  io=25.923s  core=5.592s  total=32.841s
valid=676201108  io=161.060s  core=122.378s  total=292.291s
valid=737920906  io=180.962s  core=135.969s  total=326.167s
valid=815022785  io=163.522s  core=138.355s  total=310.496s
valid=601362315  io=164.873s  core=99.626s  total=273.401s
valid=451421327  io=118.837s  core=78.345s  total=204.189s
valid=611973628  io=138.483s  core=101.157s  total=247.505s
valid=504038919  io=127.435s  core=85.741s  total=220.627s
valid=243197143  io=143.713s  core=42.606s  total=195.317s
valid=53205416  io=14.650s  core=7.886s  total=23.272s
valid=70066182  io=122.466s  core=16.530s  total=148.286s
valid=528325254  io=131.419s  core=88.054s  total=226.601s
valid=609079064  io=146.540s  core=101.426s  total=256.108s
valid=278841661  io=103.020s  core=42.667s  total=151.381s
valid=611847180  io=172.141s  core=104.360s  total=285.608s
valid=370542568  io=82.306s  core=63.675s  total=150.166s
valid=229906123  io=65.001s  core=42.116s  total=110.658s
valid=235098322  io=45.974s  core=40.318s  total=88.634s
valid=82125105  io=17.697s  core=12.233s  total=30.776s
valid=82406949  io=101.935s  core=17.142s  total=125.472s
valid=145073260  io=95.677s  core=25.644s  total=127.213s
valid=113891620  io=82.482s  core=20.724s  total=107.912s
valid=354871  io=141.817s  core=9.880s  total=161.851s
valid=6197245  io=78.367s  core=6.124s  total=89.290s
valid=276864177  io=137.863s  core=49.020s  total=196.276s
valid=725069918  io=170.964s  core=131.888s  total=313.017s
valid=42080571  io=62.329s  core=8.630s  total=74.832s
valid=247953606  io=83.284s  core=43.376s  total=130.950s
valid=816001990  io=161.732s  core=137.197s  total=307.226s
valid=250894035  io=70.999s  core=35.695s  total=110.539s
valid=468523716  io=100.616s  core=79.201s  total=185.072s
valid=231346779  io=80.554s  core=39.190s  total=124.270s
valid=153945187  io=113.534s  core=26.462s  total=146.401s
valid=59844705  io=89.910s  core=13.312s  total=108.812s
valid=426116304  io=87.364s  core=72.072s  total=164.641s
valid=543671985  io=124.466s  core=91.371s  total=223.524s
valid=155246267  io=71.054s  core=22.883s  total=98.504s
valid=511746169  io=116.521s  core=83.179s  total=206.750s
valid=290350084  io=121.002s  core=47.853s  total=176.571s
valid=27868231  io=34.353s  core=5.536s  total=42.220s
valid=114277345  io=121.025s  core=22.245s  total=151.486s
valid=234474556  io=61.044s  core=38.478s  total=103.163s
valid=251203768  io=71.131s  core=37.573s  total=113.194s
valid=478905662  io=132.355s  core=78.833s  total=219.835s
valid=489790654  io=101.882s  core=80.297s  total=188.471s
valid=312734008  io=73.035s  core=50.309s  total=127.958s
valid=130338159  io=32.889s  core=19.898s  total=54.880s
valid=175918726  io=51.516s  core=26.067s  total=80.892s
valid=253137591  io=74.518s  core=38.262s  total=117.795s
valid=430065703  io=120.912s  core=85.089s  total=213.925s
valid=527035091  io=127.635s  core=107.318s  total=243.541s
valid=19168845  io=8.717s  core=2.375s  total=11.580s
valid=9650  io=0.336s  core=0.017s  total=0.365s
valid=28616669  io=11.371s  core=3.753s  total=15.804s
valid=2156983  io=23.033s  core=1.677s  total=26.021s
valid=215156  io=17.086s  core=1.097s  total=19.153s
valid=1380071  io=14.551s  core=1.194s  total=16.718s
valid=599089  io=20.843s  core=1.438s  total=23.544s
valid=794037  io=23.918s  core=1.576s  total=26.862s
valid=800259  io=10.810s  core=0.836s  total=12.346s
valid=572972  io=19.023s  core=1.491s  total=21.821s
valid=292818  io=20.081s  core=1.479s  total=22.878s
valid=196431  io=3.385s  core=0.215s  total=3.776s
valid=46043  io=6.811s  core=0.432s  total=7.623s
valid=44806  io=13.629s  core=1.034s  total=15.590s
valid=35711  io=21.196s  core=1.375s  total=23.819s
valid=173258  io=19.645s  core=1.331s  total=22.168s
valid=82044  io=13.773s  core=0.887s  total=15.447s
valid=58382  io=0.336s  core=0.029s  total=0.364s
valid=56715  io=1.349s  core=0.085s  total=1.505s
valid=17515  io=13.620s  core=0.962s  total=15.449s
valid=22332  io=9.174s  core=0.689s  total=10.479s
valid=27013  io=12.541s  core=0.865s  total=14.178s
valid=10409  io=0.216s  core=0.013s  total=0.230s
valid=10483  io=0.214s  core=0.013s  total=0.228s
valid=27417  io=2.246s  core=0.133s  total=2.495s
valid=11122  io=14.411s  core=0.898s  total=16.120s
valid=3256  io=22.315s  core=1.445s  total=25.071s
valid=2139  io=12.575s  core=0.930s  total=14.341s
valid=4831  io=18.970s  core=1.376s  total=21.596s
valid=43642  io=9.343s  core=0.548s  total=10.373s
valid=2792  io=0.418s  core=0.026s  total=0.445s
