2015-05-05T10:41:52.918784 status=3 elapsed 6397 msec-max 6350
root +  -256 +0013GI-1213KY+1413TO-2113KE+0014FU-2324FU+1413TO-2213OU+0014FU-1314OU+0058KE-4657RY+5866KE-5766RY+0039KY-3839NG (16 2) 45621k 19.3s (6.3s)
  +0013GI -  -256 -1213KY+1413TO-2113KE+0014FU-2324FU+1413TO (15 1) 16108k 7.0s (7.0s)
    -1213KY +  -256 +1413TO-2113KE+0014FU-2324FU+1413TO-2213OU (14 14) 3685k [10] w0=10 (7.0s)
    -2113KE +  -206 +1413TO-1213KY+0014FU-2324FU+0058KE-4657RY (28 1) 14089k 8.0s (8.0s)
      +1413TO -  -206 -1213KY+0014FU-2324FU+0058KE-4657RY+5866KE (27 16) 6553k [3] w0=3 (8.0s)
      others  +  -638 +0011GI-2211OU+1413TO-1213KY+0014FU-1314KY (15 16) 7535k [8] w0=8 (8.0s)
          alt +  -759 +7454RY-5354FU+1413TO-1213KY (22 16)
    -2211OU + 29987 +1312NG-1112OU+0013KY-2113KE+1413TO-1213OU (11 6) 53k [7] solved (7.0s)
  +0013KY -  -304 -2324FU+1312NY-2212OU+0013KY-2113KE+7454RY (15 1) 27932k [5] 8.0s (6.3s)
    others  -  -304 -2324FU+1312NY-2212OU+0013KY-2113KE+7454RY (15 14) 4658k [9] w0=9 (6.3s)
    -5436KA +  -128 +1312NY-2212OU+0017KY-1222OU+1715KY-0012FU (16 2) 10689k 8.0s (8.0s)
      +1312NY -  -128 -2212OU+0017KY-1222OU+1715KY-0012FU+0013GI (15 1) 3975k 8.0s (8.0s)
        -2212OU +  -128 +0017KY-1222OU+1715KY-0012FU+0013GI-2113KE (14 14) 3975k [4] w0=4 (8.0s)
            alt +   -59 +0017KY-1222OU+1715KY-0012FU (14 13)
            alt +   -23 +0035FU-0073FU+7473RY-3647UM (17 13)
      others  +  -277 +0035FU-4635RY+1312NY-2212OU+0025GI-3625KA (19 16) 6714k [6] w0=6 (8.0s)
    -0024KY +  -121 +1312NY-2212OU+0018KY-5465KA+7465RY-6665NK (23 3) 12585k 6.3s (6.3s)
      +1312NY -  -121 -2212OU+0018KY-5465KA+7465RY-6665NK+1815KY (22 2) 7428k 6.3s (6.3s)
        -2212OU +  -121 +0018KY-5465KA+7465RY-6665NK+1815KY-3322GI (21 1) 7428k w1=11 6.3s (6.3s)
          others  +  -121 +0018KY-5465KA+7465RY-6665NK+1815KY-3322GI (21 13) 3407k [1] w0=1 (6.3s)
          +2625FU -  -247 -2425KY+0019KY-3324GI+1915KY-2415GI+0042FU (9 14) 4020k [5] w0=5 (6.3s)
      others  +  -221 +0042FU-4642RY+7454RY-5354FU+0075KA (5 14) 5156k [7] w0=7 (6.3s)
          alt +  -211 +3635FU-1213KY+1413TO-2213OU (13 13)
          alt +  -343 +7454RY-5354FU+0064KA-4657RY (18 14)
  others  +  -408 +7454RY-5354FU+0013KY-0024KY+0064KA-4648RY (16 16) 5869k [2] w0=2 (8.0s)
P1+TO *  *  *  * -FU-KI-KE * 
P2 *  *  *  *  *  * -KI-OU-KY
P3-FU *  *  * -FU * -GI-FU * 
P4 *  * +RY * -KA * -FU * +FU
P5 *  *  * +FU *  *  *  * -FU
P6+KA-FU * -NK * -RY+FU+FU * 
P7+FU *  *  * +FU *  *  *  * 
P8+OU+FU+KI *  *  * -NG *  * 
P9+KY+KE+FU *  *  *  *  *  * 
P+00KI00GI00GI00KY00FU00FU
P-00KE00KY
+
