<3,4,4> new best rank=47 at step=11474864 <3,4,4> new best rank=46 at step=13145840 <3,4,4> new best rank=45 at step=14413376 <3,4,4> new best rank=44 at step=17993824 <3,4,4> new best rank=43 at step=18924512 <3,4,4> new best rank=42 at step=26630160 <3,4,4> new best rank=41 at step=72841168 <3,4,4> new best rank=40 at step=162795264