maps/118.map: 81 x 32, d_max: 12 x 7, v_max: 13.89, checkpoints: 1ff first real max: (58 x 22) / (11 x 7), v: 13.04 first valid max: (47 x 1) / (10 x 1), v: 10.05 172234 moves, 80522 real moves, 45553 valid moves, max_mc: 129 (43 x 6) usr: 31.19, sys: 0.56, costs-usr: 0.00, costs-sys 0.00, maxrss: 143384 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =X 1 222 P***** XXXXXXXXXXXXXXXX =X 222 ****** 6 XXXXXXXXXXXXXXXX =X XXXXXXXXXXXXXXXXXXXXX 222 XXXXXXXXX XXXXXXXXXXXXXXXX =X XXXXXXXXXXXXXXXXXXXX 222 XXXXXXXX XXXXXXXXXXXXXXXX =X XXXXXXXXXXXXXXXXXXX 222 XXXXXXX XXXXXXXXXXXXXXXX =X XXXXXXXXXXXXXXXXXX 222 M XXXXXX XXXXXXXXXXXXXXXX =X 1 XXXXXXXXXXXXXXXXXX XXXXXXXX XXXXX XXXXXXXXXXXXXXXX =X XXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXX =X XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX 1 XXX XXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXXX XX111111XXXXXXXXXXXXXXX55555555XXXXXXXXXXXXXXXX33333333XXX7777777XXXXXXXXXXXXXXXX XX111111XXXXXXXXXXXXXXX55555555XXXXXXXXXXXXXXXX33333333XXX7777777XXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXX XXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXX 1 XXXXXXXXXXXXXXXX XXXX XXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXO. XXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXX .. XXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXX ... XXXXXXXXXXXXXXXX XX XXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXX 8 .. XXXXXXXXXXXXXXXX XX @ @XXXXX XXXXXXXX XXXXXXX .. #X XX @ XXXXX 444 XXXXXXX ... #X XX 1 @ @XXXXXX 444 XXXXXXXXX .. 9 #X XX @ XXXXXXX 444 XXXXXXXXXX .. #X XX @ @XXXXXXXXX 444 XXXXXXXXXXXX #X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 21/27: 54 0 0 20/28: 54 0 0 22/28: 54 0 0 21/29: 54 0 0 20/30: 54 0 0 22/30: 54 0 0 20/26: 55 0 0 22/26: 55 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =X ..*....*.....*... 222 XXXXXXXXXXXXXXXX =X .*.. ...*....*.. 222 ..*....*...*..*. XXXXXXXXXXXXXXXX =X ..XXXXXXXXXXXXXXXXXXXXX ..*.2..*.. XXXXXXXXX .* XXXXXXXXXXXXXXXX =X *. XXXXXXXXXXXXXXXXXXXX .*... XXXXXXXX .. XXXXXXXXXXXXXXXX =X .. XXXXXXXXXXXXXXXXXXX ...222.*. XXXXXXX * XXXXXXXXXXXXXXXX =X .. XXXXXXXXXXXXXXXXXX *. 222 .. XXXXXX . XXXXXXXXXXXXXXXX =X *1 XXXXXXXXXXXXXXXXXX . XXXXXXXX .* XXXXX . XXXXXXXXXXXXXXXX =X . XXXXXXXXXXXXXXXXX .XXXXXXXXXXXX.. XXXXX * XXXXXXXXXXXXXXXX =X.. XXXXXXXXXXXXXXXXX *XXXXXXXXXXXXXX.. XXXX . XXXXXXXXXXXXXXXX XX. XXXXXXXXXXXXXXXX ..XXXXXXXXXXXXXX * XXXX .. XXXXXXXXXXXXXXXX XX* XXXXXXXXXXXXXXXX .XXXXXXXXXXXXXXXX. 1 XXX . XXXXXXXXXXXXXXXX XX. XXXXXXXXXXXXXXXX ..XXXXXXXXXXXXXXXX.. XXX * XXXXXXXXXXXXXXXX XX. XXXXXXXXXXXXXXX * XXXXXXXXXXXXXXXX . XXX .. XXXXXXXXXXXXXXXX XX.11111XXXXXXXXXXXXXXX555555.5XXXXXXXXXXXXXXXX3*333333XXX777.777XXXXXXXXXXXXXXXX XX.11111XXXXXXXXXXXXXXX555555.5XXXXXXXXXXXXXXXX3.333333XXX777.777XXXXXXXXXXXXXXXX XX* XXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXX . XXX .. XXXXXXXXXXXXXXXX XX. XXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXX . XXX * XXXXXXXXXXXXXXXX XX.. XXXXXXXXXXXXXXX * XXXXXXXXXXXXXXXX * XXX . XXXXXXXXXXXXXXXX XX . XXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXX . XXX .. XXXXXXXXXXXXXXXX XX * XXXXXXXXXXXXXXXX . XXXXXXXXXXXXXXXX.. XXX . XXXXXXXXXXXXXXXX XX .. XXXXXXXXXXXXXXXX 1. XXXXXXXXXXXXXXXX. XXXX * XXXXXXXXXXXXXXXX XX .. XXXXXXXXXXXXXXXX * XXXXXXXXXXXXXXX* XXXX . XXXXXXXXXXXXXXXX XX * XXXXXXXXXXXXXXXXX . XXXXXXXXXXXXXX.. XXXXX . XXXXXXXXXXXXXXXX XX . XXXXXXXXXXXXXXXXXX . XXXXXXXXXXXX.. XXXXX * XXXXXXXXXXXXXXXX XX .XXXXXXXXXXXXXXXXXX * XXXXXXXXXX.* XXXXXX .. XXXXXXXXXXXXXXXX XX *. @ @XXXXX . XXXXXXXX.. XXXXXXX * #X XX ... * XXXXX *. 44..*. XXXXXXX . #X XX 1 .*. .* @XXXXXX .*...*.. XXXXXXXXX *. ..*....!X XX .*..*. @ XXXXXXX 444 XXXXXXXXXX .*...*.. #X XX @ @XXXXXXXXX 444 XXXXXXXXXXXX #X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 31.92 real 31.20 user 0.57 sys