maps/183.map: 83 x 50, d_max: 12 x 9, v_max: 15.00, checkpoints: 01f first real max: (66 x 27) / (12 x -7), v: 13.89 first valid max: (64 x 31) / (11 x -6), v: 12.53 294394 moves, 82977 real moves, 45246 valid moves, max_mc: 109 (51 x 37) usr: 0.42, sys: 0.03, costs-usr: 0.00, costs-sys 0.00, maxrss: 24940 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYYYYYYYYXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYYYYYYY XXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 2 YYY XXXXX =XXXXXXXXXXXXXXXXXXXX 2 XXXXXXXXXYYY XXXX =XXXXXXXXXXXXXYYYYY 2 XXXXXXXXXXXXXXXXXXXXYY XXXX XXXXXXXXXXXXXYYY 2 XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXYYY XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX YXXXX XXXXXXXXXXXYYY XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX YYXXXX XXXXXXXXXXXYY YXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX111YYYXXX XXXXXXXXXXYYY YYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX YXXX XXXXXXXXXXYYY YXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXXXXXXYYY YYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXXXXXXYYY YXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXY XXX XXXXXXXXXXYYY YYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYY XXX XXXXXXXXXXXYY YYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYY XXX XXXXXXXXXXXYYY YXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYY XXX XXXXXXXXXXXXYY 3 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYY XXX XXXXXXXXXXXXXXX 3 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXY .. YXX XXXXYYYYYYYYYXXX 3 YYYYXXXXXXXXXXXXXXXXXXXXXXX... YXX XXXYYYYYYYYYYYYXXXX 3 YYYYXXXXXXXXXXXXXXXXXXX .. YYX XXYYY YYYYXXXXXXXXXXXXX YYYXXXXXXXXXXXXXXXXX... YYX XYYY YYYXXXXXXXXXXXXXXXXXXXXX YYYXXXXXXXXXXXXXXX... YYYX XYY YYYXXXXXXXXXXXXXXXXXXXXXXXXXX YYYYXXXXXXXXXXXX .. ** YYYXX XYY YXXXXXXXXXXXXXXXXXXXXXXXXXX YYYYYXXXXXXXXXX... *** YYYXXX XY XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX YYYYYXXXXXXXX O. *** YYYYXXXX XY XXXXXXXXXX XXXXXXXX XXXXXXXXXXXXX YYYYXXXXXXX ** YYYYXXXXXX XY XXXXXXXXXXXXX XXXXXXX XXXXXXXXXX YYYXXXXXX *** YYXXXXXXXXX XY XXXXXXXXXXXXX XXXXXX XXXXXXXX YYXXXXX *** XXXXXXXXXXXXX X XXXXXXXXXXXXX XXXXX XXXXXX YYXXXXX P* XXXXXXXXXXXXXX X XXXXXXXXXXXX XXXX 44XXXX XXXXXXXX# XXXXXXXXXXXXXXXX X XXXXXXXXXXX XXXX Y 44 XXX XXXXXXXX ## XXXXXXXXXXXXXXXXXX X XXXXXXXXXX XXXX YY44 X XXXXXXXX @ # XXXXXXXXXXXXXXXXXXX X5555XXXXXXXXX XXXX YYY XXXXXXXX @ @ ## XXXXXXXXXX#XXXXXXXXXX X XXXXXXX YYYXX YYYYY XXXXXXXX @ @ #XXXXXXXXXXXXXXXXXXXXXX XX XXXXX YYYY XXYYYY XXXXXXXXX M @ @ XXXXXXXXXXXX#X#XXXXXXXXX XX XXXX YYYYY XXXXXYYY YXXXXXXX @ XXXXXXXXXXXXX#X#X#XXXXXXXX XX XXX YY XXXXXXXXYYYYYYYXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX#XXX#XXXXXXXX XXX XX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX#X#X#X#XXXXXXX XXXY XX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX#XXX#XXX#XXXXXX XXXY XX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXYY XXXXXXXXXXXX XXXX XXX XXXXX XX XX XXXX XXXXY X XXXXXX XXXXX XXXXX XX X XX X XX XXXX XXXXYY XXXXXXXXXX XX X X X X XX XX XXXX XXXXXYY XXXXXXXXXXXXX XXXXXX XXXXX XX X X XX XX XXXX XXXXXXYYX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXX XX XX X XX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 57/36: 80 0 0 57/37: 80 0 0 56/34: 81 0 0 54/35: 81 0 0 56/35: 81 0 0 54/36: 81 0 0 55/37: 81 0 0 55/38: 81 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYYYYYYYYXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYYYYYYY XXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX ..*...*. XXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX ..*.. .* XXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 2 ...*.. YYY. XXXXX =XXXXXXXXXXXXXXXXXXXX 2 ...*... XXXXXXXXXYYY* XXXX =XXXXXXXXXXXXXYYYYY 2 ...*... XXXXXXXXXXXXXXXXXXXXYY. XXXX XXXXXXXXXXXXXYYY ..*.....*... XXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXX XXXXXXXXXXXXYYY ..*.. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * YXXXX XXXXXXXXXXXYYY .*..*..XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .YYXXXX XXXXXXXXXXXYY *. YXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX11.YYYXXX XXXXXXXXXXYYY ..YYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . YXXX XXXXXXXXXXYYY * YXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * XXX XXXXXXXXXXYYY .YYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXX XXXXXXXXXXYYY .YXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXY.. XXX XXXXXXXXXXYYY *YYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYY. XXX XXXXXXXXXXXYY . YYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYY* XXX XXXXXXXXXXXYYY . YXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYY. XXX XXXXXXXXXXXXYY * 3 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYY. XXX XXXXXXXXXXXXXXX . 3 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXY . YXX XXXXYYYYYYYYYXXX *. 3 ..*....*.. YYYYXXXXXXXXXXXXXXXXXXXXXXX * YXX XXXYYYYYYYYYYYYXXXX .*...*....*.. ..*. YYYYXXXXXXXXXXXXXXXXXXX . YYX XXYYY YYYYXXXXXXXXXXXXX .. YYYXXXXXXXXXXXXXXXXX . YYX XYYY YYYXXXXXXXXXXXXXXXXXXXXX .* YYYXXXXXXXXXXXXXXX * YYYX XYY .*..*. YYYXXXXXXXXXXXXXXXXXXXXXXXXXX. YYYYXXXXXXXXXXXX . YYYXX XYY *. .* YXXXXXXXXXXXXXXXXXXXXXXXXXX * YYYYYXXXXXXXXXX .* YYYXXX XY .XXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXX .. YYYYYXXXXXXXX .. YYYYXXXX XY *XXXXXXXXXX * XXXXXXXX XXXXXXXXXXXXX * YYYYXXXXXXX .*.YYYYXXXXXX XY .XXXXXXXXXXXXX* XXXXXXX XXXXXXXXXX . YYYXXXXXX .. YYXXXXXXXXX XY . XXXXXXXXXXXXX. XXXXXX XXXXXXXX * YYXXXXX ..XXXXXXXXXXXXX X *XXXXXXXXXXXXX * XXXXX XXXXXX * YYXXXXX .*.XXXXXXXXXXXXXX X .XXXXXXXXXXXX * XXXX .**. 44XXXX . XXXXXXXX# ...XXXXXXXXXXXXXXXX X .XXXXXXXXXXX . XXXX .*. Y.*4 XXX .*XXXXXXXX ## .*.XXXXXXXXXXXXXXXXXX X *XXXXXXXXXX * XXXX .. YY44*.X ..*.XXXXXXXX @ # .. XXXXXXXXXXXXXXXXXXX X555.XXXXXXXXX . XXXX .*. YYY .*..*.. XXXXXXXX @ @ .!*.XXXXXXXXXX#XXXXXXXXXX X .XXXXXXX . YYYXX .. YYYYY XXXXXXXX @.....#XXXXXXXXXXXXXXXXXXXXXX XX . XXXXX * YYYY .. XXYYYY XXXXXXXXX ... @ XXXXXXXXXXXX#X#XXXXXXXXX XX * XXXX ..YYYYY.*. XXXXXYYY YXXXXXXX .... @ XXXXXXXXXXXXX#X#X#XXXXXXXX XX . XXX *YY .. XXXXXXXXYYYYYYYXXXXX .*. XXXXXXXXXXXXXXXXXXXXXXXXXXX XXX . XXX * .*. XXXXXXXXXXXXXXXXXXXX ... XXXXXXXXXXXXXXXX#XXX#XXXXXXXX XXX * XX *.*. XXXXXXXXXXXXXXXXXX ... XXXXXXXXXXXXXXXX#X#X#X#XXXXXXX XXXY .. XX XXXXXXXXXXXXXXXXX..*. XXXXXXXXXXXXXXXXX#XXX#XXX#XXXXXX XXXY .. XX XXXXXXXXXXXXXXX ..... XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXYY *. XXXXXXXXXXXX ..*.. XXXX XXX XXXXX XX XX XXXX XXXXY .. X .... XXXXXX XXXXX XXXXX XX X XX X XX XXXX XXXXYY .*.. ...*.. XXXXXXXXXX XX X X X X XX XX XXXX XXXXXYY ..*....*... XXXXXXXXXXXXX XXXXXX XXXXX XX X X XX XX XXXX XXXXXXYYX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXX XX XX X XX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.47 real 0.42 user 0.03 sys