maps/139.map: 46 x 65, d_max: 9 x 10, v_max: 13.45, checkpoints: 000 first real max: (10 x 19) / (-8 x -10), v: 12.81 first valid max: (16 x 39) / (-8 x 8), v: 11.31 257679 moves, 120260 real moves, 63570 valid moves, max_mc: 206 (23 x 49) usr: 0.20, sys: 0.01, costs-usr: 0.00, costs-sys 0.00, maxrss: 14388 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXX XXXXXXXXXXX XXXXXXXXX =XXXXXX XXXXX XXXXXX =XXXX XXXX =XXX X X XXX =XXX XXX =XX XX X X XX XX =XX XXXXXX XXXXXX XX =XX XXXXXXXX XXXXXXXX XX =X. XXXXXXXX XXXXXXXX X =X.. XXXXXXXXXX XXXXXXXXXX X =X .. XXXXXXXXXX XXXXXXXXXX X =X .. XXXXXXXXXX XXXXXXXXXX X =X .. XXXXXXXXXX XXXXXXXXXX X =XX . XXXXXXXXXX XXXXXXXXXX XX XXX .. XXXXXXXXX XXXXXXXXX XX XXX .. XXXXXXX XXXXXXX XX XXXX .. XXXXX XXXXX XXX XXXX .. XXXXX XXXXX XXX XXXXX O XXXX XXXX XXXX XXXXXXX XXXX XXXX XXXXXX XXXXXXXXX XXX@ @ @ @ @ @XXX XXXXXXXX XXXXXXXXXX XXX @ @ @ @ @ XXX XXXXXXXXX XXXXXXXXXX XXX @ @ @ @ XXX XXXXXXXXX XXXXXXXXXXX XXX XXX XXXXXXXXXX XXXXXXXXXXX XXXXXXX XXXXXXXXXX XXXXXXXXXXXX XXXXX XXXXXXXXXXX XXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX X X XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXX XXXXXXXXXXXX XXXXX XXXXXXXXXXX XXXXXXXXXXX P XXXXXXX XXXXXXXXXX XXXXXXXXXXX * XXX XXX XXXXXXXXXX XXXXXXXXXX * XXX # # # # XXX XXXXXXXXX XXXXXXXXXX * XXX # # # # # XXX XXXXXXXXX XXXXXXXXX * XXX# # # # # #XXX XXXXXXXX XXXXXXX * XXXX XXXX XXXXXX XXXXX * XXXX XXXX XXXX XXXX * XXXXX XXXXX XXX XXXX * XXXXX XXXXX XXX XXX XXXXXXX XXXXXXX XX XXX XXXXXXXXX M XXXXXXXXX XX XXX XXXXXXXXXX XXXXXXXXXX XX XX XXXXXXXXXX XXXXXXXXXX X XX XXXXXXXXXX XXXXXXXXXX X XX XXXXXXXXXX XXXXXXXXXX X XX XXXXXXXXXX XXXXXXXXXX X XX XXXXXXXX XXXXXXXX X XXX XXXXXXXX XXXXXXXX XX XXX XXXXXX XXXXXX XX XXX XX X X XX XX XXXX XXX XXXX X X XXX XXXXX XXXX XXXXXXX XXXXX XXXXXX XXXXXXXXXX XXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 18/21: 32 0 0 20/21: 32 0 0 22/21: 32 0 0 24/21: 32 0 0 26/21: 32 0 0 28/21: 32 0 0 19/22: 33 0 0 21/22: 33 0 0 23/22: 33 0 0 25/22: 33 0 0 27/22: 33 0 0 20/23: 33 0 0 22/23: 33 0 0 24/23: 33 0 0 26/23: 33 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXX XXXXXXXXXXX XXXXXXXXX =XXXXXX XXXXX XXXXXX =XXXX XXXX =XXX X X XXX =XXX .*..*. XXX =XX XX X X .*.XX .* XX =XX XXXXXX ...XXXXXX .. XX =XX XXXXXXXX .*. XXXXXXXX * XX =X XXXXXXXX .. XXXXXXXX . X =X XXXXXXXXXX .. XXXXXXXXXX * X =X XXXXXXXXXX *. XXXXXXXXXX . X =X XXXXXXXXXX .. XXXXXXXXXX. X =X XXXXXXXXXX .. XXXXXXXXXX * X =XX XXXXXXXXXX .. XXXXXXXXXX.. XX XXX XXXXXXXXX * XXXXXXXXX.. XX XXX XXXXXXX .. XXXXXXX * XX XXXX XXXXX .. XXXXX .. XXX XXXX XXXXX * XXXXX .. XXX XXXXX XXXX.. XXXX .. XXXX XXXXXXX XXXX* XXXX * XXXXXX XXXXXXXXX XXX* @ @ @ @ @XXX . XXXXXXXX XXXXXXXXXX XXX @ @ @ @ @ XXX . XXXXXXXXX XXXXXXXXXX XXX @ @ @ @ XXX . XXXXXXXXX XXXXXXXXXXX XXX XXX * XXXXXXXXXX XXXXXXXXXXX XXXXXXX . XXXXXXXXXX XXXXXXXXXXXX XXXXX . XXXXXXXXXXX XXXXXXXXXXXXXX XXXXX . XXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXX . XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX X * XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX X X. XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX X .X XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX X. X XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX .X X XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX * X XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX . XXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXX . XXXXX XXXXXXXXXXXXX XXXXXXXXXXXX . XXXXX XXXXXXXXXXX XXXXXXXXXXX . XXXXXXX XXXXXXXXXX XXXXXXXXXXX * XXX XXX XXXXXXXXXX XXXXXXXXXX . XXX # # # # XXX XXXXXXXXX XXXXXXXXXX . XXX # # # # # XXX XXXXXXXXX XXXXXXXXX . XXX# # # # # !XXX XXXXXXXX XXXXXXX * XXXX ..XXXX XXXXXX XXXXX .. XXXX . XXXX XXXX XXXX .. XXXXX . XXXXX XXX XXXX .. XXXXX .. XXXXX XXX XXX * XXXXXXX * XXXXXXX XX XXX ..XXXXXXXXX .. XXXXXXXXX XX XXX .XXXXXXXXXX .. XXXXXXXXXX XX XX ..XXXXXXXXXX .. XXXXXXXXXX X XX *XXXXXXXXXX * XXXXXXXXXX X XX .XXXXXXXXXX . XXXXXXXXXX X XX ..XXXXXXXXXX . XXXXXXXXXX X XX . XXXXXXXX . XXXXXXXX X XXX * XXXXXXXX * XXXXXXXX XX XXX . XXXXXX . XXXXXX XX XXX . XX .X X XX XX XXXX * * XXX XXXX .. . X X XXX XXXXX *. .* XXXX XXXXXXX.*..*. XXXXX XXXXXX XXXXXXXXXX XXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.22 real 0.20 user 0.02 sys