2015-05-04T14:14:55.695959 status=3 elapsed 8531 msec-max 8500
root + 29965 +4838OU-0073KI+5251TO-6251GI+8472NK-6172OU+1151RY-7282OU+8594UM-7372KI+0071KI-7271KI+0083GI (13 22) 10206k 24.2s (7.0s)
  +4838OU - 29965 -0073KI+5251TO-6251GI+8472NK-6172OU+1151RY (12 21) 2194k [6] sub 8.3s (7.0s)
    others  -  8075 -6171OU+8594UM-0061KI+5251TO-6251GI+8472NK (16 18) 1591k [3] w0=3 (7.0s)
    -0073KI + 29972 +5251TO-6251GI+0052GI-6171OU+1151HI-7182OU (27 0) 0k solved 8.3s (8.3s)
    -7273KI + 29976 +1151RY-6251GI+5251TO-6151OU+0052GI-5162OU (23 0) 0k solved 7.0s (7.0s)
  +2738GI -  9450 -0073KI+5251TO-6251GI+0052GI-6171OU+1151RY (14 1) 3099k [10] 8.3s (8.3s)
    others  -  9450 -0073KI+5251TO-6251GI+0052GI-6171OU+1151RY (14 17) 3099k [9] w0=9 (8.3s)
    -0021KI + 29984 +5251TO-6251GI+8472NK-6172OU+0063GI-7282OU (15 0) 0k solved 8.3s (8.3s)
  others  +  6191 +4858OU-6171OU+5251TO-0048KI+5857OU-7283KI (12 14) 4912k [6] w0=6 (8.3s)
P1 * -KE * -OU-GI *  *  * +HI
P2 *  * -KI-GI+FU *  * -KI * 
P3 *  *  *  * -FU *  * -KE-FU
P4-KY+KE * -GI * -FU+FU *  * 
P5-FU+UM+FU *  *  * -FU *  * 
P6 *  *  * +FU * +KE * +HI+KY
P7+FU+FU * +KI * +FU * +GI * 
P8 *  *  *  *  * +OU-NY *  * 
P9-UM *  *  * +KY *  *  *  * 
P+00FU00FU00FU00FU00FU00FU
P-00KI
+
