Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r107-tall-167814484800864.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DLCshifumi-PT-6a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484800864
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.4M
-rw-r--r-- 1 mcc users 8.8K Feb 27 04:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 101K Feb 27 04:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 27 00:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 27 00:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 27 09:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 147K Feb 27 09:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 27 06:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 27 06:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 6.9M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678439783006

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCshifumi-PT-6a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 09:16:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 09:16:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 09:16:25] [INFO ] Load time of PNML (sax parser for PT used): 556 ms
[2023-03-10 09:16:25] [INFO ] Transformed 3568 places.
[2023-03-10 09:16:25] [INFO ] Transformed 25936 transitions.
[2023-03-10 09:16:25] [INFO ] Found NUPN structural information;
[2023-03-10 09:16:25] [INFO ] Parsed PT model containing 3568 places and 25936 transitions and 101182 arcs in 702 ms.
[2023-03-10 09:16:25] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 3568 places, 25936 transitions and 101182 arcs took 123 ms.
Total runtime 853 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 6a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 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 15 NEW BEST:: SOT 55976313 SOS 47285591 HAS SOPS 23159162 HAS SOUS 3856963 HAS SOUPS 1633639 WITH SCORE 1680924.591
AT ITER 31 NEW BEST:: SOT 55971814 SOS 47297733 HAS SOPS 23161320 HAS SOUS 3854328 HAS SOUPS 1631004 WITH SCORE 1678301.733
AT ITER 35 NEW BEST:: SOT 55971479 SOS 47295999 HAS SOPS 23162778 HAS SOUS 3853614 HAS SOUPS 1630822 WITH SCORE 1678117.999
AT ITER 47 NEW BEST:: SOT 55966873 SOS 47312105 HAS SOPS 23167664 HAS SOUS 3850078 HAS SOUPS 1627286 WITH SCORE 1674598.105
AT ITER 50 NEW BEST:: SOT 55964302 SOS 47102993 HAS SOPS 23180232 HAS SOUS 3849048 HAS SOUPS 1626256 WITH SCORE 1673358.993
AT ITER 53 NEW BEST:: SOT 55962313 SOS 47107409 HAS SOPS 23177250 HAS SOUS 3848288 HAS SOUPS 1625085 WITH SCORE 1672192.409
AT ITER 64 NEW BEST:: SOT 55961645 SOS 47106073 HAS SOPS 23179910 HAS SOUS 3846706 HAS SOUPS 1624169 WITH SCORE 1671275.073
AT ITER 68 NEW BEST:: SOT 55961645 SOS 47106073 HAS SOPS 23179910 HAS SOUS 3846496 HAS SOUPS 1623959 WITH SCORE 1671065.073
AT ITER 74 NEW BEST:: SOT 55960992 SOS 47104767 HAS SOPS 23181616 HAS SOUS 3845059 HAS SOUPS 1623024 WITH SCORE 1670128.767
AT ITER 75 NEW BEST:: SOT 55958419 SOS 47107841 HAS SOPS 23177292 HAS SOUS 3843273 HAS SOUPS 1620827 WITH SCORE 1667934.841
AT ITER 79 NEW BEST:: SOT 55955982 SOS 47110547 HAS SOPS 23173176 HAS SOUS 3841593 HAS SOUPS 1618768 WITH SCORE 1665878.547
AT ITER 92 NEW BEST:: SOT 55955286 SOS 47109155 HAS SOPS 23173872 HAS SOUS 3840201 HAS SOUPS 1617724 WITH SCORE 1664833.155
AT ITER 107 NEW BEST:: SOT 55954973 SOS 47106989 HAS SOPS 23176326 HAS SOUS 3839411 HAS SOUPS 1617704 WITH SCORE 1664810.989
AT ITER 109 NEW BEST:: SOT 55951625 SOS 47119551 HAS SOPS 23179972 HAS SOUS 3837370 HAS SOUPS 1615663 WITH SCORE 1662782.551
AT ITER 114 NEW BEST:: SOT 55945754 SOS 47135243 HAS SOPS 23182908 HAS SOUS 3832777 HAS SOUPS 1611070 WITH SCORE 1658205.243
AT ITER 122 NEW BEST:: SOT 55945092 SOS 47132409 HAS SOPS 23184604 HAS SOUS 3831360 HAS SOUPS 1610408 WITH SCORE 1657540.409
AT ITER 124 NEW BEST:: SOT 55944144 SOS 47130513 HAS SOPS 23185552 HAS SOUS 3829464 HAS SOUPS 1608986 WITH SCORE 1656116.513
AT ITER 125 NEW BEST:: SOT 55943689 SOS 47128269 HAS SOPS 23187310 HAS SOUS 3828555 HAS SOUPS 1608744 WITH SCORE 1655872.269
AT ITER 137 NEW BEST:: SOT 55943689 SOS 47128269 HAS SOPS 23187310 HAS SOUS 3828189 HAS SOUPS 1608378 WITH SCORE 1655506.269
AT ITER 139 NEW BEST:: SOT 55943245 SOS 47125595 HAS SOPS 23189994 HAS SOUS 3826852 HAS SOUPS 1607934 WITH SCORE 1655059.595
AT ITER 142 NEW BEST:: SOT 55940109 SOS 47117349 HAS SOPS 23187670 HAS SOUS 3824021 HAS SOUPS 1606090 WITH SCORE 1653207.349
AT ITER 151 NEW BEST:: SOT 55940109 SOS 47117349 HAS SOPS 23187670 HAS SOUS 3823705 HAS SOUPS 1605774 WITH SCORE 1652891.349
AT ITER 176 NEW BEST:: SOT 55939623 SOS 47115891 HAS SOPS 23186212 HAS SOUS 3823219 HAS SOUPS 1605288 WITH SCORE 1652403.891
AT ITER 195 NEW BEST:: SOT 55939623 SOS 47115891 HAS SOPS 23186212 HAS SOUS 3822853 HAS SOUPS 1604922 WITH SCORE 1652037.891
AT ITER 201 NEW BEST:: SOT 55938160 SOS 47117705 HAS SOPS 23183760 HAS SOUS 3822240 HAS SOUPS 1604072 WITH SCORE 1651189.705
AT ITER 202 NEW BEST:: SOT 55938160 SOS 47117705 HAS SOPS 23183760 HAS SOUS 3821874 HAS SOUPS 1603706 WITH SCORE 1650823.705
AT ITER 216 NEW BEST:: SOT 55937776 SOS 47115943 HAS SOPS 23184980 HAS SOUS 3821119 HAS SOUPS 1603448 WITH SCORE 1650563.943
AT ITER 226 NEW BEST:: SOT 55937436 SOS 47115263 HAS SOPS 23185320 HAS SOUS 3820439 HAS SOUPS 1602938 WITH SCORE 1650053.263
AT ITER 237 NEW BEST:: SOT 55934879 SOS 47120309 HAS SOPS 23181384 HAS SOUS 3818777 HAS SOUPS 1600777 WITH SCORE 1647897.309
AT ITER 244 NEW BEST:: SOT 55934879 SOS 47120309 HAS SOPS 23181384 HAS SOUS 3818499 HAS SOUPS 1600499 WITH SCORE 1647619.309
AT ITER 245 NEW BEST:: SOT 55934591 SOS 47118861 HAS SOPS 23179936 HAS SOUS 3818211 HAS SOUPS 1600211 WITH SCORE 1647329.861
AT ITER 251 NEW BEST:: SOT 55933865 SOS 47117409 HAS SOPS 23180740 HAS SOUS 3816750 HAS SOUPS 1599126 WITH SCORE 1646243.409
AT ITER 253 NEW BEST:: SOT 55933477 SOS 47114803 HAS SOPS 23183624 HAS SOUS 3815447 HAS SOUPS 1598738 WITH SCORE 1645852.803
AT ITER 274 NEW BEST:: SOT 55932794 SOS 47113437 HAS SOPS 23186068 HAS SOUS 3813862 HAS SOUPS 1597788 WITH SCORE 1644901.437
AT ITER 277 NEW BEST:: SOT 55932378 SOS 47111285 HAS SOPS 23187876 HAS SOUS 3812786 HAS SOUPS 1597372 WITH SCORE 1644483.285
AT ITER 279 NEW BEST:: SOT 55932058 SOS 47109025 HAS SOPS 23190476 HAS SOUS 3811970 HAS SOUPS 1597366 WITH SCORE 1644475.025
AT ITER 286 NEW BEST:: SOT 55931008 SOS 47110225 HAS SOPS 23188976 HAS SOUS 3811370 HAS SOUPS 1596616 WITH SCORE 1643726.225
AT ITER 293 NEW BEST:: SOT 55931008 SOS 47110225 HAS SOPS 23188976 HAS SOUS 3811238 HAS SOUPS 1596484 WITH SCORE 1643594.225
AT ITER 297 NEW BEST:: SOT 55931008 SOS 47110225 HAS SOPS 23188976 HAS SOUS 3810872 HAS SOUPS 1596118 WITH SCORE 1643228.225
AT ITER 329 NEW BEST:: SOT 55930439 SOS 47110285 HAS SOPS 23189036 HAS SOUS 3809887 HAS SOUPS 1595133 WITH SCORE 1642243.285
AT ITER 339 NEW BEST:: SOT 55930439 SOS 47110285 HAS SOPS 23189036 HAS SOUS 3809833 HAS SOUPS 1595079 WITH SCORE 1642189.285
AT ITER 367 NEW BEST:: SOT 55927234 SOS 47116725 HAS SOPS 23185018 HAS SOUS 3807711 HAS SOUPS 1592376 WITH SCORE 1639492.725
AT ITER 369 NEW BEST:: SOT 55926873 SOS 47116003 HAS SOPS 23186462 HAS SOUS 3806989 HAS SOUPS 1592015 WITH SCORE 1639131.003
AT ITER 370 NEW BEST:: SOT 55926867 SOS 47115991 HAS SOPS 23186450 HAS SOUS 3806980 HAS SOUPS 1592006 WITH SCORE 1639121.991
AT ITER 386 NEW BEST:: SOT 55926462 SOS 47115181 HAS SOPS 23185640 HAS SOUS 3806170 HAS SOUPS 1591196 WITH SCORE 1638311.181
AT ITER 401 NEW BEST:: SOT 55926462 SOS 47115181 HAS SOPS 23185640 HAS SOUS 3805910 HAS SOUPS 1590936 WITH SCORE 1638051.181
AT ITER 416 NEW BEST:: SOT 55922873 SOS 47121293 HAS SOPS 23184372 HAS SOUS 3803018 HAS SOUPS 1588044 WITH SCORE 1635165.293
AT ITER 423 NEW BEST:: SOT 55920082 SOS 47125579 HAS SOPS 23179928 HAS SOUS 3801108 HAS SOUPS 1585649 WITH SCORE 1632774.579
AT ITER 428 NEW BEST:: SOT 55920082 SOS 47125579 HAS SOPS 23179928 HAS SOUS 3800792 HAS SOUPS 1585333 WITH SCORE 1632458.579
AT ITER 440 NEW BEST:: SOT 55919796 SOS 47124107 HAS SOPS 23178456 HAS SOUS 3800506 HAS SOUPS 1585047 WITH SCORE 1632171.107
AT ITER 452 NEW BEST:: SOT 55917932 SOS 47128219 HAS SOPS 23175512 HAS SOUS 3799798 HAS SOUPS 1583947 WITH SCORE 1631075.219
AT ITER 458 NEW BEST:: SOT 55915367 SOS 47136679 HAS SOPS 23173118 HAS SOUS 3798971 HAS SOUPS 1582517 WITH SCORE 1629653.679
AT ITER 467 NEW BEST:: SOT 55915223 SOS 47135473 HAS SOPS 23171912 HAS SOUS 3798827 HAS SOUPS 1582373 WITH SCORE 1629508.473
AT ITER 472 NEW BEST:: SOT 55913988 SOS 47140907 HAS SOPS 23174382 HAS SOUS 3797839 HAS SOUPS 1581385 WITH SCORE 1628525.907
AT ITER 498 NEW BEST:: SOT 55913988 SOS 47140907 HAS SOPS 23174382 HAS SOUS 3797721 HAS SOUPS 1581267 WITH SCORE 1628407.907
AT ITER 499 NEW BEST:: SOT 55913988 SOS 47140907 HAS SOPS 23174382 HAS SOUS 3797503 HAS SOUPS 1581049 WITH SCORE 1628189.907
AT ITER 502 NEW BEST:: SOT 55912641 SOS 47138039 HAS SOPS 23175798 HAS SOUS 3794780 HAS SOUPS 1579040 WITH SCORE 1626178.039
AT ITER 513 NEW BEST:: SOT 55910404 SOS 47140345 HAS SOPS 23172002 HAS SOUS 3793260 HAS SOUPS 1577181 WITH SCORE 1624321.345
AT ITER 514 NEW BEST:: SOT 55898511 SOS 47122530 HAS SOPS 23163513 HAS SOUS 3793017 HAS SOUPS 1577154 WITH SCORE 1624276.53
AT ITER 518 NEW BEST:: SOT 55897775 SOS 47121058 HAS SOPS 23164903 HAS SOUS 3791464 HAS SOUPS 1576078 WITH SCORE 1623199.058
AT ITER 528 NEW BEST:: SOT 55897775 SOS 47121058 HAS SOPS 23164903 HAS SOUS 3791158 HAS SOUPS 1575772 WITH SCORE 1622893.058
AT ITER 556 NEW BEST:: SOT 55897175 SOS 47121058 HAS SOPS 23164903 HAS SOUS 3790857 HAS SOUPS 1575471 WITH SCORE 1622592.058
AT ITER 582 NEW BEST:: SOT 55897175 SOS 47121058 HAS SOPS 23164903 HAS SOUS 3790829 HAS SOUPS 1575443 WITH SCORE 1622564.058
AT ITER 604 NEW BEST:: SOT 55895003 SOS 47126316 HAS SOPS 23161665 HAS SOUS 3789996 HAS SOUPS 1574138 WITH SCORE 1621264.316
AT ITER 606 NEW BEST:: SOT 55894729 SOS 47123940 HAS SOPS 23164773 HAS SOUS 3789039 HAS SOUPS 1574095 WITH SCORE 1621218.94
AT ITER 614 NEW BEST:: SOT 55894729 SOS 47123668 HAS SOPS 23164501 HAS SOUS 3789039 HAS SOUPS 1574095 WITH SCORE 1621218.668
AT ITER 621 NEW BEST:: SOT 55894729 SOS 47123668 HAS SOPS 23164501 HAS SOUS 3788917 HAS SOUPS 1573973 WITH SCORE 1621096.668
AT ITER 652 NEW BEST:: SOT 55891751 SOS 47138034 HAS SOPS 23169003 HAS SOUS 3787572 HAS SOUPS 1572628 WITH SCORE 1619766.034
AT ITER 656 NEW BEST:: SOT 55886406 SOS 47144002 HAS SOPS 23163073 HAS SOUS 3784554 HAS SOUPS 1568949 WITH SCORE 1616093.002
AT ITER 658 NEW BEST:: SOT 55886406 SOS 47144002 HAS SOPS 23163073 HAS SOUS 3784288 HAS SOUPS 1568683 WITH SCORE 1615827.002
AT ITER 659 NEW BEST:: SOT 55886406 SOS 47144002 HAS SOPS 23163073 HAS SOUS 3783922 HAS SOUPS 1568317 WITH SCORE 1615461.002
AT ITER 684 NEW BEST:: SOT 55886406 SOS 47144002 HAS SOPS 23163073 HAS SOUS 3783556 HAS SOUPS 1567951 WITH SCORE 1615095.002
AT ITER 685 NEW BEST:: SOT 55885436 SOS 47139842 HAS SOPS 23161823 HAS SOUS 3782101 HAS SOUPS 1566981 WITH SCORE 1614120.842
AT ITER 688 NEW BEST:: SOT 55884992 SOS 47147092 HAS SOPS 23163529 HAS SOUS 3781952 HAS SOUPS 1566524 WITH SCORE 1613671.092
AT ITER 689 NEW BEST:: SOT 55884622 SOS 47146352 HAS SOPS 23163899 HAS SOUS 3781212 HAS SOUPS 1565969 WITH SCORE 1613115.352
AT ITER 710 NEW BEST:: SOT 55884622 SOS 47146352 HAS SOPS 23163899 HAS SOUS 3780846 HAS SOUPS 1565603 WITH SCORE 1612749.352
AT ITER 718 NEW BEST:: SOT 55884403 SOS 47144758 HAS SOPS 23165773 HAS SOUS 3780244 HAS SOUPS 1565579 WITH SCORE 1612723.758
AT ITER 740 NEW BEST:: SOT 55884403 SOS 47144758 HAS SOPS 23165773 HAS SOUS 3779878 HAS SOUPS 1565213 WITH SCORE 1612357.758
AT ITER 746 NEW BEST:: SOT 55884403 SOS 47144758 HAS SOPS 23165773 HAS SOUS 3779640 HAS SOUPS 1564975 WITH SCORE 1612119.758
AT ITER 752 NEW BEST:: SOT 55883849 SOS 47143650 HAS SOPS 23166327 HAS SOUS 3778532 HAS SOUPS 1564144 WITH SCORE 1611287.65
AT ITER 758 NEW BEST:: SOT 55882447 SOS 47141866 HAS SOPS 23164543 HAS SOUS 3777799 HAS SOUPS 1563411 WITH SCORE 1610552.866
AT ITER 768 NEW BEST:: SOT 55881523 SOS 47140018 HAS SOPS 23165515 HAS SOUS 3775946 HAS SOUPS 1562028 WITH SCORE 1609168.018
AT ITER 782 NEW BEST:: SOT 55881523 SOS 47140018 HAS SOPS 23165515 HAS SOUS 3775580 HAS SOUPS 1561662 WITH SCORE 1608802.018
AT ITER 787 NEW BEST:: SOT 55876977 SOS 47149290 HAS SOPS 23165367 HAS SOUS 3771830 HAS SOUPS 1557912 WITH SCORE 1605061.29
AT ITER 811 NEW BEST:: SOT 55875690 SOS 47151050 HAS SOPS 23163581 HAS SOUS 3771088 HAS SOUPS 1556973 WITH SCORE 1604124.05
AT ITER 820 NEW BEST:: SOT 55875170 SOS 47150010 HAS SOPS 23164101 HAS SOUS 3770048 HAS SOUPS 1556193 WITH SCORE 1603343.01
AT ITER 824 NEW BEST:: SOT 55874894 SOS 47149458 HAS SOPS 23164377 HAS SOUS 3769496 HAS SOUPS 1555779 WITH SCORE 1602928.458
AT ITER 838 NEW BEST:: SOT 55872472 SOS 47155946 HAS SOPS 23161217 HAS SOUS 3768052 HAS SOUPS 1553799 WITH SCORE 1600954.946
AT ITER 844 NEW BEST:: SOT 55868801 SOS 47160798 HAS SOPS 23159073 HAS SOUS 3764804 HAS SOUPS 1550551 WITH SCORE 1597711.798
AT ITER 855 NEW BEST:: SOT 55868801 SOS 47160798 HAS SOPS 23159073 HAS SOUS 3764524 HAS SOUPS 1550271 WITH SCORE 1597431.798
AT ITER 856 NEW BEST:: SOT 55867610 SOS 47156846 HAS SOPS 23159831 HAS SOUS 3763311 HAS SOUPS 1549843 WITH SCORE 1596999.846
AT ITER 859 NEW BEST:: SOT 55867106 SOS 47155838 HAS SOPS 23162927 HAS SOUS 3762047 HAS SOUPS 1549263 WITH SCORE 1596418.838
AT ITER 865 NEW BEST:: SOT 55862300 SOS 47175788 HAS SOPS 23168369 HAS SOUS 3758973 HAS SOUPS 1546189 WITH SCORE 1593364.788
AT ITER 876 NEW BEST:: SOT 55862048 SOS 47177132 HAS SOPS 23168201 HAS SOUS 3758805 HAS SOUPS 1545937 WITH SCORE 1593114.132
AT ITER 878 NEW BEST:: SOT 55862048 SOS 47177132 HAS SOPS 23168201 HAS SOUS 3758439 HAS SOUPS 1545571 WITH SCORE 1592748.132
AT ITER 884 NEW BEST:: SOT 55861558 SOS 47176152 HAS SOPS 23168691 HAS SOUS 3757459 HAS SOUPS 1544836 WITH SCORE 1592012.152
AT ITER 886 NEW BEST:: SOT 55858340 SOS 47190590 HAS SOPS 23173265 HAS SOUS 3755972 HAS SOUPS 1543349 WITH SCORE 1590539.59
AT ITER 923 NEW BEST:: SOT 55857979 SOS 47189868 HAS SOPS 23177259 HAS SOUS 3754861 HAS SOUPS 1543024 WITH SCORE 1590213.868
AT ITER 956 NEW BEST:: SOT 55857339 SOS 47192564 HAS SOPS 23177399 HAS SOUS 3754505 HAS SOUPS 1542526 WITH SCORE 1589718.564
AT ITER 965 NEW BEST:: SOT 55854148 SOS 47206634 HAS SOPS 23177627 HAS SOUS 3752518 HAS SOUPS 1539770 WITH SCORE 1586976.634
AT ITER 999 NEW BEST:: SOT 55854148 SOS 47206634 HAS SOPS 23177627 HAS SOUS 3752152 HAS SOUPS 1539404 WITH SCORE 1586610.634
AT ITER 1008 NEW BEST:: SOT 55853372 SOS 47205082 HAS SOPS 23178559 HAS SOUS 3750581 HAS SOUPS 1538247 WITH SCORE 1585452.082
AT ITER 1012 NEW BEST:: SOT 55853372 SOS 47205082 HAS SOPS 23178559 HAS SOUS 3750357 HAS SOUPS 1538023 WITH SCORE 1585228.082
AT ITER 1013 NEW BEST:: SOT 55850141 SOS 47200057 HAS SOPS 23176454 HAS SOUS 3750052 HAS SOUPS 1537942 WITH SCORE 1585142.057
AT ITER 1019 NEW BEST:: SOT 55849479 SOS 47198733 HAS SOPS 23178952 HAS SOUS 3748499 HAS SOUPS 1537026 WITH SCORE 1584224.733
AT ITER 1023 NEW BEST:: SOT 55849479 SOS 47198733 HAS SOPS 23178952 HAS SOUS 3748133 HAS SOUPS 1536660 WITH SCORE 1583858.733
AT ITER 1027 NEW BEST:: SOT 55847187 SOS 47190529 HAS SOPS 23176178 HAS SOUS 3744454 HAS SOUPS 1533886 WITH SCORE 1581076.529
AT ITER 1041 NEW BEST:: SOT 55844777 SOS 47204821 HAS SOPS 23177654 HAS SOUS 3744332 HAS SOUPS 1533052 WITH SCORE 1580256.821
AT ITER 1050 NEW BEST:: SOT 55844777 SOS 47204335 HAS SOPS 23178452 HAS SOUS 3744118 HAS SOUPS 1533052 WITH SCORE 1580256.335
AT ITER 1065 NEW BEST:: SOT 55841084 SOS 47217987 HAS SOPS 23181904 HAS SOUS 3741240 HAS SOUPS 1530174 WITH SCORE 1577391.987
AT ITER 1074 NEW BEST:: SOT 55841084 SOS 47217987 HAS SOPS 23181904 HAS SOUS 3741020 HAS SOUPS 1529954 WITH SCORE 1577171.987
AT ITER 1081 NEW BEST:: SOT 55833960 SOS 47236911 HAS SOPS 23187232 HAS SOUS 3736054 HAS SOUPS 1524988 WITH SCORE 1572224.911
AT ITER 1092 NEW BEST:: SOT 55833960 SOS 47236911 HAS SOPS 23187232 HAS SOUS 3735688 HAS SOUPS 1524622 WITH SCORE 1571858.911
AT ITER 1099 NEW BEST:: SOT 55833806 SOS 47237509 HAS SOPS 23187830 HAS SOUS 3735538 HAS SOUPS 1524472 WITH SCORE 1571709.509
AT ITER 1113 NEW BEST:: SOT 55831976 SOS 47245561 HAS SOPS 23191490 HAS SOUS 3734074 HAS SOUPS 1523008 WITH SCORE 1570253.561
AT ITER 1131 NEW BEST:: SOT 55831956 SOS 47245521 HAS SOPS 23191450 HAS SOUS 3734053 HAS SOUPS 1522987 WITH SCORE 1570232.521
AT ITER 1145 NEW BEST:: SOT 55831956 SOS 47245521 HAS SOPS 23191450 HAS SOUS 3733853 HAS SOUPS 1522787 WITH SCORE 1570032.521
AT ITER 1162 NEW BEST:: SOT 55829533 SOS 47256369 HAS SOPS 23191246 HAS SOUS 3733121 HAS SOUPS 1521441 WITH SCORE 1568697.369
AT ITER 1170 NEW BEST:: SOT 55829417 SOS 47256137 HAS SOPS 23191362 HAS SOUS 3732947 HAS SOUPS 1521325 WITH SCORE 1568581.137
AT ITER 1176 NEW BEST:: SOT 55827524 SOS 47258271 HAS SOPS 23189944 HAS SOUS 3731775 HAS SOUPS 1520153 WITH SCORE 1567411.271
AT ITER 1209 NEW BEST:: SOT 55826011 SOS 47296779 HAS SOPS 23205844 HAS SOUS 3731652 HAS SOUPS 1518774 WITH SCORE 1566070.779
AT ITER 1221 NEW BEST:: SOT 55821224 SOS 47307323 HAS SOPS 23206704 HAS SOUS 3727573 HAS SOUPS 1514695 WITH SCORE 1562002.323
AT ITER 1228 NEW BEST:: SOT 55820566 SOS 47308075 HAS SOPS 23205764 HAS SOUS 3727197 HAS SOUPS 1514225 WITH SCORE 1561533.075
AT ITER 1236 NEW BEST:: SOT 55820566 SOS 47308075 HAS SOPS 23205764 HAS SOUS 3726831 HAS SOUPS 1513859 WITH SCORE 1561167.075
AT ITER 1254 NEW BEST:: SOT 55820566 SOS 47308075 HAS SOPS 23205764 HAS SOUS 3726465 HAS SOUPS 1513493 WITH SCORE 1560801.075
AT ITER 1265 NEW BEST:: SOT 55818878 SOS 47320681 HAS SOPS 23209010 HAS SOUS 3725913 HAS SOUPS 1512421 WITH SCORE 1559741.681
AT ITER 1269 NEW BEST:: SOT 55817948 SOS 47317205 HAS SOPS 23210382 HAS SOUS 3724775 HAS SOUPS 1512091 WITH SCORE 1559408.205
AT ITER 1270 NEW BEST:: SOT 55815808 SOS 47323051 HAS SOPS 23210444 HAS SOUS 3723739 HAS SOUPS 1511055 WITH SCORE 1558378.051
AT ITER 1273 NEW BEST:: SOT 55811964 SOS 47348339 HAS SOPS 23221332 HAS SOUS 3721964 HAS SOUPS 1509280 WITH SCORE 1556628.339
AT ITER 1274 NEW BEST:: SOT 55810482 SOS 47363323 HAS SOPS 23224148 HAS SOUS 3722313 HAS SOUPS 1508953 WITH SCORE 1556316.323
AT ITER 1275 NEW BEST:: SOT 55810482 SOS 47363323 HAS SOPS 23224148 HAS SOUS 3721979 HAS SOUPS 1508619 WITH SCORE 1555982.323
AT ITER 1277 NEW BEST:: SOT 55808619 SOS 47368831 HAS SOPS 23223014 HAS SOUS 3721172 HAS SOUPS 1507443 WITH SCORE 1554811.831
AT ITER 1292 NEW BEST:: SOT 55808221 SOS 47367397 HAS SOPS 23221580 HAS SOUS 3720774 HAS SOUPS 1507045 WITH SCORE 1554412.397
AT ITER 1293 NEW BEST:: SOT 55805375 SOS 47371981 HAS SOPS 23217164 HAS SOUS 3718850 HAS SOUPS 1504621 WITH SCORE 1551992.981
AT ITER 1300 NEW BEST:: SOT 55804993 SOS 47369905 HAS SOPS 23219024 HAS SOUS 3718030 HAS SOUPS 1504457 WITH SCORE 1551826.905
AT ITER 1302 NEW BEST:: SOT 55804763 SOS 47369445 HAS SOPS 23218564 HAS SOUS 3717799 HAS SOUPS 1504226 WITH SCORE 1551595.445
AT ITER 1309 NEW BEST:: SOT 55804291 SOS 47368501 HAS SOPS 23217620 HAS SOUS 3717563 HAS SOUPS 1503990 WITH SCORE 1551358.501
AT ITER 1316 NEW BEST:: SOT 55798737 SOS 47379417 HAS SOPS 23219116 HAS SOUS 3715101 HAS SOUPS 1501528 WITH SCORE 1548907.417
AT ITER 1318 NEW BEST:: SOT 55788804 SOS 47364474 HAS SOPS 23211731 HAS SOUS 3715063 HAS SOUPS 1501531 WITH SCORE 1548895.474
AT ITER 1327 NEW BEST:: SOT 55786520 SOS 47367026 HAS SOPS 23207875 HAS SOUS 3713513 HAS SOUPS 1499625 WITH SCORE 1546992.026
AT ITER 1334 NEW BEST:: SOT 55784404 SOS 47361862 HAS SOPS 23202711 HAS SOUS 3712795 HAS SOUPS 1498907 WITH SCORE 1546268.862
AT ITER 1351 NEW BEST:: SOT 55783676 SOS 47366126 HAS SOPS 23202295 HAS SOUS 3713010 HAS SOUPS 1498862 WITH SCORE 1546228.126
AT ITER 1367 NEW BEST:: SOT 55783196 SOS 47365166 HAS SOPS 23202775 HAS SOUS 3712050 HAS SOUPS 1498142 WITH SCORE 1545507.166
AT ITER 1369 NEW BEST:: SOT 55779191 SOS 47380098 HAS SOPS 23207207 HAS SOUS 3709336 HAS SOUPS 1495428 WITH SCORE 1542808.098
AT ITER 1377 NEW BEST:: SOT 55779191 SOS 47380098 HAS SOPS 23207207 HAS SOUS 3708970 HAS SOUPS 1495062 WITH SCORE 1542442.098
AT ITER 1390 NEW BEST:: SOT 55779191 SOS 47380098 HAS SOPS 23207207 HAS SOUS 3708628 HAS SOUPS 1494720 WITH SCORE 1542100.098
AT ITER 1396 NEW BEST:: SOT 55779191 SOS 47380098 HAS SOPS 23207207 HAS SOUS 3708490 HAS SOUPS 1494582 WITH SCORE 1541962.098
AT ITER 1404 NEW BEST:: SOT 55776258 SOS 47372688 HAS SOPS 23204429 HAS SOUS 3706160 HAS SOUPS 1493024 WITH SCORE 1540396.688
AT ITER 1407 NEW BEST:: SOT 55774740 SOS 47367930 HAS SOPS 23204837 HAS SOUS 3703925 HAS SOUPS 1491650 WITH SCORE 1539017.93
AT ITER 1409 NEW BEST:: SOT 55771112 SOS 47381124 HAS SOPS 23203487 HAS SOUS 3702156 HAS SOUPS 1489073 WITH SCORE 1536454.124
AT ITER 1415 NEW BEST:: SOT 55770804 SOS 47380508 HAS SOPS 23202871 HAS SOUS 3702079 HAS SOUPS 1488996 WITH SCORE 1536376.508
AT ITER 1427 NEW BEST:: SOT 55771160 SOS 47369924 HAS SOPS 23198641 HAS SOUS 3701376 HAS SOUPS 1488646 WITH SCORE 1536015.924
AT ITER 1462 NEW BEST:: SOT 55770349 SOS 47368302 HAS SOPS 23200097 HAS SOUS 3699647 HAS SOUPS 1487430 WITH SCORE 1534798.302
AT ITER 1481 NEW BEST:: SOT 55769695 SOS 47366994 HAS SOPS 23200751 HAS SOUS 3698339 HAS SOUPS 1486449 WITH SCORE 1533815.994
AT ITER 1490 NEW BEST:: SOT 55754344 SOS 47342561 HAS SOPS 23190778 HAS SOUS 3697120 HAS SOUPS 1486296 WITH SCORE 1533638.561
AT ITER 1497 NEW BEST:: SOT 55754248 SOS 47342273 HAS SOPS 23190490 HAS SOUS 3697024 HAS SOUPS 1486200 WITH SCORE 1533542.273
AT ITER 1510 NEW BEST:: SOT 55754348 SOS 47339273 HAS SOPS 23188690 HAS SOUS 3697024 HAS SOUPS 1486200 WITH SCORE 1533539.273
AT ITER 1511 NEW BEST:: SOT 55753086 SOS 47341897 HAS SOPS 23187102 HAS SOUS 3696276 HAS SOUPS 1485218 WITH SCORE 1532559.897
AT ITER 1513 NEW BEST:: SOT 55750372 SOS 47346147 HAS SOPS 23183792 HAS SOUS 3695650 HAS SOUPS 1484172 WITH SCORE 1531518.147
AT ITER 1548 NEW BEST:: SOT 55750372 SOS 47346147 HAS SOPS 23183792 HAS SOUS 3695322 HAS SOUPS 1483844 WITH SCORE 1531190.147
AT ITER 1550 NEW BEST:: SOT 55745950 SOS 47353789 HAS SOPS 23182626 HAS SOUS 3691546 HAS SOUPS 1480068 WITH SCORE 1527421.789
AT ITER 1569 NEW BEST:: SOT 55743586 SOS 47359999 HAS SOPS 23179116 HAS SOUS 3690646 HAS SOUPS 1478628 WITH SCORE 1525987.999
AT ITER 1575 NEW BEST:: SOT 55743586 SOS 47359999 HAS SOPS 23179116 HAS SOUS 3690362 HAS SOUPS 1478344 WITH SCORE 1525703.999
AT ITER 1576 NEW BEST:: SOT 55741586 SOS 47364319 HAS SOPS 23175948 HAS SOUS 3689154 HAS SOUPS 1476720 WITH SCORE 1524084.319
AT ITER 1591 NEW BEST:: SOT 55736487 SOS 47375681 HAS SOPS 23174764 HAS SOUS 3686761 HAS SOUPS 1473630 WITH SCORE 1521005.681
AT ITER 1592 NEW BEST:: SOT 55733105 SOS 47400605 HAS SOPS 23185996 HAS SOUS 3685193 HAS SOUPS 1472062 WITH SCORE 1519462.605
AT ITER 1619 NEW BEST:: SOT 55728068 SOS 47420125 HAS SOPS 23192508 HAS SOUS 3681352 HAS SOUPS 1468221 WITH SCORE 1515641.125
AT ITER 1623 NEW BEST:: SOT 55728068 SOS 47420125 HAS SOPS 23192508 HAS SOUS 3680986 HAS SOUPS 1467855 WITH SCORE 1515275.125
AT ITER 1635 NEW BEST:: SOT 55726149 SOS 47428037 HAS SOPS 23195764 HAS SOUS 3679476 HAS SOUPS 1466345 WITH SCORE 1513773.037
AT ITER 1637 NEW BEST:: SOT 55726149 SOS 47428037 HAS SOPS 23195764 HAS SOUS 3679110 HAS SOUPS 1465979 WITH SCORE 1513407.037
AT ITER 1643 NEW BEST:: SOT 55726149 SOS 47424329 HAS SOPS 23197042 HAS SOUS 3678279 HAS SOUPS 1465979 WITH SCORE 1513403.329
AT ITER 1653 NEW BEST:: SOT 55726149 SOS 47424329 HAS SOPS 23197042 HAS SOUS 3678133 HAS SOUPS 1465833 WITH SCORE 1513257.329
AT ITER 1660 NEW BEST:: SOT 55726149 SOS 47424329 HAS SOPS 23197042 HAS SOUS 3677773 HAS SOUPS 1465473 WITH SCORE 1512897.329
AT ITER 1662 NEW BEST:: SOT 55721505 SOS 47434169 HAS SOPS 23196586 HAS SOUS 3674237 HAS SOUPS 1461937 WITH SCORE 1509371.169
AT ITER 1664 NEW BEST:: SOT 55719218 SOS 47433027 HAS SOPS 23195444 HAS SOUS 3673605 HAS SOUPS 1461305 WITH SCORE 1508738.027
AT ITER 1671 NEW BEST:: SOT 55719218 SOS 47433027 HAS SOPS 23195444 HAS SOUS 3673239 HAS SOUPS 1460939 WITH SCORE 1508372.027
AT ITER 1715 NEW BEST:: SOT 55719218 SOS 47433027 HAS SOPS 23195444 HAS SOUS 3673207 HAS SOUPS 1460907 WITH SCORE 1508340.027
AT ITER 1720 NEW BEST:: SOT 55719352 SOS 47433373 HAS SOPS 23192658 HAS SOUS 3673488 HAS SOUPS 1460666 WITH SCORE 1508099.373
AT ITER 1723 NEW BEST:: SOT 55718916 SOS 47432501 HAS SOPS 23191786 HAS SOUS 3673052 HAS SOUPS 1460230 WITH SCORE 1507662.501
AT ITER 1725 NEW BEST:: SOT 55718809 SOS 47430229 HAS SOPS 23192700 HAS SOUS 3672345 HAS SOUPS 1460054 WITH SCORE 1507484.229
AT ITER 1727 NEW BEST:: SOT 55718722 SOS 47430055 HAS SOPS 23194650 HAS SOUS 3671904 HAS SOUPS 1459967 WITH SCORE 1507397.055
AT ITER 1733 NEW BEST:: SOT 55718722 SOS 47430055 HAS SOPS 23194650 HAS SOUS 3671890 HAS SOUPS 1459953 WITH SCORE 1507383.055
AT ITER 1742 NEW BEST:: SOT 55718222 SOS 47431655 HAS SOPS 23195050 HAS SOUS 3671490 HAS SOUPS 1459553 WITH SCORE 1506984.655
AT ITER 1744 NEW BEST:: SOT 55718222 SOS 47431655 HAS SOPS 23195050 HAS SOUS 3671216 HAS SOUPS 1459279 WITH SCORE 1506710.655
AT ITER 1750 NEW BEST:: SOT 55718222 SOS 47431655 HAS SOPS 23195050 HAS SOUS 3670854 HAS SOUPS 1458917 WITH SCORE 1506348.655
AT ITER 1770 NEW BEST:: SOT 55718126 SOS 47431463 HAS SOPS 23194858 HAS SOUS 3670662 HAS SOUPS 1458725 WITH SCORE 1506156.463
AT ITER 1781 NEW BEST:: SOT 55716254 SOS 47437391 HAS SOPS 23194090 HAS SOUS 3669911 HAS SOUPS 1457602 WITH SCORE 1505039.391
AT ITER 1809 NEW BEST:: SOT 55713002 SOS 47441103 HAS SOPS 23194902 HAS SOUS 3668691 HAS SOUPS 1456786 WITH SCORE 1504227.1030000001
AT ITER 1832 NEW BEST:: SOT 55712850 SOS 47441407 HAS SOPS 23194864 HAS SOUS 3668634 HAS SOUPS 1456710 WITH SCORE 1504151.407
AT ITER 1842 NEW BEST:: SOT 55698350 SOS 47419906 HAS SOPS 23184890 HAS SOUS 3668142 HAS SOUPS 1456627 WITH SCORE 1504046.906
AT ITER 1843 NEW BEST:: SOT 55695456 SOS 47413598 HAS SOPS 23178582 HAS SOUS 3667225 HAS SOUPS 1455710 WITH SCORE 1503123.598
AT ITER 1858 NEW BEST:: SOT 55692771 SOS 47425312 HAS SOPS 23179640 HAS SOUS 3666287 HAS SOUPS 1454180 WITH SCORE 1501605.312
AT ITER 1868 NEW BEST:: SOT 55692771 SOS 47425312 HAS SOPS 23179640 HAS SOUS 3666069 HAS SOUPS 1453962 WITH SCORE 1501387.312
AT ITER 1881 NEW BEST:: SOT 55691897 SOS 47423564 HAS SOPS 23181552 HAS SOUS 3664192 HAS SOUPS 1452695 WITH SCORE 1500118.564
AT ITER 1892 NEW BEST:: SOT 55691897 SOS 47423564 HAS SOPS 23181552 HAS SOUS 3663826 HAS SOUPS 1452329 WITH SCORE 1499752.564
AT ITER 1894 NEW BEST:: SOT 55691897 SOS 47423564 HAS SOPS 23181552 HAS SOUS 3663774 HAS SOUPS 1452277 WITH SCORE 1499700.564
AT ITER 1906 NEW BEST:: SOT 55696114 SOS 47428962 HAS SOPS 23186950 HAS SOUS 3663016 HAS SOUPS 1452025 WITH SCORE 1499453.962
AT ITER 1924 NEW BEST:: SOT 55690820 SOS 47445836 HAS SOPS 23191404 HAS SOUS 3658779 HAS SOUPS 1447788 WITH SCORE 1495233.836
AT ITER 1932 NEW BEST:: SOT 55690650 SOS 47445496 HAS SOPS 23191064 HAS SOUS 3658609 HAS SOUPS 1447618 WITH SCORE 1495063.496
AT ITER 1934 NEW BEST:: SOT 55688708 SOS 47453286 HAS SOPS 23192602 HAS SOUS 3658132 HAS SOUPS 1447141 WITH SCORE 1494594.286
AT ITER 1936 NEW BEST:: SOT 55681647 SOS 47443041 HAS SOPS 23185795 HAS SOUS 3658075 HAS SOUPS 1447084 WITH SCORE 1494527.041
AT ITER 1949 NEW BEST:: SOT 55681047 SOS 47443461 HAS SOPS 23186215 HAS SOUS 3657794 HAS SOUPS 1446803 WITH SCORE 1494246.461
AT ITER 1951 NEW BEST:: SOT 55679190 SOS 47447087 HAS SOPS 23183235 HAS SOUS 3657049 HAS SOUPS 1445691 WITH SCORE 1493138.087
AT ITER 1952 NEW BEST:: SOT 55677323 SOS 47452947 HAS SOPS 23182453 HAS SOUS 3656300 HAS SOUPS 1444573 WITH SCORE 1492025.947
AT ITER 1953 NEW BEST:: SOT 55676455 SOS 47452079 HAS SOPS 23181585 HAS SOUS 3654998 HAS SOUPS 1443271 WITH SCORE 1490723.079
AT ITER 1961 NEW BEST:: SOT 55675529 SOS 47450227 HAS SOPS 23182511 HAS SOUS 3653146 HAS SOUPS 1441882 WITH SCORE 1489332.227
AT ITER 1965 NEW BEST:: SOT 55675529 SOS 47450227 HAS SOPS 23182511 HAS SOUS 3652864 HAS SOUPS 1441600 WITH SCORE 1489050.227
AT ITER 1967 NEW BEST:: SOT 55675529 SOS 47450227 HAS SOPS 23182511 HAS SOUS 3652498 HAS SOUPS 1441234 WITH SCORE 1488684.227
AT ITER 1976 NEW BEST:: SOT 55672769 SOS 47455473 HAS SOPS 23178721 HAS SOUS 3650737 HAS SOUPS 1438971 WITH SCORE 1486426.473
AT ITER 2002 NEW BEST:: SOT 55669335 SOS 47465145 HAS SOPS 23176585 HAS SOUS 3648905 HAS SOUPS 1436483 WITH SCORE 1483948.145
AT ITER 2008 NEW BEST:: SOT 55669003 SOS 47462949 HAS SOPS 23178985 HAS SOUS 3648099 HAS SOUPS 1436443 WITH SCORE 1483905.949
AT ITER 2013 NEW BEST:: SOT 55669003 SOS 47462949 HAS SOPS 23178985 HAS SOUS 3647733 HAS SOUPS 1436077 WITH SCORE 1483539.949
AT ITER 2026 NEW BEST:: SOT 55668583 SOS 47460405 HAS SOPS 23181553 HAS SOUS 3646461 HAS SOUPS 1435657 WITH SCORE 1483117.405
AT ITER 2027 NEW BEST:: SOT 55668583 SOS 47460405 HAS SOPS 23181553 HAS SOUS 3646167 HAS SOUPS 1435363 WITH SCORE 1482823.405
AT ITER 2030 NEW BEST:: SOT 55667781 SOS 47458555 HAS SOPS 23182109 HAS SOUS 3644562 HAS SOUPS 1434159 WITH SCORE 1481617.555
AT ITER 2050 NEW BEST:: SOT 55667300 SOS 47457593 HAS SOPS 23185761 HAS SOUS 3643205 HAS SOUPS 1433571 WITH SCORE 1481028.593
AT ITER 2063 NEW BEST:: SOT 55667128 SOS 47457077 HAS SOPS 23185761 HAS SOUS 3642947 HAS SOUPS 1433399 WITH SCORE 1480856.077
AT ITER 2070 NEW BEST:: SOT 55667032 SOS 47456885 HAS SOPS 23185569 HAS SOUS 3642851 HAS SOUPS 1433303 WITH SCORE 1480759.885
AT ITER 2086 NEW BEST:: SOT 55667032 SOS 47456885 HAS SOPS 23185569 HAS SOUS 3642547 HAS SOUPS 1432999 WITH SCORE 1480455.885
AT ITER 2091 NEW BEST:: SOT 55666063 SOS 47462053 HAS SOPS 23184923 HAS SOUS 3641901 HAS SOUPS 1432030 WITH SCORE 1479492.053
AT ITER 2092 NEW BEST:: SOT 55666063 SOS 47462053 HAS SOPS 23184923 HAS SOUS 3641535 HAS SOUPS 1431664 WITH SCORE 1479126.053
AT ITER 2102 NEW BEST:: SOT 55663427 SOS 47468873 HAS SOPS 23183463 HAS SOUS 3640219 HAS SOUPS 1429888 WITH SCORE 1477356.873
AT ITER 2103 NEW BEST:: SOT 55663383 SOS 47468763 HAS SOPS 23183375 HAS SOUS 3640175 HAS SOUPS 1429844 WITH SCORE 1477312.763
AT ITER 2128 NEW BEST:: SOT 55662639 SOS 47466903 HAS SOPS 23181515 HAS SOUS 3639989 HAS SOUPS 1429658 WITH SCORE 1477124.903
AT ITER 2139 NEW BEST:: SOT 55660103 SOS 47495321 HAS SOPS 23195437 HAS SOUS 3639123 HAS SOUPS 1428792 WITH SCORE 1476287.321
AT ITER 2144 NEW BEST:: SOT 55660103 SOS 47495321 HAS SOPS 23195437 HAS SOUS 3639005 HAS SOUPS 1428674 WITH SCORE 1476169.321
AT ITER 2145 NEW BEST:: SOT 55659456 SOS 47494027 HAS SOPS 23194143 HAS SOUS 3638266 HAS SOUPS 1427935 WITH SCORE 1475429.027
AT ITER 2148 NEW BEST:: SOT 55653950 SOS 47482342 HAS SOPS 23188140 HAS SOUS 3631316 HAS SOUPS 1421932 WITH SCORE 1469414.342
AT ITER 2168 NEW BEST:: SOT 55653950 SOS 47482342 HAS SOPS 23188140 HAS SOUS 3631024 HAS SOUPS 1421640 WITH SCORE 1469122.342
AT ITER 2178 NEW BEST:: SOT 55653700 SOS 47481842 HAS SOPS 23188390 HAS SOUS 3630524 HAS SOUPS 1421265 WITH SCORE 1468746.842
AT ITER 2184 NEW BEST:: SOT 55653634 SOS 47481710 HAS SOPS 23188258 HAS SOUS 3630480 HAS SOUPS 1421221 WITH SCORE 1468702.71
AT ITER 2194 NEW BEST:: SOT 55650640 SOS 47489814 HAS SOPS 23186606 HAS SOUS 3628946 HAS SOUPS 1419145 WITH SCORE 1466634.814
AT ITER 2201 NEW BEST:: SOT 55647609 SOS 47495874 HAS SOPS 23182820 HAS SOUS 3626918 HAS SOUPS 1416570 WITH SCORE 1464065.874
AT ITER 2203 NEW BEST:: SOT 55647193 SOS 47496394 HAS SOPS 23182404 HAS SOUS 3626762 HAS SOUPS 1416362 WITH SCORE 1463858.394
AT ITER 2210 NEW BEST:: SOT 55647193 SOS 47496394 HAS SOPS 23182404 HAS SOUS 3626506 HAS SOUPS 1416106 WITH SCORE 1463602.394
AT ITER 2253 NEW BEST:: SOT 55646689 SOS 47500636 HAS SOPS 23183622 HAS SOUS 3626506 HAS SOUPS 1415938 WITH SCORE 1463438.636
AT ITER 2256 NEW BEST:: SOT 55634699 SOS 47483599 HAS SOPS 23175615 HAS SOUS 3625823 HAS SOUPS 1415594 WITH SCORE 1463077.599
AT ITER 2264 NEW BEST:: SOT 55634535 SOS 47482791 HAS SOPS 23174807 HAS SOUS 3625576 HAS SOUPS 1415347 WITH SCORE 1462829.791
AT ITER 2272 NEW BEST:: SOT 55634835 SOS 47483241 HAS SOPS 23174957 HAS SOUS 3625551 HAS SOUPS 1415297 WITH SCORE 1462780.241
AT ITER 2284 NEW BEST:: SOT 55633967 SOS 47481505 HAS SOPS 23175825 HAS SOUS 3623815 HAS SOUPS 1413995 WITH SCORE 1461476.505
AT ITER 2297 NEW BEST:: SOT 55633967 SOS 47481505 HAS SOPS 23175825 HAS SOUS 3623727 HAS SOUPS 1413907 WITH SCORE 1461388.505
AT ITER 2306 NEW BEST:: SOT 55633552 SOS 47483331 HAS SOPS 23176157 HAS SOUS 3623478 HAS SOUPS 1413575 WITH SCORE 1461058.331
AT ITER 2307 NEW BEST:: SOT 55633100 SOS 47483827 HAS SOPS 23175813 HAS SOUS 3623344 HAS SOUPS 1413441 WITH SCORE 1460924.827
AT ITER 2316 NEW BEST:: SOT 55630600 SOS 47477799 HAS SOPS 23172869 HAS SOUS 3621358 HAS SOUPS 1411969 WITH SCORE 1459446.799
AT ITER 2318 NEW BEST:: SOT 55630195 SOS 47476989 HAS SOPS 23175653 HAS SOUS 3620432 HAS SOUPS 1411642 WITH SCORE 1459118.989
AT ITER 2319 NEW BEST:: SOT 55626941 SOS 47464671 HAS SOPS 23170307 HAS SOUS 3617264 HAS SOUPS 1409636 WITH SCORE 1457100.671
AT ITER 2320 NEW BEST:: SOT 55626201 SOS 47463191 HAS SOPS 23171047 HAS SOUS 3615784 HAS SOUPS 1408526 WITH SCORE 1455989.191
AT ITER 2327 NEW BEST:: SOT 55626201 SOS 47463191 HAS SOPS 23171047 HAS SOUS 3615702 HAS SOUPS 1408444 WITH SCORE 1455907.191
AT ITER 2351 NEW BEST:: SOT 55626201 SOS 47462485 HAS SOPS 23172459 HAS SOUS 3615349 HAS SOUPS 1408444 WITH SCORE 1455906.485
AT ITER 2355 NEW BEST:: SOT 55626201 SOS 47462485 HAS SOPS 23172459 HAS SOUS 3615249 HAS SOUPS 1408344 WITH SCORE 1455806.485
AT ITER 2362 NEW BEST:: SOT 55616503 SOS 47447540 HAS SOPS 23166104 HAS SOUS 3614518 HAS SOUPS 1408202 WITH SCORE 1455649.54
AT ITER 2363 NEW BEST:: SOT 55616503 SOS 47447540 HAS SOPS 23164664 HAS SOUS 3614680 HAS SOUPS 1408124 WITH SCORE 1455571.54
AT ITER 2370 NEW BEST:: SOT 55613245 SOS 47457834 HAS SOPS 23166510 HAS SOUS 3612531 HAS SOUPS 1405975 WITH SCORE 1453432.834
AT ITER 2422 NEW BEST:: SOT 55611175 SOS 47468510 HAS SOPS 23171630 HAS SOUS 3611008 HAS SOUPS 1404452 WITH SCORE 1451920.51
AT ITER 2427 NEW BEST:: SOT 55611175 SOS 47468510 HAS SOPS 23171630 HAS SOUS 3610808 HAS SOUPS 1404252 WITH SCORE 1451720.51
AT ITER 2432 NEW BEST:: SOT 55611175 SOS 47468510 HAS SOPS 23171630 HAS SOUS 3610444 HAS SOUPS 1403888 WITH SCORE 1451356.51
AT ITER 2447 NEW BEST:: SOT 55611175 SOS 47468270 HAS SOPS 23173460 HAS SOUS 3610099 HAS SOUPS 1403888 WITH SCORE 1451356.27
AT ITER 2453 NEW BEST:: SOT 55596204 SOS 47444615 HAS SOPS 23163935 HAS SOUS 3608962 HAS SOUPS 1403854 WITH SCORE 1451298.615
AT ITER 2458 NEW BEST:: SOT 55593629 SOS 47470647 HAS SOPS 23169555 HAS SOUS 3609325 HAS SOUPS 1403083 WITH SCORE 1450553.647
AT ITER 2501 NEW BEST:: SOT 55593575 SOS 47470539 HAS SOPS 23169447 HAS SOUS 3609271 HAS SOUPS 1403029 WITH SCORE 1450499.539
AT ITER 2502 NEW BEST:: SOT 55593480 SOS 47470349 HAS SOPS 23169257 HAS SOUS 3609175 HAS SOUPS 1402933 WITH SCORE 1450403.349
AT ITER 2537 NEW BEST:: SOT 55592865 SOS 47472317 HAS SOPS 23169749 HAS SOUS 3608683 HAS SOUPS 1402441 WITH SCORE 1449913.317
AT ITER 2565 NEW BEST:: SOT 55592844 SOS 47472275 HAS SOPS 23169707 HAS SOUS 3608662 HAS SOUPS 1402420 WITH SCORE 1449892.275
AT ITER 2576 NEW BEST:: SOT 55592294 SOS 47470559 HAS SOPS 23169839 HAS SOUS 3607870 HAS SOUPS 1401936 WITH SCORE 1449406.559
AT ITER 2577 NEW BEST:: SOT 55591549 SOS 47469069 HAS SOPS 23172159 HAS SOUS 3606035 HAS SOUPS 1400736 WITH SCORE 1448205.069
AT ITER 2580 NEW BEST:: SOT 55590941 SOS 47467853 HAS SOPS 23172767 HAS SOUS 3604819 HAS SOUPS 1399824 WITH SCORE 1447291.8530000001
AT ITER 2585 NEW BEST:: SOT 55589473 SOS 47470293 HAS SOPS 23172071 HAS SOUS 3603749 HAS SOUPS 1398754 WITH SCORE 1446224.293
AT ITER 2591 NEW BEST:: SOT 55589180 SOS 47469707 HAS SOPS 23171485 HAS SOUS 3603163 HAS SOUPS 1398168 WITH SCORE 1445637.707
AT ITER 2618 NEW BEST:: SOT 55574544 SOS 47447794 HAS SOPS 23161647 HAS SOUS 3601865 HAS SOUPS 1397577 WITH SCORE 1445024.794
AT ITER 2628 NEW BEST:: SOT 55570387 SOS 47466444 HAS SOPS 23166905 HAS SOUS 3599058 HAS SOUPS 1394770 WITH SCORE 1442236.444
AT ITER 2634 NEW BEST:: SOT 55569464 SOS 47464598 HAS SOPS 23169199 HAS SOUS 3596984 HAS SOUPS 1393386 WITH SCORE 1440850.598
AT ITER 2638 NEW BEST:: SOT 55569122 SOS 47463914 HAS SOPS 23167381 HAS SOUS 3596678 HAS SOUPS 1392891 WITH SCORE 1440354.914
AT ITER 2706 NEW BEST:: SOT 55562416 SOS 47454055 HAS SOPS 23160573 HAS SOUS 3596319 HAS SOUPS 1392511 WITH SCORE 1439965.055
AT ITER 2709 NEW BEST:: SOT 55558062 SOS 47478495 HAS SOPS 23172569 HAS SOUS 3593094 HAS SOUPS 1389286 WITH SCORE 1436764.495
AT ITER 2712 NEW BEST:: SOT 55557885 SOS 47480029 HAS SOPS 23173395 HAS SOUS 3592976 HAS SOUPS 1389168 WITH SCORE 1436648.029
AT ITER 2713 NEW BEST:: SOT 55554503 SOS 47505053 HAS SOPS 23184739 HAS SOUS 3591521 HAS SOUPS 1387713 WITH SCORE 1435218.053
AT ITER 2724 NEW BEST:: SOT 55553815 SOS 47502717 HAS SOPS 23185283 HAS SOUS 3590353 HAS SOUPS 1387025 WITH SCORE 1434527.717
AT ITER 2747 NEW BEST:: SOT 55553379 SOS 47498593 HAS SOPS 23184411 HAS SOUS 3588965 HAS SOUPS 1386179 WITH SCORE 1433677.593
AT ITER 2748 NEW BEST:: SOT 55553379 SOS 47498593 HAS SOPS 23184411 HAS SOUS 3588889 HAS SOUPS 1386103 WITH SCORE 1433601.593
AT ITER 2749 NEW BEST:: SOT 55552977 SOS 47499531 HAS SOPS 23184143 HAS SOUS 3588889 HAS SOUPS 1386036 WITH SCORE 1433535.531
AT ITER 2757 NEW BEST:: SOT 55552712 SOS 47505647 HAS SOPS 23185489 HAS SOUS 3588386 HAS SOUPS 1385268 WITH SCORE 1432773.647
AT ITER 2760 NEW BEST:: SOT 55552032 SOS 47506647 HAS SOPS 23185073 HAS SOUS 3588324 HAS SOUPS 1385206 WITH SCORE 1432712.647
AT ITER 2763 NEW BEST:: SOT 55548208 SOS 47516295 HAS SOPS 23185517 HAS SOUS 3585971 HAS SOUPS 1382853 WITH SCORE 1430369.295
AT ITER 2764 NEW BEST:: SOT 55548208 SOS 47515427 HAS SOPS 23187253 HAS SOUS 3585537 HAS SOUPS 1382853 WITH SCORE 1430368.427
AT ITER 2774 NEW BEST:: SOT 55544474 SOS 47518431 HAS SOPS 23181689 HAS SOUS 3583231 HAS SOUPS 1380071 WITH SCORE 1427589.431
AT ITER 2778 NEW BEST:: SOT 55541355 SOS 47533807 HAS SOPS 23187585 HAS SOUS 3581466 HAS SOUPS 1378306 WITH SCORE 1425839.807
AT ITER 2779 NEW BEST:: SOT 55540920 SOS 47529343 HAS SOPS 23189571 HAS SOUS 3579959 HAS SOUPS 1377874 WITH SCORE 1425403.343
AT ITER 2784 NEW BEST:: SOT 55540920 SOS 47529343 HAS SOPS 23189571 HAS SOUS 3579759 HAS SOUPS 1377674 WITH SCORE 1425203.343
AT ITER 2788 NEW BEST:: SOT 55538840 SOS 47526539 HAS SOPS 23188123 HAS SOUS 3579667 HAS SOUPS 1377582 WITH SCORE 1425108.539
AT ITER 2802 NEW BEST:: SOT 55535502 SOS 47539555 HAS SOPS 23191275 HAS SOUS 3577602 HAS SOUPS 1375517 WITH SCORE 1423056.555
AT ITER 2813 NEW BEST:: SOT 55532905 SOS 47545775 HAS SOPS 23189593 HAS SOUS 3576257 HAS SOUPS 1373733 WITH SCORE 1421278.775
AT ITER 2833 NEW BEST:: SOT 55532392 SOS 47548511 HAS SOPS 23189251 HAS SOUS 3575744 HAS SOUPS 1373049 WITH SCORE 1420597.511
AT ITER 2857 NEW BEST:: SOT 55531662 SOS 47545419 HAS SOPS 23188349 HAS SOUS 3574284 HAS SOUPS 1371954 WITH SCORE 1419499.419
AT ITER 2880 NEW BEST:: SOT 55531662 SOS 47545419 HAS SOPS 23188349 HAS SOUS 3573972 HAS SOUPS 1371642 WITH SCORE 1419187.419
AT ITER 2881 NEW BEST:: SOT 55531039 SOS 47543927 HAS SOPS 23189389 HAS SOUS 3572505 HAS SOUPS 1370597 WITH SCORE 1418140.927
AT ITER 2885 NEW BEST:: SOT 55529533 SOS 47548097 HAS SOPS 23187061 HAS SOUS 3571905 HAS SOUPS 1369655 WITH SCORE 1417203.097
AT ITER 2916 NEW BEST:: SOT 55528744 SOS 47546519 HAS SOPS 23188015 HAS SOUS 3570327 HAS SOUPS 1368499 WITH SCORE 1416045.519
AT ITER 2919 NEW BEST:: SOT 55528744 SOS 47546519 HAS SOPS 23188015 HAS SOUS 3570105 HAS SOUPS 1368277 WITH SCORE 1415823.519
AT ITER 2940 NEW BEST:: SOT 55528527 SOS 47546705 HAS SOPS 23187643 HAS SOUS 3570012 HAS SOUPS 1368153 WITH SCORE 1415699.705
AT ITER 2943 NEW BEST:: SOT 55522283 SOS 47566603 HAS SOPS 23194269 HAS SOUS 3567716 HAS SOUPS 1365857 WITH SCORE 1413423.6030000001
AT ITER 2954 NEW BEST:: SOT 55511050 SOS 47549502 HAS SOPS 23186924 HAS SOUS 3566620 HAS SOUPS 1365417 WITH SCORE 1412966.502
AT ITER 2970 NEW BEST:: SOT 55510992 SOS 47549386 HAS SOPS 23186808 HAS SOUS 3566504 HAS SOUPS 1365301 WITH SCORE 1412850.386
AT ITER 3000 NEW BEST:: SOT 55510992 SOS 47549386 HAS SOPS 23186808 HAS SOUS 3566138 HAS SOUPS 1364935 WITH SCORE 1412484.386
AT ITER 3005 NEW BEST:: SOT 55508197 SOS 47556366 HAS SOPS 23188760 HAS SOUS 3565788 HAS SOUPS 1364585 WITH SCORE 1412141.366
AT ITER 3015 NEW BEST:: SOT 55503047 SOS 47575548 HAS SOPS 23194922 HAS SOUS 3561798 HAS SOUPS 1360595 WITH SCORE 1408170.548
AT ITER 3017 NEW BEST:: SOT 55502000 SOS 47571709 HAS SOPS 23193177 HAS SOUS 3560402 HAS SOUPS 1359548 WITH SCORE 1407119.709
AT ITER 3020 NEW BEST:: SOT 55500044 SOS 47588729 HAS SOPS 23197903 HAS SOUS 3560345 HAS SOUPS 1358808 WITH SCORE 1406396.729
AT ITER 3030 NEW BEST:: SOT 55500036 SOS 47588713 HAS SOPS 23197887 HAS SOUS 3560329 HAS SOUPS 1358792 WITH SCORE 1406380.713
AT ITER 3031 NEW BEST:: SOT 55499446 SOS 47587533 HAS SOPS 23198477 HAS SOUS 3559149 HAS SOUPS 1357907 WITH SCORE 1405494.533
AT ITER 3040 NEW BEST:: SOT 55498952 SOS 47587709 HAS SOPS 23198653 HAS SOUS 3558946 HAS SOUPS 1357704 WITH SCORE 1405291.709
AT ITER 3043 NEW BEST:: SOT 55497427 SOS 47594383 HAS SOPS 23198595 HAS SOUS 3559089 HAS SOUPS 1357473 WITH SCORE 1405067.383
AT ITER 3048 NEW BEST:: SOT 55497054 SOS 47593457 HAS SOPS 23197669 HAS SOUS 3558973 HAS SOUPS 1357357 WITH SCORE 1404950.457
AT ITER 3050 NEW BEST:: SOT 55496740 SOS 47592829 HAS SOPS 23199429 HAS SOUS 3558261 HAS SOUPS 1357043 WITH SCORE 1404635.829
AT ITER 3051 NEW BEST:: SOT 55496149 SOS 47596535 HAS SOPS 23200879 HAS SOUS 3557878 HAS SOUPS 1356660 WITH SCORE 1404256.535
AT ITER 3102 NEW BEST:: SOT 55495537 SOS 47601031 HAS SOPS 23202735 HAS SOUS 3557510 HAS SOUPS 1356292 WITH SCORE 1403893.031
AT ITER 3117 NEW BEST:: SOT 55495537 SOS 47601031 HAS SOPS 23202735 HAS SOUS 3557364 HAS SOUPS 1356146 WITH SCORE 1403747.031
AT ITER 3134 NEW BEST:: SOT 55495243 SOS 47600443 HAS SOPS 23203029 HAS SOUS 3556776 HAS SOUPS 1355705 WITH SCORE 1403305.443
AT ITER 3142 NEW BEST:: SOT 55495243 SOS 47600443 HAS SOPS 23203029 HAS SOUS 3556628 HAS SOUPS 1355557 WITH SCORE 1403157.443
AT ITER 3194 NEW BEST:: SOT 55494311 SOS 47598113 HAS SOPS 23202097 HAS SOUS 3555929 HAS SOUPS 1355091 WITH SCORE 1402689.113
AT ITER 3202 NEW BEST:: SOT 55493959 SOS 47596029 HAS SOPS 23203367 HAS SOUS 3555096 HAS SOUPS 1354817 WITH SCORE 1402413.029
AT ITER 3204 NEW BEST:: SOT 55492685 SOS 47602663 HAS SOPS 23205993 HAS SOUS 3554131 HAS SOUPS 1353852 WITH SCORE 1401454.663
AT ITER 3217 NEW BEST:: SOT 55492685 SOS 47602663 HAS SOPS 23205993 HAS SOUS 3553765 HAS SOUPS 1353486 WITH SCORE 1401088.663
AT ITER 3219 NEW BEST:: SOT 55492685 SOS 47602501 HAS SOPS 23206317 HAS SOUS 3553684 HAS SOUPS 1353486 WITH SCORE 1401088.501
AT ITER 3223 NEW BEST:: SOT 55492249 SOS 47601629 HAS SOPS 23204137 HAS SOUS 3553360 HAS SOUPS 1352944 WITH SCORE 1400545.629
AT ITER 3250 NEW BEST:: SOT 55491864 SOS 47599449 HAS SOPS 23203367 HAS SOUS 3552270 HAS SOUPS 1352089 WITH SCORE 1399688.449
AT ITER 3251 NEW BEST:: SOT 55491323 SOS 47598367 HAS SOPS 23204025 HAS SOUS 3551188 HAS SOUPS 1351297 WITH SCORE 1398895.367
AT ITER 3267 NEW BEST:: SOT 55491323 SOS 47598367 HAS SOPS 23204025 HAS SOUS 3550822 HAS SOUPS 1350931 WITH SCORE 1398529.367
AT ITER 3270 NEW BEST:: SOT 55489599 SOS 47594057 HAS SOPS 23202301 HAS SOUS 3549960 HAS SOUPS 1350500 WITH SCORE 1398094.057
AT ITER 3290 NEW BEST:: SOT 55489599 SOS 47593345 HAS SOPS 23201589 HAS SOUS 3549782 HAS SOUPS 1350322 WITH SCORE 1397915.345
AT ITER 3320 NEW BEST:: SOT 55489396 SOS 47591889 HAS SOPS 23204129 HAS SOUS 3549085 HAS SOUPS 1350291 WITH SCORE 1397882.889
AT ITER 3333 NEW BEST:: SOT 55487710 SOS 47596551 HAS SOPS 23203229 HAS SOUS 3548695 HAS SOUPS 1349592 WITH SCORE 1397188.551
AT ITER 3336 NEW BEST:: SOT 55487710 SOS 47596551 HAS SOPS 23203229 HAS SOUS 3548389 HAS SOUPS 1349286 WITH SCORE 1396882.551
AT ITER 3342 NEW BEST:: SOT 55487124 SOS 47593733 HAS SOPS 23205349 HAS SOUS 3546980 HAS SOUPS 1348700 WITH SCORE 1396293.733
AT ITER 3343 NEW BEST:: SOT 55482170 SOS 47616445 HAS SOPS 23207883 HAS SOUS 3544585 HAS SOUPS 1345184 WITH SCORE 1392800.445
AT ITER 3347 NEW BEST:: SOT 55482170 SOS 47616445 HAS SOPS 23207883 HAS SOUS 3544219 HAS SOUPS 1344818 WITH SCORE 1392434.445
AT ITER 3358 NEW BEST:: SOT 55482028 SOS 47616161 HAS SOPS 23207599 HAS SOUS 3544017 HAS SOUPS 1344616 WITH SCORE 1392232.161
AT ITER 3384 NEW BEST:: SOT 55482692 SOS 47617857 HAS SOPS 23208191 HAS SOUS 3544165 HAS SOUPS 1344580 WITH SCORE 1392197.857
AT ITER 3387 NEW BEST:: SOT 55482212 SOS 47616897 HAS SOPS 23208671 HAS SOUS 3543205 HAS SOUPS 1343860 WITH SCORE 1391476.897
AT ITER 3389 NEW BEST:: SOT 55477190 SOS 47631647 HAS SOPS 23213113 HAS SOUS 3539352 HAS SOUPS 1340007 WITH SCORE 1387638.647
AT ITER 3401 NEW BEST:: SOT 55477190 SOS 47631647 HAS SOPS 23213113 HAS SOUS 3539280 HAS SOUPS 1339935 WITH SCORE 1387566.647
AT ITER 3403 NEW BEST:: SOT 55477190 SOS 47631647 HAS SOPS 23213113 HAS SOUS 3538924 HAS SOUPS 1339579 WITH SCORE 1387210.647
AT ITER 3415 NEW BEST:: SOT 55475130 SOS 47626581 HAS SOPS 23208047 HAS SOUS 3538283 HAS SOUPS 1338938 WITH SCORE 1386564.581
AT ITER 3428 NEW BEST:: SOT 55472465 SOS 47657101 HAS SOPS 23218047 HAS SOUS 3536640 HAS SOUPS 1336155 WITH SCORE 1383812.101
AT ITER 3434 NEW BEST:: SOT 55469699 SOS 47663791 HAS SOPS 23219037 HAS SOUS 3535360 HAS SOUPS 1334875 WITH SCORE 1382538.791
AT ITER 3437 NEW BEST:: SOT 55466627 SOS 47682709 HAS SOPS 23228235 HAS SOUS 3533791 HAS SOUPS 1333306 WITH SCORE 1380988.709
AT ITER 3439 NEW BEST:: SOT 55466066 SOS 47678119 HAS SOPS 23227197 HAS SOUS 3532654 HAS SOUPS 1332761 WITH SCORE 1380439.119
AT ITER 3441 NEW BEST:: SOT 55465910 SOS 47677495 HAS SOPS 23226573 HAS SOUS 3532342 HAS SOUPS 1332449 WITH SCORE 1380126.495
AT ITER 3459 NEW BEST:: SOT 55465756 SOS 47677187 HAS SOPS 23226265 HAS SOUS 3532188 HAS SOUPS 1332295 WITH SCORE 1379972.187
AT ITER 3474 NEW BEST:: SOT 55465756 SOS 47677187 HAS SOPS 23226265 HAS SOUS 3531822 HAS SOUPS 1331929 WITH SCORE 1379606.187
AT ITER 3477 NEW BEST:: SOT 55465756 SOS 47677691 HAS SOPS 23223169 HAS SOUS 3531990 HAS SOUPS 1331497 WITH SCORE 1379174.691
AT ITER 3489 NEW BEST:: SOT 55464265 SOS 47680449 HAS SOPS 23220761 HAS SOUS 3531934 HAS SOUPS 1331154 WITH SCORE 1378834.449
AT ITER 3495 NEW BEST:: SOT 55464172 SOS 47680263 HAS SOPS 23221235 HAS SOUS 3531685 HAS SOUPS 1331015 WITH SCORE 1378695.263
AT ITER 3508 NEW BEST:: SOT 55464172 SOS 47680263 HAS SOPS 23221235 HAS SOUS 3531625 HAS SOUPS 1330955 WITH SCORE 1378635.263
AT ITER 3516 NEW BEST:: SOT 55464154 SOS 47680221 HAS SOPS 23221211 HAS SOUS 3531610 HAS SOUPS 1330943 WITH SCORE 1378623.221
AT ITER 3536 NEW BEST:: SOT 55463731 SOS 47679375 HAS SOPS 23222903 HAS SOUS 3530341 HAS SOUPS 1330097 WITH SCORE 1377776.375
AT ITER 3545 NEW BEST:: SOT 55461505 SOS 47681683 HAS SOPS 23220531 HAS SOUS 3529153 HAS SOUPS 1328649 WITH SCORE 1376330.683
AT ITER 3565 NEW BEST:: SOT 55461505 SOS 47681683 HAS SOPS 23220531 HAS SOUS 3528797 HAS SOUPS 1328293 WITH SCORE 1375974.683
AT ITER 3566 NEW BEST:: SOT 55461505 SOS 47681683 HAS SOPS 23220531 HAS SOUS 3528701 HAS SOUPS 1328197 WITH SCORE 1375878.683
AT ITER 3567 NEW BEST:: SOT 55461505 SOS 47680713 HAS SOPS 23222471 HAS SOUS 3528216 HAS SOUPS 1328197 WITH SCORE 1375877.713
AT ITER 3572 NEW BEST:: SOT 55461505 SOS 47680713 HAS SOPS 23222471 HAS SOUS 3527976 HAS SOUPS 1327957 WITH SCORE 1375637.713
AT ITER 3573 NEW BEST:: SOT 55459488 SOS 47692243 HAS SOPS 23224659 HAS SOUS 3527286 HAS SOUPS 1326748 WITH SCORE 1374440.243
AT ITER 3584 NEW BEST:: SOT 55459467 SOS 47690647 HAS SOPS 23225589 HAS SOUS 3526844 HAS SOUPS 1326727 WITH SCORE 1374417.647
AT ITER 3589 NEW BEST:: SOT 55458947 SOS 47692505 HAS SOPS 23224549 HAS SOUS 3526132 HAS SOUPS 1325532 WITH SCORE 1373224.505
AT ITER 3597 NEW BEST:: SOT 55458730 SOS 47692071 HAS SOPS 23227715 HAS SOUS 3525373 HAS SOUPS 1325373 WITH SCORE 1373065.071
AT ITER 3599 NEW BEST:: SOT 55448671 SOS 47677014 HAS SOPS 23220749 HAS SOUS 3524927 HAS SOUPS 1325149 WITH SCORE 1372826.014
AT ITER 3600 NEW BEST:: SOT 55448581 SOS 47676744 HAS SOPS 23220749 HAS SOUS 3524792 HAS SOUPS 1325059 WITH SCORE 1372735.744
AT ITER 3637 NEW BEST:: SOT 55447701 SOS 47683146 HAS SOPS 23223191 HAS SOUS 3524357 HAS SOUPS 1324404 WITH SCORE 1372087.146
AT ITER 3640 NEW BEST:: SOT 55447701 SOS 47683146 HAS SOPS 23223191 HAS SOUS 3524191 HAS SOUPS 1324238 WITH SCORE 1371921.146
AT ITER 3645 NEW BEST:: SOT 55447266 SOS 47682276 HAS SOPS 23222321 HAS SOUS 3523756 HAS SOUPS 1323803 WITH SCORE 1371485.276
AT ITER 3703 NEW BEST:: SOT 55447266 SOS 47682276 HAS SOPS 23222321 HAS SOUS 3523508 HAS SOUPS 1323555 WITH SCORE 1371237.276
AT ITER 3755 NEW BEST:: SOT 55445471 SOS 47691110 HAS SOPS 23221021 HAS SOUS 3523581 HAS SOUPS 1323065 WITH SCORE 1370756.11
AT ITER 3759 NEW BEST:: SOT 55443106 SOS 47697482 HAS SOPS 23220895 HAS SOUS 3522590 HAS SOUPS 1321713 WITH SCORE 1369410.482
AT ITER 3762 NEW BEST:: SOT 55443080 SOS 47697430 HAS SOPS 23220999 HAS SOUS 3522564 HAS SOUPS 1321713 WITH SCORE 1369410.43
AT ITER 3774 NEW BEST:: SOT 55440808 SOS 47705326 HAS SOPS 23219805 HAS SOUS 3521897 HAS SOUPS 1320541 WITH SCORE 1368246.326
AT ITER 3775 NEW BEST:: SOT 55440425 SOS 47707440 HAS SOPS 23220839 HAS SOUS 3521604 HAS SOUPS 1320248 WITH SCORE 1367955.44
AT ITER 3793 NEW BEST:: SOT 55439228 SOS 47713834 HAS SOPS 23221149 HAS SOUS 3521430 HAS SOUPS 1319736 WITH SCORE 1367449.834
AT ITER 3796 NEW BEST:: SOT 55426759 SOS 47694071 HAS SOPS 23212762 HAS SOUS 3519407 HAS SOUPS 1318661 WITH SCORE 1366355.071
AT ITER 3805 NEW BEST:: SOT 55426759 SOS 47694071 HAS SOPS 23212762 HAS SOUS 3519397 HAS SOUPS 1318651 WITH SCORE 1366345.071
AT ITER 3841 NEW BEST:: SOT 55424182 SOS 47711505 HAS SOPS 23219516 HAS SOUS 3517767 HAS SOUPS 1317021 WITH SCORE 1364732.505
AT ITER 3847 NEW BEST:: SOT 55424108 SOS 47711357 HAS SOPS 23219368 HAS SOUS 3517693 HAS SOUPS 1316947 WITH SCORE 1364658.357
AT ITER 3850 NEW BEST:: SOT 55423966 SOS 47711073 HAS SOPS 23219084 HAS SOUS 3517551 HAS SOUPS 1316805 WITH SCORE 1364516.073
AT ITER 3851 NEW BEST:: SOT 55421436 SOS 47719576 HAS SOPS 23217957 HAS SOUS 3516466 HAS SOUPS 1315185 WITH SCORE 1362904.576
AT ITER 3864 NEW BEST:: SOT 55417937 SOS 47726480 HAS SOPS 23221654 HAS SOUS 3514216 HAS SOUPS 1313430 WITH SCORE 1361156.48
AT ITER 3872 NEW BEST:: SOT 55417937 SOS 47726480 HAS SOPS 23221654 HAS SOUS 3514006 HAS SOUPS 1313220 WITH SCORE 1360946.48
AT ITER 3873 NEW BEST:: SOT 55417217 SOS 47725040 HAS SOPS 23222374 HAS SOUS 3512566 HAS SOUPS 1312140 WITH SCORE 1359865.04
AT ITER 3883 NEW BEST:: SOT 55417217 SOS 47725040 HAS SOPS 23222374 HAS SOUS 3512206 HAS SOUPS 1311780 WITH SCORE 1359505.04
AT ITER 3891 NEW BEST:: SOT 55416709 SOS 47725662 HAS SOPS 23222996 HAS SOUS 3512111 HAS SOUPS 1311685 WITH SCORE 1359410.662
AT ITER 3894 NEW BEST:: SOT 55416709 SOS 47725662 HAS SOPS 23222996 HAS SOUS 3512007 HAS SOUPS 1311581 WITH SCORE 1359306.662
AT ITER 3899 NEW BEST:: SOT 55417040 SOS 47715732 HAS SOPS 23217038 HAS SOUS 3512007 HAS SOUPS 1311581 WITH SCORE 1359296.732
AT ITER 3907 NEW BEST:: SOT 55418202 SOS 47493944 HAS SOPS 23224234 HAS SOUS 3510239 HAS SOUPS 1311031 WITH SCORE 1358524.944
AT ITER 3913 NEW BEST:: SOT 55418202 SOS 47493944 HAS SOPS 23224234 HAS SOUS 3510177 HAS SOUPS 1310969 WITH SCORE 1358462.944
AT ITER 3931 NEW BEST:: SOT 55418202 SOS 47493944 HAS SOPS 23224234 HAS SOUS 3509811 HAS SOUPS 1310603 WITH SCORE 1358096.944
AT ITER 3951 NEW BEST:: SOT 55418202 SOS 47493944 HAS SOPS 23224234 HAS SOUS 3509749 HAS SOUPS 1310541 WITH SCORE 1358034.944
AT ITER 3953 NEW BEST:: SOT 55417636 SOS 47492812 HAS SOPS 23225064 HAS SOUS 3508529 HAS SOUPS 1309648 WITH SCORE 1357140.812
AT ITER 3958 NEW BEST:: SOT 55417636 SOS 47492812 HAS SOPS 23225064 HAS SOUS 3508163 HAS SOUPS 1309282 WITH SCORE 1356774.812
AT ITER 3972 NEW BEST:: SOT 55416592 SOS 47484754 HAS SOPS 23222976 HAS SOUS 3505502 HAS SOUPS 1307616 WITH SCORE 1355100.754
AT ITER 3974 NEW BEST:: SOT 55416212 SOS 47483994 HAS SOPS 23222216 HAS SOUS 3505334 HAS SOUPS 1307448 WITH SCORE 1354931.994
AT ITER 3977 NEW BEST:: SOT 55416165 SOS 47483900 HAS SOPS 23222122 HAS SOUS 3505287 HAS SOUPS 1307401 WITH SCORE 1354884.9
AT ITER 3992 NEW BEST:: SOT 55415717 SOS 47481016 HAS SOPS 23225202 HAS SOUS 3503845 HAS SOUPS 1306953 WITH SCORE 1354434.016
AT ITER 4000 NEW BEST:: SOT 55415256 SOS 47477328 HAS SOPS 23224280 HAS SOUS 3502730 HAS SOUPS 1306299 WITH SCORE 1353776.328
AT ITER 4004 NEW BEST:: SOT 55412134 SOS 47480208 HAS SOPS 23221808 HAS SOUS 3501205 HAS SOUPS 1304774 WITH SCORE 1352254.208
AT ITER 4033 NEW BEST:: SOT 55411765 SOS 47482668 HAS SOPS 23222054 HAS SOUS 3501205 HAS SOUPS 1304651 WITH SCORE 1352133.668
AT ITER 4042 NEW BEST:: SOT 55406009 SOS 47473716 HAS SOPS 23218238 HAS SOUS 3500263 HAS SOUPS 1304137 WITH SCORE 1351610.716
AT ITER 4043 NEW BEST:: SOT 55406009 SOS 47473716 HAS SOPS 23218238 HAS SOUS 3499955 HAS SOUPS 1303829 WITH SCORE 1351302.716
AT ITER 4044 NEW BEST:: SOT 55404965 SOS 47472302 HAS SOPS 23216676 HAS SOUS 3499755 HAS SOUPS 1303629 WITH SCORE 1351101.302
AT ITER 4058 NEW BEST:: SOT 55404846 SOS 47472540 HAS SOPS 23216608 HAS SOUS 3499704 HAS SOUPS 1303561 WITH SCORE 1351033.54
AT ITER 4065 NEW BEST:: SOT 55404846 SOS 47472540 HAS SOPS 23216608 HAS SOUS 3499402 HAS SOUPS 1303259 WITH SCORE 1350731.54
AT ITER 4069 NEW BEST:: SOT 55404846 SOS 47472540 HAS SOPS 23216608 HAS SOUS 3499264 HAS SOUPS 1303121 WITH SCORE 1350593.54
AT ITER 4087 NEW BEST:: SOT 55402976 SOS 47470116 HAS SOPS 23214184 HAS SOUS 3498598 HAS SOUPS 1302455 WITH SCORE 1349925.116
AT ITER 4109 NEW BEST:: SOT 55407911 SOS 47496471 HAS SOPS 23223067 HAS SOUS 3496960 HAS SOUPS 1300137 WITH SCORE 1347633.471
AT ITER 4137 NEW BEST:: SOT 55407911 SOS 47495735 HAS SOPS 23224539 HAS SOUS 3496592 HAS SOUPS 1300137 WITH SCORE 1347632.735
AT ITER 4181 NEW BEST:: SOT 55407434 SOS 47498279 HAS SOPS 23224221 HAS SOUS 3496274 HAS SOUPS 1299660 WITH SCORE 1347158.279
AT ITER 4185 NEW BEST:: SOT 55407434 SOS 47498279 HAS SOPS 23224221 HAS SOUS 3496046 HAS SOUPS 1299432 WITH SCORE 1346930.279
AT ITER 4208 NEW BEST:: SOT 55406908 SOS 47494383 HAS SOPS 23223499 HAS SOUS 3494993 HAS SOUPS 1298908 WITH SCORE 1346402.383
AT ITER 4230 NEW BEST:: SOT 55406908 SOS 47494383 HAS SOPS 23223499 HAS SOUS 3494981 HAS SOUPS 1298896 WITH SCORE 1346390.383
AT ITER 4252 NEW BEST:: SOT 55395848 SOS 47481668 HAS SOPS 23211509 HAS SOUS 3495422 HAS SOUPS 1298135 WITH SCORE 1345616.668
AT ITER 4267 NEW BEST:: SOT 55392542 SOS 47501832 HAS SOPS 23220417 HAS SOUS 3494211 HAS SOUPS 1296924 WITH SCORE 1344425.832
AT ITER 4285 NEW BEST:: SOT 55392542 SOS 47501832 HAS SOPS 23220417 HAS SOUS 3493911 HAS SOUPS 1296624 WITH SCORE 1344125.832
AT ITER 4291 NEW BEST:: SOT 55392396 SOS 47501714 HAS SOPS 23220299 HAS SOUS 3493737 HAS SOUPS 1296450 WITH SCORE 1343951.714
AT ITER 4313 NEW BEST:: SOT 55385252 SOS 47491458 HAS SOPS 23213367 HAS SOUS 3493359 HAS SOUPS 1296072 WITH SCORE 1343563.458
AT ITER 4320 NEW BEST:: SOT 55366280 SOS 47463004 HAS SOPS 23200758 HAS SOUS 3491840 HAS SOUPS 1295504 WITH SCORE 1342967.004
AT ITER 4326 NEW BEST:: SOT 55364422 SOS 47464408 HAS SOPS 23197554 HAS SOUS 3490940 HAS SOUPS 1294348 WITH SCORE 1341812.408
AT ITER 4332 NEW BEST:: SOT 55363341 SOS 47458220 HAS SOPS 23191366 HAS SOUS 3489608 HAS SOUPS 1293016 WITH SCORE 1340474.22
AT ITER 4343 NEW BEST:: SOT 55363151 SOS 47459436 HAS SOPS 23192582 HAS SOUS 3489569 HAS SOUPS 1292977 WITH SCORE 1340436.436
AT ITER 4349 NEW BEST:: SOT 55349583 SOS 47438919 HAS SOPS 23183528 HAS SOUS 3488948 HAS SOUPS 1292962 WITH SCORE 1340400.919
AT ITER 4351 NEW BEST:: SOT 55349485 SOS 47438723 HAS SOPS 23183332 HAS SOUS 3488850 HAS SOUPS 1292864 WITH SCORE 1340302.723
AT ITER 4363 NEW BEST:: SOT 55334777 SOS 47415633 HAS SOPS 23173474 HAS SOUS 3486944 HAS SOUPS 1292014 WITH SCORE 1339429.633
AT ITER 4376 NEW BEST:: SOT 55334777 SOS 47415633 HAS SOPS 23173474 HAS SOUS 3486878 HAS SOUPS 1291948 WITH SCORE 1339363.633
AT ITER 4406 NEW BEST:: SOT 55333887 SOS 47418745 HAS SOPS 23173382 HAS SOUS 3486344 HAS SOUPS 1291236 WITH SCORE 1338654.745
AT ITER 4407 NEW BEST:: SOT 55332167 SOS 47414031 HAS SOPS 23172490 HAS SOUS 3485490 HAS SOUPS 1291019 WITH SCORE 1338433.031
AT ITER 4418 NEW BEST:: SOT 55332167 SOS 47414031 HAS SOPS 23172490 HAS SOUS 3485242 HAS SOUPS 1290771 WITH SCORE 1338185.031
AT ITER 4431 NEW BEST:: SOT 55330223 SOS 47409339 HAS SOPS 23167798 HAS SOUS 3484102 HAS SOUPS 1289631 WITH SCORE 1337040.339
AT ITER 4446 NEW BEST:: SOT 55330413 SOS 47410564 HAS SOPS 23167667 HAS SOUS 3484102 HAS SOUPS 1289405 WITH SCORE 1336815.564
AT ITER 4465 NEW BEST:: SOT 55332691 SOS 47392586 HAS SOPS 23160633 HAS SOUS 3483205 HAS SOUPS 1289116 WITH SCORE 1336508.586
AT ITER 4478 NEW BEST:: SOT 55332432 SOS 47398948 HAS SOPS 23164415 HAS SOUS 3483161 HAS SOUPS 1289072 WITH SCORE 1336470.948
AT ITER 4486 NEW BEST:: SOT 55332740 SOS 47398624 HAS SOPS 23164091 HAS SOUS 3483140 HAS SOUPS 1289051 WITH SCORE 1336449.624
AT ITER 4495 NEW BEST:: SOT 55332506 SOS 47398156 HAS SOPS 23161223 HAS SOUS 3483189 HAS SOUPS 1288700 WITH SCORE 1336098.156
AT ITER 4503 NEW BEST:: SOT 55332506 SOS 47398156 HAS SOPS 23161223 HAS SOUS 3483151 HAS SOUPS 1288662 WITH SCORE 1336060.156
AT ITER 4512 NEW BEST:: SOT 55330465 SOS 47392572 HAS SOPS 23160145 HAS SOUS 3481972 HAS SOUPS 1288234 WITH SCORE 1335626.572
AT ITER 4518 NEW BEST:: SOT 55330268 SOS 47391350 HAS SOPS 23161407 HAS SOUS 3481407 HAS SOUPS 1288083 WITH SCORE 1335474.35
AT ITER 4546 NEW BEST:: SOT 55330081 SOS 47390706 HAS SOPS 23161711 HAS SOUS 3480904 HAS SOUPS 1287738 WITH SCORE 1335128.706
AT ITER 4549 NEW BEST:: SOT 55329859 SOS 47389392 HAS SOPS 23160397 HAS SOUS 3480537 HAS SOUPS 1287371 WITH SCORE 1334760.392
AT ITER 4554 NEW BEST:: SOT 55329859 SOS 47389392 HAS SOPS 23160397 HAS SOUS 3480171 HAS SOUPS 1287005 WITH SCORE 1334394.392
AT ITER 4563 NEW BEST:: SOT 55329851 SOS 47387872 HAS SOPS 23158877 HAS SOUS 3480163 HAS SOUPS 1286997 WITH SCORE 1334384.872
AT ITER 4564 NEW BEST:: SOT 55329437 SOS 47394662 HAS SOPS 23162151 HAS SOUS 3480042 HAS SOUPS 1286876 WITH SCORE 1334270.662
AT ITER 4567 NEW BEST:: SOT 55328975 SOS 47393810 HAS SOPS 23161299 HAS SOUS 3479349 HAS SOUPS 1286183 WITH SCORE 1333576.81
AT ITER 4587 NEW BEST:: SOT 55328975 SOS 47393810 HAS SOPS 23161299 HAS SOUS 3479241 HAS SOUPS 1286075 WITH SCORE 1333468.81
AT ITER 4599 NEW BEST:: SOT 55328975 SOS 47393810 HAS SOPS 23161299 HAS SOUS 3478991 HAS SOUPS 1285825 WITH SCORE 1333218.81
AT ITER 4622 NEW BEST:: SOT 55328202 SOS 47398204 HAS SOPS 23160833 HAS SOUS 3478518 HAS SOUPS 1285082 WITH SCORE 1332480.204
AT ITER 4652 NEW BEST:: SOT 55328286 SOS 47398186 HAS SOPS 23162735 HAS SOUS 3478068 HAS SOUPS 1284952 WITH SCORE 1332350.186
AT ITER 4663 NEW BEST:: SOT 55326294 SOS 47393432 HAS SOPS 23160291 HAS SOUS 3476461 HAS SOUPS 1283730 WITH SCORE 1331123.432
AT ITER 4687 NEW BEST:: SOT 55326294 SOS 47393432 HAS SOPS 23160291 HAS SOUS 3476279 HAS SOUPS 1283548 WITH SCORE 1330941.432
AT ITER 4699 NEW BEST:: SOT 55326294 SOS 47393432 HAS SOPS 23160291 HAS SOUS 3476219 HAS SOUPS 1283488 WITH SCORE 1330881.432
AT ITER 4716 NEW BEST:: SOT 55315326 SOS 47377367 HAS SOPS 23151819 HAS SOUS 3475120 HAS SOUPS 1282433 WITH SCORE 1329810.367
AT ITER 4718 NEW BEST:: SOT 55315194 SOS 47377103 HAS SOPS 23151555 HAS SOUS 3474988 HAS SOUPS 1282301 WITH SCORE 1329678.1030000001
AT ITER 4719 NEW BEST:: SOT 55314732 SOS 47379347 HAS SOPS 23151207 HAS SOUS 3474670 HAS SOUPS 1281839 WITH SCORE 1329218.347
AT ITER 4747 NEW BEST:: SOT 55314443 SOS 47378769 HAS SOPS 23152057 HAS SOUS 3474092 HAS SOUPS 1281499 WITH SCORE 1328877.769
AT ITER 4752 NEW BEST:: SOT 55311565 SOS 47399107 HAS SOPS 23161919 HAS SOUS 3472087 HAS SOUPS 1279494 WITH SCORE 1326893.107
AT ITER 4754 NEW BEST:: SOT 55310657 SOS 47395561 HAS SOPS 23163563 HAS SOUS 3471102 HAS SOUPS 1279374 WITH SCORE 1326769.561
AT ITER 4760 NEW BEST:: SOT 55308543 SOS 47399408 HAS SOPS 23161596 HAS SOUS 3470427 HAS SOUPS 1278376 WITH SCORE 1325775.408
AT ITER 4763 NEW BEST:: SOT 55294731 SOS 47377656 HAS SOPS 23152288 HAS SOUS 3468378 HAS SOUPS 1277364 WITH SCORE 1324741.656
AT ITER 4765 NEW BEST:: SOT 55294731 SOS 47377656 HAS SOPS 23152288 HAS SOUS 3468372 HAS SOUPS 1277358 WITH SCORE 1324735.656
AT ITER 4775 NEW BEST:: SOT 55292452 SOS 47374251 HAS SOPS 23150469 HAS SOUS 3468139 HAS SOUPS 1277125 WITH SCORE 1324499.251
AT ITER 4784 NEW BEST:: SOT 55292452 SOS 47372859 HAS SOPS 23150655 HAS SOUS 3467876 HAS SOUPS 1277125 WITH SCORE 1324497.859
AT ITER 4785 NEW BEST:: SOT 55292452 SOS 47372859 HAS SOPS 23150655 HAS SOUS 3467868 HAS SOUPS 1277117 WITH SCORE 1324489.859
AT ITER 4789 NEW BEST:: SOT 55292452 SOS 47372241 HAS SOPS 23151891 HAS SOUS 3467559 HAS SOUPS 1277117 WITH SCORE 1324489.241
AT ITER 4795 NEW BEST:: SOT 55292265 SOS 47371867 HAS SOPS 23151517 HAS SOUS 3467185 HAS SOUPS 1276743 WITH SCORE 1324114.867
AT ITER 4796 NEW BEST:: SOT 55292242 SOS 47371821 HAS SOPS 23152179 HAS SOUS 3467033 HAS SOUPS 1276709 WITH SCORE 1324080.821
AT ITER 4805 NEW BEST:: SOT 55292090 SOS 47371517 HAS SOPS 23151875 HAS SOUS 3467016 HAS SOUPS 1276692 WITH SCORE 1324063.517
AT ITER 4821 NEW BEST:: SOT 55278094 SOS 47350375 HAS SOPS 23141991 HAS SOUS 3464760 HAS SOUPS 1275162 WITH SCORE 1322512.375
AT ITER 4822 NEW BEST:: SOT 55270309 SOS 47340970 HAS SOPS 23134416 HAS SOUS 3465075 HAS SOUPS 1274861 WITH SCORE 1322201.97
AT ITER 4824 NEW BEST:: SOT 55268268 SOS 47335658 HAS SOPS 23132794 HAS SOUS 3463708 HAS SOUPS 1274109 WITH SCORE 1321444.658
AT ITER 4833 NEW BEST:: SOT 55267876 SOS 47332384 HAS SOPS 23132010 HAS SOUS 3462901 HAS SOUPS 1273717 WITH SCORE 1321049.384
AT ITER 4836 NEW BEST:: SOT 55266348 SOS 47333148 HAS SOPS 23130482 HAS SOUS 3461946 HAS SOUPS 1272762 WITH SCORE 1320095.148
AT ITER 4869 NEW BEST:: SOT 55262763 SOS 47344476 HAS SOPS 23132774 HAS SOUS 3459817 HAS SOUPS 1270633 WITH SCORE 1317977.476
AT ITER 4894 NEW BEST:: SOT 55262763 SOS 47344122 HAS SOPS 23132774 HAS SOUS 3459758 HAS SOUPS 1270633 WITH SCORE 1317977.122
AT ITER 4897 NEW BEST:: SOT 55262763 SOS 47343564 HAS SOPS 23133890 HAS SOUS 3459479 HAS SOUPS 1270633 WITH SCORE 1317976.564
AT ITER 4908 NEW BEST:: SOT 55262726 SOS 47343490 HAS SOPS 23133816 HAS SOUS 3459442 HAS SOUPS 1270596 WITH SCORE 1317939.49
AT ITER 4909 NEW BEST:: SOT 55262303 SOS 47342644 HAS SOPS 23134404 HAS SOUS 3458569 HAS SOUPS 1269962 WITH SCORE 1317304.644
AT ITER 4928 NEW BEST:: SOT 55261935 SOS 47341908 HAS SOPS 23136074 HAS SOUS 3457800 HAS SOUPS 1269594 WITH SCORE 1316935.908
AT ITER 4930 NEW BEST:: SOT 55259307 SOS 47335290 HAS SOPS 23133542 HAS SOUS 3456521 HAS SOUPS 1268996 WITH SCORE 1316331.29
AT ITER 4933 NEW BEST:: SOT 55257082 SOS 47339641 HAS SOPS 23130013 HAS SOUS 3454693 HAS SOUPS 1266753 WITH SCORE 1314092.641
AT ITER 4944 NEW BEST:: SOT 55257082 SOS 47339641 HAS SOPS 23130013 HAS SOUS 3454327 HAS SOUPS 1266387 WITH SCORE 1313726.641
AT ITER 4947 NEW BEST:: SOT 55257064 SOS 47339605 HAS SOPS 23129977 HAS SOUS 3454309 HAS SOUPS 1266369 WITH SCORE 1313708.605
AT ITER 4954 NEW BEST:: SOT 55256596 SOS 47338513 HAS SOPS 23128885 HAS SOUS 3453997 HAS SOUPS 1266057 WITH SCORE 1313395.513
AT ITER 4956 NEW BEST:: SOT 55256456 SOS 47336613 HAS SOPS 23128605 HAS SOUS 3453587 HAS SOUPS 1265917 WITH SCORE 1313253.613
AT ITER 4984 NEW BEST:: SOT 55256194 SOS 47336089 HAS SOPS 23128081 HAS SOUS 3453513 HAS SOUPS 1265843 WITH SCORE 1313179.089
AT ITER 4988 NEW BEST:: SOT 55253209 SOS 47362393 HAS SOPS 23140885 HAS SOUS 3452669 HAS SOUPS 1264999 WITH SCORE 1312361.393
AT ITER 4991 NEW BEST:: SOT 55252425 SOS 47363961 HAS SOPS 23140437 HAS SOUS 3452333 HAS SOUPS 1264551 WITH SCORE 1311914.961
AT ITER 5006 NEW BEST:: SOT 55252390 SOS 47363891 HAS SOPS 23139161 HAS SOUS 3452499 HAS SOUPS 1264516 WITH SCORE 1311879.891
AT ITER 5057 NEW BEST:: SOT 55252390 SOS 47363891 HAS SOPS 23139161 HAS SOUS 3452425 HAS SOUPS 1264442 WITH SCORE 1311805.891
AT ITER 5068 NEW BEST:: SOT 55252138 SOS 47363387 HAS SOPS 23139545 HAS SOUS 3452069 HAS SOUPS 1264234 WITH SCORE 1311597.387
AT ITER 5071 NEW BEST:: SOT 55252138 SOS 47363387 HAS SOPS 23139545 HAS SOUS 3452017 HAS SOUPS 1264182 WITH SCORE 1311545.387
AT ITER 5075 NEW BEST:: SOT 55251962 SOS 47360317 HAS SOPS 23139193 HAS SOUS 3451003 HAS SOUPS 1263621 WITH SCORE 1310981.317
AT ITER 5079 NEW BEST:: SOT 55251962 SOS 47360317 HAS SOPS 23139193 HAS SOUS 3450981 HAS SOUPS 1263599 WITH SCORE 1310959.317
AT ITER 5082 NEW BEST:: SOT 55251104 SOS 47367753 HAS SOPS 23143197 HAS SOUS 3450409 HAS SOUPS 1263027 WITH SCORE 1310394.753
AT ITER 5098 NEW BEST:: SOT 55251104 SOS 47367753 HAS SOPS 23143197 HAS SOUS 3450161 HAS SOUPS 1262779 WITH SCORE 1310146.753
AT ITER 5127 NEW BEST:: SOT 55251068 SOS 47367681 HAS SOPS 23140947 HAS SOUS 3450450 HAS SOUPS 1262705 WITH SCORE 1310072.681
AT ITER 5131 NEW BEST:: SOT 55251068 SOS 47367681 HAS SOPS 23140947 HAS SOUS 3450446 HAS SOUPS 1262701 WITH SCORE 1310068.681
AT ITER 5136 NEW BEST:: SOT 55251068 SOS 47367681 HAS SOPS 23140947 HAS SOUS 3450414 HAS SOUPS 1262669 WITH SCORE 1310036.681
AT ITER 5137 NEW BEST:: SOT 55250954 SOS 47367601 HAS SOPS 23140423 HAS SOUS 3450374 HAS SOUPS 1262555 WITH SCORE 1309922.601
AT ITER 5152 NEW BEST:: SOT 55250868 SOS 47367429 HAS SOPS 23140251 HAS SOUS 3450288 HAS SOUPS 1262469 WITH SCORE 1309836.429
AT ITER 5158 NEW BEST:: SOT 55250410 SOS 47365139 HAS SOPS 23137961 HAS SOUS 3449600 HAS SOUPS 1261781 WITH SCORE 1309146.139
AT ITER 5163 NEW BEST:: SOT 55247366 SOS 47395531 HAS SOPS 23147617 HAS SOUS 3447954 HAS SOUPS 1258983 WITH SCORE 1306378.531
AT ITER 5209 NEW BEST:: SOT 55247306 SOS 47395795 HAS SOPS 23147665 HAS SOUS 3447918 HAS SOUPS 1258935 WITH SCORE 1306330.795
AT ITER 5217 NEW BEST:: SOT 55246717 SOS 47397273 HAS SOPS 23148147 HAS SOUS 3447592 HAS SOUPS 1258609 WITH SCORE 1306006.273
AT ITER 5252 NEW BEST:: SOT 55246641 SOS 47397197 HAS SOPS 23148071 HAS SOUS 3447592 HAS SOUPS 1258609 WITH SCORE 1306006.197
AT ITER 5268 NEW BEST:: SOT 55245965 SOS 47395845 HAS SOPS 23146719 HAS SOUS 3447254 HAS SOUPS 1258271 WITH SCORE 1305666.845
AT ITER 5283 NEW BEST:: SOT 55245965 SOS 47395845 HAS SOPS 23146719 HAS SOUS 3447240 HAS SOUPS 1258257 WITH SCORE 1305652.845
AT ITER 5287 NEW BEST:: SOT 55246231 SOS 47403641 HAS SOPS 23149583 HAS SOUS 3447325 HAS SOUPS 1258068 WITH SCORE 1305471.641
AT ITER 5297 NEW BEST:: SOT 55245179 SOS 47401537 HAS SOPS 23147479 HAS SOUS 3446273 HAS SOUPS 1257016 WITH SCORE 1304417.537
AT ITER 5333 NEW BEST:: SOT 55238981 SOS 47394939 HAS SOPS 23143809 HAS SOUS 3446044 HAS SOUPS 1256787 WITH SCORE 1304181.939
AT ITER 5335 NEW BEST:: SOT 55236945 SOS 47389861 HAS SOPS 23138731 HAS SOUS 3445535 HAS SOUPS 1256278 WITH SCORE 1303667.861
AT ITER 5336 NEW BEST:: SOT 55236860 SOS 47389691 HAS SOPS 23139611 HAS SOUS 3445275 HAS SOUPS 1256193 WITH SCORE 1303582.691
AT ITER 5351 NEW BEST:: SOT 55236261 SOS 47388201 HAS SOPS 23138997 HAS SOUS 3444958 HAS SOUPS 1256022 WITH SCORE 1303410.201
AT ITER 5359 NEW BEST:: SOT 55236081 SOS 47387841 HAS SOPS 23138637 HAS SOUS 3444778 HAS SOUPS 1255842 WITH SCORE 1303229.841
AT ITER 5365 NEW BEST:: SOT 55235999 SOS 47387677 HAS SOPS 23138473 HAS SOUS 3444743 HAS SOUPS 1255807 WITH SCORE 1303194.677
AT ITER 5366 NEW BEST:: SOT 55233519 SOS 47403297 HAS SOPS 23143023 HAS SOUS 3443743 HAS SOUPS 1254192 WITH SCORE 1301595.297
AT ITER 5380 NEW BEST:: SOT 55234071 SOS 47404140 HAS SOPS 23143335 HAS SOUS 3443674 HAS SOUPS 1254123 WITH SCORE 1301527.14
AT ITER 5410 NEW BEST:: SOT 55233946 SOS 47403890 HAS SOPS 23143085 HAS SOUS 3443549 HAS SOUPS 1253998 WITH SCORE 1301401.89
AT ITER 5418 NEW BEST:: SOT 55233968 SOS 47403912 HAS SOPS 23143107 HAS SOUS 3443538 HAS SOUPS 1253987 WITH SCORE 1301390.912
AT ITER 5444 NEW BEST:: SOT 55234094 SOS 47400132 HAS SOPS 23140839 HAS SOUS 3443538 HAS SOUPS 1253987 WITH SCORE 1301387.132
AT ITER 5459 NEW BEST:: SOT 55232612 SOS 47398740 HAS SOPS 23139447 HAS SOUS 3443025 HAS SOUPS 1253474 WITH SCORE 1300872.74
AT ITER 5469 NEW BEST:: SOT 55214178 SOS 47370414 HAS SOPS 23127801 HAS SOUS 3441494 HAS SOUPS 1253203 WITH SCORE 1300573.414
AT ITER 5496 NEW BEST:: SOT 55214178 SOS 47370414 HAS SOPS 23127801 HAS SOUS 3441464 HAS SOUPS 1253173 WITH SCORE 1300543.414
AT ITER 5538 NEW BEST:: SOT 55212023 SOS 47374606 HAS SOPS 23126107 HAS SOUS 3440012 HAS SOUPS 1251394 WITH SCORE 1298768.606
AT ITER 5542 NEW BEST:: SOT 55211827 SOS 47374214 HAS SOPS 23125715 HAS SOUS 3439626 HAS SOUPS 1251008 WITH SCORE 1298382.214
AT ITER 5565 NEW BEST:: SOT 55212021 SOS 47165910 HAS SOPS 23128347 HAS SOUS 3438500 HAS SOUPS 1251004 WITH SCORE 1298169.91
AT ITER 5579 NEW BEST:: SOT 55212021 SOS 47165442 HAS SOPS 23127879 HAS SOUS 3438422 HAS SOUPS 1250926 WITH SCORE 1298091.442
AT ITER 5581 NEW BEST:: SOT 55211349 SOS 47167486 HAS SOPS 23127151 HAS SOUS 3438520 HAS SOUPS 1250870 WITH SCORE 1298037.486
AT ITER 5606 NEW BEST:: SOT 55210497 SOS 47165782 HAS SOPS 23128003 HAS SOUS 3437242 HAS SOUPS 1250018 WITH SCORE 1297183.782
AT ITER 5653 NEW BEST:: SOT 55210497 SOS 47165182 HAS SOPS 23127403 HAS SOUS 3437242 HAS SOUPS 1250018 WITH SCORE 1297183.182
AT ITER 5716 NEW BEST:: SOT 55210497 SOS 47165182 HAS SOPS 23127403 HAS SOUS 3437110 HAS SOUPS 1249886 WITH SCORE 1297051.182
AT ITER 5763 NEW BEST:: SOT 55209675 SOS 47162446 HAS SOPS 23127337 HAS SOUS 3435466 HAS SOUPS 1248687 WITH SCORE 1295849.446
AT ITER 5779 NEW BEST:: SOT 55208908 SOS 47160099 HAS SOPS 23128776 HAS SOUS 3434502 HAS SOUPS 1248286 WITH SCORE 1295446.099
AT ITER 5822 NEW BEST:: SOT 55208607 SOS 47158249 HAS SOPS 23128732 HAS SOUS 3433972 HAS SOUPS 1248057 WITH SCORE 1295215.249
AT ITER 5823 NEW BEST:: SOT 55208577 SOS 47154253 HAS SOPS 23129470 HAS SOUS 3432497 HAS SOUPS 1247371 WITH SCORE 1294525.253
AT ITER 5834 NEW BEST:: SOT 55208421 SOS 47153173 HAS SOPS 23128390 HAS SOUS 3432333 HAS SOUPS 1247207 WITH SCORE 1294360.173
AT ITER 5841 NEW BEST:: SOT 55207633 SOS 47169451 HAS SOPS 23137768 HAS SOUS 3432120 HAS SOUPS 1246994 WITH SCORE 1294163.451
AT ITER 5849 NEW BEST:: SOT 55206300 SOS 47166307 HAS SOPS 23136058 HAS SOUS 3431124 HAS SOUPS 1246237 WITH SCORE 1293403.307
AT ITER 5861 NEW BEST:: SOT 55206207 SOS 47166121 HAS SOPS 23135872 HAS SOUS 3431058 HAS SOUPS 1246171 WITH SCORE 1293337.121
AT ITER 5864 NEW BEST:: SOT 55205984 SOS 47167154 HAS SOPS 23132657 HAS SOUS 3430643 HAS SOUPS 1245048 WITH SCORE 1292215.154
AT ITER 5875 NEW BEST:: SOT 55205621 SOS 47167542 HAS SOPS 23129703 HAS SOUS 3430783 HAS SOUPS 1244631 WITH SCORE 1291798.542
AT ITER 5890 NEW BEST:: SOT 55205474 SOS 47167668 HAS SOPS 23129577 HAS SOUS 3430720 HAS SOUPS 1244568 WITH SCORE 1291735.668
AT ITER 5923 NEW BEST:: SOT 55205268 SOS 47167256 HAS SOPS 23129165 HAS SOUS 3430514 HAS SOUPS 1244362 WITH SCORE 1291529.256
AT ITER 5932 NEW BEST:: SOT 55205268 SOS 47167256 HAS SOPS 23129165 HAS SOUS 3430436 HAS SOUPS 1244284 WITH SCORE 1291451.256
AT ITER 5943 NEW BEST:: SOT 55201705 SOS 47171762 HAS SOPS 23127563 HAS SOUS 3428909 HAS SOUPS 1242757 WITH SCORE 1289928.762
AT ITER 5965 NEW BEST:: SOT 55200620 SOS 47174552 HAS SOPS 23128493 HAS SOUS 3428444 HAS SOUPS 1242292 WITH SCORE 1289466.552
AT ITER 5980 NEW BEST:: SOT 55199605 SOS 47176526 HAS SOPS 23127641 HAS SOUS 3428214 HAS SOUPS 1241905 WITH SCORE 1289081.526
AT ITER 5983 NEW BEST:: SOT 55199163 SOS 47176458 HAS SOPS 23127437 HAS SOUS 3428044 HAS SOUPS 1241803 WITH SCORE 1288979.458
AT ITER 5985 NEW BEST:: SOT 55199163 SOS 47176458 HAS SOPS 23127437 HAS SOUS 3428030 HAS SOUPS 1241789 WITH SCORE 1288965.458
AT ITER 5987 NEW BEST:: SOT 55198357 SOS 47172696 HAS SOPS 23127763 HAS SOUS 3427258 HAS SOUPS 1241655 WITH SCORE 1288827.696
AT ITER 6023 NEW BEST:: SOT 55196254 SOS 47194660 HAS SOPS 23133347 HAS SOUS 3426998 HAS SOUPS 1240485 WITH SCORE 1287679.66
AT ITER 6026 NEW BEST:: SOT 55193789 SOS 47209224 HAS SOPS 23134195 HAS SOUS 3426764 HAS SOUPS 1239489 WITH SCORE 1286698.224
AT ITER 6035 NEW BEST:: SOT 55193789 SOS 47209224 HAS SOPS 23134195 HAS SOUS 3426750 HAS SOUPS 1239475 WITH SCORE 1286684.224
AT ITER 6036 NEW BEST:: SOT 55193709 SOS 47209064 HAS SOPS 23134515 HAS SOUS 3426590 HAS SOUPS 1239395 WITH SCORE 1286604.064
AT ITER 6077 NEW BEST:: SOT 55185543 SOS 47196506 HAS SOPS 23128990 HAS SOUS 3426043 HAS SOUPS 1239237 WITH SCORE 1286433.506
AT ITER 6090 NEW BEST:: SOT 55185543 SOS 47196506 HAS SOPS 23128990 HAS SOUS 3425677 HAS SOUPS 1238871 WITH SCORE 1286067.506
AT ITER 6094 NEW BEST:: SOT 55185087 SOS 47195594 HAS SOPS 23128078 HAS SOUS 3424765 HAS SOUPS 1237959 WITH SCORE 1285154.594
AT ITER 6106 NEW BEST:: SOT 55185338 SOS 47191692 HAS SOPS 23128580 HAS SOUS 3423958 HAS SOUPS 1237886 WITH SCORE 1285077.692
AT ITER 6126 NEW BEST:: SOT 55184465 SOS 47176020 HAS SOPS 23124302 HAS SOUS 3422965 HAS SOUPS 1237526 WITH SCORE 1284702.02
AT ITER 6135 NEW BEST:: SOT 55184525 SOS 47174220 HAS SOPS 23123222 HAS SOUS 3422965 HAS SOUPS 1237526 WITH SCORE 1284700.22
AT ITER 6139 NEW BEST:: SOT 55182174 SOS 47168216 HAS SOPS 23121124 HAS SOUS 3421979 HAS SOUPS 1237191 WITH SCORE 1284359.216
AT ITER 6147 NEW BEST:: SOT 55183915 SOS 47168822 HAS SOPS 23121730 HAS SOUS 3421676 HAS SOUPS 1236888 WITH SCORE 1284056.822
AT ITER 6148 NEW BEST:: SOT 55183915 SOS 47168822 HAS SOPS 23121730 HAS SOUS 3421574 HAS SOUPS 1236786 WITH SCORE 1283954.822
AT ITER 6150 NEW BEST:: SOT 55183915 SOS 47168822 HAS SOPS 23121730 HAS SOUS 3421244 HAS SOUPS 1236456 WITH SCORE 1283624.822
AT ITER 6152 NEW BEST:: SOT 55183511 SOS 47168014 HAS SOPS 23125794 HAS SOUS 3420028 HAS SOUPS 1236052 WITH SCORE 1283220.014
AT ITER 6155 NEW BEST:: SOT 55183511 SOS 47168014 HAS SOPS 23125794 HAS SOUS 3420022 HAS SOUPS 1236046 WITH SCORE 1283214.014
AT ITER 6164 NEW BEST:: SOT 55183193 SOS 47167378 HAS SOPS 23125158 HAS SOUS 3419704 HAS SOUPS 1235728 WITH SCORE 1282895.378
AT ITER 6171 NEW BEST:: SOT 55183241 SOS 47167450 HAS SOPS 23125182 HAS SOUS 3419700 HAS SOUPS 1235720 WITH SCORE 1282887.45
AT ITER 6187 NEW BEST:: SOT 55182030 SOS 47174248 HAS SOPS 23126706 HAS SOUS 3419801 HAS SOUPS 1235528 WITH SCORE 1282702.248
AT ITER 6200 NEW BEST:: SOT 55181583 SOS 47177228 HAS SOPS 23127004 HAS SOUS 3419801 HAS SOUPS 1235379 WITH SCORE 1282556.2280000001
AT ITER 6224 NEW BEST:: SOT 55177527 SOS 47179356 HAS SOPS 23123672 HAS SOUS 3416884 HAS SOUPS 1232462 WITH SCORE 1279641.356
AT ITER 6237 NEW BEST:: SOT 55177527 SOS 47179356 HAS SOPS 23123672 HAS SOUS 3416692 HAS SOUPS 1232270 WITH SCORE 1279449.356
AT ITER 6245 NEW BEST:: SOT 55169445 SOS 47168309 HAS SOPS 23116094 HAS SOUS 3416555 HAS SOUPS 1231993 WITH SCORE 1279161.309
AT ITER 6291 NEW BEST:: SOT 55169445 SOS 47168309 HAS SOPS 23116094 HAS SOUS 3416515 HAS SOUPS 1231953 WITH SCORE 1279121.309
AT ITER 6315 NEW BEST:: SOT 55169081 SOS 47167581 HAS SOPS 23115366 HAS SOUS 3416332 HAS SOUPS 1231770 WITH SCORE 1278937.581
AT ITER 6339 NEW BEST:: SOT 55168525 SOS 47166469 HAS SOPS 23114254 HAS SOUS 3415374 HAS SOUPS 1230812 WITH SCORE 1277978.469
AT ITER 6340 NEW BEST:: SOT 55168071 SOS 47163467 HAS SOPS 23113844 HAS SOUS 3414128 HAS SOUPS 1229998 WITH SCORE 1277161.467
AT ITER 6347 NEW BEST:: SOT 55167653 SOS 47162631 HAS SOPS 23113008 HAS SOUS 3413804 HAS SOUPS 1229674 WITH SCORE 1276836.631
AT ITER 6368 NEW BEST:: SOT 55167668 SOS 47162420 HAS SOPS 23115794 HAS SOUS 3413300 HAS SOUPS 1229666 WITH SCORE 1276828.42
AT ITER 6402 NEW BEST:: SOT 55165967 SOS 47170824 HAS SOPS 23121790 HAS SOUS 3412766 HAS SOUPS 1229529 WITH SCORE 1276699.824
AT ITER 6418 NEW BEST:: SOT 55165520 SOS 47174760 HAS SOPS 23122270 HAS SOUS 3412692 HAS SOUPS 1229263 WITH SCORE 1276437.76
AT ITER 6429 NEW BEST:: SOT 55165354 SOS 47174428 HAS SOPS 23121440 HAS SOUS 3412609 HAS SOUPS 1229097 WITH SCORE 1276271.428
AT ITER 6430 NEW BEST:: SOT 55164993 SOS 47173706 HAS SOPS 23120718 HAS SOUS 3411906 HAS SOUPS 1228394 WITH SCORE 1275567.706
AT ITER 6441 NEW BEST:: SOT 55164993 SOS 47173706 HAS SOPS 23120718 HAS SOUS 3411600 HAS SOUPS 1228088 WITH SCORE 1275261.706
AT ITER 6458 NEW BEST:: SOT 55164773 SOS 47173266 HAS SOPS 23120938 HAS SOUS 3411160 HAS SOUPS 1227758 WITH SCORE 1274931.266
AT ITER 6466 NEW BEST:: SOT 55164773 SOS 47173266 HAS SOPS 23120938 HAS SOUS 3411114 HAS SOUPS 1227712 WITH SCORE 1274885.266
AT ITER 6484 NEW BEST:: SOT 55164773 SOS 47173220 HAS SOPS 23120892 HAS SOUS 3411114 HAS SOUPS 1227712 WITH SCORE 1274885.22
AT ITER 6506 NEW BEST:: SOT 55164773 SOS 47173220 HAS SOPS 23120892 HAS SOUS 3411020 HAS SOUPS 1227618 WITH SCORE 1274791.22
AT ITER 6523 NEW BEST:: SOT 55163479 SOS 47176428 HAS SOPS 23121436 HAS SOUS 3410419 HAS SOUPS 1227017 WITH SCORE 1274193.428
AT ITER 6538 NEW BEST:: SOT 55161829 SOS 47174118 HAS SOPS 23119126 HAS SOUS 3410254 HAS SOUPS 1226687 WITH SCORE 1273861.118
AT ITER 6556 NEW BEST:: SOT 55161445 SOS 47176864 HAS SOPS 23119568 HAS SOUS 3410126 HAS SOUPS 1226431 WITH SCORE 1273607.864
AT ITER 6561 NEW BEST:: SOT 55161135 SOS 47176244 HAS SOPS 23118948 HAS SOUS 3409816 HAS SOUPS 1226121 WITH SCORE 1273297.244
AT ITER 6569 NEW BEST:: SOT 55161411 SOS 47176520 HAS SOPS 23119086 HAS SOUS 3409793 HAS SOUPS 1226098 WITH SCORE 1273274.52
AT ITER 6570 NEW BEST:: SOT 55161021 SOS 47174650 HAS SOPS 23120486 HAS SOUS 3409010 HAS SOUPS 1225860 WITH SCORE 1273034.65
AT ITER 6571 NEW BEST:: SOT 55161046 SOS 47173984 HAS SOPS 23120120 HAS SOUS 3409010 HAS SOUPS 1225860 WITH SCORE 1273033.984
AT ITER 6580 NEW BEST:: SOT 55161007 SOS 47173906 HAS SOPS 23120042 HAS SOUS 3408932 HAS SOUPS 1225782 WITH SCORE 1272955.906
AT ITER 6596 NEW BEST:: SOT 55158627 SOS 47179482 HAS SOPS 23121419 HAS SOUS 3408454 HAS SOUPS 1225304 WITH SCORE 1272483.482
AT ITER 6598 NEW BEST:: SOT 55158258 SOS 47178744 HAS SOPS 23125031 HAS SOUS 3407392 HAS SOUPS 1224967 WITH SCORE 1272145.744
AT ITER 6603 NEW BEST:: SOT 55156460 SOS 47174408 HAS SOPS 23120695 HAS SOUS 3406671 HAS SOUPS 1224246 WITH SCORE 1271420.408
AT ITER 6611 NEW BEST:: SOT 55156287 SOS 47174062 HAS SOPS 23120349 HAS SOUS 3406497 HAS SOUPS 1224072 WITH SCORE 1271246.062
AT ITER 6617 NEW BEST:: SOT 55156287 SOS 47174062 HAS SOPS 23120349 HAS SOUS 3406293 HAS SOUPS 1223868 WITH SCORE 1271042.062
AT ITER 6636 NEW BEST:: SOT 55153414 SOS 47166632 HAS SOPS 23117971 HAS SOUS 3403935 HAS SOUPS 1222352 WITH SCORE 1269518.632
AT ITER 6647 NEW BEST:: SOT 55153414 SOS 47166632 HAS SOPS 23117971 HAS SOUS 3403875 HAS SOUPS 1222292 WITH SCORE 1269458.632
AT ITER 6650 NEW BEST:: SOT 55153019 SOS 47165842 HAS SOPS 23117181 HAS SOUS 3403311 HAS SOUPS 1221728 WITH SCORE 1268893.842
AT ITER 6653 NEW BEST:: SOT 55152816 SOS 47165436 HAS SOPS 23116775 HAS SOUS 3403108 HAS SOUPS 1221525 WITH SCORE 1268690.436
AT ITER 6663 NEW BEST:: SOT 55152463 SOS 47164730 HAS SOPS 23119423 HAS SOUS 3402231 HAS SOUPS 1221207 WITH SCORE 1268371.73
AT ITER 6670 NEW BEST:: SOT 55152137 SOS 47165056 HAS SOPS 23119749 HAS SOUS 3401904 HAS SOUPS 1220880 WITH SCORE 1268045.056
AT ITER 6694 NEW BEST:: SOT 55152137 SOS 47165056 HAS SOPS 23119749 HAS SOUS 3401810 HAS SOUPS 1220786 WITH SCORE 1267951.056
AT ITER 6717 NEW BEST:: SOT 55135887 SOS 47140002 HAS SOPS 23108693 HAS SOUS 3399589 HAS SOUPS 1219538 WITH SCORE 1266678.002
AT ITER 6744 NEW BEST:: SOT 55133079 SOS 47157772 HAS SOPS 23115999 HAS SOUS 3398648 HAS SOUPS 1218597 WITH SCORE 1265754.772
AT ITER 6747 NEW BEST:: SOT 55132927 SOS 47165346 HAS SOPS 23123573 HAS SOUS 3397205 HAS SOUPS 1217154 WITH SCORE 1264319.346
AT ITER 6765 NEW BEST:: SOT 55132927 SOS 47165346 HAS SOPS 23123573 HAS SOUS 3396839 HAS SOUPS 1216788 WITH SCORE 1263953.346
AT ITER 6767 NEW BEST:: SOT 55132657 SOS 47164671 HAS SOPS 23123033 HAS SOUS 3396704 HAS SOUPS 1216653 WITH SCORE 1263817.671
AT ITER 6792 NEW BEST:: SOT 55124723 SOS 47152497 HAS SOPS 23117593 HAS SOUS 3396108 HAS SOUPS 1216435 WITH SCORE 1263587.497
AT ITER 6812 NEW BEST:: SOT 55126365 SOS 47166651 HAS SOPS 23118235 HAS SOUS 3393333 HAS SOUPS 1213292 WITH SCORE 1260458.651
AT ITER 6821 NEW BEST:: SOT 55126365 SOS 47166651 HAS SOPS 23118235 HAS SOUS 3393219 HAS SOUPS 1213178 WITH SCORE 1260344.651
AT ITER 6844 NEW BEST:: SOT 55120874 SOS 47159592 HAS SOPS 23114182 HAS SOUS 3392881 HAS SOUPS 1212840 WITH SCORE 1259999.592
AT ITER 6858 NEW BEST:: SOT 55120874 SOS 47159592 HAS SOPS 23114182 HAS SOUS 3392655 HAS SOUPS 1212614 WITH SCORE 1259773.592
AT ITER 6859 NEW BEST:: SOT 55120756 SOS 47159356 HAS SOPS 23113946 HAS SOUS 3392537 HAS SOUPS 1212496 WITH SCORE 1259655.356
AT ITER 6868 NEW BEST:: SOT 55110599 SOS 47145271 HAS SOPS 23104631 HAS SOUS 3392139 HAS SOUPS 1212098 WITH SCORE 1259243.271
AT ITER 6871 NEW BEST:: SOT 55110599 SOS 47145271 HAS SOPS 23104631 HAS SOUS 3391773 HAS SOUPS 1211732 WITH SCORE 1258877.271
AT ITER 6890 NEW BEST:: SOT 55110579 SOS 47145231 HAS SOPS 23104591 HAS SOUS 3391752 HAS SOUPS 1211711 WITH SCORE 1258856.231
AT ITER 6898 NEW BEST:: SOT 55110493 SOS 47145059 HAS SOPS 23104161 HAS SOUS 3391709 HAS SOUPS 1211625 WITH SCORE 1258770.059
AT ITER 6907 NEW BEST:: SOT 55110219 SOS 47144511 HAS SOPS 23103613 HAS SOUS 3391494 HAS SOUPS 1211410 WITH SCORE 1258554.511
AT ITER 6926 NEW BEST:: SOT 55094541 SOS 47120284 HAS SOPS 23093684 HAS SOUS 3390203 HAS SOUPS 1211243 WITH SCORE 1258363.284
AT ITER 6932 NEW BEST:: SOT 55094133 SOS 47117746 HAS SOPS 23095922 HAS SOUS 3388975 HAS SOUPS 1210811 WITH SCORE 1257928.746
AT ITER 6934 NEW BEST:: SOT 55085474 SOS 47105263 HAS SOPS 23087729 HAS SOUS 3388750 HAS SOUPS 1210586 WITH SCORE 1257691.263
AT ITER 6942 NEW BEST:: SOT 55085474 SOS 47105263 HAS SOPS 23087729 HAS SOUS 3388396 HAS SOUPS 1210232 WITH SCORE 1257337.263
AT ITER 6946 NEW BEST:: SOT 55085474 SOS 47105143 HAS SOPS 23087609 HAS SOUS 3388396 HAS SOUPS 1210232 WITH SCORE 1257337.143
AT ITER 6968 NEW BEST:: SOT 55085474 SOS 47105143 HAS SOPS 23087609 HAS SOUS 3388030 HAS SOUPS 1209866 WITH SCORE 1256971.143
AT ITER 6980 NEW BEST:: SOT 55085400 SOS 47104995 HAS SOPS 23088259 HAS SOUS 3387749 HAS SOUPS 1209718 WITH SCORE 1256822.995
AT ITER 6994 NEW BEST:: SOT 55083275 SOS 47118668 HAS SOPS 23090952 HAS SOUS 3387076 HAS SOUPS 1208435 WITH SCORE 1255553.668
AT ITER 6999 NEW BEST:: SOT 55083275 SOS 47118368 HAS SOPS 23090652 HAS SOUS 3387076 HAS SOUPS 1208435 WITH SCORE 1255553.368
AT ITER 7010 NEW BEST:: SOT 55083275 SOS 47118368 HAS SOPS 23090652 HAS SOUS 3387060 HAS SOUPS 1208419 WITH SCORE 1255537.368
AT ITER 7072 NEW BEST:: SOT 55073550 SOS 47104225 HAS SOPS 23083351 HAS SOUS 3386539 HAS SOUPS 1208132 WITH SCORE 1255236.225
AT ITER 7073 NEW BEST:: SOT 55073545 SOS 47104215 HAS SOPS 23083341 HAS SOUS 3386534 HAS SOUPS 1208127 WITH SCORE 1255231.215
AT ITER 7078 NEW BEST:: SOT 55073569 SOS 47104569 HAS SOPS 23082777 HAS SOUS 3386429 HAS SOUPS 1207869 WITH SCORE 1254973.569
AT ITER 7079 NEW BEST:: SOT 55072921 SOS 47103273 HAS SOPS 23081481 HAS SOUS 3385781 HAS SOUPS 1207221 WITH SCORE 1254324.273
AT ITER 7085 NEW BEST:: SOT 55071961 SOS 47099939 HAS SOPS 23082389 HAS SOUS 3384552 HAS SOUPS 1206699 WITH SCORE 1253798.939
AT ITER 7086 NEW BEST:: SOT 55071897 SOS 47099811 HAS SOPS 23082261 HAS SOUS 3384488 HAS SOUPS 1206635 WITH SCORE 1253734.811
AT ITER 7088 NEW BEST:: SOT 55071897 SOS 47099811 HAS SOPS 23082261 HAS SOUS 3384426 HAS SOUPS 1206573 WITH SCORE 1253672.811
AT ITER 7135 NEW BEST:: SOT 55071353 SOS 47098451 HAS SOPS 23081717 HAS SOUS 3384105 HAS SOUPS 1206388 WITH SCORE 1253486.451
AT ITER 7137 NEW BEST:: SOT 55070847 SOS 47091397 HAS SOPS 23080795 HAS SOUS 3382847 HAS SOUPS 1206152 WITH SCORE 1253243.397
AT ITER 7158 NEW BEST:: SOT 55070784 SOS 47092073 HAS SOPS 23079065 HAS SOUS 3383152 HAS SOUPS 1206056 WITH SCORE 1253148.073
AT ITER 7185 NEW BEST:: SOT 55070869 SOS 47089714 HAS SOPS 23081040 HAS SOUS 3382315 HAS SOUPS 1205904 WITH SCORE 1252993.714
AT ITER 7187 NEW BEST:: SOT 55070949 SOS 47089794 HAS SOPS 23081060 HAS SOUS 3382295 HAS SOUPS 1205884 WITH SCORE 1252973.794
AT ITER 7192 NEW BEST:: SOT 55070949 SOS 47089794 HAS SOPS 23081060 HAS SOUS 3382285 HAS SOUPS 1205874 WITH SCORE 1252963.794
AT ITER 7205 NEW BEST:: SOT 55070949 SOS 47089794 HAS SOPS 23081060 HAS SOUS 3382273 HAS SOUPS 1205862 WITH SCORE 1252951.794
AT ITER 7221 NEW BEST:: SOT 55070499 SOS 47090064 HAS SOPS 23081015 HAS SOUS 3382048 HAS SOUPS 1205682 WITH SCORE 1252772.064
AT ITER 7222 NEW BEST:: SOT 55070499 SOS 47090064 HAS SOPS 23081015 HAS SOUS 3381946 HAS SOUPS 1205580 WITH SCORE 1252670.064
AT ITER 7228 NEW BEST:: SOT 55072340 SOS 47107064 HAS SOPS 23088664 HAS SOUS 3380081 HAS SOUPS 1204029 WITH SCORE 1251136.064
AT ITER 7230 NEW BEST:: SOT 55072215 SOS 47106814 HAS SOPS 23088414 HAS SOUS 3379781 HAS SOUPS 1203729 WITH SCORE 1250835.814
AT ITER 7259 NEW BEST:: SOT 55072215 SOS 47106814 HAS SOPS 23088414 HAS SOUS 3379777 HAS SOUPS 1203725 WITH SCORE 1250831.814
AT ITER 7286 NEW BEST:: SOT 55074643 SOS 47113436 HAS SOPS 23089738 HAS SOUS 3380432 HAS SOUPS 1203497 WITH SCORE 1250610.436
AT ITER 7298 NEW BEST:: SOT 55074202 SOS 47112540 HAS SOPS 23091988 HAS SOUS 3379483 HAS SOUPS 1203070 WITH SCORE 1250182.54
AT ITER 7312 NEW BEST:: SOT 55073512 SOS 47110700 HAS SOPS 23091528 HAS SOUS 3379253 HAS SOUPS 1203070 WITH SCORE 1250180.7
AT ITER 7324 NEW BEST:: SOT 55054862 SOS 47081949 HAS SOPS 23079274 HAS SOUS 3377246 HAS SOUPS 1202170 WITH SCORE 1249251.949
AT ITER 7341 NEW BEST:: SOT 55053138 SOS 47079767 HAS SOPS 23078358 HAS SOUS 3377210 HAS SOUPS 1202134 WITH SCORE 1249213.767
AT ITER 7343 NEW BEST:: SOT 55052917 SOS 47080651 HAS SOPS 23077148 HAS SOUS 3377338 HAS SOUPS 1201913 WITH SCORE 1248993.651
AT ITER 7353 NEW BEST:: SOT 55050002 SOS 47089115 HAS SOPS 23078616 HAS SOUS 3374862 HAS SOUPS 1199437 WITH SCORE 1246526.115
AT ITER 7371 NEW BEST:: SOT 55049794 SOS 47090381 HAS SOPS 23079372 HAS SOUS 3374754 HAS SOUPS 1199352 WITH SCORE 1246442.381
AT ITER 7379 NEW BEST:: SOT 55049113 SOS 47089494 HAS SOPS 23078261 HAS SOUS 3374082 HAS SOUPS 1198680 WITH SCORE 1245769.494
AT ITER 7381 NEW BEST:: SOT 55049113 SOS 47089494 HAS SOPS 23078261 HAS SOUS 3373916 HAS SOUPS 1198514 WITH SCORE 1245603.494
AT ITER 7450 NEW BEST:: SOT 55048921 SOS 47087958 HAS SOPS 23077877 HAS SOUS 3373532 HAS SOUPS 1198322 WITH SCORE 1245409.958
AT ITER 7452 NEW BEST:: SOT 55048921 SOS 47087962 HAS SOPS 23077553 HAS SOUS 3373582 HAS SOUPS 1198318 WITH SCORE 1245405.962
AT ITER 7462 NEW BEST:: SOT 55045965 SOS 47080572 HAS SOPS 23074597 HAS SOUS 3372104 HAS SOUPS 1197579 WITH SCORE 1244659.572
AT ITER 7468 NEW BEST:: SOT 55032926 SOS 47060490 HAS SOPS 23065746 HAS SOUS 3370186 HAS SOUPS 1196473 WITH SCORE 1243533.49
AT ITER 7500 NEW BEST:: SOT 55032624 SOS 47060986 HAS SOPS 23065582 HAS SOUS 3370104 HAS SOUPS 1196391 WITH SCORE 1243451.986
AT ITER 7532 NEW BEST:: SOT 55032200 SOS 47060138 HAS SOPS 23066006 HAS SOUS 3369256 HAS SOUPS 1195755 WITH SCORE 1242815.138
AT ITER 7542 NEW BEST:: SOT 55031887 SOS 47060214 HAS SOPS 23066082 HAS SOUS 3368981 HAS SOUPS 1195480 WITH SCORE 1242540.214
AT ITER 7555 NEW BEST:: SOT 55031887 SOS 47060214 HAS SOPS 23066082 HAS SOUS 3368667 HAS SOUPS 1195166 WITH SCORE 1242226.214
AT ITER 7556 NEW BEST:: SOT 55030793 SOS 47057330 HAS SOPS 23065286 HAS SOUS 3367921 HAS SOUPS 1194768 WITH SCORE 1241825.33
AT ITER 7559 NEW BEST:: SOT 55030294 SOS 47054956 HAS SOPS 23067040 HAS SOUS 3366737 HAS SOUPS 1194272 WITH SCORE 1241326.956
AT ITER 7564 NEW BEST:: SOT 55030294 SOS 47052814 HAS SOPS 23068642 HAS SOUS 3366113 HAS SOUPS 1194272 WITH SCORE 1241324.814
AT ITER 7568 NEW BEST:: SOT 55019157 SOS 47035347 HAS SOPS 23060562 HAS SOUS 3365254 HAS SOUPS 1193641 WITH SCORE 1240676.347
AT ITER 7603 NEW BEST:: SOT 55016275 SOS 47052431 HAS SOPS 23066666 HAS SOUS 3363916 HAS SOUPS 1192303 WITH SCORE 1239355.431
AT ITER 7616 NEW BEST:: SOT 55016275 SOS 47052431 HAS SOPS 23066666 HAS SOUS 3363914 HAS SOUPS 1192301 WITH SCORE 1239353.431
AT ITER 7627 NEW BEST:: SOT 55015609 SOS 47053949 HAS SOPS 23068184 HAS SOUS 3362773 HAS SOUPS 1191160 WITH SCORE 1238213.949
AT ITER 7628 NEW BEST:: SOT 55014039 SOS 47044647 HAS SOPS 23058882 HAS SOUS 3360303 HAS SOUPS 1188690 WITH SCORE 1235734.647
AT ITER 7647 NEW BEST:: SOT 55014436 SOS 47034607 HAS SOPS 23054602 HAS SOUS 3359828 HAS SOUPS 1188535 WITH SCORE 1235569.607
AT ITER 7677 NEW BEST:: SOT 55012220 SOS 47055251 HAS SOPS 23063642 HAS SOUS 3359519 HAS SOUPS 1188226 WITH SCORE 1235281.251
AT ITER 7678 NEW BEST:: SOT 55012190 SOS 47055191 HAS SOPS 23063582 HAS SOUS 3359474 HAS SOUPS 1188181 WITH SCORE 1235236.191
AT ITER 7688 NEW BEST:: SOT 55011509 SOS 47059757 HAS SOPS 23064044 HAS SOUS 3359249 HAS SOUPS 1187728 WITH SCORE 1234787.757
AT ITER 7707 NEW BEST:: SOT 55005896 SOS 47053683 HAS SOPS 23060736 HAS SOUS 3359168 HAS SOUPS 1187647 WITH SCORE 1234700.683
AT ITER 7709 NEW BEST:: SOT 55005896 SOS 47053683 HAS SOPS 23060736 HAS SOUS 3359132 HAS SOUPS 1187611 WITH SCORE 1234664.683
AT ITER 7714 NEW BEST:: SOT 55003405 SOS 47062013 HAS SOPS 23064074 HAS SOUS 3358305 HAS SOUPS 1186784 WITH SCORE 1233846.013
AT ITER 7736 NEW BEST:: SOT 55003861 SOS 47062751 HAS SOPS 23064812 HAS SOUS 3357849 HAS SOUPS 1186328 WITH SCORE 1233390.751
AT ITER 7753 NEW BEST:: SOT 55003861 SOS 47062751 HAS SOPS 23064812 HAS SOUS 3357629 HAS SOUPS 1186108 WITH SCORE 1233170.751
AT ITER 7766 NEW BEST:: SOT 55003861 SOS 47062751 HAS SOPS 23064812 HAS SOUS 3357533 HAS SOUPS 1186012 WITH SCORE 1233074.751
AT ITER 7769 NEW BEST:: SOT 55002369 SOS 47060955 HAS SOPS 23063016 HAS SOUS 3357409 HAS SOUPS 1185736 WITH SCORE 1232796.955
AT ITER 7800 NEW BEST:: SOT 55002369 SOS 47060643 HAS SOPS 23063640 HAS SOUS 3357253 HAS SOUPS 1185736 WITH SCORE 1232796.643
AT ITER 7801 NEW BEST:: SOT 55001741 SOS 47060015 HAS SOPS 23063012 HAS SOUS 3356939 HAS SOUPS 1185422 WITH SCORE 1232482.015
AT ITER 7806 NEW BEST:: SOT 54999348 SOS 47054003 HAS SOPS 23060678 HAS SOUS 3355771 HAS SOUPS 1184867 WITH SCORE 1231921.003
AT ITER 7816 NEW BEST:: SOT 54999348 SOS 47054207 HAS SOPS 23060882 HAS SOUS 3355669 HAS SOUPS 1184765 WITH SCORE 1231819.207
AT ITER 7864 NEW BEST:: SOT 54997805 SOS 47050339 HAS SOPS 23059360 HAS SOUS 3354908 HAS SOUPS 1184395 WITH SCORE 1231445.339
AT ITER 7874 NEW BEST:: SOT 54996461 SOS 47045765 HAS SOPS 23060444 HAS SOUS 3353012 HAS SOUPS 1183442 WITH SCORE 1230487.765
AT ITER 7876 NEW BEST:: SOT 54996461 SOS 47045765 HAS SOPS 23060444 HAS SOUS 3352976 HAS SOUPS 1183406 WITH SCORE 1230451.765
AT ITER 7884 NEW BEST:: SOT 54994680 SOS 47035939 HAS SOPS 23056882 HAS SOUS 3348856 HAS SOUPS 1180330 WITH SCORE 1227365.939
AT ITER 7890 NEW BEST:: SOT 54994245 SOS 47035069 HAS SOPS 23056012 HAS SOUS 3348107 HAS SOUPS 1179581 WITH SCORE 1226616.069
AT ITER 7892 NEW BEST:: SOT 54993928 SOS 47034435 HAS SOPS 23055378 HAS SOUS 3347473 HAS SOUPS 1178947 WITH SCORE 1225981.435
AT ITER 7893 NEW BEST:: SOT 54993922 SOS 47034429 HAS SOPS 23055372 HAS SOUS 3347467 HAS SOUPS 1178941 WITH SCORE 1225975.429
AT ITER 7903 NEW BEST:: SOT 54993922 SOS 47034429 HAS SOPS 23055372 HAS SOUS 3347409 HAS SOUPS 1178883 WITH SCORE 1225917.429
AT ITER 7915 NEW BEST:: SOT 54993742 SOS 47034295 HAS SOPS 23054560 HAS SOUS 3347341 HAS SOUPS 1178702 WITH SCORE 1225736.295
AT ITER 7918 NEW BEST:: SOT 54993684 SOS 47034237 HAS SOPS 23054502 HAS SOUS 3347283 HAS SOUPS 1178644 WITH SCORE 1225678.237
AT ITER 7920 NEW BEST:: SOT 54993172 SOS 47033213 HAS SOPS 23053478 HAS SOUS 3346993 HAS SOUPS 1178354 WITH SCORE 1225387.213
AT ITER 7930 NEW BEST:: SOT 54993117 SOS 47033389 HAS SOPS 23053456 HAS SOUS 3346960 HAS SOUPS 1178310 WITH SCORE 1225343.389
AT ITER 7967 NEW BEST:: SOT 54992819 SOS 47031899 HAS SOPS 23051966 HAS SOUS 3346376 HAS SOUPS 1177726 WITH SCORE 1224757.899
AT ITER 7968 NEW BEST:: SOT 54991933 SOS 47029429 HAS SOPS 23051590 HAS SOUS 3345949 HAS SOUPS 1177648 WITH SCORE 1224677.429
AT ITER 7970 NEW BEST:: SOT 54991893 SOS 47029549 HAS SOPS 23051470 HAS SOUS 3345949 HAS SOUPS 1177608 WITH SCORE 1224637.549
AT ITER 8012 NEW BEST:: SOT 54991742 SOS 47029247 HAS SOPS 23050280 HAS SOUS 3345763 HAS SOUPS 1177274 WITH SCORE 1224303.247
AT ITER 8014 NEW BEST:: SOT 54989528 SOS 47022773 HAS SOPS 23048066 HAS SOUS 3342839 HAS SOUPS 1175060 WITH SCORE 1222082.773
AT ITER 8035 NEW BEST:: SOT 54988864 SOS 47021445 HAS SOPS 23046738 HAS SOUS 3342224 HAS SOUPS 1174445 WITH SCORE 1221466.445
AT ITER 8066 NEW BEST:: SOT 54988864 SOS 47021063 HAS SOPS 23047502 HAS SOUS 3342033 HAS SOUPS 1174445 WITH SCORE 1221466.063
AT ITER 8075 NEW BEST:: SOT 54989071 SOS 47014853 HAS SOPS 23043776 HAS SOUS 3342033 HAS SOUPS 1174445 WITH SCORE 1221459.8530000001
AT ITER 8082 NEW BEST:: SOT 54989071 SOS 47014853 HAS SOPS 23043776 HAS SOUS 3341671 HAS SOUPS 1174083 WITH SCORE 1221097.8530000001
AT ITER 8095 NEW BEST:: SOT 54982195 SOS 47007305 HAS SOPS 23039330 HAS SOUS 3341656 HAS SOUPS 1174068 WITH SCORE 1221075.305
AT ITER 8104 NEW BEST:: SOT 54982195 SOS 47007305 HAS SOPS 23039330 HAS SOUS 3341342 HAS SOUPS 1173754 WITH SCORE 1220761.305
AT ITER 8128 NEW BEST:: SOT 54980359 SOS 47024059 HAS SOPS 23047252 HAS SOUS 3340722 HAS SOUPS 1173134 WITH SCORE 1220158.059
AT ITER 8159 NEW BEST:: SOT 54980050 SOS 47024585 HAS SOPS 23046986 HAS SOUS 3340632 HAS SOUPS 1173000 WITH SCORE 1220024.585
AT ITER 8164 NEW BEST:: SOT 54979266 SOS 47025257 HAS SOPS 23045642 HAS SOUS 3340184 HAS SOUPS 1172440 WITH SCORE 1219465.257
AT ITER 8167 NEW BEST:: SOT 54981327 SOS 47034914 HAS SOPS 23048657 HAS SOUS 3341097 HAS SOUPS 1172246 WITH SCORE 1219280.914
AT ITER 8198 NEW BEST:: SOT 54981391 SOS 47033572 HAS SOPS 23049427 HAS SOUS 3340647 HAS SOUPS 1172148 WITH SCORE 1219181.572
AT ITER 8206 NEW BEST:: SOT 54981391 SOS 47033572 HAS SOPS 23049427 HAS SOUS 3340547 HAS SOUPS 1172048 WITH SCORE 1219081.572
AT ITER 8213 NEW BEST:: SOT 54981391 SOS 47033572 HAS SOPS 23049427 HAS SOUS 3340525 HAS SOUPS 1172026 WITH SCORE 1219059.572
AT ITER 8214 NEW BEST:: SOT 54981338 SOS 47033466 HAS SOPS 23049321 HAS SOUS 3340472 HAS SOUPS 1171973 WITH SCORE 1219006.466
AT ITER 8244 NEW BEST:: SOT 54980157 SOS 47027798 HAS SOPS 23043653 HAS SOUS 3339197 HAS SOUPS 1170698 WITH SCORE 1217725.798
AT ITER 8251 NEW BEST:: SOT 54979968 SOS 47026557 HAS SOPS 23042412 HAS SOUS 3338864 HAS SOUPS 1170365 WITH SCORE 1217391.557
AT ITER 8273 NEW BEST:: SOT 54978382 SOS 47060035 HAS SOPS 23055532 HAS SOUS 3338800 HAS SOUPS 1169170 WITH SCORE 1216230.035
AT ITER 8302 NEW BEST:: SOT 54977848 SOS 47059369 HAS SOPS 23054880 HAS SOUS 3338294 HAS SOUPS 1168664 WITH SCORE 1215723.369
AT ITER 8308 NEW BEST:: SOT 54977802 SOS 47059277 HAS SOPS 23054788 HAS SOUS 3338254 HAS SOUPS 1168624 WITH SCORE 1215683.277
AT ITER 8322 NEW BEST:: SOT 54976055 SOS 47055697 HAS SOPS 23051208 HAS SOUS 3338194 HAS SOUPS 1168564 WITH SCORE 1215619.697
AT ITER 8361 NEW BEST:: SOT 54975970 SOS 47055102 HAS SOPS 23051123 HAS SOUS 3337939 HAS SOUPS 1168394 WITH SCORE 1215449.102
AT ITER 8373 NEW BEST:: SOT 54975885 SOS 47054932 HAS SOPS 23050953 HAS SOUS 3337854 HAS SOUPS 1168309 WITH SCORE 1215363.932
AT ITER 8374 NEW BEST:: SOT 54975885 SOS 47054932 HAS SOPS 23050953 HAS SOUS 3337488 HAS SOUPS 1167943 WITH SCORE 1214997.932
AT ITER 8383 NEW BEST:: SOT 54970000 SOS 47069552 HAS SOPS 23053285 HAS SOUS 3334983 HAS SOUPS 1165438 WITH SCORE 1212507.552
AT ITER 8402 NEW BEST:: SOT 54959460 SOS 47053366 HAS SOPS 23046887 HAS SOUS 3334071 HAS SOUPS 1165291 WITH SCORE 1212344.366
AT ITER 8416 NEW BEST:: SOT 54959460 SOS 47053366 HAS SOPS 23046887 HAS SOUS 3333741 HAS SOUPS 1164961 WITH SCORE 1212014.366
AT ITER 8417 NEW BEST:: SOT 54959476 SOS 47053382 HAS SOPS 23046903 HAS SOUS 3333539 HAS SOUPS 1164759 WITH SCORE 1211812.382
AT ITER 8419 NEW BEST:: SOT 54957575 SOS 47063842 HAS SOPS 23053217 HAS SOUS 3332631 HAS SOUPS 1164080 WITH SCORE 1211143.842
AT ITER 8487 NEW BEST:: SOT 54957389 SOS 47063470 HAS SOPS 23052845 HAS SOUS 3332445 HAS SOUPS 1163894 WITH SCORE 1210957.47
AT ITER 8499 NEW BEST:: SOT 54957389 SOS 47063470 HAS SOPS 23052845 HAS SOUS 3332193 HAS SOUPS 1163642 WITH SCORE 1210705.47
AT ITER 8559 NEW BEST:: SOT 54957389 SOS 47065162 HAS SOPS 23052845 HAS SOUS 3331969 HAS SOUPS 1163136 WITH SCORE 1210201.162
AT ITER 8579 NEW BEST:: SOT 54957322 SOS 47065028 HAS SOPS 23053371 HAS SOUS 3331725 HAS SOUPS 1163002 WITH SCORE 1210067.028
AT ITER 8599 NEW BEST:: SOT 54957322 SOS 47065028 HAS SOPS 23053371 HAS SOUS 3331685 HAS SOUPS 1162962 WITH SCORE 1210027.028
AT ITER 8614 NEW BEST:: SOT 54957322 SOS 47065028 HAS SOPS 23053371 HAS SOUS 3331635 HAS SOUPS 1162912 WITH SCORE 1209977.028
AT ITER 8653 NEW BEST:: SOT 54957322 SOS 47066420 HAS SOPS 23053371 HAS SOUS 3331755 HAS SOUPS 1162800 WITH SCORE 1209866.42
AT ITER 8655 NEW BEST:: SOT 54957322 SOS 47066378 HAS SOPS 23053329 HAS SOUS 3331755 HAS SOUPS 1162800 WITH SCORE 1209866.378
AT ITER 8661 NEW BEST:: SOT 54957209 SOS 47066152 HAS SOPS 23053103 HAS SOUS 3331642 HAS SOUPS 1162687 WITH SCORE 1209753.152
AT ITER 8670 NEW BEST:: SOT 54948675 SOS 47054884 HAS SOPS 23045485 HAS SOUS 3331793 HAS SOUPS 1162684 WITH SCORE 1209738.884
AT ITER 8674 NEW BEST:: SOT 54948616 SOS 47054766 HAS SOPS 23045367 HAS SOUS 3331675 HAS SOUPS 1162566 WITH SCORE 1209620.766
AT ITER 8709 NEW BEST:: SOT 54948594 SOS 47054722 HAS SOPS 23046685 HAS SOUS 3331426 HAS SOUPS 1162544 WITH SCORE 1209598.722
AT ITER 8710 NEW BEST:: SOT 54946616 SOS 47068862 HAS SOPS 23052473 HAS SOUS 3330209 HAS SOUPS 1161327 WITH SCORE 1208395.862
AT ITER 8737 NEW BEST:: SOT 54946081 SOS 47067510 HAS SOPS 23051967 HAS SOUS 3329956 HAS SOUPS 1161215 WITH SCORE 1208282.51
AT ITER 8753 NEW BEST:: SOT 54945701 SOS 47067690 HAS SOPS 23048380 HAS SOUS 3329486 HAS SOUPS 1160193 WITH SCORE 1207260.69
AT ITER 8757 NEW BEST:: SOT 54945069 SOS 47066426 HAS SOPS 23047116 HAS SOUS 3328718 HAS SOUPS 1159425 WITH SCORE 1206491.426
AT ITER 8836 NEW BEST:: SOT 54944923 SOS 47066134 HAS SOPS 23046824 HAS SOUS 3328572 HAS SOUPS 1159279 WITH SCORE 1206345.134
AT ITER 8839 NEW BEST:: SOT 54943279 SOS 47073830 HAS SOPS 23049240 HAS SOUS 3327886 HAS SOUPS 1158593 WITH SCORE 1205666.83
AT ITER 8850 NEW BEST:: SOT 54942925 SOS 47072502 HAS SOPS 23047912 HAS SOUS 3327532 HAS SOUPS 1158239 WITH SCORE 1205311.502
AT ITER 8864 NEW BEST:: SOT 54942925 SOS 47072502 HAS SOPS 23047912 HAS SOUS 3327166 HAS SOUPS 1157873 WITH SCORE 1204945.502
AT ITER 8880 NEW BEST:: SOT 54942047 SOS 47068814 HAS SOPS 23050020 HAS SOUS 3325920 HAS SOUPS 1157593 WITH SCORE 1204661.814
AT ITER 8883 NEW BEST:: SOT 54942047 SOS 47068814 HAS SOPS 23050020 HAS SOUS 3325686 HAS SOUPS 1157359 WITH SCORE 1204427.814
AT ITER 8898 NEW BEST:: SOT 54940015 SOS 47073772 HAS SOPS 23053008 HAS SOUS 3324565 HAS SOUPS 1156551 WITH SCORE 1203624.772
AT ITER 8902 NEW BEST:: SOT 54939301 SOS 47086426 HAS SOPS 23057724 HAS SOUS 3324733 HAS SOUPS 1156278 WITH SCORE 1203364.426
AT ITER 8922 NEW BEST:: SOT 54939301 SOS 47086426 HAS SOPS 23057724 HAS SOUS 3324519 HAS SOUPS 1156064 WITH SCORE 1203150.426
AT ITER 8937 NEW BEST:: SOT 54939249 SOS 47086322 HAS SOPS 23057620 HAS SOUS 3324467 HAS SOUPS 1156012 WITH SCORE 1203098.322
AT ITER 8956 NEW BEST:: SOT 54939249 SOS 47086322 HAS SOPS 23057620 HAS SOUS 3324315 HAS SOUPS 1155860 WITH SCORE 1202946.322
AT ITER 9006 NEW BEST:: SOT 54939249 SOS 47085762 HAS SOPS 23057060 HAS SOUS 3324315 HAS SOUPS 1155860 WITH SCORE 1202945.762
AT ITER 9039 NEW BEST:: SOT 54939249 SOS 47085762 HAS SOPS 23057060 HAS SOUS 3323949 HAS SOUPS 1155494 WITH SCORE 1202579.762
AT ITER 9071 NEW BEST:: SOT 54935974 SOS 47095232 HAS SOPS 23061503 HAS SOUS 3323120 HAS SOUPS 1154897 WITH SCORE 1201992.232
AT ITER 9073 NEW BEST:: SOT 54935605 SOS 47095045 HAS SOPS 23061316 HAS SOUS 3322938 HAS SOUPS 1154715 WITH SCORE 1201810.045
AT ITER 9095 NEW BEST:: SOT 54935687 SOS 47094013 HAS SOPS 23060836 HAS SOUS 3322928 HAS SOUPS 1154705 WITH SCORE 1201799.013
AT ITER 9099 NEW BEST:: SOT 54935687 SOS 47093933 HAS SOPS 23060756 HAS SOUS 3322928 HAS SOUPS 1154705 WITH SCORE 1201798.933
AT ITER 9118 NEW BEST:: SOT 54935687 SOS 47093933 HAS SOPS 23060756 HAS SOUS 3322762 HAS SOUPS 1154539 WITH SCORE 1201632.933
AT ITER 9125 NEW BEST:: SOT 54935687 SOS 47093651 HAS SOPS 23060756 HAS SOUS 3322715 HAS SOUPS 1154539 WITH SCORE 1201632.651
AT ITER 9163 NEW BEST:: SOT 54924593 SOS 47078043 HAS SOPS 23053404 HAS SOUS 3322163 HAS SOUPS 1154227 WITH SCORE 1201305.043
AT ITER 9169 NEW BEST:: SOT 54924347 SOS 47077665 HAS SOPS 23052288 HAS SOUS 3321917 HAS SOUPS 1153858 WITH SCORE 1200935.665
AT ITER 9192 NEW BEST:: SOT 54923612 SOS 47076195 HAS SOPS 23050818 HAS SOUS 3320938 HAS SOUPS 1152879 WITH SCORE 1199955.195
AT ITER 9230 NEW BEST:: SOT 54923612 SOS 47076195 HAS SOPS 23050818 HAS SOUS 3320666 HAS SOUPS 1152607 WITH SCORE 1199683.195
AT ITER 9237 NEW BEST:: SOT 54923612 SOS 47076267 HAS SOPS 23050818 HAS SOUS 3320594 HAS SOUPS 1152535 WITH SCORE 1199611.267
AT ITER 9245 NEW BEST:: SOT 54923438 SOS 47077195 HAS SOPS 23050702 HAS SOUS 3320478 HAS SOUPS 1152361 WITH SCORE 1199438.195
AT ITER 9264 NEW BEST:: SOT 54923342 SOS 47077099 HAS SOPS 23050606 HAS SOUS 3320382 HAS SOUPS 1152265 WITH SCORE 1199342.099
AT ITER 9287 NEW BEST:: SOT 54923342 SOS 47077099 HAS SOPS 23050606 HAS SOUS 3320016 HAS SOUPS 1151899 WITH SCORE 1198976.099
AT ITER 9297 NEW BEST:: SOT 54923491 SOS 47077074 HAS SOPS 23050581 HAS SOUS 3319585 HAS SOUPS 1151526 WITH SCORE 1198603.074
AT ITER 9338 NEW BEST:: SOT 54923325 SOS 47076330 HAS SOPS 23051073 HAS SOUS 3319295 HAS SOUPS 1151442 WITH SCORE 1198518.33
AT ITER 9340 NEW BEST:: SOT 54923325 SOS 47076330 HAS SOPS 23051073 HAS SOUS 3319217 HAS SOUPS 1151364 WITH SCORE 1198440.33
AT ITER 9350 NEW BEST:: SOT 54914012 SOS 47063931 HAS SOPS 23043000 HAS SOUS 3318773 HAS SOUPS 1150920 WITH SCORE 1197983.931
AT ITER 9372 NEW BEST:: SOT 54913298 SOS 47063181 HAS SOPS 23042544 HAS SOUS 3318752 HAS SOUPS 1150884 WITH SCORE 1197947.181
AT ITER 9376 NEW BEST:: SOT 54913298 SOS 47063181 HAS SOPS 23042544 HAS SOUS 3318742 HAS SOUPS 1150874 WITH SCORE 1197937.181
AT ITER 9405 NEW BEST:: SOT 54913298 SOS 47063181 HAS SOPS 23042544 HAS SOUS 3318498 HAS SOUPS 1150630 WITH SCORE 1197693.181
AT ITER 9409 NEW BEST:: SOT 54910646 SOS 47056081 HAS SOPS 23040832 HAS SOUS 3317558 HAS SOUPS 1150588 WITH SCORE 1197644.081
AT ITER 9427 NEW BEST:: SOT 54910646 SOS 47056081 HAS SOPS 23040832 HAS SOUS 3317490 HAS SOUPS 1150520 WITH SCORE 1197576.081
AT ITER 9445 NEW BEST:: SOT 54910646 SOS 47056081 HAS SOPS 23040832 HAS SOUS 3317124 HAS SOUPS 1150154 WITH SCORE 1197210.081
AT ITER 9465 NEW BEST:: SOT 54910739 SOS 47055572 HAS SOPS 23040323 HAS SOUS 3317042 HAS SOUPS 1150072 WITH SCORE 1197127.572
AT ITER 9468 NEW BEST:: SOT 54910739 SOS 47055572 HAS SOPS 23040323 HAS SOUS 3316834 HAS SOUPS 1149864 WITH SCORE 1196919.572
AT ITER 9480 NEW BEST:: SOT 54910739 SOS 47055476 HAS SOPS 23040515 HAS SOUS 3316786 HAS SOUPS 1149864 WITH SCORE 1196919.476
AT ITER 9482 NEW BEST:: SOT 54910009 SOS 47053290 HAS SOPS 23040507 HAS SOUS 3316386 HAS SOUPS 1149827 WITH SCORE 1196880.29
AT ITER 9485 NEW BEST:: SOT 54909326 SOS 47049626 HAS SOPS 23039501 HAS SOUS 3314817 HAS SOUPS 1148701 WITH SCORE 1195750.626
AT ITER 9513 NEW BEST:: SOT 54907739 SOS 47056696 HAS SOPS 23040613 HAS SOUS 3314769 HAS SOUPS 1148322 WITH SCORE 1195378.696
AT ITER 9532 NEW BEST:: SOT 54907039 SOS 47055296 HAS SOPS 23042477 HAS SOUS 3313220 HAS SOUPS 1147317 WITH SCORE 1194372.296
AT ITER 9547 NEW BEST:: SOT 54907039 SOS 47055296 HAS SOPS 23042477 HAS SOUS 3313154 HAS SOUPS 1147251 WITH SCORE 1194306.296
AT ITER 9573 NEW BEST:: SOT 54906397 SOS 47068990 HAS SOPS 23050435 HAS SOUS 3313005 HAS SOUPS 1147102 WITH SCORE 1194170.99
AT ITER 9579 NEW BEST:: SOT 54906397 SOS 47068990 HAS SOPS 23050435 HAS SOUS 3312981 HAS SOUPS 1147078 WITH SCORE 1194146.99
AT ITER 9580 NEW BEST:: SOT 54906397 SOS 47068990 HAS SOPS 23050435 HAS SOUS 3312615 HAS SOUPS 1146712 WITH SCORE 1193780.99
AT ITER 9582 NEW BEST:: SOT 54905463 SOS 47065978 HAS SOPS 23050855 HAS SOUS 3311932 HAS SOUPS 1146601 WITH SCORE 1193666.9780000001
AT ITER 9590 NEW BEST:: SOT 54904951 SOS 47061528 HAS SOPS 23049831 HAS SOUS 3310600 HAS SOUPS 1145840 WITH SCORE 1192901.528
AT ITER 9632 NEW BEST:: SOT 54904874 SOS 47060829 HAS SOPS 23049786 HAS SOUS 3310460 HAS SOUPS 1145809 WITH SCORE 1192869.829
AT ITER 9638 NEW BEST:: SOT 54904835 SOS 47060790 HAS SOPS 23049747 HAS SOUS 3310421 HAS SOUPS 1145770 WITH SCORE 1192830.79
AT ITER 9657 NEW BEST:: SOT 54905807 SOS 46856897 HAS SOPS 23042092 HAS SOUS 3310521 HAS SOUPS 1145870 WITH SCORE 1192726.897
AT ITER 9683 NEW BEST:: SOT 54905807 SOS 46856897 HAS SOPS 23042092 HAS SOUS 3310416 HAS SOUPS 1145765 WITH SCORE 1192621.897
AT ITER 9685 NEW BEST:: SOT 54905807 SOS 46856897 HAS SOPS 23042092 HAS SOUS 3310188 HAS SOUPS 1145537 WITH SCORE 1192393.897
AT ITER 9709 NEW BEST:: SOT 54905543 SOS 46856105 HAS SOPS 23041300 HAS SOUS 3309924 HAS SOUPS 1145273 WITH SCORE 1192129.105
AT ITER 9748 NEW BEST:: SOT 54905517 SOS 46856053 HAS SOPS 23041248 HAS SOUS 3309898 HAS SOUPS 1145247 WITH SCORE 1192103.053
AT ITER 9755 NEW BEST:: SOT 54904787 SOS 46855031 HAS SOPS 23040664 HAS SOUS 3309752 HAS SOUPS 1145101 WITH SCORE 1191956.031
AT ITER 9770 NEW BEST:: SOT 54904787 SOS 46855031 HAS SOPS 23040664 HAS SOUS 3309448 HAS SOUPS 1144797 WITH SCORE 1191652.031
AT ITER 9821 NEW BEST:: SOT 54904787 SOS 46853219 HAS SOPS 23038852 HAS SOUS 3309294 HAS SOUPS 1144643 WITH SCORE 1191496.219
AT ITER 9822 NEW BEST:: SOT 54903967 SOS 46852399 HAS SOPS 23038032 HAS SOUS 3309089 HAS SOUPS 1144438 WITH SCORE 1191290.399
AT ITER 9826 NEW BEST:: SOT 54903687 SOS 46853397 HAS SOPS 23034356 HAS SOUS 3308690 HAS SOUPS 1143260 WITH SCORE 1190113.397
AT ITER 9859 NEW BEST:: SOT 54903317 SOS 46853253 HAS SOPS 23034136 HAS SOUS 3308348 HAS SOUPS 1142918 WITH SCORE 1189771.253
AT ITER 9862 NEW BEST:: SOT 54903122 SOS 46853673 HAS SOPS 23032126 HAS SOUS 3308558 HAS SOUPS 1142723 WITH SCORE 1189576.673
AT ITER 9873 NEW BEST:: SOT 54903106 SOS 46853641 HAS SOPS 23032094 HAS SOUS 3308542 HAS SOUPS 1142707 WITH SCORE 1189560.641
AT ITER 9885 NEW BEST:: SOT 54901624 SOS 46850065 HAS SOPS 23028518 HAS SOUS 3307672 HAS SOUPS 1141837 WITH SCORE 1188687.065
AT ITER 9911 NEW BEST:: SOT 54900599 SOS 46853581 HAS SOPS 23027480 HAS SOUS 3307039 HAS SOUPS 1140951 WITH SCORE 1187804.581
AT ITER 9912 NEW BEST:: SOT 54900599 SOS 46853803 HAS SOPS 23027480 HAS SOUS 3307039 HAS SOUPS 1140914 WITH SCORE 1187767.803
AT ITER 9914 NEW BEST:: SOT 54900599 SOS 46853803 HAS SOPS 23027480 HAS SOUS 3306955 HAS SOUPS 1140830 WITH SCORE 1187683.803
AT ITER 9919 NEW BEST:: SOT 54900599 SOS 46853803 HAS SOPS 23027480 HAS SOUS 3306813 HAS SOUPS 1140688 WITH SCORE 1187541.803
AT ITER 9947 NEW BEST:: SOT 54899513 SOS 46852121 HAS SOPS 23026692 HAS SOUS 3306401 HAS SOUPS 1140425 WITH SCORE 1187277.121
AT ITER 9967 NEW BEST:: SOT 54899457 SOS 46852121 HAS SOPS 23026356 HAS SOUS 3306400 HAS SOUPS 1140368 WITH SCORE 1187220.121
AT ITER 9975 NEW BEST:: SOT 54902421 SOS 46856567 HAS SOPS 23027838 HAS SOUS 3306153 HAS SOUPS 1139874 WITH SCORE 1186730.567
AT ITER 9999 NEW BEST:: SOT 54902421 SOS 46856567 HAS SOPS 23027838 HAS SOUS 3306047 HAS SOUPS 1139768 WITH SCORE 1186624.567
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 5428828 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16092008 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCshifumi-PT-6a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is 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 4"
echo " Run identifier is r107-tall-167814484800864"
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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;