maps/226.map: 57 x 68, d_max: 10 x 11, v_max: 14.87, checkpoints: 1df first real max: (38 x 22) / (9 x -9), v: 12.73 first valid max: (43 x 35) / (8 x 8), v: 11.31 308272 moves, 40340 real moves, 25162 valid moves, max_mc: 61 (10 x 50) usr: 1.07, sys: 0.03, costs-usr: 0.00, costs-sys 0.00, maxrss: 31168 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXX#XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXX#X XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXX#X XXXXXXXXX XXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXX@X X X X XXXXXXXXXXXXXXXXX =XXXXXXXXXXXXX@X XXX X X XXX XXXXXXXXXXXXXXXX =XXXXXXXXXXXX@X XXXXX X X X XXXXX XXXXXXXXXXXXXXX =XXXXXXXXXXXXX XXXXXXX X X XXXXXXX XXXXXXXXXXXXXX =XXXXXXXXXXXXXX XXXXX X X X XXXXX XXXXXXXXXXXXXXX =XXXXXXXXXXXXXXX XXX X X XXX XXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXX X X X XXXXXXX.XXXXXXXXX =XXXXXXXXXXXXXXXXX X X XXX X X XXXXXXX.X#XXXXXXXX =XXXXXXXXXXXXXXXXXX X X X ZZZZX X X X ZZZZXXX. X#XXXXXXX =XXXXXXXXXXXXXXXXXXX X X YYYYZXX X X YYYYZXX. XXXXXXXX =XXXXXXXXXXXXXXXXXX X X X222YZX X X X111YZX. XXXXXXX XXXXXXXXXXXXXXXXXX X X2222YZ X X1111YZ. XXXXXX XXXXXXXXXXXXXXXXX Y22222Y Y11111Y. X X@XXX XXXXXXXXXXXXXXXX ZY2222X X ZY1111X.X XXX X@XX XXXXXXXXXXXXXXX XZY222X X X XZY111X.X X XXXXX X@X XXXXXXXXXXXXXX XXZYYYY X X XXZYYYYOX X XXXXXXX XX XXXXXXXXXXXXXXX XZZZZ X X X XZZZZ X X X XXXXX XXX XXXXXXXXXXXXXXXX XXX X X XXX X X XXX XXXX XXXXXXXXX@XXXXXXX X X X X X XXXXX XXXXXXXX@X XXXXXXX X X XXX X X XXX X X XXXXXX XXXXXXX@X XXXZZZZ X X X XZZZZ X X X XZZZZ X X X XXXXXXX XXXXXXXX XXZYYYY X X XXZYYYY X X XXZYYYY X X XXXXXXXX XXXXXXX XZY999X X X XZY888X X X XZY777X X X XXXXXXX XXXXXX ZY9999X X ZY8888X X ZY7777X X XXXXXX XXX#X X Y99999Y X88888Y Y77777Y XXXXX XX#X XXX X X9999YZ X X8888YZ X X7777YZ XXXX X#X XXXXX X X X999YZX X X X888YZX X X X777YZX XXX XX XXXXXXX X X YYYYZXX X X YYYYZXX X X YYYYZXX XX XXX XXXXX X X X ZZZZX X X X ZZZZX X X XPZZZZX XXX XXXX XXX X X XXX X X XXX X X *XXX XXXX XXXXX X X X X X X *X XXXXX XXXXXX X X XXX X X XXX X X XXX X*X XXXXXX XXXXXXX X X X ZZZZX X X X ZZZZX X X X ZZZZX X X*X XXXXXXX XXXXXXXX X X YYYYZXX X X YYYYZXX X X YYYYZXX X X*XXXXXXXX XXXXXXX X X X555YZX X X X444YZX X X X333YZX X X X*XXXXXXX XXXXXX X X5555YZ X X4444YZ X X3333YZ X X *XXXXXX XXXXX Y55555Y Y44444Y Y33333Y X *XXXXX XXXX ZY5555X X ZY4444X X ZY3333X X XXX XXXX XXX XZY555X X X XZY444X X X XZY333X X X XXXXX XXX XX XZYYYY X X XXZYYYY X X XXZYYYY X X XXXXXXX XX X@X XZZZZ X X X XZZZZ X X X XZZZZ X X X XXXXX X#X XX@X XXX X X XXX X X XXX X X XXX X#XX XXX@X X X X X X X X#XXX XXXXXX M XXX X X XXX XXX XXXXXX XXXXXXX XXXXX X X X XXXXX XXXXX XXXXXXX XXXXXXXX XXXXXXX X X XXXXXXX XXXXXXX XXXXXXXX XXXXXXX#X XXXXXXX X X X XXXXXXX XXXXXXXXX X@XXXXXXX XXXXXXXX#X XXXXXXX X X XXXXXXX XXXXXXXXXXX X@XXXXXXXX XXXXXXXXX#XXXXXXX X XXXXXXXXXXXXXXXXXXX@XXXXXXXXX XXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XLLLXLXXXLXLXXXX XXX XXXXXXXXXWXXWXWXWXXXWXXXWWWX XLXXXLXXXLXLXXXXX X XXXXXXXXXXWXWXXWXWXXXWXXXWXXX XLLLXLXXXLXLXXXXXX XXXXXXXXXXXWWXXXWXWXXXWXXXWWWX XXXLXLXXXXLXXXXXXXX XXXXXXXXXXXXWXWXXWXWXXXWXXXXXWX XLLLXLLLXXLXXXXXXXXX XXXXXXXXXXXXXWXXWXWXWWWXWWWXWWWX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 53/19: 117 0 0 54/20: 117 0 0 2/48: 117 0 0 3/49: 117 0 0 48/54: 117 0 0 47/55: 117 0 0 15/7: 118 0 0 14/8: 118 0 0 55/21: 118 0 0 1/47: 118 0 0 49/53: 118 0 0 13/9: 119 0 0 9/25: 119 0 0 8/26: 119 0 0 7/27: 119 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXX#XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXX#X XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXX#X XXXXXXXXX XXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXX .*..*. XXX .*..*. XXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXX@X *. X .*X*. X .* XXXXXXXXXXXXXXXXX =XXXXXXXXXXXXX@X .. XXX X.X XXX .. XXXXXXXXXXXXXXXX =XXXXXXXXXXXX@X * XXXXX X*X*X XXXXX * XXXXXXXXXXXXXXX =XXXXXXXXXXXXX .XXXXXXX.X X.XXXXXXX. XXXXXXXXXXXXXX =XXXXXXXXXXXXXX . XXXXX.X X X.XXXXX . XXXXXXXXXXXXXXX =XXXXXXXXXXXXXXX * XXX* X X *XXX * XXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXX . X. X .X . XXXXXXX#XXXXXXXXX =XXXXXXXXXXXXXXXXX . X.X XXX X.X . XXXXXXX X#XXXXXXXX =XXXXXXXXXXXXXXXXXX*X*X X ZZZZX X X.X*ZZZZXXX X!XXXXXXX =XXXXXXXXXXXXXXXXXXX.X X YYYYZXX X X.YYYYZXX .XXXXXXXX =XXXXXXXXXXXXXXXXXX*X*X X222YZX X X*X.11YZX . XXXXXXX XXXXXXXXXXXXXXXXXX . X.X2222YZ X.X11.1YZ . XXXXXX XXXXXXXXXXXXXXXXX . Y.2222Y .Y1111.Y .X X*XXX XXXXXXXXXXXXXXXX * ZY2*22X X *ZY1111X*X .XXX *X@XX XXXXXXXXXXXXXXX . XZY22.X X X.XZY111X X.X.XXXXX . X@X XXXXXXXXXXXXXX .XXZYYYY.X X.XXZYYYY X X.XXXXXXX* XX XXXXXXXXXXXXXXX . XZZZZ X.X.X XZZZZ X X*X.XXXXX. XXX XXXXXXXXXXXXXXXX * XXX X*X XXX X.X *XXX. XXXX XXXXXXXXX@XXXXXXX . X .X. X .X .X* XXXXX XXXXXXXX@X XXXXXXX . X X .XXX. X X .XXX X.X XXXXXX XXXXXXX@X XXXZZZZ*X X X.XZZZZ.X X X.XZZZZ X.X*X XXXXXXX XXXXXXXX XXZYYYY.X X.XXZYYYY.X X.XXZYYYY.X X.XXXXXXXX XXXXXXX XZY999X*X*X XZY888X*X.X XZY77*X X X*XXXXXXX XXXXXX .*..*. ZY9999X.X ZY8888X*X ZY7.77X X . XXXXXX XXX#X *. X .*Y9999.Y. X8888.Y. Y.7777Y . XXXXX XX#X .. XXX X.X99.9YZ* X X88.8YZ. X.X7777YZ * XXXX X#X * XXXXX X X*X.99YZX.X X X.88YZX.X.X X777YZX . XXX XX .XXXXXXX X X*YYYYZXX.X X.YYYYZXX*X X YYYYZXX. XX XXX * XXXXX X X.X.ZZZZX X.X.X ZZZZX.X.X X ZZZZX . XXX XXXX .. XXX X.X *XXX X*X XXX. X.X XXX * XXXX XXXXX * X .X .X .X. X. X. X . XXXXX XXXXXX .X X *XXX X.X .XXX. X.X XXX* X X . XXXXXX XXXXXXX X*X X.ZZZZX X X.X.ZZZZX.X.X X ZZZZX.X X X*XXXXXXX XXXXXXXX X.X.YYYYZXX X X.YYYYZXX.X X YYYYZXX.X X.XXXXXXXX XXXXXXX X X*X555YZX X X*X.44YZX.X*X X333YZX X*X*X XXXXXXX XXXXXX X.X*555YZ X.X44.4YZ. X.X3333YZ X.X XXXXXX XXXXX .Y55.55Y .Y4444.Y. Y.3333Y .X. XXXXX XXXX *ZY555.X X .ZY4444X*X ZY3.33X X *XXX* XXXX XXX .XZY555X.X X*XZY444X*X.X XZY33*X X X.XXXXX. XXX XX * XZYYYY X*X.XXZYYYY.X X.XXZYYYY.X X.XXXXXXX* XX X@X .. XZZZZ X X.X XZZZZ.X X X*XZZZZ X.X*X XXXXX .. X#X XX@X * XXX X*X. XXX. X X .XXX X*X XXX * X#XX XXX@X* .X . X* X *X .*X. X *X#XXX XXXXXX*. .*XXX *X.X XXX *.*. XXX*. .*XXXXXX XXXXXXX.*..*. XXXXX X.X X XXXXX XXXXX .*..*.XXXXXXX XXXXXXXX XXXXXXX*X.X XXXXXXX XXXXXXX XXXXXXXX XXXXXXX#X XXXXXXX.X X*X XXXXXXX XXXXXXXXX X@XXXXXXX XXXXXXXX#X XXXXXXX* X X. XXXXXXX XXXXXXXXXXX X@XXXXXXXX XXXXXXXXX#XXXXXXX . X * XXXXXXXXXXXXXXXXXXX@XXXXXXXXX XXXXXXXXXXXXXXXX . XXX .. XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX * XXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX . XXXXXXX. XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX . XXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXX XLLLXLXXXLXLXXXX * XXX * XXXXXXXXXWXXWXWXWXXXWXXXWWWX XLXXXLXXXLXLXXXXX.. X .. XXXXXXXXXXWXWXXWXWXXXWXXXWXXX XLLLXLXXXLXLXXXXXX*. .* XXXXXXXXXXXWWXXXWXWXXXWXXXWWWX XXXLXLXXXXLXXXXXXXX.*..*. XXXXXXXXXXXXWXWXXWXWXXXWXXXXXWX XLLLXLLLXXLXXXXXXXXX XXXXXXXXXXXXXWXXWXWXWWWXWWWXWWWX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 1.13 real 1.09 user 0.03 sys