2015-05-05T11:34:46.865320 status=4 elapsed 17697 msec-max 8000
root +   490 +0062GI-6172OU+7877KI-8677GI+6877GI-0068GI+7768GI-0069KI+7978OU-6968KI+7877OU-0076GI+7786OU-7685GI+8677OU-0076FU+7787OU-0086FU+8798OU-8687TO+9887OU-5869UM+0078FU-0086FU+8798OU-8687TO+9887OU-0086FU+8798OU-8687TO+9887OU-0086FU+8798OU-8687TO+9887OU-0095KE+8798OU-8574GI+6574KI-0086KE (40 1) 49527k 16.5s (8.3s)
  +0062GI -   490 -6172OU+7877KI-8677GI+6877GI-0068GI+7768GI (39 18) 10862k [8] w0=8 (16.5s)
  +7877KI -  -443 -8677NG+0062GI-6172OU+6271NG-7273OU+7172NG (24 3) 33562k 17.5s (8.3s)
    -8677NG +  -443 +0062GI-6172OU+6271NG-7273OU+7172NG-7384OU (23 2) 7798k [4] 9.3s (9.3s)
      +0062GI -  -443 -6172OU+6271NG-7273OU+7172NG-7384OU+0086HI (22 1) 4005k 9.3s (9.3s)
        -6172OU +  -443 +6271NG-7273OU+7172NG-7384OU+0086HI-0085GI (21 13) 4002k [5] (9.3s)
        others  - 29996 -6152OU+4443TO-4243KI (3 5) 2k [7] solved (9.3s)
      others  +  -964 +5634UM-6172OU+6877GI-0078FU+3478UM-0067KE (25 16) 3793k [1] (9.3s)
    others  -   708 -8677GI+0062GI-6172OU+6271NG-7273OU+6877GI (15 13) 2934k [2] (8.3s)
        alt -  2080 -4252KI+7786KI-0082KE+0072FU (10 13)
    -7174HI +  1891 +6574KI-0088GI+8988FU-8788TO+7988OU-0087FU (27 2) 14185k 9.4s (9.3s)
      +6574KI -  1891 -0088GI+8988FU-8788TO+7988OU-0087FU+8878OU (26 1) 6131k 9.4s (9.3s)
        others  -  1891 -0088GI+8988FU-8788TO+7988OU-0087FU+8878OU (26 14) 5704k [9] (9.3s)
            alt -  2333 -8677GI+0062GI-6162OU+7463KI (30 13)
        -8677NG + 29975 +0072GI-6172OU+7463KI-7263OU+3342NK-0033FU (15 11) 427k [3] solved (9.3s)
      others  +  1495 +0062GI-6162OU+6574KI-0073GI+7463KI-6263OU (19 15) 8053k [6] (9.3s)
    -0088GI +  2113 +8988FU-8788TO+7988OU-0087FU+8878OU-8788TO (30 3) 8643k 8.4s (8.4s)
      +8988FU -  2113 -8788TO+7988OU-0087FU+8878OU-8788TO+7888OU (29 2) 8631k 8.4s (8.4s)
        -8788TO +  2113 +7988OU-0087FU+8878OU-8788TO+7888OU-0087FU (28 1) 3147k 8.4s (8.4s)
          +7988OU -  2113 -0087FU+8878OU-8788TO+7888OU-0087FU+8878OU (27 14) 3147k [4] (8.4s)
              alt -  2299 -8677NG+6877GI-0087FU+8878OU (14 13)
        others  -  2333 -7174HI+6574KI-8788TO+7988OU-0087FU+8878OU (34 15) 5484k [3] (8.4s)
      others  + -29992 +7978OU-8877NG+6877GI-8677NG+7877OU (5 5) 11k [7] solved (8.4s)
  others  +  -894 +6877GI-8677GI+0062GI-6172OU+6271NG-7273OU (30 15) 5102k [10] (16.5s)
      alt + -1163 +5634UM-6172OU+7877KI-8677NG (18 14)
P1-KY-KE-HI-OU * -KI *  * -KY
P2 *  *  *  *  * -KI *  *  * 
P3-FU *  * -FU *  * +NK+RY * 
P4 *  * +KE *  * +FU *  * -FU
P5 *  *  * +KI *  *  *  *  * 
P6 * -GI * +FU+UM *  *  *  * 
P7+FU-FU-TO * +FU *  *  * +FU
P8 *  * +KI+GI-UM *  *  *  * 
P9+KY+FU+OU *  *  *  *  * +KY
P+00GI00FU00FU
P-00GI00KE00FU00FU00FU00FU00FU
+
