Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r003-oct2-167813590600240.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is AirplaneLD-COL-4000, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590600240
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 8.2K Feb 26 15:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 26 15:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 13:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 13:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 19:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 153K Feb 26 19:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 26 17:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 17:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 620K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678472778693

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AirplaneLD-COL-4000
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-10 18:26:21] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-10 18:26:21] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-10 18:26:21] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-10 18:26:22] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 18:26:22] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1174 ms
[2023-03-10 18:26:22] [INFO ] Detected 3 constant HL places corresponding to 12002 PT places.
[2023-03-10 18:26:22] [INFO ] Imported 20 HL places and 15 HL transitions for a total of 28019 PT places and 48012.0 transition bindings in 44 ms.
[2023-03-10 18:26:23] [INFO ] Unfolded HLPN to a Petri net with 28019 places and 32008 transitions 90020 arcs in 542 ms.
[2023-03-10 18:26:23] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-10 18:26:23] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 28019 places, 32008 transitions and 90020 arcs took 216 ms.
Total runtime 2475 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (COL), instance 4000
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 28019 places, 32008 transitions, 90020 arcs.
AT ITER 0 NEW BEST:: SOT 324418093 SOS 246249027 HAS SOPS 246249027 HAS SOUS 68174069 HAS SOUPS 68174069 WITH SCORE 6.8420318027E7
AT ITER 236 NEW BEST:: SOT 324425744 SOS 246256678 HAS SOPS 246256678 HAS SOUS 68173880 HAS SOUPS 68173880 WITH SCORE 6.8420136678E7
AT ITER 277 NEW BEST:: SOT 324432165 SOS 246263099 HAS SOPS 246263099 HAS SOUS 68173277 HAS SOUPS 68173277 WITH SCORE 6.8419540099E7
AT ITER 286 NEW BEST:: SOT 324442391 SOS 246273325 HAS SOPS 246273325 HAS SOUS 68171823 HAS SOUPS 68171823 WITH SCORE 6.8418096325E7
AT ITER 299 NEW BEST:: SOT 324446169 SOS 246277103 HAS SOPS 246277103 HAS SOUS 68170977 HAS SOUPS 68170977 WITH SCORE 6.8417254103E7
AT ITER 301 NEW BEST:: SOT 324456792 SOS 246287726 HAS SOPS 246287726 HAS SOUS 68167010 HAS SOUPS 68167010 WITH SCORE 6.8413297726E7
AT ITER 305 NEW BEST:: SOT 324461263 SOS 246292197 HAS SOPS 246292197 HAS SOUS 68165245 HAS SOUPS 68165245 WITH SCORE 6.8411537197E7
AT ITER 331 NEW BEST:: SOT 324467536 SOS 246298470 HAS SOPS 246298470 HAS SOUS 68163388 HAS SOUPS 68163388 WITH SCORE 6.840968647E7
AT ITER 335 NEW BEST:: SOT 324476211 SOS 246307145 HAS SOPS 246307145 HAS SOUS 68160871 HAS SOUPS 68160871 WITH SCORE 6.8407178145E7
AT ITER 344 NEW BEST:: SOT 324479365 SOS 246310299 HAS SOPS 246310299 HAS SOUS 68159509 HAS SOUPS 68159509 WITH SCORE 6.8405819299E7
AT ITER 357 NEW BEST:: SOT 324483156 SOS 246314090 HAS SOPS 246314090 HAS SOUS 68159352 HAS SOUPS 68159352 WITH SCORE 6.840566609E7
AT ITER 454 NEW BEST:: SOT 324491894 SOS 246322828 HAS SOPS 246322828 HAS SOUS 68157130 HAS SOUPS 68157130 WITH SCORE 6.8403452828E7
AT ITER 471 NEW BEST:: SOT 324497443 SOS 246328377 HAS SOPS 246328377 HAS SOUS 68154853 HAS SOUPS 68154853 WITH SCORE 6.8401181377E7
AT ITER 497 NEW BEST:: SOT 324504463 SOS 246335397 HAS SOPS 246335397 HAS SOUS 68154195 HAS SOUPS 68154195 WITH SCORE 6.8400530397E7
AT ITER 509 NEW BEST:: SOT 324508149 SOS 246339083 HAS SOPS 246339083 HAS SOUS 68151069 HAS SOUPS 68151069 WITH SCORE 6.8397408083E7
AT ITER 511 NEW BEST:: SOT 324519068 SOS 246350002 HAS SOPS 246350002 HAS SOUS 68150166 HAS SOUPS 68150166 WITH SCORE 6.8396516002E7
AT ITER 512 NEW BEST:: SOT 324526596 SOS 246357530 HAS SOPS 246357530 HAS SOUS 68148394 HAS SOUPS 68148394 WITH SCORE 6.839475153E7
AT ITER 520 NEW BEST:: SOT 324536499 SOS 246367433 HAS SOPS 246367433 HAS SOUS 68145629 HAS SOUPS 68145629 WITH SCORE 6.8391996433E7
AT ITER 546 NEW BEST:: SOT 324541271 SOS 246372205 HAS SOPS 246372205 HAS SOUS 68141777 HAS SOUPS 68141777 WITH SCORE 6.8388149205E7
AT ITER 583 NEW BEST:: SOT 324545914 SOS 246376848 HAS SOPS 246376848 HAS SOUS 68140854 HAS SOUPS 68140854 WITH SCORE 6.8387230848E7
AT ITER 589 NEW BEST:: SOT 324559510 SOS 246390444 HAS SOPS 246390444 HAS SOUS 68140292 HAS SOUPS 68140292 WITH SCORE 6.8386682444E7
AT ITER 603 NEW BEST:: SOT 324569829 SOS 246400763 HAS SOPS 246400763 HAS SOUS 68140161 HAS SOUPS 68140161 WITH SCORE 6.8386561763E7
AT ITER 605 NEW BEST:: SOT 324573966 SOS 246404900 HAS SOPS 246404900 HAS SOUS 68136822 HAS SOUPS 68136822 WITH SCORE 6.83832269E7
AT ITER 619 NEW BEST:: SOT 324579802 SOS 246410736 HAS SOPS 246410736 HAS SOUS 68135310 HAS SOUPS 68135310 WITH SCORE 6.8381720736E7
AT ITER 628 NEW BEST:: SOT 324591187 SOS 246422121 HAS SOPS 246422121 HAS SOUS 68134333 HAS SOUPS 68134333 WITH SCORE 6.8380755121E7
AT ITER 633 NEW BEST:: SOT 324595153 SOS 246426087 HAS SOPS 246426087 HAS SOUS 68134057 HAS SOUPS 68134057 WITH SCORE 6.8380483087E7
AT ITER 637 NEW BEST:: SOT 324597284 SOS 246428218 HAS SOPS 246428218 HAS SOUS 68132322 HAS SOUPS 68132322 WITH SCORE 6.8378750218E7
AT ITER 647 NEW BEST:: SOT 324602315 SOS 246433249 HAS SOPS 246433249 HAS SOUS 68128655 HAS SOUPS 68128655 WITH SCORE 6.8375088249E7
AT ITER 658 NEW BEST:: SOT 324605742 SOS 246436676 HAS SOPS 246436676 HAS SOUS 68126694 HAS SOUPS 68126694 WITH SCORE 6.8373130676E7
AT ITER 666 NEW BEST:: SOT 324612043 SOS 246442977 HAS SOPS 246442977 HAS SOUS 68124999 HAS SOUPS 68124999 WITH SCORE 6.8371441977E7
AT ITER 673 NEW BEST:: SOT 324622272 SOS 246453206 HAS SOPS 246453206 HAS SOUS 68122464 HAS SOUPS 68122464 WITH SCORE 6.8368917206E7
AT ITER 676 NEW BEST:: SOT 324624249 SOS 246455183 HAS SOPS 246455183 HAS SOUS 68120773 HAS SOUPS 68120773 WITH SCORE 6.8367228183E7
AT ITER 718 NEW BEST:: SOT 324631454 SOS 246462388 HAS SOPS 246462388 HAS SOUS 68120726 HAS SOUPS 68120726 WITH SCORE 6.8367188388E7
AT ITER 791 NEW BEST:: SOT 324642849 SOS 246473783 HAS SOPS 246473783 HAS SOUS 68118373 HAS SOUPS 68118373 WITH SCORE 6.8364846783E7
AT ITER 833 NEW BEST:: SOT 324657725 SOS 246488659 HAS SOPS 246488659 HAS SOUS 68115519 HAS SOUPS 68115519 WITH SCORE 6.8362007659E7
AT ITER 838 NEW BEST:: SOT 324667627 SOS 246498561 HAS SOPS 246498561 HAS SOUS 68115391 HAS SOUPS 68115391 WITH SCORE 6.8361889561E7
AT ITER 844 NEW BEST:: SOT 324676657 SOS 246507591 HAS SOPS 246507591 HAS SOUS 68112915 HAS SOUPS 68112915 WITH SCORE 6.8359422591E7
AT ITER 853 NEW BEST:: SOT 324684038 SOS 246514972 HAS SOPS 246514972 HAS SOUS 68110780 HAS SOUPS 68110780 WITH SCORE 6.8357294972E7
AT ITER 907 NEW BEST:: SOT 324691707 SOS 246522641 HAS SOPS 246522641 HAS SOUS 68109417 HAS SOUPS 68109417 WITH SCORE 6.8355939641E7
AT ITER 925 NEW BEST:: SOT 324697925 SOS 246528859 HAS SOPS 246528859 HAS SOUS 68107815 HAS SOUPS 68107815 WITH SCORE 6.8354343859E7
AT ITER 958 NEW BEST:: SOT 324706151 SOS 246537085 HAS SOPS 246537085 HAS SOUS 68104263 HAS SOUPS 68104263 WITH SCORE 6.8350800085E7
AT ITER 968 NEW BEST:: SOT 324717165 SOS 246548099 HAS SOPS 246548099 HAS SOUS 68103445 HAS SOUPS 68103445 WITH SCORE 6.8349993099E7
AT ITER 998 NEW BEST:: SOT 324720833 SOS 246551767 HAS SOPS 246551767 HAS SOUS 68100229 HAS SOUPS 68100229 WITH SCORE 6.8346780767E7
AT ITER 1017 NEW BEST:: SOT 324734216 SOS 246565150 HAS SOPS 246565150 HAS SOUS 68097408 HAS SOUPS 68097408 WITH SCORE 6.834397315E7
AT ITER 1019 NEW BEST:: SOT 324741027 SOS 246571961 HAS SOPS 246571961 HAS SOUS 68093693 HAS SOUPS 68093693 WITH SCORE 6.8340264961E7
AT ITER 1047 NEW BEST:: SOT 324740271 SOS 246569693 HAS SOPS 246569693 HAS SOUS 68093693 HAS SOUPS 68093693 WITH SCORE 6.8340262693E7
AT ITER 1064 NEW BEST:: SOT 324747891 SOS 246577313 HAS SOPS 246577313 HAS SOUS 68090553 HAS SOUPS 68090553 WITH SCORE 6.8337130313E7
AT ITER 1073 NEW BEST:: SOT 324754159 SOS 246583581 HAS SOPS 246583581 HAS SOUS 68088267 HAS SOUPS 68088267 WITH SCORE 6.8334850581E7
AT ITER 1094 NEW BEST:: SOT 324767235 SOS 246596657 HAS SOPS 246596657 HAS SOUS 68086209 HAS SOUPS 68086209 WITH SCORE 6.8332805657E7
AT ITER 1111 NEW BEST:: SOT 324773588 SOS 246603010 HAS SOPS 246603010 HAS SOUS 68082552 HAS SOUPS 68082552 WITH SCORE 6.832915501E7
AT ITER 1118 NEW BEST:: SOT 324781362 SOS 246610784 HAS SOPS 246610784 HAS SOUS 68078830 HAS SOUPS 68078830 WITH SCORE 6.8325440784E7
AT ITER 1122 NEW BEST:: SOT 324799567 SOS 246628989 HAS SOPS 246628989 HAS SOUS 68078321 HAS SOUPS 68078321 WITH SCORE 6.8324949989E7
AT ITER 1131 NEW BEST:: SOT 324814459 SOS 246643881 HAS SOPS 246643881 HAS SOUS 68074385 HAS SOUPS 68074385 WITH SCORE 6.8321028881E7
AT ITER 1142 NEW BEST:: SOT 324820352 SOS 246649774 HAS SOPS 246649774 HAS SOUS 68073620 HAS SOUPS 68073620 WITH SCORE 6.8320269774E7
AT ITER 1144 NEW BEST:: SOT 324824396 SOS 246653818 HAS SOPS 246653818 HAS SOUS 68070616 HAS SOUPS 68070616 WITH SCORE 6.8317269818E7
AT ITER 1156 NEW BEST:: SOT 324828823 SOS 246658245 HAS SOPS 246658245 HAS SOUS 68069179 HAS SOUPS 68069179 WITH SCORE 6.8315837245E7
AT ITER 1159 NEW BEST:: SOT 324841077 SOS 246670499 HAS SOPS 246670499 HAS SOUS 68066823 HAS SOUPS 68066823 WITH SCORE 6.8313493499E7
AT ITER 1169 NEW BEST:: SOT 324853292 SOS 246682714 HAS SOPS 246682714 HAS SOUS 68066680 HAS SOUPS 68066680 WITH SCORE 6.8313362714E7
AT ITER 1182 NEW BEST:: SOT 324865787 SOS 246695209 HAS SOPS 246695209 HAS SOUS 68064507 HAS SOUPS 68064507 WITH SCORE 6.8311202209E7
AT ITER 1197 NEW BEST:: SOT 324880663 SOS 246710085 HAS SOPS 246710085 HAS SOUS 68064287 HAS SOUPS 68064287 WITH SCORE 6.8310997085E7
AT ITER 1200 NEW BEST:: SOT 324891111 SOS 246720533 HAS SOPS 246720533 HAS SOUS 68064163 HAS SOUPS 68064163 WITH SCORE 6.8310883533E7
AT ITER 1213 NEW BEST:: SOT 324894798 SOS 246724220 HAS SOPS 246724220 HAS SOUS 68062632 HAS SOUPS 68062632 WITH SCORE 6.830935622E7
AT ITER 1225 NEW BEST:: SOT 324898528 SOS 246727950 HAS SOPS 246727950 HAS SOUS 68061558 HAS SOUPS 68061558 WITH SCORE 6.830828595E7
AT ITER 1235 NEW BEST:: SOT 324912569 SOS 246741991 HAS SOPS 246741991 HAS SOUS 68061505 HAS SOUPS 68061505 WITH SCORE 6.8308246991E7
AT ITER 1266 NEW BEST:: SOT 324915940 SOS 246745362 HAS SOPS 246745362 HAS SOUS 68060524 HAS SOUPS 68060524 WITH SCORE 6.8307269362E7
AT ITER 1278 NEW BEST:: SOT 324920661 SOS 246750083 HAS SOPS 246750083 HAS SOUS 68059277 HAS SOUPS 68059277 WITH SCORE 6.8306027083E7
AT ITER 1321 NEW BEST:: SOT 324935216 SOS 246764638 HAS SOPS 246764638 HAS SOUS 68058732 HAS SOUPS 68058732 WITH SCORE 6.8305496638E7
AT ITER 1342 NEW BEST:: SOT 324945055 SOS 246774477 HAS SOPS 246774477 HAS SOUS 68056413 HAS SOUPS 68056413 WITH SCORE 6.8303187477E7
AT ITER 1367 NEW BEST:: SOT 324963924 SOS 246793346 HAS SOPS 246793346 HAS SOUS 68053490 HAS SOUPS 68053490 WITH SCORE 6.8300283346E7
AT ITER 1387 NEW BEST:: SOT 324985521 SOS 246814943 HAS SOPS 246814943 HAS SOUS 68052279 HAS SOUPS 68052279 WITH SCORE 6.8299093943E7
AT ITER 1391 NEW BEST:: SOT 325006984 SOS 246836406 HAS SOPS 246836406 HAS SOUS 68048960 HAS SOUPS 68048960 WITH SCORE 6.8295796406E7
AT ITER 1400 NEW BEST:: SOT 325011985 SOS 246841407 HAS SOPS 246841407 HAS SOUS 68047425 HAS SOUPS 68047425 WITH SCORE 6.8294266407E7
AT ITER 1401 NEW BEST:: SOT 325032555 SOS 246861977 HAS SOPS 246861977 HAS SOUS 68047381 HAS SOUPS 68047381 WITH SCORE 6.8294242977E7
AT ITER 1421 NEW BEST:: SOT 325055245 SOS 246884667 HAS SOPS 246884667 HAS SOUS 68043719 HAS SOUPS 68043719 WITH SCORE 6.8290603667E7
AT ITER 1433 NEW BEST:: SOT 325062405 SOS 246891827 HAS SOPS 246891827 HAS SOUS 68039899 HAS SOUPS 68039899 WITH SCORE 6.8286790827E7
AT ITER 1437 NEW BEST:: SOT 325067005 SOS 246896427 HAS SOPS 246896427 HAS SOUS 68036029 HAS SOUPS 68036029 WITH SCORE 6.8282925427E7
AT ITER 1446 NEW BEST:: SOT 325076353 SOS 246905775 HAS SOPS 246905775 HAS SOUS 68032959 HAS SOUPS 68032959 WITH SCORE 6.8279864775E7
AT ITER 1447 NEW BEST:: SOT 325100075 SOS 246929497 HAS SOPS 246929497 HAS SOUS 68032749 HAS SOUPS 68032749 WITH SCORE 6.8279678497E7
AT ITER 1448 NEW BEST:: SOT 325112861 SOS 246942283 HAS SOPS 246942283 HAS SOUS 68028841 HAS SOUPS 68028841 WITH SCORE 6.8275783283E7
AT ITER 1450 NEW BEST:: SOT 325132750 SOS 246962172 HAS SOPS 246962172 HAS SOUS 68026448 HAS SOUPS 68026448 WITH SCORE 6.8273410172E7
AT ITER 1454 NEW BEST:: SOT 325137478 SOS 246966900 HAS SOPS 246966900 HAS SOUS 68023034 HAS SOUPS 68023034 WITH SCORE 6.82700009E7
AT ITER 1462 NEW BEST:: SOT 325143618 SOS 246973040 HAS SOPS 246973040 HAS SOUS 68021756 HAS SOUPS 68021756 WITH SCORE 6.826872904E7
AT ITER 1481 NEW BEST:: SOT 325167967 SOS 246997389 HAS SOPS 246997389 HAS SOUS 68018217 HAS SOUPS 68018217 WITH SCORE 6.8265214389E7
AT ITER 1483 NEW BEST:: SOT 325174433 SOS 247003855 HAS SOPS 247003855 HAS SOUS 68015901 HAS SOUPS 68015901 WITH SCORE 6.8262904855E7
AT ITER 1493 NEW BEST:: SOT 325196950 SOS 247026372 HAS SOPS 247026372 HAS SOUS 68013422 HAS SOUPS 68013422 WITH SCORE 6.8260448372E7
AT ITER 1498 NEW BEST:: SOT 325204965 SOS 247034387 HAS SOPS 247034387 HAS SOUS 68012289 HAS SOUPS 68012289 WITH SCORE 6.8259323387E7
AT ITER 1510 NEW BEST:: SOT 325231578 SOS 247061000 HAS SOPS 247061000 HAS SOUS 68009640 HAS SOUPS 68009640 WITH SCORE 6.8256701E7
AT ITER 1524 NEW BEST:: SOT 325240361 SOS 247069783 HAS SOPS 247069783 HAS SOUS 68007553 HAS SOUPS 68007553 WITH SCORE 6.8254622783E7
AT ITER 1525 NEW BEST:: SOT 325256688 SOS 247086110 HAS SOPS 247086110 HAS SOUS 68004830 HAS SOUPS 68004830 WITH SCORE 6.825191611E7
AT ITER 1528 NEW BEST:: SOT 325256739 SOS 247086161 HAS SOPS 247086161 HAS SOUS 68004779 HAS SOUPS 68004779 WITH SCORE 6.8251865161E7
AT ITER 1539 NEW BEST:: SOT 325276090 SOS 247105512 HAS SOPS 247105512 HAS SOUS 68002672 HAS SOUPS 68002672 WITH SCORE 6.8249777512E7
AT ITER 1548 NEW BEST:: SOT 325291007 SOS 247120429 HAS SOPS 247120429 HAS SOUS 68001973 HAS SOUPS 68001973 WITH SCORE 6.8249093429E7
AT ITER 1552 NEW BEST:: SOT 325293221 SOS 247122643 HAS SOPS 247122643 HAS SOUS 68001313 HAS SOUPS 68001313 WITH SCORE 6.8248435643E7
AT ITER 1555 NEW BEST:: SOT 325304560 SOS 247133982 HAS SOPS 247133982 HAS SOUS 67999200 HAS SOUPS 67999200 WITH SCORE 6.8246333982E7
AT ITER 1590 NEW BEST:: SOT 325320454 SOS 247149876 HAS SOPS 247149876 HAS SOUS 67999040 HAS SOUPS 67999040 WITH SCORE 6.8246189876E7
AT ITER 1594 NEW BEST:: SOT 325340202 SOS 247169624 HAS SOPS 247169624 HAS SOUS 67996372 HAS SOUPS 67996372 WITH SCORE 6.8243541624E7
AT ITER 1597 NEW BEST:: SOT 325343050 SOS 247172472 HAS SOPS 247172472 HAS SOUS 67994080 HAS SOUPS 67994080 WITH SCORE 6.8241252472E7
AT ITER 1607 NEW BEST:: SOT 325368372 SOS 247197794 HAS SOPS 247197794 HAS SOUS 67993116 HAS SOUPS 67993116 WITH SCORE 6.8240313794E7
AT ITER 1621 NEW BEST:: SOT 325377195 SOS 247206617 HAS SOPS 247206617 HAS SOUS 67992619 HAS SOUPS 67992619 WITH SCORE 6.8239825617E7
AT ITER 1626 NEW BEST:: SOT 325393168 SOS 247222590 HAS SOPS 247222590 HAS SOUS 67992408 HAS SOUPS 67992408 WITH SCORE 6.823963059E7
AT ITER 1628 NEW BEST:: SOT 325398335 SOS 247227757 HAS SOPS 247227757 HAS SOUS 67989257 HAS SOUPS 67989257 WITH SCORE 6.8236484757E7
AT ITER 1643 NEW BEST:: SOT 325410094 SOS 247239516 HAS SOPS 247239516 HAS SOUS 67988028 HAS SOUPS 67988028 WITH SCORE 6.8235267516E7
AT ITER 1644 NEW BEST:: SOT 325423339 SOS 247252761 HAS SOPS 247252761 HAS SOUS 67985153 HAS SOUPS 67985153 WITH SCORE 6.8232405761E7
AT ITER 1645 NEW BEST:: SOT 325433452 SOS 247262874 HAS SOPS 247262874 HAS SOUS 67984586 HAS SOUPS 67984586 WITH SCORE 6.8231848874E7
AT ITER 1651 NEW BEST:: SOT 325441391 SOS 247270813 HAS SOPS 247270813 HAS SOUS 67981003 HAS SOUPS 67981003 WITH SCORE 6.8228273813E7
AT ITER 1657 NEW BEST:: SOT 325452618 SOS 247282040 HAS SOPS 247282040 HAS SOUS 67980124 HAS SOUPS 67980124 WITH SCORE 6.822740604E7
AT ITER 1661 NEW BEST:: SOT 325460698 SOS 247290120 HAS SOPS 247290120 HAS SOUS 67979264 HAS SOUPS 67979264 WITH SCORE 6.822655412E7
AT ITER 1680 NEW BEST:: SOT 325479653 SOS 247309075 HAS SOPS 247309075 HAS SOUS 67975421 HAS SOUPS 67975421 WITH SCORE 6.8222730075E7
AT ITER 1694 NEW BEST:: SOT 325493502 SOS 247322924 HAS SOPS 247322924 HAS SOUS 67971556 HAS SOUPS 67971556 WITH SCORE 6.8218878924E7
AT ITER 1696 NEW BEST:: SOT 325496507 SOS 247325929 HAS SOPS 247325929 HAS SOUS 67969435 HAS SOUPS 67969435 WITH SCORE 6.8216760929E7
AT ITER 1703 NEW BEST:: SOT 325502066 SOS 247331488 HAS SOPS 247331488 HAS SOUS 67968980 HAS SOUPS 67968980 WITH SCORE 6.8216311488E7
AT ITER 1712 NEW BEST:: SOT 325509421 SOS 247338843 HAS SOPS 247338843 HAS SOUS 67967881 HAS SOUPS 67967881 WITH SCORE 6.8215219843E7
AT ITER 1715 NEW BEST:: SOT 325496341 SOS 247325763 HAS SOPS 247325763 HAS SOUS 67967881 HAS SOUPS 67967881 WITH SCORE 6.8215206763E7
AT ITER 1720 NEW BEST:: SOT 325519351 SOS 247348773 HAS SOPS 247348773 HAS SOUS 67965997 HAS SOUPS 67965997 WITH SCORE 6.8213345773E7
AT ITER 1729 NEW BEST:: SOT 325541925 SOS 247371347 HAS SOPS 247371347 HAS SOUS 67965525 HAS SOUPS 67965525 WITH SCORE 6.8212896347E7
AT ITER 1734 NEW BEST:: SOT 325548220 SOS 247377642 HAS SOPS 247377642 HAS SOUS 67961524 HAS SOUPS 67961524 WITH SCORE 6.8208901642E7
AT ITER 1735 NEW BEST:: SOT 325552152 SOS 247381574 HAS SOPS 247381574 HAS SOUS 67961262 HAS SOUPS 67961262 WITH SCORE 6.8208643574E7
AT ITER 1748 NEW BEST:: SOT 325570029 SOS 247399451 HAS SOPS 247399451 HAS SOUS 67959597 HAS SOUPS 67959597 WITH SCORE 6.8206996451E7
AT ITER 1757 NEW BEST:: SOT 325586506 SOS 247415928 HAS SOPS 247415928 HAS SOUS 67957974 HAS SOUPS 67957974 WITH SCORE 6.8205389928E7
AT ITER 1771 NEW BEST:: SOT 325599574 SOS 247428996 HAS SOPS 247428996 HAS SOUS 67954886 HAS SOUPS 67954886 WITH SCORE 6.8202314996E7
AT ITER 1772 NEW BEST:: SOT 325615121 SOS 247444543 HAS SOPS 247444543 HAS SOUS 67954343 HAS SOUPS 67954343 WITH SCORE 6.8201787543E7
AT ITER 1774 NEW BEST:: SOT 325616850 SOS 247446272 HAS SOPS 247446272 HAS SOUS 67953484 HAS SOUPS 67953484 WITH SCORE 6.8200930272E7
AT ITER 1783 NEW BEST:: SOT 325627750 SOS 247457172 HAS SOPS 247457172 HAS SOUS 67949974 HAS SOUPS 67949974 WITH SCORE 6.8197431172E7
AT ITER 1794 NEW BEST:: SOT 325644990 SOS 247474412 HAS SOPS 247474412 HAS SOUS 67949406 HAS SOUPS 67949406 WITH SCORE 6.8196880412E7
AT ITER 1817 NEW BEST:: SOT 325650524 SOS 247479946 HAS SOPS 247479946 HAS SOUS 67946174 HAS SOUPS 67946174 WITH SCORE 6.8193653946E7
AT ITER 1819 NEW BEST:: SOT 325664627 SOS 247494049 HAS SOPS 247494049 HAS SOUS 67945939 HAS SOUPS 67945939 WITH SCORE 6.8193433049E7
AT ITER 1826 NEW BEST:: SOT 325687752 SOS 247517174 HAS SOPS 247517174 HAS SOUS 67945384 HAS SOUPS 67945384 WITH SCORE 6.8192901174E7
AT ITER 1835 NEW BEST:: SOT 325703532 SOS 247532954 HAS SOPS 247532954 HAS SOUS 67943674 HAS SOUPS 67943674 WITH SCORE 6.8191206954E7
AT ITER 1840 NEW BEST:: SOT 325722322 SOS 247551744 HAS SOPS 247551744 HAS SOUS 67939808 HAS SOUPS 67939808 WITH SCORE 6.8187359744E7
AT ITER 1848 NEW BEST:: SOT 325726558 SOS 247555980 HAS SOPS 247555980 HAS SOUS 67937324 HAS SOUPS 67937324 WITH SCORE 6.818487998E7
AT ITER 1849 NEW BEST:: SOT 325737027 SOS 247566449 HAS SOPS 247566449 HAS SOUS 67933717 HAS SOUPS 67933717 WITH SCORE 6.8181283449E7
AT ITER 1857 NEW BEST:: SOT 325742849 SOS 247572271 HAS SOPS 247572271 HAS SOUS 67932549 HAS SOUPS 67932549 WITH SCORE 6.8180121271E7
AT ITER 1865 NEW BEST:: SOT 325752604 SOS 247582026 HAS SOPS 247582026 HAS SOUS 67929200 HAS SOUPS 67929200 WITH SCORE 6.8176782026E7
AT ITER 1870 NEW BEST:: SOT 325759668 SOS 247589090 HAS SOPS 247589090 HAS SOUS 67928450 HAS SOUPS 67928450 WITH SCORE 6.817603909E7
AT ITER 1887 NEW BEST:: SOT 325764171 SOS 247593593 HAS SOPS 247593593 HAS SOUS 67928157 HAS SOUPS 67928157 WITH SCORE 6.8175750593E7
AT ITER 1888 NEW BEST:: SOT 325782318 SOS 247611740 HAS SOPS 247611740 HAS SOUS 67927858 HAS SOUPS 67927858 WITH SCORE 6.817546974E7
AT ITER 1900 NEW BEST:: SOT 325789660 SOS 247619082 HAS SOPS 247619082 HAS SOUS 67925828 HAS SOUPS 67925828 WITH SCORE 6.8173447082E7
AT ITER 1927 NEW BEST:: SOT 325814569 SOS 247643991 HAS SOPS 247643991 HAS SOUS 67923075 HAS SOUPS 67923075 WITH SCORE 6.8170718991E7
AT ITER 1945 NEW BEST:: SOT 325827928 SOS 247657350 HAS SOPS 247657350 HAS SOUS 67921924 HAS SOUPS 67921924 WITH SCORE 6.816958135E7
AT ITER 1952 NEW BEST:: SOT 325831235 SOS 247660657 HAS SOPS 247660657 HAS SOUS 67918617 HAS SOUPS 67918617 WITH SCORE 6.8166277657E7
AT ITER 1954 NEW BEST:: SOT 325835910 SOS 247665332 HAS SOPS 247665332 HAS SOUS 67915538 HAS SOUPS 67915538 WITH SCORE 6.8163203332E7
AT ITER 1955 NEW BEST:: SOT 325849362 SOS 247678784 HAS SOPS 247678784 HAS SOUS 67912330 HAS SOUPS 67912330 WITH SCORE 6.8160008784E7
AT ITER 1957 NEW BEST:: SOT 325861037 SOS 247690459 HAS SOPS 247690459 HAS SOUS 67911823 HAS SOUPS 67911823 WITH SCORE 6.8159513459E7
AT ITER 1958 NEW BEST:: SOT 325881880 SOS 247711302 HAS SOPS 247711302 HAS SOUS 67910302 HAS SOUPS 67910302 WITH SCORE 6.8158013302E7
AT ITER 1965 NEW BEST:: SOT 325903469 SOS 247732891 HAS SOPS 247732891 HAS SOUS 67907227 HAS SOUPS 67907227 WITH SCORE 6.8154959891E7
AT ITER 1966 NEW BEST:: SOT 325924698 SOS 247754120 HAS SOPS 247754120 HAS SOUS 67906686 HAS SOUPS 67906686 WITH SCORE 6.815444012E7
AT ITER 1986 NEW BEST:: SOT 325945845 SOS 247775267 HAS SOPS 247775267 HAS SOUS 67905245 HAS SOUPS 67905245 WITH SCORE 6.8153020267E7
AT ITER 1991 NEW BEST:: SOT 325960453 SOS 247789875 HAS SOPS 247789875 HAS SOUS 67901457 HAS SOUPS 67901457 WITH SCORE 6.8149246875E7
AT ITER 1997 NEW BEST:: SOT 325970351 SOS 247799773 HAS SOPS 247799773 HAS SOUS 67900049 HAS SOUPS 67900049 WITH SCORE 6.8147848773E7
AT ITER 2003 NEW BEST:: SOT 325980394 SOS 247809816 HAS SOPS 247809816 HAS SOUS 67897190 HAS SOUPS 67897190 WITH SCORE 6.8144999816E7
AT ITER 2006 NEW BEST:: SOT 325996202 SOS 247825624 HAS SOPS 247825624 HAS SOUS 67896312 HAS SOUPS 67896312 WITH SCORE 6.8144137624E7
AT ITER 2022 NEW BEST:: SOT 326001016 SOS 247830438 HAS SOPS 247830438 HAS SOUS 67894656 HAS SOUPS 67894656 WITH SCORE 6.8142486438E7
AT ITER 2023 NEW BEST:: SOT 326006808 SOS 247836230 HAS SOPS 247836230 HAS SOUS 67890850 HAS SOUPS 67890850 WITH SCORE 6.813868623E7
AT ITER 2025 NEW BEST:: SOT 326031220 SOS 247860642 HAS SOPS 247860642 HAS SOUS 67887118 HAS SOUPS 67887118 WITH SCORE 6.8134978642E7
AT ITER 2029 NEW BEST:: SOT 326031548 SOS 247860970 HAS SOPS 247860970 HAS SOUS 67886890 HAS SOUPS 67886890 WITH SCORE 6.813475097E7
AT ITER 2039 NEW BEST:: SOT 326041533 SOS 247870955 HAS SOPS 247870955 HAS SOUS 67883185 HAS SOUPS 67883185 WITH SCORE 6.8131055955E7
AT ITER 2044 NEW BEST:: SOT 326042845 SOS 247872267 HAS SOPS 247872267 HAS SOUS 67882247 HAS SOUPS 67882247 WITH SCORE 6.8130119267E7
AT ITER 2050 NEW BEST:: SOT 326047971 SOS 247877393 HAS SOPS 247877393 HAS SOUS 67881851 HAS SOUPS 67881851 WITH SCORE 6.8129728393E7
AT ITER 2063 NEW BEST:: SOT 326058626 SOS 247888048 HAS SOPS 247888048 HAS SOUS 67878092 HAS SOUPS 67878092 WITH SCORE 6.8125980048E7
AT ITER 2064 NEW BEST:: SOT 326084118 SOS 247913540 HAS SOPS 247913540 HAS SOUS 67876672 HAS SOUPS 67876672 WITH SCORE 6.812458554E7
AT ITER 2091 NEW BEST:: SOT 326089880 SOS 247919302 HAS SOPS 247919302 HAS SOUS 67873848 HAS SOUPS 67873848 WITH SCORE 6.8121767302E7
AT ITER 2093 NEW BEST:: SOT 326106423 SOS 247935845 HAS SOPS 247935845 HAS SOUS 67870879 HAS SOUPS 67870879 WITH SCORE 6.8118814845E7
AT ITER 2114 NEW BEST:: SOT 326128260 SOS 247957682 HAS SOPS 247957682 HAS SOUS 67870542 HAS SOUPS 67870542 WITH SCORE 6.8118499682E7
AT ITER 2136 NEW BEST:: SOT 326139941 SOS 247969363 HAS SOPS 247969363 HAS SOUS 67869941 HAS SOUPS 67869941 WITH SCORE 6.8117910363E7
AT ITER 2139 NEW BEST:: SOT 326163908 SOS 247993330 HAS SOPS 247993330 HAS SOUS 67866276 HAS SOUPS 67866276 WITH SCORE 6.811426933E7
AT ITER 2143 NEW BEST:: SOT 326180435 SOS 248009857 HAS SOPS 248009857 HAS SOUS 67866067 HAS SOUPS 67866067 WITH SCORE 6.8114076857E7
AT ITER 2144 NEW BEST:: SOT 326200345 SOS 248029767 HAS SOPS 248029767 HAS SOUS 67863863 HAS SOUPS 67863863 WITH SCORE 6.8111892767E7
AT ITER 2171 NEW BEST:: SOT 326207306 SOS 248036728 HAS SOPS 248036728 HAS SOUS 67861932 HAS SOUPS 67861932 WITH SCORE 6.8109968728E7
AT ITER 2174 NEW BEST:: SOT 326224309 SOS 248053731 HAS SOPS 248053731 HAS SOUS 67860895 HAS SOUPS 67860895 WITH SCORE 6.8108948731E7
AT ITER 2186 NEW BEST:: SOT 326240856 SOS 248070278 HAS SOPS 248070278 HAS SOUS 67859284 HAS SOUPS 67859284 WITH SCORE 6.8107354278E7
AT ITER 2203 NEW BEST:: SOT 326262364 SOS 248091786 HAS SOPS 248091786 HAS SOUS 67857110 HAS SOUPS 67857110 WITH SCORE 6.8105201786E7
AT ITER 2209 NEW BEST:: SOT 326263129 SOS 248092551 HAS SOPS 248092551 HAS SOUS 67856973 HAS SOUPS 67856973 WITH SCORE 6.8105065551E7
AT ITER 2221 NEW BEST:: SOT 326276408 SOS 248105830 HAS SOPS 248105830 HAS SOUS 67855670 HAS SOUPS 67855670 WITH SCORE 6.810377583E7
AT ITER 2236 NEW BEST:: SOT 326300215 SOS 248129637 HAS SOPS 248129637 HAS SOUS 67854323 HAS SOUPS 67854323 WITH SCORE 6.8102452637E7
AT ITER 2237 NEW BEST:: SOT 326311045 SOS 248140467 HAS SOPS 248140467 HAS SOUS 67851549 HAS SOUPS 67851549 WITH SCORE 6.8099689467E7
AT ITER 2249 NEW BEST:: SOT 326330599 SOS 248160021 HAS SOPS 248160021 HAS SOUS 67849749 HAS SOUPS 67849749 WITH SCORE 6.8097909021E7
AT ITER 2253 NEW BEST:: SOT 326334579 SOS 248164001 HAS SOPS 248164001 HAS SOUS 67847651 HAS SOUPS 67847651 WITH SCORE 6.8095815001E7
AT ITER 2258 NEW BEST:: SOT 326337540 SOS 248166962 HAS SOPS 248166962 HAS SOUS 67845992 HAS SOUPS 67845992 WITH SCORE 6.8094158962E7
AT ITER 2281 NEW BEST:: SOT 326361339 SOS 248190761 HAS SOPS 248190761 HAS SOUS 67843243 HAS SOUPS 67843243 WITH SCORE 6.8091433761E7
AT ITER 2286 NEW BEST:: SOT 326372701 SOS 248202123 HAS SOPS 248202123 HAS SOUS 67839499 HAS SOUPS 67839499 WITH SCORE 6.8087701123E7
AT ITER 2287 NEW BEST:: SOT 326398759 SOS 248228181 HAS SOPS 248228181 HAS SOUS 67835645 HAS SOUPS 67835645 WITH SCORE 6.8083873181E7
AT ITER 2290 NEW BEST:: SOT 326417401 SOS 248246823 HAS SOPS 248246823 HAS SOUS 67834415 HAS SOUPS 67834415 WITH SCORE 6.8082661823E7
AT ITER 2291 NEW BEST:: SOT 326436185 SOS 248265607 HAS SOPS 248265607 HAS SOUS 67832769 HAS SOUPS 67832769 WITH SCORE 6.8081034607E7
AT ITER 2305 NEW BEST:: SOT 326437500 SOS 248266922 HAS SOPS 248266922 HAS SOUS 67832530 HAS SOUPS 67832530 WITH SCORE 6.8080796922E7
AT ITER 2313 NEW BEST:: SOT 326444106 SOS 248273528 HAS SOPS 248273528 HAS SOUS 67829392 HAS SOUPS 67829392 WITH SCORE 6.8077665528E7
AT ITER 2322 NEW BEST:: SOT 326452768 SOS 248282190 HAS SOPS 248282190 HAS SOUS 67827646 HAS SOUPS 67827646 WITH SCORE 6.807592819E7
AT ITER 2325 NEW BEST:: SOT 326471859 SOS 248301281 HAS SOPS 248301281 HAS SOUS 67824439 HAS SOUPS 67824439 WITH SCORE 6.8072740281E7
AT ITER 2334 NEW BEST:: SOT 326485835 SOS 248315257 HAS SOPS 248315257 HAS SOUS 67821043 HAS SOUPS 67821043 WITH SCORE 6.8069358257E7
AT ITER 2350 NEW BEST:: SOT 326488893 SOS 248318315 HAS SOPS 248318315 HAS SOUS 67820405 HAS SOUPS 67820405 WITH SCORE 6.8068723315E7
AT ITER 2355 NEW BEST:: SOT 326512622 SOS 248342044 HAS SOPS 248342044 HAS SOUS 67817230 HAS SOUPS 67817230 WITH SCORE 6.8065572044E7
AT ITER 2361 NEW BEST:: SOT 326538480 SOS 248367902 HAS SOPS 248367902 HAS SOUS 67814832 HAS SOUPS 67814832 WITH SCORE 6.8063199902E7
AT ITER 2362 NEW BEST:: SOT 326552728 SOS 248382150 HAS SOPS 248382150 HAS SOUS 67812160 HAS SOUPS 67812160 WITH SCORE 6.806054215E7
AT ITER 2368 NEW BEST:: SOT 326572405 SOS 248401827 HAS SOPS 248401827 HAS SOUS 67808345 HAS SOUPS 67808345 WITH SCORE 6.8056746827E7
AT ITER 2387 NEW BEST:: SOT 326598134 SOS 248427556 HAS SOPS 248427556 HAS SOUS 67805548 HAS SOUPS 67805548 WITH SCORE 6.8053975556E7
AT ITER 2407 NEW BEST:: SOT 326617963 SOS 248447385 HAS SOPS 248447385 HAS SOUS 67802671 HAS SOUPS 67802671 WITH SCORE 6.8051118385E7
AT ITER 2408 NEW BEST:: SOT 326621171 SOS 248450593 HAS SOPS 248450593 HAS SOUS 67802611 HAS SOUPS 67802611 WITH SCORE 6.8051061593E7
AT ITER 2415 NEW BEST:: SOT 326644516 SOS 248473938 HAS SOPS 248473938 HAS SOUS 67802482 HAS SOUPS 67802482 WITH SCORE 6.8050955938E7
AT ITER 2422 NEW BEST:: SOT 326663529 SOS 248492951 HAS SOPS 248492951 HAS SOUS 67801841 HAS SOUPS 67801841 WITH SCORE 6.8050333951E7
AT ITER 2443 NEW BEST:: SOT 326684354 SOS 248513776 HAS SOPS 248513776 HAS SOUS 67800380 HAS SOUPS 67800380 WITH SCORE 6.8048893776E7
AT ITER 2457 NEW BEST:: SOT 326692352 SOS 248521774 HAS SOPS 248521774 HAS SOUS 67797096 HAS SOUPS 67797096 WITH SCORE 6.8045617774E7
AT ITER 2461 NEW BEST:: SOT 326710963 SOS 248540385 HAS SOPS 248540385 HAS SOUS 67796363 HAS SOUPS 67796363 WITH SCORE 6.8044903385E7
AT ITER 2469 NEW BEST:: SOT 326734938 SOS 248564360 HAS SOPS 248564360 HAS SOUS 67795216 HAS SOUPS 67795216 WITH SCORE 6.804378036E7
AT ITER 2476 NEW BEST:: SOT 326745552 SOS 248574974 HAS SOPS 248574974 HAS SOUS 67793432 HAS SOUPS 67793432 WITH SCORE 6.8042006974E7
AT ITER 2483 NEW BEST:: SOT 326755871 SOS 248585293 HAS SOPS 248585293 HAS SOUS 67791505 HAS SOUPS 67791505 WITH SCORE 6.8040090293E7
AT ITER 2493 NEW BEST:: SOT 326744279 SOS 248573701 HAS SOPS 248573701 HAS SOUS 67791505 HAS SOUPS 67791505 WITH SCORE 6.8040078701E7
AT ITER 2497 NEW BEST:: SOT 326758577 SOS 248587999 HAS SOPS 248587999 HAS SOUS 67789479 HAS SOUPS 67789479 WITH SCORE 6.8038066999E7
AT ITER 2502 NEW BEST:: SOT 326760546 SOS 248589968 HAS SOPS 248589968 HAS SOUS 67787824 HAS SOUPS 67787824 WITH SCORE 6.8036413968E7
AT ITER 2505 NEW BEST:: SOT 326787180 SOS 248616602 HAS SOPS 248616602 HAS SOUS 67783822 HAS SOUPS 67783822 WITH SCORE 6.8032438602E7
AT ITER 2531 NEW BEST:: SOT 326799734 SOS 248629156 HAS SOPS 248629156 HAS SOUS 67781660 HAS SOUPS 67781660 WITH SCORE 6.8030289156E7
AT ITER 2536 NEW BEST:: SOT 326810362 SOS 248639784 HAS SOPS 248639784 HAS SOUS 67779568 HAS SOUPS 67779568 WITH SCORE 6.8028207784E7
AT ITER 2544 NEW BEST:: SOT 326822112 SOS 248651534 HAS SOPS 248651534 HAS SOUS 67775814 HAS SOUPS 67775814 WITH SCORE 6.8024465534E7
AT ITER 2556 NEW BEST:: SOT 326841730 SOS 248671152 HAS SOPS 248671152 HAS SOUS 67774372 HAS SOUPS 67774372 WITH SCORE 6.8023043152E7
AT ITER 2558 NEW BEST:: SOT 326849766 SOS 248679188 HAS SOPS 248679188 HAS SOUS 67772644 HAS SOUPS 67772644 WITH SCORE 6.8021323188E7
AT ITER 2562 NEW BEST:: SOT 326861741 SOS 248691163 HAS SOPS 248691163 HAS SOUS 67768825 HAS SOUPS 67768825 WITH SCORE 6.8017516163E7
AT ITER 2570 NEW BEST:: SOT 326874646 SOS 248704068 HAS SOPS 248704068 HAS SOUS 67767572 HAS SOUPS 67767572 WITH SCORE 6.8016276068E7
AT ITER 2573 NEW BEST:: SOT 326893209 SOS 248722631 HAS SOPS 248722631 HAS SOUS 67763671 HAS SOUPS 67763671 WITH SCORE 6.8012393631E7
AT ITER 2579 NEW BEST:: SOT 326904943 SOS 248734365 HAS SOPS 248734365 HAS SOUS 67762243 HAS SOUPS 67762243 WITH SCORE 6.8010977365E7
AT ITER 2585 NEW BEST:: SOT 326927474 SOS 248756896 HAS SOPS 248756896 HAS SOUS 67758652 HAS SOUPS 67758652 WITH SCORE 6.8007408896E7
AT ITER 2592 NEW BEST:: SOT 326947352 SOS 248776774 HAS SOPS 248776774 HAS SOUS 67758552 HAS SOUPS 67758552 WITH SCORE 6.8007328774E7
AT ITER 2594 NEW BEST:: SOT 326969290 SOS 248798712 HAS SOPS 248798712 HAS SOUS 67756776 HAS SOUPS 67756776 WITH SCORE 6.8005574712E7
AT ITER 2597 NEW BEST:: SOT 326979774 SOS 248809196 HAS SOPS 248809196 HAS SOUS 67755836 HAS SOUPS 67755836 WITH SCORE 6.8004645196E7
AT ITER 2623 NEW BEST:: SOT 326989137 SOS 248818559 HAS SOPS 248818559 HAS SOUS 67753431 HAS SOUPS 67753431 WITH SCORE 6.8002249559E7
AT ITER 2626 NEW BEST:: SOT 327015808 SOS 248845230 HAS SOPS 248845230 HAS SOUS 67749632 HAS SOUPS 67749632 WITH SCORE 6.799847723E7
AT ITER 2640 NEW BEST:: SOT 327039488 SOS 248868910 HAS SOPS 248868910 HAS SOUS 67748504 HAS SOUPS 67748504 WITH SCORE 6.799737291E7
AT ITER 2641 NEW BEST:: SOT 327063419 SOS 248892841 HAS SOPS 248892841 HAS SOUS 67748067 HAS SOUPS 67748067 WITH SCORE 6.7996959841E7
AT ITER 2644 NEW BEST:: SOT 327083881 SOS 248913303 HAS SOPS 248913303 HAS SOUS 67747329 HAS SOUPS 67747329 WITH SCORE 6.7996242303E7
AT ITER 2653 NEW BEST:: SOT 327104186 SOS 248933608 HAS SOPS 248933608 HAS SOUS 67747188 HAS SOUPS 67747188 WITH SCORE 6.7996121608E7
AT ITER 2660 NEW BEST:: SOT 327112131 SOS 248941553 HAS SOPS 248941553 HAS SOUS 67746211 HAS SOUPS 67746211 WITH SCORE 6.7995152553E7
AT ITER 2667 NEW BEST:: SOT 327126131 SOS 248955553 HAS SOPS 248955553 HAS SOUS 67745091 HAS SOUPS 67745091 WITH SCORE 6.7994046553E7
AT ITER 2671 NEW BEST:: SOT 327131372 SOS 248960794 HAS SOPS 248960794 HAS SOUS 67741344 HAS SOUPS 67741344 WITH SCORE 6.7990304794E7
AT ITER 2675 NEW BEST:: SOT 327146958 SOS 248976380 HAS SOPS 248976380 HAS SOUS 67739996 HAS SOUPS 67739996 WITH SCORE 6.798897238E7
AT ITER 2677 NEW BEST:: SOT 327154994 SOS 248984416 HAS SOPS 248984416 HAS SOUS 67736416 HAS SOUPS 67736416 WITH SCORE 6.7985400416E7
AT ITER 2686 NEW BEST:: SOT 327178219 SOS 249007641 HAS SOPS 249007641 HAS SOUS 67732475 HAS SOUPS 67732475 WITH SCORE 6.7981482641E7
AT ITER 2689 NEW BEST:: SOT 327187461 SOS 249016883 HAS SOPS 249016883 HAS SOUS 67731995 HAS SOUPS 67731995 WITH SCORE 6.7981011883E7
AT ITER 2696 NEW BEST:: SOT 327191249 SOS 249020671 HAS SOPS 249020671 HAS SOUS 67730095 HAS SOUPS 67730095 WITH SCORE 6.7979115671E7
AT ITER 2733 NEW BEST:: SOT 327195666 SOS 249025088 HAS SOPS 249025088 HAS SOUS 67727446 HAS SOUPS 67727446 WITH SCORE 6.7976471088E7
AT ITER 2747 NEW BEST:: SOT 327208229 SOS 249037651 HAS SOPS 249037651 HAS SOUS 67726373 HAS SOUPS 67726373 WITH SCORE 6.7975410651E7
AT ITER 2752 NEW BEST:: SOT 327210037 SOS 249039459 HAS SOPS 249039459 HAS SOUS 67724633 HAS SOUPS 67724633 WITH SCORE 6.7973672459E7
AT ITER 2760 NEW BEST:: SOT 327226220 SOS 249055642 HAS SOPS 249055642 HAS SOUS 67723600 HAS SOUPS 67723600 WITH SCORE 6.7972655642E7
AT ITER 2774 NEW BEST:: SOT 327247124 SOS 249076546 HAS SOPS 249076546 HAS SOUS 67721690 HAS SOUPS 67721690 WITH SCORE 6.7970766546E7
AT ITER 2776 NEW BEST:: SOT 327269495 SOS 249098917 HAS SOPS 249098917 HAS SOUS 67719743 HAS SOUPS 67719743 WITH SCORE 6.7968841917E7
AT ITER 2785 NEW BEST:: SOT 327291908 SOS 249121330 HAS SOPS 249121330 HAS SOUS 67717384 HAS SOUPS 67717384 WITH SCORE 6.796650533E7
AT ITER 2789 NEW BEST:: SOT 327312151 SOS 249141573 HAS SOPS 249141573 HAS SOUS 67716049 HAS SOUPS 67716049 WITH SCORE 6.7965190573E7
AT ITER 2805 NEW BEST:: SOT 327324438 SOS 249153860 HAS SOPS 249153860 HAS SOUS 67715240 HAS SOUPS 67715240 WITH SCORE 6.796439386E7
AT ITER 2806 NEW BEST:: SOT 327327709 SOS 249157131 HAS SOPS 249157131 HAS SOUS 67714135 HAS SOUPS 67714135 WITH SCORE 6.7963292131E7
AT ITER 2814 NEW BEST:: SOT 327335944 SOS 249165366 HAS SOPS 249165366 HAS SOUS 67713442 HAS SOUPS 67713442 WITH SCORE 6.7962607366E7
AT ITER 2815 NEW BEST:: SOT 327355664 SOS 249185086 HAS SOPS 249185086 HAS SOUS 67712286 HAS SOUPS 67712286 WITH SCORE 6.7961471086E7
AT ITER 2818 NEW BEST:: SOT 327374925 SOS 249204347 HAS SOPS 249204347 HAS SOUS 67710189 HAS SOUPS 67710189 WITH SCORE 6.7959393347E7
AT ITER 2820 NEW BEST:: SOT 327389245 SOS 249218667 HAS SOPS 249218667 HAS SOUS 67708589 HAS SOUPS 67708589 WITH SCORE 6.7957807667E7
AT ITER 2828 NEW BEST:: SOT 327404140 SOS 249233562 HAS SOPS 249233562 HAS SOUS 67706014 HAS SOUPS 67706014 WITH SCORE 6.7955247562E7
AT ITER 2838 NEW BEST:: SOT 327421795 SOS 249251217 HAS SOPS 249251217 HAS SOUS 67705495 HAS SOUPS 67705495 WITH SCORE 6.7954746217E7
AT ITER 2848 NEW BEST:: SOT 327446668 SOS 249276090 HAS SOPS 249276090 HAS SOUS 67703570 HAS SOUPS 67703570 WITH SCORE 6.795284609E7
AT ITER 2860 NEW BEST:: SOT 327468407 SOS 249297829 HAS SOPS 249297829 HAS SOUS 67700659 HAS SOUPS 67700659 WITH SCORE 6.7949956829E7
AT ITER 2861 NEW BEST:: SOT 327494638 SOS 249324060 HAS SOPS 249324060 HAS SOUS 67696766 HAS SOUPS 67696766 WITH SCORE 6.794609006E7
AT ITER 2862 NEW BEST:: SOT 327504348 SOS 249333770 HAS SOPS 249333770 HAS SOUS 67693662 HAS SOUPS 67693662 WITH SCORE 6.794299577E7
AT ITER 2863 NEW BEST:: SOT 327529969 SOS 249359391 HAS SOPS 249359391 HAS SOUS 67690261 HAS SOUPS 67690261 WITH SCORE 6.7939620391E7
AT ITER 2867 NEW BEST:: SOT 327555035 SOS 249384457 HAS SOPS 249384457 HAS SOUS 67689165 HAS SOUPS 67689165 WITH SCORE 6.7938549457E7
AT ITER 2871 NEW BEST:: SOT 327568485 SOS 249397907 HAS SOPS 249397907 HAS SOUS 67687093 HAS SOUPS 67687093 WITH SCORE 6.7936490907E7
AT ITER 2874 NEW BEST:: SOT 327586037 SOS 249415459 HAS SOPS 249415459 HAS SOUS 67684993 HAS SOUPS 67684993 WITH SCORE 6.7934408459E7
AT ITER 2898 NEW BEST:: SOT 327590632 SOS 249420054 HAS SOPS 249420054 HAS SOUS 67684634 HAS SOUPS 67684634 WITH SCORE 6.7934054054E7
AT ITER 2899 NEW BEST:: SOT 327612806 SOS 249442228 HAS SOPS 249442228 HAS SOUS 67684242 HAS SOUPS 67684242 WITH SCORE 6.7933684228E7
AT ITER 2908 NEW BEST:: SOT 327619419 SOS 249448841 HAS SOPS 249448841 HAS SOUS 67680625 HAS SOUPS 67680625 WITH SCORE 6.7930073841E7
AT ITER 2914 NEW BEST:: SOT 327628594 SOS 249458016 HAS SOPS 249458016 HAS SOUS 67677866 HAS SOUPS 67677866 WITH SCORE 6.7927324016E7
AT ITER 2919 NEW BEST:: SOT 327645111 SOS 249474533 HAS SOPS 249474533 HAS SOUS 67675417 HAS SOUPS 67675417 WITH SCORE 6.7924891533E7
AT ITER 2920 NEW BEST:: SOT 327651616 SOS 249481038 HAS SOPS 249481038 HAS SOUS 67673498 HAS SOUPS 67673498 WITH SCORE 6.7922979038E7
AT ITER 2933 NEW BEST:: SOT 327676224 SOS 249505646 HAS SOPS 249505646 HAS SOUS 67672300 HAS SOUPS 67672300 WITH SCORE 6.7921805646E7
AT ITER 2937 NEW BEST:: SOT 327691558 SOS 249520980 HAS SOPS 249520980 HAS SOUS 67672238 HAS SOUPS 67672238 WITH SCORE 6.792175898E7
AT ITER 2969 NEW BEST:: SOT 327715114 SOS 249544536 HAS SOPS 249544536 HAS SOUS 67671852 HAS SOUPS 67671852 WITH SCORE 6.7921396536E7
AT ITER 2985 NEW BEST:: SOT 327727479 SOS 249556901 HAS SOPS 249556901 HAS SOUS 67669919 HAS SOUPS 67669919 WITH SCORE 6.7919475901E7
AT ITER 2992 NEW BEST:: SOT 327747245 SOS 249576667 HAS SOPS 249576667 HAS SOUS 67668227 HAS SOUPS 67668227 WITH SCORE 6.7917803667E7
AT ITER 3000 NEW BEST:: SOT 327759298 SOS 249588720 HAS SOPS 249588720 HAS SOUS 67667278 HAS SOUPS 67667278 WITH SCORE 6.791686672E7
AT ITER 3006 NEW BEST:: SOT 327765707 SOS 249595129 HAS SOPS 249595129 HAS SOUS 67663513 HAS SOUPS 67663513 WITH SCORE 6.7913108129E7
AT ITER 3013 NEW BEST:: SOT 327785705 SOS 249615127 HAS SOPS 249615127 HAS SOUS 67660211 HAS SOUPS 67660211 WITH SCORE 6.7909826127E7
AT ITER 3047 NEW BEST:: SOT 327805279 SOS 249634701 HAS SOPS 249634701 HAS SOUS 67658395 HAS SOUPS 67658395 WITH SCORE 6.7908029701E7
AT ITER 3058 NEW BEST:: SOT 327827764 SOS 249657186 HAS SOPS 249657186 HAS SOUS 67657176 HAS SOUPS 67657176 WITH SCORE 6.7906833186E7
AT ITER 3070 NEW BEST:: SOT 327848652 SOS 249678074 HAS SOPS 249678074 HAS SOUS 67656116 HAS SOUPS 67656116 WITH SCORE 6.7905794074E7
AT ITER 3082 NEW BEST:: SOT 327852788 SOS 249682210 HAS SOPS 249682210 HAS SOUS 67653104 HAS SOUPS 67653104 WITH SCORE 6.790278621E7
AT ITER 3085 NEW BEST:: SOT 327859552 SOS 249688974 HAS SOPS 249688974 HAS SOUS 67650836 HAS SOUPS 67650836 WITH SCORE 6.7900524974E7
AT ITER 3105 NEW BEST:: SOT 327880246 SOS 249709668 HAS SOPS 249709668 HAS SOUS 67647224 HAS SOUPS 67647224 WITH SCORE 6.7896933668E7
AT ITER 3107 NEW BEST:: SOT 327883746 SOS 249713168 HAS SOPS 249713168 HAS SOUS 67646044 HAS SOUPS 67646044 WITH SCORE 6.7895757168E7
AT ITER 3110 NEW BEST:: SOT 327903036 SOS 249732458 HAS SOPS 249732458 HAS SOUS 67643866 HAS SOUPS 67643866 WITH SCORE 6.7893598458E7
AT ITER 3112 NEW BEST:: SOT 327920749 SOS 249750171 HAS SOPS 249750171 HAS SOUS 67641401 HAS SOUPS 67641401 WITH SCORE 6.7891151171E7
AT ITER 3114 NEW BEST:: SOT 327930767 SOS 249760189 HAS SOPS 249760189 HAS SOUS 67640761 HAS SOUPS 67640761 WITH SCORE 6.7890521189E7
AT ITER 3128 NEW BEST:: SOT 327942968 SOS 249772390 HAS SOPS 249772390 HAS SOUS 67640164 HAS SOUPS 67640164 WITH SCORE 6.788993639E7
AT ITER 3139 NEW BEST:: SOT 327948191 SOS 249777613 HAS SOPS 249777613 HAS SOUS 67639251 HAS SOUPS 67639251 WITH SCORE 6.7889028613E7
AT ITER 3159 NEW BEST:: SOT 327961500 SOS 249790922 HAS SOPS 249790922 HAS SOUS 67635662 HAS SOUPS 67635662 WITH SCORE 6.7885452922E7
AT ITER 3162 NEW BEST:: SOT 327965215 SOS 249794637 HAS SOPS 249794637 HAS SOUS 67633121 HAS SOUPS 67633121 WITH SCORE 6.7882915637E7
AT ITER 3168 NEW BEST:: SOT 327956919 SOS 249786341 HAS SOPS 249786341 HAS SOUS 67633121 HAS SOUPS 67633121 WITH SCORE 6.7882907341E7
AT ITER 3176 NEW BEST:: SOT 327976721 SOS 249806143 HAS SOPS 249806143 HAS SOUS 67632389 HAS SOUPS 67632389 WITH SCORE 6.7882195143E7
AT ITER 3203 NEW BEST:: SOT 327980042 SOS 249809464 HAS SOPS 249809464 HAS SOUS 67631162 HAS SOUPS 67631162 WITH SCORE 6.7880971464E7
AT ITER 3205 NEW BEST:: SOT 327991640 SOS 249821062 HAS SOPS 249821062 HAS SOUS 67628782 HAS SOUPS 67628782 WITH SCORE 6.7878603062E7
AT ITER 3207 NEW BEST:: SOT 328006946 SOS 249836368 HAS SOPS 249836368 HAS SOUS 67625670 HAS SOUPS 67625670 WITH SCORE 6.7875506368E7
AT ITER 3209 NEW BEST:: SOT 328023863 SOS 249853285 HAS SOPS 249853285 HAS SOUS 67621679 HAS SOUPS 67621679 WITH SCORE 6.7871532285E7
AT ITER 3218 NEW BEST:: SOT 328044652 SOS 249874074 HAS SOPS 249874074 HAS SOUS 67617982 HAS SOUPS 67617982 WITH SCORE 6.7867856074E7
AT ITER 3219 NEW BEST:: SOT 328028776 SOS 249858198 HAS SOPS 249858198 HAS SOUS 67617982 HAS SOUPS 67617982 WITH SCORE 6.7867840198E7
AT ITER 3223 NEW BEST:: SOT 328046007 SOS 249875429 HAS SOPS 249875429 HAS SOUS 67614159 HAS SOUPS 67614159 WITH SCORE 6.7864034429E7
AT ITER 3245 NEW BEST:: SOT 328066820 SOS 249896242 HAS SOPS 249896242 HAS SOUS 67610388 HAS SOUPS 67610388 WITH SCORE 6.7860284242E7
AT ITER 3252 NEW BEST:: SOT 328086185 SOS 249915607 HAS SOPS 249915607 HAS SOUS 67606913 HAS SOUPS 67606913 WITH SCORE 6.7856828607E7
AT ITER 3269 NEW BEST:: SOT 328110273 SOS 249939695 HAS SOPS 249939695 HAS SOUS 67605385 HAS SOUPS 67605385 WITH SCORE 6.7855324695E7
AT ITER 3275 NEW BEST:: SOT 328119882 SOS 249949304 HAS SOPS 249949304 HAS SOUS 67602450 HAS SOUPS 67602450 WITH SCORE 6.7852399304E7
AT ITER 3279 NEW BEST:: SOT 328124370 SOS 249953792 HAS SOPS 249953792 HAS SOUS 67601174 HAS SOUPS 67601174 WITH SCORE 6.7851127792E7
AT ITER 3282 NEW BEST:: SOT 328136184 SOS 249965606 HAS SOPS 249965606 HAS SOUS 67600380 HAS SOUPS 67600380 WITH SCORE 6.7850345606E7
AT ITER 3286 NEW BEST:: SOT 328157747 SOS 249987169 HAS SOPS 249987169 HAS SOUS 67598825 HAS SOUPS 67598825 WITH SCORE 6.7848812169E7
AT ITER 3290 NEW BEST:: SOT 328175020 SOS 250004442 HAS SOPS 250004442 HAS SOUS 67595378 HAS SOUPS 67595378 WITH SCORE 6.7845382442E7
AT ITER 3299 NEW BEST:: SOT 328179828 SOS 250009250 HAS SOPS 250009250 HAS SOUS 67592650 HAS SOUPS 67592650 WITH SCORE 6.784265925E7
AT ITER 3302 NEW BEST:: SOT 328206163 SOS 250035585 HAS SOPS 250035585 HAS SOUS 67589013 HAS SOUPS 67589013 WITH SCORE 6.7839048585E7
AT ITER 3310 NEW BEST:: SOT 328209231 SOS 250038653 HAS SOPS 250038653 HAS SOUS 67585945 HAS SOUPS 67585945 WITH SCORE 6.7835983653E7
AT ITER 3331 NEW BEST:: SOT 328211791 SOS 250041213 HAS SOPS 250041213 HAS SOUS 67584531 HAS SOUPS 67584531 WITH SCORE 6.7834572213E7
AT ITER 3336 NEW BEST:: SOT 328228181 SOS 250057603 HAS SOPS 250057603 HAS SOUS 67580905 HAS SOUPS 67580905 WITH SCORE 6.7830962603E7
AT ITER 3338 NEW BEST:: SOT 328247024 SOS 250076446 HAS SOPS 250076446 HAS SOUS 67580486 HAS SOUPS 67580486 WITH SCORE 6.7830562446E7
AT ITER 3339 NEW BEST:: SOT 328248675 SOS 250078097 HAS SOPS 250078097 HAS SOUS 67579297 HAS SOUPS 67579297 WITH SCORE 6.7829375097E7
AT ITER 3347 NEW BEST:: SOT 328262917 SOS 250092339 HAS SOPS 250092339 HAS SOUS 67576615 HAS SOUPS 67576615 WITH SCORE 6.7826707339E7
AT ITER 3349 NEW BEST:: SOT 328289269 SOS 250118691 HAS SOPS 250118691 HAS SOUS 67572775 HAS SOUPS 67572775 WITH SCORE 6.7822893691E7
AT ITER 3358 NEW BEST:: SOT 328298149 SOS 250127571 HAS SOPS 250127571 HAS SOUS 67571363 HAS SOUPS 67571363 WITH SCORE 6.7821490571E7
AT ITER 3361 NEW BEST:: SOT 328310336 SOS 250139758 HAS SOPS 250139758 HAS SOUS 67570262 HAS SOUPS 67570262 WITH SCORE 6.7820401758E7
AT ITER 3369 NEW BEST:: SOT 328325678 SOS 250155100 HAS SOPS 250155100 HAS SOUS 67566764 HAS SOUPS 67566764 WITH SCORE 6.78169191E7
AT ITER 3375 NEW BEST:: SOT 328344797 SOS 250174219 HAS SOPS 250174219 HAS SOUS 67562943 HAS SOUPS 67562943 WITH SCORE 6.7813117219E7
AT ITER 3380 NEW BEST:: SOT 328367879 SOS 250197301 HAS SOPS 250197301 HAS SOUS 67559903 HAS SOUPS 67559903 WITH SCORE 6.7810100301E7
AT ITER 3381 NEW BEST:: SOT 328387417 SOS 250216839 HAS SOPS 250216839 HAS SOUS 67557055 HAS SOUPS 67557055 WITH SCORE 6.7807271839E7
AT ITER 3384 NEW BEST:: SOT 328365565 SOS 250194987 HAS SOPS 250194987 HAS SOUS 67557055 HAS SOUPS 67557055 WITH SCORE 6.7807249987E7
AT ITER 3385 NEW BEST:: SOT 328374199 SOS 250203621 HAS SOPS 250203621 HAS SOUS 67555307 HAS SOUPS 67555307 WITH SCORE 6.7805510621E7
AT ITER 3394 NEW BEST:: SOT 328399583 SOS 250229005 HAS SOPS 250229005 HAS SOUS 67551505 HAS SOUPS 67551505 WITH SCORE 6.7801734005E7
AT ITER 3396 NEW BEST:: SOT 328420342 SOS 250249764 HAS SOPS 250249764 HAS SOUS 67551432 HAS SOUPS 67551432 WITH SCORE 6.7801681764E7
AT ITER 3399 NEW BEST:: SOT 328443518 SOS 250272940 HAS SOPS 250272940 HAS SOUS 67549670 HAS SOUPS 67549670 WITH SCORE 6.779994294E7
AT ITER 3406 NEW BEST:: SOT 328447863 SOS 250277285 HAS SOPS 250277285 HAS SOUS 67546243 HAS SOUPS 67546243 WITH SCORE 6.7796520285E7
AT ITER 3418 NEW BEST:: SOT 328448828 SOS 250278250 HAS SOPS 250278250 HAS SOUS 67545892 HAS SOUPS 67545892 WITH SCORE 6.779617025E7
AT ITER 3419 NEW BEST:: SOT 328459116 SOS 250288538 HAS SOPS 250288538 HAS SOUS 67541990 HAS SOUPS 67541990 WITH SCORE 6.7792278538E7
AT ITER 3424 NEW BEST:: SOT 328469007 SOS 250298429 HAS SOPS 250298429 HAS SOUS 67541193 HAS SOUPS 67541193 WITH SCORE 6.7791491429E7
AT ITER 3435 NEW BEST:: SOT 328478054 SOS 250307476 HAS SOPS 250307476 HAS SOUS 67540646 HAS SOUPS 67540646 WITH SCORE 6.7790953476E7
AT ITER 3438 NEW BEST:: SOT 328483936 SOS 250313358 HAS SOPS 250313358 HAS SOUS 67539152 HAS SOUPS 67539152 WITH SCORE 6.7789465358E7
AT ITER 3440 NEW BEST:: SOT 328503187 SOS 250332609 HAS SOPS 250332609 HAS SOUS 67536791 HAS SOUPS 67536791 WITH SCORE 6.7787123609E7
AT ITER 3455 NEW BEST:: SOT 328526051 SOS 250355473 HAS SOPS 250355473 HAS SOUS 67536759 HAS SOUPS 67536759 WITH SCORE 6.7787114473E7
AT ITER 3476 NEW BEST:: SOT 328542654 SOS 250372076 HAS SOPS 250372076 HAS SOUS 67536188 HAS SOUPS 67536188 WITH SCORE 6.7786560076E7
AT ITER 3496 NEW BEST:: SOT 328558998 SOS 250388420 HAS SOPS 250388420 HAS SOUS 67532338 HAS SOUPS 67532338 WITH SCORE 6.778272642E7
AT ITER 3501 NEW BEST:: SOT 328571122 SOS 250400544 HAS SOPS 250400544 HAS SOUS 67530130 HAS SOUPS 67530130 WITH SCORE 6.7780530544E7
AT ITER 3503 NEW BEST:: SOT 328586505 SOS 250415927 HAS SOPS 250415927 HAS SOUS 67526357 HAS SOUPS 67526357 WITH SCORE 6.7776772927E7
AT ITER 3505 NEW BEST:: SOT 328601168 SOS 250430590 HAS SOPS 250430590 HAS SOUS 67523566 HAS SOUPS 67523566 WITH SCORE 6.777399659E7
AT ITER 3521 NEW BEST:: SOT 328618076 SOS 250447498 HAS SOPS 250447498 HAS SOUS 67522986 HAS SOUPS 67522986 WITH SCORE 6.7773433498E7
AT ITER 3522 NEW BEST:: SOT 328641302 SOS 250470724 HAS SOPS 250470724 HAS SOUS 67520144 HAS SOUPS 67520144 WITH SCORE 6.7770614724E7
AT ITER 3545 NEW BEST:: SOT 328649182 SOS 250478604 HAS SOPS 250478604 HAS SOUS 67518424 HAS SOUPS 67518424 WITH SCORE 6.7768902604E7
AT ITER 3550 NEW BEST:: SOT 328654424 SOS 250483846 HAS SOPS 250483846 HAS SOUS 67515560 HAS SOUPS 67515560 WITH SCORE 6.7766043846E7
AT ITER 3560 NEW BEST:: SOT 328663163 SOS 250492585 HAS SOPS 250492585 HAS SOUS 67512475 HAS SOUPS 67512475 WITH SCORE 6.7762967585E7
AT ITER 3565 NEW BEST:: SOT 328677764 SOS 250507186 HAS SOPS 250507186 HAS SOUS 67509062 HAS SOUPS 67509062 WITH SCORE 6.7759569186E7
AT ITER 3568 NEW BEST:: SOT 328693116 SOS 250522538 HAS SOPS 250522538 HAS SOUS 67508080 HAS SOUPS 67508080 WITH SCORE 6.7758602538E7
AT ITER 3575 NEW BEST:: SOT 328714179 SOS 250543601 HAS SOPS 250543601 HAS SOUS 67504967 HAS SOUPS 67504967 WITH SCORE 6.7755510601E7
AT ITER 3597 NEW BEST:: SOT 328724542 SOS 250553964 HAS SOPS 250553964 HAS SOUS 67504240 HAS SOUPS 67504240 WITH SCORE 6.7754793964E7
AT ITER 3600 NEW BEST:: SOT 328728872 SOS 250558294 HAS SOPS 250558294 HAS SOUS 67503440 HAS SOUPS 67503440 WITH SCORE 6.7753998294E7
AT ITER 3602 NEW BEST:: SOT 328736111 SOS 250565533 HAS SOPS 250565533 HAS SOUS 67499747 HAS SOUPS 67499747 WITH SCORE 6.7750312533E7
AT ITER 3615 NEW BEST:: SOT 328755061 SOS 250584483 HAS SOPS 250584483 HAS SOUS 67496947 HAS SOUPS 67496947 WITH SCORE 6.7747531483E7
AT ITER 3616 NEW BEST:: SOT 328765253 SOS 250594675 HAS SOPS 250594675 HAS SOUS 67496395 HAS SOUPS 67496395 WITH SCORE 6.7746989675E7
AT ITER 3621 NEW BEST:: SOT 328778454 SOS 250607876 HAS SOPS 250607876 HAS SOUS 67493380 HAS SOUPS 67493380 WITH SCORE 6.7743987876E7
AT ITER 3622 NEW BEST:: SOT 328781646 SOS 250611068 HAS SOPS 250611068 HAS SOUS 67493312 HAS SOUPS 67493312 WITH SCORE 6.7743923068E7
AT ITER 3628 NEW BEST:: SOT 328804837 SOS 250634259 HAS SOPS 250634259 HAS SOUS 67489793 HAS SOUPS 67489793 WITH SCORE 6.7740427259E7
AT ITER 3629 NEW BEST:: SOT 328814934 SOS 250644356 HAS SOPS 250644356 HAS SOUS 67489140 HAS SOUPS 67489140 WITH SCORE 6.7739784356E7
AT ITER 3635 NEW BEST:: SOT 328839013 SOS 250668435 HAS SOPS 250668435 HAS SOUS 67488355 HAS SOUPS 67488355 WITH SCORE 6.7739023435E7
AT ITER 3638 NEW BEST:: SOT 328862404 SOS 250691826 HAS SOPS 250691826 HAS SOUS 67487206 HAS SOUPS 67487206 WITH SCORE 6.7737897826E7
AT ITER 3654 NEW BEST:: SOT 328885041 SOS 250714463 HAS SOPS 250714463 HAS SOUS 67486095 HAS SOUPS 67486095 WITH SCORE 6.7736809463E7
AT ITER 3657 NEW BEST:: SOT 328889622 SOS 250719044 HAS SOPS 250719044 HAS SOUS 67484270 HAS SOUPS 67484270 WITH SCORE 6.7734989044E7
AT ITER 3661 NEW BEST:: SOT 328913341 SOS 250742763 HAS SOPS 250742763 HAS SOUS 67481895 HAS SOUPS 67481895 WITH SCORE 6.7732637763E7
AT ITER 3670 NEW BEST:: SOT 328922372 SOS 250751794 HAS SOPS 250751794 HAS SOUS 67479916 HAS SOUPS 67479916 WITH SCORE 6.7730667794E7
AT ITER 3671 NEW BEST:: SOT 328924860 SOS 250754282 HAS SOPS 250754282 HAS SOUS 67478280 HAS SOUPS 67478280 WITH SCORE 6.7729034282E7
AT ITER 3672 NEW BEST:: SOT 328926382 SOS 250755804 HAS SOPS 250755804 HAS SOUS 67476862 HAS SOUPS 67476862 WITH SCORE 6.7727617804E7
AT ITER 3710 NEW BEST:: SOT 328939604 SOS 250769026 HAS SOPS 250769026 HAS SOUS 67473474 HAS SOUPS 67473474 WITH SCORE 6.7724243026E7
AT ITER 3718 NEW BEST:: SOT 328950873 SOS 250780295 HAS SOPS 250780295 HAS SOUS 67469693 HAS SOUPS 67469693 WITH SCORE 6.7720473295E7
AT ITER 3719 NEW BEST:: SOT 328976534 SOS 250805956 HAS SOPS 250805956 HAS SOUS 67467802 HAS SOUPS 67467802 WITH SCORE 6.7718607956E7
AT ITER 3725 NEW BEST:: SOT 328979292 SOS 250808714 HAS SOPS 250808714 HAS SOUS 67466022 HAS SOUPS 67466022 WITH SCORE 6.7716830714E7
AT ITER 3726 NEW BEST:: SOT 329004151 SOS 250833573 HAS SOPS 250833573 HAS SOUS 67462033 HAS SOUPS 67462033 WITH SCORE 6.7712866573E7
AT ITER 3727 NEW BEST:: SOT 329030358 SOS 250859780 HAS SOPS 250859780 HAS SOUS 67458818 HAS SOUPS 67458818 WITH SCORE 6.770967778E7
AT ITER 3748 NEW BEST:: SOT 329020626 SOS 250850048 HAS SOPS 250850048 HAS SOUS 67458818 HAS SOUPS 67458818 WITH SCORE 6.7709668048E7
AT ITER 3752 NEW BEST:: SOT 329037223 SOS 250866645 HAS SOPS 250866645 HAS SOUS 67455681 HAS SOUPS 67455681 WITH SCORE 6.7706547645E7
AT ITER 3755 NEW BEST:: SOT 329040399 SOS 250869821 HAS SOPS 250869821 HAS SOUS 67452975 HAS SOUPS 67452975 WITH SCORE 6.7703844821E7
AT ITER 3756 NEW BEST:: SOT 329045121 SOS 250874543 HAS SOPS 250874543 HAS SOUS 67450197 HAS SOUPS 67450197 WITH SCORE 6.7701071543E7
AT ITER 3758 NEW BEST:: SOT 329063568 SOS 250892990 HAS SOPS 250892990 HAS SOUS 67449058 HAS SOUPS 67449058 WITH SCORE 6.769995099E7
AT ITER 3775 NEW BEST:: SOT 329056788 SOS 250886210 HAS SOPS 250886210 HAS SOUS 67449058 HAS SOUPS 67449058 WITH SCORE 6.769994421E7
AT ITER 3776 NEW BEST:: SOT 329061139 SOS 250890561 HAS SOPS 250890561 HAS SOUS 67445989 HAS SOUPS 67445989 WITH SCORE 6.7696879561E7
AT ITER 3792 NEW BEST:: SOT 329067145 SOS 250896567 HAS SOPS 250896567 HAS SOUS 67443087 HAS SOUPS 67443087 WITH SCORE 6.7693983567E7
AT ITER 3796 NEW BEST:: SOT 329088711 SOS 250918133 HAS SOPS 250918133 HAS SOUS 67439793 HAS SOUPS 67439793 WITH SCORE 6.7690711133E7
AT ITER 3807 NEW BEST:: SOT 329104036 SOS 250933458 HAS SOPS 250933458 HAS SOUS 67438004 HAS SOUPS 67438004 WITH SCORE 6.7688937458E7
AT ITER 3808 NEW BEST:: SOT 329120198 SOS 250949620 HAS SOPS 250949620 HAS SOUS 67437108 HAS SOUPS 67437108 WITH SCORE 6.768805762E7
AT ITER 3811 NEW BEST:: SOT 329145429 SOS 250974851 HAS SOPS 250974851 HAS SOUS 67435363 HAS SOUPS 67435363 WITH SCORE 6.7686337851E7
AT ITER 3817 NEW BEST:: SOT 329150935 SOS 250980357 HAS SOPS 250980357 HAS SOUS 67433795 HAS SOUPS 67433795 WITH SCORE 6.7684775357E7
AT ITER 3828 NEW BEST:: SOT 329170511 SOS 250999933 HAS SOPS 250999933 HAS SOUS 67432013 HAS SOUPS 67432013 WITH SCORE 6.7683012933E7
AT ITER 3832 NEW BEST:: SOT 329193514 SOS 251022936 HAS SOPS 251022936 HAS SOUS 67431762 HAS SOUPS 67431762 WITH SCORE 6.7682784936E7
AT ITER 3836 NEW BEST:: SOT 329217559 SOS 251046981 HAS SOPS 251046981 HAS SOUS 67429431 HAS SOUPS 67429431 WITH SCORE 6.7680477981E7
AT ITER 3886 NEW BEST:: SOT 329223670 SOS 251053092 HAS SOPS 251053092 HAS SOUS 67426212 HAS SOUPS 67426212 WITH SCORE 6.7677265092E7
AT ITER 3888 NEW BEST:: SOT 329234600 SOS 251064022 HAS SOPS 251064022 HAS SOUS 67423248 HAS SOUPS 67423248 WITH SCORE 6.7674312022E7
AT ITER 3903 NEW BEST:: SOT 329249895 SOS 251079317 HAS SOPS 251079317 HAS SOUS 67420997 HAS SOUPS 67420997 WITH SCORE 6.7672076317E7
AT ITER 3918 NEW BEST:: SOT 329253348 SOS 251082770 HAS SOPS 251082770 HAS SOUS 67418108 HAS SOUPS 67418108 WITH SCORE 6.766919077E7
AT ITER 3923 NEW BEST:: SOT 329275732 SOS 251105154 HAS SOPS 251105154 HAS SOUS 67416890 HAS SOUPS 67416890 WITH SCORE 6.7667995154E7
AT ITER 3926 NEW BEST:: SOT 329281342 SOS 251110764 HAS SOPS 251110764 HAS SOUS 67413128 HAS SOUPS 67413128 WITH SCORE 6.7664238764E7
AT ITER 3929 NEW BEST:: SOT 329287533 SOS 251116955 HAS SOPS 251116955 HAS SOUS 67410967 HAS SOUPS 67410967 WITH SCORE 6.7662083955E7
AT ITER 3932 NEW BEST:: SOT 329291954 SOS 251121376 HAS SOPS 251121376 HAS SOUS 67407354 HAS SOUPS 67407354 WITH SCORE 6.7658475376E7
AT ITER 3933 NEW BEST:: SOT 329313622 SOS 251143044 HAS SOPS 251143044 HAS SOUS 67405730 HAS SOUPS 67405730 WITH SCORE 6.7656873044E7
AT ITER 3939 NEW BEST:: SOT 329331724 SOS 251161146 HAS SOPS 251161146 HAS SOUS 67403356 HAS SOUPS 67403356 WITH SCORE 6.7654517146E7
AT ITER 3942 NEW BEST:: SOT 329341232 SOS 251170654 HAS SOPS 251170654 HAS SOUS 67402096 HAS SOUPS 67402096 WITH SCORE 6.7653266654E7
AT ITER 3946 NEW BEST:: SOT 329347272 SOS 251176694 HAS SOPS 251176694 HAS SOUS 67399278 HAS SOUPS 67399278 WITH SCORE 6.7650454694E7
AT ITER 3950 NEW BEST:: SOT 329359437 SOS 251188859 HAS SOPS 251188859 HAS SOUS 67396137 HAS SOUPS 67396137 WITH SCORE 6.7647325859E7
AT ITER 3967 NEW BEST:: SOT 329373119 SOS 251202541 HAS SOPS 251202541 HAS SOUS 67395953 HAS SOUPS 67395953 WITH SCORE 6.7647155541E7
AT ITER 3973 NEW BEST:: SOT 329382705 SOS 251212127 HAS SOPS 251212127 HAS SOUS 67394577 HAS SOUPS 67394577 WITH SCORE 6.7645789127E7
AT ITER 3993 NEW BEST:: SOT 329391281 SOS 251220703 HAS SOPS 251220703 HAS SOUS 67392353 HAS SOUPS 67392353 WITH SCORE 6.7643573703E7
AT ITER 3998 NEW BEST:: SOT 329400840 SOS 251230262 HAS SOPS 251230262 HAS SOUS 67391046 HAS SOUPS 67391046 WITH SCORE 6.7642276262E7
AT ITER 3999 NEW BEST:: SOT 329413042 SOS 251242464 HAS SOPS 251242464 HAS SOUS 67387642 HAS SOUPS 67387642 WITH SCORE 6.7638884464E7
AT ITER 4014 NEW BEST:: SOT 329426582 SOS 251256004 HAS SOPS 251256004 HAS SOUS 67384420 HAS SOUPS 67384420 WITH SCORE 6.7635676004E7
AT ITER 4015 NEW BEST:: SOT 329438911 SOS 251268333 HAS SOPS 251268333 HAS SOUS 67383659 HAS SOUPS 67383659 WITH SCORE 6.7634927333E7
AT ITER 4030 NEW BEST:: SOT 329449577 SOS 251278999 HAS SOPS 251278999 HAS SOUS 67380061 HAS SOUPS 67380061 WITH SCORE 6.7631339999E7
AT ITER 4033 NEW BEST:: SOT 329445837 SOS 251275259 HAS SOPS 251275259 HAS SOUS 67380061 HAS SOUPS 67380061 WITH SCORE 6.7631336259E7
AT ITER 4044 NEW BEST:: SOT 329448305 SOS 251277727 HAS SOPS 251277727 HAS SOUS 67377783 HAS SOUPS 67377783 WITH SCORE 6.7629060727E7
AT ITER 4055 NEW BEST:: SOT 329455032 SOS 251284454 HAS SOPS 251284454 HAS SOUS 67377278 HAS SOUPS 67377278 WITH SCORE 6.7628562454E7
AT ITER 4056 NEW BEST:: SOT 329459179 SOS 251288601 HAS SOPS 251288601 HAS SOUS 67374633 HAS SOUPS 67374633 WITH SCORE 6.7625921601E7
AT ITER 4065 NEW BEST:: SOT 329475508 SOS 251304930 HAS SOPS 251304930 HAS SOUS 67372786 HAS SOUPS 67372786 WITH SCORE 6.762409093E7
AT ITER 4071 NEW BEST:: SOT 329494345 SOS 251323767 HAS SOPS 251323767 HAS SOUS 67370169 HAS SOUPS 67370169 WITH SCORE 6.7621492767E7
AT ITER 4073 NEW BEST:: SOT 329515680 SOS 251345102 HAS SOPS 251345102 HAS SOUS 67369824 HAS SOUPS 67369824 WITH SCORE 6.7621169102E7
AT ITER 4077 NEW BEST:: SOT 329518019 SOS 251347441 HAS SOPS 251347441 HAS SOUS 67369761 HAS SOUPS 67369761 WITH SCORE 6.7621108441E7
AT ITER 4080 NEW BEST:: SOT 329520166 SOS 251349588 HAS SOPS 251349588 HAS SOUS 67369682 HAS SOUPS 67369682 WITH SCORE 6.7621031588E7
AT ITER 4081 NEW BEST:: SOT 329529405 SOS 251358827 HAS SOPS 251358827 HAS SOUS 67366043 HAS SOUPS 67366043 WITH SCORE 6.7617401827E7
AT ITER 4085 NEW BEST:: SOT 329545309 SOS 251374731 HAS SOPS 251374731 HAS SOUS 67363773 HAS SOUPS 67363773 WITH SCORE 6.7615147731E7
AT ITER 4104 NEW BEST:: SOT 329569540 SOS 251398962 HAS SOPS 251398962 HAS SOUS 67360846 HAS SOUPS 67360846 WITH SCORE 6.7612244962E7
AT ITER 4108 NEW BEST:: SOT 329579370 SOS 251408792 HAS SOPS 251408792 HAS SOUS 67357478 HAS SOUPS 67357478 WITH SCORE 6.7608886792E7
AT ITER 4112 NEW BEST:: SOT 329599225 SOS 251428647 HAS SOPS 251428647 HAS SOUS 67355187 HAS SOUPS 67355187 WITH SCORE 6.7606615647E7
AT ITER 4113 NEW BEST:: SOT 329606640 SOS 251436062 HAS SOPS 251436062 HAS SOUS 67353580 HAS SOUPS 67353580 WITH SCORE 6.7605016062E7
AT ITER 4117 NEW BEST:: SOT 329620772 SOS 251450194 HAS SOPS 251450194 HAS SOUS 67352698 HAS SOUPS 67352698 WITH SCORE 6.7604148194E7
AT ITER 4118 NEW BEST:: SOT 329638096 SOS 251467518 HAS SOPS 251467518 HAS SOUS 67350022 HAS SOUPS 67350022 WITH SCORE 6.7601489518E7
AT ITER 4121 NEW BEST:: SOT 329645139 SOS 251474561 HAS SOPS 251474561 HAS SOUS 67348665 HAS SOUPS 67348665 WITH SCORE 6.7600139561E7
AT ITER 4123 NEW BEST:: SOT 329659161 SOS 251488583 HAS SOPS 251488583 HAS SOUS 67346091 HAS SOUPS 67346091 WITH SCORE 6.7597579583E7
AT ITER 4169 NEW BEST:: SOT 329676785 SOS 251506207 HAS SOPS 251506207 HAS SOUS 67345497 HAS SOUPS 67345497 WITH SCORE 6.7597003207E7
AT ITER 4170 NEW BEST:: SOT 329692033 SOS 251521455 HAS SOPS 251521455 HAS SOUS 67345263 HAS SOUPS 67345263 WITH SCORE 6.7596784455E7
AT ITER 4171 NEW BEST:: SOT 329713322 SOS 251542744 HAS SOPS 251542744 HAS SOUS 67344602 HAS SOUPS 67344602 WITH SCORE 6.7596144744E7
AT ITER 4204 NEW BEST:: SOT 329729667 SOS 251559089 HAS SOPS 251559089 HAS SOUS 67342185 HAS SOUPS 67342185 WITH SCORE 6.7593744089E7
AT ITER 4207 NEW BEST:: SOT 329741085 SOS 251570507 HAS SOPS 251570507 HAS SOUS 67338503 HAS SOUPS 67338503 WITH SCORE 6.7590073507E7
AT ITER 4208 NEW BEST:: SOT 329762777 SOS 251592199 HAS SOPS 251592199 HAS SOUS 67335319 HAS SOUPS 67335319 WITH SCORE 6.7586911199E7
AT ITER 4218 NEW BEST:: SOT 329777489 SOS 251606911 HAS SOPS 251606911 HAS SOUS 67334765 HAS SOUPS 67334765 WITH SCORE 6.7586371911E7
AT ITER 4238 NEW BEST:: SOT 329799651 SOS 251629073 HAS SOPS 251629073 HAS SOUS 67332333 HAS SOUPS 67332333 WITH SCORE 6.7583962073E7
AT ITER 4241 NEW BEST:: SOT 329788441 SOS 251617863 HAS SOPS 251617863 HAS SOUS 67332333 HAS SOUPS 67332333 WITH SCORE 6.7583950863E7
AT ITER 4254 NEW BEST:: SOT 329792488 SOS 251621910 HAS SOPS 251621910 HAS SOUS 67329414 HAS SOUPS 67329414 WITH SCORE 6.758103591E7
AT ITER 4256 NEW BEST:: SOT 329796425 SOS 251625847 HAS SOPS 251625847 HAS SOUS 67328619 HAS SOUPS 67328619 WITH SCORE 6.7580244847E7
AT ITER 4263 NEW BEST:: SOT 329798120 SOS 251627542 HAS SOPS 251627542 HAS SOUS 67327684 HAS SOUPS 67327684 WITH SCORE 6.7579311542E7
AT ITER 4299 NEW BEST:: SOT 329795920 SOS 251625342 HAS SOPS 251625342 HAS SOUS 67327684 HAS SOUPS 67327684 WITH SCORE 6.7579309342E7
AT ITER 4304 NEW BEST:: SOT 329806355 SOS 251635777 HAS SOPS 251635777 HAS SOUS 67327623 HAS SOUPS 67327623 WITH SCORE 6.7579258777E7
AT ITER 4305 NEW BEST:: SOT 329813262 SOS 251642684 HAS SOPS 251642684 HAS SOUS 67326038 HAS SOUPS 67326038 WITH SCORE 6.7577680684E7
AT ITER 4315 NEW BEST:: SOT 329825620 SOS 251655042 HAS SOPS 251655042 HAS SOUS 67322534 HAS SOUPS 67322534 WITH SCORE 6.7574189042E7
AT ITER 4334 NEW BEST:: SOT 329829078 SOS 251658500 HAS SOPS 251658500 HAS SOUS 67319306 HAS SOUPS 67319306 WITH SCORE 6.75709645E7
AT ITER 4341 NEW BEST:: SOT 329840085 SOS 251669507 HAS SOPS 251669507 HAS SOUS 67318783 HAS SOUPS 67318783 WITH SCORE 6.7570452507E7
AT ITER 4344 NEW BEST:: SOT 329851889 SOS 251681311 HAS SOPS 251681311 HAS SOUS 67317823 HAS SOUPS 67317823 WITH SCORE 6.7569504311E7
AT ITER 4359 NEW BEST:: SOT 329857632 SOS 251687054 HAS SOPS 251687054 HAS SOUS 67315120 HAS SOUPS 67315120 WITH SCORE 6.7566807054E7
AT ITER 4376 NEW BEST:: SOT 329883124 SOS 251712546 HAS SOPS 251712546 HAS SOUS 67313284 HAS SOUPS 67313284 WITH SCORE 6.7564996546E7
AT ITER 4377 NEW BEST:: SOT 329898213 SOS 251727635 HAS SOPS 251727635 HAS SOUS 67309459 HAS SOUPS 67309459 WITH SCORE 6.7561186635E7
AT ITER 4386 NEW BEST:: SOT 329921389 SOS 251750811 HAS SOPS 251750811 HAS SOUS 67308255 HAS SOUPS 67308255 WITH SCORE 6.7560005811E7
AT ITER 4404 NEW BEST:: SOT 329945284 SOS 251774706 HAS SOPS 251774706 HAS SOUS 67307934 HAS SOUPS 67307934 WITH SCORE 6.7559708706E7
AT ITER 4405 NEW BEST:: SOT 329962972 SOS 251792394 HAS SOPS 251792394 HAS SOUS 67306686 HAS SOUPS 67306686 WITH SCORE 6.7558478394E7
AT ITER 4409 NEW BEST:: SOT 329983096 SOS 251812518 HAS SOPS 251812518 HAS SOUS 67304918 HAS SOUPS 67304918 WITH SCORE 6.7556730518E7
AT ITER 4419 NEW BEST:: SOT 329995484 SOS 251824906 HAS SOPS 251824906 HAS SOUS 67302534 HAS SOUPS 67302534 WITH SCORE 6.7554358906E7
AT ITER 4424 NEW BEST:: SOT 330002313 SOS 251831735 HAS SOPS 251831735 HAS SOUS 67298627 HAS SOUPS 67298627 WITH SCORE 6.7550458735E7
AT ITER 4428 NEW BEST:: SOT 330009153 SOS 251838575 HAS SOPS 251838575 HAS SOUS 67297191 HAS SOUPS 67297191 WITH SCORE 6.7549029575E7
AT ITER 4429 NEW BEST:: SOT 330022707 SOS 251852129 HAS SOPS 251852129 HAS SOUS 67294557 HAS SOUPS 67294557 WITH SCORE 6.7546409129E7
AT ITER 4431 NEW BEST:: SOT 330018949 SOS 251848371 HAS SOPS 251848371 HAS SOUS 67294557 HAS SOUPS 67294557 WITH SCORE 6.7546405371E7
AT ITER 4433 NEW BEST:: SOT 330032609 SOS 251862031 HAS SOPS 251862031 HAS SOUS 67294361 HAS SOUPS 67294361 WITH SCORE 6.7546223031E7
AT ITER 4445 NEW BEST:: SOT 330049810 SOS 251879232 HAS SOPS 251879232 HAS SOUS 67291784 HAS SOUPS 67291784 WITH SCORE 6.7543663232E7
AT ITER 4457 NEW BEST:: SOT 330053802 SOS 251883224 HAS SOPS 251883224 HAS SOUS 67290620 HAS SOUPS 67290620 WITH SCORE 6.7542503224E7
AT ITER 4468 NEW BEST:: SOT 330058918 SOS 251888340 HAS SOPS 251888340 HAS SOUS 67290438 HAS SOUPS 67290438 WITH SCORE 6.754232634E7
AT ITER 4470 NEW BEST:: SOT 330078045 SOS 251907467 HAS SOPS 251907467 HAS SOUS 67287169 HAS SOUPS 67287169 WITH SCORE 6.7539076467E7
AT ITER 4485 NEW BEST:: SOT 330082101 SOS 251911523 HAS SOPS 251911523 HAS SOUS 67283441 HAS SOUPS 67283441 WITH SCORE 6.7535352523E7
AT ITER 4487 NEW BEST:: SOT 330092152 SOS 251921574 HAS SOPS 251921574 HAS SOUS 67282456 HAS SOUPS 67282456 WITH SCORE 6.7534377574E7
AT ITER 4490 NEW BEST:: SOT 330096085 SOS 251925507 HAS SOPS 251925507 HAS SOUS 67280615 HAS SOUPS 67280615 WITH SCORE 6.7532540507E7
AT ITER 4491 NEW BEST:: SOT 330111494 SOS 251940916 HAS SOPS 251940916 HAS SOUS 67277800 HAS SOUPS 67277800 WITH SCORE 6.7529740916E7
AT ITER 4516 NEW BEST:: SOT 330100200 SOS 251929622 HAS SOPS 251929622 HAS SOUS 67277800 HAS SOUPS 67277800 WITH SCORE 6.7529729622E7
AT ITER 4529 NEW BEST:: SOT 330108036 SOS 251937458 HAS SOPS 251937458 HAS SOUS 67274112 HAS SOUPS 67274112 WITH SCORE 6.7526049458E7
AT ITER 4537 NEW BEST:: SOT 330099514 SOS 251928936 HAS SOPS 251928936 HAS SOUS 67274112 HAS SOUPS 67274112 WITH SCORE 6.7526040936E7
AT ITER 4564 NEW BEST:: SOT 330097612 SOS 251927034 HAS SOPS 251927034 HAS SOUS 67274112 HAS SOUPS 67274112 WITH SCORE 6.7526039034E7
AT ITER 4571 NEW BEST:: SOT 330118854 SOS 251948276 HAS SOPS 251948276 HAS SOUS 67273000 HAS SOUPS 67273000 WITH SCORE 6.7524948276E7
AT ITER 4572 NEW BEST:: SOT 330137016 SOS 251966438 HAS SOPS 251966438 HAS SOUS 67270848 HAS SOUPS 67270848 WITH SCORE 6.7522814438E7
AT ITER 4574 NEW BEST:: SOT 330155551 SOS 251984973 HAS SOPS 251984973 HAS SOUS 67267497 HAS SOUPS 67267497 WITH SCORE 6.7519481973E7
AT ITER 4575 NEW BEST:: SOT 330166939 SOS 251996361 HAS SOPS 251996361 HAS SOUS 67267451 HAS SOUPS 67267451 WITH SCORE 6.7519447361E7
AT ITER 4583 NEW BEST:: SOT 330183216 SOS 252012638 HAS SOPS 252012638 HAS SOUS 67263530 HAS SOUPS 67263530 WITH SCORE 6.7515542638E7
AT ITER 4603 NEW BEST:: SOT 330186390 SOS 252015812 HAS SOPS 252015812 HAS SOUS 67261614 HAS SOUPS 67261614 WITH SCORE 6.7513629812E7
AT ITER 4604 NEW BEST:: SOT 330184852 SOS 252014274 HAS SOPS 252014274 HAS SOUS 67261614 HAS SOUPS 67261614 WITH SCORE 6.7513628274E7
AT ITER 4618 NEW BEST:: SOT 330184684 SOS 252014106 HAS SOPS 252014106 HAS SOUS 67261614 HAS SOUPS 67261614 WITH SCORE 6.7513628106E7
AT ITER 4635 NEW BEST:: SOT 330204551 SOS 252033973 HAS SOPS 252033973 HAS SOUS 67261209 HAS SOUPS 67261209 WITH SCORE 6.7513242973E7
AT ITER 4645 NEW BEST:: SOT 330221859 SOS 252051281 HAS SOPS 252051281 HAS SOUS 67257607 HAS SOUPS 67257607 WITH SCORE 6.7509658281E7
AT ITER 4647 NEW BEST:: SOT 330227895 SOS 252057317 HAS SOPS 252057317 HAS SOUS 67254419 HAS SOUPS 67254419 WITH SCORE 6.7506476317E7
AT ITER 4653 NEW BEST:: SOT 330239312 SOS 252068734 HAS SOPS 252068734 HAS SOUS 67250770 HAS SOUPS 67250770 WITH SCORE 6.7502838734E7
AT ITER 4662 NEW BEST:: SOT 330243516 SOS 252072938 HAS SOPS 252072938 HAS SOUS 67247878 HAS SOUPS 67247878 WITH SCORE 6.7499950938E7
AT ITER 4665 NEW BEST:: SOT 330262761 SOS 252092183 HAS SOPS 252092183 HAS SOUS 67247003 HAS SOUPS 67247003 WITH SCORE 6.7499095183E7
AT ITER 4681 NEW BEST:: SOT 330276517 SOS 252105939 HAS SOPS 252105939 HAS SOUS 67245147 HAS SOUPS 67245147 WITH SCORE 6.7497252939E7
AT ITER 4683 NEW BEST:: SOT 330302941 SOS 252132363 HAS SOPS 252132363 HAS SOUS 67241921 HAS SOUPS 67241921 WITH SCORE 6.7494053363E7
AT ITER 4700 NEW BEST:: SOT 330308811 SOS 252138233 HAS SOPS 252138233 HAS SOUS 67240055 HAS SOUPS 67240055 WITH SCORE 6.7492193233E7
AT ITER 4701 NEW BEST:: SOT 330326854 SOS 252156276 HAS SOPS 252156276 HAS SOUS 67239738 HAS SOUPS 67239738 WITH SCORE 6.7491894276E7
AT ITER 4705 NEW BEST:: SOT 330349014 SOS 252178436 HAS SOPS 252178436 HAS SOUS 67238928 HAS SOUPS 67238928 WITH SCORE 6.7491106436E7
AT ITER 4741 NEW BEST:: SOT 330364873 SOS 252194295 HAS SOPS 252194295 HAS SOUS 67236817 HAS SOUPS 67236817 WITH SCORE 6.7489011295E7
AT ITER 4742 NEW BEST:: SOT 330366548 SOS 252195970 HAS SOPS 252195970 HAS SOUS 67235396 HAS SOUPS 67235396 WITH SCORE 6.748759197E7
AT ITER 4749 NEW BEST:: SOT 330377293 SOS 252206715 HAS SOPS 252206715 HAS SOUS 67233155 HAS SOUPS 67233155 WITH SCORE 6.7485361715E7
AT ITER 4752 NEW BEST:: SOT 330384694 SOS 252214116 HAS SOPS 252214116 HAS SOUS 67231578 HAS SOUPS 67231578 WITH SCORE 6.7483792116E7
AT ITER 4754 NEW BEST:: SOT 330391050 SOS 252220472 HAS SOPS 252220472 HAS SOUS 67230332 HAS SOUPS 67230332 WITH SCORE 6.7482552472E7
AT ITER 4761 NEW BEST:: SOT 330392205 SOS 252221627 HAS SOPS 252221627 HAS SOUS 67230127 HAS SOUPS 67230127 WITH SCORE 6.7482348627E7
AT ITER 4762 NEW BEST:: SOT 330417057 SOS 252246479 HAS SOPS 252246479 HAS SOUS 67226967 HAS SOUPS 67226967 WITH SCORE 6.7479213479E7
AT ITER 4764 NEW BEST:: SOT 330421526 SOS 252250948 HAS SOPS 252250948 HAS SOUS 67223112 HAS SOUPS 67223112 WITH SCORE 6.7475362948E7
AT ITER 4783 NEW BEST:: SOT 330437304 SOS 252266726 HAS SOPS 252266726 HAS SOUS 67220776 HAS SOUPS 67220776 WITH SCORE 6.7473042726E7
AT ITER 4788 NEW BEST:: SOT 330444313 SOS 252273735 HAS SOPS 252273735 HAS SOUS 67219459 HAS SOUPS 67219459 WITH SCORE 6.7471732735E7
AT ITER 4789 NEW BEST:: SOT 330445230 SOS 252274652 HAS SOPS 252274652 HAS SOUS 67218710 HAS SOUPS 67218710 WITH SCORE 6.7470984652E7
AT ITER 4820 NEW BEST:: SOT 330449055 SOS 252278477 HAS SOPS 252278477 HAS SOUS 67214897 HAS SOUPS 67214897 WITH SCORE 6.7467175477E7
AT ITER 4821 NEW BEST:: SOT 330467065 SOS 252296487 HAS SOPS 252296487 HAS SOUS 67213377 HAS SOUPS 67213377 WITH SCORE 6.7465673487E7
AT ITER 4829 NEW BEST:: SOT 330491188 SOS 252320610 HAS SOPS 252320610 HAS SOUS 67211572 HAS SOUPS 67211572 WITH SCORE 6.746389261E7
AT ITER 4836 NEW BEST:: SOT 330512501 SOS 252341923 HAS SOPS 252341923 HAS SOUS 67210221 HAS SOUPS 67210221 WITH SCORE 6.7462562923E7
AT ITER 4862 NEW BEST:: SOT 330519868 SOS 252349290 HAS SOPS 252349290 HAS SOUS 67206654 HAS SOUPS 67206654 WITH SCORE 6.745900329E7
AT ITER 4872 NEW BEST:: SOT 330539875 SOS 252369297 HAS SOPS 252369297 HAS SOUS 67205067 HAS SOUPS 67205067 WITH SCORE 6.7457436297E7
AT ITER 4889 NEW BEST:: SOT 330549759 SOS 252379181 HAS SOPS 252379181 HAS SOUS 67201175 HAS SOUPS 67201175 WITH SCORE 6.7453554181E7
AT ITER 4893 NEW BEST:: SOT 330563792 SOS 252393214 HAS SOPS 252393214 HAS SOUS 67200330 HAS SOUPS 67200330 WITH SCORE 6.7452723214E7
AT ITER 4916 NEW BEST:: SOT 330569845 SOS 252399267 HAS SOPS 252399267 HAS SOUS 67199063 HAS SOUPS 67199063 WITH SCORE 6.7451462267E7
AT ITER 4931 NEW BEST:: SOT 330593604 SOS 252423026 HAS SOPS 252423026 HAS SOUS 67196050 HAS SOUPS 67196050 WITH SCORE 6.7448473026E7
AT ITER 4934 NEW BEST:: SOT 330618147 SOS 252447569 HAS SOPS 252447569 HAS SOUS 67193897 HAS SOUPS 67193897 WITH SCORE 6.7446344569E7
AT ITER 4948 NEW BEST:: SOT 330621211 SOS 252450633 HAS SOPS 252450633 HAS SOUS 67193819 HAS SOUPS 67193819 WITH SCORE 6.7446269633E7
AT ITER 4959 NEW BEST:: SOT 330628561 SOS 252457983 HAS SOPS 252457983 HAS SOUS 67193103 HAS SOUPS 67193103 WITH SCORE 6.7445560983E7
AT ITER 4964 NEW BEST:: SOT 330634392 SOS 252463814 HAS SOPS 252463814 HAS SOUS 67192790 HAS SOUPS 67192790 WITH SCORE 6.7445253814E7
AT ITER 4969 NEW BEST:: SOT 330641058 SOS 252470480 HAS SOPS 252470480 HAS SOUS 67190296 HAS SOUPS 67190296 WITH SCORE 6.744276648E7
AT ITER 4974 NEW BEST:: SOT 330651034 SOS 252480456 HAS SOPS 252480456 HAS SOUS 67187034 HAS SOUPS 67187034 WITH SCORE 6.7439514456E7
AT ITER 4980 NEW BEST:: SOT 330674957 SOS 252504379 HAS SOPS 252504379 HAS SOUS 67186797 HAS SOUPS 67186797 WITH SCORE 6.7439301379E7
AT ITER 4983 NEW BEST:: SOT 330674149 SOS 252503571 HAS SOPS 252503571 HAS SOUS 67186797 HAS SOUPS 67186797 WITH SCORE 6.7439300571E7
AT ITER 4995 NEW BEST:: SOT 330686164 SOS 252515586 HAS SOPS 252515586 HAS SOUS 67183060 HAS SOUPS 67183060 WITH SCORE 6.7435575586E7
AT ITER 5000 NEW BEST:: SOT 330709508 SOS 252538930 HAS SOPS 252538930 HAS SOUS 67182338 HAS SOUPS 67182338 WITH SCORE 6.743487693E7
AT ITER 5004 NEW BEST:: SOT 330712025 SOS 252541447 HAS SOPS 252541447 HAS SOUS 67179847 HAS SOUPS 67179847 WITH SCORE 6.7432388447E7
AT ITER 5015 NEW BEST:: SOT 330715993 SOS 252545415 HAS SOPS 252545415 HAS SOUS 67175913 HAS SOUPS 67175913 WITH SCORE 6.7428458415E7
AT ITER 5016 NEW BEST:: SOT 330736003 SOS 252565425 HAS SOPS 252565425 HAS SOUS 67172887 HAS SOUPS 67172887 WITH SCORE 6.7425452425E7
AT ITER 5028 NEW BEST:: SOT 330748762 SOS 252578184 HAS SOPS 252578184 HAS SOUS 67171230 HAS SOUPS 67171230 WITH SCORE 6.7423808184E7
AT ITER 5029 NEW BEST:: SOT 330770037 SOS 252599459 HAS SOPS 252599459 HAS SOUS 67168935 HAS SOUPS 67168935 WITH SCORE 6.7421534459E7
AT ITER 5034 NEW BEST:: SOT 330785381 SOS 252614803 HAS SOPS 252614803 HAS SOUS 67164991 HAS SOUPS 67164991 WITH SCORE 6.7417605803E7
AT ITER 5041 NEW BEST:: SOT 330798905 SOS 252628327 HAS SOPS 252628327 HAS SOUS 67164421 HAS SOUPS 67164421 WITH SCORE 6.7417049327E7
AT ITER 5048 NEW BEST:: SOT 330821805 SOS 252651227 HAS SOPS 252651227 HAS SOUS 67160481 HAS SOUPS 67160481 WITH SCORE 6.7413132227E7
AT ITER 5056 NEW BEST:: SOT 330826625 SOS 252656047 HAS SOPS 252656047 HAS SOUS 67158993 HAS SOUPS 67158993 WITH SCORE 6.7411649047E7
AT ITER 5057 NEW BEST:: SOT 330839857 SOS 252669279 HAS SOPS 252669279 HAS SOUS 67157935 HAS SOUPS 67157935 WITH SCORE 6.7410604279E7
AT ITER 5064 NEW BEST:: SOT 330842161 SOS 252671583 HAS SOPS 252671583 HAS SOUS 67155631 HAS SOUPS 67155631 WITH SCORE 6.7408302583E7
AT ITER 5074 NEW BEST:: SOT 330844161 SOS 252673583 HAS SOPS 252673583 HAS SOUS 67154811 HAS SOUPS 67154811 WITH SCORE 6.7407484583E7
AT ITER 5077 NEW BEST:: SOT 330841833 SOS 252671255 HAS SOPS 252671255 HAS SOUS 67154811 HAS SOUPS 67154811 WITH SCORE 6.7407482255E7
AT ITER 5089 NEW BEST:: SOT 330858672 SOS 252688094 HAS SOPS 252688094 HAS SOUS 67151722 HAS SOUPS 67151722 WITH SCORE 6.7404410094E7
AT ITER 5114 NEW BEST:: SOT 330880049 SOS 252709471 HAS SOPS 252709471 HAS SOUS 67147885 HAS SOUPS 67147885 WITH SCORE 6.7400594471E7
AT ITER 5124 NEW BEST:: SOT 330881270 SOS 252710692 HAS SOPS 252710692 HAS SOUS 67147498 HAS SOUPS 67147498 WITH SCORE 6.7400208692E7
AT ITER 5132 NEW BEST:: SOT 330903106 SOS 252732528 HAS SOPS 252732528 HAS SOUS 67147196 HAS SOUPS 67147196 WITH SCORE 6.7399928528E7
AT ITER 5141 NEW BEST:: SOT 330922035 SOS 252751457 HAS SOPS 252751457 HAS SOUS 67144511 HAS SOUPS 67144511 WITH SCORE 6.7397262457E7
AT ITER 5155 NEW BEST:: SOT 330938610 SOS 252768032 HAS SOPS 252768032 HAS SOUS 67143352 HAS SOUPS 67143352 WITH SCORE 6.7396120032E7
AT ITER 5165 NEW BEST:: SOT 330959470 SOS 252788892 HAS SOPS 252788892 HAS SOUS 67141236 HAS SOUPS 67141236 WITH SCORE 6.7394024892E7
AT ITER 5175 NEW BEST:: SOT 330984368 SOS 252813790 HAS SOPS 252813790 HAS SOUS 67140054 HAS SOUPS 67140054 WITH SCORE 6.739286779E7
AT ITER 5177 NEW BEST:: SOT 331006560 SOS 252835982 HAS SOPS 252835982 HAS SOUS 67138022 HAS SOUPS 67138022 WITH SCORE 6.7390857982E7
AT ITER 5186 NEW BEST:: SOT 331026018 SOS 252855440 HAS SOPS 252855440 HAS SOUS 67134148 HAS SOUPS 67134148 WITH SCORE 6.738700344E7
AT ITER 5187 NEW BEST:: SOT 331037538 SOS 252866960 HAS SOPS 252866960 HAS SOUS 67132586 HAS SOUPS 67132586 WITH SCORE 6.738545296E7
AT ITER 5188 NEW BEST:: SOT 331055939 SOS 252885361 HAS SOPS 252885361 HAS SOUS 67131095 HAS SOUPS 67131095 WITH SCORE 6.7383980361E7
AT ITER 5192 NEW BEST:: SOT 331083223 SOS 252912645 HAS SOPS 252912645 HAS SOUS 67127427 HAS SOUPS 67127427 WITH SCORE 6.7380339645E7
AT ITER 5203 NEW BEST:: SOT 331106925 SOS 252936347 HAS SOPS 252936347 HAS SOUS 67125743 HAS SOUPS 67125743 WITH SCORE 6.7378679347E7
AT ITER 5208 NEW BEST:: SOT 331115956 SOS 252945378 HAS SOPS 252945378 HAS SOUS 67122844 HAS SOUPS 67122844 WITH SCORE 6.7375789378E7
AT ITER 5209 NEW BEST:: SOT 331131095 SOS 252960517 HAS SOPS 252960517 HAS SOUS 67118927 HAS SOUPS 67118927 WITH SCORE 6.7371887517E7
AT ITER 5216 NEW BEST:: SOT 331151491 SOS 252980913 HAS SOPS 252980913 HAS SOUS 67118027 HAS SOUPS 67118027 WITH SCORE 6.7371007913E7
AT ITER 5221 NEW BEST:: SOT 331160113 SOS 252989535 HAS SOPS 252989535 HAS SOUS 67114127 HAS SOUPS 67114127 WITH SCORE 6.7367116535E7
AT ITER 5230 NEW BEST:: SOT 331180578 SOS 253010000 HAS SOPS 253010000 HAS SOUS 67111904 HAS SOUPS 67111904 WITH SCORE 6.7364914E7
AT ITER 5233 NEW BEST:: SOT 331193105 SOS 253022527 HAS SOPS 253022527 HAS SOUS 67109805 HAS SOUPS 67109805 WITH SCORE 6.7362827527E7
AT ITER 5266 NEW BEST:: SOT 331210225 SOS 253039647 HAS SOPS 253039647 HAS SOUS 67107709 HAS SOUPS 67107709 WITH SCORE 6.7360748647E7
AT ITER 5285 NEW BEST:: SOT 331203271 SOS 253032693 HAS SOPS 253032693 HAS SOUS 67107709 HAS SOUPS 67107709 WITH SCORE 6.7360741693E7
AT ITER 5288 NEW BEST:: SOT 331207494 SOS 253036916 HAS SOPS 253036916 HAS SOUS 67104942 HAS SOUPS 67104942 WITH SCORE 6.7357978916E7
AT ITER 5293 NEW BEST:: SOT 331226013 SOS 253055435 HAS SOPS 253055435 HAS SOUS 67101081 HAS SOUPS 67101081 WITH SCORE 6.7354136435E7
AT ITER 5325 NEW BEST:: SOT 331229615 SOS 253059037 HAS SOPS 253059037 HAS SOUS 67098483 HAS SOUPS 67098483 WITH SCORE 6.7351542037E7
AT ITER 5339 NEW BEST:: SOT 331243502 SOS 253072924 HAS SOPS 253072924 HAS SOUS 67095986 HAS SOUPS 67095986 WITH SCORE 6.7349058924E7
AT ITER 5349 NEW BEST:: SOT 331264522 SOS 253093944 HAS SOPS 253093944 HAS SOUS 67093240 HAS SOUPS 67093240 WITH SCORE 6.7346333944E7
AT ITER 5361 NEW BEST:: SOT 331281095 SOS 253110517 HAS SOPS 253110517 HAS SOUS 67092759 HAS SOUPS 67092759 WITH SCORE 6.7345869517E7
AT ITER 5409 NEW BEST:: SOT 331293794 SOS 253123216 HAS SOPS 253123216 HAS SOUS 67091744 HAS SOUPS 67091744 WITH SCORE 6.7344867216E7
AT ITER 5414 NEW BEST:: SOT 331303300 SOS 253132722 HAS SOPS 253132722 HAS SOUS 67091400 HAS SOUPS 67091400 WITH SCORE 6.7344532722E7
AT ITER 5425 NEW BEST:: SOT 331317591 SOS 253147013 HAS SOPS 253147013 HAS SOUS 67088795 HAS SOUPS 67088795 WITH SCORE 6.7341942013E7
AT ITER 5433 NEW BEST:: SOT 331321304 SOS 253150726 HAS SOPS 253150726 HAS SOUS 67087660 HAS SOUPS 67087660 WITH SCORE 6.7340810726E7
AT ITER 5435 NEW BEST:: SOT 331329542 SOS 253158964 HAS SOPS 253158964 HAS SOUS 67083894 HAS SOUPS 67083894 WITH SCORE 6.7337052964E7
AT ITER 5456 NEW BEST:: SOT 331347552 SOS 253176974 HAS SOPS 253176974 HAS SOUS 67081480 HAS SOUPS 67081480 WITH SCORE 6.7334656974E7
AT ITER 5458 NEW BEST:: SOT 331354629 SOS 253184051 HAS SOPS 253184051 HAS SOUS 67080703 HAS SOUPS 67080703 WITH SCORE 6.7333887051E7
AT ITER 5508 NEW BEST:: SOT 331357220 SOS 253186642 HAS SOPS 253186642 HAS SOUS 67078850 HAS SOUPS 67078850 WITH SCORE 6.7332036642E7
AT ITER 5510 NEW BEST:: SOT 331358538 SOS 253187960 HAS SOPS 253187960 HAS SOUS 67078054 HAS SOUPS 67078054 WITH SCORE 6.733124196E7
AT ITER 5534 NEW BEST:: SOT 331376829 SOS 253206251 HAS SOPS 253206251 HAS SOUS 67077839 HAS SOUPS 67077839 WITH SCORE 6.7331045251E7
AT ITER 5536 NEW BEST:: SOT 331397390 SOS 253226812 HAS SOPS 253226812 HAS SOUS 67074176 HAS SOUPS 67074176 WITH SCORE 6.7327402812E7
AT ITER 5562 NEW BEST:: SOT 331400326 SOS 253229748 HAS SOPS 253229748 HAS SOUS 67073754 HAS SOUPS 67073754 WITH SCORE 6.7326983748E7
AT ITER 5564 NEW BEST:: SOT 331402632 SOS 253232054 HAS SOPS 253232054 HAS SOUS 67071932 HAS SOUPS 67071932 WITH SCORE 6.7325164054E7
AT ITER 5565 NEW BEST:: SOT 331414994 SOS 253244416 HAS SOPS 253244416 HAS SOUS 67068296 HAS SOUPS 67068296 WITH SCORE 6.7321540416E7
AT ITER 5570 NEW BEST:: SOT 331434716 SOS 253264138 HAS SOPS 253264138 HAS SOUS 67066588 HAS SOUPS 67066588 WITH SCORE 6.7319852138E7
AT ITER 5571 NEW BEST:: SOT 331451638 SOS 253281060 HAS SOPS 253281060 HAS SOUS 67062918 HAS SOUPS 67062918 WITH SCORE 6.731619906E7
AT ITER 5584 NEW BEST:: SOT 331475342 SOS 253304764 HAS SOPS 253304764 HAS SOUS 67059372 HAS SOUPS 67059372 WITH SCORE 6.7312676764E7
AT ITER 5589 NEW BEST:: SOT 331494745 SOS 253324167 HAS SOPS 253324167 HAS SOUS 67056939 HAS SOUPS 67056939 WITH SCORE 6.7310263167E7
AT ITER 5593 NEW BEST:: SOT 331504542 SOS 253333964 HAS SOPS 253333964 HAS SOUS 67053336 HAS SOUPS 67053336 WITH SCORE 6.7306669964E7
AT ITER 5595 NEW BEST:: SOT 331517925 SOS 253347347 HAS SOPS 253347347 HAS SOUS 67049575 HAS SOUPS 67049575 WITH SCORE 6.7302922347E7
AT ITER 5610 NEW BEST:: SOT 331528397 SOS 253357819 HAS SOPS 253357819 HAS SOUS 67048797 HAS SOUPS 67048797 WITH SCORE 6.7302154819E7
AT ITER 5613 NEW BEST:: SOT 331553751 SOS 253383173 HAS SOPS 253383173 HAS SOUS 67047273 HAS SOUPS 67047273 WITH SCORE 6.7300656173E7
AT ITER 5616 NEW BEST:: SOT 331559434 SOS 253388856 HAS SOPS 253388856 HAS SOUS 67043562 HAS SOUPS 67043562 WITH SCORE 6.7296950856E7
AT ITER 5627 NEW BEST:: SOT 331573406 SOS 253402828 HAS SOPS 253402828 HAS SOUS 67042596 HAS SOUPS 67042596 WITH SCORE 6.7295998828E7
AT ITER 5632 NEW BEST:: SOT 331589939 SOS 253419361 HAS SOPS 253419361 HAS SOUS 67038793 HAS SOUPS 67038793 WITH SCORE 6.7292212361E7
AT ITER 5638 NEW BEST:: SOT 331610550 SOS 253439972 HAS SOPS 253439972 HAS SOUS 67037710 HAS SOUPS 67037710 WITH SCORE 6.7291149972E7
AT ITER 5654 NEW BEST:: SOT 331632375 SOS 253461797 HAS SOPS 253461797 HAS SOUS 67036223 HAS SOUPS 67036223 WITH SCORE 6.7289684797E7
AT ITER 5658 NEW BEST:: SOT 331658988 SOS 253488410 HAS SOPS 253488410 HAS SOUS 67033098 HAS SOUPS 67033098 WITH SCORE 6.728658641E7
AT ITER 5695 NEW BEST:: SOT 331682598 SOS 253512020 HAS SOPS 253512020 HAS SOUS 67030770 HAS SOUPS 67030770 WITH SCORE 6.728428202E7
AT ITER 5697 NEW BEST:: SOT 331675710 SOS 253505132 HAS SOPS 253505132 HAS SOUS 67030770 HAS SOUPS 67030770 WITH SCORE 6.7284275132E7
AT ITER 5702 NEW BEST:: SOT 331693935 SOS 253523357 HAS SOPS 253523357 HAS SOUS 67027313 HAS SOUPS 67027313 WITH SCORE 6.7280836357E7
AT ITER 5707 NEW BEST:: SOT 331718460 SOS 253547882 HAS SOPS 253547882 HAS SOUS 67024148 HAS SOUPS 67024148 WITH SCORE 6.7277695882E7
AT ITER 5719 NEW BEST:: SOT 331736455 SOS 253565877 HAS SOPS 253565877 HAS SOUS 67022237 HAS SOUPS 67022237 WITH SCORE 6.7275802877E7
AT ITER 5723 NEW BEST:: SOT 331738356 SOS 253567778 HAS SOPS 253567778 HAS SOUS 67020336 HAS SOUPS 67020336 WITH SCORE 6.7273903778E7
AT ITER 5725 NEW BEST:: SOT 331746847 SOS 253576269 HAS SOPS 253576269 HAS SOUS 67019859 HAS SOUPS 67019859 WITH SCORE 6.7273435269E7
AT ITER 5729 NEW BEST:: SOT 331771214 SOS 253600636 HAS SOPS 253600636 HAS SOUS 67016946 HAS SOUPS 67016946 WITH SCORE 6.7270546636E7
AT ITER 5750 NEW BEST:: SOT 331792236 SOS 253621658 HAS SOPS 253621658 HAS SOUS 67015688 HAS SOUPS 67015688 WITH SCORE 6.7269309658E7
AT ITER 5764 NEW BEST:: SOT 331809162 SOS 253638584 HAS SOPS 253638584 HAS SOUS 67012766 HAS SOUPS 67012766 WITH SCORE 6.7266404584E7
AT ITER 5765 NEW BEST:: SOT 331832520 SOS 253661942 HAS SOPS 253661942 HAS SOUS 67011168 HAS SOUPS 67011168 WITH SCORE 6.7264829942E7
AT ITER 5767 NEW BEST:: SOT 331848632 SOS 253678054 HAS SOPS 253678054 HAS SOUS 67009446 HAS SOUPS 67009446 WITH SCORE 6.7263124054E7
AT ITER 5783 NEW BEST:: SOT 331865173 SOS 253694595 HAS SOPS 253694595 HAS SOUS 67009021 HAS SOUPS 67009021 WITH SCORE 6.7262715595E7
AT ITER 5796 NEW BEST:: SOT 331884279 SOS 253713701 HAS SOPS 253713701 HAS SOUS 67005247 HAS SOUPS 67005247 WITH SCORE 6.7258960701E7
AT ITER 5797 NEW BEST:: SOT 331889301 SOS 253718723 HAS SOPS 253718723 HAS SOUS 67004097 HAS SOUPS 67004097 WITH SCORE 6.7257815723E7
AT ITER 5800 NEW BEST:: SOT 331897408 SOS 253726830 HAS SOPS 253726830 HAS SOUS 67002824 HAS SOUPS 67002824 WITH SCORE 6.725655083E7
AT ITER 5801 NEW BEST:: SOT 331920435 SOS 253749857 HAS SOPS 253749857 HAS SOUS 66999589 HAS SOUPS 66999589 WITH SCORE 6.7253338857E7
AT ITER 5802 NEW BEST:: SOT 331936462 SOS 253765884 HAS SOPS 253765884 HAS SOUS 66997612 HAS SOUPS 66997612 WITH SCORE 6.7251377884E7
AT ITER 5803 NEW BEST:: SOT 331948693 SOS 253778115 HAS SOPS 253778115 HAS SOUS 66993643 HAS SOUPS 66993643 WITH SCORE 6.7247421115E7
AT ITER 5833 NEW BEST:: SOT 331970535 SOS 253799957 HAS SOPS 253799957 HAS SOUS 66989733 HAS SOUPS 66989733 WITH SCORE 6.7243532957E7
AT ITER 5840 NEW BEST:: SOT 331992721 SOS 253822143 HAS SOPS 253822143 HAS SOUS 66989613 HAS SOUPS 66989613 WITH SCORE 6.7243435143E7
AT ITER 5842 NEW BEST:: SOT 331997203 SOS 253826625 HAS SOPS 253826625 HAS SOUS 66986133 HAS SOUPS 66986133 WITH SCORE 6.7239959625E7
AT ITER 5848 NEW BEST:: SOT 332007188 SOS 253836610 HAS SOPS 253836610 HAS SOUS 66982888 HAS SOUPS 66982888 WITH SCORE 6.723672461E7
AT ITER 5866 NEW BEST:: SOT 332030768 SOS 253860190 HAS SOPS 253860190 HAS SOUS 66979768 HAS SOUPS 66979768 WITH SCORE 6.723362819E7
AT ITER 5872 NEW BEST:: SOT 332033364 SOS 253862786 HAS SOPS 253862786 HAS SOUS 66979066 HAS SOUPS 66979066 WITH SCORE 6.7232928786E7
AT ITER 5886 NEW BEST:: SOT 332055571 SOS 253884993 HAS SOPS 253884993 HAS SOUS 66977415 HAS SOUPS 66977415 WITH SCORE 6.7231299993E7
AT ITER 5890 NEW BEST:: SOT 332061666 SOS 253891088 HAS SOPS 253891088 HAS SOUS 66973604 HAS SOUPS 66973604 WITH SCORE 6.7227495088E7
AT ITER 5918 NEW BEST:: SOT 332078205 SOS 253907627 HAS SOPS 253907627 HAS SOUS 66969661 HAS SOUPS 66969661 WITH SCORE 6.7223568627E7
AT ITER 5919 NEW BEST:: SOT 332096776 SOS 253926198 HAS SOPS 253926198 HAS SOUS 66967392 HAS SOUPS 66967392 WITH SCORE 6.7221318198E7
AT ITER 5925 NEW BEST:: SOT 332116405 SOS 253945827 HAS SOPS 253945827 HAS SOUS 66964205 HAS SOUPS 66964205 WITH SCORE 6.7218150827E7
AT ITER 5927 NEW BEST:: SOT 332126658 SOS 253956080 HAS SOPS 253956080 HAS SOUS 66964136 HAS SOUPS 66964136 WITH SCORE 6.721809208E7
AT ITER 5962 NEW BEST:: SOT 332126270 SOS 253955692 HAS SOPS 253955692 HAS SOUS 66964136 HAS SOUPS 66964136 WITH SCORE 6.7218091692E7
AT ITER 5964 NEW BEST:: SOT 332142905 SOS 253972327 HAS SOPS 253972327 HAS SOUS 66963667 HAS SOUPS 66963667 WITH SCORE 6.7217639327E7
AT ITER 5971 NEW BEST:: SOT 332166081 SOS 253995503 HAS SOPS 253995503 HAS SOUS 66963215 HAS SOUPS 66963215 WITH SCORE 6.7217210503E7
AT ITER 5976 NEW BEST:: SOT 332169003 SOS 253998425 HAS SOPS 253998425 HAS SOUS 66961511 HAS SOUPS 66961511 WITH SCORE 6.7215509425E7
AT ITER 5986 NEW BEST:: SOT 332172240 SOS 254001662 HAS SOPS 254001662 HAS SOUS 66960370 HAS SOUPS 66960370 WITH SCORE 6.7214371662E7
AT ITER 5993 NEW BEST:: SOT 332184285 SOS 254013707 HAS SOPS 254013707 HAS SOUS 66956929 HAS SOUPS 66956929 WITH SCORE 6.7210942707E7
AT ITER 5999 NEW BEST:: SOT 332186339 SOS 254015761 HAS SOPS 254015761 HAS SOUS 66956011 HAS SOUPS 66956011 WITH SCORE 6.7210026761E7
AT ITER 6010 NEW BEST:: SOT 332212193 SOS 254041615 HAS SOPS 254041615 HAS SOUS 66953947 HAS SOUPS 66953947 WITH SCORE 6.7207988615E7
AT ITER 6015 NEW BEST:: SOT 332220715 SOS 254050137 HAS SOPS 254050137 HAS SOUS 66951461 HAS SOUPS 66951461 WITH SCORE 6.7205511137E7
AT ITER 6049 NEW BEST:: SOT 332225490 SOS 254054912 HAS SOPS 254054912 HAS SOUS 66951384 HAS SOUPS 66951384 WITH SCORE 6.7205438912E7
AT ITER 6054 NEW BEST:: SOT 332250057 SOS 254079479 HAS SOPS 254079479 HAS SOUS 66949949 HAS SOUPS 66949949 WITH SCORE 6.7204028479E7
AT ITER 6063 NEW BEST:: SOT 332256729 SOS 254086151 HAS SOPS 254086151 HAS SOUS 66949237 HAS SOUPS 66949237 WITH SCORE 6.7203323151E7
AT ITER 6070 NEW BEST:: SOT 332280156 SOS 254109578 HAS SOPS 254109578 HAS SOUS 66947608 HAS SOUPS 66947608 WITH SCORE 6.7201717578E7
AT ITER 6073 NEW BEST:: SOT 332296790 SOS 254126212 HAS SOPS 254126212 HAS SOUS 66944982 HAS SOUPS 66944982 WITH SCORE 6.7199108212E7
AT ITER 6078 NEW BEST:: SOT 332309084 SOS 254138506 HAS SOPS 254138506 HAS SOUS 66944038 HAS SOUPS 66944038 WITH SCORE 6.7198176506E7
AT ITER 6084 NEW BEST:: SOT 332318278 SOS 254147700 HAS SOPS 254147700 HAS SOUS 66941530 HAS SOUPS 66941530 WITH SCORE 6.71956777E7
AT ITER 6086 NEW BEST:: SOT 332341089 SOS 254170511 HAS SOPS 254170511 HAS SOUS 66938025 HAS SOUPS 66938025 WITH SCORE 6.7192195511E7
AT ITER 6096 NEW BEST:: SOT 332358012 SOS 254187434 HAS SOPS 254187434 HAS SOUS 66935182 HAS SOUPS 66935182 WITH SCORE 6.7189369434E7
AT ITER 6104 NEW BEST:: SOT 332362769 SOS 254192191 HAS SOPS 254192191 HAS SOUS 66931895 HAS SOUPS 66931895 WITH SCORE 6.7186087191E7
AT ITER 6129 NEW BEST:: SOT 332362171 SOS 254191593 HAS SOPS 254191593 HAS SOUS 66931895 HAS SOUPS 66931895 WITH SCORE 6.7186086593E7
AT ITER 6138 NEW BEST:: SOT 332381775 SOS 254211197 HAS SOPS 254211197 HAS SOUS 66931365 HAS SOUPS 66931365 WITH SCORE 6.7185576197E7
AT ITER 6155 NEW BEST:: SOT 332396191 SOS 254225613 HAS SOPS 254225613 HAS SOUS 66928717 HAS SOUPS 66928717 WITH SCORE 6.7182942613E7
AT ITER 6162 NEW BEST:: SOT 332409303 SOS 254238725 HAS SOPS 254238725 HAS SOUS 66926671 HAS SOUPS 66926671 WITH SCORE 6.7180909725E7
AT ITER 6167 NEW BEST:: SOT 332434475 SOS 254263897 HAS SOPS 254263897 HAS SOUS 66923201 HAS SOUPS 66923201 WITH SCORE 6.7177464897E7
AT ITER 6169 NEW BEST:: SOT 332458415 SOS 254287837 HAS SOPS 254287837 HAS SOUS 66922313 HAS SOUPS 66922313 WITH SCORE 6.7176600837E7
AT ITER 6180 NEW BEST:: SOT 332445831 SOS 254275253 HAS SOPS 254275253 HAS SOUS 66922313 HAS SOUPS 66922313 WITH SCORE 6.7176588253E7
AT ITER 6183 NEW BEST:: SOT 332457764 SOS 254287186 HAS SOPS 254287186 HAS SOUS 66921232 HAS SOUPS 66921232 WITH SCORE 6.7175519186E7
AT ITER 6200 NEW BEST:: SOT 332475267 SOS 254304689 HAS SOPS 254304689 HAS SOUS 66918289 HAS SOUPS 66918289 WITH SCORE 6.7172593689E7
AT ITER 6203 NEW BEST:: SOT 332488861 SOS 254318283 HAS SOPS 254318283 HAS SOUS 66916845 HAS SOUPS 66916845 WITH SCORE 6.7171163283E7
AT ITER 6211 NEW BEST:: SOT 332486065 SOS 254315487 HAS SOPS 254315487 HAS SOUS 66916845 HAS SOUPS 66916845 WITH SCORE 6.7171160487E7
AT ITER 6220 NEW BEST:: SOT 332502266 SOS 254331688 HAS SOPS 254331688 HAS SOUS 66916030 HAS SOUPS 66916030 WITH SCORE 6.7170361688E7
AT ITER 6237 NEW BEST:: SOT 332514435 SOS 254343857 HAS SOPS 254343857 HAS SOUS 66915287 HAS SOUPS 66915287 WITH SCORE 6.7169630857E7
AT ITER 6242 NEW BEST:: SOT 332524648 SOS 254354070 HAS SOPS 254354070 HAS SOUS 66914630 HAS SOUPS 66914630 WITH SCORE 6.716898407E7
AT ITER 6255 NEW BEST:: SOT 332528833 SOS 254358255 HAS SOPS 254358255 HAS SOUS 66913885 HAS SOUPS 66913885 WITH SCORE 6.7168243255E7
AT ITER 6256 NEW BEST:: SOT 332547508 SOS 254376930 HAS SOPS 254376930 HAS SOUS 66913538 HAS SOUPS 66913538 WITH SCORE 6.716791493E7
AT ITER 6266 NEW BEST:: SOT 332566132 SOS 254395554 HAS SOPS 254395554 HAS SOUS 66909620 HAS SOUPS 66909620 WITH SCORE 6.7164015554E7
AT ITER 6287 NEW BEST:: SOT 332584701 SOS 254414123 HAS SOPS 254414123 HAS SOUS 66909039 HAS SOUPS 66909039 WITH SCORE 6.7163453123E7
AT ITER 6291 NEW BEST:: SOT 332587915 SOS 254417337 HAS SOPS 254417337 HAS SOUS 66908411 HAS SOUPS 66908411 WITH SCORE 6.7162828337E7
AT ITER 6303 NEW BEST:: SOT 332590831 SOS 254420253 HAS SOPS 254420253 HAS SOUS 66905929 HAS SOUPS 66905929 WITH SCORE 6.7160349253E7
AT ITER 6309 NEW BEST:: SOT 332601027 SOS 254430449 HAS SOPS 254430449 HAS SOUS 66904605 HAS SOUPS 66904605 WITH SCORE 6.7159035449E7
AT ITER 6319 NEW BEST:: SOT 332616800 SOS 254446222 HAS SOPS 254446222 HAS SOUS 66901020 HAS SOUPS 66901020 WITH SCORE 6.7155466222E7
AT ITER 6339 NEW BEST:: SOT 332638163 SOS 254467585 HAS SOPS 254467585 HAS SOUS 66899007 HAS SOUPS 66899007 WITH SCORE 6.7153474585E7
AT ITER 6351 NEW BEST:: SOT 332661968 SOS 254491390 HAS SOPS 254491390 HAS SOUS 66898846 HAS SOUPS 66898846 WITH SCORE 6.715333739E7
AT ITER 6359 NEW BEST:: SOT 332670988 SOS 254500410 HAS SOPS 254500410 HAS SOUS 66897684 HAS SOUPS 66897684 WITH SCORE 6.715218441E7
AT ITER 6360 NEW BEST:: SOT 332693296 SOS 254522718 HAS SOPS 254522718 HAS SOUS 66895214 HAS SOUPS 66895214 WITH SCORE 6.7149736718E7
AT ITER 6366 NEW BEST:: SOT 332696627 SOS 254526049 HAS SOPS 254526049 HAS SOUS 66893705 HAS SOUPS 66893705 WITH SCORE 6.7148231049E7
AT ITER 6374 NEW BEST:: SOT 332704509 SOS 254533931 HAS SOPS 254533931 HAS SOUS 66893265 HAS SOUPS 66893265 WITH SCORE 6.7147798931E7
AT ITER 6386 NEW BEST:: SOT 332723748 SOS 254553170 HAS SOPS 254553170 HAS SOUS 66889810 HAS SOUPS 66889810 WITH SCORE 6.714436317E7
AT ITER 6389 NEW BEST:: SOT 332749042 SOS 254578464 HAS SOPS 254578464 HAS SOUS 66888260 HAS SOUPS 66888260 WITH SCORE 6.7142838464E7
AT ITER 6397 NEW BEST:: SOT 332756038 SOS 254585460 HAS SOPS 254585460 HAS SOUS 66886708 HAS SOUPS 66886708 WITH SCORE 6.714129346E7
AT ITER 6400 NEW BEST:: SOT 332761216 SOS 254590638 HAS SOPS 254590638 HAS SOUS 66885896 HAS SOUPS 66885896 WITH SCORE 6.7140486638E7
AT ITER 6404 NEW BEST:: SOT 332772030 SOS 254601452 HAS SOPS 254601452 HAS SOUS 66883336 HAS SOUPS 66883336 WITH SCORE 6.7137937452E7
AT ITER 6408 NEW BEST:: SOT 332778784 SOS 254608206 HAS SOPS 254608206 HAS SOUS 66881104 HAS SOUPS 66881104 WITH SCORE 6.7135712206E7
AT ITER 6422 NEW BEST:: SOT 332782968 SOS 254612390 HAS SOPS 254612390 HAS SOUS 66878490 HAS SOUPS 66878490 WITH SCORE 6.713310239E7
AT ITER 6423 NEW BEST:: SOT 332776734 SOS 254606156 HAS SOPS 254606156 HAS SOUS 66878490 HAS SOUPS 66878490 WITH SCORE 6.7133096156E7
AT ITER 6432 NEW BEST:: SOT 332797703 SOS 254627125 HAS SOPS 254627125 HAS SOUS 66877051 HAS SOUPS 66877051 WITH SCORE 6.7131678125E7
AT ITER 6441 NEW BEST:: SOT 332801154 SOS 254630576 HAS SOPS 254630576 HAS SOUS 66873936 HAS SOUPS 66873936 WITH SCORE 6.7128566576E7
AT ITER 6446 NEW BEST:: SOT 332808144 SOS 254637566 HAS SOPS 254637566 HAS SOUS 66872886 HAS SOUPS 66872886 WITH SCORE 6.7127523566E7
AT ITER 6449 NEW BEST:: SOT 332817928 SOS 254647350 HAS SOPS 254647350 HAS SOUS 66871418 HAS SOUPS 66871418 WITH SCORE 6.712606535E7
AT ITER 6455 NEW BEST:: SOT 332826221 SOS 254655643 HAS SOPS 254655643 HAS SOUS 66871113 HAS SOUPS 66871113 WITH SCORE 6.7125768643E7
AT ITER 6486 NEW BEST:: SOT 332839939 SOS 254669361 HAS SOPS 254669361 HAS SOUS 66870017 HAS SOUPS 66870017 WITH SCORE 6.7124686361E7
AT ITER 6492 NEW BEST:: SOT 332859910 SOS 254689332 HAS SOPS 254689332 HAS SOUS 66869676 HAS SOUPS 66869676 WITH SCORE 6.7124365332E7
AT ITER 6496 NEW BEST:: SOT 332866150 SOS 254695572 HAS SOPS 254695572 HAS SOUS 66866212 HAS SOUPS 66866212 WITH SCORE 6.7120907572E7
AT ITER 6497 NEW BEST:: SOT 332872448 SOS 254701870 HAS SOPS 254701870 HAS SOUS 66862452 HAS SOUPS 66862452 WITH SCORE 6.711715387E7
AT ITER 6507 NEW BEST:: SOT 332889986 SOS 254719408 HAS SOPS 254719408 HAS SOUS 66859656 HAS SOUPS 66859656 WITH SCORE 6.7114375408E7
AT ITER 6518 NEW BEST:: SOT 332903825 SOS 254733247 HAS SOPS 254733247 HAS SOUS 66857179 HAS SOUPS 66857179 WITH SCORE 6.7111912247E7
AT ITER 6519 NEW BEST:: SOT 332923367 SOS 254752789 HAS SOPS 254752789 HAS SOUS 66854195 HAS SOUPS 66854195 WITH SCORE 6.7108947789E7
AT ITER 6523 NEW BEST:: SOT 332921447 SOS 254750869 HAS SOPS 254750869 HAS SOUS 66854195 HAS SOUPS 66854195 WITH SCORE 6.7108945869E7
AT ITER 6528 NEW BEST:: SOT 332909583 SOS 254739005 HAS SOPS 254739005 HAS SOUS 66854195 HAS SOUPS 66854195 WITH SCORE 6.7108934005E7
AT ITER 6539 NEW BEST:: SOT 332901573 SOS 254730995 HAS SOPS 254730995 HAS SOUS 66854195 HAS SOUPS 66854195 WITH SCORE 6.7108925995E7
AT ITER 6541 NEW BEST:: SOT 332911473 SOS 254740895 HAS SOPS 254740895 HAS SOUS 66852555 HAS SOUPS 66852555 WITH SCORE 6.7107295895E7
AT ITER 6548 NEW BEST:: SOT 332926007 SOS 254755429 HAS SOPS 254755429 HAS SOUS 66849083 HAS SOUPS 66849083 WITH SCORE 6.7103838429E7
AT ITER 6565 NEW BEST:: SOT 332949677 SOS 254779099 HAS SOPS 254779099 HAS SOUS 66846753 HAS SOUPS 66846753 WITH SCORE 6.7101532099E7
AT ITER 6575 NEW BEST:: SOT 332965596 SOS 254795018 HAS SOPS 254795018 HAS SOUS 66844090 HAS SOUPS 66844090 WITH SCORE 6.7098885018E7
AT ITER 6577 NEW BEST:: SOT 332973242 SOS 254802664 HAS SOPS 254802664 HAS SOUS 66842588 HAS SOUPS 66842588 WITH SCORE 6.7097390664E7
AT ITER 6578 NEW BEST:: SOT 332975268 SOS 254804690 HAS SOPS 254804690 HAS SOUS 66840562 HAS SOUPS 66840562 WITH SCORE 6.709536669E7
AT ITER 6587 NEW BEST:: SOT 332977947 SOS 254807369 HAS SOPS 254807369 HAS SOUS 66839645 HAS SOUPS 66839645 WITH SCORE 6.7094452369E7
AT ITER 6588 NEW BEST:: SOT 332998853 SOS 254828275 HAS SOPS 254828275 HAS SOUS 66836201 HAS SOUPS 66836201 WITH SCORE 6.7091029275E7
AT ITER 6599 NEW BEST:: SOT 333015136 SOS 254844558 HAS SOPS 254844558 HAS SOUS 66833054 HAS SOUPS 66833054 WITH SCORE 6.7087898558E7
AT ITER 6635 NEW BEST:: SOT 333023106 SOS 254852528 HAS SOPS 254852528 HAS SOUS 66831724 HAS SOUPS 66831724 WITH SCORE 6.7086576528E7
AT ITER 6641 NEW BEST:: SOT 333025014 SOS 254854436 HAS SOPS 254854436 HAS SOUS 66829876 HAS SOUPS 66829876 WITH SCORE 6.7084730436E7
AT ITER 6645 NEW BEST:: SOT 333038511 SOS 254867933 HAS SOPS 254867933 HAS SOUS 66827671 HAS SOUPS 66827671 WITH SCORE 6.7082538933E7
AT ITER 6647 NEW BEST:: SOT 333062892 SOS 254892314 HAS SOPS 254892314 HAS SOUS 66827072 HAS SOUPS 66827072 WITH SCORE 6.7081964314E7
AT ITER 6653 NEW BEST:: SOT 333060120 SOS 254889542 HAS SOPS 254889542 HAS SOUS 66827072 HAS SOUPS 66827072 WITH SCORE 6.7081961542E7
AT ITER 6655 NEW BEST:: SOT 333065030 SOS 254894452 HAS SOPS 254894452 HAS SOUS 66824746 HAS SOUPS 66824746 WITH SCORE 6.7079640452E7
AT ITER 6677 NEW BEST:: SOT 333076854 SOS 254906276 HAS SOPS 254906276 HAS SOUS 66821230 HAS SOUPS 66821230 WITH SCORE 6.7076136276E7
AT ITER 6678 NEW BEST:: SOT 333083547 SOS 254912969 HAS SOPS 254912969 HAS SOUS 66818789 HAS SOUPS 66818789 WITH SCORE 6.7073701969E7
AT ITER 6681 NEW BEST:: SOT 333096349 SOS 254925771 HAS SOPS 254925771 HAS SOUS 66818085 HAS SOUPS 66818085 WITH SCORE 6.7073010771E7
AT ITER 6691 NEW BEST:: SOT 333085955 SOS 254915377 HAS SOPS 254915377 HAS SOUS 66818085 HAS SOUPS 66818085 WITH SCORE 6.7073000377E7
AT ITER 6696 NEW BEST:: SOT 333098388 SOS 254927810 HAS SOPS 254927810 HAS SOUS 66817946 HAS SOUPS 66817946 WITH SCORE 6.707287381E7
AT ITER 6703 NEW BEST:: SOT 333110149 SOS 254939571 HAS SOPS 254939571 HAS SOUS 66816743 HAS SOUPS 66816743 WITH SCORE 6.7071682571E7
AT ITER 6707 NEW BEST:: SOT 333117467 SOS 254946889 HAS SOPS 254946889 HAS SOUS 66816135 HAS SOUPS 66816135 WITH SCORE 6.7071081889E7
AT ITER 6711 NEW BEST:: SOT 333135457 SOS 254964879 HAS SOPS 254964879 HAS SOUS 66815305 HAS SOUPS 66815305 WITH SCORE 6.7070269879E7
AT ITER 6752 NEW BEST:: SOT 333144397 SOS 254973819 HAS SOPS 254973819 HAS SOUS 66815171 HAS SOUPS 66815171 WITH SCORE 6.7070144819E7
AT ITER 6766 NEW BEST:: SOT 333161258 SOS 254990680 HAS SOPS 254990680 HAS SOUS 66812144 HAS SOUPS 66812144 WITH SCORE 6.706713468E7
AT ITER 6771 NEW BEST:: SOT 333174819 SOS 255004241 HAS SOPS 255004241 HAS SOUS 66809073 HAS SOUPS 66809073 WITH SCORE 6.7064077241E7
AT ITER 6775 NEW BEST:: SOT 333189489 SOS 255018911 HAS SOPS 255018911 HAS SOUS 66806161 HAS SOUPS 66806161 WITH SCORE 6.7061179911E7
AT ITER 6799 NEW BEST:: SOT 333188195 SOS 255017617 HAS SOPS 255017617 HAS SOUS 66806161 HAS SOUPS 66806161 WITH SCORE 6.7061178617E7
AT ITER 6811 NEW BEST:: SOT 333210017 SOS 255039439 HAS SOPS 255039439 HAS SOUS 66805821 HAS SOUPS 66805821 WITH SCORE 6.7060860439E7
AT ITER 6813 NEW BEST:: SOT 333197777 SOS 255027199 HAS SOPS 255027199 HAS SOUS 66805821 HAS SOUPS 66805821 WITH SCORE 6.7060848199E7
AT ITER 6817 NEW BEST:: SOT 333209181 SOS 255038603 HAS SOPS 255038603 HAS SOUS 66804349 HAS SOUPS 66804349 WITH SCORE 6.7059387603E7
AT ITER 6825 NEW BEST:: SOT 333219093 SOS 255048515 HAS SOPS 255048515 HAS SOUS 66801799 HAS SOUPS 66801799 WITH SCORE 6.7056847515E7
AT ITER 6826 NEW BEST:: SOT 333225994 SOS 255055416 HAS SOPS 255055416 HAS SOUS 66800944 HAS SOUPS 66800944 WITH SCORE 6.7055999416E7
AT ITER 6832 NEW BEST:: SOT 333221518 SOS 255050940 HAS SOPS 255050940 HAS SOUS 66800944 HAS SOUPS 66800944 WITH SCORE 6.705599494E7
AT ITER 6840 NEW BEST:: SOT 333247305 SOS 255076727 HAS SOPS 255076727 HAS SOUS 66797977 HAS SOUPS 66797977 WITH SCORE 6.7053053727E7
AT ITER 6841 NEW BEST:: SOT 333262965 SOS 255092387 HAS SOPS 255092387 HAS SOUS 66797623 HAS SOUPS 66797623 WITH SCORE 6.7052715387E7
AT ITER 6842 NEW BEST:: SOT 333279068 SOS 255108490 HAS SOPS 255108490 HAS SOUS 66795842 HAS SOUPS 66795842 WITH SCORE 6.705095049E7
AT ITER 6858 NEW BEST:: SOT 333257066 SOS 255086488 HAS SOPS 255086488 HAS SOUS 66795842 HAS SOUPS 66795842 WITH SCORE 6.7050928488E7
AT ITER 6872 NEW BEST:: SOT 333270267 SOS 255099689 HAS SOPS 255099689 HAS SOUS 66792537 HAS SOUPS 66792537 WITH SCORE 6.7047636689E7
AT ITER 6884 NEW BEST:: SOT 333288576 SOS 255117998 HAS SOPS 255117998 HAS SOUS 66790620 HAS SOUPS 66790620 WITH SCORE 6.7045737998E7
AT ITER 6888 NEW BEST:: SOT 333289355 SOS 255118777 HAS SOPS 255118777 HAS SOUS 66790427 HAS SOUPS 66790427 WITH SCORE 6.7045545777E7
AT ITER 6892 NEW BEST:: SOT 333310456 SOS 255139878 HAS SOPS 255139878 HAS SOUS 66787450 HAS SOUPS 66787450 WITH SCORE 6.7042589878E7
AT ITER 6901 NEW BEST:: SOT 333315162 SOS 255144584 HAS SOPS 255144584 HAS SOUS 66785994 HAS SOUPS 66785994 WITH SCORE 6.7041138584E7
AT ITER 6907 NEW BEST:: SOT 333341995 SOS 255171417 HAS SOPS 255171417 HAS SOUS 66782639 HAS SOUPS 66782639 WITH SCORE 6.7037810417E7
AT ITER 6910 NEW BEST:: SOT 333356046 SOS 255185468 HAS SOPS 255185468 HAS SOUS 66782594 HAS SOUPS 66782594 WITH SCORE 6.7037779468E7
AT ITER 6918 NEW BEST:: SOT 333366446 SOS 255195868 HAS SOPS 255195868 HAS SOUS 66781286 HAS SOUPS 66781286 WITH SCORE 6.7036481868E7
AT ITER 6933 NEW BEST:: SOT 333376546 SOS 255205968 HAS SOPS 255205968 HAS SOUS 66778338 HAS SOUPS 66778338 WITH SCORE 6.7033543968E7
AT ITER 6969 NEW BEST:: SOT 333400363 SOS 255229785 HAS SOPS 255229785 HAS SOUS 66776021 HAS SOUPS 66776021 WITH SCORE 6.7031250785E7
AT ITER 6988 NEW BEST:: SOT 333407671 SOS 255237093 HAS SOPS 255237093 HAS SOUS 66774781 HAS SOUPS 66774781 WITH SCORE 6.7030018093E7
AT ITER 7012 NEW BEST:: SOT 333430163 SOS 255259585 HAS SOPS 255259585 HAS SOUS 66772983 HAS SOUPS 66772983 WITH SCORE 6.7028242585E7
AT ITER 7027 NEW BEST:: SOT 333437165 SOS 255266587 HAS SOPS 255266587 HAS SOUS 66769765 HAS SOUPS 66769765 WITH SCORE 6.7025031587E7
AT ITER 7029 NEW BEST:: SOT 333452425 SOS 255281847 HAS SOPS 255281847 HAS SOUS 66767193 HAS SOUPS 66767193 WITH SCORE 6.7022474847E7
AT ITER 7035 NEW BEST:: SOT 333466367 SOS 255295789 HAS SOPS 255295789 HAS SOUS 66764413 HAS SOUPS 66764413 WITH SCORE 6.7019708789E7
AT ITER 7046 NEW BEST:: SOT 333466407 SOS 255295829 HAS SOPS 255295829 HAS SOUS 66764373 HAS SOUPS 66764373 WITH SCORE 6.7019668829E7
AT ITER 7047 NEW BEST:: SOT 333484477 SOS 255313899 HAS SOPS 255313899 HAS SOUS 66764095 HAS SOUPS 66764095 WITH SCORE 6.7019408899E7
AT ITER 7090 NEW BEST:: SOT 333498460 SOS 255327882 HAS SOPS 255327882 HAS SOUS 66762844 HAS SOUPS 66762844 WITH SCORE 6.7018171882E7
AT ITER 7094 NEW BEST:: SOT 333515647 SOS 255345069 HAS SOPS 255345069 HAS SOUS 66759441 HAS SOUPS 66759441 WITH SCORE 6.7014786069E7
AT ITER 7123 NEW BEST:: SOT 333503261 SOS 255332683 HAS SOPS 255332683 HAS SOUS 66759441 HAS SOUPS 66759441 WITH SCORE 6.7014773683E7
AT ITER 7125 NEW BEST:: SOT 333504077 SOS 255333499 HAS SOPS 255333499 HAS SOUS 66758625 HAS SOUPS 66758625 WITH SCORE 6.7013958499E7
AT ITER 7129 NEW BEST:: SOT 333518304 SOS 255347726 HAS SOPS 255347726 HAS SOUS 66757272 HAS SOUPS 66757272 WITH SCORE 6.7012619726E7
AT ITER 7131 NEW BEST:: SOT 333543181 SOS 255372603 HAS SOPS 255372603 HAS SOUS 66755013 HAS SOUPS 66755013 WITH SCORE 6.7010385603E7
AT ITER 7135 NEW BEST:: SOT 333562574 SOS 255391996 HAS SOPS 255391996 HAS SOUS 66752484 HAS SOUPS 66752484 WITH SCORE 6.7007875996E7
AT ITER 7139 NEW BEST:: SOT 333569154 SOS 255398576 HAS SOPS 255398576 HAS SOUS 66751508 HAS SOUPS 66751508 WITH SCORE 6.7006906576E7
AT ITER 7144 NEW BEST:: SOT 333568676 SOS 255398098 HAS SOPS 255398098 HAS SOUS 66751508 HAS SOUPS 66751508 WITH SCORE 6.7006906098E7
AT ITER 7151 NEW BEST:: SOT 333574006 SOS 255403428 HAS SOPS 255403428 HAS SOUS 66749186 HAS SOUPS 66749186 WITH SCORE 6.7004589428E7
AT ITER 7160 NEW BEST:: SOT 333553706 SOS 255383128 HAS SOPS 255383128 HAS SOUS 66749186 HAS SOUPS 66749186 WITH SCORE 6.7004569128E7
AT ITER 7163 NEW BEST:: SOT 333573840 SOS 255403262 HAS SOPS 255403262 HAS SOUS 66747178 HAS SOUPS 66747178 WITH SCORE 6.7002581262E7
AT ITER 7174 NEW BEST:: SOT 333597395 SOS 255426817 HAS SOPS 255426817 HAS SOUS 66744549 HAS SOUPS 66744549 WITH SCORE 6.6999975817E7
AT ITER 7179 NEW BEST:: SOT 333609273 SOS 255438695 HAS SOPS 255438695 HAS SOUS 66741137 HAS SOUPS 66741137 WITH SCORE 6.6996575695E7
AT ITER 7197 NEW BEST:: SOT 333624051 SOS 255453473 HAS SOPS 255453473 HAS SOUS 66740991 HAS SOUPS 66740991 WITH SCORE 6.6996444473E7
AT ITER 7199 NEW BEST:: SOT 333628928 SOS 255458350 HAS SOPS 255458350 HAS SOUS 66737442 HAS SOUPS 66737442 WITH SCORE 6.699290035E7
AT ITER 7214 NEW BEST:: SOT 333652623 SOS 255482045 HAS SOPS 255482045 HAS SOUS 66733635 HAS SOUPS 66733635 WITH SCORE 6.6989117045E7
AT ITER 7221 NEW BEST:: SOT 333658581 SOS 255488003 HAS SOPS 255488003 HAS SOUS 66732683 HAS SOUPS 66732683 WITH SCORE 6.6988171003E7
AT ITER 7224 NEW BEST:: SOT 333664844 SOS 255494266 HAS SOPS 255494266 HAS SOUS 66729024 HAS SOUPS 66729024 WITH SCORE 6.6984518266E7
AT ITER 7228 NEW BEST:: SOT 333685429 SOS 255514851 HAS SOPS 255514851 HAS SOUS 66727703 HAS SOUPS 66727703 WITH SCORE 6.6983217851E7
AT ITER 7233 NEW BEST:: SOT 333709580 SOS 255539002 HAS SOPS 255539002 HAS SOUS 66727526 HAS SOUPS 66727526 WITH SCORE 6.6983065002E7
AT ITER 7237 NEW BEST:: SOT 333729636 SOS 255559058 HAS SOPS 255559058 HAS SOUS 66726934 HAS SOUPS 66726934 WITH SCORE 6.6982493058E7
AT ITER 7240 NEW BEST:: SOT 333741971 SOS 255571393 HAS SOPS 255571393 HAS SOUS 66723293 HAS SOUPS 66723293 WITH SCORE 6.6978864393E7
AT ITER 7272 NEW BEST:: SOT 333751598 SOS 255581020 HAS SOPS 255581020 HAS SOUS 66721226 HAS SOUPS 66721226 WITH SCORE 6.697680702E7
AT ITER 7279 NEW BEST:: SOT 333758131 SOS 255587553 HAS SOPS 255587553 HAS SOUS 66718575 HAS SOUPS 66718575 WITH SCORE 6.6974162553E7
AT ITER 7293 NEW BEST:: SOT 333779342 SOS 255608764 HAS SOPS 255608764 HAS SOUS 66718442 HAS SOUPS 66718442 WITH SCORE 6.6974050764E7
AT ITER 7303 NEW BEST:: SOT 333798124 SOS 255627546 HAS SOPS 255627546 HAS SOUS 66716316 HAS SOUPS 66716316 WITH SCORE 6.6971943546E7
AT ITER 7322 NEW BEST:: SOT 333786650 SOS 255616072 HAS SOPS 255616072 HAS SOUS 66716316 HAS SOUPS 66716316 WITH SCORE 6.6971932072E7
AT ITER 7325 NEW BEST:: SOT 333793801 SOS 255623223 HAS SOPS 255623223 HAS SOUS 66716265 HAS SOUPS 66716265 WITH SCORE 6.6971888223E7
AT ITER 7326 NEW BEST:: SOT 333809829 SOS 255639251 HAS SOPS 255639251 HAS SOUS 66715285 HAS SOUPS 66715285 WITH SCORE 6.6970924251E7
AT ITER 7330 NEW BEST:: SOT 333815181 SOS 255644603 HAS SOPS 255644603 HAS SOUS 66711325 HAS SOUPS 66711325 WITH SCORE 6.6966969603E7
AT ITER 7342 NEW BEST:: SOT 333822724 SOS 255652146 HAS SOPS 255652146 HAS SOUS 66709430 HAS SOUPS 66709430 WITH SCORE 6.6965082146E7
AT ITER 7345 NEW BEST:: SOT 333835566 SOS 255664988 HAS SOPS 255664988 HAS SOUS 66709344 HAS SOUPS 66709344 WITH SCORE 6.6965008988E7
AT ITER 7370 NEW BEST:: SOT 333858955 SOS 255688377 HAS SOPS 255688377 HAS SOUS 66705617 HAS SOUPS 66705617 WITH SCORE 6.6961305377E7
AT ITER 7375 NEW BEST:: SOT 333881728 SOS 255711150 HAS SOPS 255711150 HAS SOUS 66702156 HAS SOUPS 66702156 WITH SCORE 6.695786715E7
AT ITER 7400 NEW BEST:: SOT 333888663 SOS 255718085 HAS SOPS 255718085 HAS SOUS 66700409 HAS SOUPS 66700409 WITH SCORE 6.6956127085E7
AT ITER 7403 NEW BEST:: SOT 333895917 SOS 255725339 HAS SOPS 255725339 HAS SOUS 66699363 HAS SOUPS 66699363 WITH SCORE 6.6955088339E7
AT ITER 7404 NEW BEST:: SOT 333921703 SOS 255751125 HAS SOPS 255751125 HAS SOUS 66697565 HAS SOUPS 66697565 WITH SCORE 6.6953316125E7
AT ITER 7406 NEW BEST:: SOT 333931000 SOS 255760422 HAS SOPS 255760422 HAS SOUS 66697040 HAS SOUPS 66697040 WITH SCORE 6.6952800422E7
AT ITER 7429 NEW BEST:: SOT 333944569 SOS 255773991 HAS SOPS 255773991 HAS SOUS 66693615 HAS SOUPS 66693615 WITH SCORE 6.6949388991E7
AT ITER 7432 NEW BEST:: SOT 333945648 SOS 255775070 HAS SOPS 255775070 HAS SOUS 66692972 HAS SOUPS 66692972 WITH SCORE 6.694874707E7
AT ITER 7437 NEW BEST:: SOT 333969023 SOS 255798445 HAS SOPS 255798445 HAS SOUS 66691035 HAS SOUPS 66691035 WITH SCORE 6.6946833445E7
AT ITER 7450 NEW BEST:: SOT 333988553 SOS 255817975 HAS SOPS 255817975 HAS SOUS 66688839 HAS SOUPS 66688839 WITH SCORE 6.6944656975E7
AT ITER 7458 NEW BEST:: SOT 334007379 SOS 255836801 HAS SOPS 255836801 HAS SOUS 66688787 HAS SOUPS 66688787 WITH SCORE 6.6944623801E7
AT ITER 7472 NEW BEST:: SOT 334016497 SOS 255845919 HAS SOPS 255845919 HAS SOUS 66685873 HAS SOUPS 66685873 WITH SCORE 6.6941718919E7
AT ITER 7474 NEW BEST:: SOT 334041508 SOS 255870930 HAS SOPS 255870930 HAS SOUS 66682320 HAS SOUPS 66682320 WITH SCORE 6.693819093E7
AT ITER 7478 NEW BEST:: SOT 334045485 SOS 255874907 HAS SOPS 255874907 HAS SOUS 66682139 HAS SOUPS 66682139 WITH SCORE 6.6938013907E7
AT ITER 7480 NEW BEST:: SOT 334054106 SOS 255883528 HAS SOPS 255883528 HAS SOUS 66680820 HAS SOUPS 66680820 WITH SCORE 6.6936703528E7
AT ITER 7481 NEW BEST:: SOT 334062222 SOS 255891644 HAS SOPS 255891644 HAS SOUS 66678968 HAS SOUPS 66678968 WITH SCORE 6.6934859644E7
AT ITER 7493 NEW BEST:: SOT 334080274 SOS 255909696 HAS SOPS 255909696 HAS SOUS 66675854 HAS SOUPS 66675854 WITH SCORE 6.6931763696E7
AT ITER 7499 NEW BEST:: SOT 334082444 SOS 255911866 HAS SOPS 255911866 HAS SOUS 66675828 HAS SOUPS 66675828 WITH SCORE 6.6931739866E7
AT ITER 7501 NEW BEST:: SOT 334084400 SOS 255913822 HAS SOPS 255913822 HAS SOUS 66673872 HAS SOUPS 66673872 WITH SCORE 6.6929785822E7
AT ITER 7510 NEW BEST:: SOT 334100604 SOS 255930026 HAS SOPS 255930026 HAS SOUS 66670462 HAS SOUPS 66670462 WITH SCORE 6.6926392026E7
AT ITER 7547 NEW BEST:: SOT 334125837 SOS 255955259 HAS SOPS 255955259 HAS SOUS 66667947 HAS SOUPS 66667947 WITH SCORE 6.6923902259E7
AT ITER 7554 NEW BEST:: SOT 334141705 SOS 255971127 HAS SOPS 255971127 HAS SOUS 66667579 HAS SOUPS 66667579 WITH SCORE 6.6923550127E7
AT ITER 7569 NEW BEST:: SOT 334151110 SOS 255980532 HAS SOPS 255980532 HAS SOUS 66663726 HAS SOUPS 66663726 WITH SCORE 6.6919706532E7
AT ITER 7582 NEW BEST:: SOT 334162850 SOS 255992272 HAS SOPS 255992272 HAS SOUS 66663078 HAS SOUPS 66663078 WITH SCORE 6.6919070272E7
AT ITER 7592 NEW BEST:: SOT 334181118 SOS 256010540 HAS SOPS 256010540 HAS SOUS 66659194 HAS SOUPS 66659194 WITH SCORE 6.691520454E7
AT ITER 7595 NEW BEST:: SOT 334204008 SOS 256033430 HAS SOPS 256033430 HAS SOUS 66656202 HAS SOUPS 66656202 WITH SCORE 6.691223543E7
AT ITER 7614 NEW BEST:: SOT 334211491 SOS 256040913 HAS SOPS 256040913 HAS SOUS 66654703 HAS SOUPS 66654703 WITH SCORE 6.6910743913E7
AT ITER 7617 NEW BEST:: SOT 334213969 SOS 256043391 HAS SOPS 256043391 HAS SOUS 66652225 HAS SOUPS 66652225 WITH SCORE 6.6908268391E7
AT ITER 7621 NEW BEST:: SOT 334226051 SOS 256055473 HAS SOPS 256055473 HAS SOUS 66649919 HAS SOUPS 66649919 WITH SCORE 6.6905974473E7
AT ITER 7631 NEW BEST:: SOT 334218133 SOS 256047555 HAS SOPS 256047555 HAS SOUS 66649919 HAS SOUPS 66649919 WITH SCORE 6.6905966555E7
AT ITER 7636 NEW BEST:: SOT 334220272 SOS 256049694 HAS SOPS 256049694 HAS SOUS 66648244 HAS SOUPS 66648244 WITH SCORE 6.6904293694E7
AT ITER 7641 NEW BEST:: SOT 334233617 SOS 256063039 HAS SOPS 256063039 HAS SOUS 66646785 HAS SOUPS 66646785 WITH SCORE 6.6902848039E7
AT ITER 7648 NEW BEST:: SOT 334260621 SOS 256090043 HAS SOPS 256090043 HAS SOUS 66643231 HAS SOUPS 66643231 WITH SCORE 6.6899321043E7
AT ITER 7652 NEW BEST:: SOT 334285248 SOS 256114670 HAS SOPS 256114670 HAS SOUS 66640718 HAS SOUPS 66640718 WITH SCORE 6.689683267E7
AT ITER 7666 NEW BEST:: SOT 334307563 SOS 256136985 HAS SOPS 256136985 HAS SOUS 66637945 HAS SOUPS 66637945 WITH SCORE 6.6894081985E7
AT ITER 7675 NEW BEST:: SOT 334330890 SOS 256160312 HAS SOPS 256160312 HAS SOUS 66637226 HAS SOUPS 66637226 WITH SCORE 6.6893386312E7
AT ITER 7698 NEW BEST:: SOT 334347346 SOS 256176768 HAS SOPS 256176768 HAS SOUS 66633992 HAS SOUPS 66633992 WITH SCORE 6.6890168768E7
AT ITER 7702 NEW BEST:: SOT 334357975 SOS 256187397 HAS SOPS 256187397 HAS SOUS 66630241 HAS SOUPS 66630241 WITH SCORE 6.6886428397E7
AT ITER 7712 NEW BEST:: SOT 334381333 SOS 256210755 HAS SOPS 256210755 HAS SOUS 66628129 HAS SOUPS 66628129 WITH SCORE 6.6884339755E7
AT ITER 7718 NEW BEST:: SOT 334383241 SOS 256212663 HAS SOPS 256212663 HAS SOUS 66626583 HAS SOUPS 66626583 WITH SCORE 6.6882795663E7
AT ITER 7720 NEW BEST:: SOT 334393924 SOS 256223346 HAS SOPS 256223346 HAS SOUS 66624350 HAS SOUPS 66624350 WITH SCORE 6.6880573346E7
AT ITER 7721 NEW BEST:: SOT 334398133 SOS 256227555 HAS SOPS 256227555 HAS SOUS 66621731 HAS SOUPS 66621731 WITH SCORE 6.6877958555E7
AT ITER 7727 NEW BEST:: SOT 334413780 SOS 256243202 HAS SOPS 256243202 HAS SOUS 66619588 HAS SOUPS 66619588 WITH SCORE 6.6875831202E7
AT ITER 7733 NEW BEST:: SOT 334432322 SOS 256261744 HAS SOPS 256261744 HAS SOUS 66618880 HAS SOUPS 66618880 WITH SCORE 6.6875141744E7
AT ITER 7735 NEW BEST:: SOT 334437734 SOS 256267156 HAS SOPS 256267156 HAS SOUS 66617288 HAS SOUPS 66617288 WITH SCORE 6.6873555156E7
AT ITER 7745 NEW BEST:: SOT 334435188 SOS 256264610 HAS SOPS 256264610 HAS SOUS 66617288 HAS SOUPS 66617288 WITH SCORE 6.687355261E7
AT ITER 7751 NEW BEST:: SOT 334450140 SOS 256279562 HAS SOPS 256279562 HAS SOUS 66616440 HAS SOUPS 66616440 WITH SCORE 6.6872719562E7
AT ITER 7754 NEW BEST:: SOT 334471112 SOS 256300534 HAS SOPS 256300534 HAS SOUS 66615866 HAS SOUPS 66615866 WITH SCORE 6.6872166534E7
AT ITER 7760 NEW BEST:: SOT 334482317 SOS 256311739 HAS SOPS 256311739 HAS SOUS 66614051 HAS SOUPS 66614051 WITH SCORE 6.6870362739E7
AT ITER 7799 NEW BEST:: SOT 334499563 SOS 256328985 HAS SOPS 256328985 HAS SOUS 66613043 HAS SOUPS 66613043 WITH SCORE 6.6869371985E7
AT ITER 7800 NEW BEST:: SOT 334482399 SOS 256311821 HAS SOPS 256311821 HAS SOUS 66613043 HAS SOUPS 66613043 WITH SCORE 6.6869354821E7
AT ITER 7804 NEW BEST:: SOT 334490642 SOS 256320064 HAS SOPS 256320064 HAS SOUS 66612160 HAS SOUPS 66612160 WITH SCORE 6.6868480064E7
AT ITER 7808 NEW BEST:: SOT 334497055 SOS 256326477 HAS SOPS 256326477 HAS SOUS 66611173 HAS SOUPS 66611173 WITH SCORE 6.6867499477E7
AT ITER 7821 NEW BEST:: SOT 334519984 SOS 256349406 HAS SOPS 256349406 HAS SOUS 66607742 HAS SOUPS 66607742 WITH SCORE 6.6864091406E7
AT ITER 7847 NEW BEST:: SOT 334542237 SOS 256371659 HAS SOPS 256371659 HAS SOUS 66606203 HAS SOUPS 66606203 WITH SCORE 6.6862574659E7
AT ITER 7848 NEW BEST:: SOT 334541217 SOS 256370639 HAS SOPS 256370639 HAS SOUS 66606203 HAS SOUPS 66606203 WITH SCORE 6.6862573639E7
AT ITER 7877 NEW BEST:: SOT 334564703 SOS 256394125 HAS SOPS 256394125 HAS SOUS 66605903 HAS SOUPS 66605903 WITH SCORE 6.6862297125E7
AT ITER 7888 NEW BEST:: SOT 334573123 SOS 256402545 HAS SOPS 256402545 HAS SOUS 66602359 HAS SOUPS 66602359 WITH SCORE 6.6858761545E7
AT ITER 7895 NEW BEST:: SOT 334597630 SOS 256427052 HAS SOPS 256427052 HAS SOUS 66598748 HAS SOUPS 66598748 WITH SCORE 6.6855175052E7
AT ITER 7902 NEW BEST:: SOT 334599849 SOS 256429271 HAS SOPS 256429271 HAS SOUS 66596529 HAS SOUPS 66596529 WITH SCORE 6.6852958271E7
AT ITER 7914 NEW BEST:: SOT 334612249 SOS 256441671 HAS SOPS 256441671 HAS SOUS 66595531 HAS SOUPS 66595531 WITH SCORE 6.6851972671E7
AT ITER 7919 NEW BEST:: SOT 334633105 SOS 256462527 HAS SOPS 256462527 HAS SOUS 66593957 HAS SOUPS 66593957 WITH SCORE 6.6850419527E7
AT ITER 7928 NEW BEST:: SOT 334653175 SOS 256482597 HAS SOPS 256482597 HAS SOUS 66590501 HAS SOUPS 66590501 WITH SCORE 6.6846983597E7
AT ITER 7937 NEW BEST:: SOT 334672169 SOS 256501591 HAS SOPS 256501591 HAS SOUS 66587173 HAS SOUPS 66587173 WITH SCORE 6.6843674591E7
AT ITER 7950 NEW BEST:: SOT 334680144 SOS 256509566 HAS SOPS 256509566 HAS SOUS 66586670 HAS SOUPS 66586670 WITH SCORE 6.6843179566E7
AT ITER 7951 NEW BEST:: SOT 334689892 SOS 256519314 HAS SOPS 256519314 HAS SOUS 66584726 HAS SOUPS 66584726 WITH SCORE 6.6841245314E7
AT ITER 7952 NEW BEST:: SOT 334695053 SOS 256524475 HAS SOPS 256524475 HAS SOUS 66583145 HAS SOUPS 66583145 WITH SCORE 6.6839669475E7
AT ITER 7965 NEW BEST:: SOT 334705197 SOS 256534619 HAS SOPS 256534619 HAS SOUS 66581901 HAS SOUPS 66581901 WITH SCORE 6.6838435619E7
AT ITER 7973 NEW BEST:: SOT 334722402 SOS 256551824 HAS SOPS 256551824 HAS SOUS 66580884 HAS SOUPS 66580884 WITH SCORE 6.6837435824E7
AT ITER 7978 NEW BEST:: SOT 334729465 SOS 256558887 HAS SOPS 256558887 HAS SOUS 66580307 HAS SOUPS 66580307 WITH SCORE 6.6836865887E7
AT ITER 7985 NEW BEST:: SOT 334748145 SOS 256577567 HAS SOPS 256577567 HAS SOUS 66578213 HAS SOUPS 66578213 WITH SCORE 6.6834790567E7
AT ITER 8002 NEW BEST:: SOT 334750383 SOS 256579805 HAS SOPS 256579805 HAS SOUS 66576871 HAS SOUPS 66576871 WITH SCORE 6.6833450805E7
AT ITER 8006 NEW BEST:: SOT 334748037 SOS 256577459 HAS SOPS 256577459 HAS SOUS 66576871 HAS SOUPS 66576871 WITH SCORE 6.6833448459E7
AT ITER 8008 NEW BEST:: SOT 334753535 SOS 256582957 HAS SOPS 256582957 HAS SOUS 66575195 HAS SOUPS 66575195 WITH SCORE 6.6831777957E7
AT ITER 8015 NEW BEST:: SOT 334753987 SOS 256583409 HAS SOPS 256583409 HAS SOUS 66574743 HAS SOUPS 66574743 WITH SCORE 6.6831326409E7
AT ITER 8033 NEW BEST:: SOT 334777265 SOS 256606687 HAS SOPS 256606687 HAS SOUS 66574287 HAS SOUPS 66574287 WITH SCORE 6.6830893687E7
AT ITER 8050 NEW BEST:: SOT 334780609 SOS 256610031 HAS SOPS 256610031 HAS SOUS 66571085 HAS SOUPS 66571085 WITH SCORE 6.6827695031E7
AT ITER 8052 NEW BEST:: SOT 334799396 SOS 256628818 HAS SOPS 256628818 HAS SOUS 66569940 HAS SOUPS 66569940 WITH SCORE 6.6826568818E7
AT ITER 8066 NEW BEST:: SOT 334811208 SOS 256640630 HAS SOPS 256640630 HAS SOUS 66569174 HAS SOUPS 66569174 WITH SCORE 6.682581463E7
AT ITER 8067 NEW BEST:: SOT 334810056 SOS 256639478 HAS SOPS 256639478 HAS SOUS 66569174 HAS SOUPS 66569174 WITH SCORE 6.6825813478E7
AT ITER 8082 NEW BEST:: SOT 334824550 SOS 256653972 HAS SOPS 256653972 HAS SOUS 66565852 HAS SOUPS 66565852 WITH SCORE 6.6822505972E7
AT ITER 8091 NEW BEST:: SOT 334826834 SOS 256656256 HAS SOPS 256656256 HAS SOUS 66565044 HAS SOUPS 66565044 WITH SCORE 6.6821700256E7
AT ITER 8095 NEW BEST:: SOT 334814554 SOS 256643976 HAS SOPS 256643976 HAS SOUS 66565044 HAS SOUPS 66565044 WITH SCORE 6.6821687976E7
AT ITER 8119 NEW BEST:: SOT 334817236 SOS 256646658 HAS SOPS 256646658 HAS SOUS 66563102 HAS SOUPS 66563102 WITH SCORE 6.6819748658E7
AT ITER 8143 NEW BEST:: SOT 334820919 SOS 256650341 HAS SOPS 256650341 HAS SOUS 66561545 HAS SOUPS 66561545 WITH SCORE 6.6818195341E7
AT ITER 8147 NEW BEST:: SOT 334842156 SOS 256671578 HAS SOPS 256671578 HAS SOUS 66560804 HAS SOUPS 66560804 WITH SCORE 6.6817475578E7
AT ITER 8162 NEW BEST:: SOT 334866478 SOS 256695900 HAS SOPS 256695900 HAS SOUS 66559398 HAS SOUPS 66559398 WITH SCORE 6.68160939E7
AT ITER 8163 NEW BEST:: SOT 334879980 SOS 256709402 HAS SOPS 256709402 HAS SOUS 66556782 HAS SOUPS 66556782 WITH SCORE 6.6813491402E7
AT ITER 8166 NEW BEST:: SOT 334896940 SOS 256726362 HAS SOPS 256726362 HAS SOUS 66553420 HAS SOUPS 66553420 WITH SCORE 6.6810146362E7
AT ITER 8169 NEW BEST:: SOT 334911217 SOS 256740639 HAS SOPS 256740639 HAS SOUS 66551671 HAS SOUPS 66551671 WITH SCORE 6.6808411639E7
AT ITER 8179 NEW BEST:: SOT 334914598 SOS 256744020 HAS SOPS 256744020 HAS SOUS 66549864 HAS SOUPS 66549864 WITH SCORE 6.680660802E7
AT ITER 8185 NEW BEST:: SOT 334897386 SOS 256726808 HAS SOPS 256726808 HAS SOUS 66549864 HAS SOUPS 66549864 WITH SCORE 6.6806590808E7
AT ITER 8210 NEW BEST:: SOT 334920483 SOS 256749905 HAS SOPS 256749905 HAS SOUS 66548865 HAS SOUPS 66548865 WITH SCORE 6.6805614905E7
AT ITER 8214 NEW BEST:: SOT 334932940 SOS 256762362 HAS SOPS 256762362 HAS SOUS 66545374 HAS SOUPS 66545374 WITH SCORE 6.6802136362E7
AT ITER 8217 NEW BEST:: SOT 334934529 SOS 256763951 HAS SOPS 256763951 HAS SOUS 66543785 HAS SOUPS 66543785 WITH SCORE 6.6800548951E7
AT ITER 8219 NEW BEST:: SOT 334959366 SOS 256788788 HAS SOPS 256788788 HAS SOUS 66540852 HAS SOUPS 66540852 WITH SCORE 6.6797640788E7
AT ITER 8220 NEW BEST:: SOT 334982914 SOS 256812336 HAS SOPS 256812336 HAS SOUS 66540646 HAS SOUPS 66540646 WITH SCORE 6.6797458336E7
AT ITER 8226 NEW BEST:: SOT 335006741 SOS 256836163 HAS SOPS 256836163 HAS SOUS 66539717 HAS SOUPS 66539717 WITH SCORE 6.6796553163E7
AT ITER 8237 NEW BEST:: SOT 335005089 SOS 256834511 HAS SOPS 256834511 HAS SOUS 66539717 HAS SOUPS 66539717 WITH SCORE 6.6796551511E7
AT ITER 8245 NEW BEST:: SOT 335026331 SOS 256855753 HAS SOPS 256855753 HAS SOUS 66537335 HAS SOUPS 66537335 WITH SCORE 6.6794190753E7
AT ITER 8248 NEW BEST:: SOT 335034263 SOS 256863685 HAS SOPS 256863685 HAS SOUS 66535501 HAS SOUPS 66535501 WITH SCORE 6.6792364685E7
AT ITER 8262 NEW BEST:: SOT 335057457 SOS 256886879 HAS SOPS 256886879 HAS SOUS 66533811 HAS SOUPS 66533811 WITH SCORE 6.6790697879E7
AT ITER 8267 NEW BEST:: SOT 335076644 SOS 256906066 HAS SOPS 256906066 HAS SOUS 66531054 HAS SOUPS 66531054 WITH SCORE 6.6787960066E7
AT ITER 8276 NEW BEST:: SOT 335068264 SOS 256897686 HAS SOPS 256897686 HAS SOUS 66531054 HAS SOUPS 66531054 WITH SCORE 6.6787951686E7
AT ITER 8277 NEW BEST:: SOT 335074802 SOS 256904224 HAS SOPS 256904224 HAS SOUS 66531026 HAS SOUPS 66531026 WITH SCORE 6.6787930224E7
AT ITER 8306 NEW BEST:: SOT 335097237 SOS 256926659 HAS SOPS 256926659 HAS SOUS 66527453 HAS SOUPS 66527453 WITH SCORE 6.6784379659E7
AT ITER 8317 NEW BEST:: SOT 335118076 SOS 256947498 HAS SOPS 256947498 HAS SOUS 66525960 HAS SOUPS 66525960 WITH SCORE 6.6782907498E7
AT ITER 8321 NEW BEST:: SOT 335137428 SOS 256966850 HAS SOPS 256966850 HAS SOUS 66524272 HAS SOUPS 66524272 WITH SCORE 6.678123885E7
AT ITER 8323 NEW BEST:: SOT 335147055 SOS 256976477 HAS SOPS 256976477 HAS SOUS 66523307 HAS SOUPS 66523307 WITH SCORE 6.6780283477E7
AT ITER 8358 NEW BEST:: SOT 335166624 SOS 256996046 HAS SOPS 256996046 HAS SOUS 66520000 HAS SOUPS 66520000 WITH SCORE 6.6776996046E7
AT ITER 8364 NEW BEST:: SOT 335182547 SOS 257011969 HAS SOPS 257011969 HAS SOUS 66519627 HAS SOUPS 66519627 WITH SCORE 6.6776638969E7
AT ITER 8370 NEW BEST:: SOT 335204665 SOS 257034087 HAS SOPS 257034087 HAS SOUS 66515713 HAS SOUPS 66515713 WITH SCORE 6.6772747087E7
AT ITER 8380 NEW BEST:: SOT 335224507 SOS 257053929 HAS SOPS 257053929 HAS SOUS 66515599 HAS SOUPS 66515599 WITH SCORE 6.6772652929E7
AT ITER 8385 NEW BEST:: SOT 335234813 SOS 257064235 HAS SOPS 257064235 HAS SOUS 66511613 HAS SOUPS 66511613 WITH SCORE 6.6768677235E7
AT ITER 8403 NEW BEST:: SOT 335239073 SOS 257068495 HAS SOPS 257068495 HAS SOUS 66507799 HAS SOUPS 66507799 WITH SCORE 6.6764867495E7
AT ITER 8410 NEW BEST:: SOT 335243845 SOS 257073267 HAS SOPS 257073267 HAS SOUS 66503027 HAS SOUPS 66503027 WITH SCORE 6.6760100267E7
AT ITER 8415 NEW BEST:: SOT 335263582 SOS 257093004 HAS SOPS 257093004 HAS SOUS 66503006 HAS SOUPS 66503006 WITH SCORE 6.6760099004E7
AT ITER 8418 NEW BEST:: SOT 335267367 SOS 257096789 HAS SOPS 257096789 HAS SOUS 66500743 HAS SOUPS 66500743 WITH SCORE 6.6757839789E7
AT ITER 8420 NEW BEST:: SOT 335281515 SOS 257110937 HAS SOPS 257110937 HAS SOUS 66499005 HAS SOUPS 66499005 WITH SCORE 6.6756115937E7
AT ITER 8429 NEW BEST:: SOT 335283081 SOS 257112503 HAS SOPS 257112503 HAS SOUS 66497565 HAS SOUPS 66497565 WITH SCORE 6.6754677503E7
AT ITER 8446 NEW BEST:: SOT 335285744 SOS 257115166 HAS SOPS 257115166 HAS SOUS 66495894 HAS SOUPS 66495894 WITH SCORE 6.6753009166E7
AT ITER 8455 NEW BEST:: SOT 335301075 SOS 257130497 HAS SOPS 257130497 HAS SOUS 66494421 HAS SOUPS 66494421 WITH SCORE 6.6751551497E7
AT ITER 8479 NEW BEST:: SOT 335312874 SOS 257142296 HAS SOPS 257142296 HAS SOUS 66491632 HAS SOUPS 66491632 WITH SCORE 6.6748774296E7
AT ITER 8484 NEW BEST:: SOT 335325078 SOS 257154500 HAS SOPS 257154500 HAS SOUS 66491490 HAS SOUPS 66491490 WITH SCORE 6.67486445E7
AT ITER 8506 NEW BEST:: SOT 335328213 SOS 257157635 HAS SOPS 257157635 HAS SOUS 66488355 HAS SOUPS 66488355 WITH SCORE 6.6745512635E7
AT ITER 8512 NEW BEST:: SOT 335342548 SOS 257171970 HAS SOPS 257171970 HAS SOUS 66487522 HAS SOUPS 66487522 WITH SCORE 6.674469397E7
AT ITER 8529 NEW BEST:: SOT 335351661 SOS 257181083 HAS SOPS 257181083 HAS SOUS 66486271 HAS SOUPS 66486271 WITH SCORE 6.6743452083E7
AT ITER 8531 NEW BEST:: SOT 335357363 SOS 257186785 HAS SOPS 257186785 HAS SOUS 66481365 HAS SOUPS 66481365 WITH SCORE 6.6738551785E7
AT ITER 8538 NEW BEST:: SOT 335359710 SOS 257189132 HAS SOPS 257189132 HAS SOUS 66479018 HAS SOUPS 66479018 WITH SCORE 6.6736207132E7
AT ITER 8543 NEW BEST:: SOT 335365138 SOS 257194560 HAS SOPS 257194560 HAS SOUS 66475402 HAS SOUPS 66475402 WITH SCORE 6.673259656E7
AT ITER 8549 NEW BEST:: SOT 335375412 SOS 257204834 HAS SOPS 257204834 HAS SOUS 66472368 HAS SOUPS 66472368 WITH SCORE 6.6729572834E7
AT ITER 8555 NEW BEST:: SOT 335387500 SOS 257216922 HAS SOPS 257216922 HAS SOUS 66470302 HAS SOUPS 66470302 WITH SCORE 6.6727518922E7
AT ITER 8562 NEW BEST:: SOT 335401241 SOS 257230663 HAS SOPS 257230663 HAS SOUS 66466701 HAS SOUPS 66466701 WITH SCORE 6.6723931663E7
AT ITER 8569 NEW BEST:: SOT 335415079 SOS 257244501 HAS SOPS 257244501 HAS SOUS 66463213 HAS SOUPS 66463213 WITH SCORE 6.6720457501E7
AT ITER 8583 NEW BEST:: SOT 335426095 SOS 257255517 HAS SOPS 257255517 HAS SOUS 66460431 HAS SOUPS 66460431 WITH SCORE 6.6717686517E7
AT ITER 8591 NEW BEST:: SOT 335442192 SOS 257271614 HAS SOPS 257271614 HAS SOUS 66458016 HAS SOUPS 66458016 WITH SCORE 6.6715287614E7
AT ITER 8593 NEW BEST:: SOT 335469455 SOS 257298877 HAS SOPS 257298877 HAS SOUS 66454147 HAS SOUPS 66454147 WITH SCORE 6.6711445877E7
AT ITER 8599 NEW BEST:: SOT 335479089 SOS 257308511 HAS SOPS 257308511 HAS SOUS 66448671 HAS SOUPS 66448671 WITH SCORE 6.6705979511E7
AT ITER 8604 NEW BEST:: SOT 335484285 SOS 257313707 HAS SOPS 257313707 HAS SOUS 66446261 HAS SOUPS 66446261 WITH SCORE 6.6703574707E7
AT ITER 8605 NEW BEST:: SOT 335493051 SOS 257322473 HAS SOPS 257322473 HAS SOUS 66445045 HAS SOUPS 66445045 WITH SCORE 6.6702367473E7
AT ITER 8617 NEW BEST:: SOT 335513844 SOS 257343266 HAS SOPS 257343266 HAS SOUS 66442850 HAS SOUPS 66442850 WITH SCORE 6.6700193266E7
AT ITER 8618 NEW BEST:: SOT 335528719 SOS 257358141 HAS SOPS 257358141 HAS SOUS 66441689 HAS SOUPS 66441689 WITH SCORE 6.6699047141E7
AT ITER 8638 NEW BEST:: SOT 335536823 SOS 257366245 HAS SOPS 257366245 HAS SOUS 66441605 HAS SOUPS 66441605 WITH SCORE 6.6698971245E7
AT ITER 8646 NEW BEST:: SOT 335534277 SOS 257363699 HAS SOPS 257363699 HAS SOUS 66441605 HAS SOUPS 66441605 WITH SCORE 6.6698968699E7
AT ITER 8659 NEW BEST:: SOT 335536527 SOS 257365949 HAS SOPS 257365949 HAS SOUS 66440233 HAS SOUPS 66440233 WITH SCORE 6.6697598949E7
AT ITER 8670 NEW BEST:: SOT 335554442 SOS 257383864 HAS SOPS 257383864 HAS SOUS 66436628 HAS SOUPS 66436628 WITH SCORE 6.6694011864E7
AT ITER 8683 NEW BEST:: SOT 335559231 SOS 257388653 HAS SOPS 257388653 HAS SOUS 66432557 HAS SOUPS 66432557 WITH SCORE 6.6689945653E7
AT ITER 8684 NEW BEST:: SOT 335573168 SOS 257402590 HAS SOPS 257402590 HAS SOUS 66428730 HAS SOUPS 66428730 WITH SCORE 6.668613259E7
AT ITER 8689 NEW BEST:: SOT 335583968 SOS 257413390 HAS SOPS 257413390 HAS SOUS 66426020 HAS SOUPS 66426020 WITH SCORE 6.668343339E7
AT ITER 8702 NEW BEST:: SOT 335603776 SOS 257433198 HAS SOPS 257433198 HAS SOUS 66423440 HAS SOUPS 66423440 WITH SCORE 6.6680873198E7
AT ITER 8705 NEW BEST:: SOT 335607552 SOS 257436974 HAS SOPS 257436974 HAS SOUS 66420226 HAS SOUPS 66420226 WITH SCORE 6.6677662974E7
AT ITER 8710 NEW BEST:: SOT 335631078 SOS 257460500 HAS SOPS 257460500 HAS SOUS 66416694 HAS SOUPS 66416694 WITH SCORE 6.66741545E7
AT ITER 8713 NEW BEST:: SOT 335639420 SOS 257468842 HAS SOPS 257468842 HAS SOUS 66415196 HAS SOUPS 66415196 WITH SCORE 6.6672664842E7
AT ITER 8715 NEW BEST:: SOT 335648387 SOS 257477809 HAS SOPS 257477809 HAS SOUS 66409807 HAS SOUPS 66409807 WITH SCORE 6.6667284809E7
AT ITER 8717 NEW BEST:: SOT 335647147 SOS 257476569 HAS SOPS 257476569 HAS SOUS 66409807 HAS SOUPS 66409807 WITH SCORE 6.6667283569E7
AT ITER 8721 NEW BEST:: SOT 335653413 SOS 257482835 HAS SOPS 257482835 HAS SOUS 66406217 HAS SOUPS 66406217 WITH SCORE 6.6663699835E7
AT ITER 8744 NEW BEST:: SOT 335658594 SOS 257488016 HAS SOPS 257488016 HAS SOUS 66404540 HAS SOUPS 66404540 WITH SCORE 6.6662028016E7
AT ITER 8753 NEW BEST:: SOT 335665315 SOS 257494737 HAS SOPS 257494737 HAS SOUS 66400285 HAS SOUPS 66400285 WITH SCORE 6.6657779737E7
AT ITER 8754 NEW BEST:: SOT 335677845 SOS 257507267 HAS SOPS 257507267 HAS SOUS 66396169 HAS SOUPS 66396169 WITH SCORE 6.6653676267E7
AT ITER 8758 NEW BEST:: SOT 335660629 SOS 257490051 HAS SOPS 257490051 HAS SOUS 66396169 HAS SOUPS 66396169 WITH SCORE 6.6653659051E7
AT ITER 8767 NEW BEST:: SOT 335671016 SOS 257500438 HAS SOPS 257500438 HAS SOUS 66394534 HAS SOUPS 66394534 WITH SCORE 6.6652034438E7
AT ITER 8772 NEW BEST:: SOT 335673208 SOS 257502630 HAS SOPS 257502630 HAS SOUS 66393404 HAS SOUPS 66393404 WITH SCORE 6.665090663E7
AT ITER 8773 NEW BEST:: SOT 335669614 SOS 257499036 HAS SOPS 257499036 HAS SOUS 66393404 HAS SOUPS 66393404 WITH SCORE 6.6650903036E7
AT ITER 8776 NEW BEST:: SOT 335693080 SOS 257522502 HAS SOPS 257522502 HAS SOUS 66390450 HAS SOUPS 66390450 WITH SCORE 6.6647972502E7
AT ITER 8801 NEW BEST:: SOT 335700836 SOS 257530258 HAS SOPS 257530258 HAS SOUS 66389936 HAS SOUPS 66389936 WITH SCORE 6.6647466258E7
AT ITER 8805 NEW BEST:: SOT 335717144 SOS 257546566 HAS SOPS 257546566 HAS SOUS 66385952 HAS SOUPS 66385952 WITH SCORE 6.6643498566E7
AT ITER 8810 NEW BEST:: SOT 335732670 SOS 257562092 HAS SOPS 257562092 HAS SOUS 66382684 HAS SOUPS 66382684 WITH SCORE 6.6640246092E7
AT ITER 8813 NEW BEST:: SOT 335748343 SOS 257577765 HAS SOPS 257577765 HAS SOUS 66380725 HAS SOUPS 66380725 WITH SCORE 6.6638302765E7
AT ITER 8818 NEW BEST:: SOT 335769754 SOS 257599176 HAS SOPS 257599176 HAS SOUS 66379820 HAS SOUPS 66379820 WITH SCORE 6.6637419176E7
AT ITER 8821 NEW BEST:: SOT 335775963 SOS 257605385 HAS SOPS 257605385 HAS SOUS 66377779 HAS SOUPS 66377779 WITH SCORE 6.6635384385E7
AT ITER 8824 NEW BEST:: SOT 335778703 SOS 257608125 HAS SOPS 257608125 HAS SOUS 66375039 HAS SOUPS 66375039 WITH SCORE 6.6632647125E7
AT ITER 8828 NEW BEST:: SOT 335787727 SOS 257617149 HAS SOPS 257617149 HAS SOUS 66371309 HAS SOUPS 66371309 WITH SCORE 6.6628926149E7
AT ITER 8841 NEW BEST:: SOT 335791053 SOS 257620475 HAS SOPS 257620475 HAS SOUS 66367983 HAS SOUPS 66367983 WITH SCORE 6.6625603475E7
AT ITER 8853 NEW BEST:: SOT 335791320 SOS 257620742 HAS SOPS 257620742 HAS SOUS 66367716 HAS SOUPS 66367716 WITH SCORE 6.6625336742E7
AT ITER 8855 NEW BEST:: SOT 335814744 SOS 257644166 HAS SOPS 257644166 HAS SOUS 66367064 HAS SOUPS 66367064 WITH SCORE 6.6624708166E7
AT ITER 8861 NEW BEST:: SOT 335834580 SOS 257664002 HAS SOPS 257664002 HAS SOUS 66362180 HAS SOUPS 66362180 WITH SCORE 6.6619844002E7
AT ITER 8873 NEW BEST:: SOT 335841084 SOS 257670506 HAS SOPS 257670506 HAS SOUS 66356732 HAS SOUPS 66356732 WITH SCORE 6.6614402506E7
AT ITER 8875 NEW BEST:: SOT 335853192 SOS 257682614 HAS SOPS 257682614 HAS SOUS 66354212 HAS SOUPS 66354212 WITH SCORE 6.6611894614E7
AT ITER 8894 NEW BEST:: SOT 335858685 SOS 257688107 HAS SOPS 257688107 HAS SOUS 66350685 HAS SOUPS 66350685 WITH SCORE 6.6608373107E7
AT ITER 8901 NEW BEST:: SOT 335887641 SOS 257717063 HAS SOPS 257717063 HAS SOUS 66349435 HAS SOUPS 66349435 WITH SCORE 6.6607152063E7
AT ITER 8907 NEW BEST:: SOT 335897881 SOS 257727303 HAS SOPS 257727303 HAS SOUS 66345271 HAS SOUPS 66345271 WITH SCORE 6.6602998303E7
AT ITER 8914 NEW BEST:: SOT 335907820 SOS 257737242 HAS SOPS 257737242 HAS SOUS 66343210 HAS SOUPS 66343210 WITH SCORE 6.6600947242E7
AT ITER 8922 NEW BEST:: SOT 335909842 SOS 257739264 HAS SOPS 257739264 HAS SOUS 66341188 HAS SOUPS 66341188 WITH SCORE 6.6598927264E7
AT ITER 8925 NEW BEST:: SOT 335924730 SOS 257754152 HAS SOPS 257754152 HAS SOUS 66339050 HAS SOUPS 66339050 WITH SCORE 6.6596804152E7
AT ITER 8926 NEW BEST:: SOT 335951472 SOS 257780894 HAS SOPS 257780894 HAS SOUS 66334244 HAS SOUPS 66334244 WITH SCORE 6.6592024894E7
AT ITER 8930 NEW BEST:: SOT 335968071 SOS 257797493 HAS SOPS 257797493 HAS SOUS 66332477 HAS SOUPS 66332477 WITH SCORE 6.6590274493E7
AT ITER 8936 NEW BEST:: SOT 335988137 SOS 257817559 HAS SOPS 257817559 HAS SOUS 66329073 HAS SOUPS 66329073 WITH SCORE 6.6586890559E7
AT ITER 8946 NEW BEST:: SOT 335978491 SOS 257807913 HAS SOPS 257807913 HAS SOUS 66329073 HAS SOUPS 66329073 WITH SCORE 6.6586880913E7
AT ITER 8952 NEW BEST:: SOT 335989915 SOS 257819337 HAS SOPS 257819337 HAS SOUS 66324503 HAS SOUPS 66324503 WITH SCORE 6.6582322337E7
AT ITER 8953 NEW BEST:: SOT 336004717 SOS 257834139 HAS SOPS 257834139 HAS SOUS 66320137 HAS SOUPS 66320137 WITH SCORE 6.6577971139E7
AT ITER 8956 NEW BEST:: SOT 336012573 SOS 257841995 HAS SOPS 257841995 HAS SOUS 66315459 HAS SOUPS 66315459 WITH SCORE 6.6573300995E7
AT ITER 8978 NEW BEST:: SOT 336035774 SOS 257865196 HAS SOPS 257865196 HAS SOUS 66310512 HAS SOUPS 66310512 WITH SCORE 6.6568377196E7
AT ITER 8980 NEW BEST:: SOT 336065164 SOS 257894586 HAS SOPS 257894586 HAS SOUS 66305182 HAS SOUPS 66305182 WITH SCORE 6.6563076586E7
AT ITER 8994 NEW BEST:: SOT 336086761 SOS 257916183 HAS SOPS 257916183 HAS SOUS 66299841 HAS SOUPS 66299841 WITH SCORE 6.6557757183E7
AT ITER 8995 NEW BEST:: SOT 336102176 SOS 257931598 HAS SOPS 257931598 HAS SOUS 66293872 HAS SOUPS 66293872 WITH SCORE 6.6551803598E7
AT ITER 8997 NEW BEST:: SOT 336122705 SOS 257952127 HAS SOPS 257952127 HAS SOUS 66288351 HAS SOUPS 66288351 WITH SCORE 6.6546303127E7
AT ITER 8999 NEW BEST:: SOT 336141415 SOS 257970837 HAS SOPS 257970837 HAS SOUS 66284149 HAS SOUPS 66284149 WITH SCORE 6.6542119837E7
AT ITER 9009 NEW BEST:: SOT 336166152 SOS 257995574 HAS SOPS 257995574 HAS SOUS 66282572 HAS SOUPS 66282572 WITH SCORE 6.6540567574E7
AT ITER 9046 NEW BEST:: SOT 336187894 SOS 258017316 HAS SOPS 258017316 HAS SOUS 66280534 HAS SOUPS 66280534 WITH SCORE 6.6538551316E7
AT ITER 9049 NEW BEST:: SOT 336202525 SOS 258031947 HAS SOPS 258031947 HAS SOUS 66276705 HAS SOUPS 66276705 WITH SCORE 6.6534736947E7
AT ITER 9056 NEW BEST:: SOT 336211737 SOS 258041159 HAS SOPS 258041159 HAS SOUS 66275567 HAS SOUPS 66275567 WITH SCORE 6.6533608159E7
AT ITER 9061 NEW BEST:: SOT 336230362 SOS 258059784 HAS SOPS 258059784 HAS SOUS 66270256 HAS SOUPS 66270256 WITH SCORE 6.6528315784E7
AT ITER 9068 NEW BEST:: SOT 336242840 SOS 258072262 HAS SOPS 258072262 HAS SOUS 66267064 HAS SOUPS 66267064 WITH SCORE 6.6525136262E7
AT ITER 9074 NEW BEST:: SOT 336261093 SOS 258090515 HAS SOPS 258090515 HAS SOUS 66264989 HAS SOUPS 66264989 WITH SCORE 6.6523079515E7
AT ITER 9083 NEW BEST:: SOT 336290674 SOS 258120096 HAS SOPS 258120096 HAS SOUS 66258994 HAS SOUPS 66258994 WITH SCORE 6.6517114096E7
AT ITER 9090 NEW BEST:: SOT 336304200 SOS 258133622 HAS SOPS 258133622 HAS SOUS 66255922 HAS SOUPS 66255922 WITH SCORE 6.6514055622E7
AT ITER 9092 NEW BEST:: SOT 336316251 SOS 258145673 HAS SOPS 258145673 HAS SOUS 66251881 HAS SOUPS 66251881 WITH SCORE 6.6510026673E7
AT ITER 9101 NEW BEST:: SOT 336330003 SOS 258159425 HAS SOPS 258159425 HAS SOUS 66249367 HAS SOUPS 66249367 WITH SCORE 6.6507526425E7
AT ITER 9103 NEW BEST:: SOT 336346430 SOS 258175852 HAS SOPS 258175852 HAS SOUS 66247052 HAS SOUPS 66247052 WITH SCORE 6.6505227852E7
AT ITER 9104 NEW BEST:: SOT 336354655 SOS 258184077 HAS SOPS 258184077 HAS SOUS 66246789 HAS SOUPS 66246789 WITH SCORE 6.6504973077E7
AT ITER 9120 NEW BEST:: SOT 336353645 SOS 258183067 HAS SOPS 258183067 HAS SOUS 66246789 HAS SOUPS 66246789 WITH SCORE 6.6504972067E7
AT ITER 9125 NEW BEST:: SOT 336357443 SOS 258186865 HAS SOPS 258186865 HAS SOUS 66242991 HAS SOUPS 66242991 WITH SCORE 6.6501177865E7
AT ITER 9126 NEW BEST:: SOT 336380460 SOS 258209882 HAS SOPS 258209882 HAS SOUS 66237692 HAS SOUPS 66237692 WITH SCORE 6.6495901882E7
AT ITER 9131 NEW BEST:: SOT 336390562 SOS 258219984 HAS SOPS 258219984 HAS SOUS 66235102 HAS SOUPS 66235102 WITH SCORE 6.6493321984E7
AT ITER 9133 NEW BEST:: SOT 336403706 SOS 258233128 HAS SOPS 258233128 HAS SOUS 66232660 HAS SOUPS 66232660 WITH SCORE 6.6490893128E7
AT ITER 9140 NEW BEST:: SOT 336405781 SOS 258235203 HAS SOPS 258235203 HAS SOUS 66230585 HAS SOUPS 66230585 WITH SCORE 6.6488820203E7
AT ITER 9142 NEW BEST:: SOT 336432386 SOS 258261808 HAS SOPS 258261808 HAS SOUS 66226000 HAS SOUPS 66226000 WITH SCORE 6.6484261808E7
AT ITER 9146 NEW BEST:: SOT 336449962 SOS 258279384 HAS SOPS 258279384 HAS SOUS 66223392 HAS SOUPS 66223392 WITH SCORE 6.6481671384E7
AT ITER 9153 NEW BEST:: SOT 336460414 SOS 258289836 HAS SOPS 258289836 HAS SOUS 66219006 HAS SOUPS 66219006 WITH SCORE 6.6477295836E7
AT ITER 9156 NEW BEST:: SOT 336466295 SOS 258295717 HAS SOPS 258295717 HAS SOUS 66215495 HAS SOUPS 66215495 WITH SCORE 6.6473790717E7
AT ITER 9160 NEW BEST:: SOT 336491446 SOS 258320868 HAS SOPS 258320868 HAS SOUS 66210462 HAS SOUPS 66210462 WITH SCORE 6.6468782868E7
AT ITER 9163 NEW BEST:: SOT 336509278 SOS 258338700 HAS SOPS 258338700 HAS SOUS 66209398 HAS SOUPS 66209398 WITH SCORE 6.64677367E7
AT ITER 9168 NEW BEST:: SOT 336527567 SOS 258356989 HAS SOPS 258356989 HAS SOUS 66207469 HAS SOUPS 66207469 WITH SCORE 6.6465825989E7
AT ITER 9170 NEW BEST:: SOT 336538735 SOS 258368157 HAS SOPS 258368157 HAS SOUS 66205299 HAS SOUPS 66205299 WITH SCORE 6.6463667157E7
AT ITER 9179 NEW BEST:: SOT 336541456 SOS 258370878 HAS SOPS 258370878 HAS SOUS 66204352 HAS SOUPS 66204352 WITH SCORE 6.6462722878E7
AT ITER 9186 NEW BEST:: SOT 336558352 SOS 258387774 HAS SOPS 258387774 HAS SOUS 66203436 HAS SOUPS 66203436 WITH SCORE 6.6461823774E7
AT ITER 9189 NEW BEST:: SOT 336562970 SOS 258392392 HAS SOPS 258392392 HAS SOUS 66202278 HAS SOUPS 66202278 WITH SCORE 6.6460670392E7
AT ITER 9190 NEW BEST:: SOT 336580823 SOS 258410245 HAS SOPS 258410245 HAS SOUS 66197381 HAS SOUPS 66197381 WITH SCORE 6.6455791245E7
AT ITER 9194 NEW BEST:: SOT 336609573 SOS 258438995 HAS SOPS 258438995 HAS SOUS 66192481 HAS SOUPS 66192481 WITH SCORE 6.6450919995E7
AT ITER 9209 NEW BEST:: SOT 336622838 SOS 258452260 HAS SOPS 258452260 HAS SOUS 66191920 HAS SOUPS 66191920 WITH SCORE 6.645037226E7
AT ITER 9217 NEW BEST:: SOT 336640489 SOS 258469911 HAS SOPS 258469911 HAS SOUS 66186789 HAS SOUPS 66186789 WITH SCORE 6.6445258911E7
AT ITER 9218 NEW BEST:: SOT 336665863 SOS 258495285 HAS SOPS 258495285 HAS SOUS 66183007 HAS SOUPS 66183007 WITH SCORE 6.6441502285E7
AT ITER 9219 NEW BEST:: SOT 336644471 SOS 258473893 HAS SOPS 258473893 HAS SOUS 66183007 HAS SOUPS 66183007 WITH SCORE 6.6441480893E7
AT ITER 9223 NEW BEST:: SOT 336669378 SOS 258498800 HAS SOPS 258498800 HAS SOUS 66182016 HAS SOUPS 66182016 WITH SCORE 6.64405148E7
AT ITER 9230 NEW BEST:: SOT 336682781 SOS 258512203 HAS SOPS 258512203 HAS SOUS 66177531 HAS SOUPS 66177531 WITH SCORE 6.6436043203E7
AT ITER 9232 NEW BEST:: SOT 336704359 SOS 258533781 HAS SOPS 258533781 HAS SOUS 66176845 HAS SOUPS 66176845 WITH SCORE 6.6435378781E7
AT ITER 9237 NEW BEST:: SOT 336721113 SOS 258550535 HAS SOPS 258550535 HAS SOUS 66173353 HAS SOUPS 66173353 WITH SCORE 6.6431903535E7
AT ITER 9241 NEW BEST:: SOT 336732450 SOS 258561872 HAS SOPS 258561872 HAS SOUS 66171754 HAS SOUPS 66171754 WITH SCORE 6.6430315872E7
AT ITER 9242 NEW BEST:: SOT 336725906 SOS 258555328 HAS SOPS 258555328 HAS SOUS 66171754 HAS SOUPS 66171754 WITH SCORE 6.6430309328E7
AT ITER 9247 NEW BEST:: SOT 336751563 SOS 258580985 HAS SOPS 258580985 HAS SOUS 66166085 HAS SOUPS 66166085 WITH SCORE 6.6424665985E7
AT ITER 9248 NEW BEST:: SOT 336767365 SOS 258596787 HAS SOPS 258596787 HAS SOUS 66160687 HAS SOUPS 66160687 WITH SCORE 6.6419283787E7
AT ITER 9251 NEW BEST:: SOT 336774467 SOS 258603889 HAS SOPS 258603889 HAS SOUS 66155521 HAS SOUPS 66155521 WITH SCORE 6.6414124889E7
AT ITER 9253 NEW BEST:: SOT 336765645 SOS 258595067 HAS SOPS 258595067 HAS SOUS 66155521 HAS SOUPS 66155521 WITH SCORE 6.6414116067E7
AT ITER 9254 NEW BEST:: SOT 336780400 SOS 258609822 HAS SOPS 258609822 HAS SOUS 66154064 HAS SOUPS 66154064 WITH SCORE 6.6412673822E7
AT ITER 9261 NEW BEST:: SOT 336798916 SOS 258628338 HAS SOPS 258628338 HAS SOUS 66151338 HAS SOUPS 66151338 WITH SCORE 6.6409966338E7
AT ITER 9281 NEW BEST:: SOT 336788390 SOS 258617812 HAS SOPS 258617812 HAS SOUS 66151338 HAS SOUPS 66151338 WITH SCORE 6.6409955812E7
AT ITER 9287 NEW BEST:: SOT 336817038 SOS 258646460 HAS SOPS 258646460 HAS SOUS 66145406 HAS SOUPS 66145406 WITH SCORE 6.640405246E7
AT ITER 9327 NEW BEST:: SOT 336802546 SOS 258631968 HAS SOPS 258631968 HAS SOUS 66145406 HAS SOUPS 66145406 WITH SCORE 6.6404037968E7
AT ITER 9328 NEW BEST:: SOT 336808059 SOS 258637481 HAS SOPS 258637481 HAS SOUS 66143007 HAS SOUPS 66143007 WITH SCORE 6.6401644481E7
AT ITER 9329 NEW BEST:: SOT 336821320 SOS 258650742 HAS SOPS 258650742 HAS SOUS 66141072 HAS SOUPS 66141072 WITH SCORE 6.6399722742E7
AT ITER 9331 NEW BEST:: SOT 336834669 SOS 258664091 HAS SOPS 258664091 HAS SOUS 66139629 HAS SOUPS 66139629 WITH SCORE 6.6398293091E7
AT ITER 9337 NEW BEST:: SOT 336841514 SOS 258670936 HAS SOPS 258670936 HAS SOUS 66139218 HAS SOUPS 66139218 WITH SCORE 6.6397888936E7
AT ITER 9359 NEW BEST:: SOT 336847637 SOS 258677059 HAS SOPS 258677059 HAS SOUS 66135709 HAS SOUPS 66135709 WITH SCORE 6.6394386059E7
AT ITER 9374 NEW BEST:: SOT 336857896 SOS 258687318 HAS SOPS 258687318 HAS SOUS 66132468 HAS SOUPS 66132468 WITH SCORE 6.6391155318E7
AT ITER 9381 NEW BEST:: SOT 336883524 SOS 258712946 HAS SOPS 258712946 HAS SOUS 66128640 HAS SOUPS 66128640 WITH SCORE 6.6387352946E7
AT ITER 9384 NEW BEST:: SOT 336897526 SOS 258726948 HAS SOPS 258726948 HAS SOUS 66126808 HAS SOUPS 66126808 WITH SCORE 6.6385534948E7
AT ITER 9403 NEW BEST:: SOT 336917211 SOS 258746633 HAS SOPS 258746633 HAS SOUS 66126097 HAS SOUPS 66126097 WITH SCORE 6.6384843633E7
AT ITER 9419 NEW BEST:: SOT 336921207 SOS 258750629 HAS SOPS 258750629 HAS SOUS 66123987 HAS SOUPS 66123987 WITH SCORE 6.6382737629E7
AT ITER 9424 NEW BEST:: SOT 336939715 SOS 258769137 HAS SOPS 258769137 HAS SOUS 66118501 HAS SOUPS 66118501 WITH SCORE 6.6377270137E7
AT ITER 9427 NEW BEST:: SOT 336953230 SOS 258782652 HAS SOPS 258782652 HAS SOUS 66112630 HAS SOUPS 66112630 WITH SCORE 6.6371412652E7
AT ITER 9431 NEW BEST:: SOT 336968757 SOS 258798179 HAS SOPS 258798179 HAS SOUS 66106639 HAS SOUPS 66106639 WITH SCORE 6.6365437179E7
AT ITER 9436 NEW BEST:: SOT 336973220 SOS 258802642 HAS SOPS 258802642 HAS SOUS 66103338 HAS SOUPS 66103338 WITH SCORE 6.6362140642E7
AT ITER 9438 NEW BEST:: SOT 336996571 SOS 258825993 HAS SOPS 258825993 HAS SOUS 66099943 HAS SOUPS 66099943 WITH SCORE 6.6358768993E7
AT ITER 9441 NEW BEST:: SOT 337004721 SOS 258834143 HAS SOPS 258834143 HAS SOUS 66096975 HAS SOUPS 66096975 WITH SCORE 6.6355809143E7
AT ITER 9443 NEW BEST:: SOT 337017453 SOS 258846875 HAS SOPS 258846875 HAS SOUS 66091723 HAS SOUPS 66091723 WITH SCORE 6.6350569875E7
AT ITER 9450 NEW BEST:: SOT 337008703 SOS 258838125 HAS SOPS 258838125 HAS SOUS 66091723 HAS SOUPS 66091723 WITH SCORE 6.6350561125E7
AT ITER 9454 NEW BEST:: SOT 337018419 SOS 258847841 HAS SOPS 258847841 HAS SOUS 66090975 HAS SOUPS 66090975 WITH SCORE 6.6349822841E7
AT ITER 9457 NEW BEST:: SOT 337036032 SOS 258865454 HAS SOPS 258865454 HAS SOUS 66085740 HAS SOUPS 66085740 WITH SCORE 6.6344605454E7
AT ITER 9462 NEW BEST:: SOT 337049231 SOS 258878653 HAS SOPS 258878653 HAS SOUS 66080607 HAS SOUPS 66080607 WITH SCORE 6.6339485653E7
AT ITER 9480 NEW BEST:: SOT 337062036 SOS 258891458 HAS SOPS 258891458 HAS SOUS 66077830 HAS SOUPS 66077830 WITH SCORE 6.6336721458E7
AT ITER 9497 NEW BEST:: SOT 337070626 SOS 258900048 HAS SOPS 258900048 HAS SOUS 66073768 HAS SOUPS 66073768 WITH SCORE 6.6332668048E7
AT ITER 9499 NEW BEST:: SOT 337095110 SOS 258924532 HAS SOPS 258924532 HAS SOUS 66069050 HAS SOUPS 66069050 WITH SCORE 6.6327974532E7
AT ITER 9501 NEW BEST:: SOT 337095317 SOS 258924739 HAS SOPS 258924739 HAS SOUS 66068843 HAS SOUPS 66068843 WITH SCORE 6.6327767739E7
AT ITER 9515 NEW BEST:: SOT 337109527 SOS 258938949 HAS SOPS 258938949 HAS SOUS 66066741 HAS SOUPS 66066741 WITH SCORE 6.6325679949E7
AT ITER 9523 NEW BEST:: SOT 337126396 SOS 258955818 HAS SOPS 258955818 HAS SOUS 66061344 HAS SOUPS 66061344 WITH SCORE 6.6320299818E7
AT ITER 9524 NEW BEST:: SOT 337141504 SOS 258970926 HAS SOPS 258970926 HAS SOUS 66059892 HAS SOUPS 66059892 WITH SCORE 6.6318862926E7
AT ITER 9525 NEW BEST:: SOT 337169692 SOS 258999114 HAS SOPS 258999114 HAS SOUS 66055044 HAS SOUPS 66055044 WITH SCORE 6.6314043114E7
AT ITER 9530 NEW BEST:: SOT 337192227 SOS 259021649 HAS SOPS 259021649 HAS SOUS 66054049 HAS SOUPS 66054049 WITH SCORE 6.6313070649E7
AT ITER 9534 NEW BEST:: SOT 337178241 SOS 259007663 HAS SOPS 259007663 HAS SOUS 66054049 HAS SOUPS 66054049 WITH SCORE 6.6313056663E7
AT ITER 9535 NEW BEST:: SOT 337193283 SOS 259022705 HAS SOPS 259022705 HAS SOUS 66051003 HAS SOUPS 66051003 WITH SCORE 6.6310025705E7
AT ITER 9539 NEW BEST:: SOT 337207753 SOS 259037175 HAS SOPS 259037175 HAS SOUS 66045535 HAS SOUPS 66045535 WITH SCORE 6.6304572175E7
AT ITER 9541 NEW BEST:: SOT 337218401 SOS 259047823 HAS SOPS 259047823 HAS SOUS 66039947 HAS SOUPS 66039947 WITH SCORE 6.6298994823E7
AT ITER 9546 NEW BEST:: SOT 337230330 SOS 259059752 HAS SOPS 259059752 HAS SOUS 66038792 HAS SOUPS 66038792 WITH SCORE 6.6297851752E7
AT ITER 9548 NEW BEST:: SOT 337249458 SOS 259078880 HAS SOPS 259078880 HAS SOUS 66034984 HAS SOUPS 66034984 WITH SCORE 6.629406288E7
AT ITER 9551 NEW BEST:: SOT 337260130 SOS 259089552 HAS SOPS 259089552 HAS SOUS 66032050 HAS SOUPS 66032050 WITH SCORE 6.6291139552E7
AT ITER 9559 NEW BEST:: SOT 337239822 SOS 259069244 HAS SOPS 259069244 HAS SOUS 66032050 HAS SOUPS 66032050 WITH SCORE 6.6291119244E7
AT ITER 9576 NEW BEST:: SOT 337253785 SOS 259083207 HAS SOPS 259083207 HAS SOUS 66030487 HAS SOUPS 66030487 WITH SCORE 6.6289570207E7
AT ITER 9578 NEW BEST:: SOT 337256982 SOS 259086404 HAS SOPS 259086404 HAS SOUS 66027290 HAS SOUPS 66027290 WITH SCORE 6.6286376404E7
AT ITER 9580 NEW BEST:: SOT 337271223 SOS 259100645 HAS SOPS 259100645 HAS SOUS 66025651 HAS SOUPS 66025651 WITH SCORE 6.6284751645E7
AT ITER 9581 NEW BEST:: SOT 337273213 SOS 259102635 HAS SOPS 259102635 HAS SOUS 66023951 HAS SOUPS 66023951 WITH SCORE 6.6283053635E7
AT ITER 9583 NEW BEST:: SOT 337300992 SOS 259130414 HAS SOPS 259130414 HAS SOUS 66018332 HAS SOUPS 66018332 WITH SCORE 6.6277462414E7
AT ITER 9601 NEW BEST:: SOT 337311935 SOS 259141357 HAS SOPS 259141357 HAS SOUS 66018213 HAS SOUPS 66018213 WITH SCORE 6.6277354357E7
AT ITER 9619 NEW BEST:: SOT 337323671 SOS 259153093 HAS SOPS 259153093 HAS SOUS 66017381 HAS SOUPS 66017381 WITH SCORE 6.6276534093E7
AT ITER 9620 NEW BEST:: SOT 337342934 SOS 259172356 HAS SOPS 259172356 HAS SOUS 66013174 HAS SOUPS 66013174 WITH SCORE 6.6272346356E7
AT ITER 9621 NEW BEST:: SOT 337357255 SOS 259186677 HAS SOPS 259186677 HAS SOUS 66008953 HAS SOUPS 66008953 WITH SCORE 6.6268139677E7
AT ITER 9626 NEW BEST:: SOT 337378768 SOS 259208190 HAS SOPS 259208190 HAS SOUS 66008320 HAS SOUPS 66008320 WITH SCORE 6.626752819E7
AT ITER 9628 NEW BEST:: SOT 337404022 SOS 259233444 HAS SOPS 259233444 HAS SOUS 66006200 HAS SOUPS 66006200 WITH SCORE 6.6265433444E7
AT ITER 9632 NEW BEST:: SOT 337409355 SOS 259238777 HAS SOPS 259238777 HAS SOUS 66003535 HAS SOUPS 66003535 WITH SCORE 6.6262773777E7
AT ITER 9633 NEW BEST:: SOT 337405183 SOS 259234605 HAS SOPS 259234605 HAS SOUS 66003535 HAS SOUPS 66003535 WITH SCORE 6.6262769605E7
AT ITER 9635 NEW BEST:: SOT 337421006 SOS 259250428 HAS SOPS 259250428 HAS SOUS 66001764 HAS SOUPS 66001764 WITH SCORE 6.6261014428E7
AT ITER 9638 NEW BEST:: SOT 337422488 SOS 259251910 HAS SOPS 259251910 HAS SOUS 66000282 HAS SOUPS 66000282 WITH SCORE 6.625953391E7
AT ITER 9639 NEW BEST:: SOT 337440042 SOS 259269464 HAS SOPS 259269464 HAS SOUS 65997372 HAS SOUPS 65997372 WITH SCORE 6.6256641464E7
AT ITER 9644 NEW BEST:: SOT 337447455 SOS 259276877 HAS SOPS 259276877 HAS SOUS 65995979 HAS SOUPS 65995979 WITH SCORE 6.6255255877E7
AT ITER 9651 NEW BEST:: SOT 337463956 SOS 259293378 HAS SOPS 259293378 HAS SOUS 65993614 HAS SOUPS 65993614 WITH SCORE 6.6252907378E7
AT ITER 9656 NEW BEST:: SOT 337479421 SOS 259308843 HAS SOPS 259308843 HAS SOUS 65992617 HAS SOUPS 65992617 WITH SCORE 6.6251925843E7
AT ITER 9662 NEW BEST:: SOT 337486726 SOS 259316148 HAS SOPS 259316148 HAS SOUS 65989036 HAS SOUPS 65989036 WITH SCORE 6.6248352148E7
AT ITER 9689 NEW BEST:: SOT 337510264 SOS 259339686 HAS SOPS 259339686 HAS SOUS 65986734 HAS SOUPS 65986734 WITH SCORE 6.6246073686E7
AT ITER 9697 NEW BEST:: SOT 337536639 SOS 259366061 HAS SOPS 259366061 HAS SOUS 65981057 HAS SOUPS 65981057 WITH SCORE 6.6240423061E7
AT ITER 9699 NEW BEST:: SOT 337546957 SOS 259376379 HAS SOPS 259376379 HAS SOUS 65979297 HAS SOUPS 65979297 WITH SCORE 6.6238673379E7
AT ITER 9704 NEW BEST:: SOT 337550946 SOS 259380368 HAS SOPS 259380368 HAS SOUS 65976846 HAS SOUPS 65976846 WITH SCORE 6.6236226368E7
AT ITER 9717 NEW BEST:: SOT 337555682 SOS 259385104 HAS SOPS 259385104 HAS SOUS 65976836 HAS SOUPS 65976836 WITH SCORE 6.6236221104E7
AT ITER 9721 NEW BEST:: SOT 337578988 SOS 259408410 HAS SOPS 259408410 HAS SOUS 65974722 HAS SOUPS 65974722 WITH SCORE 6.623413041E7
AT ITER 9723 NEW BEST:: SOT 337592856 SOS 259422278 HAS SOPS 259422278 HAS SOUS 65974144 HAS SOUPS 65974144 WITH SCORE 6.6233566278E7
AT ITER 9727 NEW BEST:: SOT 337610823 SOS 259440245 HAS SOPS 259440245 HAS SOUS 65973361 HAS SOUPS 65973361 WITH SCORE 6.6232801245E7
AT ITER 9730 NEW BEST:: SOT 337607555 SOS 259436977 HAS SOPS 259436977 HAS SOUS 65973361 HAS SOUPS 65973361 WITH SCORE 6.6232797977E7
AT ITER 9745 NEW BEST:: SOT 337624671 SOS 259454093 HAS SOPS 259454093 HAS SOUS 65971691 HAS SOUPS 65971691 WITH SCORE 6.6231145093E7
AT ITER 9746 NEW BEST:: SOT 337629343 SOS 259458765 HAS SOPS 259458765 HAS SOUS 65967949 HAS SOUPS 65967949 WITH SCORE 6.6227407765E7
AT ITER 9749 NEW BEST:: SOT 337640034 SOS 259469456 HAS SOPS 259469456 HAS SOUS 65967210 HAS SOUPS 65967210 WITH SCORE 6.6226679456E7
AT ITER 9750 NEW BEST:: SOT 337626908 SOS 259456330 HAS SOPS 259456330 HAS SOUS 65967210 HAS SOUPS 65967210 WITH SCORE 6.622666633E7
AT ITER 9759 NEW BEST:: SOT 337629840 SOS 259459262 HAS SOPS 259459262 HAS SOUS 65966808 HAS SOUPS 65966808 WITH SCORE 6.6226267262E7
AT ITER 9774 NEW BEST:: SOT 337643939 SOS 259473361 HAS SOPS 259473361 HAS SOUS 65961923 HAS SOUPS 65961923 WITH SCORE 6.6221396361E7
AT ITER 9783 NEW BEST:: SOT 337666658 SOS 259496080 HAS SOPS 259496080 HAS SOUS 65956320 HAS SOUPS 65956320 WITH SCORE 6.621581608E7
AT ITER 9786 NEW BEST:: SOT 337681725 SOS 259511147 HAS SOPS 259511147 HAS SOUS 65955467 HAS SOUPS 65955467 WITH SCORE 6.6214978147E7
AT ITER 9790 NEW BEST:: SOT 337699537 SOS 259528959 HAS SOPS 259528959 HAS SOUS 65951491 HAS SOUPS 65951491 WITH SCORE 6.6211019959E7
AT ITER 9792 NEW BEST:: SOT 337710462 SOS 259539884 HAS SOPS 259539884 HAS SOUS 65945852 HAS SOUPS 65945852 WITH SCORE 6.6205391884E7
AT ITER 9793 NEW BEST:: SOT 337721784 SOS 259551206 HAS SOPS 259551206 HAS SOUS 65940146 HAS SOUPS 65940146 WITH SCORE 6.6199697206E7
AT ITER 9795 NEW BEST:: SOT 337740160 SOS 259569582 HAS SOPS 259569582 HAS SOUS 65936858 HAS SOUPS 65936858 WITH SCORE 6.6196427582E7
AT ITER 9799 NEW BEST:: SOT 337763606 SOS 259593028 HAS SOPS 259593028 HAS SOUS 65936346 HAS SOUPS 65936346 WITH SCORE 6.6195939028E7
AT ITER 9807 NEW BEST:: SOT 337770022 SOS 259599444 HAS SOPS 259599444 HAS SOUS 65932298 HAS SOUPS 65932298 WITH SCORE 6.6191897444E7
AT ITER 9817 NEW BEST:: SOT 337782667 SOS 259612089 HAS SOPS 259612089 HAS SOUS 65927279 HAS SOUPS 65927279 WITH SCORE 6.6186891089E7
AT ITER 9837 NEW BEST:: SOT 337799680 SOS 259629102 HAS SOPS 259629102 HAS SOUS 65924382 HAS SOUPS 65924382 WITH SCORE 6.6184011102E7
AT ITER 9842 NEW BEST:: SOT 337806018 SOS 259635440 HAS SOPS 259635440 HAS SOUS 65922856 HAS SOUPS 65922856 WITH SCORE 6.618249144E7
AT ITER 9851 NEW BEST:: SOT 337813862 SOS 259643284 HAS SOPS 259643284 HAS SOUS 65919518 HAS SOUPS 65919518 WITH SCORE 6.6179161284E7
AT ITER 9852 NEW BEST:: SOT 337818305 SOS 259647727 HAS SOPS 259647727 HAS SOUS 65917975 HAS SOUPS 65917975 WITH SCORE 6.6177622727E7
AT ITER 9853 NEW BEST:: SOT 337832697 SOS 259662119 HAS SOPS 259662119 HAS SOUS 65913805 HAS SOUPS 65913805 WITH SCORE 6.6173467119E7
AT ITER 9856 NEW BEST:: SOT 337838873 SOS 259668295 HAS SOPS 259668295 HAS SOUS 65910705 HAS SOUPS 65910705 WITH SCORE 6.6170373295E7
AT ITER 9857 NEW BEST:: SOT 337851382 SOS 259680804 HAS SOPS 259680804 HAS SOUS 65910042 HAS SOUPS 65910042 WITH SCORE 6.6169722804E7
AT ITER 9859 NEW BEST:: SOT 337862366 SOS 259691788 HAS SOPS 259691788 HAS SOUS 65906666 HAS SOUPS 65906666 WITH SCORE 6.6166357788E7
AT ITER 9861 NEW BEST:: SOT 337861862 SOS 259691284 HAS SOPS 259691284 HAS SOUS 65906666 HAS SOUPS 65906666 WITH SCORE 6.6166357284E7
AT ITER 9868 NEW BEST:: SOT 337873379 SOS 259702801 HAS SOPS 259702801 HAS SOUS 65903585 HAS SOUPS 65903585 WITH SCORE 6.6163287801E7
AT ITER 9870 NEW BEST:: SOT 337896271 SOS 259725693 HAS SOPS 259725693 HAS SOUS 65900411 HAS SOUPS 65900411 WITH SCORE 6.6160136693E7
AT ITER 9872 NEW BEST:: SOT 337909653 SOS 259739075 HAS SOPS 259739075 HAS SOUS 65897235 HAS SOUPS 65897235 WITH SCORE 6.6156974075E7
AT ITER 9883 NEW BEST:: SOT 337911471 SOS 259740893 HAS SOPS 259740893 HAS SOUS 65895447 HAS SOUPS 65895447 WITH SCORE 6.6155187893E7
AT ITER 9884 NEW BEST:: SOT 337932544 SOS 259761966 HAS SOPS 259761966 HAS SOUS 65892522 HAS SOUPS 65892522 WITH SCORE 6.6152283966E7
AT ITER 9901 NEW BEST:: SOT 337947397 SOS 259776819 HAS SOPS 259776819 HAS SOUS 65887611 HAS SOUPS 65887611 WITH SCORE 6.6147387819E7
AT ITER 9912 NEW BEST:: SOT 337969929 SOS 259799351 HAS SOPS 259799351 HAS SOUS 65884047 HAS SOUPS 65884047 WITH SCORE 6.6143846351E7
AT ITER 9913 NEW BEST:: SOT 337992077 SOS 259821499 HAS SOPS 259821499 HAS SOUS 65880723 HAS SOUPS 65880723 WITH SCORE 6.6140544499E7
AT ITER 9917 NEW BEST:: SOT 338009209 SOS 259838631 HAS SOPS 259838631 HAS SOUS 65875299 HAS SOUPS 65875299 WITH SCORE 6.6135137631E7
AT ITER 9918 NEW BEST:: SOT 338021389 SOS 259850811 HAS SOPS 259850811 HAS SOUS 65875229 HAS SOUPS 65875229 WITH SCORE 6.6135079811E7
AT ITER 9919 NEW BEST:: SOT 338040167 SOS 259869589 HAS SOPS 259869589 HAS SOUS 65874473 HAS SOUPS 65874473 WITH SCORE 6.6134342589E7
AT ITER 9927 NEW BEST:: SOT 338028099 SOS 259857521 HAS SOPS 259857521 HAS SOUS 65874473 HAS SOUPS 65874473 WITH SCORE 6.6134330521E7
AT ITER 9931 NEW BEST:: SOT 338047939 SOS 259877361 HAS SOPS 259877361 HAS SOUS 65874057 HAS SOUPS 65874057 WITH SCORE 6.6133934361E7
AT ITER 9935 NEW BEST:: SOT 338036645 SOS 259866067 HAS SOPS 259866067 HAS SOUS 65874057 HAS SOUPS 65874057 WITH SCORE 6.6133923067E7
AT ITER 9936 NEW BEST:: SOT 338037840 SOS 259867262 HAS SOPS 259867262 HAS SOUS 65873246 HAS SOUPS 65873246 WITH SCORE 6.6133113262E7
AT ITER 9954 NEW BEST:: SOT 338063295 SOS 259892717 HAS SOPS 259892717 HAS SOUS 65870821 HAS SOUPS 65870821 WITH SCORE 6.6130713717E7
AT ITER 9963 NEW BEST:: SOT 338072638 SOS 259902060 HAS SOPS 259902060 HAS SOUS 65870358 HAS SOUPS 65870358 WITH SCORE 6.613026006E7
AT ITER 9969 NEW BEST:: SOT 338097126 SOS 259926548 HAS SOPS 259926548 HAS SOUS 65866838 HAS SOUPS 65866838 WITH SCORE 6.6126764548E7
AT ITER 9976 NEW BEST:: SOT 338105047 SOS 259934469 HAS SOPS 259934469 HAS SOUS 65861517 HAS SOUPS 65861517 WITH SCORE 6.6121451469E7
AT ITER 9980 NEW BEST:: SOT 338105314 SOS 259934736 HAS SOPS 259934736 HAS SOUS 65861250 HAS SOUPS 65861250 WITH SCORE 6.6121184736E7
AT ITER 9981 NEW BEST:: SOT 338127862 SOS 259957284 HAS SOPS 259957284 HAS SOUS 65861026 HAS SOUPS 65861026 WITH SCORE 6.6120983284E7
AT ITER 9993 NEW BEST:: SOT 338138955 SOS 259968377 HAS SOPS 259968377 HAS SOUS 65858799 HAS SOUPS 65858799 WITH SCORE 6.6118767377E7
AT ITER 9996 NEW BEST:: SOT 338148612 SOS 259978034 HAS SOPS 259978034 HAS SOUS 65856792 HAS SOUPS 65856792 WITH SCORE 6.6116770034E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 14459080 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16113492 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AirplaneLD-COL-4000"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is AirplaneLD-COL-4000, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-oct2-167813590600240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-COL-4000.tgz
mv AirplaneLD-COL-4000 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;