2015-05-04T10:44:44.182868 status=3 elapsed 8515 msec-max 8500
root + -3125 +0035GI-2414OU+1615KY-1415OU+0016FU-1716TO+5342UM-3242KI+2716GI-1916RY+3748OU-0075KA+0057KY-0029GI+3828KI-3435FU+9131RY-5546GI+4746FU-1626RY+0027FU (21 5) 35854k 20.6s (8.5s)
  +0035GI - -3125 -2414OU+1615KY-1415OU+0016FU-1716TO+5342UM (20 4) 26027k 21.7s (8.5s)
    -2414OU + -3125 +1615KY-1415OU+0016FU-1716TO+5342UM-3242KI (19 3) 34713k 21.7s (8.5s)
      +1615KY - -3125 -1415OU+0016FU-1716TO+5342UM-3242KI+2716GI (18 2) 6678k w1=11 21.7s (8.5s)
        -1415OU + -3125 +0016FU-1716TO+5342UM-3242KI+2716GI-1916RY (17 1) 7943k [8] 8.5s (8.5s)
          +0016FU - -3125 -1716TO+5342UM-3242KI+2716GI-1916RY+3748OU (16 13) 2647k [10] w0=10 (8.5s)
          others  + -3575 +5342UM-3142KI+9111RY-0014FU+0016FU-1716TO (14 14) 5295k [2] w0=2 (8.5s)
      others  + -5932 +3748OU-1727TO+1615KY-1415OU+5342UM-3242KI (20 15) 8336k [9] w0=9 (12.0s)
      +2513NK - -6627 -1413OU+0014FU-1322OU+1413TO-2213OU+3524GI (17 2) 19697k 12.0s (12.0s)
        -1413OU + -6627 +0014FU-1322OU+1413TO-2213OU+3524GI-2324FU (16 1) 21490k 12.0s (12.0s)
          others  + -6627 +0014FU-1322OU+1413TO-2213OU+3524GI-2324FU (16 13) 7615k [1] w0=1 (12.0s)
          +1615KY - -7242 -1322OU+1513NY-2213OU+0014FU-1312OU+1413TO (24 1) 13874k 12.0s (12.0s)
            -1322OU + -7242 +1513NY-2213OU+0014FU-1312OU+1413TO-1213OU (23 14) 5181k [4] w0=4 (12.0s)
                alt + -7116 +5344UM-4344FU+1513NY-2213OU (22 13)
            others  - -5152 -0014FU+1514KY-1322OU+1413NY-2213OU+0014FU (25 15) 8692k [3] w0=3 (12.0s)
    others  - 29996 -3435FU+5335UM-2414OU (3 5) 2k [4] solved (21.7s)
  others  + -3831 +5342UM-3142KI+0013GI-2414OU+1615KY-1415OU (19 12) 1381k [7] w0=7 (8.5s)
      alt + -4197 +3748OU-1727TO+0035GI-2414OU (22 11)
      alt + -4185 +5386UM-1727TO+3727OU-1916RY (11 12)
  +0013GI - -4348 -2414OU+1615KY-1415OU+0016FU-1514OU+1615FU (23 3) 8445k 8.5s (8.5s)
    -2414OU + -4348 +1615KY-1415OU+0016FU-1514OU+1615FU-1415OU (22 2) 10177k 8.5s (8.5s)
      +1615KY - -4348 -1415OU+0016FU-1514OU+1615FU-1415OU+0016FU (21 1) 3673k 8.5s (8.5s)
        -1415OU + -4348 +0016FU-1514OU+1615FU-1415OU+0016FU-1716TO (20 12) 3673k [5] w0=5 (8.5s)
            alt + -4132 +5342UM-3142KI+0016FU-1716TO (20 11)
      others  + -29978 +3635FU-1727TO+3727OU-0018KA+2737OU-0036KY (12 15) 6503k [6] w0=6 (8.5s)
  +0059FU - -29976 -0028GI+3748OU-0037KA+3837KI-2837NG+4858OU (23 0) 0k solved (20.6s)
P1+RY *  *  *  *  * -KI *  * 
P2 *  *  *  *  * -KY-KI *  * 
P3-FU * -KE-FU+KA-FU * -FU * 
P4 *  *  *  * -FU * -FU-OU * 
P5 * -FU *  * -GI *  * +KE-FU
P6 *  *  *  *  * +KY+FU+FU+KY
P7+FU+FU * +KI * +FU+OU+GI-TO
P8 *  * +FU *  *  * +KI *  * 
P9 *  *  *  *  *  *  *  * -RY
P+00GI00FU
P-00KA00GI00KE00KE00KY00FU00FU
+
