maps/143.map: 94 x 70, d_max: 13 x 11, v_max: 17.03, checkpoints: 1ff first real max: (56 x 13) / (-9 x -11), v: 14.21 first valid max: (31 x 42) / (-9 x 9), v: 12.73 759588 moves, 127784 real moves, 70128 valid moves, max_mc: 94 (55 x 54) usr: 6.45, sys: 0.12, costs-usr: 0.00, costs-sys 0.00, maxrss: 118416 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXX .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX .. XXXXXXXXXXXXX XXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXX . XXXXXXXXY XXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXX XXX XXXXX . YXXXXXY XXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXX XXX XXXXX.. YYXXY XXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXX XXXXX XXXXX.. YYY YYXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXX XXXXXXXXXXX XXXXX.. Y YYXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXX XXX XXX 1 XXX XXXXX.. Y Y YYXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXX XXX XXX 1 XXX YXXXYOY Y YYXXXXXXXXXXXXXXXXXXXXXY XXXXXX XXXXXXXXXXXXXXXXX XXX XXX 1 XXX YXXYY Y Y YYXXXXXXXXXXXXXXXXXXXXY XXXXXX XXXXXXXXXXXXXXXX XXX XXX 1 XXX YYY Y Y YXXXXXXXXXXXX XXXY XXXXX XXXXXXXXXXXXXXY XXX XXX 1 XXX Y Y YXXXXXXXY XYY XXXX XXXXX XXXXXY XXX XXXX YYY XXXY Y Y YYY YXXXXYY YY XXXX XXX YYY XXX XXXXX YYYYY XXXXY Y Y YYYYY YYYYY XXXXXX YY XXX XX 7 Y XXX XXXXXX YYYYY XXXXXY Y Y YXXXX YYY XXXXXXXXXXX Y XXX XX 7 Y Y Y XXY XXXXXXX YYYYY XXXXX Y Y YXXXX Y XXY XXY XX X YYY Y Y Y YYY XXXXXXXX YYY XXXX Y YYXXX Y Y YYY XXY XX X YYYYY Y Y YYY YXXXXXXXX Y XXX YYY YYYXX Y Y YYY YY XX X YYY Y Y Y Y YXXXXXXXXXX Y Y XXX YYYYY YYYYY Y Y Y YY XX XX 7 Y Y Y Y Y YXXXXXXXXXXXX Y Y Y XXX YYXXXYY YYY Y Y Y Y Y XX XX 7 Y Y Y Y YYXXXXXXXXXXXXX Y Y Y Y XXX YXXXXXXXY Y Y Y Y Y Y YYY Y XX XXX YYY Y Y YYXXXXXXXXXXXXXXX Y Y Y YYY YXXXXXXXXXY Y Y Y Y Y Y Y YYYYY Y XX XXXXX XXYY Y Y Y YXXXXXXXXXXXXXX Y Y Y Y Y5 YXXXXXXXXXXXY Y Y Y Y Y Y Y YYYYYY88888Y66666XX XXXXXXXXXXY Y Y XXXXXXXXXXXXX Y Y Y Y Y5YYXXXXXXXXXXXYY Y Y Y Y Y Y Y YYYYY Y XX XXXXXXXXXY Y XXXXXXXXXXX Y Y Y Y YYXXXXXXXXXXXXY Y Y Y Y Y Y Y YYY Y XX XXXXXXXXX YYY YXXXXXXXY Y Y Y Y YXXXXXXXXXXXY Y Y Y Y Y Y Y XXX XXXXXXXX YXXXY YYXXXXY YYY Y Y YXXXXXXXXXY YYY Y Y Y Y YY XXX XXXXXXX XXXXXXX YYYYY YYY5Y Y @ XXXXXXXXY YXX Y Y Y YYY YYY XXX XXXXXX XXXXXXXXY YYY YYY 5Y @ @#YYXXXYY XXX Y Y Y YYY YYY XXXX XXXXX XXXXXXXXXXY Y YYY YYY @ #@ YYYYY XXX Y Y XXY XXY XXXX XXXX XXY XXY Y Y YYY YXXYY @# @ YYY YXX Y XXXXXXXXXXY XXXXX XXXX YYY YYY Y Y Y YYY XXXXXXY#@ @ Y5 YXX YYY XXXXXXXXX XXXXXX XXX YYY YYY Y Y Y YYY XXXXXXXXX @ Y Y5YXX YXXYY XXXXXXY XXXXXXX XXX YY Y Y Y Y YYY XXXXXXXXXXX Y Y YYY YXXXXYY YXXXY XXXXXXXX XXX Y Y Y Y Y Y Y XXXXXXXXXXXXY Y Y Y Y YXXXXXXXY YYY XXXXXXXXX XX Y YYY Y Y Y Y Y Y Y XXXXXXXXXXXXXYY Y Y Y Y YXXXXXXXXXY Y XXXXXXXXXX XX Y YYYYY Y Y Y Y Y Y Y YXXXXXXXXXXXXYY5Y Y Y Y Y YYXXXXXXXXXXY Y Y XXXXXXXXXXX XX44444Y22222YYYYYY Y Y Y Y Y YPY YXXXXXXXXXXYY 5Y Y Y Y Y YYXXXXXXXXXXXYY Y Y Y XXXX XXXXX XX Y YYYYY Y Y Y Y Y Y*Y XXXXXXXXXYY YYY Y Y Y YYYXXXXXXXXXXXXYY Y Y YYY XXX XX Y YYY Y Y Y Y Y*Y XXXXXXYYY YYY Y Y Y Y YYYXXXXXXXXXXXY Y Y Y Y 3 XX XX Y Y Y Y Y*YYY XXXYYYY YYY Y Y Y YYYXXXXXXXXXY Y Y Y Y Y 3 XX XX YY Y Y Y*YYYYY YYYYY YYY Y Y YYXXXXXXXXX Y Y Y Y YYY X XX YY YYY Y*Y YYYYY YYY YXX Y YXXXXXXXX YYY Y Y YYYYY X XX YXX YXX Y*Y YYYXX Y YXXX YYY YXXXXXXX XXY Y Y Y YYY X XX YXX XXX *Y YXXXX Y Y YXXXX YYYYY XXXXXXX XXY Y Y Y 3 XX XXX Y XXXXXXXXXXX *XXX YXXXX Y Y YYXXXX YYYYY XXXXXX XXX Y 3 XX XXX YY XXXXXX *XXXXX XXXXX Y Y YYXXX YYYYY XXXXX XXX XXY XXX XXXX YY XXXXXXX YYY Y Y YYXX YYY XXXX XXX XXXXYY XXXXX XXXX YYX XXXXXXXXX Y Y YXX 9 XXX XXX XXXXXXXXXXXXXXX XXXXX YXXX XXXXXXXXXXXXY Y Y YYY YXX M XXX XXX XXXXXXXXXXXXXXXX XXXXXX YXXXXXXXXXXXXXXXXXXXXXY Y Y YXXXY XXX 9 XXX XXX XXXXXXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXYY Y Y XXXXY XXX 9 XXX XXX XXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXYY Y Y XXXXX XXX 9 XXX XXX XXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXYY Y XXXXX XXXXXXXXXXX XXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXYY YYY XXXXX XXXXX XXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXX YXXXY XXXXX XXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXY XXXXX XXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXX XXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 46/32: 180 0 0 45/33: 180 0 0 47/33: 180 0 0 44/34: 180 0 0 48/34: 180 0 0 45/35: 180 0 0 49/35: 180 0 0 46/36: 180 0 0 48/36: 180 0 0 47/37: 180 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXX ..*.....*.. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXX .*..XXXXXX ..*. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXX ...XXXXXXXXXXXXXX ... XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXX *.XXXXXXXXXXXXXXXXXX .*.XXXXXXXXXXXXX XXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXX . XXXXX XXXXXXX ..XXXXXXXXY ..*....*.. XXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXX . XXX XXXXX ..YXXXXXY .*.. ..*. XXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXX * XXX ..*...*.. XXXXX .*YYXXY... XXXXXXXXXX ...XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX ..XXX .*..XXXXX ..*.XXXXX .YYY*. YYXXXXXXXXXXXXXX .* XXXXXXXXX XXXXXXXXXXXXXXXXXXXX ..XXX ...XXXXXXXXXXX ..XXXXX .Y. YYXXXXXXXXXXXXXXXXX . XXXXXXXX XXXXXXXXXXXXXXXXXXX ..XXX .*. XXX 1 XXX .*XXXXX Y.Y YYXXXXXXXXXXXXXXXXXXX . XXXXXXX XXXXXXXXXXXXXXXXXX .*XXX .. XXX 1 XXX .YXXXY Y*Y*YYXXXXXXXXXXXXXXXXXXXXXY * XXXXXX XXXXXXXXXXXXXXXXX ..XXX .. XXX 1 XXX .YXXYY.Y Y.YYXXXXXXXXXXXXXXXXXXXXY ..XXXXXX XXXXXXXXXXXXXXXX ..XXX.*. XXX .*.* XXX *YYY.Y Y .YXXXXXXXXXXXX XXXY . XXXXX XXXXXXXXXXXXXXY .*.XXX.. XXX *.1 * XXX .Y. Y .YXXXXXXXY XYY.. XXXX XXXXX XXXXXY .. XXX.. XXXX ..YYY . XXXY Y.Y YYY .YXXXXYY YY * XXXX XXX YYY .. XXX.. XXXXX *YYYYY* XXXXY Y.Y.YYYYY *YYYYY XXXXXX YY. XXX XX 7*.* Y *. XXX*. XXXXXX .YYYYY. XXXXXY.Y Y*YXXXX .YYY XXXXXXXXXXX Y. XXX XX *7 Y* Y Y. XXY. XXXXXXX .YYYYY. XXXXX.Y Y .YXXXX .Y XXY XXY . XX X . YYY.Y Y.Y YYY. XXXXXXXX * YYY * XXXX. Y .YYXXX Y.Y YYY XXY . XX X *YYYYY*Y*Y YYY. YXXXXXXXX .. Y .. XXX* YYY .YYYXX Y Y*YYY .*..*. YY * XX X ..YYY Y.Y Y Y. YXXXXXXXXXX *Y Y* XXX.. YYYYY .YYYYY Y Y.Y*. .* YY . XX XX *.Y *Y.Y Y*Y YXXXXXXXXXXXX Y.Y.Y XXX.. YYXXXYY *YYY Y Y Y.Y . Y . XX XX 7 .*.* Y*Y.Y Y YYXXXXXXXXXXXXX Y Y*Y Y XXX . YXXXXXXXY .Y Y Y Y*Y*Y YYY * Y . XX XXX YYY.Y Y YYXXXXXXXXXXXXXXX Y.Y.Y YYY ..YXXXXXXXXXY Y.Y Y Y.Y Y.Y YYYYY . Y . XX XXXXX XXYY.Y.Y Y YXXXXXXXXXXXXXX Y.Y Y.Y Y5..YXXXXXXXXXXXY Y Y.Y Y.Y Y Y.YYYYYY88.88Y66.66XX XXXXXXXXXXY* Y.Y XXXXXXXXXXXXX *Y Y Y*Y Y*YYXXXXXXXXXXXYY Y Y.Y*Y Y Y Y*YYYYY * Y * XX XXXXXXXXXY.. Y* XXXXXXXXXXX . Y Y Y.Y.YYXXXXXXXXXXXXY Y Y Y.Y Y Y Y .YYY . Y . XX XXXXXXXXX . YYY. YXXXXXXXY . Y Y Y.Y YXXXXXXXXXXXY Y Y.Y*Y Y Y *. * Y . XXX XXXXXXXX . YXXXY. YYXXXXY . YYY Y.Y. YXXXXXXXXXY YYY.Y Y.Y Y .*.* YY . XXX XXXXXXX .. XXXXXXX. YYYYY * YYY5Y.Y ** XXXXXXXXY YXX*Y Y Y.YYY YYY . XXX XXXXXX * XXXXXXXXY. YYY . YYY *Y @.@#YYXXXYY XXX.. Y Y Y.YYY YYY * XXXX XXXXX .. XXXXXXXXXXY* Y . YYY .YYY @ ..@ YYYYY XXX . Y Y .XXY XXY .. XXXX XXXX . XXY XXY. Y Y. YYY .YXXYY @#*.@ YYY YXX . Y *XXXXXXXXXXY . XXXXX XXXX ..YYY YYY.Y Y.Y YYY .XXXXXXY#@... Y5 YXX .. YYY .XXXXXXXXX ..XXXXXX XXX *YYY YYY.Y*Y Y YYY .XXXXXXXXX @..!Y Y5YXX * YXXYY .XXXXXXY *XXXXXXX XXX .YY Y Y.Y Y YYY *XXXXXXXXXXX *Y Y YYY .. YXXXXYY .YXXXY .XXXXXXXX XXX .Y .*..*. Y Y.Y.Y Y Y .XXXXXXXXXXXXY Y.Y Y Y . YXXXXXXXY .YYY .XXXXXXXXX XX . Y *.YYY .*Y Y.Y Y*Y Y Y.XXXXXXXXXXXXXYY Y.Y Y Y .. YXXXXXXXXXY *Y *XXXXXXXXXX XX . Y ..YYYYY Y.Y*Y Y Y.Y Y.YXXXXXXXXXXXXYY5Y Y*Y Y Y* YYXXXXXXXXXXY Y.Y .XXXXXXXXXXX XX444*4Y222*2YYYYYY Y.Y Y Y Y.Y*Y YXXXXXXXXXXYY 5Y Y.Y Y.Y YYXXXXXXXXXXXYY Y Y.Y.XXXX XXXXX XX . Y .. YYYYY Y.Y.Y Y Y Y.Y XXXXXXXXXYY YYY Y.Y.Y YYYXXXXXXXXXXXXYY Y Y.YYY XXX XX . Y * YYY .*Y Y.Y Y Y.Y. XXXXXXYYY YYY Y Y*Y Y YYYXXXXXXXXXXXY Y Y*Y*Y ** 3 XX XX . Y . .. Y Y*Y Y.YYY. XXXYYYY YYY Y.Y.Y YYYXXXXXXXXXY Y.Y Y.Y *Y * XX XX * YY * .*. Y Y.Y*YYYYY* YYYYY YYY *Y Y* YYXXXXXXXXX .Y Y Y.Y.YYY.. X XX . YY *.*. YYY Y.Y YYYYY. YYY YXX . Y . YXXXXXXXX .YYY Y Y*YYYYY* X XX . YXX YXX Y.Y. YYYXX. Y YXXX . YYY . YXXXXXXX .XXY Y Y.Y.YYY . X XX * YXX XXX .*Y * YXXXX. Y Y YXXXX *YYYYY* XXXXXXX *XXY Y.Y *Y 3* XX XXX Y. XXXXXXXXXXX...XXX . YXXXX.Y Y YYXXXX .YYYYY. XXXXXX .XXX *Y *.*3 XX XXX YY*. XXXXXX..*. XXXXX . XXXXX*Y Y YYXXX .YYYYY. XXXXX .XXX .XXY XXX XXXX YY .*...*.. XXXXXXX . YYY Y.Y YYXX * YYY * XXXX .XXX .XXXXYY XXXXX XXXX YYX XXXXXXXXX . Y Y. YXX .. 9 . XXX *XXX .XXXXXXXXXXXXXXX XXXXX YXXX XXXXXXXXXXXXY *Y Y YYY. YXX *.9 * XXX .XXX *XXXXXXXXXXXXXXXX XXXXXX YXXXXXXXXXXXXXXXXXXXXXY Y.Y YXXXY*. XXX .*.* XXX .XXX .XXXXXXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXYY Y.Y XXXXY.. XXX 9 XXX *XXX .XXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXYY Y Y. XXXXX .. XXX 9 XXX .XXX .XXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXYY Y *. XXXXX .*. XXXXXXXXXXX *XXX *XXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXYY YYY .. XXXXX .... XXXXX .XXX .XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXX YXXXY .. XXXXX .*.. .*XXX .XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXY .. XXXXX ..*...*. XXX .XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXX .*.XXXXXXX XXXXX *XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXX .. XXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .. XXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .*. XXXXXX .*XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .... ...XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .*.. .*.XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX ..*..*.XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 6.71 real 6.50 user 0.12 sys