maps/056.map: 91 x 41, d_max: 12 x 8, v_max: 14.42, checkpoints: 003 first real max: (73 x 19) / (12 x -7), v: 13.89 first valid max: (72 x 21) / (11 x -6), v: 12.53 247226 moves, 68396 real moves, 39172 valid moves, max_mc: 89 (62 x 25) usr: 0.23, sys: 0.01, costs-usr: 0.00, costs-sys 0.00, maxrss: 11668 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX11111XXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX11111XXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .. XXXX XXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX... XXXX XXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.. XXXX XXX XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX...** XXXXX XX XXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX...*** XXXXXX XX XXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX ..*** XXXXXXXX XX XXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX ...** XXXXXXXXXX XX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX O.*** XXXXXXXXXXXX XX XXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX *** XXXXXXXXXXXXX XX XXXXXXX XXXXXXX 2 XXXXXXXXXXXXXXX XXXXXXXXX P* XXXXXXXXXXXXXXX XX XXXX XXXXXXX 2 XXXXXXXXXXXX XXXXXXXX@@ XXXXXXXXXXXXXXXXXX XXX XXX XXXXXX 2 XXXXXXXXX XXXXXXXX ##@@ XXXXXXXXXXXXXXXXXXX XXXX XXX XXX XXXX XXXXXXX XXXXXXX ##@@XXXXXXXXXXXXXXXXXXXXX XXXXX XXX XX XXXXXXX XXXXXX XXXXXX M ##XXXXXXXXXXXXXXXXXXXXX XXXXXX XXX XXXXXXXXX XXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXX XXXXXXXXXXX X XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXX XXXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXX XXXXXXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXX XXXXX XXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XX XXX XX XXX XX XX XXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXXXX XX XXX XX XXX XX XX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXX XXXX XX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XX XXX X XXXX XX XX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XX XXX XX XXX XX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XX XXX XX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 66/23: 73 0 0 67/23: 73 0 0 68/24: 73 0 0 69/24: 73 0 0 64/22: 74 0 0 65/22: 74 0 0 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXX ..*...*. XXXXXXX XXXXXXXXXXXXXX *.*..*...*....*.....*......*......*......*.....*.. .* XXXXXXX XXXXXXXXXXXXXX *XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.1111XXXXXX XXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX1*111XXXXXX XXXXXXXXXXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXX XXXXXXXXXXXXXXX .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXX XXXXXXXXXXXXXXXX *. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * XXXXXX XXXXXXXXXXXXXXXXXX .*. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXX XXXXXXXXXXXXXXXXXXXXX .*.. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXX XXXXXX XXXXXXXXXXXXX ..*. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX* XXXX XXXX .*.*. XXXXXXXXXXXXXX .... XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXX XXX *. .*. XXXXXXXXXXXXXXXX.*.. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXX XX ..XXXXX .. XXXXXXXXXXXXXXXXX..*.. XXXXXXXXXXXXXXXXXXXXXXXXXXXXX * XXXXXX XX *XXXXXXXX.*. XXXXXXXXXXXXXXXXXXX..*.. XXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXX XX .XXXXXXXXXX.* XXXXXXXXXXXXXXXXXXXXX ..*. XXXXXXXXXXXXXXXXX .* XXXXXXXXXX XX .XXXXXXXXXXXX* XXXXXXXXXXXXXXXXXXXXXXX .* XXXXXXXXXXXXXX ..XXXXXXXXXXXX XX *XXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXX ..*.XXXXXXXXXXXXX XX . XXXXXXX * XXXXXXX 2 XXXXXXXXXXXXXXX * XXXXXXXXX .!*.. XXXXXXXXXXXXXXX XX .. XXXX .XXXXXXX 2 XXXXXXXXXXXX .. XXXXXXXX@@ *... XXXXXXXXXXXXXXXXXX XXX . XXX .XXXXXX .*.*. XXXXXXXXX * XXXXXXXX ##*@.. XXXXXXXXXXXXXXXXXXX XXXX * XXX * XXX .*.XXXX.*. XXXXXXX *XXXXXXX ..@@XXXXXXXXXXXXXXXXXXXXX XXXXX .. XXX . XX ...XXXXXXX .*. XXXXXX *XXXXXX .. ##XXXXXXXXXXXXXXXXXXXXX XXXXXX . XXX * .*. XXXXXXXXX ...XXXX .XXXXXX .*.XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX.. XXX *.*. XXXXXXXXXXX .*.X .*XXXXX ...XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX* XXX XXXXXXXXXXXXXX .*..*.XXXXXX ..XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX. XXXX XXXXXXXXXXXXXXXXX XXXXXX ...XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX. XXXXXXXXXXXXXXXXXXXXXXXX XXXXX .*.XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX*. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX ....XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX... XXXXXXXXXXXXXXXXXXXXXXXX .... XXXXXXXXXX XXXX XXXXX XXX XXXXXXXXXXXXXX.*. XXXXXXXXXXXXXXXXXX ..*. XXXXXXXXXXXX XX XXX XX XXX XX XX XXXXXXXXXXXXXXXX.... XXXXXXXXXXX ..... XXXXXXXXXXXXXXX XX XXX XX XXX XX XX XXXXXXXXXXXXXXXXXX .*... ....*.. XXXXXXXXXXXXXXXXX XXXX XXXX XX XXXXXXXXXXXXXXXXXXXXX ...*......*.... XXXXXXXXXXXXXXXXXXXX XX XXX X XXXX XX XX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XX XXX XX XXX XX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XX XXX XX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.25 real 0.23 user 0.02 sys