2015-05-05T13:31:14.548298 status=3 elapsed 8033 msec-max 8000
root - -10161 -5546KA+0015GI-4657UM+3523NK-5735UM+2616OU-0025GI (7 2) 28040k 6.8s (5.8s)
  -5546KA + -10161 +0015GI-4657UM+3523NK-5735UM+2616OU-0025GI (6 1) 5270k 7.8s (7.8s)
    others  + -10161 +0015GI-4657UM+3523NK-5735UM+2616OU-0025GI (6 16) 3846k [6] w0=6 (7.8s)
    +2616OU - -29990 -1314FU+0091GI-8293OU+9182GI-9382OU+2726FU (8 1) 1423k solved 7.8s (7.8s)
  -4783UM + -6491 +0025GI-4436KE+3736FU-6869RY+8687HI-6939RY (14 1) 21788k 5.8s (5.8s)
    others  + -6491 +0025GI-4436KE+3736FU-6869RY+8687HI-6939RY (14 11) 1944k [2] w0=2 (5.8s)
        alt + -6299 +8687HI-6878RY+7686KI-8329UM (12 10)
    +7574FU - -7081 -7374FU+3645GI-6869RY+0085GI-0033KE+4534GI (12 14) 5105k [3] w0=3 (5.8s)
    +3645GI - -7690 -2233KI+1716FU-3324KI+0036GI-8329UM+1615FU (14 1) 14738k 5.8s (5.8s)
      -2233KI + -7690 +1716FU-3324KI+0036GI-8329UM+1615FU-2919UM (13 12) 2999k [8] w0=8 w1=11 (5.8s)
      -6869RY + -7537 +7574FU-6939RY+4544GI-5544KA+0033GI-3133KY (12 1) 8955k 6.8s (6.8s)
        others  + -7537 +7574FU-6939RY+4544GI-5544KA+0033GI-3133KY (12 13) 5390k [9] w0=9 (6.8s)
            alt + -7181 +0042GI-0014KE+2616OU-3135KY (16 12)
        +3938GI - -7747 -2233KI+0074GI-7374FU+1716FU-5546KA+3523NK (11 15) 3564k [4] w0=4 (6.8s)
      others  - -6961 -2324FU+7574FU-6374KI+0034GI-3134KY+4534GI (15 13) 2783k [10] w0=10 (5.8s)
    +3543NK - -29980 -0034KE+2625OU-2324FU+2524OU-0015GI+2425OU (19 0) 0k solved (5.8s)
  others  - -5539 -0015GI+2615OU-4783UM+3645GI-6869RY+3543KE (17 13) 4991k [1] w0=1 (6.8s)
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+GI+OU * 
P7 *  *  *  *  * -UM+FU+FU+FU
P8 *  *  * -HI *  *  *  *  * 
P9 *  *  *  *  *  * +GI+KE+KY
P+00GI
P-00GI00FU00FU00FU00FU00FU00FU
-
