2015-05-05T13:30:17.065643 status=4 elapsed 17448 msec-max 8000
root + -7647 +0035KE-0024KE+3626OU-5847UM+0083KE-4783UM+0025GI-5546KA+3736FU-1314FU+1716FU-8329UM+8687HI-2939UM+0037GI-4655KA+7574FU-7374FU+3543NK-0072GI (20 3) 30689k 17.3s (7.3s)
  +0035KE - -7647 -0024KE+3626OU-5847UM+0083KE-4783UM+0025GI (19 2) 28887k 17.3s (7.3s)
    -0024KE + -7647 +3626OU-5847UM+0083KE-4783UM+0025GI-5546KA (18 1) 5554k [4] 9.3s (9.3s)
      +3626OU - -7647 -5847UM+0083KE-4783UM+0025GI-5546KA+3736FU (17 21) 5460k [2] w0=2 (9.3s)
      others  + -29986 +3625OU-5847UM+0036GI-0014GI+2526OU-4736UM (11 17) 94k [6] w0=6 (9.3s)
    -0044KE + -6815 +3626OU-5847UM+0083KE-4783UM+0057GI-8347UM (17 2) 8521k 7.3s (7.3s)
      +3626OU - -6815 -5847UM+0083KE-4783UM+0057GI-8347UM+0036GI (16 1) 7136k 7.3s (7.3s)
        -5847UM + -6815 +0083KE-4783UM+0057GI-8347UM+0036GI-4757UM (15 12) 4294k [5] w0=5 w1=11 (7.3s)
            alt + -6882 +0083KE-4783UM+0077GI-6869RY (10 12)
            alt + -7017 +0036GI-4436KE+3736FU-0015GI (8 12)
        others  - -2233 -1314FU+0083KE-9182OU+8684HI-5876UM+8371NK (29 14) 2841k [4] w0=4 (7.3s)
      others  + -29972 +3625OU-5847UM+0036GI-0024GI+2516OU-4436KE (17 25) 1386k [3] w0=3 (7.3s)
    -3135KY + -6652 +3626OU-5847UM+0083KE-4783UM+2635OU-6864RY (10 1) 8797k 9.3s (9.3s)
      others  + -6652 +3626OU-5847UM+0083KE-4783UM+2635OU-6864RY (10 15) 8797k [7] w0=7 (9.3s)
      +3635OU - -29984 -5544KA+3544OU-6864RY+4443OU-5876UM+8676HI (15 0) 0k solved 9.3s (9.3s)
    others  - -4810 -5876UM+0083KE-9182OU+8371NK-7686UM+0045KI (19 15) 6013k [9] w0=9 (7.3s)
  others  + -8782 +0034KE-3134KY+0035GI-3435KY+3635OU-5847UM (14 20) 5732k [8] (9.3s)
  +0035GI - -29972 -3135KY+3625OU-5847UM+0036KE-4736UM+3736FU (27 0) 0k solved 9.4s (9.4s)
P1-OU * -KI-FU *  * -KY * -KY
P2-FU *  *  *  *  *  * -KI * 
P3 *  * -FU-KI-FU *  * -FU-FU
P4 * -FU *  *  *  *  *  *  * 
P5-KY * +FU * -KA *  *  *  * 
P6 * +HI+KI *  * +FU+OU *  * 
P7 *  *  *  *  * +GI+FU+FU+FU
P8 *  *  * -HI-UM *  *  *  * 
P9 *  *  *  *  *  * +GI+KE+KY
P+00GI00GI00KE00KE
P-00KE00FU00FU00FU00FU00FU00FU
+
