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.r323-tall-167889194400240.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 RERS2020-PT-pb103, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194400240
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 18M
-rw-r--r-- 1 mcc users 7.2K Feb 26 08:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 08:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 08:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 08:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 08:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 130K Feb 26 08:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 08:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 08:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 18M Mar 5 18:23 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 1679488083708

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=RERS2020-PT-pb103
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS2020 (PT), instance pb103
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: 520 places, 31658 transitions, 125892 arcs.
AT ITER 0 NEW BEST:: SOT 9379689 SOS 6480701 HAS SOPS 5338634 HAS SOUS 1815287 HAS SOUPS 1793812 WITH SCORE 1800292.701
AT ITER 14 NEW BEST:: SOT 9381691 SOS 6478308 HAS SOPS 5327870 HAS SOUS 1806114 HAS SOUPS 1784770 WITH SCORE 1791248.308
AT ITER 23 NEW BEST:: SOT 9381836 SOS 6478484 HAS SOPS 5327811 HAS SOUS 1805861 HAS SOUPS 1784517 WITH SCORE 1790995.484
AT ITER 27 NEW BEST:: SOT 9381540 SOS 6478179 HAS SOPS 5327368 HAS SOUS 1804792 HAS SOUPS 1783448 WITH SCORE 1789926.179
AT ITER 32 NEW BEST:: SOT 9398574 SOS 6494815 HAS SOPS 5341404 HAS SOUS 1801862 HAS SOUPS 1780342 WITH SCORE 1786836.815
AT ITER 42 NEW BEST:: SOT 9398686 SOS 6487733 HAS SOPS 5331907 HAS SOUS 1801458 HAS SOUPS 1779938 WITH SCORE 1786425.733
AT ITER 52 NEW BEST:: SOT 9400658 SOS 6481142 HAS SOPS 5315659 HAS SOUS 1789379 HAS SOUPS 1767972 WITH SCORE 1774453.142
AT ITER 60 NEW BEST:: SOT 9400516 SOS 6481000 HAS SOPS 5314637 HAS SOUS 1786203 HAS SOUPS 1764796 WITH SCORE 1771277.0
AT ITER 72 NEW BEST:: SOT 9402777 SOS 6483105 HAS SOPS 5315653 HAS SOUS 1784242 HAS SOUPS 1762854 WITH SCORE 1769337.105
AT ITER 87 NEW BEST:: SOT 9400146 SOS 6484128 HAS SOPS 5317627 HAS SOUS 1780922 HAS SOUPS 1759359 WITH SCORE 1765843.128
AT ITER 96 NEW BEST:: SOT 9335707 SOS 6442658 HAS SOPS 5277071 HAS SOUS 1709713 HAS SOUPS 1688150 WITH SCORE 1694592.658
AT ITER 100 NEW BEST:: SOT 9336466 SOS 6443037 HAS SOPS 5275937 HAS SOUS 1707531 HAS SOUPS 1686011 WITH SCORE 1692454.037
AT ITER 106 NEW BEST:: SOT 9328367 SOS 6435064 HAS SOPS 5268007 HAS SOUS 1702674 HAS SOUPS 1681266 WITH SCORE 1687701.064
AT ITER 111 NEW BEST:: SOT 9323426 SOS 6414974 HAS SOPS 5261540 HAS SOUS 1701677 HAS SOUPS 1680370 WITH SCORE 1686784.974
AT ITER 117 NEW BEST:: SOT 9320340 SOS 6411888 HAS SOPS 5257708 HAS SOUS 1694966 HAS SOUPS 1673593 WITH SCORE 1680004.888
AT ITER 119 NEW BEST:: SOT 9319913 SOS 6411475 HAS SOPS 5257225 HAS SOUS 1694084 HAS SOUPS 1672711 WITH SCORE 1679122.475
AT ITER 140 NEW BEST:: SOT 9313587 SOS 6405149 HAS SOPS 5250899 HAS SOUS 1687697 HAS SOUPS 1666324 WITH SCORE 1672729.149
AT ITER 141 NEW BEST:: SOT 9329039 SOS 6420371 HAS SOPS 5262164 HAS SOUS 1681574 HAS SOUPS 1660124 WITH SCORE 1666544.371
AT ITER 143 NEW BEST:: SOT 9329033 SOS 6417635 HAS SOPS 5259428 HAS SOUS 1681568 HAS SOUPS 1660118 WITH SCORE 1666535.635
AT ITER 160 NEW BEST:: SOT 9331214 SOS 6428440 HAS SOPS 5265710 HAS SOUS 1677927 HAS SOUPS 1656537 WITH SCORE 1662965.44
AT ITER 179 NEW BEST:: SOT 9332087 SOS 6430016 HAS SOPS 5266460 HAS SOUS 1673258 HAS SOUPS 1651902 WITH SCORE 1658332.016
AT ITER 181 NEW BEST:: SOT 9336858 SOS 6426925 HAS SOPS 5249099 HAS SOUS 1670364 HAS SOUPS 1649015 WITH SCORE 1655441.925
AT ITER 192 NEW BEST:: SOT 9339330 SOS 6429528 HAS SOPS 5251443 HAS SOUS 1670163 HAS SOUPS 1648814 WITH SCORE 1655243.528
AT ITER 194 NEW BEST:: SOT 9339195 SOS 6429393 HAS SOPS 5251088 HAS SOUS 1669428 HAS SOUPS 1648079 WITH SCORE 1654508.393
AT ITER 195 NEW BEST:: SOT 9343164 SOS 6431433 HAS SOPS 5253096 HAS SOUS 1666078 HAS SOUPS 1644731 WITH SCORE 1651162.433
AT ITER 197 NEW BEST:: SOT 9336500 SOS 6438507 HAS SOPS 5266276 HAS SOUS 1663829 HAS SOUPS 1642241 WITH SCORE 1648679.507
AT ITER 198 NEW BEST:: SOT 9339845 SOS 6447199 HAS SOPS 5274122 HAS SOUS 1663733 HAS SOUPS 1642145 WITH SCORE 1648592.199
AT ITER 208 NEW BEST:: SOT 9339771 SOS 6447138 HAS SOPS 5273984 HAS SOUS 1663480 HAS SOUPS 1641892 WITH SCORE 1648339.138
AT ITER 213 NEW BEST:: SOT 9342802 SOS 6444497 HAS SOPS 5283475 HAS SOUS 1663131 HAS SOUPS 1641686 WITH SCORE 1648130.497
AT ITER 215 NEW BEST:: SOT 9339055 SOS 6467934 HAS SOPS 5309818 HAS SOUS 1660259 HAS SOUPS 1638814 WITH SCORE 1645281.934
AT ITER 220 NEW BEST:: SOT 9337623 SOS 6462728 HAS SOPS 5306885 HAS SOUS 1659661 HAS SOUPS 1638238 WITH SCORE 1644700.728
AT ITER 239 NEW BEST:: SOT 9336823 SOS 6461480 HAS SOPS 5305693 HAS SOUS 1659517 HAS SOUPS 1638086 WITH SCORE 1644547.48
AT ITER 253 NEW BEST:: SOT 9336451 SOS 6460171 HAS SOPS 5302578 HAS SOUS 1658552 HAS SOUPS 1637121 WITH SCORE 1643581.171
AT ITER 257 NEW BEST:: SOT 9335451 SOS 6459146 HAS SOPS 5301436 HAS SOUS 1655370 HAS SOUPS 1633939 WITH SCORE 1640398.146
AT ITER 281 NEW BEST:: SOT 9330402 SOS 6478032 HAS SOPS 5321527 HAS SOUS 1650305 HAS SOUPS 1629246 WITH SCORE 1635724.032
AT ITER 288 NEW BEST:: SOT 9329755 SOS 6477385 HAS SOPS 5319359 HAS SOUS 1645446 HAS SOUPS 1624387 WITH SCORE 1630864.385
AT ITER 291 NEW BEST:: SOT 9332114 SOS 6477922 HAS SOPS 5318116 HAS SOUS 1647378 HAS SOUPS 1623290 WITH SCORE 1629767.922
AT ITER 297 NEW BEST:: SOT 9331987 SOS 6477794 HAS SOPS 5317855 HAS SOUS 1646761 HAS SOUPS 1622666 WITH SCORE 1629143.794
AT ITER 300 NEW BEST:: SOT 9332162 SOS 6477976 HAS SOPS 5318065 HAS SOUS 1646495 HAS SOUPS 1622400 WITH SCORE 1628877.976
AT ITER 315 NEW BEST:: SOT 9331792 SOS 6477575 HAS SOPS 5317491 HAS SOUS 1645807 HAS SOUPS 1621712 WITH SCORE 1628189.575
AT ITER 321 NEW BEST:: SOT 9331792 SOS 6476316 HAS SOPS 5315746 HAS SOUS 1645788 HAS SOUPS 1621666 WITH SCORE 1628142.316
AT ITER 329 NEW BEST:: SOT 9331792 SOS 6475975 HAS SOPS 5315405 HAS SOUS 1645788 HAS SOUPS 1621666 WITH SCORE 1628141.975
AT ITER 331 NEW BEST:: SOT 9316889 SOS 6463018 HAS SOPS 5298599 HAS SOUS 1638025 HAS SOUPS 1613903 WITH SCORE 1620366.018
AT ITER 333 NEW BEST:: SOT 9328642 SOS 6470356 HAS SOPS 5293737 HAS SOUS 1635345 HAS SOUPS 1611409 WITH SCORE 1617879.356
AT ITER 340 NEW BEST:: SOT 9345144 SOS 6481462 HAS SOPS 5289324 HAS SOUS 1629158 HAS SOUPS 1604767 WITH SCORE 1611248.462
AT ITER 348 NEW BEST:: SOT 9346583 SOS 6489787 HAS SOPS 5295305 HAS SOUS 1627198 HAS SOUPS 1602839 WITH SCORE 1609328.787
AT ITER 365 NEW BEST:: SOT 9345991 SOS 6488453 HAS SOPS 5293496 HAS SOUS 1627171 HAS SOUPS 1602803 WITH SCORE 1609291.453
AT ITER 371 NEW BEST:: SOT 9344349 SOS 6486805 HAS SOPS 5292491 HAS SOUS 1624984 HAS SOUPS 1601329 WITH SCORE 1607815.805
AT ITER 382 NEW BEST:: SOT 9344352 SOS 6486807 HAS SOPS 5292490 HAS SOUS 1624965 HAS SOUPS 1601310 WITH SCORE 1607796.807
AT ITER 394 NEW BEST:: SOT 9344478 SOS 6486604 HAS SOPS 5290794 HAS SOUS 1622906 HAS SOUPS 1599265 WITH SCORE 1605751.604
AT ITER 395 NEW BEST:: SOT 9359076 SOS 6493363 HAS SOPS 5310034 HAS SOUS 1622662 HAS SOUPS 1599201 WITH SCORE 1605694.363
AT ITER 404 NEW BEST:: SOT 9363681 SOS 6484889 HAS SOPS 5309296 HAS SOUS 1619575 HAS SOUPS 1596107 WITH SCORE 1602591.889
AT ITER 406 NEW BEST:: SOT 9359575 SOS 6481131 HAS SOPS 5305048 HAS SOUS 1619507 HAS SOUPS 1596039 WITH SCORE 1602520.131
AT ITER 411 NEW BEST:: SOT 9359248 SOS 6480984 HAS SOPS 5304513 HAS SOUS 1618932 HAS SOUPS 1595464 WITH SCORE 1601944.984
AT ITER 412 NEW BEST:: SOT 9361200 SOS 6487830 HAS SOPS 5312025 HAS SOUS 1618809 HAS SOUPS 1595359 WITH SCORE 1601846.83
AT ITER 414 NEW BEST:: SOT 9358580 SOS 6485260 HAS SOPS 5308665 HAS SOUS 1611919 HAS SOUPS 1588469 WITH SCORE 1594954.26
AT ITER 418 NEW BEST:: SOT 9357000 SOS 6483680 HAS SOPS 5307085 HAS SOUS 1610070 HAS SOUPS 1586620 WITH SCORE 1593103.68
AT ITER 425 NEW BEST:: SOT 9355487 SOS 6483561 HAS SOPS 5307349 HAS SOUS 1609040 HAS SOUPS 1585587 WITH SCORE 1592070.561
AT ITER 427 NEW BEST:: SOT 9347926 SOS 6488841 HAS SOPS 5312307 HAS SOUS 1603822 HAS SOUPS 1580369 WITH SCORE 1586857.841
AT ITER 441 NEW BEST:: SOT 9340241 SOS 6484181 HAS SOPS 5306649 HAS SOUS 1593960 HAS SOUPS 1570504 WITH SCORE 1576988.181
AT ITER 457 NEW BEST:: SOT 9340543 SOS 6484573 HAS SOPS 5307095 HAS SOUS 1593360 HAS SOUPS 1569953 WITH SCORE 1576437.573
AT ITER 459 NEW BEST:: SOT 9342526 SOS 6487633 HAS SOPS 5308757 HAS SOUS 1592829 HAS SOUPS 1569480 WITH SCORE 1575967.633
AT ITER 461 NEW BEST:: SOT 9342494 SOS 6484930 HAS SOPS 5306566 HAS SOUS 1592751 HAS SOUPS 1569434 WITH SCORE 1575918.93
AT ITER 470 NEW BEST:: SOT 9341967 SOS 6484279 HAS SOPS 5305484 HAS SOUS 1592420 HAS SOUPS 1569103 WITH SCORE 1575587.279
AT ITER 473 NEW BEST:: SOT 9342384 SOS 6484842 HAS SOPS 5305565 HAS SOUS 1592151 HAS SOUPS 1568834 WITH SCORE 1575318.842
AT ITER 482 NEW BEST:: SOT 9352070 SOS 6491985 HAS SOPS 5314129 HAS SOUS 1591819 HAS SOUPS 1568359 WITH SCORE 1574850.985
AT ITER 488 NEW BEST:: SOT 9368412 SOS 6506540 HAS SOPS 5321049 HAS SOUS 1585629 HAS SOUPS 1562330 WITH SCORE 1568836.54
AT ITER 495 NEW BEST:: SOT 9371008 SOS 6514442 HAS SOPS 5324695 HAS SOUS 1582302 HAS SOUPS 1559088 WITH SCORE 1565602.442
AT ITER 496 NEW BEST:: SOT 9374671 SOS 6518149 HAS SOPS 5327456 HAS SOUS 1581745 HAS SOUPS 1558531 WITH SCORE 1565049.149
AT ITER 498 NEW BEST:: SOT 9375765 SOS 6516182 HAS SOPS 5327686 HAS SOUS 1581291 HAS SOUPS 1558077 WITH SCORE 1564593.182
AT ITER 531 NEW BEST:: SOT 9376761 SOS 6517174 HAS SOPS 5329200 HAS SOUS 1581106 HAS SOUPS 1557892 WITH SCORE 1564409.174
AT ITER 544 NEW BEST:: SOT 9379423 SOS 6516258 HAS SOPS 5321381 HAS SOUS 1574443 HAS SOUPS 1551334 WITH SCORE 1557850.258
AT ITER 547 NEW BEST:: SOT 9379208 SOS 6516059 HAS SOPS 5321033 HAS SOUS 1574103 HAS SOUPS 1550986 WITH SCORE 1557502.059
AT ITER 550 NEW BEST:: SOT 9374693 SOS 6511470 HAS SOPS 5316231 HAS SOUS 1568923 HAS SOUPS 1545806 WITH SCORE 1552317.47
AT ITER 553 NEW BEST:: SOT 9375296 SOS 6512062 HAS SOPS 5316790 HAS SOUS 1568661 HAS SOUPS 1545544 WITH SCORE 1552056.062
AT ITER 558 NEW BEST:: SOT 9378365 SOS 6511538 HAS SOPS 5311716 HAS SOUS 1566698 HAS SOUPS 1543724 WITH SCORE 1550235.538
AT ITER 565 NEW BEST:: SOT 9378510 SOS 6511675 HAS SOPS 5311004 HAS SOUS 1565641 HAS SOUPS 1542675 WITH SCORE 1549186.675
AT ITER 575 NEW BEST:: SOT 9378665 SOS 6511830 HAS SOPS 5311064 HAS SOUS 1565353 HAS SOUPS 1542387 WITH SCORE 1548898.83
AT ITER 602 NEW BEST:: SOT 9373839 SOS 6507001 HAS SOPS 5306324 HAS SOUS 1552832 HAS SOUPS 1532051 WITH SCORE 1538558.001
AT ITER 607 NEW BEST:: SOT 9367867 SOS 6512147 HAS SOPS 5317973 HAS SOUS 1547683 HAS SOUPS 1526902 WITH SCORE 1533414.147
AT ITER 612 NEW BEST:: SOT 9366197 SOS 6538838 HAS SOPS 5344914 HAS SOUS 1546571 HAS SOUPS 1525790 WITH SCORE 1532328.838
AT ITER 618 NEW BEST:: SOT 9365894 SOS 6538501 HAS SOPS 5344458 HAS SOUS 1545991 HAS SOUPS 1525210 WITH SCORE 1531748.501
AT ITER 623 NEW BEST:: SOT 9365904 SOS 6538510 HAS SOPS 5344449 HAS SOUS 1545737 HAS SOUPS 1524956 WITH SCORE 1531494.51
AT ITER 625 NEW BEST:: SOT 9365376 SOS 6537982 HAS SOPS 5343911 HAS SOUS 1544946 HAS SOUPS 1524165 WITH SCORE 1530702.982
AT ITER 654 NEW BEST:: SOT 9367483 SOS 6523705 HAS SOPS 5320925 HAS SOUS 1540366 HAS SOUPS 1519585 WITH SCORE 1526108.705
AT ITER 677 NEW BEST:: SOT 9366455 SOS 6522680 HAS SOPS 5319858 HAS SOUS 1537689 HAS SOUPS 1516908 WITH SCORE 1523430.68
AT ITER 687 NEW BEST:: SOT 9405902 SOS 6554961 HAS SOPS 5333717 HAS SOUS 1534621 HAS SOUPS 1513280 WITH SCORE 1519834.961
AT ITER 689 NEW BEST:: SOT 9403703 SOS 6552729 HAS SOPS 5330665 HAS SOUS 1530514 HAS SOUPS 1509173 WITH SCORE 1515725.729
AT ITER 718 NEW BEST:: SOT 9403526 SOS 6552552 HAS SOPS 5330487 HAS SOUS 1530447 HAS SOUPS 1509098 WITH SCORE 1515650.552
AT ITER 736 NEW BEST:: SOT 9394407 SOS 6543373 HAS SOPS 5321308 HAS SOUS 1521023 HAS SOUPS 1499674 WITH SCORE 1506217.373
AT ITER 742 NEW BEST:: SOT 9394506 SOS 6543450 HAS SOPS 5321271 HAS SOUS 1520866 HAS SOUPS 1499517 WITH SCORE 1506060.45
AT ITER 750 NEW BEST:: SOT 9395089 SOS 6544850 HAS SOPS 5322749 HAS SOUS 1520744 HAS SOUPS 1499406 WITH SCORE 1505950.85
AT ITER 755 NEW BEST:: SOT 9395278 SOS 6545082 HAS SOPS 5322700 HAS SOUS 1519429 HAS SOUPS 1498091 WITH SCORE 1504636.082
AT ITER 756 NEW BEST:: SOT 9395512 SOS 6546182 HAS SOPS 5323730 HAS SOUS 1519249 HAS SOUPS 1497897 WITH SCORE 1504443.182
AT ITER 762 NEW BEST:: SOT 9391518 SOS 6537446 HAS SOPS 5304901 HAS SOUS 1517448 HAS SOUPS 1495938 WITH SCORE 1502475.446
AT ITER 788 NEW BEST:: SOT 9395549 SOS 6532078 HAS SOPS 5294878 HAS SOUS 1515861 HAS SOUPS 1494427 WITH SCORE 1500959.078
AT ITER 804 NEW BEST:: SOT 9395835 SOS 6532353 HAS SOPS 5295010 HAS SOUS 1515617 HAS SOUPS 1494231 WITH SCORE 1500763.353
AT ITER 809 NEW BEST:: SOT 9394547 SOS 6531086 HAS SOPS 5293922 HAS SOUS 1515141 HAS SOUPS 1493755 WITH SCORE 1500286.086
AT ITER 812 NEW BEST:: SOT 9399254 SOS 6534813 HAS SOPS 5289836 HAS SOUS 1512853 HAS SOUPS 1491604 WITH SCORE 1498138.813
AT ITER 824 NEW BEST:: SOT 9399002 SOS 6535303 HAS SOPS 5284247 HAS SOUS 1512498 HAS SOUPS 1491169 WITH SCORE 1497704.303
AT ITER 825 NEW BEST:: SOT 9395899 SOS 6530007 HAS SOPS 5279140 HAS SOUS 1507339 HAS SOUPS 1486010 WITH SCORE 1492540.007
AT ITER 831 NEW BEST:: SOT 9395859 SOS 6529872 HAS SOPS 5278987 HAS SOUS 1507239 HAS SOUPS 1485910 WITH SCORE 1492439.872
AT ITER 834 NEW BEST:: SOT 9393795 SOS 6525876 HAS SOPS 5273678 HAS SOUS 1504970 HAS SOUPS 1483679 WITH SCORE 1490204.876
AT ITER 837 NEW BEST:: SOT 9393941 SOS 6526020 HAS SOPS 5273816 HAS SOUS 1504874 HAS SOUPS 1483583 WITH SCORE 1490109.02
AT ITER 841 NEW BEST:: SOT 9394523 SOS 6527072 HAS SOPS 5274311 HAS SOUS 1504757 HAS SOUPS 1483466 WITH SCORE 1489993.072
AT ITER 848 NEW BEST:: SOT 9394713 SOS 6529128 HAS SOPS 5276157 HAS SOUS 1504545 HAS SOUPS 1483266 WITH SCORE 1489795.128
AT ITER 850 NEW BEST:: SOT 9394503 SOS 6527027 HAS SOPS 5273157 HAS SOUS 1502627 HAS SOUPS 1481348 WITH SCORE 1487875.027
AT ITER 868 NEW BEST:: SOT 9396730 SOS 6524577 HAS SOPS 5281218 HAS SOUS 1501641 HAS SOUPS 1480422 WITH SCORE 1486946.577
AT ITER 870 NEW BEST:: SOT 9396377 SOS 6524196 HAS SOPS 5280634 HAS SOUS 1500299 HAS SOUPS 1479080 WITH SCORE 1485604.196
AT ITER 900 NEW BEST:: SOT 9403444 SOS 6531365 HAS SOPS 5285770 HAS SOUS 1497638 HAS SOUPS 1476419 WITH SCORE 1482950.365
AT ITER 903 NEW BEST:: SOT 9402736 SOS 6530353 HAS SOPS 5284310 HAS SOUS 1494598 HAS SOUPS 1473395 WITH SCORE 1479925.353
AT ITER 906 NEW BEST:: SOT 9379987 SOS 6507531 HAS SOPS 5262662 HAS SOUS 1470093 HAS SOUPS 1449658 WITH SCORE 1456165.531
AT ITER 912 NEW BEST:: SOT 9385398 SOS 6511369 HAS SOPS 5264950 HAS SOUS 1469768 HAS SOUPS 1449449 WITH SCORE 1455960.369
AT ITER 919 NEW BEST:: SOT 9383875 SOS 6509706 HAS SOPS 5263403 HAS SOUS 1469085 HAS SOUPS 1448764 WITH SCORE 1455273.706
AT ITER 929 NEW BEST:: SOT 9386401 SOS 6505766 HAS SOPS 5249584 HAS SOUS 1464500 HAS SOUPS 1444344 WITH SCORE 1450849.766
AT ITER 932 NEW BEST:: SOT 9385704 SOS 6505062 HAS SOPS 5248825 HAS SOUS 1462908 HAS SOUPS 1442752 WITH SCORE 1449257.062
AT ITER 936 NEW BEST:: SOT 9408426 SOS 6527369 HAS SOPS 5274370 HAS SOUS 1461719 HAS SOUPS 1441799 WITH SCORE 1448326.369
AT ITER 955 NEW BEST:: SOT 9408409 SOS 6527887 HAS SOPS 5273978 HAS SOUS 1461392 HAS SOUPS 1441465 WITH SCORE 1447992.887
AT ITER 957 NEW BEST:: SOT 9399341 SOS 6546468 HAS SOPS 5292869 HAS SOUS 1458758 HAS SOUPS 1438831 WITH SCORE 1445377.468
AT ITER 962 NEW BEST:: SOT 9397941 SOS 6545103 HAS SOPS 5291679 HAS SOUS 1458373 HAS SOUPS 1438446 WITH SCORE 1444991.103
AT ITER 963 NEW BEST:: SOT 9398919 SOS 6548669 HAS SOPS 5294808 HAS SOUS 1457867 HAS SOUPS 1437940 WITH SCORE 1444488.669
AT ITER 971 NEW BEST:: SOT 9395408 SOS 6545160 HAS SOPS 5291589 HAS SOUS 1456540 HAS SOUPS 1436621 WITH SCORE 1443166.16
AT ITER 976 NEW BEST:: SOT 9398045 SOS 6537325 HAS SOPS 5270922 HAS SOUS 1435349 HAS SOUPS 1415586 WITH SCORE 1422123.325
AT ITER 993 NEW BEST:: SOT 9396832 SOS 6533734 HAS SOPS 5267911 HAS SOUS 1434240 HAS SOUPS 1414477 WITH SCORE 1421010.734
AT ITER 1005 NEW BEST:: SOT 9398276 SOS 6550967 HAS SOPS 5284112 HAS SOUS 1429421 HAS SOUPS 1409658 WITH SCORE 1416208.967
AT ITER 1007 NEW BEST:: SOT 9405696 SOS 6550622 HAS SOPS 5281674 HAS SOUS 1428294 HAS SOUPS 1408531 WITH SCORE 1415081.622
AT ITER 1026 NEW BEST:: SOT 9405714 SOS 6544631 HAS SOPS 5275851 HAS SOUS 1427971 HAS SOUPS 1408208 WITH SCORE 1414752.631
AT ITER 1040 NEW BEST:: SOT 9405768 SOS 6545404 HAS SOPS 5273801 HAS SOUS 1419218 HAS SOUPS 1399566 WITH SCORE 1406111.404
AT ITER 1042 NEW BEST:: SOT 9405794 SOS 6542503 HAS SOPS 5270582 HAS SOUS 1419027 HAS SOUPS 1399375 WITH SCORE 1405917.503
AT ITER 1061 NEW BEST:: SOT 9405794 SOS 6541232 HAS SOPS 5268724 HAS SOUS 1417811 HAS SOUPS 1398159 WITH SCORE 1404700.232
AT ITER 1063 NEW BEST:: SOT 9407521 SOS 6542943 HAS SOPS 5270018 HAS SOUS 1413985 HAS SOUPS 1394333 WITH SCORE 1400875.943
AT ITER 1065 NEW BEST:: SOT 9407408 SOS 6542830 HAS SOPS 5269914 HAS SOUS 1413915 HAS SOUPS 1394263 WITH SCORE 1400805.83
AT ITER 1071 NEW BEST:: SOT 9379555 SOS 6514977 HAS SOPS 5241626 HAS SOUS 1384256 HAS SOUPS 1364604 WITH SCORE 1371118.977
AT ITER 1075 NEW BEST:: SOT 9379107 SOS 6506594 HAS SOPS 5230844 HAS SOUS 1384191 HAS SOUPS 1364539 WITH SCORE 1371045.594
AT ITER 1076 NEW BEST:: SOT 9382126 SOS 6509828 HAS SOPS 5233734 HAS SOUS 1382857 HAS SOUPS 1363205 WITH SCORE 1369714.828
AT ITER 1083 NEW BEST:: SOT 9382120 SOS 6509742 HAS SOPS 5233644 HAS SOUS 1382847 HAS SOUPS 1363195 WITH SCORE 1369704.742
AT ITER 1085 NEW BEST:: SOT 9381964 SOS 6509592 HAS SOPS 5233458 HAS SOUS 1382751 HAS SOUPS 1363099 WITH SCORE 1369608.592
AT ITER 1089 NEW BEST:: SOT 9380115 SOS 6505390 HAS SOPS 5229477 HAS SOUS 1380755 HAS SOUPS 1361103 WITH SCORE 1367608.39
AT ITER 1090 NEW BEST:: SOT 9381225 SOS 6506500 HAS SOPS 5230650 HAS SOUS 1380647 HAS SOUPS 1360995 WITH SCORE 1367501.5
AT ITER 1109 NEW BEST:: SOT 9386356 SOS 6502242 HAS SOPS 5247559 HAS SOUS 1379972 HAS SOUPS 1360407 WITH SCORE 1366909.242
AT ITER 1114 NEW BEST:: SOT 9386273 SOS 6502154 HAS SOPS 5247491 HAS SOUS 1379725 HAS SOUPS 1360160 WITH SCORE 1366662.154
AT ITER 1136 NEW BEST:: SOT 9386485 SOS 6500135 HAS SOPS 5244941 HAS SOUS 1379320 HAS SOUPS 1359755 WITH SCORE 1366255.135
AT ITER 1166 NEW BEST:: SOT 9386485 SOS 6499680 HAS SOPS 5244486 HAS SOUS 1379315 HAS SOUPS 1359750 WITH SCORE 1366249.68
AT ITER 1171 NEW BEST:: SOT 9387787 SOS 6501598 HAS SOPS 5248970 HAS SOUS 1370111 HAS SOUPS 1350546 WITH SCORE 1357047.598
AT ITER 1196 NEW BEST:: SOT 9388060 SOS 6501840 HAS SOPS 5248724 HAS SOUS 1368890 HAS SOUPS 1349325 WITH SCORE 1355826.84
AT ITER 1201 NEW BEST:: SOT 9387739 SOS 6501519 HAS SOPS 5248352 HAS SOUS 1368203 HAS SOUPS 1348638 WITH SCORE 1355139.519
AT ITER 1213 NEW BEST:: SOT 9386972 SOS 6500752 HAS SOPS 5246919 HAS SOUS 1365092 HAS SOUPS 1345527 WITH SCORE 1352027.752
AT ITER 1215 NEW BEST:: SOT 9387234 SOS 6499846 HAS SOPS 5246749 HAS SOUS 1364817 HAS SOUPS 1345252 WITH SCORE 1351751.846
AT ITER 1219 NEW BEST:: SOT 9387234 SOS 6498472 HAS SOPS 5245375 HAS SOUS 1364739 HAS SOUPS 1345174 WITH SCORE 1351672.472
AT ITER 1220 NEW BEST:: SOT 9387131 SOS 6497945 HAS SOPS 5244756 HAS SOUS 1364599 HAS SOUPS 1345037 WITH SCORE 1351534.945
AT ITER 1232 NEW BEST:: SOT 9386447 SOS 6497293 HAS SOPS 5243976 HAS SOUS 1364297 HAS SOUPS 1344738 WITH SCORE 1351235.293
AT ITER 1241 NEW BEST:: SOT 9384163 SOS 6500186 HAS SOPS 5244676 HAS SOUS 1360080 HAS SOUPS 1340521 WITH SCORE 1347021.186
AT ITER 1287 NEW BEST:: SOT 9404861 SOS 6520643 HAS SOPS 5260404 HAS SOUS 1357073 HAS SOUPS 1337322 WITH SCORE 1343842.643
AT ITER 1290 NEW BEST:: SOT 9408366 SOS 6529307 HAS SOPS 5270101 HAS SOUS 1356275 HAS SOUPS 1336573 WITH SCORE 1343102.307
AT ITER 1315 NEW BEST:: SOT 9407201 SOS 6528040 HAS SOPS 5268122 HAS SOUS 1352152 HAS SOUPS 1332450 WITH SCORE 1338978.04
AT ITER 1318 NEW BEST:: SOT 9394802 SOS 6519697 HAS SOPS 5259691 HAS SOUS 1342434 HAS SOUPS 1322494 WITH SCORE 1329013.697
AT ITER 1369 NEW BEST:: SOT 9392953 SOS 6522073 HAS SOPS 5261946 HAS SOUS 1341746 HAS SOUPS 1321806 WITH SCORE 1328328.073
AT ITER 1375 NEW BEST:: SOT 9393360 SOS 6521811 HAS SOPS 5260837 HAS SOUS 1338869 HAS SOUPS 1318929 WITH SCORE 1325450.811
AT ITER 1388 NEW BEST:: SOT 9393090 SOS 6521543 HAS SOPS 5259774 HAS SOUS 1335082 HAS SOUPS 1315142 WITH SCORE 1321663.543
AT ITER 1402 NEW BEST:: SOT 9392972 SOS 6520698 HAS SOPS 5258433 HAS SOUS 1334058 HAS SOUPS 1314118 WITH SCORE 1320638.698
AT ITER 1405 NEW BEST:: SOT 9406751 SOS 6504670 HAS SOPS 5263843 HAS SOUS 1325408 HAS SOUPS 1305666 WITH SCORE 1312170.67
AT ITER 1406 NEW BEST:: SOT 9406870 SOS 6506480 HAS SOPS 5265518 HAS SOUS 1321506 HAS SOUPS 1301764 WITH SCORE 1308270.48
AT ITER 1409 NEW BEST:: SOT 9406892 SOS 6477867 HAS SOPS 5250400 HAS SOUS 1317724 HAS SOUPS 1298133 WITH SCORE 1304610.867
AT ITER 1424 NEW BEST:: SOT 9405824 SOS 6483058 HAS SOPS 5243834 HAS SOUS 1317333 HAS SOUPS 1297644 WITH SCORE 1304127.058
AT ITER 1425 NEW BEST:: SOT 9405323 SOS 6482557 HAS SOPS 5243263 HAS SOUS 1316356 HAS SOUPS 1296667 WITH SCORE 1303149.557
AT ITER 1429 NEW BEST:: SOT 9405368 SOS 6482617 HAS SOPS 5243413 HAS SOUS 1316236 HAS SOUPS 1296547 WITH SCORE 1303029.617
AT ITER 1437 NEW BEST:: SOT 9406728 SOS 6483866 HAS SOPS 5241786 HAS SOUS 1311764 HAS SOUPS 1292075 WITH SCORE 1298558.866
AT ITER 1440 NEW BEST:: SOT 9412921 SOS 6489789 HAS SOPS 5245759 HAS SOUS 1306985 HAS SOUPS 1287296 WITH SCORE 1293785.789
AT ITER 1447 NEW BEST:: SOT 9409970 SOS 6483573 HAS SOPS 5238496 HAS SOUS 1306261 HAS SOUPS 1286534 WITH SCORE 1293017.573
AT ITER 1462 NEW BEST:: SOT 9413031 SOS 6484191 HAS SOPS 5236868 HAS SOUS 1300372 HAS SOUPS 1280645 WITH SCORE 1287129.191
AT ITER 1477 NEW BEST:: SOT 9413664 SOS 6485294 HAS SOPS 5237920 HAS SOUS 1300082 HAS SOUPS 1280355 WITH SCORE 1286840.294
AT ITER 1484 NEW BEST:: SOT 9415685 SOS 6487429 HAS SOPS 5238962 HAS SOUS 1295447 HAS SOUPS 1275528 WITH SCORE 1282015.429
AT ITER 1518 NEW BEST:: SOT 9445359 SOS 6506778 HAS SOPS 5236321 HAS SOUS 1296027 HAS SOUPS 1274859 WITH SCORE 1281365.778
AT ITER 1519 NEW BEST:: SOT 9439726 SOS 6506530 HAS SOPS 5230791 HAS SOUS 1294610 HAS SOUPS 1273442 WITH SCORE 1279948.53
AT ITER 1532 NEW BEST:: SOT 9439646 SOS 6506447 HAS SOPS 5230517 HAS SOUS 1293954 HAS SOUPS 1272786 WITH SCORE 1279292.447
AT ITER 1559 NEW BEST:: SOT 9440946 SOS 6507335 HAS SOPS 5230627 HAS SOUS 1291767 HAS SOUPS 1270642 WITH SCORE 1277149.335
AT ITER 1562 NEW BEST:: SOT 9439794 SOS 6509646 HAS SOPS 5232173 HAS SOUS 1291766 HAS SOUPS 1270602 WITH SCORE 1277111.646
AT ITER 1582 NEW BEST:: SOT 9439794 SOS 6508373 HAS SOPS 5230900 HAS SOUS 1291760 HAS SOUPS 1270596 WITH SCORE 1277104.373
AT ITER 1595 NEW BEST:: SOT 9439249 SOS 6508217 HAS SOPS 5230633 HAS SOUS 1291029 HAS SOUPS 1269865 WITH SCORE 1276373.217
AT ITER 1604 NEW BEST:: SOT 9439839 SOS 6506211 HAS SOPS 5230207 HAS SOUS 1290432 HAS SOUPS 1269280 WITH SCORE 1275786.211
AT ITER 1621 NEW BEST:: SOT 9439150 SOS 6504204 HAS SOPS 5228852 HAS SOUS 1289330 HAS SOUPS 1268158 WITH SCORE 1274662.204
AT ITER 1624 NEW BEST:: SOT 9437647 SOS 6502668 HAS SOPS 5227002 HAS SOUS 1286913 HAS SOUPS 1265694 WITH SCORE 1272196.668
AT ITER 1629 NEW BEST:: SOT 9423447 SOS 6493311 HAS SOPS 5216286 HAS SOUS 1284695 HAS SOUPS 1263428 WITH SCORE 1269921.311
AT ITER 1635 NEW BEST:: SOT 9422392 SOS 6488111 HAS SOPS 5211054 HAS SOUS 1283353 HAS SOUPS 1262086 WITH SCORE 1268574.111
AT ITER 1639 NEW BEST:: SOT 9422152 SOS 6489634 HAS SOPS 5210762 HAS SOUS 1283341 HAS SOUPS 1262065 WITH SCORE 1268554.634
AT ITER 1643 NEW BEST:: SOT 9413673 SOS 6489574 HAS SOPS 5213527 HAS SOUS 1283314 HAS SOUPS 1261807 WITH SCORE 1268296.574
AT ITER 1646 NEW BEST:: SOT 9414659 SOS 6489384 HAS SOPS 5214230 HAS SOUS 1283002 HAS SOUPS 1261510 WITH SCORE 1267999.384
AT ITER 1661 NEW BEST:: SOT 9416657 SOS 6491472 HAS SOPS 5216268 HAS SOUS 1282276 HAS SOUPS 1260789 WITH SCORE 1267280.472
AT ITER 1668 NEW BEST:: SOT 9419261 SOS 6494048 HAS SOPS 5218575 HAS SOUS 1280294 HAS SOUPS 1258807 WITH SCORE 1265301.048
AT ITER 1684 NEW BEST:: SOT 9410905 SOS 6486432 HAS SOPS 5212713 HAS SOUS 1279287 HAS SOUPS 1257709 WITH SCORE 1264195.432
AT ITER 1696 NEW BEST:: SOT 9410749 SOS 6486276 HAS SOPS 5212553 HAS SOUS 1279143 HAS SOUPS 1257565 WITH SCORE 1264051.276
AT ITER 1735 NEW BEST:: SOT 9411372 SOS 6488681 HAS SOPS 5214706 HAS SOUS 1278848 HAS SOUPS 1257270 WITH SCORE 1263758.681
AT ITER 1747 NEW BEST:: SOT 9411364 SOS 6488661 HAS SOPS 5214682 HAS SOUS 1278844 HAS SOUPS 1257266 WITH SCORE 1263754.661
AT ITER 1751 NEW BEST:: SOT 9409450 SOS 6486732 HAS SOPS 5212894 HAS SOUS 1277684 HAS SOUPS 1256107 WITH SCORE 1262593.732
AT ITER 1755 NEW BEST:: SOT 9409989 SOS 6490944 HAS SOPS 5217107 HAS SOUS 1277554 HAS SOUPS 1255977 WITH SCORE 1262467.944
AT ITER 1768 NEW BEST:: SOT 9424903 SOS 6500692 HAS SOPS 5223603 HAS SOUS 1275098 HAS SOUPS 1253514 WITH SCORE 1260014.692
AT ITER 1770 NEW BEST:: SOT 9429812 SOS 6503119 HAS SOPS 5225258 HAS SOUS 1273276 HAS SOUPS 1251692 WITH SCORE 1258195.119
AT ITER 1772 NEW BEST:: SOT 9427846 SOS 6506185 HAS SOPS 5223822 HAS SOUS 1270294 HAS SOUPS 1248710 WITH SCORE 1255216.185
AT ITER 1773 NEW BEST:: SOT 9426791 SOS 6505142 HAS SOPS 5222754 HAS SOUS 1269035 HAS SOUPS 1247451 WITH SCORE 1253956.142
AT ITER 1778 NEW BEST:: SOT 9426791 SOS 6502530 HAS SOPS 5222164 HAS SOUS 1269004 HAS SOUPS 1247446 WITH SCORE 1253948.53
AT ITER 1786 NEW BEST:: SOT 9424363 SOS 6500083 HAS SOPS 5218700 HAS SOUS 1264894 HAS SOUPS 1243336 WITH SCORE 1249836.083
AT ITER 1792 NEW BEST:: SOT 9424190 SOS 6499905 HAS SOPS 5218473 HAS SOUS 1264517 HAS SOUPS 1242959 WITH SCORE 1249458.905
AT ITER 1820 NEW BEST:: SOT 9423887 SOS 6495419 HAS SOPS 5213554 HAS SOUS 1263783 HAS SOUPS 1242225 WITH SCORE 1248720.419
AT ITER 1821 NEW BEST:: SOT 9423746 SOS 6495274 HAS SOPS 5213428 HAS SOUS 1263735 HAS SOUPS 1242177 WITH SCORE 1248672.274
AT ITER 1864 NEW BEST:: SOT 9432299 SOS 6501746 HAS SOPS 5219613 HAS SOUS 1261858 HAS SOUPS 1240300 WITH SCORE 1246801.746
AT ITER 1884 NEW BEST:: SOT 9432747 SOS 6502094 HAS SOPS 5220481 HAS SOUS 1261792 HAS SOUPS 1240238 WITH SCORE 1246740.094
AT ITER 1898 NEW BEST:: SOT 9434298 SOS 6503615 HAS SOPS 5221283 HAS SOUS 1259343 HAS SOUPS 1237789 WITH SCORE 1244292.615
AT ITER 1909 NEW BEST:: SOT 9433009 SOS 6502110 HAS SOPS 5219393 HAS SOUS 1256540 HAS SOUPS 1234986 WITH SCORE 1241488.11
AT ITER 1920 NEW BEST:: SOT 9433170 SOS 6502233 HAS SOPS 5219462 HAS SOUS 1256473 HAS SOUPS 1234919 WITH SCORE 1241421.233
AT ITER 1935 NEW BEST:: SOT 9432870 SOS 6501933 HAS SOPS 5218606 HAS SOUS 1252669 HAS SOUPS 1231115 WITH SCORE 1237616.933
AT ITER 1939 NEW BEST:: SOT 9440546 SOS 6509144 HAS SOPS 5223507 HAS SOUS 1250978 HAS SOUPS 1229606 WITH SCORE 1236115.144
AT ITER 1957 NEW BEST:: SOT 9433060 SOS 6508372 HAS SOPS 5222996 HAS SOUS 1245641 HAS SOUPS 1224269 WITH SCORE 1230777.372
AT ITER 1958 NEW BEST:: SOT 9435095 SOS 6509183 HAS SOPS 5222503 HAS SOUS 1237891 HAS SOUPS 1216623 WITH SCORE 1223132.183
AT ITER 1995 NEW BEST:: SOT 9435539 SOS 6509645 HAS SOPS 5222764 HAS SOUS 1237366 HAS SOUPS 1216098 WITH SCORE 1222607.645
AT ITER 1996 NEW BEST:: SOT 9434949 SOS 6509022 HAS SOPS 5221515 HAS SOUS 1234728 HAS SOUPS 1213460 WITH SCORE 1219969.022
AT ITER 1998 NEW BEST:: SOT 9439988 SOS 6510248 HAS SOPS 5217401 HAS SOUS 1231226 HAS SOUPS 1210068 WITH SCORE 1216578.248
AT ITER 2001 NEW BEST:: SOT 9439510 SOS 6509762 HAS SOPS 5217170 HAS SOUS 1230728 HAS SOUPS 1209594 WITH SCORE 1216103.762
AT ITER 2011 NEW BEST:: SOT 9438860 SOS 6509112 HAS SOPS 5216196 HAS SOUS 1230334 HAS SOUPS 1209200 WITH SCORE 1215709.112
AT ITER 2015 NEW BEST:: SOT 9440904 SOS 6510391 HAS SOPS 5218749 HAS SOUS 1228804 HAS SOUPS 1207719 WITH SCORE 1214229.391
AT ITER 2027 NEW BEST:: SOT 9440608 SOS 6510098 HAS SOPS 5218392 HAS SOUS 1228408 HAS SOUPS 1207323 WITH SCORE 1213833.098
AT ITER 2030 NEW BEST:: SOT 9440589 SOS 6509814 HAS SOPS 5217804 HAS SOUS 1228317 HAS SOUPS 1207229 WITH SCORE 1213738.814
AT ITER 2041 NEW BEST:: SOT 9440656 SOS 6509975 HAS SOPS 5218101 HAS SOUS 1228185 HAS SOUPS 1207101 WITH SCORE 1213610.975
AT ITER 2055 NEW BEST:: SOT 9442241 SOS 6511126 HAS SOPS 5218638 HAS SOUS 1226201 HAS SOUPS 1205117 WITH SCORE 1211628.126
AT ITER 2057 NEW BEST:: SOT 9439884 SOS 6508643 HAS SOPS 5213532 HAS SOUS 1220426 HAS SOUPS 1199353 WITH SCORE 1205861.643
AT ITER 2067 NEW BEST:: SOT 9435876 SOS 6494399 HAS SOPS 5199428 HAS SOUS 1218864 HAS SOUPS 1197791 WITH SCORE 1204285.399
AT ITER 2071 NEW BEST:: SOT 9434797 SOS 6493298 HAS SOPS 5198329 HAS SOUS 1217573 HAS SOUPS 1196500 WITH SCORE 1202993.298
AT ITER 2072 NEW BEST:: SOT 9434796 SOS 6493298 HAS SOPS 5198285 HAS SOUS 1217554 HAS SOUPS 1196481 WITH SCORE 1202974.298
AT ITER 2079 NEW BEST:: SOT 9430144 SOS 6487590 HAS SOPS 5191113 HAS SOUS 1215689 HAS SOUPS 1194616 WITH SCORE 1201103.59
AT ITER 2081 NEW BEST:: SOT 9429231 SOS 6486690 HAS SOPS 5188971 HAS SOUS 1212408 HAS SOUPS 1191335 WITH SCORE 1197821.69
AT ITER 2101 NEW BEST:: SOT 9428856 SOS 6486336 HAS SOPS 5188527 HAS SOUS 1211392 HAS SOUPS 1190319 WITH SCORE 1196805.336
AT ITER 2104 NEW BEST:: SOT 9428925 SOS 6485984 HAS SOPS 5194707 HAS SOUS 1211145 HAS SOUPS 1190090 WITH SCORE 1196575.984
AT ITER 2115 NEW BEST:: SOT 9427982 SOS 6485041 HAS SOPS 5193557 HAS SOUS 1209167 HAS SOUPS 1188112 WITH SCORE 1194597.041
AT ITER 2116 NEW BEST:: SOT 9427688 SOS 6484747 HAS SOPS 5192911 HAS SOUS 1207179 HAS SOUPS 1186124 WITH SCORE 1192608.747
AT ITER 2144 NEW BEST:: SOT 9426992 SOS 6484065 HAS SOPS 5192249 HAS SOUS 1206535 HAS SOUPS 1185480 WITH SCORE 1191964.065
AT ITER 2163 NEW BEST:: SOT 9425782 SOS 6482855 HAS SOPS 5190764 HAS SOUS 1204005 HAS SOUPS 1182950 WITH SCORE 1189432.855
AT ITER 2174 NEW BEST:: SOT 9426043 SOS 6484202 HAS SOPS 5194719 HAS SOUS 1203785 HAS SOUPS 1182743 WITH SCORE 1189227.202
AT ITER 2216 NEW BEST:: SOT 9425983 SOS 6484142 HAS SOPS 5194656 HAS SOUS 1203731 HAS SOUPS 1182689 WITH SCORE 1189173.142
AT ITER 2218 NEW BEST:: SOT 9426061 SOS 6483735 HAS SOPS 5192342 HAS SOUS 1202076 HAS SOUPS 1181064 WITH SCORE 1187547.735
AT ITER 2235 NEW BEST:: SOT 9428573 SOS 6480925 HAS SOPS 5193089 HAS SOUS 1200010 HAS SOUPS 1179026 WITH SCORE 1185506.925
AT ITER 2244 NEW BEST:: SOT 9427889 SOS 6480241 HAS SOPS 5192418 HAS SOUS 1199008 HAS SOUPS 1178024 WITH SCORE 1184504.241
AT ITER 2257 NEW BEST:: SOT 9421486 SOS 6470815 HAS SOPS 5181655 HAS SOUS 1197771 HAS SOUPS 1176650 WITH SCORE 1183120.815
AT ITER 2276 NEW BEST:: SOT 9422102 SOS 6472274 HAS SOPS 5182969 HAS SOUS 1197443 HAS SOUPS 1176322 WITH SCORE 1182794.274
AT ITER 2285 NEW BEST:: SOT 9421126 SOS 6471282 HAS SOPS 5181877 HAS SOUS 1196178 HAS SOUPS 1175057 WITH SCORE 1181528.282
AT ITER 2294 NEW BEST:: SOT 9433476 SOS 6482980 HAS SOPS 5191067 HAS SOUS 1193381 HAS SOUPS 1172396 WITH SCORE 1178878.98
AT ITER 2301 NEW BEST:: SOT 9438489 SOS 6488698 HAS SOPS 5196316 HAS SOUS 1191775 HAS SOUPS 1170820 WITH SCORE 1177308.698
AT ITER 2303 NEW BEST:: SOT 9438079 SOS 6488277 HAS SOPS 5195857 HAS SOUS 1189089 HAS SOUPS 1168134 WITH SCORE 1174622.277
AT ITER 2324 NEW BEST:: SOT 9438019 SOS 6488177 HAS SOPS 5195717 HAS SOUS 1188609 HAS SOUPS 1167654 WITH SCORE 1174142.177
AT ITER 2328 NEW BEST:: SOT 9438031 SOS 6487898 HAS SOPS 5195427 HAS SOUS 1188576 HAS SOUPS 1167621 WITH SCORE 1174108.898
AT ITER 2332 NEW BEST:: SOT 9437719 SOS 6487574 HAS SOPS 5195073 HAS SOUS 1188138 HAS SOUPS 1167183 WITH SCORE 1173670.574
AT ITER 2337 NEW BEST:: SOT 9439097 SOS 6485070 HAS SOPS 5193215 HAS SOUS 1188089 HAS SOUPS 1167158 WITH SCORE 1173643.07
AT ITER 2366 NEW BEST:: SOT 9437908 SOS 6483901 HAS SOPS 5192166 HAS SOUS 1186920 HAS SOUPS 1165989 WITH SCORE 1172472.901
AT ITER 2391 NEW BEST:: SOT 9437588 SOS 6483647 HAS SOPS 5191976 HAS SOUS 1185145 HAS SOUPS 1164214 WITH SCORE 1170697.647
AT ITER 2394 NEW BEST:: SOT 9437197 SOS 6481013 HAS SOPS 5188504 HAS SOUS 1182679 HAS SOUPS 1161783 WITH SCORE 1168264.013
AT ITER 2396 NEW BEST:: SOT 9434303 SOS 6478062 HAS SOPS 5184926 HAS SOUS 1178132 HAS SOUPS 1157236 WITH SCORE 1163714.062
AT ITER 2399 NEW BEST:: SOT 9441202 SOS 6484816 HAS SOPS 5187000 HAS SOUS 1173226 HAS SOUPS 1152330 WITH SCORE 1158814.816
AT ITER 2425 NEW BEST:: SOT 9441201 SOS 6484248 HAS SOPS 5186432 HAS SOUS 1173189 HAS SOUPS 1152293 WITH SCORE 1158777.248
AT ITER 2437 NEW BEST:: SOT 9441486 SOS 6359607 HAS SOPS 5168569 HAS SOUS 1173044 HAS SOUPS 1152281 WITH SCORE 1158640.607
AT ITER 2452 NEW BEST:: SOT 9438086 SOS 6356207 HAS SOPS 5166127 HAS SOUS 1168833 HAS SOUPS 1148994 WITH SCORE 1155350.207
AT ITER 2463 NEW BEST:: SOT 9432089 SOS 6359274 HAS SOPS 5169151 HAS SOUS 1164910 HAS SOUPS 1144946 WITH SCORE 1151305.274
AT ITER 2471 NEW BEST:: SOT 9430664 SOS 6357849 HAS SOPS 5167517 HAS SOUS 1162383 HAS SOUPS 1142419 WITH SCORE 1148776.849
AT ITER 2475 NEW BEST:: SOT 9430040 SOS 6357225 HAS SOPS 5167169 HAS SOUS 1162120 HAS SOUPS 1142156 WITH SCORE 1148513.225
AT ITER 2499 NEW BEST:: SOT 9429166 SOS 6356351 HAS SOPS 5166287 HAS SOUS 1161547 HAS SOUPS 1141583 WITH SCORE 1147939.351
AT ITER 2507 NEW BEST:: SOT 9428654 SOS 6355808 HAS SOPS 5164921 HAS SOUS 1160969 HAS SOUPS 1141005 WITH SCORE 1147360.808
AT ITER 2511 NEW BEST:: SOT 9429536 SOS 6355223 HAS SOPS 5163366 HAS SOUS 1160257 HAS SOUPS 1140325 WITH SCORE 1146680.223
AT ITER 2512 NEW BEST:: SOT 9429192 SOS 6348233 HAS SOPS 5156430 HAS SOUS 1159318 HAS SOUPS 1139386 WITH SCORE 1145734.233
AT ITER 2513 NEW BEST:: SOT 9427538 SOS 6352799 HAS SOPS 5157683 HAS SOUS 1153400 HAS SOUPS 1133696 WITH SCORE 1140048.799
AT ITER 2517 NEW BEST:: SOT 9433339 SOS 6357340 HAS SOPS 5155830 HAS SOUS 1149242 HAS SOUPS 1129596 WITH SCORE 1135953.34
AT ITER 2518 NEW BEST:: SOT 9431005 SOS 6358219 HAS SOPS 5155617 HAS SOUS 1146934 HAS SOUPS 1127321 WITH SCORE 1133679.219
AT ITER 2528 NEW BEST:: SOT 9431169 SOS 6359177 HAS SOPS 5156501 HAS SOUS 1146338 HAS SOUPS 1126731 WITH SCORE 1133090.177
AT ITER 2533 NEW BEST:: SOT 9431159 SOS 6359165 HAS SOPS 5156499 HAS SOUS 1146300 HAS SOUPS 1126709 WITH SCORE 1133068.165
AT ITER 2555 NEW BEST:: SOT 9437706 SOS 6365689 HAS SOPS 5164253 HAS SOUS 1146200 HAS SOUPS 1126609 WITH SCORE 1132974.689
AT ITER 2587 NEW BEST:: SOT 9437640 SOS 6365623 HAS SOPS 5164175 HAS SOUS 1146032 HAS SOUPS 1126441 WITH SCORE 1132806.623
AT ITER 2589 NEW BEST:: SOT 9437043 SOS 6362891 HAS SOPS 5161653 HAS SOUS 1145877 HAS SOUPS 1126286 WITH SCORE 1132648.891
AT ITER 2598 NEW BEST:: SOT 9436909 SOS 6367689 HAS SOPS 5157823 HAS SOUS 1142166 HAS SOUPS 1122575 WITH SCORE 1128942.689
AT ITER 2624 NEW BEST:: SOT 9416283 SOS 6321608 HAS SOPS 5110661 HAS SOUS 1142396 HAS SOUPS 1122602 WITH SCORE 1128923.608
AT ITER 2631 NEW BEST:: SOT 9416358 SOS 6321686 HAS SOPS 5110286 HAS SOUS 1140761 HAS SOUPS 1120967 WITH SCORE 1127288.686
AT ITER 2642 NEW BEST:: SOT 9423873 SOS 6327305 HAS SOPS 5118651 HAS SOUS 1134912 HAS SOUPS 1115258 WITH SCORE 1121585.305
AT ITER 2648 NEW BEST:: SOT 9422871 SOS 6326293 HAS SOPS 5117503 HAS SOUS 1133978 HAS SOUPS 1114324 WITH SCORE 1120650.293
AT ITER 2651 NEW BEST:: SOT 9423156 SOS 6326603 HAS SOPS 5117776 HAS SOUS 1133097 HAS SOUPS 1113443 WITH SCORE 1119769.603
AT ITER 2652 NEW BEST:: SOT 9423300 SOS 6326745 HAS SOPS 5117886 HAS SOUS 1133077 HAS SOUPS 1113423 WITH SCORE 1119749.745
AT ITER 2682 NEW BEST:: SOT 9423355 SOS 6321468 HAS SOPS 5112608 HAS SOUS 1132457 HAS SOUPS 1112803 WITH SCORE 1119124.468
AT ITER 2685 NEW BEST:: SOT 9418282 SOS 6325776 HAS SOPS 5117763 HAS SOUS 1127635 HAS SOUPS 1107981 WITH SCORE 1114306.776
AT ITER 2691 NEW BEST:: SOT 9418246 SOS 6325740 HAS SOPS 5117321 HAS SOUS 1125696 HAS SOUPS 1106042 WITH SCORE 1112367.74
AT ITER 2705 NEW BEST:: SOT 9417798 SOS 6325124 HAS SOPS 5116593 HAS SOUS 1125446 HAS SOUPS 1105788 WITH SCORE 1112113.124
AT ITER 2711 NEW BEST:: SOT 9417678 SOS 6324992 HAS SOPS 5116449 HAS SOUS 1125422 HAS SOUPS 1105764 WITH SCORE 1112088.992
AT ITER 2716 NEW BEST:: SOT 9418013 SOS 6327347 HAS SOPS 5118246 HAS SOUS 1123604 HAS SOUPS 1103946 WITH SCORE 1110273.347
AT ITER 2719 NEW BEST:: SOT 9417997 SOS 6327389 HAS SOPS 5118002 HAS SOUS 1122239 HAS SOUPS 1102581 WITH SCORE 1108908.389
AT ITER 2729 NEW BEST:: SOT 9414413 SOS 6330526 HAS SOPS 5119865 HAS SOUS 1121153 HAS SOUPS 1101427 WITH SCORE 1107757.526
AT ITER 2732 NEW BEST:: SOT 9414357 SOS 6330470 HAS SOPS 5119809 HAS SOUS 1121121 HAS SOUPS 1101395 WITH SCORE 1107725.47
AT ITER 2749 NEW BEST:: SOT 9406034 SOS 6345705 HAS SOPS 5134547 HAS SOUS 1118357 HAS SOUPS 1098631 WITH SCORE 1104976.705
AT ITER 2752 NEW BEST:: SOT 9406098 SOS 6345769 HAS SOPS 5134211 HAS SOUS 1117413 HAS SOUPS 1097687 WITH SCORE 1104032.769
AT ITER 2765 NEW BEST:: SOT 9415459 SOS 6354273 HAS SOPS 5136632 HAS SOUS 1115754 HAS SOUPS 1096076 WITH SCORE 1102430.273
AT ITER 2766 NEW BEST:: SOT 9411285 SOS 6349945 HAS SOPS 5133379 HAS SOUS 1115151 HAS SOUPS 1095473 WITH SCORE 1101822.945
AT ITER 2768 NEW BEST:: SOT 9408527 SOS 6346637 HAS SOPS 5130064 HAS SOUS 1114227 HAS SOUPS 1094524 WITH SCORE 1100870.637
AT ITER 2779 NEW BEST:: SOT 9406309 SOS 6341361 HAS SOPS 5128131 HAS SOUS 1113770 HAS SOUPS 1094067 WITH SCORE 1100408.361
AT ITER 2804 NEW BEST:: SOT 9405883 SOS 6342414 HAS SOPS 5124541 HAS SOUS 1112468 HAS SOUPS 1092739 WITH SCORE 1099081.414
AT ITER 2826 NEW BEST:: SOT 9405415 SOS 6341946 HAS SOPS 5124049 HAS SOUS 1111898 HAS SOUPS 1092165 WITH SCORE 1098506.946
AT ITER 2860 NEW BEST:: SOT 9403576 SOS 6339992 HAS SOPS 5121956 HAS SOUS 1110569 HAS SOUPS 1090836 WITH SCORE 1097175.992
AT ITER 2865 NEW BEST:: SOT 9402103 SOS 6339809 HAS SOPS 5122184 HAS SOUS 1109090 HAS SOUPS 1089394 WITH SCORE 1095733.809
AT ITER 2871 NEW BEST:: SOT 9401947 SOS 6339664 HAS SOPS 5121965 HAS SOUS 1108753 HAS SOUPS 1089057 WITH SCORE 1095396.664
AT ITER 2874 NEW BEST:: SOT 9401529 SOS 6338820 HAS SOPS 5120845 HAS SOUS 1107375 HAS SOUPS 1087679 WITH SCORE 1094017.82
AT ITER 2886 NEW BEST:: SOT 9398131 SOS 6335430 HAS SOPS 5118225 HAS SOUS 1106647 HAS SOUPS 1086951 WITH SCORE 1093286.43
AT ITER 2892 NEW BEST:: SOT 9396866 SOS 6337348 HAS SOPS 5118995 HAS SOUS 1104557 HAS SOUPS 1084890 WITH SCORE 1091227.348
AT ITER 2908 NEW BEST:: SOT 9397010 SOS 6336895 HAS SOPS 5118474 HAS SOUS 1098231 HAS SOUPS 1078564 WITH SCORE 1084900.895
AT ITER 2919 NEW BEST:: SOT 9396009 SOS 6336572 HAS SOPS 5118118 HAS SOUS 1096911 HAS SOUPS 1077244 WITH SCORE 1083580.572
AT ITER 2922 NEW BEST:: SOT 9396036 SOS 6339414 HAS SOPS 5121251 HAS SOUS 1095145 HAS SOUPS 1075478 WITH SCORE 1081817.414
AT ITER 2943 NEW BEST:: SOT 9395818 SOS 6339202 HAS SOPS 5120981 HAS SOUS 1094737 HAS SOUPS 1075070 WITH SCORE 1081409.202
AT ITER 2951 NEW BEST:: SOT 9392668 SOS 6339834 HAS SOPS 5119453 HAS SOUS 1094381 HAS SOUPS 1074697 WITH SCORE 1081036.834
AT ITER 2960 NEW BEST:: SOT 9392097 SOS 6335542 HAS SOPS 5118185 HAS SOUS 1092927 HAS SOUPS 1073262 WITH SCORE 1079597.542
AT ITER 2963 NEW BEST:: SOT 9389684 SOS 6333140 HAS SOPS 5116999 HAS SOUS 1092409 HAS SOUPS 1072744 WITH SCORE 1079077.14
AT ITER 2975 NEW BEST:: SOT 9389587 SOS 6333043 HAS SOPS 5116873 HAS SOUS 1092199 HAS SOUPS 1072534 WITH SCORE 1078867.043
AT ITER 2976 NEW BEST:: SOT 9389944 SOS 6333392 HAS SOPS 5117125 HAS SOUS 1092073 HAS SOUPS 1072408 WITH SCORE 1078741.392
AT ITER 2981 NEW BEST:: SOT 9389339 SOS 6332136 HAS SOPS 5115771 HAS SOUS 1090962 HAS SOUPS 1071297 WITH SCORE 1077629.136
AT ITER 2987 NEW BEST:: SOT 9387865 SOS 6330683 HAS SOPS 5114877 HAS SOUS 1090955 HAS SOUPS 1071290 WITH SCORE 1077620.683
AT ITER 2988 NEW BEST:: SOT 9387342 SOS 6330160 HAS SOPS 5114111 HAS SOUS 1089462 HAS SOUPS 1069797 WITH SCORE 1076127.16
AT ITER 3004 NEW BEST:: SOT 9391913 SOS 6335650 HAS SOPS 5118181 HAS SOUS 1085574 HAS SOUPS 1066019 WITH SCORE 1072354.65
AT ITER 3033 NEW BEST:: SOT 9391913 SOS 6334960 HAS SOPS 5117483 HAS SOUS 1085534 HAS SOUPS 1065979 WITH SCORE 1072313.96
AT ITER 3036 NEW BEST:: SOT 9392143 SOS 6336648 HAS SOPS 5119291 HAS SOUS 1085148 HAS SOUPS 1065603 WITH SCORE 1071939.648
AT ITER 3051 NEW BEST:: SOT 9391653 SOS 6326892 HAS SOPS 5116286 HAS SOUS 1083380 HAS SOUPS 1063882 WITH SCORE 1070208.892
AT ITER 3058 NEW BEST:: SOT 9391747 SOS 6327179 HAS SOPS 5116554 HAS SOUS 1082767 HAS SOUPS 1063269 WITH SCORE 1069596.179
AT ITER 3085 NEW BEST:: SOT 9384484 SOS 6323367 HAS SOPS 5105141 HAS SOUS 1080002 HAS SOUPS 1060436 WITH SCORE 1066759.367
AT ITER 3094 NEW BEST:: SOT 9385907 SOS 6343912 HAS SOPS 5108142 HAS SOUS 1077979 HAS SOUPS 1058443 WITH SCORE 1064786.912
AT ITER 3096 NEW BEST:: SOT 9384441 SOS 6341928 HAS SOPS 5105652 HAS SOUS 1074841 HAS SOUPS 1055305 WITH SCORE 1061646.928
AT ITER 3116 NEW BEST:: SOT 9383510 SOS 6340976 HAS SOPS 5104478 HAS SOUS 1073047 HAS SOUPS 1053511 WITH SCORE 1059851.976
AT ITER 3167 NEW BEST:: SOT 9382826 SOS 6340268 HAS SOPS 5103458 HAS SOUS 1071907 HAS SOUPS 1052371 WITH SCORE 1058711.268
AT ITER 3191 NEW BEST:: SOT 9384786 SOS 6344426 HAS SOPS 5109392 HAS SOUS 1067888 HAS SOUPS 1048352 WITH SCORE 1054696.426
AT ITER 3210 NEW BEST:: SOT 9384950 SOS 6343393 HAS SOPS 5112218 HAS SOUS 1067778 HAS SOUPS 1048253 WITH SCORE 1054596.393
AT ITER 3217 NEW BEST:: SOT 9386496 SOS 6342340 HAS SOPS 5111988 HAS SOUS 1066028 HAS SOUPS 1046579 WITH SCORE 1052921.34
AT ITER 3221 NEW BEST:: SOT 9385585 SOS 6341384 HAS SOPS 5110126 HAS SOUS 1061328 HAS SOUPS 1041879 WITH SCORE 1048220.384
AT ITER 3226 NEW BEST:: SOT 9385033 SOS 6340747 HAS SOPS 5109571 HAS SOUS 1061328 HAS SOUPS 1041870 WITH SCORE 1048210.747
AT ITER 3231 NEW BEST:: SOT 9383925 SOS 6339639 HAS SOPS 5108580 HAS SOUS 1060507 HAS SOUPS 1041064 WITH SCORE 1047403.639
AT ITER 3235 NEW BEST:: SOT 9383445 SOS 6338953 HAS SOPS 5108058 HAS SOUS 1060429 HAS SOUPS 1040986 WITH SCORE 1047324.953
AT ITER 3239 NEW BEST:: SOT 9381747 SOS 6337255 HAS SOPS 5105867 HAS SOUS 1060354 HAS SOUPS 1040911 WITH SCORE 1047248.255
AT ITER 3250 NEW BEST:: SOT 9381747 SOS 6337477 HAS SOPS 5106089 HAS SOUS 1060346 HAS SOUPS 1040903 WITH SCORE 1047240.477
AT ITER 3254 NEW BEST:: SOT 9380451 SOS 6336181 HAS SOPS 5104409 HAS SOUS 1058896 HAS SOUPS 1039453 WITH SCORE 1045789.181
AT ITER 3289 NEW BEST:: SOT 9380271 SOS 6336649 HAS SOPS 5105297 HAS SOUS 1058637 HAS SOUPS 1039179 WITH SCORE 1045515.649
AT ITER 3299 NEW BEST:: SOT 9380271 SOS 6335437 HAS SOPS 5104085 HAS SOUS 1058635 HAS SOUPS 1039177 WITH SCORE 1045512.437
AT ITER 3301 NEW BEST:: SOT 9378901 SOS 6336919 HAS SOPS 5107590 HAS SOUS 1053575 HAS SOUPS 1035603 WITH SCORE 1041939.919
AT ITER 3309 NEW BEST:: SOT 9378862 SOS 6337126 HAS SOPS 5107252 HAS SOUS 1053479 HAS SOUPS 1035501 WITH SCORE 1041838.126
AT ITER 3310 NEW BEST:: SOT 9386102 SOS 6344123 HAS SOPS 5110920 HAS SOUS 1045121 HAS SOUPS 1027143 WITH SCORE 1033487.123
AT ITER 3349 NEW BEST:: SOT 9380830 SOS 6328556 HAS SOPS 5095994 HAS SOUS 1041751 HAS SOUPS 1023773 WITH SCORE 1030101.556
AT ITER 3368 NEW BEST:: SOT 9379493 SOS 6325184 HAS SOPS 5093859 HAS SOUS 1040260 HAS SOUPS 1022352 WITH SCORE 1028677.184
AT ITER 3370 NEW BEST:: SOT 9379529 SOS 6325220 HAS SOPS 5093889 HAS SOUS 1040251 HAS SOUPS 1022343 WITH SCORE 1028668.22
AT ITER 3376 NEW BEST:: SOT 9377133 SOS 6320586 HAS SOPS 5086321 HAS SOUS 1034376 HAS SOUPS 1016549 WITH SCORE 1022869.586
AT ITER 3386 NEW BEST:: SOT 9376314 SOS 6319790 HAS SOPS 5085421 HAS SOUS 1032968 HAS SOUPS 1015141 WITH SCORE 1021460.79
AT ITER 3418 NEW BEST:: SOT 9379631 SOS 6323103 HAS SOPS 5088940 HAS SOUS 1032713 HAS SOUPS 1014886 WITH SCORE 1021209.103
AT ITER 3424 NEW BEST:: SOT 9383085 SOS 6326516 HAS SOPS 5092108 HAS SOUS 1032024 HAS SOUPS 1014197 WITH SCORE 1020523.516
AT ITER 3426 NEW BEST:: SOT 9382772 SOS 6326499 HAS SOPS 5090241 HAS SOUS 1030226 HAS SOUPS 1012399 WITH SCORE 1018725.499
AT ITER 3431 NEW BEST:: SOT 9382750 SOS 6326381 HAS SOPS 5090092 HAS SOUS 1030112 HAS SOUPS 1012285 WITH SCORE 1018611.381
AT ITER 3460 NEW BEST:: SOT 9382449 SOS 6326023 HAS SOPS 5088593 HAS SOUS 1027505 HAS SOUPS 1009753 WITH SCORE 1016079.023
AT ITER 3467 NEW BEST:: SOT 9383175 SOS 6326813 HAS SOPS 5089111 HAS SOUS 1025402 HAS SOUPS 1007650 WITH SCORE 1013976.813
AT ITER 3497 NEW BEST:: SOT 9383175 SOS 6326757 HAS SOPS 5089055 HAS SOUS 1025400 HAS SOUPS 1007648 WITH SCORE 1013974.757
AT ITER 3499 NEW BEST:: SOT 9381959 SOS 6335508 HAS SOPS 5097447 HAS SOUS 1023307 HAS SOUPS 1005555 WITH SCORE 1011890.508
AT ITER 3538 NEW BEST:: SOT 9380320 SOS 6333873 HAS SOPS 5095767 HAS SOUS 1021736 HAS SOUPS 1003984 WITH SCORE 1010317.873
AT ITER 3544 NEW BEST:: SOT 9377922 SOS 6331475 HAS SOPS 5092999 HAS SOUS 1018809 HAS SOUPS 1001057 WITH SCORE 1007388.475
AT ITER 3556 NEW BEST:: SOT 9377445 SOS 6330945 HAS SOPS 5092159 HAS SOUS 1018289 HAS SOUPS 1000537 WITH SCORE 1006867.945
AT ITER 3559 NEW BEST:: SOT 9376058 SOS 6329558 HAS SOPS 5091023 HAS SOUS 1018009 HAS SOUPS 1000257 WITH SCORE 1006586.558
AT ITER 3565 NEW BEST:: SOT 9372555 SOS 6325648 HAS SOPS 5082248 HAS SOUS 1016824 HAS SOUPS 999310 WITH SCORE 1005635.648
AT ITER 3575 NEW BEST:: SOT 9378039 SOS 6331237 HAS SOPS 5082487 HAS SOUS 1009978 HAS SOUPS 992521 WITH SCORE 998852.237
AT ITER 3588 NEW BEST:: SOT 9377555 SOS 6329648 HAS SOPS 5080774 HAS SOUS 1009128 HAS SOUPS 991671 WITH SCORE 998000.648
AT ITER 3598 NEW BEST:: SOT 9377528 SOS 6330036 HAS SOPS 5081140 HAS SOUS 1009087 HAS SOUPS 991630 WITH SCORE 997960.036
AT ITER 3601 NEW BEST:: SOT 9376396 SOS 6319409 HAS SOPS 5055730 HAS SOUS 1008480 HAS SOUPS 990975 WITH SCORE 997294.409
AT ITER 3629 NEW BEST:: SOT 9377257 SOS 6315398 HAS SOPS 5055785 HAS SOUS 1008281 HAS SOUPS 990798 WITH SCORE 997113.398
AT ITER 3632 NEW BEST:: SOT 9377127 SOS 6314156 HAS SOPS 5050022 HAS SOUS 1008005 HAS SOUPS 990501 WITH SCORE 996815.156
AT ITER 3644 NEW BEST:: SOT 9376859 SOS 6313905 HAS SOPS 5049690 HAS SOUS 1007287 HAS SOUPS 989783 WITH SCORE 996096.905
AT ITER 3651 NEW BEST:: SOT 9376427 SOS 6316088 HAS SOPS 5051715 HAS SOUS 1006755 HAS SOUPS 989251 WITH SCORE 995567.088
AT ITER 3678 NEW BEST:: SOT 9374011 SOS 6313728 HAS SOPS 5049499 HAS SOUS 1006075 HAS SOUPS 988571 WITH SCORE 994884.728
AT ITER 3683 NEW BEST:: SOT 9400135 SOS 6339338 HAS SOPS 5070348 HAS SOUS 1004494 HAS SOUPS 986990 WITH SCORE 993329.338
AT ITER 3709 NEW BEST:: SOT 9400131 SOS 6338040 HAS SOPS 5069050 HAS SOUS 1004484 HAS SOUPS 986980 WITH SCORE 993318.04
AT ITER 3717 NEW BEST:: SOT 9400167 SOS 6336792 HAS SOPS 5067931 HAS SOUS 1004416 HAS SOUPS 986912 WITH SCORE 993248.792
AT ITER 3718 NEW BEST:: SOT 9395377 SOS 6344368 HAS SOPS 5065100 HAS SOUS 1003102 HAS SOUPS 985391 WITH SCORE 991735.368
AT ITER 3742 NEW BEST:: SOT 9395843 SOS 6344821 HAS SOPS 5065472 HAS SOUS 1002494 HAS SOUPS 984783 WITH SCORE 991127.821
AT ITER 3751 NEW BEST:: SOT 9397599 SOS 6336474 HAS SOPS 5062888 HAS SOUS 1000035 HAS SOUPS 982378 WITH SCORE 988714.474
AT ITER 3764 NEW BEST:: SOT 9397818 SOS 6336670 HAS SOPS 5062793 HAS SOUS 998909 HAS SOUPS 981252 WITH SCORE 987588.67
AT ITER 3772 NEW BEST:: SOT 9395034 SOS 6333811 HAS SOPS 5059281 HAS SOUS 994193 HAS SOUPS 976536 WITH SCORE 982869.811
AT ITER 3804 NEW BEST:: SOT 9394931 SOS 6328092 HAS SOPS 5053622 HAS SOUS 994074 HAS SOUPS 976417 WITH SCORE 982745.092
AT ITER 3824 NEW BEST:: SOT 9392854 SOS 6325965 HAS SOPS 5051015 HAS SOUS 993123 HAS SOUPS 975466 WITH SCORE 981791.965
AT ITER 3842 NEW BEST:: SOT 9391241 SOS 6355690 HAS SOPS 5079598 HAS SOUS 992599 HAS SOUPS 975007 WITH SCORE 981362.69
AT ITER 3844 NEW BEST:: SOT 9391241 SOS 6358409 HAS SOPS 5082317 HAS SOUS 992572 HAS SOUPS 974980 WITH SCORE 981338.409
AT ITER 3845 NEW BEST:: SOT 9396281 SOS 6363513 HAS SOPS 5087082 HAS SOUS 990465 HAS SOUPS 972873 WITH SCORE 979236.513
AT ITER 3868 NEW BEST:: SOT 9396181 SOS 6363657 HAS SOPS 5087334 HAS SOUS 990405 HAS SOUPS 972813 WITH SCORE 979176.657
AT ITER 3870 NEW BEST:: SOT 9396505 SOS 6363326 HAS SOPS 5086861 HAS SOUS 990075 HAS SOUPS 972483 WITH SCORE 978846.326
AT ITER 3888 NEW BEST:: SOT 9396228 SOS 6370579 HAS SOPS 5093562 HAS SOUS 988849 HAS SOUPS 971244 WITH SCORE 977614.579
AT ITER 3891 NEW BEST:: SOT 9396028 SOS 6370162 HAS SOPS 5093399 HAS SOUS 988684 HAS SOUPS 971216 WITH SCORE 977586.162
AT ITER 3894 NEW BEST:: SOT 9397103 SOS 6376076 HAS SOPS 5098549 HAS SOUS 988514 HAS SOUPS 970901 WITH SCORE 977277.076
AT ITER 3962 NEW BEST:: SOT 9388272 SOS 6367228 HAS SOPS 5089337 HAS SOUS 983746 HAS SOUPS 966140 WITH SCORE 972507.228
AT ITER 3986 NEW BEST:: SOT 9388537 SOS 6367543 HAS SOPS 5089623 HAS SOUS 982660 HAS SOUPS 965026 WITH SCORE 971393.543
AT ITER 3989 NEW BEST:: SOT 9388315 SOS 6367321 HAS SOPS 5089559 HAS SOUS 982644 HAS SOUPS 965010 WITH SCORE 971377.321
AT ITER 3998 NEW BEST:: SOT 9385979 SOS 6364937 HAS SOPS 5086334 HAS SOUS 978934 HAS SOUPS 961300 WITH SCORE 967664.937
AT ITER 3999 NEW BEST:: SOT 9386049 SOS 6364992 HAS SOPS 5086152 HAS SOUS 977784 HAS SOUPS 960150 WITH SCORE 966514.992
AT ITER 4000 NEW BEST:: SOT 9386758 SOS 6365714 HAS SOPS 5086584 HAS SOUS 977404 HAS SOUPS 959770 WITH SCORE 966135.714
AT ITER 4018 NEW BEST:: SOT 9386235 SOS 6365277 HAS SOPS 5086608 HAS SOUS 977328 HAS SOUPS 959684 WITH SCORE 966049.277
AT ITER 4030 NEW BEST:: SOT 9386151 SOS 6365255 HAS SOPS 5086527 HAS SOUS 977240 HAS SOUPS 959595 WITH SCORE 965960.255
AT ITER 4034 NEW BEST:: SOT 9388336 SOS 6313508 HAS SOPS 5049238 HAS SOUS 976844 HAS SOUPS 958700 WITH SCORE 965013.508
AT ITER 4059 NEW BEST:: SOT 9388356 SOS 6313462 HAS SOPS 5048366 HAS SOUS 973180 HAS SOUPS 955036 WITH SCORE 961349.462
AT ITER 4066 NEW BEST:: SOT 9390399 SOS 6314393 HAS SOPS 5047969 HAS SOUS 971410 HAS SOUPS 953300 WITH SCORE 959614.393
AT ITER 4074 NEW BEST:: SOT 9387399 SOS 6312063 HAS SOPS 5048291 HAS SOUS 969618 HAS SOUPS 951537 WITH SCORE 957849.063
AT ITER 4076 NEW BEST:: SOT 9386996 SOS 6311460 HAS SOPS 5047473 HAS SOUS 968895 HAS SOUPS 950819 WITH SCORE 957130.46
AT ITER 4090 NEW BEST:: SOT 9386128 SOS 6310562 HAS SOPS 5046424 HAS SOUS 967225 HAS SOUPS 949149 WITH SCORE 955459.562
AT ITER 4091 NEW BEST:: SOT 9376217 SOS 6301145 HAS SOPS 5036585 HAS SOUS 963509 HAS SOUPS 945352 WITH SCORE 951653.145
AT ITER 4115 NEW BEST:: SOT 9376210 SOS 6298905 HAS SOPS 5035805 HAS SOUS 963427 HAS SOUPS 945270 WITH SCORE 951568.905
AT ITER 4140 NEW BEST:: SOT 9376126 SOS 6298821 HAS SOPS 5035716 HAS SOUS 963333 HAS SOUPS 945176 WITH SCORE 951474.821
AT ITER 4145 NEW BEST:: SOT 9376062 SOS 6298757 HAS SOPS 5035656 HAS SOUS 963217 HAS SOUPS 945060 WITH SCORE 951358.757
AT ITER 4158 NEW BEST:: SOT 9369383 SOS 6291958 HAS SOPS 5027954 HAS SOUS 952841 HAS SOUPS 934684 WITH SCORE 940975.958
AT ITER 4176 NEW BEST:: SOT 9369430 SOS 6292001 HAS SOPS 5027850 HAS SOUS 952113 HAS SOUPS 933956 WITH SCORE 940248.001
AT ITER 4178 NEW BEST:: SOT 9369196 SOS 6280651 HAS SOPS 5016455 HAS SOUS 951836 HAS SOUPS 933679 WITH SCORE 939959.651
AT ITER 4203 NEW BEST:: SOT 9366487 SOS 6276065 HAS SOPS 5012022 HAS SOUS 949900 HAS SOUPS 931743 WITH SCORE 938019.065
AT ITER 4207 NEW BEST:: SOT 9366263 SOS 6274600 HAS SOPS 5009174 HAS SOUS 949817 HAS SOUPS 931654 WITH SCORE 937928.6
AT ITER 4223 NEW BEST:: SOT 9367604 SOS 6275675 HAS SOPS 5010193 HAS SOUS 949608 HAS SOUPS 931459 WITH SCORE 937734.675
AT ITER 4250 NEW BEST:: SOT 9369189 SOS 6276445 HAS SOPS 5009917 HAS SOUS 948223 HAS SOUPS 930155 WITH SCORE 936431.445
AT ITER 4285 NEW BEST:: SOT 9369189 SOS 6284220 HAS SOPS 5017692 HAS SOUS 948160 HAS SOUPS 930092 WITH SCORE 936376.22
AT ITER 4329 NEW BEST:: SOT 9369915 SOS 6285569 HAS SOPS 5018632 HAS SOUS 947750 HAS SOUPS 929682 WITH SCORE 935967.569
AT ITER 4332 NEW BEST:: SOT 9367414 SOS 6283068 HAS SOPS 5016280 HAS SOUS 947516 HAS SOUPS 929448 WITH SCORE 935731.068
AT ITER 4335 NEW BEST:: SOT 9364618 SOS 6293594 HAS SOPS 5027710 HAS SOUS 946329 HAS SOUPS 928261 WITH SCORE 934554.594
AT ITER 4338 NEW BEST:: SOT 9362702 SOS 6291750 HAS SOPS 5026161 HAS SOUS 946036 HAS SOUPS 927968 WITH SCORE 934259.75
AT ITER 4345 NEW BEST:: SOT 9359812 SOS 6288860 HAS SOPS 5022965 HAS SOUS 942347 HAS SOUPS 924279 WITH SCORE 930567.86
AT ITER 4354 NEW BEST:: SOT 9353522 SOS 6279317 HAS SOPS 5013422 HAS SOUS 936587 HAS SOUPS 918481 WITH SCORE 924760.317
AT ITER 4358 NEW BEST:: SOT 9353992 SOS 6278008 HAS SOPS 5012344 HAS SOUS 935586 HAS SOUPS 917649 WITH SCORE 923927.008
AT ITER 4360 NEW BEST:: SOT 9347062 SOS 6294115 HAS SOPS 5029144 HAS SOUS 931262 HAS SOUPS 913325 WITH SCORE 919619.115
AT ITER 4363 NEW BEST:: SOT 9346225 SOS 6314870 HAS SOPS 5050110 HAS SOUS 931107 HAS SOUPS 913170 WITH SCORE 919484.87
AT ITER 4387 NEW BEST:: SOT 9346990 SOS 6315595 HAS SOPS 5050545 HAS SOUS 930789 HAS SOUPS 912850 WITH SCORE 919165.595
AT ITER 4406 NEW BEST:: SOT 9347562 SOS 6323975 HAS SOPS 5059245 HAS SOUS 930529 HAS SOUPS 912622 WITH SCORE 918945.975
AT ITER 4410 NEW BEST:: SOT 9347300 SOS 6323692 HAS SOPS 5059015 HAS SOUS 930305 HAS SOUPS 912398 WITH SCORE 918721.692
AT ITER 4412 NEW BEST:: SOT 9345993 SOS 6322327 HAS SOPS 5058126 HAS SOUS 929906 HAS SOUPS 911999 WITH SCORE 918321.327
AT ITER 4413 NEW BEST:: SOT 9346933 SOS 6375030 HAS SOPS 5107749 HAS SOUS 925740 HAS SOUPS 907833 WITH SCORE 914208.03
AT ITER 4473 NEW BEST:: SOT 9348541 SOS 6376623 HAS SOPS 5108850 HAS SOUS 925007 HAS SOUPS 907100 WITH SCORE 913476.623
AT ITER 4477 NEW BEST:: SOT 9348402 SOS 6376959 HAS SOPS 5109015 HAS SOUS 924317 HAS SOUPS 906410 WITH SCORE 912786.959
AT ITER 4488 NEW BEST:: SOT 9345609 SOS 6374189 HAS SOPS 5106682 HAS SOUS 923804 HAS SOUPS 905813 WITH SCORE 912187.189
AT ITER 4504 NEW BEST:: SOT 9346027 SOS 6374633 HAS SOPS 5107104 HAS SOUS 923352 HAS SOUPS 905361 WITH SCORE 911735.633
AT ITER 4524 NEW BEST:: SOT 9342921 SOS 6371525 HAS SOPS 5104668 HAS SOUS 921728 HAS SOUPS 903737 WITH SCORE 910108.525
AT ITER 4535 NEW BEST:: SOT 9336087 SOS 6364791 HAS SOPS 5099355 HAS SOUS 921031 HAS SOUPS 903040 WITH SCORE 909404.791
AT ITER 4578 NEW BEST:: SOT 9336365 SOS 6365034 HAS SOPS 5099458 HAS SOUS 920787 HAS SOUPS 902796 WITH SCORE 909161.034
AT ITER 4616 NEW BEST:: SOT 9336512 SOS 6365218 HAS SOPS 5099562 HAS SOUS 920205 HAS SOUPS 902220 WITH SCORE 908585.218
AT ITER 4618 NEW BEST:: SOT 9336371 SOS 6366159 HAS SOPS 5100397 HAS SOUS 919896 HAS SOUPS 901911 WITH SCORE 908277.159
AT ITER 4634 NEW BEST:: SOT 9335597 SOS 6365342 HAS SOPS 5099451 HAS SOUS 918501 HAS SOUPS 900618 WITH SCORE 906983.342
AT ITER 4653 NEW BEST:: SOT 9334855 SOS 6365428 HAS SOPS 5099442 HAS SOUS 917471 HAS SOUPS 899588 WITH SCORE 905953.428
AT ITER 4654 NEW BEST:: SOT 9334405 SOS 6364968 HAS SOPS 5098892 HAS SOUS 916531 HAS SOUPS 898648 WITH SCORE 905012.968
AT ITER 4671 NEW BEST:: SOT 9334122 SOS 6364669 HAS SOPS 5098534 HAS SOUS 916199 HAS SOUPS 898316 WITH SCORE 904680.669
AT ITER 4684 NEW BEST:: SOT 9333825 SOS 6364372 HAS SOPS 5098223 HAS SOUS 916044 HAS SOUPS 898124 WITH SCORE 904488.372
AT ITER 4694 NEW BEST:: SOT 9329170 SOS 6359361 HAS SOPS 5092781 HAS SOUS 913720 HAS SOUPS 895779 WITH SCORE 902138.361
AT ITER 4704 NEW BEST:: SOT 9327266 SOS 6357439 HAS SOPS 5090289 HAS SOUS 912046 HAS SOUPS 894108 WITH SCORE 900465.439
AT ITER 4732 NEW BEST:: SOT 9327289 SOS 6357495 HAS SOPS 5090420 HAS SOUS 912036 HAS SOUPS 894098 WITH SCORE 900455.495
AT ITER 4745 NEW BEST:: SOT 9325630 SOS 6355907 HAS SOPS 5089357 HAS SOUS 911166 HAS SOUPS 893228 WITH SCORE 899583.907
AT ITER 4747 NEW BEST:: SOT 9318020 SOS 6369653 HAS SOPS 5072693 HAS SOUS 910691 HAS SOUPS 892578 WITH SCORE 898947.653
AT ITER 4763 NEW BEST:: SOT 9317892 SOS 6369525 HAS SOPS 5072565 HAS SOUS 910569 HAS SOUPS 892456 WITH SCORE 898825.525
AT ITER 4766 NEW BEST:: SOT 9315654 SOS 6367265 HAS SOPS 5070539 HAS SOUS 909948 HAS SOUPS 891835 WITH SCORE 898202.265
AT ITER 4770 NEW BEST:: SOT 9314193 SOS 6365804 HAS SOPS 5068992 HAS SOUS 908427 HAS SOUPS 890314 WITH SCORE 896679.804
AT ITER 4838 NEW BEST:: SOT 9314171 SOS 6365818 HAS SOPS 5069013 HAS SOUS 908378 HAS SOUPS 890265 WITH SCORE 896630.818
AT ITER 4843 NEW BEST:: SOT 9314165 SOS 6365735 HAS SOPS 5068923 HAS SOUS 908374 HAS SOUPS 890261 WITH SCORE 896626.735
AT ITER 4848 NEW BEST:: SOT 9314141 SOS 6365711 HAS SOPS 5068891 HAS SOUS 908132 HAS SOUPS 890019 WITH SCORE 896384.711
AT ITER 4860 NEW BEST:: SOT 9314314 SOS 6365925 HAS SOPS 5069219 HAS SOUS 908101 HAS SOUPS 889988 WITH SCORE 896353.925
AT ITER 4862 NEW BEST:: SOT 9314314 SOS 6367834 HAS SOPS 5068985 HAS SOUS 908118 HAS SOUPS 889978 WITH SCORE 896345.834
AT ITER 4869 NEW BEST:: SOT 9313784 SOS 6367304 HAS SOPS 5068433 HAS SOUS 907345 HAS SOUPS 889205 WITH SCORE 895572.304
AT ITER 4890 NEW BEST:: SOT 9314304 SOS 6370120 HAS SOPS 5073724 HAS SOUS 907094 HAS SOUPS 888967 WITH SCORE 895337.12
AT ITER 4908 NEW BEST:: SOT 9314052 SOS 6369762 HAS SOPS 5072456 HAS SOUS 906012 HAS SOUPS 887885 WITH SCORE 894254.762
AT ITER 4911 NEW BEST:: SOT 9313397 SOS 6369346 HAS SOPS 5072177 HAS SOUS 905022 HAS SOUPS 886895 WITH SCORE 893264.346
AT ITER 4918 NEW BEST:: SOT 9311887 SOS 6367821 HAS SOPS 5070430 HAS SOUS 903474 HAS SOUPS 885347 WITH SCORE 891714.821
AT ITER 4941 NEW BEST:: SOT 9314043 SOS 6373733 HAS SOPS 5076431 HAS SOUS 902532 HAS SOUPS 884443 WITH SCORE 890816.733
AT ITER 4947 NEW BEST:: SOT 9314562 SOS 6374225 HAS SOPS 5076277 HAS SOUS 901313 HAS SOUPS 883224 WITH SCORE 889598.225
AT ITER 4952 NEW BEST:: SOT 9314427 SOS 6373635 HAS SOPS 5075577 HAS SOUS 900673 HAS SOUPS 882584 WITH SCORE 888957.635
AT ITER 4962 NEW BEST:: SOT 9314298 SOS 6380155 HAS SOPS 5072947 HAS SOUS 900508 HAS SOUPS 882380 WITH SCORE 888760.155
AT ITER 4977 NEW BEST:: SOT 9317867 SOS 6383832 HAS SOPS 5076384 HAS SOUS 899718 HAS SOUPS 881590 WITH SCORE 887973.832
AT ITER 4998 NEW BEST:: SOT 9316232 SOS 6382290 HAS SOPS 5074924 HAS SOUS 898140 HAS SOUPS 880012 WITH SCORE 886394.29
AT ITER 5028 NEW BEST:: SOT 9316392 SOS 6383789 HAS SOPS 5075906 HAS SOUS 897891 HAS SOUPS 879763 WITH SCORE 886146.789
AT ITER 5054 NEW BEST:: SOT 9315897 SOS 6383812 HAS SOPS 5075947 HAS SOUS 897778 HAS SOUPS 879650 WITH SCORE 886033.812
AT ITER 5062 NEW BEST:: SOT 9316349 SOS 6382362 HAS SOPS 5073929 HAS SOUS 897051 HAS SOUPS 878923 WITH SCORE 885305.362
AT ITER 5063 NEW BEST:: SOT 9316349 SOS 6382698 HAS SOPS 5074343 HAS SOUS 897033 HAS SOUPS 878907 WITH SCORE 885289.698
AT ITER 5085 NEW BEST:: SOT 9316235 SOS 6382584 HAS SOPS 5074166 HAS SOUS 896433 HAS SOUPS 878307 WITH SCORE 884689.584
AT ITER 5089 NEW BEST:: SOT 9316291 SOS 6389256 HAS SOPS 5080779 HAS SOUS 896421 HAS SOUPS 878295 WITH SCORE 884684.256
AT ITER 5104 NEW BEST:: SOT 9321338 SOS 6375193 HAS SOPS 5066653 HAS SOUS 895757 HAS SOUPS 877615 WITH SCORE 883990.193
AT ITER 5118 NEW BEST:: SOT 9323837 SOS 6377594 HAS SOPS 5067829 HAS SOUS 891984 HAS SOUPS 873842 WITH SCORE 880219.594
AT ITER 5174 NEW BEST:: SOT 9323625 SOS 6377365 HAS SOPS 5067543 HAS SOUS 891631 HAS SOUPS 873489 WITH SCORE 879866.365
AT ITER 5191 NEW BEST:: SOT 9323943 SOS 6377477 HAS SOPS 5067054 HAS SOUS 891180 HAS SOUPS 873054 WITH SCORE 879431.477
AT ITER 5192 NEW BEST:: SOT 9323943 SOS 6377312 HAS SOPS 5066889 HAS SOUS 891180 HAS SOUPS 873054 WITH SCORE 879431.312
AT ITER 5194 NEW BEST:: SOT 9324170 SOS 6377509 HAS SOPS 5066853 HAS SOUS 890575 HAS SOUPS 872449 WITH SCORE 878826.509
AT ITER 5202 NEW BEST:: SOT 9323834 SOS 6377194 HAS SOPS 5066349 HAS SOUS 890029 HAS SOUPS 871903 WITH SCORE 878280.194
AT ITER 5231 NEW BEST:: SOT 9321119 SOS 6375046 HAS SOPS 5066144 HAS SOUS 889136 HAS SOUPS 871043 WITH SCORE 877418.046
AT ITER 5248 NEW BEST:: SOT 9318966 SOS 6372927 HAS SOPS 5063353 HAS SOUS 887615 HAS SOUPS 869522 WITH SCORE 875894.927
AT ITER 5252 NEW BEST:: SOT 9318904 SOS 6375817 HAS SOPS 5066863 HAS SOUS 887516 HAS SOUPS 869423 WITH SCORE 875798.817
AT ITER 5258 NEW BEST:: SOT 9318902 SOS 6372381 HAS SOPS 5063283 HAS SOUS 887522 HAS SOUPS 869421 WITH SCORE 875793.381
AT ITER 5262 NEW BEST:: SOT 9318902 SOS 6373805 HAS SOPS 5064707 HAS SOUS 887513 HAS SOUPS 869412 WITH SCORE 875785.805
AT ITER 5270 NEW BEST:: SOT 9319860 SOS 6374789 HAS SOPS 5065414 HAS SOUS 886758 HAS SOUPS 868657 WITH SCORE 875031.789
AT ITER 5280 NEW BEST:: SOT 9319860 SOS 6372170 HAS SOPS 5062735 HAS SOUS 886624 HAS SOUPS 868523 WITH SCORE 874895.17
AT ITER 5293 NEW BEST:: SOT 9313840 SOS 6388668 HAS SOPS 5044312 HAS SOUS 886497 HAS SOUPS 868201 WITH SCORE 874589.668
AT ITER 5301 NEW BEST:: SOT 9309321 SOS 6362547 HAS SOPS 5040804 HAS SOUS 886457 HAS SOUPS 868208 WITH SCORE 874570.547
AT ITER 5306 NEW BEST:: SOT 9308797 SOS 6362023 HAS SOPS 5041024 HAS SOUS 886393 HAS SOUPS 868144 WITH SCORE 874506.023
AT ITER 5307 NEW BEST:: SOT 9309124 SOS 6353423 HAS SOPS 5039437 HAS SOUS 885781 HAS SOUPS 867555 WITH SCORE 873908.423
AT ITER 5318 NEW BEST:: SOT 9308797 SOS 6352450 HAS SOPS 5037703 HAS SOUS 884716 HAS SOUPS 866490 WITH SCORE 872842.45
AT ITER 5329 NEW BEST:: SOT 9308416 SOS 6352117 HAS SOPS 5037451 HAS SOUS 884644 HAS SOUPS 866418 WITH SCORE 872770.117
AT ITER 5334 NEW BEST:: SOT 9309649 SOS 6354384 HAS SOPS 5039622 HAS SOUS 884546 HAS SOUPS 866320 WITH SCORE 872674.384
AT ITER 5368 NEW BEST:: SOT 9309593 SOS 6354312 HAS SOPS 5039542 HAS SOUS 884474 HAS SOUPS 866248 WITH SCORE 872602.312
AT ITER 5397 NEW BEST:: SOT 9309717 SOS 6354492 HAS SOPS 5039038 HAS SOUS 881956 HAS SOUPS 863730 WITH SCORE 870084.492
AT ITER 5405 NEW BEST:: SOT 9306089 SOS 6349230 HAS SOPS 5034302 HAS SOUS 881065 HAS SOUPS 862839 WITH SCORE 869188.23
AT ITER 5409 NEW BEST:: SOT 9305663 SOS 6348774 HAS SOPS 5033690 HAS SOUS 880394 HAS SOUPS 862204 WITH SCORE 868552.774
AT ITER 5414 NEW BEST:: SOT 9309446 SOS 6352594 HAS SOPS 5035044 HAS SOUS 879980 HAS SOUPS 861790 WITH SCORE 868142.594
AT ITER 5417 NEW BEST:: SOT 9309438 SOS 6352588 HAS SOPS 5035040 HAS SOUS 879922 HAS SOUPS 861732 WITH SCORE 868084.588
AT ITER 5440 NEW BEST:: SOT 9305616 SOS 6348834 HAS SOPS 5029870 HAS SOUS 874658 HAS SOUPS 856388 WITH SCORE 862736.834
AT ITER 5442 NEW BEST:: SOT 9304985 SOS 6363654 HAS SOPS 5036809 HAS SOUS 874708 HAS SOUPS 856369 WITH SCORE 862732.654
AT ITER 5444 NEW BEST:: SOT 9298254 SOS 6358537 HAS SOPS 5037033 HAS SOUS 868704 HAS SOUPS 850535 WITH SCORE 856893.537
AT ITER 5470 NEW BEST:: SOT 9298794 SOS 6357189 HAS SOPS 5037613 HAS SOUS 868514 HAS SOUPS 850356 WITH SCORE 856713.189
AT ITER 5473 NEW BEST:: SOT 9298243 SOS 6354623 HAS SOPS 5035314 HAS SOUS 868321 HAS SOUPS 850154 WITH SCORE 856508.623
AT ITER 5477 NEW BEST:: SOT 9300386 SOS 6356739 HAS SOPS 5036838 HAS SOUS 868213 HAS SOUPS 850046 WITH SCORE 856402.739
AT ITER 5510 NEW BEST:: SOT 9299595 SOS 6356973 HAS SOPS 5036959 HAS SOUS 867562 HAS SOUPS 849403 WITH SCORE 855759.973
AT ITER 5517 NEW BEST:: SOT 9305683 SOS 6359555 HAS SOPS 5039306 HAS SOUS 867554 HAS SOUPS 849395 WITH SCORE 855754.555
AT ITER 5521 NEW BEST:: SOT 9307202 SOS 6361305 HAS SOPS 5040905 HAS SOUS 867027 HAS SOUPS 848903 WITH SCORE 855264.305
AT ITER 5536 NEW BEST:: SOT 9307242 SOS 6361335 HAS SOPS 5040865 HAS SOUS 866837 HAS SOUPS 848713 WITH SCORE 855074.335
AT ITER 5549 NEW BEST:: SOT 9306409 SOS 6366135 HAS SOPS 5045891 HAS SOUS 865686 HAS SOUPS 847604 WITH SCORE 853970.135
AT ITER 5570 NEW BEST:: SOT 9304463 SOS 6388405 HAS SOPS 5055340 HAS SOUS 865238 HAS SOUPS 847035 WITH SCORE 853423.405
AT ITER 5580 NEW BEST:: SOT 9297925 SOS 6379030 HAS SOPS 5052270 HAS SOUS 863959 HAS SOUPS 845756 WITH SCORE 852135.03
AT ITER 5584 NEW BEST:: SOT 9297722 SOS 6379693 HAS SOPS 5052758 HAS SOUS 863226 HAS SOUPS 845023 WITH SCORE 851402.693
AT ITER 5588 NEW BEST:: SOT 9299983 SOS 6374271 HAS SOPS 5047035 HAS SOUS 862990 HAS SOUPS 844787 WITH SCORE 851161.271
AT ITER 5619 NEW BEST:: SOT 9299977 SOS 6374283 HAS SOPS 5047047 HAS SOUS 862986 HAS SOUPS 844783 WITH SCORE 851157.283
AT ITER 5637 NEW BEST:: SOT 9303175 SOS 6378108 HAS SOPS 5050321 HAS SOUS 860617 HAS SOUPS 842468 WITH SCORE 848846.108
AT ITER 5679 NEW BEST:: SOT 9303127 SOS 6378076 HAS SOPS 5050241 HAS SOUS 860553 HAS SOUPS 842404 WITH SCORE 848782.076
AT ITER 5713 NEW BEST:: SOT 9303291 SOS 6378218 HAS SOPS 5050073 HAS SOUS 859151 HAS SOUPS 840986 WITH SCORE 847364.218
AT ITER 5724 NEW BEST:: SOT 9303191 SOS 6378120 HAS SOPS 5049941 HAS SOUS 858853 HAS SOUPS 840688 WITH SCORE 847066.12
AT ITER 5746 NEW BEST:: SOT 9301740 SOS 6378010 HAS SOPS 5049962 HAS SOUS 857889 HAS SOUPS 839724 WITH SCORE 846102.01
AT ITER 5750 NEW BEST:: SOT 9300481 SOS 6376784 HAS SOPS 5048928 HAS SOUS 857483 HAS SOUPS 839318 WITH SCORE 845694.784
AT ITER 5751 NEW BEST:: SOT 9295005 SOS 6405619 HAS SOPS 5046960 HAS SOUS 857235 HAS SOUPS 838894 WITH SCORE 845299.619
AT ITER 5763 NEW BEST:: SOT 9279411 SOS 6358999 HAS SOPS 5034606 HAS SOUS 856408 HAS SOUPS 837640 WITH SCORE 843998.999
AT ITER 5790 NEW BEST:: SOT 9279384 SOS 6358966 HAS SOPS 5034534 HAS SOUS 856243 HAS SOUPS 837475 WITH SCORE 843833.966
AT ITER 5812 NEW BEST:: SOT 9279399 SOS 6369418 HAS SOPS 5044986 HAS SOUS 856162 HAS SOUPS 837394 WITH SCORE 843763.418
AT ITER 5826 NEW BEST:: SOT 9279239 SOS 6369256 HAS SOPS 5044755 HAS SOUS 855730 HAS SOUPS 836962 WITH SCORE 843331.256
AT ITER 5827 NEW BEST:: SOT 9278347 SOS 6368372 HAS SOPS 5043727 HAS SOUS 855413 HAS SOUPS 836645 WITH SCORE 843013.372
AT ITER 5844 NEW BEST:: SOT 9277964 SOS 6386232 HAS SOPS 5053610 HAS SOUS 855376 HAS SOUPS 836544 WITH SCORE 842930.232
AT ITER 5888 NEW BEST:: SOT 9278944 SOS 6387192 HAS SOPS 5054190 HAS SOUS 854386 HAS SOUPS 835564 WITH SCORE 841951.192
AT ITER 5927 NEW BEST:: SOT 9279504 SOS 6386817 HAS SOPS 5053683 HAS SOUS 853235 HAS SOUPS 834413 WITH SCORE 840799.817
AT ITER 5971 NEW BEST:: SOT 9279263 SOS 6386565 HAS SOPS 5053407 HAS SOUS 853080 HAS SOUPS 834260 WITH SCORE 840646.565
AT ITER 5981 NEW BEST:: SOT 9279253 SOS 6386557 HAS SOPS 5053387 HAS SOUS 852962 HAS SOUPS 834142 WITH SCORE 840528.557
AT ITER 6002 NEW BEST:: SOT 9276961 SOS 6384198 HAS SOPS 5050914 HAS SOUS 852818 HAS SOUPS 833998 WITH SCORE 840382.198
AT ITER 6011 NEW BEST:: SOT 9276970 SOS 6384057 HAS SOPS 5050773 HAS SOUS 852771 HAS SOUPS 833951 WITH SCORE 840335.057
AT ITER 6013 NEW BEST:: SOT 9276652 SOS 6383752 HAS SOPS 5050427 HAS SOUS 852185 HAS SOUPS 833365 WITH SCORE 839748.752
AT ITER 6033 NEW BEST:: SOT 9277568 SOS 6384699 HAS SOPS 5050964 HAS SOUS 851384 HAS SOUPS 832564 WITH SCORE 838948.699
AT ITER 6066 NEW BEST:: SOT 9278255 SOS 6385424 HAS SOPS 5051569 HAS SOUS 851205 HAS SOUPS 832385 WITH SCORE 838770.424
AT ITER 6073 NEW BEST:: SOT 9278541 SOS 6385710 HAS SOPS 5051799 HAS SOUS 851045 HAS SOUPS 832225 WITH SCORE 838610.71
AT ITER 6117 NEW BEST:: SOT 9278711 SOS 6385880 HAS SOPS 5051903 HAS SOUS 850713 HAS SOUPS 831893 WITH SCORE 838278.88
AT ITER 6140 NEW BEST:: SOT 9276615 SOS 6394000 HAS SOPS 5061182 HAS SOUS 848839 HAS SOUPS 830100 WITH SCORE 836494.0
AT ITER 6163 NEW BEST:: SOT 9274394 SOS 6391888 HAS SOPS 5059267 HAS SOUS 845320 HAS SOUPS 826543 WITH SCORE 832934.888
AT ITER 6169 NEW BEST:: SOT 9285499 SOS 6402573 HAS SOPS 5065339 HAS SOUS 842994 HAS SOUPS 824261 WITH SCORE 830663.573
AT ITER 6171 NEW BEST:: SOT 9285491 SOS 6402501 HAS SOPS 5065261 HAS SOUS 842960 HAS SOUPS 824227 WITH SCORE 830629.501
AT ITER 6181 NEW BEST:: SOT 9285450 SOS 6402460 HAS SOPS 5065227 HAS SOUS 842950 HAS SOUPS 824217 WITH SCORE 830619.46
AT ITER 6220 NEW BEST:: SOT 9285492 SOS 6402502 HAS SOPS 5065239 HAS SOUS 842746 HAS SOUPS 824013 WITH SCORE 830415.502
AT ITER 6248 NEW BEST:: SOT 9285857 SOS 6402919 HAS SOPS 5065363 HAS SOUS 842027 HAS SOUPS 823320 WITH SCORE 829722.919
AT ITER 6264 NEW BEST:: SOT 9286725 SOS 6396691 HAS SOPS 5058894 HAS SOUS 841127 HAS SOUPS 822420 WITH SCORE 828816.691
AT ITER 6274 NEW BEST:: SOT 9286770 SOS 6391258 HAS SOPS 5053401 HAS SOUS 841025 HAS SOUPS 822318 WITH SCORE 828709.258
AT ITER 6278 NEW BEST:: SOT 9286770 SOS 6391231 HAS SOPS 5053370 HAS SOUS 841008 HAS SOUPS 822301 WITH SCORE 828692.231
AT ITER 6307 NEW BEST:: SOT 9287213 SOS 6391676 HAS SOPS 5054049 HAS SOUS 840468 HAS SOUPS 821761 WITH SCORE 828152.676
AT ITER 6314 NEW BEST:: SOT 9286115 SOS 6390592 HAS SOPS 5053233 HAS SOUS 840274 HAS SOUPS 821567 WITH SCORE 827957.592
AT ITER 6337 NEW BEST:: SOT 9286420 SOS 6390887 HAS SOPS 5053423 HAS SOUS 839994 HAS SOUPS 821287 WITH SCORE 827677.887
AT ITER 6342 NEW BEST:: SOT 9284946 SOS 6389006 HAS SOPS 5051456 HAS SOUS 837382 HAS SOUPS 818675 WITH SCORE 825064.006
AT ITER 6365 NEW BEST:: SOT 9285064 SOS 6390060 HAS SOPS 5052438 HAS SOUS 837350 HAS SOUPS 818643 WITH SCORE 825033.06
AT ITER 6384 NEW BEST:: SOT 9292817 SOS 6362381 HAS SOPS 5053313 HAS SOUS 834742 HAS SOUPS 816204 WITH SCORE 822566.381
AT ITER 6386 NEW BEST:: SOT 9293342 SOS 6352919 HAS SOPS 5046856 HAS SOUS 834211 HAS SOUPS 815655 WITH SCORE 822007.919
AT ITER 6388 NEW BEST:: SOT 9294577 SOS 6354110 HAS SOPS 5048458 HAS SOUS 832639 HAS SOUPS 814083 WITH SCORE 820437.11
AT ITER 6408 NEW BEST:: SOT 9295631 SOS 6355986 HAS SOPS 5052051 HAS SOUS 831582 HAS SOUPS 813035 WITH SCORE 819390.986
AT ITER 6415 NEW BEST:: SOT 9290078 SOS 6353644 HAS SOPS 5050077 HAS SOUS 825141 HAS SOUPS 806594 WITH SCORE 812947.644
AT ITER 6427 NEW BEST:: SOT 9286193 SOS 6346962 HAS SOPS 5043513 HAS SOUS 821528 HAS SOUPS 802981 WITH SCORE 809327.962
AT ITER 6434 NEW BEST:: SOT 9284779 SOS 6345314 HAS SOPS 5041916 HAS SOUS 820757 HAS SOUPS 802178 WITH SCORE 808523.314
AT ITER 6444 NEW BEST:: SOT 9283521 SOS 6349891 HAS SOPS 5042768 HAS SOUS 811192 HAS SOUPS 792613 WITH SCORE 798962.891
AT ITER 6463 NEW BEST:: SOT 9283447 SOS 6349817 HAS SOPS 5042664 HAS SOUS 811176 HAS SOUPS 792597 WITH SCORE 798946.817
AT ITER 6474 NEW BEST:: SOT 9280952 SOS 6347240 HAS SOPS 5039742 HAS SOUS 808798 HAS SOUPS 790211 WITH SCORE 796558.24
AT ITER 6487 NEW BEST:: SOT 9281789 SOS 6347380 HAS SOPS 5040203 HAS SOUS 808740 HAS SOUPS 790153 WITH SCORE 796500.38
AT ITER 6495 NEW BEST:: SOT 9282706 SOS 6348325 HAS SOPS 5040560 HAS SOUS 808712 HAS SOUPS 790118 WITH SCORE 796466.325
AT ITER 6507 NEW BEST:: SOT 9282616 SOS 6348208 HAS SOPS 5040392 HAS SOUS 808535 HAS SOUPS 789935 WITH SCORE 796283.208
AT ITER 6527 NEW BEST:: SOT 9283178 SOS 6348713 HAS SOPS 5040658 HAS SOUS 807221 HAS SOUPS 788627 WITH SCORE 794975.713
AT ITER 6550 NEW BEST:: SOT 9283325 SOS 6348853 HAS SOPS 5040758 HAS SOUS 807089 HAS SOUPS 788495 WITH SCORE 794843.853
AT ITER 6551 NEW BEST:: SOT 9282243 SOS 6347496 HAS SOPS 5039151 HAS SOUS 806601 HAS SOUPS 787997 WITH SCORE 794344.496
AT ITER 6553 NEW BEST:: SOT 9280548 SOS 6345932 HAS SOPS 5037595 HAS SOUS 805390 HAS SOUPS 786786 WITH SCORE 793131.932
AT ITER 6555 NEW BEST:: SOT 9280362 SOS 6345712 HAS SOPS 5037362 HAS SOUS 805307 HAS SOUPS 786704 WITH SCORE 793049.712
AT ITER 6564 NEW BEST:: SOT 9276338 SOS 6341688 HAS SOPS 5033338 HAS SOUS 801996 HAS SOUPS 783393 WITH SCORE 789734.688
AT ITER 6593 NEW BEST:: SOT 9276298 SOS 6343786 HAS SOPS 5035450 HAS SOUS 801992 HAS SOUPS 783389 WITH SCORE 789732.786
AT ITER 6600 NEW BEST:: SOT 9278923 SOS 6333239 HAS SOPS 5024048 HAS SOUS 801878 HAS SOUPS 783275 WITH SCORE 789608.239
AT ITER 6610 NEW BEST:: SOT 9278708 SOS 6333024 HAS SOPS 5023779 HAS SOUS 801331 HAS SOUPS 782728 WITH SCORE 789061.024
AT ITER 6647 NEW BEST:: SOT 9279116 SOS 6333463 HAS SOPS 5023827 HAS SOUS 799966 HAS SOUPS 781363 WITH SCORE 787696.463
AT ITER 6653 NEW BEST:: SOT 9278318 SOS 6332644 HAS SOPS 5022735 HAS SOUS 799372 HAS SOUPS 780769 WITH SCORE 787101.644
AT ITER 6654 NEW BEST:: SOT 9278273 SOS 6335066 HAS SOPS 5025120 HAS SOUS 799109 HAS SOUPS 780506 WITH SCORE 786841.066
AT ITER 6688 NEW BEST:: SOT 9276518 SOS 6333326 HAS SOPS 5024340 HAS SOUS 798812 HAS SOUPS 780449 WITH SCORE 786782.326
AT ITER 6696 NEW BEST:: SOT 9276732 SOS 6333540 HAS SOPS 5024443 HAS SOUS 798668 HAS SOUPS 780305 WITH SCORE 786638.54
AT ITER 6710 NEW BEST:: SOT 9276770 SOS 6334387 HAS SOPS 5025290 HAS SOUS 798621 HAS SOUPS 780258 WITH SCORE 786592.387
AT ITER 6729 NEW BEST:: SOT 9278052 SOS 6335038 HAS SOPS 5025815 HAS SOUS 796996 HAS SOUPS 778683 WITH SCORE 785018.038
AT ITER 6752 NEW BEST:: SOT 9277551 SOS 6334533 HAS SOPS 5025273 HAS SOUS 796479 HAS SOUPS 778166 WITH SCORE 784500.533
AT ITER 6763 NEW BEST:: SOT 9277503 SOS 6334477 HAS SOPS 5025129 HAS SOUS 796115 HAS SOUPS 777802 WITH SCORE 784136.477
AT ITER 6767 NEW BEST:: SOT 9277492 SOS 6332183 HAS SOPS 5022835 HAS SOUS 796113 HAS SOUPS 777800 WITH SCORE 784132.183
AT ITER 6776 NEW BEST:: SOT 9278036 SOS 6329452 HAS SOPS 5019600 HAS SOUS 795915 HAS SOUPS 777602 WITH SCORE 783931.452
AT ITER 6789 NEW BEST:: SOT 9277140 SOS 6330985 HAS SOPS 5020929 HAS SOUS 794411 HAS SOUPS 776098 WITH SCORE 782428.985
AT ITER 6812 NEW BEST:: SOT 9279203 SOS 6332787 HAS SOPS 5021897 HAS SOUS 793163 HAS SOUPS 774878 WITH SCORE 781210.787
AT ITER 6828 NEW BEST:: SOT 9277484 SOS 6331066 HAS SOPS 5020423 HAS SOUS 792255 HAS SOUPS 773970 WITH SCORE 780301.066
AT ITER 6844 NEW BEST:: SOT 9274531 SOS 6354650 HAS SOPS 5045646 HAS SOUS 791626 HAS SOUPS 773341 WITH SCORE 779695.65
AT ITER 6855 NEW BEST:: SOT 9276762 SOS 6352750 HAS SOPS 5043143 HAS SOUS 790940 HAS SOUPS 772655 WITH SCORE 779007.75
AT ITER 6878 NEW BEST:: SOT 9275681 SOS 6351650 HAS SOPS 5042050 HAS SOUS 790070 HAS SOUPS 771785 WITH SCORE 778136.65
AT ITER 6881 NEW BEST:: SOT 9275665 SOS 6351634 HAS SOPS 5042016 HAS SOUS 789994 HAS SOUPS 771709 WITH SCORE 778060.634
AT ITER 6887 NEW BEST:: SOT 9276004 SOS 6351973 HAS SOPS 5042261 HAS SOUS 789900 HAS SOUPS 771615 WITH SCORE 777966.973
AT ITER 6894 NEW BEST:: SOT 9279214 SOS 6349421 HAS SOPS 5042913 HAS SOUS 789519 HAS SOUPS 771234 WITH SCORE 777583.421
AT ITER 6897 NEW BEST:: SOT 9279971 SOS 6329713 HAS SOPS 5036051 HAS SOUS 789383 HAS SOUPS 771212 WITH SCORE 777541.713
AT ITER 6898 NEW BEST:: SOT 9276876 SOS 6332919 HAS SOPS 5039721 HAS SOUS 789330 HAS SOUPS 771168 WITH SCORE 777500.919
AT ITER 6909 NEW BEST:: SOT 9276179 SOS 6332222 HAS SOPS 5038854 HAS SOUS 787749 HAS SOUPS 769587 WITH SCORE 775919.222
AT ITER 6910 NEW BEST:: SOT 9277472 SOS 6334834 HAS SOPS 5041183 HAS SOUS 787691 HAS SOUPS 769530 WITH SCORE 775864.834
AT ITER 6924 NEW BEST:: SOT 9277437 SOS 6331718 HAS SOPS 5038065 HAS SOUS 787679 HAS SOUPS 769518 WITH SCORE 775849.718
AT ITER 6954 NEW BEST:: SOT 9284445 SOS 6338666 HAS SOPS 5043537 HAS SOUS 787516 HAS SOUPS 769355 WITH SCORE 775693.666
AT ITER 6959 NEW BEST:: SOT 9284369 SOS 6338504 HAS SOPS 5043355 HAS SOUS 787385 HAS SOUPS 769224 WITH SCORE 775562.504
AT ITER 6964 NEW BEST:: SOT 9284695 SOS 6338882 HAS SOPS 5043377 HAS SOUS 786920 HAS SOUPS 768783 WITH SCORE 775121.882
AT ITER 6974 NEW BEST:: SOT 9284695 SOS 6338910 HAS SOPS 5043393 HAS SOUS 786850 HAS SOUPS 768713 WITH SCORE 775051.91
AT ITER 7021 NEW BEST:: SOT 9284773 SOS 6334903 HAS SOPS 5039906 HAS SOUS 786760 HAS SOUPS 768623 WITH SCORE 774957.903
AT ITER 7033 NEW BEST:: SOT 9284773 SOS 6334905 HAS SOPS 5039904 HAS SOUS 786744 HAS SOUPS 768607 WITH SCORE 774941.905
AT ITER 7066 NEW BEST:: SOT 9284715 SOS 6334847 HAS SOPS 5039849 HAS SOUS 786672 HAS SOUPS 768535 WITH SCORE 774869.847
AT ITER 7095 NEW BEST:: SOT 9283632 SOS 6334646 HAS SOPS 5039231 HAS SOUS 785719 HAS SOUPS 767582 WITH SCORE 773916.646
AT ITER 7116 NEW BEST:: SOT 9283041 SOS 6334244 HAS SOPS 5038808 HAS SOUS 785296 HAS SOUPS 767195 WITH SCORE 773529.244
AT ITER 7130 NEW BEST:: SOT 9283028 SOS 6334227 HAS SOPS 5038829 HAS SOUS 785153 HAS SOUPS 767052 WITH SCORE 773386.227
AT ITER 7134 NEW BEST:: SOT 9285289 SOS 6336473 HAS SOPS 5040973 HAS SOUS 785019 HAS SOUPS 766950 WITH SCORE 773286.473
AT ITER 7159 NEW BEST:: SOT 9285283 SOS 6336468 HAS SOPS 5040965 HAS SOUS 784997 HAS SOUPS 766928 WITH SCORE 773264.468
AT ITER 7196 NEW BEST:: SOT 9285320 SOS 6345668 HAS SOPS 5055012 HAS SOUS 784947 HAS SOUPS 766915 WITH SCORE 773260.668
AT ITER 7199 NEW BEST:: SOT 9286826 SOS 6347046 HAS SOPS 5055117 HAS SOUS 783967 HAS SOUPS 765976 WITH SCORE 772323.046
AT ITER 7208 NEW BEST:: SOT 9287121 SOS 6347574 HAS SOPS 5055865 HAS SOUS 783813 HAS SOUPS 765831 WITH SCORE 772178.574
AT ITER 7215 NEW BEST:: SOT 9287157 SOS 6347609 HAS SOPS 5055875 HAS SOUS 783735 HAS SOUPS 765753 WITH SCORE 772100.609
AT ITER 7220 NEW BEST:: SOT 9287127 SOS 6349800 HAS SOPS 5056674 HAS SOUS 783715 HAS SOUPS 765727 WITH SCORE 772076.8
AT ITER 7245 NEW BEST:: SOT 9286400 SOS 6347223 HAS SOPS 5054347 HAS SOUS 783335 HAS SOUPS 765332 WITH SCORE 771679.223
AT ITER 7247 NEW BEST:: SOT 9286398 SOS 6350814 HAS SOPS 5057940 HAS SOUS 783314 HAS SOUPS 765311 WITH SCORE 771661.814
AT ITER 7291 NEW BEST:: SOT 9287218 SOS 6351554 HAS SOPS 5058563 HAS SOUS 783134 HAS SOUPS 765137 WITH SCORE 771488.554
AT ITER 7308 NEW BEST:: SOT 9287233 SOS 6350733 HAS SOPS 5059538 HAS SOUS 782959 HAS SOUPS 764972 WITH SCORE 771322.733
AT ITER 7315 NEW BEST:: SOT 9285880 SOS 6349293 HAS SOPS 5057599 HAS SOUS 780207 HAS SOUPS 762220 WITH SCORE 768569.293
AT ITER 7320 NEW BEST:: SOT 9285883 SOS 6349288 HAS SOPS 5057421 HAS SOUS 779567 HAS SOUPS 761580 WITH SCORE 767929.288
AT ITER 7323 NEW BEST:: SOT 9286826 SOS 6345189 HAS SOPS 5056320 HAS SOUS 779427 HAS SOUPS 761457 WITH SCORE 767802.189
AT ITER 7331 NEW BEST:: SOT 9281615 SOS 6252904 HAS SOPS 4963777 HAS SOUS 770857 HAS SOUPS 752887 WITH SCORE 759139.904
AT ITER 7353 NEW BEST:: SOT 9281522 SOS 6252805 HAS SOPS 4963687 HAS SOUS 770815 HAS SOUPS 752845 WITH SCORE 759097.805
AT ITER 7367 NEW BEST:: SOT 9281496 SOS 6252779 HAS SOPS 4963664 HAS SOUS 770799 HAS SOUPS 752829 WITH SCORE 759081.779
AT ITER 7453 NEW BEST:: SOT 9281490 SOS 6249221 HAS SOPS 4960030 HAS SOUS 770691 HAS SOUPS 752721 WITH SCORE 758970.221
AT ITER 7460 NEW BEST:: SOT 9281248 SOS 6255275 HAS SOPS 4965616 HAS SOUS 770196 HAS SOUPS 752226 WITH SCORE 758481.275
AT ITER 7478 NEW BEST:: SOT 9281385 SOS 6238340 HAS SOPS 4948415 HAS SOUS 770146 HAS SOUPS 752176 WITH SCORE 758414.34
AT ITER 7536 NEW BEST:: SOT 9281025 SOS 6237980 HAS SOPS 4947929 HAS SOUS 770026 HAS SOUPS 752056 WITH SCORE 758293.98
AT ITER 7544 NEW BEST:: SOT 9281039 SOS 6237990 HAS SOPS 4947957 HAS SOUS 769911 HAS SOUPS 751941 WITH SCORE 758178.99
AT ITER 7566 NEW BEST:: SOT 9281041 SOS 6237791 HAS SOPS 4947995 HAS SOUS 769910 HAS SOUPS 751941 WITH SCORE 758178.791
AT ITER 7594 NEW BEST:: SOT 9278348 SOS 6264758 HAS SOPS 4945656 HAS SOUS 766807 HAS SOUPS 749231 WITH SCORE 755495.758
AT ITER 7597 NEW BEST:: SOT 9278409 SOS 6266353 HAS SOPS 4947247 HAS SOUS 766763 HAS SOUPS 749187 WITH SCORE 755453.353
AT ITER 7628 NEW BEST:: SOT 9275401 SOS 6263289 HAS SOPS 4944594 HAS SOUS 766435 HAS SOUPS 748859 WITH SCORE 755122.289
AT ITER 7633 NEW BEST:: SOT 9274665 SOS 6262521 HAS SOPS 4944114 HAS SOUS 765882 HAS SOUPS 748306 WITH SCORE 754568.521
AT ITER 7644 NEW BEST:: SOT 9275739 SOS 6263651 HAS SOPS 4944850 HAS SOUS 764741 HAS SOUPS 747165 WITH SCORE 753428.651
AT ITER 7646 NEW BEST:: SOT 9276404 SOS 6264967 HAS SOPS 4945979 HAS SOUS 764335 HAS SOUPS 746766 WITH SCORE 753030.967
AT ITER 7680 NEW BEST:: SOT 9275882 SOS 6264445 HAS SOPS 4945496 HAS SOUS 764146 HAS SOUPS 746577 WITH SCORE 752841.445
AT ITER 7706 NEW BEST:: SOT 9275609 SOS 6264282 HAS SOPS 4945032 HAS SOUS 764054 HAS SOUPS 746485 WITH SCORE 752749.282
AT ITER 7731 NEW BEST:: SOT 9275745 SOS 6264738 HAS SOPS 4945422 HAS SOUS 764014 HAS SOUPS 746445 WITH SCORE 752709.738
AT ITER 7741 NEW BEST:: SOT 9273261 SOS 6263500 HAS SOPS 4942111 HAS SOUS 763404 HAS SOUPS 745835 WITH SCORE 752098.5
AT ITER 7743 NEW BEST:: SOT 9273279 SOS 6263347 HAS SOPS 4941940 HAS SOUS 763320 HAS SOUPS 745751 WITH SCORE 752014.347
AT ITER 7804 NEW BEST:: SOT 9271962 SOS 6262070 HAS SOPS 4940715 HAS SOUS 762782 HAS SOUPS 745113 WITH SCORE 751375.07
AT ITER 7825 NEW BEST:: SOT 9272402 SOS 6262475 HAS SOPS 4940423 HAS SOUS 761890 HAS SOUPS 744218 WITH SCORE 750480.475
AT ITER 7883 NEW BEST:: SOT 9272407 SOS 6261385 HAS SOPS 4938458 HAS SOUS 761851 HAS SOUPS 744159 WITH SCORE 750420.385
AT ITER 7900 NEW BEST:: SOT 9271931 SOS 6260909 HAS SOPS 4937838 HAS SOUS 761771 HAS SOUPS 744079 WITH SCORE 750339.909
AT ITER 7907 NEW BEST:: SOT 9271413 SOS 6260363 HAS SOPS 4937236 HAS SOUS 761659 HAS SOUPS 743967 WITH SCORE 750227.363
AT ITER 7926 NEW BEST:: SOT 9269927 SOS 6263499 HAS SOPS 4937421 HAS SOUS 756890 HAS SOUPS 739198 WITH SCORE 745461.499
AT ITER 7952 NEW BEST:: SOT 9269551 SOS 6263110 HAS SOPS 4936857 HAS SOUS 755956 HAS SOUPS 738264 WITH SCORE 744527.11
AT ITER 7956 NEW BEST:: SOT 9269167 SOS 6267009 HAS SOPS 4944912 HAS SOUS 755536 HAS SOUPS 737794 WITH SCORE 744061.009
AT ITER 7957 NEW BEST:: SOT 9269101 SOS 6266943 HAS SOPS 4944846 HAS SOUS 755444 HAS SOUPS 737702 WITH SCORE 743968.943
AT ITER 7990 NEW BEST:: SOT 9267056 SOS 6264898 HAS SOPS 4943182 HAS SOUS 754759 HAS SOUPS 737017 WITH SCORE 743281.898
AT ITER 8003 NEW BEST:: SOT 9268289 SOS 6266057 HAS SOPS 4944084 HAS SOUS 754388 HAS SOUPS 736646 WITH SCORE 742912.057
AT ITER 8017 NEW BEST:: SOT 9268114 SOS 6265889 HAS SOPS 4943933 HAS SOUS 754367 HAS SOUPS 736625 WITH SCORE 742890.889
AT ITER 8019 NEW BEST:: SOT 9268186 SOS 6266976 HAS SOPS 4944979 HAS SOUS 754202 HAS SOUPS 736460 WITH SCORE 742726.976
AT ITER 8059 NEW BEST:: SOT 9268551 SOS 6267406 HAS SOPS 4944832 HAS SOUS 754166 HAS SOUPS 736421 WITH SCORE 742688.406
AT ITER 8100 NEW BEST:: SOT 9263964 SOS 6285052 HAS SOPS 4924626 HAS SOUS 750735 HAS SOUPS 732846 WITH SCORE 739131.052
AT ITER 8117 NEW BEST:: SOT 9263165 SOS 6282873 HAS SOPS 4922274 HAS SOUS 750182 HAS SOUPS 732293 WITH SCORE 738575.873
AT ITER 8143 NEW BEST:: SOT 9263081 SOS 6299010 HAS SOPS 4938567 HAS SOUS 750036 HAS SOUPS 732147 WITH SCORE 738446.01
AT ITER 8146 NEW BEST:: SOT 9263097 SOS 6299012 HAS SOPS 4938469 HAS SOUS 749840 HAS SOUPS 731951 WITH SCORE 738250.012
AT ITER 8157 NEW BEST:: SOT 9262947 SOS 6298873 HAS SOPS 4938391 HAS SOUS 749394 HAS SOUPS 731505 WITH SCORE 737803.873
AT ITER 8163 NEW BEST:: SOT 9261247 SOS 6291704 HAS SOPS 4936668 HAS SOUS 749102 HAS SOUPS 731225 WITH SCORE 737516.704
AT ITER 8182 NEW BEST:: SOT 9261189 SOS 6291945 HAS SOPS 4936585 HAS SOUS 748861 HAS SOUPS 730977 WITH SCORE 737268.945
AT ITER 8210 NEW BEST:: SOT 9261189 SOS 6281300 HAS SOPS 4925940 HAS SOUS 748863 HAS SOUPS 730979 WITH SCORE 737260.3
AT ITER 8233 NEW BEST:: SOT 9261351 SOS 6281458 HAS SOPS 4925926 HAS SOUS 748731 HAS SOUPS 730847 WITH SCORE 737128.458
AT ITER 8301 NEW BEST:: SOT 9261841 SOS 6283884 HAS SOPS 4930314 HAS SOUS 748205 HAS SOUPS 730333 WITH SCORE 736616.884
AT ITER 8319 NEW BEST:: SOT 9260569 SOS 6282612 HAS SOPS 4929506 HAS SOUS 747613 HAS SOUPS 729869 WITH SCORE 736151.612
AT ITER 8345 NEW BEST:: SOT 9260175 SOS 6282218 HAS SOPS 4929168 HAS SOUS 747405 HAS SOUPS 729661 WITH SCORE 735943.218
AT ITER 8397 NEW BEST:: SOT 9259899 SOS 6281909 HAS SOPS 4928775 HAS SOUS 746794 HAS SOUPS 729050 WITH SCORE 735331.909
AT ITER 8405 NEW BEST:: SOT 9270586 SOS 6288626 HAS SOPS 4935392 HAS SOUS 741173 HAS SOUPS 724047 WITH SCORE 730335.626
AT ITER 8459 NEW BEST:: SOT 9269978 SOS 6288018 HAS SOPS 4934660 HAS SOUS 739827 HAS SOUPS 722701 WITH SCORE 728989.018
AT ITER 8463 NEW BEST:: SOT 9270560 SOS 6289833 HAS SOPS 4936264 HAS SOUS 739389 HAS SOUPS 722274 WITH SCORE 728563.833
AT ITER 8507 NEW BEST:: SOT 9270583 SOS 6296526 HAS SOPS 4932829 HAS SOUS 739395 HAS SOUPS 722245 WITH SCORE 728541.526
AT ITER 8548 NEW BEST:: SOT 9268493 SOS 6294247 HAS SOPS 4930312 HAS SOUS 737791 HAS SOUPS 720641 WITH SCORE 726935.247
AT ITER 8587 NEW BEST:: SOT 9266613 SOS 6292420 HAS SOPS 4928589 HAS SOUS 736179 HAS SOUPS 719029 WITH SCORE 725321.42
AT ITER 8595 NEW BEST:: SOT 9264331 SOS 6292992 HAS SOPS 4929963 HAS SOUS 736157 HAS SOUPS 719007 WITH SCORE 725299.992
AT ITER 8617 NEW BEST:: SOT 9264408 SOS 6277545 HAS SOPS 4921040 HAS SOUS 736102 HAS SOUPS 719002 WITH SCORE 725279.545
AT ITER 8628 NEW BEST:: SOT 9269087 SOS 6282104 HAS SOPS 4924512 HAS SOUS 734686 HAS SOUPS 717555 WITH SCORE 723837.104
AT ITER 8651 NEW BEST:: SOT 9269052 SOS 6282080 HAS SOPS 4924534 HAS SOUS 734266 HAS SOUPS 717135 WITH SCORE 723417.08
AT ITER 8652 NEW BEST:: SOT 9267545 SOS 6280677 HAS SOPS 4924098 HAS SOUS 734193 HAS SOUPS 717050 WITH SCORE 723330.677
AT ITER 8678 NEW BEST:: SOT 9267389 SOS 6280521 HAS SOPS 4923992 HAS SOUS 734189 HAS SOUPS 717046 WITH SCORE 723326.521
AT ITER 8692 NEW BEST:: SOT 9274612 SOS 6287633 HAS SOPS 4929294 HAS SOUS 731551 HAS SOUPS 714408 WITH SCORE 720695.633
AT ITER 8695 NEW BEST:: SOT 9274581 SOS 6268530 HAS SOPS 4906141 HAS SOUS 729182 HAS SOUPS 712039 WITH SCORE 718307.53
AT ITER 8717 NEW BEST:: SOT 9274213 SOS 6278704 HAS SOPS 4916305 HAS SOUS 728823 HAS SOUPS 711680 WITH SCORE 717958.704
AT ITER 8736 NEW BEST:: SOT 9274046 SOS 6278579 HAS SOPS 4915944 HAS SOUS 727376 HAS SOUPS 710233 WITH SCORE 716511.579
AT ITER 8741 NEW BEST:: SOT 9276521 SOS 6280998 HAS SOPS 4917803 HAS SOUS 726043 HAS SOUPS 708900 WITH SCORE 715180.998
AT ITER 8756 NEW BEST:: SOT 9276511 SOS 6285431 HAS SOPS 4916919 HAS SOUS 725319 HAS SOUPS 708129 WITH SCORE 714414.431
AT ITER 8771 NEW BEST:: SOT 9276500 SOS 6285465 HAS SOPS 4916953 HAS SOUS 725269 HAS SOUPS 708079 WITH SCORE 714364.465
AT ITER 8780 NEW BEST:: SOT 9278157 SOS 6293632 HAS SOPS 4931354 HAS SOUS 724844 HAS SOUPS 707692 WITH SCORE 713985.632
AT ITER 8799 NEW BEST:: SOT 9277723 SOS 6293205 HAS SOPS 4930984 HAS SOUS 724445 HAS SOUPS 707293 WITH SCORE 713586.205
AT ITER 8822 NEW BEST:: SOT 9277677 SOS 6293157 HAS SOPS 4930928 HAS SOUS 724328 HAS SOUPS 707176 WITH SCORE 713469.157
AT ITER 8856 NEW BEST:: SOT 9277677 SOS 6294690 HAS SOPS 4929824 HAS SOUS 724320 HAS SOUPS 707159 WITH SCORE 713453.69
AT ITER 8893 NEW BEST:: SOT 9277135 SOS 6294148 HAS SOPS 4929181 HAS SOUS 723559 HAS SOUPS 706398 WITH SCORE 712692.148
AT ITER 8901 NEW BEST:: SOT 9275963 SOS 6292957 HAS SOPS 4927526 HAS SOUS 720503 HAS SOUPS 703342 WITH SCORE 709634.957
AT ITER 8992 NEW BEST:: SOT 9275963 SOS 6292228 HAS SOPS 4926557 HAS SOUS 720503 HAS SOUPS 703339 WITH SCORE 709631.228
AT ITER 8996 NEW BEST:: SOT 9275371 SOS 6291608 HAS SOPS 4926017 HAS SOUS 720113 HAS SOUPS 702955 WITH SCORE 709246.608
AT ITER 9006 NEW BEST:: SOT 9274624 SOS 6290872 HAS SOPS 4925362 HAS SOUS 719499 HAS SOUPS 702378 WITH SCORE 708668.872
AT ITER 9015 NEW BEST:: SOT 9274574 SOS 6287128 HAS SOPS 4921243 HAS SOUS 719003 HAS SOUPS 701882 WITH SCORE 708169.128
AT ITER 9057 NEW BEST:: SOT 9274834 SOS 6285376 HAS SOPS 4919501 HAS SOUS 718947 HAS SOUPS 701826 WITH SCORE 708111.376
AT ITER 9102 NEW BEST:: SOT 9274830 SOS 6283584 HAS SOPS 4917709 HAS SOUS 718943 HAS SOUPS 701822 WITH SCORE 708105.584
AT ITER 9118 NEW BEST:: SOT 9274830 SOS 6285564 HAS SOPS 4919689 HAS SOUS 718933 HAS SOUPS 701812 WITH SCORE 708097.564
AT ITER 9130 NEW BEST:: SOT 9276395 SOS 6289496 HAS SOPS 4923049 HAS SOUS 718812 HAS SOUPS 701713 WITH SCORE 708002.496
AT ITER 9178 NEW BEST:: SOT 9275138 SOS 6288252 HAS SOPS 4921937 HAS SOUS 718195 HAS SOUPS 701085 WITH SCORE 707373.252
AT ITER 9186 NEW BEST:: SOT 9275098 SOS 6288200 HAS SOPS 4921962 HAS SOUS 717990 HAS SOUPS 700880 WITH SCORE 707168.2
AT ITER 9211 NEW BEST:: SOT 9277220 SOS 6284798 HAS SOPS 4923540 HAS SOUS 717856 HAS SOUPS 700746 WITH SCORE 707030.798
AT ITER 9280 NEW BEST:: SOT 9276403 SOS 6283088 HAS SOPS 4921939 HAS SOUS 717252 HAS SOUPS 700142 WITH SCORE 706425.088
AT ITER 9287 NEW BEST:: SOT 9276046 SOS 6282257 HAS SOPS 4921178 HAS SOUS 716713 HAS SOUPS 699603 WITH SCORE 705885.257
AT ITER 9296 NEW BEST:: SOT 9275988 SOS 6292352 HAS SOPS 4926343 HAS SOUS 716694 HAS SOUPS 699563 WITH SCORE 705855.352
AT ITER 9327 NEW BEST:: SOT 9275988 SOS 6292703 HAS SOPS 4926694 HAS SOUS 716676 HAS SOUPS 699545 WITH SCORE 705837.703
AT ITER 9352 NEW BEST:: SOT 9276916 SOS 6293615 HAS SOPS 4927398 HAS SOUS 716548 HAS SOUPS 699417 WITH SCORE 705710.615
AT ITER 9383 NEW BEST:: SOT 9277192 SOS 6293887 HAS SOPS 4927526 HAS SOUS 716120 HAS SOUPS 698989 WITH SCORE 705282.887
AT ITER 9412 NEW BEST:: SOT 9277108 SOS 6293821 HAS SOPS 4927394 HAS SOUS 715598 HAS SOUPS 698467 WITH SCORE 704760.821
AT ITER 9421 NEW BEST:: SOT 9275135 SOS 6284040 HAS SOPS 4925375 HAS SOUS 713853 HAS SOUPS 696737 WITH SCORE 703021.04
AT ITER 9509 NEW BEST:: SOT 9275135 SOS 6288217 HAS SOPS 4929454 HAS SOUS 713777 HAS SOUPS 696661 WITH SCORE 702949.217
AT ITER 9542 NEW BEST:: SOT 9275844 SOS 6288897 HAS SOPS 4929752 HAS SOUS 712337 HAS SOUPS 695221 WITH SCORE 701509.897
AT ITER 9546 NEW BEST:: SOT 9275804 SOS 6288867 HAS SOPS 4929682 HAS SOUS 712207 HAS SOUPS 695091 WITH SCORE 701379.867
AT ITER 9613 NEW BEST:: SOT 9275669 SOS 6289197 HAS SOPS 4929967 HAS SOUS 712139 HAS SOUPS 695023 WITH SCORE 701312.197
AT ITER 9651 NEW BEST:: SOT 9275650 SOS 6278860 HAS SOPS 4920109 HAS SOUS 711838 HAS SOUPS 694722 WITH SCORE 701000.86
AT ITER 9666 NEW BEST:: SOT 9277432 SOS 6280594 HAS SOPS 4921204 HAS SOUS 709533 HAS SOUPS 692432 WITH SCORE 698712.594
AT ITER 9667 NEW BEST:: SOT 9277844 SOS 6280992 HAS SOPS 4921558 HAS SOUS 709321 HAS SOUPS 692220 WITH SCORE 698500.992
AT ITER 9673 NEW BEST:: SOT 9277341 SOS 6308957 HAS SOPS 4949494 HAS SOUS 709163 HAS SOUPS 692062 WITH SCORE 698370.957
AT ITER 9720 NEW BEST:: SOT 9278641 SOS 6310257 HAS SOPS 4950377 HAS SOUS 708443 HAS SOUPS 691342 WITH SCORE 697652.257
AT ITER 9748 NEW BEST:: SOT 9278589 SOS 6310201 HAS SOPS 4950325 HAS SOUS 708179 HAS SOUPS 691078 WITH SCORE 697388.201
AT ITER 9754 NEW BEST:: SOT 9275731 SOS 6307311 HAS SOPS 4948069 HAS SOUS 708120 HAS SOUPS 691019 WITH SCORE 697326.311
AT ITER 9794 NEW BEST:: SOT 9274573 SOS 6305639 HAS SOPS 4946257 HAS SOUS 707053 HAS SOUPS 689949 WITH SCORE 696254.639
AT ITER 9831 NEW BEST:: SOT 9274467 SOS 6314153 HAS SOPS 4954443 HAS SOUS 706995 HAS SOUPS 689891 WITH SCORE 696205.153
AT ITER 9838 NEW BEST:: SOT 9274467 SOS 6313475 HAS SOPS 4953765 HAS SOUS 706951 HAS SOUPS 689847 WITH SCORE 696160.475
AT ITER 9856 NEW BEST:: SOT 9273271 SOS 6304684 HAS SOPS 4946307 HAS SOUS 701232 HAS SOUPS 684131 WITH SCORE 690435.684
AT ITER 9861 NEW BEST:: SOT 9272502 SOS 6303915 HAS SOPS 4945550 HAS SOUS 700706 HAS SOUPS 683605 WITH SCORE 689908.915
AT ITER 9864 NEW BEST:: SOT 9273031 SOS 6306017 HAS SOPS 4949907 HAS SOUS 700394 HAS SOUPS 683306 WITH SCORE 689612.017
AT ITER 9880 NEW BEST:: SOT 9272864 SOS 6305857 HAS SOPS 4949766 HAS SOUS 700354 HAS SOUPS 683266 WITH SCORE 689571.857
AT ITER 9939 NEW BEST:: SOT 9272809 SOS 6305797 HAS SOPS 4949658 HAS SOUS 700121 HAS SOUPS 683033 WITH SCORE 689338.797
AT ITER 9947 NEW BEST:: SOT 9272809 SOS 6312470 HAS SOPS 4956331 HAS SOUS 700077 HAS SOUPS 682989 WITH SCORE 689301.47
AT ITER 9968 NEW BEST:: SOT 9272762 SOS 6318122 HAS SOPS 4959389 HAS SOUS 700091 HAS SOUPS 682983 WITH SCORE 689301.122
AT ITER 9976 NEW BEST:: SOT 9272762 SOS 6319103 HAS SOPS 4960100 HAS SOUS 699623 HAS SOUPS 682515 WITH SCORE 688834.103
AT ITER 9980 NEW BEST:: SOT 9272606 SOS 6318798 HAS SOPS 4959770 HAS SOUS 699523 HAS SOUPS 682415 WITH SCORE 688733.798
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15969228 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16120588 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="RERS2020-PT-pb103"
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 RERS2020-PT-pb103, 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 r323-tall-167889194400240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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