maps/076.map: 72 x 66, d_max: 11 x 10, v_max: 14.87, checkpoints: 007 first real max: (58 x 23) / (11 x -9), v: 14.21 first valid max: (9 x 54) / (4 x 10), v: 10.77 299560 moves, 115127 real moves, 58972 valid moves, max_mc: 191 (15 x 56) usr: 0.36, sys: 0.02, costs-usr: 0.00, costs-sys 0.00, maxrss: 20188 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX =XXXXXXXXXX X 11 XXXXXXXXXX =XXXXXXXX 11 XXXXXXXX =XXXXXXX XXXXX 11 X XX XXXXXXX =XXXXXXX XXXXXXXXXX 11 XXX XXXXXXXXXXX XXXXXX =XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX =XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX ..XX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .. XX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .. XX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .. XX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .. XX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.. XX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.. XXX XX XXXXXXXXXXXXXXXXXXX X X .. XXXXXX XX XXXXXXXXXXXXXXXXXX X X .. XXXXXXXX XX XXXXXXXXXXXXXXXX X O. XXXXXXXXXX X XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXX222222XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXX222222XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X @@ XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X @@ XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X @@ XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X @@ XXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX X#########XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXX XX XXXXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXX XX XXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XX XXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX X XX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX X XX XXXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXX X XX XXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXX X XXX XXXXX XXXXXXX 33 XX XXX P XXX XXXXXXXXX 33 XX XXXX ** XXXXXXXXXXX 33 XXX XXXX * M XXXXXXXXXXXX 33 XXXXX XXX * XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXX XXXX ** XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX ** XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX###X##XX#X#X XXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX#XXX#X#X#X#X XXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX##XX##XX###X XXXXXXXX ** XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX#XXX#X#XXX#X XXXXXXXXXXX *XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX###X##XXXX#X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 2/33: 77 0 0 3/33: 77 0 0 6/34: 78 0 0 7/34: 78 0 0 2/35: 78 0 0 3/35: 78 0 0 6/36: 78 0 0 7/36: 79 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX =XXXXXXXXXX X 11 XXXXXXXXXX =XXXXXXXX .*..*.. 11 ...*.....*....*.. XXXXXXXX =XXXXXXX *.XXXXX..*.. 11 ...*...X XX ..*. XXXXXXX =XXXXXXX ..XXXXXXXXXX..*....*... XXX XXXXXXXXXXX.. XXXXXX =XXXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.* XXXXX =XXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.. XXXXX XXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.. XXXX XXXXXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX* XXX XXXXXXXXX.. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. XXX XXXXXXXXX* XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. XXX XXXXXXXX.. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX* XXX XXXXXXX.. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. XX XXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. XX XXXXX ..XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. XX XXXXX..XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX* XX XXXX.. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. XX XXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. XX XXX..XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX* XX XXX. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. XXX XX . XXXXXXXXXXXXXXXXXXX .*.*X X .* XXXXXX XX..XXXXXXXXXXXXXXXXXX .*. X*X .*. XXXXXXXX XX* XXXXXXXXXXXXXXXX *. X*.*..*...*....*...*. XXXXXXXXXX X . XXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X.. XXXXXXXXXXXXXX *XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X. XXXXXXXXXXXXX *XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X* XXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X. XXXXXXXXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X. XXXXXXXXXXXX2222.2XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X* XXXXXXXXXXXX2222.2XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X. XXXXXXXXXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X* XXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X *@ XXXXXXXXXXXXXXX *. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X @@ XXXXXXXXXXXXXXXX .*.. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X @@ XXXXXXXXXXXXXXXXX ..*..*. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X @@ XXXXXXXXXXXXXXXXXXXXX XXXXX.* XXXXXXXXXXXXXXXXXXXXXXXXXXXXX X###!#####XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. XXXXXXXXXXXXXXXXXXXXXXXXXXXX X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXX X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXX X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXX XX . XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX *.XXXXXXXXXXXXXXXXXXXXXXXXX XX * XXXXXXXXXXXXX XXXXXXXXXXXXXX ...XXXXXXXXXXXXXXXXXXXXXXX XX . XXXXXXXXXXXX XXXXXXXXXXXXXXX .*.. XXXXXXXXXXXX XX . XXXXXXXXXXX XXXXXXXXXXXXXXXXXX ..*...*. XXXXXXXXX XX . XXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX .* XXXXXX XX * XXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXX XX . XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX * XXX XX .. XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX * XX XX . XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX * X XX * XXXXXXXXX .*...*.. XXXXXXXXXXXXXXXXXXXXXXXXX .. X XX .. XXXXXXX *. XX ..*. XXXXXXXXXXXXXXXXXXXXXXXX * X XX .. XXXXXXX . XXXXX ...XXXXXXXXXXXXXXXXXXXXXXX . X XXX * XXXXX .* XXXXXXX .*. 33 .* XX XXX .. XXX .. XXXXXXXXX ... 33 .. XX XXXX *. ..*. XXXXXXXXXXX .*.. 33 ..*. XXX XXXX .*..*.. XXXXXXXXXXXX ..*...*.. XXXXX XXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX###X##XX#X#X XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX#XXX#X#X#X#X XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX##XX##XX###X XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX#XXX#X#XXX#X XXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX###X##XXXX#X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.40 real 0.37 user 0.02 sys