maps/155.map: 54 x 43, d_max: 9 x 8, v_max: 12.04, checkpoints: 1ff first real max: (17 x 14) / (-9 x -7), v: 11.40 first valid max: (41 x 31) / (9 x -3), v: 9.49 255175 moves, 149441 real moves, 97504 valid moves, max_mc: 213 (37 x 29) usr: 933.41, sys: 4.82, costs-usr: 0.04, costs-sys 0.00, maxrss: 976492 ====================================================== ====================================================== =================== 11 =================== ============== ==== ============== ============= 22 ============= =========== ==== =========== ========== 33 ========== ========.. ====== ======== ======= .. 44 ======= ======= .. ====== ======= ====== .. 55 ====== ===== .. ======== ===== ===== .. 66 ===== ==== .. ======== ==== === .O 77 === === ========== === === 88 === === ========== === === 99 === == ======================== == == ==1=12333455555666777888== == == ==1=12=3=45=5=5666=7=88=== == == ==111223=45===56=6=7=888== == == ======================== == === @# === === ========== === === @# === === ========== === === @# **=== ==== ======== M *** ==== ===== @# *** ===== ===== ======== P* ===== ====== @# ====== ======= ====== ======= ======= @# ======= ======== ====== ======== ========== @# ========== =========== ==== =========== ============= @# ============= ============== ==== ============== =================== @# =================== ====================================================== ====================================================== 26/24: 72 0 0 26/26: 72 0 0 26/28: 72 0 0 26/30: 72 0 0 26/32: 72 0 0 26/34: 72 0 0 26/36: 72 0 0 26/38: 72 0 0 26/40: 72 0 0 ====================================================== ====================================================== =================== *.** =================== ============== *====* ============== ============= *.*.** ============= =========== **==== =========== ========== . *.*.* ========== ======== *======* ======== ======= *.*..*. ======= ======= ======.* ======= ====== *.*.*.* .. ====== ===== *======== * ===== ===== **.*..*.* . ===== ==== ========** ==== === .*...*..*.**. === === .*. ==========* === === *. *.*..*.*.* === === . *========== === === * **.*..*...*...*..*.* === == .======================== * == == .==1=12333455555666777888== * == == *==1=12=3=45=5=5666=7=88===.. == == .==111223=45===56=6=7=888==* == == * ========================. == === *. .*.***# .* === === .*..*. ========== ..*. === === @!...*.. === === ========== === === @# === ==== ======== ==== ===== @# ===== ===== ======== ===== ====== @# ====== ======= ====== ======= ======= @# ======= ======== ====== ======== ========== @# ========== =========== ==== =========== ============= @# ============= ============== ==== ============== =================== @# =================== ====================================================== ====================================================== 941.28 real 933.49 user 4.84 sys