maps/173.map: 79 x 72, d_max: 12 x 11, v_max: 16.28, checkpoints: 03f first real max: (32 x 13) / (-10 x -11), v: 14.87 first valid max: (52 x 42) / (10 x 7), v: 12.21 612262 moves, 229628 real moves, 119000 valid moves, max_mc: 251 (39 x 36) usr: 17.14, sys: 0.29, costs-usr: 0.01, costs-sys 0.00, maxrss: 171320 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXX. XXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXX .. XXXXXXXXXXX11111XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXX .. XXXXXXXXXX XXXXXXXXXX XXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXX .. XXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXX .. XXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXX .. XXXXX XXXXX XXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXX .. XXXX XXXX XXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXX .. XX XX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XX .. XX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXX .. XXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXX .. XXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXX O XXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXX XXXXXXXXX XXXXXXXX 66 XXXXX XXXXXXXXXXXX XXXXXXXXXXXX XXXXX 22 XXXXXXXX XXXXXXX 66 XXX XXXXXXXXXXXX XXXXXXXXXXXX XXX 22 XXXXXXX XXXXXXX 66 X XXXXXXXXXXXX XXXXXXXXXXXX X 22 XXXXXXX XXXXXXXXX6 XXXXXXXXXXXX XXXXXXXXXXXX 2XXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXX XXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXX XXXXXX XXXXXXXXXXXXX XXXXXXXXXXX XXXXX XXXXX XXXXXXXXXXX XXXXXXXXX XXX XXX XXX XXX XXXXXXXXX XXXXXXX XXXXXX X X XXXXXX XXXXXXX XXXXX XXXXXXXXXX XXXXXXXXXX XXXXX XXX XXXXXXXXXXXXXX XXXXXXXXXXXXXX XXX XX XXXXXXXXXXXXXXXXX @ XXXXXXXXXXXXXXXXX XX X XXXXXXXXXXXXXXXXXXXXX @#@ XXXXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXXXXXXX @# #@ XXXXXXXXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXXXXXXX @#M#@ XXXXXXXXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXXX @#@ XXXXXXXXXXXXXXXXXXXXX X XX XXXXXXXXXXXXXXXXX @ XXXXXXXXXXXXXXXXX XX XXX XXXXXXXXXXXXXX XXXXXXXXXXXXXX XXX XXXXX XXXXXXXXXX XXXXXXXXXX XXXXX XXXXXXX XXXXXX X X XXXXXX XXXXXXX XXXXXXXXX XXX XXX XXX P* XXX XXXXXXXXX XXXXXXXXXXX XXXXX XXXXX ** XXXXXXXXXXX XXXXXXXXXXXXX XXXXXX XXXXXX *** XXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXX XXXXXXXX ** XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXXXXX ** XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXX *** XXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXX ** XXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXX ** XXXXXXXXXXX XXXXXXXXX5 XXXXXXXXXXXX XXXXXXXXXXXX 3XXXXXXXXX XXXXXXX 55 X XXXXXXXXXXXX XXXXXXXXXXXX X 33 XXXXXXX XXXXXXX 55 XXX XXXXXXXXXXXX XXXXXXXXXXXX XXX 33 XXXXXXX XXXXXXXX 55 XXXXX XXXXXXXXXXXX XXXXXXXXXXXX XXXXX 33 XXXXXXXX XXXXXXXXX XXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXX XXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXX XXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XX XX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XX XX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXX XXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXX XXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX44444XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 39/33: 96 0 0 37/35: 96 0 0 41/35: 96 0 0 37/36: 96 0 0 41/36: 96 0 0 39/38: 96 0 0 38/34: 97 0 0 40/34: 97 0 0 38/37: 97 0 0 40/37: 97 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX111**XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXX XXXXXXXXXX * *XXXXXXXXXX XXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXX XXXXXXXX . .XXXXXXXX XXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXX XXXXXXX * *XXXXXXX XXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXX XXXXX . .XXXXX XXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXX XXXX . .XXXX XXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXX XX * *XX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XX . . XX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXX .. . XXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXX . . XXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXX * * XXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXX . . XXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXX . . XXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX . . XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXX XXXXXXXXXXXX . . XXXXXXXXXXXX XXXXXXXX XXXXXXXXX XXXXXXXX 6**.XXXXX XXXXXXXXXXXX * * XXXXXXXXXXXX XXXXX 22 XXXXXXXX XXXXXXX 66* .*.XXX XXXXXXXXXXXX ... XXXXXXXXXXXX XXX 22 XXXXXXX XXXXXXX 66 .. .. X XXXXXXXXXXXX .. XXXXXXXXXXXX X .*.**2 XXXXXXX XXXXXXXXX6 * .*. XXXXXXXXXXXX .. XXXXXXXXXXXX .*. *2XXXXXXXXX XXXXXXXXXXX . .. XXXXXXXXXXXX .. XXXXXXXXXXXX ... .*.*XXXXXXXXXXX XXXXXXXXXXXXX *. .. XXXXXXXXXXXX *. XXXXXXXXXXXX .*...*. XXXXXXXXXXXXX XXXXXXXXXXXXXXX .. .*. XXXXXXXXXXX .* XXXXXXXXXXX ..*.. XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX.*. .. XXXXXXXXXX... XXXXXXXXXX .... XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX ... .. XXXXXXXX. . XXXXXXXX .*. XXXXXXXXXXXXXXX XXXXXXXXXXXXX .*. .. XXXXXX* . XXXXXX ... XXXXXXXXXXXXX XXXXXXXXXXX .. .* XXXXX. . XXXXX .... XXXXXXXXXXX XXXXXXXXX XXX .. . XXX. .XXX .*... XXX XXXXXXXXX XXXXXXX XXXXXX .*.. X* *X ... *. XXXXXX XXXXXXX XXXXX XXXXXXXXXX ... .. .... .. XXXXXXXXXX XXXXX XXX XXXXXXXXXXXXXX..* * ... .. XXXXXXXXXXXXXX XXX XX XXXXXXXXXXXXXXXXX .. .*... .. XXXXXXXXXXXXXXXXX XX X XXXXXXXXXXXXXXXXXXXXX... ..@ ... XXXXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXXXXXXX..... #@ .*XXXXXXXXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXXXXXXX ...# #@ ..XXXXXXXXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXXX .....!@ ... XXXXXXXXXXXXXXXXXXXXX X XX XXXXXXXXXXXXXXXXX .*. ....*... .. XXXXXXXXXXXXXXXXX XX XXX XXXXXXXXXXXXXX .. ... ... .. XXXXXXXXXXXXXX XXX XXXXX XXXXXXXXXX .. .. .. .. ..... XXXXXXXXXX XXXXX XXXXXXX XXXXXX .. .*. X * *X .*.. XXXXXX XXXXXXX XXXXXXXXX XXX ..... XXX . .XXX ... XXX XXXXXXXXX XXXXXXXXXXX .*... XXXXX .. XXXXX ... XXXXXXXXXXX XXXXXXXXXXXXX ..*. XXXXXX .. XXXXXX .. XXXXXXXXXXXXX XXXXXXXXXXXXXXX .... XXXXXXXX .. XXXXXXXX .*. XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX .*.. XXXXXXXXXX .. XXXXXXXXXX .. XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX ...*. XXXXXXXXXXX ** XXXXXXXXXXX .. XXXXXXXXXXXXXXX XXXXXXXXXXXXX .*... XXXXXXXXXXXX .. XXXXXXXXXXXX .*. XXXXXXXXXXXXX XXXXXXXXXXX .*. .. XXXXXXXXXXXX .. XXXXXXXXXXXX ... XXXXXXXXXXX XXXXXXXXX5 *. .*. XXXXXXXXXXXX ....XXXXXXXXXXXX .*. 3XXXXXXXXX XXXXXXX 55 .. .. X XXXXXXXXXXXX . .XXXXXXXXXXXX X ..*.*33 XXXXXXX XXXXXXX 55* .*.XXX XXXXXXXXXXXX . .XXXXXXXXXXXX XXX .*.3* XXXXXXX XXXXXXXX 5**.XXXXX XXXXXXXXXXXX * *XXXXXXXXXXXX XXXXX .** XXXXXXXX XXXXXXXXX XXXXXXXX XXXXXXXXXXXX . .XXXXXXXXXXXX XXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX . . XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXX . . XXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXX . . XXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXX * * XXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXX . . XXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXX . . XXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XX . . XX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XX* *XX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXX. .XXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXX. .XXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXX* *XXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXX.. .XXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXX *. *XXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX44.**XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 17.67 real 17.15 user 0.31 sys