2015-05-05T13:31:23.916269 status=4 elapsed 17401 msec-max 8000
root + -29986 +1716FU-4736UM+3736FU-0025GI+2625OU-0024GI+2526OU-2435GI+3635FU-4635KA+2637OU-0036FU+3747OU-0055KE (14 1) 11075k 17.2s (0.8s)
  +1716FU - -29986 -4736UM+3736FU-0025GI+2625OU-0024GI+2526OU (13 0) 0k solved 2.9s (2.9s)
  others  + -29988 +0093GI-9293FU+1716FU-4757UM+2617OU-4635KA (10 5) 206k [6] solved (2.9s)
  +0091GI - -29989 -8293OU+1716FU-4436KE+9182GI-7182KI+8684HI (12 2) 4217k 6.0s (0.8s)
    -8293OU + -29989 +1716FU-4436KE+9182GI-7182KI+8684HI-4635KA (11 1) 260k [5] 0.8s (0.8s)
      others  + -29986 +2616OU-4635KA+9182GI-9382OU+3647GI-0024KE (6 14) 168k [9] (0.8s)
      +1716FU - -29989 -4436KE+9182GI-7182KI+8684HI-4635KA+2615OU (10 5) 91k [8] solved (0.8s)
    -8283OU + -29976 +9182NG-7182KI+8684HI-8384OU+0085FU-8483OU (11 18) 1125k 7.0s (0.8s)
      +9182NG - -8341 -7182KI+8684HI-8384OU+3523NK-4736UM+3736FU (7 1) 658k 0.8s (0.8s)
        -7182KI + -8341 +8684HI-8384OU+3523NK-4736UM+3736FU-0025GI (6 9) 113k [4] (0.8s)
        others  - -7865 -8382OU+8684HI-8291OU+8444HI-0024GI+4424HI (11 12) 544k [6] (0.8s)
      +8684HI - -29979 -8384OU+0085FU-8483OU+8584FU-8384OU+3523NK (10 14) 510k [2] (7.0s)
      others  + -29990 +1716FU-0014KE+2617OU-4635KA+2726FU-3526KA (9 5) 24k [7] solved (0.8s)
    others  - -4894 -8272OU+8371NK-7271OU+0082KI-7162OU+8272KI (9 12) 3000k [3] (6.0s)
  +2616OU - -29990 -1314FU+0091GI-8293OU+9182GI-9382OU+2726FU (8 1) 1423k solved 17.2s (17.2s)
  +0025GI - -29992 -4635KA+2616OU-1314FU+2726FU-0015GI+1627OU (6 1) 5243k solved 3.9s (3.9s)
  +0015GI - -29999 -4657UM+3523NK-5735UM+2616OU-0025GI (5 4) 333k solved 8.0s (8.0s)
P1 *  * -KI-FU *  * -KY * -KY
P2-FU-OU *  *  *  *  * -KI * 
P3 * +KE-FU-KI-FU *  * -FU-FU
P4 * -FU *  *  * -KE *  *  * 
P5-KY * +FU *  *  * +KE *  * 
P6 * +HI+KI *  * -KA+GI+OU * 
P7 *  *  *  *  * -UM+FU+FU+FU
P8 *  *  * -HI *  *  *  *  * 
P9 *  *  *  *  *  * +GI+KE+KY
P+00GI
P-00GI00FU00FU00FU00FU00FU00FU00FU
+
