maps/123.map: 57 x 54, d_max: 10 x 9, v_max: 13.45, checkpoints: 03f first real max: (22 x 10) / (-7 x -9), v: 11.40 first valid max: (39 x 51) / (7 x 1), v: 7.07 142944 moves, 20969 real moves, 11597 valid moves, max_mc: 59 (24 x 47) usr: 0.11, sys: 0.02, costs-usr: 0.00, costs-sys 0.00, maxrss: 11448 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX.@XXXXXXXXXXXXXX@ XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX ..XXXXXXXXXXXXXX@ XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX ..XXXXXXXXXXXX@ XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX ..XXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX . XXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX YY . XXXXXX YY XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX YYYYY..XXXXXX YYYYY XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX YYYYYY ..XXXX YYYYYY XXXXXXXXXXXXXXXXXXXX XXXXXXXXXX YYYYYY ..XX YYYYYY XXXXXXXXXXXXXXXXXXX XXXXXXXXXX YYYYYYY OXX YYYYYYY XXXXXXXXXXXXXXXXXXX XXXXXXXXX YYYYYYYYY YYYYYYYYY XXXXXXXXXXXXXXXXXX XXXXXXXXX YYYYYYYYYY YYYYYYYYYY XXXXXXXXXXXXXXXXXX XXXXXXXXX YY YYYYYYYYYY YY XXXXXXXXXXXXXXXXXX XXXXXXXXX YY YYYYYYYY YY XXXXXXXXXXXXXXXXXX XXXXXXXXX YYYYYYY YYYYYY YYYYYYY XXXXXXXXXXXXXXXXXX XXXXXXXXX YYYYYYYY YYYYYY YYYYYYYY XXXXXXXXXXXXXXXXXX XXXXXXXXX YYYY22YYYYY YYYYY22YYYY XXXXXXXXXXXXXXXXXX XXXXXXXXX YYY222YYYY YYYY222YYY XXXXXXXXXXXXXXXXXX XXXXXXXXX2222222YYYY ZZZZ YYYY2222222XXXXXXXXXXXXXXXXXX XXXXXXXXX222222YYYYY ZZZZ YYYYY222222XXXXXXXXXXXXXXXXXX XXXXXXXXX YYYYYYYYY ZZZZ YYYYYYYYY XXXXXXXXXXXXXXXXXX XXXXXXXXX YYYYYYYYY ZZZZ YYYYYYYYY XXXXXXXXXXXXXXXXXX XXXXXXXXX YYYYYYYYY ZZZZ YYYYYYYYY XXXXXXXXXXXXXXXXXX XXXXXXXXXX YYYYYYYY ZZZZ YYYYYYYY XXXXXXXXXXXXXXXXXXX XXXXXXXXXX YYYYYYY ZZZZ YYYYYYY XXXXXXXXXXXXXXXXXXX XXXXXXXXXXX YYYYYY ZZZZ YYYYYY XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX YYYYYY YYYYYY XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX YYYYYY YYYYYY XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX YYYYYYYY XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX YYYYYY XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX111111111111XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX YYYYYY XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX YYYYYYYY XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX YYYYYYYYYY XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX YYYYYYYYYY XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX YYYYYYYYYYYY XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX YYYYYYYYYYYYYYYY XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX YYYYYYYYYYYYYYYYYY XXXXXXXXXXXXXXXXXXXXXX XXXXXXX XX YYYYYYYYYYYYYYYYYY XX XXXXXXXXXXXXXXXX XXXXXX YYYYYYYYYYYYYYYYYY X XXXXXXXXXXXXXXX XXXXX YYYY YYYYYYYY YYYYYYYY YYYY XXXXXXXXXXXXXX XXXX444YYYY YYYYYYYY YYYYYYYY YYYY444XXXXXXXXXXXXX XXX Y YYY# #YYY Y XXXXXXXXXXXX XXX YY YY# #YY YY XXXXXXXXXXXX XXX YYYYYYYYY YYYYYY YYYYYY YYYYYYYYY XXXXXXXXXXXX XXX YYYYYYYYYY YYYYYY55YYYYYY YYYYYYYYYY XXXXXXXXXXXX XXX YYYY M YYYY X XXX XX YYYY YYYY X XX X YYYYYYYYY YYYYY YYYYY YYYYYYYYY X YYY X X YYYY66666YY YYYY YYYY YY66666YYYY X YYY X X 3XX3 P*** X XX X 33XXXX33 ****X XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 16/1: 35 0 0 16/2: 35 0 0 17/3: 35 0 0 31/1: 36 0 0 31/2: 36 0 0 30/3: 36 0 0 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX *XXXXXXXXXXXXXX@ XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX *@XXXXXXXXXXXXXX@ XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX.. @XXXXXXXXXXXX@ XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX * XXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX.. XXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX.. YY XXXXXX YY XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX * YYYYY XXXXXX YYYYY XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX..YYYYYY XXXX YYYYYY XXXXXXXXXXXXXXXXXXXX XXXXXXXXXX . YYYYYY XX YYYYYY XXXXXXXXXXXXXXXXXXX XXXXXXXXXX.. YYYYYYY XX YYYYYYY XXXXXXXXXXXXXXXXXXX XXXXXXXXX * YYYYYYYYY YYYYYYYYY XXXXXXXXXXXXXXXXXX XXXXXXXXX . YYYYYYYYYY YYYYYYYYYY XXXXXXXXXXXXXXXXXX XXXXXXXXX .YY YYYYYYYYYY YY XXXXXXXXXXXXXXXXXX XXXXXXXXX. YY YYYYYYYY YY XXXXXXXXXXXXXXXXXX XXXXXXXXX. YYYYYYY YYYYYY YYYYYYY XXXXXXXXXXXXXXXXXX XXXXXXXXX* YYYYYYYY YYYYYY YYYYYYYY XXXXXXXXXXXXXXXXXX XXXXXXXXX. YYYY22YYYYY YYYYY22YYYY XXXXXXXXXXXXXXXXXX XXXXXXXXX. YYY222YYYY YYYY222YYY XXXXXXXXXXXXXXXXXX XXXXXXXXX.222222YYYY ZZZZ YYYY2222222XXXXXXXXXXXXXXXXXX XXXXXXXXX*22222YYYYY ZZZZ YYYYY222222XXXXXXXXXXXXXXXXXX XXXXXXXXX. YYYYYYYYY ZZZZ YYYYYYYYY XXXXXXXXXXXXXXXXXX XXXXXXXXX..YYYYYYYYY ZZZZ YYYYYYYYY XXXXXXXXXXXXXXXXXX XXXXXXXXX .YYYYYYYYY ZZZZ YYYYYYYYY XXXXXXXXXXXXXXXXXX XXXXXXXXXX* YYYYYYYY ZZZZ YYYYYYYY XXXXXXXXXXXXXXXXXXX XXXXXXXXXX.. YYYYYYY ZZZZ YYYYYYY XXXXXXXXXXXXXXXXXXX XXXXXXXXXXX.. YYYYYY ZZZZ YYYYYY XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX*. YYYYYY YYYYYY XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX.. YYYYYY YYYYYY XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX.*. YYYYYYYY XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX .* YYYYYY XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX*11111111111XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX. YYYYYY XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX * YYYYYYYY XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX ..YYYYYYYYYY XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX * YYYYYYYYYY XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX . YYYYYYYYYYYY XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX *YYYYYYYYYYYYYYYY XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX .YYYYYYYYYYYYYYYYYY XXXXXXXXXXXXXXXXXXXXXX XXXXXXX XX* YYYYYYYYYYYYYYYYYY XX XXXXXXXXXXXXXXXX XXXXXX.*..*.* YYYYYYYYYYYYYYYYYY X XXXXXXXXXXXXXXX XXXXX*.YYYY YYYYYYYY YYYYYYYY YYYY XXXXXXXXXXXXXX XXXX..4YYYY YYYYYYYY YYYYYYYY YYYY444XXXXXXXXXXXXX XXX * Y YYY# .!YYY Y XXXXXXXXXXXX XXX . YY YY# *. #YY YY XXXXXXXXXXXX XXX .YYYYYYYYY YYYYYY .YYYYYY YYYYYYYYY XXXXXXXXXXXX XXX *YYYYYYYYYY YYYYYY*5YYYYYY YYYYYYYYYY XXXXXXXXXXXX XXX.. YYYY . YYYY X XXX XX * YYYY . YYYY X XX X . YYYYYYYYY YYYYY* YYYYY YYYYYYYYY X YYY X X *YYYY.*.*.YY YYYY.. YYYY YY66666YYYY X YYY X X *.*. .*. .*3XX3 X XX X .*.*.3XXXX33 X XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.14 real 0.11 user 0.02 sys