<3,4,4> new best rank=47 at step=5934656 <3,4,4> new best rank=46 at step=6839376 <3,4,4> new best rank=45 at step=9896544 <3,4,4> new best rank=44 at step=13077664 <3,4,4> new best rank=43 at step=13287296 <3,4,4> new best rank=42 at step=21608240 <3,4,4> new best rank=41 at step=2995096528 <3,4,4> new best rank=40 at step=2998452960