maps/134.map: 63 x 74, d_max: 10 x 11, v_max: 14.87, checkpoints: 00f first real max: (21 x 58) / (7 x 11), v: 13.04 first valid max: (45 x 31) / (8 x 2), v: 8.25 225274 moves, 52400 real moves, 26557 valid moves, max_mc: 99 (29 x 31) usr: 0.17, sys: 0.00, costs-usr: 0.00, costs-sys 0.00, maxrss: 12788 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =X# @ @ XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =X# @ @ XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =X# @ @ XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXX 11 XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX X 11 XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX 11 XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX M 11 P** XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX ***** XXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX *** XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXX XXXXX XXX XXXXXXXXXXXXXXXXXX XXXXXX XXXXXXXXX XXXXXX XX XXXXXXXXXXXXXXXXXX XXXXXX XXXXXXXXX XXXXXX XX XXXXXXXXXXXXXXXXXX XXXX XXXXXX XXX XXXXXX XXXX XX XXXXXXXXXXXXXXXXXX XXXX XXXXXX XXX XXXXXX XXXX XX XXXXXXXXXXXXXXXXX XXXX XXXXXX XXX XXXXXX XXXX X XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXX4444XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX2222X XXXXXXXXXXXXXXXXX4444XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX2222X XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXX O XXXXXXXXXXXX XXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXX ..XXXXXXXXXXXX XXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXX ..XXXXXXXXXXX XXXXXXXXXXX XXX X XX XXXXX . XXXXXXX XXXXXXX XXXX X XXX XX XXX XXXXX ..XXXXXXX XXXXXXX XXXX X XXXX XX XXXX XXXXXX . XXXXXX XXXXXX XXXXX XXXXXX XX XXXXXXXXXXXX . XXXXXXXX XXXXXXXX XXXXXX XXXXXX XX XXXXXXXXXXXX .. XXXXXX XXXXXX XXXXXX XXXXXX XX XXXXXXXXXXXXX . XXXXX XXXXX XXXXXXX XXXXXX XX XXXXXXXXXXXXXX .. XXXXXXXXXXXXXXX XXXXXXXX XXXXXX XX XXXXXXXXXXXXXXXX .. XXXXXXXXXX XXXXXXXXXX XXXXXX XX XXXXXXXXXXXXXXXXX . 33 XXXXXXXXXXX XXXXXX XX XXXXXXXXXXXXXXXXXXX 33 XXXXXXXXXXXXX XXXXX XX XXXXXXXXXXXXXXXXXXX 33 XXXXXXXXXXXXXX XXX XX XXXXXXXXXXXXXXXXXXXXX 33 XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 6/1: 81 0 0 6/2: 81 0 0 6/3: 81 0 0 4/1: 82 0 0 4/2: 82 0 0 4/3: 82 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =X# @ * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =X# @ @*. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =X!...*..*.*.** XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXX** XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXX .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX ** XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX .*..XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX *. *XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX . .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX * *XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX . .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX . .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX **XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX ..XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX *XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX ** XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX ***.*..*.*.XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX.*.*. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX .* XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX* XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX.. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX *. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX .* XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX ..XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX *XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX **.*.* XXXXX 11 XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX *. *X..*....*... XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX .*..... 11...*. XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX * 11 .... XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXX .*. XXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXX .. XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX * XXXXXXXXXXXXXXXXXXX .. XXXXXXX XXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXX .* XXXXXX XXXXXXXXXXXXXXXXXXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXX.. XXXXXX XXXXXXXXXXXXXXXXXXXXX ..XXXXXXXXXXXXXXXXXXXXXXXXXXX.. XXXXX XXXXXXXXXXXXXXXXXXXX ..XXXXXXXXXXXXXXXXXXXXXXXXXXXXX.. XXXX XXXXXXXXXXXXXXXXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXX * XXXX XXXXXXXXXXXXXXXXXXX ..XXXXX XXXXXXXXX XXXXX.. XXX XXXXXXXXXXXXXXXXXX .XXXXXX XXXXXXXXX XXXXXX. XX XXXXXXXXXXXXXXXXXX ..XXXXXX XXXXXXXXX XXXXXX.. XX XXXXXXXXXXXXXXXXXX *XXXX XXXXXX XXX XXXXXX XXXX* XX XXXXXXXXXXXXXXXXXX .XXXX XXXXXX XXX XXXXXX XXXX. XX XXXXXXXXXXXXXXXXX .XXXX XXXXXX XXX XXXXXX XXXX. X XXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. X XXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. X XXXXXXXXXXXXXXXXX *XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX* X XXXXXXXXXXXXXXXXX444.XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.222X XXXXXXXXXXXXXXXXX444.XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.222X XXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. X XXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. X XXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. X XXXXXXXXXXXXXXXXX *XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX* X XXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. XX XXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XX XXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. XX XXXXXXXXXXXXXXXXXX . XXXXXXXXXXXX XXXXXXXXXXXX . XX XXXXXXXXXXXXXXXXXX * XXXXXXXXXXXX XXXXXXXXXXXX * XX XXXXXXXXXXXXXXXXXXX .. XXXXXXXXXXX XXXXXXXXXXX .. XXX X XX XXXXX . XXXXXXX XXXXXXX . XXXX X XXX XX XXX XXXXX .. XXXXXXX XXXXXXX .. XXXX X XXXX XX XXXX XXXXXX * XXXXXX XXXXXX * XXXXX XXXXXX XX XXXXXXXXXXXX . XXXXXXXX XXXXXXXX .. XXXXXX XXXXXX XX XXXXXXXXXXXX . XXXXXX XXXXXX .. XXXXXX XXXXXX XX XXXXXXXXXXXXX *. XXXXX XXXXX .* XXXXXXX XXXXXX XX XXXXXXXXXXXXXX ... XXXXXXXXXXXXXXX .. XXXXXXXX XXXXXX XX XXXXXXXXXXXXXXXX .*.. XXXXXXXXXX ..*. XXXXXXXXXX XXXXXX XX XXXXXXXXXXXXXXXXX ..*.....*....*.. XXXXXXXXXXX XXXXXX XX XXXXXXXXXXXXXXXXXXX 33 XXXXXXXXXXXXX XXXXX XX XXXXXXXXXXXXXXXXXXX 33 XXXXXXXXXXXXXX XXX XX XXXXXXXXXXXXXXXXXXXXX 33 XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.18 real 0.17 user 0.01 sys