About the Execution of smart for DLCshifumi-PT-6a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15765.750 | 3600000.00 | 3600030.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922806900072.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCshifumi-PT-6a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922806900072
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.0M
-rw-r--r-- 1 mcc users 3.7K Mar 31 04:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 31 04:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 20:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 20:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 13:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 28 13:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 27 06:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 27 06:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 6.9M Mar 24 05:37 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 1589357749031
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 6a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 3568 places, 25936 transitions, 101182 arcs.
AT ITER 0 NEW BEST:: SOT 55980573 SOS 47265395 HAS SOPS 23151194 HAS SOUS 3859570 HAS SOUPS 1636246 WITH SCORE 1683511.395
AT ITER 5 NEW BEST:: SOT 55980573 SOS 47265395 HAS SOPS 23151194 HAS SOUS 3859342 HAS SOUPS 1636018 WITH SCORE 1683283.395
AT ITER 10 NEW BEST:: SOT 55979909 SOS 47264067 HAS SOPS 23151858 HAS SOUS 3858014 HAS SOUPS 1635022 WITH SCORE 1682286.067
AT ITER 14 NEW BEST:: SOT 55979367 SOS 47261667 HAS SOPS 23153406 HAS SOUS 3856814 HAS SOUPS 1634480 WITH SCORE 1681741.667
AT ITER 19 NEW BEST:: SOT 55978819 SOS 47260571 HAS SOPS 23152310 HAS SOUS 3855992 HAS SOUPS 1633658 WITH SCORE 1680918.571
AT ITER 20 NEW BEST:: SOT 55976359 SOS 47268566 HAS SOPS 23150081 HAS SOUS 3855278 HAS SOUPS 1632376 WITH SCORE 1679644.566
AT ITER 26 NEW BEST:: SOT 55976359 SOS 47268566 HAS SOPS 23150081 HAS SOUS 3855086 HAS SOUPS 1632184 WITH SCORE 1679452.566
AT ITER 30 NEW BEST:: SOT 55976359 SOS 47268566 HAS SOPS 23150081 HAS SOUS 3854964 HAS SOUPS 1632062 WITH SCORE 1679330.566
AT ITER 43 NEW BEST:: SOT 55976411 SOS 47268856 HAS SOPS 23150371 HAS SOUS 3854753 HAS SOUPS 1631851 WITH SCORE 1679119.856
AT ITER 45 NEW BEST:: SOT 55976407 SOS 47268202 HAS SOPS 23149717 HAS SOUS 3854749 HAS SOUPS 1631847 WITH SCORE 1679115.202
AT ITER 69 NEW BEST:: SOT 55976407 SOS 47268202 HAS SOPS 23149717 HAS SOUS 3854541 HAS SOUPS 1631639 WITH SCORE 1678907.202
AT ITER 71 NEW BEST:: SOT 55976407 SOS 47268202 HAS SOPS 23149717 HAS SOUS 3854175 HAS SOUPS 1631273 WITH SCORE 1678541.202
AT ITER 78 NEW BEST:: SOT 55973100 SOS 47073192 HAS SOPS 23161087 HAS SOUS 3852418 HAS SOUPS 1629516 WITH SCORE 1676589.192
AT ITER 84 NEW BEST:: SOT 55970824 SOS 47080384 HAS SOPS 23159135 HAS SOUS 3851693 HAS SOUPS 1628283 WITH SCORE 1675363.384
AT ITER 91 NEW BEST:: SOT 55966214 SOS 47096814 HAS SOPS 23163829 HAS SOUS 3849198 HAS SOUPS 1625788 WITH SCORE 1672884.814
AT ITER 93 NEW BEST:: SOT 55961912 SOS 47105602 HAS SOPS 23164097 HAS SOUS 3845539 HAS SOUPS 1622129 WITH SCORE 1669234.602
AT ITER 109 NEW BEST:: SOT 55961912 SOS 47105602 HAS SOPS 23164097 HAS SOUS 3845235 HAS SOUPS 1621825 WITH SCORE 1668930.602
AT ITER 131 NEW BEST:: SOT 55961349 SOS 47103442 HAS SOPS 23165039 HAS SOUS 3844266 HAS SOUPS 1621373 WITH SCORE 1668476.442
AT ITER 138 NEW BEST:: SOT 55959256 SOS 47108196 HAS SOPS 23161747 HAS SOUS 3843443 HAS SOUPS 1620103 WITH SCORE 1667211.196
AT ITER 144 NEW BEST:: SOT 55958820 SOS 47105800 HAS SOPS 23163923 HAS SOUS 3842245 HAS SOUPS 1619667 WITH SCORE 1666772.8
AT ITER 153 NEW BEST:: SOT 55957964 SOS 47104088 HAS SOPS 23164779 HAS SOUS 3840533 HAS SOUPS 1618383 WITH SCORE 1665487.088
AT ITER 157 NEW BEST:: SOT 55956276 SOS 47106952 HAS SOPS 23162027 HAS SOUS 3839845 HAS SOUPS 1617383 WITH SCORE 1664489.952
AT ITER 160 NEW BEST:: SOT 55950815 SOS 47123108 HAS SOPS 23165619 HAS SOUS 3835933 HAS SOUPS 1613471 WITH SCORE 1660594.108
AT ITER 173 NEW BEST:: SOT 55950815 SOS 47123108 HAS SOPS 23165619 HAS SOUS 3835575 HAS SOUPS 1613113 WITH SCORE 1660236.108
AT ITER 180 NEW BEST:: SOT 55946402 SOS 47138380 HAS SOPS 23170007 HAS SOUS 3832544 HAS SOUPS 1610082 WITH SCORE 1657220.38
AT ITER 199 NEW BEST:: SOT 55946402 SOS 47138380 HAS SOPS 23170007 HAS SOUS 3832178 HAS SOUPS 1609716 WITH SCORE 1656854.38
AT ITER 200 NEW BEST:: SOT 55945988 SOS 47136214 HAS SOPS 23171855 HAS SOUS 3831315 HAS SOUPS 1609522 WITH SCORE 1656658.214
AT ITER 202 NEW BEST:: SOT 55939382 SOS 47142988 HAS SOPS 23169305 HAS SOUS 3827021 HAS SOUPS 1605228 WITH SCORE 1652370.988
AT ITER 220 NEW BEST:: SOT 55939382 SOS 47142988 HAS SOPS 23169305 HAS SOUS 3826655 HAS SOUPS 1604862 WITH SCORE 1652004.988
AT ITER 242 NEW BEST:: SOT 55938956 SOS 47142136 HAS SOPS 23169731 HAS SOUS 3825803 HAS SOUPS 1604223 WITH SCORE 1651365.136
AT ITER 244 NEW BEST:: SOT 55935791 SOS 47150170 HAS SOPS 23167127 HAS SOUS 3823860 HAS SOUPS 1601689 WITH SCORE 1648839.17
AT ITER 246 NEW BEST:: SOT 55935445 SOS 47149132 HAS SOPS 23166089 HAS SOUS 3823514 HAS SOUPS 1601343 WITH SCORE 1648492.132
AT ITER 247 NEW BEST:: SOT 55935445 SOS 47149132 HAS SOPS 23166089 HAS SOUS 3823148 HAS SOUPS 1600977 WITH SCORE 1648126.132
AT ITER 260 NEW BEST:: SOT 55930987 SOS 47163550 HAS SOPS 23169887 HAS SOUS 3820016 HAS SOUPS 1597845 WITH SCORE 1645008.55
AT ITER 270 NEW BEST:: SOT 55930987 SOS 47163550 HAS SOPS 23169887 HAS SOUS 3819650 HAS SOUPS 1597479 WITH SCORE 1644642.55
AT ITER 280 NEW BEST:: SOT 55930309 SOS 47161140 HAS SOPS 23170639 HAS SOUS 3818445 HAS SOUPS 1596801 WITH SCORE 1643962.14
AT ITER 310 NEW BEST:: SOT 55929564 SOS 47159650 HAS SOPS 23173565 HAS SOUS 3816592 HAS SOUPS 1595684 WITH SCORE 1642843.65
AT ITER 312 NEW BEST:: SOT 55928726 SOS 47157974 HAS SOPS 23174403 HAS SOUS 3814916 HAS SOUPS 1594427 WITH SCORE 1641584.974
AT ITER 330 NEW BEST:: SOT 55928277 SOS 47156010 HAS SOPS 23175637 HAS SOUS 3814071 HAS SOUPS 1594115 WITH SCORE 1641271.01
AT ITER 345 NEW BEST:: SOT 55927029 SOS 47159146 HAS SOPS 23174165 HAS SOUS 3813319 HAS SOUPS 1593107 WITH SCORE 1640266.146
AT ITER 361 NEW BEST:: SOT 55922332 SOS 47171082 HAS SOPS 23175661 HAS SOUS 3809731 HAS SOUPS 1589519 WITH SCORE 1636690.082
AT ITER 369 NEW BEST:: SOT 55922332 SOS 47171082 HAS SOPS 23175661 HAS SOUS 3809365 HAS SOUPS 1589153 WITH SCORE 1636324.082
AT ITER 388 NEW BEST:: SOT 55922332 SOS 47171082 HAS SOPS 23175661 HAS SOUS 3808999 HAS SOUPS 1588787 WITH SCORE 1635958.082
AT ITER 417 NEW BEST:: SOT 55918065 SOS 47195350 HAS SOPS 23185853 HAS SOUS 3806674 HAS SOUPS 1586462 WITH SCORE 1633657.35
AT ITER 420 NEW BEST:: SOT 55911022 SOS 47206898 HAS SOPS 23185725 HAS SOUS 3802781 HAS SOUPS 1582569 WITH SCORE 1629775.898
AT ITER 429 NEW BEST:: SOT 55910542 SOS 47205938 HAS SOPS 23187327 HAS SOUS 3801874 HAS SOUPS 1582089 WITH SCORE 1629294.938
AT ITER 431 NEW BEST:: SOT 55909996 SOS 47203608 HAS SOPS 23188711 HAS SOUS 3800709 HAS SOUPS 1581543 WITH SCORE 1628746.608
AT ITER 444 NEW BEST:: SOT 55908091 SOS 47223734 HAS SOPS 23199861 HAS SOUS 3799628 HAS SOUPS 1580462 WITH SCORE 1627685.734
AT ITER 478 NEW BEST:: SOT 55908091 SOS 47223734 HAS SOPS 23199861 HAS SOUS 3799264 HAS SOUPS 1580098 WITH SCORE 1627321.734
AT ITER 481 NEW BEST:: SOT 55905697 SOS 47226706 HAS SOPS 23195849 HAS SOUS 3797634 HAS SOUPS 1578080 WITH SCORE 1625306.706
AT ITER 489 NEW BEST:: SOT 55905421 SOS 47226154 HAS SOPS 23195297 HAS SOUS 3797082 HAS SOUPS 1577528 WITH SCORE 1624754.154
AT ITER 506 NEW BEST:: SOT 55905421 SOS 47226154 HAS SOPS 23195297 HAS SOUS 3796716 HAS SOUPS 1577162 WITH SCORE 1624388.154
AT ITER 510 NEW BEST:: SOT 55904116 SOS 47228010 HAS SOPS 23193499 HAS SOUS 3795962 HAS SOUPS 1576205 WITH SCORE 1623433.01
AT ITER 514 NEW BEST:: SOT 55904096 SOS 47227970 HAS SOPS 23193459 HAS SOUS 3795932 HAS SOUPS 1576175 WITH SCORE 1623402.97
AT ITER 520 NEW BEST:: SOT 55903942 SOS 47226518 HAS SOPS 23195439 HAS SOUS 3795206 HAS SOUPS 1576021 WITH SCORE 1623247.518
AT ITER 523 NEW BEST:: SOT 55903942 SOS 47226518 HAS SOPS 23195439 HAS SOUS 3794922 HAS SOUPS 1575737 WITH SCORE 1622963.518
AT ITER 528 NEW BEST:: SOT 55901539 SOS 47233472 HAS SOPS 23192511 HAS SOUS 3794074 HAS SOUPS 1574340 WITH SCORE 1621573.472
AT ITER 536 NEW BEST:: SOT 55901539 SOS 47233472 HAS SOPS 23192511 HAS SOUS 3793796 HAS SOUPS 1574062 WITH SCORE 1621295.472
AT ITER 538 NEW BEST:: SOT 55900899 SOS 47230836 HAS SOPS 23193943 HAS SOUS 3792478 HAS SOUPS 1573422 WITH SCORE 1620652.836
AT ITER 544 NEW BEST:: SOT 55896627 SOS 47242030 HAS SOPS 23196689 HAS SOUS 3789247 HAS SOUPS 1570191 WITH SCORE 1617433.03
AT ITER 549 NEW BEST:: SOT 55895818 SOS 47240412 HAS SOPS 23198137 HAS SOUS 3787523 HAS SOUPS 1568978 WITH SCORE 1616218.412
AT ITER 558 NEW BEST:: SOT 55891580 SOS 47258726 HAS SOPS 23204643 HAS SOUS 3784853 HAS SOUPS 1566308 WITH SCORE 1613566.726
AT ITER 559 NEW BEST:: SOT 55890341 SOS 47262078 HAS SOPS 23203225 HAS SOUS 3784101 HAS SOUPS 1565291 WITH SCORE 1612553.078
AT ITER 560 NEW BEST:: SOT 55884787 SOS 47268832 HAS SOPS 23200907 HAS SOUS 3781258 HAS SOUPS 1562448 WITH SCORE 1609716.832
AT ITER 568 NEW BEST:: SOT 55883431 SOS 47264210 HAS SOPS 23202015 HAS SOUS 3779347 HAS SOUPS 1561492 WITH SCORE 1608756.21
AT ITER 572 NEW BEST:: SOT 55882836 SOS 47266828 HAS SOPS 23203205 HAS SOUS 3778871 HAS SOUPS 1561016 WITH SCORE 1608282.828
AT ITER 573 NEW BEST:: SOT 55881812 SOS 47270104 HAS SOPS 23202125 HAS SOUS 3778547 HAS SOUPS 1560450 WITH SCORE 1607720.104
AT ITER 576 NEW BEST:: SOT 55881812 SOS 47270104 HAS SOPS 23202125 HAS SOUS 3778251 HAS SOUPS 1560154 WITH SCORE 1607424.104
AT ITER 590 NEW BEST:: SOT 55881812 SOS 47270104 HAS SOPS 23202125 HAS SOUS 3777913 HAS SOUPS 1559816 WITH SCORE 1607086.104
AT ITER 596 NEW BEST:: SOT 55881006 SOS 47268492 HAS SOPS 23203519 HAS SOUS 3776228 HAS SOUPS 1558632 WITH SCORE 1605900.492
AT ITER 612 NEW BEST:: SOT 55880656 SOS 47268142 HAS SOPS 23202119 HAS SOUS 3776053 HAS SOUPS 1558282 WITH SCORE 1605550.142
AT ITER 627 NEW BEST:: SOT 55880656 SOS 47268142 HAS SOPS 23202119 HAS SOUS 3775687 HAS SOUPS 1557916 WITH SCORE 1605184.142
AT ITER 631 NEW BEST:: SOT 55877624 SOS 47260784 HAS SOPS 23198643 HAS SOUS 3773325 HAS SOUPS 1556201 WITH SCORE 1603461.784
AT ITER 638 NEW BEST:: SOT 55876883 SOS 47259302 HAS SOPS 23201403 HAS SOUS 3771507 HAS SOUPS 1555090 WITH SCORE 1602349.302
AT ITER 645 NEW BEST:: SOT 55876883 SOS 47259302 HAS SOPS 23201403 HAS SOUS 3771167 HAS SOUPS 1554750 WITH SCORE 1602009.302
AT ITER 662 NEW BEST:: SOT 55876071 SOS 47257678 HAS SOPS 23202215 HAS SOUS 3769543 HAS SOUPS 1553532 WITH SCORE 1600789.678
AT ITER 673 NEW BEST:: SOT 55875903 SOS 47257342 HAS SOPS 23200451 HAS SOUS 3769375 HAS SOUPS 1553126 WITH SCORE 1600383.342
AT ITER 686 NEW BEST:: SOT 55875903 SOS 47257342 HAS SOPS 23200451 HAS SOUS 3769109 HAS SOUPS 1552860 WITH SCORE 1600117.342
AT ITER 708 NEW BEST:: SOT 55875810 SOS 47257156 HAS SOPS 23200265 HAS SOUS 3769016 HAS SOUPS 1552767 WITH SCORE 1600024.156
AT ITER 722 NEW BEST:: SOT 55870779 SOS 47268238 HAS SOPS 23201087 HAS SOUS 3764701 HAS SOUPS 1548452 WITH SCORE 1595720.238
AT ITER 725 NEW BEST:: SOT 55870374 SOS 47267428 HAS SOPS 23205113 HAS SOUS 3763490 HAS SOUPS 1548047 WITH SCORE 1595314.428
AT ITER 727 NEW BEST:: SOT 55870374 SOS 47267428 HAS SOPS 23205113 HAS SOUS 3763154 HAS SOUPS 1547711 WITH SCORE 1594978.428
AT ITER 730 NEW BEST:: SOT 55870374 SOS 47267428 HAS SOPS 23205113 HAS SOUS 3763054 HAS SOUPS 1547611 WITH SCORE 1594878.428
AT ITER 745 NEW BEST:: SOT 55869024 SOS 47264728 HAS SOPS 23202413 HAS SOUS 3760394 HAS SOUPS 1544951 WITH SCORE 1592215.7280000001
AT ITER 746 NEW BEST:: SOT 55866688 SOS 47052873 HAS SOPS 23215298 HAS SOUS 3759570 HAS SOUPS 1544127 WITH SCORE 1591179.873
AT ITER 757 NEW BEST:: SOT 55863723 SOS 47060723 HAS SOPS 23213122 HAS SOUS 3757810 HAS SOUPS 1541810 WITH SCORE 1588870.723
AT ITER 759 NEW BEST:: SOT 55862321 SOS 47064379 HAS SOPS 23210964 HAS SOUS 3757621 HAS SOUPS 1541298 WITH SCORE 1588362.379
AT ITER 765 NEW BEST:: SOT 55862321 SOS 47064379 HAS SOPS 23210964 HAS SOUS 3757453 HAS SOUPS 1541130 WITH SCORE 1588194.379
AT ITER 779 NEW BEST:: SOT 55862321 SOS 47064379 HAS SOPS 23210964 HAS SOUS 3757295 HAS SOUPS 1540972 WITH SCORE 1588036.379
AT ITER 781 NEW BEST:: SOT 55862257 SOS 47064251 HAS SOPS 23210836 HAS SOUS 3757231 HAS SOUPS 1540908 WITH SCORE 1587972.251
AT ITER 793 NEW BEST:: SOT 55859082 SOS 47073713 HAS SOPS 23209912 HAS SOUS 3755633 HAS SOUPS 1538733 WITH SCORE 1585806.713
AT ITER 798 NEW BEST:: SOT 55856380 SOS 47084261 HAS SOPS 23208760 HAS SOUS 3754903 HAS SOUPS 1537353 WITH SCORE 1584437.261
AT ITER 803 NEW BEST:: SOT 55855777 SOS 47083055 HAS SOPS 23211040 HAS SOUS 3753488 HAS SOUPS 1536519 WITH SCORE 1583602.055
AT ITER 809 NEW BEST:: SOT 55855061 SOS 47080249 HAS SOPS 23210382 HAS SOUS 3752055 HAS SOUPS 1535444 WITH SCORE 1582524.249
AT ITER 817 NEW BEST:: SOT 55855061 SOS 47079685 HAS SOPS 23211510 HAS SOUS 3751773 HAS SOUPS 1535444 WITH SCORE 1582523.685
AT ITER 822 NEW BEST:: SOT 55853437 SOS 47086525 HAS SOPS 23211366 HAS SOUS 3751781 HAS SOUPS 1535064 WITH SCORE 1582150.525
AT ITER 823 NEW BEST:: SOT 55851797 SOS 47093741 HAS SOPS 23214646 HAS SOUS 3750469 HAS SOUPS 1533752 WITH SCORE 1580845.741
AT ITER 831 NEW BEST:: SOT 55851761 SOS 47093669 HAS SOPS 23215114 HAS SOUS 3750307 HAS SOUPS 1533680 WITH SCORE 1580773.669
AT ITER 837 NEW BEST:: SOT 55851761 SOS 47093669 HAS SOPS 23215114 HAS SOUS 3749953 HAS SOUPS 1533326 WITH SCORE 1580419.669
AT ITER 850 NEW BEST:: SOT 55851761 SOS 47093669 HAS SOPS 23215114 HAS SOUS 3749587 HAS SOUPS 1532960 WITH SCORE 1580053.669
AT ITER 856 NEW BEST:: SOT 55851069 SOS 47091019 HAS SOPS 23216262 HAS SOUS 3748262 HAS SOUPS 1532268 WITH SCORE 1579359.019
AT ITER 862 NEW BEST:: SOT 55849044 SOS 47095959 HAS SOPS 23213516 HAS SOUS 3747512 HAS SOUPS 1531091 WITH SCORE 1578186.959
AT ITER 886 NEW BEST:: SOT 55848612 SOS 47093147 HAS SOPS 23216548 HAS SOUS 3746106 HAS SOUPS 1530659 WITH SCORE 1577752.147
AT ITER 891 NEW BEST:: SOT 55847126 SOS 47089653 HAS SOPS 23213054 HAS SOUS 3745142 HAS SOUPS 1529695 WITH SCORE 1576784.653
AT ITER 893 NEW BEST:: SOT 55844414 SOS 47097091 HAS SOPS 23211600 HAS SOUS 3743715 HAS SOUPS 1527774 WITH SCORE 1574871.091
AT ITER 898 NEW BEST:: SOT 55843629 SOS 47095521 HAS SOPS 23215172 HAS SOUS 3741681 HAS SOUPS 1526597 WITH SCORE 1573692.521
AT ITER 901 NEW BEST:: SOT 55843629 SOS 47095521 HAS SOPS 23215172 HAS SOUS 3741315 HAS SOUPS 1526231 WITH SCORE 1573326.521
AT ITER 919 NEW BEST:: SOT 55842475 SOS 47092489 HAS SOPS 23212140 HAS SOUS 3741247 HAS SOUPS 1526163 WITH SCORE 1573255.489
AT ITER 931 NEW BEST:: SOT 55838273 SOS 47112727 HAS SOPS 23219214 HAS SOUS 3738497 HAS SOUPS 1523413 WITH SCORE 1570525.727
AT ITER 934 NEW BEST:: SOT 55838033 SOS 47112019 HAS SOPS 23218506 HAS SOUS 3738259 HAS SOUPS 1523175 WITH SCORE 1570287.019
AT ITER 936 NEW BEST:: SOT 55836177 SOS 47115309 HAS SOPS 23218340 HAS SOUS 3737328 HAS SOUPS 1522244 WITH SCORE 1569359.309
AT ITER 945 NEW BEST:: SOT 55836177 SOS 47114283 HAS SOPS 23218340 HAS SOUS 3737157 HAS SOUPS 1522244 WITH SCORE 1569358.283
AT ITER 953 NEW BEST:: SOT 55835855 SOS 47114805 HAS SOPS 23217908 HAS SOUS 3737043 HAS SOUPS 1522077 WITH SCORE 1569191.805
AT ITER 971 NEW BEST:: SOT 55835855 SOS 47114805 HAS SOPS 23217908 HAS SOUS 3736677 HAS SOUPS 1521711 WITH SCORE 1568825.805
AT ITER 979 NEW BEST:: SOT 55835855 SOS 47114805 HAS SOPS 23217908 HAS SOUS 3736421 HAS SOUPS 1521455 WITH SCORE 1568569.805
AT ITER 989 NEW BEST:: SOT 55835014 SOS 47113123 HAS SOPS 23220444 HAS SOUS 3734457 HAS SOUPS 1520194 WITH SCORE 1567307.123
AT ITER 1009 NEW BEST:: SOT 55831492 SOS 47124141 HAS SOPS 23222198 HAS SOUS 3731492 HAS SOUPS 1517229 WITH SCORE 1564353.141
AT ITER 1029 NEW BEST:: SOT 55830785 SOS 47122727 HAS SOPS 23223370 HAS SOUS 3729985 HAS SOUPS 1516153 WITH SCORE 1563275.727
AT ITER 1071 NEW BEST:: SOT 55830509 SOS 47122175 HAS SOPS 23223646 HAS SOUS 3729433 HAS SOUPS 1515739 WITH SCORE 1562861.175
AT ITER 1072 NEW BEST:: SOT 55830048 SOS 47121253 HAS SOPS 23222724 HAS SOUS 3728972 HAS SOUPS 1515278 WITH SCORE 1562399.253
AT ITER 1073 NEW BEST:: SOT 55828865 SOS 47117645 HAS SOPS 23225956 HAS SOUS 3725978 HAS SOUPS 1513424 WITH SCORE 1560541.645
AT ITER 1098 NEW BEST:: SOT 55827808 SOS 47118853 HAS SOPS 23224446 HAS SOUS 3725374 HAS SOUPS 1512669 WITH SCORE 1559787.8530000001
AT ITER 1115 NEW BEST:: SOT 55823882 SOS 47128613 HAS SOPS 23225770 HAS SOUS 3722460 HAS SOUPS 1509755 WITH SCORE 1556883.613
AT ITER 1117 NEW BEST:: SOT 55821308 SOS 47139971 HAS SOPS 23226220 HAS SOUS 3722207 HAS SOUPS 1508896 WITH SCORE 1556035.971
AT ITER 1130 NEW BEST:: SOT 55817754 SOS 47150999 HAS SOPS 23224792 HAS SOUS 3720153 HAS SOUPS 1506150 WITH SCORE 1553300.999
AT ITER 1141 NEW BEST:: SOT 55817754 SOS 47150999 HAS SOPS 23224792 HAS SOUS 3719925 HAS SOUPS 1505922 WITH SCORE 1553072.999
AT ITER 1159 NEW BEST:: SOT 55817149 SOS 47149789 HAS SOPS 23226252 HAS SOUS 3718660 HAS SOUPS 1505102 WITH SCORE 1552251.789
AT ITER 1168 NEW BEST:: SOT 55817426 SOS 47150343 HAS SOPS 23230592 HAS SOUS 3717933 HAS SOUPS 1505006 WITH SCORE 1552156.343
AT ITER 1173 NEW BEST:: SOT 55807411 SOS 47135299 HAS SOPS 23223157 HAS SOUS 3717902 HAS SOUPS 1505016 WITH SCORE 1552151.299
AT ITER 1201 NEW BEST:: SOT 55806630 SOS 47132069 HAS SOPS 23222927 HAS SOUS 3716259 HAS SOUPS 1503873 WITH SCORE 1551005.069
AT ITER 1208 NEW BEST:: SOT 55806406 SOS 47131621 HAS SOPS 23222479 HAS SOUS 3716147 HAS SOUPS 1503761 WITH SCORE 1550892.621
AT ITER 1211 NEW BEST:: SOT 55806064 SOS 47130595 HAS SOPS 23221453 HAS SOUS 3715805 HAS SOUPS 1503419 WITH SCORE 1550549.595
AT ITER 1224 NEW BEST:: SOT 55800797 SOS 47144041 HAS SOPS 23222779 HAS SOUS 3714252 HAS SOUPS 1501866 WITH SCORE 1549010.041
AT ITER 1232 NEW BEST:: SOT 55800373 SOS 47141645 HAS SOPS 23225027 HAS SOUS 3713054 HAS SOUPS 1501442 WITH SCORE 1548583.645
AT ITER 1235 NEW BEST:: SOT 55799500 SOS 47138297 HAS SOPS 23225027 HAS SOUS 3711185 HAS SOUPS 1500131 WITH SCORE 1547269.297
AT ITER 1241 NEW BEST:: SOT 55799480 SOS 47138257 HAS SOPS 23225107 HAS SOUS 3711144 HAS SOUPS 1500110 WITH SCORE 1547248.257
AT ITER 1251 NEW BEST:: SOT 55799480 SOS 47138257 HAS SOPS 23225107 HAS SOUS 3710918 HAS SOUPS 1499884 WITH SCORE 1547022.257
AT ITER 1252 NEW BEST:: SOT 55799228 SOS 47137753 HAS SOPS 23226883 HAS SOUS 3709906 HAS SOUPS 1499252 WITH SCORE 1546389.753
AT ITER 1253 NEW BEST:: SOT 55798228 SOS 47132889 HAS SOPS 23226315 HAS SOUS 3707532 HAS SOUPS 1497594 WITH SCORE 1544726.889
AT ITER 1256 NEW BEST:: SOT 55798228 SOS 47132889 HAS SOPS 23226315 HAS SOUS 3707216 HAS SOUPS 1497278 WITH SCORE 1544410.889
AT ITER 1259 NEW BEST:: SOT 55797682 SOS 47131797 HAS SOPS 23225223 HAS SOUS 3706190 HAS SOUPS 1496252 WITH SCORE 1543383.797
AT ITER 1261 NEW BEST:: SOT 55797316 SOS 47131065 HAS SOPS 23225781 HAS SOUS 3705394 HAS SOUPS 1495671 WITH SCORE 1542802.065
AT ITER 1270 NEW BEST:: SOT 55797040 SOS 47130513 HAS SOPS 23225229 HAS SOUS 3705118 HAS SOUPS 1495395 WITH SCORE 1542525.513
AT ITER 1271 NEW BEST:: SOT 55795178 SOS 47132109 HAS SOPS 23222037 HAS SOUS 3704054 HAS SOUPS 1494065 WITH SCORE 1541197.109
AT ITER 1299 NEW BEST:: SOT 55795178 SOS 47132109 HAS SOPS 23222037 HAS SOUS 3703688 HAS SOUPS 1493699 WITH SCORE 1540831.109
AT ITER 1305 NEW BEST:: SOT 55794716 SOS 47129615 HAS SOPS 23224253 HAS SOUS 3702441 HAS SOUPS 1493237 WITH SCORE 1540366.615
AT ITER 1307 NEW BEST:: SOT 55793492 SOS 47133415 HAS SOPS 23222941 HAS SOUS 3701666 HAS SOUPS 1492178 WITH SCORE 1539311.415
AT ITER 1318 NEW BEST:: SOT 55793492 SOS 47133415 HAS SOPS 23222941 HAS SOUS 3701300 HAS SOUPS 1491812 WITH SCORE 1538945.415
AT ITER 1332 NEW BEST:: SOT 55793492 SOS 47133415 HAS SOPS 23222941 HAS SOUS 3701004 HAS SOUPS 1491516 WITH SCORE 1538649.415
AT ITER 1365 NEW BEST:: SOT 55791953 SOS 47133757 HAS SOPS 23221231 HAS SOUS 3699807 HAS SOUPS 1490319 WITH SCORE 1537452.757
AT ITER 1370 NEW BEST:: SOT 55791836 SOS 47133523 HAS SOPS 23220997 HAS SOUS 3699573 HAS SOUPS 1490085 WITH SCORE 1537218.523
AT ITER 1376 NEW BEST:: SOT 55791836 SOS 47133523 HAS SOPS 23220997 HAS SOUS 3699305 HAS SOUPS 1489817 WITH SCORE 1536950.523
AT ITER 1379 NEW BEST:: SOT 55791731 SOS 47133313 HAS SOPS 23221339 HAS SOUS 3699056 HAS SOUPS 1489660 WITH SCORE 1536793.313
AT ITER 1386 NEW BEST:: SOT 55789829 SOS 47128421 HAS SOPS 23219711 HAS SOUS 3697816 HAS SOUPS 1488964 WITH SCORE 1536092.421
AT ITER 1391 NEW BEST:: SOT 55789261 SOS 47125433 HAS SOPS 23222279 HAS SOUS 3696322 HAS SOUPS 1488396 WITH SCORE 1535521.433
AT ITER 1393 NEW BEST:: SOT 55786072 SOS 47142423 HAS SOPS 23228697 HAS SOUS 3694656 HAS SOUPS 1486730 WITH SCORE 1533872.423
AT ITER 1396 NEW BEST:: SOT 55776744 SOS 47128185 HAS SOPS 23221888 HAS SOUS 3693741 HAS SOUPS 1486122 WITH SCORE 1533250.185
AT ITER 1402 NEW BEST:: SOT 55776744 SOS 47128185 HAS SOPS 23221888 HAS SOUS 3693467 HAS SOUPS 1485848 WITH SCORE 1532976.185
AT ITER 1423 NEW BEST:: SOT 55776688 SOS 47127737 HAS SOPS 23221776 HAS SOUS 3693345 HAS SOUPS 1485782 WITH SCORE 1532909.737
AT ITER 1434 NEW BEST:: SOT 55776688 SOS 47127737 HAS SOPS 23221776 HAS SOUS 3693089 HAS SOUPS 1485526 WITH SCORE 1532653.737
AT ITER 1439 NEW BEST:: SOT 55772043 SOS 47140269 HAS SOPS 23225776 HAS SOUS 3691297 HAS SOUPS 1483734 WITH SCORE 1530874.269
AT ITER 1441 NEW BEST:: SOT 55771389 SOS 47140923 HAS SOPS 23226430 HAS SOUS 3690471 HAS SOUPS 1482908 WITH SCORE 1530048.923
AT ITER 1453 NEW BEST:: SOT 55771389 SOS 47140923 HAS SOPS 23226430 HAS SOUS 3690113 HAS SOUPS 1482550 WITH SCORE 1529690.923
AT ITER 1460 NEW BEST:: SOT 55771013 SOS 47138503 HAS SOPS 23229014 HAS SOUS 3688903 HAS SOUPS 1482174 WITH SCORE 1529312.503
AT ITER 1476 NEW BEST:: SOT 55769199 SOS 47144079 HAS SOPS 23228218 HAS SOUS 3688527 HAS SOUPS 1481444 WITH SCORE 1528588.079
AT ITER 1490 NEW BEST:: SOT 55768785 SOS 47143251 HAS SOPS 23229874 HAS SOUS 3687285 HAS SOUPS 1480616 WITH SCORE 1527759.251
AT ITER 1497 NEW BEST:: SOT 55768387 SOS 47140957 HAS SOPS 23232074 HAS SOUS 3686408 HAS SOUPS 1480488 WITH SCORE 1527628.957
AT ITER 1500 NEW BEST:: SOT 55767815 SOS 47139813 HAS SOPS 23232646 HAS SOUS 3685264 HAS SOUPS 1479630 WITH SCORE 1526769.813
AT ITER 1513 NEW BEST:: SOT 55754076 SOS 47117704 HAS SOPS 23223665 HAS SOUS 3683888 HAS SOUPS 1479348 WITH SCORE 1526465.704
AT ITER 1522 NEW BEST:: SOT 55753515 SOS 47120784 HAS SOPS 23223307 HAS SOUS 3683512 HAS SOUPS 1478781 WITH SCORE 1525901.784
AT ITER 1544 NEW BEST:: SOT 55752481 SOS 47118716 HAS SOPS 23224341 HAS SOUS 3681444 HAS SOUPS 1477230 WITH SCORE 1524348.716
AT ITER 1550 NEW BEST:: SOT 55752427 SOS 47116880 HAS SOPS 23224479 HAS SOUS 3681061 HAS SOUPS 1477176 WITH SCORE 1524292.88
AT ITER 1573 NEW BEST:: SOT 55752167 SOS 47116360 HAS SOPS 23225519 HAS SOUS 3680540 HAS SOUPS 1476915 WITH SCORE 1524031.36
AT ITER 1587 NEW BEST:: SOT 55752149 SOS 47116324 HAS SOPS 23225483 HAS SOUS 3680504 HAS SOUPS 1476879 WITH SCORE 1523995.324
AT ITER 1596 NEW BEST:: SOT 55749913 SOS 47122096 HAS SOPS 23224163 HAS SOUS 3679431 HAS SOUPS 1475412 WITH SCORE 1522534.096
AT ITER 1597 NEW BEST:: SOT 55749839 SOS 47121800 HAS SOPS 23223867 HAS SOUS 3679357 HAS SOUPS 1475338 WITH SCORE 1522459.8
AT ITER 1613 NEW BEST:: SOT 55749601 SOS 47121324 HAS SOPS 23223391 HAS SOUS 3679119 HAS SOUPS 1475100 WITH SCORE 1522221.324
AT ITER 1621 NEW BEST:: SOT 55749601 SOS 47121228 HAS SOPS 23223295 HAS SOUS 3679103 HAS SOUPS 1475084 WITH SCORE 1522205.2280000001
AT ITER 1630 NEW BEST:: SOT 55749601 SOS 47121228 HAS SOPS 23223295 HAS SOUS 3678875 HAS SOUPS 1474856 WITH SCORE 1521977.2280000001
AT ITER 1633 NEW BEST:: SOT 55749179 SOS 47120384 HAS SOPS 23222451 HAS SOUS 3678453 HAS SOUPS 1474434 WITH SCORE 1521554.384
AT ITER 1636 NEW BEST:: SOT 55748567 SOS 47119160 HAS SOPS 23223063 HAS SOUS 3677229 HAS SOUPS 1473516 WITH SCORE 1520635.16
AT ITER 1650 NEW BEST:: SOT 55748567 SOS 47119160 HAS SOPS 23223063 HAS SOUS 3676863 HAS SOUPS 1473150 WITH SCORE 1520269.16
AT ITER 1665 NEW BEST:: SOT 55748515 SOS 47117542 HAS SOPS 23225987 HAS SOUS 3676054 HAS SOUPS 1473098 WITH SCORE 1520215.542
AT ITER 1672 NEW BEST:: SOT 55748025 SOS 47116562 HAS SOPS 23226477 HAS SOUS 3675074 HAS SOUPS 1472363 WITH SCORE 1519479.562
AT ITER 1674 NEW BEST:: SOT 55747697 SOS 47115906 HAS SOPS 23229361 HAS SOUS 3674260 HAS SOUPS 1472139 WITH SCORE 1519254.906
AT ITER 1692 NEW BEST:: SOT 55743823 SOS 47126064 HAS SOPS 23230147 HAS SOUS 3671720 HAS SOUPS 1469599 WITH SCORE 1516725.064
AT ITER 1702 NEW BEST:: SOT 55741785 SOS 47132492 HAS SOPS 23231403 HAS SOUS 3670057 HAS SOUPS 1467936 WITH SCORE 1515068.492
AT ITER 1713 NEW BEST:: SOT 55739855 SOS 47126900 HAS SOPS 23231007 HAS SOUS 3668925 HAS SOUPS 1467670 WITH SCORE 1514796.9
AT ITER 1724 NEW BEST:: SOT 55739855 SOS 47126900 HAS SOPS 23231007 HAS SOUS 3668769 HAS SOUPS 1467514 WITH SCORE 1514640.9
AT ITER 1731 NEW BEST:: SOT 55742268 SOS 47133308 HAS SOPS 23237415 HAS SOUS 3668685 HAS SOUPS 1467430 WITH SCORE 1514563.308
AT ITER 1735 NEW BEST:: SOT 55742268 SOS 47133308 HAS SOPS 23237415 HAS SOUS 3668321 HAS SOUPS 1467066 WITH SCORE 1514199.308
AT ITER 1750 NEW BEST:: SOT 55742268 SOS 47133308 HAS SOPS 23237415 HAS SOUS 3667991 HAS SOUPS 1466736 WITH SCORE 1513869.308
AT ITER 1753 NEW BEST:: SOT 55742256 SOS 47133284 HAS SOPS 23237391 HAS SOUS 3667967 HAS SOUPS 1466712 WITH SCORE 1513845.284
AT ITER 1767 NEW BEST:: SOT 55740358 SOS 47149190 HAS SOPS 23242515 HAS SOUS 3667411 HAS SOUPS 1465557 WITH SCORE 1512706.19
AT ITER 1772 NEW BEST:: SOT 55739728 SOS 47146172 HAS SOPS 23244771 HAS SOUS 3665902 HAS SOUPS 1464927 WITH SCORE 1512073.172
AT ITER 1783 NEW BEST:: SOT 55739456 SOS 47141752 HAS SOPS 23247455 HAS SOUS 3664134 HAS SOUPS 1464343 WITH SCORE 1511484.752
AT ITER 1802 NEW BEST:: SOT 55735145 SOS 47131110 HAS SOPS 23243365 HAS SOUS 3658186 HAS SOUPS 1459487 WITH SCORE 1506618.11
AT ITER 1804 NEW BEST:: SOT 55733856 SOS 47128532 HAS SOPS 23240787 HAS SOUS 3657148 HAS SOUPS 1458449 WITH SCORE 1505577.532
AT ITER 1846 NEW BEST:: SOT 55733856 SOS 47128532 HAS SOPS 23240787 HAS SOUS 3656782 HAS SOUPS 1458083 WITH SCORE 1505211.532
AT ITER 1859 NEW BEST:: SOT 55733798 SOS 47128416 HAS SOPS 23240671 HAS SOUS 3656724 HAS SOUPS 1458025 WITH SCORE 1505153.416
AT ITER 1867 NEW BEST:: SOT 55730616 SOS 47135366 HAS SOPS 23240349 HAS SOUS 3654630 HAS SOUPS 1455931 WITH SCORE 1503066.366
AT ITER 1874 NEW BEST:: SOT 55730616 SOS 47135022 HAS SOPS 23241037 HAS SOUS 3654458 HAS SOUPS 1455931 WITH SCORE 1503066.022
AT ITER 1878 NEW BEST:: SOT 55730609 SOS 47134330 HAS SOPS 23240345 HAS SOUS 3654443 HAS SOUPS 1455916 WITH SCORE 1503050.33
AT ITER 1881 NEW BEST:: SOT 55730609 SOS 47134330 HAS SOPS 23240345 HAS SOUS 3654077 HAS SOUPS 1455550 WITH SCORE 1502684.33
AT ITER 1882 NEW BEST:: SOT 55727985 SOS 47147364 HAS SOPS 23242147 HAS SOUS 3653275 HAS SOUPS 1454124 WITH SCORE 1501271.364
AT ITER 1885 NEW BEST:: SOT 55727604 SOS 47145424 HAS SOPS 23243741 HAS SOUS 3652484 HAS SOUPS 1453922 WITH SCORE 1501067.424
AT ITER 1904 NEW BEST:: SOT 55727604 SOS 47145424 HAS SOPS 23243741 HAS SOUS 3652118 HAS SOUPS 1453556 WITH SCORE 1500701.424
AT ITER 1906 NEW BEST:: SOT 55724707 SOS 47157430 HAS SOPS 23247839 HAS SOUS 3650562 HAS SOUPS 1452000 WITH SCORE 1499157.43
AT ITER 1927 NEW BEST:: SOT 55724028 SOS 47163432 HAS SOPS 23251081 HAS SOUS 3650113 HAS SOUPS 1451551 WITH SCORE 1498714.432
AT ITER 1939 NEW BEST:: SOT 55724028 SOS 47163432 HAS SOPS 23251081 HAS SOUS 3649747 HAS SOUPS 1451185 WITH SCORE 1498348.432
AT ITER 1941 NEW BEST:: SOT 55723098 SOS 47165048 HAS SOPS 23249853 HAS SOUS 3649203 HAS SOUPS 1450483 WITH SCORE 1497648.048
AT ITER 1946 NEW BEST:: SOT 55717733 SOS 47181320 HAS SOPS 23254233 HAS SOUS 3645120 HAS SOUPS 1446400 WITH SCORE 1493581.32
AT ITER 1972 NEW BEST:: SOT 55717825 SOS 47181334 HAS SOPS 23254247 HAS SOUS 3644855 HAS SOUPS 1446135 WITH SCORE 1493316.334
AT ITER 1973 NEW BEST:: SOT 55713815 SOS 47190442 HAS SOPS 23254259 HAS SOUS 3641918 HAS SOUPS 1443198 WITH SCORE 1490388.442
AT ITER 1987 NEW BEST:: SOT 55713271 SOS 47189354 HAS SOPS 23257245 HAS SOUS 3640370 HAS SOUPS 1442329 WITH SCORE 1489518.354
AT ITER 1988 NEW BEST:: SOT 55710648 SOS 47192768 HAS SOPS 23252865 HAS SOUS 3638560 HAS SOUPS 1440086 WITH SCORE 1487278.768
AT ITER 1998 NEW BEST:: SOT 55710596 SOS 47192664 HAS SOPS 23252761 HAS SOUS 3638508 HAS SOUPS 1440034 WITH SCORE 1487226.664
AT ITER 2005 NEW BEST:: SOT 55709964 SOS 47189952 HAS SOPS 23254393 HAS SOUS 3637152 HAS SOUPS 1439402 WITH SCORE 1486591.952
AT ITER 2013 NEW BEST:: SOT 55709964 SOS 47189952 HAS SOPS 23254393 HAS SOUS 3636920 HAS SOUPS 1439170 WITH SCORE 1486359.952
AT ITER 2015 NEW BEST:: SOT 55709835 SOS 47189694 HAS SOPS 23255353 HAS SOUS 3636662 HAS SOUPS 1439115 WITH SCORE 1486304.694
AT ITER 2055 NEW BEST:: SOT 55709819 SOS 47174542 HAS SOPS 23240201 HAS SOUS 3636662 HAS SOUPS 1439115 WITH SCORE 1486289.542
AT ITER 2060 NEW BEST:: SOT 55707786 SOS 47179160 HAS SOPS 23237133 HAS SOUS 3635876 HAS SOUPS 1437902 WITH SCORE 1485081.16
AT ITER 2061 NEW BEST:: SOT 55706504 SOS 47181656 HAS SOPS 23235489 HAS SOUS 3635120 HAS SOUPS 1436916 WITH SCORE 1484097.656
AT ITER 2071 NEW BEST:: SOT 55706504 SOS 47181656 HAS SOPS 23235489 HAS SOUS 3634754 HAS SOUPS 1436550 WITH SCORE 1483731.656
AT ITER 2090 NEW BEST:: SOT 55706504 SOS 47181656 HAS SOPS 23235489 HAS SOUS 3634388 HAS SOUPS 1436184 WITH SCORE 1483365.656
AT ITER 2105 NEW BEST:: SOT 55706237 SOS 47182902 HAS SOPS 23235133 HAS SOUS 3634299 HAS SOUPS 1436006 WITH SCORE 1483188.902
AT ITER 2135 NEW BEST:: SOT 55706237 SOS 47182902 HAS SOPS 23235133 HAS SOUS 3633933 HAS SOUPS 1435640 WITH SCORE 1482822.902
AT ITER 2167 NEW BEST:: SOT 55706143 SOS 47182738 HAS SOPS 23234969 HAS SOUS 3633796 HAS SOUPS 1435503 WITH SCORE 1482685.738
AT ITER 2172 NEW BEST:: SOT 55706143 SOS 47182738 HAS SOPS 23234969 HAS SOUS 3633786 HAS SOUPS 1435493 WITH SCORE 1482675.738
AT ITER 2181 NEW BEST:: SOT 55700031 SOS 47197576 HAS SOPS 23237555 HAS SOUS 3630898 HAS SOUPS 1432605 WITH SCORE 1479802.576
AT ITER 2190 NEW BEST:: SOT 55693619 SOS 47188396 HAS SOPS 23231411 HAS SOUS 3630671 HAS SOUPS 1432378 WITH SCORE 1479566.396
AT ITER 2191 NEW BEST:: SOT 55693619 SOS 47188396 HAS SOPS 23231411 HAS SOUS 3630633 HAS SOUPS 1432340 WITH SCORE 1479528.396
AT ITER 2197 NEW BEST:: SOT 55692733 SOS 47184404 HAS SOPS 23231619 HAS SOUS 3629249 HAS SOUPS 1431656 WITH SCORE 1478840.404
AT ITER 2202 NEW BEST:: SOT 55692017 SOS 47182972 HAS SOPS 23230187 HAS SOUS 3628533 HAS SOUPS 1430940 WITH SCORE 1478122.972
AT ITER 2204 NEW BEST:: SOT 55687793 SOS 47209146 HAS SOPS 23241625 HAS SOUS 3626375 HAS SOUPS 1428782 WITH SCORE 1475991.146
AT ITER 2221 NEW BEST:: SOT 55678991 SOS 47196251 HAS SOPS 23234767 HAS SOUS 3625339 HAS SOUPS 1427789 WITH SCORE 1474985.251
AT ITER 2232 NEW BEST:: SOT 55678991 SOS 47196251 HAS SOPS 23234767 HAS SOUS 3625127 HAS SOUPS 1427577 WITH SCORE 1474773.251
AT ITER 2244 NEW BEST:: SOT 55678439 SOS 47193439 HAS SOPS 23237079 HAS SOUS 3623721 HAS SOUPS 1427025 WITH SCORE 1474218.439
AT ITER 2266 NEW BEST:: SOT 55676355 SOS 47200243 HAS SOPS 23236287 HAS SOUS 3623045 HAS SOUPS 1425927 WITH SCORE 1473127.243
AT ITER 2279 NEW BEST:: SOT 55676355 SOS 47199959 HAS SOPS 23236855 HAS SOUS 3622903 HAS SOUPS 1425927 WITH SCORE 1473126.959
AT ITER 2283 NEW BEST:: SOT 55677209 SOS 47204792 HAS SOPS 23241688 HAS SOUS 3622853 HAS SOUPS 1425877 WITH SCORE 1473081.792
AT ITER 2295 NEW BEST:: SOT 55676804 SOS 47202290 HAS SOPS 23244262 HAS SOUS 3621925 HAS SOUPS 1425795 WITH SCORE 1472997.29
AT ITER 2305 NEW BEST:: SOT 55675908 SOS 47203314 HAS SOPS 23242982 HAS SOUS 3621413 HAS SOUPS 1425155 WITH SCORE 1472358.314
AT ITER 2320 NEW BEST:: SOT 55672475 SOS 47199379 HAS SOPS 23240553 HAS SOUS 3621201 HAS SOUPS 1424943 WITH SCORE 1472142.379
AT ITER 2326 NEW BEST:: SOT 55672239 SOS 47198221 HAS SOPS 23241453 HAS SOUS 3620856 HAS SOUPS 1424941 WITH SCORE 1472139.221
AT ITER 2330 NEW BEST:: SOT 55671933 SOS 47197303 HAS SOPS 23241453 HAS SOUS 3620397 HAS SOUPS 1424635 WITH SCORE 1471832.303
AT ITER 2338 NEW BEST:: SOT 55670924 SOS 47195285 HAS SOPS 23242897 HAS SOUS 3618307 HAS SOUPS 1423122 WITH SCORE 1470317.285
AT ITER 2346 NEW BEST:: SOT 55666830 SOS 47211511 HAS SOPS 23248791 HAS SOUS 3615855 HAS SOUPS 1420670 WITH SCORE 1467881.511
AT ITER 2349 NEW BEST:: SOT 55666830 SOS 47211511 HAS SOPS 23248791 HAS SOUS 3615489 HAS SOUPS 1420304 WITH SCORE 1467515.511
AT ITER 2379 NEW BEST:: SOT 55666934 SOS 47211823 HAS SOPS 23248791 HAS SOUS 3615431 HAS SOUPS 1420194 WITH SCORE 1467405.823
AT ITER 2384 NEW BEST:: SOT 55666934 SOS 47211823 HAS SOPS 23248791 HAS SOUS 3615359 HAS SOUPS 1420122 WITH SCORE 1467333.823
AT ITER 2388 NEW BEST:: SOT 55662738 SOS 47218513 HAS SOPS 23247465 HAS SOUS 3613976 HAS SOUPS 1418739 WITH SCORE 1465957.513
AT ITER 2396 NEW BEST:: SOT 55662722 SOS 47218481 HAS SOPS 23247433 HAS SOUS 3613944 HAS SOUPS 1418707 WITH SCORE 1465925.481
AT ITER 2409 NEW BEST:: SOT 55661045 SOS 47213997 HAS SOPS 23246339 HAS SOUS 3612855 HAS SOUPS 1418183 WITH SCORE 1465396.997
AT ITER 2414 NEW BEST:: SOT 55657337 SOS 47236091 HAS SOPS 23255353 HAS SOUS 3610891 HAS SOUPS 1416219 WITH SCORE 1463455.091
AT ITER 2415 NEW BEST:: SOT 55657114 SOS 47235645 HAS SOPS 23256611 HAS SOUS 3610273 HAS SOUPS 1415885 WITH SCORE 1463120.645
AT ITER 2416 NEW BEST:: SOT 55656996 SOS 47235811 HAS SOPS 23255571 HAS SOUS 3610356 HAS SOUPS 1415767 WITH SCORE 1463002.811
AT ITER 2417 NEW BEST:: SOT 55654429 SOS 47244853 HAS SOPS 23254803 HAS SOUS 3609255 HAS SOUPS 1414121 WITH SCORE 1461365.8530000001
AT ITER 2439 NEW BEST:: SOT 55648999 SOS 47255135 HAS SOPS 23255953 HAS SOUS 3606313 HAS SOUPS 1411179 WITH SCORE 1458434.135
AT ITER 2442 NEW BEST:: SOT 55648537 SOS 47257599 HAS SOPS 23255645 HAS SOUS 3606005 HAS SOUPS 1410717 WITH SCORE 1457974.599
AT ITER 2446 NEW BEST:: SOT 55648139 SOS 47256803 HAS SOPS 23259073 HAS SOUS 3604903 HAS SOUPS 1410319 WITH SCORE 1457575.803
AT ITER 2450 NEW BEST:: SOT 55636329 SOS 47239600 HAS SOPS 23251263 HAS SOUS 3604685 HAS SOUPS 1410312 WITH SCORE 1457551.6
AT ITER 2493 NEW BEST:: SOT 55636329 SOS 47239600 HAS SOPS 23251263 HAS SOUS 3604531 HAS SOUPS 1410158 WITH SCORE 1457397.6
AT ITER 2499 NEW BEST:: SOT 55633962 SOS 47231710 HAS SOPS 23248107 HAS SOUS 3601375 HAS SOUPS 1407791 WITH SCORE 1455022.71
AT ITER 2511 NEW BEST:: SOT 55633182 SOS 47238124 HAS SOPS 23249841 HAS SOUS 3600840 HAS SOUPS 1407256 WITH SCORE 1454494.124
AT ITER 2528 NEW BEST:: SOT 55625468 SOS 47247566 HAS SOPS 23247835 HAS SOUS 3596334 HAS SOUPS 1402750 WITH SCORE 1449997.566
AT ITER 2538 NEW BEST:: SOT 55624872 SOS 47245884 HAS SOPS 23246153 HAS SOUS 3595940 HAS SOUPS 1402356 WITH SCORE 1449601.884
AT ITER 2541 NEW BEST:: SOT 55622643 SOS 47253724 HAS SOPS 23248425 HAS SOUS 3594054 HAS SOUPS 1400470 WITH SCORE 1447723.724
AT ITER 2564 NEW BEST:: SOT 55622643 SOS 47253724 HAS SOPS 23248425 HAS SOUS 3593688 HAS SOUPS 1400104 WITH SCORE 1447357.724
AT ITER 2565 NEW BEST:: SOT 55619787 SOS 47258368 HAS SOPS 23243997 HAS SOUS 3591754 HAS SOUPS 1397666 WITH SCORE 1444924.368
AT ITER 2573 NEW BEST:: SOT 55619787 SOS 47258510 HAS SOPS 23243713 HAS SOUS 3591754 HAS SOUPS 1397595 WITH SCORE 1444853.51
AT ITER 2580 NEW BEST:: SOT 55619011 SOS 47260158 HAS SOPS 23242481 HAS SOUS 3591206 HAS SOUPS 1396887 WITH SCORE 1444147.158
AT ITER 2590 NEW BEST:: SOT 55619011 SOS 47260158 HAS SOPS 23242481 HAS SOUS 3591018 HAS SOUPS 1396699 WITH SCORE 1443959.158
AT ITER 2598 NEW BEST:: SOT 55616592 SOS 47283022 HAS SOPS 23254509 HAS SOUS 3589788 HAS SOUPS 1395469 WITH SCORE 1442752.022
AT ITER 2623 NEW BEST:: SOT 55616355 SOS 47285076 HAS SOPS 23255141 HAS SOUS 3589788 HAS SOUPS 1395390 WITH SCORE 1442675.076
AT ITER 2655 NEW BEST:: SOT 55616141 SOS 47284648 HAS SOPS 23254713 HAS SOUS 3589467 HAS SOUPS 1395069 WITH SCORE 1442353.648
AT ITER 2657 NEW BEST:: SOT 55615391 SOS 47283898 HAS SOPS 23253963 HAS SOUS 3588342 HAS SOUPS 1393944 WITH SCORE 1441227.898
AT ITER 2686 NEW BEST:: SOT 55615391 SOS 47283898 HAS SOPS 23253963 HAS SOUS 3588094 HAS SOUPS 1393696 WITH SCORE 1440979.898
AT ITER 2690 NEW BEST:: SOT 55615391 SOS 47283898 HAS SOPS 23253963 HAS SOUS 3587858 HAS SOUPS 1393460 WITH SCORE 1440743.898
AT ITER 2694 NEW BEST:: SOT 55615391 SOS 47283898 HAS SOPS 23253963 HAS SOUS 3587816 HAS SOUPS 1393418 WITH SCORE 1440701.898
AT ITER 2702 NEW BEST:: SOT 55615142 SOS 47283400 HAS SOPS 23253465 HAS SOUS 3587514 HAS SOUPS 1393116 WITH SCORE 1440399.4
AT ITER 2710 NEW BEST:: SOT 55613782 SOS 47275352 HAS SOPS 23251609 HAS SOUS 3584244 HAS SOUPS 1390878 WITH SCORE 1438153.352
AT ITER 2713 NEW BEST:: SOT 55612952 SOS 47277636 HAS SOPS 23251901 HAS SOUS 3583518 HAS SOUPS 1390152 WITH SCORE 1437429.636
AT ITER 2774 NEW BEST:: SOT 55612952 SOS 47277636 HAS SOPS 23251901 HAS SOUS 3583510 HAS SOUPS 1390144 WITH SCORE 1437421.636
AT ITER 2776 NEW BEST:: SOT 55612314 SOS 47275722 HAS SOPS 23251901 HAS SOUS 3582553 HAS SOUPS 1389506 WITH SCORE 1436781.722
AT ITER 2782 NEW BEST:: SOT 55611846 SOS 47273336 HAS SOPS 23253865 HAS SOUS 3581604 HAS SOUPS 1389282 WITH SCORE 1436555.336
AT ITER 2799 NEW BEST:: SOT 55611846 SOS 47272698 HAS SOPS 23253227 HAS SOUS 3581604 HAS SOUPS 1389282 WITH SCORE 1436554.698
AT ITER 2814 NEW BEST:: SOT 55607371 SOS 47273438 HAS SOPS 23247880 HAS SOUS 3579180 HAS SOUPS 1386858 WITH SCORE 1434131.438
AT ITER 2822 NEW BEST:: SOT 55607371 SOS 47273438 HAS SOPS 23247880 HAS SOUS 3578936 HAS SOUPS 1386614 WITH SCORE 1433887.438
AT ITER 2825 NEW BEST:: SOT 55606783 SOS 47270318 HAS SOPS 23250592 HAS SOUS 3577376 HAS SOUPS 1386026 WITH SCORE 1433296.318
AT ITER 2848 NEW BEST:: SOT 55604704 SOS 47272870 HAS SOPS 23247654 HAS SOUS 3575980 HAS SOUPS 1384325 WITH SCORE 1431597.87
AT ITER 2860 NEW BEST:: SOT 55604085 SOS 47271032 HAS SOPS 23245816 HAS SOUS 3574864 HAS SOUPS 1383209 WITH SCORE 1430480.032
AT ITER 2980 NEW BEST:: SOT 55584573 SOS 47240370 HAS SOPS 23233478 HAS SOUS 3573174 HAS SOUPS 1383034 WITH SCORE 1430274.37
AT ITER 2992 NEW BEST:: SOT 55582743 SOS 47235696 HAS SOPS 23231846 HAS SOUS 3571851 HAS SOUPS 1382218 WITH SCORE 1429453.696
AT ITER 3004 NEW BEST:: SOT 55582439 SOS 47235088 HAS SOPS 23233944 HAS SOUS 3571170 HAS SOUPS 1381988 WITH SCORE 1429223.088
AT ITER 3007 NEW BEST:: SOT 55574041 SOS 47244598 HAS SOPS 23236841 HAS SOUS 3569107 HAS SOUPS 1380902 WITH SCORE 1428146.598
AT ITER 3012 NEW BEST:: SOT 55573252 SOS 47241136 HAS SOPS 23233379 HAS SOUS 3568093 HAS SOUPS 1379888 WITH SCORE 1427129.136
AT ITER 3014 NEW BEST:: SOT 55558045 SOS 47218149 HAS SOPS 23222866 HAS SOUS 3566144 HAS SOUPS 1378721 WITH SCORE 1425939.149
AT ITER 3049 NEW BEST:: SOT 55557967 SOS 47217993 HAS SOPS 23222710 HAS SOUS 3566066 HAS SOUPS 1378643 WITH SCORE 1425860.993
AT ITER 3052 NEW BEST:: SOT 55557967 SOS 47217993 HAS SOPS 23222710 HAS SOUS 3565924 HAS SOUPS 1378501 WITH SCORE 1425718.993
AT ITER 3054 NEW BEST:: SOT 55557313 SOS 47216685 HAS SOPS 23223364 HAS SOUS 3564616 HAS SOUPS 1377520 WITH SCORE 1424736.685
AT ITER 3062 NEW BEST:: SOT 55551779 SOS 47224347 HAS SOPS 23221066 HAS SOUS 3561138 HAS SOUPS 1374042 WITH SCORE 1421266.347
AT ITER 3066 NEW BEST:: SOT 55551726 SOS 47225597 HAS SOPS 23222316 HAS SOUS 3561085 HAS SOUPS 1373989 WITH SCORE 1421214.597
AT ITER 3067 NEW BEST:: SOT 55551012 SOS 47222027 HAS SOPS 23220888 HAS SOUS 3559657 HAS SOUPS 1372918 WITH SCORE 1420140.027
AT ITER 3099 NEW BEST:: SOT 55551012 SOS 47222027 HAS SOPS 23220888 HAS SOUS 3559291 HAS SOUPS 1372552 WITH SCORE 1419774.027
AT ITER 3100 NEW BEST:: SOT 55550640 SOS 47221097 HAS SOPS 23220516 HAS SOUS 3559198 HAS SOUPS 1372552 WITH SCORE 1419773.097
AT ITER 3116 NEW BEST:: SOT 55550569 SOS 47220955 HAS SOPS 23222570 HAS SOUS 3558761 HAS SOUPS 1372481 WITH SCORE 1419701.955
AT ITER 3119 NEW BEST:: SOT 55550303 SOS 47219625 HAS SOPS 23222038 HAS SOUS 3558229 HAS SOUPS 1372082 WITH SCORE 1419301.625
AT ITER 3135 NEW BEST:: SOT 55549916 SOS 47218501 HAS SOPS 23221964 HAS SOUS 3557948 HAS SOUPS 1371976 WITH SCORE 1419194.501
AT ITER 3142 NEW BEST:: SOT 55549916 SOS 47218501 HAS SOPS 23221964 HAS SOUS 3557616 HAS SOUPS 1371644 WITH SCORE 1418862.501
AT ITER 3144 NEW BEST:: SOT 55549916 SOS 47218501 HAS SOPS 23221964 HAS SOUS 3557250 HAS SOUPS 1371278 WITH SCORE 1418496.501
AT ITER 3171 NEW BEST:: SOT 55549916 SOS 47218501 HAS SOPS 23221964 HAS SOUS 3556960 HAS SOUPS 1370988 WITH SCORE 1418206.501
AT ITER 3185 NEW BEST:: SOT 55550060 SOS 47260414 HAS SOPS 23221577 HAS SOUS 3557032 HAS SOUPS 1370835 WITH SCORE 1418095.414
AT ITER 3186 NEW BEST:: SOT 55550060 SOS 47260414 HAS SOPS 23221577 HAS SOUS 3556724 HAS SOUPS 1370527 WITH SCORE 1417787.414
AT ITER 3191 NEW BEST:: SOT 55550060 SOS 47260414 HAS SOPS 23221577 HAS SOUS 3556358 HAS SOUPS 1370161 WITH SCORE 1417421.414
AT ITER 3205 NEW BEST:: SOT 55548795 SOS 47263318 HAS SOPS 23220035 HAS SOUS 3555602 HAS SOUPS 1369158 WITH SCORE 1416421.318
AT ITER 3209 NEW BEST:: SOT 55546647 SOS 47291230 HAS SOPS 23229101 HAS SOUS 3555830 HAS SOUPS 1368339 WITH SCORE 1415630.23
AT ITER 3229 NEW BEST:: SOT 55546647 SOS 47291230 HAS SOPS 23229101 HAS SOUS 3555464 HAS SOUPS 1367973 WITH SCORE 1415264.23
AT ITER 3234 NEW BEST:: SOT 55546213 SOS 47291752 HAS SOPS 23228879 HAS SOUS 3555270 HAS SOUPS 1367779 WITH SCORE 1415070.752
AT ITER 3244 NEW BEST:: SOT 55545797 SOS 47293410 HAS SOPS 23228035 HAS SOUS 3554852 HAS SOUPS 1366944 WITH SCORE 1414237.41
AT ITER 3246 NEW BEST:: SOT 55544297 SOS 47295866 HAS SOPS 23228096 HAS SOUS 3554000 HAS SOUPS 1366092 WITH SCORE 1413387.866
AT ITER 3253 NEW BEST:: SOT 55544385 SOS 47293050 HAS SOPS 23226864 HAS SOUS 3553912 HAS SOUPS 1366092 WITH SCORE 1413385.05
AT ITER 3254 NEW BEST:: SOT 55543362 SOS 47294164 HAS SOPS 23225179 HAS SOUS 3553211 HAS SOUPS 1365243 WITH SCORE 1412537.164
AT ITER 3256 NEW BEST:: SOT 55534234 SOS 47282098 HAS SOPS 23216851 HAS SOUS 3553072 HAS SOUPS 1364964 WITH SCORE 1412246.098
AT ITER 3257 NEW BEST:: SOT 55534234 SOS 47282098 HAS SOPS 23216851 HAS SOUS 3553036 HAS SOUPS 1364928 WITH SCORE 1412210.098
AT ITER 3269 NEW BEST:: SOT 55534234 SOS 47282098 HAS SOPS 23216851 HAS SOUS 3552670 HAS SOUPS 1364562 WITH SCORE 1411844.098
AT ITER 3273 NEW BEST:: SOT 55533816 SOS 47281262 HAS SOPS 23217269 HAS SOUS 3551834 HAS SOUPS 1363935 WITH SCORE 1411216.262
AT ITER 3284 NEW BEST:: SOT 55533677 SOS 47281590 HAS SOPS 23217597 HAS SOUS 3551758 HAS SOUPS 1363859 WITH SCORE 1411140.59
AT ITER 3291 NEW BEST:: SOT 55533572 SOS 47280426 HAS SOPS 23216433 HAS SOUS 3551547 HAS SOUPS 1363648 WITH SCORE 1410928.426
AT ITER 3293 NEW BEST:: SOT 55532682 SOS 47278130 HAS SOPS 23215685 HAS SOUS 3551173 HAS SOUPS 1363532 WITH SCORE 1410810.13
AT ITER 3318 NEW BEST:: SOT 55532682 SOS 47278130 HAS SOPS 23215685 HAS SOUS 3551107 HAS SOUPS 1363466 WITH SCORE 1410744.13
AT ITER 3329 NEW BEST:: SOT 55530451 SOS 47286742 HAS SOPS 23216917 HAS SOUS 3549356 HAS SOUPS 1361715 WITH SCORE 1409001.742
AT ITER 3351 NEW BEST:: SOT 55529936 SOS 47286124 HAS SOPS 23216299 HAS SOUS 3549143 HAS SOUPS 1361502 WITH SCORE 1408788.124
AT ITER 3365 NEW BEST:: SOT 55529936 SOS 47286124 HAS SOPS 23216299 HAS SOUS 3549079 HAS SOUPS 1361438 WITH SCORE 1408724.124
AT ITER 3369 NEW BEST:: SOT 55529936 SOS 47286124 HAS SOPS 23216299 HAS SOUS 3548713 HAS SOUPS 1361072 WITH SCORE 1408358.124
AT ITER 3371 NEW BEST:: SOT 55527898 SOS 47295466 HAS SOPS 23218177 HAS SOUS 3548136 HAS SOUPS 1360495 WITH SCORE 1407790.466
AT ITER 3384 NEW BEST:: SOT 55526582 SOS 47291616 HAS SOPS 23217981 HAS SOUS 3547244 HAS SOUPS 1360212 WITH SCORE 1407503.616
AT ITER 3385 NEW BEST:: SOT 55526114 SOS 47287704 HAS SOPS 23217069 HAS SOUS 3546658 HAS SOUPS 1360126 WITH SCORE 1407413.704
AT ITER 3386 NEW BEST:: SOT 55525928 SOS 47288324 HAS SOPS 23217317 HAS SOUS 3546596 HAS SOUPS 1360064 WITH SCORE 1407352.324
AT ITER 3387 NEW BEST:: SOT 55513184 SOS 47268466 HAS SOPS 23208667 HAS SOUS 3544891 HAS SOUPS 1359174 WITH SCORE 1406442.466
AT ITER 3388 NEW BEST:: SOT 55513184 SOS 47268466 HAS SOPS 23208667 HAS SOUS 3544525 HAS SOUPS 1358808 WITH SCORE 1406076.466
AT ITER 3391 NEW BEST:: SOT 55513184 SOS 47268466 HAS SOPS 23208667 HAS SOUS 3544299 HAS SOUPS 1358582 WITH SCORE 1405850.466
AT ITER 3398 NEW BEST:: SOT 55512861 SOS 47275938 HAS SOPS 23209497 HAS SOUS 3543983 HAS SOUPS 1357897 WITH SCORE 1405172.938
AT ITER 3400 NEW BEST:: SOT 55513202 SOS 47265708 HAS SOPS 23203359 HAS SOUS 3543983 HAS SOUPS 1357897 WITH SCORE 1405162.708
AT ITER 3416 NEW BEST:: SOT 55513171 SOS 47265708 HAS SOPS 23203173 HAS SOUS 3543983 HAS SOUPS 1357866 WITH SCORE 1405131.708
AT ITER 3424 NEW BEST:: SOT 55512815 SOS 47264594 HAS SOPS 23202059 HAS SOUS 3543627 HAS SOUPS 1357510 WITH SCORE 1404774.594
AT ITER 3426 NEW BEST:: SOT 55512815 SOS 47264594 HAS SOPS 23202059 HAS SOUS 3543485 HAS SOUPS 1357368 WITH SCORE 1404632.594
AT ITER 3462 NEW BEST:: SOT 55510927 SOS 47262078 HAS SOPS 23199543 HAS SOUS 3542611 HAS SOUPS 1356494 WITH SCORE 1403756.078
AT ITER 3465 NEW BEST:: SOT 55507532 SOS 47263348 HAS SOPS 23193559 HAS SOUS 3540425 HAS SOUPS 1353905 WITH SCORE 1401168.348
AT ITER 3478 NEW BEST:: SOT 55507450 SOS 47263184 HAS SOPS 23191571 HAS SOUS 3540227 HAS SOUPS 1353403 WITH SCORE 1400666.184
AT ITER 3480 NEW BEST:: SOT 55506715 SOS 47261714 HAS SOPS 23193329 HAS SOUS 3538587 HAS SOUPS 1352301 WITH SCORE 1399562.714
AT ITER 3483 NEW BEST:: SOT 55506914 SOS 47253376 HAS SOPS 23188267 HAS SOUS 3538512 HAS SOUPS 1352226 WITH SCORE 1399479.376
AT ITER 3502 NEW BEST:: SOT 55505772 SOS 47258360 HAS SOPS 23191775 HAS SOUS 3538088 HAS SOUPS 1352040 WITH SCORE 1399298.36
AT ITER 3504 NEW BEST:: SOT 55503605 SOS 47269106 HAS SOPS 23194481 HAS SOUS 3537612 HAS SOUPS 1351564 WITH SCORE 1398833.106
AT ITER 3508 NEW BEST:: SOT 55503281 SOS 47270834 HAS SOPS 23194265 HAS SOUS 3537396 HAS SOUPS 1351240 WITH SCORE 1398510.834
AT ITER 3522 NEW BEST:: SOT 55499437 SOS 47080793 HAS SOPS 23202274 HAS SOUS 3535423 HAS SOUPS 1349267 WITH SCORE 1396347.793
AT ITER 3528 NEW BEST:: SOT 55499833 SOS 47081009 HAS SOPS 23202490 HAS SOUS 3535242 HAS SOUPS 1349086 WITH SCORE 1396167.009
AT ITER 3564 NEW BEST:: SOT 55499845 SOS 47052119 HAS SOPS 23202356 HAS SOUS 3535226 HAS SOUPS 1349070 WITH SCORE 1396122.119
AT ITER 3574 NEW BEST:: SOT 55498948 SOS 47059189 HAS SOPS 23201848 HAS SOUS 3535579 HAS SOUPS 1349002 WITH SCORE 1396061.189
AT ITER 3577 NEW BEST:: SOT 55498739 SOS 47057865 HAS SOPS 23202312 HAS SOUS 3534968 HAS SOUPS 1348689 WITH SCORE 1395746.865
AT ITER 3580 NEW BEST:: SOT 55498677 SOS 47057473 HAS SOPS 23202724 HAS SOUS 3534772 HAS SOUPS 1348627 WITH SCORE 1395684.473
AT ITER 3589 NEW BEST:: SOT 55497141 SOS 47053563 HAS SOPS 23201328 HAS SOUS 3533697 HAS SOUPS 1347971 WITH SCORE 1395024.563
AT ITER 3591 NEW BEST:: SOT 55496566 SOS 47052413 HAS SOPS 23204894 HAS SOUS 3532295 HAS SOUPS 1347355 WITH SCORE 1394407.413
AT ITER 3663 NEW BEST:: SOT 55496530 SOS 47052341 HAS SOPS 23206298 HAS SOUS 3532013 HAS SOUPS 1347319 WITH SCORE 1394371.341
AT ITER 3665 NEW BEST:: SOT 55496398 SOS 47051681 HAS SOPS 23205638 HAS SOUS 3531815 HAS SOUPS 1347121 WITH SCORE 1394172.681
AT ITER 3678 NEW BEST:: SOT 55496192 SOS 47051269 HAS SOPS 23206780 HAS SOUS 3531350 HAS SOUPS 1346915 WITH SCORE 1393966.269
AT ITER 3679 NEW BEST:: SOT 55496192 SOS 47051269 HAS SOPS 23206780 HAS SOUS 3531090 HAS SOUPS 1346655 WITH SCORE 1393706.269
AT ITER 3717 NEW BEST:: SOT 55496192 SOS 47051269 HAS SOPS 23206780 HAS SOUS 3530724 HAS SOUPS 1346289 WITH SCORE 1393340.269
AT ITER 3719 NEW BEST:: SOT 55495973 SOS 47053167 HAS SOPS 23207802 HAS SOUS 3530578 HAS SOUPS 1346143 WITH SCORE 1393196.167
AT ITER 3725 NEW BEST:: SOT 55494643 SOS 47254369 HAS SOPS 23206256 HAS SOUS 3529136 HAS SOUPS 1344701 WITH SCORE 1391955.369
AT ITER 3741 NEW BEST:: SOT 55493950 SOS 47255161 HAS SOPS 23205266 HAS SOUS 3528740 HAS SOUPS 1344206 WITH SCORE 1391461.161
AT ITER 3743 NEW BEST:: SOT 55493288 SOS 47244925 HAS SOPS 23200358 HAS SOUS 3527968 HAS SOUPS 1343730 WITH SCORE 1390974.925
AT ITER 3748 NEW BEST:: SOT 55492826 SOS 47248095 HAS SOPS 23200756 HAS SOUS 3527905 HAS SOUPS 1343513 WITH SCORE 1390761.095
AT ITER 3764 NEW BEST:: SOT 55492238 SOS 47246919 HAS SOPS 23201344 HAS SOUS 3526729 HAS SOUPS 1342631 WITH SCORE 1389877.919
AT ITER 3778 NEW BEST:: SOT 55492227 SOS 47246897 HAS SOPS 23201322 HAS SOUS 3526718 HAS SOUPS 1342620 WITH SCORE 1389866.897
AT ITER 3798 NEW BEST:: SOT 55492095 SOS 47247117 HAS SOPS 23201146 HAS SOUS 3526674 HAS SOUPS 1342554 WITH SCORE 1389801.117
AT ITER 3799 NEW BEST:: SOT 55492038 SOS 47247003 HAS SOPS 23201032 HAS SOUS 3526617 HAS SOUPS 1342497 WITH SCORE 1389744.003
AT ITER 3819 NEW BEST:: SOT 55491999 SOS 47246925 HAS SOPS 23200954 HAS SOUS 3526578 HAS SOUPS 1342458 WITH SCORE 1389704.925
AT ITER 3825 NEW BEST:: SOT 55491999 SOS 47246925 HAS SOPS 23200954 HAS SOUS 3526516 HAS SOUPS 1342396 WITH SCORE 1389642.925
AT ITER 3837 NEW BEST:: SOT 55491204 SOS 47250635 HAS SOPS 23199894 HAS SOUS 3526251 HAS SOUPS 1341866 WITH SCORE 1389116.635
AT ITER 3859 NEW BEST:: SOT 55491204 SOS 47250635 HAS SOPS 23199894 HAS SOUS 3526097 HAS SOUPS 1341712 WITH SCORE 1388962.635
AT ITER 3865 NEW BEST:: SOT 55490061 SOS 47252809 HAS SOPS 23199392 HAS SOUS 3525143 HAS SOUPS 1340758 WITH SCORE 1388010.809
AT ITER 3866 NEW BEST:: SOT 55489729 SOS 47251631 HAS SOPS 23198214 HAS SOUS 3525015 HAS SOUPS 1340630 WITH SCORE 1387881.631
AT ITER 3868 NEW BEST:: SOT 55489729 SOS 47251631 HAS SOPS 23198214 HAS SOUS 3524763 HAS SOUPS 1340378 WITH SCORE 1387629.631
AT ITER 3916 NEW BEST:: SOT 55489343 SOS 47252381 HAS SOPS 23194398 HAS SOUS 3525033 HAS SOUPS 1339887 WITH SCORE 1387139.381
AT ITER 3929 NEW BEST:: SOT 55488843 SOS 47250227 HAS SOPS 23195706 HAS SOUS 3523956 HAS SOUPS 1339387 WITH SCORE 1386637.227
AT ITER 4002 NEW BEST:: SOT 55486439 SOS 47277323 HAS SOPS 23205234 HAS SOUS 3524874 HAS SOUPS 1339329 WITH SCORE 1386606.323
AT ITER 4020 NEW BEST:: SOT 55486401 SOS 47277247 HAS SOPS 23204804 HAS SOUS 3524837 HAS SOUPS 1339233 WITH SCORE 1386510.247
AT ITER 4039 NEW BEST:: SOT 55486361 SOS 47277167 HAS SOPS 23204724 HAS SOUS 3524797 HAS SOUPS 1339193 WITH SCORE 1386470.167
AT ITER 4052 NEW BEST:: SOT 55482590 SOS 47291523 HAS SOPS 23208616 HAS SOUS 3523025 HAS SOUPS 1337421 WITH SCORE 1384712.523
AT ITER 4064 NEW BEST:: SOT 55482249 SOS 47290841 HAS SOPS 23207934 HAS SOUS 3522343 HAS SOUPS 1336739 WITH SCORE 1384029.841
AT ITER 4086 NEW BEST:: SOT 55478668 SOS 47295967 HAS SOPS 23208068 HAS SOUS 3521863 HAS SOUPS 1336259 WITH SCORE 1383554.967
AT ITER 4092 NEW BEST:: SOT 55478668 SOS 47295943 HAS SOPS 23210876 HAS SOUS 3521387 HAS SOUPS 1336255 WITH SCORE 1383550.943
AT ITER 4093 NEW BEST:: SOT 55478164 SOS 47298631 HAS SOPS 23210540 HAS SOUS 3521051 HAS SOUPS 1335751 WITH SCORE 1383049.631
AT ITER 4094 NEW BEST:: SOT 55476579 SOS 47301297 HAS SOPS 23209906 HAS SOUS 3520331 HAS SOUPS 1335031 WITH SCORE 1382332.297
AT ITER 4097 NEW BEST:: SOT 55475979 SOS 47304033 HAS SOPS 23210842 HAS SOUS 3519881 HAS SOUPS 1334581 WITH SCORE 1381885.033
AT ITER 4098 NEW BEST:: SOT 55472894 SOS 47323951 HAS SOPS 23220248 HAS SOUS 3518119 HAS SOUPS 1332819 WITH SCORE 1380142.951
AT ITER 4119 NEW BEST:: SOT 55479465 SOS 47331126 HAS SOPS 23225569 HAS SOUS 3517546 HAS SOUPS 1332734 WITH SCORE 1380065.126
AT ITER 4142 NEW BEST:: SOT 55479465 SOS 47331126 HAS SOPS 23225569 HAS SOUS 3517252 HAS SOUPS 1332440 WITH SCORE 1379771.126
AT ITER 4144 NEW BEST:: SOT 55478959 SOS 47326796 HAS SOPS 23224977 HAS SOUS 3516235 HAS SOUPS 1332046 WITH SCORE 1379372.796
AT ITER 4152 NEW BEST:: SOT 55478959 SOS 47326796 HAS SOPS 23224977 HAS SOUS 3515869 HAS SOUPS 1331680 WITH SCORE 1379006.796
AT ITER 4171 NEW BEST:: SOT 55475903 SOS 47337112 HAS SOPS 23226653 HAS SOUS 3514145 HAS SOUPS 1329956 WITH SCORE 1377293.112
AT ITER 4172 NEW BEST:: SOT 55475062 SOS 47332610 HAS SOPS 23224971 HAS SOUS 3512398 HAS SOUPS 1328679 WITH SCORE 1376011.61
AT ITER 4175 NEW BEST:: SOT 55474524 SOS 47331534 HAS SOPS 23225509 HAS SOUS 3511322 HAS SOUPS 1327872 WITH SCORE 1375203.534
AT ITER 4183 NEW BEST:: SOT 55474524 SOS 47331534 HAS SOPS 23225509 HAS SOUS 3511144 HAS SOUPS 1327694 WITH SCORE 1375025.534
AT ITER 4200 NEW BEST:: SOT 55471463 SOS 47323646 HAS SOPS 23222919 HAS SOUS 3509348 HAS SOUPS 1326781 WITH SCORE 1374104.646
AT ITER 4220 NEW BEST:: SOT 55471221 SOS 47358847 HAS SOPS 23222630 HAS SOUS 3509116 HAS SOUPS 1326549 WITH SCORE 1373907.847
AT ITER 4256 NEW BEST:: SOT 55471135 SOS 47358675 HAS SOPS 23222458 HAS SOUS 3509030 HAS SOUPS 1326463 WITH SCORE 1373821.675
AT ITER 4269 NEW BEST:: SOT 55471135 SOS 47358675 HAS SOPS 23222458 HAS SOUS 3508664 HAS SOUPS 1326097 WITH SCORE 1373455.675
AT ITER 4270 NEW BEST:: SOT 55470607 SOS 47357619 HAS SOPS 23225080 HAS SOUS 3507237 HAS SOUPS 1325283 WITH SCORE 1372640.619
AT ITER 4273 NEW BEST:: SOT 55470607 SOS 47357619 HAS SOPS 23225080 HAS SOUS 3507009 HAS SOUPS 1325055 WITH SCORE 1372412.619
AT ITER 4280 NEW BEST:: SOT 55470535 SOS 47357475 HAS SOPS 23224936 HAS SOUS 3506937 HAS SOUPS 1324983 WITH SCORE 1372340.475
AT ITER 4287 NEW BEST:: SOT 55470535 SOS 47357475 HAS SOPS 23224936 HAS SOUS 3506931 HAS SOUPS 1324977 WITH SCORE 1372334.475
AT ITER 4298 NEW BEST:: SOT 55470535 SOS 47357475 HAS SOPS 23224936 HAS SOUS 3506929 HAS SOUPS 1324975 WITH SCORE 1372332.475
AT ITER 4300 NEW BEST:: SOT 55470309 SOS 47357023 HAS SOPS 23225468 HAS SOUS 3506477 HAS SOUPS 1324687 WITH SCORE 1372044.023
AT ITER 4313 NEW BEST:: SOT 55470309 SOS 47357023 HAS SOPS 23225468 HAS SOUS 3506179 HAS SOUPS 1324389 WITH SCORE 1371746.023
AT ITER 4324 NEW BEST:: SOT 55470309 SOS 47357023 HAS SOPS 23225468 HAS SOUS 3506039 HAS SOUPS 1324249 WITH SCORE 1371606.023
AT ITER 4331 NEW BEST:: SOT 55470324 SOS 47356573 HAS SOPS 23225198 HAS SOUS 3506039 HAS SOUPS 1324249 WITH SCORE 1371605.573
AT ITER 4333 NEW BEST:: SOT 55470105 SOS 47355877 HAS SOPS 23224502 HAS SOUS 3505658 HAS SOUPS 1323868 WITH SCORE 1371223.877
AT ITER 4354 NEW BEST:: SOT 55470027 SOS 47355877 HAS SOPS 23224502 HAS SOUS 3505598 HAS SOUPS 1323808 WITH SCORE 1371163.877
AT ITER 4413 NEW BEST:: SOT 55469845 SOS 47372712 HAS SOPS 23224229 HAS SOUS 3505598 HAS SOUPS 1323717 WITH SCORE 1371089.712
AT ITER 4451 NEW BEST:: SOT 55468105 SOS 47379332 HAS SOPS 23221759 HAS SOUS 3505320 HAS SOUPS 1322934 WITH SCORE 1370313.332
AT ITER 4468 NEW BEST:: SOT 55462990 SOS 47396684 HAS SOPS 23226511 HAS SOUS 3501674 HAS SOUPS 1319288 WITH SCORE 1366684.684
AT ITER 4485 NEW BEST:: SOT 55461698 SOS 47393602 HAS SOPS 23223429 HAS SOUS 3500982 HAS SOUPS 1318596 WITH SCORE 1365989.602
AT ITER 4488 NEW BEST:: SOT 55461153 SOS 47392512 HAS SOPS 23222339 HAS SOUS 3500242 HAS SOUPS 1317856 WITH SCORE 1365248.512
AT ITER 4511 NEW BEST:: SOT 55461200 SOS 47392606 HAS SOPS 23225109 HAS SOUS 3499737 HAS SOUPS 1317797 WITH SCORE 1365189.606
AT ITER 4517 NEW BEST:: SOT 55461063 SOS 47392332 HAS SOPS 23223383 HAS SOUS 3499741 HAS SOUPS 1317559 WITH SCORE 1364951.332
AT ITER 4518 NEW BEST:: SOT 55461063 SOS 47392332 HAS SOPS 23223383 HAS SOUS 3499375 HAS SOUPS 1317193 WITH SCORE 1364585.332
AT ITER 4520 NEW BEST:: SOT 55461063 SOS 47392332 HAS SOPS 23223383 HAS SOUS 3499009 HAS SOUPS 1316827 WITH SCORE 1364219.332
AT ITER 4541 NEW BEST:: SOT 55460558 SOS 47396900 HAS SOPS 23223505 HAS SOUS 3498657 HAS SOUPS 1316228 WITH SCORE 1363624.9
AT ITER 4547 NEW BEST:: SOT 55460558 SOS 47396900 HAS SOPS 23223505 HAS SOUS 3498387 HAS SOUPS 1315958 WITH SCORE 1363354.9
AT ITER 4548 NEW BEST:: SOT 55460086 SOS 47397136 HAS SOPS 23223033 HAS SOUS 3498092 HAS SOUPS 1315663 WITH SCORE 1363060.136
AT ITER 4557 NEW BEST:: SOT 55459967 SOS 47397340 HAS SOPS 23222931 HAS SOUS 3498024 HAS SOUPS 1315578 WITH SCORE 1362975.34
AT ITER 4558 NEW BEST:: SOT 55459967 SOS 47397340 HAS SOPS 23222931 HAS SOUS 3497886 HAS SOUPS 1315440 WITH SCORE 1362837.34
AT ITER 4571 NEW BEST:: SOT 55459381 SOS 47397528 HAS SOPS 23222303 HAS SOUS 3497462 HAS SOUPS 1315016 WITH SCORE 1362413.528
AT ITER 4572 NEW BEST:: SOT 55456577 SOS 47411546 HAS SOPS 23224009 HAS SOUS 3497120 HAS SOUPS 1313990 WITH SCORE 1361401.546
AT ITER 4579 NEW BEST:: SOT 55452952 SOS 47414242 HAS SOPS 23219163 HAS SOUS 3495050 HAS SOUPS 1311501 WITH SCORE 1358915.242
AT ITER 4606 NEW BEST:: SOT 55452747 SOS 47413832 HAS SOPS 23220823 HAS SOUS 3494262 HAS SOUPS 1311058 WITH SCORE 1358471.832
AT ITER 4632 NEW BEST:: SOT 55452576 SOS 47413490 HAS SOPS 23220481 HAS SOUS 3493676 HAS SOUPS 1310472 WITH SCORE 1357885.49
AT ITER 4633 NEW BEST:: SOT 55450346 SOS 47409030 HAS SOPS 23216021 HAS SOUS 3492963 HAS SOUPS 1309759 WITH SCORE 1357168.03
AT ITER 4635 NEW BEST:: SOT 55449551 SOS 47414006 HAS SOPS 23217817 HAS SOUS 3492433 HAS SOUPS 1309229 WITH SCORE 1356643.006
AT ITER 4645 NEW BEST:: SOT 55449362 SOS 47417116 HAS SOPS 23219619 HAS SOUS 3492353 HAS SOUPS 1309149 WITH SCORE 1356566.116
AT ITER 4659 NEW BEST:: SOT 55449362 SOS 47417116 HAS SOPS 23219619 HAS SOUS 3492225 HAS SOUPS 1309021 WITH SCORE 1356438.116
AT ITER 4663 NEW BEST:: SOT 55448272 SOS 47426306 HAS SOPS 23220763 HAS SOUS 3492581 HAS SOUPS 1308930 WITH SCORE 1356356.306
AT ITER 4693 NEW BEST:: SOT 55445595 SOS 47419766 HAS SOPS 23217781 HAS SOUS 3491108 HAS SOUPS 1308050 WITH SCORE 1355469.766
AT ITER 4695 NEW BEST:: SOT 55445341 SOS 47416828 HAS SOPS 23218185 HAS SOUS 3490061 HAS SOUPS 1307560 WITH SCORE 1354976.828
AT ITER 4701 NEW BEST:: SOT 55443329 SOS 47411988 HAS SOPS 23215793 HAS SOUS 3488647 HAS SOUPS 1306554 WITH SCORE 1353965.988
AT ITER 4705 NEW BEST:: SOT 55428962 SOS 47390398 HAS SOPS 23205957 HAS SOUS 3487065 HAS SOUPS 1305607 WITH SCORE 1352997.398
AT ITER 4714 NEW BEST:: SOT 55428962 SOS 47390398 HAS SOPS 23205957 HAS SOUS 3486987 HAS SOUPS 1305529 WITH SCORE 1352919.398
AT ITER 4716 NEW BEST:: SOT 55426000 SOS 47394188 HAS SOPS 23201539 HAS SOUS 3486305 HAS SOUPS 1304391 WITH SCORE 1351785.188
AT ITER 4734 NEW BEST:: SOT 55419545 SOS 47384601 HAS SOPS 23194910 HAS SOUS 3485845 HAS SOUPS 1303931 WITH SCORE 1351315.601
AT ITER 4742 NEW BEST:: SOT 55419545 SOS 47384601 HAS SOPS 23194910 HAS SOUS 3485661 HAS SOUPS 1303747 WITH SCORE 1351131.601
AT ITER 4764 NEW BEST:: SOT 55415988 SOS 47396389 HAS SOPS 23198766 HAS SOUS 3482976 HAS SOUPS 1301062 WITH SCORE 1348458.389
AT ITER 4776 NEW BEST:: SOT 55416020 SOS 47394341 HAS SOPS 23199550 HAS SOUS 3482187 HAS SOUPS 1300745 WITH SCORE 1348139.341
AT ITER 4790 NEW BEST:: SOT 55414214 SOS 47397521 HAS SOPS 23198086 HAS SOUS 3481427 HAS SOUPS 1299727 WITH SCORE 1347124.521
AT ITER 4802 NEW BEST:: SOT 55413277 SOS 47406739 HAS SOPS 23202960 HAS SOUS 3480852 HAS SOUPS 1299152 WITH SCORE 1346558.739
AT ITER 4829 NEW BEST:: SOT 55412370 SOS 47404925 HAS SOPS 23201146 HAS SOUS 3478940 HAS SOUPS 1297240 WITH SCORE 1344644.925
AT ITER 4833 NEW BEST:: SOT 55412370 SOS 47404925 HAS SOPS 23201146 HAS SOUS 3478938 HAS SOUPS 1297238 WITH SCORE 1344642.925
AT ITER 4840 NEW BEST:: SOT 55412505 SOS 47405717 HAS SOPS 23198386 HAS SOUS 3478740 HAS SOUPS 1296448 WITH SCORE 1343853.717
AT ITER 4880 NEW BEST:: SOT 55412444 SOS 47405595 HAS SOPS 23198264 HAS SOUS 3478679 HAS SOUPS 1296387 WITH SCORE 1343792.595
AT ITER 4884 NEW BEST:: SOT 55412107 SOS 47404831 HAS SOPS 23198640 HAS SOUS 3478195 HAS SOUPS 1296093 WITH SCORE 1343497.831
AT ITER 4887 NEW BEST:: SOT 55412107 SOS 47404831 HAS SOPS 23198640 HAS SOUS 3477985 HAS SOUPS 1295883 WITH SCORE 1343287.831
AT ITER 4902 NEW BEST:: SOT 55410648 SOS 47439263 HAS SOPS 23210392 HAS SOUS 3479115 HAS SOUPS 1295753 WITH SCORE 1343192.263
AT ITER 4904 NEW BEST:: SOT 55410648 SOS 47439263 HAS SOPS 23210392 HAS SOUS 3478923 HAS SOUPS 1295561 WITH SCORE 1343000.263
AT ITER 4923 NEW BEST:: SOT 55410069 SOS 47441965 HAS SOPS 23209620 HAS SOUS 3478730 HAS SOUPS 1295175 WITH SCORE 1342616.965
AT ITER 4925 NEW BEST:: SOT 55408693 SOS 47438525 HAS SOPS 23206180 HAS SOUS 3478386 HAS SOUPS 1294831 WITH SCORE 1342269.525
AT ITER 4951 NEW BEST:: SOT 55408785 SOS 47436245 HAS SOPS 23204824 HAS SOUS 3478328 HAS SOUPS 1294773 WITH SCORE 1342209.245
AT ITER 4961 NEW BEST:: SOT 55409604 SOS 47434607 HAS SOPS 23204707 HAS SOUS 3478328 HAS SOUPS 1294773 WITH SCORE 1342207.607
AT ITER 4962 NEW BEST:: SOT 55409604 SOS 47434607 HAS SOPS 23204707 HAS SOUS 3478214 HAS SOUPS 1294659 WITH SCORE 1342093.607
AT ITER 4967 NEW BEST:: SOT 55409604 SOS 47434607 HAS SOPS 23204707 HAS SOUS 3478006 HAS SOUPS 1294451 WITH SCORE 1341885.607
AT ITER 4990 NEW BEST:: SOT 55407110 SOS 47454313 HAS SOPS 23212941 HAS SOUS 3477688 HAS SOUPS 1294133 WITH SCORE 1341587.313
AT ITER 5018 NEW BEST:: SOT 55406902 SOS 47453897 HAS SOPS 23212525 HAS SOUS 3477636 HAS SOUPS 1294081 WITH SCORE 1341534.897
AT ITER 5019 NEW BEST:: SOT 55406902 SOS 47453897 HAS SOPS 23212525 HAS SOUS 3477584 HAS SOUPS 1294029 WITH SCORE 1341482.897
AT ITER 5027 NEW BEST:: SOT 55406902 SOS 47453897 HAS SOPS 23212525 HAS SOUS 3477572 HAS SOUPS 1294017 WITH SCORE 1341470.897
AT ITER 5039 NEW BEST:: SOT 55406902 SOS 47453423 HAS SOPS 23212051 HAS SOUS 3477572 HAS SOUPS 1294017 WITH SCORE 1341470.423
AT ITER 5042 NEW BEST:: SOT 55405172 SOS 47458855 HAS SOPS 23213379 HAS SOUS 3476516 HAS SOUPS 1292961 WITH SCORE 1340419.855
AT ITER 5043 NEW BEST:: SOT 55405172 SOS 47458855 HAS SOPS 23213379 HAS SOUS 3476450 HAS SOUPS 1292895 WITH SCORE 1340353.855
AT ITER 5058 NEW BEST:: SOT 55405172 SOS 47458855 HAS SOPS 23213013 HAS SOUS 3476450 HAS SOUPS 1292834 WITH SCORE 1340292.855
AT ITER 5068 NEW BEST:: SOT 55404645 SOS 47456867 HAS SOPS 23213827 HAS SOUS 3475545 HAS SOUPS 1292396 WITH SCORE 1339852.867
AT ITER 5113 NEW BEST:: SOT 55404213 SOS 47456003 HAS SOPS 23212963 HAS SOUS 3474681 HAS SOUPS 1291532 WITH SCORE 1338988.003
AT ITER 5125 NEW BEST:: SOT 55403513 SOS 47452503 HAS SOPS 23211563 HAS SOUS 3473281 HAS SOUPS 1290482 WITH SCORE 1337934.503
AT ITER 5133 NEW BEST:: SOT 55403279 SOS 47451361 HAS SOPS 23210421 HAS SOUS 3473047 HAS SOUPS 1290248 WITH SCORE 1337699.361
AT ITER 5138 NEW BEST:: SOT 55402263 SOS 47449715 HAS SOPS 23208775 HAS SOUS 3472942 HAS SOUPS 1290143 WITH SCORE 1337592.715
AT ITER 5139 NEW BEST:: SOT 55402014 SOS 47449217 HAS SOPS 23210359 HAS SOUS 3472346 HAS SOUPS 1289894 WITH SCORE 1337343.217
AT ITER 5146 NEW BEST:: SOT 55401846 SOS 47447633 HAS SOPS 23208775 HAS SOUS 3472178 HAS SOUPS 1289726 WITH SCORE 1337173.633
AT ITER 5167 NEW BEST:: SOT 55400054 SOS 47443013 HAS SOPS 23207263 HAS SOUS 3470558 HAS SOUPS 1288624 WITH SCORE 1336067.013
AT ITER 5174 NEW BEST:: SOT 55399468 SOS 47441841 HAS SOPS 23206091 HAS SOUS 3469972 HAS SOUPS 1288038 WITH SCORE 1335479.841
AT ITER 5202 NEW BEST:: SOT 55398900 SOS 47440705 HAS SOPS 23202819 HAS SOUS 3469300 HAS SOUPS 1287010 WITH SCORE 1334450.705
AT ITER 5204 NEW BEST:: SOT 55398368 SOS 47439641 HAS SOPS 23201755 HAS SOUS 3469064 HAS SOUPS 1286774 WITH SCORE 1334213.641
AT ITER 5208 NEW BEST:: SOT 55398368 SOS 47439641 HAS SOPS 23201755 HAS SOUS 3469014 HAS SOUPS 1286724 WITH SCORE 1334163.641
AT ITER 5219 NEW BEST:: SOT 55397750 SOS 47438009 HAS SOPS 23201311 HAS SOUS 3468621 HAS SOUPS 1286529 WITH SCORE 1333967.009
AT ITER 5250 NEW BEST:: SOT 55384084 SOS 47417379 HAS SOPS 23193280 HAS SOUS 3467716 HAS SOUPS 1286545 WITH SCORE 1333962.379
AT ITER 5282 NEW BEST:: SOT 55383773 SOS 47414891 HAS SOPS 23192658 HAS SOUS 3467093 HAS SOUPS 1286233 WITH SCORE 1333647.891
AT ITER 5287 NEW BEST:: SOT 55381107 SOS 47435357 HAS SOPS 23201148 HAS SOUS 3467069 HAS SOUPS 1286209 WITH SCORE 1333644.357
AT ITER 5298 NEW BEST:: SOT 55378619 SOS 47430381 HAS SOPS 23196172 HAS SOUS 3465799 HAS SOUPS 1284939 WITH SCORE 1332369.381
AT ITER 5308 NEW BEST:: SOT 55374635 SOS 47448845 HAS SOPS 23203680 HAS SOUS 3463544 HAS SOUPS 1282684 WITH SCORE 1330132.845
AT ITER 5317 NEW BEST:: SOT 55375959 SOS 47455253 HAS SOPS 23205576 HAS SOUS 3463546 HAS SOUPS 1282498 WITH SCORE 1329953.253
AT ITER 5334 NEW BEST:: SOT 55375243 SOS 47453821 HAS SOPS 23204144 HAS SOUS 3462456 HAS SOUPS 1281408 WITH SCORE 1328861.821
AT ITER 5336 NEW BEST:: SOT 55375243 SOS 47453821 HAS SOPS 23204144 HAS SOUS 3462129 HAS SOUPS 1281081 WITH SCORE 1328534.821
AT ITER 5339 NEW BEST:: SOT 55370061 SOS 47446127 HAS SOPS 23198254 HAS SOUS 3462305 HAS SOUPS 1281018 WITH SCORE 1328464.127
AT ITER 5340 NEW BEST:: SOT 55370061 SOS 47445791 HAS SOPS 23197918 HAS SOUS 3462249 HAS SOUPS 1280962 WITH SCORE 1328407.791
AT ITER 5346 NEW BEST:: SOT 55368521 SOS 47449641 HAS SOPS 23195720 HAS SOUS 3461829 HAS SOUPS 1280206 WITH SCORE 1327655.641
AT ITER 5362 NEW BEST:: SOT 55367273 SOS 47441835 HAS SOPS 23193962 HAS SOUS 3458540 HAS SOUPS 1277925 WITH SCORE 1325366.835
AT ITER 5365 NEW BEST:: SOT 55367273 SOS 47441835 HAS SOPS 23193962 HAS SOUS 3458360 HAS SOUPS 1277745 WITH SCORE 1325186.835
AT ITER 5377 NEW BEST:: SOT 55366985 SOS 47441193 HAS SOPS 23195048 HAS SOUS 3457772 HAS SOUPS 1277445 WITH SCORE 1324886.193
AT ITER 5381 NEW BEST:: SOT 55366965 SOS 47441153 HAS SOPS 23195008 HAS SOUS 3457742 HAS SOUPS 1277415 WITH SCORE 1324856.153
AT ITER 5385 NEW BEST:: SOT 55366806 SOS 47440835 HAS SOPS 23195254 HAS SOUS 3457424 HAS SOUPS 1277191 WITH SCORE 1324631.835
AT ITER 5391 NEW BEST:: SOT 55366024 SOS 47448589 HAS SOPS 23198256 HAS SOUS 3457134 HAS SOUPS 1276901 WITH SCORE 1324349.589
AT ITER 5401 NEW BEST:: SOT 55366024 SOS 47448589 HAS SOPS 23198256 HAS SOUS 3456768 HAS SOUPS 1276535 WITH SCORE 1323983.589
AT ITER 5404 NEW BEST:: SOT 55365938 SOS 47448417 HAS SOPS 23198084 HAS SOUS 3456639 HAS SOUPS 1276406 WITH SCORE 1323854.417
AT ITER 5405 NEW BEST:: SOT 55365938 SOS 47448417 HAS SOPS 23198084 HAS SOUS 3456579 HAS SOUPS 1276346 WITH SCORE 1323794.417
AT ITER 5407 NEW BEST:: SOT 55365383 SOS 47444889 HAS SOPS 23197346 HAS SOUS 3455289 HAS SOUPS 1275521 WITH SCORE 1322965.889
AT ITER 5410 NEW BEST:: SOT 55362310 SOS 47465453 HAS SOPS 23205790 HAS SOUS 3454438 HAS SOUPS 1274670 WITH SCORE 1322135.453
AT ITER 5456 NEW BEST:: SOT 55361812 SOS 47464457 HAS SOPS 23208154 HAS SOUS 3453404 HAS SOUPS 1274196 WITH SCORE 1321660.457
AT ITER 5461 NEW BEST:: SOT 55361737 SOS 47462540 HAS SOPS 23206237 HAS SOUS 3453022 HAS SOUPS 1273814 WITH SCORE 1321276.54
AT ITER 5479 NEW BEST:: SOT 55357379 SOS 47468000 HAS SOPS 23202157 HAS SOUS 3450290 HAS SOUPS 1270552 WITH SCORE 1318020.0
AT ITER 5506 NEW BEST:: SOT 55357379 SOS 47468000 HAS SOPS 23202157 HAS SOUS 3450126 HAS SOUPS 1270388 WITH SCORE 1317856.0
AT ITER 5536 NEW BEST:: SOT 55357055 SOS 47467352 HAS SOPS 23201509 HAS SOUS 3449801 HAS SOUPS 1270063 WITH SCORE 1317530.352
AT ITER 5544 NEW BEST:: SOT 55350672 SOS 47457747 HAS SOPS 23197401 HAS SOUS 3449418 HAS SOUPS 1269915 WITH SCORE 1317372.747
AT ITER 5550 NEW BEST:: SOT 55348299 SOS 47449241 HAS SOPS 23194535 HAS SOUS 3445612 HAS SOUPS 1267049 WITH SCORE 1314498.241
AT ITER 5591 NEW BEST:: SOT 55345410 SOS 47444645 HAS SOPS 23192687 HAS SOUS 3445278 HAS SOUPS 1266944 WITH SCORE 1314388.645
AT ITER 5595 NEW BEST:: SOT 55343719 SOS 47440573 HAS SOPS 23188615 HAS SOUS 3444622 HAS SOUPS 1266288 WITH SCORE 1313728.573
AT ITER 5611 NEW BEST:: SOT 55331993 SOS 47422820 HAS SOPS 23180739 HAS SOUS 3443943 HAS SOUPS 1266145 WITH SCORE 1313567.82
AT ITER 5622 NEW BEST:: SOT 55331788 SOS 47426282 HAS SOPS 23182749 HAS SOUS 3443859 HAS SOUPS 1266061 WITH SCORE 1313487.282
AT ITER 5625 NEW BEST:: SOT 55329528 SOS 47442056 HAS SOPS 23189979 HAS SOUS 3443115 HAS SOUPS 1265317 WITH SCORE 1312759.056
AT ITER 5644 NEW BEST:: SOT 55329528 SOS 47440892 HAS SOPS 23192307 HAS SOUS 3442533 HAS SOUPS 1265317 WITH SCORE 1312757.892
AT ITER 5655 NEW BEST:: SOT 55329640 SOS 47441666 HAS SOPS 23191431 HAS SOUS 3442342 HAS SOUPS 1264851 WITH SCORE 1312292.666
AT ITER 5688 NEW BEST:: SOT 55327641 SOS 47447270 HAS SOPS 23192487 HAS SOUS 3440630 HAS SOUPS 1263139 WITH SCORE 1310586.27
AT ITER 5713 NEW BEST:: SOT 55327194 SOS 47446376 HAS SOPS 23191593 HAS SOUS 3439736 HAS SOUPS 1262245 WITH SCORE 1309691.376
AT ITER 5717 NEW BEST:: SOT 55327164 SOS 47446316 HAS SOPS 23191533 HAS SOUS 3439706 HAS SOUPS 1262215 WITH SCORE 1309661.316
AT ITER 5736 NEW BEST:: SOT 55327164 SOS 47446316 HAS SOPS 23191533 HAS SOUS 3439340 HAS SOUPS 1261849 WITH SCORE 1309295.316
AT ITER 5739 NEW BEST:: SOT 55322406 SOS 47456692 HAS SOPS 23192393 HAS SOUS 3437829 HAS SOUPS 1260338 WITH SCORE 1307794.692
AT ITER 5761 NEW BEST:: SOT 55321504 SOS 47459854 HAS SOPS 23192117 HAS SOUS 3437295 HAS SOUPS 1259613 WITH SCORE 1307072.854
AT ITER 5765 NEW BEST:: SOT 55321413 SOS 47459672 HAS SOPS 23191935 HAS SOUS 3437204 HAS SOUPS 1259522 WITH SCORE 1306981.672
AT ITER 5786 NEW BEST:: SOT 55312662 SOS 47446470 HAS SOPS 23186072 HAS SOUS 3436404 HAS SOUPS 1259159 WITH SCORE 1306605.47
AT ITER 5803 NEW BEST:: SOT 55312662 SOS 47446470 HAS SOPS 23186072 HAS SOUS 3436038 HAS SOUPS 1258793 WITH SCORE 1306239.47
AT ITER 5826 NEW BEST:: SOT 55312620 SOS 47446386 HAS SOPS 23185988 HAS SOUS 3435996 HAS SOUPS 1258751 WITH SCORE 1306197.386
AT ITER 5834 NEW BEST:: SOT 55312620 SOS 47446386 HAS SOPS 23185988 HAS SOUS 3435926 HAS SOUPS 1258681 WITH SCORE 1306127.386
AT ITER 5838 NEW BEST:: SOT 55312620 SOS 47446386 HAS SOPS 23185988 HAS SOUS 3435846 HAS SOUPS 1258601 WITH SCORE 1306047.386
AT ITER 5839 NEW BEST:: SOT 55313368 SOS 47450687 HAS SOPS 23185801 HAS SOUS 3434911 HAS SOUPS 1257479 WITH SCORE 1304929.687
AT ITER 5850 NEW BEST:: SOT 55312426 SOS 47460269 HAS SOPS 23191027 HAS SOUS 3434476 HAS SOUPS 1257044 WITH SCORE 1304504.269
AT ITER 5862 NEW BEST:: SOT 55312380 SOS 47461509 HAS SOPS 23192267 HAS SOUS 3434430 HAS SOUPS 1256998 WITH SCORE 1304459.509
AT ITER 5869 NEW BEST:: SOT 55312380 SOS 47461509 HAS SOPS 23192267 HAS SOUS 3434342 HAS SOUPS 1256910 WITH SCORE 1304371.509
AT ITER 5881 NEW BEST:: SOT 55311440 SOS 47460541 HAS SOPS 23191299 HAS SOUS 3434314 HAS SOUPS 1256882 WITH SCORE 1304342.541
AT ITER 5884 NEW BEST:: SOT 55310980 SOS 47458463 HAS SOPS 23192695 HAS SOUS 3433275 HAS SOUPS 1256422 WITH SCORE 1303880.463
AT ITER 5893 NEW BEST:: SOT 55310980 SOS 47458463 HAS SOPS 23192695 HAS SOUS 3433209 HAS SOUPS 1256356 WITH SCORE 1303814.463
AT ITER 5897 NEW BEST:: SOT 55310250 SOS 47467243 HAS SOPS 23197635 HAS SOUS 3432799 HAS SOUPS 1255946 WITH SCORE 1303413.243
AT ITER 5900 NEW BEST:: SOT 55310052 SOS 47467243 HAS SOPS 23197635 HAS SOUS 3432601 HAS SOUPS 1255748 WITH SCORE 1303215.243
AT ITER 5901 NEW BEST:: SOT 55307988 SOS 47461969 HAS SOPS 23195799 HAS SOUS 3431512 HAS SOUPS 1255232 WITH SCORE 1302693.969
AT ITER 5906 NEW BEST:: SOT 55307379 SOS 47470831 HAS SOPS 23200881 HAS SOUS 3431424 HAS SOUPS 1255144 WITH SCORE 1302614.831
AT ITER 5910 NEW BEST:: SOT 55307268 SOS 47470609 HAS SOPS 23200659 HAS SOUS 3431312 HAS SOUPS 1255032 WITH SCORE 1302502.609
AT ITER 5914 NEW BEST:: SOT 55307268 SOS 47470609 HAS SOPS 23200659 HAS SOUS 3431278 HAS SOUPS 1254998 WITH SCORE 1302468.609
AT ITER 5919 NEW BEST:: SOT 55299299 SOS 47461616 HAS SOPS 23195344 HAS SOUS 3431049 HAS SOUPS 1254769 WITH SCORE 1302230.616
AT ITER 5925 NEW BEST:: SOT 55298635 SOS 47463442 HAS SOPS 23195676 HAS SOUS 3430800 HAS SOUPS 1254437 WITH SCORE 1301900.442
AT ITER 5940 NEW BEST:: SOT 55298196 SOS 47459240 HAS SOPS 23195788 HAS SOUS 3428921 HAS SOUPS 1253277 WITH SCORE 1300736.24
AT ITER 5967 NEW BEST:: SOT 55298196 SOS 47459240 HAS SOPS 23195788 HAS SOUS 3428685 HAS SOUPS 1253041 WITH SCORE 1300500.24
AT ITER 5977 NEW BEST:: SOT 55298196 SOS 47459240 HAS SOPS 23195788 HAS SOUS 3428683 HAS SOUPS 1253039 WITH SCORE 1300498.24
AT ITER 5992 NEW BEST:: SOT 55298196 SOS 47459240 HAS SOPS 23195788 HAS SOUS 3428505 HAS SOUPS 1252861 WITH SCORE 1300320.24
AT ITER 6007 NEW BEST:: SOT 55297984 SOS 47458816 HAS SOPS 23193162 HAS SOUS 3428244 HAS SOUPS 1252233 WITH SCORE 1299691.816
AT ITER 6015 NEW BEST:: SOT 55297664 SOS 47458176 HAS SOPS 23192522 HAS SOUS 3427924 HAS SOUPS 1251913 WITH SCORE 1299371.176
AT ITER 6028 NEW BEST:: SOT 55297584 SOS 47458016 HAS SOPS 23198494 HAS SOUS 3426822 HAS SOUPS 1251833 WITH SCORE 1299291.016
AT ITER 6030 NEW BEST:: SOT 55297584 SOS 47458016 HAS SOPS 23198494 HAS SOUS 3426456 HAS SOUPS 1251467 WITH SCORE 1298925.016
AT ITER 6059 NEW BEST:: SOT 55297584 SOS 47458016 HAS SOPS 23198494 HAS SOUS 3426406 HAS SOUPS 1251417 WITH SCORE 1298875.016
AT ITER 6065 NEW BEST:: SOT 55296352 SOS 47450662 HAS SOPS 23196030 HAS SOUS 3423890 HAS SOUPS 1249716 WITH SCORE 1297166.662
AT ITER 6067 NEW BEST:: SOT 55296148 SOS 47450254 HAS SOPS 23200128 HAS SOUS 3422935 HAS SOUPS 1249512 WITH SCORE 1296962.254
AT ITER 6077 NEW BEST:: SOT 55295992 SOS 47449942 HAS SOPS 23196048 HAS SOUS 3423251 HAS SOUPS 1249200 WITH SCORE 1296649.942
AT ITER 6085 NEW BEST:: SOT 55294600 SOS 47444182 HAS SOPS 23195526 HAS SOUS 3420068 HAS SOUPS 1246890 WITH SCORE 1294334.182
AT ITER 6125 NEW BEST:: SOT 55294600 SOS 47444182 HAS SOPS 23195526 HAS SOUS 3419980 HAS SOUPS 1246802 WITH SCORE 1294246.182
AT ITER 6139 NEW BEST:: SOT 55285455 SOS 47430200 HAS SOPS 23190160 HAS SOUS 3419075 HAS SOUPS 1246615 WITH SCORE 1294045.2
AT ITER 6175 NEW BEST:: SOT 55285455 SOS 47430200 HAS SOPS 23190160 HAS SOUS 3418911 HAS SOUPS 1246451 WITH SCORE 1293881.2
AT ITER 6180 NEW BEST:: SOT 55283708 SOS 47446706 HAS SOPS 23199166 HAS SOUS 3417789 HAS SOUPS 1245329 WITH SCORE 1292775.706
AT ITER 6190 NEW BEST:: SOT 55280143 SOS 47453812 HAS SOPS 23198364 HAS SOUS 3417138 HAS SOUPS 1244678 WITH SCORE 1292131.812
AT ITER 6225 NEW BEST:: SOT 55279005 SOS 47457368 HAS SOPS 23197924 HAS SOUS 3416654 HAS SOUPS 1243972 WITH SCORE 1291429.368
AT ITER 6226 NEW BEST:: SOT 55279005 SOS 47457368 HAS SOPS 23197924 HAS SOUS 3416424 HAS SOUPS 1243742 WITH SCORE 1291199.368
AT ITER 6229 NEW BEST:: SOT 55280142 SOS 47460326 HAS SOPS 23200882 HAS SOUS 3415933 HAS SOUPS 1243251 WITH SCORE 1290711.326
AT ITER 6259 NEW BEST:: SOT 55280114 SOS 47460350 HAS SOPS 23200858 HAS SOUS 3415921 HAS SOUPS 1243239 WITH SCORE 1290699.35
AT ITER 6261 NEW BEST:: SOT 55279996 SOS 47459406 HAS SOPS 23200622 HAS SOUS 3415567 HAS SOUPS 1243003 WITH SCORE 1290462.406
AT ITER 6278 NEW BEST:: SOT 55279996 SOS 47459406 HAS SOPS 23200622 HAS SOUS 3415563 HAS SOUPS 1242999 WITH SCORE 1290458.406
AT ITER 6301 NEW BEST:: SOT 55279228 SOS 47458638 HAS SOPS 23199854 HAS SOUS 3415371 HAS SOUPS 1242807 WITH SCORE 1290265.638
AT ITER 6326 NEW BEST:: SOT 55276707 SOS 47463334 HAS SOPS 23197368 HAS SOUS 3413783 HAS SOUPS 1240820 WITH SCORE 1288283.334
AT ITER 6333 NEW BEST:: SOT 55276685 SOS 47464166 HAS SOPS 23197324 HAS SOUS 3413885 HAS SOUPS 1240776 WITH SCORE 1288240.166
AT ITER 6344 NEW BEST:: SOT 55276464 SOS 47463724 HAS SOPS 23195946 HAS SOUS 3413599 HAS SOUPS 1240334 WITH SCORE 1287797.724
AT ITER 6377 NEW BEST:: SOT 55276040 SOS 47462876 HAS SOPS 23195098 HAS SOUS 3413175 HAS SOUPS 1239910 WITH SCORE 1287372.876
AT ITER 6384 NEW BEST:: SOT 55275975 SOS 47462746 HAS SOPS 23194968 HAS SOUS 3413110 HAS SOUPS 1239845 WITH SCORE 1287307.746
AT ITER 6390 NEW BEST:: SOT 55275323 SOS 47461442 HAS SOPS 23193664 HAS SOUS 3412253 HAS SOUPS 1238988 WITH SCORE 1286449.442
AT ITER 6397 NEW BEST:: SOT 55274031 SOS 47460150 HAS SOPS 23192372 HAS SOUS 3411929 HAS SOUPS 1238664 WITH SCORE 1286124.15
AT ITER 6416 NEW BEST:: SOT 55272091 SOS 47454934 HAS SOPS 23191164 HAS SOUS 3410278 HAS SOUPS 1237681 WITH SCORE 1285135.934
AT ITER 6421 NEW BEST:: SOT 55271587 SOS 47454430 HAS SOPS 23189148 HAS SOUS 3410026 HAS SOUPS 1237177 WITH SCORE 1284631.43
AT ITER 6424 NEW BEST:: SOT 55273243 SOS 47458570 HAS SOPS 23190804 HAS SOUS 3410293 HAS SOUPS 1237030 WITH SCORE 1284488.57
AT ITER 6448 NEW BEST:: SOT 55271235 SOS 47451266 HAS SOPS 23188432 HAS SOUS 3407661 HAS SOUPS 1235220 WITH SCORE 1282671.266
AT ITER 6525 NEW BEST:: SOT 55271235 SOS 47451266 HAS SOPS 23188432 HAS SOUS 3407357 HAS SOUPS 1234916 WITH SCORE 1282367.266
AT ITER 6550 NEW BEST:: SOT 55270795 SOS 47449388 HAS SOPS 23186554 HAS SOUS 3407069 HAS SOUPS 1234628 WITH SCORE 1282077.388
AT ITER 6560 NEW BEST:: SOT 55269859 SOS 47450220 HAS SOPS 23186138 HAS SOUS 3406445 HAS SOUPS 1234004 WITH SCORE 1281454.22
AT ITER 6564 NEW BEST:: SOT 55268963 SOS 47447372 HAS SOPS 23187382 HAS SOUS 3404867 HAS SOUPS 1233108 WITH SCORE 1280555.372
AT ITER 6593 NEW BEST:: SOT 55268907 SOS 47447120 HAS SOPS 23187298 HAS SOUS 3404781 HAS SOUPS 1233050 WITH SCORE 1280497.12
AT ITER 6601 NEW BEST:: SOT 55268389 SOS 47445566 HAS SOPS 23185744 HAS SOUS 3404263 HAS SOUPS 1232532 WITH SCORE 1279977.566
AT ITER 6613 NEW BEST:: SOT 55266783 SOS 47440868 HAS SOPS 23185504 HAS SOUS 3402465 HAS SOUPS 1231477 WITH SCORE 1278917.868
AT ITER 6633 NEW BEST:: SOT 55266783 SOS 47440868 HAS SOPS 23185504 HAS SOUS 3402099 HAS SOUPS 1231111 WITH SCORE 1278551.868
AT ITER 6658 NEW BEST:: SOT 55257526 SOS 47427671 HAS SOPS 23178804 HAS SOUS 3401226 HAS SOUPS 1230281 WITH SCORE 1277708.671
AT ITER 6669 NEW BEST:: SOT 55256514 SOS 47431653 HAS SOPS 23178628 HAS SOUS 3401071 HAS SOUPS 1229895 WITH SCORE 1277326.653
AT ITER 6697 NEW BEST:: SOT 55253060 SOS 47437959 HAS SOPS 23175520 HAS SOUS 3400179 HAS SOUPS 1228480 WITH SCORE 1275917.959
AT ITER 6745 NEW BEST:: SOT 55253023 SOS 47438349 HAS SOPS 23174518 HAS SOUS 3400374 HAS SOUPS 1228443 WITH SCORE 1275881.349
AT ITER 6758 NEW BEST:: SOT 55244683 SOS 47428807 HAS SOPS 23168582 HAS SOUS 3399467 HAS SOUPS 1227536 WITH SCORE 1274964.807
AT ITER 6781 NEW BEST:: SOT 55244683 SOS 47428807 HAS SOPS 23168582 HAS SOUS 3399411 HAS SOUPS 1227480 WITH SCORE 1274908.807
AT ITER 6782 NEW BEST:: SOT 55244683 SOS 47428807 HAS SOPS 23168582 HAS SOUS 3399343 HAS SOUPS 1227412 WITH SCORE 1274840.807
AT ITER 6812 NEW BEST:: SOT 55242213 SOS 47439823 HAS SOPS 23172098 HAS SOUS 3397162 HAS SOUPS 1225231 WITH SCORE 1272670.823
AT ITER 6817 NEW BEST:: SOT 55242063 SOS 47439523 HAS SOPS 23171798 HAS SOUS 3397096 HAS SOUPS 1225165 WITH SCORE 1272604.523
AT ITER 6824 NEW BEST:: SOT 55241982 SOS 47439361 HAS SOPS 23171636 HAS SOUS 3396806 HAS SOUPS 1224875 WITH SCORE 1272314.361
AT ITER 6825 NEW BEST:: SOT 55241982 SOS 47439361 HAS SOPS 23171636 HAS SOUS 3396728 HAS SOUPS 1224797 WITH SCORE 1272236.361
AT ITER 6826 NEW BEST:: SOT 55238416 SOS 47430725 HAS SOPS 23167512 HAS SOUS 3394244 HAS SOUPS 1223065 WITH SCORE 1270495.725
AT ITER 6829 NEW BEST:: SOT 55238354 SOS 47430601 HAS SOPS 23167388 HAS SOUS 3394096 HAS SOUPS 1222917 WITH SCORE 1270347.601
AT ITER 6832 NEW BEST:: SOT 55238354 SOS 47430601 HAS SOPS 23167388 HAS SOUS 3393994 HAS SOUPS 1222815 WITH SCORE 1270245.601
AT ITER 6841 NEW BEST:: SOT 55237549 SOS 47432343 HAS SOPS 23166502 HAS SOUS 3393990 HAS SOUPS 1222665 WITH SCORE 1270097.343
AT ITER 6842 NEW BEST:: SOT 55237549 SOS 47432343 HAS SOPS 23166502 HAS SOUS 3393692 HAS SOUPS 1222367 WITH SCORE 1269799.343
AT ITER 6859 NEW BEST:: SOT 55237549 SOS 47428275 HAS SOPS 23164474 HAS SOUS 3393692 HAS SOUPS 1222367 WITH SCORE 1269795.275
AT ITER 6863 NEW BEST:: SOT 55237168 SOS 47427513 HAS SOPS 23165998 HAS SOUS 3392930 HAS SOUPS 1221986 WITH SCORE 1269413.513
AT ITER 6881 NEW BEST:: SOT 55237134 SOS 47427445 HAS SOPS 23165930 HAS SOUS 3392434 HAS SOUPS 1221490 WITH SCORE 1268917.445
AT ITER 6905 NEW BEST:: SOT 55237134 SOS 47427403 HAS SOPS 23165930 HAS SOUS 3392420 HAS SOUPS 1221483 WITH SCORE 1268910.403
AT ITER 6915 NEW BEST:: SOT 55237134 SOS 47427403 HAS SOPS 23165930 HAS SOUS 3392296 HAS SOUPS 1221359 WITH SCORE 1268786.403
AT ITER 6917 NEW BEST:: SOT 55236938 SOS 47428187 HAS SOPS 23165538 HAS SOUS 3392419 HAS SOUPS 1221286 WITH SCORE 1268714.187
AT ITER 6921 NEW BEST:: SOT 55232962 SOS 47438097 HAS SOPS 23167204 HAS SOUS 3389904 HAS SOUPS 1218771 WITH SCORE 1266209.097
AT ITER 6935 NEW BEST:: SOT 55232962 SOS 47438097 HAS SOPS 23167204 HAS SOUS 3389854 HAS SOUPS 1218721 WITH SCORE 1266159.097
AT ITER 6940 NEW BEST:: SOT 55232962 SOS 47438097 HAS SOPS 23167204 HAS SOUS 3389844 HAS SOUPS 1218711 WITH SCORE 1266149.097
AT ITER 6954 NEW BEST:: SOT 55230470 SOS 47450457 HAS SOPS 23172088 HAS SOUS 3388583 HAS SOUPS 1217450 WITH SCORE 1264900.457
AT ITER 6960 NEW BEST:: SOT 55230133 SOS 47448931 HAS SOPS 23174024 HAS SOUS 3387669 HAS SOUPS 1217113 WITH SCORE 1264561.931
AT ITER 6962 NEW BEST:: SOT 55230094 SOS 47448892 HAS SOPS 23173985 HAS SOUS 3387630 HAS SOUPS 1217074 WITH SCORE 1264522.892
AT ITER 6963 NEW BEST:: SOT 55229338 SOS 47450188 HAS SOPS 23173337 HAS SOUS 3387306 HAS SOUPS 1216642 WITH SCORE 1264092.188
AT ITER 6974 NEW BEST:: SOT 55229168 SOS 47450018 HAS SOPS 23173167 HAS SOUS 3387051 HAS SOUPS 1216387 WITH SCORE 1263837.018
AT ITER 6983 NEW BEST:: SOT 55226024 SOS 47456192 HAS SOPS 23168973 HAS SOUS 3385010 HAS SOUPS 1213770 WITH SCORE 1261226.192
AT ITER 7002 NEW BEST:: SOT 55225832 SOS 47455712 HAS SOPS 23168781 HAS SOUS 3384962 HAS SOUPS 1213770 WITH SCORE 1261225.712
AT ITER 7005 NEW BEST:: SOT 55225832 SOS 47455712 HAS SOPS 23168781 HAS SOUS 3384954 HAS SOUPS 1213762 WITH SCORE 1261217.712
AT ITER 7006 NEW BEST:: SOT 55225572 SOS 47453710 HAS SOPS 23171759 HAS SOUS 3383617 HAS SOUPS 1213255 WITH SCORE 1260708.71
AT ITER 7007 NEW BEST:: SOT 55224412 SOS 47452086 HAS SOPS 23170831 HAS SOUS 3383385 HAS SOUPS 1213023 WITH SCORE 1260475.086
AT ITER 7018 NEW BEST:: SOT 55224412 SOS 47452086 HAS SOPS 23170831 HAS SOUS 3382653 HAS SOUPS 1212291 WITH SCORE 1259743.086
AT ITER 7028 NEW BEST:: SOT 55224294 SOS 47451850 HAS SOPS 23170595 HAS SOUS 3382535 HAS SOUPS 1212173 WITH SCORE 1259624.85
AT ITER 7032 NEW BEST:: SOT 55217086 SOS 47442156 HAS SOPS 23164375 HAS SOUS 3382483 HAS SOUPS 1212121 WITH SCORE 1259563.156
AT ITER 7034 NEW BEST:: SOT 55216986 SOS 47441656 HAS SOPS 23163875 HAS SOUS 3382333 HAS SOUPS 1211971 WITH SCORE 1259412.656
AT ITER 7047 NEW BEST:: SOT 55216986 SOS 47441656 HAS SOPS 23163875 HAS SOUS 3381967 HAS SOUPS 1211605 WITH SCORE 1259046.656
AT ITER 7067 NEW BEST:: SOT 55215538 SOS 47438760 HAS SOPS 23160979 HAS SOUS 3379509 HAS SOUPS 1209147 WITH SCORE 1256585.76
AT ITER 7073 NEW BEST:: SOT 55215430 SOS 47438544 HAS SOPS 23160763 HAS SOUS 3379401 HAS SOUPS 1209039 WITH SCORE 1256477.544
AT ITER 7076 NEW BEST:: SOT 55214689 SOS 47435892 HAS SOPS 23165503 HAS SOUS 3377976 HAS SOUPS 1208846 WITH SCORE 1256281.892
AT ITER 7097 NEW BEST:: SOT 55211059 SOS 47427194 HAS SOPS 23161119 HAS SOUS 3375687 HAS SOUPS 1207276 WITH SCORE 1254703.194
AT ITER 7126 NEW BEST:: SOT 55210693 SOS 47426208 HAS SOPS 23162583 HAS SOUS 3375209 HAS SOUPS 1207164 WITH SCORE 1254590.208
AT ITER 7176 NEW BEST:: SOT 55210693 SOS 47426208 HAS SOPS 23162583 HAS SOUS 3374843 HAS SOUPS 1206798 WITH SCORE 1254224.208
AT ITER 7184 NEW BEST:: SOT 55208619 SOS 47422647 HAS SOPS 23158781 HAS SOUS 3373838 HAS SOUPS 1205793 WITH SCORE 1253215.647
AT ITER 7229 NEW BEST:: SOT 55208619 SOS 47422591 HAS SOPS 23158725 HAS SOUS 3373838 HAS SOUPS 1205793 WITH SCORE 1253215.591
AT ITER 7230 NEW BEST:: SOT 55208037 SOS 47419978 HAS SOPS 23157874 HAS SOUS 3372684 HAS SOUPS 1204932 WITH SCORE 1252351.9780000001
AT ITER 7234 NEW BEST:: SOT 55207981 SOS 47419866 HAS SOPS 23157762 HAS SOUS 3372628 HAS SOUPS 1204876 WITH SCORE 1252295.866
AT ITER 7252 NEW BEST:: SOT 55207779 SOS 47419462 HAS SOPS 23157358 HAS SOUS 3372352 HAS SOUPS 1204600 WITH SCORE 1252019.462
AT ITER 7275 NEW BEST:: SOT 55206038 SOS 47448216 HAS SOPS 23173164 HAS SOUS 3372103 HAS SOUPS 1204351 WITH SCORE 1251799.216
AT ITER 7277 NEW BEST:: SOT 55206038 SOS 47448216 HAS SOPS 23173164 HAS SOUS 3372087 HAS SOUPS 1204335 WITH SCORE 1251783.216
AT ITER 7292 NEW BEST:: SOT 55205792 SOS 47447724 HAS SOPS 23173608 HAS SOUS 3371564 HAS SOUPS 1203968 WITH SCORE 1251415.724
AT ITER 7294 NEW BEST:: SOT 55205792 SOS 47447724 HAS SOPS 23173608 HAS SOUS 3371494 HAS SOUPS 1203898 WITH SCORE 1251345.724
AT ITER 7300 NEW BEST:: SOT 55205044 SOS 47452532 HAS SOPS 23176052 HAS SOUS 3370961 HAS SOUPS 1203365 WITH SCORE 1250817.532
AT ITER 7312 NEW BEST:: SOT 55203384 SOS 47458706 HAS SOPS 23176646 HAS SOUS 3370639 HAS SOUPS 1202733 WITH SCORE 1250191.706
AT ITER 7317 NEW BEST:: SOT 55203098 SOS 47465174 HAS SOPS 23180474 HAS SOUS 3370573 HAS SOUPS 1202667 WITH SCORE 1250132.174
AT ITER 7321 NEW BEST:: SOT 55203098 SOS 47465174 HAS SOPS 23180474 HAS SOUS 3370517 HAS SOUPS 1202611 WITH SCORE 1250076.174
AT ITER 7332 NEW BEST:: SOT 55202724 SOS 47464426 HAS SOPS 23177686 HAS SOUS 3370483 HAS SOUPS 1202237 WITH SCORE 1249701.426
AT ITER 7338 NEW BEST:: SOT 55201173 SOS 47485006 HAS SOPS 23183686 HAS SOUS 3371152 HAS SOUPS 1202096 WITH SCORE 1249581.006
AT ITER 7339 NEW BEST:: SOT 55201173 SOS 47485006 HAS SOPS 23183686 HAS SOUS 3370930 HAS SOUPS 1201874 WITH SCORE 1249359.006
AT ITER 7362 NEW BEST:: SOT 55201173 SOS 47484388 HAS SOPS 23183686 HAS SOUS 3370724 HAS SOUPS 1201771 WITH SCORE 1249255.388
AT ITER 7405 NEW BEST:: SOT 55201051 SOS 47482188 HAS SOPS 23183442 HAS SOUS 3370276 HAS SOUPS 1201649 WITH SCORE 1249131.188
AT ITER 7423 NEW BEST:: SOT 55187624 SOS 47461106 HAS SOPS 23174251 HAS SOUS 3368561 HAS SOUPS 1200817 WITH SCORE 1248278.106
AT ITER 7479 NEW BEST:: SOT 55187624 SOS 47461106 HAS SOPS 23174251 HAS SOUS 3368195 HAS SOUPS 1200451 WITH SCORE 1247912.106
AT ITER 7482 NEW BEST:: SOT 55186415 SOS 47473662 HAS SOPS 23180951 HAS SOUS 3367896 HAS SOUPS 1200152 WITH SCORE 1247625.662
AT ITER 7496 NEW BEST:: SOT 55186073 SOS 47472978 HAS SOPS 23180267 HAS SOUS 3367285 HAS SOUPS 1199541 WITH SCORE 1247013.9780000001
AT ITER 7501 NEW BEST:: SOT 55186073 SOS 47472978 HAS SOPS 23180267 HAS SOUS 3367213 HAS SOUPS 1199469 WITH SCORE 1246941.9780000001
AT ITER 7519 NEW BEST:: SOT 55186073 SOS 47472978 HAS SOPS 23180267 HAS SOUS 3367103 HAS SOUPS 1199359 WITH SCORE 1246831.9780000001
AT ITER 7522 NEW BEST:: SOT 55186025 SOS 47472882 HAS SOPS 23180459 HAS SOUS 3366959 HAS SOUPS 1199263 WITH SCORE 1246735.882
AT ITER 7544 NEW BEST:: SOT 55185129 SOS 47468724 HAS SOPS 23183399 HAS SOUS 3365145 HAS SOUPS 1198632 WITH SCORE 1246100.724
AT ITER 7559 NEW BEST:: SOT 55185074 SOS 47468614 HAS SOPS 23183289 HAS SOUS 3365090 HAS SOUPS 1198577 WITH SCORE 1246045.614
AT ITER 7573 NEW BEST:: SOT 55185004 SOS 47468544 HAS SOPS 23183219 HAS SOUS 3365020 HAS SOUPS 1198507 WITH SCORE 1245975.544
AT ITER 7588 NEW BEST:: SOT 55184544 SOS 47467624 HAS SOPS 23182299 HAS SOUS 3364560 HAS SOUPS 1198047 WITH SCORE 1245514.624
AT ITER 7590 NEW BEST:: SOT 55184544 SOS 47467624 HAS SOPS 23182299 HAS SOUS 3364194 HAS SOUPS 1197681 WITH SCORE 1245148.624
AT ITER 7591 NEW BEST:: SOT 55184544 SOS 47467624 HAS SOPS 23178369 HAS SOUS 3364194 HAS SOUPS 1197026 WITH SCORE 1244493.624
AT ITER 7623 NEW BEST:: SOT 55184036 SOS 47466296 HAS SOPS 23177041 HAS SOUS 3364007 HAS SOUPS 1196839 WITH SCORE 1244305.296
AT ITER 7635 NEW BEST:: SOT 55183943 SOS 47477284 HAS SOPS 23182593 HAS SOUS 3364204 HAS SOUPS 1196734 WITH SCORE 1244211.284
AT ITER 7636 NEW BEST:: SOT 55183463 SOS 47476324 HAS SOPS 23181633 HAS SOUS 3364134 HAS SOUPS 1196664 WITH SCORE 1244140.324
AT ITER 7642 NEW BEST:: SOT 55183359 SOS 47475492 HAS SOPS 23181425 HAS SOUS 3363926 HAS SOUPS 1196560 WITH SCORE 1244035.492
AT ITER 7655 NEW BEST:: SOT 55182935 SOS 47473886 HAS SOPS 23179819 HAS SOUS 3363800 HAS SOUPS 1196434 WITH SCORE 1243907.886
AT ITER 7658 NEW BEST:: SOT 55182935 SOS 47473886 HAS SOPS 23179819 HAS SOUS 3363560 HAS SOUPS 1196194 WITH SCORE 1243667.886
AT ITER 7680 NEW BEST:: SOT 55181775 SOS 47471566 HAS SOPS 23177499 HAS SOUS 3362159 HAS SOUPS 1194793 WITH SCORE 1242264.566
AT ITER 7733 NEW BEST:: SOT 55182151 SOS 47472318 HAS SOPS 23178251 HAS SOUS 3361679 HAS SOUPS 1194313 WITH SCORE 1241785.318
AT ITER 7735 NEW BEST:: SOT 55182151 SOS 47472318 HAS SOPS 23178251 HAS SOUS 3361659 HAS SOUPS 1194293 WITH SCORE 1241765.318
AT ITER 7737 NEW BEST:: SOT 55182036 SOS 47472088 HAS SOPS 23178021 HAS SOUS 3361415 HAS SOUPS 1194049 WITH SCORE 1241521.088
AT ITER 7751 NEW BEST:: SOT 55182696 SOS 47476297 HAS SOPS 23182230 HAS SOUS 3360379 HAS SOUPS 1193013 WITH SCORE 1240489.297
AT ITER 7758 NEW BEST:: SOT 55182192 SOS 47476489 HAS SOPS 23182422 HAS SOUS 3359985 HAS SOUPS 1192619 WITH SCORE 1240095.489
AT ITER 7761 NEW BEST:: SOT 55180127 SOS 47481799 HAS SOPS 23184192 HAS SOUS 3359100 HAS SOUPS 1191734 WITH SCORE 1239215.799
AT ITER 7772 NEW BEST:: SOT 55171001 SOS 47468339 HAS SOPS 23177844 HAS SOUS 3358814 HAS SOUPS 1191658 WITH SCORE 1239126.339
AT ITER 7777 NEW BEST:: SOT 55176542 SOS 47474960 HAS SOPS 23180721 HAS SOUS 3358361 HAS SOUPS 1191289 WITH SCORE 1238763.96
AT ITER 7786 NEW BEST:: SOT 55175655 SOS 47472484 HAS SOPS 23181323 HAS SOUS 3356491 HAS SOUPS 1189932 WITH SCORE 1237404.484
AT ITER 7857 NEW BEST:: SOT 55175655 SOS 47472340 HAS SOPS 23181413 HAS SOUS 3356452 HAS SOUPS 1189932 WITH SCORE 1237404.34
AT ITER 7883 NEW BEST:: SOT 55175655 SOS 47472340 HAS SOPS 23181413 HAS SOUS 3356308 HAS SOUPS 1189788 WITH SCORE 1237260.34
AT ITER 7885 NEW BEST:: SOT 55172743 SOS 47475466 HAS SOPS 23177051 HAS SOUS 3354749 HAS SOUPS 1187813 WITH SCORE 1235288.466
AT ITER 7890 NEW BEST:: SOT 55171894 SOS 47473768 HAS SOPS 23175353 HAS SOUS 3353055 HAS SOUPS 1186119 WITH SCORE 1233592.768
AT ITER 7902 NEW BEST:: SOT 55171712 SOS 47473404 HAS SOPS 23174989 HAS SOUS 3352531 HAS SOUPS 1185595 WITH SCORE 1233068.404
AT ITER 7936 NEW BEST:: SOT 55171256 SOS 47472340 HAS SOPS 23174381 HAS SOUS 3352151 HAS SOUPS 1185291 WITH SCORE 1232763.34
AT ITER 7960 NEW BEST:: SOT 55171256 SOS 47472340 HAS SOPS 23174381 HAS SOUS 3352059 HAS SOUPS 1185199 WITH SCORE 1232671.34
AT ITER 7966 NEW BEST:: SOT 55169724 SOS 47474516 HAS SOPS 23171841 HAS SOUS 3351218 HAS SOUPS 1184096 WITH SCORE 1231570.516
AT ITER 7968 NEW BEST:: SOT 55169616 SOS 47474354 HAS SOPS 23171733 HAS SOUS 3351164 HAS SOUPS 1184042 WITH SCORE 1231516.354
AT ITER 7969 NEW BEST:: SOT 55169616 SOS 47474354 HAS SOPS 23171733 HAS SOUS 3351102 HAS SOUPS 1183980 WITH SCORE 1231454.354
AT ITER 7971 NEW BEST:: SOT 55165824 SOS 47468666 HAS SOPS 23169837 HAS SOUS 3350786 HAS SOUPS 1183980 WITH SCORE 1231448.666
AT ITER 7995 NEW BEST:: SOT 55163490 SOS 47479062 HAS SOPS 23172901 HAS SOUS 3349744 HAS SOUPS 1182938 WITH SCORE 1230417.062
AT ITER 8026 NEW BEST:: SOT 55144410 SOS 47449692 HAS SOPS 23161111 HAS SOUS 3348209 HAS SOUPS 1182868 WITH SCORE 1230317.692
AT ITER 8033 NEW BEST:: SOT 55144410 SOS 47449692 HAS SOPS 23161111 HAS SOUS 3348019 HAS SOUPS 1182678 WITH SCORE 1230127.692
AT ITER 8038 NEW BEST:: SOT 55144410 SOS 47449692 HAS SOPS 23161111 HAS SOUS 3347869 HAS SOUPS 1182528 WITH SCORE 1229977.692
AT ITER 8050 NEW BEST:: SOT 55144410 SOS 47449692 HAS SOPS 23161111 HAS SOUS 3347811 HAS SOUPS 1182470 WITH SCORE 1229919.692
AT ITER 8093 NEW BEST:: SOT 55144410 SOS 47449692 HAS SOPS 23161111 HAS SOUS 3347511 HAS SOUPS 1182170 WITH SCORE 1229619.692
AT ITER 8103 NEW BEST:: SOT 55144720 SOS 47448772 HAS SOPS 23161115 HAS SOUS 3347360 HAS SOUPS 1182019 WITH SCORE 1229467.772
AT ITER 8112 NEW BEST:: SOT 55144472 SOS 47450260 HAS SOPS 23161487 HAS SOUS 3347236 HAS SOUPS 1181833 WITH SCORE 1229283.26
AT ITER 8115 NEW BEST:: SOT 55144400 SOS 47450332 HAS SOPS 23161559 HAS SOUS 3347164 HAS SOUPS 1181761 WITH SCORE 1229211.332
AT ITER 8117 NEW BEST:: SOT 55137739 SOS 47463554 HAS SOPS 23163593 HAS SOUS 3342707 HAS SOUPS 1177543 WITH SCORE 1225006.554
AT ITER 8127 NEW BEST:: SOT 55138003 SOS 47463818 HAS SOPS 23163713 HAS SOUS 3342659 HAS SOUPS 1177495 WITH SCORE 1224958.818
AT ITER 8149 NEW BEST:: SOT 55138003 SOS 47463818 HAS SOPS 23163713 HAS SOUS 3342647 HAS SOUPS 1177483 WITH SCORE 1224946.818
AT ITER 8174 NEW BEST:: SOT 55138339 SOS 47464154 HAS SOPS 23163881 HAS SOUS 3342619 HAS SOUPS 1177455 WITH SCORE 1224919.154
AT ITER 8178 NEW BEST:: SOT 55138339 SOS 47464154 HAS SOPS 23163881 HAS SOUS 3342155 HAS SOUPS 1176991 WITH SCORE 1224455.154
AT ITER 8242 NEW BEST:: SOT 55137544 SOS 47462564 HAS SOPS 23162291 HAS SOUS 3340925 HAS SOUPS 1175761 WITH SCORE 1223223.564
AT ITER 8256 NEW BEST:: SOT 55137172 SOS 47462068 HAS SOPS 23161795 HAS SOUS 3340677 HAS SOUPS 1175513 WITH SCORE 1222975.068
AT ITER 8266 NEW BEST:: SOT 55137172 SOS 47462068 HAS SOPS 23161795 HAS SOUS 3340635 HAS SOUPS 1175471 WITH SCORE 1222933.068
AT ITER 8282 NEW BEST:: SOT 55137108 SOS 47461908 HAS SOPS 23161635 HAS SOUS 3340619 HAS SOUPS 1175455 WITH SCORE 1222916.908
AT ITER 8290 NEW BEST:: SOT 55134521 SOS 47489140 HAS SOPS 23168239 HAS SOUS 3339879 HAS SOUPS 1173569 WITH SCORE 1221058.14
AT ITER 8298 NEW BEST:: SOT 55134521 SOS 47489140 HAS SOPS 23168239 HAS SOUS 3339807 HAS SOUPS 1173497 WITH SCORE 1220986.14
AT ITER 8302 NEW BEST:: SOT 55134463 SOS 47489024 HAS SOPS 23168123 HAS SOUS 3339749 HAS SOUPS 1173439 WITH SCORE 1220928.024
AT ITER 8303 NEW BEST:: SOT 55134279 SOS 47488656 HAS SOPS 23167755 HAS SOUS 3339186 HAS SOUPS 1172876 WITH SCORE 1220364.656
AT ITER 8330 NEW BEST:: SOT 55133928 SOS 47487184 HAS SOPS 23168593 HAS SOUS 3338663 HAS SOUPS 1172738 WITH SCORE 1220225.184
AT ITER 8348 NEW BEST:: SOT 55133923 SOS 47487179 HAS SOPS 23168588 HAS SOUS 3338658 HAS SOUPS 1172733 WITH SCORE 1220220.179
AT ITER 8356 NEW BEST:: SOT 55131511 SOS 47484243 HAS SOPS 23165652 HAS SOUS 3337784 HAS SOUPS 1171859 WITH SCORE 1219343.243
AT ITER 8373 NEW BEST:: SOT 55130713 SOS 47486522 HAS SOPS 23165141 HAS SOUS 3337738 HAS SOUPS 1171658 WITH SCORE 1219144.522
AT ITER 8380 NEW BEST:: SOT 55130068 SOS 47490822 HAS SOPS 23166861 HAS SOUS 3337308 HAS SOUPS 1171228 WITH SCORE 1218718.822
AT ITER 8382 NEW BEST:: SOT 55129908 SOS 47490202 HAS SOPS 23170753 HAS SOUS 3336504 HAS SOUPS 1171176 WITH SCORE 1218666.202
AT ITER 8400 NEW BEST:: SOT 55129679 SOS 47489744 HAS SOPS 23171669 HAS SOUS 3336046 HAS SOUPS 1170947 WITH SCORE 1218436.744
AT ITER 8404 NEW BEST:: SOT 55125312 SOS 47505776 HAS SOPS 23176049 HAS SOUS 3333301 HAS SOUPS 1168202 WITH SCORE 1215707.776
AT ITER 8433 NEW BEST:: SOT 55124954 SOS 47507196 HAS SOPS 23177469 HAS SOUS 3333166 HAS SOUPS 1168067 WITH SCORE 1215574.196
AT ITER 8434 NEW BEST:: SOT 55113049 SOS 47489189 HAS SOPS 23168908 HAS SOUS 3332417 HAS SOUPS 1167625 WITH SCORE 1215114.189
AT ITER 8439 NEW BEST:: SOT 55105729 SOS 47477484 HAS SOPS 23164019 HAS SOUS 3331471 HAS SOUPS 1167247 WITH SCORE 1214724.484
AT ITER 8459 NEW BEST:: SOT 55105729 SOS 47477484 HAS SOPS 23164019 HAS SOUS 3331467 HAS SOUPS 1167243 WITH SCORE 1214720.484
AT ITER 8471 NEW BEST:: SOT 55105434 SOS 47476894 HAS SOPS 23163429 HAS SOUS 3331172 HAS SOUPS 1166948 WITH SCORE 1214424.894
AT ITER 8496 NEW BEST:: SOT 55104812 SOS 47475712 HAS SOPS 23163087 HAS SOUS 3330996 HAS SOUPS 1166912 WITH SCORE 1214387.712
AT ITER 8526 NEW BEST:: SOT 55104730 SOS 47499044 HAS SOPS 23169841 HAS SOUS 3330896 HAS SOUPS 1165891 WITH SCORE 1213390.044
AT ITER 8544 NEW BEST:: SOT 55104615 SOS 47497002 HAS SOPS 23169725 HAS SOUS 3330376 HAS SOUPS 1165692 WITH SCORE 1213189.002
AT ITER 8571 NEW BEST:: SOT 55104615 SOS 47497002 HAS SOPS 23169725 HAS SOUS 3330374 HAS SOUPS 1165690 WITH SCORE 1213187.002
AT ITER 8573 NEW BEST:: SOT 55104433 SOS 47496638 HAS SOPS 23169361 HAS SOUS 3330025 HAS SOUPS 1165341 WITH SCORE 1212837.638
AT ITER 8616 NEW BEST:: SOT 55104433 SOS 47496638 HAS SOPS 23169361 HAS SOUS 3329959 HAS SOUPS 1165275 WITH SCORE 1212771.638
AT ITER 8656 NEW BEST:: SOT 55104433 SOS 47494712 HAS SOPS 23167435 HAS SOUS 3329873 HAS SOUPS 1165189 WITH SCORE 1212683.712
AT ITER 8662 NEW BEST:: SOT 55096198 SOS 47482394 HAS SOPS 23161914 HAS SOUS 3329446 HAS SOUPS 1165200 WITH SCORE 1212682.394
AT ITER 8696 NEW BEST:: SOT 55096588 SOS 47479014 HAS SOPS 23160094 HAS SOUS 3329316 HAS SOUPS 1165070 WITH SCORE 1212549.014
AT ITER 8697 NEW BEST:: SOT 55096588 SOS 47479014 HAS SOPS 23160094 HAS SOUS 3329224 HAS SOUPS 1164978 WITH SCORE 1212457.014
AT ITER 8719 NEW BEST:: SOT 55096494 SOS 47478826 HAS SOPS 23159906 HAS SOUS 3329130 HAS SOUPS 1164884 WITH SCORE 1212362.826
AT ITER 8726 NEW BEST:: SOT 55093990 SOS 47493484 HAS SOPS 23166368 HAS SOUS 3327326 HAS SOUPS 1163080 WITH SCORE 1210573.484
AT ITER 8734 NEW BEST:: SOT 55087504 SOS 47484717 HAS SOPS 23159338 HAS SOUS 3327624 HAS SOUPS 1162980 WITH SCORE 1210464.717
AT ITER 8737 NEW BEST:: SOT 55088294 SOS 47485013 HAS SOPS 23159634 HAS SOUS 3327539 HAS SOUPS 1162895 WITH SCORE 1210380.013
AT ITER 8813 NEW BEST:: SOT 55088256 SOS 47484937 HAS SOPS 23159558 HAS SOUS 3327501 HAS SOUPS 1162857 WITH SCORE 1210341.937
AT ITER 8853 NEW BEST:: SOT 55088256 SOS 47484937 HAS SOPS 23159558 HAS SOUS 3327307 HAS SOUPS 1162663 WITH SCORE 1210147.937
AT ITER 8862 NEW BEST:: SOT 55086518 SOS 47480491 HAS SOPS 23158022 HAS SOUS 3326610 HAS SOUPS 1162451 WITH SCORE 1209931.491
AT ITER 8887 NEW BEST:: SOT 55086518 SOS 47480491 HAS SOPS 23158022 HAS SOUS 3326598 HAS SOUPS 1162439 WITH SCORE 1209919.491
AT ITER 8894 NEW BEST:: SOT 55080186 SOS 47470725 HAS SOPS 23154052 HAS SOUS 3326009 HAS SOUPS 1162333 WITH SCORE 1209803.725
AT ITER 8912 NEW BEST:: SOT 55079822 SOS 47469708 HAS SOPS 23153870 HAS SOUS 3325841 HAS SOUPS 1162256 WITH SCORE 1209725.708
AT ITER 8945 NEW BEST:: SOT 55076376 SOS 47480554 HAS SOPS 23156640 HAS SOUS 3323831 HAS SOUPS 1160246 WITH SCORE 1207726.554
AT ITER 8948 NEW BEST:: SOT 55075568 SOS 47481564 HAS SOPS 23155832 HAS SOUS 3323528 HAS SOUPS 1159842 WITH SCORE 1207323.564
AT ITER 8969 NEW BEST:: SOT 55075785 SOS 47485841 HAS SOPS 23157701 HAS SOUS 3323220 HAS SOUPS 1159709 WITH SCORE 1207194.841
AT ITER 9010 NEW BEST:: SOT 55076070 SOS 47486651 HAS SOPS 23157900 HAS SOUS 3322957 HAS SOUPS 1159403 WITH SCORE 1206889.651
AT ITER 9041 NEW BEST:: SOT 55075885 SOS 47613811 HAS SOPS 23156468 HAS SOUS 3323402 HAS SOUPS 1159164 WITH SCORE 1206777.811
AT ITER 9055 NEW BEST:: SOT 55075885 SOS 47613811 HAS SOPS 23156468 HAS SOUS 3323358 HAS SOUPS 1159120 WITH SCORE 1206733.811
AT ITER 9056 NEW BEST:: SOT 55074539 SOS 47611119 HAS SOPS 23153776 HAS SOUS 3323203 HAS SOUPS 1158965 WITH SCORE 1206576.119
AT ITER 9060 NEW BEST:: SOT 55074166 SOS 47608681 HAS SOPS 23153030 HAS SOUS 3322739 HAS SOUPS 1158783 WITH SCORE 1206391.681
AT ITER 9062 NEW BEST:: SOT 55071316 SOS 47601667 HAS SOPS 23149958 HAS SOUS 3320294 HAS SOUPS 1156995 WITH SCORE 1204596.667
AT ITER 9087 NEW BEST:: SOT 55070274 SOS 47603909 HAS SOPS 23149392 HAS SOUS 3319946 HAS SOUPS 1156491 WITH SCORE 1204094.909
AT ITER 9102 NEW BEST:: SOT 55070180 SOS 47603815 HAS SOPS 23149298 HAS SOUS 3319852 HAS SOUPS 1156397 WITH SCORE 1204000.815
AT ITER 9103 NEW BEST:: SOT 55070437 SOS 47596105 HAS SOPS 23146214 HAS SOUS 3319595 HAS SOUPS 1156397 WITH SCORE 1203993.105
AT ITER 9104 NEW BEST:: SOT 55068600 SOS 47591057 HAS SOPS 23145288 HAS SOUS 3318753 HAS SOUPS 1156242 WITH SCORE 1203833.057
AT ITER 9109 NEW BEST:: SOT 55068600 SOS 47591057 HAS SOPS 23145288 HAS SOUS 3318745 HAS SOUPS 1156234 WITH SCORE 1203825.057
AT ITER 9146 NEW BEST:: SOT 55068533 SOS 47590923 HAS SOPS 23144254 HAS SOUS 3318828 HAS SOUPS 1156167 WITH SCORE 1203757.923
AT ITER 9154 NEW BEST:: SOT 55068533 SOS 47590923 HAS SOPS 23144254 HAS SOUS 3318462 HAS SOUPS 1155801 WITH SCORE 1203391.923
AT ITER 9169 NEW BEST:: SOT 55065607 SOS 47586325 HAS SOPS 23142164 HAS SOUS 3317835 HAS SOUPS 1155383 WITH SCORE 1202969.325
AT ITER 9170 NEW BEST:: SOT 55065589 SOS 47586445 HAS SOPS 23142176 HAS SOUS 3317823 HAS SOUPS 1155365 WITH SCORE 1202951.445
AT ITER 9199 NEW BEST:: SOT 55064135 SOS 47597571 HAS SOPS 23146894 HAS SOUS 3317538 HAS SOUPS 1155080 WITH SCORE 1202677.571
AT ITER 9227 NEW BEST:: SOT 55063437 SOS 47596175 HAS SOPS 23145498 HAS SOUS 3317095 HAS SOUPS 1154637 WITH SCORE 1202233.175
AT ITER 9239 NEW BEST:: SOT 55062980 SOS 47598057 HAS SOPS 23144584 HAS SOUS 3316898 HAS SOUPS 1153974 WITH SCORE 1201572.057
AT ITER 9243 NEW BEST:: SOT 55062449 SOS 47593989 HAS SOPS 23144878 HAS SOUS 3315009 HAS SOUPS 1152812 WITH SCORE 1200405.989
AT ITER 9283 NEW BEST:: SOT 55062740 SOS 47614641 HAS SOPS 23153542 HAS SOUS 3315245 HAS SOUPS 1152382 WITH SCORE 1199996.641
AT ITER 9328 NEW BEST:: SOT 55062276 SOS 47613713 HAS SOPS 23152614 HAS SOUS 3314864 HAS SOUPS 1152001 WITH SCORE 1199614.713
AT ITER 9335 NEW BEST:: SOT 55062416 SOS 47613993 HAS SOPS 23149720 HAS SOUS 3315255 HAS SOUPS 1151863 WITH SCORE 1199476.993
AT ITER 9412 NEW BEST:: SOT 55062416 SOS 47613993 HAS SOPS 23149720 HAS SOUS 3315237 HAS SOUPS 1151845 WITH SCORE 1199458.993
AT ITER 9436 NEW BEST:: SOT 55062406 SOS 47613983 HAS SOPS 23149710 HAS SOUS 3315227 HAS SOUPS 1151835 WITH SCORE 1199448.983
AT ITER 9463 NEW BEST:: SOT 55062406 SOS 47613553 HAS SOPS 23150570 HAS SOUS 3315012 HAS SOUPS 1151835 WITH SCORE 1199448.553
AT ITER 9545 NEW BEST:: SOT 55059217 SOS 47621177 HAS SOPS 23150718 HAS SOUS 3312966 HAS SOUPS 1149789 WITH SCORE 1197410.177
AT ITER 9546 NEW BEST:: SOT 55059152 SOS 47621077 HAS SOPS 23150678 HAS SOUS 3312961 HAS SOUPS 1149789 WITH SCORE 1197410.077
AT ITER 9612 NEW BEST:: SOT 55058458 SOS 47619689 HAS SOPS 23149290 HAS SOUS 3312581 HAS SOUPS 1149409 WITH SCORE 1197028.689
AT ITER 9627 NEW BEST:: SOT 55057944 SOS 47619689 HAS SOPS 23149290 HAS SOUS 3312324 HAS SOUPS 1149152 WITH SCORE 1196771.689
AT ITER 9661 NEW BEST:: SOT 55056800 SOS 47622001 HAS SOPS 23148842 HAS SOUS 3311901 HAS SOUPS 1148729 WITH SCORE 1196351.001
AT ITER 9703 NEW BEST:: SOT 55056608 SOS 47622497 HAS SOPS 23148618 HAS SOUS 3311843 HAS SOUPS 1148631 WITH SCORE 1196253.497
AT ITER 9755 NEW BEST:: SOT 55056416 SOS 47622113 HAS SOPS 23148234 HAS SOUS 3311651 HAS SOUPS 1148439 WITH SCORE 1196061.113
AT ITER 9780 NEW BEST:: SOT 55056215 SOS 47623855 HAS SOPS 23149172 HAS SOUS 3311517 HAS SOUPS 1148305 WITH SCORE 1195928.855
AT ITER 9791 NEW BEST:: SOT 55055932 SOS 47623289 HAS SOPS 23146842 HAS SOUS 3311539 HAS SOUPS 1148033 WITH SCORE 1195656.289
AT ITER 9819 NEW BEST:: SOT 55054433 SOS 47620937 HAS SOPS 23146179 HAS SOUS 3310547 HAS SOUPS 1147459 WITH SCORE 1195079.937
AT ITER 9845 NEW BEST:: SOT 55054401 SOS 47619979 HAS SOPS 23150963 HAS SOUS 3309547 HAS SOUPS 1147416 WITH SCORE 1195035.979
AT ITER 9851 NEW BEST:: SOT 55054401 SOS 47619979 HAS SOPS 23150963 HAS SOUS 3309299 HAS SOUPS 1147168 WITH SCORE 1194787.979
AT ITER 9900 NEW BEST:: SOT 55054393 SOS 47619909 HAS SOPS 23150893 HAS SOUS 3309283 HAS SOUPS 1147152 WITH SCORE 1194771.909
AT ITER 9911 NEW BEST:: SOT 55054319 SOS 47619835 HAS SOPS 23150819 HAS SOUS 3309209 HAS SOUPS 1147078 WITH SCORE 1194697.835
AT ITER 9930 NEW BEST:: SOT 55055711 SOS 47623315 HAS SOPS 23152211 HAS SOUS 3309233 HAS SOUPS 1146754 WITH SCORE 1194377.315
AT ITER 9947 NEW BEST:: SOT 55055593 SOS 47623079 HAS SOPS 23151975 HAS SOUS 3309115 HAS SOUPS 1146636 WITH SCORE 1194259.079
AT ITER 9974 NEW BEST:: SOT 55055017 SOS 47621735 HAS SOPS 23151207 HAS SOUS 3308635 HAS SOUPS 1146252 WITH SCORE 1193873.735
AT ITER 9990 NEW BEST:: SOT 55050389 SOS 47616648 HAS SOPS 23148244 HAS SOUS 3308609 HAS SOUPS 1146226 WITH SCORE 1193842.648
AT ITER 9997 NEW BEST:: SOT 55049804 SOS 47619768 HAS SOPS 23147854 HAS SOUS 3308219 HAS SOUPS 1145641 WITH SCORE 1193260.768
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
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="DLCshifumi-PT-6a"
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"
# 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-4028"
echo " Executing tool smart"
echo " Input is DLCshifumi-PT-6a, 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 r063-tajo-158922806900072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-6a.tgz
mv DLCshifumi-PT-6a 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 '
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 ;