maps/019.map: 55 x 75, d_max: 9 x 11, v_max: 14.21, checkpoints: 000 first real max: (14 x 33) / (-9 x -9), v: 12.73 first valid max: (50 x 43) / (-1 x 9), v: 9.06 176062 moves, 38790 real moves, 23044 valid moves, max_mc: 76 (26 x 45) usr: 0.26, sys: 0.00, costs-usr: 0.00, costs-sys 0.00, maxrss: 6764 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXXX@@@@XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXX. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXX XXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXX XXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXX XXXXX X. XXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXX XXXXX XX. XXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXX XXXXX XXX. XXXXXXXXXXXXXXXXXXXXXXXXX XXX XXX XXXXX XXXX. XXXXXXXXXXXXXXXXXXXXXXX XXXX XXX XXXXX XXXXXO XXXXXXXXXXXXXXXXXXXXX XXXXX XXX XXXXX XXXXXX XXXXXXXXXXXXXXXXXXX XXXXXX XXX XXXXX XXXXXXX XXXXXXXXXXXXXXXXX XXXXXXX XXX XXXXX XXXXXXXX XXXXXXXXXXXXXXX XXXXXXXX XXX XXXXX XXXXXXXXX XXXXXXXXXXXXX XXXXXXXXX XXX XXXXX XXXXXXXXXX XXXXXXXXXXX XXXXXXXXXX XXX XXXXX XXXXXXXXXXX XXXXXXXXX XXXXXXXXXXX XXX XXXXX XXXXXXXXXXXX XXXXXXX XXXXXXXXXXXX XXX XXXXX XXXXXXXXXXXXX XXXXX XXXXXXXXXXXXX XXX XXXXX XXXXXXXXXXXXXX XXX XXXXXXXXXXXXXX XXX XXXXX XXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXX P XXX XXXXX XXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXX * XXX XXXXX XXXXXXXXXXXXXXXXXM XXXXXXXXXXXXXXXXXX * XXX XXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX * XXX XXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX * XXX XXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX * XXX XXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX * XXX XXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX * XXX XXXXXX XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX * XXXX XXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX *XXXXX XXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXX XXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXX XXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXX XXXXXXXXXX XXXXXXXXXXX XXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXX XXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXX XXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXXXXX XXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXX XXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX XXXX XXXXX XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXX XXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XX####XXX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 7/22: 50 0 0 8/22: 50 0 0 9/22: 50 0 0 10/22: 50 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX .*.*XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX .*.X *XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX .. XXX .XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX *. XXXXX *XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX . XXXXXXX .XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX . XXXXXXXXX .XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX * XXXXXXXXXXX *XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXX .XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXX .XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXX XXXXXXXXXXXXXXX * XXXXXXXXXXXXXXXXXXX *XXXXXXXXXXXXX XXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXX ..XXXXXXXXXXXX XXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXX ..XXXXXXXXXXX XXXXXXXXXXXX.* XXXXXXXXXXXXXXXXXXXXXXXXX ..XXXXXXXXXX XXXXXXXXXXX.. XXXXXXXXXXXXXXXXXXXXXXXXXXX ..XXXXXXXXX XXXXXXXXXX*. XXXXXXXXXXXXXXXXXXXXXXXXXXXXX * XXXXXXXX XXXXXXXXX. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .. XXXXXXX XXXXXXXX* XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXX XXXXXXX*@@@XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.. XXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX* XXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. XXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X . XXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X . XXX XXXXX *.*.XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X . XXX XXXXX *X .*XXXXXXXXXXXXXXXXXXXXXXXXXXXXX X . XXX XXXXX .XX .XXXXXXXXXXXXXXXXXXXXXXXXXXX XX * XXX XXXXX *XXX *XXXXXXXXXXXXXXXXXXXXXXXXX XXX . XXX XXXXX .XXXX .XXXXXXXXXXXXXXXXXXXXXXX XXXX . XXX XXXXX . XXXXX .XXXXXXXXXXXXXXXXXXXXX XXXXX . XXX XXXXX * XXXXXX *XXXXXXXXXXXXXXXXXXX XXXXXX .XXX XXXXX . XXXXXXX .XXXXXXXXXXXXXXXXX XXXXXXX .XXX XXXXX .. XXXXXXXX .XXXXXXXXXXXXXXX XXXXXXXX .XXX XXXXX . XXXXXXXXX .XXXXXXXXXXXXX XXXXXXXXX *XXX XXXXX * XXXXXXXXXX *XXXXXXXXXXX XXXXXXXXXX .XXX XXXXX . XXXXXXXXXXX ..XXXXXXXXX XXXXXXXXXXX .XXX XXXXX . XXXXXXXXXXXX . XXXXXXX XXXXXXXXXXXX .XXX XXXXX . XXXXXXXXXXXXX . XXXXX XXXXXXXXXXXXX .XXX XXXXX . XXXXXXXXXXXXXX .. XXX XXXXXXXXXXXXXX .XXX XXXXX * XXXXXXXXXXXXXXX * XXX XXXXXXXXXXXXXXX *XXX XXXXX . XXXXXXXXXXXXXXXX. X XXXXXXXXXXXXXXXX .XXX XXXXX . XXXXXXXXXXXXXXXXX. XXXXXXXXXXXXXXXXXX .XXX XXXXX . XXXXXXXXXXXXXXXXX. XXXXXXXXXXXXXXXXXX . XXX XXXXX . XXXXXXXXXXXXXXXXX. XXXXXXXXXXXXXXXXXX . XXX XXXXX * XXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXX * XXX XXXXX ..XXXXXXXXXXXXXXXXX * XXXXXXXXXXXXXXXXXX .. XXX XXXXX .XXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXX . XXX XXXXXX . XXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXX .. XXXX XXXXXXX .. XXXXXXXXXXXXXXX .. XXXXXXXXXXXXXXXX * XXXXX XXXXXXXX * XXXXXXXXXXXXXX . XXXXXXXXXXXXXXX ..XXXXXX XXXXXXXXX.. XXXXXXXXXXXXX . XXXXXXXXXXXXXX ..XXXXXXX XXXXXXXXXX.. XXXXXXXXXXXX * XXXXXXXXXXXXX ..XXXXXXXX XXXXXXXXXXX.. XXXXXXXXXXX . XXXXXXXXXXXX *XXXXXXXXX XXXXXXXXXXXX*. XXXXXXXXXX . XXXXXXXXXXX .XXXXXXXXXX XXXXXXXXXXXXX.. XXXXXXXXX .XXXXXXXXXX .XXXXXXXXXXX XXXXXXXXXXXXXX.. XXXXXXXX .XXXXXXXXX .XXXXXXXXXXXX XXXXXXXXXXXXXXX.* XXXXXXX *XXXXXXXX *XXXXXXXXXXXXX XXXXXXXXXXXXXXXX . XXXXXX .XXXXXXX .XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX . XXXXX .XXXXXX .XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX . XXXX .XXXXX .XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX * XXX .XXXX *XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX . XX###!XXX .XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX . XXXXXXX .XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX *. XXXXX *XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX .. XXX .XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX .*.X *XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX .*.*XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.28 real 0.26 user 0.02 sys