maps/012.map: 100 x 61, d_max: 13 x 10, v_max: 16.40, checkpoints: 007 first real max: (85 x 17) / (13 x -9), v: 15.81 first valid max: (85 x 4) / (13 x 3), v: 13.34 690964 moves, 223460 real moves, 112753 valid moves, max_mc: 135 (14 x 22) usr: 0.80, sys: 0.03, costs-usr: 0.00, costs-sys 0.00, maxrss: 36932 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXX #@ @ XXXXXXXXXX =XXXXXX # @ XXXXXX =XXXX #@ @ XXXX =XXX # @ P** XXX =XXX #@ @ ***** XX =XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX ***** XX =XX XXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXX ***X XXX XXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXX ..X XXX XXXXXX XXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXX .. X XXX XXXXX XXXXXXXX XXXXXXXXXXXX XXXXXXXXX ... X XXX XXXXX XXXXXXX XXXXXXXXXXXX XXXXXXXXXXX XXXXXXX .. X XXX XXXX XXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXX .. X XXX XXXX XX XXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXX .. XX XXX XXXX XXXX XXXXX XXXX X XXXXXXXXX XXXXXXXXXXX XX .. XX XXX XXXX XXXX XXXXX XXXXXX XXX XXXXXXXXXXXX XXXXXXXXXX X... XXX XXX XXXX XXXX XXXXX XXXXXXX X XXXXXXXXXXXXX XXXXXXXXXX .. XXXXX XXX XXXX XXXX XXXX XXXXXXXX XXXXXXXXXXXXX XXXXXXXXXX O. XXXXXXX XXX XX XXXXX XXXX XXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXX XXX XXXXXX XXXX XXXXXXX XXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXX XXX XXXXXXX XXX XXXXXX XXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXX XXXX XXXXXXXXX XXX XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXX M XXXXXXXXXXX XXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXX XXXXXXXXXXXXXX XXX XXXXXXXXXXXXX111111XXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXX XXX XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXX XXX XXXXXXXXXXXXXXXXXXX XXX XXXXXXXXXXX XXXXXXXXXXXXXXX XXXXX XX XXXXXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXX XXXXXXXXXXX XXXX XX XXXXXXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXX XXXXXXXXX XXX X XXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXXXXXX XXXXXXX XX X X XXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXX XX X X XXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXX X X X XXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXX XX X X X XXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXX X X X X XX XXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXX X X X X XX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXX XX X X X XXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXX X X X X XX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXX X X 3X XXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXX XXXXXXXXX X X X 3 3X XXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXX2222222XXXXXXXX XX XX3 3 3XXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXX XXXXXXXX XXX X X3 3 XXX XXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXX XXXXXXXX XXXX XX X3 XXXX XXXXXXXXXXXXXXXX XXXXXXXXXX XX XXXXXXX XXXXXXXXXXXXXXXXX X X X XXXX XXXXXXXXXXXX XXXXXXXX XX XXXXXXXXXX XXXXXXXXXXXXXXX XX X XXXXX XXXXXXX XXX XXXXXXXXXXXX XXXXXXXXX X X XXXXXX XXXXXX XXX XXXXXXXXXXXXXXXX XXXXX XX XXXXXXXX XXXXXX XXX XXXXXXXXXXXXXXXXXXXX XXX X XXXXXXXXXXX XXXXXXX XXX XXXXXXXXXXXXXXXXXXXXXXXXX XX X XXXXXXXXXXXXXX XXXXXXXXX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XX XXXXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XX XXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXX XXXXXXXXXXXXXXXXXXXX X X X X X X XX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X X X XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 27/1: 140 0 0 26/2: 140 0 0 27/3: 140 0 0 26/4: 140 0 0 27/5: 140 0 0 25/1: 141 0 0 25/3: 141 0 0 25/5: 141 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXX #@ * XXXXXXXXXX =XXXXXX ..*..*.* ....*.......*... XXXXXX =XXXX ..*.. #@ @ .....*.... ...*. XXXX =XXX .*.. !..... ... XXX =XXX .. #@ @ .*.. XX =XX *. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX ..*..XXXXXXXXXXXXXXXX XX =XX ..XXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXX ..*..*.XXXXXXXXXXXX X XXX .. XXXXXX XXXXXXXXXXXXXX .*...*.. XXXXXXXXXXXX .*.XXXXXXXXXX X XXX * XXXXXX XXXXXXXXXXX .*...*. ..*. XXXXXXXXXXXXX..XXXXXXXXXX X XXX . XXXXX XXXXXXXX *. .. XXXXXXXXXXXX.*XXXXXXXXX X XXX .. XXXXX XXXXXXX . XXXXXXXXXXXX .* XXXXXXXXXXX..XXXXXXX X XXX . XXXX *.*. XXXXXX * XXXXXXXXXXXXXXXXXXX .. XXXXXXXXXXX..XXXXX X XXX * XXXX * XX.*. XXXXXX .XXXXXXXXXXXXXXXXXXXXXX .. XXXXXXXXXXX *XXXX XX XXX . XXXX .XXXX .. XXXXX .XXXX X XXXXXXXXX * XXXXXXXXXXX.XX XX XXX . XXXX *XXXX .* XXXXX *XXXXXX XXX XXXXXXXXXXXX. XXXXXXXXXX .X XXX XXX * XXXX ..XXXX . XXXXX .XXXXXXX X XXXXXXXXXXXXX . XXXXXXXXXX * XXXXX XXX .. XXXX .* XXXX . XXXX .XXXXXXXX XXXXXXXXXXXXX * XXXXXXXXXX .. XXXXXXX XXX *. XX .*. XXXXX *XXXX .XXXXXXXX XXXXXXXXXXX . XXXXXXXXXXXXX .. XXXXXXXXX XXX .*..*. XXXXXX .XXXX * XXXXXXX XXXXXXXXX * XXXXXXXXXXXXXXX * XXXXXXXXX XXX XXXXXXX .XXX . XXXXXX XXXXXXX *XXXXXXXXXXXXXXXXX .. XXXXXXXXXX XXXX XXXXXXXXX .XXX .. XXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXX ..XXXXXXXXXX XXXXX XXXXXXXXXXX *XXX . XXXXXXXXXXXXXXX *XXXXXXXXXXXXXXXXXXXX * XXXXXXXXX XXXXXXX XXXXXXXXXXXXXX ..XXX * XXXXXXXXXXXXX11111*XXXXXXXXXXXXXXXXXXXXXX .. XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXX .. XXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXX .. XXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXX . XXX .. XXXXXXXXXXX * XXXXXXXXXXXXXXXXXXXX * XXXXXX XXX XXXXXXXXXXXXXXXXXXX .. XXX * XXXXXXXXXXX .. XXXXXXXXXXXXXXX .. XXXXX XX XXXXXXXXXXXXXXXXXXX * XXX . XXXXXXXXXXXXX *. XXXXXXXXXXX .. XXXX XX XXXXXXXXXXXXXXXXXXXX .. XXX . XXXXXXXXXXXXXXX.*..*. XXXXXXXXX .. XXX X .*.* XXXXXXXXXXXXXXXXXXXX . XXXX *. XXXXXXXXXXXXXXXXXXXX.*...*.. XXXXXXX * XX X *.X * XXXXXXXXXXXXXXXXXXXX . XXXX ... XXXXXXXXXXXXXXXXXXXXXXX ..*.. XXXXXX.. XX X . X . XXXXXXXXXXXXXXXXXXXXX .. XXXXX .*.. XXXXXXXXXXXXXXXXXXXXXXXXX ..*.. XXX .. X X * X * XXXXXXXXXXXXXXXXXXXXX * XXXXX ..*... XXXXXXXXXXXXXX ..*.XX * X X . X . XXXXXXXXXXXXXXXXXXXXXX . XXXXXXX ...*.. XXXXXXXXXXXXX X..X .. X X . XX . XXXXXXXXXXXXXXXXXXXXX .. XXXXXXXX .... XXXXXXXXXXXX X.*. * X X * X XX * XXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXX ..*. XXXXXXXXXXXX XX .** X X . X XXX .. XXXXXXXXXXXXXXXXXXXXXX * XXXXXXXXXXXXXXXXXXXXXXXX ... XXXXXXXXXXX XXX X X .X X XX . XXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXX ... XXXXXXXXXX XXX X X *3X XXX .. XXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXX XXXX .*. XXXXXXXXX X X X . 3X XXX * XXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXX XXXX222..22XXXXXXXX XX XX3 . 3XXXX . XXXXXXXXXXXXXXXXXXXX * XXXXXXXXXXXXX XXXX ... XXXXXXXX XXX X X3*3 XXX . XXXXXXXXXXXXXXXXXX . XXXXXXXXXXX XXXXX .. XXXXXXXX XXXX XX X.. XXXX *.XXXXXXXXXXXXXXXX . XXXXXXXXXX .*.*XX XXXXXXX .*.XXXXXXXXXXXXXXXXX X X X. XXXX ...XXXXXXXXXXXX * XXXXXXXX .*. XX* XXXXXXXXXX .. XXXXXXXXXXXXXXX XX X .. XXXXX .*.. . XXXXXXX ... XXX * XXXXXXXXXXXX .. XXXXXXXXX X X * XXXXXX ..*.. .* XXXXXX .*. XXX .* XXXXXXXXXXXXXXXX .*. XXXXX XX . XXXXXXXX ..*...*. XXXXXX .. XXX .*. XXXXXXXXXXXXXXXXXXXX ... XXX X ..XXXXXXXXXXX XXXXXXX .. XXX .*. XXXXXXXXXXXXXXXXXXXXXXXXX .*. XX X .XXXXXXXXXXXXXX XXXXXXXXX .*. XXX *. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .* XX X * XXXXXXXXXXXXXXXXXXXXXXXXXXXXX .... XXX .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . X XX ..XXXXXXXXXXXXXXXXXXXXXXXXXXX .*. XXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * X XX ..XXXXXXXXXXXXXXXXXXXXXXXX ... XXXXX .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . X XX *. XXXXXXXXXXXX ..*. XXXXXXX .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . X XXX .. .... XXXXXXXXX *XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * X XXX .*.. ...*.. XXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . X XXXX ..*....*... XXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . X XXXXXX XXXXXXXXXXXXXXXXXXXX * X X X X X X * XX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX . XXX ..*....*..XXX .. XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX *. ..*.. XXX ..*.. .* XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .*...*.. X X X ..*...*..*.XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.88 real 0.81 user 0.03 sys