2015-05-04T16:04:53.841942 status=3 elapsed 15578 msec-max 59300
root +  1353 +6863RY-6263OU+0041KA-0052HI+4152UM-6352OU+0081HI-0075FU+7667GI-3222KI+5948OU-0032KA+8184RY-7484KI+4673UM-7576FU+7384UM-7677TO+7877KI-0045KE+0083GI-0027HI+8392GI-2729RY+0062HI-5241OU+6261RY-4142OU+8451UM-4243OU (30 3) 131541k 43.3s (14.5s)
  +6863RY -  1353 -6263OU+0041KA-0052HI+4152UM-6352OU+0081HI (29 2) 53272k [4] 25.3s (14.5s)
    -6263OU +  1353 +0041KA-0052HI+4152UM-6352OU+0081HI-0075FU (28 1) 31815k 25.3s (25.3s)
      +0041KA -  1353 -0052HI+4152UM-6352OU+0081HI-0075FU+7667GI (27 19) 13387k [5] w0=5 (25.3s)
      others  +  1140 +2524FU-0089HI+5948OU-3231KI+2423TO-8969RY (29 18) 18427k [1] w0=1 (25.3s)
    -6251OU + 29979 +0052KA-5142OU+6361RY-3322GI+6141RY-4233OU (10 1) 23663k solved 14.5s (14.5s)
  +7271TO -  1134 -0064FU+4664KA-0075FU+6475KA-7475KI+7675GI (24 1) 66493k 24.3s (24.3s)
    -0064FU +  1134 +4664KA-0075FU+6475KA-7475KI+7675GI-8475GI (23 20) 18138k [6] w0=6 (24.3s)
    others  -  1146 -3242KI+7785KE-7385KE+0075FU-0067FU+6867HI (11 18) 10379k [10] w0=10 (24.3s)
    -6252OU +  1177 +6863RY-5263OU+0041KA-9252HI+7785KE-3242KI (19 1) 37975k 25.3s (25.3s)
      +6863RY -  1177 -5263OU+0041KA-9252HI+7785KE-3242KI+8573NK (18 19) 18948k [2] w0=2 (25.3s)
      others  +  1163 +2524FU-2324FU+6863RY-5263OU+0041KA-9252HI (35 21) 19026k [3] w0=3 (25.3s)
  others  +   745 +7785KE-0067FU+8573NK-8473GI+6867HI-0064FU (32 18) 17883k [7] w0=7 (25.3s)
P1-KY *  *  *  *  *  * -KE-KY
P2-HI * +FU-OU *  * -KI *  * 
P3-FU * -KE-KA-FU * -GI-FU-FU
P4 * -GI-KI *  * -FU-FU *  * 
P5 * -FU *  *  *  *  * +FU * 
P6 *  * +GI *  * +KA+FU *  * 
P7+FU+FU+KE * +FU+FU+GI * +FU
P8 *  * +KI+HI *  *  *  *  * 
P9+KY *  *  * +OU+KI * +KE+KY
P-00FU00FU00FU
+
