TSTP Solution File: SEV404^5 by Satallax-MaLeS---1.3
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Satallax-MaLeS---1.3
% Problem : SEV404^5 : 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 : n139.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 17:14:04 EDT 2015
% Result : Timeout 292.23s
% 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 : SEV404^5 : 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 : n139.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 16:08:56 CDT 2015
% 0.00/1.05 % CPUTime :
% 1.54/2.62 % Running -m mode225 for 0.0158689022064 seconds
% 1.54/2.64 % Running -m NewStrategy21546 for 0.0666418075562 seconds
% 1.54/2.66 % Running -m NewStrategy61701 for 1.12459087372 seconds
% 1.54/2.67 % Running -m NewStrategy8000 for 0.628486156464 seconds
% 1.54/2.68 % Running -m NewStrategy68939 for 0.553977012634 seconds
% 1.61/3.26 % Running -m mode366 for 4.93573999405 seconds
% 7.10/8.20 % Running -m mode245 for 0.0183751583099 seconds
% 7.10/8.24 % Running -m NewStrategy72394 for 20.4193341732 seconds
% 7.10/8.25 % Running -m NewStrategy31551 for 0.173868894577 seconds
% 7.18/8.43 % Running -m NewStrategy34763 for 0.00944900512695 seconds
% 7.18/8.45 % Running -m NewStrategy24995 for 19.7316160202 seconds
% 27.15/28.28 % Running -m NewStrategy36822 for 0.0202889442444 seconds
% 27.15/28.29 % Running -m NewStrategy31076 for 0.237552881241 seconds
% 27.27/28.54 % Running -m NewStrategy63501 for 0.242960929871 seconds
% 27.76/28.80 % Running -m mode273 for 0.601787090302 seconds
% 27.76/29.41 % Running -m NewStrategy31440 for 0.0179498195648 seconds
% 27.76/29.43 % Running -m NewStrategy54200 for 3.15118193626 seconds
% 27.76/29.44 % Running -m NewStrategy31440 for 0.020026922226 seconds
% 27.76/29.47 % Running -m NewStrategy56535 for 0.0329518318176 seconds
% 27.76/29.48 % Running -m NewStrategy35943 for 0.450059890747 seconds
% 28.86/29.94 % Running -m NewStrategy18901 for 0.00690793991089 seconds
% 28.86/29.95 % Running -m NewStrategy53030 for 0.194667100906 seconds
% 28.93/30.15 % Running -m NewStrategy57901 for 0.0843760967255 seconds
% 29.13/30.25 % Running -m NewStrategy63339 for 0.102976083755 seconds
% 29.22/30.36 % Running -m NewStrategy12884 for 4.57315897942 seconds
% 33.85/34.94 % Running -m NewStrategy32467 for 0.0582859516144 seconds
% 33.91/35.01 % Running -m NewStrategy70786 for 5.47734999657 seconds
% 39.71/40.50 % Running -m NewStrategy30592 for 0.279512166977 seconds
% 39.71/40.51 % Running -m NewStrategy59789 for 0.119751930237 seconds
% 39.84/42.43 % Running -m NewStrategy33260 for 33.9431920052 seconds
% 39.84/42.44 % Running -m NewStrategy67852 for 0.127078056335 seconds
% 39.85/42.57 % Running -m mode325 for 31.0973038673 seconds
% 70.76/73.68 % Running -m NewStrategy71185 for 44.7529368401 seconds
% 70.76/73.69 % Running -m mode337 for 164.38072896 seconds
% 236.74/238.07 % Running -m NewStrategy57901 for 0.112628936768 seconds
% 236.85/238.19 % Running -m NewStrategy44472 for 0.677356958389 seconds
% 236.97/238.20 % Running -m NewStrategy63579 for 2.65231895447 seconds
% 239.55/240.86 % Running -m NewStrategy29155 for 0.0234050750732 seconds
% 239.55/240.87 % Running -m NewStrategy71165 for 0.0638229846954 seconds
% 239.55/240.88 % Running -m NewStrategy71165 for 0.26904797554 seconds
% 239.55/240.89 % Running -m NewStrategy49558 for 0.217222929001 seconds
% 239.87/241.11 % Running -m NewStrategy58188 for 1.74469304085 seconds
% 241.56/242.87 % Running -m NewStrategy70946 for 0.944925069809 seconds
% 241.56/242.88 % Running -m NewStrategy19328 for 50.5401000977 seconds
% 292.23/293.43 % Running -m NewStrategy26604 for 600.0 seconds
% 292.23/293.44 % Running -m NewStrategy26604 for 600.0 seconds
% 292.23/293.44 % Running -m NewStrategy26604 for 600.0 seconds
% 292.23/293.45 % Running -m NewStrategy26604 for 600.0 seconds
% 292.23/293.46 % Running -m NewStrategy26604 for 600.0 seconds
% 292.23/293.47 % Running -m NewStrategy26604 for 600.0 seconds
% 292.23/293.48 % Running -m NewStrategy26604 for 600.0 seconds
% 292.23/293.49 % Running -m NewStrategy26604 for 600.0 seconds
% 292.33/293.50 % Running -m NewStrategy26604 for 600.0 seconds
% 292.33/293.51 % Running -m NewStrategy26604 for 600.0 seconds
% 292.33/293.51 % Running -m NewStrategy26604 for 600.0 seconds
% 292.33/293.52 % Running -m NewStrategy26604 for 600.0 seconds
% 292.33/293.53 % Running -m NewStrategy26604 for 600.0 seconds
% 292.33/293.54 % Running -m NewStrategy26604 for 600.0 seconds
% 292.33/293.55 % Running -m NewStrategy26604 for 600.0 seconds
% 292.33/293.56 % Running -m NewStrategy26604 for 600.0 seconds
% 292.33/293.57 % Running -m NewStrategy26604 for 600.0 seconds
% 292.33/293.58 % Running -m NewStrategy26604 for 600.0 seconds
% 292.33/293.58 % Running -m NewStrategy26604 for 600.0 seconds
% 292.33/293.59 % Running -m NewStrategy26604 for 600.0 seconds
% 292.42/293.60 % Running -m NewStrategy26604 for 600.0 seconds
% 292.42/293.61 % Running -m NewStrategy26604 for 600.0 seconds
% 292.42/293.62 % Running -m NewStrategy26604 for 600.0 seconds
% 292.42/293.63 % Running -m NewStrategy26604 for 600.0 seconds
% 292.42/293.64 % Running -m NewStrategy26604 for 600.0 seconds
% 292.42/293.65 % Running -m NewStrategy26604 for 600.0 seconds
% 292.42/293.65 % Running -m NewStrategy26604 for 600.0 seconds
% 292.42/293.66 % Running -m NewStrategy26604 for 600.0 seconds
% 292.42/293.67 % Running -m NewStrategy26604 for 600.0 seconds
% 292.42/293.68 % Running -m NewStrategy26604 for 600.0 seconds
% 292.42/293.69 % Running -m NewStrategy26604 for 600.0 seconds
% 292.42/293.70 % Running -m NewStrategy26604 for 600.0 seconds
% 292.50/293.71 % Running -m NewStrategy26604 for 600.0 seconds
% 292.50/293.72 % Running -m NewStrategy26604 for 600.0 seconds
% 292.50/293.72 % Running -m NewStrategy26604 for 600.0 seconds
% 292.50/293.73 % Running -m NewStrategy26604 for 600.0 seconds
% 292.50/293.74 % Running -m NewStrategy26604 for 600.0 seconds
% 292.50/293.75 % Running -m NewStrategy26604 for 600.0 seconds
% 292.50/293.76 % Running -m NewStrategy26604 for 600.0 seconds
% 292.50/293.77 % Running -m NewStrategy26604 for 600.0 seconds
% 292.50/293.77 % Running -m NewStrategy26604 for 600.0 seconds
% 292.50/293.78 % Running -m NewStrategy26604 for 600.0 seconds
% 292.50/293.79 % Running -m NewStrategy26604 for 600.0 seconds
% 292.50/293.80 % Running -m NewStrategy26604 for 600.0 seconds
% 292.60/293.81 % Running -m NewStrategy26604 for 600.0 seconds
% 292.60/293.82 % Running -m NewStrategy26604 for 600.0 seconds
% 292.60/293.83 % Running -m NewStrategy26604 for 600.0 seconds
% 292.60/293.83 % Running -m NewStrategy26604 for 600.0 seconds
% 292.60/293.84 % Running -m NewStrategy26604 for 600.0 seconds
% 292.60/293.85 % Running -m NewStrategy26604 for 600.0 seconds
% 292.60/293.86 % Running -m NewStrategy26604 for 600.0 seconds
% 292.60/293.87 % Running -m NewStrategy26604 for 600.0 seconds
% 292.60/293.88 % Running -m NewStrategy26604 for 600.0 seconds
% 292.60/293.89 % Running -m NewStrategy26604 for 600.0 seconds
% 292.60/293.89 % Running -m NewStrategy26604 for 600.0 seconds
% 292.66/293.90 % Running -m NewStrategy26604 for 600.0 seconds
% 292.66/293.91 % Running -m NewStrategy26604 for 600.0 seconds
% 292.66/293.92 % Running -m NewStrategy26604 for 600.0 seconds
% 292.66/293.93 % Running -m NewStrategy26604 for 600.0 seconds
% 292.66/293.94 % Running -m NewStrategy26604 for 600.0 seconds
% 292.66/293.95 % Running -m NewStrategy26604 for 600.0 seconds
% 292.66/293.95 % Running -m NewStrategy26604 for 600.0 seconds
% 292.66/293.96 % Running -m NewStrategy26604 for 600.0 seconds
% 292.66/293.97 % Running -m NewStrategy26604 for 600.0 seconds
% 292.66/293.98 % Running -m NewStrategy26604 for 600.0 seconds
% 292.66/293.99 % Running -m NewStrategy26604 for 600.0 seconds
% 292.75/294.00 % Running -m NewStrategy26604 for 600.0 seconds
% 292.75/294.01 % Running -m NewStrategy26604 for 600.0 seconds
% 292.75/294.02 % Running -m NewStrategy26604 for 600.0 seconds
% 292.75/294.02 % Running -m NewStrategy26604 for 600.0 seconds
% 292.75/294.03 % Running -m NewStrategy26604 for 600.0 seconds
% 292.75/294.04 % Running -m NewStrategy26604 for 600.0 seconds
% 292.75/294.05 % Running -m NewStrategy26604 for 600.0 seconds
% 292.75/294.06 % Running -m NewStrategy26604 for 600.0 seconds
% 292.75/294.07 % Running -m NewStrategy26604 for 600.0 seconds
% 292.75/294.08 % Running -m NewStrategy26604 for 600.0 seconds
% 292.75/294.09 % Running -m NewStrategy26604 for 600.0 seconds
% 292.75/294.09 % Running -m NewStrategy26604 for 600.0 seconds
% 292.84/294.10 % Running -m NewStrategy26604 for 600.0 seconds
% 292.84/294.11 % Running -m NewStrategy26604 for 600.0 seconds
% 292.84/294.12 % Running -m NewStrategy26604 for 600.0 seconds
% 292.84/294.13 % Running -m NewStrategy26604 for 600.0 seconds
% 292.84/294.14 % Running -m NewStrategy26604 for 600.0 seconds
% 292.84/294.15 % Running -m NewStrategy26604 for 600.0 seconds
% 292.84/294.15 % Running -m NewStrategy26604 for 600.0 seconds
% 292.84/294.16 % Running -m NewStrategy26604 for 600.0 seconds
% 292.84/294.17 % Running -m NewStrategy26604 for 600.0 seconds
% 292.84/294.18 % Running -m NewStrategy26604 for 600.0 seconds
% 292.84/294.19 % Running -m NewStrategy26604 for 600.0 seconds
% 292.92/294.20 % Running -m NewStrategy26604 for 600.0 seconds
% 292.92/294.21 % Running -m NewStrategy26604 for 600.0 seconds
% 292.92/294.22 % Running -m NewStrategy26604 for 600.0 seconds
% 292.92/294.23 % Running -m NewStrategy26604 for 600.0 seconds
% 292.92/294.23 % Running -m NewStrategy26604 for 600.0 seconds
% 292.92/294.24 % Running -m NewStrategy26604 for 600.0 seconds
% 292.92/294.25 % Running -m NewStrategy26604 for 600.0 seconds
% 292.92/294.26 % Running -m NewStrategy26604 for 600.0 seconds
% 292.92/294.27 % Running -m NewStrategy26604 for 600.0 seconds
% 292.92/294.28 % Running -m NewStrategy26604 for 600.0 seconds
% 292.92/294.29 % Running -m NewStrategy26604 for 600.0 seconds
% 293.01/294.30 % Running -m NewStrategy26604 for 600.0 seconds
% 293.01/294.30 % Running -m NewStrategy26604 for 600.0 seconds
% 293.01/294.31 % Running -m NewStrategy26604 for 600.0 seconds
% 293.01/294.32 % Running -m NewStrategy26604 for 600.0 seconds
% 293.01/294.33 % Running -m NewStrategy26604 for 600.0 seconds
% 293.01/294.34 % Running -m NewStrategy26604 for 600.0 seconds
% 293.01/294.35 % Running -m NewStrategy26604 for 600.0 seconds
% 293.01/294.36 % Running -m NewStrategy26604 for 600.0 seconds
% 293.01/294.37 % Running -m NewStrategy26604 for 600.0 seconds
% 293.01/294.37 % Running -m NewStrategy26604 for 600.0 seconds
% 293.01/294.38 % Running -m NewStrategy26604 for 600.0 seconds
% 293.01/294.39 % Running -m NewStrategy26604 for 600.0 seconds
% 293.09/294.40 % Running -m NewStrategy26604 for 600.0 seconds
% 293.09/294.41 % Running -m NewStrategy26604 for 600.0 seconds
% 293.09/294.42 % Running -m NewStrategy26604 for 600.0 seconds
% 293.09/294.42 % Running -m NewStrategy26604 for 600.0 seconds
% 293.09/294.43 % Running -m NewStrategy26604 for 600.0 seconds
% 293.09/294.44 % Running -m NewStrategy26604 for 600.0 seconds
% 293.09/294.45 % Running -m NewStrategy26604 for 600.0 seconds
% 293.09/294.46 % Running -m NewStrategy26604 for 600.0 seconds
% 293.09/294.47 % Running -m NewStrategy26604 for 600.0 seconds
% 293.09/294.48 % Running -m NewStrategy26604 for 600.0 seconds
% 293.09/294.48 % Running -m NewStrategy26604 for 600.0 seconds
% 293.09/294.49 % Running -m NewStrategy26604 for 600.0 seconds
% 293.16/294.50 % Running -m NewStrategy26604 for 600.0 seconds
% 293.16/294.51 % Running -m NewStrategy26604 for 600.0 seconds
% 293.16/294.52 % Running -m NewStrategy26604 for 600.0 seconds
% 293.16/294.53 % Running -m NewStrategy26604 for 600.0 seconds
% 293.16/294.54 % Running -m NewStrategy26604 for 600.0 seconds
% 293.16/294.54 % Running -m NewStrategy26604 for 600.0 seconds
% 293.16/294.55 % Running -m NewStrategy26604 for 600.0 seconds
% 293.16/294.56 % Running -m NewStrategy26604 for 600.0 seconds
% 293.16/294.57 % Running -m NewStrategy26604 for 600.0 seconds
% 293.16/294.58 % Running -m NewStrategy26604 for 600.0 seconds
% 293.16/294.59 % Running -m NewStrategy26604 for 600.0 seconds
% 293.16/294.59 % Running -m NewStrategy26604 for 600.0 seconds
% 293.25/294.60 % Running -m NewStrategy26604 for 600.0 seconds
% 293.25/294.61 % Running -m NewStrategy26604 for 600.0 seconds
% 293.25/294.62 % Running -m NewStrategy26604 for 600.0 seconds
% 293.25/294.63 % Running -m NewStrategy26604 for 600.0 seconds
% 293.25/294.64 % Running -m NewStrategy26604 for 600.0 seconds
% 293.25/294.65 % Running -m NewStrategy26604 for 600.0 seconds
% 293.25/294.65 % Running -m NewStrategy26604 for 600.0 seconds
% 293.25/294.66 % Running -m NewStrategy26604 for 600.0 seconds
% 293.25/294.67 % Running -m NewStrategy26604 for 600.0 seconds
% 293.25/294.68 % Running -m NewStrategy26604 for 600.0 seconds
% 293.25/294.69 % Running -m NewStrategy26604 for 600.0 seconds
% 293.34/294.70 % Running -m NewStrategy26604 for 600.0 seconds
% 293.34/294.71 % Running -m NewStrategy26604 for 600.0 seconds
% 293.34/294.72 % Running -m NewStrategy26604 for 600.0 seconds
% 293.34/294.72 % Running -m NewStrategy26604 for 600.0 seconds
% 293.34/294.73 % Running -m NewStrategy26604 for 600.0 seconds
% 293.34/294.74 % Running -m NewStrategy26604 for 600.0 seconds
% 293.34/294.75 % Running -m NewStrategy26604 for 600.0 seconds
% 293.34/294.76 % Running -m NewStrategy26604 for 600.0 seconds
% 293.34/294.77 % Running -m NewStrategy26604 for 600.0 seconds
% 293.34/294.78 % Running -m NewStrategy26604 for 600.0 seconds
% 293.34/294.78 % Running -m NewStrategy26604 for 600.0 seconds
% 293.34/294.79 % Running -m NewStrategy26604 for 600.0 seconds
% 293.34/294.80 % Running -m NewStrategy26604 for 600.0 seconds
% 293.43/294.81 % Running -m NewStrategy26604 for 600.0 seconds
% 293.43/294.82 % Running -m NewStrategy26604 for 600.0 seconds
% 293.43/294.83 % Running -m NewStrategy26604 for 600.0 seconds
% 293.43/294.84 % Running -m NewStrategy26604 for 600.0 seconds
% 293.43/294.85 % Running -m NewStrategy26604 for 600.0 seconds
% 293.43/294.85 % Running -m NewStrategy26604 for 600.0 seconds
% 293.43/294.86 % Running -m NewStrategy26604 for 600.0 seconds
% 293.43/294.87 % Running -m NewStrategy26604 for 600.0 seconds
% 293.43/294.88 % Running -m NewStrategy26604 for 600.0 seconds
% 293.43/294.89 % Running -m NewStrategy26604 for 600.0 seconds
% 293.43/294.90 % Running -m NewStrategy26604 for 600.0 seconds
% 293.51/294.91 % Running -m NewStrategy26604 for 600.0 seconds
% 293.51/294.92 % Running -m NewStrategy26604 for 600.0 seconds
% 293.51/294.92 % Running -m NewStrategy26604 for 600.0 seconds
% 293.51/294.93 % Running -m NewStrategy26604 for 600.0 seconds
% 293.51/294.94 % Running -m NewStrategy26604 for 600.0 seconds
% 293.51/294.95 % Running -m NewStrategy26604 for 600.0 seconds
% 293.51/294.96 % Running -m NewStrategy26604 for 600.0 seconds
% 293.51/294.97 % Running -m NewStrategy26604 for 600.0 seconds
% 293.51/294.98 % Running -m NewStrategy26604 for 600.0 seconds
% 293.51/294.98 % Running -m NewStrategy26604 for 600.0 seconds
% 293.51/294.99 % Running -m NewStrategy26604 for 600.0 seconds
% 293.59/295.00 % Running -m NewStrategy26604 for 600.0 seconds
% 293.59/295.01 % Running -m NewStrategy26604 for 600.0 seconds
% 293.59/295.02 % Running -m NewStrategy26604 for 600.0 seconds
% 293.59/295.03 % Running -m NewStrategy26604 for 600.0 seconds
% 293.59/295.04 % Running -m NewStrategy26604 for 600.0 seconds
% 293.59/295.04 % Running -m NewStrategy26604 for 600.0 seconds
% 293.59/295.05 % Running -m NewStrategy26604 for 600.0 seconds
% 293.59/295.06 % Running -m NewStrategy26604 for 600.0 seconds
% 293.59/295.07 % Running -m NewStrategy26604 for 600.0 seconds
% 293.59/295.08 % Running -m NewStrategy26604 for 600.0 seconds
% 293.59/295.09 % Running -m NewStrategy26604 for 600.0 seconds
% 293.67/295.10 % Running -m NewStrategy26604 for 600.0 seconds
% 293.67/295.10 % Running -m NewStrategy26604 for 600.0 seconds
% 293.67/295.11 % Running -m NewStrategy26604 for 600.0 seconds
% 293.67/295.12 % Running -m NewStrategy26604 for 600.0 seconds
% 293.67/295.13 % Running -m NewStrategy26604 for 600.0 seconds
% 293.67/295.14 % Running -m NewStrategy26604 for 600.0 seconds
% 293.67/295.15 % Running -m NewStrategy26604 for 600.0 seconds
% 293.67/295.16 % Running -m NewStrategy26604 for 600.0 seconds
% 293.67/295.16 % Running -m NewStrategy26604 for 600.0 seconds
% 293.67/295.17 % Running -m NewStrategy26604 for 600.0 seconds
% 293.67/295.18 % Running -m NewStrategy26604 for 600.0 seconds
% 293.67/295.19 % Running -m NewStrategy26604 for 600.0 seconds
% 293.76/295.20 % Running -m NewStrategy26604 for 600.0 seconds
% 293.76/295.21 % Running -m NewStrategy26604 for 600.0 seconds
% 293.76/295.22 % Running -m NewStrategy26604 for 600.0 seconds
% 293.76/295.23 % Running -m NewStrategy26604 for 600.0 seconds
% 293.76/295.23 % Running -m NewStrategy26604 for 600.0 seconds
% 293.76/295.24 % Running -m NewStrategy26604 for 600.0 seconds
% 293.76/295.25 % Running -m NewStrategy26604 for 600.0 seconds
% 293.76/295.26 % Running -m NewStrategy26604 for 600.0 seconds
% 293.76/295.27 % Running -m NewStrategy26604 for 600.0 seconds
% 293.76/295.28 % Running -m NewStrategy26604 for 600.0 seconds
% 293.76/295.29 % Running -m NewStrategy26604 for 600.0 seconds
% 293.84/295.30 % Running -m NewStrategy26604 for 600.0 seconds
% 293.84/295.31 % Running -m NewStrategy26604 for 600.0 seconds
% 293.84/295.31 % Running -m NewStrategy26604 for 600.0 seconds
% 293.84/295.32 % Running -m NewStrategy26604 for 600.0 seconds
% 293.84/295.33 % Running -m NewStrategy26604 for 600.0 seconds
% 293.84/295.34 % Running -m NewStrategy26604 for 600.0 seconds
% 293.84/295.35 % Running -m NewStrategy26604 for 600.0 seconds
% 293.84/295.36 % Running -m NewStrategy26604 for 600.0 seconds
% 293.84/295.37 % Running -m NewStrategy26604 for 600.0 seconds
% 293.84/295.38 % Running -m NewStrategy26604 for 600.0 seconds
% 293.84/295.39 % Running -m NewStrategy26604 for 600.0 seconds
% 293.84/295.39 % Running -m NewStrategy26604 for 600.0 seconds
% 293.92/295.40 % Running -m NewStrategy26604 for 600.0 seconds
% 293.92/295.41 % Running -m NewStrategy26604 for 600.0 seconds
% 293.92/295.42 % Running -m NewStrategy26604 for 600.0 seconds
% 293.92/295.43 % Running -m NewStrategy26604 for 600.0 seconds
% 293.92/295.44 % Running -m NewStrategy26604 for 600.0 seconds
% 293.92/295.44 % Running -m NewStrategy26604 for 600.0 seconds
% 293.92/295.45 % Running -m NewStrategy26604 for 600.0 seconds
% 293.92/295.46 % Running -m NewStrategy26604 for 600.0 seconds
% 293.92/295.47 % Running -m NewStrategy26604 for 600.0 seconds
% 293.92/295.48 % Running -m NewStrategy26604 for 600.0 seconds
% 293.92/295.49 % Running -m NewStrategy26604 for 600.0 seconds
% 293.92/295.49 % Running -m NewStrategy26604 for 600.0 seconds
% 294.00/295.50 % Running -m NewStrategy26604 for 600.0 seconds
% 294.00/295.51 % Running -m NewStrategy26604 for 600.0 seconds
% 294.00/295.52 % Running -m NewStrategy26604 for 600.0 seconds
% 294.00/295.53 % Running -m NewStrategy26604 for 600.0 seconds
% 294.00/295.54 % Running -m NewStrategy26604 for 600.0 seconds
% 294.00/295.55 % Running -m NewStrategy26604 for 600.0 seconds
% 294.00/295.55 % Running -m NewStrategy26604 for 600.0 seconds
% 294.00/295.56 % Running -m NewStrategy26604 for 600.0 seconds
% 294.00/295.57 % Running -m NewStrategy26604 for 600.0 seconds
% 294.00/295.58 % Running -m NewStrategy26604 for 600.0 seconds
% 294.00/295.59 % Running -m NewStrategy26604 for 600.0 seconds
% 294.09/295.60 % Running -m NewStrategy26604 for 600.0 seconds
% 294.09/295.60 % Running -m NewStrategy26604 for 600.0 seconds
% 294.09/295.61 % Running -m NewStrategy26604 for 600.0 seconds
% 294.09/295.62 % Running -m NewStrategy26604 for 600.0 seconds
% 294.09/295.63 % Running -m NewStrategy26604 for 600.0 seconds
% 294.09/295.64 % Running -m NewStrategy26604 for 600.0 seconds
% 294.09/295.65 % Running -m NewStrategy26604 for 600.0 seconds
% 294.09/295.66 % Running -m NewStrategy26604 for 600.0 seconds
% 294.09/295.66 % Running -m NewStrategy26604 for 600.0 seconds
% 294.09/295.67 % Running -m NewStrategy26604 for 600.0 seconds
% 294.09/295.68 % Running -m NewStrategy26604 for 600.0 seconds
% 294.09/295.69 % Running -m NewStrategy26604 for 600.0 seconds
% 294.18/295.70 % Running -m NewStrategy26604 for 600.0 seconds
% 294.18/295.71 % Running -m NewStrategy26604 for 600.0 seconds
% 294.18/295.72 % Running -m NewStrategy26604 for 600.0 seconds
% 294.18/295.73 % Running -m NewStrategy26604 for 600.0 seconds
% 294.18/295.73 % Running -m NewStrategy26604 for 600.0 seconds
% 294.18/295.74 % Running -m NewStrategy26604 for 600.0 seconds
% 294.18/295.75 % Running -m NewStrategy26604 for 600.0 seconds
% 294.18/295.76 % Running -m NewStrategy26604 for 600.0 seconds
% 294.18/295.77 % Running -m NewStrategy26604 for 600.0 seconds
% 294.18/295.78 % Running -m NewStrategy26604 for 600.0 seconds
% 294.18/295.79 % Running -m NewStrategy26604 for 600.0 seconds
% 294.25/295.80 % Running -m NewStrategy26604 for 600.0 seconds
% 294.25/295.80 % Running -m NewStrategy26604 for 600.0 seconds
% 294.25/295.81 % Running -m NewStrategy26604 for 600.0 seconds
% 294.25/295.82 % Running -m NewStrategy26604 for 600.0 seconds
% 294.25/295.83 % Running -m NewStrategy26604 for 600.0 seconds
% 294.25/295.84 % Running -m NewStrategy26604 for 600.0 seconds
% 294.25/295.85 % Running -m NewStrategy26604 for 600.0 seconds
% 294.25/295.86 % Running -m NewStrategy26604 for 600.0 seconds
% 294.25/295.87 % Running -m NewStrategy26604 for 600.0 seconds
% 294.25/295.87 % Running -m NewStrategy26604 for 600.0 seconds
% 294.25/295.88 % Running -m NewStrategy26604 for 600.0 seconds
% 294.25/295.89 % Running -m NewStrategy26604 for 600.0 seconds
% 294.25/295.89 % Running -m NewStrategy26604 for 600.0 seconds
% 294.25/295.90 % Running -m NewStrategy26604 for 600.0 seconds
% 294.34/295.91 % Running -m NewStrategy26604 for 600.0 seconds
% 294.34/295.92 % Running -m NewStrategy26604 for 600.0 seconds
% 294.34/295.92 % Running -m NewStrategy26604 for 600.0 seconds
% 294.34/295.93 % Running -m NewStrategy26604 for 600.0 seconds
% 294.34/295.94 % Running -m NewStrategy26604 for 600.0 seconds
% 294.34/295.94 % Running -m NewStrategy26604 for 600.0 seconds
% 294.34/295.95 % Running -m NewStrategy26604 for 600.0 seconds
% 294.34/295.95 % Running -m NewStrategy26604 for 600.0 seconds
% 294.34/295.96 % Running -m NewStrategy26604 for 600.0 seconds
% 294.34/295.97 % Running -m NewStrategy26604 for 600.0 seconds
% 294.34/295.97 % Running -m NewStrategy26604 for 600.0 seconds
% 294.34/295.98 % Running -m NewStrategy26604 for 600.0 seconds
% 294.34/295.99 % Running -m NewStrategy26604 for 600.0 seconds
% 294.34/296.00 % Running -m NewStrategy26604 for 600.0 seconds
% 294.34/296.00 % Running -m NewStrategy26604 for 600.0 seconds
% 294.41/296.01 % Running -m NewStrategy26604 for 600.0 seconds
% 294.41/296.02 % Running -m NewStrategy26604 for 600.0 seconds
% 294.41/296.02 % Running -m NewStrategy26604 for 600.0 seconds
% 294.41/296.03 % Running -m NewStrategy26604 for 600.0 seconds
% 294.41/296.04 % Running -m NewStrategy26604 for 600.0 seconds
% 294.41/296.04 % Running -m NewStrategy26604 for 600.0 seconds
% 294.41/296.05 % Running -m NewStrategy26604 for 600.0 seconds
% 294.41/296.06 % Running -m NewStrategy26604 for 600.0 seconds
% 294.41/296.07 % Running -m NewStrategy26604 for 600.0 seconds
% 294.41/296.07 % Running -m NewStrategy26604 for 600.0 seconds
% 294.41/296.08 % Running -m NewStrategy26604 for 600.0 seconds
% 294.41/296.09 % Running -m NewStrategy26604 for 600.0 seconds
% 294.49/296.10 % Running -m NewStrategy26604 for 600.0 seconds
% 294.49/296.10 % Running -m NewStrategy26604 for 600.0 seconds
% 294.49/296.11 % Running -m NewStrategy26604 for 600.0 seconds
% 294.49/296.12 % Running -m NewStrategy26604 for 600.0 seconds
% 294.49/296.12 % Running -m NewStrategy26604 for 600.0 seconds
% 294.49/296.13 % Running -m NewStrategy26604 for 600.0 seconds
% 294.49/296.13 % Running -m NewStrategy26604 for 600.0 seconds
% 294.49/296.14 % Running -m NewStrategy26604 for 600.0 seconds
% 294.49/296.15 % Running -m NewStrategy26604 for 600.0 seconds
% 294.49/296.15 % Running -m NewStrategy26604 for 600.0 seconds
% 294.49/296.16 % Running -m NewStrategy26604 for 600.0 seconds
% 294.49/296.17 % Running -m NewStrategy26604 for 600.0 seconds
% 294.49/296.17 % Running -m NewStrategy26604 for 600.0 seconds
% 294.49/296.18 % Running -m NewStrategy26604 for 600.0 seconds
% 294.49/296.19 % Running -m NewStrategy26604 for 600.0 seconds
% 294.49/296.19 % Running -m NewStrategy26604 for 600.0 seconds
% 294.49/296.20 % Running -m NewStrategy26604 for 600.0 seconds
% 294.58/296.20 % Running -m NewStrategy26604 for 600.0 seconds
% 294.58/296.21 % Running -m NewStrategy26604 for 600.0 seconds
% 294.58/296.21 % Running -m NewStrategy26604 for 600.0 seconds
% 294.58/296.22 % Running -m NewStrategy26604 for 600.0 seconds
% 294.58/296.22 % Running -m NewStrategy26604 for 600.0 seconds
% 294.58/296.23 % Running -m NewStrategy26604 for 600.0 seconds
% 294.58/296.24 % Running -m NewStrategy26604 for 600.0 seconds
% 294.58/296.24 % Running -m NewStrategy26604 for 600.0 seconds
% 294.58/296.25 % Running -m NewStrategy26604 for 600.0 seconds
% 294.58/296.26 % Running -m NewStrategy26604 for 600.0 seconds
% 294.58/296.27 % Running -m NewStrategy26604 for 600.0 seconds
% 294.58/296.27 % Running -m NewStrategy26604 for 600.0 seconds
% 294.58/296.28 % Running -m NewStrategy26604 for 600.0 seconds
% 294.58/296.28 % Running -m NewStrategy26604 for 600.0 seconds
% 294.58/296.29 % Running -m NewStrategy26604 for 600.0 seconds
% 294.58/296.29 % Running -m NewStrategy26604 for 600.0 seconds
% 294.65/296.30 % Running -m NewStrategy26604 for 600.0 seconds
% 294.65/296.31 % Running -m NewStrategy26604 for 600.0 seconds
% 294.65/296.31 % Running -m NewStrategy26604 for 600.0 seconds
% 294.65/296.32 % Running -m NewStrategy26604 for 600.0 seconds
% 294.65/296.32 % Running -m NewStrategy26604 for 600.0 seconds
% 294.65/296.33 % Running -m NewStrategy26604 for 600.0 seconds
% 294.65/296.33 % Running -m NewStrategy26604 for 600.0 seconds
% 294.65/296.34 % Running -m NewStrategy26604 for 600.0 seconds
% 294.65/296.34 % Running -m NewStrategy26604 for 600.0 seconds
% 294.65/296.35 % Running -m NewStrategy26604 for 600.0 seconds
% 294.65/296.35 % Running -m NewStrategy26604 for 600.0 seconds
% 294.65/296.36 % Running -m NewStrategy26604 for 600.0 seconds
% 294.65/296.36 % Running -m NewStrategy26604 for 600.0 seconds
% 294.65/296.37 % Running -m NewStrategy26604 for 600.0 seconds
% 294.65/296.38 % Running -m NewStrategy26604 for 600.0 seconds
% 294.65/296.38 % Running -m NewStrategy26604 for 600.0 seconds
% 294.65/296.39 % Running -m NewStrategy26604 for 600.0 seconds
% 294.65/296.39 % Running -m NewStrategy26604 for 600.0 seconds
% 294.75/296.40 % Running -m NewStrategy26604 for 600.0 seconds
% 294.75/296.40 % Running -m NewStrategy26604 for 600.0 seconds
% 294.75/296.41 % Running -m NewStrategy26604 for 600.0 seconds
% 294.75/296.42 % Running -m NewStrategy26604 for 600.0 seconds
% 294.75/296.43 % Running -m NewStrategy26604 for 600.0 seconds
% 294.75/296.43 % Running -m NewStrategy26604 for 600.0 seconds
% 294.75/296.44 % Running -m NewStrategy26604 for 600.0 seconds
% 294.75/296.44 % Running -m NewStrategy26604 for 600.0 seconds
% 294.75/296.45 % Running -m NewStrategy26604 for 600.0 seconds
% 294.75/296.45 % Running -m NewStrategy26604 for 600.0 seconds
% 294.75/296.46 % Running -m NewStrategy26604 for 600.0 seconds
% 294.75/296.46 % Running -m NewStrategy26604 for 600.0 seconds
% 294.75/296.47 % Running -m NewStrategy26604 for 600.0 seconds
% 294.75/296.47 % Running -m NewStrategy26604 for 600.0 seconds
% 294.75/296.48 % Running -m NewStrategy26604 for 600.0 seconds
% 294.75/296.48 % Running -m NewStrategy26604 for 600.0 seconds
% 294.75/296.49 % Running -m NewStrategy26604 for 600.0 seconds
% 294.75/296.49 % Running -m NewStrategy26604 for 600.0 seconds
% 294.84/296.50 % Running -m NewStrategy26604 for 600.0 seconds
% 294.84/296.51 % Running -m NewStrategy26604 for 600.0 seconds
% 294.84/296.51 % Running -m NewStrategy26604 for 600.0 seconds
% 294.84/296.52 % Running -m NewStrategy26604 for 600.0 seconds
% 294.84/296.52 % Running -m NewStrategy26604 for 600.0 seconds
% 294.84/296.53 % Running -m NewStrategy26604 for 600.0 seconds
% 294.84/296.53 % Running -m NewStrategy26604 for 600.0 seconds
% 294.84/296.54 % Running -m NewStrategy26604 for 600.0 seconds
% 294.84/296.54 % Running -m NewStrategy26604 for 600.0 seconds
% 294.84/296.55 % Running -m NewStrategy26604 for 600.0 seconds
% 294.84/296.55 % Running -m NewStrategy26604 for 600.0 seconds
% 294.84/296.56 % Running -m NewStrategy26604 for 600.0 seconds
% 294.84/296.56 % Running -m NewStrategy26604 for 600.0 seconds
% 294.84/296.57 % Running -m NewStrategy26604 for 600.0 seconds
% 294.84/296.57 % Running -m NewStrategy26604 for 600.0 seconds
% 294.84/296.58 % Running -m NewStrategy26604 for 600.0 seconds
% 294.84/296.58 % Running -m NewStrategy26604 for 600.0 seconds
% 294.84/296.59 % Running -m NewStrategy26604 for 600.0 seconds
% 294.84/296.60 % Running -m NewStrategy26604 for 600.0 seconds
% 294.94/296.60 % Running -m NewStrategy26604 for 600.0 seconds
% 294.94/296.61 % Running -m NewStrategy26604 for 600.0 seconds
% 294.94/296.61 % Running -m NewStrategy26604 for 600.0 seconds
% 294.94/296.62 % Running -m NewStrategy26604 for 600.0 seconds
% 294.94/296.62 % Running -m NewStrategy26604 for 600.0 seconds
% 294.94/296.63 % Running -m NewStrategy26604 for 600.0 seconds
% 294.94/296.63 % Running -m NewStrategy26604 for 600.0 seconds
% 294.94/296.64 % Running -m NewStrategy26604 for 600.0 seconds
% 294.94/296.64 % Running -m NewStrategy26604 for 600.0 seconds
% 294.94/296.65 % Running -m NewStrategy26604 for 600.0 seconds
% 294.94/296.65 % Running -m NewStrategy26604 for 600.0 seconds
% 294.94/296.66 % Running -m NewStrategy26604 for 600.0 seconds
% 294.94/296.66 % Running -m NewStrategy26604 for 600.0 seconds
% 294.94/296.67 % Running -m NewStrategy26604 for 600.0 seconds
% 294.94/296.67 % Running -m NewStrategy26604 for 600.0 seconds
% 294.94/296.68 % Running -m NewStrategy26604 for 600.0 seconds
% 294.94/296.69 % Running -m NewStrategy26604 for 600.0 seconds
% 295.02/296.70 % Running -m NewStrategy26604 for 600.0 seconds
% 295.02/296.70 % Running -m NewStrategy26604 for 600.0 seconds
% 295.02/296.71 % Running -m NewStrategy26604 for 600.0 seconds
% 295.02/296.71 % Running -m NewStrategy26604 for 600.0 seconds
% 295.02/296.72 % Running -m NewStrategy26604 for 600.0 seconds
% 295.02/296.72 % Running -m NewStrategy26604 for 600.0 seconds
% 295.02/296.73 % Running -m NewStrategy26604 for 600.0 seconds
% 295.02/296.73 % Running -m NewStrategy26604 for 600.0 seconds
% 295.02/296.74 % Running -m NewStrategy26604 for 600.0 seconds
% 295.02/296.74 % Running -m NewStrategy26604 for 600.0 seconds
% 295.02/296.75 % Running -m NewStrategy26604 for 600.0 seconds
% 295.02/296.76 % Running -m NewStrategy26604 for 600.0 seconds
% 295.02/296.76 % Running -m NewStrategy26604 for 600.0 seconds
% 295.02/296.77 % Running -m NewStrategy26604 for 600.0 seconds
% 295.02/296.77 % Running -m NewStrategy26604 for 600.0 seconds
% 295.02/296.78 % Running -m NewStrategy26604 for 600.0 seconds
% 295.02/296.78 % Running -m NewStrategy26604 for 600.0 seconds
% 295.02/296.79 % Running -m NewStrategy26604 for 600.0 seconds
% 295.11/296.80 % Running -m NewStrategy26604 for 600.0 seconds
% 295.11/296.80 % Running -m NewStrategy26604 for 600.0 seconds
% 295.11/296.81 % Running -m NewStrategy26604 for 600.0 seconds
% 295.11/296.81 % Running -m NewStrategy26604 for 600.0 seconds
% 295.11/296.82 % Running -m NewStrategy26604 for 600.0 seconds
% 295.11/296.83 % Running -m NewStrategy26604 for 600.0 seconds
% 295.11/296.83 % Running -m NewStrategy26604 for 600.0 seconds
% 295.11/296.84 % Running -m NewStrategy26604 for 600.0 seconds
% 295.11/296.84 % Running -m NewStrategy26604 for 600.0 seconds
% 295.11/296.85 % Running -m NewStrategy26604 for 600.0 seconds
% 295.11/296.85 % Running -m NewStrategy26604 for 600.0 seconds
% 295.11/296.86 % Running -m NewStrategy26604 for 600.0 seconds
% 295.11/296.86 % Running -m NewStrategy26604 for 600.0 seconds
% 295.11/296.87 % Running -m NewStrategy26604 for 600.0 seconds
% 295.11/296.87 % Running -m NewStrategy26604 for 600.0 seconds
% 295.11/296.88 % Running -m NewStrategy26604 for 600.0 seconds
% 295.11/296.89 % Running -m NewStrategy26604 for 600.0 seconds
% 295.11/296.89 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/296.90 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/296.90 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/296.91 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/296.91 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/296.92 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/296.92 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/296.93 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/296.93 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/296.94 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/296.94 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/296.95 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/296.95 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/296.96 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/296.96 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/296.97 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/296.97 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/296.98 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/296.98 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/296.99 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/296.99 % Running -m NewStrategy26604 for 600.0 seconds
% 295.20/297.00 % Running -m NewStrategy26604 for 600.0 seconds
% 295.30/297.00 % Running -m NewStrategy26604 for 600.0 seconds
% 295.30/297.01 % Running -m NewStrategy26604 for 600.0 seconds
% 295.30/297.02 % Running -m NewStrategy26604 for 600.0 seconds
% 295.30/297.03 % Running -m NewStrategy26604 for 600.0 seconds
% 295.30/297.03 % Running -m NewStrategy26604 for 600.0 seconds
% 295.30/297.04 % Running -m NewStrategy26604 for 600.0 seconds
% 295.30/297.04 % Running -m NewStrategy26604 for 600.0 seconds
% 295.30/297.05 % Running -m NewStrategy26604 for 600.0 seconds
% 295.30/297.06 % Running -m NewStrategy26604 for 600.0 seconds
% 295.30/297.06 % Running -m NewStrategy26604 for 600.0 seconds
% 295.30/297.07 % Running -m NewStrategy26604 for 600.0 seconds
% 295.30/297.07 % Running -m NewStrategy26604 for 600.0 seconds
% 295.30/297.08 % Running -m NewStrategy26604 for 600.0 seconds
% 295.30/297.09 % Running -m NewStrategy26604 for 600.0 seconds
% 295.30/297.09 % Running -m NewStrategy26604 for 600.0 seconds
% 295.30/297.10 % Running -m NewStrategy26604 for 600.0 seconds
% 295.30/297.10 % Running -m NewStrategy26604 for 600.0 seconds
% 295.40/297.11 % Running -m NewStrategy26604 for 600.0 seconds
% 295.40/297.12 % Running -m NewStrategy26604 for 600.0 seconds
% 295.40/297.12 % Running -m NewStrategy26604 for 600.0 seconds
% 295.40/297.13 % Running -m NewStrategy26604 for 600.0 seconds
% 295.40/297.13 % Running -m NewStrategy26604 for 600.0 seconds
% 295.40/297.14 % Running -m NewStrategy26604 for 600.0 seconds
% 295.40/297.14 % Running -m NewStrategy26604 for 600.0 seconds
% 295.40/297.15 % Running -m NewStrategy26604 for 600.0 seconds
% 295.40/297.15 % Running -m NewStrategy26604 for 600.0 seconds
% 295.40/297.16 % Running -m NewStrategy26604 for 600.0 seconds
% 295.40/297.17 % Running -m NewStrategy26604 for 600.0 seconds
% 295.40/297.17 % Running -m NewStrategy26604 for 600.0 seconds
% 295.40/297.18 % Running -m NewStrategy26604 for 600.0 seconds
% 295.40/297.18 % Running -m NewStrategy26604 for 600.0 seconds
% 295.40/297.19 % Running -m NewStrategy26604 for 600.0 seconds
% 295.40/297.20 % Running -m NewStrategy26604 for 600.0 seconds
% 295.47/297.20 % Running -m NewStrategy26604 for 600.0 seconds
% 295.47/297.21 % Running -m NewStrategy26604 for 600.0 seconds
% 295.47/297.21 % Running -m NewStrategy26604 for 600.0 seconds
% 295.47/297.22 % Running -m NewStrategy26604 for 600.0 seconds
% 295.47/297.23 % Running -m NewStrategy26604 for 600.0 seconds
% 295.47/297.23 % Running -m NewStrategy26604 for 600.0 seconds
% 295.47/297.24 % Running -m NewStrategy26604 for 600.0 seconds
% 295.47/297.24 % Running -m NewStrategy26604 for 600.0 seconds
% 295.47/297.25 % Running -m NewStrategy26604 for 600.0 seconds
% 295.47/297.25 % Running -m NewStrategy26604 for 600.0 seconds
% 295.47/297.26 % Running -m NewStrategy26604 for 600.0 seconds
% 295.47/297.26 % Running -m NewStrategy26604 for 600.0 seconds
% 295.47/297.27 % Running -m NewStrategy26604 for 600.0 seconds
% 295.47/297.27 % Running -m NewStrategy26604 for 600.0 seconds
% 295.47/297.28 % Running -m NewStrategy26604 for 600.0 seconds
% 295.47/297.28 % Running -m NewStrategy26604 for 600.0 seconds
% 295.47/297.29 % Running -m NewStrategy26604 for 600.0 seconds
% 295.57/297.30 % Running -m NewStrategy26604 for 600.0 seconds
% 295.57/297.30 % Running -m NewStrategy26604 for 600.0 seconds
% 295.57/297.31 % Running -m NewStrategy26604 for 600.0 seconds
% 295.57/297.32 % Running -m NewStrategy26604 for 600.0 seconds
% 295.57/297.32 % Running -m NewStrategy26604 for 600.0 seconds
% 295.57/297.33 % Running -m NewStrategy26604 for 600.0 seconds
% 295.57/297.33 % Running -m NewStrategy26604 for 600.0 seconds
% 295.57/297.34 % Running -m NewStrategy26604 for 600.0 seconds
% 295.57/297.35 % Running -m NewStrategy26604 for 600.0 seconds
% 295.57/297.35 % Running -m NewStrategy26604 for 600.0 seconds
% 295.57/297.36 % Running -m NewStrategy26604 for 600.0 seconds
% 295.57/297.36 % Running -m NewStrategy26604 for 600.0 seconds
% 295.57/297.37 % Running -m NewStrategy26604 for 600.0 seconds
% 295.57/297.37 % Running -m NewStrategy26604 for 600.0 seconds
% 295.57/297.38 % Running -m NewStrategy26604 for 600.0 seconds
% 295.57/297.38 % Running -m NewStrategy26604 for 600.0 seconds
% 295.57/297.39 % Running -m NewStrategy26604 for 600.0 seconds
% 295.65/297.40 % Running -m NewStrategy26604 for 600.0 seconds
% 295.65/297.40 % Running -m NewStrategy26604 for 600.0 seconds
% 295.65/297.41 % Running -m NewStrategy26604 for 600.0 seconds
% 295.65/297.41 % Running -m NewStrategy26604 for 600.0 seconds
% 295.65/297.42 % Running -m NewStrategy26604 for 600.0 seconds
% 295.65/297.43 % Running -m NewStrategy26604 for 600.0 seconds
% 295.65/297.43 % Running -m NewStrategy26604 for 600.0 seconds
% 295.65/297.44 % Running -m NewStrategy26604 for 600.0 seconds
% 295.65/297.45 % Running -m NewStrategy26604 for 600.0 seconds
% 295.65/297.45 % Running -m NewStrategy26604 for 600.0 seconds
% 295.65/297.46 % Running -m NewStrategy26604 for 600.0 seconds
% 295.65/297.46 % Running -m NewStrategy26604 for 600.0 seconds
% 295.65/297.47 % Running -m NewStrategy26604 for 600.0 seconds
% 295.65/297.47 % Running -m NewStrategy26604 for 600.0 seconds
% 295.65/297.48 % Running -m NewStrategy26604 for 600.0 seconds
% 295.65/297.48 % Running -m NewStrategy26604 for 600.0 seconds
% 295.65/297.49 % Running -m NewStrategy26604 for 600.0 seconds
% 295.65/297.49 % Running -m NewStrategy26604 for 600.0 seconds
% 295.74/297.50 % Running -m NewStrategy26604 for 600.0 seconds
% 295.74/297.51 % Running -m NewStrategy26604 for 600.0 seconds
% 295.74/297.51 % Running -m NewStrategy26604 for 600.0 seconds
% 295.74/297.52 % Running -m NewStrategy26604 for 600.0 seconds
% 295.74/297.52 % Running -m NewStrategy26604 for 600.0 seconds
% 295.74/297.53 % Running -m NewStrategy26604 for 600.0 seconds
% 295.74/297.53 % Running -m NewStrategy26604 for 600.0 seconds
% 295.74/297.54 % Running -m NewStrategy26604 for 600.0 seconds
% 295.74/297.54 % Running -m NewStrategy26604 for 600.0 seconds
% 295.74/297.55 % Running -m NewStrategy26604 for 600.0 seconds
% 295.74/297.56 % Running -m NewStrategy26604 for 600.0 seconds
% 295.74/297.56 % Running -m NewStrategy26604 for 600.0 seconds
% 295.74/297.57 % Running -m NewStrategy26604 for 600.0 seconds
% 295.74/297.57 % Running -m NewStrategy26604 for 600.0 seconds
% 295.74/297.58 % Running -m NewStrategy26604 for 600.0 seconds
% 295.74/297.59 % Running -m NewStrategy26604 for 600.0 seconds
% 295.74/297.59 % Running -m NewStrategy26604 for 600.0 seconds
% 295.84/297.60 % Running -m NewStrategy26604 for 600.0 seconds
% 295.84/297.60 % Running -m NewStrategy26604 for 600.0 seconds
% 295.84/297.61 % Running -m NewStrategy26604 for 600.0 seconds
% 295.84/297.62 % Running -m NewStrategy26604 for 600.0 seconds
% 295.84/297.62 % Running -m NewStrategy26604 for 600.0 seconds
% 295.84/297.63 % Running -m NewStrategy26604 for 600.0 seconds
% 295.84/297.63 % Running -m NewStrategy26604 for 600.0 seconds
% 295.84/297.64 % Running -m NewStrategy26604 for 600.0 seconds
% 295.84/297.64 % Running -m NewStrategy26604 for 600.0 seconds
% 295.84/297.65 % Running -m NewStrategy26604 for 600.0 seconds
% 295.84/297.66 % Running -m NewStrategy26604 for 600.0 seconds
% 295.84/297.66 % Running -m NewStrategy26604 for 600.0 seconds
% 295.84/297.67 % Running -m NewStrategy26604 for 600.0 seconds
% 295.84/297.68 % Running -m NewStrategy26604 for 600.0 seconds
% 295.84/297.68 % Running -m NewStrategy26604 for 600.0 seconds
% 295.84/297.69 % Running -m NewStrategy26604 for 600.0 seconds
% 295.84/297.69 % Running -m NewStrategy26604 for 600.0 seconds
% 295.92/297.70 % Running -m NewStrategy26604 for 600.0 seconds
% 295.92/297.70 % Running -m NewStrategy26604 for 600.0 seconds
% 295.92/297.71 % Running -m NewStrategy26604 for 600.0 seconds
% 295.92/297.72 % Running -m NewStrategy26604 for 600.0 seconds
% 295.92/297.72 % Running -m NewStrategy26604 for 600.0 seconds
% 295.92/297.73 % Running -m NewStrategy26604 for 600.0 seconds
% 295.92/297.74 % Running -m NewStrategy26604 for 600.0 seconds
% 295.92/297.74 % Running -m NewStrategy26604 for 600.0 seconds
% 295.92/297.75 % Running -m NewStrategy26604 for 600.0 seconds
% 295.92/297.75 % Running -m NewStrategy26604 for 600.0 seconds
% 295.92/297.76 % Running -m NewStrategy26604 for 600.0 seconds
% 295.92/297.77 % Running -m NewStrategy26604 for 600.0 seconds
% 295.92/297.77 % Running -m NewStrategy26604 for 600.0 seconds
% 295.92/297.78 % Running -m NewStrategy26604 for 600.0 seconds
% 295.92/297.78 % Running -m NewStrategy26604 for 600.0 seconds
% 295.92/297.79 % Running -m NewStrategy26604 for 600.0 seconds
% 295.92/297.79 % Running -m NewStrategy26604 for 600.0 seconds
% 296.01/297.80 % Running -m NewStrategy26604 for 600.0 seconds
% 296.01/297.80 % Running -m NewStrategy26604 for 600.0 seconds
% 296.01/297.81 % Running -m NewStrategy26604 for 600.0 seconds
% 296.01/297.82 % Running -m NewStrategy26604 for 600.0 seconds
% 296.01/297.82 % Running -m NewStrategy26604 for 600.0 seconds
% 296.01/297.83 % Running -m NewStrategy26604 for 600.0 seconds
% 296.01/297.83 % Running -m NewStrategy26604 for 600.0 seconds
% 296.01/297.84 % Running -m NewStrategy26604 for 600.0 seconds
% 296.01/297.84 % Running -m NewStrategy26604 for 600.0 seconds
% 296.01/297.85 % Running -m NewStrategy26604 for 600.0 seconds
% 296.01/297.85 % Running -m NewStrategy26604 for 600.0 seconds
% 296.01/297.86 % Running -m NewStrategy26604 for 600.0 seconds
% 296.01/297.87 % Running -m NewStrategy26604 for 600.0 seconds
% 296.01/297.87 % Running -m NewStrategy26604 for 600.0 seconds
% 296.01/297.88 % Running -m NewStrategy26604 for 600.0 seconds
% 296.01/297.88 % Running -m NewStrategy26604 for 600.0 seconds
% 296.01/297.89 % Running -m NewStrategy26604 for 600.0 seconds
% 296.01/297.89 % Running -m NewStrategy26604 for 600.0 seconds
% 296.09/297.90 % Running -m NewStrategy26604 for 600.0 seconds
% 296.09/297.90 % Running -m NewStrategy26604 for 600.0 seconds
% 296.09/297.91 % Running -m NewStrategy26604 for 600.0 seconds
% 296.09/297.91 % Running -m NewStrategy26604 for 600.0 seconds
% 296.09/297.92 % Running -m NewStrategy26604 for 600.0 seconds
% 296.09/297.93 % Running -m NewStrategy26604 for 600.0 seconds
% 296.09/297.93 % Running -m NewStrategy26604 for 600.0 seconds
% 296.09/297.94 % Running -m NewStrategy26604 for 600.0 seconds
% 296.09/297.94 % Running -m NewStrategy26604 for 600.0 seconds
% 296.09/297.95 % Running -m NewStrategy26604 for 600.0 seconds
% 296.09/297.95 % Running -m NewStrategy26604 for 600.0 seconds
% 296.09/297.96 % Running -m NewStrategy26604 for 600.0 seconds
% 296.09/297.96 % Running -m NewStrategy26604 for 600.0 seconds
% 296.09/297.97 % Running -m NewStrategy26604 for 600.0 seconds
% 296.09/297.98 % Running -m NewStrategy26604 for 600.0 seconds
% 296.09/297.98 % Running -m NewStrategy26604 for 600.0 seconds
% 296.09/297.99 % Running -m NewStrategy26604 for 600.0 seconds
% 296.09/297.99 % Running -m NewStrategy26604 for 600.0 seconds
% 296.18/298.00 % Running -m NewStrategy26604 for 600.0 seconds
% 296.18/298.00 % Running -m NewStrategy26604 for 600.0 seconds
% 296.18/298.01 % Running -m NewStrategy26604 for 600.0 seconds
% 296.18/298.02 % Running -m NewStrategy26604 for 600.0 seconds
% 296.18/298.02 % Running -m NewStrategy26604 for 600.0 seconds
% 296.18/298.03 % Running -m NewStrategy26604 for 600.0 seconds
% 296.18/298.03 % Running -m NewStrategy26604 for 600.0 seconds
% 296.18/298.04 % Running -m NewStrategy26604 for 600.0 seconds
% 296.18/298.04 % Running -m NewStrategy26604 for 600.0 seconds
% 296.18/298.05 % Running -m NewStrategy26604 for 600.0 seconds
% 296.18/298.06 % Running -m NewStrategy26604 for 600.0 seconds
% 296.18/298.06 % Running -m NewStrategy26604 for 600.0 seconds
% 296.18/298.07 % Running -m NewStrategy26604 for 600.0 seconds
% 296.18/298.07 % Running -m NewStrategy26604 for 600.0 seconds
% 296.18/298.08 % Running -m NewStrategy26604 for 600.0 seconds
% 296.18/298.08 % Running -m NewStrategy26604 for 600.0 seconds
% 296.18/298.09 % Running -m NewStrategy26604 for 600.0 seconds
% 296.18/298.10 % Running -m NewStrategy26604 for 600.0 seconds
% 296.18/298.10 % Running -m NewStrategy26604 for 600.0 seconds
% 296.26/298.11 % Running -m NewStrategy26604 for 600.0 seconds
% 296.26/298.12 % Running -m NewStrategy26604 for 600.0 seconds
% 296.26/298.12 % Running -m NewStrategy26604 for 600.0 seconds
% 296.26/298.13 % Running -m NewStrategy26604 for 600.0 seconds
% 296.26/298.14 % Running -m NewStrategy26604 for 600.0 seconds
% 296.26/298.14 % Running -m NewStrategy26604 for 600.0 seconds
% 296.26/298.15 % Running -m NewStrategy26604 for 600.0 seconds
% 296.26/298.16 % Running -m NewStrategy26604 for 600.0 seconds
% 296.26/298.16 % Running -m NewStrategy26604 for 600.0 seconds
% 296.26/298.17 % Running -m NewStrategy26604 for 600.0 seconds
% 296.26/298.18 % Running -m NewStrategy26604 for 600.0 seconds
% 296.26/298.18 % Running -m NewStrategy26604 for 600.0 seconds
% 296.26/298.19 % Running -m NewStrategy26604 for 600.0 seconds
% 296.26/298.19 % Running -m NewStrategy26604 for 600.0 seconds
% 296.26/298.20 % Running -m NewStrategy26604 for 600.0 seconds
% 296.26/298.20 % Running -m NewStrategy26604 for 600.0 seconds
% 296.35/298.21 % Running -m NewStrategy26604 for 600.0 seconds
% 296.35/298.22 % Running -m NewStrategy26604 for 600.0 seconds
% 296.35/298.22 % Running -m NewStrategy26604 for 600.0 seconds
% 296.35/298.23 % Running -m NewStrategy26604 for 600.0 seconds
% 296.35/298.23 % Running -m NewStrategy26604 for 600.0 seconds
% 296.35/298.24 % Running -m NewStrategy26604 for 600.0 seconds
% 296.35/298.24 % Running -m NewStrategy26604 for 600.0 seconds
% 296.35/298.25 % Running -m NewStrategy26604 for 600.0 seconds
% 296.35/298.25 % Running -m NewStrategy26604 for 600.0 seconds
% 296.35/298.26 % Running -m NewStrategy26604 for 600.0 seconds
% 296.35/298.26 % Running -m NewStrategy26604 for 600.0 seconds
% 296.35/298.27 % Running -m NewStrategy26604 for 600.0 seconds
% 296.35/298.27 % Running -m NewStrategy26604 for 600.0 seconds
% 296.35/298.28 % Running -m NewStrategy26604 for 600.0 seconds
% 296.35/298.29 % Running -m NewStrategy26604 for 600.0 seconds
% 296.35/298.29 % Running -m NewStrategy26604 for 600.0 seconds
% 296.43/298.30 % Running -m NewStrategy26604 for 600.0 seconds
% 296.43/298.31 % Running -m NewStrategy26604 for 600.0 seconds
% 296.43/298.31 % Running -m NewStrategy26604 for 600.0 seconds
% 296.43/298.32 % Running -m NewStrategy26604 for 600.0 seconds
% 296.43/298.32 % Running -m NewStrategy26604 for 600.0 seconds
% 296.43/298.33 % Running -m NewStrategy26604 for 600.0 seconds
% 296.43/298.33 % Running -m NewStrategy26604 for 600.0 seconds
% 296.43/298.34 % Running -m NewStrategy26604 for 600.0 seconds
% 296.43/298.34 % Running -m NewStrategy26604 for 600.0 seconds
% 296.43/298.35 % Running -m NewStrategy26604 for 600.0 seconds
% 296.43/298.36 % Running -m NewStrategy26604 for 600.0 seconds
% 296.43/298.36 % Running -m NewStrategy26604 for 600.0 seconds
% 296.43/298.37 % Running -m NewStrategy26604 for 600.0 seconds
% 296.43/298.38 % Running -m NewStrategy26604 for 600.0 seconds
% 296.43/298.38 % Running -m NewStrategy26604 for 600.0 seconds
% 296.43/298.39 % Running -m NewStrategy26604 for 600.0 seconds
% 296.52/298.40 % Running -m NewStrategy26604 for 600.0 seconds
% 296.52/298.40 % Running -m NewStrategy26604 for 600.0 seconds
% 296.52/298.41 % Running -m NewStrategy26604 for 600.0 seconds
% 296.52/298.42 % Running -m NewStrategy26604 for 600.0 seconds
% 296.52/298.42 % Running -m NewStrategy26604 for 600.0 seconds
% 296.52/298.43 % Running -m NewStrategy26604 for 600.0 seconds
% 296.52/298.43 % Running -m NewStrategy26604 for 600.0 seconds
% 296.52/298.44 % Running -m NewStrategy26604 for 600.0 seconds
% 296.52/298.44 % Running -m NewStrategy26604 for 600.0 seconds
% 296.52/298.45 % Running -m NewStrategy26604 for 600.0 seconds
% 296.52/298.45 % Running -m NewStrategy26604 for 600.0 seconds
% 296.52/298.46 % Running -m NewStrategy26604 for 600.0 seconds
% 296.52/298.46 % Running -m NewStrategy26604 for 600.0 seconds
% 296.52/298.47 % Running -m NewStrategy26604 for 600.0 seconds
% 296.52/298.48 % Running -m NewStrategy26604 for 600.0 seconds
% 296.52/298.48 % Running -m NewStrategy26604 for 600.0 seconds
% 296.52/298.49 % Running -m NewStrategy26604 for 600.0 seconds
% 296.52/298.49 % Running -m NewStrategy26604 for 600.0 seconds
% 296.60/298.50 % Running -m NewStrategy26604 for 600.0 seconds
% 296.60/298.50 % Running -m NewStrategy26604 for 600.0 seconds
% 296.60/298.51 % Running -m NewStrategy26604 for 600.0 seconds
% 296.60/298.52 % Running -m NewStrategy26604 for 600.0 seconds
% 296.60/298.52 % Running -m NewStrategy26604 for 600.0 seconds
% 296.60/298.53 % Running -m NewStrategy26604 for 600.0 seconds
% 296.60/298.53 % Running -m NewStrategy26604 for 600.0 seconds
% 296.60/298.54 % Running -m NewStrategy26604 for 600.0 seconds
% 296.60/298.55 % Running -m NewStrategy26604 for 600.0 seconds
% 296.60/298.55 % Running -m NewStrategy26604 for 600.0 seconds
% 296.60/298.56 % Running -m NewStrategy26604 for 600.0 seconds
% 296.60/298.56 % Running -m NewStrategy26604 for 600.0 seconds
% 296.60/298.57 % Running -m NewStrategy26604 for 600.0 seconds
% 296.60/298.57 % Running -m NewStrategy26604 for 600.0 seconds
% 296.60/298.58 % Running -m NewStrategy26604 for 600.0 seconds
% 296.60/298.58 % Running -m NewStrategy26604 for 600.0 seconds
% 296.60/298.59 % Running -m NewStrategy26604 for 600.0 seconds
% 296.60/298.59 % Running -m NewStrategy26604 for 600.0 seconds
% 296.69/298.60 % Running -m NewStrategy26604 for 600.0 seconds
% 296.69/298.60 % Running -m NewStrategy26604 for 600.0 seconds
% 296.69/298.61 % Running -m NewStrategy26604 for 600.0 seconds
% 296.69/298.61 % Running -m NewStrategy26604 for 600.0 seconds
% 296.69/298.62 % Running -m NewStrategy26604 for 600.0 seconds
% 296.69/298.62 % Running -m NewStrategy26604 for 600.0 seconds
% 296.69/298.63 % Running -m NewStrategy26604 for 600.0 seconds
% 296.69/298.64 % Running -m NewStrategy26604 for 600.0 seconds
% 296.69/298.64 % Running -m NewStrategy26604 for 600.0 seconds
% 296.69/298.65 % Running -m NewStrategy26604 for 600.0 seconds
% 296.69/298.65 % Running -m NewStrategy26604 for 600.0 seconds
% 296.69/298.66 % Running -m NewStrategy26604 for 600.0 seconds
% 296.69/298.66 % Running -m NewStrategy26604 for 600.0 seconds
% 296.69/298.67 % Running -m NewStrategy26604 for 600.0 seconds
% 296.69/298.67 % Running -m NewStrategy26604 for 600.0 seconds
% 296.69/298.68 % Running -m NewStrategy26604 for 600.0 seconds
% 296.69/298.69 % Running -m NewStrategy26604 for 600.0 seconds
% 296.78/298.70 % Running -m NewStrategy26604 for 600.0 seconds
% 296.78/298.70 % Running -m NewStrategy26604 for 600.0 seconds
% 296.78/298.71 % Running -m NewStrategy26604 for 600.0 seconds
% 296.78/298.71 % Running -m NewStrategy26604 for 600.0 seconds
% 296.78/298.72 % Running -m NewStrategy26604 for 600.0 seconds
% 296.78/298.72 % Running -m NewStrategy26604 for 600.0 seconds
% 296.78/298.73 % Running -m NewStrategy26604 for 600.0 seconds
% 296.78/298.73 % Running -m NewStrategy26604 for 600.0 seconds
% 296.78/298.74 % Running -m NewStrategy26604 for 600.0 seconds
% 296.78/298.75 % Running -m NewStrategy26604 for 600.0 seconds
% 296.78/298.75 % Running -m NewStrategy26604 for 600.0 seconds
% 296.78/298.76 % Running -m NewStrategy26604 for 600.0 seconds
% 296.78/298.76 % Running -m NewStrategy26604 for 600.0 seconds
% 296.78/298.77 % Running -m NewStrategy26604 for 600.0 seconds
% 296.78/298.77 % Running -m NewStrategy26604 for 600.0 seconds
% 296.78/298.78 % Running -m NewStrategy26604 for 600.0 seconds
% 296.78/298.78 % Running -m NewStrategy26604 for 600.0 seconds
% 296.78/298.79 % Running -m NewStrategy26604 for 600.0 seconds
% 296.78/298.79 % Running -m NewStrategy26604 for 600.0 seconds
% 296.87/298.80 % Running -m NewStrategy26604 for 600.0 seconds
% 296.87/298.80 % Running -m NewStrategy26604 for 600.0 seconds
% 296.87/298.81 % Running -m NewStrategy26604 for 600.0 seconds
% 296.87/298.81 % Running -m NewStrategy26604 for 600.0 seconds
% 296.87/298.82 % Running -m NewStrategy26604 for 600.0 seconds
% 296.87/298.83 % Running -m NewStrategy26604 for 600.0 seconds
% 296.87/298.83 % Running -m NewStrategy26604 for 600.0 seconds
% 296.87/298.84 % Running -m NewStrategy26604 for 600.0 seconds
% 296.87/298.84 % Running -m NewStrategy26604 for 600.0 seconds
% 296.87/298.85 % Running -m NewStrategy26604 for 600.0 seconds
% 296.87/298.86 % Running -m NewStrategy26604 for 600.0 seconds
% 296.87/298.86 % Running -m NewStrategy26604 for 600.0 seconds
% 296.87/298.87 % Running -m NewStrategy26604 for 600.0 seconds
% 296.87/298.87 % Running -m NewStrategy26604 for 600.0 seconds
% 296.87/298.88 % Running -m NewStrategy26604 for 600.0 seconds
% 296.87/298.89 % Running -m NewStrategy26604 for 600.0 seconds
% 296.87/298.89 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/298.90 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/298.90 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/298.91 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/298.92 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/298.92 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/298.93 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/298.94 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/298.94 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/298.95 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/298.95 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/298.96 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/298.96 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/298.97 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/298.97 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/298.98 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/298.98 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/298.99 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/298.99 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/299.00 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/299.00 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/299.01 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/299.01 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/299.02 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/299.03 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/299.03 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/299.04 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/299.04 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/299.05 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/299.05 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/299.06 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/299.06 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/299.07 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/299.07 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/299.08 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/299.08 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/299.09 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/299.09 % Running -m NewStrategy26604 for 600.0 seconds
% 297.14/299.10 % Running -m NewStrategy26604 for 600.0 seconds
% 297.14/299.11 % Running -m NewStrategy26604 for 600.0 seconds
% 297.14/299.12 % Running -m NewStrategy26604 for 600.0 seconds
% 297.14/299.12 % Running -m NewStrategy26604 for 600.0 seconds
% 297.14/299.13 % Running -m NewStrategy26604 for 600.0 seconds
% 297.14/299.13 % Running -m NewStrategy26604 for 600.0 seconds
% 297.14/299.14 % Running -m NewStrategy26604 for 600.0 seconds
% 297.14/299.14 % Running -m NewStrategy26604 for 600.0 seconds
% 297.14/299.15 % Running -m NewStrategy26604 for 600.0 seconds
% 297.14/299.15 % Running -m NewStrategy26604 for 600.0 seconds
% 297.14/299.16 % Running -m NewStrategy26604 for 600.0 seconds
% 297.14/299.16 % Running -m NewStrategy26604 for 600.0 seconds
% 297.14/299.17 % Running -m NewStrategy26604 for 600.0 seconds
% 297.14/299.17 % Running -m NewStrategy26604 for 600.0 seconds
% 297.14/299.18 % Running -m NewStrategy26604 for 600.0 seconds
% 297.14/299.18 % Running -m NewStrategy26604 for 600.0 seconds
% 297.14/299.19 % Running -m NewStrategy26604 for 600.0 seconds
% 297.14/299.19 % Running -m NewStrategy26604 for 600.0 seconds
% 297.14/299.20 % Running -m NewStrategy26604 for 600.0 seconds
% 297.23/299.21 % Running -m NewStrategy26604 for 600.0 seconds
% 297.23/299.21 % Running -m NewStrategy26604 for 600.0 seconds
% 297.23/299.22 % Running -m NewStrategy26604 for 600.0 seconds
% 297.23/299.22 % Running -m NewStrategy26604 for 600.0 seconds
% 297.23/299.23 % Running -m NewStrategy26604 for 600.0 seconds
% 297.23/299.24 % Running -m NewStrategy26604 for 600.0 seconds
% 297.23/299.24 % Running -m NewStrategy26604 for 600.0 seconds
% 297.23/299.25 % Running -m NewStrategy26604 for 600.0 seconds
% 297.23/299.25 % Running -m NewStrategy26604 for 600.0 seconds
% 297.23/299.26 % Running -m NewStrategy26604 for 600.0 seconds
% 297.23/299.26 % Running -m NewStrategy26604 for 600.0 seconds
% 297.23/299.27 % Running -m NewStrategy26604 for 600.0 seconds
% 297.23/299.27 % Running -m NewStrategy26604 for 600.0 seconds
% 297.23/299.28 % Running -m NewStrategy26604 for 600.0 seconds
% 297.23/299.28 % Running -m NewStrategy26604 for 600.0 seconds
% 297.23/299.29 % Running -m NewStrategy26604 for 600.0 seconds
% 297.23/299.29 % Running -m NewStrategy26604 for 600.0 seconds
% 297.23/299.30 % Running -m NewStrategy26604 for 600.0 seconds
% 297.33/299.30 % Running -m NewStrategy26604 for 600.0 seconds
% 297.33/299.31 % Running -m NewStrategy26604 for 600.0 seconds
% 297.33/299.31 % Running -m NewStrategy26604 for 600.0 seconds
% 297.33/299.32 % Running -m NewStrategy26604 for 600.0 seconds
% 297.33/299.32 % Running -m NewStrategy26604 for 600.0 seconds
% 297.33/299.33 % Running -m NewStrategy26604 for 600.0 seconds
% 297.33/299.33 % Running -m NewStrategy26604 for 600.0 seconds
% 297.33/299.34 % Running -m NewStrategy26604 for 600.0 seconds
% 297.33/299.34 % Running -m NewStrategy26604 for 600.0 seconds
% 297.33/299.35 % Running -m NewStrategy26604 for 600.0 seconds
% 297.33/299.36 % Running -m NewStrategy26604 for 600.0 seconds
% 297.33/299.36 % Running -m NewStrategy26604 for 600.0 seconds
% 297.33/299.37 % Running -m NewStrategy26604 for 600.0 seconds
% 297.33/299.37 % Running -m NewStrategy26604 for 600.0 seconds
% 297.33/299.38 % Running -m NewStrategy26604 for 600.0 seconds
% 297.33/299.38 % Running -m NewStrategy26604 for 600.0 seconds
% 297.33/299.39 % Running -m NewStrategy26604 for 600.0 seconds
% 297.33/299.39 % Running -m NewStrategy26604 for 600.0 seconds
% 297.42/299.40 % Running -m NewStrategy26604 for 600.0 seconds
% 297.42/299.40 % Running -m NewStrategy26604 for 600.0 seconds
% 297.42/299.41 % Running -m NewStrategy26604 for 600.0 seconds
% 297.42/299.42 % Running -m NewStrategy26604 for 600.0 seconds
% 297.42/299.42 % Running -m NewStrategy26604 for 600.0 seconds
% 297.42/299.43 % Running -m NewStrategy26604 for 600.0 seconds
% 297.42/299.43 % Running -m NewStrategy26604 for 600.0 seconds
% 297.42/299.44 % Running -m NewStrategy26604 for 600.0 seconds
% 297.42/299.44 % Running -m NewStrategy26604 for 600.0 seconds
% 297.42/299.45 % Running -m NewStrategy26604 for 600.0 seconds
% 297.42/299.46 % Running -m NewStrategy26604 for 600.0 seconds
% 297.42/299.46 % Running -m NewStrategy26604 for 600.0 seconds
% 297.42/299.47 % Running -m NewStrategy26604 for 600.0 seconds
% 297.42/299.47 % Running -m NewStrategy26604 for 600.0 seconds
% 297.42/299.48 % Running -m NewStrategy26604 for 600.0 seconds
% 297.42/299.48 % Running -m NewStrategy26604 for 600.0 seconds
% 297.42/299.49 % Running -m NewStrategy26604 for 600.0 seconds
% 297.42/299.49 % Running -m NewStrategy26604 for 600.0 seconds
% 297.50/299.50 % Running -m NewStrategy26604 for 600.0 seconds
% 297.50/299.51 % Running -m NewStrategy26604 for 600.0 seconds
% 297.50/299.51 % Running -m NewStrategy26604 for 600.0 seconds
% 297.50/299.52 % Running -m NewStrategy26604 for 600.0 seconds
% 297.50/299.52 % Running -m NewStrategy26604 for 600.0 seconds
% 297.50/299.53 % Running -m NewStrategy26604 for 600.0 seconds
% 297.50/299.53 % Running -m NewStrategy26604 for 600.0 seconds
% 297.50/299.54 % Running -m NewStrategy26604 for 600.0 seconds
% 297.50/299.54 % Running -m NewStrategy26604 for 600.0 seconds
% 297.50/299.55 % Running -m NewStrategy26604 for 600.0 seconds
% 297.50/299.55 % Running -m NewStrategy26604 for 600.0 seconds
% 297.50/299.56 % Running -m NewStrategy26604 for 600.0 seconds
% 297.50/299.57 % Running -m NewStrategy26604 for 600.0 seconds
% 297.50/299.57 % Running -m NewStrategy26604 for 600.0 seconds
% 297.50/299.58 % Running -m NewStrategy26604 for 600.0 seconds
% 297.50/299.58 % Running -m NewStrategy26604 for 600.0 seconds
% 297.50/299.59 % Running -m NewStrategy26604 for 600.0 seconds
% 297.50/299.59 % Running -m NewStrategy26604 for 600.0 seconds
% 297.60/299.60 % Running -m NewStrategy26604 for 600.0 seconds
% 297.60/299.61 % Running -m NewStrategy26604 for 600.0 seconds
% 297.60/299.61 % Running -m NewStrategy26604 for 600.0 seconds
% 297.60/299.62 % Running -m NewStrategy26604 for 600.0 seconds
% 297.60/299.62 % Running -m NewStrategy26604 for 600.0 seconds
% 297.60/299.63 % Running -m NewStrategy26604 for 600.0 seconds
% 297.60/299.64 % Running -m NewStrategy26604 for 600.0 seconds
% 297.60/299.64 % Running -m NewStrategy26604 for 600.0 seconds
% 297.60/299.65 % Running -m NewStrategy26604 for 600.0 seconds
% 297.60/299.65 % Running -m NewStrategy26604 for 600.0 seconds
% 297.60/299.66 % Running -m NewStrategy26604 for 600.0 seconds
% 297.60/299.66 % Running -m NewStrategy26604 for 600.0 seconds
% 297.60/299.67 % Running -m NewStrategy26604 for 600.0 seconds
% 297.60/299.67 % Running -m NewStrategy26604 for 600.0 seconds
% 297.60/299.68 % Running -m NewStrategy26604 for 600.0 seconds
% 297.60/299.68 % Running -m NewStrategy26604 for 600.0 seconds
% 297.60/299.69 % Running -m NewStrategy26604 for 600.0 seconds
% 297.60/299.69 % Running -m NewStrategy26604 for 600.0 seconds
% 297.68/299.70 % Running -m NewStrategy26604 for 600.0 seconds
% 297.68/299.71 % Running -m NewStrategy26604 for 600.0 seconds
% 297.68/299.71 % Running -m NewStrategy26604 for 600.0 seconds
% 297.68/299.72 % Running -m NewStrategy26604 for 600.0 seconds
% 297.68/299.72 % Running -m NewStrategy26604 for 600.0 seconds
% 297.68/299.73 % Running -m NewStrategy26604 for 600.0 seconds
% 297.68/299.73 % Running -m NewStrategy26604 for 600.0 seconds
% 297.68/299.74 % Running -m NewStrategy26604 for 600.0 seconds
% 297.68/299.75 % Running -m NewStrategy26604 for 600.0 seconds
% 297.68/299.75 % Running -m NewStrategy26604 for 600.0 seconds
% 297.68/299.76 % Running -m NewStrategy26604 for 600.0 seconds
% 297.68/299.76 % Running -m NewStrategy26604 for 600.0 seconds
% 297.68/299.77 % Running -m NewStrategy26604 for 600.0 seconds
% 297.68/299.78 % Running -m NewStrategy26604 for 600.0 seconds
% 297.68/299.78 % Running -m NewStrategy26604 for 600.0 seconds
% 297.68/299.79 % Running -m NewStrategy26604 for 600.0 seconds
% 297.68/299.79 % Running -m NewStrategy26604 for 600.0 seconds
% 297.77/299.80 % Running -m NewStrategy26604 for 600.0 seconds
% 297.77/299.80 % Running -m NewStrategy26604 for 600.0 seconds
% 297.77/299.81 % Running -m NewStrategy26604 for 600.0 seconds
% 297.77/299.82 % Running -m NewStrategy26604 for 600.0 seconds
% 297.77/299.82 % Running -m NewStrategy26604 for 600.0 seconds
% 297.77/299.83 % Running -m NewStrategy26604 for 600.0 seconds
% 297.77/299.84 % Running -m NewStrategy26604 for 600.0 seconds
% 297.77/299.84 % Running -m NewStrategy26604 for 600.0 seconds
% 297.77/299.85 % Running -m NewStrategy26604 for 600.0 seconds
% 297.77/299.85 % Running -m NewStrategy26604 for 600.0 seconds
% 297.77/299.86 % Running -m NewStrategy26604 for 600.0 seconds
% 297.77/299.86 % Running -m NewStrategy26604 for 600.0 seconds
% 297.77/299.87 % Running -m NewStrategy26604 for 600.0 seconds
% 297.77/299.87 % Running -m NewStrategy26604 for 600.0 seconds
% 297.77/299.88 % Running -m NewStrategy26604 for 600.0 seconds
% 297.77/299.88 % Running -m NewStrategy26604 for 600.0 seconds
% 297.77/299.89 % Running -m NewStrategy26604 for 600.0 seconds
% 297.77/299.89 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/299.90 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/299.91 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/299.91 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/299.92 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/299.93 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/299.93 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/299.94 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/299.94 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/299.95 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/299.95 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/299.96 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/299.97 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/299.97 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/299.98 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/299.98 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/299.99 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/299.99 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/300.00 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/300.01 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/300.01 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/300.02 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/300.02 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/300.03 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/300.03 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/300.04 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/300.04 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/300.05 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/300.05 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/300.06 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/300.06 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/300.07 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/300.07 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/300.08 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/300.08 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/300.09 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/300.10 % Running -m NewStrategy26604 for 600.0 seconds
% 298.04/300.10 % Running -m NewStrategy26604 for 600.0 seconds
% 298.04/300.11 % Running -m NewStrategy26604 for 600.0 seconds
% 298.04/300.11 % Running -m NewStrategy26604 for 600.0 seconds
% 298.04/300.12 % Running -m NewStrategy26604 for 600.0 seconds
% 298.04/300.13 % Running -m NewStrategy26604 for 600.0 seconds
% 298.04/300.13 % Running -m NewStrategy26604 for 600.0 seconds
% 298.04/300.14 % Running -m NewStrategy26604 for 600.0 seconds
% 298.04/300.14 % Running -m NewStrategy26604 for 600.0 seconds
% 298.04/300.15 % Running -m NewStrategy26604 for 600.0 seconds
% 298.04/300.15 % Running -m NewStrategy26604 for 600.0 seconds
% 298.04/300.16 % Running -m NewStrategy26604 for 600.0 seconds
% 298.04/300.16 % Running -m NewStrategy26604 for 600.0 seconds
% 298.04/300.17 % Running -m NewStrategy26604 for 600.0 seconds
% 298.04/300.17 % Running -m NewStrategy26604 for 600.0 seconds
% 298.04/300.18 % Running -m NewStrategy26604 for 600.0 seconds
% 298.04/300.18 % Running -m NewStrategy26604 for 600.0 seconds
% 298.04/300.19 % Running -m NewStrategy26604 for 600.0 seconds
% 298.04/300.19 % Running -m NewStrategy26604 for 600.0 seconds
% 298.13/300.20 % Running -m NewStrategy26604 for 600.0 seconds
% 298.13/300.21 % Running -m NewStrategy26604 for 600.0 seconds
% 298.13/300.21 % Running -m NewStrategy26604 for 600.0 seconds
% 298.13/300.22 % Running -m NewStrategy26604 for 600.0 seconds
% 298.13/300.22 % Running -m NewStrategy26604 for 600.0 seconds
% 298.13/300.23 % Running -m NewStrategy26604 for 600.0 seconds
% 298.13/300.24 % Running -m NewStrategy26604 for 600.0 seconds
% 298.13/300.24 % Running -m NewStrategy26604 for 600.0 seconds
% 298.13/300.25 % Running -m NewStrategy26604 for 600.0 seconds
% 298.13/300.25 % Running -m NewStrategy26604 for 600.0 seconds
% 298.13/300.26 % Running -m NewStrategy26604 for 600.0 seconds
% 298.13/300.27 % Running -m NewStrategy26604 for 600.0 seconds
% 298.13/300.27 % Running -m NewStrategy26604 for 600.0 seconds
% 298.13/300.28 % Running -m NewStrategy26604 for 600.0 seconds
% 298.13/300.28 % Running -m NewStrategy26604 for 600.0 seconds
% 298.13/300.29 % Running -m NewStrategy26604 for 600.0 seconds
% 298.13/300.30 % Running -m NewStrategy26604 for 600.0 seconds
% 298.13/300.30 % Running -m NewStrategy26604 for 600.0 seconds
% 298.22/300.31 % Running -m NewStrategy26604 for 600.0 seconds
% 298.22/300.32 % Running -m NewStrategy26604 for 600.0 seconds
% 298.22/300.32 % Running -m NewStrategy26604 for 600.0 seconds
% 298.22/300.33 % Running -m NewStrategy26604 for 600.0 seconds
% 298.22/300.33 % Running -m NewStrategy26604 for 600.0 seconds
% 298.22/300.34 % Running -m NewStrategy26604 for 600.0 seconds
% 298.22/300.35 % Running -m NewStrategy26604 for 600.0 seconds
% 298.22/300.35 % Running -m NewStrategy26604 for 600.0 seconds
% 298.22/300.36 % Running -m NewStrategy26604 for 600.0 seconds
% 298.22/300.36 % Running -m NewStrategy26604 for 600.0 seconds
% 298.22/300.37 % Running -m NewStrategy26604 for 600.0 seconds
% 298.22/300.38 % Running -m NewStrategy26604 for 600.0 seconds
% 298.22/300.38 % Running -m NewStrategy26604 for 600.0 seconds
% 298.22/300.39 % Running -m NewStrategy26604 for 600.0 seconds
% 298.22/300.40 % Running -m NewStrategy26604 for 600.0 seconds
% 298.22/300.40 % Running -m NewStrategy26604 for 600.0 seconds
% 298.30/300.41 % Running -m NewStrategy26604 for 600.0 seconds
% 298.30/300.41 % Running -m NewStrategy26604 for 600.0 seconds
% 298.30/300.42 % Running -m NewStrategy26604 for 600.0 seconds
% 298.30/300.43 % Running -m NewStrategy26604 for 600.0 seconds
% 298.30/300.43 % Running -m NewStrategy26604 for 600.0 seconds
% 298.30/300.44 % Running -m NewStrategy26604 for 600.0 seconds
% 298.30/300.44 % Running -m NewStrategy26604 for 600.0 seconds
% 298.30/300.45 % Running -m NewStrategy26604 for 600.0 seconds
% 298.30/300.46 % Running -m NewStrategy26604 for 600.0 seconds
% 298.30/300.46 % Running -m NewStrategy26604 for 600.0 seconds
% 298.30/300.47 % Running -m NewStrategy26604 for 600.0 seconds
% 298.30/300.47 % Running -m NewStrategy26604 for 600.0 seconds
% 298.30/300.48 % Running -m NewStrategy26604 for 600.0 seconds
% 298.30/300.48 % Running -m NewStrategy26604 for 600.0 seconds
% 298.30/300.49 % Running -m NewStrategy26604 for 600.0 seconds
% 298.30/300.50 % Running -m NewStrategy26604 for 600.0 seconds
% 298.39/300.50 % Running -m NewStrategy26604 for 600.0 seconds
% 298.39/300.51 % Running -m NewStrategy26604 for 600.0 seconds
% 298.39/300.51 % Running -m NewStrategy26604 for 600.0 seconds
% 298.39/300.52 % Running -m NewStrategy26604 for 600.0 seconds
% 298.39/300.52 % Running -m NewStrategy26604 for 600.0 seconds
% 298.39/300.53 % Running -m NewStrategy26604 for 600.0 seconds
% 298.39/300.53 % Running -m NewStrategy26604 for 600.0 seconds
% 298.39/300.54 % Running -m NewStrategy26604 for 600.0 seconds
% 298.39/300.54 % Running -m NewStrategy26604 for 600.0 seconds
% 298.39/300.55 % Running -m NewStrategy26604 for 600.0 seconds
% 298.39/300.55 % Running -m NewStrategy26604 for 600.0 seconds
% 298.39/300.56 % Running -m NewStrategy26604 for 600.0 seconds
% 298.39/300.56 % Running -m NewStrategy26604 for 600.0 seconds
% 298.39/300.57 % Running -m NewStrategy26604 for 600.0 seconds
% 298.39/300.58 % Running -m NewStrategy26604 for 600.0 seconds
% 298.39/300.58 % Running -m NewStrategy26604 for 600.0 seconds
% 298.39/300.59 % Running -m NewStrategy26604 for 600.0 seconds
% 298.39/300.59 % Running -m NewStrategy26604 for 600.0 seconds
% 298.48/300.60 % Running -m NewStrategy26604 for 600.0 seconds
% 298.48/300.60 % Running -m NewStrategy26604 for 600.0 seconds
% 298.48/300.61 % Running -m NewStrategy26604 for 600.0 seconds
% 298.48/300.61 % Running -m NewStrategy26604 for 600.0 seconds
% 298.48/300.62 % Running -m NewStrategy26604 for 600.0 seconds
% 298.48/300.62 % Running -m NewStrategy26604 for 600.0 seconds
% 298.48/300.63 % Running -m NewStrategy26604 for 600.0 seconds
% 298.48/300.63 % Running -m NewStrategy26604 for 600.0 seconds
% 298.48/300.64 % Running -m NewStrategy26604 for 600.0 seconds
% 298.48/300.65 % Running -m NewStrategy26604 for 600.0 seconds
% 298.48/300.65 % Running -m NewStrategy26604 for 600.0 seconds
% 298.48/300.66 % Running -m NewStrategy26604 for 600.0 seconds
% 298.48/300.66 % Running -m NewStrategy26604 for 600.0 seconds
% 298.48/300.67 % Running -m NewStrategy26604 for 600.0 seconds
% 298.48/300.67 % Running -m NewStrategy26604 for 600.0 seconds
% 298.48/300.68 % Running -m NewStrategy26604 for 600.0 seconds
% 298.48/300.68 % Running -m NewStrategy26604 for 600.0 seconds
% 298.48/300.69 % Running -m NewStrategy26604 for 600.0 seconds
% 298.57/300.70 % Running -m NewStrategy26604 for 600.0 seconds
% 298.57/300.73 % Running -m NewStrategy26604 for 600.0 seconds
% 298.57/300.73 % Running -m NewStrategy26604 for 600.0 seconds
% 298.57/300.74 % Running -m NewStrategy26604 for 600.0 seconds
% 298.57/300.75 % Running -m NewStrategy26604 for 600.0 seconds
% 298.57/300.75 % Running -m NewStrategy26604 for 600.0 seconds
% 298.57/300.76 % Running -m NewStrategy26604 for 600.0 seconds
% 298.57/300.76 % Running -m NewStrategy26604 for 600.0 seconds
% 298.57/300.77 % Running -m NewStrategy26604 for 600.0 seconds
% 298.57/300.78 % Running -m NewStrategy26604 for 600.0 seconds
% 298.57/300.79 % Running -m NewStrategy26604 for 600.0 seconds
% 298.57/300.79 % Running -m NewStrategy26604 for 600.0 seconds
% 298.63/300.80 % Running -m NewStrategy26604 for 600.0 seconds
% 298.63/300.81 % Running -m NewStrategy26604 for 600.0 seconds
% 298.63/300.81 % Running -m NewStrategy26604 for 600.0 seconds
% 298.63/300.82 % Running -m NewStrategy26604 for 600.0 seconds
% 298.63/300.83 % Running -m NewStrategy26604 for 600.0 seconds
% 298.63/300.83 % Running -m NewStrategy26604 for 600.0 seconds
% 298.63/300.84 % Running -m NewStrategy26604 for 600.0 seconds
% 298.63/300.85 % Running -m NewStrategy26604 for 600.0 seconds
% 298.63/300.85 % Running -m NewStrategy26604 for 600.0 seconds
% 298.63/300.86 % Running -m NewStrategy26604 for 600.0 seconds
% 298.63/300.86 % Running -m NewStrategy26604 for 600.0 seconds
% 298.63/300.87 % Running -m NewStrategy26604 for 600.0 seconds
% 298.63/300.88 % Running -m NewStrategy26604 for 600.0 seconds
% 298.63/300.88 % Running -m NewStrategy26604 for 600.0 seconds
% 298.63/300.89 % Running -m NewStrategy26604 for 600.0 seconds
% 298.63/300.90 % Running -m NewStrategy26604 for 600.0 seconds
% 298.71/300.90 % Running -m NewStrategy26604 for 600.0 seconds
% 298.71/300.91 % Running -m NewStrategy26604 for 600.0 seconds
% 298.71/300.92 % Running -m NewStrategy26604 for 600.0 seconds
% 298.71/300.93 % Running -m NewStrategy26604 for 600.0 seconds
% 298.71/300.93 % Running -m NewStrategy26604 for 600.0 seconds
% 298.71/300.94 % Running -m NewStrategy26604 for 600.0 seconds
% 298.71/300.95 % Running -m NewStrategy26604 for 600.0 seconds
% 298.71/300.95 % Running -m NewStrategy26604 for 600.0 seconds
% 298.71/300.96 % Running -m NewStrategy26604 for 600.0 seconds
% 298.71/300.97 % Running -m NewStrategy26604 for 600.0 seconds
% 298.71/300.97 % Running -m NewStrategy26604 for 600.0 seconds
% 298.71/300.98 % Running -m NewStrategy26604 for 600.0 seconds
% 298.71/300.99 % Running -m NewStrategy26604 for 600.0 seconds
% 298.71/301.00 % Running -m NewStrategy26604 for 600.0 seconds
% 298.79/301.00 % Running -m NewStrategy26604 for 600.0 seconds
% 298.79/301.01 % Running -m NewStrategy26604 for 600.0 seconds
% 298.79/301.02 % Running -m NewStrategy26604 for 600.0 seconds
% 298.79/301.02 % Running -m NewStrategy26604 for 600.0 seconds
% 298.79/301.03 % Running -m NewStrategy26604 for 600.0 seconds
% 298.79/301.04 % Running -m NewStrategy26604 for 600.0 seconds
% 298.79/301.04 % Running -m NewStrategy26604 for 600.0 seconds
% 298.79/301.05 % Running -m NewStrategy26604 for 600.0 seconds
% 298.79/301.05 % Running -m NewStrategy26604 for 600.0 seconds
% 298.79/301.06 % Running -m NewStrategy26604 for 600.0 seconds
% 298.79/301.07 % Running -m NewStrategy26604 for 600.0 seconds
% 298.79/301.08 % Running -m NewStrategy26604 for 600.0 seconds
% 298.79/301.08 % Running -m NewStrategy26604 for 600.0 seconds
% 298.79/301.09 % Running -m NewStrategy26604 for 600.0 seconds
% 298.79/301.09 % Running -m NewStrategy26604 for 600.0 seconds
% 298.86/301.10 % Running -m NewStrategy26604 for 600.0 seconds
% 298.86/301.10 % Running -m NewStrategy26604 for 600.0 seconds
% 298.86/301.11 % Running -m NewStrategy26604 for 600.0 seconds
% 298.86/301.11 % Running -m NewStrategy26604 for 600.0 seconds
% 298.86/301.12 % Running -m NewStrategy26604 for 600.0 seconds
% 298.86/301.13 % Running -m NewStrategy26604 for 600.0 seconds
% 298.86/301.13 % Running -m NewStrategy26604 for 600.0 seconds
% 298.86/301.14 % Running -m NewStrategy26604 for 600.0 seconds
% 298.86/301.15 % Running -m NewStrategy26604 for 600.0 seconds
% 298.86/301.16 % Running -m NewStrategy26604 for 600.0 seconds
% 298.86/301.16 % Running -m NewStrategy26604 for 600.0 seconds
% 298.86/301.17 % Running -m NewStrategy26604 for 600.0 seconds
% 298.86/301.17 % Running -m NewStrategy26604 for 600.0 seconds
% 298.86/301.18 % Running -m NewStrategy26604 for 600.0 seconds
% 298.86/301.19 % Running -m NewStrategy26604 for 600.0 seconds
% 298.95/301.20 % Running -m NewStrategy26604 for 600.0 seconds
% 298.95/301.20 % Running -m NewStrategy26604 for 600.0 seconds
% 298.95/301.21 % Running -m NewStrategy26604 for 600.0 seconds
% 298.95/301.22 % Running -m NewStrategy26604 for 600.0 seconds
% 298.95/301.23 % Running -m NewStrategy26604 for 600.0 seconds
% 298.95/301.23 % Running -m NewStrategy26604 for 600.0 seconds
% 298.95/301.24 % Running -m NewStrategy26604 for 600.0 seconds
% 298.95/301.25 % Running -m NewStrategy26604 for 600.0 seconds
% 298.95/301.26 % Running -m NewStrategy26604 for 600.0 seconds
% 298.95/301.26 % Running -m NewStrategy26604 for 600.0 seconds
% 298.95/301.27 % Running -m NewStrategy26604 for 600.0 seconds
% 298.95/301.27 % Running -m NewStrategy26604 for 600.0 seconds
% 298.95/301.28 % Running -m NewStrategy26604 for 600.0 seconds
% 298.95/301.29 % Running -m NewStrategy26604 for 600.0 seconds
% 298.95/301.29 % Running -m NewStrategy26604 for 600.0 seconds
% 299.02/301.30 % Running -m NewStrategy26604 for 600.0 seconds
% 299.02/301.31 % Running -m NewStrategy26604 for 600.0 seconds
% 299.02/301.31 % Running -m NewStrategy26604 for 600.0 seconds
% 299.02/301.32 % Running -m NewStrategy26604 for 600.0 seconds
% 299.02/301.33 % Running -m NewStrategy26604 for 600.0 seconds
% 299.02/301.33 % Running -m NewStrategy26604 for 600.0 seconds
% 299.02/301.34 % Running -m NewStrategy26604 for 600.0 seconds
% 299.02/301.34 % Running -m NewStrategy26604 for 600.0 seconds
% 299.02/301.35 % Running -m NewStrategy26604 for 600.0 seconds
% 299.02/301.35 % Running -m NewStrategy26604 for 600.0 seconds
% 299.02/301.36 % Running -m NewStrategy26604 for 600.0 seconds
% 299.02/301.37 % Running -m NewStrategy26604 for 600.0 seconds
% 299.02/301.37 % Running -m NewStrategy26604 for 600.0 seconds
% 299.02/301.38 % Running -m NewStrategy26604 for 600.0 seconds
% 299.02/301.39 % Running -m NewStrategy26604 for 600.0 seconds
% 299.02/301.40 % Running -m NewStrategy26604 for 600.0 seconds
% 299.10/301.40 % Running -m NewStrategy26604 for 600.0 seconds
% 299.10/301.41 % Running -m NewStrategy26604 for 600.0 seconds
% 299.10/301.42 % Running -m NewStrategy26604 for 600.0 seconds
% 299.10/301.42 % Running -m NewStrategy26604 for 600.0 seconds
% 299.10/301.43 % Running -m NewStrategy26604 for 600.0 seconds
% 299.10/301.44 % Running -m NewStrategy26604 for 600.0 seconds
% 299.10/301.44 % Running -m NewStrategy26604 for 600.0 seconds
% 299.10/301.45 % Running -m NewStrategy26604 for 600.0 seconds
% 299.10/301.46 % Running -m NewStrategy26604 for 600.0 seconds
% 299.10/301.46 % Running -m NewStrategy26604 for 600.0 seconds
% 299.10/301.47 % Running -m NewStrategy26604 for 600.0 seconds
% 299.10/301.48 % Running -m NewStrategy26604 for 600.0 seconds
% 299.10/301.49 % Running -m NewStrategy26604 for 600.0 seconds
% 299.10/301.49 % Running -m NewStrategy26604 for 600.0 seconds
% 299.10/301.50 % Running -m NewStrategy26604 for 600.0 seconds
% 299.18/301.51 % Running -m NewStrategy26604 for 600.0 seconds
% 299.18/301.52 % Running -m NewStrategy26604 for 600.0 seconds
% 299.18/301.52 % Running -m NewStrategy26604 for 600.0 seconds
% 299.18/301.53 % Running -m NewStrategy26604 for 600.0 seconds
% 299.18/301.53 % Running -m NewStrategy26604 for 600.0 seconds
% 299.18/301.54 % Running -m NewStrategy26604 for 600.0 seconds
% 299.18/301.54 % Running -m NewStrategy26604 for 600.0 seconds
% 299.18/301.55 % Running -m NewStrategy26604 for 600.0 seconds
% 299.18/301.56 % Running -m NewStrategy26604 for 600.0 seconds
% 299.18/301.56 % Running -m NewStrategy26604 for 600.0 seconds
% 299.18/301.57 % Running -m NewStrategy26604 for 600.0 seconds
% 299.18/301.58 % Running -m NewStrategy26604 for 600.0 seconds
% 299.18/301.58 % Running -m NewStrategy26604 for 600.0 seconds
% 299.18/301.59 % Running -m NewStrategy26604 for 600.0 seconds
% 299.26/301.60 % Running -m NewStrategy26604 for 600.0 seconds
% 299.26/301.61 % Running -m NewStrategy26604 for 600.0 seconds
% 299.26/301.61 % Running -m NewStrategy26604 for 600.0 seconds
% 299.26/301.62 % Running -m NewStrategy26604 for 600.0 seconds
% 299.26/301.63 % Running -m NewStrategy26604 for 600.0 seconds
% 299.26/301.63 % Running -m NewStrategy26604 for 600.0 seconds
% 299.26/301.64 % Running -m NewStrategy26604 for 600.0 seconds
% 299.26/301.65 % Running -m NewStrategy26604 for 600.0 seconds
% 299.26/301.65 % Running -m NewStrategy26604 for 600.0 seconds
% 299.26/301.66 % Running -m NewStrategy26604 for 600.0 seconds
% 299.26/301.66 % Running -m NewStrategy26604 for 600.0 seconds
% 299.26/301.67 % Running -m NewStrategy26604 for 600.0 seconds
% 299.26/301.68 % Running -m NewStrategy26604 for 600.0 seconds
% 299.26/301.68 % Running -m NewStrategy26604 for 600.0 seconds
% 299.26/301.69 % Running -m NewStrategy26604 for 600.0 seconds
% 299.26/301.69 % Running -m NewStrategy26604 for 600.0 seconds
% 299.33/301.70 % Running -m NewStrategy26604 for 600.0 seconds
% 299.33/301.71 % Running -m NewStrategy26604 for 600.0 seconds
% 299.33/301.71 % Running -m NewStrategy26604 for 600.0 seconds
% 299.33/301.72 % Running -m NewStrategy26604 for 600.0 seconds
% 299.33/301.73 % Running -m NewStrategy26604 for 600.0 seconds
% 299.33/301.73 % Running -m NewStrategy26604 for 600.0 seconds
% 299.33/301.74 % Running -m NewStrategy26604 for 600.0 seconds
% 299.33/301.75 % Running -m NewStrategy26604 for 600.0 seconds
% 299.33/301.76 % Running -m NewStrategy26604 for 600.0 seconds
% 299.33/301.76 % Running -m NewStrategy26604 for 600.0 seconds
% 299.33/301.77 % Running -m NewStrategy26604 for 600.0 seconds
% 299.33/301.77 % Running -m NewStrategy26604 for 600.0 seconds
% 299.33/301.78 % Running -m NewStrategy26604 for 600.0 seconds
% 299.33/301.78 % Running -m NewStrategy26604 for 600.0 seconds
% 299.33/301.79 % Running -m NewStrategy26604 for 600.0 seconds
% 299.41/301.80 % Running -m NewStrategy26604 for 600.0 seconds
% 299.41/301.80 % Running -m NewStrategy26604 for 600.0 seconds
% 299.41/301.81 % Running -m NewStrategy26604 for 600.0 seconds
% 299.41/301.81 % Running -m NewStrategy26604 for 600.0 seconds
% 299.41/301.82 % Running -m NewStrategy26604 for 600.0 seconds
% 299.41/301.82 % Running -m NewStrategy26604 for 600.0 seconds
% 299.41/301.83 % Running -m NewStrategy26604 for 600.0 seconds
% 299.41/301.83 % Running -m NewStrategy26604 for 600.0 seconds
% 299.41/301.84 % Running -m NewStrategy26604 for 600.0 seconds
% 299.41/301.84 % Running -m NewStrategy26604 for 600.0 seconds
% 299.41/301.85 % Running -m NewStrategy26604 for 600.0 seconds
% 299.41/301.85 % Running -m NewStrategy26604 for 600.0 seconds
% 299.41/301.86 % Running -m NewStrategy26604 for 600.0 seconds
% 299.41/301.87 % Running -m NewStrategy26604 for 600.0 seconds
% 299.41/301.87 % Running -m NewStrategy26604 for 600.0 seconds
% 299.41/301.88 % Running -m NewStrategy26604 for 600.0 seconds
% 299.41/301.88 % Running -m NewStrategy26604 for 600.0 seconds
% 299.41/301.89 % Running -m NewStrategy26604 for 600.0 seconds
% 299.51/301.90 % Running -m NewStrategy26604 for 600.0 seconds
% 299.51/301.90 % Running -m NewStrategy26604 for 600.0 seconds
% 299.51/301.91 % Running -m NewStrategy26604 for 600.0 seconds
% 299.51/301.92 % Running -m NewStrategy26604 for 600.0 seconds
% 299.51/301.93 % Running -m NewStrategy26604 for 600.0 seconds
% 299.51/301.93 % Running -m NewStrategy26604 for 600.0 seconds
% 299.51/301.94 % Running -m NewStrategy26604 for 600.0 seconds
% 299.51/301.94 % Running -m NewStrategy26604 for 600.0 seconds
% 299.51/301.95 % Running -m NewStrategy26604 for 600.0 seconds
% 299.51/301.96 % Running -m NewStrategy26604 for 600.0 seconds
% 299.51/301.96 % Running -m NewStrategy26604 for 600.0 seconds
% 299.51/301.97 % Running -m NewStrategy26604 for 600.0 seconds
% 299.51/301.98 % Running -m NewStrategy26604 for 600.0 seconds
% 299.51/301.99 % Running -m NewStrategy26604 for 600.0 seconds
% 299.51/301.99 % Running -m NewStrategy26604 for 600.0 seconds
% 299.59/302.00 % Running -m NewStrategy26604 for 600.0 seconds
% 299.59/302.00 % Running -m NewStrategy26604 for 600.0 seconds
% 299.59/302.01 % Running -m NewStrategy26604 for 600.0 seconds
% 299.59/302.01 % Running -m NewStrategy26604 for 600.0 seconds
% 299.59/302.02 % Running -m NewStrategy26604 for 600.0 seconds
% 299.59/302.03 % Running -m NewStrategy26604 for 600.0 seconds
% 299.59/302.03 % Running -m NewStrategy26604 for 600.0 seconds
% 299.59/302.04 % Running -m NewStrategy26604 for 600.0 seconds
% 299.59/302.04 % Running -m NewStrategy26604 for 600.0 seconds
% 299.59/302.05 % Running -m NewStrategy26604 for 600.0 seconds
% 299.59/302.06 % Running -m NewStrategy26604 for 600.0 seconds
% 299.59/302.06 % Running -m NewStrategy26604 for 600.0 seconds
% 299.59/302.07 % Running -m NewStrategy26604 for 600.0 seconds
% 299.59/302.07 % Running -m NewStrategy26604 for 600.0 seconds
% 299.59/302.08 % Running -m NewStrategy26604 for 600.0 seconds
% 299.59/302.08 % Running -m NewStrategy26604 for 600.0 seconds
% 299.59/302.09 % Running -m NewStrategy26604 for 600.0 seconds
% 299.59/302.09 % Running -m NewStrategy26604 for 600.0 seconds
% 299.67/302.10 % Running -m NewStrategy26604 for 600.0 seconds
% 299.67/302.11 % Running -m NewStrategy26604 for 600.0 seconds
% 299.67/302.11 % Running -m NewStrategy26604 for 600.0 seconds
% 299.67/302.12 % Running -m NewStrategy26604 for 600.0 seconds
% 299.67/302.12 % Running -m NewStrategy26604 for 600.0 seconds
% 299.67/302.13 % Running -m NewStrategy26604 for 600.0 seconds
% 299.67/302.14 % Running -m NewStrategy26604 for 600.0 seconds
% 299.67/302.14 % Running -m NewStrategy26604 for 600.0 seconds
% 299.67/302.15 % Running -m NewStrategy26604 for 600.0 seconds
% 299.67/302.16 % Running -m NewStrategy26604 for 600.0 seconds
% 299.67/302.16 % Running -m NewStrategy26604 for 600.0 seconds
% 299.67/302.17 % Running -m NewStrategy26604 for 600.0 seconds
% 299.67/302.18 % Running -m NewStrategy26604 for 600.0 seconds
% 299.67/302.18 % Running -m NewStrategy26604 for 600.0 seconds
% 299.67/302.19 % Running -m NewStrategy26604 for 600.0 seconds
% 299.67/302.20 % Running -m NewStrategy26604 for 600.0 seconds
% 299.76/302.20 % Running -m NewStrategy26604 for 600.0 seconds
% 299.76/302.21 % Running -m NewStrategy26604 for 600.0 seconds
% 299.76/302.21 % Running -m NewStrategy26604 for 600.0 seconds
% 299.76/302.22 % Running -m NewStrategy26604 for 600.0 seconds
% 299.76/302.22 % Running -m NewStrategy26604 for 600.0 seconds
% 299.76/302.23 % Running -m NewStrategy26604 for 600.0 seconds
% 299.76/302.23 % Running -m NewStrategy26604 for 600.0 seconds
% 299.76/302.24 % Running -m NewStrategy26604 for 600.0 seconds
% 299.76/302.25 % Running -m NewStrategy26604 for 600.0 seconds
% 299.76/302.25 % Running -m NewStrategy26604 for 600.0 seconds
% 299.76/302.26 % Running -m NewStrategy26604 for 600.0 seconds
% 299.76/302.26 % Running -m NewStrategy26604 for 600.0 seconds
% 299.76/302.27 % Running -m NewStrategy26604 for 600.0 seconds
% 299.76/302.27 % Running -m NewStrategy26604 for 600.0 seconds
% 299.76/302.28 % Running -m NewStrategy26604 for 600.0 seconds
% 299.76/302.28 % Running -m NewStrategy26604 for 600.0 seconds
% 299.76/302.29 % Running -m NewStrategy26604 for 600.0 seconds
% 299.84/302.30 % Running -m NewStrategy26604 for 600.0 seconds
% 299.84/302.31 % Running -m NewStrategy26604 for 600.0 seconds
% 299.84/302.31 % Running -m NewStrategy26604 for 600.0 seconds
% 299.84/302.32 % Running -m NewStrategy26604 for 600.0 seconds
% 299.84/302.32 % Running -m NewStrategy26604 for 600.0 seconds
% 299.84/302.33 % Running -m NewStrategy26604 for 600.0 seconds
% 299.84/302.33 % Running -m NewStrategy26604 for 600.0 seconds
% 299.84/302.34 % Running -m NewStrategy26604 for 600.0 seconds
% 299.84/302.34 % Running -m NewStrategy26604 for 600.0 seconds
% 299.84/302.35 % Running -m NewStrategy26604 for 600.0 seconds
% 299.84/302.36 % Running -m NewStrategy26604 for 600.0 seconds
% 299.84/302.36 % Running -m NewStrategy26604 for 600.0 seconds
% 299.84/302.37 % Running -m NewStrategy26604 for 600.0 seconds
% 299.84/302.37 % Running -m NewStrategy26604 for 600.0 seconds
% 299.84/302.38 % Running -m NewStrategy26604 for 600.0 seconds
% 299.84/302.38 % Running -m NewStrategy26604 for 600.0 seconds
% 299.84/302.39 % Running -m NewStrategy26604 for 600.0 seconds
% 299.84/302.39 % Running -m NewStrategy26604 for 600.0 seconds
% 299.93/302.40 % Running -m NewStrategy26604 for 600.0 seconds
% 299.93/302.40 % Running -m NewStrategy26604 for 600.0 seconds
% 299.93/302.41 % Running -m NewStrategy26604 for 600.0 seconds
% 299.93/302.41 % Running -m NewStrategy26604 for 600.0 seconds
% 299.93/302.42 % Running -m NewStrategy26604 for 600.0 seconds
% 299.93/302.42 % Running -m NewStrategy26604 for 600.0 seconds
% 299.93/302.43 % Running -m NewStrategy26604 for 600.0 seconds
% 299.93/302.44 % Running -m NewStrategy26604 for 600.0 seconds
% 299.93/302.44 % Running -m NewStrategy26604 for 600.0 seconds
% 299.93/302.45 % Running -m NewStrategy26604 for 600.0 seconds
% 299.93/302.45 % Running -m NewStrategy26604 for 600.0 seconds
% 299.93/302.46 % Running -m NewStrategy26604 for 600.0 seconds
% 299.93/302.46 % Running -m NewStrategy26604 for 600.0 seconds
% 299.93/302.47 % Running -m NewStrategy26604 for 600.0 seconds
% 299.93/302.47 % Running -m NewStrategy26604 for 600.0 seconds
% 299.93/302.48 % Running -m NewStrategy26604 for 600.0 seconds
% 299.93/302.49 % Running -m NewStrategy26604 for 600.0 seconds
% 299.93/302.49 % Running -m NewStrategy26604 for 600.0 seconds
% 299.93/302.50 % Running -m NewStrategy26604 for 600.0 seconds
% 300.03/302.51 % Running -m NewStrategy26604 for 600.0 seconds
% 300.03/302.52 % Running -m NewStrategy26604 for 600.0 seconds
%------------------------------------------------------------------------------