maps/071.map: 71 x 67, d_max: 11 x 11, v_max: 15.56, checkpoints: 007 first real max: (13 x 36) / (-11 x 9), v: 14.21 first valid max: (57 x 20) / (10 x 6), v: 11.66 503089 moves, 265721 real moves, 146542 valid moves, max_mc: 258 (52 x 19) usr: 1.01, sys: 0.03, costs-usr: 0.00, costs-sys 0.00, maxrss: 36040 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX 1 XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX 1 XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX 1 XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX 1 XXXXX XXXXXXXXXXXXX XXXXXXXXXX 1 XXXXXXXXXXXX XXXXXXXXX 1 XXXXXX XXXXXXXXXXXX XXXXXXXX XXX 1 XXXXXXXXX XXXXXXXXXXX XXXXXXXX XXXXX 1 XXXXXXXXXXX XXXXXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXXXX @@ XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXX @@ XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXX @@ XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XXXXXXX @@ XXXXXXXXXXXXXXXXXXXXXXXXX M XX XXXXXXXX#############XXXXXXXXXXXXXXXXXXXXXXXXX P* XX XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX ** XX XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX X ** XX XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XX *** XXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXX ** XXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXX ** XXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX **XXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXX XXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XXXXX XXXX XXXXXXXXXXXXXXXXXXXXXXXXXX XXX XXXXX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXX XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX XX .O XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXX X .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX XX .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XX .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXX .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXX .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXX .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X XXX .. XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX2222222222X XXX.. XXXXXXXXXXX XXXXXXXXXXXXXXXXXXX XX XX..333333333XXXXXXXXXX XXXXXXXXXXXXXXXXX XX XX XXXXXXXXXX XXXXXXXXXXXXXX X XX XXXXXXXXX XXXXXXXXXXX X XXX XXXXX XXXX XXXXXXXX XX XXX XX XXXXXXXXXX XX XXXX XXXXXXXXXXXXX XX XXXXX XXXXXXXXXXXXXXXX XX XXXXX XXXXXXXXXXXXXXXXXXX X XXXXXXX X XXXXXXXXXXXXXXXXXXXX XXX XXXXXXXX X XXXXXXXXXXXXXXXXXX XXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXXXX XXXXXXX XXXXXXXX XXXXXXXXXXXXXXXXXXXXXX XXX XXX XXXXXXX XXXXXXXXX X XXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX XXX X X XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX###X##XX#X#X XXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXX#XXX#X#X#X#X XXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXX##XX##XX###X XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX#XXX#X#XXX#X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX###X##XXXX#X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 10/16: 33 0 0 11/16: 33 0 0 14/17: 33 0 0 10/18: 33 0 0 11/18: 33 0 0 15/17: 34 0 0 14/19: 34 0 0 15/19: 34 0 0 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX XXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX 1 XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX ..*.....*... XXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX .*.. 1 ...*. XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX ... 1 ... XXXXX XXXXXXXXXXXXX XXXXXXXXXX *. 1 .*. XXXXXXXXXXXX XXXXXXXXX . 1 XXXXXX .. XXXXXXXXXXXX XXXXXXXX .XXX 1 XXXXXXXXX .. XXXXXXXXXXX XXXXXXXX .* XXXXX 1 XXXXXXXXXXX .* XXXXXXXXXX XXXXXXXX .. XXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXXX XXXXXXX .*. XXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXXX XXXXXXX *. XXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXXXXX XXXXXXX *@ XXXXXXXXXXXXXXXXXXXXXXXXXXX * XXXXXXX XXXXX @@ XXXXXXXXXXXXXXXXXXXXXXXXXXX .. XXXXXX XXXXX @@ XXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXX XXXXXXX @@ XXXXXXXXXXXXXXXXXXXXXXXXX . XX XXXXXXXX#######!#####XXXXXXXXXXXXXXXXXXXXXXXXX .. XX XXXXXXXX .. XXXXXXXXXXXXXXXXXXXXXXXX * XX XXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXX X . XX XXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXX XX . XXX XXXXXXXX .. XXXXXXXXXXXXXXXXXXXXXXX XXXX . XXX XXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXX XXXX . XXX XXXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX . XXX XXXXXXX .. XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX * XXXX XXXXXX * XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX . XXXX XXXXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX . XXXXX XXXXX .. XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXX . XXXXX XXXX . XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX . XXXXX XXXX . XXXXXXXXXXXXXXXXXXXXXXXXXX XXX * XXXXX XXX .. XXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXXX XXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXXX XX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXX XX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XXX X . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . XX XX .. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * X XX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . X XXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . X XXX * XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . X XXX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX . X XXX . XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX2*22222222X XXX . XXXXXXXXXXX XXXXXXXXXXXXXXXXXXX.. XX XX3333333.333XXXXXXXXXX XXXXXXXXXXXXXXXXX. XX XX * XXXXXXXXXX XXXXXXXXXXXXXX.. X XX . XXXXXXXXX XXXXXXXXXXX * X XXX .. XXXXX XXXX XXXXXXXX . XX XXX . XX XXXXXXXXXX . XX XXXX * XXXXXXXXXXXXX .* XX XXXXX .. XXXXXXXXXXXXXXXX .. XX XXXXX .. XXXXXXXXXXXXXXXXXXX .. X XXXXXXX * X XXXXXXXXXXXXXXXXXXXX .*. XXX XXXXXXXX . X XXXXXXXXXXXXXXXXXX ... XXXXXX XXXXXXXX . XXXXXXXXXXXXXXXXXXXXXXX ..*. XXXXXXX XXXXXXXX *.XXXXXXXXXXXXXXXXXXXXXX .*.. XXX XXX XXXXXXX XXXXXXXXX ... X XXXXXXXXXXX ... XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXX .*.. XXX X X...*. XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXX ..*.....*... XXX XXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX###X##XX#X#X XXXXXXXXXXXXXXXXX X XXXXXXXXXXXXXXXXXXXX#XXX#X#X#X#X XXXXXXXXXXXXXXXXXXXX XXXXX XXXXXXXXXXXXXXXXXXXXX##XX##XX###X XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXX#XXX#X#XXX#X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX###X##XXXX#X XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 1.08 real 1.01 user 0.04 sys