maps/051.map: 102 x 54, d_max: 13 x 9, v_max: 15.81, checkpoints: 000
first real max: (18 x 15) / (-13 x -9), v: 15.81
first valid max: (80 x 2) / (13 x 2), v: 13.15
265628 moves, 64093 real moves, 41889 valid moves, max_mc: 83 (80 x 50)
usr: 0.18, sys: 0.00, costs-usr: 0.00, costs-sys 0.00, maxrss: 9908
=XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
=X@               XXXXXXXXXXXXXXXXXX                                       XXXXXXXXXX                X
=X @                                                     XXXXXXX     XX         P***                 X
=X@                                                            XXXXXX              ********          X
XX @                                XXXXXXXXXXXXXXXXXX                                    ****       X
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX    X
XX   .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX  ###X    X
XX    ..  XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX      #X    X
XX     ...  XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX        #X    X
XX       ..   XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX         XXX    X
XX    X   ..    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX       XXXXX    X
XXX   XXX   ..    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX       XXXXXXX    X
XXX   XXXXX  ..     XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX         XXXXXXXXX    X
XXX   XXXXXXX ...     XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX      XXXXXXXXXXXXXX    X
XXX   XXXXXXXXX ..      XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX     XXXXXXXXXXXXXXXXX    X
XXX   XXXXXXXXXXX.O       XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX       XXXXXXXXXXXXXXXXX  X X
XX    XXXXXXXXXXXXX  XXX    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX         XXXXXXXXXXXXXXXXX    X
XX    XXXXXXXXXXXXXXX   XX    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX         XXXXXXXXXXXXXXXXXXX    X
XX    XXXXXXXXXXXXXXXXX         XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX         XXXXXXXXXXXXXXXXXXXXX    X
XX X  XXXXXXXXXXXXXXXXXXX         XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX  XX     XXXXXXXXXXXXXXXXXXXXXXX    X
XX XX XXXXXXXXXXXXXXXXXXXXX         XXXXXXXXXXXXXXXXXXXXXXXXXXX    XX   XXXXXXXXXXXXXXXXXXXXXXXXX    X
XX XX XXXXXXXXXXXXXXXXXXXXXXX     XX  XXXXXXXXXXXXXXXXXXXXXXX         XXXXXXXXXXXXXXXXXXXXXXXXXXX X  X
XX  X XXXXXXXXXXXXXXXXXXXXXXXXX   XX    XXXXXXXXXXXXXXXXXXX  X      XXXXXXXXXXXXXXXXXXXXXXXXXXXXX    X
XX    XXXXXXXXXXXXXXXXXXXXXXXXXXX         XXXXXXXXXXXXXXX  XX     XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX    X
XX    XXXXXXXXXXXXXXXXXXXXXXXXXXXXX         XXXXXXXXXXX   XX    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX    X
XX    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX         XXXXXXX         XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX    X
XX    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX         XXX         XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX    X
XX    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX        X        XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX  X X
XX    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX             XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX    X
XX  XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX       XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX    X
XX  XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX    X
XX  XXXXXXXXXXXX XXX XX  XX XX XX XX XXX X   XXXXXX  XXX  XX     XXX XXX XXX XXX X XXXXXXXXXXXXXX X  X
XX    XXXXXXXXXX XXX X XX X XX XX XX XXX X XXXXXXX XX X XX XXX XXXXX  X  XXX XXX X XXXXXXXXXXXXXX    X
XX    XXXXXXXXXXX   XX XX X XX XXXXXX X XX  XXXXXX XXXX XX XXX XXXXX X X XX X XX X XXXXXXXXXXXXXX    X
XX    XXXXXXXXXXXX XXX XX X XX XXXXXX X XX XXXXXXX X  X XX XXX XXXXX XXX XX X XX X XXXXXXXXXXXXXX    X
XX    XXXXXXXXXXXX XXX XX X XX XXXXXXX XXX XXXXXXX XX X XX XXX XXXXX XXX X     X X XXXXXXXXXXXXXX  X X
XXX   XXXXXXXXXXXX XXXX  XXX  XXXXXXXX XXX   XXXXXX  XXX  XXXX XXXXX XXX X XXX X X    XXXXXXXXXXX    X
XX X  XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX    X
XX  X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX    X
XX   XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX  XX
XX    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX  XX
XX    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX    X
XX    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX  XX X
XX    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX  XX X
XX    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XX X    X
XX    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X   X X    X
XX    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XX    X
XX    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XX    X
XX        XXXXX                                                                                      X
XX                XXXXXXXXXXX                                                                        X
XX                             XXXXXXXXXXXXXXXXXXXXX                            M                    X
XX                                                    XXXXXXXXXXXXXXX                                X
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

