fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r063-tajo-158922806900056
Last Updated
Jun 28, 2020

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
15766.290 3600000.00 3600030.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922806900056.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCshifumi-PT-5a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922806900056
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.1M
-rw-r--r-- 1 mcc users 3.4K Mar 31 01:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 31 01:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 14:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 14:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 28 10:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 28 10:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 27 03:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 27 03:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 3.9M Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589357749170

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 5a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 4 NEW BEST:: SOT 20140196 SOS 16675647 HAS SOPS 8345094 HAS SOUS 1608832 HAS SOUPS 718626 WITH SCORE 735301.647
AT ITER 18 NEW BEST:: SOT 20137354 SOS 16680964 HAS SOPS 8345291 HAS SOUS 1607021 HAS SOUPS 716815 WITH SCORE 733495.964
AT ITER 26 NEW BEST:: SOT 20137014 SOS 16679264 HAS SOPS 8343591 HAS SOUS 1606681 HAS SOUPS 716475 WITH SCORE 733154.264
AT ITER 39 NEW BEST:: SOT 20137014 SOS 16679264 HAS SOPS 8343591 HAS SOUS 1606547 HAS SOUPS 716341 WITH SCORE 733020.264
AT ITER 58 NEW BEST:: SOT 20133786 SOS 16690204 HAS SOPS 8347361 HAS SOUS 1604292 HAS SOUPS 714086 WITH SCORE 730776.204
AT ITER 62 NEW BEST:: SOT 20132931 SOS 16691781 HAS SOPS 8346343 HAS SOUS 1603778 HAS SOUPS 713399 WITH SCORE 730090.781
AT ITER 82 NEW BEST:: SOT 20132507 SOS 16690933 HAS SOPS 8346555 HAS SOUS 1602930 HAS SOUPS 712763 WITH SCORE 729453.933
AT ITER 90 NEW BEST:: SOT 20132257 SOS 16690308 HAS SOPS 8345930 HAS SOUS 1602680 HAS SOUPS 712513 WITH SCORE 729203.308
AT ITER 91 NEW BEST:: SOT 20128570 SOS 16697059 HAS SOPS 8346331 HAS SOUS 1599535 HAS SOUPS 709368 WITH SCORE 726065.059
AT ITER 102 NEW BEST:: SOT 20125473 SOS 16707774 HAS SOPS 8349966 HAS SOUS 1597535 HAS SOUPS 707368 WITH SCORE 724075.774
AT ITER 104 NEW BEST:: SOT 20125473 SOS 16707774 HAS SOPS 8349966 HAS SOUS 1597297 HAS SOUPS 707130 WITH SCORE 723837.774
AT ITER 109 NEW BEST:: SOT 20124031 SOS 16712015 HAS SOPS 8348957 HAS SOUS 1596883 HAS SOUPS 706366 WITH SCORE 723078.015
AT ITER 133 NEW BEST:: SOT 20120971 SOS 16718462 HAS SOPS 8350014 HAS SOUS 1594392 HAS SOUPS 703875 WITH SCORE 720593.462
AT ITER 136 NEW BEST:: SOT 20117846 SOS 16725447 HAS SOPS 8351199 HAS SOUS 1592096 HAS SOUPS 701579 WITH SCORE 718304.447
AT ITER 139 NEW BEST:: SOT 20117846 SOS 16725447 HAS SOPS 8351199 HAS SOUS 1591852 HAS SOUPS 701335 WITH SCORE 718060.447
AT ITER 145 NEW BEST:: SOT 20115658 SOS 16730605 HAS SOPS 8350087 HAS SOUS 1590582 HAS SOUPS 699647 WITH SCORE 716377.605
AT ITER 146 NEW BEST:: SOT 20115658 SOS 16730605 HAS SOPS 8350087 HAS SOUS 1590450 HAS SOUPS 699515 WITH SCORE 716245.605
AT ITER 148 NEW BEST:: SOT 20115658 SOS 16730605 HAS SOPS 8350087 HAS SOUS 1590338 HAS SOUPS 699403 WITH SCORE 716133.605
AT ITER 150 NEW BEST:: SOT 20113602 SOS 16726061 HAS SOPS 8347703 HAS SOUS 1588714 HAS SOUPS 698211 WITH SCORE 714937.061
AT ITER 153 NEW BEST:: SOT 20111921 SOS 16728327 HAS SOPS 8345604 HAS SOUS 1587627 HAS SOUPS 696833 WITH SCORE 713561.327
AT ITER 169 NEW BEST:: SOT 20111173 SOS 16726528 HAS SOPS 8343805 HAS SOUS 1587205 HAS SOUPS 696411 WITH SCORE 713137.528
AT ITER 207 NEW BEST:: SOT 20108088 SOS 16744362 HAS SOPS 8349669 HAS SOUS 1587257 HAS SOUPS 695665 WITH SCORE 712409.362
AT ITER 222 NEW BEST:: SOT 20104938 SOS 16753987 HAS SOPS 8352544 HAS SOUS 1585127 HAS SOUPS 693535 WITH SCORE 710288.987
AT ITER 242 NEW BEST:: SOT 20104644 SOS 16753399 HAS SOPS 8352691 HAS SOUS 1584539 HAS SOUPS 693094 WITH SCORE 709847.399
AT ITER 244 NEW BEST:: SOT 20104644 SOS 16753399 HAS SOPS 8352691 HAS SOUS 1584433 HAS SOUPS 692988 WITH SCORE 709741.399
AT ITER 252 NEW BEST:: SOT 20104302 SOS 16752715 HAS SOPS 8354477 HAS SOUS 1583508 HAS SOUPS 692557 WITH SCORE 709309.715
AT ITER 254 NEW BEST:: SOT 20101498 SOS 16758117 HAS SOPS 8354829 HAS SOUS 1581392 HAS SOUPS 690441 WITH SCORE 707199.117
AT ITER 260 NEW BEST:: SOT 20101472 SOS 16758065 HAS SOPS 8354777 HAS SOUS 1581340 HAS SOUPS 690389 WITH SCORE 707147.065
AT ITER 265 NEW BEST:: SOT 20101020 SOS 16757161 HAS SOPS 8355003 HAS SOUS 1580436 HAS SOUPS 689711 WITH SCORE 706468.161
AT ITER 270 NEW BEST:: SOT 20100772 SOS 16756541 HAS SOPS 8354383 HAS SOUS 1580188 HAS SOUPS 689463 WITH SCORE 706219.541
AT ITER 282 NEW BEST:: SOT 20097521 SOS 16762080 HAS SOPS 8354452 HAS SOUS 1577415 HAS SOUPS 686690 WITH SCORE 703452.08
AT ITER 290 NEW BEST:: SOT 20097167 SOS 16760731 HAS SOPS 8356308 HAS SOUS 1576420 HAS SOUPS 686336 WITH SCORE 703096.731
AT ITER 308 NEW BEST:: SOT 20096657 SOS 16759711 HAS SOPS 8356563 HAS SOUS 1575400 HAS SOUPS 685571 WITH SCORE 702330.711
AT ITER 315 NEW BEST:: SOT 20096275 SOS 16757992 HAS SOPS 8355799 HAS SOUS 1574634 HAS SOUPS 684996 WITH SCORE 701753.992
AT ITER 324 NEW BEST:: SOT 20094413 SOS 16760557 HAS SOPS 8353444 HAS SOUS 1573402 HAS SOUPS 683436 WITH SCORE 700196.557
AT ITER 330 NEW BEST:: SOT 20094333 SOS 16760397 HAS SOPS 8353284 HAS SOUS 1573322 HAS SOUPS 683356 WITH SCORE 700116.397
AT ITER 331 NEW BEST:: SOT 20094255 SOS 16760241 HAS SOPS 8354048 HAS SOUS 1573060 HAS SOUPS 683278 WITH SCORE 700038.241
AT ITER 346 NEW BEST:: SOT 20093779 SOS 16760581 HAS SOPS 8353368 HAS SOUS 1572788 HAS SOUPS 682938 WITH SCORE 699698.581
AT ITER 363 NEW BEST:: SOT 20093779 SOS 16760426 HAS SOPS 8353213 HAS SOUS 1572788 HAS SOUPS 682938 WITH SCORE 699698.426
AT ITER 372 NEW BEST:: SOT 20091582 SOS 16764296 HAS SOPS 8351038 HAS SOUS 1571376 HAS SOUPS 681123 WITH SCORE 697887.296
AT ITER 390 NEW BEST:: SOT 20089273 SOS 16776197 HAS SOPS 8356059 HAS SOUS 1570752 HAS SOUPS 680499 WITH SCORE 697275.197
AT ITER 396 NEW BEST:: SOT 20089273 SOS 16776197 HAS SOPS 8356059 HAS SOUS 1570608 HAS SOUPS 680355 WITH SCORE 697131.197
AT ITER 416 NEW BEST:: SOT 20087167 SOS 16778685 HAS SOPS 8352997 HAS SOUS 1569135 HAS SOUPS 678512 WITH SCORE 695290.685
AT ITER 422 NEW BEST:: SOT 20087167 SOS 16778685 HAS SOPS 8352997 HAS SOUS 1568889 HAS SOUPS 678266 WITH SCORE 695044.685
AT ITER 436 NEW BEST:: SOT 20086781 SOS 16777517 HAS SOPS 8351829 HAS SOUS 1568371 HAS SOUPS 677748 WITH SCORE 694525.517
AT ITER 438 NEW BEST:: SOT 20086288 SOS 16776531 HAS SOPS 8353103 HAS SOUS 1567180 HAS SOUPS 677009 WITH SCORE 693785.531
AT ITER 439 NEW BEST:: SOT 20086076 SOS 16776107 HAS SOPS 8353209 HAS SOUS 1566756 HAS SOUPS 676691 WITH SCORE 693467.107
AT ITER 440 NEW BEST:: SOT 20082830 SOS 16784196 HAS SOPS 8355228 HAS SOUS 1564620 HAS SOUPS 674555 WITH SCORE 691339.196
AT ITER 441 NEW BEST:: SOT 20079130 SOS 16793231 HAS SOPS 8357113 HAS SOUS 1561963 HAS SOUPS 671898 WITH SCORE 688691.231
AT ITER 444 NEW BEST:: SOT 20076872 SOS 16797827 HAS SOPS 8355349 HAS SOUS 1560563 HAS SOUPS 670074 WITH SCORE 686871.827
AT ITER 453 NEW BEST:: SOT 20076562 SOS 16796612 HAS SOPS 8354909 HAS SOUS 1559942 HAS SOUPS 669608 WITH SCORE 686404.612
AT ITER 481 NEW BEST:: SOT 20074324 SOS 16801860 HAS SOPS 8353737 HAS SOUS 1558633 HAS SOUPS 667871 WITH SCORE 684672.86
AT ITER 495 NEW BEST:: SOT 20073921 SOS 16801054 HAS SOPS 8354666 HAS SOUS 1557798 HAS SOUPS 667383 WITH SCORE 684184.054
AT ITER 508 NEW BEST:: SOT 20073921 SOS 16801054 HAS SOPS 8354666 HAS SOUS 1557552 HAS SOUPS 667137 WITH SCORE 683938.054
AT ITER 521 NEW BEST:: SOT 20073932 SOS 16801076 HAS SOPS 8356248 HAS SOUS 1557179 HAS SOUPS 667076 WITH SCORE 683877.076
AT ITER 529 NEW BEST:: SOT 20073088 SOS 16806528 HAS SOPS 8359150 HAS SOUS 1556614 HAS SOUPS 666511 WITH SCORE 683317.528
AT ITER 530 NEW BEST:: SOT 20072589 SOS 16805530 HAS SOPS 8359732 HAS SOUS 1555567 HAS SOUPS 665780 WITH SCORE 682585.53
AT ITER 535 NEW BEST:: SOT 20072353 SOS 16805058 HAS SOPS 8359850 HAS SOUS 1555095 HAS SOUPS 665426 WITH SCORE 682231.058
AT ITER 566 NEW BEST:: SOT 20070666 SOS 16810846 HAS SOPS 8359803 HAS SOUS 1554878 HAS SOUPS 664820 WITH SCORE 681630.846
AT ITER 567 NEW BEST:: SOT 20068446 SOS 16818755 HAS SOPS 8359192 HAS SOUS 1554265 HAS SOUPS 663639 WITH SCORE 680457.755
AT ITER 576 NEW BEST:: SOT 20063893 SOS 16822676 HAS SOPS 8357373 HAS SOUS 1551541 HAS SOUPS 660915 WITH SCORE 677737.676
AT ITER 583 NEW BEST:: SOT 20063893 SOS 16822676 HAS SOPS 8357373 HAS SOUS 1551533 HAS SOUPS 660907 WITH SCORE 677729.676
AT ITER 593 NEW BEST:: SOT 20063893 SOS 16822676 HAS SOPS 8357373 HAS SOUS 1551475 HAS SOUPS 660849 WITH SCORE 677671.676
AT ITER 612 NEW BEST:: SOT 20063893 SOS 16822676 HAS SOPS 8357373 HAS SOUS 1551229 HAS SOUPS 660603 WITH SCORE 677425.676
AT ITER 614 NEW BEST:: SOT 20063822 SOS 16822534 HAS SOPS 8357231 HAS SOUS 1551214 HAS SOUPS 660588 WITH SCORE 677410.534
AT ITER 619 NEW BEST:: SOT 20062804 SOS 16820192 HAS SOPS 8354889 HAS SOUS 1551114 HAS SOUPS 660488 WITH SCORE 677308.192
AT ITER 655 NEW BEST:: SOT 20062679 SOS 16819942 HAS SOPS 8356069 HAS SOUS 1550479 HAS SOUPS 660139 WITH SCORE 676958.942
AT ITER 657 NEW BEST:: SOT 20062679 SOS 16819942 HAS SOPS 8356069 HAS SOUS 1550297 HAS SOUPS 659957 WITH SCORE 676776.942
AT ITER 662 NEW BEST:: SOT 20062679 SOS 16819942 HAS SOPS 8356069 HAS SOUS 1550277 HAS SOUPS 659937 WITH SCORE 676756.942
AT ITER 667 NEW BEST:: SOT 20062679 SOS 16819942 HAS SOPS 8356069 HAS SOUS 1550031 HAS SOUPS 659691 WITH SCORE 676510.942
AT ITER 682 NEW BEST:: SOT 20062679 SOS 16819942 HAS SOPS 8356069 HAS SOUS 1549785 HAS SOUPS 659445 WITH SCORE 676264.942
AT ITER 683 NEW BEST:: SOT 20062679 SOS 16819942 HAS SOPS 8356069 HAS SOUS 1549583 HAS SOUPS 659243 WITH SCORE 676062.942
AT ITER 692 NEW BEST:: SOT 20062419 SOS 16819422 HAS SOPS 8356199 HAS SOUS 1549063 HAS SOUPS 658853 WITH SCORE 675672.422
AT ITER 700 NEW BEST:: SOT 20059970 SOS 16813866 HAS SOPS 8353933 HAS SOUS 1547218 HAS SOUPS 657666 WITH SCORE 674479.866
AT ITER 701 NEW BEST:: SOT 20059723 SOS 16813018 HAS SOPS 8354855 HAS SOUS 1546714 HAS SOUPS 657516 WITH SCORE 674329.018
AT ITER 704 NEW BEST:: SOT 20059290 SOS 16813831 HAS SOPS 8354573 HAS SOUS 1546651 HAS SOUPS 657380 WITH SCORE 674193.831
AT ITER 722 NEW BEST:: SOT 20059284 SOS 16813819 HAS SOPS 8357106 HAS SOUS 1546027 HAS SOUPS 657265 WITH SCORE 674078.819
AT ITER 725 NEW BEST:: SOT 20057850 SOS 16817989 HAS SOPS 8356686 HAS SOUS 1545431 HAS SOUPS 656363 WITH SCORE 673180.9890000001
AT ITER 726 NEW BEST:: SOT 20057280 SOS 16825641 HAS SOPS 8361198 HAS SOUS 1545175 HAS SOUPS 656107 WITH SCORE 672932.641
AT ITER 738 NEW BEST:: SOT 20056808 SOS 16824697 HAS SOPS 8362739 HAS SOUS 1544036 HAS SOUPS 655465 WITH SCORE 672289.697
AT ITER 748 NEW BEST:: SOT 20056482 SOS 16824045 HAS SOPS 8362902 HAS SOUS 1543384 HAS SOUPS 654976 WITH SCORE 671800.045
AT ITER 756 NEW BEST:: SOT 20056253 SOS 16823587 HAS SOPS 8364644 HAS SOUS 1542799 HAS SOUPS 654831 WITH SCORE 671654.587
AT ITER 765 NEW BEST:: SOT 20056007 SOS 16823095 HAS SOPS 8365382 HAS SOUS 1542307 HAS SOUPS 654585 WITH SCORE 671408.095
AT ITER 767 NEW BEST:: SOT 20055492 SOS 16822065 HAS SOPS 8365922 HAS SOUS 1541236 HAS SOUPS 653828 WITH SCORE 670650.065
AT ITER 771 NEW BEST:: SOT 20055241 SOS 16819478 HAS SOPS 8365420 HAS SOUS 1540633 HAS SOUPS 653642 WITH SCORE 670461.478
AT ITER 772 NEW BEST:: SOT 20054349 SOS 16817089 HAS SOPS 8366056 HAS SOUS 1540008 HAS SOUPS 653622 WITH SCORE 670439.089
AT ITER 774 NEW BEST:: SOT 20053972 SOS 16816335 HAS SOPS 8367982 HAS SOUS 1538994 HAS SOUPS 653144 WITH SCORE 669960.335
AT ITER 777 NEW BEST:: SOT 20053447 SOS 16815285 HAS SOPS 8368582 HAS SOUS 1537879 HAS SOUPS 652359 WITH SCORE 669174.285
AT ITER 790 NEW BEST:: SOT 20052816 SOS 16814023 HAS SOPS 8369315 HAS SOUS 1536534 HAS SOUPS 651413 WITH SCORE 668227.023
AT ITER 792 NEW BEST:: SOT 20050418 SOS 16826998 HAS SOPS 8375020 HAS SOUS 1535497 HAS SOUPS 650376 WITH SCORE 667202.998
AT ITER 807 NEW BEST:: SOT 20048083 SOS 16831949 HAS SOPS 8375151 HAS SOUS 1533728 HAS SOUPS 648607 WITH SCORE 665438.949
AT ITER 815 NEW BEST:: SOT 20045283 SOS 16842640 HAS SOPS 8378972 HAS SOUS 1531686 HAS SOUPS 646565 WITH SCORE 663407.64
AT ITER 824 NEW BEST:: SOT 20045360 SOS 16842794 HAS SOPS 8378721 HAS SOUS 1531759 HAS SOUPS 646557 WITH SCORE 663399.794
AT ITER 839 NEW BEST:: SOT 20045205 SOS 16842484 HAS SOPS 8378411 HAS SOUS 1531449 HAS SOUPS 646247 WITH SCORE 663089.484
AT ITER 850 NEW BEST:: SOT 20044829 SOS 16840792 HAS SOPS 8377659 HAS SOUS 1530885 HAS SOUPS 645871 WITH SCORE 662711.792
AT ITER 868 NEW BEST:: SOT 20044829 SOS 16840792 HAS SOPS 8377659 HAS SOUS 1530693 HAS SOUPS 645679 WITH SCORE 662519.792
AT ITER 897 NEW BEST:: SOT 20044713 SOS 16840560 HAS SOPS 8377427 HAS SOUS 1530461 HAS SOUPS 645447 WITH SCORE 662287.56
AT ITER 901 NEW BEST:: SOT 20044088 SOS 16839310 HAS SOPS 8378257 HAS SOUS 1529108 HAS SOUPS 644510 WITH SCORE 661349.31
AT ITER 902 NEW BEST:: SOT 20043555 SOS 16838244 HAS SOPS 8377191 HAS SOUS 1528415 HAS SOUPS 643817 WITH SCORE 660655.244
AT ITER 925 NEW BEST:: SOT 20042391 SOS 16838576 HAS SOPS 8375423 HAS SOUS 1527623 HAS SOUPS 642885 WITH SCORE 659723.576
AT ITER 946 NEW BEST:: SOT 20042391 SOS 16838576 HAS SOPS 8375423 HAS SOUS 1527377 HAS SOUPS 642639 WITH SCORE 659477.576
AT ITER 951 NEW BEST:: SOT 20042319 SOS 16838432 HAS SOPS 8375644 HAS SOUS 1527232 HAS SOUPS 642567 WITH SCORE 659405.432
AT ITER 952 NEW BEST:: SOT 20041451 SOS 16836696 HAS SOPS 8373908 HAS SOUS 1526323 HAS SOUPS 641658 WITH SCORE 658494.696
AT ITER 960 NEW BEST:: SOT 20041214 SOS 16836222 HAS SOPS 8373434 HAS SOUS 1526074 HAS SOUPS 641409 WITH SCORE 658245.222
AT ITER 973 NEW BEST:: SOT 20041214 SOS 16836222 HAS SOPS 8373434 HAS SOUS 1525828 HAS SOUPS 641163 WITH SCORE 657999.222
AT ITER 981 NEW BEST:: SOT 20041214 SOS 16836222 HAS SOPS 8373434 HAS SOUS 1525656 HAS SOUPS 640991 WITH SCORE 657827.222
AT ITER 982 NEW BEST:: SOT 20040939 SOS 16835672 HAS SOPS 8372884 HAS SOUS 1525106 HAS SOUPS 640441 WITH SCORE 657276.672
AT ITER 986 NEW BEST:: SOT 20040364 SOS 16832972 HAS SOPS 8371734 HAS SOUS 1523933 HAS SOUPS 639578 WITH SCORE 656410.972
AT ITER 1008 NEW BEST:: SOT 20040364 SOS 16832972 HAS SOPS 8371734 HAS SOUS 1523695 HAS SOUPS 639340 WITH SCORE 656172.972
AT ITER 1025 NEW BEST:: SOT 20040062 SOS 16831808 HAS SOPS 8373370 HAS SOUS 1522833 HAS SOUPS 639038 WITH SCORE 655869.808
AT ITER 1040 NEW BEST:: SOT 20039978 SOS 16831640 HAS SOPS 8373412 HAS SOUS 1522665 HAS SOUPS 638912 WITH SCORE 655743.64
AT ITER 1052 NEW BEST:: SOT 20039978 SOS 16831640 HAS SOPS 8373412 HAS SOUS 1522419 HAS SOUPS 638666 WITH SCORE 655497.64
AT ITER 1057 NEW BEST:: SOT 20040218 SOS 16825148 HAS SOPS 8370655 HAS SOUS 1522161 HAS SOUPS 638657 WITH SCORE 655482.148
AT ITER 1061 NEW BEST:: SOT 20040188 SOS 16825088 HAS SOPS 8370595 HAS SOUS 1522101 HAS SOUPS 638597 WITH SCORE 655422.088
AT ITER 1064 NEW BEST:: SOT 20040188 SOS 16825088 HAS SOPS 8370595 HAS SOUS 1521875 HAS SOUPS 638371 WITH SCORE 655196.088
AT ITER 1071 NEW BEST:: SOT 20040188 SOS 16825088 HAS SOPS 8370595 HAS SOUS 1521723 HAS SOUPS 638219 WITH SCORE 655044.088
AT ITER 1073 NEW BEST:: SOT 20039458 SOS 16823256 HAS SOPS 8370623 HAS SOUS 1521347 HAS SOUPS 638215 WITH SCORE 655038.256
AT ITER 1076 NEW BEST:: SOT 20039458 SOS 16823256 HAS SOPS 8370623 HAS SOUS 1521117 HAS SOUPS 637985 WITH SCORE 654808.256
AT ITER 1108 NEW BEST:: SOT 20037170 SOS 16837949 HAS SOPS 8377436 HAS SOUS 1520238 HAS SOUPS 637106 WITH SCORE 653943.949
AT ITER 1111 NEW BEST:: SOT 20037170 SOS 16837949 HAS SOPS 8377436 HAS SOUS 1519992 HAS SOUPS 636860 WITH SCORE 653697.949
AT ITER 1113 NEW BEST:: SOT 20036599 SOS 16838049 HAS SOPS 8376846 HAS SOUS 1519609 HAS SOUPS 636477 WITH SCORE 653315.049
AT ITER 1134 NEW BEST:: SOT 20036599 SOS 16838049 HAS SOPS 8376846 HAS SOUS 1519379 HAS SOUPS 636247 WITH SCORE 653085.049
AT ITER 1141 NEW BEST:: SOT 20035753 SOS 16838143 HAS SOPS 8375530 HAS SOUS 1518815 HAS SOUPS 635589 WITH SCORE 652427.143
AT ITER 1155 NEW BEST:: SOT 20035753 SOS 16838143 HAS SOPS 8375530 HAS SOUS 1518707 HAS SOUPS 635481 WITH SCORE 652319.143
AT ITER 1156 NEW BEST:: SOT 20035753 SOS 16838143 HAS SOPS 8375530 HAS SOUS 1518461 HAS SOUPS 635235 WITH SCORE 652073.143
AT ITER 1157 NEW BEST:: SOT 20035753 SOS 16836798 HAS SOPS 8375755 HAS SOUS 1518147 HAS SOUPS 635235 WITH SCORE 652071.798
AT ITER 1165 NEW BEST:: SOT 20035479 SOS 16839050 HAS SOPS 8377007 HAS SOUS 1517973 HAS SOUPS 635061 WITH SCORE 651900.05
AT ITER 1171 NEW BEST:: SOT 20034983 SOS 16838058 HAS SOPS 8377255 HAS SOUS 1516981 HAS SOUPS 634317 WITH SCORE 651155.058
AT ITER 1174 NEW BEST:: SOT 20033652 SOS 16845170 HAS SOPS 8377602 HAS SOUS 1516939 HAS SOUPS 633824 WITH SCORE 650669.17
AT ITER 1193 NEW BEST:: SOT 20033330 SOS 16845170 HAS SOPS 8377602 HAS SOUS 1516778 HAS SOUPS 633663 WITH SCORE 650508.17
AT ITER 1205 NEW BEST:: SOT 20033330 SOS 16845170 HAS SOPS 8377602 HAS SOUS 1516532 HAS SOUPS 633417 WITH SCORE 650262.17
AT ITER 1211 NEW BEST:: SOT 20030999 SOS 16850768 HAS SOPS 8378550 HAS SOUS 1514610 HAS SOUPS 631495 WITH SCORE 648345.768
AT ITER 1214 NEW BEST:: SOT 20029465 SOS 16851912 HAS SOPS 8376184 HAS SOUS 1513570 HAS SOUPS 630221 WITH SCORE 647072.912
AT ITER 1227 NEW BEST:: SOT 20029203 SOS 16850805 HAS SOPS 8377992 HAS SOUS 1512951 HAS SOUPS 630185 WITH SCORE 647035.805
AT ITER 1250 NEW BEST:: SOT 20029196 SOS 16850791 HAS SOPS 8377978 HAS SOUS 1512944 HAS SOUPS 630178 WITH SCORE 647028.791
AT ITER 1269 NEW BEST:: SOT 20028692 SOS 16849783 HAS SOPS 8378230 HAS SOUS 1511936 HAS SOUPS 629422 WITH SCORE 646271.783
AT ITER 1272 NEW BEST:: SOT 20028558 SOS 16849935 HAS SOPS 8378232 HAS SOUS 1511847 HAS SOUPS 629333 WITH SCORE 646182.935
AT ITER 1286 NEW BEST:: SOT 20028558 SOS 16849935 HAS SOPS 8378232 HAS SOUS 1511645 HAS SOUPS 629131 WITH SCORE 645980.935
AT ITER 1290 NEW BEST:: SOT 20025907 SOS 16861519 HAS SOPS 8382746 HAS SOUS 1510434 HAS SOUPS 627920 WITH SCORE 644781.519
AT ITER 1294 NEW BEST:: SOT 20022584 SOS 16870436 HAS SOPS 8385103 HAS SOUS 1507796 HAS SOUPS 625282 WITH SCORE 642152.436
AT ITER 1320 NEW BEST:: SOT 20022628 SOS 16868789 HAS SOPS 8383456 HAS SOUS 1507493 HAS SOUPS 624979 WITH SCORE 641847.789
AT ITER 1346 NEW BEST:: SOT 20022340 SOS 16867742 HAS SOPS 8384764 HAS SOUS 1506892 HAS SOUPS 624849 WITH SCORE 641716.742
AT ITER 1348 NEW BEST:: SOT 20019350 SOS 16878009 HAS SOPS 8387941 HAS SOUS 1504993 HAS SOUPS 622950 WITH SCORE 639828.009
AT ITER 1355 NEW BEST:: SOT 20010956 SOS 16865096 HAS SOPS 8382607 HAS SOUS 1504223 HAS SOUPS 622869 WITH SCORE 639734.096
AT ITER 1361 NEW BEST:: SOT 20010054 SOS 16862811 HAS SOPS 8382727 HAS SOUS 1503481 HAS SOUPS 622608 WITH SCORE 639470.811
AT ITER 1362 NEW BEST:: SOT 20008474 SOS 16864079 HAS SOPS 8380305 HAS SOUS 1502407 HAS SOUPS 621288 WITH SCORE 638152.079
AT ITER 1365 NEW BEST:: SOT 20007070 SOS 16869019 HAS SOPS 8381735 HAS SOUS 1501251 HAS SOUPS 620132 WITH SCORE 637001.019
AT ITER 1367 NEW BEST:: SOT 20005176 SOS 16883797 HAS SOPS 8388843 HAS SOUS 1501037 HAS SOUPS 619918 WITH SCORE 636801.797
AT ITER 1375 NEW BEST:: SOT 20005038 SOS 16883541 HAS SOPS 8388587 HAS SOUS 1500864 HAS SOUPS 619745 WITH SCORE 636628.541
AT ITER 1376 NEW BEST:: SOT 20004964 SOS 16883393 HAS SOPS 8388439 HAS SOUS 1500790 HAS SOUPS 619671 WITH SCORE 636554.393
AT ITER 1397 NEW BEST:: SOT 20004570 SOS 16882605 HAS SOPS 8387651 HAS SOUS 1500390 HAS SOUPS 619271 WITH SCORE 636153.605
AT ITER 1404 NEW BEST:: SOT 20001883 SOS 16894192 HAS SOPS 8392218 HAS SOUS 1499052 HAS SOUPS 617933 WITH SCORE 634827.192
AT ITER 1408 NEW BEST:: SOT 20001883 SOS 16894447 HAS SOPS 8392218 HAS SOUS 1499052 HAS SOUPS 617882 WITH SCORE 634776.447
AT ITER 1413 NEW BEST:: SOT 19999381 SOS 16905458 HAS SOPS 8396429 HAS SOUS 1497541 HAS SOUPS 616371 WITH SCORE 633276.458
AT ITER 1422 NEW BEST:: SOT 19996915 SOS 16918872 HAS SOPS 8401473 HAS SOUS 1496574 HAS SOUPS 615404 WITH SCORE 632322.872
AT ITER 1431 NEW BEST:: SOT 19996314 SOS 16920368 HAS SOPS 8400839 HAS SOUS 1496540 HAS SOUPS 615228 WITH SCORE 632148.368
AT ITER 1454 NEW BEST:: SOT 19994875 SOS 16937183 HAS SOPS 8406224 HAS SOUS 1496256 HAS SOUPS 614182 WITH SCORE 631119.183
AT ITER 1467 NEW BEST:: SOT 19994831 SOS 16937095 HAS SOPS 8406136 HAS SOUS 1496168 HAS SOUPS 614094 WITH SCORE 631031.095
AT ITER 1470 NEW BEST:: SOT 19993217 SOS 16932253 HAS SOPS 8403984 HAS SOUS 1493478 HAS SOUPS 611942 WITH SCORE 628874.253
AT ITER 1475 NEW BEST:: SOT 19989922 SOS 16948001 HAS SOPS 8408302 HAS SOUS 1493133 HAS SOUPS 610835 WITH SCORE 627783.001
AT ITER 1479 NEW BEST:: SOT 19989775 SOS 16947707 HAS SOPS 8408743 HAS SOUS 1492692 HAS SOUPS 610541 WITH SCORE 627488.707
AT ITER 1502 NEW BEST:: SOT 19989941 SOS 16948039 HAS SOPS 8409075 HAS SOUS 1492691 HAS SOUPS 610540 WITH SCORE 627488.039
AT ITER 1503 NEW BEST:: SOT 19989501 SOS 16948195 HAS SOPS 8409231 HAS SOUS 1492251 HAS SOUPS 610100 WITH SCORE 627048.195
AT ITER 1511 NEW BEST:: SOT 19989292 SOS 16949029 HAS SOPS 8410065 HAS SOUS 1492172 HAS SOUPS 610021 WITH SCORE 626970.029
AT ITER 1545 NEW BEST:: SOT 19989292 SOS 16949029 HAS SOPS 8410065 HAS SOUS 1491984 HAS SOUPS 609833 WITH SCORE 626782.029
AT ITER 1547 NEW BEST:: SOT 19988814 SOS 16947696 HAS SOPS 8410617 HAS SOUS 1491219 HAS SOUPS 609445 WITH SCORE 626392.696
AT ITER 1556 NEW BEST:: SOT 19987601 SOS 16944784 HAS SOPS 8410135 HAS SOUS 1490299 HAS SOUPS 609011 WITH SCORE 625955.784
AT ITER 1561 NEW BEST:: SOT 19987395 SOS 16944186 HAS SOPS 8409537 HAS SOUS 1490093 HAS SOUPS 608805 WITH SCORE 625749.186
AT ITER 1581 NEW BEST:: SOT 19985661 SOS 16951759 HAS SOPS 8409355 HAS SOUS 1489825 HAS SOUPS 608020 WITH SCORE 624971.759
AT ITER 1619 NEW BEST:: SOT 19985661 SOS 16951759 HAS SOPS 8409355 HAS SOUS 1489579 HAS SOUPS 607774 WITH SCORE 624725.759
AT ITER 1645 NEW BEST:: SOT 19985521 SOS 16952039 HAS SOPS 8409435 HAS SOUS 1489519 HAS SOUPS 607714 WITH SCORE 624666.039
AT ITER 1654 NEW BEST:: SOT 19985365 SOS 16951475 HAS SOPS 8408871 HAS SOUS 1489289 HAS SOUPS 607484 WITH SCORE 624435.475
AT ITER 1656 NEW BEST:: SOT 19985145 SOS 16951035 HAS SOPS 8409086 HAS SOUS 1488849 HAS SOUPS 607175 WITH SCORE 624126.035
AT ITER 1663 NEW BEST:: SOT 19985016 SOS 16950777 HAS SOPS 8408043 HAS SOUS 1488720 HAS SOUPS 606889 WITH SCORE 623839.777
AT ITER 1686 NEW BEST:: SOT 19984524 SOS 16949793 HAS SOPS 8407059 HAS SOUS 1488069 HAS SOUPS 606238 WITH SCORE 623187.793
AT ITER 1695 NEW BEST:: SOT 19984446 SOS 16949637 HAS SOPS 8406513 HAS SOUS 1487991 HAS SOUPS 606082 WITH SCORE 623031.637
AT ITER 1727 NEW BEST:: SOT 19976481 SOS 16937425 HAS SOPS 8401352 HAS SOUS 1487136 HAS SOUPS 605868 WITH SCORE 622805.425
AT ITER 1730 NEW BEST:: SOT 19976436 SOS 16938930 HAS SOPS 8401262 HAS SOUS 1487380 HAS SOUPS 605793 WITH SCORE 622731.93
AT ITER 1759 NEW BEST:: SOT 19976338 SOS 16938636 HAS SOPS 8401458 HAS SOUS 1487282 HAS SOUPS 605793 WITH SCORE 622731.6359999999
AT ITER 1790 NEW BEST:: SOT 19975930 SOS 16937820 HAS SOPS 8401662 HAS SOUS 1486466 HAS SOUPS 605181 WITH SCORE 622118.82
AT ITER 1797 NEW BEST:: SOT 19974434 SOS 16938572 HAS SOPS 8400334 HAS SOUS 1485288 HAS SOUPS 604003 WITH SCORE 620941.572
AT ITER 1809 NEW BEST:: SOT 19974128 SOS 16938929 HAS SOPS 8399926 HAS SOUS 1485186 HAS SOUPS 603850 WITH SCORE 620788.929
AT ITER 1837 NEW BEST:: SOT 19973816 SOS 16938227 HAS SOPS 8399224 HAS SOUS 1485108 HAS SOUPS 603772 WITH SCORE 620710.227
AT ITER 1839 NEW BEST:: SOT 19973041 SOS 16908781 HAS SOPS 8398338 HAS SOUS 1485103 HAS SOUPS 603767 WITH SCORE 620675.781
AT ITER 1842 NEW BEST:: SOT 19973041 SOS 16908096 HAS SOPS 8398338 HAS SOUS 1484966 HAS SOUPS 603767 WITH SCORE 620675.096
AT ITER 1855 NEW BEST:: SOT 19972604 SOS 16907207 HAS SOPS 8399649 HAS SOUS 1484089 HAS SOUPS 603330 WITH SCORE 620237.207
AT ITER 1857 NEW BEST:: SOT 19968921 SOS 16918098 HAS SOPS 8403350 HAS SOUS 1481664 HAS SOUPS 600905 WITH SCORE 617823.098
AT ITER 1864 NEW BEST:: SOT 19968597 SOS 16916845 HAS SOPS 8403987 HAS SOUS 1480962 HAS SOUPS 600581 WITH SCORE 617497.845
AT ITER 1871 NEW BEST:: SOT 19968597 SOS 16916845 HAS SOPS 8403987 HAS SOUS 1480716 HAS SOUPS 600335 WITH SCORE 617251.845
AT ITER 1881 NEW BEST:: SOT 19968463 SOS 16916577 HAS SOPS 8403719 HAS SOUS 1480647 HAS SOUPS 600266 WITH SCORE 617182.577
AT ITER 1888 NEW BEST:: SOT 19966840 SOS 16923225 HAS SOPS 8405787 HAS SOUS 1480007 HAS SOUPS 599626 WITH SCORE 616549.225
AT ITER 1889 NEW BEST:: SOT 19963625 SOS 16929181 HAS SOPS 8405923 HAS SOUS 1477444 HAS SOUPS 597063 WITH SCORE 613992.181
AT ITER 1891 NEW BEST:: SOT 19963403 SOS 16928182 HAS SOPS 8405479 HAS SOUS 1476889 HAS SOUPS 596619 WITH SCORE 613547.182
AT ITER 1893 NEW BEST:: SOT 19963403 SOS 16928182 HAS SOPS 8405479 HAS SOUS 1476790 HAS SOUPS 596520 WITH SCORE 613448.182
AT ITER 1894 NEW BEST:: SOT 19963403 SOS 16928182 HAS SOPS 8405479 HAS SOUS 1476666 HAS SOUPS 596396 WITH SCORE 613324.182
AT ITER 1901 NEW BEST:: SOT 19963047 SOS 16927470 HAS SOPS 8404767 HAS SOUS 1475954 HAS SOUPS 595684 WITH SCORE 612611.47
AT ITER 1940 NEW BEST:: SOT 19961570 SOS 16935111 HAS SOPS 8405058 HAS SOUS 1475854 HAS SOUPS 595094 WITH SCORE 612029.111
AT ITER 1941 NEW BEST:: SOT 19959513 SOS 16952608 HAS SOPS 8414285 HAS SOUS 1475022 HAS SOUPS 594262 WITH SCORE 611214.608
AT ITER 1946 NEW BEST:: SOT 19959289 SOS 16952160 HAS SOPS 8413837 HAS SOUS 1474910 HAS SOUPS 594150 WITH SCORE 611102.16
AT ITER 2000 NEW BEST:: SOT 19958848 SOS 16955401 HAS SOPS 8413823 HAS SOUS 1475041 HAS SOUPS 594064 WITH SCORE 611019.401
AT ITER 2021 NEW BEST:: SOT 19956748 SOS 16965867 HAS SOPS 8416234 HAS SOUS 1474960 HAS SOUPS 593446 WITH SCORE 610411.867
AT ITER 2023 NEW BEST:: SOT 19956687 SOS 16965745 HAS SOPS 8416112 HAS SOUS 1474838 HAS SOUPS 593324 WITH SCORE 610289.745
AT ITER 2026 NEW BEST:: SOT 19956687 SOS 16965830 HAS SOPS 8414362 HAS SOUS 1475036 HAS SOUPS 593155 WITH SCORE 610120.83
AT ITER 2040 NEW BEST:: SOT 19956531 SOS 16965481 HAS SOPS 8414198 HAS SOUS 1474954 HAS SOUPS 593110 WITH SCORE 610075.481
AT ITER 2046 NEW BEST:: SOT 19956242 SOS 16964683 HAS SOPS 8414500 HAS SOUS 1474576 HAS SOUPS 592952 WITH SCORE 609916.683
AT ITER 2052 NEW BEST:: SOT 19956170 SOS 16964539 HAS SOPS 8414536 HAS SOUS 1474432 HAS SOUPS 592844 WITH SCORE 609808.539
AT ITER 2053 NEW BEST:: SOT 19955350 SOS 16966775 HAS SOPS 8413712 HAS SOUS 1473920 HAS SOUPS 592128 WITH SCORE 609094.775
AT ITER 2065 NEW BEST:: SOT 19955350 SOS 16966775 HAS SOPS 8413712 HAS SOUS 1473824 HAS SOUPS 592032 WITH SCORE 608998.775
AT ITER 2075 NEW BEST:: SOT 19954608 SOS 16967305 HAS SOPS 8412652 HAS SOUS 1473612 HAS SOUPS 591714 WITH SCORE 608681.305
AT ITER 2083 NEW BEST:: SOT 19953814 SOS 16970211 HAS SOPS 8412288 HAS SOUS 1473695 HAS SOUPS 591579 WITH SCORE 608549.211
AT ITER 2088 NEW BEST:: SOT 19953814 SOS 16969076 HAS SOPS 8412388 HAS SOUS 1473448 HAS SOUPS 591579 WITH SCORE 608548.076
AT ITER 2101 NEW BEST:: SOT 19953532 SOS 16968512 HAS SOPS 8412529 HAS SOUS 1472884 HAS SOUPS 591156 WITH SCORE 608124.512
AT ITER 2130 NEW BEST:: SOT 19953642 SOS 16966987 HAS SOPS 8411004 HAS SOUS 1472645 HAS SOUPS 590917 WITH SCORE 607883.987
AT ITER 2141 NEW BEST:: SOT 19950892 SOS 16978636 HAS SOPS 8415423 HAS SOUS 1470723 HAS SOUPS 588995 WITH SCORE 605973.6359999999
AT ITER 2153 NEW BEST:: SOT 19950892 SOS 16978636 HAS SOPS 8415423 HAS SOUS 1470489 HAS SOUPS 588761 WITH SCORE 605739.6359999999
AT ITER 2162 NEW BEST:: SOT 19949747 SOS 16976261 HAS SOPS 8416653 HAS SOUS 1468114 HAS SOUPS 587107 WITH SCORE 604083.2609999999
AT ITER 2164 NEW BEST:: SOT 19949226 SOS 16989210 HAS SOPS 8421067 HAS SOUS 1467989 HAS SOUPS 586413 WITH SCORE 603402.21
AT ITER 2169 NEW BEST:: SOT 19949146 SOS 16989050 HAS SOPS 8420687 HAS SOUS 1467865 HAS SOUPS 586245 WITH SCORE 603234.05
AT ITER 2172 NEW BEST:: SOT 19937393 SOS 16972482 HAS SOPS 8413032 HAS SOUS 1467277 HAS SOUPS 586225 WITH SCORE 603197.482
AT ITER 2178 NEW BEST:: SOT 19935597 SOS 16979321 HAS SOPS 8413766 HAS SOUS 1466803 HAS SOUPS 585344 WITH SCORE 602323.321
AT ITER 2183 NEW BEST:: SOT 19935597 SOS 16979321 HAS SOPS 8413766 HAS SOUS 1466557 HAS SOUPS 585098 WITH SCORE 602077.321
AT ITER 2198 NEW BEST:: SOT 19935597 SOS 16979321 HAS SOPS 8413766 HAS SOUS 1466505 HAS SOUPS 585046 WITH SCORE 602025.321
AT ITER 2218 NEW BEST:: SOT 19935543 SOS 16979213 HAS SOPS 8413658 HAS SOUS 1466451 HAS SOUPS 584992 WITH SCORE 601971.213
AT ITER 2225 NEW BEST:: SOT 19935423 SOS 16978973 HAS SOPS 8413418 HAS SOUS 1466211 HAS SOUPS 584752 WITH SCORE 601730.973
AT ITER 2253 NEW BEST:: SOT 19935423 SOS 16978973 HAS SOPS 8413418 HAS SOUS 1466031 HAS SOUPS 584572 WITH SCORE 601550.973
AT ITER 2266 NEW BEST:: SOT 19935099 SOS 16977793 HAS SOPS 8414898 HAS SOUS 1465240 HAS SOUPS 584313 WITH SCORE 601290.793
AT ITER 2268 NEW BEST:: SOT 19933897 SOS 16986580 HAS SOPS 8418315 HAS SOUS 1465099 HAS SOUPS 584172 WITH SCORE 601158.58
AT ITER 2276 NEW BEST:: SOT 19933768 SOS 16986322 HAS SOPS 8418057 HAS SOUS 1464969 HAS SOUPS 584042 WITH SCORE 601028.322
AT ITER 2284 NEW BEST:: SOT 19933690 SOS 16986556 HAS SOPS 8418291 HAS SOUS 1464861 HAS SOUPS 583934 WITH SCORE 600920.556
AT ITER 2309 NEW BEST:: SOT 19933489 SOS 16987360 HAS SOPS 8418090 HAS SOUS 1464727 HAS SOUPS 583733 WITH SCORE 600720.36
AT ITER 2352 NEW BEST:: SOT 19932805 SOS 16985803 HAS SOPS 8416533 HAS SOUS 1464656 HAS SOUPS 583662 WITH SCORE 600647.803
AT ITER 2359 NEW BEST:: SOT 19932805 SOS 16985803 HAS SOPS 8416533 HAS SOUS 1464410 HAS SOUPS 583416 WITH SCORE 600401.803
AT ITER 2367 NEW BEST:: SOT 19931225 SOS 16982250 HAS SOPS 8414945 HAS SOUS 1463680 HAS SOUPS 583079 WITH SCORE 600061.25
AT ITER 2399 NEW BEST:: SOT 19931225 SOS 16982250 HAS SOPS 8414945 HAS SOUS 1463480 HAS SOUPS 582879 WITH SCORE 599861.25
AT ITER 2415 NEW BEST:: SOT 19930856 SOS 16983849 HAS SOPS 8414699 HAS SOUS 1463234 HAS SOUPS 582510 WITH SCORE 599493.849
AT ITER 2419 NEW BEST:: SOT 19930538 SOS 16982577 HAS SOPS 8413427 HAS SOUS 1462755 HAS SOUPS 582031 WITH SCORE 599013.577
AT ITER 2428 NEW BEST:: SOT 19930184 SOS 16980807 HAS SOPS 8413427 HAS SOUS 1461695 HAS SOUPS 581325 WITH SCORE 598305.807
AT ITER 2432 NEW BEST:: SOT 19930118 SOS 16980675 HAS SOPS 8413625 HAS SOUS 1461628 HAS SOUPS 581324 WITH SCORE 598304.675
AT ITER 2437 NEW BEST:: SOT 19927101 SOS 16992582 HAS SOPS 8418212 HAS SOUS 1459476 HAS SOUPS 579172 WITH SCORE 596164.582
AT ITER 2438 NEW BEST:: SOT 19926864 SOS 16993923 HAS SOPS 8417738 HAS SOUS 1459583 HAS SOUPS 578916 WITH SCORE 595909.923
AT ITER 2454 NEW BEST:: SOT 19926422 SOS 16996735 HAS SOPS 8419230 HAS SOUS 1459273 HAS SOUPS 578606 WITH SCORE 595602.735
AT ITER 2477 NEW BEST:: SOT 19926380 SOS 16996789 HAS SOPS 8419194 HAS SOUS 1459261 HAS SOUPS 578588 WITH SCORE 595584.789
AT ITER 2480 NEW BEST:: SOT 19925472 SOS 16995881 HAS SOPS 8418286 HAS SOUS 1459033 HAS SOUPS 578360 WITH SCORE 595355.881
AT ITER 2487 NEW BEST:: SOT 19925297 SOS 16995531 HAS SOPS 8416951 HAS SOUS 1459055 HAS SOUPS 578185 WITH SCORE 595180.531
AT ITER 2505 NEW BEST:: SOT 19924986 SOS 16994909 HAS SOPS 8417884 HAS SOUS 1458433 HAS SOUPS 577874 WITH SCORE 594868.909
AT ITER 2518 NEW BEST:: SOT 19924534 SOS 16993399 HAS SOPS 8419404 HAS SOUS 1457375 HAS SOUPS 577422 WITH SCORE 594415.399
AT ITER 2533 NEW BEST:: SOT 19924534 SOS 16993399 HAS SOPS 8419404 HAS SOUS 1457167 HAS SOUPS 577214 WITH SCORE 594207.399
AT ITER 2537 NEW BEST:: SOT 19922810 SOS 16995856 HAS SOPS 8417061 HAS SOUS 1456085 HAS SOUPS 575812 WITH SCORE 592807.856
AT ITER 2538 NEW BEST:: SOT 19917820 SOS 16999579 HAS SOPS 8414624 HAS SOUS 1453143 HAS SOUPS 572870 WITH SCORE 589869.579
AT ITER 2545 NEW BEST:: SOT 19917820 SOS 16999579 HAS SOPS 8414624 HAS SOUS 1452931 HAS SOUPS 572658 WITH SCORE 589657.579
AT ITER 2548 NEW BEST:: SOT 19917820 SOS 16999579 HAS SOPS 8414624 HAS SOUS 1452885 HAS SOUPS 572612 WITH SCORE 589611.579
AT ITER 2551 NEW BEST:: SOT 19915371 SOS 17006052 HAS SOPS 8416477 HAS SOUS 1451362 HAS SOUPS 571089 WITH SCORE 588095.052
AT ITER 2561 NEW BEST:: SOT 19915371 SOS 17006052 HAS SOPS 8416477 HAS SOUS 1451116 HAS SOUPS 570843 WITH SCORE 587849.052
AT ITER 2570 NEW BEST:: SOT 19915371 SOS 17006052 HAS SOPS 8416477 HAS SOUS 1450874 HAS SOUPS 570601 WITH SCORE 587607.052
AT ITER 2571 NEW BEST:: SOT 19914311 SOS 17010160 HAS SOPS 8417275 HAS SOUS 1450039 HAS SOUPS 569766 WITH SCORE 586776.16
AT ITER 2573 NEW BEST:: SOT 19914126 SOS 17009790 HAS SOPS 8419040 HAS SOUS 1449525 HAS SOUPS 569679 WITH SCORE 586688.79
AT ITER 2578 NEW BEST:: SOT 19914175 SOS 16999476 HAS SOPS 8415236 HAS SOUS 1448439 HAS SOUPS 569027 WITH SCORE 586026.476
AT ITER 2583 NEW BEST:: SOT 19914085 SOS 16999638 HAS SOPS 8415128 HAS SOUS 1448367 HAS SOUPS 568937 WITH SCORE 585936.638
AT ITER 2605 NEW BEST:: SOT 19912697 SOS 17002173 HAS SOPS 8414793 HAS SOUS 1447650 HAS SOUPS 568220 WITH SCORE 585222.173
AT ITER 2621 NEW BEST:: SOT 19912802 SOS 16999968 HAS SOPS 8413638 HAS SOUS 1447650 HAS SOUPS 568220 WITH SCORE 585219.968
AT ITER 2625 NEW BEST:: SOT 19912802 SOS 16999968 HAS SOPS 8413638 HAS SOUS 1447404 HAS SOUPS 567974 WITH SCORE 584973.968
AT ITER 2634 NEW BEST:: SOT 19912802 SOS 16999693 HAS SOPS 8413363 HAS SOUS 1447404 HAS SOUPS 567974 WITH SCORE 584973.693
AT ITER 2638 NEW BEST:: SOT 19912802 SOS 16999693 HAS SOPS 8413363 HAS SOUS 1447354 HAS SOUPS 567924 WITH SCORE 584923.693
AT ITER 2649 NEW BEST:: SOT 19911698 SOS 17001625 HAS SOPS 8412595 HAS SOUS 1446638 HAS SOUPS 567028 WITH SCORE 584029.625
AT ITER 2654 NEW BEST:: SOT 19911698 SOS 17001625 HAS SOPS 8413905 HAS SOUS 1446114 HAS SOUPS 566766 WITH SCORE 583767.625
AT ITER 2658 NEW BEST:: SOT 19911698 SOS 17001625 HAS SOPS 8413905 HAS SOUS 1445868 HAS SOUPS 566520 WITH SCORE 583521.625
AT ITER 2662 NEW BEST:: SOT 19909946 SOS 17014275 HAS SOPS 8420225 HAS SOUS 1445768 HAS SOUPS 566420 WITH SCORE 583434.275
AT ITER 2675 NEW BEST:: SOT 19909977 SOS 17013624 HAS SOPS 8419884 HAS SOUS 1445768 HAS SOUPS 566420 WITH SCORE 583433.624
AT ITER 2686 NEW BEST:: SOT 19909837 SOS 17012534 HAS SOPS 8420699 HAS SOUS 1445368 HAS SOUPS 566401 WITH SCORE 583413.534
AT ITER 2697 NEW BEST:: SOT 19909891 SOS 17011130 HAS SOPS 8419835 HAS SOUS 1445368 HAS SOUPS 566401 WITH SCORE 583412.13
AT ITER 2706 NEW BEST:: SOT 19908589 SOS 17008200 HAS SOPS 8418535 HAS SOUS 1444735 HAS SOUPS 566094 WITH SCORE 583102.2
AT ITER 2711 NEW BEST:: SOT 19907303 SOS 17005401 HAS SOPS 8415736 HAS SOUS 1444038 HAS SOUPS 565397 WITH SCORE 582402.401
AT ITER 2755 NEW BEST:: SOT 19906679 SOS 17004777 HAS SOPS 8415112 HAS SOUS 1443973 HAS SOUPS 565332 WITH SCORE 582336.777
AT ITER 2759 NEW BEST:: SOT 19906679 SOS 17004777 HAS SOPS 8415112 HAS SOUS 1443909 HAS SOUPS 565268 WITH SCORE 582272.777
AT ITER 2761 NEW BEST:: SOT 19904433 SOS 17016111 HAS SOPS 8420176 HAS SOUS 1442356 HAS SOUPS 563715 WITH SCORE 580731.111
AT ITER 2764 NEW BEST:: SOT 19903979 SOS 17014068 HAS SOPS 8419268 HAS SOUS 1441447 HAS SOUPS 563033 WITH SCORE 580047.068
AT ITER 2796 NEW BEST:: SOT 19903979 SOS 17013683 HAS SOPS 8419268 HAS SOUS 1441370 HAS SOUPS 563033 WITH SCORE 580046.683
AT ITER 2798 NEW BEST:: SOT 19903859 SOS 17013443 HAS SOPS 8419028 HAS SOUS 1441202 HAS SOUPS 562865 WITH SCORE 579878.443
AT ITER 2810 NEW BEST:: SOT 19901176 SOS 17019368 HAS SOPS 8419733 HAS SOUS 1439560 HAS SOUPS 561223 WITH SCORE 578242.368
AT ITER 2829 NEW BEST:: SOT 19900000 SOS 17016820 HAS SOPS 8418165 HAS SOUS 1438583 HAS SOUPS 560442 WITH SCORE 577458.82
AT ITER 2835 NEW BEST:: SOT 19899370 SOS 17021998 HAS SOPS 8419878 HAS SOUS 1438569 HAS SOUPS 560197 WITH SCORE 577218.998
AT ITER 2867 NEW BEST:: SOT 19899370 SOS 17021998 HAS SOPS 8419878 HAS SOUS 1438495 HAS SOUPS 560123 WITH SCORE 577144.998
AT ITER 2871 NEW BEST:: SOT 19898577 SOS 17031164 HAS SOPS 8425204 HAS SOUS 1438102 HAS SOUPS 559730 WITH SCORE 576761.164
AT ITER 2877 NEW BEST:: SOT 19898577 SOS 17031164 HAS SOPS 8425204 HAS SOUS 1437856 HAS SOUPS 559484 WITH SCORE 576515.164
AT ITER 2880 NEW BEST:: SOT 19898577 SOS 17030760 HAS SOPS 8426820 HAS SOUS 1437452 HAS SOUPS 559484 WITH SCORE 576514.76
AT ITER 2884 NEW BEST:: SOT 19898577 SOS 17030760 HAS SOPS 8426820 HAS SOUS 1437392 HAS SOUPS 559424 WITH SCORE 576454.76
AT ITER 2896 NEW BEST:: SOT 19898483 SOS 17030572 HAS SOPS 8426632 HAS SOUS 1437298 HAS SOUPS 559330 WITH SCORE 576360.572
AT ITER 2903 NEW BEST:: SOT 19898318 SOS 17032057 HAS SOPS 8427292 HAS SOUS 1437298 HAS SOUPS 559275 WITH SCORE 576307.057
AT ITER 2907 NEW BEST:: SOT 19898318 SOS 17032057 HAS SOPS 8427292 HAS SOUS 1437254 HAS SOUPS 559231 WITH SCORE 576263.057
AT ITER 2944 NEW BEST:: SOT 19898318 SOS 17032057 HAS SOPS 8427292 HAS SOUS 1437208 HAS SOUPS 559185 WITH SCORE 576217.057
AT ITER 2964 NEW BEST:: SOT 19898318 SOS 17032057 HAS SOPS 8427292 HAS SOUS 1436984 HAS SOUPS 558961 WITH SCORE 575993.057
AT ITER 2966 NEW BEST:: SOT 19897934 SOS 17034731 HAS SOPS 8427656 HAS SOUS 1436965 HAS SOUPS 558788 WITH SCORE 575822.731
AT ITER 2967 NEW BEST:: SOT 19896666 SOS 17031672 HAS SOPS 8427212 HAS SOUS 1436293 HAS SOUPS 558639 WITH SCORE 575670.672
AT ITER 2973 NEW BEST:: SOT 19896666 SOS 17030612 HAS SOPS 8427212 HAS SOUS 1436081 HAS SOUPS 558639 WITH SCORE 575669.612
AT ITER 2976 NEW BEST:: SOT 19896315 SOS 17032203 HAS SOPS 8427048 HAS SOUS 1435861 HAS SOUPS 558302 WITH SCORE 575334.203
AT ITER 3006 NEW BEST:: SOT 19896315 SOS 17032203 HAS SOPS 8427048 HAS SOUS 1435831 HAS SOUPS 558272 WITH SCORE 575304.203
AT ITER 3017 NEW BEST:: SOT 19896230 SOS 17032753 HAS SOPS 8425563 HAS SOUS 1435927 HAS SOUPS 557961 WITH SCORE 574993.753
AT ITER 3039 NEW BEST:: SOT 19896230 SOS 17032753 HAS SOPS 8425563 HAS SOUS 1435924 HAS SOUPS 557959 WITH SCORE 574991.753
AT ITER 3052 NEW BEST:: SOT 19896203 SOS 17032699 HAS SOPS 8425509 HAS SOUS 1435869 HAS SOUPS 557904 WITH SCORE 574936.699
AT ITER 3070 NEW BEST:: SOT 19896651 SOS 17029974 HAS SOPS 8424464 HAS SOUS 1435644 HAS SOUPS 557791 WITH SCORE 574820.974
AT ITER 3079 NEW BEST:: SOT 19896651 SOS 17029974 HAS SOPS 8424464 HAS SOUS 1435414 HAS SOUPS 557561 WITH SCORE 574590.974
AT ITER 3085 NEW BEST:: SOT 19896372 SOS 17029416 HAS SOPS 8425561 HAS SOUS 1434804 HAS SOUPS 557282 WITH SCORE 574311.416
AT ITER 3110 NEW BEST:: SOT 19896372 SOS 17029416 HAS SOPS 8425561 HAS SOUS 1434558 HAS SOUPS 557036 WITH SCORE 574065.416
AT ITER 3112 NEW BEST:: SOT 19896372 SOS 17029416 HAS SOPS 8425561 HAS SOUS 1434540 HAS SOUPS 557018 WITH SCORE 574047.416
AT ITER 3113 NEW BEST:: SOT 19896354 SOS 17029380 HAS SOPS 8427260 HAS SOUS 1434175 HAS SOUPS 557000 WITH SCORE 574029.38
AT ITER 3116 NEW BEST:: SOT 19896088 SOS 17028848 HAS SOPS 8426728 HAS SOUS 1433909 HAS SOUPS 556734 WITH SCORE 573762.848
AT ITER 3122 NEW BEST:: SOT 19894844 SOS 17026360 HAS SOPS 8424240 HAS SOUS 1433538 HAS SOUPS 556363 WITH SCORE 573389.36
AT ITER 3143 NEW BEST:: SOT 19894729 SOS 17026130 HAS SOPS 8424010 HAS SOUS 1433423 HAS SOUPS 556248 WITH SCORE 573274.13
AT ITER 3152 NEW BEST:: SOT 19886313 SOS 17013351 HAS SOPS 8418348 HAS SOUS 1432290 HAS SOUPS 555762 WITH SCORE 572775.351
AT ITER 3156 NEW BEST:: SOT 19886367 SOS 17013459 HAS SOPS 8418456 HAS SOUS 1432288 HAS SOUPS 555760 WITH SCORE 572773.459
AT ITER 3175 NEW BEST:: SOT 19885907 SOS 17020695 HAS SOPS 8420907 HAS SOUS 1432424 HAS SOUPS 555577 WITH SCORE 572597.695
AT ITER 3181 NEW BEST:: SOT 19885907 SOS 17020695 HAS SOPS 8420907 HAS SOUS 1432421 HAS SOUPS 555575 WITH SCORE 572595.695
AT ITER 3184 NEW BEST:: SOT 19885907 SOS 17020695 HAS SOPS 8420907 HAS SOUS 1432175 HAS SOUPS 555329 WITH SCORE 572349.695
AT ITER 3189 NEW BEST:: SOT 19884049 SOS 17016311 HAS SOPS 8419863 HAS SOUS 1431236 HAS SOUPS 555058 WITH SCORE 572074.311
AT ITER 3192 NEW BEST:: SOT 19883992 SOS 17000139 HAS SOPS 8411326 HAS SOUS 1430420 HAS SOUPS 554751 WITH SCORE 571751.139
AT ITER 3199 NEW BEST:: SOT 19883925 SOS 16999642 HAS SOPS 8410829 HAS SOUS 1429989 HAS SOUPS 554320 WITH SCORE 571319.642
AT ITER 3201 NEW BEST:: SOT 19884211 SOS 17000584 HAS SOPS 8409921 HAS SOUS 1430358 HAS SOUPS 554319 WITH SCORE 571319.584
AT ITER 3206 NEW BEST:: SOT 19884211 SOS 17000584 HAS SOPS 8409921 HAS SOUS 1430320 HAS SOUPS 554281 WITH SCORE 571281.584
AT ITER 3223 NEW BEST:: SOT 19884084 SOS 17000330 HAS SOPS 8410302 HAS SOUS 1429939 HAS SOUPS 554027 WITH SCORE 571027.33
AT ITER 3233 NEW BEST:: SOT 19884084 SOS 17000330 HAS SOPS 8410302 HAS SOUS 1429926 HAS SOUPS 554014 WITH SCORE 571014.33
AT ITER 3244 NEW BEST:: SOT 19884074 SOS 17000320 HAS SOPS 8410242 HAS SOUS 1429926 HAS SOUPS 554004 WITH SCORE 571004.32
AT ITER 3251 NEW BEST:: SOT 19883909 SOS 16999990 HAS SOPS 8409912 HAS SOUS 1429715 HAS SOUPS 553793 WITH SCORE 570792.99
AT ITER 3253 NEW BEST:: SOT 19883721 SOS 16999914 HAS SOPS 8409836 HAS SOUS 1429521 HAS SOUPS 553599 WITH SCORE 570598.914
AT ITER 3269 NEW BEST:: SOT 19883668 SOS 16999543 HAS SOPS 8409730 HAS SOUS 1429362 HAS SOUPS 553493 WITH SCORE 570492.543
AT ITER 3270 NEW BEST:: SOT 19883668 SOS 16999543 HAS SOPS 8409730 HAS SOUS 1429224 HAS SOUPS 553355 WITH SCORE 570354.543
AT ITER 3282 NEW BEST:: SOT 19883502 SOS 16999211 HAS SOPS 8409398 HAS SOUS 1429058 HAS SOUPS 553189 WITH SCORE 570188.211
AT ITER 3291 NEW BEST:: SOT 19882656 SOS 16998127 HAS SOPS 8408314 HAS SOUS 1428779 HAS SOUPS 552910 WITH SCORE 569908.127
AT ITER 3298 NEW BEST:: SOT 19881462 SOS 16995374 HAS SOPS 8407386 HAS SOUS 1427950 HAS SOUPS 552446 WITH SCORE 569441.374
AT ITER 3307 NEW BEST:: SOT 19881224 SOS 16994148 HAS SOPS 8406910 HAS SOUS 1427470 HAS SOUPS 552116 WITH SCORE 569110.148
AT ITER 3310 NEW BEST:: SOT 19881224 SOS 16994148 HAS SOPS 8406910 HAS SOUS 1427226 HAS SOUPS 551872 WITH SCORE 568866.148
AT ITER 3324 NEW BEST:: SOT 19881140 SOS 16993980 HAS SOPS 8406742 HAS SOUS 1427131 HAS SOUPS 551777 WITH SCORE 568770.98
AT ITER 3333 NEW BEST:: SOT 19881140 SOS 16993848 HAS SOPS 8407270 HAS SOUS 1426999 HAS SOUPS 551777 WITH SCORE 568770.848
AT ITER 3337 NEW BEST:: SOT 19880774 SOS 16993261 HAS SOPS 8404983 HAS SOUS 1426456 HAS SOUPS 550894 WITH SCORE 567887.2609999999
AT ITER 3339 NEW BEST:: SOT 19880495 SOS 16992549 HAS SOPS 8405041 HAS SOUS 1426032 HAS SOUPS 550624 WITH SCORE 567616.549
AT ITER 3353 NEW BEST:: SOT 19880495 SOS 16992549 HAS SOPS 8405041 HAS SOUS 1425572 HAS SOUPS 550164 WITH SCORE 567156.549
AT ITER 3355 NEW BEST:: SOT 19880187 SOS 16991163 HAS SOPS 8404425 HAS SOUS 1424802 HAS SOUPS 549548 WITH SCORE 566539.163
AT ITER 3400 NEW BEST:: SOT 19878737 SOS 16987771 HAS SOPS 8403493 HAS SOUS 1423901 HAS SOUPS 549139 WITH SCORE 566126.771
AT ITER 3419 NEW BEST:: SOT 19878730 SOS 16986969 HAS SOPS 8403621 HAS SOUS 1423363 HAS SOUPS 548787 WITH SCORE 565773.969
AT ITER 3451 NEW BEST:: SOT 19878086 SOS 16992797 HAS SOPS 8404619 HAS SOUS 1423363 HAS SOUPS 548465 WITH SCORE 565457.797
AT ITER 3453 NEW BEST:: SOT 19878077 SOS 16992779 HAS SOPS 8404091 HAS SOUS 1423447 HAS SOUPS 548447 WITH SCORE 565439.779
AT ITER 3456 NEW BEST:: SOT 19877267 SOS 16990838 HAS SOPS 8403755 HAS SOUS 1422612 HAS SOUPS 547933 WITH SCORE 564923.838
AT ITER 3477 NEW BEST:: SOT 19877076 SOS 16990456 HAS SOPS 8403373 HAS SOUS 1422609 HAS SOUPS 547930 WITH SCORE 564920.456
AT ITER 3486 NEW BEST:: SOT 19876720 SOS 16990204 HAS SOPS 8403121 HAS SOUS 1422142 HAS SOUPS 547463 WITH SCORE 564453.204
AT ITER 3525 NEW BEST:: SOT 19876467 SOS 16989698 HAS SOPS 8402615 HAS SOUS 1421746 HAS SOUPS 547067 WITH SCORE 564056.698
AT ITER 3544 NEW BEST:: SOT 19875473 SOS 16988693 HAS SOPS 8401610 HAS SOUS 1421734 HAS SOUPS 547055 WITH SCORE 564043.693
AT ITER 3554 NEW BEST:: SOT 19875601 SOS 16986249 HAS SOPS 8400606 HAS SOUS 1421591 HAS SOUPS 547008 WITH SCORE 563994.249
AT ITER 3560 NEW BEST:: SOT 19875601 SOS 16986249 HAS SOPS 8400606 HAS SOUS 1421345 HAS SOUPS 546762 WITH SCORE 563748.249
AT ITER 3600 NEW BEST:: SOT 19875059 SOS 16984929 HAS SOPS 8400466 HAS SOUS 1420972 HAS SOUPS 546625 WITH SCORE 563609.929
AT ITER 3608 NEW BEST:: SOT 19873209 SOS 16995908 HAS SOPS 8405465 HAS SOUS 1420629 HAS SOUPS 546282 WITH SCORE 563277.908
AT ITER 3628 NEW BEST:: SOT 19872861 SOS 16995212 HAS SOPS 8406509 HAS SOUS 1420280 HAS SOUPS 546281 WITH SCORE 563276.212
AT ITER 3632 NEW BEST:: SOT 19872135 SOS 16992420 HAS SOPS 8406117 HAS SOUS 1419026 HAS SOUPS 545507 WITH SCORE 562499.42
AT ITER 3637 NEW BEST:: SOT 19872135 SOS 16992213 HAS SOPS 8406045 HAS SOUS 1418999 HAS SOUPS 545489 WITH SCORE 562481.213
AT ITER 3640 NEW BEST:: SOT 19872134 SOS 16992211 HAS SOPS 8406043 HAS SOUS 1418998 HAS SOUPS 545488 WITH SCORE 562480.211
AT ITER 3650 NEW BEST:: SOT 19871523 SOS 16990989 HAS SOPS 8407201 HAS SOUS 1417606 HAS SOUPS 544572 WITH SCORE 561562.9890000001
AT ITER 3664 NEW BEST:: SOT 19870987 SOS 16989783 HAS SOPS 8406665 HAS SOUS 1417464 HAS SOUPS 544564 WITH SCORE 561553.783
AT ITER 3666 NEW BEST:: SOT 19870599 SOS 16995531 HAS SOPS 8408918 HAS SOUS 1417542 HAS SOUPS 544409 WITH SCORE 561404.531
AT ITER 3680 NEW BEST:: SOT 19870540 SOS 16995413 HAS SOPS 8408800 HAS SOUS 1417453 HAS SOUPS 544320 WITH SCORE 561315.413
AT ITER 3693 NEW BEST:: SOT 19868478 SOS 17003373 HAS SOPS 8409515 HAS SOUS 1416523 HAS SOUPS 542907 WITH SCORE 559910.373
AT ITER 3700 NEW BEST:: SOT 19866412 SOS 16998591 HAS SOPS 8407983 HAS SOUS 1415573 HAS SOUPS 542607 WITH SCORE 559605.591
AT ITER 3723 NEW BEST:: SOT 19866080 SOS 16997207 HAS SOPS 8408394 HAS SOUS 1414874 HAS SOUPS 542267 WITH SCORE 559264.207
AT ITER 3728 NEW BEST:: SOT 19865994 SOS 16997035 HAS SOPS 8409587 HAS SOUS 1414429 HAS SOUPS 542095 WITH SCORE 559092.035
AT ITER 3736 NEW BEST:: SOT 19863697 SOS 16998867 HAS SOPS 8406064 HAS SOUS 1412745 HAS SOUPS 540054 WITH SCORE 557052.867
AT ITER 3747 NEW BEST:: SOT 19863697 SOS 16998867 HAS SOPS 8406064 HAS SOUS 1412681 HAS SOUPS 539990 WITH SCORE 556988.867
AT ITER 3756 NEW BEST:: SOT 19863697 SOS 16998867 HAS SOPS 8406064 HAS SOUS 1412675 HAS SOUPS 539984 WITH SCORE 556982.867
AT ITER 3770 NEW BEST:: SOT 19864531 SOS 17000797 HAS SOPS 8406684 HAS SOUS 1412870 HAS SOUPS 539917 WITH SCORE 556917.797
AT ITER 3777 NEW BEST:: SOT 19863900 SOS 17000831 HAS SOPS 8405998 HAS SOUS 1412400 HAS SOUPS 539447 WITH SCORE 556447.831
AT ITER 3779 NEW BEST:: SOT 19863296 SOS 16999223 HAS SOPS 8406390 HAS SOUS 1411812 HAS SOUPS 539259 WITH SCORE 556258.223
AT ITER 3789 NEW BEST:: SOT 19863031 SOS 16998693 HAS SOPS 8402610 HAS SOUS 1411560 HAS SOUPS 538357 WITH SCORE 555355.693
AT ITER 3794 NEW BEST:: SOT 19860019 SOS 17007438 HAS SOPS 8401740 HAS SOUS 1409967 HAS SOUPS 536123 WITH SCORE 553130.438
AT ITER 3801 NEW BEST:: SOT 19859645 SOS 17006578 HAS SOPS 8400880 HAS SOUS 1409644 HAS SOUPS 535800 WITH SCORE 552806.578
AT ITER 3819 NEW BEST:: SOT 19859602 SOS 17006492 HAS SOPS 8400794 HAS SOUS 1409601 HAS SOUPS 535757 WITH SCORE 552763.492
AT ITER 3848 NEW BEST:: SOT 19859416 SOS 17006120 HAS SOPS 8400887 HAS SOUS 1409229 HAS SOUPS 535478 WITH SCORE 552484.12
AT ITER 3853 NEW BEST:: SOT 19859410 SOS 17006108 HAS SOPS 8400875 HAS SOUS 1409223 HAS SOUPS 535472 WITH SCORE 552478.108
AT ITER 3891 NEW BEST:: SOT 19859190 SOS 17008528 HAS SOPS 8403295 HAS SOUS 1409060 HAS SOUPS 535309 WITH SCORE 552317.528
AT ITER 3920 NEW BEST:: SOT 19859179 SOS 17008506 HAS SOPS 8403273 HAS SOUS 1409049 HAS SOUPS 535298 WITH SCORE 552306.506
AT ITER 3928 NEW BEST:: SOT 19858884 SOS 17005986 HAS SOPS 8402723 HAS SOUS 1408459 HAS SOUPS 535102 WITH SCORE 552107.986
AT ITER 3965 NEW BEST:: SOT 19858884 SOS 17005986 HAS SOPS 8402723 HAS SOUS 1408213 HAS SOUPS 534856 WITH SCORE 551861.986
AT ITER 3998 NEW BEST:: SOT 19858708 SOS 17005634 HAS SOPS 8402371 HAS SOUS 1407858 HAS SOUPS 534501 WITH SCORE 551506.634
AT ITER 3999 NEW BEST:: SOT 19858693 SOS 17005604 HAS SOPS 8402341 HAS SOUS 1407843 HAS SOUPS 534486 WITH SCORE 551491.604
AT ITER 4017 NEW BEST:: SOT 19858693 SOS 17005604 HAS SOPS 8402341 HAS SOUS 1407635 HAS SOUPS 534278 WITH SCORE 551283.604
AT ITER 4034 NEW BEST:: SOT 19858693 SOS 17005604 HAS SOPS 8402341 HAS SOUS 1407631 HAS SOUPS 534274 WITH SCORE 551279.604
AT ITER 4039 NEW BEST:: SOT 19858693 SOS 17005604 HAS SOPS 8402341 HAS SOUS 1407385 HAS SOUPS 534028 WITH SCORE 551033.604
AT ITER 4052 NEW BEST:: SOT 19858693 SOS 17005604 HAS SOPS 8402341 HAS SOUS 1407139 HAS SOUPS 533782 WITH SCORE 550787.604
AT ITER 4089 NEW BEST:: SOT 19858532 SOS 17005282 HAS SOPS 8402019 HAS SOUS 1407050 HAS SOUPS 533693 WITH SCORE 550698.282
AT ITER 4101 NEW BEST:: SOT 19857667 SOS 17004071 HAS SOPS 8400808 HAS SOUS 1406798 HAS SOUPS 533441 WITH SCORE 550445.071
AT ITER 4118 NEW BEST:: SOT 19856219 SOS 17015699 HAS SOPS 8406856 HAS SOUS 1406079 HAS SOUPS 532722 WITH SCORE 549737.699
AT ITER 4125 NEW BEST:: SOT 19856165 SOS 17015591 HAS SOPS 8406748 HAS SOUS 1406025 HAS SOUPS 532668 WITH SCORE 549683.591
AT ITER 4130 NEW BEST:: SOT 19855928 SOS 17014724 HAS SOPS 8407846 HAS SOUS 1405431 HAS SOUPS 532467 WITH SCORE 549481.724
AT ITER 4179 NEW BEST:: SOT 19855847 SOS 17014157 HAS SOPS 8407684 HAS SOUS 1405188 HAS SOUPS 532305 WITH SCORE 549319.157
AT ITER 4184 NEW BEST:: SOT 19855847 SOS 17012402 HAS SOPS 8405929 HAS SOUS 1404489 HAS SOUPS 531606 WITH SCORE 548618.402
AT ITER 4200 NEW BEST:: SOT 19855847 SOS 17012402 HAS SOPS 8405929 HAS SOUS 1404392 HAS SOUPS 531509 WITH SCORE 548521.402
AT ITER 4211 NEW BEST:: SOT 19855586 SOS 17011880 HAS SOPS 8405407 HAS SOUS 1404131 HAS SOUPS 531248 WITH SCORE 548259.88
AT ITER 4213 NEW BEST:: SOT 19855586 SOS 17011880 HAS SOPS 8405407 HAS SOUS 1403947 HAS SOUPS 531064 WITH SCORE 548075.88
AT ITER 4214 NEW BEST:: SOT 19855756 SOS 17012631 HAS SOPS 8404103 HAS SOUS 1404220 HAS SOUPS 530926 WITH SCORE 547938.631
AT ITER 4215 NEW BEST:: SOT 19855372 SOS 17011948 HAS SOPS 8401730 HAS SOUS 1403853 HAS SOUPS 530221 WITH SCORE 547232.948
AT ITER 4224 NEW BEST:: SOT 19853590 SOS 17007892 HAS SOPS 8400134 HAS SOUS 1403182 HAS SOUPS 530042 WITH SCORE 547049.892
AT ITER 4251 NEW BEST:: SOT 19853590 SOS 17007892 HAS SOPS 8400134 HAS SOUS 1403164 HAS SOUPS 530024 WITH SCORE 547031.892
AT ITER 4254 NEW BEST:: SOT 19853056 SOS 17005879 HAS SOPS 8399456 HAS SOUS 1402363 HAS SOUPS 529490 WITH SCORE 546495.879
AT ITER 4266 NEW BEST:: SOT 19852834 SOS 17007855 HAS SOPS 8399782 HAS SOUS 1402361 HAS SOUPS 529378 WITH SCORE 546385.855
AT ITER 4267 NEW BEST:: SOT 19852588 SOS 17005638 HAS SOPS 8399290 HAS SOUS 1401545 HAS SOUPS 528907 WITH SCORE 545912.638
AT ITER 4269 NEW BEST:: SOT 19852588 SOS 17005638 HAS SOPS 8399290 HAS SOUS 1401397 HAS SOUPS 528759 WITH SCORE 545764.638
AT ITER 4283 NEW BEST:: SOT 19852478 SOS 17005924 HAS SOPS 8399246 HAS SOUS 1401309 HAS SOUPS 528649 WITH SCORE 545654.924
AT ITER 4287 NEW BEST:: SOT 19852478 SOS 17005924 HAS SOPS 8399246 HAS SOUS 1401113 HAS SOUPS 528453 WITH SCORE 545458.924
AT ITER 4291 NEW BEST:: SOT 19852458 SOS 17005884 HAS SOPS 8399206 HAS SOUS 1401093 HAS SOUPS 528433 WITH SCORE 545438.884
AT ITER 4328 NEW BEST:: SOT 19852218 SOS 17004804 HAS SOPS 8398726 HAS SOUS 1400613 HAS SOUPS 528073 WITH SCORE 545077.804
AT ITER 4329 NEW BEST:: SOT 19852218 SOS 17004804 HAS SOPS 8398726 HAS SOUS 1400367 HAS SOUPS 527827 WITH SCORE 544831.804
AT ITER 4340 NEW BEST:: SOT 19850718 SOS 17001411 HAS SOPS 8397298 HAS SOUS 1399849 HAS SOUPS 527702 WITH SCORE 544703.411
AT ITER 4347 NEW BEST:: SOT 19850718 SOS 17001411 HAS SOPS 8397298 HAS SOUS 1399847 HAS SOUPS 527700 WITH SCORE 544701.411
AT ITER 4383 NEW BEST:: SOT 19850553 SOS 17000770 HAS SOPS 8398212 HAS SOUS 1399493 HAS SOUPS 527657 WITH SCORE 544657.77
AT ITER 4401 NEW BEST:: SOT 19850553 SOS 17000770 HAS SOPS 8398212 HAS SOUS 1399247 HAS SOUPS 527411 WITH SCORE 544411.77
AT ITER 4406 NEW BEST:: SOT 19850009 SOS 16999546 HAS SOPS 8397668 HAS SOUS 1398965 HAS SOUPS 527265 WITH SCORE 544264.546
AT ITER 4408 NEW BEST:: SOT 19849965 SOS 16999458 HAS SOPS 8397580 HAS SOUS 1398921 HAS SOUPS 527221 WITH SCORE 544220.458
AT ITER 4411 NEW BEST:: SOT 19846742 SOS 17006698 HAS SOPS 8398300 HAS SOUS 1396760 HAS SOUPS 525060 WITH SCORE 542066.698
AT ITER 4434 NEW BEST:: SOT 19845654 SOS 16930489 HAS SOPS 8408107 HAS SOUS 1395979 HAS SOUPS 524279 WITH SCORE 541209.4890000001
AT ITER 4441 NEW BEST:: SOT 19845750 SOS 16931110 HAS SOPS 8406583 HAS SOUS 1395979 HAS SOUPS 523850 WITH SCORE 540781.11
AT ITER 4460 NEW BEST:: SOT 19845750 SOS 16931030 HAS SOPS 8406583 HAS SOUS 1395963 HAS SOUPS 523850 WITH SCORE 540781.03
AT ITER 4467 NEW BEST:: SOT 19845518 SOS 16930041 HAS SOPS 8406804 HAS SOUS 1395489 HAS SOUPS 523618 WITH SCORE 540548.041
AT ITER 4493 NEW BEST:: SOT 19845312 SOS 16928954 HAS SOPS 8405717 HAS SOUS 1395283 HAS SOUPS 523412 WITH SCORE 540340.954
AT ITER 4500 NEW BEST:: SOT 19845312 SOS 16928954 HAS SOPS 8405717 HAS SOUS 1395173 HAS SOUPS 523302 WITH SCORE 540230.954
AT ITER 4507 NEW BEST:: SOT 19845290 SOS 16928910 HAS SOPS 8408753 HAS SOUS 1394535 HAS SOUPS 523280 WITH SCORE 540208.91
AT ITER 4519 NEW BEST:: SOT 19845170 SOS 16928670 HAS SOPS 8408513 HAS SOUS 1394415 HAS SOUPS 523160 WITH SCORE 540088.67
AT ITER 4525 NEW BEST:: SOT 19845170 SOS 16928670 HAS SOPS 8408513 HAS SOUS 1394219 HAS SOUPS 522964 WITH SCORE 539892.67
AT ITER 4531 NEW BEST:: SOT 19845078 SOS 16928486 HAS SOPS 8408329 HAS SOUS 1394173 HAS SOUPS 522918 WITH SCORE 539846.486
AT ITER 4540 NEW BEST:: SOT 19845028 SOS 16928386 HAS SOPS 8408229 HAS SOUS 1394123 HAS SOUPS 522868 WITH SCORE 539796.3859999999
AT ITER 4543 NEW BEST:: SOT 19844988 SOS 16928306 HAS SOPS 8408149 HAS SOUS 1394083 HAS SOUPS 522828 WITH SCORE 539756.306
AT ITER 4544 NEW BEST:: SOT 19844452 SOS 16936890 HAS SOPS 8412663 HAS SOUS 1393954 HAS SOUPS 522699 WITH SCORE 539635.89
AT ITER 4549 NEW BEST:: SOT 19844263 SOS 16935680 HAS SOPS 8411453 HAS SOUS 1393610 HAS SOUPS 522355 WITH SCORE 539290.68
AT ITER 4576 NEW BEST:: SOT 19844189 SOS 16935462 HAS SOPS 8411605 HAS SOUS 1393448 HAS SOUPS 522267 WITH SCORE 539202.462
AT ITER 4586 NEW BEST:: SOT 19844189 SOS 16935462 HAS SOPS 8411605 HAS SOUS 1393426 HAS SOUPS 522245 WITH SCORE 539180.462
AT ITER 4601 NEW BEST:: SOT 19844153 SOS 16935570 HAS SOPS 8411533 HAS SOUS 1393390 HAS SOUPS 522173 WITH SCORE 539108.57
AT ITER 4611 NEW BEST:: SOT 19843957 SOS 16935276 HAS SOPS 8410749 HAS SOUS 1393194 HAS SOUPS 521879 WITH SCORE 538814.276
AT ITER 4625 NEW BEST:: SOT 19843603 SOS 16934204 HAS SOPS 8411497 HAS SOUS 1392476 HAS SOUPS 521525 WITH SCORE 538459.204
AT ITER 4627 NEW BEST:: SOT 19843603 SOS 16934152 HAS SOPS 8411705 HAS SOUS 1392424 HAS SOUPS 521525 WITH SCORE 538459.152
AT ITER 4651 NEW BEST:: SOT 19843603 SOS 16933714 HAS SOPS 8411632 HAS SOUS 1392205 HAS SOUPS 521379 WITH SCORE 538312.714
AT ITER 4672 NEW BEST:: SOT 19843533 SOS 16933539 HAS SOPS 8411457 HAS SOUS 1392205 HAS SOUPS 521379 WITH SCORE 538312.539
AT ITER 4701 NEW BEST:: SOT 19843356 SOS 16932000 HAS SOPS 8411103 HAS SOUS 1391851 HAS SOUPS 521262 WITH SCORE 538194.0
AT ITER 4731 NEW BEST:: SOT 19843303 SOS 16931629 HAS SOPS 8410997 HAS SOUS 1391745 HAS SOUPS 521209 WITH SCORE 538140.629
AT ITER 4738 NEW BEST:: SOT 19842945 SOS 16930913 HAS SOPS 8410281 HAS SOUS 1391451 HAS SOUPS 520915 WITH SCORE 537845.913
AT ITER 4744 NEW BEST:: SOT 19842969 SOS 16931963 HAS SOPS 8409791 HAS SOUS 1391548 HAS SOUPS 520704 WITH SCORE 537635.963
AT ITER 4751 NEW BEST:: SOT 19842743 SOS 16930446 HAS SOPS 8410239 HAS SOUS 1390703 HAS SOUPS 520252 WITH SCORE 537182.446
AT ITER 4788 NEW BEST:: SOT 19842743 SOS 16929737 HAS SOPS 8413075 HAS SOUS 1389994 HAS SOUPS 520252 WITH SCORE 537181.737
AT ITER 4801 NEW BEST:: SOT 19840958 SOS 16938302 HAS SOPS 8416240 HAS SOUS 1388971 HAS SOUPS 519229 WITH SCORE 536167.302
AT ITER 4803 NEW BEST:: SOT 19839199 SOS 16934127 HAS SOPS 8415350 HAS SOUS 1388142 HAS SOUPS 519057 WITH SCORE 535991.127
AT ITER 4804 NEW BEST:: SOT 19839062 SOS 16933742 HAS SOPS 8415520 HAS SOUS 1387979 HAS SOUPS 519005 WITH SCORE 535938.742
AT ITER 4839 NEW BEST:: SOT 19839062 SOS 16933742 HAS SOPS 8415520 HAS SOUS 1387961 HAS SOUPS 518987 WITH SCORE 535920.742
AT ITER 4850 NEW BEST:: SOT 19838900 SOS 16932568 HAS SOPS 8416671 HAS SOUS 1387313 HAS SOUPS 518804 WITH SCORE 535736.568
AT ITER 4866 NEW BEST:: SOT 19838682 SOS 16932072 HAS SOPS 8416175 HAS SOUS 1386883 HAS SOUPS 518374 WITH SCORE 535306.072
AT ITER 4867 NEW BEST:: SOT 19838938 SOS 16932671 HAS SOPS 8416339 HAS SOUS 1386878 HAS SOUPS 518282 WITH SCORE 535214.671
AT ITER 4872 NEW BEST:: SOT 19838452 SOS 16930727 HAS SOPS 8414395 HAS SOUS 1386149 HAS SOUPS 517553 WITH SCORE 534483.727
AT ITER 4892 NEW BEST:: SOT 19835985 SOS 16942983 HAS SOPS 8419401 HAS SOUS 1385698 HAS SOUPS 517102 WITH SCORE 534044.983
AT ITER 4910 NEW BEST:: SOT 19835251 SOS 16946175 HAS SOPS 8420043 HAS SOUS 1385537 HAS SOUPS 516771 WITH SCORE 533717.175
AT ITER 4923 NEW BEST:: SOT 19835054 SOS 16945781 HAS SOPS 8419649 HAS SOUS 1385143 HAS SOUPS 516377 WITH SCORE 533322.781
AT ITER 4935 NEW BEST:: SOT 19834280 SOS 16943548 HAS SOPS 8417416 HAS SOUS 1384180 HAS SOUPS 515414 WITH SCORE 532357.548
AT ITER 4936 NEW BEST:: SOT 19834342 SOS 16943548 HAS SOPS 8417416 HAS SOUS 1384139 HAS SOUPS 515373 WITH SCORE 532316.548
AT ITER 4975 NEW BEST:: SOT 19834018 SOS 16942900 HAS SOPS 8416768 HAS SOUS 1384058 HAS SOUPS 515292 WITH SCORE 532234.9
AT ITER 4979 NEW BEST:: SOT 19833516 SOS 16941896 HAS SOPS 8415764 HAS SOUS 1383762 HAS SOUPS 514996 WITH SCORE 531937.896
AT ITER 4991 NEW BEST:: SOT 19831319 SOS 16953705 HAS SOPS 8421463 HAS SOUS 1383257 HAS SOUPS 514491 WITH SCORE 531444.705
AT ITER 5001 NEW BEST:: SOT 19831319 SOS 16953141 HAS SOPS 8420899 HAS SOUS 1383145 HAS SOUPS 514379 WITH SCORE 531332.141
AT ITER 5004 NEW BEST:: SOT 19831211 SOS 16952565 HAS SOPS 8420323 HAS SOUS 1383010 HAS SOUPS 514244 WITH SCORE 531196.565
AT ITER 5015 NEW BEST:: SOT 19830731 SOS 16951605 HAS SOPS 8419363 HAS SOUS 1382509 HAS SOUPS 513743 WITH SCORE 530694.605
AT ITER 5024 NEW BEST:: SOT 19829889 SOS 16961470 HAS SOPS 8424748 HAS SOUS 1382290 HAS SOUPS 513524 WITH SCORE 530485.47
AT ITER 5026 NEW BEST:: SOT 19829493 SOS 16960579 HAS SOPS 8424352 HAS SOUS 1382077 HAS SOUPS 513410 WITH SCORE 530370.579
AT ITER 5036 NEW BEST:: SOT 19828079 SOS 16957374 HAS SOPS 8423032 HAS SOUS 1381138 HAS SOUPS 512848 WITH SCORE 529805.374
AT ITER 5063 NEW BEST:: SOT 19828079 SOS 16957374 HAS SOPS 8423032 HAS SOUS 1380892 HAS SOUPS 512602 WITH SCORE 529559.374
AT ITER 5070 NEW BEST:: SOT 19828079 SOS 16957374 HAS SOPS 8423032 HAS SOUS 1380684 HAS SOUPS 512394 WITH SCORE 529351.374
AT ITER 5083 NEW BEST:: SOT 19827947 SOS 16957520 HAS SOPS 8422703 HAS SOUS 1380610 HAS SOUPS 512225 WITH SCORE 529182.52
AT ITER 5087 NEW BEST:: SOT 19827947 SOS 16957775 HAS SOPS 8422703 HAS SOUS 1380610 HAS SOUPS 512174 WITH SCORE 529131.775
AT ITER 5094 NEW BEST:: SOT 19828006 SOS 16951537 HAS SOPS 8418735 HAS SOUS 1380442 HAS SOUPS 512006 WITH SCORE 528957.537
AT ITER 5095 NEW BEST:: SOT 19826659 SOS 16948358 HAS SOPS 8417981 HAS SOUS 1379789 HAS SOUPS 511838 WITH SCORE 528786.358
AT ITER 5113 NEW BEST:: SOT 19824717 SOS 16952952 HAS SOPS 8418415 HAS SOUS 1378474 HAS SOUPS 510523 WITH SCORE 527475.952
AT ITER 5133 NEW BEST:: SOT 19824433 SOS 16952384 HAS SOPS 8417847 HAS SOUS 1377996 HAS SOUPS 510045 WITH SCORE 526997.384
AT ITER 5182 NEW BEST:: SOT 19824472 SOS 16952462 HAS SOPS 8417925 HAS SOUS 1377964 HAS SOUPS 510013 WITH SCORE 526965.462
AT ITER 5183 NEW BEST:: SOT 19824276 SOS 16952070 HAS SOPS 8417533 HAS SOUS 1377768 HAS SOUPS 509817 WITH SCORE 526769.07
AT ITER 5244 NEW BEST:: SOT 19824145 SOS 16951808 HAS SOPS 8417271 HAS SOUS 1377677 HAS SOUPS 509726 WITH SCORE 526677.808
AT ITER 5245 NEW BEST:: SOT 19824229 SOS 16949542 HAS SOPS 8415935 HAS SOUS 1377659 HAS SOUPS 509708 WITH SCORE 526657.542
AT ITER 5250 NEW BEST:: SOT 19823963 SOS 16948605 HAS SOPS 8416253 HAS SOUS 1376950 HAS SOUPS 509250 WITH SCORE 526198.605
AT ITER 5269 NEW BEST:: SOT 19823671 SOS 16948021 HAS SOPS 8417454 HAS SOUS 1376301 HAS SOUPS 508958 WITH SCORE 525906.021
AT ITER 5273 NEW BEST:: SOT 19833137 SOS 16957180 HAS SOPS 8424655 HAS SOUS 1376537 HAS SOUPS 508743 WITH SCORE 525700.18
AT ITER 5274 NEW BEST:: SOT 19833153 SOS 16957212 HAS SOPS 8424687 HAS SOUS 1376484 HAS SOUPS 508690 WITH SCORE 525647.212
AT ITER 5284 NEW BEST:: SOT 19832923 SOS 16956876 HAS SOPS 8423731 HAS SOUS 1376254 HAS SOUPS 508336 WITH SCORE 525292.876
AT ITER 5326 NEW BEST:: SOT 19832816 SOS 16956662 HAS SOPS 8422672 HAS SOUS 1376147 HAS SOUPS 508060 WITH SCORE 525016.662
AT ITER 5341 NEW BEST:: SOT 19832815 SOS 16956665 HAS SOPS 8422670 HAS SOUS 1376146 HAS SOUPS 508058 WITH SCORE 525014.665
AT ITER 5344 NEW BEST:: SOT 19832815 SOS 16956665 HAS SOPS 8422670 HAS SOUS 1376124 HAS SOUPS 508036 WITH SCORE 524992.665
AT ITER 5398 NEW BEST:: SOT 19832815 SOS 16956665 HAS SOPS 8422670 HAS SOUS 1375962 HAS SOUPS 507874 WITH SCORE 524830.665
AT ITER 5423 NEW BEST:: SOT 19832737 SOS 16956509 HAS SOPS 8422514 HAS SOUS 1375652 HAS SOUPS 507564 WITH SCORE 524520.509
AT ITER 5436 NEW BEST:: SOT 19831873 SOS 16952656 HAS SOPS 8418661 HAS SOUS 1375217 HAS SOUPS 507129 WITH SCORE 524081.656
AT ITER 5456 NEW BEST:: SOT 19831873 SOS 16952781 HAS SOPS 8418161 HAS SOUS 1375092 HAS SOUPS 506879 WITH SCORE 523831.781
AT ITER 5461 NEW BEST:: SOT 19831819 SOS 16952513 HAS SOPS 8417893 HAS SOUS 1375078 HAS SOUPS 506865 WITH SCORE 523817.513
AT ITER 5485 NEW BEST:: SOT 19830946 SOS 16952513 HAS SOPS 8416923 HAS SOUS 1374399 HAS SOUPS 506186 WITH SCORE 523138.513
AT ITER 5487 NEW BEST:: SOT 19831042 SOS 16950017 HAS SOPS 8415387 HAS SOUS 1374399 HAS SOUPS 506186 WITH SCORE 523136.017
AT ITER 5497 NEW BEST:: SOT 19831042 SOS 16950017 HAS SOPS 8415387 HAS SOUS 1374271 HAS SOUPS 506058 WITH SCORE 523008.017
AT ITER 5512 NEW BEST:: SOT 19830666 SOS 16949172 HAS SOPS 8414542 HAS SOUS 1374174 HAS SOUPS 505961 WITH SCORE 522910.172
AT ITER 5518 NEW BEST:: SOT 19830388 SOS 16948894 HAS SOPS 8414264 HAS SOUS 1373914 HAS SOUPS 505701 WITH SCORE 522649.894
AT ITER 5537 NEW BEST:: SOT 19830628 SOS 16889166 HAS SOPS 8414099 HAS SOUS 1373338 HAS SOUPS 505594 WITH SCORE 522483.166
AT ITER 5549 NEW BEST:: SOT 19830692 SOS 16890129 HAS SOPS 8414227 HAS SOUS 1373416 HAS SOUPS 505505 WITH SCORE 522395.129
AT ITER 5581 NEW BEST:: SOT 19830357 SOS 16889459 HAS SOPS 8413557 HAS SOUS 1373011 HAS SOUPS 505100 WITH SCORE 521989.459
AT ITER 5623 NEW BEST:: SOT 19828804 SOS 16885898 HAS SOPS 8412271 HAS SOUS 1372226 HAS SOUPS 504770 WITH SCORE 521655.898
AT ITER 5632 NEW BEST:: SOT 19828804 SOS 16885898 HAS SOPS 8412271 HAS SOUS 1372186 HAS SOUPS 504730 WITH SCORE 521615.898
AT ITER 5634 NEW BEST:: SOT 19825181 SOS 16897480 HAS SOPS 8416443 HAS SOUS 1371943 HAS SOUPS 504487 WITH SCORE 521384.48
AT ITER 5652 NEW BEST:: SOT 19825171 SOS 16897460 HAS SOPS 8416423 HAS SOUS 1371933 HAS SOUPS 504477 WITH SCORE 521374.46
AT ITER 5672 NEW BEST:: SOT 19825171 SOS 16897460 HAS SOPS 8416423 HAS SOUS 1371797 HAS SOUPS 504341 WITH SCORE 521238.46
AT ITER 5681 NEW BEST:: SOT 19825155 SOS 16897428 HAS SOPS 8416391 HAS SOUS 1371781 HAS SOUPS 504325 WITH SCORE 521222.428
AT ITER 5684 NEW BEST:: SOT 19825058 SOS 16897331 HAS SOPS 8416294 HAS SOUS 1371781 HAS SOUPS 504325 WITH SCORE 521222.331
AT ITER 5685 NEW BEST:: SOT 19823734 SOS 16898355 HAS SOPS 8415278 HAS SOUS 1371153 HAS SOUPS 503697 WITH SCORE 520595.355
AT ITER 5694 NEW BEST:: SOT 19823436 SOS 16897759 HAS SOPS 8414682 HAS SOUS 1370822 HAS SOUPS 503366 WITH SCORE 520263.759
AT ITER 5701 NEW BEST:: SOT 19821971 SOS 16901637 HAS SOPS 8414120 HAS SOUS 1370705 HAS SOUPS 502953 WITH SCORE 519854.637
AT ITER 5707 NEW BEST:: SOT 19822329 SOS 16812495 HAS SOPS 8370444 HAS SOUS 1370347 HAS SOUPS 502953 WITH SCORE 519765.495
AT ITER 5719 NEW BEST:: SOT 19822335 SOS 16813767 HAS SOPS 8370456 HAS SOUS 1370470 HAS SOUPS 502824 WITH SCORE 519637.767
AT ITER 5733 NEW BEST:: SOT 19822335 SOS 16813767 HAS SOPS 8370456 HAS SOUS 1370416 HAS SOUPS 502770 WITH SCORE 519583.767
AT ITER 5737 NEW BEST:: SOT 19822335 SOS 16813102 HAS SOPS 8370456 HAS SOUS 1370153 HAS SOUPS 502640 WITH SCORE 519453.102
AT ITER 5750 NEW BEST:: SOT 19822335 SOS 16813102 HAS SOPS 8370456 HAS SOUS 1370103 HAS SOUPS 502590 WITH SCORE 519403.102
AT ITER 5755 NEW BEST:: SOT 19820523 SOS 16808973 HAS SOPS 8368852 HAS SOUS 1369235 HAS SOUPS 502227 WITH SCORE 519035.973
AT ITER 5760 NEW BEST:: SOT 19819118 SOS 16804348 HAS SOPS 8367252 HAS SOUS 1367329 HAS SOUPS 500926 WITH SCORE 517730.348
AT ITER 5771 NEW BEST:: SOT 19819040 SOS 16804002 HAS SOPS 8366906 HAS SOUS 1367251 HAS SOUPS 500848 WITH SCORE 517652.002
AT ITER 5796 NEW BEST:: SOT 19819040 SOS 16804002 HAS SOPS 8366906 HAS SOUS 1367005 HAS SOUPS 500602 WITH SCORE 517406.002
AT ITER 5813 NEW BEST:: SOT 19818207 SOS 16802868 HAS SOPS 8366269 HAS SOUS 1366914 HAS SOUPS 500518 WITH SCORE 517320.868
AT ITER 5830 NEW BEST:: SOT 19818207 SOS 16802868 HAS SOPS 8366269 HAS SOUS 1366722 HAS SOUPS 500326 WITH SCORE 517128.868
AT ITER 5853 NEW BEST:: SOT 19818837 SOS 16804443 HAS SOPS 8366269 HAS SOUS 1366688 HAS SOUPS 499977 WITH SCORE 516781.44299999997
AT ITER 5855 NEW BEST:: SOT 19818089 SOS 16803819 HAS SOPS 8365645 HAS SOUS 1366430 HAS SOUPS 499719 WITH SCORE 516522.819
AT ITER 5871 NEW BEST:: SOT 19818089 SOS 16802439 HAS SOPS 8365645 HAS SOUS 1365878 HAS SOUPS 499443 WITH SCORE 516245.439
AT ITER 5886 NEW BEST:: SOT 19817993 SOS 16802492 HAS SOPS 8365453 HAS SOUS 1365831 HAS SOUPS 499347 WITH SCORE 516149.492
AT ITER 5889 NEW BEST:: SOT 19817993 SOS 16802492 HAS SOPS 8365453 HAS SOUS 1365585 HAS SOUPS 499101 WITH SCORE 515903.492
AT ITER 5890 NEW BEST:: SOT 19817852 SOS 16802250 HAS SOPS 8364506 HAS SOUS 1365585 HAS SOUPS 498960 WITH SCORE 515762.25
AT ITER 5904 NEW BEST:: SOT 19817852 SOS 16802250 HAS SOPS 8364506 HAS SOUS 1365539 HAS SOUPS 498914 WITH SCORE 515716.25
AT ITER 5906 NEW BEST:: SOT 19817852 SOS 16802250 HAS SOPS 8364506 HAS SOUS 1365529 HAS SOUPS 498904 WITH SCORE 515706.25
AT ITER 5907 NEW BEST:: SOT 19817282 SOS 16801110 HAS SOPS 8363366 HAS SOUS 1364625 HAS SOUPS 498000 WITH SCORE 514801.11
AT ITER 5913 NEW BEST:: SOT 19817282 SOS 16801110 HAS SOPS 8363366 HAS SOUS 1364507 HAS SOUPS 497882 WITH SCORE 514683.11
AT ITER 5921 NEW BEST:: SOT 19816313 SOS 16798704 HAS SOPS 8363300 HAS SOUS 1363998 HAS SOUPS 497841 WITH SCORE 514639.704
AT ITER 5933 NEW BEST:: SOT 19816307 SOS 16798698 HAS SOPS 8363264 HAS SOUS 1363998 HAS SOUPS 497835 WITH SCORE 514633.698
AT ITER 5956 NEW BEST:: SOT 19816252 SOS 16798588 HAS SOPS 8363154 HAS SOUS 1363943 HAS SOUPS 497780 WITH SCORE 514578.588
AT ITER 6038 NEW BEST:: SOT 19816145 SOS 16798374 HAS SOPS 8363500 HAS SOUS 1363617 HAS SOUPS 497566 WITH SCORE 514364.374
AT ITER 6055 NEW BEST:: SOT 19816145 SOS 16798374 HAS SOPS 8363500 HAS SOUS 1363525 HAS SOUPS 497474 WITH SCORE 514272.374
AT ITER 6067 NEW BEST:: SOT 19816145 SOS 16798374 HAS SOPS 8363500 HAS SOUS 1363279 HAS SOUPS 497228 WITH SCORE 514026.374
AT ITER 6068 NEW BEST:: SOT 19816145 SOS 16798314 HAS SOPS 8363440 HAS SOUS 1363278 HAS SOUPS 497227 WITH SCORE 514025.314
AT ITER 6073 NEW BEST:: SOT 19816145 SOS 16798314 HAS SOPS 8363440 HAS SOUS 1363274 HAS SOUPS 497223 WITH SCORE 514021.314
AT ITER 6085 NEW BEST:: SOT 19816057 SOS 16798138 HAS SOPS 8363264 HAS SOUS 1363098 HAS SOUPS 497047 WITH SCORE 513845.138
AT ITER 6088 NEW BEST:: SOT 19813697 SOS 16794748 HAS SOPS 8361530 HAS SOUS 1362835 HAS SOUPS 496867 WITH SCORE 513661.748
AT ITER 6093 NEW BEST:: SOT 19813598 SOS 16794946 HAS SOPS 8361728 HAS SOUS 1362736 HAS SOUPS 496768 WITH SCORE 513562.946
AT ITER 6109 NEW BEST:: SOT 19813598 SOS 16794946 HAS SOPS 8361728 HAS SOUS 1362648 HAS SOUPS 496680 WITH SCORE 513474.946
AT ITER 6112 NEW BEST:: SOT 19811485 SOS 16804801 HAS SOPS 8365413 HAS SOUS 1361401 HAS SOUPS 495433 WITH SCORE 512237.801
AT ITER 6135 NEW BEST:: SOT 19811412 SOS 16804655 HAS SOPS 8365267 HAS SOUS 1361328 HAS SOUPS 495360 WITH SCORE 512164.655
AT ITER 6161 NEW BEST:: SOT 19811296 SOS 16802828 HAS SOPS 8365835 HAS SOUS 1360847 HAS SOUPS 495358 WITH SCORE 512160.828
AT ITER 6176 NEW BEST:: SOT 19811296 SOS 16802828 HAS SOPS 8365835 HAS SOUS 1360751 HAS SOUPS 495262 WITH SCORE 512064.828
AT ITER 6177 NEW BEST:: SOT 19810936 SOS 16801990 HAS SOPS 8365587 HAS SOUS 1360543 HAS SOUPS 495172 WITH SCORE 511973.99
AT ITER 6200 NEW BEST:: SOT 19810676 SOS 16801470 HAS SOPS 8364147 HAS SOUS 1360467 HAS SOUPS 494912 WITH SCORE 511713.47
AT ITER 6203 NEW BEST:: SOT 19810676 SOS 16801519 HAS SOPS 8363951 HAS SOUS 1360418 HAS SOUPS 494814 WITH SCORE 511615.519
AT ITER 6208 NEW BEST:: SOT 19810415 SOS 16800997 HAS SOPS 8362469 HAS SOUS 1360172 HAS SOUPS 494376 WITH SCORE 511176.997
AT ITER 6223 NEW BEST:: SOT 19810398 SOS 16800963 HAS SOPS 8362350 HAS SOUS 1360172 HAS SOUPS 494359 WITH SCORE 511159.963
AT ITER 6231 NEW BEST:: SOT 19809974 SOS 16802359 HAS SOPS 8362726 HAS SOUS 1359998 HAS SOUPS 494117 WITH SCORE 510919.359
AT ITER 6237 NEW BEST:: SOT 19809085 SOS 16807580 HAS SOPS 8365067 HAS SOUS 1359651 HAS SOUPS 493770 WITH SCORE 510577.58
AT ITER 6247 NEW BEST:: SOT 19806493 SOS 16804787 HAS SOPS 8363504 HAS SOUS 1359519 HAS SOUPS 493638 WITH SCORE 510442.787
AT ITER 6288 NEW BEST:: SOT 19805295 SOS 16802188 HAS SOPS 8360905 HAS SOUS 1358798 HAS SOUPS 492917 WITH SCORE 509719.188
AT ITER 6330 NEW BEST:: SOT 19804081 SOS 16799369 HAS SOPS 8360041 HAS SOUS 1357999 HAS SOUPS 492509 WITH SCORE 509308.369
AT ITER 6334 NEW BEST:: SOT 19804081 SOS 16799369 HAS SOPS 8360041 HAS SOUS 1357901 HAS SOUPS 492411 WITH SCORE 509210.369
AT ITER 6348 NEW BEST:: SOT 19804521 SOS 16789973 HAS SOPS 8354315 HAS SOUS 1357705 HAS SOUPS 492215 WITH SCORE 509004.973
AT ITER 6384 NEW BEST:: SOT 19804521 SOS 16789973 HAS SOPS 8354315 HAS SOUS 1357593 HAS SOUPS 492103 WITH SCORE 508892.973
AT ITER 6396 NEW BEST:: SOT 19804384 SOS 16789699 HAS SOPS 8354646 HAS SOUS 1357300 HAS SOUPS 491931 WITH SCORE 508720.699
AT ITER 6405 NEW BEST:: SOT 19804015 SOS 16791169 HAS SOPS 8354736 HAS SOUS 1357213 HAS SOUPS 491752 WITH SCORE 508543.169
AT ITER 6408 NEW BEST:: SOT 19802215 SOS 16787112 HAS SOPS 8352964 HAS SOUS 1356651 HAS SOUPS 491647 WITH SCORE 508434.112
AT ITER 6410 NEW BEST:: SOT 19802138 SOS 16787002 HAS SOPS 8352854 HAS SOUS 1356419 HAS SOUPS 491415 WITH SCORE 508202.002
AT ITER 6457 NEW BEST:: SOT 19802138 SOS 16787002 HAS SOPS 8352854 HAS SOUS 1356173 HAS SOUPS 491169 WITH SCORE 507956.002
AT ITER 6483 NEW BEST:: SOT 19802197 SOS 16785468 HAS SOPS 8351910 HAS SOUS 1356173 HAS SOUPS 491169 WITH SCORE 507954.468
AT ITER 6487 NEW BEST:: SOT 19802197 SOS 16786033 HAS SOPS 8351910 HAS SOUS 1356173 HAS SOUPS 491056 WITH SCORE 507842.033
AT ITER 6489 NEW BEST:: SOT 19801671 SOS 16792345 HAS SOPS 8354277 HAS SOUS 1356173 HAS SOUPS 490793 WITH SCORE 507585.345
AT ITER 6493 NEW BEST:: SOT 19801359 SOS 16791643 HAS SOPS 8353965 HAS SOUS 1356095 HAS SOUPS 490793 WITH SCORE 507584.643
AT ITER 6501 NEW BEST:: SOT 19800367 SOS 16789102 HAS SOPS 8354209 HAS SOUS 1355467 HAS SOUPS 490722 WITH SCORE 507511.102
AT ITER 6505 NEW BEST:: SOT 19800304 SOS 16788976 HAS SOPS 8354408 HAS SOUS 1355339 HAS SOUPS 490659 WITH SCORE 507447.976
AT ITER 6592 NEW BEST:: SOT 19800024 SOS 16788416 HAS SOPS 8354408 HAS SOUS 1355217 HAS SOUPS 490659 WITH SCORE 507447.416
AT ITER 6599 NEW BEST:: SOT 19799915 SOS 16788128 HAS SOPS 8354120 HAS SOUS 1354987 HAS SOUPS 490429 WITH SCORE 507217.128
AT ITER 6600 NEW BEST:: SOT 19799915 SOS 16788128 HAS SOPS 8354120 HAS SOUS 1354741 HAS SOUPS 490183 WITH SCORE 506971.128
AT ITER 6616 NEW BEST:: SOT 19799915 SOS 16788128 HAS SOPS 8354120 HAS SOUS 1354657 HAS SOUPS 490099 WITH SCORE 506887.128
AT ITER 6620 NEW BEST:: SOT 19799905 SOS 16788166 HAS SOPS 8354128 HAS SOUS 1354651 HAS SOUPS 490091 WITH SCORE 506879.166
AT ITER 6623 NEW BEST:: SOT 19799905 SOS 16788166 HAS SOPS 8354128 HAS SOUS 1354539 HAS SOUPS 489979 WITH SCORE 506767.166
AT ITER 6627 NEW BEST:: SOT 19799905 SOS 16788166 HAS SOPS 8354128 HAS SOUS 1354467 HAS SOUPS 489907 WITH SCORE 506695.166
AT ITER 6632 NEW BEST:: SOT 19799431 SOS 16786463 HAS SOPS 8354800 HAS SOUS 1353327 HAS SOUPS 489242 WITH SCORE 506028.463
AT ITER 6634 NEW BEST:: SOT 19799431 SOS 16786327 HAS SOPS 8354664 HAS SOUS 1353327 HAS SOUPS 489242 WITH SCORE 506028.327
AT ITER 6639 NEW BEST:: SOT 19799186 SOS 16786642 HAS SOPS 8354454 HAS SOUS 1353257 HAS SOUPS 489137 WITH SCORE 505923.642
AT ITER 6659 NEW BEST:: SOT 19799022 SOS 16787052 HAS SOPS 8354454 HAS SOUS 1353093 HAS SOUPS 488973 WITH SCORE 505760.052
AT ITER 6663 NEW BEST:: SOT 19799022 SOS 16787052 HAS SOPS 8354454 HAS SOUS 1352911 HAS SOUPS 488791 WITH SCORE 505578.052
AT ITER 6673 NEW BEST:: SOT 19796061 SOS 16792947 HAS SOPS 8355209 HAS SOUS 1351331 HAS SOUPS 487211 WITH SCORE 504003.947
AT ITER 6682 NEW BEST:: SOT 19796031 SOS 16792602 HAS SOPS 8355089 HAS SOUS 1351316 HAS SOUPS 487211 WITH SCORE 504003.602
AT ITER 6702 NEW BEST:: SOT 19796031 SOS 16792602 HAS SOPS 8355089 HAS SOUS 1351286 HAS SOUPS 487181 WITH SCORE 503973.602
AT ITER 6723 NEW BEST:: SOT 19795743 SOS 16792026 HAS SOPS 8354513 HAS SOUS 1350982 HAS SOUPS 486877 WITH SCORE 503669.026
AT ITER 6734 NEW BEST:: SOT 19795665 SOS 16791545 HAS SOPS 8354577 HAS SOUS 1350795 HAS SOUPS 486799 WITH SCORE 503590.545
AT ITER 6744 NEW BEST:: SOT 19795836 SOS 16786959 HAS SOPS 8351751 HAS SOUS 1350785 HAS SOUPS 486789 WITH SCORE 503575.959
AT ITER 6757 NEW BEST:: SOT 19795683 SOS 16786653 HAS SOPS 8350390 HAS SOUS 1350843 HAS SOUPS 486636 WITH SCORE 503422.653
AT ITER 6793 NEW BEST:: SOT 19795683 SOS 16786653 HAS SOPS 8350390 HAS SOUS 1350597 HAS SOUPS 486390 WITH SCORE 503176.653
AT ITER 6809 NEW BEST:: SOT 19797141 SOS 16787369 HAS SOPS 8351106 HAS SOUS 1350269 HAS SOUPS 486062 WITH SCORE 502849.369
AT ITER 6816 NEW BEST:: SOT 19797093 SOS 16787273 HAS SOPS 8351010 HAS SOUS 1350221 HAS SOUPS 486014 WITH SCORE 502801.273
AT ITER 6821 NEW BEST:: SOT 19796728 SOS 16788368 HAS SOPS 8350280 HAS SOUS 1350066 HAS SOUPS 485494 WITH SCORE 502282.368
AT ITER 6828 NEW BEST:: SOT 19795603 SOS 16802124 HAS SOPS 8353626 HAS SOUS 1349138 HAS SOUPS 483872 WITH SCORE 500674.124
AT ITER 6848 NEW BEST:: SOT 19795922 SOS 16802237 HAS SOPS 8353739 HAS SOUS 1348976 HAS SOUPS 483710 WITH SCORE 500512.237
AT ITER 6859 NEW BEST:: SOT 19795579 SOS 16801551 HAS SOPS 8354538 HAS SOUS 1348165 HAS SOUPS 483196 WITH SCORE 499997.551
AT ITER 6873 NEW BEST:: SOT 19795235 SOS 16800548 HAS SOPS 8353682 HAS SOUS 1347836 HAS SOUPS 482867 WITH SCORE 499667.548
AT ITER 6941 NEW BEST:: SOT 19795373 SOS 16800950 HAS SOPS 8353454 HAS SOUS 1347950 HAS SOUPS 482855 WITH SCORE 499655.95
AT ITER 6942 NEW BEST:: SOT 19795149 SOS 16800502 HAS SOPS 8353006 HAS SOUS 1347425 HAS SOUPS 482330 WITH SCORE 499130.502
AT ITER 6944 NEW BEST:: SOT 19795149 SOS 16799942 HAS SOPS 8352446 HAS SOUS 1347425 HAS SOUPS 482330 WITH SCORE 499129.942
AT ITER 6956 NEW BEST:: SOT 19795379 SOS 16800517 HAS SOPS 8352446 HAS SOUS 1347480 HAS SOUPS 482270 WITH SCORE 499070.517
AT ITER 6960 NEW BEST:: SOT 19795050 SOS 16804557 HAS SOPS 8354126 HAS SOUS 1347241 HAS SOUPS 482031 WITH SCORE 498835.55700000003
AT ITER 6982 NEW BEST:: SOT 19795050 SOS 16804557 HAS SOPS 8354126 HAS SOUS 1347079 HAS SOUPS 481869 WITH SCORE 498673.55700000003
AT ITER 7010 NEW BEST:: SOT 19795050 SOS 16803757 HAS SOPS 8353326 HAS SOUS 1347079 HAS SOUPS 481869 WITH SCORE 498672.757
AT ITER 7021 NEW BEST:: SOT 19794716 SOS 16801479 HAS SOPS 8352658 HAS SOUS 1346298 HAS SOUPS 481410 WITH SCORE 498211.479
AT ITER 7028 NEW BEST:: SOT 19794673 SOS 16801792 HAS SOPS 8352656 HAS SOUS 1346318 HAS SOUPS 481409 WITH SCORE 498210.792
AT ITER 7057 NEW BEST:: SOT 19794673 SOS 16801792 HAS SOPS 8352656 HAS SOUS 1346316 HAS SOUPS 481407 WITH SCORE 498208.792
AT ITER 7089 NEW BEST:: SOT 19794491 SOS 16801428 HAS SOPS 8352292 HAS SOUS 1346134 HAS SOUPS 481225 WITH SCORE 498026.428
AT ITER 7115 NEW BEST:: SOT 19793736 SOS 16799123 HAS SOPS 8349987 HAS SOUS 1346039 HAS SOUPS 481130 WITH SCORE 497929.123
AT ITER 7177 NEW BEST:: SOT 19793222 SOS 16797991 HAS SOPS 8348855 HAS SOUS 1345843 HAS SOUPS 480934 WITH SCORE 497731.991
AT ITER 7215 NEW BEST:: SOT 19793222 SOS 16795106 HAS SOPS 8348855 HAS SOUS 1344915 HAS SOUPS 480583 WITH SCORE 497378.106
AT ITER 7234 NEW BEST:: SOT 19792664 SOS 16791995 HAS SOPS 8348144 HAS SOUS 1343817 HAS SOUPS 479965 WITH SCORE 496756.995
AT ITER 7239 NEW BEST:: SOT 19784945 SOS 16780774 HAS SOPS 8343570 HAS SOUS 1343162 HAS SOUPS 479911 WITH SCORE 496691.774
AT ITER 7244 NEW BEST:: SOT 19784536 SOS 16787408 HAS SOPS 8347064 HAS SOUS 1343067 HAS SOUPS 479816 WITH SCORE 496603.408
AT ITER 7245 NEW BEST:: SOT 19783560 SOS 16785456 HAS SOPS 8345112 HAS SOUS 1342823 HAS SOUPS 479572 WITH SCORE 496357.456
AT ITER 7253 NEW BEST:: SOT 19783328 SOS 16785604 HAS SOPS 8344920 HAS SOUS 1342733 HAS SOUPS 479482 WITH SCORE 496267.604
AT ITER 7267 NEW BEST:: SOT 19783038 SOS 16784479 HAS SOPS 8346520 HAS SOUS 1342098 HAS SOUPS 479392 WITH SCORE 496176.479
AT ITER 7285 NEW BEST:: SOT 19782918 SOS 16785919 HAS SOPS 8347060 HAS SOUS 1342098 HAS SOUPS 479332 WITH SCORE 496117.919
AT ITER 7302 NEW BEST:: SOT 19782796 SOS 16785675 HAS SOPS 8346816 HAS SOUS 1341843 HAS SOUPS 479077 WITH SCORE 495862.675
AT ITER 7328 NEW BEST:: SOT 19782796 SOS 16785675 HAS SOPS 8346816 HAS SOUS 1341831 HAS SOUPS 479065 WITH SCORE 495850.675
AT ITER 7341 NEW BEST:: SOT 19783095 SOS 16778986 HAS SOPS 8344612 HAS SOUS 1341204 HAS SOUPS 478737 WITH SCORE 495515.986
AT ITER 7344 NEW BEST:: SOT 19783095 SOS 16778986 HAS SOPS 8344612 HAS SOUS 1341150 HAS SOUPS 478683 WITH SCORE 495461.986
AT ITER 7345 NEW BEST:: SOT 19782911 SOS 16780410 HAS SOPS 8345396 HAS SOUS 1341030 HAS SOUPS 478563 WITH SCORE 495343.41
AT ITER 7349 NEW BEST:: SOT 19782872 SOS 16774171 HAS SOPS 8341427 HAS SOUS 1340537 HAS SOUPS 478070 WITH SCORE 494844.171
AT ITER 7373 NEW BEST:: SOT 19782840 SOS 16774107 HAS SOPS 8341363 HAS SOUS 1340467 HAS SOUPS 478000 WITH SCORE 494774.107
AT ITER 7375 NEW BEST:: SOT 19782697 SOS 16766057 HAS SOPS 8337483 HAS SOUS 1339490 HAS SOUPS 477301 WITH SCORE 494067.05700000003
AT ITER 7377 NEW BEST:: SOT 19782693 SOS 16766029 HAS SOPS 8337475 HAS SOUS 1339478 HAS SOUPS 477293 WITH SCORE 494059.029
AT ITER 7378 NEW BEST:: SOT 19782046 SOS 16768223 HAS SOPS 8338259 HAS SOUS 1339060 HAS SOUPS 476875 WITH SCORE 493643.223
AT ITER 7397 NEW BEST:: SOT 19781996 SOS 16768123 HAS SOPS 8338159 HAS SOUS 1339010 HAS SOUPS 476825 WITH SCORE 493593.123
AT ITER 7407 NEW BEST:: SOT 19780597 SOS 16764968 HAS SOPS 8336789 HAS SOUS 1338327 HAS SOUPS 476499 WITH SCORE 493263.968
AT ITER 7427 NEW BEST:: SOT 19780597 SOS 16764968 HAS SOPS 8336789 HAS SOUS 1338177 HAS SOUPS 476349 WITH SCORE 493113.968
AT ITER 7449 NEW BEST:: SOT 19777817 SOS 16761335 HAS SOPS 8334506 HAS SOUS 1338097 HAS SOUPS 476269 WITH SCORE 493030.335
AT ITER 7461 NEW BEST:: SOT 19777850 SOS 16761401 HAS SOPS 8334572 HAS SOUS 1338002 HAS SOUPS 476174 WITH SCORE 492935.401
AT ITER 7471 NEW BEST:: SOT 19777850 SOS 16761401 HAS SOPS 8334572 HAS SOUS 1337756 HAS SOUPS 475928 WITH SCORE 492689.401
AT ITER 7475 NEW BEST:: SOT 19777850 SOS 16761401 HAS SOPS 8334572 HAS SOUS 1337708 HAS SOUPS 475880 WITH SCORE 492641.401
AT ITER 7517 NEW BEST:: SOT 19777551 SOS 16760740 HAS SOPS 8334226 HAS SOUS 1337551 HAS SOUPS 475786 WITH SCORE 492546.74
AT ITER 7520 NEW BEST:: SOT 19777781 SOS 16729958 HAS SOPS 8335702 HAS SOUS 1337209 HAS SOUPS 475698 WITH SCORE 492427.958
AT ITER 7533 NEW BEST:: SOT 19777179 SOS 16734080 HAS SOPS 8336194 HAS SOUS 1337179 HAS SOUPS 475426 WITH SCORE 492160.08
AT ITER 7570 NEW BEST:: SOT 19777707 SOS 16734828 HAS SOPS 8336458 HAS SOUS 1337143 HAS SOUPS 475346 WITH SCORE 492080.828
AT ITER 7571 NEW BEST:: SOT 19777644 SOS 16734702 HAS SOPS 8336332 HAS SOUS 1337009 HAS SOUPS 475212 WITH SCORE 491946.702
AT ITER 7573 NEW BEST:: SOT 19777545 SOS 16734999 HAS SOPS 8336134 HAS SOUS 1336918 HAS SOUPS 475022 WITH SCORE 491756.999
AT ITER 7594 NEW BEST:: SOT 19780455 SOS 16737476 HAS SOPS 8337430 HAS SOUS 1336298 HAS SOUPS 474549 WITH SCORE 491286.476
AT ITER 7607 NEW BEST:: SOT 19780373 SOS 16737312 HAS SOPS 8337266 HAS SOUS 1336216 HAS SOUPS 474467 WITH SCORE 491204.312
AT ITER 7619 NEW BEST:: SOT 19778118 SOS 16739810 HAS SOPS 8336104 HAS SOUS 1335460 HAS SOUPS 473711 WITH SCORE 490450.81
AT ITER 7644 NEW BEST:: SOT 19779045 SOS 16740220 HAS SOPS 8336514 HAS SOUS 1335344 HAS SOUPS 473595 WITH SCORE 490335.22
AT ITER 7666 NEW BEST:: SOT 19779269 SOS 16740780 HAS SOPS 8336514 HAS SOUS 1335249 HAS SOUPS 473388 WITH SCORE 490128.78
AT ITER 7678 NEW BEST:: SOT 19779269 SOS 16740780 HAS SOPS 8336514 HAS SOUS 1335119 HAS SOUPS 473258 WITH SCORE 489998.78
AT ITER 7684 NEW BEST:: SOT 19779718 SOS 16740004 HAS SOPS 8336668 HAS SOUS 1335087 HAS SOUPS 473226 WITH SCORE 489966.004
AT ITER 7737 NEW BEST:: SOT 19779674 SOS 16739951 HAS SOPS 8336410 HAS SOUS 1335084 HAS SOUPS 473182 WITH SCORE 489921.951
AT ITER 7738 NEW BEST:: SOT 19779674 SOS 16735891 HAS SOPS 8334525 HAS SOUS 1334794 HAS SOUPS 473037 WITH SCORE 489772.891
AT ITER 7752 NEW BEST:: SOT 19779118 SOS 16734637 HAS SOPS 8333981 HAS SOUS 1334464 HAS SOUPS 472849 WITH SCORE 489583.637
AT ITER 7783 NEW BEST:: SOT 19779118 SOS 16734637 HAS SOPS 8333981 HAS SOUS 1334388 HAS SOUPS 472773 WITH SCORE 489507.637
AT ITER 7795 NEW BEST:: SOT 19779118 SOS 16734637 HAS SOPS 8333981 HAS SOUS 1334378 HAS SOUPS 472763 WITH SCORE 489497.637
AT ITER 7828 NEW BEST:: SOT 19778196 SOS 16737117 HAS SOPS 8334581 HAS SOUS 1334182 HAS SOUPS 472567 WITH SCORE 489304.117
AT ITER 7829 NEW BEST:: SOT 19778344 SOS 16736323 HAS SOPS 8334877 HAS SOUS 1333899 HAS SOUPS 472502 WITH SCORE 489238.323
AT ITER 7836 NEW BEST:: SOT 19778344 SOS 16736323 HAS SOPS 8334877 HAS SOUS 1333805 HAS SOUPS 472408 WITH SCORE 489144.323
AT ITER 7850 NEW BEST:: SOT 19778340 SOS 16736315 HAS SOPS 8334859 HAS SOUS 1333801 HAS SOUPS 472402 WITH SCORE 489138.315
AT ITER 7933 NEW BEST:: SOT 19777876 SOS 16738744 HAS SOPS 8335998 HAS SOUS 1333540 HAS SOUPS 472141 WITH SCORE 488879.744
AT ITER 7936 NEW BEST:: SOT 19775981 SOS 16736349 HAS SOPS 8334677 HAS SOUS 1333475 HAS SOUPS 472076 WITH SCORE 488812.349
AT ITER 7945 NEW BEST:: SOT 19775589 SOS 16736853 HAS SOPS 8334341 HAS SOUS 1333307 HAS SOUPS 471852 WITH SCORE 488588.853
AT ITER 7979 NEW BEST:: SOT 19775439 SOS 16737566 HAS SOPS 8334364 HAS SOUS 1333307 HAS SOUPS 471806 WITH SCORE 488543.566
AT ITER 8009 NEW BEST:: SOT 19775611 SOS 16736840 HAS SOPS 8334708 HAS SOUS 1333060 HAS SOUPS 471773 WITH SCORE 488509.84
AT ITER 8023 NEW BEST:: SOT 19775747 SOS 16737180 HAS SOPS 8334708 HAS SOUS 1333060 HAS SOUPS 471705 WITH SCORE 488442.18
AT ITER 8034 NEW BEST:: SOT 19775499 SOS 16736491 HAS SOPS 8334984 HAS SOUS 1332743 HAS SOUPS 471581 WITH SCORE 488317.491
AT ITER 8039 NEW BEST:: SOT 19774509 SOS 16742582 HAS SOPS 8336245 HAS SOUS 1332542 HAS SOUPS 471058 WITH SCORE 487800.582
AT ITER 8042 NEW BEST:: SOT 19773564 SOS 16744395 HAS SOPS 8335643 HAS SOUS 1332563 HAS SOUPS 470918 WITH SCORE 487662.395
AT ITER 8052 NEW BEST:: SOT 19773564 SOS 16744210 HAS SOPS 8335458 HAS SOUS 1332526 HAS SOUPS 470881 WITH SCORE 487625.21
AT ITER 8063 NEW BEST:: SOT 19773401 SOS 16743884 HAS SOPS 8335132 HAS SOUS 1332363 HAS SOUPS 470718 WITH SCORE 487461.884
AT ITER 8076 NEW BEST:: SOT 19773234 SOS 16744263 HAS SOPS 8335201 HAS SOUS 1332320 HAS SOUPS 470675 WITH SCORE 487419.263
AT ITER 8086 NEW BEST:: SOT 19773092 SOS 16743979 HAS SOPS 8334917 HAS SOUS 1331602 HAS SOUPS 469957 WITH SCORE 486700.979
AT ITER 8102 NEW BEST:: SOT 19773108 SOS 16744011 HAS SOPS 8334949 HAS SOUS 1331522 HAS SOUPS 469877 WITH SCORE 486621.011
AT ITER 8123 NEW BEST:: SOT 19768372 SOS 16737015 HAS SOPS 8331867 HAS SOUS 1330956 HAS SOUPS 469630 WITH SCORE 486367.015
AT ITER 8143 NEW BEST:: SOT 19768206 SOS 16736268 HAS SOPS 8331535 HAS SOUS 1330624 HAS SOUPS 469381 WITH SCORE 486117.268
AT ITER 8144 NEW BEST:: SOT 19769550 SOS 16738172 HAS SOPS 8332207 HAS SOUS 1330512 HAS SOUPS 469157 WITH SCORE 485895.172
AT ITER 8149 NEW BEST:: SOT 19769550 SOS 16738172 HAS SOPS 8332207 HAS SOUS 1330324 HAS SOUPS 468969 WITH SCORE 485707.172
AT ITER 8150 NEW BEST:: SOT 19769264 SOS 16739472 HAS SOPS 8332467 HAS SOUS 1330069 HAS SOUPS 468714 WITH SCORE 485453.472
AT ITER 8178 NEW BEST:: SOT 19769067 SOS 16739690 HAS SOPS 8332345 HAS SOUS 1330008 HAS SOUPS 468653 WITH SCORE 485392.69
AT ITER 8185 NEW BEST:: SOT 19767623 SOS 16736554 HAS SOPS 8330449 HAS SOUS 1328812 HAS SOUPS 467705 WITH SCORE 484441.554
AT ITER 8203 NEW BEST:: SOT 19767490 SOS 16737218 HAS SOPS 8329383 HAS SOUS 1329025 HAS SOUPS 467572 WITH SCORE 484309.218
AT ITER 8215 NEW BEST:: SOT 19767189 SOS 16736616 HAS SOPS 8328781 HAS SOUS 1328641 HAS SOUPS 467188 WITH SCORE 483924.616
AT ITER 8219 NEW BEST:: SOT 19767036 SOS 16736310 HAS SOPS 8328475 HAS SOUS 1328536 HAS SOUPS 467083 WITH SCORE 483819.31
AT ITER 8226 NEW BEST:: SOT 19766980 SOS 16733563 HAS SOPS 8325728 HAS SOUS 1328229 HAS SOUPS 466776 WITH SCORE 483509.563
AT ITER 8234 NEW BEST:: SOT 19766826 SOS 16732870 HAS SOPS 8325420 HAS SOUS 1327844 HAS SOUPS 466468 WITH SCORE 483200.87
AT ITER 8279 NEW BEST:: SOT 19766063 SOS 16735139 HAS SOPS 8326039 HAS SOUS 1327667 HAS SOUPS 466291 WITH SCORE 483026.139
AT ITER 8289 NEW BEST:: SOT 19766063 SOS 16735139 HAS SOPS 8326039 HAS SOUS 1327595 HAS SOUPS 466219 WITH SCORE 482954.139
AT ITER 8297 NEW BEST:: SOT 19765754 SOS 16733016 HAS SOPS 8323916 HAS SOUS 1327152 HAS SOUPS 465776 WITH SCORE 482509.016
AT ITER 8318 NEW BEST:: SOT 19765321 SOS 16732034 HAS SOPS 8322934 HAS SOUS 1327050 HAS SOUPS 465674 WITH SCORE 482406.034
AT ITER 8330 NEW BEST:: SOT 19765319 SOS 16732027 HAS SOPS 8322932 HAS SOUS 1327048 HAS SOUPS 465673 WITH SCORE 482405.027
AT ITER 8340 NEW BEST:: SOT 19765085 SOS 16731559 HAS SOPS 8322464 HAS SOUS 1326667 HAS SOUPS 465292 WITH SCORE 482023.559
AT ITER 8349 NEW BEST:: SOT 19765038 SOS 16731465 HAS SOPS 8323010 HAS SOUS 1326492 HAS SOUPS 465245 WITH SCORE 481976.465
AT ITER 8350 NEW BEST:: SOT 19764496 SOS 16730381 HAS SOPS 8321926 HAS SOUS 1326303 HAS SOUPS 465056 WITH SCORE 481786.381
AT ITER 8353 NEW BEST:: SOT 19764008 SOS 16729309 HAS SOPS 8321334 HAS SOUS 1325911 HAS SOUPS 464760 WITH SCORE 481489.309
AT ITER 8387 NEW BEST:: SOT 19763742 SOS 16728557 HAS SOPS 8320582 HAS SOUS 1325495 HAS SOUPS 464344 WITH SCORE 481072.55700000003
AT ITER 8427 NEW BEST:: SOT 19763742 SOS 16728557 HAS SOPS 8320582 HAS SOUS 1325411 HAS SOUPS 464260 WITH SCORE 480988.55700000003
AT ITER 8443 NEW BEST:: SOT 19762048 SOS 16724734 HAS SOPS 8316759 HAS SOUS 1324698 HAS SOUPS 463547 WITH SCORE 480271.734
AT ITER 8446 NEW BEST:: SOT 19761750 SOS 16728600 HAS SOPS 8317715 HAS SOUS 1324788 HAS SOUPS 463443 WITH SCORE 480171.6
AT ITER 8462 NEW BEST:: SOT 19761750 SOS 16728600 HAS SOPS 8317715 HAS SOUS 1324740 HAS SOUPS 463395 WITH SCORE 480123.6
AT ITER 8463 NEW BEST:: SOT 19761750 SOS 16728600 HAS SOPS 8317715 HAS SOUS 1324494 HAS SOUPS 463149 WITH SCORE 479877.6
AT ITER 8472 NEW BEST:: SOT 19761747 SOS 16728594 HAS SOPS 8317694 HAS SOUS 1324491 HAS SOUPS 463143 WITH SCORE 479871.594
AT ITER 8493 NEW BEST:: SOT 19761681 SOS 16728627 HAS SOPS 8317562 HAS SOUS 1324458 HAS SOUPS 463077 WITH SCORE 479805.627
AT ITER 8496 NEW BEST:: SOT 19760696 SOS 16730780 HAS SOPS 8317705 HAS SOUS 1324223 HAS SOUPS 462842 WITH SCORE 479572.78
AT ITER 8508 NEW BEST:: SOT 19760613 SOS 16730614 HAS SOPS 8317539 HAS SOUS 1324057 HAS SOUPS 462676 WITH SCORE 479406.614
AT ITER 8512 NEW BEST:: SOT 19760613 SOS 16730614 HAS SOPS 8317539 HAS SOUS 1323811 HAS SOUPS 462430 WITH SCORE 479160.614
AT ITER 8527 NEW BEST:: SOT 19760613 SOS 16730614 HAS SOPS 8317539 HAS SOUS 1323801 HAS SOUPS 462420 WITH SCORE 479150.614
AT ITER 8530 NEW BEST:: SOT 19759961 SOS 16729052 HAS SOPS 8316751 HAS SOUS 1323149 HAS SOUPS 462026 WITH SCORE 478755.052
AT ITER 8535 NEW BEST:: SOT 19758633 SOS 16726064 HAS SOPS 8315423 HAS SOUS 1322292 HAS SOUPS 461501 WITH SCORE 478227.064
AT ITER 8547 NEW BEST:: SOT 19758553 SOS 16726634 HAS SOPS 8315263 HAS SOUS 1322397 HAS SOUPS 461460 WITH SCORE 478186.634
AT ITER 8572 NEW BEST:: SOT 19758593 SOS 16726714 HAS SOPS 8315343 HAS SOUS 1322391 HAS SOUPS 461454 WITH SCORE 478180.714
AT ITER 8583 NEW BEST:: SOT 19758483 SOS 16726494 HAS SOPS 8315123 HAS SOUS 1322275 HAS SOUPS 461338 WITH SCORE 478064.494
AT ITER 8596 NEW BEST:: SOT 19758306 SOS 16723942 HAS SOPS 8313801 HAS SOUS 1322180 HAS SOUPS 461325 WITH SCORE 478048.942
AT ITER 8617 NEW BEST:: SOT 19758254 SOS 16723838 HAS SOPS 8313697 HAS SOUS 1321952 HAS SOUPS 461097 WITH SCORE 477820.838
AT ITER 8629 NEW BEST:: SOT 19758322 SOS 16723906 HAS SOPS 8313765 HAS SOUS 1321841 HAS SOUPS 460986 WITH SCORE 477709.906
AT ITER 8657 NEW BEST:: SOT 19745018 SOS 16704348 HAS SOPS 8305285 HAS SOUS 1320811 HAS SOUPS 460881 WITH SCORE 477585.348
AT ITER 8659 NEW BEST:: SOT 19743498 SOS 16702524 HAS SOPS 8303461 HAS SOUS 1320203 HAS SOUPS 460273 WITH SCORE 476975.524
AT ITER 8678 NEW BEST:: SOT 19743498 SOS 16702524 HAS SOPS 8303461 HAS SOUS 1320161 HAS SOUPS 460231 WITH SCORE 476933.524
AT ITER 8692 NEW BEST:: SOT 19743498 SOS 16702524 HAS SOPS 8303461 HAS SOUS 1320075 HAS SOUPS 460145 WITH SCORE 476847.524
AT ITER 8704 NEW BEST:: SOT 19743498 SOS 16702524 HAS SOPS 8303461 HAS SOUS 1319999 HAS SOUPS 460069 WITH SCORE 476771.524
AT ITER 8709 NEW BEST:: SOT 19743430 SOS 16702388 HAS SOPS 8302905 HAS SOUS 1319863 HAS SOUPS 459849 WITH SCORE 476551.388
AT ITER 8716 NEW BEST:: SOT 19743430 SOS 16702388 HAS SOPS 8302905 HAS SOUS 1319849 HAS SOUPS 459835 WITH SCORE 476537.388
AT ITER 8729 NEW BEST:: SOT 19743336 SOS 16702059 HAS SOPS 8302811 HAS SOUS 1319708 HAS SOUPS 459741 WITH SCORE 476443.059
AT ITER 8736 NEW BEST:: SOT 19744689 SOS 16704027 HAS SOPS 8303426 HAS SOUS 1319708 HAS SOUPS 459618 WITH SCORE 476322.027
AT ITER 8752 NEW BEST:: SOT 19744318 SOS 16703285 HAS SOPS 8302684 HAS SOUS 1319514 HAS SOUPS 459424 WITH SCORE 476127.285
AT ITER 8767 NEW BEST:: SOT 19744232 SOS 16703113 HAS SOPS 8302512 HAS SOUS 1319342 HAS SOUPS 459252 WITH SCORE 475955.113
AT ITER 8792 NEW BEST:: SOT 19742616 SOS 16707704 HAS SOPS 8301913 HAS SOUS 1318714 HAS SOUPS 458278 WITH SCORE 474985.704
AT ITER 8812 NEW BEST:: SOT 19742546 SOS 16707844 HAS SOPS 8302053 HAS SOUS 1318644 HAS SOUPS 458208 WITH SCORE 474915.844
AT ITER 8817 NEW BEST:: SOT 19739929 SOS 16703701 HAS SOPS 8300308 HAS SOUS 1318317 HAS SOUPS 458099 WITH SCORE 474802.701
AT ITER 8836 NEW BEST:: SOT 19739755 SOS 16703373 HAS SOPS 8299110 HAS SOUS 1318035 HAS SOUPS 457643 WITH SCORE 474346.373
AT ITER 8853 NEW BEST:: SOT 19739743 SOS 16703487 HAS SOPS 8299164 HAS SOUS 1318029 HAS SOUPS 457637 WITH SCORE 474340.487
AT ITER 8873 NEW BEST:: SOT 19739860 SOS 16696711 HAS SOPS 8296063 HAS SOUS 1317410 HAS SOUPS 457263 WITH SCORE 473959.711
AT ITER 8887 NEW BEST:: SOT 19739084 SOS 16695935 HAS SOPS 8295287 HAS SOUS 1317407 HAS SOUPS 457260 WITH SCORE 473955.935
AT ITER 8912 NEW BEST:: SOT 19738952 SOS 16697711 HAS SOPS 8294913 HAS SOUS 1317773 HAS SOUPS 457196 WITH SCORE 473893.711
AT ITER 8914 NEW BEST:: SOT 19738952 SOS 16697711 HAS SOPS 8294913 HAS SOUS 1317527 HAS SOUPS 456950 WITH SCORE 473647.711
AT ITER 8924 NEW BEST:: SOT 19739161 SOS 16698444 HAS SOPS 8294071 HAS SOUS 1317697 HAS SOUPS 456805 WITH SCORE 473503.444
AT ITER 8931 NEW BEST:: SOT 19738409 SOS 16695906 HAS SOPS 8293507 HAS SOUS 1317603 HAS SOUPS 456805 WITH SCORE 473500.906
AT ITER 8932 NEW BEST:: SOT 19738409 SOS 16695906 HAS SOPS 8293507 HAS SOUS 1317357 HAS SOUPS 456559 WITH SCORE 473254.906
AT ITER 8935 NEW BEST:: SOT 19738153 SOS 16695394 HAS SOPS 8292995 HAS SOUS 1316970 HAS SOUPS 456172 WITH SCORE 472867.394
AT ITER 8936 NEW BEST:: SOT 19737826 SOS 16694740 HAS SOPS 8291441 HAS SOUS 1316823 HAS SOUPS 455845 WITH SCORE 472539.74
AT ITER 8957 NEW BEST:: SOT 19737202 SOS 16693123 HAS SOPS 8291669 HAS SOUS 1316424 HAS SOUPS 455815 WITH SCORE 472508.123
AT ITER 8973 NEW BEST:: SOT 19735664 SOS 16690047 HAS SOPS 8288593 HAS SOUS 1316071 HAS SOUPS 455462 WITH SCORE 472152.047
AT ITER 8991 NEW BEST:: SOT 19735737 SOS 16687736 HAS SOPS 8287467 HAS SOUS 1315907 HAS SOUPS 455377 WITH SCORE 472064.736
AT ITER 9036 NEW BEST:: SOT 19733399 SOS 16685028 HAS SOPS 8286235 HAS SOUS 1315888 HAS SOUPS 455358 WITH SCORE 472043.028
AT ITER 9045 NEW BEST:: SOT 19733087 SOS 16684612 HAS SOPS 8285819 HAS SOUS 1315680 HAS SOUPS 455150 WITH SCORE 471834.612
AT ITER 9069 NEW BEST:: SOT 19732030 SOS 16682498 HAS SOPS 8285819 HAS SOUS 1315347 HAS SOUPS 455150 WITH SCORE 471832.498
AT ITER 9090 NEW BEST:: SOT 19732000 SOS 16668900 HAS SOPS 8272221 HAS SOUS 1315336 HAS SOUPS 455139 WITH SCORE 471807.9
AT ITER 9107 NEW BEST:: SOT 19731974 SOS 16668423 HAS SOPS 8272169 HAS SOUS 1315233 HAS SOUPS 455121 WITH SCORE 471789.423
AT ITER 9123 NEW BEST:: SOT 19731974 SOS 16668423 HAS SOPS 8271824 HAS SOUS 1315233 HAS SOUPS 455052 WITH SCORE 471720.423
AT ITER 9157 NEW BEST:: SOT 19731974 SOS 16668438 HAS SOPS 8271824 HAS SOUS 1315233 HAS SOUPS 455049 WITH SCORE 471717.438
AT ITER 9165 NEW BEST:: SOT 19731854 SOS 16668198 HAS SOPS 8271584 HAS SOUS 1315053 HAS SOUPS 454869 WITH SCORE 471537.198
AT ITER 9171 NEW BEST:: SOT 19731854 SOS 16668198 HAS SOPS 8271584 HAS SOUS 1314951 HAS SOUPS 454767 WITH SCORE 471435.198
AT ITER 9202 NEW BEST:: SOT 19731854 SOS 16668198 HAS SOPS 8271584 HAS SOUS 1314891 HAS SOUPS 454707 WITH SCORE 471375.198
AT ITER 9208 NEW BEST:: SOT 19731754 SOS 16668048 HAS SOPS 8271434 HAS SOUS 1314741 HAS SOUPS 454557 WITH SCORE 471225.048
AT ITER 9220 NEW BEST:: SOT 19731405 SOS 16667375 HAS SOPS 8271247 HAS SOUS 1314652 HAS SOUPS 454549 WITH SCORE 471216.375
AT ITER 9221 NEW BEST:: SOT 19731125 SOS 16666571 HAS SOPS 8271663 HAS SOUS 1314318 HAS SOUPS 454459 WITH SCORE 471125.571
AT ITER 9237 NEW BEST:: SOT 19731111 SOS 16657583 HAS SOPS 8262675 HAS SOUS 1314318 HAS SOUPS 454459 WITH SCORE 471116.583
AT ITER 9243 NEW BEST:: SOT 19731030 SOS 16657421 HAS SOPS 8261898 HAS SOUS 1314360 HAS SOUPS 454378 WITH SCORE 471035.421
AT ITER 9247 NEW BEST:: SOT 19731030 SOS 16657421 HAS SOPS 8261898 HAS SOUS 1314252 HAS SOUPS 454270 WITH SCORE 470927.421
AT ITER 9257 NEW BEST:: SOT 19730943 SOS 16657247 HAS SOPS 8261724 HAS SOUS 1314188 HAS SOUPS 454206 WITH SCORE 470863.247
AT ITER 9318 NEW BEST:: SOT 19730015 SOS 16659840 HAS SOPS 8262437 HAS SOUS 1314178 HAS SOUPS 454196 WITH SCORE 470855.84
AT ITER 9350 NEW BEST:: SOT 19729620 SOS 16658971 HAS SOPS 8261963 HAS SOUS 1313941 HAS SOUPS 454038 WITH SCORE 470696.971
AT ITER 9351 NEW BEST:: SOT 19728891 SOS 16661645 HAS SOPS 8263097 HAS SOUS 1313682 HAS SOUPS 453779 WITH SCORE 470440.645
AT ITER 9365 NEW BEST:: SOT 19728804 SOS 16661471 HAS SOPS 8262923 HAS SOUS 1313567 HAS SOUPS 453664 WITH SCORE 470325.471
AT ITER 9376 NEW BEST:: SOT 19728804 SOS 16661471 HAS SOPS 8262923 HAS SOUS 1313485 HAS SOUPS 453582 WITH SCORE 470243.471
AT ITER 9391 NEW BEST:: SOT 19728763 SOS 16661389 HAS SOPS 8262841 HAS SOUS 1313444 HAS SOUPS 453541 WITH SCORE 470202.389
AT ITER 9412 NEW BEST:: SOT 19728763 SOS 16661389 HAS SOPS 8262841 HAS SOUS 1313154 HAS SOUPS 453251 WITH SCORE 469912.389
AT ITER 9437 NEW BEST:: SOT 19728790 SOS 16659973 HAS SOPS 8262895 HAS SOUS 1312618 HAS SOUPS 453009 WITH SCORE 469668.973
AT ITER 9444 NEW BEST:: SOT 19728790 SOS 16659973 HAS SOPS 8262895 HAS SOUS 1312560 HAS SOUPS 452951 WITH SCORE 469610.973
AT ITER 9455 NEW BEST:: SOT 19728790 SOS 16659973 HAS SOPS 8262895 HAS SOUS 1312554 HAS SOUPS 452945 WITH SCORE 469604.973
AT ITER 9460 NEW BEST:: SOT 19728055 SOS 16662579 HAS SOPS 8263296 HAS SOUS 1312554 HAS SOUPS 452798 WITH SCORE 469460.579
AT ITER 9482 NEW BEST:: SOT 19728055 SOS 16662579 HAS SOPS 8263296 HAS SOUS 1312510 HAS SOUPS 452754 WITH SCORE 469416.579
AT ITER 9493 NEW BEST:: SOT 19728235 SOS 16661306 HAS SOPS 8262733 HAS SOUS 1312484 HAS SOUPS 452728 WITH SCORE 469389.306
AT ITER 9534 NEW BEST:: SOT 19727323 SOS 16660526 HAS SOPS 8261953 HAS SOUS 1312358 HAS SOUPS 452602 WITH SCORE 469262.526
AT ITER 9552 NEW BEST:: SOT 19726923 SOS 16659626 HAS SOPS 8261053 HAS SOUS 1312158 HAS SOUPS 452402 WITH SCORE 469061.626
AT ITER 9555 NEW BEST:: SOT 19726405 SOS 16659210 HAS SOPS 8260637 HAS SOUS 1312094 HAS SOUPS 452338 WITH SCORE 468997.21
AT ITER 9556 NEW BEST:: SOT 19726174 SOS 16658748 HAS SOPS 8260175 HAS SOUS 1311632 HAS SOUPS 451876 WITH SCORE 468534.748
AT ITER 9568 NEW BEST:: SOT 19726057 SOS 16658104 HAS SOPS 8260072 HAS SOUS 1311414 HAS SOUPS 451765 WITH SCORE 468423.104
AT ITER 9600 NEW BEST:: SOT 19726057 SOS 16658104 HAS SOPS 8260072 HAS SOUS 1311367 HAS SOUPS 451718 WITH SCORE 468376.104
AT ITER 9609 NEW BEST:: SOT 19725909 SOS 16658406 HAS SOPS 8259984 HAS SOUS 1311304 HAS SOUPS 451629 WITH SCORE 468287.406
AT ITER 9622 NEW BEST:: SOT 19725782 SOS 16658152 HAS SOPS 8259730 HAS SOUS 1311042 HAS SOUPS 451367 WITH SCORE 468025.152
AT ITER 9638 NEW BEST:: SOT 19725921 SOS 16653975 HAS SOPS 8257578 HAS SOUS 1310911 HAS SOUPS 451371 WITH SCORE 468024.975
AT ITER 9675 NEW BEST:: SOT 19725693 SOS 16653519 HAS SOPS 8256532 HAS SOUS 1310683 HAS SOUPS 451025 WITH SCORE 467678.519
AT ITER 9723 NEW BEST:: SOT 19725693 SOS 16653519 HAS SOPS 8256532 HAS SOUS 1310467 HAS SOUPS 450809 WITH SCORE 467462.519
AT ITER 9726 NEW BEST:: SOT 19726092 SOS 16651272 HAS SOPS 8255535 HAS SOUS 1310116 HAS SOUPS 450458 WITH SCORE 467109.272
AT ITER 9732 NEW BEST:: SOT 19725964 SOS 16651144 HAS SOPS 8255407 HAS SOUS 1310080 HAS SOUPS 450422 WITH SCORE 467073.144
AT ITER 9733 NEW BEST:: SOT 19725964 SOS 16651144 HAS SOPS 8255407 HAS SOUS 1310040 HAS SOUPS 450382 WITH SCORE 467033.144
AT ITER 9744 NEW BEST:: SOT 19726301 SOS 16644305 HAS SOPS 8252483 HAS SOUS 1309608 HAS SOUPS 450211 WITH SCORE 466855.305
AT ITER 9766 NEW BEST:: SOT 19726301 SOS 16643220 HAS SOPS 8252483 HAS SOUS 1309020 HAS SOUPS 449840 WITH SCORE 466483.22
AT ITER 9771 NEW BEST:: SOT 19726301 SOS 16643220 HAS SOPS 8252483 HAS SOUS 1308916 HAS SOUPS 449736 WITH SCORE 466379.22
AT ITER 9773 NEW BEST:: SOT 19723982 SOS 16651721 HAS SOPS 8253364 HAS SOUS 1309312 HAS SOUPS 449624 WITH SCORE 466275.721
AT ITER 9784 NEW BEST:: SOT 19724234 SOS 16652078 HAS SOPS 8253490 HAS SOUS 1309291 HAS SOUPS 449582 WITH SCORE 466234.078
AT ITER 9798 NEW BEST:: SOT 19724067 SOS 16650869 HAS SOPS 8252281 HAS SOUS 1309216 HAS SOUPS 449507 WITH SCORE 466157.869
AT ITER 9877 NEW BEST:: SOT 19723631 SOS 16658201 HAS SOPS 8256683 HAS SOUS 1309073 HAS SOUPS 449364 WITH SCORE 466022.201
AT ITER 9888 NEW BEST:: SOT 19723246 SOS 16657739 HAS SOPS 8256221 HAS SOUS 1308842 HAS SOUPS 449133 WITH SCORE 465790.739
AT ITER 9909 NEW BEST:: SOT 19723287 SOS 16648273 HAS SOPS 8250165 HAS SOUS 1308149 HAS SOUPS 448440 WITH SCORE 465088.273
AT ITER 9911 NEW BEST:: SOT 19722610 SOS 16649848 HAS SOPS 8250560 HAS SOUS 1307975 HAS SOUPS 448266 WITH SCORE 464915.848
AT ITER 9928 NEW BEST:: SOT 19722610 SOS 16649848 HAS SOPS 8250560 HAS SOUS 1307893 HAS SOUPS 448184 WITH SCORE 464833.848
AT ITER 9932 NEW BEST:: SOT 19722610 SOS 16649848 HAS SOPS 8250560 HAS SOUS 1307863 HAS SOUPS 448154 WITH SCORE 464803.848
AT ITER 9956 NEW BEST:: SOT 19722610 SOS 16649848 HAS SOPS 8250560 HAS SOUS 1307857 HAS SOUPS 448148 WITH SCORE 464797.848
AT ITER 9967 NEW BEST:: SOT 19722862 SOS 16650814 HAS SOPS 8250644 HAS SOUS 1307773 HAS SOUPS 448022 WITH SCORE 464672.814
AT ITER 9992 NEW BEST:: SOT 19721721 SOS 16648084 HAS SOPS 8247914 HAS SOUS 1307307 HAS SOUPS 447556 WITH SCORE 464204.084

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCshifumi-PT-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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DLCshifumi-PT-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 r063-tajo-158922806900056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-5a.tgz
mv DLCshifumi-PT-5a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;