maps/174.map: 66 x 42, d_max: 10 x 8, v_max: 12.81, checkpoints: 01f
first real max: (51 x 10) / (10 x -8), v: 12.81
first valid max: (52 x 34) / (10 x 4), v: 10.77
334304 moves, 165918 real moves, 97169 valid moves, max_mc: 205 (48 x 23)
usr: 4.04, sys: 0.17, costs-usr: 0.00, costs-sys 0.00, maxrss: 78260
=               XXXXXXX                                           
=XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 
=X1111XXXXXXXXXXXXXXXXXXXXXXXXX2222XXXXXXXXXXXXXXXXXXXXXXXXX..33X 
=X1                 XXXXXX               XX                ..  3X 
=X1                    XXXXX            XXXX              ..   3X 
=X1                       XXXXX         XXXX             ..    3X 
=XX                      XX XXXXX        XX            ...XX   XX 
=XX                     XXXX   XXXXX                  .. XXXX  XX 
 XX         XX       X  XXXX     XXXXXX              ..  XXXX  XX 
 XX        XXXX      XX  XX         XXXXXX          ..    XX   XX 
 XX        XXXX   XXXXXX              XXXXXX       O.          XX 
 XX         XX     XXX                   XXXXXX                XX 
 XX              XXXXX                      XXXXX           XX XX 
 XX            XXXXX X              XX         XXXXX       XXXXXX 
 XX          XXXX XX               XXXX XX       XXXXX     XXXXXX 
 XX         XXX  XX    XX          XXXXXXXX         XXXX    XX XX 
 XX       XXXX  XX    XXXX          XX XXXX           XXXX     XX 
 XX     XXXX   XX     XXXX            XXXX               XX    XX 
 XX   XXXX    XX       XX            XXXX                      XX 
 XX  XXX     XX                      XXXX                      XX 
 XXXXXX     XX                        XX   XX            XX    XX 
 XXXX      XX   @@                        XXXX          XXXX   XX 
XXXX      XX   @  @       XX              XXXX          XXXX   XX 
XXX      XX    @  @      XXXX              XX   M        XX    XX 
 XX     XX      @@       XXXX      XX                          XX 
 XX    XX    XX           XX      XXXX                         XX 
 XX   XX    XXXX                  XXXX                         XX 
 XX  XX     XXXX                   XX                          XX 
 XX XX       XX                                             XX XX 
 XXXXX                                                     XXXXXX 
 XXXX                      XX                      XX      XXXXXX 
 XXX           XX         XXXX                    XXXX      XX XX 
XXXX          XXXX        XXXX             XX     XXXX         XX 
XXX    XX     XXXX         XX  XX         XXXX     XX          XX 
XXX   XXXX     XX             XXXX       XX  XX     P*         XX 
XXX   XXXX                XX  XXXX      XX    XX     ****      XX 
 X4    XX                XXXX  XX      XX      XX       ***    #X 
 X4                      XXXX         XX        XX        **** #X 
 X4                       XX          XXXXXXXXXXXX           **#X 
 X4444XXXXXXXXXXXXXXXXXXXXXXXXX5555XXXXXXXXXXXXXXXXXXXXXXXXX####X 
 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 
                                                                  

16/21:	87	0	0
17/21:	87	0	0
15/22:	87	0	0
15/23:	87	0	0
18/22:	88	0	0
18/23:	88	0	0
16/24:	88	0	0
17/24:	88	0	0
=               XXXXXXX                                           
=XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 
=X1**.XXXXXXXXXXXXXXXXXXXXXXXXX2**.XXXXXXXXXXXXXXXXXXXXXXXXX.**3X 
=X1* .*..*...*..    XXXXXX      * .*.    XX           ..*..*. *3X 
=X1 *.*.       ..*.    XXXXX    ..  ..  XXXX       .*..       .3X 
=X1               ...     XXXXX  *.  .*.XXXX    ....          *3X 
=XX                .**   XX XXXXX .*.  ..XX  ..*.         XX  .XX 
=XX                  .. XXXX   XXXXX .*...*..            XXXX. XX 
 XX         XX       X..XXXX     XXXXXX  .*.             XXXX* XX 
 XX        XXXX      XX*.XX         XXXXXX ....           XX.. XX 
 XX        XXXX   XXXXXX...           XXXXXX  .*.          ..  XX 
 XX         XX     XXX    .*..           XXXXXX ...        *   XX 
 XX              XXXXX     .  ..*.....*...  XXXXX .*.      .XX XX 
 XX            XXXXX X      *       XX   ...*. XXXXX .*.  .XXXXXX 
 XX          XXXX XX        ..     XXXX XX   ....XXXXX .. *XXXXXX 
 XX         XXX  XX    XX    .     XXXXXXXX     .*. XXXX.*. XX XX 
 XX       XXXX  XX    XXXX    .     XX XXXX       ... XXXX.    XX 
 XX     XXXX   XX     XXXX    ..      XXXX          .*.  XX*   XX 
 XX   XXXX    XX       XX      *     XXXX              .*.*.   XX 
 XX  XXX     XX                .     XXXX                   .  XX 
 XXXXXX     XX                  .     XX   XX            XX *  XX 
 XXXX      XX   *@              .         XXXX          XXXX.  XX 
XXXX      XX  .*  @       XX    .         XXXX          XXXX.  XX 
XXX      XX .*.@  @      XXXX    .         XX            XX .  XX 
 XX     XX ..   @@       XXXX    * XX                       *  XX 
 XX    XX *. XX           XX     .XXXX                      .  XX 
 XX   XX .. XXXX                 .XXXX                     .   XX 
 XX  XX ..  XXXX                  .XX                      *   XX 
 XX XX  *    XX                   .                        .XX XX 
 XXXXX ..                         *                       .XXXXXX 
 XXXX ..                   XX     .                XX     *XXXXXX 
 XXX ..        XX         XXXX    ..              XXXX    . XX XX 
XXXX *        XXXX        XXXX     .       XX     XXXX    .    XX 
XXX .. XX     XXXX         XX  XX  *      XXXX     XX     *    XX 
XXX.. XXXX     XX   ..*...*.  XXXX .     XX  XX           .    XX 
XXX*  XXXX      .*..      XX.*XXXX .    XX    XX           .   XX 
 X..   XX    ....        XXXX .XX  *   XX      XX          *   #X 
 X*       ..*.           XXXX  *   .  XX        XX         ..  #X 
 X**.*..*..               XX    *  *  XXXXXXXXXXXX          .. #X 
 X4444XXXXXXXXXXXXXXXXXXXXXXXXX55**XXXXXXXXXXXXXXXXXXXXXXXXX#!##X 
 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 
                                                                  

        4.33 real         4.04 user         0.20 sys