maps/094.map: 27 x 36, d_max: 6 x 7, v_max: 9.22, checkpoints: 0ff
first real max: (8 x 14) / (-6 x -7), v: 9.22
first valid max: (3 x 22) / (2 x 7), v: 7.28
56290 moves, 27228 real moves, 19934 valid moves, max_mc: 72 (10 x 5)
usr: 46.14, sys: 0.35, costs-usr: 0.01, costs-sys 0.00, maxrss: 113424
=XXXXXXXXXXXXXXXXXXXXXXXXXX
=X           #@           X
=X           @#           X
=X           #@           X
=X           @#           X
=X        M  #@           X
XX           @#           X
XX.   XXXXXXXXXXXXXXXX    X
XX..  XXXXXXXXXXXXXXXX    X
XX .. XXXXXXXXXXXXXXXX    X
XX  ..XXXXXXXXXXXXXXXX    X
XX   ..                   X
XX    ..                  X
XX     ..                 X
XX      O                 X
XX    XXXX  XXXX  XXXX    X
XX    XXXX11XXXX22XXXX    X
XX    XXXX  XXXX  XXXX    X
XX    XXXX  XXXX  XXXX    X
XX     3            4     X
XX     3            4     X
XX    XXXX  XXXX  XXXX    X
XX P  XXXX  XXXX  XXXX    X
XX *  XXXX  XXXX  XXXX    X
XX ** XXXX  XXXX  XXXX    X
XX  *  5            6     X
XX  *  5            6     X
XX  **XXXX  XXXX  XXXX    X
XX   *XXXX  XXXX  XXXX    X
XX   *XXXX77XXXX88XXXX    X
XX    XXXX  XXXX  XXXX    X
XX                        X
XX                        X
XX                        X
XX                        X
XXXXXXXXXXXXXXXXXXXXXXXXXXX

14/1:	46	0	0
13/2:	46	0	0
14/3:	46	0	0
13/4:	46	0	0
14/5:	46	0	0
13/6:	47	0	0
=XXXXXXXXXXXXXXXXXXXXXXXXXX
=X           #**.         X
=X           @!..*.       X
=X           #@ ..*.      X
=X           @#    ..     X
=X           #@     .*    X
XX           @#      ..   X
XX    XXXXXXXXXXXXXXXX..  X
XX    XXXXXXXXXXXXXXXX.*  X
XX    XXXXXXXXXXXXXXXX .  X
XX    XXXXXXXXXXXXXXXX .. X
XX                      . X
XX                      * X
XX                      . X
XX          **.*        ..X
XX    XXXX *XXXX* XXXX  *.X
XX    XXXX1.XXXX..XXXX ..*X
XX    XXXX *XXXX *XXXX * .X
XX    XXXX..XXXX .XXXX.. .X
XX     3 .*      *  4.*  .X
XX    *.*.        *.*.   *X
XX   *XXXX  XXXX  XXXX   .X
XX   *XXXX  XXXX  XXXX  . X
XX   .XXXX  XXXX  XXXX  * X
XX   *XXXX  XXXX  XXXX .  X
XX    *.*.          6.*   X
XX     5 .*       *.*.    X
XX    XXXX..XXXX *XXXX    X
XX    XXXX *XXXX .XXXX    X
XX    XXXX7.XXXX8*XXXX    X
XX    XXXX *XXXX .XXXX    X
XX          *.   *        X
XX           .*.*         X
XX                        X
XX                        X
XXXXXXXXXXXXXXXXXXXXXXXXXXX

       46.69 real        46.15 user         0.37 sys