Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.3M
-rw-r--r-- 1 mcc users 6.7K Feb 26 11:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 11:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 26 10:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 26 10:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K 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 9.6K Feb 26 15:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 26 15:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 13:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 13:38 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 3.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 1678436118123

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

Filename model.pnml
Petri model created: 2162 places, 14865 transitions, 57457 arcs.
AT ITER 0 NEW BEST:: SOT 20143635 SOS 16667178 HAS SOPS 8343135 HAS SOUS 1611290 HAS SOUPS 721084 WITH SCORE 737751.178
AT ITER 5 NEW BEST:: SOT 20140847 SOS 16672471 HAS SOPS 8343428 HAS SOUS 1609228 HAS SOUPS 719022 WITH SCORE 735694.471
AT ITER 6 NEW BEST:: SOT 20140252 SOS 16672896 HAS SOPS 8342578 HAS SOUS 1608888 HAS SOUPS 718597 WITH SCORE 735269.896
AT ITER 29 NEW BEST:: SOT 20138664 SOS 16674659 HAS SOPS 8340321 HAS SOUS 1607871 HAS SOUPS 717312 WITH SCORE 733986.659
AT ITER 30 NEW BEST:: SOT 20138388 SOS 16673718 HAS SOPS 8341325 HAS SOUS 1607206 HAS SOUPS 717036 WITH SCORE 733709.718
AT ITER 34 NEW BEST:: SOT 20138142 SOS 16672621 HAS SOPS 8343253 HAS SOUS 1606599 HAS SOUPS 717034 WITH SCORE 733706.621
AT ITER 41 NEW BEST:: SOT 20136793 SOS 16675025 HAS SOPS 8341472 HAS SOUS 1606099 HAS SOUPS 716255 WITH SCORE 732930.025
AT ITER 58 NEW BEST:: SOT 20136659 SOS 16674757 HAS SOPS 8341539 HAS SOUS 1605831 HAS SOUPS 716054 WITH SCORE 732728.757
AT ITER 62 NEW BEST:: SOT 20136339 SOS 16674117 HAS SOPS 8341699 HAS SOUS 1605191 HAS SOUPS 715574 WITH SCORE 732248.117
AT ITER 66 NEW BEST:: SOT 20133553 SOS 16688606 HAS SOPS 8348178 HAS SOUS 1604077 HAS SOUPS 714460 WITH SCORE 731148.606
AT ITER 82 NEW BEST:: SOT 20134302 SOS 16691968 HAS SOPS 8351540 HAS SOUS 1604036 HAS SOUPS 714419 WITH SCORE 731110.968
AT ITER 87 NEW BEST:: SOT 20133962 SOS 16691288 HAS SOPS 8351710 HAS SOUS 1603356 HAS SOUPS 713909 WITH SCORE 730600.288
AT ITER 93 NEW BEST:: SOT 20133694 SOS 16690752 HAS SOPS 8351174 HAS SOUS 1602954 HAS SOUPS 713507 WITH SCORE 730197.752
AT ITER 103 NEW BEST:: SOT 20133404 SOS 16690027 HAS SOPS 8350449 HAS SOUS 1602664 HAS SOUPS 713217 WITH SCORE 729907.027
AT ITER 105 NEW BEST:: SOT 20132960 SOS 16689139 HAS SOPS 8349561 HAS SOUS 1602220 HAS SOUPS 712773 WITH SCORE 729462.139
AT ITER 121 NEW BEST:: SOT 20132960 SOS 16689139 HAS SOPS 8349561 HAS SOUS 1601998 HAS SOUPS 712551 WITH SCORE 729240.139
AT ITER 133 NEW BEST:: SOT 20132960 SOS 16689139 HAS SOPS 8349561 HAS SOUS 1601854 HAS SOUPS 712407 WITH SCORE 729096.139
AT ITER 146 NEW BEST:: SOT 20132666 SOS 16688066 HAS SOPS 8350913 HAS SOUS 1601075 HAS SOUPS 712113 WITH SCORE 728801.066
AT ITER 148 NEW BEST:: SOT 20132294 SOS 16687057 HAS SOPS 8351229 HAS SOUS 1600520 HAS SOUPS 711823 WITH SCORE 728510.057
AT ITER 159 NEW BEST:: SOT 20126670 SOS 16679010 HAS SOPS 8346957 HAS SOUS 1600468 HAS SOUPS 711803 WITH SCORE 728482.01
AT ITER 165 NEW BEST:: SOT 20125202 SOS 16675266 HAS SOPS 8345233 HAS SOUS 1598340 HAS SOUPS 710079 WITH SCORE 726754.266
AT ITER 173 NEW BEST:: SOT 20125202 SOS 16675266 HAS SOPS 8345233 HAS SOUS 1598122 HAS SOUPS 709861 WITH SCORE 726536.266
AT ITER 182 NEW BEST:: SOT 20124207 SOS 16676174 HAS SOPS 8343726 HAS SOUS 1597705 HAS SOUPS 709283 WITH SCORE 725959.174
AT ITER 189 NEW BEST:: SOT 20123945 SOS 16676174 HAS SOPS 8343726 HAS SOUS 1597573 HAS SOUPS 709151 WITH SCORE 725827.174
AT ITER 194 NEW BEST:: SOT 20122301 SOS 16680211 HAS SOPS 8342063 HAS SOUS 1597003 HAS SOUPS 708201 WITH SCORE 724881.211
AT ITER 197 NEW BEST:: SOT 20119800 SOS 16687572 HAS SOPS 8343964 HAS SOUS 1595335 HAS SOUPS 706533 WITH SCORE 723220.572
AT ITER 223 NEW BEST:: SOT 20117286 SOS 16697845 HAS SOPS 8347567 HAS SOUS 1594010 HAS SOUPS 705208 WITH SCORE 721905.845
AT ITER 228 NEW BEST:: SOT 20116304 SOS 16695881 HAS SOPS 8348058 HAS SOUS 1592046 HAS SOUPS 703735 WITH SCORE 720430.881
AT ITER 251 NEW BEST:: SOT 20115894 SOS 16694478 HAS SOPS 8349570 HAS SOUS 1591053 HAS SOUPS 703325 WITH SCORE 720019.478
AT ITER 267 NEW BEST:: SOT 20115544 SOS 16693743 HAS SOPS 8351570 HAS SOUS 1590075 HAS SOUPS 702894 WITH SCORE 719587.743
AT ITER 268 NEW BEST:: SOT 20115034 SOS 16692723 HAS SOPS 8351825 HAS SOUS 1589055 HAS SOUPS 702129 WITH SCORE 718821.723
AT ITER 270 NEW BEST:: SOT 20114148 SOS 16693573 HAS SOPS 8350605 HAS SOUS 1588543 HAS SOUPS 701479 WITH SCORE 718172.573
AT ITER 275 NEW BEST:: SOT 20111777 SOS 16708592 HAS SOPS 8354014 HAS SOUS 1587624 HAS SOUPS 699786 WITH SCORE 716494.592
AT ITER 281 NEW BEST:: SOT 20109971 SOS 16704482 HAS SOPS 8352394 HAS SOUS 1586240 HAS SOUPS 698900 WITH SCORE 715604.482
AT ITER 316 NEW BEST:: SOT 20109784 SOS 16704108 HAS SOPS 8352020 HAS SOUS 1585866 HAS SOUPS 698526 WITH SCORE 715230.108
AT ITER 325 NEW BEST:: SOT 20109748 SOS 16704036 HAS SOPS 8351948 HAS SOUS 1585857 HAS SOUPS 698517 WITH SCORE 715221.036
AT ITER 327 NEW BEST:: SOT 20109748 SOS 16704036 HAS SOPS 8351948 HAS SOUS 1585611 HAS SOUPS 698271 WITH SCORE 714975.036
AT ITER 330 NEW BEST:: SOT 20109748 SOS 16704036 HAS SOPS 8351948 HAS SOUS 1585429 HAS SOUPS 698089 WITH SCORE 714793.036
AT ITER 338 NEW BEST:: SOT 20108292 SOS 16706272 HAS SOPS 8349894 HAS SOUS 1584517 HAS SOUPS 696891 WITH SCORE 713597.272
AT ITER 348 NEW BEST:: SOT 20108292 SOS 16706272 HAS SOPS 8349894 HAS SOUS 1584359 HAS SOUPS 696733 WITH SCORE 713439.272
AT ITER 350 NEW BEST:: SOT 20108028 SOS 16705334 HAS SOPS 8351006 HAS SOUS 1583685 HAS SOUPS 696469 WITH SCORE 713174.334
AT ITER 356 NEW BEST:: SOT 20104951 SOS 16710449 HAS SOPS 8350991 HAS SOUS 1581068 HAS SOUPS 693852 WITH SCORE 710562.449
AT ITER 358 NEW BEST:: SOT 20104595 SOS 16709216 HAS SOPS 8352363 HAS SOUS 1580191 HAS SOUPS 693496 WITH SCORE 710205.216
AT ITER 360 NEW BEST:: SOT 20100812 SOS 16703862 HAS SOPS 8348773 HAS SOUS 1579965 HAS SOUPS 693270 WITH SCORE 709973.862
AT ITER 371 NEW BEST:: SOT 20099609 SOS 16709524 HAS SOPS 8348420 HAS SOUS 1579667 HAS SOUPS 692571 WITH SCORE 709280.524
AT ITER 378 NEW BEST:: SOT 20099609 SOS 16709524 HAS SOPS 8348420 HAS SOUS 1579493 HAS SOUPS 692397 WITH SCORE 709106.524
AT ITER 379 NEW BEST:: SOT 20097724 SOS 16712168 HAS SOPS 8346069 HAS SOUS 1578248 HAS SOUPS 690819 WITH SCORE 707531.168
AT ITER 397 NEW BEST:: SOT 20097250 SOS 16710768 HAS SOPS 8346929 HAS SOUS 1577322 HAS SOUPS 690345 WITH SCORE 707055.768
AT ITER 400 NEW BEST:: SOT 20096916 SOS 16709764 HAS SOPS 8347605 HAS SOUS 1576652 HAS SOUPS 690011 WITH SCORE 706720.764
AT ITER 403 NEW BEST:: SOT 20096138 SOS 16707224 HAS SOPS 8345065 HAS SOUS 1575546 HAS SOUPS 688905 WITH SCORE 705612.224
AT ITER 413 NEW BEST:: SOT 20095079 SOS 16704665 HAS SOPS 8344711 HAS SOUS 1574949 HAS SOUPS 688749 WITH SCORE 705453.665
AT ITER 422 NEW BEST:: SOT 20094743 SOS 16704972 HAS SOPS 8344298 HAS SOUS 1574780 HAS SOUPS 688532 WITH SCORE 705236.972
AT ITER 424 NEW BEST:: SOT 20091270 SOS 16712310 HAS SOPS 8345456 HAS SOUS 1571878 HAS SOUPS 685630 WITH SCORE 702342.31
AT ITER 428 NEW BEST:: SOT 20090829 SOS 16711134 HAS SOPS 8345750 HAS SOUS 1571178 HAS SOUPS 685224 WITH SCORE 701935.134
AT ITER 430 NEW BEST:: SOT 20087898 SOS 16721149 HAS SOPS 8349125 HAS SOUS 1569294 HAS SOUPS 683340 WITH SCORE 700061.149
AT ITER 447 NEW BEST:: SOT 20086755 SOS 16742906 HAS SOPS 8358282 HAS SOUS 1569884 HAS SOUPS 683090 WITH SCORE 699832.906
AT ITER 448 NEW BEST:: SOT 20086269 SOS 16741934 HAS SOPS 8358525 HAS SOUS 1568912 HAS SOUPS 682361 WITH SCORE 699102.934
AT ITER 453 NEW BEST:: SOT 20086269 SOS 16741934 HAS SOPS 8358525 HAS SOUS 1568666 HAS SOUPS 682115 WITH SCORE 698856.934
AT ITER 458 NEW BEST:: SOT 20085241 SOS 16742200 HAS SOPS 8357501 HAS SOUS 1568023 HAS SOUPS 681472 WITH SCORE 698214.2
AT ITER 484 NEW BEST:: SOT 20085241 SOS 16742200 HAS SOPS 8357501 HAS SOUS 1567779 HAS SOUPS 681228 WITH SCORE 697970.2
AT ITER 488 NEW BEST:: SOT 20084878 SOS 16741111 HAS SOPS 8357017 HAS SOUS 1567174 HAS SOUPS 680744 WITH SCORE 697485.111
AT ITER 489 NEW BEST:: SOT 20084878 SOS 16741111 HAS SOPS 8357017 HAS SOUS 1567010 HAS SOUPS 680580 WITH SCORE 697321.111
AT ITER 508 NEW BEST:: SOT 20081972 SOS 16751254 HAS SOPS 8360560 HAS SOUS 1565190 HAS SOUPS 678760 WITH SCORE 695511.254
AT ITER 512 NEW BEST:: SOT 20081518 SOS 16750346 HAS SOPS 8360787 HAS SOUS 1564282 HAS SOUPS 678079 WITH SCORE 694829.346
AT ITER 530 NEW BEST:: SOT 20081241 SOS 16749792 HAS SOPS 8361968 HAS SOUS 1563356 HAS SOUPS 677500 WITH SCORE 694249.792
AT ITER 536 NEW BEST:: SOT 20080825 SOS 16748345 HAS SOPS 8363596 HAS SOUS 1562325 HAS SOUPS 677084 WITH SCORE 693832.345
AT ITER 545 NEW BEST:: SOT 20072517 SOS 16737046 HAS SOPS 8357398 HAS SOUS 1562004 HAS SOUPS 676794 WITH SCORE 693531.046
AT ITER 548 NEW BEST:: SOT 20069819 SOS 16751422 HAS SOPS 8360029 HAS SOUS 1560753 HAS SOUPS 674760 WITH SCORE 691511.422
AT ITER 569 NEW BEST:: SOT 20069510 SOS 16750444 HAS SOPS 8360851 HAS SOUS 1560175 HAS SOUPS 674542 WITH SCORE 691292.444
AT ITER 598 NEW BEST:: SOT 20067424 SOS 16751706 HAS SOPS 8357643 HAS SOUS 1559292 HAS SOUPS 673361 WITH SCORE 690112.706
AT ITER 603 NEW BEST:: SOT 20064773 SOS 16759288 HAS SOPS 8359995 HAS SOUS 1557896 HAS SOUPS 671965 WITH SCORE 688724.288
AT ITER 606 NEW BEST:: SOT 20062696 SOS 16770458 HAS SOPS 8364735 HAS SOUS 1556988 HAS SOUPS 671057 WITH SCORE 687827.458
AT ITER 612 NEW BEST:: SOT 20060164 SOS 16777742 HAS SOPS 8366059 HAS SOUS 1555211 HAS SOUPS 669280 WITH SCORE 686057.742
AT ITER 629 NEW BEST:: SOT 20060164 SOS 16776717 HAS SOPS 8366059 HAS SOUS 1555006 HAS SOUPS 669280 WITH SCORE 686056.717
AT ITER 630 NEW BEST:: SOT 20056620 SOS 16787449 HAS SOPS 8369841 HAS SOUS 1552994 HAS SOUPS 667268 WITH SCORE 684055.449
AT ITER 632 NEW BEST:: SOT 20052663 SOS 16797988 HAS SOPS 8372520 HAS SOUS 1550198 HAS SOUPS 664472 WITH SCORE 681269.988
AT ITER 640 NEW BEST:: SOT 20052076 SOS 16796814 HAS SOPS 8373281 HAS SOUS 1548955 HAS SOUPS 663616 WITH SCORE 680412.814
AT ITER 642 NEW BEST:: SOT 20052076 SOS 16796629 HAS SOPS 8374021 HAS SOUS 1548770 HAS SOUPS 663616 WITH SCORE 680412.629
AT ITER 646 NEW BEST:: SOT 20051424 SOS 16795325 HAS SOPS 8374347 HAS SOUS 1547466 HAS SOUPS 662638 WITH SCORE 679433.325
AT ITER 659 NEW BEST:: SOT 20047922 SOS 16800066 HAS SOPS 8374118 HAS SOUS 1546265 HAS SOUPS 661437 WITH SCORE 678237.066
AT ITER 661 NEW BEST:: SOT 20045780 SOS 16814242 HAS SOPS 8376969 HAS SOUS 1546411 HAS SOUPS 660828 WITH SCORE 677642.242
AT ITER 673 NEW BEST:: SOT 20045276 SOS 16813990 HAS SOPS 8376717 HAS SOUS 1546376 HAS SOUPS 660793 WITH SCORE 677606.99
AT ITER 675 NEW BEST:: SOT 20045266 SOS 16814277 HAS SOPS 8377004 HAS SOUS 1546076 HAS SOUPS 660493 WITH SCORE 677307.277
AT ITER 707 NEW BEST:: SOT 20045012 SOS 16813769 HAS SOPS 8378291 HAS SOUS 1545516 HAS SOUPS 660292 WITH SCORE 677105.769
AT ITER 720 NEW BEST:: SOT 20043254 SOS 16818815 HAS SOPS 8377127 HAS SOUS 1544978 HAS SOUPS 659340 WITH SCORE 676158.815
AT ITER 724 NEW BEST:: SOT 20038364 SOS 16828550 HAS SOPS 8378912 HAS SOUS 1542435 HAS SOUPS 656797 WITH SCORE 673625.55
AT ITER 750 NEW BEST:: SOT 20038364 SOS 16828550 HAS SOPS 8378912 HAS SOUS 1542315 HAS SOUPS 656677 WITH SCORE 673505.55
AT ITER 752 NEW BEST:: SOT 20033065 SOS 16821463 HAS SOPS 8375118 HAS SOUS 1542216 HAS SOUPS 656608 WITH SCORE 673429.463
AT ITER 762 NEW BEST:: SOT 20032915 SOS 16821013 HAS SOPS 8375418 HAS SOUS 1542066 HAS SOUPS 656608 WITH SCORE 673429.013
AT ITER 778 NEW BEST:: SOT 20029208 SOS 16827916 HAS SOPS 8375931 HAS SOUS 1538897 HAS SOUPS 653439 WITH SCORE 670266.916
AT ITER 795 NEW BEST:: SOT 20029100 SOS 16827700 HAS SOPS 8375715 HAS SOUS 1538789 HAS SOUPS 653331 WITH SCORE 670158.7
AT ITER 815 NEW BEST:: SOT 20026824 SOS 16824666 HAS SOPS 8373757 HAS SOUS 1538706 HAS SOUPS 653223 WITH SCORE 670047.666
AT ITER 818 NEW BEST:: SOT 20026682 SOS 16823962 HAS SOPS 8375153 HAS SOUS 1538271 HAS SOUPS 653208 WITH SCORE 670031.962
AT ITER 838 NEW BEST:: SOT 20026374 SOS 16822915 HAS SOPS 8376261 HAS SOUS 1537532 HAS SOUPS 652900 WITH SCORE 669722.915
AT ITER 841 NEW BEST:: SOT 20025069 SOS 16829193 HAS SOPS 8376974 HAS SOUS 1537670 HAS SOUPS 652667 WITH SCORE 669496.193
AT ITER 845 NEW BEST:: SOT 20024548 SOS 16828151 HAS SOPS 8378537 HAS SOUS 1536368 HAS SOUPS 651886 WITH SCORE 668714.151
AT ITER 847 NEW BEST:: SOT 20024446 SOS 16827947 HAS SOPS 8378843 HAS SOUS 1536062 HAS SOUPS 651682 WITH SCORE 668509.947
AT ITER 861 NEW BEST:: SOT 20024363 SOS 16818765 HAS SOPS 8374491 HAS SOUS 1535013 HAS SOUPS 650955 WITH SCORE 667773.765
AT ITER 862 NEW BEST:: SOT 20024051 SOS 16816691 HAS SOPS 8372417 HAS SOUS 1534700 HAS SOUPS 650642 WITH SCORE 667458.691
AT ITER 864 NEW BEST:: SOT 20027680 SOS 16821014 HAS SOPS 8376206 HAS SOUS 1533838 HAS SOUPS 650134 WITH SCORE 666955.014
AT ITER 874 NEW BEST:: SOT 20027680 SOS 16821014 HAS SOPS 8376206 HAS SOUS 1533662 HAS SOUPS 649958 WITH SCORE 666779.014
AT ITER 884 NEW BEST:: SOT 20027126 SOS 16819906 HAS SOPS 8377103 HAS SOUS 1532414 HAS SOUPS 649111 WITH SCORE 665930.906
AT ITER 888 NEW BEST:: SOT 20023082 SOS 16826571 HAS SOPS 8377258 HAS SOUS 1529553 HAS SOUPS 646250 WITH SCORE 663076.571
AT ITER 905 NEW BEST:: SOT 20021141 SOS 16829318 HAS SOPS 8376575 HAS SOUS 1528200 HAS SOUPS 644897 WITH SCORE 661726.318
AT ITER 906 NEW BEST:: SOT 20021141 SOS 16829318 HAS SOPS 8376575 HAS SOUS 1527954 HAS SOUPS 644651 WITH SCORE 661480.318
AT ITER 928 NEW BEST:: SOT 20020977 SOS 16828990 HAS SOPS 8378192 HAS SOUS 1527344 HAS SOUPS 644430 WITH SCORE 661258.99
AT ITER 933 NEW BEST:: SOT 20020712 SOS 16827921 HAS SOPS 8379818 HAS SOUS 1526741 HAS SOUPS 644366 WITH SCORE 661193.921
AT ITER 938 NEW BEST:: SOT 20019775 SOS 16826047 HAS SOPS 8377944 HAS SOUS 1525261 HAS SOUPS 642886 WITH SCORE 659712.047
AT ITER 943 NEW BEST:: SOT 20019775 SOS 16826047 HAS SOPS 8377944 HAS SOUS 1525089 HAS SOUPS 642714 WITH SCORE 659540.047
AT ITER 949 NEW BEST:: SOT 20019775 SOS 16826047 HAS SOPS 8377944 HAS SOUS 1524843 HAS SOUPS 642468 WITH SCORE 659294.047
AT ITER 954 NEW BEST:: SOT 20013282 SOS 16817351 HAS SOPS 8373437 HAS SOUS 1524757 HAS SOUPS 642470 WITH SCORE 659287.351
AT ITER 957 NEW BEST:: SOT 20013282 SOS 16817351 HAS SOPS 8373437 HAS SOUS 1524675 HAS SOUPS 642388 WITH SCORE 659205.351
AT ITER 967 NEW BEST:: SOT 19999279 SOS 16797236 HAS SOPS 8364904 HAS SOUS 1523673 HAS SOUPS 642368 WITH SCORE 659165.236
AT ITER 969 NEW BEST:: SOT 19998497 SOS 16799263 HAS SOPS 8364096 HAS SOUS 1523578 HAS SOUPS 642084 WITH SCORE 658883.263
AT ITER 978 NEW BEST:: SOT 19998383 SOS 16799035 HAS SOPS 8364153 HAS SOUS 1523350 HAS SOUPS 641913 WITH SCORE 658712.035
AT ITER 998 NEW BEST:: SOT 19998383 SOS 16799035 HAS SOPS 8364153 HAS SOUS 1523274 HAS SOUPS 641837 WITH SCORE 658636.035
AT ITER 1013 NEW BEST:: SOT 19998085 SOS 16798439 HAS SOPS 8366447 HAS SOUS 1522357 HAS SOUPS 641498 WITH SCORE 658296.439
AT ITER 1019 NEW BEST:: SOT 19996803 SOS 16796747 HAS SOPS 8364755 HAS SOUS 1521946 HAS SOUPS 641087 WITH SCORE 657883.747
AT ITER 1034 NEW BEST:: SOT 19994848 SOS 16803384 HAS SOPS 8365182 HAS SOUS 1521356 HAS SOUPS 640083 WITH SCORE 656886.384
AT ITER 1037 NEW BEST:: SOT 19994598 SOS 16802884 HAS SOPS 8364682 HAS SOUS 1521106 HAS SOUPS 639833 WITH SCORE 656635.884
AT ITER 1041 NEW BEST:: SOT 19992814 SOS 16805501 HAS SOPS 8362499 HAS SOUS 1519949 HAS SOUPS 638356 WITH SCORE 655161.501
AT ITER 1047 NEW BEST:: SOT 19992452 SOS 16804507 HAS SOPS 8361505 HAS SOUS 1519889 HAS SOUPS 638296 WITH SCORE 655100.507
AT ITER 1057 NEW BEST:: SOT 19992452 SOS 16804507 HAS SOPS 8361505 HAS SOUS 1519737 HAS SOUPS 638144 WITH SCORE 654948.507
AT ITER 1061 NEW BEST:: SOT 19990349 SOS 16809190 HAS SOPS 8362308 HAS SOUS 1517973 HAS SOUPS 636380 WITH SCORE 653189.19
AT ITER 1117 NEW BEST:: SOT 19990349 SOS 16809190 HAS SOPS 8362308 HAS SOUS 1517743 HAS SOUPS 636150 WITH SCORE 652959.19
AT ITER 1134 NEW BEST:: SOT 19990115 SOS 16808289 HAS SOPS 8363572 HAS SOUS 1517220 HAS SOUPS 636060 WITH SCORE 652868.289
AT ITER 1151 NEW BEST:: SOT 19989535 SOS 16807129 HAS SOPS 8364022 HAS SOUS 1516036 HAS SOUPS 635198 WITH SCORE 652005.129
AT ITER 1157 NEW BEST:: SOT 19988105 SOS 16803813 HAS SOPS 8362986 HAS SOUS 1515019 HAS SOUPS 634637 WITH SCORE 651440.813
AT ITER 1168 NEW BEST:: SOT 19988105 SOS 16803813 HAS SOPS 8362986 HAS SOUS 1514974 HAS SOUPS 634592 WITH SCORE 651395.813
AT ITER 1177 NEW BEST:: SOT 19987921 SOS 16803445 HAS SOPS 8362618 HAS SOUS 1514790 HAS SOUPS 634408 WITH SCORE 651211.445
AT ITER 1187 NEW BEST:: SOT 19987394 SOS 16802391 HAS SOPS 8364034 HAS SOUS 1513506 HAS SOUPS 633618 WITH SCORE 650420.391
AT ITER 1194 NEW BEST:: SOT 19987394 SOS 16802391 HAS SOPS 8364034 HAS SOUS 1513260 HAS SOUPS 633372 WITH SCORE 650174.391
AT ITER 1195 NEW BEST:: SOT 19987394 SOS 16801752 HAS SOPS 8366590 HAS SOUS 1512621 HAS SOUPS 633372 WITH SCORE 650173.752
AT ITER 1196 NEW BEST:: SOT 19987394 SOS 16801752 HAS SOPS 8366590 HAS SOUS 1512375 HAS SOUPS 633126 WITH SCORE 649927.752
AT ITER 1232 NEW BEST:: SOT 19986740 SOS 16798599 HAS SOPS 8365282 HAS SOUS 1511066 HAS SOUPS 632186 WITH SCORE 648984.599
AT ITER 1250 NEW BEST:: SOT 19985970 SOS 16796818 HAS SOPS 8363501 HAS SOUS 1511019 HAS SOUPS 632139 WITH SCORE 648935.818
AT ITER 1251 NEW BEST:: SOT 19985079 SOS 16797639 HAS SOPS 8362267 HAS SOUS 1510505 HAS SOUPS 631488 WITH SCORE 648285.639
AT ITER 1268 NEW BEST:: SOT 19984015 SOS 16795426 HAS SOPS 8362714 HAS SOUS 1508360 HAS SOUPS 629875 WITH SCORE 646670.426
AT ITER 1294 NEW BEST:: SOT 19982615 SOS 16806704 HAS SOPS 8368182 HAS SOUS 1507796 HAS SOUPS 629311 WITH SCORE 646117.704
AT ITER 1300 NEW BEST:: SOT 19982278 SOS 16807581 HAS SOPS 8367974 HAS SOUS 1507563 HAS SOUPS 629024 WITH SCORE 645831.581
AT ITER 1305 NEW BEST:: SOT 19978918 SOS 16816682 HAS SOPS 8373888 HAS SOUS 1506700 HAS SOUPS 628745 WITH SCORE 645561.682
AT ITER 1306 NEW BEST:: SOT 19968648 SOS 16801801 HAS SOPS 8367094 HAS SOUS 1506174 HAS SOUPS 628758 WITH SCORE 645559.801
AT ITER 1307 NEW BEST:: SOT 19968648 SOS 16801801 HAS SOPS 8367094 HAS SOUS 1506036 HAS SOUPS 628620 WITH SCORE 645421.801
AT ITER 1322 NEW BEST:: SOT 19968648 SOS 16801801 HAS SOPS 8367094 HAS SOUS 1505860 HAS SOUPS 628444 WITH SCORE 645245.801
AT ITER 1323 NEW BEST:: SOT 19967255 SOS 16804253 HAS SOPS 8366636 HAS SOUS 1504844 HAS SOUPS 627428 WITH SCORE 644232.253
AT ITER 1328 NEW BEST:: SOT 19966589 SOS 16805087 HAS SOPS 8365760 HAS SOUS 1504643 HAS SOUPS 627113 WITH SCORE 643918.087
AT ITER 1340 NEW BEST:: SOT 19963904 SOS 16815892 HAS SOPS 8369665 HAS SOUS 1503079 HAS SOUPS 625549 WITH SCORE 642364.892
AT ITER 1345 NEW BEST:: SOT 19963904 SOS 16815753 HAS SOPS 8370221 HAS SOUS 1502940 HAS SOUPS 625549 WITH SCORE 642364.753
AT ITER 1359 NEW BEST:: SOT 19963904 SOS 16815635 HAS SOPS 8370693 HAS SOUS 1502822 HAS SOUPS 625549 WITH SCORE 642364.635
AT ITER 1366 NEW BEST:: SOT 19951737 SOS 16797897 HAS SOPS 8362846 HAS SOUS 1501807 HAS SOUPS 625341 WITH SCORE 642138.897
AT ITER 1369 NEW BEST:: SOT 19948836 SOS 16807029 HAS SOPS 8364898 HAS SOUS 1500011 HAS SOUPS 623545 WITH SCORE 640352.029
AT ITER 1386 NEW BEST:: SOT 19948894 SOS 16805860 HAS SOPS 8363729 HAS SOUS 1499812 HAS SOUPS 623346 WITH SCORE 640151.86
AT ITER 1390 NEW BEST:: SOT 19948573 SOS 16805218 HAS SOPS 8363087 HAS SOUS 1499340 HAS SOUPS 622874 WITH SCORE 639679.218
AT ITER 1392 NEW BEST:: SOT 19936504 SOS 16788561 HAS SOPS 8354906 HAS SOUS 1498643 HAS SOUPS 622588 WITH SCORE 639376.561
AT ITER 1421 NEW BEST:: SOT 19935665 SOS 16785546 HAS SOPS 8351891 HAS SOUS 1497717 HAS SOUPS 621662 WITH SCORE 638447.546
AT ITER 1425 NEW BEST:: SOT 19935678 SOS 16785180 HAS SOPS 8351665 HAS SOUS 1497715 HAS SOUPS 621660 WITH SCORE 638445.18
AT ITER 1441 NEW BEST:: SOT 19935187 SOS 16783880 HAS SOPS 8351955 HAS SOUS 1496977 HAS SOUPS 621240 WITH SCORE 638023.88
AT ITER 1450 NEW BEST:: SOT 19935149 SOS 16783728 HAS SOPS 8351803 HAS SOUS 1496901 HAS SOUPS 621164 WITH SCORE 637947.728
AT ITER 1455 NEW BEST:: SOT 19935010 SOS 16783683 HAS SOPS 8351758 HAS SOUS 1496555 HAS SOUPS 620818 WITH SCORE 637601.683
AT ITER 1463 NEW BEST:: SOT 19935010 SOS 16783683 HAS SOPS 8351758 HAS SOUS 1496063 HAS SOUPS 620326 WITH SCORE 637109.683
AT ITER 1466 NEW BEST:: SOT 19935010 SOS 16783683 HAS SOPS 8351758 HAS SOUS 1495883 HAS SOUPS 620146 WITH SCORE 636929.683
AT ITER 1490 NEW BEST:: SOT 19934156 SOS 16784293 HAS SOPS 8350538 HAS SOUS 1495395 HAS SOUPS 619536 WITH SCORE 636320.293
AT ITER 1496 NEW BEST:: SOT 19934156 SOS 16784293 HAS SOPS 8350538 HAS SOUS 1495389 HAS SOUPS 619530 WITH SCORE 636314.293
AT ITER 1514 NEW BEST:: SOT 19934156 SOS 16784293 HAS SOPS 8350538 HAS SOUS 1495227 HAS SOUPS 619368 WITH SCORE 636152.293
AT ITER 1517 NEW BEST:: SOT 19934156 SOS 16784293 HAS SOPS 8350538 HAS SOUS 1495181 HAS SOUPS 619322 WITH SCORE 636106.293
AT ITER 1521 NEW BEST:: SOT 19932035 SOS 16791654 HAS SOPS 8352589 HAS SOUS 1494126 HAS SOUPS 618267 WITH SCORE 635058.654
AT ITER 1522 NEW BEST:: SOT 19932035 SOS 16791654 HAS SOPS 8352589 HAS SOUS 1494040 HAS SOUPS 618181 WITH SCORE 634972.654
AT ITER 1528 NEW BEST:: SOT 19932035 SOS 16791654 HAS SOPS 8352589 HAS SOUS 1493828 HAS SOUPS 617969 WITH SCORE 634760.654
AT ITER 1547 NEW BEST:: SOT 19932035 SOS 16791654 HAS SOPS 8352589 HAS SOUS 1493582 HAS SOUPS 617723 WITH SCORE 634514.654
AT ITER 1548 NEW BEST:: SOT 19932035 SOS 16791654 HAS SOPS 8352589 HAS SOUS 1493422 HAS SOUPS 617563 WITH SCORE 634354.654
AT ITER 1581 NEW BEST:: SOT 19928735 SOS 16793605 HAS SOPS 8348360 HAS SOUS 1491585 HAS SOUPS 615314 WITH SCORE 632107.605
AT ITER 1599 NEW BEST:: SOT 19926229 SOS 16805563 HAS SOPS 8352468 HAS SOUS 1490343 HAS SOUPS 614072 WITH SCORE 630877.563
AT ITER 1603 NEW BEST:: SOT 19926220 SOS 16805554 HAS SOPS 8352459 HAS SOUS 1490338 HAS SOUPS 614067 WITH SCORE 630872.554
AT ITER 1612 NEW BEST:: SOT 19924360 SOS 16807836 HAS SOPS 8349881 HAS SOUS 1489079 HAS SOUPS 612484 WITH SCORE 629291.836
AT ITER 1630 NEW BEST:: SOT 19924360 SOS 16807836 HAS SOPS 8349881 HAS SOUS 1488909 HAS SOUPS 612314 WITH SCORE 629121.836
AT ITER 1632 NEW BEST:: SOT 19923331 SOS 16805778 HAS SOPS 8347823 HAS SOUS 1488172 HAS SOUPS 611577 WITH SCORE 628382.778
AT ITER 1643 NEW BEST:: SOT 19923331 SOS 16805778 HAS SOPS 8347823 HAS SOUS 1487926 HAS SOUPS 611331 WITH SCORE 628136.778
AT ITER 1649 NEW BEST:: SOT 19922795 SOS 16716456 HAS SOPS 8348163 HAS SOUS 1487205 HAS SOUPS 611316 WITH SCORE 628032.456
AT ITER 1654 NEW BEST:: SOT 19922622 SOS 16715865 HAS SOPS 8348147 HAS SOUS 1486831 HAS SOUPS 611057 WITH SCORE 627772.865
AT ITER 1671 NEW BEST:: SOT 19922622 SOS 16715865 HAS SOPS 8348147 HAS SOUS 1486613 HAS SOUPS 610839 WITH SCORE 627554.865
AT ITER 1679 NEW BEST:: SOT 19922459 SOS 16715539 HAS SOPS 8347821 HAS SOUS 1486261 HAS SOUPS 610487 WITH SCORE 627202.539
AT ITER 1682 NEW BEST:: SOT 19922243 SOS 16715107 HAS SOPS 8349589 HAS SOUS 1485702 HAS SOUPS 610368 WITH SCORE 627083.107
AT ITER 1702 NEW BEST:: SOT 19913584 SOS 16703376 HAS SOPS 8343419 HAS SOUS 1485152 HAS SOUPS 609979 WITH SCORE 626682.376
AT ITER 1722 NEW BEST:: SOT 19912851 SOS 16701910 HAS SOPS 8341953 HAS SOUS 1484035 HAS SOUPS 608862 WITH SCORE 625563.91
AT ITER 1730 NEW BEST:: SOT 19912361 SOS 16700930 HAS SOPS 8342538 HAS SOUS 1483055 HAS SOUPS 608195 WITH SCORE 624895.93
AT ITER 1751 NEW BEST:: SOT 19909511 SOS 16714976 HAS SOPS 8349414 HAS SOUS 1481685 HAS SOUPS 606825 WITH SCORE 623539.976
AT ITER 1774 NEW BEST:: SOT 19909511 SOS 16714976 HAS SOPS 8349414 HAS SOUS 1481439 HAS SOUPS 606579 WITH SCORE 623293.976
AT ITER 1782 NEW BEST:: SOT 19909317 SOS 16714298 HAS SOPS 8348736 HAS SOUS 1481245 HAS SOUPS 606385 WITH SCORE 623099.298
AT ITER 1812 NEW BEST:: SOT 19905128 SOS 16726609 HAS SOPS 8355686 HAS SOUS 1479476 HAS SOUPS 605138 WITH SCORE 621864.609
AT ITER 1830 NEW BEST:: SOT 19904940 SOS 16726139 HAS SOPS 8355216 HAS SOUS 1479288 HAS SOUPS 604950 WITH SCORE 621676.139
AT ITER 1835 NEW BEST:: SOT 19904648 SOS 16725401 HAS SOPS 8354478 HAS SOUS 1478996 HAS SOUPS 604658 WITH SCORE 621383.401
AT ITER 1837 NEW BEST:: SOT 19904615 SOS 16725335 HAS SOPS 8354412 HAS SOUS 1478941 HAS SOUPS 604603 WITH SCORE 621328.335
AT ITER 1838 NEW BEST:: SOT 19904571 SOS 16725247 HAS SOPS 8354434 HAS SOUS 1478853 HAS SOUPS 604537 WITH SCORE 621262.247
AT ITER 1848 NEW BEST:: SOT 19904571 SOS 16725247 HAS SOPS 8354434 HAS SOUS 1478825 HAS SOUPS 604509 WITH SCORE 621234.247
AT ITER 1849 NEW BEST:: SOT 19904404 SOS 16725080 HAS SOPS 8354267 HAS SOUS 1478498 HAS SOUPS 604182 WITH SCORE 620907.08
AT ITER 1852 NEW BEST:: SOT 19904316 SOS 16724869 HAS SOPS 8354496 HAS SOUS 1478403 HAS SOUPS 604175 WITH SCORE 620899.869
AT ITER 1858 NEW BEST:: SOT 19904316 SOS 16724869 HAS SOPS 8354496 HAS SOUS 1478317 HAS SOUPS 604089 WITH SCORE 620813.869
AT ITER 1864 NEW BEST:: SOT 19904316 SOS 16724869 HAS SOPS 8354496 HAS SOUS 1478239 HAS SOUPS 604011 WITH SCORE 620735.869
AT ITER 1866 NEW BEST:: SOT 19903776 SOS 16723789 HAS SOPS 8354766 HAS SOUS 1477159 HAS SOUPS 603201 WITH SCORE 619924.789
AT ITER 1869 NEW BEST:: SOT 19903476 SOS 16722768 HAS SOPS 8355850 HAS SOUS 1476589 HAS SOUPS 603052 WITH SCORE 619774.768
AT ITER 1886 NEW BEST:: SOT 19903354 SOS 16722524 HAS SOPS 8355606 HAS SOUS 1476406 HAS SOUPS 602869 WITH SCORE 619591.524
AT ITER 1887 NEW BEST:: SOT 19903354 SOS 16722524 HAS SOPS 8355606 HAS SOUS 1476218 HAS SOUPS 602681 WITH SCORE 619403.524
AT ITER 1903 NEW BEST:: SOT 19903329 SOS 16722474 HAS SOPS 8355556 HAS SOUS 1476193 HAS SOUPS 602656 WITH SCORE 619378.474
AT ITER 1917 NEW BEST:: SOT 19903329 SOS 16722474 HAS SOPS 8355556 HAS SOUS 1475993 HAS SOUPS 602456 WITH SCORE 619178.474
AT ITER 1920 NEW BEST:: SOT 19901562 SOS 16727351 HAS SOPS 8354178 HAS SOUS 1475395 HAS SOUPS 601441 WITH SCORE 618168.351
AT ITER 1921 NEW BEST:: SOT 19900518 SOS 16725263 HAS SOPS 8352090 HAS SOUS 1474197 HAS SOUPS 600243 WITH SCORE 616968.263
AT ITER 1947 NEW BEST:: SOT 19900330 SOS 16724887 HAS SOPS 8353324 HAS SOUS 1473707 HAS SOUPS 600075 WITH SCORE 616799.887
AT ITER 1965 NEW BEST:: SOT 19898890 SOS 16721575 HAS SOPS 8352172 HAS SOUS 1472547 HAS SOUPS 599347 WITH SCORE 616068.575
AT ITER 1972 NEW BEST:: SOT 19898801 SOS 16721202 HAS SOPS 8352244 HAS SOUS 1472369 HAS SOUPS 599258 WITH SCORE 615979.202
AT ITER 1975 NEW BEST:: SOT 19896737 SOS 16716593 HAS SOPS 8350040 HAS SOUS 1470873 HAS SOUPS 598243 WITH SCORE 614959.593
AT ITER 1978 NEW BEST:: SOT 19896737 SOS 16716593 HAS SOPS 8350040 HAS SOUS 1470663 HAS SOUPS 598033 WITH SCORE 614749.593
AT ITER 1997 NEW BEST:: SOT 19896737 SOS 16716593 HAS SOPS 8350040 HAS SOUS 1470579 HAS SOUPS 597949 WITH SCORE 614665.593
AT ITER 2011 NEW BEST:: SOT 19896632 SOS 16716728 HAS SOPS 8349950 HAS SOUS 1470534 HAS SOUPS 597889 WITH SCORE 614605.728
AT ITER 2016 NEW BEST:: SOT 19895704 SOS 16720944 HAS SOPS 8350026 HAS SOUS 1470172 HAS SOUPS 597251 WITH SCORE 613971.944
AT ITER 2017 NEW BEST:: SOT 19895433 SOS 16720682 HAS SOPS 8348309 HAS SOUS 1469807 HAS SOUPS 596595 WITH SCORE 613315.682
AT ITER 2021 NEW BEST:: SOT 19893853 SOS 16727055 HAS SOPS 8349192 HAS SOUS 1469412 HAS SOUPS 595834 WITH SCORE 612561.055
AT ITER 2024 NEW BEST:: SOT 19891509 SOS 16721867 HAS SOPS 8346504 HAS SOUS 1467603 HAS SOUPS 594525 WITH SCORE 611246.867
AT ITER 2032 NEW BEST:: SOT 19891168 SOS 16724434 HAS SOPS 8346506 HAS SOUS 1467347 HAS SOUPS 594098 WITH SCORE 610822.434
AT ITER 2040 NEW BEST:: SOT 19890987 SOS 16724072 HAS SOPS 8346144 HAS SOUS 1467121 HAS SOUPS 593872 WITH SCORE 610596.072
AT ITER 2044 NEW BEST:: SOT 19890871 SOS 16723337 HAS SOPS 8347924 HAS SOUS 1466502 HAS SOUPS 593756 WITH SCORE 610479.337
AT ITER 2080 NEW BEST:: SOT 19889405 SOS 16719733 HAS SOPS 8347680 HAS SOUS 1465321 HAS SOUPS 593247 WITH SCORE 609966.733
AT ITER 2087 NEW BEST:: SOT 19889252 SOS 16719427 HAS SOPS 8348004 HAS SOUS 1464991 HAS SOUPS 593043 WITH SCORE 609762.427
AT ITER 2096 NEW BEST:: SOT 19889166 SOS 16719255 HAS SOPS 8349577 HAS SOUS 1464566 HAS SOUPS 592967 WITH SCORE 609686.255
AT ITER 2108 NEW BEST:: SOT 19889166 SOS 16719255 HAS SOPS 8349577 HAS SOUS 1464532 HAS SOUPS 592933 WITH SCORE 609652.255
AT ITER 2138 NEW BEST:: SOT 19889166 SOS 16719255 HAS SOPS 8349577 HAS SOUS 1464316 HAS SOUPS 592717 WITH SCORE 609436.255
AT ITER 2140 NEW BEST:: SOT 19888260 SOS 16717572 HAS SOPS 8348701 HAS SOUS 1464227 HAS SOUPS 592643 WITH SCORE 609360.572
AT ITER 2157 NEW BEST:: SOT 19888260 SOS 16717572 HAS SOPS 8348701 HAS SOUS 1463981 HAS SOUPS 592397 WITH SCORE 609114.572
AT ITER 2176 NEW BEST:: SOT 19888180 SOS 16717412 HAS SOPS 8348541 HAS SOUS 1463901 HAS SOUPS 592317 WITH SCORE 609034.412
AT ITER 2182 NEW BEST:: SOT 19887642 SOS 16718571 HAS SOPS 8348050 HAS SOUS 1463502 HAS SOUPS 591808 WITH SCORE 608526.571
AT ITER 2195 NEW BEST:: SOT 19885921 SOS 16732769 HAS SOPS 8354398 HAS SOUS 1463299 HAS SOUPS 591605 WITH SCORE 608337.769
AT ITER 2211 NEW BEST:: SOT 19885921 SOS 16732769 HAS SOPS 8354398 HAS SOUS 1463053 HAS SOUPS 591359 WITH SCORE 608091.769
AT ITER 2212 NEW BEST:: SOT 19885579 SOS 16732156 HAS SOPS 8353785 HAS SOUS 1462766 HAS SOUPS 591072 WITH SCORE 607804.156
AT ITER 2215 NEW BEST:: SOT 19884068 SOS 16742564 HAS SOPS 8355418 HAS SOUS 1462626 HAS SOUPS 590347 WITH SCORE 607089.564
AT ITER 2228 NEW BEST:: SOT 19882160 SOS 16751717 HAS SOPS 8358691 HAS SOUS 1462058 HAS SOUPS 589779 WITH SCORE 606530.717
AT ITER 2230 NEW BEST:: SOT 19882160 SOS 16751717 HAS SOPS 8358691 HAS SOUS 1461944 HAS SOUPS 589665 WITH SCORE 606416.717
AT ITER 2240 NEW BEST:: SOT 19880944 SOS 16766208 HAS SOPS 8365577 HAS SOUS 1462298 HAS SOUPS 589512 WITH SCORE 606278.208
AT ITER 2244 NEW BEST:: SOT 19870820 SOS 16751524 HAS SOPS 8358937 HAS SOUS 1461701 HAS SOUPS 589485 WITH SCORE 606236.524
AT ITER 2258 NEW BEST:: SOT 19870820 SOS 16751524 HAS SOPS 8358937 HAS SOUS 1461667 HAS SOUPS 589451 WITH SCORE 606202.524
AT ITER 2276 NEW BEST:: SOT 19870820 SOS 16751436 HAS SOPS 8359289 HAS SOUS 1461579 HAS SOUPS 589451 WITH SCORE 606202.436
AT ITER 2283 NEW BEST:: SOT 19870770 SOS 16751336 HAS SOPS 8359189 HAS SOUS 1461502 HAS SOUPS 589374 WITH SCORE 606125.336
AT ITER 2322 NEW BEST:: SOT 19869545 SOS 16748364 HAS SOPS 8358827 HAS SOUS 1460544 HAS SOUPS 588938 WITH SCORE 605686.3640000001
AT ITER 2333 NEW BEST:: SOT 19862465 SOS 16734204 HAS SOPS 8355939 HAS SOUS 1459784 HAS SOUPS 588844 WITH SCORE 605578.204
AT ITER 2355 NEW BEST:: SOT 19858148 SOS 16744805 HAS SOPS 8358840 HAS SOUS 1457641 HAS SOUPS 586701 WITH SCORE 603445.805
AT ITER 2357 NEW BEST:: SOT 19858234 SOS 16744632 HAS SOPS 8359702 HAS SOUS 1457128 HAS SOUPS 586533 WITH SCORE 603277.632
AT ITER 2365 NEW BEST:: SOT 19858335 SOS 16745122 HAS SOPS 8358482 HAS SOUS 1457327 HAS SOUPS 586390 WITH SCORE 603135.122
AT ITER 2368 NEW BEST:: SOT 19858104 SOS 16747430 HAS SOPS 8358020 HAS SOUS 1457247 HAS SOUPS 585756 WITH SCORE 602503.43
AT ITER 2369 NEW BEST:: SOT 19858045 SOS 16747090 HAS SOPS 8357680 HAS SOUS 1457193 HAS SOUPS 585702 WITH SCORE 602449.09
AT ITER 2370 NEW BEST:: SOT 19858161 SOS 16744099 HAS SOPS 8355849 HAS SOUS 1457193 HAS SOUPS 585702 WITH SCORE 602446.099
AT ITER 2371 NEW BEST:: SOT 19858161 SOS 16743820 HAS SOPS 8356965 HAS SOUS 1456914 HAS SOUPS 585702 WITH SCORE 602445.82
AT ITER 2374 NEW BEST:: SOT 19856414 SOS 16748888 HAS SOPS 8356798 HAS SOUS 1456174 HAS SOUPS 584613 WITH SCORE 601361.888
AT ITER 2383 NEW BEST:: SOT 19855260 SOS 16751044 HAS SOPS 8355234 HAS SOUS 1455872 HAS SOUPS 584063 WITH SCORE 600814.044
AT ITER 2398 NEW BEST:: SOT 19855260 SOS 16751044 HAS SOPS 8355234 HAS SOUS 1455859 HAS SOUPS 584050 WITH SCORE 600801.044
AT ITER 2410 NEW BEST:: SOT 19855110 SOS 16750449 HAS SOPS 8357009 HAS SOUS 1455412 HAS SOUPS 584018 WITH SCORE 600768.449
AT ITER 2411 NEW BEST:: SOT 19851866 SOS 16752551 HAS SOPS 8356781 HAS SOUS 1453517 HAS SOUPS 582533 WITH SCORE 599285.551
AT ITER 2412 NEW BEST:: SOT 19851866 SOS 16752551 HAS SOPS 8356781 HAS SOUS 1453511 HAS SOUPS 582527 WITH SCORE 599279.551
AT ITER 2417 NEW BEST:: SOT 19851866 SOS 16752551 HAS SOPS 8356781 HAS SOUS 1453431 HAS SOUPS 582447 WITH SCORE 599199.551
AT ITER 2424 NEW BEST:: SOT 19851517 SOS 16751853 HAS SOPS 8359388 HAS SOUS 1452629 HAS SOUPS 582306 WITH SCORE 599057.853
AT ITER 2427 NEW BEST:: SOT 19850952 SOS 16759515 HAS SOPS 8363910 HAS SOUS 1452378 HAS SOUPS 582055 WITH SCORE 598814.515
AT ITER 2428 NEW BEST:: SOT 19850551 SOS 16758738 HAS SOPS 8363133 HAS SOUS 1451979 HAS SOUPS 581656 WITH SCORE 598414.738
AT ITER 2431 NEW BEST:: SOT 19849745 SOS 16756948 HAS SOPS 8362233 HAS SOUS 1451472 HAS SOUPS 581327 WITH SCORE 598083.948
AT ITER 2450 NEW BEST:: SOT 19848573 SOS 16764816 HAS SOPS 8365661 HAS SOUS 1451008 HAS SOUPS 580863 WITH SCORE 597627.816
AT ITER 2458 NEW BEST:: SOT 19846247 SOS 16759583 HAS SOPS 8363333 HAS SOUS 1449329 HAS SOUPS 579765 WITH SCORE 596524.583
AT ITER 2474 NEW BEST:: SOT 19842467 SOS 16764098 HAS SOPS 8362598 HAS SOUS 1447642 HAS SOUPS 578078 WITH SCORE 594842.098
AT ITER 2483 NEW BEST:: SOT 19842467 SOS 16764098 HAS SOPS 8362598 HAS SOUS 1447636 HAS SOUPS 578072 WITH SCORE 594836.098
AT ITER 2486 NEW BEST:: SOT 19842600 SOS 16762619 HAS SOPS 8361119 HAS SOUS 1447007 HAS SOUPS 577443 WITH SCORE 594205.619
AT ITER 2491 NEW BEST:: SOT 19842009 SOS 16761314 HAS SOPS 8360429 HAS SOUS 1446794 HAS SOUPS 577353 WITH SCORE 594114.314
AT ITER 2510 NEW BEST:: SOT 19841910 SOS 16763888 HAS SOPS 8361815 HAS SOUS 1446695 HAS SOUPS 577254 WITH SCORE 594017.888
AT ITER 2520 NEW BEST:: SOT 19841910 SOS 16763888 HAS SOPS 8361815 HAS SOUS 1446661 HAS SOUPS 577220 WITH SCORE 593983.888
AT ITER 2532 NEW BEST:: SOT 19841858 SOS 16763354 HAS SOPS 8361711 HAS SOUS 1446557 HAS SOUPS 577202 WITH SCORE 593965.354
AT ITER 2540 NEW BEST:: SOT 19842322 SOS 16757429 HAS SOPS 8359251 HAS SOUS 1446327 HAS SOUPS 577203 WITH SCORE 593960.429
AT ITER 2573 NEW BEST:: SOT 19842804 SOS 16751995 HAS SOPS 8356227 HAS SOUS 1446327 HAS SOUPS 577203 WITH SCORE 593954.995
AT ITER 2584 NEW BEST:: SOT 19842632 SOS 16751787 HAS SOPS 8355339 HAS SOUS 1446118 HAS SOUPS 576858 WITH SCORE 593609.787
AT ITER 2595 NEW BEST:: SOT 19837442 SOS 16759620 HAS SOPS 8356012 HAS SOUS 1443574 HAS SOUPS 574314 WITH SCORE 591073.62
AT ITER 2606 NEW BEST:: SOT 19837412 SOS 16759675 HAS SOPS 8356017 HAS SOUS 1443564 HAS SOUPS 574304 WITH SCORE 591063.675
AT ITER 2618 NEW BEST:: SOT 19837412 SOS 16759675 HAS SOPS 8356017 HAS SOUS 1443366 HAS SOUPS 574106 WITH SCORE 590865.675
AT ITER 2635 NEW BEST:: SOT 19837412 SOS 16759675 HAS SOPS 8356017 HAS SOUS 1443120 HAS SOUPS 573860 WITH SCORE 590619.675
AT ITER 2636 NEW BEST:: SOT 19836290 SOS 16764126 HAS SOPS 8355893 HAS SOUS 1442981 HAS SOUPS 573416 WITH SCORE 590180.126
AT ITER 2660 NEW BEST:: SOT 19836290 SOS 16764406 HAS SOPS 8354493 HAS SOUS 1442724 HAS SOUPS 572879 WITH SCORE 589643.406
AT ITER 2670 NEW BEST:: SOT 19836105 SOS 16763276 HAS SOPS 8354288 HAS SOUS 1442411 HAS SOUPS 572751 WITH SCORE 589514.276
AT ITER 2673 NEW BEST:: SOT 19835639 SOS 16761014 HAS SOPS 8353356 HAS SOUS 1441455 HAS SOUPS 572061 WITH SCORE 588822.014
AT ITER 2683 NEW BEST:: SOT 19834740 SOS 16777630 HAS SOPS 8359532 HAS SOUS 1440628 HAS SOUPS 570538 WITH SCORE 587315.63
AT ITER 2693 NEW BEST:: SOT 19834740 SOS 16777630 HAS SOPS 8359532 HAS SOUS 1440604 HAS SOUPS 570514 WITH SCORE 587291.63
AT ITER 2700 NEW BEST:: SOT 19834358 SOS 16776866 HAS SOPS 8360818 HAS SOUS 1439840 HAS SOUPS 570160 WITH SCORE 586936.866
AT ITER 2703 NEW BEST:: SOT 19834286 SOS 16776722 HAS SOPS 8360854 HAS SOUS 1439696 HAS SOUPS 570052 WITH SCORE 586828.722
AT ITER 2734 NEW BEST:: SOT 19834286 SOS 16776722 HAS SOPS 8360854 HAS SOUS 1439506 HAS SOUPS 569862 WITH SCORE 586638.722
AT ITER 2743 NEW BEST:: SOT 19824432 SOS 16761930 HAS SOPS 8354292 HAS SOUS 1438400 HAS SOUPS 569446 WITH SCORE 586207.93
AT ITER 2745 NEW BEST:: SOT 19824005 SOS 16760695 HAS SOPS 8354070 HAS SOUS 1437839 HAS SOUPS 569065 WITH SCORE 585825.695
AT ITER 2752 NEW BEST:: SOT 19823852 SOS 16760389 HAS SOPS 8353764 HAS SOUS 1437685 HAS SOUPS 568911 WITH SCORE 585671.389
AT ITER 2755 NEW BEST:: SOT 19823945 SOS 16760575 HAS SOPS 8353718 HAS SOUS 1437662 HAS SOUPS 568888 WITH SCORE 585648.575
AT ITER 2773 NEW BEST:: SOT 19820481 SOS 16768050 HAS SOPS 8355083 HAS SOUS 1435929 HAS SOUPS 567155 WITH SCORE 583923.05
AT ITER 2779 NEW BEST:: SOT 19820225 SOS 16767538 HAS SOPS 8354571 HAS SOUS 1435673 HAS SOUPS 566899 WITH SCORE 583666.538
AT ITER 2838 NEW BEST:: SOT 19820079 SOS 16767246 HAS SOPS 8354279 HAS SOUS 1435527 HAS SOUPS 566753 WITH SCORE 583520.246
AT ITER 2851 NEW BEST:: SOT 19819697 SOS 16766622 HAS SOPS 8351695 HAS SOUS 1435048 HAS SOUPS 565882 WITH SCORE 582648.622
AT ITER 2862 NEW BEST:: SOT 19819898 SOS 16766725 HAS SOPS 8351425 HAS SOUS 1434995 HAS SOUPS 565747 WITH SCORE 582513.725
AT ITER 2868 NEW BEST:: SOT 19819316 SOS 16765328 HAS SOPS 8350028 HAS SOUS 1434591 HAS SOUPS 565343 WITH SCORE 582108.328
AT ITER 2873 NEW BEST:: SOT 19817517 SOS 16773331 HAS SOPS 8353661 HAS SOUS 1433519 HAS SOUPS 564271 WITH SCORE 581044.331
AT ITER 2881 NEW BEST:: SOT 19817129 SOS 16772555 HAS SOPS 8352885 HAS SOUS 1433158 HAS SOUPS 563910 WITH SCORE 580682.555
AT ITER 2898 NEW BEST:: SOT 19816823 SOS 16771943 HAS SOPS 8354048 HAS SOUS 1432497 HAS SOUPS 563604 WITH SCORE 580375.943
AT ITER 2902 NEW BEST:: SOT 19816823 SOS 16771943 HAS SOPS 8354048 HAS SOUS 1432439 HAS SOUPS 563546 WITH SCORE 580317.943
AT ITER 2908 NEW BEST:: SOT 19816783 SOS 16771863 HAS SOPS 8353968 HAS SOUS 1432439 HAS SOUPS 563546 WITH SCORE 580317.863
AT ITER 2910 NEW BEST:: SOT 19816783 SOS 16771726 HAS SOPS 8353831 HAS SOUS 1432439 HAS SOUPS 563546 WITH SCORE 580317.726
AT ITER 2914 NEW BEST:: SOT 19816171 SOS 16770502 HAS SOPS 8352607 HAS SOUS 1431827 HAS SOUPS 562934 WITH SCORE 579704.502
AT ITER 2919 NEW BEST:: SOT 19817875 SOS 16772916 HAS SOPS 8353459 HAS SOUS 1431685 HAS SOUPS 562650 WITH SCORE 579422.916
AT ITER 2920 NEW BEST:: SOT 19816390 SOS 16777198 HAS SOPS 8355151 HAS SOUS 1431018 HAS SOUPS 561983 WITH SCORE 578760.198
AT ITER 2929 NEW BEST:: SOT 19815727 SOS 16775872 HAS SOPS 8355865 HAS SOUS 1429616 HAS SOUPS 560989 WITH SCORE 577764.872
AT ITER 2935 NEW BEST:: SOT 19812649 SOS 16786507 HAS SOPS 8358980 HAS SOUS 1427765 HAS SOUPS 559138 WITH SCORE 575924.507
AT ITER 2956 NEW BEST:: SOT 19812649 SOS 16786314 HAS SOPS 8359752 HAS SOUS 1427572 HAS SOUPS 559138 WITH SCORE 575924.314
AT ITER 2957 NEW BEST:: SOT 19811488 SOS 16783992 HAS SOPS 8357430 HAS SOUS 1426697 HAS SOUPS 558263 WITH SCORE 575046.992
AT ITER 2960 NEW BEST:: SOT 19811231 SOS 16783478 HAS SOPS 8358956 HAS SOUS 1426032 HAS SOUPS 558006 WITH SCORE 574789.478
AT ITER 2968 NEW BEST:: SOT 19809277 SOS 16780591 HAS SOPS 8357622 HAS SOUS 1425899 HAS SOUPS 557976 WITH SCORE 574756.591
AT ITER 2993 NEW BEST:: SOT 19811785 SOS 16784144 HAS SOPS 8358876 HAS SOUS 1425690 HAS SOUPS 557558 WITH SCORE 574342.144
AT ITER 3000 NEW BEST:: SOT 19809834 SOS 16794809 HAS SOPS 8362951 HAS SOUS 1425243 HAS SOUPS 557111 WITH SCORE 573905.809
AT ITER 3005 NEW BEST:: SOT 19807292 SOS 16798942 HAS SOPS 8361294 HAS SOUS 1424654 HAS SOUPS 556136 WITH SCORE 572934.942
AT ITER 3010 NEW BEST:: SOT 19807306 SOS 16796325 HAS SOPS 8362482 HAS SOUS 1423867 HAS SOUPS 556110 WITH SCORE 572906.325
AT ITER 3020 NEW BEST:: SOT 19807469 SOS 16795544 HAS SOPS 8361465 HAS SOUS 1423395 HAS SOUPS 555638 WITH SCORE 572433.544
AT ITER 3063 NEW BEST:: SOT 19805598 SOS 16815838 HAS SOPS 8370134 HAS SOUS 1422863 HAS SOUPS 554331 WITH SCORE 571146.838
AT ITER 3072 NEW BEST:: SOT 19805375 SOS 16813102 HAS SOPS 8369688 HAS SOUS 1421909 HAS SOUPS 553835 WITH SCORE 570648.102
AT ITER 3074 NEW BEST:: SOT 19804759 SOS 16811425 HAS SOPS 8369551 HAS SOUS 1420676 HAS SOUPS 552910 WITH SCORE 569721.425
AT ITER 3085 NEW BEST:: SOT 19803613 SOS 16808893 HAS SOPS 8367019 HAS SOUS 1420010 HAS SOUPS 552244 WITH SCORE 569052.893
AT ITER 3086 NEW BEST:: SOT 19802410 SOS 16811432 HAS SOPS 8366333 HAS SOUS 1420097 HAS SOUPS 552116 WITH SCORE 568927.432
AT ITER 3092 NEW BEST:: SOT 19802109 SOS 16812565 HAS SOPS 8365731 HAS SOUS 1419964 HAS SOUPS 551636 WITH SCORE 568448.565
AT ITER 3093 NEW BEST:: SOT 19801746 SOS 16811742 HAS SOPS 8364908 HAS SOUS 1419812 HAS SOUPS 551484 WITH SCORE 568295.742
AT ITER 3124 NEW BEST:: SOT 19800814 SOS 16813098 HAS SOPS 8364864 HAS SOUS 1419278 HAS SOUPS 550950 WITH SCORE 567763.098
AT ITER 3125 NEW BEST:: SOT 19800337 SOS 16811317 HAS SOPS 8363083 HAS SOUS 1418563 HAS SOUPS 550235 WITH SCORE 567046.317
AT ITER 3131 NEW BEST:: SOT 19800081 SOS 16811061 HAS SOPS 8362827 HAS SOUS 1418034 HAS SOUPS 549706 WITH SCORE 566517.061
AT ITER 3145 NEW BEST:: SOT 19799993 SOS 16810885 HAS SOPS 8362651 HAS SOUS 1417884 HAS SOUPS 549556 WITH SCORE 566366.885
AT ITER 3159 NEW BEST:: SOT 19799615 SOS 16810381 HAS SOPS 8362147 HAS SOUS 1417693 HAS SOUPS 549365 WITH SCORE 566175.381
AT ITER 3165 NEW BEST:: SOT 19799615 SOS 16810381 HAS SOPS 8362147 HAS SOUS 1417617 HAS SOUPS 549289 WITH SCORE 566099.381
AT ITER 3175 NEW BEST:: SOT 19800214 SOS 16706846 HAS SOPS 8365546 HAS SOUS 1416314 HAS SOUPS 548828 WITH SCORE 565534.846
AT ITER 3185 NEW BEST:: SOT 19799845 SOS 16704579 HAS SOPS 8362920 HAS SOUS 1415336 HAS SOUPS 547850 WITH SCORE 564554.579
AT ITER 3187 NEW BEST:: SOT 19792525 SOS 16694448 HAS SOPS 8355605 HAS SOUS 1415416 HAS SOUPS 547716 WITH SCORE 564410.448
AT ITER 3211 NEW BEST:: SOT 19792525 SOS 16694297 HAS SOPS 8356209 HAS SOUS 1415265 HAS SOUPS 547716 WITH SCORE 564410.297
AT ITER 3223 NEW BEST:: SOT 19791258 SOS 16691427 HAS SOPS 8355019 HAS SOUS 1414761 HAS SOUPS 547548 WITH SCORE 564239.427
AT ITER 3231 NEW BEST:: SOT 19791258 SOS 16691427 HAS SOPS 8355019 HAS SOUS 1414613 HAS SOUPS 547400 WITH SCORE 564091.427
AT ITER 3236 NEW BEST:: SOT 19791079 SOS 16690028 HAS SOPS 8353620 HAS SOUS 1414331 HAS SOUPS 547118 WITH SCORE 563808.028
AT ITER 3294 NEW BEST:: SOT 19790295 SOS 16703224 HAS SOPS 8358341 HAS SOUS 1414151 HAS SOUPS 546417 WITH SCORE 563120.224
AT ITER 3308 NEW BEST:: SOT 19790295 SOS 16703224 HAS SOPS 8358341 HAS SOUS 1413905 HAS SOUPS 546171 WITH SCORE 562874.224
AT ITER 3321 NEW BEST:: SOT 19788591 SOS 16711475 HAS SOPS 8361812 HAS SOUS 1412887 HAS SOUPS 545153 WITH SCORE 561864.475
AT ITER 3323 NEW BEST:: SOT 19788591 SOS 16711475 HAS SOPS 8361812 HAS SOUS 1412641 HAS SOUPS 544907 WITH SCORE 561618.475
AT ITER 3350 NEW BEST:: SOT 19785741 SOS 16705025 HAS SOPS 8359112 HAS SOUS 1410500 HAS SOUPS 543516 WITH SCORE 560221.025
AT ITER 3359 NEW BEST:: SOT 19785741 SOS 16705025 HAS SOPS 8359112 HAS SOUS 1410306 HAS SOUPS 543322 WITH SCORE 560027.025
AT ITER 3379 NEW BEST:: SOT 19785741 SOS 16705025 HAS SOPS 8359112 HAS SOUS 1410270 HAS SOUPS 543286 WITH SCORE 559991.025
AT ITER 3388 NEW BEST:: SOT 19785741 SOS 16703645 HAS SOPS 8359112 HAS SOUS 1409994 HAS SOUPS 543286 WITH SCORE 559989.645
AT ITER 3390 NEW BEST:: SOT 19785633 SOS 16702149 HAS SOPS 8360526 HAS SOUS 1409304 HAS SOUPS 543178 WITH SCORE 559880.149
AT ITER 3393 NEW BEST:: SOT 19785311 SOS 16702333 HAS SOPS 8360250 HAS SOUS 1409120 HAS SOUPS 542994 WITH SCORE 559696.333
AT ITER 3447 NEW BEST:: SOT 19785311 SOS 16702333 HAS SOPS 8360250 HAS SOUS 1408874 HAS SOUPS 542748 WITH SCORE 559450.333
AT ITER 3456 NEW BEST:: SOT 19785007 SOS 16701000 HAS SOPS 8359677 HAS SOUS 1408266 HAS SOUPS 542292 WITH SCORE 558993.0
AT ITER 3475 NEW BEST:: SOT 19785007 SOS 16701000 HAS SOPS 8359677 HAS SOUS 1408178 HAS SOUPS 542204 WITH SCORE 558905.0
AT ITER 3492 NEW BEST:: SOT 19784496 SOS 16701657 HAS SOPS 8359239 HAS SOUS 1408032 HAS SOUPS 541985 WITH SCORE 558686.657
AT ITER 3494 NEW BEST:: SOT 19784468 SOS 16701874 HAS SOPS 8358091 HAS SOUS 1408178 HAS SOUPS 541858 WITH SCORE 558559.874
AT ITER 3505 NEW BEST:: SOT 19784468 SOS 16701874 HAS SOPS 8358091 HAS SOUS 1408028 HAS SOUPS 541708 WITH SCORE 558409.874
AT ITER 3537 NEW BEST:: SOT 19783964 SOS 16700866 HAS SOPS 8357083 HAS SOUS 1407902 HAS SOUPS 541582 WITH SCORE 558282.866
AT ITER 3548 NEW BEST:: SOT 19783964 SOS 16700866 HAS SOPS 8357083 HAS SOUS 1407630 HAS SOUPS 541310 WITH SCORE 558010.866
AT ITER 3551 NEW BEST:: SOT 19780256 SOS 16696491 HAS SOPS 8354436 HAS SOUS 1407583 HAS SOUPS 541263 WITH SCORE 557959.491
AT ITER 3589 NEW BEST:: SOT 19779579 SOS 16695137 HAS SOPS 8354882 HAS SOUS 1406210 HAS SOUPS 540250 WITH SCORE 556945.137
AT ITER 3611 NEW BEST:: SOT 19779579 SOS 16695137 HAS SOPS 8354882 HAS SOUS 1406044 HAS SOUPS 540084 WITH SCORE 556779.137
AT ITER 3630 NEW BEST:: SOT 19779365 SOS 16694709 HAS SOPS 8354454 HAS SOUS 1405830 HAS SOUPS 539870 WITH SCORE 556564.709
AT ITER 3658 NEW BEST:: SOT 19779088 SOS 16693854 HAS SOPS 8355104 HAS SOUS 1405367 HAS SOUPS 539708 WITH SCORE 556401.854
AT ITER 3679 NEW BEST:: SOT 19778746 SOS 16692375 HAS SOPS 8355010 HAS SOUS 1404601 HAS SOUPS 539219 WITH SCORE 555911.375
AT ITER 3682 NEW BEST:: SOT 19778041 SOS 16693521 HAS SOPS 8354026 HAS SOUS 1404167 HAS SOUPS 538643 WITH SCORE 555336.521
AT ITER 3683 NEW BEST:: SOT 19777847 SOS 16692648 HAS SOPS 8353153 HAS SOUS 1403875 HAS SOUPS 538351 WITH SCORE 555043.648
AT ITER 3691 NEW BEST:: SOT 19778335 SOS 16692932 HAS SOPS 8353437 HAS SOUS 1403759 HAS SOUPS 538235 WITH SCORE 554927.932
AT ITER 3706 NEW BEST:: SOT 19779355 SOS 16695712 HAS SOPS 8352517 HAS SOUS 1404225 HAS SOUPS 537961 WITH SCORE 554656.712
AT ITER 3712 NEW BEST:: SOT 19779284 SOS 16695570 HAS SOPS 8352375 HAS SOUS 1404153 HAS SOUPS 537889 WITH SCORE 554584.57
AT ITER 3729 NEW BEST:: SOT 19779284 SOS 16695570 HAS SOPS 8352375 HAS SOUS 1403973 HAS SOUPS 537709 WITH SCORE 554404.57
AT ITER 3731 NEW BEST:: SOT 19779126 SOS 16695254 HAS SOPS 8352059 HAS SOUS 1403877 HAS SOUPS 537613 WITH SCORE 554308.254
AT ITER 3743 NEW BEST:: SOT 19778982 SOS 16695267 HAS SOPS 8352072 HAS SOUS 1403733 HAS SOUPS 537469 WITH SCORE 554164.267
AT ITER 3757 NEW BEST:: SOT 19778750 SOS 16695319 HAS SOPS 8352124 HAS SOUS 1403630 HAS SOUPS 537366 WITH SCORE 554061.319
AT ITER 3761 NEW BEST:: SOT 19778750 SOS 16695319 HAS SOPS 8352124 HAS SOUS 1403404 HAS SOUPS 537140 WITH SCORE 553835.319
AT ITER 3782 NEW BEST:: SOT 19778684 SOS 16696237 HAS SOPS 8351992 HAS SOUS 1403525 HAS SOUPS 537051 WITH SCORE 553747.237
AT ITER 3790 NEW BEST:: SOT 19784542 SOS 16719347 HAS SOPS 8362523 HAS SOUS 1403946 HAS SOUPS 536873 WITH SCORE 553592.347
AT ITER 3808 NEW BEST:: SOT 19784218 SOS 16718590 HAS SOPS 8362311 HAS SOUS 1403756 HAS SOUPS 536792 WITH SCORE 553510.59
AT ITER 3832 NEW BEST:: SOT 19782053 SOS 16735209 HAS SOPS 8370650 HAS SOUS 1402883 HAS SOUPS 535919 WITH SCORE 552654.209
AT ITER 3837 NEW BEST:: SOT 19782069 SOS 16735241 HAS SOPS 8370682 HAS SOUS 1402858 HAS SOUPS 535894 WITH SCORE 552629.241
AT ITER 3846 NEW BEST:: SOT 19780108 SOS 16727589 HAS SOPS 8363030 HAS SOUS 1402637 HAS SOUPS 535673 WITH SCORE 552400.589
AT ITER 3877 NEW BEST:: SOT 19780108 SOS 16727589 HAS SOPS 8363030 HAS SOUS 1402635 HAS SOUPS 535671 WITH SCORE 552398.589
AT ITER 3913 NEW BEST:: SOT 19779460 SOS 16731525 HAS SOPS 8365774 HAS SOUS 1402439 HAS SOUPS 535603 WITH SCORE 552334.525
AT ITER 3929 NEW BEST:: SOT 19779376 SOS 16731336 HAS SOPS 8365648 HAS SOUS 1402376 HAS SOUPS 535561 WITH SCORE 552292.336
AT ITER 3937 NEW BEST:: SOT 19783568 SOS 16737327 HAS SOPS 8368095 HAS SOUS 1402100 HAS SOUPS 535049 WITH SCORE 551786.327
AT ITER 3961 NEW BEST:: SOT 19783783 SOS 16731737 HAS SOPS 8364655 HAS SOUS 1402100 HAS SOUPS 535049 WITH SCORE 551780.737
AT ITER 3971 NEW BEST:: SOT 19783755 SOS 16731681 HAS SOPS 8364599 HAS SOUS 1402044 HAS SOUPS 534993 WITH SCORE 551724.681
AT ITER 4009 NEW BEST:: SOT 19771506 SOS 16713885 HAS SOPS 8356757 HAS SOUS 1400989 HAS SOUPS 534726 WITH SCORE 551439.885
AT ITER 4012 NEW BEST:: SOT 19770989 SOS 16718210 HAS SOPS 8358752 HAS SOUS 1400705 HAS SOUPS 534442 WITH SCORE 551160.21
AT ITER 4037 NEW BEST:: SOT 19770025 SOS 16716007 HAS SOPS 8357924 HAS SOUS 1400123 HAS SOUPS 534135 WITH SCORE 550851.007
AT ITER 4061 NEW BEST:: SOT 19769787 SOS 16715531 HAS SOPS 8358638 HAS SOUS 1399647 HAS SOUPS 533897 WITH SCORE 550612.531
AT ITER 4065 NEW BEST:: SOT 19768970 SOS 16716651 HAS SOPS 8358228 HAS SOUS 1399610 HAS SOUPS 533860 WITH SCORE 550576.651
AT ITER 4105 NEW BEST:: SOT 19768970 SOS 16716651 HAS SOPS 8358228 HAS SOUS 1399590 HAS SOUPS 533840 WITH SCORE 550556.651
AT ITER 4108 NEW BEST:: SOT 19768228 SOS 16719260 HAS SOPS 8357447 HAS SOUS 1399722 HAS SOUPS 533746 WITH SCORE 550465.26
AT ITER 4112 NEW BEST:: SOT 19768228 SOS 16715760 HAS SOPS 8355197 HAS SOUS 1399596 HAS SOUPS 533620 WITH SCORE 550335.76
AT ITER 4131 NEW BEST:: SOT 19768120 SOS 16715274 HAS SOPS 8354711 HAS SOUS 1399596 HAS SOUPS 533620 WITH SCORE 550335.274
AT ITER 4151 NEW BEST:: SOT 19772308 SOS 16721207 HAS SOPS 8356805 HAS SOUS 1399969 HAS SOUPS 533524 WITH SCORE 550245.207
AT ITER 4152 NEW BEST:: SOT 19771273 SOS 16705793 HAS SOPS 8348906 HAS SOUS 1399435 HAS SOUPS 533491 WITH SCORE 550196.793
AT ITER 4158 NEW BEST:: SOT 19770691 SOS 16706860 HAS SOPS 8349003 HAS SOUS 1399365 HAS SOUPS 533421 WITH SCORE 550127.86
AT ITER 4169 NEW BEST:: SOT 19770691 SOS 16706860 HAS SOPS 8349003 HAS SOUS 1399119 HAS SOUPS 533175 WITH SCORE 549881.86
AT ITER 4170 NEW BEST:: SOT 19770217 SOS 16711103 HAS SOPS 8350876 HAS SOUS 1398882 HAS SOUPS 532938 WITH SCORE 549649.103
AT ITER 4205 NEW BEST:: SOT 19769592 SOS 16712853 HAS SOPS 8350751 HAS SOUS 1398882 HAS SOUPS 532813 WITH SCORE 549525.853
AT ITER 4211 NEW BEST:: SOT 19769690 SOS 16712853 HAS SOPS 8350751 HAS SOUS 1398833 HAS SOUPS 532764 WITH SCORE 549476.853
AT ITER 4224 NEW BEST:: SOT 19769826 SOS 16712477 HAS SOPS 8350375 HAS SOUS 1398739 HAS SOUPS 532670 WITH SCORE 549382.477
AT ITER 4225 NEW BEST:: SOT 19769539 SOS 16711298 HAS SOPS 8349196 HAS SOUS 1398479 HAS SOUPS 532410 WITH SCORE 549121.298
AT ITER 4228 NEW BEST:: SOT 19769341 SOS 16709587 HAS SOPS 8348800 HAS SOUS 1398018 HAS SOUPS 532212 WITH SCORE 548921.587
AT ITER 4254 NEW BEST:: SOT 19769523 SOS 16710124 HAS SOPS 8348472 HAS SOUS 1398109 HAS SOUPS 532130 WITH SCORE 548840.124
AT ITER 4255 NEW BEST:: SOT 19769523 SOS 16710124 HAS SOPS 8348472 HAS SOUS 1398043 HAS SOUPS 532064 WITH SCORE 548774.124
AT ITER 4257 NEW BEST:: SOT 19768597 SOS 16712987 HAS SOPS 8348260 HAS SOUS 1398119 HAS SOUPS 531935 WITH SCORE 548647.987
AT ITER 4268 NEW BEST:: SOT 19768588 SOS 16712969 HAS SOPS 8349497 HAS SOUS 1397850 HAS SOUPS 531917 WITH SCORE 548629.969
AT ITER 4275 NEW BEST:: SOT 19768608 SOS 16713094 HAS SOPS 8349622 HAS SOUS 1397720 HAS SOUPS 531787 WITH SCORE 548500.094
AT ITER 4295 NEW BEST:: SOT 19768608 SOS 16713181 HAS SOPS 8349274 HAS SOUS 1397633 HAS SOUPS 531613 WITH SCORE 548326.181
AT ITER 4304 NEW BEST:: SOT 19765307 SOS 16626676 HAS SOPS 8349905 HAS SOUS 1396175 HAS SOUPS 530155 WITH SCORE 546781.676
AT ITER 4310 NEW BEST:: SOT 19765307 SOS 16626676 HAS SOPS 8349905 HAS SOUS 1395929 HAS SOUPS 529909 WITH SCORE 546535.676
AT ITER 4333 NEW BEST:: SOT 19765055 SOS 16625542 HAS SOPS 8349401 HAS SOUS 1395551 HAS SOUPS 529657 WITH SCORE 546282.542
AT ITER 4335 NEW BEST:: SOT 19765004 SOS 16625644 HAS SOPS 8349503 HAS SOUS 1395500 HAS SOUPS 529606 WITH SCORE 546231.644
AT ITER 4337 NEW BEST:: SOT 19763373 SOS 16637019 HAS SOPS 8354038 HAS SOUS 1395394 HAS SOUPS 529500 WITH SCORE 546137.019
AT ITER 4356 NEW BEST:: SOT 19763373 SOS 16637019 HAS SOPS 8354038 HAS SOUS 1395366 HAS SOUPS 529472 WITH SCORE 546109.019
AT ITER 4366 NEW BEST:: SOT 19763312 SOS 16636897 HAS SOPS 8353916 HAS SOUS 1395305 HAS SOUPS 529411 WITH SCORE 546047.897
AT ITER 4377 NEW BEST:: SOT 19763312 SOS 16636897 HAS SOPS 8353916 HAS SOUS 1395109 HAS SOUPS 529215 WITH SCORE 545851.897
AT ITER 4390 NEW BEST:: SOT 19763272 SOS 16636817 HAS SOPS 8353836 HAS SOUS 1395069 HAS SOUPS 529175 WITH SCORE 545811.817
AT ITER 4403 NEW BEST:: SOT 19763240 SOS 16636785 HAS SOPS 8353804 HAS SOUS 1395037 HAS SOUPS 529143 WITH SCORE 545779.785
AT ITER 4412 NEW BEST:: SOT 19763216 SOS 16636905 HAS SOPS 8353864 HAS SOUS 1395019 HAS SOUPS 529125 WITH SCORE 545761.905
AT ITER 4424 NEW BEST:: SOT 19763098 SOS 16636079 HAS SOPS 8353628 HAS SOUS 1394783 HAS SOUPS 529007 WITH SCORE 545643.079
AT ITER 4432 NEW BEST:: SOT 19763098 SOS 16636079 HAS SOPS 8353628 HAS SOUS 1394611 HAS SOUPS 528835 WITH SCORE 545471.079
AT ITER 4442 NEW BEST:: SOT 19763150 SOS 16634055 HAS SOPS 8352364 HAS SOUS 1394587 HAS SOUPS 528811 WITH SCORE 545445.055
AT ITER 4464 NEW BEST:: SOT 19770215 SOS 16728694 HAS SOPS 8356696 HAS SOUS 1395098 HAS SOUPS 528643 WITH SCORE 545371.694
AT ITER 4471 NEW BEST:: SOT 19769361 SOS 16728982 HAS SOPS 8356984 HAS SOUS 1394910 HAS SOUPS 528455 WITH SCORE 545183.982
AT ITER 4474 NEW BEST:: SOT 19769509 SOS 16724686 HAS SOPS 8355148 HAS SOUS 1394730 HAS SOUPS 528439 WITH SCORE 545163.686
AT ITER 4510 NEW BEST:: SOT 19769342 SOS 16722322 HAS SOPS 8352784 HAS SOUS 1394493 HAS SOUPS 528202 WITH SCORE 544924.322
AT ITER 4527 NEW BEST:: SOT 19769139 SOS 16720901 HAS SOPS 8352378 HAS SOUS 1394086 HAS SOUPS 527998 WITH SCORE 544718.901
AT ITER 4541 NEW BEST:: SOT 19767367 SOS 16716939 HAS SOPS 8350506 HAS SOUS 1393150 HAS SOUPS 527480 WITH SCORE 544196.939
AT ITER 4545 NEW BEST:: SOT 19767311 SOS 16586467 HAS SOPS 8285218 HAS SOUS 1393097 HAS SOUPS 527427 WITH SCORE 544013.467
AT ITER 4558 NEW BEST:: SOT 19767395 SOS 16586716 HAS SOPS 8285467 HAS SOUS 1393022 HAS SOUPS 527352 WITH SCORE 543938.716
AT ITER 4580 NEW BEST:: SOT 19766399 SOS 16588079 HAS SOPS 8283475 HAS SOUS 1392293 HAS SOUPS 525952 WITH SCORE 542540.079
AT ITER 4587 NEW BEST:: SOT 19766083 SOS 16588007 HAS SOPS 8280603 HAS SOUS 1392264 HAS SOUPS 525363 WITH SCORE 541951.007
AT ITER 4597 NEW BEST:: SOT 19766177 SOS 16588583 HAS SOPS 8280694 HAS SOUS 1392355 HAS SOUPS 525357 WITH SCORE 541945.583
AT ITER 4603 NEW BEST:: SOT 19765963 SOS 16588655 HAS SOPS 8278416 HAS SOUS 1391927 HAS SOUPS 524459 WITH SCORE 541047.655
AT ITER 4607 NEW BEST:: SOT 19756791 SOS 16575163 HAS SOPS 8272528 HAS SOUS 1391211 HAS SOUPS 524372 WITH SCORE 540947.163
AT ITER 4616 NEW BEST:: SOT 19756791 SOS 16575163 HAS SOPS 8272528 HAS SOUS 1391017 HAS SOUPS 524178 WITH SCORE 540753.163
AT ITER 4620 NEW BEST:: SOT 19756791 SOS 16573568 HAS SOPS 8272528 HAS SOUS 1390698 HAS SOUPS 524178 WITH SCORE 540751.568
AT ITER 4646 NEW BEST:: SOT 19756791 SOS 16573568 HAS SOPS 8272528 HAS SOUS 1390688 HAS SOUPS 524168 WITH SCORE 540741.568
AT ITER 4713 NEW BEST:: SOT 19756575 SOS 16572866 HAS SOPS 8271826 HAS SOUS 1390526 HAS SOUPS 524006 WITH SCORE 540578.866
AT ITER 4733 NEW BEST:: SOT 19756575 SOS 16573806 HAS SOPS 8270991 HAS SOUS 1390483 HAS SOUPS 523608 WITH SCORE 540181.806
AT ITER 4744 NEW BEST:: SOT 19756393 SOS 16573078 HAS SOPS 8270263 HAS SOUS 1390210 HAS SOUPS 523335 WITH SCORE 539908.078
AT ITER 4749 NEW BEST:: SOT 19756393 SOS 16573078 HAS SOPS 8270263 HAS SOUS 1389964 HAS SOUPS 523089 WITH SCORE 539662.078
AT ITER 4750 NEW BEST:: SOT 19755911 SOS 16571999 HAS SOPS 8271469 HAS SOUS 1388837 HAS SOUPS 522419 WITH SCORE 538990.999
AT ITER 4769 NEW BEST:: SOT 19755777 SOS 16571731 HAS SOPS 8271201 HAS SOUS 1388703 HAS SOUPS 522285 WITH SCORE 538856.731
AT ITER 4790 NEW BEST:: SOT 19754804 SOS 16559674 HAS SOPS 8264754 HAS SOUS 1388008 HAS SOUPS 521964 WITH SCORE 538523.674
AT ITER 4827 NEW BEST:: SOT 19751717 SOS 16566323 HAS SOPS 8265443 HAS SOUS 1385758 HAS SOUPS 519714 WITH SCORE 536280.323
AT ITER 4840 NEW BEST:: SOT 19751717 SOS 16566263 HAS SOPS 8265368 HAS SOUS 1385743 HAS SOUPS 519699 WITH SCORE 536265.263
AT ITER 4881 NEW BEST:: SOT 19751581 SOS 16565991 HAS SOPS 8265096 HAS SOUS 1385607 HAS SOUPS 519563 WITH SCORE 536128.991
AT ITER 4892 NEW BEST:: SOT 19750716 SOS 16563626 HAS SOPS 8263981 HAS SOUS 1384242 HAS SOUPS 518448 WITH SCORE 535011.626
AT ITER 4896 NEW BEST:: SOT 19750716 SOS 16563626 HAS SOPS 8263981 HAS SOUS 1384040 HAS SOUPS 518246 WITH SCORE 534809.626
AT ITER 4925 NEW BEST:: SOT 19750679 SOS 16562664 HAS SOPS 8263574 HAS SOUS 1384003 HAS SOUPS 518246 WITH SCORE 534808.664
AT ITER 4926 NEW BEST:: SOT 19749649 SOS 16564312 HAS SOPS 8262792 HAS SOUS 1383453 HAS SOUPS 517534 WITH SCORE 534098.312
AT ITER 4928 NEW BEST:: SOT 19750597 SOS 16565655 HAS SOPS 8263266 HAS SOUS 1383374 HAS SOUPS 517376 WITH SCORE 533941.655
AT ITER 4999 NEW BEST:: SOT 19750418 SOS 16564762 HAS SOPS 8263533 HAS SOUS 1382990 HAS SOUPS 517224 WITH SCORE 533788.762
AT ITER 5020 NEW BEST:: SOT 19750586 SOS 16565140 HAS SOPS 8263701 HAS SOUS 1383031 HAS SOUPS 517223 WITH SCORE 533788.14
AT ITER 5047 NEW BEST:: SOT 19750214 SOS 16564284 HAS SOPS 8263405 HAS SOUS 1382771 HAS SOUPS 517075 WITH SCORE 533639.284
AT ITER 5075 NEW BEST:: SOT 19749449 SOS 16562601 HAS SOPS 8262487 HAS SOUS 1382364 HAS SOUPS 516821 WITH SCORE 533383.601
AT ITER 5080 NEW BEST:: SOT 19748394 SOS 16560104 HAS SOPS 8261925 HAS SOUS 1381457 HAS SOUPS 516301 WITH SCORE 532861.104
AT ITER 5114 NEW BEST:: SOT 19748394 SOS 16560104 HAS SOPS 8261925 HAS SOUS 1381237 HAS SOUPS 516081 WITH SCORE 532641.104
AT ITER 5116 NEW BEST:: SOT 19748049 SOS 16559414 HAS SOPS 8261235 HAS SOUS 1380613 HAS SOUPS 515457 WITH SCORE 532016.414
AT ITER 5158 NEW BEST:: SOT 19745284 SOS 16555221 HAS SOPS 8259660 HAS SOUS 1380359 HAS SOUPS 515441 WITH SCORE 531996.221
AT ITER 5172 NEW BEST:: SOT 19745284 SOS 16555221 HAS SOPS 8259660 HAS SOUS 1380113 HAS SOUPS 515195 WITH SCORE 531750.221
AT ITER 5173 NEW BEST:: SOT 19745284 SOS 16555221 HAS SOPS 8259660 HAS SOUS 1379867 HAS SOUPS 514949 WITH SCORE 531504.221
AT ITER 5177 NEW BEST:: SOT 19745284 SOS 16555221 HAS SOPS 8259660 HAS SOUS 1379727 HAS SOUPS 514809 WITH SCORE 531364.221
AT ITER 5178 NEW BEST:: SOT 19744012 SOS 16552339 HAS SOPS 8258468 HAS SOUS 1379089 HAS SOUPS 514509 WITH SCORE 531061.339
AT ITER 5192 NEW BEST:: SOT 19742609 SOS 16560635 HAS SOPS 8262024 HAS SOUS 1378787 HAS SOUPS 514207 WITH SCORE 530767.635
AT ITER 5207 NEW BEST:: SOT 19741969 SOS 16562506 HAS SOPS 8262525 HAS SOUS 1378284 HAS SOUPS 513704 WITH SCORE 530266.506
AT ITER 5220 NEW BEST:: SOT 19741935 SOS 16562825 HAS SOPS 8260909 HAS SOUS 1378403 HAS SOUPS 513436 WITH SCORE 529998.825
AT ITER 5224 NEW BEST:: SOT 19741695 SOS 16562345 HAS SOPS 8260429 HAS SOUS 1378163 HAS SOUPS 513196 WITH SCORE 529758.345
AT ITER 5235 NEW BEST:: SOT 19741368 SOS 16561691 HAS SOPS 8259775 HAS SOUS 1377780 HAS SOUPS 512813 WITH SCORE 529374.691
AT ITER 5236 NEW BEST:: SOT 19742522 SOS 16583760 HAS SOPS 8270609 HAS SOUS 1378471 HAS SOUPS 512755 WITH SCORE 529338.76
AT ITER 5267 NEW BEST:: SOT 19742402 SOS 16583520 HAS SOPS 8270369 HAS SOUS 1378351 HAS SOUPS 512635 WITH SCORE 529218.52
AT ITER 5296 NEW BEST:: SOT 19742347 SOS 16583410 HAS SOPS 8270259 HAS SOUS 1377928 HAS SOUPS 512212 WITH SCORE 528795.41
AT ITER 5298 NEW BEST:: SOT 19742347 SOS 16583410 HAS SOPS 8270259 HAS SOUS 1377498 HAS SOUPS 511782 WITH SCORE 528365.41
AT ITER 5301 NEW BEST:: SOT 19740739 SOS 16592872 HAS SOPS 8274561 HAS SOUS 1377034 HAS SOUPS 511318 WITH SCORE 527910.872
AT ITER 5303 NEW BEST:: SOT 19739920 SOS 16591234 HAS SOPS 8274561 HAS SOUS 1376791 HAS SOUPS 511318 WITH SCORE 527909.234
AT ITER 5304 NEW BEST:: SOT 19739920 SOS 16590514 HAS SOPS 8274701 HAS SOUS 1376619 HAS SOUPS 511318 WITH SCORE 527908.514
AT ITER 5311 NEW BEST:: SOT 19739920 SOS 16590334 HAS SOPS 8274701 HAS SOUS 1376583 HAS SOUPS 511318 WITH SCORE 527908.334
AT ITER 5312 NEW BEST:: SOT 19739724 SOS 16588692 HAS SOPS 8274309 HAS SOUS 1375887 HAS SOUPS 510872 WITH SCORE 527460.692
AT ITER 5325 NEW BEST:: SOT 19739607 SOS 16588458 HAS SOPS 8275100 HAS SOUS 1375550 HAS SOUPS 510740 WITH SCORE 527328.458
AT ITER 5335 NEW BEST:: SOT 19738232 SOS 16597634 HAS SOPS 8279006 HAS SOUS 1375235 HAS SOUPS 510425 WITH SCORE 527022.634
AT ITER 5352 NEW BEST:: SOT 19737643 SOS 16596222 HAS SOPS 8277594 HAS SOUS 1375159 HAS SOUPS 510349 WITH SCORE 526945.222
AT ITER 5358 NEW BEST:: SOT 19736423 SOS 16611198 HAS SOPS 8286350 HAS SOUS 1374904 HAS SOUPS 510094 WITH SCORE 526705.198
AT ITER 5405 NEW BEST:: SOT 19736423 SOS 16611198 HAS SOPS 8286350 HAS SOUS 1374888 HAS SOUPS 510078 WITH SCORE 526689.198
AT ITER 5422 NEW BEST:: SOT 19736423 SOS 16611198 HAS SOPS 8286350 HAS SOUS 1374872 HAS SOUPS 510062 WITH SCORE 526673.198
AT ITER 5439 NEW BEST:: SOT 19736751 SOS 16611198 HAS SOPS 8286350 HAS SOUS 1374543 HAS SOUPS 509733 WITH SCORE 526344.198
AT ITER 5449 NEW BEST:: SOT 19736699 SOS 16611094 HAS SOPS 8286246 HAS SOUS 1374490 HAS SOUPS 509680 WITH SCORE 526291.094
AT ITER 5455 NEW BEST:: SOT 19736737 SOS 16611240 HAS SOPS 8283757 HAS SOUS 1374653 HAS SOUPS 509316 WITH SCORE 525927.24
AT ITER 5498 NEW BEST:: SOT 19729643 SOS 16602272 HAS SOPS 8279334 HAS SOUS 1374513 HAS SOUPS 509234 WITH SCORE 525836.272
AT ITER 5514 NEW BEST:: SOT 19729542 SOS 16602070 HAS SOPS 8279132 HAS SOUS 1374276 HAS SOUPS 508997 WITH SCORE 525599.07
AT ITER 5516 NEW BEST:: SOT 19729078 SOS 16602476 HAS SOPS 8278958 HAS SOUS 1374044 HAS SOUPS 508765 WITH SCORE 525367.476
AT ITER 5534 NEW BEST:: SOT 19729142 SOS 16602604 HAS SOPS 8279086 HAS SOUS 1373796 HAS SOUPS 508517 WITH SCORE 525119.604
AT ITER 5552 NEW BEST:: SOT 19729142 SOS 16602602 HAS SOPS 8279084 HAS SOUS 1373796 HAS SOUPS 508517 WITH SCORE 525119.602
AT ITER 5553 NEW BEST:: SOT 19729115 SOS 16602548 HAS SOPS 8278695 HAS SOUS 1373835 HAS SOUPS 508489 WITH SCORE 525091.548
AT ITER 5587 NEW BEST:: SOT 19729102 SOS 16602522 HAS SOPS 8278669 HAS SOUS 1373820 HAS SOUPS 508474 WITH SCORE 525076.522
AT ITER 5602 NEW BEST:: SOT 19728970 SOS 16603094 HAS SOPS 8278581 HAS SOUS 1373732 HAS SOUPS 508342 WITH SCORE 524945.094
AT ITER 5631 NEW BEST:: SOT 19728970 SOS 16603094 HAS SOPS 8278581 HAS SOUS 1373615 HAS SOUPS 508225 WITH SCORE 524828.094
AT ITER 5632 NEW BEST:: SOT 19729129 SOS 16599889 HAS SOPS 8276836 HAS SOUS 1373607 HAS SOUPS 508217 WITH SCORE 524816.889
AT ITER 5649 NEW BEST:: SOT 19729129 SOS 16599889 HAS SOPS 8276836 HAS SOUS 1373437 HAS SOUPS 508047 WITH SCORE 524646.889
AT ITER 5659 NEW BEST:: SOT 19728834 SOS 16599284 HAS SOPS 8278001 HAS SOUS 1372788 HAS SOUPS 507752 WITH SCORE 524351.284
AT ITER 5698 NEW BEST:: SOT 19729296 SOS 16599428 HAS SOPS 8278145 HAS SOUS 1372707 HAS SOUPS 507671 WITH SCORE 524270.428
AT ITER 5711 NEW BEST:: SOT 19729102 SOS 16599040 HAS SOPS 8277757 HAS SOUS 1372513 HAS SOUPS 507477 WITH SCORE 524076.04
AT ITER 5733 NEW BEST:: SOT 19724060 SOS 16602537 HAS SOPS 8275134 HAS SOUS 1369243 HAS SOUPS 504207 WITH SCORE 520809.537
AT ITER 5763 NEW BEST:: SOT 19723924 SOS 16601927 HAS SOPS 8274524 HAS SOUS 1369175 HAS SOUPS 504139 WITH SCORE 520740.927
AT ITER 5771 NEW BEST:: SOT 19723577 SOS 16602518 HAS SOPS 8275115 HAS SOUS 1369066 HAS SOUPS 504030 WITH SCORE 520632.518
AT ITER 5826 NEW BEST:: SOT 19723426 SOS 16601084 HAS SOPS 8273681 HAS SOUS 1368648 HAS SOUPS 503612 WITH SCORE 520213.084
AT ITER 5837 NEW BEST:: SOT 19723833 SOS 16602410 HAS SOPS 8272447 HAS SOUS 1368960 HAS SOUPS 503412 WITH SCORE 520014.41
AT ITER 5848 NEW BEST:: SOT 19723707 SOS 16603667 HAS SOPS 8272759 HAS SOUS 1368960 HAS SOUPS 503349 WITH SCORE 519952.667
AT ITER 5857 NEW BEST:: SOT 19723923 SOS 16595307 HAS SOPS 8267539 HAS SOUS 1368629 HAS SOUPS 503018 WITH SCORE 519613.30700000003
AT ITER 5873 NEW BEST:: SOT 19723923 SOS 16595307 HAS SOPS 8267539 HAS SOUS 1368387 HAS SOUPS 502776 WITH SCORE 519371.30700000003
AT ITER 5879 NEW BEST:: SOT 19721471 SOS 16606961 HAS SOPS 8269878 HAS SOUS 1368904 HAS SOUPS 502672 WITH SCORE 519278.961
AT ITER 5882 NEW BEST:: SOT 19721471 SOS 16606961 HAS SOPS 8269878 HAS SOUS 1368694 HAS SOUPS 502462 WITH SCORE 519068.961
AT ITER 5898 NEW BEST:: SOT 19721267 SOS 16606740 HAS SOPS 8269096 HAS SOUS 1368864 HAS SOUPS 502445 WITH SCORE 519051.74
AT ITER 5927 NEW BEST:: SOT 19721297 SOS 16606800 HAS SOPS 8269156 HAS SOUS 1368802 HAS SOUPS 502383 WITH SCORE 518989.8
AT ITER 5936 NEW BEST:: SOT 19721396 SOS 16606503 HAS SOPS 8269354 HAS SOUS 1368703 HAS SOUPS 502383 WITH SCORE 518989.503
AT ITER 5947 NEW BEST:: SOT 19721396 SOS 16606503 HAS SOPS 8269354 HAS SOUS 1368547 HAS SOUPS 502227 WITH SCORE 518833.503
AT ITER 5968 NEW BEST:: SOT 19721233 SOS 16606947 HAS SOPS 8269798 HAS SOUS 1368375 HAS SOUPS 502055 WITH SCORE 518661.947
AT ITER 5978 NEW BEST:: SOT 19716640 SOS 16601145 HAS SOPS 8266162 HAS SOUS 1368241 HAS SOUPS 501921 WITH SCORE 518522.145
AT ITER 5988 NEW BEST:: SOT 19716532 SOS 16600902 HAS SOPS 8266054 HAS SOUS 1368160 HAS SOUPS 501867 WITH SCORE 518467.902
AT ITER 5991 NEW BEST:: SOT 19715162 SOS 16597838 HAS SOPS 8264610 HAS SOUS 1367287 HAS SOUPS 501318 WITH SCORE 517915.838
AT ITER 6014 NEW BEST:: SOT 19715083 SOS 16597680 HAS SOPS 8264847 HAS SOUS 1367129 HAS SOUPS 501239 WITH SCORE 517836.68
AT ITER 6024 NEW BEST:: SOT 19715075 SOS 16597664 HAS SOPS 8264831 HAS SOUS 1367121 HAS SOUPS 501231 WITH SCORE 517828.664
AT ITER 6041 NEW BEST:: SOT 19715075 SOS 16597664 HAS SOPS 8264831 HAS SOUS 1367029 HAS SOUPS 501139 WITH SCORE 517736.664
AT ITER 6098 NEW BEST:: SOT 19714972 SOS 16596943 HAS SOPS 8264625 HAS SOUS 1366823 HAS SOUPS 501036 WITH SCORE 517632.94299999997
AT ITER 6110 NEW BEST:: SOT 19714606 SOS 16596211 HAS SOPS 8265878 HAS SOUS 1366039 HAS SOUPS 500649 WITH SCORE 517245.211
AT ITER 6157 NEW BEST:: SOT 19711810 SOS 16604887 HAS SOPS 8267794 HAS SOUS 1364646 HAS SOUPS 499256 WITH SCORE 515860.887
AT ITER 6158 NEW BEST:: SOT 19711587 SOS 16602986 HAS SOPS 8267348 HAS SOUS 1364214 HAS SOUPS 499115 WITH SCORE 515717.986
AT ITER 6160 NEW BEST:: SOT 19706078 SOS 16594713 HAS SOPS 8263783 HAS SOUS 1363645 HAS SOUPS 498974 WITH SCORE 515568.713
AT ITER 6184 NEW BEST:: SOT 19705955 SOS 16538418 HAS SOPS 8237968 HAS SOUS 1363258 HAS SOUPS 498827 WITH SCORE 515365.418
AT ITER 6217 NEW BEST:: SOT 19705845 SOS 16537932 HAS SOPS 8237482 HAS SOUS 1363210 HAS SOUPS 498779 WITH SCORE 515316.93200000003
AT ITER 6221 NEW BEST:: SOT 19705809 SOS 16537860 HAS SOPS 8237410 HAS SOUS 1363210 HAS SOUPS 498779 WITH SCORE 515316.86
AT ITER 6222 NEW BEST:: SOT 19705593 SOS 16536103 HAS SOPS 8236978 HAS SOUS 1362560 HAS SOUPS 498394 WITH SCORE 514930.103
AT ITER 6293 NEW BEST:: SOT 19705536 SOS 16535989 HAS SOPS 8236864 HAS SOUS 1362503 HAS SOUPS 498337 WITH SCORE 514872.989
AT ITER 6310 NEW BEST:: SOT 19704852 SOS 16540725 HAS SOPS 8239420 HAS SOUS 1362037 HAS SOUPS 497871 WITH SCORE 514411.725
AT ITER 6334 NEW BEST:: SOT 19704852 SOS 16541095 HAS SOPS 8239420 HAS SOUS 1362037 HAS SOUPS 497797 WITH SCORE 514338.095
AT ITER 6336 NEW BEST:: SOT 19704850 SOS 16541091 HAS SOPS 8239416 HAS SOUS 1362035 HAS SOUPS 497795 WITH SCORE 514336.091
AT ITER 6337 NEW BEST:: SOT 19704800 SOS 16540991 HAS SOPS 8238886 HAS SOUS 1362070 HAS SOUPS 497744 WITH SCORE 514284.991
AT ITER 6339 NEW BEST:: SOT 19695740 SOS 16528272 HAS SOPS 8233744 HAS SOUS 1361552 HAS SOUPS 497745 WITH SCORE 514273.272
AT ITER 6349 NEW BEST:: SOT 19695647 SOS 16528086 HAS SOPS 8233558 HAS SOUS 1361431 HAS SOUPS 497624 WITH SCORE 514152.086
AT ITER 6350 NEW BEST:: SOT 19695343 SOS 16527402 HAS SOPS 8233254 HAS SOUS 1361279 HAS SOUPS 497548 WITH SCORE 514075.402
AT ITER 6376 NEW BEST:: SOT 19694216 SOS 16525437 HAS SOPS 8231289 HAS SOUS 1361188 HAS SOUPS 497457 WITH SCORE 513982.437
AT ITER 6387 NEW BEST:: SOT 19694209 SOS 16525423 HAS SOPS 8231275 HAS SOUS 1361180 HAS SOUPS 497449 WITH SCORE 513974.423
AT ITER 6396 NEW BEST:: SOT 19694097 SOS 16525171 HAS SOPS 8231023 HAS SOUS 1361124 HAS SOUPS 497393 WITH SCORE 513918.171
AT ITER 6397 NEW BEST:: SOT 19694097 SOS 16525171 HAS SOPS 8231023 HAS SOUS 1361104 HAS SOUPS 497373 WITH SCORE 513898.171
AT ITER 6431 NEW BEST:: SOT 19691469 SOS 16521891 HAS SOPS 8228924 HAS SOUS 1361129 HAS SOUPS 497303 WITH SCORE 513824.891
AT ITER 6462 NEW BEST:: SOT 19691132 SOS 16531990 HAS SOPS 8233068 HAS SOUS 1361358 HAS SOUPS 497135 WITH SCORE 513666.99
AT ITER 6504 NEW BEST:: SOT 19691321 SOS 16533418 HAS SOPS 8233446 HAS SOUS 1361530 HAS SOUPS 497097 WITH SCORE 513630.418
AT ITER 6505 NEW BEST:: SOT 19691324 SOS 16533040 HAS SOPS 8233443 HAS SOUS 1361527 HAS SOUPS 497097 WITH SCORE 513630.04
AT ITER 6539 NEW BEST:: SOT 19691280 SOS 16532952 HAS SOPS 8233355 HAS SOUS 1361526 HAS SOUPS 497096 WITH SCORE 513628.952
AT ITER 6540 NEW BEST:: SOT 19692058 SOS 16534508 HAS SOPS 8234911 HAS SOUS 1361523 HAS SOUPS 497093 WITH SCORE 513627.50800000003
AT ITER 6548 NEW BEST:: SOT 19691811 SOS 16534014 HAS SOPS 8234417 HAS SOUS 1361379 HAS SOUPS 496949 WITH SCORE 513483.014
AT ITER 6559 NEW BEST:: SOT 19686623 SOS 16526794 HAS SOPS 8230937 HAS SOUS 1361225 HAS SOUPS 496919 WITH SCORE 513445.794
AT ITER 6572 NEW BEST:: SOT 19686554 SOS 16526656 HAS SOPS 8228684 HAS SOUS 1361535 HAS SOUPS 496806 WITH SCORE 513332.656
AT ITER 6575 NEW BEST:: SOT 19686057 SOS 16525662 HAS SOPS 8227690 HAS SOUS 1361070 HAS SOUPS 496341 WITH SCORE 512866.662
AT ITER 6603 NEW BEST:: SOT 19686619 SOS 16525662 HAS SOPS 8227690 HAS SOUS 1360753 HAS SOUPS 496024 WITH SCORE 512549.662
AT ITER 6614 NEW BEST:: SOT 19686547 SOS 16525444 HAS SOPS 8227842 HAS SOUS 1360645 HAS SOUPS 495990 WITH SCORE 512515.444
AT ITER 6630 NEW BEST:: SOT 19686547 SOS 16525444 HAS SOPS 8227842 HAS SOUS 1360399 HAS SOUPS 495744 WITH SCORE 512269.444
AT ITER 6635 NEW BEST:: SOT 19685263 SOS 16535826 HAS SOPS 8232774 HAS SOUS 1359929 HAS SOUPS 495274 WITH SCORE 511809.826
AT ITER 6656 NEW BEST:: SOT 19680493 SOS 16529182 HAS SOPS 8228260 HAS SOUS 1359488 HAS SOUPS 494833 WITH SCORE 511362.18200000003
AT ITER 6659 NEW BEST:: SOT 19679497 SOS 16526966 HAS SOPS 8226044 HAS SOUS 1359132 HAS SOUPS 494477 WITH SCORE 511003.966
AT ITER 6664 NEW BEST:: SOT 19679497 SOS 16526966 HAS SOPS 8226044 HAS SOUS 1359068 HAS SOUPS 494413 WITH SCORE 510939.966
AT ITER 6721 NEW BEST:: SOT 19678754 SOS 16525863 HAS SOPS 8225601 HAS SOUS 1358985 HAS SOUPS 494390 WITH SCORE 510915.863
AT ITER 6736 NEW BEST:: SOT 19678754 SOS 16525863 HAS SOPS 8225601 HAS SOUS 1358929 HAS SOUPS 494334 WITH SCORE 510859.863
AT ITER 6738 NEW BEST:: SOT 19678640 SOS 16525597 HAS SOPS 8225525 HAS SOUS 1358853 HAS SOUPS 494296 WITH SCORE 510821.597
AT ITER 6756 NEW BEST:: SOT 19678020 SOS 16537678 HAS SOPS 8232586 HAS SOUS 1358735 HAS SOUPS 494178 WITH SCORE 510715.678
AT ITER 6760 NEW BEST:: SOT 19678020 SOS 16537973 HAS SOPS 8231976 HAS SOUS 1358900 HAS SOUPS 494162 WITH SCORE 510699.973
AT ITER 6788 NEW BEST:: SOT 19676436 SOS 16545627 HAS SOPS 8234990 HAS SOUS 1357780 HAS SOUPS 493042 WITH SCORE 509587.627
AT ITER 6806 NEW BEST:: SOT 19676225 SOS 16546244 HAS SOPS 8234227 HAS SOUS 1357676 HAS SOUPS 492662 WITH SCORE 509208.244
AT ITER 6816 NEW BEST:: SOT 19675939 SOS 16545207 HAS SOPS 8234620 HAS SOUS 1357103 HAS SOUPS 492375 WITH SCORE 508920.207
AT ITER 6825 NEW BEST:: SOT 19674088 SOS 16542492 HAS SOPS 8233456 HAS SOUS 1356840 HAS SOUPS 492253 WITH SCORE 508795.492
AT ITER 6838 NEW BEST:: SOT 19674016 SOS 16541988 HAS SOPS 8233312 HAS SOUS 1356624 HAS SOUPS 492109 WITH SCORE 508650.988
AT ITER 6869 NEW BEST:: SOT 19673891 SOS 16541113 HAS SOPS 8233062 HAS SOUS 1356374 HAS SOUPS 491984 WITH SCORE 508525.113
AT ITER 6885 NEW BEST:: SOT 19673759 SOS 16540949 HAS SOPS 8232898 HAS SOUS 1356342 HAS SOUPS 491952 WITH SCORE 508492.949
AT ITER 6914 NEW BEST:: SOT 19673338 SOS 16539115 HAS SOPS 8231064 HAS SOUS 1356042 HAS SOUPS 491652 WITH SCORE 508191.115
AT ITER 6929 NEW BEST:: SOT 19673224 SOS 16538892 HAS SOPS 8230271 HAS SOUS 1356042 HAS SOUPS 491538 WITH SCORE 508076.892
AT ITER 6937 NEW BEST:: SOT 19673224 SOS 16538892 HAS SOPS 8230271 HAS SOUS 1355838 HAS SOUPS 491334 WITH SCORE 507872.892
AT ITER 6951 NEW BEST:: SOT 19672744 SOS 16538212 HAS SOPS 8230031 HAS SOUS 1355798 HAS SOUPS 491334 WITH SCORE 507872.212
AT ITER 6953 NEW BEST:: SOT 19672276 SOS 16536867 HAS SOPS 8229095 HAS SOUS 1355495 HAS SOUPS 491031 WITH SCORE 507567.867
AT ITER 6985 NEW BEST:: SOT 19672362 SOS 16537044 HAS SOPS 8228337 HAS SOUS 1355642 HAS SOUPS 490991 WITH SCORE 507528.044
AT ITER 6994 NEW BEST:: SOT 19672285 SOS 16536890 HAS SOPS 8228183 HAS SOUS 1355642 HAS SOUPS 490991 WITH SCORE 507527.89
AT ITER 7023 NEW BEST:: SOT 19663778 SOS 16525326 HAS SOPS 8219637 HAS SOUS 1355591 HAS SOUPS 490669 WITH SCORE 507194.326
AT ITER 7032 NEW BEST:: SOT 19663673 SOS 16524261 HAS SOPS 8219427 HAS SOUS 1355247 HAS SOUPS 490496 WITH SCORE 507020.261
AT ITER 7037 NEW BEST:: SOT 19665211 SOS 16531773 HAS SOPS 8221165 HAS SOUS 1354656 HAS SOUPS 489905 WITH SCORE 506436.773
AT ITER 7040 NEW BEST:: SOT 19665058 SOS 16532432 HAS SOPS 8221824 HAS SOUS 1354649 HAS SOUPS 489898 WITH SCORE 506430.43200000003
AT ITER 7041 NEW BEST:: SOT 19665058 SOS 16531027 HAS SOPS 8221824 HAS SOUS 1354087 HAS SOUPS 489617 WITH SCORE 506148.027
AT ITER 7057 NEW BEST:: SOT 19661148 SOS 16533545 HAS SOPS 8219082 HAS SOUS 1351872 HAS SOUPS 487402 WITH SCORE 503935.545
AT ITER 7064 NEW BEST:: SOT 19661052 SOS 16533449 HAS SOPS 8219034 HAS SOUS 1351872 HAS SOUPS 487402 WITH SCORE 503935.449
AT ITER 7071 NEW BEST:: SOT 19660994 SOS 16533333 HAS SOPS 8218918 HAS SOUS 1351814 HAS SOUPS 487344 WITH SCORE 503877.333
AT ITER 7073 NEW BEST:: SOT 19660010 SOS 16531612 HAS SOPS 8218492 HAS SOUS 1351483 HAS SOUPS 487292 WITH SCORE 503823.612
AT ITER 7089 NEW BEST:: SOT 19659941 SOS 16531474 HAS SOPS 8218354 HAS SOUS 1351345 HAS SOUPS 487154 WITH SCORE 503685.474
AT ITER 7093 NEW BEST:: SOT 19659941 SOS 16531474 HAS SOPS 8218354 HAS SOUS 1350887 HAS SOUPS 486696 WITH SCORE 503227.474
AT ITER 7099 NEW BEST:: SOT 19659897 SOS 16531375 HAS SOPS 8218310 HAS SOUS 1350865 HAS SOUPS 486685 WITH SCORE 503216.375
AT ITER 7101 NEW BEST:: SOT 19659721 SOS 16529873 HAS SOPS 8216299 HAS SOUS 1350138 HAS SOUPS 485958 WITH SCORE 502487.873
AT ITER 7103 NEW BEST:: SOT 19659528 SOS 16529135 HAS SOPS 8216001 HAS SOUS 1349928 HAS SOUPS 485836 WITH SCORE 502365.135
AT ITER 7117 NEW BEST:: SOT 19659528 SOS 16529135 HAS SOPS 8216001 HAS SOUS 1349758 HAS SOUPS 485666 WITH SCORE 502195.135
AT ITER 7120 NEW BEST:: SOT 19658262 SOS 16544972 HAS SOPS 8220318 HAS SOUS 1350430 HAS SOUPS 485570 WITH SCORE 502114.972
AT ITER 7144 NEW BEST:: SOT 19658262 SOS 16544437 HAS SOPS 8219783 HAS SOUS 1350429 HAS SOUPS 485569 WITH SCORE 502113.437
AT ITER 7147 NEW BEST:: SOT 19657829 SOS 16545158 HAS SOPS 8219814 HAS SOUS 1350272 HAS SOUPS 485412 WITH SCORE 501957.158
AT ITER 7166 NEW BEST:: SOT 19657354 SOS 16542798 HAS SOPS 8219294 HAS SOUS 1349288 HAS SOUPS 484796 WITH SCORE 501338.798
AT ITER 7174 NEW BEST:: SOT 19657189 SOS 16542309 HAS SOPS 8218752 HAS SOUS 1349123 HAS SOUPS 484631 WITH SCORE 501173.309
AT ITER 7201 NEW BEST:: SOT 19659397 SOS 16545437 HAS SOPS 8219856 HAS SOUS 1348939 HAS SOUPS 484263 WITH SCORE 500808.437
AT ITER 7218 NEW BEST:: SOT 19658667 SOS 16553049 HAS SOPS 8224700 HAS SOUS 1348769 HAS SOUPS 484093 WITH SCORE 500646.049
AT ITER 7224 NEW BEST:: SOT 19658836 SOS 16552991 HAS SOPS 8224642 HAS SOUS 1348736 HAS SOUPS 484060 WITH SCORE 500612.991
AT ITER 7225 NEW BEST:: SOT 19658836 SOS 16552991 HAS SOPS 8224642 HAS SOUS 1348676 HAS SOUPS 484000 WITH SCORE 500552.991
AT ITER 7256 NEW BEST:: SOT 19658825 SOS 16552969 HAS SOPS 8224620 HAS SOUS 1348665 HAS SOUPS 483989 WITH SCORE 500541.969
AT ITER 7258 NEW BEST:: SOT 19661608 SOS 16556112 HAS SOPS 8225699 HAS SOUS 1348456 HAS SOUPS 483780 WITH SCORE 500336.112
AT ITER 7286 NEW BEST:: SOT 19661580 SOS 16556136 HAS SOPS 8225699 HAS SOUS 1348436 HAS SOUPS 483764 WITH SCORE 500320.136
AT ITER 7287 NEW BEST:: SOT 19661580 SOS 16555778 HAS SOPS 8225341 HAS SOUS 1348436 HAS SOUPS 483764 WITH SCORE 500319.778
AT ITER 7300 NEW BEST:: SOT 19660545 SOS 16564054 HAS SOPS 8229797 HAS SOUS 1348164 HAS SOUPS 483492 WITH SCORE 500056.054
AT ITER 7328 NEW BEST:: SOT 19657744 SOS 16564475 HAS SOPS 8225463 HAS SOUS 1346288 HAS SOUPS 481299 WITH SCORE 497863.475
AT ITER 7333 NEW BEST:: SOT 19657738 SOS 16564469 HAS SOPS 8225457 HAS SOUS 1346282 HAS SOUPS 481293 WITH SCORE 497857.469
AT ITER 7340 NEW BEST:: SOT 19657738 SOS 16564469 HAS SOPS 8225457 HAS SOUS 1346192 HAS SOUPS 481203 WITH SCORE 497767.469
AT ITER 7345 NEW BEST:: SOT 19657734 SOS 16564461 HAS SOPS 8225449 HAS SOUS 1346187 HAS SOUPS 481198 WITH SCORE 497762.461
AT ITER 7382 NEW BEST:: SOT 19657559 SOS 16564561 HAS SOPS 8225299 HAS SOUS 1346062 HAS SOUPS 481073 WITH SCORE 497637.561
AT ITER 7391 NEW BEST:: SOT 19657559 SOS 16564561 HAS SOPS 8225299 HAS SOUS 1345964 HAS SOUPS 480975 WITH SCORE 497539.561
AT ITER 7414 NEW BEST:: SOT 19657567 SOS 16564157 HAS SOPS 8225315 HAS SOUS 1345849 HAS SOUPS 480944 WITH SCORE 497508.157
AT ITER 7418 NEW BEST:: SOT 19657504 SOS 16564031 HAS SOPS 8225189 HAS SOUS 1345788 HAS SOUPS 480883 WITH SCORE 497447.031
AT ITER 7436 NEW BEST:: SOT 19657006 SOS 16563865 HAS SOPS 8224525 HAS SOUS 1345277 HAS SOUPS 480372 WITH SCORE 496935.865
AT ITER 7450 NEW BEST:: SOT 19657006 SOS 16563865 HAS SOPS 8224525 HAS SOUS 1344785 HAS SOUPS 479880 WITH SCORE 496443.865
AT ITER 7451 NEW BEST:: SOT 19656908 SOS 16564061 HAS SOPS 8224511 HAS SOUS 1344757 HAS SOUPS 479838 WITH SCORE 496402.061
AT ITER 7457 NEW BEST:: SOT 19652406 SOS 16559559 HAS SOPS 8222631 HAS SOUS 1344691 HAS SOUPS 479772 WITH SCORE 496331.559
AT ITER 7473 NEW BEST:: SOT 19652076 SOS 16558491 HAS SOPS 8223603 HAS SOUS 1344229 HAS SOUPS 479718 WITH SCORE 496276.491
AT ITER 7475 NEW BEST:: SOT 19652054 SOS 16558447 HAS SOPS 8223559 HAS SOUS 1344178 HAS SOUPS 479667 WITH SCORE 496225.447
AT ITER 7496 NEW BEST:: SOT 19640300 SOS 16541521 HAS SOPS 8215783 HAS SOUS 1343486 HAS SOUPS 479589 WITH SCORE 496130.521
AT ITER 7506 NEW BEST:: SOT 19640300 SOS 16541521 HAS SOPS 8215783 HAS SOUS 1343310 HAS SOUPS 479413 WITH SCORE 495954.521
AT ITER 7519 NEW BEST:: SOT 19643020 SOS 16544247 HAS SOPS 8217543 HAS SOUS 1342656 HAS SOUPS 478928 WITH SCORE 495472.247
AT ITER 7538 NEW BEST:: SOT 19643020 SOS 16544247 HAS SOPS 8217543 HAS SOUS 1342470 HAS SOUPS 478742 WITH SCORE 495286.247
AT ITER 7546 NEW BEST:: SOT 19642333 SOS 16542873 HAS SOPS 8213244 HAS SOUS 1341888 HAS SOUPS 477575 WITH SCORE 494117.873
AT ITER 7555 NEW BEST:: SOT 19636966 SOS 16536768 HAS SOPS 8209569 HAS SOUS 1341603 HAS SOUPS 477290 WITH SCORE 493826.768
AT ITER 7556 NEW BEST:: SOT 19636953 SOS 16536742 HAS SOPS 8209823 HAS SOUS 1341531 HAS SOUPS 477274 WITH SCORE 493810.742
AT ITER 7566 NEW BEST:: SOT 19636751 SOS 16536338 HAS SOPS 8209419 HAS SOUS 1341329 HAS SOUPS 477072 WITH SCORE 493608.338
AT ITER 7570 NEW BEST:: SOT 19635153 SOS 16532693 HAS SOPS 8208019 HAS SOUS 1340675 HAS SOUPS 476867 WITH SCORE 493399.69299999997
AT ITER 7582 NEW BEST:: SOT 19634534 SOS 16531995 HAS SOPS 8207321 HAS SOUS 1340390 HAS SOUPS 476582 WITH SCORE 493113.995
AT ITER 7640 NEW BEST:: SOT 19634534 SOS 16531995 HAS SOPS 8207321 HAS SOUS 1340334 HAS SOUPS 476526 WITH SCORE 493057.995
AT ITER 7648 NEW BEST:: SOT 19633362 SOS 16529651 HAS SOPS 8204977 HAS SOUS 1339920 HAS SOUPS 476112 WITH SCORE 492641.651
AT ITER 7686 NEW BEST:: SOT 19627217 SOS 16521171 HAS SOPS 8200643 HAS SOUS 1339390 HAS SOUPS 475738 WITH SCORE 492259.171
AT ITER 7693 NEW BEST:: SOT 19627298 SOS 16518925 HAS SOPS 8199257 HAS SOUS 1339384 HAS SOUPS 475732 WITH SCORE 492250.925
AT ITER 7699 NEW BEST:: SOT 19627126 SOS 16519038 HAS SOPS 8197789 HAS SOUS 1339178 HAS SOUPS 475167 WITH SCORE 491686.038
AT ITER 7701 NEW BEST:: SOT 19627884 SOS 16520827 HAS SOPS 8199578 HAS SOUS 1339117 HAS SOUPS 475106 WITH SCORE 491626.827
AT ITER 7710 NEW BEST:: SOT 19627902 SOS 16520359 HAS SOPS 8199290 HAS SOUS 1339117 HAS SOUPS 475106 WITH SCORE 491626.359
AT ITER 7733 NEW BEST:: SOT 19628031 SOS 16520617 HAS SOPS 8199548 HAS SOUS 1339079 HAS SOUPS 475068 WITH SCORE 491588.617
AT ITER 7759 NEW BEST:: SOT 19628031 SOS 16520617 HAS SOPS 8199548 HAS SOUS 1338869 HAS SOUPS 474858 WITH SCORE 491378.617
AT ITER 7760 NEW BEST:: SOT 19628003 SOS 16520633 HAS SOPS 8199524 HAS SOUS 1338853 HAS SOUPS 474842 WITH SCORE 491362.63300000003
AT ITER 7763 NEW BEST:: SOT 19627926 SOS 16520479 HAS SOPS 8199370 HAS SOUS 1338699 HAS SOUPS 474688 WITH SCORE 491208.479
AT ITER 7776 NEW BEST:: SOT 19627926 SOS 16520479 HAS SOPS 8199370 HAS SOUS 1338603 HAS SOUPS 474592 WITH SCORE 491112.479
AT ITER 7786 NEW BEST:: SOT 19628309 SOS 16515421 HAS SOPS 8197432 HAS SOUS 1338341 HAS SOUPS 474538 WITH SCORE 491053.421
AT ITER 7800 NEW BEST:: SOT 19628146 SOS 16515095 HAS SOPS 8197106 HAS SOUS 1338015 HAS SOUPS 474212 WITH SCORE 490727.095
AT ITER 7814 NEW BEST:: SOT 19628146 SOS 16515095 HAS SOPS 8197106 HAS SOUS 1337797 HAS SOUPS 473994 WITH SCORE 490509.095
AT ITER 7831 NEW BEST:: SOT 19628146 SOS 16515095 HAS SOPS 8197106 HAS SOUS 1337727 HAS SOUPS 473924 WITH SCORE 490439.095
AT ITER 7846 NEW BEST:: SOT 19628113 SOS 16515029 HAS SOPS 8197040 HAS SOUS 1337694 HAS SOUPS 473891 WITH SCORE 490406.029
AT ITER 7879 NEW BEST:: SOT 19627753 SOS 16513069 HAS SOPS 8196840 HAS SOUS 1336982 HAS SOUPS 473531 WITH SCORE 490044.069
AT ITER 7913 NEW BEST:: SOT 19627204 SOS 16511783 HAS SOPS 8196494 HAS SOUS 1336652 HAS SOUPS 473389 WITH SCORE 489900.783
AT ITER 7954 NEW BEST:: SOT 19626722 SOS 16509449 HAS SOPS 8196290 HAS SOUS 1335472 HAS SOUPS 472635 WITH SCORE 489144.449
AT ITER 7957 NEW BEST:: SOT 19625664 SOS 16507098 HAS SOPS 8195114 HAS SOUS 1334735 HAS SOUPS 472133 WITH SCORE 488640.098
AT ITER 7959 NEW BEST:: SOT 19625707 SOS 16507184 HAS SOPS 8194520 HAS SOUS 1334864 HAS SOUPS 472126 WITH SCORE 488633.184
AT ITER 7966 NEW BEST:: SOT 19627420 SOS 16509281 HAS SOPS 8195465 HAS SOUS 1334849 HAS SOUPS 472111 WITH SCORE 488620.281
AT ITER 7973 NEW BEST:: SOT 19627420 SOS 16509281 HAS SOPS 8195465 HAS SOUS 1334801 HAS SOUPS 472063 WITH SCORE 488572.281
AT ITER 7980 NEW BEST:: SOT 19627420 SOS 16508326 HAS SOPS 8195670 HAS SOUS 1334345 HAS SOUPS 471839 WITH SCORE 488347.326
AT ITER 7987 NEW BEST:: SOT 19627574 SOS 16426509 HAS SOPS 8196356 HAS SOUS 1333732 HAS SOUPS 471552 WITH SCORE 487978.509
AT ITER 7997 NEW BEST:: SOT 19627504 SOS 16426404 HAS SOPS 8196041 HAS SOUS 1333644 HAS SOUPS 471429 WITH SCORE 487855.404
AT ITER 7999 NEW BEST:: SOT 19627504 SOS 16426404 HAS SOPS 8196041 HAS SOUS 1333638 HAS SOUPS 471423 WITH SCORE 487849.404
AT ITER 8010 NEW BEST:: SOT 19627504 SOS 16426404 HAS SOPS 8196041 HAS SOUS 1333228 HAS SOUPS 471013 WITH SCORE 487439.404
AT ITER 8039 NEW BEST:: SOT 19627504 SOS 16426534 HAS SOPS 8196041 HAS SOUS 1333228 HAS SOUPS 470987 WITH SCORE 487413.534
AT ITER 8047 NEW BEST:: SOT 19627406 SOS 16426088 HAS SOPS 8195845 HAS SOUS 1333030 HAS SOUPS 470839 WITH SCORE 487265.088
AT ITER 8095 NEW BEST:: SOT 19627907 SOS 16489637 HAS SOPS 8190850 HAS SOUS 1332790 HAS SOUPS 470599 WITH SCORE 487088.637
AT ITER 8116 NEW BEST:: SOT 19627907 SOS 16489637 HAS SOPS 8190850 HAS SOUS 1332772 HAS SOUPS 470581 WITH SCORE 487070.637
AT ITER 8130 NEW BEST:: SOT 19627464 SOS 16488650 HAS SOPS 8190368 HAS SOUS 1332573 HAS SOUPS 470483 WITH SCORE 486971.65
AT ITER 8131 NEW BEST:: SOT 19628656 SOS 16490218 HAS SOPS 8191324 HAS SOUS 1332557 HAS SOUPS 470467 WITH SCORE 486957.218
AT ITER 8135 NEW BEST:: SOT 19628656 SOS 16490218 HAS SOPS 8191324 HAS SOUS 1332533 HAS SOUPS 470443 WITH SCORE 486933.218
AT ITER 8169 NEW BEST:: SOT 19627470 SOS 16487252 HAS SOPS 8191328 HAS SOUS 1331807 HAS SOUPS 470311 WITH SCORE 486798.252
AT ITER 8193 NEW BEST:: SOT 19626639 SOS 16493847 HAS SOPS 8194333 HAS SOUS 1331451 HAS SOUPS 469955 WITH SCORE 486448.847
AT ITER 8200 NEW BEST:: SOT 19626429 SOS 16493732 HAS SOPS 8193913 HAS SOUS 1330936 HAS SOUPS 469440 WITH SCORE 485933.732
AT ITER 8203 NEW BEST:: SOT 19626437 SOS 16492708 HAS SOPS 8193929 HAS SOUS 1330644 HAS SOUPS 469356 WITH SCORE 485848.708
AT ITER 8211 NEW BEST:: SOT 19626383 SOS 16492309 HAS SOPS 8194250 HAS SOUS 1330482 HAS SOUPS 469323 WITH SCORE 485815.309
AT ITER 8212 NEW BEST:: SOT 19626383 SOS 16492309 HAS SOPS 8194250 HAS SOUS 1330480 HAS SOUPS 469321 WITH SCORE 485813.309
AT ITER 8217 NEW BEST:: SOT 19626191 SOS 16491925 HAS SOPS 8193866 HAS SOUS 1330096 HAS SOUPS 468937 WITH SCORE 485428.925
AT ITER 8240 NEW BEST:: SOT 19626173 SOS 16491889 HAS SOPS 8193866 HAS SOUS 1330078 HAS SOUPS 468937 WITH SCORE 485428.889
AT ITER 8241 NEW BEST:: SOT 19624363 SOS 16484382 HAS SOPS 8189908 HAS SOUS 1329789 HAS SOUPS 468817 WITH SCORE 485301.382
AT ITER 8275 NEW BEST:: SOT 19625532 SOS 16466453 HAS SOPS 8179419 HAS SOUS 1328950 HAS SOUPS 467978 WITH SCORE 484444.453
AT ITER 8282 NEW BEST:: SOT 19624756 SOS 16464373 HAS SOPS 8179979 HAS SOUS 1328319 HAS SOUPS 467875 WITH SCORE 484339.373
AT ITER 8285 NEW BEST:: SOT 19624736 SOS 16464333 HAS SOPS 8179939 HAS SOUS 1328293 HAS SOUPS 467849 WITH SCORE 484313.333
AT ITER 8301 NEW BEST:: SOT 19624583 SOS 16463587 HAS SOPS 8180313 HAS SOUS 1327893 HAS SOUPS 467673 WITH SCORE 484136.587
AT ITER 8303 NEW BEST:: SOT 19624789 SOS 16464102 HAS SOPS 8180313 HAS SOUS 1327704 HAS SOUPS 467381 WITH SCORE 483845.102
AT ITER 8323 NEW BEST:: SOT 19624373 SOS 16463166 HAS SOPS 8179897 HAS SOUS 1327600 HAS SOUPS 467381 WITH SCORE 483844.166
AT ITER 8395 NEW BEST:: SOT 19624965 SOS 16464498 HAS SOPS 8180489 HAS SOUS 1327742 HAS SOUPS 467375 WITH SCORE 483839.498
AT ITER 8403 NEW BEST:: SOT 19624267 SOS 16462804 HAS SOPS 8180285 HAS SOUS 1327436 HAS SOUPS 467367 WITH SCORE 483829.804
AT ITER 8406 NEW BEST:: SOT 19624267 SOS 16462804 HAS SOPS 8180285 HAS SOUS 1327281 HAS SOUPS 467212 WITH SCORE 483674.804
AT ITER 8412 NEW BEST:: SOT 19624267 SOS 16462804 HAS SOPS 8180285 HAS SOUS 1327093 HAS SOUPS 467024 WITH SCORE 483486.804
AT ITER 8422 NEW BEST:: SOT 19623995 SOS 16462532 HAS SOPS 8180013 HAS SOUS 1327025 HAS SOUPS 466956 WITH SCORE 483418.532
AT ITER 8438 NEW BEST:: SOT 19622729 SOS 16459600 HAS SOPS 8179081 HAS SOUS 1326197 HAS SOUPS 466528 WITH SCORE 482987.6
AT ITER 8462 NEW BEST:: SOT 19622725 SOS 16459592 HAS SOPS 8180613 HAS SOUS 1325881 HAS SOUPS 466520 WITH SCORE 482979.592
AT ITER 8478 NEW BEST:: SOT 19622559 SOS 16459260 HAS SOPS 8181351 HAS SOUS 1325540 HAS SOUPS 466393 WITH SCORE 482852.26
AT ITER 8489 NEW BEST:: SOT 19622559 SOS 16459260 HAS SOPS 8181351 HAS SOUS 1325310 HAS SOUPS 466163 WITH SCORE 482622.26
AT ITER 8502 NEW BEST:: SOT 19622524 SOS 16459225 HAS SOPS 8181316 HAS SOUS 1325275 HAS SOUPS 466128 WITH SCORE 482587.225
AT ITER 8523 NEW BEST:: SOT 19621413 SOS 16461158 HAS SOPS 8181399 HAS SOUS 1324903 HAS SOUPS 465756 WITH SCORE 482217.158
AT ITER 8566 NEW BEST:: SOT 19624936 SOS 16466174 HAS SOPS 8183912 HAS SOUS 1324796 HAS SOUPS 465649 WITH SCORE 482115.174
AT ITER 8609 NEW BEST:: SOT 19624232 SOS 16464590 HAS SOPS 8183208 HAS SOUS 1324268 HAS SOUPS 465297 WITH SCORE 481761.59
AT ITER 8627 NEW BEST:: SOT 19623497 SOS 16465535 HAS SOPS 8183103 HAS SOUS 1324058 HAS SOUPS 465087 WITH SCORE 481552.535
AT ITER 8634 NEW BEST:: SOT 19625189 SOS 16467932 HAS SOPS 8183949 HAS SOUS 1323917 HAS SOUPS 464805 WITH SCORE 481272.93200000003
AT ITER 8650 NEW BEST:: SOT 19632987 SOS 16474080 HAS SOPS 8190802 HAS SOUS 1323529 HAS SOUPS 464662 WITH SCORE 481136.08
AT ITER 8686 NEW BEST:: SOT 19631920 SOS 16474556 HAS SOPS 8189828 HAS SOUS 1322650 HAS SOUPS 463783 WITH SCORE 480257.556
AT ITER 8726 NEW BEST:: SOT 19631920 SOS 16474556 HAS SOPS 8189828 HAS SOUS 1322616 HAS SOUPS 463749 WITH SCORE 480223.556
AT ITER 8778 NEW BEST:: SOT 19631734 SOS 16473449 HAS SOPS 8188721 HAS SOUS 1322357 HAS SOUPS 463490 WITH SCORE 479963.449
AT ITER 8782 NEW BEST:: SOT 19631495 SOS 16472971 HAS SOPS 8188243 HAS SOUS 1322144 HAS SOUPS 463277 WITH SCORE 479749.971
AT ITER 8783 NEW BEST:: SOT 19631221 SOS 16472523 HAS SOPS 8188116 HAS SOUS 1321960 HAS SOUPS 463177 WITH SCORE 479649.523
AT ITER 8792 NEW BEST:: SOT 19631799 SOS 16473857 HAS SOPS 8188560 HAS SOUS 1322090 HAS SOUPS 463129 WITH SCORE 479602.857
AT ITER 8807 NEW BEST:: SOT 19631728 SOS 16473640 HAS SOPS 8188343 HAS SOUS 1321873 HAS SOUPS 462912 WITH SCORE 479385.64
AT ITER 8808 NEW BEST:: SOT 19631728 SOS 16473640 HAS SOPS 8188343 HAS SOUS 1321713 HAS SOUPS 462752 WITH SCORE 479225.64
AT ITER 8824 NEW BEST:: SOT 19629905 SOS 16484133 HAS SOPS 8191666 HAS SOUS 1321851 HAS SOUPS 462412 WITH SCORE 478896.13300000003
AT ITER 8843 NEW BEST:: SOT 19628713 SOS 16481398 HAS SOPS 8190686 HAS SOUS 1321262 HAS SOUPS 462174 WITH SCORE 478655.398
AT ITER 8866 NEW BEST:: SOT 19630047 SOS 16482856 HAS SOPS 8191484 HAS SOUS 1321166 HAS SOUPS 462078 WITH SCORE 478560.856
AT ITER 8869 NEW BEST:: SOT 19629556 SOS 16481039 HAS SOPS 8189667 HAS SOUS 1320990 HAS SOUPS 461902 WITH SCORE 478383.039
AT ITER 8916 NEW BEST:: SOT 19628427 SOS 16478504 HAS SOPS 8188517 HAS SOUS 1320261 HAS SOUPS 461450 WITH SCORE 477928.504
AT ITER 8938 NEW BEST:: SOT 19628201 SOS 16480356 HAS SOPS 8188929 HAS SOUS 1320053 HAS SOUPS 461146 WITH SCORE 477626.356
AT ITER 8940 NEW BEST:: SOT 19628198 SOS 16480350 HAS SOPS 8188923 HAS SOUS 1320047 HAS SOUPS 461140 WITH SCORE 477620.35
AT ITER 8998 NEW BEST:: SOT 19628198 SOS 16480350 HAS SOPS 8188923 HAS SOUS 1319801 HAS SOUPS 460894 WITH SCORE 477374.35
AT ITER 9035 NEW BEST:: SOT 19628164 SOS 16480208 HAS SOPS 8188781 HAS SOUS 1319767 HAS SOUPS 460860 WITH SCORE 477340.208
AT ITER 9038 NEW BEST:: SOT 19628104 SOS 16479959 HAS SOPS 8189177 HAS SOUS 1319623 HAS SOUPS 460845 WITH SCORE 477324.959
AT ITER 9041 NEW BEST:: SOT 19628025 SOS 16479801 HAS SOPS 8189019 HAS SOUS 1319530 HAS SOUPS 460752 WITH SCORE 477231.801
AT ITER 9078 NEW BEST:: SOT 19628149 SOS 16461816 HAS SOPS 8189032 HAS SOUS 1319522 HAS SOUPS 460744 WITH SCORE 477205.816
AT ITER 9080 NEW BEST:: SOT 19628147 SOS 16461812 HAS SOPS 8189028 HAS SOUS 1319520 HAS SOUPS 460742 WITH SCORE 477203.812
AT ITER 9081 NEW BEST:: SOT 19627283 SOS 16464499 HAS SOPS 8190894 HAS SOUS 1319294 HAS SOUPS 460697 WITH SCORE 477161.499
AT ITER 9114 NEW BEST:: SOT 19627206 SOS 16465185 HAS SOPS 8191140 HAS SOUS 1319217 HAS SOUPS 460620 WITH SCORE 477085.185
AT ITER 9120 NEW BEST:: SOT 19627144 SOS 16464906 HAS SOPS 8190861 HAS SOUS 1319155 HAS SOUPS 460558 WITH SCORE 477022.906
AT ITER 9131 NEW BEST:: SOT 19626970 SOS 16464558 HAS SOPS 8193248 HAS SOUS 1318434 HAS SOUPS 460384 WITH SCORE 476848.558
AT ITER 9142 NEW BEST:: SOT 19626910 SOS 16464438 HAS SOPS 8193128 HAS SOUS 1318382 HAS SOUPS 460332 WITH SCORE 476796.438
AT ITER 9170 NEW BEST:: SOT 19626724 SOS 16464066 HAS SOPS 8192756 HAS SOUS 1318161 HAS SOUPS 460111 WITH SCORE 476575.066
AT ITER 9184 NEW BEST:: SOT 19626713 SOS 16464044 HAS SOPS 8192734 HAS SOUS 1318139 HAS SOUPS 460089 WITH SCORE 476553.044
AT ITER 9207 NEW BEST:: SOT 19626713 SOS 16464044 HAS SOPS 8192734 HAS SOUS 1318087 HAS SOUPS 460037 WITH SCORE 476501.044
AT ITER 9211 NEW BEST:: SOT 19626713 SOS 16463976 HAS SOPS 8192666 HAS SOUS 1318053 HAS SOUPS 460003 WITH SCORE 476466.976
AT ITER 9226 NEW BEST:: SOT 19626713 SOS 16463976 HAS SOPS 8192666 HAS SOUS 1318027 HAS SOUPS 459977 WITH SCORE 476440.976
AT ITER 9243 NEW BEST:: SOT 19625504 SOS 16467861 HAS SOPS 8193191 HAS SOUS 1317538 HAS SOUPS 459488 WITH SCORE 475955.861
AT ITER 9263 NEW BEST:: SOT 19625504 SOS 16467861 HAS SOPS 8193191 HAS SOUS 1317512 HAS SOUPS 459462 WITH SCORE 475929.861
AT ITER 9268 NEW BEST:: SOT 19622626 SOS 16464305 HAS SOPS 8191285 HAS SOUS 1317403 HAS SOUPS 459353 WITH SCORE 475817.305
AT ITER 9271 NEW BEST:: SOT 19622551 SOS 16463930 HAS SOPS 8191285 HAS SOUS 1317253 HAS SOUPS 459278 WITH SCORE 475741.93
AT ITER 9303 NEW BEST:: SOT 19623315 SOS 16463930 HAS SOPS 8191285 HAS SOUS 1316619 HAS SOUPS 458644 WITH SCORE 475107.93
AT ITER 9326 NEW BEST:: SOT 19624441 SOS 16466580 HAS SOPS 8191945 HAS SOUS 1316233 HAS SOUPS 457860 WITH SCORE 474326.58
AT ITER 9333 NEW BEST:: SOT 19624441 SOS 16466580 HAS SOPS 8191945 HAS SOUS 1316215 HAS SOUPS 457842 WITH SCORE 474308.58
AT ITER 9340 NEW BEST:: SOT 19615097 SOS 16453005 HAS SOPS 8186510 HAS SOUS 1315307 HAS SOUPS 457674 WITH SCORE 474127.005
AT ITER 9343 NEW BEST:: SOT 19615203 SOS 16452157 HAS SOPS 8185662 HAS SOUS 1314802 HAS SOUPS 457169 WITH SCORE 473621.157
AT ITER 9361 NEW BEST:: SOT 19615203 SOS 16452157 HAS SOPS 8185662 HAS SOUS 1314590 HAS SOUPS 456957 WITH SCORE 473409.157
AT ITER 9418 NEW BEST:: SOT 19614321 SOS 16450246 HAS SOPS 8183751 HAS SOUS 1314002 HAS SOUPS 456369 WITH SCORE 472819.246
AT ITER 9421 NEW BEST:: SOT 19614321 SOS 16450246 HAS SOPS 8183751 HAS SOUS 1313906 HAS SOUPS 456273 WITH SCORE 472723.246
AT ITER 9449 NEW BEST:: SOT 19614321 SOS 16450246 HAS SOPS 8183751 HAS SOUS 1313718 HAS SOUPS 456085 WITH SCORE 472535.246
AT ITER 9454 NEW BEST:: SOT 19612876 SOS 16454650 HAS SOPS 8184810 HAS SOUS 1313431 HAS SOUPS 455575 WITH SCORE 472029.65
AT ITER 9467 NEW BEST:: SOT 19612876 SOS 16454650 HAS SOPS 8184810 HAS SOUS 1313422 HAS SOUPS 455570 WITH SCORE 472024.65
AT ITER 9527 NEW BEST:: SOT 19612586 SOS 16454010 HAS SOPS 8184470 HAS SOUS 1313252 HAS SOUPS 455460 WITH SCORE 471914.01
AT ITER 9541 NEW BEST:: SOT 19612334 SOS 16451946 HAS SOPS 8184226 HAS SOUS 1312636 HAS SOUPS 455208 WITH SCORE 471659.946
AT ITER 9548 NEW BEST:: SOT 19612334 SOS 16451946 HAS SOPS 8184226 HAS SOUS 1312396 HAS SOUPS 454968 WITH SCORE 471419.946
AT ITER 9556 NEW BEST:: SOT 19612334 SOS 16451946 HAS SOPS 8184226 HAS SOUS 1312345 HAS SOUPS 454917 WITH SCORE 471368.946
AT ITER 9561 NEW BEST:: SOT 19612334 SOS 16451946 HAS SOPS 8184226 HAS SOUS 1312263 HAS SOUPS 454835 WITH SCORE 471286.946
AT ITER 9571 NEW BEST:: SOT 19611574 SOS 16450562 HAS SOPS 8183778 HAS SOUS 1312005 HAS SOUPS 454733 WITH SCORE 471183.562
AT ITER 9576 NEW BEST:: SOT 19611574 SOS 16450562 HAS SOPS 8183553 HAS SOUS 1311979 HAS SOUPS 454662 WITH SCORE 471112.562
AT ITER 9582 NEW BEST:: SOT 19611673 SOS 16450760 HAS SOPS 8183751 HAS SOUS 1311914 HAS SOUPS 454597 WITH SCORE 471047.76
AT ITER 9598 NEW BEST:: SOT 19611054 SOS 16414985 HAS SOPS 8185272 HAS SOUS 1311809 HAS SOUPS 454492 WITH SCORE 470906.985
AT ITER 9606 NEW BEST:: SOT 19611054 SOS 16414985 HAS SOPS 8185272 HAS SOUS 1311563 HAS SOUPS 454246 WITH SCORE 470660.985
AT ITER 9608 NEW BEST:: SOT 19611054 SOS 16414985 HAS SOPS 8185272 HAS SOUS 1311367 HAS SOUPS 454050 WITH SCORE 470464.985
AT ITER 9625 NEW BEST:: SOT 19611543 SOS 16415679 HAS SOPS 8185515 HAS SOUS 1311405 HAS SOUPS 454047 WITH SCORE 470462.679
AT ITER 9630 NEW BEST:: SOT 19611543 SOS 16415679 HAS SOPS 8185515 HAS SOUS 1311165 HAS SOUPS 453807 WITH SCORE 470222.679
AT ITER 9645 NEW BEST:: SOT 19611543 SOS 16415679 HAS SOPS 8185515 HAS SOUS 1311135 HAS SOUPS 453777 WITH SCORE 470192.679
AT ITER 9660 NEW BEST:: SOT 19611522 SOS 16415082 HAS SOPS 8185473 HAS SOUS 1311003 HAS SOUPS 453756 WITH SCORE 470171.082
AT ITER 9679 NEW BEST:: SOT 19611312 SOS 16416077 HAS SOPS 8185768 HAS SOUS 1310809 HAS SOUPS 453562 WITH SCORE 469978.077
AT ITER 9695 NEW BEST:: SOT 19611222 SOS 16415897 HAS SOPS 8185588 HAS SOUS 1310600 HAS SOUPS 453353 WITH SCORE 469768.897
AT ITER 9723 NEW BEST:: SOT 19610551 SOS 16415055 HAS SOPS 8184746 HAS SOUS 1310304 HAS SOUPS 453057 WITH SCORE 469472.055
AT ITER 9750 NEW BEST:: SOT 19610491 SOS 16414920 HAS SOPS 8184686 HAS SOUS 1310274 HAS SOUPS 453042 WITH SCORE 469456.92
AT ITER 9760 NEW BEST:: SOT 19610177 SOS 16413097 HAS SOPS 8181723 HAS SOUS 1310411 HAS SOUPS 452989 WITH SCORE 469402.097
AT ITER 9784 NEW BEST:: SOT 19609840 SOS 16403474 HAS SOPS 8176915 HAS SOUS 1310074 HAS SOUPS 452973 WITH SCORE 469376.474
AT ITER 9792 NEW BEST:: SOT 19609840 SOS 16403474 HAS SOPS 8176915 HAS SOUS 1310046 HAS SOUPS 452945 WITH SCORE 469348.474
AT ITER 9805 NEW BEST:: SOT 19609840 SOS 16402979 HAS SOPS 8176915 HAS SOUS 1309848 HAS SOUPS 452846 WITH SCORE 469248.979
AT ITER 9848 NEW BEST:: SOT 19609840 SOS 16401824 HAS SOPS 8177720 HAS SOUS 1309445 HAS SOUPS 452835 WITH SCORE 469236.824
AT ITER 9906 NEW BEST:: SOT 19609714 SOS 16401257 HAS SOPS 8177153 HAS SOUS 1309255 HAS SOUPS 452645 WITH SCORE 469046.257
AT ITER 9908 NEW BEST:: SOT 19609714 SOS 16401257 HAS SOPS 8177153 HAS SOUS 1309197 HAS SOUPS 452587 WITH SCORE 468988.257
AT ITER 9918 NEW BEST:: SOT 19609657 SOS 16402344 HAS SOPS 8176810 HAS SOUS 1309140 HAS SOUPS 452244 WITH SCORE 468646.344
AT ITER 9949 NEW BEST:: SOT 19610239 SOS 16402888 HAS SOPS 8177354 HAS SOUS 1309104 HAS SOUPS 452208 WITH SCORE 468610.888
AT ITER 9968 NEW BEST:: SOT 19610139 SOS 16403143 HAS SOPS 8177309 HAS SOUS 1309123 HAS SOUPS 452207 WITH SCORE 468610.143
AT ITER 9970 NEW BEST:: SOT 19609816 SOS 16400917 HAS SOPS 8175083 HAS SOUS 1308853 HAS SOUPS 451937 WITH SCORE 468337.917
AT ITER 9977 NEW BEST:: SOT 19608384 SOS 16399175 HAS SOPS 8173341 HAS SOUS 1308337 HAS SOUPS 451421 WITH SCORE 467820.175
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 151120 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16293024 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is DLCshifumi-PT-5a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484700848"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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