maps/086.map: 149 x 35, d_max: 16 x 7, v_max: 17.46, checkpoints: 000 first real max: (121 x 23) / (16 x -3), v: 16.28 first valid max: (7 x 17) / (-5 x -4), v: 6.40 420477 moves, 71439 real moves, 32039 valid moves, max_mc: 85 (119 x 20) usr: 0.16, sys: 0.02, costs-usr: 0.00, costs-sys 0.00, maxrss: 10716 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =X@@@@XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXX XXXXXXXX XXXXXXX XXX XXXXXXXX XXXXXXX X XXXXXXXXXX XXXXXXXX X XXXXXXX XXXXXXXXX XXXXXXX XXX XXXX XX XXXXX XXXXX XXXX XXXXX XXXXX XXXXXXX XXXXX XXXXX XXXX XXX XX XXXX XXXX XXX XXXX XXXX XXXXX XXXX XXXX XXX XXX XX XXX XXXXX XXX XXX XXXX XXXXX XXXX XXXX XXXXXX XXX XXX XX** XX XXXXX XXX XXX XX XXX XX XXX XX XXX XXX XXXX XX XXX XXXX XXX XXX XX XXX XX ** X XXXXX XXXX XXX XXX XX XXXX XXX XXXXX XX XXXX XXXX XXXXX XXX XXXX XXX XXX XXX XXX XX ** XXXXXX XXXXX XXX XXXX XXX XXXXX XXX XXXXX XX XXXXX XXXX XXXXX XXX XXX XX XXXX XXXXX##XXXX XX ** XXXXXX XXXXX XXX XXXXXX XXXXX XXX XXXXX XX XXXXX XXXX XXXXX XXX XXX XX XXXX XXXXXXXXXXX XX *P XXXXX XXXXX XXX XXXXXXX XXXXX XXX XXXXX XX XXXXX XXXX XXXXX XXX XXX XX XXXXXX XXXXXXXXXXX XX X XXXX XXXXX XXX XXXXXXXXXXXXXXXXXXX XXX XXXXX XX XXXXX XXXX XXXXX XXX XXX XXXXXXX XXXXXXXXXXX XX XXX XXXX XXXXX XXX XXXXXXXXXX XXXXX XXX XXXXX XX XXXXX XXXX XXXXX XXX XXX XXXXXX XX XXXXXXXXXXX XX XXXX XXX XXX XXX XXXXXXXXXX XXX XXXX XXXX XX XXX XXXX XXX XXX XXX M XXXXX X....XXXXXXXXXXX XX XXXXX XXX X X XXXXXXXXXXX XXXX X XXX X XXXX X XXXX XXXX ...... XXXXXXXXXXX XX XXXXX X XXXXXXXXXXXX XXXXX X X XXX X XXXXXXX XXXX ...... X XXXXXXXXXXX XX XXXXXX X XXXXXXXXXXXX XXXXXX X X XXX X XXXXX XXXXXXO... XXX XXXXXXXXXXX XXX XXXXXXXX XXXXXX XXXX XXXX XXXXXXXXXXXXXXX XXXXXXX X XXXXXXXXXX X XX XXX X XXX XXXXXXXX XXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXX X XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX X X X X X X X XXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX X X X X XXX X X XXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX X X X X X XX X X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XX XXX X X X XXX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XX X X X X X X XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 2/1: 123 0 0 3/1: 123 0 0 4/1: 123 0 0 5/1: 123 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =X*@@@XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =X* XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =X.. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX . XXXXXX XXXXXXXX XXXXXXX XXX XXXXXXXX XXXXXXX X XXXXXXXXXX XXXXXXXX X XXXXXXX XXXXXXXXX XXXXXXX XXX XXXX XX . XXXXX XXXXX XXXX XXXXX XXXXX XXXXXXX XXXXX XXXXX .*.* XXXX XXX XX * XXXX XXXX XXX XXXX XXXX XXXXX XXXX XXXX *. * XXX XXX XX . XXX XXXXX .*.*. XXX .*.* XXX .*.* XXXX *.*. XXXXX .*.*. XXXX .*.* XXXX .XXXXXX. XXX ** XXX XX .XX XXXXX *.XXX.* XXX *.XX * XXX *. XX * XXX * XX.* XXX *.XXX.* XXXX *.XX * XXX *XXXX * XXX XXX *XX* XXX XX *X XXXXX ..XXXX .. XXX ..XXX .. XX . XXXX. XXX .XXXXX . XX ..XXXX .. XXXX .XXXXX . XXX .XXXX ..XXX XXX .XXX . XXX XX .. XXXXXX *XXXXX * XXX *XXXX *XXX.* XXXXX* XXX *XXXXX * XX *XXXXX * XXXX * XXXXX * XXX . XXX *XX XXXX *XXXXX#!XXXX XX .. XXXXXX .XXXXX . XXX .XXXXXX *.*. XXXXX. XXX .XXXXX . XX .XXXXX . XXXX . XXXXX . XXX * XXX .XX XXXX .XXXXXXXXXXX XX * XXXXX .XXXXX .XXX .XXXXXXX XXXXX. XXX .XXXXX .XX .XXXXX .XXXX . XXXXX. XXX . XXX *XX XXXXXX . XXXXXXXXXXX XX X. XXXX *XXXXX *XXX *XXXXXXXXXXXXXXXXXXX* XXX *XXXXX *XX *XXXXX *XXXX * XXXXX* XXX . XXX.. XXXXXXX * XXXXXXXXXXX XX XXX. XXXX .XXXXX .XXX .XXXXXXXXXX XXXXX. XXX .XXXXX .XX .XXXXX .XXXX . XXXXX. XXX * XXX* XXXXXX XX .. XXXXXXXXXXX XX XXXX*. XXX * XXX *XXX *XXXXXXXXXX XXX.. XXXX .XXXX *XX * XXX .XXXX . XXX . XXX . XXX* XXXXX X.* XXXXXXXXXXX XX XXXXX... XXX . X ..X ..XXXXXXXXXXX . XXXX .X .XXX .. X *XXXX * X * XXXX . XXXX*. .*. XXXXXXXXXXX XX XXXXX .*. * X *. * XXXXXXXXXXXX * XXXXX *X * .* X . XXX . X .XXXXXXX * XXXX .*. .*.X XXXXXXXXXXX XX XXXXXX .*.* X .*.* XXXXXXXXXXXX . XXXXXX .X *.*. X .XXX . X * XXXXX .. XXXXXX .*..*. XXX XXXXXXXXXXX XXX XXXXXXXX XXXXXX XXXX XXXX XXXXXXXXXXXXXXX .XXXXXXX .X XXXXXXXXXX X XX *XXX * X *. XXX * XXXXXXXX XXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX *XXXXXXX *XXXXXXXXXXXXXXXXXXXXXXX . X . XXXXXX.*..*.* XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX ..XXXXXX ..XXXXXXXXXXXXXXXXXXXXXXXX *. * XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX *. XXXX .* XXXXXXXXXXXXXXXXXXXXXXXXXX .** XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX X X X X X X X XXX XXXXXXXXXXXXXXXXXXXXXXXXXXX.*..*.*. XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX X X X X XXX X X XXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX X X X X X XX X X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XX XXX X X X XXX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XX X X X X X X XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.18 real 0.16 user 0.02 sys