2015-05-05T11:38:01.864898 status=4 elapsed 17598 msec-max 8000
root +  2613 +7787OU-0086FU+8798OU-8687TO+9887OU-0086FU+8798OU-8687TO+9887OU-7677TO+8777OU-0076FU+7787OU-6978UM+5678UM-0086FU+8798OU-8574GI+6574KI-7262OU+0095KA-0073KE+7463KI-6263OU+3342NK-6374OU+0063GI-7475OU+0064GI (29 6) 91267k 44.3s (8.4s)
  +7787OU -  2613 -0086FU+8798OU-8687TO+9887OU-0086FU+8798OU (28 5) 45546k 44.3s (8.4s)
    -0086FU +  2613 +8798OU-8687TO+9887OU-0086FU+8798OU-8687TO (27 4) 20944k [4] 9.4s (8.4s)
      +8798OU -  2613 -8687TO+9887OU-0086FU+8798OU-8687TO+9887OU (26 3) 13863k 8.4s (8.4s)
        -8687TO +  2613 +9887OU-0086FU+8798OU-8687TO+9887OU-7677TO (25 2) 10445k 9.4s (9.4s)
          +9887OU -  2613 -0086FU+8798OU-8687TO+9887OU-7677TO+8777OU (24 1) 11444k 9.4s (9.4s)
            others  -  2613 -0086FU+8798OU-8687TO+9887OU-7677TO+8777OU (24 15) 5437k [7] (9.4s)
            -7677TO +  3168 +8777OU-0076FU+7787OU-0086FU+8798OU-8687TO (28 1) 6163k 9.4s (9.4s)
              +8777OU -  3168 -0076FU+7787OU-0086FU+8798OU-8687TO+9887OU (27 13) 6163k [8] (9.4s)
        others  -  3421 -7283OU+6271NG-8687TO+9887OU-0086FU+8798OU (26 14) 3395k [5] (8.4s)
            alt -  3292 -4232KI+6271NG-7273OU+3332NK (19 13)
        -4151KI + 29975 +6271NG-7271OU+0072GI-7172OU+0082HI-7261OU (9 7) 22k [9] solved (8.4s)
      others  +  1150 +8788OU-6878KI+5678UM-8574GI+3342NK-6978UM (30 15) 7080k [6] (9.4s)
    others  -  2940 -0086FU+8798OU-7283OU+6271NG-8394OU+0075GI (22 16) 26320k [3] (44.3s)
  +7788OU -  2314 -6878KI+5678UM-0087FU+7887UM-6987UM+8887OU (16 1) 48052k 26.1s (26.1s)
    others  -  2314 -6878KI+5678UM-0087FU+7887UM-6987UM+8887OU (16 15) 7772k [10] w0=10 (26.1s)
    -7283OU +  3222 +6271NG-6979UM+8887OU-0086FU+8798OU-8394OU (25 16) 23798k [2] w0=2 (26.1s)
    -6979UM +  3424 +8898OU-0086KE+9887OU-7677TO+7877FU-7969UM (27 15) 16482k [1] w0=1 (26.1s)
P1-KY-KE-HI *  * -KI *  * -KY
P2 *  * -OU+GI * -KI *  *  * 
P3-FU *  * -FU *  * +NK+RY * 
P4 *  * +KE *  * +FU *  * -FU
P5 * -GI * +KI *  *  *  *  * 
P6 *  * -FU+FU+UM *  *  *  * 
P7+FU * +OU * +FU *  *  * +FU
P8 *  * +FU-KI *  *  *  *  * 
P9+KY+FU * -UM *  *  *  * +KY
P+00GI00GI00FU00FU00FU00FU
P-00KE00FU00FU00FU
+
