2015-05-05T11:36:50.915208 status=4 elapsed 17748 msec-max 8000
root +  2386 +8677OU-0076FU+7787OU-5869UM+0078FU-0086FU+8798OU-8687TO+9887OU-7677TO+8777OU-0076FU+7787OU-6978UM+5678UM-0086FU+8798OU-8574GI+6271NG-7271OU+6574KI-0087GI+7887UM-8687TO+9887OU-0078KA+8786OU-7823UM+0072FU-7172OU+0083GI (31 5) 105882k 45.0s (9.6s)
  +8677OU -  2386 -0076FU+7787OU-5869UM+0078FU-0086FU+8798OU (30 4) 89770k 25.1s (9.6s)
    -0076FU +  2386 +7787OU-5869UM+0078FU-0086FU+8798OU-8687TO (29 3) 41455k 27.1s (23.3s)
      +7787OU -  2386 -5869UM+0078FU-0086FU+8798OU-8687TO+9887OU (28 2) 41455k 27.1s (23.3s)
        -5869UM +  2386 +0078FU-0086FU+8798OU-8687TO+9887OU-7677TO (27 1) 9856k 23.3s (23.3s)
          +0078FU -  2386 -0086FU+8798OU-8687TO+9887OU-7677TO+8777OU (26 14) 9825k [10] w0=10 (23.3s)
              alt -  2292 -7283OU+6271NG-8394OU+0095GI (8 13)
          others  + -29990 +0078GI-7677TO+8777OU-6878KI+5678UM-0076GI (7 8) 31k [3] solved (23.3s)
        others  -  2459 -7283OU+6271NG-0086FU+8798OU-8394OU+0075GI (16 16) 15571k [6] w0=6 (23.3s)
        -0086FU +  2692 +8798OU-8687TO+9887OU-0086FU+8798OU-8687TO (37 16) 16026k [1] w0=1 (27.1s)
    -6867KI +  2774 +5667UM-0076FU+7778OU-8788TO+8988FU-0086KE (21 2) 10070k 9.6s (9.6s)
      +5667UM -  2774 -0076FU+7778OU-8788TO+8988FU-0086KE+7887OU (20 1) 10765k 9.6s (9.6s)
        -0076FU +  2774 +7778OU-8788TO+8988FU-0086KE+7887OU-7677TO (19 15) 4277k [5] w0=5 (9.6s)
        others  -  2932 -5867UM+7767OU-8574GI+6271NG-7271OU+6574KI (27 14) 6487k [3] w0=3 (9.6s)
      others  + -29994 +7787OU-5869UM+8798OU (3 5) 4k [7] solved (9.6s)
    others  -  2873 -7283OU+6271GI-0076FU+7787OU-0086FU+8798OU (26 14) 5595k [9] w0=9 (9.6s)
    -7151HI +  4170 +6251NG-0076FU+7787OU-0086FU+8798OU-8687TO (34 1) 31857k 23.3s (23.3s)
      others  +  4170 +6251NG-0076FU+7787OU-0086FU+8798OU-8687TO (34 15) 19007k [2] w0=2 (23.3s)
      +6251GI -  3811 -0076FU+7787OU-0086FU+8798OU-8687TO+9887OU (32 13) 12850k [4] w0=4 (23.3s)
    -8574GI + 29987 +0073GI-8173KE+6273NG-7273OU+6574KI-7362OU (14 2) 791k solved 24.1s (24.1s)
  others  + -29994 +8675OU-5876UM+7584OU (3 5) 1k [6] solved (45.0s)
  +8675OU - -29999 -5876UM+7584OU-0092KE (3 2) 16110k solved 27.1s (27.1s)
P1-KY-KE-HI *  * -KI *  * -KY
P2 *  * -OU+GI * -KI *  *  * 
P3-FU *  * -FU *  * +NK+RY * 
P4 *  * +KE *  * +FU *  * -FU
P5 * -GI * +KI *  *  *  *  * 
P6 * +OU * +FU+UM *  *  *  * 
P7+FU-FU *  * +FU *  *  * +FU
P8 *  *  * -KI-UM *  *  *  * 
P9+KY+FU *  *  *  *  *  * +KY
P+00GI00GI00FU00FU00FU
P-00KE00FU00FU00FU00FU00FU
+
