2015-05-05T13:30:58.648292 status=3 elapsed 8031 msec-max 8000
root - -9498 -9182OU+0091GI-8283OU+0036GI-0034KE+2616OU-4736UM+3736FU-0015GI+1615OU-1314FU (11 3) 101153k 33.2s (8.0s)
  -9182OU + -9498 +0091GI-8283OU+0036GI-0034KE+2616OU-4736UM (10 2) 42408k 25.2s (17.1s)
    +0091GI - -9498 -8283OU+0036GI-0034KE+2616OU-4736UM+3736FU (9 1) 25297k 17.1s (17.1s)
      -8283OU + -9498 +0036GI-0034KE+2616OU-4736UM+3736FU-0015GI (8 20) 12770k [4] w0=4 (17.1s)
      others  - -7989 -8293OU+0036GI-5546KA+3647GI-4635KA+2616OU (7 17) 12526k [1] w0=1 (17.1s)
    +0036GI - -29975 -5546KA+2616OU-1314FU+0091GI-8293OU+9182GI (13 18) 16340k [5] w0=5 (25.2s)
    others  + -29980 +0034GI-3134KY+0036GI-4436KE+1716FU-5546KA (12 19) 770k [8] w0=8 (17.1s)
  -4783UM + -8277 +0043GI-1314FU+1716FU-5546KA+0034GI-0024GI (12 1) 36714k 33.2s (8.0s)
    others  + -8277 +0043GI-1314FU+1716FU-5546KA+0034GI-0024GI (12 17) 7368k [7] w0=7 (8.0s)
    +0025GI - -29974 -5546KA+3736FU-1314FU+1716FU-8329UM+8687HI (13 1) 26260k 17.1s (17.1s)
      -5546KA + -29974 +3736FU-1314FU+1716FU-8329UM+8687HI-4619UM (12 21) 11897k [2] w0=2 (17.1s)
      others  - -8837 -1314FU+1716FU-5546KA+3736FU-4619UM+8689HI (17 22) 14362k [3] w0=3 (17.1s)
    +0057GI - -29986 -0034KE+2616OU-0015GI+1625OU-2324FU+2515OU (13 0) 0k solved (33.2s)
    +0052GI - -29988 -1314FU+0066GI-0015GI (3 1) 3574k solved 8.0s (8.0s)
  others  - -6643 -9181OU+0036GI-4783UM+0025GI-5546KA+7685KI (11 16) 22030k [6] w0=6 (25.2s)
P1-OU * -KI-FU *  * -KY * -KY
P2-FU *  *  *  *  *  * -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
-
