maps/159.map: 38 x 30, d_max: 8 x 7, v_max: 10.63, checkpoints: 1ff
first real max: (24 x 21) / (7 x 7), v: 9.90
first valid max: (25 x 3) / (7 x 2), v: 7.28
70513 moves, 23207 real moves, 13697 valid moves, max_mc: 58 (24 x 21)
usr: 0.42, sys: 0.02, costs-usr: 0.00, costs-sys 0.00, maxrss: 19728
=XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
=XXXXXXX    8                XXXXXXXXX
=XXXX       8                 XXXXXXXX
=XXX        8            P**   XXXXXXX
XXX      XXXXXXXXXXXXXXX   **** XXXXXX
XX      XXXXXXXXXXXXXXXXXXXXX ***XXXXX
X      XXX   XXXXXXX     XXXXX  99XXXX
X     XXX      XXX          XXX99  XXX
X   XXXX       XXX         22XXX    XX
X   XXXX        X         22 XXXX    X
X    X     X    X     XXX22   XXX    X
X         XXX777X    XXXXXX    XX    X
XX       XXX    X     XXXXX     XX   X
XXXXXXXXXXX     XX     XXXXX    XX   X
XXX      XX     XXX    XXXXX    XX   X
XX        XX     XXX    XXXX    XX   X
X    X     XX     XXX   XXXX    XX   X
X   XXXX   XX     XXX333XXX     X####X
X   XXX    XXX    XX    XX     XX @ @X
X555XX    XXXX    XX    X      XX@ @ X
X   X    XXXX    XX    XX    XXXX    X
X   X    XXXX    X     XM   XXXXX    X
X   XX    X     XX     X1.11XXXX     X
X    X    6    XX     XX  . XXXX     X
X    XX   6   XX     XXX   . XXX    XX
X    XXX  6 XXXX     XXX    .XX     XX
X    XXXXXXXXX      XXXX     .     XXX
XX       4         XXXXX      .   XXXX
XXX      4       XXXXXXXX      .  XXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

34/18:	62	0	0
36/18:	62	0	0
33/19:	62	0	0
35/19:	62	0	0
=XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
=XXXXXXX    8                XXXXXXXXX
=XXXX      ..*....*....*..    XXXXXXXX
=XXX    .*..8            ..*.  XXXXXXX
XXX    ..XXXXXXXXXXXXXXX    ..  XXXXXX
XX   .*.XXXXXXXXXXXXXXXXXXXXX.*  XXXXX
X   *. XXX   XXXXXXX     XXXXX .99XXXX
X  .. XXX      XXX          XXX9.  XXX
X  *XXXX       XXX   *.*.  22XXX *  XX
X  .XXXX   .*.* X   *   .*22 XXXX..  X
X  * X  .*.X   *X   . XXX2.   XXX .  X
X   *.*.  XXX77.X   *XXXXXX*   XX .. X
XX       XXX   *X   . XXXXX.    XX * X
XXXXXXXXXXX    .XX   . XXXXX.   XX . X
XXX      XX    .XXX  * XXXXX*   XX . X
XX  .*.*  XX   * XXX .  XXXX.   XX  .X
X  *.X  *  XX  .  XXX.  XXXX.   XX  .X
X ..XXXX.  XX  .  XXX.33XXX .   X###!X
X * XXX *  XXX *  XX *  XX  *  XX * @X
X5.5XX  . XXXX .  XX .  X   .  XX@*@ X
X . X   .XXXX  . XX .. XX  . XXXX .  X
X * X   *XXXX  * X  .  X   *XXXXX *  X
X . XX  ..X   ..XX  *  X111.XXXX  .  X
X .  X   *.   *XX  .. XX   .XXXX  .  X
X *  XX   .*.*XX  .. XXX   * XXX  * XX
X .. XXX  6 XXXX .*  XXX   ..XX  .. XX
X  *.XXXXXXXXX  ..  XXXX    *.   * XXX
XX  .*.  4    .*.  XXXXX     .*.* XXXX
XXX    .*...*.   XXXXXXXX         XXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

        0.45 real         0.42 user         0.02 sys