2015-05-05T11:38:19.415522 status=4 elapsed 17548 msec-max 8000
root + 29990 +0073GI-8173KE+6273NG-7273OU+6574KI-7362OU+0054KE-6252OU+3342NK-4142KI+5442NK-5242OU+4443TO-4241OU (14 5) 19835k solved 8.2s (7.1s)
  +0073GI - 29990 -8173KE+6273NG-7273OU+6574KI-7362OU+0054KE (13 4) 176k solved 8.2s (7.1s)
  +6271NG -  2617 -7271OU+6574KI-6878KI+5678UM-0077GI+7877UM (26 3) 15482k 9.2s (9.2s)
    -7271OU +  2617 +6574KI-6878KI+5678UM-0077GI+7877UM-7677TO (25 2) 15888k 9.2s (9.2s)
      +6574KI -  2617 -6878KI+5678UM-0077GI+7877UM-7677TO+8877OU (24 1) 9918k 9.2s (9.2s)
        -6878KI +  2617 +5678UM-0077GI+7877UM-7677TO+8877OU-0076FU (23 13) 4146k [10] (9.2s)
        others  -  2748 -0077GI+8887OU-6978UM+5678UM-7778GI+8786OU (24 12) 5772k [9] (9.2s)
      others  +  1496 +0082GI-7182OU+6574KI-6878KI+8887OU-7677TO (27 14) 5969k [3] (9.2s)
    others  - 29992 -7273OU+0072HI-7384OU+7274RY-8495OU+7476RY (8 5) 10k [6] solved (9.2s)
  others  +  1208 +6271GI-0085KE+8887OU-8577NK+8796OU-0084KE (17 10) 4176k [8] (8.2s)
      alt +  1154 +3342NK-6979UM+8887OU-7677TO (21 10)
      alt +  1208 +6271GI-0085KE+8887OU-8577NK (17 9)
P1-KY-KE-HI *  * -KI *  * -KY
P2 *  * -OU+GI * -KI *  *  * 
P3-FU *  * -FU *  * +NK+RY * 
P4 *  * -GI *  * +FU *  * -FU
P5 *  *  * +KI *  *  *  *  * 
P6 *  * -FU+FU+UM *  *  *  * 
P7+FU *  *  * +FU *  *  * +FU
P8 * +OU+FU-KI *  *  *  *  * 
P9+KY+FU * -UM *  *  *  * +KY
P+00GI00GI00FU00FU00FU00FU
P-00KE00KE00FU00FU00FU
+
