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.r227-tall-167856410600528.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 smart
Input is LeafsetExtension-PT-S64C2, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410600528
=====================================================================

--------------------
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 1678616723658

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=LeafsetExtension-PT-S64C2
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S64C2
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: 21462 places, 21129 transitions, 67740 arcs.
AT ITER 0 NEW BEST:: SOT 256519574 SOS 63136615 HAS SOPS 63030740 HAS SOUS 52260382 HAS SOUPS 52256029 WITH SCORE 5.2319165615E7
AT ITER 3 NEW BEST:: SOT 256518765 SOS 63136615 HAS SOPS 63030740 HAS SOUS 52260364 HAS SOUPS 52256011 WITH SCORE 5.2319147615E7
AT ITER 15 NEW BEST:: SOT 256516108 SOS 63133926 HAS SOPS 63028051 HAS SOUS 52257675 HAS SOUPS 52253322 WITH SCORE 5.2316455926E7
AT ITER 19 NEW BEST:: SOT 256467344 SOS 63434197 HAS SOPS 63328322 HAS SOUS 52232183 HAS SOUPS 52227830 WITH SCORE 5.2291264197E7
AT ITER 25 NEW BEST:: SOT 256465361 SOS 63432182 HAS SOPS 63326307 HAS SOUS 52230168 HAS SOUPS 52225815 WITH SCORE 5.2289247182E7
AT ITER 34 NEW BEST:: SOT 256464347 SOS 63431136 HAS SOPS 63325261 HAS SOUS 52229122 HAS SOUPS 52224769 WITH SCORE 5.2288200136E7
AT ITER 35 NEW BEST:: SOT 256463940 SOS 63431316 HAS SOPS 63325441 HAS SOUS 52228895 HAS SOUPS 52224542 WITH SCORE 5.2287973316E7
AT ITER 36 NEW BEST:: SOT 256463940 SOS 63429955 HAS SOPS 63324080 HAS SOUS 52228895 HAS SOUPS 52224542 WITH SCORE 5.2287971955E7
AT ITER 65 NEW BEST:: SOT 256461136 SOS 63427158 HAS SOPS 63321283 HAS SOUS 52226175 HAS SOUPS 52221822 WITH SCORE 5.2285249158E7
AT ITER 72 NEW BEST:: SOT 256460485 SOS 63427158 HAS SOPS 63321283 HAS SOUS 52226165 HAS SOUPS 52221812 WITH SCORE 5.2285239158E7
AT ITER 112 NEW BEST:: SOT 256458719 SOS 63425360 HAS SOPS 63319485 HAS SOUS 52224367 HAS SOUPS 52220014 WITH SCORE 5.228343936E7
AT ITER 113 NEW BEST:: SOT 256458153 SOS 63424730 HAS SOPS 63318855 HAS SOUS 52223737 HAS SOUPS 52219384 WITH SCORE 5.228280873E7
AT ITER 115 NEW BEST:: SOT 256458000 SOS 63424545 HAS SOPS 63318670 HAS SOUS 52223552 HAS SOUPS 52219199 WITH SCORE 5.2282623545E7
AT ITER 122 NEW BEST:: SOT 256455488 SOS 63422001 HAS SOPS 63316126 HAS SOUS 52221008 HAS SOUPS 52216655 WITH SCORE 5.2280077001E7
AT ITER 125 NEW BEST:: SOT 256455488 SOS 63421333 HAS SOPS 63315458 HAS SOUS 52220340 HAS SOUPS 52215987 WITH SCORE 5.2279408333E7
AT ITER 129 NEW BEST:: SOT 256454398 SOS 63420211 HAS SOPS 63314336 HAS SOUS 52219218 HAS SOUPS 52214865 WITH SCORE 5.2278285211E7
AT ITER 135 NEW BEST:: SOT 256412256 SOS 63711375 HAS SOPS 63605500 HAS SOUS 52199147 HAS SOUPS 52194794 WITH SCORE 5.2258505375E7
AT ITER 152 NEW BEST:: SOT 256411436 SOS 63710555 HAS SOPS 63604680 HAS SOUS 52199121 HAS SOUPS 52194768 WITH SCORE 5.2258478555E7
AT ITER 153 NEW BEST:: SOT 256409379 SOS 63708509 HAS SOPS 63602634 HAS SOUS 52197653 HAS SOUPS 52193300 WITH SCORE 5.2257008509E7
AT ITER 156 NEW BEST:: SOT 256407317 SOS 63706474 HAS SOPS 63600599 HAS SOUS 52196835 HAS SOUPS 52192482 WITH SCORE 5.2256188474E7
AT ITER 172 NEW BEST:: SOT 256406206 SOS 63706474 HAS SOPS 63600599 HAS SOUS 52196814 HAS SOUPS 52192461 WITH SCORE 5.2256167474E7
AT ITER 181 NEW BEST:: SOT 256402728 SOS 63706474 HAS SOPS 63600599 HAS SOUS 52196806 HAS SOUPS 52192453 WITH SCORE 5.2256159474E7
AT ITER 210 NEW BEST:: SOT 256361853 SOS 63675967 HAS SOPS 63570092 HAS SOUS 52157803 HAS SOUPS 52153450 WITH SCORE 5.2217125967E7
AT ITER 217 NEW BEST:: SOT 256361853 SOS 63674473 HAS SOPS 63568598 HAS SOUS 52156293 HAS SOUPS 52151940 WITH SCORE 5.2215614473E7
AT ITER 232 NEW BEST:: SOT 256361708 SOS 63674296 HAS SOPS 63568421 HAS SOUS 52156116 HAS SOUPS 52151763 WITH SCORE 5.2215437296E7
AT ITER 234 NEW BEST:: SOT 256361708 SOS 63673015 HAS SOPS 63567140 HAS SOUS 52154822 HAS SOUPS 52150469 WITH SCORE 5.2214142015E7
AT ITER 257 NEW BEST:: SOT 256359693 SOS 63618772 HAS SOPS 63512897 HAS SOUS 52153143 HAS SOUPS 52148790 WITH SCORE 5.2212408772E7
AT ITER 324 NEW BEST:: SOT 256359693 SOS 63617406 HAS SOPS 63511531 HAS SOUS 52151777 HAS SOUPS 52147424 WITH SCORE 5.2211041406E7
AT ITER 329 NEW BEST:: SOT 256359693 SOS 63616535 HAS SOPS 63510660 HAS SOUS 52150899 HAS SOUPS 52146546 WITH SCORE 5.2210162535E7
AT ITER 332 NEW BEST:: SOT 256359693 SOS 63615158 HAS SOPS 63509283 HAS SOUS 52149511 HAS SOUPS 52145158 WITH SCORE 5.2208773158E7
AT ITER 335 NEW BEST:: SOT 256359693 SOS 63613513 HAS SOPS 63507638 HAS SOUS 52149510 HAS SOUPS 52145157 WITH SCORE 5.2208770513E7
AT ITER 361 NEW BEST:: SOT 256357806 SOS 63611652 HAS SOPS 63505777 HAS SOUS 52148412 HAS SOUPS 52144059 WITH SCORE 5.2207670652E7
AT ITER 368 NEW BEST:: SOT 256357806 SOS 63610708 HAS SOPS 63504833 HAS SOUS 52147465 HAS SOUPS 52143112 WITH SCORE 5.2206722708E7
AT ITER 377 NEW BEST:: SOT 256355762 SOS 63608632 HAS SOPS 63502757 HAS SOUS 52145389 HAS SOUPS 52141036 WITH SCORE 5.2204644632E7
AT ITER 394 NEW BEST:: SOT 256354609 SOS 63549784 HAS SOPS 63443909 HAS SOUS 52144204 HAS SOUPS 52139851 WITH SCORE 5.2203400784E7
AT ITER 424 NEW BEST:: SOT 256354609 SOS 63549095 HAS SOPS 63443220 HAS SOUS 52143491 HAS SOUPS 52139138 WITH SCORE 5.2202687095E7
AT ITER 479 NEW BEST:: SOT 256353590 SOS 63548044 HAS SOPS 63442169 HAS SOUS 52142440 HAS SOUPS 52138087 WITH SCORE 5.2201635044E7
AT ITER 481 NEW BEST:: SOT 256352100 SOS 63548044 HAS SOPS 63442169 HAS SOUS 52142436 HAS SOUPS 52138083 WITH SCORE 5.2201631044E7
AT ITER 498 NEW BEST:: SOT 256352100 SOS 63546572 HAS SOPS 63440697 HAS SOUS 52140947 HAS SOUPS 52136594 WITH SCORE 5.2200140572E7
AT ITER 499 NEW BEST:: SOT 256350474 SOS 63546572 HAS SOPS 63440697 HAS SOUS 52140935 HAS SOUPS 52136582 WITH SCORE 5.2200128572E7
AT ITER 504 NEW BEST:: SOT 256350474 SOS 63546540 HAS SOPS 63440665 HAS SOUS 52140903 HAS SOUPS 52136550 WITH SCORE 5.220009654E7
AT ITER 515 NEW BEST:: SOT 256350474 SOS 63545731 HAS SOPS 63439856 HAS SOUS 52140091 HAS SOUPS 52135738 WITH SCORE 5.2199283731E7
AT ITER 549 NEW BEST:: SOT 256350474 SOS 63545699 HAS SOPS 63439824 HAS SOUS 52140059 HAS SOUPS 52135706 WITH SCORE 5.2199251699E7
AT ITER 551 NEW BEST:: SOT 256350474 SOS 63545667 HAS SOPS 63439792 HAS SOUS 52140027 HAS SOUPS 52135674 WITH SCORE 5.2199219667E7
AT ITER 631 NEW BEST:: SOT 256350474 SOS 63544224 HAS SOPS 63438349 HAS SOUS 52140027 HAS SOUPS 52135674 WITH SCORE 5.2199218224E7
AT ITER 638 NEW BEST:: SOT 256350474 SOS 63544224 HAS SOPS 63438349 HAS SOUS 52140020 HAS SOUPS 52135667 WITH SCORE 5.2199211224E7
AT ITER 718 NEW BEST:: SOT 256349503 SOS 63543262 HAS SOPS 63437387 HAS SOUS 52139961 HAS SOUPS 52135608 WITH SCORE 5.2199151262E7
AT ITER 737 NEW BEST:: SOT 256346750 SOS 63540525 HAS SOPS 63434650 HAS SOUS 52137352 HAS SOUPS 52132999 WITH SCORE 5.2196539525E7
AT ITER 772 NEW BEST:: SOT 256344460 SOS 63539343 HAS SOPS 63433468 HAS SOUS 52136254 HAS SOUPS 52131901 WITH SCORE 5.2195440343E7
AT ITER 777 NEW BEST:: SOT 256344460 SOS 63539343 HAS SOPS 63433468 HAS SOUS 52136250 HAS SOUPS 52131897 WITH SCORE 5.2195436343E7
AT ITER 781 NEW BEST:: SOT 256343661 SOS 63539343 HAS SOPS 63433468 HAS SOUS 52136224 HAS SOUPS 52131871 WITH SCORE 5.2195410343E7
AT ITER 816 NEW BEST:: SOT 256224041 SOS 63491570 HAS SOPS 63385695 HAS SOUS 52022918 HAS SOUPS 52018565 WITH SCORE 5.208205657E7
AT ITER 840 NEW BEST:: SOT 256223752 SOS 63491570 HAS SOPS 63385695 HAS SOUS 52022629 HAS SOUPS 52018276 WITH SCORE 5.208176757E7
AT ITER 869 NEW BEST:: SOT 256221854 SOS 63489694 HAS SOPS 63383819 HAS SOUS 52021633 HAS SOUPS 52017280 WITH SCORE 5.2080769694E7
AT ITER 889 NEW BEST:: SOT 256219706 SOS 63487514 HAS SOPS 63381639 HAS SOUS 52019453 HAS SOUPS 52015100 WITH SCORE 5.2078587514E7
AT ITER 890 NEW BEST:: SOT 256219428 SOS 63487514 HAS SOPS 63381639 HAS SOUS 52019175 HAS SOUPS 52014822 WITH SCORE 5.2078309514E7
AT ITER 893 NEW BEST:: SOT 256219149 SOS 63487237 HAS SOPS 63381362 HAS SOUS 52018896 HAS SOUPS 52014543 WITH SCORE 5.2078030237E7
AT ITER 912 NEW BEST:: SOT 256219117 SOS 63487141 HAS SOPS 63381266 HAS SOUS 52018800 HAS SOUPS 52014447 WITH SCORE 5.2077934141E7
AT ITER 929 NEW BEST:: SOT 256219117 SOS 63485302 HAS SOPS 63379427 HAS SOUS 52016961 HAS SOUPS 52012608 WITH SCORE 5.2076093302E7
AT ITER 938 NEW BEST:: SOT 256217204 SOS 63483357 HAS SOPS 63377482 HAS SOUS 52015016 HAS SOUPS 52010663 WITH SCORE 5.2074146357E7
AT ITER 950 NEW BEST:: SOT 256216397 SOS 63483357 HAS SOPS 63377482 HAS SOUS 52014986 HAS SOUPS 52010633 WITH SCORE 5.2074116357E7
AT ITER 951 NEW BEST:: SOT 256216397 SOS 63482792 HAS SOPS 63376917 HAS SOUS 52014418 HAS SOUPS 52010065 WITH SCORE 5.2073547792E7
AT ITER 993 NEW BEST:: SOT 256216397 SOS 63475816 HAS SOPS 63369941 HAS SOUS 52014386 HAS SOUPS 52010033 WITH SCORE 5.2073508816E7
AT ITER 1045 NEW BEST:: SOT 256216397 SOS 63475566 HAS SOPS 63369691 HAS SOUS 52014386 HAS SOUPS 52010033 WITH SCORE 5.2073508566E7
AT ITER 1129 NEW BEST:: SOT 256116682 SOS 63500225 HAS SOPS 63394350 HAS SOUS 51924945 HAS SOUPS 51920592 WITH SCORE 5.1984092225E7
AT ITER 1138 NEW BEST:: SOT 256116682 SOS 63500193 HAS SOPS 63394318 HAS SOUS 51924913 HAS SOUPS 51920560 WITH SCORE 5.1984060193E7
AT ITER 1189 NEW BEST:: SOT 256116682 SOS 63500246 HAS SOPS 63394371 HAS SOUS 51923634 HAS SOUPS 51919281 WITH SCORE 5.1982781246E7
AT ITER 1190 NEW BEST:: SOT 256116681 SOS 63500245 HAS SOPS 63394370 HAS SOUS 51923623 HAS SOUPS 51919270 WITH SCORE 5.1982770245E7
AT ITER 1227 NEW BEST:: SOT 256113781 SOS 63497357 HAS SOPS 63391482 HAS SOUS 51921216 HAS SOUPS 51916863 WITH SCORE 5.1980360357E7
AT ITER 1256 NEW BEST:: SOT 256113242 SOS 63497357 HAS SOPS 63391482 HAS SOUS 51920677 HAS SOUPS 51916324 WITH SCORE 5.1979821357E7
AT ITER 1262 NEW BEST:: SOT 256084030 SOS 63506438 HAS SOPS 63362270 HAS SOUS 51899120 HAS SOUPS 51893575 WITH SCORE 5.1957081438E7
AT ITER 1272 NEW BEST:: SOT 256082641 SOS 63507095 HAS SOPS 63362927 HAS SOUS 51899003 HAS SOUPS 51893458 WITH SCORE 5.1956965095E7
AT ITER 1275 NEW BEST:: SOT 256082641 SOS 63506687 HAS SOPS 63362519 HAS SOUS 51898568 HAS SOUPS 51893023 WITH SCORE 5.1956529687E7
AT ITER 1328 NEW BEST:: SOT 256082641 SOS 63506687 HAS SOPS 63362519 HAS SOUS 51898561 HAS SOUPS 51893016 WITH SCORE 5.1956522687E7
AT ITER 1375 NEW BEST:: SOT 256082084 SOS 63506066 HAS SOPS 63361898 HAS SOUS 51897940 HAS SOUPS 51892395 WITH SCORE 5.1955901066E7
AT ITER 1391 NEW BEST:: SOT 256082084 SOS 63505402 HAS SOPS 63361234 HAS SOUS 51897276 HAS SOUPS 51891731 WITH SCORE 5.1955236402E7
AT ITER 1398 NEW BEST:: SOT 256080336 SOS 63503662 HAS SOPS 63359494 HAS SOUS 51896222 HAS SOUPS 51890677 WITH SCORE 5.1954180662E7
AT ITER 1400 NEW BEST:: SOT 256080336 SOS 63503662 HAS SOPS 63359494 HAS SOUS 51896190 HAS SOUPS 51890645 WITH SCORE 5.1954148662E7
AT ITER 1456 NEW BEST:: SOT 256080336 SOS 63503662 HAS SOPS 63359494 HAS SOUS 51894789 HAS SOUPS 51889244 WITH SCORE 5.1952747662E7
AT ITER 1479 NEW BEST:: SOT 255987756 SOS 63441893 HAS SOPS 63297725 HAS SOUS 51806949 HAS SOUPS 51801404 WITH SCORE 5.1864845893E7
AT ITER 1480 NEW BEST:: SOT 255909242 SOS 63706582 HAS SOPS 63562414 HAS SOUS 51750068 HAS SOUPS 51744523 WITH SCORE 5.1808229582E7
AT ITER 1494 NEW BEST:: SOT 255909026 SOS 63699454 HAS SOPS 63555286 HAS SOUS 51749636 HAS SOUPS 51744091 WITH SCORE 5.1807790454E7
AT ITER 1515 NEW BEST:: SOT 255909026 SOS 63698195 HAS SOPS 63554027 HAS SOUS 51749636 HAS SOUPS 51744091 WITH SCORE 5.1807789195E7
AT ITER 1538 NEW BEST:: SOT 255906187 SOS 63698195 HAS SOPS 63554027 HAS SOUS 51749634 HAS SOUPS 51744089 WITH SCORE 5.1807787195E7
AT ITER 1575 NEW BEST:: SOT 255906187 SOS 63698195 HAS SOPS 63554027 HAS SOUS 51749056 HAS SOUPS 51743511 WITH SCORE 5.1807209195E7
AT ITER 1577 NEW BEST:: SOT 255905405 SOS 63698454 HAS SOPS 63554286 HAS SOUS 51748533 HAS SOUPS 51742988 WITH SCORE 5.1806686454E7
AT ITER 1607 NEW BEST:: SOT 255903396 SOS 63696463 HAS SOPS 63552295 HAS SOUS 51747719 HAS SOUPS 51742174 WITH SCORE 5.1805870463E7
AT ITER 1621 NEW BEST:: SOT 255901921 SOS 63694988 HAS SOPS 63550820 HAS SOUS 51746244 HAS SOUPS 51740699 WITH SCORE 5.1804393988E7
AT ITER 1674 NEW BEST:: SOT 255855794 SOS 63874335 HAS SOPS 63504624 HAS SOUS 51724083 HAS SOUPS 51713920 WITH SCORE 5.1777794335E7
AT ITER 1681 NEW BEST:: SOT 255855794 SOS 63873684 HAS SOPS 63503973 HAS SOUS 51723407 HAS SOUPS 51713244 WITH SCORE 5.1777117684E7
AT ITER 1695 NEW BEST:: SOT 255855794 SOS 63872390 HAS SOPS 63502679 HAS SOUS 51722113 HAS SOUPS 51711950 WITH SCORE 5.177582239E7
AT ITER 1698 NEW BEST:: SOT 255855794 SOS 63871268 HAS SOPS 63501557 HAS SOUS 51720991 HAS SOUPS 51710828 WITH SCORE 5.1774699268E7
AT ITER 1705 NEW BEST:: SOT 255855794 SOS 63870674 HAS SOPS 63500963 HAS SOUS 51720397 HAS SOUPS 51710234 WITH SCORE 5.1774104674E7
AT ITER 1711 NEW BEST:: SOT 255854228 SOS 63865595 HAS SOPS 63495884 HAS SOUS 51720236 HAS SOUPS 51710073 WITH SCORE 5.1773938595E7
AT ITER 1713 NEW BEST:: SOT 255851887 SOS 63865595 HAS SOPS 63495884 HAS SOUS 51720223 HAS SOUPS 51710060 WITH SCORE 5.1773925595E7
AT ITER 1720 NEW BEST:: SOT 255817579 SOS 63894745 HAS SOPS 63463476 HAS SOUS 51711596 HAS SOUPS 51699533 WITH SCORE 5.1763427745E7
AT ITER 1721 NEW BEST:: SOT 255816234 SOS 63853007 HAS SOPS 63421738 HAS SOUS 51710208 HAS SOUPS 51698145 WITH SCORE 5.1761998007E7
AT ITER 1744 NEW BEST:: SOT 255815608 SOS 63853211 HAS SOPS 63421942 HAS SOUS 51709786 HAS SOUPS 51697723 WITH SCORE 5.1761576211E7
AT ITER 1767 NEW BEST:: SOT 255812284 SOS 63853211 HAS SOPS 63421942 HAS SOUS 51709114 HAS SOUPS 51697051 WITH SCORE 5.1760904211E7
AT ITER 1782 NEW BEST:: SOT 255809822 SOS 63853211 HAS SOPS 63421942 HAS SOUS 51709091 HAS SOUPS 51697028 WITH SCORE 5.1760881211E7
AT ITER 1788 NEW BEST:: SOT 255809822 SOS 63852142 HAS SOPS 63420873 HAS SOUS 51708011 HAS SOUPS 51695948 WITH SCORE 5.1759800142E7
AT ITER 1797 NEW BEST:: SOT 255808781 SOS 63852142 HAS SOPS 63420873 HAS SOUS 51706970 HAS SOUPS 51694907 WITH SCORE 5.1758759142E7
AT ITER 1812 NEW BEST:: SOT 255777286 SOS 63876921 HAS SOPS 63389378 HAS SOUS 51697212 HAS SOUPS 51683411 WITH SCORE 5.1747287921E7
AT ITER 1825 NEW BEST:: SOT 255777286 SOS 63876562 HAS SOPS 63389019 HAS SOUS 51696016 HAS SOUPS 51682215 WITH SCORE 5.1746091562E7
AT ITER 1842 NEW BEST:: SOT 255776994 SOS 63876562 HAS SOPS 63389019 HAS SOUS 51695724 HAS SOUPS 51681923 WITH SCORE 5.1745799562E7
AT ITER 1882 NEW BEST:: SOT 255775678 SOS 63875214 HAS SOPS 63387671 HAS SOUS 51694376 HAS SOUPS 51680575 WITH SCORE 5.1744450214E7
AT ITER 1914 NEW BEST:: SOT 255773753 SOS 63873257 HAS SOPS 63385714 HAS SOUS 51692419 HAS SOUPS 51678618 WITH SCORE 5.1742491257E7
AT ITER 1962 NEW BEST:: SOT 255771655 SOS 63871184 HAS SOPS 63383641 HAS SOUS 51691595 HAS SOUPS 51677794 WITH SCORE 5.1741665184E7
AT ITER 1978 NEW BEST:: SOT 255769516 SOS 63869063 HAS SOPS 63381520 HAS SOUS 51689993 HAS SOUPS 51676192 WITH SCORE 5.1740061063E7
AT ITER 1981 NEW BEST:: SOT 255769516 SOS 63868285 HAS SOPS 63380742 HAS SOUS 51688236 HAS SOUPS 51674435 WITH SCORE 5.1738303285E7
AT ITER 2005 NEW BEST:: SOT 255769516 SOS 63865776 HAS SOPS 63378233 HAS SOUS 51685724 HAS SOUPS 51671923 WITH SCORE 5.1735788776E7
AT ITER 2013 NEW BEST:: SOT 255767352 SOS 63866187 HAS SOPS 63378644 HAS SOUS 51685338 HAS SOUPS 51671537 WITH SCORE 5.1735403187E7
AT ITER 2049 NEW BEST:: SOT 255767352 SOS 63865000 HAS SOPS 63377457 HAS SOUS 51684151 HAS SOUPS 51670350 WITH SCORE 5.1734215E7
AT ITER 2084 NEW BEST:: SOT 255767110 SOS 63865000 HAS SOPS 63377457 HAS SOUS 51684120 HAS SOUPS 51670319 WITH SCORE 5.1734184E7
AT ITER 2085 NEW BEST:: SOT 255704662 SOS 63804629 HAS SOPS 63317086 HAS SOUS 51623749 HAS SOUPS 51609948 WITH SCORE 5.1673752629E7
AT ITER 2111 NEW BEST:: SOT 255669874 SOS 64245501 HAS SOPS 63757958 HAS SOUS 51614312 HAS SOUPS 51600511 WITH SCORE 5.1664756501E7
AT ITER 2125 NEW BEST:: SOT 255669874 SOS 64244801 HAS SOPS 63757258 HAS SOUS 51614312 HAS SOUPS 51600511 WITH SCORE 5.1664755801E7
AT ITER 2145 NEW BEST:: SOT 255669200 SOS 64244801 HAS SOPS 63757258 HAS SOUS 51614282 HAS SOUPS 51600481 WITH SCORE 5.1664725801E7
AT ITER 2155 NEW BEST:: SOT 255667863 SOS 64243432 HAS SOPS 63755889 HAS SOUS 51612913 HAS SOUPS 51599112 WITH SCORE 5.1663355432E7
AT ITER 2175 NEW BEST:: SOT 255666521 SOS 64242097 HAS SOPS 63754554 HAS SOUS 51611571 HAS SOUPS 51597770 WITH SCORE 5.1662012097E7
AT ITER 2183 NEW BEST:: SOT 255665656 SOS 64241168 HAS SOPS 63753625 HAS SOUS 51610642 HAS SOUPS 51596841 WITH SCORE 5.1661082168E7
AT ITER 2212 NEW BEST:: SOT 255665656 SOS 64241168 HAS SOPS 63753625 HAS SOUS 51609668 HAS SOUPS 51595867 WITH SCORE 5.1660108168E7
AT ITER 2243 NEW BEST:: SOT 255663168 SOS 64241168 HAS SOPS 63753625 HAS SOUS 51608852 HAS SOUPS 51595051 WITH SCORE 5.1659292168E7
AT ITER 2247 NEW BEST:: SOT 255660893 SOS 64241168 HAS SOPS 63753625 HAS SOUS 51608826 HAS SOUPS 51595025 WITH SCORE 5.1659266168E7
AT ITER 2307 NEW BEST:: SOT 255658728 SOS 64238971 HAS SOPS 63751428 HAS SOUS 51606629 HAS SOUPS 51592828 WITH SCORE 5.1657066971E7
AT ITER 2330 NEW BEST:: SOT 255657227 SOS 64238971 HAS SOPS 63751428 HAS SOUS 51605522 HAS SOUPS 51591721 WITH SCORE 5.1655959971E7
AT ITER 2336 NEW BEST:: SOT 255657227 SOS 64238996 HAS SOPS 63751453 HAS SOUS 51605521 HAS SOUPS 51591720 WITH SCORE 5.1655958996E7
AT ITER 2351 NEW BEST:: SOT 255656877 SOS 64238996 HAS SOPS 63751453 HAS SOUS 51605171 HAS SOUPS 51591370 WITH SCORE 5.1655608996E7
AT ITER 2374 NEW BEST:: SOT 255656877 SOS 64238996 HAS SOPS 63751453 HAS SOUS 51605160 HAS SOUPS 51591359 WITH SCORE 5.1655597996E7
AT ITER 2407 NEW BEST:: SOT 255656877 SOS 64239279 HAS SOPS 63751736 HAS SOUS 51603050 HAS SOUPS 51589249 WITH SCORE 5.1653488279E7
AT ITER 2413 NEW BEST:: SOT 255656076 SOS 64239279 HAS SOPS 63751736 HAS SOUS 51602249 HAS SOUPS 51588448 WITH SCORE 5.1652687279E7
AT ITER 2414 NEW BEST:: SOT 255655643 SOS 64239279 HAS SOPS 63751736 HAS SOUS 51602224 HAS SOUPS 51588423 WITH SCORE 5.1652662279E7
AT ITER 2423 NEW BEST:: SOT 255655643 SOS 64239279 HAS SOPS 63751736 HAS SOUS 51600669 HAS SOUPS 51586868 WITH SCORE 5.1651107279E7
AT ITER 2431 NEW BEST:: SOT 255655643 SOS 64237510 HAS SOPS 63749967 HAS SOUS 51597296 HAS SOUPS 51583495 WITH SCORE 5.164773251E7
AT ITER 2435 NEW BEST:: SOT 255655643 SOS 64236756 HAS SOPS 63749213 HAS SOUS 51596542 HAS SOUPS 51582741 WITH SCORE 5.1646977756E7
AT ITER 2443 NEW BEST:: SOT 255653983 SOS 64235096 HAS SOPS 63747553 HAS SOUS 51596513 HAS SOUPS 51582712 WITH SCORE 5.1646947096E7
AT ITER 2452 NEW BEST:: SOT 255653983 SOS 64166803 HAS SOPS 63679260 HAS SOUS 51596513 HAS SOUPS 51582712 WITH SCORE 5.1646878803E7
AT ITER 2464 NEW BEST:: SOT 255653983 SOS 64165862 HAS SOPS 63678319 HAS SOUS 51595563 HAS SOUPS 51581762 WITH SCORE 5.1645927862E7
AT ITER 2497 NEW BEST:: SOT 255653983 SOS 64164417 HAS SOPS 63676874 HAS SOUS 51595563 HAS SOUPS 51581762 WITH SCORE 5.1645926417E7
AT ITER 2514 NEW BEST:: SOT 255653983 SOS 64163374 HAS SOPS 63675831 HAS SOUS 51593477 HAS SOUPS 51579676 WITH SCORE 5.1643839374E7
AT ITER 2516 NEW BEST:: SOT 255613607 SOS 64129591 HAS SOPS 63642048 HAS SOUS 51553110 HAS SOUPS 51539309 WITH SCORE 5.1603438591E7
AT ITER 2520 NEW BEST:: SOT 255611077 SOS 64129591 HAS SOPS 63642048 HAS SOUS 51550848 HAS SOUPS 51537047 WITH SCORE 5.1601176591E7
AT ITER 2522 NEW BEST:: SOT 255608995 SOS 64127514 HAS SOPS 63639971 HAS SOUS 51548766 HAS SOUPS 51534965 WITH SCORE 5.1599092514E7
AT ITER 2582 NEW BEST:: SOT 255608995 SOS 64125848 HAS SOPS 63638305 HAS SOUS 51547098 HAS SOUPS 51533297 WITH SCORE 5.1597422848E7
AT ITER 2588 NEW BEST:: SOT 255608768 SOS 64125848 HAS SOPS 63638305 HAS SOUS 51547072 HAS SOUPS 51533271 WITH SCORE 5.1597396848E7
AT ITER 2598 NEW BEST:: SOT 255606711 SOS 64123759 HAS SOPS 63636216 HAS SOUS 51544983 HAS SOUPS 51531182 WITH SCORE 5.1595305759E7
AT ITER 2618 NEW BEST:: SOT 255606711 SOS 64123759 HAS SOPS 63636216 HAS SOUS 51544980 HAS SOUPS 51531179 WITH SCORE 5.1595302759E7
AT ITER 2632 NEW BEST:: SOT 255606711 SOS 64122268 HAS SOPS 63634725 HAS SOUS 51544980 HAS SOUPS 51531179 WITH SCORE 5.1595301268E7
AT ITER 2643 NEW BEST:: SOT 255605686 SOS 64122268 HAS SOPS 63634725 HAS SOUS 51543955 HAS SOUPS 51530154 WITH SCORE 5.1594276268E7
AT ITER 2650 NEW BEST:: SOT 255605686 SOS 64120849 HAS SOPS 63633306 HAS SOUS 51541117 HAS SOUPS 51527316 WITH SCORE 5.1591436849E7
AT ITER 2684 NEW BEST:: SOT 255569798 SOS 64577687 HAS SOPS 63602720 HAS SOUS 51545492 HAS SOUPS 51522981 WITH SCORE 5.1587558687E7
AT ITER 2706 NEW BEST:: SOT 255569429 SOS 64577667 HAS SOPS 63602700 HAS SOUS 51545464 HAS SOUPS 51522953 WITH SCORE 5.1587530667E7
AT ITER 2724 NEW BEST:: SOT 255569429 SOS 64576283 HAS SOPS 63601316 HAS SOUS 51544080 HAS SOUPS 51521569 WITH SCORE 5.1586145283E7
AT ITER 2734 NEW BEST:: SOT 255568927 SOS 64532209 HAS SOPS 63554890 HAS SOUS 51541194 HAS SOUPS 51518683 WITH SCORE 5.1583215209E7
AT ITER 2751 NEW BEST:: SOT 255565533 SOS 64558542 HAS SOPS 63581223 HAS SOUS 51539768 HAS SOUPS 51517257 WITH SCORE 5.1581815542E7
AT ITER 2753 NEW BEST:: SOT 255490972 SOS 64938167 HAS SOPS 63960848 HAS SOUS 51492745 HAS SOUPS 51470234 WITH SCORE 5.1535172167E7
AT ITER 2772 NEW BEST:: SOT 255490851 SOS 64938046 HAS SOPS 63960727 HAS SOUS 51492716 HAS SOUPS 51470205 WITH SCORE 5.1535143046E7
AT ITER 2837 NEW BEST:: SOT 255490851 SOS 64938147 HAS SOPS 63960828 HAS SOUS 51491406 HAS SOUPS 51468895 WITH SCORE 5.1533833147E7
AT ITER 2857 NEW BEST:: SOT 255490851 SOS 64937800 HAS SOPS 63960481 HAS SOUS 51491406 HAS SOUPS 51468895 WITH SCORE 5.15338328E7
AT ITER 2867 NEW BEST:: SOT 255490851 SOS 64937258 HAS SOPS 63959939 HAS SOUS 51490864 HAS SOUPS 51468353 WITH SCORE 5.1533290258E7
AT ITER 2869 NEW BEST:: SOT 255480051 SOS 64937978 HAS SOPS 63949139 HAS SOUS 51480496 HAS SOUPS 51457625 WITH SCORE 5.1522562978E7
AT ITER 2880 NEW BEST:: SOT 255480051 SOS 64936373 HAS SOPS 63947534 HAS SOUS 51480496 HAS SOUPS 51457625 WITH SCORE 5.1522561373E7
AT ITER 2887 NEW BEST:: SOT 255480026 SOS 64936373 HAS SOPS 63947534 HAS SOUS 51480491 HAS SOUPS 51457620 WITH SCORE 5.1522556373E7
AT ITER 2893 NEW BEST:: SOT 255480026 SOS 64878577 HAS SOPS 63889738 HAS SOUS 51480491 HAS SOUPS 51457620 WITH SCORE 5.1522498577E7
AT ITER 2910 NEW BEST:: SOT 255478628 SOS 64879436 HAS SOPS 63890597 HAS SOUS 51479295 HAS SOUPS 51456424 WITH SCORE 5.1521303436E7
AT ITER 2926 NEW BEST:: SOT 255477613 SOS 64879436 HAS SOPS 63890597 HAS SOUS 51478280 HAS SOUPS 51455409 WITH SCORE 5.1520288436E7
AT ITER 2928 NEW BEST:: SOT 255475207 SOS 64877362 HAS SOPS 63888523 HAS SOUS 51477566 HAS SOUPS 51454695 WITH SCORE 5.1519572362E7
AT ITER 2945 NEW BEST:: SOT 255474100 SOS 64876848 HAS SOPS 63888009 HAS SOUS 51476668 HAS SOUPS 51453797 WITH SCORE 5.1518673848E7
AT ITER 2989 NEW BEST:: SOT 255473429 SOS 64876848 HAS SOPS 63888009 HAS SOUS 51476662 HAS SOUPS 51453791 WITH SCORE 5.1518667848E7
AT ITER 3003 NEW BEST:: SOT 255471982 SOS 64875598 HAS SOPS 63886759 HAS SOUS 51475299 HAS SOUPS 51452428 WITH SCORE 5.1517303598E7
AT ITER 3011 NEW BEST:: SOT 255470309 SOS 64873925 HAS SOPS 63885086 HAS SOUS 51472026 HAS SOUPS 51449155 WITH SCORE 5.1514028925E7
AT ITER 3026 NEW BEST:: SOT 255470309 SOS 64873415 HAS SOPS 63884576 HAS SOUS 51472026 HAS SOUPS 51449155 WITH SCORE 5.1514028415E7
AT ITER 3041 NEW BEST:: SOT 255467550 SOS 64873415 HAS SOPS 63884576 HAS SOUS 51472020 HAS SOUPS 51449149 WITH SCORE 5.1514022415E7
AT ITER 3065 NEW BEST:: SOT 255467550 SOS 64871582 HAS SOPS 63882743 HAS SOUS 51468354 HAS SOUPS 51445483 WITH SCORE 5.1510354582E7
AT ITER 3074 NEW BEST:: SOT 255465014 SOS 64869014 HAS SOPS 63880175 HAS SOUS 51465786 HAS SOUPS 51442915 WITH SCORE 5.1507784014E7
AT ITER 3085 NEW BEST:: SOT 255462258 SOS 64866226 HAS SOPS 63877387 HAS SOUS 51462998 HAS SOUPS 51440127 WITH SCORE 5.1504993226E7
AT ITER 3102 NEW BEST:: SOT 255462258 SOS 64866226 HAS SOPS 63877387 HAS SOUS 51462966 HAS SOUPS 51440095 WITH SCORE 5.1504961226E7
AT ITER 3118 NEW BEST:: SOT 255461150 SOS 64866226 HAS SOPS 63877387 HAS SOUS 51462948 HAS SOUPS 51440077 WITH SCORE 5.1504943226E7
AT ITER 3136 NEW BEST:: SOT 255459068 SOS 64836089 HAS SOPS 63847250 HAS SOUS 51460044 HAS SOUPS 51437173 WITH SCORE 5.1502009089E7
AT ITER 3140 NEW BEST:: SOT 255456890 SOS 64833879 HAS SOPS 63845040 HAS SOUS 51457834 HAS SOUPS 51434963 WITH SCORE 5.1499796879E7
AT ITER 3153 NEW BEST:: SOT 255455311 SOS 64832268 HAS SOPS 63843429 HAS SOUS 51456223 HAS SOUPS 51433352 WITH SCORE 5.1498184268E7
AT ITER 3160 NEW BEST:: SOT 255455236 SOS 64832268 HAS SOPS 63843429 HAS SOUS 51456221 HAS SOUPS 51433350 WITH SCORE 5.1498182268E7
AT ITER 3176 NEW BEST:: SOT 255455236 SOS 64831634 HAS SOPS 63842795 HAS SOUS 51455587 HAS SOUPS 51432716 WITH SCORE 5.1497547634E7
AT ITER 3194 NEW BEST:: SOT 255455236 SOS 64830833 HAS SOPS 63841994 HAS SOUS 51455587 HAS SOUPS 51432716 WITH SCORE 5.1497546833E7
AT ITER 3195 NEW BEST:: SOT 255455236 SOS 64830281 HAS SOPS 63841442 HAS SOUS 51452398 HAS SOUPS 51429527 WITH SCORE 5.1494357281E7
AT ITER 3202 NEW BEST:: SOT 255455084 SOS 64773356 HAS SOPS 63782296 HAS SOUS 51450025 HAS SOUPS 51427154 WITH SCORE 5.1491927356E7
AT ITER 3227 NEW BEST:: SOT 255455084 SOS 64773356 HAS SOPS 63782296 HAS SOUS 51448711 HAS SOUPS 51425840 WITH SCORE 5.1490613356E7
AT ITER 3235 NEW BEST:: SOT 255455084 SOS 64773356 HAS SOPS 63782296 HAS SOUS 51448394 HAS SOUPS 51425523 WITH SCORE 5.1490296356E7
AT ITER 3239 NEW BEST:: SOT 255455084 SOS 64743123 HAS SOPS 63752063 HAS SOUS 51446588 HAS SOUPS 51423717 WITH SCORE 5.1488460123E7
AT ITER 3240 NEW BEST:: SOT 255454574 SOS 64743123 HAS SOPS 63752063 HAS SOUS 51446078 HAS SOUPS 51423207 WITH SCORE 5.1487950123E7
AT ITER 3291 NEW BEST:: SOT 255454574 SOS 64742604 HAS SOPS 63751544 HAS SOUS 51446078 HAS SOUPS 51423207 WITH SCORE 5.1487949604E7
AT ITER 3314 NEW BEST:: SOT 255436889 SOS 64737005 HAS SOPS 63745945 HAS SOUS 51429786 HAS SOUPS 51406915 WITH SCORE 5.1471652005E7
AT ITER 3351 NEW BEST:: SOT 255436889 SOS 64736484 HAS SOPS 63745424 HAS SOUS 51429265 HAS SOUPS 51406394 WITH SCORE 5.1471130484E7
AT ITER 3354 NEW BEST:: SOT 255436889 SOS 64736384 HAS SOPS 63745324 HAS SOUS 51429165 HAS SOUPS 51406294 WITH SCORE 5.1471030384E7
AT ITER 3432 NEW BEST:: SOT 255436889 SOS 64737047 HAS SOPS 63745987 HAS SOUS 51428564 HAS SOUPS 51405693 WITH SCORE 5.1470430047E7
AT ITER 3443 NEW BEST:: SOT 255436889 SOS 64737020 HAS SOPS 63745960 HAS SOUS 51428564 HAS SOUPS 51405693 WITH SCORE 5.147043002E7
AT ITER 3466 NEW BEST:: SOT 255436889 SOS 64735020 HAS SOPS 63743960 HAS SOUS 51426564 HAS SOUPS 51403693 WITH SCORE 5.146842802E7
AT ITER 3480 NEW BEST:: SOT 255436196 SOS 64734263 HAS SOPS 63743203 HAS SOUS 51425807 HAS SOUPS 51402936 WITH SCORE 5.1467670263E7
AT ITER 3503 NEW BEST:: SOT 255435041 SOS 64734842 HAS SOPS 63743782 HAS SOUS 51425227 HAS SOUPS 51402356 WITH SCORE 5.1467090842E7
AT ITER 3563 NEW BEST:: SOT 255433712 SOS 64733481 HAS SOPS 63742421 HAS SOUS 51423866 HAS SOUPS 51400995 WITH SCORE 5.1465728481E7
AT ITER 3570 NEW BEST:: SOT 255433712 SOS 64732420 HAS SOPS 63741360 HAS SOUS 51422805 HAS SOUPS 51399934 WITH SCORE 5.146466642E7
AT ITER 3623 NEW BEST:: SOT 255433639 SOS 64732283 HAS SOPS 63741223 HAS SOUS 51422668 HAS SOUPS 51399797 WITH SCORE 5.1464529283E7
AT ITER 3640 NEW BEST:: SOT 255433639 SOS 64731366 HAS SOPS 63740306 HAS SOUS 51419947 HAS SOUPS 51397076 WITH SCORE 5.1461807366E7
AT ITER 3675 NEW BEST:: SOT 255433639 SOS 64731027 HAS SOPS 63739967 HAS SOUS 51419608 HAS SOUPS 51396737 WITH SCORE 5.1461468027E7
AT ITER 3683 NEW BEST:: SOT 255432124 SOS 64729532 HAS SOPS 63738472 HAS SOUS 51418888 HAS SOUPS 51396017 WITH SCORE 5.1460746532E7
AT ITER 3686 NEW BEST:: SOT 255431969 SOS 64729313 HAS SOPS 63738253 HAS SOUS 51418669 HAS SOUPS 51395798 WITH SCORE 5.1460527313E7
AT ITER 3715 NEW BEST:: SOT 255431969 SOS 64727806 HAS SOPS 63736746 HAS SOUS 51417162 HAS SOUPS 51394291 WITH SCORE 5.1459018806E7
AT ITER 3716 NEW BEST:: SOT 255431969 SOS 64727753 HAS SOPS 63736693 HAS SOUS 51417109 HAS SOUPS 51394238 WITH SCORE 5.1458965753E7
AT ITER 3729 NEW BEST:: SOT 255429792 SOS 64725679 HAS SOPS 63734619 HAS SOUS 51416788 HAS SOUPS 51393917 WITH SCORE 5.1458642679E7
AT ITER 3731 NEW BEST:: SOT 255331775 SOS 64816268 HAS SOPS 63825208 HAS SOUS 51333126 HAS SOUPS 51310255 WITH SCORE 5.1375071268E7
AT ITER 3770 NEW BEST:: SOT 255329645 SOS 64816268 HAS SOPS 63825208 HAS SOUS 51330996 HAS SOUPS 51308125 WITH SCORE 5.1372941268E7
AT ITER 3789 NEW BEST:: SOT 255328091 SOS 64814732 HAS SOPS 63823672 HAS SOUS 51330323 HAS SOUPS 51307452 WITH SCORE 5.1372266732E7
AT ITER 3805 NEW BEST:: SOT 255363765 SOS 64850532 HAS SOPS 63788847 HAS SOUS 51367660 HAS SOUPS 51274164 WITH SCORE 5.1339014532E7
AT ITER 3842 NEW BEST:: SOT 255363200 SOS 64849903 HAS SOPS 63788218 HAS SOUS 51367031 HAS SOUPS 51273535 WITH SCORE 5.1338384903E7
AT ITER 3858 NEW BEST:: SOT 255362424 SOS 64849903 HAS SOPS 63788218 HAS SOUS 51366363 HAS SOUPS 51272867 WITH SCORE 5.1337716903E7
AT ITER 3878 NEW BEST:: SOT 255362424 SOS 64849698 HAS SOPS 63788013 HAS SOUS 51365953 HAS SOUPS 51272457 WITH SCORE 5.1337306698E7
AT ITER 3888 NEW BEST:: SOT 255361688 SOS 64848962 HAS SOPS 63787277 HAS SOUS 51365217 HAS SOUPS 51271721 WITH SCORE 5.1336569962E7
AT ITER 3892 NEW BEST:: SOT 255288384 SOS 65174644 HAS SOPS 64112959 HAS SOUS 51317476 HAS SOUPS 51223980 WITH SCORE 5.1289154644E7
AT ITER 3894 NEW BEST:: SOT 255288384 SOS 65174480 HAS SOPS 64112795 HAS SOUS 51317312 HAS SOUPS 51223816 WITH SCORE 5.128899048E7
AT ITER 3930 NEW BEST:: SOT 255288284 SOS 65174348 HAS SOPS 64112663 HAS SOUS 51317180 HAS SOUPS 51223684 WITH SCORE 5.1288858348E7
AT ITER 3937 NEW BEST:: SOT 255288067 SOS 65174067 HAS SOPS 64112382 HAS SOUS 51316899 HAS SOUPS 51223403 WITH SCORE 5.1288577067E7
AT ITER 3948 NEW BEST:: SOT 255285654 SOS 65132546 HAS SOPS 64070861 HAS SOUS 51314035 HAS SOUPS 51220539 WITH SCORE 5.1285671546E7
AT ITER 3960 NEW BEST:: SOT 255283314 SOS 65132148 HAS SOPS 64070463 HAS SOUS 51312533 HAS SOUPS 51219037 WITH SCORE 5.1284169148E7
AT ITER 4015 NEW BEST:: SOT 255247769 SOS 65545616 HAS SOPS 64040208 HAS SOUS 51302971 HAS SOUPS 51201641 WITH SCORE 5.1267186616E7
AT ITER 4021 NEW BEST:: SOT 255247769 SOS 65545616 HAS SOPS 64040208 HAS SOUS 51301946 HAS SOUPS 51200616 WITH SCORE 5.1266161616E7
AT ITER 4045 NEW BEST:: SOT 255166268 SOS 65756586 HAS SOPS 64251178 HAS SOUS 51241337 HAS SOUPS 51140007 WITH SCORE 5.1205763586E7
AT ITER 4052 NEW BEST:: SOT 255166268 SOS 65757193 HAS SOPS 64251785 HAS SOUS 51240216 HAS SOUPS 51138886 WITH SCORE 5.1204643193E7
AT ITER 4072 NEW BEST:: SOT 255164197 SOS 65757193 HAS SOPS 64251785 HAS SOUS 51240198 HAS SOUPS 51138868 WITH SCORE 5.1204625193E7
AT ITER 4073 NEW BEST:: SOT 255164197 SOS 65756045 HAS SOPS 64250637 HAS SOUS 51240198 HAS SOUPS 51138868 WITH SCORE 5.1204624045E7
AT ITER 4089 NEW BEST:: SOT 255163890 SOS 65755738 HAS SOPS 64250330 HAS SOUS 51239584 HAS SOUPS 51138254 WITH SCORE 5.1204009738E7
AT ITER 4110 NEW BEST:: SOT 255162901 SOS 65755945 HAS SOPS 64250537 HAS SOUS 51238802 HAS SOUPS 51137472 WITH SCORE 5.1203227945E7
AT ITER 4113 NEW BEST:: SOT 255159636 SOS 65649831 HAS SOPS 64144423 HAS SOUS 51233824 HAS SOUPS 51132494 WITH SCORE 5.1198143831E7
AT ITER 4121 NEW BEST:: SOT 255134489 SOS 65850703 HAS SOPS 64345358 HAS SOUS 51218440 HAS SOUPS 51117110 WITH SCORE 5.1182960703E7
AT ITER 4136 NEW BEST:: SOT 255132301 SOS 65848788 HAS SOPS 64343443 HAS SOUS 51216702 HAS SOUPS 51115372 WITH SCORE 5.1181220788E7
AT ITER 4142 NEW BEST:: SOT 255131553 SOS 65848987 HAS SOPS 64343642 HAS SOUS 51216505 HAS SOUPS 51115175 WITH SCORE 5.1181023987E7
AT ITER 4161 NEW BEST:: SOT 255130226 SOS 65848987 HAS SOPS 64343642 HAS SOUS 51215178 HAS SOUPS 51113848 WITH SCORE 5.1179696987E7
AT ITER 4197 NEW BEST:: SOT 255130226 SOS 65848982 HAS SOPS 64343637 HAS SOUS 51215178 HAS SOUPS 51113848 WITH SCORE 5.1179696982E7
AT ITER 4215 NEW BEST:: SOT 255130226 SOS 65849148 HAS SOPS 64343803 HAS SOUS 51213561 HAS SOUPS 51112231 WITH SCORE 5.1178080148E7
AT ITER 4223 NEW BEST:: SOT 255128395 SOS 65848673 HAS SOPS 64343328 HAS SOUS 51211730 HAS SOUPS 51110400 WITH SCORE 5.1176248673E7
AT ITER 4229 NEW BEST:: SOT 255122722 SOS 65849039 HAS SOPS 64337838 HAS SOUS 51206295 HAS SOUPS 51104782 WITH SCORE 5.1170631039E7
AT ITER 4351 NEW BEST:: SOT 255122690 SOS 65849007 HAS SOPS 64337806 HAS SOUS 51206231 HAS SOUPS 51104718 WITH SCORE 5.1170567007E7
AT ITER 4374 NEW BEST:: SOT 255120101 SOS 65846711 HAS SOPS 64335510 HAS SOUS 51205490 HAS SOUPS 51103977 WITH SCORE 5.1169823711E7
AT ITER 4405 NEW BEST:: SOT 255120101 SOS 65846264 HAS SOPS 64335063 HAS SOUS 51204552 HAS SOUPS 51103039 WITH SCORE 5.1168885264E7
AT ITER 4424 NEW BEST:: SOT 255120101 SOS 65844592 HAS SOPS 64333391 HAS SOUS 51204552 HAS SOUPS 51103039 WITH SCORE 5.1168883592E7
AT ITER 4478 NEW BEST:: SOT 255117269 SOS 65751136 HAS SOPS 64239935 HAS SOUS 51198888 HAS SOUPS 51097375 WITH SCORE 5.1163126136E7
AT ITER 4484 NEW BEST:: SOT 255116827 SOS 65750630 HAS SOPS 64239429 HAS SOUS 51198382 HAS SOUPS 51096869 WITH SCORE 5.116261963E7
AT ITER 4507 NEW BEST:: SOT 255114511 SOS 65749033 HAS SOPS 64237832 HAS SOUS 51197122 HAS SOUPS 51095609 WITH SCORE 5.1161358033E7
AT ITER 4543 NEW BEST:: SOT 255114511 SOS 65749033 HAS SOPS 64237832 HAS SOUS 51196067 HAS SOUPS 51094554 WITH SCORE 5.1160303033E7
AT ITER 4544 NEW BEST:: SOT 255114511 SOS 65748668 HAS SOPS 64237467 HAS SOUS 51194750 HAS SOUPS 51093237 WITH SCORE 5.1158985668E7
AT ITER 4557 NEW BEST:: SOT 255114511 SOS 65747723 HAS SOPS 64236522 HAS SOUS 51192860 HAS SOUPS 51091347 WITH SCORE 5.1157094723E7
AT ITER 4589 NEW BEST:: SOT 255114511 SOS 65747006 HAS SOPS 64235805 HAS SOUS 51192115 HAS SOUPS 51090602 WITH SCORE 5.1156349006E7
AT ITER 4611 NEW BEST:: SOT 255114511 SOS 65748700 HAS SOPS 64237499 HAS SOUS 51192081 HAS SOUPS 51090568 WITH SCORE 5.11563167E7
AT ITER 4615 NEW BEST:: SOT 255112619 SOS 65748471 HAS SOPS 64237270 HAS SOUS 51190894 HAS SOUPS 51089381 WITH SCORE 5.1155129471E7
AT ITER 4639 NEW BEST:: SOT 255111623 SOS 65718318 HAS SOPS 64207117 HAS SOUS 51189866 HAS SOUPS 51088353 WITH SCORE 5.1154071318E7
AT ITER 4645 NEW BEST:: SOT 255110366 SOS 65717085 HAS SOPS 64205884 HAS SOUS 51189403 HAS SOUPS 51087890 WITH SCORE 5.1153607085E7
AT ITER 4650 NEW BEST:: SOT 255110366 SOS 65715379 HAS SOPS 64204178 HAS SOUS 51185839 HAS SOUPS 51084326 WITH SCORE 5.1150041379E7
AT ITER 4676 NEW BEST:: SOT 255107768 SOS 65710276 HAS SOPS 64199075 HAS SOUS 51180736 HAS SOUPS 51079223 WITH SCORE 5.1144933276E7
AT ITER 4686 NEW BEST:: SOT 255107768 SOS 65709609 HAS SOPS 64198408 HAS SOUS 51180069 HAS SOUPS 51078556 WITH SCORE 5.1144265609E7
AT ITER 4701 NEW BEST:: SOT 255107484 SOS 65709371 HAS SOPS 64198560 HAS SOUS 51179501 HAS SOUPS 51077988 WITH SCORE 5.1143697371E7
AT ITER 4705 NEW BEST:: SOT 255105763 SOS 65707666 HAS SOPS 64196855 HAS SOUS 51178818 HAS SOUPS 51077305 WITH SCORE 5.1143012666E7
AT ITER 4715 NEW BEST:: SOT 255104410 SOS 65706330 HAS SOPS 64195519 HAS SOUS 51178040 HAS SOUPS 51076527 WITH SCORE 5.114223333E7
AT ITER 4716 NEW BEST:: SOT 255104034 SOS 65706330 HAS SOPS 64195519 HAS SOUS 51178010 HAS SOUPS 51076497 WITH SCORE 5.114220333E7
AT ITER 4722 NEW BEST:: SOT 255070846 SOS 65749245 HAS SOPS 64162306 HAS SOUS 51179162 HAS SOUPS 51075395 WITH SCORE 5.1141144245E7
AT ITER 4767 NEW BEST:: SOT 255070846 SOS 65748922 HAS SOPS 64161983 HAS SOUS 51179162 HAS SOUPS 51075395 WITH SCORE 5.1141143922E7
AT ITER 4774 NEW BEST:: SOT 255069640 SOS 65746510 HAS SOPS 64159571 HAS SOUS 51177892 HAS SOUPS 51074125 WITH SCORE 5.113987151E7
AT ITER 4779 NEW BEST:: SOT 255068660 SOS 65745535 HAS SOPS 64158596 HAS SOUS 51176917 HAS SOUPS 51073150 WITH SCORE 5.1138895535E7
AT ITER 4782 NEW BEST:: SOT 255067906 SOS 65744785 HAS SOPS 64157846 HAS SOUS 51176163 HAS SOUPS 51072396 WITH SCORE 5.1138140785E7
AT ITER 4784 NEW BEST:: SOT 255069384 SOS 65746380 HAS SOPS 64131035 HAS SOUS 51150166 HAS SOUPS 51045937 WITH SCORE 5.111168338E7
AT ITER 4798 NEW BEST:: SOT 255069086 SOS 65746380 HAS SOPS 64131035 HAS SOUS 51150142 HAS SOUPS 51045913 WITH SCORE 5.111165938E7
AT ITER 4807 NEW BEST:: SOT 255069086 SOS 65745416 HAS SOPS 64130071 HAS SOUS 51149178 HAS SOUPS 51044949 WITH SCORE 5.1110694416E7
AT ITER 4821 NEW BEST:: SOT 255066842 SOS 65744174 HAS SOPS 64128829 HAS SOUS 51147593 HAS SOUPS 51043364 WITH SCORE 5.1109108174E7
AT ITER 4826 NEW BEST:: SOT 255064525 SOS 65741869 HAS SOPS 64126524 HAS SOUS 51146094 HAS SOUPS 51041865 WITH SCORE 5.1107606869E7
AT ITER 4829 NEW BEST:: SOT 255064225 SOS 65741505 HAS SOPS 64126160 HAS SOUS 51145730 HAS SOUPS 51041501 WITH SCORE 5.1107242505E7
AT ITER 4835 NEW BEST:: SOT 255061972 SOS 65740036 HAS SOPS 64124691 HAS SOUS 51143723 HAS SOUPS 51039494 WITH SCORE 5.1105234036E7
AT ITER 4842 NEW BEST:: SOT 255061950 SOS 65739992 HAS SOPS 64124647 HAS SOUS 51143679 HAS SOUPS 51039450 WITH SCORE 5.1105189992E7
AT ITER 4881 NEW BEST:: SOT 255058595 SOS 65739992 HAS SOPS 64124647 HAS SOUS 51143670 HAS SOUPS 51039441 WITH SCORE 5.1105180992E7
AT ITER 4915 NEW BEST:: SOT 255058595 SOS 65738629 HAS SOPS 64123284 HAS SOUS 51142307 HAS SOUPS 51038078 WITH SCORE 5.1103816629E7
AT ITER 4952 NEW BEST:: SOT 255057153 SOS 65737155 HAS SOPS 64121810 HAS SOUS 51140833 HAS SOUPS 51036604 WITH SCORE 5.1102341155E7
AT ITER 4954 NEW BEST:: SOT 255057153 SOS 65737155 HAS SOPS 64121810 HAS SOUS 51138744 HAS SOUPS 51034515 WITH SCORE 5.1100252155E7
AT ITER 5003 NEW BEST:: SOT 255057153 SOS 65710147 HAS SOPS 64094802 HAS SOUS 51138712 HAS SOUPS 51034483 WITH SCORE 5.1100193147E7
AT ITER 5022 NEW BEST:: SOT 255054497 SOS 65648463 HAS SOPS 64033118 HAS SOUS 51133400 HAS SOUPS 51029171 WITH SCORE 5.1094819463E7
AT ITER 5045 NEW BEST:: SOT 255051575 SOS 65648695 HAS SOPS 64033350 HAS SOUS 51131288 HAS SOUPS 51027059 WITH SCORE 5.1092707695E7
AT ITER 5050 NEW BEST:: SOT 255049250 SOS 65648325 HAS SOPS 64032980 HAS SOUS 51130993 HAS SOUPS 51026764 WITH SCORE 5.1092412325E7
AT ITER 5060 NEW BEST:: SOT 255045831 SOS 65647170 HAS SOPS 64031825 HAS SOUS 51129838 HAS SOUPS 51025609 WITH SCORE 5.109125617E7
AT ITER 5083 NEW BEST:: SOT 255043139 SOS 65644696 HAS SOPS 64029351 HAS SOUS 51124668 HAS SOUPS 51020439 WITH SCORE 5.1086083696E7
AT ITER 5088 NEW BEST:: SOT 255040659 SOS 65643207 HAS SOPS 64027862 HAS SOUS 51122890 HAS SOUPS 51018661 WITH SCORE 5.1084304207E7
AT ITER 5126 NEW BEST:: SOT 255040659 SOS 65642048 HAS SOPS 64026703 HAS SOUS 51120194 HAS SOUPS 51015965 WITH SCORE 5.1081607048E7
AT ITER 5141 NEW BEST:: SOT 255040307 SOS 65642048 HAS SOPS 64026703 HAS SOUS 51120181 HAS SOUPS 51015952 WITH SCORE 5.1081594048E7
AT ITER 5158 NEW BEST:: SOT 254921862 SOS 66041329 HAS SOPS 63921257 HAS SOUS 51023988 HAS SOUPS 50910506 WITH SCORE 5.0976547329E7
AT ITER 5181 NEW BEST:: SOT 254884405 SOS 66148782 HAS SOPS 63884901 HAS SOUS 51015498 HAS SOUPS 50898700 WITH SCORE 5.0964848782E7
AT ITER 5204 NEW BEST:: SOT 254884405 SOS 66093614 HAS SOPS 63829733 HAS SOUS 51015466 HAS SOUPS 50898668 WITH SCORE 5.0964761614E7
AT ITER 5225 NEW BEST:: SOT 254882184 SOS 66092169 HAS SOPS 63828288 HAS SOUS 51013362 HAS SOUPS 50896564 WITH SCORE 5.0962656169E7
AT ITER 5227 NEW BEST:: SOT 254881397 SOS 66092927 HAS SOPS 63829046 HAS SOUS 51013333 HAS SOUPS 50896535 WITH SCORE 5.0962627927E7
AT ITER 5233 NEW BEST:: SOT 254878987 SOS 66090541 HAS SOPS 63826660 HAS SOUS 51012099 HAS SOUPS 50895301 WITH SCORE 5.0961391541E7
AT ITER 5281 NEW BEST:: SOT 254878423 SOS 66092782 HAS SOPS 63827499 HAS SOUS 51012694 HAS SOUPS 50894494 WITH SCORE 5.0960586782E7
AT ITER 5310 NEW BEST:: SOT 254876190 SOS 66091873 HAS SOPS 63826590 HAS SOUS 51012575 HAS SOUPS 50894375 WITH SCORE 5.0960466873E7
AT ITER 5340 NEW BEST:: SOT 254876190 SOS 66091251 HAS SOPS 63825968 HAS SOUS 51010986 HAS SOUPS 50892786 WITH SCORE 5.0958877251E7
AT ITER 5349 NEW BEST:: SOT 254875349 SOS 66091390 HAS SOPS 63826107 HAS SOUS 51010284 HAS SOUPS 50892084 WITH SCORE 5.095817539E7
AT ITER 5385 NEW BEST:: SOT 254874834 SOS 66091844 HAS SOPS 63826561 HAS SOUS 51010223 HAS SOUPS 50892023 WITH SCORE 5.0958114844E7
AT ITER 5392 NEW BEST:: SOT 254874118 SOS 66091576 HAS SOPS 63826293 HAS SOUS 51010020 HAS SOUPS 50891820 WITH SCORE 5.0957911576E7
AT ITER 5404 NEW BEST:: SOT 254874118 SOS 66023647 HAS SOPS 63758364 HAS SOUS 51010020 HAS SOUPS 50891820 WITH SCORE 5.0957843647E7
AT ITER 5406 NEW BEST:: SOT 254874118 SOS 66023647 HAS SOPS 63758364 HAS SOUS 51009988 HAS SOUPS 50891788 WITH SCORE 5.0957811647E7
AT ITER 5426 NEW BEST:: SOT 254873828 SOS 66023647 HAS SOPS 63758364 HAS SOUS 51009698 HAS SOUPS 50891498 WITH SCORE 5.0957521647E7
AT ITER 5448 NEW BEST:: SOT 254873221 SOS 66021355 HAS SOPS 63757693 HAS SOUS 51008483 HAS SOUPS 50890283 WITH SCORE 5.0956304355E7
AT ITER 5459 NEW BEST:: SOT 254873221 SOS 66020677 HAS SOPS 63757015 HAS SOUS 51006291 HAS SOUPS 50888091 WITH SCORE 5.0954111677E7
AT ITER 5465 NEW BEST:: SOT 254873221 SOS 66019446 HAS SOPS 63755784 HAS SOUS 51006291 HAS SOUPS 50888091 WITH SCORE 5.0954110446E7
AT ITER 5472 NEW BEST:: SOT 254873221 SOS 66019480 HAS SOPS 63755818 HAS SOUS 51006284 HAS SOUPS 50888084 WITH SCORE 5.095410348E7
AT ITER 5507 NEW BEST:: SOT 254871744 SOS 65667996 HAS SOPS 63400165 HAS SOUS 51003330 HAS SOUPS 50885130 WITH SCORE 5.0950797996E7
AT ITER 5521 NEW BEST:: SOT 254871027 SOS 65662785 HAS SOPS 63394954 HAS SOUS 51003138 HAS SOUPS 50884938 WITH SCORE 5.0950600785E7
AT ITER 5525 NEW BEST:: SOT 254871027 SOS 65661218 HAS SOPS 63393387 HAS SOUS 51003138 HAS SOUPS 50884938 WITH SCORE 5.0950599218E7
AT ITER 5544 NEW BEST:: SOT 254868836 SOS 65660984 HAS SOPS 63393153 HAS SOUS 51002161 HAS SOUPS 50883961 WITH SCORE 5.0949621984E7
AT ITER 5547 NEW BEST:: SOT 254868202 SOS 65660350 HAS SOPS 63391885 HAS SOUS 51001527 HAS SOUPS 50882693 WITH SCORE 5.094835335E7
AT ITER 5561 NEW BEST:: SOT 254868170 SOS 65612765 HAS SOPS 63344300 HAS SOUS 51001463 HAS SOUPS 50882629 WITH SCORE 5.0948241765E7
AT ITER 5564 NEW BEST:: SOT 254868170 SOS 65611670 HAS SOPS 63343205 HAS SOUS 50998956 HAS SOUPS 50880122 WITH SCORE 5.094573367E7
AT ITER 5597 NEW BEST:: SOT 254867176 SOS 65611670 HAS SOPS 63343205 HAS SOUS 50998953 HAS SOUPS 50880119 WITH SCORE 5.094573067E7
AT ITER 5610 NEW BEST:: SOT 254867176 SOS 65610907 HAS SOPS 63342442 HAS SOUS 50998953 HAS SOUPS 50880119 WITH SCORE 5.0945729907E7
AT ITER 5627 NEW BEST:: SOT 254864849 SOS 65610907 HAS SOPS 63342442 HAS SOUS 50998949 HAS SOUPS 50880115 WITH SCORE 5.0945725907E7
AT ITER 5644 NEW BEST:: SOT 254863836 SOS 65609894 HAS SOPS 63341429 HAS SOUS 50997936 HAS SOUPS 50879102 WITH SCORE 5.0944711894E7
AT ITER 5653 NEW BEST:: SOT 254863836 SOS 65610921 HAS SOPS 63342456 HAS SOUS 50996562 HAS SOUPS 50877728 WITH SCORE 5.0943338921E7
AT ITER 5684 NEW BEST:: SOT 254862537 SOS 65609640 HAS SOPS 63341175 HAS SOUS 50996081 HAS SOUPS 50877247 WITH SCORE 5.094285664E7
AT ITER 5697 NEW BEST:: SOT 254862537 SOS 65609608 HAS SOPS 63341143 HAS SOUS 50996049 HAS SOUPS 50877215 WITH SCORE 5.0942824608E7
AT ITER 5705 NEW BEST:: SOT 254862537 SOS 65609576 HAS SOPS 63341111 HAS SOUS 50996017 HAS SOUPS 50877183 WITH SCORE 5.0942792576E7
AT ITER 5746 NEW BEST:: SOT 254862537 SOS 65608706 HAS SOPS 63340241 HAS SOUS 50993383 HAS SOUPS 50874549 WITH SCORE 5.0940157706E7
AT ITER 5776 NEW BEST:: SOT 254861374 SOS 65607511 HAS SOPS 63339046 HAS SOUS 50992188 HAS SOUPS 50873354 WITH SCORE 5.0938961511E7
AT ITER 5791 NEW BEST:: SOT 254808698 SOS 65894605 HAS SOPS 63291689 HAS SOUS 50953761 HAS SOUPS 50828611 WITH SCORE 5.0894505605E7
AT ITER 5826 NEW BEST:: SOT 254807177 SOS 65893052 HAS SOPS 63290136 HAS SOUS 50952208 HAS SOUPS 50827058 WITH SCORE 5.0892951052E7
AT ITER 5831 NEW BEST:: SOT 254806871 SOS 65893052 HAS SOPS 63290136 HAS SOUS 50951902 HAS SOUPS 50826752 WITH SCORE 5.0892645052E7
AT ITER 5904 NEW BEST:: SOT 254806635 SOS 65893052 HAS SOPS 63290136 HAS SOUS 50951675 HAS SOUPS 50826525 WITH SCORE 5.0892418052E7
AT ITER 5910 NEW BEST:: SOT 254806635 SOS 65893052 HAS SOPS 63290136 HAS SOUS 50951643 HAS SOUPS 50826493 WITH SCORE 5.0892386052E7
AT ITER 5951 NEW BEST:: SOT 254806273 SOS 65892690 HAS SOPS 63289774 HAS SOUS 50951281 HAS SOUPS 50826131 WITH SCORE 5.089202369E7
AT ITER 5960 NEW BEST:: SOT 254806273 SOS 65891153 HAS SOPS 63288237 HAS SOUS 50951281 HAS SOUPS 50826131 WITH SCORE 5.0892022153E7
AT ITER 6045 NEW BEST:: SOT 254804833 SOS 65889727 HAS SOPS 63286811 HAS SOUS 50950122 HAS SOUPS 50824972 WITH SCORE 5.0890861727E7
AT ITER 6050 NEW BEST:: SOT 254803409 SOS 65889647 HAS SOPS 63286731 HAS SOUS 50949595 HAS SOUPS 50824445 WITH SCORE 5.0890334647E7
AT ITER 6074 NEW BEST:: SOT 252649089 SOS 68900156 HAS SOPS 66297240 HAS SOUS 48798832 HAS SOUPS 48673682 WITH SCORE 4.8742582156E7
AT ITER 6101 NEW BEST:: SOT 252565716 SOS 69000959 HAS SOPS 66406941 HAS SOUS 48729942 HAS SOUPS 48604792 WITH SCORE 4.8673792959E7
AT ITER 6124 NEW BEST:: SOT 252563842 SOS 69000012 HAS SOPS 66405994 HAS SOUS 48729618 HAS SOUPS 48604468 WITH SCORE 4.8673468012E7
AT ITER 6136 NEW BEST:: SOT 252563842 SOS 69000012 HAS SOPS 66405994 HAS SOUS 48728603 HAS SOUPS 48603453 WITH SCORE 4.8672453012E7
AT ITER 6138 NEW BEST:: SOT 252561163 SOS 68997301 HAS SOPS 66403283 HAS SOUS 48725892 HAS SOUPS 48600742 WITH SCORE 4.8669739301E7
AT ITER 6143 NEW BEST:: SOT 252560561 SOS 68996699 HAS SOPS 66402079 HAS SOUS 48725929 HAS SOUPS 48600177 WITH SCORE 4.8669173699E7
AT ITER 6176 NEW BEST:: SOT 252558732 SOS 68994870 HAS SOPS 66400250 HAS SOUS 48722271 HAS SOUPS 48596519 WITH SCORE 4.866551387E7
AT ITER 6216 NEW BEST:: SOT 252558732 SOS 68994985 HAS SOPS 66400365 HAS SOUS 48720674 HAS SOUPS 48594922 WITH SCORE 4.8663916985E7
AT ITER 6223 NEW BEST:: SOT 252559460 SOS 68995713 HAS SOPS 66401093 HAS SOUS 48720432 HAS SOUPS 48594680 WITH SCORE 4.8663675713E7
AT ITER 6231 NEW BEST:: SOT 252559460 SOS 68997327 HAS SOPS 66402707 HAS SOUS 48719901 HAS SOUPS 48594149 WITH SCORE 4.8663146327E7
AT ITER 6233 NEW BEST:: SOT 252559460 SOS 68997327 HAS SOPS 66402707 HAS SOUS 48718512 HAS SOUPS 48592760 WITH SCORE 4.8661757327E7
AT ITER 6240 NEW BEST:: SOT 252559460 SOS 68996480 HAS SOPS 66401860 HAS SOUS 48718512 HAS SOUPS 48592760 WITH SCORE 4.866175648E7
AT ITER 6246 NEW BEST:: SOT 252519485 SOS 69169829 HAS SOPS 66583657 HAS SOUS 48691873 HAS SOUPS 48566121 WITH SCORE 4.8635290829E7
AT ITER 6286 NEW BEST:: SOT 252484248 SOS 69311888 HAS SOPS 66732818 HAS SOUS 48668814 HAS SOUPS 48543062 WITH SCORE 4.8612373888E7
AT ITER 6301 NEW BEST:: SOT 252484248 SOS 69310881 HAS SOPS 66731811 HAS SOUS 48668814 HAS SOUPS 48543062 WITH SCORE 4.8612372881E7
AT ITER 6323 NEW BEST:: SOT 252485464 SOS 69312097 HAS SOPS 66733027 HAS SOUS 48667870 HAS SOUPS 48542118 WITH SCORE 4.8611430097E7
AT ITER 6325 NEW BEST:: SOT 252485931 SOS 69312564 HAS SOPS 66733494 HAS SOUS 48666949 HAS SOUPS 48541197 WITH SCORE 4.8610509564E7
AT ITER 6327 NEW BEST:: SOT 252485390 SOS 69312564 HAS SOPS 66733494 HAS SOUS 48666927 HAS SOUPS 48541175 WITH SCORE 4.8610487564E7
AT ITER 6331 NEW BEST:: SOT 252484650 SOS 69312833 HAS SOPS 66733763 HAS SOUS 48666456 HAS SOUPS 48540704 WITH SCORE 4.8610016833E7
AT ITER 6340 NEW BEST:: SOT 252482545 SOS 69312833 HAS SOPS 66733763 HAS SOUS 48664813 HAS SOUPS 48539061 WITH SCORE 4.8608373833E7
AT ITER 6355 NEW BEST:: SOT 252481530 SOS 69313228 HAS SOPS 66734158 HAS SOUS 48664193 HAS SOUPS 48538441 WITH SCORE 4.8607754228E7
AT ITER 6365 NEW BEST:: SOT 252478600 SOS 69311826 HAS SOPS 66732756 HAS SOUS 48661286 HAS SOUPS 48535534 WITH SCORE 4.8604845826E7
AT ITER 6446 NEW BEST:: SOT 252477271 SOS 69310497 HAS SOPS 66731427 HAS SOUS 48661018 HAS SOUPS 48535266 WITH SCORE 4.8604576497E7
AT ITER 6450 NEW BEST:: SOT 252476838 SOS 69310497 HAS SOPS 66731427 HAS SOUS 48660992 HAS SOUPS 48535240 WITH SCORE 4.8604550497E7
AT ITER 6468 NEW BEST:: SOT 252476838 SOS 69310297 HAS SOPS 66731227 HAS SOUS 48660992 HAS SOUPS 48535240 WITH SCORE 4.8604550297E7
AT ITER 6490 NEW BEST:: SOT 252476838 SOS 69310297 HAS SOPS 66731227 HAS SOUS 48660980 HAS SOUPS 48535228 WITH SCORE 4.8604538297E7
AT ITER 6491 NEW BEST:: SOT 252477793 SOS 69311252 HAS SOPS 66732182 HAS SOUS 48660061 HAS SOUPS 48534309 WITH SCORE 4.8603620252E7
AT ITER 6493 NEW BEST:: SOT 252482656 SOS 69251278 HAS SOPS 66667202 HAS SOUS 48659918 HAS SOUPS 48534166 WITH SCORE 4.8603417278E7
AT ITER 6495 NEW BEST:: SOT 252479840 SOS 69250479 HAS SOPS 66666403 HAS SOUS 48657950 HAS SOUPS 48532198 WITH SCORE 4.8601448479E7
AT ITER 6515 NEW BEST:: SOT 252479840 SOS 69250479 HAS SOPS 66666403 HAS SOUS 48656916 HAS SOUPS 48531164 WITH SCORE 4.8600414479E7
AT ITER 6523 NEW BEST:: SOT 252479934 SOS 69250573 HAS SOPS 66666497 HAS SOUS 48655098 HAS SOUPS 48529346 WITH SCORE 4.8598596573E7
AT ITER 6537 NEW BEST:: SOT 252479934 SOS 69250573 HAS SOPS 66666497 HAS SOUS 48653715 HAS SOUPS 48527963 WITH SCORE 4.8597213573E7
AT ITER 6568 NEW BEST:: SOT 252479837 SOS 69250476 HAS SOPS 66666303 HAS SOUS 48653618 HAS SOUPS 48527769 WITH SCORE 4.8597019476E7
AT ITER 6571 NEW BEST:: SOT 252478990 SOS 69249629 HAS SOPS 66665456 HAS SOUS 48653385 HAS SOUPS 48527536 WITH SCORE 4.8596785629E7
AT ITER 6584 NEW BEST:: SOT 252480151 SOS 69250790 HAS SOPS 66666617 HAS SOUS 48652667 HAS SOUPS 48526818 WITH SCORE 4.859606879E7
AT ITER 6594 NEW BEST:: SOT 252477680 SOS 69248733 HAS SOPS 66664560 HAS SOUS 48648124 HAS SOUPS 48522275 WITH SCORE 4.8591523733E7
AT ITER 6599 NEW BEST:: SOT 252477468 SOS 69248733 HAS SOPS 66664560 HAS SOUS 48647912 HAS SOUPS 48522063 WITH SCORE 4.8591311733E7
AT ITER 6603 NEW BEST:: SOT 252474820 SOS 69246085 HAS SOPS 66661912 HAS SOUS 48643940 HAS SOUPS 48518091 WITH SCORE 4.8587337085E7
AT ITER 6615 NEW BEST:: SOT 252474974 SOS 69246239 HAS SOPS 66662066 HAS SOUS 48642322 HAS SOUPS 48516473 WITH SCORE 4.8585719239E7
AT ITER 6619 NEW BEST:: SOT 252474974 SOS 69246239 HAS SOPS 66662066 HAS SOUS 48640292 HAS SOUPS 48514443 WITH SCORE 4.8583689239E7
AT ITER 6644 NEW BEST:: SOT 252474974 SOS 69246239 HAS SOPS 66662066 HAS SOUS 48638561 HAS SOUPS 48512712 WITH SCORE 4.8581958239E7
AT ITER 6700 NEW BEST:: SOT 252474974 SOS 69245779 HAS SOPS 66661606 HAS SOUS 48638091 HAS SOUPS 48512242 WITH SCORE 4.8581487779E7
AT ITER 6706 NEW BEST:: SOT 252475885 SOS 69246690 HAS SOPS 66662517 HAS SOUS 48637478 HAS SOUPS 48511629 WITH SCORE 4.858087569E7
AT ITER 6735 NEW BEST:: SOT 252474020 SOS 69244845 HAS SOPS 66660672 HAS SOUS 48636427 HAS SOUPS 48510578 WITH SCORE 4.8579822845E7
AT ITER 6773 NEW BEST:: SOT 252453950 SOS 69224804 HAS SOPS 66640631 HAS SOUS 48616386 HAS SOUPS 48490537 WITH SCORE 4.8559761804E7
AT ITER 6783 NEW BEST:: SOT 252450828 SOS 69221682 HAS SOPS 66639569 HAS SOUS 48614583 HAS SOUPS 48488734 WITH SCORE 4.8557955682E7
AT ITER 6785 NEW BEST:: SOT 252411847 SOS 69183992 HAS SOPS 66601879 HAS SOUS 48576893 HAS SOUPS 48451044 WITH SCORE 4.8520227992E7
AT ITER 6786 NEW BEST:: SOT 252411207 SOS 69183992 HAS SOPS 66601879 HAS SOUS 48576885 HAS SOUPS 48451036 WITH SCORE 4.8520219992E7
AT ITER 6792 NEW BEST:: SOT 252411207 SOS 69184020 HAS SOPS 66601907 HAS SOUS 48576697 HAS SOUPS 48450848 WITH SCORE 4.852003202E7
AT ITER 6821 NEW BEST:: SOT 252412806 SOS 69185619 HAS SOPS 66603506 HAS SOUS 48576267 HAS SOUPS 48450418 WITH SCORE 4.8519603619E7
AT ITER 6835 NEW BEST:: SOT 252413345 SOS 69186158 HAS SOPS 66604045 HAS SOUS 48574379 HAS SOUPS 48448530 WITH SCORE 4.8517716158E7
AT ITER 6844 NEW BEST:: SOT 252413345 SOS 69185612 HAS SOPS 66603499 HAS SOUS 48573833 HAS SOUPS 48447984 WITH SCORE 4.8517169612E7
AT ITER 6851 NEW BEST:: SOT 252412797 SOS 69185032 HAS SOPS 66602919 HAS SOUS 48573253 HAS SOUPS 48447404 WITH SCORE 4.8516589032E7
AT ITER 6907 NEW BEST:: SOT 252413522 SOS 69185757 HAS SOPS 66603644 HAS SOUS 48571600 HAS SOUPS 48445751 WITH SCORE 4.8514936757E7
AT ITER 6923 NEW BEST:: SOT 252413522 SOS 69185533 HAS SOPS 66603420 HAS SOUS 48571376 HAS SOUPS 48445527 WITH SCORE 4.8514712533E7
AT ITER 6970 NEW BEST:: SOT 252413264 SOS 69185533 HAS SOPS 66603420 HAS SOUS 48571118 HAS SOUPS 48445269 WITH SCORE 4.8514454533E7
AT ITER 6994 NEW BEST:: SOT 252412858 SOS 69185533 HAS SOPS 66603420 HAS SOUS 48570898 HAS SOUPS 48445049 WITH SCORE 4.8514234533E7
AT ITER 7003 NEW BEST:: SOT 252413059 SOS 69185734 HAS SOPS 66603621 HAS SOUS 48568634 HAS SOUPS 48442785 WITH SCORE 4.8511970734E7
AT ITER 7004 NEW BEST:: SOT 252413939 SOS 69186614 HAS SOPS 66604501 HAS SOUS 48567585 HAS SOUPS 48441736 WITH SCORE 4.8510922614E7
AT ITER 7024 NEW BEST:: SOT 252413939 SOS 69186614 HAS SOPS 66604501 HAS SOUS 48565791 HAS SOUPS 48439942 WITH SCORE 4.8509128614E7
AT ITER 7045 NEW BEST:: SOT 252413939 SOS 69185979 HAS SOPS 66603866 HAS SOUS 48565791 HAS SOUPS 48439942 WITH SCORE 4.8509127979E7
AT ITER 7060 NEW BEST:: SOT 252413939 SOS 69185947 HAS SOPS 66603834 HAS SOUS 48565759 HAS SOUPS 48439910 WITH SCORE 4.8509095947E7
AT ITER 7065 NEW BEST:: SOT 252413939 SOS 69185947 HAS SOPS 66603834 HAS SOUS 48564002 HAS SOUPS 48438153 WITH SCORE 4.8507338947E7
AT ITER 7070 NEW BEST:: SOT 252411942 SOS 69185947 HAS SOPS 66603834 HAS SOUS 48562005 HAS SOUPS 48436156 WITH SCORE 4.8505341947E7
AT ITER 7075 NEW BEST:: SOT 252302076 SOS 69099393 HAS SOPS 66521712 HAS SOUS 48457123 HAS SOUPS 48331274 WITH SCORE 4.8400373393E7
AT ITER 7088 NEW BEST:: SOT 252301069 SOS 69098322 HAS SOPS 66520641 HAS SOUS 48456052 HAS SOUPS 48330203 WITH SCORE 4.8399301322E7
AT ITER 7093 NEW BEST:: SOT 252298915 SOS 69096908 HAS SOPS 66519227 HAS SOUS 48453898 HAS SOUPS 48328049 WITH SCORE 4.8397145908E7
AT ITER 7095 NEW BEST:: SOT 252179850 SOS 68977843 HAS SOPS 66403962 HAS SOUS 48335143 HAS SOUPS 48209294 WITH SCORE 4.8278271843E7
AT ITER 7098 NEW BEST:: SOT 252179800 SOS 68977761 HAS SOPS 66403880 HAS SOUS 48335061 HAS SOUPS 48209212 WITH SCORE 4.8278189761E7
AT ITER 7112 NEW BEST:: SOT 252179800 SOS 68975678 HAS SOPS 66401797 HAS SOUS 48332978 HAS SOUPS 48207129 WITH SCORE 4.8276104678E7
AT ITER 7119 NEW BEST:: SOT 252179070 SOS 68974948 HAS SOPS 66400337 HAS SOUS 48332248 HAS SOUPS 48205669 WITH SCORE 4.8274643948E7
AT ITER 7130 NEW BEST:: SOT 252179070 SOS 68974948 HAS SOPS 66400337 HAS SOUS 48331280 HAS SOUPS 48204701 WITH SCORE 4.8273675948E7
AT ITER 7135 NEW BEST:: SOT 252178040 SOS 68972837 HAS SOPS 66398226 HAS SOUS 48330250 HAS SOUPS 48203671 WITH SCORE 4.8272643837E7
AT ITER 7139 NEW BEST:: SOT 252176221 SOS 68971239 HAS SOPS 66396628 HAS SOUS 48329127 HAS SOUPS 48202548 WITH SCORE 4.8271519239E7
AT ITER 7147 NEW BEST:: SOT 252175030 SOS 68971239 HAS SOPS 66396628 HAS SOUS 48327936 HAS SOUPS 48201357 WITH SCORE 4.8270328239E7
AT ITER 7165 NEW BEST:: SOT 252174607 SOS 68970816 HAS SOPS 66396205 HAS SOUS 48327193 HAS SOUPS 48200614 WITH SCORE 4.8269584816E7
AT ITER 7168 NEW BEST:: SOT 252174607 SOS 68970140 HAS SOPS 66395529 HAS SOUS 48324711 HAS SOUPS 48198132 WITH SCORE 4.826710214E7
AT ITER 7203 NEW BEST:: SOT 252174315 SOS 68963928 HAS SOPS 66389317 HAS SOUS 48323075 HAS SOUPS 48196496 WITH SCORE 4.8265459928E7
AT ITER 7204 NEW BEST:: SOT 252119724 SOS 68926747 HAS SOPS 66354519 HAS SOUS 48271420 HAS SOUPS 48144841 WITH SCORE 4.8213767747E7
AT ITER 7210 NEW BEST:: SOT 252119724 SOS 68926747 HAS SOPS 66354519 HAS SOUS 48270485 HAS SOUPS 48143906 WITH SCORE 4.8212832747E7
AT ITER 7215 NEW BEST:: SOT 252049287 SOS 69238698 HAS SOPS 66675683 HAS SOUS 48224678 HAS SOUPS 48098099 WITH SCORE 4.8167337698E7
AT ITER 7220 NEW BEST:: SOT 252050240 SOS 69239651 HAS SOPS 66676636 HAS SOUS 48224244 HAS SOUPS 48097665 WITH SCORE 4.8166904651E7
AT ITER 7230 NEW BEST:: SOT 252048023 SOS 69239651 HAS SOPS 66676636 HAS SOUS 48223576 HAS SOUPS 48096997 WITH SCORE 4.8166236651E7
AT ITER 7252 NEW BEST:: SOT 252047967 SOS 69239510 HAS SOPS 66676495 HAS SOUS 48223488 HAS SOUPS 48096909 WITH SCORE 4.816614851E7
AT ITER 7257 NEW BEST:: SOT 252045855 SOS 69237398 HAS SOPS 66674383 HAS SOUS 48219264 HAS SOUPS 48092685 WITH SCORE 4.8161922398E7
AT ITER 7270 NEW BEST:: SOT 252046155 SOS 69237698 HAS SOPS 66674683 HAS SOUS 48218754 HAS SOUPS 48092175 WITH SCORE 4.8161412698E7
AT ITER 7284 NEW BEST:: SOT 252046155 SOS 69237698 HAS SOPS 66674683 HAS SOUS 48218250 HAS SOUPS 48091671 WITH SCORE 4.8160908698E7
AT ITER 7363 NEW BEST:: SOT 252046155 SOS 69163202 HAS SOPS 66600187 HAS SOUS 48215922 HAS SOUPS 48089343 WITH SCORE 4.8158506202E7
AT ITER 7370 NEW BEST:: SOT 252046155 SOS 69163202 HAS SOPS 66600187 HAS SOUS 48213395 HAS SOUPS 48086816 WITH SCORE 4.8155979202E7
AT ITER 7372 NEW BEST:: SOT 252046952 SOS 69163999 HAS SOPS 66600984 HAS SOUS 48212994 HAS SOUPS 48086415 WITH SCORE 4.8155578999E7
AT ITER 7391 NEW BEST:: SOT 252044966 SOS 69160192 HAS SOPS 66597177 HAS SOUS 48211008 HAS SOUPS 48084429 WITH SCORE 4.8153589192E7
AT ITER 7418 NEW BEST:: SOT 252044966 SOS 69160192 HAS SOPS 66597177 HAS SOUS 48210335 HAS SOUPS 48083756 WITH SCORE 4.8152916192E7
AT ITER 7433 NEW BEST:: SOT 252047412 SOS 69154945 HAS SOPS 66591930 HAS SOUS 48210013 HAS SOUPS 48083434 WITH SCORE 4.8152588945E7
AT ITER 7438 NEW BEST:: SOT 252047412 SOS 69154213 HAS SOPS 66591198 HAS SOUS 48209281 HAS SOUPS 48082702 WITH SCORE 4.8151856213E7
AT ITER 7452 NEW BEST:: SOT 251981896 SOS 69206440 HAS SOPS 66643470 HAS SOUS 48152091 HAS SOUPS 48025512 WITH SCORE 4.809471844E7
AT ITER 7455 NEW BEST:: SOT 251981896 SOS 69206417 HAS SOPS 66643447 HAS SOUS 48152058 HAS SOUPS 48025479 WITH SCORE 4.8094685417E7
AT ITER 7464 NEW BEST:: SOT 251981896 SOS 69204509 HAS SOPS 66641539 HAS SOUS 48150150 HAS SOUPS 48023571 WITH SCORE 4.8092775509E7
AT ITER 7465 NEW BEST:: SOT 251980198 SOS 69203833 HAS SOPS 66640863 HAS SOUS 48149242 HAS SOUPS 48022663 WITH SCORE 4.8091866833E7
AT ITER 7469 NEW BEST:: SOT 251967446 SOS 69191315 HAS SOPS 66628345 HAS SOUS 48137131 HAS SOUPS 48010552 WITH SCORE 4.8079743315E7
AT ITER 7488 NEW BEST:: SOT 251964825 SOS 69140380 HAS SOPS 66577410 HAS SOUS 48131889 HAS SOUPS 48005310 WITH SCORE 4.807445038E7
AT ITER 7512 NEW BEST:: SOT 251962233 SOS 69139914 HAS SOPS 66576944 HAS SOUS 48128707 HAS SOUPS 48002128 WITH SCORE 4.8071267914E7
AT ITER 7520 NEW BEST:: SOT 251962640 SOS 69140321 HAS SOPS 66577351 HAS SOUS 48126424 HAS SOUPS 47999845 WITH SCORE 4.8068985321E7
AT ITER 7525 NEW BEST:: SOT 251961374 SOS 69139023 HAS SOPS 66576053 HAS SOUS 48125126 HAS SOUPS 47998547 WITH SCORE 4.8067686023E7
AT ITER 7542 NEW BEST:: SOT 251961374 SOS 69137263 HAS SOPS 66574293 HAS SOUS 48123366 HAS SOUPS 47996787 WITH SCORE 4.8065924263E7
AT ITER 7548 NEW BEST:: SOT 251961374 SOS 69137465 HAS SOPS 66574495 HAS SOUS 48122941 HAS SOUPS 47996362 WITH SCORE 4.8065499465E7
AT ITER 7591 NEW BEST:: SOT 251962234 SOS 69138325 HAS SOPS 66575355 HAS SOUS 48121389 HAS SOUPS 47994810 WITH SCORE 4.8063948325E7
AT ITER 7616 NEW BEST:: SOT 251962234 SOS 69138325 HAS SOPS 66575355 HAS SOUS 48120439 HAS SOUPS 47993860 WITH SCORE 4.8062998325E7
AT ITER 7632 NEW BEST:: SOT 251962234 SOS 69137915 HAS SOPS 66574945 HAS SOUS 48119553 HAS SOUPS 47992974 WITH SCORE 4.8062111915E7
AT ITER 7674 NEW BEST:: SOT 251962201 SOS 69137818 HAS SOPS 66574848 HAS SOUS 48119456 HAS SOUPS 47992877 WITH SCORE 4.8062014818E7
AT ITER 7677 NEW BEST:: SOT 251962201 SOS 69137788 HAS SOPS 66574818 HAS SOUS 48119456 HAS SOUPS 47992877 WITH SCORE 4.8062014788E7
AT ITER 7687 NEW BEST:: SOT 251959334 SOS 69136385 HAS SOPS 66573415 HAS SOUS 48117483 HAS SOUPS 47990904 WITH SCORE 4.8060040385E7
AT ITER 7695 NEW BEST:: SOT 251959334 SOS 69135303 HAS SOPS 66572333 HAS SOUS 48117483 HAS SOUPS 47990904 WITH SCORE 4.8060039303E7
AT ITER 7763 NEW BEST:: SOT 251957752 SOS 69134477 HAS SOPS 66571507 HAS SOUS 48115048 HAS SOUPS 47988469 WITH SCORE 4.8057603477E7
AT ITER 7770 NEW BEST:: SOT 251955479 SOS 69132480 HAS SOPS 66569510 HAS SOUS 48110511 HAS SOUPS 47983932 WITH SCORE 4.805306448E7
AT ITER 7774 NEW BEST:: SOT 251956491 SOS 69133492 HAS SOPS 66570522 HAS SOUS 48109457 HAS SOUPS 47982878 WITH SCORE 4.8052011492E7
AT ITER 7777 NEW BEST:: SOT 251957437 SOS 69134438 HAS SOPS 66571468 HAS SOUS 48108553 HAS SOUPS 47981974 WITH SCORE 4.8051108438E7
AT ITER 7778 NEW BEST:: SOT 251956245 SOS 69097454 HAS SOPS 66534484 HAS SOUS 48107329 HAS SOUPS 47980750 WITH SCORE 4.8049847454E7
AT ITER 7787 NEW BEST:: SOT 251956209 SOS 69097418 HAS SOPS 66534448 HAS SOUS 48107293 HAS SOUPS 47980714 WITH SCORE 4.8049811418E7
AT ITER 7792 NEW BEST:: SOT 251956209 SOS 69096764 HAS SOPS 66533794 HAS SOUS 48105534 HAS SOUPS 47978955 WITH SCORE 4.8048051764E7
AT ITER 7824 NEW BEST:: SOT 251956209 SOS 69096548 HAS SOPS 66533578 HAS SOUS 48105318 HAS SOUPS 47978739 WITH SCORE 4.8047835548E7
AT ITER 7828 NEW BEST:: SOT 251946549 SOS 69086856 HAS SOPS 66524231 HAS SOUS 48095971 HAS SOUPS 47969392 WITH SCORE 4.8038478856E7
AT ITER 7832 NEW BEST:: SOT 251946549 SOS 69087149 HAS SOPS 66524524 HAS SOUS 48094878 HAS SOUPS 47968299 WITH SCORE 4.8037386149E7
AT ITER 7837 NEW BEST:: SOT 251946549 SOS 69087149 HAS SOPS 66524524 HAS SOUS 48092178 HAS SOUPS 47965599 WITH SCORE 4.8034686149E7
AT ITER 7845 NEW BEST:: SOT 251945684 SOS 69087295 HAS SOPS 66524670 HAS SOUS 48091459 HAS SOUPS 47964880 WITH SCORE 4.8033967295E7
AT ITER 7848 NEW BEST:: SOT 251945684 SOS 69086993 HAS SOPS 66524368 HAS SOUS 48091459 HAS SOUPS 47964880 WITH SCORE 4.8033966993E7
AT ITER 7851 NEW BEST:: SOT 251945684 SOS 69088646 HAS SOPS 66526021 HAS SOUS 48091412 HAS SOUPS 47964833 WITH SCORE 4.8033921646E7
AT ITER 7866 NEW BEST:: SOT 251944716 SOS 69059758 HAS SOPS 66497133 HAS SOUS 48089556 HAS SOUPS 47962977 WITH SCORE 4.8032036758E7
AT ITER 7875 NEW BEST:: SOT 251944716 SOS 69058633 HAS SOPS 66496008 HAS SOUS 48088431 HAS SOUPS 47961852 WITH SCORE 4.8030910633E7
AT ITER 7888 NEW BEST:: SOT 251944716 SOS 69060619 HAS SOPS 66497994 HAS SOUS 48087836 HAS SOUPS 47961257 WITH SCORE 4.8030317619E7
AT ITER 7897 NEW BEST:: SOT 251943391 SOS 69059294 HAS SOPS 66496669 HAS SOUS 48086713 HAS SOUPS 47960134 WITH SCORE 4.8029193294E7
AT ITER 7900 NEW BEST:: SOT 251926590 SOS 69167803 HAS SOPS 66609986 HAS SOUS 48078320 HAS SOUPS 47951741 WITH SCORE 4.8020908803E7
AT ITER 7923 NEW BEST:: SOT 251925833 SOS 69167046 HAS SOPS 66609229 HAS SOUS 48077563 HAS SOUPS 47950984 WITH SCORE 4.8020151046E7
AT ITER 7942 NEW BEST:: SOT 251821863 SOS 69401882 HAS SOPS 66853258 HAS SOUS 47998361 HAS SOUPS 47871782 WITH SCORE 4.7941183882E7
AT ITER 7951 NEW BEST:: SOT 251821863 SOS 69401513 HAS SOPS 66852889 HAS SOUS 47997992 HAS SOUPS 47871413 WITH SCORE 4.7940814513E7
AT ITER 7970 NEW BEST:: SOT 251820518 SOS 69400168 HAS SOPS 66851544 HAS SOUS 47996647 HAS SOUPS 47870068 WITH SCORE 4.7939468168E7
AT ITER 7972 NEW BEST:: SOT 251820518 SOS 69400168 HAS SOPS 66851544 HAS SOUS 47995194 HAS SOUPS 47868615 WITH SCORE 4.7938015168E7
AT ITER 7980 NEW BEST:: SOT 251817780 SOS 69398763 HAS SOPS 66850139 HAS SOUS 47993831 HAS SOUPS 47867252 WITH SCORE 4.7936650763E7
AT ITER 7984 NEW BEST:: SOT 251817758 SOS 69398719 HAS SOPS 66850095 HAS SOUS 47993787 HAS SOUPS 47867208 WITH SCORE 4.7936606719E7
AT ITER 7997 NEW BEST:: SOT 251817111 SOS 69398719 HAS SOPS 66850095 HAS SOUS 47993140 HAS SOUPS 47866561 WITH SCORE 4.7935959719E7
AT ITER 8003 NEW BEST:: SOT 251783938 SOS 69775533 HAS SOPS 66820055 HAS SOUS 47990213 HAS SOUPS 47856213 WITH SCORE 4.7925988533E7
AT ITER 8029 NEW BEST:: SOT 251783393 SOS 69774956 HAS SOPS 66819478 HAS SOUS 47989636 HAS SOUPS 47855636 WITH SCORE 4.7925410956E7
AT ITER 8074 NEW BEST:: SOT 251784407 SOS 69775970 HAS SOPS 66820492 HAS SOUS 47989446 HAS SOUPS 47855446 WITH SCORE 4.792522197E7
AT ITER 8084 NEW BEST:: SOT 251784365 SOS 69775864 HAS SOPS 66820386 HAS SOUS 47989340 HAS SOUPS 47855340 WITH SCORE 4.7925115864E7
AT ITER 8105 NEW BEST:: SOT 251784365 SOS 69774867 HAS SOPS 66819389 HAS SOUS 47987146 HAS SOUPS 47853146 WITH SCORE 4.7922920867E7
AT ITER 8121 NEW BEST:: SOT 251782254 SOS 69773751 HAS SOPS 66818273 HAS SOUS 47986321 HAS SOUPS 47852321 WITH SCORE 4.7922094751E7
AT ITER 8138 NEW BEST:: SOT 251782036 SOS 69773533 HAS SOPS 66818055 HAS SOUS 47985885 HAS SOUPS 47851885 WITH SCORE 4.7921658533E7
AT ITER 8141 NEW BEST:: SOT 251780384 SOS 69772017 HAS SOPS 66816539 HAS SOUS 47985878 HAS SOUPS 47851878 WITH SCORE 4.7921650017E7
AT ITER 8145 NEW BEST:: SOT 251778604 SOS 69771115 HAS SOPS 66815637 HAS SOUS 47985215 HAS SOUPS 47851215 WITH SCORE 4.7920986115E7
AT ITER 8162 NEW BEST:: SOT 251774603 SOS 69644888 HAS SOPS 66689410 HAS SOUS 47977881 HAS SOUPS 47843881 WITH SCORE 4.7913525888E7
AT ITER 8187 NEW BEST:: SOT 251774603 SOS 69643259 HAS SOPS 66687781 HAS SOUS 47974623 HAS SOUPS 47840623 WITH SCORE 4.7910266259E7
AT ITER 8190 NEW BEST:: SOT 251774603 SOS 69642628 HAS SOPS 66687150 HAS SOUS 47974623 HAS SOUPS 47840623 WITH SCORE 4.7910265628E7
AT ITER 8253 NEW BEST:: SOT 251773105 SOS 69641098 HAS SOPS 66685620 HAS SOUS 47973093 HAS SOUPS 47839093 WITH SCORE 4.7908734098E7
AT ITER 8266 NEW BEST:: SOT 251766835 SOS 69641516 HAS SOPS 66679350 HAS SOUS 47967081 HAS SOUPS 47832872 WITH SCORE 4.7902513516E7
AT ITER 8277 NEW BEST:: SOT 251765306 SOS 69639955 HAS SOPS 66677789 HAS SOUS 47965520 HAS SOUPS 47831311 WITH SCORE 4.7900950955E7
AT ITER 8295 NEW BEST:: SOT 251765285 SOS 69639878 HAS SOPS 66677712 HAS SOUS 47965471 HAS SOUPS 47831262 WITH SCORE 4.7900901878E7
AT ITER 8302 NEW BEST:: SOT 251764551 SOS 69638971 HAS SOPS 66676805 HAS SOUS 47964737 HAS SOUPS 47830528 WITH SCORE 4.7900166971E7
AT ITER 8319 NEW BEST:: SOT 251764551 SOS 69638971 HAS SOPS 66676805 HAS SOUS 47964705 HAS SOUPS 47830496 WITH SCORE 4.7900134971E7
AT ITER 8330 NEW BEST:: SOT 251764551 SOS 69639000 HAS SOPS 66676834 HAS SOUS 47963387 HAS SOUPS 47829178 WITH SCORE 4.7898817E7
AT ITER 8338 NEW BEST:: SOT 251762119 SOS 69638396 HAS SOPS 66676230 HAS SOUS 47963048 HAS SOUPS 47828839 WITH SCORE 4.7898477396E7
AT ITER 8345 NEW BEST:: SOT 251760356 SOS 69640188 HAS SOPS 66678022 HAS SOUS 47962863 HAS SOUPS 47828654 WITH SCORE 4.7898294188E7
AT ITER 8365 NEW BEST:: SOT 251759666 SOS 69640741 HAS SOPS 66678575 HAS SOUS 47962726 HAS SOUPS 47828517 WITH SCORE 4.7898157741E7
AT ITER 8374 NEW BEST:: SOT 251757526 SOS 69638569 HAS SOPS 66676403 HAS SOUS 47960554 HAS SOUPS 47826345 WITH SCORE 4.7895983569E7
AT ITER 8391 NEW BEST:: SOT 251757526 SOS 69637630 HAS SOPS 66675464 HAS SOUS 47960554 HAS SOUPS 47826345 WITH SCORE 4.789598263E7
AT ITER 8406 NEW BEST:: SOT 251756422 SOS 69637630 HAS SOPS 66675464 HAS SOUS 47960553 HAS SOUPS 47826344 WITH SCORE 4.789598163E7
AT ITER 8410 NEW BEST:: SOT 251755749 SOS 69636284 HAS SOPS 66674118 HAS SOUS 47959816 HAS SOUPS 47825607 WITH SCORE 4.7895243284E7
AT ITER 8413 NEW BEST:: SOT 251680315 SOS 69819396 HAS SOPS 66866437 HAS SOUS 47901190 HAS SOUPS 47766981 WITH SCORE 4.7836800396E7
AT ITER 8428 NEW BEST:: SOT 251679271 SOS 69818320 HAS SOPS 66865361 HAS SOUS 47900114 HAS SOUPS 47765905 WITH SCORE 4.783572332E7
AT ITER 8448 NEW BEST:: SOT 251676729 SOS 69815746 HAS SOPS 66862787 HAS SOUS 47897540 HAS SOUPS 47763331 WITH SCORE 4.7833146746E7
AT ITER 8452 NEW BEST:: SOT 251676678 SOS 69815623 HAS SOPS 66862664 HAS SOUS 47897514 HAS SOUPS 47763305 WITH SCORE 4.7833120623E7
AT ITER 8459 NEW BEST:: SOT 251677103 SOS 69816048 HAS SOPS 66863089 HAS SOUS 47895741 HAS SOUPS 47761532 WITH SCORE 4.7831348048E7
AT ITER 8529 NEW BEST:: SOT 251677103 SOS 69506775 HAS SOPS 66551120 HAS SOUS 47894596 HAS SOUPS 47761532 WITH SCORE 4.7831038775E7
AT ITER 8544 NEW BEST:: SOT 251675788 SOS 69505428 HAS SOPS 66549773 HAS SOUS 47893249 HAS SOUPS 47760185 WITH SCORE 4.7829690428E7
AT ITER 8568 NEW BEST:: SOT 251674558 SOS 69504214 HAS SOPS 66548559 HAS SOUS 47892647 HAS SOUPS 47759583 WITH SCORE 4.7829087214E7
AT ITER 8571 NEW BEST:: SOT 251675753 SOS 69505409 HAS SOPS 66549754 HAS SOUS 47892337 HAS SOUPS 47759273 WITH SCORE 4.7828778409E7
AT ITER 8577 NEW BEST:: SOT 251675299 SOS 69504923 HAS SOPS 66549268 HAS SOUS 47891851 HAS SOUPS 47758787 WITH SCORE 4.7828291923E7
AT ITER 8610 NEW BEST:: SOT 251673952 SOS 69504524 HAS SOPS 66548869 HAS SOUS 47891515 HAS SOUPS 47758451 WITH SCORE 4.7827955524E7
AT ITER 8620 NEW BEST:: SOT 251673943 SOS 69504524 HAS SOPS 66548869 HAS SOUS 47891514 HAS SOUPS 47758450 WITH SCORE 4.7827954524E7
AT ITER 8631 NEW BEST:: SOT 251672883 SOS 69503432 HAS SOPS 66547777 HAS SOUS 47890422 HAS SOUPS 47757358 WITH SCORE 4.7826861432E7
AT ITER 8643 NEW BEST:: SOT 251591308 SOS 69481926 HAS SOPS 66526305 HAS SOUS 47812521 HAS SOUPS 47679457 WITH SCORE 4.7748938926E7
AT ITER 8646 NEW BEST:: SOT 251590514 SOS 69481926 HAS SOPS 66526305 HAS SOUS 47811727 HAS SOUPS 47678663 WITH SCORE 4.7748144926E7
AT ITER 8647 NEW BEST:: SOT 251590454 SOS 69451317 HAS SOPS 66495696 HAS SOUS 47811253 HAS SOUPS 47678189 WITH SCORE 4.7747640317E7
AT ITER 8695 NEW BEST:: SOT 251590422 SOS 69451285 HAS SOPS 66495664 HAS SOUS 47811189 HAS SOUPS 47678125 WITH SCORE 4.7747576285E7
AT ITER 8700 NEW BEST:: SOT 251590422 SOS 69449890 HAS SOPS 66494269 HAS SOUS 47809794 HAS SOUPS 47676730 WITH SCORE 4.774617989E7
AT ITER 8717 NEW BEST:: SOT 251588754 SOS 69448190 HAS SOPS 66492569 HAS SOUS 47808094 HAS SOUPS 47675030 WITH SCORE 4.774447819E7
AT ITER 8722 NEW BEST:: SOT 251590684 SOS 69448118 HAS SOPS 66492497 HAS SOUS 47807950 HAS SOUPS 47674886 WITH SCORE 4.7744334118E7
AT ITER 8724 NEW BEST:: SOT 251590684 SOS 69446471 HAS SOPS 66490850 HAS SOUS 47807950 HAS SOUPS 47674886 WITH SCORE 4.7744332471E7
AT ITER 8743 NEW BEST:: SOT 251544269 SOS 69478511 HAS SOPS 66444442 HAS SOUS 47781666 HAS SOUPS 47646317 WITH SCORE 4.7715795511E7
AT ITER 8762 NEW BEST:: SOT 251544170 SOS 69478511 HAS SOPS 66444442 HAS SOUS 47781646 HAS SOUPS 47646297 WITH SCORE 4.7715775511E7
AT ITER 8765 NEW BEST:: SOT 251543691 SOS 69478032 HAS SOPS 66443963 HAS SOUS 47781167 HAS SOUPS 47645818 WITH SCORE 4.7715296032E7
AT ITER 8774 NEW BEST:: SOT 251541328 SOS 69476621 HAS SOPS 66442552 HAS SOUS 47778804 HAS SOUPS 47643455 WITH SCORE 4.7712931621E7
AT ITER 8783 NEW BEST:: SOT 251539621 SOS 69474882 HAS SOPS 66440813 HAS SOUS 47777065 HAS SOUPS 47641716 WITH SCORE 4.7711190882E7
AT ITER 8791 NEW BEST:: SOT 251539063 SOS 69474882 HAS SOPS 66440813 HAS SOUS 47776507 HAS SOUPS 47641158 WITH SCORE 4.7710632882E7
AT ITER 8840 NEW BEST:: SOT 251539762 SOS 69475581 HAS SOPS 66441512 HAS SOUS 47775174 HAS SOUPS 47639825 WITH SCORE 4.7709300581E7
AT ITER 8846 NEW BEST:: SOT 251537707 SOS 69473526 HAS SOPS 66439457 HAS SOUS 47773119 HAS SOUPS 47637770 WITH SCORE 4.7707243526E7
AT ITER 8870 NEW BEST:: SOT 251538439 SOS 69474258 HAS SOPS 66440189 HAS SOUS 47772252 HAS SOUPS 47636903 WITH SCORE 4.7706377258E7
AT ITER 8875 NEW BEST:: SOT 251538439 SOS 69473113 HAS SOPS 66439044 HAS SOUS 47769962 HAS SOUPS 47634613 WITH SCORE 4.7704086113E7
AT ITER 8897 NEW BEST:: SOT 251538439 SOS 69473113 HAS SOPS 66439044 HAS SOUS 47767780 HAS SOUPS 47632431 WITH SCORE 4.7701904113E7
AT ITER 8900 NEW BEST:: SOT 251537918 SOS 69472560 HAS SOPS 66438491 HAS SOUS 47767227 HAS SOUPS 47631878 WITH SCORE 4.770135056E7
AT ITER 8904 NEW BEST:: SOT 251502629 SOS 69852627 HAS SOPS 66827787 HAS SOUS 47757962 HAS SOUPS 47622613 WITH SCORE 4.7692465627E7
AT ITER 8916 NEW BEST:: SOT 251500917 SOS 69850883 HAS SOPS 66826043 HAS SOUS 47756218 HAS SOUPS 47620869 WITH SCORE 4.7690719883E7
AT ITER 8921 NEW BEST:: SOT 251500917 SOS 69850883 HAS SOPS 66826043 HAS SOUS 47755249 HAS SOUPS 47619900 WITH SCORE 4.7689750883E7
AT ITER 8956 NEW BEST:: SOT 251499437 SOS 69849339 HAS SOPS 66824499 HAS SOUS 47753705 HAS SOUPS 47618356 WITH SCORE 4.7688205339E7
AT ITER 8972 NEW BEST:: SOT 251488596 SOS 69844511 HAS SOPS 66819671 HAS SOUS 47749319 HAS SOUPS 47613970 WITH SCORE 4.7683814511E7
AT ITER 8977 NEW BEST:: SOT 251488596 SOS 69844511 HAS SOPS 66819671 HAS SOUS 47747538 HAS SOUPS 47612189 WITH SCORE 4.7682033511E7
AT ITER 8984 NEW BEST:: SOT 251486306 SOS 69843099 HAS SOPS 66818259 HAS SOUS 47746202 HAS SOUPS 47610853 WITH SCORE 4.7680696099E7
AT ITER 9002 NEW BEST:: SOT 251484168 SOS 69840929 HAS SOPS 66816089 HAS SOUS 47744032 HAS SOUPS 47608683 WITH SCORE 4.7678523929E7
AT ITER 9003 NEW BEST:: SOT 251484168 SOS 69839988 HAS SOPS 66815148 HAS SOUS 47742245 HAS SOUPS 47606896 WITH SCORE 4.7676735988E7
AT ITER 9011 NEW BEST:: SOT 251483651 SOS 69839463 HAS SOPS 66814623 HAS SOUS 47741224 HAS SOUPS 47605875 WITH SCORE 4.7675714463E7
AT ITER 9065 NEW BEST:: SOT 251483651 SOS 69838684 HAS SOPS 66813844 HAS SOUS 47738260 HAS SOUPS 47602911 WITH SCORE 4.7672749684E7
AT ITER 9067 NEW BEST:: SOT 251483651 SOS 69838684 HAS SOPS 66813844 HAS SOUS 47736989 HAS SOUPS 47601640 WITH SCORE 4.7671478684E7
AT ITER 9069 NEW BEST:: SOT 251483651 SOS 69838684 HAS SOPS 66813844 HAS SOUS 47735807 HAS SOUPS 47600458 WITH SCORE 4.7670296684E7
AT ITER 9071 NEW BEST:: SOT 251481505 SOS 69839452 HAS SOPS 66814612 HAS SOUS 47734428 HAS SOUPS 47599079 WITH SCORE 4.7668918452E7
AT ITER 9109 NEW BEST:: SOT 251479238 SOS 69837153 HAS SOPS 66812313 HAS SOUS 47732129 HAS SOUPS 47596780 WITH SCORE 4.7666617153E7
AT ITER 9111 NEW BEST:: SOT 251478825 SOS 69836324 HAS SOPS 66811871 HAS SOUS 47731687 HAS SOUPS 47596338 WITH SCORE 4.7666174324E7
AT ITER 9136 NEW BEST:: SOT 251478825 SOS 69836170 HAS SOPS 66811717 HAS SOUS 47731533 HAS SOUPS 47596184 WITH SCORE 4.766602017E7
AT ITER 9138 NEW BEST:: SOT 251476485 SOS 69835141 HAS SOPS 66810688 HAS SOUS 47729602 HAS SOUPS 47594253 WITH SCORE 4.7664088141E7
AT ITER 9171 NEW BEST:: SOT 251476485 SOS 69834365 HAS SOPS 66809912 HAS SOUS 47727788 HAS SOUPS 47592439 WITH SCORE 4.7662273365E7
AT ITER 9177 NEW BEST:: SOT 251476485 SOS 69834365 HAS SOPS 66809912 HAS SOUS 47726984 HAS SOUPS 47591635 WITH SCORE 4.7661469365E7
AT ITER 9200 NEW BEST:: SOT 251476485 SOS 69833992 HAS SOPS 66809539 HAS SOUS 47726611 HAS SOUPS 47591262 WITH SCORE 4.7661095992E7
AT ITER 9212 NEW BEST:: SOT 251476520 SOS 69834027 HAS SOPS 66809574 HAS SOUS 47726022 HAS SOUPS 47590673 WITH SCORE 4.7660507027E7
AT ITER 9213 NEW BEST:: SOT 251473876 SOS 69834027 HAS SOPS 66809574 HAS SOUS 47723378 HAS SOUPS 47588029 WITH SCORE 4.7657863027E7
AT ITER 9218 NEW BEST:: SOT 251473876 SOS 69833622 HAS SOPS 66809169 HAS SOUS 47723378 HAS SOUPS 47588029 WITH SCORE 4.7657862622E7
AT ITER 9221 NEW BEST:: SOT 251472917 SOS 69834319 HAS SOPS 66809866 HAS SOUS 47723116 HAS SOUPS 47587767 WITH SCORE 4.7657601319E7
AT ITER 9229 NEW BEST:: SOT 251472917 SOS 69833677 HAS SOPS 66809224 HAS SOUS 47722474 HAS SOUPS 47587125 WITH SCORE 4.7656958677E7
AT ITER 9231 NEW BEST:: SOT 251472917 SOS 69833803 HAS SOPS 66809350 HAS SOUS 47720871 HAS SOUPS 47585522 WITH SCORE 4.7655355803E7
AT ITER 9244 NEW BEST:: SOT 251470880 SOS 69831734 HAS SOPS 66807281 HAS SOUS 47718802 HAS SOUPS 47583453 WITH SCORE 4.7653284734E7
AT ITER 9267 NEW BEST:: SOT 251470358 SOS 69830690 HAS SOPS 66806237 HAS SOUS 47718216 HAS SOUPS 47582867 WITH SCORE 4.765269769E7
AT ITER 9272 NEW BEST:: SOT 251469374 SOS 69828269 HAS SOPS 66803816 HAS SOUS 47717232 HAS SOUPS 47581883 WITH SCORE 4.7651711269E7
AT ITER 9286 NEW BEST:: SOT 251434533 SOS 69817623 HAS SOPS 66793170 HAS SOUS 47684449 HAS SOUPS 47549100 WITH SCORE 4.7618917623E7
AT ITER 9305 NEW BEST:: SOT 251435196 SOS 69818286 HAS SOPS 66793833 HAS SOUS 47683442 HAS SOUPS 47548093 WITH SCORE 4.7617911286E7
AT ITER 9308 NEW BEST:: SOT 251434480 SOS 69817570 HAS SOPS 66795922 HAS SOUS 47683071 HAS SOUPS 47547722 WITH SCORE 4.761753957E7
AT ITER 9329 NEW BEST:: SOT 251432079 SOS 69816160 HAS SOPS 66794512 HAS SOUS 47680670 HAS SOUPS 47545321 WITH SCORE 4.761513716E7
AT ITER 9332 NEW BEST:: SOT 251430990 SOS 69817064 HAS SOPS 66795416 HAS SOUS 47680590 HAS SOUPS 47545241 WITH SCORE 4.7615058064E7
AT ITER 9352 NEW BEST:: SOT 251429001 SOS 69815088 HAS SOPS 66793440 HAS SOUS 47678601 HAS SOUPS 47543252 WITH SCORE 4.7613067088E7
AT ITER 9453 NEW BEST:: SOT 251429001 SOS 69815766 HAS SOPS 66794118 HAS SOUS 47677629 HAS SOUPS 47542280 WITH SCORE 4.7612095766E7
AT ITER 9471 NEW BEST:: SOT 251427190 SOS 69815311 HAS SOPS 66793663 HAS SOUS 47676611 HAS SOUPS 47541262 WITH SCORE 4.7611077311E7
AT ITER 9478 NEW BEST:: SOT 251427190 SOS 69815279 HAS SOPS 66793631 HAS SOUS 47676579 HAS SOUPS 47541230 WITH SCORE 4.7611045279E7
AT ITER 9491 NEW BEST:: SOT 251426449 SOS 69814474 HAS SOPS 66792826 HAS SOUS 47675774 HAS SOUPS 47540425 WITH SCORE 4.7610239474E7
AT ITER 9494 NEW BEST:: SOT 251426449 SOS 69812859 HAS SOPS 66791211 HAS SOUS 47671955 HAS SOUPS 47536606 WITH SCORE 4.7606418859E7
AT ITER 9499 NEW BEST:: SOT 251426449 SOS 69812827 HAS SOPS 66791179 HAS SOUS 47671923 HAS SOUPS 47536574 WITH SCORE 4.7606386827E7
AT ITER 9503 NEW BEST:: SOT 251426449 SOS 69812019 HAS SOPS 66790371 HAS SOUS 47671115 HAS SOUPS 47535766 WITH SCORE 4.7605578019E7
AT ITER 9507 NEW BEST:: SOT 251426449 SOS 69812206 HAS SOPS 66790558 HAS SOUS 47668822 HAS SOUPS 47533473 WITH SCORE 4.7603285206E7
AT ITER 9517 NEW BEST:: SOT 251425874 SOS 69810669 HAS SOPS 66789021 HAS SOUS 47667672 HAS SOUPS 47532323 WITH SCORE 4.7602133669E7
AT ITER 9531 NEW BEST:: SOT 251425646 SOS 69718238 HAS SOPS 66693531 HAS SOUS 47667216 HAS SOUPS 47531867 WITH SCORE 4.7601585238E7
AT ITER 9538 NEW BEST:: SOT 251425658 SOS 69718250 HAS SOPS 66693543 HAS SOUS 47665788 HAS SOUPS 47530439 WITH SCORE 4.760015725E7
AT ITER 9560 NEW BEST:: SOT 251382862 SOS 69929686 HAS SOPS 66914204 HAS SOUS 47639629 HAS SOUPS 47504280 WITH SCORE 4.7574209686E7
AT ITER 9594 NEW BEST:: SOT 251380010 SOS 69928283 HAS SOPS 66912801 HAS SOUS 47636777 HAS SOUPS 47501428 WITH SCORE 4.7571356283E7
AT ITER 9606 NEW BEST:: SOT 251380010 SOS 69929688 HAS SOPS 66914206 HAS SOUS 47635204 HAS SOUPS 47499855 WITH SCORE 4.7569784688E7
AT ITER 9615 NEW BEST:: SOT 251379968 SOS 69929646 HAS SOPS 66914164 HAS SOUS 47635120 HAS SOUPS 47499771 WITH SCORE 4.7569700646E7
AT ITER 9621 NEW BEST:: SOT 251380049 SOS 69932473 HAS SOPS 66916991 HAS SOUS 47635048 HAS SOUPS 47499699 WITH SCORE 4.7569631473E7
AT ITER 9627 NEW BEST:: SOT 251380049 SOS 69932473 HAS SOPS 66916991 HAS SOUS 47633676 HAS SOUPS 47498327 WITH SCORE 4.7568259473E7
AT ITER 9663 NEW BEST:: SOT 251380875 SOS 69933299 HAS SOPS 66917817 HAS SOUS 47633424 HAS SOUPS 47498075 WITH SCORE 4.7568008299E7
AT ITER 9689 NEW BEST:: SOT 251380875 SOS 69932555 HAS SOPS 66917073 HAS SOUS 47632680 HAS SOUPS 47497331 WITH SCORE 4.7567263555E7
AT ITER 9704 NEW BEST:: SOT 251380845 SOS 69932554 HAS SOPS 66915152 HAS SOUS 47630759 HAS SOUPS 47495410 WITH SCORE 4.7565342554E7
AT ITER 9710 NEW BEST:: SOT 251380845 SOS 69932554 HAS SOPS 66915152 HAS SOUS 47628993 HAS SOUPS 47493644 WITH SCORE 4.7563576554E7
AT ITER 9715 NEW BEST:: SOT 251391867 SOS 69943705 HAS SOPS 66873905 HAS SOUS 47589672 HAS SOUPS 47453261 WITH SCORE 4.7523204705E7
AT ITER 9718 NEW BEST:: SOT 251391867 SOS 69942952 HAS SOPS 66873152 HAS SOUS 47588919 HAS SOUPS 47452508 WITH SCORE 4.7522450952E7
AT ITER 9738 NEW BEST:: SOT 251391867 SOS 69941535 HAS SOPS 66871735 HAS SOUS 47588919 HAS SOUPS 47452508 WITH SCORE 4.7522449535E7
AT ITER 9759 NEW BEST:: SOT 251391867 SOS 69941462 HAS SOPS 66871662 HAS SOUS 47588919 HAS SOUPS 47452508 WITH SCORE 4.7522449462E7
AT ITER 9789 NEW BEST:: SOT 251392868 SOS 69942463 HAS SOPS 66872663 HAS SOUS 47588169 HAS SOUPS 47451758 WITH SCORE 4.7521700463E7
AT ITER 9793 NEW BEST:: SOT 251393520 SOS 69943115 HAS SOPS 66873315 HAS SOUS 47587717 HAS SOUPS 47451306 WITH SCORE 4.7521249115E7
AT ITER 9824 NEW BEST:: SOT 251391757 SOS 69941555 HAS SOPS 66871755 HAS SOUS 47586410 HAS SOUPS 47449999 WITH SCORE 4.7519940555E7
AT ITER 9843 NEW BEST:: SOT 251391701 SOS 69941421 HAS SOPS 66871621 HAS SOUS 47586322 HAS SOUPS 47449911 WITH SCORE 4.7519852421E7
AT ITER 9844 NEW BEST:: SOT 251391701 SOS 69941421 HAS SOPS 66871621 HAS SOUS 47585254 HAS SOUPS 47448843 WITH SCORE 4.7518784421E7
AT ITER 9851 NEW BEST:: SOT 251391424 SOS 69941421 HAS SOPS 66871621 HAS SOUS 47584977 HAS SOUPS 47448566 WITH SCORE 4.7518507421E7
AT ITER 9896 NEW BEST:: SOT 251390459 SOS 69940462 HAS SOPS 66870662 HAS SOUS 47583979 HAS SOUPS 47447568 WITH SCORE 4.7517508462E7
AT ITER 9903 NEW BEST:: SOT 251389777 SOS 69939780 HAS SOPS 66869980 HAS SOUS 47583297 HAS SOUPS 47446886 WITH SCORE 4.751682578E7
AT ITER 9906 NEW BEST:: SOT 251389777 SOS 69938999 HAS SOPS 66869199 HAS SOUS 47583297 HAS SOUPS 47446886 WITH SCORE 4.7516824999E7
AT ITER 9919 NEW BEST:: SOT 251388795 SOS 69936056 HAS SOPS 66866256 HAS SOUS 47582897 HAS SOUPS 47446486 WITH SCORE 4.7516422056E7
AT ITER 9934 NEW BEST:: SOT 251388795 SOS 69936056 HAS SOPS 66866256 HAS SOUS 47581573 HAS SOUPS 47445162 WITH SCORE 4.7515098056E7
AT ITER 9939 NEW BEST:: SOT 251388693 SOS 69935905 HAS SOPS 66866105 HAS SOUS 47580714 HAS SOUPS 47444303 WITH SCORE 4.7514238905E7
AT ITER 9955 NEW BEST:: SOT 251388693 SOS 69936320 HAS SOPS 66866520 HAS SOUS 47579176 HAS SOUPS 47442765 WITH SCORE 4.751270132E7
AT ITER 9956 NEW BEST:: SOT 251388693 SOS 69936320 HAS SOPS 66866520 HAS SOUS 47577596 HAS SOUPS 47441185 WITH SCORE 4.751112132E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 14618784 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16121252 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="LeafsetExtension-PT-S64C2"
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 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 1"
echo " Run identifier is r227-tall-167856410600528"
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 ;