maps/053.map: 82 x 45, d_max: 12 x 8, v_max: 14.42, checkpoints: 000 first real max: (14 x 10) / (-12 x -7), v: 13.89 first valid max: (13 x 10) / (-11 x 2), v: 11.18 429581 moves, 149271 real moves, 78920 valid moves, max_mc: 143 (37 x 26) usr: 0.50, sys: 0.02, costs-usr: 0.00, costs-sys 0.00, maxrss: 18276 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX =X XXX XX XX XX XX XX XXXX XXX =X.. XXXXXXXXXXXXXXXXXXXXXXXX X XX =X ... # #XXX XX XX XX XXX X XX =X # .. XXXXXXXXXXXXXXXX X X =X ...XX XXX XX XXX X X =X# ... XXXXXXXX XXXXX XXX X =X X.. XXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX X =X # X... XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X =X X***PO XXXXXXXX XXXXX XXX X =X# ******XXXX XXXXXXXX XXXXXX X XX**** # XX XXXX XXXXXX XXXXX X XXXXXXXXXXX X XXXXXXX XXXXXXX XXXXXX XXXX X XXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXX X XXXXX XXX X XXXXXXXXXX XXXXXXXXXXXXXXX XXXXX X X X XXX XXXXXXX XXXX XXXXXXXXXXXXXXXXX XXX XXX X XX XX XX X XX XXXXXXXXXXXXXXX XX X X X XX X X XXXXX XXXXXXXXXXXXX XXX X XXX X X XXXXXXXXX XXXXXXXXXXX XXXXXX X XX XX X XXX XXXX XXX XXXXXXXXX XXXXXXXXX X XX XX X XXX XXX X XX XXXXXXXX XXXXXXXXXXX X X XX X XX XX XXXXX XXXXXX X XXXXXXXXXXXX X X XX X X XX X X XXXX XXXXX XXXXXXXXXXXX X X XX X X XX XXXXXXXXX XXXXX XXXXXXXXXXXX XX XXX X X XX XXXX XXX XXXX XXXXXXXXXXX XXX XXX X XX XXX X XX XXXXX M XXXXXXXXX XX XXXXX XXXX X X X XXXXXXX XXXX X XXXXXXX XX XXXXXXXX XXXXX X X X XX XXXX XXXX XXXXX XXXXXXX XXXXXXXXXXX X X X X X XX XXXX XXXX XX XXXXXX XXXXXXXXXXXXXX X X XXXXX XXXX XXXX XX XXXXX XXXXXXXX @XXX X X X XXX XXXX XXXXX XXXX XXXXXXXXX @ XXX X X XX XXXX XXXX XXXX XXXXXXXX @XXX X X XX XXXXX XXXXX XXXXXXXXXX XX @ XXX X XXX XXXXXX X XXXXX XX X @XXX X XXXX XXXXXXXX XXXXXX XX X @ XXX X XXXXXXXXXXXXXXXXXX XXXXXX XX XX X @XXX X XXXXXXXXXXXXXXXX XXXXXXX X X @ XXX XX XXXXXXXXXXXXX XX X XXX XXX @XXX XX XXX X X XX XX XX @ XXX XXX X XXXX X XXX XX X XX XX @XXX XXXX XX XXXXXX X X XXXX X @ XXX XXXXXX XXXXXXXX X XXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 78/30: 90 0 0 77/31: 90 0 0 78/32: 90 0 0 77/33: 90 0 0 78/34: 90 0 0 77/35: 90 0 0 78/36: 90 0 0 77/37: 90 0 0 78/38: 90 0 0 77/39: 90 0 0 78/40: 90 0 0 77/41: 90 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX =X XXX XX XX XX XX XX XXXX ..*....*.. XXX =X XXXXXXXXXXXXXXXXXXXXXXXX ...*.....*..X ..*. XX =X # # #XXX XX XX XX XXX ..*... X .. XX =X # XXXXXXXXXXXXXXXX ..... X .* X =X XX XXX XX XXX ..*.. X .. X =X# XXXXXXXX ..... XXXXX XXX .. X =X X XXXX ...*.. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX* X =X # X ..*.....*... XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. X =X X.*.. XXXXXXXX ...*.....*.. XXXXX XXX.. X =X# ...XXXX XXXXXXXX ..*... ..*.. XXXXXX . X XX !. XX XXXX XXXXXX .... ..*. XXXXX * X XXXXXXXXXXX X XXXXXXX XXXXXXX .*.. XXXXXX.. XXXX . X XXXXXXXXXXXXXXXX XXXXXXXXXXXXX ... XXXXXXXXXXXXXXXXXXXX.* XXXX . X XXXXX XXX X XXXXXXXXXX ... XXXXXXXXXXXXXXX XXXXX.. X X . X XXX XXXXXXX XXXX .*. XXXXXXXXXXXXXXXXX XXX .. XXX . X XX XX XX X XX .. XXXXXXXXXXXXXXX ..*..*. XX * X X * X XX X X XXXXX ..XXXXXXXXXXXXX .*.. XXX.* X . XXX . X X *.*. XXXXXXXXX ..XXXXXXXXXXX .... XXXXXX.. X ..XX .XX X *XXX.* XXXX XXX *.XXXXXXXXX .*. XXXXXXXXX* X .XX .XX X ..XXX .. XXX X XX ..XXXXXXXX .... XXXXXXXXXXX. X * X *XX X * XX * XX XXXXX .. XXXXXX .*.X XXXXXXXXXXXX * X . X .XX X X . XX . X X XXXX .. XXXXX .. XXXXXXXXXXXX .* X .X . XX X X . XX .XXXXXXXXX .. XXXXX .. XXXXXXXXXXXX .*. XX * *XXX X X * XX *XXXX XXX * XXXX *. XXXXXXXXXXX .*. XXX .. ..XXX X . XX .XXX X XX .. XXXXX . XXXXXXXXX .*.XX XXXXX * *XXXX X .X X ..XXXXXXX .. XXXX .X XXXXXXX .. XX XXXXXXXX **XXXXX X .X X .XX XXXX .. XXXX . XXXXX *. XXXXXXX XXXXXXXXXXX X *X X *X X XX * XXXX * XXXX XX. XXXXXX XXXXXXXXXXXXXX X . X .XXXXX .. XXXX . XXXX .*XX XXXXX XXXXXXXX .**XXX X X. X .XXX .. XXXX . XXXXX *. XXXX XXXXXXXXX .*.@ XXX X X. XX * * XXXX . XXXX .. XXXX XXXXXXXX ..*..*. @XXX X X* XX .. .. XXXXX * XXXXX *XXXXXXXXXX ..*....*.. XX @ XXX X . XXX *. * XXXXXX .X XXXXX .XX ..*.. X @XXX X . XXXX .*.* XXXXXXXX . XXXXXX * .*.. XX X @ XXX X * XXXXXXXXXXXXXXXXXX .* XXXXXX *.*.XX XX X @XXX X . XXXXXXXXXXXXXXXX ... XXXXXXX X X @ XXX XX *.XXXXXXXXXXXXX..*. XX X XXX XXX @XXX XX .*...*....*.. XXX X X XX XX XX @ XXX XXX X XXXX X XXX XX X XX XX @XXX XXXX XX XXXXXX X X XXXX X @ XXX XXXXXX XXXXXXXX X XXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.53 real 0.50 user 0.04 sys