maps/184.map: 72 x 30, d_max: 11 x 7, v_max: 13.04, checkpoints: 007
first real max: (48 x 8) / (10 x -6), v: 11.66
first valid max: (18 x 23) / (-10 x -3), v: 10.44
141946 moves, 54993 real moves, 32337 valid moves, max_mc: 116 (17 x 11)
usr: 0.19, sys: 0.01, costs-usr: 0.00, costs-sys 0.00, maxrss: 13984
=XXXXXXXXXXYYYYYYYYYYYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYYYYXXXXXXXXXXXXX
=XXXXXXXXXYYYYY       YYYYXXXXXXXXXXXXXXXXX             YYYYYYXXXXXXXXXX
=XXXXXXXXYYYY            YYXXXXXXXXXXXXXX                ..YYYYXXXXXXXXX
=XXXXXXXYYY                XXXXXXXXXX                   ..   YYYXXXXXXXX
=XXXXXXYYY        XXX            #@         XXXYYYYYYY..      YYYXXXXXXX
=XXXXXYYY      YYYYXXXXX         # @     XXXXXYY    ...        YYYXXXXXX
=XXXXXYYY    YYYYYYYXXXXXX       #@   XXXXXXXXYY   ..           YYYXXXXX
=XXXXYYY         YYYYXXXXXXXXXXXXXXXXXXXXXXXYY   ..             YYYXXXXX
=XXXXYYY           YYYXXXXXXXXXXXXXXXXXXXXXYY   O.               YYXXXXX
=XXXYYY             YYYYXXXXXXXXXXXXXXXXXXYY        XXXXXXX      YYYXXXX
XXXXYYY              YYYXXXXXXXXXXXXXXXXXXY1       XXXXXXXX       YYYXXX
XXXXYYY          M    YYYXXXXXXXXXXXXXXXX  1      XXXXXXXXX       YYYXXX
XXXXYYY                YYYYXXXXXXXXXXXX    1     XXXXXXXXX   Y     YYXXX
XXXXYYY      XXX         YYYYYXXXXXXX      1   XXXXXXXXXX    Y     YYYXX
XXXXYYY     XXXXX          # @             1  YXXXXXXXXX    YYY     YYXX
XXXXYYY     XXXXXX         #@ @            1 YYXXXXXXX     XXYY     YYXX
XXXXYYY33333XXXXXXXX       # @             1YYXXXXXXX     XXXXXX    YYXX
XXXXYYY     XXXXXXXXXXX    #@ @          YYYYYXXXXXXX   XXXXXXXX    YYXX
XXXXXYY      XXXXXXXXXXXX  # @        YYYYYYXXXXXXXX111XXXXXXXXX    YYXX
XXXXXZZZ      XXXXXXXXXXXXXYYYYYYYYYYYYYYYXXXXXXXXXX   XXXXXXXXX    YYXX
XXXXXXZZ***    XXXXXXXXXXXXXXXXXXXXYYYYXXXXXXXXXXXXX   XXXXXXXX     YYXX
XXXXXXYZ  ****   XXXXXXXXXXXXXXXXXXXXXXXYYYYYYYYXXXX   XXXXXXXX    YYYXX
XXXXXYXZZ    ****    XXXXXXXXXXXXXXXXXXYYYYYYYYYYYYX   XXXXXXX     YYXXX
YYYYYXXXYYY     **P      XXXXXXXXXXXYYYYY         YY   XXXXX      YYYXXX
YXXXYXXXYYYYY               XXXXXXYYYY                 XXXX      YYYXXXX
YXYXYXXXXYYYYYY                      2                          YYYYXXXX
YXXXYXXXXXYYYYYYYYY                  2                        YYYYYXXXXX
YYYYYXXXXXXXXYYYYYYYYY               2    XXXXX             YYYYYYXXXXXX
XXYXXXXXXXXXXXXXXXYYYYYYY            2XXXXXXXXXXXX          YYYYYYXXXXXX
XXYXXXXXXXXXXXXXXXXXXXXYYYYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYYYYXXXXXXXX

