maps/023.map: 50 x 55, d_max: 9 x 9, v_max: 12.73, checkpoints: 000
first real max: (13 x 36) / (-9 x 9), v: 12.73
first valid max: (10 x 37) / (-6 x 9), v: 10.82
217274 moves, 129140 real moves, 86294 valid moves, max_mc: 198 (28 x 44)
usr: 0.83, sys: 0.04, costs-usr: 0.00, costs-sys 0.00, maxrss: 14152
=XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXX      XXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXX      XXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXX      XXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXX X##X XXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXX  XX  XXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXX      XXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXX      XXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXX      XXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXX      XXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXX        XXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXX        XXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXX          XXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXX          XXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXX     XX     XXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXX     XX     XXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXX     XXXX     XXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXX     XXXX     XXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXX      XXXX      XXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXX       XX       XXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXX        XX        XXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXX                  XXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXX                    XXXXXXXXXXXXXXX
=XXXXXXXXXXXXXX                    XXXXXXXXXXXXXXX
=XXXXXXXXXXXXX                      XXXXXXXXXXXXXX
=XXXXXXXXXXXXX    XX          XX    XXXXXXXXXXXXXX
=XXXXXXXXXXXX     XX          XX     XXXXXXXXXXXXX
=XXXXXXXXXXXX    XXXX        XXXX    XXXXXXXXXXXXX
=XXXXXXXXXXX     XXXX        XXXX     XXXXXXXXXXXX
=XXXXXXXXXXX     XXXX        XXXX     XXXXXXXXXXXX
=XXXXXXXXXX       XX          XX       XXXXXXXXXXX
=XXXXXXXXXX       XX          XX       XXXXXXXXXXX
=XXXXXXXXX                              XXXXXXXXXX
=XXXXXXXXX                              XXXXXXXXXX
=XXXXXXXX                                XXXXXXXXX
=XXXXXXXX    O                           XXXXXXXXX
=XXXXXXX  P .XX         XX         XX     XXXXXXXX
=XXXXXXX **. XX         XX         XX     XXXXXXXX
=XXXXXX **. XXXX       XXXX       XXXX     XXXXXXX
=XXXXXX *.  XXXX       XXXX       XXXX     XXXXXXX
=XXXXX **   XXXX       XXXX       XXXX      XXXXXX
=XXXXX**     XX         XX         XX       XXXXXX
=XXXX *      XX         XX         XX        XXXXX
=XXXX**                     M                XXXXX
=XXX**                                        XXXX
=XXX*                                         XXXX
=XX                                            XXX
XXX                                            XXX
XX                                              XX
XX                                              XX
X                                                X
X                                                X
X@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@X
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

1/53:	16	0	0
2/53:	16	0	0
3/53:	16	0	0
4/53:	16	0	0
5/53:	16	0	0
6/53:	16	0	0
7/53:	16	0	0
8/53:	16	0	0
9/53:	16	0	0
10/53:	16	0	0
11/53:	16	0	0
12/53:	16	0	0
13/53:	16	0	0
14/53:	16	0	0
15/53:	16	0	0
16/53:	16	0	0
17/53:	16	0	0
18/53:	16	0	0
19/53:	16	0	0
20/53:	16	0	0
21/53:	16	0	0
22/53:	16	0	0
23/53:	16	0	0
24/53:	16	0	0
25/53:	16	0	0
26/53:	16	0	0
27/53:	16	0	0
28/53:	16	0	0
29/53:	16	0	0
30/53:	16	0	0
31/53:	16	0	0
32/53:	16	0	0
33/53:	16	0	0
34/53:	16	0	0
35/53:	16	0	0
36/53:	16	0	0
37/53:	16	0	0
38/53:	16	0	0
39/53:	16	0	0
40/53:	16	0	0
41/53:	16	0	0
42/53:	16	0	0
43/53:	16	0	0
44/53:	16	0	0
45/53:	16	0	0
46/53:	16	0	0
47/53:	16	0	0
48/53:	16	0	0
=XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXX      XXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXX      XXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXX   .**XXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXX X!.X*XXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXX XXXX.XXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXX  XX *XXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXX     .XXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXX    . XXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXX    * XXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXXX   .. XXXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXX    .   XXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXXX   ..   XXXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXX    *     XXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXXX   ..     XXXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXX    .XX     XXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXXX   . XX     XXXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXX   ..XXXX     XXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXXX   * XXXX     XXXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXX   .. XXXX      XXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXXX   .   XX       XXXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXX   ..   XX        XXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXXX   .              XXXXXXXXXXXXXXXX
=XXXXXXXXXXXXXX   ..               XXXXXXXXXXXXXXX
=XXXXXXXXXXXXXX   *                XXXXXXXXXXXXXXX
=XXXXXXXXXXXXX   ..                 XXXXXXXXXXXXXX
=XXXXXXXXXXXXX   .XX          XX    XXXXXXXXXXXXXX
=XXXXXXXXXXXX   ..XX          XX     XXXXXXXXXXXXX
=XXXXXXXXXXXX   .XXXX        XXXX    XXXXXXXXXXXXX
=XXXXXXXXXXX   ..XXXX        XXXX     XXXXXXXXXXXX
=XXXXXXXXXXX   * XXXX        XXXX     XXXXXXXXXXXX
=XXXXXXXXXX   ..  XX          XX       XXXXXXXXXXX
=XXXXXXXXXX   .   XX          XX       XXXXXXXXXXX
=XXXXXXXXX   ..                         XXXXXXXXXX
=XXXXXXXXX   .                          XXXXXXXXXX
=XXXXXXXX   ..                           XXXXXXXXX
=XXXXXXXX   *                            XXXXXXXXX
=XXXXXXX   ..XX         XX         XX     XXXXXXXX
=XXXXXXX  .. XX         XX         XX     XXXXXXXX
=XXXXXX  .. XXXX       XXXX       XXXX     XXXXXXX
=XXXXXX ..  XXXX       XXXX       XXXX     XXXXXXX
=XXXXX  *   XXXX       XXXX       XXXX      XXXXXX
=XXXXX ..    XX         XX         XX       XXXXXX
=XXXX ..     XX         XX         XX        XXXXX
=XXXX..                                      XXXXX
=XXX *                                        XXXX
=XXX..                                        XXXX
=XX..                                          XXX
XXX*                                           XXX
XX..                                            XX
XX*                                             XX
X .                                              X
X *                                              X
X*@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@X
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

        0.91 real         0.83 user         0.06 sys