maps/201.map: 80 x 31, d_max: 12 x 7, v_max: 13.89, checkpoints: 003 first real max: (20 x 13) / (-11 x -6), v: 12.53 first valid max: (46 x 15) / (9 x 2), v: 9.22 87002 moves, 21702 real moves, 11780 valid moves, max_mc: 98 (49 x 15) usr: 0.05, sys: 0.00, costs-usr: 0.00, costs-sys 0.00, maxrss: 5540 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYYYYYXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYYYYYYYYYXXXXXXXXXX =XXXXXXXXYYYYYYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYY YYYYYXXXXXXXX =XXXXXXYYYYYYYYYYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYY YYYXXXXXXX =XXXXXYYY.. YYYYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYY YYYXXXXXX XXXXXYY ... YYYYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYYY XXXXX YYYXXXXX XXXXYY ... YYYYYYXXXXXXXXXXXXXXXXXXXXXXXXXYYYYYY XXXXXXXXX YYXXXXX XXXYYY YYYY.. YYYYYYYXXXXXXXXXXXXXXXXXXXXXYYYYYYY XXXXXXXXXXX YYXXXX XXXYY YYYYYY... YYYYYYYYXXXXXXXXXXXXXXXXXYYYYYYYY XXXXXXXXXXYXX YYXXXX XXXYY YYYYYYYY ... YYYYYYYYYXXXXXXXXXXXXXYYYYYYYYY XXXXXXXXXYXXX YYXXX XXYY YYYYYYYYYY .O YYYYYYYYYYYYYYYYYYYYYYYYYYYY XXXXXYYYYYXXXXX YYXXX XXYY YYYYYYYYYY #@ @ @ XXXXXXYXXXYXXXXX YYXXX XXYY222YYYYYYYYYYY # @ @ P**M XXXXXXYXYXYXXXXX111YYXXX XXYY YYYYYYYYYY #@ @ @ ****** XXXXXXYXXXYXXXXX YYXXX XXYY YYYYYYYYYY YYYYYYYYYYYYYYYYYYYYYYYYYYYY *** XXXXXYYYYYXXXXX YYXXX XXXYY YYYYYYYY YYYYYYYYYXXXXXXXXXXXXXYYYYYYYYY XXXXXXYXXXXXX YYXXX XXXYY YYYYYY YYYYYYYYXXXXXXXXXXXXXXXXXYYYYYYYY XXXXXXYXXXXXX YYXXXX XXXYYY YYYY YYYYYYYXXXXXXXXXXXXXXXXXXXXXYYYYYYY XXXXXXXXXXX YYXXXX XXXXYY YYYYYYXXXXXXXXXXXXXXXXXXXXXXXXXYYYYYY XXXXXXXXX YYXXXXX XXXXXYY YYYYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYYY XXXXX YYYXXXXX XXXXXXYYY YYYYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYY YYYXXXXXX XXXXXXXYYYYYYYYYYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYY YYYXXXXXXX XXXXXXXXXYYYYYYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYY YYYYXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYYYYYYYYYXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYYYYYXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 32/14: 42 0 0 34/14: 42 0 0 36/14: 42 0 0 33/15: 42 0 0 35/15: 42 0 0 32/16: 42 0 0 34/16: 42 0 0 36/16: 42 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYYYYYXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYYYYYYYYYXXXXXXXXXX =XXXXXXXXYYYYYYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYY YYYYYXXXXXXXX =XXXXXXYYYYYYYYYYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYY YYYXXXXXXX =XXXXXYYY YYYYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYY .*...*. YYYXXXXXX XXXXXYY YYYYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYYY .*.XXXXX .* YYYXXXXX XXXXYY .*..*.. YYYYYYXXXXXXXXXXXXXXXXXXXXXXXXXYYYYYY ...XXXXXXXXX . YYXXXXX XXXYYY *. YYYY..*. YYYYYYYXXXXXXXXXXXXXXXXXXXXXYYYYYYY .*. XXXXXXXXXXX * YYXXXX XXXYY .. YYYYYY .. YYYYYYYYXXXXXXXXXXXXXXXXXYYYYYYYY .. XXXXXXXXXXYXX . YYXXXX XXXYY * YYYYYYYY .*.YYYYYYYYYXXXXXXXXXXXXXYYYYYYYYY .. XXXXXXXXXYXXX . YYXXX XXYY .YYYYYYYYYY ...YYYYYYYYYYYYYYYYYYYYYYYYYYYY.*. XXXXXYYYYYXXXXX * YYXXX XXYY .YYYYYYYYYY .*.. ...*......*... .... XXXXXXYXXXYXXXXX . YYXXX XXYY22*YYYYYYYYYYY ..*...!*.@ ...*. XXXXXXYXYXYXXXXX1.1YYXXX XXYY .YYYYYYYYYY .*.. #@ .*..*...*.. .... XXXXXXYXXXYXXXXX . YYXXX XXYY .YYYYYYYYYY ...YYYYYYYYYYYYYYYYYYYYYYYYYYYY.*. XXXXXYYYYYXXXXX * YYXXX XXXYY * YYYYYYYY .*.YYYYYYYYYXXXXXXXXXXXXXYYYYYYYYY .. XXXXXXYXXXXXX . YYXXX XXXYY .. YYYYYY .. YYYYYYYYXXXXXXXXXXXXXXXXXYYYYYYYY .. XXXXXXYXXXXXX . YYXXXX XXXYYY *. YYYY..*. YYYYYYYXXXXXXXXXXXXXXXXXXXXXYYYYYYY .*. XXXXXXXXXXX * YYXXXX XXXXYY .*..*.. YYYYYYXXXXXXXXXXXXXXXXXXXXXXXXXYYYYYY ...XXXXXXXXX . YYXXXXX XXXXXYY YYYYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYYY .*.XXXXX .* YYYXXXXX XXXXXXYYY YYYYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYY .*...*. YYYXXXXXX XXXXXXXYYYYYYYYYYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYY YYYXXXXXXX XXXXXXXXXYYYYYYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYY YYYYXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYYYYYYYYYXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYYYYYXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.04 real 0.05 user 0.00 sys