<3,4,4> new best rank=47 at step=1794544 <3,4,4> new best rank=46 at step=4760768 <3,4,4> new best rank=45 at step=6762048 <3,4,4> new best rank=44 at step=17974144 <3,4,4> new best rank=43 at step=18083632 <3,4,4> new best rank=42 at step=19926448 <3,4,4> new best rank=41 at step=29554912