2015-05-05T11:37:26.514524 status=4 elapsed 17447 msec-max 8000
root +  2537 +0078FU-7677TO+8777OU-7283OU+6271NG-0076FU+7787OU-0086FU+8798OU-8394OU+0075GI-0084KE+3342NK-8687TO+9887OU-0086FU+8798OU-8687TO+9887OU-0086FU+8798OU-6878KI+0083GI-9495OU+7584GI-9584OU+0075KI-8495OU+7585KI-9585OU+0096GI (31 4) 35706k 58.9s (9.0s)
  +0078FU -  2537 -7677TO+8777OU-7283OU+6271NG-0076FU+7787OU (30 3) 35653k [10] 26.9s (9.0s)
    -7677TO +  2537 +8777OU-7283OU+6271NG-0076FU+7787OU-0086FU (29 2) 21582k 9.3s (9.0s)
      +8777OU -  2537 -7283OU+6271NG-0076FU+7787OU-0086FU+8798OU (28 1) 21937k 9.3s (9.0s)
        others  -  2537 -7283OU+6271NG-0076FU+7787OU-0086FU+8798OU (28 15) 6628k [6] w0=6 (9.3s)
        -0076FU +  2709 +7787OU-0086FU+8798OU-7283OU+6271NG-8394OU (23 2) 15309k 9.0s (9.0s)
          +7787OU -  2709 -0086FU+8798OU-7283OU+6271NG-8394OU+0075GI (22 1) 9693k 9.0s (9.0s)
            others  -  2709 -0086FU+8798OU-7283OU+6271NG-8394OU+0075GI (22 14) 5601k [3] w0=3 (9.0s)
                alt -  3027 -6978UM+5678UM-0086FU+8798OU (16 13)
            -0086FU +  2790 +8798OU-8687TO+9887OU-7677TO+8777OU-0076FU (37 15) 4092k [4] w0=4 (9.0s)
          others  +  2022 +7788OU-6878KI+5678UM-0087FU+7887UM-6987UM (24 13) 5615k [8] w0=8 (9.0s)
    others  -  2735 -6978UM+5678UM-0086FU+8798OU-8574GI+6271NG (32 14) 3738k [9] w0=9 (9.2s)
    -0086FU +  3241 +8798OU-7283OU+6271NG-8394OU+6575KI-8687TO (23 1) 10332k [4] 9.3s (9.3s)
      +8798OU -  3241 -7283OU+6271NG-8394OU+6575KI-8687TO+9887OU (22 13) 4228k [5] w0=5 (9.3s)
      others  +  1057 +8788OU-6878KI+5678UM-8574GI+7869UM-7465GI (22 13) 6103k [2] w0=2 (9.3s)
  +0078GI - -29988 -6978UM+5678UM-0086FU+8798OU-0087GI+7887UM (11 1) 21k solved 9.0s (9.0s)
  others  + -29990 +0078GI-7677TO+8777OU-6878KI+5678UM-0076GI (7 8) 31k [3] solved (58.9s)
P1-KY-KE-HI *  * -KI *  * -KY
P2 *  * -OU+GI * -KI *  *  * 
P3-FU *  * -FU *  * +NK+RY * 
P4 *  * +KE *  * +FU *  * -FU
P5 * -GI * +KI *  *  *  *  * 
P6 *  * -FU+FU+UM *  *  *  * 
P7+FU+OU *  * +FU *  *  * +FU
P8 *  *  * -KI *  *  *  *  * 
P9+KY+FU * -UM *  *  *  * +KY
P+00GI00GI00FU00FU00FU00FU
P-00KE00FU00FU00FU00FU
+
