maps/088.map: 63 x 96, d_max: 10 x 13, v_max: 16.40, checkpoints: 007 first real max: (28 x 26) / (8 x -12), v: 14.42 first valid max: (50 x 68) / (-5 x 11), v: 12.08 590996 moves, 218857 real moves, 109068 valid moves, max_mc: 261 (40 x 28) usr: 0.80, sys: 0.05, costs-usr: 0.00, costs-sys 0.00, maxrss: 35932 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXX =XXXXXXXXXXXXXXXXXXXX XXXXXXXX 33XX =XXXXXXXXXXXXXXXXXXX XXXXXX XX 33XX =XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXX XXXXX X =XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XX XXXXX X =XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXX X =XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX X XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX X XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XX XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XX XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXX XXXXXXXXXXXXXXX .XXXXXXXXXXXXXXX XXXXXXX XXXXXXXXX XXXXXXXXXXXXX .. XXXXXXXXXXXX XXXXXX XXXXXXXX XXXXXXXXXXXX .. XXXXXXXXXXX XXXXXX XXXXXXX XXXXXXXXXXX . XXXXXXXXX XXXXX XXXXXX XXXXXXXXXXX .. XXXXXXXXX XXXXX XXXXXX XXXXXXXXXX .. XXXXXXXX XXXX XXXXX XXXXXXXXXX . XXXXXXXX XXXX XXXXX XXXXXXXXXXX .. XXXXXXX XXX XXXXX XXXXXXXXXX .. XXXXXXX XXX XXXX XXXXXXXXX . XXXXXXX XXX XXX XXXXXXXXXX .. XXXXXXX XX XXX XXXXXXXXXX .. XXXXXXX XX XXX XXXXXXXXXX O XXXXXX XX XX XXXXXXXXXX XXXXXXXX XXXXXXX XX XX XXXXXXXXXX XXXXXXXXXXXXX M XXXXXX XX XX XXXXXXXXXX XXXXXXXXXXXXXXXX XXXXXX XX XX XXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXX X X XXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXX X X XXXXXXXXXX 11 XXXXXXXXXXXXXXXXXXX XXXXXXX X X XXXXXXXXX 11 XXXXXXXXXXXXXXXXXXXX XXXXXX X X##XXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXX X XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXX X XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXX X XXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXX X XXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXX X XXXXXXXXXXX XXXXXXXXXXXX XXXXXX X XXXXXXXXXX XXXXXXX XXXX XXXXXX X XXXXXXXXXX 22 XXX XXXXXXX XXXXXX X XXXXXXXXX 22 XXXXXXXXX XXXXXXX X XXXXXXXXX XXXXXXXXXX XXXXXXX X XXXXXXXX XXX X X XXXXX XXXXXXXXXX XXXXXXX X XXXXXXX X X X X X X XXXXXXXXX XXXXXX X XXXXXXX X X X X X X XXXXXXX XXXXXX X XXXXXXX X X XXXXXX XXXXX XXXXXXX XXXXXXX XX XXXXXXXX X X X X X X XXXXXX XXXXXXX XX XXXXXXXXX X X X X X X XXXXXX XXXXXX XX XXXXXXXXX XXX X X X X XXXXXX XXXXXXX XX XXXXXXXXXX XXXXXX XXXXXXX XX XXXXXXXXXXX XXXXXXX XXXXXXX XX XXXXXXXXXXX XXXXXX XXXXXXX XXX XXXXXXXXXXXX XXXXXXX XXXXXXXX XXX XXXXXXXXXXXX XXXXXXXX XXXXXXXX XXX XXXXXXXXXXXX XXXXXXXXX XXXXXXXXX XXXX XXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXX XXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXX XXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXX XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXX XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXX XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXX XXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXX XXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXX XXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXX P XXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXX ** XXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXX * XXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXX XXXXXXXXXXXXX ** XXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXX XXXXXXXXXXXX * XXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXX @ @ XXXXXXXXXXXXX * XXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXX @ @ @ XXXXXXXXXXXX * XXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXX@ @ @ @XXXXXXXXXXX * XXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXX **XXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX *XXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX **XXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX *XXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 28/73: 78 0 0 30/73: 78 0 0 27/74: 78 0 0 29/74: 78 0 0 31/74: 78 0 0 26/75: 78 0 0 28/75: 78 0 0 30/75: 78 0 0 32/75: 78 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXX =XXXXXXXXXXXXXXXXXXXX ...*.....*.. XXXXXXXX .*.*.33XX =XXXXXXXXXXXXXXXXXXX .*... ..*. XXXXXX *. XX.*3XX =XXXXXXXXXXXXXXXXX ...XXXXXXXXXXXXXXX ...XXXX ..XXXXX.. X =XXXXXXXXXXXXXXXX .*.XXXXXXXXXXXXXXXXXXXX .* XX * XXXXX * X =XXXXXXXXXXXXXX ..XXXXXXXXXXXXXXXXXXXXXXXX . X .XXXXXXX. X =XXXXXXXXXXXXX .. XXXXXXXXXXXXXXXXXXXXXXXXXX . .XXXXXX . X XXXXXXXXXXXXX *. XXXXXXXXXXXXXXXXXXXXXXXXXXXXX * *XXXXXX * X XXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .. XXXX ..XX XXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX *.XX .* XX XXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .*..*. XXX XXXXXXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * XXXXX XXXXXXXXX .. XXXXXXXXXXXXXXX XXXXXXXXXXXXXXX .. XXXXXXX XXXXXXXXX . XXXXXXXXXXXXX XXXXXXXXXXXX . XXXXXX XXXXXXXX . XXXXXXXXXXXX XXXXXXXXXXX . XXXXXX XXXXXXX .. XXXXXXXXXXX XXXXXXXXX .. XXXXX XXXXXX * XXXXXXXXXXX XXXXXXXXX * XXXXX XXXXXX . XXXXXXXXXX XXXXXXXX . XXXX XXXXX . XXXXXXXXXX XXXXXXXX . XXXX XXXXX .XXXXXXXXXXX XXXXXXX . XXX XXXXX .XXXXXXXXXX XXXXXXX . XXX XXXX . XXXXXXXXX XXXXXXX . XXX XXX *XXXXXXXXXX XXXXXXX * XX XXX ..XXXXXXXXXX XXXXXXX . XX XXX .XXXXXXXXXX XXXXXX . XX XX . XXXXXXXXXX XXXXXXXX XXXXXXX. XX XX ..XXXXXXXXXX XXXXXXXXXXXXX XXXXXX . XX XX * XXXXXXXXXX XXXXXXXXXXXXXXXX XXXXXX . XX XX.. XXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXX . X X . XXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXX * X X . XXXXXXXXXX 11 XXXXXXXXXXXXXXXXXXX XXXXXXX. X X.. XXXXXXXXX **1 XXXXXXXXXXXXXXXXXXXX XXXXXX. X X!#XXXXXXXXXX * * XXXXXXXXXXXXXXXXXXXX XXXXXX. X XXXXXXXXXXXX * .. XXXXXXXXXXXXXXXXXXXX XXXXXX. X XXXXXXXXXXXX .. * XXXXXXXXXXXXXXXXXXXX XXXXXX. X XXXXXXXXXXX * .. XXXXXXXXXXXXXXXXXXX XXXXXX. X XXXXXXXXXXX . ..XXXXXXXXXXXXXXXXX XXXXXX. X XXXXXXXXXXX . *. XXXXXXXXXXXX .*..*. XXXXXX* X XXXXXXXXXX * .. XXXXXXX .*.XXXX .* XXXXXX. X XXXXXXXXXX . .*.. XXX.*.XXXXXXX .. XXXXXX. X XXXXXXXXX . 2..*..*.XXXXXXXXX * XXXXXXX. X XXXXXXXXX . XXXXXXXXXX . XXXXXXX. X XXXXXXXX XXX *X X XXXXX XXXXXXXXXX . XXXXXXX. X XXXXXXX X X .X X X X XXXXXXXXX * XXXXXX . X XXXXXXX X X .X X X X XXXXXXX . XXXXXX . X XXXXXXX X X.XXXXXX XXXXX XXXXXXX .. XXXXXXX * XX XXXXXXXX X X.X X X X XXXXXX . XXXXXXX . XX XXXXXXXXX X X *X X X X XXXXXX * XXXXXX . XX XXXXXXXXX XXX .X X X X XXXXXX .. XXXXXXX . XX XXXXXXXXXX . XXXXXX . XXXXXXX .. XX XXXXXXXXXXX . XXXXXXX . XXXXXXX . XX XXXXXXXXXXX . XXXXXX .. XXXXXXX . XXX XXXXXXXXXXXX . XXXXXXX * XXXXXXXX . XXX XXXXXXXXXXXX * XXXXXXXX .. XXXXXXXX * XXX XXXXXXXXXXXX .. XXXXXXXXX . XXXXXXXXX . XXXX XXXXXXXXXXXX . XXXXXXXXXXXXXXX . XXXXXXXX .. XXXX XXXXXXXXXXXX . XXXXXXXXXXXXXXXXXX .. XXXXXXXX . XXXXX XXXXXXXXXXXX. XXXXXXXXXXXXXXXXXXX * XXXXXXXXX . XXXXX XXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXX . XXXXXXXXX .. XXXXX XXXXXXXXXXX.. XXXXXXXXXXXXXXXXXXXX . XXXXXXXXX . XXXXXX XXXXXXXXXXX* XXXXXXXXXXXXXXXXXXXX . XXXXXXXXXX * XXXXXX XXXXXXXXXX . XXXXXXXXXXXXXXXXXXXX * XXXXXXXXX ..XXXXXXX XXXXXXXXXX.. XXXXXXXXXXXXXXXXXXXX.. XXXXXXXXXX . XXXXXXX XXXXXXXXXX. XXXXXXXXXXXXXXXXXXXX.. XXXXXXXXXX ..XXXXXXXX XXXXXXXXX . XXXXXXXXXXXXXXXXXXX .. XXXXXXXXXXX . XXXXXXXX XXXXXXXXX.. XXXXXXXXXXXXXXXXXXX * XXXXXXXXXXX ..XXXXXXXXX XXXXXXXXX. XXXXXXXXXXXXXXXXXX .. XXXXXXXXXXXX * XXXXXXXXX XXXXXXXX * XXXXXXXXXXXXXXXXXX .. XXXXXXXXXXXX ..XXXXXXXXXX XXXXXXXX . XXXXXXXXXXXXXXXXX * XXXXXXXXXXXXX ..XXXXXXXXXXX XXXXXXXX . XXXXXXXXXXXXXXXX .. XXXXXXXXXXXXX .XXXXXXXXXXXX XXXXXXXX..XXXXXXXXXXXXXXXX * XXXXXXXXXXXX ..XXXXXXXXXXXX XXXXXXX . XXXXXXXXXXXXXXXX * @ XXXXXXXXXXXXX ..XXXXXXXXXXXXX XXXXXXX . XXXXXXXXXXXXXXXX @ @ @ XXXXXXXXXXXX * XXXXXXXXXXXXX XXXXXXX * XXXXXXXXXXXXXXXX@ @ @ @XXXXXXXXXXX ..XXXXXXXXXXXXXX XXXXXXX . XXXXXXXXXXXXXXXXX XXXXXXXXXXX .XXXXXXXXXXXXXXX XXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXX XXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX ..XXXXXXXXXXXXXXXX XXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX *XXXXXXXXXXXXXXXXX XXXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXX XXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXX XXXXXXX .. XXXXXXXXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXX XXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXX *XXXXXXXXXXXXXXXXXXXXX XXXXXXXX * XXXXXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXX XXXXXXXX .. XXXXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX .. XXXXXXXXXXXXXXXXXXXX .*XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX *. XXXXXXXXXXXXXXXXX ...XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX .. XXXXXXXXXXXXXXX ..*. XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX .*..XXXXXXXXX...*.. XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX ..*....*... XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.87 real 0.80 user 0.06 sys