maps/070.map: 76 x 73, d_max: 11 x 11, v_max: 15.56, checkpoints: 00f first real max: (23 x 12) / (-10 x -11), v: 14.87 first valid max: (4 x 56) / (3 x 11), v: 11.40 412130 moves, 149262 real moves, 78976 valid moves, max_mc: 136 (31 x 43) usr: 0.71, sys: 0.01, costs-usr: 0.00, costs-sys 0.00, maxrss: 30020 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXX .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXX .. XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXX .. XXXXXXXXXXXXXXXXXXXXXXXX XXXXX XXX .. XXXXXXXXXXXXXXXXXXXXXXXX XXXXX XXXX XXX XXXXXXX .. XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXX XX XXXXXXXXXXX.. XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXX XX XXXXXXXXXXXX.. XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XX XX XXXXXXXXXXXXXX.. XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XX X XXXXXXXXXXXXXX O XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XX X XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXX 11 XXXXXXXXXXXXXXXXXXXXX22222X X XXXXXXXXXXXXXXXXXXXXX 11 XXXXXXXXXXXXXXXXXXXXXX22222X X XXXXXXXXXXXXXXXXXXXXXXX 11 XXXXXXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXXXXXXXX 11 XXXXXXXXXXXXXXXXXXXXXXXXXX XX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX X @@ XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX X @@ XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX X @@ XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX X @@ XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX X######XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX###X##XX#X#X X XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX#XXX#X#X#X#X X XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX##XX##XX###X X XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX#XXX#X#XXX#X X XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX###X##XXXX#X X XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX X XXXXXXXXXXXXXXXX M XXXXXXXXX X XXXXXXXXXXXXXXXXX XXXXXXX X XXXXXXXXXXXXXXXXX XXXXX X XXXXXXXXXXXXXXXXXX XXXX X XXXXXXXXXXXXXXXXXXXX XXX X XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX33333X X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX33333X X P XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX X XX * XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX X XX ** XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX X XX * XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XX XX * XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX XX XX * XXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXX XXX XX * XXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXXXXXXXXXX XXX XXX * XXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXX XXXX XXX * XXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXX XXXXX XXXX ** XXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXX XXXXX * XXXXXXX XXXXXXXXXXXXXXXXX XXXXXXX XXXXXX * 44XX XXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXX 44 XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXX 44 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX44 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 2/30: 81 0 0 3/30: 81 0 0 4/31: 81 0 0 5/31: 81 0 0 2/32: 81 0 0 3/32: 81 0 0 4/33: 82 0 0 5/33: 82 0 0 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXX ..*...*. XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXX .*.. .* XXXXXXXXXXXXXXXXXXXXXXXX .*...*.. XXXXX XXX .. . XXXXXXXXXXXXXXXXXXXXXXXX *. XXXXX ..*. XXXX XXX *. XXXXXXX * XXXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXX .. XXX XX .. XXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXX *XXXXXXXXXXXX .* XXX XX .. XXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXX .. XX XX * XXXXXXXXXXXXXX* XXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXX .. XX X . XXXXXXXXXXXXXX.. XXXXXXXXXXXXXXXXXX *XXXXXXXXXXXXXXXX * XX X .. XXXXXXXXXXXXXXXX. XXXXXXXXXXXXXXXXXX ..XXXXXXXXXXXXXXXX . X X . XXXXXXXXXXXXXXXX.. XXXXXXXXXXXXXXXXXX .. XXXXXXXXXXXXXXXXX .. X X * XXXXXXXXXXXXXXXXX* XXXXXXXXXXXXXXXX * XXXXXXXXXXXXXXXXXX . X X . XXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXX .. XXXXXXXXXXXXXXXXXX * X X . XXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXX .. XXXXXXXXXXXXXXXXXXX . X X . XXXXXXXXXXXXXXXXXX *. XXXXXXXXXXXXXX .* XXXXXXXXXXXXXXXXXXX . X X . XXXXXXXXXXXXXXXXXX ... XXXXXXXXXXXXX .. XXXXXXXXXXXXXXXXXXX . X X * XXXXXXXXXXXXXXXXXXX .*..XXXXXXXXX..*. XXXXXXXXXXXXXXXXXXX . X X . XXXXXXXXXXXXXXXXXXXX ..*....*.. XXXXXXXXXXXXXXXXXXXXX22*22X X . XXXXXXXXXXXXXXXXXXXXX 11 XXXXXXXXXXXXXXXXXXXXXX22.22X X . XXXXXXXXXXXXXXXXXXXXXXX 11 XXXXXXXXXXXXXXXXXXXXXXX .. X X * XXXXXXXXXXXXXXXXXXXXXXXXXX 11 XXXXXXXXXXXXXXXXXXXXXXXXXX . XX X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * XX X. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .. XX X* XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .. XXX X. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .* XXX X* XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .. XXXX X *@ XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .*. XXXX X @@ XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX ... XXXXX X @@ XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX ..*. XXXXXXXXX X @@ XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX ...*.. XXXXXXXXXXXXX X#####!XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .*... XXXXXXXXXXXXXXXXXX X .XXXXXXXXXXXXXXXXXXXXXXXXXXX .... XXXXXXXXXXXXXXXXXXXXXX X .XXXXXXXXXXXXXXXXXXXXXX ..*. XXXXXXXXXXXXXXX###X##XX#X#X X .XXXXXXXXXXXXXXXXXXX ..*.. XXXXXXXXXXXXXXXXXXX#XXX#X#X#X#X X . XXXXXXXXXXXXXXXXXX .*..XXXXXXXXXXXXXXXXXXXXXXXX##XX##XX###X X . XXXXXXXXXXXXXXXXX *.*.XXXXXXXXXXXXXXXXXXXXXXXXXXXX#XXX#X#XXX#X X . XXXXXXXXXXXXXXXX *XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX###X##XXXX#X X * XXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X . XXXXXXXXXXXXXXXX *XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX X . XXXXXXXXXXXXXXXX .. XXXXXXXXX X . XXXXXXXXXXXXXXXXX * XXXXXXX X . XXXXXXXXXXXXXXXXX . XXXXX X . XXXXXXXXXXXXXXXXXX *. XXXX X . XXXXXXXXXXXXXXXXXXXX .*...*....*.....*....*...*...*. XXX X * XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .* XXX X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XX X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * XX X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . X X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . X X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * X X * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX3.333X X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX3.333X X . XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX * X XX . XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX . X XX . XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX .. X XX * XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX . XX XX .. XXXXXXXXXXXXXXXXXXXXX .*...*. XXXXXXXXXXXXXXXXXX * XX XX . XXXXXXXXXXXXXXXXXXXX .*.XXXXXXX.*. XXXXXXXXXXXXXXXXX .. XXX XX .. XXXXXXXXXXXXXXXXXX ...XXXXXXXXXX .. XXXXXXXXXXXXXXX .. XXX XXX * XXXXXXXXXXXXXXXXX *.XXXXXXXXXXXX .*. XXXXXXXXXXXX .* XXXX XXX . XXXXXXXXXXXXXX . XXXXXXXXXXXXXX ...XXXXXXXX .. XXXXX XXXX .XXXXXXXXXXXX . XXXXXXXXXXXXXXX .*.. ..*. XXXXXX XXXXX *.XXXXXXX * XXXXXXXXXXXXXXXXX ..*....*.. XXXXXXX XXXXXX ...4XX . XXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXX 4.*.. .*XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXX 44 ..*...*.XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX44 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.76 real 0.73 user 0.01 sys