2015-05-05T13:14:56.378868 status=4 elapsed 51479 msec-max 51300
root +    12 +7574FU-3637TO+2837GI-0036FU+3726GI-7374FU+7785KE-8384FU+8593KE-8293GI+9594FU-9382GI+8684HI-3637TO+2637GI-0045KE+0036FU-4537NK+3837OU-0075GI+9493TO-9293KY+9993NY-8193KE+6675KA-7475FU+0074KY-0083KY+0092FU-9181OU+8494HI-4445FU+9291TO-8191OU+0092FU-9181OU+7472NY-8172OU+9434HI-4334GI (40 3) 130980k 33.1s (16.3s)
  +7574FU -    12 -3637TO+2837GI-0036FU+3726GI-7374FU+7785KE (39 2) 84968k 34.1s (16.3s)
    -3637TO +    12 +2837GI-0036FU+3726GI-7374FU+7785KE-8384FU (38 1) 44559k 34.1s (16.3s)
      +2837GI -    12 -0036FU+3726GI-7374FU+7785KE-8384FU+8593KE (37 21) 19066k [10] (34.1s)
      +2937KE -  -257 -0036FU+9594FU-9394FU+0093FU-3637TO+2837GI (34 1) 25491k 16.3s (16.3s)
        -0036FU +  -257 +9594FU-9394FU+0093FU-3637TO+2837GI-9293KY (33 19) 13036k [2] (16.3s)
        others  -    16 -7374FU+0036FU-5354FU+7785KE-2231KA+8696HI (24 21) 12455k [9] (16.3s)
      others  + -29996 +3839OU (1 5) 0k [7] solved (16.3s)
    -7374FU +    37 +7785KE-3637TO+2837GI-0036FU+3726GI-8384FU (26 2) 33543k 16.3s (16.3s)
      +7785KE -    37 -3637TO+2837GI-0036FU+3726GI-8384FU+8593NK (25 1) 23012k 16.3s (16.3s)
        -3637TO +    37 +2837GI-0036FU+3726GI-8384FU+8593NK-8293GI (24 20) 9438k [5] (16.3s)
        others  -    66 -8384FU+8593NK-8293GI+9594FU-9382GI+3736FU (22 20) 13574k [3] (16.3s)
      others  +  -114 +3736FU-3436HI+0037FU-3666HI+6766GI-4445FU (12 21) 11176k [8] (16.3s)
    others  -   492 -2233KA+9594FU-9394FU+7473TO-7273KI+0093FU (22 19) 10450k [4] (16.3s)
        alt -   545 -5354FU+7473TO-3637TO+2837GI (14 18)
  others  +     0 +7785KE-3637TO+2837GI-8384FU+8593KE-8293GI (19 22) 25632k [1] (33.1s)
  +3736FU -     0 -3436HI+0037FU-3666HI+6766GI-4445FU+7574FU (29 21) 25296k [6] w0=6 (33.1s)
P1-OU-KE-KI *  *  *  * -KE-KY
P2-KY-GI-KI *  *  *  * -KA * 
P3-FU-FU-FU-FU-FU-GI * -FU-FU
P4 *  *  *  *  * -FU-HI *  * 
P5+FU * +FU+FU *  *  *  *  * 
P6 * +HI * +KA *  * -FU *  * 
P7 *  * +KE+GI+FU+FU+FU+FU+FU
P8 *  *  *  *  *  * +OU+GI * 
P9+KY *  * +KI * +KI * +KE+KY
P+00FU
+