2/1:	73	0	0
3/2:	73	0	0
2/3:	73	0	0
3/4:	73	0	0
=XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
=X**.             XXXXXXXXXXXXXXXXXX                                       XXXXXXXXXX                X
=X @.*.                                                  XXXXXXX     XX                              X
=X@    .*..                       ....*........*........*....  XXXXXX                   ..*...*.     X
XX @      ..*....*.....*......*.... XXXXXXXXXXXXXXXXXX      ....*.......*......*.....*..        .*   X
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .  X
XX      XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX  #.!X  * X
XX        XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX   ...#X  . X
XX          XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX  ...   #X   .X
XX    *.*.    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX  .*.    XXX   *X
XX   *X   .*..  XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX...    XXXXX   .X
XXX ..XXX    ..*. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX...    XXXXXXX   .X
XXX * XXXXX     ....XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX  ...    XXXXXXXXX   .X
XXX . XXXXXXX      .*.XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX  .*. XXXXXXXXXXXXXX   *X
XXX.  XXXXXXXXX      .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX   ..XXXXXXXXXXXXXXXXX   .X
XXX*  XXXXXXXXXXX      .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX    .. XXXXXXXXXXXXXXXXX  X.X
XX .  XXXXXXXXXXXXX  XXX.*. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX    ..   XXXXXXXXXXXXXXXXX   .X
XX..  XXXXXXXXXXXXXXX   XX..  XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX     ..  XXXXXXXXXXXXXXXXXXX   .X
XX.   XXXXXXXXXXXXXXXXX    ..   XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX     .*. XXXXXXXXXXXXXXXXXXXXX   *X
XX*X  XXXXXXXXXXXXXXXXXXX   ..    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX  XX ... XXXXXXXXXXXXXXXXXXXXXXX   .X
XX.XX XXXXXXXXXXXXXXXXXXXXX  .*.    XXXXXXXXXXXXXXXXXXXXXXXXXXX    XX.. XXXXXXXXXXXXXXXXXXXXXXXXX   .X
XX.XX XXXXXXXXXXXXXXXXXXXXXXX  .. XX  XXXXXXXXXXXXXXXXXXXXXXX      ...XXXXXXXXXXXXXXXXXXXXXXXXXXX X .X
XX. X XXXXXXXXXXXXXXXXXXXXXXXXX ..XX    XXXXXXXXXXXXXXXXXXX  X   .*.XXXXXXXXXXXXXXXXXXXXXXXXXXXXX   .X
XX.   XXXXXXXXXXXXXXXXXXXXXXXXXXX.*.      XXXXXXXXXXXXXXX  XX  ...XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX   .X
XX*   XXXXXXXXXXXXXXXXXXXXXXXXXXXXX....     XXXXXXXXXXX   XX ...XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX   *X
XX.   XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .*.     XXXXXXX      .*.XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX   .X
XX.   XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX ....    XXX     ....XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX   .X
XX .  XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX  .*..  X   ..*. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX  X.X
XX .  XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX   ..*..*..  XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX   .X
XX *XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX       XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX   .X
XX .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX   *X
XX .XXXXXXXXXXXX XXX XX  XX XX XX XX XXX X   XXXXXX  XXX  XX     XXX XXX XXX XXX X XXXXXXXXXXXXXX X .X
XX .  XXXXXXXXXX XXX X XX X XX XX XX XXX X XXXXXXX XX X XX XXX XXXXX  X  XXX XXX X XXXXXXXXXXXXXX   .X
XX .  XXXXXXXXXXX   XX XX X XX XXXXXX X XX  XXXXXX XXXX XX XXX XXXXX X X XX X XX X XXXXXXXXXXXXXX   .X
XX *  XXXXXXXXXXXX XXX XX X XX XXXXXX X XX XXXXXXX X  X XX XXX XXXXX XXX XX X XX X XXXXXXXXXXXXXX   .X
XX .  XXXXXXXXXXXX XXX XX X XX XXXXXXX XXX XXXXXXX XX X XX XXX XXXXX XXX X     X X XXXXXXXXXXXXXX  X*X
XXX.  XXXXXXXXXXXX XXXX  XXX  XXXXXXXX XXX   XXXXXX  XXX  XXXX XXXXX XXX X XXX X X    XXXXXXXXXXX   .X
XX.X  XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX  ..X
XX. X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX  . X
XX*  XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX *XX
XX.   XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX..XX
XX.   XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX..  X
XX.   XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX *XX X
XX*   XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX. XX X
XX.   XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XX*X    X
XX .  XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X   X.X    X
XX *  XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX.XX    X
XX  . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX*XX    X
XX   *.   XXXXX                                                                              .       X
XX    ..          XXXXXXXXXXX                                                              .*        X
XX     .*..                    XXXXXXXXXXXXXXXXXXXXX....*.......*......*...             .*.          X
XX        ..*....*.....*......*.......*........*....  XXXXXXXXXXXXXXX     ...*....*...*.             X
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

        0.21 real         0.18 user         0.01 sys