2015-05-05T16:22:05.820478 status=4 elapsed 24654 msec-max 8000
root -   964 -0067FU+6878KI-0041FU+3141RY-5251KI+4151RY-6151KI+8191KI-7365KE+6674KE-8574UM+0063GI-7263GI+6463TO-7463UM+0092KI-9394OU+9796FU-6557NK+9695FU-9485OU (21 1) 92072k 24.6s (15.3s)
  others  -   964 -0067FU+6878KI-0041FU+3141RY-5251KI+4151RY (21 15) 6617k [6] (16.4s)
      alt -  1064 -7465GI+0074FU-8576UM+7976KY (23 15)
      alt -   964 -0067FU+6878KI-0041FU+3141RY (21 14)
  -0067FU +   964 +6878KI-0041FU+3141RY-5251KI+4151RY-6151KI (20 15) 3308k [6] NC sub
  -0041FU +  1041 +3141RY-6151KI+4151RY-5251KI+8191KI-0067FU (22 1) 30984k 24.6s (24.6s)
    +3141RY -  1041 -6151KI+4151RY-5251KI+8191KI-0067FU+6674KE (21 19) 16559k [1] (24.6s)
    others  +   649 +8191KI-0082GI+9796FU-9596FU+6674KE-8291GI (26 18) 14424k [2] (24.6s)
  -0059HI +  1212 +6674KE-8574UM+0082GI-9394OU+8191KI-7465UM (15 4) 64242k 15.3s (15.3s)
    +6674KE -  1212 -8574UM+0082GI-9394OU+8191KI-7465UM+0076FU (14 3) 33159k 16.4s (16.4s)
      -8574UM +  1212 +0082GI-9394OU+8191KI-7465UM+0076FU-8487KY (13 2) 18829k 16.4s (16.4s)
        +0082GI -  1212 -9394OU+8191KI-7465UM+0076FU-8487KY+8887UM (12 1) 8283k 16.4s (16.4s)
          -9394OU +  1212 +8191KI-7465UM+0076FU-8487KY+8887UM-5979RY (11 17) 8282k [4] (16.4s)
          others  - 29996 -9392OU+3161RY-7261GI (3 5) 1k [8] solved (16.4s)
        others  +   799 +3161RY-7261GI+0082GI-9394OU+8191KI-8487KY (24 19) 10545k [0] (16.4s)
      others  -  1610 -7281GI+3161RY-0072GI+6152RY-8574UM+0063GI (24 18) 14330k [7] (16.4s)
          alt -  1622 -7281GI+3161RY-0072GI+0082GI (12 17)
          alt -  1610 -0041FU+0082GI-9394OU+8191KI (28 18)
    others  +   935 +3161RY-7261GI+6674KE-8574UM+0082GI-9394OU (18 18) 8000k [9] (15.3s)
    +8191KI -   752 -0067FU+9796FU-9596FU+6674KE-6768TO+5768GI (12 17) 10037k [3] (15.3s)
    +9796FU -   727 -9596FU+8191KI-7365KE+6674KE-6557NK+9192KI (12 17) 13045k [5] (15.3s)
P1-KY+KI * -KI *  * +RY *  * 
P2 *  * -GI * -KI *  *  *  * 
P3-OU-FU-KE *  *  *  *  * -FU
P4 * -KY-GI+FU-FU *  *  *  * 
P5-FU-UM-FU *  *  *  *  *  * 
P6 *  *  * +KE+FU *  *  *  * 
P7+FU+FU *  * +GI *  *  * +FU
P8+KY+UM * +KI * +FU *  *  * 
P9+OU+KE+KY *  *  *  * +KE * 
P+00FU00FU00FU00FU00FU
P-00HI00GI00FU00FU
-
