maps/011.map: 47 x 28, d_max: 9 x 6, v_max: 10.82, checkpoints: 003 first real max: (18 x 8) / (-8 x -5), v: 9.43 first valid max: (10 x 18) / (4 x 5), v: 6.40 48643 moves, 10541 real moves, 5629 valid moves, max_mc: 55 (17 x 6) usr: 0.01, sys: 0.00, costs-usr: 0.00, costs-sys 0.00, maxrss: 3572 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX..@ XXXXX XXXXXX XXXXXXXXXXX XXXXXXXXX .. XXX XXX XXXXXXXX XXXXXXX #... X XX X XXXXXXXX XXXXXX #@ ...M XXXX XXX XXXXXXX XXXXX XXXXX .. XXXXX XXXXXXX XXXXXX XXXX XXXXXXXX .O XXXXXXXXXXXXXXXXXX XXXXX XXXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXX XXXX XXXXXXXXXX XXXXXXXXX XXXXXXXXX XXXXX XXXX XXXXXXXXX X XXXXXXX XXXXXXXXX XXXXX XXXX XXXXXXX XX XXXXX XXXXXXXXX XXXXX XXXX XXXXXXX XX XXXXX XXXXXXX XXXXX XXXX XXXXXXX XXXX XX X XXXX XXXXXX XXXXX XXXXX XXXXX XXX XX XXXXXXX XXXXXX2222XX XXXXXXX XXXXXXX1 XXXXXXXX XXXXXXX XXXXXXXXXXX XXXXXXXX111XXXXXXXXXXXX XXXXXXXXX PXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXX** XXXXXXXXX XXXXXXXX XXXXXXXXXXXX XXXXXXXXXX ** XX XXXX XXXXXXX XXXXXXXXXXX XXXXXXXXXXX ** XXX XXX XXXXXXXXXXXX XXXXXXXXXXXX ** X XXXXXXXXXXXXX XXXXXXXXXXXXX * X XXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 12/3: 33 0 0 12/4: 33 0 0 12/5: 33 0 0 12/6: 33 0 0 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX #* XXXXX XXXXXX XXXXXXXXXXX XXXXXXXXX #* XXX .*.* XXX XXXXXXXX XXXXXXX .*@ X..*.XX *.X .*.*. XXXXXXXX XXXXXX *.!....*.. XXXX .*..*.XXX .* XXXXXXX XXXXX .XXXXX XXXXX XXXXXXX.. XXXXXX XXXX *XXXXXXXX XXXXXXXXXXXXXXXXXX * XXXXX XXXX *XXXXXXXXXXXXXXXXXXXXX XXXXXXXXX . XXXXX XXXX .XXXXXXXXXX XXXXXXXXX XXXXXXXXX . XXXXX XXXX *XXXXXXXXX X XXXXXXX XXXXXXXXX * XXXXX XXXX . XXXXXXX XX XXXXX XXXXXXXXX.. XXXXX XXXX .XXXXXXX XX XXXXX XXXXXXX.* XXXXX XXXX *XXXXXXX XXXX XX X XXXX *. XXXXXX XXXXX ..XXXXX XXXXX XXX XX . XXXXXXX XXXXXX22..XX XXXXXXX XXXXXXX1 * XXXXXXXX XXXXXXX * XXXXXXXXXXX XXXXXXXX11.XXXXXXXXXXXX XXXXXXXXX .XXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXX XXXXXXXXXX *. XXXXXXXXX XXXXXXXX * XXXXXXXXXXXX XXXXXXXXXX .. XX XXXX XXXXXXX. XXXXXXXXXXX XXXXXXXXXXX .*.. XXX XXX * XXXXXXXXXXXX XXXXXXXXXXXX ..*....*.. X .* XXXXXXXXXXXXX XXXXXXXXXXXXX X ..*..*. XXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.01 real 0.01 user 0.00 sys