2015-05-04T16:15:30.258121 status=4 elapsed 26248 msec-max 94300
root -  6940 -8475GI+0044HI-0064KE+4441RY-5262HI+0092KA-0074FU+9281UM-7365KE+8182UM-6895UM+5565KI-5756NK+6756GI (14 3) 65846k [4] 33.9s (4.9s)
  -8475GI +  6940 +0044HI-0064KE+4441RY-5262HI+0092KA-0074FU (13 2) 21381k 31.6s (4.9s)
    +0044HI -  6940 -0064KE+4441RY-5262HI+0092KA-0074FU+9281UM (12 1) 3405k [5] 7.7s (7.7s)
      others  -  6940 -0064KE+4441RY-5262HI+0092KA-0074FU+9281UM (12 13) 2430k [3] w0=3 (7.7s)
          alt -  6433 -5354FU+4443RY-6374OU+0092KA (8 12)
      -0062KE + 29969 +0064KI-6372OU+4441RY-7564GI+5564KI-7283OU (13 20) 975k [1] solved (7.7s)
    +0083KA -  6296 -5767NK+0074KI-6362OU+0063HI-6251OU+6367RY (30 17) 10438k [8] sub 7.7s (7.7s)
      others  -  6759 -0074FU+0044HI-5747NK+8374UM-6372OU+4441RY (14 13) 4549k [7] w0=7 (7.7s)
      -5767NK + 29978 +0064FU-6362OU+0063KI-6251OU+6352KI-4152KI (21 0) 0k solved 7.7s (7.7s)
    +6766GI -  5878 -0027KE+3928OU-5747NK+6675GI-6362OU+0063GI (21 2) 6438k 5.0s (5.0s)
      -0027KE +  5878 +3928OU-5747NK+6675GI-6362OU+0063GI-6251OU (20 1) 3745k 5.0s (5.0s)
        +3928OU -  5878 -5747NK+6675GI-6362OU+0063GI-6251OU+0081HI (19 11) 1776k [5] w0=5 (5.0s)
            alt -  4807 -2719NK+6675GI-1929NK+2829OU (14 10)
        others  +  4808 +3938OU-5747NK+3847OU-4546FU+4738OU-5242HI (15 12) 1968k [9] w0=9 (5.0s)
      others  -  5888 -6886UM+8786FU-0027KE+3928OU-2719NK+2819OU (14 12) 2693k [1] w0=1 (5.0s)
          alt -  5321 -6362OU+6675GI-6251OU+7271TO (17 11)
    others  +  5244 +6776GI-5747NK+0067HI-0065KE+6768HI-4737NK (22 13) 1123k [8] w0=8 (4.9s)
  others  - 29968 -6886UM+8786FU-8475GI+0044HI-6362OU+4441RY (16 20) 6343k [6] (31.4s)
  -0027KE + 29973 +3928OU-8475GI+0044HI-0074FU+0064KI-7564GI (15 1) 44191k solved 33.6s (33.6s)
P1+GI *  * -FU * -KI *  * -KY
P2 *  * +FU * -HI *  *  *  * 
P3-FU * -KE-OU-FU * +NY-FU-FU
P4 * -GI *  *  *  * -FU *  * 
P5 * -FU *  * +KI-FU * +FU * 
P6 *  *  *  *  *  * +FU *  * 
P7+FU+FU * +GI-NK+FU+GI * +FU
P8 *  *  * -KA *  *  *  *  * 
P9+KY *  *  *  * +KI+OU+KE+KY
P+00HI00KA00KI00FU
P-00KE00FU00FU
-
