fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r224-oct2-159033538700404
Last Updated
Jun 28, 2020

About the Execution of smart for Sudoku-PT-AN12

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15766.270 3600000.00 3600019.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538700404.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Sudoku-PT-AN12, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538700404
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.5M
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Jun 3 09:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jun 3 09:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Jun 3 09:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 301K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1015K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 698K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 2.5M May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.1K Jun 3 09:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Jun 3 09:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Jun 3 09:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 23K Jun 3 09:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 3 09:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 899K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Sudoku-PT-AN12-CTLFireability-00
FORMULA_NAME Sudoku-PT-AN12-CTLFireability-01
FORMULA_NAME Sudoku-PT-AN12-CTLFireability-02
FORMULA_NAME Sudoku-PT-AN12-CTLFireability-03
FORMULA_NAME Sudoku-PT-AN12-CTLFireability-04
FORMULA_NAME Sudoku-PT-AN12-CTLFireability-05
FORMULA_NAME Sudoku-PT-AN12-CTLFireability-06
FORMULA_NAME Sudoku-PT-AN12-CTLFireability-07
FORMULA_NAME Sudoku-PT-AN12-CTLFireability-08
FORMULA_NAME Sudoku-PT-AN12-CTLFireability-09
FORMULA_NAME Sudoku-PT-AN12-CTLFireability-10
FORMULA_NAME Sudoku-PT-AN12-CTLFireability-11
FORMULA_NAME Sudoku-PT-AN12-CTLFireability-12
FORMULA_NAME Sudoku-PT-AN12-CTLFireability-13
FORMULA_NAME Sudoku-PT-AN12-CTLFireability-14
FORMULA_NAME Sudoku-PT-AN12-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1591336625323

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN12
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 2160 places, 1728 transitions, 6912 arcs.
AT ITER 0 NEW BEST:: SOT 3011738 SOS 1507202 HAS SOPS 1507202 HAS SOUS 1507202 HAS SOUPS 1507202 WITH SCORE 1508709.202
AT ITER 1 NEW BEST:: SOT 3010561 SOS 1506025 HAS SOPS 1506025 HAS SOUS 1506025 HAS SOUPS 1506025 WITH SCORE 1507531.025
AT ITER 34 NEW BEST:: SOT 3008908 SOS 1505578 HAS SOPS 1505578 HAS SOUS 1504489 HAS SOUPS 1504489 WITH SCORE 1505994.578
AT ITER 42 NEW BEST:: SOT 3008722 SOS 1509156 HAS SOPS 1509156 HAS SOUS 1504391 HAS SOUPS 1504391 WITH SCORE 1505900.156
AT ITER 51 NEW BEST:: SOT 3008722 SOS 1508500 HAS SOPS 1508500 HAS SOUS 1504391 HAS SOUPS 1504391 WITH SCORE 1505899.5
AT ITER 59 NEW BEST:: SOT 3008767 SOS 1508447 HAS SOPS 1508447 HAS SOUS 1504327 HAS SOUPS 1504327 WITH SCORE 1505835.447
AT ITER 64 NEW BEST:: SOT 3008834 SOS 1508439 HAS SOPS 1508439 HAS SOUS 1504275 HAS SOUPS 1504275 WITH SCORE 1505783.439
AT ITER 77 NEW BEST:: SOT 3007371 SOS 1507202 HAS SOPS 1507202 HAS SOUS 1502917 HAS SOUPS 1502917 WITH SCORE 1504424.202
AT ITER 93 NEW BEST:: SOT 3006858 SOS 1506954 HAS SOPS 1506954 HAS SOUS 1502669 HAS SOUPS 1502669 WITH SCORE 1504175.954
AT ITER 96 NEW BEST:: SOT 3006440 SOS 1506772 HAS SOPS 1506772 HAS SOUS 1502300 HAS SOUPS 1502300 WITH SCORE 1503806.772
AT ITER 98 NEW BEST:: SOT 3006330 SOS 1506934 HAS SOPS 1506934 HAS SOUS 1502222 HAS SOUPS 1502222 WITH SCORE 1503728.934
AT ITER 107 NEW BEST:: SOT 3004334 SOS 1514660 HAS SOPS 1514660 HAS SOUS 1501003 HAS SOUPS 1501003 WITH SCORE 1502517.66
AT ITER 113 NEW BEST:: SOT 3004169 SOS 1514562 HAS SOPS 1514562 HAS SOUS 1500905 HAS SOUPS 1500905 WITH SCORE 1502419.562
AT ITER 120 NEW BEST:: SOT 3002234 SOS 1513144 HAS SOPS 1513144 HAS SOUS 1499229 HAS SOUPS 1499229 WITH SCORE 1500742.144
AT ITER 121 NEW BEST:: SOT 3002234 SOS 1513109 HAS SOPS 1513109 HAS SOUS 1499224 HAS SOUPS 1499224 WITH SCORE 1500737.109
AT ITER 122 NEW BEST:: SOT 3002045 SOS 1512920 HAS SOPS 1512920 HAS SOUS 1499035 HAS SOUPS 1499035 WITH SCORE 1500547.92
AT ITER 124 NEW BEST:: SOT 3001948 SOS 1512905 HAS SOPS 1512905 HAS SOUS 1499020 HAS SOUPS 1499020 WITH SCORE 1500532.905
AT ITER 137 NEW BEST:: SOT 3001451 SOS 1512734 HAS SOPS 1512734 HAS SOUS 1498849 HAS SOUPS 1498849 WITH SCORE 1500361.734
AT ITER 145 NEW BEST:: SOT 3001451 SOS 1512645 HAS SOPS 1512645 HAS SOUS 1498849 HAS SOUPS 1498849 WITH SCORE 1500361.645
AT ITER 146 NEW BEST:: SOT 3001242 SOS 1516097 HAS SOPS 1516097 HAS SOUS 1498652 HAS SOUPS 1498652 WITH SCORE 1500168.097
AT ITER 152 NEW BEST:: SOT 3001198 SOS 1516977 HAS SOPS 1516977 HAS SOUS 1498608 HAS SOUPS 1498608 WITH SCORE 1500124.977
AT ITER 153 NEW BEST:: SOT 3001140 SOS 1516952 HAS SOPS 1516952 HAS SOUS 1498583 HAS SOUPS 1498583 WITH SCORE 1500099.952
AT ITER 165 NEW BEST:: SOT 2999622 SOS 1515592 HAS SOPS 1515592 HAS SOUS 1497135 HAS SOUPS 1497135 WITH SCORE 1498650.592
AT ITER 170 NEW BEST:: SOT 2999715 SOS 1515646 HAS SOPS 1515646 HAS SOUS 1497002 HAS SOUPS 1497002 WITH SCORE 1498517.646
AT ITER 173 NEW BEST:: SOT 2998098 SOS 1522262 HAS SOPS 1522262 HAS SOUS 1495533 HAS SOUPS 1495533 WITH SCORE 1497055.262
AT ITER 176 NEW BEST:: SOT 2996936 SOS 1527347 HAS SOPS 1527347 HAS SOUS 1494655 HAS SOUPS 1494655 WITH SCORE 1496182.347
AT ITER 198 NEW BEST:: SOT 2995053 SOS 1530831 HAS SOPS 1530831 HAS SOUS 1492925 HAS SOUPS 1492925 WITH SCORE 1494455.831
AT ITER 203 NEW BEST:: SOT 2994230 SOS 1538609 HAS SOPS 1538609 HAS SOUS 1492211 HAS SOUPS 1492211 WITH SCORE 1493749.609
AT ITER 208 NEW BEST:: SOT 2993141 SOS 1537733 HAS SOPS 1537733 HAS SOUS 1491236 HAS SOUPS 1491236 WITH SCORE 1492773.733
AT ITER 210 NEW BEST:: SOT 2991872 SOS 1536464 HAS SOPS 1536464 HAS SOUS 1489967 HAS SOUPS 1489967 WITH SCORE 1491503.464
AT ITER 216 NEW BEST:: SOT 2991872 SOS 1536037 HAS SOPS 1536037 HAS SOUS 1489967 HAS SOUPS 1489967 WITH SCORE 1491503.037
AT ITER 217 NEW BEST:: SOT 2991355 SOS 1536100 HAS SOPS 1536100 HAS SOUS 1489602 HAS SOUPS 1489602 WITH SCORE 1491138.1
AT ITER 218 NEW BEST:: SOT 2990253 SOS 1540911 HAS SOPS 1540911 HAS SOUS 1488751 HAS SOUPS 1488751 WITH SCORE 1490291.911
AT ITER 223 NEW BEST:: SOT 2989340 SOS 1540231 HAS SOPS 1540231 HAS SOUS 1487906 HAS SOUPS 1487906 WITH SCORE 1489446.231
AT ITER 224 NEW BEST:: SOT 2988710 SOS 1540258 HAS SOPS 1540258 HAS SOUS 1487372 HAS SOUPS 1487372 WITH SCORE 1488912.258
AT ITER 232 NEW BEST:: SOT 2988406 SOS 1539954 HAS SOPS 1539954 HAS SOUS 1487068 HAS SOUPS 1487068 WITH SCORE 1488607.954
AT ITER 246 NEW BEST:: SOT 2988406 SOS 1539343 HAS SOPS 1539343 HAS SOUS 1487068 HAS SOUPS 1487068 WITH SCORE 1488607.343
AT ITER 248 NEW BEST:: SOT 2988406 SOS 1539236 HAS SOPS 1539236 HAS SOUS 1487068 HAS SOUPS 1487068 WITH SCORE 1488607.236
AT ITER 250 NEW BEST:: SOT 2986711 SOS 1543992 HAS SOPS 1543992 HAS SOUS 1485499 HAS SOUPS 1485499 WITH SCORE 1487042.992
AT ITER 260 NEW BEST:: SOT 2986711 SOS 1543977 HAS SOPS 1543977 HAS SOUS 1485499 HAS SOUPS 1485499 WITH SCORE 1487042.977
AT ITER 263 NEW BEST:: SOT 2986711 SOS 1543822 HAS SOPS 1543822 HAS SOUS 1485499 HAS SOUPS 1485499 WITH SCORE 1487042.822
AT ITER 268 NEW BEST:: SOT 2986711 SOS 1543826 HAS SOPS 1543826 HAS SOUS 1485481 HAS SOUPS 1485481 WITH SCORE 1487024.826
AT ITER 271 NEW BEST:: SOT 2986887 SOS 1544024 HAS SOPS 1544024 HAS SOUS 1485459 HAS SOUPS 1485459 WITH SCORE 1487003.024
AT ITER 272 NEW BEST:: SOT 2984720 SOS 1551488 HAS SOPS 1551488 HAS SOUS 1483496 HAS SOUPS 1483496 WITH SCORE 1485047.488
AT ITER 276 NEW BEST:: SOT 2984434 SOS 1557934 HAS SOPS 1557934 HAS SOUS 1483210 HAS SOUPS 1483210 WITH SCORE 1484767.934
AT ITER 283 NEW BEST:: SOT 2984042 SOS 1558380 HAS SOPS 1558380 HAS SOUS 1482908 HAS SOUPS 1482908 WITH SCORE 1484466.38
AT ITER 296 NEW BEST:: SOT 2984042 SOS 1558204 HAS SOPS 1558204 HAS SOUS 1482908 HAS SOUPS 1482908 WITH SCORE 1484466.204
AT ITER 316 NEW BEST:: SOT 2983778 SOS 1559631 HAS SOPS 1559631 HAS SOUS 1482760 HAS SOUPS 1482760 WITH SCORE 1484319.631
AT ITER 331 NEW BEST:: SOT 2983503 SOS 1559501 HAS SOPS 1559501 HAS SOUS 1482584 HAS SOUPS 1482584 WITH SCORE 1484143.501
AT ITER 335 NEW BEST:: SOT 2983702 SOS 1559700 HAS SOPS 1559700 HAS SOUS 1482420 HAS SOUPS 1482420 WITH SCORE 1483979.7
AT ITER 341 NEW BEST:: SOT 2981810 SOS 1558040 HAS SOPS 1558040 HAS SOUS 1480716 HAS SOUPS 1480716 WITH SCORE 1482274.04
AT ITER 345 NEW BEST:: SOT 2980964 SOS 1559704 HAS SOPS 1559704 HAS SOUS 1480114 HAS SOUPS 1480114 WITH SCORE 1481673.704
AT ITER 347 NEW BEST:: SOT 2980770 SOS 1559605 HAS SOPS 1559605 HAS SOUS 1480015 HAS SOUPS 1480015 WITH SCORE 1481574.605
AT ITER 348 NEW BEST:: SOT 2980572 SOS 1559272 HAS SOPS 1559272 HAS SOUS 1479847 HAS SOUPS 1479847 WITH SCORE 1481406.272
AT ITER 352 NEW BEST:: SOT 2980730 SOS 1559329 HAS SOPS 1559329 HAS SOUS 1479811 HAS SOUPS 1479811 WITH SCORE 1481370.329
AT ITER 353 NEW BEST:: SOT 2979095 SOS 1562745 HAS SOPS 1562745 HAS SOUS 1478277 HAS SOUPS 1478277 WITH SCORE 1479839.745
AT ITER 356 NEW BEST:: SOT 2979095 SOS 1562692 HAS SOPS 1562692 HAS SOUS 1478277 HAS SOUPS 1478277 WITH SCORE 1479839.692
AT ITER 365 NEW BEST:: SOT 2978881 SOS 1562478 HAS SOPS 1562478 HAS SOUS 1477956 HAS SOUPS 1477956 WITH SCORE 1479518.478
AT ITER 373 NEW BEST:: SOT 2977461 SOS 1561513 HAS SOPS 1561513 HAS SOUS 1476562 HAS SOUPS 1476562 WITH SCORE 1478123.513
AT ITER 377 NEW BEST:: SOT 2977613 SOS 1561639 HAS SOPS 1561639 HAS SOUS 1476545 HAS SOUPS 1476545 WITH SCORE 1478106.639
AT ITER 381 NEW BEST:: SOT 2977613 SOS 1561567 HAS SOPS 1561567 HAS SOUS 1476545 HAS SOUPS 1476545 WITH SCORE 1478106.567
AT ITER 384 NEW BEST:: SOT 2977404 SOS 1565892 HAS SOPS 1565892 HAS SOUS 1476336 HAS SOUPS 1476336 WITH SCORE 1477901.892
AT ITER 397 NEW BEST:: SOT 2977404 SOS 1565837 HAS SOPS 1565837 HAS SOUS 1476336 HAS SOUPS 1476336 WITH SCORE 1477901.837
AT ITER 400 NEW BEST:: SOT 2977044 SOS 1566100 HAS SOPS 1566100 HAS SOUS 1476196 HAS SOUPS 1476196 WITH SCORE 1477762.1
AT ITER 403 NEW BEST:: SOT 2975989 SOS 1565409 HAS SOPS 1565409 HAS SOUS 1475362 HAS SOUPS 1475362 WITH SCORE 1476927.409
AT ITER 404 NEW BEST:: SOT 2974801 SOS 1564380 HAS SOPS 1564380 HAS SOUS 1474289 HAS SOUPS 1474289 WITH SCORE 1475853.38
AT ITER 410 NEW BEST:: SOT 2975075 SOS 1563497 HAS SOPS 1563497 HAS SOUS 1473956 HAS SOUPS 1473956 WITH SCORE 1475519.497
AT ITER 422 NEW BEST:: SOT 2975075 SOS 1563445 HAS SOPS 1563445 HAS SOUS 1473956 HAS SOUPS 1473956 WITH SCORE 1475519.445
AT ITER 430 NEW BEST:: SOT 2975075 SOS 1563027 HAS SOPS 1563027 HAS SOUS 1473956 HAS SOUPS 1473956 WITH SCORE 1475519.027
AT ITER 440 NEW BEST:: SOT 2975075 SOS 1562873 HAS SOPS 1562873 HAS SOUS 1473956 HAS SOUPS 1473956 WITH SCORE 1475518.873
AT ITER 444 NEW BEST:: SOT 2975075 SOS 1562645 HAS SOPS 1562645 HAS SOUS 1473728 HAS SOUPS 1473728 WITH SCORE 1475290.645
AT ITER 446 NEW BEST:: SOT 2974778 SOS 1566807 HAS SOPS 1566807 HAS SOUS 1473559 HAS SOUPS 1473559 WITH SCORE 1475125.807
AT ITER 448 NEW BEST:: SOT 2974778 SOS 1566398 HAS SOPS 1566398 HAS SOUS 1473559 HAS SOUPS 1473559 WITH SCORE 1475125.398
AT ITER 452 NEW BEST:: SOT 2974778 SOS 1566324 HAS SOPS 1566324 HAS SOUS 1473485 HAS SOUPS 1473485 WITH SCORE 1475051.324
AT ITER 453 NEW BEST:: SOT 2973635 SOS 1565568 HAS SOPS 1565568 HAS SOUS 1472508 HAS SOUPS 1472508 WITH SCORE 1474073.568
AT ITER 463 NEW BEST:: SOT 2973396 SOS 1565098 HAS SOPS 1565098 HAS SOUS 1472030 HAS SOUPS 1472030 WITH SCORE 1473595.098
AT ITER 470 NEW BEST:: SOT 2973396 SOS 1564866 HAS SOPS 1564866 HAS SOUS 1472030 HAS SOUPS 1472030 WITH SCORE 1473594.866
AT ITER 473 NEW BEST:: SOT 2973330 SOS 1564833 HAS SOPS 1564833 HAS SOUS 1471969 HAS SOUPS 1471969 WITH SCORE 1473533.833
AT ITER 475 NEW BEST:: SOT 2973033 SOS 1564841 HAS SOPS 1564841 HAS SOUS 1471715 HAS SOUPS 1471715 WITH SCORE 1473279.841
AT ITER 485 NEW BEST:: SOT 2973033 SOS 1564452 HAS SOPS 1564452 HAS SOUS 1471715 HAS SOUPS 1471715 WITH SCORE 1473279.452
AT ITER 487 NEW BEST:: SOT 2972901 SOS 1564194 HAS SOPS 1564194 HAS SOUS 1471583 HAS SOUPS 1471583 WITH SCORE 1473147.194
AT ITER 488 NEW BEST:: SOT 2972901 SOS 1563944 HAS SOPS 1563944 HAS SOUS 1471583 HAS SOUPS 1471583 WITH SCORE 1473146.944
AT ITER 491 NEW BEST:: SOT 2973030 SOS 1563380 HAS SOPS 1563380 HAS SOUS 1471538 HAS SOUPS 1471538 WITH SCORE 1473101.38
AT ITER 493 NEW BEST:: SOT 2973128 SOS 1563093 HAS SOPS 1563093 HAS SOUS 1471152 HAS SOUPS 1471152 WITH SCORE 1472715.093
AT ITER 497 NEW BEST:: SOT 2971995 SOS 1562186 HAS SOPS 1562186 HAS SOUS 1470068 HAS SOUPS 1470068 WITH SCORE 1471630.186
AT ITER 500 NEW BEST:: SOT 2971643 SOS 1564252 HAS SOPS 1564252 HAS SOUS 1470042 HAS SOUPS 1470042 WITH SCORE 1471606.252
AT ITER 504 NEW BEST:: SOT 2971643 SOS 1564041 HAS SOPS 1564041 HAS SOUS 1470042 HAS SOUPS 1470042 WITH SCORE 1471606.041
AT ITER 506 NEW BEST:: SOT 2971643 SOS 1563915 HAS SOPS 1563915 HAS SOUS 1470042 HAS SOUPS 1470042 WITH SCORE 1471605.915
AT ITER 507 NEW BEST:: SOT 2970281 SOS 1563200 HAS SOPS 1563200 HAS SOUS 1468910 HAS SOUPS 1468910 WITH SCORE 1470473.2
AT ITER 520 NEW BEST:: SOT 2968625 SOS 1570920 HAS SOPS 1570920 HAS SOUS 1467434 HAS SOUPS 1467434 WITH SCORE 1469004.92
AT ITER 524 NEW BEST:: SOT 2968739 SOS 1570996 HAS SOPS 1570996 HAS SOUS 1467433 HAS SOUPS 1467433 WITH SCORE 1469003.996
AT ITER 528 NEW BEST:: SOT 2968399 SOS 1570914 HAS SOPS 1570914 HAS SOUS 1467093 HAS SOUPS 1467093 WITH SCORE 1468663.914
AT ITER 534 NEW BEST:: SOT 2966183 SOS 1580376 HAS SOPS 1580376 HAS SOUS 1465467 HAS SOUPS 1465467 WITH SCORE 1467047.376
AT ITER 537 NEW BEST:: SOT 2966171 SOS 1579342 HAS SOPS 1579342 HAS SOUS 1464806 HAS SOUPS 1464806 WITH SCORE 1466385.342
AT ITER 538 NEW BEST:: SOT 2964793 SOS 1581459 HAS SOPS 1581459 HAS SOUS 1464154 HAS SOUPS 1464154 WITH SCORE 1465735.459
AT ITER 539 NEW BEST:: SOT 2964711 SOS 1581437 HAS SOPS 1581437 HAS SOUS 1464132 HAS SOUPS 1464132 WITH SCORE 1465713.437
AT ITER 545 NEW BEST:: SOT 2964711 SOS 1581275 HAS SOPS 1581275 HAS SOUS 1464132 HAS SOUPS 1464132 WITH SCORE 1465713.275
AT ITER 553 NEW BEST:: SOT 2964789 SOS 1581273 HAS SOPS 1581273 HAS SOUS 1464042 HAS SOUPS 1464042 WITH SCORE 1465623.273
AT ITER 554 NEW BEST:: SOT 2964731 SOS 1581215 HAS SOPS 1581215 HAS SOUS 1463984 HAS SOUPS 1463984 WITH SCORE 1465565.215
AT ITER 561 NEW BEST:: SOT 2963819 SOS 1582113 HAS SOPS 1582113 HAS SOUS 1463343 HAS SOUPS 1463343 WITH SCORE 1464925.113
AT ITER 569 NEW BEST:: SOT 2963192 SOS 1583357 HAS SOPS 1583357 HAS SOUS 1462817 HAS SOUPS 1462817 WITH SCORE 1464400.357
AT ITER 573 NEW BEST:: SOT 2963303 SOS 1575032 HAS SOPS 1575032 HAS SOUS 1462812 HAS SOUPS 1462812 WITH SCORE 1464387.032
AT ITER 587 NEW BEST:: SOT 2962421 SOS 1574150 HAS SOPS 1574150 HAS SOUS 1461710 HAS SOUPS 1461710 WITH SCORE 1463284.15
AT ITER 596 NEW BEST:: SOT 2962032 SOS 1574265 HAS SOPS 1574265 HAS SOUS 1461321 HAS SOUPS 1461321 WITH SCORE 1462895.265
AT ITER 598 NEW BEST:: SOT 2962032 SOS 1573774 HAS SOPS 1573774 HAS SOUS 1461321 HAS SOUPS 1461321 WITH SCORE 1462894.774
AT ITER 599 NEW BEST:: SOT 2962032 SOS 1573732 HAS SOPS 1573732 HAS SOUS 1461321 HAS SOUPS 1461321 WITH SCORE 1462894.732
AT ITER 600 NEW BEST:: SOT 2960515 SOS 1572810 HAS SOPS 1572810 HAS SOUS 1459992 HAS SOUPS 1459992 WITH SCORE 1461564.81
AT ITER 605 NEW BEST:: SOT 2960257 SOS 1574071 HAS SOPS 1574071 HAS SOUS 1459944 HAS SOUPS 1459944 WITH SCORE 1461518.071
AT ITER 607 NEW BEST:: SOT 2960257 SOS 1573582 HAS SOPS 1573582 HAS SOUS 1459944 HAS SOUPS 1459944 WITH SCORE 1461517.582
AT ITER 616 NEW BEST:: SOT 2958982 SOS 1572463 HAS SOPS 1572463 HAS SOUS 1458759 HAS SOUPS 1458759 WITH SCORE 1460331.463
AT ITER 617 NEW BEST:: SOT 2958982 SOS 1572026 HAS SOPS 1572026 HAS SOUS 1458759 HAS SOUPS 1458759 WITH SCORE 1460331.026
AT ITER 618 NEW BEST:: SOT 2958521 SOS 1566483 HAS SOPS 1566483 HAS SOUS 1458298 HAS SOUPS 1458298 WITH SCORE 1459864.483
AT ITER 622 NEW BEST:: SOT 2958521 SOS 1566193 HAS SOPS 1566193 HAS SOUS 1458298 HAS SOUPS 1458298 WITH SCORE 1459864.193
AT ITER 633 NEW BEST:: SOT 2957563 SOS 1571118 HAS SOPS 1571118 HAS SOUS 1457744 HAS SOUPS 1457744 WITH SCORE 1459315.118
AT ITER 634 NEW BEST:: SOT 2957563 SOS 1563472 HAS SOPS 1563472 HAS SOUS 1457707 HAS SOUPS 1457707 WITH SCORE 1459270.472
AT ITER 637 NEW BEST:: SOT 2957563 SOS 1563429 HAS SOPS 1563429 HAS SOUS 1457707 HAS SOUPS 1457707 WITH SCORE 1459270.429
AT ITER 640 NEW BEST:: SOT 2957652 SOS 1563855 HAS SOPS 1563855 HAS SOUS 1457255 HAS SOUPS 1457255 WITH SCORE 1458818.855
AT ITER 649 NEW BEST:: SOT 2957566 SOS 1563812 HAS SOPS 1563812 HAS SOUS 1457169 HAS SOUPS 1457169 WITH SCORE 1458732.812
AT ITER 662 NEW BEST:: SOT 2955701 SOS 1563197 HAS SOPS 1563197 HAS SOUS 1455595 HAS SOUPS 1455595 WITH SCORE 1457158.197
AT ITER 670 NEW BEST:: SOT 2955548 SOS 1563044 HAS SOPS 1563044 HAS SOUS 1455416 HAS SOUPS 1455416 WITH SCORE 1456979.044
AT ITER 675 NEW BEST:: SOT 2955664 SOS 1562732 HAS SOPS 1562732 HAS SOUS 1455399 HAS SOUPS 1455399 WITH SCORE 1456961.732
AT ITER 679 NEW BEST:: SOT 2955664 SOS 1562569 HAS SOPS 1562569 HAS SOUS 1455399 HAS SOUPS 1455399 WITH SCORE 1456961.569
AT ITER 680 NEW BEST:: SOT 2955449 SOS 1562657 HAS SOPS 1562657 HAS SOUS 1455184 HAS SOUPS 1455184 WITH SCORE 1456746.657
AT ITER 684 NEW BEST:: SOT 2955338 SOS 1562497 HAS SOPS 1562497 HAS SOUS 1455086 HAS SOUPS 1455086 WITH SCORE 1456648.497
AT ITER 686 NEW BEST:: SOT 2955338 SOS 1562414 HAS SOPS 1562414 HAS SOUS 1455086 HAS SOUPS 1455086 WITH SCORE 1456648.414
AT ITER 688 NEW BEST:: SOT 2955445 SOS 1559514 HAS SOPS 1559514 HAS SOUS 1455020 HAS SOUPS 1455020 WITH SCORE 1456579.514
AT ITER 691 NEW BEST:: SOT 2955445 SOS 1559108 HAS SOPS 1559108 HAS SOUS 1455020 HAS SOUPS 1455020 WITH SCORE 1456579.108
AT ITER 694 NEW BEST:: SOT 2954158 SOS 1558021 HAS SOPS 1558021 HAS SOUS 1453812 HAS SOUPS 1453812 WITH SCORE 1455370.021
AT ITER 696 NEW BEST:: SOT 2953850 SOS 1557810 HAS SOPS 1557810 HAS SOUS 1453570 HAS SOUPS 1453570 WITH SCORE 1455127.81
AT ITER 701 NEW BEST:: SOT 2953850 SOS 1557732 HAS SOPS 1557732 HAS SOUS 1453570 HAS SOUPS 1453570 WITH SCORE 1455127.732
AT ITER 706 NEW BEST:: SOT 2953850 SOS 1556506 HAS SOPS 1556506 HAS SOUS 1453482 HAS SOUPS 1453482 WITH SCORE 1455038.506
AT ITER 712 NEW BEST:: SOT 2953850 SOS 1556489 HAS SOPS 1556489 HAS SOUS 1453482 HAS SOUPS 1453482 WITH SCORE 1455038.489
AT ITER 718 NEW BEST:: SOT 2953850 SOS 1555971 HAS SOPS 1555971 HAS SOUS 1453482 HAS SOUPS 1453482 WITH SCORE 1455037.971
AT ITER 723 NEW BEST:: SOT 2953850 SOS 1555704 HAS SOPS 1555704 HAS SOUS 1453482 HAS SOUPS 1453482 WITH SCORE 1455037.704
AT ITER 725 NEW BEST:: SOT 2953075 SOS 1557911 HAS SOPS 1557911 HAS SOUS 1452844 HAS SOUPS 1452844 WITH SCORE 1454401.911
AT ITER 726 NEW BEST:: SOT 2952297 SOS 1565696 HAS SOPS 1565696 HAS SOUS 1452722 HAS SOUPS 1452722 WITH SCORE 1454287.696
AT ITER 728 NEW BEST:: SOT 2952241 SOS 1565488 HAS SOPS 1565488 HAS SOUS 1452548 HAS SOUPS 1452548 WITH SCORE 1454113.488
AT ITER 731 NEW BEST:: SOT 2952241 SOS 1564828 HAS SOPS 1564828 HAS SOUS 1452548 HAS SOUPS 1452548 WITH SCORE 1454112.828
AT ITER 735 NEW BEST:: SOT 2952241 SOS 1564753 HAS SOPS 1564753 HAS SOUS 1452548 HAS SOUPS 1452548 WITH SCORE 1454112.753
AT ITER 738 NEW BEST:: SOT 2952241 SOS 1564500 HAS SOPS 1564500 HAS SOUS 1452548 HAS SOUPS 1452548 WITH SCORE 1454112.5
AT ITER 746 NEW BEST:: SOT 2951799 SOS 1564829 HAS SOPS 1564829 HAS SOUS 1452373 HAS SOUPS 1452373 WITH SCORE 1453937.829
AT ITER 751 NEW BEST:: SOT 2951734 SOS 1564764 HAS SOPS 1564764 HAS SOUS 1452308 HAS SOUPS 1452308 WITH SCORE 1453872.764
AT ITER 755 NEW BEST:: SOT 2951434 SOS 1564577 HAS SOPS 1564577 HAS SOUS 1452121 HAS SOUPS 1452121 WITH SCORE 1453685.577
AT ITER 757 NEW BEST:: SOT 2951434 SOS 1563818 HAS SOPS 1563818 HAS SOUS 1452121 HAS SOUPS 1452121 WITH SCORE 1453684.818
AT ITER 760 NEW BEST:: SOT 2951434 SOS 1563654 HAS SOPS 1563654 HAS SOUS 1452121 HAS SOUPS 1452121 WITH SCORE 1453684.654
AT ITER 762 NEW BEST:: SOT 2951432 SOS 1563652 HAS SOPS 1563652 HAS SOUS 1452119 HAS SOUPS 1452119 WITH SCORE 1453682.652
AT ITER 768 NEW BEST:: SOT 2951194 SOS 1564331 HAS SOPS 1564331 HAS SOUS 1452047 HAS SOUPS 1452047 WITH SCORE 1453611.331
AT ITER 782 NEW BEST:: SOT 2951119 SOS 1566680 HAS SOPS 1566680 HAS SOUS 1452018 HAS SOUPS 1452018 WITH SCORE 1453584.68
AT ITER 787 NEW BEST:: SOT 2951119 SOS 1566488 HAS SOPS 1566488 HAS SOUS 1452018 HAS SOUPS 1452018 WITH SCORE 1453584.488
AT ITER 796 NEW BEST:: SOT 2951133 SOS 1566304 HAS SOPS 1566304 HAS SOUS 1451980 HAS SOUPS 1451980 WITH SCORE 1453546.304
AT ITER 798 NEW BEST:: SOT 2951133 SOS 1566111 HAS SOPS 1566111 HAS SOUS 1451980 HAS SOUPS 1451980 WITH SCORE 1453546.111
AT ITER 800 NEW BEST:: SOT 2951133 SOS 1566169 HAS SOPS 1566169 HAS SOUS 1451847 HAS SOUPS 1451847 WITH SCORE 1453413.169
AT ITER 801 NEW BEST:: SOT 2951133 SOS 1565894 HAS SOPS 1565894 HAS SOUS 1451847 HAS SOUPS 1451847 WITH SCORE 1453412.894
AT ITER 803 NEW BEST:: SOT 2951133 SOS 1565800 HAS SOPS 1565800 HAS SOUS 1451847 HAS SOUPS 1451847 WITH SCORE 1453412.8
AT ITER 817 NEW BEST:: SOT 2951133 SOS 1565714 HAS SOPS 1565714 HAS SOUS 1451847 HAS SOUPS 1451847 WITH SCORE 1453412.714
AT ITER 822 NEW BEST:: SOT 2951269 SOS 1566350 HAS SOPS 1566350 HAS SOUS 1451825 HAS SOUPS 1451825 WITH SCORE 1453391.35
AT ITER 826 NEW BEST:: SOT 2951269 SOS 1566090 HAS SOPS 1566090 HAS SOUS 1451825 HAS SOUPS 1451825 WITH SCORE 1453391.09
AT ITER 838 NEW BEST:: SOT 2951155 SOS 1565901 HAS SOPS 1565901 HAS SOUS 1451690 HAS SOUPS 1451690 WITH SCORE 1453255.901
AT ITER 842 NEW BEST:: SOT 2951273 SOS 1564877 HAS SOPS 1564877 HAS SOUS 1451690 HAS SOUPS 1451690 WITH SCORE 1453254.877
AT ITER 845 NEW BEST:: SOT 2951077 SOS 1564760 HAS SOPS 1564760 HAS SOUS 1451573 HAS SOUPS 1451573 WITH SCORE 1453137.76
AT ITER 850 NEW BEST:: SOT 2951077 SOS 1565918 HAS SOPS 1565918 HAS SOUS 1451364 HAS SOUPS 1451364 WITH SCORE 1452929.918
AT ITER 856 NEW BEST:: SOT 2949993 SOS 1567177 HAS SOPS 1567177 HAS SOUS 1450665 HAS SOUPS 1450665 WITH SCORE 1452232.177
AT ITER 860 NEW BEST:: SOT 2950018 SOS 1567229 HAS SOPS 1567229 HAS SOUS 1450585 HAS SOUPS 1450585 WITH SCORE 1452152.229
AT ITER 868 NEW BEST:: SOT 2948558 SOS 1566784 HAS SOPS 1566784 HAS SOUS 1449254 HAS SOUPS 1449254 WITH SCORE 1450820.784
AT ITER 869 NEW BEST:: SOT 2946776 SOS 1565247 HAS SOPS 1565247 HAS SOUS 1447607 HAS SOUPS 1447607 WITH SCORE 1449172.247
AT ITER 870 NEW BEST:: SOT 2946413 SOS 1565940 HAS SOPS 1565940 HAS SOUS 1447365 HAS SOUPS 1447365 WITH SCORE 1448930.94
AT ITER 872 NEW BEST:: SOT 2946413 SOS 1565730 HAS SOPS 1565730 HAS SOUS 1447365 HAS SOUPS 1447365 WITH SCORE 1448930.73
AT ITER 873 NEW BEST:: SOT 2946393 SOS 1565177 HAS SOPS 1565177 HAS SOUS 1447360 HAS SOUPS 1447360 WITH SCORE 1448925.177
AT ITER 877 NEW BEST:: SOT 2946393 SOS 1559783 HAS SOPS 1559783 HAS SOUS 1447360 HAS SOUPS 1447360 WITH SCORE 1448919.783
AT ITER 882 NEW BEST:: SOT 2946338 SOS 1559728 HAS SOPS 1559728 HAS SOUS 1447305 HAS SOUPS 1447305 WITH SCORE 1448864.728
AT ITER 883 NEW BEST:: SOT 2944893 SOS 1567090 HAS SOPS 1567090 HAS SOUS 1446680 HAS SOUPS 1446680 WITH SCORE 1448247.09
AT ITER 905 NEW BEST:: SOT 2943483 SOS 1573184 HAS SOPS 1573184 HAS SOUS 1446058 HAS SOUPS 1446058 WITH SCORE 1447631.184
AT ITER 907 NEW BEST:: SOT 2943483 SOS 1572978 HAS SOPS 1572978 HAS SOUS 1446058 HAS SOUPS 1446058 WITH SCORE 1447630.978
AT ITER 910 NEW BEST:: SOT 2941299 SOS 1574021 HAS SOPS 1574021 HAS SOUS 1443999 HAS SOUPS 1443999 WITH SCORE 1445573.021
AT ITER 915 NEW BEST:: SOT 2939237 SOS 1576672 HAS SOPS 1576672 HAS SOUS 1442637 HAS SOUPS 1442637 WITH SCORE 1444213.672
AT ITER 919 NEW BEST:: SOT 2939237 SOS 1576498 HAS SOPS 1576498 HAS SOUS 1442637 HAS SOUPS 1442637 WITH SCORE 1444213.498
AT ITER 921 NEW BEST:: SOT 2938999 SOS 1576399 HAS SOPS 1576399 HAS SOUS 1442538 HAS SOUPS 1442538 WITH SCORE 1444114.399
AT ITER 929 NEW BEST:: SOT 2938999 SOS 1576278 HAS SOPS 1576278 HAS SOUS 1442538 HAS SOUPS 1442538 WITH SCORE 1444114.278
AT ITER 934 NEW BEST:: SOT 2938999 SOS 1575961 HAS SOPS 1575961 HAS SOUS 1442538 HAS SOUPS 1442538 WITH SCORE 1444113.961
AT ITER 935 NEW BEST:: SOT 2938030 SOS 1575536 HAS SOPS 1575536 HAS SOUS 1441760 HAS SOUPS 1441760 WITH SCORE 1443335.536
AT ITER 937 NEW BEST:: SOT 2938030 SOS 1575112 HAS SOPS 1575112 HAS SOUS 1441760 HAS SOUPS 1441760 WITH SCORE 1443335.112
AT ITER 939 NEW BEST:: SOT 2937868 SOS 1575242 HAS SOPS 1575242 HAS SOUS 1441664 HAS SOUPS 1441664 WITH SCORE 1443239.242
AT ITER 943 NEW BEST:: SOT 2937907 SOS 1575187 HAS SOPS 1575187 HAS SOUS 1441664 HAS SOUPS 1441664 WITH SCORE 1443239.187
AT ITER 951 NEW BEST:: SOT 2937907 SOS 1575487 HAS SOPS 1575487 HAS SOUS 1441577 HAS SOUPS 1441577 WITH SCORE 1443152.487
AT ITER 958 NEW BEST:: SOT 2937907 SOS 1575431 HAS SOPS 1575431 HAS SOUS 1441577 HAS SOUPS 1441577 WITH SCORE 1443152.431
AT ITER 964 NEW BEST:: SOT 2938011 SOS 1575487 HAS SOPS 1575487 HAS SOUS 1441534 HAS SOUPS 1441534 WITH SCORE 1443109.487
AT ITER 966 NEW BEST:: SOT 2937475 SOS 1575830 HAS SOPS 1575830 HAS SOUS 1441490 HAS SOUPS 1441490 WITH SCORE 1443065.83
AT ITER 970 NEW BEST:: SOT 2937475 SOS 1575805 HAS SOPS 1575805 HAS SOUS 1441376 HAS SOUPS 1441376 WITH SCORE 1442951.805
AT ITER 973 NEW BEST:: SOT 2937475 SOS 1575198 HAS SOPS 1575198 HAS SOUS 1441376 HAS SOUPS 1441376 WITH SCORE 1442951.198
AT ITER 974 NEW BEST:: SOT 2936325 SOS 1575441 HAS SOPS 1575441 HAS SOUS 1441059 HAS SOUPS 1441059 WITH SCORE 1442634.441
AT ITER 976 NEW BEST:: SOT 2936325 SOS 1575356 HAS SOPS 1575356 HAS SOUS 1441059 HAS SOUPS 1441059 WITH SCORE 1442634.356
AT ITER 978 NEW BEST:: SOT 2936325 SOS 1575199 HAS SOPS 1575199 HAS SOUS 1441059 HAS SOUPS 1441059 WITH SCORE 1442634.199
AT ITER 980 NEW BEST:: SOT 2935577 SOS 1575240 HAS SOPS 1575240 HAS SOUS 1440443 HAS SOUPS 1440443 WITH SCORE 1442018.24
AT ITER 985 NEW BEST:: SOT 2935311 SOS 1574221 HAS SOPS 1574221 HAS SOUS 1439824 HAS SOUPS 1439824 WITH SCORE 1441398.221
AT ITER 991 NEW BEST:: SOT 2934386 SOS 1578735 HAS SOPS 1578735 HAS SOUS 1439306 HAS SOUPS 1439306 WITH SCORE 1440884.735
AT ITER 992 NEW BEST:: SOT 2934353 SOS 1577932 HAS SOPS 1577932 HAS SOUS 1439153 HAS SOUPS 1439153 WITH SCORE 1440730.932
AT ITER 995 NEW BEST:: SOT 2932777 SOS 1576356 HAS SOPS 1576356 HAS SOUS 1437660 HAS SOUPS 1437660 WITH SCORE 1439236.356
AT ITER 997 NEW BEST:: SOT 2932777 SOS 1575485 HAS SOPS 1575485 HAS SOUS 1437660 HAS SOUPS 1437660 WITH SCORE 1439235.485
AT ITER 1003 NEW BEST:: SOT 2932884 SOS 1575541 HAS SOPS 1575541 HAS SOUS 1437658 HAS SOUPS 1437658 WITH SCORE 1439233.541
AT ITER 1008 NEW BEST:: SOT 2932884 SOS 1575452 HAS SOPS 1575452 HAS SOUS 1437658 HAS SOUPS 1437658 WITH SCORE 1439233.452
AT ITER 1011 NEW BEST:: SOT 2932037 SOS 1577017 HAS SOPS 1577017 HAS SOUS 1436943 HAS SOUPS 1436943 WITH SCORE 1438520.017
AT ITER 1017 NEW BEST:: SOT 2930919 SOS 1576477 HAS SOPS 1576477 HAS SOUS 1436074 HAS SOUPS 1436074 WITH SCORE 1437650.477
AT ITER 1019 NEW BEST:: SOT 2930742 SOS 1576256 HAS SOPS 1576256 HAS SOUS 1435882 HAS SOUPS 1435882 WITH SCORE 1437458.256
AT ITER 1021 NEW BEST:: SOT 2929128 SOS 1575540 HAS SOPS 1575540 HAS SOUS 1434484 HAS SOUPS 1434484 WITH SCORE 1436059.54
AT ITER 1030 NEW BEST:: SOT 2929128 SOS 1575007 HAS SOPS 1575007 HAS SOUS 1434484 HAS SOUPS 1434484 WITH SCORE 1436059.007
AT ITER 1031 NEW BEST:: SOT 2929128 SOS 1574976 HAS SOPS 1574976 HAS SOUS 1434484 HAS SOUPS 1434484 WITH SCORE 1436058.976
AT ITER 1032 NEW BEST:: SOT 2927932 SOS 1574566 HAS SOPS 1574566 HAS SOUS 1433493 HAS SOUPS 1433493 WITH SCORE 1435067.566
AT ITER 1037 NEW BEST:: SOT 2927932 SOS 1574010 HAS SOPS 1574010 HAS SOUS 1433493 HAS SOUPS 1433493 WITH SCORE 1435067.01
AT ITER 1049 NEW BEST:: SOT 2927932 SOS 1573248 HAS SOPS 1573248 HAS SOUS 1433493 HAS SOUPS 1433493 WITH SCORE 1435066.248
AT ITER 1052 NEW BEST:: SOT 2927932 SOS 1573034 HAS SOPS 1573034 HAS SOUS 1433435 HAS SOUPS 1433435 WITH SCORE 1435008.034
AT ITER 1058 NEW BEST:: SOT 2927818 SOS 1572315 HAS SOPS 1572315 HAS SOUS 1433222 HAS SOUPS 1433222 WITH SCORE 1434794.315
AT ITER 1059 NEW BEST:: SOT 2925939 SOS 1571791 HAS SOPS 1571791 HAS SOUS 1431974 HAS SOUPS 1431974 WITH SCORE 1433545.791
AT ITER 1060 NEW BEST:: SOT 2925939 SOS 1571241 HAS SOPS 1571241 HAS SOUS 1431974 HAS SOUPS 1431974 WITH SCORE 1433545.241
AT ITER 1061 NEW BEST:: SOT 2925972 SOS 1571308 HAS SOPS 1571308 HAS SOUS 1431950 HAS SOUPS 1431950 WITH SCORE 1433521.308
AT ITER 1073 NEW BEST:: SOT 2925871 SOS 1571053 HAS SOPS 1571053 HAS SOUS 1431707 HAS SOUPS 1431707 WITH SCORE 1433278.053
AT ITER 1075 NEW BEST:: SOT 2925845 SOS 1570996 HAS SOPS 1570996 HAS SOUS 1431680 HAS SOUPS 1431680 WITH SCORE 1433250.996
AT ITER 1077 NEW BEST:: SOT 2924955 SOS 1575043 HAS SOPS 1575043 HAS SOUS 1431649 HAS SOUPS 1431649 WITH SCORE 1433224.043
AT ITER 1080 NEW BEST:: SOT 2924955 SOS 1575043 HAS SOPS 1575043 HAS SOUS 1431634 HAS SOUPS 1431634 WITH SCORE 1433209.043
AT ITER 1088 NEW BEST:: SOT 2924537 SOS 1575365 HAS SOPS 1575365 HAS SOUS 1431585 HAS SOUPS 1431585 WITH SCORE 1433160.365
AT ITER 1091 NEW BEST:: SOT 2924537 SOS 1574537 HAS SOPS 1574537 HAS SOUS 1431585 HAS SOUPS 1431585 WITH SCORE 1433159.537
AT ITER 1094 NEW BEST:: SOT 2924537 SOS 1574505 HAS SOPS 1574505 HAS SOUS 1431585 HAS SOUPS 1431585 WITH SCORE 1433159.505
AT ITER 1113 NEW BEST:: SOT 2924537 SOS 1573829 HAS SOPS 1573829 HAS SOUS 1431585 HAS SOUPS 1431585 WITH SCORE 1433158.829
AT ITER 1125 NEW BEST:: SOT 2924185 SOS 1573801 HAS SOPS 1573801 HAS SOUS 1431568 HAS SOUPS 1431568 WITH SCORE 1433141.801
AT ITER 1127 NEW BEST:: SOT 2924185 SOS 1573579 HAS SOPS 1573579 HAS SOUS 1431568 HAS SOUPS 1431568 WITH SCORE 1433141.579
AT ITER 1135 NEW BEST:: SOT 2923690 SOS 1581040 HAS SOPS 1581040 HAS SOUS 1431413 HAS SOUPS 1431413 WITH SCORE 1432994.04
AT ITER 1142 NEW BEST:: SOT 2923223 SOS 1587582 HAS SOPS 1587582 HAS SOUS 1431300 HAS SOUPS 1431300 WITH SCORE 1432887.582
AT ITER 1145 NEW BEST:: SOT 2923342 SOS 1587270 HAS SOPS 1587270 HAS SOUS 1430988 HAS SOUPS 1430988 WITH SCORE 1432575.27
AT ITER 1151 NEW BEST:: SOT 2923342 SOS 1582057 HAS SOPS 1582057 HAS SOUS 1430895 HAS SOUPS 1430895 WITH SCORE 1432477.057
AT ITER 1154 NEW BEST:: SOT 2923342 SOS 1579641 HAS SOPS 1579641 HAS SOUS 1430895 HAS SOUPS 1430895 WITH SCORE 1432474.641
AT ITER 1157 NEW BEST:: SOT 2922420 SOS 1581537 HAS SOPS 1581537 HAS SOUS 1430275 HAS SOUPS 1430275 WITH SCORE 1431856.537
AT ITER 1160 NEW BEST:: SOT 2922420 SOS 1581456 HAS SOPS 1581456 HAS SOUS 1430275 HAS SOUPS 1430275 WITH SCORE 1431856.456
AT ITER 1171 NEW BEST:: SOT 2922420 SOS 1577776 HAS SOPS 1577776 HAS SOUS 1430275 HAS SOUPS 1430275 WITH SCORE 1431852.776
AT ITER 1172 NEW BEST:: SOT 2922150 SOS 1577048 HAS SOPS 1577048 HAS SOUS 1429547 HAS SOUPS 1429547 WITH SCORE 1431124.048
AT ITER 1175 NEW BEST:: SOT 2922081 SOS 1576858 HAS SOPS 1576858 HAS SOUS 1429362 HAS SOUPS 1429362 WITH SCORE 1430938.858
AT ITER 1189 NEW BEST:: SOT 2920619 SOS 1580126 HAS SOPS 1580126 HAS SOUS 1428270 HAS SOUPS 1428270 WITH SCORE 1429850.126
AT ITER 1194 NEW BEST:: SOT 2920619 SOS 1577462 HAS SOPS 1577462 HAS SOUS 1428145 HAS SOUPS 1428145 WITH SCORE 1429722.462
AT ITER 1203 NEW BEST:: SOT 2920619 SOS 1572663 HAS SOPS 1572663 HAS SOUS 1428145 HAS SOUPS 1428145 WITH SCORE 1429717.663
AT ITER 1213 NEW BEST:: SOT 2920619 SOS 1572375 HAS SOPS 1572375 HAS SOUS 1428145 HAS SOUPS 1428145 WITH SCORE 1429717.375
AT ITER 1214 NEW BEST:: SOT 2919624 SOS 1573250 HAS SOPS 1573250 HAS SOUS 1427725 HAS SOUPS 1427725 WITH SCORE 1429298.25
AT ITER 1230 NEW BEST:: SOT 2919851 SOS 1573477 HAS SOPS 1573477 HAS SOUS 1427490 HAS SOUPS 1427490 WITH SCORE 1429063.477
AT ITER 1234 NEW BEST:: SOT 2919851 SOS 1573069 HAS SOPS 1573069 HAS SOUS 1427490 HAS SOUPS 1427490 WITH SCORE 1429063.069
AT ITER 1237 NEW BEST:: SOT 2919361 SOS 1573807 HAS SOPS 1573807 HAS SOUS 1427063 HAS SOUPS 1427063 WITH SCORE 1428636.807
AT ITER 1242 NEW BEST:: SOT 2919361 SOS 1573751 HAS SOPS 1573751 HAS SOUS 1427035 HAS SOUPS 1427035 WITH SCORE 1428608.751
AT ITER 1245 NEW BEST:: SOT 2919361 SOS 1573718 HAS SOPS 1573718 HAS SOUS 1427035 HAS SOUPS 1427035 WITH SCORE 1428608.718
AT ITER 1248 NEW BEST:: SOT 2919361 SOS 1573564 HAS SOPS 1573564 HAS SOUS 1427035 HAS SOUPS 1427035 WITH SCORE 1428608.564
AT ITER 1260 NEW BEST:: SOT 2917356 SOS 1576603 HAS SOPS 1576603 HAS SOUS 1426440 HAS SOUPS 1426440 WITH SCORE 1428016.603
AT ITER 1261 NEW BEST:: SOT 2917356 SOS 1576420 HAS SOPS 1576420 HAS SOUS 1426440 HAS SOUPS 1426440 WITH SCORE 1428016.42
AT ITER 1262 NEW BEST:: SOT 2917822 SOS 1576533 HAS SOPS 1576533 HAS SOUS 1426366 HAS SOUPS 1426366 WITH SCORE 1427942.533
AT ITER 1263 NEW BEST:: SOT 2917822 SOS 1575712 HAS SOPS 1575712 HAS SOUS 1426366 HAS SOUPS 1426366 WITH SCORE 1427941.712
AT ITER 1265 NEW BEST:: SOT 2917935 SOS 1575418 HAS SOPS 1575418 HAS SOUS 1426334 HAS SOUPS 1426334 WITH SCORE 1427909.418
AT ITER 1268 NEW BEST:: SOT 2917935 SOS 1575209 HAS SOPS 1575209 HAS SOUS 1426300 HAS SOUPS 1426300 WITH SCORE 1427875.209
AT ITER 1295 NEW BEST:: SOT 2917903 SOS 1575177 HAS SOPS 1575177 HAS SOUS 1426268 HAS SOUPS 1426268 WITH SCORE 1427843.177
AT ITER 1301 NEW BEST:: SOT 2917132 SOS 1575094 HAS SOPS 1575094 HAS SOUS 1425688 HAS SOUPS 1425688 WITH SCORE 1427263.094
AT ITER 1303 NEW BEST:: SOT 2916121 SOS 1574804 HAS SOPS 1574804 HAS SOUS 1425450 HAS SOUPS 1425450 WITH SCORE 1427024.804
AT ITER 1307 NEW BEST:: SOT 2916121 SOS 1574441 HAS SOPS 1574441 HAS SOUS 1425442 HAS SOUPS 1425442 WITH SCORE 1427016.441
AT ITER 1313 NEW BEST:: SOT 2914447 SOS 1579977 HAS SOPS 1579977 HAS SOUS 1424897 HAS SOUPS 1424897 WITH SCORE 1426476.977
AT ITER 1318 NEW BEST:: SOT 2912485 SOS 1585719 HAS SOPS 1585719 HAS SOUS 1424118 HAS SOUPS 1424118 WITH SCORE 1425703.719
AT ITER 1319 NEW BEST:: SOT 2911876 SOS 1585743 HAS SOPS 1585743 HAS SOUS 1423673 HAS SOUPS 1423673 WITH SCORE 1425258.743
AT ITER 1320 NEW BEST:: SOT 2911384 SOS 1585276 HAS SOPS 1585276 HAS SOUS 1423206 HAS SOUPS 1423206 WITH SCORE 1424791.276
AT ITER 1330 NEW BEST:: SOT 2911310 SOS 1584960 HAS SOPS 1584960 HAS SOUS 1422790 HAS SOUPS 1422790 WITH SCORE 1424374.96
AT ITER 1333 NEW BEST:: SOT 2910672 SOS 1586807 HAS SOPS 1586807 HAS SOUS 1422438 HAS SOUPS 1422438 WITH SCORE 1424024.807
AT ITER 1338 NEW BEST:: SOT 2910672 SOS 1583727 HAS SOPS 1583727 HAS SOUS 1422240 HAS SOUPS 1422240 WITH SCORE 1423823.727
AT ITER 1348 NEW BEST:: SOT 2908505 SOS 1581797 HAS SOPS 1581797 HAS SOUS 1420211 HAS SOUPS 1420211 WITH SCORE 1421792.797
AT ITER 1352 NEW BEST:: SOT 2907359 SOS 1583603 HAS SOPS 1583603 HAS SOUS 1419203 HAS SOUPS 1419203 WITH SCORE 1420786.603
AT ITER 1366 NEW BEST:: SOT 2907359 SOS 1583478 HAS SOPS 1583478 HAS SOUS 1419203 HAS SOUPS 1419203 WITH SCORE 1420786.478
AT ITER 1376 NEW BEST:: SOT 2906935 SOS 1583434 HAS SOPS 1583434 HAS SOUS 1418779 HAS SOUPS 1418779 WITH SCORE 1420362.434
AT ITER 1379 NEW BEST:: SOT 2906935 SOS 1583401 HAS SOPS 1583401 HAS SOUS 1418779 HAS SOUPS 1418779 WITH SCORE 1420362.401
AT ITER 1383 NEW BEST:: SOT 2906429 SOS 1583371 HAS SOPS 1583371 HAS SOUS 1418740 HAS SOUPS 1418740 WITH SCORE 1420323.371
AT ITER 1390 NEW BEST:: SOT 2904455 SOS 1589728 HAS SOPS 1589728 HAS SOUS 1417738 HAS SOUPS 1417738 WITH SCORE 1419327.728
AT ITER 1394 NEW BEST:: SOT 2903183 SOS 1589117 HAS SOPS 1589117 HAS SOUS 1417581 HAS SOUPS 1417581 WITH SCORE 1419170.117
AT ITER 1403 NEW BEST:: SOT 2902221 SOS 1591054 HAS SOPS 1591054 HAS SOUS 1416994 HAS SOUPS 1416994 WITH SCORE 1418585.054
AT ITER 1407 NEW BEST:: SOT 2901594 SOS 1591429 HAS SOPS 1591429 HAS SOUS 1416870 HAS SOUPS 1416870 WITH SCORE 1418461.429
AT ITER 1412 NEW BEST:: SOT 2901594 SOS 1591064 HAS SOPS 1591064 HAS SOUS 1416505 HAS SOUPS 1416505 WITH SCORE 1418096.064
AT ITER 1424 NEW BEST:: SOT 2900715 SOS 1596921 HAS SOPS 1596921 HAS SOUS 1416260 HAS SOUPS 1416260 WITH SCORE 1417856.921
AT ITER 1427 NEW BEST:: SOT 2900401 SOS 1596764 HAS SOPS 1596764 HAS SOUS 1415946 HAS SOUPS 1415946 WITH SCORE 1417542.764
AT ITER 1429 NEW BEST:: SOT 2900401 SOS 1596677 HAS SOPS 1596677 HAS SOUS 1415946 HAS SOUPS 1415946 WITH SCORE 1417542.677
AT ITER 1431 NEW BEST:: SOT 2899603 SOS 1597009 HAS SOPS 1597009 HAS SOUS 1415932 HAS SOUPS 1415932 WITH SCORE 1417529.009
AT ITER 1433 NEW BEST:: SOT 2899603 SOS 1596745 HAS SOPS 1596745 HAS SOUS 1415932 HAS SOUPS 1415932 WITH SCORE 1417528.745
AT ITER 1443 NEW BEST:: SOT 2899603 SOS 1596607 HAS SOPS 1596607 HAS SOUS 1415573 HAS SOUPS 1415573 WITH SCORE 1417169.607
AT ITER 1445 NEW BEST:: SOT 2898696 SOS 1595829 HAS SOPS 1595829 HAS SOUS 1414762 HAS SOUPS 1414762 WITH SCORE 1416357.829
AT ITER 1449 NEW BEST:: SOT 2897517 SOS 1594650 HAS SOPS 1594650 HAS SOUS 1413562 HAS SOUPS 1413562 WITH SCORE 1415156.65
AT ITER 1452 NEW BEST:: SOT 2896073 SOS 1596053 HAS SOPS 1596053 HAS SOUS 1413351 HAS SOUPS 1413351 WITH SCORE 1414947.053
AT ITER 1455 NEW BEST:: SOT 2894150 SOS 1599116 HAS SOPS 1599116 HAS SOUS 1412739 HAS SOUPS 1412739 WITH SCORE 1414338.116
AT ITER 1456 NEW BEST:: SOT 2894138 SOS 1599104 HAS SOPS 1599104 HAS SOUS 1412727 HAS SOUPS 1412727 WITH SCORE 1414326.104
AT ITER 1457 NEW BEST:: SOT 2894138 SOS 1598730 HAS SOPS 1598730 HAS SOUS 1412727 HAS SOUPS 1412727 WITH SCORE 1414325.73
AT ITER 1461 NEW BEST:: SOT 2894138 SOS 1598495 HAS SOPS 1598495 HAS SOUS 1412727 HAS SOUPS 1412727 WITH SCORE 1414325.495
AT ITER 1466 NEW BEST:: SOT 2893196 SOS 1599421 HAS SOPS 1599421 HAS SOUS 1412586 HAS SOUPS 1412586 WITH SCORE 1414185.421
AT ITER 1468 NEW BEST:: SOT 2893284 SOS 1598499 HAS SOPS 1598499 HAS SOUS 1411662 HAS SOUPS 1411662 WITH SCORE 1413260.499
AT ITER 1481 NEW BEST:: SOT 2893573 SOS 1597092 HAS SOPS 1597092 HAS SOUS 1411407 HAS SOUPS 1411407 WITH SCORE 1413004.092
AT ITER 1482 NEW BEST:: SOT 2893573 SOS 1597078 HAS SOPS 1597078 HAS SOUS 1411407 HAS SOUPS 1411407 WITH SCORE 1413004.078
AT ITER 1486 NEW BEST:: SOT 2893827 SOS 1595884 HAS SOPS 1595884 HAS SOUS 1411134 HAS SOUPS 1411134 WITH SCORE 1412729.884
AT ITER 1490 NEW BEST:: SOT 2892308 SOS 1601639 HAS SOPS 1601639 HAS SOUS 1409862 HAS SOUPS 1409862 WITH SCORE 1411463.639
AT ITER 1492 NEW BEST:: SOT 2892308 SOS 1600363 HAS SOPS 1600363 HAS SOUS 1409812 HAS SOUPS 1409812 WITH SCORE 1411412.363
AT ITER 1495 NEW BEST:: SOT 2890832 SOS 1599183 HAS SOPS 1599183 HAS SOUS 1408524 HAS SOUPS 1408524 WITH SCORE 1410123.183
AT ITER 1503 NEW BEST:: SOT 2890829 SOS 1598762 HAS SOPS 1598762 HAS SOUS 1408381 HAS SOUPS 1408381 WITH SCORE 1409979.762
AT ITER 1516 NEW BEST:: SOT 2890829 SOS 1596314 HAS SOPS 1596314 HAS SOUS 1407943 HAS SOUPS 1407943 WITH SCORE 1409539.314
AT ITER 1523 NEW BEST:: SOT 2890829 SOS 1596164 HAS SOPS 1596164 HAS SOUS 1407779 HAS SOUPS 1407779 WITH SCORE 1409375.164
AT ITER 1524 NEW BEST:: SOT 2890829 SOS 1595844 HAS SOPS 1595844 HAS SOUS 1407779 HAS SOUPS 1407779 WITH SCORE 1409374.844
AT ITER 1525 NEW BEST:: SOT 2889894 SOS 1595525 HAS SOPS 1595525 HAS SOUS 1407224 HAS SOUPS 1407224 WITH SCORE 1408819.525
AT ITER 1528 NEW BEST:: SOT 2889708 SOS 1595339 HAS SOPS 1595339 HAS SOUS 1407002 HAS SOUPS 1407002 WITH SCORE 1408597.339
AT ITER 1538 NEW BEST:: SOT 2888895 SOS 1594797 HAS SOPS 1594797 HAS SOUS 1406358 HAS SOUPS 1406358 WITH SCORE 1407952.797
AT ITER 1544 NEW BEST:: SOT 2887379 SOS 1599402 HAS SOPS 1599402 HAS SOUS 1405748 HAS SOUPS 1405748 WITH SCORE 1407347.402
AT ITER 1545 NEW BEST:: SOT 2887379 SOS 1598906 HAS SOPS 1598906 HAS SOUS 1405748 HAS SOUPS 1405748 WITH SCORE 1407346.906
AT ITER 1548 NEW BEST:: SOT 2887379 SOS 1598902 HAS SOPS 1598902 HAS SOUS 1405748 HAS SOUPS 1405748 WITH SCORE 1407346.902
AT ITER 1551 NEW BEST:: SOT 2887300 SOS 1598380 HAS SOPS 1598380 HAS SOUS 1405693 HAS SOUPS 1405693 WITH SCORE 1407291.38
AT ITER 1553 NEW BEST:: SOT 2887300 SOS 1598305 HAS SOPS 1598305 HAS SOUS 1405693 HAS SOUPS 1405693 WITH SCORE 1407291.305
AT ITER 1567 NEW BEST:: SOT 2887300 SOS 1597547 HAS SOPS 1597547 HAS SOUS 1405081 HAS SOUPS 1405081 WITH SCORE 1406678.547
AT ITER 1568 NEW BEST:: SOT 2887251 SOS 1597415 HAS SOPS 1597415 HAS SOUS 1405078 HAS SOUPS 1405078 WITH SCORE 1406675.415
AT ITER 1570 NEW BEST:: SOT 2886916 SOS 1599059 HAS SOPS 1599059 HAS SOUS 1404940 HAS SOUPS 1404940 WITH SCORE 1406539.059
AT ITER 1576 NEW BEST:: SOT 2885334 SOS 1602334 HAS SOPS 1602334 HAS SOUS 1404061 HAS SOUPS 1404061 WITH SCORE 1405663.334
AT ITER 1582 NEW BEST:: SOT 2885168 SOS 1602248 HAS SOPS 1602248 HAS SOUS 1404055 HAS SOUPS 1404055 WITH SCORE 1405657.248
AT ITER 1587 NEW BEST:: SOT 2885147 SOS 1602094 HAS SOPS 1602094 HAS SOUS 1403936 HAS SOUPS 1403936 WITH SCORE 1405538.094
AT ITER 1595 NEW BEST:: SOT 2885070 SOS 1602017 HAS SOPS 1602017 HAS SOUS 1403867 HAS SOUPS 1403867 WITH SCORE 1405469.017
AT ITER 1604 NEW BEST:: SOT 2885347 SOS 1601936 HAS SOPS 1601936 HAS SOUS 1403781 HAS SOUPS 1403781 WITH SCORE 1405382.936
AT ITER 1605 NEW BEST:: SOT 2885281 SOS 1601765 HAS SOPS 1601765 HAS SOUS 1403551 HAS SOUPS 1403551 WITH SCORE 1405152.765
AT ITER 1607 NEW BEST:: SOT 2885383 SOS 1601372 HAS SOPS 1601372 HAS SOUS 1403251 HAS SOUPS 1403251 WITH SCORE 1404852.372
AT ITER 1608 NEW BEST:: SOT 2885383 SOS 1600736 HAS SOPS 1600736 HAS SOUS 1403251 HAS SOUPS 1403251 WITH SCORE 1404851.736
AT ITER 1620 NEW BEST:: SOT 2885383 SOS 1600613 HAS SOPS 1600613 HAS SOUS 1403251 HAS SOUPS 1403251 WITH SCORE 1404851.613
AT ITER 1621 NEW BEST:: SOT 2885471 SOS 1601349 HAS SOPS 1601349 HAS SOUS 1403202 HAS SOUPS 1403202 WITH SCORE 1404803.349
AT ITER 1629 NEW BEST:: SOT 2884062 SOS 1607038 HAS SOPS 1607038 HAS SOUS 1402352 HAS SOUPS 1402352 WITH SCORE 1403959.038
AT ITER 1632 NEW BEST:: SOT 2883540 SOS 1606844 HAS SOPS 1606844 HAS SOUS 1401900 HAS SOUPS 1401900 WITH SCORE 1403506.844
AT ITER 1636 NEW BEST:: SOT 2883348 SOS 1606671 HAS SOPS 1606671 HAS SOUS 1401727 HAS SOUPS 1401727 WITH SCORE 1403333.671
AT ITER 1638 NEW BEST:: SOT 2883348 SOS 1606285 HAS SOPS 1606285 HAS SOUS 1401727 HAS SOUPS 1401727 WITH SCORE 1403333.285
AT ITER 1642 NEW BEST:: SOT 2881950 SOS 1607448 HAS SOPS 1607448 HAS SOUS 1401393 HAS SOUPS 1401393 WITH SCORE 1403000.448
AT ITER 1644 NEW BEST:: SOT 2882078 SOS 1606748 HAS SOPS 1606748 HAS SOUS 1400635 HAS SOUPS 1400635 WITH SCORE 1402241.748
AT ITER 1648 NEW BEST:: SOT 2881913 SOS 1607248 HAS SOPS 1607248 HAS SOUS 1400470 HAS SOUPS 1400470 WITH SCORE 1402077.248
AT ITER 1649 NEW BEST:: SOT 2880892 SOS 1607266 HAS SOPS 1607266 HAS SOUS 1400000 HAS SOUPS 1400000 WITH SCORE 1401607.266
AT ITER 1652 NEW BEST:: SOT 2880275 SOS 1606649 HAS SOPS 1606649 HAS SOUS 1399392 HAS SOUPS 1399392 WITH SCORE 1400998.649
AT ITER 1655 NEW BEST:: SOT 2878424 SOS 1611359 HAS SOPS 1611359 HAS SOUS 1398671 HAS SOUPS 1398671 WITH SCORE 1400282.359
AT ITER 1658 NEW BEST:: SOT 2876984 SOS 1610366 HAS SOPS 1610366 HAS SOUS 1398150 HAS SOUPS 1398150 WITH SCORE 1399760.366
AT ITER 1659 NEW BEST:: SOT 2876866 SOS 1609269 HAS SOPS 1609269 HAS SOUS 1397904 HAS SOUPS 1397904 WITH SCORE 1399513.269
AT ITER 1663 NEW BEST:: SOT 2876478 SOS 1609212 HAS SOPS 1609212 HAS SOUS 1397848 HAS SOUPS 1397848 WITH SCORE 1399457.212
AT ITER 1664 NEW BEST:: SOT 2876513 SOS 1609107 HAS SOPS 1609107 HAS SOUS 1397848 HAS SOUPS 1397848 WITH SCORE 1399457.107
AT ITER 1667 NEW BEST:: SOT 2876475 SOS 1608958 HAS SOPS 1608958 HAS SOUS 1397827 HAS SOUPS 1397827 WITH SCORE 1399435.958
AT ITER 1673 NEW BEST:: SOT 2875921 SOS 1608509 HAS SOPS 1608509 HAS SOUS 1397378 HAS SOUPS 1397378 WITH SCORE 1398986.509
AT ITER 1674 NEW BEST:: SOT 2874584 SOS 1607315 HAS SOPS 1607315 HAS SOUS 1396250 HAS SOUPS 1396250 WITH SCORE 1397857.315
AT ITER 1678 NEW BEST:: SOT 2873015 SOS 1606305 HAS SOPS 1606305 HAS SOUS 1394809 HAS SOUPS 1394809 WITH SCORE 1396415.305
AT ITER 1680 NEW BEST:: SOT 2873015 SOS 1606251 HAS SOPS 1606251 HAS SOUS 1394809 HAS SOUPS 1394809 WITH SCORE 1396415.251
AT ITER 1682 NEW BEST:: SOT 2873015 SOS 1606175 HAS SOPS 1606175 HAS SOUS 1394809 HAS SOUPS 1394809 WITH SCORE 1396415.175
AT ITER 1684 NEW BEST:: SOT 2873015 SOS 1605854 HAS SOPS 1605854 HAS SOUS 1394809 HAS SOUPS 1394809 WITH SCORE 1396414.854
AT ITER 1687 NEW BEST:: SOT 2872856 SOS 1605695 HAS SOPS 1605695 HAS SOUS 1394634 HAS SOUPS 1394634 WITH SCORE 1396239.695
AT ITER 1689 NEW BEST:: SOT 2872109 SOS 1605531 HAS SOPS 1605531 HAS SOUS 1393887 HAS SOUPS 1393887 WITH SCORE 1395492.531
AT ITER 1692 NEW BEST:: SOT 2871548 SOS 1605297 HAS SOPS 1605297 HAS SOUS 1393400 HAS SOUPS 1393400 WITH SCORE 1395005.297
AT ITER 1701 NEW BEST:: SOT 2871548 SOS 1605297 HAS SOPS 1605297 HAS SOUS 1393340 HAS SOUPS 1393340 WITH SCORE 1394945.297
AT ITER 1706 NEW BEST:: SOT 2871548 SOS 1605021 HAS SOPS 1605021 HAS SOUS 1393340 HAS SOUPS 1393340 WITH SCORE 1394945.021
AT ITER 1709 NEW BEST:: SOT 2871548 SOS 1604909 HAS SOPS 1604909 HAS SOUS 1393340 HAS SOUPS 1393340 WITH SCORE 1394944.909
AT ITER 1716 NEW BEST:: SOT 2871548 SOS 1604276 HAS SOPS 1604276 HAS SOUS 1393340 HAS SOUPS 1393340 WITH SCORE 1394944.276
AT ITER 1718 NEW BEST:: SOT 2869924 SOS 1604102 HAS SOPS 1604102 HAS SOUS 1392386 HAS SOUPS 1392386 WITH SCORE 1393990.102
AT ITER 1720 NEW BEST:: SOT 2869867 SOS 1604102 HAS SOPS 1604102 HAS SOUS 1392329 HAS SOUPS 1392329 WITH SCORE 1393933.102
AT ITER 1723 NEW BEST:: SOT 2869867 SOS 1604102 HAS SOPS 1604102 HAS SOUS 1392321 HAS SOUPS 1392321 WITH SCORE 1393925.102
AT ITER 1727 NEW BEST:: SOT 2869867 SOS 1603050 HAS SOPS 1603050 HAS SOUS 1392317 HAS SOUPS 1392317 WITH SCORE 1393920.05
AT ITER 1729 NEW BEST:: SOT 2869867 SOS 1602664 HAS SOPS 1602664 HAS SOUS 1392317 HAS SOUPS 1392317 WITH SCORE 1393919.664
AT ITER 1730 NEW BEST:: SOT 2869265 SOS 1601815 HAS SOPS 1601815 HAS SOUS 1391931 HAS SOUPS 1391931 WITH SCORE 1393532.815
AT ITER 1736 NEW BEST:: SOT 2869544 SOS 1602603 HAS SOPS 1602603 HAS SOUS 1391875 HAS SOUPS 1391875 WITH SCORE 1393477.603
AT ITER 1741 NEW BEST:: SOT 2868678 SOS 1603465 HAS SOPS 1603465 HAS SOUS 1391656 HAS SOUPS 1391656 WITH SCORE 1393259.465
AT ITER 1753 NEW BEST:: SOT 2868678 SOS 1603084 HAS SOPS 1603084 HAS SOUS 1391656 HAS SOUPS 1391656 WITH SCORE 1393259.084
AT ITER 1758 NEW BEST:: SOT 2868143 SOS 1602611 HAS SOPS 1602611 HAS SOUS 1391183 HAS SOUPS 1391183 WITH SCORE 1392785.611
AT ITER 1759 NEW BEST:: SOT 2868143 SOS 1602113 HAS SOPS 1602113 HAS SOUS 1391183 HAS SOUPS 1391183 WITH SCORE 1392785.113
AT ITER 1765 NEW BEST:: SOT 2867819 SOS 1602139 HAS SOPS 1602139 HAS SOUS 1390859 HAS SOUPS 1390859 WITH SCORE 1392461.139
AT ITER 1772 NEW BEST:: SOT 2867819 SOS 1602059 HAS SOPS 1602059 HAS SOUS 1390859 HAS SOUPS 1390859 WITH SCORE 1392461.059
AT ITER 1774 NEW BEST:: SOT 2867868 SOS 1602010 HAS SOPS 1602010 HAS SOUS 1390761 HAS SOUPS 1390761 WITH SCORE 1392363.01
AT ITER 1783 NEW BEST:: SOT 2867868 SOS 1601887 HAS SOPS 1601887 HAS SOUS 1390761 HAS SOUPS 1390761 WITH SCORE 1392362.887
AT ITER 1792 NEW BEST:: SOT 2866760 SOS 1602778 HAS SOPS 1602778 HAS SOUS 1390464 HAS SOUPS 1390464 WITH SCORE 1392066.778
AT ITER 1799 NEW BEST:: SOT 2865885 SOS 1601748 HAS SOPS 1601748 HAS SOUS 1389739 HAS SOUPS 1389739 WITH SCORE 1391340.748
AT ITER 1808 NEW BEST:: SOT 2865010 SOS 1604348 HAS SOPS 1604348 HAS SOUS 1389671 HAS SOUPS 1389671 WITH SCORE 1391275.348
AT ITER 1810 NEW BEST:: SOT 2865010 SOS 1604310 HAS SOPS 1604310 HAS SOUS 1389643 HAS SOUPS 1389643 WITH SCORE 1391247.31
AT ITER 1811 NEW BEST:: SOT 2865070 SOS 1603944 HAS SOPS 1603944 HAS SOUS 1389547 HAS SOUPS 1389547 WITH SCORE 1391150.944
AT ITER 1812 NEW BEST:: SOT 2865070 SOS 1603764 HAS SOPS 1603764 HAS SOUS 1389547 HAS SOUPS 1389547 WITH SCORE 1391150.764
AT ITER 1816 NEW BEST:: SOT 2865070 SOS 1603309 HAS SOPS 1603309 HAS SOUS 1389547 HAS SOUPS 1389547 WITH SCORE 1391150.309
AT ITER 1820 NEW BEST:: SOT 2865070 SOS 1603213 HAS SOPS 1603213 HAS SOUS 1389547 HAS SOUPS 1389547 WITH SCORE 1391150.213
AT ITER 1823 NEW BEST:: SOT 2865070 SOS 1602724 HAS SOPS 1602724 HAS SOUS 1389321 HAS SOUPS 1389321 WITH SCORE 1390923.724
AT ITER 1832 NEW BEST:: SOT 2865070 SOS 1602715 HAS SOPS 1602715 HAS SOUS 1389321 HAS SOUPS 1389321 WITH SCORE 1390923.715
AT ITER 1837 NEW BEST:: SOT 2865070 SOS 1602683 HAS SOPS 1602683 HAS SOUS 1389321 HAS SOUPS 1389321 WITH SCORE 1390923.683
AT ITER 1838 NEW BEST:: SOT 2865070 SOS 1602292 HAS SOPS 1602292 HAS SOUS 1389321 HAS SOUPS 1389321 WITH SCORE 1390923.292
AT ITER 1843 NEW BEST:: SOT 2862895 SOS 1611758 HAS SOPS 1611758 HAS SOUS 1387926 HAS SOUPS 1387926 WITH SCORE 1389537.758
AT ITER 1846 NEW BEST:: SOT 2863102 SOS 1611758 HAS SOPS 1611758 HAS SOUS 1387676 HAS SOUPS 1387676 WITH SCORE 1389287.758
AT ITER 1847 NEW BEST:: SOT 2863102 SOS 1611670 HAS SOPS 1611670 HAS SOUS 1387676 HAS SOUPS 1387676 WITH SCORE 1389287.67
AT ITER 1848 NEW BEST:: SOT 2863151 SOS 1611275 HAS SOPS 1611275 HAS SOUS 1386780 HAS SOUPS 1386780 WITH SCORE 1388391.275
AT ITER 1850 NEW BEST:: SOT 2863151 SOS 1610377 HAS SOPS 1610377 HAS SOUS 1386780 HAS SOUPS 1386780 WITH SCORE 1388390.377
AT ITER 1853 NEW BEST:: SOT 2862560 SOS 1610511 HAS SOPS 1610511 HAS SOUS 1386733 HAS SOUPS 1386733 WITH SCORE 1388343.511
AT ITER 1857 NEW BEST:: SOT 2862711 SOS 1609892 HAS SOPS 1609892 HAS SOUS 1386588 HAS SOUPS 1386588 WITH SCORE 1388197.892
AT ITER 1861 NEW BEST:: SOT 2862075 SOS 1609256 HAS SOPS 1609256 HAS SOUS 1385952 HAS SOUPS 1385952 WITH SCORE 1387561.256
AT ITER 1866 NEW BEST:: SOT 2860851 SOS 1613495 HAS SOPS 1613495 HAS SOUS 1385349 HAS SOUPS 1385349 WITH SCORE 1386962.495
AT ITER 1869 NEW BEST:: SOT 2859964 SOS 1612705 HAS SOPS 1612705 HAS SOUS 1384517 HAS SOUPS 1384517 WITH SCORE 1386129.705
AT ITER 1871 NEW BEST:: SOT 2858184 SOS 1613459 HAS SOPS 1613459 HAS SOUS 1382878 HAS SOUPS 1382878 WITH SCORE 1384491.459
AT ITER 1887 NEW BEST:: SOT 2858055 SOS 1612984 HAS SOPS 1612984 HAS SOUS 1382402 HAS SOUPS 1382402 WITH SCORE 1384014.984
AT ITER 1891 NEW BEST:: SOT 2857926 SOS 1612855 HAS SOPS 1612855 HAS SOUS 1382273 HAS SOUPS 1382273 WITH SCORE 1383885.855
AT ITER 1894 NEW BEST:: SOT 2857926 SOS 1612799 HAS SOPS 1612799 HAS SOUS 1382273 HAS SOUPS 1382273 WITH SCORE 1383885.799
AT ITER 1899 NEW BEST:: SOT 2857926 SOS 1612584 HAS SOPS 1612584 HAS SOUS 1382273 HAS SOUPS 1382273 WITH SCORE 1383885.584
AT ITER 1901 NEW BEST:: SOT 2857926 SOS 1612497 HAS SOPS 1612497 HAS SOUS 1382273 HAS SOUPS 1382273 WITH SCORE 1383885.497
AT ITER 1904 NEW BEST:: SOT 2857926 SOS 1612222 HAS SOPS 1612222 HAS SOUS 1382240 HAS SOUPS 1382240 WITH SCORE 1383852.222
AT ITER 1911 NEW BEST:: SOT 2857926 SOS 1611633 HAS SOPS 1611633 HAS SOUS 1382240 HAS SOUPS 1382240 WITH SCORE 1383851.633
AT ITER 1912 NEW BEST:: SOT 2857926 SOS 1611537 HAS SOPS 1611537 HAS SOUS 1382240 HAS SOUPS 1382240 WITH SCORE 1383851.537
AT ITER 1922 NEW BEST:: SOT 2857828 SOS 1611439 HAS SOPS 1611439 HAS SOUS 1381885 HAS SOUPS 1381885 WITH SCORE 1383496.439
AT ITER 1926 NEW BEST:: SOT 2857806 SOS 1610754 HAS SOPS 1610754 HAS SOUS 1381819 HAS SOUPS 1381819 WITH SCORE 1383429.754
AT ITER 1932 NEW BEST:: SOT 2857806 SOS 1610435 HAS SOPS 1610435 HAS SOUS 1381819 HAS SOUPS 1381819 WITH SCORE 1383429.435
AT ITER 1941 NEW BEST:: SOT 2857702 SOS 1610768 HAS SOPS 1610768 HAS SOUS 1381688 HAS SOUPS 1381688 WITH SCORE 1383298.768
AT ITER 1943 NEW BEST:: SOT 2857702 SOS 1610515 HAS SOPS 1610515 HAS SOUS 1381688 HAS SOUPS 1381688 WITH SCORE 1383298.515
AT ITER 1944 NEW BEST:: SOT 2857656 SOS 1610469 HAS SOPS 1610469 HAS SOUS 1381642 HAS SOUPS 1381642 WITH SCORE 1383252.469
AT ITER 1945 NEW BEST:: SOT 2857656 SOS 1610302 HAS SOPS 1610302 HAS SOUS 1381642 HAS SOUPS 1381642 WITH SCORE 1383252.302
AT ITER 1952 NEW BEST:: SOT 2857289 SOS 1610184 HAS SOPS 1610184 HAS SOUS 1381524 HAS SOUPS 1381524 WITH SCORE 1383134.184
AT ITER 1954 NEW BEST:: SOT 2854622 SOS 1610064 HAS SOPS 1610064 HAS SOUS 1380667 HAS SOUPS 1380667 WITH SCORE 1382277.064
AT ITER 1955 NEW BEST:: SOT 2854855 SOS 1609470 HAS SOPS 1609470 HAS SOUS 1380430 HAS SOUPS 1380430 WITH SCORE 1382039.47
AT ITER 1965 NEW BEST:: SOT 2854742 SOS 1609953 HAS SOPS 1609953 HAS SOUS 1380425 HAS SOUPS 1380425 WITH SCORE 1382034.953
AT ITER 1966 NEW BEST:: SOT 2854567 SOS 1609470 HAS SOPS 1609470 HAS SOUS 1380180 HAS SOUPS 1380180 WITH SCORE 1381789.47
AT ITER 1967 NEW BEST:: SOT 2854567 SOS 1609355 HAS SOPS 1609355 HAS SOUS 1380180 HAS SOUPS 1380180 WITH SCORE 1381789.355
AT ITER 1970 NEW BEST:: SOT 2854567 SOS 1608810 HAS SOPS 1608810 HAS SOUS 1380180 HAS SOUPS 1380180 WITH SCORE 1381788.81
AT ITER 1972 NEW BEST:: SOT 2854525 SOS 1608316 HAS SOPS 1608316 HAS SOUS 1380095 HAS SOUPS 1380095 WITH SCORE 1381703.316
AT ITER 1979 NEW BEST:: SOT 2854525 SOS 1607818 HAS SOPS 1607818 HAS SOUS 1380095 HAS SOUPS 1380095 WITH SCORE 1381702.818
AT ITER 1984 NEW BEST:: SOT 2854525 SOS 1607648 HAS SOPS 1607648 HAS SOUS 1379929 HAS SOUPS 1379929 WITH SCORE 1381536.648
AT ITER 1991 NEW BEST:: SOT 2854525 SOS 1607117 HAS SOPS 1607117 HAS SOUS 1379929 HAS SOUPS 1379929 WITH SCORE 1381536.117
AT ITER 2004 NEW BEST:: SOT 2852924 SOS 1607303 HAS SOPS 1607303 HAS SOUS 1378755 HAS SOUPS 1378755 WITH SCORE 1380362.303
AT ITER 2008 NEW BEST:: SOT 2852924 SOS 1607219 HAS SOPS 1607219 HAS SOUS 1378755 HAS SOUPS 1378755 WITH SCORE 1380362.219
AT ITER 2011 NEW BEST:: SOT 2851673 SOS 1606733 HAS SOPS 1606733 HAS SOUS 1378080 HAS SOUPS 1378080 WITH SCORE 1379686.733
AT ITER 2013 NEW BEST:: SOT 2851673 SOS 1606602 HAS SOPS 1606602 HAS SOUS 1377689 HAS SOUPS 1377689 WITH SCORE 1379295.602
AT ITER 2016 NEW BEST:: SOT 2851673 SOS 1606430 HAS SOPS 1606430 HAS SOUS 1377689 HAS SOUPS 1377689 WITH SCORE 1379295.43
AT ITER 2017 NEW BEST:: SOT 2849650 SOS 1604768 HAS SOPS 1604768 HAS SOUS 1375803 HAS SOUPS 1375803 WITH SCORE 1377407.768
AT ITER 2020 NEW BEST:: SOT 2849650 SOS 1604734 HAS SOPS 1604734 HAS SOUS 1375729 HAS SOUPS 1375729 WITH SCORE 1377333.734
AT ITER 2021 NEW BEST:: SOT 2849868 SOS 1604605 HAS SOPS 1604605 HAS SOUS 1375440 HAS SOUPS 1375440 WITH SCORE 1377044.605
AT ITER 2024 NEW BEST:: SOT 2849868 SOS 1604440 HAS SOPS 1604440 HAS SOUS 1375440 HAS SOUPS 1375440 WITH SCORE 1377044.44
AT ITER 2030 NEW BEST:: SOT 2849868 SOS 1603928 HAS SOPS 1603928 HAS SOUS 1375408 HAS SOUPS 1375408 WITH SCORE 1377011.928
AT ITER 2034 NEW BEST:: SOT 2849631 SOS 1604168 HAS SOPS 1604168 HAS SOUS 1375346 HAS SOUPS 1375346 WITH SCORE 1376950.168
AT ITER 2042 NEW BEST:: SOT 2849958 SOS 1604589 HAS SOPS 1604589 HAS SOUS 1375268 HAS SOUPS 1375268 WITH SCORE 1376872.589
AT ITER 2056 NEW BEST:: SOT 2849960 SOS 1604637 HAS SOPS 1604637 HAS SOUS 1375138 HAS SOUPS 1375138 WITH SCORE 1376742.637
AT ITER 2058 NEW BEST:: SOT 2849960 SOS 1604026 HAS SOPS 1604026 HAS SOUS 1375055 HAS SOUPS 1375055 WITH SCORE 1376659.026
AT ITER 2059 NEW BEST:: SOT 2849244 SOS 1603442 HAS SOPS 1603442 HAS SOUS 1374471 HAS SOUPS 1374471 WITH SCORE 1376074.442
AT ITER 2076 NEW BEST:: SOT 2849030 SOS 1603228 HAS SOPS 1603228 HAS SOUS 1374364 HAS SOUPS 1374364 WITH SCORE 1375967.228
AT ITER 2085 NEW BEST:: SOT 2849030 SOS 1603149 HAS SOPS 1603149 HAS SOUS 1374364 HAS SOUPS 1374364 WITH SCORE 1375967.149
AT ITER 2086 NEW BEST:: SOT 2848521 SOS 1602640 HAS SOPS 1602640 HAS SOUS 1373855 HAS SOUPS 1373855 WITH SCORE 1375457.64
AT ITER 2090 NEW BEST:: SOT 2848737 SOS 1602378 HAS SOPS 1602378 HAS SOUS 1373593 HAS SOUPS 1373593 WITH SCORE 1375195.378
AT ITER 2097 NEW BEST:: SOT 2848737 SOS 1601963 HAS SOPS 1601963 HAS SOUS 1373548 HAS SOUPS 1373548 WITH SCORE 1375149.963
AT ITER 2100 NEW BEST:: SOT 2848737 SOS 1602424 HAS SOPS 1602424 HAS SOUS 1373395 HAS SOUPS 1373395 WITH SCORE 1374997.424
AT ITER 2112 NEW BEST:: SOT 2848737 SOS 1602076 HAS SOPS 1602076 HAS SOUS 1373322 HAS SOUPS 1373322 WITH SCORE 1374924.076
AT ITER 2113 NEW BEST:: SOT 2848113 SOS 1601746 HAS SOPS 1601746 HAS SOUS 1372698 HAS SOUPS 1372698 WITH SCORE 1374299.746
AT ITER 2116 NEW BEST:: SOT 2847915 SOS 1601671 HAS SOPS 1601671 HAS SOUS 1372623 HAS SOUPS 1372623 WITH SCORE 1374224.671
AT ITER 2117 NEW BEST:: SOT 2847839 SOS 1601353 HAS SOPS 1601353 HAS SOUS 1372358 HAS SOUPS 1372358 WITH SCORE 1373959.353
AT ITER 2118 NEW BEST:: SOT 2847903 SOS 1601477 HAS SOPS 1601477 HAS SOUS 1372350 HAS SOUPS 1372350 WITH SCORE 1373951.477
AT ITER 2132 NEW BEST:: SOT 2847903 SOS 1601213 HAS SOPS 1601213 HAS SOUS 1372350 HAS SOUPS 1372350 WITH SCORE 1373951.213
AT ITER 2133 NEW BEST:: SOT 2846974 SOS 1607442 HAS SOPS 1607442 HAS SOUS 1372274 HAS SOUPS 1372274 WITH SCORE 1373881.442
AT ITER 2137 NEW BEST:: SOT 2846974 SOS 1605770 HAS SOPS 1605770 HAS SOUS 1372274 HAS SOUPS 1372274 WITH SCORE 1373879.77
AT ITER 2138 NEW BEST:: SOT 2846788 SOS 1606890 HAS SOPS 1606890 HAS SOUS 1372088 HAS SOUPS 1372088 WITH SCORE 1373694.89
AT ITER 2140 NEW BEST:: SOT 2846788 SOS 1606711 HAS SOPS 1606711 HAS SOUS 1371909 HAS SOUPS 1371909 WITH SCORE 1373515.711
AT ITER 2143 NEW BEST:: SOT 2846788 SOS 1605850 HAS SOPS 1605850 HAS SOUS 1371786 HAS SOUPS 1371786 WITH SCORE 1373391.85
AT ITER 2145 NEW BEST:: SOT 2846788 SOS 1605614 HAS SOPS 1605614 HAS SOUS 1371786 HAS SOUPS 1371786 WITH SCORE 1373391.614
AT ITER 2147 NEW BEST:: SOT 2844855 SOS 1604303 HAS SOPS 1604303 HAS SOUS 1371502 HAS SOUPS 1371502 WITH SCORE 1373106.303
AT ITER 2163 NEW BEST:: SOT 2844653 SOS 1603475 HAS SOPS 1603475 HAS SOUS 1371122 HAS SOUPS 1371122 WITH SCORE 1372725.475
AT ITER 2172 NEW BEST:: SOT 2844653 SOS 1603559 HAS SOPS 1603559 HAS SOUS 1371022 HAS SOUPS 1371022 WITH SCORE 1372625.559
AT ITER 2173 NEW BEST:: SOT 2844653 SOS 1602761 HAS SOPS 1602761 HAS SOUS 1370683 HAS SOUPS 1370683 WITH SCORE 1372285.761
AT ITER 2180 NEW BEST:: SOT 2844328 SOS 1602436 HAS SOPS 1602436 HAS SOUS 1370268 HAS SOUPS 1370268 WITH SCORE 1371870.436
AT ITER 2182 NEW BEST:: SOT 2844328 SOS 1594756 HAS SOPS 1594756 HAS SOUS 1370268 HAS SOUPS 1370268 WITH SCORE 1371862.756
AT ITER 2183 NEW BEST:: SOT 2844328 SOS 1594642 HAS SOPS 1594642 HAS SOUS 1370268 HAS SOUPS 1370268 WITH SCORE 1371862.642
AT ITER 2192 NEW BEST:: SOT 2843759 SOS 1593682 HAS SOPS 1593682 HAS SOUS 1369699 HAS SOUPS 1369699 WITH SCORE 1371292.682
AT ITER 2193 NEW BEST:: SOT 2843928 SOS 1593815 HAS SOPS 1593815 HAS SOUS 1369510 HAS SOUPS 1369510 WITH SCORE 1371103.815
AT ITER 2194 NEW BEST:: SOT 2843103 SOS 1595422 HAS SOPS 1595422 HAS SOUS 1369316 HAS SOUPS 1369316 WITH SCORE 1370911.422
AT ITER 2208 NEW BEST:: SOT 2842971 SOS 1595422 HAS SOPS 1595422 HAS SOUS 1369184 HAS SOUPS 1369184 WITH SCORE 1370779.422
AT ITER 2216 NEW BEST:: SOT 2841929 SOS 1596074 HAS SOPS 1596074 HAS SOUS 1368967 HAS SOUPS 1368967 WITH SCORE 1370563.074
AT ITER 2217 NEW BEST:: SOT 2841103 SOS 1597799 HAS SOPS 1597799 HAS SOUS 1368231 HAS SOUPS 1368231 WITH SCORE 1369828.799
AT ITER 2225 NEW BEST:: SOT 2841103 SOS 1597799 HAS SOPS 1597799 HAS SOUS 1368176 HAS SOUPS 1368176 WITH SCORE 1369773.799
AT ITER 2232 NEW BEST:: SOT 2841103 SOS 1597680 HAS SOPS 1597680 HAS SOUS 1368176 HAS SOUPS 1368176 WITH SCORE 1369773.68
AT ITER 2236 NEW BEST:: SOT 2841103 SOS 1597439 HAS SOPS 1597439 HAS SOUS 1368176 HAS SOUPS 1368176 WITH SCORE 1369773.439
AT ITER 2237 NEW BEST:: SOT 2841103 SOS 1597253 HAS SOPS 1597253 HAS SOUS 1368105 HAS SOUPS 1368105 WITH SCORE 1369702.253
AT ITER 2241 NEW BEST:: SOT 2841241 SOS 1596447 HAS SOPS 1596447 HAS SOUS 1367444 HAS SOUPS 1367444 WITH SCORE 1369040.447
AT ITER 2242 NEW BEST:: SOT 2841241 SOS 1596414 HAS SOPS 1596414 HAS SOUS 1367444 HAS SOUPS 1367444 WITH SCORE 1369040.414
AT ITER 2244 NEW BEST:: SOT 2841241 SOS 1595824 HAS SOPS 1595824 HAS SOUS 1367444 HAS SOUPS 1367444 WITH SCORE 1369039.824
AT ITER 2248 NEW BEST:: SOT 2841176 SOS 1595760 HAS SOPS 1595760 HAS SOUS 1367439 HAS SOUPS 1367439 WITH SCORE 1369034.76
AT ITER 2250 NEW BEST:: SOT 2841290 SOS 1595403 HAS SOPS 1595403 HAS SOUS 1367372 HAS SOUPS 1367372 WITH SCORE 1368967.403
AT ITER 2252 NEW BEST:: SOT 2841197 SOS 1594837 HAS SOPS 1594837 HAS SOUS 1366871 HAS SOUPS 1366871 WITH SCORE 1368465.837
AT ITER 2261 NEW BEST:: SOT 2841197 SOS 1594763 HAS SOPS 1594763 HAS SOUS 1366871 HAS SOUPS 1366871 WITH SCORE 1368465.763
AT ITER 2263 NEW BEST:: SOT 2841311 SOS 1592467 HAS SOPS 1592467 HAS SOUS 1366650 HAS SOUPS 1366650 WITH SCORE 1368242.467
AT ITER 2269 NEW BEST:: SOT 2841448 SOS 1592576 HAS SOPS 1592576 HAS SOUS 1366649 HAS SOUPS 1366649 WITH SCORE 1368241.576
AT ITER 2270 NEW BEST:: SOT 2841448 SOS 1592384 HAS SOPS 1592384 HAS SOUS 1366649 HAS SOUPS 1366649 WITH SCORE 1368241.384
AT ITER 2274 NEW BEST:: SOT 2841421 SOS 1591772 HAS SOPS 1591772 HAS SOUS 1366628 HAS SOUPS 1366628 WITH SCORE 1368219.772
AT ITER 2281 NEW BEST:: SOT 2841265 SOS 1591694 HAS SOPS 1591694 HAS SOUS 1366628 HAS SOUPS 1366628 WITH SCORE 1368219.694
AT ITER 2288 NEW BEST:: SOT 2840880 SOS 1591487 HAS SOPS 1591487 HAS SOUS 1366243 HAS SOUPS 1366243 WITH SCORE 1367834.487
AT ITER 2295 NEW BEST:: SOT 2840865 SOS 1591477 HAS SOPS 1591477 HAS SOUS 1366233 HAS SOUPS 1366233 WITH SCORE 1367824.477
AT ITER 2297 NEW BEST:: SOT 2840546 SOS 1594071 HAS SOPS 1594071 HAS SOUS 1366158 HAS SOUPS 1366158 WITH SCORE 1367752.071
AT ITER 2300 NEW BEST:: SOT 2839788 SOS 1593313 HAS SOPS 1593313 HAS SOUS 1365563 HAS SOUPS 1365563 WITH SCORE 1367156.313
AT ITER 2312 NEW BEST:: SOT 2838221 SOS 1600921 HAS SOPS 1600921 HAS SOUS 1365132 HAS SOUPS 1365132 WITH SCORE 1366732.921
AT ITER 2322 NEW BEST:: SOT 2838559 SOS 1601259 HAS SOPS 1601259 HAS SOUS 1365107 HAS SOUPS 1365107 WITH SCORE 1366708.259
AT ITER 2335 NEW BEST:: SOT 2838559 SOS 1600499 HAS SOPS 1600499 HAS SOUS 1365031 HAS SOUPS 1365031 WITH SCORE 1366631.499
AT ITER 2337 NEW BEST:: SOT 2838559 SOS 1600408 HAS SOPS 1600408 HAS SOUS 1365031 HAS SOUPS 1365031 WITH SCORE 1366631.408
AT ITER 2342 NEW BEST:: SOT 2836754 SOS 1602722 HAS SOPS 1602722 HAS SOUS 1363748 HAS SOUPS 1363748 WITH SCORE 1365350.722
AT ITER 2343 NEW BEST:: SOT 2835588 SOS 1601654 HAS SOPS 1601654 HAS SOUS 1362916 HAS SOUPS 1362916 WITH SCORE 1364517.654
AT ITER 2347 NEW BEST:: SOT 2835339 SOS 1601626 HAS SOPS 1601626 HAS SOUS 1362659 HAS SOUPS 1362659 WITH SCORE 1364260.626
AT ITER 2355 NEW BEST:: SOT 2835339 SOS 1599019 HAS SOPS 1599019 HAS SOUS 1362549 HAS SOUPS 1362549 WITH SCORE 1364148.019
AT ITER 2356 NEW BEST:: SOT 2834876 SOS 1598717 HAS SOPS 1598717 HAS SOUS 1362247 HAS SOUPS 1362247 WITH SCORE 1363845.717
AT ITER 2359 NEW BEST:: SOT 2833591 SOS 1598700 HAS SOPS 1598700 HAS SOUS 1361892 HAS SOUPS 1361892 WITH SCORE 1363490.7
AT ITER 2360 NEW BEST:: SOT 2833591 SOS 1598205 HAS SOPS 1598205 HAS SOUS 1361892 HAS SOUPS 1361892 WITH SCORE 1363490.205
AT ITER 2363 NEW BEST:: SOT 2833100 SOS 1597714 HAS SOPS 1597714 HAS SOUS 1361498 HAS SOUPS 1361498 WITH SCORE 1363095.714
AT ITER 2369 NEW BEST:: SOT 2832895 SOS 1597715 HAS SOPS 1597715 HAS SOUS 1361377 HAS SOUPS 1361377 WITH SCORE 1362974.715
AT ITER 2378 NEW BEST:: SOT 2832276 SOS 1597308 HAS SOPS 1597308 HAS SOUS 1360926 HAS SOUPS 1360926 WITH SCORE 1362523.308
AT ITER 2383 NEW BEST:: SOT 2830993 SOS 1598190 HAS SOPS 1598190 HAS SOUS 1360605 HAS SOUPS 1360605 WITH SCORE 1362203.19
AT ITER 2387 NEW BEST:: SOT 2830993 SOS 1598163 HAS SOPS 1598163 HAS SOUS 1360605 HAS SOUPS 1360605 WITH SCORE 1362203.163
AT ITER 2389 NEW BEST:: SOT 2830993 SOS 1597899 HAS SOPS 1597899 HAS SOUS 1360604 HAS SOUPS 1360604 WITH SCORE 1362201.899
AT ITER 2391 NEW BEST:: SOT 2831545 SOS 1598033 HAS SOPS 1598033 HAS SOUS 1360390 HAS SOUPS 1360390 WITH SCORE 1361988.033
AT ITER 2402 NEW BEST:: SOT 2831545 SOS 1597949 HAS SOPS 1597949 HAS SOUS 1360390 HAS SOUPS 1360390 WITH SCORE 1361987.949
AT ITER 2403 NEW BEST:: SOT 2829916 SOS 1603376 HAS SOPS 1603376 HAS SOUS 1360143 HAS SOUPS 1360143 WITH SCORE 1361746.376
AT ITER 2411 NEW BEST:: SOT 2829916 SOS 1603327 HAS SOPS 1603327 HAS SOUS 1360094 HAS SOUPS 1360094 WITH SCORE 1361697.327
AT ITER 2420 NEW BEST:: SOT 2829916 SOS 1597022 HAS SOPS 1597022 HAS SOUS 1359847 HAS SOUPS 1359847 WITH SCORE 1361444.022
AT ITER 2422 NEW BEST:: SOT 2828366 SOS 1602335 HAS SOPS 1602335 HAS SOUS 1359497 HAS SOUPS 1359497 WITH SCORE 1361099.335
AT ITER 2425 NEW BEST:: SOT 2828366 SOS 1602310 HAS SOPS 1602310 HAS SOUS 1359400 HAS SOUPS 1359400 WITH SCORE 1361002.31
AT ITER 2428 NEW BEST:: SOT 2824974 SOS 1601696 HAS SOPS 1601696 HAS SOUS 1357827 HAS SOUPS 1357827 WITH SCORE 1359428.696
AT ITER 2431 NEW BEST:: SOT 2824906 SOS 1601047 HAS SOPS 1601047 HAS SOUS 1357527 HAS SOUPS 1357527 WITH SCORE 1359128.047
AT ITER 2432 NEW BEST:: SOT 2824891 SOS 1600570 HAS SOPS 1600570 HAS SOUS 1357390 HAS SOUPS 1357390 WITH SCORE 1358990.57
AT ITER 2441 NEW BEST:: SOT 2822221 SOS 1603885 HAS SOPS 1603885 HAS SOUS 1356117 HAS SOUPS 1356117 WITH SCORE 1357720.885
AT ITER 2442 NEW BEST:: SOT 2821329 SOS 1603339 HAS SOPS 1603339 HAS SOUS 1355571 HAS SOUPS 1355571 WITH SCORE 1357174.339
AT ITER 2445 NEW BEST:: SOT 2821329 SOS 1601749 HAS SOPS 1601749 HAS SOUS 1355522 HAS SOUPS 1355522 WITH SCORE 1357123.749
AT ITER 2446 NEW BEST:: SOT 2821160 SOS 1601549 HAS SOPS 1601549 HAS SOUS 1355305 HAS SOUPS 1355305 WITH SCORE 1356906.549
AT ITER 2450 NEW BEST:: SOT 2821160 SOS 1601549 HAS SOPS 1601549 HAS SOUS 1355052 HAS SOUPS 1355052 WITH SCORE 1356653.549
AT ITER 2452 NEW BEST:: SOT 2821459 SOS 1601274 HAS SOPS 1601274 HAS SOUS 1354769 HAS SOUPS 1354769 WITH SCORE 1356370.274
AT ITER 2453 NEW BEST:: SOT 2821459 SOS 1601274 HAS SOPS 1601274 HAS SOUS 1354625 HAS SOUPS 1354625 WITH SCORE 1356226.274
AT ITER 2454 NEW BEST:: SOT 2821459 SOS 1600855 HAS SOPS 1600855 HAS SOUS 1354625 HAS SOUPS 1354625 WITH SCORE 1356225.855
AT ITER 2455 NEW BEST:: SOT 2821460 SOS 1600201 HAS SOPS 1600201 HAS SOUS 1354575 HAS SOUPS 1354575 WITH SCORE 1356175.201
AT ITER 2456 NEW BEST:: SOT 2821460 SOS 1600082 HAS SOPS 1600082 HAS SOUS 1354575 HAS SOUPS 1354575 WITH SCORE 1356175.082
AT ITER 2459 NEW BEST:: SOT 2821111 SOS 1599733 HAS SOPS 1599733 HAS SOUS 1354352 HAS SOUPS 1354352 WITH SCORE 1355951.733
AT ITER 2463 NEW BEST:: SOT 2821076 SOS 1599698 HAS SOPS 1599698 HAS SOUS 1354097 HAS SOUPS 1354097 WITH SCORE 1355696.698
AT ITER 2472 NEW BEST:: SOT 2819916 SOS 1599230 HAS SOPS 1599230 HAS SOUS 1353346 HAS SOUPS 1353346 WITH SCORE 1354945.23
AT ITER 2474 NEW BEST:: SOT 2819916 SOS 1599167 HAS SOPS 1599167 HAS SOUS 1353346 HAS SOUPS 1353346 WITH SCORE 1354945.167
AT ITER 2475 NEW BEST:: SOT 2820649 SOS 1592837 HAS SOPS 1592837 HAS SOUS 1353235 HAS SOUPS 1353235 WITH SCORE 1354827.837
AT ITER 2483 NEW BEST:: SOT 2820649 SOS 1592744 HAS SOPS 1592744 HAS SOUS 1353235 HAS SOUPS 1353235 WITH SCORE 1354827.744
AT ITER 2486 NEW BEST:: SOT 2820649 SOS 1592372 HAS SOPS 1592372 HAS SOUS 1353151 HAS SOUPS 1353151 WITH SCORE 1354743.372
AT ITER 2488 NEW BEST:: SOT 2820649 SOS 1592285 HAS SOPS 1592285 HAS SOUS 1353151 HAS SOUPS 1353151 WITH SCORE 1354743.285
AT ITER 2489 NEW BEST:: SOT 2819046 SOS 1593200 HAS SOPS 1593200 HAS SOUS 1352882 HAS SOUPS 1352882 WITH SCORE 1354475.2
AT ITER 2492 NEW BEST:: SOT 2819046 SOS 1593200 HAS SOPS 1593200 HAS SOUS 1352807 HAS SOUPS 1352807 WITH SCORE 1354400.2
AT ITER 2493 NEW BEST:: SOT 2819046 SOS 1592851 HAS SOPS 1592851 HAS SOUS 1352806 HAS SOUPS 1352806 WITH SCORE 1354398.851
AT ITER 2496 NEW BEST:: SOT 2819046 SOS 1591641 HAS SOPS 1591641 HAS SOUS 1352694 HAS SOUPS 1352694 WITH SCORE 1354285.641
AT ITER 2498 NEW BEST:: SOT 2819118 SOS 1587843 HAS SOPS 1587843 HAS SOUS 1352109 HAS SOUPS 1352109 WITH SCORE 1353696.843
AT ITER 2502 NEW BEST:: SOT 2816709 SOS 1586690 HAS SOPS 1586690 HAS SOUS 1350789 HAS SOUPS 1350789 WITH SCORE 1352375.69
AT ITER 2504 NEW BEST:: SOT 2816335 SOS 1586325 HAS SOPS 1586325 HAS SOUS 1350516 HAS SOUPS 1350516 WITH SCORE 1352102.325
AT ITER 2510 NEW BEST:: SOT 2816299 SOS 1586755 HAS SOPS 1586755 HAS SOUS 1350480 HAS SOUPS 1350480 WITH SCORE 1352066.755
AT ITER 2512 NEW BEST:: SOT 2816299 SOS 1586574 HAS SOPS 1586574 HAS SOUS 1350480 HAS SOUPS 1350480 WITH SCORE 1352066.574
AT ITER 2522 NEW BEST:: SOT 2816299 SOS 1586282 HAS SOPS 1586282 HAS SOUS 1350210 HAS SOUPS 1350210 WITH SCORE 1351796.282
AT ITER 2527 NEW BEST:: SOT 2816299 SOS 1587036 HAS SOPS 1587036 HAS SOUS 1350195 HAS SOUPS 1350195 WITH SCORE 1351782.036
AT ITER 2544 NEW BEST:: SOT 2816268 SOS 1587311 HAS SOPS 1587311 HAS SOUS 1350072 HAS SOUPS 1350072 WITH SCORE 1351659.311
AT ITER 2545 NEW BEST:: SOT 2816268 SOS 1583914 HAS SOPS 1583914 HAS SOUS 1349746 HAS SOUPS 1349746 WITH SCORE 1351329.914
AT ITER 2547 NEW BEST:: SOT 2815804 SOS 1583811 HAS SOPS 1583811 HAS SOUS 1349643 HAS SOUPS 1349643 WITH SCORE 1351226.811
AT ITER 2550 NEW BEST:: SOT 2815705 SOS 1583723 HAS SOPS 1583723 HAS SOUS 1349555 HAS SOUPS 1349555 WITH SCORE 1351138.723
AT ITER 2552 NEW BEST:: SOT 2815719 SOS 1583607 HAS SOPS 1583607 HAS SOUS 1349527 HAS SOUPS 1349527 WITH SCORE 1351110.607
AT ITER 2559 NEW BEST:: SOT 2815415 SOS 1584344 HAS SOPS 1584344 HAS SOUS 1349364 HAS SOUPS 1349364 WITH SCORE 1350948.344
AT ITER 2560 NEW BEST:: SOT 2815286 SOS 1583917 HAS SOPS 1583917 HAS SOUS 1348902 HAS SOUPS 1348902 WITH SCORE 1350485.917
AT ITER 2570 NEW BEST:: SOT 2815286 SOS 1582789 HAS SOPS 1582789 HAS SOUS 1348800 HAS SOUPS 1348800 WITH SCORE 1350382.789
AT ITER 2571 NEW BEST:: SOT 2815286 SOS 1582595 HAS SOPS 1582595 HAS SOUS 1348800 HAS SOUPS 1348800 WITH SCORE 1350382.595
AT ITER 2578 NEW BEST:: SOT 2812921 SOS 1582959 HAS SOPS 1582959 HAS SOUS 1347001 HAS SOUPS 1347001 WITH SCORE 1348583.959
AT ITER 2579 NEW BEST:: SOT 2812253 SOS 1583155 HAS SOPS 1583155 HAS SOUS 1346649 HAS SOUPS 1346649 WITH SCORE 1348232.155
AT ITER 2583 NEW BEST:: SOT 2812253 SOS 1583068 HAS SOPS 1583068 HAS SOUS 1346649 HAS SOUPS 1346649 WITH SCORE 1348232.068
AT ITER 2607 NEW BEST:: SOT 2812253 SOS 1583068 HAS SOPS 1583068 HAS SOUS 1346629 HAS SOUPS 1346629 WITH SCORE 1348212.068
AT ITER 2615 NEW BEST:: SOT 2812029 SOS 1582993 HAS SOPS 1582993 HAS SOUS 1346405 HAS SOUPS 1346405 WITH SCORE 1347987.993
AT ITER 2625 NEW BEST:: SOT 2812029 SOS 1582801 HAS SOPS 1582801 HAS SOUS 1346405 HAS SOUPS 1346405 WITH SCORE 1347987.801
AT ITER 2636 NEW BEST:: SOT 2812029 SOS 1581412 HAS SOPS 1581412 HAS SOUS 1346233 HAS SOUPS 1346233 WITH SCORE 1347814.412
AT ITER 2642 NEW BEST:: SOT 2811088 SOS 1580611 HAS SOPS 1580611 HAS SOUS 1345492 HAS SOUPS 1345492 WITH SCORE 1347072.611
AT ITER 2648 NEW BEST:: SOT 2811088 SOS 1580611 HAS SOPS 1580611 HAS SOUS 1345488 HAS SOUPS 1345488 WITH SCORE 1347068.611
AT ITER 2655 NEW BEST:: SOT 2810777 SOS 1580620 HAS SOPS 1580620 HAS SOUS 1345445 HAS SOUPS 1345445 WITH SCORE 1347025.62
AT ITER 2656 NEW BEST:: SOT 2810777 SOS 1579994 HAS SOPS 1579994 HAS SOUS 1345419 HAS SOUPS 1345419 WITH SCORE 1346998.994
AT ITER 2664 NEW BEST:: SOT 2810777 SOS 1579276 HAS SOPS 1579276 HAS SOUS 1345419 HAS SOUPS 1345419 WITH SCORE 1346998.276
AT ITER 2667 NEW BEST:: SOT 2810777 SOS 1578976 HAS SOPS 1578976 HAS SOUS 1345215 HAS SOUPS 1345215 WITH SCORE 1346793.976
AT ITER 2668 NEW BEST:: SOT 2808683 SOS 1578812 HAS SOPS 1578812 HAS SOUS 1344403 HAS SOUPS 1344403 WITH SCORE 1345981.812
AT ITER 2671 NEW BEST:: SOT 2808662 SOS 1578791 HAS SOPS 1578791 HAS SOUS 1344382 HAS SOUPS 1344382 WITH SCORE 1345960.791
AT ITER 2672 NEW BEST:: SOT 2808662 SOS 1578791 HAS SOPS 1578791 HAS SOUS 1344377 HAS SOUPS 1344377 WITH SCORE 1345955.791
AT ITER 2676 NEW BEST:: SOT 2808265 SOS 1578394 HAS SOPS 1578394 HAS SOUS 1343589 HAS SOUPS 1343589 WITH SCORE 1345167.394
AT ITER 2679 NEW BEST:: SOT 2808265 SOS 1578205 HAS SOPS 1578205 HAS SOUS 1343589 HAS SOUPS 1343589 WITH SCORE 1345167.205
AT ITER 2681 NEW BEST:: SOT 2808133 SOS 1578073 HAS SOPS 1578073 HAS SOUS 1343457 HAS SOUPS 1343457 WITH SCORE 1345035.073
AT ITER 2697 NEW BEST:: SOT 2808115 SOS 1578055 HAS SOPS 1578055 HAS SOUS 1343439 HAS SOUPS 1343439 WITH SCORE 1345017.055
AT ITER 2704 NEW BEST:: SOT 2807665 SOS 1577655 HAS SOPS 1577655 HAS SOUS 1343039 HAS SOUPS 1343039 WITH SCORE 1344616.655
AT ITER 2709 NEW BEST:: SOT 2807665 SOS 1577606 HAS SOPS 1577606 HAS SOUS 1343039 HAS SOUPS 1343039 WITH SCORE 1344616.606
AT ITER 2716 NEW BEST:: SOT 2807665 SOS 1577584 HAS SOPS 1577584 HAS SOUS 1343039 HAS SOUPS 1343039 WITH SCORE 1344616.584
AT ITER 2721 NEW BEST:: SOT 2807830 SOS 1577404 HAS SOPS 1577404 HAS SOUS 1342967 HAS SOUPS 1342967 WITH SCORE 1344544.404
AT ITER 2723 NEW BEST:: SOT 2807625 SOS 1583962 HAS SOPS 1583962 HAS SOUS 1342762 HAS SOUPS 1342762 WITH SCORE 1344345.962
AT ITER 2724 NEW BEST:: SOT 2807625 SOS 1583956 HAS SOPS 1583956 HAS SOUS 1342762 HAS SOUPS 1342762 WITH SCORE 1344345.956
AT ITER 2739 NEW BEST:: SOT 2807166 SOS 1583551 HAS SOPS 1583551 HAS SOUS 1342384 HAS SOUPS 1342384 WITH SCORE 1343967.551
AT ITER 2745 NEW BEST:: SOT 2807166 SOS 1583472 HAS SOPS 1583472 HAS SOUS 1342384 HAS SOUPS 1342384 WITH SCORE 1343967.472
AT ITER 2746 NEW BEST:: SOT 2806473 SOS 1583755 HAS SOPS 1583755 HAS SOUS 1342375 HAS SOUPS 1342375 WITH SCORE 1343958.755
AT ITER 2751 NEW BEST:: SOT 2806453 SOS 1583267 HAS SOPS 1583267 HAS SOUS 1342185 HAS SOUPS 1342185 WITH SCORE 1343768.267
AT ITER 2754 NEW BEST:: SOT 2806453 SOS 1583199 HAS SOPS 1583199 HAS SOUS 1342185 HAS SOUPS 1342185 WITH SCORE 1343768.199
AT ITER 2757 NEW BEST:: SOT 2806135 SOS 1583093 HAS SOPS 1583093 HAS SOUS 1341902 HAS SOUPS 1341902 WITH SCORE 1343485.093
AT ITER 2758 NEW BEST:: SOT 2806135 SOS 1582929 HAS SOPS 1582929 HAS SOUS 1341902 HAS SOUPS 1341902 WITH SCORE 1343484.929
AT ITER 2764 NEW BEST:: SOT 2806135 SOS 1578745 HAS SOPS 1578745 HAS SOUS 1341902 HAS SOUPS 1341902 WITH SCORE 1343480.745
AT ITER 2767 NEW BEST:: SOT 2806135 SOS 1578580 HAS SOPS 1578580 HAS SOUS 1341902 HAS SOUPS 1341902 WITH SCORE 1343480.58
AT ITER 2775 NEW BEST:: SOT 2806135 SOS 1578274 HAS SOPS 1578274 HAS SOUS 1341902 HAS SOUPS 1341902 WITH SCORE 1343480.274
AT ITER 2779 NEW BEST:: SOT 2806063 SOS 1578202 HAS SOPS 1578202 HAS SOUS 1341512 HAS SOUPS 1341512 WITH SCORE 1343090.202
AT ITER 2787 NEW BEST:: SOT 2805885 SOS 1578086 HAS SOPS 1578086 HAS SOUS 1341458 HAS SOUPS 1341458 WITH SCORE 1343036.086
AT ITER 2788 NEW BEST:: SOT 2804661 SOS 1579278 HAS SOPS 1579278 HAS SOUS 1341021 HAS SOUPS 1341021 WITH SCORE 1342600.278
AT ITER 2789 NEW BEST:: SOT 2804661 SOS 1579160 HAS SOPS 1579160 HAS SOUS 1341021 HAS SOUPS 1341021 WITH SCORE 1342600.16
AT ITER 2790 NEW BEST:: SOT 2803645 SOS 1579304 HAS SOPS 1579304 HAS SOUS 1340240 HAS SOUPS 1340240 WITH SCORE 1341819.304
AT ITER 2791 NEW BEST:: SOT 2803472 SOS 1579229 HAS SOPS 1579229 HAS SOUS 1339727 HAS SOUPS 1339727 WITH SCORE 1341306.229
AT ITER 2795 NEW BEST:: SOT 2803472 SOS 1578912 HAS SOPS 1578912 HAS SOUS 1339727 HAS SOUPS 1339727 WITH SCORE 1341305.912
AT ITER 2806 NEW BEST:: SOT 2803472 SOS 1578826 HAS SOPS 1578826 HAS SOUS 1339727 HAS SOUPS 1339727 WITH SCORE 1341305.826
AT ITER 2807 NEW BEST:: SOT 2803411 SOS 1578443 HAS SOPS 1578443 HAS SOUS 1339105 HAS SOUPS 1339105 WITH SCORE 1340683.443
AT ITER 2811 NEW BEST:: SOT 2803817 SOS 1576085 HAS SOPS 1576085 HAS SOUS 1339107 HAS SOUPS 1339107 WITH SCORE 1340683.085
AT ITER 2821 NEW BEST:: SOT 2803817 SOS 1576181 HAS SOPS 1576181 HAS SOUS 1339053 HAS SOUPS 1339053 WITH SCORE 1340629.181
AT ITER 2822 NEW BEST:: SOT 2803745 SOS 1576037 HAS SOPS 1576037 HAS SOUS 1338909 HAS SOUPS 1338909 WITH SCORE 1340485.037
AT ITER 2828 NEW BEST:: SOT 2803744 SOS 1575959 HAS SOPS 1575959 HAS SOUS 1338754 HAS SOUPS 1338754 WITH SCORE 1340329.959
AT ITER 2829 NEW BEST:: SOT 2803520 SOS 1575570 HAS SOPS 1575570 HAS SOUS 1338431 HAS SOUPS 1338431 WITH SCORE 1340006.57
AT ITER 2837 NEW BEST:: SOT 2803520 SOS 1575211 HAS SOPS 1575211 HAS SOUS 1338431 HAS SOUPS 1338431 WITH SCORE 1340006.211
AT ITER 2839 NEW BEST:: SOT 2803520 SOS 1575090 HAS SOPS 1575090 HAS SOUS 1338431 HAS SOUPS 1338431 WITH SCORE 1340006.09
AT ITER 2840 NEW BEST:: SOT 2802681 SOS 1579541 HAS SOPS 1579541 HAS SOUS 1338214 HAS SOUPS 1338214 WITH SCORE 1339793.541
AT ITER 2842 NEW BEST:: SOT 2800569 SOS 1578192 HAS SOPS 1578192 HAS SOUS 1337487 HAS SOUPS 1337487 WITH SCORE 1339065.192
AT ITER 2845 NEW BEST:: SOT 2799961 SOS 1577690 HAS SOPS 1577690 HAS SOUS 1336985 HAS SOUPS 1336985 WITH SCORE 1338562.69
AT ITER 2847 NEW BEST:: SOT 2799655 SOS 1577673 HAS SOPS 1577673 HAS SOUS 1336968 HAS SOUPS 1336968 WITH SCORE 1338545.673
AT ITER 2862 NEW BEST:: SOT 2799655 SOS 1577570 HAS SOPS 1577570 HAS SOUS 1336968 HAS SOUPS 1336968 WITH SCORE 1338545.57
AT ITER 2869 NEW BEST:: SOT 2799743 SOS 1578053 HAS SOPS 1578053 HAS SOUS 1336834 HAS SOUPS 1336834 WITH SCORE 1338412.053
AT ITER 2870 NEW BEST:: SOT 2799500 SOS 1577557 HAS SOPS 1577557 HAS SOUS 1336228 HAS SOUPS 1336228 WITH SCORE 1337805.557
AT ITER 2871 NEW BEST:: SOT 2799500 SOS 1577549 HAS SOPS 1577549 HAS SOUS 1336228 HAS SOUPS 1336228 WITH SCORE 1337805.549
AT ITER 2872 NEW BEST:: SOT 2799500 SOS 1577416 HAS SOPS 1577416 HAS SOUS 1336174 HAS SOUPS 1336174 WITH SCORE 1337751.416
AT ITER 2883 NEW BEST:: SOT 2799500 SOS 1577400 HAS SOPS 1577400 HAS SOUS 1336174 HAS SOUPS 1336174 WITH SCORE 1337751.4
AT ITER 2885 NEW BEST:: SOT 2798163 SOS 1576350 HAS SOPS 1576350 HAS SOUS 1335314 HAS SOUPS 1335314 WITH SCORE 1336890.35
AT ITER 2892 NEW BEST:: SOT 2796972 SOS 1577641 HAS SOPS 1577641 HAS SOUS 1335152 HAS SOUPS 1335152 WITH SCORE 1336729.641
AT ITER 2893 NEW BEST:: SOT 2796972 SOS 1577091 HAS SOPS 1577091 HAS SOUS 1335152 HAS SOUPS 1335152 WITH SCORE 1336729.091
AT ITER 2909 NEW BEST:: SOT 2796972 SOS 1575393 HAS SOPS 1575393 HAS SOUS 1335094 HAS SOUPS 1335094 WITH SCORE 1336669.393
AT ITER 2911 NEW BEST:: SOT 2795513 SOS 1575604 HAS SOPS 1575604 HAS SOUS 1335037 HAS SOUPS 1335037 WITH SCORE 1336612.604
AT ITER 2916 NEW BEST:: SOT 2795513 SOS 1575495 HAS SOPS 1575495 HAS SOUS 1335037 HAS SOUPS 1335037 WITH SCORE 1336612.495
AT ITER 2918 NEW BEST:: SOT 2795513 SOS 1575482 HAS SOPS 1575482 HAS SOUS 1334984 HAS SOUPS 1334984 WITH SCORE 1336559.482
AT ITER 2923 NEW BEST:: SOT 2794034 SOS 1576621 HAS SOPS 1576621 HAS SOUS 1334453 HAS SOUPS 1334453 WITH SCORE 1336029.621
AT ITER 2929 NEW BEST:: SOT 2794034 SOS 1576520 HAS SOPS 1576520 HAS SOUS 1334453 HAS SOUPS 1334453 WITH SCORE 1336029.52
AT ITER 2932 NEW BEST:: SOT 2795087 SOS 1571283 HAS SOPS 1571283 HAS SOUS 1334362 HAS SOUPS 1334362 WITH SCORE 1335933.283
AT ITER 2934 NEW BEST:: SOT 2794643 SOS 1570080 HAS SOPS 1570080 HAS SOUS 1333382 HAS SOUPS 1333382 WITH SCORE 1334952.08
AT ITER 2941 NEW BEST:: SOT 2794643 SOS 1570087 HAS SOPS 1570087 HAS SOUS 1333355 HAS SOUPS 1333355 WITH SCORE 1334925.087
AT ITER 2943 NEW BEST:: SOT 2794643 SOS 1569514 HAS SOPS 1569514 HAS SOUS 1333033 HAS SOUPS 1333033 WITH SCORE 1334602.514
AT ITER 2948 NEW BEST:: SOT 2794590 SOS 1569461 HAS SOPS 1569461 HAS SOUS 1332727 HAS SOUPS 1332727 WITH SCORE 1334296.461
AT ITER 2950 NEW BEST:: SOT 2794590 SOS 1569269 HAS SOPS 1569269 HAS SOUS 1332727 HAS SOUPS 1332727 WITH SCORE 1334296.269
AT ITER 2976 NEW BEST:: SOT 2794590 SOS 1569190 HAS SOPS 1569190 HAS SOUS 1332727 HAS SOUPS 1332727 WITH SCORE 1334296.19
AT ITER 2979 NEW BEST:: SOT 2794590 SOS 1569212 HAS SOPS 1569212 HAS SOUS 1332681 HAS SOUPS 1332681 WITH SCORE 1334250.212
AT ITER 2985 NEW BEST:: SOT 2794590 SOS 1568849 HAS SOPS 1568849 HAS SOUS 1332681 HAS SOUPS 1332681 WITH SCORE 1334249.849
AT ITER 2987 NEW BEST:: SOT 2792765 SOS 1568031 HAS SOPS 1568031 HAS SOUS 1332061 HAS SOUPS 1332061 WITH SCORE 1333629.031
AT ITER 2989 NEW BEST:: SOT 2792915 SOS 1567749 HAS SOPS 1567749 HAS SOUS 1332061 HAS SOUPS 1332061 WITH SCORE 1333628.749
AT ITER 2997 NEW BEST:: SOT 2792725 SOS 1567799 HAS SOPS 1567799 HAS SOUS 1331871 HAS SOUPS 1331871 WITH SCORE 1333438.799
AT ITER 2999 NEW BEST:: SOT 2792725 SOS 1567747 HAS SOPS 1567747 HAS SOUS 1331871 HAS SOUPS 1331871 WITH SCORE 1333438.747
AT ITER 3010 NEW BEST:: SOT 2792712 SOS 1567115 HAS SOPS 1567115 HAS SOUS 1331397 HAS SOUPS 1331397 WITH SCORE 1332964.115
AT ITER 3012 NEW BEST:: SOT 2792712 SOS 1567021 HAS SOPS 1567021 HAS SOUS 1331303 HAS SOUPS 1331303 WITH SCORE 1332870.021
AT ITER 3013 NEW BEST:: SOT 2792668 SOS 1566977 HAS SOPS 1566977 HAS SOUS 1331259 HAS SOUPS 1331259 WITH SCORE 1332825.977
AT ITER 3021 NEW BEST:: SOT 2792592 SOS 1566825 HAS SOPS 1566825 HAS SOUS 1331107 HAS SOUPS 1331107 WITH SCORE 1332673.825
AT ITER 3031 NEW BEST:: SOT 2792427 SOS 1566660 HAS SOPS 1566660 HAS SOUS 1330942 HAS SOUPS 1330942 WITH SCORE 1332508.66
AT ITER 3034 NEW BEST:: SOT 2792266 SOS 1566499 HAS SOPS 1566499 HAS SOUS 1330749 HAS SOUPS 1330749 WITH SCORE 1332315.499
AT ITER 3044 NEW BEST:: SOT 2792266 SOS 1566499 HAS SOPS 1566499 HAS SOUS 1330577 HAS SOUPS 1330577 WITH SCORE 1332143.499
AT ITER 3047 NEW BEST:: SOT 2790842 SOS 1565347 HAS SOPS 1565347 HAS SOUS 1329727 HAS SOUPS 1329727 WITH SCORE 1331292.347
AT ITER 3049 NEW BEST:: SOT 2790842 SOS 1565193 HAS SOPS 1565193 HAS SOUS 1329580 HAS SOUPS 1329580 WITH SCORE 1331145.193
AT ITER 3069 NEW BEST:: SOT 2790838 SOS 1565189 HAS SOPS 1565189 HAS SOUS 1329572 HAS SOUPS 1329572 WITH SCORE 1331137.189
AT ITER 3071 NEW BEST:: SOT 2790838 SOS 1564765 HAS SOPS 1564765 HAS SOUS 1329572 HAS SOUPS 1329572 WITH SCORE 1331136.765
AT ITER 3080 NEW BEST:: SOT 2790771 SOS 1565390 HAS SOPS 1565390 HAS SOUS 1329569 HAS SOUPS 1329569 WITH SCORE 1331134.39
AT ITER 3082 NEW BEST:: SOT 2791136 SOS 1565378 HAS SOPS 1565378 HAS SOUS 1329502 HAS SOUPS 1329502 WITH SCORE 1331067.378
AT ITER 3083 NEW BEST:: SOT 2791136 SOS 1564699 HAS SOPS 1564699 HAS SOUS 1329499 HAS SOUPS 1329499 WITH SCORE 1331063.699
AT ITER 3087 NEW BEST:: SOT 2791150 SOS 1565503 HAS SOPS 1565503 HAS SOUS 1329422 HAS SOUPS 1329422 WITH SCORE 1330987.503
AT ITER 3088 NEW BEST:: SOT 2791150 SOS 1565286 HAS SOPS 1565286 HAS SOUS 1329422 HAS SOUPS 1329422 WITH SCORE 1330987.286
AT ITER 3090 NEW BEST:: SOT 2791010 SOS 1565066 HAS SOPS 1565066 HAS SOUS 1329209 HAS SOUPS 1329209 WITH SCORE 1330774.066
AT ITER 3091 NEW BEST:: SOT 2791122 SOS 1565661 HAS SOPS 1565661 HAS SOUS 1329136 HAS SOUPS 1329136 WITH SCORE 1330701.661
AT ITER 3098 NEW BEST:: SOT 2791122 SOS 1565760 HAS SOPS 1565760 HAS SOUS 1328981 HAS SOUPS 1328981 WITH SCORE 1330546.76
AT ITER 3103 NEW BEST:: SOT 2791122 SOS 1565692 HAS SOPS 1565692 HAS SOUS 1328981 HAS SOUPS 1328981 WITH SCORE 1330546.692
AT ITER 3108 NEW BEST:: SOT 2791122 SOS 1565692 HAS SOPS 1565692 HAS SOUS 1328975 HAS SOUPS 1328975 WITH SCORE 1330540.692
AT ITER 3116 NEW BEST:: SOT 2791000 SOS 1565746 HAS SOPS 1565746 HAS SOUS 1328853 HAS SOUPS 1328853 WITH SCORE 1330418.746
AT ITER 3128 NEW BEST:: SOT 2790738 SOS 1565484 HAS SOPS 1565484 HAS SOUS 1328591 HAS SOUPS 1328591 WITH SCORE 1330156.484
AT ITER 3132 NEW BEST:: SOT 2789086 SOS 1567730 HAS SOPS 1567730 HAS SOUS 1328239 HAS SOUPS 1328239 WITH SCORE 1329806.73
AT ITER 3133 NEW BEST:: SOT 2789046 SOS 1567900 HAS SOPS 1567900 HAS SOUS 1328199 HAS SOUPS 1328199 WITH SCORE 1329766.9
AT ITER 3134 NEW BEST:: SOT 2789046 SOS 1567833 HAS SOPS 1567833 HAS SOUS 1328199 HAS SOUPS 1328199 WITH SCORE 1329766.833
AT ITER 3136 NEW BEST:: SOT 2788210 SOS 1570970 HAS SOPS 1570970 HAS SOUS 1327668 HAS SOUPS 1327668 WITH SCORE 1329238.97
AT ITER 3137 NEW BEST:: SOT 2788210 SOS 1568410 HAS SOPS 1568410 HAS SOUS 1327668 HAS SOUPS 1327668 WITH SCORE 1329236.41
AT ITER 3140 NEW BEST:: SOT 2787911 SOS 1568050 HAS SOPS 1568050 HAS SOUS 1327275 HAS SOUPS 1327275 WITH SCORE 1328843.05
AT ITER 3145 NEW BEST:: SOT 2788158 SOS 1567986 HAS SOPS 1567986 HAS SOUS 1327149 HAS SOUPS 1327149 WITH SCORE 1328716.986
AT ITER 3147 NEW BEST:: SOT 2788158 SOS 1567781 HAS SOPS 1567781 HAS SOUS 1327149 HAS SOUPS 1327149 WITH SCORE 1328716.781
AT ITER 3148 NEW BEST:: SOT 2787815 SOS 1572284 HAS SOPS 1572284 HAS SOUS 1327039 HAS SOUPS 1327039 WITH SCORE 1328611.284
AT ITER 3156 NEW BEST:: SOT 2787815 SOS 1572086 HAS SOPS 1572086 HAS SOUS 1327039 HAS SOUPS 1327039 WITH SCORE 1328611.086
AT ITER 3159 NEW BEST:: SOT 2787847 SOS 1572118 HAS SOPS 1572118 HAS SOUS 1326926 HAS SOUPS 1326926 WITH SCORE 1328498.118
AT ITER 3172 NEW BEST:: SOT 2787971 SOS 1572157 HAS SOPS 1572157 HAS SOUS 1326914 HAS SOUPS 1326914 WITH SCORE 1328486.157
AT ITER 3177 NEW BEST:: SOT 2787581 SOS 1569854 HAS SOPS 1569854 HAS SOUS 1326217 HAS SOUPS 1326217 WITH SCORE 1327786.854
AT ITER 3183 NEW BEST:: SOT 2787581 SOS 1569649 HAS SOPS 1569649 HAS SOUS 1326217 HAS SOUPS 1326217 WITH SCORE 1327786.649
AT ITER 3188 NEW BEST:: SOT 2787806 SOS 1566562 HAS SOPS 1566562 HAS SOUS 1326141 HAS SOUPS 1326141 WITH SCORE 1327707.562
AT ITER 3191 NEW BEST:: SOT 2787739 SOS 1566494 HAS SOPS 1566494 HAS SOUS 1325983 HAS SOUPS 1325983 WITH SCORE 1327549.494
AT ITER 3206 NEW BEST:: SOT 2787129 SOS 1566508 HAS SOPS 1566508 HAS SOUS 1325619 HAS SOUPS 1325619 WITH SCORE 1327185.508
AT ITER 3213 NEW BEST:: SOT 2787129 SOS 1566374 HAS SOPS 1566374 HAS SOUS 1325619 HAS SOUPS 1325619 WITH SCORE 1327185.374
AT ITER 3215 NEW BEST:: SOT 2787129 SOS 1566145 HAS SOPS 1566145 HAS SOUS 1325619 HAS SOUPS 1325619 WITH SCORE 1327185.145
AT ITER 3217 NEW BEST:: SOT 2787129 SOS 1564847 HAS SOPS 1564847 HAS SOUS 1325619 HAS SOUPS 1325619 WITH SCORE 1327183.847
AT ITER 3224 NEW BEST:: SOT 2787129 SOS 1564656 HAS SOPS 1564656 HAS SOUS 1325619 HAS SOUPS 1325619 WITH SCORE 1327183.656
AT ITER 3225 NEW BEST:: SOT 2787239 SOS 1564656 HAS SOPS 1564656 HAS SOUS 1325399 HAS SOUPS 1325399 WITH SCORE 1326963.656
AT ITER 3237 NEW BEST:: SOT 2787239 SOS 1564465 HAS SOPS 1564465 HAS SOUS 1325399 HAS SOUPS 1325399 WITH SCORE 1326963.465
AT ITER 3245 NEW BEST:: SOT 2786970 SOS 1564239 HAS SOPS 1564239 HAS SOUS 1325173 HAS SOUPS 1325173 WITH SCORE 1326737.239
AT ITER 3247 NEW BEST:: SOT 2786970 SOS 1563794 HAS SOPS 1563794 HAS SOUS 1324907 HAS SOUPS 1324907 WITH SCORE 1326470.794
AT ITER 3252 NEW BEST:: SOT 2786960 SOS 1564272 HAS SOPS 1564272 HAS SOUS 1324463 HAS SOUPS 1324463 WITH SCORE 1326027.272
AT ITER 3266 NEW BEST:: SOT 2786960 SOS 1564084 HAS SOPS 1564084 HAS SOUS 1324463 HAS SOUPS 1324463 WITH SCORE 1326027.084
AT ITER 3278 NEW BEST:: SOT 2786960 SOS 1564058 HAS SOPS 1564058 HAS SOUS 1324463 HAS SOUPS 1324463 WITH SCORE 1326027.058
AT ITER 3284 NEW BEST:: SOT 2784191 SOS 1565850 HAS SOPS 1565850 HAS SOUS 1323408 HAS SOUPS 1323408 WITH SCORE 1324973.85
AT ITER 3286 NEW BEST:: SOT 2784191 SOS 1565850 HAS SOPS 1565850 HAS SOUS 1323392 HAS SOUPS 1323392 WITH SCORE 1324957.85
AT ITER 3292 NEW BEST:: SOT 2784191 SOS 1565841 HAS SOPS 1565841 HAS SOUS 1323392 HAS SOUPS 1323392 WITH SCORE 1324957.841
AT ITER 3300 NEW BEST:: SOT 2784369 SOS 1564255 HAS SOPS 1564255 HAS SOUS 1322383 HAS SOUPS 1322383 WITH SCORE 1323947.255
AT ITER 3309 NEW BEST:: SOT 2784512 SOS 1564063 HAS SOPS 1564063 HAS SOUS 1322200 HAS SOUPS 1322200 WITH SCORE 1323764.063
AT ITER 3313 NEW BEST:: SOT 2784307 SOS 1563522 HAS SOPS 1563522 HAS SOUS 1321906 HAS SOUPS 1321906 WITH SCORE 1323469.522
AT ITER 3318 NEW BEST:: SOT 2782472 SOS 1562561 HAS SOPS 1562561 HAS SOUS 1321451 HAS SOUPS 1321451 WITH SCORE 1323013.561
AT ITER 3319 NEW BEST:: SOT 2782412 SOS 1562471 HAS SOPS 1562471 HAS SOUS 1321361 HAS SOUPS 1321361 WITH SCORE 1322923.471
AT ITER 3321 NEW BEST:: SOT 2782413 SOS 1560720 HAS SOPS 1560720 HAS SOUS 1321296 HAS SOUPS 1321296 WITH SCORE 1322856.72
AT ITER 3325 NEW BEST:: SOT 2781942 SOS 1560877 HAS SOPS 1560877 HAS SOUS 1321114 HAS SOUPS 1321114 WITH SCORE 1322674.877
AT ITER 3330 NEW BEST:: SOT 2781942 SOS 1560679 HAS SOPS 1560679 HAS SOUS 1321114 HAS SOUPS 1321114 WITH SCORE 1322674.679
AT ITER 3337 NEW BEST:: SOT 2781942 SOS 1558050 HAS SOPS 1558050 HAS SOUS 1320516 HAS SOUPS 1320516 WITH SCORE 1322074.05
AT ITER 3341 NEW BEST:: SOT 2781942 SOS 1557941 HAS SOPS 1557941 HAS SOUS 1320407 HAS SOUPS 1320407 WITH SCORE 1321964.941
AT ITER 3343 NEW BEST:: SOT 2781725 SOS 1557724 HAS SOPS 1557724 HAS SOUS 1320190 HAS SOUPS 1320190 WITH SCORE 1321747.724
AT ITER 3346 NEW BEST:: SOT 2781725 SOS 1557422 HAS SOPS 1557422 HAS SOUS 1320190 HAS SOUPS 1320190 WITH SCORE 1321747.422
AT ITER 3351 NEW BEST:: SOT 2781725 SOS 1555480 HAS SOPS 1555480 HAS SOUS 1320190 HAS SOUPS 1320190 WITH SCORE 1321745.48
AT ITER 3362 NEW BEST:: SOT 2781725 SOS 1555347 HAS SOPS 1555347 HAS SOUS 1320190 HAS SOUPS 1320190 WITH SCORE 1321745.347
AT ITER 3366 NEW BEST:: SOT 2780271 SOS 1560923 HAS SOPS 1560923 HAS SOUS 1320107 HAS SOUPS 1320107 WITH SCORE 1321667.923
AT ITER 3369 NEW BEST:: SOT 2778283 SOS 1563659 HAS SOPS 1563659 HAS SOUS 1319814 HAS SOUPS 1319814 WITH SCORE 1321377.659
AT ITER 3373 NEW BEST:: SOT 2778283 SOS 1563649 HAS SOPS 1563649 HAS SOUS 1319814 HAS SOUPS 1319814 WITH SCORE 1321377.649
AT ITER 3375 NEW BEST:: SOT 2778283 SOS 1563394 HAS SOPS 1563394 HAS SOUS 1319814 HAS SOUPS 1319814 WITH SCORE 1321377.394
AT ITER 3378 NEW BEST:: SOT 2778100 SOS 1566605 HAS SOPS 1566605 HAS SOUS 1319693 HAS SOUPS 1319693 WITH SCORE 1321259.605
AT ITER 3379 NEW BEST:: SOT 2777605 SOS 1566484 HAS SOPS 1566484 HAS SOUS 1319613 HAS SOUPS 1319613 WITH SCORE 1321179.484
AT ITER 3380 NEW BEST:: SOT 2777596 SOS 1566475 HAS SOPS 1566475 HAS SOUS 1319604 HAS SOUPS 1319604 WITH SCORE 1321170.475
AT ITER 3385 NEW BEST:: SOT 2777596 SOS 1566146 HAS SOPS 1566146 HAS SOUS 1319604 HAS SOUPS 1319604 WITH SCORE 1321170.146
AT ITER 3400 NEW BEST:: SOT 2777596 SOS 1565641 HAS SOPS 1565641 HAS SOUS 1319604 HAS SOUPS 1319604 WITH SCORE 1321169.641
AT ITER 3401 NEW BEST:: SOT 2775208 SOS 1565250 HAS SOPS 1565250 HAS SOUS 1317787 HAS SOUPS 1317787 WITH SCORE 1319352.25
AT ITER 3403 NEW BEST:: SOT 2775208 SOS 1562076 HAS SOPS 1562076 HAS SOUS 1317591 HAS SOUPS 1317591 WITH SCORE 1319153.076
AT ITER 3406 NEW BEST:: SOT 2775208 SOS 1561011 HAS SOPS 1561011 HAS SOUS 1317394 HAS SOUPS 1317394 WITH SCORE 1318955.011
AT ITER 3407 NEW BEST:: SOT 2774096 SOS 1561146 HAS SOPS 1561146 HAS SOUS 1316656 HAS SOUPS 1316656 WITH SCORE 1318217.146
AT ITER 3415 NEW BEST:: SOT 2774096 SOS 1560879 HAS SOPS 1560879 HAS SOUS 1316500 HAS SOUPS 1316500 WITH SCORE 1318060.879
AT ITER 3427 NEW BEST:: SOT 2774096 SOS 1560865 HAS SOPS 1560865 HAS SOUS 1316500 HAS SOUPS 1316500 WITH SCORE 1318060.865
AT ITER 3429 NEW BEST:: SOT 2772378 SOS 1560263 HAS SOPS 1560263 HAS SOUS 1315283 HAS SOUPS 1315283 WITH SCORE 1316843.263
AT ITER 3434 NEW BEST:: SOT 2772434 SOS 1560319 HAS SOPS 1560319 HAS SOUS 1315203 HAS SOUPS 1315203 WITH SCORE 1316763.319
AT ITER 3439 NEW BEST:: SOT 2772434 SOS 1560095 HAS SOPS 1560095 HAS SOUS 1315203 HAS SOUPS 1315203 WITH SCORE 1316763.095
AT ITER 3440 NEW BEST:: SOT 2772434 SOS 1559884 HAS SOPS 1559884 HAS SOUS 1315203 HAS SOUPS 1315203 WITH SCORE 1316762.884
AT ITER 3443 NEW BEST:: SOT 2772434 SOS 1559773 HAS SOPS 1559773 HAS SOUS 1315101 HAS SOUPS 1315101 WITH SCORE 1316660.773
AT ITER 3456 NEW BEST:: SOT 2772434 SOS 1559463 HAS SOPS 1559463 HAS SOUS 1315101 HAS SOUPS 1315101 WITH SCORE 1316660.463
AT ITER 3459 NEW BEST:: SOT 2770704 SOS 1559728 HAS SOPS 1559728 HAS SOUS 1314489 HAS SOUPS 1314489 WITH SCORE 1316048.728
AT ITER 3460 NEW BEST:: SOT 2770544 SOS 1559730 HAS SOPS 1559730 HAS SOUS 1313916 HAS SOUPS 1313916 WITH SCORE 1315475.73
AT ITER 3466 NEW BEST:: SOT 2769909 SOS 1559139 HAS SOPS 1559139 HAS SOUS 1313079 HAS SOUPS 1313079 WITH SCORE 1314638.139
AT ITER 3468 NEW BEST:: SOT 2768772 SOS 1558658 HAS SOPS 1558658 HAS SOUS 1311942 HAS SOUPS 1311942 WITH SCORE 1313500.658
AT ITER 3474 NEW BEST:: SOT 2768772 SOS 1558344 HAS SOPS 1558344 HAS SOUS 1311942 HAS SOUPS 1311942 WITH SCORE 1313500.344
AT ITER 3478 NEW BEST:: SOT 2768724 SOS 1558296 HAS SOPS 1558296 HAS SOUS 1311894 HAS SOUPS 1311894 WITH SCORE 1313452.296
AT ITER 3486 NEW BEST:: SOT 2767214 SOS 1560468 HAS SOPS 1560468 HAS SOUS 1311492 HAS SOUPS 1311492 WITH SCORE 1313052.468
AT ITER 3496 NEW BEST:: SOT 2767214 SOS 1560295 HAS SOPS 1560295 HAS SOUS 1311492 HAS SOUPS 1311492 WITH SCORE 1313052.295
AT ITER 3499 NEW BEST:: SOT 2767214 SOS 1560295 HAS SOPS 1560295 HAS SOUS 1311366 HAS SOUPS 1311366 WITH SCORE 1312926.295
AT ITER 3501 NEW BEST:: SOT 2767214 SOS 1560183 HAS SOPS 1560183 HAS SOUS 1311366 HAS SOUPS 1311366 WITH SCORE 1312926.183
AT ITER 3504 NEW BEST:: SOT 2767350 SOS 1560572 HAS SOPS 1560572 HAS SOUS 1311222 HAS SOUPS 1311222 WITH SCORE 1312782.572
AT ITER 3512 NEW BEST:: SOT 2766501 SOS 1560039 HAS SOPS 1560039 HAS SOUS 1310765 HAS SOUPS 1310765 WITH SCORE 1312325.039
AT ITER 3514 NEW BEST:: SOT 2766372 SOS 1559774 HAS SOPS 1559774 HAS SOUS 1310502 HAS SOUPS 1310502 WITH SCORE 1312061.774
AT ITER 3515 NEW BEST:: SOT 2766303 SOS 1559705 HAS SOPS 1559705 HAS SOUS 1310433 HAS SOUPS 1310433 WITH SCORE 1311992.705
AT ITER 3520 NEW BEST:: SOT 2765426 SOS 1558856 HAS SOPS 1558856 HAS SOUS 1309704 HAS SOUPS 1309704 WITH SCORE 1311262.856
AT ITER 3522 NEW BEST:: SOT 2765080 SOS 1558282 HAS SOPS 1558282 HAS SOUS 1308897 HAS SOUPS 1308897 WITH SCORE 1310455.282
AT ITER 3529 NEW BEST:: SOT 2763594 SOS 1557147 HAS SOPS 1557147 HAS SOUS 1307762 HAS SOUPS 1307762 WITH SCORE 1309319.147
AT ITER 3530 NEW BEST:: SOT 2763594 SOS 1557185 HAS SOPS 1557185 HAS SOUS 1307703 HAS SOUPS 1307703 WITH SCORE 1309260.185
AT ITER 3533 NEW BEST:: SOT 2761654 SOS 1556132 HAS SOPS 1556132 HAS SOUS 1306942 HAS SOUPS 1306942 WITH SCORE 1308498.132
AT ITER 3534 NEW BEST:: SOT 2761567 SOS 1556077 HAS SOPS 1556077 HAS SOUS 1306887 HAS SOUPS 1306887 WITH SCORE 1308443.077
AT ITER 3538 NEW BEST:: SOT 2760407 SOS 1555793 HAS SOPS 1555793 HAS SOUS 1306397 HAS SOUPS 1306397 WITH SCORE 1307952.793
AT ITER 3556 NEW BEST:: SOT 2760407 SOS 1556040 HAS SOPS 1556040 HAS SOUS 1306172 HAS SOUPS 1306172 WITH SCORE 1307728.04
AT ITER 3560 NEW BEST:: SOT 2759838 SOS 1555471 HAS SOPS 1555471 HAS SOUS 1305603 HAS SOUPS 1305603 WITH SCORE 1307158.471
AT ITER 3564 NEW BEST:: SOT 2759748 SOS 1555399 HAS SOPS 1555399 HAS SOUS 1305549 HAS SOUPS 1305549 WITH SCORE 1307104.399
AT ITER 3568 NEW BEST:: SOT 2759748 SOS 1555284 HAS SOPS 1555284 HAS SOUS 1305549 HAS SOUPS 1305549 WITH SCORE 1307104.284
AT ITER 3569 NEW BEST:: SOT 2759852 SOS 1555388 HAS SOPS 1555388 HAS SOUS 1305050 HAS SOUPS 1305050 WITH SCORE 1306605.388
AT ITER 3576 NEW BEST:: SOT 2759852 SOS 1555263 HAS SOPS 1555263 HAS SOUS 1305050 HAS SOUPS 1305050 WITH SCORE 1306605.263
AT ITER 3577 NEW BEST:: SOT 2759592 SOS 1553932 HAS SOPS 1553932 HAS SOUS 1304212 HAS SOUPS 1304212 WITH SCORE 1305765.932
AT ITER 3580 NEW BEST:: SOT 2759559 SOS 1553686 HAS SOPS 1553686 HAS SOUS 1303901 HAS SOUPS 1303901 WITH SCORE 1305454.686
AT ITER 3584 NEW BEST:: SOT 2760146 SOS 1550977 HAS SOPS 1550977 HAS SOUS 1303400 HAS SOUPS 1303400 WITH SCORE 1304950.977
AT ITER 3598 NEW BEST:: SOT 2760008 SOS 1551373 HAS SOPS 1551373 HAS SOUS 1303370 HAS SOUPS 1303370 WITH SCORE 1304921.373
AT ITER 3599 NEW BEST:: SOT 2760008 SOS 1551176 HAS SOPS 1551176 HAS SOUS 1303370 HAS SOUPS 1303370 WITH SCORE 1304921.176
AT ITER 3605 NEW BEST:: SOT 2760008 SOS 1550818 HAS SOPS 1550818 HAS SOUS 1303101 HAS SOUPS 1303101 WITH SCORE 1304651.818
AT ITER 3606 NEW BEST:: SOT 2760008 SOS 1549171 HAS SOPS 1549171 HAS SOUS 1302684 HAS SOUPS 1302684 WITH SCORE 1304233.171
AT ITER 3614 NEW BEST:: SOT 2760008 SOS 1548811 HAS SOPS 1548811 HAS SOUS 1302684 HAS SOUPS 1302684 WITH SCORE 1304232.811
AT ITER 3615 NEW BEST:: SOT 2760008 SOS 1548790 HAS SOPS 1548790 HAS SOUS 1302684 HAS SOUPS 1302684 WITH SCORE 1304232.79
AT ITER 3623 NEW BEST:: SOT 2760124 SOS 1549122 HAS SOPS 1549122 HAS SOUS 1302444 HAS SOUPS 1302444 WITH SCORE 1303993.122
AT ITER 3632 NEW BEST:: SOT 2760064 SOS 1549434 HAS SOPS 1549434 HAS SOUS 1302112 HAS SOUPS 1302112 WITH SCORE 1303661.434
AT ITER 3653 NEW BEST:: SOT 2760064 SOS 1549349 HAS SOPS 1549349 HAS SOUS 1302112 HAS SOUPS 1302112 WITH SCORE 1303661.349
AT ITER 3658 NEW BEST:: SOT 2759164 SOS 1549064 HAS SOPS 1549064 HAS SOUS 1301553 HAS SOUPS 1301553 WITH SCORE 1303102.064
AT ITER 3661 NEW BEST:: SOT 2759164 SOS 1549053 HAS SOPS 1549053 HAS SOUS 1301552 HAS SOUPS 1301552 WITH SCORE 1303101.053
AT ITER 3664 NEW BEST:: SOT 2759164 SOS 1548951 HAS SOPS 1548951 HAS SOUS 1301411 HAS SOUPS 1301411 WITH SCORE 1302959.951
AT ITER 3672 NEW BEST:: SOT 2759164 SOS 1548729 HAS SOPS 1548729 HAS SOUS 1301411 HAS SOUPS 1301411 WITH SCORE 1302959.729
AT ITER 3675 NEW BEST:: SOT 2758767 SOS 1548332 HAS SOPS 1548332 HAS SOUS 1301014 HAS SOUPS 1301014 WITH SCORE 1302562.332
AT ITER 3682 NEW BEST:: SOT 2758767 SOS 1547539 HAS SOPS 1547539 HAS SOUS 1300911 HAS SOUPS 1300911 WITH SCORE 1302458.539
AT ITER 3685 NEW BEST:: SOT 2758084 SOS 1546826 HAS SOPS 1546826 HAS SOUS 1300198 HAS SOUPS 1300198 WITH SCORE 1301744.826
AT ITER 3689 NEW BEST:: SOT 2758010 SOS 1546752 HAS SOPS 1546752 HAS SOUS 1300129 HAS SOUPS 1300129 WITH SCORE 1301675.752
AT ITER 3690 NEW BEST:: SOT 2758036 SOS 1546778 HAS SOPS 1546778 HAS SOUS 1299878 HAS SOUPS 1299878 WITH SCORE 1301424.778
AT ITER 3694 NEW BEST:: SOT 2758036 SOS 1544031 HAS SOPS 1544031 HAS SOUS 1299840 HAS SOUPS 1299840 WITH SCORE 1301384.031
AT ITER 3697 NEW BEST:: SOT 2758091 SOS 1541183 HAS SOPS 1541183 HAS SOUS 1299674 HAS SOUPS 1299674 WITH SCORE 1301215.183
AT ITER 3700 NEW BEST:: SOT 2758091 SOS 1540762 HAS SOPS 1540762 HAS SOUS 1299674 HAS SOUPS 1299674 WITH SCORE 1301214.762
AT ITER 3703 NEW BEST:: SOT 2758091 SOS 1541372 HAS SOPS 1541372 HAS SOUS 1299667 HAS SOUPS 1299667 WITH SCORE 1301208.372
AT ITER 3704 NEW BEST:: SOT 2758068 SOS 1541349 HAS SOPS 1541349 HAS SOUS 1299621 HAS SOUPS 1299621 WITH SCORE 1301162.349
AT ITER 3716 NEW BEST:: SOT 2757934 SOS 1541281 HAS SOPS 1541281 HAS SOUS 1299553 HAS SOUPS 1299553 WITH SCORE 1301094.281
AT ITER 3719 NEW BEST:: SOT 2757923 SOS 1541270 HAS SOPS 1541270 HAS SOUS 1299542 HAS SOUPS 1299542 WITH SCORE 1301083.27
AT ITER 3720 NEW BEST:: SOT 2757923 SOS 1541258 HAS SOPS 1541258 HAS SOUS 1299530 HAS SOUPS 1299530 WITH SCORE 1301071.258
AT ITER 3721 NEW BEST:: SOT 2757272 SOS 1540992 HAS SOPS 1540992 HAS SOUS 1299264 HAS SOUPS 1299264 WITH SCORE 1300804.992
AT ITER 3722 NEW BEST:: SOT 2757272 SOS 1540980 HAS SOPS 1540980 HAS SOUS 1299264 HAS SOUPS 1299264 WITH SCORE 1300804.98
AT ITER 3724 NEW BEST:: SOT 2757272 SOS 1540281 HAS SOPS 1540281 HAS SOUS 1299264 HAS SOUPS 1299264 WITH SCORE 1300804.281
AT ITER 3726 NEW BEST:: SOT 2757272 SOS 1540026 HAS SOPS 1540026 HAS SOUS 1299264 HAS SOUPS 1299264 WITH SCORE 1300804.026
AT ITER 3734 NEW BEST:: SOT 2757272 SOS 1538640 HAS SOPS 1538640 HAS SOUS 1299264 HAS SOUPS 1299264 WITH SCORE 1300802.64
AT ITER 3736 NEW BEST:: SOT 2756422 SOS 1539221 HAS SOPS 1539221 HAS SOUS 1298539 HAS SOUPS 1298539 WITH SCORE 1300078.221
AT ITER 3739 NEW BEST:: SOT 2756182 SOS 1538356 HAS SOPS 1538356 HAS SOUS 1297793 HAS SOUPS 1297793 WITH SCORE 1299331.356
AT ITER 3746 NEW BEST:: SOT 2756182 SOS 1538232 HAS SOPS 1538232 HAS SOUS 1297793 HAS SOUPS 1297793 WITH SCORE 1299331.232
AT ITER 3751 NEW BEST:: SOT 2753841 SOS 1537758 HAS SOPS 1537758 HAS SOUS 1297009 HAS SOUPS 1297009 WITH SCORE 1298546.758
AT ITER 3752 NEW BEST:: SOT 2751097 SOS 1542710 HAS SOPS 1542710 HAS SOUS 1295101 HAS SOUPS 1295101 WITH SCORE 1296643.71
AT ITER 3758 NEW BEST:: SOT 2751097 SOS 1540319 HAS SOPS 1540319 HAS SOUS 1295100 HAS SOUPS 1295100 WITH SCORE 1296640.319
AT ITER 3760 NEW BEST:: SOT 2750997 SOS 1540219 HAS SOPS 1540219 HAS SOUS 1295000 HAS SOUPS 1295000 WITH SCORE 1296540.219
AT ITER 3761 NEW BEST:: SOT 2750997 SOS 1539860 HAS SOPS 1539860 HAS SOUS 1294975 HAS SOUPS 1294975 WITH SCORE 1296514.86
AT ITER 3762 NEW BEST:: SOT 2750997 SOS 1539747 HAS SOPS 1539747 HAS SOUS 1294975 HAS SOUPS 1294975 WITH SCORE 1296514.747
AT ITER 3765 NEW BEST:: SOT 2750997 SOS 1539258 HAS SOPS 1539258 HAS SOUS 1294877 HAS SOUPS 1294877 WITH SCORE 1296416.258
AT ITER 3766 NEW BEST:: SOT 2750997 SOS 1539174 HAS SOPS 1539174 HAS SOUS 1294793 HAS SOUPS 1294793 WITH SCORE 1296332.174
AT ITER 3769 NEW BEST:: SOT 2750997 SOS 1539110 HAS SOPS 1539110 HAS SOUS 1294793 HAS SOUPS 1294793 WITH SCORE 1296332.11
AT ITER 3782 NEW BEST:: SOT 2749629 SOS 1539454 HAS SOPS 1539454 HAS SOUS 1294664 HAS SOUPS 1294664 WITH SCORE 1296203.454
AT ITER 3790 NEW BEST:: SOT 2750434 SOS 1539157 HAS SOPS 1539157 HAS SOUS 1294612 HAS SOUPS 1294612 WITH SCORE 1296151.157
AT ITER 3801 NEW BEST:: SOT 2750250 SOS 1538997 HAS SOPS 1538997 HAS SOUS 1294452 HAS SOUPS 1294452 WITH SCORE 1295990.997
AT ITER 3810 NEW BEST:: SOT 2750318 SOS 1538669 HAS SOPS 1538669 HAS SOUS 1293922 HAS SOUPS 1293922 WITH SCORE 1295460.669
AT ITER 3812 NEW BEST:: SOT 2748634 SOS 1541393 HAS SOPS 1541393 HAS SOUS 1293781 HAS SOUPS 1293781 WITH SCORE 1295322.393
AT ITER 3816 NEW BEST:: SOT 2748818 SOS 1541026 HAS SOPS 1541026 HAS SOUS 1293602 HAS SOUPS 1293602 WITH SCORE 1295143.026
AT ITER 3817 NEW BEST:: SOT 2748818 SOS 1540943 HAS SOPS 1540943 HAS SOUS 1293504 HAS SOUPS 1293504 WITH SCORE 1295044.943
AT ITER 3829 NEW BEST:: SOT 2748818 SOS 1540811 HAS SOPS 1540811 HAS SOUS 1293452 HAS SOUPS 1293452 WITH SCORE 1294992.811
AT ITER 3834 NEW BEST:: SOT 2748810 SOS 1540741 HAS SOPS 1540741 HAS SOUS 1293410 HAS SOUPS 1293410 WITH SCORE 1294950.741
AT ITER 3858 NEW BEST:: SOT 2748810 SOS 1541033 HAS SOPS 1541033 HAS SOUS 1293401 HAS SOUPS 1293401 WITH SCORE 1294942.033
AT ITER 3859 NEW BEST:: SOT 2747740 SOS 1540655 HAS SOPS 1540655 HAS SOUS 1293382 HAS SOUPS 1293382 WITH SCORE 1294922.655
AT ITER 3873 NEW BEST:: SOT 2747740 SOS 1540655 HAS SOPS 1540655 HAS SOUS 1293241 HAS SOUPS 1293241 WITH SCORE 1294781.655
AT ITER 3875 NEW BEST:: SOT 2747740 SOS 1540655 HAS SOPS 1540655 HAS SOUS 1293100 HAS SOUPS 1293100 WITH SCORE 1294640.655
AT ITER 3893 NEW BEST:: SOT 2747740 SOS 1540930 HAS SOPS 1540930 HAS SOUS 1292883 HAS SOUPS 1292883 WITH SCORE 1294423.93
AT ITER 3896 NEW BEST:: SOT 2747689 SOS 1540604 HAS SOPS 1540604 HAS SOUS 1292799 HAS SOUPS 1292799 WITH SCORE 1294339.604
AT ITER 3900 NEW BEST:: SOT 2747689 SOS 1540306 HAS SOPS 1540306 HAS SOUS 1292799 HAS SOUPS 1292799 WITH SCORE 1294339.306
AT ITER 3904 NEW BEST:: SOT 2747689 SOS 1539842 HAS SOPS 1539842 HAS SOUS 1292799 HAS SOUPS 1292799 WITH SCORE 1294338.842
AT ITER 3907 NEW BEST:: SOT 2747689 SOS 1539614 HAS SOPS 1539614 HAS SOUS 1292799 HAS SOUPS 1292799 WITH SCORE 1294338.614
AT ITER 3921 NEW BEST:: SOT 2747089 SOS 1539173 HAS SOPS 1539173 HAS SOUS 1292412 HAS SOUPS 1292412 WITH SCORE 1293951.173
AT ITER 3926 NEW BEST:: SOT 2747089 SOS 1538987 HAS SOPS 1538987 HAS SOUS 1292412 HAS SOUPS 1292412 WITH SCORE 1293950.987
AT ITER 3928 NEW BEST:: SOT 2747089 SOS 1538364 HAS SOPS 1538364 HAS SOUS 1291998 HAS SOUPS 1291998 WITH SCORE 1293536.364
AT ITER 3934 NEW BEST:: SOT 2747080 SOS 1538355 HAS SOPS 1538355 HAS SOUS 1291989 HAS SOUPS 1291989 WITH SCORE 1293527.355
AT ITER 3940 NEW BEST:: SOT 2747080 SOS 1538355 HAS SOPS 1538355 HAS SOUS 1291863 HAS SOUPS 1291863 WITH SCORE 1293401.355
AT ITER 3947 NEW BEST:: SOT 2747080 SOS 1538097 HAS SOPS 1538097 HAS SOUS 1291863 HAS SOUPS 1291863 WITH SCORE 1293401.097
AT ITER 3951 NEW BEST:: SOT 2747032 SOS 1538065 HAS SOPS 1538065 HAS SOUS 1291831 HAS SOUPS 1291831 WITH SCORE 1293369.065
AT ITER 3952 NEW BEST:: SOT 2747032 SOS 1538065 HAS SOPS 1538065 HAS SOUS 1291719 HAS SOUPS 1291719 WITH SCORE 1293257.065
AT ITER 3958 NEW BEST:: SOT 2747032 SOS 1538015 HAS SOPS 1538015 HAS SOUS 1291719 HAS SOUPS 1291719 WITH SCORE 1293257.015
AT ITER 3963 NEW BEST:: SOT 2746060 SOS 1537731 HAS SOPS 1537731 HAS SOUS 1291300 HAS SOUPS 1291300 WITH SCORE 1292837.731
AT ITER 3966 NEW BEST:: SOT 2746060 SOS 1537597 HAS SOPS 1537597 HAS SOUS 1290640 HAS SOUPS 1290640 WITH SCORE 1292177.597
AT ITER 3970 NEW BEST:: SOT 2745482 SOS 1537956 HAS SOPS 1537956 HAS SOUS 1290476 HAS SOUPS 1290476 WITH SCORE 1292013.956
AT ITER 3972 NEW BEST:: SOT 2745482 SOS 1537830 HAS SOPS 1537830 HAS SOUS 1290476 HAS SOUPS 1290476 WITH SCORE 1292013.83
AT ITER 3973 NEW BEST:: SOT 2745315 SOS 1537809 HAS SOPS 1537809 HAS SOUS 1290309 HAS SOUPS 1290309 WITH SCORE 1291846.809
AT ITER 3974 NEW BEST:: SOT 2743633 SOS 1537707 HAS SOPS 1537707 HAS SOUS 1289503 HAS SOUPS 1289503 WITH SCORE 1291040.707
AT ITER 3979 NEW BEST:: SOT 2743170 SOS 1534981 HAS SOPS 1534981 HAS SOUS 1289489 HAS SOUPS 1289489 WITH SCORE 1291023.981
AT ITER 3985 NEW BEST:: SOT 2742598 SOS 1534895 HAS SOPS 1534895 HAS SOUS 1289309 HAS SOUPS 1289309 WITH SCORE 1290843.895
AT ITER 3989 NEW BEST:: SOT 2742530 SOS 1534844 HAS SOPS 1534844 HAS SOUS 1289309 HAS SOUPS 1289309 WITH SCORE 1290843.844
AT ITER 4000 NEW BEST:: SOT 2742530 SOS 1534079 HAS SOPS 1534079 HAS SOUS 1289309 HAS SOUPS 1289309 WITH SCORE 1290843.079
AT ITER 4002 NEW BEST:: SOT 2742530 SOS 1534033 HAS SOPS 1534033 HAS SOUS 1289263 HAS SOUPS 1289263 WITH SCORE 1290797.033
AT ITER 4010 NEW BEST:: SOT 2742530 SOS 1533408 HAS SOPS 1533408 HAS SOUS 1289263 HAS SOUPS 1289263 WITH SCORE 1290796.408
AT ITER 4017 NEW BEST:: SOT 2742530 SOS 1529898 HAS SOPS 1529898 HAS SOUS 1289263 HAS SOUPS 1289263 WITH SCORE 1290792.898
AT ITER 4026 NEW BEST:: SOT 2741136 SOS 1530604 HAS SOPS 1530604 HAS SOUS 1288961 HAS SOUPS 1288961 WITH SCORE 1290491.604
AT ITER 4035 NEW BEST:: SOT 2741136 SOS 1530793 HAS SOPS 1530793 HAS SOUS 1288944 HAS SOUPS 1288944 WITH SCORE 1290474.793
AT ITER 4051 NEW BEST:: SOT 2740052 SOS 1529895 HAS SOPS 1529895 HAS SOUS 1288046 HAS SOUPS 1288046 WITH SCORE 1289575.895
AT ITER 4053 NEW BEST:: SOT 2739346 SOS 1529377 HAS SOPS 1529377 HAS SOUS 1287689 HAS SOUPS 1287689 WITH SCORE 1289218.377
AT ITER 4058 NEW BEST:: SOT 2739110 SOS 1529207 HAS SOPS 1529207 HAS SOUS 1287529 HAS SOUPS 1287529 WITH SCORE 1289058.207
AT ITER 4060 NEW BEST:: SOT 2739110 SOS 1529339 HAS SOPS 1529339 HAS SOUS 1287522 HAS SOUPS 1287522 WITH SCORE 1289051.339
AT ITER 4063 NEW BEST:: SOT 2737932 SOS 1528412 HAS SOPS 1528412 HAS SOUS 1286855 HAS SOUPS 1286855 WITH SCORE 1288383.412
AT ITER 4064 NEW BEST:: SOT 2737932 SOS 1528104 HAS SOPS 1528104 HAS SOUS 1286855 HAS SOUPS 1286855 WITH SCORE 1288383.104
AT ITER 4066 NEW BEST:: SOT 2737932 SOS 1528104 HAS SOPS 1528104 HAS SOUS 1286823 HAS SOUPS 1286823 WITH SCORE 1288351.104
AT ITER 4081 NEW BEST:: SOT 2737881 SOS 1528053 HAS SOPS 1528053 HAS SOUS 1286605 HAS SOUPS 1286605 WITH SCORE 1288133.053
AT ITER 4082 NEW BEST:: SOT 2737373 SOS 1527652 HAS SOPS 1527652 HAS SOUS 1286204 HAS SOUPS 1286204 WITH SCORE 1287731.652
AT ITER 4085 NEW BEST:: SOT 2737373 SOS 1527642 HAS SOPS 1527642 HAS SOUS 1286204 HAS SOUPS 1286204 WITH SCORE 1287731.642
AT ITER 4095 NEW BEST:: SOT 2736929 SOS 1527393 HAS SOPS 1527393 HAS SOUS 1286019 HAS SOUPS 1286019 WITH SCORE 1287546.393
AT ITER 4099 NEW BEST:: SOT 2736929 SOS 1527217 HAS SOPS 1527217 HAS SOUS 1285793 HAS SOUPS 1285793 WITH SCORE 1287320.217
AT ITER 4101 NEW BEST:: SOT 2736929 SOS 1527165 HAS SOPS 1527165 HAS SOUS 1285793 HAS SOUPS 1285793 WITH SCORE 1287320.165
AT ITER 4106 NEW BEST:: SOT 2735301 SOS 1527642 HAS SOPS 1527642 HAS SOUS 1285467 HAS SOUPS 1285467 WITH SCORE 1286994.642
AT ITER 4107 NEW BEST:: SOT 2735301 SOS 1527488 HAS SOPS 1527488 HAS SOUS 1285465 HAS SOUPS 1285465 WITH SCORE 1286992.488
AT ITER 4108 NEW BEST:: SOT 2735239 SOS 1527426 HAS SOPS 1527426 HAS SOUS 1285003 HAS SOUPS 1285003 WITH SCORE 1286530.426
AT ITER 4111 NEW BEST:: SOT 2735239 SOS 1527407 HAS SOPS 1527407 HAS SOUS 1285003 HAS SOUPS 1285003 WITH SCORE 1286530.407
AT ITER 4116 NEW BEST:: SOT 2735239 SOS 1525099 HAS SOPS 1525099 HAS SOUS 1284614 HAS SOUPS 1284614 WITH SCORE 1286139.099
AT ITER 4117 NEW BEST:: SOT 2735239 SOS 1526283 HAS SOPS 1526283 HAS SOUS 1284577 HAS SOUPS 1284577 WITH SCORE 1286103.283
AT ITER 4118 NEW BEST:: SOT 2733152 SOS 1527788 HAS SOPS 1527788 HAS SOUS 1284372 HAS SOUPS 1284372 WITH SCORE 1285899.788
AT ITER 4126 NEW BEST:: SOT 2731607 SOS 1528598 HAS SOPS 1528598 HAS SOUS 1283981 HAS SOUPS 1283981 WITH SCORE 1285509.598
AT ITER 4134 NEW BEST:: SOT 2731607 SOS 1528598 HAS SOPS 1528598 HAS SOUS 1283872 HAS SOUPS 1283872 WITH SCORE 1285400.598
AT ITER 4135 NEW BEST:: SOT 2731607 SOS 1528598 HAS SOPS 1528598 HAS SOUS 1283671 HAS SOUPS 1283671 WITH SCORE 1285199.598
AT ITER 4145 NEW BEST:: SOT 2730620 SOS 1528430 HAS SOPS 1528430 HAS SOUS 1283500 HAS SOUPS 1283500 WITH SCORE 1285028.43
AT ITER 4146 NEW BEST:: SOT 2729952 SOS 1529146 HAS SOPS 1529146 HAS SOUS 1283153 HAS SOUPS 1283153 WITH SCORE 1284682.146
AT ITER 4151 NEW BEST:: SOT 2729915 SOS 1529109 HAS SOPS 1529109 HAS SOUS 1283116 HAS SOUPS 1283116 WITH SCORE 1284645.109
AT ITER 4154 NEW BEST:: SOT 2729915 SOS 1527313 HAS SOPS 1527313 HAS SOUS 1283052 HAS SOUPS 1283052 WITH SCORE 1284579.313
AT ITER 4155 NEW BEST:: SOT 2728582 SOS 1526471 HAS SOPS 1526471 HAS SOUS 1282451 HAS SOUPS 1282451 WITH SCORE 1283977.471
AT ITER 4156 NEW BEST:: SOT 2725834 SOS 1528959 HAS SOPS 1528959 HAS SOUS 1281180 HAS SOUPS 1281180 WITH SCORE 1282708.959
AT ITER 4159 NEW BEST:: SOT 2725834 SOS 1528873 HAS SOPS 1528873 HAS SOUS 1281092 HAS SOUPS 1281092 WITH SCORE 1282620.873
AT ITER 4168 NEW BEST:: SOT 2725834 SOS 1528820 HAS SOPS 1528820 HAS SOUS 1281092 HAS SOUPS 1281092 WITH SCORE 1282620.82
AT ITER 4187 NEW BEST:: SOT 2725834 SOS 1525619 HAS SOPS 1525619 HAS SOUS 1281092 HAS SOUPS 1281092 WITH SCORE 1282617.619
AT ITER 4191 NEW BEST:: SOT 2722499 SOS 1525074 HAS SOPS 1525074 HAS SOUS 1279319 HAS SOUPS 1279319 WITH SCORE 1280844.074
AT ITER 4197 NEW BEST:: SOT 2720589 SOS 1526826 HAS SOPS 1526826 HAS SOUS 1278900 HAS SOUPS 1278900 WITH SCORE 1280426.826
AT ITER 4200 NEW BEST:: SOT 2720589 SOS 1526797 HAS SOPS 1526797 HAS SOUS 1278871 HAS SOUPS 1278871 WITH SCORE 1280397.797
AT ITER 4205 NEW BEST:: SOT 2720589 SOS 1526787 HAS SOPS 1526787 HAS SOUS 1278861 HAS SOUPS 1278861 WITH SCORE 1280387.787
AT ITER 4206 NEW BEST:: SOT 2720441 SOS 1528480 HAS SOPS 1528480 HAS SOUS 1278678 HAS SOUPS 1278678 WITH SCORE 1280206.48
AT ITER 4213 NEW BEST:: SOT 2720366 SOS 1528435 HAS SOPS 1528435 HAS SOUS 1278618 HAS SOUPS 1278618 WITH SCORE 1280146.435
AT ITER 4214 NEW BEST:: SOT 2720366 SOS 1528235 HAS SOPS 1528235 HAS SOUS 1278618 HAS SOUPS 1278618 WITH SCORE 1280146.235
AT ITER 4218 NEW BEST:: SOT 2720366 SOS 1528275 HAS SOPS 1528275 HAS SOUS 1278611 HAS SOUPS 1278611 WITH SCORE 1280139.275
AT ITER 4223 NEW BEST:: SOT 2720366 SOS 1528195 HAS SOPS 1528195 HAS SOUS 1278611 HAS SOUPS 1278611 WITH SCORE 1280139.195
AT ITER 4225 NEW BEST:: SOT 2720366 SOS 1527778 HAS SOPS 1527778 HAS SOUS 1278153 HAS SOUPS 1278153 WITH SCORE 1279680.778
AT ITER 4227 NEW BEST:: SOT 2720353 SOS 1528034 HAS SOPS 1528034 HAS SOUS 1278132 HAS SOUPS 1278132 WITH SCORE 1279660.034
AT ITER 4228 NEW BEST:: SOT 2718393 SOS 1527608 HAS SOPS 1527608 HAS SOUS 1277808 HAS SOUPS 1277808 WITH SCORE 1279335.608
AT ITER 4229 NEW BEST:: SOT 2718393 SOS 1527600 HAS SOPS 1527600 HAS SOUS 1277808 HAS SOUPS 1277808 WITH SCORE 1279335.6
AT ITER 4231 NEW BEST:: SOT 2719048 SOS 1528010 HAS SOPS 1528010 HAS SOUS 1277712 HAS SOUPS 1277712 WITH SCORE 1279240.01
AT ITER 4232 NEW BEST:: SOT 2719048 SOS 1522254 HAS SOPS 1522254 HAS SOUS 1276878 HAS SOUPS 1276878 WITH SCORE 1278400.254
AT ITER 4240 NEW BEST:: SOT 2719048 SOS 1522007 HAS SOPS 1522007 HAS SOUS 1276843 HAS SOUPS 1276843 WITH SCORE 1278365.007
AT ITER 4243 NEW BEST:: SOT 2718928 SOS 1523738 HAS SOPS 1523738 HAS SOUS 1276723 HAS SOUPS 1276723 WITH SCORE 1278246.738
AT ITER 4245 NEW BEST:: SOT 2718928 SOS 1523729 HAS SOPS 1523729 HAS SOUS 1276723 HAS SOUPS 1276723 WITH SCORE 1278246.729
AT ITER 4249 NEW BEST:: SOT 2718928 SOS 1523462 HAS SOPS 1523462 HAS SOUS 1276723 HAS SOUPS 1276723 WITH SCORE 1278246.462
AT ITER 4254 NEW BEST:: SOT 2718928 SOS 1523192 HAS SOPS 1523192 HAS SOUS 1276723 HAS SOUPS 1276723 WITH SCORE 1278246.192
AT ITER 4259 NEW BEST:: SOT 2718852 SOS 1523116 HAS SOPS 1523116 HAS SOUS 1276608 HAS SOUPS 1276608 WITH SCORE 1278131.116
AT ITER 4261 NEW BEST:: SOT 2717563 SOS 1521991 HAS SOPS 1521991 HAS SOUS 1275524 HAS SOUPS 1275524 WITH SCORE 1277045.991
AT ITER 4270 NEW BEST:: SOT 2717203 SOS 1521408 HAS SOPS 1521408 HAS SOUS 1274979 HAS SOUPS 1274979 WITH SCORE 1276500.408
AT ITER 4281 NEW BEST:: SOT 2717161 SOS 1521371 HAS SOPS 1521371 HAS SOUS 1274947 HAS SOUPS 1274947 WITH SCORE 1276468.371
AT ITER 4284 NEW BEST:: SOT 2717161 SOS 1521034 HAS SOPS 1521034 HAS SOUS 1274837 HAS SOUPS 1274837 WITH SCORE 1276358.034
AT ITER 4285 NEW BEST:: SOT 2717322 SOS 1520758 HAS SOPS 1520758 HAS SOUS 1274818 HAS SOUPS 1274818 WITH SCORE 1276338.758
AT ITER 4298 NEW BEST:: SOT 2717322 SOS 1520752 HAS SOPS 1520752 HAS SOUS 1274818 HAS SOUPS 1274818 WITH SCORE 1276338.752
AT ITER 4300 NEW BEST:: SOT 2717322 SOS 1520380 HAS SOPS 1520380 HAS SOUS 1274818 HAS SOUPS 1274818 WITH SCORE 1276338.38
AT ITER 4302 NEW BEST:: SOT 2717532 SOS 1520300 HAS SOPS 1520300 HAS SOUS 1274818 HAS SOUPS 1274818 WITH SCORE 1276338.3
AT ITER 4306 NEW BEST:: SOT 2717507 SOS 1520275 HAS SOPS 1520275 HAS SOUS 1274790 HAS SOUPS 1274790 WITH SCORE 1276310.275
AT ITER 4311 NEW BEST:: SOT 2717548 SOS 1520316 HAS SOPS 1520316 HAS SOUS 1274770 HAS SOUPS 1274770 WITH SCORE 1276290.316
AT ITER 4316 NEW BEST:: SOT 2717548 SOS 1520061 HAS SOPS 1520061 HAS SOUS 1274770 HAS SOUPS 1274770 WITH SCORE 1276290.061
AT ITER 4328 NEW BEST:: SOT 2717014 SOS 1519875 HAS SOPS 1519875 HAS SOUS 1274584 HAS SOUPS 1274584 WITH SCORE 1276103.875
AT ITER 4331 NEW BEST:: SOT 2717014 SOS 1519718 HAS SOPS 1519718 HAS SOUS 1274584 HAS SOUPS 1274584 WITH SCORE 1276103.718
AT ITER 4340 NEW BEST:: SOT 2717014 SOS 1520739 HAS SOPS 1520739 HAS SOUS 1274427 HAS SOUPS 1274427 WITH SCORE 1275947.739
AT ITER 4341 NEW BEST:: SOT 2717043 SOS 1520768 HAS SOPS 1520768 HAS SOUS 1274128 HAS SOUPS 1274128 WITH SCORE 1275648.768
AT ITER 4344 NEW BEST:: SOT 2717050 SOS 1520519 HAS SOPS 1520519 HAS SOUS 1273777 HAS SOUPS 1273777 WITH SCORE 1275297.519
AT ITER 4345 NEW BEST:: SOT 2717023 SOS 1520492 HAS SOPS 1520492 HAS SOUS 1273750 HAS SOUPS 1273750 WITH SCORE 1275270.492
AT ITER 4353 NEW BEST:: SOT 2716791 SOS 1520376 HAS SOPS 1520376 HAS SOUS 1273634 HAS SOUPS 1273634 WITH SCORE 1275154.376
AT ITER 4354 NEW BEST:: SOT 2716781 SOS 1520366 HAS SOPS 1520366 HAS SOUS 1273634 HAS SOUPS 1273634 WITH SCORE 1275154.366
AT ITER 4355 NEW BEST:: SOT 2715184 SOS 1519371 HAS SOPS 1519371 HAS SOUS 1273236 HAS SOUPS 1273236 WITH SCORE 1274755.371
AT ITER 4356 NEW BEST:: SOT 2715228 SOS 1519271 HAS SOPS 1519271 HAS SOUS 1273208 HAS SOUPS 1273208 WITH SCORE 1274727.271
AT ITER 4357 NEW BEST:: SOT 2715228 SOS 1518998 HAS SOPS 1518998 HAS SOUS 1273208 HAS SOUPS 1273208 WITH SCORE 1274726.998
AT ITER 4365 NEW BEST:: SOT 2715228 SOS 1518976 HAS SOPS 1518976 HAS SOUS 1273208 HAS SOUPS 1273208 WITH SCORE 1274726.976
AT ITER 4372 NEW BEST:: SOT 2715228 SOS 1518898 HAS SOPS 1518898 HAS SOUS 1273208 HAS SOUPS 1273208 WITH SCORE 1274726.898
AT ITER 4373 NEW BEST:: SOT 2714968 SOS 1518729 HAS SOPS 1518729 HAS SOUS 1273039 HAS SOUPS 1273039 WITH SCORE 1274557.729
AT ITER 4394 NEW BEST:: SOT 2715258 SOS 1518834 HAS SOPS 1518834 HAS SOUS 1272865 HAS SOUPS 1272865 WITH SCORE 1274383.834
AT ITER 4400 NEW BEST:: SOT 2715254 SOS 1518411 HAS SOPS 1518411 HAS SOUS 1272835 HAS SOUPS 1272835 WITH SCORE 1274353.411
AT ITER 4410 NEW BEST:: SOT 2715548 SOS 1518610 HAS SOPS 1518610 HAS SOUS 1272670 HAS SOUPS 1272670 WITH SCORE 1274188.61
AT ITER 4419 NEW BEST:: SOT 2714196 SOS 1517626 HAS SOPS 1517626 HAS SOUS 1271318 HAS SOUPS 1271318 WITH SCORE 1272835.626
AT ITER 4420 NEW BEST:: SOT 2711308 SOS 1515568 HAS SOPS 1515568 HAS SOUS 1269236 HAS SOUPS 1269236 WITH SCORE 1270751.568
AT ITER 4423 NEW BEST:: SOT 2711409 SOS 1515633 HAS SOPS 1515633 HAS SOUS 1269229 HAS SOUPS 1269229 WITH SCORE 1270744.633
AT ITER 4429 NEW BEST:: SOT 2710736 SOS 1515049 HAS SOPS 1515049 HAS SOUS 1268645 HAS SOUPS 1268645 WITH SCORE 1270160.049
AT ITER 4432 NEW BEST:: SOT 2710708 SOS 1515021 HAS SOPS 1515021 HAS SOUS 1268515 HAS SOUPS 1268515 WITH SCORE 1270030.021
AT ITER 4435 NEW BEST:: SOT 2710639 SOS 1514661 HAS SOPS 1514661 HAS SOUS 1268341 HAS SOUPS 1268341 WITH SCORE 1269855.661
AT ITER 4447 NEW BEST:: SOT 2710370 SOS 1514447 HAS SOPS 1514447 HAS SOUS 1268127 HAS SOUPS 1268127 WITH SCORE 1269641.447
AT ITER 4449 NEW BEST:: SOT 2710370 SOS 1514251 HAS SOPS 1514251 HAS SOUS 1268127 HAS SOUPS 1268127 WITH SCORE 1269641.251
AT ITER 4459 NEW BEST:: SOT 2709987 SOS 1513143 HAS SOPS 1513143 HAS SOUS 1266860 HAS SOUPS 1266860 WITH SCORE 1268373.143
AT ITER 4460 NEW BEST:: SOT 2709323 SOS 1511720 HAS SOPS 1511720 HAS SOUS 1265413 HAS SOUPS 1265413 WITH SCORE 1266924.72
AT ITER 4461 NEW BEST:: SOT 2708501 SOS 1513465 HAS SOPS 1513465 HAS SOUS 1265134 HAS SOUPS 1265134 WITH SCORE 1266647.465
AT ITER 4473 NEW BEST:: SOT 2708501 SOS 1513307 HAS SOPS 1513307 HAS SOUS 1265115 HAS SOUPS 1265115 WITH SCORE 1266628.307
AT ITER 4477 NEW BEST:: SOT 2708501 SOS 1513042 HAS SOPS 1513042 HAS SOUS 1265115 HAS SOUPS 1265115 WITH SCORE 1266628.042
AT ITER 4487 NEW BEST:: SOT 2708443 SOS 1513264 HAS SOPS 1513264 HAS SOUS 1265057 HAS SOUPS 1265057 WITH SCORE 1266570.264
AT ITER 4490 NEW BEST:: SOT 2707816 SOS 1513586 HAS SOPS 1513586 HAS SOUS 1264984 HAS SOUPS 1264984 WITH SCORE 1266497.586
AT ITER 4492 NEW BEST:: SOT 2707816 SOS 1512380 HAS SOPS 1512380 HAS SOUS 1264850 HAS SOUPS 1264850 WITH SCORE 1266362.38
AT ITER 4493 NEW BEST:: SOT 2707816 SOS 1512355 HAS SOPS 1512355 HAS SOUS 1264850 HAS SOUPS 1264850 WITH SCORE 1266362.355
AT ITER 4494 NEW BEST:: SOT 2707714 SOS 1512010 HAS SOPS 1512010 HAS SOUS 1264237 HAS SOUPS 1264237 WITH SCORE 1265749.01
AT ITER 4501 NEW BEST:: SOT 2707541 SOS 1511773 HAS SOPS 1511773 HAS SOUS 1263973 HAS SOUPS 1263973 WITH SCORE 1265484.773
AT ITER 4506 NEW BEST:: SOT 2707375 SOS 1511399 HAS SOPS 1511399 HAS SOUS 1263907 HAS SOUPS 1263907 WITH SCORE 1265418.399
AT ITER 4508 NEW BEST:: SOT 2705292 SOS 1510677 HAS SOPS 1510677 HAS SOUS 1263350 HAS SOUPS 1263350 WITH SCORE 1264860.677
AT ITER 4513 NEW BEST:: SOT 2704685 SOS 1510150 HAS SOPS 1510150 HAS SOUS 1262823 HAS SOUPS 1262823 WITH SCORE 1264333.15
AT ITER 4523 NEW BEST:: SOT 2703499 SOS 1509340 HAS SOPS 1509340 HAS SOUS 1261919 HAS SOUPS 1261919 WITH SCORE 1263428.34
AT ITER 4527 NEW BEST:: SOT 2703515 SOS 1509152 HAS SOPS 1509152 HAS SOUS 1261735 HAS SOUPS 1261735 WITH SCORE 1263244.152
AT ITER 4534 NEW BEST:: SOT 2703529 SOS 1509152 HAS SOPS 1509152 HAS SOUS 1261721 HAS SOUPS 1261721 WITH SCORE 1263230.152
AT ITER 4537 NEW BEST:: SOT 2702859 SOS 1508482 HAS SOPS 1508482 HAS SOUS 1261181 HAS SOUPS 1261181 WITH SCORE 1262689.482
AT ITER 4547 NEW BEST:: SOT 2702859 SOS 1508937 HAS SOPS 1508937 HAS SOUS 1261018 HAS SOUPS 1261018 WITH SCORE 1262526.937
AT ITER 4558 NEW BEST:: SOT 2702716 SOS 1508681 HAS SOPS 1508681 HAS SOUS 1260748 HAS SOUPS 1260748 WITH SCORE 1262256.681
AT ITER 4570 NEW BEST:: SOT 2702412 SOS 1508243 HAS SOPS 1508243 HAS SOUS 1259921 HAS SOUPS 1259921 WITH SCORE 1261429.243
AT ITER 4577 NEW BEST:: SOT 2702412 SOS 1508055 HAS SOPS 1508055 HAS SOUS 1259874 HAS SOUPS 1259874 WITH SCORE 1261382.055
AT ITER 4578 NEW BEST:: SOT 2702127 SOS 1507881 HAS SOPS 1507881 HAS SOUS 1259763 HAS SOUPS 1259763 WITH SCORE 1261270.881
AT ITER 4583 NEW BEST:: SOT 2702106 SOS 1508153 HAS SOPS 1508153 HAS SOUS 1259558 HAS SOUPS 1259558 WITH SCORE 1261066.153
AT ITER 4586 NEW BEST:: SOT 2702106 SOS 1508140 HAS SOPS 1508140 HAS SOUS 1259545 HAS SOUPS 1259545 WITH SCORE 1261053.14
AT ITER 4596 NEW BEST:: SOT 2702106 SOS 1508010 HAS SOPS 1508010 HAS SOUS 1259545 HAS SOUPS 1259545 WITH SCORE 1261053.01
AT ITER 4600 NEW BEST:: SOT 2702106 SOS 1507972 HAS SOPS 1507972 HAS SOUS 1259545 HAS SOUPS 1259545 WITH SCORE 1261052.972
AT ITER 4601 NEW BEST:: SOT 2702106 SOS 1507972 HAS SOPS 1507972 HAS SOUS 1259530 HAS SOUPS 1259530 WITH SCORE 1261037.972
AT ITER 4606 NEW BEST:: SOT 2701552 SOS 1507030 HAS SOPS 1507030 HAS SOUS 1258692 HAS SOUPS 1258692 WITH SCORE 1260199.03
AT ITER 4607 NEW BEST:: SOT 2701276 SOS 1506794 HAS SOPS 1506794 HAS SOUS 1258457 HAS SOUPS 1258457 WITH SCORE 1259963.794
AT ITER 4608 NEW BEST:: SOT 2701276 SOS 1506806 HAS SOPS 1506806 HAS SOUS 1258329 HAS SOUPS 1258329 WITH SCORE 1259835.806
AT ITER 4619 NEW BEST:: SOT 2701276 SOS 1506746 HAS SOPS 1506746 HAS SOUS 1258329 HAS SOUPS 1258329 WITH SCORE 1259835.746
AT ITER 4623 NEW BEST:: SOT 2701312 SOS 1506635 HAS SOPS 1506635 HAS SOUS 1258167 HAS SOUPS 1258167 WITH SCORE 1259673.635
AT ITER 4631 NEW BEST:: SOT 2701312 SOS 1506435 HAS SOPS 1506435 HAS SOUS 1258167 HAS SOUPS 1258167 WITH SCORE 1259673.435
AT ITER 4648 NEW BEST:: SOT 2701302 SOS 1506425 HAS SOPS 1506425 HAS SOUS 1258157 HAS SOUPS 1258157 WITH SCORE 1259663.425
AT ITER 4649 NEW BEST:: SOT 2700846 SOS 1505671 HAS SOPS 1505671 HAS SOUS 1258035 HAS SOUPS 1258035 WITH SCORE 1259540.671
AT ITER 4650 NEW BEST:: SOT 2700575 SOS 1505495 HAS SOPS 1505495 HAS SOUS 1257966 HAS SOUPS 1257966 WITH SCORE 1259471.495
AT ITER 4651 NEW BEST:: SOT 2700571 SOS 1505491 HAS SOPS 1505491 HAS SOUS 1257873 HAS SOUPS 1257873 WITH SCORE 1259378.491
AT ITER 4653 NEW BEST:: SOT 2700571 SOS 1505504 HAS SOPS 1505504 HAS SOUS 1257857 HAS SOUPS 1257857 WITH SCORE 1259362.504
AT ITER 4658 NEW BEST:: SOT 2700571 SOS 1505240 HAS SOPS 1505240 HAS SOUS 1257857 HAS SOUPS 1257857 WITH SCORE 1259362.24
AT ITER 4659 NEW BEST:: SOT 2700571 SOS 1503755 HAS SOPS 1503755 HAS SOUS 1257687 HAS SOUPS 1257687 WITH SCORE 1259190.755
AT ITER 4660 NEW BEST:: SOT 2700571 SOS 1503733 HAS SOPS 1503733 HAS SOUS 1257687 HAS SOUPS 1257687 WITH SCORE 1259190.733
AT ITER 4667 NEW BEST:: SOT 2700571 SOS 1503803 HAS SOPS 1503803 HAS SOUS 1257637 HAS SOUPS 1257637 WITH SCORE 1259140.803
AT ITER 4671 NEW BEST:: SOT 2700504 SOS 1501668 HAS SOPS 1501668 HAS SOUS 1257511 HAS SOUPS 1257511 WITH SCORE 1259012.668
AT ITER 4680 NEW BEST:: SOT 2700386 SOS 1501903 HAS SOPS 1501903 HAS SOUS 1257461 HAS SOUPS 1257461 WITH SCORE 1258962.903
AT ITER 4682 NEW BEST:: SOT 2700485 SOS 1501749 HAS SOPS 1501749 HAS SOUS 1256805 HAS SOUPS 1256805 WITH SCORE 1258306.749
AT ITER 4692 NEW BEST:: SOT 2696960 SOS 1502954 HAS SOPS 1502954 HAS SOUS 1255731 HAS SOUPS 1255731 WITH SCORE 1257233.954
AT ITER 4702 NEW BEST:: SOT 2694656 SOS 1501611 HAS SOPS 1501611 HAS SOUS 1254516 HAS SOUPS 1254516 WITH SCORE 1256017.611
AT ITER 4710 NEW BEST:: SOT 2692144 SOS 1500282 HAS SOPS 1500282 HAS SOUS 1252838 HAS SOUPS 1252838 WITH SCORE 1254338.282
AT ITER 4727 NEW BEST:: SOT 2692144 SOS 1500282 HAS SOPS 1500282 HAS SOUS 1252780 HAS SOUPS 1252780 WITH SCORE 1254280.282
AT ITER 4731 NEW BEST:: SOT 2692144 SOS 1498359 HAS SOPS 1498359 HAS SOUS 1252667 HAS SOUPS 1252667 WITH SCORE 1254165.359
AT ITER 4732 NEW BEST:: SOT 2692144 SOS 1498373 HAS SOPS 1498373 HAS SOUS 1252599 HAS SOUPS 1252599 WITH SCORE 1254097.373
AT ITER 4739 NEW BEST:: SOT 2692158 SOS 1498317 HAS SOPS 1498317 HAS SOUS 1252543 HAS SOUPS 1252543 WITH SCORE 1254041.317
AT ITER 4741 NEW BEST:: SOT 2692196 SOS 1498419 HAS SOPS 1498419 HAS SOUS 1252524 HAS SOUPS 1252524 WITH SCORE 1254022.419
AT ITER 4743 NEW BEST:: SOT 2692203 SOS 1498719 HAS SOPS 1498719 HAS SOUS 1252441 HAS SOUPS 1252441 WITH SCORE 1253939.719
AT ITER 4755 NEW BEST:: SOT 2692203 SOS 1498459 HAS SOPS 1498459 HAS SOUS 1252441 HAS SOUPS 1252441 WITH SCORE 1253939.459
AT ITER 4757 NEW BEST:: SOT 2692203 SOS 1498336 HAS SOPS 1498336 HAS SOUS 1252441 HAS SOUPS 1252441 WITH SCORE 1253939.336
AT ITER 4764 NEW BEST:: SOT 2692167 SOS 1498380 HAS SOPS 1498380 HAS SOUS 1252386 HAS SOUPS 1252386 WITH SCORE 1253884.38
AT ITER 4775 NEW BEST:: SOT 2692167 SOS 1497640 HAS SOPS 1497640 HAS SOUS 1252386 HAS SOUPS 1252386 WITH SCORE 1253883.64
AT ITER 4787 NEW BEST:: SOT 2691937 SOS 1497673 HAS SOPS 1497673 HAS SOUS 1252271 HAS SOUPS 1252271 WITH SCORE 1253768.673
AT ITER 4792 NEW BEST:: SOT 2691937 SOS 1497534 HAS SOPS 1497534 HAS SOUS 1252271 HAS SOUPS 1252271 WITH SCORE 1253768.534
AT ITER 4809 NEW BEST:: SOT 2691937 SOS 1497534 HAS SOPS 1497534 HAS SOUS 1252236 HAS SOUPS 1252236 WITH SCORE 1253733.534
AT ITER 4812 NEW BEST:: SOT 2692032 SOS 1497457 HAS SOPS 1497457 HAS SOUS 1251725 HAS SOUPS 1251725 WITH SCORE 1253222.457
AT ITER 4820 NEW BEST:: SOT 2691374 SOS 1496896 HAS SOPS 1496896 HAS SOUS 1251215 HAS SOUPS 1251215 WITH SCORE 1252711.896
AT ITER 4834 NEW BEST:: SOT 2691354 SOS 1496876 HAS SOPS 1496876 HAS SOUS 1251111 HAS SOUPS 1251111 WITH SCORE 1252607.876
AT ITER 4846 NEW BEST:: SOT 2691354 SOS 1496840 HAS SOPS 1496840 HAS SOUS 1251039 HAS SOUPS 1251039 WITH SCORE 1252535.84
AT ITER 4848 NEW BEST:: SOT 2691112 SOS 1497051 HAS SOPS 1497051 HAS SOUS 1250974 HAS SOUPS 1250974 WITH SCORE 1252471.051
AT ITER 4871 NEW BEST:: SOT 2691112 SOS 1496898 HAS SOPS 1496898 HAS SOUS 1250974 HAS SOUPS 1250974 WITH SCORE 1252470.898
AT ITER 4873 NEW BEST:: SOT 2691060 SOS 1496846 HAS SOPS 1496846 HAS SOUS 1250922 HAS SOUPS 1250922 WITH SCORE 1252418.846
AT ITER 4874 NEW BEST:: SOT 2690975 SOS 1496761 HAS SOPS 1496761 HAS SOUS 1250905 HAS SOUPS 1250905 WITH SCORE 1252401.761
AT ITER 4882 NEW BEST:: SOT 2690826 SOS 1497739 HAS SOPS 1497739 HAS SOUS 1250678 HAS SOUPS 1250678 WITH SCORE 1252175.739
AT ITER 4886 NEW BEST:: SOT 2690726 SOS 1497994 HAS SOPS 1497994 HAS SOUS 1250450 HAS SOUPS 1250450 WITH SCORE 1251947.994
AT ITER 4887 NEW BEST:: SOT 2690554 SOS 1497962 HAS SOPS 1497962 HAS SOUS 1250348 HAS SOUPS 1250348 WITH SCORE 1251845.962
AT ITER 4890 NEW BEST:: SOT 2690554 SOS 1497962 HAS SOPS 1497962 HAS SOUS 1250319 HAS SOUPS 1250319 WITH SCORE 1251816.962
AT ITER 4892 NEW BEST:: SOT 2687207 SOS 1496642 HAS SOPS 1496642 HAS SOUS 1248613 HAS SOUPS 1248613 WITH SCORE 1250109.642
AT ITER 4904 NEW BEST:: SOT 2687147 SOS 1496547 HAS SOPS 1496547 HAS SOUS 1248497 HAS SOUPS 1248497 WITH SCORE 1249993.547
AT ITER 4908 NEW BEST:: SOT 2687147 SOS 1496569 HAS SOPS 1496569 HAS SOUS 1248483 HAS SOUPS 1248483 WITH SCORE 1249979.569
AT ITER 4910 NEW BEST:: SOT 2687147 SOS 1494963 HAS SOPS 1494963 HAS SOUS 1247735 HAS SOUPS 1247735 WITH SCORE 1249229.963
AT ITER 4911 NEW BEST:: SOT 2687063 SOS 1494891 HAS SOPS 1494891 HAS SOUS 1247663 HAS SOUPS 1247663 WITH SCORE 1249157.891
AT ITER 4920 NEW BEST:: SOT 2687046 SOS 1494874 HAS SOPS 1494874 HAS SOUS 1247646 HAS SOUPS 1247646 WITH SCORE 1249140.874
AT ITER 4928 NEW BEST:: SOT 2687517 SOS 1494304 HAS SOPS 1494304 HAS SOUS 1247577 HAS SOUPS 1247577 WITH SCORE 1249071.304
AT ITER 4930 NEW BEST:: SOT 2687517 SOS 1494249 HAS SOPS 1494249 HAS SOUS 1247566 HAS SOUPS 1247566 WITH SCORE 1249060.249
AT ITER 4937 NEW BEST:: SOT 2687517 SOS 1494036 HAS SOPS 1494036 HAS SOUS 1247566 HAS SOUPS 1247566 WITH SCORE 1249060.036
AT ITER 4938 NEW BEST:: SOT 2687517 SOS 1494220 HAS SOPS 1494220 HAS SOUS 1247508 HAS SOUPS 1247508 WITH SCORE 1249002.22
AT ITER 4945 NEW BEST:: SOT 2686846 SOS 1493821 HAS SOPS 1493821 HAS SOUS 1247109 HAS SOUPS 1247109 WITH SCORE 1248602.821
AT ITER 4948 NEW BEST:: SOT 2686846 SOS 1493679 HAS SOPS 1493679 HAS SOUS 1247109 HAS SOUPS 1247109 WITH SCORE 1248602.679
AT ITER 4950 NEW BEST:: SOT 2686644 SOS 1493477 HAS SOPS 1493477 HAS SOUS 1246887 HAS SOUPS 1246887 WITH SCORE 1248380.477
AT ITER 4952 NEW BEST:: SOT 2686644 SOS 1493381 HAS SOPS 1493381 HAS SOUS 1246887 HAS SOUPS 1246887 WITH SCORE 1248380.381
AT ITER 4956 NEW BEST:: SOT 2686644 SOS 1493381 HAS SOPS 1493381 HAS SOUS 1246854 HAS SOUPS 1246854 WITH SCORE 1248347.381
AT ITER 4967 NEW BEST:: SOT 2686644 SOS 1493371 HAS SOPS 1493371 HAS SOUS 1246854 HAS SOUPS 1246854 WITH SCORE 1248347.371
AT ITER 4970 NEW BEST:: SOT 2686644 SOS 1493367 HAS SOPS 1493367 HAS SOUS 1246854 HAS SOUPS 1246854 WITH SCORE 1248347.367
AT ITER 4975 NEW BEST:: SOT 2686644 SOS 1493320 HAS SOPS 1493320 HAS SOUS 1246854 HAS SOUPS 1246854 WITH SCORE 1248347.32
AT ITER 4982 NEW BEST:: SOT 2686644 SOS 1493103 HAS SOPS 1493103 HAS SOUS 1246779 HAS SOUPS 1246779 WITH SCORE 1248272.103
AT ITER 4983 NEW BEST:: SOT 2686274 SOS 1494000 HAS SOPS 1494000 HAS SOUS 1246686 HAS SOUPS 1246686 WITH SCORE 1248180.0
Bounds file is: CTLFireability.xml
PROPERTY: Sudoku-PT-AN12-CTLFireability-00 (EG( ((potential((tk(P2068)>=1) & (tk(P4)>=1) & (tk(P1877)>=1))))))
PROPERTY: Sudoku-PT-AN12-CTLFireability-01 (EF( ( (! (EX( ((potential((tk(P2028)>=1) & (tk(P84)>=1) & (tk(P1945)>=1))))))) | ( (EG( ((potential((tk(P2149)>=1) & (tk(P49)>=1) & (tk(P1932)>=1)))))) & ( (! ((potential((tk(P2158)>=1) & (tk(P22)>=1) & (tk(P1896)>=1))))) | ( ((potential((tk(P2148)>=1) & (tk(P12)>=1) & (tk(P1883)>=1)))) | ((potential((tk(P2089)>=1) & (tk(P109)>=1) & (tk(P1987)>=1)))) ) ) ) )))
PROPERTY: Sudoku-PT-AN12-CTLFireability-02 (EG( ((potential((tk(P2148)>=1) & (tk(P120)>=1) & (tk(P1991)>=1))))))
PROPERTY: Sudoku-PT-AN12-CTLFireability-03 (AX( (EU( ( ((potential((tk(P2027)>=1) & (tk(P131)>=1) & (tk(P1993)>=1)))) | ((potential((tk(P2076)>=1) & (tk(P84)>=1) & (tk(P1949)>=1)))) ) , ( ((potential((tk(P2076)>=1) & (tk(P24)>=1) & (tk(P1889)>=1)))) & ((potential((tk(P2100)>=1) & (tk(P36)>=1) & (tk(P1903)>=1)))) ) ))))
PROPERTY: Sudoku-PT-AN12-CTLFireability-04 (EU( ((potential((tk(P2127)>=1) & (tk(P15)>=1) & (tk(P1894)>=1)))) , (! ( ( ((potential((tk(P2027)>=1) & (tk(P95)>=1) & (tk(P1957)>=1)))) & ((potential((tk(P2133)>=1) & (tk(P117)>=1) & (tk(P1990)>=1)))) ) | ((potential((tk(P2056)>=1) & (tk(P76)>=1) & (tk(P1948)>=1)))) )) ))
PROPERTY: Sudoku-PT-AN12-CTLFireability-05 (AU( (AF( ((potential((tk(P2084)>=1) & (tk(P80)>=1) & (tk(P1950)>=1)))))) , (! (AF( ((potential((tk(P2109)>=1) & (tk(P45)>=1) & (tk(P1916)>=1))))))) ))
PROPERTY: Sudoku-PT-AN12-CTLFireability-06 (EU( (EX( ( ((potential((tk(P2076)>=1) & (tk(P24)>=1) & (tk(P1889)>=1)))) | ((potential((tk(P2046)>=1) & (tk(P102)>=1) & (tk(P1971)>=1)))) ))) , (AX( ( ((potential((tk(P2126)>=1) & (tk(P62)>=1) & (tk(P1942)>=1)))) & ((potential((tk(P2148)>=1) & (tk(P144)>=1) & (tk(P2015)>=1)))) ))) ))
PROPERTY: Sudoku-PT-AN12-CTLFireability-07 (! (EU( ( ( ((potential((tk(P2098)>=1) & (tk(P10)>=1) & (tk(P1879)>=1)))) & ((potential((tk(P2094)>=1) & (tk(P102)>=1) & (tk(P1975)>=1)))) ) | (! ((potential((tk(P2095)>=1) & (tk(P55)>=1) & (tk(P1927)>=1))))) ) , (EG( ((potential((tk(P2083)>=1) & (tk(P91)>=1) & (tk(P1962)>=1)))))) )))
PROPERTY: Sudoku-PT-AN12-CTLFireability-08 (EG( (EU( ( ((potential((tk(P2049)>=1) & (tk(P33)>=1) & (tk(P1899)>=1)))) | ((potential((tk(P2119)>=1) & (tk(P67)>=1) & (tk(P1941)>=1)))) ) , ( ((potential((tk(P2138)>=1) & (tk(P62)>=1) & (tk(P1943)>=1)))) | ((potential((tk(P2116)>=1) & (tk(P4)>=1) & (tk(P1881)>=1)))) ) ))))
PROPERTY: Sudoku-PT-AN12-CTLFireability-09 (AX( (! ( ( (! ((potential((tk(P2108)>=1) & (tk(P80)>=1) & (tk(P1952)>=1))))) | ( ((potential((tk(P2034)>=1) & (tk(P18)>=1) & (tk(P1886)>=1)))) | ((potential((tk(P2062)>=1) & (tk(P46)>=1) & (tk(P1912)>=1)))) ) ) & (AG( ((potential((tk(P2073)>=1) & (tk(P57)>=1) & (tk(P1925)>=1)))))) ))))
PROPERTY: Sudoku-PT-AN12-CTLFireability-10 (EX( (AX( ((potential((tk(P2044)>=1) & (tk(P28)>=1) & (tk(P1899)>=1))))))))
PROPERTY: Sudoku-PT-AN12-CTLFireability-11 (AG( ( (EU( ((potential((tk(P2084)>=1) & (tk(P20)>=1) & (tk(P1890)>=1)))) , ((potential((tk(P2104)>=1) & (tk(P4)>=1) & (tk(P1880)>=1)))) )) | (EU( ((potential((tk(P2068)>=1) & (tk(P76)>=1) & (tk(P1949)>=1)))) , ((potential((tk(P2105)>=1) & (tk(P65)>=1) & (tk(P1940)>=1)))) )) )))
PROPERTY: Sudoku-PT-AN12-CTLFireability-12 (EU( (AU( ((potential((tk(P2118)>=1) & (tk(P138)>=1) & (tk(P2013)>=1)))) , ((potential((tk(P2160)>=1) & (tk(P60)>=1) & (tk(P1932)>=1)))) )) , (! (AF( ((potential((tk(P2136)>=1) & (tk(P36)>=1) & (tk(P1906)>=1))))))) ))
PROPERTY: Sudoku-PT-AN12-CTLFireability-13 (EG( (EX( ((potential((tk(P2035)>=1) & (tk(P79)>=1) & (tk(P1946)>=1))))))))
PROPERTY: Sudoku-PT-AN12-CTLFireability-14 ( (AG( (AF( (! ((potential((tk(P2137)>=1) & (tk(P37)>=1) & (tk(P1919)>=1))))))))) & ((potential((tk(P2062)>=1) & (tk(P118)>=1) & (tk(P1984)>=1)))) )
PROPERTY: Sudoku-PT-AN12-CTLFireability-15 ( ( (! ((potential((tk(P2029)>=1) & (tk(P1)>=1) & (tk(P1874)>=1))))) & (AX( ( ( ((potential((tk(P2077)>=1) & (tk(P25)>=1) & (tk(P1902)>=1)))) | ((potential((tk(P2063)>=1) & (tk(P11)>=1) & (tk(P1876)>=1)))) ) | ( ((potential((tk(P2080)>=1) & (tk(P136)>=1) & (tk(P2010)>=1)))) | ((potential((tk(P2047)>=1) & (tk(P55)>=1) & (tk(P1923)>=1)))) ) ))) ) | ( ( (EG( ( ((potential((tk(P2116)>=1) & (tk(P112)>=1) & (tk(P1989)>=1)))) & ((potential((tk(P2109)>=1) & (tk(P117)>=1) & (tk(P1988)>=1)))) ))) & (EU( ((potential((tk(P2047)>=1) & (tk(P19)>=1) & (tk(P1887)>=1)))) , ((potential((tk(P2045)>=1) & (tk(P41)>=1) & (tk(P1911)>=1)))) )) ) & (AF( (EG( ((potential((tk(P2078)>=1) & (tk(P62)>=1) & (tk(P1938)>=1)))))))) ) )

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Sudoku-PT-AN12"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is Sudoku-PT-AN12, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538700404"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-PT-AN12.tgz
mv Sudoku-PT-AN12 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;