maps/013.map: 117 x 46, d_max: 14 x 9, v_max: 16.64, checkpoints: 007
first real max: (98 x 13) / (14 x -8), v: 16.12
first valid max: (17 x 6) / (-14 x 3), v: 14.32
388368 moves, 109072 real moves, 60538 valid moves, max_mc: 144 (37 x 5)
usr: 0.41, sys: 0.03, costs-usr: 0.00, costs-sys 0.00, maxrss: 19944
=XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXXXX @                 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXXXX@                                              XXXXXXXXXXXXXXXXXX                      XXXXXX
=XXXXXXXXXX            # @                                                            1                          XXXX
=XXXXXXX               #@            M                                                1                        .. XXX
=XXXX          **P     # @                                                       XXXXXXXXXXXXXXXXXXXXXXXX    ...  XXX
XXXX      ****** XXXXXXX@                                      XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX    ..   XXXX
XXX  ****** XXXXXXXXXXXX @         XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX    ...  XXXXXX
XXX***     XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX   ...   XXXXXXX
XXXX       XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX...     XXXXXXX
XXXXXX       XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX  ..        XXXXXX
XXXXXXXX        XXXXXXXXXXXXXXXXX                                                                  ...       XXXXXXXX
XXXXXXXXXX           XXXXXXXXXX                                                                   O.      XXXXXXXXXXX
XXXXXXXXXXXXXX         XXXXXXX                                                                          XXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXX      XXXXX           XXXXXXX                                                XXXXXXX  XXXXXXXXXXXXX
XXXXXXXXXXXXXXXXX       XXXXX         XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX  XXXXXXXXXXXX
XXXXXXXXXXXXXXXX       XXXXXX         XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX                      XXXXXXXXXXXX
XXXXXXXXXXXXX        XXXXXXXXX        XXXXXXXXXXXXXXXXXX                                                XXXXXXXXXXXXX
XXXXXXXXXXXX       XXXXXXXXXXXX       XXXXXXXX                                     XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXX       XXXXXXXXXXXXX        XXX              XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXX       XXXXXXXXXXXXXX              XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXX       XXXXXXXXXXXXXXXX          XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXX        XXXXXXXXXXXXXXXXX          XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXX         XXXXXXXXXXXXXXXXXX         XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXX3X3X3X3X3XXXXXXXXXXXXXXXXXXX         XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXX   X X   XXXXXXXXXXXXXXXXXX X       X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXX   X X   XXXXXXXXXXXXXXXXXXX X     X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXX   X X   XXXXXXXXXXXXXXXXXX X X222X X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXX   X X   XXXXXXXXXXXXXXXXXXX X 2X2 X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXX   X X   XXXXXXXXXXXXXXXXXX X  222  X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX     XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXX3X3X3X3X3XXXXXXXXXXXXXXXXXXX  X   X  XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX           XXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXX         XXXXXXXXXXXXXXXXXX           XXXXXXXXXXXXXXXXXXXXXXXXXXXX                   XXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXX         XXXXXXXXXXXXXXXXXX X       X XXXXXXXXXXXXXXXXXXXXXXX                             XXXXXXXXXXXXXXXXXXXX
XXXXXXXX        XXXXXXXXXXXXXXXXXX           XXXXXXXXXXXXXXXXXXXXXXX                             XXXXXXXXXXXXXXXXXXXX
XXXXXXXXX        XXXXXXXXXXXXXXXXX           XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXX       XXXXXXXXXXXXXXXXX           XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXX       XXXXXXXXXXXXXXX           XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXX      XXXXXXXXXXXXXX           XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXX      XXXXXXXXXXX           XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXX      XXXXXXX           XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXX                   XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXX           XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXX     XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

25/2:	62	0	0
25/4:	62	0	0
25/6:	62	0	0
25/8:	62	0	0
24/3:	63	0	0
24/5:	63	0	0
24/7:	63	0	0
=XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXXXX *                 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXXXX*                                              XXXXXXXXXXXXXXXXXX        ..*..*.       XXXXXX
=XXXXXXXXXX            . @                                   ....*.......*...         1      ..*..     .*        XXXX
=XXXXXXX             .*#@                          .....*....                ...*.....*....*..          ..        XXX
=XXXX       .*..*..*.  !...........*..........*.....                             XXXXXXXXXXXXXXXXXXXXXXXX*        XXX
XXXX       *.    XXXXXXX@                                      XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .       XXXX
XXX       * XXXXXXXXXXXX @         XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX   .     XXXXXX
XXX       .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX    *    XXXXXXX
XXXX      *XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX   .    XXXXXXX
XXXXXX    .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX     .      XXXXXX
XXXXXXXX   *.   XXXXXXXXXXXXXXXXX                                                                       *    XXXXXXXX
XXXXXXXXXX  .*.      XXXXXXXXXX                                                                         . XXXXXXXXXXX
XXXXXXXXXXXXXX .*.*    XXXXXXX                                                                         .XXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXX *    XXXXX           XXXXXXX                                                XXXXXXX *XXXXXXXXXXXXX
XXXXXXXXXXXXXXXXX  *    XXXXX         XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. XXXXXXXXXXXX
XXXXXXXXXXXXXXXX  *    XXXXXX         XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX                    * XXXXXXXXXXXX
XXXXXXXXXXXXX    .   XXXXXXXXX        XXXXXXXXXXXXXXXXXX                       ...*.....*....*...*..*.* XXXXXXXXXXXXX
XXXXXXXXXXXX    *  XXXXXXXXXXXX       XXXXXXXX      ..*.....*......*.......*...    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXX    .. XXXXXXXXXXXXX        XXX  .*...*..    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXX    .. XXXXXXXXXXXXXX           *. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXX     * XXXXXXXXXXXXXXXX         .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXX      . XXXXXXXXXXXXXXXXX       *  XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXX      .. XXXXXXXXXXXXXXXXXX      .  XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXX3X3X3X.X3XXXXXXXXXXXXXXXXXXX    .    XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXX   X X*  XXXXXXXXXXXXXXXXXX X   *   X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXX   X X.  XXXXXXXXXXXXXXXXXXX X  .  X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXX   X X.  XXXXXXXXXXXXXXXXXX X X..2X X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXX   X X.  XXXXXXXXXXXXXXXXXXX X .X2 X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXX   X X.  XXXXXXXXXXXXXXXXXX X  *22  X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX     XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXX3X3X3X*X3XXXXXXXXXXXXXXXXXXX  X.  X  XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX           XXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXX      .  XXXXXXXXXXXXXXXXXX   ..      XXXXXXXXXXXXXXXXXXXXXXXXXXXX                   XXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXX      .. XXXXXXXXXXXXXXXXXX X .     X XXXXXXXXXXXXXXXXXXXXXXX                             XXXXXXXXXXXXXXXXXXXX
XXXXXXXX      . XXXXXXXXXXXXXXXXXX   *       XXXXXXXXXXXXXXXXXXXXXXX                             XXXXXXXXXXXXXXXXXXXX
XXXXXXXXX     *  XXXXXXXXXXXXXXXXX  ..       XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXX    .. XXXXXXXXXXXXXXXXX ..        XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXX    .. XXXXXXXXXXXXXXX  *        XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXX    *.XXXXXXXXXXXXXX  .        XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXX    ..XXXXXXXXXXX  .*       XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXX   .*.XXXXXXX..*.       XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXX    .*...*..       XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXX           XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXX     XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

        0.48 real         0.42 user         0.04 sys