maps/001.map: 60 x 25, d_max: 10 x 6, v_max: 11.66, checkpoints: 07f first real max: (46 x 14) / (10 x -5), v: 11.18 first valid max: (48 x 4) / (10 x 3), v: 10.44 83256 moves, 40692 real moves, 25868 valid moves, max_mc: 88 (53 x 9) usr: 0.51, sys: 0.01, costs-usr: 0.00, costs-sys 0.00, maxrss: 22220 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXX #@ 1 XXXXXXXX =XX #@ 1 1 XXXXX =X #@ 1 1 1 XXX =X #@ 1 1 1 1 P** X X #@ 1 1 1 1 1 **** X XX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX **** X X XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX ***X X XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX XX X77777XXXXXXXXXXXXXXXXXXXXXXXXX XXX M .. XX X XXXXXXXXXXXXXXXXXXXXXXX XX 33XXX2 ... 2XX X XXXXXXXXXXXXXXXXXXXXX XXXXX 3333 XX...2222XX X XXXXXXXXXXXXXXXXXXXX XXXXXXXX333 ... XXX X XXXXXXXXXXXXXXXXXXXXX444444XXXXXXXXX ... XXX XX XXXXXXXXXXXXXXXXXXXX XXXXXXXX O. XXXX XXX 666XXXXXXXXXXXXXXXXXXX XXXXXXXX XXXXX XXX 66 XXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXX 6 XXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXX6 XXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX 555 XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX 555 XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX 555 XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX 555 XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 13/1: 36 0 0 13/2: 36 0 0 13/3: 36 0 0 13/4: 36 0 0 13/5: 36 0 0 =XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX =XXXX .*..*.#* 1 XXXXXXXX =XX *. .** ...*....*.. XXXXX =X .. #@ ...*... 1 1 1 ..*...*. XXX =X * #@ ...*... 1 1 1 1 .* X X . !... 1 1 1 1 1 . X XX . XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX * X X * XXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXX. X X . XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXX . XX X777..XXXXXXXXXXXXXXXXXXXXXXXXX *.*. XXX * XX X .XXXXXXXXXXXXXXXXXXXXXXX *XX .*.. 33XXX2.2 2 2XX X * XXXXXXXXXXXXXXXXXXXXX ..XXXXX ..*. XX2*22222XX X .. XXXXXXXXXXXXXXXXXXXX *XXXXXXXX333 .*.* XXX X .. XXXXXXXXXXXXXXXXXXXXX44444.XXXXXXXXX XXX XX *. XXXXXXXXXXXXXXXXXXXX . XXXXXXXX XXXX XXX ..666XXXXXXXXXXXXXXXXXXX * XXXXXXXX XXXXX XXX .*. XXXXXXXXXXXX.. XXXXXXXXXXXXXXXXXXXX XXX 6 ... XXXXXXXX * XXXXXXXXXXXXXXXXXXXX XXXXXXXXX6 .*.. XXX . XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXX ..*.. 555 .* XXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXX ..*...*. XXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXX 555 XXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXX 555 XXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX 0.53 real 0.51 user 0.01 sys