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.r011-oct2-167813599700080.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ASLink-PT-05a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599700080
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.8K Feb 26 13:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 13:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 26 13:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 75K Feb 26 13:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 13:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 190K Feb 26 13:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 13:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 13:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 516K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678723042929

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=ASLink-PT-05a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 15:57:25] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 15:57:25] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 15:57:25] [INFO ] Load time of PNML (sax parser for PT used): 148 ms
[2023-03-13 15:57:25] [INFO ] Transformed 1211 places.
[2023-03-13 15:57:25] [INFO ] Transformed 1827 transitions.
[2023-03-13 15:57:25] [INFO ] Found NUPN structural information;
[2023-03-13 15:57:25] [INFO ] Parsed PT model containing 1211 places and 1827 transitions and 6877 arcs in 257 ms.
[2023-03-13 15:57:25] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1211 places, 1827 transitions and 6877 arcs took 26 ms.
Total runtime 318 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 05a
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: 1211 places, 1827 transitions, 6877 arcs.
AT ITER 0 NEW BEST:: SOT 1220961 SOS 839659 HAS SOPS 839659 HAS SOUS 531968 HAS SOUPS 531968 WITH SCORE 532807.659
AT ITER 7 NEW BEST:: SOT 1220961 SOS 839619 HAS SOPS 839619 HAS SOUS 531967 HAS SOUPS 531967 WITH SCORE 532806.619
AT ITER 16 NEW BEST:: SOT 1220194 SOS 838071 HAS SOPS 838071 HAS SOUS 530419 HAS SOUPS 530419 WITH SCORE 531257.071
AT ITER 28 NEW BEST:: SOT 1214936 SOS 833081 HAS SOPS 833081 HAS SOUS 525429 HAS SOUPS 525429 WITH SCORE 526262.081
AT ITER 39 NEW BEST:: SOT 1214448 SOS 832593 HAS SOPS 832593 HAS SOUS 524940 HAS SOUPS 524940 WITH SCORE 525772.593
AT ITER 41 NEW BEST:: SOT 1214097 SOS 829711 HAS SOPS 829711 HAS SOUS 523987 HAS SOUPS 523987 WITH SCORE 524816.711
AT ITER 42 NEW BEST:: SOT 1214097 SOS 829262 HAS SOPS 829262 HAS SOUS 523987 HAS SOUPS 523987 WITH SCORE 524816.262
AT ITER 45 NEW BEST:: SOT 1214097 SOS 829196 HAS SOPS 829196 HAS SOUS 523986 HAS SOUPS 523986 WITH SCORE 524815.196
AT ITER 46 NEW BEST:: SOT 1213895 SOS 828981 HAS SOPS 828981 HAS SOUS 523972 HAS SOUPS 523972 WITH SCORE 524800.981
AT ITER 53 NEW BEST:: SOT 1213736 SOS 828822 HAS SOPS 828822 HAS SOUS 523971 HAS SOUPS 523971 WITH SCORE 524799.822
AT ITER 56 NEW BEST:: SOT 1211707 SOS 826793 HAS SOPS 826793 HAS SOUS 521942 HAS SOUPS 521942 WITH SCORE 522768.793
AT ITER 58 NEW BEST:: SOT 1211707 SOS 826582 HAS SOPS 826582 HAS SOUS 521731 HAS SOUPS 521731 WITH SCORE 522557.582
AT ITER 61 NEW BEST:: SOT 1211684 SOS 826513 HAS SOPS 826513 HAS SOUS 521685 HAS SOUPS 521685 WITH SCORE 522511.513
AT ITER 63 NEW BEST:: SOT 1211912 SOS 825772 HAS SOPS 825772 HAS SOUS 521684 HAS SOUPS 521684 WITH SCORE 522509.772
AT ITER 71 NEW BEST:: SOT 1211912 SOS 825400 HAS SOPS 825400 HAS SOUS 521684 HAS SOUPS 521684 WITH SCORE 522509.4
AT ITER 74 NEW BEST:: SOT 1211380 SOS 825363 HAS SOPS 825363 HAS SOUS 521006 HAS SOUPS 521006 WITH SCORE 521831.363
AT ITER 80 NEW BEST:: SOT 1211006 SOS 824989 HAS SOPS 824989 HAS SOUS 521003 HAS SOUPS 521003 WITH SCORE 521827.989
AT ITER 86 NEW BEST:: SOT 1210940 SOS 825436 HAS SOPS 825436 HAS SOUS 520880 HAS SOUPS 520880 WITH SCORE 521705.436
AT ITER 87 NEW BEST:: SOT 1210573 SOS 825222 HAS SOPS 825222 HAS SOUS 520880 HAS SOUPS 520880 WITH SCORE 521705.222
AT ITER 105 NEW BEST:: SOT 1210845 SOS 824309 HAS SOPS 824309 HAS SOUS 520874 HAS SOUPS 520874 WITH SCORE 521698.309
AT ITER 117 NEW BEST:: SOT 1210845 SOS 824296 HAS SOPS 824296 HAS SOUS 520861 HAS SOUPS 520861 WITH SCORE 521685.296
AT ITER 124 NEW BEST:: SOT 1210938 SOS 823875 HAS SOPS 823875 HAS SOUS 520449 HAS SOUPS 520449 WITH SCORE 521272.875
AT ITER 129 NEW BEST:: SOT 1210735 SOS 823258 HAS SOPS 823258 HAS SOUS 520016 HAS SOUPS 520016 WITH SCORE 520839.258
AT ITER 131 NEW BEST:: SOT 1207838 SOS 820361 HAS SOPS 820361 HAS SOUS 517119 HAS SOUPS 517119 WITH SCORE 517939.361
AT ITER 143 NEW BEST:: SOT 1207498 SOS 820021 HAS SOPS 820021 HAS SOUS 516778 HAS SOUPS 516778 WITH SCORE 517598.021
AT ITER 147 NEW BEST:: SOT 1202746 SOS 817396 HAS SOPS 817396 HAS SOUS 511689 HAS SOUPS 511689 WITH SCORE 512506.396
AT ITER 150 NEW BEST:: SOT 1203819 SOS 818036 HAS SOPS 818036 HAS SOUS 511566 HAS SOUPS 511566 WITH SCORE 512384.036
AT ITER 157 NEW BEST:: SOT 1203819 SOS 815054 HAS SOPS 815054 HAS SOUS 511560 HAS SOUPS 511560 WITH SCORE 512375.054
AT ITER 160 NEW BEST:: SOT 1203173 SOS 810569 HAS SOPS 810569 HAS SOUS 510451 HAS SOUPS 510451 WITH SCORE 511261.569
AT ITER 167 NEW BEST:: SOT 1203213 SOS 809908 HAS SOPS 809908 HAS SOUS 509129 HAS SOUPS 509129 WITH SCORE 509938.908
AT ITER 170 NEW BEST:: SOT 1202229 SOS 809427 HAS SOPS 809427 HAS SOUS 508638 HAS SOUPS 508638 WITH SCORE 509447.427
AT ITER 171 NEW BEST:: SOT 1201708 SOS 808906 HAS SOPS 808906 HAS SOUS 508117 HAS SOUPS 508117 WITH SCORE 508925.906
AT ITER 177 NEW BEST:: SOT 1201096 SOS 807907 HAS SOPS 807907 HAS SOUS 506816 HAS SOUPS 506816 WITH SCORE 507623.907
AT ITER 179 NEW BEST:: SOT 1200366 SOS 807177 HAS SOPS 807177 HAS SOUS 506086 HAS SOUPS 506086 WITH SCORE 506893.177
AT ITER 185 NEW BEST:: SOT 1200451 SOS 807206 HAS SOPS 807206 HAS SOUS 505575 HAS SOUPS 505575 WITH SCORE 506382.206
AT ITER 194 NEW BEST:: SOT 1200167 SOS 806636 HAS SOPS 806636 HAS SOUS 505005 HAS SOUPS 505005 WITH SCORE 505811.636
AT ITER 202 NEW BEST:: SOT 1199741 SOS 805561 HAS SOPS 805561 HAS SOUS 503998 HAS SOUPS 503998 WITH SCORE 504803.561
AT ITER 206 NEW BEST:: SOT 1199855 SOS 805561 HAS SOPS 805561 HAS SOUS 503884 HAS SOUPS 503884 WITH SCORE 504689.561
AT ITER 208 NEW BEST:: SOT 1198736 SOS 807407 HAS SOPS 807407 HAS SOUS 503652 HAS SOUPS 503652 WITH SCORE 504459.407
AT ITER 214 NEW BEST:: SOT 1198736 SOS 807407 HAS SOPS 807407 HAS SOUS 503646 HAS SOUPS 503646 WITH SCORE 504453.407
AT ITER 215 NEW BEST:: SOT 1197658 SOS 808188 HAS SOPS 808188 HAS SOUS 503295 HAS SOUPS 503295 WITH SCORE 504103.188
AT ITER 216 NEW BEST:: SOT 1197213 SOS 807095 HAS SOPS 807095 HAS SOUS 502382 HAS SOUPS 502382 WITH SCORE 503189.095
AT ITER 217 NEW BEST:: SOT 1196509 SOS 806653 HAS SOPS 806653 HAS SOUS 502361 HAS SOUPS 502361 WITH SCORE 503167.653
AT ITER 237 NEW BEST:: SOT 1196508 SOS 806595 HAS SOPS 806595 HAS SOUS 502301 HAS SOUPS 502301 WITH SCORE 503107.595
AT ITER 244 NEW BEST:: SOT 1196508 SOS 806536 HAS SOPS 806536 HAS SOUS 502297 HAS SOUPS 502297 WITH SCORE 503103.536
AT ITER 245 NEW BEST:: SOT 1196286 SOS 806314 HAS SOPS 806314 HAS SOUS 502278 HAS SOUPS 502278 WITH SCORE 503084.314
AT ITER 248 NEW BEST:: SOT 1196247 SOS 806309 HAS SOPS 806309 HAS SOUS 502273 HAS SOUPS 502273 WITH SCORE 503079.309
AT ITER 255 NEW BEST:: SOT 1195849 SOS 806307 HAS SOPS 806307 HAS SOUS 502269 HAS SOUPS 502269 WITH SCORE 503075.307
AT ITER 256 NEW BEST:: SOT 1194987 SOS 805445 HAS SOPS 805445 HAS SOUS 501405 HAS SOUPS 501405 WITH SCORE 502210.445
AT ITER 266 NEW BEST:: SOT 1194374 SOS 803794 HAS SOPS 803794 HAS SOUS 499754 HAS SOUPS 499754 WITH SCORE 500557.794
AT ITER 273 NEW BEST:: SOT 1194243 SOS 803663 HAS SOPS 803663 HAS SOUS 499623 HAS SOUPS 499623 WITH SCORE 500426.663
AT ITER 274 NEW BEST:: SOT 1193647 SOS 803067 HAS SOPS 803067 HAS SOUS 499027 HAS SOUPS 499027 WITH SCORE 499830.067
AT ITER 278 NEW BEST:: SOT 1193358 SOS 802722 HAS SOPS 802722 HAS SOUS 499027 HAS SOUPS 499027 WITH SCORE 499829.722
AT ITER 279 NEW BEST:: SOT 1182428 SOS 798477 HAS SOPS 798477 HAS SOUS 488587 HAS SOUPS 488587 WITH SCORE 489385.477
AT ITER 280 NEW BEST:: SOT 1182574 SOS 798475 HAS SOPS 798475 HAS SOUS 488487 HAS SOUPS 488487 WITH SCORE 489285.475
AT ITER 282 NEW BEST:: SOT 1182568 SOS 798456 HAS SOPS 798456 HAS SOUS 488468 HAS SOUPS 488468 WITH SCORE 489266.456
AT ITER 303 NEW BEST:: SOT 1182565 SOS 798438 HAS SOPS 798438 HAS SOUS 488459 HAS SOUPS 488459 WITH SCORE 489257.438
AT ITER 307 NEW BEST:: SOT 1182196 SOS 797073 HAS SOPS 797073 HAS SOUS 487587 HAS SOUPS 487587 WITH SCORE 488384.073
AT ITER 310 NEW BEST:: SOT 1182196 SOS 797011 HAS SOPS 797011 HAS SOUS 487587 HAS SOUPS 487587 WITH SCORE 488384.011
AT ITER 313 NEW BEST:: SOT 1181872 SOS 794419 HAS SOPS 794419 HAS SOUS 486918 HAS SOUPS 486918 WITH SCORE 487712.419
AT ITER 317 NEW BEST:: SOT 1181618 SOS 793578 HAS SOPS 793578 HAS SOUS 486037 HAS SOUPS 486037 WITH SCORE 486830.578
AT ITER 321 NEW BEST:: SOT 1181587 SOS 793547 HAS SOPS 793547 HAS SOUS 486005 HAS SOUPS 486005 WITH SCORE 486798.547
AT ITER 327 NEW BEST:: SOT 1181587 SOS 792800 HAS SOPS 792800 HAS SOUS 486004 HAS SOUPS 486004 WITH SCORE 486796.8
AT ITER 332 NEW BEST:: SOT 1181587 SOS 792771 HAS SOPS 792771 HAS SOUS 486001 HAS SOUPS 486001 WITH SCORE 486793.771
AT ITER 334 NEW BEST:: SOT 1181254 SOS 792438 HAS SOPS 792438 HAS SOUS 485816 HAS SOUPS 485816 WITH SCORE 486608.438
AT ITER 338 NEW BEST:: SOT 1179928 SOS 793487 HAS SOPS 793487 HAS SOUS 484957 HAS SOUPS 484957 WITH SCORE 485750.487
AT ITER 344 NEW BEST:: SOT 1180110 SOS 793347 HAS SOPS 793347 HAS SOUS 484593 HAS SOUPS 484593 WITH SCORE 485386.347
AT ITER 353 NEW BEST:: SOT 1180030 SOS 792789 HAS SOPS 792789 HAS SOUS 484447 HAS SOUPS 484447 WITH SCORE 485239.789
AT ITER 354 NEW BEST:: SOT 1179802 SOS 792036 HAS SOPS 792036 HAS SOUS 484447 HAS SOUPS 484447 WITH SCORE 485239.036
AT ITER 373 NEW BEST:: SOT 1179504 SOS 791897 HAS SOPS 791897 HAS SOUS 484109 HAS SOUPS 484109 WITH SCORE 484900.897
AT ITER 375 NEW BEST:: SOT 1179494 SOS 791889 HAS SOPS 791889 HAS SOUS 484101 HAS SOUPS 484101 WITH SCORE 484892.889
AT ITER 377 NEW BEST:: SOT 1179076 SOS 791470 HAS SOPS 791470 HAS SOUS 483588 HAS SOUPS 483588 WITH SCORE 484379.47
AT ITER 378 NEW BEST:: SOT 1178786 SOS 791180 HAS SOPS 791180 HAS SOUS 483137 HAS SOUPS 483137 WITH SCORE 483928.18
AT ITER 398 NEW BEST:: SOT 1174012 SOS 786406 HAS SOPS 786406 HAS SOUS 478363 HAS SOUPS 478363 WITH SCORE 479149.406
AT ITER 411 NEW BEST:: SOT 1173911 SOS 784468 HAS SOPS 784468 HAS SOUS 478350 HAS SOUPS 478350 WITH SCORE 479134.468
AT ITER 414 NEW BEST:: SOT 1173773 SOS 784330 HAS SOPS 784330 HAS SOUS 478212 HAS SOUPS 478212 WITH SCORE 478996.33
AT ITER 415 NEW BEST:: SOT 1173405 SOS 783017 HAS SOPS 783017 HAS SOUS 477492 HAS SOUPS 477492 WITH SCORE 478275.017
AT ITER 428 NEW BEST:: SOT 1171412 SOS 781024 HAS SOPS 781024 HAS SOUS 475497 HAS SOUPS 475497 WITH SCORE 476278.024
AT ITER 438 NEW BEST:: SOT 1171436 SOS 778669 HAS SOPS 778669 HAS SOUS 475387 HAS SOUPS 475387 WITH SCORE 476165.669
AT ITER 443 NEW BEST:: SOT 1165040 SOS 772661 HAS SOPS 772661 HAS SOUS 469377 HAS SOUPS 469377 WITH SCORE 470149.661
AT ITER 449 NEW BEST:: SOT 1164965 SOS 772586 HAS SOPS 772586 HAS SOUS 469376 HAS SOUPS 469376 WITH SCORE 470148.586
AT ITER 450 NEW BEST:: SOT 1164702 SOS 772577 HAS SOPS 772577 HAS SOUS 469367 HAS SOUPS 469367 WITH SCORE 470139.577
AT ITER 452 NEW BEST:: SOT 1164320 SOS 772195 HAS SOPS 772195 HAS SOUS 468985 HAS SOUPS 468985 WITH SCORE 469757.195
AT ITER 455 NEW BEST:: SOT 1163429 SOS 771296 HAS SOPS 771296 HAS SOUS 468085 HAS SOUPS 468085 WITH SCORE 468856.296
AT ITER 456 NEW BEST:: SOT 1157849 SOS 766216 HAS SOPS 766216 HAS SOUS 462375 HAS SOUPS 462375 WITH SCORE 463141.216
AT ITER 457 NEW BEST:: SOT 1157664 SOS 766031 HAS SOPS 766031 HAS SOUS 462190 HAS SOUPS 462190 WITH SCORE 462956.031
AT ITER 458 NEW BEST:: SOT 1157627 SOS 765968 HAS SOPS 765968 HAS SOUS 462164 HAS SOUPS 462164 WITH SCORE 462929.968
AT ITER 459 NEW BEST:: SOT 1157349 SOS 766365 HAS SOPS 766365 HAS SOUS 461886 HAS SOUPS 461886 WITH SCORE 462652.365
AT ITER 462 NEW BEST:: SOT 1156370 SOS 765062 HAS SOPS 765062 HAS SOUS 460534 HAS SOUPS 460534 WITH SCORE 461299.062
AT ITER 486 NEW BEST:: SOT 1155338 SOS 763173 HAS SOPS 763173 HAS SOUS 459307 HAS SOUPS 459307 WITH SCORE 460070.173
AT ITER 490 NEW BEST:: SOT 1155233 SOS 762753 HAS SOPS 762753 HAS SOUS 458992 HAS SOUPS 458992 WITH SCORE 459754.753
AT ITER 496 NEW BEST:: SOT 1154952 SOS 760224 HAS SOPS 760224 HAS SOUS 458426 HAS SOUPS 458426 WITH SCORE 459186.224
AT ITER 499 NEW BEST:: SOT 1154416 SOS 759509 HAS SOPS 759509 HAS SOUS 458116 HAS SOUPS 458116 WITH SCORE 458875.509
AT ITER 500 NEW BEST:: SOT 1154416 SOS 759504 HAS SOPS 759504 HAS SOUS 458111 HAS SOUPS 458111 WITH SCORE 458870.504
AT ITER 503 NEW BEST:: SOT 1154107 SOS 757725 HAS SOPS 757725 HAS SOUS 457626 HAS SOUPS 457626 WITH SCORE 458383.725
AT ITER 519 NEW BEST:: SOT 1154092 SOS 757158 HAS SOPS 757158 HAS SOUS 457596 HAS SOUPS 457596 WITH SCORE 458353.158
AT ITER 532 NEW BEST:: SOT 1153732 SOS 756798 HAS SOPS 756798 HAS SOUS 457235 HAS SOUPS 457235 WITH SCORE 457991.798
AT ITER 535 NEW BEST:: SOT 1153644 SOS 756798 HAS SOPS 756798 HAS SOUS 457233 HAS SOUPS 457233 WITH SCORE 457989.798
AT ITER 539 NEW BEST:: SOT 1153673 SOS 756712 HAS SOPS 756712 HAS SOUS 457077 HAS SOUPS 457077 WITH SCORE 457833.712
AT ITER 541 NEW BEST:: SOT 1153651 SOS 756685 HAS SOPS 756685 HAS SOUS 457050 HAS SOUPS 457050 WITH SCORE 457806.685
AT ITER 543 NEW BEST:: SOT 1153414 SOS 755998 HAS SOPS 755998 HAS SOUS 456576 HAS SOUPS 456576 WITH SCORE 457331.998
AT ITER 552 NEW BEST:: SOT 1153414 SOS 755171 HAS SOPS 755171 HAS SOUS 456573 HAS SOUPS 456573 WITH SCORE 457328.171
AT ITER 553 NEW BEST:: SOT 1153176 SOS 754486 HAS SOPS 754486 HAS SOUS 456155 HAS SOUPS 456155 WITH SCORE 456909.486
AT ITER 565 NEW BEST:: SOT 1153118 SOS 754435 HAS SOPS 754435 HAS SOUS 456104 HAS SOUPS 456104 WITH SCORE 456858.435
AT ITER 570 NEW BEST:: SOT 1153118 SOS 753611 HAS SOPS 753611 HAS SOUS 455945 HAS SOUPS 455945 WITH SCORE 456698.611
AT ITER 571 NEW BEST:: SOT 1153151 SOS 752982 HAS SOPS 752982 HAS SOUS 455715 HAS SOUPS 455715 WITH SCORE 456467.982
AT ITER 578 NEW BEST:: SOT 1153151 SOS 752457 HAS SOPS 752457 HAS SOUS 454854 HAS SOUPS 454854 WITH SCORE 455606.457
AT ITER 589 NEW BEST:: SOT 1151872 SOS 753163 HAS SOPS 753163 HAS SOUS 454468 HAS SOUPS 454468 WITH SCORE 455221.163
AT ITER 591 NEW BEST:: SOT 1151872 SOS 754347 HAS SOPS 754347 HAS SOUS 454426 HAS SOUPS 454426 WITH SCORE 455180.347
AT ITER 596 NEW BEST:: SOT 1152375 SOS 754700 HAS SOPS 754700 HAS SOUS 454407 HAS SOUPS 454407 WITH SCORE 455161.7
AT ITER 603 NEW BEST:: SOT 1152374 SOS 754682 HAS SOPS 754682 HAS SOUS 454405 HAS SOUPS 454405 WITH SCORE 455159.682
AT ITER 615 NEW BEST:: SOT 1152346 SOS 754654 HAS SOPS 754654 HAS SOUS 454377 HAS SOUPS 454377 WITH SCORE 455131.654
AT ITER 623 NEW BEST:: SOT 1152142 SOS 754450 HAS SOPS 754450 HAS SOUS 454173 HAS SOUPS 454173 WITH SCORE 454927.45
AT ITER 644 NEW BEST:: SOT 1147628 SOS 751790 HAS SOPS 751790 HAS SOUS 450250 HAS SOUPS 450250 WITH SCORE 451001.79
AT ITER 649 NEW BEST:: SOT 1146828 SOS 750976 HAS SOPS 750976 HAS SOUS 449436 HAS SOUPS 449436 WITH SCORE 450186.976
AT ITER 651 NEW BEST:: SOT 1146479 SOS 750614 HAS SOPS 750614 HAS SOUS 449371 HAS SOUPS 449371 WITH SCORE 450121.614
AT ITER 653 NEW BEST:: SOT 1145981 SOS 750116 HAS SOPS 750116 HAS SOUS 448869 HAS SOUPS 448869 WITH SCORE 449619.116
AT ITER 658 NEW BEST:: SOT 1145788 SOS 749590 HAS SOPS 749590 HAS SOUS 448536 HAS SOUPS 448536 WITH SCORE 449285.59
AT ITER 659 NEW BEST:: SOT 1145890 SOS 748624 HAS SOPS 748624 HAS SOUS 448095 HAS SOUPS 448095 WITH SCORE 448843.624
AT ITER 661 NEW BEST:: SOT 1145890 SOS 748624 HAS SOPS 748624 HAS SOUS 447849 HAS SOUPS 447849 WITH SCORE 448597.624
AT ITER 669 NEW BEST:: SOT 1145100 SOS 748854 HAS SOPS 748854 HAS SOUS 447315 HAS SOUPS 447315 WITH SCORE 448063.854
AT ITER 675 NEW BEST:: SOT 1144192 SOS 747946 HAS SOPS 747946 HAS SOUS 446406 HAS SOUPS 446406 WITH SCORE 447153.946
AT ITER 677 NEW BEST:: SOT 1143878 SOS 747668 HAS SOPS 747668 HAS SOUS 446300 HAS SOUPS 446300 WITH SCORE 447047.668
AT ITER 680 NEW BEST:: SOT 1143839 SOS 747448 HAS SOPS 747448 HAS SOUS 446222 HAS SOUPS 446222 WITH SCORE 446969.448
AT ITER 689 NEW BEST:: SOT 1143462 SOS 746317 HAS SOPS 746317 HAS SOUS 445091 HAS SOUPS 445091 WITH SCORE 445837.317
AT ITER 693 NEW BEST:: SOT 1143462 SOS 746128 HAS SOPS 746128 HAS SOUS 445090 HAS SOUPS 445090 WITH SCORE 445836.128
AT ITER 694 NEW BEST:: SOT 1143200 SOS 745382 HAS SOPS 745382 HAS SOUS 444566 HAS SOUPS 444566 WITH SCORE 445311.382
AT ITER 696 NEW BEST:: SOT 1143001 SOS 745183 HAS SOPS 745183 HAS SOUS 444168 HAS SOUPS 444168 WITH SCORE 444913.183
AT ITER 701 NEW BEST:: SOT 1142971 SOS 745042 HAS SOPS 745042 HAS SOUS 444168 HAS SOUPS 444168 WITH SCORE 444913.042
AT ITER 702 NEW BEST:: SOT 1142591 SOS 744666 HAS SOPS 744666 HAS SOUS 443792 HAS SOUPS 443792 WITH SCORE 444536.666
AT ITER 712 NEW BEST:: SOT 1142005 SOS 744080 HAS SOPS 744080 HAS SOUS 443168 HAS SOUPS 443168 WITH SCORE 443912.08
AT ITER 714 NEW BEST:: SOT 1141841 SOS 743710 HAS SOPS 743710 HAS SOUS 442807 HAS SOUPS 442807 WITH SCORE 443550.71
AT ITER 718 NEW BEST:: SOT 1141718 SOS 743587 HAS SOPS 743587 HAS SOUS 442684 HAS SOUPS 442684 WITH SCORE 443427.587
AT ITER 719 NEW BEST:: SOT 1141718 SOS 743098 HAS SOPS 743098 HAS SOUS 442358 HAS SOUPS 442358 WITH SCORE 443101.098
AT ITER 729 NEW BEST:: SOT 1141508 SOS 742187 HAS SOPS 742187 HAS SOUS 441693 HAS SOUPS 441693 WITH SCORE 442435.187
AT ITER 731 NEW BEST:: SOT 1141324 SOS 742003 HAS SOPS 742003 HAS SOUS 441509 HAS SOUPS 441509 WITH SCORE 442251.003
AT ITER 733 NEW BEST:: SOT 1141324 SOS 741966 HAS SOPS 741966 HAS SOUS 441472 HAS SOUPS 441472 WITH SCORE 442213.966
AT ITER 744 NEW BEST:: SOT 1135710 SOS 736352 HAS SOPS 736352 HAS SOUS 435857 HAS SOUPS 435857 WITH SCORE 436593.352
AT ITER 746 NEW BEST:: SOT 1135365 SOS 735634 HAS SOPS 735634 HAS SOUS 434885 HAS SOUPS 434885 WITH SCORE 435620.634
AT ITER 761 NEW BEST:: SOT 1134277 SOS 734685 HAS SOPS 734685 HAS SOUS 433936 HAS SOUPS 433936 WITH SCORE 434670.685
AT ITER 769 NEW BEST:: SOT 1134033 SOS 734441 HAS SOPS 734441 HAS SOUS 433691 HAS SOUPS 433691 WITH SCORE 434425.441
AT ITER 770 NEW BEST:: SOT 1133741 SOS 734300 HAS SOPS 734300 HAS SOUS 433648 HAS SOUPS 433648 WITH SCORE 434382.3
AT ITER 782 NEW BEST:: SOT 1133220 SOS 733779 HAS SOPS 733779 HAS SOUS 433127 HAS SOUPS 433127 WITH SCORE 433860.779
AT ITER 785 NEW BEST:: SOT 1133508 SOS 733577 HAS SOPS 733577 HAS SOUS 432949 HAS SOUPS 432949 WITH SCORE 433682.577
AT ITER 786 NEW BEST:: SOT 1133038 SOS 732968 HAS SOPS 732968 HAS SOUS 432645 HAS SOUPS 432645 WITH SCORE 433377.968
AT ITER 790 NEW BEST:: SOT 1132316 SOS 732246 HAS SOPS 732246 HAS SOUS 431923 HAS SOUPS 431923 WITH SCORE 432655.246
AT ITER 793 NEW BEST:: SOT 1132119 SOS 731672 HAS SOPS 731672 HAS SOUS 431459 HAS SOUPS 431459 WITH SCORE 432190.672
AT ITER 795 NEW BEST:: SOT 1132119 SOS 731265 HAS SOPS 731265 HAS SOUS 431052 HAS SOUPS 431052 WITH SCORE 431783.265
AT ITER 804 NEW BEST:: SOT 1132119 SOS 730125 HAS SOPS 730125 HAS SOUS 430960 HAS SOUPS 430960 WITH SCORE 431690.125
AT ITER 811 NEW BEST:: SOT 1132119 SOS 730027 HAS SOPS 730027 HAS SOUS 430960 HAS SOUPS 430960 WITH SCORE 431690.027
AT ITER 812 NEW BEST:: SOT 1126768 SOS 724676 HAS SOPS 724676 HAS SOUS 425596 HAS SOUPS 425596 WITH SCORE 426320.676
AT ITER 814 NEW BEST:: SOT 1126493 SOS 724401 HAS SOPS 724401 HAS SOUS 425321 HAS SOUPS 425321 WITH SCORE 426045.401
AT ITER 830 NEW BEST:: SOT 1126363 SOS 724271 HAS SOPS 724271 HAS SOUS 425191 HAS SOUPS 425191 WITH SCORE 425915.271
AT ITER 831 NEW BEST:: SOT 1125441 SOS 723349 HAS SOPS 723349 HAS SOUS 424268 HAS SOUPS 424268 WITH SCORE 424991.349
AT ITER 834 NEW BEST:: SOT 1124173 SOS 722081 HAS SOPS 722081 HAS SOUS 423000 HAS SOUPS 423000 WITH SCORE 423722.081
AT ITER 838 NEW BEST:: SOT 1122376 SOS 722396 HAS SOPS 722396 HAS SOUS 421989 HAS SOUPS 421989 WITH SCORE 422711.396
AT ITER 853 NEW BEST:: SOT 1121221 SOS 721241 HAS SOPS 721241 HAS SOUS 420834 HAS SOUPS 420834 WITH SCORE 421555.241
AT ITER 856 NEW BEST:: SOT 1121093 SOS 720694 HAS SOPS 720694 HAS SOUS 420299 HAS SOUPS 420299 WITH SCORE 421019.694
AT ITER 865 NEW BEST:: SOT 1121093 SOS 720634 HAS SOPS 720634 HAS SOUS 420239 HAS SOUPS 420239 WITH SCORE 420959.634
AT ITER 870 NEW BEST:: SOT 1121107 SOS 720591 HAS SOPS 720591 HAS SOUS 420239 HAS SOUPS 420239 WITH SCORE 420959.591
AT ITER 875 NEW BEST:: SOT 1120825 SOS 720309 HAS SOPS 720309 HAS SOUS 419956 HAS SOUPS 419956 WITH SCORE 420676.309
AT ITER 878 NEW BEST:: SOT 1120816 SOS 720300 HAS SOPS 720300 HAS SOUS 419938 HAS SOUPS 419938 WITH SCORE 420658.3
AT ITER 900 NEW BEST:: SOT 1120220 SOS 718739 HAS SOPS 718739 HAS SOUS 419668 HAS SOUPS 419668 WITH SCORE 420386.739
AT ITER 908 NEW BEST:: SOT 1120071 SOS 718590 HAS SOPS 718590 HAS SOUS 419495 HAS SOUPS 419495 WITH SCORE 420213.59
AT ITER 913 NEW BEST:: SOT 1120071 SOS 718894 HAS SOPS 718894 HAS SOUS 418919 HAS SOUPS 418919 WITH SCORE 419637.894
AT ITER 916 NEW BEST:: SOT 1119662 SOS 717667 HAS SOPS 717667 HAS SOUS 417692 HAS SOUPS 417692 WITH SCORE 418409.667
AT ITER 930 NEW BEST:: SOT 1119556 SOS 717243 HAS SOPS 717243 HAS SOUS 417480 HAS SOUPS 417480 WITH SCORE 418197.243
AT ITER 931 NEW BEST:: SOT 1118705 SOS 715732 HAS SOPS 715732 HAS SOUS 416099 HAS SOUPS 416099 WITH SCORE 416814.732
AT ITER 934 NEW BEST:: SOT 1118135 SOS 715162 HAS SOPS 715162 HAS SOUS 415987 HAS SOUPS 415987 WITH SCORE 416702.162
AT ITER 936 NEW BEST:: SOT 1118084 SOS 715052 HAS SOPS 715052 HAS SOUS 415949 HAS SOUPS 415949 WITH SCORE 416664.052
AT ITER 938 NEW BEST:: SOT 1117250 SOS 714386 HAS SOPS 714386 HAS SOUS 415822 HAS SOUPS 415822 WITH SCORE 416536.386
AT ITER 946 NEW BEST:: SOT 1116732 SOS 712193 HAS SOPS 712193 HAS SOUS 415292 HAS SOUPS 415292 WITH SCORE 416004.193
AT ITER 948 NEW BEST:: SOT 1116728 SOS 712935 HAS SOPS 712935 HAS SOUS 415290 HAS SOUPS 415290 WITH SCORE 416002.935
AT ITER 952 NEW BEST:: SOT 1116598 SOS 710982 HAS SOPS 710982 HAS SOUS 415247 HAS SOUPS 415247 WITH SCORE 415957.982
AT ITER 954 NEW BEST:: SOT 1116511 SOS 710982 HAS SOPS 710982 HAS SOUS 415246 HAS SOUPS 415246 WITH SCORE 415956.982
AT ITER 961 NEW BEST:: SOT 1116091 SOS 710562 HAS SOPS 710562 HAS SOUS 413871 HAS SOUPS 413871 WITH SCORE 414581.562
AT ITER 964 NEW BEST:: SOT 1116091 SOS 709752 HAS SOPS 709752 HAS SOUS 413869 HAS SOUPS 413869 WITH SCORE 414578.752
AT ITER 965 NEW BEST:: SOT 1116059 SOS 709873 HAS SOPS 709873 HAS SOUS 413842 HAS SOUPS 413842 WITH SCORE 414551.873
AT ITER 972 NEW BEST:: SOT 1116023 SOS 709837 HAS SOPS 709837 HAS SOUS 413806 HAS SOUPS 413806 WITH SCORE 414515.837
AT ITER 976 NEW BEST:: SOT 1116260 SOS 709710 HAS SOPS 709710 HAS SOUS 413503 HAS SOUPS 413503 WITH SCORE 414212.71
AT ITER 977 NEW BEST:: SOT 1116196 SOS 709646 HAS SOPS 709646 HAS SOUS 413439 HAS SOUPS 413439 WITH SCORE 414148.646
AT ITER 984 NEW BEST:: SOT 1116195 SOS 707545 HAS SOPS 707545 HAS SOUS 413437 HAS SOUPS 413437 WITH SCORE 414144.545
AT ITER 986 NEW BEST:: SOT 1116188 SOS 707554 HAS SOPS 707554 HAS SOUS 413423 HAS SOUPS 413423 WITH SCORE 414130.554
AT ITER 993 NEW BEST:: SOT 1114682 SOS 706048 HAS SOPS 706048 HAS SOUS 411917 HAS SOUPS 411917 WITH SCORE 412623.048
AT ITER 994 NEW BEST:: SOT 1107128 SOS 701931 HAS SOPS 701931 HAS SOUS 403715 HAS SOUPS 403715 WITH SCORE 404416.931
AT ITER 996 NEW BEST:: SOT 1107126 SOS 701929 HAS SOPS 701929 HAS SOUS 403709 HAS SOUPS 403709 WITH SCORE 404410.929
AT ITER 997 NEW BEST:: SOT 1107072 SOS 701821 HAS SOPS 701821 HAS SOUS 403601 HAS SOUPS 403601 WITH SCORE 404302.821
AT ITER 1002 NEW BEST:: SOT 1107072 SOS 701821 HAS SOPS 701821 HAS SOUS 403600 HAS SOUPS 403600 WITH SCORE 404301.821
AT ITER 1003 NEW BEST:: SOT 1107062 SOS 701761 HAS SOPS 701761 HAS SOUS 403540 HAS SOUPS 403540 WITH SCORE 404241.761
AT ITER 1004 NEW BEST:: SOT 1106851 SOS 701550 HAS SOPS 701550 HAS SOUS 403327 HAS SOUPS 403327 WITH SCORE 404028.55
AT ITER 1007 NEW BEST:: SOT 1103111 SOS 699262 HAS SOPS 699262 HAS SOUS 400040 HAS SOUPS 400040 WITH SCORE 400739.262
AT ITER 1009 NEW BEST:: SOT 1103334 SOS 695014 HAS SOPS 695014 HAS SOUS 399195 HAS SOUPS 399195 WITH SCORE 399890.014
AT ITER 1020 NEW BEST:: SOT 1103332 SOS 695012 HAS SOPS 695012 HAS SOUS 399103 HAS SOUPS 399103 WITH SCORE 399798.012
AT ITER 1021 NEW BEST:: SOT 1101742 SOS 693422 HAS SOPS 693422 HAS SOUS 397513 HAS SOUPS 397513 WITH SCORE 398206.422
AT ITER 1025 NEW BEST:: SOT 1101742 SOS 693422 HAS SOPS 693422 HAS SOUS 397029 HAS SOUPS 397029 WITH SCORE 397722.422
AT ITER 1026 NEW BEST:: SOT 1101511 SOS 693183 HAS SOPS 693183 HAS SOUS 396798 HAS SOUPS 396798 WITH SCORE 397491.183
AT ITER 1028 NEW BEST:: SOT 1101488 SOS 693106 HAS SOPS 693106 HAS SOUS 396747 HAS SOUPS 396747 WITH SCORE 397440.106
AT ITER 1032 NEW BEST:: SOT 1101488 SOS 693394 HAS SOPS 693394 HAS SOUS 396745 HAS SOUPS 396745 WITH SCORE 397438.394
AT ITER 1036 NEW BEST:: SOT 1101211 SOS 692736 HAS SOPS 692736 HAS SOUS 396408 HAS SOUPS 396408 WITH SCORE 397100.736
AT ITER 1042 NEW BEST:: SOT 1101211 SOS 692666 HAS SOPS 692666 HAS SOUS 396405 HAS SOUPS 396405 WITH SCORE 397097.666
AT ITER 1047 NEW BEST:: SOT 1101111 SOS 692566 HAS SOPS 692566 HAS SOUS 396305 HAS SOUPS 396305 WITH SCORE 396997.566
AT ITER 1048 NEW BEST:: SOT 1101111 SOS 692108 HAS SOPS 692108 HAS SOUS 396304 HAS SOUPS 396304 WITH SCORE 396996.108
AT ITER 1069 NEW BEST:: SOT 1100911 SOS 691908 HAS SOPS 691908 HAS SOUS 395631 HAS SOUPS 395631 WITH SCORE 396322.908
AT ITER 1096 NEW BEST:: SOT 1101324 SOS 691652 HAS SOPS 691652 HAS SOUS 395375 HAS SOUPS 395375 WITH SCORE 396066.652
AT ITER 1103 NEW BEST:: SOT 1101275 SOS 691514 HAS SOPS 691514 HAS SOUS 395237 HAS SOUPS 395237 WITH SCORE 395928.514
AT ITER 1113 NEW BEST:: SOT 1097743 SOS 692249 HAS SOPS 692249 HAS SOUS 392233 HAS SOUPS 392233 WITH SCORE 392925.249
AT ITER 1116 NEW BEST:: SOT 1097300 SOS 693290 HAS SOPS 693290 HAS SOUS 392128 HAS SOUPS 392128 WITH SCORE 392821.29
AT ITER 1124 NEW BEST:: SOT 1097300 SOS 693264 HAS SOPS 693264 HAS SOUS 392102 HAS SOUPS 392102 WITH SCORE 392795.264
AT ITER 1126 NEW BEST:: SOT 1097182 SOS 693683 HAS SOPS 693683 HAS SOUS 391955 HAS SOUPS 391955 WITH SCORE 392648.683
AT ITER 1145 NEW BEST:: SOT 1096614 SOS 693115 HAS SOPS 693115 HAS SOUS 391387 HAS SOUPS 391387 WITH SCORE 392080.115
AT ITER 1162 NEW BEST:: SOT 1096434 SOS 693202 HAS SOPS 693202 HAS SOUS 391235 HAS SOUPS 391235 WITH SCORE 391928.202
AT ITER 1167 NEW BEST:: SOT 1096434 SOS 693850 HAS SOPS 693850 HAS SOUS 390900 HAS SOUPS 390900 WITH SCORE 391593.85
AT ITER 1176 NEW BEST:: SOT 1096541 SOS 693412 HAS SOPS 693412 HAS SOUS 390590 HAS SOUPS 390590 WITH SCORE 391283.412
AT ITER 1189 NEW BEST:: SOT 1096541 SOS 693326 HAS SOPS 693326 HAS SOUS 390590 HAS SOUPS 390590 WITH SCORE 391283.326
AT ITER 1201 NEW BEST:: SOT 1093273 SOS 690058 HAS SOPS 690058 HAS SOUS 387322 HAS SOUPS 387322 WITH SCORE 388012.058
AT ITER 1206 NEW BEST:: SOT 1093211 SOS 689996 HAS SOPS 689996 HAS SOUS 387322 HAS SOUPS 387322 WITH SCORE 388011.996
AT ITER 1207 NEW BEST:: SOT 1093121 SOS 689982 HAS SOPS 689982 HAS SOUS 387308 HAS SOUPS 387308 WITH SCORE 387997.982
AT ITER 1221 NEW BEST:: SOT 1093121 SOS 688354 HAS SOPS 688354 HAS SOUS 387308 HAS SOUPS 387308 WITH SCORE 387996.354
AT ITER 1225 NEW BEST:: SOT 1092537 SOS 687766 HAS SOPS 687766 HAS SOUS 387139 HAS SOUPS 387139 WITH SCORE 387826.766
AT ITER 1234 NEW BEST:: SOT 1092234 SOS 687152 HAS SOPS 687152 HAS SOUS 386525 HAS SOUPS 386525 WITH SCORE 387212.152
AT ITER 1236 NEW BEST:: SOT 1092271 SOS 687108 HAS SOPS 687108 HAS SOUS 386480 HAS SOUPS 386480 WITH SCORE 387167.108
AT ITER 1244 NEW BEST:: SOT 1091858 SOS 687091 HAS SOPS 687091 HAS SOUS 386463 HAS SOUPS 386463 WITH SCORE 387150.091
AT ITER 1250 NEW BEST:: SOT 1091687 SOS 686920 HAS SOPS 686920 HAS SOUS 386292 HAS SOUPS 386292 WITH SCORE 386978.92
AT ITER 1252 NEW BEST:: SOT 1091687 SOS 686907 HAS SOPS 686907 HAS SOUS 386279 HAS SOUPS 386279 WITH SCORE 386965.907
AT ITER 1260 NEW BEST:: SOT 1091668 SOS 686768 HAS SOPS 686768 HAS SOUS 386211 HAS SOUPS 386211 WITH SCORE 386897.768
AT ITER 1280 NEW BEST:: SOT 1091662 SOS 686601 HAS SOPS 686601 HAS SOUS 386199 HAS SOUPS 386199 WITH SCORE 386885.601
AT ITER 1290 NEW BEST:: SOT 1091662 SOS 685829 HAS SOPS 685829 HAS SOUS 386040 HAS SOUPS 386040 WITH SCORE 386725.829
AT ITER 1299 NEW BEST:: SOT 1091892 SOS 686059 HAS SOPS 686059 HAS SOUS 385662 HAS SOUPS 385662 WITH SCORE 386348.059
AT ITER 1303 NEW BEST:: SOT 1091737 SOS 685938 HAS SOPS 685938 HAS SOUS 385661 HAS SOUPS 385661 WITH SCORE 386346.938
AT ITER 1318 NEW BEST:: SOT 1089630 SOS 683831 HAS SOPS 683831 HAS SOUS 383553 HAS SOUPS 383553 WITH SCORE 384236.831
AT ITER 1323 NEW BEST:: SOT 1089532 SOS 683425 HAS SOPS 683425 HAS SOUS 383147 HAS SOUPS 383147 WITH SCORE 383830.425
AT ITER 1330 NEW BEST:: SOT 1089477 SOS 683370 HAS SOPS 683370 HAS SOUS 383092 HAS SOUPS 383092 WITH SCORE 383775.37
AT ITER 1345 NEW BEST:: SOT 1088907 SOS 683038 HAS SOPS 683038 HAS SOUS 382993 HAS SOUPS 382993 WITH SCORE 383676.038
AT ITER 1352 NEW BEST:: SOT 1070824 SOS 664955 HAS SOPS 664955 HAS SOUS 364123 HAS SOUPS 364123 WITH SCORE 364787.955
AT ITER 1372 NEW BEST:: SOT 1070668 SOS 664799 HAS SOPS 664799 HAS SOUS 363967 HAS SOUPS 363967 WITH SCORE 364631.799
AT ITER 1377 NEW BEST:: SOT 1070668 SOS 664557 HAS SOPS 664557 HAS SOUS 363607 HAS SOUPS 363607 WITH SCORE 364271.557
AT ITER 1391 NEW BEST:: SOT 1071206 SOS 665095 HAS SOPS 665095 HAS SOUS 363603 HAS SOUPS 363603 WITH SCORE 364268.095
AT ITER 1397 NEW BEST:: SOT 1071167 SOS 665056 HAS SOPS 665056 HAS SOUS 363564 HAS SOUPS 363564 WITH SCORE 364229.056
AT ITER 1398 NEW BEST:: SOT 1071167 SOS 664840 HAS SOPS 664840 HAS SOUS 363541 HAS SOUPS 363541 WITH SCORE 364205.84
AT ITER 1406 NEW BEST:: SOT 1070707 SOS 664462 HAS SOPS 664462 HAS SOUS 363162 HAS SOUPS 363162 WITH SCORE 363826.462
AT ITER 1410 NEW BEST:: SOT 1070837 SOS 664110 HAS SOPS 664110 HAS SOUS 362529 HAS SOUPS 362529 WITH SCORE 363193.11
AT ITER 1418 NEW BEST:: SOT 1070829 SOS 664094 HAS SOPS 664094 HAS SOUS 362513 HAS SOUPS 362513 WITH SCORE 363177.094
AT ITER 1431 NEW BEST:: SOT 1070568 SOS 663665 HAS SOPS 663665 HAS SOUS 362084 HAS SOUPS 362084 WITH SCORE 362747.665
AT ITER 1443 NEW BEST:: SOT 1063831 SOS 658506 HAS SOPS 658506 HAS SOUS 355480 HAS SOUPS 355480 WITH SCORE 356138.506
AT ITER 1450 NEW BEST:: SOT 1063510 SOS 656216 HAS SOPS 656216 HAS SOUS 354682 HAS SOUPS 354682 WITH SCORE 355338.216
AT ITER 1456 NEW BEST:: SOT 1063510 SOS 656215 HAS SOPS 656215 HAS SOUS 354681 HAS SOUPS 354681 WITH SCORE 355337.215
AT ITER 1459 NEW BEST:: SOT 1062918 SOS 655459 HAS SOPS 655459 HAS SOUS 354633 HAS SOUPS 354633 WITH SCORE 355288.459
AT ITER 1462 NEW BEST:: SOT 1062873 SOS 655414 HAS SOPS 655414 HAS SOUS 354588 HAS SOUPS 354588 WITH SCORE 355243.414
AT ITER 1470 NEW BEST:: SOT 1062461 SOS 655002 HAS SOPS 655002 HAS SOUS 353601 HAS SOUPS 353601 WITH SCORE 354256.002
AT ITER 1471 NEW BEST:: SOT 1062461 SOS 654642 HAS SOPS 654642 HAS SOUS 353556 HAS SOUPS 353556 WITH SCORE 354210.642
AT ITER 1472 NEW BEST:: SOT 1062461 SOS 654314 HAS SOPS 654314 HAS SOUS 353556 HAS SOUPS 353556 WITH SCORE 354210.314
AT ITER 1473 NEW BEST:: SOT 1062461 SOS 654155 HAS SOPS 654155 HAS SOUS 353188 HAS SOUPS 353188 WITH SCORE 353842.155
AT ITER 1475 NEW BEST:: SOT 1060738 SOS 651362 HAS SOPS 651362 HAS SOUS 351124 HAS SOUPS 351124 WITH SCORE 351775.362
AT ITER 1480 NEW BEST:: SOT 1060737 SOS 651059 HAS SOPS 651059 HAS SOUS 351122 HAS SOUPS 351122 WITH SCORE 351773.059
AT ITER 1481 NEW BEST:: SOT 1060737 SOS 651751 HAS SOPS 651751 HAS SOUS 351121 HAS SOUPS 351121 WITH SCORE 351772.751
AT ITER 1483 NEW BEST:: SOT 1060649 SOS 651131 HAS SOPS 651131 HAS SOUS 350684 HAS SOUPS 350684 WITH SCORE 351335.131
AT ITER 1488 NEW BEST:: SOT 1059935 SOS 650417 HAS SOPS 650417 HAS SOUS 349970 HAS SOUPS 349970 WITH SCORE 350620.417
AT ITER 1513 NEW BEST:: SOT 1059935 SOS 649310 HAS SOPS 649310 HAS SOUS 349232 HAS SOUPS 349232 WITH SCORE 349881.31
AT ITER 1520 NEW BEST:: SOT 1059458 SOS 648833 HAS SOPS 648833 HAS SOUS 348755 HAS SOUPS 348755 WITH SCORE 349403.833
AT ITER 1530 NEW BEST:: SOT 1059307 SOS 648596 HAS SOPS 648596 HAS SOUS 348662 HAS SOUPS 348662 WITH SCORE 349310.596
AT ITER 1551 NEW BEST:: SOT 1059115 SOS 648824 HAS SOPS 648824 HAS SOUS 348493 HAS SOUPS 348493 WITH SCORE 349141.824
AT ITER 1577 NEW BEST:: SOT 1059506 SOS 648735 HAS SOPS 648735 HAS SOUS 348404 HAS SOUPS 348404 WITH SCORE 349052.735
AT ITER 1579 NEW BEST:: SOT 1059457 SOS 648686 HAS SOPS 648686 HAS SOUS 348355 HAS SOUPS 348355 WITH SCORE 349003.686
AT ITER 1581 NEW BEST:: SOT 1059457 SOS 648206 HAS SOPS 648206 HAS SOUS 348200 HAS SOUPS 348200 WITH SCORE 348848.206
AT ITER 1582 NEW BEST:: SOT 1058721 SOS 647470 HAS SOPS 647470 HAS SOUS 347464 HAS SOUPS 347464 WITH SCORE 348111.47
AT ITER 1588 NEW BEST:: SOT 1058489 SOS 647282 HAS SOPS 647282 HAS SOUS 347044 HAS SOUPS 347044 WITH SCORE 347691.282
AT ITER 1612 NEW BEST:: SOT 1058427 SOS 647230 HAS SOPS 647230 HAS SOUS 346991 HAS SOUPS 346991 WITH SCORE 347638.23
AT ITER 1613 NEW BEST:: SOT 1058343 SOS 647146 HAS SOPS 647146 HAS SOUS 346907 HAS SOUPS 346907 WITH SCORE 347554.146
AT ITER 1622 NEW BEST:: SOT 1058343 SOS 646469 HAS SOPS 646469 HAS SOUS 346733 HAS SOUPS 346733 WITH SCORE 347379.469
AT ITER 1629 NEW BEST:: SOT 1058343 SOS 646320 HAS SOPS 646320 HAS SOUS 346674 HAS SOUPS 346674 WITH SCORE 347320.32
AT ITER 1630 NEW BEST:: SOT 1058339 SOS 646316 HAS SOPS 646316 HAS SOUS 346674 HAS SOUPS 346674 WITH SCORE 347320.316
AT ITER 1635 NEW BEST:: SOT 1058194 SOS 645993 HAS SOPS 645993 HAS SOUS 346351 HAS SOUPS 346351 WITH SCORE 346996.993
AT ITER 1661 NEW BEST:: SOT 1058138 SOS 646447 HAS SOPS 646447 HAS SOUS 346322 HAS SOUPS 346322 WITH SCORE 346968.447
AT ITER 1663 NEW BEST:: SOT 1058075 SOS 647139 HAS SOPS 647139 HAS SOUS 346182 HAS SOUPS 346182 WITH SCORE 346829.139
AT ITER 1681 NEW BEST:: SOT 1057891 SOS 646188 HAS SOPS 646188 HAS SOUS 345818 HAS SOUPS 345818 WITH SCORE 346464.188
AT ITER 1689 NEW BEST:: SOT 1057914 SOS 646055 HAS SOPS 646055 HAS SOUS 345685 HAS SOUPS 345685 WITH SCORE 346331.055
AT ITER 1690 NEW BEST:: SOT 1057914 SOS 645892 HAS SOPS 645892 HAS SOUS 345684 HAS SOUPS 345684 WITH SCORE 346329.892
AT ITER 1709 NEW BEST:: SOT 1057698 SOS 645676 HAS SOPS 645676 HAS SOUS 345499 HAS SOUPS 345499 WITH SCORE 346144.676
AT ITER 1711 NEW BEST:: SOT 1057718 SOS 645352 HAS SOPS 645352 HAS SOUS 345317 HAS SOUPS 345317 WITH SCORE 345962.352
AT ITER 1720 NEW BEST:: SOT 1057714 SOS 645270 HAS SOPS 645270 HAS SOUS 345079 HAS SOUPS 345079 WITH SCORE 345724.27
AT ITER 1737 NEW BEST:: SOT 1057713 SOS 645295 HAS SOPS 645295 HAS SOUS 345077 HAS SOUPS 345077 WITH SCORE 345722.295
AT ITER 1750 NEW BEST:: SOT 1057709 SOS 645291 HAS SOPS 645291 HAS SOUS 345073 HAS SOUPS 345073 WITH SCORE 345718.291
AT ITER 1753 NEW BEST:: SOT 1057782 SOS 645223 HAS SOPS 645223 HAS SOUS 345005 HAS SOUPS 345005 WITH SCORE 345650.223
AT ITER 1761 NEW BEST:: SOT 1057698 SOS 645023 HAS SOPS 645023 HAS SOUS 344543 HAS SOUPS 344543 WITH SCORE 345188.023
AT ITER 1768 NEW BEST:: SOT 1057698 SOS 644909 HAS SOPS 644909 HAS SOUS 344543 HAS SOUPS 344543 WITH SCORE 345187.909
AT ITER 1769 NEW BEST:: SOT 1057946 SOS 644909 HAS SOPS 644909 HAS SOUS 344517 HAS SOUPS 344517 WITH SCORE 345161.909
AT ITER 1773 NEW BEST:: SOT 1057945 SOS 644908 HAS SOPS 644908 HAS SOUS 344508 HAS SOUPS 344508 WITH SCORE 345152.908
AT ITER 1778 NEW BEST:: SOT 1046078 SOS 631476 HAS SOPS 631476 HAS SOUS 330739 HAS SOUPS 330739 WITH SCORE 331370.476
AT ITER 1782 NEW BEST:: SOT 1045725 SOS 630724 HAS SOPS 630724 HAS SOUS 330386 HAS SOUPS 330386 WITH SCORE 331016.724
AT ITER 1792 NEW BEST:: SOT 1045725 SOS 629322 HAS SOPS 629322 HAS SOUS 330386 HAS SOUPS 330386 WITH SCORE 331015.322
AT ITER 1807 NEW BEST:: SOT 1045725 SOS 630490 HAS SOPS 630490 HAS SOUS 330344 HAS SOUPS 330344 WITH SCORE 330974.49
AT ITER 1809 NEW BEST:: SOT 1045657 SOS 630412 HAS SOPS 630412 HAS SOUS 330288 HAS SOUPS 330288 WITH SCORE 330918.412
AT ITER 1810 NEW BEST:: SOT 1045639 SOS 630198 HAS SOPS 630198 HAS SOUS 330073 HAS SOUPS 330073 WITH SCORE 330703.198
AT ITER 1816 NEW BEST:: SOT 1045621 SOS 630067 HAS SOPS 630067 HAS SOUS 330035 HAS SOUPS 330035 WITH SCORE 330665.067
AT ITER 1818 NEW BEST:: SOT 1045593 SOS 635518 HAS SOPS 635518 HAS SOUS 329993 HAS SOUPS 329993 WITH SCORE 330628.518
AT ITER 1819 NEW BEST:: SOT 1045345 SOS 634913 HAS SOPS 634913 HAS SOUS 329686 HAS SOUPS 329686 WITH SCORE 330320.913
AT ITER 1825 NEW BEST:: SOT 1045126 SOS 634047 HAS SOPS 634047 HAS SOUS 329235 HAS SOUPS 329235 WITH SCORE 329869.047
AT ITER 1839 NEW BEST:: SOT 1045147 SOS 634024 HAS SOPS 634024 HAS SOUS 329163 HAS SOUPS 329163 WITH SCORE 329797.024
AT ITER 1847 NEW BEST:: SOT 1044955 SOS 633359 HAS SOPS 633359 HAS SOUS 328463 HAS SOUPS 328463 WITH SCORE 329096.359
AT ITER 1858 NEW BEST:: SOT 1044622 SOS 633026 HAS SOPS 633026 HAS SOUS 328127 HAS SOUPS 328127 WITH SCORE 328760.026
AT ITER 1864 NEW BEST:: SOT 1044622 SOS 632712 HAS SOPS 632712 HAS SOUS 328127 HAS SOUPS 328127 WITH SCORE 328759.712
AT ITER 1869 NEW BEST:: SOT 1044571 SOS 632610 HAS SOPS 632610 HAS SOUS 327931 HAS SOUPS 327931 WITH SCORE 328563.61
AT ITER 1872 NEW BEST:: SOT 1044642 SOS 631827 HAS SOPS 631827 HAS SOUS 327895 HAS SOUPS 327895 WITH SCORE 328526.827
AT ITER 1875 NEW BEST:: SOT 1044642 SOS 631825 HAS SOPS 631825 HAS SOUS 327893 HAS SOUPS 327893 WITH SCORE 328524.825
AT ITER 1884 NEW BEST:: SOT 1044513 SOS 631696 HAS SOPS 631696 HAS SOUS 327723 HAS SOUPS 327723 WITH SCORE 328354.696
AT ITER 1901 NEW BEST:: SOT 1044513 SOS 631586 HAS SOPS 631586 HAS SOUS 327723 HAS SOUPS 327723 WITH SCORE 328354.586
AT ITER 1909 NEW BEST:: SOT 1044513 SOS 631330 HAS SOPS 631330 HAS SOUS 327723 HAS SOUPS 327723 WITH SCORE 328354.33
AT ITER 1916 NEW BEST:: SOT 1044513 SOS 630786 HAS SOPS 630786 HAS SOUS 327571 HAS SOUPS 327571 WITH SCORE 328201.786
AT ITER 1926 NEW BEST:: SOT 1044584 SOS 630922 HAS SOPS 630922 HAS SOUS 327379 HAS SOUPS 327379 WITH SCORE 328009.922
AT ITER 1932 NEW BEST:: SOT 1044584 SOS 631070 HAS SOPS 631070 HAS SOUS 327218 HAS SOUPS 327218 WITH SCORE 327849.07
AT ITER 1937 NEW BEST:: SOT 1044612 SOS 629480 HAS SOPS 629480 HAS SOUS 326168 HAS SOUPS 326168 WITH SCORE 326797.48
AT ITER 1943 NEW BEST:: SOT 1044080 SOS 629215 HAS SOPS 629215 HAS SOUS 325775 HAS SOUPS 325775 WITH SCORE 326404.215
AT ITER 1959 NEW BEST:: SOT 1044080 SOS 629402 HAS SOPS 629402 HAS SOUS 325693 HAS SOUPS 325693 WITH SCORE 326322.402
AT ITER 1963 NEW BEST:: SOT 1043688 SOS 629536 HAS SOPS 629536 HAS SOUS 325544 HAS SOUPS 325544 WITH SCORE 326173.536
AT ITER 1964 NEW BEST:: SOT 1043552 SOS 629977 HAS SOPS 629977 HAS SOUS 325268 HAS SOUPS 325268 WITH SCORE 325897.977
AT ITER 1972 NEW BEST:: SOT 1043653 SOS 629849 HAS SOPS 629849 HAS SOUS 324810 HAS SOUPS 324810 WITH SCORE 325439.849
AT ITER 1998 NEW BEST:: SOT 1043510 SOS 629706 HAS SOPS 629706 HAS SOUS 324661 HAS SOUPS 324661 WITH SCORE 325290.706
AT ITER 2001 NEW BEST:: SOT 1042733 SOS 629070 HAS SOPS 629070 HAS SOUS 324032 HAS SOUPS 324032 WITH SCORE 324661.07
AT ITER 2002 NEW BEST:: SOT 1042249 SOS 630286 HAS SOPS 630286 HAS SOUS 323903 HAS SOUPS 323903 WITH SCORE 324533.286
AT ITER 2015 NEW BEST:: SOT 1041639 SOS 629066 HAS SOPS 629066 HAS SOUS 323147 HAS SOUPS 323147 WITH SCORE 323776.066
AT ITER 2017 NEW BEST:: SOT 1041639 SOS 628966 HAS SOPS 628966 HAS SOUS 323146 HAS SOUPS 323146 WITH SCORE 323774.966
AT ITER 2020 NEW BEST:: SOT 1041461 SOS 628788 HAS SOPS 628788 HAS SOUS 322968 HAS SOUPS 322968 WITH SCORE 323596.788
AT ITER 2032 NEW BEST:: SOT 1041980 SOS 629296 HAS SOPS 629296 HAS SOUS 322531 HAS SOUPS 322531 WITH SCORE 323160.296
AT ITER 2035 NEW BEST:: SOT 1041916 SOS 629563 HAS SOPS 629563 HAS SOUS 322342 HAS SOUPS 322342 WITH SCORE 322971.563
AT ITER 2036 NEW BEST:: SOT 1041930 SOS 629591 HAS SOPS 629591 HAS SOUS 322294 HAS SOUPS 322294 WITH SCORE 322923.591
AT ITER 2065 NEW BEST:: SOT 1041930 SOS 629591 HAS SOPS 629591 HAS SOUS 322222 HAS SOUPS 322222 WITH SCORE 322851.591
AT ITER 2069 NEW BEST:: SOT 1041420 SOS 628657 HAS SOPS 628657 HAS SOUS 321074 HAS SOUPS 321074 WITH SCORE 321702.657
AT ITER 2070 NEW BEST:: SOT 1041457 SOS 628809 HAS SOPS 628809 HAS SOUS 320343 HAS SOUPS 320343 WITH SCORE 320971.809
AT ITER 2078 NEW BEST:: SOT 1042209 SOS 629215 HAS SOPS 629215 HAS SOUS 319711 HAS SOUPS 319711 WITH SCORE 320340.215
AT ITER 2098 NEW BEST:: SOT 1042065 SOS 629071 HAS SOPS 629071 HAS SOUS 319567 HAS SOUPS 319567 WITH SCORE 320196.071
AT ITER 2109 NEW BEST:: SOT 1041960 SOS 628966 HAS SOPS 628966 HAS SOUS 319447 HAS SOUPS 319447 WITH SCORE 320075.966
AT ITER 2110 NEW BEST:: SOT 1042018 SOS 629231 HAS SOPS 629231 HAS SOUS 319444 HAS SOUPS 319444 WITH SCORE 320073.231
AT ITER 2115 NEW BEST:: SOT 1042312 SOS 629345 HAS SOPS 629345 HAS SOUS 319366 HAS SOUPS 319366 WITH SCORE 319995.345
AT ITER 2132 NEW BEST:: SOT 1042337 SOS 629281 HAS SOPS 629281 HAS SOUS 319365 HAS SOUPS 319365 WITH SCORE 319994.281
AT ITER 2139 NEW BEST:: SOT 1041794 SOS 630248 HAS SOPS 630248 HAS SOUS 319024 HAS SOUPS 319024 WITH SCORE 319654.248
AT ITER 2145 NEW BEST:: SOT 1041657 SOS 630115 HAS SOPS 630115 HAS SOUS 319011 HAS SOUPS 319011 WITH SCORE 319641.115
AT ITER 2147 NEW BEST:: SOT 1041643 SOS 630101 HAS SOPS 630101 HAS SOUS 318997 HAS SOUPS 318997 WITH SCORE 319627.101
AT ITER 2148 NEW BEST:: SOT 1041635 SOS 630085 HAS SOPS 630085 HAS SOUS 318980 HAS SOUPS 318980 WITH SCORE 319610.085
AT ITER 2149 NEW BEST:: SOT 1041591 SOS 629865 HAS SOPS 629865 HAS SOUS 318848 HAS SOUPS 318848 WITH SCORE 319477.865
AT ITER 2157 NEW BEST:: SOT 1041551 SOS 629825 HAS SOPS 629825 HAS SOUS 318808 HAS SOUPS 318808 WITH SCORE 319437.825
AT ITER 2183 NEW BEST:: SOT 1041529 SOS 629823 HAS SOPS 629823 HAS SOUS 318805 HAS SOUPS 318805 WITH SCORE 319434.823
AT ITER 2205 NEW BEST:: SOT 1041499 SOS 629636 HAS SOPS 629636 HAS SOUS 318687 HAS SOUPS 318687 WITH SCORE 319316.636
AT ITER 2207 NEW BEST:: SOT 1041472 SOS 629609 HAS SOPS 629609 HAS SOUS 318633 HAS SOUPS 318633 WITH SCORE 319262.609
AT ITER 2219 NEW BEST:: SOT 1041472 SOS 629472 HAS SOPS 629472 HAS SOUS 318614 HAS SOUPS 318614 WITH SCORE 319243.472
AT ITER 2226 NEW BEST:: SOT 1041470 SOS 629470 HAS SOPS 629470 HAS SOUS 318612 HAS SOUPS 318612 WITH SCORE 319241.47
AT ITER 2229 NEW BEST:: SOT 1041082 SOS 629164 HAS SOPS 629164 HAS SOUS 318306 HAS SOUPS 318306 WITH SCORE 318935.164
AT ITER 2242 NEW BEST:: SOT 1041080 SOS 629322 HAS SOPS 629322 HAS SOUS 318302 HAS SOUPS 318302 WITH SCORE 318931.322
AT ITER 2245 NEW BEST:: SOT 1040878 SOS 628700 HAS SOPS 628700 HAS SOUS 317680 HAS SOUPS 317680 WITH SCORE 318308.7
AT ITER 2259 NEW BEST:: SOT 1040878 SOS 628693 HAS SOPS 628693 HAS SOUS 317673 HAS SOUPS 317673 WITH SCORE 318301.693
AT ITER 2296 NEW BEST:: SOT 1040970 SOS 628695 HAS SOPS 628695 HAS SOUS 317665 HAS SOUPS 317665 WITH SCORE 318293.695
AT ITER 2302 NEW BEST:: SOT 1040912 SOS 628608 HAS SOPS 628608 HAS SOUS 317578 HAS SOUPS 317578 WITH SCORE 318206.608
AT ITER 2303 NEW BEST:: SOT 1040912 SOS 630173 HAS SOPS 630173 HAS SOUS 317556 HAS SOUPS 317556 WITH SCORE 318186.173
AT ITER 2310 NEW BEST:: SOT 1040912 SOS 630146 HAS SOPS 630146 HAS SOUS 317529 HAS SOUPS 317529 WITH SCORE 318159.146
AT ITER 2320 NEW BEST:: SOT 1040872 SOS 630106 HAS SOPS 630106 HAS SOUS 317489 HAS SOUPS 317489 WITH SCORE 318119.106
AT ITER 2323 NEW BEST:: SOT 1040872 SOS 629864 HAS SOPS 629864 HAS SOUS 317368 HAS SOUPS 317368 WITH SCORE 317997.864
AT ITER 2331 NEW BEST:: SOT 1040762 SOS 629754 HAS SOPS 629754 HAS SOUS 317258 HAS SOUPS 317258 WITH SCORE 317887.754
AT ITER 2340 NEW BEST:: SOT 1037962 SOS 626954 HAS SOPS 626954 HAS SOUS 314458 HAS SOUPS 314458 WITH SCORE 315084.954
AT ITER 2345 NEW BEST:: SOT 1037897 SOS 626889 HAS SOPS 626889 HAS SOUS 314393 HAS SOUPS 314393 WITH SCORE 315019.889
AT ITER 2347 NEW BEST:: SOT 1037820 SOS 626621 HAS SOPS 626621 HAS SOUS 314314 HAS SOUPS 314314 WITH SCORE 314940.621
AT ITER 2348 NEW BEST:: SOT 1037808 SOS 626472 HAS SOPS 626472 HAS SOUS 314165 HAS SOUPS 314165 WITH SCORE 314791.472
AT ITER 2352 NEW BEST:: SOT 1037807 SOS 626470 HAS SOPS 626470 HAS SOUS 314160 HAS SOUPS 314160 WITH SCORE 314786.47
AT ITER 2359 NEW BEST:: SOT 1037807 SOS 626506 HAS SOPS 626506 HAS SOUS 314150 HAS SOUPS 314150 WITH SCORE 314776.506
AT ITER 2362 NEW BEST:: SOT 1037573 SOS 626694 HAS SOPS 626694 HAS SOUS 313782 HAS SOUPS 313782 WITH SCORE 314408.694
AT ITER 2366 NEW BEST:: SOT 1037570 SOS 626686 HAS SOPS 626686 HAS SOUS 313781 HAS SOUPS 313781 WITH SCORE 314407.686
AT ITER 2376 NEW BEST:: SOT 1037339 SOS 626455 HAS SOPS 626455 HAS SOUS 313550 HAS SOUPS 313550 WITH SCORE 314176.455
AT ITER 2377 NEW BEST:: SOT 1035967 SOS 625375 HAS SOPS 625375 HAS SOUS 312470 HAS SOUPS 312470 WITH SCORE 313095.375
AT ITER 2380 NEW BEST:: SOT 1035355 SOS 624352 HAS SOPS 624352 HAS SOUS 310926 HAS SOUPS 310926 WITH SCORE 311550.352
AT ITER 2381 NEW BEST:: SOT 1035355 SOS 624323 HAS SOPS 624323 HAS SOUS 310926 HAS SOUPS 310926 WITH SCORE 311550.323
AT ITER 2387 NEW BEST:: SOT 1035355 SOS 623965 HAS SOPS 623965 HAS SOUS 310926 HAS SOUPS 310926 WITH SCORE 311549.965
AT ITER 2390 NEW BEST:: SOT 1035344 SOS 623943 HAS SOPS 623943 HAS SOUS 310904 HAS SOUPS 310904 WITH SCORE 311527.943
AT ITER 2413 NEW BEST:: SOT 1035342 SOS 623941 HAS SOPS 623941 HAS SOUS 310902 HAS SOUPS 310902 WITH SCORE 311525.941
AT ITER 2429 NEW BEST:: SOT 1035324 SOS 623923 HAS SOPS 623923 HAS SOUS 310884 HAS SOUPS 310884 WITH SCORE 311507.923
AT ITER 2431 NEW BEST:: SOT 1035080 SOS 623516 HAS SOPS 623516 HAS SOUS 310733 HAS SOUPS 310733 WITH SCORE 311356.516
AT ITER 2436 NEW BEST:: SOT 1035080 SOS 623461 HAS SOPS 623461 HAS SOUS 310722 HAS SOUPS 310722 WITH SCORE 311345.461
AT ITER 2444 NEW BEST:: SOT 1035123 SOS 623325 HAS SOPS 623325 HAS SOUS 310584 HAS SOUPS 310584 WITH SCORE 311207.325
AT ITER 2445 NEW BEST:: SOT 1034741 SOS 622511 HAS SOPS 622511 HAS SOUS 309770 HAS SOUPS 309770 WITH SCORE 310392.511
AT ITER 2446 NEW BEST:: SOT 1034741 SOS 622177 HAS SOPS 622177 HAS SOUS 309436 HAS SOUPS 309436 WITH SCORE 310058.177
AT ITER 2447 NEW BEST:: SOT 1034570 SOS 622006 HAS SOPS 622006 HAS SOUS 309265 HAS SOUPS 309265 WITH SCORE 309887.006
AT ITER 2459 NEW BEST:: SOT 1034538 SOS 621535 HAS SOPS 621535 HAS SOUS 308826 HAS SOUPS 308826 WITH SCORE 309447.535
AT ITER 2462 NEW BEST:: SOT 1034536 SOS 621143 HAS SOPS 621143 HAS SOUS 308565 HAS SOUPS 308565 WITH SCORE 309186.143
AT ITER 2470 NEW BEST:: SOT 1034536 SOS 620747 HAS SOPS 620747 HAS SOUS 308494 HAS SOUPS 308494 WITH SCORE 309114.747
AT ITER 2476 NEW BEST:: SOT 1034509 SOS 620720 HAS SOPS 620720 HAS SOUS 308466 HAS SOUPS 308466 WITH SCORE 309086.72
AT ITER 2483 NEW BEST:: SOT 1034409 SOS 620620 HAS SOPS 620620 HAS SOUS 308332 HAS SOUPS 308332 WITH SCORE 308952.62
AT ITER 2486 NEW BEST:: SOT 1034279 SOS 620614 HAS SOPS 620614 HAS SOUS 308328 HAS SOUPS 308328 WITH SCORE 308948.614
AT ITER 2490 NEW BEST:: SOT 1034279 SOS 620614 HAS SOPS 620614 HAS SOUS 308312 HAS SOUPS 308312 WITH SCORE 308932.614
AT ITER 2493 NEW BEST:: SOT 1034139 SOS 619984 HAS SOPS 619984 HAS SOUS 308032 HAS SOUPS 308032 WITH SCORE 308651.984
AT ITER 2509 NEW BEST:: SOT 1034193 SOS 619399 HAS SOPS 619399 HAS SOUS 307377 HAS SOUPS 307377 WITH SCORE 307996.399
AT ITER 2521 NEW BEST:: SOT 1033556 SOS 619396 HAS SOPS 619396 HAS SOUS 306649 HAS SOUPS 306649 WITH SCORE 307268.396
AT ITER 2529 NEW BEST:: SOT 1033314 SOS 618984 HAS SOPS 618984 HAS SOUS 306237 HAS SOUPS 306237 WITH SCORE 306855.984
AT ITER 2540 NEW BEST:: SOT 1033285 SOS 618955 HAS SOPS 618955 HAS SOUS 306229 HAS SOUPS 306229 WITH SCORE 306847.955
AT ITER 2550 NEW BEST:: SOT 1033285 SOS 618955 HAS SOPS 618955 HAS SOUS 306223 HAS SOUPS 306223 WITH SCORE 306841.955
AT ITER 2555 NEW BEST:: SOT 1033241 SOS 618911 HAS SOPS 618911 HAS SOUS 306178 HAS SOUPS 306178 WITH SCORE 306796.911
AT ITER 2561 NEW BEST:: SOT 1033241 SOS 618740 HAS SOPS 618740 HAS SOUS 306168 HAS SOUPS 306168 WITH SCORE 306786.74
AT ITER 2566 NEW BEST:: SOT 1033035 SOS 618534 HAS SOPS 618534 HAS SOUS 305962 HAS SOUPS 305962 WITH SCORE 306580.534
AT ITER 2567 NEW BEST:: SOT 1033035 SOS 618312 HAS SOPS 618312 HAS SOUS 305958 HAS SOUPS 305958 WITH SCORE 306576.312
AT ITER 2585 NEW BEST:: SOT 1032791 SOS 617718 HAS SOPS 617718 HAS SOUS 305470 HAS SOUPS 305470 WITH SCORE 306087.718
AT ITER 2592 NEW BEST:: SOT 1032790 SOS 617395 HAS SOPS 617395 HAS SOUS 305161 HAS SOUPS 305161 WITH SCORE 305778.395
AT ITER 2593 NEW BEST:: SOT 1032603 SOS 617234 HAS SOPS 617234 HAS SOUS 305052 HAS SOUPS 305052 WITH SCORE 305669.234
AT ITER 2595 NEW BEST:: SOT 1032592 SOS 617222 HAS SOPS 617222 HAS SOUS 305040 HAS SOUPS 305040 WITH SCORE 305657.222
AT ITER 2607 NEW BEST:: SOT 1032626 SOS 617034 HAS SOPS 617034 HAS SOUS 304912 HAS SOUPS 304912 WITH SCORE 305529.034
AT ITER 2609 NEW BEST:: SOT 1032687 SOS 617301 HAS SOPS 617301 HAS SOUS 304794 HAS SOUPS 304794 WITH SCORE 305411.301
AT ITER 2610 NEW BEST:: SOT 1033486 SOS 617885 HAS SOPS 617885 HAS SOUS 304733 HAS SOUPS 304733 WITH SCORE 305350.885
AT ITER 2621 NEW BEST:: SOT 1030227 SOS 614556 HAS SOPS 614556 HAS SOUS 301174 HAS SOUPS 301174 WITH SCORE 301788.556
AT ITER 2641 NEW BEST:: SOT 1030227 SOS 614189 HAS SOPS 614189 HAS SOUS 301053 HAS SOUPS 301053 WITH SCORE 301667.189
AT ITER 2647 NEW BEST:: SOT 1030084 SOS 614189 HAS SOPS 614189 HAS SOUS 300987 HAS SOUPS 300987 WITH SCORE 301601.189
AT ITER 2650 NEW BEST:: SOT 1029960 SOS 614065 HAS SOPS 614065 HAS SOUS 300863 HAS SOUPS 300863 WITH SCORE 301477.065
AT ITER 2661 NEW BEST:: SOT 1029497 SOS 613658 HAS SOPS 613658 HAS SOUS 300592 HAS SOUPS 300592 WITH SCORE 301205.658
AT ITER 2666 NEW BEST:: SOT 1029497 SOS 613606 HAS SOPS 613606 HAS SOUS 300592 HAS SOUPS 300592 WITH SCORE 301205.606
AT ITER 2669 NEW BEST:: SOT 1029556 SOS 613550 HAS SOPS 613550 HAS SOUS 300536 HAS SOUPS 300536 WITH SCORE 301149.55
AT ITER 2671 NEW BEST:: SOT 1029519 SOS 613513 HAS SOPS 613513 HAS SOUS 300499 HAS SOUPS 300499 WITH SCORE 301112.513
AT ITER 2674 NEW BEST:: SOT 1029504 SOS 613498 HAS SOPS 613498 HAS SOUS 300454 HAS SOUPS 300454 WITH SCORE 301067.498
AT ITER 2679 NEW BEST:: SOT 1029504 SOS 613269 HAS SOPS 613269 HAS SOUS 300454 HAS SOUPS 300454 WITH SCORE 301067.269
AT ITER 2682 NEW BEST:: SOT 1029611 SOS 613376 HAS SOPS 613376 HAS SOUS 300449 HAS SOUPS 300449 WITH SCORE 301062.376
AT ITER 2690 NEW BEST:: SOT 1029479 SOS 612635 HAS SOPS 612635 HAS SOUS 299708 HAS SOUPS 299708 WITH SCORE 300320.635
AT ITER 2696 NEW BEST:: SOT 1029479 SOS 612542 HAS SOPS 612542 HAS SOUS 299615 HAS SOUPS 299615 WITH SCORE 300227.542
AT ITER 2707 NEW BEST:: SOT 1029479 SOS 612520 HAS SOPS 612520 HAS SOUS 299615 HAS SOUPS 299615 WITH SCORE 300227.52
AT ITER 2712 NEW BEST:: SOT 1029478 SOS 612519 HAS SOPS 612519 HAS SOUS 299613 HAS SOUPS 299613 WITH SCORE 300225.519
AT ITER 2722 NEW BEST:: SOT 1029446 SOS 612487 HAS SOPS 612487 HAS SOUS 299581 HAS SOUPS 299581 WITH SCORE 300193.487
AT ITER 2724 NEW BEST:: SOT 1029329 SOS 612370 HAS SOPS 612370 HAS SOUS 299261 HAS SOUPS 299261 WITH SCORE 299873.37
AT ITER 2726 NEW BEST:: SOT 1029329 SOS 612365 HAS SOPS 612365 HAS SOUS 299256 HAS SOUPS 299256 WITH SCORE 299868.365
AT ITER 2752 NEW BEST:: SOT 1029258 SOS 612144 HAS SOPS 612144 HAS SOUS 299110 HAS SOUPS 299110 WITH SCORE 299722.144
AT ITER 2759 NEW BEST:: SOT 1029069 SOS 611993 HAS SOPS 611993 HAS SOUS 299025 HAS SOUPS 299025 WITH SCORE 299636.993
AT ITER 2764 NEW BEST:: SOT 1028619 SOS 613051 HAS SOPS 613051 HAS SOUS 298900 HAS SOUPS 298900 WITH SCORE 299513.051
AT ITER 2770 NEW BEST:: SOT 1028517 SOS 612949 HAS SOPS 612949 HAS SOUS 298770 HAS SOUPS 298770 WITH SCORE 299382.949
AT ITER 2775 NEW BEST:: SOT 1028197 SOS 612773 HAS SOPS 612773 HAS SOUS 298510 HAS SOUPS 298510 WITH SCORE 299122.773
AT ITER 2786 NEW BEST:: SOT 1028069 SOS 612715 HAS SOPS 612715 HAS SOUS 298452 HAS SOUPS 298452 WITH SCORE 299064.715
AT ITER 2790 NEW BEST:: SOT 1028071 SOS 613026 HAS SOPS 613026 HAS SOUS 298339 HAS SOUPS 298339 WITH SCORE 298952.026
AT ITER 2793 NEW BEST:: SOT 1028130 SOS 613020 HAS SOPS 613020 HAS SOUS 298334 HAS SOUPS 298334 WITH SCORE 298947.02
AT ITER 2802 NEW BEST:: SOT 1028130 SOS 613020 HAS SOPS 613020 HAS SOUS 298308 HAS SOUPS 298308 WITH SCORE 298921.02
AT ITER 2804 NEW BEST:: SOT 1028130 SOS 613016 HAS SOPS 613016 HAS SOUS 298304 HAS SOUPS 298304 WITH SCORE 298917.016
AT ITER 2813 NEW BEST:: SOT 1028134 SOS 612898 HAS SOPS 612898 HAS SOUS 298303 HAS SOUPS 298303 WITH SCORE 298915.898
AT ITER 2826 NEW BEST:: SOT 1028134 SOS 612937 HAS SOPS 612937 HAS SOUS 298298 HAS SOUPS 298298 WITH SCORE 298910.937
AT ITER 2831 NEW BEST:: SOT 1028144 SOS 612937 HAS SOPS 612937 HAS SOUS 298288 HAS SOUPS 298288 WITH SCORE 298900.937
AT ITER 2835 NEW BEST:: SOT 1028135 SOS 612928 HAS SOPS 612928 HAS SOUS 298270 HAS SOUPS 298270 WITH SCORE 298882.928
AT ITER 2840 NEW BEST:: SOT 1027832 SOS 612625 HAS SOPS 612625 HAS SOUS 297934 HAS SOUPS 297934 WITH SCORE 298546.625
AT ITER 2842 NEW BEST:: SOT 1027830 SOS 612585 HAS SOPS 612585 HAS SOUS 297934 HAS SOUPS 297934 WITH SCORE 298546.585
AT ITER 2855 NEW BEST:: SOT 1027655 SOS 612561 HAS SOPS 612561 HAS SOUS 297759 HAS SOUPS 297759 WITH SCORE 298371.561
AT ITER 2865 NEW BEST:: SOT 1027655 SOS 612293 HAS SOPS 612293 HAS SOUS 297759 HAS SOUPS 297759 WITH SCORE 298371.293
AT ITER 2880 NEW BEST:: SOT 1027512 SOS 612150 HAS SOPS 612150 HAS SOUS 297616 HAS SOUPS 297616 WITH SCORE 298228.15
AT ITER 2884 NEW BEST:: SOT 1027389 SOS 612027 HAS SOPS 612027 HAS SOUS 297491 HAS SOUPS 297491 WITH SCORE 298103.027
AT ITER 2903 NEW BEST:: SOT 1027248 SOS 611886 HAS SOPS 611886 HAS SOUS 297257 HAS SOUPS 297257 WITH SCORE 297868.886
AT ITER 2919 NEW BEST:: SOT 1026919 SOS 613504 HAS SOPS 613504 HAS SOUS 297182 HAS SOUPS 297182 WITH SCORE 297795.504
AT ITER 2926 NEW BEST:: SOT 1027105 SOS 613690 HAS SOPS 613690 HAS SOUS 297092 HAS SOUPS 297092 WITH SCORE 297705.69
AT ITER 2929 NEW BEST:: SOT 1027005 SOS 613590 HAS SOPS 613590 HAS SOUS 297079 HAS SOUPS 297079 WITH SCORE 297692.59
AT ITER 2934 NEW BEST:: SOT 1026898 SOS 613483 HAS SOPS 613483 HAS SOUS 296917 HAS SOUPS 296917 WITH SCORE 297530.483
AT ITER 2935 NEW BEST:: SOT 1026951 SOS 613609 HAS SOPS 613609 HAS SOUS 296837 HAS SOUPS 296837 WITH SCORE 297450.609
AT ITER 2942 NEW BEST:: SOT 1026951 SOS 611749 HAS SOPS 611749 HAS SOUS 296527 HAS SOUPS 296527 WITH SCORE 297138.749
AT ITER 2946 NEW BEST:: SOT 1026951 SOS 611545 HAS SOPS 611545 HAS SOUS 296459 HAS SOUPS 296459 WITH SCORE 297070.545
AT ITER 2948 NEW BEST:: SOT 1026915 SOS 611527 HAS SOPS 611527 HAS SOUS 296387 HAS SOUPS 296387 WITH SCORE 296998.527
AT ITER 2952 NEW BEST:: SOT 1026915 SOS 611527 HAS SOPS 611527 HAS SOUS 296180 HAS SOUPS 296180 WITH SCORE 296791.527
AT ITER 2985 NEW BEST:: SOT 1026789 SOS 611275 HAS SOPS 611275 HAS SOUS 295928 HAS SOUPS 295928 WITH SCORE 296539.275
AT ITER 2990 NEW BEST:: SOT 1026378 SOS 609889 HAS SOPS 609889 HAS SOUS 294796 HAS SOUPS 294796 WITH SCORE 295405.889
AT ITER 3000 NEW BEST:: SOT 1025477 SOS 608939 HAS SOPS 608939 HAS SOUS 293726 HAS SOUPS 293726 WITH SCORE 294334.939
AT ITER 3019 NEW BEST:: SOT 1025536 SOS 608644 HAS SOPS 608644 HAS SOUS 293680 HAS SOUPS 293680 WITH SCORE 294288.644
AT ITER 3020 NEW BEST:: SOT 1020798 SOS 603906 HAS SOPS 603906 HAS SOUS 288858 HAS SOUPS 288858 WITH SCORE 289461.906
AT ITER 3022 NEW BEST:: SOT 1021189 SOS 603150 HAS SOPS 603150 HAS SOUS 288192 HAS SOUPS 288192 WITH SCORE 288795.15
AT ITER 3024 NEW BEST:: SOT 1021143 SOS 603104 HAS SOPS 603104 HAS SOUS 288146 HAS SOUPS 288146 WITH SCORE 288749.104
AT ITER 3074 NEW BEST:: SOT 1021105 SOS 603045 HAS SOPS 603045 HAS SOUS 287833 HAS SOUPS 287833 WITH SCORE 288436.045
AT ITER 3076 NEW BEST:: SOT 1021104 SOS 603044 HAS SOPS 603044 HAS SOUS 287831 HAS SOUPS 287831 WITH SCORE 288434.044
AT ITER 3087 NEW BEST:: SOT 1021096 SOS 603036 HAS SOPS 603036 HAS SOUS 287823 HAS SOUPS 287823 WITH SCORE 288426.036
AT ITER 3092 NEW BEST:: SOT 1020060 SOS 603424 HAS SOPS 603424 HAS SOUS 286964 HAS SOUPS 286964 WITH SCORE 287567.424
AT ITER 3096 NEW BEST:: SOT 1019985 SOS 603421 HAS SOPS 603421 HAS SOUS 286961 HAS SOUPS 286961 WITH SCORE 287564.421
AT ITER 3132 NEW BEST:: SOT 1019880 SOS 603316 HAS SOPS 603316 HAS SOUS 286856 HAS SOUPS 286856 WITH SCORE 287459.316
AT ITER 3145 NEW BEST:: SOT 1019661 SOS 603097 HAS SOPS 603097 HAS SOUS 286637 HAS SOUPS 286637 WITH SCORE 287240.097
AT ITER 3151 NEW BEST:: SOT 1019540 SOS 602976 HAS SOPS 602976 HAS SOUS 286395 HAS SOUPS 286395 WITH SCORE 286997.976
AT ITER 3155 NEW BEST:: SOT 1019404 SOS 602840 HAS SOPS 602840 HAS SOUS 286346 HAS SOUPS 286346 WITH SCORE 286948.84
AT ITER 3165 NEW BEST:: SOT 1019104 SOS 602823 HAS SOPS 602823 HAS SOUS 286329 HAS SOUPS 286329 WITH SCORE 286931.823
AT ITER 3171 NEW BEST:: SOT 1019386 SOS 602804 HAS SOPS 602804 HAS SOUS 286309 HAS SOUPS 286309 WITH SCORE 286911.804
AT ITER 3173 NEW BEST:: SOT 1019222 SOS 602375 HAS SOPS 602375 HAS SOUS 286016 HAS SOUPS 286016 WITH SCORE 286618.375
AT ITER 3177 NEW BEST:: SOT 1019151 SOS 602233 HAS SOPS 602233 HAS SOUS 285874 HAS SOUPS 285874 WITH SCORE 286476.233
AT ITER 3185 NEW BEST:: SOT 1019137 SOS 602219 HAS SOPS 602219 HAS SOUS 285860 HAS SOUPS 285860 WITH SCORE 286462.219
AT ITER 3186 NEW BEST:: SOT 1018808 SOS 600961 HAS SOPS 600961 HAS SOUS 285282 HAS SOUPS 285282 WITH SCORE 285882.961
AT ITER 3189 NEW BEST:: SOT 1018808 SOS 600833 HAS SOPS 600833 HAS SOUS 285266 HAS SOUPS 285266 WITH SCORE 285866.833
AT ITER 3201 NEW BEST:: SOT 1018804 SOS 600829 HAS SOPS 600829 HAS SOUS 285258 HAS SOUPS 285258 WITH SCORE 285858.829
AT ITER 3214 NEW BEST:: SOT 1018880 SOS 600905 HAS SOPS 600905 HAS SOUS 285222 HAS SOUPS 285222 WITH SCORE 285822.905
AT ITER 3231 NEW BEST:: SOT 1019280 SOS 601353 HAS SOPS 601353 HAS SOUS 285167 HAS SOUPS 285167 WITH SCORE 285768.353
AT ITER 3245 NEW BEST:: SOT 1019266 SOS 601325 HAS SOPS 601325 HAS SOUS 285139 HAS SOUPS 285139 WITH SCORE 285740.325
AT ITER 3253 NEW BEST:: SOT 1019177 SOS 600982 HAS SOPS 600982 HAS SOUS 284866 HAS SOUPS 284866 WITH SCORE 285466.982
AT ITER 3268 NEW BEST:: SOT 1018985 SOS 600003 HAS SOPS 600003 HAS SOUS 284431 HAS SOUPS 284431 WITH SCORE 285031.003
AT ITER 3282 NEW BEST:: SOT 1018786 SOS 599605 HAS SOPS 599605 HAS SOUS 284033 HAS SOUPS 284033 WITH SCORE 284632.605
AT ITER 3283 NEW BEST:: SOT 1018570 SOS 598970 HAS SOPS 598970 HAS SOUS 283398 HAS SOUPS 283398 WITH SCORE 283996.97
AT ITER 3286 NEW BEST:: SOT 1018403 SOS 598803 HAS SOPS 598803 HAS SOUS 283236 HAS SOUPS 283236 WITH SCORE 283834.803
AT ITER 3309 NEW BEST:: SOT 1018728 SOS 598671 HAS SOPS 598671 HAS SOUS 283039 HAS SOUPS 283039 WITH SCORE 283637.671
AT ITER 3324 NEW BEST:: SOT 1013523 SOS 593643 HAS SOPS 593643 HAS SOUS 277961 HAS SOUPS 277961 WITH SCORE 278554.643
AT ITER 3330 NEW BEST:: SOT 1013440 SOS 593477 HAS SOPS 593477 HAS SOUS 277795 HAS SOUPS 277795 WITH SCORE 278388.477
AT ITER 3333 NEW BEST:: SOT 1013440 SOS 593506 HAS SOPS 593506 HAS SOUS 277770 HAS SOUPS 277770 WITH SCORE 278363.506
AT ITER 3344 NEW BEST:: SOT 1013131 SOS 593072 HAS SOPS 593072 HAS SOUS 277476 HAS SOUPS 277476 WITH SCORE 278069.072
AT ITER 3347 NEW BEST:: SOT 1013030 SOS 592962 HAS SOPS 592962 HAS SOUS 277388 HAS SOUPS 277388 WITH SCORE 277980.962
AT ITER 3373 NEW BEST:: SOT 1012973 SOS 592767 HAS SOPS 592767 HAS SOUS 277179 HAS SOUPS 277179 WITH SCORE 277771.767
AT ITER 3399 NEW BEST:: SOT 1012963 SOS 592757 HAS SOPS 592757 HAS SOUS 277137 HAS SOUPS 277137 WITH SCORE 277729.757
AT ITER 3402 NEW BEST:: SOT 1012963 SOS 592871 HAS SOPS 592871 HAS SOUS 277125 HAS SOUPS 277125 WITH SCORE 277717.871
AT ITER 3418 NEW BEST:: SOT 1012864 SOS 592283 HAS SOPS 592283 HAS SOUS 276531 HAS SOUPS 276531 WITH SCORE 277123.283
AT ITER 3420 NEW BEST:: SOT 1012908 SOS 591874 HAS SOPS 591874 HAS SOUS 276470 HAS SOUPS 276470 WITH SCORE 277061.874
AT ITER 3453 NEW BEST:: SOT 1012807 SOS 591739 HAS SOPS 591739 HAS SOUS 276465 HAS SOUPS 276465 WITH SCORE 277056.739
AT ITER 3467 NEW BEST:: SOT 1012806 SOS 591738 HAS SOPS 591738 HAS SOUS 276463 HAS SOUPS 276463 WITH SCORE 277054.738
AT ITER 3471 NEW BEST:: SOT 1012806 SOS 591714 HAS SOPS 591714 HAS SOUS 276460 HAS SOUPS 276460 WITH SCORE 277051.714
AT ITER 3483 NEW BEST:: SOT 1012806 SOS 590702 HAS SOPS 590702 HAS SOUS 276207 HAS SOUPS 276207 WITH SCORE 276797.702
AT ITER 3491 NEW BEST:: SOT 1012806 SOS 590470 HAS SOPS 590470 HAS SOUS 276178 HAS SOUPS 276178 WITH SCORE 276768.47
AT ITER 3498 NEW BEST:: SOT 1012758 SOS 590470 HAS SOPS 590470 HAS SOUS 276130 HAS SOUPS 276130 WITH SCORE 276720.47
AT ITER 3506 NEW BEST:: SOT 1012756 SOS 590468 HAS SOPS 590468 HAS SOUS 276126 HAS SOUPS 276126 WITH SCORE 276716.468
AT ITER 3512 NEW BEST:: SOT 1011989 SOS 589335 HAS SOPS 589335 HAS SOUS 274993 HAS SOUPS 274993 WITH SCORE 275582.335
AT ITER 3519 NEW BEST:: SOT 1011989 SOS 589333 HAS SOPS 589333 HAS SOUS 274991 HAS SOUPS 274991 WITH SCORE 275580.333
AT ITER 3521 NEW BEST:: SOT 1011992 SOS 589440 HAS SOPS 589440 HAS SOUS 274982 HAS SOUPS 274982 WITH SCORE 275571.44
AT ITER 3530 NEW BEST:: SOT 1011988 SOS 589436 HAS SOPS 589436 HAS SOUS 274978 HAS SOUPS 274978 WITH SCORE 275567.436
AT ITER 3541 NEW BEST:: SOT 1011915 SOS 589462 HAS SOPS 589462 HAS SOUS 274770 HAS SOUPS 274770 WITH SCORE 275359.462
AT ITER 3542 NEW BEST:: SOT 1011915 SOS 586770 HAS SOPS 586770 HAS SOUS 274679 HAS SOUPS 274679 WITH SCORE 275265.77
AT ITER 3551 NEW BEST:: SOT 1011471 SOS 586326 HAS SOPS 586326 HAS SOUS 273881 HAS SOUPS 273881 WITH SCORE 274467.326
AT ITER 3561 NEW BEST:: SOT 1011547 SOS 585962 HAS SOPS 585962 HAS SOUS 273517 HAS SOUPS 273517 WITH SCORE 274102.962
AT ITER 3565 NEW BEST:: SOT 1011467 SOS 585882 HAS SOPS 585882 HAS SOUS 273437 HAS SOUPS 273437 WITH SCORE 274022.882
AT ITER 3583 NEW BEST:: SOT 1011314 SOS 584391 HAS SOPS 584391 HAS SOUS 273186 HAS SOUPS 273186 WITH SCORE 273770.391
AT ITER 3587 NEW BEST:: SOT 1011305 SOS 584372 HAS SOPS 584372 HAS SOUS 273168 HAS SOUPS 273168 WITH SCORE 273752.372
AT ITER 3590 NEW BEST:: SOT 1011305 SOS 584349 HAS SOPS 584349 HAS SOUS 273145 HAS SOUPS 273145 WITH SCORE 273729.349
AT ITER 3592 NEW BEST:: SOT 1011369 SOS 583899 HAS SOPS 583899 HAS SOUS 272695 HAS SOUPS 272695 WITH SCORE 273278.899
AT ITER 3597 NEW BEST:: SOT 1011345 SOS 583875 HAS SOPS 583875 HAS SOUS 272669 HAS SOUPS 272669 WITH SCORE 273252.875
AT ITER 3633 NEW BEST:: SOT 1011084 SOS 583753 HAS SOPS 583753 HAS SOUS 272547 HAS SOUPS 272547 WITH SCORE 273130.753
AT ITER 3648 NEW BEST:: SOT 1011047 SOS 583339 HAS SOPS 583339 HAS SOUS 272473 HAS SOUPS 272473 WITH SCORE 273056.339
AT ITER 3651 NEW BEST:: SOT 1010907 SOS 583199 HAS SOPS 583199 HAS SOUS 272243 HAS SOUPS 272243 WITH SCORE 272826.199
AT ITER 3656 NEW BEST:: SOT 1010882 SOS 583174 HAS SOPS 583174 HAS SOUS 272111 HAS SOUPS 272111 WITH SCORE 272694.174
AT ITER 3700 NEW BEST:: SOT 1010882 SOS 583146 HAS SOPS 583146 HAS SOUS 272083 HAS SOUPS 272083 WITH SCORE 272666.146
AT ITER 3714 NEW BEST:: SOT 1010206 SOS 582470 HAS SOPS 582470 HAS SOUS 271407 HAS SOUPS 271407 WITH SCORE 271989.47
AT ITER 3733 NEW BEST:: SOT 1009857 SOS 581583 HAS SOPS 581583 HAS SOUS 271181 HAS SOUPS 271181 WITH SCORE 271762.583
AT ITER 3739 NEW BEST:: SOT 1009792 SOS 581482 HAS SOPS 581482 HAS SOUS 271080 HAS SOUPS 271080 WITH SCORE 271661.482
AT ITER 3770 NEW BEST:: SOT 1009591 SOS 581173 HAS SOPS 581173 HAS SOUS 270772 HAS SOUPS 270772 WITH SCORE 271353.173
AT ITER 3781 NEW BEST:: SOT 1009467 SOS 581202 HAS SOPS 581202 HAS SOUS 270760 HAS SOUPS 270760 WITH SCORE 271341.202
AT ITER 3783 NEW BEST:: SOT 1009347 SOS 581052 HAS SOPS 581052 HAS SOUS 270580 HAS SOUPS 270580 WITH SCORE 271161.052
AT ITER 3789 NEW BEST:: SOT 1008953 SOS 580658 HAS SOPS 580658 HAS SOUS 270185 HAS SOUPS 270185 WITH SCORE 270765.658
AT ITER 3807 NEW BEST:: SOT 1008919 SOS 580635 HAS SOPS 580635 HAS SOUS 270151 HAS SOUPS 270151 WITH SCORE 270731.635
AT ITER 3820 NEW BEST:: SOT 1008911 SOS 579648 HAS SOPS 579648 HAS SOUS 270143 HAS SOUPS 270143 WITH SCORE 270722.648
AT ITER 3840 NEW BEST:: SOT 1009205 SOS 579269 HAS SOPS 579269 HAS SOUS 270132 HAS SOUPS 270132 WITH SCORE 270711.269
AT ITER 3865 NEW BEST:: SOT 1009205 SOS 577379 HAS SOPS 577379 HAS SOUS 270102 HAS SOUPS 270102 WITH SCORE 270679.379
AT ITER 3875 NEW BEST:: SOT 1009202 SOS 577376 HAS SOPS 577376 HAS SOUS 270096 HAS SOUPS 270096 WITH SCORE 270673.376
AT ITER 3880 NEW BEST:: SOT 1009189 SOS 577350 HAS SOPS 577350 HAS SOUS 270070 HAS SOUPS 270070 WITH SCORE 270647.35
AT ITER 3918 NEW BEST:: SOT 1009335 SOS 577496 HAS SOPS 577496 HAS SOUS 270029 HAS SOUPS 270029 WITH SCORE 270606.496
AT ITER 3928 NEW BEST:: SOT 1009239 SOS 577252 HAS SOPS 577252 HAS SOUS 269785 HAS SOUPS 269785 WITH SCORE 270362.252
AT ITER 3939 NEW BEST:: SOT 1009250 SOS 576992 HAS SOPS 576992 HAS SOUS 269566 HAS SOUPS 269566 WITH SCORE 270142.992
AT ITER 3963 NEW BEST:: SOT 1008826 SOS 576643 HAS SOPS 576643 HAS SOUS 269131 HAS SOUPS 269131 WITH SCORE 269707.643
AT ITER 3984 NEW BEST:: SOT 1008670 SOS 576487 HAS SOPS 576487 HAS SOUS 268975 HAS SOUPS 268975 WITH SCORE 269551.487
AT ITER 3993 NEW BEST:: SOT 1008774 SOS 576373 HAS SOPS 576373 HAS SOUS 268861 HAS SOUPS 268861 WITH SCORE 269437.373
AT ITER 4023 NEW BEST:: SOT 1008774 SOS 576109 HAS SOPS 576109 HAS SOUS 268672 HAS SOUPS 268672 WITH SCORE 269248.109
AT ITER 4030 NEW BEST:: SOT 1008774 SOS 576177 HAS SOPS 576177 HAS SOUS 268638 HAS SOUPS 268638 WITH SCORE 269214.177
AT ITER 4033 NEW BEST:: SOT 1008767 SOS 576170 HAS SOPS 576170 HAS SOUS 268624 HAS SOUPS 268624 WITH SCORE 269200.17
AT ITER 4035 NEW BEST:: SOT 1008797 SOS 576021 HAS SOPS 576021 HAS SOUS 268475 HAS SOUPS 268475 WITH SCORE 269051.021
AT ITER 4041 NEW BEST:: SOT 1008759 SOS 575982 HAS SOPS 575982 HAS SOUS 268436 HAS SOUPS 268436 WITH SCORE 269011.982
AT ITER 4058 NEW BEST:: SOT 1008753 SOS 575970 HAS SOPS 575970 HAS SOUS 268424 HAS SOUPS 268424 WITH SCORE 268999.97
AT ITER 4061 NEW BEST:: SOT 1008600 SOS 575817 HAS SOPS 575817 HAS SOUS 268275 HAS SOUPS 268275 WITH SCORE 268850.817
AT ITER 4063 NEW BEST:: SOT 1008693 SOS 575724 HAS SOPS 575724 HAS SOUS 268182 HAS SOUPS 268182 WITH SCORE 268757.724
AT ITER 4071 NEW BEST:: SOT 1008693 SOS 575169 HAS SOPS 575169 HAS SOUS 268182 HAS SOUPS 268182 WITH SCORE 268757.169
AT ITER 4081 NEW BEST:: SOT 1008119 SOS 574996 HAS SOPS 574996 HAS SOUS 267812 HAS SOUPS 267812 WITH SCORE 268386.996
AT ITER 4084 NEW BEST:: SOT 1008078 SOS 574955 HAS SOPS 574955 HAS SOUS 267771 HAS SOUPS 267771 WITH SCORE 268345.955
AT ITER 4092 NEW BEST:: SOT 1007790 SOS 575863 HAS SOPS 575863 HAS SOUS 267652 HAS SOUPS 267652 WITH SCORE 268227.863
AT ITER 4112 NEW BEST:: SOT 1007753 SOS 575449 HAS SOPS 575449 HAS SOUS 267506 HAS SOUPS 267506 WITH SCORE 268081.449
AT ITER 4134 NEW BEST:: SOT 1007614 SOS 575109 HAS SOPS 575109 HAS SOUS 267166 HAS SOUPS 267166 WITH SCORE 267741.109
AT ITER 4140 NEW BEST:: SOT 1007538 SOS 574957 HAS SOPS 574957 HAS SOUS 267014 HAS SOUPS 267014 WITH SCORE 267588.957
AT ITER 4144 NEW BEST:: SOT 1007307 SOS 574726 HAS SOPS 574726 HAS SOUS 266751 HAS SOUPS 266751 WITH SCORE 267325.726
AT ITER 4168 NEW BEST:: SOT 1007286 SOS 574705 HAS SOPS 574705 HAS SOUS 266730 HAS SOUPS 266730 WITH SCORE 267304.705
AT ITER 4170 NEW BEST:: SOT 1007214 SOS 574633 HAS SOPS 574633 HAS SOUS 266658 HAS SOUPS 266658 WITH SCORE 267232.633
AT ITER 4181 NEW BEST:: SOT 1007166 SOS 574837 HAS SOPS 574837 HAS SOUS 266634 HAS SOUPS 266634 WITH SCORE 267208.837
AT ITER 4185 NEW BEST:: SOT 1007159 SOS 574823 HAS SOPS 574823 HAS SOUS 266620 HAS SOUPS 266620 WITH SCORE 267194.823
AT ITER 4186 NEW BEST:: SOT 1007118 SOS 574782 HAS SOPS 574782 HAS SOUS 266566 HAS SOUPS 266566 WITH SCORE 267140.782
AT ITER 4205 NEW BEST:: SOT 1007006 SOS 574172 HAS SOPS 574172 HAS SOUS 266336 HAS SOUPS 266336 WITH SCORE 266910.172
AT ITER 4208 NEW BEST:: SOT 1007000 SOS 574166 HAS SOPS 574166 HAS SOUS 266324 HAS SOUPS 266324 WITH SCORE 266898.166
AT ITER 4214 NEW BEST:: SOT 1006981 SOS 574040 HAS SOPS 574040 HAS SOUS 266295 HAS SOUPS 266295 WITH SCORE 266869.04
AT ITER 4245 NEW BEST:: SOT 1006887 SOS 573852 HAS SOPS 573852 HAS SOUS 266201 HAS SOUPS 266201 WITH SCORE 266774.852
AT ITER 4247 NEW BEST:: SOT 1006696 SOS 573579 HAS SOPS 573579 HAS SOUS 265983 HAS SOUPS 265983 WITH SCORE 266556.579
AT ITER 4249 NEW BEST:: SOT 1006673 SOS 573556 HAS SOPS 573556 HAS SOUS 265922 HAS SOUPS 265922 WITH SCORE 266495.556
AT ITER 4251 NEW BEST:: SOT 1006635 SOS 573511 HAS SOPS 573511 HAS SOUS 265881 HAS SOUPS 265881 WITH SCORE 266454.511
AT ITER 4257 NEW BEST:: SOT 1006630 SOS 573501 HAS SOPS 573501 HAS SOUS 265871 HAS SOUPS 265871 WITH SCORE 266444.501
AT ITER 4265 NEW BEST:: SOT 1006630 SOS 572918 HAS SOPS 572918 HAS SOUS 265720 HAS SOUPS 265720 WITH SCORE 266292.918
AT ITER 4278 NEW BEST:: SOT 1006630 SOS 572910 HAS SOPS 572910 HAS SOUS 265719 HAS SOUPS 265719 WITH SCORE 266291.91
AT ITER 4279 NEW BEST:: SOT 1006116 SOS 570669 HAS SOPS 570669 HAS SOUS 264321 HAS SOUPS 264321 WITH SCORE 264891.669
AT ITER 4283 NEW BEST:: SOT 1006218 SOS 570685 HAS SOPS 570685 HAS SOUS 264302 HAS SOUPS 264302 WITH SCORE 264872.685
AT ITER 4312 NEW BEST:: SOT 1006215 SOS 570668 HAS SOPS 570668 HAS SOUS 264270 HAS SOUPS 264270 WITH SCORE 264840.668
AT ITER 4327 NEW BEST:: SOT 1006215 SOS 570529 HAS SOPS 570529 HAS SOUS 264131 HAS SOUPS 264131 WITH SCORE 264701.529
AT ITER 4351 NEW BEST:: SOT 1006230 SOS 570473 HAS SOPS 570473 HAS SOUS 264106 HAS SOUPS 264106 WITH SCORE 264676.473
AT ITER 4368 NEW BEST:: SOT 1006200 SOS 570551 HAS SOPS 570551 HAS SOUS 264076 HAS SOUPS 264076 WITH SCORE 264646.551
AT ITER 4372 NEW BEST:: SOT 1006197 SOS 570388 HAS SOPS 570388 HAS SOUS 263918 HAS SOUPS 263918 WITH SCORE 264488.388
AT ITER 4377 NEW BEST:: SOT 1003783 SOS 571973 HAS SOPS 571973 HAS SOUS 261707 HAS SOUPS 261707 WITH SCORE 262278.973
AT ITER 4399 NEW BEST:: SOT 1003767 SOS 571957 HAS SOPS 571957 HAS SOUS 261690 HAS SOUPS 261690 WITH SCORE 262261.957
AT ITER 4413 NEW BEST:: SOT 1003530 SOS 571427 HAS SOPS 571427 HAS SOUS 261116 HAS SOUPS 261116 WITH SCORE 261687.427
AT ITER 4414 NEW BEST:: SOT 1003012 SOS 571415 HAS SOPS 571415 HAS SOUS 260369 HAS SOUPS 260369 WITH SCORE 260940.415
AT ITER 4421 NEW BEST:: SOT 1002771 SOS 571477 HAS SOPS 571477 HAS SOUS 260175 HAS SOUPS 260175 WITH SCORE 260746.477
AT ITER 4448 NEW BEST:: SOT 1002949 SOS 570510 HAS SOPS 570510 HAS SOUS 260029 HAS SOUPS 260029 WITH SCORE 260599.51
AT ITER 4461 NEW BEST:: SOT 1002949 SOS 570267 HAS SOPS 570267 HAS SOUS 259828 HAS SOUPS 259828 WITH SCORE 260398.267
AT ITER 4468 NEW BEST:: SOT 1002897 SOS 570215 HAS SOPS 570215 HAS SOUS 259725 HAS SOUPS 259725 WITH SCORE 260295.215
AT ITER 4470 NEW BEST:: SOT 1002896 SOS 570214 HAS SOPS 570214 HAS SOUS 259723 HAS SOUPS 259723 WITH SCORE 260293.214
AT ITER 4472 NEW BEST:: SOT 1002893 SOS 570435 HAS SOPS 570435 HAS SOUS 259650 HAS SOUPS 259650 WITH SCORE 260220.435
AT ITER 4474 NEW BEST:: SOT 1002762 SOS 570226 HAS SOPS 570226 HAS SOUS 259590 HAS SOUPS 259590 WITH SCORE 260160.226
AT ITER 4490 NEW BEST:: SOT 1002717 SOS 570143 HAS SOPS 570143 HAS SOUS 259500 HAS SOUPS 259500 WITH SCORE 260070.143
AT ITER 4500 NEW BEST:: SOT 1002612 SOS 570038 HAS SOPS 570038 HAS SOUS 259383 HAS SOUPS 259383 WITH SCORE 259953.038
AT ITER 4508 NEW BEST:: SOT 1002612 SOS 566905 HAS SOPS 566905 HAS SOUS 259066 HAS SOUPS 259066 WITH SCORE 259632.905
AT ITER 4522 NEW BEST:: SOT 1002507 SOS 566800 HAS SOPS 566800 HAS SOUS 258961 HAS SOUPS 258961 WITH SCORE 259527.8
AT ITER 4544 NEW BEST:: SOT 1002375 SOS 566800 HAS SOPS 566800 HAS SOUS 258829 HAS SOUPS 258829 WITH SCORE 259395.8
AT ITER 4545 NEW BEST:: SOT 1001847 SOS 566252 HAS SOPS 566252 HAS SOUS 258757 HAS SOUPS 258757 WITH SCORE 259323.252
AT ITER 4548 NEW BEST:: SOT 1001792 SOS 566197 HAS SOPS 566197 HAS SOUS 258702 HAS SOUPS 258702 WITH SCORE 259268.197
AT ITER 4559 NEW BEST:: SOT 1001788 SOS 566189 HAS SOPS 566189 HAS SOUS 258694 HAS SOUPS 258694 WITH SCORE 259260.189
AT ITER 4560 NEW BEST:: SOT 1001728 SOS 566069 HAS SOPS 566069 HAS SOUS 258593 HAS SOUPS 258593 WITH SCORE 259159.069
AT ITER 4563 NEW BEST:: SOT 1001399 SOS 566241 HAS SOPS 566241 HAS SOUS 258021 HAS SOUPS 258021 WITH SCORE 258587.241
AT ITER 4574 NEW BEST:: SOT 1001205 SOS 565697 HAS SOPS 565697 HAS SOUS 257300 HAS SOUPS 257300 WITH SCORE 257865.697
AT ITER 4578 NEW BEST:: SOT 1001171 SOS 565371 HAS SOPS 565371 HAS SOUS 256974 HAS SOUPS 256974 WITH SCORE 257539.371
AT ITER 4579 NEW BEST:: SOT 1001103 SOS 565303 HAS SOPS 565303 HAS SOUS 256972 HAS SOUPS 256972 WITH SCORE 257537.303
AT ITER 4588 NEW BEST:: SOT 1001352 SOS 564423 HAS SOPS 564423 HAS SOUS 256961 HAS SOUPS 256961 WITH SCORE 257525.423
AT ITER 4605 NEW BEST:: SOT 1001351 SOS 564367 HAS SOPS 564367 HAS SOUS 256947 HAS SOUPS 256947 WITH SCORE 257511.367
AT ITER 4620 NEW BEST:: SOT 1000560 SOS 563870 HAS SOPS 563870 HAS SOUS 256281 HAS SOUPS 256281 WITH SCORE 256844.87
AT ITER 4626 NEW BEST:: SOT 1000534 SOS 563844 HAS SOPS 563844 HAS SOUS 256255 HAS SOUPS 256255 WITH SCORE 256818.844
AT ITER 4635 NEW BEST:: SOT 1000534 SOS 563649 HAS SOPS 563649 HAS SOUS 256060 HAS SOUPS 256060 WITH SCORE 256623.649
AT ITER 4636 NEW BEST:: SOT 1000496 SOS 563671 HAS SOPS 563671 HAS SOUS 256048 HAS SOUPS 256048 WITH SCORE 256611.671
AT ITER 4644 NEW BEST:: SOT 1000480 SOS 563655 HAS SOPS 563655 HAS SOUS 256032 HAS SOUPS 256032 WITH SCORE 256595.655
AT ITER 4649 NEW BEST:: SOT 1000262 SOS 563358 HAS SOPS 563358 HAS SOUS 255735 HAS SOUPS 255735 WITH SCORE 256298.358
AT ITER 4670 NEW BEST:: SOT 1000404 SOS 563780 HAS SOPS 563780 HAS SOUS 255704 HAS SOUPS 255704 WITH SCORE 256267.78
AT ITER 4682 NEW BEST:: SOT 1000404 SOS 563726 HAS SOPS 563726 HAS SOUS 255695 HAS SOUPS 255695 WITH SCORE 256258.726
AT ITER 4685 NEW BEST:: SOT 1000404 SOS 563719 HAS SOPS 563719 HAS SOUS 255688 HAS SOUPS 255688 WITH SCORE 256251.719
AT ITER 4693 NEW BEST:: SOT 1000349 SOS 563961 HAS SOPS 563961 HAS SOUS 255675 HAS SOUPS 255675 WITH SCORE 256238.961
AT ITER 4695 NEW BEST:: SOT 1000274 SOS 563886 HAS SOPS 563886 HAS SOUS 255611 HAS SOUPS 255611 WITH SCORE 256174.886
AT ITER 4706 NEW BEST:: SOT 999976 SOS 563331 HAS SOPS 563331 HAS SOUS 255402 HAS SOUPS 255402 WITH SCORE 255965.331
AT ITER 4716 NEW BEST:: SOT 999935 SOS 563290 HAS SOPS 563290 HAS SOUS 255361 HAS SOUPS 255361 WITH SCORE 255924.29
AT ITER 4717 NEW BEST:: SOT 999896 SOS 563251 HAS SOPS 563251 HAS SOUS 255335 HAS SOUPS 255335 WITH SCORE 255898.251
AT ITER 4736 NEW BEST:: SOT 999854 SOS 563125 HAS SOPS 563125 HAS SOUS 255251 HAS SOUPS 255251 WITH SCORE 255814.125
AT ITER 4774 NEW BEST:: SOT 999826 SOS 563097 HAS SOPS 563097 HAS SOUS 255223 HAS SOUPS 255223 WITH SCORE 255786.097
AT ITER 4811 NEW BEST:: SOT 999960 SOS 563025 HAS SOPS 563025 HAS SOUS 254807 HAS SOUPS 254807 WITH SCORE 255370.025
AT ITER 4815 NEW BEST:: SOT 999825 SOS 562461 HAS SOPS 562461 HAS SOUS 254624 HAS SOUPS 254624 WITH SCORE 255186.461
AT ITER 4835 NEW BEST:: SOT 999152 SOS 562217 HAS SOPS 562217 HAS SOUS 254094 HAS SOUPS 254094 WITH SCORE 254656.217
AT ITER 4837 NEW BEST:: SOT 999095 SOS 562160 HAS SOPS 562160 HAS SOUS 254037 HAS SOUPS 254037 WITH SCORE 254599.16
AT ITER 4839 NEW BEST:: SOT 998878 SOS 561943 HAS SOPS 561943 HAS SOUS 253585 HAS SOUPS 253585 WITH SCORE 254146.943
AT ITER 4848 NEW BEST:: SOT 998877 SOS 561926 HAS SOPS 561926 HAS SOUS 253583 HAS SOUPS 253583 WITH SCORE 254144.926
AT ITER 4863 NEW BEST:: SOT 998730 SOS 561776 HAS SOPS 561776 HAS SOUS 253580 HAS SOUPS 253580 WITH SCORE 254141.776
AT ITER 4866 NEW BEST:: SOT 998901 SOS 562118 HAS SOPS 562118 HAS SOUS 253554 HAS SOUPS 253554 WITH SCORE 254116.118
AT ITER 4882 NEW BEST:: SOT 998895 SOS 562112 HAS SOPS 562112 HAS SOUS 253542 HAS SOUPS 253542 WITH SCORE 254104.112
AT ITER 4888 NEW BEST:: SOT 998874 SOS 562091 HAS SOPS 562091 HAS SOUS 253521 HAS SOUPS 253521 WITH SCORE 254083.091
AT ITER 4890 NEW BEST:: SOT 998852 SOS 562069 HAS SOPS 562069 HAS SOUS 253499 HAS SOUPS 253499 WITH SCORE 254061.069
AT ITER 4891 NEW BEST:: SOT 998637 SOS 561631 HAS SOPS 561631 HAS SOUS 253118 HAS SOUPS 253118 WITH SCORE 253679.631
AT ITER 4895 NEW BEST:: SOT 998487 SOS 561466 HAS SOPS 561466 HAS SOUS 253014 HAS SOUPS 253014 WITH SCORE 253575.466
AT ITER 4916 NEW BEST:: SOT 998315 SOS 561292 HAS SOPS 561292 HAS SOUS 252841 HAS SOUPS 252841 WITH SCORE 253402.292
AT ITER 4917 NEW BEST:: SOT 998069 SOS 561046 HAS SOPS 561046 HAS SOUS 252595 HAS SOUPS 252595 WITH SCORE 253156.046
AT ITER 4944 NEW BEST:: SOT 997962 SOS 561173 HAS SOPS 561173 HAS SOUS 252548 HAS SOUPS 252548 WITH SCORE 253109.173
AT ITER 4947 NEW BEST:: SOT 997960 SOS 561171 HAS SOPS 561171 HAS SOUS 252546 HAS SOUPS 252546 WITH SCORE 253107.171
AT ITER 4950 NEW BEST:: SOT 997720 SOS 561123 HAS SOPS 561123 HAS SOUS 252306 HAS SOUPS 252306 WITH SCORE 252867.123
AT ITER 4959 NEW BEST:: SOT 997719 SOS 561122 HAS SOPS 561122 HAS SOUS 252305 HAS SOUPS 252305 WITH SCORE 252866.122
AT ITER 5034 NEW BEST:: SOT 997719 SOS 560930 HAS SOPS 560930 HAS SOUS 252123 HAS SOUPS 252123 WITH SCORE 252683.93
AT ITER 5040 NEW BEST:: SOT 997743 SOS 560659 HAS SOPS 560659 HAS SOUS 251860 HAS SOUPS 251860 WITH SCORE 252420.659
AT ITER 5079 NEW BEST:: SOT 997720 SOS 560619 HAS SOPS 560619 HAS SOUS 251804 HAS SOUPS 251804 WITH SCORE 252364.619
AT ITER 5091 NEW BEST:: SOT 997516 SOS 560519 HAS SOPS 560519 HAS SOUS 251704 HAS SOUPS 251704 WITH SCORE 252264.519
AT ITER 5099 NEW BEST:: SOT 997596 SOS 560599 HAS SOPS 560599 HAS SOUS 251637 HAS SOUPS 251637 WITH SCORE 252197.599
AT ITER 5107 NEW BEST:: SOT 997643 SOS 560658 HAS SOPS 560658 HAS SOUS 251625 HAS SOUPS 251625 WITH SCORE 252185.658
AT ITER 5133 NEW BEST:: SOT 997336 SOS 560067 HAS SOPS 560067 HAS SOUS 251034 HAS SOUPS 251034 WITH SCORE 251594.067
AT ITER 5135 NEW BEST:: SOT 995284 SOS 561172 HAS SOPS 561172 HAS SOUS 250326 HAS SOUPS 250326 WITH SCORE 250887.172
AT ITER 5144 NEW BEST:: SOT 994926 SOS 560677 HAS SOPS 560677 HAS SOUS 249832 HAS SOUPS 249832 WITH SCORE 250392.677
AT ITER 5154 NEW BEST:: SOT 994914 SOS 559974 HAS SOPS 559974 HAS SOUS 249711 HAS SOUPS 249711 WITH SCORE 250270.974
AT ITER 5156 NEW BEST:: SOT 994914 SOS 559102 HAS SOPS 559102 HAS SOUS 249493 HAS SOUPS 249493 WITH SCORE 250052.102
AT ITER 5158 NEW BEST:: SOT 994826 SOS 558828 HAS SOPS 558828 HAS SOUS 249266 HAS SOUPS 249266 WITH SCORE 249824.828
AT ITER 5171 NEW BEST:: SOT 994785 SOS 558787 HAS SOPS 558787 HAS SOUS 249242 HAS SOUPS 249242 WITH SCORE 249800.787
AT ITER 5208 NEW BEST:: SOT 994624 SOS 557357 HAS SOPS 557357 HAS SOUS 249079 HAS SOUPS 249079 WITH SCORE 249636.357
AT ITER 5215 NEW BEST:: SOT 994488 SOS 557544 HAS SOPS 557544 HAS SOUS 249071 HAS SOUPS 249071 WITH SCORE 249628.544
AT ITER 5219 NEW BEST:: SOT 994407 SOS 556970 HAS SOPS 556970 HAS SOUS 248416 HAS SOUPS 248416 WITH SCORE 248972.97
AT ITER 5221 NEW BEST:: SOT 994407 SOS 556970 HAS SOPS 556970 HAS SOUS 248342 HAS SOUPS 248342 WITH SCORE 248898.97
AT ITER 5248 NEW BEST:: SOT 994355 SOS 556866 HAS SOPS 556866 HAS SOUS 248238 HAS SOUPS 248238 WITH SCORE 248794.866
AT ITER 5269 NEW BEST:: SOT 994086 SOS 556597 HAS SOPS 556597 HAS SOUS 247969 HAS SOUPS 247969 WITH SCORE 248525.597
AT ITER 5285 NEW BEST:: SOT 994055 SOS 556557 HAS SOPS 556557 HAS SOUS 247907 HAS SOUPS 247907 WITH SCORE 248463.557
AT ITER 5314 NEW BEST:: SOT 993898 SOS 556127 HAS SOPS 556127 HAS SOUS 247736 HAS SOUPS 247736 WITH SCORE 248292.127
AT ITER 5327 NEW BEST:: SOT 993885 SOS 556114 HAS SOPS 556114 HAS SOUS 247723 HAS SOUPS 247723 WITH SCORE 248279.114
AT ITER 5332 NEW BEST:: SOT 993928 SOS 555970 HAS SOPS 555970 HAS SOUS 247664 HAS SOUPS 247664 WITH SCORE 248219.97
AT ITER 5335 NEW BEST:: SOT 993791 SOS 555833 HAS SOPS 555833 HAS SOUS 247474 HAS SOUPS 247474 WITH SCORE 248029.833
AT ITER 5356 NEW BEST:: SOT 993779 SOS 555821 HAS SOPS 555821 HAS SOUS 247462 HAS SOUPS 247462 WITH SCORE 248017.821
AT ITER 5358 NEW BEST:: SOT 993119 SOS 555161 HAS SOPS 555161 HAS SOUS 246574 HAS SOUPS 246574 WITH SCORE 247129.161
AT ITER 5377 NEW BEST:: SOT 993119 SOS 555155 HAS SOPS 555155 HAS SOUS 246568 HAS SOUPS 246568 WITH SCORE 247123.155
AT ITER 5417 NEW BEST:: SOT 993119 SOS 555516 HAS SOPS 555516 HAS SOUS 246426 HAS SOUPS 246426 WITH SCORE 246981.516
AT ITER 5419 NEW BEST:: SOT 992902 SOS 555097 HAS SOPS 555097 HAS SOUS 245992 HAS SOUPS 245992 WITH SCORE 246547.097
AT ITER 5430 NEW BEST:: SOT 992790 SOS 555096 HAS SOPS 555096 HAS SOUS 245935 HAS SOUPS 245935 WITH SCORE 246490.096
AT ITER 5464 NEW BEST:: SOT 992790 SOS 555096 HAS SOPS 555096 HAS SOUS 245923 HAS SOUPS 245923 WITH SCORE 246478.096
AT ITER 5479 NEW BEST:: SOT 992660 SOS 554775 HAS SOPS 554775 HAS SOUS 245678 HAS SOUPS 245678 WITH SCORE 246232.775
AT ITER 5505 NEW BEST:: SOT 992636 SOS 554953 HAS SOPS 554953 HAS SOUS 245624 HAS SOUPS 245624 WITH SCORE 246178.953
AT ITER 5509 NEW BEST:: SOT 992634 SOS 554949 HAS SOPS 554949 HAS SOUS 245620 HAS SOUPS 245620 WITH SCORE 246174.949
AT ITER 5518 NEW BEST:: SOT 992629 SOS 554944 HAS SOPS 554944 HAS SOUS 245558 HAS SOUPS 245558 WITH SCORE 246112.944
AT ITER 5520 NEW BEST:: SOT 992658 SOS 554973 HAS SOPS 554973 HAS SOUS 245549 HAS SOUPS 245549 WITH SCORE 246103.973
AT ITER 5522 NEW BEST:: SOT 992565 SOS 554878 HAS SOPS 554878 HAS SOUS 245547 HAS SOUPS 245547 WITH SCORE 246101.878
AT ITER 5529 NEW BEST:: SOT 992565 SOS 554720 HAS SOPS 554720 HAS SOUS 245415 HAS SOUPS 245415 WITH SCORE 245969.72
AT ITER 5532 NEW BEST:: SOT 992529 SOS 554666 HAS SOPS 554666 HAS SOUS 245361 HAS SOUPS 245361 WITH SCORE 245915.666
AT ITER 5575 NEW BEST:: SOT 992507 SOS 554622 HAS SOPS 554622 HAS SOUS 245339 HAS SOUPS 245339 WITH SCORE 245893.622
AT ITER 5578 NEW BEST:: SOT 992460 SOS 554528 HAS SOPS 554528 HAS SOUS 245292 HAS SOUPS 245292 WITH SCORE 245846.528
AT ITER 5582 NEW BEST:: SOT 992387 SOS 555576 HAS SOPS 555576 HAS SOUS 245215 HAS SOUPS 245215 WITH SCORE 245770.576
AT ITER 5593 NEW BEST:: SOT 992359 SOS 555548 HAS SOPS 555548 HAS SOUS 245211 HAS SOUPS 245211 WITH SCORE 245766.548
AT ITER 5623 NEW BEST:: SOT 992184 SOS 555295 HAS SOPS 555295 HAS SOUS 244958 HAS SOUPS 244958 WITH SCORE 245513.295
AT ITER 5633 NEW BEST:: SOT 991923 SOS 553908 HAS SOPS 553908 HAS SOUS 244436 HAS SOUPS 244436 WITH SCORE 244989.908
AT ITER 5638 NEW BEST:: SOT 991883 SOS 553864 HAS SOPS 553864 HAS SOUS 244392 HAS SOUPS 244392 WITH SCORE 244945.864
AT ITER 5648 NEW BEST:: SOT 991779 SOS 553760 HAS SOPS 553760 HAS SOUS 244236 HAS SOUPS 244236 WITH SCORE 244789.76
AT ITER 5656 NEW BEST:: SOT 991837 SOS 550911 HAS SOPS 550911 HAS SOUS 244048 HAS SOUPS 244048 WITH SCORE 244598.911
AT ITER 5666 NEW BEST:: SOT 991786 SOS 550860 HAS SOPS 550860 HAS SOUS 243781 HAS SOUPS 243781 WITH SCORE 244331.86
AT ITER 5670 NEW BEST:: SOT 991757 SOS 550738 HAS SOPS 550738 HAS SOUS 243723 HAS SOUPS 243723 WITH SCORE 244273.738
AT ITER 5678 NEW BEST:: SOT 991777 SOS 550735 HAS SOPS 550735 HAS SOUS 243655 HAS SOUPS 243655 WITH SCORE 244205.735
AT ITER 5704 NEW BEST:: SOT 991865 SOS 550389 HAS SOPS 550389 HAS SOUS 243309 HAS SOUPS 243309 WITH SCORE 243859.389
AT ITER 5707 NEW BEST:: SOT 991810 SOS 550358 HAS SOPS 550358 HAS SOUS 243284 HAS SOUPS 243284 WITH SCORE 243834.358
AT ITER 5721 NEW BEST:: SOT 991871 SOS 550086 HAS SOPS 550086 HAS SOUS 242903 HAS SOUPS 242903 WITH SCORE 243453.086
AT ITER 5725 NEW BEST:: SOT 991597 SOS 549694 HAS SOPS 549694 HAS SOUS 242511 HAS SOUPS 242511 WITH SCORE 243060.694
AT ITER 5733 NEW BEST:: SOT 991397 SOS 549445 HAS SOPS 549445 HAS SOUS 242402 HAS SOUPS 242402 WITH SCORE 242951.445
AT ITER 5734 NEW BEST:: SOT 991396 SOS 549444 HAS SOPS 549444 HAS SOUS 242401 HAS SOUPS 242401 WITH SCORE 242950.444
AT ITER 5745 NEW BEST:: SOT 991210 SOS 549563 HAS SOPS 549563 HAS SOUS 242378 HAS SOUPS 242378 WITH SCORE 242927.563
AT ITER 5759 NEW BEST:: SOT 991211 SOS 549558 HAS SOPS 549558 HAS SOUS 242367 HAS SOUPS 242367 WITH SCORE 242916.558
AT ITER 5786 NEW BEST:: SOT 991020 SOS 549176 HAS SOPS 549176 HAS SOUS 241985 HAS SOUPS 241985 WITH SCORE 242534.176
AT ITER 5793 NEW BEST:: SOT 991026 SOS 549049 HAS SOPS 549049 HAS SOUS 241982 HAS SOUPS 241982 WITH SCORE 242531.049
AT ITER 5808 NEW BEST:: SOT 990781 SOS 548600 HAS SOPS 548600 HAS SOUS 241621 HAS SOUPS 241621 WITH SCORE 242169.6
AT ITER 5812 NEW BEST:: SOT 990491 SOS 547904 HAS SOPS 547904 HAS SOUS 240925 HAS SOUPS 240925 WITH SCORE 241472.904
AT ITER 5869 NEW BEST:: SOT 990410 SOS 547715 HAS SOPS 547715 HAS SOUS 240736 HAS SOUPS 240736 WITH SCORE 241283.715
AT ITER 5903 NEW BEST:: SOT 990410 SOS 547715 HAS SOPS 547715 HAS SOUS 240720 HAS SOUPS 240720 WITH SCORE 241267.715
AT ITER 5910 NEW BEST:: SOT 990397 SOS 547673 HAS SOPS 547673 HAS SOUS 240678 HAS SOUPS 240678 WITH SCORE 241225.673
AT ITER 5916 NEW BEST:: SOT 990390 SOS 547666 HAS SOPS 547666 HAS SOUS 240673 HAS SOUPS 240673 WITH SCORE 241220.666
AT ITER 5934 NEW BEST:: SOT 990365 SOS 547641 HAS SOPS 547641 HAS SOUS 240648 HAS SOUPS 240648 WITH SCORE 241195.641
AT ITER 5940 NEW BEST:: SOT 990340 SOS 547616 HAS SOPS 547616 HAS SOUS 240610 HAS SOUPS 240610 WITH SCORE 241157.616
AT ITER 5952 NEW BEST:: SOT 990312 SOS 547560 HAS SOPS 547560 HAS SOUS 240554 HAS SOUPS 240554 WITH SCORE 241101.56
AT ITER 5972 NEW BEST:: SOT 990312 SOS 547560 HAS SOPS 547560 HAS SOUS 240552 HAS SOUPS 240552 WITH SCORE 241099.56
AT ITER 5973 NEW BEST:: SOT 990438 SOS 547606 HAS SOPS 547606 HAS SOUS 240540 HAS SOUPS 240540 WITH SCORE 241087.606
AT ITER 5980 NEW BEST:: SOT 990443 SOS 547611 HAS SOPS 547611 HAS SOUS 240535 HAS SOUPS 240535 WITH SCORE 241082.611
AT ITER 5995 NEW BEST:: SOT 990373 SOS 547366 HAS SOPS 547366 HAS SOUS 240395 HAS SOUPS 240395 WITH SCORE 240942.366
AT ITER 5997 NEW BEST:: SOT 990183 SOS 547157 HAS SOPS 547157 HAS SOUS 240015 HAS SOUPS 240015 WITH SCORE 240562.157
AT ITER 6012 NEW BEST:: SOT 990179 SOS 547153 HAS SOPS 547153 HAS SOUS 240007 HAS SOUPS 240007 WITH SCORE 240554.153
AT ITER 6015 NEW BEST:: SOT 989994 SOS 546671 HAS SOPS 546671 HAS SOUS 239637 HAS SOUPS 239637 WITH SCORE 240183.671
AT ITER 6027 NEW BEST:: SOT 989377 SOS 546286 HAS SOPS 546286 HAS SOUS 239252 HAS SOUPS 239252 WITH SCORE 239798.286
AT ITER 6032 NEW BEST:: SOT 989876 SOS 546995 HAS SOPS 546995 HAS SOUS 239044 HAS SOUPS 239044 WITH SCORE 239590.995
AT ITER 6081 NEW BEST:: SOT 989854 SOS 546863 HAS SOPS 546863 HAS SOUS 239000 HAS SOUPS 239000 WITH SCORE 239546.863
AT ITER 6086 NEW BEST:: SOT 990001 SOS 544505 HAS SOPS 544505 HAS SOUS 238853 HAS SOUPS 238853 WITH SCORE 239397.505
AT ITER 6098 NEW BEST:: SOT 989862 SOS 544513 HAS SOPS 544513 HAS SOUS 238678 HAS SOUPS 238678 WITH SCORE 239222.513
AT ITER 6099 NEW BEST:: SOT 989857 SOS 544425 HAS SOPS 544425 HAS SOUS 238590 HAS SOUPS 238590 WITH SCORE 239134.425
AT ITER 6131 NEW BEST:: SOT 989780 SOS 544463 HAS SOPS 544463 HAS SOUS 238447 HAS SOUPS 238447 WITH SCORE 238991.463
AT ITER 6157 NEW BEST:: SOT 989761 SOS 544425 HAS SOPS 544425 HAS SOUS 238409 HAS SOUPS 238409 WITH SCORE 238953.425
AT ITER 6173 NEW BEST:: SOT 989672 SOS 544251 HAS SOPS 544251 HAS SOUS 238320 HAS SOUPS 238320 WITH SCORE 238864.251
AT ITER 6194 NEW BEST:: SOT 989672 SOS 544134 HAS SOPS 544134 HAS SOUS 238203 HAS SOUPS 238203 WITH SCORE 238747.134
AT ITER 6209 NEW BEST:: SOT 989647 SOS 544109 HAS SOPS 544109 HAS SOUS 238177 HAS SOUPS 238177 WITH SCORE 238721.109
AT ITER 6232 NEW BEST:: SOT 989603 SOS 544065 HAS SOPS 544065 HAS SOUS 238096 HAS SOUPS 238096 WITH SCORE 238640.065
AT ITER 6236 NEW BEST:: SOT 989456 SOS 544097 HAS SOPS 544097 HAS SOUS 238090 HAS SOUPS 238090 WITH SCORE 238634.097
AT ITER 6239 NEW BEST:: SOT 989296 SOS 543777 HAS SOPS 543777 HAS SOUS 237770 HAS SOUPS 237770 WITH SCORE 238313.777
AT ITER 6255 NEW BEST:: SOT 989248 SOS 543729 HAS SOPS 543729 HAS SOUS 237616 HAS SOUPS 237616 WITH SCORE 238159.729
AT ITER 6290 NEW BEST:: SOT 989248 SOS 543489 HAS SOPS 543489 HAS SOUS 237604 HAS SOUPS 237604 WITH SCORE 238147.489
AT ITER 6309 NEW BEST:: SOT 989355 SOS 543593 HAS SOPS 543593 HAS SOUS 237571 HAS SOUPS 237571 WITH SCORE 238114.593
AT ITER 6315 NEW BEST:: SOT 989310 SOS 543548 HAS SOPS 543548 HAS SOUS 237526 HAS SOUPS 237526 WITH SCORE 238069.548
AT ITER 6329 NEW BEST:: SOT 989310 SOS 543537 HAS SOPS 543537 HAS SOUS 237454 HAS SOUPS 237454 WITH SCORE 237997.537
AT ITER 6346 NEW BEST:: SOT 989167 SOS 543301 HAS SOPS 543301 HAS SOUS 237263 HAS SOUPS 237263 WITH SCORE 237806.301
AT ITER 6351 NEW BEST:: SOT 989073 SOS 543207 HAS SOPS 543207 HAS SOUS 237169 HAS SOUPS 237169 WITH SCORE 237712.207
AT ITER 6367 NEW BEST:: SOT 989038 SOS 543172 HAS SOPS 543172 HAS SOUS 237099 HAS SOUPS 237099 WITH SCORE 237642.172
AT ITER 6371 NEW BEST:: SOT 988731 SOS 542865 HAS SOPS 542865 HAS SOUS 236485 HAS SOUPS 236485 WITH SCORE 237027.865
AT ITER 6385 NEW BEST:: SOT 988393 SOS 542913 HAS SOPS 542913 HAS SOUS 236137 HAS SOUPS 236137 WITH SCORE 236679.913
AT ITER 6414 NEW BEST:: SOT 988085 SOS 542297 HAS SOPS 542297 HAS SOUS 235521 HAS SOUPS 235521 WITH SCORE 236063.297
AT ITER 6416 NEW BEST:: SOT 988016 SOS 542159 HAS SOPS 542159 HAS SOUS 235383 HAS SOUPS 235383 WITH SCORE 235925.159
AT ITER 6441 NEW BEST:: SOT 987834 SOS 541053 HAS SOPS 541053 HAS SOUS 235086 HAS SOUPS 235086 WITH SCORE 235627.053
AT ITER 6465 NEW BEST:: SOT 987788 SOS 541007 HAS SOPS 541007 HAS SOUS 235007 HAS SOUPS 235007 WITH SCORE 235548.007
AT ITER 6476 NEW BEST:: SOT 987791 SOS 541010 HAS SOPS 541010 HAS SOUS 234863 HAS SOUPS 234863 WITH SCORE 235404.01
AT ITER 6481 NEW BEST:: SOT 987814 SOS 540877 HAS SOPS 540877 HAS SOUS 234808 HAS SOUPS 234808 WITH SCORE 235348.877
AT ITER 6494 NEW BEST:: SOT 987658 SOS 540794 HAS SOPS 540794 HAS SOUS 234725 HAS SOUPS 234725 WITH SCORE 235265.794
AT ITER 6500 NEW BEST:: SOT 987614 SOS 540808 HAS SOPS 540808 HAS SOUS 234719 HAS SOUPS 234719 WITH SCORE 235259.808
AT ITER 6543 NEW BEST:: SOT 987614 SOS 540016 HAS SOPS 540016 HAS SOUS 234683 HAS SOUPS 234683 WITH SCORE 235223.016
AT ITER 6560 NEW BEST:: SOT 987501 SOS 539834 HAS SOPS 539834 HAS SOUS 234425 HAS SOUPS 234425 WITH SCORE 234964.834
AT ITER 6563 NEW BEST:: SOT 987502 SOS 539781 HAS SOPS 539781 HAS SOUS 234372 HAS SOUPS 234372 WITH SCORE 234911.781
AT ITER 6572 NEW BEST:: SOT 987502 SOS 539281 HAS SOPS 539281 HAS SOUS 233872 HAS SOUPS 233872 WITH SCORE 234411.281
AT ITER 6579 NEW BEST:: SOT 987488 SOS 539277 HAS SOPS 539277 HAS SOUS 233863 HAS SOUPS 233863 WITH SCORE 234402.277
AT ITER 6605 NEW BEST:: SOT 987455 SOS 539244 HAS SOPS 539244 HAS SOUS 233830 HAS SOUPS 233830 WITH SCORE 234369.244
AT ITER 6615 NEW BEST:: SOT 987511 SOS 539300 HAS SOPS 539300 HAS SOUS 233645 HAS SOUPS 233645 WITH SCORE 234184.3
AT ITER 6714 NEW BEST:: SOT 987089 SOS 538878 HAS SOPS 538878 HAS SOUS 233396 HAS SOUPS 233396 WITH SCORE 233934.878
AT ITER 6764 NEW BEST:: SOT 987089 SOS 538831 HAS SOPS 538831 HAS SOUS 233356 HAS SOUPS 233356 WITH SCORE 233894.831
AT ITER 6776 NEW BEST:: SOT 986972 SOS 538739 HAS SOPS 538739 HAS SOUS 233271 HAS SOUPS 233271 WITH SCORE 233809.739
AT ITER 6809 NEW BEST:: SOT 986951 SOS 538714 HAS SOPS 538714 HAS SOUS 233246 HAS SOUPS 233246 WITH SCORE 233784.714
AT ITER 6815 NEW BEST:: SOT 986929 SOS 538655 HAS SOPS 538655 HAS SOUS 233223 HAS SOUPS 233223 WITH SCORE 233761.655
AT ITER 6817 NEW BEST:: SOT 986824 SOS 538445 HAS SOPS 538445 HAS SOUS 233013 HAS SOUPS 233013 WITH SCORE 233551.445
AT ITER 6823 NEW BEST:: SOT 986775 SOS 538336 HAS SOPS 538336 HAS SOUS 232915 HAS SOUPS 232915 WITH SCORE 233453.336
AT ITER 6849 NEW BEST:: SOT 986580 SOS 538027 HAS SOPS 538027 HAS SOUS 232714 HAS SOUPS 232714 WITH SCORE 233252.027
AT ITER 6888 NEW BEST:: SOT 986816 SOS 537893 HAS SOPS 537893 HAS SOUS 232580 HAS SOUPS 232580 WITH SCORE 233117.893
AT ITER 6890 NEW BEST:: SOT 986777 SOS 537830 HAS SOPS 537830 HAS SOUS 232506 HAS SOUPS 232506 WITH SCORE 233043.83
AT ITER 6907 NEW BEST:: SOT 986733 SOS 537863 HAS SOPS 537863 HAS SOUS 232462 HAS SOUPS 232462 WITH SCORE 232999.863
AT ITER 6917 NEW BEST:: SOT 986729 SOS 537855 HAS SOPS 537855 HAS SOUS 232454 HAS SOUPS 232454 WITH SCORE 232991.855
AT ITER 6918 NEW BEST:: SOT 986586 SOS 537523 HAS SOPS 537523 HAS SOUS 232278 HAS SOUPS 232278 WITH SCORE 232815.523
AT ITER 6983 NEW BEST:: SOT 986514 SOS 537451 HAS SOPS 537451 HAS SOUS 232198 HAS SOUPS 232198 WITH SCORE 232735.451
AT ITER 7013 NEW BEST:: SOT 986470 SOS 537392 HAS SOPS 537392 HAS SOUS 232110 HAS SOUPS 232110 WITH SCORE 232647.392
AT ITER 7019 NEW BEST:: SOT 986107 SOS 537029 HAS SOPS 537029 HAS SOUS 231888 HAS SOUPS 231888 WITH SCORE 232425.029
AT ITER 7024 NEW BEST:: SOT 986107 SOS 537025 HAS SOPS 537025 HAS SOUS 231888 HAS SOUPS 231888 WITH SCORE 232425.025
AT ITER 7029 NEW BEST:: SOT 986106 SOS 537024 HAS SOPS 537024 HAS SOUS 231887 HAS SOUPS 231887 WITH SCORE 232424.024
AT ITER 7071 NEW BEST:: SOT 986077 SOS 536995 HAS SOPS 536995 HAS SOUS 231829 HAS SOUPS 231829 WITH SCORE 232365.995
AT ITER 7087 NEW BEST:: SOT 985964 SOS 536882 HAS SOPS 536882 HAS SOUS 231716 HAS SOUPS 231716 WITH SCORE 232252.882
AT ITER 7107 NEW BEST:: SOT 985928 SOS 536594 HAS SOPS 536594 HAS SOUS 231680 HAS SOUPS 231680 WITH SCORE 232216.594
AT ITER 7148 NEW BEST:: SOT 985724 SOS 536390 HAS SOPS 536390 HAS SOUS 231476 HAS SOUPS 231476 WITH SCORE 232012.39
AT ITER 7153 NEW BEST:: SOT 985724 SOS 536388 HAS SOPS 536388 HAS SOUS 231474 HAS SOUPS 231474 WITH SCORE 232010.388
AT ITER 7161 NEW BEST:: SOT 985625 SOS 536258 HAS SOPS 536258 HAS SOUS 231447 HAS SOUPS 231447 WITH SCORE 231983.258
AT ITER 7162 NEW BEST:: SOT 985606 SOS 536236 HAS SOPS 536236 HAS SOUS 231425 HAS SOUPS 231425 WITH SCORE 231961.236
AT ITER 7166 NEW BEST:: SOT 985454 SOS 536044 HAS SOPS 536044 HAS SOUS 231341 HAS SOUPS 231341 WITH SCORE 231877.044
AT ITER 7168 NEW BEST:: SOT 985444 SOS 536034 HAS SOPS 536034 HAS SOUS 231331 HAS SOUPS 231331 WITH SCORE 231867.034
AT ITER 7192 NEW BEST:: SOT 985444 SOS 535938 HAS SOPS 535938 HAS SOUS 231319 HAS SOUPS 231319 WITH SCORE 231854.938
AT ITER 7207 NEW BEST:: SOT 985396 SOS 535890 HAS SOPS 535890 HAS SOUS 231271 HAS SOUPS 231271 WITH SCORE 231806.89
AT ITER 7222 NEW BEST:: SOT 985380 SOS 535874 HAS SOPS 535874 HAS SOUS 231255 HAS SOUPS 231255 WITH SCORE 231790.874
AT ITER 7226 NEW BEST:: SOT 985334 SOS 535783 HAS SOPS 535783 HAS SOUS 231161 HAS SOUPS 231161 WITH SCORE 231696.783
AT ITER 7234 NEW BEST:: SOT 985366 SOS 535527 HAS SOPS 535527 HAS SOUS 231161 HAS SOUPS 231161 WITH SCORE 231696.527
AT ITER 7242 NEW BEST:: SOT 985319 SOS 535459 HAS SOPS 535459 HAS SOUS 231107 HAS SOUPS 231107 WITH SCORE 231642.459
AT ITER 7264 NEW BEST:: SOT 985317 SOS 535457 HAS SOPS 535457 HAS SOUS 231075 HAS SOUPS 231075 WITH SCORE 231610.457
AT ITER 7267 NEW BEST:: SOT 985200 SOS 535613 HAS SOPS 535613 HAS SOUS 231036 HAS SOUPS 231036 WITH SCORE 231571.613
AT ITER 7289 NEW BEST:: SOT 985136 SOS 535495 HAS SOPS 535495 HAS SOUS 230908 HAS SOUPS 230908 WITH SCORE 231443.495
AT ITER 7300 NEW BEST:: SOT 985136 SOS 535307 HAS SOPS 535307 HAS SOUS 230500 HAS SOUPS 230500 WITH SCORE 231035.307
AT ITER 7331 NEW BEST:: SOT 985135 SOS 535306 HAS SOPS 535306 HAS SOUS 230498 HAS SOUPS 230498 WITH SCORE 231033.306
AT ITER 7336 NEW BEST:: SOT 985126 SOS 535297 HAS SOPS 535297 HAS SOUS 230489 HAS SOUPS 230489 WITH SCORE 231024.297
AT ITER 7344 NEW BEST:: SOT 985063 SOS 535234 HAS SOPS 535234 HAS SOUS 230426 HAS SOUPS 230426 WITH SCORE 230961.234
AT ITER 7347 NEW BEST:: SOT 985000 SOS 535150 HAS SOPS 535150 HAS SOUS 230300 HAS SOUPS 230300 WITH SCORE 230835.15
AT ITER 7363 NEW BEST:: SOT 984911 SOS 535131 HAS SOPS 535131 HAS SOUS 230238 HAS SOUPS 230238 WITH SCORE 230773.131
AT ITER 7376 NEW BEST:: SOT 984314 SOS 534407 HAS SOPS 534407 HAS SOUS 229514 HAS SOUPS 229514 WITH SCORE 230048.407
AT ITER 7386 NEW BEST:: SOT 984314 SOS 534391 HAS SOPS 534391 HAS SOUS 229498 HAS SOUPS 229498 WITH SCORE 230032.391
AT ITER 7427 NEW BEST:: SOT 984302 SOS 534367 HAS SOPS 534367 HAS SOUS 229486 HAS SOUPS 229486 WITH SCORE 230020.367
AT ITER 7449 NEW BEST:: SOT 984270 SOS 534366 HAS SOPS 534366 HAS SOUS 229485 HAS SOUPS 229485 WITH SCORE 230019.366
AT ITER 7496 NEW BEST:: SOT 984270 SOS 534533 HAS SOPS 534533 HAS SOUS 229477 HAS SOUPS 229477 WITH SCORE 230011.533
AT ITER 7502 NEW BEST:: SOT 984241 SOS 534464 HAS SOPS 534464 HAS SOUS 229440 HAS SOUPS 229440 WITH SCORE 229974.464
AT ITER 7504 NEW BEST:: SOT 984224 SOS 534447 HAS SOPS 534447 HAS SOUS 229423 HAS SOUPS 229423 WITH SCORE 229957.447
AT ITER 7526 NEW BEST:: SOT 984168 SOS 534365 HAS SOPS 534365 HAS SOUS 229364 HAS SOUPS 229364 WITH SCORE 229898.365
AT ITER 7532 NEW BEST:: SOT 983958 SOS 534155 HAS SOPS 534155 HAS SOUS 229154 HAS SOUPS 229154 WITH SCORE 229688.155
AT ITER 7535 NEW BEST:: SOT 983954 SOS 534151 HAS SOPS 534151 HAS SOUS 229149 HAS SOUPS 229149 WITH SCORE 229683.151
AT ITER 7569 NEW BEST:: SOT 983714 SOS 533911 HAS SOPS 533911 HAS SOUS 228884 HAS SOUPS 228884 WITH SCORE 229417.911
AT ITER 7580 NEW BEST:: SOT 983687 SOS 533685 HAS SOPS 533685 HAS SOUS 228830 HAS SOUPS 228830 WITH SCORE 229363.685
AT ITER 7594 NEW BEST:: SOT 983686 SOS 533676 HAS SOPS 533676 HAS SOUS 228826 HAS SOUPS 228826 WITH SCORE 229359.676
AT ITER 7604 NEW BEST:: SOT 983653 SOS 533412 HAS SOPS 533412 HAS SOUS 228793 HAS SOUPS 228793 WITH SCORE 229326.412
AT ITER 7607 NEW BEST:: SOT 983528 SOS 532873 HAS SOPS 532873 HAS SOUS 228430 HAS SOUPS 228430 WITH SCORE 228962.873
AT ITER 7626 NEW BEST:: SOT 983528 SOS 532713 HAS SOPS 532713 HAS SOUS 228430 HAS SOUPS 228430 WITH SCORE 228962.713
AT ITER 7639 NEW BEST:: SOT 983629 SOS 532284 HAS SOPS 532284 HAS SOUS 228361 HAS SOUPS 228361 WITH SCORE 228893.284
AT ITER 7660 NEW BEST:: SOT 983793 SOS 532045 HAS SOPS 532045 HAS SOUS 228353 HAS SOUPS 228353 WITH SCORE 228885.045
AT ITER 7670 NEW BEST:: SOT 983588 SOS 531837 HAS SOPS 531837 HAS SOUS 227940 HAS SOUPS 227940 WITH SCORE 228471.837
AT ITER 7685 NEW BEST:: SOT 983588 SOS 531829 HAS SOPS 531829 HAS SOUS 227940 HAS SOUPS 227940 WITH SCORE 228471.829
AT ITER 7717 NEW BEST:: SOT 983644 SOS 531885 HAS SOPS 531885 HAS SOUS 227939 HAS SOUPS 227939 WITH SCORE 228470.885
AT ITER 7729 NEW BEST:: SOT 983644 SOS 531831 HAS SOPS 531831 HAS SOUS 227903 HAS SOUPS 227903 WITH SCORE 228434.831
AT ITER 7745 NEW BEST:: SOT 983589 SOS 531721 HAS SOPS 531721 HAS SOUS 227793 HAS SOUPS 227793 WITH SCORE 228324.721
AT ITER 7787 NEW BEST:: SOT 983549 SOS 531681 HAS SOPS 531681 HAS SOUS 227753 HAS SOUPS 227753 WITH SCORE 228284.681
AT ITER 7808 NEW BEST:: SOT 983485 SOS 531617 HAS SOPS 531617 HAS SOUS 227659 HAS SOUPS 227659 WITH SCORE 228190.617
AT ITER 7811 NEW BEST:: SOT 983485 SOS 530794 HAS SOPS 530794 HAS SOUS 227379 HAS SOUPS 227379 WITH SCORE 227909.794
AT ITER 7818 NEW BEST:: SOT 983485 SOS 530504 HAS SOPS 530504 HAS SOUS 227379 HAS SOUPS 227379 WITH SCORE 227909.504
AT ITER 7820 NEW BEST:: SOT 983431 SOS 530366 HAS SOPS 530366 HAS SOUS 227241 HAS SOUPS 227241 WITH SCORE 227771.366
AT ITER 7846 NEW BEST:: SOT 983437 SOS 530356 HAS SOPS 530356 HAS SOUS 227231 HAS SOUPS 227231 WITH SCORE 227761.356
AT ITER 7857 NEW BEST:: SOT 983460 SOS 530309 HAS SOPS 530309 HAS SOUS 227184 HAS SOUPS 227184 WITH SCORE 227714.309
AT ITER 7863 NEW BEST:: SOT 983441 SOS 530290 HAS SOPS 530290 HAS SOUS 227165 HAS SOUPS 227165 WITH SCORE 227695.29
AT ITER 7875 NEW BEST:: SOT 983393 SOS 530192 HAS SOPS 530192 HAS SOUS 227122 HAS SOUPS 227122 WITH SCORE 227652.192
AT ITER 7879 NEW BEST:: SOT 983367 SOS 530072 HAS SOPS 530072 HAS SOUS 227070 HAS SOUPS 227070 WITH SCORE 227600.072
AT ITER 7898 NEW BEST:: SOT 982919 SOS 529624 HAS SOPS 529624 HAS SOUS 226622 HAS SOUPS 226622 WITH SCORE 227151.624
AT ITER 7911 NEW BEST:: SOT 982917 SOS 529620 HAS SOPS 529620 HAS SOUS 226618 HAS SOUPS 226618 WITH SCORE 227147.62
AT ITER 7915 NEW BEST:: SOT 982914 SOS 529594 HAS SOPS 529594 HAS SOUS 226592 HAS SOUPS 226592 WITH SCORE 227121.594
AT ITER 7940 NEW BEST:: SOT 982746 SOS 529258 HAS SOPS 529258 HAS SOUS 226424 HAS SOUPS 226424 WITH SCORE 226953.258
AT ITER 7941 NEW BEST:: SOT 982745 SOS 529257 HAS SOPS 529257 HAS SOUS 226422 HAS SOUPS 226422 WITH SCORE 226951.257
AT ITER 7948 NEW BEST:: SOT 982677 SOS 529189 HAS SOPS 529189 HAS SOUS 226319 HAS SOUPS 226319 WITH SCORE 226848.189
AT ITER 7976 NEW BEST:: SOT 982606 SOS 529015 HAS SOPS 529015 HAS SOUS 226145 HAS SOUPS 226145 WITH SCORE 226674.015
AT ITER 7994 NEW BEST:: SOT 982519 SOS 528815 HAS SOPS 528815 HAS SOUS 225971 HAS SOUPS 225971 WITH SCORE 226499.815
AT ITER 8017 NEW BEST:: SOT 982519 SOS 523649 HAS SOPS 523649 HAS SOUS 225829 HAS SOUPS 225829 WITH SCORE 226352.649
AT ITER 8035 NEW BEST:: SOT 982216 SOS 523196 HAS SOPS 523196 HAS SOUS 225254 HAS SOUPS 225254 WITH SCORE 225777.196
AT ITER 8055 NEW BEST:: SOT 982201 SOS 523166 HAS SOPS 523166 HAS SOUS 225224 HAS SOUPS 225224 WITH SCORE 225747.166
AT ITER 8058 NEW BEST:: SOT 981987 SOS 522928 HAS SOPS 522928 HAS SOUS 224796 HAS SOUPS 224796 WITH SCORE 225318.928
AT ITER 8077 NEW BEST:: SOT 981967 SOS 522888 HAS SOPS 522888 HAS SOUS 224756 HAS SOUPS 224756 WITH SCORE 225278.888
AT ITER 8131 NEW BEST:: SOT 981998 SOS 522919 HAS SOPS 522919 HAS SOUS 224663 HAS SOUPS 224663 WITH SCORE 225185.919
AT ITER 8138 NEW BEST:: SOT 982022 SOS 522943 HAS SOPS 522943 HAS SOUS 224291 HAS SOUPS 224291 WITH SCORE 224813.943
AT ITER 8141 NEW BEST:: SOT 982131 SOS 523169 HAS SOPS 523169 HAS SOUS 224024 HAS SOUPS 224024 WITH SCORE 224547.169
AT ITER 8152 NEW BEST:: SOT 982121 SOS 523159 HAS SOPS 523159 HAS SOUS 224020 HAS SOUPS 224020 WITH SCORE 224543.159
AT ITER 8155 NEW BEST:: SOT 982102 SOS 521376 HAS SOPS 521376 HAS SOUS 223751 HAS SOUPS 223751 WITH SCORE 224272.376
AT ITER 8186 NEW BEST:: SOT 981995 SOS 521269 HAS SOPS 521269 HAS SOUS 223644 HAS SOUPS 223644 WITH SCORE 224165.269
AT ITER 8189 NEW BEST:: SOT 981977 SOS 521251 HAS SOPS 521251 HAS SOUS 223626 HAS SOUPS 223626 WITH SCORE 224147.251
AT ITER 8193 NEW BEST:: SOT 981973 SOS 520875 HAS SOPS 520875 HAS SOUS 223549 HAS SOUPS 223549 WITH SCORE 224069.875
AT ITER 8194 NEW BEST:: SOT 981975 SOS 520870 HAS SOPS 520870 HAS SOUS 223544 HAS SOUPS 223544 WITH SCORE 224064.87
AT ITER 8207 NEW BEST:: SOT 981856 SOS 520751 HAS SOPS 520751 HAS SOUS 223257 HAS SOUPS 223257 WITH SCORE 223777.751
AT ITER 8258 NEW BEST:: SOT 981787 SOS 520682 HAS SOPS 520682 HAS SOUS 223119 HAS SOUPS 223119 WITH SCORE 223639.682
AT ITER 8278 NEW BEST:: SOT 981787 SOS 520681 HAS SOPS 520681 HAS SOUS 223119 HAS SOUPS 223119 WITH SCORE 223639.681
AT ITER 8318 NEW BEST:: SOT 981779 SOS 520668 HAS SOPS 520668 HAS SOUS 223106 HAS SOUPS 223106 WITH SCORE 223626.668
AT ITER 8322 NEW BEST:: SOT 981779 SOS 520396 HAS SOPS 520396 HAS SOUS 223072 HAS SOUPS 223072 WITH SCORE 223592.396
AT ITER 8352 NEW BEST:: SOT 981759 SOS 519810 HAS SOPS 519810 HAS SOUS 223032 HAS SOUPS 223032 WITH SCORE 223551.81
AT ITER 8370 NEW BEST:: SOT 981728 SOS 519779 HAS SOPS 519779 HAS SOUS 222970 HAS SOUPS 222970 WITH SCORE 223489.779
AT ITER 8373 NEW BEST:: SOT 981686 SOS 519737 HAS SOPS 519737 HAS SOUS 222838 HAS SOUPS 222838 WITH SCORE 223357.737
AT ITER 8417 NEW BEST:: SOT 981547 SOS 519598 HAS SOPS 519598 HAS SOUS 222618 HAS SOUPS 222618 WITH SCORE 223137.598
AT ITER 8453 NEW BEST:: SOT 980440 SOS 519663 HAS SOPS 519663 HAS SOUS 221804 HAS SOUPS 221804 WITH SCORE 222323.663
AT ITER 8464 NEW BEST:: SOT 980440 SOS 519604 HAS SOPS 519604 HAS SOUS 221794 HAS SOUPS 221794 WITH SCORE 222313.604
AT ITER 8477 NEW BEST:: SOT 980439 SOS 519582 HAS SOPS 519582 HAS SOUS 221773 HAS SOUPS 221773 WITH SCORE 222292.582
AT ITER 8478 NEW BEST:: SOT 980432 SOS 519566 HAS SOPS 519566 HAS SOUS 221757 HAS SOUPS 221757 WITH SCORE 222276.566
AT ITER 8479 NEW BEST:: SOT 980432 SOS 519436 HAS SOPS 519436 HAS SOUS 221687 HAS SOUPS 221687 WITH SCORE 222206.436
AT ITER 8525 NEW BEST:: SOT 980386 SOS 519320 HAS SOPS 519320 HAS SOUS 221665 HAS SOUPS 221665 WITH SCORE 222184.32
AT ITER 8539 NEW BEST:: SOT 980382 SOS 519316 HAS SOPS 519316 HAS SOUS 221661 HAS SOUPS 221661 WITH SCORE 222180.316
AT ITER 8540 NEW BEST:: SOT 980375 SOS 519260 HAS SOPS 519260 HAS SOUS 221654 HAS SOUPS 221654 WITH SCORE 222173.26
AT ITER 8542 NEW BEST:: SOT 980036 SOS 518885 HAS SOPS 518885 HAS SOUS 221279 HAS SOUPS 221279 WITH SCORE 221797.885
AT ITER 8567 NEW BEST:: SOT 979380 SOS 518005 HAS SOPS 518005 HAS SOUS 220529 HAS SOUPS 220529 WITH SCORE 221047.005
AT ITER 8583 NEW BEST:: SOT 979380 SOS 518023 HAS SOPS 518023 HAS SOUS 220520 HAS SOUPS 220520 WITH SCORE 221038.023
AT ITER 8588 NEW BEST:: SOT 979426 SOS 518069 HAS SOPS 518069 HAS SOUS 220508 HAS SOUPS 220508 WITH SCORE 221026.069
AT ITER 8603 NEW BEST:: SOT 979262 SOS 517905 HAS SOPS 517905 HAS SOUS 220344 HAS SOUPS 220344 WITH SCORE 220861.905
AT ITER 8604 NEW BEST:: SOT 979204 SOS 517842 HAS SOPS 517842 HAS SOUS 220281 HAS SOUPS 220281 WITH SCORE 220798.842
AT ITER 8612 NEW BEST:: SOT 979140 SOS 517810 HAS SOPS 517810 HAS SOUS 220217 HAS SOUPS 220217 WITH SCORE 220734.81
AT ITER 8649 NEW BEST:: SOT 979158 SOS 517792 HAS SOPS 517792 HAS SOUS 220217 HAS SOUPS 220217 WITH SCORE 220734.792
AT ITER 8657 NEW BEST:: SOT 978398 SOS 517232 HAS SOPS 517232 HAS SOUS 219454 HAS SOUPS 219454 WITH SCORE 219971.232
AT ITER 8658 NEW BEST:: SOT 978443 SOS 516827 HAS SOPS 516827 HAS SOUS 219049 HAS SOUPS 219049 WITH SCORE 219565.827
AT ITER 8677 NEW BEST:: SOT 978403 SOS 516787 HAS SOPS 516787 HAS SOUS 219009 HAS SOUPS 219009 WITH SCORE 219525.787
AT ITER 8678 NEW BEST:: SOT 978389 SOS 516781 HAS SOPS 516781 HAS SOUS 218990 HAS SOUPS 218990 WITH SCORE 219506.781
AT ITER 8686 NEW BEST:: SOT 978384 SOS 516776 HAS SOPS 516776 HAS SOUS 218985 HAS SOUPS 218985 WITH SCORE 219501.776
AT ITER 8699 NEW BEST:: SOT 978372 SOS 516740 HAS SOPS 516740 HAS SOUS 218949 HAS SOUPS 218949 WITH SCORE 219465.74
AT ITER 8720 NEW BEST:: SOT 978348 SOS 516757 HAS SOPS 516757 HAS SOUS 218935 HAS SOUPS 218935 WITH SCORE 219451.757
AT ITER 8754 NEW BEST:: SOT 978490 SOS 515903 HAS SOPS 515903 HAS SOUS 218935 HAS SOUPS 218935 WITH SCORE 219450.903
AT ITER 8781 NEW BEST:: SOT 978488 SOS 515724 HAS SOPS 515724 HAS SOUS 218727 HAS SOUPS 218727 WITH SCORE 219242.724
AT ITER 8791 NEW BEST:: SOT 978488 SOS 515600 HAS SOPS 515600 HAS SOUS 218727 HAS SOUPS 218727 WITH SCORE 219242.6
AT ITER 8797 NEW BEST:: SOT 978487 SOS 515599 HAS SOPS 515599 HAS SOUS 218725 HAS SOUPS 218725 WITH SCORE 219240.599
AT ITER 8803 NEW BEST:: SOT 978487 SOS 515567 HAS SOPS 515567 HAS SOUS 218693 HAS SOUPS 218693 WITH SCORE 219208.567
AT ITER 8823 NEW BEST:: SOT 978413 SOS 515117 HAS SOPS 515117 HAS SOUS 218229 HAS SOUPS 218229 WITH SCORE 218744.117
AT ITER 8830 NEW BEST:: SOT 978549 SOS 514990 HAS SOPS 514990 HAS SOUS 218102 HAS SOUPS 218102 WITH SCORE 218616.99
AT ITER 8835 NEW BEST:: SOT 978469 SOS 514866 HAS SOPS 514866 HAS SOUS 218074 HAS SOUPS 218074 WITH SCORE 218588.866
AT ITER 8897 NEW BEST:: SOT 978403 SOS 514800 HAS SOPS 514800 HAS SOUS 217982 HAS SOUPS 217982 WITH SCORE 218496.8
AT ITER 8925 NEW BEST:: SOT 978330 SOS 514727 HAS SOPS 514727 HAS SOUS 217950 HAS SOUPS 217950 WITH SCORE 218464.727
AT ITER 8952 NEW BEST:: SOT 978176 SOS 514514 HAS SOPS 514514 HAS SOUS 217678 HAS SOUPS 217678 WITH SCORE 218192.514
AT ITER 8959 NEW BEST:: SOT 978176 SOS 514851 HAS SOPS 514851 HAS SOUS 217630 HAS SOUPS 217630 WITH SCORE 218144.851
AT ITER 9000 NEW BEST:: SOT 978152 SOS 514821 HAS SOPS 514821 HAS SOUS 217582 HAS SOUPS 217582 WITH SCORE 218096.821
AT ITER 9021 NEW BEST:: SOT 978152 SOS 514821 HAS SOPS 514821 HAS SOUS 217556 HAS SOUPS 217556 WITH SCORE 218070.821
AT ITER 9024 NEW BEST:: SOT 978111 SOS 514196 HAS SOPS 514196 HAS SOUS 217197 HAS SOUPS 217197 WITH SCORE 217711.196
AT ITER 9054 NEW BEST:: SOT 978110 SOS 514195 HAS SOPS 514195 HAS SOUS 217195 HAS SOUPS 217195 WITH SCORE 217709.195
AT ITER 9056 NEW BEST:: SOT 978126 SOS 514366 HAS SOPS 514366 HAS SOUS 217185 HAS SOUPS 217185 WITH SCORE 217699.366
AT ITER 9079 NEW BEST:: SOT 978096 SOS 514276 HAS SOPS 514276 HAS SOUS 217125 HAS SOUPS 217125 WITH SCORE 217639.276
AT ITER 9086 NEW BEST:: SOT 978063 SOS 511989 HAS SOPS 511989 HAS SOUS 217087 HAS SOUPS 217087 WITH SCORE 217598.989
AT ITER 9094 NEW BEST:: SOT 978003 SOS 511929 HAS SOPS 511929 HAS SOUS 217022 HAS SOUPS 217022 WITH SCORE 217533.929
AT ITER 9115 NEW BEST:: SOT 977969 SOS 511887 HAS SOPS 511887 HAS SOUS 217014 HAS SOUPS 217014 WITH SCORE 217525.887
AT ITER 9117 NEW BEST:: SOT 977953 SOS 511855 HAS SOPS 511855 HAS SOUS 216950 HAS SOUPS 216950 WITH SCORE 217461.855
AT ITER 9130 NEW BEST:: SOT 977878 SOS 511762 HAS SOPS 511762 HAS SOUS 216875 HAS SOUPS 216875 WITH SCORE 217386.762
AT ITER 9149 NEW BEST:: SOT 977750 SOS 511558 HAS SOPS 511558 HAS SOUS 216671 HAS SOUPS 216671 WITH SCORE 217182.558
AT ITER 9167 NEW BEST:: SOT 977676 SOS 511357 HAS SOPS 511357 HAS SOUS 216664 HAS SOUPS 216664 WITH SCORE 217175.357
AT ITER 9171 NEW BEST:: SOT 977553 SOS 510619 HAS SOPS 510619 HAS SOUS 216418 HAS SOUPS 216418 WITH SCORE 216928.619
AT ITER 9206 NEW BEST:: SOT 977469 SOS 510523 HAS SOPS 510523 HAS SOUS 216322 HAS SOUPS 216322 WITH SCORE 216832.523
AT ITER 9212 NEW BEST:: SOT 977468 SOS 510522 HAS SOPS 510522 HAS SOUS 216321 HAS SOUPS 216321 WITH SCORE 216831.522
AT ITER 9213 NEW BEST:: SOT 977468 SOS 510521 HAS SOPS 510521 HAS SOUS 216319 HAS SOUPS 216319 WITH SCORE 216829.521
AT ITER 9215 NEW BEST:: SOT 977387 SOS 510453 HAS SOPS 510453 HAS SOUS 215969 HAS SOUPS 215969 WITH SCORE 216479.453
AT ITER 9224 NEW BEST:: SOT 977232 SOS 510651 HAS SOPS 510651 HAS SOUS 215768 HAS SOUPS 215768 WITH SCORE 216278.651
AT ITER 9233 NEW BEST:: SOT 977257 SOS 510772 HAS SOPS 510772 HAS SOUS 215765 HAS SOUPS 215765 WITH SCORE 216275.772
AT ITER 9239 NEW BEST:: SOT 977257 SOS 510645 HAS SOPS 510645 HAS SOUS 215638 HAS SOUPS 215638 WITH SCORE 216148.645
AT ITER 9246 NEW BEST:: SOT 977176 SOS 510483 HAS SOPS 510483 HAS SOUS 215476 HAS SOUPS 215476 WITH SCORE 215986.483
AT ITER 9256 NEW BEST:: SOT 977051 SOS 510358 HAS SOPS 510358 HAS SOUS 215226 HAS SOUPS 215226 WITH SCORE 215736.358
AT ITER 9259 NEW BEST:: SOT 976975 SOS 510223 HAS SOPS 510223 HAS SOUS 215021 HAS SOUPS 215021 WITH SCORE 215531.223
AT ITER 9283 NEW BEST:: SOT 976975 SOS 510178 HAS SOPS 510178 HAS SOUS 215021 HAS SOUPS 215021 WITH SCORE 215531.178
AT ITER 9306 NEW BEST:: SOT 976821 SOS 510139 HAS SOPS 510139 HAS SOUS 214982 HAS SOUPS 214982 WITH SCORE 215492.139
AT ITER 9319 NEW BEST:: SOT 976667 SOS 509933 HAS SOPS 509933 HAS SOUS 214725 HAS SOUPS 214725 WITH SCORE 215234.933
AT ITER 9373 NEW BEST:: SOT 976649 SOS 509699 HAS SOPS 509699 HAS SOUS 214707 HAS SOUPS 214707 WITH SCORE 215216.699
AT ITER 9380 NEW BEST:: SOT 976603 SOS 509586 HAS SOPS 509586 HAS SOUS 214615 HAS SOUPS 214615 WITH SCORE 215124.586
AT ITER 9391 NEW BEST:: SOT 976617 SOS 509572 HAS SOPS 509572 HAS SOUS 214615 HAS SOUPS 214615 WITH SCORE 215124.572
AT ITER 9396 NEW BEST:: SOT 976617 SOS 509610 HAS SOPS 509610 HAS SOUS 214577 HAS SOUPS 214577 WITH SCORE 215086.61
AT ITER 9447 NEW BEST:: SOT 976592 SOS 509581 HAS SOPS 509581 HAS SOUS 214500 HAS SOUPS 214500 WITH SCORE 215009.581
AT ITER 9486 NEW BEST:: SOT 976568 SOS 509597 HAS SOPS 509597 HAS SOUS 214452 HAS SOUPS 214452 WITH SCORE 214961.597
AT ITER 9530 NEW BEST:: SOT 976568 SOS 509967 HAS SOPS 509967 HAS SOUS 214451 HAS SOUPS 214451 WITH SCORE 214960.967
AT ITER 9537 NEW BEST:: SOT 976597 SOS 509974 HAS SOPS 509974 HAS SOUS 214441 HAS SOUPS 214441 WITH SCORE 214950.974
AT ITER 9538 NEW BEST:: SOT 976597 SOS 509874 HAS SOPS 509874 HAS SOUS 214415 HAS SOUPS 214415 WITH SCORE 214924.874
AT ITER 9575 NEW BEST:: SOT 976548 SOS 509912 HAS SOPS 509912 HAS SOUS 214374 HAS SOUPS 214374 WITH SCORE 214883.912
AT ITER 9582 NEW BEST:: SOT 976544 SOS 509890 HAS SOPS 509890 HAS SOUS 214352 HAS SOUPS 214352 WITH SCORE 214861.89
AT ITER 9593 NEW BEST:: SOT 976544 SOS 510218 HAS SOPS 510218 HAS SOUS 214239 HAS SOUPS 214239 WITH SCORE 214749.218
AT ITER 9610 NEW BEST:: SOT 976437 SOS 510111 HAS SOPS 510111 HAS SOUS 214122 HAS SOUPS 214122 WITH SCORE 214632.111
AT ITER 9632 NEW BEST:: SOT 976438 SOS 510110 HAS SOPS 510110 HAS SOUS 214121 HAS SOUPS 214121 WITH SCORE 214631.11
AT ITER 9639 NEW BEST:: SOT 976174 SOS 509846 HAS SOPS 509846 HAS SOUS 213725 HAS SOUPS 213725 WITH SCORE 214234.846
AT ITER 9653 NEW BEST:: SOT 974874 SOS 510010 HAS SOPS 510010 HAS SOUS 212423 HAS SOUPS 212423 WITH SCORE 212933.01
AT ITER 9669 NEW BEST:: SOT 974862 SOS 509806 HAS SOPS 509806 HAS SOUS 212421 HAS SOUPS 212421 WITH SCORE 212930.806
AT ITER 9696 NEW BEST:: SOT 974831 SOS 509775 HAS SOPS 509775 HAS SOUS 212299 HAS SOUPS 212299 WITH SCORE 212808.775
AT ITER 9702 NEW BEST:: SOT 974666 SOS 509610 HAS SOPS 509610 HAS SOUS 212050 HAS SOUPS 212050 WITH SCORE 212559.61
AT ITER 9708 NEW BEST:: SOT 974666 SOS 509602 HAS SOPS 509602 HAS SOUS 212042 HAS SOUPS 212042 WITH SCORE 212551.602
AT ITER 9738 NEW BEST:: SOT 974653 SOS 509511 HAS SOPS 509511 HAS SOUS 212016 HAS SOUPS 212016 WITH SCORE 212525.511
AT ITER 9745 NEW BEST:: SOT 974542 SOS 509400 HAS SOPS 509400 HAS SOUS 211645 HAS SOUPS 211645 WITH SCORE 212154.4
AT ITER 9751 NEW BEST:: SOT 974237 SOS 508983 HAS SOPS 508983 HAS SOUS 211228 HAS SOUPS 211228 WITH SCORE 211736.983
AT ITER 9794 NEW BEST:: SOT 974098 SOS 508946 HAS SOPS 508946 HAS SOUS 211191 HAS SOUPS 211191 WITH SCORE 211699.946
AT ITER 9858 NEW BEST:: SOT 974074 SOS 508922 HAS SOPS 508922 HAS SOUS 211167 HAS SOUPS 211167 WITH SCORE 211675.922
AT ITER 9877 NEW BEST:: SOT 974169 SOS 508882 HAS SOPS 508882 HAS SOUS 211158 HAS SOUPS 211158 WITH SCORE 211666.882
AT ITER 9890 NEW BEST:: SOT 974291 SOS 508868 HAS SOPS 508868 HAS SOUS 211008 HAS SOUPS 211008 WITH SCORE 211516.868
AT ITER 9908 NEW BEST:: SOT 974263 SOS 508838 HAS SOPS 508838 HAS SOUS 211006 HAS SOUPS 211006 WITH SCORE 211514.838
AT ITER 9919 NEW BEST:: SOT 974263 SOS 508838 HAS SOPS 508838 HAS SOUS 210972 HAS SOUPS 210972 WITH SCORE 211480.838
AT ITER 9944 NEW BEST:: SOT 974262 SOS 508837 HAS SOPS 508837 HAS SOUS 210970 HAS SOUPS 210970 WITH SCORE 211478.837
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 10025776 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16118228 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-05a"
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 ASLink-PT-05a, 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 r011-oct2-167813599700080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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