<3,4,4> new best rank=47 at step=3854272 <3,4,4> new best rank=46 at step=10888624 <3,4,4> new best rank=45 at step=11794448 <3,4,4> new best rank=44 at step=12302672 <3,4,4> new best rank=43 at step=13796720 <3,4,4> new best rank=42 at step=20358848 <3,4,4> new best rank=41 at step=24940640 <3,4,4> new best rank=40 at step=26170512