maps/036.map: 93 x 30, d_max: 13 x 7, v_max: 14.76, checkpoints: 003 first real max: (14 x 25) / (-13 x -3), v: 13.34 first valid max: (47 x 7) / (10 x 4), v: 10.77 244832 moves, 73999 real moves, 39426 valid moves, max_mc: 123 (51 x 10) usr: 0.37, sys: 0.02, costs-usr: 0.01, costs-sys 0.00, maxrss: 12944 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXX ##@ @ @ XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXX =XX XX ##@ @ @ XXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXX =X X ##@ @ @ XXX XXXXXXXXX XXXXXXX XXX XXX =X ##@ @ @ X XXXXX XXXXXXX X XXX XXX XX =X ##@ @ @ X XXXXXX X XX XXXXX X =X XXXXXXXXXXXXXXXXXXXXXX X XXXXXXX XXXX XX XXXXX X =X XXXXXXXXXXXX XXXXXXXXXXXXX P* XXXXXXXX XXXXXXXX XX XXXX XX =XX XXXX XXXXXXXXXX **** XXXXXXX XXXXXXXXXX XX XXXX XX =XXX XXX XXXXXXXXXXX *** XXXXXX XXXXXXXXX X XXXX XX =XXXXX XXXXXXXX XX XXXXXXXXXXX M ****XXXXXX XXXXXXXX X XXXX XX =XXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXX **XXXX X XXXXXX XX XXX XXX =XXXXXXX XXXX XXXXXXXXXX XXXXX XXXX XX XXXXXX XXXX X XXX =XXX XXXXXXXXXXXXXXX XXX XXX X XXXXX XXXX XXXX =X XXXXXXX XXXXXXXXXXX XXX XX XX X XXX XXXX XX XX XX XXX XXX XXXXXXXXXXXX X XX XX XXXXXX XXX XXXX XX X X XX XXX XX XXXXXXXXXXXXX XX X XX XXXX XXX XXXXXX XXXX111X X XXXX XXXX X XXXXXXXXXXXXX XX X X XXX XXX XXXXXXX XXXXX X X XXXX XXXX XXXXXXXXX XX X XXXX XXXX XXXXXXX XXXXX X X XXXX XXX XXXXXXX XXXX X XXXXXXX XXXXX XXX XXXXXX X X XXX XXXXX X XXXXXXXXXX XXXXXXXX XXXXXX XX X XXXX XXXXXX XXXXXX X XXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XX X... XXXXX XXXXXXXXX XXXXXXXX X XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXX X .....XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXX XX ..... XXXXXXXXXXXXXXXXXXX XX XXXXXXXXX XXXXXX XXX XXXXX XX ..O XXXXXX XXX XX XX XXXXXX XXX 2 XXXX XXXX X X XXXX X 2 XXXXXX XX XX XXXXXXXX XX XXXXXX XXXXX XXXXXXXX XXXX XXXXX XXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 21/1: 96 0 0 21/2: 96 0 0 21/3: 96 0 0 21/4: 96 0 0 21/5: 96 0 0 19/1: 97 0 0 23/1: 97 0 0 19/2: 97 0 0 23/2: 97 0 0 19/3: 97 0 0 23/3: 97 0 0 19/4: 97 0 0 23/4: 97 0 0 19/5: 97 0 0 23/5: 97 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXX ##@ * @ XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXX =XX XX ..*..*.*@ @ XXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXX =X X .*.. ##@ @ @ XXX XXXXXXXXX XXXXXXX XXX XXX =X *. ##@ @ @ X XXXXX XXXXXXX X .*.*. XXX XXX XX =X . #!........*.... X XXXXXX X *. .* XX XXXXX X =X *XXXXXXXXXXXXXXXXXXXXXX ....*... X XXXXXXX .XXXX .. XX XXXXX X =X *XXXXXXXXXXXX XXXXXXXXXXXXX...*. XXXXXXXX *XXXXXXXX * XX XXXX XX =XX . XXXX ..*....*.. XXXXXXXXXX... XXXXXXX .XXXXXXXXXX* XX XXXX XX =XXX * ..*.. XXX ..*. XXXXXXXXXXX.*. XXXXXX . XXXXXXXXX* X XXXX XX =XXXXX*.*..*.. XXXXXXXX XX.* XXXXXXXXXXX .... XXXXXX * XXXXXXXX. X XXXX XX =XXXXXXXXXXXXXXXXXXXXXXX XXXXXXX. XXXXXXXXXXX .*.. XXXX X. XXXXXX * XX XXX XXX =XXXXXXX .*..*. XXXX XXXXXXXXXX* XXXXX XXXX ..*.XX .* XXXXXX .. XXXX X XXX =XXX *. .* XXXXXXXXXXXXXXX* XXX XXX X .*.*. XXXXX .. XXXX XXXX =X . XXXXXXX. XXXXXXXXXXX XXX. XX XX X XXX * XXXX *.* XX XX *XX XXX XXX* XXXXXXXXXXXX X* XX .**XX XXXXXX XXX . XXXX *XX * X X .XX XXX XX. XXXXXXXXXXXXX * XX X*. *XX XXXX XXX * XXXXXX .XXXX.11X X .XXXX XXXX X .XXXXXXXXXXXXX.. XX X.X ..XXX XXX ..XXXXXXX *XXXXX* X X *XXXX XXXX * XXXXXXXXX* XX *X * XXXX XXXX *XXXXXXX .XXXXX . X X .XXXX XXX . XXXXXXX . XXXX ..X .XXXXXXX XXXXX . XXX .*XXXXXX. X X . XXX *. .* XXXXX.. X .XXXXXXXXXX XXXXXXXX * .*. XXXXXX * XX X . XXXX XXXXXX .*...*. XXXXXX* X *XXXXXXXXXXXXXXXXXXXXXXX *.*. XXXXXXX .. XX X * XXXXX XXXXXXXXX XXXXXXXX. X . XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX .. XXX X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XX .XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX .* XXXX XX . XXXXXXXXXXXXXXXXXXX .* XX * XXXXXXXXX XXXXXX XXX .. XXXXX XX * XXXXXX ... XXX . XX XX ..*. XXXXXX XXX . 2 ..*. XXXX *. ..*.....*.....*....*.. XXXX X X XXXX *. X ...*....*.. XXXXXX .*...*.. XX XX XXXXXXXX XX XXXXXX .*...*....*... XXXXX XXXXXXXX XXXX XXXXX XXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.40 real 0.37 user 0.03 sys