>>>Queue Stats: inserted=2196063708 items_in_queue=35663708 extracted=2160400000
Reached 2160500000 ; States-in-collection: 2196130536 ; Time: 1773776244.952061
>>>Queue Stats: inserted=2196130536 items_in_queue=35630536 extracted=2160500000
Reached 2160600000 ; States-in-collection: 2196299083 ; Time: 1773776245.712153
>>>Queue Stats: inserted=2196299083 items_in_queue=35699083 extracted=2160600000
Reached 2160700000 ; States-in-collection: 2196473308 ; Time: 1773776246.495536
>>>Queue Stats: inserted=2196473308 items_in_queue=35773308 extracted=2160700000
Reached 2160800000 ; States-in-collection: 2196671153 ; Time: 1773776247.329683
>>>Queue Stats: inserted=2196671153 items_in_queue=35871153 extracted=2160800000
Reached 2160900000 ; States-in-collection: 2196743644 ; Time: 1773776247.999925
>>>Queue Stats: inserted=2196743644 items_in_queue=35843644 extracted=2160900000
Reached 2161000000 ; States-in-collection: 2197023394 ; Time: 1773776249.196008
>>>Queue Stats: inserted=2197023394 items_in_queue=36023394 extracted=2161000000
Reached 2161100000 ; States-in-collection: 2197338859 ; Time: 1773776250.394779
>>>Queue Stats: inserted=2197338859 items_in_queue=36238859 extracted=2161100000
Reached 2161200000 ; States-in-collection: 2197453765 ; Time: 1773776250.877261
>>>Queue Stats: inserted=2197453765 items_in_queue=36253765 extracted=2161200000
Reached 2161300000 ; States-in-collection: 2197485252 ; Time: 1773776251.179690
>>>Queue Stats: inserted=2197485252 items_in_queue=36185252 extracted=2161300000
Reached 2161400000 ; States-in-collection: 2197516400 ; Time: 1773776251.477627
>>>Queue Stats: inserted=2197516400 items_in_queue=36116400 extracted=2161400000
Reached 2161500000 ; States-in-collection: 2197544772 ; Time: 1773776251.777837
>>>Queue Stats: inserted=2197544772 items_in_queue=36044772 extracted=2161500000
Reached 2161600000 ; States-in-collection: 2197574832 ; Time: 1773776252.080613
>>>Queue Stats: inserted=2197574832 items_in_queue=35974832 extracted=2161600000
Reached 2161700000 ; States-in-collection: 2197604804 ; Time: 1773776252.375607
>>>Queue Stats: inserted=2197604804 items_in_queue=35904804 extracted=2161700000
Reached 2161800000 ; States-in-collection: 2197634814 ; Time: 1773776252.680827
>>>Queue Stats: inserted=2197634814 items_in_queue=35834814 extracted=2161800000
Reached 2161900000 ; States-in-collection: 2197672798 ; Time: 1773776253.104461
>>>Queue Stats: inserted=2197672798 items_in_queue=35772798 extracted=2161900000
Reached 2162000000 ; States-in-collection: 2197728535 ; Time: 1773776253.667736
>>>Queue Stats: inserted=2197728535 items_in_queue=35728535 extracted=2162000000
Reached 2162100000 ; States-in-collection: 2197784244 ; Time: 1773776254.223209
>>>Queue Stats: inserted=2197784244 items_in_queue=35684244 extracted=2162100000
Reached 2162200000 ; States-in-collection: 2197863662 ; Time: 1773776254.747751
>>>Queue Stats: inserted=2197863662 items_in_queue=35663662 extracted=2162200000
Reached 2162300000 ; States-in-collection: 2198038112 ; Time: 1773776255.382899
>>>Queue Stats: inserted=2198038112 items_in_queue=35738112 extracted=2162300000
Reached 2162400000 ; States-in-collection: 2198179292 ; Time: 1773776256.016823
>>>Queue Stats: inserted=2198179292 items_in_queue=35779292 extracted=2162400000
Reached 2162500000 ; States-in-collection: 2198283038 ; Time: 1773776256.779843
>>>Queue Stats: inserted=2198283038 items_in_queue=35783038 extracted=2162500000
Reached 2162600000 ; States-in-collection: 2198374844 ; Time: 1773776257.359986
>>>Queue Stats: inserted=2198374844 items_in_queue=35774844 extracted=2162600000
Reached 2162700000 ; States-in-collection: 2198512786 ; Time: 1773776258.214881
>>>Queue Stats: inserted=2198512786 items_in_queue=35812786 extracted=2162700000
Reached 2162800000 ; States-in-collection: 2198621215 ; Time: 1773776258.781288
>>>Queue Stats: inserted=2198621215 items_in_queue=35821215 extracted=2162800000
Reached 2162900000 ; States-in-collection: 2198731401 ; Time: 1773776259.402541
>>>Queue Stats: inserted=2198731401 items_in_queue=35831401 extracted=2162900000
Reached 2163000000 ; States-in-collection: 2198824126 ; Time: 1773776260.012705
>>>Queue Stats: inserted=2198824126 items_in_queue=35824126 extracted=2163000000
Reached 2163100000 ; States-in-collection: 2198929664 ; Time: 1773776260.582390
>>>Queue Stats: inserted=2198929664 items_in_queue=35829664 extracted=2163100000
Reached 2163200000 ; States-in-collection: 2199189664 ; Time: 1773776261.527375
>>>Queue Stats: inserted=2199189664 items_in_queue=35989664 extracted=2163200000
Reached 2163300000 ; States-in-collection: 2199321456 ; Time: 1773776262.081059
>>>Queue Stats: inserted=2199321456 items_in_queue=36021456 extracted=2163300000
Reached 2163400000 ; States-in-collection: 2199367612 ; Time: 1773776262.332462
>>>Queue Stats: inserted=2199367612 items_in_queue=35967612 extracted=2163400000
Reached 2163500000 ; States-in-collection: 2199404785 ; Time: 1773776262.595039
>>>Queue Stats: inserted=2199404785 items_in_queue=35904785 extracted=2163500000
Reached 2163600000 ; States-in-collection: 2199427861 ; Time: 1773776262.846131
>>>Queue Stats: inserted=2199427861 items_in_queue=35827861 extracted=2163600000
instance_run_solver_thread end
Finished running threads for curr_depth=52
Start mark-and-sweep cleanup for curr_depth=52
Mark+Sweep Progress - 10000000/39193600
Mark+Sweep Progress - 20000000/39193600
Mark+Sweep Progress - 30000000/39193600
Finish mark-and-sweep cleanup for curr_depth=52
Running threads for curr_depth=53
instance_run_solver_thread start
Reached 2163700000 ; States-in-collection: 2199470879 ; Time: 1773776265.624492
>>>Queue Stats: inserted=2199470879 items_in_queue=35770879 extracted=2163700000
Reached 2163800000 ; States-in-collection: 2199543421 ; Time: 1773776266.710641
>>>Queue Stats: inserted=2199543421 items_in_queue=35743421 extracted=2163800000
Reached 2163900000 ; States-in-collection: 2199588959 ; Time: 1773776267.820322
>>>Queue Stats: inserted=2199588959 items_in_queue=35688959 extracted=2163900000
Reached 2164000000 ; States-in-collection: 2199662335 ; Time: 1773776269.112442
>>>Queue Stats: inserted=2199662335 items_in_queue=35662335 extracted=2164000000
Reached 2164100000 ; States-in-collection: 2199729567 ; Time: 1773776270.400354
>>>Queue Stats: inserted=2199729567 items_in_queue=35629567 extracted=2164100000
Reached 2164200000 ; States-in-collection: 2199811135 ; Time: 1773776271.718170
>>>Queue Stats: inserted=2199811135 items_in_queue=35611135 extracted=2164200000
Reached 2164300000 ; States-in-collection: 2199878367 ; Time: 1773776272.983183
>>>Queue Stats: inserted=2199878367 items_in_queue=35578367 extracted=2164300000
Reached 2164400000 ; States-in-collection: 2199944668 ; Time: 1773776274.327850
>>>Queue Stats: inserted=2199944668 items_in_queue=35544668 extracted=2164400000
Reached 2164500000 ; States-in-collection: 2199982111 ; Time: 1773776275.681983
>>>Queue Stats: inserted=2199982111 items_in_queue=35482111 extracted=2164500000
Reached 2164600000 ; States-in-collection: 2200032468 ; Time: 1773776277.088158
>>>Queue Stats: inserted=2200032468 items_in_queue=35432468 extracted=2164600000
Reached 2164700000 ; States-in-collection: 2200072029 ; Time: 1773776278.415764
>>>Queue Stats: inserted=2200072029 items_in_queue=35372029 extracted=2164700000
Reached 2164800000 ; States-in-collection: 2200120927 ; Time: 1773776279.711932
>>>Queue Stats: inserted=2200120927 items_in_queue=35320927 extracted=2164800000
Reached 2164900000 ; States-in-collection: 2200147253 ; Time: 1773776280.945818
>>>Queue Stats: inserted=2200147253 items_in_queue=35247253 extracted=2164900000
Reached 2165000000 ; States-in-collection: 2200176865 ; Time: 1773776282.181404
>>>Queue Stats: inserted=2200176865 items_in_queue=35176865 extracted=2165000000
Reached 2165100000 ; States-in-collection: 2200194015 ; Time: 1773776283.497087
>>>Queue Stats: inserted=2200194015 items_in_queue=35094015 extracted=2165100000
Reached 2165200000 ; States-in-collection: 2200215004 ; Time: 1773776284.878934
>>>Queue Stats: inserted=2200215004 items_in_queue=35015004 extracted=2165200000
Reached 2165300000 ; States-in-collection: 2200223196 ; Time: 1773776286.249869
>>>Queue Stats: inserted=2200223196 items_in_queue=34923196 extracted=2165300000
Reached 2165400000 ; States-in-collection: 2200231388 ; Time: 1773776287.576518
>>>Queue Stats: inserted=2200231388 items_in_queue=34831388 extracted=2165400000
Reached 2165500000 ; States-in-collection: 2200233960 ; Time: 1773776288.918340
>>>Queue Stats: inserted=2200233960 items_in_queue=34733960 extracted=2165500000
Reached 2165600000 ; States-in-collection: 2200250844 ; Time: 1773776290.286668
>>>Queue Stats: inserted=2200250844 items_in_queue=34650844 extracted=2165600000
Reached 2165700000 ; States-in-collection: 2200274622 ; Time: 1773776291.721011
>>>Queue Stats: inserted=2200274622 items_in_queue=34574622 extracted=2165700000
Reached 2165800000 ; States-in-collection: 2200296521 ; Time: 1773776293.214947
>>>Queue Stats: inserted=2200296521 items_in_queue=34496521 extracted=2165800000
Reached 2165900000 ; States-in-collection: 2200318751 ; Time: 1773776294.646093
>>>Queue Stats: inserted=2200318751 items_in_queue=34418751 extracted=2165900000
Reached 2166000000 ; States-in-collection: 2200365637 ; Time: 1773776295.997090
>>>Queue Stats: inserted=2200365637 items_in_queue=34365637 extracted=2166000000
Reached 2166100000 ; States-in-collection: 2200431887 ; Time: 1773776297.468042
>>>Queue Stats: inserted=2200431887 items_in_queue=34331887 extracted=2166100000
Reached 2166200000 ; States-in-collection: 2200520383 ; Time: 1773776298.630751
>>>Queue Stats: inserted=2200520383 items_in_queue=34320383 extracted=2166200000
Reached 2166300000 ; States-in-collection: 2200569695 ; Time: 1773776299.900106
>>>Queue Stats: inserted=2200569695 items_in_queue=34269695 extracted=2166300000
Reached 2166400000 ; States-in-collection: 2200619484 ; Time: 1773776301.284644
>>>Queue Stats: inserted=2200619484 items_in_queue=34219484 extracted=2166400000
Reached 2166500000 ; States-in-collection: 2200669457 ; Time: 1773776302.597799
>>>Queue Stats: inserted=2200669457 items_in_queue=34169457 extracted=2166500000
Reached 2166600000 ; States-in-collection: 2200719410 ; Time: 1773776303.840128
>>>Queue Stats: inserted=2200719410 items_in_queue=34119410 extracted=2166600000
Reached 2166700000 ; States-in-collection: 2200774943 ; Time: 1773776305.222046
>>>Queue Stats: inserted=2200774943 items_in_queue=34074943 extracted=2166700000
Reached 2166800000 ; States-in-collection: 2200835153 ; Time: 1773776306.568225
>>>Queue Stats: inserted=2200835153 items_in_queue=34035153 extracted=2166800000
Reached 2166900000 ; States-in-collection: 2200870550 ; Time: 1773776307.983130
>>>Queue Stats: inserted=2200870550 items_in_queue=33970550 extracted=2166900000
Reached 2167000000 ; States-in-collection: 2200919848 ; Time: 1773776309.566534
>>>Queue Stats: inserted=2200919848 items_in_queue=33919848 extracted=2167000000
Reached 2167100000 ; States-in-collection: 2200969564 ; Time: 1773776311.095956
>>>Queue Stats: inserted=2200969564 items_in_queue=33869564 extracted=2167100000
Reached 2167200000 ; States-in-collection: 2201049951 ; Time: 1773776312.603474
>>>Queue Stats: inserted=2201049951 items_in_queue=33849951 extracted=2167200000
Reached 2167300000 ; States-in-collection: 2201199670 ; Time: 1773776314.242442
>>>Queue Stats: inserted=2201199670 items_in_queue=33899670 extracted=2167300000
Reached 2167400000 ; States-in-collection: 2201380514 ; Time: 1773776315.360204
>>>Queue Stats: inserted=2201380514 items_in_queue=33980514 extracted=2167400000
Reached 2167500000 ; States-in-collection: 2201488990 ; Time: 1773776316.439123
>>>Queue Stats: inserted=2201488990 items_in_queue=33988990 extracted=2167500000
Reached 2167600000 ; States-in-collection: 2201645532 ; Time: 1773776317.737167
>>>Queue Stats: inserted=2201645532 items_in_queue=34045532 extracted=2167600000
Reached 2167700000 ; States-in-collection: 2201801314 ; Time: 1773776319.039203
>>>Queue Stats: inserted=2201801314 items_in_queue=34101314 extracted=2167700000
Reached 2167800000 ; States-in-collection: 2201960354 ; Time: 1773776320.354427
>>>Queue Stats: inserted=2201960354 items_in_queue=34160354 extracted=2167800000
Reached 2167900000 ; States-in-collection: 2202086340 ; Time: 1773776321.637527
>>>Queue Stats: inserted=2202086340 items_in_queue=34186340 extracted=2167900000
Reached 2168000000 ; States-in-collection: 2202227914 ; Time: 1773776322.987173
>>>Queue Stats: inserted=2202227914 items_in_queue=34227914 extracted=2168000000
Reached 2168100000 ; States-in-collection: 2202319981 ; Time: 1773776324.351266
>>>Queue Stats: inserted=2202319981 items_in_queue=34219981 extracted=2168100000
Reached 2168200000 ; States-in-collection: 2202439054 ; Time: 1773776325.767090
>>>Queue Stats: inserted=2202439054 items_in_queue=34239054 extracted=2168200000
Reached 2168300000 ; States-in-collection: 2202553006 ; Time: 1773776327.145638
>>>Queue Stats: inserted=2202553006 items_in_queue=34253006 extracted=2168300000
Reached 2168400000 ; States-in-collection: 2202642525 ; Time: 1773776328.446556
>>>Queue Stats: inserted=2202642525 items_in_queue=34242525 extracted=2168400000
Reached 2168500000 ; States-in-collection: 2202707681 ; Time: 1773776329.696430
>>>Queue Stats: inserted=2202707681 items_in_queue=34207681 extracted=2168500000
Reached 2168600000 ; States-in-collection: 2202781371 ; Time: 1773776330.952482
>>>Queue Stats: inserted=2202781371 items_in_queue=34181371 extracted=2168600000
Reached 2168700000 ; States-in-collection: 2202843362 ; Time: 1773776332.299066
>>>Queue Stats: inserted=2202843362 items_in_queue=34143362 extracted=2168700000
Reached 2168800000 ; States-in-collection: 2202901936 ; Time: 1773776333.733883
>>>Queue Stats: inserted=2202901936 items_in_queue=34101936 extracted=2168800000
Reached 2168900000 ; States-in-collection: 2202931922 ; Time: 1773776335.181161
>>>Queue Stats: inserted=2202931922 items_in_queue=34031922 extracted=2168900000
Reached 2169000000 ; States-in-collection: 2202990793 ; Time: 1773776336.545167
>>>Queue Stats: inserted=2202990793 items_in_queue=33990793 extracted=2169000000
Reached 2169100000 ; States-in-collection: 2203042168 ; Time: 1773776337.927730
>>>Queue Stats: inserted=2203042168 items_in_queue=33942168 extracted=2169100000
Reached 2169200000 ; States-in-collection: 2203109164 ; Time: 1773776339.332131
>>>Queue Stats: inserted=2203109164 items_in_queue=33909164 extracted=2169200000
Reached 2169300000 ; States-in-collection: 2203209297 ; Time: 1773776340.779061
>>>Queue Stats: inserted=2203209297 items_in_queue=33909297 extracted=2169300000
Reached 2169400000 ; States-in-collection: 2203317760 ; Time: 1773776342.304464
>>>Queue Stats: inserted=2203317760 items_in_queue=33917760 extracted=2169400000
Reached 2169500000 ; States-in-collection: 2203397547 ; Time: 1773776343.746647
>>>Queue Stats: inserted=2203397547 items_in_queue=33897547 extracted=2169500000
Reached 2169600000 ; States-in-collection: 2203501056 ; Time: 1773776345.131542
>>>Queue Stats: inserted=2203501056 items_in_queue=33901056 extracted=2169600000
Reached 2169700000 ; States-in-collection: 2203661748 ; Time: 1773776346.600224
>>>Queue Stats: inserted=2203661748 items_in_queue=33961748 extracted=2169700000
Reached 2169800000 ; States-in-collection: 2203821532 ; Time: 1773776348.102178
>>>Queue Stats: inserted=2203821532 items_in_queue=34021532 extracted=2169800000
Reached 2169900000 ; States-in-collection: 2203958254 ; Time: 1773776349.022835
>>>Queue Stats: inserted=2203958254 items_in_queue=34058254 extracted=2169900000
Reached 2170000000 ; States-in-collection: 2204016445 ; Time: 1773776349.491403
>>>Queue Stats: inserted=2204016445 items_in_queue=34016445 extracted=2170000000
Reached 2170100000 ; States-in-collection: 2204086532 ; Time: 1773776350.033896
>>>Queue Stats: inserted=2204086532 items_in_queue=33986532 extracted=2170100000
Reached 2170200000 ; States-in-collection: 2204145937 ; Time: 1773776350.574044
>>>Queue Stats: inserted=2204145937 items_in_queue=33945937 extracted=2170200000
Reached 2170300000 ; States-in-collection: 2204214718 ; Time: 1773776351.045685
>>>Queue Stats: inserted=2204214718 items_in_queue=33914718 extracted=2170300000
Reached 2170400000 ; States-in-collection: 2204276333 ; Time: 1773776351.624689
>>>Queue Stats: inserted=2204276333 items_in_queue=33876333 extracted=2170400000
Reached 2170500000 ; States-in-collection: 2204336573 ; Time: 1773776352.125719
>>>Queue Stats: inserted=2204336573 items_in_queue=33836573 extracted=2170500000
Reached 2170600000 ; States-in-collection: 2204403913 ; Time: 1773776352.609668
>>>Queue Stats: inserted=2204403913 items_in_queue=33803913 extracted=2170600000
Reached 2170700000 ; States-in-collection: 2204461150 ; Time: 1773776353.159623
>>>Queue Stats: inserted=2204461150 items_in_queue=33761150 extracted=2170700000
Reached 2170800000 ; States-in-collection: 2204514538 ; Time: 1773776353.765178
>>>Queue Stats: inserted=2204514538 items_in_queue=33714538 extracted=2170800000
Reached 2170900000 ; States-in-collection: 2204565297 ; Time: 1773776354.364240
>>>Queue Stats: inserted=2204565297 items_in_queue=33665297 extracted=2170900000
Reached 2171000000 ; States-in-collection: 2204638855 ; Time: 1773776354.967744
>>>Queue Stats: inserted=2204638855 items_in_queue=33638855 extracted=2171000000
Reached 2171100000 ; States-in-collection: 2204711902 ; Time: 1773776355.544208
>>>Queue Stats: inserted=2204711902 items_in_queue=33611902 extracted=2171100000
Reached 2171200000 ; States-in-collection: 2204769469 ; Time: 1773776356.020382
>>>Queue Stats: inserted=2204769469 items_in_queue=33569469 extracted=2171200000
Reached 2171300000 ; States-in-collection: 2204826603 ; Time: 1773776356.702018
>>>Queue Stats: inserted=2204826603 items_in_queue=33526603 extracted=2171300000
Reached 2171400000 ; States-in-collection: 2204897165 ; Time: 1773776357.309437
>>>Queue Stats: inserted=2204897165 items_in_queue=33497165 extracted=2171400000
Reached 2171500000 ; States-in-collection: 2204967262 ; Time: 1773776357.771321
>>>Queue Stats: inserted=2204967262 items_in_queue=33467262 extracted=2171500000
Reached 2171600000 ; States-in-collection: 2205038152 ; Time: 1773776358.254328
>>>Queue Stats: inserted=2205038152 items_in_queue=33438152 extracted=2171600000
Reached 2171700000 ; States-in-collection: 2205095623 ; Time: 1773776358.843982
>>>Queue Stats: inserted=2205095623 items_in_queue=33395623 extracted=2171700000
Reached 2171800000 ; States-in-collection: 2205155071 ; Time: 1773776359.448622
>>>Queue Stats: inserted=2205155071 items_in_queue=33355071 extracted=2171800000
Reached 2171900000 ; States-in-collection: 2205235229 ; Time: 1773776360.178569
>>>Queue Stats: inserted=2205235229 items_in_queue=33335229 extracted=2171900000
Reached 2172000000 ; States-in-collection: 2205299746 ; Time: 1773776360.772184
>>>Queue Stats: inserted=2205299746 items_in_queue=33299746 extracted=2172000000
Reached 2172100000 ; States-in-collection: 2205369652 ; Time: 1773776361.311652
>>>Queue Stats: inserted=2205369652 items_in_queue=33269652 extracted=2172100000
Reached 2172200000 ; States-in-collection: 2205439167 ; Time: 1773776361.877936
>>>Queue Stats: inserted=2205439167 items_in_queue=33239167 extracted=2172200000
Reached 2172300000 ; States-in-collection: 2205502940 ; Time: 1773776362.389805
>>>Queue Stats: inserted=2205502940 items_in_queue=33202940 extracted=2172300000
Reached 2172400000 ; States-in-collection: 2205571245 ; Time: 1773776362.989382
>>>Queue Stats: inserted=2205571245 items_in_queue=33171245 extracted=2172400000
Reached 2172500000 ; States-in-collection: 2205643496 ; Time: 1773776363.513533
>>>Queue Stats: inserted=2205643496 items_in_queue=33143496 extracted=2172500000
Reached 2172600000 ; States-in-collection: 2205712206 ; Time: 1773776364.029863
>>>Queue Stats: inserted=2205712206 items_in_queue=33112206 extracted=2172600000
Reached 2172700000 ; States-in-collection: 2205782407 ; Time: 1773776364.503958
>>>Queue Stats: inserted=2205782407 items_in_queue=33082407 extracted=2172700000
Reached 2172800000 ; States-in-collection: 2205856804 ; Time: 1773776365.036711
>>>Queue Stats: inserted=2205856804 items_in_queue=33056804 extracted=2172800000
Reached 2172900000 ; States-in-collection: 2205911250 ; Time: 1773776365.601094
>>>Queue Stats: inserted=2205911250 items_in_queue=33011250 extracted=2172900000
Reached 2173000000 ; States-in-collection: 2205983000 ; Time: 1773776366.076227
>>>Queue Stats: inserted=2205983000 items_in_queue=32983000 extracted=2173000000
Reached 2173100000 ; States-in-collection: 2206052627 ; Time: 1773776366.579664
>>>Queue Stats: inserted=2206052627 items_in_queue=32952627 extracted=2173100000
Reached 2173200000 ; States-in-collection: 2206134468 ; Time: 1773776367.069068
>>>Queue Stats: inserted=2206134468 items_in_queue=32934468 extracted=2173200000
Reached 2173300000 ; States-in-collection: 2206214520 ; Time: 1773776367.506214
>>>Queue Stats: inserted=2206214520 items_in_queue=32914520 extracted=2173300000
Reached 2173400000 ; States-in-collection: 2206286638 ; Time: 1773776367.993630
>>>Queue Stats: inserted=2206286638 items_in_queue=32886638 extracted=2173400000
Reached 2173500000 ; States-in-collection: 2206348574 ; Time: 1773776368.484473
>>>Queue Stats: inserted=2206348574 items_in_queue=32848574 extracted=2173500000
Reached 2173600000 ; States-in-collection: 2206407790 ; Time: 1773776368.914652
>>>Queue Stats: inserted=2206407790 items_in_queue=32807790 extracted=2173600000
Reached 2173700000 ; States-in-collection: 2206464797 ; Time: 1773776369.521880
>>>Queue Stats: inserted=2206464797 items_in_queue=32764797 extracted=2173700000
Reached 2173800000 ; States-in-collection: 2206527576 ; Time: 1773776370.139292
>>>Queue Stats: inserted=2206527576 items_in_queue=32727576 extracted=2173800000
Reached 2173900000 ; States-in-collection: 2206591667 ; Time: 1773776370.764694
>>>Queue Stats: inserted=2206591667 items_in_queue=32691667 extracted=2173900000
Reached 2174000000 ; States-in-collection: 2206657427 ; Time: 1773776371.396901
>>>Queue Stats: inserted=2206657427 items_in_queue=32657427 extracted=2174000000
Reached 2174100000 ; States-in-collection: 2206717582 ; Time: 1773776372.194178
>>>Queue Stats: inserted=2206717582 items_in_queue=32617582 extracted=2174100000
Reached 2174200000 ; States-in-collection: 2206762091 ; Time: 1773776372.882454
>>>Queue Stats: inserted=2206762091 items_in_queue=32562091 extracted=2174200000
Reached 2174300000 ; States-in-collection: 2206824328 ; Time: 1773776373.564953
>>>Queue Stats: inserted=2206824328 items_in_queue=32524328 extracted=2174300000
Reached 2174400000 ; States-in-collection: 2206882541 ; Time: 1773776374.229297
>>>Queue Stats: inserted=2206882541 items_in_queue=32482541 extracted=2174400000
Reached 2174500000 ; States-in-collection: 2206931371 ; Time: 1773776374.881815
>>>Queue Stats: inserted=2206931371 items_in_queue=32431371 extracted=2174500000
Reached 2174600000 ; States-in-collection: 2207004702 ; Time: 1773776375.387422
>>>Queue Stats: inserted=2207004702 items_in_queue=32404702 extracted=2174600000
Reached 2174700000 ; States-in-collection: 2207072477 ; Time: 1773776376.100430
>>>Queue Stats: inserted=2207072477 items_in_queue=32372477 extracted=2174700000
Reached 2174800000 ; States-in-collection: 2207135574 ; Time: 1773776376.719949
>>>Queue Stats: inserted=2207135574 items_in_queue=32335574 extracted=2174800000
Reached 2174900000 ; States-in-collection: 2207202063 ; Time: 1773776377.314315
>>>Queue Stats: inserted=2207202063 items_in_queue=32302063 extracted=2174900000
Reached 2175000000 ; States-in-collection: 2207270605 ; Time: 1773776377.914739
>>>Queue Stats: inserted=2207270605 items_in_queue=32270605 extracted=2175000000
Reached 2175100000 ; States-in-collection: 2207337438 ; Time: 1773776378.517210
>>>Queue Stats: inserted=2207337438 items_in_queue=32237438 extracted=2175100000
Reached 2175200000 ; States-in-collection: 2207388100 ; Time: 1773776379.230930
>>>Queue Stats: inserted=2207388100 items_in_queue=32188100 extracted=2175200000
Reached 2175300000 ; States-in-collection: 2207471519 ; Time: 1773776380.104819
>>>Queue Stats: inserted=2207471519 items_in_queue=32171519 extracted=2175300000
Reached 2175400000 ; States-in-collection: 2207546982 ; Time: 1773776380.960047
>>>Queue Stats: inserted=2207546982 items_in_queue=32146982 extracted=2175400000
Reached 2175500000 ; States-in-collection: 2207625823 ; Time: 1773776381.843147
>>>Queue Stats: inserted=2207625823 items_in_queue=32125823 extracted=2175500000
Reached 2175600000 ; States-in-collection: 2207707761 ; Time: 1773776382.473712
>>>Queue Stats: inserted=2207707761 items_in_queue=32107761 extracted=2175600000
Reached 2175700000 ; States-in-collection: 2207777364 ; Time: 1773776383.165858
>>>Queue Stats: inserted=2207777364 items_in_queue=32077364 extracted=2175700000
Reached 2175800000 ; States-in-collection: 2207844805 ; Time: 1773776383.867037
>>>Queue Stats: inserted=2207844805 items_in_queue=32044805 extracted=2175800000
Reached 2175900000 ; States-in-collection: 2207908839 ; Time: 1773776384.556356
>>>Queue Stats: inserted=2207908839 items_in_queue=32008839 extracted=2175900000
Reached 2176000000 ; States-in-collection: 2207974836 ; Time: 1773776385.228821
>>>Queue Stats: inserted=2207974836 items_in_queue=31974836 extracted=2176000000
Reached 2176100000 ; States-in-collection: 2208045662 ; Time: 1773776385.870883
>>>Queue Stats: inserted=2208045662 items_in_queue=31945662 extracted=2176100000
Reached 2176200000 ; States-in-collection: 2208109286 ; Time: 1773776386.595682
>>>Queue Stats: inserted=2208109286 items_in_queue=31909286 extracted=2176200000
Reached 2176300000 ; States-in-collection: 2208175326 ; Time: 1773776387.123546
>>>Queue Stats: inserted=2208175326 items_in_queue=31875326 extracted=2176300000
Reached 2176400000 ; States-in-collection: 2208241835 ; Time: 1773776387.742830
>>>Queue Stats: inserted=2208241835 items_in_queue=31841835 extracted=2176400000
Reached 2176500000 ; States-in-collection: 2208294104 ; Time: 1773776388.509651
>>>Queue Stats: inserted=2208294104 items_in_queue=31794104 extracted=2176500000
Reached 2176600000 ; States-in-collection: 2208349946 ; Time: 1773776389.261933
>>>Queue Stats: inserted=2208349946 items_in_queue=31749946 extracted=2176600000
Reached 2176700000 ; States-in-collection: 2208407325 ; Time: 1773776390.032489
>>>Queue Stats: inserted=2208407325 items_in_queue=31707325 extracted=2176700000
Reached 2176800000 ; States-in-collection: 2208464250 ; Time: 1773776390.771867
>>>Queue Stats: inserted=2208464250 items_in_queue=31664250 extracted=2176800000
Reached 2176900000 ; States-in-collection: 2208514162 ; Time: 1773776391.566964
>>>Queue Stats: inserted=2208514162 items_in_queue=31614162 extracted=2176900000
Reached 2177000000 ; States-in-collection: 2208559541 ; Time: 1773776392.215382
>>>Queue Stats: inserted=2208559541 items_in_queue=31559541 extracted=2177000000
Reached 2177100000 ; States-in-collection: 2208605338 ; Time: 1773776392.925287
>>>Queue Stats: inserted=2208605338 items_in_queue=31505338 extracted=2177100000
Reached 2177200000 ; States-in-collection: 2208647734 ; Time: 1773776393.721547
>>>Queue Stats: inserted=2208647734 items_in_queue=31447734 extracted=2177200000
Reached 2177300000 ; States-in-collection: 2208696030 ; Time: 1773776394.522140
>>>Queue Stats: inserted=2208696030 items_in_queue=31396030 extracted=2177300000
Reached 2177400000 ; States-in-collection: 2208747284 ; Time: 1773776395.255593
>>>Queue Stats: inserted=2208747284 items_in_queue=31347284 extracted=2177400000
Reached 2177500000 ; States-in-collection: 2208807577 ; Time: 1773776396.092879
>>>Queue Stats: inserted=2208807577 items_in_queue=31307577 extracted=2177500000
Reached 2177600000 ; States-in-collection: 2208858033 ; Time: 1773776396.863279
>>>Queue Stats: inserted=2208858033 items_in_queue=31258033 extracted=2177600000
Reached 2177700000 ; States-in-collection: 2208905909 ; Time: 1773776397.569724
>>>Queue Stats: inserted=2208905909 items_in_queue=31205909 extracted=2177700000
Reached 2177800000 ; States-in-collection: 2208958901 ; Time: 1773776398.446958
>>>Queue Stats: inserted=2208958901 items_in_queue=31158901 extracted=2177800000
Reached 2177900000 ; States-in-collection: 2209034647 ; Time: 1773776399.112451
>>>Queue Stats: inserted=2209034647 items_in_queue=31134647 extracted=2177900000
Reached 2178000000 ; States-in-collection: 2209099032 ; Time: 1773776399.974416
>>>Queue Stats: inserted=2209099032 items_in_queue=31099032 extracted=2178000000
Reached 2178100000 ; States-in-collection: 2209167149 ; Time: 1773776400.745369
>>>Queue Stats: inserted=2209167149 items_in_queue=31067149 extracted=2178100000
Reached 2178200000 ; States-in-collection: 2209228092 ; Time: 1773776401.588358
>>>Queue Stats: inserted=2209228092 items_in_queue=31028092 extracted=2178200000
Reached 2178300000 ; States-in-collection: 2209294367 ; Time: 1773776402.379092
>>>Queue Stats: inserted=2209294367 items_in_queue=30994367 extracted=2178300000
Reached 2178400000 ; States-in-collection: 2209353224 ; Time: 1773776403.260637
>>>Queue Stats: inserted=2209353224 items_in_queue=30953224 extracted=2178400000
Reached 2178500000 ; States-in-collection: 2209413154 ; Time: 1773776404.042432
>>>Queue Stats: inserted=2209413154 items_in_queue=30913154 extracted=2178500000
Reached 2178600000 ; States-in-collection: 2209484125 ; Time: 1773776404.835551
>>>Queue Stats: inserted=2209484125 items_in_queue=30884125 extracted=2178600000
Reached 2178700000 ; States-in-collection: 2209552349 ; Time: 1773776405.576628
>>>Queue Stats: inserted=2209552349 items_in_queue=30852349 extracted=2178700000
Reached 2178800000 ; States-in-collection: 2209619934 ; Time: 1773776406.361544
>>>Queue Stats: inserted=2209619934 items_in_queue=30819934 extracted=2178800000
Reached 2178900000 ; States-in-collection: 2209693073 ; Time: 1773776407.110540
>>>Queue Stats: inserted=2209693073 items_in_queue=30793073 extracted=2178900000
Reached 2179000000 ; States-in-collection: 2209766499 ; Time: 1773776407.932399
>>>Queue Stats: inserted=2209766499 items_in_queue=30766499 extracted=2179000000
Reached 2179100000 ; States-in-collection: 2209838394 ; Time: 1773776408.671982
>>>Queue Stats: inserted=2209838394 items_in_queue=30738394 extracted=2179100000
Reached 2179200000 ; States-in-collection: 2209906530 ; Time: 1773776409.405557
>>>Queue Stats: inserted=2209906530 items_in_queue=30706530 extracted=2179200000
Reached 2179300000 ; States-in-collection: 2209962807 ; Time: 1773776410.221969
>>>Queue Stats: inserted=2209962807 items_in_queue=30662807 extracted=2179300000
Reached 2179400000 ; States-in-collection: 2210034463 ; Time: 1773776411.129249
>>>Queue Stats: inserted=2210034463 items_in_queue=30634463 extracted=2179400000
Reached 2179500000 ; States-in-collection: 2210096732 ; Time: 1773776411.959029
>>>Queue Stats: inserted=2210096732 items_in_queue=30596732 extracted=2179500000
Reached 2179600000 ; States-in-collection: 2210165100 ; Time: 1773776412.844068
>>>Queue Stats: inserted=2210165100 items_in_queue=30565100 extracted=2179600000
Reached 2179700000 ; States-in-collection: 2210218328 ; Time: 1773776413.744233
>>>Queue Stats: inserted=2210218328 items_in_queue=30518328 extracted=2179700000
Reached 2179800000 ; States-in-collection: 2210271437 ; Time: 1773776414.644239
>>>Queue Stats: inserted=2210271437 items_in_queue=30471437 extracted=2179800000
Reached 2179900000 ; States-in-collection: 2210325856 ; Time: 1773776415.519107
>>>Queue Stats: inserted=2210325856 items_in_queue=30425856 extracted=2179900000
Reached 2180000000 ; States-in-collection: 2210380910 ; Time: 1773776416.393885
>>>Queue Stats: inserted=2210380910 items_in_queue=30380910 extracted=2180000000
Reached 2180100000 ; States-in-collection: 2210434275 ; Time: 1773776417.286594
>>>Queue Stats: inserted=2210434275 items_in_queue=30334275 extracted=2180100000
Reached 2180200000 ; States-in-collection: 2210507511 ; Time: 1773776418.110953
>>>Queue Stats: inserted=2210507511 items_in_queue=30307511 extracted=2180200000
Reached 2180300000 ; States-in-collection: 2210587844 ; Time: 1773776418.913367
>>>Queue Stats: inserted=2210587844 items_in_queue=30287844 extracted=2180300000
Reached 2180400000 ; States-in-collection: 2210668412 ; Time: 1773776419.717210
>>>Queue Stats: inserted=2210668412 items_in_queue=30268412 extracted=2180400000
Reached 2180500000 ; States-in-collection: 2210749149 ; Time: 1773776420.529761
>>>Queue Stats: inserted=2210749149 items_in_queue=30249149 extracted=2180500000
Reached 2180600000 ; States-in-collection: 2210829816 ; Time: 1773776421.331638
>>>Queue Stats: inserted=2210829816 items_in_queue=30229816 extracted=2180600000
Reached 2180700000 ; States-in-collection: 2210915695 ; Time: 1773776422.096281
>>>Queue Stats: inserted=2210915695 items_in_queue=30215695 extracted=2180700000
Reached 2180800000 ; States-in-collection: 2211004811 ; Time: 1773776422.845292
>>>Queue Stats: inserted=2211004811 items_in_queue=30204811 extracted=2180800000
Reached 2180900000 ; States-in-collection: 2211093869 ; Time: 1773776423.590082
>>>Queue Stats: inserted=2211093869 items_in_queue=30193869 extracted=2180900000
Reached 2181000000 ; States-in-collection: 2211182808 ; Time: 1773776424.339039
>>>Queue Stats: inserted=2211182808 items_in_queue=30182808 extracted=2181000000
Reached 2181100000 ; States-in-collection: 2211271305 ; Time: 1773776425.098979
>>>Queue Stats: inserted=2211271305 items_in_queue=30171305 extracted=2181100000
Reached 2181200000 ; States-in-collection: 2211360268 ; Time: 1773776425.866157
>>>Queue Stats: inserted=2211360268 items_in_queue=30160268 extracted=2181200000
Reached 2181300000 ; States-in-collection: 2211448725 ; Time: 1773776426.663547
>>>Queue Stats: inserted=2211448725 items_in_queue=30148725 extracted=2181300000
Reached 2181400000 ; States-in-collection: 2211537587 ; Time: 1773776427.444093
>>>Queue Stats: inserted=2211537587 items_in_queue=30137587 extracted=2181400000
Reached 2181500000 ; States-in-collection: 2211626516 ; Time: 1773776428.225386
>>>Queue Stats: inserted=2211626516 items_in_queue=30126516 extracted=2181500000
Reached 2181600000 ; States-in-collection: 2211714914 ; Time: 1773776429.019237
>>>Queue Stats: inserted=2211714914 items_in_queue=30114914 extracted=2181600000
Reached 2181700000 ; States-in-collection: 2211804130 ; Time: 1773776429.786460
>>>Queue Stats: inserted=2211804130 items_in_queue=30104130 extracted=2181700000
Reached 2181800000 ; States-in-collection: 2211868147 ; Time: 1773776430.533794
>>>Queue Stats: inserted=2211868147 items_in_queue=30068147 extracted=2181800000
Reached 2181900000 ; States-in-collection: 2211930553 ; Time: 1773776431.253098
>>>Queue Stats: inserted=2211930553 items_in_queue=30030553 extracted=2181900000
Reached 2182000000 ; States-in-collection: 2211993520 ; Time: 1773776431.987202
>>>Queue Stats: inserted=2211993520 items_in_queue=29993520 extracted=2182000000
Reached 2182100000 ; States-in-collection: 2212056799 ; Time: 1773776432.702850
>>>Queue Stats: inserted=2212056799 items_in_queue=29956799 extracted=2182100000
Reached 2182200000 ; States-in-collection: 2212120733 ; Time: 1773776433.454721
>>>Queue Stats: inserted=2212120733 items_in_queue=29920733 extracted=2182200000
Reached 2182300000 ; States-in-collection: 2212183119 ; Time: 1773776434.178720
>>>Queue Stats: inserted=2212183119 items_in_queue=29883119 extracted=2182300000
Reached 2182400000 ; States-in-collection: 2212246034 ; Time: 1773776434.910290
>>>Queue Stats: inserted=2212246034 items_in_queue=29846034 extracted=2182400000
Reached 2182500000 ; States-in-collection: 2212309339 ; Time: 1773776435.628072
>>>Queue Stats: inserted=2212309339 items_in_queue=29809339 extracted=2182500000
Reached 2182600000 ; States-in-collection: 2212376326 ; Time: 1773776436.323213
>>>Queue Stats: inserted=2212376326 items_in_queue=29776326 extracted=2182600000
Reached 2182700000 ; States-in-collection: 2212443031 ; Time: 1773776437.021305
>>>Queue Stats: inserted=2212443031 items_in_queue=29743031 extracted=2182700000
Reached 2182800000 ; States-in-collection: 2212509654 ; Time: 1773776437.705058
>>>Queue Stats: inserted=2212509654 items_in_queue=29709654 extracted=2182800000
Reached 2182900000 ; States-in-collection: 2212576015 ; Time: 1773776438.421419
>>>Queue Stats: inserted=2212576015 items_in_queue=29676015 extracted=2182900000
Reached 2183000000 ; States-in-collection: 2212643270 ; Time: 1773776439.111467
>>>Queue Stats: inserted=2212643270 items_in_queue=29643270 extracted=2183000000
Reached 2183100000 ; States-in-collection: 2212715003 ; Time: 1773776439.756289
>>>Queue Stats: inserted=2212715003 items_in_queue=29615003 extracted=2183100000
Reached 2183200000 ; States-in-collection: 2212795077 ; Time: 1773776440.353421
>>>Queue Stats: inserted=2212795077 items_in_queue=29595077 extracted=2183200000
Reached 2183300000 ; States-in-collection: 2212873221 ; Time: 1773776440.945016
>>>Queue Stats: inserted=2212873221 items_in_queue=29573221 extracted=2183300000
Reached 2183400000 ; States-in-collection: 2212953431 ; Time: 1773776441.548197
>>>Queue Stats: inserted=2212953431 items_in_queue=29553431 extracted=2183400000
Reached 2183500000 ; States-in-collection: 2213026800 ; Time: 1773776442.096698
>>>Queue Stats: inserted=2213026800 items_in_queue=29526800 extracted=2183500000
Reached 2183600000 ; States-in-collection: 2213097123 ; Time: 1773776442.612842
>>>Queue Stats: inserted=2213097123 items_in_queue=29497123 extracted=2183600000
Reached 2183700000 ; States-in-collection: 2213167531 ; Time: 1773776443.120466
>>>Queue Stats: inserted=2213167531 items_in_queue=29467531 extracted=2183700000
Reached 2183800000 ; States-in-collection: 2213237866 ; Time: 1773776443.631276
>>>Queue Stats: inserted=2213237866 items_in_queue=29437866 extracted=2183800000
Reached 2183900000 ; States-in-collection: 2213306834 ; Time: 1773776444.141793
>>>Queue Stats: inserted=2213306834 items_in_queue=29406834 extracted=2183900000
Reached 2184000000 ; States-in-collection: 2213365642 ; Time: 1773776444.626053
>>>Queue Stats: inserted=2213365642 items_in_queue=29365642 extracted=2184000000
Reached 2184100000 ; States-in-collection: 2213424493 ; Time: 1773776445.111729
>>>Queue Stats: inserted=2213424493 items_in_queue=29324493 extracted=2184100000
Reached 2184200000 ; States-in-collection: 2213480333 ; Time: 1773776445.592461
>>>Queue Stats: inserted=2213480333 items_in_queue=29280333 extracted=2184200000
Reached 2184300000 ; States-in-collection: 2213682059 ; Time: 1773776446.748358
>>>Queue Stats: inserted=2213682059 items_in_queue=29382059 extracted=2184300000
Reached 2184400000 ; States-in-collection: 2213852799 ; Time: 1773776448.215110
>>>Queue Stats: inserted=2213852799 items_in_queue=29452799 extracted=2184400000
Reached 2184500000 ; States-in-collection: 2213952799 ; Time: 1773776448.912037
>>>Queue Stats: inserted=2213952799 items_in_queue=29452799 extracted=2184500000
Reached 2184600000 ; States-in-collection: 2214052799 ; Time: 1773776449.442309
>>>Queue Stats: inserted=2214052799 items_in_queue=29452799 extracted=2184600000
Reached 2184700000 ; States-in-collection: 2214152799 ; Time: 1773776450.034919
>>>Queue Stats: inserted=2214152799 items_in_queue=29452799 extracted=2184700000
Reached 2184800000 ; States-in-collection: 2214252799 ; Time: 1773776450.625668
>>>Queue Stats: inserted=2214252799 items_in_queue=29452799 extracted=2184800000
Reached 2184900000 ; States-in-collection: 2214352799 ; Time: 1773776451.246337
>>>Queue Stats: inserted=2214352799 items_in_queue=29452799 extracted=2184900000
Reached 2185000000 ; States-in-collection: 2214452799 ; Time: 1773776451.769091
>>>Queue Stats: inserted=2214452799 items_in_queue=29452799 extracted=2185000000
Reached 2185100000 ; States-in-collection: 2214552799 ; Time: 1773776452.309198
>>>Queue Stats: inserted=2214552799 items_in_queue=29452799 extracted=2185100000
Reached 2185200000 ; States-in-collection: 2214652799 ; Time: 1773776452.932537
>>>Queue Stats: inserted=2214652799 items_in_queue=29452799 extracted=2185200000
Reached 2185300000 ; States-in-collection: 2214752799 ; Time: 1773776453.483037
>>>Queue Stats: inserted=2214752799 items_in_queue=29452799 extracted=2185300000
Reached 2185400000 ; States-in-collection: 2214852799 ; Time: 1773776454.124009
>>>Queue Stats: inserted=2214852799 items_in_queue=29452799 extracted=2185400000
Reached 2185500000 ; States-in-collection: 2214952799 ; Time: 1773776454.821409
>>>Queue Stats: inserted=2214952799 items_in_queue=29452799 extracted=2185500000
Reached 2185600000 ; States-in-collection: 2215052799 ; Time: 1773776455.493423
>>>Queue Stats: inserted=2215052799 items_in_queue=29452799 extracted=2185600000
Reached 2185700000 ; States-in-collection: 2215152799 ; Time: 1773776456.173917
>>>Queue Stats: inserted=2215152799 items_in_queue=29452799 extracted=2185700000
Reached 2185800000 ; States-in-collection: 2215252799 ; Time: 1773776456.677002
>>>Queue Stats: inserted=2215252799 items_in_queue=29452799 extracted=2185800000
Reached 2185900000 ; States-in-collection: 2215352799 ; Time: 1773776457.399616
>>>Queue Stats: inserted=2215352799 items_in_queue=29452799 extracted=2185900000
Reached 2186000000 ; States-in-collection: 2215454847 ; Time: 1773776458.203671
>>>Queue Stats: inserted=2215454847 items_in_queue=29454847 extracted=2186000000
Reached 2186100000 ; States-in-collection: 2215558943 ; Time: 1773776459.031315
>>>Queue Stats: inserted=2215558943 items_in_queue=29458943 extracted=2186100000
Reached 2186200000 ; States-in-collection: 2215660991 ; Time: 1773776459.719975
>>>Queue Stats: inserted=2215660991 items_in_queue=29460991 extracted=2186200000
Reached 2186300000 ; States-in-collection: 2215760991 ; Time: 1773776460.245338
>>>Queue Stats: inserted=2215760991 items_in_queue=29460991 extracted=2186300000
Reached 2186400000 ; States-in-collection: 2215860991 ; Time: 1773776460.758336
>>>Queue Stats: inserted=2215860991 items_in_queue=29460991 extracted=2186400000
Reached 2186500000 ; States-in-collection: 2216047848 ; Time: 1773776461.508927
>>>Queue Stats: inserted=2216047848 items_in_queue=29547848 extracted=2186500000
Reached 2186600000 ; States-in-collection: 2216144348 ; Time: 1773776462.698137
>>>Queue Stats: inserted=2216144348 items_in_queue=29544348 extracted=2186600000
Reached 2186700000 ; States-in-collection: 2216144348 ; Time: 1773776463.264307
>>>Queue Stats: inserted=2216144348 items_in_queue=29444348 extracted=2186700000
Reached 2186800000 ; States-in-collection: 2216144348 ; Time: 1773776463.864081
>>>Queue Stats: inserted=2216144348 items_in_queue=29344348 extracted=2186800000
Reached 2186900000 ; States-in-collection: 2216156413 ; Time: 1773776464.544671
>>>Queue Stats: inserted=2216156413 items_in_queue=29256413 extracted=2186900000
Reached 2187000000 ; States-in-collection: 2216160732 ; Time: 1773776465.176145
>>>Queue Stats: inserted=2216160732 items_in_queue=29160732 extracted=2187000000
Reached 2187100000 ; States-in-collection: 2216160732 ; Time: 1773776465.863527
>>>Queue Stats: inserted=2216160732 items_in_queue=29060732 extracted=2187100000
Reached 2187200000 ; States-in-collection: 2216163804 ; Time: 1773776466.523573
>>>Queue Stats: inserted=2216163804 items_in_queue=28963804 extracted=2187200000
Reached 2187300000 ; States-in-collection: 2216167900 ; Time: 1773776467.191612
>>>Queue Stats: inserted=2216167900 items_in_queue=28867900 extracted=2187300000
Reached 2187400000 ; States-in-collection: 2216171484 ; Time: 1773776467.836531
>>>Queue Stats: inserted=2216171484 items_in_queue=28771484 extracted=2187400000
Reached 2187500000 ; States-in-collection: 2216175068 ; Time: 1773776468.462417
>>>Queue Stats: inserted=2216175068 items_in_queue=28675068 extracted=2187500000
Reached 2187600000 ; States-in-collection: 2216175068 ; Time: 1773776469.128048
>>>Queue Stats: inserted=2216175068 items_in_queue=28575068 extracted=2187600000
Reached 2187700000 ; States-in-collection: 2216175068 ; Time: 1773776469.913045
>>>Queue Stats: inserted=2216175068 items_in_queue=28475068 extracted=2187700000
Reached 2187800000 ; States-in-collection: 2216175068 ; Time: 1773776470.606027
>>>Queue Stats: inserted=2216175068 items_in_queue=28375068 extracted=2187800000
Reached 2187900000 ; States-in-collection: 2216175068 ; Time: 1773776471.370934
>>>Queue Stats: inserted=2216175068 items_in_queue=28275068 extracted=2187900000
Reached 2188000000 ; States-in-collection: 2216175068 ; Time: 1773776472.168055
>>>Queue Stats: inserted=2216175068 items_in_queue=28175068 extracted=2188000000
Reached 2188100000 ; States-in-collection: 2216175068 ; Time: 1773776472.924433
>>>Queue Stats: inserted=2216175068 items_in_queue=28075068 extracted=2188100000
Reached 2188200000 ; States-in-collection: 2216175068 ; Time: 1773776473.614615
>>>Queue Stats: inserted=2216175068 items_in_queue=27975068 extracted=2188200000
Reached 2188300000 ; States-in-collection: 2216175068 ; Time: 1773776474.368456
>>>Queue Stats: inserted=2216175068 items_in_queue=27875068 extracted=2188300000
Reached 2188400000 ; States-in-collection: 2216175068 ; Time: 1773776475.158484
>>>Queue Stats: inserted=2216175068 items_in_queue=27775068 extracted=2188400000
Reached 2188500000 ; States-in-collection: 2216175068 ; Time: 1773776475.997978
>>>Queue Stats: inserted=2216175068 items_in_queue=27675068 extracted=2188500000
Reached 2188600000 ; States-in-collection: 2216175068 ; Time: 1773776476.847356
>>>Queue Stats: inserted=2216175068 items_in_queue=27575068 extracted=2188600000
Reached 2188700000 ; States-in-collection: 2216175068 ; Time: 1773776477.718484
>>>Queue Stats: inserted=2216175068 items_in_queue=27475068 extracted=2188700000
Reached 2188800000 ; States-in-collection: 2216175068 ; Time: 1773776478.612540
>>>Queue Stats: inserted=2216175068 items_in_queue=27375068 extracted=2188800000
Reached 2188900000 ; States-in-collection: 2216175068 ; Time: 1773776479.428895
>>>Queue Stats: inserted=2216175068 items_in_queue=27275068 extracted=2188900000
Reached 2189000000 ; States-in-collection: 2216193500 ; Time: 1773776480.272499
>>>Queue Stats: inserted=2216193500 items_in_queue=27193500 extracted=2189000000
Reached 2189100000 ; States-in-collection: 2216231903 ; Time: 1773776481.276237
>>>Queue Stats: inserted=2216231903 items_in_queue=27131903 extracted=2189100000
Reached 2189200000 ; States-in-collection: 2216270573 ; Time: 1773776482.316156
>>>Queue Stats: inserted=2216270573 items_in_queue=27070573 extracted=2189200000
Reached 2189300000 ; States-in-collection: 2216303881 ; Time: 1773776483.326496
>>>Queue Stats: inserted=2216303881 items_in_queue=27003881 extracted=2189300000
Reached 2189400000 ; States-in-collection: 2216339242 ; Time: 1773776484.255252
>>>Queue Stats: inserted=2216339242 items_in_queue=26939242 extracted=2189400000
Reached 2189500000 ; States-in-collection: 2216376540 ; Time: 1773776485.170142
>>>Queue Stats: inserted=2216376540 items_in_queue=26876540 extracted=2189500000
Reached 2189600000 ; States-in-collection: 2216404732 ; Time: 1773776486.049318
>>>Queue Stats: inserted=2216404732 items_in_queue=26804732 extracted=2189600000
Reached 2189700000 ; States-in-collection: 2216423004 ; Time: 1773776486.905541
>>>Queue Stats: inserted=2216423004 items_in_queue=26723004 extracted=2189700000
Reached 2189800000 ; States-in-collection: 2216432773 ; Time: 1773776487.730752
>>>Queue Stats: inserted=2216432773 items_in_queue=26632773 extracted=2189800000
Reached 2189900000 ; States-in-collection: 2216437212 ; Time: 1773776488.533272
>>>Queue Stats: inserted=2216437212 items_in_queue=26537212 extracted=2189900000
Reached 2190000000 ; States-in-collection: 2216437212 ; Time: 1773776489.216830
>>>Queue Stats: inserted=2216437212 items_in_queue=26437212 extracted=2190000000
Reached 2190100000 ; States-in-collection: 2216437212 ; Time: 1773776489.844880
>>>Queue Stats: inserted=2216437212 items_in_queue=26337212 extracted=2190100000
Reached 2190200000 ; States-in-collection: 2216527138 ; Time: 1773776490.309392
>>>Queue Stats: inserted=2216527138 items_in_queue=26327138 extracted=2190200000
Reached 2190300000 ; States-in-collection: 2216568284 ; Time: 1773776490.535086
>>>Queue Stats: inserted=2216568284 items_in_queue=26268284 extracted=2190300000
Reached 2190400000 ; States-in-collection: 2216576476 ; Time: 1773776490.688365
>>>Queue Stats: inserted=2216576476 items_in_queue=26176476 extracted=2190400000
Reached 2190500000 ; States-in-collection: 2216576476 ; Time: 1773776491.296254
>>>Queue Stats: inserted=2216576476 items_in_queue=26076476 extracted=2190500000
Reached 2190600000 ; States-in-collection: 2216576476 ; Time: 1773776491.947726
>>>Queue Stats: inserted=2216576476 items_in_queue=25976476 extracted=2190600000
Reached 2190700000 ; States-in-collection: 2216576476 ; Time: 1773776492.714864
>>>Queue Stats: inserted=2216576476 items_in_queue=25876476 extracted=2190700000
Reached 2190800000 ; States-in-collection: 2216576476 ; Time: 1773776493.405645
>>>Queue Stats: inserted=2216576476 items_in_queue=25776476 extracted=2190800000
Reached 2190900000 ; States-in-collection: 2216581084 ; Time: 1773776494.200512
>>>Queue Stats: inserted=2216581084 items_in_queue=25681084 extracted=2190900000
Reached 2191000000 ; States-in-collection: 2216596860 ; Time: 1773776495.121785
>>>Queue Stats: inserted=2216596860 items_in_queue=25596860 extracted=2191000000
Reached 2191100000 ; States-in-collection: 2216609244 ; Time: 1773776496.063797
>>>Queue Stats: inserted=2216609244 items_in_queue=25509244 extracted=2191100000
Reached 2191200000 ; States-in-collection: 2216609244 ; Time: 1773776496.766157
>>>Queue Stats: inserted=2216609244 items_in_queue=25409244 extracted=2191200000
Reached 2191300000 ; States-in-collection: 2216674780 ; Time: 1773776497.171516
>>>Queue Stats: inserted=2216674780 items_in_queue=25374780 extracted=2191300000
Reached 2191400000 ; States-in-collection: 2216674780 ; Time: 1773776497.829854
>>>Queue Stats: inserted=2216674780 items_in_queue=25274780 extracted=2191400000
Reached 2191500000 ; States-in-collection: 2216686686 ; Time: 1773776498.554037
>>>Queue Stats: inserted=2216686686 items_in_queue=25186686 extracted=2191500000
Reached 2191600000 ; States-in-collection: 2216691164 ; Time: 1773776499.241536
>>>Queue Stats: inserted=2216691164 items_in_queue=25091164 extracted=2191600000
Reached 2191700000 ; States-in-collection: 2216693917 ; Time: 1773776499.953166
>>>Queue Stats: inserted=2216693917 items_in_queue=24993917 extracted=2191700000
Reached 2191800000 ; States-in-collection: 2216699356 ; Time: 1773776500.674785
>>>Queue Stats: inserted=2216699356 items_in_queue=24899356 extracted=2191800000
Reached 2191900000 ; States-in-collection: 2216704476 ; Time: 1773776501.330462
>>>Queue Stats: inserted=2216704476 items_in_queue=24804476 extracted=2191900000
Reached 2192000000 ; States-in-collection: 2216707548 ; Time: 1773776502.005882
>>>Queue Stats: inserted=2216707548 items_in_queue=24707548 extracted=2192000000
Reached 2192100000 ; States-in-collection: 2216707548 ; Time: 1773776502.775215
>>>Queue Stats: inserted=2216707548 items_in_queue=24607548 extracted=2192100000
Reached 2192200000 ; States-in-collection: 2216707548 ; Time: 1773776503.583639
>>>Queue Stats: inserted=2216707548 items_in_queue=24507548 extracted=2192200000
Reached 2192300000 ; States-in-collection: 2216707548 ; Time: 1773776504.364077
>>>Queue Stats: inserted=2216707548 items_in_queue=24407548 extracted=2192300000
Reached 2192400000 ; States-in-collection: 2216707548 ; Time: 1773776505.163734
>>>Queue Stats: inserted=2216707548 items_in_queue=24307548 extracted=2192400000
Reached 2192500000 ; States-in-collection: 2216719748 ; Time: 1773776505.999241
>>>Queue Stats: inserted=2216719748 items_in_queue=24219748 extracted=2192500000
Reached 2192600000 ; States-in-collection: 2216769747 ; Time: 1773776507.069901
>>>Queue Stats: inserted=2216769747 items_in_queue=24169747 extracted=2192600000
Reached 2192700000 ; States-in-collection: 2216819676 ; Time: 1773776508.066735
>>>Queue Stats: inserted=2216819676 items_in_queue=24119676 extracted=2192700000
Reached 2192800000 ; States-in-collection: 2216862044 ; Time: 1773776509.002416
>>>Queue Stats: inserted=2216862044 items_in_queue=24062044 extracted=2192800000
Reached 2192900000 ; States-in-collection: 2216871388 ; Time: 1773776509.830291
>>>Queue Stats: inserted=2216871388 items_in_queue=23971388 extracted=2192900000
Reached 2193000000 ; States-in-collection: 2216871388 ; Time: 1773776510.539763
>>>Queue Stats: inserted=2216871388 items_in_queue=23871388 extracted=2193000000
Reached 2193100000 ; States-in-collection: 2216871388 ; Time: 1773776511.194853
>>>Queue Stats: inserted=2216871388 items_in_queue=23771388 extracted=2193100000
Reached 2193200000 ; States-in-collection: 2216916193 ; Time: 1773776511.754942
>>>Queue Stats: inserted=2216916193 items_in_queue=23716193 extracted=2193200000
Reached 2193300000 ; States-in-collection: 2217004321 ; Time: 1773776512.580402
>>>Queue Stats: inserted=2217004321 items_in_queue=23704321 extracted=2193300000
Reached 2193400000 ; States-in-collection: 2217105600 ; Time: 1773776513.369525
>>>Queue Stats: inserted=2217105600 items_in_queue=23705600 extracted=2193400000
Reached 2193500000 ; States-in-collection: 2217217503 ; Time: 1773776514.118511
>>>Queue Stats: inserted=2217217503 items_in_queue=23717503 extracted=2193500000
Reached 2193600000 ; States-in-collection: 2217298047 ; Time: 1773776515.114497
>>>Queue Stats: inserted=2217298047 items_in_queue=23698047 extracted=2193600000
Reached 2193700000 ; States-in-collection: 2217375921 ; Time: 1773776516.117162
>>>Queue Stats: inserted=2217375921 items_in_queue=23675921 extracted=2193700000
Reached 2193800000 ; States-in-collection: 2217468590 ; Time: 1773776517.043205
>>>Queue Stats: inserted=2217468590 items_in_queue=23668590 extracted=2193800000
Reached 2193900000 ; States-in-collection: 2217542311 ; Time: 1773776517.893963
>>>Queue Stats: inserted=2217542311 items_in_queue=23642311 extracted=2193900000
Reached 2194000000 ; States-in-collection: 2217578697 ; Time: 1773776518.692256
>>>Queue Stats: inserted=2217578697 items_in_queue=23578697 extracted=2194000000
Reached 2194100000 ; States-in-collection: 2217623170 ; Time: 1773776519.475611
>>>Queue Stats: inserted=2217623170 items_in_queue=23523170 extracted=2194100000
Reached 2194200000 ; States-in-collection: 2217669930 ; Time: 1773776520.272897
>>>Queue Stats: inserted=2217669930 items_in_queue=23469930 extracted=2194200000
Reached 2194300000 ; States-in-collection: 2217711924 ; Time: 1773776521.077433
>>>Queue Stats: inserted=2217711924 items_in_queue=23411924 extracted=2194300000
Reached 2194400000 ; States-in-collection: 2217813084 ; Time: 1773776521.991730
>>>Queue Stats: inserted=2217813084 items_in_queue=23413084 extracted=2194400000
Reached 2194500000 ; States-in-collection: 2217945055 ; Time: 1773776523.065407
>>>Queue Stats: inserted=2217945055 items_in_queue=23445055 extracted=2194500000
Reached 2194600000 ; States-in-collection: 2218018574 ; Time: 1773776524.245415
>>>Queue Stats: inserted=2218018574 items_in_queue=23418574 extracted=2194600000
Reached 2194700000 ; States-in-collection: 2218089053 ; Time: 1773776525.138126
>>>Queue Stats: inserted=2218089053 items_in_queue=23389053 extracted=2194700000
Reached 2194800000 ; States-in-collection: 2218269986 ; Time: 1773776526.007820
>>>Queue Stats: inserted=2218269986 items_in_queue=23469986 extracted=2194800000
Reached 2194900000 ; States-in-collection: 2218394655 ; Time: 1773776527.052519
>>>Queue Stats: inserted=2218394655 items_in_queue=23494655 extracted=2194900000
Reached 2195000000 ; States-in-collection: 2218512670 ; Time: 1773776527.850268
>>>Queue Stats: inserted=2218512670 items_in_queue=23512670 extracted=2195000000
Reached 2195100000 ; States-in-collection: 2218566283 ; Time: 1773776528.698520
>>>Queue Stats: inserted=2218566283 items_in_queue=23466283 extracted=2195100000
Reached 2195200000 ; States-in-collection: 2218727423 ; Time: 1773776529.360527
>>>Queue Stats: inserted=2218727423 items_in_queue=23527423 extracted=2195200000
Reached 2195300000 ; States-in-collection: 2218827423 ; Time: 1773776529.814123
>>>Queue Stats: inserted=2218827423 items_in_queue=23527423 extracted=2195300000
Reached 2195400000 ; States-in-collection: 2218923327 ; Time: 1773776530.407111
>>>Queue Stats: inserted=2218923327 items_in_queue=23523327 extracted=2195400000
Reached 2195500000 ; States-in-collection: 2219023327 ; Time: 1773776530.884346
>>>Queue Stats: inserted=2219023327 items_in_queue=23523327 extracted=2195500000
Reached 2195600000 ; States-in-collection: 2219109718 ; Time: 1773776531.484122
>>>Queue Stats: inserted=2219109718 items_in_queue=23509718 extracted=2195600000
Reached 2195700000 ; States-in-collection: 2219211039 ; Time: 1773776532.103434
>>>Queue Stats: inserted=2219211039 items_in_queue=23511039 extracted=2195700000
Reached 2195800000 ; States-in-collection: 2219311039 ; Time: 1773776532.688953
>>>Queue Stats: inserted=2219311039 items_in_queue=23511039 extracted=2195800000
Reached 2195900000 ; States-in-collection: 2219391882 ; Time: 1773776533.344910
>>>Queue Stats: inserted=2219391882 items_in_queue=23491882 extracted=2195900000
Reached 2196000000 ; States-in-collection: 2219486463 ; Time: 1773776534.034254
>>>Queue Stats: inserted=2219486463 items_in_queue=23486463 extracted=2196000000
Reached 2196100000 ; States-in-collection: 2219571128 ; Time: 1773776534.852053
>>>Queue Stats: inserted=2219571128 items_in_queue=23471128 extracted=2196100000
Reached 2196200000 ; States-in-collection: 2219711039 ; Time: 1773776535.564250
>>>Queue Stats: inserted=2219711039 items_in_queue=23511039 extracted=2196200000
Reached 2196300000 ; States-in-collection: 2219873250 ; Time: 1773776536.358272
>>>Queue Stats: inserted=2219873250 items_in_queue=23573250 extracted=2196300000
Reached 2196400000 ; States-in-collection: 2220002175 ; Time: 1773776537.017929
>>>Queue Stats: inserted=2220002175 items_in_queue=23602175 extracted=2196400000
Reached 2196500000 ; States-in-collection: 2220098079 ; Time: 1773776537.527193
>>>Queue Stats: inserted=2220098079 items_in_queue=23598079 extracted=2196500000
Reached 2196600000 ; States-in-collection: 2220189887 ; Time: 1773776538.086039
>>>Queue Stats: inserted=2220189887 items_in_queue=23589887 extracted=2196600000
Reached 2196700000 ; States-in-collection: 2220289887 ; Time: 1773776538.556912
>>>Queue Stats: inserted=2220289887 items_in_queue=23589887 extracted=2196700000
Reached 2196800000 ; States-in-collection: 2220361215 ; Time: 1773776539.237737
>>>Queue Stats: inserted=2220361215 items_in_queue=23561215 extracted=2196800000
Reached 2196900000 ; States-in-collection: 2220453023 ; Time: 1773776539.801520
>>>Queue Stats: inserted=2220453023 items_in_queue=23553023 extracted=2196900000
Reached 2197000000 ; States-in-collection: 2220549389 ; Time: 1773776540.416325
>>>Queue Stats: inserted=2220549389 items_in_queue=23549389 extracted=2197000000
Reached 2197100000 ; States-in-collection: 2220616159 ; Time: 1773776541.066075
>>>Queue Stats: inserted=2220616159 items_in_queue=23516159 extracted=2197100000
Reached 2197200000 ; States-in-collection: 2220703871 ; Time: 1773776541.808063
>>>Queue Stats: inserted=2220703871 items_in_queue=23503871 extracted=2197200000
Reached 2197300000 ; States-in-collection: 2220806476 ; Time: 1773776542.630537
>>>Queue Stats: inserted=2220806476 items_in_queue=23506476 extracted=2197300000
Reached 2197400000 ; States-in-collection: 2220924863 ; Time: 1773776543.392874
>>>Queue Stats: inserted=2220924863 items_in_queue=23524863 extracted=2197400000
Reached 2197500000 ; States-in-collection: 2220981306 ; Time: 1773776544.131775
>>>Queue Stats: inserted=2220981306 items_in_queue=23481306 extracted=2197500000
Reached 2197600000 ; States-in-collection: 2221085730 ; Time: 1773776544.648993
>>>Queue Stats: inserted=2221085730 items_in_queue=23485730 extracted=2197600000
Reached 2197700000 ; States-in-collection: 2221269407 ; Time: 1773776545.495173
>>>Queue Stats: inserted=2221269407 items_in_queue=23569407 extracted=2197700000
Reached 2197800000 ; States-in-collection: 2221343601 ; Time: 1773776546.470161
>>>Queue Stats: inserted=2221343601 items_in_queue=23543601 extracted=2197800000
Reached 2197900000 ; States-in-collection: 2221457119 ; Time: 1773776547.318605
>>>Queue Stats: inserted=2221457119 items_in_queue=23557119 extracted=2197900000
Reached 2198000000 ; States-in-collection: 2221531351 ; Time: 1773776548.113208
>>>Queue Stats: inserted=2221531351 items_in_queue=23531351 extracted=2198000000
Reached 2198100000 ; States-in-collection: 2221624486 ; Time: 1773776548.884652
>>>Queue Stats: inserted=2221624486 items_in_queue=23524486 extracted=2198100000
Reached 2198200000 ; States-in-collection: 2221713298 ; Time: 1773776549.507897
>>>Queue Stats: inserted=2221713298 items_in_queue=23513298 extracted=2198200000
Reached 2198300000 ; States-in-collection: 2221785341 ; Time: 1773776550.114238
>>>Queue Stats: inserted=2221785341 items_in_queue=23485341 extracted=2198300000
Reached 2198400000 ; States-in-collection: 2221871103 ; Time: 1773776550.727032
>>>Queue Stats: inserted=2221871103 items_in_queue=23471103 extracted=2198400000
Reached 2198500000 ; States-in-collection: 2221971103 ; Time: 1773776551.312014
>>>Queue Stats: inserted=2221971103 items_in_queue=23471103 extracted=2198500000
Reached 2198600000 ; States-in-collection: 2222054719 ; Time: 1773776551.870274
>>>Queue Stats: inserted=2222054719 items_in_queue=23454719 extracted=2198600000
Reached 2198700000 ; States-in-collection: 2222154776 ; Time: 1773776552.639608
>>>Queue Stats: inserted=2222154776 items_in_queue=23454776 extracted=2198700000
Reached 2198800000 ; States-in-collection: 2222262911 ; Time: 1773776553.413447
>>>Queue Stats: inserted=2222262911 items_in_queue=23462911 extracted=2198800000
Reached 2198900000 ; States-in-collection: 2222356786 ; Time: 1773776554.145899
>>>Queue Stats: inserted=2222356786 items_in_queue=23456786 extracted=2198900000
Reached 2199000000 ; States-in-collection: 2222438335 ; Time: 1773776554.851177
>>>Queue Stats: inserted=2222438335 items_in_queue=23438335 extracted=2199000000
Reached 2199100000 ; States-in-collection: 2222940267 ; Time: 1773776556.704107
>>>Queue Stats: inserted=2222940267 items_in_queue=23840267 extracted=2199100000
Reached 2199200000 ; States-in-collection: 2223459945 ; Time: 1773776558.405725
>>>Queue Stats: inserted=2223459945 items_in_queue=24259945 extracted=2199200000
Reached 2199300000 ; States-in-collection: 2223732147 ; Time: 1773776559.597147
>>>Queue Stats: inserted=2223732147 items_in_queue=24432147 extracted=2199300000
Reached 2199400000 ; States-in-collection: 2223800796 ; Time: 1773776560.528806
>>>Queue Stats: inserted=2223800796 items_in_queue=24400796 extracted=2199400000
Reached 2199500000 ; States-in-collection: 2224234478 ; Time: 1773776561.895275
>>>Queue Stats: inserted=2224234478 items_in_queue=24734478 extracted=2199500000
Reached 2199600000 ; States-in-collection: 2224683903 ; Time: 1773776563.434201
>>>Queue Stats: inserted=2224683903 items_in_queue=25083903 extracted=2199600000
Reached 2199700000 ; States-in-collection: 2225108222 ; Time: 1773776564.911805
>>>Queue Stats: inserted=2225108222 items_in_queue=25408222 extracted=2199700000
Reached 2199800000 ; States-in-collection: 2225309887 ; Time: 1773776566.067045
>>>Queue Stats: inserted=2225309887 items_in_queue=25509887 extracted=2199800000
Reached 2199900000 ; States-in-collection: 2225400285 ; Time: 1773776566.795475
>>>Queue Stats: inserted=2225400285 items_in_queue=25500285 extracted=2199900000
Reached 2200000000 ; States-in-collection: 2225486327 ; Time: 1773776567.512536
>>>Queue Stats: inserted=2225486327 items_in_queue=25486327 extracted=2200000000
Reached 2200100000 ; States-in-collection: 2225577119 ; Time: 1773776568.256984
>>>Queue Stats: inserted=2225577119 items_in_queue=25477119 extracted=2200100000
Reached 2200200000 ; States-in-collection: 2225674591 ; Time: 1773776569.001691
>>>Queue Stats: inserted=2225674591 items_in_queue=25474591 extracted=2200200000
Reached 2200300000 ; States-in-collection: 2225752338 ; Time: 1773776569.736363
>>>Queue Stats: inserted=2225752338 items_in_queue=25452338 extracted=2200300000
Reached 2200400000 ; States-in-collection: 2225824146 ; Time: 1773776570.271691
>>>Queue Stats: inserted=2225824146 items_in_queue=25424146 extracted=2200400000
Reached 2200500000 ; States-in-collection: 2225892990 ; Time: 1773776570.777051
>>>Queue Stats: inserted=2225892990 items_in_queue=25392990 extracted=2200500000
Reached 2200600000 ; States-in-collection: 2225971650 ; Time: 1773776571.212933
>>>Queue Stats: inserted=2225971650 items_in_queue=25371650 extracted=2200600000
Reached 2200700000 ; States-in-collection: 2226089579 ; Time: 1773776571.733174
>>>Queue Stats: inserted=2226089579 items_in_queue=25389579 extracted=2200700000
Reached 2200800000 ; States-in-collection: 2226332846 ; Time: 1773776572.635453
>>>Queue Stats: inserted=2226332846 items_in_queue=25532846 extracted=2200800000
Reached 2200900000 ; States-in-collection: 2226607277 ; Time: 1773776573.652126
>>>Queue Stats: inserted=2226607277 items_in_queue=25707277 extracted=2200900000
Reached 2201000000 ; States-in-collection: 2226748617 ; Time: 1773776574.297149
>>>Queue Stats: inserted=2226748617 items_in_queue=25748617 extracted=2201000000
Reached 2201100000 ; States-in-collection: 2226829688 ; Time: 1773776574.801084
>>>Queue Stats: inserted=2226829688 items_in_queue=25729688 extracted=2201100000
Reached 2201200000 ; States-in-collection: 2226911525 ; Time: 1773776575.306940
>>>Queue Stats: inserted=2226911525 items_in_queue=25711525 extracted=2201200000
Reached 2201300000 ; States-in-collection: 2226994207 ; Time: 1773776575.813300
>>>Queue Stats: inserted=2226994207 items_in_queue=25694207 extracted=2201300000
Reached 2201400000 ; States-in-collection: 2227077880 ; Time: 1773776576.320379
>>>Queue Stats: inserted=2227077880 items_in_queue=25677880 extracted=2201400000
Reached 2201500000 ; States-in-collection: 2227149151 ; Time: 1773776576.831405
>>>Queue Stats: inserted=2227149151 items_in_queue=25649151 extracted=2201500000
Reached 2201600000 ; States-in-collection: 2227232767 ; Time: 1773776577.411500
>>>Queue Stats: inserted=2227232767 items_in_queue=25632767 extracted=2201600000
Reached 2201700000 ; States-in-collection: 2227332768 ; Time: 1773776578.002798
>>>Queue Stats: inserted=2227332768 items_in_queue=25632768 extracted=2201700000
Reached 2201800000 ; States-in-collection: 2227427580 ; Time: 1773776578.547455
>>>Queue Stats: inserted=2227427580 items_in_queue=25627580 extracted=2201800000
Reached 2201900000 ; States-in-collection: 2227515201 ; Time: 1773776578.997158
>>>Queue Stats: inserted=2227515201 items_in_queue=25615201 extracted=2201900000
Reached 2202000000 ; States-in-collection: 2227604311 ; Time: 1773776579.606098
>>>Queue Stats: inserted=2227604311 items_in_queue=25604311 extracted=2202000000
Reached 2202100000 ; States-in-collection: 2227699999 ; Time: 1773776580.396311
>>>Queue Stats: inserted=2227699999 items_in_queue=25599999 extracted=2202100000
Reached 2202200000 ; States-in-collection: 2227839720 ; Time: 1773776581.235172
>>>Queue Stats: inserted=2227839720 items_in_queue=25639720 extracted=2202200000
Reached 2202300000 ; States-in-collection: 2228044607 ; Time: 1773776582.228169
>>>Queue Stats: inserted=2228044607 items_in_queue=25744607 extracted=2202300000
Reached 2202400000 ; States-in-collection: 2228155831 ; Time: 1773776582.930389
>>>Queue Stats: inserted=2228155831 items_in_queue=25755831 extracted=2202400000
Reached 2202500000 ; States-in-collection: 2228340150 ; Time: 1773776583.939199
>>>Queue Stats: inserted=2228340150 items_in_queue=25840150 extracted=2202500000
Reached 2202600000 ; States-in-collection: 2228445759 ; Time: 1773776584.661251
>>>Queue Stats: inserted=2228445759 items_in_queue=25845759 extracted=2202600000
Reached 2202700000 ; States-in-collection: 2228590673 ; Time: 1773776585.448454
>>>Queue Stats: inserted=2228590673 items_in_queue=25890673 extracted=2202700000
Reached 2202800000 ; States-in-collection: 2228731775 ; Time: 1773776586.237363
>>>Queue Stats: inserted=2228731775 items_in_queue=25931775 extracted=2202800000
Reached 2202900000 ; States-in-collection: 2228867296 ; Time: 1773776587.023488
>>>Queue Stats: inserted=2228867296 items_in_queue=25967296 extracted=2202900000
Reached 2203000000 ; States-in-collection: 2229112103 ; Time: 1773776588.051362
>>>Queue Stats: inserted=2229112103 items_in_queue=26112103 extracted=2203000000
Reached 2203100000 ; States-in-collection: 2229462560 ; Time: 1773776589.346314
>>>Queue Stats: inserted=2229462560 items_in_queue=26362560 extracted=2203100000
Reached 2203200000 ; States-in-collection: 2229768056 ; Time: 1773776590.512732
>>>Queue Stats: inserted=2229768056 items_in_queue=26568056 extracted=2203200000
Reached 2203300000 ; States-in-collection: 2229923057 ; Time: 1773776591.125532
>>>Queue Stats: inserted=2229923057 items_in_queue=26623057 extracted=2203300000
Reached 2203400000 ; States-in-collection: 2230072694 ; Time: 1773776591.731979
>>>Queue Stats: inserted=2230072694 items_in_queue=26672694 extracted=2203400000
Reached 2203500000 ; States-in-collection: 2230217694 ; Time: 1773776592.345065
>>>Queue Stats: inserted=2230217694 items_in_queue=26717694 extracted=2203500000
Reached 2203600000 ; States-in-collection: 2230358207 ; Time: 1773776592.954364
>>>Queue Stats: inserted=2230358207 items_in_queue=26758207 extracted=2203600000
Reached 2203700000 ; States-in-collection: 2230495614 ; Time: 1773776593.564133
>>>Queue Stats: inserted=2230495614 items_in_queue=26795614 extracted=2203700000
Reached 2203800000 ; States-in-collection: 2230625614 ; Time: 1773776594.179533
>>>Queue Stats: inserted=2230625614 items_in_queue=26825614 extracted=2203800000
Reached 2203900000 ; States-in-collection: 2230774304 ; Time: 1773776594.897615
>>>Queue Stats: inserted=2230774304 items_in_queue=26874304 extracted=2203900000
Reached 2204000000 ; States-in-collection: 2230910191 ; Time: 1773776595.683201
>>>Queue Stats: inserted=2230910191 items_in_queue=26910191 extracted=2204000000
Reached 2204100000 ; States-in-collection: 2231037342 ; Time: 1773776596.467925
>>>Queue Stats: inserted=2231037342 items_in_queue=26937342 extracted=2204100000
Reached 2204200000 ; States-in-collection: 2231204768 ; Time: 1773776597.416231
>>>Queue Stats: inserted=2231204768 items_in_queue=27004768 extracted=2204200000
Reached 2204300000 ; States-in-collection: 2231464419 ; Time: 1773776598.651344
>>>Queue Stats: inserted=2231464419 items_in_queue=27164419 extracted=2204300000
Reached 2204400000 ; States-in-collection: 2231626800 ; Time: 1773776599.503601
>>>Queue Stats: inserted=2231626800 items_in_queue=27226800 extracted=2204400000
Reached 2204500000 ; States-in-collection: 2231751066 ; Time: 1773776600.197986
>>>Queue Stats: inserted=2231751066 items_in_queue=27251066 extracted=2204500000
Reached 2204600000 ; States-in-collection: 2231878500 ; Time: 1773776600.887010
>>>Queue Stats: inserted=2231878500 items_in_queue=27278500 extracted=2204600000
Reached 2204700000 ; States-in-collection: 2232142228 ; Time: 1773776601.960242
>>>Queue Stats: inserted=2232142228 items_in_queue=27442228 extracted=2204700000
Reached 2204800000 ; States-in-collection: 2232491942 ; Time: 1773776603.290747
>>>Queue Stats: inserted=2232491942 items_in_queue=27691942 extracted=2204800000
Reached 2204900000 ; States-in-collection: 2232686034 ; Time: 1773776604.081225
>>>Queue Stats: inserted=2232686034 items_in_queue=27786034 extracted=2204900000
Reached 2205000000 ; States-in-collection: 2232795456 ; Time: 1773776604.560902
>>>Queue Stats: inserted=2232795456 items_in_queue=27795456 extracted=2205000000
Reached 2205100000 ; States-in-collection: 2232895455 ; Time: 1773776605.035610
>>>Queue Stats: inserted=2232895455 items_in_queue=27795455 extracted=2205100000
Reached 2205200000 ; States-in-collection: 2232987927 ; Time: 1773776605.510589
>>>Queue Stats: inserted=2232987927 items_in_queue=27787927 extracted=2205200000
Reached 2205300000 ; States-in-collection: 2233074561 ; Time: 1773776605.983066
>>>Queue Stats: inserted=2233074561 items_in_queue=27774561 extracted=2205300000
Reached 2205400000 ; States-in-collection: 2233152339 ; Time: 1773776606.454251
>>>Queue Stats: inserted=2233152339 items_in_queue=27752339 extracted=2205400000
instance_run_solver_thread end
Finished running threads for curr_depth=53
Start mark-and-sweep cleanup for curr_depth=53
Mark+Sweep Progress - 10000000/41753088
Mark+Sweep Progress - 20000000/41753088
Mark+Sweep Progress - 30000000/41753088
Mark+Sweep Progress - 40000000/41753088
Finish mark-and-sweep cleanup for curr_depth=53
Running threads for curr_depth=54
instance_run_solver_thread start
Reached 2205500000 ; States-in-collection: 2233218078 ; Time: 1773776609.642969
>>>Queue Stats: inserted=2233218078 items_in_queue=27718078 extracted=2205500000
Reached 2205600000 ; States-in-collection: 2233222620 ; Time: 1773776610.535360
>>>Queue Stats: inserted=2233222620 items_in_queue=27622620 extracted=2205600000
Reached 2205700000 ; States-in-collection: 2233222620 ; Time: 1773776611.552165
>>>Queue Stats: inserted=2233222620 items_in_queue=27522620 extracted=2205700000
Reached 2205800000 ; States-in-collection: 2233222620 ; Time: 1773776612.447794
>>>Queue Stats: inserted=2233222620 items_in_queue=27422620 extracted=2205800000
Reached 2205900000 ; States-in-collection: 2233222620 ; Time: 1773776613.511821
>>>Queue Stats: inserted=2233222620 items_in_queue=27322620 extracted=2205900000
Reached 2206000000 ; States-in-collection: 2233222620 ; Time: 1773776614.596224
>>>Queue Stats: inserted=2233222620 items_in_queue=27222620 extracted=2206000000
Reached 2206100000 ; States-in-collection: 2233222620 ; Time: 1773776615.764204
>>>Queue Stats: inserted=2233222620 items_in_queue=27122620 extracted=2206100000
Reached 2206200000 ; States-in-collection: 2233222620 ; Time: 1773776616.884126
>>>Queue Stats: inserted=2233222620 items_in_queue=27022620 extracted=2206200000
Reached 2206300000 ; States-in-collection: 2233280969 ; Time: 1773776617.953713
>>>Queue Stats: inserted=2233280969 items_in_queue=26980969 extracted=2206300000
Reached 2206400000 ; States-in-collection: 2233344494 ; Time: 1773776619.059782
>>>Queue Stats: inserted=2233344494 items_in_queue=26944494 extracted=2206400000
Reached 2206500000 ; States-in-collection: 2233396444 ; Time: 1773776620.268865
>>>Queue Stats: inserted=2233396444 items_in_queue=26896444 extracted=2206500000
Reached 2206600000 ; States-in-collection: 2233473855 ; Time: 1773776621.486139
>>>Queue Stats: inserted=2233473855 items_in_queue=26873855 extracted=2206600000
Reached 2206700000 ; States-in-collection: 2233517022 ; Time: 1773776622.697736
>>>Queue Stats: inserted=2233517022 items_in_queue=26817022 extracted=2206700000
Reached 2206800000 ; States-in-collection: 2233529820 ; Time: 1773776623.923156
>>>Queue Stats: inserted=2233529820 items_in_queue=26729820 extracted=2206800000
Reached 2206900000 ; States-in-collection: 2233561726 ; Time: 1773776625.210006
>>>Queue Stats: inserted=2233561726 items_in_queue=26661726 extracted=2206900000
Reached 2207000000 ; States-in-collection: 2233564636 ; Time: 1773776626.386929
>>>Queue Stats: inserted=2233564636 items_in_queue=26564636 extracted=2207000000
Reached 2207100000 ; States-in-collection: 2233581663 ; Time: 1773776627.593641
>>>Queue Stats: inserted=2233581663 items_in_queue=26481663 extracted=2207100000
Reached 2207200000 ; States-in-collection: 2233603548 ; Time: 1773776628.837930
>>>Queue Stats: inserted=2233603548 items_in_queue=26403548 extracted=2207200000
Reached 2207300000 ; States-in-collection: 2233628124 ; Time: 1773776630.169808
>>>Queue Stats: inserted=2233628124 items_in_queue=26328124 extracted=2207300000
Reached 2207400000 ; States-in-collection: 2233654870 ; Time: 1773776631.536168
>>>Queue Stats: inserted=2233654870 items_in_queue=26254870 extracted=2207400000
Reached 2207500000 ; States-in-collection: 2233674204 ; Time: 1773776632.792850
>>>Queue Stats: inserted=2233674204 items_in_queue=26174204 extracted=2207500000
Reached 2207600000 ; States-in-collection: 2233722286 ; Time: 1773776634.094464
>>>Queue Stats: inserted=2233722286 items_in_queue=26122286 extracted=2207600000
Reached 2207700000 ; States-in-collection: 2233742812 ; Time: 1773776635.387835
>>>Queue Stats: inserted=2233742812 items_in_queue=26042812 extracted=2207700000
Reached 2207800000 ; States-in-collection: 2233753208 ; Time: 1773776636.629005
>>>Queue Stats: inserted=2233753208 items_in_queue=25953208 extracted=2207800000
Reached 2207900000 ; States-in-collection: 2233778527 ; Time: 1773776637.944336
>>>Queue Stats: inserted=2233778527 items_in_queue=25878527 extracted=2207900000
Reached 2208000000 ; States-in-collection: 2233792988 ; Time: 1773776638.870234
>>>Queue Stats: inserted=2233792988 items_in_queue=25792988 extracted=2208000000
Reached 2208100000 ; States-in-collection: 2233792988 ; Time: 1773776639.840257
>>>Queue Stats: inserted=2233792988 items_in_queue=25692988 extracted=2208100000
Reached 2208200000 ; States-in-collection: 2233792988 ; Time: 1773776640.835124
>>>Queue Stats: inserted=2233792988 items_in_queue=25592988 extracted=2208200000
Reached 2208300000 ; States-in-collection: 2233792988 ; Time: 1773776641.888722
>>>Queue Stats: inserted=2233792988 items_in_queue=25492988 extracted=2208300000
Reached 2208400000 ; States-in-collection: 2233792988 ; Time: 1773776643.065252
>>>Queue Stats: inserted=2233792988 items_in_queue=25392988 extracted=2208400000
Reached 2208500000 ; States-in-collection: 2233805087 ; Time: 1773776644.229455
>>>Queue Stats: inserted=2233805087 items_in_queue=25305087 extracted=2208500000
Reached 2208600000 ; States-in-collection: 2233855807 ; Time: 1773776645.283234
>>>Queue Stats: inserted=2233855807 items_in_queue=25255807 extracted=2208600000
Reached 2208700000 ; States-in-collection: 2233925084 ; Time: 1773776646.446991
>>>Queue Stats: inserted=2233925084 items_in_queue=25225084 extracted=2208700000
Reached 2208800000 ; States-in-collection: 2233989375 ; Time: 1773776647.705684
>>>Queue Stats: inserted=2233989375 items_in_queue=25189375 extracted=2208800000
Reached 2208900000 ; States-in-collection: 2234063775 ; Time: 1773776648.962074
>>>Queue Stats: inserted=2234063775 items_in_queue=25163775 extracted=2208900000
Reached 2209000000 ; States-in-collection: 2234106621 ; Time: 1773776650.261568
>>>Queue Stats: inserted=2234106621 items_in_queue=25106621 extracted=2209000000
Reached 2209100000 ; States-in-collection: 2234116319 ; Time: 1773776651.538090
>>>Queue Stats: inserted=2234116319 items_in_queue=25016319 extracted=2209100000
Reached 2209200000 ; States-in-collection: 2234144220 ; Time: 1773776652.802847
>>>Queue Stats: inserted=2234144220 items_in_queue=24944220 extracted=2209200000
Reached 2209300000 ; States-in-collection: 2234149340 ; Time: 1773776653.973728
>>>Queue Stats: inserted=2234149340 items_in_queue=24849340 extracted=2209300000
Reached 2209400000 ; States-in-collection: 2234152412 ; Time: 1773776655.165882
>>>Queue Stats: inserted=2234152412 items_in_queue=24752412 extracted=2209400000
Reached 2209500000 ; States-in-collection: 2234190910 ; Time: 1773776656.454824
>>>Queue Stats: inserted=2234190910 items_in_queue=24690910 extracted=2209500000
Reached 2209600000 ; States-in-collection: 2234236764 ; Time: 1773776657.829832
>>>Queue Stats: inserted=2234236764 items_in_queue=24636764 extracted=2209600000
Reached 2209700000 ; States-in-collection: 2234291302 ; Time: 1773776659.252056
>>>Queue Stats: inserted=2234291302 items_in_queue=24591302 extracted=2209700000
Reached 2209800000 ; States-in-collection: 2234354226 ; Time: 1773776660.682643
>>>Queue Stats: inserted=2234354226 items_in_queue=24554226 extracted=2209800000
Reached 2209900000 ; States-in-collection: 2234382019 ; Time: 1773776662.026941
>>>Queue Stats: inserted=2234382019 items_in_queue=24482019 extracted=2209900000
Reached 2210000000 ; States-in-collection: 2234434837 ; Time: 1773776663.361827
>>>Queue Stats: inserted=2234434837 items_in_queue=24434837 extracted=2210000000
Reached 2210100000 ; States-in-collection: 2234443228 ; Time: 1773776663.964384
>>>Queue Stats: inserted=2234443228 items_in_queue=24343228 extracted=2210100000
Reached 2210200000 ; States-in-collection: 2234443228 ; Time: 1773776664.419344
>>>Queue Stats: inserted=2234443228 items_in_queue=24243228 extracted=2210200000
Reached 2210300000 ; States-in-collection: 2234443228 ; Time: 1773776664.842722
>>>Queue Stats: inserted=2234443228 items_in_queue=24143228 extracted=2210300000
Reached 2210400000 ; States-in-collection: 2234443228 ; Time: 1773776665.316752
>>>Queue Stats: inserted=2234443228 items_in_queue=24043228 extracted=2210400000
Reached 2210500000 ; States-in-collection: 2234451400 ; Time: 1773776665.759072
>>>Queue Stats: inserted=2234451400 items_in_queue=23951400 extracted=2210500000
Reached 2210600000 ; States-in-collection: 2234455516 ; Time: 1773776666.247927
>>>Queue Stats: inserted=2234455516 items_in_queue=23855516 extracted=2210600000
Reached 2210700000 ; States-in-collection: 2234472637 ; Time: 1773776666.799108
>>>Queue Stats: inserted=2234472637 items_in_queue=23772637 extracted=2210700000
Reached 2210800000 ; States-in-collection: 2234492380 ; Time: 1773776667.346908
>>>Queue Stats: inserted=2234492380 items_in_queue=23692380 extracted=2210800000
Reached 2210900000 ; States-in-collection: 2234492380 ; Time: 1773776667.828749
>>>Queue Stats: inserted=2234492380 items_in_queue=23592380 extracted=2210900000
Reached 2211000000 ; States-in-collection: 2234492380 ; Time: 1773776668.308522
>>>Queue Stats: inserted=2234492380 items_in_queue=23492380 extracted=2211000000
Reached 2211100000 ; States-in-collection: 2234500572 ; Time: 1773776668.755592
>>>Queue Stats: inserted=2234500572 items_in_queue=23400572 extracted=2211100000
Reached 2211200000 ; States-in-collection: 2234501039 ; Time: 1773776669.265237
>>>Queue Stats: inserted=2234501039 items_in_queue=23301039 extracted=2211200000
Reached 2211300000 ; States-in-collection: 2234515817 ; Time: 1773776669.859842
>>>Queue Stats: inserted=2234515817 items_in_queue=23215817 extracted=2211300000
Reached 2211400000 ; States-in-collection: 2234524124 ; Time: 1773776670.374555
>>>Queue Stats: inserted=2234524124 items_in_queue=23124124 extracted=2211400000
Reached 2211500000 ; States-in-collection: 2234531116 ; Time: 1773776670.874367
>>>Queue Stats: inserted=2234531116 items_in_queue=23031116 extracted=2211500000
Reached 2211600000 ; States-in-collection: 2234538460 ; Time: 1773776671.322433
>>>Queue Stats: inserted=2234538460 items_in_queue=22938460 extracted=2211600000
Reached 2211700000 ; States-in-collection: 2234546204 ; Time: 1773776671.826126
>>>Queue Stats: inserted=2234546204 items_in_queue=22846204 extracted=2211700000
Reached 2211800000 ; States-in-collection: 2234553820 ; Time: 1773776672.260702
>>>Queue Stats: inserted=2234553820 items_in_queue=22753820 extracted=2211800000
Reached 2211900000 ; States-in-collection: 2234557916 ; Time: 1773776672.742190
>>>Queue Stats: inserted=2234557916 items_in_queue=22657916 extracted=2211900000
Reached 2212000000 ; States-in-collection: 2234562012 ; Time: 1773776673.181949
>>>Queue Stats: inserted=2234562012 items_in_queue=22562012 extracted=2212000000
Reached 2212100000 ; States-in-collection: 2234568156 ; Time: 1773776673.580797
>>>Queue Stats: inserted=2234568156 items_in_queue=22468156 extracted=2212100000
Reached 2212200000 ; States-in-collection: 2234576348 ; Time: 1773776673.986501
>>>Queue Stats: inserted=2234576348 items_in_queue=22376348 extracted=2212200000
Reached 2212300000 ; States-in-collection: 2234576348 ; Time: 1773776674.323885
>>>Queue Stats: inserted=2234576348 items_in_queue=22276348 extracted=2212300000
Reached 2212400000 ; States-in-collection: 2234586588 ; Time: 1773776674.778556
>>>Queue Stats: inserted=2234586588 items_in_queue=22186588 extracted=2212400000
Reached 2212500000 ; States-in-collection: 2234586588 ; Time: 1773776675.189869
>>>Queue Stats: inserted=2234586588 items_in_queue=22086588 extracted=2212500000
Reached 2212600000 ; States-in-collection: 2234586588 ; Time: 1773776675.728757
>>>Queue Stats: inserted=2234586588 items_in_queue=21986588 extracted=2212600000
Reached 2212700000 ; States-in-collection: 2234586588 ; Time: 1773776676.218834
>>>Queue Stats: inserted=2234586588 items_in_queue=21886588 extracted=2212700000
Reached 2212800000 ; States-in-collection: 2234586588 ; Time: 1773776676.852376
>>>Queue Stats: inserted=2234586588 items_in_queue=21786588 extracted=2212800000
Reached 2212900000 ; States-in-collection: 2234586588 ; Time: 1773776677.531900
>>>Queue Stats: inserted=2234586588 items_in_queue=21686588 extracted=2212900000
Reached 2213000000 ; States-in-collection: 2234601695 ; Time: 1773776678.189334
>>>Queue Stats: inserted=2234601695 items_in_queue=21601695 extracted=2213000000
Reached 2213100000 ; States-in-collection: 2234602972 ; Time: 1773776678.692019
>>>Queue Stats: inserted=2234602972 items_in_queue=21502972 extracted=2213100000
Reached 2213200000 ; States-in-collection: 2234602972 ; Time: 1773776679.253151
>>>Queue Stats: inserted=2234602972 items_in_queue=21402972 extracted=2213200000
Reached 2213300000 ; States-in-collection: 2234602972 ; Time: 1773776679.747955
>>>Queue Stats: inserted=2234602972 items_in_queue=21302972 extracted=2213300000
Reached 2213400000 ; States-in-collection: 2234602972 ; Time: 1773776680.303451
>>>Queue Stats: inserted=2234602972 items_in_queue=21202972 extracted=2213400000
Reached 2213500000 ; States-in-collection: 2234604988 ; Time: 1773776681.007755
>>>Queue Stats: inserted=2234604988 items_in_queue=21104988 extracted=2213500000
Reached 2213600000 ; States-in-collection: 2234610280 ; Time: 1773776681.782069
>>>Queue Stats: inserted=2234610280 items_in_queue=21010280 extracted=2213600000
Reached 2213700000 ; States-in-collection: 2234623452 ; Time: 1773776682.417487
>>>Queue Stats: inserted=2234623452 items_in_queue=20923452 extracted=2213700000
Reached 2213800000 ; States-in-collection: 2234623948 ; Time: 1773776683.040006
>>>Queue Stats: inserted=2234623948 items_in_queue=20823948 extracted=2213800000
Reached 2213900000 ; States-in-collection: 2234631644 ; Time: 1773776683.667101
>>>Queue Stats: inserted=2234631644 items_in_queue=20731644 extracted=2213900000
Reached 2214000000 ; States-in-collection: 2234635122 ; Time: 1773776684.284076
>>>Queue Stats: inserted=2234635122 items_in_queue=20635122 extracted=2214000000
Reached 2214100000 ; States-in-collection: 2234638736 ; Time: 1773776684.894765
>>>Queue Stats: inserted=2234638736 items_in_queue=20538736 extracted=2214100000
Reached 2214200000 ; States-in-collection: 2234648028 ; Time: 1773776685.366826
>>>Queue Stats: inserted=2234648028 items_in_queue=20448028 extracted=2214200000
Reached 2214300000 ; States-in-collection: 2234648028 ; Time: 1773776685.889302
>>>Queue Stats: inserted=2234648028 items_in_queue=20348028 extracted=2214300000
Reached 2214400000 ; States-in-collection: 2234648028 ; Time: 1773776686.517998
>>>Queue Stats: inserted=2234648028 items_in_queue=20248028 extracted=2214400000
Reached 2214500000 ; States-in-collection: 2234648028 ; Time: 1773776687.078268
>>>Queue Stats: inserted=2234648028 items_in_queue=20148028 extracted=2214500000
Reached 2214600000 ; States-in-collection: 2234648140 ; Time: 1773776687.688690
>>>Queue Stats: inserted=2234648140 items_in_queue=20048140 extracted=2214600000
Reached 2214700000 ; States-in-collection: 2234652636 ; Time: 1773776688.415379
>>>Queue Stats: inserted=2234652636 items_in_queue=19952636 extracted=2214700000
Reached 2214800000 ; States-in-collection: 2234656732 ; Time: 1773776689.137569
>>>Queue Stats: inserted=2234656732 items_in_queue=19856732 extracted=2214800000
Reached 2214900000 ; States-in-collection: 2234660316 ; Time: 1773776689.816684
>>>Queue Stats: inserted=2234660316 items_in_queue=19760316 extracted=2214900000
Reached 2215000000 ; States-in-collection: 2234668194 ; Time: 1773776690.510962
>>>Queue Stats: inserted=2234668194 items_in_queue=19668194 extracted=2215000000
Reached 2215100000 ; States-in-collection: 2234672604 ; Time: 1773776691.148377
>>>Queue Stats: inserted=2234672604 items_in_queue=19572604 extracted=2215100000
Reached 2215200000 ; States-in-collection: 2234672604 ; Time: 1773776691.798580
>>>Queue Stats: inserted=2234672604 items_in_queue=19472604 extracted=2215200000
Reached 2215300000 ; States-in-collection: 2234672604 ; Time: 1773776692.427254
>>>Queue Stats: inserted=2234672604 items_in_queue=19372604 extracted=2215300000
Reached 2215400000 ; States-in-collection: 2234679388 ; Time: 1773776693.119133
>>>Queue Stats: inserted=2234679388 items_in_queue=19279388 extracted=2215400000
Reached 2215500000 ; States-in-collection: 2234693596 ; Time: 1773776693.812686
>>>Queue Stats: inserted=2234693596 items_in_queue=19193596 extracted=2215500000
Reached 2215600000 ; States-in-collection: 2234706444 ; Time: 1773776694.487830
>>>Queue Stats: inserted=2234706444 items_in_queue=19106444 extracted=2215600000
Reached 2215700000 ; States-in-collection: 2234729100 ; Time: 1773776695.176344
>>>Queue Stats: inserted=2234729100 items_in_queue=19029100 extracted=2215700000
Reached 2215800000 ; States-in-collection: 2234756674 ; Time: 1773776695.907085
>>>Queue Stats: inserted=2234756674 items_in_queue=18956674 extracted=2215800000
Reached 2215900000 ; States-in-collection: 2234785468 ; Time: 1773776696.630438
>>>Queue Stats: inserted=2234785468 items_in_queue=18885468 extracted=2215900000
Reached 2216000000 ; States-in-collection: 2234817165 ; Time: 1773776697.458581
>>>Queue Stats: inserted=2234817165 items_in_queue=18817165 extracted=2216000000
Reached 2216100000 ; States-in-collection: 2234849262 ; Time: 1773776698.288776
>>>Queue Stats: inserted=2234849262 items_in_queue=18749262 extracted=2216100000
Reached 2216200000 ; States-in-collection: 2234876143 ; Time: 1773776699.154536
>>>Queue Stats: inserted=2234876143 items_in_queue=18676143 extracted=2216200000
Reached 2216300000 ; States-in-collection: 2234901164 ; Time: 1773776700.022267
>>>Queue Stats: inserted=2234901164 items_in_queue=18601164 extracted=2216300000
Reached 2216400000 ; States-in-collection: 2234926492 ; Time: 1773776700.874043
>>>Queue Stats: inserted=2234926492 items_in_queue=18526492 extracted=2216400000
Reached 2216500000 ; States-in-collection: 2234953544 ; Time: 1773776701.691146
>>>Queue Stats: inserted=2234953544 items_in_queue=18453544 extracted=2216500000
Reached 2216600000 ; States-in-collection: 2234981679 ; Time: 1773776702.499972
>>>Queue Stats: inserted=2234981679 items_in_queue=18381679 extracted=2216600000
Reached 2216700000 ; States-in-collection: 2235009169 ; Time: 1773776703.310003
>>>Queue Stats: inserted=2235009169 items_in_queue=18309169 extracted=2216700000
Reached 2216800000 ; States-in-collection: 2235045788 ; Time: 1773776704.103412
>>>Queue Stats: inserted=2235045788 items_in_queue=18245788 extracted=2216800000
Reached 2216900000 ; States-in-collection: 2235084416 ; Time: 1773776704.899043
>>>Queue Stats: inserted=2235084416 items_in_queue=18184416 extracted=2216900000
Reached 2217000000 ; States-in-collection: 2235122281 ; Time: 1773776705.697110
>>>Queue Stats: inserted=2235122281 items_in_queue=18122281 extracted=2217000000
Reached 2217100000 ; States-in-collection: 2235156156 ; Time: 1773776706.439558
>>>Queue Stats: inserted=2235156156 items_in_queue=18056156 extracted=2217100000
Reached 2217200000 ; States-in-collection: 2235185216 ; Time: 1773776707.137684
>>>Queue Stats: inserted=2235185216 items_in_queue=17985216 extracted=2217200000
Reached 2217300000 ; States-in-collection: 2235214700 ; Time: 1773776707.830986
>>>Queue Stats: inserted=2235214700 items_in_queue=17914700 extracted=2217300000
Reached 2217400000 ; States-in-collection: 2235243244 ; Time: 1773776708.526548
>>>Queue Stats: inserted=2235243244 items_in_queue=17843244 extracted=2217400000
Reached 2217500000 ; States-in-collection: 2235271557 ; Time: 1773776709.218940
>>>Queue Stats: inserted=2235271557 items_in_queue=17771557 extracted=2217500000
Reached 2217600000 ; States-in-collection: 2235290441 ; Time: 1773776709.892776
>>>Queue Stats: inserted=2235290441 items_in_queue=17690441 extracted=2217600000
Reached 2217700000 ; States-in-collection: 2235309806 ; Time: 1773776710.565743
>>>Queue Stats: inserted=2235309806 items_in_queue=17609806 extracted=2217700000
Reached 2217800000 ; States-in-collection: 2235328705 ; Time: 1773776711.236386
>>>Queue Stats: inserted=2235328705 items_in_queue=17528705 extracted=2217800000
Reached 2217900000 ; States-in-collection: 2235348162 ; Time: 1773776711.906242
>>>Queue Stats: inserted=2235348162 items_in_queue=17448162 extracted=2217900000
Reached 2218000000 ; States-in-collection: 2235363027 ; Time: 1773776712.575047
>>>Queue Stats: inserted=2235363027 items_in_queue=17363027 extracted=2218000000
Reached 2218100000 ; States-in-collection: 2235377030 ; Time: 1773776713.232204
>>>Queue Stats: inserted=2235377030 items_in_queue=17277030 extracted=2218100000
Reached 2218200000 ; States-in-collection: 2235391254 ; Time: 1773776713.899027
>>>Queue Stats: inserted=2235391254 items_in_queue=17191254 extracted=2218200000
Reached 2218300000 ; States-in-collection: 2235401954 ; Time: 1773776714.504199
>>>Queue Stats: inserted=2235401954 items_in_queue=17101954 extracted=2218300000
Reached 2218400000 ; States-in-collection: 2235408122 ; Time: 1773776715.039902
>>>Queue Stats: inserted=2235408122 items_in_queue=17008122 extracted=2218400000
Reached 2218500000 ; States-in-collection: 2235414112 ; Time: 1773776715.576115
>>>Queue Stats: inserted=2235414112 items_in_queue=16914112 extracted=2218500000
Reached 2218600000 ; States-in-collection: 2235418076 ; Time: 1773776716.057488
>>>Queue Stats: inserted=2235418076 items_in_queue=16818076 extracted=2218600000
Reached 2218700000 ; States-in-collection: 2235418076 ; Time: 1773776716.460699
>>>Queue Stats: inserted=2235418076 items_in_queue=16718076 extracted=2218700000
Reached 2218800000 ; States-in-collection: 2235418076 ; Time: 1773776716.858091
>>>Queue Stats: inserted=2235418076 items_in_queue=16618076 extracted=2218800000
Reached 2218900000 ; States-in-collection: 2235418076 ; Time: 1773776717.247410
>>>Queue Stats: inserted=2235418076 items_in_queue=16518076 extracted=2218900000
Reached 2219000000 ; States-in-collection: 2235418076 ; Time: 1773776717.625662
>>>Queue Stats: inserted=2235418076 items_in_queue=16418076 extracted=2219000000
Reached 2219100000 ; States-in-collection: 2235418076 ; Time: 1773776717.999651
>>>Queue Stats: inserted=2235418076 items_in_queue=16318076 extracted=2219100000
Reached 2219200000 ; States-in-collection: 2235418076 ; Time: 1773776718.454990
>>>Queue Stats: inserted=2235418076 items_in_queue=16218076 extracted=2219200000
Reached 2219300000 ; States-in-collection: 2235433277 ; Time: 1773776718.978812
>>>Queue Stats: inserted=2235433277 items_in_queue=16133277 extracted=2219300000
Reached 2219400000 ; States-in-collection: 2235434460 ; Time: 1773776719.487957
>>>Queue Stats: inserted=2235434460 items_in_queue=16034460 extracted=2219400000
Reached 2219500000 ; States-in-collection: 2235436508 ; Time: 1773776719.989088
>>>Queue Stats: inserted=2235436508 items_in_queue=15936508 extracted=2219500000
Reached 2219600000 ; States-in-collection: 2235442652 ; Time: 1773776720.537222
>>>Queue Stats: inserted=2235442652 items_in_queue=15842652 extracted=2219600000
Reached 2219700000 ; States-in-collection: 2235446748 ; Time: 1773776721.012469
>>>Queue Stats: inserted=2235446748 items_in_queue=15746748 extracted=2219700000
Reached 2219800000 ; States-in-collection: 2235450844 ; Time: 1773776721.504863
>>>Queue Stats: inserted=2235450844 items_in_queue=15650844 extracted=2219800000
Reached 2219900000 ; States-in-collection: 2235450844 ; Time: 1773776722.059760
>>>Queue Stats: inserted=2235450844 items_in_queue=15550844 extracted=2219900000
Reached 2220000000 ; States-in-collection: 2235450844 ; Time: 1773776722.584530
>>>Queue Stats: inserted=2235450844 items_in_queue=15450844 extracted=2220000000
Reached 2220100000 ; States-in-collection: 2235450844 ; Time: 1773776723.261200
>>>Queue Stats: inserted=2235450844 items_in_queue=15350844 extracted=2220100000
Reached 2220200000 ; States-in-collection: 2235450844 ; Time: 1773776723.909087
>>>Queue Stats: inserted=2235450844 items_in_queue=15250844 extracted=2220200000
Reached 2220300000 ; States-in-collection: 2235450844 ; Time: 1773776724.504469
>>>Queue Stats: inserted=2235450844 items_in_queue=15150844 extracted=2220300000
Reached 2220400000 ; States-in-collection: 2235450844 ; Time: 1773776725.121449
>>>Queue Stats: inserted=2235450844 items_in_queue=15050844 extracted=2220400000
Reached 2220500000 ; States-in-collection: 2235467964 ; Time: 1773776725.784346
>>>Queue Stats: inserted=2235467964 items_in_queue=14967964 extracted=2220500000
Reached 2220600000 ; States-in-collection: 2235518012 ; Time: 1773776726.604123
>>>Queue Stats: inserted=2235518012 items_in_queue=14918012 extracted=2220600000
Reached 2220700000 ; States-in-collection: 2235566097 ; Time: 1773776727.451079
>>>Queue Stats: inserted=2235566097 items_in_queue=14866097 extracted=2220700000
Reached 2220800000 ; States-in-collection: 2235606637 ; Time: 1773776728.282279
>>>Queue Stats: inserted=2235606637 items_in_queue=14806637 extracted=2220800000
Reached 2220900000 ; States-in-collection: 2235618780 ; Time: 1773776728.860672
>>>Queue Stats: inserted=2235618780 items_in_queue=14718780 extracted=2220900000
Reached 2221000000 ; States-in-collection: 2235618780 ; Time: 1773776729.335932
>>>Queue Stats: inserted=2235618780 items_in_queue=14618780 extracted=2221000000
Reached 2221100000 ; States-in-collection: 2235618780 ; Time: 1773776729.745448
>>>Queue Stats: inserted=2235618780 items_in_queue=14518780 extracted=2221100000
Reached 2221200000 ; States-in-collection: 2235619164 ; Time: 1773776730.133104
>>>Queue Stats: inserted=2235619164 items_in_queue=14419164 extracted=2221200000
Reached 2221300000 ; States-in-collection: 2235634952 ; Time: 1773776730.632887
>>>Queue Stats: inserted=2235634952 items_in_queue=14334952 extracted=2221300000
Reached 2221400000 ; States-in-collection: 2235651548 ; Time: 1773776731.098683
>>>Queue Stats: inserted=2235651548 items_in_queue=14251548 extracted=2221400000
Reached 2221500000 ; States-in-collection: 2235667932 ; Time: 1773776731.440192
>>>Queue Stats: inserted=2235667932 items_in_queue=14167932 extracted=2221500000
Reached 2221600000 ; States-in-collection: 2235697372 ; Time: 1773776731.963101
>>>Queue Stats: inserted=2235697372 items_in_queue=14097372 extracted=2221600000
Reached 2221700000 ; States-in-collection: 2235703116 ; Time: 1773776732.427588
>>>Queue Stats: inserted=2235703116 items_in_queue=14003116 extracted=2221700000
Reached 2221800000 ; States-in-collection: 2235727692 ; Time: 1773776733.000348
>>>Queue Stats: inserted=2235727692 items_in_queue=13927692 extracted=2221800000
Reached 2221900000 ; States-in-collection: 2235752846 ; Time: 1773776733.567677
>>>Queue Stats: inserted=2235752846 items_in_queue=13852846 extracted=2221900000
Reached 2222000000 ; States-in-collection: 2235780961 ; Time: 1773776734.297600
>>>Queue Stats: inserted=2235780961 items_in_queue=13780961 extracted=2222000000
Reached 2222100000 ; States-in-collection: 2235782620 ; Time: 1773776735.182810
>>>Queue Stats: inserted=2235782620 items_in_queue=13682620 extracted=2222100000
Reached 2222200000 ; States-in-collection: 2235788860 ; Time: 1773776735.907897
>>>Queue Stats: inserted=2235788860 items_in_queue=13588860 extracted=2222200000
Reached 2222300000 ; States-in-collection: 2235800860 ; Time: 1773776736.732012
>>>Queue Stats: inserted=2235800860 items_in_queue=13500860 extracted=2222300000
Reached 2222400000 ; States-in-collection: 2235835198 ; Time: 1773776737.785302
>>>Queue Stats: inserted=2235835198 items_in_queue=13435198 extracted=2222400000
Reached 2222500000 ; States-in-collection: 2235868991 ; Time: 1773776738.597206
>>>Queue Stats: inserted=2235868991 items_in_queue=13368991 extracted=2222500000
Reached 2222600000 ; States-in-collection: 2235924287 ; Time: 1773776739.577596
>>>Queue Stats: inserted=2235924287 items_in_queue=13324287 extracted=2222600000
Reached 2222700000 ; States-in-collection: 2235946460 ; Time: 1773776740.537347
>>>Queue Stats: inserted=2235946460 items_in_queue=13246460 extracted=2222700000
Reached 2222800000 ; States-in-collection: 2235962844 ; Time: 1773776741.325176
>>>Queue Stats: inserted=2235962844 items_in_queue=13162844 extracted=2222800000
Reached 2222900000 ; States-in-collection: 2235970719 ; Time: 1773776741.985690
>>>Queue Stats: inserted=2235970719 items_in_queue=13070719 extracted=2222900000
Reached 2223000000 ; States-in-collection: 2236021468 ; Time: 1773776742.560952
>>>Queue Stats: inserted=2236021468 items_in_queue=13021468 extracted=2223000000
Reached 2223100000 ; States-in-collection: 2236070780 ; Time: 1773776743.197450
>>>Queue Stats: inserted=2236070780 items_in_queue=12970780 extracted=2223100000
Reached 2223200000 ; States-in-collection: 2236120684 ; Time: 1773776743.771104
>>>Queue Stats: inserted=2236120684 items_in_queue=12920684 extracted=2223200000
Reached 2223300000 ; States-in-collection: 2236170685 ; Time: 1773776744.424088
>>>Queue Stats: inserted=2236170685 items_in_queue=12870685 extracted=2223300000
Reached 2223400000 ; States-in-collection: 2236220700 ; Time: 1773776745.119504
>>>Queue Stats: inserted=2236220700 items_in_queue=12820700 extracted=2223400000
Reached 2223500000 ; States-in-collection: 2236270684 ; Time: 1773776745.754709
>>>Queue Stats: inserted=2236270684 items_in_queue=12770684 extracted=2223500000
Reached 2223600000 ; States-in-collection: 2236323246 ; Time: 1773776746.497625
>>>Queue Stats: inserted=2236323246 items_in_queue=12723246 extracted=2223600000
Reached 2223700000 ; States-in-collection: 2236386527 ; Time: 1773776747.339654
>>>Queue Stats: inserted=2236386527 items_in_queue=12686527 extracted=2223700000
Reached 2223800000 ; States-in-collection: 2236421596 ; Time: 1773776748.072611
>>>Queue Stats: inserted=2236421596 items_in_queue=12621596 extracted=2223800000
Reached 2223900000 ; States-in-collection: 2236424061 ; Time: 1773776748.875653
>>>Queue Stats: inserted=2236424061 items_in_queue=12524061 extracted=2223900000
Reached 2224000000 ; States-in-collection: 2236474092 ; Time: 1773776749.457387
>>>Queue Stats: inserted=2236474092 items_in_queue=12474092 extracted=2224000000
Reached 2224100000 ; States-in-collection: 2236524095 ; Time: 1773776750.091386
>>>Queue Stats: inserted=2236524095 items_in_queue=12424095 extracted=2224100000
Reached 2224200000 ; States-in-collection: 2236574092 ; Time: 1773776750.650862
>>>Queue Stats: inserted=2236574092 items_in_queue=12374092 extracted=2224200000
Reached 2224300000 ; States-in-collection: 2236624092 ; Time: 1773776751.332830
>>>Queue Stats: inserted=2236624092 items_in_queue=12324092 extracted=2224300000
Reached 2224400000 ; States-in-collection: 2236674076 ; Time: 1773776752.013644
>>>Queue Stats: inserted=2236674076 items_in_queue=12274076 extracted=2224400000
Reached 2224500000 ; States-in-collection: 2236724095 ; Time: 1773776752.673754
>>>Queue Stats: inserted=2236724095 items_in_queue=12224095 extracted=2224500000
Reached 2224600000 ; States-in-collection: 2236776830 ; Time: 1773776753.426954
>>>Queue Stats: inserted=2236776830 items_in_queue=12176830 extracted=2224600000
Reached 2224700000 ; States-in-collection: 2236839452 ; Time: 1773776754.283813
>>>Queue Stats: inserted=2236839452 items_in_queue=12139452 extracted=2224700000
Reached 2224800000 ; States-in-collection: 2236863964 ; Time: 1773776754.970241
>>>Queue Stats: inserted=2236863964 items_in_queue=12063964 extracted=2224800000
Reached 2224900000 ; States-in-collection: 2236874574 ; Time: 1773776755.546546
>>>Queue Stats: inserted=2236874574 items_in_queue=11974574 extracted=2224900000
Reached 2225000000 ; States-in-collection: 2236878300 ; Time: 1773776756.278596
>>>Queue Stats: inserted=2236878300 items_in_queue=11878300 extracted=2225000000
Reached 2225100000 ; States-in-collection: 2236908892 ; Time: 1773776757.210537
>>>Queue Stats: inserted=2236908892 items_in_queue=11808892 extracted=2225100000
Reached 2225200000 ; States-in-collection: 2236949052 ; Time: 1773776758.036601
>>>Queue Stats: inserted=2236949052 items_in_queue=11749052 extracted=2225200000
Reached 2225300000 ; States-in-collection: 2236974572 ; Time: 1773776758.844444
>>>Queue Stats: inserted=2236974572 items_in_queue=11674572 extracted=2225300000
Reached 2225400000 ; States-in-collection: 2237000397 ; Time: 1773776759.464892
>>>Queue Stats: inserted=2237000397 items_in_queue=11600397 extracted=2225400000
Reached 2225500000 ; States-in-collection: 2237029852 ; Time: 1773776760.102754
>>>Queue Stats: inserted=2237029852 items_in_queue=11529852 extracted=2225500000
Reached 2225600000 ; States-in-collection: 2237061101 ; Time: 1773776760.745030
>>>Queue Stats: inserted=2237061101 items_in_queue=11461101 extracted=2225600000
Reached 2225700000 ; States-in-collection: 2237102911 ; Time: 1773776761.403928
>>>Queue Stats: inserted=2237102911 items_in_queue=11402911 extracted=2225700000
Reached 2225800000 ; States-in-collection: 2237136348 ; Time: 1773776762.136532
>>>Queue Stats: inserted=2237136348 items_in_queue=11336348 extracted=2225800000
Reached 2225900000 ; States-in-collection: 2237146844 ; Time: 1773776762.767331
>>>Queue Stats: inserted=2237146844 items_in_queue=11246844 extracted=2225900000
Reached 2226000000 ; States-in-collection: 2237252575 ; Time: 1773776764.356797
>>>Queue Stats: inserted=2237252575 items_in_queue=11252575 extracted=2226000000
Reached 2226100000 ; States-in-collection: 2237375263 ; Time: 1773776766.055617
>>>Queue Stats: inserted=2237375263 items_in_queue=11275263 extracted=2226100000
Reached 2226200000 ; States-in-collection: 2237402588 ; Time: 1773776767.326435
>>>Queue Stats: inserted=2237402588 items_in_queue=11202588 extracted=2226200000
Reached 2226300000 ; States-in-collection: 2237402588 ; Time: 1773776768.185849
>>>Queue Stats: inserted=2237402588 items_in_queue=11102588 extracted=2226300000
Reached 2226400000 ; States-in-collection: 2237494015 ; Time: 1773776769.709566
>>>Queue Stats: inserted=2237494015 items_in_queue=11094015 extracted=2226400000
Reached 2226500000 ; States-in-collection: 2237561247 ; Time: 1773776771.094693
>>>Queue Stats: inserted=2237561247 items_in_queue=11061247 extracted=2226500000
Reached 2226600000 ; States-in-collection: 2237625342 ; Time: 1773776772.134446
>>>Queue Stats: inserted=2237625342 items_in_queue=11025342 extracted=2226600000
Reached 2226700000 ; States-in-collection: 2237666909 ; Time: 1773776772.838148
>>>Queue Stats: inserted=2237666909 items_in_queue=10966909 extracted=2226700000
Reached 2226800000 ; States-in-collection: 2237709253 ; Time: 1773776773.541020
>>>Queue Stats: inserted=2237709253 items_in_queue=10909253 extracted=2226800000
Reached 2226900000 ; States-in-collection: 2237747053 ; Time: 1773776774.228692
>>>Queue Stats: inserted=2237747053 items_in_queue=10847053 extracted=2226900000
Reached 2227000000 ; States-in-collection: 2237775880 ; Time: 1773776774.735442
>>>Queue Stats: inserted=2237775880 items_in_queue=10775880 extracted=2227000000
Reached 2227100000 ; States-in-collection: 2237807781 ; Time: 1773776775.200595
>>>Queue Stats: inserted=2237807781 items_in_queue=10707781 extracted=2227100000
Reached 2227200000 ; States-in-collection: 2237856431 ; Time: 1773776775.861215
>>>Queue Stats: inserted=2237856431 items_in_queue=10656431 extracted=2227200000
Reached 2227300000 ; States-in-collection: 2237914271 ; Time: 1773776776.889947
>>>Queue Stats: inserted=2237914271 items_in_queue=10614271 extracted=2227300000
Reached 2227400000 ; States-in-collection: 2237947356 ; Time: 1773776777.641056
>>>Queue Stats: inserted=2237947356 items_in_queue=10547356 extracted=2227400000
Reached 2227500000 ; States-in-collection: 2237947356 ; Time: 1773776778.030137
>>>Queue Stats: inserted=2237947356 items_in_queue=10447356 extracted=2227500000
Reached 2227600000 ; States-in-collection: 2237947356 ; Time: 1773776778.423941
>>>Queue Stats: inserted=2237947356 items_in_queue=10347356 extracted=2227600000
Reached 2227700000 ; States-in-collection: 2237947356 ; Time: 1773776778.804451
>>>Queue Stats: inserted=2237947356 items_in_queue=10247356 extracted=2227700000
Reached 2227800000 ; States-in-collection: 2237947356 ; Time: 1773776779.250036
>>>Queue Stats: inserted=2237947356 items_in_queue=10147356 extracted=2227800000
Reached 2227900000 ; States-in-collection: 2237955548 ; Time: 1773776779.736966
>>>Queue Stats: inserted=2237955548 items_in_queue=10055548 extracted=2227900000
Reached 2228000000 ; States-in-collection: 2237978090 ; Time: 1773776780.283196
>>>Queue Stats: inserted=2237978090 items_in_queue=9978090 extracted=2228000000
Reached 2228100000 ; States-in-collection: 2238009486 ; Time: 1773776780.811069
>>>Queue Stats: inserted=2238009486 items_in_queue=9909486 extracted=2228100000
Reached 2228200000 ; States-in-collection: 2238023132 ; Time: 1773776781.489829
>>>Queue Stats: inserted=2238023132 items_in_queue=9823132 extracted=2228200000
Reached 2228300000 ; States-in-collection: 2238041564 ; Time: 1773776782.234161
>>>Queue Stats: inserted=2238041564 items_in_queue=9741564 extracted=2228300000
Reached 2228400000 ; States-in-collection: 2238041564 ; Time: 1773776783.064661
>>>Queue Stats: inserted=2238041564 items_in_queue=9641564 extracted=2228400000
Reached 2228500000 ; States-in-collection: 2238041564 ; Time: 1773776783.798070
>>>Queue Stats: inserted=2238041564 items_in_queue=9541564 extracted=2228500000
Reached 2228600000 ; States-in-collection: 2238041564 ; Time: 1773776784.442516
>>>Queue Stats: inserted=2238041564 items_in_queue=9441564 extracted=2228600000
Reached 2228700000 ; States-in-collection: 2238041564 ; Time: 1773776785.203389
>>>Queue Stats: inserted=2238041564 items_in_queue=9341564 extracted=2228700000
Reached 2228800000 ; States-in-collection: 2238041564 ; Time: 1773776785.975404
>>>Queue Stats: inserted=2238041564 items_in_queue=9241564 extracted=2228800000
Reached 2228900000 ; States-in-collection: 2238084216 ; Time: 1773776787.217730
>>>Queue Stats: inserted=2238084216 items_in_queue=9184216 extracted=2228900000
Reached 2229000000 ; States-in-collection: 2238133783 ; Time: 1773776788.345115
>>>Queue Stats: inserted=2238133783 items_in_queue=9133783 extracted=2229000000
Reached 2229100000 ; States-in-collection: 2238161714 ; Time: 1773776788.979831
>>>Queue Stats: inserted=2238161714 items_in_queue=9061714 extracted=2229100000
Reached 2229200000 ; States-in-collection: 2238192474 ; Time: 1773776789.655036
>>>Queue Stats: inserted=2238192474 items_in_queue=8992474 extracted=2229200000
Reached 2229300000 ; States-in-collection: 2238221714 ; Time: 1773776790.324384
>>>Queue Stats: inserted=2238221714 items_in_queue=8921714 extracted=2229300000
Reached 2229400000 ; States-in-collection: 2238249878 ; Time: 1773776790.958393
>>>Queue Stats: inserted=2238249878 items_in_queue=8849878 extracted=2229400000
Reached 2229500000 ; States-in-collection: 2238281044 ; Time: 1773776791.634993
>>>Queue Stats: inserted=2238281044 items_in_queue=8781044 extracted=2229500000
Reached 2229600000 ; States-in-collection: 2238303272 ; Time: 1773776792.349122
>>>Queue Stats: inserted=2238303272 items_in_queue=8703272 extracted=2229600000
Reached 2229700000 ; States-in-collection: 2238324172 ; Time: 1773776793.065690
>>>Queue Stats: inserted=2238324172 items_in_queue=8624172 extracted=2229700000
Reached 2229800000 ; States-in-collection: 2238350701 ; Time: 1773776794.023607
>>>Queue Stats: inserted=2238350701 items_in_queue=8550701 extracted=2229800000
Reached 2229900000 ; States-in-collection: 2238374406 ; Time: 1773776795.021554
>>>Queue Stats: inserted=2238374406 items_in_queue=8474406 extracted=2229900000
Reached 2230000000 ; States-in-collection: 2238386922 ; Time: 1773776795.777529
>>>Queue Stats: inserted=2238386922 items_in_queue=8386922 extracted=2230000000
Reached 2230100000 ; States-in-collection: 2238425119 ; Time: 1773776796.882527
>>>Queue Stats: inserted=2238425119 items_in_queue=8325119 extracted=2230100000
Reached 2230200000 ; States-in-collection: 2238484771 ; Time: 1773776798.018092
>>>Queue Stats: inserted=2238484771 items_in_queue=8284771 extracted=2230200000
Reached 2230300000 ; States-in-collection: 2238506961 ; Time: 1773776798.528846
>>>Queue Stats: inserted=2238506961 items_in_queue=8206961 extracted=2230300000
Reached 2230400000 ; States-in-collection: 2238531855 ; Time: 1773776799.066477
>>>Queue Stats: inserted=2238531855 items_in_queue=8131855 extracted=2230400000
Reached 2230500000 ; States-in-collection: 2238553976 ; Time: 1773776799.589140
>>>Queue Stats: inserted=2238553976 items_in_queue=8053976 extracted=2230500000
Reached 2230600000 ; States-in-collection: 2238577861 ; Time: 1773776800.112996
>>>Queue Stats: inserted=2238577861 items_in_queue=7977861 extracted=2230600000
Reached 2230700000 ; States-in-collection: 2238640095 ; Time: 1773776800.613018
>>>Queue Stats: inserted=2238640095 items_in_queue=7940095 extracted=2230700000
Reached 2230800000 ; States-in-collection: 2238719615 ; Time: 1773776801.149313
>>>Queue Stats: inserted=2238719615 items_in_queue=7919615 extracted=2230800000
Reached 2230900000 ; States-in-collection: 2238811423 ; Time: 1773776801.637311
>>>Queue Stats: inserted=2238811423 items_in_queue=7911423 extracted=2230900000
Reached 2231000000 ; States-in-collection: 2238874559 ; Time: 1773776802.148394
>>>Queue Stats: inserted=2238874559 items_in_queue=7874559 extracted=2231000000
Reached 2231100000 ; States-in-collection: 2238955772 ; Time: 1773776802.754730
>>>Queue Stats: inserted=2238955772 items_in_queue=7855772 extracted=2231100000
Reached 2231200000 ; States-in-collection: 2238991836 ; Time: 1773776803.325567
>>>Queue Stats: inserted=2238991836 items_in_queue=7791836 extracted=2231200000
Reached 2231300000 ; States-in-collection: 2239084447 ; Time: 1773776803.842660
>>>Queue Stats: inserted=2239084447 items_in_queue=7784447 extracted=2231300000
Reached 2231400000 ; States-in-collection: 2239173084 ; Time: 1773776804.396781
>>>Queue Stats: inserted=2239173084 items_in_queue=7773084 extracted=2231400000
Reached 2231500000 ; States-in-collection: 2239268063 ; Time: 1773776804.858276
>>>Queue Stats: inserted=2239268063 items_in_queue=7768063 extracted=2231500000
Reached 2231600000 ; States-in-collection: 2239318911 ; Time: 1773776805.381912
>>>Queue Stats: inserted=2239318911 items_in_queue=7718911 extracted=2231600000
Reached 2231700000 ; States-in-collection: 2239389693 ; Time: 1773776806.036266
>>>Queue Stats: inserted=2239389693 items_in_queue=7689693 extracted=2231700000
Reached 2231800000 ; States-in-collection: 2239417820 ; Time: 1773776806.629732
>>>Queue Stats: inserted=2239417820 items_in_queue=7617820 extracted=2231800000
Reached 2231900000 ; States-in-collection: 2239434204 ; Time: 1773776807.436159
>>>Queue Stats: inserted=2239434204 items_in_queue=7534204 extracted=2231900000
Reached 2232000000 ; States-in-collection: 2239489535 ; Time: 1773776808.156072
>>>Queue Stats: inserted=2239489535 items_in_queue=7489535 extracted=2232000000
Reached 2232100000 ; States-in-collection: 2239786018 ; Time: 1773776809.250146
>>>Queue Stats: inserted=2239786018 items_in_queue=7686018 extracted=2232100000
Reached 2232200000 ; States-in-collection: 2239910030 ; Time: 1773776809.922660
>>>Queue Stats: inserted=2239910030 items_in_queue=7710030 extracted=2232200000
Reached 2232300000 ; States-in-collection: 2239994335 ; Time: 1773776810.458207
>>>Queue Stats: inserted=2239994335 items_in_queue=7694335 extracted=2232300000
Reached 2232400000 ; States-in-collection: 2240094335 ; Time: 1773776810.986656
>>>Queue Stats: inserted=2240094335 items_in_queue=7694335 extracted=2232400000
Reached 2232500000 ; States-in-collection: 2240276255 ; Time: 1773776811.771178
>>>Queue Stats: inserted=2240276255 items_in_queue=7776255 extracted=2232500000
Reached 2232600000 ; States-in-collection: 2240449983 ; Time: 1773776812.531863
>>>Queue Stats: inserted=2240449983 items_in_queue=7849983 extracted=2232600000
Reached 2232700000 ; States-in-collection: 2240640141 ; Time: 1773776813.373617
>>>Queue Stats: inserted=2240640141 items_in_queue=7940141 extracted=2232700000
Reached 2232800000 ; States-in-collection: 2240790857 ; Time: 1773776814.081594
>>>Queue Stats: inserted=2240790857 items_in_queue=7990857 extracted=2232800000
Reached 2232900000 ; States-in-collection: 2241039836 ; Time: 1773776814.997888
>>>Queue Stats: inserted=2241039836 items_in_queue=8139836 extracted=2232900000
Reached 2233000000 ; States-in-collection: 2241043932 ; Time: 1773776815.546109
>>>Queue Stats: inserted=2241043932 items_in_queue=8043932 extracted=2233000000
Reached 2233100000 ; States-in-collection: 2241048028 ; Time: 1773776816.071394
>>>Queue Stats: inserted=2241048028 items_in_queue=7948028 extracted=2233100000
Reached 2233200000 ; States-in-collection: 2241048028 ; Time: 1773776816.562786
>>>Queue Stats: inserted=2241048028 items_in_queue=7848028 extracted=2233200000
Reached 2233300000 ; States-in-collection: 2241064412 ; Time: 1773776817.154570
>>>Queue Stats: inserted=2241064412 items_in_queue=7764412 extracted=2233300000
Reached 2233400000 ; States-in-collection: 2241068508 ; Time: 1773776817.698291
>>>Queue Stats: inserted=2241068508 items_in_queue=7668508 extracted=2233400000
Reached 2233500000 ; States-in-collection: 2241072604 ; Time: 1773776818.216359
>>>Queue Stats: inserted=2241072604 items_in_queue=7572604 extracted=2233500000
Reached 2233600000 ; States-in-collection: 2241072876 ; Time: 1773776818.705034
>>>Queue Stats: inserted=2241072876 items_in_queue=7472876 extracted=2233600000
Reached 2233700000 ; States-in-collection: 2241091050 ; Time: 1773776819.355356
>>>Queue Stats: inserted=2241091050 items_in_queue=7391050 extracted=2233700000
Reached 2233800000 ; States-in-collection: 2241182719 ; Time: 1773776819.794987
>>>Queue Stats: inserted=2241182719 items_in_queue=7382719 extracted=2233800000
Reached 2233900000 ; States-in-collection: 2241272029 ; Time: 1773776820.264497
>>>Queue Stats: inserted=2241272029 items_in_queue=7372029 extracted=2233900000
Reached 2234000000 ; States-in-collection: 2241322031 ; Time: 1773776821.121440
>>>Queue Stats: inserted=2241322031 items_in_queue=7322031 extracted=2234000000
Reached 2234100000 ; States-in-collection: 2241326556 ; Time: 1773776821.649639
>>>Queue Stats: inserted=2241326556 items_in_queue=7226556 extracted=2234100000
Reached 2234200000 ; States-in-collection: 2241326556 ; Time: 1773776822.151882
>>>Queue Stats: inserted=2241326556 items_in_queue=7126556 extracted=2234200000
Reached 2234300000 ; States-in-collection: 2241345079 ; Time: 1773776822.691065
>>>Queue Stats: inserted=2241345079 items_in_queue=7045079 extracted=2234300000
Reached 2234400000 ; States-in-collection: 2241400284 ; Time: 1773776823.193543
>>>Queue Stats: inserted=2241400284 items_in_queue=7000284 extracted=2234400000
Reached 2234500000 ; States-in-collection: 2241431500 ; Time: 1773776823.698937
>>>Queue Stats: inserted=2241431500 items_in_queue=6931500 extracted=2234500000
Reached 2234600000 ; States-in-collection: 2241474012 ; Time: 1773776824.209538
>>>Queue Stats: inserted=2241474012 items_in_queue=6874012 extracted=2234600000
Reached 2234700000 ; States-in-collection: 2241521006 ; Time: 1773776824.730612
>>>Queue Stats: inserted=2241521006 items_in_queue=6821006 extracted=2234700000
Reached 2234800000 ; States-in-collection: 2241585101 ; Time: 1773776825.236973
>>>Queue Stats: inserted=2241585101 items_in_queue=6785101 extracted=2234800000
Reached 2234900000 ; States-in-collection: 2241637852 ; Time: 1773776825.731253
>>>Queue Stats: inserted=2241637852 items_in_queue=6737852 extracted=2234900000
Reached 2235000000 ; States-in-collection: 2241669805 ; Time: 1773776826.202094
>>>Queue Stats: inserted=2241669805 items_in_queue=6669805 extracted=2235000000
Reached 2235100000 ; States-in-collection: 2241744671 ; Time: 1773776826.674756
>>>Queue Stats: inserted=2241744671 items_in_queue=6644671 extracted=2235100000
Reached 2235200000 ; States-in-collection: 2241805925 ; Time: 1773776827.141394
>>>Queue Stats: inserted=2241805925 items_in_queue=6605925 extracted=2235200000
Reached 2235300000 ; States-in-collection: 2241843405 ; Time: 1773776827.565125
>>>Queue Stats: inserted=2241843405 items_in_queue=6543405 extracted=2235300000
Reached 2235400000 ; States-in-collection: 2241860885 ; Time: 1773776827.989481
>>>Queue Stats: inserted=2241860885 items_in_queue=6460885 extracted=2235400000
Reached 2235500000 ; States-in-collection: 2241885661 ; Time: 1773776828.446274
>>>Queue Stats: inserted=2241885661 items_in_queue=6385661 extracted=2235500000
Reached 2235600000 ; States-in-collection: 2241906773 ; Time: 1773776828.873496
>>>Queue Stats: inserted=2241906773 items_in_queue=6306773 extracted=2235600000
Reached 2235700000 ; States-in-collection: 2241931132 ; Time: 1773776829.300929
>>>Queue Stats: inserted=2241931132 items_in_queue=6231132 extracted=2235700000
instance_run_solver_thread end
Finished running threads for curr_depth=54
Start mark-and-sweep cleanup for curr_depth=54
Mark+Sweep Progress - 10000000/30285824
Mark+Sweep Progress - 20000000/30285824
Mark+Sweep Progress - 30000000/30285824
Finish mark-and-sweep cleanup for curr_depth=54
Running threads for curr_depth=55
instance_run_solver_thread start
Reached 2235800000 ; States-in-collection: 2241932764 ; Time: 1773776831.777702
>>>Queue Stats: inserted=2241932764 items_in_queue=6132764 extracted=2235800000
Reached 2235900000 ; States-in-collection: 2241940284 ; Time: 1773776832.551126
>>>Queue Stats: inserted=2241940284 items_in_queue=6040284 extracted=2235900000
Reached 2236000000 ; States-in-collection: 2241949148 ; Time: 1773776833.139287
>>>Queue Stats: inserted=2241949148 items_in_queue=5949148 extracted=2236000000
Reached 2236100000 ; States-in-collection: 2241957340 ; Time: 1773776833.401837
>>>Queue Stats: inserted=2241957340 items_in_queue=5857340 extracted=2236100000
Reached 2236200000 ; States-in-collection: 2241957741 ; Time: 1773776833.698456
>>>Queue Stats: inserted=2241957741 items_in_queue=5757741 extracted=2236200000
Reached 2236300000 ; States-in-collection: 2241963484 ; Time: 1773776833.990144
>>>Queue Stats: inserted=2241963484 items_in_queue=5663484 extracted=2236300000
Reached 2236400000 ; States-in-collection: 2241965532 ; Time: 1773776834.303857
>>>Queue Stats: inserted=2241965532 items_in_queue=5565532 extracted=2236400000
Reached 2236500000 ; States-in-collection: 2241965532 ; Time: 1773776834.644300
>>>Queue Stats: inserted=2241965532 items_in_queue=5465532 extracted=2236500000
Reached 2236600000 ; States-in-collection: 2241965532 ; Time: 1773776835.042703
>>>Queue Stats: inserted=2241965532 items_in_queue=5365532 extracted=2236600000
Reached 2236700000 ; States-in-collection: 2241965532 ; Time: 1773776835.409807
>>>Queue Stats: inserted=2241965532 items_in_queue=5265532 extracted=2236700000
Reached 2236800000 ; States-in-collection: 2241965532 ; Time: 1773776835.813008
>>>Queue Stats: inserted=2241965532 items_in_queue=5165532 extracted=2236800000
Reached 2236900000 ; States-in-collection: 2241991038 ; Time: 1773776836.317101
>>>Queue Stats: inserted=2241991038 items_in_queue=5091038 extracted=2236900000
Reached 2237000000 ; States-in-collection: 2242029471 ; Time: 1773776836.829727
>>>Queue Stats: inserted=2242029471 items_in_queue=5029471 extracted=2237000000
Reached 2237100000 ; States-in-collection: 2242060855 ; Time: 1773776837.309442
>>>Queue Stats: inserted=2242060855 items_in_queue=4960855 extracted=2237100000
Reached 2237200000 ; States-in-collection: 2242063836 ; Time: 1773776837.690701
>>>Queue Stats: inserted=2242063836 items_in_queue=4863836 extracted=2237200000
Reached 2237300000 ; States-in-collection: 2242072959 ; Time: 1773776838.034855
>>>Queue Stats: inserted=2242072959 items_in_queue=4772959 extracted=2237300000
Reached 2237400000 ; States-in-collection: 2242108892 ; Time: 1773776838.614497
>>>Queue Stats: inserted=2242108892 items_in_queue=4708892 extracted=2237400000
Reached 2237500000 ; States-in-collection: 2242117084 ; Time: 1773776839.131596
>>>Queue Stats: inserted=2242117084 items_in_queue=4617084 extracted=2237500000
Reached 2237600000 ; States-in-collection: 2242129372 ; Time: 1773776839.823938
>>>Queue Stats: inserted=2242129372 items_in_queue=4529372 extracted=2237600000
Reached 2237700000 ; States-in-collection: 2242162591 ; Time: 1773776840.614361
>>>Queue Stats: inserted=2242162591 items_in_queue=4462591 extracted=2237700000
Reached 2237800000 ; States-in-collection: 2242210303 ; Time: 1773776841.269833
>>>Queue Stats: inserted=2242210303 items_in_queue=4410303 extracted=2237800000
Reached 2237900000 ; States-in-collection: 2242251999 ; Time: 1773776841.768849
>>>Queue Stats: inserted=2242251999 items_in_queue=4351999 extracted=2237900000
Reached 2238000000 ; States-in-collection: 2242301823 ; Time: 1773776842.151940
>>>Queue Stats: inserted=2242301823 items_in_queue=4301823 extracted=2238000000
Reached 2238100000 ; States-in-collection: 2242317788 ; Time: 1773776842.783445
>>>Queue Stats: inserted=2242317788 items_in_queue=4217788 extracted=2238100000
Reached 2238200000 ; States-in-collection: 2242342364 ; Time: 1773776843.216252
>>>Queue Stats: inserted=2242342364 items_in_queue=4142364 extracted=2238200000
Reached 2238300000 ; States-in-collection: 2242355292 ; Time: 1773776843.769751
>>>Queue Stats: inserted=2242355292 items_in_queue=4055292 extracted=2238300000
Reached 2238400000 ; States-in-collection: 2242387420 ; Time: 1773776844.573976
>>>Queue Stats: inserted=2242387420 items_in_queue=3987420 extracted=2238400000
Reached 2238500000 ; States-in-collection: 2242397343 ; Time: 1773776844.856772
>>>Queue Stats: inserted=2242397343 items_in_queue=3897343 extracted=2238500000
Reached 2238600000 ; States-in-collection: 2242419420 ; Time: 1773776845.196447
>>>Queue Stats: inserted=2242419420 items_in_queue=3819420 extracted=2238600000
Reached 2238700000 ; States-in-collection: 2242430428 ; Time: 1773776845.521129
>>>Queue Stats: inserted=2242430428 items_in_queue=3730428 extracted=2238700000
Reached 2238800000 ; States-in-collection: 2242458189 ; Time: 1773776845.972767
>>>Queue Stats: inserted=2242458189 items_in_queue=3658189 extracted=2238800000
Reached 2238900000 ; States-in-collection: 2242476764 ; Time: 1773776846.428774
>>>Queue Stats: inserted=2242476764 items_in_queue=3576764 extracted=2238900000
Reached 2239000000 ; States-in-collection: 2242483701 ; Time: 1773776846.816285
>>>Queue Stats: inserted=2242483701 items_in_queue=3483701 extracted=2239000000
Reached 2239100000 ; States-in-collection: 2242490154 ; Time: 1773776847.187774
>>>Queue Stats: inserted=2242490154 items_in_queue=3390154 extracted=2239100000
Reached 2239200000 ; States-in-collection: 2242498012 ; Time: 1773776847.518668
>>>Queue Stats: inserted=2242498012 items_in_queue=3298012 extracted=2239200000
Reached 2239300000 ; States-in-collection: 2242527836 ; Time: 1773776847.911962
>>>Queue Stats: inserted=2242527836 items_in_queue=3227836 extracted=2239300000
Reached 2239400000 ; States-in-collection: 2242530780 ; Time: 1773776848.236291
>>>Queue Stats: inserted=2242530780 items_in_queue=3130780 extracted=2239400000
Reached 2239500000 ; States-in-collection: 2242530780 ; Time: 1773776848.514043
>>>Queue Stats: inserted=2242530780 items_in_queue=3030780 extracted=2239500000
Reached 2239600000 ; States-in-collection: 2242538972 ; Time: 1773776849.018031
>>>Queue Stats: inserted=2242538972 items_in_queue=2938972 extracted=2239600000
Reached 2239700000 ; States-in-collection: 2242538972 ; Time: 1773776849.484059
>>>Queue Stats: inserted=2242538972 items_in_queue=2838972 extracted=2239700000
Reached 2239800000 ; States-in-collection: 2242548188 ; Time: 1773776849.735843
>>>Queue Stats: inserted=2242548188 items_in_queue=2748188 extracted=2239800000
Reached 2239900000 ; States-in-collection: 2242555550 ; Time: 1773776849.991441
>>>Queue Stats: inserted=2242555550 items_in_queue=2655550 extracted=2239900000
Reached 2240000000 ; States-in-collection: 2242576878 ; Time: 1773776850.307668
>>>Queue Stats: inserted=2242576878 items_in_queue=2576878 extracted=2240000000
Reached 2240100000 ; States-in-collection: 2242592732 ; Time: 1773776850.709765
>>>Queue Stats: inserted=2242592732 items_in_queue=2492732 extracted=2240100000
Reached 2240200000 ; States-in-collection: 2242600412 ; Time: 1773776851.010923
>>>Queue Stats: inserted=2242600412 items_in_queue=2400412 extracted=2240200000
Reached 2240300000 ; States-in-collection: 2242608604 ; Time: 1773776851.260775
>>>Queue Stats: inserted=2242608604 items_in_queue=2308604 extracted=2240300000
Reached 2240400000 ; States-in-collection: 2242625774 ; Time: 1773776851.567516
>>>Queue Stats: inserted=2242625774 items_in_queue=2225774 extracted=2240400000
Reached 2240500000 ; States-in-collection: 2242643036 ; Time: 1773776851.891072
>>>Queue Stats: inserted=2242643036 items_in_queue=2143036 extracted=2240500000
Reached 2240600000 ; States-in-collection: 2242653660 ; Time: 1773776852.313336
>>>Queue Stats: inserted=2242653660 items_in_queue=2053660 extracted=2240600000
Reached 2240700000 ; States-in-collection: 2242678303 ; Time: 1773776852.715824
>>>Queue Stats: inserted=2242678303 items_in_queue=1978303 extracted=2240700000
Reached 2240800000 ; States-in-collection: 2242703726 ; Time: 1773776853.115936
>>>Queue Stats: inserted=2242703726 items_in_queue=1903726 extracted=2240800000
Reached 2240900000 ; States-in-collection: 2242768348 ; Time: 1773776853.944252
>>>Queue Stats: inserted=2242768348 items_in_queue=1868348 extracted=2240900000
Reached 2241000000 ; States-in-collection: 2242768348 ; Time: 1773776854.284131
>>>Queue Stats: inserted=2242768348 items_in_queue=1768348 extracted=2241000000
Reached 2241100000 ; States-in-collection: 2242792924 ; Time: 1773776854.651592
>>>Queue Stats: inserted=2242792924 items_in_queue=1692924 extracted=2241100000
Reached 2241200000 ; States-in-collection: 2242822725 ; Time: 1773776854.971456
>>>Queue Stats: inserted=2242822725 items_in_queue=1622725 extracted=2241200000
Reached 2241300000 ; States-in-collection: 2242836978 ; Time: 1773776855.358471
>>>Queue Stats: inserted=2242836978 items_in_queue=1536978 extracted=2241300000
Reached 2241400000 ; States-in-collection: 2242866557 ; Time: 1773776855.767592
>>>Queue Stats: inserted=2242866557 items_in_queue=1466557 extracted=2241400000
Reached 2241500000 ; States-in-collection: 2242912415 ; Time: 1773776856.275550
>>>Queue Stats: inserted=2242912415 items_in_queue=1412415 extracted=2241500000
Reached 2241600000 ; States-in-collection: 2242960860 ; Time: 1773776856.762435
>>>Queue Stats: inserted=2242960860 items_in_queue=1360860 extracted=2241600000
Reached 2241700000 ; States-in-collection: 2242987838 ; Time: 1773776857.208323
>>>Queue Stats: inserted=2242987838 items_in_queue=1287838 extracted=2241700000
Reached 2241800000 ; States-in-collection: 2242989532 ; Time: 1773776857.531521
>>>Queue Stats: inserted=2242989532 items_in_queue=1189532 extracted=2241800000
Reached 2241900000 ; States-in-collection: 2242989532 ; Time: 1773776857.871281
>>>Queue Stats: inserted=2242989532 items_in_queue=1089532 extracted=2241900000
Reached 2242000000 ; States-in-collection: 2242997724 ; Time: 1773776858.235436
>>>Queue Stats: inserted=2242997724 items_in_queue=997724 extracted=2242000000
Reached 2242100000 ; States-in-collection: 2243005916 ; Time: 1773776858.648508
>>>Queue Stats: inserted=2243005916 items_in_queue=905916 extracted=2242100000
Reached 2242200000 ; States-in-collection: 2243079644 ; Time: 1773776859.187462
>>>Queue Stats: inserted=2243079644 items_in_queue=879644 extracted=2242200000
Reached 2242300000 ; States-in-collection: 2243136988 ; Time: 1773776859.679241
>>>Queue Stats: inserted=2243136988 items_in_queue=836988 extracted=2242300000
Reached 2242400000 ; States-in-collection: 2243188446 ; Time: 1773776860.059191
>>>Queue Stats: inserted=2243188446 items_in_queue=788446 extracted=2242400000
Reached 2242500000 ; States-in-collection: 2243292392 ; Time: 1773776860.592577
>>>Queue Stats: inserted=2243292392 items_in_queue=792392 extracted=2242500000
instance_run_solver_thread end
Finished running threads for curr_depth=55
Start mark-and-sweep cleanup for curr_depth=55
Finish mark-and-sweep cleanup for curr_depth=55
Running threads for curr_depth=56
instance_run_solver_thread start
Reached 2242600000 ; States-in-collection: 2243349980 ; Time: 1773776861.447847
>>>Queue Stats: inserted=2243349980 items_in_queue=749980 extracted=2242600000
Reached 2242700000 ; States-in-collection: 2243364572 ; Time: 1773776861.689016
>>>Queue Stats: inserted=2243364572 items_in_queue=664572 extracted=2242700000
Reached 2242800000 ; States-in-collection: 2243366364 ; Time: 1773776861.876132
>>>Queue Stats: inserted=2243366364 items_in_queue=566364 extracted=2242800000
Reached 2242900000 ; States-in-collection: 2243366364 ; Time: 1773776862.092559
>>>Queue Stats: inserted=2243366364 items_in_queue=466364 extracted=2242900000
Reached 2243000000 ; States-in-collection: 2243366364 ; Time: 1773776862.245285
>>>Queue Stats: inserted=2243366364 items_in_queue=366364 extracted=2243000000
Reached 2243100000 ; States-in-collection: 2243372447 ; Time: 1773776862.402580
>>>Queue Stats: inserted=2243372447 items_in_queue=272447 extracted=2243100000
Reached 2243200000 ; States-in-collection: 2243390940 ; Time: 1773776862.581295
>>>Queue Stats: inserted=2243390940 items_in_queue=190940 extracted=2243200000
Reached 2243300000 ; States-in-collection: 2243399132 ; Time: 1773776862.785313
>>>Queue Stats: inserted=2243399132 items_in_queue=99132 extracted=2243300000
instance_run_solver_thread end
Finished running threads for curr_depth=56
Start mark-and-sweep cleanup for curr_depth=56
Finish mark-and-sweep cleanup for curr_depth=56
Running threads for curr_depth=57
instance_run_solver_thread start
Reached 2243400000 ; States-in-collection: 2243407324 ; Time: 1773776862.983511
>>>Queue Stats: inserted=2243407324 items_in_queue=7324 extracted=2243400000
instance_run_solver_thread end
Finished running threads for curr_depth=57
Start mark-and-sweep cleanup for curr_depth=57
Finish mark-and-sweep cleanup for curr_depth=57
Running threads for curr_depth=58
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=58
Start mark-and-sweep cleanup for curr_depth=58
Finish mark-and-sweep cleanup for curr_depth=58
Running threads for curr_depth=59
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=59
Start mark-and-sweep cleanup for curr_depth=59
Finish mark-and-sweep cleanup for curr_depth=59
Running threads for curr_depth=60
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=60
Start mark-and-sweep cleanup for curr_depth=60
Finish mark-and-sweep cleanup for curr_depth=60
Running threads for curr_depth=61
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=61
Start mark-and-sweep cleanup for curr_depth=61
Finish mark-and-sweep cleanup for curr_depth=61
Running threads for curr_depth=62
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=62
Start mark-and-sweep cleanup for curr_depth=62
Finish mark-and-sweep cleanup for curr_depth=62
Running threads for curr_depth=63
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=63
Start mark-and-sweep cleanup for curr_depth=63
Finish mark-and-sweep cleanup for curr_depth=63
Running threads for curr_depth=64
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=64
Start mark-and-sweep cleanup for curr_depth=64
Finish mark-and-sweep cleanup for curr_depth=64
Running threads for curr_depth=65
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=65
Start mark-and-sweep cleanup for curr_depth=65
Finish mark-and-sweep cleanup for curr_depth=65
Running threads for curr_depth=66
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=66
Start mark-and-sweep cleanup for curr_depth=66
Finish mark-and-sweep cleanup for curr_depth=66
Running threads for curr_depth=67
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=67
Start mark-and-sweep cleanup for curr_depth=67
Finish mark-and-sweep cleanup for curr_depth=67
Running threads for curr_depth=68
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=68
Start mark-and-sweep cleanup for curr_depth=68
Finish mark-and-sweep cleanup for curr_depth=68
Running threads for curr_depth=69
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=69
Start mark-and-sweep cleanup for curr_depth=69
Finish mark-and-sweep cleanup for curr_depth=69
Running threads for curr_depth=70
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=70
Start mark-and-sweep cleanup for curr_depth=70
Finish mark-and-sweep cleanup for curr_depth=70
Running threads for curr_depth=71
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=71
Start mark-and-sweep cleanup for curr_depth=71
Finish mark-and-sweep cleanup for curr_depth=71
Running threads for curr_depth=72
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=72
Start mark-and-sweep cleanup for curr_depth=72
Finish mark-and-sweep cleanup for curr_depth=72
Running threads for curr_depth=73
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=73
Start mark-and-sweep cleanup for curr_depth=73
Finish mark-and-sweep cleanup for curr_depth=73
Running threads for curr_depth=74
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=74
Start mark-and-sweep cleanup for curr_depth=74
Finish mark-and-sweep cleanup for curr_depth=74
Running threads for curr_depth=75
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=75
Start mark-and-sweep cleanup for curr_depth=75
Finish mark-and-sweep cleanup for curr_depth=75
Running threads for curr_depth=76
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=76
Start mark-and-sweep cleanup for curr_depth=76
Finish mark-and-sweep cleanup for curr_depth=76
Running threads for curr_depth=77
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=77
Start mark-and-sweep cleanup for curr_depth=77
Finish mark-and-sweep cleanup for curr_depth=77
Running threads for curr_depth=78
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=78
Start mark-and-sweep cleanup for curr_depth=78
Finish mark-and-sweep cleanup for curr_depth=78
Running threads for curr_depth=79
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=79
Start mark-and-sweep cleanup for curr_depth=79
Finish mark-and-sweep cleanup for curr_depth=79
Running threads for curr_depth=80
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=80
Start mark-and-sweep cleanup for curr_depth=80
Finish mark-and-sweep cleanup for curr_depth=80
Running threads for curr_depth=81
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=81
Start mark-and-sweep cleanup for curr_depth=81
Finish mark-and-sweep cleanup for curr_depth=81
Running threads for curr_depth=82
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=82
Start mark-and-sweep cleanup for curr_depth=82
Finish mark-and-sweep cleanup for curr_depth=82
Running threads for curr_depth=83
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=83
Start mark-and-sweep cleanup for curr_depth=83
Finish mark-and-sweep cleanup for curr_depth=83
Running threads for curr_depth=84
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=84
Start mark-and-sweep cleanup for curr_depth=84
Finish mark-and-sweep cleanup for curr_depth=84
Running threads for curr_depth=85
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=85
Start mark-and-sweep cleanup for curr_depth=85
Finish mark-and-sweep cleanup for curr_depth=85
Running threads for curr_depth=86
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=86
Start mark-and-sweep cleanup for curr_depth=86
Finish mark-and-sweep cleanup for curr_depth=86
Running threads for curr_depth=87
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=87
Start mark-and-sweep cleanup for curr_depth=87
Finish mark-and-sweep cleanup for curr_depth=87
Running threads for curr_depth=88
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=88
Start mark-and-sweep cleanup for curr_depth=88
Finish mark-and-sweep cleanup for curr_depth=88
Running threads for curr_depth=89
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=89
Start mark-and-sweep cleanup for curr_depth=89
Finish mark-and-sweep cleanup for curr_depth=89
Running threads for curr_depth=90
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=90
Start mark-and-sweep cleanup for curr_depth=90
Finish mark-and-sweep cleanup for curr_depth=90
Running threads for curr_depth=91
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=91
Start mark-and-sweep cleanup for curr_depth=91
Finish mark-and-sweep cleanup for curr_depth=91
Running threads for curr_depth=92
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=92
Start mark-and-sweep cleanup for curr_depth=92
Finish mark-and-sweep cleanup for curr_depth=92
Running threads for curr_depth=93
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=93
Start mark-and-sweep cleanup for curr_depth=93
Finish mark-and-sweep cleanup for curr_depth=93
Running threads for curr_depth=94
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=94
Start mark-and-sweep cleanup for curr_depth=94
Finish mark-and-sweep cleanup for curr_depth=94
Running threads for curr_depth=95
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=95
Start mark-and-sweep cleanup for curr_depth=95
Finish mark-and-sweep cleanup for curr_depth=95
Running threads for curr_depth=96
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=96
Start mark-and-sweep cleanup for curr_depth=96
Finish mark-and-sweep cleanup for curr_depth=96
Running threads for curr_depth=97
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=97
Start mark-and-sweep cleanup for curr_depth=97
Finish mark-and-sweep cleanup for curr_depth=97
Running threads for curr_depth=98
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=98
Start mark-and-sweep cleanup for curr_depth=98
Finish mark-and-sweep cleanup for curr_depth=98
Running threads for curr_depth=99
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=99
Start mark-and-sweep cleanup for curr_depth=99
Finish mark-and-sweep cleanup for curr_depth=99
Running threads for curr_depth=100
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=100
Start mark-and-sweep cleanup for curr_depth=100
Finish mark-and-sweep cleanup for curr_depth=100
Running threads for curr_depth=101
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=101
Start mark-and-sweep cleanup for curr_depth=101
Finish mark-and-sweep cleanup for curr_depth=101
Running threads for curr_depth=102
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=102
Start mark-and-sweep cleanup for curr_depth=102
Finish mark-and-sweep cleanup for curr_depth=102
Running threads for curr_depth=103
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=103
Start mark-and-sweep cleanup for curr_depth=103
Finish mark-and-sweep cleanup for curr_depth=103
instance_run_all_threads end
handle_and_destroy_instance_solution start
Reached 2243407324 ; States-in-collection: 2243407324 ; Time: 1773776862.991068
>>>Queue Stats: inserted=2243407324 items_in_queue=0 extracted=2243407324
Could not solve successfully.
handle_and_destroy_instance_solution end
⇒ On branch master
⇒ Your branch is up to date with 'origin/master'.
 M solve_common.bash
⇒ Remotes:
origin  https://github.com/shlomif/freecell-pro-0fc-deals (fetch)
origin  ssh://git@github.com/shlomif/freecell-pro-0fc-deals (push)
=== Reminders ===
Do Hands/etc. exercises.
Check Facebook for Birthdays
shlomif[fcs]:~/Download/unpack/games/freecell/freecell-pro-0fc-deals$