2015-05-05T11:36:41.197279 status=3 elapsed 8030 msec-max 8000
root -  2250 -7685GI+8677OU-0076FU+7787OU-5869UM+0078FU-7283OU+6271NG-8394OU+0075GI-0086FU+8798OU-0084KE+7181NG-4233KI+2333RY-8687TO+9887OU-0086FU+8798OU-8687TO+9887OU (22 6) 84001k 35.2s (13.6s)
  -7685GI +  2250 +8677OU-0076FU+7787OU-5869UM+0078FU-7283OU (21 5) 59427k 35.2s (13.6s)
    +8677OU -  2250 -0076FU+7787OU-5869UM+0078FU-7283OU+6271NG (20 4) 49774k 15.4s (13.6s)
      -0076FU +  2250 +7787OU-5869UM+0078FU-7283OU+6271NG-8394OU (19 3) 27695k 17.3s (13.6s)
        +7787OU -  2250 -5869UM+0078FU-7283OU+6271NG-8394OU+0075GI (18 2) 28069k 17.3s (13.6s)
          -5869UM +  2250 +0078FU-7283OU+6271NG-8394OU+0075GI-0086FU (17 1) 5528k 13.6s (13.6s)
            +0078FU -  2250 -7283OU+6271NG-8394OU+0075GI-0086FU+8798OU (16 12) 5496k [10] w0=10 (13.6s)
                alt -  2276 -0086FU+8798OU-8687TO+9887OU (33 12)
            others  + -29990 +0078GI-7677TO+8777OU-6878KI+5678UM-0076GI (7 8) 31k [3] solved (13.6s)
          others  -  2387 -7283OU+6271NG-0086FU+8798OU-8394OU+0075GI (17 15) 10782k [6] w0=6 (13.6s)
              alt -  2438 -7677TO+8777OU-0076FU+7788OU (36 14)
          -0086FU +  2507 +8798OU-8687TO+9887OU-0086FU+8798OU-8687TO (39 16) 11759k [1] w0=1 (17.3s)
      others  -  2655 -6867KI+5667UM-0076FU+7778OU-0086KE+7887OU (18 14) 5552k [9] w0=9 (13.6s)
          alt -  2655 -6878KI+7778OU-0086KE+7877OU (30 14)
      -7151HI +  3549 +6251NG-0076FU+7787OU-0086FU+8798OU-8687TO (31 1) 15734k 13.6s (13.6s)
        others  +  3549 +6251NG-0076FU+7787OU-0086FU+8798OU-8687TO (31 15) 9504k [2] w0=2 (13.6s)
        +6251GI -  3439 -0076FU+7787OU-0086FU+8798OU-8687TO+9887OU (32 13) 6230k [4] w0=4 (13.6s)
      -8574GI + 29987 +0073GI-8173KE+6273NG-7273OU+6574KI-7362OU (14 2) 791k solved 14.4s (14.4s)
    others  + -29994 +8675OU-5876UM+7584OU (3 5) 1k [6] solved (35.2s)
    +8675OU - -29999 -5876UM+7584OU-0092KE (3 2) 9650k solved 17.3s (17.3s)
  -7151HI + 29983 +0073FU-8173KE+6273NG-7273OU+0062GI-7384OU (14 1) 21244k solved 25.6s (25.6s)
  others  - 29986 -7283OU+0084GI-8384OU+6575KI-8494OU+0095GI (13 12) 3329k [2] solved (25.6s)
P1-KY-KE-HI *  * -KI *  * -KY
P2 *  * -OU+GI * -KI *  *  * 
P3-FU *  * -FU *  * +NK+RY * 
P4 *  * +KE *  * +FU *  * -FU
P5 *  *  * +KI *  *  *  *  * 
P6 * +OU-GI+FU+UM *  *  *  * 
P7+FU-FU *  * +FU *  *  * +FU
P8 *  *  * -KI-UM *  *  *  * 
P9+KY+FU *  *  *  *  *  * +KY
P+00GI00GI00FU00FU00FU
P-00KE00FU00FU00FU00FU00FU
-
