maps/129.map: 62 x 68, d_max: 10 x 11, v_max: 14.87, checkpoints: 000 first real max: (11 x 31) / (-10 x -8), v: 12.81 first valid max: (19 x 53) / (3 x 8), v: 8.54 218711 moves, 38627 real moves, 20456 valid moves, max_mc: 85 (9 x 29) usr: 0.06, sys: 0.00, costs-usr: 0.00, costs-sys 0.00, maxrss: 6940 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX YY X Y XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX YYYYY Y XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX YYYYYYYY YY XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX YYYYYYYYYY YYY XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX YYYYYYYYYYYYYYYYYY XXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXX YYYYYYYYYYYYYYYYYY XXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXX YYYYYYYYYYYY YYYY XXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXX YYYYYYYYYYYY YYYY XXXXXXXXXXXXXXXXXX XXXXXXX XXXX YYYYYYYYYYYY YYYYY XXXXXXXXXXXXXXXXX XXXXXXX X YYYYYY YYYYYYYYYYY XXXXXXXXXXXXXXXXX XXXXXXX YY YYYYYY YYYYYYYYYYY XXXXXXXXXXXXXXXXX XXXXXXX YYYYY YYYYYY YYYYYYYYYY XXXXXXXXXXXXXXXXX X.. XXX YYYYYYY YYYYYYYYYYYYYYYYYYY X##XXXXXXXXXXXXXX X .. XX YYYYYYYYYYYYYYYYYYYYYYYYYYYY X# XXXXXXXXXXXX X .. X YYYYYYYYYYYYYYYYYYYYYYYYYYY X# XXXXXXXXXX XX .. YYYYYYYYYYYY YYYYYYYYYY XXXXXX# XXXXXXXXX XXX ... YYYYYYYYYYYY YYYYYYYY XXXXXXXXX XXXXXXXX XXXX .. YYYYYYYYYYYY YYYYYYY XXXXXXXXXXXXX XXXXXXX XXXXX .MYYYYYY YYYYYYYYYYY XXXXXXXXXXXXXXX XXXXXX XXXXXX ..YYYYY YYYYYYYYYY XXXXXXXXXXXXXXXXXX XXXXX XXXXXXX .OYYYY YYYYYYYY XXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXX YYYYYYYYYYYY XXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXX YYYYYYYYY XXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXXXXXX YYYYYY X XXXXXXXXXXX XXXXXXX XXX XXXXXXXXXXX YYY@ XX XXXXXXXXX XXXXXXX XX XXXXXXXXXXXX YY @ XXX XXXXXXXXX XXXXXXX XX XXXXXXXXXXXXX Y@ @ XXXX XXXXXXXXX XXXXXXXX XX XXXXXXXXXXXXXX XX@ @XXXXX XXXXXXXXX XXXXXXXX X XXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXXXXXX XXXXXXXXX X XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXX X XXXXXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXX X XXXXXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXX X XXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXX XXXXXXXX X XXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXX XXXXXXXX X X XX XX XXXXXXXX XXXXXXXXXXXXXXX XXXXXXXX XX X XXX XX XXX XX P XXXXXXXXXX XXXXXXXXXX XX X XXXX XX XXXX XX **XXXXXXXXXX XXXXXXXXXX XX XXXXXX XX XXXXXXXX * XXXXXXXXX XXXXXXXXX XXX XXXXXX XX XXXXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXX XX XXXXXXXXX ** XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXX XX XXXXXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXX XX XXXXXXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXX XX XXXXXXXXXXX** XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX XX XXXXXXXXXXXX* XXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXX XX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXX XXX XX XXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 22/38: 54 0 0 19/35: 55 0 0 20/36: 55 0 0 19/37: 55 0 0 21/37: 55 0 0 20/38: 55 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX *.*. XXXX ** XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX *YY .*.. X .*Y * XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX .YYYYY ..*..*. Y .XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX *YYYYYYYY YY *XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX .YYYYYYYYYY YYY .XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX .YYYYYYYYYYYYYYYYYY .XXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXX *YYYYYYYYYYYYYYYYYY *XXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXX .YYYYYYYYYYYY YYYY . XXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXX *YYYYYYYYYYYY YYYY . XXXXXXXXXXXXXXXXXX XXXXXXX XXXX ..YYYYYYYYYYYY YYYYY. XXXXXXXXXXXXXXXXX XXXXXXX *.*. X.* YYYYYY YYYYYYYYYYY* XXXXXXXXXXXXXXXXX XXXXXXX *YY .*..*. YYYYYY YYYYYYYYYYY. XXXXXXXXXXXXXXXXX XXXXXXX ..YYYYY YYYYYY YYYYYYYYYY. XXXXXXXXXXXXXXXXX X XXX * YYYYYYY YYYYYYYYYYYYYYYYYYY * X#!XXXXXXXXXXXXXX X XX . YYYYYYYYYYYYYYYYYYYYYYYYYYYY . X# . XXXXXXXXXXXX X X . YYYYYYYYYYYYYYYYYYYYYYYYYYY * X# . XXXXXXXXXX XX * YYYYYYYYYYYY YYYYYYYYYY . XXXXXX# * XXXXXXXXX XXX . YYYYYYYYYYYY YYYYYYYY . XXXXXXXXX .. XXXXXXXX XXXX ..YYYYYYYYYYYY YYYYYYY .*XXXXXXXXXXXXX .. XXXXXXX XXXXX .YYYYYY YYYYYYYYYYY ...XXXXXXXXXXXXXXX .. XXXXXX XXXXXX * YYYYY YYYYYYYYYY .*.XXXXXXXXXXXXXXXXXX * XXXXX XXXXXXX .. YYYY YYYYYYYY ...XXXXXXXXXXXXXXXXXXXXX.. XXXX XXXXXXXX .. YYYYYYYYYYYY *. XXXXXXXXXXXXXXXXXXXXXXX. XXXX XXXXXXXXX * YYYYYYYYY . XXXXXXXXXXXXXXXXXXXXXXXXXX. XXX XXXXXXXXXX . YYYYYY . X XXXXXXXXXXX XXXXXXX.. XXX XXXXXXXXXXX . YYY@ *XX XXXXXXXXX XXXXXXX* XX XXXXXXXXXXXX * YY @ .XXX XXXXXXXXX XXXXXXX. XX XXXXXXXXXXXXX .. Y@ @ *XXXX XXXXXXXXX XXXXXXXX. XX XXXXXXXXXXXXXX . XX@ *XXXXX XXXXXXXXX XXXXXXXX. X XXXXXXXXXXXXXXX.. XXXXXXXXXX XXXXXXXXXXX XXXXXXXXX. X XXXXXXXXXXXXXXXX* XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. X XXXXXXXXXXXXXXXX. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX* X XXXXXXXXXXXXXXXX. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. X XXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. X XXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . X XXXXXXXXXXXXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . X XXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * X XXXXXXXXXXXXXXXX . XXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXX . X XXXXXXXXXXXXXXXX .XXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXX . X XXXXXXXXXXXXXXXX .XXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXX . X XXXXXXXXXXXXXXXX * XXXXXXXX XXXXXXXXXXXXXXX XXXXXXXX . X XXXXXXXXXXXXXXXX ..XXXXXXXX XXXXXXXXXXXXXXX XXXXXXXX * X X XX XX .XXXXXXXX XXXXXXXXXXXXXXX XXXXXXXX .XX X XXX XX XXX XX . XXXXXXXXXX XXXXXXXXXX ..XX X XXXX XX XXXX XX ..XXXXXXXXXX XXXXXXXXXX . XX XXXXXX XX XXXXXXXX * XXXXXXXXX XXXXXXXXX *XXX XXXXXX XX XXXXXXXX ..XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX ..XXX XXXXXX XX XXXXXXXXX ..XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .XXXX XXXXXX XX XXXXXXXXX ..XXXXXXXXXXXXXXXXXXXXXXXXXXXXX ..XXXX XXXXXX XX XXXXXXXXXX *.XXXXXXXXXXXXXXXXXXXXXXXXXXX *XXXXX XXXXXX XX XXXXXXXXXXX ..XXXXXXXXXXXXXXXXXXXXXXXXX .XXXXXX XXXXXX XX XXXXXXXXXXXX ..XXXXXXXXXXXXXXXXXXXXXXX .XXXXXXX XXXXX XX XXXXXXXXXXXX .*.XXXXXXXXXXXXXXXXXXX .*XXXXXXXX XXX XX XXXXXXXXXXX ....XXXXXXXXXXXXX ...XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX .*... ..*. XXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX ...*.....*.. XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.07 real 0.06 user 0.01 sys