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

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

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCshifumi-PT-6a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 6a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 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 6 NEW BEST:: SOT 55976566 SOS 47272292 HAS SOPS 23150279 HAS SOUS 3856218 HAS SOUPS 1632894 WITH SCORE 1680166.292
AT ITER 8 NEW BEST:: SOT 55975947 SOS 47271054 HAS SOPS 23152911 HAS SOUS 3854729 HAS SOUPS 1632050 WITH SCORE 1679321.054
AT ITER 11 NEW BEST:: SOT 55975421 SOS 47270002 HAS SOPS 23156197 HAS SOUS 3853333 HAS SOUPS 1631377 WITH SCORE 1678647.002
AT ITER 41 NEW BEST:: SOT 55975421 SOS 47270002 HAS SOPS 23156197 HAS SOUS 3853009 HAS SOUPS 1631053 WITH SCORE 1678323.002
AT ITER 53 NEW BEST:: SOT 55973074 SOS 47261881 HAS SOPS 23153650 HAS SOUS 3849996 HAS SOUPS 1628969 WITH SCORE 1676230.881
AT ITER 70 NEW BEST:: SOT 55973074 SOS 47261881 HAS SOPS 23153650 HAS SOUS 3849764 HAS SOUPS 1628737 WITH SCORE 1675998.881
AT ITER 84 NEW BEST:: SOT 55973074 SOS 47261881 HAS SOPS 23153650 HAS SOUS 3849568 HAS SOUPS 1628541 WITH SCORE 1675802.881
AT ITER 91 NEW BEST:: SOT 55973074 SOS 47261881 HAS SOPS 23153650 HAS SOUS 3849206 HAS SOUPS 1628179 WITH SCORE 1675440.881
AT ITER 93 NEW BEST:: SOT 55970508 SOS 47266441 HAS SOPS 23150146 HAS SOUS 3847538 HAS SOUPS 1626063 WITH SCORE 1673329.441
AT ITER 100 NEW BEST:: SOT 55970508 SOS 47266441 HAS SOPS 23150146 HAS SOUS 3847172 HAS SOUPS 1625697 WITH SCORE 1672963.441
AT ITER 112 NEW BEST:: SOT 55970460 SOS 47266297 HAS SOPS 23150002 HAS SOUS 3847124 HAS SOUPS 1625649 WITH SCORE 1672915.297
AT ITER 120 NEW BEST:: SOT 55966316 SOS 47293807 HAS SOPS 23162428 HAS SOUS 3845114 HAS SOUPS 1623639 WITH SCORE 1670932.807
AT ITER 134 NEW BEST:: SOT 55966316 SOS 47293807 HAS SOPS 23162428 HAS SOUS 3844876 HAS SOUPS 1623401 WITH SCORE 1670694.807
AT ITER 145 NEW BEST:: SOT 55965749 SOS 47294455 HAS SOPS 23161618 HAS SOUS 3844552 HAS SOUPS 1622996 WITH SCORE 1670290.455
AT ITER 146 NEW BEST:: SOT 55965159 SOS 47293275 HAS SOPS 23162208 HAS SOUS 3843372 HAS SOUPS 1622111 WITH SCORE 1669404.275
AT ITER 147 NEW BEST:: SOT 55960959 SOS 47313461 HAS SOPS 23169926 HAS SOUS 3840867 HAS SOUPS 1619606 WITH SCORE 1666919.461
AT ITER 152 NEW BEST:: SOT 55960959 SOS 47313461 HAS SOPS 23169926 HAS SOUS 3840627 HAS SOUPS 1619366 WITH SCORE 1666679.461
AT ITER 161 NEW BEST:: SOT 55960959 SOS 47313461 HAS SOPS 23169926 HAS SOUS 3840381 HAS SOUPS 1619120 WITH SCORE 1666433.461
AT ITER 169 NEW BEST:: SOT 55960511 SOS 47312565 HAS SOPS 23170374 HAS SOUS 3839485 HAS SOUPS 1618448 WITH SCORE 1665760.565
AT ITER 184 NEW BEST:: SOT 55960153 SOS 47310727 HAS SOPS 23171902 HAS SOUS 3838732 HAS SOUPS 1618256 WITH SCORE 1665566.727
AT ITER 210 NEW BEST:: SOT 55950966 SOS 47296767 HAS SOPS 23165003 HAS SOUS 3838679 HAS SOUPS 1618246 WITH SCORE 1665542.767
AT ITER 211 NEW BEST:: SOT 55947112 SOS 47304737 HAS SOPS 23164837 HAS SOUS 3835672 HAS SOUPS 1615239 WITH SCORE 1662543.737
AT ITER 213 NEW BEST:: SOT 55946650 SOS 47303813 HAS SOPS 23163913 HAS SOUS 3834979 HAS SOUPS 1614546 WITH SCORE 1661849.813
AT ITER 264 NEW BEST:: SOT 55946040 SOS 47302593 HAS SOPS 23164523 HAS SOUS 3833759 HAS SOUPS 1613631 WITH SCORE 1660933.593
AT ITER 269 NEW BEST:: SOT 55945516 SOS 47299959 HAS SOPS 23166647 HAS SOUS 3832442 HAS SOUPS 1613107 WITH SCORE 1660406.959
AT ITER 273 NEW BEST:: SOT 55944970 SOS 47300583 HAS SOPS 23165867 HAS SOUS 3832130 HAS SOUPS 1612717 WITH SCORE 1660017.583
AT ITER 276 NEW BEST:: SOT 55944970 SOS 47300583 HAS SOPS 23165867 HAS SOUS 3831764 HAS SOUPS 1612351 WITH SCORE 1659651.583
AT ITER 286 NEW BEST:: SOT 55940316 SOS 47321321 HAS SOPS 23173369 HAS SOUS 3828880 HAS SOUPS 1609467 WITH SCORE 1656788.321
AT ITER 287 NEW BEST:: SOT 55939301 SOS 47322481 HAS SOPS 23171919 HAS SOUS 3828300 HAS SOUPS 1608742 WITH SCORE 1656064.481
AT ITER 323 NEW BEST:: SOT 55939301 SOS 47322481 HAS SOPS 23171919 HAS SOUS 3828056 HAS SOUPS 1608498 WITH SCORE 1655820.481
AT ITER 338 NEW BEST:: SOT 55936017 SOS 47330427 HAS SOPS 23168849 HAS SOUS 3825988 HAS SOUPS 1605818 WITH SCORE 1653148.427
AT ITER 341 NEW BEST:: SOT 55934714 SOS 47332331 HAS SOPS 23167063 HAS SOUS 3825234 HAS SOUPS 1604859 WITH SCORE 1652191.331
AT ITER 363 NEW BEST:: SOT 55931889 SOS 47361500 HAS SOPS 23176126 HAS SOUS 3823463 HAS SOUPS 1601971 WITH SCORE 1649332.5
AT ITER 367 NEW BEST:: SOT 55927488 SOS 47380156 HAS SOPS 23182638 HAS SOUS 3820042 HAS SOUPS 1598550 WITH SCORE 1645930.156
AT ITER 381 NEW BEST:: SOT 55926708 SOS 47378596 HAS SOPS 23184564 HAS SOUS 3818339 HAS SOUPS 1597428 WITH SCORE 1644806.596
AT ITER 394 NEW BEST:: SOT 55926708 SOS 47378596 HAS SOPS 23184564 HAS SOUS 3818195 HAS SOUPS 1597284 WITH SCORE 1644662.596
AT ITER 396 NEW BEST:: SOT 55926310 SOS 47377040 HAS SOPS 23183008 HAS SOUS 3817797 HAS SOUPS 1596886 WITH SCORE 1644263.04
AT ITER 420 NEW BEST:: SOT 55925812 SOS 47377870 HAS SOPS 23182344 HAS SOUS 3817631 HAS SOUPS 1596637 WITH SCORE 1644014.87
AT ITER 422 NEW BEST:: SOT 55925576 SOS 47376626 HAS SOPS 23181100 HAS SOUS 3817395 HAS SOUPS 1596401 WITH SCORE 1643777.626
AT ITER 430 NEW BEST:: SOT 55924581 SOS 47374636 HAS SOPS 23182416 HAS SOUS 3815352 HAS SOUPS 1594909 WITH SCORE 1642283.636
AT ITER 435 NEW BEST:: SOT 55923622 SOS 47375732 HAS SOPS 23181046 HAS SOUS 3814804 HAS SOUPS 1594224 WITH SCORE 1641599.732
AT ITER 444 NEW BEST:: SOT 55922874 SOS 47374236 HAS SOPS 23181794 HAS SOUS 3813308 HAS SOUPS 1593102 WITH SCORE 1640476.236
AT ITER 448 NEW BEST:: SOT 55917553 SOS 47393054 HAS SOPS 23187508 HAS SOUS 3809117 HAS SOUPS 1588911 WITH SCORE 1636304.054
AT ITER 451 NEW BEST:: SOT 55914798 SOS 47397162 HAS SOPS 23183030 HAS SOUS 3807223 HAS SOUPS 1586540 WITH SCORE 1633937.162
AT ITER 460 NEW BEST:: SOT 55914690 SOS 47396946 HAS SOPS 23182814 HAS SOUS 3807061 HAS SOUPS 1586378 WITH SCORE 1633774.946
AT ITER 477 NEW BEST:: SOT 55913377 SOS 47398522 HAS SOPS 23180952 HAS SOUS 3806309 HAS SOUPS 1585435 WITH SCORE 1632833.522
AT ITER 480 NEW BEST:: SOT 55913377 SOS 47398522 HAS SOPS 23180952 HAS SOUS 3805971 HAS SOUPS 1585097 WITH SCORE 1632495.522
AT ITER 493 NEW BEST:: SOT 55913377 SOS 47398522 HAS SOPS 23180952 HAS SOUS 3805653 HAS SOUPS 1584779 WITH SCORE 1632177.522
AT ITER 503 NEW BEST:: SOT 55913377 SOS 47398522 HAS SOPS 23180952 HAS SOUS 3805353 HAS SOUPS 1584479 WITH SCORE 1631877.522
AT ITER 506 NEW BEST:: SOT 55913377 SOS 47398522 HAS SOPS 23180952 HAS SOUS 3805349 HAS SOUPS 1584475 WITH SCORE 1631873.522
AT ITER 519 NEW BEST:: SOT 55913377 SOS 47398522 HAS SOPS 23180952 HAS SOUS 3805259 HAS SOUPS 1584385 WITH SCORE 1631783.522
AT ITER 591 NEW BEST:: SOT 55912927 SOS 47397622 HAS SOPS 23181402 HAS SOUS 3804359 HAS SOUPS 1583710 WITH SCORE 1631107.622
AT ITER 594 NEW BEST:: SOT 55912927 SOS 47397622 HAS SOPS 23181402 HAS SOUS 3803993 HAS SOUPS 1583344 WITH SCORE 1630741.622
AT ITER 605 NEW BEST:: SOT 55912927 SOS 47397622 HAS SOPS 23181402 HAS SOUS 3803649 HAS SOUPS 1583000 WITH SCORE 1630397.622
AT ITER 613 NEW BEST:: SOT 55912243 SOS 47396254 HAS SOPS 23182086 HAS SOUS 3802281 HAS SOUPS 1581974 WITH SCORE 1629370.254
AT ITER 625 NEW BEST:: SOT 55907414 SOS 47414170 HAS SOPS 23187594 HAS SOUS 3798997 HAS SOUPS 1578690 WITH SCORE 1626104.17
AT ITER 631 NEW BEST:: SOT 55902376 SOS 47431776 HAS SOPS 23192900 HAS SOUS 3795054 HAS SOUPS 1574747 WITH SCORE 1622178.776
AT ITER 632 NEW BEST:: SOT 55899688 SOS 47441476 HAS SOPS 23191008 HAS SOUS 3794398 HAS SOUPS 1573447 WITH SCORE 1620888.476
AT ITER 633 NEW BEST:: SOT 55898868 SOS 47437376 HAS SOPS 23189368 HAS SOUS 3792757 HAS SOUPS 1572216 WITH SCORE 1619653.376
AT ITER 658 NEW BEST:: SOT 55898868 SOS 47437376 HAS SOPS 23189368 HAS SOUS 3792669 HAS SOUPS 1572128 WITH SCORE 1619565.376
AT ITER 660 NEW BEST:: SOT 55890544 SOS 47424686 HAS SOPS 23183078 HAS SOUS 3792574 HAS SOUPS 1572074 WITH SCORE 1619498.686
AT ITER 661 NEW BEST:: SOT 55890544 SOS 47424686 HAS SOPS 23183078 HAS SOUS 3792532 HAS SOUPS 1572032 WITH SCORE 1619456.686
AT ITER 668 NEW BEST:: SOT 55885120 SOS 47440706 HAS SOPS 23186642 HAS SOUS 3788518 HAS SOUPS 1568018 WITH SCORE 1615458.706
AT ITER 674 NEW BEST:: SOT 55885120 SOS 47440706 HAS SOPS 23186642 HAS SOUS 3788250 HAS SOUPS 1567750 WITH SCORE 1615190.706
AT ITER 682 NEW BEST:: SOT 55880038 SOS 47459236 HAS SOPS 23192200 HAS SOUS 3784788 HAS SOUPS 1564288 WITH SCORE 1611747.236
AT ITER 683 NEW BEST:: SOT 55878606 SOS 47457432 HAS SOPS 23190396 HAS SOUS 3784150 HAS SOUPS 1563650 WITH SCORE 1611107.432
AT ITER 690 NEW BEST:: SOT 55874446 SOS 47470284 HAS SOPS 23193576 HAS SOUS 3781209 HAS SOUPS 1560709 WITH SCORE 1608179.284
AT ITER 691 NEW BEST:: SOT 55873461 SOS 47467252 HAS SOPS 23194426 HAS SOUS 3779084 HAS SOUPS 1559231 WITH SCORE 1606698.252
AT ITER 692 NEW BEST:: SOT 55870093 SOS 47484818 HAS SOPS 23200892 HAS SOUS 3777665 HAS SOUPS 1557812 WITH SCORE 1605296.818
AT ITER 711 NEW BEST:: SOT 55867420 SOS 47487988 HAS SOPS 23196700 HAS SOUS 3775811 HAS SOUPS 1555549 WITH SCORE 1603036.988
AT ITER 717 NEW BEST:: SOT 55867050 SOS 47487248 HAS SOPS 23195960 HAS SOUS 3775256 HAS SOUPS 1554994 WITH SCORE 1602481.248
AT ITER 718 NEW BEST:: SOT 55867050 SOS 47487248 HAS SOPS 23195960 HAS SOUS 3774890 HAS SOUPS 1554628 WITH SCORE 1602115.248
AT ITER 721 NEW BEST:: SOT 55866852 SOS 47485896 HAS SOPS 23194608 HAS SOUS 3774692 HAS SOUPS 1554430 WITH SCORE 1601915.896
AT ITER 740 NEW BEST:: SOT 55866580 SOS 47485352 HAS SOPS 23194064 HAS SOUS 3774284 HAS SOUPS 1554022 WITH SCORE 1601507.352
AT ITER 747 NEW BEST:: SOT 55862099 SOS 47500116 HAS SOPS 23198088 HAS SOUS 3770924 HAS SOUPS 1550662 WITH SCORE 1598162.116
AT ITER 753 NEW BEST:: SOT 55862099 SOS 47500116 HAS SOPS 23198088 HAS SOUS 3770578 HAS SOUPS 1550316 WITH SCORE 1597816.116
AT ITER 788 NEW BEST:: SOT 55860815 SOS 47497548 HAS SOPS 23195520 HAS SOUS 3768856 HAS SOUPS 1548594 WITH SCORE 1596091.548
AT ITER 789 NEW BEST:: SOT 55856852 SOS 47511002 HAS SOPS 23198774 HAS SOUS 3766152 HAS SOUPS 1545890 WITH SCORE 1593401.002
AT ITER 809 NEW BEST:: SOT 55856582 SOS 47510462 HAS SOPS 23198234 HAS SOUS 3765882 HAS SOUPS 1545620 WITH SCORE 1593130.462
AT ITER 814 NEW BEST:: SOT 55856186 SOS 47508174 HAS SOPS 23200434 HAS SOUS 3765006 HAS SOUPS 1545492 WITH SCORE 1593000.174
AT ITER 832 NEW BEST:: SOT 55855729 SOS 47505978 HAS SOPS 23202084 HAS SOUS 3764107 HAS SOUPS 1545234 WITH SCORE 1592739.9780000001
AT ITER 833 NEW BEST:: SOT 55850829 SOS 47527552 HAS SOPS 23209798 HAS SOUS 3760971 HAS SOUPS 1542098 WITH SCORE 1589625.552
AT ITER 846 NEW BEST:: SOT 55850829 SOS 47527552 HAS SOPS 23209798 HAS SOUS 3760785 HAS SOUPS 1541912 WITH SCORE 1589439.552
AT ITER 849 NEW BEST:: SOT 55850573 SOS 47527040 HAS SOPS 23210054 HAS SOUS 3760273 HAS SOUPS 1541528 WITH SCORE 1589055.04
AT ITER 863 NEW BEST:: SOT 55846886 SOS 47532060 HAS SOPS 23208030 HAS SOUS 3757017 HAS SOUPS 1538272 WITH SCORE 1585804.06
AT ITER 873 NEW BEST:: SOT 55846760 SOS 47531808 HAS SOPS 23207778 HAS SOUS 3756891 HAS SOUPS 1538146 WITH SCORE 1585677.808
AT ITER 874 NEW BEST:: SOT 55843081 SOS 47547700 HAS SOPS 23212510 HAS SOUS 3754545 HAS SOUPS 1535800 WITH SCORE 1583347.7
AT ITER 881 NEW BEST:: SOT 55843081 SOS 47547700 HAS SOPS 23212510 HAS SOUS 3754179 HAS SOUPS 1535434 WITH SCORE 1582981.7
AT ITER 901 NEW BEST:: SOT 55843072 SOS 47547673 HAS SOPS 23212492 HAS SOUS 3754170 HAS SOUPS 1535425 WITH SCORE 1582972.673
AT ITER 904 NEW BEST:: SOT 55842141 SOS 47545811 HAS SOPS 23214632 HAS SOUS 3752107 HAS SOUPS 1534029 WITH SCORE 1581574.811
AT ITER 905 NEW BEST:: SOT 55841699 SOS 47544015 HAS SOPS 23214162 HAS SOUS 3751222 HAS SOUPS 1533365 WITH SCORE 1580909.015
AT ITER 909 NEW BEST:: SOT 55840908 SOS 47542433 HAS SOPS 23216870 HAS SOUS 3749321 HAS SOUPS 1532179 WITH SCORE 1579721.433
AT ITER 913 NEW BEST:: SOT 55840452 SOS 47541521 HAS SOPS 23219216 HAS SOUS 3748241 HAS SOUPS 1531642 WITH SCORE 1579183.521
AT ITER 917 NEW BEST:: SOT 55839878 SOS 47539799 HAS SOPS 23217494 HAS SOUS 3747667 HAS SOUPS 1531068 WITH SCORE 1578607.799
AT ITER 929 NEW BEST:: SOT 55839362 SOS 47538629 HAS SOPS 23216324 HAS SOUS 3746892 HAS SOUPS 1530293 WITH SCORE 1577831.629
AT ITER 931 NEW BEST:: SOT 55839362 SOS 47538629 HAS SOPS 23216324 HAS SOUS 3746526 HAS SOUPS 1529927 WITH SCORE 1577465.629
AT ITER 944 NEW BEST:: SOT 55839292 SOS 47538489 HAS SOPS 23216184 HAS SOUS 3746386 HAS SOUPS 1529787 WITH SCORE 1577325.489
AT ITER 968 NEW BEST:: SOT 55839197 SOS 47538299 HAS SOPS 23215994 HAS SOUS 3746291 HAS SOUPS 1529692 WITH SCORE 1577230.299
AT ITER 977 NEW BEST:: SOT 55838853 SOS 47537611 HAS SOPS 23215306 HAS SOUS 3745947 HAS SOUPS 1529348 WITH SCORE 1576885.611
AT ITER 980 NEW BEST:: SOT 55838853 SOS 47537611 HAS SOPS 23215306 HAS SOUS 3745825 HAS SOUPS 1529226 WITH SCORE 1576763.611
AT ITER 996 NEW BEST:: SOT 55830746 SOS 47525235 HAS SOPS 23209167 HAS SOUS 3745718 HAS SOUPS 1529160 WITH SCORE 1576685.235
AT ITER 1008 NEW BEST:: SOT 55830401 SOS 47524545 HAS SOPS 23208477 HAS SOUS 3745028 HAS SOUPS 1528470 WITH SCORE 1575994.545
AT ITER 1017 NEW BEST:: SOT 55825974 SOS 47536801 HAS SOPS 23210929 HAS SOUS 3741785 HAS SOUPS 1525227 WITH SCORE 1572763.801
AT ITER 1029 NEW BEST:: SOT 55825550 SOS 47535419 HAS SOPS 23209547 HAS SOUS 3741361 HAS SOUPS 1524803 WITH SCORE 1572338.419
AT ITER 1030 NEW BEST:: SOT 55825085 SOS 47534489 HAS SOPS 23208617 HAS SOUS 3740896 HAS SOUPS 1524338 WITH SCORE 1571872.489
AT ITER 1038 NEW BEST:: SOT 55819581 SOS 47552699 HAS SOPS 23213735 HAS SOUS 3736485 HAS SOUPS 1519927 WITH SCORE 1567479.699
AT ITER 1039 NEW BEST:: SOT 55819481 SOS 47552499 HAS SOPS 23213535 HAS SOUS 3736285 HAS SOUPS 1519727 WITH SCORE 1567279.499
AT ITER 1054 NEW BEST:: SOT 55819068 SOS 47550027 HAS SOPS 23216001 HAS SOUS 3735358 HAS SOUPS 1519623 WITH SCORE 1567173.027
AT ITER 1072 NEW BEST:: SOT 55818594 SOS 47552555 HAS SOPS 23215685 HAS SOUS 3735042 HAS SOUPS 1519149 WITH SCORE 1566701.555
AT ITER 1079 NEW BEST:: SOT 55818188 SOS 47553367 HAS SOPS 23215453 HAS SOUS 3734868 HAS SOUPS 1518917 WITH SCORE 1566470.367
AT ITER 1087 NEW BEST:: SOT 55818128 SOS 47553017 HAS SOPS 23215103 HAS SOUS 3734808 HAS SOUPS 1518857 WITH SCORE 1566410.017
AT ITER 1091 NEW BEST:: SOT 55817647 SOS 47552055 HAS SOPS 23217369 HAS SOUS 3733789 HAS SOUPS 1518376 WITH SCORE 1565928.055
AT ITER 1092 NEW BEST:: SOT 55814953 SOS 47343618 HAS SOPS 23228912 HAS SOUS 3732530 HAS SOUPS 1517117 WITH SCORE 1564460.618
AT ITER 1096 NEW BEST:: SOT 55814327 SOS 47341492 HAS SOPS 23226786 HAS SOUS 3731938 HAS SOUPS 1516525 WITH SCORE 1563866.492
AT ITER 1149 NEW BEST:: SOT 55814327 SOS 47341492 HAS SOPS 23226786 HAS SOUS 3731906 HAS SOUPS 1516493 WITH SCORE 1563834.492
AT ITER 1160 NEW BEST:: SOT 55811901 SOS 47345226 HAS SOPS 23223068 HAS SOUS 3730301 HAS SOUPS 1514474 WITH SCORE 1561819.226
AT ITER 1161 NEW BEST:: SOT 55811205 SOS 47345290 HAS SOPS 23223132 HAS SOUS 3729968 HAS SOUPS 1514141 WITH SCORE 1561486.29
AT ITER 1164 NEW BEST:: SOT 55808796 SOS 47350692 HAS SOPS 23219336 HAS SOUS 3728715 HAS SOUPS 1512377 WITH SCORE 1559727.692
AT ITER 1173 NEW BEST:: SOT 55804303 SOS 47373654 HAS SOPS 23228954 HAS SOUS 3726372 HAS SOUPS 1510034 WITH SCORE 1557407.654
AT ITER 1179 NEW BEST:: SOT 55801394 SOS 47380672 HAS SOPS 23226342 HAS SOUS 3724588 HAS SOUPS 1507715 WITH SCORE 1555095.672
AT ITER 1193 NEW BEST:: SOT 55801394 SOS 47380672 HAS SOPS 23226342 HAS SOUS 3724222 HAS SOUPS 1507349 WITH SCORE 1554729.672
AT ITER 1194 NEW BEST:: SOT 55801394 SOS 47380672 HAS SOPS 23226342 HAS SOUS 3723856 HAS SOUPS 1506983 WITH SCORE 1554363.672
AT ITER 1238 NEW BEST:: SOT 55800908 SOS 47381148 HAS SOPS 23226818 HAS SOUS 3723470 HAS SOUPS 1506597 WITH SCORE 1553978.148
AT ITER 1248 NEW BEST:: SOT 55800908 SOS 47381148 HAS SOPS 23226818 HAS SOUS 3723206 HAS SOUPS 1506333 WITH SCORE 1553714.148
AT ITER 1254 NEW BEST:: SOT 55796892 SOS 47392564 HAS SOPS 23229258 HAS SOUS 3719785 HAS SOUPS 1502912 WITH SCORE 1550304.564
AT ITER 1261 NEW BEST:: SOT 55796084 SOS 47390544 HAS SOPS 23227238 HAS SOUS 3719381 HAS SOUPS 1502508 WITH SCORE 1549898.544
AT ITER 1284 NEW BEST:: SOT 55795902 SOS 47390180 HAS SOPS 23226874 HAS SOUS 3719108 HAS SOUPS 1502235 WITH SCORE 1549625.18
AT ITER 1291 NEW BEST:: SOT 55792677 SOS 47399236 HAS SOPS 23224788 HAS SOUS 3717244 HAS SOUPS 1499752 WITH SCORE 1547151.236
AT ITER 1294 NEW BEST:: SOT 55788586 SOS 47418034 HAS SOPS 23230098 HAS SOUS 3715345 HAS SOUPS 1497853 WITH SCORE 1545271.034
AT ITER 1298 NEW BEST:: SOT 55785427 SOS 47423824 HAS SOPS 23228868 HAS SOUS 3713121 HAS SOUPS 1495629 WITH SCORE 1543052.824
AT ITER 1299 NEW BEST:: SOT 55785258 SOS 47423486 HAS SOPS 23231338 HAS SOUS 3712484 HAS SOUPS 1495460 WITH SCORE 1542883.486
AT ITER 1306 NEW BEST:: SOT 55765481 SOS 47393321 HAS SOPS 23218819 HAS SOUS 3710767 HAS SOUPS 1495101 WITH SCORE 1542494.321
AT ITER 1311 NEW BEST:: SOT 55764725 SOS 47394185 HAS SOPS 23217739 HAS SOUS 3710335 HAS SOUPS 1494561 WITH SCORE 1541955.185
AT ITER 1319 NEW BEST:: SOT 55764725 SOS 47394185 HAS SOPS 23217739 HAS SOUS 3710253 HAS SOUPS 1494479 WITH SCORE 1541873.185
AT ITER 1334 NEW BEST:: SOT 55764725 SOS 47394185 HAS SOPS 23217739 HAS SOUS 3709909 HAS SOUPS 1494135 WITH SCORE 1541529.185
AT ITER 1340 NEW BEST:: SOT 55762629 SOS 47398953 HAS SOPS 23214443 HAS SOUS 3709085 HAS SOUPS 1492863 WITH SCORE 1540261.953
AT ITER 1378 NEW BEST:: SOT 55762629 SOS 47398953 HAS SOPS 23214443 HAS SOUS 3708959 HAS SOUPS 1492737 WITH SCORE 1540135.953
AT ITER 1383 NEW BEST:: SOT 55762159 SOS 47398013 HAS SOPS 23213503 HAS SOUS 3708254 HAS SOUPS 1492032 WITH SCORE 1539430.013
AT ITER 1390 NEW BEST:: SOT 55757500 SOS 47409199 HAS SOPS 23214597 HAS SOUS 3704713 HAS SOUPS 1488491 WITH SCORE 1535900.199
AT ITER 1401 NEW BEST:: SOT 55756936 SOS 47408071 HAS SOPS 23213469 HAS SOUS 3704431 HAS SOUPS 1488209 WITH SCORE 1535617.071
AT ITER 1431 NEW BEST:: SOT 55756222 SOS 47406643 HAS SOPS 23214819 HAS SOUS 3702924 HAS SOUPS 1487165 WITH SCORE 1534571.643
AT ITER 1456 NEW BEST:: SOT 55755746 SOS 47405691 HAS SOPS 23213867 HAS SOUS 3701680 HAS SOUPS 1485921 WITH SCORE 1533326.691
AT ITER 1464 NEW BEST:: SOT 55753610 SOS 47398571 HAS SOPS 23211019 HAS SOUS 3698120 HAS SOUPS 1483073 WITH SCORE 1530471.571
AT ITER 1504 NEW BEST:: SOT 55741309 SOS 47379038 HAS SOPS 23202934 HAS SOUS 3697133 HAS SOUPS 1482956 WITH SCORE 1530335.038
AT ITER 1512 NEW BEST:: SOT 55740098 SOS 47380422 HAS SOPS 23201204 HAS SOUS 3696441 HAS SOUPS 1482091 WITH SCORE 1529471.422
AT ITER 1525 NEW BEST:: SOT 55735019 SOS 47400906 HAS SOPS 23209124 HAS SOUS 3693174 HAS SOUPS 1478824 WITH SCORE 1526224.906
AT ITER 1530 NEW BEST:: SOT 55734353 SOS 47402016 HAS SOPS 23208236 HAS SOUS 3692952 HAS SOUPS 1478491 WITH SCORE 1525893.016
AT ITER 1541 NEW BEST:: SOT 55734353 SOS 47402016 HAS SOPS 23208236 HAS SOUS 3692638 HAS SOUPS 1478177 WITH SCORE 1525579.016
AT ITER 1554 NEW BEST:: SOT 55731727 SOS 47407278 HAS SOPS 23204570 HAS SOUS 3691060 HAS SOUPS 1476103 WITH SCORE 1523510.278
AT ITER 1555 NEW BEST:: SOT 55731411 SOS 47406646 HAS SOPS 23204886 HAS SOUS 3690586 HAS SOUPS 1475787 WITH SCORE 1523193.646
AT ITER 1563 NEW BEST:: SOT 55731417 SOS 47406502 HAS SOPS 23204850 HAS SOUS 3690574 HAS SOUPS 1475781 WITH SCORE 1523187.502
AT ITER 1567 NEW BEST:: SOT 55729147 SOS 47415556 HAS SOPS 23204796 HAS SOUS 3690235 HAS SOUPS 1474936 WITH SCORE 1522351.556
AT ITER 1569 NEW BEST:: SOT 55727007 SOS 47410134 HAS SOPS 23202800 HAS SOUS 3688810 HAS SOUPS 1474082 WITH SCORE 1521492.134
AT ITER 1595 NEW BEST:: SOT 55725719 SOS 47411606 HAS SOPS 23200960 HAS SOUS 3688074 HAS SOUPS 1473162 WITH SCORE 1520573.606
AT ITER 1598 NEW BEST:: SOT 55725719 SOS 47411606 HAS SOPS 23200960 HAS SOUS 3687708 HAS SOUPS 1472796 WITH SCORE 1520207.606
AT ITER 1599 NEW BEST:: SOT 55725719 SOS 47411606 HAS SOPS 23200960 HAS SOUS 3687342 HAS SOUPS 1472430 WITH SCORE 1519841.606
AT ITER 1616 NEW BEST:: SOT 55724426 SOS 47413750 HAS SOPS 23199234 HAS SOUS 3686588 HAS SOUPS 1471461 WITH SCORE 1518874.75
AT ITER 1618 NEW BEST:: SOT 55723900 SOS 47411782 HAS SOPS 23200014 HAS SOUS 3685688 HAS SOUPS 1471019 WITH SCORE 1518430.782
AT ITER 1646 NEW BEST:: SOT 55722418 SOS 47408324 HAS SOPS 23196556 HAS SOUS 3684700 HAS SOUPS 1470031 WITH SCORE 1517439.324
AT ITER 1656 NEW BEST:: SOT 55722418 SOS 47408324 HAS SOPS 23196556 HAS SOUS 3684662 HAS SOUPS 1469993 WITH SCORE 1517401.324
AT ITER 1663 NEW BEST:: SOT 55719293 SOS 47400780 HAS SOPS 23192894 HAS SOUS 3682375 HAS SOUPS 1468353 WITH SCORE 1515753.78
AT ITER 1674 NEW BEST:: SOT 55719293 SOS 47398470 HAS SOPS 23192894 HAS SOUS 3681605 HAS SOUPS 1467968 WITH SCORE 1515366.47
AT ITER 1698 NEW BEST:: SOT 55718432 SOS 47392752 HAS SOPS 23191706 HAS SOUS 3679558 HAS SOUPS 1466676 WITH SCORE 1514068.752
AT ITER 1720 NEW BEST:: SOT 55715297 SOS 47418228 HAS SOPS 23203574 HAS SOUS 3678257 HAS SOUPS 1465375 WITH SCORE 1512793.2280000001
AT ITER 1725 NEW BEST:: SOT 55713491 SOS 47419776 HAS SOPS 23200478 HAS SOUS 3677483 HAS SOUPS 1464343 WITH SCORE 1511762.776
AT ITER 1729 NEW BEST:: SOT 55709964 SOS 47446156 HAS SOPS 23212842 HAS SOUS 3675875 HAS SOUPS 1462735 WITH SCORE 1510181.156
AT ITER 1736 NEW BEST:: SOT 55709194 SOS 47449544 HAS SOPS 23214382 HAS SOUS 3675259 HAS SOUPS 1462119 WITH SCORE 1509568.544
AT ITER 1738 NEW BEST:: SOT 55709194 SOS 47449544 HAS SOPS 23214382 HAS SOUS 3674893 HAS SOUPS 1461753 WITH SCORE 1509202.544
AT ITER 1743 NEW BEST:: SOT 55709194 SOS 47449544 HAS SOPS 23214382 HAS SOUS 3674527 HAS SOUPS 1461387 WITH SCORE 1508836.544
AT ITER 1746 NEW BEST:: SOT 55707961 SOS 47447078 HAS SOPS 23217916 HAS SOUS 3671686 HAS SOUPS 1459546 WITH SCORE 1506993.078
AT ITER 1772 NEW BEST:: SOT 55707499 SOS 47444838 HAS SOPS 23219624 HAS SOUS 3670566 HAS SOUPS 1459084 WITH SCORE 1506528.838
AT ITER 1820 NEW BEST:: SOT 55703871 SOS 47465376 HAS SOPS 23227910 HAS SOUS 3668175 HAS SOUPS 1456693 WITH SCORE 1504158.376
AT ITER 1822 NEW BEST:: SOT 55703871 SOS 47465376 HAS SOPS 23227910 HAS SOUS 3668077 HAS SOUPS 1456595 WITH SCORE 1504060.376
AT ITER 1830 NEW BEST:: SOT 55701491 SOS 47459080 HAS SOPS 23226222 HAS SOUS 3666979 HAS SOUPS 1456265 WITH SCORE 1503724.08
AT ITER 1834 NEW BEST:: SOT 55700582 SOS 47457262 HAS SOPS 23227374 HAS SOUS 3665131 HAS SOUPS 1454912 WITH SCORE 1502369.262
AT ITER 1847 NEW BEST:: SOT 55701239 SOS 47461466 HAS SOPS 23231578 HAS SOUS 3665069 HAS SOUPS 1454850 WITH SCORE 1502311.466
AT ITER 1860 NEW BEST:: SOT 55697981 SOS 47453602 HAS SOPS 23227758 HAS SOUS 3662499 HAS SOUPS 1452954 WITH SCORE 1500407.602
AT ITER 1861 NEW BEST:: SOT 55696075 SOS 47449790 HAS SOPS 23223946 HAS SOUS 3660230 HAS SOUPS 1450685 WITH SCORE 1498134.79
AT ITER 1867 NEW BEST:: SOT 55696075 SOS 47449262 HAS SOPS 23225002 HAS SOUS 3659966 HAS SOUPS 1450685 WITH SCORE 1498134.262
AT ITER 1896 NEW BEST:: SOT 55695901 SOS 47448914 HAS SOPS 23224654 HAS SOUS 3659618 HAS SOUPS 1450337 WITH SCORE 1497785.914
AT ITER 1906 NEW BEST:: SOT 55695901 SOS 47448914 HAS SOPS 23224654 HAS SOUS 3659260 HAS SOUPS 1449979 WITH SCORE 1497427.914
AT ITER 1930 NEW BEST:: SOT 55695217 SOS 47445281 HAS SOPS 23221021 HAS SOUS 3659244 HAS SOUPS 1449963 WITH SCORE 1497408.281
AT ITER 1938 NEW BEST:: SOT 55695217 SOS 47445281 HAS SOPS 23221021 HAS SOUS 3659148 HAS SOUPS 1449867 WITH SCORE 1497312.281
AT ITER 1947 NEW BEST:: SOT 55695178 SOS 47445541 HAS SOPS 23221047 HAS SOUS 3659148 HAS SOUPS 1449854 WITH SCORE 1497299.541
AT ITER 1950 NEW BEST:: SOT 55695178 SOS 47445541 HAS SOPS 23221047 HAS SOUS 3658826 HAS SOUPS 1449532 WITH SCORE 1496977.541
AT ITER 1963 NEW BEST:: SOT 55695178 SOS 47445541 HAS SOPS 23221047 HAS SOUS 3658626 HAS SOUPS 1449332 WITH SCORE 1496777.541
AT ITER 1969 NEW BEST:: SOT 55693942 SOS 47447029 HAS SOPS 23219295 HAS SOUS 3657918 HAS SOUPS 1448444 WITH SCORE 1495891.029
AT ITER 1973 NEW BEST:: SOT 55693815 SOS 47446301 HAS SOPS 23219041 HAS SOUS 3657663 HAS SOUPS 1448268 WITH SCORE 1495714.301
AT ITER 1983 NEW BEST:: SOT 55690102 SOS 47463757 HAS SOPS 23225193 HAS SOUS 3655912 HAS SOUPS 1446517 WITH SCORE 1493980.757
AT ITER 1985 NEW BEST:: SOT 55689726 SOS 47462629 HAS SOPS 23224065 HAS SOUS 3655536 HAS SOUPS 1446141 WITH SCORE 1493603.629
AT ITER 2005 NEW BEST:: SOT 55687402 SOS 47470547 HAS SOPS 23222083 HAS SOUS 3654845 HAS SOUPS 1444900 WITH SCORE 1492370.547
AT ITER 2015 NEW BEST:: SOT 55686974 SOS 47473115 HAS SOPS 23223367 HAS SOUS 3654524 HAS SOUPS 1444579 WITH SCORE 1492052.115
AT ITER 2040 NEW BEST:: SOT 55686814 SOS 47472755 HAS SOPS 23222967 HAS SOUS 3654444 HAS SOUPS 1444499 WITH SCORE 1491971.755
AT ITER 2043 NEW BEST:: SOT 55686814 SOS 47472755 HAS SOPS 23222967 HAS SOUS 3654440 HAS SOUPS 1444495 WITH SCORE 1491967.755
AT ITER 2054 NEW BEST:: SOT 55685650 SOS 47475159 HAS SOPS 23222095 HAS SOUS 3653966 HAS SOUPS 1443839 WITH SCORE 1491314.159
AT ITER 2070 NEW BEST:: SOT 55685404 SOS 47474667 HAS SOPS 23222341 HAS SOUS 3653474 HAS SOUPS 1443470 WITH SCORE 1490944.667
AT ITER 2086 NEW BEST:: SOT 55683219 SOS 47476637 HAS SOPS 23218605 HAS SOUS 3651984 HAS SOUPS 1441663 WITH SCORE 1489139.637
AT ITER 2100 NEW BEST:: SOT 55683001 SOS 47475765 HAS SOPS 23217733 HAS SOUS 3651766 HAS SOUPS 1441445 WITH SCORE 1488920.765
AT ITER 2101 NEW BEST:: SOT 55683145 SOS 47476053 HAS SOPS 23218021 HAS SOUS 3651491 HAS SOUPS 1441170 WITH SCORE 1488646.053
AT ITER 2107 NEW BEST:: SOT 55681143 SOS 47490339 HAS SOPS 23223115 HAS SOUS 3651058 HAS SOUPS 1440737 WITH SCORE 1488227.339
AT ITER 2112 NEW BEST:: SOT 55681143 SOS 47490339 HAS SOPS 23223115 HAS SOUS 3650692 HAS SOUPS 1440371 WITH SCORE 1487861.339
AT ITER 2117 NEW BEST:: SOT 55680180 SOS 47503709 HAS SOPS 23230749 HAS SOUS 3650207 HAS SOUPS 1439886 WITH SCORE 1487389.709
AT ITER 2123 NEW BEST:: SOT 55679705 SOS 47502759 HAS SOPS 23234371 HAS SOUS 3648865 HAS SOUPS 1439306 WITH SCORE 1486808.759
AT ITER 2159 NEW BEST:: SOT 55678912 SOS 47501173 HAS SOPS 23236013 HAS SOUS 3647174 HAS SOUPS 1438153 WITH SCORE 1485654.173
AT ITER 2163 NEW BEST:: SOT 55677188 SOS 47497125 HAS SOPS 23231965 HAS SOUS 3646028 HAS SOUPS 1437007 WITH SCORE 1484504.125
AT ITER 2181 NEW BEST:: SOT 55674732 SOS 47502573 HAS SOPS 23228089 HAS SOUS 3644654 HAS SOUPS 1435115 WITH SCORE 1482617.573
AT ITER 2185 NEW BEST:: SOT 55673562 SOS 47499507 HAS SOPS 23225023 HAS SOUS 3644573 HAS SOUPS 1435034 WITH SCORE 1482533.507
AT ITER 2191 NEW BEST:: SOT 55673088 SOS 47502035 HAS SOPS 23224707 HAS SOUS 3644099 HAS SOUPS 1434402 WITH SCORE 1481904.035
AT ITER 2193 NEW BEST:: SOT 55672776 SOS 47500891 HAS SOPS 23223563 HAS SOUS 3643891 HAS SOUPS 1434194 WITH SCORE 1481694.891
AT ITER 2211 NEW BEST:: SOT 55657920 SOS 47478360 HAS SOPS 23213531 HAS SOUS 3643188 HAS SOUPS 1434125 WITH SCORE 1481603.36
AT ITER 2221 NEW BEST:: SOT 55657920 SOS 47478360 HAS SOPS 23213531 HAS SOUS 3643180 HAS SOUPS 1434117 WITH SCORE 1481595.36
AT ITER 2253 NEW BEST:: SOT 55656664 SOS 47475848 HAS SOPS 23215987 HAS SOUS 3640524 HAS SOUPS 1432289 WITH SCORE 1479764.848
AT ITER 2256 NEW BEST:: SOT 55656664 SOS 47475848 HAS SOPS 23215987 HAS SOUS 3640158 HAS SOUPS 1431923 WITH SCORE 1479398.848
AT ITER 2268 NEW BEST:: SOT 55654224 SOS 47470350 HAS SOPS 23210489 HAS SOUS 3638833 HAS SOUPS 1430598 WITH SCORE 1478068.35
AT ITER 2271 NEW BEST:: SOT 55650682 SOS 47492664 HAS SOPS 23220107 HAS SOUS 3636671 HAS SOUPS 1428436 WITH SCORE 1475928.664
AT ITER 2273 NEW BEST:: SOT 55650129 SOS 47493138 HAS SOPS 23219633 HAS SOUS 3636434 HAS SOUPS 1428199 WITH SCORE 1475692.138
AT ITER 2281 NEW BEST:: SOT 55650129 SOS 47493138 HAS SOPS 23219633 HAS SOUS 3636260 HAS SOUPS 1428025 WITH SCORE 1475518.138
AT ITER 2298 NEW BEST:: SOT 55649721 SOS 47563197 HAS SOPS 23219192 HAS SOUS 3636439 HAS SOUPS 1427829 WITH SCORE 1475392.197
AT ITER 2304 NEW BEST:: SOT 55649243 SOS 47562241 HAS SOPS 23221230 HAS SOUS 3635471 HAS SOUPS 1427360 WITH SCORE 1474922.241
AT ITER 2319 NEW BEST:: SOT 55644722 SOS 47572011 HAS SOPS 23222312 HAS SOUS 3632383 HAS SOUPS 1424272 WITH SCORE 1471844.011
AT ITER 2321 NEW BEST:: SOT 55644722 SOS 47572011 HAS SOPS 23222312 HAS SOUS 3632017 HAS SOUPS 1423906 WITH SCORE 1471478.011
AT ITER 2324 NEW BEST:: SOT 55641310 SOS 47563613 HAS SOPS 23218636 HAS SOUS 3629738 HAS SOUPS 1422414 WITH SCORE 1469977.613
AT ITER 2339 NEW BEST:: SOT 55641310 SOS 47563613 HAS SOPS 23218636 HAS SOUS 3629462 HAS SOUPS 1422138 WITH SCORE 1469701.613
AT ITER 2341 NEW BEST:: SOT 55641310 SOS 47563613 HAS SOPS 23218636 HAS SOUS 3629178 HAS SOUPS 1421854 WITH SCORE 1469417.613
AT ITER 2347 NEW BEST:: SOT 55641310 SOS 47563613 HAS SOPS 23218636 HAS SOUS 3629092 HAS SOUPS 1421768 WITH SCORE 1469331.613
AT ITER 2359 NEW BEST:: SOT 55638428 SOS 47556201 HAS SOPS 23216168 HAS SOUS 3627485 HAS SOUPS 1420985 WITH SCORE 1468541.201
AT ITER 2419 NEW BEST:: SOT 55635194 SOS 47567627 HAS SOPS 23218222 HAS SOUS 3625767 HAS SOUPS 1419267 WITH SCORE 1466834.627
AT ITER 2422 NEW BEST:: SOT 55635006 SOS 47567995 HAS SOPS 23218590 HAS SOUS 3625455 HAS SOUPS 1418955 WITH SCORE 1466522.995
AT ITER 2431 NEW BEST:: SOT 55634652 SOS 47567287 HAS SOPS 23218944 HAS SOUS 3624747 HAS SOUPS 1418424 WITH SCORE 1465991.287
AT ITER 2437 NEW BEST:: SOT 55634652 SOS 47567287 HAS SOPS 23218944 HAS SOUS 3624381 HAS SOUPS 1418058 WITH SCORE 1465625.287
AT ITER 2451 NEW BEST:: SOT 55634652 SOS 47567287 HAS SOPS 23218944 HAS SOUS 3624371 HAS SOUPS 1418048 WITH SCORE 1465615.287
AT ITER 2462 NEW BEST:: SOT 55631400 SOS 47584161 HAS SOPS 23225330 HAS SOUS 3622488 HAS SOUPS 1416165 WITH SCORE 1463749.161
AT ITER 2478 NEW BEST:: SOT 55630868 SOS 47582641 HAS SOPS 23228304 HAS SOUS 3621575 HAS SOUPS 1415925 WITH SCORE 1463507.641
AT ITER 2483 NEW BEST:: SOT 55630668 SOS 47582241 HAS SOPS 23227904 HAS SOUS 3621475 HAS SOUPS 1415825 WITH SCORE 1463407.241
AT ITER 2497 NEW BEST:: SOT 55629664 SOS 47580233 HAS SOPS 23228908 HAS SOUS 3619467 HAS SOUPS 1414319 WITH SCORE 1461899.233
AT ITER 2512 NEW BEST:: SOT 55629664 SOS 47580233 HAS SOPS 23228908 HAS SOUS 3619101 HAS SOUPS 1413953 WITH SCORE 1461533.233
AT ITER 2532 NEW BEST:: SOT 55629664 SOS 47580233 HAS SOPS 23228908 HAS SOUS 3618889 HAS SOUPS 1413741 WITH SCORE 1461321.233
AT ITER 2541 NEW BEST:: SOT 55626778 SOS 47585537 HAS SOPS 23226544 HAS SOUS 3617233 HAS SOUPS 1411659 WITH SCORE 1459244.537
AT ITER 2551 NEW BEST:: SOT 55626841 SOS 47585663 HAS SOPS 23226670 HAS SOUS 3616949 HAS SOUPS 1411375 WITH SCORE 1458960.663
AT ITER 2572 NEW BEST:: SOT 55626055 SOS 47582625 HAS SOPS 23228030 HAS SOUS 3615430 HAS SOUPS 1410589 WITH SCORE 1458171.625
AT ITER 2587 NEW BEST:: SOT 55626055 SOS 47582625 HAS SOPS 23228030 HAS SOUS 3615338 HAS SOUPS 1410497 WITH SCORE 1458079.625
AT ITER 2593 NEW BEST:: SOT 55625987 SOS 47582489 HAS SOPS 23227894 HAS SOUS 3615270 HAS SOUPS 1410429 WITH SCORE 1458011.489
AT ITER 2609 NEW BEST:: SOT 55621799 SOS 47594427 HAS SOPS 23229800 HAS SOUS 3613288 HAS SOUPS 1408447 WITH SCORE 1456041.427
AT ITER 2618 NEW BEST:: SOT 55620895 SOS 47590817 HAS SOPS 23231596 HAS SOUS 3611702 HAS SOUPS 1407762 WITH SCORE 1455352.817
AT ITER 2642 NEW BEST:: SOT 55620895 SOS 47590817 HAS SOPS 23231596 HAS SOUS 3611700 HAS SOUPS 1407760 WITH SCORE 1455350.817
AT ITER 2652 NEW BEST:: SOT 55620836 SOS 47590699 HAS SOPS 23231478 HAS SOUS 3611687 HAS SOUPS 1407747 WITH SCORE 1455337.699
AT ITER 2661 NEW BEST:: SOT 55620396 SOS 47590919 HAS SOPS 23231038 HAS SOUS 3611412 HAS SOUPS 1407472 WITH SCORE 1455062.919
AT ITER 2666 NEW BEST:: SOT 55616540 SOS 47596791 HAS SOPS 23229206 HAS SOUS 3608161 HAS SOUPS 1404221 WITH SCORE 1451817.791
AT ITER 2672 NEW BEST:: SOT 55616010 SOS 47594649 HAS SOPS 23230310 HAS SOUS 3607090 HAS SOUPS 1403691 WITH SCORE 1451285.649
AT ITER 2688 NEW BEST:: SOT 55609279 SOS 47584060 HAS SOPS 23225949 HAS SOUS 3606362 HAS SOUPS 1403482 WITH SCORE 1451066.06
AT ITER 2703 NEW BEST:: SOT 55608637 SOS 47581620 HAS SOPS 23226977 HAS SOUS 3605142 HAS SOUPS 1402840 WITH SCORE 1450421.62
AT ITER 2706 NEW BEST:: SOT 55607042 SOS 47585116 HAS SOPS 23225919 HAS SOUS 3604616 HAS SOUPS 1402061 WITH SCORE 1449646.116
AT ITER 2723 NEW BEST:: SOT 55606351 SOS 47583734 HAS SOPS 23226973 HAS SOUS 3603234 HAS SOUPS 1401085 WITH SCORE 1448668.734
AT ITER 2781 NEW BEST:: SOT 55606351 SOS 47583734 HAS SOPS 23226973 HAS SOUS 3603060 HAS SOUPS 1400911 WITH SCORE 1448494.734
AT ITER 2804 NEW BEST:: SOT 55605171 SOS 47577468 HAS SOPS 23225507 HAS SOUS 3600699 HAS SOUPS 1399350 WITH SCORE 1446927.468
AT ITER 2824 NEW BEST:: SOT 55605171 SOS 47577468 HAS SOPS 23225507 HAS SOUS 3600477 HAS SOUPS 1399128 WITH SCORE 1446705.468
AT ITER 2836 NEW BEST:: SOT 55603203 SOS 47391933 HAS SOPS 23217256 HAS SOUS 3599169 HAS SOUPS 1398763 WITH SCORE 1446154.933
AT ITER 2840 NEW BEST:: SOT 55603009 SOS 47390923 HAS SOPS 23218112 HAS SOUS 3598664 HAS SOUPS 1398569 WITH SCORE 1445959.923
AT ITER 2874 NEW BEST:: SOT 55602987 SOS 47392067 HAS SOPS 23216202 HAS SOUS 3598937 HAS SOUPS 1398333 WITH SCORE 1445725.067
AT ITER 2877 NEW BEST:: SOT 55599914 SOS 47393761 HAS SOPS 23210840 HAS SOUS 3597179 HAS SOUPS 1396183 WITH SCORE 1443576.761
AT ITER 2889 NEW BEST:: SOT 55597878 SOS 47408025 HAS SOPS 23218228 HAS SOUS 3595716 HAS SOUPS 1394720 WITH SCORE 1442128.025
AT ITER 2896 NEW BEST:: SOT 55597573 SOS 47407415 HAS SOPS 23217618 HAS SOUS 3595117 HAS SOUPS 1394121 WITH SCORE 1441528.415
AT ITER 2900 NEW BEST:: SOT 55597573 SOS 47407415 HAS SOPS 23217618 HAS SOUS 3594751 HAS SOUPS 1393755 WITH SCORE 1441162.415
AT ITER 2908 NEW BEST:: SOT 55597573 SOS 47407415 HAS SOPS 23217618 HAS SOUS 3594431 HAS SOUPS 1393435 WITH SCORE 1440842.415
AT ITER 2922 NEW BEST:: SOT 55597573 SOS 47407415 HAS SOPS 23217618 HAS SOUS 3594175 HAS SOUPS 1393179 WITH SCORE 1440586.415
AT ITER 2934 NEW BEST:: SOT 55596333 SOS 47412621 HAS SOPS 23216128 HAS SOUS 3593410 HAS SOUPS 1392042 WITH SCORE 1439454.621
AT ITER 2953 NEW BEST:: SOT 55592969 SOS 47435315 HAS SOPS 23225550 HAS SOUS 3592144 HAS SOUPS 1390776 WITH SCORE 1438211.315
AT ITER 2954 NEW BEST:: SOT 55592935 SOS 47435383 HAS SOPS 23225618 HAS SOUS 3592110 HAS SOUPS 1390742 WITH SCORE 1438177.383
AT ITER 2959 NEW BEST:: SOT 55592930 SOS 47435405 HAS SOPS 23225628 HAS SOUS 3592106 HAS SOUPS 1390738 WITH SCORE 1438173.405
AT ITER 2973 NEW BEST:: SOT 55592846 SOS 47435597 HAS SOPS 23225748 HAS SOUS 3592058 HAS SOUPS 1390702 WITH SCORE 1438137.597
AT ITER 2982 NEW BEST:: SOT 55593755 SOS 47437618 HAS SOPS 23225837 HAS SOUS 3592265 HAS SOUPS 1390499 WITH SCORE 1437936.618
AT ITER 2983 NEW BEST:: SOT 55592353 SOS 47442246 HAS SOPS 23225461 HAS SOUS 3591466 HAS SOUPS 1389422 WITH SCORE 1436864.246
AT ITER 3007 NEW BEST:: SOT 55592353 SOS 47442246 HAS SOPS 23225461 HAS SOUS 3591100 HAS SOUPS 1389056 WITH SCORE 1436498.246
AT ITER 3015 NEW BEST:: SOT 55592353 SOS 47440104 HAS SOPS 23225461 HAS SOUS 3590743 HAS SOUPS 1389056 WITH SCORE 1436496.104
AT ITER 3038 NEW BEST:: SOT 55589594 SOS 47441166 HAS SOPS 23220601 HAS SOUS 3588971 HAS SOUPS 1386955 WITH SCORE 1434396.166
AT ITER 3039 NEW BEST:: SOT 55582673 SOS 47445800 HAS SOPS 23216007 HAS SOUS 3583938 HAS SOUPS 1381922 WITH SCORE 1429367.8
AT ITER 3055 NEW BEST:: SOT 55582673 SOS 47445800 HAS SOPS 23216007 HAS SOUS 3583866 HAS SOUPS 1381850 WITH SCORE 1429295.8
AT ITER 3108 NEW BEST:: SOT 55582469 SOS 47445290 HAS SOPS 23215497 HAS SOUS 3583866 HAS SOUPS 1381850 WITH SCORE 1429295.29
AT ITER 3110 NEW BEST:: SOT 55577187 SOS 47466866 HAS SOPS 23227725 HAS SOUS 3582207 HAS SOUPS 1381049 WITH SCORE 1428515.866
AT ITER 3145 NEW BEST:: SOT 55577187 SOS 47466866 HAS SOPS 23227725 HAS SOUS 3581859 HAS SOUPS 1380701 WITH SCORE 1428167.866
AT ITER 3153 NEW BEST:: SOT 55577187 SOS 47466476 HAS SOPS 23227725 HAS SOUS 3581794 HAS SOUPS 1380701 WITH SCORE 1428167.476
AT ITER 3179 NEW BEST:: SOT 55577187 SOS 47466476 HAS SOPS 23227725 HAS SOUS 3581752 HAS SOUPS 1380659 WITH SCORE 1428125.476
AT ITER 3181 NEW BEST:: SOT 55577187 SOS 47466476 HAS SOPS 23227725 HAS SOUS 3581652 HAS SOUPS 1380559 WITH SCORE 1428025.476
AT ITER 3190 NEW BEST:: SOT 55576984 SOS 47466070 HAS SOPS 23225801 HAS SOUS 3581499 HAS SOUPS 1380153 WITH SCORE 1427619.07
AT ITER 3198 NEW BEST:: SOT 55576984 SOS 47466070 HAS SOPS 23225801 HAS SOUS 3581295 HAS SOUPS 1379949 WITH SCORE 1427415.07
AT ITER 3207 NEW BEST:: SOT 55574980 SOS 47470020 HAS SOPS 23225995 HAS SOUS 3580263 HAS SOUPS 1378917 WITH SCORE 1426387.02
AT ITER 3230 NEW BEST:: SOT 55572493 SOS 47482924 HAS SOPS 23232107 HAS SOUS 3578323 HAS SOUPS 1376977 WITH SCORE 1424459.924
AT ITER 3248 NEW BEST:: SOT 55572366 SOS 47482416 HAS SOPS 23232361 HAS SOUS 3578196 HAS SOUPS 1376977 WITH SCORE 1424459.416
AT ITER 3256 NEW BEST:: SOT 55571370 SOS 47480424 HAS SOPS 23230369 HAS SOUS 3576778 HAS SOUPS 1375559 WITH SCORE 1423039.424
AT ITER 3257 NEW BEST:: SOT 55571370 SOS 47480424 HAS SOPS 23230369 HAS SOUS 3576708 HAS SOUPS 1375489 WITH SCORE 1422969.424
AT ITER 3262 NEW BEST:: SOT 55571328 SOS 47480340 HAS SOPS 23230285 HAS SOUS 3576666 HAS SOUPS 1375447 WITH SCORE 1422927.34
AT ITER 3263 NEW BEST:: SOT 55571020 SOS 47480604 HAS SOPS 23230021 HAS SOUS 3576534 HAS SOUPS 1375315 WITH SCORE 1422795.604
AT ITER 3279 NEW BEST:: SOT 55568133 SOS 47500444 HAS SOPS 23238341 HAS SOUS 3574584 HAS SOUPS 1373365 WITH SCORE 1420865.444
AT ITER 3285 NEW BEST:: SOT 55568133 SOS 47500444 HAS SOPS 23238341 HAS SOUS 3573908 HAS SOUPS 1372689 WITH SCORE 1420189.444
AT ITER 3287 NEW BEST:: SOT 55567923 SOS 47500024 HAS SOPS 23242181 HAS SOUS 3573192 HAS SOUPS 1372683 WITH SCORE 1420183.024
AT ITER 3302 NEW BEST:: SOT 55567489 SOS 47500458 HAS SOPS 23242615 HAS SOUS 3572583 HAS SOUPS 1372074 WITH SCORE 1419574.458
AT ITER 3305 NEW BEST:: SOT 55566303 SOS 47497774 HAS SOPS 23244617 HAS SOUS 3570159 HAS SOUPS 1370431 WITH SCORE 1417928.774
AT ITER 3316 NEW BEST:: SOT 55563283 SOS 47490418 HAS SOPS 23241209 HAS SOUS 3568015 HAS SOUPS 1368945 WITH SCORE 1416435.418
AT ITER 3319 NEW BEST:: SOT 55563075 SOS 47490002 HAS SOPS 23240793 HAS SOUS 3567703 HAS SOUPS 1368633 WITH SCORE 1416123.002
AT ITER 3337 NEW BEST:: SOT 55563075 SOS 47490002 HAS SOPS 23240793 HAS SOUS 3567487 HAS SOUPS 1368417 WITH SCORE 1415907.002
AT ITER 3343 NEW BEST:: SOT 55562339 SOS 47484474 HAS SOPS 23239321 HAS SOUS 3565924 HAS SOUPS 1367530 WITH SCORE 1415014.474
AT ITER 3347 NEW BEST:: SOT 55564245 SOS 47466766 HAS SOPS 23231729 HAS SOUS 3565212 HAS SOUPS 1367108 WITH SCORE 1414574.766
AT ITER 3354 NEW BEST:: SOT 55573994 SOS 47475765 HAS SOPS 23236690 HAS SOUS 3564148 HAS SOUPS 1366257 WITH SCORE 1413732.765
AT ITER 3387 NEW BEST:: SOT 55573994 SOS 47475765 HAS SOPS 23238394 HAS SOUS 3563863 HAS SOUPS 1366256 WITH SCORE 1413731.765
AT ITER 3389 NEW BEST:: SOT 55573994 SOS 47475765 HAS SOPS 23238394 HAS SOUS 3563671 HAS SOUPS 1366064 WITH SCORE 1413539.765
AT ITER 3396 NEW BEST:: SOT 55573726 SOS 47474829 HAS SOPS 23237458 HAS SOUS 3563403 HAS SOUPS 1365796 WITH SCORE 1413270.829
AT ITER 3406 NEW BEST:: SOT 55574619 SOS 47312303 HAS SOPS 23074932 HAS SOUS 3562827 HAS SOUPS 1365220 WITH SCORE 1412532.303
AT ITER 3410 NEW BEST:: SOT 55574619 SOS 47312303 HAS SOPS 23074932 HAS SOUS 3562587 HAS SOUPS 1364980 WITH SCORE 1412292.303
AT ITER 3419 NEW BEST:: SOT 55574332 SOS 47311729 HAS SOPS 23075732 HAS SOUS 3561928 HAS SOUPS 1364550 WITH SCORE 1411861.729
AT ITER 3420 NEW BEST:: SOT 55574035 SOS 47311135 HAS SOPS 23075138 HAS SOUS 3561631 HAS SOUPS 1364253 WITH SCORE 1411564.135
AT ITER 3448 NEW BEST:: SOT 55573563 SOS 47310191 HAS SOPS 23077986 HAS SOUS 3560527 HAS SOUPS 1363781 WITH SCORE 1411091.191
AT ITER 3449 NEW BEST:: SOT 55572439 SOS 47307943 HAS SOPS 23075738 HAS SOUS 3559401 HAS SOUPS 1362655 WITH SCORE 1409962.943
AT ITER 3471 NEW BEST:: SOT 55570993 SOS 47311505 HAS SOPS 23074296 HAS SOUS 3559081 HAS SOUPS 1362057 WITH SCORE 1409368.505
AT ITER 3474 NEW BEST:: SOT 55570972 SOS 47311463 HAS SOPS 23074254 HAS SOUS 3559060 HAS SOUPS 1362036 WITH SCORE 1409347.463
AT ITER 3482 NEW BEST:: SOT 55570972 SOS 47311463 HAS SOPS 23074254 HAS SOUS 3558844 HAS SOUPS 1361820 WITH SCORE 1409131.463
AT ITER 3484 NEW BEST:: SOT 55566642 SOS 47325545 HAS SOPS 23077416 HAS SOUS 3555376 HAS SOUPS 1358352 WITH SCORE 1405677.545
AT ITER 3509 NEW BEST:: SOT 55566642 SOS 47325545 HAS SOPS 23077416 HAS SOUS 3555334 HAS SOUPS 1358310 WITH SCORE 1405635.545
AT ITER 3511 NEW BEST:: SOT 55568675 SOS 47304635 HAS SOPS 23067042 HAS SOUS 3555250 HAS SOUPS 1358226 WITH SCORE 1405530.635
AT ITER 3513 NEW BEST:: SOT 55562083 SOS 47316291 HAS SOPS 23066062 HAS SOUS 3551846 HAS SOUPS 1354822 WITH SCORE 1402138.291
AT ITER 3545 NEW BEST:: SOT 55558775 SOS 47324025 HAS SOPS 23066140 HAS SOUS 3549687 HAS SOUPS 1352663 WITH SCORE 1399987.025
AT ITER 3550 NEW BEST:: SOT 55558775 SOS 47324025 HAS SOPS 23066140 HAS SOUS 3549393 HAS SOUPS 1352369 WITH SCORE 1399693.025
AT ITER 3557 NEW BEST:: SOT 55562887 SOS 47329262 HAS SOPS 23068089 HAS SOUS 3548838 HAS SOUPS 1351814 WITH SCORE 1399143.262
AT ITER 3590 NEW BEST:: SOT 55562075 SOS 47327162 HAS SOPS 23065989 HAS SOUS 3548502 HAS SOUPS 1351478 WITH SCORE 1398805.162
AT ITER 3604 NEW BEST:: SOT 55562327 SOS 47273996 HAS SOPS 23066215 HAS SOUS 3548226 HAS SOUPS 1351486 WITH SCORE 1398759.996
AT ITER 3622 NEW BEST:: SOT 55561843 SOS 47269482 HAS SOPS 23066147 HAS SOUS 3547208 HAS SOUPS 1351209 WITH SCORE 1398478.482
AT ITER 3636 NEW BEST:: SOT 55561703 SOS 47269622 HAS SOPS 23066287 HAS SOUS 3547067 HAS SOUPS 1351068 WITH SCORE 1398337.622
AT ITER 3641 NEW BEST:: SOT 55561703 SOS 47269622 HAS SOPS 23066287 HAS SOUS 3546729 HAS SOUPS 1350730 WITH SCORE 1397999.622
AT ITER 3653 NEW BEST:: SOT 55562771 SOS 47276628 HAS SOPS 23069911 HAS SOUS 3546373 HAS SOUPS 1350374 WITH SCORE 1397650.628
AT ITER 3662 NEW BEST:: SOT 55562297 SOS 47275680 HAS SOPS 23072593 HAS SOUS 3545074 HAS SOUPS 1349680 WITH SCORE 1396955.68
AT ITER 3687 NEW BEST:: SOT 55564915 SOS 47276802 HAS SOPS 23073715 HAS SOUS 3543951 HAS SOUPS 1348931 WITH SCORE 1396207.802
AT ITER 3688 NEW BEST:: SOT 55564589 SOS 47276480 HAS SOPS 23070471 HAS SOUS 3543592 HAS SOUPS 1348085 WITH SCORE 1395361.48
AT ITER 3716 NEW BEST:: SOT 55563055 SOS 47282824 HAS SOPS 23070299 HAS SOUS 3543711 HAS SOUPS 1347842 WITH SCORE 1395124.824
AT ITER 3727 NEW BEST:: SOT 55563055 SOS 47282824 HAS SOPS 23070299 HAS SOUS 3543345 HAS SOUPS 1347476 WITH SCORE 1394758.824
AT ITER 3736 NEW BEST:: SOT 55563055 SOS 47282824 HAS SOPS 23070299 HAS SOUS 3543317 HAS SOUPS 1347448 WITH SCORE 1394730.824
AT ITER 3770 NEW BEST:: SOT 55562744 SOS 47282202 HAS SOPS 23069677 HAS SOUS 3543006 HAS SOUPS 1347137 WITH SCORE 1394419.202
AT ITER 3784 NEW BEST:: SOT 55559894 SOS 47298898 HAS SOPS 23075621 HAS SOUS 3541610 HAS SOUPS 1345741 WITH SCORE 1393039.898
AT ITER 3794 NEW BEST:: SOT 55559894 SOS 47298898 HAS SOPS 23075621 HAS SOUS 3541244 HAS SOUPS 1345375 WITH SCORE 1392673.898
AT ITER 3805 NEW BEST:: SOT 55556244 SOS 47313172 HAS SOPS 23078891 HAS SOUS 3539252 HAS SOUPS 1343383 WITH SCORE 1390696.172
AT ITER 3807 NEW BEST:: SOT 55556244 SOS 47313172 HAS SOPS 23078891 HAS SOUS 3538886 HAS SOUPS 1343017 WITH SCORE 1390330.172
AT ITER 3810 NEW BEST:: SOT 55554457 SOS 47318568 HAS SOPS 23078077 HAS SOUS 3538510 HAS SOUPS 1342296 WITH SCORE 1389614.568
AT ITER 3829 NEW BEST:: SOT 55554457 SOS 47318568 HAS SOPS 23078077 HAS SOUS 3538506 HAS SOUPS 1342292 WITH SCORE 1389610.568
AT ITER 3859 NEW BEST:: SOT 55540346 SOS 47296681 HAS SOPS 23068442 HAS SOUS 3537050 HAS SOUPS 1341644 WITH SCORE 1388940.681
AT ITER 3864 NEW BEST:: SOT 55536032 SOS 47319345 HAS SOPS 23078422 HAS SOUS 3535001 HAS SOUPS 1339595 WITH SCORE 1386914.345
AT ITER 3868 NEW BEST:: SOT 55531535 SOS 47327749 HAS SOPS 23077838 HAS SOUS 3531082 HAS SOUPS 1335676 WITH SCORE 1383003.749
AT ITER 3870 NEW BEST:: SOT 55530223 SOS 47325125 HAS SOPS 23075214 HAS SOUS 3529901 HAS SOUPS 1334495 WITH SCORE 1381820.125
AT ITER 3880 NEW BEST:: SOT 55530223 SOS 47325125 HAS SOPS 23075214 HAS SOUS 3529535 HAS SOUPS 1334129 WITH SCORE 1381454.125
AT ITER 3891 NEW BEST:: SOT 55530223 SOS 47325125 HAS SOPS 23075214 HAS SOUS 3528809 HAS SOUPS 1333403 WITH SCORE 1380728.125
AT ITER 3915 NEW BEST:: SOT 55531301 SOS 47298502 HAS SOPS 23062433 HAS SOUS 3527865 HAS SOUPS 1333228 WITH SCORE 1380526.502
AT ITER 3916 NEW BEST:: SOT 55531301 SOS 47298502 HAS SOPS 23062433 HAS SOUS 3527825 HAS SOUPS 1333188 WITH SCORE 1380486.502
AT ITER 3936 NEW BEST:: SOT 55530886 SOS 47297672 HAS SOPS 23061603 HAS SOUS 3526837 HAS SOUPS 1332200 WITH SCORE 1379497.672
AT ITER 3939 NEW BEST:: SOT 55530594 SOS 47293488 HAS SOPS 23057419 HAS SOUS 3526616 HAS SOUPS 1331979 WITH SCORE 1379272.488
AT ITER 3952 NEW BEST:: SOT 55525178 SOS 47303746 HAS SOPS 23057993 HAS SOUS 3522797 HAS SOUPS 1328160 WITH SCORE 1375463.746
AT ITER 3974 NEW BEST:: SOT 55524138 SOS 47301666 HAS SOPS 23059033 HAS SOUS 3520717 HAS SOUPS 1326600 WITH SCORE 1373901.666
AT ITER 3980 NEW BEST:: SOT 55518829 SOS 47325776 HAS SOPS 23070111 HAS SOUS 3517408 HAS SOUPS 1323291 WITH SCORE 1370616.776
AT ITER 3988 NEW BEST:: SOT 55516645 SOS 47320046 HAS SOPS 23068467 HAS SOUS 3516401 HAS SOUPS 1322965 WITH SCORE 1370285.046
AT ITER 4031 NEW BEST:: SOT 55516645 SOS 47319758 HAS SOPS 23068179 HAS SOUS 3516401 HAS SOUPS 1322965 WITH SCORE 1370284.758
AT ITER 4043 NEW BEST:: SOT 55514278 SOS 47314114 HAS SOPS 23065265 HAS SOUS 3514551 HAS SOUPS 1321570 WITH SCORE 1368884.114
AT ITER 4053 NEW BEST:: SOT 55514486 SOS 47315186 HAS SOPS 23064369 HAS SOUS 3514225 HAS SOUPS 1320916 WITH SCORE 1368231.186
AT ITER 4065 NEW BEST:: SOT 55514001 SOS 47313076 HAS SOPS 23065679 HAS SOUS 3513170 HAS SOUPS 1320431 WITH SCORE 1367744.076
AT ITER 4138 NEW BEST:: SOT 55514001 SOS 47313076 HAS SOPS 23065679 HAS SOUS 3513150 HAS SOUPS 1320411 WITH SCORE 1367724.076
AT ITER 4142 NEW BEST:: SOT 55513888 SOS 47312850 HAS SOPS 23065825 HAS SOUS 3512975 HAS SOUPS 1320298 WITH SCORE 1367610.85
AT ITER 4146 NEW BEST:: SOT 55510892 SOS 47324304 HAS SOPS 23068939 HAS SOUS 3511529 HAS SOUPS 1318852 WITH SCORE 1366176.304
AT ITER 4177 NEW BEST:: SOT 55510456 SOS 47322646 HAS SOPS 23067281 HAS SOUS 3511435 HAS SOUPS 1318758 WITH SCORE 1366080.646
AT ITER 4180 NEW BEST:: SOT 55490942 SOS 47292510 HAS SOPS 23055289 HAS SOUS 3509942 HAS SOUPS 1318777 WITH SCORE 1366069.51
AT ITER 4181 NEW BEST:: SOT 55490942 SOS 47292510 HAS SOPS 23055289 HAS SOUS 3509584 HAS SOUPS 1318419 WITH SCORE 1365711.51
AT ITER 4184 NEW BEST:: SOT 55490387 SOS 47296414 HAS SOPS 23056973 HAS SOUS 3509214 HAS SOUPS 1318049 WITH SCORE 1365345.414
AT ITER 4204 NEW BEST:: SOT 55487193 SOS 47312126 HAS SOPS 23063745 HAS SOUS 3506764 HAS SOUPS 1315599 WITH SCORE 1362911.126
AT ITER 4215 NEW BEST:: SOT 55486885 SOS 47321982 HAS SOPS 23068057 HAS SOUS 3506420 HAS SOUPS 1314947 WITH SCORE 1362268.982
AT ITER 4226 NEW BEST:: SOT 55487109 SOS 47322430 HAS SOPS 23068505 HAS SOUS 3506240 HAS SOUPS 1314767 WITH SCORE 1362089.43
AT ITER 4237 NEW BEST:: SOT 55486991 SOS 47322194 HAS SOPS 23068269 HAS SOUS 3506122 HAS SOUPS 1314649 WITH SCORE 1361971.194
AT ITER 4242 NEW BEST:: SOT 55486853 SOS 47321918 HAS SOPS 23066625 HAS SOUS 3506212 HAS SOUPS 1314511 WITH SCORE 1361832.918
AT ITER 4249 NEW BEST:: SOT 55486711 SOS 47321634 HAS SOPS 23066341 HAS SOUS 3506070 HAS SOUPS 1314369 WITH SCORE 1361690.634
AT ITER 4265 NEW BEST:: SOT 55486711 SOS 47321634 HAS SOPS 23066341 HAS SOUS 3505704 HAS SOUPS 1314003 WITH SCORE 1361324.634
AT ITER 4286 NEW BEST:: SOT 55486711 SOS 47321634 HAS SOPS 23066341 HAS SOUS 3505338 HAS SOUPS 1313637 WITH SCORE 1360958.634
AT ITER 4315 NEW BEST:: SOT 55483792 SOS 47335818 HAS SOPS 23071057 HAS SOUS 3503959 HAS SOUPS 1312258 WITH SCORE 1359593.818
AT ITER 4338 NEW BEST:: SOT 55480549 SOS 47360110 HAS SOPS 23081969 HAS SOUS 3502991 HAS SOUPS 1311290 WITH SCORE 1358650.11
AT ITER 4349 NEW BEST:: SOT 55480549 SOS 47360110 HAS SOPS 23081969 HAS SOUS 3502373 HAS SOUPS 1310672 WITH SCORE 1358032.11
AT ITER 4351 NEW BEST:: SOT 55480207 SOS 47357436 HAS SOPS 23085265 HAS SOUS 3501134 HAS SOUPS 1310428 WITH SCORE 1357785.436
AT ITER 4364 NEW BEST:: SOT 55479239 SOS 47357920 HAS SOPS 23084297 HAS SOUS 3500529 HAS SOUPS 1309823 WITH SCORE 1357180.92
AT ITER 4371 NEW BEST:: SOT 55479239 SOS 47357920 HAS SOPS 23084297 HAS SOUS 3500163 HAS SOUPS 1309457 WITH SCORE 1356814.92
AT ITER 4383 NEW BEST:: SOT 55479486 SOS 47354616 HAS SOPS 23085319 HAS SOUS 3499420 HAS SOUPS 1309435 WITH SCORE 1356789.616
AT ITER 4399 NEW BEST:: SOT 55475824 SOS 47345308 HAS SOPS 23076011 HAS SOUS 3497272 HAS SOUPS 1307287 WITH SCORE 1354632.308
AT ITER 4402 NEW BEST:: SOT 55477120 SOS 47347252 HAS SOPS 23076659 HAS SOUS 3497164 HAS SOUPS 1307071 WITH SCORE 1354418.252
AT ITER 4414 NEW BEST:: SOT 55476556 SOS 47351352 HAS SOPS 23077375 HAS SOUS 3496970 HAS SOUPS 1306689 WITH SCORE 1354040.352
AT ITER 4425 NEW BEST:: SOT 55476111 SOS 47350462 HAS SOPS 23076485 HAS SOUS 3496307 HAS SOUPS 1306026 WITH SCORE 1353376.462
AT ITER 4426 NEW BEST:: SOT 55473058 SOS 47355168 HAS SOPS 23071633 HAS SOUS 3494193 HAS SOUPS 1303381 WITH SCORE 1350736.168
AT ITER 4439 NEW BEST:: SOT 55473058 SOS 47355168 HAS SOPS 23071633 HAS SOUS 3494133 HAS SOUPS 1303321 WITH SCORE 1350676.168
AT ITER 4448 NEW BEST:: SOT 55472818 SOS 47357728 HAS SOPS 23072753 HAS SOUS 3494133 HAS SOUPS 1303241 WITH SCORE 1350598.7280000001
AT ITER 4451 NEW BEST:: SOT 55467720 SOS 47377806 HAS SOPS 23082900 HAS SOUS 3490913 HAS SOUPS 1300658 WITH SCORE 1348035.806
AT ITER 4473 NEW BEST:: SOT 55467644 SOS 47377654 HAS SOPS 23082748 HAS SOUS 3490690 HAS SOUPS 1300435 WITH SCORE 1347812.654
AT ITER 4478 NEW BEST:: SOT 55467644 SOS 47377176 HAS SOPS 23083704 HAS SOUS 3490451 HAS SOUPS 1300435 WITH SCORE 1347812.176
AT ITER 4510 NEW BEST:: SOT 55467644 SOS 47376594 HAS SOPS 23083704 HAS SOUS 3490354 HAS SOUPS 1300435 WITH SCORE 1347811.594
AT ITER 4512 NEW BEST:: SOT 55467644 SOS 47376594 HAS SOPS 23083704 HAS SOUS 3490274 HAS SOUPS 1300355 WITH SCORE 1347731.594
AT ITER 4513 NEW BEST:: SOT 55467830 SOS 47376966 HAS SOPS 23086908 HAS SOUS 3489620 HAS SOUPS 1300173 WITH SCORE 1347549.966
AT ITER 4531 NEW BEST:: SOT 55467778 SOS 47376862 HAS SOPS 23086804 HAS SOUS 3489568 HAS SOUPS 1300121 WITH SCORE 1347497.862
AT ITER 4537 NEW BEST:: SOT 55467382 SOS 47377174 HAS SOPS 23087116 HAS SOUS 3489554 HAS SOUPS 1300107 WITH SCORE 1347484.174
AT ITER 4547 NEW BEST:: SOT 55463644 SOS 47393794 HAS SOPS 23094448 HAS SOUS 3487124 HAS SOUPS 1297677 WITH SCORE 1345070.794
AT ITER 4587 NEW BEST:: SOT 55460268 SOS 47411396 HAS SOPS 23100926 HAS SOUS 3485233 HAS SOUPS 1295786 WITH SCORE 1343197.396
AT ITER 4594 NEW BEST:: SOT 55460813 SOS 47277026 HAS SOPS 23104924 HAS SOUS 3483842 HAS SOUPS 1295131 WITH SCORE 1342408.026
AT ITER 4630 NEW BEST:: SOT 55460683 SOS 47276766 HAS SOPS 23105408 HAS SOUS 3483582 HAS SOUPS 1294995 WITH SCORE 1342271.766
AT ITER 4636 NEW BEST:: SOT 55460683 SOS 47276766 HAS SOPS 23105408 HAS SOUS 3483302 HAS SOUPS 1294715 WITH SCORE 1341991.766
AT ITER 4644 NEW BEST:: SOT 55460683 SOS 47276766 HAS SOPS 23105408 HAS SOUS 3482990 HAS SOUPS 1294403 WITH SCORE 1341679.766
AT ITER 4687 NEW BEST:: SOT 55458457 SOS 47282172 HAS SOPS 23104442 HAS SOUS 3481611 HAS SOUPS 1292670 WITH SCORE 1339952.172
AT ITER 4688 NEW BEST:: SOT 55457955 SOS 47282728 HAS SOPS 23104998 HAS SOUS 3481391 HAS SOUPS 1292450 WITH SCORE 1339732.7280000001
AT ITER 4692 NEW BEST:: SOT 55446003 SOS 47264273 HAS SOPS 23096644 HAS SOUS 3480738 HAS SOUPS 1292277 WITH SCORE 1339541.273
AT ITER 4736 NEW BEST:: SOT 55446003 SOS 47264273 HAS SOPS 23096644 HAS SOUS 3480564 HAS SOUPS 1292103 WITH SCORE 1339367.273
AT ITER 4740 NEW BEST:: SOT 55443425 SOS 47257855 HAS SOPS 23094012 HAS SOUS 3479248 HAS SOUPS 1291418 WITH SCORE 1338675.855
AT ITER 4765 NEW BEST:: SOT 55443201 SOS 47257407 HAS SOPS 23093564 HAS SOUS 3479024 HAS SOUPS 1291194 WITH SCORE 1338451.407
AT ITER 4775 NEW BEST:: SOT 55439133 SOS 47276133 HAS SOPS 23099834 HAS SOUS 3476145 HAS SOUPS 1288315 WITH SCORE 1335591.133
AT ITER 4786 NEW BEST:: SOT 55438434 SOS 47294969 HAS SOPS 23103892 HAS SOUS 3475060 HAS SOUPS 1286409 WITH SCORE 1333703.969
AT ITER 4800 NEW BEST:: SOT 55433899 SOS 47311783 HAS SOPS 23108502 HAS SOUS 3472319 HAS SOUPS 1283668 WITH SCORE 1330979.783
AT ITER 4803 NEW BEST:: SOT 55433899 SOS 47311783 HAS SOPS 23108502 HAS SOUS 3472313 HAS SOUPS 1283662 WITH SCORE 1330973.783
AT ITER 4830 NEW BEST:: SOT 55433899 SOS 47311655 HAS SOPS 23108758 HAS SOUS 3472249 HAS SOUPS 1283662 WITH SCORE 1330973.655
AT ITER 4847 NEW BEST:: SOT 55430377 SOS 47336423 HAS SOPS 23119666 HAS SOUS 3470720 HAS SOUPS 1282133 WITH SCORE 1329469.423
AT ITER 4854 NEW BEST:: SOT 55430186 SOS 47336041 HAS SOPS 23119284 HAS SOUS 3470338 HAS SOUPS 1281751 WITH SCORE 1329087.041
AT ITER 4871 NEW BEST:: SOT 55429254 SOS 47332965 HAS SOPS 23119004 HAS SOUS 3468473 HAS SOUPS 1280352 WITH SCORE 1327684.965
AT ITER 4881 NEW BEST:: SOT 55427033 SOS 47327481 HAS SOPS 23116646 HAS SOUS 3467430 HAS SOUPS 1279830 WITH SCORE 1327157.481
AT ITER 4887 NEW BEST:: SOT 55427033 SOS 47327481 HAS SOPS 23117228 HAS SOUS 3467236 HAS SOUPS 1279733 WITH SCORE 1327060.481
AT ITER 4917 NEW BEST:: SOT 55426851 SOS 47326935 HAS SOPS 23116682 HAS SOUS 3467054 HAS SOUPS 1279551 WITH SCORE 1326877.935
AT ITER 4932 NEW BEST:: SOT 55426317 SOS 47325063 HAS SOPS 23114810 HAS SOUS 3466519 HAS SOUPS 1279016 WITH SCORE 1326341.063
AT ITER 4934 NEW BEST:: SOT 55426317 SOS 47325063 HAS SOPS 23114810 HAS SOUS 3466153 HAS SOUPS 1278650 WITH SCORE 1325975.063
AT ITER 4960 NEW BEST:: SOT 55413335 SOS 47304341 HAS SOPS 23106076 HAS SOUS 3464412 HAS SOUPS 1277908 WITH SCORE 1325212.341
AT ITER 4965 NEW BEST:: SOT 55412808 SOS 47302067 HAS SOPS 23107462 HAS SOUS 3463523 HAS SOUPS 1277629 WITH SCORE 1324931.067
AT ITER 4970 NEW BEST:: SOT 55409474 SOS 47297545 HAS SOPS 23104532 HAS SOUS 3463360 HAS SOUPS 1277441 WITH SCORE 1324738.545
AT ITER 4989 NEW BEST:: SOT 55409474 SOS 47297545 HAS SOPS 23104532 HAS SOUS 3463358 HAS SOUPS 1277439 WITH SCORE 1324736.545
AT ITER 4991 NEW BEST:: SOT 55409547 SOS 47301937 HAS SOPS 23105450 HAS SOUS 3463105 HAS SOUPS 1276993 WITH SCORE 1324294.937
AT ITER 4992 NEW BEST:: SOT 55409547 SOS 47301937 HAS SOPS 23105450 HAS SOUS 3462967 HAS SOUPS 1276855 WITH SCORE 1324156.937
AT ITER 4999 NEW BEST:: SOT 55410374 SOS 47185831 HAS SOPS 23109418 HAS SOUS 3462497 HAS SOUPS 1276902 WITH SCORE 1324087.831
AT ITER 5001 NEW BEST:: SOT 55409507 SOS 47186917 HAS SOPS 23108812 HAS SOUS 3462286 HAS SOUPS 1276691 WITH SCORE 1323877.917
AT ITER 5026 NEW BEST:: SOT 55408512 SOS 47184481 HAS SOPS 23107714 HAS SOUS 3461514 HAS SOUPS 1276142 WITH SCORE 1323326.481
AT ITER 5056 NEW BEST:: SOT 55408494 SOS 47184445 HAS SOPS 23107678 HAS SOUS 3461478 HAS SOUPS 1276106 WITH SCORE 1323290.445
AT ITER 5075 NEW BEST:: SOT 55408359 SOS 47184851 HAS SOPS 23107616 HAS SOUS 3461491 HAS SOUPS 1276093 WITH SCORE 1323277.851
AT ITER 5084 NEW BEST:: SOT 55406067 SOS 47179463 HAS SOPS 23104640 HAS SOUS 3459881 HAS SOUPS 1274885 WITH SCORE 1322064.463
AT ITER 5098 NEW BEST:: SOT 55405989 SOS 47179307 HAS SOPS 23105570 HAS SOUS 3459622 HAS SOUPS 1274807 WITH SCORE 1321986.307
AT ITER 5112 NEW BEST:: SOT 55405190 SOS 47175891 HAS SOPS 23102154 HAS SOUS 3458331 HAS SOUPS 1273516 WITH SCORE 1320691.891
AT ITER 5140 NEW BEST:: SOT 55405190 SOS 47175891 HAS SOPS 23102154 HAS SOUS 3458267 HAS SOUPS 1273452 WITH SCORE 1320627.891
AT ITER 5175 NEW BEST:: SOT 55405190 SOS 47175891 HAS SOPS 23102154 HAS SOUS 3458113 HAS SOUPS 1273298 WITH SCORE 1320473.891
AT ITER 5187 NEW BEST:: SOT 55405190 SOS 47175891 HAS SOPS 23102154 HAS SOUS 3457891 HAS SOUPS 1273076 WITH SCORE 1320251.891
AT ITER 5232 NEW BEST:: SOT 55405168 SOS 47175979 HAS SOPS 23099764 HAS SOUS 3458161 HAS SOUPS 1272933 WITH SCORE 1320108.979
AT ITER 5245 NEW BEST:: SOT 55403534 SOS 47180355 HAS SOPS 23098848 HAS SOUS 3457491 HAS SOUPS 1271969 WITH SCORE 1319149.355
AT ITER 5263 NEW BEST:: SOT 55403470 SOS 47179843 HAS SOPS 23098720 HAS SOUS 3457363 HAS SOUPS 1271905 WITH SCORE 1319084.843
AT ITER 5265 NEW BEST:: SOT 55400928 SOS 47201325 HAS SOPS 23109522 HAS SOUS 3457048 HAS SOUPS 1271590 WITH SCORE 1318791.325
AT ITER 5272 NEW BEST:: SOT 55400436 SOS 47200341 HAS SOPS 23108538 HAS SOUS 3457047 HAS SOUPS 1271589 WITH SCORE 1318789.341
AT ITER 5284 NEW BEST:: SOT 55400436 SOS 47200341 HAS SOPS 23108538 HAS SOUS 3456681 HAS SOUPS 1271223 WITH SCORE 1318423.341
AT ITER 5296 NEW BEST:: SOT 55400436 SOS 47200341 HAS SOPS 23108538 HAS SOUS 3456497 HAS SOUPS 1271039 WITH SCORE 1318239.341
AT ITER 5314 NEW BEST:: SOT 55400436 SOS 47200341 HAS SOPS 23108538 HAS SOUS 3456451 HAS SOUPS 1270993 WITH SCORE 1318193.341
AT ITER 5344 NEW BEST:: SOT 55400436 SOS 47200341 HAS SOPS 23108538 HAS SOUS 3456085 HAS SOUPS 1270627 WITH SCORE 1317827.341
AT ITER 5353 NEW BEST:: SOT 55400436 SOS 47200341 HAS SOPS 23108538 HAS SOUS 3455953 HAS SOUPS 1270495 WITH SCORE 1317695.341
AT ITER 5355 NEW BEST:: SOT 55400436 SOS 47200341 HAS SOPS 23108538 HAS SOUS 3455829 HAS SOUPS 1270371 WITH SCORE 1317571.341
AT ITER 5373 NEW BEST:: SOT 55400014 SOS 47199497 HAS SOPS 23110736 HAS SOUS 3454879 HAS SOUPS 1269928 WITH SCORE 1317127.497
AT ITER 5374 NEW BEST:: SOT 55398298 SOS 47207193 HAS SOPS 23110728 HAS SOUS 3454553 HAS SOUPS 1269174 WITH SCORE 1316381.193
AT ITER 5388 NEW BEST:: SOT 55398276 SOS 47207149 HAS SOPS 23111074 HAS SOUS 3454444 HAS SOUPS 1269130 WITH SCORE 1316337.149
AT ITER 5475 NEW BEST:: SOT 55395888 SOS 47199049 HAS SOPS 23108902 HAS SOUS 3450707 HAS SOUPS 1266381 WITH SCORE 1313580.049
AT ITER 5489 NEW BEST:: SOT 55382694 SOS 47179184 HAS SOPS 23099734 HAS SOUS 3450107 HAS SOUPS 1266177 WITH SCORE 1313356.184
AT ITER 5494 NEW BEST:: SOT 55382694 SOS 47179184 HAS SOPS 23099734 HAS SOUS 3449741 HAS SOUPS 1265811 WITH SCORE 1312990.184
AT ITER 5497 NEW BEST:: SOT 55381259 SOS 47203620 HAS SOPS 23112614 HAS SOUS 3449512 HAS SOUPS 1265582 WITH SCORE 1312785.62
AT ITER 5523 NEW BEST:: SOT 55377892 SOS 47209536 HAS SOPS 23109872 HAS SOUS 3448574 HAS SOUPS 1264163 WITH SCORE 1311372.536
AT ITER 5525 NEW BEST:: SOT 55371599 SOS 47200191 HAS SOPS 23103635 HAS SOUS 3448481 HAS SOUPS 1264070 WITH SCORE 1311270.191
AT ITER 5546 NEW BEST:: SOT 55368887 SOS 47212487 HAS SOPS 23104627 HAS SOUS 3447468 HAS SOUPS 1262429 WITH SCORE 1309641.487
AT ITER 5557 NEW BEST:: SOT 55368958 SOS 47210573 HAS SOPS 23103991 HAS SOUS 3447326 HAS SOUPS 1262358 WITH SCORE 1309568.573
AT ITER 5563 NEW BEST:: SOT 55368597 SOS 47213437 HAS SOPS 23103921 HAS SOUS 3447015 HAS SOUPS 1261884 WITH SCORE 1309097.437
AT ITER 5564 NEW BEST:: SOT 55367953 SOS 47208339 HAS SOPS 23102633 HAS SOUS 3445335 HAS SOUPS 1260839 WITH SCORE 1308047.339
AT ITER 5565 NEW BEST:: SOT 55367533 SOS 47207709 HAS SOPS 23102213 HAS SOUS 3445125 HAS SOUPS 1260629 WITH SCORE 1307836.709
AT ITER 5572 NEW BEST:: SOT 55367533 SOS 47207363 HAS SOPS 23102905 HAS SOUS 3444952 HAS SOUPS 1260629 WITH SCORE 1307836.363
AT ITER 5577 NEW BEST:: SOT 55367533 SOS 47207363 HAS SOPS 23102905 HAS SOUS 3444942 HAS SOUPS 1260619 WITH SCORE 1307826.363
AT ITER 5620 NEW BEST:: SOT 55367275 SOS 47206847 HAS SOPS 23102389 HAS SOUS 3444770 HAS SOUPS 1260447 WITH SCORE 1307653.847
AT ITER 5675 NEW BEST:: SOT 55365587 SOS 47202597 HAS SOPS 23100761 HAS SOUS 3443841 HAS SOUPS 1259955 WITH SCORE 1307157.597
AT ITER 5692 NEW BEST:: SOT 55365650 SOS 47202723 HAS SOPS 23103731 HAS SOUS 3443258 HAS SOUPS 1259846 WITH SCORE 1307048.723
AT ITER 5706 NEW BEST:: SOT 55367318 SOS 47205225 HAS SOPS 23104565 HAS SOUS 3443258 HAS SOUPS 1259707 WITH SCORE 1306912.225
AT ITER 5719 NEW BEST:: SOT 55368446 SOS 47206917 HAS SOPS 23105129 HAS SOUS 3443164 HAS SOUPS 1259519 WITH SCORE 1306725.917
AT ITER 5720 NEW BEST:: SOT 55367964 SOS 47226647 HAS SOPS 23111593 HAS SOUS 3443202 HAS SOUPS 1258820 WITH SCORE 1306046.647
AT ITER 5728 NEW BEST:: SOT 55355193 SOS 47206664 HAS SOPS 23103478 HAS SOUS 3441940 HAS SOUPS 1258547 WITH SCORE 1305753.664
AT ITER 5734 NEW BEST:: SOT 55355193 SOS 47206664 HAS SOPS 23103478 HAS SOUS 3441880 HAS SOUPS 1258487 WITH SCORE 1305693.664
AT ITER 5752 NEW BEST:: SOT 55355136 SOS 47206550 HAS SOPS 23103364 HAS SOUS 3441766 HAS SOUPS 1258373 WITH SCORE 1305579.55
AT ITER 5770 NEW BEST:: SOT 55354870 SOS 47206018 HAS SOPS 23102832 HAS SOUS 3441234 HAS SOUPS 1257841 WITH SCORE 1305047.018
AT ITER 5803 NEW BEST:: SOT 55355024 SOS 47201398 HAS SOPS 23100060 HAS SOUS 3441234 HAS SOUPS 1257841 WITH SCORE 1305042.398
AT ITER 5807 NEW BEST:: SOT 55355024 SOS 47201398 HAS SOPS 23100060 HAS SOUS 3441100 HAS SOUPS 1257707 WITH SCORE 1304908.398
AT ITER 5820 NEW BEST:: SOT 55353909 SOS 47203250 HAS SOPS 23099086 HAS SOUS 3440613 HAS SOUPS 1257063 WITH SCORE 1304266.25
AT ITER 5821 NEW BEST:: SOT 55354454 SOS 47179978 HAS SOPS 23087058 HAS SOUS 3439843 HAS SOUPS 1256293 WITH SCORE 1303472.9780000001
AT ITER 5823 NEW BEST:: SOT 55354454 SOS 47179978 HAS SOPS 23087058 HAS SOUS 3439813 HAS SOUPS 1256263 WITH SCORE 1303442.9780000001
AT ITER 5824 NEW BEST:: SOT 55354380 SOS 47177462 HAS SOPS 23085430 HAS SOUS 3439665 HAS SOUPS 1256115 WITH SCORE 1303292.462
AT ITER 5831 NEW BEST:: SOT 55354010 SOS 47177462 HAS SOPS 23085430 HAS SOUS 3439478 HAS SOUPS 1255928 WITH SCORE 1303105.462
AT ITER 5835 NEW BEST:: SOT 55353286 SOS 47173890 HAS SOPS 23084030 HAS SOUS 3438029 HAS SOUPS 1254841 WITH SCORE 1302014.89
AT ITER 5841 NEW BEST:: SOT 55353190 SOS 47173734 HAS SOPS 23083970 HAS SOUS 3437955 HAS SOUPS 1254791 WITH SCORE 1301964.734
AT ITER 5867 NEW BEST:: SOT 55351847 SOS 47176264 HAS SOPS 23082954 HAS SOUS 3437332 HAS SOUPS 1253971 WITH SCORE 1301147.264
AT ITER 5903 NEW BEST:: SOT 55351847 SOS 47176264 HAS SOPS 23082954 HAS SOUS 3436844 HAS SOUPS 1253483 WITH SCORE 1300659.264
AT ITER 5905 NEW BEST:: SOT 55351847 SOS 47176264 HAS SOPS 23082954 HAS SOUS 3436766 HAS SOUPS 1253405 WITH SCORE 1300581.264
AT ITER 5912 NEW BEST:: SOT 55351365 SOS 47174140 HAS SOPS 23084310 HAS SOUS 3435704 HAS SOUPS 1252923 WITH SCORE 1300097.14
AT ITER 5913 NEW BEST:: SOT 55351420 SOS 47172874 HAS SOPS 23083560 HAS SOUS 3435694 HAS SOUPS 1252913 WITH SCORE 1300085.874
AT ITER 5917 NEW BEST:: SOT 55351420 SOS 47172874 HAS SOPS 23083560 HAS SOUS 3435650 HAS SOUPS 1252869 WITH SCORE 1300041.874
AT ITER 5919 NEW BEST:: SOT 55351420 SOS 47172874 HAS SOPS 23083560 HAS SOUS 3435359 HAS SOUPS 1252578 WITH SCORE 1299750.874
AT ITER 5920 NEW BEST:: SOT 55333839 SOS 47146151 HAS SOPS 23072479 HAS SOUS 3434234 HAS SOUPS 1252547 WITH SCORE 1299693.151
AT ITER 5934 NEW BEST:: SOT 55333692 SOS 47145857 HAS SOPS 23072185 HAS SOUS 3434087 HAS SOUPS 1252400 WITH SCORE 1299545.857
AT ITER 5937 NEW BEST:: SOT 55333692 SOS 47145857 HAS SOPS 23072185 HAS SOUS 3433721 HAS SOUPS 1252034 WITH SCORE 1299179.857
AT ITER 5944 NEW BEST:: SOT 55333483 SOS 47144083 HAS SOPS 23074479 HAS SOUS 3432983 HAS SOUPS 1251974 WITH SCORE 1299118.083
AT ITER 5957 NEW BEST:: SOT 55314473 SOS 47114311 HAS SOPS 23062059 HAS SOUS 3431185 HAS SOUPS 1251522 WITH SCORE 1298636.311
AT ITER 5975 NEW BEST:: SOT 55313324 SOS 47109457 HAS SOPS 23061885 HAS SOUS 3428887 HAS SOUPS 1250004 WITH SCORE 1297113.457
AT ITER 6010 NEW BEST:: SOT 55312946 SOS 47108917 HAS SOPS 23059833 HAS SOUS 3428293 HAS SOUPS 1249194 WITH SCORE 1296302.917
AT ITER 6034 NEW BEST:: SOT 55312991 SOS 47109007 HAS SOPS 23063817 HAS SOUS 3427612 HAS SOUPS 1249162 WITH SCORE 1296271.007
AT ITER 6050 NEW BEST:: SOT 55312923 SOS 47105817 HAS SOPS 23060627 HAS SOUS 3427509 HAS SOUPS 1249059 WITH SCORE 1296164.817
AT ITER 6053 NEW BEST:: SOT 55312533 SOS 47106591 HAS SOPS 23059847 HAS SOUS 3426865 HAS SOUPS 1248156 WITH SCORE 1295262.591
AT ITER 6075 NEW BEST:: SOT 55312458 SOS 47106441 HAS SOPS 23057663 HAS SOUS 3427129 HAS SOUPS 1248081 WITH SCORE 1295187.441
AT ITER 6084 NEW BEST:: SOT 55311732 SOS 47104695 HAS SOPS 23055917 HAS SOUS 3426485 HAS SOUPS 1247437 WITH SCORE 1294541.695
AT ITER 6089 NEW BEST:: SOT 55311732 SOS 47104695 HAS SOPS 23055917 HAS SOUS 3426119 HAS SOUPS 1247071 WITH SCORE 1294175.695
AT ITER 6099 NEW BEST:: SOT 55311732 SOS 47104695 HAS SOPS 23055917 HAS SOUS 3426075 HAS SOUPS 1247027 WITH SCORE 1294131.695
AT ITER 6105 NEW BEST:: SOT 55311346 SOS 47102400 HAS SOPS 23054688 HAS SOUS 3425095 HAS SOUPS 1246685 WITH SCORE 1293787.4
AT ITER 6119 NEW BEST:: SOT 55309916 SOS 46915402 HAS SOPS 23068120 HAS SOUS 3424585 HAS SOUPS 1246175 WITH SCORE 1293090.402
AT ITER 6125 NEW BEST:: SOT 55308972 SOS 46925964 HAS SOPS 23073390 HAS SOUS 3424149 HAS SOUPS 1245739 WITH SCORE 1292664.964
AT ITER 6144 NEW BEST:: SOT 55308972 SOS 46925964 HAS SOPS 23073390 HAS SOUS 3424097 HAS SOUPS 1245687 WITH SCORE 1292612.964
AT ITER 6175 NEW BEST:: SOT 55308972 SOS 46925964 HAS SOPS 23073390 HAS SOUS 3424033 HAS SOUPS 1245623 WITH SCORE 1292548.964
AT ITER 6182 NEW BEST:: SOT 55308972 SOS 46925964 HAS SOPS 23073390 HAS SOUS 3423705 HAS SOUPS 1245295 WITH SCORE 1292220.964
AT ITER 6186 NEW BEST:: SOT 55308340 SOS 46923816 HAS SOPS 23073894 HAS SOUS 3422631 HAS SOUPS 1244663 WITH SCORE 1291586.816
AT ITER 6216 NEW BEST:: SOT 55308000 SOS 46918216 HAS SOPS 23073214 HAS SOUS 3420700 HAS SOUPS 1243552 WITH SCORE 1290470.216
AT ITER 6229 NEW BEST:: SOT 55307893 SOS 46918002 HAS SOPS 23073000 HAS SOUS 3420593 HAS SOUPS 1243445 WITH SCORE 1290363.002
AT ITER 6240 NEW BEST:: SOT 55307461 SOS 46918578 HAS SOPS 23072712 HAS SOUS 3420449 HAS SOUPS 1243301 WITH SCORE 1290219.578
AT ITER 6252 NEW BEST:: SOT 55307522 SOS 46916748 HAS SOPS 23071980 HAS SOUS 3420327 HAS SOUPS 1243240 WITH SCORE 1290156.748
AT ITER 6279 NEW BEST:: SOT 55307440 SOS 46916584 HAS SOPS 23071816 HAS SOUS 3420231 HAS SOUPS 1243144 WITH SCORE 1290060.584
AT ITER 6280 NEW BEST:: SOT 55308046 SOS 46916988 HAS SOPS 23072220 HAS SOUS 3420167 HAS SOUPS 1243080 WITH SCORE 1289996.988
AT ITER 6288 NEW BEST:: SOT 55305246 SOS 46925654 HAS SOPS 23074994 HAS SOUS 3418302 HAS SOUPS 1241215 WITH SCORE 1288140.654
AT ITER 6322 NEW BEST:: SOT 55306215 SOS 46793803 HAS SOPS 23075605 HAS SOUS 3418327 HAS SOUPS 1241164 WITH SCORE 1287957.803
AT ITER 6325 NEW BEST:: SOT 55306186 SOS 46793745 HAS SOPS 23075721 HAS SOUS 3418240 HAS SOUPS 1241106 WITH SCORE 1287899.745
AT ITER 6362 NEW BEST:: SOT 55306044 SOS 46793461 HAS SOPS 23075437 HAS SOUS 3418098 HAS SOUPS 1240964 WITH SCORE 1287757.461
AT ITER 6371 NEW BEST:: SOT 55306034 SOS 46793411 HAS SOPS 23075417 HAS SOUS 3418078 HAS SOUPS 1240949 WITH SCORE 1287742.411
AT ITER 6373 NEW BEST:: SOT 55306034 SOS 46793411 HAS SOPS 23075417 HAS SOUS 3417758 HAS SOUPS 1240629 WITH SCORE 1287422.411
AT ITER 6390 NEW BEST:: SOT 55305674 SOS 46792691 HAS SOPS 23075777 HAS SOUS 3417218 HAS SOUPS 1240269 WITH SCORE 1287061.691
AT ITER 6404 NEW BEST:: SOT 55304942 SOS 46791959 HAS SOPS 23075045 HAS SOUS 3417025 HAS SOUPS 1240076 WITH SCORE 1286867.959
AT ITER 6420 NEW BEST:: SOT 55304686 SOS 46794069 HAS SOPS 23074533 HAS SOUS 3417267 HAS SOUPS 1239881 WITH SCORE 1286675.069
AT ITER 6439 NEW BEST:: SOT 55304886 SOS 46794469 HAS SOPS 23071543 HAS SOUS 3417824 HAS SOUPS 1239873 WITH SCORE 1286667.469
AT ITER 6446 NEW BEST:: SOT 55304741 SOS 46792919 HAS SOPS 23069993 HAS SOUS 3417679 HAS SOUPS 1239728 WITH SCORE 1286520.919
AT ITER 6447 NEW BEST:: SOT 55303797 SOS 46788199 HAS SOPS 23068105 HAS SOUS 3415791 HAS SOUPS 1238312 WITH SCORE 1285100.199
AT ITER 6462 NEW BEST:: SOT 55303411 SOS 46788491 HAS SOPS 23067845 HAS SOUS 3415549 HAS SOUPS 1238070 WITH SCORE 1284858.491
AT ITER 6476 NEW BEST:: SOT 55303688 SOS 46787383 HAS SOPS 23068399 HAS SOUS 3415272 HAS SOUPS 1238070 WITH SCORE 1284857.383
AT ITER 6511 NEW BEST:: SOT 55303688 SOS 46787383 HAS SOPS 23068399 HAS SOUS 3414906 HAS SOUPS 1237704 WITH SCORE 1284491.383
AT ITER 6514 NEW BEST:: SOT 55301464 SOS 46781823 HAS SOPS 23062839 HAS SOUS 3414350 HAS SOUPS 1237148 WITH SCORE 1283929.823
AT ITER 6540 NEW BEST:: SOT 55301464 SOS 46781823 HAS SOPS 23062839 HAS SOUS 3414298 HAS SOUPS 1237096 WITH SCORE 1283877.823
AT ITER 6542 NEW BEST:: SOT 55301174 SOS 46780373 HAS SOPS 23062259 HAS SOUS 3413863 HAS SOUPS 1236806 WITH SCORE 1283586.373
AT ITER 6543 NEW BEST:: SOT 55302242 SOS 46781975 HAS SOPS 23062793 HAS SOUS 3413818 HAS SOUPS 1236672 WITH SCORE 1283453.975
AT ITER 6545 NEW BEST:: SOT 55302233 SOS 46781957 HAS SOPS 23062775 HAS SOUS 3413803 HAS SOUPS 1236657 WITH SCORE 1283438.957
AT ITER 6559 NEW BEST:: SOT 55300593 SOS 46777759 HAS SOPS 23061331 HAS SOUS 3412692 HAS SOUPS 1236005 WITH SCORE 1282782.759
AT ITER 6586 NEW BEST:: SOT 55297299 SOS 46769583 HAS SOPS 23057919 HAS SOUS 3410823 HAS SOUPS 1234930 WITH SCORE 1281699.583
AT ITER 6594 NEW BEST:: SOT 55297299 SOS 46769583 HAS SOPS 23057919 HAS SOUS 3410755 HAS SOUPS 1234862 WITH SCORE 1281631.583
AT ITER 6620 NEW BEST:: SOT 55293740 SOS 46789505 HAS SOPS 23064461 HAS SOUS 3408907 HAS SOUPS 1233014 WITH SCORE 1279803.505
AT ITER 6621 NEW BEST:: SOT 55293772 SOS 46788545 HAS SOPS 23063885 HAS SOUS 3408907 HAS SOUPS 1233014 WITH SCORE 1279802.545
AT ITER 6631 NEW BEST:: SOT 55293574 SOS 46788149 HAS SOPS 23063489 HAS SOUS 3408709 HAS SOUPS 1232816 WITH SCORE 1279604.149
AT ITER 6643 NEW BEST:: SOT 55293574 SOS 46788149 HAS SOPS 23063489 HAS SOUS 3408401 HAS SOUPS 1232508 WITH SCORE 1279296.149
AT ITER 6655 NEW BEST:: SOT 55280970 SOS 46768915 HAS SOPS 23055217 HAS SOUS 3407584 HAS SOUPS 1232390 WITH SCORE 1279158.915
AT ITER 6657 NEW BEST:: SOT 55280970 SOS 46768915 HAS SOPS 23055217 HAS SOUS 3407498 HAS SOUPS 1232304 WITH SCORE 1279072.915
AT ITER 6663 NEW BEST:: SOT 55278944 SOS 46788069 HAS SOPS 23064699 HAS SOUS 3406577 HAS SOUPS 1231383 WITH SCORE 1278171.069
AT ITER 6666 NEW BEST:: SOT 55279620 SOS 46788845 HAS SOPS 23065379 HAS SOUS 3406293 HAS SOUPS 1231195 WITH SCORE 1277983.845
AT ITER 6679 NEW BEST:: SOT 55281746 SOS 46794727 HAS SOPS 23066371 HAS SOUS 3407038 HAS SOUPS 1231125 WITH SCORE 1277919.727
AT ITER 6686 NEW BEST:: SOT 55280542 SOS 46815295 HAS SOPS 23071729 HAS SOUS 3407138 HAS SOUPS 1230380 WITH SCORE 1277195.295
AT ITER 6713 NEW BEST:: SOT 55279758 SOS 46813335 HAS SOPS 23069769 HAS SOUS 3406746 HAS SOUPS 1229988 WITH SCORE 1276801.335
AT ITER 6733 NEW BEST:: SOT 55279450 SOS 46809653 HAS SOPS 23069153 HAS SOUS 3405985 HAS SOUPS 1229738 WITH SCORE 1276547.653
AT ITER 6740 NEW BEST:: SOT 55279450 SOS 46809653 HAS SOPS 23069153 HAS SOUS 3405679 HAS SOUPS 1229432 WITH SCORE 1276241.653
AT ITER 6751 NEW BEST:: SOT 55279076 SOS 46806595 HAS SOPS 23068405 HAS SOUS 3404929 HAS SOUPS 1229067 WITH SCORE 1275873.595
AT ITER 6772 NEW BEST:: SOT 55278928 SOS 46805715 HAS SOPS 23067525 HAS SOUS 3404781 HAS SOUPS 1228919 WITH SCORE 1275724.715
AT ITER 6793 NEW BEST:: SOT 55277818 SOS 46803125 HAS SOPS 23064935 HAS SOUS 3404041 HAS SOUPS 1228179 WITH SCORE 1274982.125
AT ITER 6803 NEW BEST:: SOT 55277818 SOS 46801313 HAS SOPS 23065073 HAS SOUS 3403716 HAS SOUPS 1228179 WITH SCORE 1274980.313
AT ITER 6804 NEW BEST:: SOT 55278110 SOS 46801897 HAS SOPS 23065657 HAS SOUS 3403690 HAS SOUPS 1228153 WITH SCORE 1274954.897
AT ITER 6806 NEW BEST:: SOT 55277034 SOS 46799193 HAS SOPS 23064609 HAS SOUS 3403013 HAS SOUPS 1227752 WITH SCORE 1274551.193
AT ITER 6810 NEW BEST:: SOT 55273878 SOS 46814157 HAS SOPS 23069925 HAS SOUS 3401219 HAS SOUPS 1225958 WITH SCORE 1272772.157
AT ITER 6818 NEW BEST:: SOT 55271982 SOS 46811550 HAS SOPS 23068740 HAS SOUS 3401219 HAS SOUPS 1225958 WITH SCORE 1272769.55
AT ITER 6819 NEW BEST:: SOT 55271716 SOS 46811444 HAS SOPS 23068634 HAS SOUS 3400989 HAS SOUPS 1225728 WITH SCORE 1272539.444
AT ITER 6826 NEW BEST:: SOT 55274136 SOS 46817494 HAS SOPS 23071054 HAS SOUS 3401464 HAS SOUPS 1225598 WITH SCORE 1272415.494
AT ITER 6828 NEW BEST:: SOT 55274136 SOS 46817494 HAS SOPS 23071054 HAS SOUS 3401394 HAS SOUPS 1225528 WITH SCORE 1272345.494
AT ITER 6832 NEW BEST:: SOT 55274059 SOS 46818300 HAS SOPS 23071500 HAS SOUS 3401347 HAS SOUPS 1225481 WITH SCORE 1272299.3
AT ITER 6846 NEW BEST:: SOT 55270116 SOS 46828314 HAS SOPS 23069346 HAS SOUS 3399417 HAS SOUPS 1222875 WITH SCORE 1269703.314
AT ITER 6863 NEW BEST:: SOT 55268763 SOS 46831758 HAS SOPS 23071560 HAS SOUS 3398679 HAS SOUPS 1222342 WITH SCORE 1269173.758
AT ITER 6893 NEW BEST:: SOT 55268763 SOS 46831758 HAS SOPS 23071560 HAS SOUS 3398531 HAS SOUPS 1222194 WITH SCORE 1269025.758
AT ITER 6896 NEW BEST:: SOT 55268763 SOS 46831758 HAS SOPS 23071560 HAS SOUS 3398255 HAS SOUPS 1221918 WITH SCORE 1268749.758
AT ITER 6901 NEW BEST:: SOT 55268763 SOS 46831758 HAS SOPS 23071560 HAS SOUS 3398155 HAS SOUPS 1221818 WITH SCORE 1268649.758
AT ITER 6906 NEW BEST:: SOT 55268763 SOS 46831758 HAS SOPS 23071560 HAS SOUS 3397895 HAS SOUPS 1221558 WITH SCORE 1268389.758
AT ITER 6934 NEW BEST:: SOT 55268763 SOS 46831758 HAS SOPS 23071560 HAS SOUS 3397877 HAS SOUPS 1221540 WITH SCORE 1268371.758
AT ITER 6966 NEW BEST:: SOT 55268763 SOS 46831758 HAS SOPS 23071560 HAS SOUS 3397765 HAS SOUPS 1221428 WITH SCORE 1268259.758
AT ITER 6971 NEW BEST:: SOT 55268494 SOS 46832958 HAS SOPS 23071338 HAS SOUS 3397571 HAS SOUPS 1221155 WITH SCORE 1267987.958
AT ITER 6992 NEW BEST:: SOT 55268494 SOS 46832958 HAS SOPS 23071338 HAS SOUS 3397463 HAS SOUPS 1221047 WITH SCORE 1267879.958
AT ITER 7010 NEW BEST:: SOT 55268494 SOS 46832958 HAS SOPS 23071338 HAS SOUS 3397309 HAS SOUPS 1220893 WITH SCORE 1267725.958
AT ITER 7020 NEW BEST:: SOT 55268494 SOS 46832958 HAS SOPS 23071338 HAS SOUS 3397073 HAS SOUPS 1220657 WITH SCORE 1267489.958
AT ITER 7029 NEW BEST:: SOT 55268142 SOS 46831692 HAS SOPS 23070072 HAS SOUS 3396903 HAS SOUPS 1220487 WITH SCORE 1267318.692
AT ITER 7075 NEW BEST:: SOT 55267920 SOS 46830274 HAS SOPS 23068654 HAS SOUS 3396681 HAS SOUPS 1220265 WITH SCORE 1267095.274
AT ITER 7078 NEW BEST:: SOT 55266382 SOS 46826342 HAS SOPS 23067290 HAS SOUS 3395745 HAS SOUPS 1219757 WITH SCORE 1266583.342
AT ITER 7093 NEW BEST:: SOT 55266382 SOS 46826342 HAS SOPS 23067290 HAS SOUS 3395471 HAS SOUPS 1219483 WITH SCORE 1266309.342
AT ITER 7098 NEW BEST:: SOT 55266382 SOS 46826342 HAS SOPS 23067290 HAS SOUS 3395391 HAS SOUPS 1219403 WITH SCORE 1266229.342
AT ITER 7106 NEW BEST:: SOT 55265546 SOS 46824670 HAS SOPS 23068702 HAS SOUS 3394041 HAS SOUPS 1218567 WITH SCORE 1265391.67
AT ITER 7123 NEW BEST:: SOT 55264876 SOS 46822262 HAS SOPS 23069498 HAS SOUS 3392837 HAS SOUPS 1217897 WITH SCORE 1264719.262
AT ITER 7141 NEW BEST:: SOT 55264876 SOS 46822262 HAS SOPS 23069498 HAS SOUS 3392471 HAS SOUPS 1217531 WITH SCORE 1264353.262
AT ITER 7142 NEW BEST:: SOT 55264882 SOS 46822274 HAS SOPS 23067242 HAS SOUS 3392681 HAS SOUPS 1217363 WITH SCORE 1264185.274
AT ITER 7158 NEW BEST:: SOT 55252560 SOS 46802670 HAS SOPS 23058737 HAS SOUS 3391701 HAS SOUPS 1217070 WITH SCORE 1263872.67
AT ITER 7161 NEW BEST:: SOT 55252336 SOS 46801550 HAS SOPS 23058289 HAS SOUS 3391252 HAS SOUPS 1216733 WITH SCORE 1263534.55
AT ITER 7163 NEW BEST:: SOT 55250625 SOS 46797244 HAS SOPS 23056635 HAS SOUS 3390044 HAS SOUPS 1215967 WITH SCORE 1262764.244
AT ITER 7179 NEW BEST:: SOT 55250625 SOS 46797670 HAS SOPS 23056635 HAS SOUS 3390044 HAS SOUPS 1215896 WITH SCORE 1262693.67
AT ITER 7184 NEW BEST:: SOT 55250625 SOS 46797670 HAS SOPS 23056635 HAS SOUS 3389678 HAS SOUPS 1215530 WITH SCORE 1262327.67
AT ITER 7187 NEW BEST:: SOT 55249915 SOS 46804462 HAS SOPS 23060127 HAS SOUS 3389243 HAS SOUPS 1215095 WITH SCORE 1261899.462
AT ITER 7208 NEW BEST:: SOT 55249915 SOS 46804462 HAS SOPS 23060127 HAS SOUS 3388941 HAS SOUPS 1214793 WITH SCORE 1261597.462
AT ITER 7224 NEW BEST:: SOT 55249222 SOS 46804616 HAS SOPS 23059357 HAS SOUS 3388402 HAS SOUPS 1214254 WITH SCORE 1261058.616
AT ITER 7230 NEW BEST:: SOT 55248880 SOS 46806352 HAS SOPS 23059113 HAS SOUS 3388347 HAS SOUPS 1214089 WITH SCORE 1260895.352
AT ITER 7254 NEW BEST:: SOT 55244081 SOS 46819564 HAS SOPS 23062365 HAS SOUS 3386353 HAS SOUPS 1212095 WITH SCORE 1258914.564
AT ITER 7258 NEW BEST:: SOT 55244965 SOS 46821774 HAS SOPS 23063249 HAS SOUS 3386385 HAS SOUPS 1211906 WITH SCORE 1258727.774
AT ITER 7261 NEW BEST:: SOT 55244167 SOS 46815912 HAS SOPS 23057387 HAS SOUS 3385286 HAS SOUPS 1210807 WITH SCORE 1257622.912
AT ITER 7262 NEW BEST:: SOT 55242071 SOS 46820404 HAS SOPS 23055975 HAS SOUS 3384206 HAS SOUPS 1209399 WITH SCORE 1256219.404
AT ITER 7287 NEW BEST:: SOT 55242071 SOS 46820404 HAS SOPS 23055975 HAS SOUS 3383940 HAS SOUPS 1209133 WITH SCORE 1255953.404
AT ITER 7291 NEW BEST:: SOT 55241938 SOS 46820138 HAS SOPS 23055709 HAS SOUS 3383739 HAS SOUPS 1208932 WITH SCORE 1255752.138
AT ITER 7296 NEW BEST:: SOT 55241536 SOS 46818128 HAS SOPS 23053699 HAS SOUS 3383136 HAS SOUPS 1208329 WITH SCORE 1255147.128
AT ITER 7304 NEW BEST:: SOT 55241536 SOS 46818128 HAS SOPS 23053699 HAS SOUS 3382770 HAS SOUPS 1207963 WITH SCORE 1254781.128
AT ITER 7329 NEW BEST:: SOT 55241536 SOS 46818128 HAS SOPS 23053699 HAS SOUS 3382432 HAS SOUPS 1207625 WITH SCORE 1254443.128
AT ITER 7364 NEW BEST:: SOT 55240759 SOS 46816430 HAS SOPS 23054515 HAS SOUS 3381215 HAS SOUPS 1206827 WITH SCORE 1253643.43
AT ITER 7377 NEW BEST:: SOT 55240759 SOS 46816430 HAS SOPS 23054515 HAS SOUS 3381093 HAS SOUPS 1206705 WITH SCORE 1253521.43
AT ITER 7385 NEW BEST:: SOT 55240255 SOS 46815422 HAS SOPS 23053507 HAS SOUS 3380589 HAS SOUPS 1206201 WITH SCORE 1253016.422
AT ITER 7387 NEW BEST:: SOT 55240218 SOS 46813324 HAS SOPS 23057481 HAS SOUS 3379540 HAS SOUPS 1206164 WITH SCORE 1252977.324
AT ITER 7406 NEW BEST:: SOT 55238473 SOS 46818272 HAS SOPS 23054905 HAS SOUS 3378751 HAS SOUPS 1204957 WITH SCORE 1251775.272
AT ITER 7429 NEW BEST:: SOT 55232223 SOS 46809605 HAS SOPS 23048929 HAS SOUS 3378282 HAS SOUPS 1204488 WITH SCORE 1251297.605
AT ITER 7441 NEW BEST:: SOT 55232503 SOS 46809045 HAS SOPS 23049041 HAS SOUS 3378226 HAS SOUPS 1204432 WITH SCORE 1251241.045
AT ITER 7449 NEW BEST:: SOT 55232503 SOS 46809045 HAS SOPS 23049041 HAS SOUS 3378012 HAS SOUPS 1204218 WITH SCORE 1251027.045
AT ITER 7450 NEW BEST:: SOT 55232503 SOS 46809045 HAS SOPS 23049041 HAS SOUS 3377714 HAS SOUPS 1203920 WITH SCORE 1250729.045
AT ITER 7508 NEW BEST:: SOT 55231657 SOS 46806225 HAS SOPS 23047913 HAS SOUS 3377432 HAS SOUPS 1203920 WITH SCORE 1250726.225
AT ITER 7561 NEW BEST:: SOT 55231657 SOS 46806225 HAS SOPS 23047913 HAS SOUS 3377066 HAS SOUPS 1203554 WITH SCORE 1250360.225
AT ITER 7568 NEW BEST:: SOT 55228522 SOS 46826069 HAS SOPS 23054893 HAS SOUS 3376279 HAS SOUPS 1202767 WITH SCORE 1249593.069
AT ITER 7592 NEW BEST:: SOT 55226837 SOS 46834155 HAS SOPS 23056535 HAS SOUS 3375619 HAS SOUPS 1201749 WITH SCORE 1248583.155
AT ITER 7594 NEW BEST:: SOT 55225946 SOS 46829265 HAS SOPS 23055899 HAS SOUS 3373080 HAS SOUPS 1199919 WITH SCORE 1246748.265
AT ITER 7599 NEW BEST:: SOT 55223678 SOS 46845499 HAS SOPS 23063757 HAS SOUS 3371441 HAS SOUPS 1198280 WITH SCORE 1245125.499
AT ITER 7644 NEW BEST:: SOT 55223552 SOS 46845439 HAS SOPS 23060709 HAS SOUS 3371479 HAS SOUPS 1197820 WITH SCORE 1244665.439
AT ITER 7652 NEW BEST:: SOT 55223552 SOS 46845439 HAS SOPS 23060709 HAS SOUS 3371375 HAS SOUPS 1197716 WITH SCORE 1244561.439
AT ITER 7688 NEW BEST:: SOT 55217471 SOS 46835399 HAS SOPS 23056657 HAS SOUS 3370641 HAS SOUPS 1197427 WITH SCORE 1244262.399
AT ITER 7722 NEW BEST:: SOT 55217639 SOS 46835735 HAS SOPS 23056993 HAS SOUS 3370495 HAS SOUPS 1197281 WITH SCORE 1244116.735
AT ITER 7748 NEW BEST:: SOT 55217740 SOS 46834757 HAS SOPS 23055990 HAS SOUS 3370373 HAS SOUPS 1197159 WITH SCORE 1243993.757
AT ITER 7749 NEW BEST:: SOT 55217058 SOS 46833393 HAS SOPS 23056744 HAS SOUS 3368985 HAS SOUPS 1196124 WITH SCORE 1242957.393
AT ITER 7771 NEW BEST:: SOT 55217015 SOS 46833307 HAS SOPS 23056658 HAS SOUS 3368899 HAS SOUPS 1196038 WITH SCORE 1242871.307
AT ITER 7785 NEW BEST:: SOT 55217125 SOS 46833135 HAS SOPS 23056486 HAS SOUS 3368560 HAS SOUPS 1195699 WITH SCORE 1242532.135
AT ITER 7786 NEW BEST:: SOT 55217125 SOS 46833135 HAS SOPS 23056486 HAS SOUS 3368194 HAS SOUPS 1195333 WITH SCORE 1242166.135
AT ITER 7792 NEW BEST:: SOT 55217114 SOS 46831056 HAS SOPS 23054407 HAS SOUS 3368183 HAS SOUPS 1195322 WITH SCORE 1242153.056
AT ITER 7796 NEW BEST:: SOT 55217114 SOS 46831056 HAS SOPS 23054407 HAS SOUS 3367575 HAS SOUPS 1194714 WITH SCORE 1241545.056
AT ITER 7818 NEW BEST:: SOT 55214787 SOS 46841756 HAS SOPS 23056305 HAS SOUS 3366982 HAS SOUPS 1193632 WITH SCORE 1240473.756
AT ITER 7829 NEW BEST:: SOT 55212216 SOS 46844336 HAS SOPS 23055321 HAS SOUS 3365404 HAS SOUPS 1192054 WITH SCORE 1238898.336
AT ITER 7838 NEW BEST:: SOT 55212025 SOS 46845178 HAS SOPS 23054405 HAS SOUS 3365506 HAS SOUPS 1191863 WITH SCORE 1238708.178
AT ITER 7842 NEW BEST:: SOT 55212025 SOS 46844678 HAS SOPS 23053905 HAS SOUS 3365506 HAS SOUPS 1191863 WITH SCORE 1238707.678
AT ITER 7850 NEW BEST:: SOT 55208569 SOS 46835510 HAS SOPS 23051505 HAS SOUS 3364229 HAS SOUPS 1191714 WITH SCORE 1238549.51
AT ITER 7856 NEW BEST:: SOT 55205535 SOS 46827808 HAS SOPS 23048705 HAS SOUS 3362906 HAS SOUPS 1191208 WITH SCORE 1238035.808
AT ITER 7893 NEW BEST:: SOT 55205535 SOS 46827484 HAS SOPS 23049353 HAS SOUS 3362744 HAS SOUPS 1191208 WITH SCORE 1238035.484
AT ITER 7913 NEW BEST:: SOT 55205535 SOS 46827484 HAS SOPS 23049353 HAS SOUS 3362378 HAS SOUPS 1190842 WITH SCORE 1237669.484
AT ITER 7932 NEW BEST:: SOT 55205535 SOS 46827484 HAS SOPS 23049353 HAS SOUS 3361804 HAS SOUPS 1190268 WITH SCORE 1237095.484
AT ITER 7947 NEW BEST:: SOT 55204595 SOS 46825228 HAS SOPS 23048225 HAS SOUS 3361428 HAS SOUPS 1190080 WITH SCORE 1236905.2280000001
AT ITER 7975 NEW BEST:: SOT 55204531 SOS 46825100 HAS SOPS 23048097 HAS SOUS 3361364 HAS SOUPS 1190016 WITH SCORE 1236841.1
AT ITER 7979 NEW BEST:: SOT 55204461 SOS 46824960 HAS SOPS 23046871 HAS SOUS 3361224 HAS SOUPS 1189695 WITH SCORE 1236519.96
AT ITER 7998 NEW BEST:: SOT 55190669 SOS 46803649 HAS SOPS 23038304 HAS SOUS 3359992 HAS SOUPS 1189525 WITH SCORE 1236328.649
AT ITER 7999 NEW BEST:: SOT 55190669 SOS 46803649 HAS SOPS 23038304 HAS SOUS 3359734 HAS SOUPS 1189267 WITH SCORE 1236070.649
AT ITER 8025 NEW BEST:: SOT 55190110 SOS 46802531 HAS SOPS 23040642 HAS SOUS 3358322 HAS SOUPS 1188431 WITH SCORE 1235233.531
AT ITER 8076 NEW BEST:: SOT 55190402 SOS 46799761 HAS SOPS 23041226 HAS SOUS 3357692 HAS SOUPS 1188360 WITH SCORE 1235159.761
AT ITER 8111 NEW BEST:: SOT 55190402 SOS 46799761 HAS SOPS 23041226 HAS SOUS 3357326 HAS SOUPS 1187994 WITH SCORE 1234793.761
AT ITER 8124 NEW BEST:: SOT 55190242 SOS 46799121 HAS SOPS 23041066 HAS SOUS 3357166 HAS SOUPS 1187914 WITH SCORE 1234713.121
AT ITER 8136 NEW BEST:: SOT 55190255 SOS 46798205 HAS SOPS 23041092 HAS SOUS 3356954 HAS SOUPS 1187859 WITH SCORE 1234657.205
AT ITER 8159 NEW BEST:: SOT 55190255 SOS 46801865 HAS SOPS 23041092 HAS SOUS 3357281 HAS SOUPS 1187576 WITH SCORE 1234377.865
AT ITER 8175 NEW BEST:: SOT 55189730 SOS 46800815 HAS SOPS 23040042 HAS SOUS 3357126 HAS SOUPS 1187421 WITH SCORE 1234221.815
AT ITER 8209 NEW BEST:: SOT 55189730 SOS 46800815 HAS SOPS 23040042 HAS SOUS 3356760 HAS SOUPS 1187055 WITH SCORE 1233855.815
AT ITER 8219 NEW BEST:: SOT 55193404 SOS 46803498 HAS SOPS 23042620 HAS SOUS 3355983 HAS SOUPS 1186722 WITH SCORE 1233525.498
AT ITER 8231 NEW BEST:: SOT 55192871 SOS 46941329 HAS SOPS 23042313 HAS SOUS 3355450 HAS SOUPS 1186189 WITH SCORE 1233130.329
AT ITER 8245 NEW BEST:: SOT 55192871 SOS 46941329 HAS SOPS 23042313 HAS SOUS 3355310 HAS SOUPS 1186049 WITH SCORE 1232990.329
AT ITER 8263 NEW BEST:: SOT 55197913 SOS 46970189 HAS SOPS 23055573 HAS SOUS 3354588 HAS SOUPS 1184983 WITH SCORE 1231953.189
AT ITER 8266 NEW BEST:: SOT 55197873 SOS 46970149 HAS SOPS 23055533 HAS SOUS 3354568 HAS SOUPS 1184963 WITH SCORE 1231933.149
AT ITER 8269 NEW BEST:: SOT 55197912 SOS 46968979 HAS SOPS 23054831 HAS SOUS 3354568 HAS SOUPS 1184963 WITH SCORE 1231931.979
AT ITER 8270 NEW BEST:: SOT 55196472 SOS 46975459 HAS SOPS 23056991 HAS SOUS 3353848 HAS SOUPS 1184243 WITH SCORE 1231218.459
AT ITER 8274 NEW BEST:: SOT 55195446 SOS 46979803 HAS SOPS 23056907 HAS SOUS 3353495 HAS SOUPS 1183644 WITH SCORE 1230623.803
AT ITER 8278 NEW BEST:: SOT 55196674 SOS 46982873 HAS SOPS 23058135 HAS SOUS 3353593 HAS SOUPS 1183435 WITH SCORE 1230417.873
AT ITER 8288 NEW BEST:: SOT 55196272 SOS 46982069 HAS SOPS 23057331 HAS SOUS 3353191 HAS SOUPS 1183033 WITH SCORE 1230015.069
AT ITER 8321 NEW BEST:: SOT 55193776 SOS 46978223 HAS SOPS 23055777 HAS SOUS 3352974 HAS SOUPS 1183007 WITH SCORE 1229985.223
AT ITER 8337 NEW BEST:: SOT 55193776 SOS 46978223 HAS SOPS 23055777 HAS SOUS 3352608 HAS SOUPS 1182641 WITH SCORE 1229619.223
AT ITER 8338 NEW BEST:: SOT 55193668 SOS 46977953 HAS SOPS 23055669 HAS SOUS 3352527 HAS SOUPS 1182587 WITH SCORE 1229564.953
AT ITER 8346 NEW BEST:: SOT 55193700 SOS 46977809 HAS SOPS 23055621 HAS SOUS 3352519 HAS SOUPS 1182579 WITH SCORE 1229556.809
AT ITER 8360 NEW BEST:: SOT 55193700 SOS 46977809 HAS SOPS 23055621 HAS SOUS 3352487 HAS SOUPS 1182547 WITH SCORE 1229524.809
AT ITER 8397 NEW BEST:: SOT 55193716 SOS 46975447 HAS SOPS 23056271 HAS SOUS 3351602 HAS SOUPS 1182164 WITH SCORE 1229139.447
AT ITER 8411 NEW BEST:: SOT 55193547 SOS 46978043 HAS SOPS 23055933 HAS SOUS 3351568 HAS SOUPS 1181641 WITH SCORE 1228619.043
AT ITER 8412 NEW BEST:: SOT 55192701 SOS 47020695 HAS SOPS 23053523 HAS SOUS 3351086 HAS SOUPS 1180918 WITH SCORE 1227938.695
AT ITER 8417 NEW BEST:: SOT 55192321 SOS 47018795 HAS SOPS 23051623 HAS SOUS 3350516 HAS SOUPS 1180348 WITH SCORE 1227366.795
AT ITER 8428 NEW BEST:: SOT 55192153 SOS 47018375 HAS SOPS 23051203 HAS SOUS 3350474 HAS SOUPS 1180306 WITH SCORE 1227324.375
AT ITER 8437 NEW BEST:: SOT 55191711 SOS 47016937 HAS SOPS 23051427 HAS SOUS 3349755 HAS SOUPS 1179864 WITH SCORE 1226880.937
AT ITER 8444 NEW BEST:: SOT 55190947 SOS 47013805 HAS SOPS 23053107 HAS SOUS 3348906 HAS SOUPS 1179817 WITH SCORE 1226830.805
AT ITER 8485 NEW BEST:: SOT 55190947 SOS 47013805 HAS SOPS 23053107 HAS SOUS 3348855 HAS SOUPS 1179766 WITH SCORE 1226779.805
AT ITER 8486 NEW BEST:: SOT 55190116 SOS 47013251 HAS SOPS 23052553 HAS SOUS 3348855 HAS SOUPS 1179766 WITH SCORE 1226779.251
AT ITER 8493 NEW BEST:: SOT 55187130 SOS 47024901 HAS SOPS 23056319 HAS SOUS 3347583 HAS SOUPS 1178494 WITH SCORE 1225518.901
AT ITER 8495 NEW BEST:: SOT 55173362 SOS 47005042 HAS SOPS 23046787 HAS SOUS 3346693 HAS SOUPS 1177941 WITH SCORE 1224946.042
AT ITER 8500 NEW BEST:: SOT 55173103 SOS 47004524 HAS SOPS 23046269 HAS SOUS 3346434 HAS SOUPS 1177682 WITH SCORE 1224686.524
AT ITER 8520 NEW BEST:: SOT 55172868 SOS 47009430 HAS SOPS 23049159 HAS SOUS 3346367 HAS SOUPS 1177615 WITH SCORE 1224624.43
AT ITER 8522 NEW BEST:: SOT 55172868 SOS 47009430 HAS SOPS 23049159 HAS SOUS 3346001 HAS SOUPS 1177249 WITH SCORE 1224258.43
AT ITER 8527 NEW BEST:: SOT 55171405 SOS 47014540 HAS SOPS 23049103 HAS SOUS 3345190 HAS SOUPS 1176151 WITH SCORE 1223165.54
AT ITER 8545 NEW BEST:: SOT 55171405 SOS 47014540 HAS SOPS 23049103 HAS SOUS 3345170 HAS SOUPS 1176131 WITH SCORE 1223145.54
AT ITER 8574 NEW BEST:: SOT 55170850 SOS 47026998 HAS SOPS 23056473 HAS SOUS 3345039 HAS SOUPS 1176000 WITH SCORE 1223026.998
AT ITER 8599 NEW BEST:: SOT 55170850 SOS 47026782 HAS SOPS 23059617 HAS SOUS 3344443 HAS SOUPS 1175964 WITH SCORE 1222990.782
AT ITER 8617 NEW BEST:: SOT 55167033 SOS 47038974 HAS SOPS 23062617 HAS SOUS 3343953 HAS SOUPS 1175474 WITH SCORE 1222512.974
AT ITER 8619 NEW BEST:: SOT 55166579 SOS 47036596 HAS SOPS 23064649 HAS SOUS 3342764 HAS SOUPS 1175020 WITH SCORE 1222056.596
AT ITER 8623 NEW BEST:: SOT 55166579 SOS 47036596 HAS SOPS 23064649 HAS SOUS 3342656 HAS SOUPS 1174912 WITH SCORE 1221948.596
AT ITER 8641 NEW BEST:: SOT 55166579 SOS 47036596 HAS SOPS 23064649 HAS SOUS 3342618 HAS SOUPS 1174874 WITH SCORE 1221910.596
AT ITER 8670 NEW BEST:: SOT 55166409 SOS 47036256 HAS SOPS 23067633 HAS SOUS 3341804 HAS SOUPS 1174614 WITH SCORE 1221650.256
AT ITER 8692 NEW BEST:: SOT 55162569 SOS 47032082 HAS SOPS 23063459 HAS SOUS 3337964 HAS SOUPS 1170774 WITH SCORE 1217806.082
AT ITER 8698 NEW BEST:: SOT 55162267 SOS 47031478 HAS SOPS 23061031 HAS SOUS 3337966 HAS SOUPS 1170472 WITH SCORE 1217503.4780000001
AT ITER 8716 NEW BEST:: SOT 55160213 SOS 47045162 HAS SOPS 23063411 HAS SOUS 3337851 HAS SOUPS 1169729 WITH SCORE 1216774.162
AT ITER 8726 NEW BEST:: SOT 55159376 SOS 47042960 HAS SOPS 23061209 HAS SOUS 3337678 HAS SOUPS 1169556 WITH SCORE 1216598.96
AT ITER 8738 NEW BEST:: SOT 55162268 SOS 47047298 HAS SOPS 23062655 HAS SOUS 3337437 HAS SOUPS 1169074 WITH SCORE 1216121.298
AT ITER 8844 NEW BEST:: SOT 55162100 SOS 47044778 HAS SOPS 23060135 HAS SOUS 3336965 HAS SOUPS 1168602 WITH SCORE 1215646.778
AT ITER 8859 NEW BEST:: SOT 55161692 SOS 47044386 HAS SOPS 23058471 HAS SOUS 3336769 HAS SOUPS 1168194 WITH SCORE 1215238.386
AT ITER 8885 NEW BEST:: SOT 55158289 SOS 47057350 HAS SOPS 23062111 HAS SOUS 3336673 HAS SOUPS 1168098 WITH SCORE 1215155.35
AT ITER 8933 NEW BEST:: SOT 55154681 SOS 47063712 HAS SOPS 23062245 HAS SOUS 3335685 HAS SOUPS 1167110 WITH SCORE 1214173.712
AT ITER 8940 NEW BEST:: SOT 55154669 SOS 47063688 HAS SOPS 23062221 HAS SOUS 3335679 HAS SOUPS 1167104 WITH SCORE 1214167.688
AT ITER 8942 NEW BEST:: SOT 55154221 SOS 47064456 HAS SOPS 23061837 HAS SOUS 3335486 HAS SOUPS 1166847 WITH SCORE 1213911.456
AT ITER 8962 NEW BEST:: SOT 55154221 SOS 47064456 HAS SOPS 23061837 HAS SOUS 3335166 HAS SOUPS 1166527 WITH SCORE 1213591.456
AT ITER 8968 NEW BEST:: SOT 55152535 SOS 47061084 HAS SOPS 23058465 HAS SOUS 3334100 HAS SOUPS 1165461 WITH SCORE 1212522.084
AT ITER 8979 NEW BEST:: SOT 55152149 SOS 47060312 HAS SOPS 23060009 HAS SOUS 3333082 HAS SOUPS 1164829 WITH SCORE 1211889.312
AT ITER 8983 NEW BEST:: SOT 55151936 SOS 47058608 HAS SOPS 23059583 HAS SOUS 3332656 HAS SOUPS 1164616 WITH SCORE 1211674.608
AT ITER 8995 NEW BEST:: SOT 55151936 SOS 47058416 HAS SOPS 23059391 HAS SOUS 3332623 HAS SOUPS 1164583 WITH SCORE 1211641.416
AT ITER 9005 NEW BEST:: SOT 55151678 SOS 47057900 HAS SOPS 23058875 HAS SOUS 3332365 HAS SOUPS 1164325 WITH SCORE 1211382.9
AT ITER 9014 NEW BEST:: SOT 55151591 SOS 47057726 HAS SOPS 23058701 HAS SOUS 3332278 HAS SOUPS 1164238 WITH SCORE 1211295.726
AT ITER 9017 NEW BEST:: SOT 55151591 SOS 47057726 HAS SOPS 23058701 HAS SOUS 3331912 HAS SOUPS 1163872 WITH SCORE 1210929.726
AT ITER 9025 NEW BEST:: SOT 55151591 SOS 47057726 HAS SOPS 23058701 HAS SOUS 3331814 HAS SOUPS 1163774 WITH SCORE 1210831.726
AT ITER 9105 NEW BEST:: SOT 55149683 SOS 47054990 HAS SOPS 23056847 HAS SOUS 3331670 HAS SOUPS 1163630 WITH SCORE 1210684.99
AT ITER 9118 NEW BEST:: SOT 55149338 SOS 47054300 HAS SOPS 23053679 HAS SOUS 3331191 HAS SOUPS 1162738 WITH SCORE 1209792.3
AT ITER 9124 NEW BEST:: SOT 55149523 SOS 47048750 HAS SOPS 23050349 HAS SOUS 3331191 HAS SOUPS 1162738 WITH SCORE 1209786.75
AT ITER 9137 NEW BEST:: SOT 55149704 SOS 47049112 HAS SOPS 23053945 HAS SOUS 3330453 HAS SOUPS 1162539 WITH SCORE 1209588.112
AT ITER 9167 NEW BEST:: SOT 55149704 SOS 47049112 HAS SOPS 23053945 HAS SOUS 3330109 HAS SOUPS 1162195 WITH SCORE 1209244.112
AT ITER 9180 NEW BEST:: SOT 55149566 SOS 47048974 HAS SOPS 23053807 HAS SOUS 3329902 HAS SOUPS 1161988 WITH SCORE 1209036.974
AT ITER 9192 NEW BEST:: SOT 55148458 SOS 47056832 HAS SOPS 23055257 HAS SOUS 3330043 HAS SOUPS 1161773 WITH SCORE 1208829.832
AT ITER 9197 NEW BEST:: SOT 55150402 SOS 47062034 HAS SOPS 23056517 HAS SOUS 3330543 HAS SOUPS 1161616 WITH SCORE 1208678.034
AT ITER 9213 NEW BEST:: SOT 55139134 SOS 47044334 HAS SOPS 23049093 HAS SOUS 3329194 HAS SOUPS 1161093 WITH SCORE 1208137.334
AT ITER 9231 NEW BEST:: SOT 55139134 SOS 47044334 HAS SOPS 23049093 HAS SOUS 3329186 HAS SOUPS 1161085 WITH SCORE 1208129.334
AT ITER 9239 NEW BEST:: SOT 55138823 SOS 47043712 HAS SOPS 23048471 HAS SOUS 3328630 HAS SOUPS 1160529 WITH SCORE 1207572.712
AT ITER 9248 NEW BEST:: SOT 55138509 SOS 47043084 HAS SOPS 23047843 HAS SOUS 3328316 HAS SOUPS 1160215 WITH SCORE 1207258.084
AT ITER 9262 NEW BEST:: SOT 55139505 SOS 47044578 HAS SOPS 23048341 HAS SOUS 3328233 HAS SOUPS 1160049 WITH SCORE 1207093.578
AT ITER 9269 NEW BEST:: SOT 55139299 SOS 47043284 HAS SOPS 23049621 HAS SOUS 3327229 HAS SOUPS 1159474 WITH SCORE 1206517.284
AT ITER 9299 NEW BEST:: SOT 55138899 SOS 47041416 HAS SOPS 23050957 HAS SOUS 3326429 HAS SOUPS 1159208 WITH SCORE 1206249.416
AT ITER 9338 NEW BEST:: SOT 55139015 SOS 47042783 HAS SOPS 23051510 HAS SOUS 3326697 HAS SOUPS 1159158 WITH SCORE 1206200.783
AT ITER 9342 NEW BEST:: SOT 55138843 SOS 47042439 HAS SOPS 23050650 HAS SOUS 3326611 HAS SOUPS 1158986 WITH SCORE 1206028.439
AT ITER 9349 NEW BEST:: SOT 55139062 SOS 47031287 HAS SOPS 23046018 HAS SOUS 3325669 HAS SOUPS 1158372 WITH SCORE 1205403.287
AT ITER 9353 NEW BEST:: SOT 55138513 SOS 47030189 HAS SOPS 23049078 HAS SOUS 3324231 HAS SOUPS 1157627 WITH SCORE 1204657.189
AT ITER 9354 NEW BEST:: SOT 55138513 SOS 47030189 HAS SOPS 23049078 HAS SOUS 3324147 HAS SOUPS 1157543 WITH SCORE 1204573.189
AT ITER 9355 NEW BEST:: SOT 55138513 SOS 47029835 HAS SOPS 23049078 HAS SOUS 3323970 HAS SOUPS 1157425 WITH SCORE 1204454.835
AT ITER 9360 NEW BEST:: SOT 55138085 SOS 47028979 HAS SOPS 23048222 HAS SOUS 3323308 HAS SOUPS 1156763 WITH SCORE 1203791.979
AT ITER 9370 NEW BEST:: SOT 55135423 SOS 47032339 HAS SOPS 23047240 HAS SOUS 3322581 HAS SOUPS 1156036 WITH SCORE 1203068.339
AT ITER 9382 NEW BEST:: SOT 55135368 SOS 47031864 HAS SOPS 23047185 HAS SOUS 3322441 HAS SOUPS 1155966 WITH SCORE 1202997.864
AT ITER 9409 NEW BEST:: SOT 55135368 SOS 47031864 HAS SOPS 23047185 HAS SOUS 3322421 HAS SOUPS 1155946 WITH SCORE 1202977.864
AT ITER 9413 NEW BEST:: SOT 55135344 SOS 47031816 HAS SOPS 23047137 HAS SOUS 3322397 HAS SOUPS 1155922 WITH SCORE 1202953.816
AT ITER 9440 NEW BEST:: SOT 55135234 SOS 47030828 HAS SOPS 23046149 HAS SOUS 3322116 HAS SOUPS 1155641 WITH SCORE 1202671.828
AT ITER 9471 NEW BEST:: SOT 55118865 SOS 47005877 HAS SOPS 23035142 HAS SOUS 3319967 HAS SOUPS 1154496 WITH SCORE 1201501.877
AT ITER 9472 NEW BEST:: SOT 55116741 SOS 47021573 HAS SOPS 23041622 HAS SOUS 3319600 HAS SOUPS 1154129 WITH SCORE 1201150.573
AT ITER 9477 NEW BEST:: SOT 55116741 SOS 47021573 HAS SOPS 23041622 HAS SOUS 3319242 HAS SOUPS 1153771 WITH SCORE 1200792.573
AT ITER 9480 NEW BEST:: SOT 55116541 SOS 47021353 HAS SOPS 23041402 HAS SOUS 3319192 HAS SOUPS 1153721 WITH SCORE 1200742.3530000001
AT ITER 9504 NEW BEST:: SOT 55116541 SOS 47021353 HAS SOPS 23041402 HAS SOUS 3319132 HAS SOUPS 1153661 WITH SCORE 1200682.3530000001
AT ITER 9517 NEW BEST:: SOT 55116541 SOS 47021353 HAS SOPS 23041402 HAS SOUS 3319128 HAS SOUPS 1153657 WITH SCORE 1200678.3530000001
AT ITER 9552 NEW BEST:: SOT 55116541 SOS 47021353 HAS SOPS 23041402 HAS SOUS 3318834 HAS SOUPS 1153363 WITH SCORE 1200384.3530000001
AT ITER 9556 NEW BEST:: SOT 55116293 SOS 47019195 HAS SOPS 23044230 HAS SOUS 3317759 HAS SOUPS 1153119 WITH SCORE 1200138.195
AT ITER 9579 NEW BEST:: SOT 55115591 SOS 47029023 HAS SOPS 23049846 HAS SOUS 3317408 HAS SOUPS 1152768 WITH SCORE 1199797.023
AT ITER 9597 NEW BEST:: SOT 55110207 SOS 47021417 HAS SOPS 23044736 HAS SOUS 3317113 HAS SOUPS 1152473 WITH SCORE 1199494.417
AT ITER 9614 NEW BEST:: SOT 55110567 SOS 47021957 HAS SOPS 23044916 HAS SOUS 3317083 HAS SOUPS 1152413 WITH SCORE 1199434.957
AT ITER 9630 NEW BEST:: SOT 55110567 SOS 47021957 HAS SOPS 23044916 HAS SOUS 3316717 HAS SOUPS 1152047 WITH SCORE 1199068.957
AT ITER 9657 NEW BEST:: SOT 55110521 SOS 47021865 HAS SOPS 23044824 HAS SOUS 3316685 HAS SOUPS 1152015 WITH SCORE 1199036.865
AT ITER 9689 NEW BEST:: SOT 55110521 SOS 47021865 HAS SOPS 23044824 HAS SOUS 3316643 HAS SOUPS 1151973 WITH SCORE 1198994.865
AT ITER 9707 NEW BEST:: SOT 55109315 SOS 47019027 HAS SOPS 23041986 HAS SOUS 3316008 HAS SOUPS 1151338 WITH SCORE 1198357.027
AT ITER 9745 NEW BEST:: SOT 55105330 SOS 47029445 HAS SOPS 23046249 HAS SOUS 3315014 HAS SOUPS 1150902 WITH SCORE 1197931.445
AT ITER 9747 NEW BEST:: SOT 55105092 SOS 47028731 HAS SOPS 23045535 HAS SOUS 3314776 HAS SOUPS 1150664 WITH SCORE 1197692.731
AT ITER 9753 NEW BEST:: SOT 55085036 SOS 46997425 HAS SOPS 23032927 HAS SOUS 3313577 HAS SOUPS 1150659 WITH SCORE 1197656.425
AT ITER 9794 NEW BEST:: SOT 55084298 SOS 46993325 HAS SOPS 23033333 HAS SOUS 3312165 HAS SOUPS 1149960 WITH SCORE 1196953.325
AT ITER 9829 NEW BEST:: SOT 55084081 SOS 46992237 HAS SOPS 23032899 HAS SOUS 3311731 HAS SOUPS 1149635 WITH SCORE 1196627.237
AT ITER 9837 NEW BEST:: SOT 55083958 SOS 46991991 HAS SOPS 23032653 HAS SOUS 3311608 HAS SOUPS 1149512 WITH SCORE 1196503.991
AT ITER 9868 NEW BEST:: SOT 55084555 SOS 46853897 HAS SOPS 23036875 HAS SOUS 3310249 HAS SOUPS 1148910 WITH SCORE 1195763.897
AT ITER 9870 NEW BEST:: SOT 55085033 SOS 46837915 HAS SOPS 23030505 HAS SOUS 3309138 HAS SOUPS 1148333 WITH SCORE 1195170.915
AT ITER 9876 NEW BEST:: SOT 55084860 SOS 46837569 HAS SOPS 23030159 HAS SOUS 3308965 HAS SOUPS 1148160 WITH SCORE 1194997.569
AT ITER 9884 NEW BEST:: SOT 55084860 SOS 46837569 HAS SOPS 23030159 HAS SOUS 3308879 HAS SOUPS 1148074 WITH SCORE 1194911.569
AT ITER 9891 NEW BEST:: SOT 55082242 SOS 46831353 HAS SOPS 23026883 HAS SOUS 3306751 HAS SOUPS 1146436 WITH SCORE 1193267.3530000001
AT ITER 9894 NEW BEST:: SOT 55081796 SOS 46837117 HAS SOPS 23028633 HAS SOUS 3306823 HAS SOUPS 1146285 WITH SCORE 1193122.117
AT ITER 9911 NEW BEST:: SOT 55080241 SOS 46845693 HAS SOPS 23028317 HAS SOUS 3307087 HAS SOUPS 1146055 WITH SCORE 1192900.693
AT ITER 9963 NEW BEST:: SOT 55080241 SOS 46845693 HAS SOPS 23028317 HAS SOUS 3307031 HAS SOUPS 1145999 WITH SCORE 1192844.693
AT ITER 9965 NEW BEST:: SOT 55080116 SOS 46847009 HAS SOPS 23028067 HAS SOUS 3306846 HAS SOUPS 1145553 WITH SCORE 1192400.009
AT ITER 9997 NEW BEST:: SOT 55080023 SOS 46846241 HAS SOPS 23027881 HAS SOUS 3306656 HAS SOUPS 1145460 WITH SCORE 1192306.241
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 5739808 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16138340 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is DLCshifumi-PT-6a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814473000864"
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 ;