2015-05-05T11:37:09.065740 status=4 elapsed 18148 msec-max 8000
root +  2409 +7787OU-5869UM+0078FU-0086FU+8798OU-8687TO+9887OU-0086FU+8798OU-8687TO+9887OU-0086FU+8798OU-8687TO+9887OU-6978UM+5678UM-0086FU+8798OU-8574GI+6271NG-7271OU+6574KI-6878KI+0082GI-7161OU+0071HI-6162OU+0095KA-6253OU+9586KA-5354OU+2325RY (33 4) 82297k 45.2s (9.4s)
  +7787OU -  2409 -5869UM+0078FU-0086FU+8798OU-8687TO+9887OU (32 3) 84750k 45.2s (9.4s)
    -5869UM +  2409 +0078FU-0086FU+8798OU-8687TO+9887OU-0086FU (31 2) 11040k 41.5s (9.4s)
      +0078FU -  2409 -0086FU+8798OU-8687TO+9887OU-0086FU+8798OU (30 1) 11009k [10] 9.4s (9.4s)
        -0086FU +  2409 +8798OU-8687TO+9887OU-0086FU+8798OU-8687TO (29 16) 5370k [4] w0=4 (9.4s)
        others  -  2477 -7677TO+8777OU-0076FU+7787OU-0086FU+8798OU (33 13) 5638k [9] w0=9 (9.4s)
            alt -  2094 -6978UM+5678UM-0086FU+8798OU (15 12)
      others  + -29990 +0078GI-7677TO+8777OU-6878KI+5678UM-0076GI (7 8) 31k [3] solved (41.5s)
    -0086FU +  2761 +8798OU-8687TO+9887OU-0086FU+8798OU-8687TO (45 17) 29947k [1] w0=1 (45.2s)
    others  -  2843 -0095KE+8798OU-9587NK+9887OU-0086FU+8798OU (30 14) 6320k [6] w0=6 (9.4s)
        alt -  2970 -7151HI+6251GI-0086FU+8798OU (26 13)
    -7677TO +  2899 +8777OU-6867KI+5667UM-0076FU+7778OU-0086KE (21 2) 10139k 9.4s (9.4s)
      +8777OU -  2899 -6867KI+5667UM-0076FU+7778OU-0086KE+7887OU (20 1) 10139k 9.4s (9.4s)
        others  -  2899 -6867KI+5667UM-0076FU+7778OU-0086KE+7887OU (20 14) 5042k [3] w0=3 (9.4s)
        -0076FU +  2991 +7788OU-6878KI+8878OU-7677TO+7877OU-0076FU (27 1) 5096k 9.4s (9.4s)
          +7788OU -  2991 -6878KI+8878OU-7677TO+7877OU-0076FU+7778OU (26 14) 3938k [5] w0=5 (9.4s)
              alt -  2813 -7283OU+6271NG-0087FU+8887OU (18 13)
          others  +   207 +7787OU-5869UM+0078FU-0086FU+8798OU-8687TO (25 12) 1157k [2] w0=2 (9.4s)
    -7283OU +  3435 +6271GI-0086FU+8798OU-8687TO+9887OU-0086FU (22 1) 27312k 18.1s (18.1s)
      others  +  3435 +6271GI-0086FU+8798OU-8687TO+9887OU-0086FU (22 15) 14911k [7] w0=7 (18.1s)
      +6271NG -  3122 -0086FU+8798OU-8687TO+9887OU-0086FU+8798OU (24 14) 12401k [8] w0=8 (18.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-FU+OU * +FU *  *  * +FU
P8 *  *  * -KI-UM *  *  *  * 
P9+KY+FU *  *  *  *  *  * +KY
P+00GI00GI00FU00FU00FU
P-00KE00FU00FU00FU00FU
+
