maps/020.map: 57 x 44, d_max: 10 x 8, v_max: 12.81, checkpoints: 000 first real max: (45 x 11) / (10 x -4), v: 10.77 first valid max: (45 x 13) / (9 x 2), v: 9.22 111117 moves, 22702 real moves, 13636 valid moves, max_mc: 66 (32 x 27) usr: 0.10, sys: 0.01, costs-usr: 0.00, costs-sys 0.00, maxrss: 4784 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =X XXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXXXXX =X XXXXXXXXXXX @XX@ XXXXXXX =X XXXXXXXXX @XX@ XXXXX =X XXXXXXX @XX@ XXX =X XXXXXX XXXXXXXXX @XX@ XXXXXXXXX XX =X XXXXX XXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXX X =X XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX ..X XX#XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX.... X XX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX ... XX XX XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX .... XXXX XX XXXXXXXXXXX O. XXXXXXX XX XXXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXX XX XXXXXXXXXXX X X P** XXXXXXX XX XXXXXXXX XXXXXXXX XXXXXXXX ******XXXX XX XXXXXX XXXXXXXXXX XX XXXXXXXXXX ***XX XX XXXXX XXXXXXXXXX XXXXXXXX XXXXXXXXXX X XX XXXXX XXXXXXXX XXXXXXXXXXXXXX XXXXXXXX X XX XXXXX XXXXXX XXXXXXXXXXXXXXXXXX XXXXXX X X XXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXX XX XX X XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX X XXXXXXXXXXXX XXXXXXXX X XXXXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXX M XXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 30/2: 43 0 0 33/2: 43 0 0 30/3: 43 0 0 33/3: 43 0 0 30/4: 43 0 0 33/4: 43 0 0 30/5: 43 0 0 33/5: 43 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =X XXXXXXXXXXXXXXXXXXXXXXX.*.*XXXX XXXXXXXXXXXXXXXXXXX =X XXXXXXXXXXX ..*. *XX@ XXXXXXX =X XXXXXXXXX ..*.. @XX@ XXXXX =X XXXXXXX .*..*.. @XX@ XXX =X XXXXXX *. XXXXXXXXX @XX@ XXXXXXXXX XX =X XXXXX ..XXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXX X =X XXXXX *XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XX!XXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XX.XXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XX.XXXXXXXX*.*..*.. XXXXXXXXXXXXXXXXXXXXXXXX XXXX XX.XXXXXXXXXXX ..*.. XXXXXXX XX.XXXXXXXXXXXXXXXXXXX ..*. XXXX XXXXXXXXXXXXXXX XX.XXXXXXXXXXX X ... X XXXXXXX XX.XXXXXXXX XXXXXXXX .*.. XXXXXXXX XXXX XX*XXXXXX XXXXXXXXXX XX ..*. XXXXXXXXXX XX XX.XXXXX XXXXXXXXXX XXXXXXXX ... XXXXXXXXXX X XX.XXXXX XXXXXXXX XXXXXXXXXXXXXX.*. XXXXXXXX X XX.XXXXX XXXXXX XXXXXXXXXXXXXXXXXX .*. XXXXXX X X .XXXXXX XX XXXXXXXXXXXXXXXXXXXXXXXX.* XX XX X .XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX* XXXX X *XXXXXXXXXXXX .*..*.*** XXXXXXXX X .XXXXXXXXXXXXXXXXXX XXXX *. XXXXXXXXXXXXXX X .XXXXXXXXXXXXXXXXXXXXXX XX . XXXXXXXXXXXXXXXXXX X. XXXXXXXXXXXXXXXXXXXXXXXXX * XXXXXXXXXXXXXXXXXXXXX X. XXXXXXXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXX X* XXXXXXXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXX X. XXXXXXXXXXXXXXXXXXXXXXXXXX *XXXXXXXXXXXXXXXXXXXXXXX X. XXXXXXXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXX X. XXXXXXXXXXXXXXXXXXXXXXXXXX ..XXXXXXXXXXXXXXXXXXXXXXX X. XXXXXXXXXXXXXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXXXXXXXXXX X* XXXXXXXXXXXXXXXXXXXXXXXXXXX *XXXXXXXXXXXXXXXXXXXXXXXX X. XXXXXXXXXXXXXXXXXXXXXXXXXX .. XXXXXXXXXXXXXXXXXXXXXXX X.. XXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXX X . XXXXXXXXXXXXXXXXXXXXXXXXX.. XXXXXXXXXXXXXXXXXXXXXXX X * XXXXXXXXXXXXXXXXXXXXXXXXX* XXXXXXXXXXXXXXXXXXXXXXX X .. XXXXXXXXXXXXXXXXXXXXXXX. XXXXXXXXXXXXXXXXXXXXXXX X .. XXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXX X *.XXXXXXXXXXXXXXXXXXX .* XXXXXXXXXXXXXXXXXXXXXXXXXX XX .. XXXXXXXXXXXX ... XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX .*.. XXXX .*. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX ..*....*...*.XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.13 real 0.10 user 0.02 sys