maps/035.map: 89 x 69, d_max: 12 x 11, v_max: 16.28, checkpoints: 003 first real max: (75 x 22) / (12 x -10), v: 15.62 first valid max: (18 x 5) / (-12 x -2), v: 12.17 677116 moves, 282690 real moves, 134938 valid moves, max_mc: 211 (46 x 28) usr: 1.65, sys: 0.09, costs-usr: 0.00, costs-sys 0.00, maxrss: 30116 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXX #@ @ @ XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX =XXXXXXX #@ @ @ XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX =XXXXX**** #@ @ @ XXXXXXXXXXXX XXXXXXXXX =XXX *******@ @ @ XXXXXXX XXXX XXXXXXX =XXX ***P @ XXXXXX XXXXX =XXX #@ @ @ XXX XXXXXX XXXX =XX #@ @ @ XXXXXX XXXXXXX XXX =XX XXXXXXXXXXXXXX XXXXXXXX XXXXXX XXX XXX =XX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXX XXXXXX XX =XX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXX XX =XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX X =XX XXXXXXXXX X XX XX X XXX XXXXX XX XX XX XXXXXXXXX ..X =XX XXXXXXXX XXXXXX XXX X XXXXX XXXXX XX XX XXXX XXX XX XX XX XXXXXXXXXX .. X =XX XXXXXXXX XXXXXX XX XX XXXXX XXXXX XXX XX XXXX XXX XX XX XX XXXXXXXXXX .. X =XX XXXXXXXXX XX XX XX XX XXX XX XX XX XX XX XXXXXXXXXXX .. X =XXX XXXXXXXXXXXX X XXXX XXXXX XXXXX XXX XX XX XX XX XXX XXXX XXXXXXXXXXX .. XX =XXX XXXXX XX XXXX XX XX XXX XXX XXX XXX XXXXXXXXXXX ... XX =XXX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX .. XXX =XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX .. XXXX =XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX .. XXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX.. XXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXO. XXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXXXX XXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXX XXXXXXX XXXXXXXXX XXXXXXXXXXXXXXX M XXXXXXXXXX XXXXXXXX XXXXXXX XXXXXXXXXXX X XXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXX XXXXXXX XXXXXXXXXX XXXXXXX XXXXXXXXXXX XXXXXXXXXXX XXXXXXXX XXXXXXX XXXXXXXXXXX XXXXX XXX XXXXXXXXXX XXXXXXXXXXXX XXXXXXXX XXXXXXX XXXXXXXXXXXX XXXXXX XXXXXXXXXX XXXXXXXXXXXX XXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXX XXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXX XXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXX XXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX XXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXX11XXXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXX XX XXXXXXXXXXXXXXXX XXX XXXXXXXXXX XXXXXXXXXXXXX XXXX XXX XXXXXXXXXXXXXXXX XX XXXXXXXX XXXXXXXXXXXXXX XXX XXX XXXXXXXXXXXXXXXX XX XXXXXXX XXXXXXXXXXXXXXXX XXX XXX XXXXXXXXXXXXXXXX XX XXXXX XXXXXXXXXXXXXXXXXX XX XX XXXXXXXXXXXXXXXX XX XXXX XXXXXXXXXXXXXXXXXXXXX XX X XXXXXXXXXXXXXXXXX XX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXX XX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXX X XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXX X XX XXXX XXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXX X XX XXX XXXX XX 2 XXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXX X XX XXX XXXXXX 2 XXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXX X XX XXX XXXXX 2 XXXXXXXXXX XX XXXXXXXXXXXXXXXXXXX X XX XXX XXXX XXXXX XXXXXXXX XXX XXXXXXXXXXXXXXXXXXX X XX XXX X XXXXXXX XXX XXXXXXXXXXXXXXXXXX X XXX XXXX XXXXXXXX XXX XXXXXXXXXXXXXXXXX X XXX XXXXXXXXXX XXX XXXXXXXXXXXXXXXX X XXX XXXXXXXXXXX XXXXX XXXXXXXXXXXXXXX XX XXX XXXXXXXXXXX XXXXX XXXXXXXXXXXX XX XXXX XXXXXXXXXXXX XXXXXXX XXXXXXXXXX XX XXXXX XXXXXXXXXXXXX XXXXXXXX XX XXXXX XXXXXXXXXXXXX XXXXXXXXXX XXX XXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXX XX X XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX XX X XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 18/1: 77 0 0 20/1: 78 0 0 16/2: 78 0 0 18/2: 78 0 0 20/2: 78 0 0 18/3: 78 0 0 18/4: 78 0 0 18/5: 78 0 0 18/6: 78 0 0 18/7: 78 0 0 16/1: 79 0 0 16/3: 79 0 0 20/3: 79 0 0 16/4: 79 0 0 20/4: 79 0 0 16/5: 79 0 0 20/5: 79 0 0 16/6: 79 0 0 20/6: 79 0 0 16/7: 79 0 0 20/7: 79 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXX #.** @ XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX =XXXXXXX .*. @ @ XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX =XXXXX ..#@ @ @ XXXXXXXXXXXX ...*.....*.. XXXXXXXXX =XXX *. #@ @ @ XXXXXXX ..*... XXXX ..*. XXXXXXX =XXX .. #@ @ @ ..... XXXXXX ... XXXXX =XXX .. #@ @ @ ....*.. XXX XXXXXX .* XXXX =XX * !..........*.........*.... XXXXXX XXXXXXX . XXX =XX . XXXXXXXXXXXXXX XXXXXXXX XXXXXX XXX . XXX =XX ..XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXX XXXXXX * XX =XX .XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXX .. XX =XX *XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX . X =XX .XXXXXXXXX X XX XX X XXX XXXXX XX XX XX XXXXXXXXX.. X =XX .XXXXXXXX XXXXXX XXX X XXXXX XXXXX XX XX XXXX XXX XX XX XX XXXXXXXXXX * X =XX .XXXXXXXX XXXXXX XX XX XXXXX XXXXX XXX XX XXXX XXX XX XX XX XXXXXXXXXX . X =XX .XXXXXXXXX XX XX XX XX XXX XX XX XX XX XX XXXXXXXXXXX . X =XXX *XXXXXXXXXXXX X XXXX XXXXX XXXXX XXX XX XX XX XX XXX XXXX XXXXXXXXXXX . XX =XXX .XXXXX XX XXXX XX XX XXX XXX XXX XXX XXXXXXXXXXX . XX =XXX . XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX * XXX =XXX .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX . XXXX =XXX .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX . XXXXX XXXXX *XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX . XXXXX XXXXX ..XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX . XXXXXX XXXXX .XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX . XXXXXX XXXXXX ..XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX * XXXXXX XXXXXX * XXXXXXXXXXXXXXXXXXXXXXXX .*..*. XXXXXXXXX .XXXXXXX XXXXXXX . XXXXXXXXXXXXXXXXXXXXXX *.XXXXXX.* XXXXXXXX .XXXXXXX XXXXXXXX . XXXXXXXXXXXXXXXXXXXX . XXXXXXXX . XXXXXXXX .XXXXXXX XXXXXXXXX *. XXXXXXXXXXXXXXX * XXXXXXXXXX * XXXXXXXX .XXXXXXX XXXXXXXXXXX X ... XXXXXXXXXXXXX . XXXXXXXXXXX. XXXXXXXX .XXXXXXX XXXXXXXXXX XXXXXXX.*. XXXXXXXXXXX . XXXXXXXXXXX . XXXXXXXX .XXXXXXX XXXXXXXXXXX XXXXX XXX.*. XXXXXXXXXX * XXXXXXXXXXXX* XXXXXXXX *XXXXXXX XXXXXXXXXXXX XXXXXX.* XXXXXXXXXX . XXXXXXXXXXXX. XXXXXXXX . XXXXXX XXXXXXXXXXXXXXXXXXXXXXXX * XXXXXXXXX . XXXXXXXXXXXX. XXXXXXXXXX . XXXXXX XXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXX . XXXXXXXXXXXX. XXXXXXXXXX . XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX* XXXXXXXXX * XXXXXXXXXXX* XXXXXXXXXXX . XXXXX XXXXXXXXXXXXXXXXXXXXXXXXX. XXXXXXXXX . XXXXXXXXX . XXXXXXXXXXXX . XXXXX XXXXXXXXXXXXXXXXXXXXXXXX. XXXXXXXXX . XXXXXXXXX. XXXXXXXXXXXXXX . XXXX XXXXXXXXXXXXXXXXXXXXXXX * XXXXXXXXXX . XXXXXXXX * XXXXXXXXXXXXXXX * XXXX XXXXXXXXXXXXXXXXXXXXXX .. XXXXXXXXXX . XXXXXXX..XXXXXXXXXXXXXXXXX . XXX XXXXXXXXXXXXXXXXXXX .. XXXXXXXXXXX * XXXXXX . XXXXXXXXXXXXXXXX . XXX XXXXXXXXXXXXXXXX * XXXXXXXXXXXX . XXXXX ..XX XXXXXXXXXXXXXXXX .. XXX XXXXXXXXXX .. XXXXXXXXXXXXX . XXXX *XXX XXXXXXXXXXXXXXXX . XX XXXXXXXX .. XXXXXXXXXXXXXX . XXX .XXX XXXXXXXXXXXXXXXX . XX XXXXXXX * XXXXXXXXXXXXXXXX . XXX .XXX XXXXXXXXXXXXXXXX * XX XXXXX . XXXXXXXXXXXXXXXXXX * XX . XX XXXXXXXXXXXXXXXX . XX XXXX .* XXXXXXXXXXXXXXXXXXXXX . XX . X XXXXXXXXXXXXXXXXX . XX XXX *.XXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XX * XXXXXXXXXXXXXXXXXXXX . XX XXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XX . XXXXXXXXXXXXXXXXXXXX . X XX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * X . XXXXXXXXXXXXXXXXXXXX * X XX .XXXX XXXXXXXXXXXXXXXXXXXXXXXX . X . XXXXXXXXXXXXXXXXXXXX . X XX . XXX XXXX XX 2 XXXXXXXXXXXXXX . XX . XXXXXXXXXXXXXXXXXXXX .. X XX *XXX XXXXXX 2 XXXXXXXXXXXX * XX * XXXXXXXXXXXXXXXXXXXX . X XX .XXX XXXXX .*...*.. XXXXXXXXXX . XX . XXXXXXXXXXXXXXXXXXX * X XX *XXX XXXX.*.XXXXX ..*..XXXXXXXX.* XXX .. XXXXXXXXXXXXXXXXXXX .. X XX ..XXX X .. XXXXXXX ..*...*. XXX . XXXXXXXXXXXXXXXXXX .. X XXX *XXXX.*. XXXXXXXX XXX * XXXXXXXXXXXXXXXXX * X XXX *.*. XXXXXXXXXX XXX .. XXXXXXXXXXXXXXXX . X XXX XXXXXXXXXXX XXXXX .. XXXXXXXXXXXXXXX. XX XXX XXXXXXXXXXX XXXXX *. XXXXXXXXXXXX.* XX XXXX XXXXXXXXXXXX XXXXXXX .. XXXXXXXXXX .. XX XXXXX XXXXXXXXXXXXX XXXXXXXX .*.. ..*. XX XXXXX XXXXXXXXXXXXX XXXXXXXXXX ..*..*.. XXX XXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXX XX X XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX XX X XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 1.78 real 1.66 user 0.10 sys