Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 544K
-rw-r--r-- 1 mcc users 6.3K Feb 26 13:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 52K Feb 26 13:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 13:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 13:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 14:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 26 14:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 14:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 14:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 154K Mar 5 18:23 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 1679493404844

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-COL-S06J06T04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 13:56:46] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 13:56:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 13:56:46] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-22 13:56:46] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 13:56:47] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 670 ms
[2023-03-22 13:56:47] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 506 PT places and 7196.0 transition bindings in 20 ms.
[2023-03-22 13:56:47] [INFO ] Unfolded HLPN to a Petri net with 506 places and 7154 transitions 59824 arcs in 136 ms.
[2023-03-22 13:56:47] [INFO ] Unfolded 0 HLPN properties in 1 ms.
[2023-03-22 13:56:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 506 places, 7154 transitions and 59824 arcs took 78 ms.
Total runtime 1005 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S06J06T04
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 506 places, 7154 transitions, 59824 arcs.
AT ITER 0 NEW BEST:: SOT 3324657 SOS 921677 HAS SOPS 902943 HAS SOUS 235915 HAS SOUPS 234854 WITH SCORE 235775.677
AT ITER 11 NEW BEST:: SOT 3324530 SOS 921529 HAS SOPS 902795 HAS SOUS 235788 HAS SOUPS 234727 WITH SCORE 235648.529
AT ITER 31 NEW BEST:: SOT 3324021 SOS 921120 HAS SOPS 902386 HAS SOUS 235692 HAS SOUPS 234631 WITH SCORE 235552.12
AT ITER 33 NEW BEST:: SOT 3323915 SOS 921014 HAS SOPS 902470 HAS SOUS 235612 HAS SOUPS 234551 WITH SCORE 235472.014
AT ITER 34 NEW BEST:: SOT 3323773 SOS 921001 HAS SOPS 902457 HAS SOUS 235596 HAS SOUPS 234535 WITH SCORE 235456.001
AT ITER 38 NEW BEST:: SOT 3323629 SOS 920821 HAS SOPS 902277 HAS SOUS 235398 HAS SOUPS 234337 WITH SCORE 235257.821
AT ITER 51 NEW BEST:: SOT 3323629 SOS 920805 HAS SOPS 902261 HAS SOUS 235382 HAS SOUPS 234321 WITH SCORE 235241.805
AT ITER 54 NEW BEST:: SOT 3323557 SOS 921236 HAS SOPS 902692 HAS SOUS 235280 HAS SOUPS 234219 WITH SCORE 235140.236
AT ITER 63 NEW BEST:: SOT 3323471 SOS 921150 HAS SOPS 902706 HAS SOUS 235194 HAS SOUPS 234133 WITH SCORE 235054.15
AT ITER 67 NEW BEST:: SOT 3323471 SOS 920810 HAS SOPS 902366 HAS SOUS 235109 HAS SOUPS 234048 WITH SCORE 234968.81
AT ITER 84 NEW BEST:: SOT 3323295 SOS 920810 HAS SOPS 902366 HAS SOUS 234382 HAS SOUPS 233321 WITH SCORE 234241.81
AT ITER 93 NEW BEST:: SOT 3323088 SOS 920227 HAS SOPS 902204 HAS SOUS 234211 HAS SOUPS 233150 WITH SCORE 234070.227
AT ITER 94 NEW BEST:: SOT 3322985 SOS 920021 HAS SOPS 902204 HAS SOUS 234211 HAS SOUPS 233150 WITH SCORE 234070.021
AT ITER 99 NEW BEST:: SOT 3318926 SOS 920466 HAS SOPS 910326 HAS SOUS 231035 HAS SOUPS 230204 WITH SCORE 231124.466
AT ITER 106 NEW BEST:: SOT 3318926 SOS 919888 HAS SOPS 909748 HAS SOUS 231015 HAS SOUPS 230184 WITH SCORE 231103.888
AT ITER 108 NEW BEST:: SOT 3318765 SOS 919617 HAS SOPS 909477 HAS SOUS 230872 HAS SOUPS 230041 WITH SCORE 230960.617
AT ITER 115 NEW BEST:: SOT 3318739 SOS 919135 HAS SOPS 908995 HAS SOUS 230759 HAS SOUPS 229928 WITH SCORE 230847.135
AT ITER 116 NEW BEST:: SOT 3318569 SOS 918665 HAS SOPS 908525 HAS SOUS 230733 HAS SOUPS 229902 WITH SCORE 230820.665
AT ITER 125 NEW BEST:: SOT 3314766 SOS 916625 HAS SOPS 905173 HAS SOUS 227268 HAS SOUPS 226109 WITH SCORE 227025.625
AT ITER 126 NEW BEST:: SOT 3302780 SOS 934283 HAS SOPS 922831 HAS SOUS 221093 HAS SOUPS 219934 WITH SCORE 220868.283
AT ITER 131 NEW BEST:: SOT 3302762 SOS 934082 HAS SOPS 922630 HAS SOUS 221057 HAS SOUPS 219898 WITH SCORE 220832.082
AT ITER 134 NEW BEST:: SOT 3302645 SOS 934030 HAS SOPS 922513 HAS SOUS 220888 HAS SOUPS 219716 WITH SCORE 220650.03
AT ITER 145 NEW BEST:: SOT 3302263 SOS 933863 HAS SOPS 922371 HAS SOUS 220637 HAS SOUPS 219470 WITH SCORE 220403.863
AT ITER 146 NEW BEST:: SOT 3302060 SOS 933647 HAS SOPS 922155 HAS SOUS 220626 HAS SOUPS 219459 WITH SCORE 220392.647
AT ITER 151 NEW BEST:: SOT 3301875 SOS 933462 HAS SOPS 921970 HAS SOUS 220535 HAS SOUPS 219368 WITH SCORE 220301.462
AT ITER 155 NEW BEST:: SOT 3301875 SOS 933462 HAS SOPS 921970 HAS SOUS 220523 HAS SOUPS 219356 WITH SCORE 220289.462
AT ITER 157 NEW BEST:: SOT 3301923 SOS 933590 HAS SOPS 922342 HAS SOUS 220505 HAS SOUPS 219338 WITH SCORE 220271.59
AT ITER 166 NEW BEST:: SOT 3301886 SOS 933553 HAS SOPS 922305 HAS SOUS 220431 HAS SOUPS 219264 WITH SCORE 220197.553
AT ITER 191 NEW BEST:: SOT 3301834 SOS 933501 HAS SOPS 922253 HAS SOUS 220423 HAS SOUPS 219256 WITH SCORE 220189.501
AT ITER 217 NEW BEST:: SOT 3301750 SOS 933417 HAS SOPS 922253 HAS SOUS 219919 HAS SOUPS 218752 WITH SCORE 219685.417
AT ITER 223 NEW BEST:: SOT 3301612 SOS 933279 HAS SOPS 922115 HAS SOUS 219781 HAS SOUPS 218614 WITH SCORE 219547.279
AT ITER 224 NEW BEST:: SOT 3301569 SOS 930776 HAS SOPS 919612 HAS SOUS 219695 HAS SOUPS 218528 WITH SCORE 219458.776
AT ITER 230 NEW BEST:: SOT 3301505 SOS 930712 HAS SOPS 919564 HAS SOUS 219632 HAS SOUPS 218465 WITH SCORE 219395.712
AT ITER 232 NEW BEST:: SOT 3301367 SOS 930528 HAS SOPS 919380 HAS SOUS 219494 HAS SOUPS 218327 WITH SCORE 219257.528
AT ITER 236 NEW BEST:: SOT 3301330 SOS 930491 HAS SOPS 919343 HAS SOUS 219490 HAS SOUPS 218323 WITH SCORE 219253.491
AT ITER 253 NEW BEST:: SOT 3301193 SOS 930390 HAS SOPS 919242 HAS SOUS 219237 HAS SOUPS 218070 WITH SCORE 219000.39
AT ITER 254 NEW BEST:: SOT 3301162 SOS 930359 HAS SOPS 919211 HAS SOUS 219015 HAS SOUPS 217848 WITH SCORE 218778.359
AT ITER 272 NEW BEST:: SOT 2865649 SOS 1579194 HAS SOPS 1568046 HAS SOUS 177031 HAS SOUPS 175864 WITH SCORE 177443.194
AT ITER 273 NEW BEST:: SOT 2865646 SOS 1579191 HAS SOPS 1568043 HAS SOUS 177028 HAS SOUPS 175861 WITH SCORE 177440.191
AT ITER 281 NEW BEST:: SOT 2865537 SOS 1579132 HAS SOPS 1567984 HAS SOUS 176901 HAS SOUPS 175734 WITH SCORE 177313.132
AT ITER 288 NEW BEST:: SOT 2865527 SOS 1578932 HAS SOPS 1567274 HAS SOUS 176871 HAS SOUPS 175684 WITH SCORE 177262.932
AT ITER 297 NEW BEST:: SOT 2865527 SOS 1578964 HAS SOPS 1567338 HAS SOUS 176819 HAS SOUPS 175632 WITH SCORE 177210.964
AT ITER 298 NEW BEST:: SOT 2865527 SOS 1578991 HAS SOPS 1567392 HAS SOUS 176723 HAS SOUPS 175536 WITH SCORE 177114.991
AT ITER 305 NEW BEST:: SOT 2865268 SOS 1578785 HAS SOPS 1567186 HAS SOUS 176688 HAS SOUPS 175501 WITH SCORE 177079.785
AT ITER 313 NEW BEST:: SOT 2865225 SOS 1578742 HAS SOPS 1567143 HAS SOUS 176428 HAS SOUPS 175241 WITH SCORE 176819.742
AT ITER 317 NEW BEST:: SOT 2865218 SOS 1578735 HAS SOPS 1567136 HAS SOUS 176417 HAS SOUPS 175230 WITH SCORE 176808.735
AT ITER 329 NEW BEST:: SOT 2865115 SOS 1578632 HAS SOPS 1567033 HAS SOUS 176312 HAS SOUPS 175125 WITH SCORE 176703.632
AT ITER 338 NEW BEST:: SOT 2864947 SOS 1578412 HAS SOPS 1566389 HAS SOUS 176095 HAS SOUPS 174905 WITH SCORE 176483.412
AT ITER 343 NEW BEST:: SOT 2864818 SOS 1578283 HAS SOPS 1566260 HAS SOUS 175966 HAS SOUPS 174776 WITH SCORE 176354.283
AT ITER 345 NEW BEST:: SOT 2864750 SOS 1578091 HAS SOPS 1566068 HAS SOUS 175930 HAS SOUPS 174740 WITH SCORE 176318.091
AT ITER 357 NEW BEST:: SOT 2864429 SOS 1577761 HAS SOPS 1565738 HAS SOUS 175611 HAS SOUPS 174421 WITH SCORE 175998.761
AT ITER 361 NEW BEST:: SOT 2790497 SOS 1514457 HAS SOPS 1502434 HAS SOUS 156512 HAS SOUPS 155322 WITH SCORE 156836.457
AT ITER 362 NEW BEST:: SOT 2788279 SOS 1513029 HAS SOPS 1500216 HAS SOUS 153945 HAS SOUPS 152577 WITH SCORE 154090.029
AT ITER 367 NEW BEST:: SOT 2784161 SOS 1508911 HAS SOPS 1496098 HAS SOUS 149827 HAS SOUPS 148459 WITH SCORE 149967.911
AT ITER 368 NEW BEST:: SOT 2784073 SOS 1508813 HAS SOPS 1496000 HAS SOUS 149739 HAS SOUPS 148371 WITH SCORE 149879.813
AT ITER 373 NEW BEST:: SOT 2784113 SOS 1508833 HAS SOPS 1496020 HAS SOUS 149699 HAS SOUPS 148331 WITH SCORE 149839.833
AT ITER 374 NEW BEST:: SOT 2784113 SOS 1508924 HAS SOPS 1496111 HAS SOUS 149573 HAS SOUPS 148205 WITH SCORE 149713.924
AT ITER 383 NEW BEST:: SOT 2784102 SOS 1508913 HAS SOPS 1496100 HAS SOUS 149571 HAS SOUPS 148203 WITH SCORE 149711.913
AT ITER 390 NEW BEST:: SOT 2784078 SOS 1508889 HAS SOPS 1496052 HAS SOUS 149553 HAS SOUPS 148172 WITH SCORE 149680.889
AT ITER 391 NEW BEST:: SOT 2784000 SOS 1508811 HAS SOPS 1496049 HAS SOUS 149485 HAS SOUPS 148104 WITH SCORE 149612.811
AT ITER 395 NEW BEST:: SOT 2783997 SOS 1508804 HAS SOPS 1496042 HAS SOUS 149479 HAS SOUPS 148098 WITH SCORE 149606.804
AT ITER 404 NEW BEST:: SOT 2783973 SOS 1508780 HAS SOPS 1495994 HAS SOUS 149398 HAS SOUPS 148017 WITH SCORE 149525.78
AT ITER 406 NEW BEST:: SOT 2783787 SOS 1508594 HAS SOPS 1496038 HAS SOUS 149001 HAS SOUPS 147620 WITH SCORE 149128.594
AT ITER 413 NEW BEST:: SOT 2783670 SOS 1508501 HAS SOPS 1495945 HAS SOUS 148987 HAS SOUPS 147606 WITH SCORE 149114.501
AT ITER 426 NEW BEST:: SOT 2783566 SOS 1508423 HAS SOPS 1495867 HAS SOUS 148747 HAS SOUPS 147366 WITH SCORE 148874.423
AT ITER 435 NEW BEST:: SOT 2783562 SOS 1508419 HAS SOPS 1495863 HAS SOUS 148739 HAS SOUPS 147358 WITH SCORE 148866.419
AT ITER 445 NEW BEST:: SOT 2783558 SOS 1508415 HAS SOPS 1495835 HAS SOUS 148659 HAS SOUPS 147278 WITH SCORE 148786.415
AT ITER 448 NEW BEST:: SOT 2783632 SOS 1509216 HAS SOPS 1496636 HAS SOUS 147931 HAS SOUPS 146550 WITH SCORE 148059.216
AT ITER 450 NEW BEST:: SOT 2783511 SOS 1509095 HAS SOPS 1496515 HAS SOUS 147751 HAS SOUPS 146370 WITH SCORE 147879.095
AT ITER 456 NEW BEST:: SOT 2783544 SOS 1508935 HAS SOPS 1496355 HAS SOUS 147644 HAS SOUPS 146263 WITH SCORE 147771.935
AT ITER 478 NEW BEST:: SOT 2783408 SOS 1508783 HAS SOPS 1496203 HAS SOUS 147452 HAS SOUPS 146071 WITH SCORE 147579.783
AT ITER 482 NEW BEST:: SOT 2783280 SOS 1508556 HAS SOPS 1495976 HAS SOUS 147292 HAS SOUPS 145911 WITH SCORE 147419.556
AT ITER 486 NEW BEST:: SOT 2783023 SOS 1506145 HAS SOPS 1494429 HAS SOUS 147126 HAS SOUPS 145858 WITH SCORE 147364.145
AT ITER 487 NEW BEST:: SOT 2783314 SOS 1505793 HAS SOPS 1493993 HAS SOUS 146772 HAS SOUPS 145504 WITH SCORE 147009.793
AT ITER 497 NEW BEST:: SOT 2783239 SOS 1505373 HAS SOPS 1493603 HAS SOUS 146734 HAS SOUPS 145466 WITH SCORE 146971.373
AT ITER 522 NEW BEST:: SOT 2783221 SOS 1505391 HAS SOPS 1493621 HAS SOUS 146711 HAS SOUPS 145443 WITH SCORE 146948.391
AT ITER 533 NEW BEST:: SOT 2783000 SOS 1505439 HAS SOPS 1493669 HAS SOUS 146246 HAS SOUPS 144978 WITH SCORE 146483.439
AT ITER 539 NEW BEST:: SOT 2782933 SOS 1505436 HAS SOPS 1493521 HAS SOUS 146107 HAS SOUPS 144839 WITH SCORE 146344.436
AT ITER 544 NEW BEST:: SOT 2782744 SOS 1505540 HAS SOPS 1493625 HAS SOUS 146051 HAS SOUPS 144783 WITH SCORE 146288.54
AT ITER 550 NEW BEST:: SOT 2782744 SOS 1505749 HAS SOPS 1494094 HAS SOUS 145986 HAS SOUPS 144718 WITH SCORE 146223.749
AT ITER 551 NEW BEST:: SOT 2782696 SOS 1505699 HAS SOPS 1494044 HAS SOUS 145937 HAS SOUPS 144669 WITH SCORE 146174.699
AT ITER 552 NEW BEST:: SOT 2782704 SOS 1505710 HAS SOPS 1494055 HAS SOUS 145936 HAS SOUPS 144668 WITH SCORE 146173.71
AT ITER 568 NEW BEST:: SOT 2782588 SOS 1505134 HAS SOPS 1493547 HAS SOUS 145796 HAS SOUPS 144528 WITH SCORE 146033.134
AT ITER 574 NEW BEST:: SOT 2782374 SOS 1504725 HAS SOPS 1493138 HAS SOUS 145299 HAS SOUPS 144031 WITH SCORE 145535.725
AT ITER 577 NEW BEST:: SOT 2770476 SOS 1499187 HAS SOPS 1487600 HAS SOUS 145006 HAS SOUPS 143738 WITH SCORE 145237.187
AT ITER 590 NEW BEST:: SOT 2770471 SOS 1499182 HAS SOPS 1487595 HAS SOUS 145002 HAS SOUPS 143734 WITH SCORE 145233.182
AT ITER 592 NEW BEST:: SOT 2770422 SOS 1499133 HAS SOPS 1487546 HAS SOUS 144953 HAS SOUPS 143685 WITH SCORE 145184.133
AT ITER 593 NEW BEST:: SOT 2770398 SOS 1499097 HAS SOPS 1487522 HAS SOUS 144893 HAS SOUPS 143625 WITH SCORE 145124.097
AT ITER 600 NEW BEST:: SOT 2770299 SOS 1498217 HAS SOPS 1486616 HAS SOUS 144651 HAS SOUPS 143383 WITH SCORE 144881.217
AT ITER 616 NEW BEST:: SOT 2770309 SOS 1498287 HAS SOPS 1486720 HAS SOUS 144598 HAS SOUPS 143330 WITH SCORE 144828.287
AT ITER 624 NEW BEST:: SOT 2770247 SOS 1498225 HAS SOPS 1486627 HAS SOUS 144505 HAS SOUPS 143237 WITH SCORE 144735.225
AT ITER 630 NEW BEST:: SOT 2770193 SOS 1498171 HAS SOPS 1486604 HAS SOUS 144481 HAS SOUPS 143213 WITH SCORE 144711.171
AT ITER 638 NEW BEST:: SOT 2770065 SOS 1498167 HAS SOPS 1486600 HAS SOUS 143729 HAS SOUPS 142461 WITH SCORE 143959.167
AT ITER 645 NEW BEST:: SOT 2769780 SOS 1497787 HAS SOPS 1486220 HAS SOUS 143349 HAS SOUPS 142081 WITH SCORE 143578.787
AT ITER 654 NEW BEST:: SOT 2769760 SOS 1497767 HAS SOPS 1486200 HAS SOUS 143349 HAS SOUPS 142081 WITH SCORE 143578.767
AT ITER 656 NEW BEST:: SOT 2769760 SOS 1498416 HAS SOPS 1486613 HAS SOUS 143266 HAS SOUPS 141939 WITH SCORE 143437.416
AT ITER 660 NEW BEST:: SOT 2769765 SOS 1498421 HAS SOPS 1486618 HAS SOUS 143260 HAS SOUPS 141933 WITH SCORE 143431.421
AT ITER 662 NEW BEST:: SOT 2769764 SOS 1498420 HAS SOPS 1486617 HAS SOUS 143258 HAS SOUPS 141931 WITH SCORE 143429.42
AT ITER 679 NEW BEST:: SOT 2769797 SOS 1498263 HAS SOPS 1486460 HAS SOUS 143110 HAS SOUPS 141783 WITH SCORE 143281.263
AT ITER 684 NEW BEST:: SOT 2769797 SOS 1498245 HAS SOPS 1486442 HAS SOUS 143092 HAS SOUPS 141765 WITH SCORE 143263.245
AT ITER 691 NEW BEST:: SOT 2769775 SOS 1498248 HAS SOPS 1486445 HAS SOUS 142966 HAS SOUPS 141639 WITH SCORE 143137.248
AT ITER 701 NEW BEST:: SOT 2769688 SOS 1498169 HAS SOPS 1486366 HAS SOUS 142922 HAS SOUPS 141595 WITH SCORE 143093.169
AT ITER 702 NEW BEST:: SOT 2769700 SOS 1498509 HAS SOPS 1486382 HAS SOUS 142958 HAS SOUPS 141550 WITH SCORE 143048.509
AT ITER 724 NEW BEST:: SOT 2768900 SOS 508421 HAS SOPS 496294 HAS SOUS 141548 HAS SOUPS 140140 WITH SCORE 140648.421
AT ITER 735 NEW BEST:: SOT 2768867 SOS 508388 HAS SOPS 496220 HAS SOUS 141471 HAS SOUPS 140034 WITH SCORE 140542.388
AT ITER 741 NEW BEST:: SOT 2768810 SOS 508348 HAS SOPS 496191 HAS SOUS 141430 HAS SOUPS 139993 WITH SCORE 140501.348
AT ITER 750 NEW BEST:: SOT 2768798 SOS 508422 HAS SOPS 496265 HAS SOUS 141363 HAS SOUPS 139926 WITH SCORE 140434.422
AT ITER 754 NEW BEST:: SOT 2768765 SOS 508704 HAS SOPS 496232 HAS SOUS 141339 HAS SOUPS 139857 WITH SCORE 140365.704
AT ITER 757 NEW BEST:: SOT 2768693 SOS 508608 HAS SOPS 496136 HAS SOUS 141327 HAS SOUPS 139845 WITH SCORE 140353.608
AT ITER 772 NEW BEST:: SOT 2768696 SOS 508611 HAS SOPS 496139 HAS SOUS 141240 HAS SOUPS 139758 WITH SCORE 140266.611
AT ITER 803 NEW BEST:: SOT 2767242 SOS 508883 HAS SOPS 496411 HAS SOUS 140039 HAS SOUPS 138557 WITH SCORE 139065.883
AT ITER 811 NEW BEST:: SOT 2767465 SOS 508812 HAS SOPS 496491 HAS SOUS 139408 HAS SOUPS 137955 WITH SCORE 138463.812
AT ITER 818 NEW BEST:: SOT 2767450 SOS 508797 HAS SOPS 496408 HAS SOUS 139266 HAS SOUPS 137813 WITH SCORE 138321.797
AT ITER 824 NEW BEST:: SOT 2767351 SOS 508648 HAS SOPS 496259 HAS SOUS 139167 HAS SOUPS 137714 WITH SCORE 138222.648
AT ITER 830 NEW BEST:: SOT 2767283 SOS 508609 HAS SOPS 495993 HAS SOUS 139087 HAS SOUPS 137607 WITH SCORE 138115.609
AT ITER 838 NEW BEST:: SOT 2767232 SOS 508574 HAS SOPS 495958 HAS SOUS 139043 HAS SOUPS 137563 WITH SCORE 138071.574
AT ITER 840 NEW BEST:: SOT 2767557 SOS 460922 HAS SOPS 448306 HAS SOUS 138967 HAS SOUPS 137487 WITH SCORE 137947.922
AT ITER 849 NEW BEST:: SOT 2767569 SOS 460934 HAS SOPS 448310 HAS SOUS 138961 HAS SOUPS 137481 WITH SCORE 137941.934
AT ITER 850 NEW BEST:: SOT 2767717 SOS 461015 HAS SOPS 448360 HAS SOUS 138921 HAS SOUPS 137441 WITH SCORE 137902.015
AT ITER 866 NEW BEST:: SOT 2767717 SOS 460996 HAS SOPS 448341 HAS SOUS 138921 HAS SOUPS 137441 WITH SCORE 137901.996
AT ITER 887 NEW BEST:: SOT 2767717 SOS 460805 HAS SOPS 448150 HAS SOUS 138816 HAS SOUPS 137336 WITH SCORE 137796.805
AT ITER 919 NEW BEST:: SOT 2767717 SOS 464809 HAS SOPS 452154 HAS SOUS 138731 HAS SOUPS 137251 WITH SCORE 137715.809
AT ITER 925 NEW BEST:: SOT 2767680 SOS 464772 HAS SOPS 452117 HAS SOUS 138632 HAS SOUPS 137152 WITH SCORE 137616.772
AT ITER 932 NEW BEST:: SOT 2767680 SOS 464874 HAS SOPS 452219 HAS SOUS 138092 HAS SOUPS 136612 WITH SCORE 137076.874
AT ITER 936 NEW BEST:: SOT 2767452 SOS 464139 HAS SOPS 451484 HAS SOUS 137657 HAS SOUPS 136177 WITH SCORE 136641.139
AT ITER 944 NEW BEST:: SOT 2767422 SOS 464109 HAS SOPS 451454 HAS SOUS 137657 HAS SOUPS 136177 WITH SCORE 136641.109
AT ITER 960 NEW BEST:: SOT 2767561 SOS 464248 HAS SOPS 451593 HAS SOUS 137064 HAS SOUPS 135584 WITH SCORE 136048.248
AT ITER 972 NEW BEST:: SOT 2767495 SOS 464222 HAS SOPS 451567 HAS SOUS 137004 HAS SOUPS 135524 WITH SCORE 135988.222
AT ITER 974 NEW BEST:: SOT 2767049 SOS 463876 HAS SOPS 451221 HAS SOUS 136983 HAS SOUPS 135503 WITH SCORE 135966.876
AT ITER 985 NEW BEST:: SOT 2766980 SOS 463742 HAS SOPS 451087 HAS SOUS 136755 HAS SOUPS 135275 WITH SCORE 135738.742
AT ITER 1001 NEW BEST:: SOT 2766868 SOS 463100 HAS SOPS 449148 HAS SOUS 136543 HAS SOUPS 135038 WITH SCORE 135501.1
AT ITER 1002 NEW BEST:: SOT 2766791 SOS 462218 HAS SOPS 448266 HAS SOUS 136519 HAS SOUPS 135014 WITH SCORE 135476.218
AT ITER 1009 NEW BEST:: SOT 2766767 SOS 462194 HAS SOPS 448218 HAS SOUS 136472 HAS SOUPS 134966 WITH SCORE 135428.194
AT ITER 1012 NEW BEST:: SOT 2766664 SOS 462091 HAS SOPS 448115 HAS SOUS 136306 HAS SOUPS 134800 WITH SCORE 135262.091
AT ITER 1014 NEW BEST:: SOT 2766642 SOS 462069 HAS SOPS 448071 HAS SOUS 136270 HAS SOUPS 134764 WITH SCORE 135226.069
AT ITER 1044 NEW BEST:: SOT 2766636 SOS 462057 HAS SOPS 448059 HAS SOUS 136264 HAS SOUPS 134758 WITH SCORE 135220.057
AT ITER 1052 NEW BEST:: SOT 2766636 SOS 462057 HAS SOPS 448059 HAS SOUS 136263 HAS SOUPS 134757 WITH SCORE 135219.057
AT ITER 1060 NEW BEST:: SOT 2766632 SOS 461999 HAS SOPS 448001 HAS SOUS 136166 HAS SOUPS 134660 WITH SCORE 135121.999
AT ITER 1066 NEW BEST:: SOT 2766630 SOS 461997 HAS SOPS 447997 HAS SOUS 136164 HAS SOUPS 134658 WITH SCORE 135119.997
AT ITER 1067 NEW BEST:: SOT 2766630 SOS 462078 HAS SOPS 448078 HAS SOUS 136131 HAS SOUPS 134625 WITH SCORE 135087.078
AT ITER 1075 NEW BEST:: SOT 2766572 SOS 462020 HAS SOPS 447852 HAS SOUS 136051 HAS SOUPS 134545 WITH SCORE 135007.02
AT ITER 1080 NEW BEST:: SOT 2766437 SOS 459558 HAS SOPS 447789 HAS SOUS 135938 HAS SOUPS 134504 WITH SCORE 134963.558
AT ITER 1083 NEW BEST:: SOT 2766443 SOS 460612 HAS SOPS 448843 HAS SOUS 135777 HAS SOUPS 134343 WITH SCORE 134803.612
AT ITER 1090 NEW BEST:: SOT 2764348 SOS 458626 HAS SOPS 446748 HAS SOUS 133672 HAS SOUPS 132190 WITH SCORE 132648.626
AT ITER 1094 NEW BEST:: SOT 2764348 SOS 458626 HAS SOPS 446748 HAS SOUS 133630 HAS SOUPS 132148 WITH SCORE 132606.626
AT ITER 1121 NEW BEST:: SOT 2764294 SOS 458410 HAS SOPS 446532 HAS SOUS 133630 HAS SOUPS 132148 WITH SCORE 132606.41
AT ITER 1125 NEW BEST:: SOT 2764435 SOS 458555 HAS SOPS 446677 HAS SOUS 132633 HAS SOUPS 131151 WITH SCORE 131609.555
AT ITER 1127 NEW BEST:: SOT 2763821 SOS 458706 HAS SOPS 446828 HAS SOUS 132211 HAS SOUPS 130729 WITH SCORE 131187.706
AT ITER 1160 NEW BEST:: SOT 2763575 SOS 459117 HAS SOPS 447045 HAS SOUS 132248 HAS SOUPS 130617 WITH SCORE 131076.117
AT ITER 1162 NEW BEST:: SOT 2763610 SOS 459152 HAS SOPS 447080 HAS SOUS 132243 HAS SOUPS 130612 WITH SCORE 131071.152
AT ITER 1171 NEW BEST:: SOT 2763541 SOS 460118 HAS SOPS 448046 HAS SOUS 132222 HAS SOUPS 130591 WITH SCORE 131051.118
AT ITER 1172 NEW BEST:: SOT 2763460 SOS 460061 HAS SOPS 448021 HAS SOUS 132132 HAS SOUPS 130501 WITH SCORE 130961.061
AT ITER 1177 NEW BEST:: SOT 2763458 SOS 460059 HAS SOPS 448019 HAS SOUS 132129 HAS SOUPS 130498 WITH SCORE 130958.059
AT ITER 1180 NEW BEST:: SOT 2763400 SOS 460049 HAS SOPS 448009 HAS SOUS 132119 HAS SOUPS 130488 WITH SCORE 130948.049
AT ITER 1198 NEW BEST:: SOT 2763378 SOS 459971 HAS SOPS 447931 HAS SOUS 132050 HAS SOUPS 130419 WITH SCORE 130878.971
AT ITER 1201 NEW BEST:: SOT 2763330 SOS 459923 HAS SOPS 447883 HAS SOUS 132002 HAS SOUPS 130371 WITH SCORE 130830.923
AT ITER 1218 NEW BEST:: SOT 2763300 SOS 459893 HAS SOPS 447853 HAS SOUS 131972 HAS SOUPS 130341 WITH SCORE 130800.893
AT ITER 1226 NEW BEST:: SOT 2763382 SOS 460374 HAS SOPS 448334 HAS SOUS 131961 HAS SOUPS 130330 WITH SCORE 130790.374
AT ITER 1232 NEW BEST:: SOT 2763339 SOS 460331 HAS SOPS 448291 HAS SOUS 131665 HAS SOUPS 130034 WITH SCORE 130494.331
AT ITER 1237 NEW BEST:: SOT 2763269 SOS 460261 HAS SOPS 448221 HAS SOUS 131615 HAS SOUPS 129984 WITH SCORE 130444.261
AT ITER 1247 NEW BEST:: SOT 2763245 SOS 460237 HAS SOPS 448197 HAS SOUS 131600 HAS SOUPS 129969 WITH SCORE 130429.237
AT ITER 1251 NEW BEST:: SOT 2763245 SOS 460260 HAS SOPS 448220 HAS SOUS 131574 HAS SOUPS 129943 WITH SCORE 130403.26
AT ITER 1258 NEW BEST:: SOT 2763203 SOS 460218 HAS SOPS 448220 HAS SOUS 131364 HAS SOUPS 129733 WITH SCORE 130193.218
AT ITER 1260 NEW BEST:: SOT 2763131 SOS 460146 HAS SOPS 448219 HAS SOUS 131362 HAS SOUPS 129731 WITH SCORE 130191.146
AT ITER 1266 NEW BEST:: SOT 2762914 SOS 459036 HAS SOPS 447263 HAS SOUS 131276 HAS SOUPS 129645 WITH SCORE 130104.036
AT ITER 1271 NEW BEST:: SOT 2762914 SOS 455347 HAS SOPS 443574 HAS SOUS 130726 HAS SOUPS 129095 WITH SCORE 129550.347
AT ITER 1274 NEW BEST:: SOT 2762813 SOS 455248 HAS SOPS 443613 HAS SOUS 130580 HAS SOUPS 128949 WITH SCORE 129404.248
AT ITER 1278 NEW BEST:: SOT 2762600 SOS 454963 HAS SOPS 443328 HAS SOUS 130535 HAS SOUPS 128904 WITH SCORE 129358.963
AT ITER 1281 NEW BEST:: SOT 2762632 SOS 455211 HAS SOPS 443536 HAS SOUS 130423 HAS SOUPS 128792 WITH SCORE 129247.211
AT ITER 1292 NEW BEST:: SOT 2762487 SOS 455066 HAS SOPS 443456 HAS SOUS 130273 HAS SOUPS 128642 WITH SCORE 129097.066
AT ITER 1302 NEW BEST:: SOT 2762572 SOS 455436 HAS SOPS 443666 HAS SOUS 130179 HAS SOUPS 128548 WITH SCORE 129003.436
AT ITER 1304 NEW BEST:: SOT 2762492 SOS 455356 HAS SOPS 443586 HAS SOUS 130179 HAS SOUPS 128548 WITH SCORE 129003.356
AT ITER 1306 NEW BEST:: SOT 2762458 SOS 455322 HAS SOPS 443552 HAS SOUS 130126 HAS SOUPS 128495 WITH SCORE 128950.322
AT ITER 1311 NEW BEST:: SOT 2762458 SOS 455287 HAS SOPS 443517 HAS SOUS 130081 HAS SOUPS 128450 WITH SCORE 128905.287
AT ITER 1322 NEW BEST:: SOT 2762415 SOS 455459 HAS SOPS 443689 HAS SOUS 130038 HAS SOUPS 128407 WITH SCORE 128862.459
AT ITER 1323 NEW BEST:: SOT 2762550 SOS 455594 HAS SOPS 443824 HAS SOUS 129973 HAS SOUPS 128342 WITH SCORE 128797.594
AT ITER 1324 NEW BEST:: SOT 2762480 SOS 455524 HAS SOPS 443754 HAS SOUS 129714 HAS SOUPS 128083 WITH SCORE 128538.524
AT ITER 1330 NEW BEST:: SOT 2762484 SOS 455524 HAS SOPS 443738 HAS SOUS 129714 HAS SOUPS 128067 WITH SCORE 128522.524
AT ITER 1331 NEW BEST:: SOT 2762485 SOS 455633 HAS SOPS 443847 HAS SOUS 129571 HAS SOUPS 127924 WITH SCORE 128379.633
AT ITER 1336 NEW BEST:: SOT 2762481 SOS 455609 HAS SOPS 443823 HAS SOUS 129557 HAS SOUPS 127910 WITH SCORE 128365.609
AT ITER 1340 NEW BEST:: SOT 2762743 SOS 456686 HAS SOPS 444915 HAS SOUS 129427 HAS SOUPS 127780 WITH SCORE 128236.686
AT ITER 1350 NEW BEST:: SOT 2762463 SOS 452464 HAS SOPS 440693 HAS SOUS 129237 HAS SOUPS 127590 WITH SCORE 128042.464
AT ITER 1351 NEW BEST:: SOT 2762402 SOS 452255 HAS SOPS 440484 HAS SOUS 129207 HAS SOUPS 127560 WITH SCORE 128012.255
AT ITER 1353 NEW BEST:: SOT 2762161 SOS 448703 HAS SOPS 436932 HAS SOUS 128775 HAS SOUPS 127128 WITH SCORE 127576.703
AT ITER 1357 NEW BEST:: SOT 2762100 SOS 448479 HAS SOPS 436708 HAS SOUS 128712 HAS SOUPS 127065 WITH SCORE 127513.479
AT ITER 1366 NEW BEST:: SOT 2761982 SOS 448372 HAS SOPS 436601 HAS SOUS 128151 HAS SOUPS 126504 WITH SCORE 126952.372
AT ITER 1369 NEW BEST:: SOT 2761862 SOS 448142 HAS SOPS 436371 HAS SOUS 128032 HAS SOUPS 126385 WITH SCORE 126833.142
AT ITER 1371 NEW BEST:: SOT 2761796 SOS 448045 HAS SOPS 436274 HAS SOUS 127891 HAS SOUPS 126244 WITH SCORE 126692.045
AT ITER 1373 NEW BEST:: SOT 2761729 SOS 447969 HAS SOPS 436198 HAS SOUS 127757 HAS SOUPS 126110 WITH SCORE 126557.969
AT ITER 1383 NEW BEST:: SOT 2761699 SOS 447934 HAS SOPS 436163 HAS SOUS 127722 HAS SOUPS 126075 WITH SCORE 126522.934
AT ITER 1388 NEW BEST:: SOT 2761649 SOS 447884 HAS SOPS 436089 HAS SOUS 127635 HAS SOUPS 125981 WITH SCORE 126428.884
AT ITER 1398 NEW BEST:: SOT 2761661 SOS 447828 HAS SOPS 436053 HAS SOUS 127553 HAS SOUPS 125899 WITH SCORE 126346.828
AT ITER 1406 NEW BEST:: SOT 2761617 SOS 447460 HAS SOPS 435685 HAS SOUS 127465 HAS SOUPS 125811 WITH SCORE 126258.46
AT ITER 1407 NEW BEST:: SOT 2761462 SOS 445365 HAS SOPS 433590 HAS SOUS 127148 HAS SOUPS 125494 WITH SCORE 125939.365
AT ITER 1408 NEW BEST:: SOT 2761467 SOS 445403 HAS SOPS 433628 HAS SOUS 127103 HAS SOUPS 125449 WITH SCORE 125894.403
AT ITER 1417 NEW BEST:: SOT 2761569 SOS 449105 HAS SOPS 433679 HAS SOUS 127083 HAS SOUPS 125327 WITH SCORE 125776.105
AT ITER 1420 NEW BEST:: SOT 2761774 SOS 448908 HAS SOPS 433516 HAS SOUS 126839 HAS SOUPS 125083 WITH SCORE 125531.908
AT ITER 1428 NEW BEST:: SOT 2761788 SOS 448867 HAS SOPS 433475 HAS SOUS 126839 HAS SOUPS 125083 WITH SCORE 125531.867
AT ITER 1454 NEW BEST:: SOT 2761785 SOS 448864 HAS SOPS 433472 HAS SOUS 126832 HAS SOUPS 125076 WITH SCORE 125524.864
AT ITER 1459 NEW BEST:: SOT 2761850 SOS 449254 HAS SOPS 433862 HAS SOUS 126637 HAS SOUPS 124881 WITH SCORE 125330.254
AT ITER 1466 NEW BEST:: SOT 2761855 SOS 449035 HAS SOPS 433643 HAS SOUS 126636 HAS SOUPS 124880 WITH SCORE 125329.035
AT ITER 1467 NEW BEST:: SOT 2761647 SOS 448694 HAS SOPS 433302 HAS SOUS 126244 HAS SOUPS 124488 WITH SCORE 124936.694
AT ITER 1470 NEW BEST:: SOT 2761647 SOS 448652 HAS SOPS 433260 HAS SOUS 126244 HAS SOUPS 124488 WITH SCORE 124936.652
AT ITER 1483 NEW BEST:: SOT 2761677 SOS 448785 HAS SOPS 433393 HAS SOUS 126236 HAS SOUPS 124480 WITH SCORE 124928.785
AT ITER 1488 NEW BEST:: SOT 2761677 SOS 448843 HAS SOPS 433530 HAS SOUS 126157 HAS SOUPS 124401 WITH SCORE 124849.843
AT ITER 1490 NEW BEST:: SOT 2761764 SOS 449041 HAS SOPS 433728 HAS SOUS 126110 HAS SOUPS 124354 WITH SCORE 124803.041
AT ITER 1510 NEW BEST:: SOT 2761800 SOS 448989 HAS SOPS 433676 HAS SOUS 126084 HAS SOUPS 124328 WITH SCORE 124776.989
AT ITER 1514 NEW BEST:: SOT 2761727 SOS 448995 HAS SOPS 433682 HAS SOUS 125915 HAS SOUPS 124159 WITH SCORE 124607.995
AT ITER 1529 NEW BEST:: SOT 2761724 SOS 448989 HAS SOPS 433679 HAS SOUS 125909 HAS SOUPS 124153 WITH SCORE 124601.989
AT ITER 1539 NEW BEST:: SOT 2761682 SOS 448947 HAS SOPS 433637 HAS SOUS 125876 HAS SOUPS 124120 WITH SCORE 124568.947
AT ITER 1544 NEW BEST:: SOT 2761682 SOS 448969 HAS SOPS 433659 HAS SOUS 125858 HAS SOUPS 124102 WITH SCORE 124550.969
AT ITER 1553 NEW BEST:: SOT 2761494 SOS 448524 HAS SOPS 433214 HAS SOUS 125687 HAS SOUPS 123931 WITH SCORE 124379.524
AT ITER 1557 NEW BEST:: SOT 2761481 SOS 448511 HAS SOPS 433201 HAS SOUS 125667 HAS SOUPS 123911 WITH SCORE 124359.511
AT ITER 1566 NEW BEST:: SOT 2761464 SOS 449129 HAS SOPS 433819 HAS SOUS 125640 HAS SOUPS 123884 WITH SCORE 124333.129
AT ITER 1573 NEW BEST:: SOT 2761235 SOS 448731 HAS SOPS 433421 HAS SOUS 125293 HAS SOUPS 123537 WITH SCORE 123985.731
AT ITER 1584 NEW BEST:: SOT 2761352 SOS 448848 HAS SOPS 433538 HAS SOUS 125172 HAS SOUPS 123416 WITH SCORE 123864.848
AT ITER 1594 NEW BEST:: SOT 2761380 SOS 449141 HAS SOPS 433831 HAS SOUS 125006 HAS SOUPS 123250 WITH SCORE 123699.141
AT ITER 1600 NEW BEST:: SOT 2761408 SOS 449134 HAS SOPS 433824 HAS SOUS 124965 HAS SOUPS 123209 WITH SCORE 123658.134
AT ITER 1608 NEW BEST:: SOT 2761394 SOS 448820 HAS SOPS 433510 HAS SOUS 124947 HAS SOUPS 123191 WITH SCORE 123639.82
AT ITER 1611 NEW BEST:: SOT 2761196 SOS 448661 HAS SOPS 433351 HAS SOUS 124700 HAS SOUPS 122944 WITH SCORE 123392.661
AT ITER 1613 NEW BEST:: SOT 2761050 SOS 448515 HAS SOPS 433205 HAS SOUS 124554 HAS SOUPS 122798 WITH SCORE 123246.515
AT ITER 1619 NEW BEST:: SOT 2760807 SOS 448948 HAS SOPS 433638 HAS SOUS 124226 HAS SOUPS 122470 WITH SCORE 122918.948
AT ITER 1632 NEW BEST:: SOT 2760807 SOS 448958 HAS SOPS 433648 HAS SOUS 124225 HAS SOUPS 122469 WITH SCORE 122917.958
AT ITER 1634 NEW BEST:: SOT 2760643 SOS 448783 HAS SOPS 433473 HAS SOUS 123907 HAS SOUPS 122151 WITH SCORE 122599.783
AT ITER 1639 NEW BEST:: SOT 2760604 SOS 448660 HAS SOPS 433350 HAS SOUS 123844 HAS SOUPS 122088 WITH SCORE 122536.66
AT ITER 1661 NEW BEST:: SOT 2760474 SOS 447102 HAS SOPS 431792 HAS SOUS 121721 HAS SOUPS 119965 WITH SCORE 120412.102
AT ITER 1677 NEW BEST:: SOT 2760469 SOS 447095 HAS SOPS 431785 HAS SOUS 121714 HAS SOUPS 119958 WITH SCORE 120405.095
AT ITER 1681 NEW BEST:: SOT 2760467 SOS 447093 HAS SOPS 431783 HAS SOUS 121710 HAS SOUPS 119954 WITH SCORE 120401.093
AT ITER 1688 NEW BEST:: SOT 2760428 SOS 447082 HAS SOPS 431772 HAS SOUS 121690 HAS SOUPS 119934 WITH SCORE 120381.082
AT ITER 1691 NEW BEST:: SOT 2760489 SOS 447119 HAS SOPS 431809 HAS SOUS 121670 HAS SOUPS 119914 WITH SCORE 120361.119
AT ITER 1699 NEW BEST:: SOT 2760041 SOS 445509 HAS SOPS 431461 HAS SOUS 121306 HAS SOUPS 119796 WITH SCORE 120241.509
AT ITER 1704 NEW BEST:: SOT 2760041 SOS 445471 HAS SOPS 431423 HAS SOUS 121300 HAS SOUPS 119790 WITH SCORE 120235.471
AT ITER 1710 NEW BEST:: SOT 2759823 SOS 444943 HAS SOPS 430895 HAS SOUS 121051 HAS SOUPS 119541 WITH SCORE 119985.943
AT ITER 1730 NEW BEST:: SOT 2759739 SOS 444861 HAS SOPS 430813 HAS SOUS 120990 HAS SOUPS 119480 WITH SCORE 119924.861
AT ITER 1738 NEW BEST:: SOT 2759668 SOS 444460 HAS SOPS 430412 HAS SOUS 120864 HAS SOUPS 119354 WITH SCORE 119798.46
AT ITER 1740 NEW BEST:: SOT 2759630 SOS 444337 HAS SOPS 430289 HAS SOUS 120774 HAS SOUPS 119264 WITH SCORE 119708.337
AT ITER 1744 NEW BEST:: SOT 2759604 SOS 444246 HAS SOPS 430198 HAS SOUS 120748 HAS SOUPS 119238 WITH SCORE 119682.246
AT ITER 1751 NEW BEST:: SOT 2759574 SOS 444171 HAS SOPS 430213 HAS SOUS 120682 HAS SOUPS 119172 WITH SCORE 119616.171
AT ITER 1757 NEW BEST:: SOT 2759532 SOS 443882 HAS SOPS 430124 HAS SOUS 120578 HAS SOUPS 119083 WITH SCORE 119526.882
AT ITER 1765 NEW BEST:: SOT 2759551 SOS 443756 HAS SOPS 429998 HAS SOUS 120377 HAS SOUPS 118882 WITH SCORE 119325.756
AT ITER 1768 NEW BEST:: SOT 2759599 SOS 437219 HAS SOPS 423461 HAS SOUS 120323 HAS SOUPS 118828 WITH SCORE 119265.219
AT ITER 1778 NEW BEST:: SOT 2759508 SOS 437167 HAS SOPS 423409 HAS SOUS 120271 HAS SOUPS 118776 WITH SCORE 119213.167
AT ITER 1780 NEW BEST:: SOT 2759441 SOS 436910 HAS SOPS 423152 HAS SOUS 120234 HAS SOUPS 118739 WITH SCORE 119175.91
AT ITER 1803 NEW BEST:: SOT 2759394 SOS 436409 HAS SOPS 422799 HAS SOUS 120186 HAS SOUPS 118691 WITH SCORE 119127.409
AT ITER 1809 NEW BEST:: SOT 2759344 SOS 436359 HAS SOPS 422749 HAS SOUS 120097 HAS SOUPS 118602 WITH SCORE 119038.359
AT ITER 1810 NEW BEST:: SOT 2759214 SOS 435967 HAS SOPS 422518 HAS SOUS 119919 HAS SOUPS 118424 WITH SCORE 118859.967
AT ITER 1811 NEW BEST:: SOT 2759217 SOS 435824 HAS SOPS 422375 HAS SOUS 119841 HAS SOUPS 118346 WITH SCORE 118781.824
AT ITER 1815 NEW BEST:: SOT 2759101 SOS 435627 HAS SOPS 422178 HAS SOUS 119657 HAS SOUPS 118162 WITH SCORE 118597.627
AT ITER 1821 NEW BEST:: SOT 2759212 SOS 436000 HAS SOPS 422551 HAS SOUS 119063 HAS SOUPS 117568 WITH SCORE 118004.0
AT ITER 1824 NEW BEST:: SOT 2759265 SOS 436275 HAS SOPS 422763 HAS SOUS 119037 HAS SOUPS 117542 WITH SCORE 117978.275
AT ITER 1828 NEW BEST:: SOT 2759259 SOS 436269 HAS SOPS 422736 HAS SOUS 119025 HAS SOUPS 117530 WITH SCORE 117966.269
AT ITER 1833 NEW BEST:: SOT 2759259 SOS 436267 HAS SOPS 422734 HAS SOUS 119019 HAS SOUPS 117524 WITH SCORE 117960.267
AT ITER 1834 NEW BEST:: SOT 2759259 SOS 436267 HAS SOPS 422834 HAS SOUS 118639 HAS SOUPS 117144 WITH SCORE 117580.267
AT ITER 1845 NEW BEST:: SOT 2759187 SOS 436148 HAS SOPS 422751 HAS SOUS 118582 HAS SOUPS 117087 WITH SCORE 117523.148
AT ITER 1862 NEW BEST:: SOT 2759175 SOS 436101 HAS SOPS 422697 HAS SOUS 118558 HAS SOUPS 117063 WITH SCORE 117499.101
AT ITER 1866 NEW BEST:: SOT 2759013 SOS 436128 HAS SOPS 422644 HAS SOUS 118274 HAS SOUPS 116779 WITH SCORE 117215.128
AT ITER 1874 NEW BEST:: SOT 2759002 SOS 436117 HAS SOPS 422645 HAS SOUS 118263 HAS SOUPS 116768 WITH SCORE 117204.117
AT ITER 1884 NEW BEST:: SOT 2758965 SOS 436014 HAS SOPS 422564 HAS SOUS 118233 HAS SOUPS 116738 WITH SCORE 117174.014
AT ITER 1887 NEW BEST:: SOT 2758979 SOS 436009 HAS SOPS 422559 HAS SOUS 118200 HAS SOUPS 116705 WITH SCORE 117141.009
AT ITER 1902 NEW BEST:: SOT 2758592 SOS 435643 HAS SOPS 422193 HAS SOUS 117844 HAS SOUPS 116349 WITH SCORE 116784.643
AT ITER 1912 NEW BEST:: SOT 2758655 SOS 435553 HAS SOPS 422138 HAS SOUS 117803 HAS SOUPS 116308 WITH SCORE 116743.553
AT ITER 1916 NEW BEST:: SOT 2758695 SOS 435710 HAS SOPS 422295 HAS SOUS 117681 HAS SOUPS 116186 WITH SCORE 116621.71
AT ITER 1923 NEW BEST:: SOT 2758642 SOS 435666 HAS SOPS 422251 HAS SOUS 117515 HAS SOUPS 116020 WITH SCORE 116455.666
AT ITER 1926 NEW BEST:: SOT 2758612 SOS 435678 HAS SOPS 422263 HAS SOUS 117485 HAS SOUPS 115990 WITH SCORE 116425.678
AT ITER 1943 NEW BEST:: SOT 2758507 SOS 435928 HAS SOPS 422053 HAS SOUS 117446 HAS SOUPS 115951 WITH SCORE 116386.928
AT ITER 1946 NEW BEST:: SOT 2758507 SOS 435928 HAS SOPS 422053 HAS SOUS 117250 HAS SOUPS 115755 WITH SCORE 116190.928
AT ITER 1948 NEW BEST:: SOT 2758564 SOS 436232 HAS SOPS 422357 HAS SOUS 116809 HAS SOUPS 115314 WITH SCORE 115750.232
AT ITER 1950 NEW BEST:: SOT 2758582 SOS 436388 HAS SOPS 422513 HAS SOUS 116802 HAS SOUPS 115307 WITH SCORE 115743.388
AT ITER 1952 NEW BEST:: SOT 2758727 SOS 570205 HAS SOPS 556330 HAS SOUS 116322 HAS SOUPS 114827 WITH SCORE 115397.205
AT ITER 1954 NEW BEST:: SOT 2758725 SOS 570203 HAS SOPS 556328 HAS SOUS 116321 HAS SOUPS 114826 WITH SCORE 115396.203
AT ITER 1955 NEW BEST:: SOT 2758732 SOS 569552 HAS SOPS 555677 HAS SOUS 116262 HAS SOUPS 114767 WITH SCORE 115336.552
AT ITER 1961 NEW BEST:: SOT 2758558 SOS 568866 HAS SOPS 555045 HAS SOUS 116029 HAS SOUPS 114554 WITH SCORE 115122.866
AT ITER 1969 NEW BEST:: SOT 2758550 SOS 568858 HAS SOPS 555037 HAS SOUS 116023 HAS SOUPS 114548 WITH SCORE 115116.858
AT ITER 1975 NEW BEST:: SOT 2758512 SOS 568614 HAS SOPS 554793 HAS SOUS 115986 HAS SOUPS 114511 WITH SCORE 115079.614
AT ITER 1977 NEW BEST:: SOT 2758483 SOS 568585 HAS SOPS 554777 HAS SOUS 115803 HAS SOUPS 114328 WITH SCORE 114896.585
AT ITER 1985 NEW BEST:: SOT 2758408 SOS 568348 HAS SOPS 554540 HAS SOUS 115583 HAS SOUPS 114108 WITH SCORE 114676.348
AT ITER 2014 NEW BEST:: SOT 2758408 SOS 568441 HAS SOPS 554633 HAS SOUS 115571 HAS SOUPS 114096 WITH SCORE 114664.441
AT ITER 2020 NEW BEST:: SOT 2758310 SOS 568093 HAS SOPS 554285 HAS SOUS 115355 HAS SOUPS 113880 WITH SCORE 114448.093
AT ITER 2063 NEW BEST:: SOT 2758310 SOS 567829 HAS SOPS 554021 HAS SOUS 115355 HAS SOUPS 113880 WITH SCORE 114447.829
AT ITER 2081 NEW BEST:: SOT 2758292 SOS 567811 HAS SOPS 554003 HAS SOUS 115355 HAS SOUPS 113880 WITH SCORE 114447.811
AT ITER 2105 NEW BEST:: SOT 2758101 SOS 567620 HAS SOPS 553835 HAS SOUS 115217 HAS SOUPS 113742 WITH SCORE 114309.62
AT ITER 2109 NEW BEST:: SOT 2758101 SOS 566811 HAS SOPS 553026 HAS SOUS 115107 HAS SOUPS 113632 WITH SCORE 114198.811
AT ITER 2130 NEW BEST:: SOT 2758081 SOS 555507 HAS SOPS 541722 HAS SOUS 115067 HAS SOUPS 113592 WITH SCORE 114147.507
AT ITER 2132 NEW BEST:: SOT 2757966 SOS 555611 HAS SOPS 541726 HAS SOUS 114901 HAS SOUPS 113426 WITH SCORE 113981.611
AT ITER 2164 NEW BEST:: SOT 2757951 SOS 555588 HAS SOPS 541703 HAS SOUS 114886 HAS SOUPS 113411 WITH SCORE 113966.588
AT ITER 2208 NEW BEST:: SOT 2757931 SOS 555568 HAS SOPS 541683 HAS SOUS 114782 HAS SOUPS 113307 WITH SCORE 113862.568
AT ITER 2213 NEW BEST:: SOT 2757887 SOS 555524 HAS SOPS 541653 HAS SOUS 114684 HAS SOUPS 113214 WITH SCORE 113769.524
AT ITER 2227 NEW BEST:: SOT 2757816 SOS 555332 HAS SOPS 541461 HAS SOUS 114606 HAS SOUPS 113136 WITH SCORE 113691.332
AT ITER 2237 NEW BEST:: SOT 2757624 SOS 554681 HAS SOPS 540996 HAS SOUS 114507 HAS SOUPS 113038 WITH SCORE 113592.681
AT ITER 2244 NEW BEST:: SOT 2757572 SOS 554616 HAS SOPS 540931 HAS SOUS 114429 HAS SOUPS 112960 WITH SCORE 113514.616
AT ITER 2245 NEW BEST:: SOT 2757559 SOS 554603 HAS SOPS 540918 HAS SOUS 114390 HAS SOUPS 112921 WITH SCORE 113475.603
AT ITER 2250 NEW BEST:: SOT 2757523 SOS 554594 HAS SOPS 540909 HAS SOUS 114382 HAS SOUPS 112913 WITH SCORE 113467.594
AT ITER 2254 NEW BEST:: SOT 2757508 SOS 554564 HAS SOPS 540879 HAS SOUS 114337 HAS SOUPS 112868 WITH SCORE 113422.564
AT ITER 2257 NEW BEST:: SOT 2757508 SOS 554528 HAS SOPS 540843 HAS SOUS 114301 HAS SOUPS 112832 WITH SCORE 113386.528
AT ITER 2287 NEW BEST:: SOT 2757499 SOS 554519 HAS SOPS 540834 HAS SOUS 114265 HAS SOUPS 112796 WITH SCORE 113350.519
AT ITER 2289 NEW BEST:: SOT 2757440 SOS 503399 HAS SOPS 489714 HAS SOUS 114173 HAS SOUPS 112704 WITH SCORE 113207.399
AT ITER 2294 NEW BEST:: SOT 2757556 SOS 503671 HAS SOPS 489986 HAS SOUS 114136 HAS SOUPS 112667 WITH SCORE 113170.671
AT ITER 2298 NEW BEST:: SOT 2757742 SOS 503696 HAS SOPS 490011 HAS SOUS 113480 HAS SOUPS 112011 WITH SCORE 112514.696
AT ITER 2315 NEW BEST:: SOT 2757691 SOS 496097 HAS SOPS 482412 HAS SOUS 113378 HAS SOUPS 111909 WITH SCORE 112405.097
AT ITER 2318 NEW BEST:: SOT 2757669 SOS 496043 HAS SOPS 482358 HAS SOUS 113288 HAS SOUPS 111819 WITH SCORE 112315.043
AT ITER 2319 NEW BEST:: SOT 2757654 SOS 496028 HAS SOPS 482319 HAS SOUS 113293 HAS SOUPS 111803 WITH SCORE 112299.028
AT ITER 2323 NEW BEST:: SOT 2757654 SOS 495901 HAS SOPS 482241 HAS SOUS 113293 HAS SOUPS 111803 WITH SCORE 112298.901
AT ITER 2338 NEW BEST:: SOT 2757369 SOS 495200 HAS SOPS 481540 HAS SOUS 113221 HAS SOUPS 111731 WITH SCORE 112226.2
AT ITER 2361 NEW BEST:: SOT 2757277 SOS 495108 HAS SOPS 481448 HAS SOUS 113022 HAS SOUPS 111532 WITH SCORE 112027.108
AT ITER 2362 NEW BEST:: SOT 2757272 SOS 495156 HAS SOPS 481496 HAS SOUS 112964 HAS SOUPS 111474 WITH SCORE 111969.156
AT ITER 2377 NEW BEST:: SOT 2757262 SOS 495151 HAS SOPS 481456 HAS SOUS 112944 HAS SOUPS 111454 WITH SCORE 111949.151
AT ITER 2390 NEW BEST:: SOT 2757220 SOS 494555 HAS SOPS 480860 HAS SOUS 112826 HAS SOUPS 111336 WITH SCORE 111830.555
AT ITER 2408 NEW BEST:: SOT 2757195 SOS 494466 HAS SOPS 480771 HAS SOUS 112745 HAS SOUPS 111255 WITH SCORE 111749.466
AT ITER 2413 NEW BEST:: SOT 2757207 SOS 494478 HAS SOPS 480783 HAS SOUS 112417 HAS SOUPS 110927 WITH SCORE 111421.478
AT ITER 2417 NEW BEST:: SOT 2757199 SOS 494445 HAS SOPS 480750 HAS SOUS 112400 HAS SOUPS 110910 WITH SCORE 111404.445
AT ITER 2436 NEW BEST:: SOT 2757199 SOS 494334 HAS SOPS 480639 HAS SOUS 112373 HAS SOUPS 110883 WITH SCORE 111377.334
AT ITER 2443 NEW BEST:: SOT 2757199 SOS 494314 HAS SOPS 480619 HAS SOUS 112373 HAS SOUPS 110883 WITH SCORE 111377.314
AT ITER 2453 NEW BEST:: SOT 2756980 SOS 494095 HAS SOPS 480420 HAS SOUS 112301 HAS SOUPS 110811 WITH SCORE 111305.095
AT ITER 2458 NEW BEST:: SOT 2756980 SOS 495064 HAS SOPS 481389 HAS SOUS 111847 HAS SOUPS 110357 WITH SCORE 110852.064
AT ITER 2471 NEW BEST:: SOT 2756872 SOS 494798 HAS SOPS 481123 HAS SOUS 111685 HAS SOUPS 110195 WITH SCORE 110689.798
AT ITER 2473 NEW BEST:: SOT 2756872 SOS 494809 HAS SOPS 481134 HAS SOUS 111675 HAS SOUPS 110185 WITH SCORE 110679.809
AT ITER 2479 NEW BEST:: SOT 2756872 SOS 494749 HAS SOPS 481094 HAS SOUS 111655 HAS SOUPS 110165 WITH SCORE 110659.749
AT ITER 2488 NEW BEST:: SOT 2756861 SOS 494581 HAS SOPS 480926 HAS SOUS 111633 HAS SOUPS 110143 WITH SCORE 110637.581
AT ITER 2498 NEW BEST:: SOT 2756820 SOS 494540 HAS SOPS 480926 HAS SOUS 111633 HAS SOUPS 110143 WITH SCORE 110637.54
AT ITER 2505 NEW BEST:: SOT 2756823 SOS 494282 HAS SOPS 480668 HAS SOUS 111593 HAS SOUPS 110103 WITH SCORE 110597.282
AT ITER 2513 NEW BEST:: SOT 2756797 SOS 494266 HAS SOPS 480652 HAS SOUS 111575 HAS SOUPS 110085 WITH SCORE 110579.266
AT ITER 2522 NEW BEST:: SOT 2756714 SOS 494157 HAS SOPS 480543 HAS SOUS 111414 HAS SOUPS 109924 WITH SCORE 110418.157
AT ITER 2525 NEW BEST:: SOT 2756659 SOS 494102 HAS SOPS 480488 HAS SOUS 111359 HAS SOUPS 109869 WITH SCORE 110363.102
AT ITER 2527 NEW BEST:: SOT 2756547 SOS 493860 HAS SOPS 480246 HAS SOUS 111233 HAS SOUPS 109743 WITH SCORE 110236.86
AT ITER 2539 NEW BEST:: SOT 2756503 SOS 493653 HAS SOPS 480039 HAS SOUS 111085 HAS SOUPS 109595 WITH SCORE 110088.653
AT ITER 2549 NEW BEST:: SOT 2756372 SOS 493661 HAS SOPS 479902 HAS SOUS 110911 HAS SOUPS 109421 WITH SCORE 109914.661
AT ITER 2554 NEW BEST:: SOT 2756259 SOS 493548 HAS SOPS 479789 HAS SOUS 110826 HAS SOUPS 109336 WITH SCORE 109829.548
AT ITER 2573 NEW BEST:: SOT 2756261 SOS 493574 HAS SOPS 479793 HAS SOUS 110808 HAS SOUPS 109318 WITH SCORE 109811.574
AT ITER 2581 NEW BEST:: SOT 2756269 SOS 493590 HAS SOPS 479809 HAS SOUS 110807 HAS SOUPS 109317 WITH SCORE 109810.59
AT ITER 2598 NEW BEST:: SOT 2756269 SOS 494191 HAS SOPS 480410 HAS SOUS 110769 HAS SOUPS 109279 WITH SCORE 109773.191
AT ITER 2609 NEW BEST:: SOT 2756131 SOS 494053 HAS SOPS 480282 HAS SOUS 110767 HAS SOUPS 109277 WITH SCORE 109771.053
AT ITER 2611 NEW BEST:: SOT 2755990 SOS 493767 HAS SOPS 479996 HAS SOUS 110445 HAS SOUPS 108955 WITH SCORE 109448.767
AT ITER 2616 NEW BEST:: SOT 2755975 SOS 493739 HAS SOPS 479968 HAS SOUS 110403 HAS SOUPS 108913 WITH SCORE 109406.739
AT ITER 2620 NEW BEST:: SOT 2755887 SOS 493911 HAS SOPS 480140 HAS SOUS 109791 HAS SOUPS 108301 WITH SCORE 108794.911
AT ITER 2641 NEW BEST:: SOT 2755883 SOS 493907 HAS SOPS 480136 HAS SOUS 109783 HAS SOUPS 108293 WITH SCORE 108786.907
AT ITER 2645 NEW BEST:: SOT 2755871 SOS 493895 HAS SOPS 480124 HAS SOUS 109769 HAS SOUPS 108279 WITH SCORE 108772.895
AT ITER 2649 NEW BEST:: SOT 2755873 SOS 493897 HAS SOPS 480126 HAS SOUS 109727 HAS SOUPS 108237 WITH SCORE 108730.897
AT ITER 2651 NEW BEST:: SOT 2755744 SOS 493468 HAS SOPS 479771 HAS SOUS 109580 HAS SOUPS 108090 WITH SCORE 108583.468
AT ITER 2673 NEW BEST:: SOT 2755747 SOS 493471 HAS SOPS 479768 HAS SOUS 109577 HAS SOUPS 108087 WITH SCORE 108580.471
AT ITER 2679 NEW BEST:: SOT 2755734 SOS 493458 HAS SOPS 479755 HAS SOUS 109551 HAS SOUPS 108061 WITH SCORE 108554.458
AT ITER 2681 NEW BEST:: SOT 2755550 SOS 493609 HAS SOPS 479723 HAS SOUS 109459 HAS SOUPS 107969 WITH SCORE 108462.609
AT ITER 2690 NEW BEST:: SOT 2755546 SOS 493601 HAS SOPS 479715 HAS SOUS 109453 HAS SOUPS 107963 WITH SCORE 108456.601
AT ITER 2700 NEW BEST:: SOT 2755546 SOS 493597 HAS SOPS 479671 HAS SOUS 109413 HAS SOUPS 107913 WITH SCORE 108406.597
AT ITER 2703 NEW BEST:: SOT 2755384 SOS 493592 HAS SOPS 479666 HAS SOUS 109332 HAS SOUPS 107832 WITH SCORE 108325.592
AT ITER 2714 NEW BEST:: SOT 2755354 SOS 493472 HAS SOPS 479546 HAS SOUS 109272 HAS SOUPS 107772 WITH SCORE 108265.472
AT ITER 2729 NEW BEST:: SOT 2755354 SOS 493556 HAS SOPS 479525 HAS SOUS 109251 HAS SOUPS 107730 WITH SCORE 108223.556
AT ITER 2735 NEW BEST:: SOT 2755322 SOS 493524 HAS SOPS 479493 HAS SOUS 109219 HAS SOUPS 107698 WITH SCORE 108191.524
AT ITER 2741 NEW BEST:: SOT 2755354 SOS 493521 HAS SOPS 479548 HAS SOUS 109216 HAS SOUPS 107695 WITH SCORE 108188.521
AT ITER 2744 NEW BEST:: SOT 2755519 SOS 493972 HAS SOPS 479999 HAS SOUS 108931 HAS SOUPS 107410 WITH SCORE 107903.972
AT ITER 2746 NEW BEST:: SOT 2755515 SOS 493969 HAS SOPS 479996 HAS SOUS 108926 HAS SOUPS 107405 WITH SCORE 107898.969
AT ITER 2783 NEW BEST:: SOT 2755487 SOS 493941 HAS SOPS 479968 HAS SOUS 108898 HAS SOUPS 107377 WITH SCORE 107870.941
AT ITER 2785 NEW BEST:: SOT 2755415 SOS 493653 HAS SOPS 479761 HAS SOUS 108860 HAS SOUPS 107339 WITH SCORE 107832.653
AT ITER 2817 NEW BEST:: SOT 2755408 SOS 493643 HAS SOPS 479751 HAS SOUS 108852 HAS SOUPS 107331 WITH SCORE 107824.643
AT ITER 2827 NEW BEST:: SOT 2754895 SOS 493130 HAS SOPS 479238 HAS SOUS 106564 HAS SOUPS 105043 WITH SCORE 105536.13
AT ITER 2838 NEW BEST:: SOT 2754771 SOS 493006 HAS SOPS 479072 HAS SOUS 106366 HAS SOUPS 104845 WITH SCORE 105338.006
AT ITER 2852 NEW BEST:: SOT 2754685 SOS 492896 HAS SOPS 478962 HAS SOUS 106336 HAS SOUPS 104815 WITH SCORE 105307.896
AT ITER 2857 NEW BEST:: SOT 2754535 SOS 489611 HAS SOPS 478833 HAS SOUS 106178 HAS SOUPS 104707 WITH SCORE 105196.611
AT ITER 2858 NEW BEST:: SOT 2754442 SOS 489425 HAS SOPS 478647 HAS SOUS 105992 HAS SOUPS 104521 WITH SCORE 105010.425
AT ITER 2867 NEW BEST:: SOT 2754332 SOS 489450 HAS SOPS 478672 HAS SOUS 105910 HAS SOUPS 104439 WITH SCORE 104928.45
AT ITER 2870 NEW BEST:: SOT 2754323 SOS 489441 HAS SOPS 478663 HAS SOUS 105897 HAS SOUPS 104426 WITH SCORE 104915.441
AT ITER 2893 NEW BEST:: SOT 2754291 SOS 489401 HAS SOPS 478623 HAS SOUS 105841 HAS SOUPS 104370 WITH SCORE 104859.401
AT ITER 2921 NEW BEST:: SOT 2754203 SOS 489369 HAS SOPS 478591 HAS SOUS 105641 HAS SOUPS 104170 WITH SCORE 104659.369
AT ITER 2948 NEW BEST:: SOT 2754041 SOS 489207 HAS SOPS 478429 HAS SOUS 105040 HAS SOUPS 103569 WITH SCORE 104058.207
AT ITER 2971 NEW BEST:: SOT 2753962 SOS 488733 HAS SOPS 477955 HAS SOUS 104882 HAS SOUPS 103411 WITH SCORE 103899.733
AT ITER 2973 NEW BEST:: SOT 2753146 SOS 487917 HAS SOPS 477139 HAS SOUS 104694 HAS SOUPS 103223 WITH SCORE 103710.917
AT ITER 2976 NEW BEST:: SOT 2753098 SOS 487821 HAS SOPS 477043 HAS SOUS 104598 HAS SOUPS 103127 WITH SCORE 103614.821
AT ITER 2979 NEW BEST:: SOT 2753086 SOS 487809 HAS SOPS 477031 HAS SOUS 104538 HAS SOUPS 103067 WITH SCORE 103554.809
AT ITER 2980 NEW BEST:: SOT 2753086 SOS 487827 HAS SOPS 477049 HAS SOUS 104515 HAS SOUPS 103044 WITH SCORE 103531.827
AT ITER 2988 NEW BEST:: SOT 2752894 SOS 487635 HAS SOPS 476857 HAS SOUS 104507 HAS SOUPS 103036 WITH SCORE 103523.635
AT ITER 3015 NEW BEST:: SOT 2752724 SOS 482790 HAS SOPS 472012 HAS SOUS 104167 HAS SOUPS 102696 WITH SCORE 103178.79
AT ITER 3050 NEW BEST:: SOT 2752699 SOS 482740 HAS SOPS 471962 HAS SOUS 104117 HAS SOUPS 102646 WITH SCORE 103128.74
AT ITER 3067 NEW BEST:: SOT 2752562 SOS 482441 HAS SOPS 471717 HAS SOUS 103951 HAS SOUPS 102480 WITH SCORE 102962.441
AT ITER 3079 NEW BEST:: SOT 2752524 SOS 482351 HAS SOPS 471627 HAS SOUS 103922 HAS SOUPS 102451 WITH SCORE 102933.351
AT ITER 3080 NEW BEST:: SOT 2752375 SOS 482267 HAS SOPS 471543 HAS SOUS 103779 HAS SOUPS 102308 WITH SCORE 102790.267
AT ITER 3085 NEW BEST:: SOT 2752761 SOS 482653 HAS SOPS 471929 HAS SOUS 102428 HAS SOUPS 100957 WITH SCORE 101439.653
AT ITER 3109 NEW BEST:: SOT 2752761 SOS 482678 HAS SOPS 471954 HAS SOUS 102418 HAS SOUPS 100947 WITH SCORE 101429.678
AT ITER 3116 NEW BEST:: SOT 2752703 SOS 482519 HAS SOPS 471795 HAS SOUS 102332 HAS SOUPS 100861 WITH SCORE 101343.519
AT ITER 3117 NEW BEST:: SOT 2752922 SOS 482738 HAS SOPS 472037 HAS SOUS 102255 HAS SOUPS 100784 WITH SCORE 101266.738
AT ITER 3119 NEW BEST:: SOT 2752922 SOS 482444 HAS SOPS 471743 HAS SOUS 102255 HAS SOUPS 100784 WITH SCORE 101266.444
AT ITER 3159 NEW BEST:: SOT 2752922 SOS 482366 HAS SOPS 471665 HAS SOUS 102255 HAS SOUPS 100784 WITH SCORE 101266.366
AT ITER 3196 NEW BEST:: SOT 2752905 SOS 482339 HAS SOPS 471638 HAS SOUS 102241 HAS SOUPS 100770 WITH SCORE 101252.339
AT ITER 3213 NEW BEST:: SOT 2753080 SOS 482497 HAS SOPS 471796 HAS SOUS 102178 HAS SOUPS 100707 WITH SCORE 101189.497
AT ITER 3215 NEW BEST:: SOT 2753104 SOS 482276 HAS SOPS 471575 HAS SOUS 102129 HAS SOUPS 100658 WITH SCORE 101140.276
AT ITER 3222 NEW BEST:: SOT 2753100 SOS 482284 HAS SOPS 471583 HAS SOUS 102121 HAS SOUPS 100650 WITH SCORE 101132.284
AT ITER 3227 NEW BEST:: SOT 2753051 SOS 482235 HAS SOPS 471534 HAS SOUS 102109 HAS SOUPS 100638 WITH SCORE 101120.235
AT ITER 3233 NEW BEST:: SOT 2752755 SOS 481957 HAS SOPS 471117 HAS SOUS 101836 HAS SOUPS 100365 WITH SCORE 100846.957
AT ITER 3239 NEW BEST:: SOT 2752755 SOS 481985 HAS SOPS 471145 HAS SOUS 101827 HAS SOUPS 100356 WITH SCORE 100837.985
AT ITER 3243 NEW BEST:: SOT 2752753 SOS 482141 HAS SOPS 471301 HAS SOUS 101825 HAS SOUPS 100354 WITH SCORE 100836.141
AT ITER 3268 NEW BEST:: SOT 2752718 SOS 482145 HAS SOPS 471305 HAS SOUS 101413 HAS SOUPS 99942 WITH SCORE 100424.145
AT ITER 3274 NEW BEST:: SOT 2752711 SOS 482131 HAS SOPS 471291 HAS SOUS 101399 HAS SOUPS 99928 WITH SCORE 100410.131
AT ITER 3283 NEW BEST:: SOT 2752664 SOS 482084 HAS SOPS 471244 HAS SOUS 101305 HAS SOUPS 99834 WITH SCORE 100316.084
AT ITER 3300 NEW BEST:: SOT 2752631 SOS 482559 HAS SOPS 471719 HAS SOUS 101239 HAS SOUPS 99768 WITH SCORE 100250.559
AT ITER 3302 NEW BEST:: SOT 2752581 SOS 482209 HAS SOPS 471373 HAS SOUS 101219 HAS SOUPS 99748 WITH SCORE 100230.209
AT ITER 3313 NEW BEST:: SOT 2752571 SOS 482189 HAS SOPS 471353 HAS SOUS 101209 HAS SOUPS 99738 WITH SCORE 100220.189
AT ITER 3320 NEW BEST:: SOT 2752522 SOS 482038 HAS SOPS 471202 HAS SOUS 101111 HAS SOUPS 99640 WITH SCORE 100122.038
AT ITER 3321 NEW BEST:: SOT 2752198 SOS 481710 HAS SOPS 470874 HAS SOUS 100928 HAS SOUPS 99457 WITH SCORE 99938.71
AT ITER 3332 NEW BEST:: SOT 2752170 SOS 481403 HAS SOPS 470567 HAS SOUS 100779 HAS SOUPS 99308 WITH SCORE 99789.403
AT ITER 3355 NEW BEST:: SOT 2750592 SOS 479825 HAS SOPS 468989 HAS SOUS 100717 HAS SOUPS 99246 WITH SCORE 99725.825
AT ITER 3358 NEW BEST:: SOT 2750528 SOS 479761 HAS SOPS 468925 HAS SOUS 100653 HAS SOUPS 99182 WITH SCORE 99661.761
AT ITER 3361 NEW BEST:: SOT 2750393 SOS 479581 HAS SOPS 468745 HAS SOUS 100653 HAS SOUPS 99182 WITH SCORE 99661.581
AT ITER 3362 NEW BEST:: SOT 2750393 SOS 479581 HAS SOPS 468745 HAS SOUS 100628 HAS SOUPS 99157 WITH SCORE 99636.581
AT ITER 3372 NEW BEST:: SOT 2750376 SOS 479555 HAS SOPS 468711 HAS SOUS 100576 HAS SOUPS 99105 WITH SCORE 99584.555
AT ITER 3381 NEW BEST:: SOT 2750390 SOS 479456 HAS SOPS 468612 HAS SOUS 100571 HAS SOUPS 99100 WITH SCORE 99579.456
AT ITER 3384 NEW BEST:: SOT 2750383 SOS 479206 HAS SOPS 468362 HAS SOUS 100455 HAS SOUPS 98984 WITH SCORE 99463.206
AT ITER 3412 NEW BEST:: SOT 2750348 SOS 479136 HAS SOPS 468292 HAS SOUS 100385 HAS SOUPS 98914 WITH SCORE 99393.136
AT ITER 3414 NEW BEST:: SOT 2750300 SOS 479088 HAS SOPS 468244 HAS SOUS 100337 HAS SOUPS 98866 WITH SCORE 99345.088
AT ITER 3429 NEW BEST:: SOT 2750309 SOS 477426 HAS SOPS 466582 HAS SOUS 100271 HAS SOUPS 98800 WITH SCORE 99277.426
AT ITER 3446 NEW BEST:: SOT 2750307 SOS 477418 HAS SOPS 466576 HAS SOUS 100271 HAS SOUPS 98800 WITH SCORE 99277.418
AT ITER 3447 NEW BEST:: SOT 2750303 SOS 477414 HAS SOPS 466572 HAS SOUS 100263 HAS SOUPS 98792 WITH SCORE 99269.414
AT ITER 3450 NEW BEST:: SOT 2750307 SOS 477446 HAS SOPS 466604 HAS SOUS 100232 HAS SOUPS 98761 WITH SCORE 99238.446
AT ITER 3464 NEW BEST:: SOT 2750269 SOS 477492 HAS SOPS 466650 HAS SOUS 100220 HAS SOUPS 98749 WITH SCORE 99226.492
AT ITER 3472 NEW BEST:: SOT 2750314 SOS 477687 HAS SOPS 466834 HAS SOUS 100210 HAS SOUPS 98739 WITH SCORE 99216.687
AT ITER 3493 NEW BEST:: SOT 2750304 SOS 477614 HAS SOPS 466761 HAS SOUS 100201 HAS SOUPS 98730 WITH SCORE 99207.614
AT ITER 3510 NEW BEST:: SOT 2750203 SOS 477856 HAS SOPS 466902 HAS SOUS 100005 HAS SOUPS 98534 WITH SCORE 99011.856
AT ITER 3524 NEW BEST:: SOT 2750201 SOS 477854 HAS SOPS 466900 HAS SOUS 99996 HAS SOUPS 98525 WITH SCORE 99002.854
AT ITER 3533 NEW BEST:: SOT 2750419 SOS 478274 HAS SOPS 467320 HAS SOUS 99810 HAS SOUPS 98339 WITH SCORE 98817.274
AT ITER 3540 NEW BEST:: SOT 2750324 SOS 478179 HAS SOPS 467160 HAS SOUS 99628 HAS SOUPS 98157 WITH SCORE 98635.179
AT ITER 3555 NEW BEST:: SOT 2750238 SOS 478085 HAS SOPS 467066 HAS SOUS 99610 HAS SOUPS 98139 WITH SCORE 98617.085
AT ITER 3564 NEW BEST:: SOT 2750224 SOS 478071 HAS SOPS 467045 HAS SOUS 99582 HAS SOUPS 98111 WITH SCORE 98589.071
AT ITER 3571 NEW BEST:: SOT 2750230 SOS 477905 HAS SOPS 466879 HAS SOUS 99562 HAS SOUPS 98091 WITH SCORE 98568.905
AT ITER 3573 NEW BEST:: SOT 2750230 SOS 477878 HAS SOPS 466852 HAS SOUS 99553 HAS SOUPS 98082 WITH SCORE 98559.878
AT ITER 3593 NEW BEST:: SOT 2750187 SOS 477729 HAS SOPS 466741 HAS SOUS 99505 HAS SOUPS 98064 WITH SCORE 98541.729
AT ITER 3600 NEW BEST:: SOT 2750194 SOS 477707 HAS SOPS 466719 HAS SOUS 99485 HAS SOUPS 98044 WITH SCORE 98521.707
AT ITER 3603 NEW BEST:: SOT 2750194 SOS 477707 HAS SOPS 466719 HAS SOUS 99483 HAS SOUPS 98042 WITH SCORE 98519.707
AT ITER 3610 NEW BEST:: SOT 2750126 SOS 477537 HAS SOPS 466583 HAS SOUS 99415 HAS SOUPS 97974 WITH SCORE 98451.537
AT ITER 3611 NEW BEST:: SOT 2750069 SOS 477480 HAS SOPS 466526 HAS SOUS 99244 HAS SOUPS 97803 WITH SCORE 98280.48
AT ITER 3616 NEW BEST:: SOT 2750030 SOS 477558 HAS SOPS 466604 HAS SOUS 98971 HAS SOUPS 97530 WITH SCORE 98007.558
AT ITER 3623 NEW BEST:: SOT 2749966 SOS 477444 HAS SOPS 466490 HAS SOUS 98879 HAS SOUPS 97438 WITH SCORE 97915.444
AT ITER 3631 NEW BEST:: SOT 2749952 SOS 477397 HAS SOPS 466443 HAS SOUS 98865 HAS SOUPS 97424 WITH SCORE 97901.397
AT ITER 3633 NEW BEST:: SOT 2749784 SOS 477229 HAS SOPS 466278 HAS SOUS 98700 HAS SOUPS 97259 WITH SCORE 97736.229
AT ITER 3644 NEW BEST:: SOT 2749803 SOS 477274 HAS SOPS 466323 HAS SOUS 98666 HAS SOUPS 97225 WITH SCORE 97702.274
AT ITER 3663 NEW BEST:: SOT 2749776 SOS 477212 HAS SOPS 466261 HAS SOUS 98510 HAS SOUPS 97069 WITH SCORE 97546.212
AT ITER 3665 NEW BEST:: SOT 2749750 SOS 477108 HAS SOPS 466183 HAS SOUS 98510 HAS SOUPS 97069 WITH SCORE 97546.108
AT ITER 3667 NEW BEST:: SOT 2749709 SOS 477074 HAS SOPS 466113 HAS SOUS 98428 HAS SOUPS 96987 WITH SCORE 97464.074
AT ITER 3674 NEW BEST:: SOT 2749703 SOS 477068 HAS SOPS 466107 HAS SOUS 98410 HAS SOUPS 96969 WITH SCORE 97446.068
AT ITER 3687 NEW BEST:: SOT 2749755 SOS 476808 HAS SOPS 465889 HAS SOUS 98400 HAS SOUPS 96959 WITH SCORE 97435.808
AT ITER 3704 NEW BEST:: SOT 2749744 SOS 476797 HAS SOPS 465878 HAS SOUS 98390 HAS SOUPS 96949 WITH SCORE 97425.797
AT ITER 3714 NEW BEST:: SOT 2749686 SOS 477087 HAS SOPS 466168 HAS SOUS 98332 HAS SOUPS 96891 WITH SCORE 97368.087
AT ITER 3725 NEW BEST:: SOT 2749633 SOS 477034 HAS SOPS 466115 HAS SOUS 98299 HAS SOUPS 96858 WITH SCORE 97335.034
AT ITER 3748 NEW BEST:: SOT 2749591 SOS 476800 HAS SOPS 465913 HAS SOUS 98279 HAS SOUPS 96838 WITH SCORE 97314.8
AT ITER 3753 NEW BEST:: SOT 2749591 SOS 476800 HAS SOPS 465895 HAS SOUS 98256 HAS SOUPS 96815 WITH SCORE 97291.8
AT ITER 3756 NEW BEST:: SOT 2749548 SOS 476704 HAS SOPS 465799 HAS SOUS 98206 HAS SOUPS 96765 WITH SCORE 97241.704
AT ITER 3759 NEW BEST:: SOT 2749535 SOS 476691 HAS SOPS 465786 HAS SOUS 98193 HAS SOUPS 96752 WITH SCORE 97228.691
AT ITER 3763 NEW BEST:: SOT 2749510 SOS 476573 HAS SOPS 465668 HAS SOUS 98143 HAS SOUPS 96702 WITH SCORE 97178.573
AT ITER 3789 NEW BEST:: SOT 2749573 SOS 476703 HAS SOPS 465798 HAS SOUS 98107 HAS SOUPS 96666 WITH SCORE 97142.703
AT ITER 3818 NEW BEST:: SOT 2749683 SOS 476897 HAS SOPS 465992 HAS SOUS 98092 HAS SOUPS 96651 WITH SCORE 97127.897
AT ITER 3831 NEW BEST:: SOT 2749661 SOS 476875 HAS SOPS 465943 HAS SOUS 98075 HAS SOUPS 96634 WITH SCORE 97110.875
AT ITER 3841 NEW BEST:: SOT 2749593 SOS 476579 HAS SOPS 465647 HAS SOUS 97969 HAS SOUPS 96528 WITH SCORE 97004.579
AT ITER 3875 NEW BEST:: SOT 2749628 SOS 476699 HAS SOPS 465767 HAS SOUS 97884 HAS SOUPS 96443 WITH SCORE 96919.699
AT ITER 3877 NEW BEST:: SOT 2749624 SOS 476695 HAS SOPS 465763 HAS SOUS 97847 HAS SOUPS 96406 WITH SCORE 96882.695
AT ITER 3879 NEW BEST:: SOT 2749516 SOS 476195 HAS SOPS 465480 HAS SOUS 97804 HAS SOUPS 96363 WITH SCORE 96839.195
AT ITER 3887 NEW BEST:: SOT 2749476 SOS 476155 HAS SOPS 465440 HAS SOUS 97764 HAS SOUPS 96323 WITH SCORE 96799.155
AT ITER 3908 NEW BEST:: SOT 2749472 SOS 476151 HAS SOPS 465434 HAS SOUS 97759 HAS SOUPS 96318 WITH SCORE 96794.151
AT ITER 3931 NEW BEST:: SOT 2749682 SOS 476617 HAS SOPS 465900 HAS SOUS 97666 HAS SOUPS 96225 WITH SCORE 96701.617
AT ITER 3935 NEW BEST:: SOT 2749699 SOS 476887 HAS SOPS 465970 HAS SOUS 97559 HAS SOUPS 96118 WITH SCORE 96594.887
AT ITER 3941 NEW BEST:: SOT 2749464 SOS 476397 HAS SOPS 465480 HAS SOUS 97222 HAS SOUPS 95781 WITH SCORE 96257.397
AT ITER 3942 NEW BEST:: SOT 2749352 SOS 472141 HAS SOPS 461224 HAS SOUS 97054 HAS SOUPS 95613 WITH SCORE 96085.141
AT ITER 3968 NEW BEST:: SOT 2749283 SOS 471934 HAS SOPS 461017 HAS SOUS 96922 HAS SOUPS 95481 WITH SCORE 95952.934
AT ITER 3973 NEW BEST:: SOT 2749279 SOS 471846 HAS SOPS 461015 HAS SOUS 96918 HAS SOUPS 95479 WITH SCORE 95950.846
AT ITER 3978 NEW BEST:: SOT 2749234 SOS 471791 HAS SOPS 460960 HAS SOUS 96863 HAS SOUPS 95424 WITH SCORE 95895.791
AT ITER 3980 NEW BEST:: SOT 2749230 SOS 471763 HAS SOPS 460928 HAS SOUS 96849 HAS SOUPS 95410 WITH SCORE 95881.763
AT ITER 3982 NEW BEST:: SOT 2749161 SOS 471835 HAS SOPS 460878 HAS SOUS 96756 HAS SOUPS 95317 WITH SCORE 95788.835
AT ITER 3988 NEW BEST:: SOT 2749065 SOS 471590 HAS SOPS 460633 HAS SOUS 96709 HAS SOUPS 95270 WITH SCORE 95741.59
AT ITER 4001 NEW BEST:: SOT 2749069 SOS 471594 HAS SOPS 460637 HAS SOUS 96705 HAS SOUPS 95266 WITH SCORE 95737.594
AT ITER 4008 NEW BEST:: SOT 2749057 SOS 471570 HAS SOPS 460613 HAS SOUS 96675 HAS SOUPS 95236 WITH SCORE 95707.57
AT ITER 4012 NEW BEST:: SOT 2749077 SOS 471900 HAS SOPS 460869 HAS SOUS 96639 HAS SOUPS 95200 WITH SCORE 95671.9
AT ITER 4015 NEW BEST:: SOT 2749028 SOS 471898 HAS SOPS 460867 HAS SOUS 96541 HAS SOUPS 95102 WITH SCORE 95573.898
AT ITER 4021 NEW BEST:: SOT 2748939 SOS 471701 HAS SOPS 460670 HAS SOUS 96415 HAS SOUPS 94976 WITH SCORE 95447.701
AT ITER 4068 NEW BEST:: SOT 2748871 SOS 471633 HAS SOPS 460602 HAS SOUS 96399 HAS SOUPS 94960 WITH SCORE 95431.633
AT ITER 4100 NEW BEST:: SOT 2748766 SOS 471496 HAS SOPS 460465 HAS SOUS 96397 HAS SOUPS 94958 WITH SCORE 95429.496
AT ITER 4117 NEW BEST:: SOT 2748753 SOS 471483 HAS SOPS 460452 HAS SOUS 96372 HAS SOUPS 94933 WITH SCORE 95404.483
AT ITER 4132 NEW BEST:: SOT 2748775 SOS 471471 HAS SOPS 460440 HAS SOUS 96349 HAS SOUPS 94910 WITH SCORE 95381.471
AT ITER 4164 NEW BEST:: SOT 2748739 SOS 471435 HAS SOPS 460404 HAS SOUS 96313 HAS SOUPS 94874 WITH SCORE 95345.435
AT ITER 4165 NEW BEST:: SOT 2748728 SOS 471385 HAS SOPS 460354 HAS SOUS 96297 HAS SOUPS 94858 WITH SCORE 95329.385
AT ITER 4174 NEW BEST:: SOT 2748835 SOS 471375 HAS SOPS 460273 HAS SOUS 96289 HAS SOUPS 94850 WITH SCORE 95321.375
AT ITER 4188 NEW BEST:: SOT 2748835 SOS 471375 HAS SOPS 460273 HAS SOUS 96286 HAS SOUPS 94847 WITH SCORE 95318.375
AT ITER 4189 NEW BEST:: SOT 2748786 SOS 471326 HAS SOPS 460224 HAS SOUS 96011 HAS SOUPS 94572 WITH SCORE 95043.326
AT ITER 4204 NEW BEST:: SOT 2748786 SOS 471356 HAS SOPS 460254 HAS SOUS 95961 HAS SOUPS 94522 WITH SCORE 94993.356
AT ITER 4223 NEW BEST:: SOT 2748830 SOS 471446 HAS SOPS 460344 HAS SOUS 95867 HAS SOUPS 94428 WITH SCORE 94899.446
AT ITER 4227 NEW BEST:: SOT 2748720 SOS 471336 HAS SOPS 460234 HAS SOUS 95778 HAS SOUPS 94339 WITH SCORE 94810.336
AT ITER 4229 NEW BEST:: SOT 2748720 SOS 471195 HAS SOPS 460093 HAS SOUS 95778 HAS SOUPS 94339 WITH SCORE 94810.195
AT ITER 4243 NEW BEST:: SOT 2748720 SOS 471150 HAS SOPS 460048 HAS SOUS 95778 HAS SOUPS 94339 WITH SCORE 94810.15
AT ITER 4257 NEW BEST:: SOT 2748383 SOS 464677 HAS SOPS 454621 HAS SOUS 95305 HAS SOUPS 94074 WITH SCORE 94538.677
AT ITER 4261 NEW BEST:: SOT 2748383 SOS 464689 HAS SOPS 454633 HAS SOUS 95293 HAS SOUPS 94062 WITH SCORE 94526.689
AT ITER 4293 NEW BEST:: SOT 2748383 SOS 464688 HAS SOPS 454632 HAS SOUS 95289 HAS SOUPS 94058 WITH SCORE 94522.688
AT ITER 4295 NEW BEST:: SOT 2748363 SOS 464664 HAS SOPS 454624 HAS SOUS 95265 HAS SOUPS 94050 WITH SCORE 94514.664
AT ITER 4307 NEW BEST:: SOT 2748359 SOS 464660 HAS SOPS 454620 HAS SOUS 95261 HAS SOUPS 94046 WITH SCORE 94510.66
AT ITER 4320 NEW BEST:: SOT 2748210 SOS 464477 HAS SOPS 454437 HAS SOUS 95158 HAS SOUPS 93943 WITH SCORE 94407.477
AT ITER 4322 NEW BEST:: SOT 2748189 SOS 464462 HAS SOPS 454422 HAS SOUS 94939 HAS SOUPS 93724 WITH SCORE 94188.462
AT ITER 4325 NEW BEST:: SOT 2748087 SOS 464316 HAS SOPS 454276 HAS SOUS 94783 HAS SOUPS 93568 WITH SCORE 94032.316
AT ITER 4352 NEW BEST:: SOT 2748108 SOS 464518 HAS SOPS 454385 HAS SOUS 94713 HAS SOUPS 93498 WITH SCORE 93962.518
AT ITER 4370 NEW BEST:: SOT 2748108 SOS 464402 HAS SOPS 454269 HAS SOUS 94713 HAS SOUPS 93498 WITH SCORE 93962.402
AT ITER 4371 NEW BEST:: SOT 2748095 SOS 464391 HAS SOPS 454258 HAS SOUS 94707 HAS SOUPS 93492 WITH SCORE 93956.391
AT ITER 4378 NEW BEST:: SOT 2748106 SOS 464370 HAS SOPS 454237 HAS SOUS 93771 HAS SOUPS 92556 WITH SCORE 93020.37
AT ITER 4380 NEW BEST:: SOT 2748052 SOS 464283 HAS SOPS 454150 HAS SOUS 93753 HAS SOUPS 92538 WITH SCORE 93002.283
AT ITER 4384 NEW BEST:: SOT 2748022 SOS 464253 HAS SOPS 454120 HAS SOUS 93720 HAS SOUPS 92505 WITH SCORE 92969.253
AT ITER 4400 NEW BEST:: SOT 2748018 SOS 464182 HAS SOPS 454049 HAS SOUS 93709 HAS SOUPS 92494 WITH SCORE 92958.182
AT ITER 4409 NEW BEST:: SOT 2748007 SOS 464171 HAS SOPS 454049 HAS SOUS 93709 HAS SOUPS 92494 WITH SCORE 92958.171
AT ITER 4423 NEW BEST:: SOT 2747975 SOS 464103 HAS SOPS 453981 HAS SOUS 93647 HAS SOUPS 92432 WITH SCORE 92896.103
AT ITER 4445 NEW BEST:: SOT 2747972 SOS 464100 HAS SOPS 453978 HAS SOUS 93644 HAS SOUPS 92429 WITH SCORE 92893.1
AT ITER 4510 NEW BEST:: SOT 2747913 SOS 464228 HAS SOPS 454106 HAS SOUS 93468 HAS SOUPS 92253 WITH SCORE 92717.228
AT ITER 4511 NEW BEST:: SOT 2748009 SOS 464225 HAS SOPS 454103 HAS SOUS 93323 HAS SOUPS 92108 WITH SCORE 92572.225
AT ITER 4528 NEW BEST:: SOT 2748028 SOS 464244 HAS SOPS 454122 HAS SOUS 93108 HAS SOUPS 91893 WITH SCORE 92357.244
AT ITER 4534 NEW BEST:: SOT 2754850 SOS 471066 HAS SOPS 460944 HAS SOUS 92643 HAS SOUPS 91428 WITH SCORE 91899.066
AT ITER 4551 NEW BEST:: SOT 2754822 SOS 471035 HAS SOPS 460994 HAS SOUS 92587 HAS SOUPS 91372 WITH SCORE 91843.035
AT ITER 4561 NEW BEST:: SOT 2754808 SOS 471430 HAS SOPS 461389 HAS SOUS 92491 HAS SOUPS 91276 WITH SCORE 91747.43
AT ITER 4573 NEW BEST:: SOT 2754496 SOS 471195 HAS SOPS 461154 HAS SOUS 92324 HAS SOUPS 91109 WITH SCORE 91580.195
AT ITER 4589 NEW BEST:: SOT 2754473 SOS 471172 HAS SOPS 461131 HAS SOUS 92301 HAS SOUPS 91086 WITH SCORE 91557.172
AT ITER 4591 NEW BEST:: SOT 2754415 SOS 471114 HAS SOPS 461095 HAS SOUS 92251 HAS SOUPS 91036 WITH SCORE 91507.114
AT ITER 4595 NEW BEST:: SOT 2754429 SOS 471128 HAS SOPS 461077 HAS SOUS 92183 HAS SOUPS 90968 WITH SCORE 91439.128
AT ITER 4604 NEW BEST:: SOT 2754424 SOS 471128 HAS SOPS 461077 HAS SOUS 92173 HAS SOUPS 90958 WITH SCORE 91429.128
AT ITER 4633 NEW BEST:: SOT 2754337 SOS 471041 HAS SOPS 460990 HAS SOUS 92080 HAS SOUPS 90865 WITH SCORE 91336.041
AT ITER 4637 NEW BEST:: SOT 2754259 SOS 470887 HAS SOPS 460836 HAS SOUS 91999 HAS SOUPS 90784 WITH SCORE 91254.887
AT ITER 4649 NEW BEST:: SOT 2754259 SOS 470608 HAS SOPS 460557 HAS SOUS 91999 HAS SOUPS 90784 WITH SCORE 91254.608
AT ITER 4657 NEW BEST:: SOT 2754258 SOS 470613 HAS SOPS 460562 HAS SOUS 91986 HAS SOUPS 90771 WITH SCORE 91241.613
AT ITER 4667 NEW BEST:: SOT 2754258 SOS 470553 HAS SOPS 460502 HAS SOUS 91966 HAS SOUPS 90751 WITH SCORE 91221.553
AT ITER 4668 NEW BEST:: SOT 2754254 SOS 470549 HAS SOPS 460498 HAS SOUS 91962 HAS SOUPS 90747 WITH SCORE 91217.549
AT ITER 4674 NEW BEST:: SOT 2754249 SOS 470536 HAS SOPS 460485 HAS SOUS 91935 HAS SOUPS 90720 WITH SCORE 91190.536
AT ITER 4678 NEW BEST:: SOT 2752934 SOS 471234 HAS SOPS 461183 HAS SOUS 91816 HAS SOUPS 90601 WITH SCORE 91072.234
AT ITER 4691 NEW BEST:: SOT 2752973 SOS 471849 HAS SOPS 461209 HAS SOUS 91825 HAS SOUPS 90597 WITH SCORE 91068.849
AT ITER 4692 NEW BEST:: SOT 2752966 SOS 472114 HAS SOPS 461474 HAS SOUS 91811 HAS SOUPS 90583 WITH SCORE 91055.114
AT ITER 4693 NEW BEST:: SOT 2752955 SOS 472048 HAS SOPS 461419 HAS SOUS 91811 HAS SOUPS 90583 WITH SCORE 91055.048
AT ITER 4697 NEW BEST:: SOT 2752897 SOS 471990 HAS SOPS 461385 HAS SOUS 91777 HAS SOUPS 90549 WITH SCORE 91020.99
AT ITER 4707 NEW BEST:: SOT 2752913 SOS 472002 HAS SOPS 461397 HAS SOUS 91759 HAS SOUPS 90531 WITH SCORE 91003.002
AT ITER 4712 NEW BEST:: SOT 2752913 SOS 471945 HAS SOPS 461340 HAS SOUS 91748 HAS SOUPS 90520 WITH SCORE 90991.945
AT ITER 4737 NEW BEST:: SOT 2752915 SOS 471959 HAS SOPS 461354 HAS SOUS 91740 HAS SOUPS 90512 WITH SCORE 90983.959
AT ITER 4742 NEW BEST:: SOT 2752915 SOS 471936 HAS SOPS 461308 HAS SOUS 91694 HAS SOUPS 90466 WITH SCORE 90937.936
AT ITER 4799 NEW BEST:: SOT 2752857 SOS 471878 HAS SOPS 461250 HAS SOUS 91645 HAS SOUPS 90417 WITH SCORE 90888.878
AT ITER 4803 NEW BEST:: SOT 2752770 SOS 471704 HAS SOPS 461076 HAS SOUS 91471 HAS SOUPS 90243 WITH SCORE 90714.704
AT ITER 4806 NEW BEST:: SOT 2752709 SOS 471536 HAS SOPS 460908 HAS SOUS 91364 HAS SOUPS 90136 WITH SCORE 90607.536
AT ITER 4813 NEW BEST:: SOT 2752637 SOS 471392 HAS SOPS 460764 HAS SOUS 91157 HAS SOUPS 89929 WITH SCORE 90400.392
AT ITER 4837 NEW BEST:: SOT 2752619 SOS 471374 HAS SOPS 460746 HAS SOUS 91144 HAS SOUPS 89916 WITH SCORE 90387.374
AT ITER 4846 NEW BEST:: SOT 2752258 SOS 470913 HAS SOPS 460285 HAS SOUS 91011 HAS SOUPS 89783 WITH SCORE 90253.913
AT ITER 4854 NEW BEST:: SOT 2752258 SOS 470852 HAS SOPS 460239 HAS SOUS 91001 HAS SOUPS 89773 WITH SCORE 90243.852
AT ITER 4875 NEW BEST:: SOT 2752192 SOS 470938 HAS SOPS 460325 HAS SOUS 90869 HAS SOUPS 89641 WITH SCORE 90111.938
AT ITER 4890 NEW BEST:: SOT 2752024 SOS 470742 HAS SOPS 460129 HAS SOUS 90673 HAS SOUPS 89445 WITH SCORE 89915.742
AT ITER 4906 NEW BEST:: SOT 2751987 SOS 460540 HAS SOPS 449949 HAS SOUS 90567 HAS SOUPS 89339 WITH SCORE 89799.54
AT ITER 4940 NEW BEST:: SOT 2751903 SOS 460194 HAS SOPS 449603 HAS SOUS 90399 HAS SOUPS 89171 WITH SCORE 89631.194
AT ITER 4948 NEW BEST:: SOT 2751888 SOS 460179 HAS SOPS 449588 HAS SOUS 90396 HAS SOUPS 89168 WITH SCORE 89628.179
AT ITER 4953 NEW BEST:: SOT 2751887 SOS 460168 HAS SOPS 449578 HAS SOUS 90396 HAS SOUPS 89168 WITH SCORE 89628.168
AT ITER 4954 NEW BEST:: SOT 2751834 SOS 460100 HAS SOPS 449510 HAS SOUS 90351 HAS SOUPS 89123 WITH SCORE 89583.1
AT ITER 4955 NEW BEST:: SOT 2751765 SOS 459962 HAS SOPS 449372 HAS SOUS 90259 HAS SOUPS 89031 WITH SCORE 89490.962
AT ITER 4974 NEW BEST:: SOT 2751807 SOS 460004 HAS SOPS 449432 HAS SOUS 90253 HAS SOUPS 89025 WITH SCORE 89485.004
AT ITER 4982 NEW BEST:: SOT 2751807 SOS 459893 HAS SOPS 449321 HAS SOUS 90253 HAS SOUPS 89025 WITH SCORE 89484.893
AT ITER 5009 NEW BEST:: SOT 2751764 SOS 459559 HAS SOPS 448987 HAS SOUS 90167 HAS SOUPS 88939 WITH SCORE 89398.559
AT ITER 5029 NEW BEST:: SOT 2751772 SOS 459571 HAS SOPS 448999 HAS SOUS 90083 HAS SOUPS 88855 WITH SCORE 89314.571
AT ITER 5043 NEW BEST:: SOT 2751703 SOS 459709 HAS SOPS 449137 HAS SOUS 89945 HAS SOUPS 88717 WITH SCORE 89176.709
AT ITER 5062 NEW BEST:: SOT 2751554 SOS 459347 HAS SOPS 448913 HAS SOUS 89886 HAS SOUPS 88659 WITH SCORE 89118.347
AT ITER 5077 NEW BEST:: SOT 2751458 SOS 459245 HAS SOPS 448811 HAS SOUS 89784 HAS SOUPS 88557 WITH SCORE 89016.245
AT ITER 5078 NEW BEST:: SOT 2751392 SOS 459146 HAS SOPS 448712 HAS SOUS 89718 HAS SOUPS 88491 WITH SCORE 88950.146
AT ITER 5117 NEW BEST:: SOT 2751373 SOS 459426 HAS SOPS 448992 HAS SOUS 89680 HAS SOUPS 88453 WITH SCORE 88912.426
AT ITER 5127 NEW BEST:: SOT 2751343 SOS 459283 HAS SOPS 448894 HAS SOUS 89680 HAS SOUPS 88453 WITH SCORE 88912.283
AT ITER 5159 NEW BEST:: SOT 2751354 SOS 459328 HAS SOPS 448939 HAS SOUS 89587 HAS SOUPS 88360 WITH SCORE 88819.328
AT ITER 5163 NEW BEST:: SOT 2751349 SOS 459362 HAS SOPS 448940 HAS SOUS 89571 HAS SOUPS 88344 WITH SCORE 88803.362
AT ITER 5186 NEW BEST:: SOT 2751336 SOS 459355 HAS SOPS 448927 HAS SOUS 89558 HAS SOUPS 88331 WITH SCORE 88790.355
AT ITER 5200 NEW BEST:: SOT 2751299 SOS 459453 HAS SOPS 449025 HAS SOUS 89384 HAS SOUPS 88157 WITH SCORE 88616.453
AT ITER 5221 NEW BEST:: SOT 2751255 SOS 459412 HAS SOPS 448984 HAS SOUS 89365 HAS SOUPS 88138 WITH SCORE 88597.412
AT ITER 5252 NEW BEST:: SOT 2751287 SOS 459144 HAS SOPS 448716 HAS SOUS 89365 HAS SOUPS 88138 WITH SCORE 88597.144
AT ITER 5270 NEW BEST:: SOT 2751278 SOS 459216 HAS SOPS 448788 HAS SOUS 89347 HAS SOUPS 88120 WITH SCORE 88579.216
AT ITER 5273 NEW BEST:: SOT 2751294 SOS 459288 HAS SOPS 448860 HAS SOUS 89343 HAS SOUPS 88116 WITH SCORE 88575.288
AT ITER 5277 NEW BEST:: SOT 2751286 SOS 459124 HAS SOPS 448696 HAS SOUS 89301 HAS SOUPS 88074 WITH SCORE 88533.124
AT ITER 5317 NEW BEST:: SOT 2751279 SOS 459100 HAS SOPS 448672 HAS SOUS 89292 HAS SOUPS 88065 WITH SCORE 88524.1
AT ITER 5331 NEW BEST:: SOT 2751206 SOS 459209 HAS SOPS 448573 HAS SOUS 89208 HAS SOUPS 87955 WITH SCORE 88414.209
AT ITER 5341 NEW BEST:: SOT 2751204 SOS 459203 HAS SOPS 448567 HAS SOUS 89204 HAS SOUPS 87951 WITH SCORE 88410.203
AT ITER 5367 NEW BEST:: SOT 2751193 SOS 459137 HAS SOPS 448501 HAS SOUS 89182 HAS SOUPS 87929 WITH SCORE 88388.137
AT ITER 5370 NEW BEST:: SOT 2751196 SOS 459224 HAS SOPS 448548 HAS SOUS 89197 HAS SOUPS 87923 WITH SCORE 88382.224
AT ITER 5409 NEW BEST:: SOT 2751158 SOS 459167 HAS SOPS 448491 HAS SOUS 89121 HAS SOUPS 87847 WITH SCORE 88306.167
AT ITER 5419 NEW BEST:: SOT 2751134 SOS 459000 HAS SOPS 448324 HAS SOUS 89072 HAS SOUPS 87798 WITH SCORE 88257.0
AT ITER 5428 NEW BEST:: SOT 2751063 SOS 459000 HAS SOPS 448324 HAS SOUS 88954 HAS SOUPS 87680 WITH SCORE 88139.0
AT ITER 5433 NEW BEST:: SOT 2751038 SOS 458990 HAS SOPS 448314 HAS SOUS 88763 HAS SOUPS 87489 WITH SCORE 87947.99
AT ITER 5435 NEW BEST:: SOT 2750936 SOS 458888 HAS SOPS 448212 HAS SOUS 88593 HAS SOUPS 87319 WITH SCORE 87777.888
AT ITER 5442 NEW BEST:: SOT 2750888 SOS 458552 HAS SOPS 447876 HAS SOUS 88449 HAS SOUPS 87175 WITH SCORE 87633.552
AT ITER 5445 NEW BEST:: SOT 2750804 SOS 459175 HAS SOPS 448499 HAS SOUS 88395 HAS SOUPS 87121 WITH SCORE 87580.175
AT ITER 5479 NEW BEST:: SOT 2750804 SOS 459188 HAS SOPS 448499 HAS SOUS 88382 HAS SOUPS 87108 WITH SCORE 87567.188
AT ITER 5500 NEW BEST:: SOT 2750804 SOS 459009 HAS SOPS 448320 HAS SOUS 88382 HAS SOUPS 87108 WITH SCORE 87567.009
AT ITER 5526 NEW BEST:: SOT 2750804 SOS 458963 HAS SOPS 448274 HAS SOUS 88344 HAS SOUPS 87070 WITH SCORE 87528.963
AT ITER 5528 NEW BEST:: SOT 2750780 SOS 458597 HAS SOPS 447908 HAS SOUS 88274 HAS SOUPS 87000 WITH SCORE 87458.597
AT ITER 5565 NEW BEST:: SOT 2750556 SOS 458327 HAS SOPS 447638 HAS SOUS 88217 HAS SOUPS 86943 WITH SCORE 87401.327
AT ITER 5577 NEW BEST:: SOT 2750533 SOS 458104 HAS SOPS 447415 HAS SOUS 88185 HAS SOUPS 86911 WITH SCORE 87369.104
AT ITER 5578 NEW BEST:: SOT 2750533 SOS 458096 HAS SOPS 447407 HAS SOUS 88185 HAS SOUPS 86911 WITH SCORE 87369.096
AT ITER 5588 NEW BEST:: SOT 2750481 SOS 457948 HAS SOPS 447259 HAS SOUS 88073 HAS SOUPS 86799 WITH SCORE 87256.948
AT ITER 5589 NEW BEST:: SOT 2750392 SOS 457472 HAS SOPS 446783 HAS SOUS 87889 HAS SOUPS 86615 WITH SCORE 87072.472
AT ITER 5591 NEW BEST:: SOT 2750262 SOS 457106 HAS SOPS 446417 HAS SOUS 87747 HAS SOUPS 86473 WITH SCORE 86930.106
AT ITER 5604 NEW BEST:: SOT 2750235 SOS 457061 HAS SOPS 446372 HAS SOUS 87702 HAS SOUPS 86428 WITH SCORE 86885.061
AT ITER 5610 NEW BEST:: SOT 2750213 SOS 457032 HAS SOPS 446335 HAS SOUS 87658 HAS SOUPS 86384 WITH SCORE 86841.032
AT ITER 5611 NEW BEST:: SOT 2750207 SOS 457008 HAS SOPS 446311 HAS SOUS 87646 HAS SOUPS 86372 WITH SCORE 86829.008
AT ITER 5628 NEW BEST:: SOT 2749918 SOS 456671 HAS SOPS 445974 HAS SOUS 87526 HAS SOUPS 86252 WITH SCORE 86708.671
AT ITER 5643 NEW BEST:: SOT 2749883 SOS 456157 HAS SOPS 445460 HAS SOUS 87474 HAS SOUPS 86200 WITH SCORE 86656.157
AT ITER 5667 NEW BEST:: SOT 2749839 SOS 456072 HAS SOPS 445417 HAS SOUS 87462 HAS SOUPS 86188 WITH SCORE 86644.072
AT ITER 5675 NEW BEST:: SOT 2749839 SOS 456072 HAS SOPS 445417 HAS SOUS 87438 HAS SOUPS 86164 WITH SCORE 86620.072
AT ITER 5703 NEW BEST:: SOT 2749751 SOS 455984 HAS SOPS 445329 HAS SOUS 87262 HAS SOUPS 85988 WITH SCORE 86443.984
AT ITER 5704 NEW BEST:: SOT 2749751 SOS 455810 HAS SOPS 445155 HAS SOUS 87204 HAS SOUPS 85930 WITH SCORE 86385.81
AT ITER 5706 NEW BEST:: SOT 2749691 SOS 455882 HAS SOPS 445227 HAS SOUS 87071 HAS SOUPS 85797 WITH SCORE 86252.882
AT ITER 5713 NEW BEST:: SOT 2749679 SOS 455870 HAS SOPS 445191 HAS SOUS 87065 HAS SOUPS 85791 WITH SCORE 86246.87
AT ITER 5716 NEW BEST:: SOT 2749663 SOS 455918 HAS SOPS 445239 HAS SOUS 87049 HAS SOUPS 85775 WITH SCORE 86230.918
AT ITER 5731 NEW BEST:: SOT 2749639 SOS 455876 HAS SOPS 445197 HAS SOUS 87031 HAS SOUPS 85757 WITH SCORE 86212.876
AT ITER 5754 NEW BEST:: SOT 2749518 SOS 455725 HAS SOPS 445046 HAS SOUS 87016 HAS SOUPS 85742 WITH SCORE 86197.725
AT ITER 5791 NEW BEST:: SOT 2749593 SOS 455741 HAS SOPS 445193 HAS SOUS 86952 HAS SOUPS 85678 WITH SCORE 86133.741
AT ITER 5813 NEW BEST:: SOT 2751663 SOS 457811 HAS SOPS 447263 HAS SOUS 86365 HAS SOUPS 85091 WITH SCORE 85548.811
AT ITER 5833 NEW BEST:: SOT 2751584 SOS 457739 HAS SOPS 447220 HAS SOUS 86268 HAS SOUPS 84994 WITH SCORE 85451.739
AT ITER 5841 NEW BEST:: SOT 2751519 SOS 457674 HAS SOPS 447155 HAS SOUS 86212 HAS SOUPS 84938 WITH SCORE 85395.674
AT ITER 5863 NEW BEST:: SOT 2751458 SOS 457525 HAS SOPS 447028 HAS SOUS 86129 HAS SOUPS 84855 WITH SCORE 85312.525
AT ITER 5867 NEW BEST:: SOT 2751444 SOS 457511 HAS SOPS 447014 HAS SOUS 86115 HAS SOUPS 84841 WITH SCORE 85298.511
AT ITER 5903 NEW BEST:: SOT 2751406 SOS 457473 HAS SOPS 446976 HAS SOUS 86056 HAS SOUPS 84782 WITH SCORE 85239.473
AT ITER 5928 NEW BEST:: SOT 2751393 SOS 457316 HAS SOPS 446819 HAS SOUS 86021 HAS SOUPS 84747 WITH SCORE 85204.316
AT ITER 5931 NEW BEST:: SOT 2751343 SOS 457590 HAS SOPS 446977 HAS SOUS 85921 HAS SOUPS 84647 WITH SCORE 85104.59
AT ITER 5960 NEW BEST:: SOT 2751343 SOS 457561 HAS SOPS 446948 HAS SOUS 85918 HAS SOUPS 84644 WITH SCORE 85101.561
AT ITER 5973 NEW BEST:: SOT 2751348 SOS 457605 HAS SOPS 446992 HAS SOUS 85889 HAS SOUPS 84615 WITH SCORE 85072.605
AT ITER 6017 NEW BEST:: SOT 2751342 SOS 457615 HAS SOPS 446988 HAS SOUS 85867 HAS SOUPS 84593 WITH SCORE 85050.615
AT ITER 6024 NEW BEST:: SOT 2751258 SOS 457517 HAS SOPS 446890 HAS SOUS 85769 HAS SOUPS 84495 WITH SCORE 84952.517
AT ITER 6054 NEW BEST:: SOT 2751266 SOS 457446 HAS SOPS 446819 HAS SOUS 85711 HAS SOUPS 84437 WITH SCORE 84894.446
AT ITER 6067 NEW BEST:: SOT 2751250 SOS 457422 HAS SOPS 446795 HAS SOUS 85687 HAS SOUPS 84413 WITH SCORE 84870.422
AT ITER 6072 NEW BEST:: SOT 2751208 SOS 457380 HAS SOPS 446753 HAS SOUS 85645 HAS SOUPS 84371 WITH SCORE 84828.38
AT ITER 6101 NEW BEST:: SOT 2751142 SOS 457314 HAS SOPS 446687 HAS SOUS 85596 HAS SOUPS 84322 WITH SCORE 84779.314
AT ITER 6102 NEW BEST:: SOT 2751094 SOS 457122 HAS SOPS 446495 HAS SOUS 85500 HAS SOUPS 84226 WITH SCORE 84683.122
AT ITER 6142 NEW BEST:: SOT 2751107 SOS 475858 HAS SOPS 465231 HAS SOUS 85443 HAS SOUPS 84169 WITH SCORE 84644.858
AT ITER 6171 NEW BEST:: SOT 2751079 SOS 476017 HAS SOPS 465269 HAS SOUS 85307 HAS SOUPS 84033 WITH SCORE 84509.017
AT ITER 6174 NEW BEST:: SOT 2751039 SOS 475977 HAS SOPS 465229 HAS SOUS 85254 HAS SOUPS 83980 WITH SCORE 84455.977
AT ITER 6177 NEW BEST:: SOT 2750961 SOS 476094 HAS SOPS 465339 HAS SOUS 85227 HAS SOUPS 83946 WITH SCORE 84422.094
AT ITER 6178 NEW BEST:: SOT 2750969 SOS 476146 HAS SOPS 465391 HAS SOUS 85102 HAS SOUPS 83821 WITH SCORE 84297.146
AT ITER 6203 NEW BEST:: SOT 2750570 SOS 475713 HAS SOPS 464958 HAS SOUS 84909 HAS SOUPS 83628 WITH SCORE 84103.713
AT ITER 6247 NEW BEST:: SOT 2748129 SOS 473272 HAS SOPS 462517 HAS SOUS 84615 HAS SOUPS 83334 WITH SCORE 83807.272
AT ITER 6248 NEW BEST:: SOT 2748129 SOS 473263 HAS SOPS 462508 HAS SOUS 84612 HAS SOUPS 83331 WITH SCORE 83804.263
AT ITER 6260 NEW BEST:: SOT 2748333 SOS 473550 HAS SOPS 462795 HAS SOUS 84605 HAS SOUPS 83324 WITH SCORE 83797.55
AT ITER 6269 NEW BEST:: SOT 2748186 SOS 473270 HAS SOPS 462600 HAS SOUS 84515 HAS SOUPS 83234 WITH SCORE 83707.27
AT ITER 6276 NEW BEST:: SOT 2748166 SOS 473250 HAS SOPS 462580 HAS SOUS 84504 HAS SOUPS 83223 WITH SCORE 83696.25
AT ITER 6281 NEW BEST:: SOT 2748159 SOS 473236 HAS SOPS 462566 HAS SOUS 84490 HAS SOUPS 83209 WITH SCORE 83682.236
AT ITER 6298 NEW BEST:: SOT 2748137 SOS 463666 HAS SOPS 452996 HAS SOUS 84446 HAS SOUPS 83165 WITH SCORE 83628.666
AT ITER 6308 NEW BEST:: SOT 2748137 SOS 463394 HAS SOPS 452724 HAS SOUS 84384 HAS SOUPS 83103 WITH SCORE 83566.394
AT ITER 6318 NEW BEST:: SOT 2748124 SOS 463381 HAS SOPS 452711 HAS SOUS 84371 HAS SOUPS 83090 WITH SCORE 83553.381
AT ITER 6319 NEW BEST:: SOT 2748124 SOS 463369 HAS SOPS 452707 HAS SOUS 84354 HAS SOUPS 83073 WITH SCORE 83536.369
AT ITER 6353 NEW BEST:: SOT 2748068 SOS 463350 HAS SOPS 452688 HAS SOUS 84314 HAS SOUPS 83033 WITH SCORE 83496.35
AT ITER 6396 NEW BEST:: SOT 2748068 SOS 463348 HAS SOPS 452686 HAS SOUS 84305 HAS SOUPS 83024 WITH SCORE 83487.348
AT ITER 6401 NEW BEST:: SOT 2748064 SOS 463344 HAS SOPS 452682 HAS SOUS 84301 HAS SOUPS 83020 WITH SCORE 83483.344
AT ITER 6423 NEW BEST:: SOT 2747989 SOS 463190 HAS SOPS 452528 HAS SOUS 84163 HAS SOUPS 82882 WITH SCORE 83345.19
AT ITER 6455 NEW BEST:: SOT 2747946 SOS 463061 HAS SOPS 452394 HAS SOUS 84105 HAS SOUPS 82824 WITH SCORE 83287.061
AT ITER 6459 NEW BEST:: SOT 2747946 SOS 463078 HAS SOPS 452411 HAS SOUS 84084 HAS SOUPS 82803 WITH SCORE 83266.078
AT ITER 6505 NEW BEST:: SOT 2747886 SOS 459940 HAS SOPS 452042 HAS SOUS 83943 HAS SOUPS 82724 WITH SCORE 83183.94
AT ITER 6517 NEW BEST:: SOT 2747875 SOS 459929 HAS SOPS 452031 HAS SOUS 83877 HAS SOUPS 82658 WITH SCORE 83117.929
AT ITER 6535 NEW BEST:: SOT 2747881 SOS 459915 HAS SOPS 452017 HAS SOUS 83849 HAS SOUPS 82630 WITH SCORE 83089.915
AT ITER 6561 NEW BEST:: SOT 2747854 SOS 459884 HAS SOPS 451986 HAS SOUS 83783 HAS SOUPS 82564 WITH SCORE 83023.884
AT ITER 6580 NEW BEST:: SOT 2747854 SOS 459891 HAS SOPS 451993 HAS SOUS 83748 HAS SOUPS 82529 WITH SCORE 82988.891
AT ITER 6584 NEW BEST:: SOT 2747765 SOS 459802 HAS SOPS 451855 HAS SOUS 83694 HAS SOUPS 82475 WITH SCORE 82934.802
AT ITER 6593 NEW BEST:: SOT 2747752 SOS 459732 HAS SOPS 451773 HAS SOUS 83656 HAS SOUPS 82437 WITH SCORE 82896.732
AT ITER 6598 NEW BEST:: SOT 2747705 SOS 459670 HAS SOPS 451681 HAS SOUS 83579 HAS SOUPS 82360 WITH SCORE 82819.67
AT ITER 6602 NEW BEST:: SOT 2747701 SOS 459666 HAS SOPS 451687 HAS SOUS 83576 HAS SOUPS 82357 WITH SCORE 82816.666
AT ITER 6618 NEW BEST:: SOT 2747428 SOS 459393 HAS SOPS 451414 HAS SOUS 83471 HAS SOUPS 82252 WITH SCORE 82711.393
AT ITER 6626 NEW BEST:: SOT 2747418 SOS 459363 HAS SOPS 451384 HAS SOUS 83448 HAS SOUPS 82229 WITH SCORE 82688.363
AT ITER 6658 NEW BEST:: SOT 2747416 SOS 459361 HAS SOPS 451382 HAS SOUS 83442 HAS SOUPS 82223 WITH SCORE 82682.361
AT ITER 6686 NEW BEST:: SOT 2747307 SOS 459240 HAS SOPS 451293 HAS SOUS 83314 HAS SOUPS 82112 WITH SCORE 82571.24
AT ITER 6696 NEW BEST:: SOT 2747278 SOS 459256 HAS SOPS 451309 HAS SOUS 83225 HAS SOUPS 82023 WITH SCORE 82482.256
AT ITER 6721 NEW BEST:: SOT 2747273 SOS 459226 HAS SOPS 451284 HAS SOUS 83225 HAS SOUPS 82023 WITH SCORE 82482.226
AT ITER 6729 NEW BEST:: SOT 2747266 SOS 459212 HAS SOPS 451270 HAS SOUS 83211 HAS SOUPS 82009 WITH SCORE 82468.212
AT ITER 6778 NEW BEST:: SOT 2747028 SOS 458921 HAS SOPS 450979 HAS SOUS 82998 HAS SOUPS 81796 WITH SCORE 82254.921
AT ITER 6782 NEW BEST:: SOT 2747028 SOS 458888 HAS SOPS 450946 HAS SOUS 82987 HAS SOUPS 81785 WITH SCORE 82243.888
AT ITER 6792 NEW BEST:: SOT 2747027 SOS 458021 HAS SOPS 450079 HAS SOUS 82985 HAS SOUPS 81783 WITH SCORE 82241.021
AT ITER 6798 NEW BEST:: SOT 2747009 SOS 457991 HAS SOPS 450055 HAS SOUS 82964 HAS SOUPS 81765 WITH SCORE 82222.991
AT ITER 6806 NEW BEST:: SOT 2746981 SOS 457855 HAS SOPS 449919 HAS SOUS 82932 HAS SOUPS 81733 WITH SCORE 82190.855
AT ITER 6814 NEW BEST:: SOT 2746981 SOS 457875 HAS SOPS 449939 HAS SOUS 82926 HAS SOUPS 81727 WITH SCORE 82184.875
AT ITER 6819 NEW BEST:: SOT 2746965 SOS 457835 HAS SOPS 449899 HAS SOUS 82894 HAS SOUPS 81695 WITH SCORE 82152.835
AT ITER 6871 NEW BEST:: SOT 2746873 SOS 457828 HAS SOPS 449875 HAS SOUS 82887 HAS SOUPS 81671 WITH SCORE 82128.828
AT ITER 6876 NEW BEST:: SOT 2746870 SOS 457822 HAS SOPS 449872 HAS SOUS 82887 HAS SOUPS 81671 WITH SCORE 82128.822
AT ITER 6890 NEW BEST:: SOT 2746821 SOS 457797 HAS SOPS 449847 HAS SOUS 82832 HAS SOUPS 81616 WITH SCORE 82073.797
AT ITER 6906 NEW BEST:: SOT 2746821 SOS 457641 HAS SOPS 449691 HAS SOUS 82792 HAS SOUPS 81576 WITH SCORE 82033.641
AT ITER 6909 NEW BEST:: SOT 2746793 SOS 457557 HAS SOPS 449607 HAS SOUS 82736 HAS SOUPS 81520 WITH SCORE 81977.557
AT ITER 7040 NEW BEST:: SOT 2746764 SOS 457453 HAS SOPS 449503 HAS SOUS 82682 HAS SOUPS 81466 WITH SCORE 81923.453
AT ITER 7046 NEW BEST:: SOT 2746755 SOS 457462 HAS SOPS 449503 HAS SOUS 82673 HAS SOUPS 81448 WITH SCORE 81905.462
AT ITER 7100 NEW BEST:: SOT 2746699 SOS 457364 HAS SOPS 449405 HAS SOUS 82530 HAS SOUPS 81305 WITH SCORE 81762.364
AT ITER 7125 NEW BEST:: SOT 2746711 SOS 457397 HAS SOPS 449438 HAS SOUS 82519 HAS SOUPS 81294 WITH SCORE 81751.397
AT ITER 7131 NEW BEST:: SOT 2746710 SOS 457396 HAS SOPS 449424 HAS SOUS 82517 HAS SOUPS 81292 WITH SCORE 81749.396
AT ITER 7202 NEW BEST:: SOT 2746712 SOS 457336 HAS SOPS 449364 HAS SOUS 82499 HAS SOUPS 81274 WITH SCORE 81731.336
AT ITER 7226 NEW BEST:: SOT 2746705 SOS 457322 HAS SOPS 449350 HAS SOUS 82485 HAS SOUPS 81260 WITH SCORE 81717.322
AT ITER 7236 NEW BEST:: SOT 2746706 SOS 457336 HAS SOPS 449364 HAS SOUS 82427 HAS SOUPS 81202 WITH SCORE 81659.336
AT ITER 7248 NEW BEST:: SOT 2746728 SOS 457358 HAS SOPS 449386 HAS SOUS 82422 HAS SOUPS 81197 WITH SCORE 81654.358
AT ITER 7253 NEW BEST:: SOT 2746725 SOS 457317 HAS SOPS 449307 HAS SOUS 82378 HAS SOUPS 81153 WITH SCORE 81610.317
AT ITER 7255 NEW BEST:: SOT 2746725 SOS 457317 HAS SOPS 449307 HAS SOUS 82356 HAS SOUPS 81131 WITH SCORE 81588.317
AT ITER 7268 NEW BEST:: SOT 2746677 SOS 457096 HAS SOPS 449086 HAS SOUS 82257 HAS SOUPS 81032 WITH SCORE 81489.096
AT ITER 7275 NEW BEST:: SOT 2746677 SOS 457138 HAS SOPS 449128 HAS SOUS 82238 HAS SOUPS 81013 WITH SCORE 81470.138
AT ITER 7297 NEW BEST:: SOT 2746668 SOS 457039 HAS SOPS 449029 HAS SOUS 82220 HAS SOUPS 80995 WITH SCORE 81452.039
AT ITER 7299 NEW BEST:: SOT 2746656 SOS 457227 HAS SOPS 449217 HAS SOUS 82218 HAS SOUPS 80993 WITH SCORE 81450.227
AT ITER 7336 NEW BEST:: SOT 2746568 SOS 457183 HAS SOPS 449173 HAS SOUS 82177 HAS SOUPS 80952 WITH SCORE 81409.183
AT ITER 7343 NEW BEST:: SOT 2746529 SOS 457013 HAS SOPS 449003 HAS SOUS 82068 HAS SOUPS 80843 WITH SCORE 81300.013
AT ITER 7396 NEW BEST:: SOT 2746528 SOS 457012 HAS SOPS 449002 HAS SOUS 82067 HAS SOUPS 80842 WITH SCORE 81299.012
AT ITER 7398 NEW BEST:: SOT 2746526 SOS 457000 HAS SOPS 448990 HAS SOUS 82065 HAS SOUPS 80840 WITH SCORE 81297.0
AT ITER 7400 NEW BEST:: SOT 2746551 SOS 457039 HAS SOPS 449033 HAS SOUS 82061 HAS SOUPS 80836 WITH SCORE 81293.039
AT ITER 7403 NEW BEST:: SOT 2746551 SOS 457039 HAS SOPS 449033 HAS SOUS 82059 HAS SOUPS 80834 WITH SCORE 81291.039
AT ITER 7423 NEW BEST:: SOT 2746374 SOS 456988 HAS SOPS 448960 HAS SOUS 81930 HAS SOUPS 80705 WITH SCORE 81161.988
AT ITER 7424 NEW BEST:: SOT 2746392 SOS 457021 HAS SOPS 448993 HAS SOUS 81928 HAS SOUPS 80703 WITH SCORE 81160.021
AT ITER 7452 NEW BEST:: SOT 2746378 SOS 457007 HAS SOPS 448993 HAS SOUS 81928 HAS SOUPS 80703 WITH SCORE 81160.007
AT ITER 7453 NEW BEST:: SOT 2746390 SOS 457057 HAS SOPS 449043 HAS SOUS 81920 HAS SOUPS 80695 WITH SCORE 81152.057
AT ITER 7473 NEW BEST:: SOT 2746327 SOS 457112 HAS SOPS 449098 HAS SOUS 81794 HAS SOUPS 80569 WITH SCORE 81026.112
AT ITER 7485 NEW BEST:: SOT 2746308 SOS 457095 HAS SOPS 449081 HAS SOUS 81761 HAS SOUPS 80536 WITH SCORE 80993.095
AT ITER 7490 NEW BEST:: SOT 2746313 SOS 457086 HAS SOPS 449072 HAS SOUS 81753 HAS SOUPS 80528 WITH SCORE 80985.086
AT ITER 7500 NEW BEST:: SOT 2746268 SOS 456951 HAS SOPS 448937 HAS SOUS 81660 HAS SOUPS 80435 WITH SCORE 80891.951
AT ITER 7510 NEW BEST:: SOT 2746211 SOS 456822 HAS SOPS 448808 HAS SOUS 81618 HAS SOUPS 80393 WITH SCORE 80849.822
AT ITER 7547 NEW BEST:: SOT 2746211 SOS 445580 HAS SOPS 437566 HAS SOUS 81618 HAS SOUPS 80393 WITH SCORE 80838.58
AT ITER 7563 NEW BEST:: SOT 2746083 SOS 445420 HAS SOPS 437406 HAS SOUS 81458 HAS SOUPS 80233 WITH SCORE 80678.42
AT ITER 7568 NEW BEST:: SOT 2746063 SOS 445400 HAS SOPS 437386 HAS SOUS 81439 HAS SOUPS 80214 WITH SCORE 80659.4
AT ITER 7632 NEW BEST:: SOT 2746063 SOS 445388 HAS SOPS 437374 HAS SOUS 81439 HAS SOUPS 80214 WITH SCORE 80659.388
AT ITER 7654 NEW BEST:: SOT 2746048 SOS 445366 HAS SOPS 437352 HAS SOUS 81417 HAS SOUPS 80192 WITH SCORE 80637.366
AT ITER 7680 NEW BEST:: SOT 2745961 SOS 445255 HAS SOPS 437241 HAS SOUS 81355 HAS SOUPS 80130 WITH SCORE 80575.255
AT ITER 7681 NEW BEST:: SOT 2745885 SOS 445103 HAS SOPS 437089 HAS SOUS 81203 HAS SOUPS 79978 WITH SCORE 80423.103
AT ITER 7693 NEW BEST:: SOT 2745899 SOS 444717 HAS SOPS 435589 HAS SOUS 81070 HAS SOUPS 79894 WITH SCORE 80338.717
AT ITER 7697 NEW BEST:: SOT 2745897 SOS 444715 HAS SOPS 435587 HAS SOUS 81068 HAS SOUPS 79892 WITH SCORE 80336.715
AT ITER 7735 NEW BEST:: SOT 2745885 SOS 444685 HAS SOPS 435557 HAS SOUS 81061 HAS SOUPS 79885 WITH SCORE 80329.685
AT ITER 7746 NEW BEST:: SOT 2745869 SOS 444653 HAS SOPS 435541 HAS SOUS 81029 HAS SOUPS 79869 WITH SCORE 80313.653
AT ITER 7757 NEW BEST:: SOT 2745813 SOS 444453 HAS SOPS 435341 HAS SOUS 80935 HAS SOUPS 79775 WITH SCORE 80219.453
AT ITER 7773 NEW BEST:: SOT 2745805 SOS 444441 HAS SOPS 435329 HAS SOUS 80927 HAS SOUPS 79767 WITH SCORE 80211.441
AT ITER 7799 NEW BEST:: SOT 2745789 SOS 444320 HAS SOPS 435208 HAS SOUS 80890 HAS SOUPS 79730 WITH SCORE 80174.32
AT ITER 7806 NEW BEST:: SOT 2745769 SOS 444300 HAS SOPS 435214 HAS SOUS 80853 HAS SOUPS 79693 WITH SCORE 80137.3
AT ITER 7809 NEW BEST:: SOT 2745769 SOS 444284 HAS SOPS 435198 HAS SOUS 80853 HAS SOUPS 79693 WITH SCORE 80137.284
AT ITER 7825 NEW BEST:: SOT 2745645 SOS 444058 HAS SOPS 434972 HAS SOUS 80607 HAS SOUPS 79447 WITH SCORE 79891.058
AT ITER 7839 NEW BEST:: SOT 2745645 SOS 444013 HAS SOPS 434927 HAS SOUS 80537 HAS SOUPS 79377 WITH SCORE 79821.013
AT ITER 7849 NEW BEST:: SOT 2745670 SOS 443935 HAS SOPS 434849 HAS SOUS 80529 HAS SOUPS 79369 WITH SCORE 79812.935
AT ITER 7902 NEW BEST:: SOT 2745605 SOS 443870 HAS SOPS 434784 HAS SOUS 80504 HAS SOUPS 79344 WITH SCORE 79787.87
AT ITER 7944 NEW BEST:: SOT 2745597 SOS 443858 HAS SOPS 434772 HAS SOUS 80492 HAS SOUPS 79332 WITH SCORE 79775.858
AT ITER 7961 NEW BEST:: SOT 2745586 SOS 443858 HAS SOPS 434772 HAS SOUS 80483 HAS SOUPS 79323 WITH SCORE 79766.858
AT ITER 7967 NEW BEST:: SOT 2745390 SOS 443659 HAS SOPS 434573 HAS SOUS 80464 HAS SOUPS 79304 WITH SCORE 79747.659
AT ITER 7969 NEW BEST:: SOT 2745394 SOS 443663 HAS SOPS 434535 HAS SOUS 80388 HAS SOUPS 79228 WITH SCORE 79671.663
AT ITER 7985 NEW BEST:: SOT 2745261 SOS 443251 HAS SOPS 434123 HAS SOUS 80041 HAS SOUPS 78881 WITH SCORE 79324.251
AT ITER 7987 NEW BEST:: SOT 2745271 SOS 443285 HAS SOPS 434157 HAS SOUS 80037 HAS SOUPS 78877 WITH SCORE 79320.285
AT ITER 7999 NEW BEST:: SOT 2745331 SOS 443434 HAS SOPS 434306 HAS SOUS 80025 HAS SOUPS 78865 WITH SCORE 79308.434
AT ITER 8023 NEW BEST:: SOT 2745317 SOS 443413 HAS SOPS 434292 HAS SOUS 80011 HAS SOUPS 78851 WITH SCORE 79294.413
AT ITER 8034 NEW BEST:: SOT 2745315 SOS 443418 HAS SOPS 434297 HAS SOUS 80009 HAS SOUPS 78849 WITH SCORE 79292.418
AT ITER 8038 NEW BEST:: SOT 2745303 SOS 443389 HAS SOPS 434268 HAS SOUS 80000 HAS SOUPS 78840 WITH SCORE 79283.389
AT ITER 8052 NEW BEST:: SOT 2745303 SOS 443474 HAS SOPS 434311 HAS SOUS 79959 HAS SOUPS 78799 WITH SCORE 79242.474
AT ITER 8184 NEW BEST:: SOT 2745243 SOS 442499 HAS SOPS 434261 HAS SOUS 79903 HAS SOUPS 78757 WITH SCORE 79199.499
AT ITER 8243 NEW BEST:: SOT 2745243 SOS 442502 HAS SOPS 434264 HAS SOUS 79891 HAS SOUPS 78745 WITH SCORE 79187.502
AT ITER 8253 NEW BEST:: SOT 2745199 SOS 442458 HAS SOPS 434242 HAS SOUS 79858 HAS SOUPS 78723 WITH SCORE 79165.458
AT ITER 8257 NEW BEST:: SOT 2745199 SOS 442546 HAS SOPS 434274 HAS SOUS 79866 HAS SOUPS 78717 WITH SCORE 79159.546
AT ITER 8280 NEW BEST:: SOT 2745690 SOS 443037 HAS SOPS 434765 HAS SOUS 79674 HAS SOUPS 78525 WITH SCORE 78968.037
AT ITER 8313 NEW BEST:: SOT 2745669 SOS 442899 HAS SOPS 434627 HAS SOUS 79669 HAS SOUPS 78520 WITH SCORE 78962.899
AT ITER 8330 NEW BEST:: SOT 2745668 SOS 442897 HAS SOPS 434625 HAS SOUS 79667 HAS SOUPS 78518 WITH SCORE 78960.897
AT ITER 8335 NEW BEST:: SOT 2745606 SOS 443031 HAS SOPS 434759 HAS SOUS 79612 HAS SOUPS 78463 WITH SCORE 78906.031
AT ITER 8337 NEW BEST:: SOT 2745466 SOS 442873 HAS SOPS 434601 HAS SOUS 79511 HAS SOUPS 78362 WITH SCORE 78804.873
AT ITER 8372 NEW BEST:: SOT 2745395 SOS 442838 HAS SOPS 434568 HAS SOUS 79500 HAS SOUPS 78351 WITH SCORE 78793.838
AT ITER 8373 NEW BEST:: SOT 2745411 SOS 442623 HAS SOPS 434375 HAS SOUS 79484 HAS SOUPS 78351 WITH SCORE 78793.623
AT ITER 8396 NEW BEST:: SOT 2745412 SOS 442627 HAS SOPS 434379 HAS SOUS 79477 HAS SOUPS 78344 WITH SCORE 78786.627
AT ITER 8467 NEW BEST:: SOT 2745270 SOS 442443 HAS SOPS 434169 HAS SOUS 79356 HAS SOUPS 78223 WITH SCORE 78665.443
AT ITER 8475 NEW BEST:: SOT 2745258 SOS 442425 HAS SOPS 434151 HAS SOUS 79344 HAS SOUPS 78211 WITH SCORE 78653.425
AT ITER 8511 NEW BEST:: SOT 2745250 SOS 442417 HAS SOPS 434143 HAS SOUS 79336 HAS SOUPS 78203 WITH SCORE 78645.417
AT ITER 8525 NEW BEST:: SOT 2745221 SOS 442384 HAS SOPS 434110 HAS SOUS 79291 HAS SOUPS 78158 WITH SCORE 78600.384
AT ITER 8562 NEW BEST:: SOT 2744970 SOS 442189 HAS SOPS 433915 HAS SOUS 79284 HAS SOUPS 78151 WITH SCORE 78593.189
AT ITER 8611 NEW BEST:: SOT 2744962 SOS 442127 HAS SOPS 433853 HAS SOUS 79280 HAS SOUPS 78147 WITH SCORE 78589.127
AT ITER 8648 NEW BEST:: SOT 2744942 SOS 442266 HAS SOPS 433992 HAS SOUS 79240 HAS SOUPS 78107 WITH SCORE 78549.266
AT ITER 8717 NEW BEST:: SOT 2744936 SOS 442260 HAS SOPS 433986 HAS SOUS 79237 HAS SOUPS 78104 WITH SCORE 78546.26
AT ITER 8725 NEW BEST:: SOT 2744920 SOS 442231 HAS SOPS 433957 HAS SOUS 79187 HAS SOUPS 78054 WITH SCORE 78496.231
AT ITER 8742 NEW BEST:: SOT 2744912 SOS 442230 HAS SOPS 433956 HAS SOUS 79158 HAS SOUPS 78025 WITH SCORE 78467.23
AT ITER 8743 NEW BEST:: SOT 2744926 SOS 442353 HAS SOPS 434079 HAS SOUS 79110 HAS SOUPS 77977 WITH SCORE 78419.353
AT ITER 8768 NEW BEST:: SOT 2744925 SOS 442352 HAS SOPS 434078 HAS SOUS 79108 HAS SOUPS 77975 WITH SCORE 78417.352
AT ITER 8778 NEW BEST:: SOT 2744915 SOS 442322 HAS SOPS 434048 HAS SOUS 79088 HAS SOUPS 77955 WITH SCORE 78397.322
AT ITER 8782 NEW BEST:: SOT 2744814 SOS 441193 HAS SOPS 433808 HAS SOUS 78907 HAS SOUPS 77795 WITH SCORE 78236.193
AT ITER 8787 NEW BEST:: SOT 2744730 SOS 441109 HAS SOPS 433724 HAS SOUS 78739 HAS SOUPS 77627 WITH SCORE 78068.109
AT ITER 8819 NEW BEST:: SOT 2744724 SOS 441103 HAS SOPS 433718 HAS SOUS 78728 HAS SOUPS 77616 WITH SCORE 78057.103
AT ITER 8871 NEW BEST:: SOT 2744724 SOS 441160 HAS SOPS 433775 HAS SOUS 78683 HAS SOUPS 77571 WITH SCORE 78012.16
AT ITER 8885 NEW BEST:: SOT 2744722 SOS 441102 HAS SOPS 433717 HAS SOUS 78683 HAS SOUPS 77571 WITH SCORE 78012.102
AT ITER 8914 NEW BEST:: SOT 2744694 SOS 441036 HAS SOPS 433631 HAS SOUS 78665 HAS SOUPS 77553 WITH SCORE 77994.036
AT ITER 8921 NEW BEST:: SOT 2744674 SOS 440878 HAS SOPS 433473 HAS SOUS 78623 HAS SOUPS 77511 WITH SCORE 77951.878
AT ITER 8925 NEW BEST:: SOT 2744689 SOS 441035 HAS SOPS 433544 HAS SOUS 78554 HAS SOUPS 77442 WITH SCORE 77883.035
AT ITER 8953 NEW BEST:: SOT 2744689 SOS 399875 HAS SOPS 392384 HAS SOUS 78554 HAS SOUPS 77442 WITH SCORE 77841.875
AT ITER 9009 NEW BEST:: SOT 2744630 SOS 399203 HAS SOPS 392325 HAS SOUS 78480 HAS SOUPS 77383 WITH SCORE 77782.203
AT ITER 9035 NEW BEST:: SOT 2744573 SOS 399146 HAS SOPS 392268 HAS SOUS 78276 HAS SOUPS 77179 WITH SCORE 77578.146
AT ITER 9060 NEW BEST:: SOT 2744524 SOS 399031 HAS SOPS 392153 HAS SOUS 78193 HAS SOUPS 77096 WITH SCORE 77495.031
AT ITER 9101 NEW BEST:: SOT 2744571 SOS 398976 HAS SOPS 392098 HAS SOUS 78107 HAS SOUPS 77010 WITH SCORE 77408.976
AT ITER 9130 NEW BEST:: SOT 2744571 SOS 398961 HAS SOPS 392083 HAS SOUS 78097 HAS SOUPS 77000 WITH SCORE 77398.961
AT ITER 9155 NEW BEST:: SOT 2744549 SOS 398867 HAS SOPS 391989 HAS SOUS 78051 HAS SOUPS 76954 WITH SCORE 77352.867
AT ITER 9188 NEW BEST:: SOT 2744538 SOS 398861 HAS SOPS 392008 HAS SOUS 78040 HAS SOUPS 76943 WITH SCORE 77341.861
AT ITER 9194 NEW BEST:: SOT 2744534 SOS 398857 HAS SOPS 392004 HAS SOUS 78036 HAS SOUPS 76939 WITH SCORE 77337.857
AT ITER 9228 NEW BEST:: SOT 2744534 SOS 398857 HAS SOPS 392004 HAS SOUS 78023 HAS SOUPS 76926 WITH SCORE 77324.857
AT ITER 9241 NEW BEST:: SOT 2744539 SOS 398842 HAS SOPS 391989 HAS SOUS 78014 HAS SOUPS 76917 WITH SCORE 77315.842
AT ITER 9257 NEW BEST:: SOT 2744491 SOS 398807 HAS SOPS 391954 HAS SOUS 78012 HAS SOUPS 76915 WITH SCORE 77313.807
AT ITER 9288 NEW BEST:: SOT 2744492 SOS 398810 HAS SOPS 391957 HAS SOUS 78011 HAS SOUPS 76914 WITH SCORE 77312.81
AT ITER 9357 NEW BEST:: SOT 2744477 SOS 398795 HAS SOPS 391942 HAS SOUS 77981 HAS SOUPS 76884 WITH SCORE 77282.795
AT ITER 9359 NEW BEST:: SOT 2744474 SOS 398782 HAS SOPS 391929 HAS SOUS 77969 HAS SOUPS 76872 WITH SCORE 77270.782
AT ITER 9381 NEW BEST:: SOT 2744472 SOS 398396 HAS SOPS 391543 HAS SOUS 77951 HAS SOUPS 76854 WITH SCORE 77252.396
AT ITER 9388 NEW BEST:: SOT 2744430 SOS 398231 HAS SOPS 391378 HAS SOUS 77852 HAS SOUPS 76755 WITH SCORE 77153.231
AT ITER 9406 NEW BEST:: SOT 2744397 SOS 398066 HAS SOPS 391213 HAS SOUS 77785 HAS SOUPS 76688 WITH SCORE 77086.066
AT ITER 9407 NEW BEST:: SOT 2744397 SOS 398062 HAS SOPS 391209 HAS SOUS 77785 HAS SOUPS 76688 WITH SCORE 77086.062
AT ITER 9409 NEW BEST:: SOT 2744387 SOS 398052 HAS SOPS 391199 HAS SOUS 77777 HAS SOUPS 76680 WITH SCORE 77078.052
AT ITER 9427 NEW BEST:: SOT 2744386 SOS 398057 HAS SOPS 391204 HAS SOUS 77776 HAS SOUPS 76679 WITH SCORE 77077.057
AT ITER 9496 NEW BEST:: SOT 2744386 SOS 398043 HAS SOPS 391190 HAS SOUS 77776 HAS SOUPS 76679 WITH SCORE 77077.043
AT ITER 9540 NEW BEST:: SOT 2744385 SOS 398020 HAS SOPS 391167 HAS SOUS 77750 HAS SOUPS 76653 WITH SCORE 77051.02
AT ITER 9560 NEW BEST:: SOT 2744341 SOS 397960 HAS SOPS 391107 HAS SOUS 77702 HAS SOUPS 76605 WITH SCORE 77002.96
AT ITER 9613 NEW BEST:: SOT 2744336 SOS 397955 HAS SOPS 391092 HAS SOUS 77691 HAS SOUPS 76588 WITH SCORE 76985.955
AT ITER 9630 NEW BEST:: SOT 2744336 SOS 397952 HAS SOPS 391089 HAS SOUS 77691 HAS SOUPS 76588 WITH SCORE 76985.952
AT ITER 9634 NEW BEST:: SOT 2744332 SOS 397948 HAS SOPS 391085 HAS SOUS 77688 HAS SOUPS 76585 WITH SCORE 76982.948
AT ITER 9636 NEW BEST:: SOT 2744298 SOS 397914 HAS SOPS 391051 HAS SOUS 77620 HAS SOUPS 76517 WITH SCORE 76914.914
AT ITER 9644 NEW BEST:: SOT 2744291 SOS 397910 HAS SOPS 391047 HAS SOUS 77611 HAS SOUPS 76508 WITH SCORE 76905.91
AT ITER 9657 NEW BEST:: SOT 2744213 SOS 397896 HAS SOPS 391033 HAS SOUS 77605 HAS SOUPS 76502 WITH SCORE 76899.896
AT ITER 9686 NEW BEST:: SOT 2744200 SOS 397883 HAS SOPS 391020 HAS SOUS 77605 HAS SOUPS 76502 WITH SCORE 76899.883
AT ITER 9689 NEW BEST:: SOT 2744195 SOS 397878 HAS SOPS 391015 HAS SOUS 77595 HAS SOUPS 76492 WITH SCORE 76889.878
AT ITER 9720 NEW BEST:: SOT 2744194 SOS 397876 HAS SOPS 391013 HAS SOUS 77593 HAS SOUPS 76490 WITH SCORE 76887.876
AT ITER 9721 NEW BEST:: SOT 2744194 SOS 397886 HAS SOPS 391023 HAS SOUS 77584 HAS SOUPS 76481 WITH SCORE 76878.886
AT ITER 9725 NEW BEST:: SOT 2744161 SOS 397751 HAS SOPS 390936 HAS SOUS 77569 HAS SOUPS 76466 WITH SCORE 76863.751
AT ITER 9741 NEW BEST:: SOT 2744147 SOS 397931 HAS SOPS 391116 HAS SOUS 77559 HAS SOUPS 76456 WITH SCORE 76853.931
AT ITER 9764 NEW BEST:: SOT 2744138 SOS 397901 HAS SOPS 391086 HAS SOUS 77529 HAS SOUPS 76426 WITH SCORE 76823.901
AT ITER 9938 NEW BEST:: SOT 2743992 SOS 397593 HAS SOPS 390865 HAS SOUS 77412 HAS SOUPS 76309 WITH SCORE 76706.593
AT ITER 9949 NEW BEST:: SOT 2743965 SOS 397448 HAS SOPS 390720 HAS SOUS 77358 HAS SOUPS 76255 WITH SCORE 76652.448
AT ITER 9966 NEW BEST:: SOT 2743938 SOS 397328 HAS SOPS 390631 HAS SOUS 77354 HAS SOUPS 76253 WITH SCORE 76650.328
AT ITER 9996 NEW BEST:: SOT 2743847 SOS 397140 HAS SOPS 390443 HAS SOUS 77172 HAS SOUPS 76071 WITH SCORE 76468.14
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10903100 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16103068 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S06J06T04.tgz
mv PolyORBLF-COL-S06J06T04 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 ;