34/4:	33	0	0
35/5:	33	0	0
34/6:	33	0	0
29/14:	33	0	0
28/15:	33	0	0
30/15:	33	0	0
29/16:	33	0	0
28/17:	33	0	0
30/17:	33	0	0
29/18:	33	0	0
=XXXXXXXXXXYYYYYYYYYYYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYYYYXXXXXXXXXXXXX
=XXXXXXXXXYYYYY       YYYYXXXXXXXXXXXXXXXXX             YYYYYYXXXXXXXXXX
=XXXXXXXXYYYY            YYXXXXXXXXXXXXXX                  YYYYXXXXXXXXX
=XXXXXXXYYY                XXXXXXXXXX  .*...*....*...*.      YYYXXXXXXXX
=XXXXXXYYY        XXX            #**.*.     XXXYYYYYYY .*.    YYYXXXXXXX
=XXXXXYYY      YYYYXXXXX         # @     XXXXXYY         .*    YYYXXXXXX
=XXXXXYYY    YYYYYYYXXXXXX       #@   XXXXXXXXYY          ..    YYYXXXXX
=XXXXYYY         YYYYXXXXXXXXXXXXXXXXXXXXXXXYY             *    YYYXXXXX
=XXXXYYY           YYYXXXXXXXXXXXXXXXXXXXXXYY              .     YYXXXXX
=XXXYYY             YYYYXXXXXXXXXXXXXXXXXXYY        XXXXXXX.     YYYXXXX
XXXXYYY              YYYXXXXXXXXXXXXXXXXXXY1       XXXXXXXX*      YYYXXX
XXXXYYY      *.*.     YYYXXXXXXXXXXXXXXXX  1      XXXXXXXXX.      YYYXXX
XXXXYYY     *    .*..  YYYYXXXXXXXXXXXX    1     XXXXXXXXX.  Y     YYXXX
XXXXYYY    ..XXX    ..*. YYYYYXXXXXXX      1   XXXXXXXXXX *  Y     YYYXX
XXXXYYY    *XXXXX      ....# @             1  YXXXXXXXXX .. YYY     YYXX
XXXXYYY    .XXXXXX        .!@ @            1 YYXXXXXXX  .. XXYY     YYXX
XXXXYYY3333.XXXXXXXX       # @             1YYXXXXXXX   * XXXXXX    YYXX
XXXXYYY    *XXXXXXXXXXX    #@ @          YYYYYXXXXXXX  .XXXXXXXX    YYXX
XXXXXYY    . XXXXXXXXXXXX  # @        YYYYYYXXXXXXXX11*XXXXXXXXX    YYXX
XXXXXZZZ    . XXXXXXXXXXXXXYYYYYYYYYYYYYYYXXXXXXXXXX  .XXXXXXXXX    YYXX
XXXXXXZZ    *  XXXXXXXXXXXXXXXXXXXXYYYYXXXXXXXXXXXXX . XXXXXXXX     YYXX
XXXXXXYZ    ..   XXXXXXXXXXXXXXXXXXXXXXXYYYYYYYYXXXX * XXXXXXXX    YYYXX
XXXXXYXZZ    ..      XXXXXXXXXXXXXXXXXXYYYYYYYYYYYYX.. XXXXXXX     YYXXX
YYYYYXXXYYY   *.         XXXXXXXXXXXYYYYY         YY*  XXXXX      YYYXXX
YXXXYXXXYYYYY  ..           XXXXXXYYYY             .   XXXX      YYYXXXX
YXYXYXXXXYYYYYY .*..                 2           .*             YYYYXXXX
YXXXYXXXXXYYYYYYYYY..*..             2   ..*...*.             YYYYYXXXXX
YYYYYXXXXXXXXYYYYYYYYY  ..*.....*.....*.. XXXXX             YYYYYYXXXXXX
XXYXXXXXXXXXXXXXXXYYYYYYY            2XXXXXXXXXXXX          YYYYYYXXXXXX
XXYXXXXXXXXXXXXXXXXXXXXYYYYYXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXYYYYYYXXXXXXXX

        0.21 real         0.19 user         0.01 sys