maps/116.map: 66 x 66, d_max: 10 x 10, v_max: 14.14, checkpoints: 07f first real max: (21 x 11) / (-9 x -10), v: 13.45 first valid max: (12 x 44) / (-9 x 8), v: 12.04 533700 moves, 306524 real moves, 176120 valid moves, max_mc: 223 (37 x 37) usr: 35.10, sys: 0.56, costs-usr: 0.03, costs-sys 0.00, maxrss: 275824 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXX. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX =XXXXXXXX .. XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX =XXXXXX .. XXXXXXXXXXXXXXXXXXXX XXXXXXX =XXXXX .. XXXXXXXXXXXXXXXXXX XXXXXX =XXXX77 .. XXXXXXXXXXXXXXXX 11XXXXX =XXX 777 .. XXXXXXXXXXXXXX 111 XXXX =XX 777 .. XXXXXXXXXXXX 111 XXX XXX 777 .. XXXXXXXXXXXX 111 XXX XX 777 XXXX .. XXXXXXXXXX XXXX 111 XX XX 77XXXXXXXX .. XXXXXXXXXX XXXXXXXX11 XX XX XXXXXXXXXX O XXXXXXXXXX XXXXXXXXXX XX X XXXXXXXXXX XXXXXXXXX XXXXXXXXXX X X XXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXX X X XXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXX X X XXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXX X X XXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXX X X XXXXXXXXXXX XXXXXXXX XXXXXXXXXXX X XX XXXXXXXXXXX XXXXXXXX XXXXXXXXXXX XX XX XXXXXXXXXX XXXXXXXX XXXXXXXXXX XX XX XXXXXXXX XXXXXXXX XXXXXXXX XX XXX #@ XXX XXX #@ XXX XXXX #@ XXXX XXXXX #@ XXXXX XXXXXX #@ XXXXXX XXXXXXX #@ XXXXXXX XXXXXXXXX #@ XXXXXXXXX XXXXXXXXXXXX #@ XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX66666666XXXXXXXX22222222XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX66666666XXXXXXXX22222222XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX 44 M XXXXXXXXXXXX XXXXXXXXX 44 XXXXXXXXX XXXXXXX 44 XXXXXXX XXXXXX 44 XXXXXX XXXXX 44 XXXXX XXXX 44 XXXX XXX 44 XXX XXX *P 44 XXX XX ** XXXXXXXX XXXXXXXX XXXXXXXX XX XX **XXXXXXXXXX XXXXXXXX XXXXXXXXXX XX XX **XXXXXXXXXXX XXXXXXXX XXXXXXXXXXX XX X ** XXXXXXXXXXX XXXXXXXX XXXXXXXXXXX X X ** XXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXX X X ** XXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXX X X ** XXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXX X X ** XXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXX X X XXXXXXXXXX XXXXXXXXX XXXXXXXXXX X XX XXXXXXXXXX XXXXXXXXXX XXXXXXXXXX XX XX 55XXXXXXXX XXXXXXXXXX XXXXXXXX33 XX XX 555 XXXX XXXXXXXXXX XXXX 333 XX XXX 555 XXXXXXXXXXXX 333 XXX XXX 555 XXXXXXXXXXXX 333 XXX XXXX 555 XXXXXXXXXXXXXX 333 XXXX XXXXX55 XXXXXXXXXXXXXXXX 33XXXXX XXXXXX XXXXXXXXXXXXXXXXXX XXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 33/22: 70 0 0 33/23: 70 0 0 33/24: 70 0 0 33/25: 70 0 0 33/26: 70 0 0 33/27: 70 0 0 33/21: 71 0 0 33/28: 71 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX =XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX =XXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXX =XXXXX XXXXXXXXXXXXXXXXXX XXXXXX =XXXX77 XXXXXXXXXXXXXXXX 11XXXXX =XXX 777 XXXXXXXXXXXXXX .*..*.11 XXXX =XX 777.*..*.. XXXXXXXXXXXX .*. 1.* XXX XXX 7*. ..*. XXXXXXXXXXXX ... 111.. XXX XX ..77 XXXX ... XXXXXXXXXX *.XXXX 111 * XX XX * 77XXXXXXXX .* XXXXXXXXXX .XXXXXXXX11 . XX XX . XXXXXXXXXX . XXXXXXXXXX .XXXXXXXXXX * XX X . XXXXXXXXXX . XXXXXXXXX * XXXXXXXXXX . X X * XXXXXXXXXXXX * XXXXXXXX ..XXXXXXXXXXXX . X X . XXXXXXXXXXXX .. XXXXXXXX . XXXXXXXXXXXX * X X ..XXXXXXXXXXXX .. XXXXXXXX .. XXXXXXXXXXXX .. X X .XXXXXXXXXXXX .. XXXXXXXX * XXXXXXXXXXXX.. X X * XXXXXXXXXXX * XXXXXXXX . XXXXXXXXXXX * X XX ..XXXXXXXXXXX ..XXXXXXXX . XXXXXXXXXXX.. XX XX ..XXXXXXXXXX .XXXXXXXX .* XXXXXXXXXX.. XX XX *. XXXXXXXX .XXXXXXXX.. XXXXXXXX .. XX XXX .. .. #@ .*. .* XXX XXX .*. * #**. .. XXX XXXX .. .. #@ .. XXXX XXXXX .. . #@ .*. XXXXX XXXXXX .* ..#@ .. XXXXXX XXXXXXX . .#@ .. XXXXXXX XXXXXXXXX . ..@ .. XXXXXXXXX XXXXXXXXXXXX . !@ *. XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX* XXXXXXXX .XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX . XXXXXXXX . XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX . XXXXXXXX . XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX666.6666XXXXXXXX2222.222XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX6666.666XXXXXXXX222*2222XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX * XXXXXXXX . XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX . XXXXXXXX . XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX .XXXXXXXX. XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX . 44 . XXXXXXXXXXXX XXXXXXXXX ...*.....*... XXXXXXXXX XXXXXXX ..*.....*...44* ...*. XXXXXXX XXXXXX .*.. *. .... XXXXXX XXXXX ... .. .*. XXXXX XXXX *. .44. .. XXXX XXX . . 44 . .. XXX XXX . * 44 . .* XXX XX * XXXXXXXX .XXXXXXXX* XXXXXXXX .. XX XX ..XXXXXXXXXX . XXXXXXXX.. XXXXXXXXXX.. XX XX .XXXXXXXXXXX . XXXXXXXX .. XXXXXXXXXXX.. XX X ..XXXXXXXXXXX * XXXXXXXX .. XXXXXXXXXXX * X X *XXXXXXXXXXXX .. XXXXXXXX .. XXXXXXXXXXXX.. X X .XXXXXXXXXXXX .. XXXXXXXX * XXXXXXXXXXXX . X X . XXXXXXXXXXXX .. XXXXXXXX . XXXXXXXXXXXX .. X X * XXXXXXXXXXXX * XXXXXXXX . XXXXXXXXXXXX * X X . XXXXXXXXXX .. XXXXXXXXX . XXXXXXXXXX . X XX . XXXXXXXXXX.. XXXXXXXXXX *XXXXXXXXXX . XX XX * 55XXXXXXXX.* XXXXXXXXXX .XXXXXXXX33 * XX XX ..55 XXXX .. XXXXXXXXXX . XXXX 333 . XX XXX 5*. ..*. XXXXXXXXXXXX *. 333 * XXX XXX 555.*..*.. XXXXXXXXXXXX .. 33.. XXX XXXX 555 XXXXXXXXXXXXXX .*. .*3 XXXX XXXXX55 XXXXXXXXXXXXXXXX .*..*.33XXXXX XXXXXX XXXXXXXXXXXXXXXXXX XXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 36.01 real 35.12 user 0.57 sys