2015-05-05T13:31:06.512985 status=4 elapsed 15896 msec-max 8000
root + -29975 +0036GI-5546KA+2616OU-1314FU+0091GI-8293OU+9182GI-9382OU+1918KY-4783UM+3543NK-4436KE+3736FU-0015GI (14 1) 24561k 33.1s (3.4s)
  +0036GI - -29975 -5546KA+2616OU-1314FU+0091GI-8293OU+9182GI (13 18) 16340k [5] w0=5 (33.1s)
  others  + -29980 +0034GI-3134KY+0036GI-4436KE+1716FU-5546KA (12 19) 770k [8] (25.0s)
  +0091GI - -29988 -8283OU+0036GI-4736UM+3736FU-0034KE+2616OU (13 2) 14211k 25.0s (3.4s)
    -8283OU + -29988 +0036GI-4736UM+3736FU-0034KE+2616OU-0015GI (12 1) 436k [4] 7.7s (3.4s)
      others  + -29982 +9182NG-7182KI+0094GI-8394OU+8684HI-9484OU (8 14) 75k [6] (3.4s)
      +0036GI - -29988 -4736UM+3736FU-0034KE+2616OU-0015GI+1615OU (11 0) 0k solved 7.7s (7.7s)
      +1716FU - -29991 -4725UM+2625OU-0024GI+2526OU-2435GI+2625OU (6 1) 360k solved 3.5s (3.4s)
    -8293OU + -10567 +0094GI-9394OU+1716FU-5546KA+7685KI-8485FU (16 1) 8149k 7.7s (6.5s)
      others  + -10567 +0094GI-9394OU+1716FU-5546KA+7685KI-8485FU (16 23) 4179k [3] (6.5s)
      +0036GI - -29984 -5546KA+2616OU-1314FU+9182GI-9382OU+3647GI (7 1) 8264k 7.7s (7.7s)
        -5546KA + -29984 +2616OU-1314FU+9182GI-9382OU+3647GI-0015GI (6 14) 1043k [2] (7.7s)
        others  - -7104 -4783UM+7574FU-0034KE+2616OU-4436KE+3543NK (16 15) 7220k [7] (7.7s)
      +1716FU - -29990 -4725UM+2617OU-2535UM+2726FU-3526UM+1726OU (9 0) 0k solved 6.5s (6.5s)
    others  - -6764 -8281OU+8371NK-8171OU+0036GI-0034KE+2616OU (21 14) 5625k [1] (7.7s)
        alt - -6394 -8272OU+0036GI-4783UM+3645GI (15 14)
P1 *  * -KI-FU *  * -KY * -KY
P2-FU-OU *  *  *  *  * -KI * 
P3 * +KE-FU-KI-FU *  * -FU-FU
P4 * -FU *  *  * -KE *  *  * 
P5-KY * +FU * -KA * +KE *  * 
P6 * +HI+KI *  * +FU * +OU * 
P7 *  *  *  *  * -UM+FU+FU+FU
P8 *  *  * -HI *  *  *  *  * 
P9 *  *  *  *  *  * +GI+KE+KY
P+00GI00GI
P-00GI00FU00FU00FU00FU00FU00FU
+
