2015-05-05T10:39:26.068784 status=3 elapsed 8019 msec-max 8000
root +  -279 +6877GI-6667GI+0079GI-1969RY+2533NK-2133KE+0096KA-0085KE+0043KI-0054KA+7141RY-5465KA+0076FU-3243KI+4643NY-8577NK+7877KI-6979RY (18 2) 37617k 6.9s (5.8s)
  +6877GI -  -279 -6667GI+0079GI-1969RY+2533NK-2133KE+0096KA (17 1) 14324k 7.9s (7.9s)
    others  -  -279 -6667GI+0079GI-1969RY+2533NK-2133KE+0096KA (17 14) 3641k [9] w0=9 (7.9s)
    -6677NG +   -96 +2533NK-2133KE+7177RY-1949RY+0043GI-4946RY (24 1) 10689k 7.9s (7.9s)
      others  +   -96 +2533NK-2133KE+7177RY-1949RY+0043GI-4946RY (24 15) 7328k [8] w0=8 (7.9s)
      +7177RY -  -185 -1949RY+7786RY-0094KE+8676RY-0058KA+0067GI (12 13) 3360k [4] w0=4 (7.9s)
          alt -  -185 -0085KE+7772RY-0054KA+2533NK (12 13)
  +2533NK -  -398 -2133KE+6877GI-6667GI+0079KI-6778GI+7978KI (19 2) 18603k 5.8s (5.8s)
    -2133KE +  -398 +6877GI-6667GI+0079KI-6778GI+7978KI-0067KI (18 1) 14424k 6.9s (6.9s)
      others  +  -398 +6877GI-6667GI+0079KI-6778GI+7978KI-0067KI (18 16) 5224k [7] w0=7 (6.9s)
      +0043KI - -1218 -7778TO+4332KI-2213OU+7178RY-0095KE+0076GI (23 1) 9200k 6.9s (6.9s)
        others  - -1218 -7778TO+4332KI-2213OU+7178RY-0095KE+0076GI (23 16) 6497k [6] w0=6 (6.9s)
        -0054KA +   752 +4332KI-5432KA+0031KA-2231OU+0042KI-3122OU (21 14) 2702k [5] w0=5 (6.9s)
    others  -  2369 -2213OU+3332NK-0025KI+6877GI-6677NG+7177RY (13 14) 2556k [10] w0=10 (5.8s)
    -2233OU + 29961 +0044KA-3324OU+0025GI-2413OU+4411UM-8687TO (31 20) 2035k [3] w0=3 w1=11 (5.8s)
    -2212OU + 29980 +0013FU-1213OU+0022KA-3222KI+0014FU-1314OU (19 0) 0k solved (5.8s)
  others  + -1143 +7877KI-0075KE+2533NK-2133KE+7786KI-0078KI (22 13) 4690k [2] w0=2 (6.9s)
P1-KY * +HI *  * -FU * -KE-KY
P2 * +TO *  *  *  * -KI-OU * 
P3-FU *  *  * -FU * -KI-FU * 
P4 *  *  *  *  *  * -FU *  * 
P5 *  *  * +FU *  *  * +KE-FU
P6 * -FU * -GI * +KY+FU+FU * 
P7+FU * -FU * +FU *  *  *  * 
P8+OU+FU+KI+GI *  * -NG *  * 
P9+KY+KE *  *  *  *  *  * -RY
P+00KA00GI00FU00FU00FU
P-00KA00KI00KE
+
