maps/228.map: 71 x 42, d_max: 11 x 8, v_max: 13.60, checkpoints: 1ff first real max: (45 x 22) / (10 x -6), v: 11.66 first valid max: (41 x 23) / (-3 x 7), v: 7.62 132705 moves, 20281 real moves, 11875 valid moves, max_mc: 63 (19 x 17) usr: 88.67, sys: 0.49, costs-usr: 0.01, costs-sys 0.00, maxrss: 140924 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXX777777 XXXXXXXXXXXXXXXX###########XXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXX7777777 XXXXXXXXXXXXXXXXXX#########XXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXX777XXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXX77XXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXX77XXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX777XXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX7777XX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX GGXXXXXXXXXXXXXX777XX 5 5 5 XXXXXXXXXXXXXXXXXXXXXXX GGGGGGGXXXXXXXXXXXXX 5 5 5 5 XXXXXXXXXXXXXXXXXXXXXX GGGGGGGGGGGGXXXXXTXX XXXXXXXXXXXXXXXXXXXXX XXTXXXXXXXXXXXXXXXXXXX GGGGGGGGGGGGGGGGGGT XXXXXXXXXXXXXXXXXXXX X TLXXXXXXXXXXXXXXXXXXX GGGGGGGGGGGGGGGGGGT XXXXXXXXXXXXXXXXXXXX XX TLXXXXXXXXXXXXXXXXXXX GGGGGGGGGGGGGGXXXTX X XXXXXXXXXXXXXXXXXX XX TXXXXXXXXXXXXXXXXXXX GGGGGGGGGGGXXXXXXXX XX XXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXXXXXX GGGGGGGGXXXX XXX XXXXXXXXXXXXXXXX 6XXXX X .. XXXXXXXXXXXXX GGGGGXXXXX M XXXX XXXXXXXXXXXXXX 6 XXXX .. XXXXXXXXXX GGXXXXXX XXX XXX 8XXXXXXXXXXXXX6 XXXX ..XXXXX XXXXXXXX XXXXXXX XXXXXX XXX8 8XXXXXXXXXXX 6XXX ... XXXXXXX XXXXXXX XXXXXX XXXXXXX XXX XXX8 8XXXXXXXXXX 6XXX ..X XXXXXXXXX XXXXXX XXXXXX XXXXXXXX XXXX XXX8 8XXXXXXXXX6 XX ..9XX XXXXXXXXX XXXXX XXXXX XXXXXXXX XXXXX XXX 8 8XVVVVXX XXO.9XXXX XXXXXXXXXX XXXXX XXXXX XXXXXXXXX XXXXXXX XXX 8 XTTXXX PXX XXXXX XXXXXXXXX XXXX XXXX XXXXXXXXX XXXXXXX XXXX XTTXXX**XX 9XXXXXX XXXXXXXXXX XXXX XXXX XXXXXXXXX XXXXXXX XXXX XTTX * XX XXXXXXX XXXXXXXXXX XXXX XXX XXXXXXXXX XXXXXXXXX XXXXX TTX *XX XXXXXXXX XXXXXXXXX XXX XXX XXXXXXXXX11XXXXXXXXX XXXXXX * XX XXXXXXXXX XXXXXXXXX4 XXX XXX XXXXXXXXXX11XXXXXXXXX XXXXXXX @ * XX XXXXXXXXX 22XXXXXXXX4 XXX XXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXX **@ 22XXXXXXXX4 XXX XXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXX@*@ @ XXXXXXXXX4 XXX XXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXTTXXXX XXXXXXXXXXXXXXXXXXX XXXX XXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXTTXXXX XXXXXXXXXXXXXXXXXXX XXXX XXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXTTXXX XXXXXXXXXXXXXXXXX XXXX XXXXX XXXXXXXXXXXXXXXX XXXXXXXXXXXXXTTXXXX XXXXXXXXXXXXXXXX XXXXX XXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXVVVVXXX XXXXXXXXXXXXXX XXXXX XXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXXX XXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXX XXXXXXXX 333 XXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXWXWX XXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXWWXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXWXWX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 37/28: 101 0 0 38/29: 101 0 0 41/30: 101 0 0 39/28: 102 0 0 40/29: 102 0 0 37/30: 102 0 0 39/30: 102 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXX77777** XXXXXXXXXXXXXXXX###########XXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXX777777* * XXXXXXXXXXXXXXXXXX#####!###XXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXX777XXXXX*. XXXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXX77XXXXXX.* XXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXX77XXXXXX*. XXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX777XXXX . XXXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX7777XX * XXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXX GGXXXXXXXXXXXXXX777XX.. .*...*..5 5 * XXXXXXXXXXXXXXXXXXXXXXX GGGGGGGXXXXXXXXXXXXX ..*. 5 5..*....*...*.. XXXXXXXXXXXXXXXXXXXXXX GGGGGGGGGGGGXXXXXTXX...XXXXXXXXXXXXXXXXXXXXX ..* XXTXXXXXXXXXXXXXXXXXXX GGGGGGGGGGGGGGGGGGT *** XXXXXXXXXXXXXXXXXXXX .X . TLXXXXXXXXXXXXXXXXXXX GGGGGGGGGGGGGGGGGGT ... XXXXXXXXXXXXXXXXXXXX..XX *TLXXXXXXXXXXXXXXXXXXX GGGGGGGGGGGGGGXXXTX *X . XXXXXXXXXXXXXXXXXX * XX . TXXXXXXXXXXXXXXXXXXX GGGGGGGGGGGXXXXXXXX. XX* XXXXXXXXXXXXXXXXX..XXXX .XXXXXXXXXXXXXXXXXXXX GGGGGGGGXXXX .*. XXX. XXXXXXXXXXXXXXXX.6XXXX * X XXXXXXXXXXXXX GGGGGXXXXX ..*. * XXXX* XXXXXXXXXXXXXX . XXXX .. .*...*. XXXXXXXXXX GGXXXXXX .*..XXX . XXX. 8XXXXXXXXXXXXX..XXXX *.XXXXX .* XXXXXXXX XXXXXXX ..XXXXXX .*.*. XXX. 8XXXXXXXXXXX *6XXX ...XXXXXXX . XXXXXXX XXXXXX *.XXXXXXX *XXX.* XXX* 8XXXXXXXXXX .XXX *X *XXXXXXXXX * XXXXXX XXXXXX ..XXXXXXXX..XXXX . XXX. 8XXXXXXXXX..XX .XX ..XXXXXXXXX.. XXXXX XXXXX ..XXXXXXXX *.XXXXX *XXX . 8XVVVVXX . XX .XXXX .XXXXXXXXXX* XXXXX XXXXX *XXXXXXXXX..XXXXXXX. XXX *. XTTXXX *XX *XXXXX ..XXXXXXXXX. XXXX XXXX .XXXXXXXXX**XXXXXXX .XXXX ..XTTXXX .XX ..XXXXXX *XXXXXXXXXX. XXXX XXXX .XXXXXXXXX...XXXXXXX * XXXX .*XTTX . XX..XXXXXXX .XXXXXXXXXX* XXXX XXX *XXXXXXXXX**XXXXXXXXX. XXXXX .TTX *XX * XXXXXXXX .XXXXXXXXX. XXX XXX .XXXXXXXXX**XXXXXXXXX. XXXXXX * .XX..XXXXXXXXX *XXXXXXXXX. XXX XXX .XXXXXXXXXX11XXXXXXXXX. XXXXXXX * @*XX* XXXXXXXXX .2XXXXXXXX. XXX XXX *XXXXXXXXXXXXXXXXXXXXX* XXXXXXXX @ @** *2XXXXXXXX* XXX XXX .XXXXXXXXXXXXXXXXXXXXX. XXXXXXXXX@ @ @ *.*..*.** XXXXXXXXX. XXX XXX . XXXXXXXXXXXXXXXXXXX.. XXXXXXXXXXTTXXXX *XXXXXXXXXXXXXXXXXXX. XXXX XXXX* XXXXXXXXXXXXXXXXXXX. XXXXXXXXXXXTTXXXX .XXXXXXXXXXXXXXXXXXX. XXXX XXXX.. XXXXXXXXXXXXXXXXX * XXXXXXXXXXXXTTXXX * XXXXXXXXXXXXXXXXX * XXXX XXXXX* XXXXXXXXXXXXXXXX .XXXXXXXXXXXXXTTXXXX. XXXXXXXXXXXXXXXX .XXXXX XXXXXX. XXXXXXXXXXXXXXX . XXXXXXXXXXXXVVVVXXX . XXXXXXXXXXXXXX . XXXXX XXXXXX *. XXXXXXXXXXXX *XXXXXXXXXXXXXXXXXXXXX* XXXXXXXXXXXX *XXXXXX XXXXXXX .*.XXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXX. XXXXXXXXX .XXXXXXX XXXXXXXX .*..33 .*XXXXXXXXXXXXXXXXXXXXXXXXX*. XXX .*XXXXWXWX XXXXXXXXXX ..*..*.XXXXXXXXXXXXXXXXXXXXXXXXXXXXX.*...*...*.XXXXXXWWXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXWXWX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 89.43 real 88.72 user 0.49 sys