maps/058.map: 79 x 78, d_max: 12 x 11, v_max: 16.28, checkpoints: 000 first real max: (31 x 57) / (7 x 11), v: 13.04 first valid max: (33 x 62) / (3 x 9), v: 9.49 400225 moves, 78029 real moves, 38004 valid moves, max_mc: 114 (46 x 55) usr: 0.27, sys: 0.00, costs-usr: 0.00, costs-sys 0.00, maxrss: 11724 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XX XX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXX XXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXX XXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXX XXXXXXXXXXXXXXXXXXXX@ XXXXXX XXXXXX @XXXXXXXXXXXXXXXXXXXX XXX XXX XXXXXXXXXXXXXXXXXXXXX@ XXX XXX @XXXXXXXXXXXXXXXXXXXXX XXX XX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XX X XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX X XX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XX XXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXX XXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXX XXXXXXXXXXXXXXXXXXXXXX@XXXXXXXXXXXXXXX@XXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXX XXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXX XXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXX XXXXX XXXXXXXXXXXXXXXXXXXXX XXXX XXXX XXXXXXXXXXXXXXXXXXXXX XXXXX XXXXX XXXXXXXXXXXXXXXXXXXXX XXX XXX XXXXXXXXXXXXXXXXXXXXX XXXXX XXXXX XXXXXXXXXXXXXXXXXXXX XXX XXX XXXXXXXXXXXXXXXXXXXX XXXXX XXXXX XXXXXXXXXXXXXXXXXXXX XXXX XXXX XXXXXXXXXXXXXXXXXXXX XXXXX XXXXX XXXXXXXXXXXXXXXXXXXX XXXXX XXXXX XXXXXXXXXXXXXXXXXXXX XXXXX XXXXX XXXXXXXXXXXXXXXXXXXX XXXXX XXXXX XXXXXXXXXXXXXXXXXXXX XXXXX XXXX XXXXXXXXXXXXXXXXXXXXX XXXX##X X##XXXX XXXXXXXXXXXXXXXXXXXXX XXXX XXXX XXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXX XXXX XXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXX XXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXX XXXXXX XXXXXXXXXXXXXXXXXXXX XXX X X X X X XXX XXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX XXXXXXXXXXXXXXXXXXX XXX X X X X X XXX XXXXXXXXXXXXXXXXXXX XXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXX XX X X XX XXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXX XXX XXX XXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXX M XXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXO XXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXX .. XXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXX .. XXXXXXX XXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX XXXXXXXXXXXXX . XXXXXXXXX XXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX XXXXXXXXXXXXX ..XXXXXXXXX XXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXX XXXXXXXX XXX P.XXXXXXXXX XXX XXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXX XX * . XX XXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXX XX *.. XX XXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXX XXX XX * . XX XXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXX X XX X* .. X XX X XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XX XX* .. XX XX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXX XX*XX.X XX XX XXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXX XX*XX X XX XX XXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXX * XXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXX * XXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXX###X##XX#X#X XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXX#XXX#X#X#X#X XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX##XX##XX###X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX#XXX#X#XXX#X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX###X##XXXX#X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 27/15: 48 0 0 51/15: 48 0 0 27/16: 48 0 0 51/16: 48 0 0 31/23: 48 0 0 47/23: 48 0 0 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX ..*..*. XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX .*.. XX .* XX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX .... XXXXXX ..XXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX .*. XXXXXXXXX *XXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX ... XXXXXXXXXXXX .XXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX .*. XXXXXXXXXXXXXX .XXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXX .. XXXXXXXXXXXXXXXXX *XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXX .. XXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXX .*.XXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXX ... XXXXXXXXXXXXXXXXXXXXXX * XXXXXXXXXXXXXXXXXXXXXX XXXXX XXXX .*. XXXXXXXXXXXXXXXXXXXXXXX.. XXXXXXXXXXXXXXXXXXXXXXX XXXX XXXX *. XXXXXXXXXXXXXXXXXXXXXXXXX* XXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXX .XXXXXXXXXXXXXXXXXXXX* XXXXXX . XXXXXX @XXXXXXXXXXXXXXXXXXXX XXX XXX *XXXXXXXXXXXXXXXXXXXXX@*. XXX .* XXX @XXXXXXXXXXXXXXXXXXXXX XXX XX ..XXXXXXXXXXXXXXXXXXXXXXX.*..*. XXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XX X *XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX X X .XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX X XX * XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XX XXX .. XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXX XXXX * XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXX. XXXXXXXXXXXXXXXXXXXXXX@XXXXXXXXXXXXXXX@XXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXX. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX* XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX. XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX. XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX. XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX* XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX. XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX. XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX. XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXX . XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXX XXXXX * XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXX XXXXX . XXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXX XXXXX . XXXXXXXXXXXXXXXXXXXXX XXXX XXXX XXXXXXXXXXXXXXXXXXXXX XXXXX XXXXX . XXXXXXXXXXXXXXXXXXXXX XXX XXX XXXXXXXXXXXXXXXXXXXXX XXXXX XXXXX . XXXXXXXXXXXXXXXXXXXX XXX XXX XXXXXXXXXXXXXXXXXXXX XXXXX XXXXX . XXXXXXXXXXXXXXXXXXXX XXXX XXXX XXXXXXXXXXXXXXXXXXXX XXXXX XXXXX * XXXXXXXXXXXXXXXXXXXX XXXXX XXXXX XXXXXXXXXXXXXXXXXXXX XXXXX XXXXX . XXXXXXXXXXXXXXXXXXXX XXXXX .** XXXXX XXXXXXXXXXXXXXXXXXXX XXXXX XXXX .XXXXXXXXXXXXXXXXXXXXX XXXX##X *.X#!XXXX XXXXXXXXXXXXXXXXXXXXX XXXX XXXX .XXXXXXXXXXXXXXXXXXXXX XXXXXX. XXXXXX XXXXXXXXXXXXXXXXXXXXX XXXX XXXXX .XXXXXXXXXXXXXXXXXXXXX * XXXXXXXXXXXXXXXXXXXXX XXXXX XXXXX . XXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXX XXXXX XXXXXX . XXXXXXXXXXXXXXXXXXXX XXX X.X X X X XXX XXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX * XXXXXXXXXXXXXXXXXXX XXX X*X X X X XXX XXXXXXXXXXXXXXXXXXX XXXXXX XXXXXXX. XXXXXXXXXXXXXXXXXXX XX X. X XX XXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXX . XXXXXXXXXXXXXXXXXX X .. X XXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXX. XXXXXXXXXXXXXXXXXX X . X XXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXX. XXXXXXXXXXXXXXXXXX * XXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXX. XXXXXXXXXXXXXXXXXX ..X X XXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX* XXXXXXXXXXXXXXXXXX .XXX XXX XXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX.. XXXXXXXXXXXXXXXXXX .. XXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX . XXXXXXXXXXXXXXXXXXX * XXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX . XXXXXXXXXXXXXXXXXXX . XXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX ..XXXXXXXXXXXXXXXXXXX . XXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX *XXXXXXXXXXXXXXXXXX . XXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX .. XXXXXXXXXXXXXX . XXXXXXX XXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX .. XXXXXXXXXXXXX * XXXXXXXXX XXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX .. XXXXXXXXXXXXX . XXXXXXXXX XXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXX* XXXXXXXX XXX . XXXXXXXXX XXX XXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXX . XXXXXXX XX . XX XXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXX . XXXXX XX . XX XXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXX . XXX XX * XX XXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXX *. X XX .X X XX X XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX .. XX .XX XX XX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX .. XXX .XX XX X XX XX XXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX .*. XXXX *XX XX X XX XX XXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX .. XXXXX. XXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX ..XXXXX . XXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX .*. *XXXXXXXXXXX XXXXXXXXXXXX###X##XX#X#X XXXXXXXXXXXXXXXXXXXXXXXX .. .XXXXXXXXXXX XXXXXXXXXXXX#XXX#X#X#X#X XXXXXXXXXXXXXXXXXXXXXXXX .*. * XXXXXXXXXXXX##XX##XX###X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.** XXXXXXXXXXXXXXXXXXX#XXX#X#XXX#X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX###X##XXXX#X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.28 real 0.27 user 0.01 sys