maps/163.map: 103 x 38, d_max: 13 x 8, v_max: 15.26, checkpoints: 003
first real max: (15 x 10) / (-13 x -7), v: 14.76
first valid max: (40 x 24) / (9 x 7), v: 11.40
680318 moves, 490551 real moves, 290855 valid moves, max_mc: 307 (66 x 22)
usr: 1.25, sys: 0.03, costs-usr: 0.00, costs-sys 0.00, maxrss: 47308
=XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
=X..##                                                @X@                                         ####X
=X#...                                                XXX                                         ####X
=X###...                                              XXX                                         ####X
=X#### ..          XXX                                XXX                         XXX             ####X
=X       ..                                           @X@                                             X
=X        ...                                         XXX                                             X
=X          ...                                       XXX                                             X
=XXXXX        .O XXX                                  XXX                           XXX           XXXXX
=X                                                    @X@                                             X
=X      XX                                            XXX                                     XX      X
=X           XXXXX                                    XXX                             XXXXX           X
=X                                                    XXX                                             X
=X                                                    @X@                                             X
XX                                                    XXX                                             X
XXXXXXXXXXXXXX                                        XXX                                 XXXXXXXXXXXXX
XX                                                    XXX                                             X
XX                                                    @X@                                             X
XX                                                    XXX                                             X
XX                                                    XXX                                             X
XX                                                    XXX         M                                   X
XX                                                    @X@                                             X
XX                                      P*            XXX                                             X
XX                                       **           XXX                                             X
XX                                        **          XXX                                             X
XX                                         **         @X@                                             X
XX                                           **       XXX                                             X
XX                                            **      XXX                                             X
XX                                             **     XXX                                             X
XX111                                           **    @X@                                          222X
XX11XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX22X
XX111                                      XX    XX         XX    XX                               222X
XX                                                     X                                              X
XX                                         XX          X          XX                                  X
XX                                               XX         XX                                        X
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

56/3:	48	0	0
56/7:	48	0	0
56/11:	48	0	0
56/15:	48	0	0
56/19:	48	0	0
56/23:	48	0	0
56/27:	48	0	0
56/31:	48	0	0
54/3:	49	0	0
54/7:	49	0	0
54/11:	49	0	0
54/15:	49	0	0
54/19:	49	0	0
54/23:	49	0	0
54/27:	49	0	0
54/31:	49	0	0
=XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
=X####                                                @X**.                                       ####X
=X####                                                XXX .*.                                     ####X
=X####                                                XXX   ..                                    ####X
=X###!             XXX                                XXX    .*.                  XXX             ####X
=X   ..                                               @X@      ..                                     X
=X    ..                                              XXX       ..                                    X
=X     ..                                             XXX        .*.                                  X
=XXXXX  *        XXX                                  XXX          ..               XXX           XXXXX
=X       .                                            @X@           ..                                X
=X      XX.                                           XXX            ..                       XX      X
=X         * XXXXX                                    XXX             .*.             XXXXX           X
=X          .                                         XXX               ..                            X
=X           *                                        @X@                ..                           X
XX            *                                       XXX                 .*.                         X
XXXXXXXXXXXXXX*                                       XXX                   ....          XXXXXXXXXXXXX
XX           ..                                       XXX                      .*.                    X
XX           *                                        @X@                        ...                  X
XX          ..                                        XXX                          ...                X
XX         ..                                         XXX                            .*.              X
XX         *                                          XXX                              ..             X
XX        ..                                          @X@                               ..            X
XX       ..                                           XXX                                ..           X
XX      .*                                            XXX                                 .*.         X
XX     ..                                             XXX                                   ..        X
XX    *.                                              @X@                                    ..       X
XX   ..                                               XXX                                     .*.     X
XX  ..                                                XXX                                       ..    X
XX  *                                                 XXX                                        .*   X
XX11.                                                 @X@                                          .22X
XX1.XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX*2X
XX1*1                                      XX    XX..*...*..XX    XX                               2..X
XX .                                     ...*....*..   X    ..*.....*...                             *X
XX *                               ...*... XX          X          XX    ...*...                      *X
XX  *.*..*...*....*.....*......*...              XX         XX                ...*....*....*...*..*.* X
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

        1.31 real         1.25 user         0.05 sys