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-167873952900368.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-S02J04T10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873952900368
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 680K
-rw-r--r-- 1 mcc users 8.2K Feb 26 13:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 13:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 26 13:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 13:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 14:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 149K Feb 26 14:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 14:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 93K Feb 26 14:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:34 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 1679484831906

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-S02J04T10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 11:33:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 11:33:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 11:33:53] [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 11:33:53] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 11:33:54] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 673 ms
[2023-03-22 11:33:54] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 752 PT places and 1664.0 transition bindings in 27 ms.
[2023-03-22 11:33:54] [INFO ] Unfolded HLPN to a Petri net with 752 places and 1572 transitions 7262 arcs in 43 ms.
[2023-03-22 11:33:54] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-22 11:33:54] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 752 places, 1572 transitions and 7262 arcs took 26 ms.
Total runtime 857 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S02J04T10
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: 752 places, 1572 transitions, 7262 arcs.
AT ITER 0 NEW BEST:: SOT 717696 SOS 417533 HAS SOPS 412190 HAS SOUS 260196 HAS SOUPS 259470 WITH SCORE 259887.533
AT ITER 5 NEW BEST:: SOT 715796 SOS 415363 HAS SOPS 410020 HAS SOUS 258109 HAS SOUPS 257383 WITH SCORE 257798.363
AT ITER 13 NEW BEST:: SOT 715791 SOS 415311 HAS SOPS 409968 HAS SOUS 258057 HAS SOUPS 257331 WITH SCORE 257746.311
AT ITER 22 NEW BEST:: SOT 715654 SOS 415162 HAS SOPS 409819 HAS SOUS 257783 HAS SOUPS 257057 WITH SCORE 257472.162
AT ITER 28 NEW BEST:: SOT 715464 SOS 414740 HAS SOPS 409397 HAS SOUS 257361 HAS SOUPS 256635 WITH SCORE 257049.74
AT ITER 33 NEW BEST:: SOT 715373 SOS 414248 HAS SOPS 408905 HAS SOUS 257162 HAS SOUPS 256436 WITH SCORE 256850.248
AT ITER 38 NEW BEST:: SOT 715252 SOS 414127 HAS SOPS 408784 HAS SOUS 257086 HAS SOUPS 256360 WITH SCORE 256774.127
AT ITER 40 NEW BEST:: SOT 715318 SOS 413992 HAS SOPS 408649 HAS SOUS 256951 HAS SOUPS 256225 WITH SCORE 256638.992
AT ITER 42 NEW BEST:: SOT 715318 SOS 413947 HAS SOPS 408604 HAS SOUS 256861 HAS SOUPS 256135 WITH SCORE 256548.947
AT ITER 44 NEW BEST:: SOT 714880 SOS 413596 HAS SOPS 408253 HAS SOUS 256364 HAS SOUPS 255638 WITH SCORE 256051.596
AT ITER 47 NEW BEST:: SOT 713144 SOS 412206 HAS SOPS 406863 HAS SOUS 256103 HAS SOUPS 255377 WITH SCORE 255789.206
AT ITER 48 NEW BEST:: SOT 711072 SOS 410140 HAS SOPS 404791 HAS SOUS 254031 HAS SOUPS 253305 WITH SCORE 253715.14
AT ITER 51 NEW BEST:: SOT 710990 SOS 410115 HAS SOPS 404627 HAS SOUS 254047 HAS SOUPS 253228 WITH SCORE 253638.115
AT ITER 53 NEW BEST:: SOT 710631 SOS 409743 HAS SOPS 404255 HAS SOUS 253705 HAS SOUPS 252886 WITH SCORE 253295.743
AT ITER 55 NEW BEST:: SOT 710439 SOS 407514 HAS SOPS 402026 HAS SOUS 253279 HAS SOUPS 252460 WITH SCORE 252867.514
AT ITER 56 NEW BEST:: SOT 710818 SOS 412338 HAS SOPS 406850 HAS SOUS 253008 HAS SOUPS 252189 WITH SCORE 252601.338
AT ITER 58 NEW BEST:: SOT 710766 SOS 412382 HAS SOPS 406894 HAS SOUS 252977 HAS SOUPS 252158 WITH SCORE 252570.382
AT ITER 60 NEW BEST:: SOT 710481 SOS 412097 HAS SOPS 406609 HAS SOUS 252745 HAS SOUPS 251926 WITH SCORE 252338.097
AT ITER 63 NEW BEST:: SOT 710847 SOS 412509 HAS SOPS 407021 HAS SOUS 252700 HAS SOUPS 251881 WITH SCORE 252293.509
AT ITER 64 NEW BEST:: SOT 710323 SOS 412020 HAS SOPS 406532 HAS SOUS 252538 HAS SOUPS 251719 WITH SCORE 252131.02
AT ITER 67 NEW BEST:: SOT 710252 SOS 411949 HAS SOPS 406461 HAS SOUS 252396 HAS SOUPS 251577 WITH SCORE 251988.949
AT ITER 68 NEW BEST:: SOT 710288 SOS 412022 HAS SOPS 406534 HAS SOUS 251579 HAS SOUPS 250760 WITH SCORE 251172.022
AT ITER 73 NEW BEST:: SOT 708970 SOS 410837 HAS SOPS 405349 HAS SOUS 251465 HAS SOUPS 250646 WITH SCORE 251056.837
AT ITER 78 NEW BEST:: SOT 708906 SOS 410787 HAS SOPS 405299 HAS SOUS 251415 HAS SOUPS 250596 WITH SCORE 251006.787
AT ITER 83 NEW BEST:: SOT 708548 SOS 409892 HAS SOPS 404404 HAS SOUS 250786 HAS SOUPS 249967 WITH SCORE 250376.892
AT ITER 84 NEW BEST:: SOT 708716 SOS 410292 HAS SOPS 404804 HAS SOUS 250426 HAS SOUPS 249607 WITH SCORE 250017.292
AT ITER 91 NEW BEST:: SOT 706412 SOS 408601 HAS SOPS 403113 HAS SOUS 250025 HAS SOUPS 249206 WITH SCORE 249614.601
AT ITER 94 NEW BEST:: SOT 705641 SOS 407898 HAS SOPS 402410 HAS SOUS 249916 HAS SOUPS 249097 WITH SCORE 249504.898
AT ITER 96 NEW BEST:: SOT 705671 SOS 411611 HAS SOPS 402503 HAS SOUS 249976 HAS SOUPS 249066 WITH SCORE 249477.611
AT ITER 114 NEW BEST:: SOT 704695 SOS 410489 HAS SOPS 401381 HAS SOUS 248800 HAS SOUPS 247890 WITH SCORE 248300.489
AT ITER 123 NEW BEST:: SOT 704463 SOS 410158 HAS SOPS 401050 HAS SOUS 248538 HAS SOUPS 247628 WITH SCORE 248038.158
AT ITER 124 NEW BEST:: SOT 704463 SOS 410158 HAS SOPS 401050 HAS SOUS 248527 HAS SOUPS 247617 WITH SCORE 248027.158
AT ITER 125 NEW BEST:: SOT 704463 SOS 410158 HAS SOPS 401050 HAS SOUS 248519 HAS SOUPS 247609 WITH SCORE 248019.158
AT ITER 126 NEW BEST:: SOT 704447 SOS 410142 HAS SOPS 401034 HAS SOUS 248503 HAS SOUPS 247593 WITH SCORE 248003.142
AT ITER 140 NEW BEST:: SOT 704165 SOS 409437 HAS SOPS 400329 HAS SOUS 248221 HAS SOUPS 247311 WITH SCORE 247720.437
AT ITER 148 NEW BEST:: SOT 704165 SOS 409432 HAS SOPS 400324 HAS SOUS 248116 HAS SOUPS 247206 WITH SCORE 247615.432
AT ITER 158 NEW BEST:: SOT 703897 SOS 409061 HAS SOPS 399953 HAS SOUS 247910 HAS SOUPS 247000 WITH SCORE 247409.061
AT ITER 167 NEW BEST:: SOT 703579 SOS 408909 HAS SOPS 399801 HAS SOUS 247682 HAS SOUPS 246772 WITH SCORE 247180.909
AT ITER 170 NEW BEST:: SOT 703538 SOS 408786 HAS SOPS 399678 HAS SOUS 247600 HAS SOUPS 246690 WITH SCORE 247098.786
AT ITER 187 NEW BEST:: SOT 703424 SOS 406907 HAS SOPS 397790 HAS SOUS 247451 HAS SOUPS 246541 WITH SCORE 246947.907
AT ITER 197 NEW BEST:: SOT 703471 SOS 403245 HAS SOPS 394128 HAS SOUS 247348 HAS SOUPS 246438 WITH SCORE 246841.245
AT ITER 207 NEW BEST:: SOT 702734 SOS 402639 HAS SOPS 393522 HAS SOUS 246825 HAS SOUPS 245915 WITH SCORE 246317.639
AT ITER 209 NEW BEST:: SOT 702454 SOS 402260 HAS SOPS 393143 HAS SOUS 246627 HAS SOUPS 245717 WITH SCORE 246119.26
AT ITER 212 NEW BEST:: SOT 702436 SOS 402127 HAS SOPS 393023 HAS SOUS 246600 HAS SOUPS 245690 WITH SCORE 246092.127
AT ITER 220 NEW BEST:: SOT 702436 SOS 402109 HAS SOPS 393005 HAS SOUS 246514 HAS SOUPS 245604 WITH SCORE 246006.109
AT ITER 226 NEW BEST:: SOT 702523 SOS 402016 HAS SOPS 392855 HAS SOUS 246513 HAS SOUPS 245602 WITH SCORE 246004.016
AT ITER 233 NEW BEST:: SOT 702267 SOS 401763 HAS SOPS 392682 HAS SOUS 246380 HAS SOUPS 245469 WITH SCORE 245870.763
AT ITER 236 NEW BEST:: SOT 702297 SOS 402014 HAS SOPS 392933 HAS SOUS 246277 HAS SOUPS 245366 WITH SCORE 245768.014
AT ITER 237 NEW BEST:: SOT 702297 SOS 401958 HAS SOPS 392877 HAS SOUS 246221 HAS SOUPS 245310 WITH SCORE 245711.958
AT ITER 244 NEW BEST:: SOT 702075 SOS 401514 HAS SOPS 392433 HAS SOUS 245831 HAS SOUPS 244920 WITH SCORE 245321.514
AT ITER 250 NEW BEST:: SOT 701952 SOS 401022 HAS SOPS 391941 HAS SOUS 245739 HAS SOUPS 244828 WITH SCORE 245229.022
AT ITER 254 NEW BEST:: SOT 701922 SOS 400901 HAS SOPS 391820 HAS SOUS 245618 HAS SOUPS 244707 WITH SCORE 245107.901
AT ITER 261 NEW BEST:: SOT 701863 SOS 400842 HAS SOPS 391761 HAS SOUS 245559 HAS SOUPS 244648 WITH SCORE 245048.842
AT ITER 266 NEW BEST:: SOT 701767 SOS 400989 HAS SOPS 391818 HAS SOUS 245516 HAS SOUPS 244605 WITH SCORE 245005.989
AT ITER 269 NEW BEST:: SOT 702512 SOS 402255 HAS SOPS 393084 HAS SOUS 244923 HAS SOUPS 244012 WITH SCORE 244414.255
AT ITER 272 NEW BEST:: SOT 702351 SOS 402099 HAS SOPS 392928 HAS SOUS 244809 HAS SOUPS 243898 WITH SCORE 244300.099
AT ITER 276 NEW BEST:: SOT 702351 SOS 402099 HAS SOPS 392928 HAS SOUS 244695 HAS SOUPS 243784 WITH SCORE 244186.099
AT ITER 277 NEW BEST:: SOT 702221 SOS 401683 HAS SOPS 392512 HAS SOUS 244539 HAS SOUPS 243628 WITH SCORE 244029.683
AT ITER 284 NEW BEST:: SOT 702161 SOS 401470 HAS SOPS 392299 HAS SOUS 244452 HAS SOUPS 243541 WITH SCORE 243942.47
AT ITER 287 NEW BEST:: SOT 702161 SOS 400446 HAS SOPS 391312 HAS SOUS 244386 HAS SOUPS 243475 WITH SCORE 243875.446
AT ITER 294 NEW BEST:: SOT 702144 SOS 400417 HAS SOPS 391278 HAS SOUS 244352 HAS SOUPS 243441 WITH SCORE 243841.417
AT ITER 296 NEW BEST:: SOT 702004 SOS 400408 HAS SOPS 391269 HAS SOUS 244286 HAS SOUPS 243375 WITH SCORE 243775.408
AT ITER 311 NEW BEST:: SOT 701829 SOS 400058 HAS SOPS 390919 HAS SOUS 243936 HAS SOUPS 243025 WITH SCORE 243425.058
AT ITER 316 NEW BEST:: SOT 701660 SOS 399889 HAS SOPS 390750 HAS SOUS 243520 HAS SOUPS 242609 WITH SCORE 243008.889
AT ITER 318 NEW BEST:: SOT 701410 SOS 399845 HAS SOPS 390706 HAS SOUS 243503 HAS SOUPS 242592 WITH SCORE 242991.845
AT ITER 321 NEW BEST:: SOT 701390 SOS 399825 HAS SOPS 390708 HAS SOUS 243485 HAS SOUPS 242574 WITH SCORE 242973.825
AT ITER 329 NEW BEST:: SOT 701458 SOS 399640 HAS SOPS 390523 HAS SOUS 243300 HAS SOUPS 242389 WITH SCORE 242788.64
AT ITER 331 NEW BEST:: SOT 701393 SOS 393623 HAS SOPS 384506 HAS SOUS 242874 HAS SOUPS 241963 WITH SCORE 242356.623
AT ITER 338 NEW BEST:: SOT 701288 SOS 393560 HAS SOPS 384443 HAS SOUS 242757 HAS SOUPS 241846 WITH SCORE 242239.56
AT ITER 348 NEW BEST:: SOT 701170 SOS 393432 HAS SOPS 384315 HAS SOUS 242629 HAS SOUPS 241718 WITH SCORE 242111.432
AT ITER 350 NEW BEST:: SOT 701109 SOS 393229 HAS SOPS 384112 HAS SOUS 242426 HAS SOUPS 241515 WITH SCORE 241908.229
AT ITER 353 NEW BEST:: SOT 701061 SOS 393181 HAS SOPS 384064 HAS SOUS 242282 HAS SOUPS 241371 WITH SCORE 241764.181
AT ITER 365 NEW BEST:: SOT 701061 SOS 393124 HAS SOPS 384007 HAS SOUS 242282 HAS SOUPS 241371 WITH SCORE 241764.124
AT ITER 369 NEW BEST:: SOT 701115 SOS 393283 HAS SOPS 384166 HAS SOUS 241450 HAS SOUPS 240539 WITH SCORE 240932.283
AT ITER 375 NEW BEST:: SOT 700945 SOS 393011 HAS SOPS 383894 HAS SOUS 241341 HAS SOUPS 240430 WITH SCORE 240823.011
AT ITER 376 NEW BEST:: SOT 700846 SOS 392724 HAS SOPS 383607 HAS SOUS 241167 HAS SOUPS 240256 WITH SCORE 240648.724
AT ITER 384 NEW BEST:: SOT 700785 SOS 392541 HAS SOPS 383424 HAS SOUS 241045 HAS SOUPS 240134 WITH SCORE 240526.541
AT ITER 386 NEW BEST:: SOT 700713 SOS 392181 HAS SOPS 383064 HAS SOUS 240901 HAS SOUPS 239990 WITH SCORE 240382.181
AT ITER 399 NEW BEST:: SOT 700708 SOS 392276 HAS SOPS 383159 HAS SOUS 239946 HAS SOUPS 239035 WITH SCORE 239427.276
AT ITER 407 NEW BEST:: SOT 696823 SOS 411994 HAS SOPS 407372 HAS SOUS 236819 HAS SOUPS 236159 WITH SCORE 236570.994
AT ITER 411 NEW BEST:: SOT 696833 SOS 412004 HAS SOPS 407382 HAS SOUS 236657 HAS SOUPS 235997 WITH SCORE 236409.004
AT ITER 416 NEW BEST:: SOT 697057 SOS 412007 HAS SOPS 407385 HAS SOUS 236163 HAS SOUPS 235503 WITH SCORE 235915.007
AT ITER 424 NEW BEST:: SOT 697116 SOS 412066 HAS SOPS 407444 HAS SOUS 236150 HAS SOUPS 235490 WITH SCORE 235902.066
AT ITER 433 NEW BEST:: SOT 696855 SOS 411558 HAS SOPS 406936 HAS SOUS 235595 HAS SOUPS 234935 WITH SCORE 235346.558
AT ITER 434 NEW BEST:: SOT 696721 SOS 411424 HAS SOPS 406802 HAS SOUS 235495 HAS SOUPS 234835 WITH SCORE 235246.424
AT ITER 445 NEW BEST:: SOT 696705 SOS 411408 HAS SOPS 406786 HAS SOUS 235492 HAS SOUPS 234832 WITH SCORE 235243.408
AT ITER 459 NEW BEST:: SOT 696683 SOS 411386 HAS SOPS 406764 HAS SOUS 235426 HAS SOUPS 234766 WITH SCORE 235177.386
AT ITER 468 NEW BEST:: SOT 697164 SOS 411882 HAS SOPS 407260 HAS SOUS 234232 HAS SOUPS 233572 WITH SCORE 233983.882
AT ITER 470 NEW BEST:: SOT 697192 SOS 411544 HAS SOPS 406922 HAS SOUS 234173 HAS SOUPS 233513 WITH SCORE 233924.544
AT ITER 479 NEW BEST:: SOT 697192 SOS 411544 HAS SOPS 406922 HAS SOUS 234163 HAS SOUPS 233503 WITH SCORE 233914.544
AT ITER 484 NEW BEST:: SOT 696667 SOS 411236 HAS SOPS 406614 HAS SOUS 233959 HAS SOUPS 233299 WITH SCORE 233710.236
AT ITER 502 NEW BEST:: SOT 696080 SOS 410384 HAS SOPS 405762 HAS SOUS 233372 HAS SOUPS 232712 WITH SCORE 233122.384
AT ITER 506 NEW BEST:: SOT 696080 SOS 410376 HAS SOPS 405754 HAS SOUS 233372 HAS SOUPS 232712 WITH SCORE 233122.376
AT ITER 507 NEW BEST:: SOT 696059 SOS 410142 HAS SOPS 405520 HAS SOUS 233251 HAS SOUPS 232591 WITH SCORE 233001.142
AT ITER 514 NEW BEST:: SOT 695855 SOS 409938 HAS SOPS 405279 HAS SOUS 232925 HAS SOUPS 232265 WITH SCORE 232674.938
AT ITER 516 NEW BEST:: SOT 698962 SOS 413369 HAS SOPS 408786 HAS SOUS 232077 HAS SOUPS 231417 WITH SCORE 231830.369
AT ITER 532 NEW BEST:: SOT 698981 SOS 413407 HAS SOPS 408824 HAS SOUS 232028 HAS SOUPS 231368 WITH SCORE 231781.407
AT ITER 535 NEW BEST:: SOT 698949 SOS 413491 HAS SOPS 408908 HAS SOUS 231724 HAS SOUPS 231064 WITH SCORE 231477.491
AT ITER 540 NEW BEST:: SOT 698767 SOS 413309 HAS SOPS 408726 HAS SOUS 231341 HAS SOUPS 230681 WITH SCORE 231094.309
AT ITER 543 NEW BEST:: SOT 698720 SOS 412914 HAS SOPS 408331 HAS SOUS 231276 HAS SOUPS 230616 WITH SCORE 231028.914
AT ITER 546 NEW BEST:: SOT 698684 SOS 412779 HAS SOPS 408196 HAS SOUS 231231 HAS SOUPS 230571 WITH SCORE 230983.779
AT ITER 555 NEW BEST:: SOT 698476 SOS 412571 HAS SOPS 407988 HAS SOUS 230915 HAS SOUPS 230255 WITH SCORE 230667.571
AT ITER 561 NEW BEST:: SOT 698459 SOS 412554 HAS SOPS 407971 HAS SOUS 230913 HAS SOUPS 230253 WITH SCORE 230665.554
AT ITER 563 NEW BEST:: SOT 698158 SOS 412671 HAS SOPS 407670 HAS SOUS 230930 HAS SOUPS 230227 WITH SCORE 230639.671
AT ITER 566 NEW BEST:: SOT 698109 SOS 412659 HAS SOPS 407658 HAS SOUS 230872 HAS SOUPS 230169 WITH SCORE 230581.659
AT ITER 567 NEW BEST:: SOT 698102 SOS 412652 HAS SOPS 407651 HAS SOUS 230622 HAS SOUPS 229919 WITH SCORE 230331.652
AT ITER 569 NEW BEST:: SOT 698123 SOS 412886 HAS SOPS 407885 HAS SOUS 230498 HAS SOUPS 229795 WITH SCORE 230207.886
AT ITER 570 NEW BEST:: SOT 698111 SOS 412529 HAS SOPS 407528 HAS SOUS 230232 HAS SOUPS 229529 WITH SCORE 229941.529
AT ITER 571 NEW BEST:: SOT 697408 SOS 411992 HAS SOPS 406991 HAS SOUS 229781 HAS SOUPS 229078 WITH SCORE 229489.992
AT ITER 579 NEW BEST:: SOT 697266 SOS 410864 HAS SOPS 405863 HAS SOUS 228607 HAS SOUPS 227904 WITH SCORE 228314.864
AT ITER 588 NEW BEST:: SOT 697013 SOS 410673 HAS SOPS 405672 HAS SOUS 228352 HAS SOUPS 227649 WITH SCORE 228059.673
AT ITER 589 NEW BEST:: SOT 696747 SOS 410407 HAS SOPS 405406 HAS SOUS 228069 HAS SOUPS 227366 WITH SCORE 227776.407
AT ITER 590 NEW BEST:: SOT 696658 SOS 410051 HAS SOPS 405050 HAS SOUS 228055 HAS SOUPS 227352 WITH SCORE 227762.051
AT ITER 604 NEW BEST:: SOT 696648 SOS 410031 HAS SOPS 405030 HAS SOUS 228035 HAS SOUPS 227332 WITH SCORE 227742.031
AT ITER 607 NEW BEST:: SOT 696628 SOS 409991 HAS SOPS 404990 HAS SOUS 227995 HAS SOUPS 227292 WITH SCORE 227701.991
AT ITER 608 NEW BEST:: SOT 696661 SOS 410069 HAS SOPS 405068 HAS SOUS 227934 HAS SOUPS 227231 WITH SCORE 227641.069
AT ITER 609 NEW BEST:: SOT 695875 SOS 409282 HAS SOPS 404281 HAS SOUS 227821 HAS SOUPS 227118 WITH SCORE 227527.282
AT ITER 612 NEW BEST:: SOT 695877 SOS 409284 HAS SOPS 404264 HAS SOUS 227830 HAS SOUPS 227113 WITH SCORE 227522.284
AT ITER 615 NEW BEST:: SOT 695823 SOS 409221 HAS SOPS 404201 HAS SOUS 227581 HAS SOUPS 226864 WITH SCORE 227273.221
AT ITER 619 NEW BEST:: SOT 696038 SOS 409020 HAS SOPS 404000 HAS SOUS 226132 HAS SOUPS 225415 WITH SCORE 225824.02
AT ITER 628 NEW BEST:: SOT 696038 SOS 408406 HAS SOPS 403386 HAS SOUS 225536 HAS SOUPS 224819 WITH SCORE 225227.406
AT ITER 632 NEW BEST:: SOT 695827 SOS 408154 HAS SOPS 403134 HAS SOUS 225194 HAS SOUPS 224477 WITH SCORE 224885.154
AT ITER 635 NEW BEST:: SOT 695827 SOS 408154 HAS SOPS 403142 HAS SOUS 225190 HAS SOUPS 224473 WITH SCORE 224881.154
AT ITER 639 NEW BEST:: SOT 695941 SOS 408271 HAS SOPS 403259 HAS SOUS 225145 HAS SOUPS 224428 WITH SCORE 224836.271
AT ITER 643 NEW BEST:: SOT 695941 SOS 408303 HAS SOPS 403291 HAS SOUS 225129 HAS SOUPS 224412 WITH SCORE 224820.303
AT ITER 657 NEW BEST:: SOT 696271 SOS 408407 HAS SOPS 403395 HAS SOUS 223277 HAS SOUPS 222560 WITH SCORE 222968.407
AT ITER 659 NEW BEST:: SOT 695135 SOS 407386 HAS SOPS 402374 HAS SOUS 222684 HAS SOUPS 221967 WITH SCORE 222374.386
AT ITER 670 NEW BEST:: SOT 695076 SOS 407327 HAS SOPS 402315 HAS SOUS 222625 HAS SOUPS 221908 WITH SCORE 222315.327
AT ITER 680 NEW BEST:: SOT 694497 SOS 406818 HAS SOPS 401806 HAS SOUS 222209 HAS SOUPS 221492 WITH SCORE 221898.818
AT ITER 687 NEW BEST:: SOT 694496 SOS 406817 HAS SOPS 401785 HAS SOUS 222209 HAS SOUPS 221490 WITH SCORE 221896.817
AT ITER 688 NEW BEST:: SOT 694295 SOS 406731 HAS SOPS 401874 HAS SOUS 222175 HAS SOUPS 221456 WITH SCORE 221862.731
AT ITER 712 NEW BEST:: SOT 695320 SOS 407112 HAS SOPS 402255 HAS SOUS 221547 HAS SOUPS 220828 WITH SCORE 221235.112
AT ITER 715 NEW BEST:: SOT 695308 SOS 407098 HAS SOPS 402241 HAS SOUS 221523 HAS SOUPS 220804 WITH SCORE 221211.098
AT ITER 718 NEW BEST:: SOT 695191 SOS 406981 HAS SOPS 402124 HAS SOUS 221406 HAS SOUPS 220687 WITH SCORE 221093.981
AT ITER 719 NEW BEST:: SOT 695186 SOS 406971 HAS SOPS 402114 HAS SOUS 221396 HAS SOUPS 220677 WITH SCORE 221083.971
AT ITER 729 NEW BEST:: SOT 693953 SOS 417295 HAS SOPS 406798 HAS SOUS 221217 HAS SOUPS 220056 WITH SCORE 220473.295
AT ITER 733 NEW BEST:: SOT 693899 SOS 417187 HAS SOPS 406690 HAS SOUS 221109 HAS SOUPS 219948 WITH SCORE 220365.187
AT ITER 734 NEW BEST:: SOT 693735 SOS 417023 HAS SOPS 406526 HAS SOUS 220803 HAS SOUPS 219642 WITH SCORE 220059.023
AT ITER 740 NEW BEST:: SOT 693679 SOS 416967 HAS SOPS 406424 HAS SOUS 220759 HAS SOUPS 219598 WITH SCORE 220014.967
AT ITER 748 NEW BEST:: SOT 693617 SOS 416837 HAS SOPS 406294 HAS SOUS 219475 HAS SOUPS 218314 WITH SCORE 218730.837
AT ITER 749 NEW BEST:: SOT 693586 SOS 416806 HAS SOPS 406263 HAS SOUS 219399 HAS SOUPS 218238 WITH SCORE 218654.806
AT ITER 753 NEW BEST:: SOT 693544 SOS 415089 HAS SOPS 405968 HAS SOUS 219188 HAS SOUPS 218106 WITH SCORE 218521.089
AT ITER 759 NEW BEST:: SOT 693454 SOS 415044 HAS SOPS 405923 HAS SOUS 219188 HAS SOUPS 218106 WITH SCORE 218521.044
AT ITER 763 NEW BEST:: SOT 693108 SOS 414398 HAS SOPS 405277 HAS SOUS 218533 HAS SOUPS 217451 WITH SCORE 217865.398
AT ITER 773 NEW BEST:: SOT 692926 SOS 411738 HAS SOPS 402617 HAS SOUS 216990 HAS SOUPS 215908 WITH SCORE 216319.738
AT ITER 792 NEW BEST:: SOT 692835 SOS 411556 HAS SOPS 402435 HAS SOUS 216698 HAS SOUPS 215616 WITH SCORE 216027.556
AT ITER 799 NEW BEST:: SOT 691912 SOS 410896 HAS SOPS 401775 HAS SOUS 216162 HAS SOUPS 215080 WITH SCORE 215490.896
AT ITER 805 NEW BEST:: SOT 691902 SOS 410622 HAS SOPS 401444 HAS SOUS 216088 HAS SOUPS 215003 WITH SCORE 215413.622
AT ITER 809 NEW BEST:: SOT 691948 SOS 410658 HAS SOPS 401480 HAS SOUS 216082 HAS SOUPS 214997 WITH SCORE 215407.658
AT ITER 818 NEW BEST:: SOT 691961 SOS 410926 HAS SOPS 401748 HAS SOUS 216064 HAS SOUPS 214979 WITH SCORE 215389.926
AT ITER 819 NEW BEST:: SOT 691937 SOS 410902 HAS SOPS 401724 HAS SOUS 216040 HAS SOUPS 214955 WITH SCORE 215365.902
AT ITER 823 NEW BEST:: SOT 691937 SOS 410845 HAS SOPS 401667 HAS SOUS 215928 HAS SOUPS 214843 WITH SCORE 215253.845
AT ITER 831 NEW BEST:: SOT 692059 SOS 411054 HAS SOPS 401876 HAS SOUS 215855 HAS SOUPS 214770 WITH SCORE 215181.054
AT ITER 832 NEW BEST:: SOT 692006 SOS 411020 HAS SOPS 401848 HAS SOUS 215827 HAS SOUPS 214742 WITH SCORE 215153.02
AT ITER 838 NEW BEST:: SOT 691968 SOS 410868 HAS SOPS 401696 HAS SOUS 215789 HAS SOUPS 214704 WITH SCORE 215114.868
AT ITER 847 NEW BEST:: SOT 691957 SOS 410846 HAS SOPS 401674 HAS SOUS 215767 HAS SOUPS 214682 WITH SCORE 215092.846
AT ITER 851 NEW BEST:: SOT 692051 SOS 410940 HAS SOPS 401768 HAS SOUS 215357 HAS SOUPS 214272 WITH SCORE 214682.94
AT ITER 863 NEW BEST:: SOT 691914 SOS 410730 HAS SOPS 401558 HAS SOUS 215010 HAS SOUPS 213925 WITH SCORE 214335.73
AT ITER 871 NEW BEST:: SOT 691914 SOS 410888 HAS SOPS 401716 HAS SOUS 214852 HAS SOUPS 213767 WITH SCORE 214177.888
AT ITER 894 NEW BEST:: SOT 691699 SOS 410001 HAS SOPS 400829 HAS SOUS 214778 HAS SOUPS 213693 WITH SCORE 214103.001
AT ITER 897 NEW BEST:: SOT 691577 SOS 409879 HAS SOPS 400815 HAS SOUS 214548 HAS SOUPS 213463 WITH SCORE 213872.879
AT ITER 900 NEW BEST:: SOT 691577 SOS 410010 HAS SOPS 400946 HAS SOUS 214397 HAS SOUPS 213312 WITH SCORE 213722.01
AT ITER 907 NEW BEST:: SOT 691566 SOS 409988 HAS SOPS 400924 HAS SOUS 214375 HAS SOUPS 213290 WITH SCORE 213699.988
AT ITER 912 NEW BEST:: SOT 691566 SOS 410100 HAS SOPS 401036 HAS SOUS 214151 HAS SOUPS 213066 WITH SCORE 213476.1
AT ITER 915 NEW BEST:: SOT 691373 SOS 409907 HAS SOPS 400843 HAS SOUS 213868 HAS SOUPS 212783 WITH SCORE 213192.907
AT ITER 931 NEW BEST:: SOT 691373 SOS 409790 HAS SOPS 400726 HAS SOUS 213736 HAS SOUPS 212651 WITH SCORE 213060.79
AT ITER 932 NEW BEST:: SOT 691253 SOS 409670 HAS SOPS 400606 HAS SOUS 213592 HAS SOUPS 212507 WITH SCORE 212916.67
AT ITER 933 NEW BEST:: SOT 691236 SOS 409673 HAS SOPS 400609 HAS SOUS 213575 HAS SOUPS 212490 WITH SCORE 212899.673
AT ITER 934 NEW BEST:: SOT 691178 SOS 409673 HAS SOPS 400551 HAS SOUS 213570 HAS SOUPS 212427 WITH SCORE 212836.673
AT ITER 938 NEW BEST:: SOT 691058 SOS 409580 HAS SOPS 400491 HAS SOUS 213550 HAS SOUPS 212407 WITH SCORE 212816.58
AT ITER 940 NEW BEST:: SOT 691048 SOS 409550 HAS SOPS 400461 HAS SOUS 213540 HAS SOUPS 212397 WITH SCORE 212806.55
AT ITER 941 NEW BEST:: SOT 691003 SOS 409385 HAS SOPS 400296 HAS SOUS 213249 HAS SOUPS 212106 WITH SCORE 212515.385
AT ITER 944 NEW BEST:: SOT 690955 SOS 408613 HAS SOPS 399524 HAS SOUS 213000 HAS SOUPS 211857 WITH SCORE 212265.613
AT ITER 945 NEW BEST:: SOT 690939 SOS 408484 HAS SOPS 399395 HAS SOUS 212968 HAS SOUPS 211825 WITH SCORE 212233.484
AT ITER 947 NEW BEST:: SOT 690939 SOS 408537 HAS SOPS 399448 HAS SOUS 212844 HAS SOUPS 211701 WITH SCORE 212109.537
AT ITER 950 NEW BEST:: SOT 691048 SOS 408127 HAS SOPS 399038 HAS SOUS 211685 HAS SOUPS 210542 WITH SCORE 210950.127
AT ITER 966 NEW BEST:: SOT 691189 SOS 407537 HAS SOPS 398448 HAS SOUS 209820 HAS SOUPS 208677 WITH SCORE 209084.537
AT ITER 980 NEW BEST:: SOT 691189 SOS 407066 HAS SOPS 398018 HAS SOUS 209811 HAS SOUPS 208668 WITH SCORE 209075.066
AT ITER 985 NEW BEST:: SOT 691126 SOS 407262 HAS SOPS 398336 HAS SOUS 209763 HAS SOUPS 208620 WITH SCORE 209027.262
AT ITER 992 NEW BEST:: SOT 691208 SOS 407385 HAS SOPS 398459 HAS SOUS 209640 HAS SOUPS 208497 WITH SCORE 208904.385
AT ITER 994 NEW BEST:: SOT 691202 SOS 406910 HAS SOPS 397984 HAS SOUS 208640 HAS SOUPS 207497 WITH SCORE 207903.91
AT ITER 996 NEW BEST:: SOT 691199 SOS 406907 HAS SOPS 397981 HAS SOUS 208640 HAS SOUPS 207497 WITH SCORE 207903.907
AT ITER 999 NEW BEST:: SOT 690466 SOS 406382 HAS SOPS 397456 HAS SOUS 208493 HAS SOUPS 207350 WITH SCORE 207756.382
AT ITER 1003 NEW BEST:: SOT 690460 SOS 406376 HAS SOPS 397450 HAS SOUS 208469 HAS SOUPS 207326 WITH SCORE 207732.376
AT ITER 1005 NEW BEST:: SOT 690362 SOS 406217 HAS SOPS 397291 HAS SOUS 208273 HAS SOUPS 207130 WITH SCORE 207536.217
AT ITER 1007 NEW BEST:: SOT 690026 SOS 405799 HAS SOPS 396873 HAS SOUS 207817 HAS SOUPS 206674 WITH SCORE 207079.799
AT ITER 1013 NEW BEST:: SOT 689813 SOS 405092 HAS SOPS 396166 HAS SOUS 207370 HAS SOUPS 206227 WITH SCORE 206632.092
AT ITER 1020 NEW BEST:: SOT 689813 SOS 404715 HAS SOPS 395789 HAS SOUS 207357 HAS SOUPS 206214 WITH SCORE 206618.715
AT ITER 1035 NEW BEST:: SOT 689731 SOS 406406 HAS SOPS 395985 HAS SOUS 207351 HAS SOUPS 206125 WITH SCORE 206531.406
AT ITER 1038 NEW BEST:: SOT 689674 SOS 406292 HAS SOPS 395871 HAS SOUS 207237 HAS SOUPS 206011 WITH SCORE 206417.292
AT ITER 1049 NEW BEST:: SOT 689586 SOS 406116 HAS SOPS 395695 HAS SOUS 207145 HAS SOUPS 205919 WITH SCORE 206325.116
AT ITER 1050 NEW BEST:: SOT 689549 SOS 406138 HAS SOPS 395717 HAS SOUS 207071 HAS SOUPS 205845 WITH SCORE 206251.138
AT ITER 1057 NEW BEST:: SOT 689534 SOS 406063 HAS SOPS 395642 HAS SOUS 206890 HAS SOUPS 205664 WITH SCORE 206070.063
AT ITER 1058 NEW BEST:: SOT 689534 SOS 406179 HAS SOPS 395758 HAS SOUS 206774 HAS SOUPS 205548 WITH SCORE 205954.179
AT ITER 1060 NEW BEST:: SOT 689366 SOS 406011 HAS SOPS 395610 HAS SOUS 206519 HAS SOUPS 205293 WITH SCORE 205699.011
AT ITER 1069 NEW BEST:: SOT 689136 SOS 405842 HAS SOPS 395441 HAS SOUS 206350 HAS SOUPS 205124 WITH SCORE 205529.842
AT ITER 1076 NEW BEST:: SOT 689127 SOS 405833 HAS SOPS 395441 HAS SOUS 206332 HAS SOUPS 205106 WITH SCORE 205511.833
AT ITER 1078 NEW BEST:: SOT 689107 SOS 405793 HAS SOPS 395401 HAS SOUS 206272 HAS SOUPS 205046 WITH SCORE 205451.793
AT ITER 1082 NEW BEST:: SOT 689107 SOS 405850 HAS SOPS 395458 HAS SOUS 206234 HAS SOUPS 205008 WITH SCORE 205413.85
AT ITER 1105 NEW BEST:: SOT 689003 SOS 405732 HAS SOPS 395422 HAS SOUS 206071 HAS SOUPS 204885 WITH SCORE 205290.732
AT ITER 1108 NEW BEST:: SOT 688992 SOS 405721 HAS SOPS 395501 HAS SOUS 205948 HAS SOUPS 204762 WITH SCORE 205167.721
AT ITER 1114 NEW BEST:: SOT 688884 SOS 400109 HAS SOPS 392709 HAS SOUS 205732 HAS SOUPS 204685 WITH SCORE 205085.109
AT ITER 1119 NEW BEST:: SOT 688884 SOS 399932 HAS SOPS 392532 HAS SOUS 205732 HAS SOUPS 204685 WITH SCORE 205084.932
AT ITER 1125 NEW BEST:: SOT 688456 SOS 398909 HAS SOPS 391509 HAS SOUS 205092 HAS SOUPS 204045 WITH SCORE 204443.909
AT ITER 1128 NEW BEST:: SOT 688262 SOS 398715 HAS SOPS 391315 HAS SOUS 204681 HAS SOUPS 203634 WITH SCORE 204032.715
AT ITER 1129 NEW BEST:: SOT 688238 SOS 398715 HAS SOPS 391315 HAS SOUS 204633 HAS SOUPS 203586 WITH SCORE 203984.715
AT ITER 1135 NEW BEST:: SOT 688132 SOS 398378 HAS SOPS 390978 HAS SOUS 204527 HAS SOUPS 203480 WITH SCORE 203878.378
AT ITER 1144 NEW BEST:: SOT 688131 SOS 398377 HAS SOPS 390977 HAS SOUS 204522 HAS SOUPS 203475 WITH SCORE 203873.377
AT ITER 1165 NEW BEST:: SOT 683689 SOS 395312 HAS SOPS 386535 HAS SOUS 200184 HAS SOUPS 198986 WITH SCORE 199381.312
AT ITER 1175 NEW BEST:: SOT 683659 SOS 395282 HAS SOPS 386505 HAS SOUS 200174 HAS SOUPS 198976 WITH SCORE 199371.282
AT ITER 1181 NEW BEST:: SOT 683496 SOS 394816 HAS SOPS 386039 HAS SOUS 199902 HAS SOUPS 198704 WITH SCORE 199098.816
AT ITER 1183 NEW BEST:: SOT 683496 SOS 394816 HAS SOPS 386039 HAS SOUS 199832 HAS SOUPS 198634 WITH SCORE 199028.816
AT ITER 1184 NEW BEST:: SOT 683505 SOS 394825 HAS SOPS 386048 HAS SOUS 199622 HAS SOUPS 198424 WITH SCORE 198818.825
AT ITER 1213 NEW BEST:: SOT 683590 SOS 394838 HAS SOPS 386047 HAS SOUS 199621 HAS SOUPS 198423 WITH SCORE 198817.838
AT ITER 1218 NEW BEST:: SOT 683381 SOS 394211 HAS SOPS 385420 HAS SOUS 199408 HAS SOUPS 198210 WITH SCORE 198604.211
AT ITER 1224 NEW BEST:: SOT 683318 SOS 394148 HAS SOPS 385357 HAS SOUS 199387 HAS SOUPS 198189 WITH SCORE 198583.148
AT ITER 1226 NEW BEST:: SOT 683304 SOS 393967 HAS SOPS 385169 HAS SOUS 199335 HAS SOUPS 198137 WITH SCORE 198530.967
AT ITER 1233 NEW BEST:: SOT 683309 SOS 393841 HAS SOPS 385043 HAS SOUS 199277 HAS SOUPS 198079 WITH SCORE 198472.841
AT ITER 1240 NEW BEST:: SOT 683303 SOS 393856 HAS SOPS 385058 HAS SOUS 199178 HAS SOUPS 197980 WITH SCORE 198373.856
AT ITER 1242 NEW BEST:: SOT 683298 SOS 393851 HAS SOPS 385053 HAS SOUS 199173 HAS SOUPS 197975 WITH SCORE 198368.851
AT ITER 1245 NEW BEST:: SOT 683287 SOS 393818 HAS SOPS 385020 HAS SOUS 199151 HAS SOUPS 197953 WITH SCORE 198346.818
AT ITER 1247 NEW BEST:: SOT 683182 SOS 393548 HAS SOPS 384750 HAS SOUS 199032 HAS SOUPS 197834 WITH SCORE 198227.548
AT ITER 1249 NEW BEST:: SOT 683085 SOS 393451 HAS SOPS 384653 HAS SOUS 198832 HAS SOUPS 197634 WITH SCORE 198027.451
AT ITER 1251 NEW BEST:: SOT 683294 SOS 393484 HAS SOPS 384686 HAS SOUS 198689 HAS SOUPS 197491 WITH SCORE 197884.484
AT ITER 1253 NEW BEST:: SOT 683214 SOS 393445 HAS SOPS 384647 HAS SOUS 198648 HAS SOUPS 197450 WITH SCORE 197843.445
AT ITER 1269 NEW BEST:: SOT 682920 SOS 392894 HAS SOPS 384096 HAS SOUS 198363 HAS SOUPS 197165 WITH SCORE 197557.894
AT ITER 1274 NEW BEST:: SOT 682919 SOS 392893 HAS SOPS 384095 HAS SOUS 198361 HAS SOUPS 197163 WITH SCORE 197555.893
AT ITER 1275 NEW BEST:: SOT 682892 SOS 392893 HAS SOPS 384095 HAS SOUS 198334 HAS SOUPS 197136 WITH SCORE 197528.893
AT ITER 1281 NEW BEST:: SOT 682946 SOS 393521 HAS SOPS 384723 HAS SOUS 198264 HAS SOUPS 197066 WITH SCORE 197459.521
AT ITER 1313 NEW BEST:: SOT 683047 SOS 393622 HAS SOPS 384824 HAS SOUS 198160 HAS SOUPS 196962 WITH SCORE 197355.622
AT ITER 1318 NEW BEST:: SOT 683047 SOS 393622 HAS SOPS 384824 HAS SOUS 198112 HAS SOUPS 196914 WITH SCORE 197307.622
AT ITER 1322 NEW BEST:: SOT 683002 SOS 393134 HAS SOPS 384336 HAS SOUS 198048 HAS SOUPS 196850 WITH SCORE 197243.134
AT ITER 1323 NEW BEST:: SOT 682940 SOS 393103 HAS SOPS 384305 HAS SOUS 197977 HAS SOUPS 196779 WITH SCORE 197172.103
AT ITER 1335 NEW BEST:: SOT 683007 SOS 393156 HAS SOPS 384358 HAS SOUS 197966 HAS SOUPS 196768 WITH SCORE 197161.156
AT ITER 1338 NEW BEST:: SOT 683038 SOS 393187 HAS SOPS 384389 HAS SOUS 197855 HAS SOUPS 196657 WITH SCORE 197050.187
AT ITER 1339 NEW BEST:: SOT 682920 SOS 393179 HAS SOPS 384381 HAS SOUS 197817 HAS SOUPS 196619 WITH SCORE 197012.179
AT ITER 1349 NEW BEST:: SOT 682612 SOS 392711 HAS SOPS 383913 HAS SOUS 197588 HAS SOUPS 196390 WITH SCORE 196782.711
AT ITER 1369 NEW BEST:: SOT 682428 SOS 392419 HAS SOPS 383621 HAS SOUS 197467 HAS SOUPS 196269 WITH SCORE 196661.419
AT ITER 1370 NEW BEST:: SOT 682418 SOS 392373 HAS SOPS 383575 HAS SOUS 197447 HAS SOUPS 196249 WITH SCORE 196641.373
AT ITER 1372 NEW BEST:: SOT 682419 SOS 392404 HAS SOPS 383606 HAS SOUS 197428 HAS SOUPS 196230 WITH SCORE 196622.404
AT ITER 1373 NEW BEST:: SOT 682349 SOS 392166 HAS SOPS 383368 HAS SOUS 197344 HAS SOUPS 196146 WITH SCORE 196538.166
AT ITER 1378 NEW BEST:: SOT 682435 SOS 392080 HAS SOPS 383225 HAS SOUS 197287 HAS SOUPS 196089 WITH SCORE 196481.08
AT ITER 1395 NEW BEST:: SOT 682369 SOS 392014 HAS SOPS 383159 HAS SOUS 197243 HAS SOUPS 196045 WITH SCORE 196437.014
AT ITER 1397 NEW BEST:: SOT 681968 SOS 391718 HAS SOPS 382863 HAS SOUS 197028 HAS SOUPS 195830 WITH SCORE 196221.718
AT ITER 1399 NEW BEST:: SOT 681968 SOS 391818 HAS SOPS 382963 HAS SOUS 197017 HAS SOUPS 195819 WITH SCORE 196210.818
AT ITER 1404 NEW BEST:: SOT 682119 SOS 392047 HAS SOPS 383192 HAS SOUS 196973 HAS SOUPS 195775 WITH SCORE 196167.047
AT ITER 1409 NEW BEST:: SOT 682069 SOS 392042 HAS SOPS 383187 HAS SOUS 196873 HAS SOUPS 195675 WITH SCORE 196067.042
AT ITER 1417 NEW BEST:: SOT 682061 SOS 392034 HAS SOPS 383151 HAS SOUS 196855 HAS SOUPS 195657 WITH SCORE 196049.034
AT ITER 1422 NEW BEST:: SOT 682043 SOS 391992 HAS SOPS 383109 HAS SOUS 196819 HAS SOUPS 195621 WITH SCORE 196012.992
AT ITER 1423 NEW BEST:: SOT 681840 SOS 391789 HAS SOPS 382906 HAS SOUS 196413 HAS SOUPS 195215 WITH SCORE 195606.789
AT ITER 1439 NEW BEST:: SOT 681812 SOS 391764 HAS SOPS 382881 HAS SOUS 196358 HAS SOUPS 195160 WITH SCORE 195551.764
AT ITER 1451 NEW BEST:: SOT 681865 SOS 392297 HAS SOPS 383414 HAS SOUS 196338 HAS SOUPS 195140 WITH SCORE 195532.297
AT ITER 1456 NEW BEST:: SOT 681865 SOS 389255 HAS SOPS 380372 HAS SOUS 196338 HAS SOUPS 195140 WITH SCORE 195529.255
AT ITER 1458 NEW BEST:: SOT 681686 SOS 389171 HAS SOPS 380288 HAS SOUS 196226 HAS SOUPS 195028 WITH SCORE 195417.171
AT ITER 1469 NEW BEST:: SOT 681671 SOS 389141 HAS SOPS 380258 HAS SOUS 196196 HAS SOUPS 194998 WITH SCORE 195387.141
AT ITER 1472 NEW BEST:: SOT 681525 SOS 388874 HAS SOPS 379991 HAS SOUS 195482 HAS SOUPS 194284 WITH SCORE 194672.874
AT ITER 1477 NEW BEST:: SOT 681525 SOS 389314 HAS SOPS 380443 HAS SOUS 195454 HAS SOUPS 194256 WITH SCORE 194645.314
AT ITER 1478 NEW BEST:: SOT 681704 SOS 389841 HAS SOPS 380970 HAS SOUS 195410 HAS SOUPS 194212 WITH SCORE 194601.841
AT ITER 1482 NEW BEST:: SOT 681617 SOS 389667 HAS SOPS 380796 HAS SOUS 195236 HAS SOUPS 194038 WITH SCORE 194427.667
AT ITER 1491 NEW BEST:: SOT 681600 SOS 389400 HAS SOPS 380560 HAS SOUS 195125 HAS SOUPS 193927 WITH SCORE 194316.4
AT ITER 1492 NEW BEST:: SOT 681588 SOS 389388 HAS SOPS 380548 HAS SOUS 195102 HAS SOUPS 193904 WITH SCORE 194293.388
AT ITER 1493 NEW BEST:: SOT 681542 SOS 389401 HAS SOPS 380561 HAS SOUS 195044 HAS SOUPS 193846 WITH SCORE 194235.401
AT ITER 1495 NEW BEST:: SOT 681586 SOS 389415 HAS SOPS 380575 HAS SOUS 195042 HAS SOUPS 193844 WITH SCORE 194233.415
AT ITER 1499 NEW BEST:: SOT 681284 SOS 389224 HAS SOPS 380384 HAS SOUS 194778 HAS SOUPS 193580 WITH SCORE 193969.224
AT ITER 1501 NEW BEST:: SOT 681144 SOS 389178 HAS SOPS 380338 HAS SOUS 193652 HAS SOUPS 192454 WITH SCORE 192843.178
AT ITER 1513 NEW BEST:: SOT 681092 SOS 389166 HAS SOPS 380326 HAS SOUS 193508 HAS SOUPS 192310 WITH SCORE 192699.166
AT ITER 1528 NEW BEST:: SOT 681023 SOS 388076 HAS SOPS 379236 HAS SOUS 193346 HAS SOUPS 192148 WITH SCORE 192536.076
AT ITER 1545 NEW BEST:: SOT 681023 SOS 388251 HAS SOPS 379411 HAS SOUS 193259 HAS SOUPS 192061 WITH SCORE 192449.251
AT ITER 1546 NEW BEST:: SOT 681060 SOS 387799 HAS SOPS 378959 HAS SOUS 193035 HAS SOUPS 191837 WITH SCORE 192224.799
AT ITER 1550 NEW BEST:: SOT 677377 SOS 385241 HAS SOPS 375276 HAS SOUS 192278 HAS SOUPS 190962 WITH SCORE 191347.241
AT ITER 1551 NEW BEST:: SOT 677377 SOS 385241 HAS SOPS 375276 HAS SOUS 192249 HAS SOUPS 190933 WITH SCORE 191318.241
AT ITER 1557 NEW BEST:: SOT 677227 SOS 385077 HAS SOPS 375127 HAS SOUS 192186 HAS SOUPS 190870 WITH SCORE 191255.077
AT ITER 1563 NEW BEST:: SOT 677204 SOS 385054 HAS SOPS 375156 HAS SOUS 192183 HAS SOUPS 190869 WITH SCORE 191254.054
AT ITER 1565 NEW BEST:: SOT 677005 SOS 384855 HAS SOPS 374957 HAS SOUS 192018 HAS SOUPS 190704 WITH SCORE 191088.855
AT ITER 1581 NEW BEST:: SOT 677005 SOS 384855 HAS SOPS 374957 HAS SOUS 192017 HAS SOUPS 190703 WITH SCORE 191087.855
AT ITER 1592 NEW BEST:: SOT 675313 SOS 382688 HAS SOPS 372790 HAS SOUS 191535 HAS SOUPS 190221 WITH SCORE 190603.688
AT ITER 1600 NEW BEST:: SOT 675772 SOS 378546 HAS SOPS 368648 HAS SOUS 191254 HAS SOUPS 189940 WITH SCORE 190318.546
AT ITER 1601 NEW BEST:: SOT 675837 SOS 378611 HAS SOPS 368713 HAS SOUS 191252 HAS SOUPS 189938 WITH SCORE 190316.611
AT ITER 1604 NEW BEST:: SOT 675817 SOS 378591 HAS SOPS 368693 HAS SOUS 191246 HAS SOUPS 189932 WITH SCORE 190310.591
AT ITER 1608 NEW BEST:: SOT 675752 SOS 378461 HAS SOPS 368563 HAS SOUS 191134 HAS SOUPS 189820 WITH SCORE 190198.461
AT ITER 1609 NEW BEST:: SOT 675739 SOS 378361 HAS SOPS 368463 HAS SOUS 191125 HAS SOUPS 189811 WITH SCORE 190189.361
AT ITER 1614 NEW BEST:: SOT 675832 SOS 378440 HAS SOPS 368542 HAS SOUS 190946 HAS SOUPS 189632 WITH SCORE 190010.44
AT ITER 1641 NEW BEST:: SOT 675802 SOS 378380 HAS SOPS 368482 HAS SOUS 190886 HAS SOUPS 189572 WITH SCORE 189950.38
AT ITER 1645 NEW BEST:: SOT 675768 SOS 378346 HAS SOPS 368448 HAS SOUS 190818 HAS SOUPS 189504 WITH SCORE 189882.346
AT ITER 1659 NEW BEST:: SOT 675632 SOS 378211 HAS SOPS 368313 HAS SOUS 190696 HAS SOUPS 189382 WITH SCORE 189760.211
AT ITER 1661 NEW BEST:: SOT 675397 SOS 377658 HAS SOPS 367760 HAS SOUS 190461 HAS SOUPS 189147 WITH SCORE 189524.658
AT ITER 1686 NEW BEST:: SOT 675357 SOS 377514 HAS SOPS 367616 HAS SOUS 190394 HAS SOUPS 189080 WITH SCORE 189457.514
AT ITER 1687 NEW BEST:: SOT 674682 SOS 376546 HAS SOPS 366648 HAS SOUS 189627 HAS SOUPS 188313 WITH SCORE 188689.546
AT ITER 1695 NEW BEST:: SOT 674682 SOS 376524 HAS SOPS 366626 HAS SOUS 189627 HAS SOUPS 188313 WITH SCORE 188689.524
AT ITER 1720 NEW BEST:: SOT 674511 SOS 376253 HAS SOPS 366355 HAS SOUS 189341 HAS SOUPS 188027 WITH SCORE 188403.253
AT ITER 1722 NEW BEST:: SOT 674236 SOS 375990 HAS SOPS 366176 HAS SOUS 189323 HAS SOUPS 188021 WITH SCORE 188396.99
AT ITER 1735 NEW BEST:: SOT 674344 SOS 375984 HAS SOPS 366090 HAS SOUS 189018 HAS SOUPS 187716 WITH SCORE 188091.984
AT ITER 1740 NEW BEST:: SOT 674308 SOS 375966 HAS SOPS 366054 HAS SOUS 188964 HAS SOUPS 187662 WITH SCORE 188037.966
AT ITER 1742 NEW BEST:: SOT 674293 SOS 375936 HAS SOPS 366024 HAS SOUS 188809 HAS SOUPS 187507 WITH SCORE 187882.936
AT ITER 1744 NEW BEST:: SOT 674243 SOS 375894 HAS SOPS 365982 HAS SOUS 188680 HAS SOUPS 187378 WITH SCORE 187753.894
AT ITER 1745 NEW BEST:: SOT 674214 SOS 375854 HAS SOPS 366019 HAS SOUS 188627 HAS SOUPS 187325 WITH SCORE 187700.854
AT ITER 1750 NEW BEST:: SOT 674225 SOS 375915 HAS SOPS 366080 HAS SOUS 188551 HAS SOUPS 187249 WITH SCORE 187624.915
AT ITER 1757 NEW BEST:: SOT 674296 SOS 374833 HAS SOPS 365080 HAS SOUS 188515 HAS SOUPS 187213 WITH SCORE 187587.833
AT ITER 1759 NEW BEST:: SOT 674274 SOS 374789 HAS SOPS 365036 HAS SOUS 188471 HAS SOUPS 187169 WITH SCORE 187543.789
AT ITER 1762 NEW BEST:: SOT 674244 SOS 374544 HAS SOPS 364791 HAS SOUS 188342 HAS SOUPS 187040 WITH SCORE 187414.544
AT ITER 1763 NEW BEST:: SOT 674244 SOS 374544 HAS SOPS 364791 HAS SOUS 188234 HAS SOUPS 186932 WITH SCORE 187306.544
AT ITER 1773 NEW BEST:: SOT 674229 SOS 374531 HAS SOPS 364778 HAS SOUS 188204 HAS SOUPS 186902 WITH SCORE 187276.531
AT ITER 1797 NEW BEST:: SOT 674229 SOS 374508 HAS SOPS 364755 HAS SOUS 188203 HAS SOUPS 186901 WITH SCORE 187275.508
AT ITER 1799 NEW BEST:: SOT 673648 SOS 374009 HAS SOPS 364256 HAS SOUS 187610 HAS SOUPS 186308 WITH SCORE 186682.009
AT ITER 1808 NEW BEST:: SOT 673487 SOS 373894 HAS SOPS 364141 HAS SOUS 187578 HAS SOUPS 186276 WITH SCORE 186649.894
AT ITER 1816 NEW BEST:: SOT 673466 SOS 373197 HAS SOPS 363444 HAS SOUS 187361 HAS SOUPS 186059 WITH SCORE 186432.197
AT ITER 1819 NEW BEST:: SOT 671931 SOS 371724 HAS SOPS 361971 HAS SOUS 187007 HAS SOUPS 185705 WITH SCORE 186076.724
AT ITER 1825 NEW BEST:: SOT 671465 SOS 371431 HAS SOPS 361678 HAS SOUS 186899 HAS SOUPS 185597 WITH SCORE 185968.431
AT ITER 1828 NEW BEST:: SOT 670371 SOS 372012 HAS SOPS 362259 HAS SOUS 186864 HAS SOUPS 185562 WITH SCORE 185934.012
AT ITER 1829 NEW BEST:: SOT 670368 SOS 372009 HAS SOPS 362256 HAS SOUS 186861 HAS SOUPS 185559 WITH SCORE 185931.009
AT ITER 1832 NEW BEST:: SOT 670448 SOS 372089 HAS SOPS 362336 HAS SOUS 186819 HAS SOUPS 185517 WITH SCORE 185889.089
AT ITER 1833 NEW BEST:: SOT 670448 SOS 372089 HAS SOPS 362336 HAS SOUS 186815 HAS SOUPS 185513 WITH SCORE 185885.089
AT ITER 1840 NEW BEST:: SOT 670448 SOS 372217 HAS SOPS 362464 HAS SOUS 186666 HAS SOUPS 185364 WITH SCORE 185736.217
AT ITER 1850 NEW BEST:: SOT 670463 SOS 372232 HAS SOPS 362479 HAS SOUS 186642 HAS SOUPS 185340 WITH SCORE 185712.232
AT ITER 1853 NEW BEST:: SOT 670456 SOS 372304 HAS SOPS 362551 HAS SOUS 186628 HAS SOUPS 185326 WITH SCORE 185698.304
AT ITER 1854 NEW BEST:: SOT 670372 SOS 372094 HAS SOPS 362341 HAS SOUS 186502 HAS SOUPS 185200 WITH SCORE 185572.094
AT ITER 1858 NEW BEST:: SOT 670363 SOS 372094 HAS SOPS 362341 HAS SOUS 186500 HAS SOUPS 185198 WITH SCORE 185570.094
AT ITER 1880 NEW BEST:: SOT 670364 SOS 372058 HAS SOPS 362305 HAS SOUS 186477 HAS SOUPS 185175 WITH SCORE 185547.058
AT ITER 1885 NEW BEST:: SOT 670351 SOS 372206 HAS SOPS 362453 HAS SOUS 186475 HAS SOUPS 185173 WITH SCORE 185545.206
AT ITER 1890 NEW BEST:: SOT 672024 SOS 374396 HAS SOPS 364643 HAS SOUS 185286 HAS SOUPS 183984 WITH SCORE 184358.396
AT ITER 1892 NEW BEST:: SOT 671924 SOS 374296 HAS SOPS 364543 HAS SOUS 185086 HAS SOUPS 183784 WITH SCORE 184158.296
AT ITER 1896 NEW BEST:: SOT 671581 SOS 374113 HAS SOPS 364360 HAS SOUS 185080 HAS SOUPS 183778 WITH SCORE 184152.113
AT ITER 1898 NEW BEST:: SOT 671511 SOS 373863 HAS SOPS 364110 HAS SOUS 185000 HAS SOUPS 183698 WITH SCORE 184071.863
AT ITER 1908 NEW BEST:: SOT 671363 SOS 373333 HAS SOPS 363580 HAS SOUS 184704 HAS SOUPS 183402 WITH SCORE 183775.333
AT ITER 1917 NEW BEST:: SOT 671155 SOS 373125 HAS SOPS 363372 HAS SOUS 184496 HAS SOUPS 183194 WITH SCORE 183567.125
AT ITER 1918 NEW BEST:: SOT 669775 SOS 371151 HAS SOPS 361398 HAS SOUS 184048 HAS SOUPS 182746 WITH SCORE 183117.151
AT ITER 1957 NEW BEST:: SOT 669796 SOS 371678 HAS SOPS 361925 HAS SOUS 183823 HAS SOUPS 182521 WITH SCORE 182892.678
AT ITER 1962 NEW BEST:: SOT 669710 SOS 371420 HAS SOPS 361711 HAS SOUS 183737 HAS SOUPS 182435 WITH SCORE 182806.42
AT ITER 1965 NEW BEST:: SOT 669683 SOS 371366 HAS SOPS 361657 HAS SOUS 183710 HAS SOUPS 182408 WITH SCORE 182779.366
AT ITER 1966 NEW BEST:: SOT 669649 SOS 371682 HAS SOPS 362205 HAS SOUS 183517 HAS SOUPS 182215 WITH SCORE 182586.682
AT ITER 1971 NEW BEST:: SOT 669614 SOS 371657 HAS SOPS 362180 HAS SOUS 183482 HAS SOUPS 182180 WITH SCORE 182551.657
AT ITER 1972 NEW BEST:: SOT 669600 SOS 371626 HAS SOPS 362149 HAS SOUS 183468 HAS SOUPS 182166 WITH SCORE 182537.626
AT ITER 1984 NEW BEST:: SOT 669160 SOS 371566 HAS SOPS 362089 HAS SOUS 183438 HAS SOUPS 182136 WITH SCORE 182507.566
AT ITER 1988 NEW BEST:: SOT 669212 SOS 371464 HAS SOPS 361987 HAS SOUS 183402 HAS SOUPS 182100 WITH SCORE 182471.464
AT ITER 2014 NEW BEST:: SOT 668435 SOS 371215 HAS SOPS 361144 HAS SOUS 182493 HAS SOUPS 181125 WITH SCORE 181496.215
AT ITER 2021 NEW BEST:: SOT 668447 SOS 371107 HAS SOPS 361036 HAS SOUS 182481 HAS SOUPS 181113 WITH SCORE 181484.107
AT ITER 2026 NEW BEST:: SOT 668393 SOS 371053 HAS SOPS 360982 HAS SOUS 182427 HAS SOUPS 181059 WITH SCORE 181430.053
AT ITER 2032 NEW BEST:: SOT 668271 SOS 370931 HAS SOPS 360860 HAS SOUS 182296 HAS SOUPS 180928 WITH SCORE 181298.931
AT ITER 2039 NEW BEST:: SOT 668227 SOS 370711 HAS SOPS 360640 HAS SOUS 182252 HAS SOUPS 180884 WITH SCORE 181254.711
AT ITER 2042 NEW BEST:: SOT 668215 SOS 370699 HAS SOPS 360628 HAS SOUS 182228 HAS SOUPS 180860 WITH SCORE 181230.699
AT ITER 2056 NEW BEST:: SOT 668215 SOS 370681 HAS SOPS 360610 HAS SOUS 182228 HAS SOUPS 180860 WITH SCORE 181230.681
AT ITER 2060 NEW BEST:: SOT 668209 SOS 370669 HAS SOPS 360598 HAS SOUS 182216 HAS SOUPS 180848 WITH SCORE 181218.669
AT ITER 2074 NEW BEST:: SOT 668230 SOS 370741 HAS SOPS 360670 HAS SOUS 182198 HAS SOUPS 180830 WITH SCORE 181200.741
AT ITER 2083 NEW BEST:: SOT 668113 SOS 370267 HAS SOPS 360196 HAS SOUS 182083 HAS SOUPS 180715 WITH SCORE 181085.267
AT ITER 2117 NEW BEST:: SOT 668113 SOS 370267 HAS SOPS 360196 HAS SOUS 182057 HAS SOUPS 180689 WITH SCORE 181059.267
AT ITER 2160 NEW BEST:: SOT 668035 SOS 370111 HAS SOPS 360040 HAS SOUS 181972 HAS SOUPS 180604 WITH SCORE 180974.111
AT ITER 2178 NEW BEST:: SOT 667876 SOS 370056 HAS SOPS 359985 HAS SOUS 181967 HAS SOUPS 180599 WITH SCORE 180969.056
AT ITER 2184 NEW BEST:: SOT 667876 SOS 370059 HAS SOPS 359988 HAS SOUS 181966 HAS SOUPS 180598 WITH SCORE 180968.059
AT ITER 2190 NEW BEST:: SOT 667850 SOS 370059 HAS SOPS 359962 HAS SOUS 181921 HAS SOUPS 180553 WITH SCORE 180923.059
AT ITER 2191 NEW BEST:: SOT 667666 SOS 369478 HAS SOPS 359381 HAS SOUS 181553 HAS SOUPS 180185 WITH SCORE 180554.478
AT ITER 2192 NEW BEST:: SOT 667553 SOS 369706 HAS SOPS 359732 HAS SOUS 181537 HAS SOUPS 180169 WITH SCORE 180538.706
AT ITER 2218 NEW BEST:: SOT 667573 SOS 369696 HAS SOPS 359722 HAS SOUS 181525 HAS SOUPS 180157 WITH SCORE 180526.696
AT ITER 2225 NEW BEST:: SOT 667523 SOS 369653 HAS SOPS 359679 HAS SOUS 181425 HAS SOUPS 180057 WITH SCORE 180426.653
AT ITER 2227 NEW BEST:: SOT 667433 SOS 369563 HAS SOPS 359589 HAS SOUS 181383 HAS SOUPS 180015 WITH SCORE 180384.563
AT ITER 2244 NEW BEST:: SOT 667433 SOS 369547 HAS SOPS 359573 HAS SOUS 181383 HAS SOUPS 180015 WITH SCORE 180384.547
AT ITER 2247 NEW BEST:: SOT 667336 SOS 368978 HAS SOPS 358875 HAS SOUS 181269 HAS SOUPS 179901 WITH SCORE 180269.978
AT ITER 2249 NEW BEST:: SOT 667287 SOS 368929 HAS SOPS 358826 HAS SOUS 181074 HAS SOUPS 179706 WITH SCORE 180074.929
AT ITER 2251 NEW BEST:: SOT 667286 SOS 368927 HAS SOPS 358823 HAS SOUS 181070 HAS SOUPS 179702 WITH SCORE 180070.927
AT ITER 2257 NEW BEST:: SOT 667276 SOS 368897 HAS SOPS 358783 HAS SOUS 181060 HAS SOUPS 179692 WITH SCORE 180060.897
AT ITER 2268 NEW BEST:: SOT 666826 SOS 368531 HAS SOPS 358379 HAS SOUS 180568 HAS SOUPS 179200 WITH SCORE 179568.531
AT ITER 2280 NEW BEST:: SOT 666913 SOS 368925 HAS SOPS 358729 HAS SOUS 180513 HAS SOUPS 179138 WITH SCORE 179506.925
AT ITER 2281 NEW BEST:: SOT 667436 SOS 370323 HAS SOPS 360127 HAS SOUS 180467 HAS SOUPS 179092 WITH SCORE 179462.323
AT ITER 2300 NEW BEST:: SOT 667416 SOS 370303 HAS SOPS 360107 HAS SOUS 180427 HAS SOUPS 179052 WITH SCORE 179422.303
AT ITER 2304 NEW BEST:: SOT 667395 SOS 370228 HAS SOPS 360006 HAS SOUS 180385 HAS SOUPS 179010 WITH SCORE 179380.228
AT ITER 2328 NEW BEST:: SOT 666842 SOS 370012 HAS SOPS 359790 HAS SOUS 180306 HAS SOUPS 178931 WITH SCORE 179301.012
AT ITER 2329 NEW BEST:: SOT 666798 SOS 369968 HAS SOPS 359778 HAS SOUS 180187 HAS SOUPS 178812 WITH SCORE 179181.968
AT ITER 2335 NEW BEST:: SOT 666800 SOS 370075 HAS SOPS 359885 HAS SOUS 180138 HAS SOUPS 178763 WITH SCORE 179133.075
AT ITER 2347 NEW BEST:: SOT 665951 SOS 369198 HAS SOPS 359008 HAS SOUS 179117 HAS SOUPS 177742 WITH SCORE 178111.198
AT ITER 2349 NEW BEST:: SOT 666643 SOS 379323 HAS SOPS 369843 HAS SOUS 178839 HAS SOUPS 177535 WITH SCORE 177914.323
AT ITER 2350 NEW BEST:: SOT 666609 SOS 379272 HAS SOPS 369792 HAS SOUS 178788 HAS SOUPS 177484 WITH SCORE 177863.272
AT ITER 2351 NEW BEST:: SOT 666394 SOS 379057 HAS SOPS 369721 HAS SOUS 178574 HAS SOUPS 177270 WITH SCORE 177649.057
AT ITER 2368 NEW BEST:: SOT 666347 SOS 379272 HAS SOPS 369971 HAS SOUS 178480 HAS SOUPS 177176 WITH SCORE 177555.272
AT ITER 2377 NEW BEST:: SOT 666300 SOS 379251 HAS SOPS 369950 HAS SOUS 178219 HAS SOUPS 176915 WITH SCORE 177294.251
AT ITER 2389 NEW BEST:: SOT 666079 SOS 379079 HAS SOPS 369778 HAS SOUS 177901 HAS SOUPS 176597 WITH SCORE 176976.079
AT ITER 2394 NEW BEST:: SOT 666079 SOS 379051 HAS SOPS 369750 HAS SOUS 177901 HAS SOUPS 176597 WITH SCORE 176976.051
AT ITER 2397 NEW BEST:: SOT 665722 SOS 378441 HAS SOPS 369140 HAS SOUS 177451 HAS SOUPS 176147 WITH SCORE 176525.441
AT ITER 2399 NEW BEST:: SOT 665918 SOS 378535 HAS SOPS 369234 HAS SOUS 177409 HAS SOUPS 176105 WITH SCORE 176483.535
AT ITER 2401 NEW BEST:: SOT 665846 SOS 378506 HAS SOPS 369205 HAS SOUS 177265 HAS SOUPS 175961 WITH SCORE 176339.506
AT ITER 2402 NEW BEST:: SOT 665688 SOS 378165 HAS SOPS 368864 HAS SOUS 177089 HAS SOUPS 175785 WITH SCORE 176163.165
AT ITER 2404 NEW BEST:: SOT 665834 SOS 379102 HAS SOPS 369801 HAS SOUS 177076 HAS SOUPS 175772 WITH SCORE 176151.102
AT ITER 2405 NEW BEST:: SOT 665750 SOS 379060 HAS SOPS 369759 HAS SOUS 176950 HAS SOUPS 175646 WITH SCORE 176025.06
AT ITER 2409 NEW BEST:: SOT 665750 SOS 379170 HAS SOPS 369814 HAS SOUS 176896 HAS SOUPS 175592 WITH SCORE 175971.17
AT ITER 2412 NEW BEST:: SOT 665555 SOS 378975 HAS SOPS 369761 HAS SOUS 176701 HAS SOUPS 175397 WITH SCORE 175775.975
AT ITER 2418 NEW BEST:: SOT 665483 SOS 378991 HAS SOPS 369643 HAS SOUS 176629 HAS SOUPS 175325 WITH SCORE 175703.991
AT ITER 2421 NEW BEST:: SOT 665446 SOS 378916 HAS SOPS 369568 HAS SOUS 176574 HAS SOUPS 175270 WITH SCORE 175648.916
AT ITER 2422 NEW BEST:: SOT 665365 SOS 378997 HAS SOPS 369730 HAS SOUS 176550 HAS SOUPS 175246 WITH SCORE 175624.997
AT ITER 2424 NEW BEST:: SOT 665716 SOS 379725 HAS SOPS 370458 HAS SOUS 176195 HAS SOUPS 174891 WITH SCORE 175270.725
AT ITER 2429 NEW BEST:: SOT 665236 SOS 379395 HAS SOPS 370128 HAS SOUS 175618 HAS SOUPS 174314 WITH SCORE 174693.395
AT ITER 2431 NEW BEST:: SOT 665070 SOS 378960 HAS SOPS 369693 HAS SOUS 175261 HAS SOUPS 173957 WITH SCORE 174335.96
AT ITER 2441 NEW BEST:: SOT 665070 SOS 378960 HAS SOPS 369693 HAS SOUS 175257 HAS SOUPS 173953 WITH SCORE 174331.96
AT ITER 2442 NEW BEST:: SOT 665082 SOS 379260 HAS SOPS 370052 HAS SOUS 174912 HAS SOUPS 173608 WITH SCORE 173987.26
AT ITER 2444 NEW BEST:: SOT 665008 SOS 379268 HAS SOPS 370060 HAS SOUS 174837 HAS SOUPS 173533 WITH SCORE 173912.268
AT ITER 2479 NEW BEST:: SOT 665111 SOS 378542 HAS SOPS 369334 HAS SOUS 174362 HAS SOUPS 173058 WITH SCORE 173436.542
AT ITER 2483 NEW BEST:: SOT 665108 SOS 378539 HAS SOPS 369331 HAS SOUS 174302 HAS SOUPS 172998 WITH SCORE 173376.539
AT ITER 2491 NEW BEST:: SOT 664703 SOS 377848 HAS SOPS 368629 HAS SOUS 173870 HAS SOUPS 172566 WITH SCORE 172943.848
AT ITER 2494 NEW BEST:: SOT 665111 SOS 364871 HAS SOPS 355652 HAS SOUS 173360 HAS SOUPS 172056 WITH SCORE 172420.871
AT ITER 2495 NEW BEST:: SOT 665321 SOS 365081 HAS SOPS 355862 HAS SOUS 173346 HAS SOUPS 172042 WITH SCORE 172407.081
AT ITER 2500 NEW BEST:: SOT 665312 SOS 365156 HAS SOPS 355937 HAS SOUS 173344 HAS SOUPS 172040 WITH SCORE 172405.156
AT ITER 2503 NEW BEST:: SOT 665312 SOS 365147 HAS SOPS 355928 HAS SOUS 173344 HAS SOUPS 172040 WITH SCORE 172405.147
AT ITER 2511 NEW BEST:: SOT 665030 SOS 364953 HAS SOPS 355734 HAS SOUS 173074 HAS SOUPS 171770 WITH SCORE 172134.953
AT ITER 2514 NEW BEST:: SOT 665022 SOS 364945 HAS SOPS 355726 HAS SOUS 172813 HAS SOUPS 171509 WITH SCORE 171873.945
AT ITER 2524 NEW BEST:: SOT 664352 SOS 364126 HAS SOPS 354758 HAS SOUS 171946 HAS SOUPS 170642 WITH SCORE 171006.126
AT ITER 2526 NEW BEST:: SOT 664351 SOS 364172 HAS SOPS 354804 HAS SOUS 171944 HAS SOUPS 170640 WITH SCORE 171004.172
AT ITER 2538 NEW BEST:: SOT 664220 SOS 364109 HAS SOPS 354741 HAS SOUS 171796 HAS SOUPS 170492 WITH SCORE 170856.109
AT ITER 2540 NEW BEST:: SOT 664110 SOS 364299 HAS SOPS 354828 HAS SOUS 171654 HAS SOUPS 170350 WITH SCORE 170714.299
AT ITER 2542 NEW BEST:: SOT 663969 SOS 363900 HAS SOPS 354429 HAS SOUS 171372 HAS SOUPS 170068 WITH SCORE 170431.9
AT ITER 2574 NEW BEST:: SOT 663862 SOS 363763 HAS SOPS 354292 HAS SOUS 171248 HAS SOUPS 169944 WITH SCORE 170307.763
AT ITER 2595 NEW BEST:: SOT 663739 SOS 363654 HAS SOPS 354292 HAS SOUS 171248 HAS SOUPS 169944 WITH SCORE 170307.654
AT ITER 2597 NEW BEST:: SOT 663729 SOS 363592 HAS SOPS 354230 HAS SOUS 171228 HAS SOUPS 169924 WITH SCORE 170287.592
AT ITER 2607 NEW BEST:: SOT 663161 SOS 362988 HAS SOPS 353626 HAS SOUS 170884 HAS SOUPS 169580 WITH SCORE 169942.988
AT ITER 2609 NEW BEST:: SOT 663106 SOS 362745 HAS SOPS 353383 HAS SOUS 170821 HAS SOUPS 169517 WITH SCORE 169879.745
AT ITER 2617 NEW BEST:: SOT 663155 SOS 362788 HAS SOPS 353400 HAS SOUS 170721 HAS SOUPS 169417 WITH SCORE 169779.788
AT ITER 2618 NEW BEST:: SOT 663127 SOS 362778 HAS SOPS 353390 HAS SOUS 170716 HAS SOUPS 169412 WITH SCORE 169774.778
AT ITER 2632 NEW BEST:: SOT 662611 SOS 362218 HAS SOPS 352830 HAS SOUS 170396 HAS SOUPS 169092 WITH SCORE 169454.218
AT ITER 2640 NEW BEST:: SOT 662533 SOS 362060 HAS SOPS 352672 HAS SOUS 170252 HAS SOUPS 168948 WITH SCORE 169310.06
AT ITER 2645 NEW BEST:: SOT 662540 SOS 362091 HAS SOPS 352703 HAS SOUS 170139 HAS SOUPS 168835 WITH SCORE 169197.091
AT ITER 2648 NEW BEST:: SOT 662362 SOS 360912 HAS SOPS 351524 HAS SOUS 169996 HAS SOUPS 168692 WITH SCORE 169052.912
AT ITER 2649 NEW BEST:: SOT 662252 SOS 360802 HAS SOPS 351414 HAS SOUS 169776 HAS SOUPS 168472 WITH SCORE 168832.802
AT ITER 2657 NEW BEST:: SOT 662324 SOS 358634 HAS SOPS 349246 HAS SOUS 169618 HAS SOUPS 168314 WITH SCORE 168672.634
AT ITER 2661 NEW BEST:: SOT 662320 SOS 358570 HAS SOPS 349182 HAS SOUS 169554 HAS SOUPS 168250 WITH SCORE 168608.57
AT ITER 2674 NEW BEST:: SOT 662320 SOS 358603 HAS SOPS 349215 HAS SOUS 169452 HAS SOUPS 168148 WITH SCORE 168506.603
AT ITER 2681 NEW BEST:: SOT 662318 SOS 358487 HAS SOPS 349099 HAS SOUS 169448 HAS SOUPS 168144 WITH SCORE 168502.487
AT ITER 2705 NEW BEST:: SOT 662262 SOS 358431 HAS SOPS 349043 HAS SOUS 169419 HAS SOUPS 168115 WITH SCORE 168473.431
AT ITER 2720 NEW BEST:: SOT 662201 SOS 358370 HAS SOPS 348982 HAS SOUS 169297 HAS SOUPS 167993 WITH SCORE 168351.37
AT ITER 2731 NEW BEST:: SOT 662158 SOS 358257 HAS SOPS 348869 HAS SOUS 169211 HAS SOUPS 167907 WITH SCORE 168265.257
AT ITER 2733 NEW BEST:: SOT 662139 SOS 358238 HAS SOPS 348850 HAS SOUS 169173 HAS SOUPS 167869 WITH SCORE 168227.238
AT ITER 2735 NEW BEST:: SOT 662112 SOS 358127 HAS SOPS 348739 HAS SOUS 169119 HAS SOUPS 167815 WITH SCORE 168173.127
AT ITER 2744 NEW BEST:: SOT 662112 SOS 356487 HAS SOPS 347099 HAS SOUS 169119 HAS SOUPS 167815 WITH SCORE 168171.487
AT ITER 2746 NEW BEST:: SOT 662554 SOS 357006 HAS SOPS 347618 HAS SOUS 168576 HAS SOUPS 167272 WITH SCORE 167629.006
AT ITER 2749 NEW BEST:: SOT 662534 SOS 356987 HAS SOPS 347599 HAS SOUS 168536 HAS SOUPS 167232 WITH SCORE 167588.987
AT ITER 2766 NEW BEST:: SOT 662522 SOS 356939 HAS SOPS 347551 HAS SOUS 168536 HAS SOUPS 167232 WITH SCORE 167588.939
AT ITER 2769 NEW BEST:: SOT 662507 SOS 356924 HAS SOPS 347536 HAS SOUS 168521 HAS SOUPS 167217 WITH SCORE 167573.924
AT ITER 2776 NEW BEST:: SOT 662520 SOS 356956 HAS SOPS 347568 HAS SOUS 168449 HAS SOUPS 167145 WITH SCORE 167501.956
AT ITER 2780 NEW BEST:: SOT 662520 SOS 356940 HAS SOPS 347552 HAS SOUS 168449 HAS SOUPS 167145 WITH SCORE 167501.94
AT ITER 2785 NEW BEST:: SOT 662511 SOS 356931 HAS SOPS 347543 HAS SOUS 168443 HAS SOUPS 167139 WITH SCORE 167495.931
AT ITER 2796 NEW BEST:: SOT 662491 SOS 356851 HAS SOPS 347463 HAS SOUS 168403 HAS SOUPS 167099 WITH SCORE 167455.851
AT ITER 2808 NEW BEST:: SOT 662495 SOS 356878 HAS SOPS 347490 HAS SOUS 168289 HAS SOUPS 166985 WITH SCORE 167341.878
AT ITER 2812 NEW BEST:: SOT 662495 SOS 356941 HAS SOPS 347553 HAS SOUS 168240 HAS SOUPS 166936 WITH SCORE 167292.941
AT ITER 2823 NEW BEST:: SOT 662513 SOS 356977 HAS SOPS 347589 HAS SOUS 168199 HAS SOUPS 166895 WITH SCORE 167251.977
AT ITER 2824 NEW BEST:: SOT 662367 SOS 356808 HAS SOPS 347420 HAS SOUS 168030 HAS SOUPS 166726 WITH SCORE 167082.808
AT ITER 2826 NEW BEST:: SOT 662280 SOS 356425 HAS SOPS 347037 HAS SOUS 167870 HAS SOUPS 166566 WITH SCORE 166922.425
AT ITER 2827 NEW BEST:: SOT 662255 SOS 356375 HAS SOPS 346987 HAS SOUS 167820 HAS SOUPS 166516 WITH SCORE 166872.375
AT ITER 2839 NEW BEST:: SOT 662221 SOS 356341 HAS SOPS 346953 HAS SOUS 167687 HAS SOUPS 166383 WITH SCORE 166739.341
AT ITER 2864 NEW BEST:: SOT 662215 SOS 356335 HAS SOPS 346947 HAS SOUS 167681 HAS SOUPS 166377 WITH SCORE 166733.335
AT ITER 2866 NEW BEST:: SOT 662153 SOS 356292 HAS SOPS 346904 HAS SOUS 167638 HAS SOUPS 166334 WITH SCORE 166690.292
AT ITER 2879 NEW BEST:: SOT 662095 SOS 356234 HAS SOPS 346846 HAS SOUS 167522 HAS SOUPS 166218 WITH SCORE 166574.234
AT ITER 2898 NEW BEST:: SOT 662051 SOS 356264 HAS SOPS 346876 HAS SOUS 167492 HAS SOUPS 166188 WITH SCORE 166544.264
AT ITER 2901 NEW BEST:: SOT 662037 SOS 356236 HAS SOPS 346862 HAS SOUS 167492 HAS SOUPS 166188 WITH SCORE 166544.236
AT ITER 2910 NEW BEST:: SOT 661793 SOS 356062 HAS SOPS 346688 HAS SOUS 167226 HAS SOUPS 165922 WITH SCORE 166278.062
AT ITER 2921 NEW BEST:: SOT 661766 SOS 354733 HAS SOPS 345359 HAS SOUS 167205 HAS SOUPS 165901 WITH SCORE 166255.733
AT ITER 2927 NEW BEST:: SOT 661723 SOS 354623 HAS SOPS 345249 HAS SOUS 167127 HAS SOUPS 165823 WITH SCORE 166177.623
AT ITER 2931 NEW BEST:: SOT 661769 SOS 354875 HAS SOPS 345501 HAS SOUS 167011 HAS SOUPS 165707 WITH SCORE 166061.875
AT ITER 2941 NEW BEST:: SOT 661697 SOS 354723 HAS SOPS 345349 HAS SOUS 166907 HAS SOUPS 165603 WITH SCORE 165957.723
AT ITER 2948 NEW BEST:: SOT 661695 SOS 354719 HAS SOPS 345345 HAS SOUS 166903 HAS SOUPS 165599 WITH SCORE 165953.719
AT ITER 2959 NEW BEST:: SOT 661777 SOS 354885 HAS SOPS 345511 HAS SOUS 166758 HAS SOUPS 165454 WITH SCORE 165808.885
AT ITER 2964 NEW BEST:: SOT 661775 SOS 354868 HAS SOPS 345494 HAS SOUS 166754 HAS SOUPS 165450 WITH SCORE 165804.868
AT ITER 2973 NEW BEST:: SOT 661719 SOS 354810 HAS SOPS 345436 HAS SOUS 166728 HAS SOUPS 165424 WITH SCORE 165778.81
AT ITER 2975 NEW BEST:: SOT 661484 SOS 354575 HAS SOPS 345357 HAS SOUS 166487 HAS SOUPS 165183 WITH SCORE 165537.575
AT ITER 2980 NEW BEST:: SOT 661494 SOS 354646 HAS SOPS 345428 HAS SOUS 166454 HAS SOUPS 165150 WITH SCORE 165504.646
AT ITER 2990 NEW BEST:: SOT 661498 SOS 354579 HAS SOPS 345361 HAS SOUS 166435 HAS SOUPS 165131 WITH SCORE 165485.579
AT ITER 3011 NEW BEST:: SOT 661484 SOS 354537 HAS SOPS 345319 HAS SOUS 166393 HAS SOUPS 165089 WITH SCORE 165443.537
AT ITER 3013 NEW BEST:: SOT 661329 SOS 354294 HAS SOPS 345076 HAS SOUS 166321 HAS SOUPS 165017 WITH SCORE 165371.294
AT ITER 3021 NEW BEST:: SOT 661099 SOS 354064 HAS SOPS 344846 HAS SOUS 166064 HAS SOUPS 164760 WITH SCORE 165114.064
AT ITER 3029 NEW BEST:: SOT 660646 SOS 353611 HAS SOPS 344393 HAS SOUS 165846 HAS SOUPS 164542 WITH SCORE 164895.611
AT ITER 3059 NEW BEST:: SOT 660606 SOS 353571 HAS SOPS 344353 HAS SOUS 165746 HAS SOUPS 164442 WITH SCORE 164795.571
AT ITER 3072 NEW BEST:: SOT 660573 SOS 353538 HAS SOPS 344320 HAS SOUS 165703 HAS SOUPS 164399 WITH SCORE 164752.538
AT ITER 3092 NEW BEST:: SOT 660479 SOS 353445 HAS SOPS 344227 HAS SOUS 165602 HAS SOUPS 164298 WITH SCORE 164651.445
AT ITER 3109 NEW BEST:: SOT 660457 SOS 353288 HAS SOPS 344070 HAS SOUS 165495 HAS SOUPS 164191 WITH SCORE 164544.288
AT ITER 3114 NEW BEST:: SOT 660441 SOS 353243 HAS SOPS 344025 HAS SOUS 165440 HAS SOUPS 164136 WITH SCORE 164489.243
AT ITER 3118 NEW BEST:: SOT 660194 SOS 352996 HAS SOPS 343778 HAS SOUS 165304 HAS SOUPS 164000 WITH SCORE 164352.996
AT ITER 3136 NEW BEST:: SOT 660163 SOS 352965 HAS SOPS 343747 HAS SOUS 165273 HAS SOUPS 163969 WITH SCORE 164321.965
AT ITER 3159 NEW BEST:: SOT 660180 SOS 352982 HAS SOPS 343764 HAS SOUS 165272 HAS SOUPS 163968 WITH SCORE 164320.982
AT ITER 3167 NEW BEST:: SOT 660278 SOS 353184 HAS SOPS 343966 HAS SOUS 165261 HAS SOUPS 163957 WITH SCORE 164310.184
AT ITER 3180 NEW BEST:: SOT 660234 SOS 353140 HAS SOPS 343922 HAS SOUS 165217 HAS SOUPS 163913 WITH SCORE 164266.14
AT ITER 3193 NEW BEST:: SOT 660134 SOS 353040 HAS SOPS 343822 HAS SOUS 165017 HAS SOUPS 163713 WITH SCORE 164066.04
AT ITER 3220 NEW BEST:: SOT 660185 SOS 353048 HAS SOPS 343830 HAS SOUS 164990 HAS SOUPS 163686 WITH SCORE 164039.048
AT ITER 3227 NEW BEST:: SOT 660161 SOS 352984 HAS SOPS 343766 HAS SOUS 164942 HAS SOUPS 163638 WITH SCORE 163990.984
AT ITER 3247 NEW BEST:: SOT 660087 SOS 352929 HAS SOPS 343711 HAS SOUS 164850 HAS SOUPS 163546 WITH SCORE 163898.929
AT ITER 3263 NEW BEST:: SOT 660087 SOS 352767 HAS SOPS 343549 HAS SOUS 164850 HAS SOUPS 163546 WITH SCORE 163898.767
AT ITER 3265 NEW BEST:: SOT 660068 SOS 352768 HAS SOPS 343550 HAS SOUS 164831 HAS SOUPS 163527 WITH SCORE 163879.768
AT ITER 3296 NEW BEST:: SOT 660903 SOS 353585 HAS SOPS 344367 HAS SOUS 164539 HAS SOUPS 163235 WITH SCORE 163588.585
AT ITER 3309 NEW BEST:: SOT 660889 SOS 353557 HAS SOPS 344339 HAS SOUS 164511 HAS SOUPS 163207 WITH SCORE 163560.557
AT ITER 3327 NEW BEST:: SOT 660992 SOS 353648 HAS SOPS 344339 HAS SOUS 164471 HAS SOUPS 163167 WITH SCORE 163520.648
AT ITER 3332 NEW BEST:: SOT 660950 SOS 353648 HAS SOPS 344297 HAS SOUS 164387 HAS SOUPS 163083 WITH SCORE 163436.648
AT ITER 3340 NEW BEST:: SOT 660944 SOS 353644 HAS SOPS 344293 HAS SOUS 164387 HAS SOUPS 163083 WITH SCORE 163436.644
AT ITER 3346 NEW BEST:: SOT 660614 SOS 352946 HAS SOPS 343595 HAS SOUS 164361 HAS SOUPS 163057 WITH SCORE 163409.946
AT ITER 3378 NEW BEST:: SOT 660420 SOS 353340 HAS SOPS 343989 HAS SOUS 164356 HAS SOUPS 163052 WITH SCORE 163405.34
AT ITER 3395 NEW BEST:: SOT 660490 SOS 353436 HAS SOPS 344085 HAS SOUS 164158 HAS SOUPS 162854 WITH SCORE 163207.436
AT ITER 3398 NEW BEST:: SOT 660505 SOS 353452 HAS SOPS 344101 HAS SOUS 163994 HAS SOUPS 162690 WITH SCORE 163043.452
AT ITER 3418 NEW BEST:: SOT 660695 SOS 353642 HAS SOPS 344195 HAS SOUS 163983 HAS SOUPS 162672 WITH SCORE 163025.642
AT ITER 3419 NEW BEST:: SOT 660748 SOS 352767 HAS SOPS 343320 HAS SOUS 163689 HAS SOUPS 162378 WITH SCORE 162730.767
AT ITER 3424 NEW BEST:: SOT 660712 SOS 352731 HAS SOPS 343284 HAS SOUS 163653 HAS SOUPS 162342 WITH SCORE 162694.731
AT ITER 3426 NEW BEST:: SOT 660182 SOS 351791 HAS SOPS 342344 HAS SOUS 163652 HAS SOUPS 162341 WITH SCORE 162692.791
AT ITER 3466 NEW BEST:: SOT 659868 SOS 351527 HAS SOPS 342080 HAS SOUS 163302 HAS SOUPS 161991 WITH SCORE 162342.527
AT ITER 3474 NEW BEST:: SOT 659877 SOS 351536 HAS SOPS 342089 HAS SOUS 163301 HAS SOUPS 161990 WITH SCORE 162341.536
AT ITER 3480 NEW BEST:: SOT 659924 SOS 351193 HAS SOPS 341629 HAS SOUS 163047 HAS SOUPS 161724 WITH SCORE 162075.193
AT ITER 3513 NEW BEST:: SOT 659926 SOS 351180 HAS SOPS 341616 HAS SOUS 163006 HAS SOUPS 161683 WITH SCORE 162034.18
AT ITER 3522 NEW BEST:: SOT 659918 SOS 351164 HAS SOPS 341600 HAS SOUS 162990 HAS SOUPS 161667 WITH SCORE 162018.164
AT ITER 3531 NEW BEST:: SOT 659792 SOS 350912 HAS SOPS 341348 HAS SOUS 162795 HAS SOUPS 161472 WITH SCORE 161822.912
AT ITER 3538 NEW BEST:: SOT 659628 SOS 350748 HAS SOPS 341184 HAS SOUS 162467 HAS SOUPS 161144 WITH SCORE 161494.748
AT ITER 3546 NEW BEST:: SOT 659285 SOS 350414 HAS SOPS 340850 HAS SOUS 162178 HAS SOUPS 160855 WITH SCORE 161205.414
AT ITER 3547 NEW BEST:: SOT 659271 SOS 350379 HAS SOPS 340815 HAS SOUS 162157 HAS SOUPS 160834 WITH SCORE 161184.379
AT ITER 3565 NEW BEST:: SOT 659267 SOS 350375 HAS SOPS 340823 HAS SOUS 162149 HAS SOUPS 160826 WITH SCORE 161176.375
AT ITER 3569 NEW BEST:: SOT 659049 SOS 350157 HAS SOPS 340605 HAS SOUS 161931 HAS SOUPS 160608 WITH SCORE 160958.157
AT ITER 3603 NEW BEST:: SOT 658774 SOS 349984 HAS SOPS 340432 HAS SOUS 161673 HAS SOUPS 160350 WITH SCORE 160699.984
AT ITER 3612 NEW BEST:: SOT 658773 SOS 349983 HAS SOPS 340430 HAS SOUS 161671 HAS SOUPS 160348 WITH SCORE 160697.983
AT ITER 3642 NEW BEST:: SOT 658790 SOS 350000 HAS SOPS 340423 HAS SOUS 161678 HAS SOUPS 160341 WITH SCORE 160691.0
AT ITER 3689 NEW BEST:: SOT 658790 SOS 349994 HAS SOPS 340417 HAS SOUS 161676 HAS SOUPS 160339 WITH SCORE 160688.994
AT ITER 3695 NEW BEST:: SOT 658725 SOS 349929 HAS SOPS 340352 HAS SOUS 161546 HAS SOUPS 160209 WITH SCORE 160558.929
AT ITER 3713 NEW BEST:: SOT 658682 SOS 349940 HAS SOPS 340363 HAS SOUS 161537 HAS SOUPS 160200 WITH SCORE 160549.94
AT ITER 3714 NEW BEST:: SOT 658644 SOS 349902 HAS SOPS 340325 HAS SOUS 161461 HAS SOUPS 160124 WITH SCORE 160473.902
AT ITER 3716 NEW BEST:: SOT 658567 SOS 349960 HAS SOPS 340383 HAS SOUS 161295 HAS SOUPS 159958 WITH SCORE 160307.96
AT ITER 3729 NEW BEST:: SOT 658533 SOS 349926 HAS SOPS 340349 HAS SOUS 161227 HAS SOUPS 159890 WITH SCORE 160239.926
AT ITER 3736 NEW BEST:: SOT 658052 SOS 349567 HAS SOPS 340030 HAS SOUS 160536 HAS SOUPS 159211 WITH SCORE 159560.567
AT ITER 3739 NEW BEST:: SOT 657926 SOS 349483 HAS SOPS 339124 HAS SOUS 160474 HAS SOUPS 159065 WITH SCORE 159414.483
AT ITER 3740 NEW BEST:: SOT 655871 SOS 347428 HAS SOPS 337069 HAS SOUS 160130 HAS SOUPS 158721 WITH SCORE 159068.428
AT ITER 3743 NEW BEST:: SOT 655871 SOS 347428 HAS SOPS 337069 HAS SOUS 160121 HAS SOUPS 158712 WITH SCORE 159059.428
AT ITER 3744 NEW BEST:: SOT 655868 SOS 347365 HAS SOPS 337006 HAS SOUS 160118 HAS SOUPS 158709 WITH SCORE 159056.365
AT ITER 3749 NEW BEST:: SOT 654880 SOS 346352 HAS SOPS 335993 HAS SOUS 159878 HAS SOUPS 158469 WITH SCORE 158815.352
AT ITER 3755 NEW BEST:: SOT 654609 SOS 346081 HAS SOPS 335762 HAS SOUS 159607 HAS SOUPS 158198 WITH SCORE 158544.081
AT ITER 3758 NEW BEST:: SOT 654609 SOS 346081 HAS SOPS 335762 HAS SOUS 159589 HAS SOUPS 158180 WITH SCORE 158526.081
AT ITER 3767 NEW BEST:: SOT 654564 SOS 345918 HAS SOPS 335599 HAS SOUS 159499 HAS SOUPS 158090 WITH SCORE 158435.918
AT ITER 3789 NEW BEST:: SOT 654548 SOS 345807 HAS SOPS 335467 HAS SOUS 159460 HAS SOUPS 158051 WITH SCORE 158396.807
AT ITER 3807 NEW BEST:: SOT 654507 SOS 345785 HAS SOPS 335461 HAS SOUS 159421 HAS SOUPS 158019 WITH SCORE 158364.785
AT ITER 3822 NEW BEST:: SOT 654457 SOS 345792 HAS SOPS 335468 HAS SOUS 159321 HAS SOUPS 157919 WITH SCORE 158264.792
AT ITER 3834 NEW BEST:: SOT 654422 SOS 345757 HAS SOPS 335433 HAS SOUS 159251 HAS SOUPS 157849 WITH SCORE 158194.757
AT ITER 3849 NEW BEST:: SOT 654410 SOS 345698 HAS SOPS 335374 HAS SOUS 158989 HAS SOUPS 157587 WITH SCORE 157932.698
AT ITER 3864 NEW BEST:: SOT 654396 SOS 345684 HAS SOPS 335360 HAS SOUS 158961 HAS SOUPS 157559 WITH SCORE 157904.684
AT ITER 3869 NEW BEST:: SOT 654336 SOS 345594 HAS SOPS 335270 HAS SOUS 158871 HAS SOUPS 157469 WITH SCORE 157814.594
AT ITER 3871 NEW BEST:: SOT 654175 SOS 345433 HAS SOPS 335255 HAS SOUS 158841 HAS SOUPS 157439 WITH SCORE 157784.433
AT ITER 3873 NEW BEST:: SOT 654201 SOS 345387 HAS SOPS 335209 HAS SOUS 158774 HAS SOUPS 157372 WITH SCORE 157717.387
AT ITER 3876 NEW BEST:: SOT 654120 SOS 345306 HAS SOPS 335128 HAS SOUS 158508 HAS SOUPS 157106 WITH SCORE 157451.306
AT ITER 3883 NEW BEST:: SOT 654060 SOS 344948 HAS SOPS 334752 HAS SOUS 158463 HAS SOUPS 157061 WITH SCORE 157405.948
AT ITER 3913 NEW BEST:: SOT 654038 SOS 344926 HAS SOPS 334730 HAS SOUS 158420 HAS SOUPS 157018 WITH SCORE 157362.926
AT ITER 3914 NEW BEST:: SOT 654015 SOS 344851 HAS SOPS 334655 HAS SOUS 158374 HAS SOUPS 156972 WITH SCORE 157316.851
AT ITER 3915 NEW BEST:: SOT 653989 SOS 344869 HAS SOPS 334673 HAS SOUS 158322 HAS SOUPS 156920 WITH SCORE 157264.869
AT ITER 3920 NEW BEST:: SOT 653939 SOS 344819 HAS SOPS 334623 HAS SOUS 158272 HAS SOUPS 156870 WITH SCORE 157214.819
AT ITER 3925 NEW BEST:: SOT 653890 SOS 344796 HAS SOPS 334600 HAS SOUS 158226 HAS SOUPS 156824 WITH SCORE 157168.796
AT ITER 3926 NEW BEST:: SOT 655249 SOS 326643 HAS SOPS 316447 HAS SOUS 157657 HAS SOUPS 156255 WITH SCORE 156581.643
AT ITER 3933 NEW BEST:: SOT 655249 SOS 326573 HAS SOPS 316370 HAS SOUS 157650 HAS SOUPS 156248 WITH SCORE 156574.573
AT ITER 3944 NEW BEST:: SOT 655239 SOS 326553 HAS SOPS 316350 HAS SOUS 157630 HAS SOUPS 156228 WITH SCORE 156554.553
AT ITER 3949 NEW BEST:: SOT 655259 SOS 326559 HAS SOPS 316345 HAS SOUS 157575 HAS SOUPS 156173 WITH SCORE 156499.559
AT ITER 3992 NEW BEST:: SOT 655165 SOS 326465 HAS SOPS 316251 HAS SOUS 157259 HAS SOUPS 155857 WITH SCORE 156183.465
AT ITER 3999 NEW BEST:: SOT 655084 SOS 326384 HAS SOPS 316170 HAS SOUS 157097 HAS SOUPS 155695 WITH SCORE 156021.384
AT ITER 4000 NEW BEST:: SOT 654998 SOS 326782 HAS SOPS 316572 HAS SOUS 156985 HAS SOUPS 155583 WITH SCORE 155909.782
AT ITER 4014 NEW BEST:: SOT 655028 SOS 326974 HAS SOPS 316764 HAS SOUS 156960 HAS SOUPS 155558 WITH SCORE 155884.974
AT ITER 4016 NEW BEST:: SOT 655028 SOS 326970 HAS SOPS 316760 HAS SOUS 156958 HAS SOUPS 155556 WITH SCORE 155882.97
AT ITER 4017 NEW BEST:: SOT 655019 SOS 326961 HAS SOPS 316751 HAS SOUS 156949 HAS SOUPS 155547 WITH SCORE 155873.961
AT ITER 4025 NEW BEST:: SOT 655020 SOS 329818 HAS SOPS 319608 HAS SOUS 156932 HAS SOUPS 155530 WITH SCORE 155859.818
AT ITER 4047 NEW BEST:: SOT 655017 SOS 329815 HAS SOPS 319605 HAS SOUS 156926 HAS SOUPS 155524 WITH SCORE 155853.815
AT ITER 4048 NEW BEST:: SOT 654961 SOS 329803 HAS SOPS 319593 HAS SOUS 156814 HAS SOUPS 155412 WITH SCORE 155741.803
AT ITER 4060 NEW BEST:: SOT 654991 SOS 329863 HAS SOPS 319594 HAS SOUS 156756 HAS SOUPS 155354 WITH SCORE 155683.863
AT ITER 4073 NEW BEST:: SOT 655182 SOS 330068 HAS SOPS 319838 HAS SOUS 156693 HAS SOUPS 155291 WITH SCORE 155621.068
AT ITER 4091 NEW BEST:: SOT 655167 SOS 330053 HAS SOPS 319823 HAS SOUS 156663 HAS SOUPS 155261 WITH SCORE 155591.053
AT ITER 4126 NEW BEST:: SOT 655101 SOS 329472 HAS SOPS 319242 HAS SOUS 156531 HAS SOUPS 155129 WITH SCORE 155458.472
AT ITER 4144 NEW BEST:: SOT 655052 SOS 329423 HAS SOPS 319193 HAS SOUS 156433 HAS SOUPS 155031 WITH SCORE 155360.423
AT ITER 4162 NEW BEST:: SOT 654162 SOS 334022 HAS SOPS 323412 HAS SOUS 156400 HAS SOUPS 154942 WITH SCORE 155276.022
AT ITER 4206 NEW BEST:: SOT 654064 SOS 333924 HAS SOPS 323335 HAS SOUS 156122 HAS SOUPS 154664 WITH SCORE 154997.924
AT ITER 4212 NEW BEST:: SOT 654064 SOS 333924 HAS SOPS 323335 HAS SOUS 156090 HAS SOUPS 154632 WITH SCORE 154965.924
AT ITER 4213 NEW BEST:: SOT 654017 SOS 333752 HAS SOPS 323163 HAS SOUS 155996 HAS SOUPS 154538 WITH SCORE 154871.752
AT ITER 4230 NEW BEST:: SOT 654003 SOS 333745 HAS SOPS 323156 HAS SOUS 155968 HAS SOUPS 154510 WITH SCORE 154843.745
AT ITER 4250 NEW BEST:: SOT 653973 SOS 333715 HAS SOPS 323126 HAS SOUS 155938 HAS SOUPS 154480 WITH SCORE 154813.715
AT ITER 4251 NEW BEST:: SOT 653990 SOS 332436 HAS SOPS 321847 HAS SOUS 155726 HAS SOUPS 154268 WITH SCORE 154600.436
AT ITER 4258 NEW BEST:: SOT 654138 SOS 332449 HAS SOPS 321814 HAS SOUS 155693 HAS SOUPS 154235 WITH SCORE 154567.449
AT ITER 4262 NEW BEST:: SOT 654129 SOS 332437 HAS SOPS 321802 HAS SOUS 155681 HAS SOUPS 154223 WITH SCORE 154555.437
AT ITER 4279 NEW BEST:: SOT 653997 SOS 332280 HAS SOPS 321645 HAS SOUS 155515 HAS SOUPS 154057 WITH SCORE 154389.28
AT ITER 4281 NEW BEST:: SOT 654017 SOS 332300 HAS SOPS 321665 HAS SOUS 155435 HAS SOUPS 153977 WITH SCORE 154309.3
AT ITER 4291 NEW BEST:: SOT 653852 SOS 331877 HAS SOPS 321242 HAS SOUS 155292 HAS SOUPS 153834 WITH SCORE 154165.877
AT ITER 4295 NEW BEST:: SOT 653451 SOS 332978 HAS SOPS 322343 HAS SOUS 155289 HAS SOUPS 153831 WITH SCORE 154163.978
AT ITER 4297 NEW BEST:: SOT 653437 SOS 332945 HAS SOPS 322334 HAS SOUS 155285 HAS SOUPS 153827 WITH SCORE 154159.945
AT ITER 4307 NEW BEST:: SOT 653369 SOS 332881 HAS SOPS 322270 HAS SOUS 155219 HAS SOUPS 153761 WITH SCORE 154093.881
AT ITER 4315 NEW BEST:: SOT 653355 SOS 332867 HAS SOPS 322277 HAS SOUS 155205 HAS SOUPS 153747 WITH SCORE 154079.867
AT ITER 4343 NEW BEST:: SOT 652089 SOS 337176 HAS SOPS 326586 HAS SOUS 154759 HAS SOUPS 153301 WITH SCORE 153638.176
AT ITER 4375 NEW BEST:: SOT 651718 SOS 336862 HAS SOPS 326272 HAS SOUS 153904 HAS SOUPS 152446 WITH SCORE 152782.862
AT ITER 4388 NEW BEST:: SOT 651565 SOS 336250 HAS SOPS 325660 HAS SOUS 153666 HAS SOUPS 152208 WITH SCORE 152544.25
AT ITER 4396 NEW BEST:: SOT 651442 SOS 336145 HAS SOPS 325555 HAS SOUS 153561 HAS SOUPS 152103 WITH SCORE 152439.145
AT ITER 4411 NEW BEST:: SOT 651434 SOS 336137 HAS SOPS 325547 HAS SOUS 153515 HAS SOUPS 152057 WITH SCORE 152393.137
AT ITER 4431 NEW BEST:: SOT 651338 SOS 335749 HAS SOPS 325159 HAS SOUS 153408 HAS SOUPS 151950 WITH SCORE 152285.749
AT ITER 4445 NEW BEST:: SOT 651273 SOS 335684 HAS SOPS 325094 HAS SOUS 153364 HAS SOUPS 151906 WITH SCORE 152241.684
AT ITER 4461 NEW BEST:: SOT 650972 SOS 337181 HAS SOPS 326591 HAS SOUS 153220 HAS SOUPS 151762 WITH SCORE 152099.181
AT ITER 4463 NEW BEST:: SOT 650928 SOS 337107 HAS SOPS 326517 HAS SOUS 153192 HAS SOUPS 151734 WITH SCORE 152071.107
AT ITER 4481 NEW BEST:: SOT 650667 SOS 336330 HAS SOPS 325740 HAS SOUS 153024 HAS SOUPS 151566 WITH SCORE 151902.33
AT ITER 4487 NEW BEST:: SOT 650634 SOS 336264 HAS SOPS 325674 HAS SOUS 153024 HAS SOUPS 151566 WITH SCORE 151902.264
AT ITER 4504 NEW BEST:: SOT 650419 SOS 336013 HAS SOPS 325423 HAS SOUS 152615 HAS SOUPS 151157 WITH SCORE 151493.013
AT ITER 4523 NEW BEST:: SOT 650419 SOS 335993 HAS SOPS 325403 HAS SOUS 152595 HAS SOUPS 151137 WITH SCORE 151472.993
AT ITER 4536 NEW BEST:: SOT 650298 SOS 335569 HAS SOPS 325166 HAS SOUS 152476 HAS SOUPS 151018 WITH SCORE 151353.569
AT ITER 4555 NEW BEST:: SOT 650221 SOS 334059 HAS SOPS 323656 HAS SOUS 152346 HAS SOUPS 150888 WITH SCORE 151222.059
AT ITER 4558 NEW BEST:: SOT 650050 SOS 333914 HAS SOPS 323511 HAS SOUS 152331 HAS SOUPS 150873 WITH SCORE 151206.914
AT ITER 4571 NEW BEST:: SOT 649984 SOS 333799 HAS SOPS 323396 HAS SOUS 152248 HAS SOUPS 150790 WITH SCORE 151123.799
AT ITER 4572 NEW BEST:: SOT 649894 SOS 333651 HAS SOPS 323248 HAS SOUS 152100 HAS SOUPS 150642 WITH SCORE 150975.651
AT ITER 4583 NEW BEST:: SOT 649895 SOS 333684 HAS SOPS 323281 HAS SOUS 152077 HAS SOUPS 150619 WITH SCORE 150952.684
AT ITER 4595 NEW BEST:: SOT 650071 SOS 337172 HAS SOPS 328236 HAS SOUS 151836 HAS SOUPS 150466 WITH SCORE 150803.172
AT ITER 4596 NEW BEST:: SOT 650006 SOS 337107 HAS SOPS 328171 HAS SOUS 151706 HAS SOUPS 150336 WITH SCORE 150673.107
AT ITER 4601 NEW BEST:: SOT 649875 SOS 336932 HAS SOPS 327996 HAS SOUS 151628 HAS SOUPS 150258 WITH SCORE 150594.932
AT ITER 4649 NEW BEST:: SOT 649849 SOS 336914 HAS SOPS 327978 HAS SOUS 151614 HAS SOUPS 150244 WITH SCORE 150580.914
AT ITER 4662 NEW BEST:: SOT 649821 SOS 336858 HAS SOPS 327922 HAS SOUS 151555 HAS SOUPS 150185 WITH SCORE 150521.858
AT ITER 4684 NEW BEST:: SOT 649774 SOS 336759 HAS SOPS 327823 HAS SOUS 151553 HAS SOUPS 150183 WITH SCORE 150519.759
AT ITER 4704 NEW BEST:: SOT 649783 SOS 337124 HAS SOPS 328188 HAS SOUS 151209 HAS SOUPS 149839 WITH SCORE 150176.124
AT ITER 4705 NEW BEST:: SOT 649034 SOS 336204 HAS SOPS 327268 HAS SOUS 150424 HAS SOUPS 149054 WITH SCORE 149390.204
AT ITER 4721 NEW BEST:: SOT 648997 SOS 336233 HAS SOPS 327260 HAS SOUS 150309 HAS SOUPS 148939 WITH SCORE 149275.233
AT ITER 4734 NEW BEST:: SOT 648777 SOS 336181 HAS SOPS 327208 HAS SOUS 150109 HAS SOUPS 148739 WITH SCORE 149075.181
AT ITER 4746 NEW BEST:: SOT 648759 SOS 335972 HAS SOPS 326999 HAS SOUS 150080 HAS SOUPS 148710 WITH SCORE 149045.972
AT ITER 4750 NEW BEST:: SOT 648723 SOS 335872 HAS SOPS 326899 HAS SOUS 150024 HAS SOUPS 148654 WITH SCORE 148989.872
AT ITER 4757 NEW BEST:: SOT 648747 SOS 335671 HAS SOPS 326698 HAS SOUS 150004 HAS SOUPS 148634 WITH SCORE 148969.671
AT ITER 4794 NEW BEST:: SOT 648746 SOS 335663 HAS SOPS 326690 HAS SOUS 150002 HAS SOUPS 148632 WITH SCORE 148967.663
AT ITER 4832 NEW BEST:: SOT 648720 SOS 335611 HAS SOPS 326638 HAS SOUS 149976 HAS SOUPS 148606 WITH SCORE 148941.611
AT ITER 4834 NEW BEST:: SOT 648727 SOS 335573 HAS SOPS 326600 HAS SOUS 149938 HAS SOUPS 148568 WITH SCORE 148903.573
AT ITER 4855 NEW BEST:: SOT 648668 SOS 335886 HAS SOPS 326913 HAS SOUS 149922 HAS SOUPS 148552 WITH SCORE 148887.886
AT ITER 4873 NEW BEST:: SOT 648589 SOS 335874 HAS SOPS 326901 HAS SOUS 149547 HAS SOUPS 148177 WITH SCORE 148512.874
AT ITER 4876 NEW BEST:: SOT 648475 SOS 336250 HAS SOPS 326787 HAS SOUS 149335 HAS SOUPS 147916 WITH SCORE 148252.25
AT ITER 4883 NEW BEST:: SOT 648456 SOS 336203 HAS SOPS 326712 HAS SOUS 149297 HAS SOUPS 147878 WITH SCORE 148214.203
AT ITER 4904 NEW BEST:: SOT 648456 SOS 335903 HAS SOPS 326412 HAS SOUS 149297 HAS SOUPS 147878 WITH SCORE 148213.903
AT ITER 4908 NEW BEST:: SOT 648456 SOS 335903 HAS SOPS 326412 HAS SOUS 149293 HAS SOUPS 147874 WITH SCORE 148209.903
AT ITER 4909 NEW BEST:: SOT 648546 SOS 336268 HAS SOPS 326777 HAS SOUS 149103 HAS SOUPS 147684 WITH SCORE 148020.268
AT ITER 4912 NEW BEST:: SOT 648489 SOS 336739 HAS SOPS 327248 HAS SOUS 149083 HAS SOUPS 147664 WITH SCORE 148000.739
AT ITER 4937 NEW BEST:: SOT 648484 SOS 337218 HAS SOPS 327727 HAS SOUS 148747 HAS SOUPS 147328 WITH SCORE 147665.218
AT ITER 4943 NEW BEST:: SOT 648536 SOS 337377 HAS SOPS 327776 HAS SOUS 148744 HAS SOUPS 147325 WITH SCORE 147662.377
AT ITER 4961 NEW BEST:: SOT 648527 SOS 337368 HAS SOPS 327767 HAS SOUS 148729 HAS SOUPS 147310 WITH SCORE 147647.368
AT ITER 4978 NEW BEST:: SOT 648521 SOS 337148 HAS SOPS 327547 HAS SOUS 148717 HAS SOUPS 147298 WITH SCORE 147635.148
AT ITER 5000 NEW BEST:: SOT 648521 SOS 337097 HAS SOPS 327496 HAS SOUS 148666 HAS SOUPS 147247 WITH SCORE 147584.097
AT ITER 5001 NEW BEST:: SOT 648545 SOS 335906 HAS SOPS 326417 HAS SOUS 148602 HAS SOUPS 147239 WITH SCORE 147574.906
AT ITER 5003 NEW BEST:: SOT 648529 SOS 335874 HAS SOPS 326385 HAS SOUS 148570 HAS SOUPS 147207 WITH SCORE 147542.874
AT ITER 5005 NEW BEST:: SOT 648449 SOS 335794 HAS SOPS 326305 HAS SOUS 148410 HAS SOUPS 147047 WITH SCORE 147382.794
AT ITER 5016 NEW BEST:: SOT 648467 SOS 335812 HAS SOPS 326323 HAS SOUS 148380 HAS SOUPS 147017 WITH SCORE 147352.812
AT ITER 5066 NEW BEST:: SOT 648349 SOS 335694 HAS SOPS 326205 HAS SOUS 148144 HAS SOUPS 146781 WITH SCORE 147116.694
AT ITER 5070 NEW BEST:: SOT 648338 SOS 335683 HAS SOPS 326194 HAS SOUS 148137 HAS SOUPS 146774 WITH SCORE 147109.683
AT ITER 5117 NEW BEST:: SOT 648294 SOS 335639 HAS SOPS 326150 HAS SOUS 148093 HAS SOUPS 146730 WITH SCORE 147065.639
AT ITER 5131 NEW BEST:: SOT 648269 SOS 335898 HAS SOPS 326409 HAS SOUS 148043 HAS SOUPS 146680 WITH SCORE 147015.898
AT ITER 5148 NEW BEST:: SOT 648253 SOS 335930 HAS SOPS 326441 HAS SOUS 147995 HAS SOUPS 146632 WITH SCORE 146967.93
AT ITER 5161 NEW BEST:: SOT 648208 SOS 335885 HAS SOPS 326396 HAS SOUS 147950 HAS SOUPS 146587 WITH SCORE 146922.885
AT ITER 5170 NEW BEST:: SOT 648185 SOS 335838 HAS SOPS 326349 HAS SOUS 147928 HAS SOUPS 146565 WITH SCORE 146900.838
AT ITER 5199 NEW BEST:: SOT 648114 SOS 335719 HAS SOPS 326200 HAS SOUS 147850 HAS SOUPS 146487 WITH SCORE 146822.719
AT ITER 5200 NEW BEST:: SOT 647698 SOS 338769 HAS SOPS 329308 HAS SOUS 147797 HAS SOUPS 146463 WITH SCORE 146801.769
AT ITER 5201 NEW BEST:: SOT 647654 SOS 338715 HAS SOPS 329254 HAS SOUS 147743 HAS SOUPS 146409 WITH SCORE 146747.715
AT ITER 5206 NEW BEST:: SOT 647700 SOS 338761 HAS SOPS 329300 HAS SOUS 147738 HAS SOUPS 146404 WITH SCORE 146742.761
AT ITER 5208 NEW BEST:: SOT 647559 SOS 338796 HAS SOPS 329335 HAS SOUS 147589 HAS SOUPS 146255 WITH SCORE 146593.796
AT ITER 5215 NEW BEST:: SOT 647559 SOS 338772 HAS SOPS 329311 HAS SOUS 147589 HAS SOUPS 146255 WITH SCORE 146593.772
AT ITER 5216 NEW BEST:: SOT 647529 SOS 338757 HAS SOPS 329296 HAS SOUS 147529 HAS SOUPS 146195 WITH SCORE 146533.757
AT ITER 5236 NEW BEST:: SOT 647494 SOS 338752 HAS SOPS 329291 HAS SOUS 147459 HAS SOUPS 146125 WITH SCORE 146463.752
AT ITER 5250 NEW BEST:: SOT 647471 SOS 338729 HAS SOPS 329268 HAS SOUS 147425 HAS SOUPS 146091 WITH SCORE 146429.729
AT ITER 5257 NEW BEST:: SOT 647513 SOS 338856 HAS SOPS 329352 HAS SOUS 147423 HAS SOUPS 146089 WITH SCORE 146427.856
AT ITER 5260 NEW BEST:: SOT 647513 SOS 336514 HAS SOPS 327010 HAS SOUS 147423 HAS SOUPS 146089 WITH SCORE 146425.514
AT ITER 5267 NEW BEST:: SOT 646966 SOS 336851 HAS SOPS 327347 HAS SOUS 147143 HAS SOUPS 145809 WITH SCORE 146145.851
AT ITER 5290 NEW BEST:: SOT 646836 SOS 332683 HAS SOPS 324964 HAS SOUS 146698 HAS SOUPS 145479 WITH SCORE 145811.683
AT ITER 5322 NEW BEST:: SOT 646793 SOS 332552 HAS SOPS 324833 HAS SOUS 146589 HAS SOUPS 145370 WITH SCORE 145702.552
AT ITER 5329 NEW BEST:: SOT 646888 SOS 332647 HAS SOPS 324808 HAS SOUS 146407 HAS SOUPS 145188 WITH SCORE 145520.647
AT ITER 5340 NEW BEST:: SOT 646885 SOS 332647 HAS SOPS 324805 HAS SOUS 146401 HAS SOUPS 145182 WITH SCORE 145514.647
AT ITER 5353 NEW BEST:: SOT 646879 SOS 332542 HAS SOPS 324700 HAS SOUS 146370 HAS SOUPS 145151 WITH SCORE 145483.542
AT ITER 5360 NEW BEST:: SOT 646839 SOS 332502 HAS SOPS 324660 HAS SOUS 146350 HAS SOUPS 145131 WITH SCORE 145463.502
AT ITER 5364 NEW BEST:: SOT 646923 SOS 332586 HAS SOPS 324744 HAS SOUS 146343 HAS SOUPS 145124 WITH SCORE 145456.586
AT ITER 5365 NEW BEST:: SOT 646915 SOS 332578 HAS SOPS 324736 HAS SOUS 146335 HAS SOUPS 145116 WITH SCORE 145448.578
AT ITER 5378 NEW BEST:: SOT 646887 SOS 332550 HAS SOPS 324726 HAS SOUS 146315 HAS SOUPS 145096 WITH SCORE 145428.55
AT ITER 5405 NEW BEST:: SOT 646922 SOS 332644 HAS SOPS 324820 HAS SOUS 146087 HAS SOUPS 144868 WITH SCORE 145200.644
AT ITER 5411 NEW BEST:: SOT 646886 SOS 332401 HAS SOPS 324577 HAS SOUS 146084 HAS SOUPS 144865 WITH SCORE 145197.401
AT ITER 5415 NEW BEST:: SOT 646979 SOS 331933 HAS SOPS 324203 HAS SOUS 145965 HAS SOUPS 144746 WITH SCORE 145077.933
AT ITER 5418 NEW BEST:: SOT 647019 SOS 332032 HAS SOPS 324302 HAS SOUS 145935 HAS SOUPS 144716 WITH SCORE 145048.032
AT ITER 5425 NEW BEST:: SOT 647019 SOS 332032 HAS SOPS 324302 HAS SOUS 145934 HAS SOUPS 144715 WITH SCORE 145047.032
AT ITER 5428 NEW BEST:: SOT 647019 SOS 331944 HAS SOPS 324126 HAS SOUS 145846 HAS SOUPS 144627 WITH SCORE 144958.944
AT ITER 5452 NEW BEST:: SOT 647012 SOS 331942 HAS SOPS 324124 HAS SOUS 145832 HAS SOUPS 144613 WITH SCORE 144944.942
AT ITER 5461 NEW BEST:: SOT 647012 SOS 332291 HAS SOPS 324473 HAS SOUS 145747 HAS SOUPS 144528 WITH SCORE 144860.291
AT ITER 5464 NEW BEST:: SOT 647027 SOS 332316 HAS SOPS 324498 HAS SOUS 145732 HAS SOUPS 144513 WITH SCORE 144845.316
AT ITER 5470 NEW BEST:: SOT 647181 SOS 332832 HAS SOPS 325014 HAS SOUS 145630 HAS SOUPS 144411 WITH SCORE 144743.832
AT ITER 5480 NEW BEST:: SOT 647008 SOS 332412 HAS SOPS 324594 HAS SOUS 145504 HAS SOUPS 144285 WITH SCORE 144617.412
AT ITER 5487 NEW BEST:: SOT 647038 SOS 332489 HAS SOPS 324671 HAS SOUS 145471 HAS SOUPS 144252 WITH SCORE 144584.489
AT ITER 5496 NEW BEST:: SOT 647032 SOS 332317 HAS SOPS 324499 HAS SOUS 145459 HAS SOUPS 144240 WITH SCORE 144572.317
AT ITER 5500 NEW BEST:: SOT 647019 SOS 332304 HAS SOPS 324486 HAS SOUS 145433 HAS SOUPS 144214 WITH SCORE 144546.304
AT ITER 5508 NEW BEST:: SOT 646940 SOS 332225 HAS SOPS 324407 HAS SOUS 145176 HAS SOUPS 143957 WITH SCORE 144289.225
AT ITER 5524 NEW BEST:: SOT 646543 SOS 332768 HAS SOPS 324947 HAS SOUS 145160 HAS SOUPS 143941 WITH SCORE 144273.768
AT ITER 5551 NEW BEST:: SOT 646543 SOS 332600 HAS SOPS 324779 HAS SOUS 144992 HAS SOUPS 143773 WITH SCORE 144105.6
AT ITER 5560 NEW BEST:: SOT 646483 SOS 332504 HAS SOPS 324683 HAS SOUS 144944 HAS SOUPS 143725 WITH SCORE 144057.504
AT ITER 5588 NEW BEST:: SOT 646494 SOS 332702 HAS SOPS 324881 HAS SOUS 144872 HAS SOUPS 143653 WITH SCORE 143985.702
AT ITER 5589 NEW BEST:: SOT 646477 SOS 332685 HAS SOPS 324864 HAS SOUS 144821 HAS SOUPS 143602 WITH SCORE 143934.685
AT ITER 5591 NEW BEST:: SOT 646416 SOS 332625 HAS SOPS 324804 HAS SOUS 144677 HAS SOUPS 143458 WITH SCORE 143790.625
AT ITER 5600 NEW BEST:: SOT 646416 SOS 331082 HAS SOPS 323261 HAS SOUS 144677 HAS SOUPS 143458 WITH SCORE 143789.082
AT ITER 5609 NEW BEST:: SOT 646192 SOS 330928 HAS SOPS 323107 HAS SOUS 144518 HAS SOUPS 143299 WITH SCORE 143629.928
AT ITER 5610 NEW BEST:: SOT 646144 SOS 330880 HAS SOPS 323059 HAS SOUS 144422 HAS SOUPS 143203 WITH SCORE 143533.88
AT ITER 5618 NEW BEST:: SOT 646048 SOS 330821 HAS SOPS 323000 HAS SOUS 144275 HAS SOUPS 143056 WITH SCORE 143386.821
AT ITER 5622 NEW BEST:: SOT 645948 SOS 330721 HAS SOPS 322900 HAS SOUS 144250 HAS SOUPS 143031 WITH SCORE 143361.721
AT ITER 5628 NEW BEST:: SOT 645900 SOS 331015 HAS SOPS 323194 HAS SOUS 144248 HAS SOUPS 143029 WITH SCORE 143360.015
AT ITER 5632 NEW BEST:: SOT 645825 SOS 330920 HAS SOPS 323099 HAS SOUS 144073 HAS SOUPS 142854 WITH SCORE 143184.92
AT ITER 5656 NEW BEST:: SOT 645807 SOS 330902 HAS SOPS 323081 HAS SOUS 143962 HAS SOUPS 142743 WITH SCORE 143073.902
AT ITER 5679 NEW BEST:: SOT 645721 SOS 330810 HAS SOPS 322989 HAS SOUS 143956 HAS SOUPS 142737 WITH SCORE 143067.81
AT ITER 5680 NEW BEST:: SOT 645440 SOS 330518 HAS SOPS 322697 HAS SOUS 143745 HAS SOUPS 142526 WITH SCORE 142856.518
AT ITER 5701 NEW BEST:: SOT 645366 SOS 329928 HAS SOPS 322107 HAS SOUS 143730 HAS SOUPS 142511 WITH SCORE 142840.928
AT ITER 5724 NEW BEST:: SOT 645297 SOS 329859 HAS SOPS 322038 HAS SOUS 143661 HAS SOUPS 142442 WITH SCORE 142771.859
AT ITER 5730 NEW BEST:: SOT 645289 SOS 329859 HAS SOPS 322038 HAS SOUS 143639 HAS SOUPS 142420 WITH SCORE 142749.859
AT ITER 5747 NEW BEST:: SOT 644966 SOS 329428 HAS SOPS 321607 HAS SOUS 143492 HAS SOUPS 142273 WITH SCORE 142602.428
AT ITER 5749 NEW BEST:: SOT 644927 SOS 329389 HAS SOPS 321568 HAS SOUS 143453 HAS SOUPS 142234 WITH SCORE 142563.389
AT ITER 5757 NEW BEST:: SOT 645039 SOS 328305 HAS SOPS 320484 HAS SOUS 143401 HAS SOUPS 142182 WITH SCORE 142510.305
AT ITER 5776 NEW BEST:: SOT 645020 SOS 328198 HAS SOPS 320336 HAS SOUS 143324 HAS SOUPS 142105 WITH SCORE 142433.198
AT ITER 5794 NEW BEST:: SOT 645085 SOS 328261 HAS SOPS 320151 HAS SOUS 143156 HAS SOUPS 141937 WITH SCORE 142265.261
AT ITER 5799 NEW BEST:: SOT 645076 SOS 328232 HAS SOPS 320122 HAS SOUS 143138 HAS SOUPS 141919 WITH SCORE 142247.232
AT ITER 5861 NEW BEST:: SOT 644945 SOS 328101 HAS SOPS 319991 HAS SOUS 143068 HAS SOUPS 141849 WITH SCORE 142177.101
AT ITER 5862 NEW BEST:: SOT 644934 SOS 328090 HAS SOPS 319980 HAS SOUS 143013 HAS SOUPS 141794 WITH SCORE 142122.09
AT ITER 5918 NEW BEST:: SOT 644886 SOS 327994 HAS SOPS 319884 HAS SOUS 142917 HAS SOUPS 141698 WITH SCORE 142025.994
AT ITER 5939 NEW BEST:: SOT 644876 SOS 327974 HAS SOPS 319864 HAS SOUS 142897 HAS SOUPS 141678 WITH SCORE 142005.974
AT ITER 5949 NEW BEST:: SOT 644876 SOS 330058 HAS SOPS 321948 HAS SOUS 142879 HAS SOUPS 141660 WITH SCORE 141990.058
AT ITER 5966 NEW BEST:: SOT 644891 SOS 330295 HAS SOPS 322185 HAS SOUS 142761 HAS SOUPS 141542 WITH SCORE 141872.295
AT ITER 5982 NEW BEST:: SOT 644871 SOS 330369 HAS SOPS 322259 HAS SOUS 142725 HAS SOUPS 141506 WITH SCORE 141836.369
AT ITER 5984 NEW BEST:: SOT 644867 SOS 330541 HAS SOPS 322431 HAS SOUS 142717 HAS SOUPS 141498 WITH SCORE 141828.541
AT ITER 6003 NEW BEST:: SOT 644863 SOS 330567 HAS SOPS 322457 HAS SOUS 142713 HAS SOUPS 141494 WITH SCORE 141824.567
AT ITER 6017 NEW BEST:: SOT 644798 SOS 330666 HAS SOPS 322556 HAS SOUS 142694 HAS SOUPS 141475 WITH SCORE 141805.666
AT ITER 6021 NEW BEST:: SOT 644748 SOS 330576 HAS SOPS 322512 HAS SOUS 142650 HAS SOUPS 141431 WITH SCORE 141761.576
AT ITER 6027 NEW BEST:: SOT 644600 SOS 330377 HAS SOPS 322313 HAS SOUS 142451 HAS SOUPS 141232 WITH SCORE 141562.377
AT ITER 6033 NEW BEST:: SOT 644600 SOS 330391 HAS SOPS 322327 HAS SOUS 142397 HAS SOUPS 141178 WITH SCORE 141508.391
AT ITER 6054 NEW BEST:: SOT 644583 SOS 330374 HAS SOPS 322310 HAS SOUS 142397 HAS SOUPS 141178 WITH SCORE 141508.374
AT ITER 6057 NEW BEST:: SOT 644562 SOS 330342 HAS SOPS 322247 HAS SOUS 142334 HAS SOUPS 141115 WITH SCORE 141445.342
AT ITER 6075 NEW BEST:: SOT 644562 SOS 330368 HAS SOPS 322273 HAS SOUS 142282 HAS SOUPS 141063 WITH SCORE 141393.368
AT ITER 6079 NEW BEST:: SOT 644562 SOS 330357 HAS SOPS 322262 HAS SOUS 142282 HAS SOUPS 141063 WITH SCORE 141393.357
AT ITER 6135 NEW BEST:: SOT 644562 SOS 330468 HAS SOPS 322373 HAS SOUS 142245 HAS SOUPS 141026 WITH SCORE 141356.468
AT ITER 6147 NEW BEST:: SOT 644543 SOS 330452 HAS SOPS 322357 HAS SOUS 142207 HAS SOUPS 140988 WITH SCORE 141318.452
AT ITER 6187 NEW BEST:: SOT 644836 SOS 330745 HAS SOPS 322650 HAS SOUS 142188 HAS SOUPS 140969 WITH SCORE 141299.745
AT ITER 6195 NEW BEST:: SOT 644782 SOS 330659 HAS SOPS 322564 HAS SOUS 142075 HAS SOUPS 140856 WITH SCORE 141186.659
AT ITER 6212 NEW BEST:: SOT 644771 SOS 330648 HAS SOPS 322553 HAS SOUS 142064 HAS SOUPS 140845 WITH SCORE 141175.648
AT ITER 6256 NEW BEST:: SOT 644850 SOS 330707 HAS SOPS 322612 HAS SOUS 141987 HAS SOUPS 140768 WITH SCORE 141098.707
AT ITER 6267 NEW BEST:: SOT 644838 SOS 330671 HAS SOPS 322576 HAS SOUS 141963 HAS SOUPS 140744 WITH SCORE 141074.671
AT ITER 6283 NEW BEST:: SOT 644642 SOS 330475 HAS SOPS 322380 HAS SOUS 141649 HAS SOUPS 140430 WITH SCORE 140760.475
AT ITER 6308 NEW BEST:: SOT 644636 SOS 330469 HAS SOPS 322374 HAS SOUS 141643 HAS SOUPS 140424 WITH SCORE 140754.469
AT ITER 6311 NEW BEST:: SOT 644529 SOS 327302 HAS SOPS 319207 HAS SOUS 141529 HAS SOUPS 140310 WITH SCORE 140637.302
AT ITER 6315 NEW BEST:: SOT 644535 SOS 327308 HAS SOPS 319213 HAS SOUS 141501 HAS SOUPS 140282 WITH SCORE 140609.308
AT ITER 6365 NEW BEST:: SOT 644528 SOS 327115 HAS SOPS 318881 HAS SOUS 141348 HAS SOUPS 140129 WITH SCORE 140456.115
AT ITER 6368 NEW BEST:: SOT 644528 SOS 327113 HAS SOPS 318835 HAS SOUS 141302 HAS SOUPS 140083 WITH SCORE 140410.113
AT ITER 6381 NEW BEST:: SOT 644342 SOS 326941 HAS SOPS 318663 HAS SOUS 140908 HAS SOUPS 139689 WITH SCORE 140015.941
AT ITER 6396 NEW BEST:: SOT 644328 SOS 327003 HAS SOPS 318725 HAS SOUS 140757 HAS SOUPS 139538 WITH SCORE 139865.003
AT ITER 6398 NEW BEST:: SOT 644309 SOS 326984 HAS SOPS 318706 HAS SOUS 140719 HAS SOUPS 139500 WITH SCORE 139826.984
AT ITER 6402 NEW BEST:: SOT 644261 SOS 326936 HAS SOPS 318658 HAS SOUS 140647 HAS SOUPS 139428 WITH SCORE 139754.936
AT ITER 6409 NEW BEST:: SOT 644244 SOS 326919 HAS SOPS 318641 HAS SOUS 140630 HAS SOUPS 139411 WITH SCORE 139737.919
AT ITER 6412 NEW BEST:: SOT 644244 SOS 326979 HAS SOPS 318718 HAS SOUS 140553 HAS SOUPS 139334 WITH SCORE 139660.979
AT ITER 6441 NEW BEST:: SOT 644244 SOS 326993 HAS SOPS 318732 HAS SOUS 140552 HAS SOUPS 139333 WITH SCORE 139659.993
AT ITER 6455 NEW BEST:: SOT 644244 SOS 326993 HAS SOPS 318732 HAS SOUS 140510 HAS SOUPS 139291 WITH SCORE 139617.993
AT ITER 6471 NEW BEST:: SOT 644243 SOS 326990 HAS SOPS 318729 HAS SOUS 140500 HAS SOUPS 139281 WITH SCORE 139607.99
AT ITER 6475 NEW BEST:: SOT 644224 SOS 327057 HAS SOPS 318796 HAS SOUS 140462 HAS SOUPS 139243 WITH SCORE 139570.057
AT ITER 6493 NEW BEST:: SOT 644221 SOS 327054 HAS SOPS 318790 HAS SOUS 140459 HAS SOUPS 139237 WITH SCORE 139564.054
AT ITER 6501 NEW BEST:: SOT 644197 SOS 327042 HAS SOPS 318778 HAS SOUS 140423 HAS SOUPS 139201 WITH SCORE 139528.042
AT ITER 6502 NEW BEST:: SOT 644183 SOS 327545 HAS SOPS 319281 HAS SOUS 140395 HAS SOUPS 139173 WITH SCORE 139500.545
AT ITER 6506 NEW BEST:: SOT 644183 SOS 327538 HAS SOPS 319274 HAS SOUS 140388 HAS SOUPS 139166 WITH SCORE 139493.538
AT ITER 6513 NEW BEST:: SOT 644121 SOS 327476 HAS SOPS 319212 HAS SOUS 140273 HAS SOUPS 139051 WITH SCORE 139378.476
AT ITER 6516 NEW BEST:: SOT 644126 SOS 327957 HAS SOPS 319693 HAS SOUS 140189 HAS SOUPS 138967 WITH SCORE 139294.957
AT ITER 6523 NEW BEST:: SOT 644089 SOS 327920 HAS SOPS 319656 HAS SOUS 140111 HAS SOUPS 138889 WITH SCORE 139216.92
AT ITER 6551 NEW BEST:: SOT 644085 SOS 327916 HAS SOPS 319652 HAS SOUS 140103 HAS SOUPS 138881 WITH SCORE 139208.916
AT ITER 6552 NEW BEST:: SOT 644058 SOS 327803 HAS SOPS 319539 HAS SOUS 140083 HAS SOUPS 138861 WITH SCORE 139188.803
AT ITER 6553 NEW BEST:: SOT 643980 SOS 327589 HAS SOPS 319325 HAS SOUS 139996 HAS SOUPS 138774 WITH SCORE 139101.589
AT ITER 6577 NEW BEST:: SOT 643614 SOS 328285 HAS SOPS 320021 HAS SOUS 139698 HAS SOUPS 138476 WITH SCORE 138804.285
AT ITER 6599 NEW BEST:: SOT 643181 SOS 327877 HAS SOPS 319613 HAS SOUS 139514 HAS SOUPS 138292 WITH SCORE 138619.877
AT ITER 6610 NEW BEST:: SOT 643173 SOS 327876 HAS SOPS 319612 HAS SOUS 139497 HAS SOUPS 138275 WITH SCORE 138602.876
AT ITER 6611 NEW BEST:: SOT 643134 SOS 327815 HAS SOPS 319551 HAS SOUS 139441 HAS SOUPS 138219 WITH SCORE 138546.815
AT ITER 6640 NEW BEST:: SOT 643111 SOS 327734 HAS SOPS 319476 HAS SOUS 139401 HAS SOUPS 138179 WITH SCORE 138506.734
AT ITER 6653 NEW BEST:: SOT 643047 SOS 327696 HAS SOPS 319438 HAS SOUS 139351 HAS SOUPS 138129 WITH SCORE 138456.696
AT ITER 6656 NEW BEST:: SOT 643038 SOS 326884 HAS SOPS 318626 HAS SOUS 139230 HAS SOUPS 138008 WITH SCORE 138334.884
AT ITER 6672 NEW BEST:: SOT 643026 SOS 326872 HAS SOPS 318614 HAS SOUS 139218 HAS SOUPS 137996 WITH SCORE 138322.872
AT ITER 6685 NEW BEST:: SOT 642749 SOS 326595 HAS SOPS 318337 HAS SOUS 139083 HAS SOUPS 137861 WITH SCORE 138187.595
AT ITER 6689 NEW BEST:: SOT 642515 SOS 326478 HAS SOPS 318220 HAS SOUS 138861 HAS SOUPS 137639 WITH SCORE 137965.478
AT ITER 6734 NEW BEST:: SOT 642498 SOS 326461 HAS SOPS 318203 HAS SOUS 138796 HAS SOUPS 137574 WITH SCORE 137900.461
AT ITER 6736 NEW BEST:: SOT 642488 SOS 326441 HAS SOPS 318183 HAS SOUS 138781 HAS SOUPS 137559 WITH SCORE 137885.441
AT ITER 6737 NEW BEST:: SOT 642369 SOS 326322 HAS SOPS 318064 HAS SOUS 138654 HAS SOUPS 137432 WITH SCORE 137758.322
AT ITER 6755 NEW BEST:: SOT 642335 SOS 326288 HAS SOPS 318030 HAS SOUS 138541 HAS SOUPS 137319 WITH SCORE 137645.288
AT ITER 6834 NEW BEST:: SOT 642323 SOS 326264 HAS SOPS 318006 HAS SOUS 138517 HAS SOUPS 137295 WITH SCORE 137621.264
AT ITER 6876 NEW BEST:: SOT 642242 SOS 326032 HAS SOPS 317774 HAS SOUS 138289 HAS SOUPS 137067 WITH SCORE 137393.032
AT ITER 6884 NEW BEST:: SOT 642220 SOS 326010 HAS SOPS 317763 HAS SOUS 138267 HAS SOUPS 137045 WITH SCORE 137371.01
AT ITER 6893 NEW BEST:: SOT 642201 SOS 325955 HAS SOPS 317708 HAS SOUS 138265 HAS SOUPS 137043 WITH SCORE 137368.955
AT ITER 6923 NEW BEST:: SOT 642125 SOS 325982 HAS SOPS 317735 HAS SOUS 138113 HAS SOUPS 136891 WITH SCORE 137216.982
AT ITER 6960 NEW BEST:: SOT 642012 SOS 325940 HAS SOPS 317690 HAS SOUS 137897 HAS SOUPS 136675 WITH SCORE 137000.94
AT ITER 6961 NEW BEST:: SOT 641914 SOS 325685 HAS SOPS 317435 HAS SOUS 137836 HAS SOUPS 136614 WITH SCORE 136939.685
AT ITER 6973 NEW BEST:: SOT 641931 SOS 325702 HAS SOPS 317452 HAS SOUS 137828 HAS SOUPS 136606 WITH SCORE 136931.702
AT ITER 6987 NEW BEST:: SOT 641919 SOS 325726 HAS SOPS 317476 HAS SOUS 137816 HAS SOUPS 136594 WITH SCORE 136919.726
AT ITER 6991 NEW BEST:: SOT 641854 SOS 325596 HAS SOPS 317346 HAS SOUS 137686 HAS SOUPS 136464 WITH SCORE 136789.596
AT ITER 7003 NEW BEST:: SOT 641854 SOS 325835 HAS SOPS 317585 HAS SOUS 137677 HAS SOUPS 136455 WITH SCORE 136780.835
AT ITER 7013 NEW BEST:: SOT 641825 SOS 325806 HAS SOPS 317556 HAS SOUS 137655 HAS SOUPS 136433 WITH SCORE 136758.806
AT ITER 7032 NEW BEST:: SOT 641797 SOS 325778 HAS SOPS 317563 HAS SOUS 137623 HAS SOUPS 136401 WITH SCORE 136726.778
AT ITER 7041 NEW BEST:: SOT 641831 SOS 325886 HAS SOPS 317671 HAS SOUS 137611 HAS SOUPS 136389 WITH SCORE 136714.886
AT ITER 7043 NEW BEST:: SOT 642054 SOS 326020 HAS SOPS 317805 HAS SOUS 137473 HAS SOUPS 136251 WITH SCORE 136577.02
AT ITER 7053 NEW BEST:: SOT 642042 SOS 326048 HAS SOPS 317833 HAS SOUS 137459 HAS SOUPS 136237 WITH SCORE 136563.048
AT ITER 7080 NEW BEST:: SOT 641961 SOS 325821 HAS SOPS 317606 HAS SOUS 137284 HAS SOUPS 136062 WITH SCORE 136387.821
AT ITER 7121 NEW BEST:: SOT 641928 SOS 325788 HAS SOPS 317573 HAS SOUS 137251 HAS SOUPS 136029 WITH SCORE 136354.788
AT ITER 7147 NEW BEST:: SOT 641906 SOS 325766 HAS SOPS 317506 HAS SOUS 137185 HAS SOUPS 135963 WITH SCORE 136288.766
AT ITER 7164 NEW BEST:: SOT 641880 SOS 325740 HAS SOPS 317493 HAS SOUS 137169 HAS SOUPS 135960 WITH SCORE 136285.74
AT ITER 7210 NEW BEST:: SOT 641800 SOS 325428 HAS SOPS 317181 HAS SOUS 137152 HAS SOUPS 135943 WITH SCORE 136268.428
AT ITER 7224 NEW BEST:: SOT 641768 SOS 325396 HAS SOPS 317149 HAS SOUS 137136 HAS SOUPS 135927 WITH SCORE 136252.396
AT ITER 7260 NEW BEST:: SOT 641655 SOS 325283 HAS SOPS 317036 HAS SOUS 136849 HAS SOUPS 135640 WITH SCORE 135965.283
AT ITER 7293 NEW BEST:: SOT 641628 SOS 325256 HAS SOPS 317016 HAS SOUS 136822 HAS SOUPS 135613 WITH SCORE 135938.256
AT ITER 7301 NEW BEST:: SOT 641483 SOS 325111 HAS SOPS 316871 HAS SOUS 136680 HAS SOUPS 135471 WITH SCORE 135796.111
AT ITER 7302 NEW BEST:: SOT 641311 SOS 324442 HAS SOPS 316202 HAS SOUS 136457 HAS SOUPS 135248 WITH SCORE 135572.442
AT ITER 7331 NEW BEST:: SOT 641309 SOS 324026 HAS SOPS 315786 HAS SOUS 136392 HAS SOUPS 135183 WITH SCORE 135507.026
AT ITER 7333 NEW BEST:: SOT 641344 SOS 323979 HAS SOPS 315739 HAS SOUS 136300 HAS SOUPS 135091 WITH SCORE 135414.979
AT ITER 7337 NEW BEST:: SOT 641348 SOS 323979 HAS SOPS 315739 HAS SOUS 136296 HAS SOUPS 135087 WITH SCORE 135410.979
AT ITER 7362 NEW BEST:: SOT 641283 SOS 323914 HAS SOPS 315712 HAS SOUS 136282 HAS SOUPS 135073 WITH SCORE 135396.914
AT ITER 7395 NEW BEST:: SOT 641283 SOS 323910 HAS SOPS 315708 HAS SOUS 136282 HAS SOUPS 135073 WITH SCORE 135396.91
AT ITER 7412 NEW BEST:: SOT 641212 SOS 323839 HAS SOPS 315637 HAS SOUS 136211 HAS SOUPS 135002 WITH SCORE 135325.839
AT ITER 7425 NEW BEST:: SOT 641212 SOS 323827 HAS SOPS 315625 HAS SOUS 136211 HAS SOUPS 135002 WITH SCORE 135325.827
AT ITER 7457 NEW BEST:: SOT 641668 SOS 324283 HAS SOPS 316081 HAS SOUS 136094 HAS SOUPS 134885 WITH SCORE 135209.283
AT ITER 7475 NEW BEST:: SOT 641491 SOS 323911 HAS SOPS 315709 HAS SOUS 136052 HAS SOUPS 134843 WITH SCORE 135166.911
AT ITER 7496 NEW BEST:: SOT 641489 SOS 323892 HAS SOPS 315690 HAS SOUS 136048 HAS SOUPS 134839 WITH SCORE 135162.892
AT ITER 7500 NEW BEST:: SOT 641435 SOS 323838 HAS SOPS 315660 HAS SOUS 135999 HAS SOUPS 134794 WITH SCORE 135117.838
AT ITER 7511 NEW BEST:: SOT 641411 SOS 323826 HAS SOPS 315648 HAS SOUS 135951 HAS SOUPS 134746 WITH SCORE 135069.826
AT ITER 7518 NEW BEST:: SOT 641411 SOS 323812 HAS SOPS 315634 HAS SOUS 135951 HAS SOUPS 134746 WITH SCORE 135069.812
AT ITER 7542 NEW BEST:: SOT 641482 SOS 323927 HAS SOPS 315749 HAS SOUS 135949 HAS SOUPS 134744 WITH SCORE 135067.927
AT ITER 7568 NEW BEST:: SOT 641467 SOS 323902 HAS SOPS 315724 HAS SOUS 135924 HAS SOUPS 134719 WITH SCORE 135042.902
AT ITER 7645 NEW BEST:: SOT 641494 SOS 300907 HAS SOPS 292729 HAS SOUS 135719 HAS SOUPS 134514 WITH SCORE 134814.907
AT ITER 7669 NEW BEST:: SOT 641712 SOS 301091 HAS SOPS 292913 HAS SOUS 135615 HAS SOUPS 134410 WITH SCORE 134711.091
AT ITER 7702 NEW BEST:: SOT 641617 SOS 300992 HAS SOPS 292814 HAS SOUS 135553 HAS SOUPS 134348 WITH SCORE 134648.992
AT ITER 7743 NEW BEST:: SOT 641545 SOS 300938 HAS SOPS 292760 HAS SOUS 135499 HAS SOUPS 134294 WITH SCORE 134594.938
AT ITER 7770 NEW BEST:: SOT 641536 SOS 300938 HAS SOPS 292753 HAS SOUS 135481 HAS SOUPS 134276 WITH SCORE 134576.938
AT ITER 7808 NEW BEST:: SOT 641489 SOS 300891 HAS SOPS 292706 HAS SOUS 135424 HAS SOUPS 134219 WITH SCORE 134519.891
AT ITER 7832 NEW BEST:: SOT 641433 SOS 300886 HAS SOPS 292685 HAS SOUS 135375 HAS SOUPS 134170 WITH SCORE 134470.886
AT ITER 7845 NEW BEST:: SOT 641189 SOS 300729 HAS SOPS 292528 HAS SOUS 135264 HAS SOUPS 134059 WITH SCORE 134359.729
AT ITER 7849 NEW BEST:: SOT 641172 SOS 300695 HAS SOPS 292494 HAS SOUS 135230 HAS SOUPS 134025 WITH SCORE 134325.695
AT ITER 7850 NEW BEST:: SOT 641172 SOS 300577 HAS SOPS 292376 HAS SOUS 135230 HAS SOUPS 134025 WITH SCORE 134325.577
AT ITER 7855 NEW BEST:: SOT 641149 SOS 300554 HAS SOPS 292353 HAS SOUS 135184 HAS SOUPS 133979 WITH SCORE 134279.554
AT ITER 7861 NEW BEST:: SOT 641149 SOS 300538 HAS SOPS 292337 HAS SOUS 135168 HAS SOUPS 133963 WITH SCORE 134263.538
AT ITER 7886 NEW BEST:: SOT 641141 SOS 300530 HAS SOPS 292329 HAS SOUS 135152 HAS SOUPS 133947 WITH SCORE 134247.53
AT ITER 7910 NEW BEST:: SOT 641142 SOS 300531 HAS SOPS 292330 HAS SOUS 135151 HAS SOUPS 133946 WITH SCORE 134246.531
AT ITER 7921 NEW BEST:: SOT 641040 SOS 300429 HAS SOPS 292228 HAS SOUS 135093 HAS SOUPS 133888 WITH SCORE 134188.429
AT ITER 7929 NEW BEST:: SOT 641030 SOS 300439 HAS SOPS 292238 HAS SOUS 135083 HAS SOUPS 133878 WITH SCORE 134178.439
AT ITER 7997 NEW BEST:: SOT 641007 SOS 300416 HAS SOPS 292215 HAS SOUS 135037 HAS SOUPS 133832 WITH SCORE 134132.416
AT ITER 8009 NEW BEST:: SOT 640919 SOS 300425 HAS SOPS 292224 HAS SOUS 134855 HAS SOUPS 133650 WITH SCORE 133950.425
AT ITER 8025 NEW BEST:: SOT 640919 SOS 300411 HAS SOPS 292210 HAS SOUS 134841 HAS SOUPS 133636 WITH SCORE 133936.411
AT ITER 8090 NEW BEST:: SOT 640913 SOS 300427 HAS SOPS 292226 HAS SOUS 134835 HAS SOUPS 133630 WITH SCORE 133930.427
AT ITER 8102 NEW BEST:: SOT 640899 SOS 300413 HAS SOPS 292212 HAS SOUS 134807 HAS SOUPS 133602 WITH SCORE 133902.413
AT ITER 8126 NEW BEST:: SOT 640954 SOS 300501 HAS SOPS 292300 HAS SOUS 134785 HAS SOUPS 133580 WITH SCORE 133880.501
AT ITER 8128 NEW BEST:: SOT 640907 SOS 300440 HAS SOPS 292239 HAS SOUS 134678 HAS SOUPS 133473 WITH SCORE 133773.44
AT ITER 8135 NEW BEST:: SOT 640900 SOS 300431 HAS SOPS 292230 HAS SOUS 134669 HAS SOUPS 133464 WITH SCORE 133764.431
AT ITER 8136 NEW BEST:: SOT 640897 SOS 300428 HAS SOPS 292227 HAS SOUS 134663 HAS SOUPS 133458 WITH SCORE 133758.428
AT ITER 8137 NEW BEST:: SOT 640879 SOS 300410 HAS SOPS 292232 HAS SOUS 134630 HAS SOUPS 133425 WITH SCORE 133725.41
AT ITER 8141 NEW BEST:: SOT 640871 SOS 300402 HAS SOPS 292224 HAS SOUS 134614 HAS SOUPS 133409 WITH SCORE 133709.402
AT ITER 8147 NEW BEST:: SOT 640870 SOS 300400 HAS SOPS 292223 HAS SOUS 134613 HAS SOUPS 133408 WITH SCORE 133708.4
AT ITER 8149 NEW BEST:: SOT 640868 SOS 300390 HAS SOPS 292213 HAS SOUS 134611 HAS SOUPS 133406 WITH SCORE 133706.39
AT ITER 8168 NEW BEST:: SOT 640868 SOS 300390 HAS SOPS 292213 HAS SOUS 134587 HAS SOUPS 133382 WITH SCORE 133682.39
AT ITER 8218 NEW BEST:: SOT 640868 SOS 300292 HAS SOPS 292115 HAS SOUS 134587 HAS SOUPS 133382 WITH SCORE 133682.292
AT ITER 8219 NEW BEST:: SOT 640880 SOS 300292 HAS SOPS 292115 HAS SOUS 134544 HAS SOUPS 133339 WITH SCORE 133639.292
AT ITER 8242 NEW BEST:: SOT 640873 SOS 300285 HAS SOPS 292108 HAS SOUS 134537 HAS SOUPS 133332 WITH SCORE 133632.285
AT ITER 8333 NEW BEST:: SOT 640764 SOS 298055 HAS SOPS 289878 HAS SOUS 134433 HAS SOUPS 133228 WITH SCORE 133526.055
AT ITER 8338 NEW BEST:: SOT 640723 SOS 298014 HAS SOPS 289837 HAS SOUS 134429 HAS SOUPS 133224 WITH SCORE 133522.014
AT ITER 8403 NEW BEST:: SOT 640721 SOS 298012 HAS SOPS 289835 HAS SOUS 134427 HAS SOUPS 133222 WITH SCORE 133520.012
AT ITER 8428 NEW BEST:: SOT 640714 SOS 298006 HAS SOPS 289829 HAS SOUS 134427 HAS SOUPS 133222 WITH SCORE 133520.006
AT ITER 8437 NEW BEST:: SOT 640557 SOS 297849 HAS SOPS 289672 HAS SOUS 134412 HAS SOUPS 133207 WITH SCORE 133504.849
AT ITER 8464 NEW BEST:: SOT 640532 SOS 297884 HAS SOPS 289707 HAS SOUS 134377 HAS SOUPS 133172 WITH SCORE 133469.884
AT ITER 8486 NEW BEST:: SOT 640522 SOS 297851 HAS SOPS 289674 HAS SOUS 134357 HAS SOUPS 133152 WITH SCORE 133449.851
AT ITER 8510 NEW BEST:: SOT 640520 SOS 297836 HAS SOPS 289659 HAS SOUS 134335 HAS SOUPS 133130 WITH SCORE 133427.836
AT ITER 8519 NEW BEST:: SOT 640499 SOS 297794 HAS SOPS 289617 HAS SOUS 134293 HAS SOUPS 133088 WITH SCORE 133385.794
AT ITER 8529 NEW BEST:: SOT 640442 SOS 297722 HAS SOPS 289545 HAS SOUS 134195 HAS SOUPS 132990 WITH SCORE 133287.722
AT ITER 8543 NEW BEST:: SOT 640442 SOS 297638 HAS SOPS 289461 HAS SOUS 134195 HAS SOUPS 132990 WITH SCORE 133287.638
AT ITER 8607 NEW BEST:: SOT 640438 SOS 297630 HAS SOPS 289453 HAS SOUS 134189 HAS SOUPS 132984 WITH SCORE 133281.63
AT ITER 8632 NEW BEST:: SOT 640408 SOS 297570 HAS SOPS 289393 HAS SOUS 134189 HAS SOUPS 132984 WITH SCORE 133281.57
AT ITER 8643 NEW BEST:: SOT 639983 SOS 297203 HAS SOPS 289026 HAS SOUS 133998 HAS SOUPS 132793 WITH SCORE 133090.203
AT ITER 8722 NEW BEST:: SOT 639983 SOS 297203 HAS SOPS 289026 HAS SOUS 133995 HAS SOUPS 132790 WITH SCORE 133087.203
AT ITER 8731 NEW BEST:: SOT 639993 SOS 297213 HAS SOPS 289036 HAS SOUS 133988 HAS SOUPS 132783 WITH SCORE 133080.213
AT ITER 8763 NEW BEST:: SOT 639946 SOS 297166 HAS SOPS 288989 HAS SOUS 133847 HAS SOUPS 132642 WITH SCORE 132939.166
AT ITER 8773 NEW BEST:: SOT 639943 SOS 297139 HAS SOPS 288962 HAS SOUS 133838 HAS SOUPS 132633 WITH SCORE 132930.139
AT ITER 8786 NEW BEST:: SOT 639919 SOS 297185 HAS SOPS 289008 HAS SOUS 133744 HAS SOUPS 132539 WITH SCORE 132836.185
AT ITER 8815 NEW BEST:: SOT 639899 SOS 297007 HAS SOPS 288830 HAS SOUS 133704 HAS SOUPS 132499 WITH SCORE 132796.007
AT ITER 8860 NEW BEST:: SOT 639897 SOS 297003 HAS SOPS 288826 HAS SOUS 133700 HAS SOUPS 132495 WITH SCORE 132792.003
AT ITER 8864 NEW BEST:: SOT 639835 SOS 296817 HAS SOPS 288640 HAS SOUS 133576 HAS SOUPS 132371 WITH SCORE 132667.817
AT ITER 8882 NEW BEST:: SOT 639786 SOS 295612 HAS SOPS 287435 HAS SOUS 133557 HAS SOUPS 132352 WITH SCORE 132647.612
AT ITER 8883 NEW BEST:: SOT 639703 SOS 295274 HAS SOPS 287097 HAS SOUS 133348 HAS SOUPS 132143 WITH SCORE 132438.274
AT ITER 8937 NEW BEST:: SOT 639685 SOS 295250 HAS SOPS 287073 HAS SOUS 133318 HAS SOUPS 132113 WITH SCORE 132408.25
AT ITER 8954 NEW BEST:: SOT 639676 SOS 295241 HAS SOPS 287064 HAS SOUS 133312 HAS SOUPS 132107 WITH SCORE 132402.241
AT ITER 8977 NEW BEST:: SOT 639676 SOS 295386 HAS SOPS 287209 HAS SOUS 133271 HAS SOUPS 132066 WITH SCORE 132361.386
AT ITER 8995 NEW BEST:: SOT 639657 SOS 295314 HAS SOPS 287137 HAS SOUS 133267 HAS SOUPS 132062 WITH SCORE 132357.314
AT ITER 9000 NEW BEST:: SOT 639647 SOS 295234 HAS SOPS 287057 HAS SOUS 133247 HAS SOUPS 132042 WITH SCORE 132337.234
AT ITER 9043 NEW BEST:: SOT 639620 SOS 295207 HAS SOPS 287030 HAS SOUS 133221 HAS SOUPS 132016 WITH SCORE 132311.207
AT ITER 9051 NEW BEST:: SOT 639570 SOS 295157 HAS SOPS 286980 HAS SOUS 133157 HAS SOUPS 131952 WITH SCORE 132247.157
AT ITER 9053 NEW BEST:: SOT 639548 SOS 295138 HAS SOPS 286961 HAS SOUS 133099 HAS SOUPS 131894 WITH SCORE 132189.138
AT ITER 9059 NEW BEST:: SOT 639548 SOS 295173 HAS SOPS 286996 HAS SOUS 133075 HAS SOUPS 131870 WITH SCORE 132165.173
AT ITER 9093 NEW BEST:: SOT 639539 SOS 295182 HAS SOPS 287005 HAS SOUS 133066 HAS SOUPS 131861 WITH SCORE 132156.182
AT ITER 9094 NEW BEST:: SOT 639538 SOS 295181 HAS SOPS 287004 HAS SOUS 133064 HAS SOUPS 131859 WITH SCORE 132154.181
AT ITER 9099 NEW BEST:: SOT 639532 SOS 295164 HAS SOPS 286987 HAS SOUS 133061 HAS SOUPS 131856 WITH SCORE 132151.164
AT ITER 9177 NEW BEST:: SOT 639470 SOS 295122 HAS SOPS 286945 HAS SOUS 133059 HAS SOUPS 131854 WITH SCORE 132149.122
AT ITER 9178 NEW BEST:: SOT 639451 SOS 295103 HAS SOPS 286926 HAS SOUS 133043 HAS SOUPS 131838 WITH SCORE 132133.103
AT ITER 9189 NEW BEST:: SOT 639403 SOS 295055 HAS SOPS 286878 HAS SOUS 132947 HAS SOUPS 131742 WITH SCORE 132037.055
AT ITER 9202 NEW BEST:: SOT 639401 SOS 295548 HAS SOPS 287371 HAS SOUS 132778 HAS SOUPS 131573 WITH SCORE 131868.548
AT ITER 9207 NEW BEST:: SOT 639375 SOS 295222 HAS SOPS 287071 HAS SOUS 132726 HAS SOUPS 131534 WITH SCORE 131829.222
AT ITER 9226 NEW BEST:: SOT 639375 SOS 295186 HAS SOPS 287035 HAS SOUS 132690 HAS SOUPS 131498 WITH SCORE 131793.186
AT ITER 9245 NEW BEST:: SOT 639372 SOS 295183 HAS SOPS 287032 HAS SOUS 132687 HAS SOUPS 131495 WITH SCORE 131790.183
AT ITER 9247 NEW BEST:: SOT 639327 SOS 295162 HAS SOPS 287011 HAS SOUS 132552 HAS SOUPS 131360 WITH SCORE 131655.162
AT ITER 9281 NEW BEST:: SOT 639325 SOS 295162 HAS SOPS 287011 HAS SOUS 132546 HAS SOUPS 131354 WITH SCORE 131649.162
AT ITER 9287 NEW BEST:: SOT 639322 SOS 295159 HAS SOPS 287008 HAS SOUS 132540 HAS SOUPS 131348 WITH SCORE 131643.159
AT ITER 9342 NEW BEST:: SOT 639300 SOS 295148 HAS SOPS 286997 HAS SOUS 132507 HAS SOUPS 131315 WITH SCORE 131610.148
AT ITER 9405 NEW BEST:: SOT 639258 SOS 295106 HAS SOPS 286955 HAS SOUS 132425 HAS SOUPS 131233 WITH SCORE 131528.106
AT ITER 9417 NEW BEST:: SOT 639397 SOS 295205 HAS SOPS 287054 HAS SOUS 132423 HAS SOUPS 131231 WITH SCORE 131526.205
AT ITER 9459 NEW BEST:: SOT 639372 SOS 295180 HAS SOPS 287029 HAS SOUS 132375 HAS SOUPS 131183 WITH SCORE 131478.18
AT ITER 9470 NEW BEST:: SOT 638934 SOS 294742 HAS SOPS 286591 HAS SOUS 132370 HAS SOUPS 131178 WITH SCORE 131472.742
AT ITER 9494 NEW BEST:: SOT 638929 SOS 294727 HAS SOPS 286576 HAS SOUS 132358 HAS SOUPS 131166 WITH SCORE 131460.727
AT ITER 9497 NEW BEST:: SOT 638921 SOS 294719 HAS SOPS 286568 HAS SOUS 132334 HAS SOUPS 131142 WITH SCORE 131436.719
AT ITER 9569 NEW BEST:: SOT 638599 SOS 294397 HAS SOPS 286246 HAS SOUS 132099 HAS SOUPS 130907 WITH SCORE 131201.397
AT ITER 9608 NEW BEST:: SOT 638525 SOS 294299 HAS SOPS 286148 HAS SOUS 132000 HAS SOUPS 130808 WITH SCORE 131102.299
AT ITER 9612 NEW BEST:: SOT 638641 SOS 294536 HAS SOPS 286385 HAS SOUS 131995 HAS SOUPS 130803 WITH SCORE 131097.536
AT ITER 9615 NEW BEST:: SOT 638563 SOS 294380 HAS SOPS 286229 HAS SOUS 131839 HAS SOUPS 130647 WITH SCORE 130941.38
AT ITER 9616 NEW BEST:: SOT 638512 SOS 294361 HAS SOPS 286210 HAS SOUS 131804 HAS SOUPS 130612 WITH SCORE 130906.361
AT ITER 9618 NEW BEST:: SOT 638512 SOS 294361 HAS SOPS 286210 HAS SOUS 131786 HAS SOUPS 130594 WITH SCORE 130888.361
AT ITER 9619 NEW BEST:: SOT 638464 SOS 294180 HAS SOPS 286029 HAS SOUS 131589 HAS SOUPS 130397 WITH SCORE 130691.18
AT ITER 9635 NEW BEST:: SOT 638464 SOS 294180 HAS SOPS 286029 HAS SOUS 131579 HAS SOUPS 130387 WITH SCORE 130681.18
AT ITER 9662 NEW BEST:: SOT 638442 SOS 293520 HAS SOPS 285369 HAS SOUS 131532 HAS SOUPS 130340 WITH SCORE 130633.52
AT ITER 9681 NEW BEST:: SOT 638433 SOS 293511 HAS SOPS 285360 HAS SOUS 131505 HAS SOUPS 130313 WITH SCORE 130606.511
AT ITER 9698 NEW BEST:: SOT 638393 SOS 293545 HAS SOPS 285394 HAS SOUS 131424 HAS SOUPS 130232 WITH SCORE 130525.545
AT ITER 9724 NEW BEST:: SOT 638357 SOS 293491 HAS SOPS 285340 HAS SOUS 131371 HAS SOUPS 130179 WITH SCORE 130472.491
AT ITER 9730 NEW BEST:: SOT 638350 SOS 293511 HAS SOPS 285360 HAS SOUS 131357 HAS SOUPS 130165 WITH SCORE 130458.511
AT ITER 9734 NEW BEST:: SOT 638260 SOS 293465 HAS SOPS 285314 HAS SOUS 131265 HAS SOUPS 130073 WITH SCORE 130366.465
AT ITER 9737 NEW BEST:: SOT 637985 SOS 293116 HAS SOPS 284965 HAS SOUS 131171 HAS SOUPS 129979 WITH SCORE 130272.116
AT ITER 9795 NEW BEST:: SOT 637989 SOS 293120 HAS SOPS 284969 HAS SOUS 131167 HAS SOUPS 129975 WITH SCORE 130268.12
AT ITER 9801 NEW BEST:: SOT 637916 SOS 293047 HAS SOPS 284896 HAS SOUS 131064 HAS SOUPS 129872 WITH SCORE 130165.047
AT ITER 9805 NEW BEST:: SOT 638070 SOS 293211 HAS SOPS 285060 HAS SOUS 130994 HAS SOUPS 129802 WITH SCORE 130095.211
AT ITER 9816 NEW BEST:: SOT 637972 SOS 293038 HAS SOPS 284887 HAS SOUS 130848 HAS SOUPS 129656 WITH SCORE 129949.038
AT ITER 9823 NEW BEST:: SOT 637978 SOS 293005 HAS SOPS 284854 HAS SOUS 130847 HAS SOUPS 129655 WITH SCORE 129948.005
AT ITER 9828 NEW BEST:: SOT 637970 SOS 292997 HAS SOPS 284846 HAS SOUS 130847 HAS SOUPS 129655 WITH SCORE 129947.997
AT ITER 9852 NEW BEST:: SOT 637970 SOS 292715 HAS SOPS 284564 HAS SOUS 130847 HAS SOUPS 129655 WITH SCORE 129947.715
AT ITER 9885 NEW BEST:: SOT 637961 SOS 293132 HAS SOPS 284981 HAS SOUS 130829 HAS SOUPS 129637 WITH SCORE 129930.132
AT ITER 9887 NEW BEST:: SOT 637921 SOS 293092 HAS SOPS 284915 HAS SOUS 130749 HAS SOUPS 129557 WITH SCORE 129850.092
AT ITER 9912 NEW BEST:: SOT 637882 SOS 292975 HAS SOPS 284759 HAS SOUS 130632 HAS SOUPS 129440 WITH SCORE 129732.975
AT ITER 9934 NEW BEST:: SOT 638031 SOS 292835 HAS SOPS 284619 HAS SOUS 130575 HAS SOUPS 129383 WITH SCORE 129675.835
AT ITER 9951 NEW BEST:: SOT 638031 SOS 292831 HAS SOPS 284615 HAS SOUS 130575 HAS SOUPS 129383 WITH SCORE 129675.831
AT ITER 9966 NEW BEST:: SOT 638031 SOS 292740 HAS SOPS 284524 HAS SOUS 130575 HAS SOUPS 129383 WITH SCORE 129675.74
AT ITER 9983 NEW BEST:: SOT 637990 SOS 292719 HAS SOPS 284503 HAS SOUS 130493 HAS SOUPS 129301 WITH SCORE 129593.719
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11795024 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16120372 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-S02J04T10"
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-S02J04T10, 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-167873952900368"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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