About the Execution of Smart for EisenbergMcGuire-PT-08
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
7699.979 | 3600000.00 | 3594941.00 | 198.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r515-tall-167987242200264.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is EisenbergMcGuire-PT-08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r515-tall-167987242200264
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 8.1K Mar 23 15:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Mar 23 15:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Mar 23 15:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 83K Mar 23 15:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 23 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 23 07:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 23 07:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 23 07:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 9.0K Mar 23 15:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Mar 23 15:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Mar 23 15:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Mar 23 15:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 23 07:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 1.6M Mar 26 22:42 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 1679881222767
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=EisenbergMcGuire-PT-08
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EisenbergMcGuire (PT), instance 08
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 712 places, 2816 transitions, 13440 arcs.
AT ITER 0 NEW BEST:: SOT 1542292 SOS 741767 HAS SOPS 479914 HAS SOUS 295550 HAS SOUPS 286643 WITH SCORE 287384.767
AT ITER 8 NEW BEST:: SOT 1542282 SOS 741747 HAS SOPS 479894 HAS SOUS 295530 HAS SOUPS 286623 WITH SCORE 287364.747
AT ITER 9 NEW BEST:: SOT 1542126 SOS 741487 HAS SOPS 479686 HAS SOUS 295062 HAS SOUPS 286155 WITH SCORE 286896.487
AT ITER 15 NEW BEST:: SOT 1542075 SOS 740941 HAS SOPS 478544 HAS SOUS 294598 HAS SOUPS 285584 WITH SCORE 286324.941
AT ITER 16 NEW BEST:: SOT 1541454 SOS 739797 HAS SOPS 477272 HAS SOUS 293506 HAS SOUPS 284492 WITH SCORE 285231.797
AT ITER 25 NEW BEST:: SOT 1541302 SOS 739493 HAS SOPS 476968 HAS SOUS 293427 HAS SOUPS 284413 WITH SCORE 285152.493
AT ITER 34 NEW BEST:: SOT 1540964 SOS 739479 HAS SOPS 476609 HAS SOUS 293235 HAS SOUPS 284194 WITH SCORE 284933.479
AT ITER 35 NEW BEST:: SOT 1543238 SOS 743934 HAS SOPS 477089 HAS SOUS 291399 HAS SOUPS 282433 WITH SCORE 283176.934
AT ITER 41 NEW BEST:: SOT 1543026 SOS 743642 HAS SOPS 476715 HAS SOUS 291261 HAS SOUPS 282169 WITH SCORE 282912.642
AT ITER 42 NEW BEST:: SOT 1542986 SOS 743562 HAS SOPS 476635 HAS SOUS 291221 HAS SOUPS 282129 WITH SCORE 282872.562
AT ITER 48 NEW BEST:: SOT 1542627 SOS 742985 HAS SOPS 475952 HAS SOUS 290805 HAS SOUPS 281576 WITH SCORE 282318.985
AT ITER 54 NEW BEST:: SOT 1542627 SOS 742925 HAS SOPS 475892 HAS SOUS 290805 HAS SOUPS 281576 WITH SCORE 282318.925
AT ITER 58 NEW BEST:: SOT 1542807 SOS 743285 HAS SOPS 472652 HAS SOUS 287564 HAS SOUPS 278335 WITH SCORE 279078.285
AT ITER 59 NEW BEST:: SOT 1543030 SOS 743445 HAS SOPS 472767 HAS SOUS 287339 HAS SOUPS 278110 WITH SCORE 278853.445
AT ITER 66 NEW BEST:: SOT 1543030 SOS 743222 HAS SOPS 472544 HAS SOUS 287339 HAS SOUPS 278110 WITH SCORE 278853.222
AT ITER 73 NEW BEST:: SOT 1541873 SOS 743628 HAS SOPS 473254 HAS SOUS 287137 HAS SOUPS 277751 WITH SCORE 278494.628
AT ITER 76 NEW BEST:: SOT 1538395 SOS 744260 HAS SOPS 496635 HAS SOUS 283436 HAS SOUPS 274057 WITH SCORE 274801.26
AT ITER 83 NEW BEST:: SOT 1538392 SOS 744254 HAS SOPS 496629 HAS SOUS 283430 HAS SOUPS 274051 WITH SCORE 274795.254
AT ITER 85 NEW BEST:: SOT 1538392 SOS 744143 HAS SOPS 496518 HAS SOUS 283430 HAS SOUPS 274051 WITH SCORE 274795.143
AT ITER 87 NEW BEST:: SOT 1538530 SOS 744285 HAS SOPS 496660 HAS SOUS 283178 HAS SOUPS 273799 WITH SCORE 274543.285
AT ITER 88 NEW BEST:: SOT 1538398 SOS 744153 HAS SOPS 496352 HAS SOUS 283178 HAS SOUPS 273645 WITH SCORE 274389.153
AT ITER 102 NEW BEST:: SOT 1535072 SOS 751849 HAS SOPS 491390 HAS SOUS 280525 HAS SOUPS 270495 WITH SCORE 271246.849
AT ITER 105 NEW BEST:: SOT 1535072 SOS 751501 HAS SOPS 491042 HAS SOUS 280525 HAS SOUPS 270495 WITH SCORE 271246.501
AT ITER 106 NEW BEST:: SOT 1534889 SOS 751395 HAS SOPS 491010 HAS SOUS 280284 HAS SOUPS 270303 WITH SCORE 271054.395
AT ITER 109 NEW BEST:: SOT 1534858 SOS 749911 HAS SOPS 489526 HAS SOUS 280222 HAS SOUPS 270241 WITH SCORE 270990.911
AT ITER 120 NEW BEST:: SOT 1534744 SOS 749448 HAS SOPS 489063 HAS SOUS 279987 HAS SOUPS 270006 WITH SCORE 270755.448
AT ITER 125 NEW BEST:: SOT 1534560 SOS 749160 HAS SOPS 488874 HAS SOUS 279815 HAS SOUPS 269817 WITH SCORE 270566.16
AT ITER 128 NEW BEST:: SOT 1534560 SOS 749002 HAS SOPS 488716 HAS SOUS 279736 HAS SOUPS 269738 WITH SCORE 270487.002
AT ITER 129 NEW BEST:: SOT 1534842 SOS 749037 HAS SOPS 488845 HAS SOUS 279596 HAS SOUPS 269598 WITH SCORE 270347.037
AT ITER 132 NEW BEST:: SOT 1534844 SOS 748982 HAS SOPS 488793 HAS SOUS 279580 HAS SOUPS 269582 WITH SCORE 270330.982
AT ITER 133 NEW BEST:: SOT 1534844 SOS 748904 HAS SOPS 488715 HAS SOUS 279580 HAS SOUPS 269582 WITH SCORE 270330.904
AT ITER 144 NEW BEST:: SOT 1534844 SOS 748541 HAS SOPS 488352 HAS SOUS 279501 HAS SOUPS 269503 WITH SCORE 270251.541
AT ITER 146 NEW BEST:: SOT 1534720 SOS 748187 HAS SOPS 487854 HAS SOUS 279260 HAS SOUPS 269250 WITH SCORE 269998.187
AT ITER 153 NEW BEST:: SOT 1534843 SOS 748262 HAS SOPS 487458 HAS SOUS 279126 HAS SOUPS 268967 WITH SCORE 269715.262
AT ITER 155 NEW BEST:: SOT 1534843 SOS 748162 HAS SOPS 487358 HAS SOUS 279071 HAS SOUPS 268912 WITH SCORE 269660.162
AT ITER 160 NEW BEST:: SOT 1534754 SOS 747884 HAS SOPS 487080 HAS SOUS 278887 HAS SOUPS 268728 WITH SCORE 269475.884
AT ITER 161 NEW BEST:: SOT 1534657 SOS 747699 HAS SOPS 487069 HAS SOUS 278876 HAS SOUPS 268717 WITH SCORE 269464.699
AT ITER 163 NEW BEST:: SOT 1527006 SOS 824087 HAS SOPS 487305 HAS SOUS 277965 HAS SOUPS 266632 WITH SCORE 267456.087
AT ITER 166 NEW BEST:: SOT 1527006 SOS 801206 HAS SOPS 484956 HAS SOUS 277878 HAS SOUPS 266632 WITH SCORE 267433.206
AT ITER 169 NEW BEST:: SOT 1527004 SOS 801204 HAS SOPS 484952 HAS SOUS 277876 HAS SOUPS 266628 WITH SCORE 267429.204
AT ITER 170 NEW BEST:: SOT 1526719 SOS 800779 HAS SOPS 484667 HAS SOUS 277444 HAS SOUPS 266196 WITH SCORE 266996.779
AT ITER 176 NEW BEST:: SOT 1526722 SOS 800554 HAS SOPS 484442 HAS SOUS 277401 HAS SOUPS 266153 WITH SCORE 266953.554
AT ITER 183 NEW BEST:: SOT 1526722 SOS 800260 HAS SOPS 484148 HAS SOUS 277401 HAS SOUPS 266153 WITH SCORE 266953.26
AT ITER 191 NEW BEST:: SOT 1526668 SOS 800206 HAS SOPS 484007 HAS SOUS 277260 HAS SOUPS 266012 WITH SCORE 266812.206
AT ITER 193 NEW BEST:: SOT 1526496 SOS 799823 HAS SOPS 483624 HAS SOUS 276916 HAS SOUPS 265668 WITH SCORE 266467.823
AT ITER 194 NEW BEST:: SOT 1526496 SOS 799733 HAS SOPS 483534 HAS SOUS 276916 HAS SOUPS 265668 WITH SCORE 266467.733
AT ITER 198 NEW BEST:: SOT 1526388 SOS 799589 HAS SOPS 483390 HAS SOUS 276700 HAS SOUPS 265452 WITH SCORE 266251.589
AT ITER 199 NEW BEST:: SOT 1526265 SOS 799220 HAS SOPS 482406 HAS SOUS 276577 HAS SOUPS 265329 WITH SCORE 266128.22
AT ITER 205 NEW BEST:: SOT 1526271 SOS 799203 HAS SOPS 482389 HAS SOUS 276560 HAS SOUPS 265312 WITH SCORE 266111.203
AT ITER 207 NEW BEST:: SOT 1526228 SOS 798810 HAS SOPS 481996 HAS SOUS 276425 HAS SOUPS 265177 WITH SCORE 265975.81
AT ITER 208 NEW BEST:: SOT 1528454 SOS 801001 HAS SOPS 483448 HAS SOUS 275736 HAS SOUPS 264488 WITH SCORE 265289.001
AT ITER 219 NEW BEST:: SOT 1528343 SOS 800399 HAS SOPS 482846 HAS SOUS 275514 HAS SOUPS 264266 WITH SCORE 265066.399
AT ITER 231 NEW BEST:: SOT 1528249 SOS 800211 HAS SOPS 482658 HAS SOUS 275341 HAS SOUPS 264093 WITH SCORE 264893.211
AT ITER 232 NEW BEST:: SOT 1528249 SOS 800097 HAS SOPS 482544 HAS SOUS 275334 HAS SOUPS 264086 WITH SCORE 264886.097
AT ITER 235 NEW BEST:: SOT 1528167 SOS 799909 HAS SOPS 482356 HAS SOUS 275164 HAS SOUPS 263916 WITH SCORE 264715.909
AT ITER 237 NEW BEST:: SOT 1528914 SOS 800783 HAS SOPS 481279 HAS SOUS 274087 HAS SOUPS 262839 WITH SCORE 263639.783
AT ITER 249 NEW BEST:: SOT 1528665 SOS 799714 HAS SOPS 480210 HAS SOUS 273883 HAS SOUPS 262635 WITH SCORE 263434.714
AT ITER 254 NEW BEST:: SOT 1528664 SOS 799713 HAS SOPS 480208 HAS SOUS 273881 HAS SOUPS 262633 WITH SCORE 263432.713
AT ITER 258 NEW BEST:: SOT 1528643 SOS 799671 HAS SOPS 480166 HAS SOUS 273839 HAS SOUPS 262591 WITH SCORE 263390.671
AT ITER 263 NEW BEST:: SOT 1528472 SOS 798717 HAS SOPS 479212 HAS SOUS 273736 HAS SOUPS 262488 WITH SCORE 263286.717
AT ITER 276 NEW BEST:: SOT 1528368 SOS 798552 HAS SOPS 478943 HAS SOUS 273467 HAS SOUPS 262219 WITH SCORE 263017.552
AT ITER 277 NEW BEST:: SOT 1528310 SOS 798494 HAS SOPS 478885 HAS SOUS 273380 HAS SOUPS 262103 WITH SCORE 262901.494
AT ITER 279 NEW BEST:: SOT 1528242 SOS 798358 HAS SOPS 478885 HAS SOUS 273380 HAS SOUPS 262103 WITH SCORE 262901.358
AT ITER 281 NEW BEST:: SOT 1528242 SOS 798358 HAS SOPS 478541 HAS SOUS 273315 HAS SOUPS 262017 WITH SCORE 262815.358
AT ITER 282 NEW BEST:: SOT 1528233 SOS 798324 HAS SOPS 478507 HAS SOUS 273290 HAS SOUPS 261992 WITH SCORE 262790.324
AT ITER 286 NEW BEST:: SOT 1528821 SOS 798881 HAS SOPS 479137 HAS SOUS 273221 HAS SOUPS 261923 WITH SCORE 262721.881
AT ITER 290 NEW BEST:: SOT 1528254 SOS 797926 HAS SOPS 478040 HAS SOUS 272271 HAS SOUPS 260973 WITH SCORE 261770.926
AT ITER 291 NEW BEST:: SOT 1528254 SOS 797756 HAS SOPS 477870 HAS SOUS 272271 HAS SOUPS 260973 WITH SCORE 261770.756
AT ITER 294 NEW BEST:: SOT 1519893 SOS 808034 HAS SOPS 469104 HAS SOUS 263692 HAS SOUPS 252074 WITH SCORE 252882.034
AT ITER 298 NEW BEST:: SOT 1520035 SOS 808176 HAS SOPS 469130 HAS SOUS 263533 HAS SOUPS 251915 WITH SCORE 252723.176
AT ITER 299 NEW BEST:: SOT 1519562 SOS 807745 HAS SOPS 470092 HAS SOUS 263200 HAS SOUPS 251582 WITH SCORE 252389.745
AT ITER 306 NEW BEST:: SOT 1519483 SOS 807587 HAS SOPS 469934 HAS SOUS 263042 HAS SOUPS 251424 WITH SCORE 252231.587
AT ITER 316 NEW BEST:: SOT 1519419 SOS 807613 HAS SOPS 469977 HAS SOUS 262987 HAS SOUPS 251369 WITH SCORE 252176.613
AT ITER 319 NEW BEST:: SOT 1519419 SOS 807255 HAS SOPS 469619 HAS SOUS 262907 HAS SOUPS 251289 WITH SCORE 252096.255
AT ITER 322 NEW BEST:: SOT 1519347 SOS 807174 HAS SOPS 469529 HAS SOUS 262817 HAS SOUPS 251199 WITH SCORE 252006.174
AT ITER 335 NEW BEST:: SOT 1519255 SOS 807202 HAS SOPS 469557 HAS SOUS 262651 HAS SOUPS 251033 WITH SCORE 251840.202
AT ITER 339 NEW BEST:: SOT 1519220 SOS 807510 HAS SOPS 469865 HAS SOUS 262581 HAS SOUPS 250963 WITH SCORE 251770.51
AT ITER 347 NEW BEST:: SOT 1519099 SOS 807136 HAS SOPS 469363 HAS SOUS 262344 HAS SOUPS 250726 WITH SCORE 251533.136
AT ITER 349 NEW BEST:: SOT 1518844 SOS 808284 HAS SOPS 470452 HAS SOUS 262239 HAS SOUPS 250533 WITH SCORE 251341.284
AT ITER 357 NEW BEST:: SOT 1518844 SOS 808216 HAS SOPS 470384 HAS SOUS 262239 HAS SOUPS 250533 WITH SCORE 251341.216
AT ITER 358 NEW BEST:: SOT 1518758 SOS 808044 HAS SOPS 470212 HAS SOUS 261995 HAS SOUPS 250289 WITH SCORE 251097.044
AT ITER 359 NEW BEST:: SOT 1518758 SOS 807995 HAS SOPS 470163 HAS SOUS 261946 HAS SOUPS 250240 WITH SCORE 251047.995
AT ITER 367 NEW BEST:: SOT 1518549 SOS 807885 HAS SOPS 470148 HAS SOUS 261837 HAS SOUPS 250131 WITH SCORE 250938.885
AT ITER 372 NEW BEST:: SOT 1518378 SOS 807321 HAS SOPS 469584 HAS SOUS 261455 HAS SOUPS 249749 WITH SCORE 250556.321
AT ITER 378 NEW BEST:: SOT 1518340 SOS 807283 HAS SOPS 469596 HAS SOUS 261410 HAS SOUPS 249681 WITH SCORE 250488.283
AT ITER 379 NEW BEST:: SOT 1517980 SOS 806653 HAS SOPS 465276 HAS SOUS 257370 HAS SOUPS 245641 WITH SCORE 246447.653
AT ITER 385 NEW BEST:: SOT 1517881 SOS 806158 HAS SOPS 464781 HAS SOUS 257093 HAS SOUPS 245364 WITH SCORE 246170.158
AT ITER 387 NEW BEST:: SOT 1517593 SOS 805798 HAS SOPS 463773 HAS SOUS 256337 HAS SOUPS 244608 WITH SCORE 245413.798
AT ITER 389 NEW BEST:: SOT 1517530 SOS 805735 HAS SOPS 463539 HAS SOUS 256157 HAS SOUPS 244428 WITH SCORE 245233.735
AT ITER 396 NEW BEST:: SOT 1517530 SOS 805653 HAS SOPS 463457 HAS SOUS 256157 HAS SOUPS 244428 WITH SCORE 245233.653
AT ITER 399 NEW BEST:: SOT 1517360 SOS 805479 HAS SOPS 463288 HAS SOUS 255988 HAS SOUPS 244259 WITH SCORE 245064.479
AT ITER 403 NEW BEST:: SOT 1517301 SOS 805361 HAS SOPS 463170 HAS SOUS 255811 HAS SOUPS 244082 WITH SCORE 244887.361
AT ITER 404 NEW BEST:: SOT 1517094 SOS 806406 HAS SOPS 464755 HAS SOUS 255694 HAS SOUPS 243965 WITH SCORE 244771.406
AT ITER 405 NEW BEST:: SOT 1517094 SOS 806226 HAS SOPS 464575 HAS SOUS 255694 HAS SOUPS 243965 WITH SCORE 244771.226
AT ITER 408 NEW BEST:: SOT 1517005 SOS 804928 HAS SOPS 463277 HAS SOUS 255516 HAS SOUPS 243787 WITH SCORE 244591.928
AT ITER 412 NEW BEST:: SOT 1516959 SOS 804797 HAS SOPS 463146 HAS SOUS 255477 HAS SOUPS 243748 WITH SCORE 244552.797
AT ITER 414 NEW BEST:: SOT 1517080 SOS 804572 HAS SOPS 462784 HAS SOUS 255182 HAS SOUPS 243453 WITH SCORE 244257.572
AT ITER 429 NEW BEST:: SOT 1517049 SOS 804664 HAS SOPS 462876 HAS SOUS 255163 HAS SOUPS 243434 WITH SCORE 244238.664
AT ITER 432 NEW BEST:: SOT 1516986 SOS 804187 HAS SOPS 462399 HAS SOUS 255037 HAS SOUPS 243308 WITH SCORE 244112.187
AT ITER 439 NEW BEST:: SOT 1516960 SOS 804135 HAS SOPS 462243 HAS SOUS 254972 HAS SOUPS 243243 WITH SCORE 244047.135
AT ITER 440 NEW BEST:: SOT 1516943 SOS 804042 HAS SOPS 462150 HAS SOUS 254920 HAS SOUPS 243191 WITH SCORE 243995.042
AT ITER 453 NEW BEST:: SOT 1516067 SOS 803166 HAS SOPS 462114 HAS SOUS 254691 HAS SOUPS 243155 WITH SCORE 243958.166
AT ITER 455 NEW BEST:: SOT 1515838 SOS 803237 HAS SOPS 462809 HAS SOUS 254557 HAS SOUPS 243021 WITH SCORE 243824.237
AT ITER 459 NEW BEST:: SOT 1515764 SOS 801043 HAS SOPS 460615 HAS SOUS 254291 HAS SOUPS 242755 WITH SCORE 243556.043
AT ITER 461 NEW BEST:: SOT 1515761 SOS 801006 HAS SOPS 460578 HAS SOUS 254254 HAS SOUPS 242718 WITH SCORE 243519.006
AT ITER 463 NEW BEST:: SOT 1515716 SOS 800916 HAS SOPS 460488 HAS SOUS 254119 HAS SOUPS 242583 WITH SCORE 243383.916
AT ITER 467 NEW BEST:: SOT 1515716 SOS 800918 HAS SOPS 460489 HAS SOUS 254117 HAS SOUPS 242581 WITH SCORE 243381.918
AT ITER 468 NEW BEST:: SOT 1515716 SOS 800662 HAS SOPS 460233 HAS SOUS 254117 HAS SOUPS 242581 WITH SCORE 243381.662
AT ITER 475 NEW BEST:: SOT 1515684 SOS 800598 HAS SOPS 460169 HAS SOUS 254053 HAS SOUPS 242517 WITH SCORE 243317.598
AT ITER 486 NEW BEST:: SOT 1515684 SOS 800579 HAS SOPS 460150 HAS SOUS 254053 HAS SOUPS 242517 WITH SCORE 243317.579
AT ITER 487 NEW BEST:: SOT 1515154 SOS 800067 HAS SOPS 459729 HAS SOUS 253787 HAS SOUPS 242251 WITH SCORE 243051.067
AT ITER 491 NEW BEST:: SOT 1515110 SOS 799904 HAS SOPS 459691 HAS SOUS 253749 HAS SOUPS 242213 WITH SCORE 243012.904
AT ITER 504 NEW BEST:: SOT 1515097 SOS 799891 HAS SOPS 459678 HAS SOUS 253736 HAS SOUPS 242200 WITH SCORE 242999.891
AT ITER 505 NEW BEST:: SOT 1515041 SOS 799779 HAS SOPS 459566 HAS SOUS 253736 HAS SOUPS 242200 WITH SCORE 242999.779
AT ITER 509 NEW BEST:: SOT 1515041 SOS 799654 HAS SOPS 459433 HAS SOUS 253728 HAS SOUPS 242192 WITH SCORE 242991.654
AT ITER 514 NEW BEST:: SOT 1515042 SOS 799544 HAS SOPS 459016 HAS SOUS 253649 HAS SOUPS 242113 WITH SCORE 242912.544
AT ITER 520 NEW BEST:: SOT 1514910 SOS 799426 HAS SOPS 458898 HAS SOUS 253385 HAS SOUPS 241849 WITH SCORE 242648.426
AT ITER 522 NEW BEST:: SOT 1515920 SOS 799441 HAS SOPS 458212 HAS SOUS 252587 HAS SOUPS 241051 WITH SCORE 241850.441
AT ITER 524 NEW BEST:: SOT 1515702 SOS 799656 HAS SOPS 458445 HAS SOUS 252520 HAS SOUPS 241004 WITH SCORE 241803.656
AT ITER 528 NEW BEST:: SOT 1515274 SOS 799341 HAS SOPS 458130 HAS SOUS 252487 HAS SOUPS 240971 WITH SCORE 241770.341
AT ITER 544 NEW BEST:: SOT 1515274 SOS 798669 HAS SOPS 457458 HAS SOUS 252487 HAS SOUPS 240971 WITH SCORE 241769.669
AT ITER 545 NEW BEST:: SOT 1514962 SOS 798229 HAS SOPS 456857 HAS SOUS 252173 HAS SOUPS 240496 WITH SCORE 241294.229
AT ITER 548 NEW BEST:: SOT 1515151 SOS 798153 HAS SOPS 453722 HAS SOUS 249236 HAS SOUPS 237791 WITH SCORE 238589.153
AT ITER 552 NEW BEST:: SOT 1514979 SOS 797688 HAS SOPS 453257 HAS SOUS 249163 HAS SOUPS 237718 WITH SCORE 238515.688
AT ITER 555 NEW BEST:: SOT 1514859 SOS 797372 HAS SOPS 452941 HAS SOUS 249087 HAS SOUPS 237642 WITH SCORE 238439.372
AT ITER 571 NEW BEST:: SOT 1510809 SOS 793322 HAS SOPS 448470 HAS SOUS 249324 HAS SOUPS 237642 WITH SCORE 238435.322
AT ITER 575 NEW BEST:: SOT 1510726 SOS 792990 HAS SOPS 448138 HAS SOUS 249075 HAS SOUPS 237393 WITH SCORE 238185.99
AT ITER 576 NEW BEST:: SOT 1510640 SOS 792818 HAS SOPS 447966 HAS SOUS 248986 HAS SOUPS 237304 WITH SCORE 238096.818
AT ITER 588 NEW BEST:: SOT 1510474 SOS 792486 HAS SOPS 447634 HAS SOUS 248932 HAS SOUPS 237250 WITH SCORE 238042.486
AT ITER 590 NEW BEST:: SOT 1510597 SOS 792689 HAS SOPS 447877 HAS SOUS 248901 HAS SOUPS 237219 WITH SCORE 238011.689
AT ITER 592 NEW BEST:: SOT 1510597 SOS 792647 HAS SOPS 447835 HAS SOUS 248880 HAS SOUPS 237198 WITH SCORE 237990.647
AT ITER 596 NEW BEST:: SOT 1510553 SOS 790685 HAS SOPS 445873 HAS SOUS 248713 HAS SOUPS 237031 WITH SCORE 237821.685
AT ITER 613 NEW BEST:: SOT 1510541 SOS 790667 HAS SOPS 445843 HAS SOUS 248683 HAS SOUPS 237001 WITH SCORE 237791.667
AT ITER 620 NEW BEST:: SOT 1510363 SOS 790311 HAS SOPS 445487 HAS SOUS 248663 HAS SOUPS 236981 WITH SCORE 237771.311
AT ITER 648 NEW BEST:: SOT 1512195 SOS 792177 HAS SOPS 443572 HAS SOUS 246358 HAS SOUPS 234664 WITH SCORE 235456.177
AT ITER 655 NEW BEST:: SOT 1512192 SOS 792165 HAS SOPS 443560 HAS SOUS 246352 HAS SOUPS 234658 WITH SCORE 235450.165
AT ITER 657 NEW BEST:: SOT 1512043 SOS 792016 HAS SOPS 443411 HAS SOUS 246285 HAS SOUPS 234509 WITH SCORE 235301.016
AT ITER 664 NEW BEST:: SOT 1511945 SOS 791820 HAS SOPS 443215 HAS SOUS 246285 HAS SOUPS 234509 WITH SCORE 235300.82
AT ITER 670 NEW BEST:: SOT 1510656 SOS 794900 HAS SOPS 441724 HAS SOUS 246020 HAS SOUPS 234118 WITH SCORE 234912.9
AT ITER 673 NEW BEST:: SOT 1510656 SOS 794867 HAS SOPS 441691 HAS SOUS 246020 HAS SOUPS 234118 WITH SCORE 234912.867
AT ITER 678 NEW BEST:: SOT 1510544 SOS 796075 HAS SOPS 442899 HAS SOUS 245891 HAS SOUPS 233989 WITH SCORE 234785.075
AT ITER 680 NEW BEST:: SOT 1510212 SOS 794100 HAS SOPS 440707 HAS SOUS 245824 HAS SOUPS 233922 WITH SCORE 234716.1
AT ITER 691 NEW BEST:: SOT 1509475 SOS 793363 HAS SOPS 440040 HAS SOUS 245149 HAS SOUPS 233255 WITH SCORE 234048.363
AT ITER 698 NEW BEST:: SOT 1509475 SOS 793328 HAS SOPS 440005 HAS SOUS 245149 HAS SOUPS 233255 WITH SCORE 234048.328
AT ITER 699 NEW BEST:: SOT 1509246 SOS 792895 HAS SOPS 439573 HAS SOUS 244719 HAS SOUPS 232825 WITH SCORE 233617.895
AT ITER 703 NEW BEST:: SOT 1508958 SOS 794674 HAS SOPS 441569 HAS SOUS 244599 HAS SOUPS 232705 WITH SCORE 233499.674
AT ITER 704 NEW BEST:: SOT 1509096 SOS 794642 HAS SOPS 441477 HAS SOUS 244563 HAS SOUPS 232613 WITH SCORE 233407.642
AT ITER 710 NEW BEST:: SOT 1508718 SOS 794148 HAS SOPS 437358 HAS SOUS 240621 HAS SOUPS 228671 WITH SCORE 229465.148
AT ITER 712 NEW BEST:: SOT 1507711 SOS 793141 HAS SOPS 436589 HAS SOUS 240537 HAS SOUPS 228590 WITH SCORE 229383.141
AT ITER 718 NEW BEST:: SOT 1506676 SOS 792088 HAS SOPS 435536 HAS SOUS 240172 HAS SOUPS 228225 WITH SCORE 229017.088
AT ITER 735 NEW BEST:: SOT 1506617 SOS 791670 HAS SOPS 434821 HAS SOUS 239625 HAS SOUPS 227678 WITH SCORE 228469.67
AT ITER 739 NEW BEST:: SOT 1506581 SOS 791834 HAS SOPS 434953 HAS SOUS 239589 HAS SOUPS 227642 WITH SCORE 228433.834
AT ITER 743 NEW BEST:: SOT 1506440 SOS 791423 HAS SOPS 434439 HAS SOUS 239241 HAS SOUPS 227294 WITH SCORE 228085.423
AT ITER 745 NEW BEST:: SOT 1506440 SOS 787741 HAS SOPS 434061 HAS SOUS 239227 HAS SOUPS 227294 WITH SCORE 228081.741
AT ITER 746 NEW BEST:: SOT 1506224 SOS 787372 HAS SOPS 433692 HAS SOUS 238948 HAS SOUPS 227015 WITH SCORE 227802.372
AT ITER 748 NEW BEST:: SOT 1506402 SOS 787435 HAS SOPS 433676 HAS SOUS 239172 HAS SOUPS 226999 WITH SCORE 227786.435
AT ITER 760 NEW BEST:: SOT 1506377 SOS 787385 HAS SOPS 433626 HAS SOUS 239122 HAS SOUPS 226949 WITH SCORE 227736.385
AT ITER 763 NEW BEST:: SOT 1506270 SOS 787211 HAS SOPS 433452 HAS SOUS 239043 HAS SOUPS 226870 WITH SCORE 227657.211
AT ITER 764 NEW BEST:: SOT 1506098 SOS 787039 HAS SOPS 433151 HAS SOUS 238742 HAS SOUPS 226569 WITH SCORE 227356.039
AT ITER 765 NEW BEST:: SOT 1506050 SOS 786975 HAS SOPS 433071 HAS SOUS 238662 HAS SOUPS 226489 WITH SCORE 227275.975
AT ITER 766 NEW BEST:: SOT 1506014 SOS 786933 HAS SOPS 432987 HAS SOUS 238662 HAS SOUPS 226489 WITH SCORE 227275.933
AT ITER 768 NEW BEST:: SOT 1496662 SOS 777775 HAS SOPS 448846 HAS SOUS 234673 HAS SOUPS 222805 WITH SCORE 223582.775
AT ITER 773 NEW BEST:: SOT 1496662 SOS 777641 HAS SOPS 448712 HAS SOUS 234673 HAS SOUPS 222805 WITH SCORE 223582.641
AT ITER 774 NEW BEST:: SOT 1496607 SOS 777476 HAS SOPS 448547 HAS SOUS 234567 HAS SOUPS 222699 WITH SCORE 223476.476
AT ITER 775 NEW BEST:: SOT 1496787 SOS 777656 HAS SOPS 448763 HAS SOUS 234495 HAS SOUPS 222627 WITH SCORE 223404.656
AT ITER 778 NEW BEST:: SOT 1496721 SOS 777326 HAS SOPS 448433 HAS SOUS 234363 HAS SOUPS 222495 WITH SCORE 223272.326
AT ITER 782 NEW BEST:: SOT 1500762 SOS 780864 HAS SOPS 452703 HAS SOUS 233383 HAS SOUPS 221920 WITH SCORE 222700.864
AT ITER 785 NEW BEST:: SOT 1500837 SOS 780503 HAS SOPS 452342 HAS SOUS 233365 HAS SOUPS 221902 WITH SCORE 222682.503
AT ITER 799 NEW BEST:: SOT 1502079 SOS 781745 HAS SOPS 453584 HAS SOUS 233294 HAS SOUPS 221763 WITH SCORE 222544.745
AT ITER 802 NEW BEST:: SOT 1502054 SOS 781545 HAS SOPS 453384 HAS SOUS 233244 HAS SOUPS 221713 WITH SCORE 222494.545
AT ITER 816 NEW BEST:: SOT 1503412 SOS 782879 HAS SOPS 449942 HAS SOUS 229539 HAS SOUPS 218008 WITH SCORE 218790.879
AT ITER 817 NEW BEST:: SOT 1503412 SOS 782875 HAS SOPS 449938 HAS SOUS 229535 HAS SOUPS 218004 WITH SCORE 218786.875
AT ITER 818 NEW BEST:: SOT 1503366 SOS 782401 HAS SOPS 449393 HAS SOUS 229523 HAS SOUPS 217992 WITH SCORE 218774.401
AT ITER 821 NEW BEST:: SOT 1503044 SOS 782378 HAS SOPS 449635 HAS SOUS 229304 HAS SOUPS 217773 WITH SCORE 218555.378
AT ITER 829 NEW BEST:: SOT 1502935 SOS 782029 HAS SOPS 449286 HAS SOUS 229082 HAS SOUPS 217551 WITH SCORE 218333.029
AT ITER 833 NEW BEST:: SOT 1502897 SOS 781972 HAS SOPS 449229 HAS SOUS 229044 HAS SOUPS 217513 WITH SCORE 218294.972
AT ITER 843 NEW BEST:: SOT 1502482 SOS 781826 HAS SOPS 449083 HAS SOUS 229040 HAS SOUPS 217509 WITH SCORE 218290.826
AT ITER 844 NEW BEST:: SOT 1502259 SOS 781697 HAS SOPS 449838 HAS SOUS 228959 HAS SOUPS 217428 WITH SCORE 218209.697
AT ITER 846 NEW BEST:: SOT 1502259 SOS 781693 HAS SOPS 449834 HAS SOUS 228959 HAS SOUPS 217428 WITH SCORE 218209.693
AT ITER 868 NEW BEST:: SOT 1502259 SOS 781369 HAS SOPS 449510 HAS SOUS 228959 HAS SOUPS 217428 WITH SCORE 218209.369
AT ITER 870 NEW BEST:: SOT 1502134 SOS 782142 HAS SOPS 451128 HAS SOUS 228920 HAS SOUPS 217389 WITH SCORE 218171.142
AT ITER 872 NEW BEST:: SOT 1502083 SOS 782790 HAS SOPS 451776 HAS SOUS 228818 HAS SOUPS 217287 WITH SCORE 218069.79
AT ITER 882 NEW BEST:: SOT 1501658 SOS 782390 HAS SOPS 451376 HAS SOUS 228733 HAS SOUPS 217202 WITH SCORE 217984.39
AT ITER 893 NEW BEST:: SOT 1501504 SOS 782005 HAS SOPS 450991 HAS SOUS 228488 HAS SOUPS 216957 WITH SCORE 217739.005
AT ITER 898 NEW BEST:: SOT 1501449 SOS 781730 HAS SOPS 450716 HAS SOUS 228370 HAS SOUPS 216839 WITH SCORE 217620.73
AT ITER 899 NEW BEST:: SOT 1501459 SOS 781788 HAS SOPS 450640 HAS SOUS 228329 HAS SOUPS 216763 WITH SCORE 217544.788
AT ITER 902 NEW BEST:: SOT 1501459 SOS 781788 HAS SOPS 450640 HAS SOUS 228235 HAS SOUPS 216669 WITH SCORE 217450.788
AT ITER 908 NEW BEST:: SOT 1501459 SOS 781452 HAS SOPS 450304 HAS SOUS 228235 HAS SOUPS 216669 WITH SCORE 217450.452
AT ITER 909 NEW BEST:: SOT 1501393 SOS 781375 HAS SOPS 450227 HAS SOUS 228158 HAS SOUPS 216592 WITH SCORE 217373.375
AT ITER 929 NEW BEST:: SOT 1500219 SOS 780201 HAS SOPS 449812 HAS SOUS 227772 HAS SOUPS 216207 WITH SCORE 216987.201
AT ITER 932 NEW BEST:: SOT 1500281 SOS 779918 HAS SOPS 449545 HAS SOUS 227662 HAS SOUPS 216097 WITH SCORE 216876.918
AT ITER 940 NEW BEST:: SOT 1500281 SOS 779804 HAS SOPS 449431 HAS SOUS 227662 HAS SOUPS 216097 WITH SCORE 216876.804
AT ITER 946 NEW BEST:: SOT 1500236 SOS 779716 HAS SOPS 448589 HAS SOUS 226677 HAS SOUPS 215112 WITH SCORE 215891.716
AT ITER 954 NEW BEST:: SOT 1500216 SOS 779653 HAS SOPS 448526 HAS SOUS 226614 HAS SOUPS 215049 WITH SCORE 215828.653
AT ITER 959 NEW BEST:: SOT 1500206 SOS 779643 HAS SOPS 448516 HAS SOUS 226604 HAS SOUPS 215039 WITH SCORE 215818.643
AT ITER 962 NEW BEST:: SOT 1500106 SOS 779569 HAS SOPS 448416 HAS SOUS 226504 HAS SOUPS 214939 WITH SCORE 215718.569
AT ITER 966 NEW BEST:: SOT 1500106 SOS 779635 HAS SOPS 448482 HAS SOUS 226482 HAS SOUPS 214917 WITH SCORE 215696.635
AT ITER 980 NEW BEST:: SOT 1500032 SOS 779971 HAS SOPS 448893 HAS SOUS 226365 HAS SOUPS 214796 WITH SCORE 215575.971
AT ITER 989 NEW BEST:: SOT 1500032 SOS 779795 HAS SOPS 448717 HAS SOUS 226365 HAS SOUPS 214796 WITH SCORE 215575.795
AT ITER 992 NEW BEST:: SOT 1499673 SOS 779626 HAS SOPS 448451 HAS SOUS 225764 HAS SOUPS 214195 WITH SCORE 214974.626
AT ITER 994 NEW BEST:: SOT 1499673 SOS 779532 HAS SOPS 448357 HAS SOUS 225752 HAS SOUPS 214183 WITH SCORE 214962.532
AT ITER 997 NEW BEST:: SOT 1499448 SOS 779312 HAS SOPS 448219 HAS SOUS 225614 HAS SOUPS 214045 WITH SCORE 214824.312
AT ITER 999 NEW BEST:: SOT 1499770 SOS 779634 HAS SOPS 448557 HAS SOUS 224879 HAS SOUPS 213312 WITH SCORE 214091.634
AT ITER 1001 NEW BEST:: SOT 1499521 SOS 779410 HAS SOPS 448420 HAS SOUS 224725 HAS SOUPS 213060 WITH SCORE 213839.41
AT ITER 1010 NEW BEST:: SOT 1499454 SOS 780871 HAS SOPS 450530 HAS SOUS 224718 HAS SOUPS 213053 WITH SCORE 213833.871
AT ITER 1013 NEW BEST:: SOT 1499454 SOS 780835 HAS SOPS 450494 HAS SOUS 224718 HAS SOUPS 213053 WITH SCORE 213833.835
AT ITER 1017 NEW BEST:: SOT 1499424 SOS 780520 HAS SOPS 450179 HAS SOUS 224658 HAS SOUPS 212993 WITH SCORE 213773.52
AT ITER 1020 NEW BEST:: SOT 1499424 SOS 780192 HAS SOPS 449851 HAS SOUS 224606 HAS SOUPS 212941 WITH SCORE 213721.192
AT ITER 1025 NEW BEST:: SOT 1499346 SOS 780036 HAS SOPS 449695 HAS SOUS 224450 HAS SOUPS 212785 WITH SCORE 213565.036
AT ITER 1038 NEW BEST:: SOT 1499346 SOS 779983 HAS SOPS 449642 HAS SOUS 224435 HAS SOUPS 212770 WITH SCORE 213549.983
AT ITER 1045 NEW BEST:: SOT 1499416 SOS 780058 HAS SOPS 449717 HAS SOUS 224420 HAS SOUPS 212755 WITH SCORE 213535.058
AT ITER 1046 NEW BEST:: SOT 1499416 SOS 779764 HAS SOPS 449423 HAS SOUS 224420 HAS SOUPS 212755 WITH SCORE 213534.764
AT ITER 1048 NEW BEST:: SOT 1499008 SOS 780916 HAS SOPS 449015 HAS SOUS 224234 HAS SOUPS 212539 WITH SCORE 213319.916
AT ITER 1049 NEW BEST:: SOT 1498998 SOS 780906 HAS SOPS 448995 HAS SOUS 224224 HAS SOUPS 212519 WITH SCORE 213299.906
AT ITER 1054 NEW BEST:: SOT 1498681 SOS 780629 HAS SOPS 448889 HAS SOUS 223752 HAS SOUPS 212047 WITH SCORE 212827.629
AT ITER 1057 NEW BEST:: SOT 1498664 SOS 779797 HAS SOPS 448057 HAS SOUS 223718 HAS SOUPS 212013 WITH SCORE 212792.797
AT ITER 1062 NEW BEST:: SOT 1498690 SOS 779273 HAS SOPS 447200 HAS SOUS 223415 HAS SOUPS 211710 WITH SCORE 212489.273
AT ITER 1064 NEW BEST:: SOT 1498639 SOS 779268 HAS SOPS 447195 HAS SOUS 223413 HAS SOUPS 211708 WITH SCORE 212487.268
AT ITER 1065 NEW BEST:: SOT 1498639 SOS 732811 HAS SOPS 443112 HAS SOUS 222719 HAS SOUPS 211199 WITH SCORE 211931.811
AT ITER 1070 NEW BEST:: SOT 1496992 SOS 736121 HAS SOPS 440544 HAS SOUS 221910 HAS SOUPS 210246 WITH SCORE 210982.121
AT ITER 1072 NEW BEST:: SOT 1496968 SOS 736097 HAS SOPS 440496 HAS SOUS 221886 HAS SOUPS 210198 WITH SCORE 210934.097
AT ITER 1075 NEW BEST:: SOT 1496890 SOS 736045 HAS SOPS 440531 HAS SOUS 221865 HAS SOUPS 210177 WITH SCORE 210913.045
AT ITER 1085 NEW BEST:: SOT 1496890 SOS 735721 HAS SOPS 440207 HAS SOUS 221865 HAS SOUPS 210177 WITH SCORE 210912.721
AT ITER 1097 NEW BEST:: SOT 1496883 SOS 735648 HAS SOPS 440134 HAS SOUS 221851 HAS SOUPS 210163 WITH SCORE 210898.648
AT ITER 1099 NEW BEST:: SOT 1496771 SOS 735474 HAS SOPS 439960 HAS SOUS 221620 HAS SOUPS 209932 WITH SCORE 210667.474
AT ITER 1113 NEW BEST:: SOT 1496664 SOS 735202 HAS SOPS 439688 HAS SOUS 221486 HAS SOUPS 209798 WITH SCORE 210533.202
AT ITER 1117 NEW BEST:: SOT 1496404 SOS 734929 HAS SOPS 439376 HAS SOUS 221346 HAS SOUPS 209655 WITH SCORE 210389.929
AT ITER 1130 NEW BEST:: SOT 1496380 SOS 734935 HAS SOPS 439382 HAS SOUS 221287 HAS SOUPS 209596 WITH SCORE 210330.935
AT ITER 1136 NEW BEST:: SOT 1496348 SOS 734877 HAS SOPS 439324 HAS SOUS 221223 HAS SOUPS 209532 WITH SCORE 210266.877
AT ITER 1161 NEW BEST:: SOT 1496338 SOS 734881 HAS SOPS 439328 HAS SOUS 221203 HAS SOUPS 209512 WITH SCORE 210246.881
AT ITER 1170 NEW BEST:: SOT 1496313 SOS 734838 HAS SOPS 439285 HAS SOUS 221160 HAS SOUPS 209469 WITH SCORE 210203.838
AT ITER 1175 NEW BEST:: SOT 1496313 SOS 734832 HAS SOPS 439279 HAS SOUS 221160 HAS SOUPS 209469 WITH SCORE 210203.832
AT ITER 1189 NEW BEST:: SOT 1496291 SOS 734810 HAS SOPS 439257 HAS SOUS 221138 HAS SOUPS 209447 WITH SCORE 210181.81
AT ITER 1195 NEW BEST:: SOT 1496214 SOS 733363 HAS SOPS 437810 HAS SOUS 221129 HAS SOUPS 209438 WITH SCORE 210171.363
AT ITER 1197 NEW BEST:: SOT 1496214 SOS 733219 HAS SOPS 437666 HAS SOUS 221050 HAS SOUPS 209359 WITH SCORE 210092.219
AT ITER 1199 NEW BEST:: SOT 1496214 SOS 733204 HAS SOPS 437651 HAS SOUS 221050 HAS SOUPS 209359 WITH SCORE 210092.204
AT ITER 1200 NEW BEST:: SOT 1496120 SOS 733263 HAS SOPS 437710 HAS SOUS 221043 HAS SOUPS 209352 WITH SCORE 210085.263
AT ITER 1205 NEW BEST:: SOT 1496528 SOS 733667 HAS SOPS 438224 HAS SOUS 220851 HAS SOUPS 209160 WITH SCORE 209893.667
AT ITER 1207 NEW BEST:: SOT 1496682 SOS 733891 HAS SOPS 438130 HAS SOUS 221035 HAS SOUPS 209066 WITH SCORE 209799.891
AT ITER 1224 NEW BEST:: SOT 1496455 SOS 733664 HAS SOPS 437835 HAS SOUS 220830 HAS SOUPS 208763 WITH SCORE 209496.664
AT ITER 1240 NEW BEST:: SOT 1502569 SOS 739963 HAS SOPS 444340 HAS SOUS 220641 HAS SOUPS 208574 WITH SCORE 209313.963
AT ITER 1244 NEW BEST:: SOT 1502569 SOS 739877 HAS SOPS 444254 HAS SOUS 220641 HAS SOUPS 208574 WITH SCORE 209313.877
AT ITER 1245 NEW BEST:: SOT 1502569 SOS 739785 HAS SOPS 444162 HAS SOUS 220641 HAS SOUPS 208574 WITH SCORE 209313.785
AT ITER 1250 NEW BEST:: SOT 1502331 SOS 739304 HAS SOPS 443681 HAS SOUS 220499 HAS SOUPS 208432 WITH SCORE 209171.304
AT ITER 1251 NEW BEST:: SOT 1502156 SOS 739632 HAS SOPS 443660 HAS SOUS 220097 HAS SOUPS 208030 WITH SCORE 208769.632
AT ITER 1255 NEW BEST:: SOT 1502150 SOS 739592 HAS SOPS 443620 HAS SOUS 220085 HAS SOUPS 208018 WITH SCORE 208757.592
AT ITER 1277 NEW BEST:: SOT 1502325 SOS 740074 HAS SOPS 444019 HAS SOUS 220057 HAS SOUPS 207990 WITH SCORE 208730.074
AT ITER 1281 NEW BEST:: SOT 1499533 SOS 737310 HAS SOPS 440068 HAS SOUS 220150 HAS SOUPS 207781 WITH SCORE 208518.31
AT ITER 1288 NEW BEST:: SOT 1499510 SOS 737287 HAS SOPS 440045 HAS SOUS 220127 HAS SOUPS 207758 WITH SCORE 208495.287
AT ITER 1290 NEW BEST:: SOT 1499773 SOS 735894 HAS SOPS 440151 HAS SOUS 219878 HAS SOUPS 207728 WITH SCORE 208463.894
AT ITER 1294 NEW BEST:: SOT 1499701 SOS 735750 HAS SOPS 440007 HAS SOUS 219734 HAS SOUPS 207584 WITH SCORE 208319.75
AT ITER 1296 NEW BEST:: SOT 1499677 SOS 735339 HAS SOPS 439596 HAS SOUS 219686 HAS SOUPS 207536 WITH SCORE 208271.339
AT ITER 1306 NEW BEST:: SOT 1499698 SOS 735192 HAS SOPS 439449 HAS SOUS 219686 HAS SOUPS 207536 WITH SCORE 208271.192
AT ITER 1327 NEW BEST:: SOT 1500910 SOS 736404 HAS SOPS 440661 HAS SOUS 219046 HAS SOUPS 206896 WITH SCORE 207632.404
AT ITER 1332 NEW BEST:: SOT 1500808 SOS 736114 HAS SOPS 440371 HAS SOUS 218756 HAS SOUPS 206606 WITH SCORE 207342.114
AT ITER 1334 NEW BEST:: SOT 1500807 SOS 736111 HAS SOPS 440370 HAS SOUS 218754 HAS SOUPS 206606 WITH SCORE 207342.111
AT ITER 1352 NEW BEST:: SOT 1500807 SOS 736039 HAS SOPS 440298 HAS SOUS 218746 HAS SOUPS 206598 WITH SCORE 207334.039
AT ITER 1364 NEW BEST:: SOT 1500769 SOS 735982 HAS SOPS 440241 HAS SOUS 218708 HAS SOUPS 206560 WITH SCORE 207295.982
AT ITER 1368 NEW BEST:: SOT 1500769 SOS 735966 HAS SOPS 440241 HAS SOUS 218700 HAS SOUPS 206552 WITH SCORE 207287.966
AT ITER 1379 NEW BEST:: SOT 1500657 SOS 735840 HAS SOPS 440087 HAS SOUS 218658 HAS SOUPS 206510 WITH SCORE 207245.84
AT ITER 1381 NEW BEST:: SOT 1500623 SOS 734339 HAS SOPS 438586 HAS SOUS 218499 HAS SOUPS 206351 WITH SCORE 207085.339
AT ITER 1384 NEW BEST:: SOT 1500774 SOS 734472 HAS SOPS 438893 HAS SOUS 218356 HAS SOUPS 206208 WITH SCORE 206942.472
AT ITER 1387 NEW BEST:: SOT 1500840 SOS 734565 HAS SOPS 439007 HAS SOUS 218278 HAS SOUPS 206130 WITH SCORE 206864.565
AT ITER 1390 NEW BEST:: SOT 1499402 SOS 746611 HAS SOPS 437234 HAS SOUS 218506 HAS SOUPS 206114 WITH SCORE 206860.611
AT ITER 1399 NEW BEST:: SOT 1499342 SOS 746593 HAS SOPS 437514 HAS SOUS 218488 HAS SOUPS 206096 WITH SCORE 206842.593
AT ITER 1401 NEW BEST:: SOT 1499249 SOS 746461 HAS SOPS 437382 HAS SOUS 218302 HAS SOUPS 205910 WITH SCORE 206656.461
AT ITER 1418 NEW BEST:: SOT 1499268 SOS 746043 HAS SOPS 436964 HAS SOUS 218261 HAS SOUPS 205869 WITH SCORE 206615.043
AT ITER 1422 NEW BEST:: SOT 1499056 SOS 745794 HAS SOPS 436715 HAS SOUS 218137 HAS SOUPS 205745 WITH SCORE 206490.794
AT ITER 1436 NEW BEST:: SOT 1499056 SOS 745747 HAS SOPS 436621 HAS SOUS 218043 HAS SOUPS 205651 WITH SCORE 206396.747
AT ITER 1450 NEW BEST:: SOT 1499026 SOS 745687 HAS SOPS 436561 HAS SOUS 218043 HAS SOUPS 205651 WITH SCORE 206396.687
AT ITER 1452 NEW BEST:: SOT 1499026 SOS 745689 HAS SOPS 436561 HAS SOUS 218041 HAS SOUPS 205649 WITH SCORE 206394.689
AT ITER 1454 NEW BEST:: SOT 1497927 SOS 744433 HAS SOPS 436561 HAS SOUS 218041 HAS SOUPS 205649 WITH SCORE 206393.433
AT ITER 1475 NEW BEST:: SOT 1497927 SOS 744368 HAS SOPS 436496 HAS SOUS 217982 HAS SOUPS 205590 WITH SCORE 206334.368
AT ITER 1481 NEW BEST:: SOT 1497827 SOS 743520 HAS SOPS 435648 HAS SOUS 217782 HAS SOUPS 205390 WITH SCORE 206133.52
AT ITER 1494 NEW BEST:: SOT 1497778 SOS 743471 HAS SOPS 435543 HAS SOUS 217770 HAS SOUPS 205334 WITH SCORE 206077.471
AT ITER 1496 NEW BEST:: SOT 1497913 SOS 743606 HAS SOPS 435555 HAS SOUS 217604 HAS SOUPS 205168 WITH SCORE 205911.606
AT ITER 1503 NEW BEST:: SOT 1497913 SOS 743340 HAS SOPS 435289 HAS SOUS 217591 HAS SOUPS 205155 WITH SCORE 205898.34
AT ITER 1506 NEW BEST:: SOT 1497904 SOS 743331 HAS SOPS 435025 HAS SOUS 217437 HAS SOUPS 205001 WITH SCORE 205744.331
AT ITER 1514 NEW BEST:: SOT 1497904 SOS 743109 HAS SOPS 434803 HAS SOUS 217437 HAS SOUPS 205001 WITH SCORE 205744.109
AT ITER 1515 NEW BEST:: SOT 1496938 SOS 742049 HAS SOPS 434093 HAS SOUS 216714 HAS SOUPS 204291 WITH SCORE 205033.049
AT ITER 1526 NEW BEST:: SOT 1496976 SOS 742217 HAS SOPS 434068 HAS SOUS 216646 HAS SOUPS 204201 WITH SCORE 204943.217
AT ITER 1536 NEW BEST:: SOT 1496965 SOS 741811 HAS SOPS 433662 HAS SOUS 216624 HAS SOUPS 204179 WITH SCORE 204920.811
AT ITER 1538 NEW BEST:: SOT 1496863 SOS 741627 HAS SOPS 432702 HAS SOUS 216464 HAS SOUPS 203911 WITH SCORE 204652.627
AT ITER 1555 NEW BEST:: SOT 1496861 SOS 741623 HAS SOPS 432698 HAS SOUS 216460 HAS SOUPS 203907 WITH SCORE 204648.623
AT ITER 1572 NEW BEST:: SOT 1496659 SOS 741167 HAS SOPS 432242 HAS SOUS 216254 HAS SOUPS 203701 WITH SCORE 204442.167
AT ITER 1574 NEW BEST:: SOT 1496572 SOS 740983 HAS SOPS 432058 HAS SOUS 216179 HAS SOUPS 203626 WITH SCORE 204366.983
AT ITER 1592 NEW BEST:: SOT 1496499 SOS 740641 HAS SOPS 431667 HAS SOUS 215918 HAS SOUPS 203365 WITH SCORE 204105.641
AT ITER 1596 NEW BEST:: SOT 1496499 SOS 740620 HAS SOPS 431646 HAS SOUS 215918 HAS SOUPS 203365 WITH SCORE 204105.62
AT ITER 1598 NEW BEST:: SOT 1496487 SOS 740596 HAS SOPS 431592 HAS SOUS 215879 HAS SOUPS 203311 WITH SCORE 204051.596
AT ITER 1621 NEW BEST:: SOT 1496590 SOS 740723 HAS SOPS 431678 HAS SOUS 215838 HAS SOUPS 203294 WITH SCORE 204034.723
AT ITER 1648 NEW BEST:: SOT 1496524 SOS 740657 HAS SOPS 431546 HAS SOUS 215706 HAS SOUPS 203162 WITH SCORE 203902.657
AT ITER 1650 NEW BEST:: SOT 1496257 SOS 740722 HAS SOPS 431773 HAS SOUS 215558 HAS SOUPS 203014 WITH SCORE 203754.722
AT ITER 1652 NEW BEST:: SOT 1495148 SOS 740521 HAS SOPS 432103 HAS SOUS 214764 HAS SOUPS 202220 WITH SCORE 202960.521
AT ITER 1656 NEW BEST:: SOT 1495158 SOS 740531 HAS SOPS 431965 HAS SOUS 214626 HAS SOUPS 202082 WITH SCORE 202822.531
AT ITER 1669 NEW BEST:: SOT 1495142 SOS 740605 HAS SOPS 431942 HAS SOUS 214591 HAS SOUPS 202059 WITH SCORE 202799.605
AT ITER 1691 NEW BEST:: SOT 1492802 SOS 738250 HAS SOPS 429324 HAS SOUS 214651 HAS SOUPS 201856 WITH SCORE 202594.25
AT ITER 1692 NEW BEST:: SOT 1492636 SOS 738558 HAS SOPS 430378 HAS SOUS 214521 HAS SOUPS 201726 WITH SCORE 202464.558
AT ITER 1704 NEW BEST:: SOT 1492668 SOS 738390 HAS SOPS 430210 HAS SOUS 214466 HAS SOUPS 201671 WITH SCORE 202409.39
AT ITER 1713 NEW BEST:: SOT 1492667 SOS 738382 HAS SOPS 430202 HAS SOUS 214464 HAS SOUPS 201669 WITH SCORE 202407.382
AT ITER 1715 NEW BEST:: SOT 1492639 SOS 738344 HAS SOPS 430164 HAS SOUS 214426 HAS SOUPS 201631 WITH SCORE 202369.344
AT ITER 1718 NEW BEST:: SOT 1492584 SOS 738286 HAS SOPS 430051 HAS SOUS 214371 HAS SOUPS 201576 WITH SCORE 202314.286
AT ITER 1721 NEW BEST:: SOT 1491998 SOS 737700 HAS SOPS 429465 HAS SOUS 213785 HAS SOUPS 200990 WITH SCORE 201727.7
AT ITER 1723 NEW BEST:: SOT 1491724 SOS 737450 HAS SOPS 429215 HAS SOUS 213595 HAS SOUPS 200800 WITH SCORE 201537.45
AT ITER 1725 NEW BEST:: SOT 1491714 SOS 736774 HAS SOPS 428539 HAS SOUS 213575 HAS SOUPS 200780 WITH SCORE 201516.774
AT ITER 1728 NEW BEST:: SOT 1493863 SOS 738223 HAS SOPS 411458 HAS SOUS 213561 HAS SOUPS 200766 WITH SCORE 201504.223
AT ITER 1729 NEW BEST:: SOT 1494241 SOS 738553 HAS SOPS 410765 HAS SOUS 212412 HAS SOUPS 199617 WITH SCORE 200355.553
AT ITER 1738 NEW BEST:: SOT 1494230 SOS 738500 HAS SOPS 410712 HAS SOUS 212359 HAS SOUPS 199564 WITH SCORE 200302.5
AT ITER 1745 NEW BEST:: SOT 1494146 SOS 738260 HAS SOPS 410544 HAS SOUS 212191 HAS SOUPS 199396 WITH SCORE 200134.26
AT ITER 1748 NEW BEST:: SOT 1494063 SOS 738119 HAS SOPS 410461 HAS SOUS 212083 HAS SOUPS 199288 WITH SCORE 200026.119
AT ITER 1754 NEW BEST:: SOT 1493867 SOS 737863 HAS SOPS 410587 HAS SOUS 211854 HAS SOUPS 199142 WITH SCORE 199879.863
AT ITER 1758 NEW BEST:: SOT 1493784 SOS 737594 HAS SOPS 410318 HAS SOUS 211659 HAS SOUPS 198947 WITH SCORE 199684.594
AT ITER 1759 NEW BEST:: SOT 1493743 SOS 737520 HAS SOPS 410244 HAS SOUS 211626 HAS SOUPS 198914 WITH SCORE 199651.52
AT ITER 1761 NEW BEST:: SOT 1493743 SOS 737454 HAS SOPS 410178 HAS SOUS 211593 HAS SOUPS 198881 WITH SCORE 199618.454
AT ITER 1769 NEW BEST:: SOT 1493737 SOS 737646 HAS SOPS 410262 HAS SOUS 211511 HAS SOUPS 198799 WITH SCORE 199536.646
AT ITER 1773 NEW BEST:: SOT 1493737 SOS 737043 HAS SOPS 409659 HAS SOUS 211444 HAS SOUPS 198732 WITH SCORE 199469.043
AT ITER 1777 NEW BEST:: SOT 1493728 SOS 736899 HAS SOPS 409515 HAS SOUS 211426 HAS SOUPS 198714 WITH SCORE 199450.899
AT ITER 1782 NEW BEST:: SOT 1493708 SOS 736601 HAS SOPS 409217 HAS SOUS 211386 HAS SOUPS 198674 WITH SCORE 199410.601
AT ITER 1785 NEW BEST:: SOT 1497015 SOS 740387 HAS SOPS 411596 HAS SOUS 210867 HAS SOUPS 198155 WITH SCORE 198895.387
AT ITER 1786 NEW BEST:: SOT 1496981 SOS 740312 HAS SOPS 411521 HAS SOUS 210833 HAS SOUPS 198121 WITH SCORE 198861.312
AT ITER 1792 NEW BEST:: SOT 1496954 SOS 740312 HAS SOPS 411494 HAS SOUS 210806 HAS SOUPS 198094 WITH SCORE 198834.312
AT ITER 1797 NEW BEST:: SOT 1496805 SOS 740322 HAS SOPS 411621 HAS SOUS 210656 HAS SOUPS 197944 WITH SCORE 198684.322
AT ITER 1802 NEW BEST:: SOT 1496805 SOS 739885 HAS SOPS 411624 HAS SOUS 210665 HAS SOUPS 197943 WITH SCORE 198682.885
AT ITER 1816 NEW BEST:: SOT 1496730 SOS 739735 HAS SOPS 411474 HAS SOUS 210624 HAS SOUPS 197902 WITH SCORE 198641.735
AT ITER 1818 NEW BEST:: SOT 1496710 SOS 739695 HAS SOPS 411434 HAS SOUS 210611 HAS SOUPS 197889 WITH SCORE 198628.695
AT ITER 1822 NEW BEST:: SOT 1496574 SOS 739559 HAS SOPS 411248 HAS SOUS 210491 HAS SOUPS 197683 WITH SCORE 198422.559
AT ITER 1825 NEW BEST:: SOT 1496525 SOS 740730 HAS SOPS 412368 HAS SOUS 210437 HAS SOUPS 197629 WITH SCORE 198369.73
AT ITER 1829 NEW BEST:: SOT 1496505 SOS 740737 HAS SOPS 412355 HAS SOUS 210350 HAS SOUPS 197542 WITH SCORE 198282.737
AT ITER 1836 NEW BEST:: SOT 1496332 SOS 741718 HAS SOPS 413905 HAS SOUS 210025 HAS SOUPS 197195 WITH SCORE 197936.718
AT ITER 1842 NEW BEST:: SOT 1496332 SOS 741706 HAS SOPS 413893 HAS SOUS 210025 HAS SOUPS 197195 WITH SCORE 197936.706
AT ITER 1844 NEW BEST:: SOT 1496330 SOS 741702 HAS SOPS 413889 HAS SOUS 210022 HAS SOUPS 197192 WITH SCORE 197933.702
AT ITER 1851 NEW BEST:: SOT 1496272 SOS 741586 HAS SOPS 413773 HAS SOUS 209964 HAS SOUPS 197134 WITH SCORE 197875.586
AT ITER 1854 NEW BEST:: SOT 1496197 SOS 740986 HAS SOPS 413173 HAS SOUS 209814 HAS SOUPS 196984 WITH SCORE 197724.986
AT ITER 1870 NEW BEST:: SOT 1496185 SOS 740962 HAS SOPS 413149 HAS SOUS 209790 HAS SOUPS 196960 WITH SCORE 197700.962
AT ITER 1880 NEW BEST:: SOT 1495458 SOS 740156 HAS SOPS 412343 HAS SOUS 209685 HAS SOUPS 196855 WITH SCORE 197595.156
AT ITER 1883 NEW BEST:: SOT 1495426 SOS 740125 HAS SOPS 412312 HAS SOUS 209654 HAS SOUPS 196824 WITH SCORE 197564.125
AT ITER 1885 NEW BEST:: SOT 1495406 SOS 740105 HAS SOPS 412272 HAS SOUS 209614 HAS SOUPS 196784 WITH SCORE 197524.105
AT ITER 1890 NEW BEST:: SOT 1495406 SOS 739969 HAS SOPS 412136 HAS SOUS 209614 HAS SOUPS 196784 WITH SCORE 197523.969
AT ITER 1902 NEW BEST:: SOT 1495406 SOS 739953 HAS SOPS 412120 HAS SOUS 209614 HAS SOUPS 196784 WITH SCORE 197523.953
AT ITER 1904 NEW BEST:: SOT 1495351 SOS 739381 HAS SOPS 411548 HAS SOUS 209504 HAS SOUPS 196674 WITH SCORE 197413.381
AT ITER 1921 NEW BEST:: SOT 1495351 SOS 739381 HAS SOPS 411548 HAS SOUS 209019 HAS SOUPS 196189 WITH SCORE 196928.381
AT ITER 1933 NEW BEST:: SOT 1495371 SOS 739711 HAS SOPS 411878 HAS SOUS 208967 HAS SOUPS 196137 WITH SCORE 196876.711
AT ITER 1937 NEW BEST:: SOT 1495468 SOS 739701 HAS SOPS 411868 HAS SOUS 208957 HAS SOUPS 196127 WITH SCORE 196866.701
AT ITER 1947 NEW BEST:: SOT 1495214 SOS 740604 HAS SOPS 413267 HAS SOUS 208807 HAS SOUPS 195977 WITH SCORE 196717.604
AT ITER 1949 NEW BEST:: SOT 1495214 SOS 740474 HAS SOPS 413137 HAS SOUS 208807 HAS SOUPS 195977 WITH SCORE 196717.474
AT ITER 1953 NEW BEST:: SOT 1495192 SOS 740364 HAS SOPS 413027 HAS SOUS 208785 HAS SOUPS 195955 WITH SCORE 196695.364
AT ITER 1955 NEW BEST:: SOT 1495307 SOS 740481 HAS SOPS 413081 HAS SOUS 208740 HAS SOUPS 195910 WITH SCORE 196650.481
AT ITER 1963 NEW BEST:: SOT 1495275 SOS 740417 HAS SOPS 413017 HAS SOUS 208676 HAS SOUPS 195846 WITH SCORE 196586.417
AT ITER 1969 NEW BEST:: SOT 1495324 SOS 739449 HAS SOPS 413192 HAS SOUS 208452 HAS SOUPS 195750 WITH SCORE 196489.449
AT ITER 1973 NEW BEST:: SOT 1495244 SOS 739369 HAS SOPS 413268 HAS SOUS 208441 HAS SOUPS 195739 WITH SCORE 196478.369
AT ITER 1979 NEW BEST:: SOT 1495228 SOS 739345 HAS SOPS 413236 HAS SOUS 208409 HAS SOUPS 195707 WITH SCORE 196446.345
AT ITER 1984 NEW BEST:: SOT 1495228 SOS 739106 HAS SOPS 412997 HAS SOUS 208340 HAS SOUPS 195638 WITH SCORE 196377.106
AT ITER 1994 NEW BEST:: SOT 1495152 SOS 739161 HAS SOPS 413052 HAS SOUS 208264 HAS SOUPS 195562 WITH SCORE 196301.161
AT ITER 1996 NEW BEST:: SOT 1495098 SOS 739050 HAS SOPS 412941 HAS SOUS 208217 HAS SOUPS 195515 WITH SCORE 196254.05
AT ITER 2003 NEW BEST:: SOT 1495070 SOS 738938 HAS SOPS 412829 HAS SOUS 208189 HAS SOUPS 195487 WITH SCORE 196225.938
AT ITER 2008 NEW BEST:: SOT 1495070 SOS 738937 HAS SOPS 412828 HAS SOUS 208189 HAS SOUPS 195487 WITH SCORE 196225.937
AT ITER 2012 NEW BEST:: SOT 1495062 SOS 738897 HAS SOPS 412788 HAS SOUS 208181 HAS SOUPS 195479 WITH SCORE 196217.897
AT ITER 2040 NEW BEST:: SOT 1494945 SOS 738684 HAS SOPS 412737 HAS SOUS 208052 HAS SOUPS 195350 WITH SCORE 196088.684
AT ITER 2043 NEW BEST:: SOT 1494924 SOS 738426 HAS SOPS 412479 HAS SOUS 208010 HAS SOUPS 195308 WITH SCORE 196046.426
AT ITER 2046 NEW BEST:: SOT 1494853 SOS 738510 HAS SOPS 412563 HAS SOUS 207862 HAS SOUPS 195160 WITH SCORE 195898.51
AT ITER 2050 NEW BEST:: SOT 1494847 SOS 738508 HAS SOPS 412561 HAS SOUS 207850 HAS SOUPS 195148 WITH SCORE 195886.508
AT ITER 2057 NEW BEST:: SOT 1494782 SOS 738248 HAS SOPS 412301 HAS SOUS 207720 HAS SOUPS 195018 WITH SCORE 195756.248
AT ITER 2069 NEW BEST:: SOT 1494542 SOS 737643 HAS SOPS 411889 HAS SOUS 207580 HAS SOUPS 194878 WITH SCORE 195615.643
AT ITER 2080 NEW BEST:: SOT 1494472 SOS 737578 HAS SOPS 411824 HAS SOUS 207515 HAS SOUPS 194813 WITH SCORE 195550.578
AT ITER 2087 NEW BEST:: SOT 1494335 SOS 737425 HAS SOPS 411671 HAS SOUS 207393 HAS SOUPS 194691 WITH SCORE 195428.425
AT ITER 2105 NEW BEST:: SOT 1494261 SOS 737351 HAS SOPS 411597 HAS SOUS 207253 HAS SOUPS 194551 WITH SCORE 195288.351
AT ITER 2131 NEW BEST:: SOT 1494378 SOS 737722 HAS SOPS 411635 HAS SOUS 207229 HAS SOUPS 194527 WITH SCORE 195264.722
AT ITER 2135 NEW BEST:: SOT 1494348 SOS 737842 HAS SOPS 411755 HAS SOUS 207169 HAS SOUPS 194467 WITH SCORE 195204.842
AT ITER 2142 NEW BEST:: SOT 1494333 SOS 737812 HAS SOPS 411725 HAS SOUS 207169 HAS SOUPS 194467 WITH SCORE 195204.812
AT ITER 2150 NEW BEST:: SOT 1494339 SOS 737819 HAS SOPS 411729 HAS SOUS 207168 HAS SOUPS 194466 WITH SCORE 195203.819
AT ITER 2152 NEW BEST:: SOT 1494262 SOS 737648 HAS SOPS 411558 HAS SOUS 207091 HAS SOUPS 194389 WITH SCORE 195126.648
AT ITER 2161 NEW BEST:: SOT 1493686 SOS 737691 HAS SOPS 441781 HAS SOUS 206595 HAS SOUPS 193893 WITH SCORE 194630.691
AT ITER 2167 NEW BEST:: SOT 1493684 SOS 737687 HAS SOPS 442035 HAS SOUS 206537 HAS SOUPS 193835 WITH SCORE 194572.687
AT ITER 2169 NEW BEST:: SOT 1493455 SOS 737421 HAS SOPS 441821 HAS SOUS 206323 HAS SOUPS 193621 WITH SCORE 194358.421
AT ITER 2179 NEW BEST:: SOT 1493438 SOS 737421 HAS SOPS 441741 HAS SOUS 206243 HAS SOUPS 193541 WITH SCORE 194278.421
AT ITER 2183 NEW BEST:: SOT 1493459 SOS 737412 HAS SOPS 441300 HAS SOUS 206219 HAS SOUPS 193508 WITH SCORE 194245.412
AT ITER 2198 NEW BEST:: SOT 1493355 SOS 737221 HAS SOPS 440894 HAS SOUS 206113 HAS SOUPS 193297 WITH SCORE 194034.221
AT ITER 2224 NEW BEST:: SOT 1493351 SOS 737211 HAS SOPS 440884 HAS SOUS 206105 HAS SOUPS 193289 WITH SCORE 194026.211
AT ITER 2226 NEW BEST:: SOT 1493349 SOS 737196 HAS SOPS 440880 HAS SOUS 206160 HAS SOUPS 193285 WITH SCORE 194022.196
AT ITER 2229 NEW BEST:: SOT 1493441 SOS 737118 HAS SOPS 440847 HAS SOUS 206127 HAS SOUPS 193252 WITH SCORE 193989.118
AT ITER 2233 NEW BEST:: SOT 1493441 SOS 737148 HAS SOPS 440877 HAS SOUS 206117 HAS SOUPS 193242 WITH SCORE 193979.148
AT ITER 2234 NEW BEST:: SOT 1493435 SOS 737136 HAS SOPS 440865 HAS SOUS 206099 HAS SOUPS 193224 WITH SCORE 193961.136
AT ITER 2241 NEW BEST:: SOT 1493335 SOS 737132 HAS SOPS 440861 HAS SOUS 205974 HAS SOUPS 193099 WITH SCORE 193836.132
AT ITER 2243 NEW BEST:: SOT 1493328 SOS 737118 HAS SOPS 440847 HAS SOUS 205960 HAS SOUPS 193085 WITH SCORE 193822.118
AT ITER 2244 NEW BEST:: SOT 1493323 SOS 737108 HAS SOPS 440842 HAS SOUS 205955 HAS SOUPS 193080 WITH SCORE 193817.108
AT ITER 2250 NEW BEST:: SOT 1492108 SOS 742446 HAS SOPS 439764 HAS SOUS 205873 HAS SOUPS 192842 WITH SCORE 193584.446
AT ITER 2261 NEW BEST:: SOT 1492050 SOS 742214 HAS SOPS 439532 HAS SOUS 205815 HAS SOUPS 192784 WITH SCORE 193526.214
AT ITER 2267 NEW BEST:: SOT 1491963 SOS 740228 HAS SOPS 437546 HAS SOUS 205763 HAS SOUPS 192732 WITH SCORE 193472.228
AT ITER 2270 NEW BEST:: SOT 1492254 SOS 740720 HAS SOPS 438130 HAS SOUS 205676 HAS SOUPS 192645 WITH SCORE 193385.72
AT ITER 2288 NEW BEST:: SOT 1492390 SOS 740891 HAS SOPS 438411 HAS SOUS 205602 HAS SOUPS 192571 WITH SCORE 193311.891
AT ITER 2292 NEW BEST:: SOT 1492343 SOS 740797 HAS SOPS 438317 HAS SOUS 205508 HAS SOUPS 192477 WITH SCORE 193217.797
AT ITER 2293 NEW BEST:: SOT 1492267 SOS 740606 HAS SOPS 438165 HAS SOUS 205401 HAS SOUPS 192370 WITH SCORE 193110.606
AT ITER 2300 NEW BEST:: SOT 1493953 SOS 742417 HAS SOPS 435188 HAS SOUS 201972 HAS SOUPS 188938 WITH SCORE 189680.417
AT ITER 2306 NEW BEST:: SOT 1494226 SOS 742583 HAS SOPS 435354 HAS SOUS 201813 HAS SOUPS 188779 WITH SCORE 189521.583
AT ITER 2308 NEW BEST:: SOT 1494138 SOS 742491 HAS SOPS 435178 HAS SOUS 201803 HAS SOUPS 188769 WITH SCORE 189511.491
AT ITER 2318 NEW BEST:: SOT 1494208 SOS 742596 HAS SOPS 435283 HAS SOUS 201778 HAS SOUPS 188744 WITH SCORE 189486.596
AT ITER 2320 NEW BEST:: SOT 1494166 SOS 742512 HAS SOPS 435199 HAS SOUS 201694 HAS SOUPS 188660 WITH SCORE 189402.512
AT ITER 2342 NEW BEST:: SOT 1494315 SOS 742114 HAS SOPS 434650 HAS SOUS 201613 HAS SOUPS 188579 WITH SCORE 189321.114
AT ITER 2343 NEW BEST:: SOT 1494320 SOS 743512 HAS SOPS 436448 HAS SOUS 201533 HAS SOUPS 188499 WITH SCORE 189242.512
AT ITER 2347 NEW BEST:: SOT 1494168 SOS 743360 HAS SOPS 436280 HAS SOUS 201413 HAS SOUPS 188362 WITH SCORE 189105.36
AT ITER 2348 NEW BEST:: SOT 1494094 SOS 743475 HAS SOPS 436392 HAS SOUS 201318 HAS SOUPS 188267 WITH SCORE 189010.475
AT ITER 2351 NEW BEST:: SOT 1494062 SOS 743399 HAS SOPS 436356 HAS SOUS 201250 HAS SOUPS 188199 WITH SCORE 188942.399
AT ITER 2356 NEW BEST:: SOT 1494013 SOS 743355 HAS SOPS 436312 HAS SOUS 201206 HAS SOUPS 188155 WITH SCORE 188898.355
AT ITER 2377 NEW BEST:: SOT 1494061 SOS 743308 HAS SOPS 436265 HAS SOUS 201076 HAS SOUPS 188025 WITH SCORE 188768.308
AT ITER 2381 NEW BEST:: SOT 1494061 SOS 743143 HAS SOPS 436100 HAS SOUS 200954 HAS SOUPS 187903 WITH SCORE 188646.143
AT ITER 2391 NEW BEST:: SOT 1494060 SOS 743140 HAS SOPS 436097 HAS SOUS 200952 HAS SOUPS 187901 WITH SCORE 188644.14
AT ITER 2397 NEW BEST:: SOT 1491907 SOS 740987 HAS SOPS 433264 HAS SOUS 200237 HAS SOUPS 187186 WITH SCORE 187926.987
AT ITER 2402 NEW BEST:: SOT 1491907 SOS 740984 HAS SOPS 433261 HAS SOUS 200237 HAS SOUPS 187186 WITH SCORE 187926.984
AT ITER 2420 NEW BEST:: SOT 1491857 SOS 740748 HAS SOPS 433067 HAS SOUS 200184 HAS SOUPS 187133 WITH SCORE 187873.748
AT ITER 2422 NEW BEST:: SOT 1491784 SOS 740780 HAS SOPS 433026 HAS SOUS 200143 HAS SOUPS 187092 WITH SCORE 187832.78
AT ITER 2427 NEW BEST:: SOT 1491756 SOS 740500 HAS SOPS 432746 HAS SOUS 200087 HAS SOUPS 187036 WITH SCORE 187776.5
AT ITER 2438 NEW BEST:: SOT 1491722 SOS 740150 HAS SOPS 432396 HAS SOUS 200019 HAS SOUPS 186968 WITH SCORE 187708.15
AT ITER 2458 NEW BEST:: SOT 1491712 SOS 740557 HAS SOPS 432803 HAS SOUS 199999 HAS SOUPS 186948 WITH SCORE 187688.557
AT ITER 2465 NEW BEST:: SOT 1491660 SOS 740502 HAS SOPS 432790 HAS SOUS 199986 HAS SOUPS 186935 WITH SCORE 187675.502
AT ITER 2473 NEW BEST:: SOT 1491673 SOS 740359 HAS SOPS 432637 HAS SOUS 199839 HAS SOUPS 186788 WITH SCORE 187528.359
AT ITER 2484 NEW BEST:: SOT 1491531 SOS 740053 HAS SOPS 432353 HAS SOUS 199613 HAS SOUPS 186562 WITH SCORE 187302.053
AT ITER 2495 NEW BEST:: SOT 1491423 SOS 739981 HAS SOPS 432227 HAS SOUS 199588 HAS SOUPS 186537 WITH SCORE 187276.981
AT ITER 2497 NEW BEST:: SOT 1491411 SOS 739537 HAS SOPS 431783 HAS SOUS 199564 HAS SOUPS 186513 WITH SCORE 187252.537
AT ITER 2498 NEW BEST:: SOT 1491396 SOS 739374 HAS SOPS 431620 HAS SOUS 199527 HAS SOUPS 186476 WITH SCORE 187215.374
AT ITER 2503 NEW BEST:: SOT 1491417 SOS 739369 HAS SOPS 431583 HAS SOUS 199490 HAS SOUPS 186439 WITH SCORE 187178.369
AT ITER 2514 NEW BEST:: SOT 1492177 SOS 740129 HAS SOPS 432383 HAS SOUS 199485 HAS SOUPS 186434 WITH SCORE 187174.129
AT ITER 2529 NEW BEST:: SOT 1492166 SOS 740114 HAS SOPS 432361 HAS SOUS 199463 HAS SOUPS 186412 WITH SCORE 187152.114
AT ITER 2540 NEW BEST:: SOT 1492306 SOS 739946 HAS SOPS 431987 HAS SOUS 199450 HAS SOUPS 186399 WITH SCORE 187138.946
AT ITER 2543 NEW BEST:: SOT 1492166 SOS 739799 HAS SOPS 431840 HAS SOUS 199450 HAS SOUPS 186399 WITH SCORE 187138.799
AT ITER 2544 NEW BEST:: SOT 1492103 SOS 738543 HAS SOPS 430584 HAS SOUS 199324 HAS SOUPS 186273 WITH SCORE 187011.543
AT ITER 2545 NEW BEST:: SOT 1492092 SOS 738521 HAS SOPS 430562 HAS SOUS 199291 HAS SOUPS 186240 WITH SCORE 186978.521
AT ITER 2546 NEW BEST:: SOT 1492054 SOS 738483 HAS SOPS 430524 HAS SOUS 199215 HAS SOUPS 186164 WITH SCORE 186902.483
AT ITER 2551 NEW BEST:: SOT 1492049 SOS 738481 HAS SOPS 430514 HAS SOUS 199205 HAS SOUPS 186154 WITH SCORE 186892.481
AT ITER 2561 NEW BEST:: SOT 1491902 SOS 738254 HAS SOPS 430287 HAS SOUS 199184 HAS SOUPS 186133 WITH SCORE 186871.254
AT ITER 2567 NEW BEST:: SOT 1491920 SOS 738397 HAS SOPS 430430 HAS SOUS 199113 HAS SOUPS 186062 WITH SCORE 186800.397
AT ITER 2569 NEW BEST:: SOT 1491919 SOS 738396 HAS SOPS 430428 HAS SOUS 199111 HAS SOUPS 186060 WITH SCORE 186798.396
AT ITER 2571 NEW BEST:: SOT 1491909 SOS 738371 HAS SOPS 430403 HAS SOUS 199091 HAS SOUPS 186040 WITH SCORE 186778.371
AT ITER 2580 NEW BEST:: SOT 1491969 SOS 738613 HAS SOPS 429621 HAS SOUS 199083 HAS SOUPS 186032 WITH SCORE 186770.613
AT ITER 2588 NEW BEST:: SOT 1491964 SOS 738603 HAS SOPS 429611 HAS SOUS 199083 HAS SOUPS 186032 WITH SCORE 186770.603
AT ITER 2590 NEW BEST:: SOT 1492293 SOS 735822 HAS SOPS 429884 HAS SOUS 199011 HAS SOUPS 186016 WITH SCORE 186751.822
AT ITER 2595 NEW BEST:: SOT 1492293 SOS 735874 HAS SOPS 429920 HAS SOUS 198993 HAS SOUPS 185998 WITH SCORE 186733.874
AT ITER 2601 NEW BEST:: SOT 1492218 SOS 735764 HAS SOPS 429810 HAS SOUS 198863 HAS SOUPS 185868 WITH SCORE 186603.764
AT ITER 2620 NEW BEST:: SOT 1489168 SOS 732714 HAS SOPS 426327 HAS SOUS 198614 HAS SOUPS 185619 WITH SCORE 186351.714
AT ITER 2627 NEW BEST:: SOT 1489168 SOS 732695 HAS SOPS 426308 HAS SOUS 198614 HAS SOUPS 185619 WITH SCORE 186351.695
AT ITER 2633 NEW BEST:: SOT 1489022 SOS 734311 HAS SOPS 428548 HAS SOUS 198571 HAS SOUPS 185576 WITH SCORE 186310.311
AT ITER 2636 NEW BEST:: SOT 1488934 SOS 734223 HAS SOPS 428460 HAS SOUS 198483 HAS SOUPS 185488 WITH SCORE 186222.223
AT ITER 2661 NEW BEST:: SOT 1488934 SOS 734121 HAS SOPS 428358 HAS SOUS 198483 HAS SOUPS 185488 WITH SCORE 186222.121
AT ITER 2667 NEW BEST:: SOT 1488797 SOS 733997 HAS SOPS 428381 HAS SOUS 198475 HAS SOUPS 185480 WITH SCORE 186213.997
AT ITER 2696 NEW BEST:: SOT 1488856 SOS 734065 HAS SOPS 428440 HAS SOUS 198471 HAS SOUPS 185476 WITH SCORE 186210.065
AT ITER 2699 NEW BEST:: SOT 1488348 SOS 733532 HAS SOPS 427903 HAS SOUS 198453 HAS SOUPS 185458 WITH SCORE 186191.532
AT ITER 2700 NEW BEST:: SOT 1488407 SOS 733557 HAS SOPS 427314 HAS SOUS 198114 HAS SOUPS 185119 WITH SCORE 185852.557
AT ITER 2721 NEW BEST:: SOT 1488049 SOS 733193 HAS SOPS 426922 HAS SOUS 197922 HAS SOUPS 184927 WITH SCORE 185660.193
AT ITER 2725 NEW BEST:: SOT 1488097 SOS 732873 HAS SOPS 426487 HAS SOUS 197792 HAS SOUPS 184797 WITH SCORE 185529.873
AT ITER 2726 NEW BEST:: SOT 1488097 SOS 732873 HAS SOPS 426405 HAS SOUS 197710 HAS SOUPS 184715 WITH SCORE 185447.873
AT ITER 2744 NEW BEST:: SOT 1488127 SOS 732933 HAS SOPS 425649 HAS SOUS 197670 HAS SOUPS 184673 WITH SCORE 185405.933
AT ITER 2745 NEW BEST:: SOT 1487900 SOS 732700 HAS SOPS 425344 HAS SOUS 197547 HAS SOUPS 184550 WITH SCORE 185282.7
AT ITER 2795 NEW BEST:: SOT 1487891 SOS 731506 HAS SOPS 424150 HAS SOUS 197529 HAS SOUPS 184532 WITH SCORE 185263.506
AT ITER 2801 NEW BEST:: SOT 1487701 SOS 730371 HAS SOPS 423015 HAS SOUS 197529 HAS SOUPS 184532 WITH SCORE 185262.371
AT ITER 2843 NEW BEST:: SOT 1487407 SOS 729959 HAS SOPS 422658 HAS SOUS 197067 HAS SOUPS 184070 WITH SCORE 184799.959
AT ITER 2845 NEW BEST:: SOT 1487407 SOS 730064 HAS SOPS 422748 HAS SOUS 197052 HAS SOUPS 184055 WITH SCORE 184785.064
AT ITER 2848 NEW BEST:: SOT 1488101 SOS 730334 HAS SOPS 415994 HAS SOUS 196729 HAS SOUPS 183732 WITH SCORE 184462.334
AT ITER 2858 NEW BEST:: SOT 1488109 SOS 730342 HAS SOPS 416032 HAS SOUS 196722 HAS SOUPS 183725 WITH SCORE 184455.342
AT ITER 2870 NEW BEST:: SOT 1488039 SOS 730225 HAS SOPS 415915 HAS SOUS 196605 HAS SOUPS 183608 WITH SCORE 184338.225
AT ITER 2876 NEW BEST:: SOT 1488001 SOS 730073 HAS SOPS 415763 HAS SOUS 196529 HAS SOUPS 183532 WITH SCORE 184262.073
AT ITER 2880 NEW BEST:: SOT 1487211 SOS 729303 HAS SOPS 414648 HAS SOUS 196273 HAS SOUPS 183276 WITH SCORE 184005.303
AT ITER 2918 NEW BEST:: SOT 1487251 SOS 729343 HAS SOPS 414688 HAS SOUS 196241 HAS SOUPS 183244 WITH SCORE 183973.343
AT ITER 2926 NEW BEST:: SOT 1487233 SOS 729361 HAS SOPS 414706 HAS SOUS 196205 HAS SOUPS 183208 WITH SCORE 183937.361
AT ITER 2931 NEW BEST:: SOT 1486342 SOS 735301 HAS SOPS 413669 HAS SOUS 196321 HAS SOUPS 183199 WITH SCORE 183934.301
AT ITER 2951 NEW BEST:: SOT 1486332 SOS 735119 HAS SOPS 413487 HAS SOUS 196301 HAS SOUPS 183179 WITH SCORE 183914.119
AT ITER 2952 NEW BEST:: SOT 1486332 SOS 734993 HAS SOPS 413361 HAS SOUS 196301 HAS SOUPS 183179 WITH SCORE 183913.993
AT ITER 2954 NEW BEST:: SOT 1486333 SOS 735015 HAS SOPS 413363 HAS SOUS 196283 HAS SOUPS 183161 WITH SCORE 183896.015
AT ITER 2968 NEW BEST:: SOT 1486261 SOS 734773 HAS SOPS 413121 HAS SOUS 196103 HAS SOUPS 182981 WITH SCORE 183715.773
AT ITER 2970 NEW BEST:: SOT 1486806 SOS 735615 HAS SOPS 413580 HAS SOUS 195568 HAS SOUPS 182446 WITH SCORE 183181.615
AT ITER 2971 NEW BEST:: SOT 1486719 SOS 735441 HAS SOPS 413406 HAS SOUS 195568 HAS SOUPS 182446 WITH SCORE 183181.441
AT ITER 2978 NEW BEST:: SOT 1484481 SOS 733162 HAS SOPS 411017 HAS SOUS 195284 HAS SOUPS 182162 WITH SCORE 182895.162
AT ITER 2992 NEW BEST:: SOT 1484643 SOS 733314 HAS SOPS 411169 HAS SOUS 195025 HAS SOUPS 181903 WITH SCORE 182636.314
AT ITER 2997 NEW BEST:: SOT 1484444 SOS 732866 HAS SOPS 410772 HAS SOUS 194815 HAS SOUPS 181693 WITH SCORE 182425.866
AT ITER 2999 NEW BEST:: SOT 1484389 SOS 732646 HAS SOPS 410552 HAS SOUS 194760 HAS SOUPS 181638 WITH SCORE 182370.646
AT ITER 3006 NEW BEST:: SOT 1484047 SOS 732323 HAS SOPS 410229 HAS SOUS 194684 HAS SOUPS 181562 WITH SCORE 182294.323
AT ITER 3011 NEW BEST:: SOT 1484047 SOS 731777 HAS SOPS 409683 HAS SOUS 194684 HAS SOUPS 181562 WITH SCORE 182293.777
AT ITER 3017 NEW BEST:: SOT 1484064 SOS 731560 HAS SOPS 409197 HAS SOUS 194375 HAS SOUPS 181253 WITH SCORE 181984.56
AT ITER 3058 NEW BEST:: SOT 1484047 SOS 731544 HAS SOPS 409181 HAS SOUS 194372 HAS SOUPS 181250 WITH SCORE 181981.544
AT ITER 3085 NEW BEST:: SOT 1483591 SOS 731358 HAS SOPS 409180 HAS SOUS 194109 HAS SOUPS 180987 WITH SCORE 181718.358
AT ITER 3090 NEW BEST:: SOT 1483581 SOS 731348 HAS SOPS 409180 HAS SOUS 194089 HAS SOUPS 180967 WITH SCORE 181698.348
AT ITER 3097 NEW BEST:: SOT 1483580 SOS 731378 HAS SOPS 409210 HAS SOUS 194087 HAS SOUPS 180965 WITH SCORE 181696.378
AT ITER 3106 NEW BEST:: SOT 1483627 SOS 731425 HAS SOPS 409260 HAS SOUS 193961 HAS SOUPS 180839 WITH SCORE 181570.425
AT ITER 3117 NEW BEST:: SOT 1483627 SOS 731009 HAS SOPS 408844 HAS SOUS 193961 HAS SOUPS 180839 WITH SCORE 181570.009
AT ITER 3123 NEW BEST:: SOT 1483627 SOS 729401 HAS SOPS 407236 HAS SOUS 193961 HAS SOUPS 180839 WITH SCORE 181568.401
AT ITER 3143 NEW BEST:: SOT 1482882 SOS 728594 HAS SOPS 406425 HAS SOUS 193834 HAS SOUPS 180712 WITH SCORE 181440.594
AT ITER 3158 NEW BEST:: SOT 1482633 SOS 728449 HAS SOPS 406517 HAS SOUS 193828 HAS SOUPS 180706 WITH SCORE 181434.449
AT ITER 3165 NEW BEST:: SOT 1482571 SOS 728418 HAS SOPS 406486 HAS SOUS 193766 HAS SOUPS 180644 WITH SCORE 181372.418
AT ITER 3208 NEW BEST:: SOT 1482470 SOS 728233 HAS SOPS 406284 HAS SOUS 193648 HAS SOUPS 180526 WITH SCORE 181254.233
AT ITER 3216 NEW BEST:: SOT 1482457 SOS 728207 HAS SOPS 406258 HAS SOUS 193622 HAS SOUPS 180500 WITH SCORE 181228.207
AT ITER 3218 NEW BEST:: SOT 1482454 SOS 728183 HAS SOPS 406234 HAS SOUS 193616 HAS SOUPS 180494 WITH SCORE 181222.183
AT ITER 3237 NEW BEST:: SOT 1482509 SOS 728304 HAS SOPS 406344 HAS SOUS 193594 HAS SOUPS 180472 WITH SCORE 181200.304
AT ITER 3238 NEW BEST:: SOT 1483446 SOS 729241 HAS SOPS 407298 HAS SOUS 193582 HAS SOUPS 180460 WITH SCORE 181189.241
AT ITER 3270 NEW BEST:: SOT 1483464 SOS 729259 HAS SOPS 407316 HAS SOUS 193580 HAS SOUPS 180458 WITH SCORE 181187.259
AT ITER 3332 NEW BEST:: SOT 1483464 SOS 729235 HAS SOPS 407292 HAS SOUS 193572 HAS SOUPS 180450 WITH SCORE 181179.235
AT ITER 3333 NEW BEST:: SOT 1483827 SOS 729598 HAS SOPS 407657 HAS SOUS 193538 HAS SOUPS 180416 WITH SCORE 181145.598
AT ITER 3347 NEW BEST:: SOT 1483785 SOS 729081 HAS SOPS 407153 HAS SOUS 193514 HAS SOUPS 180392 WITH SCORE 181121.081
AT ITER 3358 NEW BEST:: SOT 1483732 SOS 728882 HAS SOPS 406979 HAS SOUS 193486 HAS SOUPS 180364 WITH SCORE 181092.882
AT ITER 3400 NEW BEST:: SOT 1483700 SOS 728629 HAS SOPS 406726 HAS SOUS 193454 HAS SOUPS 180332 WITH SCORE 181060.629
AT ITER 3416 NEW BEST:: SOT 1483490 SOS 726852 HAS SOPS 404949 HAS SOUS 193272 HAS SOUPS 180150 WITH SCORE 180876.852
AT ITER 3419 NEW BEST:: SOT 1483490 SOS 726290 HAS SOPS 404387 HAS SOUS 193272 HAS SOUPS 180150 WITH SCORE 180876.29
AT ITER 3425 NEW BEST:: SOT 1483448 SOS 726248 HAS SOPS 404303 HAS SOUS 193188 HAS SOUPS 180066 WITH SCORE 180792.248
AT ITER 3443 NEW BEST:: SOT 1481726 SOS 724530 HAS SOPS 402552 HAS SOUS 192642 HAS SOUPS 179402 WITH SCORE 180126.53
AT ITER 3449 NEW BEST:: SOT 1481666 SOS 724399 HAS SOPS 402503 HAS SOUS 192593 HAS SOUPS 179353 WITH SCORE 180077.399
AT ITER 3459 NEW BEST:: SOT 1481687 SOS 724441 HAS SOPS 402545 HAS SOUS 192584 HAS SOUPS 179344 WITH SCORE 180068.441
AT ITER 3498 NEW BEST:: SOT 1481682 SOS 725497 HAS SOPS 403601 HAS SOUS 192574 HAS SOUPS 179334 WITH SCORE 180059.497
AT ITER 3516 NEW BEST:: SOT 1480340 SOS 724263 HAS SOPS 402183 HAS SOUS 191232 HAS SOUPS 177916 WITH SCORE 178640.263
AT ITER 3539 NEW BEST:: SOT 1480343 SOS 724257 HAS SOPS 402171 HAS SOUS 191226 HAS SOUPS 177910 WITH SCORE 178634.257
AT ITER 3552 NEW BEST:: SOT 1480322 SOS 724215 HAS SOPS 402129 HAS SOUS 191184 HAS SOUPS 177868 WITH SCORE 178592.215
AT ITER 3610 NEW BEST:: SOT 1480310 SOS 724197 HAS SOPS 402105 HAS SOUS 191160 HAS SOUPS 177844 WITH SCORE 178568.197
AT ITER 3614 NEW BEST:: SOT 1480329 SOS 724216 HAS SOPS 402119 HAS SOUS 191139 HAS SOUPS 177823 WITH SCORE 178547.216
AT ITER 3616 NEW BEST:: SOT 1480319 SOS 724255 HAS SOPS 402158 HAS SOUS 191122 HAS SOUPS 177806 WITH SCORE 178530.255
AT ITER 3628 NEW BEST:: SOT 1480132 SOS 724079 HAS SOPS 401971 HAS SOUS 191078 HAS SOUPS 177762 WITH SCORE 178486.079
AT ITER 3636 NEW BEST:: SOT 1479996 SOS 723943 HAS SOPS 401971 HAS SOUS 191078 HAS SOUPS 177762 WITH SCORE 178485.943
AT ITER 3641 NEW BEST:: SOT 1479945 SOS 723892 HAS SOPS 401804 HAS SOUS 190911 HAS SOUPS 177595 WITH SCORE 178318.892
AT ITER 3646 NEW BEST:: SOT 1480101 SOS 724129 HAS SOPS 402090 HAS SOUS 190842 HAS SOUPS 177526 WITH SCORE 178250.129
AT ITER 3656 NEW BEST:: SOT 1480154 SOS 724235 HAS SOPS 402196 HAS SOUS 190835 HAS SOUPS 177519 WITH SCORE 178243.235
AT ITER 3666 NEW BEST:: SOT 1479902 SOS 723983 HAS SOPS 401932 HAS SOUS 190823 HAS SOUPS 177507 WITH SCORE 178230.983
AT ITER 3673 NEW BEST:: SOT 1479913 SOS 723994 HAS SOPS 401858 HAS SOUS 190834 HAS SOUPS 177506 WITH SCORE 178229.994
AT ITER 3681 NEW BEST:: SOT 1479773 SOS 723916 HAS SOPS 401780 HAS SOUS 190796 HAS SOUPS 177468 WITH SCORE 178191.916
AT ITER 3682 NEW BEST:: SOT 1479737 SOS 724180 HAS SOPS 401744 HAS SOUS 190748 HAS SOUPS 177418 WITH SCORE 178142.18
AT ITER 3694 NEW BEST:: SOT 1479737 SOS 724000 HAS SOPS 401564 HAS SOUS 190728 HAS SOUPS 177398 WITH SCORE 178122.0
AT ITER 3713 NEW BEST:: SOT 1479685 SOS 723948 HAS SOPS 401512 HAS SOUS 190676 HAS SOUPS 177346 WITH SCORE 178069.948
AT ITER 3726 NEW BEST:: SOT 1479654 SOS 723660 HAS SOPS 401252 HAS SOUS 190642 HAS SOUPS 177312 WITH SCORE 178035.66
AT ITER 3738 NEW BEST:: SOT 1479551 SOS 722113 HAS SOPS 399705 HAS SOUS 190585 HAS SOUPS 177255 WITH SCORE 177977.113
AT ITER 3740 NEW BEST:: SOT 1479535 SOS 722081 HAS SOPS 399673 HAS SOUS 190569 HAS SOUPS 177239 WITH SCORE 177961.081
AT ITER 3756 NEW BEST:: SOT 1479515 SOS 722061 HAS SOPS 399632 HAS SOUS 190562 HAS SOUPS 177232 WITH SCORE 177954.061
AT ITER 3762 NEW BEST:: SOT 1479392 SOS 721971 HAS SOPS 399542 HAS SOUS 190464 HAS SOUPS 177134 WITH SCORE 177855.971
AT ITER 3768 NEW BEST:: SOT 1479360 SOS 722277 HAS SOPS 399848 HAS SOUS 190400 HAS SOUPS 177070 WITH SCORE 177792.277
AT ITER 3770 NEW BEST:: SOT 1479370 SOS 721586 HAS SOPS 399157 HAS SOUS 190386 HAS SOUPS 177056 WITH SCORE 177777.586
AT ITER 3783 NEW BEST:: SOT 1479236 SOS 721384 HAS SOPS 398955 HAS SOUS 190193 HAS SOUPS 176863 WITH SCORE 177584.384
AT ITER 3797 NEW BEST:: SOT 1479236 SOS 721167 HAS SOPS 398738 HAS SOUS 190193 HAS SOUPS 176863 WITH SCORE 177584.167
AT ITER 3807 NEW BEST:: SOT 1479194 SOS 721421 HAS SOPS 398992 HAS SOUS 190176 HAS SOUPS 176846 WITH SCORE 177567.421
AT ITER 3811 NEW BEST:: SOT 1479174 SOS 721254 HAS SOPS 398825 HAS SOUS 190156 HAS SOUPS 176826 WITH SCORE 177547.254
AT ITER 3813 NEW BEST:: SOT 1479162 SOS 721230 HAS SOPS 398801 HAS SOUS 190132 HAS SOUPS 176802 WITH SCORE 177523.23
AT ITER 3820 NEW BEST:: SOT 1479080 SOS 721148 HAS SOPS 398385 HAS SOUS 190010 HAS SOUPS 176680 WITH SCORE 177401.148
AT ITER 3824 NEW BEST:: SOT 1478869 SOS 720937 HAS SOPS 398174 HAS SOUS 189999 HAS SOUPS 176669 WITH SCORE 177389.937
AT ITER 3825 NEW BEST:: SOT 1477853 SOS 719877 HAS SOPS 396050 HAS SOUS 189220 HAS SOUPS 175890 WITH SCORE 176609.877
AT ITER 3834 NEW BEST:: SOT 1477817 SOS 719805 HAS SOPS 395978 HAS SOUS 189166 HAS SOUPS 175836 WITH SCORE 176555.805
AT ITER 3837 NEW BEST:: SOT 1477761 SOS 719771 HAS SOPS 395892 HAS SOUS 189110 HAS SOUPS 175780 WITH SCORE 176499.771
AT ITER 3841 NEW BEST:: SOT 1477603 SOS 720104 HAS SOPS 396362 HAS SOUS 188993 HAS SOUPS 175663 WITH SCORE 176383.104
AT ITER 3843 NEW BEST:: SOT 1480667 SOS 723496 HAS SOPS 400626 HAS SOUS 188769 HAS SOUPS 175441 WITH SCORE 176164.496
AT ITER 3844 NEW BEST:: SOT 1480830 SOS 723363 HAS SOPS 400288 HAS SOUS 188551 HAS SOUPS 175223 WITH SCORE 175946.363
AT ITER 3846 NEW BEST:: SOT 1480830 SOS 723255 HAS SOPS 400180 HAS SOUS 188539 HAS SOUPS 175211 WITH SCORE 175934.255
AT ITER 3869 NEW BEST:: SOT 1480807 SOS 723391 HAS SOPS 400316 HAS SOUS 188493 HAS SOUPS 175165 WITH SCORE 175888.391
AT ITER 3878 NEW BEST:: SOT 1480801 SOS 723847 HAS SOPS 400766 HAS SOUS 188481 HAS SOUPS 175153 WITH SCORE 175876.847
AT ITER 3883 NEW BEST:: SOT 1480030 SOS 732901 HAS SOPS 399993 HAS SOUS 188725 HAS SOUPS 175074 WITH SCORE 175806.901
AT ITER 3890 NEW BEST:: SOT 1479726 SOS 732581 HAS SOPS 399673 HAS SOUS 188725 HAS SOUPS 175074 WITH SCORE 175806.581
AT ITER 3896 NEW BEST:: SOT 1479689 SOS 732851 HAS SOPS 399943 HAS SOUS 188712 HAS SOUPS 175061 WITH SCORE 175793.851
AT ITER 3899 NEW BEST:: SOT 1479582 SOS 733198 HAS SOPS 400327 HAS SOUS 188584 HAS SOUPS 174933 WITH SCORE 175666.198
AT ITER 3907 NEW BEST:: SOT 1479548 SOS 733232 HAS SOPS 400361 HAS SOUS 188539 HAS SOUPS 174888 WITH SCORE 175621.232
AT ITER 3932 NEW BEST:: SOT 1479548 SOS 732776 HAS SOPS 399905 HAS SOUS 188539 HAS SOUPS 174888 WITH SCORE 175620.776
AT ITER 3961 NEW BEST:: SOT 1479509 SOS 732609 HAS SOPS 399738 HAS SOUS 188417 HAS SOUPS 174766 WITH SCORE 175498.609
AT ITER 3965 NEW BEST:: SOT 1479509 SOS 732609 HAS SOPS 399735 HAS SOUS 188414 HAS SOUPS 174763 WITH SCORE 175495.609
AT ITER 3970 NEW BEST:: SOT 1479509 SOS 732260 HAS SOPS 399386 HAS SOUS 188385 HAS SOUPS 174734 WITH SCORE 175466.26
AT ITER 3975 NEW BEST:: SOT 1479509 SOS 732554 HAS SOPS 399680 HAS SOUS 188361 HAS SOUPS 174710 WITH SCORE 175442.554
AT ITER 3995 NEW BEST:: SOT 1479509 SOS 732512 HAS SOPS 399638 HAS SOUS 188361 HAS SOUPS 174710 WITH SCORE 175442.512
AT ITER 3997 NEW BEST:: SOT 1479851 SOS 732854 HAS SOPS 399998 HAS SOUS 188343 HAS SOUPS 174692 WITH SCORE 175424.854
AT ITER 3998 NEW BEST:: SOT 1479812 SOS 732696 HAS SOPS 399840 HAS SOUS 188265 HAS SOUPS 174614 WITH SCORE 175346.696
AT ITER 4015 NEW BEST:: SOT 1479359 SOS 732207 HAS SOPS 399351 HAS SOUS 188162 HAS SOUPS 174511 WITH SCORE 175243.207
AT ITER 4016 NEW BEST:: SOT 1479318 SOS 732156 HAS SOPS 399351 HAS SOUS 188122 HAS SOUPS 174471 WITH SCORE 175203.156
AT ITER 4021 NEW BEST:: SOT 1479257 SOS 731955 HAS SOPS 399150 HAS SOUS 188079 HAS SOUPS 174428 WITH SCORE 175159.955
AT ITER 4042 NEW BEST:: SOT 1479257 SOS 731925 HAS SOPS 399120 HAS SOUS 188079 HAS SOUPS 174428 WITH SCORE 175159.925
AT ITER 4049 NEW BEST:: SOT 1479235 SOS 731721 HAS SOPS 398840 HAS SOUS 187959 HAS SOUPS 174308 WITH SCORE 175039.721
AT ITER 4051 NEW BEST:: SOT 1479170 SOS 731479 HAS SOPS 398598 HAS SOUS 187829 HAS SOUPS 174178 WITH SCORE 174909.479
AT ITER 4054 NEW BEST:: SOT 1479144 SOS 731141 HAS SOPS 398276 HAS SOUS 187819 HAS SOUPS 174168 WITH SCORE 174899.141
AT ITER 4057 NEW BEST:: SOT 1479133 SOS 731130 HAS SOPS 398283 HAS SOUS 187797 HAS SOUPS 174146 WITH SCORE 174877.13
AT ITER 4072 NEW BEST:: SOT 1479016 SOS 730965 HAS SOPS 398118 HAS SOUS 187589 HAS SOUPS 173938 WITH SCORE 174668.965
AT ITER 4091 NEW BEST:: SOT 1479016 SOS 730925 HAS SOPS 398078 HAS SOUS 187589 HAS SOUPS 173938 WITH SCORE 174668.925
AT ITER 4124 NEW BEST:: SOT 1479001 SOS 730895 HAS SOPS 398048 HAS SOUS 187544 HAS SOUPS 173893 WITH SCORE 174623.895
AT ITER 4136 NEW BEST:: SOT 1479001 SOS 730934 HAS SOPS 398087 HAS SOUS 187521 HAS SOUPS 173870 WITH SCORE 174600.934
AT ITER 4148 NEW BEST:: SOT 1479001 SOS 731039 HAS SOPS 398177 HAS SOUS 187506 HAS SOUPS 173855 WITH SCORE 174586.039
AT ITER 4168 NEW BEST:: SOT 1479001 SOS 730948 HAS SOPS 398086 HAS SOUS 187506 HAS SOUPS 173855 WITH SCORE 174585.948
AT ITER 4175 NEW BEST:: SOT 1479008 SOS 730955 HAS SOPS 398087 HAS SOUS 187489 HAS SOUPS 173838 WITH SCORE 174568.955
AT ITER 4180 NEW BEST:: SOT 1479051 SOS 731085 HAS SOPS 397833 HAS SOUS 187287 HAS SOUPS 173584 WITH SCORE 174315.085
AT ITER 4181 NEW BEST:: SOT 1477697 SOS 729677 HAS SOPS 396425 HAS SOUS 187224 HAS SOUPS 173521 WITH SCORE 174250.677
AT ITER 4215 NEW BEST:: SOT 1477697 SOS 729607 HAS SOPS 396355 HAS SOUS 187224 HAS SOUPS 173521 WITH SCORE 174250.607
AT ITER 4228 NEW BEST:: SOT 1477677 SOS 729567 HAS SOPS 396315 HAS SOUS 187224 HAS SOUPS 173521 WITH SCORE 174250.567
AT ITER 4232 NEW BEST:: SOT 1477668 SOS 729527 HAS SOPS 396325 HAS SOUS 187206 HAS SOUPS 173503 WITH SCORE 174232.527
AT ITER 4241 NEW BEST:: SOT 1477526 SOS 729354 HAS SOPS 396152 HAS SOUS 187033 HAS SOUPS 173330 WITH SCORE 174059.354
AT ITER 4242 NEW BEST:: SOT 1477526 SOS 728781 HAS SOPS 395579 HAS SOUS 187011 HAS SOUPS 173308 WITH SCORE 174036.781
AT ITER 4255 NEW BEST:: SOT 1477674 SOS 726729 HAS SOPS 395675 HAS SOUS 186897 HAS SOUPS 173258 WITH SCORE 173984.729
AT ITER 4257 NEW BEST:: SOT 1477868 SOS 726736 HAS SOPS 395623 HAS SOUS 186845 HAS SOUPS 173206 WITH SCORE 173932.736
AT ITER 4271 NEW BEST:: SOT 1477842 SOS 726684 HAS SOPS 395571 HAS SOUS 186806 HAS SOUPS 173167 WITH SCORE 173893.684
AT ITER 4272 NEW BEST:: SOT 1477839 SOS 726774 HAS SOPS 395661 HAS SOUS 186800 HAS SOUPS 173161 WITH SCORE 173887.774
AT ITER 4283 NEW BEST:: SOT 1477818 SOS 726950 HAS SOPS 395837 HAS SOUS 186758 HAS SOUPS 173119 WITH SCORE 173845.95
AT ITER 4299 NEW BEST:: SOT 1477770 SOS 726902 HAS SOPS 395645 HAS SOUS 186584 HAS SOUPS 172927 WITH SCORE 173653.902
AT ITER 4304 NEW BEST:: SOT 1477017 SOS 735043 HAS SOPS 395133 HAS SOUS 186732 HAS SOUPS 172867 WITH SCORE 173602.043
AT ITER 4312 NEW BEST:: SOT 1475946 SOS 733972 HAS SOPS 394011 HAS SOUS 186644 HAS SOUPS 172779 WITH SCORE 173512.972
AT ITER 4318 NEW BEST:: SOT 1476573 SOS 734640 HAS SOPS 394679 HAS SOUS 186592 HAS SOUPS 172727 WITH SCORE 173461.64
AT ITER 4370 NEW BEST:: SOT 1476489 SOS 734449 HAS SOPS 394586 HAS SOUS 186592 HAS SOUPS 172727 WITH SCORE 173461.449
AT ITER 4371 NEW BEST:: SOT 1476669 SOS 734687 HAS SOPS 394824 HAS SOUS 186569 HAS SOUPS 172704 WITH SCORE 173438.687
AT ITER 4387 NEW BEST:: SOT 1476721 SOS 734739 HAS SOPS 394928 HAS SOUS 186431 HAS SOUPS 172571 WITH SCORE 173305.739
AT ITER 4389 NEW BEST:: SOT 1476604 SOS 734934 HAS SOPS 395123 HAS SOUS 186243 HAS SOUPS 172383 WITH SCORE 173117.934
AT ITER 4397 NEW BEST:: SOT 1475349 SOS 733679 HAS SOPS 393676 HAS SOUS 186292 HAS SOUPS 172240 WITH SCORE 172973.679
AT ITER 4401 NEW BEST:: SOT 1475345 SOS 733671 HAS SOPS 393656 HAS SOUS 186272 HAS SOUPS 172220 WITH SCORE 172953.671
AT ITER 4411 NEW BEST:: SOT 1475345 SOS 732931 HAS SOPS 392916 HAS SOUS 186272 HAS SOUPS 172220 WITH SCORE 172952.931
AT ITER 4412 NEW BEST:: SOT 1475297 SOS 732883 HAS SOPS 392852 HAS SOUS 186208 HAS SOUPS 172156 WITH SCORE 172888.883
AT ITER 4424 NEW BEST:: SOT 1475266 SOS 732821 HAS SOPS 392790 HAS SOUS 186095 HAS SOUPS 172043 WITH SCORE 172775.821
AT ITER 4435 NEW BEST:: SOT 1475260 SOS 732827 HAS SOPS 392796 HAS SOUS 186089 HAS SOUPS 172037 WITH SCORE 172769.827
AT ITER 4439 NEW BEST:: SOT 1475111 SOS 732319 HAS SOPS 392288 HAS SOUS 186047 HAS SOUPS 171995 WITH SCORE 172727.319
AT ITER 4445 NEW BEST:: SOT 1475111 SOS 732334 HAS SOPS 392303 HAS SOUS 186032 HAS SOUPS 171980 WITH SCORE 172712.334
AT ITER 4452 NEW BEST:: SOT 1475148 SOS 732564 HAS SOPS 392455 HAS SOUS 186028 HAS SOUPS 171976 WITH SCORE 172708.564
AT ITER 4495 NEW BEST:: SOT 1475397 SOS 732813 HAS SOPS 392956 HAS SOUS 185371 HAS SOUPS 171319 WITH SCORE 172051.813
AT ITER 4496 NEW BEST:: SOT 1475308 SOS 732624 HAS SOPS 392767 HAS SOUS 185277 HAS SOUPS 171225 WITH SCORE 171957.624
AT ITER 4511 NEW BEST:: SOT 1475293 SOS 732714 HAS SOPS 392857 HAS SOUS 185247 HAS SOUPS 171195 WITH SCORE 171927.714
AT ITER 4513 NEW BEST:: SOT 1475293 SOS 732963 HAS SOPS 393106 HAS SOUS 185164 HAS SOUPS 171112 WITH SCORE 171844.963
AT ITER 4540 NEW BEST:: SOT 1475167 SOS 732761 HAS SOPS 392863 HAS SOUS 185007 HAS SOUPS 170955 WITH SCORE 171687.761
AT ITER 4550 NEW BEST:: SOT 1475149 SOS 732752 HAS SOPS 392854 HAS SOUS 184989 HAS SOUPS 170937 WITH SCORE 171669.752
AT ITER 4578 NEW BEST:: SOT 1475130 SOS 732822 HAS SOPS 392924 HAS SOUS 184951 HAS SOUPS 170899 WITH SCORE 171631.822
AT ITER 4604 NEW BEST:: SOT 1475106 SOS 732798 HAS SOPS 392876 HAS SOUS 184927 HAS SOUPS 170851 WITH SCORE 171583.798
AT ITER 4608 NEW BEST:: SOT 1474755 SOS 732447 HAS SOPS 392486 HAS SOUS 184849 HAS SOUPS 170773 WITH SCORE 171505.447
AT ITER 4627 NEW BEST:: SOT 1474636 SOS 733137 HAS SOPS 393314 HAS SOUS 184752 HAS SOUPS 170676 WITH SCORE 171409.137
AT ITER 4630 NEW BEST:: SOT 1474634 SOS 733017 HAS SOPS 393310 HAS SOUS 184748 HAS SOUPS 170672 WITH SCORE 171405.017
AT ITER 4635 NEW BEST:: SOT 1474595 SOS 732981 HAS SOPS 393235 HAS SOUS 184656 HAS SOUPS 170580 WITH SCORE 171312.981
AT ITER 4641 NEW BEST:: SOT 1474588 SOS 732974 HAS SOPS 393221 HAS SOUS 184642 HAS SOUPS 170566 WITH SCORE 171298.974
AT ITER 4657 NEW BEST:: SOT 1474593 SOS 733019 HAS SOPS 393266 HAS SOUS 184617 HAS SOUPS 170541 WITH SCORE 171274.019
AT ITER 4659 NEW BEST:: SOT 1474541 SOS 732915 HAS SOPS 393162 HAS SOUS 184513 HAS SOUPS 170437 WITH SCORE 171169.915
AT ITER 4681 NEW BEST:: SOT 1474532 SOS 732915 HAS SOPS 393162 HAS SOUS 184504 HAS SOUPS 170428 WITH SCORE 171160.915
AT ITER 4685 NEW BEST:: SOT 1474532 SOS 732412 HAS SOPS 392659 HAS SOUS 184504 HAS SOUPS 170428 WITH SCORE 171160.412
AT ITER 4686 NEW BEST:: SOT 1474589 SOS 732469 HAS SOPS 392572 HAS SOUS 184417 HAS SOUPS 170341 WITH SCORE 171073.469
AT ITER 4687 NEW BEST:: SOT 1474544 SOS 732442 HAS SOPS 392545 HAS SOUS 184352 HAS SOUPS 170276 WITH SCORE 171008.442
AT ITER 4699 NEW BEST:: SOT 1474055 SOS 731861 HAS SOPS 392148 HAS SOUS 184211 HAS SOUPS 170135 WITH SCORE 170866.861
AT ITER 4722 NEW BEST:: SOT 1474036 SOS 731880 HAS SOPS 392167 HAS SOUS 184173 HAS SOUPS 170097 WITH SCORE 170828.88
AT ITER 4727 NEW BEST:: SOT 1473937 SOS 731435 HAS SOPS 391722 HAS SOUS 183975 HAS SOUPS 169899 WITH SCORE 170630.435
AT ITER 4735 NEW BEST:: SOT 1473893 SOS 731347 HAS SOPS 391634 HAS SOUS 183887 HAS SOUPS 169811 WITH SCORE 170542.347
AT ITER 4741 NEW BEST:: SOT 1473893 SOS 731204 HAS SOPS 391491 HAS SOUS 183813 HAS SOUPS 169737 WITH SCORE 170468.204
AT ITER 4746 NEW BEST:: SOT 1474047 SOS 730522 HAS SOPS 377161 HAS SOUS 182250 HAS SOUPS 168174 WITH SCORE 168904.522
AT ITER 4748 NEW BEST:: SOT 1474024 SOS 730497 HAS SOPS 377115 HAS SOUS 182204 HAS SOUPS 168128 WITH SCORE 168858.497
AT ITER 4779 NEW BEST:: SOT 1474161 SOS 730551 HAS SOPS 369616 HAS SOUS 181310 HAS SOUPS 167234 WITH SCORE 167964.551
AT ITER 4785 NEW BEST:: SOT 1474108 SOS 730445 HAS SOPS 369510 HAS SOUS 181257 HAS SOUPS 167181 WITH SCORE 167911.445
AT ITER 4794 NEW BEST:: SOT 1474108 SOS 730395 HAS SOPS 369460 HAS SOUS 181257 HAS SOUPS 167181 WITH SCORE 167911.395
AT ITER 4801 NEW BEST:: SOT 1473713 SOS 729724 HAS SOPS 368683 HAS SOUS 181154 HAS SOUPS 167078 WITH SCORE 167807.724
AT ITER 4809 NEW BEST:: SOT 1473713 SOS 729724 HAS SOPS 368683 HAS SOUS 181133 HAS SOUPS 167057 WITH SCORE 167786.724
AT ITER 4857 NEW BEST:: SOT 1473362 SOS 729340 HAS SOPS 368293 HAS SOUS 181055 HAS SOUPS 166979 WITH SCORE 167708.34
AT ITER 4896 NEW BEST:: SOT 1473268 SOS 728082 HAS SOPS 367035 HAS SOUS 180861 HAS SOUPS 166785 WITH SCORE 167513.082
AT ITER 4909 NEW BEST:: SOT 1472778 SOS 727893 HAS SOPS 366581 HAS SOUS 180922 HAS SOUPS 166740 WITH SCORE 167467.893
AT ITER 4911 NEW BEST:: SOT 1472779 SOS 727798 HAS SOPS 366486 HAS SOUS 180882 HAS SOUPS 166700 WITH SCORE 167427.798
AT ITER 4916 NEW BEST:: SOT 1472761 SOS 727805 HAS SOPS 366407 HAS SOUS 180846 HAS SOUPS 166621 WITH SCORE 167348.805
AT ITER 4926 NEW BEST:: SOT 1472608 SOS 728747 HAS SOPS 367349 HAS SOUS 180683 HAS SOUPS 166458 WITH SCORE 167186.747
AT ITER 4938 NEW BEST:: SOT 1472608 SOS 728806 HAS SOPS 366867 HAS SOUS 180319 HAS SOUPS 166094 WITH SCORE 166822.806
AT ITER 4942 NEW BEST:: SOT 1472608 SOS 728765 HAS SOPS 366785 HAS SOUS 180237 HAS SOUPS 166012 WITH SCORE 166740.765
AT ITER 4950 NEW BEST:: SOT 1472991 SOS 728495 HAS SOPS 367239 HAS SOUS 179969 HAS SOUPS 165880 WITH SCORE 166608.495
AT ITER 4988 NEW BEST:: SOT 1473017 SOS 728521 HAS SOPS 367227 HAS SOUS 179957 HAS SOUPS 165868 WITH SCORE 166596.521
AT ITER 4998 NEW BEST:: SOT 1473031 SOS 728524 HAS SOPS 367219 HAS SOUS 179949 HAS SOUPS 165860 WITH SCORE 166588.524
AT ITER 5003 NEW BEST:: SOT 1473031 SOS 728486 HAS SOPS 367181 HAS SOUS 179949 HAS SOUPS 165860 WITH SCORE 166588.486
AT ITER 5021 NEW BEST:: SOT 1473015 SOS 728410 HAS SOPS 367089 HAS SOUS 179873 HAS SOUPS 165784 WITH SCORE 166512.41
AT ITER 5022 NEW BEST:: SOT 1472855 SOS 728250 HAS SOPS 366929 HAS SOUS 179853 HAS SOUPS 165764 WITH SCORE 166492.25
AT ITER 5028 NEW BEST:: SOT 1472556 SOS 727911 HAS SOPS 366632 HAS SOUS 179836 HAS SOUPS 165747 WITH SCORE 166474.911
AT ITER 5039 NEW BEST:: SOT 1472510 SOS 727727 HAS SOPS 366448 HAS SOUS 179744 HAS SOUPS 165655 WITH SCORE 166382.727
AT ITER 5040 NEW BEST:: SOT 1472552 SOS 727875 HAS SOPS 366479 HAS SOUS 179722 HAS SOUPS 165633 WITH SCORE 166360.875
AT ITER 5053 NEW BEST:: SOT 1472560 SOS 728011 HAS SOPS 366555 HAS SOUS 179678 HAS SOUPS 165589 WITH SCORE 166317.011
AT ITER 5055 NEW BEST:: SOT 1472515 SOS 727896 HAS SOPS 366441 HAS SOUS 179588 HAS SOUPS 165499 WITH SCORE 166226.896
AT ITER 5056 NEW BEST:: SOT 1472284 SOS 727665 HAS SOPS 366199 HAS SOUS 179357 HAS SOUPS 165257 WITH SCORE 165984.665
AT ITER 5062 NEW BEST:: SOT 1472251 SOS 727114 HAS SOPS 365677 HAS SOUS 179337 HAS SOUPS 165237 WITH SCORE 165964.114
AT ITER 5077 NEW BEST:: SOT 1472510 SOS 727373 HAS SOPS 365279 HAS SOUS 178632 HAS SOUPS 164532 WITH SCORE 165259.373
AT ITER 5087 NEW BEST:: SOT 1472259 SOS 727414 HAS SOPS 365201 HAS SOUS 178435 HAS SOUPS 164335 WITH SCORE 165062.414
AT ITER 5125 NEW BEST:: SOT 1472206 SOS 727202 HAS SOPS 364989 HAS SOUS 178329 HAS SOUPS 164229 WITH SCORE 164956.202
AT ITER 5128 NEW BEST:: SOT 1472206 SOS 727133 HAS SOPS 364920 HAS SOUS 178260 HAS SOUPS 164160 WITH SCORE 164887.133
AT ITER 5130 NEW BEST:: SOT 1471890 SOS 726931 HAS SOPS 364452 HAS SOUS 178172 HAS SOUPS 164018 WITH SCORE 164744.931
AT ITER 5147 NEW BEST:: SOT 1471890 SOS 726925 HAS SOPS 364446 HAS SOUS 178166 HAS SOUPS 164012 WITH SCORE 164738.925
AT ITER 5167 NEW BEST:: SOT 1471872 SOS 726889 HAS SOPS 364410 HAS SOUS 178130 HAS SOUPS 163976 WITH SCORE 164702.889
AT ITER 5180 NEW BEST:: SOT 1471868 SOS 726885 HAS SOPS 364402 HAS SOUS 178122 HAS SOUPS 163968 WITH SCORE 164694.885
AT ITER 5185 NEW BEST:: SOT 1471826 SOS 726801 HAS SOPS 364318 HAS SOUS 178038 HAS SOUPS 163884 WITH SCORE 164610.801
AT ITER 5191 NEW BEST:: SOT 1471681 SOS 726476 HAS SOPS 363993 HAS SOUS 177741 HAS SOUPS 163587 WITH SCORE 164313.476
AT ITER 5195 NEW BEST:: SOT 1471727 SOS 726458 HAS SOPS 363948 HAS SOUS 177723 HAS SOUPS 163569 WITH SCORE 164295.458
AT ITER 5210 NEW BEST:: SOT 1471718 SOS 727448 HAS SOPS 364938 HAS SOUS 177664 HAS SOUPS 163510 WITH SCORE 164237.448
AT ITER 5214 NEW BEST:: SOT 1471716 SOS 727446 HAS SOPS 364936 HAS SOUS 177662 HAS SOUPS 163508 WITH SCORE 164235.446
AT ITER 5233 NEW BEST:: SOT 1471590 SOS 727265 HAS SOPS 364818 HAS SOUS 177544 HAS SOUPS 163390 WITH SCORE 164117.265
AT ITER 5240 NEW BEST:: SOT 1471547 SOS 726938 HAS SOPS 364454 HAS SOUS 177526 HAS SOUPS 163372 WITH SCORE 164098.938
AT ITER 5274 NEW BEST:: SOT 1471541 SOS 726437 HAS SOPS 363970 HAS SOUS 177514 HAS SOUPS 163360 WITH SCORE 164086.437
AT ITER 5291 NEW BEST:: SOT 1471517 SOS 726413 HAS SOPS 363959 HAS SOUS 177503 HAS SOUPS 163349 WITH SCORE 164075.413
AT ITER 5295 NEW BEST:: SOT 1471484 SOS 726347 HAS SOPS 363893 HAS SOUS 177423 HAS SOUPS 163269 WITH SCORE 163995.347
AT ITER 5304 NEW BEST:: SOT 1471604 SOS 726457 HAS SOPS 363993 HAS SOUS 177383 HAS SOUPS 163229 WITH SCORE 163955.457
AT ITER 5317 NEW BEST:: SOT 1471600 SOS 726481 HAS SOPS 364017 HAS SOUS 177379 HAS SOUPS 163225 WITH SCORE 163951.481
AT ITER 5324 NEW BEST:: SOT 1471683 SOS 720064 HAS SOPS 363395 HAS SOUS 177120 HAS SOUPS 163117 WITH SCORE 163837.064
AT ITER 5327 NEW BEST:: SOT 1471621 SOS 720697 HAS SOPS 364028 HAS SOUS 177107 HAS SOUPS 163104 WITH SCORE 163824.697
AT ITER 5362 NEW BEST:: SOT 1471404 SOS 720572 HAS SOPS 363799 HAS SOUS 176943 HAS SOUPS 162916 WITH SCORE 163636.572
AT ITER 5368 NEW BEST:: SOT 1471012 SOS 720193 HAS SOPS 363365 HAS SOUS 176937 HAS SOUPS 162910 WITH SCORE 163630.193
AT ITER 5381 NEW BEST:: SOT 1471002 SOS 720209 HAS SOPS 363381 HAS SOUS 176917 HAS SOUPS 162890 WITH SCORE 163610.209
AT ITER 5390 NEW BEST:: SOT 1470177 SOS 719393 HAS SOPS 362565 HAS SOUS 176071 HAS SOUPS 162044 WITH SCORE 162763.393
AT ITER 5420 NEW BEST:: SOT 1470201 SOS 718802 HAS SOPS 362132 HAS SOUS 176062 HAS SOUPS 162035 WITH SCORE 162753.802
AT ITER 5438 NEW BEST:: SOT 1470198 SOS 718796 HAS SOPS 362126 HAS SOUS 176056 HAS SOUPS 162029 WITH SCORE 162747.796
AT ITER 5448 NEW BEST:: SOT 1470195 SOS 718811 HAS SOPS 362141 HAS SOUS 176050 HAS SOUPS 162023 WITH SCORE 162741.811
AT ITER 5450 NEW BEST:: SOT 1470187 SOS 719692 HAS SOPS 362972 HAS SOUS 176034 HAS SOUPS 162007 WITH SCORE 162726.692
AT ITER 5463 NEW BEST:: SOT 1470271 SOS 719776 HAS SOPS 363056 HAS SOUS 175824 HAS SOUPS 161797 WITH SCORE 162516.776
AT ITER 5468 NEW BEST:: SOT 1470211 SOS 719236 HAS SOPS 362516 HAS SOUS 175764 HAS SOUPS 161737 WITH SCORE 162456.236
AT ITER 5470 NEW BEST:: SOT 1470201 SOS 719231 HAS SOPS 362511 HAS SOUS 175754 HAS SOUPS 161727 WITH SCORE 162446.231
AT ITER 5500 NEW BEST:: SOT 1470183 SOS 719213 HAS SOPS 362013 HAS SOUS 175700 HAS SOUPS 161673 WITH SCORE 162392.213
AT ITER 5519 NEW BEST:: SOT 1470178 SOS 719158 HAS SOPS 361958 HAS SOUS 175685 HAS SOUPS 161658 WITH SCORE 162377.158
AT ITER 5539 NEW BEST:: SOT 1470178 SOS 719025 HAS SOPS 361825 HAS SOUS 175666 HAS SOUPS 161639 WITH SCORE 162358.025
AT ITER 5553 NEW BEST:: SOT 1470144 SOS 718955 HAS SOPS 361757 HAS SOUS 175604 HAS SOUPS 161577 WITH SCORE 162295.955
AT ITER 5564 NEW BEST:: SOT 1470578 SOS 719409 HAS SOPS 362211 HAS SOUS 175575 HAS SOUPS 161548 WITH SCORE 162267.409
AT ITER 5575 NEW BEST:: SOT 1468777 SOS 717519 HAS SOPS 360314 HAS SOUS 175498 HAS SOUPS 161471 WITH SCORE 162188.519
AT ITER 5588 NEW BEST:: SOT 1468775 SOS 717476 HAS SOPS 360284 HAS SOUS 175496 HAS SOUPS 161469 WITH SCORE 162186.476
AT ITER 5599 NEW BEST:: SOT 1468775 SOS 717351 HAS SOPS 360159 HAS SOUS 175496 HAS SOUPS 161469 WITH SCORE 162186.351
AT ITER 5621 NEW BEST:: SOT 1468875 SOS 717471 HAS SOPS 360199 HAS SOUS 175456 HAS SOUPS 161429 WITH SCORE 162146.471
AT ITER 5660 NEW BEST:: SOT 1468900 SOS 717501 HAS SOPS 360224 HAS SOUS 175446 HAS SOUPS 161419 WITH SCORE 162136.501
AT ITER 5662 NEW BEST:: SOT 1468874 SOS 717522 HAS SOPS 360245 HAS SOUS 175394 HAS SOUPS 161367 WITH SCORE 162084.522
AT ITER 5665 NEW BEST:: SOT 1468812 SOS 717429 HAS SOPS 360152 HAS SOUS 175332 HAS SOUPS 161305 WITH SCORE 162022.429
AT ITER 5675 NEW BEST:: SOT 1468808 SOS 717425 HAS SOPS 360148 HAS SOUS 175328 HAS SOUPS 161301 WITH SCORE 162018.425
AT ITER 5693 NEW BEST:: SOT 1468796 SOS 717421 HAS SOPS 360124 HAS SOUS 175304 HAS SOUPS 161277 WITH SCORE 161994.421
AT ITER 5703 NEW BEST:: SOT 1468791 SOS 717441 HAS SOPS 360144 HAS SOUS 175299 HAS SOUPS 161272 WITH SCORE 161989.441
AT ITER 5707 NEW BEST:: SOT 1468780 SOS 717419 HAS SOPS 360111 HAS SOUS 175277 HAS SOUPS 161239 WITH SCORE 161956.419
AT ITER 5731 NEW BEST:: SOT 1468772 SOS 717412 HAS SOPS 360104 HAS SOUS 175277 HAS SOUPS 161239 WITH SCORE 161956.412
AT ITER 5760 NEW BEST:: SOT 1468735 SOS 716915 HAS SOPS 359607 HAS SOUS 175029 HAS SOUPS 160991 WITH SCORE 161707.915
AT ITER 5769 NEW BEST:: SOT 1468705 SOS 716789 HAS SOPS 359514 HAS SOUS 174969 HAS SOUPS 160931 WITH SCORE 161647.789
AT ITER 5771 NEW BEST:: SOT 1468914 SOS 716998 HAS SOPS 359727 HAS SOUS 174960 HAS SOUPS 160922 WITH SCORE 161638.998
AT ITER 5786 NEW BEST:: SOT 1468698 SOS 717567 HAS SOPS 359504 HAS SOUS 174955 HAS SOUPS 160881 WITH SCORE 161598.567
AT ITER 5787 NEW BEST:: SOT 1465691 SOS 714439 HAS SOPS 356376 HAS SOUS 174751 HAS SOUPS 160677 WITH SCORE 161391.439
AT ITER 5788 NEW BEST:: SOT 1465674 SOS 713911 HAS SOPS 355848 HAS SOUS 174717 HAS SOUPS 160643 WITH SCORE 161356.911
AT ITER 5806 NEW BEST:: SOT 1465666 SOS 713903 HAS SOPS 355832 HAS SOUS 174701 HAS SOUPS 160627 WITH SCORE 161340.903
AT ITER 5808 NEW BEST:: SOT 1465656 SOS 713853 HAS SOPS 355782 HAS SOUS 174681 HAS SOUPS 160607 WITH SCORE 161320.853
AT ITER 5819 NEW BEST:: SOT 1465552 SOS 713736 HAS SOPS 355665 HAS SOUS 174668 HAS SOUPS 160594 WITH SCORE 161307.736
AT ITER 5827 NEW BEST:: SOT 1465551 SOS 713714 HAS SOPS 355663 HAS SOUS 174666 HAS SOUPS 160592 WITH SCORE 161305.714
AT ITER 5851 NEW BEST:: SOT 1465483 SOS 713018 HAS SOPS 354967 HAS SOUS 174576 HAS SOUPS 160502 WITH SCORE 161215.018
AT ITER 5861 NEW BEST:: SOT 1465465 SOS 712954 HAS SOPS 354903 HAS SOUS 174540 HAS SOUPS 160466 WITH SCORE 161178.954
AT ITER 5890 NEW BEST:: SOT 1464513 SOS 712118 HAS SOPS 354317 HAS SOUS 174389 HAS SOUPS 160318 WITH SCORE 161030.118
AT ITER 5904 NEW BEST:: SOT 1464432 SOS 711898 HAS SOPS 353663 HAS SOUS 174309 HAS SOUPS 160238 WITH SCORE 160949.898
AT ITER 5907 NEW BEST:: SOT 1464407 SOS 711565 HAS SOPS 353377 HAS SOUS 174275 HAS SOUPS 160204 WITH SCORE 160915.565
AT ITER 5961 NEW BEST:: SOT 1464431 SOS 711593 HAS SOPS 353401 HAS SOUS 174271 HAS SOUPS 160200 WITH SCORE 160911.593
AT ITER 5991 NEW BEST:: SOT 1463611 SOS 710732 HAS SOPS 352253 HAS SOUS 174271 HAS SOUPS 160159 WITH SCORE 160869.732
AT ITER 6028 NEW BEST:: SOT 1463610 SOS 711410 HAS SOPS 352931 HAS SOUS 174269 HAS SOUPS 160157 WITH SCORE 160868.41
AT ITER 6033 NEW BEST:: SOT 1463624 SOS 711424 HAS SOPS 352923 HAS SOUS 174274 HAS SOUPS 160149 WITH SCORE 160860.424
AT ITER 6053 NEW BEST:: SOT 1459627 SOS 707370 HAS SOPS 348817 HAS SOUS 174200 HAS SOUPS 160075 WITH SCORE 160782.37
AT ITER 6066 NEW BEST:: SOT 1459623 SOS 707366 HAS SOPS 348809 HAS SOUS 174192 HAS SOUPS 160067 WITH SCORE 160774.366
AT ITER 6073 NEW BEST:: SOT 1459623 SOS 707336 HAS SOPS 348779 HAS SOUS 174192 HAS SOUPS 160067 WITH SCORE 160774.336
AT ITER 6076 NEW BEST:: SOT 1459608 SOS 707306 HAS SOPS 348749 HAS SOUS 174162 HAS SOUPS 160037 WITH SCORE 160744.306
AT ITER 6088 NEW BEST:: SOT 1459489 SOS 707187 HAS SOPS 348613 HAS SOUS 174054 HAS SOUPS 159912 WITH SCORE 160619.187
AT ITER 6093 NEW BEST:: SOT 1459489 SOS 707157 HAS SOPS 348583 HAS SOUS 174054 HAS SOUPS 159912 WITH SCORE 160619.157
AT ITER 6098 NEW BEST:: SOT 1459487 SOS 707155 HAS SOPS 348581 HAS SOUS 174050 HAS SOUPS 159908 WITH SCORE 160615.155
AT ITER 6103 NEW BEST:: SOT 1459487 SOS 707074 HAS SOPS 348500 HAS SOUS 174041 HAS SOUPS 159899 WITH SCORE 160606.074
AT ITER 6116 NEW BEST:: SOT 1459428 SOS 706897 HAS SOPS 348323 HAS SOUS 173923 HAS SOUPS 159781 WITH SCORE 160487.897
AT ITER 6135 NEW BEST:: SOT 1459404 SOS 706815 HAS SOPS 348241 HAS SOUS 173875 HAS SOUPS 159733 WITH SCORE 160439.815
AT ITER 6163 NEW BEST:: SOT 1459457 SOS 707687 HAS SOPS 348858 HAS SOUS 173850 HAS SOUPS 159708 WITH SCORE 160415.687
AT ITER 6165 NEW BEST:: SOT 1460102 SOS 708368 HAS SOPS 349539 HAS SOUS 173824 HAS SOUPS 159682 WITH SCORE 160390.368
AT ITER 6206 NEW BEST:: SOT 1460044 SOS 708174 HAS SOPS 349345 HAS SOUS 173785 HAS SOUPS 159643 WITH SCORE 160351.174
AT ITER 6245 NEW BEST:: SOT 1460980 SOS 709170 HAS SOPS 350190 HAS SOUS 173655 HAS SOUPS 159513 WITH SCORE 160222.17
AT ITER 6276 NEW BEST:: SOT 1461140 SOS 709355 HAS SOPS 350360 HAS SOUS 173640 HAS SOUPS 159498 WITH SCORE 160207.355
AT ITER 6287 NEW BEST:: SOT 1461119 SOS 709211 HAS SOPS 350216 HAS SOUS 173598 HAS SOUPS 159456 WITH SCORE 160165.211
AT ITER 6303 NEW BEST:: SOT 1461095 SOS 709245 HAS SOPS 341958 HAS SOUS 173597 HAS SOUPS 159455 WITH SCORE 160164.245
AT ITER 6311 NEW BEST:: SOT 1461095 SOS 709273 HAS SOPS 341986 HAS SOUS 173593 HAS SOUPS 159451 WITH SCORE 160160.273
AT ITER 6317 NEW BEST:: SOT 1461152 SOS 709255 HAS SOPS 341893 HAS SOUS 173575 HAS SOUPS 159433 WITH SCORE 160142.255
AT ITER 6352 NEW BEST:: SOT 1461144 SOS 709239 HAS SOPS 341877 HAS SOUS 173559 HAS SOUPS 159417 WITH SCORE 160126.239
AT ITER 6369 NEW BEST:: SOT 1461137 SOS 709183 HAS SOPS 341821 HAS SOUS 173545 HAS SOUPS 159403 WITH SCORE 160112.183
AT ITER 6374 NEW BEST:: SOT 1461174 SOS 709086 HAS SOPS 341627 HAS SOUS 173351 HAS SOUPS 159209 WITH SCORE 159918.086
AT ITER 6376 NEW BEST:: SOT 1461162 SOS 709182 HAS SOPS 341723 HAS SOUS 173339 HAS SOUPS 159197 WITH SCORE 159906.182
AT ITER 6387 NEW BEST:: SOT 1461185 SOS 709102 HAS SOPS 341643 HAS SOUS 173322 HAS SOUPS 159180 WITH SCORE 159889.102
AT ITER 6407 NEW BEST:: SOT 1461173 SOS 709090 HAS SOPS 341627 HAS SOUS 173322 HAS SOUPS 159180 WITH SCORE 159889.09
AT ITER 6409 NEW BEST:: SOT 1461168 SOS 709080 HAS SOPS 341617 HAS SOUS 173312 HAS SOUPS 159170 WITH SCORE 159879.08
AT ITER 6415 NEW BEST:: SOT 1461091 SOS 708926 HAS SOPS 341617 HAS SOUS 173312 HAS SOUPS 159170 WITH SCORE 159878.926
AT ITER 6418 NEW BEST:: SOT 1461321 SOS 709156 HAS SOPS 340927 HAS SOUS 172478 HAS SOUPS 158336 WITH SCORE 159045.156
AT ITER 6427 NEW BEST:: SOT 1461312 SOS 709147 HAS SOPS 340900 HAS SOUS 172460 HAS SOUPS 158309 WITH SCORE 159018.147
AT ITER 6438 NEW BEST:: SOT 1461312 SOS 709055 HAS SOPS 340808 HAS SOUS 172460 HAS SOUPS 158309 WITH SCORE 159018.055
AT ITER 6498 NEW BEST:: SOT 1461312 SOS 708943 HAS SOPS 340696 HAS SOUS 172460 HAS SOUPS 158309 WITH SCORE 159017.943
AT ITER 6512 NEW BEST:: SOT 1461269 SOS 708805 HAS SOPS 340401 HAS SOUS 172165 HAS SOUPS 158014 WITH SCORE 158722.805
AT ITER 6514 NEW BEST:: SOT 1461133 SOS 708686 HAS SOPS 340299 HAS SOUS 172160 HAS SOUPS 158009 WITH SCORE 158717.686
AT ITER 6515 NEW BEST:: SOT 1461120 SOS 708718 HAS SOPS 340331 HAS SOUS 172134 HAS SOUPS 157983 WITH SCORE 158691.718
AT ITER 6521 NEW BEST:: SOT 1461137 SOS 708870 HAS SOPS 340218 HAS SOUS 172087 HAS SOUPS 157870 WITH SCORE 158578.87
AT ITER 6523 NEW BEST:: SOT 1461164 SOS 708888 HAS SOPS 340218 HAS SOUS 172042 HAS SOUPS 157825 WITH SCORE 158533.888
AT ITER 6537 NEW BEST:: SOT 1461164 SOS 708884 HAS SOPS 340214 HAS SOUS 172042 HAS SOUPS 157825 WITH SCORE 158533.884
AT ITER 6539 NEW BEST:: SOT 1461132 SOS 708682 HAS SOPS 340034 HAS SOUS 171978 HAS SOUPS 157761 WITH SCORE 158469.682
AT ITER 6550 NEW BEST:: SOT 1460774 SOS 718331 HAS SOPS 339688 HAS SOUS 171730 HAS SOUPS 157463 WITH SCORE 158181.331
AT ITER 6563 NEW BEST:: SOT 1460860 SOS 718246 HAS SOPS 339642 HAS SOUS 171684 HAS SOUPS 157417 WITH SCORE 158135.246
AT ITER 6567 NEW BEST:: SOT 1456910 SOS 714256 HAS SOPS 335652 HAS SOUS 171350 HAS SOUPS 157083 WITH SCORE 157797.256
AT ITER 6578 NEW BEST:: SOT 1456910 SOS 714183 HAS SOPS 335579 HAS SOUS 171350 HAS SOUPS 157083 WITH SCORE 157797.183
AT ITER 6587 NEW BEST:: SOT 1456919 SOS 715514 HAS SOPS 336910 HAS SOUS 171221 HAS SOUPS 156954 WITH SCORE 157669.514
AT ITER 6597 NEW BEST:: SOT 1456890 SOS 715532 HAS SOPS 336975 HAS SOUS 171210 HAS SOUPS 156943 WITH SCORE 157658.532
AT ITER 6604 NEW BEST:: SOT 1456885 SOS 716286 HAS SOPS 337645 HAS SOUS 171200 HAS SOUPS 156933 WITH SCORE 157649.286
AT ITER 6605 NEW BEST:: SOT 1456750 SOS 715970 HAS SOPS 337329 HAS SOUS 170979 HAS SOUPS 156712 WITH SCORE 157427.97
AT ITER 6608 NEW BEST:: SOT 1456774 SOS 715994 HAS SOPS 337305 HAS SOUS 170955 HAS SOUPS 156688 WITH SCORE 157403.994
AT ITER 6609 NEW BEST:: SOT 1456775 SOS 716003 HAS SOPS 337299 HAS SOUS 170932 HAS SOUPS 156651 WITH SCORE 157367.003
AT ITER 6613 NEW BEST:: SOT 1456775 SOS 715688 HAS SOPS 336984 HAS SOUS 170897 HAS SOUPS 156616 WITH SCORE 157331.688
AT ITER 6625 NEW BEST:: SOT 1456771 SOS 715860 HAS SOPS 337156 HAS SOUS 170889 HAS SOUPS 156608 WITH SCORE 157323.86
AT ITER 6634 NEW BEST:: SOT 1456767 SOS 715856 HAS SOPS 337140 HAS SOUS 170873 HAS SOUPS 156592 WITH SCORE 157307.856
AT ITER 6647 NEW BEST:: SOT 1456767 SOS 715988 HAS SOPS 337272 HAS SOUS 170829 HAS SOUPS 156548 WITH SCORE 157263.988
AT ITER 6704 NEW BEST:: SOT 1456763 SOS 716088 HAS SOPS 337252 HAS SOUS 170829 HAS SOUPS 156546 WITH SCORE 157262.088
AT ITER 6750 NEW BEST:: SOT 1456712 SOS 716105 HAS SOPS 337269 HAS SOUS 170720 HAS SOUPS 156437 WITH SCORE 157153.105
AT ITER 6757 NEW BEST:: SOT 1456167 SOS 715528 HAS SOPS 336731 HAS SOUS 170695 HAS SOUPS 156412 WITH SCORE 157127.528
AT ITER 6780 NEW BEST:: SOT 1456349 SOS 715710 HAS SOPS 336921 HAS SOUS 170268 HAS SOUPS 155993 WITH SCORE 156708.71
AT ITER 6800 NEW BEST:: SOT 1456510 SOS 715871 HAS SOPS 337059 HAS SOUS 170245 HAS SOUPS 155970 WITH SCORE 156685.871
AT ITER 6809 NEW BEST:: SOT 1456596 SOS 715765 HAS SOPS 336953 HAS SOUS 170225 HAS SOUPS 155950 WITH SCORE 156665.765
AT ITER 6852 NEW BEST:: SOT 1456470 SOS 715744 HAS SOPS 336932 HAS SOUS 170118 HAS SOUPS 155843 WITH SCORE 156558.744
AT ITER 6881 NEW BEST:: SOT 1456386 SOS 715614 HAS SOPS 336802 HAS SOUS 170030 HAS SOUPS 155755 WITH SCORE 156470.614
AT ITER 6898 NEW BEST:: SOT 1456366 SOS 715254 HAS SOPS 336442 HAS SOUS 170030 HAS SOUPS 155755 WITH SCORE 156470.254
AT ITER 6901 NEW BEST:: SOT 1456363 SOS 715251 HAS SOPS 336439 HAS SOUS 170024 HAS SOUPS 155749 WITH SCORE 156464.251
AT ITER 6907 NEW BEST:: SOT 1456354 SOS 715198 HAS SOPS 336386 HAS SOUS 169993 HAS SOUPS 155718 WITH SCORE 156433.198
AT ITER 6910 NEW BEST:: SOT 1456302 SOS 714948 HAS SOPS 336136 HAS SOUS 169919 HAS SOUPS 155644 WITH SCORE 156358.948
AT ITER 6935 NEW BEST:: SOT 1456329 SOS 714968 HAS SOPS 336134 HAS SOUS 169917 HAS SOUPS 155642 WITH SCORE 156356.968
AT ITER 6949 NEW BEST:: SOT 1456326 SOS 714962 HAS SOPS 336128 HAS SOUS 169911 HAS SOUPS 155636 WITH SCORE 156350.962
AT ITER 6964 NEW BEST:: SOT 1456298 SOS 714934 HAS SOPS 336192 HAS SOUS 169811 HAS SOUPS 155608 WITH SCORE 156322.934
AT ITER 6975 NEW BEST:: SOT 1456280 SOS 714927 HAS SOPS 336156 HAS SOUS 169775 HAS SOUPS 155572 WITH SCORE 156286.927
AT ITER 6990 NEW BEST:: SOT 1456280 SOS 714927 HAS SOPS 336156 HAS SOUS 169680 HAS SOUPS 155477 WITH SCORE 156191.927
AT ITER 6995 NEW BEST:: SOT 1456262 SOS 714891 HAS SOPS 336120 HAS SOUS 169644 HAS SOUPS 155441 WITH SCORE 156155.891
AT ITER 7002 NEW BEST:: SOT 1456259 SOS 714887 HAS SOPS 336115 HAS SOUS 169639 HAS SOUPS 155436 WITH SCORE 156150.887
AT ITER 7004 NEW BEST:: SOT 1456326 SOS 714217 HAS SOPS 335445 HAS SOUS 169639 HAS SOUPS 155436 WITH SCORE 156150.217
AT ITER 7083 NEW BEST:: SOT 1456323 SOS 714211 HAS SOPS 335439 HAS SOUS 169633 HAS SOUPS 155430 WITH SCORE 156144.211
AT ITER 7093 NEW BEST:: SOT 1456243 SOS 715155 HAS SOPS 336383 HAS SOUS 169553 HAS SOUPS 155350 WITH SCORE 156065.155
AT ITER 7094 NEW BEST:: SOT 1456416 SOS 715344 HAS SOPS 336521 HAS SOUS 169524 HAS SOUPS 155321 WITH SCORE 156036.344
AT ITER 7106 NEW BEST:: SOT 1456427 SOS 715228 HAS SOPS 336253 HAS SOUS 169501 HAS SOUPS 155298 WITH SCORE 156013.228
AT ITER 7125 NEW BEST:: SOT 1456427 SOS 715222 HAS SOPS 336247 HAS SOUS 169501 HAS SOUPS 155298 WITH SCORE 156013.222
AT ITER 7167 NEW BEST:: SOT 1456425 SOS 715218 HAS SOPS 336243 HAS SOUS 169497 HAS SOUPS 155294 WITH SCORE 156009.218
AT ITER 7173 NEW BEST:: SOT 1456398 SOS 715207 HAS SOPS 336221 HAS SOUS 169486 HAS SOUPS 155272 WITH SCORE 155987.207
AT ITER 7174 NEW BEST:: SOT 1456398 SOS 715253 HAS SOPS 336267 HAS SOUS 169474 HAS SOUPS 155260 WITH SCORE 155975.253
AT ITER 7185 NEW BEST:: SOT 1456324 SOS 714896 HAS SOPS 335910 HAS SOUS 169326 HAS SOUPS 155112 WITH SCORE 155826.896
AT ITER 7215 NEW BEST:: SOT 1456366 SOS 714992 HAS SOPS 335896 HAS SOUS 169312 HAS SOUPS 155098 WITH SCORE 155812.992
AT ITER 7219 NEW BEST:: SOT 1456341 SOS 714967 HAS SOPS 335819 HAS SOUS 169240 HAS SOUPS 155021 WITH SCORE 155735.967
AT ITER 7221 NEW BEST:: SOT 1456334 SOS 714953 HAS SOPS 335805 HAS SOUS 169226 HAS SOUPS 155007 WITH SCORE 155721.953
AT ITER 7258 NEW BEST:: SOT 1456212 SOS 714803 HAS SOPS 335747 HAS SOUS 169168 HAS SOUPS 154949 WITH SCORE 155663.803
AT ITER 7266 NEW BEST:: SOT 1456188 SOS 714661 HAS SOPS 335605 HAS SOUS 169167 HAS SOUPS 154948 WITH SCORE 155662.661
AT ITER 7299 NEW BEST:: SOT 1456238 SOS 713614 HAS SOPS 335638 HAS SOUS 169104 HAS SOUPS 154903 WITH SCORE 155616.614
AT ITER 7306 NEW BEST:: SOT 1456244 SOS 713620 HAS SOPS 335594 HAS SOUS 169102 HAS SOUPS 154901 WITH SCORE 155614.62
AT ITER 7314 NEW BEST:: SOT 1456251 SOS 713769 HAS SOPS 335743 HAS SOUS 169089 HAS SOUPS 154888 WITH SCORE 155601.769
AT ITER 7341 NEW BEST:: SOT 1455928 SOS 713446 HAS SOPS 335403 HAS SOUS 169089 HAS SOUPS 154888 WITH SCORE 155601.446
AT ITER 7348 NEW BEST:: SOT 1455928 SOS 713446 HAS SOPS 335403 HAS SOUS 169072 HAS SOUPS 154871 WITH SCORE 155584.446
AT ITER 7351 NEW BEST:: SOT 1454602 SOS 718148 HAS SOPS 334177 HAS SOUS 168961 HAS SOUPS 154646 WITH SCORE 155364.148
AT ITER 7400 NEW BEST:: SOT 1454602 SOS 718024 HAS SOPS 334053 HAS SOUS 168961 HAS SOUPS 154646 WITH SCORE 155364.024
AT ITER 7443 NEW BEST:: SOT 1454544 SOS 717260 HAS SOPS 333289 HAS SOUS 168903 HAS SOUPS 154588 WITH SCORE 155305.26
AT ITER 7446 NEW BEST:: SOT 1455432 SOS 718181 HAS SOPS 334210 HAS SOUS 168886 HAS SOUPS 154571 WITH SCORE 155289.181
AT ITER 7521 NEW BEST:: SOT 1454204 SOS 716953 HAS SOPS 332293 HAS SOUS 168733 HAS SOUPS 154418 WITH SCORE 155134.953
AT ITER 7531 NEW BEST:: SOT 1454204 SOS 716961 HAS SOPS 332291 HAS SOUS 168714 HAS SOUPS 154399 WITH SCORE 155115.961
AT ITER 7539 NEW BEST:: SOT 1454176 SOS 716519 HAS SOPS 331849 HAS SOUS 168704 HAS SOUPS 154389 WITH SCORE 155105.519
AT ITER 7543 NEW BEST:: SOT 1454153 SOS 716113 HAS SOPS 331484 HAS SOUS 168703 HAS SOUPS 154388 WITH SCORE 155104.113
AT ITER 7546 NEW BEST:: SOT 1454153 SOS 716112 HAS SOPS 331483 HAS SOUS 168703 HAS SOUPS 154388 WITH SCORE 155104.112
AT ITER 7549 NEW BEST:: SOT 1454127 SOS 715962 HAS SOPS 331333 HAS SOUS 168651 HAS SOUPS 154336 WITH SCORE 155051.962
AT ITER 7551 NEW BEST:: SOT 1453936 SOS 715628 HAS SOPS 330639 HAS SOUS 168100 HAS SOUPS 153776 WITH SCORE 154491.628
AT ITER 7565 NEW BEST:: SOT 1453913 SOS 715544 HAS SOPS 330555 HAS SOUS 168016 HAS SOUPS 153692 WITH SCORE 154407.544
AT ITER 7567 NEW BEST:: SOT 1453902 SOS 715380 HAS SOPS 330424 HAS SOUS 168012 HAS SOUPS 153688 WITH SCORE 154403.38
AT ITER 7572 NEW BEST:: SOT 1453628 SOS 714969 HAS SOPS 330013 HAS SOUS 167601 HAS SOUPS 153277 WITH SCORE 153991.969
AT ITER 7585 NEW BEST:: SOT 1453564 SOS 714828 HAS SOPS 329346 HAS SOUS 167464 HAS SOUPS 153149 WITH SCORE 153863.828
AT ITER 7604 NEW BEST:: SOT 1453541 SOS 714377 HAS SOPS 328895 HAS SOUS 167463 HAS SOUPS 153148 WITH SCORE 153862.377
AT ITER 7615 NEW BEST:: SOT 1453536 SOS 714377 HAS SOPS 328890 HAS SOUS 167458 HAS SOUPS 153143 WITH SCORE 153857.377
AT ITER 7633 NEW BEST:: SOT 1453522 SOS 714361 HAS SOPS 328876 HAS SOUS 167458 HAS SOUPS 153143 WITH SCORE 153857.361
AT ITER 7642 NEW BEST:: SOT 1453517 SOS 714355 HAS SOPS 328871 HAS SOUS 167453 HAS SOUPS 153138 WITH SCORE 153852.355
AT ITER 7643 NEW BEST:: SOT 1453584 SOS 714422 HAS SOPS 328938 HAS SOUS 167429 HAS SOUPS 153114 WITH SCORE 153828.422
AT ITER 7683 NEW BEST:: SOT 1453584 SOS 714366 HAS SOPS 328882 HAS SOUS 167429 HAS SOUPS 153114 WITH SCORE 153828.366
AT ITER 7697 NEW BEST:: SOT 1453465 SOS 714230 HAS SOPS 328763 HAS SOUS 167429 HAS SOUPS 153114 WITH SCORE 153828.23
AT ITER 7707 NEW BEST:: SOT 1453472 SOS 714237 HAS SOPS 328762 HAS SOUS 167428 HAS SOUPS 153113 WITH SCORE 153827.237
AT ITER 7708 NEW BEST:: SOT 1453280 SOS 714045 HAS SOPS 328510 HAS SOUS 167401 HAS SOUPS 153086 WITH SCORE 153800.045
AT ITER 7718 NEW BEST:: SOT 1453280 SOS 713976 HAS SOPS 328441 HAS SOUS 167378 HAS SOUPS 153063 WITH SCORE 153776.976
AT ITER 7732 NEW BEST:: SOT 1453280 SOS 713908 HAS SOPS 328373 HAS SOUS 167359 HAS SOUPS 153044 WITH SCORE 153757.908
AT ITER 7734 NEW BEST:: SOT 1453297 SOS 713450 HAS SOPS 327915 HAS SOUS 167322 HAS SOUPS 153007 WITH SCORE 153720.45
AT ITER 7754 NEW BEST:: SOT 1453285 SOS 713437 HAS SOPS 327914 HAS SOUS 167310 HAS SOUPS 152995 WITH SCORE 153708.437
AT ITER 7757 NEW BEST:: SOT 1453297 SOS 713297 HAS SOPS 327416 HAS SOUS 167293 HAS SOUPS 152978 WITH SCORE 153691.297
AT ITER 7795 NEW BEST:: SOT 1453236 SOS 713321 HAS SOPS 327440 HAS SOUS 167232 HAS SOUPS 152917 WITH SCORE 153630.321
AT ITER 7807 NEW BEST:: SOT 1453095 SOS 712871 HAS SOPS 327146 HAS SOUS 167174 HAS SOUPS 152859 WITH SCORE 153571.871
AT ITER 7810 NEW BEST:: SOT 1452483 SOS 712229 HAS SOPS 326282 HAS SOUS 167162 HAS SOUPS 152817 WITH SCORE 153529.229
AT ITER 7842 NEW BEST:: SOT 1450636 SOS 710265 HAS SOPS 323629 HAS SOUS 166649 HAS SOUPS 152212 WITH SCORE 152922.265
AT ITER 7862 NEW BEST:: SOT 1450627 SOS 710157 HAS SOPS 323521 HAS SOUS 166646 HAS SOUPS 152209 WITH SCORE 152919.157
AT ITER 7864 NEW BEST:: SOT 1450527 SOS 710466 HAS SOPS 323830 HAS SOUS 166600 HAS SOUPS 152163 WITH SCORE 152873.466
AT ITER 7879 NEW BEST:: SOT 1450525 SOS 710460 HAS SOPS 323824 HAS SOUS 166598 HAS SOUPS 152161 WITH SCORE 152871.46
AT ITER 7882 NEW BEST:: SOT 1450525 SOS 710451 HAS SOPS 323815 HAS SOUS 166598 HAS SOUPS 152161 WITH SCORE 152871.451
AT ITER 7885 NEW BEST:: SOT 1450505 SOS 710493 HAS SOPS 323639 HAS SOUS 166505 HAS SOUPS 152068 WITH SCORE 152778.493
AT ITER 7931 NEW BEST:: SOT 1450463 SOS 710409 HAS SOPS 323555 HAS SOUS 166421 HAS SOUPS 151984 WITH SCORE 152694.409
AT ITER 7936 NEW BEST:: SOT 1450463 SOS 710081 HAS SOPS 323227 HAS SOUS 166421 HAS SOUPS 151984 WITH SCORE 152694.081
AT ITER 7954 NEW BEST:: SOT 1450460 SOS 710078 HAS SOPS 323227 HAS SOUS 166421 HAS SOUPS 151984 WITH SCORE 152694.078
AT ITER 7962 NEW BEST:: SOT 1449246 SOS 708762 HAS SOPS 323053 HAS SOUS 166293 HAS SOUPS 151810 WITH SCORE 152518.762
AT ITER 7966 NEW BEST:: SOT 1449111 SOS 708546 HAS SOPS 322846 HAS SOUS 166141 HAS SOUPS 151658 WITH SCORE 152366.546
AT ITER 7984 NEW BEST:: SOT 1449080 SOS 708531 HAS SOPS 322831 HAS SOUS 166126 HAS SOUPS 151643 WITH SCORE 152351.531
AT ITER 7985 NEW BEST:: SOT 1449080 SOS 708531 HAS SOPS 322831 HAS SOUS 166106 HAS SOUPS 151623 WITH SCORE 152331.531
AT ITER 7988 NEW BEST:: SOT 1449021 SOS 708355 HAS SOPS 322655 HAS SOUS 166027 HAS SOUPS 151544 WITH SCORE 152252.355
AT ITER 7998 NEW BEST:: SOT 1449023 SOS 708404 HAS SOPS 322704 HAS SOUS 166016 HAS SOUPS 151533 WITH SCORE 152241.404
AT ITER 8016 NEW BEST:: SOT 1448976 SOS 708335 HAS SOPS 322635 HAS SOUS 165959 HAS SOUPS 151476 WITH SCORE 152184.335
AT ITER 8028 NEW BEST:: SOT 1448409 SOS 707768 HAS SOPS 321987 HAS SOUS 165959 HAS SOUPS 151395 WITH SCORE 152102.768
AT ITER 8046 NEW BEST:: SOT 1448382 SOS 707660 HAS SOPS 321907 HAS SOUS 165892 HAS SOUPS 151328 WITH SCORE 152035.66
AT ITER 8117 NEW BEST:: SOT 1448382 SOS 707633 HAS SOPS 321880 HAS SOUS 165865 HAS SOUPS 151301 WITH SCORE 152008.633
AT ITER 8121 NEW BEST:: SOT 1448326 SOS 707731 HAS SOPS 322054 HAS SOUS 165837 HAS SOUPS 151273 WITH SCORE 151980.731
AT ITER 8135 NEW BEST:: SOT 1448294 SOS 707718 HAS SOPS 322041 HAS SOUS 165832 HAS SOUPS 151268 WITH SCORE 151975.718
AT ITER 8160 NEW BEST:: SOT 1448262 SOS 707651 HAS SOPS 321974 HAS SOUS 165765 HAS SOUPS 151201 WITH SCORE 151908.651
AT ITER 8172 NEW BEST:: SOT 1448258 SOS 707643 HAS SOPS 321966 HAS SOUS 165757 HAS SOUPS 151193 WITH SCORE 151900.643
AT ITER 8252 NEW BEST:: SOT 1448254 SOS 707639 HAS SOPS 321964 HAS SOUS 165755 HAS SOUPS 151191 WITH SCORE 151898.639
AT ITER 8320 NEW BEST:: SOT 1448415 SOS 707800 HAS SOPS 322118 HAS SOUS 165752 HAS SOUPS 151188 WITH SCORE 151895.8
AT ITER 8354 NEW BEST:: SOT 1448399 SOS 707786 HAS SOPS 322100 HAS SOUS 165748 HAS SOUPS 151184 WITH SCORE 151891.786
AT ITER 8369 NEW BEST:: SOT 1448398 SOS 707787 HAS SOPS 322101 HAS SOUS 165746 HAS SOUPS 151182 WITH SCORE 151889.787
AT ITER 8388 NEW BEST:: SOT 1448398 SOS 707651 HAS SOPS 321965 HAS SOUS 165746 HAS SOUPS 151182 WITH SCORE 151889.651
AT ITER 8406 NEW BEST:: SOT 1448000 SOS 707256 HAS SOPS 321578 HAS SOUS 165643 HAS SOUPS 151079 WITH SCORE 151786.256
AT ITER 8411 NEW BEST:: SOT 1447998 SOS 707252 HAS SOPS 321574 HAS SOUS 165637 HAS SOUPS 151073 WITH SCORE 151780.252
AT ITER 8442 NEW BEST:: SOT 1448169 SOS 707423 HAS SOPS 321745 HAS SOUS 165619 HAS SOUPS 151055 WITH SCORE 151762.423
AT ITER 8453 NEW BEST:: SOT 1448152 SOS 707477 HAS SOPS 321799 HAS SOUS 165598 HAS SOUPS 151034 WITH SCORE 151741.477
AT ITER 8476 NEW BEST:: SOT 1448097 SOS 707422 HAS SOPS 321744 HAS SOUS 165543 HAS SOUPS 150979 WITH SCORE 151686.422
AT ITER 8479 NEW BEST:: SOT 1448097 SOS 707406 HAS SOPS 321728 HAS SOUS 165543 HAS SOUPS 150979 WITH SCORE 151686.406
AT ITER 8496 NEW BEST:: SOT 1447936 SOS 707222 HAS SOPS 321544 HAS SOUS 165471 HAS SOUPS 150907 WITH SCORE 151614.222
AT ITER 8503 NEW BEST:: SOT 1444643 SOS 703910 HAS SOPS 318107 HAS SOUS 163742 HAS SOUPS 149178 WITH SCORE 149881.91
AT ITER 8521 NEW BEST:: SOT 1444619 SOS 703834 HAS SOPS 318031 HAS SOUS 163733 HAS SOUPS 149169 WITH SCORE 149872.834
AT ITER 8529 NEW BEST:: SOT 1444411 SOS 703801 HAS SOPS 317998 HAS SOUS 163733 HAS SOUPS 149169 WITH SCORE 149872.801
AT ITER 8557 NEW BEST:: SOT 1444355 SOS 703674 HAS SOPS 317886 HAS SOUS 163693 HAS SOUPS 149129 WITH SCORE 149832.674
AT ITER 8561 NEW BEST:: SOT 1444344 SOS 703546 HAS SOPS 317758 HAS SOUS 163671 HAS SOUPS 149107 WITH SCORE 149810.546
AT ITER 8594 NEW BEST:: SOT 1444344 SOS 703567 HAS SOPS 317779 HAS SOUS 163667 HAS SOUPS 149103 WITH SCORE 149806.567
AT ITER 8602 NEW BEST:: SOT 1444244 SOS 703370 HAS SOPS 317599 HAS SOUS 163577 HAS SOUPS 149013 WITH SCORE 149716.37
AT ITER 8619 NEW BEST:: SOT 1444234 SOS 703360 HAS SOPS 317579 HAS SOUS 163557 HAS SOUPS 148993 WITH SCORE 149696.36
AT ITER 8633 NEW BEST:: SOT 1444289 SOS 703485 HAS SOPS 317560 HAS SOUS 163488 HAS SOUPS 148974 WITH SCORE 149677.485
AT ITER 8635 NEW BEST:: SOT 1444273 SOS 703437 HAS SOPS 317528 HAS SOUS 163472 HAS SOUPS 148958 WITH SCORE 149661.437
AT ITER 8636 NEW BEST:: SOT 1444307 SOS 703471 HAS SOPS 317519 HAS SOUS 163463 HAS SOUPS 148949 WITH SCORE 149652.471
AT ITER 8644 NEW BEST:: SOT 1444150 SOS 703261 HAS SOPS 317205 HAS SOUS 163287 HAS SOUPS 148773 WITH SCORE 149476.261
AT ITER 8646 NEW BEST:: SOT 1444147 SOS 704307 HAS SOPS 318251 HAS SOUS 163281 HAS SOUPS 148767 WITH SCORE 149471.307
AT ITER 8659 NEW BEST:: SOT 1443837 SOS 703958 HAS SOPS 317941 HAS SOUS 163244 HAS SOUPS 148730 WITH SCORE 149433.958
AT ITER 8687 NEW BEST:: SOT 1443822 SOS 703712 HAS SOPS 317695 HAS SOUS 163214 HAS SOUPS 148700 WITH SCORE 149403.712
AT ITER 8696 NEW BEST:: SOT 1443822 SOS 703647 HAS SOPS 317617 HAS SOUS 163201 HAS SOUPS 148687 WITH SCORE 149390.647
AT ITER 8703 NEW BEST:: SOT 1443819 SOS 703611 HAS SOPS 317581 HAS SOUS 163195 HAS SOUPS 148681 WITH SCORE 149384.611
AT ITER 8757 NEW BEST:: SOT 1443740 SOS 703562 HAS SOPS 317423 HAS SOUS 163037 HAS SOUPS 148523 WITH SCORE 149226.562
AT ITER 8788 NEW BEST:: SOT 1443738 SOS 703558 HAS SOPS 317419 HAS SOUS 163033 HAS SOUPS 148519 WITH SCORE 149222.558
AT ITER 8808 NEW BEST:: SOT 1443710 SOS 703502 HAS SOPS 317363 HAS SOUS 162977 HAS SOUPS 148463 WITH SCORE 149166.502
AT ITER 8815 NEW BEST:: SOT 1443711 SOS 703501 HAS SOPS 317362 HAS SOUS 162977 HAS SOUPS 148463 WITH SCORE 149166.501
AT ITER 8831 NEW BEST:: SOT 1443694 SOS 703523 HAS SOPS 317384 HAS SOUS 162960 HAS SOUPS 148446 WITH SCORE 149149.523
AT ITER 8851 NEW BEST:: SOT 1443617 SOS 703514 HAS SOPS 317375 HAS SOUS 162917 HAS SOUPS 148403 WITH SCORE 149106.514
AT ITER 8866 NEW BEST:: SOT 1443599 SOS 703306 HAS SOPS 317167 HAS SOUS 162881 HAS SOUPS 148367 WITH SCORE 149070.306
AT ITER 8871 NEW BEST:: SOT 1443599 SOS 703236 HAS SOPS 317027 HAS SOUS 162741 HAS SOUPS 148227 WITH SCORE 148930.236
AT ITER 8883 NEW BEST:: SOT 1443514 SOS 703750 HAS SOPS 317541 HAS SOUS 162612 HAS SOUPS 148098 WITH SCORE 148801.75
AT ITER 8906 NEW BEST:: SOT 1443516 SOS 703733 HAS SOPS 317524 HAS SOUS 162573 HAS SOUPS 148059 WITH SCORE 148762.733
AT ITER 8933 NEW BEST:: SOT 1443534 SOS 703775 HAS SOPS 317566 HAS SOUS 162553 HAS SOUPS 148039 WITH SCORE 148742.775
AT ITER 8945 NEW BEST:: SOT 1443385 SOS 704805 HAS SOPS 318892 HAS SOUS 162502 HAS SOUPS 147988 WITH SCORE 148692.805
AT ITER 8951 NEW BEST:: SOT 1443358 SOS 705018 HAS SOPS 318865 HAS SOUS 162512 HAS SOUPS 147985 WITH SCORE 148690.018
AT ITER 9040 NEW BEST:: SOT 1443459 SOS 704510 HAS SOPS 318024 HAS SOUS 162489 HAS SOUPS 147962 WITH SCORE 148666.51
AT ITER 9055 NEW BEST:: SOT 1443444 SOS 704480 HAS SOPS 317994 HAS SOUS 162459 HAS SOUPS 147932 WITH SCORE 148636.48
AT ITER 9072 NEW BEST:: SOT 1443246 SOS 704282 HAS SOPS 317807 HAS SOUS 162272 HAS SOUPS 147745 WITH SCORE 148449.282
AT ITER 9081 NEW BEST:: SOT 1443217 SOS 704719 HAS SOPS 318561 HAS SOUS 162264 HAS SOUPS 147737 WITH SCORE 148441.719
AT ITER 9093 NEW BEST:: SOT 1443210 SOS 704726 HAS SOPS 318568 HAS SOUS 162250 HAS SOUPS 147723 WITH SCORE 148427.726
AT ITER 9130 NEW BEST:: SOT 1443193 SOS 704780 HAS SOPS 318622 HAS SOUS 162246 HAS SOUPS 147719 WITH SCORE 148423.78
AT ITER 9147 NEW BEST:: SOT 1443183 SOS 704690 HAS SOPS 318532 HAS SOUS 162236 HAS SOUPS 147709 WITH SCORE 148413.69
AT ITER 9150 NEW BEST:: SOT 1443183 SOS 704616 HAS SOPS 318458 HAS SOUS 162199 HAS SOUPS 147672 WITH SCORE 148376.616
AT ITER 9176 NEW BEST:: SOT 1443183 SOS 704588 HAS SOPS 318458 HAS SOUS 162199 HAS SOUPS 147672 WITH SCORE 148376.588
AT ITER 9192 NEW BEST:: SOT 1443135 SOS 704540 HAS SOPS 318434 HAS SOUS 162175 HAS SOUPS 147648 WITH SCORE 148352.54
AT ITER 9207 NEW BEST:: SOT 1444291 SOS 705727 HAS SOPS 319566 HAS SOUS 162168 HAS SOUPS 147598 WITH SCORE 148303.727
AT ITER 9238 NEW BEST:: SOT 1444091 SOS 705452 HAS SOPS 319316 HAS SOUS 162143 HAS SOUPS 147573 WITH SCORE 148278.452
AT ITER 9280 NEW BEST:: SOT 1442711 SOS 704072 HAS SOPS 317936 HAS SOUS 160954 HAS SOUPS 146384 WITH SCORE 147088.072
AT ITER 9329 NEW BEST:: SOT 1442756 SOS 704020 HAS SOPS 317974 HAS SOUS 160888 HAS SOUPS 146338 WITH SCORE 147042.02
AT ITER 9334 NEW BEST:: SOT 1442697 SOS 703519 HAS SOPS 317249 HAS SOUS 160788 HAS SOUPS 146238 WITH SCORE 146941.519
AT ITER 9336 NEW BEST:: SOT 1442696 SOS 703517 HAS SOPS 317247 HAS SOUS 160786 HAS SOUPS 146236 WITH SCORE 146939.517
AT ITER 9357 NEW BEST:: SOT 1442666 SOS 702120 HAS SOPS 317116 HAS SOUS 160635 HAS SOUPS 146145 WITH SCORE 146847.12
AT ITER 9366 NEW BEST:: SOT 1442231 SOS 705658 HAS SOPS 316698 HAS SOUS 160631 HAS SOUPS 146077 WITH SCORE 146782.658
AT ITER 9400 NEW BEST:: SOT 1442285 SOS 705722 HAS SOPS 316746 HAS SOUS 160592 HAS SOUPS 146038 WITH SCORE 146743.722
AT ITER 9413 NEW BEST:: SOT 1442041 SOS 705441 HAS SOPS 316251 HAS SOUS 160588 HAS SOUPS 146034 WITH SCORE 146739.441
AT ITER 9418 NEW BEST:: SOT 1441933 SOS 705321 HAS SOPS 316035 HAS SOUS 160552 HAS SOUPS 145998 WITH SCORE 146703.321
AT ITER 9422 NEW BEST:: SOT 1441969 SOS 705291 HAS SOPS 315954 HAS SOUS 160522 HAS SOUPS 145968 WITH SCORE 146673.291
AT ITER 9432 NEW BEST:: SOT 1441994 SOS 705316 HAS SOPS 316104 HAS SOUS 160472 HAS SOUPS 145918 WITH SCORE 146623.316
AT ITER 9456 NEW BEST:: SOT 1441980 SOS 705260 HAS SOPS 316048 HAS SOUS 160444 HAS SOUPS 145890 WITH SCORE 146595.26
AT ITER 9458 NEW BEST:: SOT 1441983 SOS 705257 HAS SOPS 316045 HAS SOUS 160444 HAS SOUPS 145890 WITH SCORE 146595.257
AT ITER 9463 NEW BEST:: SOT 1441968 SOS 705324 HAS SOPS 316015 HAS SOUS 160612 HAS SOUPS 145860 WITH SCORE 146565.324
AT ITER 9468 NEW BEST:: SOT 1441968 SOS 705297 HAS SOPS 315988 HAS SOUS 160594 HAS SOUPS 145842 WITH SCORE 146547.297
AT ITER 9497 NEW BEST:: SOT 1441934 SOS 704923 HAS SOPS 315648 HAS SOUS 160560 HAS SOUPS 145808 WITH SCORE 146512.923
AT ITER 9500 NEW BEST:: SOT 1441928 SOS 705028 HAS SOPS 315753 HAS SOUS 160548 HAS SOUPS 145796 WITH SCORE 146501.028
AT ITER 9517 NEW BEST:: SOT 1441924 SOS 705020 HAS SOPS 315745 HAS SOUS 160540 HAS SOUPS 145788 WITH SCORE 146493.02
AT ITER 9522 NEW BEST:: SOT 1441726 SOS 705995 HAS SOPS 315356 HAS SOUS 160397 HAS SOUPS 145623 WITH SCORE 146328.995
AT ITER 9529 NEW BEST:: SOT 1441695 SOS 705964 HAS SOPS 315294 HAS SOUS 160335 HAS SOUPS 145561 WITH SCORE 146266.964
AT ITER 9531 NEW BEST:: SOT 1440555 SOS 705466 HAS SOPS 314089 HAS SOUS 160441 HAS SOUPS 145533 WITH SCORE 146238.466
AT ITER 9534 NEW BEST:: SOT 1440536 SOS 705446 HAS SOPS 314050 HAS SOUS 160393 HAS SOUPS 145485 WITH SCORE 146190.446
AT ITER 9547 NEW BEST:: SOT 1440536 SOS 705436 HAS SOPS 314040 HAS SOUS 160393 HAS SOUPS 145485 WITH SCORE 146190.436
AT ITER 9568 NEW BEST:: SOT 1440536 SOS 705434 HAS SOPS 314038 HAS SOUS 160391 HAS SOUPS 145483 WITH SCORE 146188.434
AT ITER 9582 NEW BEST:: SOT 1440524 SOS 705422 HAS SOPS 314026 HAS SOUS 160391 HAS SOUPS 145483 WITH SCORE 146188.422
AT ITER 9608 NEW BEST:: SOT 1440510 SOS 705394 HAS SOPS 313998 HAS SOUS 160363 HAS SOUPS 145455 WITH SCORE 146160.394
AT ITER 9619 NEW BEST:: SOT 1440496 SOS 705380 HAS SOPS 313968 HAS SOUS 160363 HAS SOUPS 145439 WITH SCORE 146144.38
AT ITER 9623 NEW BEST:: SOT 1440496 SOS 705380 HAS SOPS 313968 HAS SOUS 160358 HAS SOUPS 145434 WITH SCORE 146139.38
AT ITER 9697 NEW BEST:: SOT 1440455 SOS 705340 HAS SOPS 313907 HAS SOUS 160297 HAS SOUPS 145373 WITH SCORE 146078.34
AT ITER 9718 NEW BEST:: SOT 1440808 SOS 705693 HAS SOPS 314221 HAS SOUS 160282 HAS SOUPS 145358 WITH SCORE 146063.693
AT ITER 9766 NEW BEST:: SOT 1440796 SOS 705693 HAS SOPS 314209 HAS SOUS 160270 HAS SOUPS 145346 WITH SCORE 146051.693
AT ITER 9768 NEW BEST:: SOT 1440796 SOS 705673 HAS SOPS 314189 HAS SOUS 160260 HAS SOUPS 145336 WITH SCORE 146041.673
AT ITER 9777 NEW BEST:: SOT 1440790 SOS 705661 HAS SOPS 314177 HAS SOUS 160254 HAS SOUPS 145330 WITH SCORE 146035.661
AT ITER 9788 NEW BEST:: SOT 1440410 SOS 705281 HAS SOPS 313717 HAS SOUS 160174 HAS SOUPS 145250 WITH SCORE 145955.281
AT ITER 9808 NEW BEST:: SOT 1440401 SOS 705245 HAS SOPS 313699 HAS SOUS 160156 HAS SOUPS 145232 WITH SCORE 145937.245
AT ITER 9825 NEW BEST:: SOT 1440315 SOS 705333 HAS SOPS 313787 HAS SOUS 160124 HAS SOUPS 145200 WITH SCORE 145905.333
AT ITER 9837 NEW BEST:: SOT 1440045 SOS 705063 HAS SOPS 313532 HAS SOUS 160055 HAS SOUPS 145131 WITH SCORE 145836.063
AT ITER 9844 NEW BEST:: SOT 1440247 SOS 705384 HAS SOPS 313858 HAS SOUS 159989 HAS SOUPS 145081 WITH SCORE 145786.384
AT ITER 9876 NEW BEST:: SOT 1440175 SOS 705312 HAS SOPS 313978 HAS SOUS 159900 HAS SOUPS 144992 WITH SCORE 145697.312
AT ITER 9917 NEW BEST:: SOT 1440167 SOS 705310 HAS SOPS 313976 HAS SOUS 159891 HAS SOUPS 144983 WITH SCORE 145688.31
AT ITER 9956 NEW BEST:: SOT 1440147 SOS 705270 HAS SOPS 313936 HAS SOUS 159851 HAS SOUPS 144943 WITH SCORE 145648.27
AT ITER 9982 NEW BEST:: SOT 1440237 SOS 705225 HAS SOPS 313832 HAS SOUS 159747 HAS SOUPS 144839 WITH SCORE 145544.225
AT ITER 9990 NEW BEST:: SOT 1440237 SOS 705224 HAS SOPS 313831 HAS SOUS 159746 HAS SOUPS 144838 WITH SCORE 145543.224
AT ITER 9996 NEW BEST:: SOT 1440225 SOS 705212 HAS SOPS 313336 HAS SOUS 159668 HAS SOUPS 144760 WITH SCORE 145465.212
AT ITER 9998 NEW BEST:: SOT 1439894 SOS 704839 HAS SOPS 313262 HAS SOUS 159594 HAS SOUPS 144686 WITH SCORE 145390.839
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 8489360 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16146136 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="EisenbergMcGuire-PT-08"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is EisenbergMcGuire-PT-08, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r515-tall-167987242200264"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/EisenbergMcGuire-PT-08.tgz
mv EisenbergMcGuire-PT-08 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;