maps/045.map: 79 x 96, d_max: 12 x 13, v_max: 17.69, checkpoints: 000 first real max: (18 x 17) / (-11 x -13), v: 17.03 first valid max: (35 x 21) / (8 x -7), v: 10.63 990287 moves, 259850 real moves, 109528 valid moves, max_mc: 190 (27 x 29) usr: 0.93, sys: 0.05, costs-usr: 0.00, costs-sys 0.00, maxrss: 28220 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXX .XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXX =XXX .. XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXX =XX .. XXXXXXXXXXXXX XXXXXXX XXXXXXXXXX XXXXX =X .. XXXXXXXXXXX XXXXXXXXXX XXXXXXXXX XXXX =X .. XXXXXXXXX XXXXXXXXXX XXXXXXXXX XXX =X XXXX.. XXXXXXXX XXXXXXXXXX XXXXXXXX XX X XX =X XXXXXX. XXXXXXX XXXXXXXXXXX XXXXXXX XXX XX XX =X XXXXXX . XXXXXX XXX XXXXXXXXXX XXXXXX XXXX XXX XX XX XXXXXX .. XXXXXX XXXX XXXXXX XXXXXX XXXX XXX XX X XXXXXX .. XXXXXX XXXX XXXXX XXXXX XXXX XX XX X XXXXXXX .. XXXXX XXXXXX ** XXXX XXXXX XXXX XX X X XXXXXXXX .. XXXX XXXXXXXXXX ** XXXX XXXXX XXX XX X X XXXXXX .. XXX XXXXXXXXX** XXXX XXXXX XXX XX X XX XXXXX O XXX XXXXX ** XXXX XXXX XXX XX X XXX XXXX XXXX ** XXXXX XXX XXXX XX X XXXX XXXX XXX ** XXXXXX XXX XXX XX X XXXXXXXX XXXX XXXX **XXXXXXXXXXX XXX X XX X XXXXXXXX XXXXX XXX P*XXXXXXXXXXXX XXXX X X XXXXXXXX XXXXX XX XXXXXXXXXXX XXXXXX XXX X XXXXXXXXX XXXXX XXXXXXXXXXX XXXXXX XXX X XXXXXXXXXX XXXX XXXXXXXXXXXXX XXXXXXX XXXX X XXXXXXXXXXX XXXXX XXXXXXXXXXXXXXX XXXXXXX XXX X XXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXX X XXXXX XXXX X XXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXX XXXXX XXXX X XXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXX XXXX XXXXX X XXXXXXXXXXXXXX XX MXXXXXXXXXXXXXXXXX XXXX XXXXX X XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXX XXXXX X XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX X XXX XXXXX XX X XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXX XXXX XXX X XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXXX XXXX XXX X XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXXXX XXXX XXX X XXXXXXXXXXXXXXX XXXXXX XXXXXXXXX XXXXXX XXX XXXX X XXXXXXXXXXXXXX XXXXXX XXXXXX XXXXXX XXX@ XXXX X XXXXXXXXXXXX XXXXXX XXXXXX XXXXXX XXX@ XXXX X XXXXXXXXXXXX XXXXXX XXXXX XXXXXX XXX@ XXXXX X XXXXX XXXXXX XXXXXX XXXXX XXX XXXX X X XXXX X XXXXXX XXXXXX XXXX XXX XXXX XXX X XXX XX XXXXXXX XXXXX XXXXX XXXXXX XXXX X XX XX X XXXXXXX XXX XXXXX XXXX XXXXX XXXX X XX X X XXXXX XXXXX XXXX XXXX XXXX @ XXXXX X XX X XXXXXXXXX XXXXXXXX XXXX XXXX XXX @ XXXXX X XX XXXXXXX XXXXXXXXXX XXXXX XXX XXX @ XXXX X XX XX XXXXXX XXXXXXXXXXX XXXX XXX X XXXX XXXX X XXX XXXXXX XXXXXXXXXXXX XXXXX XXXX XXXXXXXX X X XXXXXX XXXXXXXXXXXXXXX XXXXX XXXX XXXXXX X X X XXXXX XXXXXXXXXX XXXXX XXXX XXXXX X@@@@@@X X X XXXXXXXXXX X XXXX XXXX XXX XXXXXXXXXX XX XXXXXXXX X XXXXX XXXXX XXX XXXXX XX XX XXXXXXXX XXXXX XXXX X XXX XXXXX ## XX XXXX XXXXXXXX XXXXXXX XXXX XXXXX XXXXXX # XX XXXXXXXXXX XXXXXXXX XXXXXXXX XXXX XXXX XXXXXX XX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXX XXXXX X XXX XXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXX XXXXX XXXX XXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXX XXXXX XXX XXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXXX XXXXXX XXX XXXXXX XXXXXXXX XXXXXXX XXXXXX XXXXXXXXX XXXXX XXX XXXXX XXXXXXX XXXXXX XXXXX XXXXXXXXX XXXXX XX XXXXX XXXXXX XXXX XXXXX XXXXXX XX XXXXXX XXX XXXX XXXX X XXXXX X XXXXX XXX XXXXX XXX XXXX XX XXXX XXX XXXXX XXX XXXX XXXX XXXX XX XX XXXX XXXX XXXX XXX XX XXX XXXX X XXXXX XXX XXXX XXXX XXXX XXXX XXX XXXX X XXXXXXXXXXXX XXXXX XXXX XXXXX XXX XXX XXXXX X XXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXX XXXX XXXX XXXXX X XXXXXXXXXXXXXXXXXXXXX XXXXX XXXXX XXXX XXXX XXXXXX XX XXXX XXXXXXXXXX XXXXX XXXXX XXXXX XXXXX XXXXXX XXX X XXXX XXXXX XXXXX XXXXXXXXXX XXXXXX XXXX X XXXXXX XXXXX XXXXXXXX XXXXXXX XXXXX XX XX XXXXXX XXXXX XXXXXXXX XXXXXX X XXXXXXX XXXXX XXXXXXXXXX XXXXXXX XXXX XXXXXXX XXXXX XXXXXXXXXXX XXXXXXXX XXXXXX XXXXXXX XXXXXXX XXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX X X XX XX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX X X X X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 58/36: 131 0 0 58/37: 131 0 0 58/38: 131 0 0 60/43: 132 0 0 61/44: 132 0 0 62/45: 132 0 0 72/49: 132 0 0 73/49: 132 0 0 74/49: 132 0 0 75/49: 132 0 0 76/49: 132 0 0 77/49: 132 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXX XXXXXXXXXXXXXXXXXXXXXXXXX ..*...*.. XXXXXXXXXXXXXX XXXXXXXXXX =XXX XXXXXXXXXXXXXXXXXXXXXX .*.. ..*. XXXXXXXXXXXX XXXXXXX =XX XXXXXXXXXXXXX .. XXXXXXX.. XXXXXXXXXX XXXXX =X XXXXXXXXXXX *. XXXXXXXXXX .* XXXXXXXXX XXXX =X XXXXXXXXX .. XXXXXXXXXX .. XXXXXXXXX .*..*. XXX =X XXXX XXXXXXXX .. XXXXXXXXXX ..XXXXXXXX *. XX X.* XX =X XXXXXX XXXXXXX * XXXXXXXXXXX * XXXXXXX .. XXX XX . XX =X XXXXXX XXXXXX .XXX XXXXXXXXXX . XXXXXX * XXXX XXX * XX XX XXXXXX XXXXXX .XXXX XXXXXX ..XXXXXX .XXXX XXX. XX X XXXXXX XXXXXX *XXXX XXXXX . XXXXX .XXXX XX . XX X XXXXXXX XXXXX .XXXXXX XXXX * XXXXX *XXXX XX * X X XXXXXXXX XXXX . XXXXXXXXXX XXXX . XXXXX .XXX XX . X X XXXXXX XXX . XXXXXXXXX XXXX . XXXXX .XXX XX . X XX XXXXX XXX * XXXXX XXXX . XXXX .XXX XX . X XXX XXXX XXXX . XXXXX . XXX *XXXX XX * X XXXX XXXX XXX . XXXXXX * XXX .XXX XX . X XXXXXXXX XXXX XXXX. XXXXXXXXXXX . XXX .. X XX . X XXXXXXXX XXXXX XXX. XXXXXXXXXXXX ..XXXX . X . X XXXXXXXX XXXXX XX* XXXXXXXXXXX . XXXXXX * XXX . X XXXXXXXXX XXXXX . XXXXXXXXXXX * XXXXXX .. XXX * X XXXXXXXXXX XXXX . XXXXXXXXXXXXX .. XXXXXXX. XXXX .. X XXXXXXXXXXX XXXXX . XXXXXXXXXXXXXXX .. XXXXXXX . XXX . X XXXXXXXXXXXX XXXXX . XXXXXXXXXXXXXXXX X* XXXXX .. XXXX .. X XXXXXXXXXXXX XXXXX * XXXXXXXXXXXXXXXX . XXXXX * XXXX * X XXXXXXXXXXXXXX XXXX .. XXXXXXXXXXXXXXXX . XXXX .. XXXXX . X XXXXXXXXXXXXXX XX . XXXXXXXXXXXXXXXXX * XXXX .. XXXXX . X XXXXXXXXXXXXXXX .. XXXXXXXXXXXXXXXX .. XXX .. XXXXX .* X XXXXXXXXXXXXXXXX * XXXXXXXXXXXXXXXX .X XXX * XXXXX ... XX X XXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXX .. XXX ..XXXX .*. XXX X XXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXX * XXXX ..XXXX .. XXX X XXXXXXXXXXXXXXXX .* XXXXXXXXXXXXXXXX . XXXXX *XXXX .*. XXX X XXXXXXXXXXXXXXX ..XXXXXX XXXXXXXXX .XXXXXX .XXX *. XXXX X XXXXXXXXXXXXXX ..XXXXXX XXXXXX .XXXXXX ..XXX* XXXX X XXXXXXXXXXXX .*.XXXXXX XXXXXX .XXXXXX . XXX@ XXXX X XXXXXXXXXXXX ... XXXXXX XXXXX *XXXXXX * XXX@ XXXXX X XXXXX .*. XXXXXX XXXXXX .XXXXX . XXX XXXX X X XXXX X ... XXXXXX XXXXXX . XXXX . XXX XXXX XXX X XXX XX.*. XXXXXXX .*..*. XXXXX . XXXXX . XXXXXX XXXX X XX XX *.X XXXXXXX .*.XXX .* XXXXX * XXXX . XXXXX XXXX X XX X.X XXXXX .. XXXXX .. XXXX . XXXX * XXXX @ XXXXX X XX X * XXXXXXXXX .*.XXXXXXXX * XXXX .. XXXX . XXX @ XXXXX X XX . XXXXXXX .. XXXXXXXXXX . XXXXX . XXX .. XXX @ XXXX X XX *XX XXXXXX .. XXXXXXXXXXX . XXXX * XXX .X XXXX XXXX X XXX. XXXXXX *. XXXXXXXXXXXX* XXXXX.. XXXX * XXXXXXXX X X . XXXXXX .XXXXXXXXXXXXXXX.. XXXXX. XXXX .. XXXXXX X X *X XXXXX . XXXXXXXXXX * XXXXX.. XXXX .. XXXXX X@@@@@@X X . X .* XXXXXXXXXX X . XXXX * XXXX * XXX XXXXXXXXXX XX* .. XXXXXXXX * X XXXXX.. XXXXX . XXX XXXXX XX XX *. ..*. XXXXXXXX . XXXXX. XXXX X. XXX XXXXX !# XX XXXX.*..*.. XXXXXXXX .XXXXXXX XXXX . XXXXX * XXXXXX .# XX XXXXXXXXXX XXXXXXXX *XXXXXXXX XXXX .. XXXX .. XXXXXX . XX XXXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXX XXXX * XXXXX .X XXX . XXXX XXXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXX XXXXXX.. XXXXX .. XXXX .XXXXX XXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXX XXXXXX .. XXXXX * XXX .XXXXXX XXXXXXXXXXXXXXXXXXXXX * XXXXXX XXXXXXX .. XXXXXX.. XXX *XXXXXX XXXXXXXX XXXXXXX . XXXXXX XXXXXXXXX * XXXXX .. XXX . XXXXX XXXXXXX XXXXXX . XXXXX XXXXXXXXX . XXXXX * XX . XXXXX XXXXXX XXXX * XXXXX *.*. XXXXXX XX . XXXXXX.. XXX . XXXX XXXX X . XXXXX * X .* XXXXX XXX *. XXXXX * XXX . XXXX XX .*..*. .* XXXX .XXX . XXXXX XXX .. XXXX . XXXX* XXXX XX *. XX .*..*. XXXX *XXXX * XXXX XXX .*.XX * XXX.. XXXX X ..XXXXX XXX XXXX .XXXX . XXXX XXXX .*.* XXX. XXXX X * XXXXXXXXXXXX XXXXX .XXXX .XXXXX XXX XXX.. XXXXX X .XXXXXXXXXXXXXXXXXXXXXXX *XXXX *XXXXX XXXX XXXX* XXXXX X . XXXXXXXXXXXXXXXXXXXXX .XXXXX . XXXXX XXXX XXXX.. XXXXXX XX * XXXX XXXXXXXXXX . XXXXX . XXXXX XXXXX XXXXX.. XXXXXX XXX .. X XXXX * XXXXX . XXXXX XXXXXXXXXX.. XXXXXX XXXX *. X . XXXXXX * XXXXX XXXXXXXX.* XXXXXXX XXXXX .*. XX XX .* XXXXXX . XXXXX .. XXXXXXXX XXXXXX .*...*.. X .*. XXXXXXX . XXXXX .. XXXXXXXXXX XXXXXXX XXXX ..*...*. XXXXXXX. XXXXX .*. XXXXXXXXXXX XXXXXXXX XXXXXX XXXXXXX XXXXXXX. XXXXXX .... XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX* XXXX .*. XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.. XXXXX ..XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXX ..XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .. XXXXX *.XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * XXXXX . XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * XXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX ..XXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .XXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX ..XXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * XXXXXX .* XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXX.. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXX.. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * X .*. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . X .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * .*. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX *.*. XXXXXXXXXXXXXXXXXXXXXX X X XX XX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX X X X X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 1.00 real 0.93 user 0.06 sys