maps/114.map: 73 x 30, d_max: 11 x 7, v_max: 13.04, checkpoints: 03f first real max: (58 x 21) / (9 x 7), v: 11.40 first valid max: (46 x 22) / (-7 x 6), v: 9.22 114697 moves, 26185 real moves, 17873 valid moves, max_mc: 66 (52 x 15) usr: 0.54, sys: 0.02, costs-usr: 0.00, costs-sys 0.00, maxrss: 23864 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXX @@ 66 XXXXXXXXXXXXXXXXXXXXXXX XXX =XXXXXXXXXXXX @@ 66 XXXXXXXXXXXXXXXXXXXXX XXX =XXXXXXXXXXX @@ 66 XXXXXXXXXXXXXXXXXXX X XXX =XXXXXXXXXX XXXXX XXX XXX XXX XX XXXXXXXXXXXXXXXXX XX XXX XXXXXXXXXX XXXXX XXX XXX XXX XXXX XXXXXXXXXXXXXXX XXX XXX XXXXXXXXX XXXXX XXX XXX XXX XXXXXX XXXXXXXXXXXXX XXXX XXX XXXXXXXX XXXXX XXX XXX XXX XXXXXXXX XXXXXXXXXXX XXXXX XXX XXXXXXX XXXXXX XXX XXX XXX XXXXXXXXX XXXXXXXXX XXXXXX XXX XXXXXX XX XXX XXX XXX XXX XXXXXXXXXX XXXXXXX XXXXXXX XXX XXXXX XXX XXX XXX XXX XXX XXXXXXXXXXX XXXXX XXXXXXXX XXX XXXX XXXXXXXXX XXX XXX XXX XXXXXXXXXXXX XXX XXXXXXXX XXX XXX XXXXXXXXXX XXX XXX XXX XXXXXXXXXXXXX X XXXXXXXX XXX XX XXXXXXXXXXX222XXX333XXX444XXX555XXXXXXXXXXXXXX XXXXXXXX XXX X XXXXXXXXXXXX222XXX333XXX444XXX555XXXXXXXXXXXXXXXM XXXXXXXX# XXX XX XXXXXXXXXXX XXX XXX XXX XXXXXXXXXXXXXX XXXXXXXX XXX XXX XXXXXXXXXX XXX XXX XXX XXXXXXXXXXXXX X XXXXXXXX XXX XXXX XXX111XXX XXX XXX XXX XXXXXXXXXXXX XXX XXXXXXXX XXX XXXXX X XXXX XXX XXX XXX XXXXXXXXXXX XXXXX XXXXXXXX XXX XXXXXX XXXXX XXX XXX XXX XXXXXXXXXX XXXXXXX XXXXXXX XXX XXXXXXX XXXXXX XXX XXX XXX XXXXXXXXX XXXXXXXXXO. XXXXXX XXX XXXXXXXX XXXXX XXX XXX XXX XXXXXXXX*P XXXXXXXXXXX.. XXXXX XXX XXXXXXXXX XXXXX XXX XXX XXX XXXXXX** XXXXXXXXXXXXX.. XXXX XXX XXXXXXXXXX XXXXX XXX XXX XXX XXXX** XXXXXXXXXXXXXXX.. XXX XXX XXXXXXXXXXX XXXXX XXX XXX XXX XX** XXXXXXXXXXXXXXXXX ..XX XXX XXXXXXXXXXXX 66 ** XXXXXXXXXXXXXXXXXXX ..X XXX XXXXXXXXXXXXX 66 ** XXXXXXXXXXXXXXXXXXXXX .. XXX XXXXXXXXXXXXXX 66 ** XXXXXXXXXXXXXXXXXXXXXXX .. XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 15/2: 75 0 0 16/2: 75 0 0 15/3: 75 0 0 16/3: 75 0 0 15/4: 75 0 0 16/4: 75 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXXXXXXXXXXX **. 66 XXXXXXXXXXXXXXXXXXXXXXX XXX =XXXXXXXXXXXX @@.* .** XXXXXXXXXXXXXXXXXXXXX XXX =XXXXXXXXXXX @@ * *.66* .*..*.XXXXXXXXXXXXXXXXXXX X XXX =XXXXXXXXXX XXXXX. XXX . XXX. XXX*. XX .*XXXXXXXXXXXXXXXXX XX XXX XXXXXXXXXX XXXXX * XXX * XXX * XXX.. XXXX .XXXXXXXXXXXXXXX XXX XXX XXXXXXXXX XXXXX .XXX .XXX .XXX * XXXXXX *XXXXXXXXXXXXX XXXX XXX XXXXXXXX XXXXX .XXX .XXX .XXX .XXXXXXXX .XXXXXXXXXXX XXXXX XXX XXXXXXX XXXXXX *XXX *XXX *XXX .XXXXXXXXX .XXXXXXXXX XXXXXX XXX XXXXXX XX XXX .XXX .XXX .XXX *XXXXXXXXXX *XXXXXXX XXXXXXX XXX XXXXX XXX XXX .XXX .XXX .XXX .XXXXXXXXXXX .XXXXX XXXXXXXX XXX XXXX XXXXXXXXX .XXX .XXX .XXX .XXXXXXXXXXXX .XXX XXXXXXXX XXX XXX XXXXXXXXXX *XXX *XXX *XXX .XXXXXXXXXXXXX .X XXXXXXXX XXX XX XXXXXXXXXXX22.XXX33.XXX44.XXX55*XXXXXXXXXXXXXX * XXXXXXXX XXX X XXXXXXXXXXXX22.XXX33.XXX44.XXX55.XXXXXXXXXXXXXXX .XXXXXXXX!. XXX XX XXXXXXXXXXX .XXX .XXX .XXX .XXXXXXXXXXXXXX .XXXXXXXX.. XXX XXX XXXXXXXXXX .XXX .XXX .XXX .XXXXXXXXXXXXX X .XXXXXXXX.* XXX XXXX XXX**1XXX *XXX *XXX *XXX *XXXXXXXXXXXX XXX *XXXXXXXX.. XXX XXXXX X* *XXXX .XXX .XXX .XXX .XXXXXXXXXXX XXXXX .XXXXXXXX.. XXX XXXXXX .*XXXXX .XXX .XXX .XXX .XXXXXXXXXX XXXXXXX .XXXXXXX * XXX XXXXXXX *XXXXXX .XXX .XXX .XXX .XXXXXXXXX XXXXXXXXX .XXXXXX . XXX XXXXXXXX . XXXXX *XXX *XXX *XXX *XXXXXXXX XXXXXXXXXXX *XXXXX .XXX XXXXXXXXX*. XXXXX . XXX . XXX . XXX . XXXXXX XXXXXXXXXXXXX .XXXX *XXX XXXXXXXXXX* XXXXX . XXX . XXX . XXX . XXXX XXXXXXXXXXXXXXX .XXX .XXX XXXXXXXXXXX. XXXXX* XXX* XXX* XXX* XX XXXXXXXXXXXXXXXXX *XX *XXX XXXXXXXXXXXX*. . . 66 . . XXXXXXXXXXXXXXXXXXX .X .XXX XXXXXXXXXXXXX .*.. * * 66 *. * XXXXXXXXXXXXXXXXXXXXX *. *XXX XXXXXXXXXXXXXX ...*..*.* 66 .** XXXXXXXXXXXXXXXXXXXXXXX .**XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.57 real 0.54 user 0.03 sys