About the Execution of Smart for DLCshifumi-PT-5a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
16200.407 | 3600000.00 | 3597921.00 | 2869.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r099-tall-167814473000848.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DLCshifumi-PT-5a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814473000848
=====================================================================
--------------------
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 1678267450716
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCshifumi-PT-5a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 5a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 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 24 NEW BEST:: SOT 20143127 SOS 16666162 HAS SOPS 8343389 HAS SOUS 1610274 HAS SOUPS 720322 WITH SCORE 736988.162
AT ITER 28 NEW BEST:: SOT 20141510 SOS 16685268 HAS SOPS 8350780 HAS SOUS 1609481 HAS SOUPS 718748 WITH SCORE 735433.268
AT ITER 38 NEW BEST:: SOT 20139932 SOS 16688624 HAS SOPS 8348826 HAS SOUS 1609110 HAS SOUPS 718023 WITH SCORE 734711.624
AT ITER 42 NEW BEST:: SOT 20139759 SOS 16687559 HAS SOPS 8351356 HAS SOUS 1608327 HAS SOUPS 717959 WITH SCORE 734646.559
AT ITER 56 NEW BEST:: SOT 20137049 SOS 16693050 HAS SOPS 8351977 HAS SOUS 1606390 HAS SOUPS 716022 WITH SCORE 732715.05
AT ITER 70 NEW BEST:: SOT 20135445 SOS 16697639 HAS SOPS 8351106 HAS SOUS 1605920 HAS SOUPS 715188 WITH SCORE 731885.639
AT ITER 81 NEW BEST:: SOT 20131842 SOS 16708685 HAS SOPS 8355012 HAS SOUS 1603961 HAS SOUPS 713229 WITH SCORE 729937.685
AT ITER 105 NEW BEST:: SOT 20131842 SOS 16708685 HAS SOPS 8355012 HAS SOUS 1603715 HAS SOUPS 712983 WITH SCORE 729691.685
AT ITER 106 NEW BEST:: SOT 20131842 SOS 16708685 HAS SOPS 8355012 HAS SOUS 1603469 HAS SOUPS 712737 WITH SCORE 729445.685
AT ITER 118 NEW BEST:: SOT 20131842 SOS 16708685 HAS SOPS 8355012 HAS SOUS 1603297 HAS SOUPS 712565 WITH SCORE 729273.685
AT ITER 122 NEW BEST:: SOT 20131538 SOS 16707637 HAS SOPS 8356164 HAS SOUS 1602691 HAS SOUPS 712399 WITH SCORE 729106.637
AT ITER 125 NEW BEST:: SOT 20129797 SOS 16709213 HAS SOPS 8353525 HAS SOUS 1601487 HAS SOUPS 710914 WITH SCORE 727623.213
AT ITER 131 NEW BEST:: SOT 20129541 SOS 16708573 HAS SOPS 8352885 HAS SOUS 1601231 HAS SOUPS 710658 WITH SCORE 727366.573
AT ITER 149 NEW BEST:: SOT 20129199 SOS 16707718 HAS SOPS 8352030 HAS SOUS 1600889 HAS SOUPS 710316 WITH SCORE 727023.718
AT ITER 151 NEW BEST:: SOT 20128336 SOS 16708975 HAS SOPS 8350932 HAS SOUS 1600379 HAS SOUPS 709649 WITH SCORE 726357.975
AT ITER 154 NEW BEST:: SOT 20126746 SOS 16710850 HAS SOPS 8348757 HAS SOUS 1599339 HAS SOUPS 708339 WITH SCORE 725049.85
AT ITER 156 NEW BEST:: SOT 20126695 SOS 16710748 HAS SOPS 8348900 HAS SOUS 1599214 HAS SOUPS 708263 WITH SCORE 724973.748
AT ITER 171 NEW BEST:: SOT 20126070 SOS 16709498 HAS SOPS 8349885 HAS SOUS 1597830 HAS SOUPS 707326 WITH SCORE 724035.498
AT ITER 185 NEW BEST:: SOT 20122645 SOS 16717479 HAS SOPS 8351396 HAS SOUS 1595308 HAS SOUPS 704804 WITH SCORE 721521.479
AT ITER 193 NEW BEST:: SOT 20119385 SOS 16724706 HAS SOPS 8352533 HAS SOUS 1592886 HAS SOUPS 702382 WITH SCORE 719106.706
AT ITER 229 NEW BEST:: SOT 20119141 SOS 16724096 HAS SOPS 8351923 HAS SOUS 1592642 HAS SOUPS 702138 WITH SCORE 718862.096
AT ITER 234 NEW BEST:: SOT 20115850 SOS 16734415 HAS SOPS 8355222 HAS SOUS 1590138 HAS SOUPS 699634 WITH SCORE 716368.415
AT ITER 237 NEW BEST:: SOT 20115573 SOS 16733861 HAS SOPS 8356053 HAS SOUS 1589584 HAS SOUPS 699357 WITH SCORE 716090.861
AT ITER 243 NEW BEST:: SOT 20115015 SOS 16732745 HAS SOPS 8356332 HAS SOUS 1588468 HAS SOUPS 698520 WITH SCORE 715252.745
AT ITER 276 NEW BEST:: SOT 20114865 SOS 16732445 HAS SOPS 8356407 HAS SOUS 1588168 HAS SOUPS 698295 WITH SCORE 715027.445
AT ITER 282 NEW BEST:: SOT 20111694 SOS 16745508 HAS SOPS 8361470 HAS SOUS 1586300 HAS SOUPS 696427 WITH SCORE 713172.508
AT ITER 290 NEW BEST:: SOT 20111606 SOS 16745288 HAS SOPS 8361250 HAS SOUS 1586212 HAS SOUPS 696339 WITH SCORE 713084.288
AT ITER 291 NEW BEST:: SOT 20108715 SOS 16749896 HAS SOPS 8361108 HAS SOUS 1583764 HAS SOUPS 693891 WITH SCORE 710640.896
AT ITER 326 NEW BEST:: SOT 20108715 SOS 16749896 HAS SOPS 8361108 HAS SOUS 1583742 HAS SOUPS 693869 WITH SCORE 710618.896
AT ITER 351 NEW BEST:: SOT 20107027 SOS 16746172 HAS SOPS 8359124 HAS SOUS 1582402 HAS SOUPS 692877 WITH SCORE 709623.172
AT ITER 373 NEW BEST:: SOT 20106819 SOS 16745306 HAS SOPS 8360508 HAS SOUS 1581744 HAS SOUPS 692669 WITH SCORE 709414.306
AT ITER 374 NEW BEST:: SOT 20106819 SOS 16745306 HAS SOPS 8360508 HAS SOUS 1581574 HAS SOUPS 692499 WITH SCORE 709244.306
AT ITER 386 NEW BEST:: SOT 20106819 SOS 16745306 HAS SOPS 8360508 HAS SOUS 1581436 HAS SOUPS 692361 WITH SCORE 709106.306
AT ITER 405 NEW BEST:: SOT 20106819 SOS 16745306 HAS SOPS 8360508 HAS SOUS 1581390 HAS SOUPS 692315 WITH SCORE 709060.306
AT ITER 423 NEW BEST:: SOT 20106558 SOS 16744359 HAS SOPS 8361686 HAS SOUS 1580839 HAS SOUPS 692189 WITH SCORE 708933.359
AT ITER 426 NEW BEST:: SOT 20105925 SOS 16743093 HAS SOPS 8362550 HAS SOUS 1579464 HAS SOUPS 691240 WITH SCORE 707983.093
AT ITER 431 NEW BEST:: SOT 20105774 SOS 16742791 HAS SOPS 8362248 HAS SOUS 1579313 HAS SOUPS 691089 WITH SCORE 707831.791
AT ITER 452 NEW BEST:: SOT 20105774 SOS 16742791 HAS SOPS 8362248 HAS SOUS 1579149 HAS SOUPS 690925 WITH SCORE 707667.791
AT ITER 456 NEW BEST:: SOT 20105251 SOS 16741745 HAS SOPS 8362537 HAS SOUS 1578098 HAS SOUPS 690141 WITH SCORE 706882.745
AT ITER 463 NEW BEST:: SOT 20104994 SOS 16740882 HAS SOPS 8363419 HAS SOUS 1577585 HAS SOUPS 689977 WITH SCORE 706717.882
AT ITER 478 NEW BEST:: SOT 20104994 SOS 16740882 HAS SOPS 8363419 HAS SOUS 1577339 HAS SOUPS 689731 WITH SCORE 706471.882
AT ITER 479 NEW BEST:: SOT 20104994 SOS 16740882 HAS SOPS 8363419 HAS SOUS 1577093 HAS SOUPS 689485 WITH SCORE 706225.882
AT ITER 483 NEW BEST:: SOT 20104556 SOS 16739527 HAS SOPS 8364459 HAS SOUS 1576176 HAS SOUPS 689047 WITH SCORE 705786.527
AT ITER 485 NEW BEST:: SOT 20104364 SOS 16738663 HAS SOPS 8364075 HAS SOUS 1575782 HAS SOUPS 688749 WITH SCORE 705487.663
AT ITER 504 NEW BEST:: SOT 20102144 SOS 16733754 HAS SOPS 8361511 HAS SOUS 1574037 HAS SOUPS 687473 WITH SCORE 704206.754
AT ITER 526 NEW BEST:: SOT 20101914 SOS 16733934 HAS SOPS 8361691 HAS SOUS 1573966 HAS SOUPS 687402 WITH SCORE 704135.934
AT ITER 528 NEW BEST:: SOT 20101574 SOS 16732756 HAS SOPS 8363003 HAS SOUS 1573128 HAS SOUPS 687062 WITH SCORE 703794.756
AT ITER 537 NEW BEST:: SOT 20100818 SOS 16731118 HAS SOPS 8361365 HAS SOUS 1572624 HAS SOUPS 686558 WITH SCORE 703289.118
AT ITER 551 NEW BEST:: SOT 20100253 SOS 16729988 HAS SOPS 8361755 HAS SOUS 1571473 HAS SOUPS 685711 WITH SCORE 702440.988
AT ITER 556 NEW BEST:: SOT 20100137 SOS 16729253 HAS SOPS 8363535 HAS SOUS 1570918 HAS SOUPS 685659 WITH SCORE 702388.253
AT ITER 558 NEW BEST:: SOT 20097216 SOS 16741329 HAS SOPS 8368351 HAS SOUS 1569231 HAS SOUPS 683972 WITH SCORE 700713.329
AT ITER 564 NEW BEST:: SOT 20094440 SOS 16747322 HAS SOPS 8368694 HAS SOUS 1567552 HAS SOUPS 682293 WITH SCORE 699040.322
AT ITER 593 NEW BEST:: SOT 20091974 SOS 16755212 HAS SOPS 8370994 HAS SOUS 1566029 HAS SOUPS 680770 WITH SCORE 697525.212
AT ITER 596 NEW BEST:: SOT 20091274 SOS 16753812 HAS SOPS 8371344 HAS SOUS 1564629 HAS SOUPS 679720 WITH SCORE 696473.812
AT ITER 605 NEW BEST:: SOT 20091127 SOS 16753518 HAS SOPS 8371050 HAS SOUS 1564307 HAS SOUPS 679398 WITH SCORE 696151.518
AT ITER 621 NEW BEST:: SOT 20088527 SOS 16759171 HAS SOPS 8368963 HAS SOUS 1562636 HAS SOUPS 677211 WITH SCORE 693970.171
AT ITER 631 NEW BEST:: SOT 20088251 SOS 16760367 HAS SOPS 8368779 HAS SOUS 1562452 HAS SOUPS 676935 WITH SCORE 693695.367
AT ITER 645 NEW BEST:: SOT 20087594 SOS 16759053 HAS SOPS 8369350 HAS SOUS 1561090 HAS SOUPS 675950 WITH SCORE 692709.053
AT ITER 672 NEW BEST:: SOT 20087594 SOS 16759053 HAS SOPS 8369350 HAS SOUS 1560982 HAS SOUPS 675842 WITH SCORE 692601.053
AT ITER 683 NEW BEST:: SOT 20086888 SOS 16763452 HAS SOPS 8368919 HAS SOUS 1560921 HAS SOUPS 675459 WITH SCORE 692222.452
AT ITER 710 NEW BEST:: SOT 20086036 SOS 16764940 HAS SOPS 8367887 HAS SOUS 1560411 HAS SOUPS 674781 WITH SCORE 691545.94
AT ITER 713 NEW BEST:: SOT 20086036 SOS 16764940 HAS SOPS 8367887 HAS SOUS 1560177 HAS SOUPS 674547 WITH SCORE 691311.94
AT ITER 715 NEW BEST:: SOT 20083323 SOS 16780216 HAS SOPS 8374873 HAS SOUS 1558877 HAS SOUPS 673247 WITH SCORE 690027.216
AT ITER 720 NEW BEST:: SOT 20081884 SOS 16777012 HAS SOPS 8373299 HAS SOUS 1557821 HAS SOUPS 672517 WITH SCORE 689294.012
AT ITER 731 NEW BEST:: SOT 20080993 SOS 16777833 HAS SOPS 8372065 HAS SOUS 1557307 HAS SOUPS 671866 WITH SCORE 688643.833
AT ITER 737 NEW BEST:: SOT 20080993 SOS 16777833 HAS SOPS 8372065 HAS SOUS 1557211 HAS SOUPS 671770 WITH SCORE 688547.833
AT ITER 738 NEW BEST:: SOT 20080993 SOS 16777833 HAS SOPS 8372065 HAS SOUS 1556965 HAS SOUPS 671524 WITH SCORE 688301.833
AT ITER 741 NEW BEST:: SOT 20080708 SOS 16779068 HAS SOPS 8371875 HAS SOUS 1556775 HAS SOUPS 671239 WITH SCORE 688018.068
AT ITER 743 NEW BEST:: SOT 20077756 SOS 16788497 HAS SOPS 8372139 HAS SOUS 1555270 HAS SOUPS 669123 WITH SCORE 685911.497
AT ITER 747 NEW BEST:: SOT 20077630 SOS 16739581 HAS SOPS 8380007 HAS SOUS 1555173 HAS SOUPS 669026 WITH SCORE 685765.581
AT ITER 755 NEW BEST:: SOT 20077630 SOS 16739581 HAS SOPS 8380007 HAS SOUS 1554927 HAS SOUPS 668780 WITH SCORE 685519.581
AT ITER 765 NEW BEST:: SOT 20074565 SOS 16752290 HAS SOPS 8384936 HAS SOUS 1553107 HAS SOUPS 666960 WITH SCORE 683712.29
AT ITER 771 NEW BEST:: SOT 20071984 SOS 16754281 HAS SOPS 8382262 HAS SOUS 1551769 HAS SOUPS 665311 WITH SCORE 682065.281
AT ITER 794 NEW BEST:: SOT 20071554 SOS 16753421 HAS SOPS 8382477 HAS SOUS 1550909 HAS SOUPS 664666 WITH SCORE 681419.421
AT ITER 820 NEW BEST:: SOT 20071554 SOS 16752236 HAS SOPS 8382477 HAS SOUS 1550672 HAS SOUPS 664666 WITH SCORE 681418.236
AT ITER 826 NEW BEST:: SOT 20071554 SOS 16752236 HAS SOPS 8382477 HAS SOUS 1550522 HAS SOUPS 664516 WITH SCORE 681268.236
AT ITER 828 NEW BEST:: SOT 20066509 SOS 16745354 HAS SOPS 8378055 HAS SOUS 1550508 HAS SOUPS 664502 WITH SCORE 681247.354
AT ITER 833 NEW BEST:: SOT 20066080 SOS 16744185 HAS SOPS 8378441 HAS SOUS 1549819 HAS SOUPS 664124 WITH SCORE 680868.185
AT ITER 839 NEW BEST:: SOT 20065810 SOS 16743095 HAS SOPS 8380101 HAS SOUS 1549205 HAS SOUPS 664060 WITH SCORE 680803.095
AT ITER 863 NEW BEST:: SOT 20063682 SOS 16738378 HAS SOPS 8377689 HAS SOUS 1547692 HAS SOUPS 663008 WITH SCORE 679746.378
AT ITER 870 NEW BEST:: SOT 20063394 SOS 16737802 HAS SOPS 8378868 HAS SOUS 1546770 HAS SOUPS 662437 WITH SCORE 679174.802
AT ITER 887 NEW BEST:: SOT 20060418 SOS 16751779 HAS SOPS 8384815 HAS SOUS 1545155 HAS SOUPS 660822 WITH SCORE 677573.779
AT ITER 893 NEW BEST:: SOT 20060016 SOS 16750749 HAS SOPS 8383785 HAS SOUS 1544753 HAS SOUPS 660420 WITH SCORE 677170.749
AT ITER 904 NEW BEST:: SOT 20059576 SOS 16749869 HAS SOPS 8384005 HAS SOUS 1543873 HAS SOUPS 659760 WITH SCORE 676509.869
AT ITER 925 NEW BEST:: SOT 20059535 SOS 16749787 HAS SOPS 8383923 HAS SOUS 1543831 HAS SOUPS 659718 WITH SCORE 676467.787
AT ITER 933 NEW BEST:: SOT 20059152 SOS 16747541 HAS SOPS 8383157 HAS SOUS 1543169 HAS SOUPS 659352 WITH SCORE 676099.541
AT ITER 935 NEW BEST:: SOT 20058257 SOS 16746163 HAS SOPS 8382177 HAS SOUS 1543119 HAS SOUPS 659295 WITH SCORE 676041.163
AT ITER 951 NEW BEST:: SOT 20058183 SOS 16746015 HAS SOPS 8380639 HAS SOUS 1543045 HAS SOUPS 658943 WITH SCORE 675689.015
AT ITER 953 NEW BEST:: SOT 20056307 SOS 16752267 HAS SOPS 8382861 HAS SOUS 1541573 HAS SOUPS 657471 WITH SCORE 674223.267
AT ITER 964 NEW BEST:: SOT 20054179 SOS 16747493 HAS SOPS 8380677 HAS SOUS 1540306 HAS SOUPS 656722 WITH SCORE 673469.493
AT ITER 974 NEW BEST:: SOT 20053664 SOS 16748610 HAS SOPS 8380099 HAS SOUS 1539904 HAS SOUPS 656207 WITH SCORE 672955.61
AT ITER 987 NEW BEST:: SOT 20053664 SOS 16748610 HAS SOPS 8380099 HAS SOUS 1539820 HAS SOUPS 656123 WITH SCORE 672871.61
AT ITER 1005 NEW BEST:: SOT 20053664 SOS 16748610 HAS SOPS 8380099 HAS SOUS 1539574 HAS SOUPS 655877 WITH SCORE 672625.61
AT ITER 1008 NEW BEST:: SOT 20053664 SOS 16748610 HAS SOPS 8380099 HAS SOUS 1539456 HAS SOUPS 655759 WITH SCORE 672507.61
AT ITER 1011 NEW BEST:: SOT 20053274 SOS 16747830 HAS SOPS 8379319 HAS SOUS 1539066 HAS SOUPS 655369 WITH SCORE 672116.83
AT ITER 1012 NEW BEST:: SOT 20053274 SOS 16747830 HAS SOPS 8379319 HAS SOUS 1538942 HAS SOUPS 655245 WITH SCORE 671992.83
AT ITER 1019 NEW BEST:: SOT 20052848 SOS 16748327 HAS SOPS 8378751 HAS SOUS 1538800 HAS SOUPS 655032 WITH SCORE 671780.327
AT ITER 1020 NEW BEST:: SOT 20042579 SOS 16733417 HAS SOPS 8371988 HAS SOUS 1538097 HAS SOUPS 654926 WITH SCORE 671659.417
AT ITER 1030 NEW BEST:: SOT 20040807 SOS 16729430 HAS SOPS 8370216 HAS SOUS 1537037 HAS SOUPS 654309 WITH SCORE 671038.43
AT ITER 1032 NEW BEST:: SOT 20040048 SOS 16729640 HAS SOPS 8369466 HAS SOUS 1536575 HAS SOUPS 653847 WITH SCORE 670576.64
AT ITER 1045 NEW BEST:: SOT 20040048 SOS 16729640 HAS SOPS 8369466 HAS SOUS 1536369 HAS SOUPS 653641 WITH SCORE 670370.64
AT ITER 1046 NEW BEST:: SOT 20040041 SOS 16729626 HAS SOPS 8369417 HAS SOUS 1536362 HAS SOUPS 653627 WITH SCORE 670356.626
AT ITER 1050 NEW BEST:: SOT 20039224 SOS 16727982 HAS SOPS 8367773 HAS SOUS 1535638 HAS SOUPS 652903 WITH SCORE 669630.982
AT ITER 1052 NEW BEST:: SOT 20039100 SOS 16727734 HAS SOPS 8367525 HAS SOUS 1535390 HAS SOUPS 652655 WITH SCORE 669382.734
AT ITER 1073 NEW BEST:: SOT 20038891 SOS 16726241 HAS SOPS 8367807 HAS SOUS 1534885 HAS SOUPS 652505 WITH SCORE 669231.241
AT ITER 1081 NEW BEST:: SOT 20038065 SOS 16728199 HAS SOPS 8366915 HAS SOUS 1534377 HAS SOUPS 651807 WITH SCORE 668535.199
AT ITER 1084 NEW BEST:: SOT 20037312 SOS 16725742 HAS SOPS 8364458 HAS SOUS 1533307 HAS SOUPS 650737 WITH SCORE 667462.742
AT ITER 1094 NEW BEST:: SOT 20037312 SOS 16725412 HAS SOPS 8364458 HAS SOUS 1533241 HAS SOUPS 650737 WITH SCORE 667462.412
AT ITER 1107 NEW BEST:: SOT 20037312 SOS 16725412 HAS SOPS 8364458 HAS SOUS 1533025 HAS SOUPS 650521 WITH SCORE 667246.412
AT ITER 1122 NEW BEST:: SOT 20035069 SOS 16728477 HAS SOPS 8364053 HAS SOUS 1531274 HAS SOUPS 648770 WITH SCORE 665498.477
AT ITER 1139 NEW BEST:: SOT 20033956 SOS 16730193 HAS SOPS 8363579 HAS SOUS 1530826 HAS SOUPS 648322 WITH SCORE 665052.193
AT ITER 1142 NEW BEST:: SOT 20032397 SOS 16739088 HAS SOPS 8367814 HAS SOUS 1530096 HAS SOUPS 647592 WITH SCORE 664331.088
AT ITER 1153 NEW BEST:: SOT 20032133 SOS 16739292 HAS SOPS 8368018 HAS SOUS 1530014 HAS SOUPS 647510 WITH SCORE 664249.292
AT ITER 1166 NEW BEST:: SOT 20032133 SOS 16739292 HAS SOPS 8368018 HAS SOUS 1529914 HAS SOUPS 647410 WITH SCORE 664149.292
AT ITER 1185 NEW BEST:: SOT 20032133 SOS 16739292 HAS SOPS 8368018 HAS SOUS 1529700 HAS SOUPS 647196 WITH SCORE 663935.292
AT ITER 1186 NEW BEST:: SOT 20030841 SOS 16742072 HAS SOPS 8366328 HAS SOUS 1528706 HAS SOUPS 645904 WITH SCORE 662646.072
AT ITER 1190 NEW BEST:: SOT 20029705 SOS 16743752 HAS SOPS 8364888 HAS SOUS 1527954 HAS SOUPS 644944 WITH SCORE 661687.752
AT ITER 1206 NEW BEST:: SOT 20029705 SOS 16743752 HAS SOPS 8364888 HAS SOUS 1527770 HAS SOUPS 644760 WITH SCORE 661503.752
AT ITER 1215 NEW BEST:: SOT 20029697 SOS 16743736 HAS SOPS 8364872 HAS SOUS 1527762 HAS SOUPS 644752 WITH SCORE 661495.736
AT ITER 1217 NEW BEST:: SOT 20028543 SOS 16748663 HAS SOPS 8364999 HAS SOUS 1527893 HAS SOUPS 644563 WITH SCORE 661311.663
AT ITER 1226 NEW BEST:: SOT 20028726 SOS 16743897 HAS SOPS 8362063 HAS SOUS 1527864 HAS SOUPS 644534 WITH SCORE 661277.897
AT ITER 1248 NEW BEST:: SOT 20027034 SOS 16752436 HAS SOPS 8365042 HAS SOUS 1526896 HAS SOUPS 643566 WITH SCORE 660318.436
AT ITER 1256 NEW BEST:: SOT 20027034 SOS 16752436 HAS SOPS 8365042 HAS SOUS 1526850 HAS SOUPS 643520 WITH SCORE 660272.436
AT ITER 1260 NEW BEST:: SOT 20027176 SOS 16752791 HAS SOPS 8365397 HAS SOUS 1526779 HAS SOUPS 643449 WITH SCORE 660201.791
AT ITER 1262 NEW BEST:: SOT 20027104 SOS 16753387 HAS SOPS 8365993 HAS SOUS 1526699 HAS SOUPS 643369 WITH SCORE 660122.387
AT ITER 1264 NEW BEST:: SOT 20026828 SOS 16752593 HAS SOPS 8366409 HAS SOUS 1526181 HAS SOUPS 643093 WITH SCORE 659845.593
AT ITER 1272 NEW BEST:: SOT 20026828 SOS 16752593 HAS SOPS 8366409 HAS SOUS 1526149 HAS SOUPS 643061 WITH SCORE 659813.593
AT ITER 1278 NEW BEST:: SOT 20026828 SOS 16752593 HAS SOPS 8366409 HAS SOUS 1525903 HAS SOUPS 642815 WITH SCORE 659567.593
AT ITER 1300 NEW BEST:: SOT 20026828 SOS 16752593 HAS SOPS 8366409 HAS SOUS 1525657 HAS SOUPS 642569 WITH SCORE 659321.593
AT ITER 1302 NEW BEST:: SOT 20020262 SOS 16743518 HAS SOPS 8361429 HAS SOUS 1525287 HAS SOUPS 642229 WITH SCORE 658972.518
AT ITER 1305 NEW BEST:: SOT 20017235 SOS 16757197 HAS SOPS 8367498 HAS SOUS 1523859 HAS SOUPS 640801 WITH SCORE 657558.197
AT ITER 1347 NEW BEST:: SOT 20017432 SOS 16757591 HAS SOPS 8369762 HAS SOUS 1523407 HAS SOUPS 640723 WITH SCORE 657480.591
AT ITER 1354 NEW BEST:: SOT 20017432 SOS 16757591 HAS SOPS 8369762 HAS SOUS 1523395 HAS SOUPS 640711 WITH SCORE 657468.591
AT ITER 1357 NEW BEST:: SOT 20015098 SOS 16760742 HAS SOPS 8367093 HAS SOUS 1521922 HAS SOUPS 638850 WITH SCORE 655610.742
AT ITER 1361 NEW BEST:: SOT 20011390 SOS 16768417 HAS SOPS 8367998 HAS SOUS 1519599 HAS SOUPS 636527 WITH SCORE 653295.417
AT ITER 1363 NEW BEST:: SOT 20011342 SOS 16768321 HAS SOPS 8368022 HAS SOUS 1519503 HAS SOUPS 636455 WITH SCORE 653223.321
AT ITER 1369 NEW BEST:: SOT 20011342 SOS 16768321 HAS SOPS 8368022 HAS SOUS 1519445 HAS SOUPS 636397 WITH SCORE 653165.321
AT ITER 1373 NEW BEST:: SOT 20011329 SOS 16766657 HAS SOPS 8368009 HAS SOUS 1519419 HAS SOUPS 636384 WITH SCORE 653150.657
AT ITER 1376 NEW BEST:: SOT 20011006 SOS 16766011 HAS SOPS 8369308 HAS SOUS 1518753 HAS SOUPS 636107 WITH SCORE 652873.0109999999
AT ITER 1381 NEW BEST:: SOT 20011006 SOS 16766011 HAS SOPS 8369308 HAS SOUS 1518635 HAS SOUPS 635989 WITH SCORE 652755.0109999999
AT ITER 1389 NEW BEST:: SOT 20010117 SOS 16766646 HAS SOPS 8368038 HAS SOUS 1518127 HAS SOUPS 635354 WITH SCORE 652120.646
AT ITER 1397 NEW BEST:: SOT 20009580 SOS 16765572 HAS SOPS 8369374 HAS SOUS 1516840 HAS SOUPS 634549 WITH SCORE 651314.572
AT ITER 1400 NEW BEST:: SOT 20009362 SOS 16765136 HAS SOPS 8368938 HAS SOUS 1516378 HAS SOUPS 634087 WITH SCORE 650852.1359999999
AT ITER 1402 NEW BEST:: SOT 20006513 SOS 16773868 HAS SOPS 8368445 HAS SOUS 1514661 HAS SOUPS 631755 WITH SCORE 648528.868
AT ITER 1410 NEW BEST:: SOT 20006513 SOS 16773711 HAS SOPS 8368445 HAS SOUS 1514661 HAS SOUPS 631755 WITH SCORE 648528.711
AT ITER 1411 NEW BEST:: SOT 20006270 SOS 16773225 HAS SOPS 8370624 HAS SOUS 1513702 HAS SOUPS 631329 WITH SCORE 648102.225
AT ITER 1412 NEW BEST:: SOT 20005667 SOS 16772019 HAS SOPS 8371233 HAS SOUS 1512451 HAS SOUPS 630441 WITH SCORE 647213.019
AT ITER 1413 NEW BEST:: SOT 20004326 SOS 16792507 HAS SOPS 8379406 HAS SOUS 1512780 HAS SOUPS 629949 WITH SCORE 646741.507
AT ITER 1417 NEW BEST:: SOT 20004326 SOS 16792507 HAS SOPS 8379406 HAS SOUS 1512624 HAS SOUPS 629793 WITH SCORE 646585.507
AT ITER 1420 NEW BEST:: SOT 20004020 SOS 16791895 HAS SOPS 8378794 HAS SOUS 1512055 HAS SOUPS 629224 WITH SCORE 646015.895
AT ITER 1422 NEW BEST:: SOT 20004020 SOS 16791895 HAS SOPS 8378794 HAS SOUS 1511875 HAS SOUPS 629044 WITH SCORE 645835.895
AT ITER 1445 NEW BEST:: SOT 20002616 SOS 16797347 HAS SOPS 8381296 HAS SOUS 1510766 HAS SOUPS 627935 WITH SCORE 644732.347
AT ITER 1453 NEW BEST:: SOT 20002348 SOS 16796648 HAS SOPS 8380597 HAS SOUS 1510498 HAS SOUPS 627667 WITH SCORE 644463.648
AT ITER 1487 NEW BEST:: SOT 19996812 SOS 16788795 HAS SOPS 8376283 HAS SOUS 1510114 HAS SOUPS 627316 WITH SCORE 644104.795
AT ITER 1488 NEW BEST:: SOT 19996812 SOS 16788494 HAS SOPS 8377487 HAS SOUS 1509813 HAS SOUPS 627316 WITH SCORE 644104.494
AT ITER 1518 NEW BEST:: SOT 19996008 SOS 16786752 HAS SOPS 8376415 HAS SOUS 1509277 HAS SOUPS 626914 WITH SCORE 643700.752
AT ITER 1519 NEW BEST:: SOT 19993460 SOS 16788373 HAS SOPS 8374546 HAS SOUS 1507658 HAS SOUPS 625295 WITH SCORE 642083.373
AT ITER 1533 NEW BEST:: SOT 19993278 SOS 16788009 HAS SOPS 8375092 HAS SOUS 1507294 HAS SOUPS 625113 WITH SCORE 641901.009
AT ITER 1536 NEW BEST:: SOT 19991450 SOS 16801058 HAS SOPS 8381441 HAS SOUS 1506939 HAS SOUPS 624758 WITH SCORE 641559.058
AT ITER 1539 NEW BEST:: SOT 19989246 SOS 16813264 HAS SOPS 8386617 HAS SOUS 1505986 HAS SOUPS 623805 WITH SCORE 640618.264
AT ITER 1543 NEW BEST:: SOT 19989012 SOS 16812796 HAS SOPS 8386149 HAS SOUS 1505763 HAS SOUPS 623582 WITH SCORE 640394.796
AT ITER 1553 NEW BEST:: SOT 19989012 SOS 16812796 HAS SOPS 8386149 HAS SOUS 1505723 HAS SOUPS 623542 WITH SCORE 640354.796
AT ITER 1558 NEW BEST:: SOT 19988988 SOS 16812736 HAS SOPS 8386089 HAS SOUS 1505699 HAS SOUPS 623518 WITH SCORE 640330.736
AT ITER 1559 NEW BEST:: SOT 19988988 SOS 16812736 HAS SOPS 8386089 HAS SOUS 1505453 HAS SOUPS 623272 WITH SCORE 640084.736
AT ITER 1570 NEW BEST:: SOT 19988988 SOS 16812736 HAS SOPS 8386089 HAS SOUS 1505441 HAS SOUPS 623260 WITH SCORE 640072.736
AT ITER 1577 NEW BEST:: SOT 19988896 SOS 16812552 HAS SOPS 8387195 HAS SOUS 1505008 HAS SOUPS 623085 WITH SCORE 639897.552
AT ITER 1578 NEW BEST:: SOT 19986813 SOS 16807789 HAS SOPS 8385417 HAS SOUS 1504097 HAS SOUPS 622771 WITH SCORE 639578.789
AT ITER 1610 NEW BEST:: SOT 19986813 SOS 16807789 HAS SOPS 8385417 HAS SOUS 1504071 HAS SOUPS 622745 WITH SCORE 639552.789
AT ITER 1619 NEW BEST:: SOT 19986809 SOS 16807781 HAS SOPS 8386114 HAS SOUS 1503785 HAS SOUPS 622600 WITH SCORE 639407.781
AT ITER 1624 NEW BEST:: SOT 19986809 SOS 16807781 HAS SOPS 8386114 HAS SOUS 1503539 HAS SOUPS 622354 WITH SCORE 639161.781
AT ITER 1627 NEW BEST:: SOT 19986809 SOS 16807781 HAS SOPS 8386114 HAS SOUS 1503393 HAS SOUPS 622208 WITH SCORE 639015.781
AT ITER 1632 NEW BEST:: SOT 19986731 SOS 16807625 HAS SOPS 8385958 HAS SOUS 1503315 HAS SOUPS 622130 WITH SCORE 638937.625
AT ITER 1636 NEW BEST:: SOT 19986573 SOS 16807309 HAS SOPS 8386427 HAS SOUS 1502843 HAS SOUPS 621815 WITH SCORE 638622.309
AT ITER 1664 NEW BEST:: SOT 19985231 SOS 16802990 HAS SOPS 8384833 HAS SOUS 1500997 HAS SOUPS 620514 WITH SCORE 637316.99
AT ITER 1677 NEW BEST:: SOT 19984503 SOS 16803510 HAS SOPS 8383793 HAS SOUS 1500581 HAS SOUPS 619994 WITH SCORE 636797.51
AT ITER 1689 NEW BEST:: SOT 19982521 SOS 16819703 HAS SOPS 8391796 HAS SOUS 1499688 HAS SOUPS 619101 WITH SCORE 635920.703
AT ITER 1699 NEW BEST:: SOT 19982386 SOS 16819433 HAS SOPS 8391526 HAS SOUS 1499418 HAS SOUPS 618831 WITH SCORE 635650.433
AT ITER 1701 NEW BEST:: SOT 19982386 SOS 16819433 HAS SOPS 8391526 HAS SOUS 1499172 HAS SOUPS 618585 WITH SCORE 635404.433
AT ITER 1710 NEW BEST:: SOT 19981713 SOS 16818087 HAS SOPS 8392090 HAS SOUS 1498208 HAS SOUPS 618003 WITH SCORE 634821.087
AT ITER 1712 NEW BEST:: SOT 19981285 SOS 16817258 HAS SOPS 8391261 HAS SOUS 1497871 HAS SOUPS 617666 WITH SCORE 634483.258
AT ITER 1713 NEW BEST:: SOT 19981202 SOS 16817092 HAS SOPS 8391095 HAS SOUS 1497788 HAS SOUPS 617583 WITH SCORE 634400.092
AT ITER 1717 NEW BEST:: SOT 19980943 SOS 16820886 HAS SOPS 8393349 HAS SOUS 1497683 HAS SOUPS 617478 WITH SCORE 634298.8859999999
AT ITER 1725 NEW BEST:: SOT 19976311 SOS 16814347 HAS SOPS 8389060 HAS SOUS 1497617 HAS SOUPS 617412 WITH SCORE 634226.347
AT ITER 1743 NEW BEST:: SOT 19973319 SOS 16825268 HAS SOPS 8392831 HAS SOUS 1495287 HAS SOUPS 615082 WITH SCORE 631907.268
AT ITER 1744 NEW BEST:: SOT 19972801 SOS 16822937 HAS SOPS 8391795 HAS SOUS 1494241 HAS SOUPS 614295 WITH SCORE 631117.937
AT ITER 1755 NEW BEST:: SOT 19972741 SOS 16822817 HAS SOPS 8391675 HAS SOUS 1494151 HAS SOUPS 614205 WITH SCORE 631027.817
AT ITER 1762 NEW BEST:: SOT 19972369 SOS 16822088 HAS SOPS 8389361 HAS SOUS 1494099 HAS SOUPS 613836 WITH SCORE 630658.088
AT ITER 1767 NEW BEST:: SOT 19971681 SOS 16820712 HAS SOPS 8390425 HAS SOUS 1492923 HAS SOUPS 613148 WITH SCORE 629968.712
AT ITER 1769 NEW BEST:: SOT 19976799 SOS 16843725 HAS SOPS 8400301 HAS SOUS 1491792 HAS SOUPS 611610 WITH SCORE 628453.725
AT ITER 1782 NEW BEST:: SOT 19975131 SOS 16851082 HAS SOPS 8403398 HAS SOUS 1490821 HAS SOUPS 610639 WITH SCORE 627490.082
AT ITER 1794 NEW BEST:: SOT 19974255 SOS 16851418 HAS SOPS 8402574 HAS SOUS 1490345 HAS SOUPS 610163 WITH SCORE 627014.418
AT ITER 1799 NEW BEST:: SOT 19974169 SOS 16851246 HAS SOPS 8402832 HAS SOUS 1490173 HAS SOUPS 610077 WITH SCORE 626928.246
AT ITER 1820 NEW BEST:: SOT 19974169 SOS 16851246 HAS SOPS 8402832 HAS SOUS 1489979 HAS SOUPS 609883 WITH SCORE 626734.246
AT ITER 1824 NEW BEST:: SOT 19972414 SOS 16863239 HAS SOPS 8408215 HAS SOUS 1489678 HAS SOUPS 609582 WITH SCORE 626445.2390000001
AT ITER 1831 NEW BEST:: SOT 19972414 SOS 16862909 HAS SOPS 8407885 HAS SOUS 1489678 HAS SOUPS 609582 WITH SCORE 626444.909
AT ITER 1833 NEW BEST:: SOT 19972414 SOS 16862909 HAS SOPS 8408635 HAS SOUS 1489458 HAS SOUPS 609512 WITH SCORE 626374.909
AT ITER 1839 NEW BEST:: SOT 19971431 SOS 16860727 HAS SOPS 8407533 HAS SOUS 1488745 HAS SOUPS 609015 WITH SCORE 625875.727
AT ITER 1859 NEW BEST:: SOT 19971426 SOS 16860717 HAS SOPS 8407523 HAS SOUS 1488740 HAS SOUPS 609010 WITH SCORE 625870.717
AT ITER 1885 NEW BEST:: SOT 19969646 SOS 16873892 HAS SOPS 8414448 HAS SOUS 1487774 HAS SOUPS 608044 WITH SCORE 624917.892
AT ITER 1890 NEW BEST:: SOT 19969646 SOS 16873892 HAS SOPS 8414448 HAS SOUS 1487674 HAS SOUPS 607944 WITH SCORE 624817.892
AT ITER 1895 NEW BEST:: SOT 19966498 SOS 16866862 HAS SOPS 8411088 HAS SOUS 1486050 HAS SOUPS 607054 WITH SCORE 623920.862
AT ITER 1897 NEW BEST:: SOT 19958327 SOS 16854473 HAS SOPS 8405541 HAS SOUS 1484852 HAS SOUPS 606478 WITH SCORE 623332.473
AT ITER 1901 NEW BEST:: SOT 19955524 SOS 16862557 HAS SOPS 8407225 HAS SOUS 1483333 HAS SOUPS 604959 WITH SCORE 621821.557
AT ITER 1905 NEW BEST:: SOT 19954820 SOS 16872997 HAS SOPS 8409610 HAS SOUS 1482388 HAS SOUPS 603477 WITH SCORE 620349.997
AT ITER 1917 NEW BEST:: SOT 19954274 SOS 16869215 HAS SOPS 8405828 HAS SOUS 1481089 HAS SOUPS 602178 WITH SCORE 619047.215
AT ITER 1926 NEW BEST:: SOT 19945589 SOS 16855798 HAS SOPS 8400133 HAS SOUS 1479982 HAS SOUPS 601773 WITH SCORE 618628.798
AT ITER 1927 NEW BEST:: SOT 19945589 SOS 16855798 HAS SOPS 8400133 HAS SOUS 1479736 HAS SOUPS 601527 WITH SCORE 618382.798
AT ITER 1932 NEW BEST:: SOT 19945328 SOS 16855276 HAS SOPS 8400916 HAS SOUS 1479214 HAS SOUPS 601266 WITH SCORE 618121.276
AT ITER 1934 NEW BEST:: SOT 19944790 SOS 16854200 HAS SOPS 8401825 HAS SOUS 1478011 HAS SOUPS 600460 WITH SCORE 617314.2
AT ITER 1937 NEW BEST:: SOT 19944790 SOS 16854200 HAS SOPS 8401825 HAS SOUS 1477879 HAS SOUPS 600328 WITH SCORE 617182.2
AT ITER 1959 NEW BEST:: SOT 19944914 SOS 16844340 HAS SOPS 8397380 HAS SOUS 1476941 HAS SOUPS 599751 WITH SCORE 616595.34
AT ITER 1974 NEW BEST:: SOT 19944853 SOS 16844218 HAS SOPS 8397563 HAS SOUS 1476786 HAS SOUPS 599657 WITH SCORE 616501.218
AT ITER 1980 NEW BEST:: SOT 19944221 SOS 16842794 HAS SOPS 8396139 HAS SOUS 1476474 HAS SOUPS 599345 WITH SCORE 616187.794
AT ITER 1984 NEW BEST:: SOT 19943937 SOS 16841678 HAS SOPS 8397763 HAS SOUS 1475846 HAS SOUPS 599265 WITH SCORE 616106.678
AT ITER 1994 NEW BEST:: SOT 19943937 SOS 16840943 HAS SOPS 8397028 HAS SOUS 1475698 HAS SOUPS 599117 WITH SCORE 615957.943
AT ITER 1995 NEW BEST:: SOT 19943643 SOS 16842217 HAS SOPS 8396832 HAS SOUS 1475600 HAS SOUPS 598921 WITH SCORE 615763.217
AT ITER 1996 NEW BEST:: SOT 19943513 SOS 16841957 HAS SOPS 8396572 HAS SOUS 1475565 HAS SOUPS 598886 WITH SCORE 615727.957
AT ITER 2002 NEW BEST:: SOT 19943170 SOS 16841271 HAS SOPS 8397601 HAS SOUS 1474879 HAS SOUPS 598543 WITH SCORE 615384.271
AT ITER 2027 NEW BEST:: SOT 19943170 SOS 16841271 HAS SOPS 8397601 HAS SOUS 1474849 HAS SOUPS 598513 WITH SCORE 615354.271
AT ITER 2030 NEW BEST:: SOT 19943273 SOS 16838593 HAS SOPS 8395953 HAS SOUS 1474849 HAS SOUPS 598513 WITH SCORE 615351.593
AT ITER 2039 NEW BEST:: SOT 19943277 SOS 16838741 HAS SOPS 8395831 HAS SOUS 1474803 HAS SOUPS 598413 WITH SCORE 615251.741
AT ITER 2045 NEW BEST:: SOT 19943244 SOS 16838884 HAS SOPS 8395809 HAS SOUS 1474781 HAS SOUPS 598380 WITH SCORE 615218.884
AT ITER 2063 NEW BEST:: SOT 19941674 SOS 16840480 HAS SOPS 8393475 HAS SOUS 1473733 HAS SOUPS 597070 WITH SCORE 613910.48
AT ITER 2066 NEW BEST:: SOT 19941146 SOS 16844352 HAS SOPS 8395587 HAS SOUS 1473556 HAS SOUPS 596893 WITH SCORE 613737.352
AT ITER 2068 NEW BEST:: SOT 19940774 SOS 16843608 HAS SOPS 8395773 HAS SOUS 1472812 HAS SOUPS 596335 WITH SCORE 613178.608
AT ITER 2081 NEW BEST:: SOT 19939893 SOS 16844399 HAS SOPS 8394899 HAS SOUS 1472375 HAS SOUPS 595787 WITH SCORE 612631.399
AT ITER 2084 NEW BEST:: SOT 19939893 SOS 16844399 HAS SOPS 8394899 HAS SOUS 1472297 HAS SOUPS 595709 WITH SCORE 612553.399
AT ITER 2096 NEW BEST:: SOT 19939893 SOS 16844399 HAS SOPS 8394899 HAS SOUS 1472283 HAS SOUPS 595695 WITH SCORE 612539.399
AT ITER 2136 NEW BEST:: SOT 19939893 SOS 16844399 HAS SOPS 8393169 HAS SOUS 1472283 HAS SOUPS 595349 WITH SCORE 612193.399
AT ITER 2138 NEW BEST:: SOT 19939732 SOS 16844357 HAS SOPS 8392182 HAS SOUS 1472247 HAS SOUPS 595124 WITH SCORE 611968.357
AT ITER 2145 NEW BEST:: SOT 19939732 SOS 16844357 HAS SOPS 8392182 HAS SOUS 1472229 HAS SOUPS 595106 WITH SCORE 611950.357
AT ITER 2148 NEW BEST:: SOT 19939732 SOS 16844357 HAS SOPS 8392182 HAS SOUS 1472125 HAS SOUPS 595002 WITH SCORE 611846.357
AT ITER 2149 NEW BEST:: SOT 19939512 SOS 16843807 HAS SOPS 8391632 HAS SOUS 1471905 HAS SOUPS 594782 WITH SCORE 611625.807
AT ITER 2155 NEW BEST:: SOT 19939470 SOS 16843818 HAS SOPS 8390083 HAS SOUS 1471914 HAS SOUPS 594479 WITH SCORE 611322.818
AT ITER 2177 NEW BEST:: SOT 19939470 SOS 16843818 HAS SOPS 8390083 HAS SOUS 1471684 HAS SOUPS 594249 WITH SCORE 611092.818
AT ITER 2208 NEW BEST:: SOT 19938907 SOS 16842692 HAS SOPS 8390952 HAS SOUS 1470441 HAS SOUPS 593405 WITH SCORE 610247.692
AT ITER 2211 NEW BEST:: SOT 19938669 SOS 16843941 HAS SOPS 8391451 HAS SOUS 1470278 HAS SOUPS 593242 WITH SCORE 610085.941
AT ITER 2219 NEW BEST:: SOT 19935510 SOS 16849772 HAS SOPS 8391752 HAS SOUS 1467719 HAS SOUPS 590683 WITH SCORE 607532.772
AT ITER 2224 NEW BEST:: SOT 19935346 SOS 16849444 HAS SOPS 8392244 HAS SOUS 1467391 HAS SOUPS 590519 WITH SCORE 607368.444
AT ITER 2228 NEW BEST:: SOT 19934816 SOS 16848384 HAS SOPS 8391184 HAS SOUS 1467139 HAS SOUPS 590267 WITH SCORE 607115.384
AT ITER 2229 NEW BEST:: SOT 19934816 SOS 16848384 HAS SOPS 8391184 HAS SOUS 1466989 HAS SOUPS 590117 WITH SCORE 606965.384
AT ITER 2233 NEW BEST:: SOT 19934816 SOS 16848384 HAS SOPS 8391184 HAS SOUS 1466791 HAS SOUPS 589919 WITH SCORE 606767.384
AT ITER 2234 NEW BEST:: SOT 19937052 SOS 16860372 HAS SOPS 8394600 HAS SOUS 1464685 HAS SOUPS 587813 WITH SCORE 604673.372
AT ITER 2240 NEW BEST:: SOT 19937038 SOS 16860344 HAS SOPS 8396797 HAS SOUS 1464226 HAS SOUPS 587799 WITH SCORE 604659.344
AT ITER 2250 NEW BEST:: SOT 19937028 SOS 16860324 HAS SOPS 8396777 HAS SOUS 1464216 HAS SOUPS 587789 WITH SCORE 604649.324
AT ITER 2263 NEW BEST:: SOT 19936956 SOS 16860180 HAS SOPS 8396633 HAS SOUS 1464144 HAS SOUPS 587717 WITH SCORE 604577.18
AT ITER 2267 NEW BEST:: SOT 19936474 SOS 16858943 HAS SOPS 8396761 HAS SOUS 1463389 HAS SOUPS 587235 WITH SCORE 604093.943
AT ITER 2269 NEW BEST:: SOT 19935060 SOS 16855816 HAS SOPS 8393634 HAS SOUS 1462872 HAS SOUPS 586718 WITH SCORE 603573.816
AT ITER 2281 NEW BEST:: SOT 19935060 SOS 16855816 HAS SOPS 8393634 HAS SOUS 1462806 HAS SOUPS 586652 WITH SCORE 603507.816
AT ITER 2289 NEW BEST:: SOT 19935060 SOS 16855816 HAS SOPS 8393634 HAS SOUS 1462803 HAS SOUPS 586650 WITH SCORE 603505.816
AT ITER 2290 NEW BEST:: SOT 19935060 SOS 16855816 HAS SOPS 8393634 HAS SOUS 1462725 HAS SOUPS 586572 WITH SCORE 603427.816
AT ITER 2301 NEW BEST:: SOT 19932545 SOS 16772495 HAS SOPS 8398009 HAS SOUS 1460220 HAS SOUPS 584067 WITH SCORE 600839.495
AT ITER 2311 NEW BEST:: SOT 19925651 SOS 16762715 HAS SOPS 8392707 HAS SOUS 1460053 HAS SOUPS 584001 WITH SCORE 600763.715
AT ITER 2319 NEW BEST:: SOT 19925651 SOS 16762715 HAS SOPS 8392707 HAS SOUS 1459807 HAS SOUPS 583755 WITH SCORE 600517.715
AT ITER 2333 NEW BEST:: SOT 19926958 SOS 16765090 HAS SOPS 8393197 HAS SOUS 1460189 HAS SOUPS 583748 WITH SCORE 600513.09
AT ITER 2336 NEW BEST:: SOT 19926958 SOS 16765015 HAS SOPS 8393122 HAS SOUS 1460189 HAS SOUPS 583748 WITH SCORE 600513.015
AT ITER 2337 NEW BEST:: SOT 19922311 SOS 16758998 HAS SOPS 8389204 HAS SOUS 1460135 HAS SOUPS 583694 WITH SCORE 600452.998
AT ITER 2338 NEW BEST:: SOT 19919848 SOS 16675832 HAS SOPS 8393958 HAS SOUS 1459616 HAS SOUPS 583175 WITH SCORE 599850.832
AT ITER 2341 NEW BEST:: SOT 19919932 SOS 16676149 HAS SOPS 8393530 HAS SOUS 1459530 HAS SOUPS 582940 WITH SCORE 599616.149
AT ITER 2349 NEW BEST:: SOT 19917937 SOS 16671517 HAS SOPS 8392108 HAS SOUS 1458858 HAS SOUPS 582910 WITH SCORE 599581.517
AT ITER 2366 NEW BEST:: SOT 19917937 SOS 16671517 HAS SOPS 8392108 HAS SOUS 1458812 HAS SOUPS 582864 WITH SCORE 599535.517
AT ITER 2367 NEW BEST:: SOT 19916089 SOS 16675204 HAS SOPS 8392235 HAS SOUS 1457096 HAS SOUPS 581148 WITH SCORE 597823.204
AT ITER 2389 NEW BEST:: SOT 19914825 SOS 16672398 HAS SOPS 8389429 HAS SOUS 1456588 HAS SOUPS 580640 WITH SCORE 597312.398
AT ITER 2408 NEW BEST:: SOT 19913853 SOS 16670292 HAS SOPS 8387323 HAS SOUS 1455940 HAS SOUPS 579992 WITH SCORE 596662.292
AT ITER 2422 NEW BEST:: SOT 19913523 SOS 16673243 HAS SOPS 8387919 HAS SOUS 1455937 HAS SOUPS 579832 WITH SCORE 596505.243
AT ITER 2427 NEW BEST:: SOT 19911198 SOS 16679542 HAS SOPS 8389588 HAS SOUS 1455676 HAS SOUPS 579571 WITH SCORE 596250.542
AT ITER 2433 NEW BEST:: SOT 19911198 SOS 16679542 HAS SOPS 8389588 HAS SOUS 1455662 HAS SOUPS 579557 WITH SCORE 596236.542
AT ITER 2446 NEW BEST:: SOT 19910680 SOS 16678506 HAS SOPS 8391142 HAS SOUS 1454489 HAS SOUPS 578902 WITH SCORE 595580.506
AT ITER 2454 NEW BEST:: SOT 19910449 SOS 16678638 HAS SOPS 8390944 HAS SOUS 1454357 HAS SOUPS 578770 WITH SCORE 595448.638
AT ITER 2481 NEW BEST:: SOT 19910449 SOS 16678638 HAS SOPS 8390944 HAS SOUS 1454129 HAS SOUPS 578542 WITH SCORE 595220.638
AT ITER 2483 NEW BEST:: SOT 19908952 SOS 16691341 HAS SOPS 8395082 HAS SOUS 1454622 HAS SOUPS 578464 WITH SCORE 595155.341
AT ITER 2491 NEW BEST:: SOT 19907888 SOS 16693879 HAS SOPS 8394550 HAS SOUS 1453960 HAS SOUPS 577678 WITH SCORE 594371.879
AT ITER 2531 NEW BEST:: SOT 19907852 SOS 16693624 HAS SOPS 8395210 HAS SOUS 1453768 HAS SOUPS 577669 WITH SCORE 594362.624
AT ITER 2532 NEW BEST:: SOT 19902172 SOS 16686442 HAS SOPS 8389378 HAS SOUS 1454154 HAS SOUPS 577652 WITH SCORE 594338.442
AT ITER 2562 NEW BEST:: SOT 19902172 SOS 16685542 HAS SOPS 8388478 HAS SOUS 1454154 HAS SOUPS 577652 WITH SCORE 594337.542
AT ITER 2566 NEW BEST:: SOT 19902124 SOS 16685446 HAS SOPS 8388382 HAS SOUS 1454116 HAS SOUPS 577614 WITH SCORE 594299.446
AT ITER 2574 NEW BEST:: SOT 19902015 SOS 16685233 HAS SOPS 8388169 HAS SOUS 1454008 HAS SOUPS 577506 WITH SCORE 594191.233
AT ITER 2581 NEW BEST:: SOT 19901808 SOS 16688963 HAS SOPS 8390419 HAS SOUS 1453949 HAS SOUPS 577447 WITH SCORE 594135.963
AT ITER 2595 NEW BEST:: SOT 19901400 SOS 16688310 HAS SOPS 8389766 HAS SOUS 1453798 HAS SOUPS 577296 WITH SCORE 593984.31
AT ITER 2601 NEW BEST:: SOT 19887795 SOS 16669756 HAS SOPS 8380564 HAS SOUS 1453268 HAS SOUPS 577289 WITH SCORE 593958.756
AT ITER 2602 NEW BEST:: SOT 19887795 SOS 16669756 HAS SOPS 8380564 HAS SOUS 1453102 HAS SOUPS 577123 WITH SCORE 593792.756
AT ITER 2603 NEW BEST:: SOT 19887116 SOS 16668313 HAS SOPS 8381891 HAS SOUS 1451744 HAS SOUPS 576319 WITH SCORE 592987.313
AT ITER 2606 NEW BEST:: SOT 19886659 SOS 16667399 HAS SOPS 8380977 HAS SOUS 1450896 HAS SOUPS 575471 WITH SCORE 592138.399
AT ITER 2613 NEW BEST:: SOT 19886135 SOS 16666875 HAS SOPS 8380453 HAS SOUS 1450765 HAS SOUPS 575340 WITH SCORE 592006.875
AT ITER 2619 NEW BEST:: SOT 19886154 SOS 16666913 HAS SOPS 8380491 HAS SOUS 1450669 HAS SOUPS 575244 WITH SCORE 591910.913
AT ITER 2639 NEW BEST:: SOT 19886457 SOS 16606463 HAS SOPS 8381509 HAS SOUS 1450150 HAS SOUPS 575209 WITH SCORE 591815.463
AT ITER 2657 NEW BEST:: SOT 19886340 SOS 16606229 HAS SOPS 8381275 HAS SOUS 1450033 HAS SOUPS 575092 WITH SCORE 591698.229
AT ITER 2676 NEW BEST:: SOT 19886340 SOS 16606229 HAS SOPS 8381275 HAS SOUS 1449967 HAS SOUPS 575026 WITH SCORE 591632.229
AT ITER 2679 NEW BEST:: SOT 19884632 SOS 16605953 HAS SOPS 8380057 HAS SOUS 1448889 HAS SOUPS 574105 WITH SCORE 590710.953
AT ITER 2685 NEW BEST:: SOT 19884632 SOS 16605723 HAS SOPS 8380057 HAS SOUS 1448797 HAS SOUPS 574059 WITH SCORE 590664.723
AT ITER 2688 NEW BEST:: SOT 19883330 SOS 16602808 HAS SOPS 8378697 HAS SOUS 1448099 HAS SOUPS 573672 WITH SCORE 590274.808
AT ITER 2698 NEW BEST:: SOT 19882962 SOS 16602072 HAS SOPS 8377961 HAS SOUS 1447606 HAS SOUPS 573179 WITH SCORE 589781.072
AT ITER 2702 NEW BEST:: SOT 19882897 SOS 16601617 HAS SOPS 8377506 HAS SOUS 1447476 HAS SOUPS 573049 WITH SCORE 589650.617
AT ITER 2708 NEW BEST:: SOT 19883506 SOS 16603436 HAS SOPS 8377185 HAS SOUS 1447569 HAS SOUPS 572822 WITH SCORE 589425.436
AT ITER 2720 NEW BEST:: SOT 19883639 SOS 16603702 HAS SOPS 8377451 HAS SOUS 1447208 HAS SOUPS 572461 WITH SCORE 589064.702
AT ITER 2748 NEW BEST:: SOT 19882694 SOS 16305871 HAS SOPS 8168272 HAS SOUS 1445638 HAS SOUPS 570728 WITH SCORE 587033.871
AT ITER 2763 NEW BEST:: SOT 19882530 SOS 16305133 HAS SOPS 8167944 HAS SOUS 1445392 HAS SOUPS 570564 WITH SCORE 586869.133
AT ITER 2764 NEW BEST:: SOT 19882530 SOS 16305133 HAS SOPS 8167944 HAS SOUS 1445332 HAS SOUPS 570504 WITH SCORE 586809.133
AT ITER 2765 NEW BEST:: SOT 19881998 SOS 16303805 HAS SOPS 8167936 HAS SOUS 1444802 HAS SOUPS 570238 WITH SCORE 586541.805
AT ITER 2795 NEW BEST:: SOT 19881998 SOS 16303805 HAS SOPS 8167936 HAS SOUS 1444789 HAS SOUPS 570225 WITH SCORE 586528.805
AT ITER 2799 NEW BEST:: SOT 19881844 SOS 16303649 HAS SOPS 8166868 HAS SOUS 1444331 HAS SOUPS 569615 WITH SCORE 585918.649
AT ITER 2802 NEW BEST:: SOT 19880452 SOS 16300489 HAS SOPS 8165588 HAS SOUS 1443615 HAS SOUPS 569275 WITH SCORE 585575.489
AT ITER 2809 NEW BEST:: SOT 19880452 SOS 16300489 HAS SOPS 8165588 HAS SOUS 1443591 HAS SOUPS 569251 WITH SCORE 585551.489
AT ITER 2818 NEW BEST:: SOT 19880452 SOS 16300489 HAS SOPS 8165588 HAS SOUS 1443521 HAS SOUPS 569181 WITH SCORE 585481.489
AT ITER 2824 NEW BEST:: SOT 19880452 SOS 16299429 HAS SOPS 8165588 HAS SOUS 1443306 HAS SOUPS 569178 WITH SCORE 585477.429
AT ITER 2825 NEW BEST:: SOT 19880137 SOS 16298799 HAS SOPS 8164958 HAS SOUS 1442676 HAS SOUPS 568548 WITH SCORE 584846.799
AT ITER 2827 NEW BEST:: SOT 19879397 SOS 16306068 HAS SOPS 8167532 HAS SOUS 1442875 HAS SOUPS 568434 WITH SCORE 584740.068
AT ITER 2847 NEW BEST:: SOT 19874188 SOS 16299140 HAS SOPS 8163814 HAS SOUS 1442763 HAS SOUPS 568353 WITH SCORE 584652.14
AT ITER 2858 NEW BEST:: SOT 19874058 SOS 16298640 HAS SOPS 8163314 HAS SOUS 1442563 HAS SOUPS 568153 WITH SCORE 584451.64
AT ITER 2868 NEW BEST:: SOT 19874058 SOS 16298640 HAS SOPS 8163314 HAS SOUS 1442559 HAS SOUPS 568149 WITH SCORE 584447.64
AT ITER 2887 NEW BEST:: SOT 19874058 SOS 16298640 HAS SOPS 8163314 HAS SOUS 1442313 HAS SOUPS 567903 WITH SCORE 584201.64
AT ITER 2890 NEW BEST:: SOT 19873998 SOS 16298656 HAS SOPS 8163330 HAS SOUS 1442277 HAS SOUPS 567867 WITH SCORE 584165.656
AT ITER 2893 NEW BEST:: SOT 19873998 SOS 16298656 HAS SOPS 8163330 HAS SOUS 1442031 HAS SOUPS 567621 WITH SCORE 583919.656
AT ITER 2904 NEW BEST:: SOT 19873991 SOS 16298642 HAS SOPS 8163316 HAS SOUS 1442024 HAS SOUPS 567614 WITH SCORE 583912.642
AT ITER 2920 NEW BEST:: SOT 19873991 SOS 16298642 HAS SOPS 8163316 HAS SOUS 1441778 HAS SOUPS 567368 WITH SCORE 583666.642
AT ITER 2924 NEW BEST:: SOT 19872942 SOS 16296313 HAS SOPS 8162142 HAS SOUS 1441060 HAS SOUPS 566881 WITH SCORE 583177.313
AT ITER 2957 NEW BEST:: SOT 19872942 SOS 16296313 HAS SOPS 8162142 HAS SOUS 1440830 HAS SOUPS 566651 WITH SCORE 582947.313
AT ITER 2959 NEW BEST:: SOT 19872903 SOS 16296235 HAS SOPS 8162064 HAS SOUS 1440791 HAS SOUPS 566612 WITH SCORE 582908.235
AT ITER 2963 NEW BEST:: SOT 19872812 SOS 16295458 HAS SOPS 8161882 HAS SOUS 1440490 HAS SOUPS 566430 WITH SCORE 582725.458
AT ITER 2971 NEW BEST:: SOT 19872837 SOS 16294808 HAS SOPS 8161607 HAS SOUS 1440465 HAS SOUPS 566430 WITH SCORE 582724.808
AT ITER 2976 NEW BEST:: SOT 19872627 SOS 16294345 HAS SOPS 8161144 HAS SOUS 1440292 HAS SOUPS 566257 WITH SCORE 582551.345
AT ITER 3001 NEW BEST:: SOT 19872456 SOS 16293148 HAS SOPS 8160802 HAS SOUS 1439950 HAS SOUPS 566086 WITH SCORE 582379.148
AT ITER 3006 NEW BEST:: SOT 19872456 SOS 16293148 HAS SOPS 8160802 HAS SOUS 1439704 HAS SOUPS 565840 WITH SCORE 582133.148
AT ITER 3027 NEW BEST:: SOT 19869902 SOS 16290072 HAS SOPS 8159250 HAS SOUS 1439662 HAS SOUPS 565798 WITH SCORE 582088.072
AT ITER 3033 NEW BEST:: SOT 19869716 SOS 16290072 HAS SOPS 8159250 HAS SOUS 1439476 HAS SOUPS 565612 WITH SCORE 581902.072
AT ITER 3055 NEW BEST:: SOT 19869603 SOS 16100327 HAS SOPS 8064180 HAS SOUS 1437414 HAS SOUPS 564307 WITH SCORE 580407.327
AT ITER 3056 NEW BEST:: SOT 19869603 SOS 16100327 HAS SOPS 8064180 HAS SOUS 1437386 HAS SOUPS 564279 WITH SCORE 580379.327
AT ITER 3066 NEW BEST:: SOT 19869294 SOS 16101949 HAS SOPS 8065002 HAS SOUS 1437157 HAS SOUPS 564050 WITH SCORE 580151.949
AT ITER 3067 NEW BEST:: SOT 19869126 SOS 16101613 HAS SOPS 8064666 HAS SOUS 1436853 HAS SOUPS 563746 WITH SCORE 579847.613
AT ITER 3068 NEW BEST:: SOT 19866283 SOS 16103562 HAS SOPS 8062565 HAS SOUS 1434880 HAS SOUPS 561773 WITH SCORE 577876.562
AT ITER 3085 NEW BEST:: SOT 19866424 SOS 16099896 HAS SOPS 8060309 HAS SOUS 1434880 HAS SOUPS 561773 WITH SCORE 577872.896
AT ITER 3087 NEW BEST:: SOT 19864723 SOS 16108476 HAS SOPS 8064049 HAS SOUS 1433726 HAS SOUPS 560619 WITH SCORE 576727.476
AT ITER 3108 NEW BEST:: SOT 19864565 SOS 16108160 HAS SOPS 8063733 HAS SOUS 1433568 HAS SOUPS 560461 WITH SCORE 576569.16
AT ITER 3109 NEW BEST:: SOT 19864146 SOS 16104302 HAS SOPS 8062895 HAS SOUS 1432487 HAS SOUPS 559984 WITH SCORE 576088.302
AT ITER 3112 NEW BEST:: SOT 19863822 SOS 16103573 HAS SOPS 8062166 HAS SOUS 1432406 HAS SOUPS 559903 WITH SCORE 576006.573
AT ITER 3121 NEW BEST:: SOT 19862401 SOS 16182195 HAS SOPS 8144593 HAS SOUS 1431380 HAS SOUPS 559544 WITH SCORE 575726.195
AT ITER 3137 NEW BEST:: SOT 19856969 SOS 16174776 HAS SOPS 8140381 HAS SOUS 1430764 HAS SOUPS 558960 WITH SCORE 575134.776
AT ITER 3140 NEW BEST:: SOT 19856969 SOS 16174612 HAS SOPS 8140217 HAS SOUS 1430688 HAS SOUPS 558884 WITH SCORE 575058.612
AT ITER 3161 NEW BEST:: SOT 19856969 SOS 16174612 HAS SOPS 8140217 HAS SOUS 1430520 HAS SOUPS 558716 WITH SCORE 574890.612
AT ITER 3173 NEW BEST:: SOT 19856652 SOS 16173193 HAS SOPS 8140663 HAS SOUS 1429817 HAS SOUPS 558386 WITH SCORE 574559.193
AT ITER 3198 NEW BEST:: SOT 19854207 SOS 16187186 HAS SOPS 8147096 HAS SOUS 1428266 HAS SOUPS 556835 WITH SCORE 573022.186
AT ITER 3215 NEW BEST:: SOT 19854184 SOS 16187140 HAS SOPS 8148095 HAS SOUS 1428034 HAS SOUPS 556812 WITH SCORE 572999.14
AT ITER 3217 NEW BEST:: SOT 19852280 SOS 16193161 HAS SOPS 8149136 HAS SOUS 1427121 HAS SOUPS 555899 WITH SCORE 572092.161
AT ITER 3218 NEW BEST:: SOT 19852349 SOS 16192207 HAS SOPS 8148572 HAS SOUS 1427070 HAS SOUPS 555848 WITH SCORE 572040.207
AT ITER 3220 NEW BEST:: SOT 19852341 SOS 16192086 HAS SOPS 8149271 HAS SOUS 1426898 HAS SOUPS 555840 WITH SCORE 572032.086
AT ITER 3243 NEW BEST:: SOT 19852341 SOS 16192086 HAS SOPS 8149271 HAS SOUS 1426708 HAS SOUPS 555650 WITH SCORE 571842.086
AT ITER 3244 NEW BEST:: SOT 19851389 SOS 16198895 HAS SOPS 8151340 HAS SOUS 1426496 HAS SOUPS 555122 WITH SCORE 571320.895
AT ITER 3267 NEW BEST:: SOT 19851339 SOS 16198795 HAS SOPS 8151240 HAS SOUS 1426446 HAS SOUPS 555072 WITH SCORE 571270.795
AT ITER 3271 NEW BEST:: SOT 19851339 SOS 16198795 HAS SOPS 8151240 HAS SOUS 1426200 HAS SOUPS 554826 WITH SCORE 571024.795
AT ITER 3281 NEW BEST:: SOT 19851046 SOS 16196759 HAS SOPS 8150669 HAS SOUS 1425664 HAS SOUPS 554583 WITH SCORE 570779.759
AT ITER 3296 NEW BEST:: SOT 19850688 SOS 16200075 HAS SOPS 8152545 HAS SOUS 1425450 HAS SOUPS 554369 WITH SCORE 570569.075
AT ITER 3297 NEW BEST:: SOT 19850968 SOS 16192763 HAS SOPS 8148073 HAS SOUS 1425159 HAS SOUPS 554078 WITH SCORE 570270.763
AT ITER 3298 NEW BEST:: SOT 19850746 SOS 16191209 HAS SOPS 8147629 HAS SOUS 1424705 HAS SOUPS 553846 WITH SCORE 570037.209
AT ITER 3320 NEW BEST:: SOT 19850523 SOS 16190540 HAS SOPS 8148075 HAS SOUS 1424482 HAS SOUPS 553846 WITH SCORE 570036.54
AT ITER 3326 NEW BEST:: SOT 19850273 SOS 16190040 HAS SOPS 8148980 HAS SOUS 1423740 HAS SOUPS 553385 WITH SCORE 569575.04
AT ITER 3338 NEW BEST:: SOT 19849899 SOS 16189079 HAS SOPS 8148019 HAS SOUS 1423366 HAS SOUPS 553011 WITH SCORE 569200.079
AT ITER 3355 NEW BEST:: SOT 19849899 SOS 16189079 HAS SOPS 8148019 HAS SOUS 1423120 HAS SOUPS 552765 WITH SCORE 568954.079
AT ITER 3390 NEW BEST:: SOT 19849899 SOS 16189079 HAS SOPS 8148019 HAS SOUS 1422922 HAS SOUPS 552567 WITH SCORE 568756.079
AT ITER 3394 NEW BEST:: SOT 19849899 SOS 16187651 HAS SOPS 8147101 HAS SOUS 1422820 HAS SOUPS 552465 WITH SCORE 568652.651
AT ITER 3412 NEW BEST:: SOT 19848617 SOS 16184694 HAS SOPS 8146109 HAS SOUS 1421931 HAS SOUPS 551969 WITH SCORE 568153.694
AT ITER 3415 NEW BEST:: SOT 19848581 SOS 16184802 HAS SOPS 8146037 HAS SOUS 1421931 HAS SOUPS 551933 WITH SCORE 568117.802
AT ITER 3431 NEW BEST:: SOT 19848059 SOS 16186794 HAS SOPS 8146709 HAS SOUS 1421541 HAS SOUPS 551543 WITH SCORE 567729.794
AT ITER 3432 NEW BEST:: SOT 19848059 SOS 16186915 HAS SOPS 8146629 HAS SOUS 1421324 HAS SOUPS 551326 WITH SCORE 567512.915
AT ITER 3454 NEW BEST:: SOT 19845893 SOS 16197061 HAS SOPS 8151265 HAS SOUS 1419713 HAS SOUPS 549715 WITH SCORE 565912.061
AT ITER 3469 NEW BEST:: SOT 19845857 SOS 16196989 HAS SOPS 8151193 HAS SOUS 1419695 HAS SOUPS 549697 WITH SCORE 565893.989
AT ITER 3472 NEW BEST:: SOT 19845752 SOS 16197124 HAS SOPS 8151178 HAS SOUS 1419650 HAS SOUPS 549652 WITH SCORE 565849.124
AT ITER 3501 NEW BEST:: SOT 19845398 SOS 16195306 HAS SOPS 8150475 HAS SOUS 1418628 HAS SOUPS 548853 WITH SCORE 565048.306
AT ITER 3518 NEW BEST:: SOT 19845096 SOS 16192897 HAS SOPS 8150316 HAS SOUS 1417763 HAS SOUPS 548438 WITH SCORE 564630.897
AT ITER 3527 NEW BEST:: SOT 19845096 SOS 16192897 HAS SOPS 8150316 HAS SOUS 1417517 HAS SOUPS 548192 WITH SCORE 564384.897
AT ITER 3533 NEW BEST:: SOT 19845042 SOS 16190274 HAS SOPS 8150473 HAS SOUS 1416887 HAS SOUPS 548118 WITH SCORE 564308.274
AT ITER 3534 NEW BEST:: SOT 19844588 SOS 16190138 HAS SOPS 8150337 HAS SOUS 1416560 HAS SOUPS 547791 WITH SCORE 563981.138
AT ITER 3545 NEW BEST:: SOT 19844337 SOS 16189636 HAS SOPS 8149835 HAS SOUS 1416058 HAS SOUPS 547289 WITH SCORE 563478.636
AT ITER 3568 NEW BEST:: SOT 19842782 SOS 16184606 HAS SOPS 8144805 HAS SOUS 1415190 HAS SOUPS 546421 WITH SCORE 562605.606
AT ITER 3581 NEW BEST:: SOT 19842282 SOS 16182671 HAS SOPS 8144160 HAS SOUS 1414189 HAS SOUPS 545678 WITH SCORE 561860.671
AT ITER 3601 NEW BEST:: SOT 19842282 SOS 16182671 HAS SOPS 8144160 HAS SOUS 1414113 HAS SOUPS 545602 WITH SCORE 561784.671
AT ITER 3602 NEW BEST:: SOT 19841978 SOS 16182963 HAS SOPS 8144452 HAS SOUS 1413989 HAS SOUPS 545478 WITH SCORE 561660.963
AT ITER 3603 NEW BEST:: SOT 19846275 SOS 16206786 HAS SOPS 8156807 HAS SOUS 1412902 HAS SOUPS 544390 WITH SCORE 560596.786
AT ITER 3608 NEW BEST:: SOT 19845844 SOS 16205924 HAS SOPS 8157570 HAS SOUS 1411982 HAS SOUPS 543795 WITH SCORE 560000.924
AT ITER 3631 NEW BEST:: SOT 19845903 SOS 16204390 HAS SOPS 8156626 HAS SOUS 1411982 HAS SOUPS 543795 WITH SCORE 559999.39
AT ITER 3639 NEW BEST:: SOT 19850563 SOS 16210071 HAS SOPS 8162006 HAS SOUS 1411122 HAS SOUPS 543488 WITH SCORE 559698.071
AT ITER 3645 NEW BEST:: SOT 19850563 SOS 16210071 HAS SOPS 8162006 HAS SOUS 1411116 HAS SOUPS 543482 WITH SCORE 559692.071
AT ITER 3646 NEW BEST:: SOT 19850387 SOS 16209719 HAS SOPS 8161654 HAS SOUS 1410822 HAS SOUPS 543188 WITH SCORE 559397.719
AT ITER 3649 NEW BEST:: SOT 19850387 SOS 16209719 HAS SOPS 8161654 HAS SOUS 1410576 HAS SOUPS 542942 WITH SCORE 559151.719
AT ITER 3657 NEW BEST:: SOT 19848957 SOS 16206507 HAS SOPS 8160202 HAS SOUS 1409566 HAS SOUPS 542284 WITH SCORE 558490.507
AT ITER 3662 NEW BEST:: SOT 19849655 SOS 16196326 HAS SOPS 8156906 HAS SOUS 1408680 HAS SOUPS 541857 WITH SCORE 558053.326
AT ITER 3666 NEW BEST:: SOT 19844878 SOS 16199075 HAS SOPS 8153545 HAS SOUS 1405847 HAS SOUPS 539024 WITH SCORE 555223.075
AT ITER 3677 NEW BEST:: SOT 19844705 SOS 16198729 HAS SOPS 8153199 HAS SOUS 1405674 HAS SOUPS 538851 WITH SCORE 555049.729
AT ITER 3687 NEW BEST:: SOT 19844379 SOS 16168893 HAS SOPS 8157411 HAS SOUS 1405352 HAS SOUPS 538529 WITH SCORE 554697.893
AT ITER 3706 NEW BEST:: SOT 19842186 SOS 16176589 HAS SOPS 8159517 HAS SOUS 1404497 HAS SOUPS 537674 WITH SCORE 553850.589
AT ITER 3709 NEW BEST:: SOT 19842186 SOS 16176589 HAS SOPS 8159517 HAS SOUS 1404251 HAS SOUPS 537428 WITH SCORE 553604.589
AT ITER 3730 NEW BEST:: SOT 19841571 SOS 16175236 HAS SOPS 8158779 HAS SOUS 1403985 HAS SOUPS 537285 WITH SCORE 553460.236
AT ITER 3736 NEW BEST:: SOT 19841748 SOS 16170654 HAS SOPS 8156852 HAS SOUS 1403630 HAS SOUPS 537107 WITH SCORE 553277.654
AT ITER 3738 NEW BEST:: SOT 19841748 SOS 16170654 HAS SOPS 8156852 HAS SOUS 1403564 HAS SOUPS 537041 WITH SCORE 553211.654
AT ITER 3780 NEW BEST:: SOT 19840158 SOS 15990638 HAS SOPS 8072260 HAS SOUS 1402612 HAS SOUPS 536089 WITH SCORE 552079.638
AT ITER 3781 NEW BEST:: SOT 19840158 SOS 15990468 HAS SOPS 8072260 HAS SOUS 1402544 HAS SOUPS 536055 WITH SCORE 552045.468
AT ITER 3782 NEW BEST:: SOT 19839964 SOS 15990294 HAS SOPS 8071016 HAS SOUS 1402564 HAS SOUPS 535861 WITH SCORE 551851.294
AT ITER 3783 NEW BEST:: SOT 19839878 SOS 15990122 HAS SOPS 8070844 HAS SOUS 1402501 HAS SOUPS 535798 WITH SCORE 551788.122
AT ITER 3787 NEW BEST:: SOT 19839878 SOS 15990122 HAS SOPS 8070844 HAS SOUS 1402459 HAS SOUPS 535756 WITH SCORE 551746.122
AT ITER 3797 NEW BEST:: SOT 19838801 SOS 15987696 HAS SOPS 8069778 HAS SOUS 1401717 HAS SOUPS 535286 WITH SCORE 551273.696
AT ITER 3830 NEW BEST:: SOT 19838801 SOS 15987696 HAS SOPS 8069778 HAS SOUS 1401471 HAS SOUPS 535040 WITH SCORE 551027.696
AT ITER 3838 NEW BEST:: SOT 19838379 SOS 15985312 HAS SOPS 8067394 HAS SOUS 1400818 HAS SOUPS 534387 WITH SCORE 550372.312
AT ITER 3850 NEW BEST:: SOT 19838321 SOS 15985138 HAS SOPS 8067510 HAS SOUS 1400760 HAS SOUPS 534387 WITH SCORE 550372.138
AT ITER 3862 NEW BEST:: SOT 19824522 SOS 15965778 HAS SOPS 8058632 HAS SOUS 1399805 HAS SOUPS 534277 WITH SCORE 550242.778
AT ITER 3891 NEW BEST:: SOT 19824522 SOS 15965319 HAS SOPS 8060468 HAS SOUS 1399346 HAS SOUPS 534277 WITH SCORE 550242.319
AT ITER 3909 NEW BEST:: SOT 19824809 SOS 15965893 HAS SOPS 8061042 HAS SOUS 1399318 HAS SOUPS 534249 WITH SCORE 550214.893
AT ITER 3922 NEW BEST:: SOT 19822444 SOS 15962796 HAS SOPS 8059211 HAS SOUS 1399357 HAS SOUPS 534242 WITH SCORE 550204.796
AT ITER 3928 NEW BEST:: SOT 19822444 SOS 15962796 HAS SOPS 8059211 HAS SOUS 1399163 HAS SOUPS 534048 WITH SCORE 550010.796
AT ITER 3929 NEW BEST:: SOT 19822434 SOS 15962751 HAS SOPS 8059166 HAS SOUS 1399153 HAS SOUPS 534038 WITH SCORE 550000.751
AT ITER 3972 NEW BEST:: SOT 19822434 SOS 15962751 HAS SOPS 8059166 HAS SOUS 1399081 HAS SOUPS 533966 WITH SCORE 549928.751
AT ITER 3983 NEW BEST:: SOT 19821367 SOS 15964366 HAS SOPS 8058336 HAS SOUS 1398690 HAS SOUPS 533412 WITH SCORE 549376.366
AT ITER 4005 NEW BEST:: SOT 19820840 SOS 15961307 HAS SOPS 8057747 HAS SOUS 1397406 HAS SOUPS 532622 WITH SCORE 548583.307
AT ITER 4023 NEW BEST:: SOT 19819229 SOS 15973295 HAS SOPS 8063185 HAS SOUS 1396724 HAS SOUPS 531940 WITH SCORE 547913.295
AT ITER 4055 NEW BEST:: SOT 19819651 SOS 15925800 HAS SOPS 8063636 HAS SOUS 1396753 HAS SOUPS 531969 WITH SCORE 547894.8
AT ITER 4072 NEW BEST:: SOT 19819476 SOS 15915776 HAS SOPS 8057118 HAS SOUS 1395835 HAS SOUPS 531067 WITH SCORE 546982.776
AT ITER 4076 NEW BEST:: SOT 19809447 SOS 15902007 HAS SOPS 8050353 HAS SOUS 1395393 HAS SOUPS 530945 WITH SCORE 546847.007
AT ITER 4114 NEW BEST:: SOT 19808029 SOS 15913147 HAS SOPS 8053063 HAS SOUS 1395420 HAS SOUPS 530410 WITH SCORE 546323.147
AT ITER 4121 NEW BEST:: SOT 19808029 SOS 15913147 HAS SOPS 8053063 HAS SOUS 1395248 HAS SOUPS 530238 WITH SCORE 546151.147
AT ITER 4129 NEW BEST:: SOT 19806786 SOS 15915058 HAS SOPS 8052469 HAS SOUS 1394630 HAS SOUPS 529453 WITH SCORE 545368.058
AT ITER 4133 NEW BEST:: SOT 19806426 SOS 15914698 HAS SOPS 8052109 HAS SOUS 1394540 HAS SOUPS 529363 WITH SCORE 545277.698
AT ITER 4146 NEW BEST:: SOT 19806417 SOS 15914680 HAS SOPS 8052091 HAS SOUS 1394531 HAS SOUPS 529354 WITH SCORE 545268.68
AT ITER 4153 NEW BEST:: SOT 19805897 SOS 15921215 HAS SOPS 8055626 HAS SOUS 1394391 HAS SOUPS 529214 WITH SCORE 545135.215
AT ITER 4161 NEW BEST:: SOT 19804238 SOS 15930824 HAS SOPS 8059695 HAS SOUS 1393771 HAS SOUPS 528594 WITH SCORE 544524.824
AT ITER 4184 NEW BEST:: SOT 19804238 SOS 15930824 HAS SOPS 8059695 HAS SOUS 1393525 HAS SOUPS 528348 WITH SCORE 544278.824
AT ITER 4188 NEW BEST:: SOT 19800823 SOS 15931464 HAS SOPS 8056185 HAS SOUS 1391231 HAS SOUPS 526054 WITH SCORE 541985.464
AT ITER 4200 NEW BEST:: SOT 19800773 SOS 15931339 HAS SOPS 8056185 HAS SOUS 1391156 HAS SOUPS 526004 WITH SCORE 541935.339
AT ITER 4219 NEW BEST:: SOT 19800773 SOS 15931339 HAS SOPS 8056185 HAS SOUS 1391152 HAS SOUPS 526000 WITH SCORE 541931.339
AT ITER 4224 NEW BEST:: SOT 19799371 SOS 15946379 HAS SOPS 8062630 HAS SOUS 1391002 HAS SOUPS 525277 WITH SCORE 541223.379
AT ITER 4229 NEW BEST:: SOT 19798200 SOS 15951809 HAS SOPS 8063575 HAS SOUS 1391049 HAS SOUPS 525025 WITH SCORE 540976.809
AT ITER 4234 NEW BEST:: SOT 19797797 SOS 15951256 HAS SOPS 8063222 HAS SOUS 1391046 HAS SOUPS 525022 WITH SCORE 540973.256
AT ITER 4252 NEW BEST:: SOT 19797727 SOS 15951291 HAS SOPS 8063082 HAS SOUS 1390975 HAS SOUPS 524916 WITH SCORE 540867.291
AT ITER 4271 NEW BEST:: SOT 19797284 SOS 15950079 HAS SOPS 8063500 HAS SOUS 1390649 HAS SOUPS 524916 WITH SCORE 540866.079
AT ITER 4278 NEW BEST:: SOT 19797188 SOS 15949531 HAS SOPS 8063332 HAS SOUS 1390424 HAS SOUPS 524767 WITH SCORE 540716.531
AT ITER 4283 NEW BEST:: SOT 19797058 SOS 15944511 HAS SOPS 8060012 HAS SOUS 1390124 HAS SOUPS 524467 WITH SCORE 540411.511
AT ITER 4312 NEW BEST:: SOT 19795866 SOS 15943375 HAS SOPS 8058876 HAS SOUS 1389373 HAS SOUPS 523716 WITH SCORE 539659.375
AT ITER 4329 NEW BEST:: SOT 19795866 SOS 15943375 HAS SOPS 8058876 HAS SOUS 1389339 HAS SOUPS 523682 WITH SCORE 539625.375
AT ITER 4330 NEW BEST:: SOT 19794646 SOS 15941579 HAS SOPS 8058092 HAS SOUS 1389199 HAS SOUPS 523634 WITH SCORE 539575.579
AT ITER 4343 NEW BEST:: SOT 19793498 SOS 15938962 HAS SOPS 8055475 HAS SOUS 1388693 HAS SOUPS 523128 WITH SCORE 539066.962
AT ITER 4393 NEW BEST:: SOT 19792036 SOS 15883038 HAS SOPS 7999551 HAS SOUS 1387421 HAS SOUPS 521856 WITH SCORE 537739.038
AT ITER 4401 NEW BEST:: SOT 19791066 SOS 15884663 HAS SOPS 7998851 HAS SOUS 1387016 HAS SOUPS 521296 WITH SCORE 537180.663
AT ITER 4428 NEW BEST:: SOT 19791066 SOS 15884663 HAS SOPS 7998851 HAS SOUS 1386436 HAS SOUPS 520716 WITH SCORE 536600.663
AT ITER 4433 NEW BEST:: SOT 19791066 SOS 15884663 HAS SOPS 7998851 HAS SOUS 1386220 HAS SOUPS 520500 WITH SCORE 536384.663
AT ITER 4448 NEW BEST:: SOT 19790977 SOS 15884485 HAS SOPS 8000463 HAS SOUS 1385773 HAS SOUPS 520411 WITH SCORE 536295.485
AT ITER 4449 NEW BEST:: SOT 19790763 SOS 15882037 HAS SOPS 8000035 HAS SOUS 1384907 HAS SOUPS 519949 WITH SCORE 535831.037
AT ITER 4483 NEW BEST:: SOT 19790608 SOS 15897348 HAS SOPS 7999852 HAS SOUS 1384879 HAS SOUPS 519921 WITH SCORE 535818.348
AT ITER 4495 NEW BEST:: SOT 19790598 SOS 15897328 HAS SOPS 7999832 HAS SOUS 1384835 HAS SOUPS 519877 WITH SCORE 535774.328
AT ITER 4496 NEW BEST:: SOT 19790598 SOS 15897328 HAS SOPS 7999832 HAS SOUS 1384785 HAS SOUPS 519827 WITH SCORE 535724.328
AT ITER 4513 NEW BEST:: SOT 19790094 SOS 15894808 HAS SOPS 7999832 HAS SOUS 1384069 HAS SOUPS 519615 WITH SCORE 535509.808
AT ITER 4540 NEW BEST:: SOT 19790094 SOS 15894808 HAS SOPS 7999832 HAS SOUS 1383899 HAS SOUPS 519445 WITH SCORE 535339.808
AT ITER 4549 NEW BEST:: SOT 19790802 SOS 15896667 HAS SOPS 7999476 HAS SOUS 1383970 HAS SOUPS 519073 WITH SCORE 534969.667
AT ITER 4568 NEW BEST:: SOT 19789264 SOS 15902837 HAS SOPS 7999766 HAS SOUS 1383573 HAS SOUPS 518284 WITH SCORE 534186.837
AT ITER 4585 NEW BEST:: SOT 19789264 SOS 15902837 HAS SOPS 7999766 HAS SOUS 1383327 HAS SOUPS 518038 WITH SCORE 533940.837
AT ITER 4615 NEW BEST:: SOT 19788683 SOS 15909691 HAS SOPS 8002765 HAS SOUS 1383286 HAS SOUPS 517740 WITH SCORE 533649.691
AT ITER 4620 NEW BEST:: SOT 19788683 SOS 15909539 HAS SOPS 8002613 HAS SOUS 1383248 HAS SOUPS 517702 WITH SCORE 533611.539
AT ITER 4621 NEW BEST:: SOT 19788253 SOS 15908679 HAS SOPS 8001753 HAS SOUS 1382634 HAS SOUPS 517088 WITH SCORE 532996.679
AT ITER 4626 NEW BEST:: SOT 19788210 SOS 15908593 HAS SOPS 8001882 HAS SOUS 1382548 HAS SOUPS 517045 WITH SCORE 532953.593
AT ITER 4690 NEW BEST:: SOT 19788140 SOS 15908673 HAS SOPS 8001812 HAS SOUS 1382508 HAS SOUPS 516995 WITH SCORE 532903.673
AT ITER 4691 NEW BEST:: SOT 19787683 SOS 15907358 HAS SOPS 8002502 HAS SOUS 1381650 HAS SOUPS 516538 WITH SCORE 532445.358
AT ITER 4710 NEW BEST:: SOT 19787614 SOS 15907278 HAS SOPS 8002132 HAS SOUS 1381580 HAS SOUPS 516410 WITH SCORE 532317.278
AT ITER 4718 NEW BEST:: SOT 19787614 SOS 15907278 HAS SOPS 8002132 HAS SOUS 1381334 HAS SOUPS 516164 WITH SCORE 532071.278
AT ITER 4730 NEW BEST:: SOT 19777855 SOS 15892517 HAS SOPS 7995775 HAS SOUS 1380142 HAS SOUPS 515736 WITH SCORE 531628.517
AT ITER 4748 NEW BEST:: SOT 19777832 SOS 15892471 HAS SOPS 7995209 HAS SOUS 1380200 HAS SOUPS 515690 WITH SCORE 531582.471
AT ITER 4784 NEW BEST:: SOT 19777411 SOS 15891282 HAS SOPS 7994118 HAS SOUS 1379885 HAS SOUPS 515375 WITH SCORE 531266.282
AT ITER 4789 NEW BEST:: SOT 19777368 SOS 15891153 HAS SOPS 7994032 HAS SOUS 1379885 HAS SOUPS 515375 WITH SCORE 531266.153
AT ITER 4797 NEW BEST:: SOT 19778734 SOS 15893165 HAS SOPS 7994524 HAS SOUS 1379593 HAS SOUPS 515059 WITH SCORE 530952.165
AT ITER 4808 NEW BEST:: SOT 19778511 SOS 15892719 HAS SOPS 7994078 HAS SOUS 1379224 HAS SOUPS 514690 WITH SCORE 530582.719
AT ITER 4809 NEW BEST:: SOT 19776962 SOS 15901652 HAS SOPS 7998041 HAS SOUS 1378562 HAS SOUPS 514028 WITH SCORE 529929.652
AT ITER 4819 NEW BEST:: SOT 19775681 SOS 15903716 HAS SOPS 7996250 HAS SOUS 1377955 HAS SOUPS 513164 WITH SCORE 529067.716
AT ITER 4832 NEW BEST:: SOT 19775681 SOS 15903716 HAS SOPS 7996250 HAS SOUS 1377887 HAS SOUPS 513096 WITH SCORE 528999.716
AT ITER 4836 NEW BEST:: SOT 19775240 SOS 15907566 HAS SOPS 7998410 HAS SOUS 1377615 HAS SOUPS 512824 WITH SCORE 528731.566
AT ITER 4849 NEW BEST:: SOT 19776058 SOS 15908768 HAS SOPS 7999612 HAS SOUS 1377479 HAS SOUPS 512688 WITH SCORE 528596.768
AT ITER 4852 NEW BEST:: SOT 19776088 SOS 15908690 HAS SOPS 7999624 HAS SOUS 1377473 HAS SOUPS 512688 WITH SCORE 528596.69
AT ITER 4879 NEW BEST:: SOT 19773187 SOS 15917215 HAS SOPS 8002009 HAS SOUS 1376749 HAS SOUPS 511964 WITH SCORE 527881.215
AT ITER 4894 NEW BEST:: SOT 19773104 SOS 15916714 HAS SOPS 8001843 HAS SOUS 1376558 HAS SOUPS 511840 WITH SCORE 527756.714
AT ITER 5012 NEW BEST:: SOT 19773104 SOS 15916714 HAS SOPS 8001843 HAS SOUS 1376510 HAS SOUPS 511792 WITH SCORE 527708.714
AT ITER 5027 NEW BEST:: SOT 19773096 SOS 15916698 HAS SOPS 8001807 HAS SOUS 1376506 HAS SOUPS 511784 WITH SCORE 527700.698
AT ITER 5031 NEW BEST:: SOT 19772971 SOS 15916448 HAS SOPS 8001557 HAS SOUS 1376381 HAS SOUPS 511659 WITH SCORE 527575.448
AT ITER 5043 NEW BEST:: SOT 19772846 SOS 15916073 HAS SOPS 8001182 HAS SOUS 1376306 HAS SOUPS 511584 WITH SCORE 527500.073
AT ITER 5067 NEW BEST:: SOT 19763477 SOS 15903368 HAS SOPS 7991987 HAS SOUS 1376281 HAS SOUPS 511259 WITH SCORE 527162.368
AT ITER 5073 NEW BEST:: SOT 19763367 SOS 15903265 HAS SOPS 7991884 HAS SOUS 1376090 HAS SOUPS 511068 WITH SCORE 526971.265
AT ITER 5078 NEW BEST:: SOT 19763340 SOS 15903427 HAS SOPS 7991911 HAS SOUS 1376081 HAS SOUPS 511050 WITH SCORE 526953.427
AT ITER 5085 NEW BEST:: SOT 19763340 SOS 15903427 HAS SOPS 7991911 HAS SOUS 1376031 HAS SOUPS 511000 WITH SCORE 526903.427
AT ITER 5101 NEW BEST:: SOT 19762697 SOS 15902141 HAS SOPS 7990625 HAS SOUS 1374697 HAS SOUPS 509666 WITH SCORE 525568.141
AT ITER 5105 NEW BEST:: SOT 19762797 SOS 15902341 HAS SOPS 7990825 HAS SOUS 1374662 HAS SOUPS 509631 WITH SCORE 525533.341
AT ITER 5107 NEW BEST:: SOT 19762795 SOS 15902339 HAS SOPS 7990813 HAS SOUS 1374660 HAS SOUPS 509627 WITH SCORE 525529.339
AT ITER 5121 NEW BEST:: SOT 19763149 SOS 15902551 HAS SOPS 7991025 HAS SOUS 1374629 HAS SOUPS 509596 WITH SCORE 525498.551
AT ITER 5127 NEW BEST:: SOT 19763149 SOS 15902551 HAS SOPS 7991050 HAS SOUS 1374619 HAS SOUPS 509591 WITH SCORE 525493.551
AT ITER 5130 NEW BEST:: SOT 19763119 SOS 15902491 HAS SOPS 7990990 HAS SOUS 1374589 HAS SOUPS 509561 WITH SCORE 525463.491
AT ITER 5133 NEW BEST:: SOT 19764095 SOS 15889866 HAS SOPS 7984455 HAS SOUS 1374335 HAS SOUPS 509307 WITH SCORE 525196.866
AT ITER 5136 NEW BEST:: SOT 19763854 SOS 15891599 HAS SOPS 7983973 HAS SOUS 1374080 HAS SOUPS 508609 WITH SCORE 524500.599
AT ITER 5180 NEW BEST:: SOT 19763854 SOS 15891599 HAS SOPS 7983973 HAS SOUS 1374010 HAS SOUPS 508539 WITH SCORE 524430.599
AT ITER 5188 NEW BEST:: SOT 19764226 SOS 15892126 HAS SOPS 7984159 HAS SOUS 1373979 HAS SOUPS 508477 WITH SCORE 524369.126
AT ITER 5190 NEW BEST:: SOT 19764185 SOS 15892003 HAS SOPS 7984241 HAS SOUS 1373938 HAS SOUPS 508477 WITH SCORE 524369.003
AT ITER 5196 NEW BEST:: SOT 19763010 SOS 15896098 HAS SOPS 7984136 HAS SOUS 1374163 HAS SOUPS 508422 WITH SCORE 524318.098
AT ITER 5207 NEW BEST:: SOT 19762364 SOS 15898141 HAS SOPS 7984454 HAS SOUS 1374014 HAS SOUPS 508158 WITH SCORE 524056.141
AT ITER 5224 NEW BEST:: SOT 19763419 SOS 15891225 HAS SOPS 7980908 HAS SOUS 1374013 HAS SOUPS 508157 WITH SCORE 524048.225
AT ITER 5231 NEW BEST:: SOT 19763136 SOS 15889854 HAS SOPS 7979537 HAS SOUS 1373569 HAS SOUPS 507713 WITH SCORE 523602.854
AT ITER 5255 NEW BEST:: SOT 19762712 SOS 15890424 HAS SOPS 7979397 HAS SOUS 1373326 HAS SOUPS 507470 WITH SCORE 523360.424
AT ITER 5273 NEW BEST:: SOT 19762176 SOS 15889077 HAS SOPS 7978050 HAS SOUS 1373178 HAS SOUPS 507322 WITH SCORE 523211.077
AT ITER 5278 NEW BEST:: SOT 19761738 SOS 15887106 HAS SOPS 7977174 HAS SOUS 1372300 HAS SOUPS 506663 WITH SCORE 522550.106
AT ITER 5279 NEW BEST:: SOT 19761653 SOS 15886481 HAS SOPS 7977444 HAS SOUS 1371951 HAS SOUPS 506493 WITH SCORE 522379.481
AT ITER 5295 NEW BEST:: SOT 19761345 SOS 15889057 HAS SOPS 7978880 HAS SOUS 1371757 HAS SOUPS 506299 WITH SCORE 522188.05700000003
AT ITER 5355 NEW BEST:: SOT 19761025 SOS 15886827 HAS SOPS 7978360 HAS SOUS 1371095 HAS SOUPS 505979 WITH SCORE 521865.827
AT ITER 5375 NEW BEST:: SOT 19761025 SOS 15887013 HAS SOPS 7977616 HAS SOUS 1371095 HAS SOUPS 505793 WITH SCORE 521680.013
AT ITER 5379 NEW BEST:: SOT 19761025 SOS 15887013 HAS SOPS 7977616 HAS SOUS 1370867 HAS SOUPS 505565 WITH SCORE 521452.013
AT ITER 5396 NEW BEST:: SOT 19759633 SOS 15888189 HAS SOPS 7975492 HAS SOUS 1369951 HAS SOUPS 504429 WITH SCORE 520317.189
AT ITER 5421 NEW BEST:: SOT 19759718 SOS 15888464 HAS SOPS 7975415 HAS SOUS 1369969 HAS SOUPS 504389 WITH SCORE 520277.464
AT ITER 5456 NEW BEST:: SOT 19759718 SOS 15888464 HAS SOPS 7975415 HAS SOUS 1369731 HAS SOUPS 504151 WITH SCORE 520039.464
AT ITER 5464 NEW BEST:: SOT 19759668 SOS 15887564 HAS SOPS 7974890 HAS SOUS 1369671 HAS SOUPS 504116 WITH SCORE 520003.564
AT ITER 5466 NEW BEST:: SOT 19758230 SOS 15884270 HAS SOPS 7973686 HAS SOUS 1369182 HAS SOUPS 504045 WITH SCORE 519929.27
AT ITER 5473 NEW BEST:: SOT 19758424 SOS 15888344 HAS SOPS 7974850 HAS SOUS 1369182 HAS SOUPS 503851 WITH SCORE 519739.344
AT ITER 5495 NEW BEST:: SOT 19757871 SOS 15888660 HAS SOPS 7974376 HAS SOUS 1368892 HAS SOUPS 503561 WITH SCORE 519449.66
AT ITER 5519 NEW BEST:: SOT 19756663 SOS 15887150 HAS SOPS 7973621 HAS SOUS 1368892 HAS SOUPS 503561 WITH SCORE 519448.15
AT ITER 5525 NEW BEST:: SOT 19756663 SOS 15887150 HAS SOPS 7973621 HAS SOUS 1368646 HAS SOUPS 503315 WITH SCORE 519202.15
AT ITER 5531 NEW BEST:: SOT 19756431 SOS 15886106 HAS SOPS 7972577 HAS SOUS 1368298 HAS SOUPS 502967 WITH SCORE 518853.106
AT ITER 5535 NEW BEST:: SOT 19756431 SOS 15886106 HAS SOPS 7972577 HAS SOUS 1368280 HAS SOUPS 502949 WITH SCORE 518835.106
AT ITER 5536 NEW BEST:: SOT 19756121 SOS 15885486 HAS SOPS 7971957 HAS SOUS 1368184 HAS SOUPS 502853 WITH SCORE 518738.486
AT ITER 5542 NEW BEST:: SOT 19754638 SOS 15891511 HAS SOPS 7974162 HAS SOUS 1367865 HAS SOUPS 502534 WITH SCORE 518425.511
AT ITER 5548 NEW BEST:: SOT 19754262 SOS 15898041 HAS SOPS 7977952 HAS SOUS 1367763 HAS SOUPS 502432 WITH SCORE 518330.041
AT ITER 5564 NEW BEST:: SOT 19753166 SOS 15896261 HAS SOPS 7976742 HAS SOUS 1366439 HAS SOUPS 501222 WITH SCORE 517118.261
AT ITER 5579 NEW BEST:: SOT 19753189 SOS 15896215 HAS SOPS 7976673 HAS SOUS 1366439 HAS SOUPS 501222 WITH SCORE 517118.215
AT ITER 5586 NEW BEST:: SOT 19753189 SOS 15896215 HAS SOPS 7976673 HAS SOUS 1366239 HAS SOUPS 501022 WITH SCORE 516918.215
AT ITER 5589 NEW BEST:: SOT 19753048 SOS 15895933 HAS SOPS 7975721 HAS SOUS 1366225 HAS SOUPS 500874 WITH SCORE 516769.933
AT ITER 5613 NEW BEST:: SOT 19753048 SOS 15895883 HAS SOPS 7975821 HAS SOUS 1366195 HAS SOUPS 500874 WITH SCORE 516769.883
AT ITER 5624 NEW BEST:: SOT 19752633 SOS 15898734 HAS SOPS 7977002 HAS SOUS 1365947 HAS SOUPS 500626 WITH SCORE 516524.734
AT ITER 5651 NEW BEST:: SOT 19752571 SOS 15897160 HAS SOPS 7975428 HAS SOUS 1365823 HAS SOUPS 500502 WITH SCORE 516399.16
AT ITER 5706 NEW BEST:: SOT 19752195 SOS 15896408 HAS SOPS 7974676 HAS SOUS 1365232 HAS SOUPS 499911 WITH SCORE 515807.408
AT ITER 5709 NEW BEST:: SOT 19752195 SOS 15896408 HAS SOPS 7974676 HAS SOUS 1365086 HAS SOUPS 499765 WITH SCORE 515661.408
AT ITER 5733 NEW BEST:: SOT 19751779 SOS 15901156 HAS SOPS 7975974 HAS SOUS 1365130 HAS SOUPS 499579 WITH SCORE 515480.156
AT ITER 5764 NEW BEST:: SOT 19751608 SOS 15902315 HAS SOPS 7975948 HAS SOUS 1365055 HAS SOUPS 499425 WITH SCORE 515327.315
AT ITER 5772 NEW BEST:: SOT 19751688 SOS 15901855 HAS SOPS 7975488 HAS SOUS 1364763 HAS SOUPS 499133 WITH SCORE 515034.855
AT ITER 5780 NEW BEST:: SOT 19751680 SOS 15901846 HAS SOPS 7975479 HAS SOUS 1364748 HAS SOUPS 499118 WITH SCORE 515019.846
AT ITER 5791 NEW BEST:: SOT 19754020 SOS 15905161 HAS SOPS 7976649 HAS SOUS 1364697 HAS SOUPS 498872 WITH SCORE 514777.161
AT ITER 5830 NEW BEST:: SOT 19755010 SOS 15342312 HAS SOPS 7514084 HAS SOUS 1364128 HAS SOUPS 498303 WITH SCORE 513645.312
AT ITER 5832 NEW BEST:: SOT 19754578 SOS 15341435 HAS SOPS 7513207 HAS SOUS 1364037 HAS SOUPS 498212 WITH SCORE 513553.435
AT ITER 5863 NEW BEST:: SOT 19754578 SOS 15341435 HAS SOPS 7513207 HAS SOUS 1363961 HAS SOUPS 498136 WITH SCORE 513477.435
AT ITER 5868 NEW BEST:: SOT 19754066 SOS 15340376 HAS SOPS 7512030 HAS SOUS 1363790 HAS SOUPS 497965 WITH SCORE 513305.376
AT ITER 5926 NEW BEST:: SOT 19752254 SOS 15342809 HAS SOPS 7511808 HAS SOUS 1363321 HAS SOUPS 497496 WITH SCORE 512838.809
AT ITER 5932 NEW BEST:: SOT 19752254 SOS 15342809 HAS SOPS 7511808 HAS SOUS 1363131 HAS SOUPS 497306 WITH SCORE 512648.809
AT ITER 5940 NEW BEST:: SOT 19751845 SOS 15341991 HAS SOPS 7510990 HAS SOUS 1362923 HAS SOUPS 497098 WITH SCORE 512439.991
AT ITER 5941 NEW BEST:: SOT 19750656 SOS 15339249 HAS SOPS 7510068 HAS SOUS 1362149 HAS SOUPS 496688 WITH SCORE 512027.249
AT ITER 5949 NEW BEST:: SOT 19750500 SOS 15338937 HAS SOPS 7510146 HAS SOUS 1361837 HAS SOUPS 496454 WITH SCORE 511792.937
AT ITER 6009 NEW BEST:: SOT 19750270 SOS 15337327 HAS SOPS 7508536 HAS SOUS 1361377 HAS SOUPS 495994 WITH SCORE 511331.327
AT ITER 6024 NEW BEST:: SOT 19750270 SOS 15337327 HAS SOPS 7508536 HAS SOUS 1361369 HAS SOUPS 495986 WITH SCORE 511323.327
AT ITER 6050 NEW BEST:: SOT 19749827 SOS 15334226 HAS SOPS 7507650 HAS SOUS 1360210 HAS SOUPS 495270 WITH SCORE 510604.226
AT ITER 6058 NEW BEST:: SOT 19749827 SOS 15334041 HAS SOPS 7507465 HAS SOUS 1360190 HAS SOUPS 495250 WITH SCORE 510584.041
AT ITER 6061 NEW BEST:: SOT 19749827 SOS 15333971 HAS SOPS 7507465 HAS SOUS 1360176 HAS SOUPS 495250 WITH SCORE 510583.971
AT ITER 6070 NEW BEST:: SOT 19749827 SOS 15333971 HAS SOPS 7507465 HAS SOUS 1360158 HAS SOUPS 495232 WITH SCORE 510565.971
AT ITER 6088 NEW BEST:: SOT 19744550 SOS 15326848 HAS SOPS 7502820 HAS SOUS 1360015 HAS SOUPS 495089 WITH SCORE 510415.848
AT ITER 6090 NEW BEST:: SOT 19744550 SOS 15326848 HAS SOPS 7502820 HAS SOUS 1359941 HAS SOUPS 495015 WITH SCORE 510341.848
AT ITER 6104 NEW BEST:: SOT 19744546 SOS 15326873 HAS SOPS 7502680 HAS SOUS 1359952 HAS SOUPS 494993 WITH SCORE 510319.873
AT ITER 6122 NEW BEST:: SOT 19744422 SOS 15326625 HAS SOPS 7501812 HAS SOUS 1359828 HAS SOUPS 494745 WITH SCORE 510071.625
AT ITER 6126 NEW BEST:: SOT 19744055 SOS 15325891 HAS SOPS 7501078 HAS SOUS 1359473 HAS SOUPS 494390 WITH SCORE 509715.891
AT ITER 6133 NEW BEST:: SOT 19743981 SOS 15301791 HAS SOPS 7476258 HAS SOUS 1359409 HAS SOUPS 494182 WITH SCORE 509483.791
AT ITER 6142 NEW BEST:: SOT 19743981 SOS 15301791 HAS SOPS 7476258 HAS SOUS 1359331 HAS SOUPS 494104 WITH SCORE 509405.791
AT ITER 6147 NEW BEST:: SOT 19743470 SOS 15305374 HAS SOPS 7476916 HAS SOUS 1359061 HAS SOUPS 493639 WITH SCORE 508944.374
AT ITER 6156 NEW BEST:: SOT 19743424 SOS 15303948 HAS SOPS 7476180 HAS SOUS 1359015 HAS SOUPS 493639 WITH SCORE 508942.948
AT ITER 6157 NEW BEST:: SOT 19742878 SOS 15302856 HAS SOPS 7475088 HAS SOUS 1358081 HAS SOUPS 492705 WITH SCORE 508007.856
AT ITER 6187 NEW BEST:: SOT 19742878 SOS 15302856 HAS SOPS 7475088 HAS SOUS 1357865 HAS SOUPS 492489 WITH SCORE 507791.856
AT ITER 6197 NEW BEST:: SOT 19742878 SOS 15302856 HAS SOPS 7475088 HAS SOUS 1357833 HAS SOUPS 492457 WITH SCORE 507759.856
AT ITER 6248 NEW BEST:: SOT 19734138 SOS 15289943 HAS SOPS 7469853 HAS SOUS 1356918 HAS SOUPS 492210 WITH SCORE 507499.943
AT ITER 6269 NEW BEST:: SOT 19733715 SOS 15287602 HAS SOPS 7469957 HAS SOUS 1355840 HAS SOUPS 491621 WITH SCORE 506908.602
AT ITER 6270 NEW BEST:: SOT 19733715 SOS 15287602 HAS SOPS 7469957 HAS SOUS 1355796 HAS SOUPS 491577 WITH SCORE 506864.602
AT ITER 6311 NEW BEST:: SOT 19733715 SOS 15287556 HAS SOPS 7470141 HAS SOUS 1355750 HAS SOUPS 491577 WITH SCORE 506864.556
AT ITER 6320 NEW BEST:: SOT 19733769 SOS 15285882 HAS SOPS 7469277 HAS SOUS 1355695 HAS SOUPS 491576 WITH SCORE 506861.882
AT ITER 6349 NEW BEST:: SOT 19733779 SOS 15285646 HAS SOPS 7469041 HAS SOUS 1355652 HAS SOUPS 491533 WITH SCORE 506818.646
AT ITER 6354 NEW BEST:: SOT 19733626 SOS 15285340 HAS SOPS 7468735 HAS SOUS 1355414 HAS SOUPS 491295 WITH SCORE 506580.34
AT ITER 6365 NEW BEST:: SOT 19731841 SOS 15281269 HAS SOPS 7467169 HAS SOUS 1354421 HAS SOUPS 490803 WITH SCORE 506084.269
AT ITER 6373 NEW BEST:: SOT 19731841 SOS 15281269 HAS SOPS 7467169 HAS SOUS 1354311 HAS SOUPS 490693 WITH SCORE 505974.269
AT ITER 6397 NEW BEST:: SOT 19731445 SOS 15281995 HAS SOPS 7466905 HAS SOUS 1354245 HAS SOUPS 490561 WITH SCORE 505842.995
AT ITER 6401 NEW BEST:: SOT 19731344 SOS 15281793 HAS SOPS 7466703 HAS SOUS 1354144 HAS SOUPS 490460 WITH SCORE 505741.793
AT ITER 6402 NEW BEST:: SOT 19731872 SOS 15284037 HAS SOPS 7468947 HAS SOUS 1353880 HAS SOUPS 490196 WITH SCORE 505480.037
AT ITER 6423 NEW BEST:: SOT 19731608 SOS 15283776 HAS SOPS 7468686 HAS SOUS 1353480 HAS SOUPS 489796 WITH SCORE 505079.776
AT ITER 6426 NEW BEST:: SOT 19729578 SOS 15279121 HAS SOPS 7467006 HAS SOUS 1352299 HAS SOUPS 489210 WITH SCORE 504489.121
AT ITER 6432 NEW BEST:: SOT 19729234 SOS 15284101 HAS SOPS 7468821 HAS SOUS 1352409 HAS SOUPS 489109 WITH SCORE 504393.101
AT ITER 6461 NEW BEST:: SOT 19726709 SOS 15297214 HAS SOPS 7474874 HAS SOUS 1352053 HAS SOUPS 488753 WITH SCORE 504050.214
AT ITER 6503 NEW BEST:: SOT 19726568 SOS 15297778 HAS SOPS 7474968 HAS SOUS 1352006 HAS SOUPS 488706 WITH SCORE 504003.778
AT ITER 6520 NEW BEST:: SOT 19726568 SOS 15297778 HAS SOPS 7474968 HAS SOUS 1351838 HAS SOUPS 488538 WITH SCORE 503835.778
AT ITER 6528 NEW BEST:: SOT 19726521 SOS 15297731 HAS SOPS 7474686 HAS SOUS 1351838 HAS SOUPS 488491 WITH SCORE 503788.731
AT ITER 6543 NEW BEST:: SOT 19719377 SOS 15286676 HAS SOPS 7469923 HAS SOUS 1350780 HAS SOUPS 488005 WITH SCORE 503291.676
AT ITER 6555 NEW BEST:: SOT 19719265 SOS 15286508 HAS SOPS 7469475 HAS SOUS 1350612 HAS SOUPS 487781 WITH SCORE 503067.508
AT ITER 6560 NEW BEST:: SOT 19719221 SOS 15286420 HAS SOPS 7468632 HAS SOUS 1350417 HAS SOUPS 487435 WITH SCORE 502721.42
AT ITER 6561 NEW BEST:: SOT 19719188 SOS 15284356 HAS SOPS 7467234 HAS SOUS 1350310 HAS SOUPS 487328 WITH SCORE 502612.356
AT ITER 6563 NEW BEST:: SOT 19718924 SOS 15283828 HAS SOPS 7466706 HAS SOUS 1349964 HAS SOUPS 486982 WITH SCORE 502265.828
AT ITER 6574 NEW BEST:: SOT 19718924 SOS 15283828 HAS SOPS 7466706 HAS SOUS 1349748 HAS SOUPS 486766 WITH SCORE 502049.828
AT ITER 6599 NEW BEST:: SOT 19718519 SOS 15284329 HAS SOPS 7466352 HAS SOUS 1349571 HAS SOUPS 486532 WITH SCORE 501816.329
AT ITER 6600 NEW BEST:: SOT 19718519 SOS 15284329 HAS SOPS 7466352 HAS SOUS 1349451 HAS SOUPS 486412 WITH SCORE 501696.329
AT ITER 6601 NEW BEST:: SOT 19718469 SOS 15283979 HAS SOPS 7466252 HAS SOUS 1349340 HAS SOUPS 486351 WITH SCORE 501634.979
AT ITER 6611 NEW BEST:: SOT 19718167 SOS 15288247 HAS SOPS 7468780 HAS SOUS 1349212 HAS SOUPS 486223 WITH SCORE 501511.247
AT ITER 6616 NEW BEST:: SOT 19717906 SOS 15286105 HAS SOPS 7468258 HAS SOUS 1348584 HAS SOUPS 485919 WITH SCORE 501205.105
AT ITER 6620 NEW BEST:: SOT 19716774 SOS 15287076 HAS SOPS 7467129 HAS SOUS 1347991 HAS SOUPS 485186 WITH SCORE 500473.076
AT ITER 6625 NEW BEST:: SOT 19716702 SOS 15286908 HAS SOPS 7467081 HAS SOUS 1347967 HAS SOUPS 485186 WITH SCORE 500472.908
AT ITER 6638 NEW BEST:: SOT 19717352 SOS 15287180 HAS SOPS 7467353 HAS SOUS 1347740 HAS SOUPS 484959 WITH SCORE 500246.18
AT ITER 6643 NEW BEST:: SOT 19717190 SOS 15286451 HAS SOPS 7466624 HAS SOUS 1347496 HAS SOUPS 484715 WITH SCORE 500001.451
AT ITER 6673 NEW BEST:: SOT 19717190 SOS 15286451 HAS SOPS 7466624 HAS SOUS 1347338 HAS SOUPS 484557 WITH SCORE 499843.451
AT ITER 6678 NEW BEST:: SOT 19716936 SOS 15284488 HAS SOPS 7466116 HAS SOUS 1346749 HAS SOUPS 484259 WITH SCORE 499543.488
AT ITER 6701 NEW BEST:: SOT 19716936 SOS 15284488 HAS SOPS 7466116 HAS SOUS 1346605 HAS SOUPS 484115 WITH SCORE 499399.488
AT ITER 6705 NEW BEST:: SOT 19716619 SOS 15283854 HAS SOPS 7465482 HAS SOUS 1345546 HAS SOUPS 483056 WITH SCORE 498339.854
AT ITER 6743 NEW BEST:: SOT 19715403 SOS 15281565 HAS SOPS 7464814 HAS SOUS 1345167 HAS SOUPS 482951 WITH SCORE 498232.565
AT ITER 6747 NEW BEST:: SOT 19715089 SOS 15237746 HAS SOPS 7418945 HAS SOUS 1344720 HAS SOUPS 482094 WITH SCORE 497331.746
AT ITER 6764 NEW BEST:: SOT 19712667 SOS 15234430 HAS SOPS 7416775 HAS SOUS 1344401 HAS SOUPS 481775 WITH SCORE 497009.43
AT ITER 6768 NEW BEST:: SOT 19712235 SOS 15236702 HAS SOPS 7417927 HAS SOUS 1344081 HAS SOUPS 481455 WITH SCORE 496691.702
AT ITER 6790 NEW BEST:: SOT 19712138 SOS 15236508 HAS SOPS 7417248 HAS SOUS 1344081 HAS SOUPS 481358 WITH SCORE 496594.508
AT ITER 6809 NEW BEST:: SOT 19711874 SOS 15235825 HAS SOPS 7417340 HAS SOUS 1343846 HAS SOUPS 481278 WITH SCORE 496513.825
AT ITER 6836 NEW BEST:: SOT 19711670 SOS 15235417 HAS SOPS 7416932 HAS SOUS 1343754 HAS SOUPS 481186 WITH SCORE 496421.417
AT ITER 6844 NEW BEST:: SOT 19711638 SOS 15235353 HAS SOPS 7416868 HAS SOUS 1343732 HAS SOUPS 481164 WITH SCORE 496399.353
AT ITER 6854 NEW BEST:: SOT 19711455 SOS 15234987 HAS SOPS 7416502 HAS SOUS 1343521 HAS SOUPS 480953 WITH SCORE 496187.987
AT ITER 6856 NEW BEST:: SOT 19707681 SOS 15230144 HAS SOPS 7413399 HAS SOUS 1343500 HAS SOUPS 480898 WITH SCORE 496128.144
AT ITER 6863 NEW BEST:: SOT 19707636 SOS 15230054 HAS SOPS 7413309 HAS SOUS 1343455 HAS SOUPS 480853 WITH SCORE 496083.054
AT ITER 6867 NEW BEST:: SOT 19707348 SOS 15229478 HAS SOPS 7412013 HAS SOUS 1343301 HAS SOUPS 480555 WITH SCORE 495784.478
AT ITER 6881 NEW BEST:: SOT 19707316 SOS 15229414 HAS SOPS 7411949 HAS SOUS 1343269 HAS SOUPS 480523 WITH SCORE 495752.414
AT ITER 6904 NEW BEST:: SOT 19707316 SOS 15229414 HAS SOPS 7411949 HAS SOUS 1343117 HAS SOUPS 480371 WITH SCORE 495600.414
AT ITER 6905 NEW BEST:: SOT 19707316 SOS 15229414 HAS SOPS 7411949 HAS SOUS 1343097 HAS SOUPS 480351 WITH SCORE 495580.414
AT ITER 6907 NEW BEST:: SOT 19707276 SOS 15229334 HAS SOPS 7411869 HAS SOUS 1343057 HAS SOUPS 480311 WITH SCORE 495540.334
AT ITER 6912 NEW BEST:: SOT 19707276 SOS 15229334 HAS SOPS 7411869 HAS SOUS 1342943 HAS SOUPS 480197 WITH SCORE 495426.334
AT ITER 6924 NEW BEST:: SOT 19707101 SOS 15228984 HAS SOPS 7411519 HAS SOUS 1342709 HAS SOUPS 479963 WITH SCORE 495191.984
AT ITER 6934 NEW BEST:: SOT 19706566 SOS 15291402 HAS SOPS 7412421 HAS SOUS 1343115 HAS SOUPS 479873 WITH SCORE 495164.402
AT ITER 6955 NEW BEST:: SOT 19706805 SOS 15292325 HAS SOPS 7411389 HAS SOUS 1343409 HAS SOUPS 479776 WITH SCORE 495068.325
AT ITER 6958 NEW BEST:: SOT 19706714 SOS 15292143 HAS SOPS 7411207 HAS SOUS 1343318 HAS SOUPS 479685 WITH SCORE 494977.143
AT ITER 6960 NEW BEST:: SOT 19704720 SOS 15287610 HAS SOPS 7409399 HAS SOUS 1342214 HAS SOUPS 479126 WITH SCORE 494413.61
AT ITER 6967 NEW BEST:: SOT 19701252 SOS 15282648 HAS SOPS 7407539 HAS SOUS 1341848 HAS SOUPS 479042 WITH SCORE 494324.648
AT ITER 6984 NEW BEST:: SOT 19700837 SOS 15286646 HAS SOPS 7409777 HAS SOUS 1341609 HAS SOUPS 478803 WITH SCORE 494089.646
AT ITER 6985 NEW BEST:: SOT 19699747 SOS 15293258 HAS SOPS 7411679 HAS SOUS 1341535 HAS SOUPS 478415 WITH SCORE 493708.258
AT ITER 7001 NEW BEST:: SOT 19699697 SOS 15293148 HAS SOPS 7411619 HAS SOUS 1341495 HAS SOUPS 478385 WITH SCORE 493678.148
AT ITER 7027 NEW BEST:: SOT 19699551 SOS 15293703 HAS SOPS 7410324 HAS SOUS 1341520 HAS SOUPS 478040 WITH SCORE 493333.703
AT ITER 7066 NEW BEST:: SOT 19699551 SOS 15293703 HAS SOPS 7410324 HAS SOUS 1341338 HAS SOUPS 477858 WITH SCORE 493151.703
AT ITER 7081 NEW BEST:: SOT 19699482 SOS 15293565 HAS SOPS 7409211 HAS SOUS 1341274 HAS SOUPS 477599 WITH SCORE 492892.565
AT ITER 7087 NEW BEST:: SOT 19699356 SOS 15292305 HAS SOPS 7408581 HAS SOUS 1341148 HAS SOUPS 477515 WITH SCORE 492807.305
AT ITER 7102 NEW BEST:: SOT 19696324 SOS 15293441 HAS SOPS 7405717 HAS SOUS 1339380 HAS SOUPS 475747 WITH SCORE 491040.441
AT ITER 7142 NEW BEST:: SOT 19696371 SOS 15292247 HAS SOPS 7405083 HAS SOUS 1339371 HAS SOUPS 475738 WITH SCORE 491030.247
AT ITER 7151 NEW BEST:: SOT 19702319 SOS 15297433 HAS SOPS 7409537 HAS SOUS 1339137 HAS SOUPS 475278 WITH SCORE 490575.433
AT ITER 7154 NEW BEST:: SOT 19702319 SOS 15297433 HAS SOPS 7409537 HAS SOUS 1339119 HAS SOUPS 475260 WITH SCORE 490557.433
AT ITER 7162 NEW BEST:: SOT 19702288 SOS 15297371 HAS SOPS 7409475 HAS SOUS 1339083 HAS SOUPS 475224 WITH SCORE 490521.371
AT ITER 7169 NEW BEST:: SOT 19702288 SOS 15297371 HAS SOPS 7409475 HAS SOUS 1339033 HAS SOUPS 475174 WITH SCORE 490471.371
AT ITER 7175 NEW BEST:: SOT 19702189 SOS 15297668 HAS SOPS 7409277 HAS SOUS 1339033 HAS SOUPS 475075 WITH SCORE 490372.668
AT ITER 7198 NEW BEST:: SOT 19702189 SOS 15297668 HAS SOPS 7409277 HAS SOUS 1338787 HAS SOUPS 474829 WITH SCORE 490126.668
AT ITER 7230 NEW BEST:: SOT 19702061 SOS 15297092 HAS SOPS 7409021 HAS SOUS 1338531 HAS SOUPS 474637 WITH SCORE 489934.092
AT ITER 7236 NEW BEST:: SOT 19701863 SOS 15297191 HAS SOPS 7408625 HAS SOUS 1338405 HAS SOUPS 474412 WITH SCORE 489709.191
AT ITER 7285 NEW BEST:: SOT 19701656 SOS 15296777 HAS SOPS 7408211 HAS SOUS 1338283 HAS SOUPS 474290 WITH SCORE 489586.777
AT ITER 7287 NEW BEST:: SOT 19701573 SOS 15295396 HAS SOPS 7408930 HAS SOUS 1337803 HAS SOUPS 474230 WITH SCORE 489525.396
AT ITER 7291 NEW BEST:: SOT 19701573 SOS 15295396 HAS SOPS 7408930 HAS SOUS 1337785 HAS SOUPS 474212 WITH SCORE 489507.396
AT ITER 7302 NEW BEST:: SOT 19700166 SOS 15292303 HAS SOPS 7407232 HAS SOUS 1336790 HAS SOUPS 473496 WITH SCORE 488788.303
AT ITER 7304 NEW BEST:: SOT 19691122 SOS 15281741 HAS SOPS 7398878 HAS SOUS 1337183 HAS SOUPS 473352 WITH SCORE 488633.741
AT ITER 7316 NEW BEST:: SOT 19691122 SOS 15281741 HAS SOPS 7398878 HAS SOUS 1336955 HAS SOUPS 473124 WITH SCORE 488405.741
AT ITER 7353 NEW BEST:: SOT 19691167 SOS 15276429 HAS SOPS 7397884 HAS SOUS 1336914 HAS SOUPS 473117 WITH SCORE 488393.429
AT ITER 7368 NEW BEST:: SOT 19690639 SOS 15275333 HAS SOPS 7398108 HAS SOUS 1336122 HAS SOUPS 472589 WITH SCORE 487864.333
AT ITER 7412 NEW BEST:: SOT 19689540 SOS 15272765 HAS SOPS 7397390 HAS SOUS 1335093 HAS SOUPS 471930 WITH SCORE 487202.765
AT ITER 7424 NEW BEST:: SOT 19689288 SOS 15272891 HAS SOPS 7396886 HAS SOUS 1334967 HAS SOUPS 471678 WITH SCORE 486950.891
AT ITER 7450 NEW BEST:: SOT 19693528 SOS 15290301 HAS SOPS 7405728 HAS SOUS 1335310 HAS SOUPS 471613 WITH SCORE 486903.301
AT ITER 7487 NEW BEST:: SOT 19693583 SOS 15285735 HAS SOPS 7402832 HAS SOUS 1335120 HAS SOUPS 471423 WITH SCORE 486708.735
AT ITER 7505 NEW BEST:: SOT 19693583 SOS 15285735 HAS SOPS 7402832 HAS SOUS 1335112 HAS SOUPS 471415 WITH SCORE 486700.735
AT ITER 7519 NEW BEST:: SOT 19693405 SOS 15285638 HAS SOPS 7402735 HAS SOUS 1334934 HAS SOUPS 471237 WITH SCORE 486522.638
AT ITER 7523 NEW BEST:: SOT 19693365 SOS 15285598 HAS SOPS 7402695 HAS SOUS 1334734 HAS SOUPS 471037 WITH SCORE 486322.598
AT ITER 7549 NEW BEST:: SOT 19692954 SOS 15284776 HAS SOPS 7401873 HAS SOUS 1333925 HAS SOUPS 470228 WITH SCORE 485512.776
AT ITER 7553 NEW BEST:: SOT 19692954 SOS 15284221 HAS SOPS 7401318 HAS SOUS 1333814 HAS SOUPS 470117 WITH SCORE 485401.221
AT ITER 7566 NEW BEST:: SOT 19692882 SOS 15283986 HAS SOPS 7401538 HAS SOUS 1333651 HAS SOUPS 470045 WITH SCORE 485328.986
AT ITER 7579 NEW BEST:: SOT 19692518 SOS 15282773 HAS SOPS 7400325 HAS SOUS 1333560 HAS SOUPS 469954 WITH SCORE 485236.773
AT ITER 7590 NEW BEST:: SOT 19691452 SOS 15281161 HAS SOPS 7399571 HAS SOUS 1333352 HAS SOUPS 469824 WITH SCORE 485105.161
AT ITER 7645 NEW BEST:: SOT 19691218 SOS 15280693 HAS SOPS 7399103 HAS SOUS 1333118 HAS SOUPS 469590 WITH SCORE 484870.693
AT ITER 7649 NEW BEST:: SOT 19694263 SOS 15283741 HAS SOPS 7400399 HAS SOUS 1332401 HAS SOUPS 468873 WITH SCORE 484156.741
AT ITER 7673 NEW BEST:: SOT 19694263 SOS 15283741 HAS SOPS 7400399 HAS SOUS 1332293 HAS SOUPS 468765 WITH SCORE 484048.741
AT ITER 7674 NEW BEST:: SOT 19693723 SOS 15283417 HAS SOPS 7400075 HAS SOUS 1332401 HAS SOUPS 468765 WITH SCORE 484048.417
AT ITER 7691 NEW BEST:: SOT 19692604 SOS 15280774 HAS SOPS 7399457 HAS SOUS 1331598 HAS SOUPS 468367 WITH SCORE 483647.774
AT ITER 7723 NEW BEST:: SOT 19686036 SOS 15270763 HAS SOPS 7395364 HAS SOUS 1330997 HAS SOUPS 468304 WITH SCORE 483574.763
AT ITER 7774 NEW BEST:: SOT 19685134 SOS 15269372 HAS SOPS 7394465 HAS SOUS 1330997 HAS SOUPS 468304 WITH SCORE 483573.372
AT ITER 7780 NEW BEST:: SOT 19685134 SOS 15269372 HAS SOPS 7394465 HAS SOUS 1330883 HAS SOUPS 468190 WITH SCORE 483459.372
AT ITER 7816 NEW BEST:: SOT 19685124 SOS 15269352 HAS SOPS 7394510 HAS SOUS 1330860 HAS SOUPS 468180 WITH SCORE 483449.352
AT ITER 7856 NEW BEST:: SOT 19685074 SOS 15269252 HAS SOPS 7394410 HAS SOUS 1330860 HAS SOUPS 468180 WITH SCORE 483449.252
AT ITER 7878 NEW BEST:: SOT 19685074 SOS 15269252 HAS SOPS 7394410 HAS SOUS 1330734 HAS SOUPS 468054 WITH SCORE 483323.252
AT ITER 7916 NEW BEST:: SOT 19684983 SOS 15269525 HAS SOPS 7394228 HAS SOUS 1330552 HAS SOUPS 467781 WITH SCORE 483050.525
AT ITER 7929 NEW BEST:: SOT 19684983 SOS 15269525 HAS SOPS 7394228 HAS SOUS 1330492 HAS SOUPS 467721 WITH SCORE 482990.525
AT ITER 7944 NEW BEST:: SOT 19684983 SOS 15269525 HAS SOPS 7394228 HAS SOUS 1330374 HAS SOUPS 467603 WITH SCORE 482872.525
AT ITER 7962 NEW BEST:: SOT 19681177 SOS 15256776 HAS SOPS 7390110 HAS SOUS 1329881 HAS SOUPS 467521 WITH SCORE 482777.776
AT ITER 7963 NEW BEST:: SOT 19684952 SOS 15261973 HAS SOPS 7392417 HAS SOUS 1329799 HAS SOUPS 467289 WITH SCORE 482550.973
AT ITER 7990 NEW BEST:: SOT 19685518 SOS 15258725 HAS SOPS 7391269 HAS SOUS 1329525 HAS SOUPS 467155 WITH SCORE 482413.725
AT ITER 7991 NEW BEST:: SOT 19685116 SOS 15257921 HAS SOPS 7390465 HAS SOUS 1329030 HAS SOUPS 466660 WITH SCORE 481917.921
AT ITER 8036 NEW BEST:: SOT 19685088 SOS 15258257 HAS SOPS 7390591 HAS SOUS 1329030 HAS SOUPS 466646 WITH SCORE 481904.257
AT ITER 8044 NEW BEST:: SOT 19685016 SOS 15258113 HAS SOPS 7390447 HAS SOUS 1328886 HAS SOUPS 466502 WITH SCORE 481760.113
AT ITER 8045 NEW BEST:: SOT 19672618 SOS 15240016 HAS SOPS 7382877 HAS SOUS 1327573 HAS SOUPS 466146 WITH SCORE 481386.016
AT ITER 8048 NEW BEST:: SOT 19672286 SOS 15239269 HAS SOPS 7382545 HAS SOUS 1327407 HAS SOUPS 466063 WITH SCORE 481302.269
AT ITER 8052 NEW BEST:: SOT 19670534 SOS 15235814 HAS SOPS 7379090 HAS SOUS 1327176 HAS SOUPS 465832 WITH SCORE 481067.814
AT ITER 8078 NEW BEST:: SOT 19670352 SOS 15236360 HAS SOPS 7378726 HAS SOUS 1327357 HAS SOUPS 465831 WITH SCORE 481067.36
AT ITER 8096 NEW BEST:: SOT 19669865 SOS 15235386 HAS SOPS 7377752 HAS SOUS 1326921 HAS SOUPS 465395 WITH SCORE 480630.386
AT ITER 8098 NEW BEST:: SOT 19669938 SOS 15236072 HAS SOPS 7377573 HAS SOUS 1326918 HAS SOUPS 465219 WITH SCORE 480455.072
AT ITER 8120 NEW BEST:: SOT 19668926 SOS 15236604 HAS SOPS 7375975 HAS SOUS 1326456 HAS SOUPS 464615 WITH SCORE 479851.604
AT ITER 8129 NEW BEST:: SOT 19668776 SOS 15235069 HAS SOPS 7375675 HAS SOUS 1326127 HAS SOUPS 464533 WITH SCORE 479768.069
AT ITER 8148 NEW BEST:: SOT 19668644 SOS 15234772 HAS SOPS 7375543 HAS SOUS 1326061 HAS SOUPS 464500 WITH SCORE 479734.772
AT ITER 8193 NEW BEST:: SOT 19668383 SOS 15234511 HAS SOPS 7375282 HAS SOUS 1325921 HAS SOUPS 464360 WITH SCORE 479594.511
AT ITER 8195 NEW BEST:: SOT 19668383 SOS 15234511 HAS SOPS 7375282 HAS SOUS 1325695 HAS SOUPS 464134 WITH SCORE 479368.511
AT ITER 8231 NEW BEST:: SOT 19668222 SOS 15234350 HAS SOPS 7375121 HAS SOUS 1325414 HAS SOUPS 463853 WITH SCORE 479087.35
AT ITER 8234 NEW BEST:: SOT 19667966 SOS 15236023 HAS SOPS 7375844 HAS SOUS 1325253 HAS SOUPS 463692 WITH SCORE 478928.023
AT ITER 8255 NEW BEST:: SOT 19667783 SOS 15235840 HAS SOPS 7375661 HAS SOUS 1325192 HAS SOUPS 463631 WITH SCORE 478866.84
AT ITER 8266 NEW BEST:: SOT 19667763 SOS 15235840 HAS SOPS 7375461 HAS SOUS 1325202 HAS SOUPS 463601 WITH SCORE 478836.84
AT ITER 8288 NEW BEST:: SOT 19667763 SOS 15235840 HAS SOPS 7375461 HAS SOUS 1325186 HAS SOUPS 463585 WITH SCORE 478820.84
AT ITER 8289 NEW BEST:: SOT 19667427 SOS 15243624 HAS SOPS 7380175 HAS SOUS 1325176 HAS SOUPS 463575 WITH SCORE 478818.624
AT ITER 8297 NEW BEST:: SOT 19667427 SOS 15243624 HAS SOPS 7380175 HAS SOUS 1325138 HAS SOUPS 463537 WITH SCORE 478780.624
AT ITER 8306 NEW BEST:: SOT 19666673 SOS 15249970 HAS SOPS 7382951 HAS SOUS 1325247 HAS SOUPS 463408 WITH SCORE 478657.97
AT ITER 8327 NEW BEST:: SOT 19666444 SOS 15249385 HAS SOPS 7383001 HAS SOUS 1324916 HAS SOUPS 463204 WITH SCORE 478453.385
AT ITER 8369 NEW BEST:: SOT 19666752 SOS 15244529 HAS SOPS 7379465 HAS SOUS 1324780 HAS SOUPS 462948 WITH SCORE 478192.529
AT ITER 8394 NEW BEST:: SOT 19665381 SOS 15250194 HAS SOPS 7380890 HAS SOUS 1324637 HAS SOUPS 462805 WITH SCORE 478055.194
AT ITER 8400 NEW BEST:: SOT 19665381 SOS 15250194 HAS SOPS 7380890 HAS SOUS 1324505 HAS SOUPS 462673 WITH SCORE 477923.194
AT ITER 8405 NEW BEST:: SOT 19665381 SOS 15250194 HAS SOPS 7380890 HAS SOUS 1324461 HAS SOUPS 462629 WITH SCORE 477879.194
AT ITER 8430 NEW BEST:: SOT 19665311 SOS 15250040 HAS SOPS 7380806 HAS SOUS 1324419 HAS SOUPS 462601 WITH SCORE 477851.04
AT ITER 8438 NEW BEST:: SOT 19665311 SOS 15250040 HAS SOPS 7380806 HAS SOUS 1324173 HAS SOUPS 462355 WITH SCORE 477605.04
AT ITER 8452 NEW BEST:: SOT 19662533 SOS 15254558 HAS SOPS 7380944 HAS SOUS 1323473 HAS SOUPS 461655 WITH SCORE 476909.558
AT ITER 8473 NEW BEST:: SOT 19661125 SOS 15256706 HAS SOPS 7380554 HAS SOUS 1322905 HAS SOUPS 461130 WITH SCORE 476386.706
AT ITER 8506 NEW BEST:: SOT 19661040 SOS 15256536 HAS SOPS 7380384 HAS SOUS 1322735 HAS SOUPS 460960 WITH SCORE 476216.536
AT ITER 8515 NEW BEST:: SOT 19661040 SOS 15256536 HAS SOPS 7380384 HAS SOUS 1322707 HAS SOUPS 460932 WITH SCORE 476188.536
AT ITER 8559 NEW BEST:: SOT 19661040 SOS 15256536 HAS SOPS 7380384 HAS SOUS 1322461 HAS SOUPS 460686 WITH SCORE 475942.536
AT ITER 8591 NEW BEST:: SOT 19661029 SOS 15256459 HAS SOPS 7380362 HAS SOUS 1322439 HAS SOUPS 460675 WITH SCORE 475931.459
AT ITER 8622 NEW BEST:: SOT 19661028 SOS 15256251 HAS SOPS 7380154 HAS SOUS 1322437 HAS SOUPS 460673 WITH SCORE 475929.251
AT ITER 8640 NEW BEST:: SOT 19659687 SOS 15262056 HAS SOPS 7382269 HAS SOUS 1321465 HAS SOUPS 459701 WITH SCORE 474963.056
AT ITER 8642 NEW BEST:: SOT 19659589 SOS 15261615 HAS SOPS 7382073 HAS SOUS 1321318 HAS SOUPS 459603 WITH SCORE 474864.615
AT ITER 8671 NEW BEST:: SOT 19659529 SOS 15259515 HAS SOPS 7380873 HAS SOUS 1321078 HAS SOUPS 459423 WITH SCORE 474682.515
AT ITER 8675 NEW BEST:: SOT 19658548 SOS 15268930 HAS SOPS 7386098 HAS SOUS 1320516 HAS SOUPS 458861 WITH SCORE 474129.93
AT ITER 8699 NEW BEST:: SOT 19658287 SOS 15267853 HAS SOPS 7385021 HAS SOUS 1320218 HAS SOUPS 458563 WITH SCORE 473830.853
AT ITER 8731 NEW BEST:: SOT 19657136 SOS 15115224 HAS SOPS 7222402 HAS SOUS 1320399 HAS SOUPS 458078 WITH SCORE 473193.224
AT ITER 8752 NEW BEST:: SOT 19654242 SOS 15110969 HAS SOPS 7220556 HAS SOUS 1320000 HAS SOUPS 457898 WITH SCORE 473008.969
AT ITER 8768 NEW BEST:: SOT 19654242 SOS 15110969 HAS SOPS 7220556 HAS SOUS 1319982 HAS SOUPS 457880 WITH SCORE 472990.969
AT ITER 8769 NEW BEST:: SOT 19654214 SOS 15111179 HAS SOPS 7220556 HAS SOUS 1319982 HAS SOUPS 457866 WITH SCORE 472977.179
AT ITER 8773 NEW BEST:: SOT 19654208 SOS 15111167 HAS SOPS 7220544 HAS SOUS 1319976 HAS SOUPS 457860 WITH SCORE 472971.167
AT ITER 8790 NEW BEST:: SOT 19654190 SOS 15114107 HAS SOPS 7220436 HAS SOUS 1319958 HAS SOUPS 457818 WITH SCORE 472932.107
AT ITER 8816 NEW BEST:: SOT 19655606 SOS 15116113 HAS SOPS 7221144 HAS SOUS 1319863 HAS SOUPS 457605 WITH SCORE 472721.113
AT ITER 8833 NEW BEST:: SOT 19655509 SOS 15115919 HAS SOPS 7220950 HAS SOUS 1319766 HAS SOUPS 457508 WITH SCORE 472623.919
AT ITER 8847 NEW BEST:: SOT 19655375 SOS 15115651 HAS SOPS 7220682 HAS SOUS 1319588 HAS SOUPS 457330 WITH SCORE 472445.651
AT ITER 8850 NEW BEST:: SOT 19655375 SOS 15115651 HAS SOPS 7220682 HAS SOUS 1319450 HAS SOUPS 457192 WITH SCORE 472307.651
AT ITER 8861 NEW BEST:: SOT 19655375 SOS 15115651 HAS SOPS 7220682 HAS SOUS 1319432 HAS SOUPS 457174 WITH SCORE 472289.651
AT ITER 8872 NEW BEST:: SOT 19654523 SOS 15114799 HAS SOPS 7220256 HAS SOUS 1319432 HAS SOUPS 457174 WITH SCORE 472288.799
AT ITER 8879 NEW BEST:: SOT 19653417 SOS 15115631 HAS SOPS 7218643 HAS SOUS 1319013 HAS SOUPS 456592 WITH SCORE 471707.631
AT ITER 8889 NEW BEST:: SOT 19650127 SOS 15110793 HAS SOPS 7216679 HAS SOUS 1318695 HAS SOUPS 456528 WITH SCORE 471638.793
AT ITER 8898 NEW BEST:: SOT 19647286 SOS 15119947 HAS SOPS 7219163 HAS SOUS 1316992 HAS SOUPS 454825 WITH SCORE 469944.947
AT ITER 8932 NEW BEST:: SOT 19647286 SOS 15119947 HAS SOPS 7219163 HAS SOUS 1316782 HAS SOUPS 454615 WITH SCORE 469734.947
AT ITER 8945 NEW BEST:: SOT 19647192 SOS 15119289 HAS SOPS 7218975 HAS SOUS 1316500 HAS SOUPS 454427 WITH SCORE 469546.289
AT ITER 8959 NEW BEST:: SOT 19647192 SOS 15119289 HAS SOPS 7218975 HAS SOUS 1316426 HAS SOUPS 454353 WITH SCORE 469472.289
AT ITER 8969 NEW BEST:: SOT 19647169 SOS 15119243 HAS SOPS 7218929 HAS SOUS 1316410 HAS SOUPS 454337 WITH SCORE 469456.243
AT ITER 8973 NEW BEST:: SOT 19647242 SOS 15119389 HAS SOPS 7218929 HAS SOUS 1316343 HAS SOUPS 454270 WITH SCORE 469389.389
AT ITER 8983 NEW BEST:: SOT 19647217 SOS 15119424 HAS SOPS 7218454 HAS SOUS 1316378 HAS SOUPS 454220 WITH SCORE 469339.424
AT ITER 9000 NEW BEST:: SOT 19647217 SOS 15119424 HAS SOPS 7218454 HAS SOUS 1316336 HAS SOUPS 454178 WITH SCORE 469297.424
AT ITER 9003 NEW BEST:: SOT 19646899 SOS 15118788 HAS SOPS 7217818 HAS SOUS 1316015 HAS SOUPS 453857 WITH SCORE 468975.788
AT ITER 9008 NEW BEST:: SOT 19646899 SOS 15118788 HAS SOPS 7217818 HAS SOUS 1315869 HAS SOUPS 453711 WITH SCORE 468829.788
AT ITER 9016 NEW BEST:: SOT 19647189 SOS 15118788 HAS SOPS 7217818 HAS SOUS 1315579 HAS SOUPS 453421 WITH SCORE 468539.788
AT ITER 9017 NEW BEST:: SOT 19647189 SOS 15118788 HAS SOPS 7217818 HAS SOUS 1315561 HAS SOUPS 453403 WITH SCORE 468521.788
AT ITER 9019 NEW BEST:: SOT 19647189 SOS 15118788 HAS SOPS 7217818 HAS SOUS 1315303 HAS SOUPS 453145 WITH SCORE 468263.788
AT ITER 9024 NEW BEST:: SOT 19647217 SOS 15118648 HAS SOPS 7217783 HAS SOUS 1315296 HAS SOUPS 453145 WITH SCORE 468263.648
AT ITER 9060 NEW BEST:: SOT 19647119 SOS 15117502 HAS SOPS 7217587 HAS SOUS 1314965 HAS SOUPS 453004 WITH SCORE 468121.502
AT ITER 9099 NEW BEST:: SOT 19647438 SOS 15104980 HAS SOPS 7209765 HAS SOUS 1314811 HAS SOUPS 452850 WITH SCORE 467954.98
AT ITER 9173 NEW BEST:: SOT 19647184 SOS 15107119 HAS SOPS 7210864 HAS SOUS 1314747 HAS SOUPS 452786 WITH SCORE 467893.119
AT ITER 9177 NEW BEST:: SOT 19647284 SOS 15108439 HAS SOPS 7211110 HAS SOUS 1314542 HAS SOUPS 452559 WITH SCORE 467667.439
AT ITER 9178 NEW BEST:: SOT 19647048 SOS 15107515 HAS SOPS 7210751 HAS SOUS 1314067 HAS SOUPS 452197 WITH SCORE 467304.515
AT ITER 9193 NEW BEST:: SOT 19646767 SOS 15104458 HAS SOPS 7210994 HAS SOUS 1313126 HAS SOUPS 451916 WITH SCORE 467020.458
AT ITER 9201 NEW BEST:: SOT 19646787 SOS 15104458 HAS SOPS 7210994 HAS SOUS 1313116 HAS SOUPS 451906 WITH SCORE 467010.458
AT ITER 9213 NEW BEST:: SOT 19646761 SOS 15104658 HAS SOPS 7211104 HAS SOUS 1313099 HAS SOUPS 451889 WITH SCORE 466993.658
AT ITER 9217 NEW BEST:: SOT 19646339 SOS 15103814 HAS SOPS 7210260 HAS SOUS 1313027 HAS SOUPS 451817 WITH SCORE 466920.814
AT ITER 9218 NEW BEST:: SOT 19646117 SOS 15101525 HAS SOPS 7209816 HAS SOUS 1312436 HAS SOUPS 451595 WITH SCORE 466696.525
AT ITER 9229 NEW BEST:: SOT 19646200 SOS 15099367 HAS SOPS 7208488 HAS SOUS 1312436 HAS SOUPS 451595 WITH SCORE 466694.367
AT ITER 9237 NEW BEST:: SOT 19644274 SOS 15097013 HAS SOPS 7206134 HAS SOUS 1312436 HAS SOUPS 451381 WITH SCORE 466478.013
AT ITER 9266 NEW BEST:: SOT 19644274 SOS 15097013 HAS SOPS 7206134 HAS SOUS 1312414 HAS SOUPS 451359 WITH SCORE 466456.013
AT ITER 9271 NEW BEST:: SOT 19643781 SOS 15100703 HAS SOPS 7207319 HAS SOUS 1312255 HAS SOUPS 451033 WITH SCORE 466133.703
AT ITER 9294 NEW BEST:: SOT 19643637 SOS 15066048 HAS SOPS 7197528 HAS SOUS 1312111 HAS SOUPS 450889 WITH SCORE 465955.048
AT ITER 9305 NEW BEST:: SOT 19643805 SOS 15066286 HAS SOPS 7197612 HAS SOUS 1312097 HAS SOUPS 450861 WITH SCORE 465927.286
AT ITER 9320 NEW BEST:: SOT 19644141 SOS 15066762 HAS SOPS 7197780 HAS SOUS 1312069 HAS SOUPS 450805 WITH SCORE 465871.762
AT ITER 9343 NEW BEST:: SOT 19643483 SOS 15068228 HAS SOPS 7197836 HAS SOUS 1311853 HAS SOUPS 450495 WITH SCORE 465563.228
AT ITER 9349 NEW BEST:: SOT 19643233 SOS 15067728 HAS SOPS 7197336 HAS SOUS 1311603 HAS SOUPS 450245 WITH SCORE 465312.728
AT ITER 9353 NEW BEST:: SOT 19643165 SOS 15067252 HAS SOPS 7197200 HAS SOUS 1311467 HAS SOUPS 450177 WITH SCORE 465244.252
AT ITER 9364 NEW BEST:: SOT 19643137 SOS 15067140 HAS SOPS 7197158 HAS SOUS 1311453 HAS SOUPS 450177 WITH SCORE 465244.14
AT ITER 9370 NEW BEST:: SOT 19643109 SOS 15066944 HAS SOPS 7197102 HAS SOUS 1311397 HAS SOUPS 450149 WITH SCORE 465215.944
AT ITER 9393 NEW BEST:: SOT 19640558 SOS 15073297 HAS SOPS 7196480 HAS SOUS 1311171 HAS SOUPS 449458 WITH SCORE 464531.297
AT ITER 9397 NEW BEST:: SOT 19640384 SOS 15074904 HAS SOPS 7197237 HAS SOUS 1311167 HAS SOUPS 449454 WITH SCORE 464528.904
AT ITER 9446 NEW BEST:: SOT 19641627 SOS 15079117 HAS SOPS 7198153 HAS SOUS 1311305 HAS SOUPS 449435 WITH SCORE 464514.117
AT ITER 9458 NEW BEST:: SOT 19640715 SOS 15089069 HAS SOPS 7202985 HAS SOUS 1311121 HAS SOUPS 449251 WITH SCORE 464340.069
AT ITER 9481 NEW BEST:: SOT 19640814 SOS 15086327 HAS SOPS 7201293 HAS SOUS 1311115 HAS SOUPS 449245 WITH SCORE 464331.327
AT ITER 9498 NEW BEST:: SOT 19640814 SOS 15086327 HAS SOPS 7201293 HAS SOUS 1310947 HAS SOUPS 449077 WITH SCORE 464163.327
AT ITER 9508 NEW BEST:: SOT 19640790 SOS 15086295 HAS SOPS 7201273 HAS SOUS 1310947 HAS SOUPS 449077 WITH SCORE 464163.295
AT ITER 9518 NEW BEST:: SOT 19640773 SOS 15086261 HAS SOPS 7201239 HAS SOUS 1310938 HAS SOUPS 449068 WITH SCORE 464154.261
AT ITER 9520 NEW BEST:: SOT 19632076 SOS 15073330 HAS SOPS 7195744 HAS SOUS 1309928 HAS SOUPS 448734 WITH SCORE 463807.33
AT ITER 9522 NEW BEST:: SOT 19631830 SOS 15072793 HAS SOPS 7198252 HAS SOUS 1309073 HAS SOUPS 448488 WITH SCORE 463560.793
AT ITER 9527 NEW BEST:: SOT 19631872 SOS 15073675 HAS SOPS 7198504 HAS SOUS 1309073 HAS SOUPS 448446 WITH SCORE 463519.675
AT ITER 9539 NEW BEST:: SOT 19631872 SOS 15073675 HAS SOPS 7198504 HAS SOUS 1308949 HAS SOUPS 448322 WITH SCORE 463395.675
AT ITER 9584 NEW BEST:: SOT 19631872 SOS 15073675 HAS SOPS 7198504 HAS SOUS 1308901 HAS SOUPS 448274 WITH SCORE 463347.675
AT ITER 9600 NEW BEST:: SOT 19629943 SOS 15079410 HAS SOPS 7200029 HAS SOUS 1308378 HAS SOUPS 447751 WITH SCORE 462830.41
AT ITER 9605 NEW BEST:: SOT 19628793 SOS 15076588 HAS SOPS 7199817 HAS SOUS 1307603 HAS SOUPS 447498 WITH SCORE 462574.588
AT ITER 9637 NEW BEST:: SOT 19628445 SOS 15076559 HAS SOPS 7199788 HAS SOUS 1307516 HAS SOUPS 447469 WITH SCORE 462545.559
AT ITER 9639 NEW BEST:: SOT 19628445 SOS 15076559 HAS SOPS 7199788 HAS SOUS 1307488 HAS SOUPS 447441 WITH SCORE 462517.559
AT ITER 9668 NEW BEST:: SOT 19628445 SOS 15076559 HAS SOPS 7199788 HAS SOUS 1307438 HAS SOUPS 447391 WITH SCORE 462467.559
AT ITER 9808 NEW BEST:: SOT 19628190 SOS 15075450 HAS SOPS 7198679 HAS SOUS 1307158 HAS SOUPS 447111 WITH SCORE 462186.45
AT ITER 9826 NEW BEST:: SOT 19628190 SOS 15075450 HAS SOPS 7198679 HAS SOUS 1306912 HAS SOUPS 446865 WITH SCORE 461940.45
AT ITER 9836 NEW BEST:: SOT 19628190 SOS 15074386 HAS SOPS 7198945 HAS SOUS 1306641 HAS SOUPS 446860 WITH SCORE 461934.386
AT ITER 9869 NEW BEST:: SOT 19628190 SOS 15074386 HAS SOPS 7198945 HAS SOUS 1306549 HAS SOUPS 446768 WITH SCORE 461842.386
AT ITER 9877 NEW BEST:: SOT 19628467 SOS 15068883 HAS SOPS 7196577 HAS SOUS 1306273 HAS SOUPS 446701 WITH SCORE 461769.883
AT ITER 9883 NEW BEST:: SOT 19628387 SOS 15069093 HAS SOPS 7195237 HAS SOUS 1306201 HAS SOUPS 446319 WITH SCORE 461388.093
AT ITER 9891 NEW BEST:: SOT 19627735 SOS 15068425 HAS SOPS 7194887 HAS SOUS 1306185 HAS SOUPS 446303 WITH SCORE 461371.425
AT ITER 9920 NEW BEST:: SOT 19626329 SOS 15071990 HAS SOPS 7194942 HAS SOUS 1305509 HAS SOUPS 445393 WITH SCORE 460464.99
AT ITER 9927 NEW BEST:: SOT 19626329 SOS 15071990 HAS SOPS 7194942 HAS SOUS 1305457 HAS SOUPS 445341 WITH SCORE 460412.99
AT ITER 9930 NEW BEST:: SOT 19627154 SOS 15075592 HAS SOPS 7196714 HAS SOUS 1305428 HAS SOUPS 445312 WITH SCORE 460387.592
AT ITER 9968 NEW BEST:: SOT 19627156 SOS 15075596 HAS SOPS 7194518 HAS SOUS 1305776 HAS SOUPS 445220 WITH SCORE 460295.596
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 155064 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16268916 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCshifumi-PT-5a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is DLCshifumi-PT-5a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814473000848"
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 '
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 ;