2015-05-04T15:00:18.970161 status=4 elapsed 37640 msec-max 38300
root +  1586 +0055KE-4333KI+6766KI-5455KY+6958OU-0054KE+6665KI-5446KE+5867OU-4638NK+2925HI-5557NY+6776OU-0024FU+2545HI-0044FU+0062HI-3332KI+7553UM-0042GI+5344UM-9944UM+4544HI-3837NK+6263RY-0053KA (26 2) 128810k 35.4s (14.9s)
  +0055KE -  1586 -4333KI+6766KI-5455KY+6958OU-0054KE+6665KI (25 1) 57786k 24.1s (14.9s)
    others  -  1586 -4333KI+6766KI-5455KY+6958OU-0054KE+6665KI (25 14) 5357k [9] (14.9s)
    -8979TO +  1760 +6979OU-0078FU+7978OU-6667GI+7867OU-9955UM (34 1) 24036k 17.0s (17.0s)
      +6979OU -  1760 -0078FU+7978OU-6667GI+7867OU-9955UM+2923RY (33 15) 9445k [8] (17.0s)
      others  +  1648 +6959OU-5455KY+2923RY-5557KY+5948OU-5758NY (19 16) 14591k [6] (17.0s)
    -0068FU +  2104 +6768KI-6675GI+5543KE-3122OU+0072HI-0032GI (35 2) 31447k 14.9s (14.9s)
      +6768KI -  2104 -6675GI+5543KE-3122OU+0072HI-0032GI+6958OU (34 1) 21411k 14.9s (14.9s)
        -6675GI +  2104 +5543KE-3122OU+0072HI-0032GI+6958OU-0076KA (33 16) 9623k [1] (14.9s)
        others  -  2600 -6657GI+5543KE-3122OU+0062HI-0052GI+6857KI (13 16) 11787k [5] (14.9s)
      others  +  1985 +6959OU-5455KY+2923RY-5557KY+5948OU-6675GI (21 15) 11336k [7] (14.9s)
    -6675GI + 29962 +5543KE-3132OU+0031KI-3243OU+2923RY-9933UM (37 0) 0k solved 25.1s (25.1s)
    -6667GI + 29974 +5543KE-3132OU+2923RY-3223OU+0015KE-2333OU (25 0) 0k solved (24.1s)
    -6667NG + 29976 +5543KE-3142OU+7553UM-4253OU+3745KE-5343OU (23 0) 0k solved (24.1s)
  +6958OU -   662 -6667NG+5867OU-0065KI+0015KE-0066GI+6758OU (24 17) 22369k [0] (35.4s)
  +7566KA -   611 -9966UM+2923RY-0078GI+6978OU-8988TO+7869OU (36 1) 44025k 36.4s (36.4s)
    -9966UM +   611 +2923RY-0078GI+6978OU-8988TO+7869OU-0078KA (35 19) 22052k [3] (36.4s)
    others  -  2755 -4333KI+0062HI-0042FU+0043KE-3132OU+0052GI (16 18) 21973k [2] (36.4s)
        alt -  2755 -0022FU+6699KA-8999TO+0065KA (22 18)
  others  +   573 +0015KE-6675GI+1523KE-3132OU+0047GI-0066FU (22 11) 4628k [4] (25.1s)
      alt +   381 +6968OU-5457NY+6757KI-9977UM (21 11)
      alt +   283 +0015KE-6675GI+1523KE-3132OU (14 10)
P1-KY *  *  *  * -KI-OU-KE-KY
P2 * +TO *  *  *  *  *  *  * 
P3 *  *  *  * -FU-KI * -GI-FU
P4-FU * +KI * -KY * -FU *  * 
P5 *  * +KA *  *  *  *  *  * 
P6 * +FU * -GI * +FU+FU *  * 
P7+FU *  * +KI+FU * +KE * +FU
P8 *  *  *  *  *  *  *  *  * 
P9-UM-TO * +OU *  *  * +HI+KY
P+00HI00GI00KE00KE00FU00FU00FU00FU00FU
P-00GI00FU
+
