TSTP Solution File: SYN387^4 by Satallax-MaLeS---1.3
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Satallax-MaLeS---1.3
% Problem : SYN387^4 : TPTP v6.2.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : src/helsing.py -t %d -c ../satallax.ini -p %s
% Computer : n128.star.cs.uiowa.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2609 0 2.40GHz
% Memory : 32286.75MB
% OS : Linux 2.6.32-573.1.1.el6.x86_64
% CPULimit : 300s
% DateTime : Thu Oct 8 19:00:22 EDT 2015
% Result : Unknown 68.37s
% Output : None
% Verified :
% SZS Type : None (Parsing solution fails)
% Syntax : Number of formulae : 0
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.02 % Problem : SYN387^4 : TPTP v6.2.0. Released v4.0.0.
% 0.00/0.02 % Command : src/helsing.py -t %d -c ../satallax.ini -p %s
% 0.00/1.05 % Computer : n128.star.cs.uiowa.edu
% 0.00/1.05 % Model : x86_64 x86_64
% 0.00/1.05 % CPU : Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz
% 0.00/1.05 % Memory : 32286.75MB
% 0.00/1.05 % OS : Linux 2.6.32-573.1.1.el6.x86_64
% 0.00/1.05 % CPULimit : 300
% 0.00/1.05 % DateTime : Mon Oct 5 14:17:54 CDT 2015
% 0.00/1.05 % CPUTime:
% 1.54/2.88 % Running -m mode0ga for 0.00844192504883 seconds
% 1.63/2.90 % Running -m mode235 for 0.332003116608 seconds
% 1.63/2.93 % Running -m mode19c for 1.83606314659 seconds
% 1.69/3.00 % Running -m NewStrategy71293 for 0.154115200043 seconds
% 1.69/3.02 % Running -m NewStrategy70786 for 26.5554339886 seconds
% 1.69/3.06 % Running -m NewStrategy13531 for 0.794187068939 seconds
% 2.42/3.86 % Running -m NewStrategy32530 for 4.69348192215 seconds
% 2.42/3.89 % Running -m NewStrategy53030 for 0.194667100906 seconds
% 2.52/3.91 % Running -m mode357 for 0.00602602958679 seconds
% 2.52/3.93 % Running -m NewStrategy32467 for 0.0582859516144 seconds
% 2.52/3.97 % Running -m NewStrategy31551 for 0.607096910477 seconds
% 3.08/4.58 % Running -m NewStrategy71446 for 139.240757942 seconds
% 3.08/4.59 % Running -m NewStrategy29644 for 0.0159990787506 seconds
% 3.20/4.60 % Running -m NewStrategy63501 for 0.242960929871 seconds
% 3.20/4.63 % Running -m mode245 for 0.0120649337769 seconds
% 3.20/4.65 % Running -m NewStrategy10189 for 0.0147910118103 seconds
% 3.20/4.66 % Running -m mode369 for 0.0164971351624 seconds
% 3.20/4.68 % Running -m NewStrategy36822 for 0.0202889442444 seconds
% 3.20/4.69 % Running -m mode187 for 7.1962890625 seconds
% 3.30/4.71 % Running -m NewStrategy28259 for 0.0205981731415 seconds
% 3.30/4.74 % Running -m NewStrategy63339 for 0.102976083755 seconds
% 3.35/4.85 % Running -m NewStrategy72394 for 20.4193341732 seconds
% 3.35/4.86 % Running -m NewStrategy31076 for 0.282725095749 seconds
% 3.47/5.15 % Running -m NewStrategy61701 for 0.469702005386 seconds
% 3.47/5.17 % Running -m mode251 for 9.27129101753 seconds
% 3.47/5.19 % Running -m NewStrategy18901 for 0.00690793991089 seconds
% 3.74/5.20 % Running -m NewStrategy31440 for 0.0179498195648 seconds
% 3.74/5.23 % Running -m NewStrategy31440 for 0.020026922226 seconds
% 3.74/5.26 % Running -m NewStrategy20272 for 0.0263228416443 seconds
% 3.74/5.29 % Running -m NewStrategy56535 for 0.0329518318176 seconds
% 3.85/5.30 % Running -m NewStrategy57901 for 0.0843760967255 seconds
% 3.85/5.39 % Running -m NewStrategy30592 for 0.279512166977 seconds
% 3.85/5.40 % Running -m NewStrategy32550 for 0.332719087601 seconds
% 3.96/5.44 % Running -m NewStrategy59789 for 31.8605279922 seconds
% 9.83/11.51 % Running -m NewStrategy67852 for 0.127078056335 seconds
% 9.83/11.53 % Running -m NewStrategy36343 for 0.34478521347 seconds
% 9.83/11.54 % Running -m NewStrategy71185 for 44.7529368401 seconds
% 9.83/11.55 % Running -m NewStrategy10087 for 2.53863215446 seconds
% 9.83/11.56 % Running -m NewStrategy29287 for 1.23651599884 seconds
% 9.83/11.57 % Running -m NewStrategy30350 for 204.080619097 seconds
% 9.83/11.59 % Running -m NewStrategy44472 for 0.677356958389 seconds
% 9.90/11.60 % Running -m NewStrategy57901 for 0.112628936768 seconds
% 9.90/11.72 % Running -m NewStrategy68939 for 0.553977012634 seconds
% 9.90/11.79 % Running -m NewStrategy63579 for 2.65231895447 seconds
% 10.08/11.83 % Running -m NewStrategy29155 for 0.0234050750732 seconds
% 10.08/11.84 % Running -m NewStrategy71165 for 0.0638229846954 seconds
% 10.08/11.85 % Running -m NewStrategy70713 for 0.0705270767212 seconds
% 10.08/11.86 % Running -m NewStrategy31110 for 0.0826659202576 seconds
% 10.08/11.87 % Running -m NewStrategy49558 for 0.217222929001 seconds
% 10.08/11.89 % Running -m NewStrategy19328 for 50.5401000977 seconds
% 56.07/62.47 % Running -m NewStrategy22406 for 271.825758934 seconds
% 56.07/62.48 % Running -m NewStrategy26604 for 600.0 seconds
% 56.07/62.49 % Running -m NewStrategy26604 for 600.0 seconds
% 56.18/62.50 % Running -m NewStrategy26604 for 600.0 seconds
% 56.18/62.51 % Running -m NewStrategy26604 for 600.0 seconds
% 56.18/62.51 % Running -m NewStrategy26604 for 600.0 seconds
% 56.18/62.52 % Running -m NewStrategy26604 for 600.0 seconds
% 56.18/62.53 % Running -m NewStrategy26604 for 600.0 seconds
% 56.18/62.54 % Running -m NewStrategy26604 for 600.0 seconds
% 56.18/62.55 % Running -m NewStrategy26604 for 600.0 seconds
% 56.18/62.55 % Running -m NewStrategy26604 for 600.0 seconds
% 56.18/62.56 % Running -m NewStrategy26604 for 600.0 seconds
% 56.18/62.57 % Running -m NewStrategy26604 for 600.0 seconds
% 56.18/62.58 % Running -m NewStrategy26604 for 600.0 seconds
% 56.18/62.58 % Running -m NewStrategy26604 for 600.0 seconds
% 56.18/62.59 % Running -m NewStrategy26604 for 600.0 seconds
% 56.18/62.60 % Running -m NewStrategy26604 for 600.0 seconds
% 56.28/62.61 % Running -m NewStrategy26604 for 600.0 seconds
% 56.28/62.62 % Running -m NewStrategy26604 for 600.0 seconds
% 56.28/62.62 % Running -m NewStrategy26604 for 600.0 seconds
% 56.28/62.63 % Running -m NewStrategy26604 for 600.0 seconds
% 56.28/62.64 % Running -m NewStrategy26604 for 600.0 seconds
% 56.28/62.65 % Running -m NewStrategy26604 for 600.0 seconds
% 56.28/62.65 % Running -m NewStrategy26604 for 600.0 seconds
% 56.28/62.66 % Running -m NewStrategy26604 for 600.0 seconds
% 56.28/62.67 % Running -m NewStrategy26604 for 600.0 seconds
% 56.28/62.68 % Running -m NewStrategy26604 for 600.0 seconds
% 56.28/62.69 % Running -m NewStrategy26604 for 600.0 seconds
% 56.28/62.69 % Running -m NewStrategy26604 for 600.0 seconds
% 56.28/62.70 % Running -m NewStrategy26604 for 600.0 seconds
% 56.36/62.71 % Running -m NewStrategy26604 for 600.0 seconds
% 56.36/62.72 % Running -m NewStrategy26604 for 600.0 seconds
% 56.36/62.73 % Running -m NewStrategy26604 for 600.0 seconds
% 56.36/62.73 % Running -m NewStrategy26604 for 600.0 seconds
% 56.36/62.74 % Running -m NewStrategy26604 for 600.0 seconds
% 56.36/62.75 % Running -m NewStrategy26604 for 600.0 seconds
% 56.36/62.76 % Running -m NewStrategy26604 for 600.0 seconds
% 56.36/62.76 % Running -m NewStrategy26604 for 600.0 seconds
% 56.36/62.77 % Running -m NewStrategy26604 for 600.0 seconds
% 56.36/62.78 % Running -m NewStrategy26604 for 600.0 seconds
% 56.36/62.79 % Running -m NewStrategy26604 for 600.0 seconds
% 56.36/62.80 % Running -m NewStrategy26604 for 600.0 seconds
% 56.45/62.80 % Running -m NewStrategy26604 for 600.0 seconds
% 56.45/62.81 % Running -m NewStrategy26604 for 600.0 seconds
% 56.45/62.82 % Running -m NewStrategy26604 for 600.0 seconds
% 56.45/62.83 % Running -m NewStrategy26604 for 600.0 seconds
% 56.45/62.83 % Running -m NewStrategy26604 for 600.0 seconds
% 56.45/62.84 % Running -m NewStrategy26604 for 600.0 seconds
% 56.45/62.85 % Running -m NewStrategy26604 for 600.0 seconds
% 56.45/62.86 % Running -m NewStrategy26604 for 600.0 seconds
% 56.45/62.86 % Running -m NewStrategy26604 for 600.0 seconds
% 56.45/62.87 % Running -m NewStrategy26604 for 600.0 seconds
% 56.45/62.88 % Running -m NewStrategy26604 for 600.0 seconds
% 56.45/62.89 % Running -m NewStrategy26604 for 600.0 seconds
% 56.45/62.89 % Running -m NewStrategy26604 for 600.0 seconds
% 56.51/62.90 % Running -m NewStrategy26604 for 600.0 seconds
% 56.51/62.91 % Running -m NewStrategy26604 for 600.0 seconds
% 56.51/62.92 % Running -m NewStrategy26604 for 600.0 seconds
% 56.51/62.93 % Running -m NewStrategy26604 for 600.0 seconds
% 56.51/62.93 % Running -m NewStrategy26604 for 600.0 seconds
% 56.51/62.94 % Running -m NewStrategy26604 for 600.0 seconds
% 56.51/62.95 % Running -m NewStrategy26604 for 600.0 seconds
% 56.51/62.96 % Running -m NewStrategy26604 for 600.0 seconds
% 56.51/62.96 % Running -m NewStrategy26604 for 600.0 seconds
% 56.51/62.97 % Running -m NewStrategy26604 for 600.0 seconds
% 56.51/62.98 % Running -m NewStrategy26604 for 600.0 seconds
% 56.51/62.99 % Running -m NewStrategy26604 for 600.0 seconds
% 56.51/62.99 % Running -m NewStrategy26604 for 600.0 seconds
% 56.58/63.00 % Running -m NewStrategy26604 for 600.0 seconds
% 56.58/63.01 % Running -m NewStrategy26604 for 600.0 seconds
% 56.58/63.02 % Running -m NewStrategy26604 for 600.0 seconds
% 56.58/63.03 % Running -m NewStrategy26604 for 600.0 seconds
% 56.58/63.03 % Running -m NewStrategy26604 for 600.0 seconds
% 56.58/63.04 % Running -m NewStrategy26604 for 600.0 seconds
% 56.58/63.05 % Running -m NewStrategy26604 for 600.0 seconds
% 56.58/63.06 % Running -m NewStrategy26604 for 600.0 seconds
% 56.58/63.06 % Running -m NewStrategy26604 for 600.0 seconds
% 56.58/63.07 % Running -m NewStrategy26604 for 600.0 seconds
% 56.58/63.08 % Running -m NewStrategy26604 for 600.0 seconds
% 56.58/63.09 % Running -m NewStrategy26604 for 600.0 seconds
% 56.67/63.10 % Running -m NewStrategy26604 for 600.0 seconds
% 56.67/63.10 % Running -m NewStrategy26604 for 600.0 seconds
% 56.67/63.11 % Running -m NewStrategy26604 for 600.0 seconds
% 56.67/63.12 % Running -m NewStrategy26604 for 600.0 seconds
% 56.67/63.13 % Running -m NewStrategy26604 for 600.0 seconds
% 56.67/63.13 % Running -m NewStrategy26604 for 600.0 seconds
% 56.67/63.14 % Running -m NewStrategy26604 for 600.0 seconds
% 56.67/63.15 % Running -m NewStrategy26604 for 600.0 seconds
% 56.67/63.16 % Running -m NewStrategy26604 for 600.0 seconds
% 56.67/63.17 % Running -m NewStrategy26604 for 600.0 seconds
% 56.67/63.17 % Running -m NewStrategy26604 for 600.0 seconds
% 56.67/63.18 % Running -m NewStrategy26604 for 600.0 seconds
% 56.67/63.19 % Running -m NewStrategy26604 for 600.0 seconds
% 56.75/63.20 % Running -m NewStrategy26604 for 600.0 seconds
% 56.75/63.20 % Running -m NewStrategy26604 for 600.0 seconds
% 56.75/63.21 % Running -m NewStrategy26604 for 600.0 seconds
% 56.75/63.22 % Running -m NewStrategy26604 for 600.0 seconds
% 56.75/63.23 % Running -m NewStrategy26604 for 600.0 seconds
% 56.75/63.23 % Running -m NewStrategy26604 for 600.0 seconds
% 56.75/63.24 % Running -m NewStrategy26604 for 600.0 seconds
% 56.75/63.25 % Running -m NewStrategy26604 for 600.0 seconds
% 56.75/63.26 % Running -m NewStrategy26604 for 600.0 seconds
% 56.75/63.27 % Running -m NewStrategy26604 for 600.0 seconds
% 56.75/63.27 % Running -m NewStrategy26604 for 600.0 seconds
% 56.75/63.28 % Running -m NewStrategy26604 for 600.0 seconds
% 56.75/63.29 % Running -m NewStrategy26604 for 600.0 seconds
% 56.83/63.30 % Running -m NewStrategy26604 for 600.0 seconds
% 56.83/63.30 % Running -m NewStrategy26604 for 600.0 seconds
% 56.83/63.31 % Running -m NewStrategy26604 for 600.0 seconds
% 56.83/63.32 % Running -m NewStrategy26604 for 600.0 seconds
% 56.83/63.33 % Running -m NewStrategy26604 for 600.0 seconds
% 56.83/63.33 % Running -m NewStrategy26604 for 600.0 seconds
% 56.83/63.34 % Running -m NewStrategy26604 for 600.0 seconds
% 56.83/63.35 % Running -m NewStrategy26604 for 600.0 seconds
% 56.83/63.36 % Running -m NewStrategy26604 for 600.0 seconds
% 56.83/63.36 % Running -m NewStrategy26604 for 600.0 seconds
% 56.83/63.37 % Running -m NewStrategy26604 for 600.0 seconds
% 56.83/63.38 % Running -m NewStrategy26604 for 600.0 seconds
% 56.83/63.39 % Running -m NewStrategy26604 for 600.0 seconds
% 56.92/63.40 % Running -m NewStrategy26604 for 600.0 seconds
% 56.92/63.40 % Running -m NewStrategy26604 for 600.0 seconds
% 56.92/63.41 % Running -m NewStrategy26604 for 600.0 seconds
% 56.92/63.42 % Running -m NewStrategy26604 for 600.0 seconds
% 56.92/63.43 % Running -m NewStrategy26604 for 600.0 seconds
% 56.92/63.44 % Running -m NewStrategy26604 for 600.0 seconds
% 56.92/63.44 % Running -m NewStrategy26604 for 600.0 seconds
% 56.92/63.45 % Running -m NewStrategy26604 for 600.0 seconds
% 56.92/63.46 % Running -m NewStrategy26604 for 600.0 seconds
% 56.92/63.47 % Running -m NewStrategy26604 for 600.0 seconds
% 56.92/63.48 % Running -m NewStrategy26604 for 600.0 seconds
% 56.92/63.49 % Running -m NewStrategy26604 for 600.0 seconds
% 56.99/63.52 % Running -m NewStrategy26604 for 600.0 seconds
% 56.99/63.53 % Running -m NewStrategy26604 for 600.0 seconds
% 56.99/63.54 % Running -m NewStrategy26604 for 600.0 seconds
% 56.99/63.54 % Running -m NewStrategy26604 for 600.0 seconds
% 56.99/63.55 % Running -m NewStrategy26604 for 600.0 seconds
% 56.99/63.56 % Running -m NewStrategy26604 for 600.0 seconds
% 56.99/63.56 % Running -m NewStrategy26604 for 600.0 seconds
% 56.99/63.57 % Running -m NewStrategy26604 for 600.0 seconds
% 56.99/63.58 % Running -m NewStrategy26604 for 600.0 seconds
% 56.99/63.59 % Running -m NewStrategy26604 for 600.0 seconds
% 56.99/63.59 % Running -m NewStrategy26604 for 600.0 seconds
% 57.05/63.60 % Running -m NewStrategy26604 for 600.0 seconds
% 57.05/63.61 % Running -m NewStrategy26604 for 600.0 seconds
% 57.05/63.62 % Running -m NewStrategy26604 for 600.0 seconds
% 57.05/63.63 % Running -m NewStrategy26604 for 600.0 seconds
% 57.05/63.63 % Running -m NewStrategy26604 for 600.0 seconds
% 57.05/63.64 % Running -m NewStrategy26604 for 600.0 seconds
% 57.05/63.65 % Running -m NewStrategy26604 for 600.0 seconds
% 57.05/63.66 % Running -m NewStrategy26604 for 600.0 seconds
% 57.05/63.66 % Running -m NewStrategy26604 for 600.0 seconds
% 57.05/63.67 % Running -m NewStrategy26604 for 600.0 seconds
% 57.05/63.68 % Running -m NewStrategy26604 for 600.0 seconds
% 57.05/63.69 % Running -m NewStrategy26604 for 600.0 seconds
% 57.05/63.70 % Running -m NewStrategy26604 for 600.0 seconds
% 57.05/63.70 % Running -m NewStrategy26604 for 600.0 seconds
% 57.14/63.71 % Running -m NewStrategy26604 for 600.0 seconds
% 57.14/63.72 % Running -m NewStrategy26604 for 600.0 seconds
% 57.14/63.73 % Running -m NewStrategy26604 for 600.0 seconds
% 57.14/63.74 % Running -m NewStrategy26604 for 600.0 seconds
% 57.14/63.74 % Running -m NewStrategy26604 for 600.0 seconds
% 57.14/63.75 % Running -m NewStrategy26604 for 600.0 seconds
% 57.14/63.76 % Running -m NewStrategy26604 for 600.0 seconds
% 57.14/63.77 % Running -m NewStrategy26604 for 600.0 seconds
% 57.14/63.78 % Running -m NewStrategy26604 for 600.0 seconds
% 57.14/63.78 % Running -m NewStrategy26604 for 600.0 seconds
% 57.14/63.79 % Running -m NewStrategy26604 for 600.0 seconds
% 57.14/63.80 % Running -m NewStrategy26604 for 600.0 seconds
% 57.23/63.81 % Running -m NewStrategy26604 for 600.0 seconds
% 57.23/63.81 % Running -m NewStrategy26604 for 600.0 seconds
% 57.23/63.82 % Running -m NewStrategy26604 for 600.0 seconds
% 57.23/63.83 % Running -m NewStrategy26604 for 600.0 seconds
% 57.23/63.84 % Running -m NewStrategy26604 for 600.0 seconds
% 57.23/63.85 % Running -m NewStrategy26604 for 600.0 seconds
% 57.23/63.85 % Running -m NewStrategy26604 for 600.0 seconds
% 57.23/63.86 % Running -m NewStrategy26604 for 600.0 seconds
% 57.23/63.87 % Running -m NewStrategy26604 for 600.0 seconds
% 57.23/63.88 % Running -m NewStrategy26604 for 600.0 seconds
% 57.23/63.89 % Running -m NewStrategy26604 for 600.0 seconds
% 57.23/63.89 % Running -m NewStrategy26604 for 600.0 seconds
% 57.31/63.90 % Running -m NewStrategy26604 for 600.0 seconds
% 57.31/63.91 % Running -m NewStrategy26604 for 600.0 seconds
% 57.31/63.92 % Running -m NewStrategy26604 for 600.0 seconds
% 57.31/63.92 % Running -m NewStrategy26604 for 600.0 seconds
% 57.31/63.93 % Running -m NewStrategy26604 for 600.0 seconds
% 57.31/63.94 % Running -m NewStrategy26604 for 600.0 seconds
% 57.31/63.95 % Running -m NewStrategy26604 for 600.0 seconds
% 57.31/63.95 % Running -m NewStrategy26604 for 600.0 seconds
% 57.31/63.96 % Running -m NewStrategy26604 for 600.0 seconds
% 57.31/63.97 % Running -m NewStrategy26604 for 600.0 seconds
% 57.31/63.98 % Running -m NewStrategy26604 for 600.0 seconds
% 57.31/63.99 % Running -m NewStrategy26604 for 600.0 seconds
% 57.31/63.99 % Running -m NewStrategy26604 for 600.0 seconds
% 57.38/64.00 % Running -m NewStrategy26604 for 600.0 seconds
% 57.38/64.01 % Running -m NewStrategy26604 for 600.0 seconds
% 57.38/64.02 % Running -m NewStrategy26604 for 600.0 seconds
% 57.38/64.03 % Running -m NewStrategy26604 for 600.0 seconds
% 57.38/64.03 % Running -m NewStrategy26604 for 600.0 seconds
% 57.38/64.04 % Running -m NewStrategy26604 for 600.0 seconds
% 57.38/64.05 % Running -m NewStrategy26604 for 600.0 seconds
% 57.38/64.06 % Running -m NewStrategy26604 for 600.0 seconds
% 57.38/64.06 % Running -m NewStrategy26604 for 600.0 seconds
% 57.38/64.07 % Running -m NewStrategy26604 for 600.0 seconds
% 57.38/64.08 % Running -m NewStrategy26604 for 600.0 seconds
% 57.38/64.09 % Running -m NewStrategy26604 for 600.0 seconds
% 57.38/64.09 % Running -m NewStrategy26604 for 600.0 seconds
% 57.46/64.10 % Running -m NewStrategy26604 for 600.0 seconds
% 57.46/64.11 % Running -m NewStrategy26604 for 600.0 seconds
% 57.46/64.12 % Running -m NewStrategy26604 for 600.0 seconds
% 57.46/64.12 % Running -m NewStrategy26604 for 600.0 seconds
% 57.46/64.13 % Running -m NewStrategy26604 for 600.0 seconds
% 57.46/64.14 % Running -m NewStrategy26604 for 600.0 seconds
% 57.46/64.15 % Running -m NewStrategy26604 for 600.0 seconds
% 57.46/64.15 % Running -m NewStrategy26604 for 600.0 seconds
% 57.46/64.16 % Running -m NewStrategy26604 for 600.0 seconds
% 57.46/64.17 % Running -m NewStrategy26604 for 600.0 seconds
% 57.46/64.18 % Running -m NewStrategy26604 for 600.0 seconds
% 57.46/64.19 % Running -m NewStrategy26604 for 600.0 seconds
% 57.46/64.19 % Running -m NewStrategy26604 for 600.0 seconds
% 57.54/64.20 % Running -m NewStrategy26604 for 600.0 seconds
% 57.54/64.21 % Running -m NewStrategy26604 for 600.0 seconds
% 57.54/64.22 % Running -m NewStrategy26604 for 600.0 seconds
% 57.54/64.22 % Running -m NewStrategy26604 for 600.0 seconds
% 57.54/64.23 % Running -m NewStrategy26604 for 600.0 seconds
% 57.54/64.24 % Running -m NewStrategy26604 for 600.0 seconds
% 57.54/64.25 % Running -m NewStrategy26604 for 600.0 seconds
% 57.54/64.25 % Running -m NewStrategy26604 for 600.0 seconds
% 57.54/64.26 % Running -m NewStrategy26604 for 600.0 seconds
% 57.54/64.27 % Running -m NewStrategy26604 for 600.0 seconds
% 57.54/64.28 % Running -m NewStrategy26604 for 600.0 seconds
% 57.54/64.29 % Running -m NewStrategy26604 for 600.0 seconds
% 57.54/64.29 % Running -m NewStrategy26604 for 600.0 seconds
% 57.63/64.30 % Running -m NewStrategy26604 for 600.0 seconds
% 57.63/64.31 % Running -m NewStrategy26604 for 600.0 seconds
% 57.63/64.32 % Running -m NewStrategy26604 for 600.0 seconds
% 57.63/64.32 % Running -m NewStrategy26604 for 600.0 seconds
% 57.63/64.33 % Running -m NewStrategy26604 for 600.0 seconds
% 57.63/64.34 % Running -m NewStrategy26604 for 600.0 seconds
% 57.63/64.35 % Running -m NewStrategy26604 for 600.0 seconds
% 57.63/64.36 % Running -m NewStrategy26604 for 600.0 seconds
% 57.63/64.36 % Running -m NewStrategy26604 for 600.0 seconds
% 57.63/64.37 % Running -m NewStrategy26604 for 600.0 seconds
% 57.63/64.38 % Running -m NewStrategy26604 for 600.0 seconds
% 57.63/64.39 % Running -m NewStrategy26604 for 600.0 seconds
% 57.63/64.39 % Running -m NewStrategy26604 for 600.0 seconds
% 57.72/64.40 % Running -m NewStrategy26604 for 600.0 seconds
% 57.72/64.41 % Running -m NewStrategy26604 for 600.0 seconds
% 57.72/64.42 % Running -m NewStrategy26604 for 600.0 seconds
% 57.72/64.43 % Running -m NewStrategy26604 for 600.0 seconds
% 57.72/64.43 % Running -m NewStrategy26604 for 600.0 seconds
% 57.72/64.44 % Running -m NewStrategy26604 for 600.0 seconds
% 57.72/64.45 % Running -m NewStrategy26604 for 600.0 seconds
% 57.72/64.46 % Running -m NewStrategy26604 for 600.0 seconds
% 57.72/64.47 % Running -m NewStrategy26604 for 600.0 seconds
% 57.72/64.48 % Running -m NewStrategy26604 for 600.0 seconds
% 57.72/64.49 % Running -m NewStrategy26604 for 600.0 seconds
% 57.72/64.50 % Running -m NewStrategy26604 for 600.0 seconds
% 57.79/64.54 % Running -m NewStrategy26604 for 600.0 seconds
% 57.79/64.55 % Running -m NewStrategy26604 for 600.0 seconds
% 57.79/64.56 % Running -m NewStrategy26604 for 600.0 seconds
% 57.79/64.56 % Running -m NewStrategy26604 for 600.0 seconds
% 57.79/64.57 % Running -m NewStrategy26604 for 600.0 seconds
% 57.79/64.58 % Running -m NewStrategy26604 for 600.0 seconds
% 57.79/64.59 % Running -m NewStrategy26604 for 600.0 seconds
% 57.86/64.60 % Running -m NewStrategy26604 for 600.0 seconds
% 57.86/64.61 % Running -m NewStrategy26604 for 600.0 seconds
% 57.86/64.62 % Running -m NewStrategy26604 for 600.0 seconds
% 57.86/64.63 % Running -m NewStrategy26604 for 600.0 seconds
% 57.86/64.64 % Running -m NewStrategy26604 for 600.0 seconds
% 57.86/64.64 % Running -m NewStrategy26604 for 600.0 seconds
% 57.86/64.65 % Running -m NewStrategy26604 for 600.0 seconds
% 57.86/64.66 % Running -m NewStrategy26604 for 600.0 seconds
% 57.86/64.67 % Running -m NewStrategy26604 for 600.0 seconds
% 57.86/64.68 % Running -m NewStrategy26604 for 600.0 seconds
% 57.86/64.68 % Running -m NewStrategy26604 for 600.0 seconds
% 57.86/64.69 % Running -m NewStrategy26604 for 600.0 seconds
% 57.94/64.70 % Running -m NewStrategy26604 for 600.0 seconds
% 57.94/64.71 % Running -m NewStrategy26604 for 600.0 seconds
% 57.94/64.72 % Running -m NewStrategy26604 for 600.0 seconds
% 57.94/64.72 % Running -m NewStrategy26604 for 600.0 seconds
% 57.94/64.73 % Running -m NewStrategy26604 for 600.0 seconds
% 57.94/64.74 % Running -m NewStrategy26604 for 600.0 seconds
% 57.94/64.75 % Running -m NewStrategy26604 for 600.0 seconds
% 57.94/64.75 % Running -m NewStrategy26604 for 600.0 seconds
% 57.94/64.76 % Running -m NewStrategy26604 for 600.0 seconds
% 57.94/64.77 % Running -m NewStrategy26604 for 600.0 seconds
% 57.94/64.78 % Running -m NewStrategy26604 for 600.0 seconds
% 57.94/64.79 % Running -m NewStrategy26604 for 600.0 seconds
% 57.94/64.79 % Running -m NewStrategy26604 for 600.0 seconds
% 57.94/64.80 % Running -m NewStrategy26604 for 600.0 seconds
% 58.02/64.81 % Running -m NewStrategy26604 for 600.0 seconds
% 58.02/64.82 % Running -m NewStrategy26604 for 600.0 seconds
% 58.02/64.83 % Running -m NewStrategy26604 for 600.0 seconds
% 58.02/64.83 % Running -m NewStrategy26604 for 600.0 seconds
% 58.02/64.84 % Running -m NewStrategy26604 for 600.0 seconds
% 58.02/64.85 % Running -m NewStrategy26604 for 600.0 seconds
% 58.02/64.86 % Running -m NewStrategy26604 for 600.0 seconds
% 58.02/64.87 % Running -m NewStrategy26604 for 600.0 seconds
% 58.02/64.87 % Running -m NewStrategy26604 for 600.0 seconds
% 58.02/64.88 % Running -m NewStrategy26604 for 600.0 seconds
% 58.02/64.89 % Running -m NewStrategy26604 for 600.0 seconds
% 58.02/64.90 % Running -m NewStrategy26604 for 600.0 seconds
% 58.11/64.91 % Running -m NewStrategy26604 for 600.0 seconds
% 58.11/64.91 % Running -m NewStrategy26604 for 600.0 seconds
% 58.11/64.92 % Running -m NewStrategy26604 for 600.0 seconds
% 58.11/64.93 % Running -m NewStrategy26604 for 600.0 seconds
% 58.11/64.94 % Running -m NewStrategy26604 for 600.0 seconds
% 58.11/64.94 % Running -m NewStrategy26604 for 600.0 seconds
% 58.11/64.95 % Running -m NewStrategy26604 for 600.0 seconds
% 58.11/64.96 % Running -m NewStrategy26604 for 600.0 seconds
% 58.11/64.97 % Running -m NewStrategy26604 for 600.0 seconds
% 58.11/64.98 % Running -m NewStrategy26604 for 600.0 seconds
% 58.11/64.98 % Running -m NewStrategy26604 for 600.0 seconds
% 58.11/64.99 % Running -m NewStrategy26604 for 600.0 seconds
% 58.19/65.00 % Running -m NewStrategy26604 for 600.0 seconds
% 58.19/65.01 % Running -m NewStrategy26604 for 600.0 seconds
% 58.19/65.01 % Running -m NewStrategy26604 for 600.0 seconds
% 58.19/65.02 % Running -m NewStrategy26604 for 600.0 seconds
% 58.19/65.03 % Running -m NewStrategy26604 for 600.0 seconds
% 58.19/65.04 % Running -m NewStrategy26604 for 600.0 seconds
% 58.19/65.05 % Running -m NewStrategy26604 for 600.0 seconds
% 58.19/65.05 % Running -m NewStrategy26604 for 600.0 seconds
% 58.19/65.06 % Running -m NewStrategy26604 for 600.0 seconds
% 58.19/65.07 % Running -m NewStrategy26604 for 600.0 seconds
% 58.19/65.08 % Running -m NewStrategy26604 for 600.0 seconds
% 58.19/65.10 % Running -m NewStrategy26604 for 600.0 seconds
% 58.27/65.14 % Running -m NewStrategy26604 for 600.0 seconds
% 58.27/65.15 % Running -m NewStrategy26604 for 600.0 seconds
% 58.27/65.15 % Running -m NewStrategy26604 for 600.0 seconds
% 58.27/65.16 % Running -m NewStrategy26604 for 600.0 seconds
% 58.27/65.17 % Running -m NewStrategy26604 for 600.0 seconds
% 58.27/65.18 % Running -m NewStrategy26604 for 600.0 seconds
% 58.27/65.19 % Running -m NewStrategy26604 for 600.0 seconds
% 58.33/65.20 % Running -m NewStrategy26604 for 600.0 seconds
% 58.33/65.21 % Running -m NewStrategy26604 for 600.0 seconds
% 58.33/65.22 % Running -m NewStrategy26604 for 600.0 seconds
% 58.33/65.23 % Running -m NewStrategy26604 for 600.0 seconds
% 58.33/65.23 % Running -m NewStrategy26604 for 600.0 seconds
% 58.33/65.24 % Running -m NewStrategy26604 for 600.0 seconds
% 58.33/65.25 % Running -m NewStrategy26604 for 600.0 seconds
% 58.33/65.26 % Running -m NewStrategy26604 for 600.0 seconds
% 58.33/65.27 % Running -m NewStrategy26604 for 600.0 seconds
% 58.33/65.28 % Running -m NewStrategy26604 for 600.0 seconds
% 58.33/65.29 % Running -m NewStrategy26604 for 600.0 seconds
% 58.33/65.29 % Running -m NewStrategy26604 for 600.0 seconds
% 58.41/65.30 % Running -m NewStrategy26604 for 600.0 seconds
% 58.41/65.31 % Running -m NewStrategy26604 for 600.0 seconds
% 58.41/65.32 % Running -m NewStrategy26604 for 600.0 seconds
% 58.41/65.33 % Running -m NewStrategy26604 for 600.0 seconds
% 58.41/65.33 % Running -m NewStrategy26604 for 600.0 seconds
% 58.41/65.34 % Running -m NewStrategy26604 for 600.0 seconds
% 58.41/65.35 % Running -m NewStrategy26604 for 600.0 seconds
% 58.41/65.36 % Running -m NewStrategy26604 for 600.0 seconds
% 58.41/65.36 % Running -m NewStrategy26604 for 600.0 seconds
% 58.41/65.37 % Running -m NewStrategy26604 for 600.0 seconds
% 58.41/65.38 % Running -m NewStrategy26604 for 600.0 seconds
% 58.41/65.39 % Running -m NewStrategy26604 for 600.0 seconds
% 58.49/65.40 % Running -m NewStrategy26604 for 600.0 seconds
% 58.49/65.41 % Running -m NewStrategy26604 for 600.0 seconds
% 58.49/65.42 % Running -m NewStrategy26604 for 600.0 seconds
% 58.49/65.42 % Running -m NewStrategy26604 for 600.0 seconds
% 58.49/65.43 % Running -m NewStrategy26604 for 600.0 seconds
% 58.49/65.44 % Running -m NewStrategy26604 for 600.0 seconds
% 58.49/65.45 % Running -m NewStrategy26604 for 600.0 seconds
% 58.49/65.46 % Running -m NewStrategy26604 for 600.0 seconds
% 58.49/65.46 % Running -m NewStrategy26604 for 600.0 seconds
% 58.49/65.47 % Running -m NewStrategy26604 for 600.0 seconds
% 58.49/65.48 % Running -m NewStrategy26604 for 600.0 seconds
% 58.49/65.49 % Running -m NewStrategy26604 for 600.0 seconds
% 58.57/65.50 % Running -m NewStrategy26604 for 600.0 seconds
% 58.57/65.50 % Running -m NewStrategy26604 for 600.0 seconds
% 58.57/65.51 % Running -m NewStrategy26604 for 600.0 seconds
% 58.57/65.52 % Running -m NewStrategy26604 for 600.0 seconds
% 58.57/65.53 % Running -m NewStrategy26604 for 600.0 seconds
% 58.57/65.54 % Running -m NewStrategy26604 for 600.0 seconds
% 58.57/65.54 % Running -m NewStrategy26604 for 600.0 seconds
% 58.57/65.55 % Running -m NewStrategy26604 for 600.0 seconds
% 58.57/65.56 % Running -m NewStrategy26604 for 600.0 seconds
% 58.57/65.57 % Running -m NewStrategy26604 for 600.0 seconds
% 58.57/65.57 % Running -m NewStrategy26604 for 600.0 seconds
% 58.57/65.58 % Running -m NewStrategy26604 for 600.0 seconds
% 58.57/65.59 % Running -m NewStrategy26604 for 600.0 seconds
% 58.65/65.60 % Running -m NewStrategy26604 for 600.0 seconds
% 58.65/65.63 % Running -m NewStrategy26604 for 600.0 seconds
% 58.65/65.66 % Running -m NewStrategy26604 for 600.0 seconds
% 58.65/65.67 % Running -m NewStrategy26604 for 600.0 seconds
% 58.65/65.68 % Running -m NewStrategy26604 for 600.0 seconds
% 58.65/65.68 % Running -m NewStrategy26604 for 600.0 seconds
% 58.65/65.69 % Running -m NewStrategy26604 for 600.0 seconds
% 58.71/65.70 % Running -m NewStrategy26604 for 600.0 seconds
% 58.71/65.71 % Running -m NewStrategy26604 for 600.0 seconds
% 58.71/65.72 % Running -m NewStrategy26604 for 600.0 seconds
% 58.71/65.73 % Running -m NewStrategy26604 for 600.0 seconds
% 58.71/65.74 % Running -m NewStrategy26604 for 600.0 seconds
% 58.71/65.74 % Running -m NewStrategy26604 for 600.0 seconds
% 58.71/65.75 % Running -m NewStrategy26604 for 600.0 seconds
% 58.71/65.76 % Running -m NewStrategy26604 for 600.0 seconds
% 58.71/65.77 % Running -m NewStrategy26604 for 600.0 seconds
% 58.71/65.78 % Running -m NewStrategy26604 for 600.0 seconds
% 58.71/65.79 % Running -m NewStrategy26604 for 600.0 seconds
% 58.80/65.80 % Running -m NewStrategy26604 for 600.0 seconds
% 58.80/65.81 % Running -m NewStrategy26604 for 600.0 seconds
% 58.80/65.82 % Running -m NewStrategy26604 for 600.0 seconds
% 58.80/65.82 % Running -m NewStrategy26604 for 600.0 seconds
% 58.80/65.83 % Running -m NewStrategy26604 for 600.0 seconds
% 58.80/65.84 % Running -m NewStrategy26604 for 600.0 seconds
% 58.80/65.85 % Running -m NewStrategy26604 for 600.0 seconds
% 58.80/65.87 % Running -m NewStrategy26604 for 600.0 seconds
% 58.83/65.91 % Running -m NewStrategy26604 for 600.0 seconds
% 58.83/65.92 % Running -m NewStrategy26604 for 600.0 seconds
% 58.83/65.93 % Running -m NewStrategy26604 for 600.0 seconds
% 58.83/65.94 % Running -m NewStrategy26604 for 600.0 seconds
% 58.83/65.95 % Running -m NewStrategy26604 for 600.0 seconds
% 58.83/65.95 % Running -m NewStrategy26604 for 600.0 seconds
% 58.83/65.96 % Running -m NewStrategy26604 for 600.0 seconds
% 58.83/65.97 % Running -m NewStrategy26604 for 600.0 seconds
% 58.83/65.98 % Running -m NewStrategy26604 for 600.0 seconds
% 58.83/65.99 % Running -m NewStrategy26604 for 600.0 seconds
% 58.92/66.02 % Running -m NewStrategy26604 for 600.0 seconds
% 58.92/66.03 % Running -m NewStrategy26604 for 600.0 seconds
% 58.92/66.04 % Running -m NewStrategy26604 for 600.0 seconds
% 58.92/66.05 % Running -m NewStrategy26604 for 600.0 seconds
% 58.92/66.06 % Running -m NewStrategy26604 for 600.0 seconds
% 58.92/66.06 % Running -m NewStrategy26604 for 600.0 seconds
% 58.92/66.07 % Running -m NewStrategy26604 for 600.0 seconds
% 58.92/66.08 % Running -m NewStrategy26604 for 600.0 seconds
% 58.92/66.09 % Running -m NewStrategy26604 for 600.0 seconds
% 58.98/66.10 % Running -m NewStrategy26604 for 600.0 seconds
% 58.98/66.10 % Running -m NewStrategy26604 for 600.0 seconds
% 58.98/66.11 % Running -m NewStrategy26604 for 600.0 seconds
% 58.98/66.12 % Running -m NewStrategy26604 for 600.0 seconds
% 58.98/66.13 % Running -m NewStrategy26604 for 600.0 seconds
% 59.01/66.78 % Running -m NewStrategy26604 for 600.0 seconds
% 59.01/66.79 % Running -m NewStrategy26604 for 600.0 seconds
% 59.02/66.80 % Running -m NewStrategy26604 for 600.0 seconds
% 59.02/66.81 % Running -m NewStrategy26604 for 600.0 seconds
% 59.02/66.81 % Running -m NewStrategy26604 for 600.0 seconds
% 59.02/66.82 % Running -m NewStrategy26604 for 600.0 seconds
% 59.02/66.83 % Running -m NewStrategy26604 for 600.0 seconds
% 59.02/66.84 % Running -m NewStrategy26604 for 600.0 seconds
% 59.02/66.84 % Running -m NewStrategy26604 for 600.0 seconds
% 59.02/66.85 % Running -m NewStrategy26604 for 600.0 seconds
% 59.02/66.86 % Running -m NewStrategy26604 for 600.0 seconds
% 59.02/66.87 % Running -m NewStrategy26604 for 600.0 seconds
% 59.02/66.88 % Running -m NewStrategy26604 for 600.0 seconds
% 59.02/66.89 % Running -m NewStrategy26604 for 600.0 seconds
% 59.02/66.89 % Running -m NewStrategy26604 for 600.0 seconds
% 59.10/66.90 % Running -m NewStrategy26604 for 600.0 seconds
% 59.10/66.91 % Running -m NewStrategy26604 for 600.0 seconds
% 59.10/66.92 % Running -m NewStrategy26604 for 600.0 seconds
% 59.10/66.93 % Running -m NewStrategy26604 for 600.0 seconds
% 59.10/66.93 % Running -m NewStrategy26604 for 600.0 seconds
% 59.10/66.94 % Running -m NewStrategy26604 for 600.0 seconds
% 59.10/66.95 % Running -m NewStrategy26604 for 600.0 seconds
% 59.10/66.96 % Running -m NewStrategy26604 for 600.0 seconds
% 59.10/66.97 % Running -m NewStrategy26604 for 600.0 seconds
% 59.10/66.98 % Running -m NewStrategy26604 for 600.0 seconds
% 59.10/66.98 % Running -m NewStrategy26604 for 600.0 seconds
% 59.10/66.99 % Running -m NewStrategy26604 for 600.0 seconds
% 59.10/67.00 % Running -m NewStrategy26604 for 600.0 seconds
% 59.18/67.01 % Running -m NewStrategy26604 for 600.0 seconds
% 59.18/67.02 % Running -m NewStrategy26604 for 600.0 seconds
% 59.18/67.03 % Running -m NewStrategy26604 for 600.0 seconds
% 59.18/67.04 % Running -m NewStrategy26604 for 600.0 seconds
% 59.18/67.05 % Running -m NewStrategy26604 for 600.0 seconds
% 59.18/67.05 % Running -m NewStrategy26604 for 600.0 seconds
% 59.18/67.06 % Running -m NewStrategy26604 for 600.0 seconds
% 59.18/67.07 % Running -m NewStrategy26604 for 600.0 seconds
% 59.18/67.09 % Running -m NewStrategy26604 for 600.0 seconds
% 59.27/67.12 % Running -m NewStrategy26604 for 600.0 seconds
% 59.27/67.13 % Running -m NewStrategy26604 for 600.0 seconds
% 59.27/67.14 % Running -m NewStrategy26604 for 600.0 seconds
% 59.27/67.14 % Running -m NewStrategy26604 for 600.0 seconds
% 59.27/67.15 % Running -m NewStrategy26604 for 600.0 seconds
% 59.27/67.16 % Running -m NewStrategy26604 for 600.0 seconds
% 59.27/67.17 % Running -m NewStrategy26604 for 600.0 seconds
% 59.27/67.18 % Running -m NewStrategy26604 for 600.0 seconds
% 59.27/67.19 % Running -m NewStrategy26604 for 600.0 seconds
% 59.27/67.20 % Running -m NewStrategy26604 for 600.0 seconds
% 59.33/67.20 % Running -m NewStrategy26604 for 600.0 seconds
% 59.33/67.21 % Running -m NewStrategy26604 for 600.0 seconds
% 59.33/67.22 % Running -m NewStrategy26604 for 600.0 seconds
% 59.33/67.23 % Running -m NewStrategy26604 for 600.0 seconds
% 59.33/67.23 % Running -m NewStrategy26604 for 600.0 seconds
% 59.33/67.24 % Running -m NewStrategy26604 for 600.0 seconds
% 59.33/67.25 % Running -m NewStrategy26604 for 600.0 seconds
% 59.33/67.26 % Running -m NewStrategy26604 for 600.0 seconds
% 59.33/67.27 % Running -m NewStrategy26604 for 600.0 seconds
% 59.33/67.27 % Running -m NewStrategy26604 for 600.0 seconds
% 59.33/67.28 % Running -m NewStrategy26604 for 600.0 seconds
% 59.33/67.29 % Running -m NewStrategy26604 for 600.0 seconds
% 59.40/67.30 % Running -m NewStrategy26604 for 600.0 seconds
% 59.40/67.31 % Running -m NewStrategy26604 for 600.0 seconds
% 59.40/67.31 % Running -m NewStrategy26604 for 600.0 seconds
% 59.40/67.32 % Running -m NewStrategy26604 for 600.0 seconds
% 59.40/67.33 % Running -m NewStrategy26604 for 600.0 seconds
% 59.40/67.34 % Running -m NewStrategy26604 for 600.0 seconds
% 59.40/67.34 % Running -m NewStrategy26604 for 600.0 seconds
% 59.40/67.35 % Running -m NewStrategy26604 for 600.0 seconds
% 59.40/67.36 % Running -m NewStrategy26604 for 600.0 seconds
% 59.40/67.37 % Running -m NewStrategy26604 for 600.0 seconds
% 59.40/67.38 % Running -m NewStrategy26604 for 600.0 seconds
% 59.40/67.38 % Running -m NewStrategy26604 for 600.0 seconds
% 59.40/67.39 % Running -m NewStrategy26604 for 600.0 seconds
% 59.50/67.40 % Running -m NewStrategy26604 for 600.0 seconds
% 59.50/67.41 % Running -m NewStrategy26604 for 600.0 seconds
% 59.50/67.42 % Running -m NewStrategy26604 for 600.0 seconds
% 59.50/67.42 % Running -m NewStrategy26604 for 600.0 seconds
% 59.50/67.43 % Running -m NewStrategy26604 for 600.0 seconds
% 59.50/67.44 % Running -m NewStrategy26604 for 600.0 seconds
% 59.50/67.45 % Running -m NewStrategy26604 for 600.0 seconds
% 59.50/67.46 % Running -m NewStrategy26604 for 600.0 seconds
% 59.50/67.46 % Running -m NewStrategy26604 for 600.0 seconds
% 59.50/67.47 % Running -m NewStrategy26604 for 600.0 seconds
% 59.50/67.48 % Running -m NewStrategy26604 for 600.0 seconds
% 59.50/67.49 % Running -m NewStrategy26604 for 600.0 seconds
% 59.50/67.49 % Running -m NewStrategy26604 for 600.0 seconds
% 59.58/67.50 % Running -m NewStrategy26604 for 600.0 seconds
% 59.58/67.51 % Running -m NewStrategy26604 for 600.0 seconds
% 59.58/67.52 % Running -m NewStrategy26604 for 600.0 seconds
% 59.58/67.53 % Running -m NewStrategy26604 for 600.0 seconds
% 59.58/67.53 % Running -m NewStrategy26604 for 600.0 seconds
% 59.58/67.54 % Running -m NewStrategy26604 for 600.0 seconds
% 59.58/67.55 % Running -m NewStrategy26604 for 600.0 seconds
% 59.58/67.56 % Running -m NewStrategy26604 for 600.0 seconds
% 59.58/67.56 % Running -m NewStrategy26604 for 600.0 seconds
% 59.58/67.57 % Running -m NewStrategy26604 for 600.0 seconds
% 59.58/67.58 % Running -m NewStrategy26604 for 600.0 seconds
% 59.58/67.59 % Running -m NewStrategy26604 for 600.0 seconds
% 59.65/67.60 % Running -m NewStrategy26604 for 600.0 seconds
% 59.65/67.61 % Running -m NewStrategy26604 for 600.0 seconds
% 59.65/67.62 % Running -m NewStrategy26604 for 600.0 seconds
% 59.65/67.63 % Running -m NewStrategy26604 for 600.0 seconds
% 59.65/67.63 % Running -m NewStrategy26604 for 600.0 seconds
% 59.65/67.64 % Running -m NewStrategy26604 for 600.0 seconds
% 59.65/67.68 % Running -m NewStrategy26604 for 600.0 seconds
% 59.65/67.69 % Running -m NewStrategy26604 for 600.0 seconds
% 59.65/67.70 % Running -m NewStrategy26604 for 600.0 seconds
% 59.72/67.71 % Running -m NewStrategy26604 for 600.0 seconds
% 59.72/67.72 % Running -m NewStrategy26604 for 600.0 seconds
% 59.72/67.73 % Running -m NewStrategy26604 for 600.0 seconds
% 59.72/67.74 % Running -m NewStrategy26604 for 600.0 seconds
% 59.72/67.74 % Running -m NewStrategy26604 for 600.0 seconds
% 59.72/67.75 % Running -m NewStrategy26604 for 600.0 seconds
% 59.72/67.76 % Running -m NewStrategy26604 for 600.0 seconds
% 59.72/67.77 % Running -m NewStrategy26604 for 600.0 seconds
% 59.72/67.78 % Running -m NewStrategy26604 for 600.0 seconds
% 59.72/67.79 % Running -m NewStrategy26604 for 600.0 seconds
% 59.80/67.80 % Running -m NewStrategy26604 for 600.0 seconds
% 59.80/67.80 % Running -m NewStrategy26604 for 600.0 seconds
% 59.80/67.81 % Running -m NewStrategy26604 for 600.0 seconds
% 59.80/67.82 % Running -m NewStrategy26604 for 600.0 seconds
% 59.80/67.83 % Running -m NewStrategy26604 for 600.0 seconds
% 59.80/67.84 % Running -m NewStrategy26604 for 600.0 seconds
% 59.80/67.85 % Running -m NewStrategy26604 for 600.0 seconds
% 59.80/67.85 % Running -m NewStrategy26604 for 600.0 seconds
% 59.80/67.86 % Running -m NewStrategy26604 for 600.0 seconds
% 59.80/67.87 % Running -m NewStrategy26604 for 600.0 seconds
% 59.80/67.88 % Running -m NewStrategy26604 for 600.0 seconds
% 59.80/67.89 % Running -m NewStrategy26604 for 600.0 seconds
% 59.80/67.89 % Running -m NewStrategy26604 for 600.0 seconds
% 59.89/67.90 % Running -m NewStrategy26604 for 600.0 seconds
% 59.89/67.91 % Running -m NewStrategy26604 for 600.0 seconds
% 59.89/67.92 % Running -m NewStrategy26604 for 600.0 seconds
% 59.89/67.93 % Running -m NewStrategy26604 for 600.0 seconds
% 59.89/67.93 % Running -m NewStrategy26604 for 600.0 seconds
% 59.89/67.94 % Running -m NewStrategy26604 for 600.0 seconds
% 59.89/67.95 % Running -m NewStrategy26604 for 600.0 seconds
% 59.89/67.96 % Running -m NewStrategy26604 for 600.0 seconds
% 59.89/67.96 % Running -m NewStrategy26604 for 600.0 seconds
% 59.89/67.97 % Running -m NewStrategy26604 for 600.0 seconds
% 59.89/67.98 % Running -m NewStrategy26604 for 600.0 seconds
% 59.89/67.99 % Running -m NewStrategy26604 for 600.0 seconds
% 59.98/68.00 % Running -m NewStrategy26604 for 600.0 seconds
% 59.98/68.01 % Running -m NewStrategy26604 for 600.0 seconds
% 59.98/68.01 % Running -m NewStrategy26604 for 600.0 seconds
% 59.98/68.02 % Running -m NewStrategy26604 for 600.0 seconds
% 59.98/68.03 % Running -m NewStrategy26604 for 600.0 seconds
% 59.98/68.04 % Running -m NewStrategy26604 for 600.0 seconds
% 59.98/68.04 % Running -m NewStrategy26604 for 600.0 seconds
% 59.98/68.05 % Running -m NewStrategy26604 for 600.0 seconds
% 59.98/68.06 % Running -m NewStrategy26604 for 600.0 seconds
% 59.98/68.07 % Running -m NewStrategy26604 for 600.0 seconds
% 59.98/68.08 % Running -m NewStrategy26604 for 600.0 seconds
% 59.98/68.08 % Running -m NewStrategy26604 for 600.0 seconds
% 59.98/68.09 % Running -m NewStrategy26604 for 600.0 seconds
% 59.98/68.10 % Running -m NewStrategy26604 for 600.0 seconds
% 60.06/68.11 % Running -m NewStrategy26604 for 600.0 seconds
% 60.06/68.12 % Running -m NewStrategy26604 for 600.0 seconds
% 60.06/68.12 % Running -m NewStrategy26604 for 600.0 seconds
% 60.06/68.13 % Running -m NewStrategy26604 for 600.0 seconds
% 60.06/68.14 % Running -m NewStrategy26604 for 600.0 seconds
% 60.06/68.15 % Running -m NewStrategy26604 for 600.0 seconds
% 60.06/68.15 % Running -m NewStrategy26604 for 600.0 seconds
% 60.06/68.16 % Running -m NewStrategy26604 for 600.0 seconds
% 60.06/68.17 % Running -m NewStrategy26604 for 600.0 seconds
% 60.06/68.18 % Running -m NewStrategy26604 for 600.0 seconds
% 60.06/68.19 % Running -m NewStrategy26604 for 600.0 seconds
% 60.06/68.19 % Running -m NewStrategy26604 for 600.0 seconds
% 60.06/68.20 % Running -m NewStrategy26604 for 600.0 seconds
% 60.15/68.21 % Running -m NewStrategy26604 for 600.0 seconds
% 60.15/68.27 % Running -m NewStrategy26604 for 600.0 seconds
% 60.15/68.28 % Running -m NewStrategy26604 for 600.0 seconds
% 60.15/68.29 % Running -m NewStrategy26604 for 600.0 seconds
% 60.19/68.30 % Running -m NewStrategy26604 for 600.0 seconds
% 60.19/68.31 % Running -m NewStrategy26604 for 600.0 seconds
% 60.19/68.32 % Running -m NewStrategy26604 for 600.0 seconds
% 60.19/68.33 % Running -m NewStrategy26604 for 600.0 seconds
% 60.19/68.33 % Running -m NewStrategy26604 for 600.0 seconds
% 60.19/68.34 % Running -m NewStrategy26604 for 600.0 seconds
% 60.19/68.35 % Running -m NewStrategy26604 for 600.0 seconds
% 60.19/68.36 % Running -m NewStrategy26604 for 600.0 seconds
% 60.19/68.37 % Running -m NewStrategy26604 for 600.0 seconds
% 60.19/68.38 % Running -m NewStrategy26604 for 600.0 seconds
% 60.19/68.39 % Running -m NewStrategy26604 for 600.0 seconds
% 60.27/68.40 % Running -m NewStrategy26604 for 600.0 seconds
% 60.27/68.41 % Running -m NewStrategy26604 for 600.0 seconds
% 60.27/68.41 % Running -m NewStrategy26604 for 600.0 seconds
% 60.27/68.42 % Running -m NewStrategy26604 for 600.0 seconds
% 60.27/68.43 % Running -m NewStrategy26604 for 600.0 seconds
% 60.27/68.44 % Running -m NewStrategy26604 for 600.0 seconds
% 60.27/68.45 % Running -m NewStrategy26604 for 600.0 seconds
% 60.27/68.45 % Running -m NewStrategy26604 for 600.0 seconds
% 60.27/68.46 % Running -m NewStrategy26604 for 600.0 seconds
% 60.27/68.47 % Running -m NewStrategy26604 for 600.0 seconds
% 60.27/68.48 % Running -m NewStrategy26604 for 600.0 seconds
% 60.27/68.49 % Running -m NewStrategy26604 for 600.0 seconds
% 60.27/68.49 % Running -m NewStrategy26604 for 600.0 seconds
% 60.34/68.50 % Running -m NewStrategy26604 for 600.0 seconds
% 60.34/68.51 % Running -m NewStrategy26604 for 600.0 seconds
% 60.34/68.52 % Running -m NewStrategy26604 for 600.0 seconds
% 60.34/68.53 % Running -m NewStrategy26604 for 600.0 seconds
% 60.34/68.53 % Running -m NewStrategy26604 for 600.0 seconds
% 60.34/68.54 % Running -m NewStrategy26604 for 600.0 seconds
% 60.34/68.55 % Running -m NewStrategy26604 for 600.0 seconds
% 60.34/68.56 % Running -m NewStrategy26604 for 600.0 seconds
% 60.34/68.56 % Running -m NewStrategy26604 for 600.0 seconds
% 60.34/68.57 % Running -m NewStrategy26604 for 600.0 seconds
% 60.34/68.58 % Running -m NewStrategy26604 for 600.0 seconds
% 60.34/68.59 % Running -m NewStrategy26604 for 600.0 seconds
% 60.34/68.60 % Running -m NewStrategy26604 for 600.0 seconds
% 60.43/68.60 % Running -m NewStrategy26604 for 600.0 seconds
% 60.43/68.61 % Running -m NewStrategy26604 for 600.0 seconds
% 60.43/68.62 % Running -m NewStrategy26604 for 600.0 seconds
% 60.43/68.63 % Running -m NewStrategy26604 for 600.0 seconds
% 60.43/68.63 % Running -m NewStrategy26604 for 600.0 seconds
% 60.43/68.64 % Running -m NewStrategy26604 for 600.0 seconds
% 60.43/68.68 % Running -m NewStrategy26604 for 600.0 seconds
% 60.43/68.69 % Running -m NewStrategy26604 for 600.0 seconds
% 60.48/68.70 % Running -m NewStrategy26604 for 600.0 seconds
% 60.48/68.70 % Running -m NewStrategy26604 for 600.0 seconds
% 60.48/68.71 % Running -m NewStrategy26604 for 600.0 seconds
% 60.48/68.72 % Running -m NewStrategy26604 for 600.0 seconds
% 60.48/68.72 % Running -m NewStrategy26604 for 600.0 seconds
% 60.48/68.73 % Running -m NewStrategy26604 for 600.0 seconds
% 60.48/68.74 % Running -m NewStrategy26604 for 600.0 seconds
% 60.48/68.75 % Running -m NewStrategy26604 for 600.0 seconds
% 60.48/68.76 % Running -m NewStrategy26604 for 600.0 seconds
% 60.48/68.77 % Running -m NewStrategy26604 for 600.0 seconds
% 60.48/68.77 % Running -m NewStrategy26604 for 600.0 seconds
% 60.48/68.78 % Running -m NewStrategy26604 for 600.0 seconds
% 60.48/68.79 % Running -m NewStrategy26604 for 600.0 seconds
% 60.56/68.80 % Running -m NewStrategy26604 for 600.0 seconds
% 60.56/68.81 % Running -m NewStrategy26604 for 600.0 seconds
% 60.56/68.81 % Running -m NewStrategy26604 for 600.0 seconds
% 60.56/68.82 % Running -m NewStrategy26604 for 600.0 seconds
% 60.56/68.83 % Running -m NewStrategy26604 for 600.0 seconds
% 60.56/68.84 % Running -m NewStrategy26604 for 600.0 seconds
% 60.56/68.85 % Running -m NewStrategy26604 for 600.0 seconds
% 60.56/68.86 % Running -m NewStrategy26604 for 600.0 seconds
% 60.56/68.87 % Running -m NewStrategy26604 for 600.0 seconds
% 60.56/68.88 % Running -m NewStrategy26604 for 600.0 seconds
% 60.56/68.88 % Running -m NewStrategy26604 for 600.0 seconds
% 60.56/68.89 % Running -m NewStrategy26604 for 600.0 seconds
% 60.65/68.90 % Running -m NewStrategy26604 for 600.0 seconds
% 60.65/68.91 % Running -m NewStrategy26604 for 600.0 seconds
% 60.65/68.92 % Running -m NewStrategy26604 for 600.0 seconds
% 60.65/68.93 % Running -m NewStrategy26604 for 600.0 seconds
% 60.65/68.94 % Running -m NewStrategy26604 for 600.0 seconds
% 60.65/68.95 % Running -m NewStrategy26604 for 600.0 seconds
% 60.65/68.96 % Running -m NewStrategy26604 for 600.0 seconds
% 60.65/68.96 % Running -m NewStrategy26604 for 600.0 seconds
% 60.65/68.97 % Running -m NewStrategy26604 for 600.0 seconds
% 60.65/68.99 % Running -m NewStrategy26604 for 600.0 seconds
% 60.72/69.02 % Running -m NewStrategy26604 for 600.0 seconds
% 60.72/69.03 % Running -m NewStrategy26604 for 600.0 seconds
% 60.72/69.04 % Running -m NewStrategy26604 for 600.0 seconds
% 60.72/69.04 % Running -m NewStrategy26604 for 600.0 seconds
% 60.72/69.05 % Running -m NewStrategy26604 for 600.0 seconds
% 60.72/69.06 % Running -m NewStrategy26604 for 600.0 seconds
% 60.72/69.07 % Running -m NewStrategy26604 for 600.0 seconds
% 60.72/69.08 % Running -m NewStrategy26604 for 600.0 seconds
% 60.72/69.08 % Running -m NewStrategy26604 for 600.0 seconds
% 60.72/69.09 % Running -m NewStrategy26604 for 600.0 seconds
% 60.80/69.10 % Running -m NewStrategy26604 for 600.0 seconds
% 60.80/69.11 % Running -m NewStrategy26604 for 600.0 seconds
% 60.80/69.12 % Running -m NewStrategy26604 for 600.0 seconds
% 60.80/69.12 % Running -m NewStrategy26604 for 600.0 seconds
% 60.80/69.13 % Running -m NewStrategy26604 for 600.0 seconds
% 60.80/69.14 % Running -m NewStrategy26604 for 600.0 seconds
% 60.80/69.15 % Running -m NewStrategy26604 for 600.0 seconds
% 60.80/69.15 % Running -m NewStrategy26604 for 600.0 seconds
% 60.80/69.16 % Running -m NewStrategy26604 for 600.0 seconds
% 60.80/69.17 % Running -m NewStrategy26604 for 600.0 seconds
% 60.80/69.18 % Running -m NewStrategy26604 for 600.0 seconds
% 60.80/69.19 % Running -m NewStrategy26604 for 600.0 seconds
% 60.80/69.20 % Running -m NewStrategy26604 for 600.0 seconds
% 60.80/69.20 % Running -m NewStrategy26604 for 600.0 seconds
% 60.89/69.21 % Running -m NewStrategy26604 for 600.0 seconds
% 60.89/69.22 % Running -m NewStrategy26604 for 600.0 seconds
% 60.89/69.23 % Running -m NewStrategy26604 for 600.0 seconds
% 60.89/69.23 % Running -m NewStrategy26604 for 600.0 seconds
% 60.89/69.24 % Running -m NewStrategy26604 for 600.0 seconds
% 60.89/69.25 % Running -m NewStrategy26604 for 600.0 seconds
% 60.89/69.26 % Running -m NewStrategy26604 for 600.0 seconds
% 60.89/69.27 % Running -m NewStrategy26604 for 600.0 seconds
% 60.89/69.28 % Running -m NewStrategy26604 for 600.0 seconds
% 60.89/69.28 % Running -m NewStrategy26604 for 600.0 seconds
% 60.89/69.29 % Running -m NewStrategy26604 for 600.0 seconds
% 60.89/69.30 % Running -m NewStrategy26604 for 600.0 seconds
% 60.97/69.31 % Running -m NewStrategy26604 for 600.0 seconds
% 60.97/69.31 % Running -m NewStrategy26604 for 600.0 seconds
% 60.97/69.32 % Running -m NewStrategy26604 for 600.0 seconds
% 60.97/69.33 % Running -m NewStrategy26604 for 600.0 seconds
% 60.97/69.34 % Running -m NewStrategy26604 for 600.0 seconds
% 60.97/69.35 % Running -m NewStrategy26604 for 600.0 seconds
% 60.97/69.35 % Running -m NewStrategy26604 for 600.0 seconds
% 60.97/69.36 % Running -m NewStrategy26604 for 600.0 seconds
% 60.97/69.37 % Running -m NewStrategy26604 for 600.0 seconds
% 60.97/69.38 % Running -m NewStrategy26604 for 600.0 seconds
% 60.97/69.39 % Running -m NewStrategy26604 for 600.0 seconds
% 60.97/69.39 % Running -m NewStrategy26604 for 600.0 seconds
% 61.05/69.40 % Running -m NewStrategy26604 for 600.0 seconds
% 61.05/69.41 % Running -m NewStrategy26604 for 600.0 seconds
% 61.05/69.42 % Running -m NewStrategy26604 for 600.0 seconds
% 61.05/69.42 % Running -m NewStrategy26604 for 600.0 seconds
% 61.05/69.43 % Running -m NewStrategy26604 for 600.0 seconds
% 61.05/69.44 % Running -m NewStrategy26604 for 600.0 seconds
% 61.05/69.45 % Running -m NewStrategy26604 for 600.0 seconds
% 61.05/69.46 % Running -m NewStrategy26604 for 600.0 seconds
% 61.05/69.47 % Running -m NewStrategy26604 for 600.0 seconds
% 61.05/69.48 % Running -m NewStrategy26604 for 600.0 seconds
% 61.05/69.49 % Running -m NewStrategy26604 for 600.0 seconds
% 61.05/69.50 % Running -m NewStrategy26604 for 600.0 seconds
% 61.12/69.50 % Running -m NewStrategy26604 for 600.0 seconds
% 61.12/69.51 % Running -m NewStrategy26604 for 600.0 seconds
% 61.12/69.53 % Running -m NewStrategy26604 for 600.0 seconds
% 61.12/69.55 % Running -m NewStrategy26604 for 600.0 seconds
% 61.12/69.56 % Running -m NewStrategy26604 for 600.0 seconds
% 61.12/69.56 % Running -m NewStrategy26604 for 600.0 seconds
% 61.12/69.57 % Running -m NewStrategy26604 for 600.0 seconds
% 61.12/69.58 % Running -m NewStrategy26604 for 600.0 seconds
% 61.12/69.59 % Running -m NewStrategy26604 for 600.0 seconds
% 61.20/69.60 % Running -m NewStrategy26604 for 600.0 seconds
% 61.20/69.61 % Running -m NewStrategy26604 for 600.0 seconds
% 61.20/69.62 % Running -m NewStrategy26604 for 600.0 seconds
% 61.20/69.63 % Running -m NewStrategy26604 for 600.0 seconds
% 61.20/69.64 % Running -m NewStrategy26604 for 600.0 seconds
% 61.20/69.65 % Running -m NewStrategy26604 for 600.0 seconds
% 61.20/69.65 % Running -m NewStrategy26604 for 600.0 seconds
% 61.20/69.66 % Running -m NewStrategy26604 for 600.0 seconds
% 61.20/69.67 % Running -m NewStrategy26604 for 600.0 seconds
% 61.20/69.68 % Running -m NewStrategy26604 for 600.0 seconds
% 61.20/69.68 % Running -m NewStrategy26604 for 600.0 seconds
% 61.20/69.69 % Running -m NewStrategy26604 for 600.0 seconds
% 61.29/69.70 % Running -m NewStrategy26604 for 600.0 seconds
% 61.29/69.71 % Running -m NewStrategy26604 for 600.0 seconds
% 61.29/69.72 % Running -m NewStrategy26604 for 600.0 seconds
% 61.29/69.72 % Running -m NewStrategy26604 for 600.0 seconds
% 61.29/69.73 % Running -m NewStrategy26604 for 600.0 seconds
% 61.29/69.74 % Running -m NewStrategy26604 for 600.0 seconds
% 61.29/69.75 % Running -m NewStrategy26604 for 600.0 seconds
% 61.29/69.76 % Running -m NewStrategy26604 for 600.0 seconds
% 61.29/69.76 % Running -m NewStrategy26604 for 600.0 seconds
% 61.29/69.77 % Running -m NewStrategy26604 for 600.0 seconds
% 61.29/69.78 % Running -m NewStrategy26604 for 600.0 seconds
% 61.29/69.79 % Running -m NewStrategy26604 for 600.0 seconds
% 61.37/69.80 % Running -m NewStrategy26604 for 600.0 seconds
% 61.37/69.80 % Running -m NewStrategy26604 for 600.0 seconds
% 61.37/69.81 % Running -m NewStrategy26604 for 600.0 seconds
% 61.37/69.82 % Running -m NewStrategy26604 for 600.0 seconds
% 61.37/69.83 % Running -m NewStrategy26604 for 600.0 seconds
% 61.37/69.84 % Running -m NewStrategy26604 for 600.0 seconds
% 61.37/69.84 % Running -m NewStrategy26604 for 600.0 seconds
% 61.37/69.85 % Running -m NewStrategy26604 for 600.0 seconds
% 61.37/69.86 % Running -m NewStrategy26604 for 600.0 seconds
% 61.37/69.87 % Running -m NewStrategy26604 for 600.0 seconds
% 61.37/69.88 % Running -m NewStrategy26604 for 600.0 seconds
% 61.37/69.88 % Running -m NewStrategy26604 for 600.0 seconds
% 61.37/69.89 % Running -m NewStrategy26604 for 600.0 seconds
% 61.45/69.90 % Running -m NewStrategy26604 for 600.0 seconds
% 61.45/69.91 % Running -m NewStrategy26604 for 600.0 seconds
% 61.45/69.92 % Running -m NewStrategy26604 for 600.0 seconds
% 61.45/69.92 % Running -m NewStrategy26604 for 600.0 seconds
% 61.45/69.93 % Running -m NewStrategy26604 for 600.0 seconds
% 61.45/69.94 % Running -m NewStrategy26604 for 600.0 seconds
% 61.45/69.95 % Running -m NewStrategy26604 for 600.0 seconds
% 61.45/69.95 % Running -m NewStrategy26604 for 600.0 seconds
% 61.45/69.96 % Running -m NewStrategy26604 for 600.0 seconds
% 61.45/69.97 % Running -m NewStrategy26604 for 600.0 seconds
% 61.45/69.98 % Running -m NewStrategy26604 for 600.0 seconds
% 61.45/69.99 % Running -m NewStrategy26604 for 600.0 seconds
% 61.45/69.99 % Running -m NewStrategy26604 for 600.0 seconds
% 61.54/70.00 % Running -m NewStrategy26604 for 600.0 seconds
% 61.54/70.01 % Running -m NewStrategy26604 for 600.0 seconds
% 61.54/70.02 % Running -m NewStrategy26604 for 600.0 seconds
% 61.54/70.02 % Running -m NewStrategy26604 for 600.0 seconds
% 61.54/70.03 % Running -m NewStrategy26604 for 600.0 seconds
% 61.54/70.04 % Running -m NewStrategy26604 for 600.0 seconds
% 61.54/70.05 % Running -m NewStrategy26604 for 600.0 seconds
% 61.54/70.08 % Running -m NewStrategy26604 for 600.0 seconds
% 61.54/70.09 % Running -m NewStrategy26604 for 600.0 seconds
% 61.60/70.10 % Running -m NewStrategy26604 for 600.0 seconds
% 61.60/70.10 % Running -m NewStrategy26604 for 600.0 seconds
% 61.60/70.11 % Running -m NewStrategy26604 for 600.0 seconds
% 61.60/70.12 % Running -m NewStrategy26604 for 600.0 seconds
% 61.60/70.13 % Running -m NewStrategy26604 for 600.0 seconds
% 61.60/70.14 % Running -m NewStrategy26604 for 600.0 seconds
% 61.60/70.14 % Running -m NewStrategy26604 for 600.0 seconds
% 61.60/70.15 % Running -m NewStrategy26604 for 600.0 seconds
% 61.60/70.16 % Running -m NewStrategy26604 for 600.0 seconds
% 61.60/70.17 % Running -m NewStrategy26604 for 600.0 seconds
% 61.60/70.18 % Running -m NewStrategy26604 for 600.0 seconds
% 61.60/70.19 % Running -m NewStrategy26604 for 600.0 seconds
% 61.60/70.20 % Running -m NewStrategy26604 for 600.0 seconds
% 61.68/70.20 % Running -m NewStrategy26604 for 600.0 seconds
% 61.68/70.21 % Running -m NewStrategy26604 for 600.0 seconds
% 61.68/70.22 % Running -m NewStrategy26604 for 600.0 seconds
% 61.68/70.23 % Running -m NewStrategy26604 for 600.0 seconds
% 61.68/70.24 % Running -m NewStrategy26604 for 600.0 seconds
% 61.68/70.25 % Running -m NewStrategy26604 for 600.0 seconds
% 61.68/70.26 % Running -m NewStrategy26604 for 600.0 seconds
% 61.68/70.26 % Running -m NewStrategy26604 for 600.0 seconds
% 61.68/70.27 % Running -m NewStrategy26604 for 600.0 seconds
% 61.68/70.28 % Running -m NewStrategy26604 for 600.0 seconds
% 61.68/70.29 % Running -m NewStrategy26604 for 600.0 seconds
% 61.68/70.30 % Running -m NewStrategy26604 for 600.0 seconds
% 61.68/70.30 % Running -m NewStrategy26604 for 600.0 seconds
% 61.78/70.31 % Running -m NewStrategy26604 for 600.0 seconds
% 61.78/70.32 % Running -m NewStrategy26604 for 600.0 seconds
% 61.78/70.33 % Running -m NewStrategy26604 for 600.0 seconds
% 61.78/70.34 % Running -m NewStrategy26604 for 600.0 seconds
% 61.78/70.34 % Running -m NewStrategy26604 for 600.0 seconds
% 61.78/70.35 % Running -m NewStrategy26604 for 600.0 seconds
% 61.78/70.36 % Running -m NewStrategy26604 for 600.0 seconds
% 61.78/70.37 % Running -m NewStrategy26604 for 600.0 seconds
% 61.78/70.37 % Running -m NewStrategy26604 for 600.0 seconds
% 61.78/70.38 % Running -m NewStrategy26604 for 600.0 seconds
% 61.78/70.39 % Running -m NewStrategy26604 for 600.0 seconds
% 61.78/70.40 % Running -m NewStrategy26604 for 600.0 seconds
% 61.86/70.41 % Running -m NewStrategy26604 for 600.0 seconds
% 61.86/70.41 % Running -m NewStrategy26604 for 600.0 seconds
% 61.86/70.42 % Running -m NewStrategy26604 for 600.0 seconds
% 61.86/70.43 % Running -m NewStrategy26604 for 600.0 seconds
% 61.86/70.44 % Running -m NewStrategy26604 for 600.0 seconds
% 61.86/70.45 % Running -m NewStrategy26604 for 600.0 seconds
% 61.86/70.45 % Running -m NewStrategy26604 for 600.0 seconds
% 61.86/70.46 % Running -m NewStrategy26604 for 600.0 seconds
% 61.86/70.47 % Running -m NewStrategy26604 for 600.0 seconds
% 61.86/70.48 % Running -m NewStrategy26604 for 600.0 seconds
% 61.86/70.48 % Running -m NewStrategy26604 for 600.0 seconds
% 61.86/70.49 % Running -m NewStrategy26604 for 600.0 seconds
% 61.94/70.50 % Running -m NewStrategy26604 for 600.0 seconds
% 61.94/70.51 % Running -m NewStrategy26604 for 600.0 seconds
% 61.94/70.52 % Running -m NewStrategy26604 for 600.0 seconds
% 61.94/70.52 % Running -m NewStrategy26604 for 600.0 seconds
% 61.94/70.53 % Running -m NewStrategy26604 for 600.0 seconds
% 61.94/70.54 % Running -m NewStrategy26604 for 600.0 seconds
% 61.94/70.55 % Running -m NewStrategy26604 for 600.0 seconds
% 61.94/70.56 % Running -m NewStrategy26604 for 600.0 seconds
% 61.94/70.56 % Running -m NewStrategy26604 for 600.0 seconds
% 61.94/70.57 % Running -m NewStrategy26604 for 600.0 seconds
% 61.94/70.58 % Running -m NewStrategy26604 for 600.0 seconds
% 61.94/70.59 % Running -m NewStrategy26604 for 600.0 seconds
% 62.01/70.60 % Running -m NewStrategy26604 for 600.0 seconds
% 62.01/70.60 % Running -m NewStrategy26604 for 600.0 seconds
% 62.01/70.61 % Running -m NewStrategy26604 for 600.0 seconds
% 62.01/70.62 % Running -m NewStrategy26604 for 600.0 seconds
% 62.01/70.63 % Running -m NewStrategy26604 for 600.0 seconds
% 62.01/70.64 % Running -m NewStrategy26604 for 600.0 seconds
% 62.01/70.64 % Running -m NewStrategy26604 for 600.0 seconds
% 62.01/70.65 % Running -m NewStrategy26604 for 600.0 seconds
% 62.01/70.66 % Running -m NewStrategy26604 for 600.0 seconds
% 62.01/70.67 % Running -m NewStrategy26604 for 600.0 seconds
% 62.01/70.68 % Running -m NewStrategy26604 for 600.0 seconds
% 62.01/70.68 % Running -m NewStrategy26604 for 600.0 seconds
% 62.01/70.69 % Running -m NewStrategy26604 for 600.0 seconds
% 62.10/70.70 % Running -m NewStrategy26604 for 600.0 seconds
% 62.10/70.71 % Running -m NewStrategy26604 for 600.0 seconds
% 62.10/70.74 % Running -m NewStrategy26604 for 600.0 seconds
% 62.10/70.75 % Running -m NewStrategy26604 for 600.0 seconds
% 62.10/70.76 % Running -m NewStrategy26604 for 600.0 seconds
% 62.10/70.77 % Running -m NewStrategy26604 for 600.0 seconds
% 62.10/70.77 % Running -m NewStrategy26604 for 600.0 seconds
% 62.10/70.78 % Running -m NewStrategy26604 for 600.0 seconds
% 62.10/70.79 % Running -m NewStrategy26604 for 600.0 seconds
% 62.17/70.80 % Running -m NewStrategy26604 for 600.0 seconds
% 62.17/70.81 % Running -m NewStrategy26604 for 600.0 seconds
% 62.17/70.82 % Running -m NewStrategy26604 for 600.0 seconds
% 62.17/70.83 % Running -m NewStrategy26604 for 600.0 seconds
% 62.17/70.84 % Running -m NewStrategy26604 for 600.0 seconds
% 62.17/70.85 % Running -m NewStrategy26604 for 600.0 seconds
% 62.17/70.85 % Running -m NewStrategy26604 for 600.0 seconds
% 62.17/70.86 % Running -m NewStrategy26604 for 600.0 seconds
% 62.17/70.87 % Running -m NewStrategy26604 for 600.0 seconds
% 62.17/70.88 % Running -m NewStrategy26604 for 600.0 seconds
% 62.17/70.89 % Running -m NewStrategy26604 for 600.0 seconds
% 62.25/70.90 % Running -m NewStrategy26604 for 600.0 seconds
% 62.25/70.91 % Running -m NewStrategy26604 for 600.0 seconds
% 62.25/70.92 % Running -m NewStrategy26604 for 600.0 seconds
% 62.25/70.92 % Running -m NewStrategy26604 for 600.0 seconds
% 62.25/70.93 % Running -m NewStrategy26604 for 600.0 seconds
% 62.25/70.94 % Running -m NewStrategy26604 for 600.0 seconds
% 62.25/70.95 % Running -m NewStrategy26604 for 600.0 seconds
% 62.25/70.96 % Running -m NewStrategy26604 for 600.0 seconds
% 62.25/70.96 % Running -m NewStrategy26604 for 600.0 seconds
% 62.25/70.97 % Running -m NewStrategy26604 for 600.0 seconds
% 62.25/70.98 % Running -m NewStrategy26604 for 600.0 seconds
% 62.25/70.99 % Running -m NewStrategy26604 for 600.0 seconds
% 62.33/71.02 % Running -m NewStrategy26604 for 600.0 seconds
% 62.33/71.03 % Running -m NewStrategy26604 for 600.0 seconds
% 62.33/71.03 % Running -m NewStrategy26604 for 600.0 seconds
% 62.33/71.04 % Running -m NewStrategy26604 for 600.0 seconds
% 62.33/71.05 % Running -m NewStrategy26604 for 600.0 seconds
% 62.33/71.06 % Running -m NewStrategy26604 for 600.0 seconds
% 62.33/71.07 % Running -m NewStrategy26604 for 600.0 seconds
% 62.33/71.07 % Running -m NewStrategy26604 for 600.0 seconds
% 62.33/71.08 % Running -m NewStrategy26604 for 600.0 seconds
% 62.33/71.09 % Running -m NewStrategy26604 for 600.0 seconds
% 62.42/71.10 % Running -m NewStrategy26604 for 600.0 seconds
% 62.42/71.11 % Running -m NewStrategy26604 for 600.0 seconds
% 62.42/71.11 % Running -m NewStrategy26604 for 600.0 seconds
% 62.42/71.12 % Running -m NewStrategy26604 for 600.0 seconds
% 62.42/71.13 % Running -m NewStrategy26604 for 600.0 seconds
% 62.42/71.14 % Running -m NewStrategy26604 for 600.0 seconds
% 62.42/71.15 % Running -m NewStrategy26604 for 600.0 seconds
% 62.42/71.15 % Running -m NewStrategy26604 for 600.0 seconds
% 62.42/71.16 % Running -m NewStrategy26604 for 600.0 seconds
% 62.42/71.17 % Running -m NewStrategy26604 for 600.0 seconds
% 62.42/71.18 % Running -m NewStrategy26604 for 600.0 seconds
% 62.42/71.19 % Running -m NewStrategy26604 for 600.0 seconds
% 62.42/71.19 % Running -m NewStrategy26604 for 600.0 seconds
% 62.49/71.20 % Running -m NewStrategy26604 for 600.0 seconds
% 62.49/71.21 % Running -m NewStrategy26604 for 600.0 seconds
% 62.49/71.22 % Running -m NewStrategy26604 for 600.0 seconds
% 62.49/71.22 % Running -m NewStrategy26604 for 600.0 seconds
% 62.49/71.23 % Running -m NewStrategy26604 for 600.0 seconds
% 62.49/71.24 % Running -m NewStrategy26604 for 600.0 seconds
% 62.49/71.25 % Running -m NewStrategy26604 for 600.0 seconds
% 62.49/71.26 % Running -m NewStrategy26604 for 600.0 seconds
% 62.49/71.26 % Running -m NewStrategy26604 for 600.0 seconds
% 62.49/71.27 % Running -m NewStrategy26604 for 600.0 seconds
% 62.49/71.28 % Running -m NewStrategy26604 for 600.0 seconds
% 62.49/71.29 % Running -m NewStrategy26604 for 600.0 seconds
% 62.49/71.30 % Running -m NewStrategy26604 for 600.0 seconds
% 62.57/71.30 % Running -m NewStrategy26604 for 600.0 seconds
% 62.57/71.31 % Running -m NewStrategy26604 for 600.0 seconds
% 62.57/71.32 % Running -m NewStrategy26604 for 600.0 seconds
% 62.57/71.33 % Running -m NewStrategy26604 for 600.0 seconds
% 62.57/71.33 % Running -m NewStrategy26604 for 600.0 seconds
% 62.57/71.34 % Running -m NewStrategy26604 for 600.0 seconds
% 62.57/71.35 % Running -m NewStrategy26604 for 600.0 seconds
% 62.57/71.36 % Running -m NewStrategy26604 for 600.0 seconds
% 62.57/71.37 % Running -m NewStrategy26604 for 600.0 seconds
% 62.57/71.38 % Running -m NewStrategy26604 for 600.0 seconds
% 62.57/71.39 % Running -m NewStrategy26604 for 600.0 seconds
% 62.57/71.40 % Running -m NewStrategy26604 for 600.0 seconds
% 62.66/71.40 % Running -m NewStrategy26604 for 600.0 seconds
% 62.66/71.41 % Running -m NewStrategy26604 for 600.0 seconds
% 62.66/71.42 % Running -m NewStrategy26604 for 600.0 seconds
% 62.66/71.43 % Running -m NewStrategy26604 for 600.0 seconds
% 62.66/71.44 % Running -m NewStrategy26604 for 600.0 seconds
% 62.66/71.45 % Running -m NewStrategy26604 for 600.0 seconds
% 62.66/71.46 % Running -m NewStrategy26604 for 600.0 seconds
% 62.66/71.47 % Running -m NewStrategy26604 for 600.0 seconds
% 62.73/71.50 % Running -m NewStrategy26604 for 600.0 seconds
% 62.73/71.51 % Running -m NewStrategy26604 for 600.0 seconds
% 62.73/71.52 % Running -m NewStrategy26604 for 600.0 seconds
% 62.73/71.53 % Running -m NewStrategy26604 for 600.0 seconds
% 62.73/71.54 % Running -m NewStrategy26604 for 600.0 seconds
% 62.73/71.55 % Running -m NewStrategy26604 for 600.0 seconds
% 62.73/71.56 % Running -m NewStrategy26604 for 600.0 seconds
% 62.73/71.56 % Running -m NewStrategy26604 for 600.0 seconds
% 62.73/71.57 % Running -m NewStrategy26604 for 600.0 seconds
% 62.73/71.58 % Running -m NewStrategy26604 for 600.0 seconds
% 62.73/71.59 % Running -m NewStrategy26604 for 600.0 seconds
% 62.81/71.60 % Running -m NewStrategy26604 for 600.0 seconds
% 62.81/71.60 % Running -m NewStrategy26604 for 600.0 seconds
% 62.81/71.61 % Running -m NewStrategy26604 for 600.0 seconds
% 62.81/71.62 % Running -m NewStrategy26604 for 600.0 seconds
% 62.81/71.63 % Running -m NewStrategy26604 for 600.0 seconds
% 62.81/71.64 % Running -m NewStrategy26604 for 600.0 seconds
% 62.81/71.64 % Running -m NewStrategy26604 for 600.0 seconds
% 62.81/71.65 % Running -m NewStrategy26604 for 600.0 seconds
% 62.81/71.66 % Running -m NewStrategy26604 for 600.0 seconds
% 62.81/71.67 % Running -m NewStrategy26604 for 600.0 seconds
% 62.81/71.68 % Running -m NewStrategy26604 for 600.0 seconds
% 62.81/71.68 % Running -m NewStrategy26604 for 600.0 seconds
% 62.81/71.69 % Running -m NewStrategy26604 for 600.0 seconds
% 62.89/71.70 % Running -m NewStrategy26604 for 600.0 seconds
% 62.89/71.71 % Running -m NewStrategy26604 for 600.0 seconds
% 62.89/71.72 % Running -m NewStrategy26604 for 600.0 seconds
% 62.89/71.72 % Running -m NewStrategy26604 for 600.0 seconds
% 62.89/71.73 % Running -m NewStrategy26604 for 600.0 seconds
% 62.89/71.74 % Running -m NewStrategy26604 for 600.0 seconds
% 62.89/71.75 % Running -m NewStrategy26604 for 600.0 seconds
% 62.89/71.76 % Running -m NewStrategy26604 for 600.0 seconds
% 62.89/71.76 % Running -m NewStrategy26604 for 600.0 seconds
% 62.89/71.77 % Running -m NewStrategy26604 for 600.0 seconds
% 62.89/71.78 % Running -m NewStrategy26604 for 600.0 seconds
% 62.89/71.79 % Running -m NewStrategy26604 for 600.0 seconds
% 62.98/71.80 % Running -m NewStrategy26604 for 600.0 seconds
% 62.98/71.81 % Running -m NewStrategy26604 for 600.0 seconds
% 62.98/71.82 % Running -m NewStrategy26604 for 600.0 seconds
% 62.98/71.83 % Running -m NewStrategy26604 for 600.0 seconds
% 62.98/71.84 % Running -m NewStrategy26604 for 600.0 seconds
% 62.98/71.84 % Running -m NewStrategy26604 for 600.0 seconds
% 62.98/71.85 % Running -m NewStrategy26604 for 600.0 seconds
% 62.98/71.86 % Running -m NewStrategy26604 for 600.0 seconds
% 62.98/71.89 % Running -m NewStrategy26604 for 600.0 seconds
% 63.04/71.91 % Running -m NewStrategy26604 for 600.0 seconds
% 63.04/71.92 % Running -m NewStrategy26604 for 600.0 seconds
% 63.04/71.92 % Running -m NewStrategy26604 for 600.0 seconds
% 63.04/71.93 % Running -m NewStrategy26604 for 600.0 seconds
% 63.04/71.94 % Running -m NewStrategy26604 for 600.0 seconds
% 63.04/71.95 % Running -m NewStrategy26604 for 600.0 seconds
% 63.04/71.96 % Running -m NewStrategy26604 for 600.0 seconds
% 63.04/71.97 % Running -m NewStrategy26604 for 600.0 seconds
% 63.04/71.98 % Running -m NewStrategy26604 for 600.0 seconds
% 63.04/71.99 % Running -m NewStrategy26604 for 600.0 seconds
% 63.04/71.99 % Running -m NewStrategy26604 for 600.0 seconds
% 63.12/72.00 % Running -m NewStrategy26604 for 600.0 seconds
% 63.12/72.01 % Running -m NewStrategy26604 for 600.0 seconds
% 63.12/72.02 % Running -m NewStrategy26604 for 600.0 seconds
% 63.12/72.02 % Running -m NewStrategy26604 for 600.0 seconds
% 63.12/72.03 % Running -m NewStrategy26604 for 600.0 seconds
% 63.12/72.04 % Running -m NewStrategy26604 for 600.0 seconds
% 63.12/72.05 % Running -m NewStrategy26604 for 600.0 seconds
% 63.12/72.06 % Running -m NewStrategy26604 for 600.0 seconds
% 63.12/72.06 % Running -m NewStrategy26604 for 600.0 seconds
% 63.12/72.07 % Running -m NewStrategy26604 for 600.0 seconds
% 63.12/72.08 % Running -m NewStrategy26604 for 600.0 seconds
% 63.12/72.09 % Running -m NewStrategy26604 for 600.0 seconds
% 63.12/72.09 % Running -m NewStrategy26604 for 600.0 seconds
% 63.20/72.10 % Running -m NewStrategy26604 for 600.0 seconds
% 63.20/72.11 % Running -m NewStrategy26604 for 600.0 seconds
% 63.20/72.12 % Running -m NewStrategy26604 for 600.0 seconds
% 63.20/72.13 % Running -m NewStrategy26604 for 600.0 seconds
% 63.20/72.13 % Running -m NewStrategy26604 for 600.0 seconds
% 63.20/72.14 % Running -m NewStrategy26604 for 600.0 seconds
% 63.20/72.15 % Running -m NewStrategy26604 for 600.0 seconds
% 63.20/72.16 % Running -m NewStrategy26604 for 600.0 seconds
% 63.20/72.17 % Running -m NewStrategy26604 for 600.0 seconds
% 63.20/72.17 % Running -m NewStrategy26604 for 600.0 seconds
% 63.20/72.18 % Running -m NewStrategy26604 for 600.0 seconds
% 63.20/72.19 % Running -m NewStrategy26604 for 600.0 seconds
% 63.29/72.20 % Running -m NewStrategy26604 for 600.0 seconds
% 63.29/72.20 % Running -m NewStrategy26604 for 600.0 seconds
% 63.29/72.21 % Running -m NewStrategy26604 for 600.0 seconds
% 63.29/72.22 % Running -m NewStrategy26604 for 600.0 seconds
% 63.29/72.23 % Running -m NewStrategy26604 for 600.0 seconds
% 63.29/72.24 % Running -m NewStrategy26604 for 600.0 seconds
% 63.29/72.24 % Running -m NewStrategy26604 for 600.0 seconds
% 63.29/72.25 % Running -m NewStrategy26604 for 600.0 seconds
% 63.29/72.26 % Running -m NewStrategy26604 for 600.0 seconds
% 63.29/72.27 % Running -m NewStrategy26604 for 600.0 seconds
% 63.29/72.28 % Running -m NewStrategy26604 for 600.0 seconds
% 63.29/72.28 % Running -m NewStrategy26604 for 600.0 seconds
% 63.29/72.29 % Running -m NewStrategy26604 for 600.0 seconds
% 63.37/72.30 % Running -m NewStrategy26604 for 600.0 seconds
% 63.37/72.31 % Running -m NewStrategy26604 for 600.0 seconds
% 63.37/72.32 % Running -m NewStrategy26604 for 600.0 seconds
% 63.37/72.32 % Running -m NewStrategy26604 for 600.0 seconds
% 63.37/72.33 % Running -m NewStrategy26604 for 600.0 seconds
% 63.37/72.34 % Running -m NewStrategy26604 for 600.0 seconds
% 63.37/72.35 % Running -m NewStrategy26604 for 600.0 seconds
% 63.37/72.35 % Running -m NewStrategy26604 for 600.0 seconds
% 63.37/72.36 % Running -m NewStrategy26604 for 600.0 seconds
% 63.37/72.37 % Running -m NewStrategy26604 for 600.0 seconds
% 63.37/72.38 % Running -m NewStrategy26604 for 600.0 seconds
% 63.37/72.39 % Running -m NewStrategy26604 for 600.0 seconds
% 63.37/72.39 % Running -m NewStrategy26604 for 600.0 seconds
% 63.45/72.40 % Running -m NewStrategy26604 for 600.0 seconds
% 63.45/72.41 % Running -m NewStrategy26604 for 600.0 seconds
% 63.45/72.42 % Running -m NewStrategy26604 for 600.0 seconds
% 63.45/72.43 % Running -m NewStrategy26604 for 600.0 seconds
% 63.45/72.44 % Running -m NewStrategy26604 for 600.0 seconds
% 63.45/72.48 % Running -m NewStrategy26604 for 600.0 seconds
% 63.45/72.49 % Running -m NewStrategy26604 for 600.0 seconds
% 63.45/72.50 % Running -m NewStrategy26604 for 600.0 seconds
% 63.51/72.51 % Running -m NewStrategy26604 for 600.0 seconds
% 63.51/72.52 % Running -m NewStrategy26604 for 600.0 seconds
% 63.51/72.53 % Running -m NewStrategy26604 for 600.0 seconds
% 63.51/72.54 % Running -m NewStrategy26604 for 600.0 seconds
% 63.51/72.54 % Running -m NewStrategy26604 for 600.0 seconds
% 63.51/72.55 % Running -m NewStrategy26604 for 600.0 seconds
% 63.51/72.56 % Running -m NewStrategy26604 for 600.0 seconds
% 63.51/72.57 % Running -m NewStrategy26604 for 600.0 seconds
% 63.51/72.58 % Running -m NewStrategy26604 for 600.0 seconds
% 63.51/72.59 % Running -m NewStrategy26604 for 600.0 seconds
% 63.51/72.60 % Running -m NewStrategy26604 for 600.0 seconds
% 63.59/72.61 % Running -m NewStrategy26604 for 600.0 seconds
% 63.59/72.61 % Running -m NewStrategy26604 for 600.0 seconds
% 63.59/72.62 % Running -m NewStrategy26604 for 600.0 seconds
% 63.59/72.63 % Running -m NewStrategy26604 for 600.0 seconds
% 63.59/72.64 % Running -m NewStrategy26604 for 600.0 seconds
% 63.59/72.65 % Running -m NewStrategy26604 for 600.0 seconds
% 63.59/72.65 % Running -m NewStrategy26604 for 600.0 seconds
% 63.59/72.66 % Running -m NewStrategy26604 for 600.0 seconds
% 63.59/72.67 % Running -m NewStrategy26604 for 600.0 seconds
% 63.59/72.68 % Running -m NewStrategy26604 for 600.0 seconds
% 63.59/72.69 % Running -m NewStrategy26604 for 600.0 seconds
% 63.59/72.69 % Running -m NewStrategy26604 for 600.0 seconds
% 63.68/72.70 % Running -m NewStrategy26604 for 600.0 seconds
% 63.68/72.71 % Running -m NewStrategy26604 for 600.0 seconds
% 63.68/72.72 % Running -m NewStrategy26604 for 600.0 seconds
% 63.68/72.73 % Running -m NewStrategy26604 for 600.0 seconds
% 63.68/72.73 % Running -m NewStrategy26604 for 600.0 seconds
% 63.68/72.74 % Running -m NewStrategy26604 for 600.0 seconds
% 63.68/72.75 % Running -m NewStrategy26604 for 600.0 seconds
% 63.68/72.76 % Running -m NewStrategy26604 for 600.0 seconds
% 63.68/72.76 % Running -m NewStrategy26604 for 600.0 seconds
% 63.68/72.77 % Running -m NewStrategy26604 for 600.0 seconds
% 63.68/72.78 % Running -m NewStrategy26604 for 600.0 seconds
% 63.68/72.79 % Running -m NewStrategy26604 for 600.0 seconds
% 63.76/72.80 % Running -m NewStrategy26604 for 600.0 seconds
% 63.76/72.80 % Running -m NewStrategy26604 for 600.0 seconds
% 63.76/72.81 % Running -m NewStrategy26604 for 600.0 seconds
% 63.76/72.82 % Running -m NewStrategy26604 for 600.0 seconds
% 63.76/72.83 % Running -m NewStrategy26604 for 600.0 seconds
% 63.76/72.85 % Running -m NewStrategy26604 for 600.0 seconds
% 63.76/72.89 % Running -m NewStrategy26604 for 600.0 seconds
% 63.76/72.89 % Running -m NewStrategy26604 for 600.0 seconds
% 63.80/72.90 % Running -m NewStrategy26604 for 600.0 seconds
% 63.80/72.91 % Running -m NewStrategy26604 for 600.0 seconds
% 63.80/72.92 % Running -m NewStrategy26604 for 600.0 seconds
% 63.80/72.93 % Running -m NewStrategy26604 for 600.0 seconds
% 63.80/72.94 % Running -m NewStrategy26604 for 600.0 seconds
% 63.80/72.95 % Running -m NewStrategy26604 for 600.0 seconds
% 63.80/72.95 % Running -m NewStrategy26604 for 600.0 seconds
% 63.80/72.96 % Running -m NewStrategy26604 for 600.0 seconds
% 63.80/72.97 % Running -m NewStrategy26604 for 600.0 seconds
% 63.80/72.98 % Running -m NewStrategy26604 for 600.0 seconds
% 63.80/72.99 % Running -m NewStrategy26604 for 600.0 seconds
% 63.91/73.00 % Running -m NewStrategy26604 for 600.0 seconds
% 63.91/73.00 % Running -m NewStrategy26604 for 600.0 seconds
% 63.91/73.01 % Running -m NewStrategy26604 for 600.0 seconds
% 63.91/73.02 % Running -m NewStrategy26604 for 600.0 seconds
% 63.91/73.03 % Running -m NewStrategy26604 for 600.0 seconds
% 63.91/73.04 % Running -m NewStrategy26604 for 600.0 seconds
% 63.91/73.04 % Running -m NewStrategy26604 for 600.0 seconds
% 63.91/73.05 % Running -m NewStrategy26604 for 600.0 seconds
% 63.91/73.06 % Running -m NewStrategy26604 for 600.0 seconds
% 63.91/73.07 % Running -m NewStrategy26604 for 600.0 seconds
% 63.91/73.08 % Running -m NewStrategy26604 for 600.0 seconds
% 63.91/73.08 % Running -m NewStrategy26604 for 600.0 seconds
% 63.91/73.09 % Running -m NewStrategy26604 for 600.0 seconds
% 63.98/73.10 % Running -m NewStrategy26604 for 600.0 seconds
% 63.98/73.11 % Running -m NewStrategy26604 for 600.0 seconds
% 63.98/73.11 % Running -m NewStrategy26604 for 600.0 seconds
% 63.98/73.12 % Running -m NewStrategy26604 for 600.0 seconds
% 63.98/73.13 % Running -m NewStrategy26604 for 600.0 seconds
% 63.98/73.14 % Running -m NewStrategy26604 for 600.0 seconds
% 63.98/73.15 % Running -m NewStrategy26604 for 600.0 seconds
% 63.98/73.15 % Running -m NewStrategy26604 for 600.0 seconds
% 63.98/73.16 % Running -m NewStrategy26604 for 600.0 seconds
% 63.98/73.17 % Running -m NewStrategy26604 for 600.0 seconds
% 63.98/73.18 % Running -m NewStrategy26604 for 600.0 seconds
% 63.98/73.18 % Running -m NewStrategy26604 for 600.0 seconds
% 63.98/73.19 % Running -m NewStrategy26604 for 600.0 seconds
% 64.07/73.20 % Running -m NewStrategy26604 for 600.0 seconds
% 64.07/73.21 % Running -m NewStrategy26604 for 600.0 seconds
% 64.07/73.22 % Running -m NewStrategy26604 for 600.0 seconds
% 64.07/73.22 % Running -m NewStrategy26604 for 600.0 seconds
% 64.07/73.23 % Running -m NewStrategy26604 for 600.0 seconds
% 64.07/73.24 % Running -m NewStrategy26604 for 600.0 seconds
% 64.07/73.25 % Running -m NewStrategy26604 for 600.0 seconds
% 64.07/73.26 % Running -m NewStrategy26604 for 600.0 seconds
% 64.07/73.26 % Running -m NewStrategy26604 for 600.0 seconds
% 64.07/73.27 % Running -m NewStrategy26604 for 600.0 seconds
% 64.07/73.28 % Running -m NewStrategy26604 for 600.0 seconds
% 64.07/73.29 % Running -m NewStrategy26604 for 600.0 seconds
% 64.07/73.29 % Running -m NewStrategy26604 for 600.0 seconds
% 64.15/73.30 % Running -m NewStrategy26604 for 600.0 seconds
% 64.15/73.31 % Running -m NewStrategy26604 for 600.0 seconds
% 64.15/73.32 % Running -m NewStrategy26604 for 600.0 seconds
% 64.15/73.33 % Running -m NewStrategy26604 for 600.0 seconds
% 64.15/73.33 % Running -m NewStrategy26604 for 600.0 seconds
% 64.15/73.34 % Running -m NewStrategy26604 for 600.0 seconds
% 64.15/73.35 % Running -m NewStrategy26604 for 600.0 seconds
% 64.15/73.36 % Running -m NewStrategy26604 for 600.0 seconds
% 64.15/73.37 % Running -m NewStrategy26604 for 600.0 seconds
% 64.15/73.37 % Running -m NewStrategy26604 for 600.0 seconds
% 64.15/73.38 % Running -m NewStrategy26604 for 600.0 seconds
% 64.15/73.39 % Running -m NewStrategy26604 for 600.0 seconds
% 64.24/73.40 % Running -m NewStrategy26604 for 600.0 seconds
% 64.24/73.41 % Running -m NewStrategy26604 for 600.0 seconds
% 64.24/73.41 % Running -m NewStrategy26604 for 600.0 seconds
% 64.24/73.42 % Running -m NewStrategy26604 for 600.0 seconds
% 64.24/73.43 % Running -m NewStrategy26604 for 600.0 seconds
% 64.24/73.44 % Running -m NewStrategy26604 for 600.0 seconds
% 64.24/73.45 % Running -m NewStrategy26604 for 600.0 seconds
% 64.24/73.46 % Running -m NewStrategy26604 for 600.0 seconds
% 64.24/73.46 % Running -m NewStrategy26604 for 600.0 seconds
% 64.24/73.47 % Running -m NewStrategy26604 for 600.0 seconds
% 64.31/73.52 % Running -m NewStrategy26604 for 600.0 seconds
% 64.31/73.54 % Running -m NewStrategy26604 for 600.0 seconds
% 64.31/73.55 % Running -m NewStrategy26604 for 600.0 seconds
% 64.31/73.56 % Running -m NewStrategy26604 for 600.0 seconds
% 64.31/73.57 % Running -m NewStrategy26604 for 600.0 seconds
% 64.31/73.58 % Running -m NewStrategy26604 for 600.0 seconds
% 64.31/73.59 % Running -m NewStrategy26604 for 600.0 seconds
% 64.31/73.59 % Running -m NewStrategy26604 for 600.0 seconds
% 64.31/73.60 % Running -m NewStrategy26604 for 600.0 seconds
% 64.37/73.61 % Running -m NewStrategy26604 for 600.0 seconds
% 64.37/73.62 % Running -m NewStrategy26604 for 600.0 seconds
% 64.37/73.63 % Running -m NewStrategy26604 for 600.0 seconds
% 64.37/73.64 % Running -m NewStrategy26604 for 600.0 seconds
% 64.37/73.65 % Running -m NewStrategy26604 for 600.0 seconds
% 64.37/73.66 % Running -m NewStrategy26604 for 600.0 seconds
% 64.37/73.66 % Running -m NewStrategy26604 for 600.0 seconds
% 64.37/73.67 % Running -m NewStrategy26604 for 600.0 seconds
% 64.37/73.68 % Running -m NewStrategy26604 for 600.0 seconds
% 64.37/73.69 % Running -m NewStrategy26604 for 600.0 seconds
% 64.37/73.70 % Running -m NewStrategy26604 for 600.0 seconds
% 64.37/73.70 % Running -m NewStrategy26604 for 600.0 seconds
% 64.44/73.71 % Running -m NewStrategy26604 for 600.0 seconds
% 64.44/73.72 % Running -m NewStrategy26604 for 600.0 seconds
% 64.44/73.73 % Running -m NewStrategy26604 for 600.0 seconds
% 64.44/73.74 % Running -m NewStrategy26604 for 600.0 seconds
% 64.44/73.74 % Running -m NewStrategy26604 for 600.0 seconds
% 64.44/73.75 % Running -m NewStrategy26604 for 600.0 seconds
% 64.44/73.76 % Running -m NewStrategy26604 for 600.0 seconds
% 64.44/73.77 % Running -m NewStrategy26604 for 600.0 seconds
% 64.44/73.77 % Running -m NewStrategy26604 for 600.0 seconds
% 64.44/73.78 % Running -m NewStrategy26604 for 600.0 seconds
% 64.44/73.79 % Running -m NewStrategy26604 for 600.0 seconds
% 64.54/73.80 % Running -m NewStrategy26604 for 600.0 seconds
% 64.54/73.81 % Running -m NewStrategy26604 for 600.0 seconds
% 64.54/73.81 % Running -m NewStrategy26604 for 600.0 seconds
% 64.54/73.82 % Running -m NewStrategy26604 for 600.0 seconds
% 64.54/73.83 % Running -m NewStrategy26604 for 600.0 seconds
% 64.54/73.84 % Running -m NewStrategy26604 for 600.0 seconds
% 64.54/73.85 % Running -m NewStrategy26604 for 600.0 seconds
% 64.54/73.85 % Running -m NewStrategy26604 for 600.0 seconds
% 64.54/73.86 % Running -m NewStrategy26604 for 600.0 seconds
% 64.54/73.87 % Running -m NewStrategy26604 for 600.0 seconds
% 64.54/73.88 % Running -m NewStrategy26604 for 600.0 seconds
% 64.54/73.88 % Running -m NewStrategy26604 for 600.0 seconds
% 64.54/73.89 % Running -m NewStrategy26604 for 600.0 seconds
% 64.61/73.90 % Running -m NewStrategy26604 for 600.0 seconds
% 64.61/73.91 % Running -m NewStrategy26604 for 600.0 seconds
% 64.61/73.92 % Running -m NewStrategy26604 for 600.0 seconds
% 64.61/73.92 % Running -m NewStrategy26604 for 600.0 seconds
% 64.61/73.93 % Running -m NewStrategy26604 for 600.0 seconds
% 64.61/73.94 % Running -m NewStrategy26604 for 600.0 seconds
% 64.61/73.95 % Running -m NewStrategy26604 for 600.0 seconds
% 64.61/73.96 % Running -m NewStrategy26604 for 600.0 seconds
% 64.61/73.96 % Running -m NewStrategy26604 for 600.0 seconds
% 64.61/73.97 % Running -m NewStrategy26604 for 600.0 seconds
% 64.61/73.98 % Running -m NewStrategy26604 for 600.0 seconds
% 64.61/73.99 % Running -m NewStrategy26604 for 600.0 seconds
% 64.61/74.00 % Running -m NewStrategy26604 for 600.0 seconds
% 64.70/74.00 % Running -m NewStrategy26604 for 600.0 seconds
% 64.70/74.01 % Running -m NewStrategy26604 for 600.0 seconds
% 64.70/74.02 % Running -m NewStrategy26604 for 600.0 seconds
% 64.70/74.03 % Running -m NewStrategy26604 for 600.0 seconds
% 64.70/74.03 % Running -m NewStrategy26604 for 600.0 seconds
% 64.70/74.04 % Running -m NewStrategy26604 for 600.0 seconds
% 64.70/74.05 % Running -m NewStrategy26604 for 600.0 seconds
% 64.70/74.06 % Running -m NewStrategy26604 for 600.0 seconds
% 64.70/74.07 % Running -m NewStrategy26604 for 600.0 seconds
% 64.70/74.07 % Running -m NewStrategy26604 for 600.0 seconds
% 64.77/74.10 % Running -m NewStrategy26604 for 600.0 seconds
% 64.77/74.14 % Running -m NewStrategy26604 for 600.0 seconds
% 64.77/74.15 % Running -m NewStrategy26604 for 600.0 seconds
% 64.77/74.15 % Running -m NewStrategy26604 for 600.0 seconds
% 64.77/74.16 % Running -m NewStrategy26604 for 600.0 seconds
% 64.77/74.17 % Running -m NewStrategy26604 for 600.0 seconds
% 64.77/74.18 % Running -m NewStrategy26604 for 600.0 seconds
% 64.77/74.19 % Running -m NewStrategy26604 for 600.0 seconds
% 64.83/74.20 % Running -m NewStrategy26604 for 600.0 seconds
% 64.83/74.21 % Running -m NewStrategy26604 for 600.0 seconds
% 64.83/74.22 % Running -m NewStrategy26604 for 600.0 seconds
% 64.83/74.23 % Running -m NewStrategy26604 for 600.0 seconds
% 64.83/74.24 % Running -m NewStrategy26604 for 600.0 seconds
% 64.83/74.24 % Running -m NewStrategy26604 for 600.0 seconds
% 64.83/74.25 % Running -m NewStrategy26604 for 600.0 seconds
% 64.83/74.26 % Running -m NewStrategy26604 for 600.0 seconds
% 64.83/74.27 % Running -m NewStrategy26604 for 600.0 seconds
% 64.83/74.28 % Running -m NewStrategy26604 for 600.0 seconds
% 64.83/74.29 % Running -m NewStrategy26604 for 600.0 seconds
% 64.91/74.30 % Running -m NewStrategy26604 for 600.0 seconds
% 64.91/74.31 % Running -m NewStrategy26604 for 600.0 seconds
% 64.91/74.32 % Running -m NewStrategy26604 for 600.0 seconds
% 64.91/74.32 % Running -m NewStrategy26604 for 600.0 seconds
% 64.91/74.34 % Running -m NewStrategy26604 for 600.0 seconds
% 64.91/74.36 % Running -m NewStrategy26604 for 600.0 seconds
% 64.91/74.39 % Running -m NewStrategy26604 for 600.0 seconds
% 64.96/74.40 % Running -m NewStrategy26604 for 600.0 seconds
% 64.96/74.41 % Running -m NewStrategy26604 for 600.0 seconds
% 64.96/74.42 % Running -m NewStrategy26604 for 600.0 seconds
% 64.96/74.43 % Running -m NewStrategy26604 for 600.0 seconds
% 64.96/74.43 % Running -m NewStrategy26604 for 600.0 seconds
% 64.96/74.44 % Running -m NewStrategy26604 for 600.0 seconds
% 64.96/74.45 % Running -m NewStrategy26604 for 600.0 seconds
% 64.96/74.46 % Running -m NewStrategy26604 for 600.0 seconds
% 64.96/74.47 % Running -m NewStrategy26604 for 600.0 seconds
% 64.96/74.47 % Running -m NewStrategy26604 for 600.0 seconds
% 64.96/74.48 % Running -m NewStrategy26604 for 600.0 seconds
% 64.96/74.49 % Running -m NewStrategy26604 for 600.0 seconds
% 65.04/74.50 % Running -m NewStrategy26604 for 600.0 seconds
% 65.04/74.51 % Running -m NewStrategy26604 for 600.0 seconds
% 65.04/74.51 % Running -m NewStrategy26604 for 600.0 seconds
% 65.04/74.52 % Running -m NewStrategy26604 for 600.0 seconds
% 65.04/74.53 % Running -m NewStrategy26604 for 600.0 seconds
% 65.04/74.54 % Running -m NewStrategy26604 for 600.0 seconds
% 65.04/74.55 % Running -m NewStrategy26604 for 600.0 seconds
% 65.04/74.55 % Running -m NewStrategy26604 for 600.0 seconds
% 65.04/74.56 % Running -m NewStrategy26604 for 600.0 seconds
% 65.04/74.57 % Running -m NewStrategy26604 for 600.0 seconds
% 65.04/74.58 % Running -m NewStrategy26604 for 600.0 seconds
% 65.04/74.59 % Running -m NewStrategy26604 for 600.0 seconds
% 65.04/74.59 % Running -m NewStrategy26604 for 600.0 seconds
% 65.13/74.60 % Running -m NewStrategy26604 for 600.0 seconds
% 65.13/74.61 % Running -m NewStrategy26604 for 600.0 seconds
% 65.13/74.62 % Running -m NewStrategy26604 for 600.0 seconds
% 65.13/74.63 % Running -m NewStrategy26604 for 600.0 seconds
% 65.13/74.63 % Running -m NewStrategy26604 for 600.0 seconds
% 65.13/74.64 % Running -m NewStrategy26604 for 600.0 seconds
% 65.13/74.65 % Running -m NewStrategy26604 for 600.0 seconds
% 65.13/74.66 % Running -m NewStrategy26604 for 600.0 seconds
% 65.13/74.67 % Running -m NewStrategy26604 for 600.0 seconds
% 65.13/74.67 % Running -m NewStrategy26604 for 600.0 seconds
% 65.13/74.68 % Running -m NewStrategy26604 for 600.0 seconds
% 65.13/74.69 % Running -m NewStrategy26604 for 600.0 seconds
% 65.13/74.70 % Running -m NewStrategy26604 for 600.0 seconds
% 65.22/74.71 % Running -m NewStrategy26604 for 600.0 seconds
% 65.22/74.71 % Running -m NewStrategy26604 for 600.0 seconds
% 65.22/74.72 % Running -m NewStrategy26604 for 600.0 seconds
% 65.22/74.73 % Running -m NewStrategy26604 for 600.0 seconds
% 65.22/74.74 % Running -m NewStrategy26604 for 600.0 seconds
% 65.22/74.75 % Running -m NewStrategy26604 for 600.0 seconds
% 65.22/74.75 % Running -m NewStrategy26604 for 600.0 seconds
% 65.22/74.76 % Running -m NewStrategy26604 for 600.0 seconds
% 65.22/74.77 % Running -m NewStrategy26604 for 600.0 seconds
% 65.22/74.78 % Running -m NewStrategy26604 for 600.0 seconds
% 65.22/74.79 % Running -m NewStrategy26604 for 600.0 seconds
% 65.22/74.79 % Running -m NewStrategy26604 for 600.0 seconds
% 65.22/74.80 % Running -m NewStrategy26604 for 600.0 seconds
% 65.31/74.81 % Running -m NewStrategy26604 for 600.0 seconds
% 65.31/74.82 % Running -m NewStrategy26604 for 600.0 seconds
% 65.31/74.83 % Running -m NewStrategy26604 for 600.0 seconds
% 65.31/74.84 % Running -m NewStrategy26604 for 600.0 seconds
% 65.31/74.85 % Running -m NewStrategy26604 for 600.0 seconds
% 65.31/74.85 % Running -m NewStrategy26604 for 600.0 seconds
% 65.31/74.86 % Running -m NewStrategy26604 for 600.0 seconds
% 65.31/74.87 % Running -m NewStrategy26604 for 600.0 seconds
% 65.31/74.88 % Running -m NewStrategy26604 for 600.0 seconds
% 65.31/74.89 % Running -m NewStrategy26604 for 600.0 seconds
% 65.37/74.90 % Running -m NewStrategy26604 for 600.0 seconds
% 65.37/74.95 % Running -m NewStrategy26604 for 600.0 seconds
% 65.37/74.96 % Running -m NewStrategy26604 for 600.0 seconds
% 65.37/74.97 % Running -m NewStrategy26604 for 600.0 seconds
% 65.37/74.98 % Running -m NewStrategy26604 for 600.0 seconds
% 65.37/74.99 % Running -m NewStrategy26604 for 600.0 seconds
% 65.43/75.00 % Running -m NewStrategy26604 for 600.0 seconds
% 65.43/75.01 % Running -m NewStrategy26604 for 600.0 seconds
% 65.43/75.02 % Running -m NewStrategy26604 for 600.0 seconds
% 65.43/75.03 % Running -m NewStrategy26604 for 600.0 seconds
% 65.43/75.03 % Running -m NewStrategy26604 for 600.0 seconds
% 65.43/75.04 % Running -m NewStrategy26604 for 600.0 seconds
% 65.43/75.05 % Running -m NewStrategy26604 for 600.0 seconds
% 65.43/75.06 % Running -m NewStrategy26604 for 600.0 seconds
% 65.43/75.07 % Running -m NewStrategy26604 for 600.0 seconds
% 65.43/75.07 % Running -m NewStrategy26604 for 600.0 seconds
% 65.43/75.08 % Running -m NewStrategy26604 for 600.0 seconds
% 65.43/75.09 % Running -m NewStrategy26604 for 600.0 seconds
% 65.51/75.10 % Running -m NewStrategy26604 for 600.0 seconds
% 65.51/75.11 % Running -m NewStrategy26604 for 600.0 seconds
% 65.51/75.11 % Running -m NewStrategy26604 for 600.0 seconds
% 65.51/75.12 % Running -m NewStrategy26604 for 600.0 seconds
% 65.51/75.13 % Running -m NewStrategy26604 for 600.0 seconds
% 65.51/75.14 % Running -m NewStrategy26604 for 600.0 seconds
% 65.51/75.14 % Running -m NewStrategy26604 for 600.0 seconds
% 65.51/75.15 % Running -m NewStrategy26604 for 600.0 seconds
% 65.51/75.16 % Running -m NewStrategy26604 for 600.0 seconds
% 65.51/75.17 % Running -m NewStrategy26604 for 600.0 seconds
% 65.51/75.18 % Running -m NewStrategy26604 for 600.0 seconds
% 65.51/75.18 % Running -m NewStrategy26604 for 600.0 seconds
% 65.51/75.19 % Running -m NewStrategy26604 for 600.0 seconds
% 65.59/75.20 % Running -m NewStrategy26604 for 600.0 seconds
% 65.59/75.21 % Running -m NewStrategy26604 for 600.0 seconds
% 65.59/75.22 % Running -m NewStrategy26604 for 600.0 seconds
% 65.59/75.22 % Running -m NewStrategy26604 for 600.0 seconds
% 65.59/75.23 % Running -m NewStrategy26604 for 600.0 seconds
% 65.59/75.24 % Running -m NewStrategy26604 for 600.0 seconds
% 65.59/75.25 % Running -m NewStrategy26604 for 600.0 seconds
% 65.59/75.25 % Running -m NewStrategy26604 for 600.0 seconds
% 65.59/75.26 % Running -m NewStrategy26604 for 600.0 seconds
% 65.59/75.27 % Running -m NewStrategy26604 for 600.0 seconds
% 65.59/75.28 % Running -m NewStrategy26604 for 600.0 seconds
% 65.59/75.29 % Running -m NewStrategy26604 for 600.0 seconds
% 65.59/75.29 % Running -m NewStrategy26604 for 600.0 seconds
% 65.68/75.30 % Running -m NewStrategy26604 for 600.0 seconds
% 65.68/75.31 % Running -m NewStrategy26604 for 600.0 seconds
% 65.68/75.32 % Running -m NewStrategy26604 for 600.0 seconds
% 65.68/75.32 % Running -m NewStrategy26604 for 600.0 seconds
% 65.68/75.33 % Running -m NewStrategy26604 for 600.0 seconds
% 65.68/75.34 % Running -m NewStrategy26604 for 600.0 seconds
% 65.68/75.35 % Running -m NewStrategy26604 for 600.0 seconds
% 65.68/75.36 % Running -m NewStrategy26604 for 600.0 seconds
% 65.68/75.36 % Running -m NewStrategy26604 for 600.0 seconds
% 65.68/75.37 % Running -m NewStrategy26604 for 600.0 seconds
% 65.68/75.38 % Running -m NewStrategy26604 for 600.0 seconds
% 65.68/75.39 % Running -m NewStrategy26604 for 600.0 seconds
% 65.77/75.40 % Running -m NewStrategy26604 for 600.0 seconds
% 65.77/75.40 % Running -m NewStrategy26604 for 600.0 seconds
% 65.77/75.41 % Running -m NewStrategy26604 for 600.0 seconds
% 65.77/75.42 % Running -m NewStrategy26604 for 600.0 seconds
% 65.77/75.43 % Running -m NewStrategy26604 for 600.0 seconds
% 65.77/75.44 % Running -m NewStrategy26604 for 600.0 seconds
% 65.77/75.45 % Running -m NewStrategy26604 for 600.0 seconds
% 65.77/75.49 % Running -m NewStrategy26604 for 600.0 seconds
% 65.82/75.52 % Running -m NewStrategy26604 for 600.0 seconds
% 65.82/75.53 % Running -m NewStrategy26604 for 600.0 seconds
% 65.82/75.54 % Running -m NewStrategy26604 for 600.0 seconds
% 65.82/75.54 % Running -m NewStrategy26604 for 600.0 seconds
% 65.82/75.55 % Running -m NewStrategy26604 for 600.0 seconds
% 65.82/75.56 % Running -m NewStrategy26604 for 600.0 seconds
% 65.82/75.57 % Running -m NewStrategy26604 for 600.0 seconds
% 65.82/75.58 % Running -m NewStrategy26604 for 600.0 seconds
% 65.82/75.59 % Running -m NewStrategy26604 for 600.0 seconds
% 65.88/75.60 % Running -m NewStrategy26604 for 600.0 seconds
% 65.88/75.61 % Running -m NewStrategy26604 for 600.0 seconds
% 65.88/75.62 % Running -m NewStrategy26604 for 600.0 seconds
% 65.88/75.62 % Running -m NewStrategy26604 for 600.0 seconds
% 65.88/75.63 % Running -m NewStrategy26604 for 600.0 seconds
% 65.88/75.64 % Running -m NewStrategy26604 for 600.0 seconds
% 65.88/75.65 % Running -m NewStrategy26604 for 600.0 seconds
% 65.88/75.66 % Running -m NewStrategy26604 for 600.0 seconds
% 65.88/75.66 % Running -m NewStrategy26604 for 600.0 seconds
% 65.88/75.67 % Running -m NewStrategy26604 for 600.0 seconds
% 65.88/75.68 % Running -m NewStrategy26604 for 600.0 seconds
% 65.88/75.69 % Running -m NewStrategy26604 for 600.0 seconds
% 65.97/75.70 % Running -m NewStrategy26604 for 600.0 seconds
% 65.97/75.70 % Running -m NewStrategy26604 for 600.0 seconds
% 65.97/75.71 % Running -m NewStrategy26604 for 600.0 seconds
% 65.97/75.72 % Running -m NewStrategy26604 for 600.0 seconds
% 65.97/75.73 % Running -m NewStrategy26604 for 600.0 seconds
% 65.97/75.74 % Running -m NewStrategy26604 for 600.0 seconds
% 65.97/75.74 % Running -m NewStrategy26604 for 600.0 seconds
% 65.97/75.75 % Running -m NewStrategy26604 for 600.0 seconds
% 65.97/75.76 % Running -m NewStrategy26604 for 600.0 seconds
% 65.97/75.77 % Running -m NewStrategy26604 for 600.0 seconds
% 65.97/75.78 % Running -m NewStrategy26604 for 600.0 seconds
% 65.97/75.78 % Running -m NewStrategy26604 for 600.0 seconds
% 65.97/75.79 % Running -m NewStrategy26604 for 600.0 seconds
% 65.97/75.80 % Running -m NewStrategy26604 for 600.0 seconds
% 66.07/75.81 % Running -m NewStrategy26604 for 600.0 seconds
% 66.07/75.82 % Running -m NewStrategy26604 for 600.0 seconds
% 66.07/75.82 % Running -m NewStrategy26604 for 600.0 seconds
% 66.07/75.83 % Running -m NewStrategy26604 for 600.0 seconds
% 66.07/75.84 % Running -m NewStrategy26604 for 600.0 seconds
% 66.07/75.85 % Running -m NewStrategy26604 for 600.0 seconds
% 66.07/75.85 % Running -m NewStrategy26604 for 600.0 seconds
% 66.07/75.86 % Running -m NewStrategy26604 for 600.0 seconds
% 66.07/75.87 % Running -m NewStrategy26604 for 600.0 seconds
% 66.07/75.88 % Running -m NewStrategy26604 for 600.0 seconds
% 66.07/75.89 % Running -m NewStrategy26604 for 600.0 seconds
% 66.07/75.89 % Running -m NewStrategy26604 for 600.0 seconds
% 66.07/75.90 % Running -m NewStrategy26604 for 600.0 seconds
% 66.14/75.91 % Running -m NewStrategy26604 for 600.0 seconds
% 66.14/75.92 % Running -m NewStrategy26604 for 600.0 seconds
% 66.14/75.93 % Running -m NewStrategy26604 for 600.0 seconds
% 66.14/75.93 % Running -m NewStrategy26604 for 600.0 seconds
% 66.14/75.94 % Running -m NewStrategy26604 for 600.0 seconds
% 66.14/75.95 % Running -m NewStrategy26604 for 600.0 seconds
% 66.14/75.96 % Running -m NewStrategy26604 for 600.0 seconds
% 66.14/75.97 % Running -m NewStrategy26604 for 600.0 seconds
% 66.14/75.97 % Running -m NewStrategy26604 for 600.0 seconds
% 66.14/75.98 % Running -m NewStrategy26604 for 600.0 seconds
% 66.14/75.99 % Running -m NewStrategy26604 for 600.0 seconds
% 66.21/76.00 % Running -m NewStrategy26604 for 600.0 seconds
% 66.21/76.00 % Running -m NewStrategy26604 for 600.0 seconds
% 66.21/76.01 % Running -m NewStrategy26604 for 600.0 seconds
% 66.21/76.06 % Running -m NewStrategy26604 for 600.0 seconds
% 66.21/76.08 % Running -m NewStrategy26604 for 600.0 seconds
% 66.21/76.09 % Running -m NewStrategy26604 for 600.0 seconds
% 66.27/76.10 % Running -m NewStrategy26604 for 600.0 seconds
% 66.27/76.11 % Running -m NewStrategy26604 for 600.0 seconds
% 66.27/76.12 % Running -m NewStrategy26604 for 600.0 seconds
% 66.27/76.13 % Running -m NewStrategy26604 for 600.0 seconds
% 66.27/76.14 % Running -m NewStrategy26604 for 600.0 seconds
% 66.27/76.15 % Running -m NewStrategy26604 for 600.0 seconds
% 66.27/76.16 % Running -m NewStrategy26604 for 600.0 seconds
% 66.27/76.17 % Running -m NewStrategy26604 for 600.0 seconds
% 66.27/76.17 % Running -m NewStrategy26604 for 600.0 seconds
% 66.27/76.18 % Running -m NewStrategy26604 for 600.0 seconds
% 66.27/76.19 % Running -m NewStrategy26604 for 600.0 seconds
% 66.34/76.20 % Running -m NewStrategy26604 for 600.0 seconds
% 66.34/76.21 % Running -m NewStrategy26604 for 600.0 seconds
% 66.34/76.22 % Running -m NewStrategy26604 for 600.0 seconds
% 66.34/76.23 % Running -m NewStrategy26604 for 600.0 seconds
% 66.34/76.24 % Running -m NewStrategy26604 for 600.0 seconds
% 66.34/76.26 % Running -m NewStrategy26604 for 600.0 seconds
% 66.34/76.29 % Running -m NewStrategy26604 for 600.0 seconds
% 66.34/76.29 % Running -m NewStrategy26604 for 600.0 seconds
% 66.40/76.30 % Running -m NewStrategy26604 for 600.0 seconds
% 66.40/76.31 % Running -m NewStrategy26604 for 600.0 seconds
% 66.40/76.32 % Running -m NewStrategy26604 for 600.0 seconds
% 66.40/76.32 % Running -m NewStrategy26604 for 600.0 seconds
% 66.40/76.33 % Running -m NewStrategy26604 for 600.0 seconds
% 66.40/76.34 % Running -m NewStrategy26604 for 600.0 seconds
% 66.40/76.35 % Running -m NewStrategy26604 for 600.0 seconds
% 66.40/76.36 % Running -m NewStrategy26604 for 600.0 seconds
% 66.40/76.36 % Running -m NewStrategy26604 for 600.0 seconds
% 66.40/76.37 % Running -m NewStrategy26604 for 600.0 seconds
% 66.40/76.38 % Running -m NewStrategy26604 for 600.0 seconds
% 66.40/76.39 % Running -m NewStrategy26604 for 600.0 seconds
% 66.49/76.40 % Running -m NewStrategy26604 for 600.0 seconds
% 66.49/76.40 % Running -m NewStrategy26604 for 600.0 seconds
% 66.49/76.41 % Running -m NewStrategy26604 for 600.0 seconds
% 66.49/76.42 % Running -m NewStrategy26604 for 600.0 seconds
% 66.49/76.43 % Running -m NewStrategy26604 for 600.0 seconds
% 66.49/76.44 % Running -m NewStrategy26604 for 600.0 seconds
% 66.49/76.44 % Running -m NewStrategy26604 for 600.0 seconds
% 66.49/76.45 % Running -m NewStrategy26604 for 600.0 seconds
% 66.49/76.46 % Running -m NewStrategy26604 for 600.0 seconds
% 66.49/76.47 % Running -m NewStrategy26604 for 600.0 seconds
% 66.49/76.47 % Running -m NewStrategy26604 for 600.0 seconds
% 66.49/76.48 % Running -m NewStrategy26604 for 600.0 seconds
% 66.49/76.49 % Running -m NewStrategy26604 for 600.0 seconds
% 66.57/76.50 % Running -m NewStrategy26604 for 600.0 seconds
% 66.57/76.51 % Running -m NewStrategy26604 for 600.0 seconds
% 66.57/76.51 % Running -m NewStrategy26604 for 600.0 seconds
% 66.57/76.52 % Running -m NewStrategy26604 for 600.0 seconds
% 66.57/76.53 % Running -m NewStrategy26604 for 600.0 seconds
% 66.57/76.54 % Running -m NewStrategy26604 for 600.0 seconds
% 66.57/76.55 % Running -m NewStrategy26604 for 600.0 seconds
% 66.57/76.55 % Running -m NewStrategy26604 for 600.0 seconds
% 66.57/76.56 % Running -m NewStrategy26604 for 600.0 seconds
% 66.57/76.57 % Running -m NewStrategy26604 for 600.0 seconds
% 66.57/76.58 % Running -m NewStrategy26604 for 600.0 seconds
% 66.57/76.59 % Running -m NewStrategy26604 for 600.0 seconds
% 66.57/76.59 % Running -m NewStrategy26604 for 600.0 seconds
% 66.66/76.60 % Running -m NewStrategy26604 for 600.0 seconds
% 66.66/76.61 % Running -m NewStrategy26604 for 600.0 seconds
% 66.66/76.62 % Running -m NewStrategy26604 for 600.0 seconds
% 66.66/76.62 % Running -m NewStrategy26604 for 600.0 seconds
% 66.66/76.63 % Running -m NewStrategy26604 for 600.0 seconds
% 66.66/76.64 % Running -m NewStrategy26604 for 600.0 seconds
% 66.66/76.65 % Running -m NewStrategy26604 for 600.0 seconds
% 66.66/76.66 % Running -m NewStrategy26604 for 600.0 seconds
% 66.66/76.66 % Running -m NewStrategy26604 for 600.0 seconds
% 66.66/76.67 % Running -m NewStrategy26604 for 600.0 seconds
% 66.66/76.68 % Running -m NewStrategy26604 for 600.0 seconds
% 66.66/76.69 % Running -m NewStrategy26604 for 600.0 seconds
% 66.74/76.70 % Running -m NewStrategy26604 for 600.0 seconds
% 66.74/76.70 % Running -m NewStrategy26604 for 600.0 seconds
% 66.74/76.71 % Running -m NewStrategy26604 for 600.0 seconds
% 66.74/76.72 % Running -m NewStrategy26604 for 600.0 seconds
% 66.74/76.73 % Running -m NewStrategy26604 for 600.0 seconds
% 66.74/76.74 % Running -m NewStrategy26604 for 600.0 seconds
% 66.74/76.75 % Running -m NewStrategy26604 for 600.0 seconds
% 66.74/76.75 % Running -m NewStrategy26604 for 600.0 seconds
% 66.74/76.76 % Running -m NewStrategy26604 for 600.0 seconds
% 66.74/76.77 % Running -m NewStrategy26604 for 600.0 seconds
% 66.74/76.78 % Running -m NewStrategy26604 for 600.0 seconds
% 66.74/76.79 % Running -m NewStrategy26604 for 600.0 seconds
% 66.82/76.80 % Running -m NewStrategy26604 for 600.0 seconds
% 66.82/76.80 % Running -m NewStrategy26604 for 600.0 seconds
% 66.82/76.81 % Running -m NewStrategy26604 for 600.0 seconds
% 66.82/76.82 % Running -m NewStrategy26604 for 600.0 seconds
% 66.82/76.83 % Running -m NewStrategy26604 for 600.0 seconds
% 66.82/76.84 % Running -m NewStrategy26604 for 600.0 seconds
% 66.82/76.85 % Running -m NewStrategy26604 for 600.0 seconds
% 66.82/76.86 % Running -m NewStrategy26604 for 600.0 seconds
% 66.82/76.90 % Running -m NewStrategy26604 for 600.0 seconds
% 66.82/76.91 % Running -m NewStrategy26604 for 600.0 seconds
% 66.89/76.92 % Running -m NewStrategy26604 for 600.0 seconds
% 66.89/76.92 % Running -m NewStrategy26604 for 600.0 seconds
% 66.89/76.93 % Running -m NewStrategy26604 for 600.0 seconds
% 66.89/76.94 % Running -m NewStrategy26604 for 600.0 seconds
% 66.89/76.95 % Running -m NewStrategy26604 for 600.0 seconds
% 66.89/76.95 % Running -m NewStrategy26604 for 600.0 seconds
% 66.89/76.96 % Running -m NewStrategy26604 for 600.0 seconds
% 66.89/76.97 % Running -m NewStrategy26604 for 600.0 seconds
% 66.89/76.98 % Running -m NewStrategy26604 for 600.0 seconds
% 66.89/76.99 % Running -m NewStrategy26604 for 600.0 seconds
% 66.89/76.99 % Running -m NewStrategy26604 for 600.0 seconds
% 66.89/77.00 % Running -m NewStrategy26604 for 600.0 seconds
% 66.97/77.01 % Running -m NewStrategy26604 for 600.0 seconds
% 66.97/77.02 % Running -m NewStrategy26604 for 600.0 seconds
% 66.97/77.03 % Running -m NewStrategy26604 for 600.0 seconds
% 66.97/77.03 % Running -m NewStrategy26604 for 600.0 seconds
% 66.97/77.04 % Running -m NewStrategy26604 for 600.0 seconds
% 66.97/77.05 % Running -m NewStrategy26604 for 600.0 seconds
% 66.97/77.06 % Running -m NewStrategy26604 for 600.0 seconds
% 66.97/77.07 % Running -m NewStrategy26604 for 600.0 seconds
% 66.97/77.07 % Running -m NewStrategy26604 for 600.0 seconds
% 66.97/77.08 % Running -m NewStrategy26604 for 600.0 seconds
% 66.97/77.09 % Running -m NewStrategy26604 for 600.0 seconds
% 67.05/77.10 % Running -m NewStrategy26604 for 600.0 seconds
% 67.05/77.11 % Running -m NewStrategy26604 for 600.0 seconds
% 67.05/77.11 % Running -m NewStrategy26604 for 600.0 seconds
% 67.05/77.12 % Running -m NewStrategy26604 for 600.0 seconds
% 67.05/77.13 % Running -m NewStrategy26604 for 600.0 seconds
% 67.05/77.14 % Running -m NewStrategy26604 for 600.0 seconds
% 67.05/77.15 % Running -m NewStrategy26604 for 600.0 seconds
% 67.05/77.15 % Running -m NewStrategy26604 for 600.0 seconds
% 67.05/77.16 % Running -m NewStrategy26604 for 600.0 seconds
% 67.05/77.17 % Running -m NewStrategy26604 for 600.0 seconds
% 67.05/77.18 % Running -m NewStrategy26604 for 600.0 seconds
% 67.05/77.19 % Running -m NewStrategy26604 for 600.0 seconds
% 67.05/77.19 % Running -m NewStrategy26604 for 600.0 seconds
% 67.14/77.20 % Running -m NewStrategy26604 for 600.0 seconds
% 67.14/77.21 % Running -m NewStrategy26604 for 600.0 seconds
% 67.14/77.22 % Running -m NewStrategy26604 for 600.0 seconds
% 67.14/77.23 % Running -m NewStrategy26604 for 600.0 seconds
% 67.14/77.23 % Running -m NewStrategy26604 for 600.0 seconds
% 67.14/77.24 % Running -m NewStrategy26604 for 600.0 seconds
% 67.14/77.25 % Running -m NewStrategy26604 for 600.0 seconds
% 67.14/77.26 % Running -m NewStrategy26604 for 600.0 seconds
% 67.14/77.26 % Running -m NewStrategy26604 for 600.0 seconds
% 67.14/77.27 % Running -m NewStrategy26604 for 600.0 seconds
% 67.14/77.28 % Running -m NewStrategy26604 for 600.0 seconds
% 67.14/77.29 % Running -m NewStrategy26604 for 600.0 seconds
% 67.22/77.30 % Running -m NewStrategy26604 for 600.0 seconds
% 67.22/77.30 % Running -m NewStrategy26604 for 600.0 seconds
% 67.22/77.31 % Running -m NewStrategy26604 for 600.0 seconds
% 67.22/77.32 % Running -m NewStrategy26604 for 600.0 seconds
% 67.22/77.33 % Running -m NewStrategy26604 for 600.0 seconds
% 67.22/77.34 % Running -m NewStrategy26604 for 600.0 seconds
% 67.22/77.34 % Running -m NewStrategy26604 for 600.0 seconds
% 67.22/77.35 % Running -m NewStrategy26604 for 600.0 seconds
% 67.22/77.36 % Running -m NewStrategy26604 for 600.0 seconds
% 67.22/77.37 % Running -m NewStrategy26604 for 600.0 seconds
% 67.22/77.38 % Running -m NewStrategy26604 for 600.0 seconds
% 67.22/77.38 % Running -m NewStrategy26604 for 600.0 seconds
% 67.22/77.39 % Running -m NewStrategy26604 for 600.0 seconds
% 67.30/77.40 % Running -m NewStrategy26604 for 600.0 seconds
% 67.30/77.41 % Running -m NewStrategy26604 for 600.0 seconds
% 67.30/77.41 % Running -m NewStrategy26604 for 600.0 seconds
% 67.30/77.42 % Running -m NewStrategy26604 for 600.0 seconds
% 67.30/77.43 % Running -m NewStrategy26604 for 600.0 seconds
% 67.30/77.44 % Running -m NewStrategy26604 for 600.0 seconds
% 67.30/77.45 % Running -m NewStrategy26604 for 600.0 seconds
% 67.30/77.45 % Running -m NewStrategy26604 for 600.0 seconds
% 67.30/77.46 % Running -m NewStrategy26604 for 600.0 seconds
% 67.30/77.47 % Running -m NewStrategy26604 for 600.0 seconds
% 67.30/77.48 % Running -m NewStrategy26604 for 600.0 seconds
% 67.30/77.48 % Running -m NewStrategy26604 for 600.0 seconds
% 67.30/77.49 % Running -m NewStrategy26604 for 600.0 seconds
% 67.38/77.50 % Running -m NewStrategy26604 for 600.0 seconds
% 67.38/77.51 % Running -m NewStrategy26604 for 600.0 seconds
% 67.38/77.52 % Running -m NewStrategy26604 for 600.0 seconds
% 67.38/77.52 % Running -m NewStrategy26604 for 600.0 seconds
% 67.38/77.53 % Running -m NewStrategy26604 for 600.0 seconds
% 67.38/77.54 % Running -m NewStrategy26604 for 600.0 seconds
% 67.38/77.55 % Running -m NewStrategy26604 for 600.0 seconds
% 67.38/77.56 % Running -m NewStrategy26604 for 600.0 seconds
% 67.38/77.56 % Running -m NewStrategy26604 for 600.0 seconds
% 67.38/77.57 % Running -m NewStrategy26604 for 600.0 seconds
% 67.38/77.58 % Running -m NewStrategy26604 for 600.0 seconds
% 67.38/77.59 % Running -m NewStrategy26604 for 600.0 seconds
% 67.38/77.59 % Running -m NewStrategy26604 for 600.0 seconds
% 67.46/77.60 % Running -m NewStrategy26604 for 600.0 seconds
% 67.46/77.61 % Running -m NewStrategy26604 for 600.0 seconds
% 67.46/77.62 % Running -m NewStrategy26604 for 600.0 seconds
% 67.46/77.63 % Running -m NewStrategy26604 for 600.0 seconds
% 67.46/77.64 % Running -m NewStrategy26604 for 600.0 seconds
% 67.46/77.65 % Running -m NewStrategy26604 for 600.0 seconds
% 67.46/77.66 % Running -m NewStrategy26604 for 600.0 seconds
% 67.46/77.68 % Running -m NewStrategy26604 for 600.0 seconds
% 67.53/77.70 % Running -m NewStrategy26604 for 600.0 seconds
% 67.53/77.72 % Running -m NewStrategy26604 for 600.0 seconds
% 67.53/77.78 % Running -m NewStrategy26604 for 600.0 seconds
% 67.56/77.86 % Running -m NewStrategy26604 for 600.0 seconds
% 67.56/77.95 % Running -m NewStrategy26604 for 600.0 seconds
% 67.56/78.03 % Running -m NewStrategy26604 for 600.0 seconds
% 67.59/78.12 % Running -m NewStrategy26604 for 600.0 seconds
% 67.59/78.22 % Running -m NewStrategy26604 for 600.0 seconds
% 67.60/78.32 % Running -m NewStrategy26604 for 600.0 seconds
% 67.60/78.40 % Running -m NewStrategy26604 for 600.0 seconds
% 67.61/78.48 % Running -m NewStrategy26604 for 600.0 seconds
% 67.61/78.56 % Running -m NewStrategy26604 for 600.0 seconds
% 67.63/78.64 % Running -m NewStrategy26604 for 600.0 seconds
% 67.63/78.69 % Running -m NewStrategy26604 for 600.0 seconds
% 67.64/78.73 % Running -m NewStrategy26604 for 600.0 seconds
% 67.64/78.76 % Running -m NewStrategy26604 for 600.0 seconds
% 67.64/78.77 % Running -m NewStrategy26604 for 600.0 seconds
% 67.64/78.78 % Running -m NewStrategy26604 for 600.0 seconds
% 67.64/78.78 % Running -m NewStrategy26604 for 600.0 seconds
% 67.68/78.80 % Running -m NewStrategy26604 for 600.0 seconds
% 67.68/78.85 % Running -m NewStrategy26604 for 600.0 seconds
% 67.70/78.91 % Running -m NewStrategy26604 for 600.0 seconds
% 67.70/78.96 % Running -m NewStrategy26604 for 600.0 seconds
% 67.72/79.02 % Running -m NewStrategy26604 for 600.0 seconds
% 67.72/79.07 % Running -m NewStrategy26604 for 600.0 seconds
% 67.72/79.12 % Running -m NewStrategy26604 for 600.0 seconds
% 67.72/79.18 % Running -m NewStrategy26604 for 600.0 seconds
% 67.75/79.23 % Running -m NewStrategy26604 for 600.0 seconds
% 68.37/600.01 Alarm clock
%------------------------------------------------------------------------------