maps/065.map: 73 x 64, d_max: 11 x 10, v_max: 14.87, checkpoints: 07f first real max: (13 x 45) / (-11 x 10), v: 14.87 first valid max: (16 x 47) / (-11 x 3), v: 11.40 337433 moves, 138280 real moves, 74057 valid moves, max_mc: 162 (47 x 47) usr: 6.44, sys: 0.19, costs-usr: 0.00, costs-sys 0.00, maxrss: 85424 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX X222222XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX111111XXXXXXXXXXXXXXXXXXXXXXXXX X222222XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX111111XXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX @@ X X XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX @@ X X XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX @@ X X XXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXX @@ X XX XXXXXXXX XXXXXXXXXX XXXXXXXXXXXXXXXXXX######X XX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX X XX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX X XXX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX X XXXX XXXXXXXXXXXXXXXXXXXXX33333XXXXXXXXXXXXXXXXXX X XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX33333XXXXXXXXXXXXXXXXXX X XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX7777777X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX7777777XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XX XXXXXXXXXXXXXX 66 XXX XXXXXXXXXXXX 66 XXXX XXXXXXXXXX .O 66 XXXXX XXXXXXXXX .. 66 XXXXXXX XXXXXXXX .. **P 66 M XXXXXXXXXX XXXXXXX ..**** XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX **** XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXX***. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXX .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXX55..5555XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXX5..5555XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XX .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XX.. XXXXXXXXXXX 44 XXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXX 44 XXXXXXXXXXXXXXXXXXXXXXXXXX XX 44 XXXXXXXXXXXXXXXXXXXXXXXXXX XXX 44 XXXXXXXXXXXXXXX###X##XX#X#X XXX 44 XXXXXXXXXXXXXXXX#XXX#X#X#X#X XXXX 44 XXXXXXXXXXXXXXXXXXX##XX##XX###X XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX#XXX#X#XXX#X XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX###X##XXXX#X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 68/27: 60 0 0 69/28: 60 0 0 70/28: 60 0 0 67/27: 61 0 0 67/29: 61 0 0 68/29: 61 0 0 69/30: 61 0 0 70/30: 61 0 0 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX ...*.....*.. XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX ..*... ..*. XXXXXXXXXXXXXXXXXXXXXXXXXXX XX .*.. ... XXXXXXXXXXXXXXXXXXXXXXXXXX XX ...XXXXXXXXXXXXXXXXXXXXXXXXX.*. XXXXXXXXXXXXXXXXXXXXXXXXXX X *.XXXXXXXXXXXXXXXXXXXXXXXXXXXXX.. XXXXXXXXXXXXXXXXXXXXXXXXX X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.. XXXXXXXXXXXXXXXXXXXXXXXXX X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.* XXXXXXXXXXXXXXXXXXXXXXXXX X * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXX X .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXX X222.22XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX111.11XXXXXXXXXXXXXXXXXXXXXXXXX X22..22XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX1111*1XXXXXXXXXXXXXXXXXXXXXXXXX X * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXXXX X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXXX X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX *. XXXXXXX X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX ... XXXXX X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .*.. XXXX X * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX ..*.. XXX X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX ..*. XX X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .. XX X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.* X X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .. X X * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .. X X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * X X .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX .. X X . XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX * X X * XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX @* X X .. XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX @@ X X .. XXXXXXXXXXXXXXXXX ..*...*. XXXXXXXXXXXXXXXXXXX @@ X X *. XXXXXXXXXXXXXX .*.. XXXXX.* XXXXXXXXXXXXXXXXXXX @@ X XX .. XXXXXXXX ... XXXXXXXXXX. XXXXXXXXXXXXXXXXXX#####!X XX .*.. ...*. XXXXXXXXXXXXX * XXXXXXXXXXXXXXXXXX ..X XX ..*....*... XXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXX . X XXX XXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXX . X XXXX XXXXXXXXXXXXXXXXXXXXX3*333XXXXXXXXXXXXXXXXXX .. X XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX3.333XXXXXXXXXXXXXXXXXX * X XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX .. XXXXXXXXXXXXXXXXXX .. X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXX .. X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * XXXXXXXXXXXXXXXXX .. X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXX.*77777X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXX..77777XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXX .. XX XXXXXXXXXXXXXX 66 . .*. XXX XXXXXXXXXXXX 66 * .... XXXX XXXXXXXXXX ...*......*... . ...*. XXXXX XXXXXXXXX ..*....*... 66 ...*......*... XXXXXXX XXXXXXXX .*.. 66 . XXXXXXXXXX XXXXXXX .. XXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX *.XXXXXXXXXXXXXXXXXXXXXXXXXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXX XXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.. XXXXXXXXXXXXXXXXXXXXXXXXX XXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. XXXXXXXXXXXXXXXXXXXXXXXXX XXX5555555.XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.. XXXXXXXXXXXXXXXXXXXXXXXXX XXX555555.XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXX XX *XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXX XX .XXXXXXXXXXX 44. XXXXXXXXXXXXXXXXXXXXXXXXX XX . XXXXX .* XXXXXXXXXXXXXXXXXXXXXXXXXX XX * ...4 XXXXXXXXXXXXXXXXXXXXXXXXXX XXX .. ..*. 44 XXXXXXXXXXXXXXX###X##XX#X#X XXX *. ...*.. 44 XXXXXXXXXXXXXXXX#XXX#X#X#X#X XXXX .*. ..*... 44 XXXXXXXXXXXXXXXXXXX##XX##XX###X XXXXX .*...*.. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX#XXX#X#XXX#X XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX###X##XXXX#X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 6.73 real 6.45 user 0.20 sys