maps/194.map: 41 x 46, d_max: 8 x 9, v_max: 12.04, checkpoints: 007
first real max: (10 x 14) / (-8 x -8), v: 11.31
first valid max: (30 x 7) / (8 x 3), v: 8.54
99591 moves, 35504 real moves, 21065 valid moves, max_mc: 75 (6 x 11)
usr: 0.08, sys: 0.01, costs-usr: 0.00, costs-sys 0.00, maxrss: 10472
=XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
=X                       XXXXXXXXXXXXXXXX
=X                       XXXXXXXXXXXXXXXX
=X                            XXXXXXXXXXX
=X                            XXXXXXXXXXX
XX     XXXXXXXXXXXXXXXX       XXXXXXXXXXX
XX.    XXXXXXXXXXXXXXXX       XXXXXXXXXXX
XX#.###XXXXXXXXXXXXXXXX       P*        X
XX@@.@@XXXXXXXXXXXXXXXX        ****     X
XX   . XXXXXXXXXXXXXXXX           ****  X
XX    .XXXXXXXXXXXXXXXXXXXXXXXXXXXXX ** X
XX    M.                           X    X
XX      .                   XXX    X    X
XX       .                  XXX    X    X
XX        O                 XXX    X    X
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX    X    X
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX    X    X
XXXXXXXXXXXXXXXXXXXXXXXXXXX11XX    X    X
XXXXXXXXXXXXXX     XXXXXXX 11 X    X    X
XXXXXXXXX          XXXXXX          X    X
XXXXXXXXX                          X    X
XXXXXX             XXXXXX          X    X
XXXXXX        XXXXXXXXXXXX 11 XXXXXX3333X
XXXXX      XXXXXXXXXXXXXXXX11XXXXXXX    X
XXXX      XXXXXXXXXXXXXXXXXXXXXXXXXX    X
XXX      XXX=XX=X====XXX==XX==XXXXXX    X
XXX     XXXX=X=XX=XXXXX=X=X=XX=XXXXX    X
XXX    XXXXX==XXX=XXXXXXX=XXX=XXXXXX    X
XXX    XXXXX=X=XX=XXXXXXX=XX=XXXXXXX    X
XXX    XXXXX=XX=X====XXXX=X====XXXXX    X
XXX    XXXXXXXXXXXXXXXXXXXXXXXXXXXXX    X
XXX    XXXXXXXXXXXXXXXXXXXXXXXXXXXXX    X
XXX    XXX=XXX=X=X===X===X===X==XXXX    X
XXX    XXX=XXX=X=XX=XXX=XX==XX==XXXX    X
XXX    XXX===X===XX=XXX=XX===X=X=XXX    X
XXX    XXXXXXXXXXXXXXXXXXXXXXXXXXXXX    X
XXX    XXX      22     XXXXXXXXXXXXX    X
XXX    XXX      22     XXXXXXXXXXXXX    X
XXX    XXX    XXXXXX   XXXXXXXXXXXXX    X
XXX           XXXXXX          XXXXXX    X
XXX           XXXXXX          XXXXXX    X
XXXXXXXXXX    XXXXXX   XXX              X
XXXXXXXXXX      22     XXX              X
XXXXXXXXXX      22     XXX              X
XXXXXXXXXXXXXXXXXXXXXXXXXX              X
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

3/8:	53	0	0
4/8:	53	0	0
2/8:	54	0	0
5/8:	54	0	0
6/8:	55	0	0
=XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
=X                       XXXXXXXXXXXXXXXX
=X                       XXXXXXXXXXXXXXXX
=X        ..*....*...         XXXXXXXXXXX
=X     .*..         ...*.     XXXXXXXXXXX
XX   *.XXXXXXXXXXXXXXXX ....  XXXXXXXXXXX
XX  .  XXXXXXXXXXXXXXXX    .*.XXXXXXXXXXX
XX#!###XXXXXXXXXXXXXXXX      ...        X
XX@*@@@XXXXXXXXXXXXXXXX        .*.      X
XX  *  XXXXXXXXXXXXXXXX           .*    X
XX   . XXXXXXXXXXXXXXXXXXXXXXXXXXXXX.   X
XX    *.                 ..*..*.   X *  X
XX      .*..         ..*..  XXX.*  X .  X
XX         ..*....*..       XXX .. X  . X
XX                          XXX  * X  * X
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX  . X  . X
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX  . X  ..X
XXXXXXXXXXXXXXXXXXXXXXXXXXX11XX  * X   .X
XXXXXXXXXXXXXX     XXXXXXX 11 X .. X   *X
XXXXXXXXX          XXXXXX       *  X   .X
XXXXXXXXX        ..*...*.      .   X   .X
XXXXXX       ..*.. XXXXXX.*.  *    X   .X
XXXXXX    .*..XXXXXXXXXXXX .**XXXXXX333.X
XXXXX    ..XXXXXXXXXXXXXXXX11XXXXXXX   *X
XXXX    *.XXXXXXXXXXXXXXXXXXXXXXXXXX   .X
XXX    ..XXX=XX=X====XXX==XX==XXXXXX   .X
XXX   ..XXXX=X=XX=XXXXX=X=X=XX=XXXXX   .X
XXX   *XXXXX==XXX=XXXXXXX=XXX=XXXXXX   .X
XXX   .XXXXX=X=XX=XXXXXXX=XX=XXXXXXX   *X
XXX  ..XXXXX=XX=X====XXXX=X====XXXXX   .X
XXX  . XXXXXXXXXXXXXXXXXXXXXXXXXXXXX   .X
XXX  * XXXXXXXXXXXXXXXXXXXXXXXXXXXXX   .X
XXX  . XXX=XXX=X=X===X===X===X==XXXX   *X
XXX  . XXX=XXX=X=XX=XXX=XX==XX==XXXX   .X
XXX  . XXX===X===XX=XXX=XX===X=X=XXX   .X
XXX  * XXXXXXXXXXXXXXXXXXXXXXXXXXXXX   .X
XXX  . XXX      22     XXXXXXXXXXXXX   *X
XXX   .XXX      22     XXXXXXXXXXXXX   .X
XXX   *XXX    XXXXXX   XXXXXXXXXXXXX   .X
XXX    .      XXXXXX          XXXXXX   *X
XXX     *.    XXXXXX   .*...*.XXXXXX  ..X
XXXXXXXXXX.*..XXXXXX.*.XXX    .*.    .* X
XXXXXXXXXX   ..*..*.   XXX       .*.*.  X
XXXXXXXXXX      22     XXX              X
XXXXXXXXXXXXXXXXXXXXXXXXXX              X
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

        0.10 real         0.08 user         0.01 sys