maps/018.map: 60 x 36, d_max: 10 x 7, v_max: 12.21, checkpoints: 003 first real max: (13 x 10) / (-10 x 5), v: 11.18 first valid max: (17 x 12) / (-9 x -2), v: 9.22 78150 moves, 22200 real moves, 12854 valid moves, max_mc: 68 (36 x 11) usr: 0.19, sys: 0.01, costs-usr: 0.00, costs-sys 0.00, maxrss: 5708 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX*** .O XXXXXXXXXXXXXXXXX #@ XXXXXXXXXXXXXX XXXXXX ****** XXXXXXXXXXX M #@ XXXXXXXXXXXX XXXXX ... **P XXX #@ XXXXXXXXXXX XXXX ... XXXXX #@ XXXXXXXXXX XXX ... XXXXXXXXXXX XXXXXXXX XXXXXXXXX XXX.. XXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXX XXX XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXXXXXX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXX2222XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX1111XXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXX XXXXXXXX XXXXXXXXXXX XXXXXXXXXX XXXXXXXXXXX XXXXXXX XXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXX XXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 42/10: 28 0 0 42/11: 28 0 0 42/12: 28 0 0 42/13: 28 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXX #**. XXXXXXXXXXXXXX XXXXXX .*...*.. XXXXXXXXXXX #@ .* XXXXXXXXXXXX XXXXX *. ..*... XXX #@ . XXXXXXXXXXX XXXX . XXXXX ...*......*......!@ * XXXXXXXXXX XXX * XXXXXXXXXXX XXXXXXXX .. XXXXXXXXX XXX .XXXXXXXXXXXXXXXXX XXXXXXXXXXXXX .. XXXXXXXX XXX .XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX * XXXXXXX XXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. XXXXXX XXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .. XXXXXXX XXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXX XXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX *XXXXXXXXX XXXXXX* XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .XXXXXXXXX XXXXXX. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX .XXXXXXXXX XXXXXXX. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXX XXXXXXX* XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * XXXXXXXX XXXXXXXX.222XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX1.11XXXXXXX XXXXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX. XXXXXXX XXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX* XXXXXX XXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.. XXXXXXX XXXXXXXXXX *.XXXXXXXXXXXX XXXXXXXXXXXXXXX.. XXXXXXXX XXXXXXXXXX ..XXXXXXXX XXXXXXXXXXX .* XXXXXXXXXX XXXXXXXXXXX .*.. XXXXXXX .. XXXXXXXXXXX XXXXXXXXXXX ..*....*.....*.. ..*. XXXXXXXXXXXXX XXXXXXXXXXXX XXXXX ..*....*.. XXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.21 real 0.19 user 0.01 sys