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.r235-tall-167856421900528.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is LeafsetExtension-PT-S64C2, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421900528
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 15K Feb 25 16:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 98K Feb 25 16:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 16:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 16:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 16:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K Feb 25 16:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 16:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 51K Feb 25 16:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K Feb 25 16:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 25 16:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 14M 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 1678666974027

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=LeafsetExtension-PT-S64C2
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 00:22:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 00:22:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 00:22:56] [INFO ] Load time of PNML (sax parser for PT used): 567 ms
[2023-03-13 00:22:56] [INFO ] Transformed 21462 places.
[2023-03-13 00:22:56] [INFO ] Transformed 21129 transitions.
[2023-03-13 00:22:56] [INFO ] Parsed PT model containing 21462 places and 21129 transitions and 67740 arcs in 714 ms.
[2023-03-13 00:22:56] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 21462 places, 21129 transitions and 67740 arcs took 155 ms.
Total runtime 901 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S64C2
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 21462 places, 21129 transitions, 67740 arcs.
AT ITER 0 NEW BEST:: SOT 257288034 SOS 58916937 HAS SOPS 58736799 HAS SOUS 52959936 HAS SOUPS 52941851 WITH SCORE 5.3000767937E7
AT ITER 36 NEW BEST:: SOT 257287218 SOS 58916936 HAS SOPS 58736798 HAS SOUS 52959935 HAS SOUPS 52941850 WITH SCORE 5.3000766936E7
AT ITER 41 NEW BEST:: SOT 257286271 SOS 58917089 HAS SOPS 58736951 HAS SOUS 52959141 HAS SOUPS 52941056 WITH SCORE 5.2999973089E7
AT ITER 45 NEW BEST:: SOT 257286071 SOS 58916889 HAS SOPS 58736751 HAS SOUS 52958941 HAS SOUPS 52940856 WITH SCORE 5.2999772889E7
AT ITER 62 NEW BEST:: SOT 257276580 SOS 58907694 HAS SOPS 58727556 HAS SOUS 52949746 HAS SOUPS 52931661 WITH SCORE 5.2990568694E7
AT ITER 94 NEW BEST:: SOT 257275691 SOS 58848316 HAS SOPS 58668178 HAS SOUS 52947968 HAS SOUPS 52929883 WITH SCORE 5.2988731316E7
AT ITER 113 NEW BEST:: SOT 257274672 SOS 58848316 HAS SOPS 58668178 HAS SOUS 52946949 HAS SOUPS 52928864 WITH SCORE 5.2987712316E7
AT ITER 137 NEW BEST:: SOT 257273388 SOS 58847038 HAS SOPS 58666900 HAS SOUS 52945665 HAS SOUPS 52927580 WITH SCORE 5.2986427038E7
AT ITER 143 NEW BEST:: SOT 257271214 SOS 58845178 HAS SOPS 58665040 HAS SOUS 52943845 HAS SOUPS 52925760 WITH SCORE 5.2984605178E7
AT ITER 149 NEW BEST:: SOT 257270901 SOS 58845177 HAS SOPS 58665039 HAS SOUS 52943844 HAS SOUPS 52925759 WITH SCORE 5.2984604177E7
AT ITER 150 NEW BEST:: SOT 257270901 SOS 58844616 HAS SOPS 58664478 HAS SOUS 52943268 HAS SOUPS 52925183 WITH SCORE 5.2984027616E7
AT ITER 190 NEW BEST:: SOT 257270901 SOS 58843672 HAS SOPS 58663534 HAS SOUS 52942309 HAS SOUPS 52924224 WITH SCORE 5.2983067672E7
AT ITER 214 NEW BEST:: SOT 257269071 SOS 58841842 HAS SOPS 58661704 HAS SOUS 52940479 HAS SOUPS 52922394 WITH SCORE 5.2981235842E7
AT ITER 236 NEW BEST:: SOT 257268227 SOS 58841841 HAS SOPS 58661703 HAS SOUS 52940478 HAS SOUPS 52922393 WITH SCORE 5.2981234841E7
AT ITER 271 NEW BEST:: SOT 257268227 SOS 58824721 HAS SOPS 58644583 HAS SOUS 52938903 HAS SOUPS 52920818 WITH SCORE 5.2979642721E7
AT ITER 311 NEW BEST:: SOT 257268227 SOS 58824721 HAS SOPS 58644583 HAS SOUS 52938901 HAS SOUPS 52920816 WITH SCORE 5.2979640721E7
AT ITER 352 NEW BEST:: SOT 257268227 SOS 58824720 HAS SOPS 58644582 HAS SOUS 52938900 HAS SOUPS 52920815 WITH SCORE 5.297963972E7
AT ITER 361 NEW BEST:: SOT 257265814 SOS 58823678 HAS SOPS 58643540 HAS SOUS 52938261 HAS SOUPS 52920176 WITH SCORE 5.2978999678E7
AT ITER 364 NEW BEST:: SOT 257263587 SOS 58822398 HAS SOPS 58642260 HAS SOUS 52937695 HAS SOUPS 52919610 WITH SCORE 5.2978432398E7
AT ITER 391 NEW BEST:: SOT 257263587 SOS 58821638 HAS SOPS 58641500 HAS SOUS 52937695 HAS SOUPS 52919610 WITH SCORE 5.2978431638E7
AT ITER 454 NEW BEST:: SOT 257263587 SOS 58821692 HAS SOPS 58641554 HAS SOUS 52936810 HAS SOUPS 52918725 WITH SCORE 5.2977546692E7
AT ITER 456 NEW BEST:: SOT 257263587 SOS 58820788 HAS SOPS 58640650 HAS SOUS 52935002 HAS SOUPS 52916917 WITH SCORE 5.2975737788E7
AT ITER 475 NEW BEST:: SOT 257259311 SOS 58816512 HAS SOPS 58636374 HAS SOUS 52930726 HAS SOUPS 52912641 WITH SCORE 5.2971457512E7
AT ITER 480 NEW BEST:: SOT 257258598 SOS 58816511 HAS SOPS 58636373 HAS SOUS 52930725 HAS SOUPS 52912640 WITH SCORE 5.2971456511E7
AT ITER 512 NEW BEST:: SOT 257258598 SOS 58815863 HAS SOPS 58635725 HAS SOUS 52930064 HAS SOUPS 52911979 WITH SCORE 5.2970794863E7
AT ITER 553 NEW BEST:: SOT 257247066 SOS 58804702 HAS SOPS 58624564 HAS SOUS 52918903 HAS SOUPS 52900818 WITH SCORE 5.2959622702E7
AT ITER 567 NEW BEST:: SOT 257245714 SOS 58803350 HAS SOPS 58623212 HAS SOUS 52917551 HAS SOUPS 52899466 WITH SCORE 5.295826935E7
AT ITER 617 NEW BEST:: SOT 257244475 SOS 58804174 HAS SOPS 58624036 HAS SOUS 52917136 HAS SOUPS 52899051 WITH SCORE 5.2957855174E7
AT ITER 630 NEW BEST:: SOT 255090269 SOS 62830538 HAS SOPS 62650400 HAS SOUS 50770929 HAS SOUPS 50752844 WITH SCORE 5.0815674538E7
AT ITER 645 NEW BEST:: SOT 255089161 SOS 62829430 HAS SOPS 62649292 HAS SOUS 50769821 HAS SOUPS 50751736 WITH SCORE 5.081456543E7
AT ITER 660 NEW BEST:: SOT 255088234 SOS 62828503 HAS SOPS 62648365 HAS SOUS 50768894 HAS SOUPS 50750809 WITH SCORE 5.0813637503E7
AT ITER 670 NEW BEST:: SOT 255088234 SOS 62828502 HAS SOPS 62648364 HAS SOUS 50768893 HAS SOUPS 50750808 WITH SCORE 5.0813636502E7
AT ITER 701 NEW BEST:: SOT 255088234 SOS 62828502 HAS SOPS 62648364 HAS SOUS 50767357 HAS SOUPS 50749272 WITH SCORE 5.0812100502E7
AT ITER 722 NEW BEST:: SOT 255085468 SOS 62825864 HAS SOPS 62645643 HAS SOUS 50764636 HAS SOUPS 50746551 WITH SCORE 5.0809376864E7
AT ITER 732 NEW BEST:: SOT 255083934 SOS 62824345 HAS SOPS 62644124 HAS SOUS 50763102 HAS SOUPS 50745017 WITH SCORE 5.0807841345E7
AT ITER 736 NEW BEST:: SOT 255082905 SOS 62824345 HAS SOPS 62644124 HAS SOUS 50762073 HAS SOUPS 50743988 WITH SCORE 5.0806812345E7
AT ITER 762 NEW BEST:: SOT 254912824 SOS 62906369 HAS SOPS 62726148 HAS SOUS 50605093 HAS SOUPS 50587008 WITH SCORE 5.0649914369E7
AT ITER 781 NEW BEST:: SOT 254912824 SOS 62906250 HAS SOPS 62726029 HAS SOUS 50604974 HAS SOUPS 50586889 WITH SCORE 5.064979525E7
AT ITER 845 NEW BEST:: SOT 254912824 SOS 62906250 HAS SOPS 62726029 HAS SOUS 50603050 HAS SOUPS 50584965 WITH SCORE 5.064787125E7
AT ITER 848 NEW BEST:: SOT 254912824 SOS 62906250 HAS SOPS 62726029 HAS SOUS 50601659 HAS SOUPS 50583574 WITH SCORE 5.064648025E7
AT ITER 883 NEW BEST:: SOT 254912824 SOS 62905286 HAS SOPS 62725065 HAS SOUS 50600676 HAS SOUPS 50582591 WITH SCORE 5.0645496286E7
AT ITER 885 NEW BEST:: SOT 254739779 SOS 63048990 HAS SOPS 62868769 HAS SOUS 50442767 HAS SOUPS 50424682 WITH SCORE 5.048773099E7
AT ITER 920 NEW BEST:: SOT 254736506 SOS 63045717 HAS SOPS 62865496 HAS SOUS 50439494 HAS SOUPS 50421409 WITH SCORE 5.0484454717E7
AT ITER 931 NEW BEST:: SOT 254736954 SOS 63046165 HAS SOPS 62865944 HAS SOUS 50438085 HAS SOUPS 50420000 WITH SCORE 5.0483046165E7
AT ITER 936 NEW BEST:: SOT 254734759 SOS 63043970 HAS SOPS 62863749 HAS SOUS 50435890 HAS SOUPS 50417805 WITH SCORE 5.048084897E7
AT ITER 971 NEW BEST:: SOT 254734759 SOS 63043970 HAS SOPS 62863749 HAS SOUS 50434504 HAS SOUPS 50416419 WITH SCORE 5.047946297E7
AT ITER 984 NEW BEST:: SOT 254732644 SOS 63041885 HAS SOPS 62861664 HAS SOUS 50432531 HAS SOUPS 50414446 WITH SCORE 5.0477487885E7
AT ITER 1023 NEW BEST:: SOT 254725585 SOS 63175138 HAS SOPS 62994822 HAS SOUS 50430423 HAS SOUPS 50412338 WITH SCORE 5.0475513138E7
AT ITER 1044 NEW BEST:: SOT 254723360 SOS 63174390 HAS SOPS 62994074 HAS SOUS 50429667 HAS SOUPS 50411582 WITH SCORE 5.047475639E7
AT ITER 1115 NEW BEST:: SOT 254723360 SOS 63174390 HAS SOPS 62994074 HAS SOUS 50427609 HAS SOUPS 50409524 WITH SCORE 5.047269839E7
AT ITER 1119 NEW BEST:: SOT 254723360 SOS 63174390 HAS SOPS 62994074 HAS SOUS 50425726 HAS SOUPS 50407641 WITH SCORE 5.047081539E7
AT ITER 1137 NEW BEST:: SOT 254721849 SOS 63172895 HAS SOPS 62992579 HAS SOUS 50424215 HAS SOUPS 50406130 WITH SCORE 5.0469302895E7
AT ITER 1163 NEW BEST:: SOT 254721849 SOS 63172895 HAS SOPS 62992579 HAS SOUS 50422707 HAS SOUPS 50404622 WITH SCORE 5.0467794895E7
AT ITER 1177 NEW BEST:: SOT 254721849 SOS 63171431 HAS SOPS 62991115 HAS SOUS 50421241 HAS SOUPS 50403156 WITH SCORE 5.0466327431E7
AT ITER 1229 NEW BEST:: SOT 254720826 SOS 63170420 HAS SOPS 62990104 HAS SOUS 50420218 HAS SOUPS 50402133 WITH SCORE 5.046530342E7
AT ITER 1237 NEW BEST:: SOT 254648288 SOS 63336554 HAS SOPS 62921459 HAS SOUS 50353823 HAS SOUPS 50332063 WITH SCORE 5.0395399554E7
AT ITER 1242 NEW BEST:: SOT 254646231 SOS 63334524 HAS SOPS 62919429 HAS SOUS 50350443 HAS SOUPS 50328683 WITH SCORE 5.0392017524E7
AT ITER 1272 NEW BEST:: SOT 254646231 SOS 63334524 HAS SOPS 62919429 HAS SOUS 50349655 HAS SOUPS 50327895 WITH SCORE 5.0391229524E7
AT ITER 1275 NEW BEST:: SOT 254643271 SOS 63426284 HAS SOPS 62916469 HAS SOUS 50349655 HAS SOUPS 50324935 WITH SCORE 5.0388361284E7
AT ITER 1297 NEW BEST:: SOT 254643271 SOS 63426284 HAS SOPS 62916469 HAS SOUS 50348522 HAS SOUPS 50323802 WITH SCORE 5.0387228284E7
AT ITER 1308 NEW BEST:: SOT 254642223 SOS 63425236 HAS SOPS 62915421 HAS SOUS 50347474 HAS SOUPS 50322754 WITH SCORE 5.0386179236E7
AT ITER 1323 NEW BEST:: SOT 254642223 SOS 63425236 HAS SOPS 62915421 HAS SOUS 50347188 HAS SOUPS 50322468 WITH SCORE 5.0385893236E7
AT ITER 1343 NEW BEST:: SOT 254639330 SOS 63424370 HAS SOPS 62914555 HAS SOUS 50346554 HAS SOUPS 50321834 WITH SCORE 5.038525837E7
AT ITER 1349 NEW BEST:: SOT 254636620 SOS 63423316 HAS SOPS 62913501 HAS SOUS 50345536 HAS SOUPS 50320816 WITH SCORE 5.0384239316E7
AT ITER 1363 NEW BEST:: SOT 254634348 SOS 63422282 HAS SOPS 62912467 HAS SOUS 50345168 HAS SOUPS 50320448 WITH SCORE 5.0383870282E7
AT ITER 1364 NEW BEST:: SOT 254634348 SOS 63422282 HAS SOPS 62912467 HAS SOUS 50343182 HAS SOUPS 50318462 WITH SCORE 5.0381884282E7
AT ITER 1402 NEW BEST:: SOT 254634348 SOS 63422282 HAS SOPS 62912467 HAS SOUS 50341312 HAS SOUPS 50316592 WITH SCORE 5.0380014282E7
AT ITER 1409 NEW BEST:: SOT 254634348 SOS 63422282 HAS SOPS 62912467 HAS SOUS 50339430 HAS SOUPS 50314710 WITH SCORE 5.0378132282E7
AT ITER 1414 NEW BEST:: SOT 254632924 SOS 63420858 HAS SOPS 62911043 HAS SOUS 50338006 HAS SOUPS 50313286 WITH SCORE 5.0376706858E7
AT ITER 1429 NEW BEST:: SOT 254632924 SOS 63420239 HAS SOPS 62910424 HAS SOUS 50336768 HAS SOUPS 50312048 WITH SCORE 5.0375468239E7
AT ITER 1440 NEW BEST:: SOT 254630929 SOS 63416249 HAS SOPS 62906434 HAS SOUS 50334773 HAS SOUPS 50310053 WITH SCORE 5.0373469249E7
AT ITER 1515 NEW BEST:: SOT 254628815 SOS 63414159 HAS SOPS 62904344 HAS SOUS 50332818 HAS SOUPS 50308098 WITH SCORE 5.0371512159E7
AT ITER 1527 NEW BEST:: SOT 254628815 SOS 63414159 HAS SOPS 62904344 HAS SOUS 50330782 HAS SOUPS 50306062 WITH SCORE 5.0369476159E7
AT ITER 1533 NEW BEST:: SOT 254626497 SOS 63413123 HAS SOPS 62903308 HAS SOUS 50330369 HAS SOUPS 50305649 WITH SCORE 5.0369062123E7
AT ITER 1632 NEW BEST:: SOT 254624757 SOS 63411404 HAS SOPS 62901589 HAS SOUS 50328629 HAS SOUPS 50303909 WITH SCORE 5.0367320404E7
AT ITER 1659 NEW BEST:: SOT 254622226 SOS 63408873 HAS SOPS 62899058 HAS SOUS 50326098 HAS SOUPS 50301378 WITH SCORE 5.0364786873E7
AT ITER 1673 NEW BEST:: SOT 254620767 SOS 63409891 HAS SOPS 62900076 HAS SOUS 50325657 HAS SOUPS 50300937 WITH SCORE 5.0364346891E7
AT ITER 1681 NEW BEST:: SOT 254619864 SOS 63409006 HAS SOPS 62899191 HAS SOUS 50324754 HAS SOUPS 50300034 WITH SCORE 5.0363443006E7
AT ITER 1715 NEW BEST:: SOT 254612346 SOS 63411150 HAS SOPS 62901335 HAS SOUS 50319640 HAS SOUPS 50294920 WITH SCORE 5.035833115E7
AT ITER 1716 NEW BEST:: SOT 254610637 SOS 63411998 HAS SOPS 62902183 HAS SOUS 50318778 HAS SOUPS 50294058 WITH SCORE 5.0357469998E7
AT ITER 1718 NEW BEST:: SOT 254610637 SOS 63413583 HAS SOPS 62903768 HAS SOUS 50317722 HAS SOUPS 50293002 WITH SCORE 5.0356415583E7
AT ITER 1785 NEW BEST:: SOT 254610637 SOS 63414326 HAS SOPS 62904511 HAS SOUS 50317335 HAS SOUPS 50292615 WITH SCORE 5.0356029326E7
AT ITER 1798 NEW BEST:: SOT 254609675 SOS 63392003 HAS SOPS 62882188 HAS SOUS 50316172 HAS SOUPS 50291452 WITH SCORE 5.0354844003E7
AT ITER 1809 NEW BEST:: SOT 254610821 SOS 63393149 HAS SOPS 62883334 HAS SOUS 50315810 HAS SOUPS 50291090 WITH SCORE 5.0354483149E7
AT ITER 1813 NEW BEST:: SOT 254540738 SOS 63327751 HAS SOPS 62817936 HAS SOUS 50247996 HAS SOUPS 50223276 WITH SCORE 5.0286603751E7
AT ITER 1846 NEW BEST:: SOT 254538624 SOS 63325668 HAS SOPS 62815853 HAS SOUS 50246654 HAS SOUPS 50221934 WITH SCORE 5.0285259668E7
AT ITER 1857 NEW BEST:: SOT 254536193 SOS 63323237 HAS SOPS 62813422 HAS SOUS 50244223 HAS SOUPS 50219503 WITH SCORE 5.0282826237E7
AT ITER 1872 NEW BEST:: SOT 254534503 SOS 63321547 HAS SOPS 62811732 HAS SOUS 50242533 HAS SOUPS 50217813 WITH SCORE 5.0281134547E7
AT ITER 1900 NEW BEST:: SOT 254534503 SOS 63321547 HAS SOPS 62811732 HAS SOUS 50240846 HAS SOUPS 50216126 WITH SCORE 5.0279447547E7
AT ITER 1912 NEW BEST:: SOT 254534503 SOS 63321547 HAS SOPS 62811732 HAS SOUS 50239436 HAS SOUPS 50214716 WITH SCORE 5.0278037547E7
AT ITER 1923 NEW BEST:: SOT 254534503 SOS 63321547 HAS SOPS 62811732 HAS SOUS 50237614 HAS SOUPS 50212894 WITH SCORE 5.0276215547E7
AT ITER 1941 NEW BEST:: SOT 254534503 SOS 63322020 HAS SOPS 62812205 HAS SOUS 50236558 HAS SOUPS 50211838 WITH SCORE 5.027516002E7
AT ITER 1957 NEW BEST:: SOT 254534503 SOS 63322020 HAS SOPS 62812205 HAS SOUS 50234918 HAS SOUPS 50210198 WITH SCORE 5.027352002E7
AT ITER 2021 NEW BEST:: SOT 254534503 SOS 63322020 HAS SOPS 62812205 HAS SOUS 50233607 HAS SOUPS 50208887 WITH SCORE 5.027220902E7
AT ITER 2055 NEW BEST:: SOT 254511768 SOS 63589680 HAS SOPS 63081622 HAS SOUS 50226259 HAS SOUPS 50201539 WITH SCORE 5.026512868E7
AT ITER 2070 NEW BEST:: SOT 254509420 SOS 63589679 HAS SOPS 63081621 HAS SOUS 50226258 HAS SOUPS 50201538 WITH SCORE 5.0265127679E7
AT ITER 2078 NEW BEST:: SOT 254509539 SOS 63589798 HAS SOPS 63081740 HAS SOUS 50224356 HAS SOUPS 50199636 WITH SCORE 5.0263225798E7
AT ITER 2092 NEW BEST:: SOT 254506934 SOS 63588926 HAS SOPS 63080868 HAS SOUS 50223981 HAS SOUPS 50199261 WITH SCORE 5.0262849926E7
AT ITER 2108 NEW BEST:: SOT 254506934 SOS 63588046 HAS SOPS 63079988 HAS SOUS 50220877 HAS SOUPS 50196157 WITH SCORE 5.0259745046E7
AT ITER 2133 NEW BEST:: SOT 254505899 SOS 63588046 HAS SOPS 63079988 HAS SOUS 50219842 HAS SOUPS 50195122 WITH SCORE 5.0258710046E7
AT ITER 2136 NEW BEST:: SOT 254370984 SOS 63498298 HAS SOPS 62990182 HAS SOUS 50086503 HAS SOUPS 50061783 WITH SCORE 5.0125281298E7
AT ITER 2145 NEW BEST:: SOT 254370984 SOS 63498298 HAS SOPS 62990182 HAS SOUS 50086187 HAS SOUPS 50061467 WITH SCORE 5.0124965298E7
AT ITER 2183 NEW BEST:: SOT 254370598 SOS 63497912 HAS SOPS 62989410 HAS SOUS 50086128 HAS SOUPS 50061081 WITH SCORE 5.0124578912E7
AT ITER 2187 NEW BEST:: SOT 254368483 SOS 63495828 HAS SOPS 62987326 HAS SOUS 50084993 HAS SOUPS 50059946 WITH SCORE 5.0123441828E7
AT ITER 2197 NEW BEST:: SOT 254369435 SOS 63496780 HAS SOPS 62988278 HAS SOUS 50084340 HAS SOUPS 50059293 WITH SCORE 5.012278978E7
AT ITER 2226 NEW BEST:: SOT 254366769 SOS 63495730 HAS SOPS 62987228 HAS SOUS 50083452 HAS SOUPS 50058405 WITH SCORE 5.012190073E7
AT ITER 2234 NEW BEST:: SOT 254364654 SOS 63493643 HAS SOPS 62985141 HAS SOUS 50081422 HAS SOUPS 50056375 WITH SCORE 5.0119868643E7
AT ITER 2247 NEW BEST:: SOT 254363546 SOS 63492544 HAS SOPS 62984042 HAS SOUS 50080314 HAS SOUPS 50055267 WITH SCORE 5.0118759544E7
AT ITER 2253 NEW BEST:: SOT 254363546 SOS 63492544 HAS SOPS 62984042 HAS SOUS 50078332 HAS SOUPS 50053285 WITH SCORE 5.0116777544E7
AT ITER 2254 NEW BEST:: SOT 254363546 SOS 63492544 HAS SOPS 62984042 HAS SOUS 50077598 HAS SOUPS 50052551 WITH SCORE 5.0116043544E7
AT ITER 2260 NEW BEST:: SOT 254363546 SOS 63492544 HAS SOPS 62984042 HAS SOUS 50075998 HAS SOUPS 50050951 WITH SCORE 5.0114443544E7
AT ITER 2262 NEW BEST:: SOT 254360986 SOS 63492556 HAS SOPS 62984054 HAS SOUS 50073438 HAS SOUPS 50048391 WITH SCORE 5.0111883556E7
AT ITER 2265 NEW BEST:: SOT 254360986 SOS 63491551 HAS SOPS 62983049 HAS SOUS 50071328 HAS SOUPS 50046281 WITH SCORE 5.0109772551E7
AT ITER 2296 NEW BEST:: SOT 254359568 SOS 63490140 HAS SOPS 62981638 HAS SOUS 50069910 HAS SOUPS 50044863 WITH SCORE 5.010835314E7
AT ITER 2303 NEW BEST:: SOT 254355649 SOS 63486221 HAS SOPS 62977719 HAS SOUS 50065991 HAS SOUPS 50040944 WITH SCORE 5.0104430221E7
AT ITER 2310 NEW BEST:: SOT 254354484 SOS 63485063 HAS SOPS 62976561 HAS SOUS 50064826 HAS SOUPS 50039779 WITH SCORE 5.0103264063E7
AT ITER 2313 NEW BEST:: SOT 254354484 SOS 63484040 HAS SOPS 62975538 HAS SOUS 50063801 HAS SOUPS 50038754 WITH SCORE 5.010223804E7
AT ITER 2391 NEW BEST:: SOT 254354920 SOS 63484476 HAS SOPS 62975974 HAS SOUS 50062374 HAS SOUPS 50037327 WITH SCORE 5.0100811476E7
AT ITER 2448 NEW BEST:: SOT 254352731 SOS 63484475 HAS SOPS 62975973 HAS SOUS 50062373 HAS SOUPS 50037326 WITH SCORE 5.0100810475E7
AT ITER 2465 NEW BEST:: SOT 254351849 SOS 63483336 HAS SOPS 62974757 HAS SOUS 50061157 HAS SOUPS 50036110 WITH SCORE 5.0099593336E7
AT ITER 2482 NEW BEST:: SOT 254326837 SOS 63459111 HAS SOPS 62950475 HAS SOUS 50036343 HAS SOUPS 50011296 WITH SCORE 5.0074755111E7
AT ITER 2503 NEW BEST:: SOT 254325644 SOS 63456923 HAS SOPS 62948287 HAS SOUS 50033242 HAS SOUPS 50008195 WITH SCORE 5.0071651923E7
AT ITER 2504 NEW BEST:: SOT 254325221 SOS 63442541 HAS SOPS 62933905 HAS SOUS 50032396 HAS SOUPS 50007349 WITH SCORE 5.0070791541E7
AT ITER 2510 NEW BEST:: SOT 254322856 SOS 63441495 HAS SOPS 62932859 HAS SOUS 50031506 HAS SOUPS 50006459 WITH SCORE 5.0069900495E7
AT ITER 2518 NEW BEST:: SOT 254320484 SOS 63440459 HAS SOPS 62931823 HAS SOUS 50031094 HAS SOUPS 50006047 WITH SCORE 5.0069487459E7
AT ITER 2550 NEW BEST:: SOT 254318369 SOS 63438375 HAS SOPS 62929739 HAS SOUS 50029348 HAS SOUPS 50004301 WITH SCORE 5.0067739375E7
AT ITER 2578 NEW BEST:: SOT 254318369 SOS 63437575 HAS SOPS 62928939 HAS SOUS 50029348 HAS SOUPS 50004301 WITH SCORE 5.0067738575E7
AT ITER 2596 NEW BEST:: SOT 254315946 SOS 63435152 HAS SOPS 62926516 HAS SOUS 50026925 HAS SOUPS 50001878 WITH SCORE 5.0065313152E7
AT ITER 2605 NEW BEST:: SOT 254313054 SOS 63432260 HAS SOPS 62923624 HAS SOUS 50024033 HAS SOUPS 49998986 WITH SCORE 5.006241826E7
AT ITER 2610 NEW BEST:: SOT 254312136 SOS 63403102 HAS SOPS 62894466 HAS SOUS 50023274 HAS SOUPS 49998227 WITH SCORE 5.0061630102E7
AT ITER 2629 NEW BEST:: SOT 254312136 SOS 63402147 HAS SOPS 62893511 HAS SOUS 50021364 HAS SOUPS 49996317 WITH SCORE 5.0059719147E7
AT ITER 2661 NEW BEST:: SOT 254304047 SOS 63399077 HAS SOPS 62890441 HAS SOUS 50014867 HAS SOUPS 49989820 WITH SCORE 5.0053219077E7
AT ITER 2674 NEW BEST:: SOT 254304047 SOS 63399077 HAS SOPS 62890441 HAS SOUS 50013167 HAS SOUPS 49988120 WITH SCORE 5.0051519077E7
AT ITER 2708 NEW BEST:: SOT 254298042 SOS 63557357 HAS SOPS 62884436 HAS SOUS 50012156 HAS SOUPS 49982518 WITH SCORE 5.0046075357E7
AT ITER 2712 NEW BEST:: SOT 254298042 SOS 63556770 HAS SOPS 62883849 HAS SOUS 50011551 HAS SOUPS 49981913 WITH SCORE 5.004546977E7
AT ITER 2727 NEW BEST:: SOT 254296498 SOS 63557180 HAS SOPS 62884259 HAS SOUS 50010417 HAS SOUPS 49980779 WITH SCORE 5.004433618E7
AT ITER 2733 NEW BEST:: SOT 254296498 SOS 63556190 HAS SOPS 62883269 HAS SOUS 50009427 HAS SOUPS 49979789 WITH SCORE 5.004334519E7
AT ITER 2736 NEW BEST:: SOT 254296325 SOS 63555844 HAS SOPS 62882923 HAS SOUS 50009081 HAS SOUPS 49979443 WITH SCORE 5.0042998844E7
AT ITER 2741 NEW BEST:: SOT 254296325 SOS 63555149 HAS SOPS 62882228 HAS SOUS 50008372 HAS SOUPS 49978734 WITH SCORE 5.0042289149E7
AT ITER 2806 NEW BEST:: SOT 254295563 SOS 63554402 HAS SOPS 62881481 HAS SOUS 50007610 HAS SOUPS 49977972 WITH SCORE 5.0041526402E7
AT ITER 2822 NEW BEST:: SOT 254293243 SOS 63553901 HAS SOPS 62880980 HAS SOUS 50006880 HAS SOUPS 49977242 WITH SCORE 5.0040795901E7
AT ITER 2832 NEW BEST:: SOT 254291128 SOS 63551818 HAS SOPS 62878897 HAS SOUS 50005232 HAS SOUPS 49975594 WITH SCORE 5.0039145818E7
AT ITER 2856 NEW BEST:: SOT 254291128 SOS 63551818 HAS SOPS 62878897 HAS SOUS 50003841 HAS SOUPS 49974203 WITH SCORE 5.0037754818E7
AT ITER 2903 NEW BEST:: SOT 254217710 SOS 63553753 HAS SOPS 62881837 HAS SOUS 49931591 HAS SOUPS 49901953 WITH SCORE 4.9965506753E7
AT ITER 2917 NEW BEST:: SOT 254217395 SOS 63553438 HAS SOPS 62881522 HAS SOUS 49931276 HAS SOUPS 49901638 WITH SCORE 4.9965191438E7
AT ITER 2956 NEW BEST:: SOT 254217316 SOS 63553359 HAS SOPS 62881443 HAS SOUS 49931197 HAS SOUPS 49901559 WITH SCORE 4.9965112359E7
AT ITER 2957 NEW BEST:: SOT 254210203 SOS 63717457 HAS SOPS 63045927 HAS SOUS 49925105 HAS SOUPS 49895467 WITH SCORE 4.9959184457E7
AT ITER 2967 NEW BEST:: SOT 254208917 SOS 63717790 HAS SOPS 63046260 HAS SOUS 49924152 HAS SOUPS 49894514 WITH SCORE 4.995823179E7
AT ITER 2970 NEW BEST:: SOT 254208441 SOS 63717313 HAS SOPS 63045783 HAS SOUS 49924151 HAS SOUPS 49894513 WITH SCORE 4.9958230313E7
AT ITER 2977 NEW BEST:: SOT 254199761 SOS 63742683 HAS SOPS 63071153 HAS SOUS 49920045 HAS SOUPS 49890407 WITH SCORE 4.9954149683E7
AT ITER 2983 NEW BEST:: SOT 254199665 SOS 63742587 HAS SOPS 63071057 HAS SOUS 49919928 HAS SOUPS 49890290 WITH SCORE 4.9954032587E7
AT ITER 3013 NEW BEST:: SOT 254198479 SOS 63741401 HAS SOPS 63069871 HAS SOUS 49918742 HAS SOUPS 49889104 WITH SCORE 4.9952845401E7
AT ITER 3029 NEW BEST:: SOT 254196365 SOS 63739317 HAS SOPS 63067787 HAS SOUS 49917268 HAS SOUPS 49887630 WITH SCORE 4.9951369317E7
AT ITER 3035 NEW BEST:: SOT 254196365 SOS 63739317 HAS SOPS 63067787 HAS SOUS 49916127 HAS SOUPS 49886489 WITH SCORE 4.9950228317E7
AT ITER 3053 NEW BEST:: SOT 254193864 SOS 63736816 HAS SOPS 63065286 HAS SOUS 49913626 HAS SOUPS 49883988 WITH SCORE 4.9947724816E7
AT ITER 3075 NEW BEST:: SOT 254191176 SOS 63735763 HAS SOPS 63064233 HAS SOUS 49909909 HAS SOUPS 49880271 WITH SCORE 4.9944006763E7
AT ITER 3078 NEW BEST:: SOT 254189354 SOS 63733941 HAS SOPS 63062411 HAS SOUS 49908087 HAS SOUPS 49878449 WITH SCORE 4.9942182941E7
AT ITER 3096 NEW BEST:: SOT 254186871 SOS 63731458 HAS SOPS 63059928 HAS SOUS 49905604 HAS SOUPS 49875966 WITH SCORE 4.9939697458E7
AT ITER 3105 NEW BEST:: SOT 254186871 SOS 63730288 HAS SOPS 63058758 HAS SOUS 49905604 HAS SOUPS 49875966 WITH SCORE 4.9939696288E7
AT ITER 3108 NEW BEST:: SOT 254185436 SOS 63730710 HAS SOPS 63059180 HAS SOUS 49904591 HAS SOUPS 49874953 WITH SCORE 4.993868371E7
AT ITER 3111 NEW BEST:: SOT 254185436 SOS 63730710 HAS SOPS 63059180 HAS SOUS 49903530 HAS SOUPS 49873892 WITH SCORE 4.993762271E7
AT ITER 3118 NEW BEST:: SOT 254184135 SOS 63729409 HAS SOPS 63057879 HAS SOUS 49902229 HAS SOUPS 49872591 WITH SCORE 4.9936320409E7
AT ITER 3126 NEW BEST:: SOT 254184135 SOS 63728118 HAS SOPS 63056588 HAS SOUS 49902229 HAS SOUPS 49872591 WITH SCORE 4.9936319118E7
AT ITER 3147 NEW BEST:: SOT 254184135 SOS 63727215 HAS SOPS 63055685 HAS SOUS 49900423 HAS SOUPS 49870785 WITH SCORE 4.9934512215E7
AT ITER 3152 NEW BEST:: SOT 254184135 SOS 63726942 HAS SOPS 63055412 HAS SOUS 49900423 HAS SOUPS 49870785 WITH SCORE 4.9934511942E7
AT ITER 3160 NEW BEST:: SOT 254184135 SOS 63726942 HAS SOPS 63055412 HAS SOUS 49898351 HAS SOUPS 49868713 WITH SCORE 4.9932439942E7
AT ITER 3168 NEW BEST:: SOT 254184135 SOS 63727329 HAS SOPS 63055799 HAS SOUS 49897057 HAS SOUPS 49867419 WITH SCORE 4.9931146329E7
AT ITER 3176 NEW BEST:: SOT 254184135 SOS 63727898 HAS SOPS 63056368 HAS SOUS 49896106 HAS SOUPS 49866468 WITH SCORE 4.9930195898E7
AT ITER 3180 NEW BEST:: SOT 254184910 SOS 63728673 HAS SOPS 63057143 HAS SOUS 49895188 HAS SOUPS 49865550 WITH SCORE 4.9929278673E7
AT ITER 3216 NEW BEST:: SOT 254184910 SOS 63728673 HAS SOPS 63057143 HAS SOUS 49893563 HAS SOUPS 49863925 WITH SCORE 4.9927653673E7
AT ITER 3227 NEW BEST:: SOT 254184501 SOS 63728264 HAS SOPS 63056734 HAS SOUS 49893154 HAS SOUPS 49863516 WITH SCORE 4.9927244264E7
AT ITER 3244 NEW BEST:: SOT 254139861 SOS 63685063 HAS SOPS 63013533 HAS SOUS 49849953 HAS SOUPS 49820315 WITH SCORE 4.9884000063E7
AT ITER 3258 NEW BEST:: SOT 254139861 SOS 63685063 HAS SOPS 63013533 HAS SOUS 49848590 HAS SOUPS 49818952 WITH SCORE 4.9882637063E7
AT ITER 3276 NEW BEST:: SOT 254139861 SOS 63684280 HAS SOPS 63012750 HAS SOUS 49847024 HAS SOUPS 49817386 WITH SCORE 4.988107028E7
AT ITER 3291 NEW BEST:: SOT 254139861 SOS 63684280 HAS SOPS 63012750 HAS SOUS 49846824 HAS SOUPS 49817186 WITH SCORE 4.988087028E7
AT ITER 3308 NEW BEST:: SOT 254139861 SOS 63684075 HAS SOPS 63012545 HAS SOUS 49846619 HAS SOUPS 49816981 WITH SCORE 4.9880665075E7
AT ITER 3325 NEW BEST:: SOT 254139861 SOS 63683484 HAS SOPS 63011954 HAS SOUS 49846619 HAS SOUPS 49816981 WITH SCORE 4.9880664484E7
AT ITER 3371 NEW BEST:: SOT 254137693 SOS 63681598 HAS SOPS 63010068 HAS SOUS 49842693 HAS SOUPS 49813055 WITH SCORE 4.9876736598E7
AT ITER 3390 NEW BEST:: SOT 254135458 SOS 63679930 HAS SOPS 63008400 HAS SOUS 49841025 HAS SOUPS 49811387 WITH SCORE 4.987506693E7
AT ITER 3461 NEW BEST:: SOT 254095754 SOS 63892207 HAS SOPS 63222430 HAS SOUS 49816252 HAS SOUPS 49786614 WITH SCORE 4.9850506207E7
AT ITER 3499 NEW BEST:: SOT 254095754 SOS 63892031 HAS SOPS 63222254 HAS SOUS 49816076 HAS SOUPS 49786438 WITH SCORE 4.9850330031E7
AT ITER 3507 NEW BEST:: SOT 254095754 SOS 63891356 HAS SOPS 63221579 HAS SOUS 49816075 HAS SOUPS 49786437 WITH SCORE 4.9850328356E7
AT ITER 3512 NEW BEST:: SOT 254093332 SOS 63890304 HAS SOPS 63220527 HAS SOUS 49812597 HAS SOUPS 49782959 WITH SCORE 4.9846849304E7
AT ITER 3515 NEW BEST:: SOT 254093390 SOS 63890362 HAS SOPS 63220585 HAS SOUS 49810603 HAS SOUPS 49780965 WITH SCORE 4.9844855362E7
AT ITER 3529 NEW BEST:: SOT 254093222 SOS 63884986 HAS SOPS 63215209 HAS SOUS 49810099 HAS SOUPS 49780461 WITH SCORE 4.9844345986E7
AT ITER 3534 NEW BEST:: SOT 254093222 SOS 63884986 HAS SOPS 63215209 HAS SOUS 49808320 HAS SOUPS 49778682 WITH SCORE 4.9842566986E7
AT ITER 3537 NEW BEST:: SOT 254093222 SOS 63883869 HAS SOPS 63214092 HAS SOUS 49807203 HAS SOUPS 49777565 WITH SCORE 4.9841448869E7
AT ITER 3553 NEW BEST:: SOT 254093222 SOS 63883869 HAS SOPS 63214092 HAS SOUS 49806335 HAS SOUPS 49776697 WITH SCORE 4.9840580869E7
AT ITER 3563 NEW BEST:: SOT 254093222 SOS 63883869 HAS SOPS 63214092 HAS SOUS 49805298 HAS SOUPS 49775660 WITH SCORE 4.9839543869E7
AT ITER 3584 NEW BEST:: SOT 254090858 SOS 63883869 HAS SOPS 63214092 HAS SOUS 49805284 HAS SOUPS 49775646 WITH SCORE 4.9839529869E7
AT ITER 3616 NEW BEST:: SOT 254089407 SOS 63884084 HAS SOPS 63214307 HAS SOUS 49804048 HAS SOUPS 49774410 WITH SCORE 4.9838294084E7
AT ITER 3654 NEW BEST:: SOT 254089407 SOS 63884560 HAS SOPS 63214783 HAS SOUS 49804047 HAS SOUPS 49774409 WITH SCORE 4.983829356E7
AT ITER 3676 NEW BEST:: SOT 254088346 SOS 63883499 HAS SOPS 63213722 HAS SOUS 49802986 HAS SOUPS 49773348 WITH SCORE 4.9837231499E7
AT ITER 3677 NEW BEST:: SOT 254086648 SOS 63881801 HAS SOPS 63212024 HAS SOUS 49801288 HAS SOUPS 49771650 WITH SCORE 4.9835531801E7
AT ITER 3685 NEW BEST:: SOT 254086153 SOS 63881306 HAS SOPS 63211529 HAS SOUS 49800793 HAS SOUPS 49771155 WITH SCORE 4.9835036306E7
AT ITER 3689 NEW BEST:: SOT 254086503 SOS 63881656 HAS SOPS 63211879 HAS SOUS 49799237 HAS SOUPS 49769599 WITH SCORE 4.9833480656E7
AT ITER 3703 NEW BEST:: SOT 254086503 SOS 63881209 HAS SOPS 63211432 HAS SOUS 49798783 HAS SOUPS 49769145 WITH SCORE 4.9833026209E7
AT ITER 3706 NEW BEST:: SOT 254084911 SOS 63879617 HAS SOPS 63209840 HAS SOUS 49797191 HAS SOUPS 49767553 WITH SCORE 4.9831432617E7
AT ITER 3707 NEW BEST:: SOT 254085888 SOS 63880594 HAS SOPS 63210817 HAS SOUS 49796576 HAS SOUPS 49766938 WITH SCORE 4.9830818594E7
AT ITER 3731 NEW BEST:: SOT 254085888 SOS 63880041 HAS SOPS 63210264 HAS SOUS 49796576 HAS SOUPS 49766938 WITH SCORE 4.9830818041E7
AT ITER 3737 NEW BEST:: SOT 254084640 SOS 63879383 HAS SOPS 63209606 HAS SOUS 49795570 HAS SOUPS 49765932 WITH SCORE 4.9829811383E7
AT ITER 3748 NEW BEST:: SOT 254082464 SOS 63877543 HAS SOPS 63207766 HAS SOUS 49791551 HAS SOUPS 49761913 WITH SCORE 4.9825790543E7
AT ITER 3773 NEW BEST:: SOT 254082464 SOS 63877543 HAS SOPS 63207766 HAS SOUS 49790145 HAS SOUPS 49760507 WITH SCORE 4.9824384543E7
AT ITER 3779 NEW BEST:: SOT 254082464 SOS 63877543 HAS SOPS 63207766 HAS SOUS 49788809 HAS SOUPS 49759171 WITH SCORE 4.9823048543E7
AT ITER 3798 NEW BEST:: SOT 254082464 SOS 63877008 HAS SOPS 63207231 HAS SOUS 49788274 HAS SOUPS 49758636 WITH SCORE 4.9822513008E7
AT ITER 3852 NEW BEST:: SOT 254080685 SOS 63876542 HAS SOPS 63206765 HAS SOUS 49787913 HAS SOUPS 49758275 WITH SCORE 4.9822151542E7
AT ITER 3881 NEW BEST:: SOT 254080685 SOS 63876542 HAS SOPS 63206765 HAS SOUS 49785839 HAS SOUPS 49756201 WITH SCORE 4.9820077542E7
AT ITER 3883 NEW BEST:: SOT 254077885 SOS 63873742 HAS SOPS 63203965 HAS SOUS 49783039 HAS SOUPS 49753401 WITH SCORE 4.9817274742E7
AT ITER 3922 NEW BEST:: SOT 254077885 SOS 63873742 HAS SOPS 63203965 HAS SOUS 49781711 HAS SOUPS 49752073 WITH SCORE 4.9815946742E7
AT ITER 3924 NEW BEST:: SOT 254077885 SOS 63873695 HAS SOPS 63203918 HAS SOUS 49780655 HAS SOUPS 49751017 WITH SCORE 4.9814890695E7
AT ITER 3928 NEW BEST:: SOT 253905568 SOS 63867806 HAS SOPS 63198029 HAS SOUS 49613895 HAS SOUPS 49584257 WITH SCORE 4.9648124806E7
AT ITER 3983 NEW BEST:: SOT 253905568 SOS 63867806 HAS SOPS 63198029 HAS SOUS 49612686 HAS SOUPS 49583048 WITH SCORE 4.9646915806E7
AT ITER 3992 NEW BEST:: SOT 253903252 SOS 63866765 HAS SOPS 63196988 HAS SOUS 49609314 HAS SOUPS 49579676 WITH SCORE 4.9643542765E7
AT ITER 3997 NEW BEST:: SOT 253903252 SOS 63866957 HAS SOPS 63197180 HAS SOUS 49608259 HAS SOUPS 49578621 WITH SCORE 4.9642487957E7
AT ITER 3999 NEW BEST:: SOT 253900977 SOS 63864682 HAS SOPS 63194905 HAS SOUS 49605984 HAS SOUPS 49576346 WITH SCORE 4.9640210682E7
AT ITER 4005 NEW BEST:: SOT 253900977 SOS 63864264 HAS SOPS 63194487 HAS SOUS 49605984 HAS SOUPS 49576346 WITH SCORE 4.9640210264E7
AT ITER 4014 NEW BEST:: SOT 253900567 SOS 63863854 HAS SOPS 63194077 HAS SOUS 49605574 HAS SOUPS 49575936 WITH SCORE 4.9639799854E7
AT ITER 4039 NEW BEST:: SOT 253900567 SOS 63862802 HAS SOPS 63193025 HAS SOUS 49603461 HAS SOUPS 49573823 WITH SCORE 4.9637685802E7
AT ITER 4047 NEW BEST:: SOT 253900518 SOS 63862753 HAS SOPS 63192976 HAS SOUS 49603412 HAS SOUPS 49573774 WITH SCORE 4.9637636753E7
AT ITER 4059 NEW BEST:: SOT 253899446 SOS 63862902 HAS SOPS 63193125 HAS SOUS 49602489 HAS SOUPS 49572851 WITH SCORE 4.9636713902E7
AT ITER 4073 NEW BEST:: SOT 253899728 SOS 63863184 HAS SOPS 63193407 HAS SOUS 49600830 HAS SOUPS 49571192 WITH SCORE 4.9635055184E7
AT ITER 4076 NEW BEST:: SOT 253900167 SOS 63863623 HAS SOPS 63193846 HAS SOUS 49599408 HAS SOUPS 49569770 WITH SCORE 4.9633633623E7
AT ITER 4078 NEW BEST:: SOT 253810871 SOS 63982204 HAS SOPS 63314163 HAS SOUS 49520869 HAS SOUPS 49491231 WITH SCORE 4.9555213204E7
AT ITER 4081 NEW BEST:: SOT 253810871 SOS 63983737 HAS SOPS 63315696 HAS SOUS 49519813 HAS SOUPS 49490175 WITH SCORE 4.9554158737E7
AT ITER 4101 NEW BEST:: SOT 253810581 SOS 63983455 HAS SOPS 63315414 HAS SOUS 49519523 HAS SOUPS 49489885 WITH SCORE 4.9553868455E7
AT ITER 4116 NEW BEST:: SOT 253810581 SOS 63983454 HAS SOPS 63315413 HAS SOUS 49519522 HAS SOUPS 49489884 WITH SCORE 4.9553867454E7
AT ITER 4157 NEW BEST:: SOT 253809110 SOS 63983905 HAS SOPS 63315864 HAS SOUS 49518502 HAS SOUPS 49488864 WITH SCORE 4.9552847905E7
AT ITER 4188 NEW BEST:: SOT 253809110 SOS 63983905 HAS SOPS 63315864 HAS SOUS 49517654 HAS SOUPS 49488016 WITH SCORE 4.9551999905E7
AT ITER 4191 NEW BEST:: SOT 253808537 SOS 63983332 HAS SOPS 63315291 HAS SOUS 49516508 HAS SOUPS 49486870 WITH SCORE 4.9550853332E7
AT ITER 4195 NEW BEST:: SOT 253808537 SOS 63983332 HAS SOPS 63315291 HAS SOUS 49515215 HAS SOUPS 49485577 WITH SCORE 4.9549560332E7
AT ITER 4199 NEW BEST:: SOT 253808537 SOS 63982677 HAS SOPS 63314636 HAS SOUS 49513103 HAS SOUPS 49483465 WITH SCORE 4.9547447677E7
AT ITER 4206 NEW BEST:: SOT 253807840 SOS 63980248 HAS SOPS 63312207 HAS SOUS 49510674 HAS SOUPS 49481036 WITH SCORE 4.9545016248E7
AT ITER 4246 NEW BEST:: SOT 253807840 SOS 63978612 HAS SOPS 63310571 HAS SOUS 49509038 HAS SOUPS 49479400 WITH SCORE 4.9543378612E7
AT ITER 4252 NEW BEST:: SOT 253807840 SOS 63977796 HAS SOPS 63309755 HAS SOUS 49508219 HAS SOUPS 49478581 WITH SCORE 4.9542558796E7
AT ITER 4265 NEW BEST:: SOT 253805817 SOS 63922870 HAS SOPS 63254829 HAS SOUS 49505816 HAS SOUPS 49476178 WITH SCORE 4.954010087E7
AT ITER 4304 NEW BEST:: SOT 253803541 SOS 63922646 HAS SOPS 63254605 HAS SOUS 49503302 HAS SOUPS 49473664 WITH SCORE 4.9537586646E7
AT ITER 4309 NEW BEST:: SOT 253804761 SOS 63923866 HAS SOPS 63255825 HAS SOUS 49503051 HAS SOUPS 49473413 WITH SCORE 4.9537336866E7
AT ITER 4319 NEW BEST:: SOT 253798772 SOS 64101934 HAS SOPS 63435657 HAS SOUS 49502121 HAS SOUPS 49472484 WITH SCORE 4.9536585934E7
AT ITER 4326 NEW BEST:: SOT 253798772 SOS 64101933 HAS SOPS 63435656 HAS SOUS 49502120 HAS SOUPS 49472483 WITH SCORE 4.9536584933E7
AT ITER 4331 NEW BEST:: SOT 253798772 SOS 64101933 HAS SOPS 63435656 HAS SOUS 49500091 HAS SOUPS 49470454 WITH SCORE 4.9534555933E7
AT ITER 4332 NEW BEST:: SOT 253798772 SOS 64101587 HAS SOPS 63435310 HAS SOUS 49499745 HAS SOUPS 49470108 WITH SCORE 4.9534209587E7
AT ITER 4334 NEW BEST:: SOT 253799882 SOS 64102697 HAS SOPS 63436420 HAS SOUS 49499329 HAS SOUPS 49469692 WITH SCORE 4.9533794697E7
AT ITER 4343 NEW BEST:: SOT 253798327 SOS 64103934 HAS SOPS 63437657 HAS SOUS 49499009 HAS SOUPS 49469372 WITH SCORE 4.9533475934E7
AT ITER 4377 NEW BEST:: SOT 253797372 SOS 64103934 HAS SOPS 63437657 HAS SOUS 49498054 HAS SOUPS 49468417 WITH SCORE 4.9532520934E7
AT ITER 4404 NEW BEST:: SOT 253797932 SOS 64104494 HAS SOPS 63438217 HAS SOUS 49496814 HAS SOUPS 49467177 WITH SCORE 4.9531281494E7
AT ITER 4405 NEW BEST:: SOT 253746231 SOS 64057143 HAS SOPS 63390866 HAS SOUS 49445807 HAS SOUPS 49416170 WITH SCORE 4.9480227143E7
AT ITER 4474 NEW BEST:: SOT 253743809 SOS 64056857 HAS SOPS 63390580 HAS SOUS 49443385 HAS SOUPS 49413748 WITH SCORE 4.9477804857E7
AT ITER 4487 NEW BEST:: SOT 253732001 SOS 64283505 HAS SOPS 63618991 HAS SOUS 49442082 HAS SOUPS 49412446 WITH SCORE 4.9476729505E7
AT ITER 4513 NEW BEST:: SOT 253732001 SOS 64283505 HAS SOPS 63618991 HAS SOUS 49441457 HAS SOUPS 49411821 WITH SCORE 4.9476104505E7
AT ITER 4518 NEW BEST:: SOT 253731352 SOS 64282026 HAS SOPS 63617512 HAS SOUS 49439329 HAS SOUPS 49409693 WITH SCORE 4.9473975026E7
AT ITER 4524 NEW BEST:: SOT 253729615 SOS 64055713 HAS SOPS 63389446 HAS SOUS 49435148 HAS SOUPS 49405512 WITH SCORE 4.9469567713E7
AT ITER 4527 NEW BEST:: SOT 253729615 SOS 64055528 HAS SOPS 63389261 HAS SOUS 49435148 HAS SOUPS 49405512 WITH SCORE 4.9469567528E7
AT ITER 4544 NEW BEST:: SOT 253729615 SOS 64056241 HAS SOPS 63389974 HAS SOUS 49434092 HAS SOUPS 49404456 WITH SCORE 4.9468512241E7
AT ITER 4570 NEW BEST:: SOT 253727545 SOS 64054385 HAS SOPS 63388118 HAS SOUS 49429974 HAS SOUPS 49400338 WITH SCORE 4.9464392385E7
AT ITER 4576 NEW BEST:: SOT 253726592 SOS 64052930 HAS SOPS 63386663 HAS SOUS 49429021 HAS SOUPS 49399385 WITH SCORE 4.946343793E7
AT ITER 4582 NEW BEST:: SOT 253667597 SOS 64082212 HAS SOPS 63417678 HAS SOUS 49373686 HAS SOUPS 49344050 WITH SCORE 4.9408132212E7
AT ITER 4603 NEW BEST:: SOT 253667116 SOS 64081742 HAS SOPS 63417208 HAS SOUS 49373370 HAS SOUPS 49343734 WITH SCORE 4.9407815742E7
AT ITER 4612 NEW BEST:: SOT 253667116 SOS 64081138 HAS SOPS 63416604 HAS SOUS 49373370 HAS SOUPS 49343734 WITH SCORE 4.9407815138E7
AT ITER 4635 NEW BEST:: SOT 253666436 SOS 64080467 HAS SOPS 63415933 HAS SOUS 49372690 HAS SOUPS 49343054 WITH SCORE 4.9407134467E7
AT ITER 4687 NEW BEST:: SOT 253666635 SOS 64080666 HAS SOPS 63416132 HAS SOUS 49370908 HAS SOUPS 49341272 WITH SCORE 4.9405352666E7
AT ITER 4709 NEW BEST:: SOT 253654473 SOS 64152241 HAS SOPS 63487707 HAS SOUS 49362521 HAS SOUPS 49332885 WITH SCORE 4.9397037241E7
AT ITER 4712 NEW BEST:: SOT 253653543 SOS 64152241 HAS SOPS 63487707 HAS SOUS 49361591 HAS SOUPS 49331955 WITH SCORE 4.9396107241E7
AT ITER 4730 NEW BEST:: SOT 253652730 SOS 64152241 HAS SOPS 63486894 HAS SOUS 49361213 HAS SOUPS 49331142 WITH SCORE 4.9395294241E7
AT ITER 4731 NEW BEST:: SOT 253650821 SOS 64150332 HAS SOPS 63484985 HAS SOUS 49359304 HAS SOUPS 49329233 WITH SCORE 4.9393383332E7
AT ITER 4753 NEW BEST:: SOT 253650821 SOS 64150332 HAS SOPS 63484985 HAS SOUS 49359053 HAS SOUPS 49328982 WITH SCORE 4.9393132332E7
AT ITER 4756 NEW BEST:: SOT 253651125 SOS 64150636 HAS SOPS 63485289 HAS SOUS 49357428 HAS SOUPS 49327357 WITH SCORE 4.9391507636E7
AT ITER 4774 NEW BEST:: SOT 253649528 SOS 64149060 HAS SOPS 63483713 HAS SOUS 49355831 HAS SOUPS 49325760 WITH SCORE 4.938990906E7
AT ITER 4791 NEW BEST:: SOT 253648223 SOS 64147768 HAS SOPS 63482421 HAS SOUS 49354526 HAS SOUPS 49324455 WITH SCORE 4.9388602768E7
AT ITER 4795 NEW BEST:: SOT 253648620 SOS 64148165 HAS SOPS 63482818 HAS SOUS 49353041 HAS SOUPS 49322970 WITH SCORE 4.9387118165E7
AT ITER 4814 NEW BEST:: SOT 253648620 SOS 64148165 HAS SOPS 63482818 HAS SOUS 49351991 HAS SOUPS 49321920 WITH SCORE 4.9386068165E7
AT ITER 4821 NEW BEST:: SOT 253648620 SOS 64148165 HAS SOPS 63482818 HAS SOUS 49350052 HAS SOUPS 49319981 WITH SCORE 4.9384129165E7
AT ITER 4825 NEW BEST:: SOT 253648239 SOS 64147784 HAS SOPS 63482437 HAS SOUS 49349671 HAS SOUPS 49319600 WITH SCORE 4.9383747784E7
AT ITER 4827 NEW BEST:: SOT 253646072 SOS 64143450 HAS SOPS 63478103 HAS SOUS 49347504 HAS SOUPS 49317433 WITH SCORE 4.938157645E7
AT ITER 4844 NEW BEST:: SOT 253646072 SOS 64142510 HAS SOPS 63477163 HAS SOUS 49346564 HAS SOUPS 49316493 WITH SCORE 4.938063551E7
AT ITER 4891 NEW BEST:: SOT 253646072 SOS 64142510 HAS SOPS 63477163 HAS SOUS 49344718 HAS SOUPS 49314647 WITH SCORE 4.937878951E7
AT ITER 4893 NEW BEST:: SOT 253643621 SOS 64143168 HAS SOPS 63474778 HAS SOUS 49342333 HAS SOUPS 49312262 WITH SCORE 4.9376405168E7
AT ITER 4923 NEW BEST:: SOT 253641807 SOS 64143168 HAS SOPS 63474778 HAS SOUS 49340519 HAS SOUPS 49310448 WITH SCORE 4.9374591168E7
AT ITER 4943 NEW BEST:: SOT 253606537 SOS 64187561 HAS SOPS 63519323 HAS SOUS 49309095 HAS SOUPS 49279024 WITH SCORE 4.9343211561E7
AT ITER 4968 NEW BEST:: SOT 253605427 SOS 64186467 HAS SOPS 63518229 HAS SOUS 49307985 HAS SOUPS 49277914 WITH SCORE 4.9342100467E7
AT ITER 4974 NEW BEST:: SOT 253594538 SOS 64229791 HAS SOPS 63561693 HAS SOUS 49299433 HAS SOUPS 49269362 WITH SCORE 4.9333591791E7
AT ITER 4982 NEW BEST:: SOT 253592504 SOS 64229790 HAS SOPS 63561692 HAS SOUS 49299432 HAS SOUPS 49269361 WITH SCORE 4.933359079E7
AT ITER 4984 NEW BEST:: SOT 253592504 SOS 64229790 HAS SOPS 63561692 HAS SOUS 49298041 HAS SOUPS 49267970 WITH SCORE 4.933219979E7
AT ITER 4986 NEW BEST:: SOT 253592401 SOS 64229687 HAS SOPS 63561589 HAS SOUS 49297938 HAS SOUPS 49267867 WITH SCORE 4.9332096687E7
AT ITER 4987 NEW BEST:: SOT 253592401 SOS 64229687 HAS SOPS 63561589 HAS SOUS 49296304 HAS SOUPS 49266233 WITH SCORE 4.9330462687E7
AT ITER 5012 NEW BEST:: SOT 253591004 SOS 64228290 HAS SOPS 63560192 HAS SOUS 49294907 HAS SOUPS 49264836 WITH SCORE 4.932906429E7
AT ITER 5021 NEW BEST:: SOT 253591004 SOS 64228290 HAS SOPS 63560192 HAS SOUS 49293751 HAS SOUPS 49263680 WITH SCORE 4.932790829E7
AT ITER 5053 NEW BEST:: SOT 253588889 SOS 64226206 HAS SOPS 63558108 HAS SOUS 49292380 HAS SOUPS 49262309 WITH SCORE 4.9326535206E7
AT ITER 5067 NEW BEST:: SOT 253587654 SOS 64224977 HAS SOPS 63556879 HAS SOUS 49291145 HAS SOUPS 49261074 WITH SCORE 4.9325298977E7
AT ITER 5071 NEW BEST:: SOT 253588118 SOS 64225441 HAS SOPS 63557343 HAS SOUS 49289760 HAS SOUPS 49259689 WITH SCORE 4.9323914441E7
AT ITER 5081 NEW BEST:: SOT 253588425 SOS 64225748 HAS SOPS 63557650 HAS SOUS 49288139 HAS SOUPS 49258068 WITH SCORE 4.9322293748E7
AT ITER 5096 NEW BEST:: SOT 253583542 SOS 64248188 HAS SOPS 63552766 HAS SOUS 49284083 HAS SOUPS 49253184 WITH SCORE 4.9317432188E7
AT ITER 5118 NEW BEST:: SOT 253583542 SOS 64248187 HAS SOPS 63552765 HAS SOUS 49284082 HAS SOUPS 49253183 WITH SCORE 4.9317431187E7
AT ITER 5120 NEW BEST:: SOT 253583542 SOS 64248186 HAS SOPS 63552764 HAS SOUS 49284081 HAS SOUPS 49253182 WITH SCORE 4.9317430186E7
AT ITER 5129 NEW BEST:: SOT 253584092 SOS 64248736 HAS SOPS 63553314 HAS SOUS 49282826 HAS SOUPS 49251927 WITH SCORE 4.9316175736E7
AT ITER 5140 NEW BEST:: SOT 253582804 SOS 64248736 HAS SOPS 63553314 HAS SOUS 49281538 HAS SOUPS 49250639 WITH SCORE 4.9314887736E7
AT ITER 5145 NEW BEST:: SOT 253582922 SOS 64248854 HAS SOPS 63553432 HAS SOUS 49279633 HAS SOUPS 49248734 WITH SCORE 4.9312982854E7
AT ITER 5166 NEW BEST:: SOT 253582536 SOS 64248468 HAS SOPS 63553046 HAS SOUS 49279247 HAS SOUPS 49248348 WITH SCORE 4.9312596468E7
AT ITER 5170 NEW BEST:: SOT 253581718 SOS 64246521 HAS SOPS 63551099 HAS SOUS 49276751 HAS SOUPS 49245852 WITH SCORE 4.9310098521E7
AT ITER 5180 NEW BEST:: SOT 253581718 SOS 64246296 HAS SOPS 63550874 HAS SOUS 49276526 HAS SOUPS 49245627 WITH SCORE 4.9309873296E7
AT ITER 5206 NEW BEST:: SOT 253580333 SOS 64244922 HAS SOPS 63549500 HAS SOUS 49275141 HAS SOUPS 49244242 WITH SCORE 4.9308486922E7
AT ITER 5237 NEW BEST:: SOT 253576858 SOS 64241277 HAS SOPS 63545855 HAS SOUS 49271666 HAS SOUPS 49240767 WITH SCORE 4.9305008277E7
AT ITER 5242 NEW BEST:: SOT 253575612 SOS 64240037 HAS SOPS 63544615 HAS SOUS 49270420 HAS SOUPS 49239521 WITH SCORE 4.9303761037E7
AT ITER 5243 NEW BEST:: SOT 253575704 SOS 64240129 HAS SOPS 63544707 HAS SOUS 49268476 HAS SOUPS 49237577 WITH SCORE 4.9301817129E7
AT ITER 5293 NEW BEST:: SOT 253561348 SOS 64389604 HAS SOPS 63695944 HAS SOUS 49257219 HAS SOUPS 49226321 WITH SCORE 4.9290710604E7
AT ITER 5313 NEW BEST:: SOT 253561348 SOS 64390392 HAS SOPS 63696732 HAS SOUS 49256488 HAS SOUPS 49225590 WITH SCORE 4.9289980392E7
AT ITER 5314 NEW BEST:: SOT 253561294 SOS 64390337 HAS SOPS 63696677 HAS SOUS 49256433 HAS SOUPS 49225535 WITH SCORE 4.9289925337E7
AT ITER 5332 NEW BEST:: SOT 253560654 SOS 64369217 HAS SOPS 63675557 HAS SOUS 49255153 HAS SOUPS 49224255 WITH SCORE 4.9288624217E7
AT ITER 5343 NEW BEST:: SOT 253559684 SOS 64369217 HAS SOPS 63675557 HAS SOUS 49254183 HAS SOUPS 49223285 WITH SCORE 4.9287654217E7
AT ITER 5351 NEW BEST:: SOT 253558551 SOS 64368087 HAS SOPS 63674427 HAS SOUS 49253050 HAS SOUPS 49222152 WITH SCORE 4.9286520087E7
AT ITER 5358 NEW BEST:: SOT 253558551 SOS 64368087 HAS SOPS 63674427 HAS SOUS 49251075 HAS SOUPS 49220177 WITH SCORE 4.9284545087E7
AT ITER 5392 NEW BEST:: SOT 253557872 SOS 64367408 HAS SOPS 63673748 HAS SOUS 49250396 HAS SOUPS 49219498 WITH SCORE 4.9283865408E7
AT ITER 5412 NEW BEST:: SOT 253558061 SOS 64367597 HAS SOPS 63673937 HAS SOUS 49248599 HAS SOUPS 49217701 WITH SCORE 4.9282068597E7
AT ITER 5427 NEW BEST:: SOT 253557543 SOS 64367085 HAS SOPS 63673425 HAS SOUS 49248598 HAS SOUPS 49217700 WITH SCORE 4.9282067085E7
AT ITER 5434 NEW BEST:: SOT 253556021 SOS 64367085 HAS SOPS 63673425 HAS SOUS 49247076 HAS SOUPS 49216178 WITH SCORE 4.9280545085E7
AT ITER 5443 NEW BEST:: SOT 253556021 SOS 64367085 HAS SOPS 63673425 HAS SOUS 49245175 HAS SOUPS 49214277 WITH SCORE 4.9278644085E7
AT ITER 5457 NEW BEST:: SOT 253555975 SOS 64367039 HAS SOPS 63673379 HAS SOUS 49245129 HAS SOUPS 49214231 WITH SCORE 4.9278598039E7
AT ITER 5541 NEW BEST:: SOT 253555975 SOS 64367039 HAS SOPS 63673379 HAS SOUS 49244096 HAS SOUPS 49213198 WITH SCORE 4.9277565039E7
AT ITER 5553 NEW BEST:: SOT 253555803 SOS 64366867 HAS SOPS 63673207 HAS SOUS 49243924 HAS SOUPS 49213026 WITH SCORE 4.9277392867E7
AT ITER 5571 NEW BEST:: SOT 253554006 SOS 64365089 HAS SOPS 63671429 HAS SOUS 49242127 HAS SOUPS 49211229 WITH SCORE 4.9275594089E7
AT ITER 5572 NEW BEST:: SOT 253554006 SOS 64365089 HAS SOPS 63671429 HAS SOUS 49240711 HAS SOUPS 49209813 WITH SCORE 4.9274178089E7
AT ITER 5587 NEW BEST:: SOT 253552863 SOS 64363946 HAS SOPS 63670286 HAS SOUS 49239568 HAS SOUPS 49208670 WITH SCORE 4.9273033946E7
AT ITER 5590 NEW BEST:: SOT 253552863 SOS 64363946 HAS SOPS 63670286 HAS SOUS 49237962 HAS SOUPS 49207064 WITH SCORE 4.9271427946E7
AT ITER 5595 NEW BEST:: SOT 253553412 SOS 64364495 HAS SOPS 63670835 HAS SOUS 49236704 HAS SOUPS 49205806 WITH SCORE 4.9270170495E7
AT ITER 5613 NEW BEST:: SOT 253549401 SOS 64364525 HAS SOPS 63670865 HAS SOUS 49234378 HAS SOUPS 49203480 WITH SCORE 4.9267844525E7
AT ITER 5662 NEW BEST:: SOT 253549401 SOS 64363565 HAS SOPS 63669905 HAS SOUS 49233327 HAS SOUPS 49202429 WITH SCORE 4.9266792565E7
AT ITER 5741 NEW BEST:: SOT 253547108 SOS 64362701 HAS SOPS 63669041 HAS SOUS 49230147 HAS SOUPS 49199249 WITH SCORE 4.9263611701E7
AT ITER 5747 NEW BEST:: SOT 253547108 SOS 64362352 HAS SOPS 63668692 HAS SOUS 49229449 HAS SOUPS 49198551 WITH SCORE 4.9262913352E7
AT ITER 5757 NEW BEST:: SOT 253545775 SOS 64361030 HAS SOPS 63667370 HAS SOUS 49228116 HAS SOUPS 49197218 WITH SCORE 4.926157903E7
AT ITER 5765 NEW BEST:: SOT 253545191 SOS 64360446 HAS SOPS 63666786 HAS SOUS 49227532 HAS SOUPS 49196634 WITH SCORE 4.9260994446E7
AT ITER 5781 NEW BEST:: SOT 253540539 SOS 64359406 HAS SOPS 63665746 HAS SOUS 49222880 HAS SOUPS 49191982 WITH SCORE 4.9256341406E7
AT ITER 5784 NEW BEST:: SOT 253539296 SOS 64358180 HAS SOPS 63664520 HAS SOUS 49221637 HAS SOUPS 49190739 WITH SCORE 4.925509718E7
AT ITER 5791 NEW BEST:: SOT 253359827 SOS 64314968 HAS SOPS 63621208 HAS SOUS 49046920 HAS SOUPS 49016022 WITH SCORE 4.9080336968E7
AT ITER 5792 NEW BEST:: SOT 253357601 SOS 64314809 HAS SOPS 63621049 HAS SOUS 49043623 HAS SOUPS 49012725 WITH SCORE 4.9077039809E7
AT ITER 5815 NEW BEST:: SOT 253355945 SOS 64315049 HAS SOPS 63621289 HAS SOUS 49042207 HAS SOUPS 49011309 WITH SCORE 4.9075624049E7
AT ITER 5902 NEW BEST:: SOT 253342955 SOS 64442432 HAS SOPS 63612086 HAS SOUS 49038418 HAS SOUPS 49003732 WITH SCORE 4.9068174432E7
AT ITER 5917 NEW BEST:: SOT 253342627 SOS 64442108 HAS SOPS 63611762 HAS SOUS 49038090 HAS SOUPS 49003404 WITH SCORE 4.9067846108E7
AT ITER 5925 NEW BEST:: SOT 253340290 SOS 64441747 HAS SOPS 63611401 HAS SOUS 49037356 HAS SOUPS 49002670 WITH SCORE 4.9067111747E7
AT ITER 5987 NEW BEST:: SOT 253338881 SOS 64441747 HAS SOPS 63611401 HAS SOUS 49035947 HAS SOUPS 49001261 WITH SCORE 4.9065702747E7
AT ITER 6013 NEW BEST:: SOT 253338881 SOS 64440925 HAS SOPS 63610579 HAS SOUS 49034303 HAS SOUPS 48999617 WITH SCORE 4.9064057925E7
AT ITER 6014 NEW BEST:: SOT 253337471 SOS 64441221 HAS SOPS 63610875 HAS SOUS 49033189 HAS SOUPS 48998503 WITH SCORE 4.9062944221E7
AT ITER 6030 NEW BEST:: SOT 253336141 SOS 64441828 HAS SOPS 63611482 HAS SOUS 49032466 HAS SOUPS 48997780 WITH SCORE 4.9062221828E7
AT ITER 6042 NEW BEST:: SOT 253335452 SOS 64441827 HAS SOPS 63611481 HAS SOUS 49032465 HAS SOUPS 48997779 WITH SCORE 4.9062220827E7
AT ITER 6050 NEW BEST:: SOT 253335452 SOS 64441695 HAS SOPS 63611349 HAS SOUS 49032465 HAS SOUPS 48997779 WITH SCORE 4.9062220695E7
AT ITER 6066 NEW BEST:: SOT 253333584 SOS 64443500 HAS SOPS 63613154 HAS SOUS 49032402 HAS SOUPS 48997716 WITH SCORE 4.90621595E7
AT ITER 6067 NEW BEST:: SOT 253282634 SOS 64636007 HAS SOPS 63807411 HAS SOUS 48996307 HAS SOUPS 48961621 WITH SCORE 4.9026257007E7
AT ITER 6069 NEW BEST:: SOT 253282634 SOS 64635010 HAS SOPS 63806414 HAS SOUS 48994846 HAS SOUPS 48960160 WITH SCORE 4.902479501E7
AT ITER 6080 NEW BEST:: SOT 253280121 SOS 64629984 HAS SOPS 63801388 HAS SOUS 48992333 HAS SOUPS 48957647 WITH SCORE 4.9022276984E7
AT ITER 6085 NEW BEST:: SOT 253280121 SOS 64629984 HAS SOPS 63801388 HAS SOUS 48990854 HAS SOUPS 48956168 WITH SCORE 4.9020797984E7
AT ITER 6093 NEW BEST:: SOT 253280121 SOS 64631433 HAS SOPS 63802837 HAS SOUS 48990849 HAS SOUPS 48956163 WITH SCORE 4.9020794433E7
AT ITER 6101 NEW BEST:: SOT 253279365 SOS 64630677 HAS SOPS 63802081 HAS SOUS 48990072 HAS SOUPS 48955386 WITH SCORE 4.9020016677E7
AT ITER 6104 NEW BEST:: SOT 253279365 SOS 64630351 HAS SOPS 63801755 HAS SOUS 48989746 HAS SOUPS 48955060 WITH SCORE 4.9019690351E7
AT ITER 6123 NEW BEST:: SOT 253278092 SOS 64629078 HAS SOPS 63800482 HAS SOUS 48988473 HAS SOUPS 48953787 WITH SCORE 4.9018416078E7
AT ITER 6179 NEW BEST:: SOT 253278763 SOS 64629749 HAS SOPS 63801153 HAS SOUS 48987399 HAS SOUPS 48952713 WITH SCORE 4.9017342749E7
AT ITER 6220 NEW BEST:: SOT 253277787 SOS 64628848 HAS SOPS 63800252 HAS SOUS 48985520 HAS SOUPS 48950834 WITH SCORE 4.9015462848E7
AT ITER 6221 NEW BEST:: SOT 253277787 SOS 64627987 HAS SOPS 63799391 HAS SOUS 48983798 HAS SOUPS 48949112 WITH SCORE 4.9013739987E7
AT ITER 6246 NEW BEST:: SOT 253278964 SOS 64629164 HAS SOPS 63800568 HAS SOUS 48983483 HAS SOUPS 48948797 WITH SCORE 4.9013426164E7
AT ITER 6267 NEW BEST:: SOT 253275784 SOS 64628075 HAS SOPS 63799479 HAS SOUS 48980303 HAS SOUPS 48945617 WITH SCORE 4.9010245075E7
AT ITER 6268 NEW BEST:: SOT 253274312 SOS 64628075 HAS SOPS 63799479 HAS SOUS 48978831 HAS SOUPS 48944145 WITH SCORE 4.9008773075E7
AT ITER 6292 NEW BEST:: SOT 253272253 SOS 64627939 HAS SOPS 63799343 HAS SOUS 48977247 HAS SOUPS 48942561 WITH SCORE 4.9007188939E7
AT ITER 6299 NEW BEST:: SOT 253115488 SOS 64937330 HAS SOPS 64108734 HAS SOUS 48836237 HAS SOUPS 48801551 WITH SCORE 4.886648833E7
AT ITER 6314 NEW BEST:: SOT 253115488 SOS 64937377 HAS SOPS 64108781 HAS SOUS 48836209 HAS SOUPS 48801523 WITH SCORE 4.8866460377E7
AT ITER 6345 NEW BEST:: SOT 253116737 SOS 64938626 HAS SOPS 64110030 HAS SOUS 48836001 HAS SOUPS 48801315 WITH SCORE 4.8866253626E7
AT ITER 6354 NEW BEST:: SOT 253116737 SOS 64938626 HAS SOPS 64110030 HAS SOUS 48834938 HAS SOUPS 48800252 WITH SCORE 4.8865190626E7
AT ITER 6365 NEW BEST:: SOT 253116737 SOS 64938626 HAS SOPS 64110030 HAS SOUS 48833792 HAS SOUPS 48799106 WITH SCORE 4.8864044626E7
AT ITER 6390 NEW BEST:: SOT 253114304 SOS 64936193 HAS SOPS 64107597 HAS SOUS 48831359 HAS SOUPS 48796673 WITH SCORE 4.8861609193E7
AT ITER 6394 NEW BEST:: SOT 253112604 SOS 64936193 HAS SOPS 64107597 HAS SOUS 48829659 HAS SOUPS 48794973 WITH SCORE 4.8859909193E7
AT ITER 6398 NEW BEST:: SOT 253112604 SOS 64936193 HAS SOPS 64107597 HAS SOUS 48828959 HAS SOUPS 48794273 WITH SCORE 4.8859209193E7
AT ITER 6456 NEW BEST:: SOT 253112604 SOS 64936193 HAS SOPS 64107597 HAS SOUS 48827644 HAS SOUPS 48792958 WITH SCORE 4.8857894193E7
AT ITER 6487 NEW BEST:: SOT 253112604 SOS 64935609 HAS SOPS 64107013 HAS SOUS 48827644 HAS SOUPS 48792958 WITH SCORE 4.8857893609E7
AT ITER 6520 NEW BEST:: SOT 253110779 SOS 64935722 HAS SOPS 64107126 HAS SOUS 48825932 HAS SOUPS 48791246 WITH SCORE 4.8856181722E7
AT ITER 6528 NEW BEST:: SOT 253110779 SOS 64935722 HAS SOPS 64107126 HAS SOUS 48823970 HAS SOUPS 48789284 WITH SCORE 4.8854219722E7
AT ITER 6535 NEW BEST:: SOT 253110779 SOS 64935293 HAS SOPS 64106697 HAS SOUS 48823970 HAS SOUPS 48789284 WITH SCORE 4.8854219293E7
AT ITER 6553 NEW BEST:: SOT 253110779 SOS 64935367 HAS SOPS 64106771 HAS SOUS 48822855 HAS SOUPS 48788169 WITH SCORE 4.8853104367E7
AT ITER 6605 NEW BEST:: SOT 253110779 SOS 64935304 HAS SOPS 64106708 HAS SOUS 48822855 HAS SOUPS 48788169 WITH SCORE 4.8853104304E7
AT ITER 6615 NEW BEST:: SOT 253110779 SOS 64936293 HAS SOPS 64107697 HAS SOUS 48821997 HAS SOUPS 48787311 WITH SCORE 4.8852247293E7
AT ITER 6628 NEW BEST:: SOT 253110779 SOS 64936662 HAS SOPS 64108066 HAS SOUS 48820598 HAS SOUPS 48785912 WITH SCORE 4.8850848662E7
AT ITER 6665 NEW BEST:: SOT 253112045 SOS 64937928 HAS SOPS 64109332 HAS SOUS 48820416 HAS SOUPS 48785730 WITH SCORE 4.8850667928E7
AT ITER 6677 NEW BEST:: SOT 253112045 SOS 64937928 HAS SOPS 64109332 HAS SOUS 48818386 HAS SOUPS 48783700 WITH SCORE 4.8848637928E7
AT ITER 6681 NEW BEST:: SOT 253111901 SOS 64939035 HAS SOPS 64110439 HAS SOUS 48818306 HAS SOUPS 48783620 WITH SCORE 4.8848559035E7
AT ITER 6685 NEW BEST:: SOT 253111901 SOS 64938206 HAS SOPS 64109610 HAS SOUS 48818306 HAS SOUPS 48783620 WITH SCORE 4.8848558206E7
AT ITER 6693 NEW BEST:: SOT 253111901 SOS 64939219 HAS SOPS 64110623 HAS SOUS 48817768 HAS SOUPS 48783082 WITH SCORE 4.8848021219E7
AT ITER 6734 NEW BEST:: SOT 253110131 SOS 64940952 HAS SOPS 64112356 HAS SOUS 48817710 HAS SOUPS 48783024 WITH SCORE 4.8847964952E7
AT ITER 6748 NEW BEST:: SOT 253108543 SOS 64940983 HAS SOPS 64112387 HAS SOUS 48816153 HAS SOUPS 48781467 WITH SCORE 4.8846407983E7
AT ITER 6789 NEW BEST:: SOT 253108359 SOS 64940799 HAS SOPS 64112203 HAS SOUS 48815969 HAS SOUPS 48781283 WITH SCORE 4.8846223799E7
AT ITER 6795 NEW BEST:: SOT 253108359 SOS 64940799 HAS SOPS 64112203 HAS SOUS 48814658 HAS SOUPS 48779972 WITH SCORE 4.8844912799E7
AT ITER 6823 NEW BEST:: SOT 253107302 SOS 64940799 HAS SOPS 64112203 HAS SOUS 48813601 HAS SOUPS 48778915 WITH SCORE 4.8843855799E7
AT ITER 6846 NEW BEST:: SOT 253107322 SOS 64814866 HAS SOPS 63986270 HAS SOUS 48813621 HAS SOUPS 48778935 WITH SCORE 4.8843749866E7
AT ITER 6868 NEW BEST:: SOT 253105233 SOS 64812833 HAS SOPS 63984237 HAS SOUS 48812043 HAS SOUPS 48777357 WITH SCORE 4.8842169833E7
AT ITER 6892 NEW BEST:: SOT 253105233 SOS 64812187 HAS SOPS 63983591 HAS SOUS 48810751 HAS SOUPS 48776065 WITH SCORE 4.8840877187E7
AT ITER 6920 NEW BEST:: SOT 253105233 SOS 64812187 HAS SOPS 63983591 HAS SOUS 48808745 HAS SOUPS 48774059 WITH SCORE 4.8838871187E7
AT ITER 6922 NEW BEST:: SOT 253105233 SOS 64812187 HAS SOPS 63983591 HAS SOUS 48808399 HAS SOUPS 48773713 WITH SCORE 4.8838525187E7
AT ITER 6930 NEW BEST:: SOT 253103137 SOS 64810157 HAS SOPS 63981561 HAS SOUS 48804382 HAS SOUPS 48769696 WITH SCORE 4.8834506157E7
AT ITER 6981 NEW BEST:: SOT 253103137 SOS 64809272 HAS SOPS 63980676 HAS SOUS 48802270 HAS SOUPS 48767584 WITH SCORE 4.8832393272E7
AT ITER 6989 NEW BEST:: SOT 253103137 SOS 64808240 HAS SOPS 63979644 HAS SOUS 48801238 HAS SOUPS 48766552 WITH SCORE 4.883136024E7
AT ITER 6994 NEW BEST:: SOT 253103137 SOS 64808240 HAS SOPS 63979644 HAS SOUS 48800084 HAS SOUPS 48765398 WITH SCORE 4.883020624E7
AT ITER 7018 NEW BEST:: SOT 253104010 SOS 64809113 HAS SOPS 63980517 HAS SOUS 48799314 HAS SOUPS 48764628 WITH SCORE 4.8829437113E7
AT ITER 7028 NEW BEST:: SOT 253103200 SOS 64809788 HAS SOPS 63981192 HAS SOUS 48799179 HAS SOUPS 48764493 WITH SCORE 4.8829302788E7
AT ITER 7040 NEW BEST:: SOT 253099155 SOS 64804707 HAS SOPS 63976111 HAS SOUS 48795134 HAS SOUPS 48760448 WITH SCORE 4.8825252707E7
AT ITER 7092 NEW BEST:: SOT 253099155 SOS 64805174 HAS SOPS 63976578 HAS SOUS 48794606 HAS SOUPS 48759920 WITH SCORE 4.8824725174E7
AT ITER 7108 NEW BEST:: SOT 253099431 SOS 64805450 HAS SOPS 63976854 HAS SOUS 48792939 HAS SOUPS 48758253 WITH SCORE 4.882305845E7
AT ITER 7115 NEW BEST:: SOT 253085492 SOS 64907894 HAS SOPS 63966407 HAS SOUS 48785985 HAS SOUPS 48747806 WITH SCORE 4.8812713894E7
AT ITER 7132 NEW BEST:: SOT 253085050 SOS 64907894 HAS SOPS 63966407 HAS SOUS 48785543 HAS SOUPS 48747364 WITH SCORE 4.8812271894E7
AT ITER 7153 NEW BEST:: SOT 253085050 SOS 64907894 HAS SOPS 63966407 HAS SOUS 48783837 HAS SOUPS 48745658 WITH SCORE 4.8810565894E7
AT ITER 7185 NEW BEST:: SOT 253085405 SOS 64903401 HAS SOPS 63961769 HAS SOUS 48779199 HAS SOUPS 48741020 WITH SCORE 4.8805923401E7
AT ITER 7191 NEW BEST:: SOT 253085187 SOS 64903183 HAS SOPS 63961551 HAS SOUS 48778763 HAS SOUPS 48740584 WITH SCORE 4.8805487183E7
AT ITER 7218 NEW BEST:: SOT 253085187 SOS 64902297 HAS SOPS 63960665 HAS SOUS 48776991 HAS SOUPS 48738812 WITH SCORE 4.8803714297E7
AT ITER 7224 NEW BEST:: SOT 253084200 SOS 64903274 HAS SOPS 63961642 HAS SOUS 48776981 HAS SOUPS 48738802 WITH SCORE 4.8803705274E7
AT ITER 7241 NEW BEST:: SOT 253083832 SOS 64902538 HAS SOPS 63960906 HAS SOUS 48776613 HAS SOUPS 48738434 WITH SCORE 4.8803336538E7
AT ITER 7271 NEW BEST:: SOT 253082774 SOS 64902278 HAS SOPS 63960646 HAS SOUS 48775555 HAS SOUPS 48737376 WITH SCORE 4.8802278278E7
AT ITER 7289 NEW BEST:: SOT 253081181 SOS 64900684 HAS SOPS 63959052 HAS SOUS 48775554 HAS SOUPS 48737375 WITH SCORE 4.8802275684E7
AT ITER 7319 NEW BEST:: SOT 253081181 SOS 64903202 HAS SOPS 63961570 HAS SOUS 48774732 HAS SOUPS 48736553 WITH SCORE 4.8801456202E7
AT ITER 7385 NEW BEST:: SOT 253079683 SOS 64903202 HAS SOPS 63961570 HAS SOUS 48773234 HAS SOUPS 48735055 WITH SCORE 4.8799958202E7
AT ITER 7401 NEW BEST:: SOT 253078686 SOS 64903202 HAS SOPS 63961570 HAS SOUS 48772237 HAS SOUPS 48734058 WITH SCORE 4.8798961202E7
AT ITER 7409 NEW BEST:: SOT 253078686 SOS 64903202 HAS SOPS 63961570 HAS SOUS 48770797 HAS SOUPS 48732618 WITH SCORE 4.8797521202E7
AT ITER 7468 NEW BEST:: SOT 253078686 SOS 64902797 HAS SOPS 63961165 HAS SOUS 48767693 HAS SOUPS 48729514 WITH SCORE 4.8794416797E7
AT ITER 7470 NEW BEST:: SOT 253078727 SOS 64902422 HAS SOPS 63960715 HAS SOUS 48767273 HAS SOUPS 48729094 WITH SCORE 4.8793996422E7
AT ITER 7476 NEW BEST:: SOT 253077720 SOS 64902422 HAS SOPS 63960715 HAS SOUS 48766266 HAS SOUPS 48728087 WITH SCORE 4.8792989422E7
AT ITER 7494 NEW BEST:: SOT 253076251 SOS 64903349 HAS SOPS 63961642 HAS SOUS 48765724 HAS SOUPS 48727545 WITH SCORE 4.8792448349E7
AT ITER 7510 NEW BEST:: SOT 253076251 SOS 64902360 HAS SOPS 63960653 HAS SOUS 48763746 HAS SOUPS 48725567 WITH SCORE 4.879046936E7
AT ITER 7520 NEW BEST:: SOT 253036219 SOS 64913978 HAS SOPS 63920621 HAS SOUS 48725605 HAS SOUPS 48685511 WITH SCORE 4.8750424978E7
AT ITER 7521 NEW BEST:: SOT 253036219 SOS 64913978 HAS SOPS 63920621 HAS SOUS 48724072 HAS SOUPS 48683978 WITH SCORE 4.8748891978E7
AT ITER 7556 NEW BEST:: SOT 253036219 SOS 64913408 HAS SOPS 63920051 HAS SOUS 48723487 HAS SOUPS 48683393 WITH SCORE 4.8748306408E7
AT ITER 7599 NEW BEST:: SOT 253035142 SOS 64912331 HAS SOPS 63918974 HAS SOUS 48722410 HAS SOUPS 48682316 WITH SCORE 4.8747228331E7
AT ITER 7603 NEW BEST:: SOT 253035142 SOS 64911710 HAS SOPS 63918353 HAS SOUS 48721789 HAS SOUPS 48681695 WITH SCORE 4.874660671E7
AT ITER 7617 NEW BEST:: SOT 253035142 SOS 64912543 HAS SOPS 63919186 HAS SOUS 48720733 HAS SOUPS 48680639 WITH SCORE 4.8745551543E7
AT ITER 7618 NEW BEST:: SOT 253035142 SOS 64911554 HAS SOPS 63918197 HAS SOUS 48718621 HAS SOUPS 48678527 WITH SCORE 4.8743438554E7
AT ITER 7625 NEW BEST:: SOT 253035142 SOS 64911554 HAS SOPS 63918197 HAS SOUS 48717839 HAS SOUPS 48677745 WITH SCORE 4.8742656554E7
AT ITER 7636 NEW BEST:: SOT 253034446 SOS 64909468 HAS SOPS 63916111 HAS SOUS 48717143 HAS SOUPS 48677049 WITH SCORE 4.8741958468E7
AT ITER 7655 NEW BEST:: SOT 253030438 SOS 64903542 HAS SOPS 63910099 HAS SOUS 48711131 HAS SOUPS 48671037 WITH SCORE 4.8735940542E7
AT ITER 7663 NEW BEST:: SOT 253030245 SOS 64903349 HAS SOPS 63909906 HAS SOUS 48710938 HAS SOUPS 48670844 WITH SCORE 4.8735747349E7
AT ITER 7672 NEW BEST:: SOT 253028809 SOS 64901940 HAS SOPS 63908497 HAS SOUS 48709502 HAS SOUPS 48669408 WITH SCORE 4.873430994E7
AT ITER 7686 NEW BEST:: SOT 253028809 SOS 64901216 HAS SOPS 63907773 HAS SOUS 48706863 HAS SOUPS 48666769 WITH SCORE 4.8731670216E7
AT ITER 7714 NEW BEST:: SOT 253027171 SOS 64901216 HAS SOPS 63906135 HAS SOUS 48705225 HAS SOUPS 48665131 WITH SCORE 4.8730032216E7
AT ITER 7724 NEW BEST:: SOT 253024888 SOS 64900179 HAS SOPS 63905098 HAS SOUS 48701886 HAS SOUPS 48661792 WITH SCORE 4.8726692179E7
AT ITER 7745 NEW BEST:: SOT 253024879 SOS 64912963 HAS SOPS 63905089 HAS SOUS 48694436 HAS SOUPS 48649000 WITH SCORE 4.8713912963E7
AT ITER 7758 NEW BEST:: SOT 253022403 SOS 64911916 HAS SOPS 63904042 HAS SOUS 48691265 HAS SOUPS 48645829 WITH SCORE 4.8710740916E7
AT ITER 7781 NEW BEST:: SOT 253021647 SOS 64911916 HAS SOPS 63903286 HAS SOUS 48690509 HAS SOUPS 48645073 WITH SCORE 4.8709984916E7
AT ITER 7840 NEW BEST:: SOT 253021647 SOS 64911916 HAS SOPS 63903286 HAS SOUS 48688913 HAS SOUPS 48643477 WITH SCORE 4.8708388916E7
AT ITER 7846 NEW BEST:: SOT 253020364 SOS 64911916 HAS SOPS 63903286 HAS SOUS 48687630 HAS SOUPS 48642194 WITH SCORE 4.8707105916E7
AT ITER 7849 NEW BEST:: SOT 253020364 SOS 64910785 HAS SOPS 63902155 HAS SOUS 48687630 HAS SOUPS 48642194 WITH SCORE 4.8707104785E7
AT ITER 7862 NEW BEST:: SOT 253019797 SOS 64910218 HAS SOPS 63901588 HAS SOUS 48687063 HAS SOUPS 48641627 WITH SCORE 4.8706537218E7
AT ITER 7865 NEW BEST:: SOT 253018329 SOS 64910408 HAS SOPS 63901778 HAS SOUS 48685785 HAS SOUPS 48640349 WITH SCORE 4.8705259408E7
AT ITER 7925 NEW BEST:: SOT 252862346 SOS 65237584 HAS SOPS 64228954 HAS SOUS 48547302 HAS SOUPS 48501866 WITH SCORE 4.8567103584E7
AT ITER 7927 NEW BEST:: SOT 252860244 SOS 65235563 HAS SOPS 64226933 HAS SOUS 48543432 HAS SOUPS 48497996 WITH SCORE 4.8563231563E7
AT ITER 7931 NEW BEST:: SOT 252856472 SOS 65270611 HAS SOPS 64224169 HAS SOUS 48542683 HAS SOUPS 48496239 WITH SCORE 4.8561509611E7
AT ITER 7945 NEW BEST:: SOT 252855596 SOS 65269735 HAS SOPS 64223293 HAS SOUS 48541807 HAS SOUPS 48495363 WITH SCORE 4.8560632735E7
AT ITER 7946 NEW BEST:: SOT 252855596 SOS 65269694 HAS SOPS 64223252 HAS SOUS 48538703 HAS SOUPS 48492259 WITH SCORE 4.8557528694E7
AT ITER 7949 NEW BEST:: SOT 252852780 SOS 65264062 HAS SOPS 64217620 HAS SOUS 48533071 HAS SOUPS 48486627 WITH SCORE 4.8551891062E7
AT ITER 7960 NEW BEST:: SOT 252852780 SOS 65264062 HAS SOPS 64217620 HAS SOUS 48531074 HAS SOUPS 48484630 WITH SCORE 4.8549894062E7
AT ITER 7973 NEW BEST:: SOT 252851694 SOS 65262976 HAS SOPS 64216534 HAS SOUS 48529988 HAS SOUPS 48483544 WITH SCORE 4.8548806976E7
AT ITER 7998 NEW BEST:: SOT 252851694 SOS 65262067 HAS SOPS 64215625 HAS SOUS 48529988 HAS SOUPS 48483544 WITH SCORE 4.8548806067E7
AT ITER 8031 NEW BEST:: SOT 252851694 SOS 65262067 HAS SOPS 64215625 HAS SOUS 48528620 HAS SOUPS 48482176 WITH SCORE 4.8547438067E7
AT ITER 8038 NEW BEST:: SOT 252849132 SOS 65259339 HAS SOPS 64212780 HAS SOUS 48525775 HAS SOUPS 48479331 WITH SCORE 4.8544590339E7
AT ITER 8096 NEW BEST:: SOT 252847448 SOS 65259769 HAS SOPS 64213210 HAS SOUS 48524521 HAS SOUPS 48478077 WITH SCORE 4.8543336769E7
AT ITER 8101 NEW BEST:: SOT 252847077 SOS 65259398 HAS SOPS 64212839 HAS SOUS 48523779 HAS SOUPS 48477335 WITH SCORE 4.8542594398E7
AT ITER 8161 NEW BEST:: SOT 252841548 SOS 65285195 HAS SOPS 64207310 HAS SOUS 48519209 HAS SOUPS 48471806 WITH SCORE 4.8537091195E7
AT ITER 8170 NEW BEST:: SOT 252841172 SOS 65284827 HAS SOPS 64206942 HAS SOUS 48518833 HAS SOUPS 48471430 WITH SCORE 4.8536714827E7
AT ITER 8199 NEW BEST:: SOT 252839314 SOS 65282992 HAS SOPS 64205107 HAS SOUS 48516975 HAS SOUPS 48469572 WITH SCORE 4.8534854992E7
AT ITER 8211 NEW BEST:: SOT 252840064 SOS 65283742 HAS SOPS 64205857 HAS SOUS 48516019 HAS SOUPS 48468616 WITH SCORE 4.8533899742E7
AT ITER 8213 NEW BEST:: SOT 252840064 SOS 65283078 HAS SOPS 64205193 HAS SOUS 48516019 HAS SOUPS 48468616 WITH SCORE 4.8533899078E7
AT ITER 8229 NEW BEST:: SOT 252836554 SOS 65276058 HAS SOPS 64198173 HAS SOUS 48512509 HAS SOUPS 48465106 WITH SCORE 4.8530382058E7
AT ITER 8232 NEW BEST:: SOT 252834641 SOS 65274145 HAS SOPS 64196260 HAS SOUS 48510596 HAS SOUPS 48463193 WITH SCORE 4.8528467145E7
AT ITER 8265 NEW BEST:: SOT 252833419 SOS 65272923 HAS SOPS 64195038 HAS SOUS 48509374 HAS SOUPS 48461971 WITH SCORE 4.8527243923E7
AT ITER 8279 NEW BEST:: SOT 252833419 SOS 65273550 HAS SOPS 64195665 HAS SOUS 48509174 HAS SOUPS 48461771 WITH SCORE 4.852704455E7
AT ITER 8289 NEW BEST:: SOT 252833419 SOS 65274956 HAS SOPS 64197071 HAS SOUS 48509141 HAS SOUPS 48461738 WITH SCORE 4.8527012956E7
AT ITER 8310 NEW BEST:: SOT 252832269 SOS 65275637 HAS SOPS 64197752 HAS SOUS 48508672 HAS SOUPS 48461269 WITH SCORE 4.8526544637E7
AT ITER 8316 NEW BEST:: SOT 252831695 SOS 65275063 HAS SOPS 64196604 HAS SOUS 48508098 HAS SOUPS 48460695 WITH SCORE 4.8525970063E7
AT ITER 8344 NEW BEST:: SOT 252821078 SOS 65320830 HAS SOPS 64185987 HAS SOUS 48499243 HAS SOUPS 48450078 WITH SCORE 4.851539883E7
AT ITER 8362 NEW BEST:: SOT 252818964 SOS 65318749 HAS SOPS 64183906 HAS SOUS 48497369 HAS SOUPS 48448204 WITH SCORE 4.8513522749E7
AT ITER 8375 NEW BEST:: SOT 252819854 SOS 65319639 HAS SOPS 64184796 HAS SOUS 48496625 HAS SOUPS 48447460 WITH SCORE 4.8512779639E7
AT ITER 8385 NEW BEST:: SOT 252819854 SOS 65319662 HAS SOPS 64184819 HAS SOUS 48495569 HAS SOUPS 48446404 WITH SCORE 4.8511723662E7
AT ITER 8387 NEW BEST:: SOT 252820020 SOS 65319828 HAS SOPS 64184985 HAS SOUS 48493738 HAS SOUPS 48444573 WITH SCORE 4.8509892828E7
AT ITER 8393 NEW BEST:: SOT 252818182 SOS 65317990 HAS SOPS 64183147 HAS SOUS 48491900 HAS SOUPS 48442735 WITH SCORE 4.850805299E7
AT ITER 8394 NEW BEST:: SOT 252818182 SOS 65317970 HAS SOPS 64183127 HAS SOUS 48491900 HAS SOUPS 48442735 WITH SCORE 4.850805297E7
AT ITER 8415 NEW BEST:: SOT 252818182 SOS 65317123 HAS SOPS 64182280 HAS SOUS 48489788 HAS SOUPS 48440623 WITH SCORE 4.8505940123E7
AT ITER 8443 NEW BEST:: SOT 252816925 SOS 65317426 HAS SOPS 64182583 HAS SOUS 48488834 HAS SOUPS 48439669 WITH SCORE 4.8504986426E7
AT ITER 8461 NEW BEST:: SOT 252814653 SOS 65314136 HAS SOPS 64179293 HAS SOUS 48484290 HAS SOUPS 48435125 WITH SCORE 4.8500439136E7
AT ITER 8466 NEW BEST:: SOT 252813734 SOS 65313217 HAS SOPS 64178374 HAS SOUS 48483371 HAS SOUPS 48434206 WITH SCORE 4.8499519217E7
AT ITER 8467 NEW BEST:: SOT 252813734 SOS 65312700 HAS SOPS 64177857 HAS SOUS 48482854 HAS SOUPS 48433689 WITH SCORE 4.84990017E7
AT ITER 8475 NEW BEST:: SOT 252812456 SOS 65312700 HAS SOPS 64177857 HAS SOUS 48481576 HAS SOUPS 48432411 WITH SCORE 4.84977237E7
AT ITER 8508 NEW BEST:: SOT 252812962 SOS 65313206 HAS SOPS 64178363 HAS SOUS 48480254 HAS SOUPS 48431089 WITH SCORE 4.8496402206E7
AT ITER 8510 NEW BEST:: SOT 252811211 SOS 65311480 HAS SOPS 64176637 HAS SOUS 48478812 HAS SOUPS 48429647 WITH SCORE 4.849495848E7
AT ITER 8513 NEW BEST:: SOT 252811211 SOS 65311480 HAS SOPS 64176637 HAS SOUS 48477697 HAS SOUPS 48428532 WITH SCORE 4.849384348E7
AT ITER 8554 NEW BEST:: SOT 252808206 SOS 65305470 HAS SOPS 64170627 HAS SOUS 48474692 HAS SOUPS 48425527 WITH SCORE 4.849083247E7
AT ITER 8557 NEW BEST:: SOT 252808206 SOS 65305213 HAS SOPS 64170370 HAS SOUS 48474692 HAS SOUPS 48425527 WITH SCORE 4.8490832213E7
AT ITER 8577 NEW BEST:: SOT 252808206 SOS 65305213 HAS SOPS 64170370 HAS SOUS 48472670 HAS SOUPS 48423505 WITH SCORE 4.8488810213E7
AT ITER 8606 NEW BEST:: SOT 252808206 SOS 65304821 HAS SOPS 64169978 HAS SOUS 48472278 HAS SOUPS 48423113 WITH SCORE 4.8488417821E7
AT ITER 8610 NEW BEST:: SOT 252807999 SOS 65304821 HAS SOPS 64169771 HAS SOUS 48472071 HAS SOUPS 48422906 WITH SCORE 4.8488210821E7
AT ITER 8672 NEW BEST:: SOT 252807999 SOS 65304821 HAS SOPS 64169771 HAS SOUS 48471685 HAS SOUPS 48422520 WITH SCORE 4.8487824821E7
AT ITER 8680 NEW BEST:: SOT 252713844 SOS 65270522 HAS SOPS 64136842 HAS SOUS 48383816 HAS SOUPS 48334651 WITH SCORE 4.8399921522E7
AT ITER 8688 NEW BEST:: SOT 252713844 SOS 65270610 HAS SOPS 64136930 HAS SOUS 48382659 HAS SOUPS 48333494 WITH SCORE 4.839876461E7
AT ITER 8691 NEW BEST:: SOT 252712683 SOS 65269711 HAS SOPS 64136031 HAS SOUS 48381498 HAS SOUPS 48332333 WITH SCORE 4.8397602711E7
AT ITER 8697 NEW BEST:: SOT 252713292 SOS 65270045 HAS SOPS 64102300 HAS SOUS 48363551 HAS SOUPS 48299150 WITH SCORE 4.8364420045E7
AT ITER 8730 NEW BEST:: SOT 252713292 SOS 65270045 HAS SOPS 64102300 HAS SOUS 48362015 HAS SOUPS 48297614 WITH SCORE 4.8362884045E7
AT ITER 8739 NEW BEST:: SOT 252711725 SOS 65268492 HAS SOPS 64100747 HAS SOUS 48360447 HAS SOUPS 48296046 WITH SCORE 4.8361314492E7
AT ITER 8740 NEW BEST:: SOT 252711725 SOS 65268492 HAS SOPS 64100747 HAS SOUS 48359136 HAS SOUPS 48294735 WITH SCORE 4.8360003492E7
AT ITER 8753 NEW BEST:: SOT 252711725 SOS 65268492 HAS SOPS 64100747 HAS SOUS 48358191 HAS SOUPS 48293790 WITH SCORE 4.8359058492E7
AT ITER 8757 NEW BEST:: SOT 252709573 SOS 65266554 HAS SOPS 64098809 HAS SOUS 48354449 HAS SOUPS 48290048 WITH SCORE 4.8355314554E7
AT ITER 8795 NEW BEST:: SOT 252707429 SOS 65266553 HAS SOPS 64098808 HAS SOUS 48354448 HAS SOUPS 48290047 WITH SCORE 4.8355313553E7
AT ITER 8863 NEW BEST:: SOT 252707919 SOS 65268394 HAS SOPS 64100649 HAS SOUS 48353943 HAS SOUPS 48289542 WITH SCORE 4.8354810394E7
AT ITER 8896 NEW BEST:: SOT 252707919 SOS 65269136 HAS SOPS 64101391 HAS SOUS 48352886 HAS SOUPS 48288485 WITH SCORE 4.8353754136E7
AT ITER 8936 NEW BEST:: SOT 252707919 SOS 65268150 HAS SOPS 64100405 HAS SOUS 48352886 HAS SOUPS 48288485 WITH SCORE 4.835375315E7
AT ITER 8942 NEW BEST:: SOT 252708854 SOS 65269085 HAS SOPS 64101340 HAS SOUS 48352207 HAS SOUPS 48287806 WITH SCORE 4.8353075085E7
AT ITER 8970 NEW BEST:: SOT 252709302 SOS 65269533 HAS SOPS 64101788 HAS SOUS 48350799 HAS SOUPS 48286398 WITH SCORE 4.8351667533E7
AT ITER 8978 NEW BEST:: SOT 252709302 SOS 65269817 HAS SOPS 64102072 HAS SOUS 48350698 HAS SOUPS 48286297 WITH SCORE 4.8351566817E7
AT ITER 9035 NEW BEST:: SOT 252709302 SOS 65269817 HAS SOPS 64102072 HAS SOUS 48349014 HAS SOUPS 48284613 WITH SCORE 4.8349882817E7
AT ITER 9038 NEW BEST:: SOT 252709302 SOS 65271167 HAS SOPS 64103422 HAS SOUS 48348326 HAS SOUPS 48283925 WITH SCORE 4.8349196167E7
AT ITER 9046 NEW BEST:: SOT 252708649 SOS 65270514 HAS SOPS 64102769 HAS SOUS 48347673 HAS SOUPS 48283272 WITH SCORE 4.8348542514E7
AT ITER 9084 NEW BEST:: SOT 252707701 SOS 65271015 HAS SOPS 64103270 HAS SOUS 48347226 HAS SOUPS 48282825 WITH SCORE 4.8348096015E7
AT ITER 9095 NEW BEST:: SOT 252707701 SOS 65271802 HAS SOPS 64104057 HAS SOUS 48346170 HAS SOUPS 48281769 WITH SCORE 4.8347040802E7
AT ITER 9145 NEW BEST:: SOT 252703050 SOS 65267151 HAS SOPS 64099406 HAS SOUS 48341519 HAS SOUPS 48277118 WITH SCORE 4.8342385151E7
AT ITER 9172 NEW BEST:: SOT 252685841 SOS 65550287 HAS SOPS 64386215 HAS SOUS 48337403 HAS SOUPS 48273002 WITH SCORE 4.8338552287E7
AT ITER 9183 NEW BEST:: SOT 252683856 SOS 65550303 HAS SOPS 64386231 HAS SOUS 48335434 HAS SOUPS 48271033 WITH SCORE 4.8336583303E7
AT ITER 9190 NEW BEST:: SOT 252683856 SOS 65549526 HAS SOPS 64385454 HAS SOUS 48335434 HAS SOUPS 48271033 WITH SCORE 4.8336582526E7
AT ITER 9214 NEW BEST:: SOT 252680957 SOS 65548564 HAS SOPS 64384492 HAS SOUS 48331567 HAS SOUPS 48267166 WITH SCORE 4.8332714564E7
AT ITER 9227 NEW BEST:: SOT 252680957 SOS 65547842 HAS SOPS 64383770 HAS SOUS 48329340 HAS SOUPS 48264939 WITH SCORE 4.8330486842E7
AT ITER 9234 NEW BEST:: SOT 252679200 SOS 65549270 HAS SOPS 64385198 HAS SOUS 48328998 HAS SOUPS 48264597 WITH SCORE 4.833014627E7
AT ITER 9244 NEW BEST:: SOT 252643892 SOS 65642523 HAS SOPS 64480469 HAS SOUS 48296410 HAS SOUPS 48232009 WITH SCORE 4.8297651523E7
AT ITER 9245 NEW BEST:: SOT 252644902 SOS 65643533 HAS SOPS 64481479 HAS SOUS 48295844 HAS SOUPS 48231443 WITH SCORE 4.8297086533E7
AT ITER 9257 NEW BEST:: SOT 252644902 SOS 65643198 HAS SOPS 64481144 HAS SOUS 48295509 HAS SOUPS 48231108 WITH SCORE 4.8296751198E7
AT ITER 9285 NEW BEST:: SOT 252645817 SOS 65644113 HAS SOPS 64482059 HAS SOUS 48294801 HAS SOUPS 48230400 WITH SCORE 4.8296044113E7
AT ITER 9292 NEW BEST:: SOT 252643552 SOS 65643062 HAS SOPS 64481008 HAS SOUS 48291480 HAS SOUPS 48227079 WITH SCORE 4.8292722062E7
AT ITER 9299 NEW BEST:: SOT 252643552 SOS 65643062 HAS SOPS 64481008 HAS SOUS 48290798 HAS SOUPS 48226397 WITH SCORE 4.8292040062E7
AT ITER 9300 NEW BEST:: SOT 252643251 SOS 65642762 HAS SOPS 64480708 HAS SOUS 48290497 HAS SOUPS 48226096 WITH SCORE 4.8291738762E7
AT ITER 9301 NEW BEST:: SOT 252641673 SOS 65641184 HAS SOPS 64479130 HAS SOUS 48288919 HAS SOUPS 48224518 WITH SCORE 4.8290159184E7
AT ITER 9306 NEW BEST:: SOT 252640744 SOS 65640272 HAS SOPS 64478218 HAS SOUS 48287990 HAS SOUPS 48223589 WITH SCORE 4.8289229272E7
AT ITER 9310 NEW BEST:: SOT 252639500 SOS 65641343 HAS SOPS 64479289 HAS SOUS 48287817 HAS SOUPS 48223416 WITH SCORE 4.8289057343E7
AT ITER 9323 NEW BEST:: SOT 252635932 SOS 65635325 HAS SOPS 64475974 HAS SOUS 48283749 HAS SOUPS 48219444 WITH SCORE 4.8285079325E7
AT ITER 9324 NEW BEST:: SOT 252632029 SOS 65627519 HAS SOPS 64468168 HAS SOUS 48279846 HAS SOUPS 48215541 WITH SCORE 4.8281168519E7
AT ITER 9325 NEW BEST:: SOT 252620615 SOS 66003049 HAS SOPS 64464392 HAS SOUS 48286232 HAS SOUPS 48213937 WITH SCORE 4.8279940049E7
AT ITER 9334 NEW BEST:: SOT 252619348 SOS 65999261 HAS SOPS 64460604 HAS SOUS 48284965 HAS SOUPS 48212670 WITH SCORE 4.8278669261E7
AT ITER 9385 NEW BEST:: SOT 252619348 SOS 65999680 HAS SOPS 64461023 HAS SOUS 48283909 HAS SOUPS 48211614 WITH SCORE 4.827761368E7
AT ITER 9394 NEW BEST:: SOT 252618995 SOS 65999849 HAS SOPS 64461192 HAS SOUS 48283725 HAS SOUPS 48211430 WITH SCORE 4.8277429849E7
AT ITER 9416 NEW BEST:: SOT 252618995 SOS 65999175 HAS SOPS 64460518 HAS SOUS 48282377 HAS SOUPS 48210082 WITH SCORE 4.8276081175E7
AT ITER 9428 NEW BEST:: SOT 252620011 SOS 66000191 HAS SOPS 64461534 HAS SOUS 48281821 HAS SOUPS 48209526 WITH SCORE 4.8275526191E7
AT ITER 9435 NEW BEST:: SOT 252620011 SOS 65999361 HAS SOPS 64460704 HAS SOUS 48278716 HAS SOUPS 48206421 WITH SCORE 4.8272420361E7
AT ITER 9457 NEW BEST:: SOT 252620011 SOS 65999361 HAS SOPS 64460704 HAS SOUS 48278247 HAS SOUPS 48205952 WITH SCORE 4.8271951361E7
AT ITER 9467 NEW BEST:: SOT 252618451 SOS 66000773 HAS SOPS 64462116 HAS SOUS 48278090 HAS SOUPS 48205795 WITH SCORE 4.8271795773E7
AT ITER 9507 NEW BEST:: SOT 252618534 SOS 66000856 HAS SOPS 64462199 HAS SOUS 48276134 HAS SOUPS 48203839 WITH SCORE 4.8269839856E7
AT ITER 9522 NEW BEST:: SOT 252617355 SOS 66000855 HAS SOPS 64462198 HAS SOUS 48276133 HAS SOUPS 48203838 WITH SCORE 4.8269838855E7
AT ITER 9539 NEW BEST:: SOT 252616024 SOS 66000855 HAS SOPS 64462198 HAS SOUS 48274802 HAS SOUPS 48202507 WITH SCORE 4.8268507855E7
AT ITER 9561 NEW BEST:: SOT 252613835 SOS 66001350 HAS SOPS 64462693 HAS SOUS 48273537 HAS SOUPS 48201242 WITH SCORE 4.826724335E7
AT ITER 9574 NEW BEST:: SOT 252611541 SOS 66000319 HAS SOPS 64461662 HAS SOUS 48270186 HAS SOUPS 48197891 WITH SCORE 4.8263891319E7
AT ITER 9577 NEW BEST:: SOT 252611541 SOS 65999646 HAS SOPS 64460989 HAS SOUS 48269497 HAS SOUPS 48197202 WITH SCORE 4.8263201646E7
AT ITER 9609 NEW BEST:: SOT 252611364 SOS 66001247 HAS SOPS 64462590 HAS SOUS 48269282 HAS SOUPS 48196987 WITH SCORE 4.8262988247E7
AT ITER 9655 NEW BEST:: SOT 252607626 SOS 65993771 HAS SOPS 64455114 HAS SOUS 48265544 HAS SOUPS 48193249 WITH SCORE 4.8259242771E7
AT ITER 9672 NEW BEST:: SOT 252607433 SOS 65993771 HAS SOPS 64454921 HAS SOUS 48265351 HAS SOUPS 48193056 WITH SCORE 4.8259049771E7
AT ITER 9706 NEW BEST:: SOT 252607433 SOS 65993771 HAS SOPS 64454921 HAS SOUS 48264153 HAS SOUPS 48191858 WITH SCORE 4.8257851771E7
AT ITER 9737 NEW BEST:: SOT 252606624 SOS 65992962 HAS SOPS 64454112 HAS SOUS 48262461 HAS SOUPS 48190166 WITH SCORE 4.8256158962E7
AT ITER 9749 NEW BEST:: SOT 252606452 SOS 65992790 HAS SOPS 64453768 HAS SOUS 48262289 HAS SOUPS 48189994 WITH SCORE 4.825598679E7
AT ITER 9760 NEW BEST:: SOT 252606452 SOS 65992790 HAS SOPS 64453768 HAS SOUS 48261581 HAS SOUPS 48189286 WITH SCORE 4.825527879E7
AT ITER 9776 NEW BEST:: SOT 252606161 SOS 65992737 HAS SOPS 64453715 HAS SOUS 48261580 HAS SOUPS 48189285 WITH SCORE 4.8255277737E7
AT ITER 9808 NEW BEST:: SOT 252604856 SOS 65993402 HAS SOPS 64454380 HAS SOUS 48260940 HAS SOUPS 48188645 WITH SCORE 4.8254638402E7
AT ITER 9829 NEW BEST:: SOT 252603549 SOS 65990788 HAS SOPS 64451766 HAS SOUS 48259633 HAS SOUPS 48187338 WITH SCORE 4.8253328788E7
AT ITER 9846 NEW BEST:: SOT 252459188 SOS 65936828 HAS SOPS 64397806 HAS SOUS 48123036 HAS SOUPS 48050741 WITH SCORE 4.8116677828E7
AT ITER 9856 NEW BEST:: SOT 252456509 SOS 65934159 HAS SOPS 64395137 HAS SOUS 48120357 HAS SOUPS 48048062 WITH SCORE 4.8113996159E7
AT ITER 9879 NEW BEST:: SOT 252455838 SOS 65933488 HAS SOPS 64394466 HAS SOUS 48119686 HAS SOUPS 48047391 WITH SCORE 4.8113324488E7
AT ITER 9904 NEW BEST:: SOT 252456455 SOS 65907976 HAS SOPS 64368954 HAS SOUS 48117853 HAS SOUPS 48045558 WITH SCORE 4.8111465976E7
AT ITER 9950 NEW BEST:: SOT 252454186 SOS 65907431 HAS SOPS 64368409 HAS SOUS 48117308 HAS SOUPS 48045013 WITH SCORE 4.8110920431E7
AT ITER 9955 NEW BEST:: SOT 252454186 SOS 65907431 HAS SOPS 64368409 HAS SOUS 48116388 HAS SOUPS 48044093 WITH SCORE 4.8110000431E7
AT ITER 9957 NEW BEST:: SOT 252454186 SOS 65907673 HAS SOPS 64368651 HAS SOUS 48115332 HAS SOUPS 48043037 WITH SCORE 4.8108944673E7
AT ITER 9992 NEW BEST:: SOT 252443984 SOS 66006635 HAS SOPS 64361757 HAS SOUS 48111745 HAS SOUPS 48036142 WITH SCORE 4.8102148635E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14022192 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16087092 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="LeafsetExtension-PT-S64C2"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is LeafsetExtension-PT-S64C2, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r235-tall-167856421900528"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/LeafsetExtension-PT-S64C2.tgz
mv LeafsetExtension-PT-S64C2 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 ;