About the Execution of smart for ShieldRVs-PT-100A
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15765.480 | 3600000.00 | 3599980.00 | 9.90 | [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 '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033470200908.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldRVs-PT-100A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470200908
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 816K
-rw-r--r-- 1 mcc users 3.1K May 14 02:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 14 02:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 13 20:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 20:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.9K May 13 14:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 13 14:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 09:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 09:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 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 652K 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 ShieldRVs-PT-100A-CTLFireability-00
FORMULA_NAME ShieldRVs-PT-100A-CTLFireability-01
FORMULA_NAME ShieldRVs-PT-100A-CTLFireability-02
FORMULA_NAME ShieldRVs-PT-100A-CTLFireability-03
FORMULA_NAME ShieldRVs-PT-100A-CTLFireability-04
FORMULA_NAME ShieldRVs-PT-100A-CTLFireability-05
FORMULA_NAME ShieldRVs-PT-100A-CTLFireability-06
FORMULA_NAME ShieldRVs-PT-100A-CTLFireability-07
FORMULA_NAME ShieldRVs-PT-100A-CTLFireability-08
FORMULA_NAME ShieldRVs-PT-100A-CTLFireability-09
FORMULA_NAME ShieldRVs-PT-100A-CTLFireability-10
FORMULA_NAME ShieldRVs-PT-100A-CTLFireability-11
FORMULA_NAME ShieldRVs-PT-100A-CTLFireability-12
FORMULA_NAME ShieldRVs-PT-100A-CTLFireability-13
FORMULA_NAME ShieldRVs-PT-100A-CTLFireability-14
FORMULA_NAME ShieldRVs-PT-100A-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1590453906114
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 100A
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: 1403 places, 1903 transitions, 9200 arcs.
AT ITER 0 NEW BEST:: SOT 2006930 SOS 1718105 HAS SOPS 1718105 HAS SOUS 1395267 HAS SOUPS 1395267 WITH SCORE 1396985.105
AT ITER 4 NEW BEST:: SOT 2007094 SOS 1717193 HAS SOPS 1717193 HAS SOUS 1394812 HAS SOUPS 1394812 WITH SCORE 1396529.193
AT ITER 5 NEW BEST:: SOT 2007003 SOS 1716829 HAS SOPS 1716829 HAS SOUS 1394357 HAS SOUPS 1394357 WITH SCORE 1396073.829
AT ITER 6 NEW BEST:: SOT 2006536 SOS 1714369 HAS SOPS 1714369 HAS SOUS 1391800 HAS SOUPS 1391800 WITH SCORE 1393514.369
AT ITER 9 NEW BEST:: SOT 2006466 SOS 1712690 HAS SOPS 1712690 HAS SOUS 1390065 HAS SOUPS 1390065 WITH SCORE 1391777.69
AT ITER 10 NEW BEST:: SOT 2006103 SOS 1710409 HAS SOPS 1710409 HAS SOUS 1387875 HAS SOUPS 1387875 WITH SCORE 1389585.409
AT ITER 13 NEW BEST:: SOT 2005315 SOS 1709981 HAS SOPS 1709981 HAS SOUS 1387447 HAS SOUPS 1387447 WITH SCORE 1389156.981
AT ITER 14 NEW BEST:: SOT 2005114 SOS 1708536 HAS SOPS 1708536 HAS SOUS 1386319 HAS SOUPS 1386319 WITH SCORE 1388027.536
AT ITER 16 NEW BEST:: SOT 2006744 SOS 1708482 HAS SOPS 1708482 HAS SOUS 1384860 HAS SOUPS 1384860 WITH SCORE 1386568.482
AT ITER 17 NEW BEST:: SOT 2006514 SOS 1706292 HAS SOPS 1706292 HAS SOUS 1382595 HAS SOUPS 1382595 WITH SCORE 1384301.292
AT ITER 18 NEW BEST:: SOT 2006514 SOS 1706536 HAS SOPS 1706536 HAS SOUS 1382448 HAS SOUPS 1382448 WITH SCORE 1384154.536
AT ITER 21 NEW BEST:: SOT 2006054 SOS 1706076 HAS SOPS 1706076 HAS SOUS 1381988 HAS SOUPS 1381988 WITH SCORE 1383694.076
AT ITER 23 NEW BEST:: SOT 2005935 SOS 1705957 HAS SOPS 1705957 HAS SOUS 1381869 HAS SOUPS 1381869 WITH SCORE 1383574.957
AT ITER 24 NEW BEST:: SOT 2005794 SOS 1705816 HAS SOPS 1705816 HAS SOUS 1381728 HAS SOUPS 1381728 WITH SCORE 1383433.816
AT ITER 26 NEW BEST:: SOT 2005406 SOS 1705428 HAS SOPS 1705428 HAS SOUS 1381340 HAS SOUPS 1381340 WITH SCORE 1383045.428
AT ITER 27 NEW BEST:: SOT 2005066 SOS 1703888 HAS SOPS 1703888 HAS SOUS 1379991 HAS SOUPS 1379991 WITH SCORE 1381694.888
AT ITER 28 NEW BEST:: SOT 2005795 SOS 1702920 HAS SOPS 1702920 HAS SOUS 1379582 HAS SOUPS 1379582 WITH SCORE 1381284.92
AT ITER 32 NEW BEST:: SOT 2005860 SOS 1701524 HAS SOPS 1701524 HAS SOUS 1378171 HAS SOUPS 1378171 WITH SCORE 1379872.524
AT ITER 33 NEW BEST:: SOT 2005100 SOS 1700266 HAS SOPS 1700266 HAS SOUS 1376453 HAS SOUPS 1376453 WITH SCORE 1378153.266
AT ITER 34 NEW BEST:: SOT 2006253 SOS 1700084 HAS SOPS 1700084 HAS SOUS 1375377 HAS SOUPS 1375377 WITH SCORE 1377077.084
AT ITER 39 NEW BEST:: SOT 2006116 SOS 1699670 HAS SOPS 1699670 HAS SOUS 1374822 HAS SOUPS 1374822 WITH SCORE 1376521.67
AT ITER 40 NEW BEST:: SOT 2005777 SOS 1699331 HAS SOPS 1699331 HAS SOUS 1374481 HAS SOUPS 1374481 WITH SCORE 1376180.331
AT ITER 47 NEW BEST:: SOT 2005528 SOS 1699082 HAS SOPS 1699082 HAS SOUS 1374231 HAS SOUPS 1374231 WITH SCORE 1375930.082
AT ITER 50 NEW BEST:: SOT 2005671 SOS 1696682 HAS SOPS 1696682 HAS SOUS 1371099 HAS SOUPS 1371099 WITH SCORE 1372795.682
AT ITER 53 NEW BEST:: SOT 2005161 SOS 1694642 HAS SOPS 1694642 HAS SOUS 1368546 HAS SOUPS 1368546 WITH SCORE 1370240.642
AT ITER 55 NEW BEST:: SOT 2004663 SOS 1690953 HAS SOPS 1690953 HAS SOUS 1365281 HAS SOUPS 1365281 WITH SCORE 1366971.953
AT ITER 59 NEW BEST:: SOT 2004306 SOS 1689882 HAS SOPS 1689882 HAS SOUS 1363852 HAS SOUPS 1363852 WITH SCORE 1365541.882
AT ITER 63 NEW BEST:: SOT 2004524 SOS 1689396 HAS SOPS 1689396 HAS SOUS 1363469 HAS SOUPS 1363469 WITH SCORE 1365158.396
AT ITER 68 NEW BEST:: SOT 2003906 SOS 1685933 HAS SOPS 1685933 HAS SOUS 1358606 HAS SOUPS 1358606 WITH SCORE 1360291.933
AT ITER 71 NEW BEST:: SOT 2003782 SOS 1685181 HAS SOPS 1685181 HAS SOUS 1357824 HAS SOUPS 1357824 WITH SCORE 1359509.181
AT ITER 73 NEW BEST:: SOT 2003918 SOS 1682311 HAS SOPS 1682311 HAS SOUS 1354860 HAS SOUPS 1354860 WITH SCORE 1356542.311
AT ITER 74 NEW BEST:: SOT 2003606 SOS 1680811 HAS SOPS 1680811 HAS SOUS 1353656 HAS SOUPS 1353656 WITH SCORE 1355336.811
AT ITER 75 NEW BEST:: SOT 2003417 SOS 1680241 HAS SOPS 1680241 HAS SOUS 1352893 HAS SOUPS 1352893 WITH SCORE 1354573.241
AT ITER 78 NEW BEST:: SOT 2003417 SOS 1678764 HAS SOPS 1678764 HAS SOUS 1350372 HAS SOUPS 1350372 WITH SCORE 1352050.764
AT ITER 80 NEW BEST:: SOT 2003319 SOS 1678470 HAS SOPS 1678470 HAS SOUS 1350077 HAS SOUPS 1350077 WITH SCORE 1351755.47
AT ITER 81 NEW BEST:: SOT 2003074 SOS 1677400 HAS SOPS 1677400 HAS SOUS 1348806 HAS SOUPS 1348806 WITH SCORE 1350483.4
AT ITER 82 NEW BEST:: SOT 2002978 SOS 1677304 HAS SOPS 1677304 HAS SOUS 1348710 HAS SOUPS 1348710 WITH SCORE 1350387.304
AT ITER 83 NEW BEST:: SOT 2002946 SOS 1677040 HAS SOPS 1677040 HAS SOUS 1348579 HAS SOUPS 1348579 WITH SCORE 1350256.04
AT ITER 84 NEW BEST:: SOT 2003010 SOS 1674549 HAS SOPS 1674549 HAS SOUS 1347963 HAS SOUPS 1347963 WITH SCORE 1349637.549
AT ITER 85 NEW BEST:: SOT 2003859 SOS 1673725 HAS SOPS 1673725 HAS SOUS 1346428 HAS SOUPS 1346428 WITH SCORE 1348101.725
AT ITER 88 NEW BEST:: SOT 2003245 SOS 1671698 HAS SOPS 1671698 HAS SOUS 1343765 HAS SOUPS 1343765 WITH SCORE 1345436.698
AT ITER 91 NEW BEST:: SOT 2003128 SOS 1669123 HAS SOPS 1669123 HAS SOUS 1339861 HAS SOUPS 1339861 WITH SCORE 1341530.123
AT ITER 94 NEW BEST:: SOT 2002427 SOS 1668422 HAS SOPS 1668422 HAS SOUS 1339159 HAS SOUPS 1339159 WITH SCORE 1340827.422
AT ITER 95 NEW BEST:: SOT 2002329 SOS 1667346 HAS SOPS 1667346 HAS SOUS 1338229 HAS SOUPS 1338229 WITH SCORE 1339896.346
AT ITER 98 NEW BEST:: SOT 2001941 SOS 1665383 HAS SOPS 1665383 HAS SOUS 1336223 HAS SOUPS 1336223 WITH SCORE 1337888.383
AT ITER 100 NEW BEST:: SOT 2001941 SOS 1665399 HAS SOPS 1665399 HAS SOUS 1336207 HAS SOUPS 1336207 WITH SCORE 1337872.399
AT ITER 101 NEW BEST:: SOT 2001939 SOS 1665397 HAS SOPS 1665397 HAS SOUS 1336204 HAS SOUPS 1336204 WITH SCORE 1337869.397
AT ITER 103 NEW BEST:: SOT 2001939 SOS 1665342 HAS SOPS 1665342 HAS SOUS 1336149 HAS SOUPS 1336149 WITH SCORE 1337814.342
AT ITER 104 NEW BEST:: SOT 2001939 SOS 1664585 HAS SOPS 1664585 HAS SOUS 1335357 HAS SOUPS 1335357 WITH SCORE 1337021.585
AT ITER 105 NEW BEST:: SOT 2001920 SOS 1663675 HAS SOPS 1663675 HAS SOUS 1334788 HAS SOUPS 1334788 WITH SCORE 1336451.675
AT ITER 106 NEW BEST:: SOT 2001910 SOS 1659848 HAS SOPS 1659848 HAS SOUS 1332260 HAS SOUPS 1332260 WITH SCORE 1333919.848
AT ITER 110 NEW BEST:: SOT 2001726 SOS 1658161 HAS SOPS 1658161 HAS SOUS 1331958 HAS SOUPS 1331958 WITH SCORE 1333616.161
AT ITER 112 NEW BEST:: SOT 2001608 SOS 1657608 HAS SOPS 1657608 HAS SOUS 1331314 HAS SOUPS 1331314 WITH SCORE 1332971.608
AT ITER 114 NEW BEST:: SOT 2001195 SOS 1654997 HAS SOPS 1654997 HAS SOUS 1329501 HAS SOUPS 1329501 WITH SCORE 1331155.997
AT ITER 116 NEW BEST:: SOT 2001195 SOS 1654237 HAS SOPS 1654237 HAS SOUS 1328363 HAS SOUPS 1328363 WITH SCORE 1330017.237
AT ITER 118 NEW BEST:: SOT 2001193 SOS 1654235 HAS SOPS 1654235 HAS SOUS 1328361 HAS SOUPS 1328361 WITH SCORE 1330015.235
AT ITER 120 NEW BEST:: SOT 2000879 SOS 1652855 HAS SOPS 1652855 HAS SOUS 1327210 HAS SOUPS 1327210 WITH SCORE 1328862.855
AT ITER 122 NEW BEST:: SOT 2000458 SOS 1652434 HAS SOPS 1652434 HAS SOUS 1326789 HAS SOUPS 1326789 WITH SCORE 1328441.434
AT ITER 123 NEW BEST:: SOT 1999908 SOS 1649806 HAS SOPS 1649806 HAS SOUS 1325770 HAS SOUPS 1325770 WITH SCORE 1327419.806
AT ITER 124 NEW BEST:: SOT 2000507 SOS 1648695 HAS SOPS 1648695 HAS SOUS 1324324 HAS SOUPS 1324324 WITH SCORE 1325972.695
AT ITER 125 NEW BEST:: SOT 2000230 SOS 1647725 HAS SOPS 1647725 HAS SOUS 1322812 HAS SOUPS 1322812 WITH SCORE 1324459.725
AT ITER 128 NEW BEST:: SOT 2000361 SOS 1646325 HAS SOPS 1646325 HAS SOUS 1322089 HAS SOUPS 1322089 WITH SCORE 1323735.325
AT ITER 129 NEW BEST:: SOT 2000359 SOS 1646323 HAS SOPS 1646323 HAS SOUS 1322087 HAS SOUPS 1322087 WITH SCORE 1323733.323
AT ITER 131 NEW BEST:: SOT 1999282 SOS 1645246 HAS SOPS 1645246 HAS SOUS 1321010 HAS SOUPS 1321010 WITH SCORE 1322655.246
AT ITER 132 NEW BEST:: SOT 1999427 SOS 1645200 HAS SOPS 1645200 HAS SOUS 1320467 HAS SOUPS 1320467 WITH SCORE 1322112.2
AT ITER 134 NEW BEST:: SOT 1999171 SOS 1643920 HAS SOPS 1643920 HAS SOUS 1319440 HAS SOUPS 1319440 WITH SCORE 1321083.92
AT ITER 135 NEW BEST:: SOT 1998727 SOS 1641375 HAS SOPS 1641375 HAS SOUS 1317977 HAS SOUPS 1317977 WITH SCORE 1319618.375
AT ITER 136 NEW BEST:: SOT 1998840 SOS 1641090 HAS SOPS 1641090 HAS SOUS 1317686 HAS SOUPS 1317686 WITH SCORE 1319327.09
AT ITER 139 NEW BEST:: SOT 1999329 SOS 1638635 HAS SOPS 1638635 HAS SOUS 1316196 HAS SOUPS 1316196 WITH SCORE 1317834.635
AT ITER 140 NEW BEST:: SOT 1998425 SOS 1635376 HAS SOPS 1635376 HAS SOUS 1312183 HAS SOUPS 1312183 WITH SCORE 1313818.376
AT ITER 145 NEW BEST:: SOT 1999101 SOS 1633539 HAS SOPS 1633539 HAS SOUS 1310490 HAS SOUPS 1310490 WITH SCORE 1312123.539
AT ITER 151 NEW BEST:: SOT 1999042 SOS 1632466 HAS SOPS 1632466 HAS SOUS 1309192 HAS SOUPS 1309192 WITH SCORE 1310824.466
AT ITER 152 NEW BEST:: SOT 1998355 SOS 1631809 HAS SOPS 1631809 HAS SOUS 1307447 HAS SOUPS 1307447 WITH SCORE 1309078.809
AT ITER 154 NEW BEST:: SOT 1998445 SOS 1631810 HAS SOPS 1631810 HAS SOUS 1305845 HAS SOUPS 1305845 WITH SCORE 1307476.81
AT ITER 159 NEW BEST:: SOT 1998201 SOS 1631322 HAS SOPS 1631322 HAS SOUS 1305640 HAS SOUPS 1305640 WITH SCORE 1307271.322
AT ITER 160 NEW BEST:: SOT 1998201 SOS 1631322 HAS SOPS 1631322 HAS SOUS 1305506 HAS SOUPS 1305506 WITH SCORE 1307137.322
AT ITER 161 NEW BEST:: SOT 1997329 SOS 1628894 HAS SOPS 1628894 HAS SOUS 1301527 HAS SOUPS 1301527 WITH SCORE 1303155.894
AT ITER 165 NEW BEST:: SOT 1997329 SOS 1628985 HAS SOPS 1628985 HAS SOUS 1301476 HAS SOUPS 1301476 WITH SCORE 1303104.985
AT ITER 168 NEW BEST:: SOT 1997005 SOS 1628661 HAS SOPS 1628661 HAS SOUS 1301152 HAS SOUPS 1301152 WITH SCORE 1302780.661
AT ITER 181 NEW BEST:: SOT 1996245 SOS 1627901 HAS SOPS 1627901 HAS SOUS 1300489 HAS SOUPS 1300489 WITH SCORE 1302116.901
AT ITER 183 NEW BEST:: SOT 1997605 SOS 1629214 HAS SOPS 1629214 HAS SOUS 1299965 HAS SOUPS 1299965 WITH SCORE 1301594.214
AT ITER 184 NEW BEST:: SOT 1997441 SOS 1627452 HAS SOPS 1627452 HAS SOUS 1296964 HAS SOUPS 1296964 WITH SCORE 1298591.452
AT ITER 187 NEW BEST:: SOT 1996671 SOS 1623498 HAS SOPS 1623498 HAS SOUS 1293222 HAS SOUPS 1293222 WITH SCORE 1294845.498
AT ITER 191 NEW BEST:: SOT 1996651 SOS 1623435 HAS SOPS 1623435 HAS SOUS 1293155 HAS SOUPS 1293155 WITH SCORE 1294778.435
AT ITER 192 NEW BEST:: SOT 1996247 SOS 1620834 HAS SOPS 1620834 HAS SOUS 1290347 HAS SOUPS 1290347 WITH SCORE 1291967.834
AT ITER 200 NEW BEST:: SOT 1996103 SOS 1620618 HAS SOPS 1620618 HAS SOUS 1290127 HAS SOUPS 1290127 WITH SCORE 1291747.618
AT ITER 201 NEW BEST:: SOT 1995160 SOS 1619675 HAS SOPS 1619675 HAS SOUS 1289184 HAS SOUPS 1289184 WITH SCORE 1290803.675
AT ITER 202 NEW BEST:: SOT 1994701 SOS 1617176 HAS SOPS 1617176 HAS SOUS 1287533 HAS SOUPS 1287533 WITH SCORE 1289150.176
AT ITER 204 NEW BEST:: SOT 1994699 SOS 1617174 HAS SOPS 1617174 HAS SOUS 1287531 HAS SOUPS 1287531 WITH SCORE 1289148.174
AT ITER 205 NEW BEST:: SOT 1994468 SOS 1616943 HAS SOPS 1616943 HAS SOUS 1287300 HAS SOUPS 1287300 WITH SCORE 1288916.943
AT ITER 207 NEW BEST:: SOT 1993893 SOS 1615865 HAS SOPS 1615865 HAS SOUS 1286220 HAS SOUPS 1286220 WITH SCORE 1287835.865
AT ITER 208 NEW BEST:: SOT 1993669 SOS 1614690 HAS SOPS 1614690 HAS SOUS 1285713 HAS SOUPS 1285713 WITH SCORE 1287327.69
AT ITER 215 NEW BEST:: SOT 1993605 SOS 1614626 HAS SOPS 1614626 HAS SOUS 1285649 HAS SOUPS 1285649 WITH SCORE 1287263.626
AT ITER 220 NEW BEST:: SOT 1993704 SOS 1614497 HAS SOPS 1614497 HAS SOUS 1285588 HAS SOUPS 1285588 WITH SCORE 1287202.497
AT ITER 221 NEW BEST:: SOT 1993997 SOS 1614244 HAS SOPS 1614244 HAS SOUS 1285515 HAS SOUPS 1285515 WITH SCORE 1287129.244
AT ITER 223 NEW BEST:: SOT 1993997 SOS 1614322 HAS SOPS 1614322 HAS SOUS 1285437 HAS SOUPS 1285437 WITH SCORE 1287051.322
AT ITER 226 NEW BEST:: SOT 1995133 SOS 1614854 HAS SOPS 1614854 HAS SOUS 1285139 HAS SOUPS 1285139 WITH SCORE 1286753.854
AT ITER 227 NEW BEST:: SOT 1995094 SOS 1614733 HAS SOPS 1614733 HAS SOUS 1284974 HAS SOUPS 1284974 WITH SCORE 1286588.733
AT ITER 230 NEW BEST:: SOT 1995104 SOS 1614736 HAS SOPS 1614736 HAS SOUS 1284941 HAS SOUPS 1284941 WITH SCORE 1286555.736
AT ITER 233 NEW BEST:: SOT 1994933 SOS 1615103 HAS SOPS 1615103 HAS SOUS 1284317 HAS SOUPS 1284317 WITH SCORE 1285932.103
AT ITER 235 NEW BEST:: SOT 1994897 SOS 1614890 HAS SOPS 1614890 HAS SOUS 1284213 HAS SOUPS 1284213 WITH SCORE 1285827.89
AT ITER 236 NEW BEST:: SOT 1994653 SOS 1613670 HAS SOPS 1613670 HAS SOUS 1283725 HAS SOUPS 1283725 WITH SCORE 1285338.67
AT ITER 240 NEW BEST:: SOT 1995288 SOS 1611026 HAS SOPS 1611026 HAS SOUS 1281564 HAS SOUPS 1281564 WITH SCORE 1283175.026
AT ITER 241 NEW BEST:: SOT 1995117 SOS 1610855 HAS SOPS 1610855 HAS SOUS 1281393 HAS SOUPS 1281393 WITH SCORE 1283003.855
AT ITER 243 NEW BEST:: SOT 1994932 SOS 1610487 HAS SOPS 1610487 HAS SOUS 1281001 HAS SOUPS 1281001 WITH SCORE 1282611.487
AT ITER 244 NEW BEST:: SOT 1994861 SOS 1610343 HAS SOPS 1610343 HAS SOUS 1280855 HAS SOUPS 1280855 WITH SCORE 1282465.343
AT ITER 245 NEW BEST:: SOT 1994723 SOS 1609853 HAS SOPS 1609853 HAS SOUS 1280213 HAS SOUPS 1280213 WITH SCORE 1281822.853
AT ITER 249 NEW BEST:: SOT 1994453 SOS 1607515 HAS SOPS 1607515 HAS SOUS 1279780 HAS SOUPS 1279780 WITH SCORE 1281387.515
AT ITER 250 NEW BEST:: SOT 1994311 SOS 1607373 HAS SOPS 1607373 HAS SOUS 1279779 HAS SOUPS 1279779 WITH SCORE 1281386.373
AT ITER 251 NEW BEST:: SOT 1994137 SOS 1607199 HAS SOPS 1607199 HAS SOUS 1279604 HAS SOUPS 1279604 WITH SCORE 1281211.199
AT ITER 256 NEW BEST:: SOT 1993792 SOS 1605497 HAS SOPS 1605497 HAS SOUS 1279260 HAS SOUPS 1279260 WITH SCORE 1280865.497
AT ITER 257 NEW BEST:: SOT 1993612 SOS 1605317 HAS SOPS 1605317 HAS SOUS 1279080 HAS SOUPS 1279080 WITH SCORE 1280685.317
AT ITER 259 NEW BEST:: SOT 1993520 SOS 1603347 HAS SOPS 1603347 HAS SOUS 1278515 HAS SOUPS 1278515 WITH SCORE 1280118.347
AT ITER 261 NEW BEST:: SOT 1993429 SOS 1603074 HAS SOPS 1603074 HAS SOUS 1278421 HAS SOUPS 1278421 WITH SCORE 1280024.074
AT ITER 265 NEW BEST:: SOT 1993464 SOS 1602937 HAS SOPS 1602937 HAS SOUS 1276824 HAS SOUPS 1276824 WITH SCORE 1278426.937
AT ITER 271 NEW BEST:: SOT 1993538 SOS 1602705 HAS SOPS 1602705 HAS SOUS 1276590 HAS SOUPS 1276590 WITH SCORE 1278192.705
AT ITER 272 NEW BEST:: SOT 1992265 SOS 1601432 HAS SOPS 1601432 HAS SOUS 1275315 HAS SOUPS 1275315 WITH SCORE 1276916.432
AT ITER 274 NEW BEST:: SOT 1992155 SOS 1601322 HAS SOPS 1601322 HAS SOUS 1275205 HAS SOUPS 1275205 WITH SCORE 1276806.322
AT ITER 276 NEW BEST:: SOT 1993522 SOS 1600253 HAS SOPS 1600253 HAS SOUS 1274026 HAS SOUPS 1274026 WITH SCORE 1275626.253
AT ITER 278 NEW BEST:: SOT 1993676 SOS 1599927 HAS SOPS 1599927 HAS SOUS 1273964 HAS SOUPS 1273964 WITH SCORE 1275563.927
AT ITER 280 NEW BEST:: SOT 1993691 SOS 1599526 HAS SOPS 1599526 HAS SOUS 1273729 HAS SOUPS 1273729 WITH SCORE 1275328.526
AT ITER 282 NEW BEST:: SOT 1993259 SOS 1596114 HAS SOPS 1596114 HAS SOUS 1268878 HAS SOUPS 1268878 WITH SCORE 1270474.114
AT ITER 283 NEW BEST:: SOT 1993331 SOS 1596246 HAS SOPS 1596246 HAS SOUS 1268560 HAS SOUPS 1268560 WITH SCORE 1270156.246
AT ITER 286 NEW BEST:: SOT 1992950 SOS 1595865 HAS SOPS 1595865 HAS SOUS 1268560 HAS SOUPS 1268560 WITH SCORE 1270155.865
AT ITER 295 NEW BEST:: SOT 1992474 SOS 1592250 HAS SOPS 1592250 HAS SOUS 1266936 HAS SOUPS 1266936 WITH SCORE 1268528.25
AT ITER 296 NEW BEST:: SOT 1992309 SOS 1592103 HAS SOPS 1592103 HAS SOUS 1266807 HAS SOUPS 1266807 WITH SCORE 1268399.103
AT ITER 298 NEW BEST:: SOT 1992928 SOS 1591341 HAS SOPS 1591341 HAS SOUS 1266464 HAS SOUPS 1266464 WITH SCORE 1268055.341
AT ITER 300 NEW BEST:: SOT 1992145 SOS 1589988 HAS SOPS 1589988 HAS SOUS 1265111 HAS SOUPS 1265111 WITH SCORE 1266700.988
AT ITER 302 NEW BEST:: SOT 1991875 SOS 1588883 HAS SOPS 1588883 HAS SOUS 1263362 HAS SOUPS 1263362 WITH SCORE 1264950.883
AT ITER 303 NEW BEST:: SOT 1991718 SOS 1588284 HAS SOPS 1588284 HAS SOUS 1263231 HAS SOUPS 1263231 WITH SCORE 1264819.284
AT ITER 304 NEW BEST:: SOT 1992011 SOS 1587427 HAS SOPS 1587427 HAS SOUS 1262163 HAS SOUPS 1262163 WITH SCORE 1263750.427
AT ITER 307 NEW BEST:: SOT 1991860 SOS 1587276 HAS SOPS 1587276 HAS SOUS 1262009 HAS SOUPS 1262009 WITH SCORE 1263596.276
AT ITER 308 NEW BEST:: SOT 1991898 SOS 1584834 HAS SOPS 1584834 HAS SOUS 1261904 HAS SOUPS 1261904 WITH SCORE 1263488.834
AT ITER 311 NEW BEST:: SOT 1991898 SOS 1584319 HAS SOPS 1584319 HAS SOUS 1260873 HAS SOUPS 1260873 WITH SCORE 1262457.319
AT ITER 312 NEW BEST:: SOT 1991339 SOS 1584381 HAS SOPS 1584381 HAS SOUS 1260595 HAS SOUPS 1260595 WITH SCORE 1262179.381
AT ITER 313 NEW BEST:: SOT 1990262 SOS 1580885 HAS SOPS 1580885 HAS SOUS 1256607 HAS SOUPS 1256607 WITH SCORE 1258187.885
AT ITER 318 NEW BEST:: SOT 1990260 SOS 1580883 HAS SOPS 1580883 HAS SOUS 1256605 HAS SOUPS 1256605 WITH SCORE 1258185.883
AT ITER 323 NEW BEST:: SOT 1990066 SOS 1580689 HAS SOPS 1580689 HAS SOUS 1256411 HAS SOUPS 1256411 WITH SCORE 1257991.689
AT ITER 324 NEW BEST:: SOT 1989502 SOS 1580125 HAS SOPS 1580125 HAS SOUS 1255841 HAS SOUPS 1255841 WITH SCORE 1257421.125
AT ITER 325 NEW BEST:: SOT 1989246 SOS 1579869 HAS SOPS 1579869 HAS SOUS 1255841 HAS SOUPS 1255841 WITH SCORE 1257420.869
AT ITER 330 NEW BEST:: SOT 1989246 SOS 1579869 HAS SOPS 1579869 HAS SOUS 1255837 HAS SOUPS 1255837 WITH SCORE 1257416.869
AT ITER 332 NEW BEST:: SOT 1989154 SOS 1579685 HAS SOPS 1579685 HAS SOUS 1255377 HAS SOUPS 1255377 WITH SCORE 1256956.685
AT ITER 335 NEW BEST:: SOT 1987602 SOS 1577933 HAS SOPS 1577933 HAS SOUS 1253624 HAS SOUPS 1253624 WITH SCORE 1255201.933
AT ITER 336 NEW BEST:: SOT 1987220 SOS 1577346 HAS SOPS 1577346 HAS SOUS 1253037 HAS SOUPS 1253037 WITH SCORE 1254614.346
AT ITER 340 NEW BEST:: SOT 1986776 SOS 1574723 HAS SOPS 1574723 HAS SOUS 1251537 HAS SOUPS 1251537 WITH SCORE 1253111.723
AT ITER 345 NEW BEST:: SOT 1985852 SOS 1573799 HAS SOPS 1573799 HAS SOUS 1250722 HAS SOUPS 1250722 WITH SCORE 1252295.799
AT ITER 349 NEW BEST:: SOT 1985665 SOS 1573051 HAS SOPS 1573051 HAS SOUS 1249600 HAS SOUPS 1249600 WITH SCORE 1251173.051
AT ITER 350 NEW BEST:: SOT 1986053 SOS 1573468 HAS SOPS 1573468 HAS SOUS 1249011 HAS SOUPS 1249011 WITH SCORE 1250584.468
AT ITER 357 NEW BEST:: SOT 1985145 SOS 1572596 HAS SOPS 1572596 HAS SOUS 1248130 HAS SOUPS 1248130 WITH SCORE 1249702.596
AT ITER 359 NEW BEST:: SOT 1984881 SOS 1572316 HAS SOPS 1572316 HAS SOUS 1248102 HAS SOUPS 1248102 WITH SCORE 1249674.316
AT ITER 364 NEW BEST:: SOT 1984881 SOS 1571615 HAS SOPS 1571615 HAS SOUS 1247291 HAS SOUPS 1247291 WITH SCORE 1248862.615
AT ITER 367 NEW BEST:: SOT 1984714 SOS 1571448 HAS SOPS 1571448 HAS SOUS 1247124 HAS SOUPS 1247124 WITH SCORE 1248695.448
AT ITER 369 NEW BEST:: SOT 1984457 SOS 1570936 HAS SOPS 1570936 HAS SOUS 1246538 HAS SOUPS 1246538 WITH SCORE 1248108.936
AT ITER 372 NEW BEST:: SOT 1983675 SOS 1570542 HAS SOPS 1570542 HAS SOUS 1246144 HAS SOUPS 1246144 WITH SCORE 1247714.542
AT ITER 374 NEW BEST:: SOT 1983579 SOS 1570443 HAS SOPS 1570443 HAS SOUS 1246042 HAS SOUPS 1246042 WITH SCORE 1247612.443
AT ITER 375 NEW BEST:: SOT 1983836 SOS 1569388 HAS SOPS 1569388 HAS SOUS 1245646 HAS SOUPS 1245646 WITH SCORE 1247215.388
AT ITER 379 NEW BEST:: SOT 1983931 SOS 1567028 HAS SOPS 1567028 HAS SOUS 1242068 HAS SOUPS 1242068 WITH SCORE 1243635.028
AT ITER 382 NEW BEST:: SOT 1982736 SOS 1565483 HAS SOPS 1565483 HAS SOUS 1240173 HAS SOUPS 1240173 WITH SCORE 1241738.483
AT ITER 383 NEW BEST:: SOT 1981786 SOS 1564271 HAS SOPS 1564271 HAS SOUS 1238957 HAS SOUPS 1238957 WITH SCORE 1240521.271
AT ITER 385 NEW BEST:: SOT 1982463 SOS 1563680 HAS SOPS 1563680 HAS SOUS 1237709 HAS SOUPS 1237709 WITH SCORE 1239272.68
AT ITER 386 NEW BEST:: SOT 1982602 SOS 1563400 HAS SOPS 1563400 HAS SOUS 1237708 HAS SOUPS 1237708 WITH SCORE 1239271.4
AT ITER 387 NEW BEST:: SOT 1981825 SOS 1562623 HAS SOPS 1562623 HAS SOUS 1236674 HAS SOUPS 1236674 WITH SCORE 1238236.623
AT ITER 394 NEW BEST:: SOT 1981896 SOS 1561852 HAS SOPS 1561852 HAS SOUS 1236669 HAS SOUPS 1236669 WITH SCORE 1238230.852
AT ITER 398 NEW BEST:: SOT 1981896 SOS 1561401 HAS SOPS 1561401 HAS SOUS 1235751 HAS SOUPS 1235751 WITH SCORE 1237312.401
AT ITER 399 NEW BEST:: SOT 1981969 SOS 1558949 HAS SOPS 1558949 HAS SOUS 1235367 HAS SOUPS 1235367 WITH SCORE 1236925.949
AT ITER 401 NEW BEST:: SOT 1981372 SOS 1558352 HAS SOPS 1558352 HAS SOUS 1234764 HAS SOUPS 1234764 WITH SCORE 1236322.352
AT ITER 403 NEW BEST:: SOT 1981486 SOS 1558466 HAS SOPS 1558466 HAS SOUS 1234588 HAS SOUPS 1234588 WITH SCORE 1236146.466
AT ITER 407 NEW BEST:: SOT 1980920 SOS 1557900 HAS SOPS 1557900 HAS SOUS 1234022 HAS SOUPS 1234022 WITH SCORE 1235579.9
AT ITER 411 NEW BEST:: SOT 1980579 SOS 1555477 HAS SOPS 1555477 HAS SOUS 1232254 HAS SOUPS 1232254 WITH SCORE 1233809.477
AT ITER 412 NEW BEST:: SOT 1980579 SOS 1555331 HAS SOPS 1555331 HAS SOUS 1231618 HAS SOUPS 1231618 WITH SCORE 1233173.331
AT ITER 415 NEW BEST:: SOT 1980318 SOS 1555070 HAS SOPS 1555070 HAS SOUS 1231357 HAS SOUPS 1231357 WITH SCORE 1232912.07
AT ITER 416 NEW BEST:: SOT 1980274 SOS 1554516 HAS SOPS 1554516 HAS SOUS 1230799 HAS SOUPS 1230799 WITH SCORE 1232353.516
AT ITER 419 NEW BEST:: SOT 1980240 SOS 1554482 HAS SOPS 1554482 HAS SOUS 1230765 HAS SOUPS 1230765 WITH SCORE 1232319.482
AT ITER 420 NEW BEST:: SOT 1979357 SOS 1552615 HAS SOPS 1552615 HAS SOUS 1229235 HAS SOUPS 1229235 WITH SCORE 1230787.615
AT ITER 421 NEW BEST:: SOT 1979438 SOS 1551309 HAS SOPS 1551309 HAS SOUS 1228673 HAS SOUPS 1228673 WITH SCORE 1230224.309
AT ITER 431 NEW BEST:: SOT 1979438 SOS 1551349 HAS SOPS 1551349 HAS SOUS 1228417 HAS SOUPS 1228417 WITH SCORE 1229968.349
AT ITER 432 NEW BEST:: SOT 1979438 SOS 1549891 HAS SOPS 1549891 HAS SOUS 1227447 HAS SOUPS 1227447 WITH SCORE 1228996.891
AT ITER 438 NEW BEST:: SOT 1979438 SOS 1549779 HAS SOPS 1549779 HAS SOUS 1227447 HAS SOUPS 1227447 WITH SCORE 1228996.779
AT ITER 439 NEW BEST:: SOT 1979054 SOS 1549395 HAS SOPS 1549395 HAS SOUS 1227063 HAS SOUPS 1227063 WITH SCORE 1228612.395
AT ITER 440 NEW BEST:: SOT 1978631 SOS 1547753 HAS SOPS 1547753 HAS SOUS 1224895 HAS SOUPS 1224895 WITH SCORE 1226442.753
AT ITER 441 NEW BEST:: SOT 1979089 SOS 1547531 HAS SOPS 1547531 HAS SOUS 1223796 HAS SOUPS 1223796 WITH SCORE 1225343.531
AT ITER 443 NEW BEST:: SOT 1979261 SOS 1547050 HAS SOPS 1547050 HAS SOUS 1223675 HAS SOUPS 1223675 WITH SCORE 1225222.05
AT ITER 446 NEW BEST:: SOT 1979196 SOS 1546985 HAS SOPS 1546985 HAS SOUS 1223610 HAS SOUPS 1223610 WITH SCORE 1225156.985
AT ITER 447 NEW BEST:: SOT 1979268 SOS 1547610 HAS SOPS 1547610 HAS SOUS 1223468 HAS SOUPS 1223468 WITH SCORE 1225015.61
AT ITER 448 NEW BEST:: SOT 1979268 SOS 1548179 HAS SOPS 1548179 HAS SOUS 1222891 HAS SOUPS 1222891 WITH SCORE 1224439.179
AT ITER 449 NEW BEST:: SOT 1978670 SOS 1546580 HAS SOPS 1546580 HAS SOUS 1220905 HAS SOUPS 1220905 WITH SCORE 1222451.58
AT ITER 450 NEW BEST:: SOT 1978670 SOS 1543500 HAS SOPS 1543500 HAS SOUS 1220814 HAS SOUPS 1220814 WITH SCORE 1222357.5
AT ITER 453 NEW BEST:: SOT 1977927 SOS 1541403 HAS SOPS 1541403 HAS SOUS 1217574 HAS SOUPS 1217574 WITH SCORE 1219115.403
AT ITER 456 NEW BEST:: SOT 1977657 SOS 1540751 HAS SOPS 1540751 HAS SOUS 1216922 HAS SOUPS 1216922 WITH SCORE 1218462.751
AT ITER 462 NEW BEST:: SOT 1977657 SOS 1537944 HAS SOPS 1537944 HAS SOUS 1212523 HAS SOUPS 1212523 WITH SCORE 1214060.944
AT ITER 464 NEW BEST:: SOT 1976868 SOS 1537155 HAS SOPS 1537155 HAS SOUS 1211733 HAS SOUPS 1211733 WITH SCORE 1213270.155
AT ITER 465 NEW BEST:: SOT 1976868 SOS 1537161 HAS SOPS 1537161 HAS SOUS 1211725 HAS SOUPS 1211725 WITH SCORE 1213262.161
AT ITER 470 NEW BEST:: SOT 1976868 SOS 1536969 HAS SOPS 1536969 HAS SOUS 1211546 HAS SOUPS 1211546 WITH SCORE 1213082.969
AT ITER 474 NEW BEST:: SOT 1976374 SOS 1536512 HAS SOPS 1536512 HAS SOUS 1211172 HAS SOUPS 1211172 WITH SCORE 1212708.512
AT ITER 476 NEW BEST:: SOT 1976316 SOS 1536425 HAS SOPS 1536425 HAS SOUS 1211081 HAS SOUPS 1211081 WITH SCORE 1212617.425
AT ITER 478 NEW BEST:: SOT 1975548 SOS 1534923 HAS SOPS 1534923 HAS SOUS 1209668 HAS SOUPS 1209668 WITH SCORE 1211202.923
AT ITER 480 NEW BEST:: SOT 1974872 SOS 1534236 HAS SOPS 1534236 HAS SOUS 1208942 HAS SOUPS 1208942 WITH SCORE 1210476.236
AT ITER 481 NEW BEST:: SOT 1974301 SOS 1533665 HAS SOPS 1533665 HAS SOUS 1208370 HAS SOUPS 1208370 WITH SCORE 1209903.665
AT ITER 483 NEW BEST:: SOT 1974301 SOS 1533442 HAS SOPS 1533442 HAS SOUS 1208134 HAS SOUPS 1208134 WITH SCORE 1209667.442
AT ITER 484 NEW BEST:: SOT 1974301 SOS 1533093 HAS SOPS 1533093 HAS SOUS 1206990 HAS SOUPS 1206990 WITH SCORE 1208523.093
AT ITER 487 NEW BEST:: SOT 1974301 SOS 1533153 HAS SOPS 1533153 HAS SOUS 1206944 HAS SOUPS 1206944 WITH SCORE 1208477.153
AT ITER 491 NEW BEST:: SOT 1972774 SOS 1532511 HAS SOPS 1532511 HAS SOUS 1206832 HAS SOUPS 1206832 WITH SCORE 1208364.511
AT ITER 493 NEW BEST:: SOT 1971667 SOS 1531404 HAS SOPS 1531404 HAS SOUS 1205725 HAS SOUPS 1205725 WITH SCORE 1207256.404
AT ITER 496 NEW BEST:: SOT 1971527 SOS 1531264 HAS SOPS 1531264 HAS SOUS 1205586 HAS SOUPS 1205586 WITH SCORE 1207117.264
AT ITER 497 NEW BEST:: SOT 1971229 SOS 1529727 HAS SOPS 1529727 HAS SOUS 1204289 HAS SOUPS 1204289 WITH SCORE 1205818.727
AT ITER 505 NEW BEST:: SOT 1970956 SOS 1527411 HAS SOPS 1527411 HAS SOUS 1203825 HAS SOUPS 1203825 WITH SCORE 1205352.411
AT ITER 507 NEW BEST:: SOT 1971011 SOS 1526836 HAS SOPS 1526836 HAS SOUS 1202626 HAS SOUPS 1202626 WITH SCORE 1204152.836
AT ITER 508 NEW BEST:: SOT 1970617 SOS 1526498 HAS SOPS 1526498 HAS SOUS 1202516 HAS SOUPS 1202516 WITH SCORE 1204042.498
AT ITER 509 NEW BEST:: SOT 1970617 SOS 1527217 HAS SOPS 1527217 HAS SOUS 1202218 HAS SOUPS 1202218 WITH SCORE 1203745.217
AT ITER 511 NEW BEST:: SOT 1970328 SOS 1526928 HAS SOPS 1526928 HAS SOUS 1201929 HAS SOUPS 1201929 WITH SCORE 1203455.928
AT ITER 516 NEW BEST:: SOT 1970092 SOS 1525336 HAS SOPS 1525336 HAS SOUS 1200177 HAS SOUPS 1200177 WITH SCORE 1201702.336
AT ITER 517 NEW BEST:: SOT 1970092 SOS 1525119 HAS SOPS 1525119 HAS SOUS 1200160 HAS SOUPS 1200160 WITH SCORE 1201685.119
AT ITER 518 NEW BEST:: SOT 1970092 SOS 1525079 HAS SOPS 1525079 HAS SOUS 1199923 HAS SOUPS 1199923 WITH SCORE 1201448.079
AT ITER 521 NEW BEST:: SOT 1970610 SOS 1525686 HAS SOPS 1525686 HAS SOUS 1199377 HAS SOUPS 1199377 WITH SCORE 1200902.686
AT ITER 529 NEW BEST:: SOT 1971534 SOS 1525866 HAS SOPS 1525866 HAS SOUS 1199317 HAS SOUPS 1199317 WITH SCORE 1200842.866
AT ITER 532 NEW BEST:: SOT 1971322 SOS 1524223 HAS SOPS 1524223 HAS SOUS 1198845 HAS SOUPS 1198845 WITH SCORE 1200369.223
AT ITER 533 NEW BEST:: SOT 1970953 SOS 1523430 HAS SOPS 1523430 HAS SOUS 1198052 HAS SOUPS 1198052 WITH SCORE 1199575.43
AT ITER 535 NEW BEST:: SOT 1970791 SOS 1523268 HAS SOPS 1523268 HAS SOUS 1197889 HAS SOUPS 1197889 WITH SCORE 1199412.268
AT ITER 536 NEW BEST:: SOT 1970519 SOS 1522270 HAS SOPS 1522270 HAS SOUS 1197736 HAS SOUPS 1197736 WITH SCORE 1199258.27
AT ITER 539 NEW BEST:: SOT 1970466 SOS 1522106 HAS SOPS 1522106 HAS SOUS 1197152 HAS SOUPS 1197152 WITH SCORE 1198674.106
AT ITER 542 NEW BEST:: SOT 1970201 SOS 1521841 HAS SOPS 1521841 HAS SOUS 1196887 HAS SOUPS 1196887 WITH SCORE 1198408.841
AT ITER 546 NEW BEST:: SOT 1970201 SOS 1520471 HAS SOPS 1520471 HAS SOUS 1196521 HAS SOUPS 1196521 WITH SCORE 1198041.471
AT ITER 547 NEW BEST:: SOT 1969973 SOS 1520017 HAS SOPS 1520017 HAS SOUS 1194653 HAS SOUPS 1194653 WITH SCORE 1196173.017
AT ITER 548 NEW BEST:: SOT 1970890 SOS 1519323 HAS SOPS 1519323 HAS SOUS 1193589 HAS SOUPS 1193589 WITH SCORE 1195108.323
AT ITER 554 NEW BEST:: SOT 1970890 SOS 1519050 HAS SOPS 1519050 HAS SOUS 1193481 HAS SOUPS 1193481 WITH SCORE 1195000.05
AT ITER 556 NEW BEST:: SOT 1970104 SOS 1518264 HAS SOPS 1518264 HAS SOUS 1192695 HAS SOUPS 1192695 WITH SCORE 1194213.264
AT ITER 557 NEW BEST:: SOT 1970103 SOS 1517324 HAS SOPS 1517324 HAS SOUS 1192311 HAS SOUPS 1192311 WITH SCORE 1193828.324
AT ITER 560 NEW BEST:: SOT 1971829 SOS 1516421 HAS SOPS 1516421 HAS SOUS 1191328 HAS SOUPS 1191328 WITH SCORE 1192844.421
AT ITER 561 NEW BEST:: SOT 1971492 SOS 1514637 HAS SOPS 1514637 HAS SOUS 1190070 HAS SOUPS 1190070 WITH SCORE 1191584.637
AT ITER 568 NEW BEST:: SOT 1970430 SOS 1513542 HAS SOPS 1513542 HAS SOUS 1188971 HAS SOUPS 1188971 WITH SCORE 1190484.542
AT ITER 570 NEW BEST:: SOT 1970337 SOS 1512798 HAS SOPS 1512798 HAS SOUS 1188785 HAS SOUPS 1188785 WITH SCORE 1190297.798
AT ITER 571 NEW BEST:: SOT 1970162 SOS 1512448 HAS SOPS 1512448 HAS SOUS 1188601 HAS SOUPS 1188601 WITH SCORE 1190113.448
AT ITER 572 NEW BEST:: SOT 1969880 SOS 1512285 HAS SOPS 1512285 HAS SOUS 1188422 HAS SOUPS 1188422 WITH SCORE 1189934.285
AT ITER 575 NEW BEST:: SOT 1969689 SOS 1511805 HAS SOPS 1511805 HAS SOUS 1188352 HAS SOUPS 1188352 WITH SCORE 1189863.805
AT ITER 576 NEW BEST:: SOT 1969540 SOS 1511656 HAS SOPS 1511656 HAS SOUS 1188203 HAS SOUPS 1188203 WITH SCORE 1189714.656
AT ITER 577 NEW BEST:: SOT 1969123 SOS 1510916 HAS SOPS 1510916 HAS SOUS 1187459 HAS SOUPS 1187459 WITH SCORE 1188969.916
AT ITER 580 NEW BEST:: SOT 1969308 SOS 1511031 HAS SOPS 1511031 HAS SOUS 1187370 HAS SOUPS 1187370 WITH SCORE 1188881.031
AT ITER 586 NEW BEST:: SOT 1968081 SOS 1509539 HAS SOPS 1509539 HAS SOUS 1185878 HAS SOUPS 1185878 WITH SCORE 1187387.539
AT ITER 588 NEW BEST:: SOT 1967841 SOS 1508559 HAS SOPS 1508559 HAS SOUS 1185150 HAS SOUPS 1185150 WITH SCORE 1186658.559
AT ITER 592 NEW BEST:: SOT 1967508 SOS 1506867 HAS SOPS 1506867 HAS SOUS 1183426 HAS SOUPS 1183426 WITH SCORE 1184932.867
AT ITER 597 NEW BEST:: SOT 1967495 SOS 1506895 HAS SOPS 1506895 HAS SOUS 1183369 HAS SOUPS 1183369 WITH SCORE 1184875.895
AT ITER 598 NEW BEST:: SOT 1967495 SOS 1506661 HAS SOPS 1506661 HAS SOUS 1182426 HAS SOUPS 1182426 WITH SCORE 1183932.661
AT ITER 600 NEW BEST:: SOT 1967875 SOS 1506380 HAS SOPS 1506380 HAS SOUS 1181883 HAS SOUPS 1181883 WITH SCORE 1183389.38
AT ITER 602 NEW BEST:: SOT 1967839 SOS 1506308 HAS SOPS 1506308 HAS SOUS 1181738 HAS SOUPS 1181738 WITH SCORE 1183244.308
AT ITER 609 NEW BEST:: SOT 1967835 SOS 1506304 HAS SOPS 1506304 HAS SOUS 1181734 HAS SOUPS 1181734 WITH SCORE 1183240.304
AT ITER 610 NEW BEST:: SOT 1966195 SOS 1504664 HAS SOPS 1504664 HAS SOUS 1180093 HAS SOUPS 1180093 WITH SCORE 1181597.664
AT ITER 615 NEW BEST:: SOT 1965493 SOS 1503962 HAS SOPS 1503962 HAS SOUS 1179387 HAS SOUPS 1179387 WITH SCORE 1180890.962
AT ITER 618 NEW BEST:: SOT 1965735 SOS 1502316 HAS SOPS 1502316 HAS SOUS 1177369 HAS SOUPS 1177369 WITH SCORE 1178871.316
AT ITER 619 NEW BEST:: SOT 1965655 SOS 1502236 HAS SOPS 1502236 HAS SOUS 1177289 HAS SOUPS 1177289 WITH SCORE 1178791.236
AT ITER 622 NEW BEST:: SOT 1966069 SOS 1502392 HAS SOPS 1502392 HAS SOUS 1177192 HAS SOUPS 1177192 WITH SCORE 1178694.392
AT ITER 625 NEW BEST:: SOT 1965958 SOS 1500995 HAS SOPS 1500995 HAS SOUS 1176897 HAS SOUPS 1176897 WITH SCORE 1178397.995
AT ITER 627 NEW BEST:: SOT 1965958 SOS 1500792 HAS SOPS 1500792 HAS SOUS 1176508 HAS SOUPS 1176508 WITH SCORE 1178008.792
AT ITER 628 NEW BEST:: SOT 1965757 SOS 1500591 HAS SOPS 1500591 HAS SOUS 1176307 HAS SOUPS 1176307 WITH SCORE 1177807.591
AT ITER 633 NEW BEST:: SOT 1965034 SOS 1499611 HAS SOPS 1499611 HAS SOUS 1175323 HAS SOUPS 1175323 WITH SCORE 1176822.611
AT ITER 640 NEW BEST:: SOT 1965075 SOS 1499652 HAS SOPS 1499652 HAS SOUS 1175276 HAS SOUPS 1175276 WITH SCORE 1176775.652
AT ITER 643 NEW BEST:: SOT 1965007 SOS 1499448 HAS SOPS 1499448 HAS SOUS 1175275 HAS SOUPS 1175275 WITH SCORE 1176774.448
AT ITER 644 NEW BEST:: SOT 1965676 SOS 1497472 HAS SOPS 1497472 HAS SOUS 1174453 HAS SOUPS 1174453 WITH SCORE 1175950.472
AT ITER 650 NEW BEST:: SOT 1965675 SOS 1497471 HAS SOPS 1497471 HAS SOUS 1174452 HAS SOUPS 1174452 WITH SCORE 1175949.471
AT ITER 652 NEW BEST:: SOT 1965523 SOS 1497169 HAS SOPS 1497169 HAS SOUS 1174150 HAS SOUPS 1174150 WITH SCORE 1175647.169
AT ITER 660 NEW BEST:: SOT 1965332 SOS 1495323 HAS SOPS 1495323 HAS SOUS 1173641 HAS SOUPS 1173641 WITH SCORE 1175136.323
AT ITER 661 NEW BEST:: SOT 1965247 SOS 1494809 HAS SOPS 1494809 HAS SOUS 1173145 HAS SOUPS 1173145 WITH SCORE 1174639.809
AT ITER 665 NEW BEST:: SOT 1965196 SOS 1494707 HAS SOPS 1494707 HAS SOUS 1173039 HAS SOUPS 1173039 WITH SCORE 1174533.707
AT ITER 670 NEW BEST:: SOT 1965196 SOS 1494034 HAS SOPS 1494034 HAS SOUS 1171633 HAS SOUPS 1171633 WITH SCORE 1173127.034
AT ITER 671 NEW BEST:: SOT 1964824 SOS 1493662 HAS SOPS 1493662 HAS SOUS 1171259 HAS SOUPS 1171259 WITH SCORE 1172752.662
AT ITER 673 NEW BEST:: SOT 1964764 SOS 1493371 HAS SOPS 1493371 HAS SOUS 1170931 HAS SOUPS 1170931 WITH SCORE 1172424.371
AT ITER 675 NEW BEST:: SOT 1964764 SOS 1493247 HAS SOPS 1493247 HAS SOUS 1170845 HAS SOUPS 1170845 WITH SCORE 1172338.247
AT ITER 683 NEW BEST:: SOT 1963894 SOS 1492087 HAS SOPS 1492087 HAS SOUS 1168989 HAS SOUPS 1168989 WITH SCORE 1170481.087
AT ITER 684 NEW BEST:: SOT 1964128 SOS 1489711 HAS SOPS 1489711 HAS SOUS 1167649 HAS SOUPS 1167649 WITH SCORE 1169138.711
AT ITER 688 NEW BEST:: SOT 1964200 SOS 1488840 HAS SOPS 1488840 HAS SOUS 1167337 HAS SOUPS 1167337 WITH SCORE 1168825.84
AT ITER 692 NEW BEST:: SOT 1963985 SOS 1488625 HAS SOPS 1488625 HAS SOUS 1167122 HAS SOUPS 1167122 WITH SCORE 1168610.625
AT ITER 694 NEW BEST:: SOT 1963851 SOS 1487413 HAS SOPS 1487413 HAS SOUS 1167103 HAS SOUPS 1167103 WITH SCORE 1168590.413
AT ITER 695 NEW BEST:: SOT 1963462 SOS 1487024 HAS SOPS 1487024 HAS SOUS 1166712 HAS SOUPS 1166712 WITH SCORE 1168199.024
AT ITER 698 NEW BEST:: SOT 1963322 SOS 1486884 HAS SOPS 1486884 HAS SOUS 1166572 HAS SOUPS 1166572 WITH SCORE 1168058.884
AT ITER 702 NEW BEST:: SOT 1963320 SOS 1486159 HAS SOPS 1486159 HAS SOUS 1166556 HAS SOUPS 1166556 WITH SCORE 1168042.159
AT ITER 703 NEW BEST:: SOT 1963165 SOS 1485831 HAS SOPS 1485831 HAS SOUS 1164916 HAS SOUPS 1164916 WITH SCORE 1166401.831
AT ITER 704 NEW BEST:: SOT 1963234 SOS 1485794 HAS SOPS 1485794 HAS SOUS 1164879 HAS SOUPS 1164879 WITH SCORE 1166364.794
AT ITER 706 NEW BEST:: SOT 1962954 SOS 1485234 HAS SOPS 1485234 HAS SOUS 1163479 HAS SOUPS 1163479 WITH SCORE 1164964.234
AT ITER 707 NEW BEST:: SOT 1962926 SOS 1485178 HAS SOPS 1485178 HAS SOUS 1163469 HAS SOUPS 1163469 WITH SCORE 1164954.178
AT ITER 708 NEW BEST:: SOT 1962528 SOS 1484382 HAS SOPS 1484382 HAS SOUS 1161871 HAS SOUPS 1161871 WITH SCORE 1163355.382
AT ITER 710 NEW BEST:: SOT 1962364 SOS 1484218 HAS SOPS 1484218 HAS SOUS 1161707 HAS SOUPS 1161707 WITH SCORE 1163191.218
AT ITER 717 NEW BEST:: SOT 1963297 SOS 1482638 HAS SOPS 1482638 HAS SOUS 1161620 HAS SOUPS 1161620 WITH SCORE 1163102.638
AT ITER 727 NEW BEST:: SOT 1963049 SOS 1482390 HAS SOPS 1482390 HAS SOUS 1161369 HAS SOUPS 1161369 WITH SCORE 1162851.39
AT ITER 733 NEW BEST:: SOT 1963521 SOS 1482759 HAS SOPS 1482759 HAS SOUS 1161287 HAS SOUPS 1161287 WITH SCORE 1162769.759
AT ITER 734 NEW BEST:: SOT 1963437 SOS 1482573 HAS SOPS 1482573 HAS SOUS 1161101 HAS SOUPS 1161101 WITH SCORE 1162583.573
AT ITER 738 NEW BEST:: SOT 1962996 SOS 1480475 HAS SOPS 1480475 HAS SOUS 1160053 HAS SOUPS 1160053 WITH SCORE 1161533.475
AT ITER 746 NEW BEST:: SOT 1962730 SOS 1480209 HAS SOPS 1480209 HAS SOUS 1159785 HAS SOUPS 1159785 WITH SCORE 1161265.209
AT ITER 747 NEW BEST:: SOT 1962476 SOS 1479955 HAS SOPS 1479955 HAS SOUS 1159531 HAS SOUPS 1159531 WITH SCORE 1161010.955
AT ITER 749 NEW BEST:: SOT 1961021 SOS 1474650 HAS SOPS 1474650 HAS SOUS 1155022 HAS SOUPS 1155022 WITH SCORE 1156496.65
AT ITER 764 NEW BEST:: SOT 1959906 SOS 1472983 HAS SOPS 1472983 HAS SOUS 1153357 HAS SOUPS 1153357 WITH SCORE 1154829.983
AT ITER 768 NEW BEST:: SOT 1960204 SOS 1473404 HAS SOPS 1473404 HAS SOUS 1152666 HAS SOUPS 1152666 WITH SCORE 1154139.404
AT ITER 770 NEW BEST:: SOT 1960204 SOS 1473404 HAS SOPS 1473404 HAS SOUS 1152656 HAS SOUPS 1152656 WITH SCORE 1154129.404
AT ITER 780 NEW BEST:: SOT 1960139 SOS 1473339 HAS SOPS 1473339 HAS SOUS 1152591 HAS SOUPS 1152591 WITH SCORE 1154064.339
AT ITER 784 NEW BEST:: SOT 1959778 SOS 1472978 HAS SOPS 1472978 HAS SOUS 1152230 HAS SOUPS 1152230 WITH SCORE 1153702.978
AT ITER 785 NEW BEST:: SOT 1958417 SOS 1471639 HAS SOPS 1471639 HAS SOUS 1150935 HAS SOUPS 1150935 WITH SCORE 1152406.639
AT ITER 787 NEW BEST:: SOT 1958399 SOS 1467874 HAS SOPS 1467874 HAS SOUS 1148862 HAS SOUPS 1148862 WITH SCORE 1150329.874
AT ITER 791 NEW BEST:: SOT 1958062 SOS 1467537 HAS SOPS 1467537 HAS SOUS 1148525 HAS SOUPS 1148525 WITH SCORE 1149992.537
AT ITER 794 NEW BEST:: SOT 1956970 SOS 1466445 HAS SOPS 1466445 HAS SOUS 1147433 HAS SOUPS 1147433 WITH SCORE 1148899.445
AT ITER 797 NEW BEST:: SOT 1957043 SOS 1466081 HAS SOPS 1466081 HAS SOUS 1147427 HAS SOUPS 1147427 WITH SCORE 1148893.081
AT ITER 800 NEW BEST:: SOT 1956933 SOS 1465383 HAS SOPS 1465383 HAS SOUS 1147088 HAS SOUPS 1147088 WITH SCORE 1148553.383
AT ITER 803 NEW BEST:: SOT 1956822 SOS 1465159 HAS SOPS 1465159 HAS SOUS 1146862 HAS SOUPS 1146862 WITH SCORE 1148327.159
AT ITER 807 NEW BEST:: SOT 1956583 SOS 1464852 HAS SOPS 1464852 HAS SOUS 1146499 HAS SOUPS 1146499 WITH SCORE 1147963.852
AT ITER 812 NEW BEST:: SOT 1956583 SOS 1464712 HAS SOPS 1464712 HAS SOUS 1145799 HAS SOUPS 1145799 WITH SCORE 1147263.712
AT ITER 814 NEW BEST:: SOT 1955840 SOS 1463969 HAS SOPS 1463969 HAS SOUS 1145056 HAS SOUPS 1145056 WITH SCORE 1146519.969
AT ITER 817 NEW BEST:: SOT 1955747 SOS 1463336 HAS SOPS 1463336 HAS SOUS 1144352 HAS SOUPS 1144352 WITH SCORE 1145815.336
AT ITER 820 NEW BEST:: SOT 1955337 SOS 1460550 HAS SOPS 1460550 HAS SOUS 1142628 HAS SOUPS 1142628 WITH SCORE 1144088.55
AT ITER 822 NEW BEST:: SOT 1954965 SOS 1460178 HAS SOPS 1460178 HAS SOUS 1142210 HAS SOUPS 1142210 WITH SCORE 1143670.178
AT ITER 823 NEW BEST:: SOT 1955147 SOS 1459995 HAS SOPS 1459995 HAS SOUS 1142090 HAS SOUPS 1142090 WITH SCORE 1143549.995
AT ITER 829 NEW BEST:: SOT 1954188 SOS 1458756 HAS SOPS 1458756 HAS SOUS 1140851 HAS SOUPS 1140851 WITH SCORE 1142309.756
AT ITER 831 NEW BEST:: SOT 1952780 SOS 1457084 HAS SOPS 1457084 HAS SOUS 1139048 HAS SOUPS 1139048 WITH SCORE 1140505.084
AT ITER 837 NEW BEST:: SOT 1952383 SOS 1456446 HAS SOPS 1456446 HAS SOUS 1138410 HAS SOUPS 1138410 WITH SCORE 1139866.446
AT ITER 839 NEW BEST:: SOT 1952298 SOS 1456915 HAS SOPS 1456915 HAS SOUS 1138331 HAS SOUPS 1138331 WITH SCORE 1139787.915
AT ITER 844 NEW BEST:: SOT 1952240 SOS 1456857 HAS SOPS 1456857 HAS SOUS 1138272 HAS SOUPS 1138272 WITH SCORE 1139728.857
AT ITER 847 NEW BEST:: SOT 1952158 SOS 1456775 HAS SOPS 1456775 HAS SOUS 1138190 HAS SOUPS 1138190 WITH SCORE 1139646.775
AT ITER 848 NEW BEST:: SOT 1951812 SOS 1456351 HAS SOPS 1456351 HAS SOUS 1137980 HAS SOUPS 1137980 WITH SCORE 1139436.351
AT ITER 850 NEW BEST:: SOT 1951757 SOS 1456186 HAS SOPS 1456186 HAS SOUS 1137737 HAS SOUPS 1137737 WITH SCORE 1139193.186
AT ITER 853 NEW BEST:: SOT 1951632 SOS 1456636 HAS SOPS 1456636 HAS SOUS 1137468 HAS SOUPS 1137468 WITH SCORE 1138924.636
AT ITER 857 NEW BEST:: SOT 1950707 SOS 1455711 HAS SOPS 1455711 HAS SOUS 1136100 HAS SOUPS 1136100 WITH SCORE 1137555.711
AT ITER 860 NEW BEST:: SOT 1950400 SOS 1455404 HAS SOPS 1455404 HAS SOUS 1135793 HAS SOUPS 1135793 WITH SCORE 1137248.404
AT ITER 861 NEW BEST:: SOT 1951284 SOS 1452567 HAS SOPS 1452567 HAS SOUS 1134861 HAS SOUPS 1134861 WITH SCORE 1136313.567
AT ITER 866 NEW BEST:: SOT 1950076 SOS 1451076 HAS SOPS 1451076 HAS SOUS 1133366 HAS SOUPS 1133366 WITH SCORE 1134817.076
AT ITER 870 NEW BEST:: SOT 1949784 SOS 1450784 HAS SOPS 1450784 HAS SOUS 1133074 HAS SOUPS 1133074 WITH SCORE 1134524.784
AT ITER 871 NEW BEST:: SOT 1949724 SOS 1450724 HAS SOPS 1450724 HAS SOUS 1133014 HAS SOUPS 1133014 WITH SCORE 1134464.724
AT ITER 872 NEW BEST:: SOT 1948831 SOS 1449860 HAS SOPS 1449860 HAS SOUS 1132116 HAS SOUPS 1132116 WITH SCORE 1133565.86
AT ITER 878 NEW BEST:: SOT 1948674 SOS 1449546 HAS SOPS 1449546 HAS SOUS 1131905 HAS SOUPS 1131905 WITH SCORE 1133354.546
AT ITER 879 NEW BEST:: SOT 1949521 SOS 1449379 HAS SOPS 1449379 HAS SOUS 1131103 HAS SOUPS 1131103 WITH SCORE 1132552.379
AT ITER 881 NEW BEST:: SOT 1949372 SOS 1448545 HAS SOPS 1448545 HAS SOUS 1130898 HAS SOUPS 1130898 WITH SCORE 1132346.545
AT ITER 888 NEW BEST:: SOT 1949372 SOS 1448545 HAS SOPS 1448545 HAS SOUS 1130842 HAS SOUPS 1130842 WITH SCORE 1132290.545
AT ITER 889 NEW BEST:: SOT 1949372 SOS 1447924 HAS SOPS 1447924 HAS SOUS 1130162 HAS SOUPS 1130162 WITH SCORE 1131609.924
AT ITER 894 NEW BEST:: SOT 1949413 SOS 1446978 HAS SOPS 1446978 HAS SOUS 1130145 HAS SOUPS 1130145 WITH SCORE 1131591.978
AT ITER 899 NEW BEST:: SOT 1950966 SOS 1446246 HAS SOPS 1446246 HAS SOUS 1129945 HAS SOUPS 1129945 WITH SCORE 1131391.246
AT ITER 904 NEW BEST:: SOT 1949877 SOS 1445157 HAS SOPS 1445157 HAS SOUS 1128567 HAS SOUPS 1128567 WITH SCORE 1130012.157
AT ITER 905 NEW BEST:: SOT 1949701 SOS 1444256 HAS SOPS 1444256 HAS SOUS 1127561 HAS SOUPS 1127561 WITH SCORE 1129005.256
AT ITER 907 NEW BEST:: SOT 1949564 SOS 1443253 HAS SOPS 1443253 HAS SOUS 1127295 HAS SOUPS 1127295 WITH SCORE 1128738.253
AT ITER 910 NEW BEST:: SOT 1949263 SOS 1440530 HAS SOPS 1440530 HAS SOUS 1125131 HAS SOUPS 1125131 WITH SCORE 1126571.53
AT ITER 912 NEW BEST:: SOT 1949134 SOS 1439483 HAS SOPS 1439483 HAS SOUS 1124432 HAS SOUPS 1124432 WITH SCORE 1125871.483
AT ITER 913 NEW BEST:: SOT 1948891 SOS 1439240 HAS SOPS 1439240 HAS SOUS 1124185 HAS SOUPS 1124185 WITH SCORE 1125624.24
AT ITER 917 NEW BEST:: SOT 1949035 SOS 1439528 HAS SOPS 1439528 HAS SOUS 1123831 HAS SOUPS 1123831 WITH SCORE 1125270.528
AT ITER 919 NEW BEST:: SOT 1948718 SOS 1438089 HAS SOPS 1438089 HAS SOUS 1122549 HAS SOUPS 1122549 WITH SCORE 1123987.089
AT ITER 921 NEW BEST:: SOT 1948598 SOS 1437969 HAS SOPS 1437969 HAS SOUS 1122429 HAS SOUPS 1122429 WITH SCORE 1123866.969
AT ITER 923 NEW BEST:: SOT 1948598 SOS 1436672 HAS SOPS 1436672 HAS SOUS 1121832 HAS SOUPS 1121832 WITH SCORE 1123268.672
AT ITER 925 NEW BEST:: SOT 1948577 SOS 1436475 HAS SOPS 1436475 HAS SOUS 1121770 HAS SOUPS 1121770 WITH SCORE 1123206.475
AT ITER 927 NEW BEST:: SOT 1948261 SOS 1436113 HAS SOPS 1436113 HAS SOUS 1121406 HAS SOUPS 1121406 WITH SCORE 1122842.113
AT ITER 928 NEW BEST:: SOT 1948419 SOS 1436268 HAS SOPS 1436268 HAS SOUS 1121087 HAS SOUPS 1121087 WITH SCORE 1122523.268
AT ITER 935 NEW BEST:: SOT 1948431 SOS 1436215 HAS SOPS 1436215 HAS SOUS 1120727 HAS SOUPS 1120727 WITH SCORE 1122163.215
AT ITER 939 NEW BEST:: SOT 1948062 SOS 1435927 HAS SOPS 1435927 HAS SOUS 1120439 HAS SOUPS 1120439 WITH SCORE 1121874.927
AT ITER 941 NEW BEST:: SOT 1947850 SOS 1435715 HAS SOPS 1435715 HAS SOUS 1120224 HAS SOUPS 1120224 WITH SCORE 1121659.715
AT ITER 942 NEW BEST:: SOT 1947850 SOS 1435715 HAS SOPS 1435715 HAS SOUS 1119727 HAS SOUPS 1119727 WITH SCORE 1121162.715
AT ITER 943 NEW BEST:: SOT 1947832 SOS 1435697 HAS SOPS 1435697 HAS SOUS 1119709 HAS SOUPS 1119709 WITH SCORE 1121144.697
AT ITER 945 NEW BEST:: SOT 1947622 SOS 1435277 HAS SOPS 1435277 HAS SOUS 1119706 HAS SOUPS 1119706 WITH SCORE 1121141.277
AT ITER 949 NEW BEST:: SOT 1948344 SOS 1433464 HAS SOPS 1433464 HAS SOUS 1117757 HAS SOUPS 1117757 WITH SCORE 1119190.464
AT ITER 953 NEW BEST:: SOT 1948344 SOS 1433619 HAS SOPS 1433619 HAS SOUS 1117661 HAS SOUPS 1117661 WITH SCORE 1119094.619
AT ITER 957 NEW BEST:: SOT 1948344 SOS 1433084 HAS SOPS 1433084 HAS SOUS 1117642 HAS SOUPS 1117642 WITH SCORE 1119075.084
AT ITER 958 NEW BEST:: SOT 1948331 SOS 1433071 HAS SOPS 1433071 HAS SOUS 1117640 HAS SOUPS 1117640 WITH SCORE 1119073.071
AT ITER 959 NEW BEST:: SOT 1948261 SOS 1431809 HAS SOPS 1431809 HAS SOUS 1117249 HAS SOUPS 1117249 WITH SCORE 1118680.809
AT ITER 960 NEW BEST:: SOT 1948132 SOS 1430747 HAS SOPS 1430747 HAS SOUS 1116758 HAS SOUPS 1116758 WITH SCORE 1118188.747
AT ITER 964 NEW BEST:: SOT 1947920 SOS 1430410 HAS SOPS 1430410 HAS SOUS 1115742 HAS SOUPS 1115742 WITH SCORE 1117172.41
AT ITER 968 NEW BEST:: SOT 1947820 SOS 1430182 HAS SOPS 1430182 HAS SOUS 1115413 HAS SOUPS 1115413 WITH SCORE 1116843.182
AT ITER 969 NEW BEST:: SOT 1947785 SOS 1429717 HAS SOPS 1429717 HAS SOUS 1115052 HAS SOUPS 1115052 WITH SCORE 1116481.717
AT ITER 971 NEW BEST:: SOT 1947001 SOS 1428933 HAS SOPS 1428933 HAS SOUS 1113708 HAS SOUPS 1113708 WITH SCORE 1115136.933
AT ITER 973 NEW BEST:: SOT 1946413 SOS 1426677 HAS SOPS 1426677 HAS SOUS 1112319 HAS SOUPS 1112319 WITH SCORE 1113745.677
AT ITER 974 NEW BEST:: SOT 1946770 SOS 1424855 HAS SOPS 1424855 HAS SOUS 1112308 HAS SOUPS 1112308 WITH SCORE 1113732.855
AT ITER 979 NEW BEST:: SOT 1946627 SOS 1424712 HAS SOPS 1424712 HAS SOUS 1112164 HAS SOUPS 1112164 WITH SCORE 1113588.712
AT ITER 983 NEW BEST:: SOT 1945482 SOS 1420875 HAS SOPS 1420875 HAS SOUS 1109402 HAS SOUPS 1109402 WITH SCORE 1110822.875
AT ITER 984 NEW BEST:: SOT 1944929 SOS 1420447 HAS SOPS 1420447 HAS SOUS 1109105 HAS SOUPS 1109105 WITH SCORE 1110525.447
AT ITER 988 NEW BEST:: SOT 1943995 SOS 1419513 HAS SOPS 1419513 HAS SOUS 1107960 HAS SOUPS 1107960 WITH SCORE 1109379.513
AT ITER 989 NEW BEST:: SOT 1943625 SOS 1418780 HAS SOPS 1418780 HAS SOUS 1107726 HAS SOUPS 1107726 WITH SCORE 1109144.78
AT ITER 991 NEW BEST:: SOT 1943711 SOS 1418623 HAS SOPS 1418623 HAS SOUS 1107513 HAS SOUPS 1107513 WITH SCORE 1108931.623
AT ITER 992 NEW BEST:: SOT 1943424 SOS 1415075 HAS SOPS 1415075 HAS SOUS 1106215 HAS SOUPS 1106215 WITH SCORE 1107630.075
AT ITER 993 NEW BEST:: SOT 1943711 SOS 1414936 HAS SOPS 1414936 HAS SOUS 1105800 HAS SOUPS 1105800 WITH SCORE 1107214.936
AT ITER 995 NEW BEST:: SOT 1943711 SOS 1414423 HAS SOPS 1414423 HAS SOUS 1105490 HAS SOUPS 1105490 WITH SCORE 1106904.423
AT ITER 997 NEW BEST:: SOT 1943875 SOS 1414593 HAS SOPS 1414593 HAS SOUS 1105308 HAS SOUPS 1105308 WITH SCORE 1106722.593
AT ITER 998 NEW BEST:: SOT 1943707 SOS 1414425 HAS SOPS 1414425 HAS SOUS 1105140 HAS SOUPS 1105140 WITH SCORE 1106554.425
AT ITER 1001 NEW BEST:: SOT 1943531 SOS 1413184 HAS SOPS 1413184 HAS SOUS 1103372 HAS SOUPS 1103372 WITH SCORE 1104785.184
AT ITER 1002 NEW BEST:: SOT 1943364 SOS 1413017 HAS SOPS 1413017 HAS SOUS 1103205 HAS SOUPS 1103205 WITH SCORE 1104618.017
AT ITER 1006 NEW BEST:: SOT 1941058 SOS 1410711 HAS SOPS 1410711 HAS SOUS 1100629 HAS SOUPS 1100629 WITH SCORE 1102039.711
AT ITER 1008 NEW BEST:: SOT 1940845 SOS 1410498 HAS SOPS 1410498 HAS SOUS 1100416 HAS SOUPS 1100416 WITH SCORE 1101826.498
AT ITER 1014 NEW BEST:: SOT 1940637 SOS 1410290 HAS SOPS 1410290 HAS SOUS 1100000 HAS SOUPS 1100000 WITH SCORE 1101410.29
AT ITER 1015 NEW BEST:: SOT 1940426 SOS 1407870 HAS SOPS 1407870 HAS SOUS 1098799 HAS SOUPS 1098799 WITH SCORE 1100206.87
AT ITER 1017 NEW BEST:: SOT 1940401 SOS 1407823 HAS SOPS 1407823 HAS SOUS 1098708 HAS SOUPS 1098708 WITH SCORE 1100115.823
AT ITER 1019 NEW BEST:: SOT 1940532 SOS 1407746 HAS SOPS 1407746 HAS SOUS 1098677 HAS SOUPS 1098677 WITH SCORE 1100084.746
AT ITER 1027 NEW BEST:: SOT 1940305 SOS 1406471 HAS SOPS 1406471 HAS SOUS 1097364 HAS SOUPS 1097364 WITH SCORE 1098770.471
AT ITER 1032 NEW BEST:: SOT 1940270 SOS 1406436 HAS SOPS 1406436 HAS SOUS 1097329 HAS SOUPS 1097329 WITH SCORE 1098735.436
AT ITER 1035 NEW BEST:: SOT 1940232 SOS 1406398 HAS SOPS 1406398 HAS SOUS 1097146 HAS SOUPS 1097146 WITH SCORE 1098552.398
AT ITER 1036 NEW BEST:: SOT 1940232 SOS 1406416 HAS SOPS 1406416 HAS SOUS 1097126 HAS SOUPS 1097126 WITH SCORE 1098532.416
AT ITER 1040 NEW BEST:: SOT 1940273 SOS 1406370 HAS SOPS 1406370 HAS SOUS 1095727 HAS SOUPS 1095727 WITH SCORE 1097133.37
AT ITER 1045 NEW BEST:: SOT 1940334 SOS 1406337 HAS SOPS 1406337 HAS SOUS 1095652 HAS SOUPS 1095652 WITH SCORE 1097058.337
AT ITER 1049 NEW BEST:: SOT 1940326 SOS 1406329 HAS SOPS 1406329 HAS SOUS 1095620 HAS SOUPS 1095620 WITH SCORE 1097026.329
AT ITER 1051 NEW BEST:: SOT 1940244 SOS 1405485 HAS SOPS 1405485 HAS SOUS 1095190 HAS SOUPS 1095190 WITH SCORE 1096595.485
AT ITER 1064 NEW BEST:: SOT 1939958 SOS 1405006 HAS SOPS 1405006 HAS SOUS 1094633 HAS SOUPS 1094633 WITH SCORE 1096038.006
AT ITER 1066 NEW BEST:: SOT 1939958 SOS 1404707 HAS SOPS 1404707 HAS SOUS 1094093 HAS SOUPS 1094093 WITH SCORE 1095497.707
AT ITER 1068 NEW BEST:: SOT 1939463 SOS 1404283 HAS SOPS 1404283 HAS SOUS 1093735 HAS SOUPS 1093735 WITH SCORE 1095139.283
AT ITER 1069 NEW BEST:: SOT 1939063 SOS 1404216 HAS SOPS 1404216 HAS SOUS 1093668 HAS SOUPS 1093668 WITH SCORE 1095072.216
AT ITER 1074 NEW BEST:: SOT 1939063 SOS 1402871 HAS SOPS 1402871 HAS SOUS 1093668 HAS SOUPS 1093668 WITH SCORE 1095070.871
AT ITER 1075 NEW BEST:: SOT 1939012 SOS 1402820 HAS SOPS 1402820 HAS SOUS 1093601 HAS SOUPS 1093601 WITH SCORE 1095003.82
AT ITER 1082 NEW BEST:: SOT 1939904 SOS 1402649 HAS SOPS 1402649 HAS SOUS 1093194 HAS SOUPS 1093194 WITH SCORE 1094596.649
AT ITER 1085 NEW BEST:: SOT 1938681 SOS 1401424 HAS SOPS 1401424 HAS SOUS 1091964 HAS SOUPS 1091964 WITH SCORE 1093365.424
AT ITER 1091 NEW BEST:: SOT 1938664 SOS 1401026 HAS SOPS 1401026 HAS SOUS 1091796 HAS SOUPS 1091796 WITH SCORE 1093197.026
AT ITER 1096 NEW BEST:: SOT 1938657 SOS 1401019 HAS SOPS 1401019 HAS SOUS 1091789 HAS SOUPS 1091789 WITH SCORE 1093190.019
AT ITER 1099 NEW BEST:: SOT 1939000 SOS 1401052 HAS SOPS 1401052 HAS SOUS 1091770 HAS SOUPS 1091770 WITH SCORE 1093171.052
AT ITER 1100 NEW BEST:: SOT 1939000 SOS 1400868 HAS SOPS 1400868 HAS SOUS 1091586 HAS SOUPS 1091586 WITH SCORE 1092986.868
AT ITER 1101 NEW BEST:: SOT 1939000 SOS 1400864 HAS SOPS 1400864 HAS SOUS 1091436 HAS SOUPS 1091436 WITH SCORE 1092836.864
AT ITER 1102 NEW BEST:: SOT 1938478 SOS 1399882 HAS SOPS 1399882 HAS SOUS 1089610 HAS SOUPS 1089610 WITH SCORE 1091009.882
AT ITER 1104 NEW BEST:: SOT 1938311 SOS 1397480 HAS SOPS 1397480 HAS SOUS 1089405 HAS SOUPS 1089405 WITH SCORE 1090802.48
AT ITER 1107 NEW BEST:: SOT 1938517 SOS 1397708 HAS SOPS 1397708 HAS SOUS 1087746 HAS SOUPS 1087746 WITH SCORE 1089143.708
AT ITER 1115 NEW BEST:: SOT 1937611 SOS 1396547 HAS SOPS 1396547 HAS SOUS 1085994 HAS SOUPS 1085994 WITH SCORE 1087390.547
AT ITER 1122 NEW BEST:: SOT 1937611 SOS 1396316 HAS SOPS 1396316 HAS SOUS 1085870 HAS SOUPS 1085870 WITH SCORE 1087266.316
AT ITER 1127 NEW BEST:: SOT 1937579 SOS 1396124 HAS SOPS 1396124 HAS SOUS 1085774 HAS SOUPS 1085774 WITH SCORE 1087170.124
AT ITER 1133 NEW BEST:: SOT 1937189 SOS 1394829 HAS SOPS 1394829 HAS SOUS 1084593 HAS SOUPS 1084593 WITH SCORE 1085987.829
AT ITER 1134 NEW BEST:: SOT 1938038 SOS 1393419 HAS SOPS 1393419 HAS SOUS 1084096 HAS SOUPS 1084096 WITH SCORE 1085489.419
AT ITER 1147 NEW BEST:: SOT 1937798 SOS 1393143 HAS SOPS 1393143 HAS SOUS 1083708 HAS SOUPS 1083708 WITH SCORE 1085101.143
AT ITER 1150 NEW BEST:: SOT 1937415 SOS 1391607 HAS SOPS 1391607 HAS SOUS 1083049 HAS SOUPS 1083049 WITH SCORE 1084440.607
AT ITER 1153 NEW BEST:: SOT 1937415 SOS 1390961 HAS SOPS 1390961 HAS SOUS 1082645 HAS SOUPS 1082645 WITH SCORE 1084035.961
AT ITER 1157 NEW BEST:: SOT 1937113 SOS 1388845 HAS SOPS 1388845 HAS SOUS 1080791 HAS SOUPS 1080791 WITH SCORE 1082179.845
AT ITER 1159 NEW BEST:: SOT 1937001 SOS 1388733 HAS SOPS 1388733 HAS SOUS 1080679 HAS SOUPS 1080679 WITH SCORE 1082067.733
AT ITER 1160 NEW BEST:: SOT 1937001 SOS 1388653 HAS SOPS 1388653 HAS SOUS 1080622 HAS SOUPS 1080622 WITH SCORE 1082010.653
AT ITER 1161 NEW BEST:: SOT 1936685 SOS 1388337 HAS SOPS 1388337 HAS SOUS 1080306 HAS SOUPS 1080306 WITH SCORE 1081694.337
AT ITER 1166 NEW BEST:: SOT 1936397 SOS 1388049 HAS SOPS 1388049 HAS SOUS 1080018 HAS SOUPS 1080018 WITH SCORE 1081406.049
AT ITER 1173 NEW BEST:: SOT 1936226 SOS 1387249 HAS SOPS 1387249 HAS SOUS 1078881 HAS SOUPS 1078881 WITH SCORE 1080268.249
AT ITER 1181 NEW BEST:: SOT 1936719 SOS 1388497 HAS SOPS 1388497 HAS SOUS 1076845 HAS SOUPS 1076845 WITH SCORE 1078233.497
AT ITER 1184 NEW BEST:: SOT 1936669 SOS 1388445 HAS SOPS 1388445 HAS SOUS 1076783 HAS SOUPS 1076783 WITH SCORE 1078171.445
AT ITER 1187 NEW BEST:: SOT 1936672 SOS 1388060 HAS SOPS 1388060 HAS SOUS 1076619 HAS SOUPS 1076619 WITH SCORE 1078007.06
AT ITER 1188 NEW BEST:: SOT 1936466 SOS 1387751 HAS SOPS 1387751 HAS SOUS 1076310 HAS SOUPS 1076310 WITH SCORE 1077697.751
AT ITER 1189 NEW BEST:: SOT 1936070 SOS 1387355 HAS SOPS 1387355 HAS SOUS 1075914 HAS SOUPS 1075914 WITH SCORE 1077301.355
AT ITER 1190 NEW BEST:: SOT 1936070 SOS 1387206 HAS SOPS 1387206 HAS SOUS 1075833 HAS SOUPS 1075833 WITH SCORE 1077220.206
AT ITER 1198 NEW BEST:: SOT 1936067 SOS 1387172 HAS SOPS 1387172 HAS SOUS 1075754 HAS SOUPS 1075754 WITH SCORE 1077141.172
AT ITER 1200 NEW BEST:: SOT 1935438 SOS 1386708 HAS SOPS 1386708 HAS SOUS 1075363 HAS SOUPS 1075363 WITH SCORE 1076749.708
AT ITER 1201 NEW BEST:: SOT 1934808 SOS 1387726 HAS SOPS 1387726 HAS SOUS 1073421 HAS SOUPS 1073421 WITH SCORE 1074808.726
AT ITER 1202 NEW BEST:: SOT 1934463 SOS 1387381 HAS SOPS 1387381 HAS SOUS 1073076 HAS SOUPS 1073076 WITH SCORE 1074463.381
AT ITER 1204 NEW BEST:: SOT 1934022 SOS 1386940 HAS SOPS 1386940 HAS SOUS 1072631 HAS SOUPS 1072631 WITH SCORE 1074017.94
AT ITER 1205 NEW BEST:: SOT 1934022 SOS 1387019 HAS SOPS 1387019 HAS SOUS 1072622 HAS SOUPS 1072622 WITH SCORE 1074009.019
AT ITER 1210 NEW BEST:: SOT 1933679 SOS 1384221 HAS SOPS 1384221 HAS SOUS 1071693 HAS SOUPS 1071693 WITH SCORE 1073077.221
AT ITER 1220 NEW BEST:: SOT 1933457 SOS 1383752 HAS SOPS 1383752 HAS SOUS 1070949 HAS SOUPS 1070949 WITH SCORE 1072332.752
AT ITER 1221 NEW BEST:: SOT 1932359 SOS 1382654 HAS SOPS 1382654 HAS SOUS 1069490 HAS SOUPS 1069490 WITH SCORE 1070872.654
AT ITER 1223 NEW BEST:: SOT 1932575 SOS 1385287 HAS SOPS 1385287 HAS SOUS 1069056 HAS SOUPS 1069056 WITH SCORE 1070441.287
AT ITER 1226 NEW BEST:: SOT 1932548 SOS 1385260 HAS SOPS 1385260 HAS SOUS 1069029 HAS SOUPS 1069029 WITH SCORE 1070414.26
AT ITER 1228 NEW BEST:: SOT 1931772 SOS 1384206 HAS SOPS 1384206 HAS SOUS 1068315 HAS SOUPS 1068315 WITH SCORE 1069699.206
AT ITER 1229 NEW BEST:: SOT 1931143 SOS 1383577 HAS SOPS 1383577 HAS SOUS 1067686 HAS SOUPS 1067686 WITH SCORE 1069069.577
AT ITER 1231 NEW BEST:: SOT 1931679 SOS 1383966 HAS SOPS 1383966 HAS SOUS 1067219 HAS SOUPS 1067219 WITH SCORE 1068602.966
AT ITER 1238 NEW BEST:: SOT 1931679 SOS 1383931 HAS SOPS 1383931 HAS SOUS 1067184 HAS SOUPS 1067184 WITH SCORE 1068567.931
AT ITER 1246 NEW BEST:: SOT 1931667 SOS 1383911 HAS SOPS 1383911 HAS SOUS 1067139 HAS SOUPS 1067139 WITH SCORE 1068522.911
AT ITER 1247 NEW BEST:: SOT 1931666 SOS 1383890 HAS SOPS 1383890 HAS SOUS 1067118 HAS SOUPS 1067118 WITH SCORE 1068501.89
AT ITER 1252 NEW BEST:: SOT 1931486 SOS 1383710 HAS SOPS 1383710 HAS SOUS 1066981 HAS SOUPS 1066981 WITH SCORE 1068364.71
AT ITER 1253 NEW BEST:: SOT 1931185 SOS 1383324 HAS SOPS 1383324 HAS SOUS 1066595 HAS SOUPS 1066595 WITH SCORE 1067978.324
AT ITER 1256 NEW BEST:: SOT 1931197 SOS 1383393 HAS SOPS 1383393 HAS SOUS 1066365 HAS SOUPS 1066365 WITH SCORE 1067748.393
AT ITER 1258 NEW BEST:: SOT 1931197 SOS 1383394 HAS SOPS 1383394 HAS SOUS 1066360 HAS SOUPS 1066360 WITH SCORE 1067743.394
AT ITER 1259 NEW BEST:: SOT 1930794 SOS 1382740 HAS SOPS 1382740 HAS SOUS 1065706 HAS SOUPS 1065706 WITH SCORE 1067088.74
AT ITER 1261 NEW BEST:: SOT 1930496 SOS 1382442 HAS SOPS 1382442 HAS SOUS 1065408 HAS SOUPS 1065408 WITH SCORE 1066790.442
AT ITER 1262 NEW BEST:: SOT 1930433 SOS 1382404 HAS SOPS 1382404 HAS SOUS 1064591 HAS SOUPS 1064591 WITH SCORE 1065973.404
AT ITER 1264 NEW BEST:: SOT 1930126 SOS 1382409 HAS SOPS 1382409 HAS SOUS 1064440 HAS SOUPS 1064440 WITH SCORE 1065822.409
AT ITER 1277 NEW BEST:: SOT 1928805 SOS 1379532 HAS SOPS 1379532 HAS SOUS 1061811 HAS SOUPS 1061811 WITH SCORE 1063190.532
AT ITER 1279 NEW BEST:: SOT 1928781 SOS 1379433 HAS SOPS 1379433 HAS SOUS 1061797 HAS SOUPS 1061797 WITH SCORE 1063176.433
AT ITER 1281 NEW BEST:: SOT 1928305 SOS 1377056 HAS SOPS 1377056 HAS SOUS 1061219 HAS SOUPS 1061219 WITH SCORE 1062596.056
AT ITER 1283 NEW BEST:: SOT 1927798 SOS 1376549 HAS SOPS 1376549 HAS SOUS 1060712 HAS SOUPS 1060712 WITH SCORE 1062088.549
AT ITER 1291 NEW BEST:: SOT 1927179 SOS 1375479 HAS SOPS 1375479 HAS SOUS 1059806 HAS SOUPS 1059806 WITH SCORE 1061181.479
AT ITER 1292 NEW BEST:: SOT 1927154 SOS 1375454 HAS SOPS 1375454 HAS SOUS 1059781 HAS SOUPS 1059781 WITH SCORE 1061156.454
AT ITER 1295 NEW BEST:: SOT 1927081 SOS 1375342 HAS SOPS 1375342 HAS SOUS 1059630 HAS SOUPS 1059630 WITH SCORE 1061005.342
AT ITER 1308 NEW BEST:: SOT 1927045 SOS 1373558 HAS SOPS 1373558 HAS SOUS 1059072 HAS SOUPS 1059072 WITH SCORE 1060445.558
AT ITER 1309 NEW BEST:: SOT 1926649 SOS 1371686 HAS SOPS 1371686 HAS SOUS 1058033 HAS SOUPS 1058033 WITH SCORE 1059404.686
AT ITER 1310 NEW BEST:: SOT 1926508 SOS 1368077 HAS SOPS 1368077 HAS SOUS 1057847 HAS SOUPS 1057847 WITH SCORE 1059215.077
AT ITER 1314 NEW BEST:: SOT 1926508 SOS 1368097 HAS SOPS 1368097 HAS SOUS 1057827 HAS SOUPS 1057827 WITH SCORE 1059195.097
AT ITER 1320 NEW BEST:: SOT 1926525 SOS 1368083 HAS SOPS 1368083 HAS SOUS 1057640 HAS SOUPS 1057640 WITH SCORE 1059008.083
AT ITER 1324 NEW BEST:: SOT 1926015 SOS 1367556 HAS SOPS 1367556 HAS SOUS 1057096 HAS SOUPS 1057096 WITH SCORE 1058463.556
AT ITER 1332 NEW BEST:: SOT 1925814 SOS 1367355 HAS SOPS 1367355 HAS SOUS 1056895 HAS SOUPS 1056895 WITH SCORE 1058262.355
AT ITER 1333 NEW BEST:: SOT 1925775 SOS 1367316 HAS SOPS 1367316 HAS SOUS 1056856 HAS SOUPS 1056856 WITH SCORE 1058223.316
AT ITER 1335 NEW BEST:: SOT 1925544 SOS 1366623 HAS SOPS 1366623 HAS SOUS 1055682 HAS SOUPS 1055682 WITH SCORE 1057048.623
AT ITER 1338 NEW BEST:: SOT 1925315 SOS 1366372 HAS SOPS 1366372 HAS SOUS 1055343 HAS SOUPS 1055343 WITH SCORE 1056709.372
AT ITER 1339 NEW BEST:: SOT 1925419 SOS 1365545 HAS SOPS 1365545 HAS SOUS 1055087 HAS SOUPS 1055087 WITH SCORE 1056452.545
AT ITER 1342 NEW BEST:: SOT 1924502 SOS 1357958 HAS SOPS 1357958 HAS SOUS 1052836 HAS SOUPS 1052836 WITH SCORE 1054193.958
AT ITER 1343 NEW BEST:: SOT 1924502 SOS 1356581 HAS SOPS 1356581 HAS SOUS 1052332 HAS SOUPS 1052332 WITH SCORE 1053688.581
AT ITER 1348 NEW BEST:: SOT 1924243 SOS 1356335 HAS SOPS 1356335 HAS SOUS 1051151 HAS SOUPS 1051151 WITH SCORE 1052507.335
AT ITER 1349 NEW BEST:: SOT 1924221 SOS 1356296 HAS SOPS 1356296 HAS SOUS 1051105 HAS SOUPS 1051105 WITH SCORE 1052461.296
AT ITER 1350 NEW BEST:: SOT 1924125 SOS 1356104 HAS SOPS 1356104 HAS SOUS 1050940 HAS SOUPS 1050940 WITH SCORE 1052296.104
AT ITER 1352 NEW BEST:: SOT 1924094 SOS 1356073 HAS SOPS 1356073 HAS SOUS 1050909 HAS SOUPS 1050909 WITH SCORE 1052265.073
AT ITER 1353 NEW BEST:: SOT 1923947 SOS 1355921 HAS SOPS 1355921 HAS SOUS 1050745 HAS SOUPS 1050745 WITH SCORE 1052100.921
AT ITER 1364 NEW BEST:: SOT 1921964 SOS 1353312 HAS SOPS 1353312 HAS SOUS 1048359 HAS SOUPS 1048359 WITH SCORE 1049712.312
AT ITER 1375 NEW BEST:: SOT 1921688 SOS 1352056 HAS SOPS 1352056 HAS SOUS 1047064 HAS SOUPS 1047064 WITH SCORE 1048416.056
AT ITER 1376 NEW BEST:: SOT 1921556 SOS 1352018 HAS SOPS 1352018 HAS SOUS 1046980 HAS SOUPS 1046980 WITH SCORE 1048332.018
AT ITER 1381 NEW BEST:: SOT 1921251 SOS 1351713 HAS SOPS 1351713 HAS SOUS 1046675 HAS SOUPS 1046675 WITH SCORE 1048026.713
AT ITER 1382 NEW BEST:: SOT 1921251 SOS 1351783 HAS SOPS 1351783 HAS SOUS 1046640 HAS SOUPS 1046640 WITH SCORE 1047991.783
AT ITER 1383 NEW BEST:: SOT 1920543 SOS 1350673 HAS SOPS 1350673 HAS SOUS 1044900 HAS SOUPS 1044900 WITH SCORE 1046250.673
AT ITER 1386 NEW BEST:: SOT 1920573 SOS 1349788 HAS SOPS 1349788 HAS SOUS 1043987 HAS SOUPS 1043987 WITH SCORE 1045336.788
AT ITER 1393 NEW BEST:: SOT 1919449 SOS 1348352 HAS SOPS 1348352 HAS SOUS 1042594 HAS SOUPS 1042594 WITH SCORE 1043942.352
AT ITER 1394 NEW BEST:: SOT 1919177 SOS 1348080 HAS SOPS 1348080 HAS SOUS 1042383 HAS SOUPS 1042383 WITH SCORE 1043731.08
AT ITER 1398 NEW BEST:: SOT 1919323 SOS 1346917 HAS SOPS 1346917 HAS SOUS 1041866 HAS SOUPS 1041866 WITH SCORE 1043212.917
AT ITER 1400 NEW BEST:: SOT 1919292 SOS 1346314 HAS SOPS 1346314 HAS SOUS 1041256 HAS SOUPS 1041256 WITH SCORE 1042602.314
AT ITER 1404 NEW BEST:: SOT 1919381 SOS 1346300 HAS SOPS 1346300 HAS SOUS 1041180 HAS SOUPS 1041180 WITH SCORE 1042526.3
AT ITER 1405 NEW BEST:: SOT 1918640 SOS 1345559 HAS SOPS 1345559 HAS SOUS 1040438 HAS SOUPS 1040438 WITH SCORE 1041783.559
AT ITER 1407 NEW BEST:: SOT 1918550 SOS 1344761 HAS SOPS 1344761 HAS SOUS 1040373 HAS SOUPS 1040373 WITH SCORE 1041717.761
AT ITER 1408 NEW BEST:: SOT 1917868 SOS 1344079 HAS SOPS 1344079 HAS SOUS 1039691 HAS SOUPS 1039691 WITH SCORE 1041035.079
AT ITER 1409 NEW BEST:: SOT 1917622 SOS 1343833 HAS SOPS 1343833 HAS SOUS 1039445 HAS SOUPS 1039445 WITH SCORE 1040788.833
AT ITER 1413 NEW BEST:: SOT 1917567 SOS 1343668 HAS SOPS 1343668 HAS SOUS 1039390 HAS SOUPS 1039390 WITH SCORE 1040733.668
AT ITER 1421 NEW BEST:: SOT 1917565 SOS 1343666 HAS SOPS 1343666 HAS SOUS 1039388 HAS SOUPS 1039388 WITH SCORE 1040731.666
AT ITER 1430 NEW BEST:: SOT 1917302 SOS 1343910 HAS SOPS 1343910 HAS SOUS 1039178 HAS SOUPS 1039178 WITH SCORE 1040521.91
AT ITER 1432 NEW BEST:: SOT 1917020 SOS 1341971 HAS SOPS 1341971 HAS SOUS 1038575 HAS SOUPS 1038575 WITH SCORE 1039916.971
AT ITER 1433 NEW BEST:: SOT 1916997 SOS 1341948 HAS SOPS 1341948 HAS SOUS 1038552 HAS SOUPS 1038552 WITH SCORE 1039893.948
AT ITER 1435 NEW BEST:: SOT 1917237 SOS 1341696 HAS SOPS 1341696 HAS SOUS 1038299 HAS SOUPS 1038299 WITH SCORE 1039640.696
AT ITER 1440 NEW BEST:: SOT 1916659 SOS 1339189 HAS SOPS 1339189 HAS SOUS 1036047 HAS SOUPS 1036047 WITH SCORE 1037386.189
AT ITER 1446 NEW BEST:: SOT 1916557 SOS 1339036 HAS SOPS 1339036 HAS SOUS 1035894 HAS SOUPS 1035894 WITH SCORE 1037233.036
AT ITER 1447 NEW BEST:: SOT 1915071 SOS 1337116 HAS SOPS 1337116 HAS SOUS 1032414 HAS SOUPS 1032414 WITH SCORE 1033751.116
AT ITER 1449 NEW BEST:: SOT 1914233 SOS 1336108 HAS SOPS 1336108 HAS SOUS 1031402 HAS SOUPS 1031402 WITH SCORE 1032738.108
AT ITER 1452 NEW BEST:: SOT 1913909 SOS 1335784 HAS SOPS 1335784 HAS SOUS 1031078 HAS SOUPS 1031078 WITH SCORE 1032413.784
AT ITER 1453 NEW BEST:: SOT 1913578 SOS 1335140 HAS SOPS 1335140 HAS SOUS 1029752 HAS SOUPS 1029752 WITH SCORE 1031087.14
AT ITER 1456 NEW BEST:: SOT 1914075 SOS 1334971 HAS SOPS 1334971 HAS SOUS 1028844 HAS SOUPS 1028844 WITH SCORE 1030178.971
AT ITER 1461 NEW BEST:: SOT 1914171 SOS 1335067 HAS SOPS 1335067 HAS SOUS 1028840 HAS SOUPS 1028840 WITH SCORE 1030175.067
AT ITER 1465 NEW BEST:: SOT 1913999 SOS 1335657 HAS SOPS 1335657 HAS SOUS 1028496 HAS SOUPS 1028496 WITH SCORE 1029831.657
AT ITER 1472 NEW BEST:: SOT 1914040 SOS 1334033 HAS SOPS 1334033 HAS SOUS 1028014 HAS SOUPS 1028014 WITH SCORE 1029348.033
AT ITER 1475 NEW BEST:: SOT 1914040 SOS 1334003 HAS SOPS 1334003 HAS SOUS 1027984 HAS SOUPS 1027984 WITH SCORE 1029318.003
AT ITER 1486 NEW BEST:: SOT 1913671 SOS 1333611 HAS SOPS 1333611 HAS SOUS 1027959 HAS SOUPS 1027959 WITH SCORE 1029292.611
AT ITER 1490 NEW BEST:: SOT 1913697 SOS 1333741 HAS SOPS 1333741 HAS SOUS 1027953 HAS SOUPS 1027953 WITH SCORE 1029286.741
AT ITER 1499 NEW BEST:: SOT 1912484 SOS 1332965 HAS SOPS 1332965 HAS SOUS 1026977 HAS SOUPS 1026977 WITH SCORE 1028309.965
AT ITER 1505 NEW BEST:: SOT 1912485 SOS 1332964 HAS SOPS 1332964 HAS SOUS 1026976 HAS SOUPS 1026976 WITH SCORE 1028308.964
AT ITER 1510 NEW BEST:: SOT 1912506 SOS 1332460 HAS SOPS 1332460 HAS SOUS 1025315 HAS SOUPS 1025315 WITH SCORE 1026647.46
AT ITER 1512 NEW BEST:: SOT 1912048 SOS 1331768 HAS SOPS 1331768 HAS SOUS 1024623 HAS SOUPS 1024623 WITH SCORE 1025954.768
AT ITER 1516 NEW BEST:: SOT 1912022 SOS 1331742 HAS SOPS 1331742 HAS SOUS 1024623 HAS SOUPS 1024623 WITH SCORE 1025954.742
AT ITER 1521 NEW BEST:: SOT 1911743 SOS 1331127 HAS SOPS 1331127 HAS SOUS 1024218 HAS SOUPS 1024218 WITH SCORE 1025549.127
AT ITER 1524 NEW BEST:: SOT 1911329 SOS 1330705 HAS SOPS 1330705 HAS SOUS 1023796 HAS SOUPS 1023796 WITH SCORE 1025126.705
AT ITER 1531 NEW BEST:: SOT 1911329 SOS 1330648 HAS SOPS 1330648 HAS SOUS 1023791 HAS SOUPS 1023791 WITH SCORE 1025121.648
AT ITER 1538 NEW BEST:: SOT 1911169 SOS 1330201 HAS SOPS 1330201 HAS SOUS 1023344 HAS SOUPS 1023344 WITH SCORE 1024674.201
AT ITER 1539 NEW BEST:: SOT 1911054 SOS 1330086 HAS SOPS 1330086 HAS SOUS 1023229 HAS SOUPS 1023229 WITH SCORE 1024559.086
AT ITER 1552 NEW BEST:: SOT 1910825 SOS 1329904 HAS SOPS 1329904 HAS SOUS 1022443 HAS SOUPS 1022443 WITH SCORE 1023772.904
AT ITER 1553 NEW BEST:: SOT 1910357 SOS 1329344 HAS SOPS 1329344 HAS SOUS 1021599 HAS SOUPS 1021599 WITH SCORE 1022928.344
AT ITER 1556 NEW BEST:: SOT 1910357 SOS 1330026 HAS SOPS 1330026 HAS SOUS 1021463 HAS SOUPS 1021463 WITH SCORE 1022793.026
AT ITER 1557 NEW BEST:: SOT 1909900 SOS 1325434 HAS SOPS 1325434 HAS SOUS 1018460 HAS SOUPS 1018460 WITH SCORE 1019785.434
AT ITER 1561 NEW BEST:: SOT 1910042 SOS 1325518 HAS SOPS 1325518 HAS SOUS 1018342 HAS SOUPS 1018342 WITH SCORE 1019667.518
AT ITER 1566 NEW BEST:: SOT 1910160 SOS 1325118 HAS SOPS 1325118 HAS SOUS 1018246 HAS SOUPS 1018246 WITH SCORE 1019571.118
AT ITER 1578 NEW BEST:: SOT 1909754 SOS 1322952 HAS SOPS 1322952 HAS SOUS 1016293 HAS SOUPS 1016293 WITH SCORE 1017615.952
AT ITER 1586 NEW BEST:: SOT 1909724 SOS 1322708 HAS SOPS 1322708 HAS SOUS 1015946 HAS SOUPS 1015946 WITH SCORE 1017268.708
AT ITER 1589 NEW BEST:: SOT 1909148 SOS 1322132 HAS SOPS 1322132 HAS SOUS 1015370 HAS SOUPS 1015370 WITH SCORE 1016692.132
AT ITER 1593 NEW BEST:: SOT 1909148 SOS 1322172 HAS SOPS 1322172 HAS SOUS 1015350 HAS SOUPS 1015350 WITH SCORE 1016672.172
AT ITER 1598 NEW BEST:: SOT 1908396 SOS 1322236 HAS SOPS 1322236 HAS SOUS 1014639 HAS SOUPS 1014639 WITH SCORE 1015961.236
AT ITER 1599 NEW BEST:: SOT 1907725 SOS 1321565 HAS SOPS 1321565 HAS SOUS 1013968 HAS SOUPS 1013968 WITH SCORE 1015289.565
AT ITER 1600 NEW BEST:: SOT 1907005 SOS 1320845 HAS SOPS 1320845 HAS SOUS 1013030 HAS SOUPS 1013030 WITH SCORE 1014350.845
AT ITER 1601 NEW BEST:: SOT 1906564 SOS 1318849 HAS SOPS 1318849 HAS SOUS 1012013 HAS SOUPS 1012013 WITH SCORE 1013331.849
AT ITER 1605 NEW BEST:: SOT 1906325 SOS 1318424 HAS SOPS 1318424 HAS SOUS 1011585 HAS SOUPS 1011585 WITH SCORE 1012903.424
AT ITER 1608 NEW BEST:: SOT 1906266 SOS 1318333 HAS SOPS 1318333 HAS SOUS 1010954 HAS SOUPS 1010954 WITH SCORE 1012272.333
AT ITER 1610 NEW BEST:: SOT 1905863 SOS 1317527 HAS SOPS 1317527 HAS SOUS 1010777 HAS SOUPS 1010777 WITH SCORE 1012094.527
AT ITER 1615 NEW BEST:: SOT 1905887 SOS 1317439 HAS SOPS 1317439 HAS SOUS 1010256 HAS SOUPS 1010256 WITH SCORE 1011573.439
AT ITER 1616 NEW BEST:: SOT 1905764 SOS 1317316 HAS SOPS 1317316 HAS SOUS 1010131 HAS SOUPS 1010131 WITH SCORE 1011448.316
AT ITER 1617 NEW BEST:: SOT 1905777 SOS 1317316 HAS SOPS 1317316 HAS SOUS 1010118 HAS SOUPS 1010118 WITH SCORE 1011435.316
AT ITER 1618 NEW BEST:: SOT 1905454 SOS 1316013 HAS SOPS 1316013 HAS SOUS 1009183 HAS SOUPS 1009183 WITH SCORE 1010499.013
AT ITER 1623 NEW BEST:: SOT 1905457 SOS 1316015 HAS SOPS 1316015 HAS SOUS 1009173 HAS SOUPS 1009173 WITH SCORE 1010489.015
AT ITER 1625 NEW BEST:: SOT 1904853 SOS 1315479 HAS SOPS 1315479 HAS SOUS 1008689 HAS SOUPS 1008689 WITH SCORE 1010004.479
AT ITER 1633 NEW BEST:: SOT 1904853 SOS 1315639 HAS SOPS 1315639 HAS SOUS 1008625 HAS SOUPS 1008625 WITH SCORE 1009940.639
AT ITER 1637 NEW BEST:: SOT 1904577 SOS 1315053 HAS SOPS 1315053 HAS SOUS 1007835 HAS SOUPS 1007835 WITH SCORE 1009150.053
AT ITER 1653 NEW BEST:: SOT 1904108 SOS 1314584 HAS SOPS 1314584 HAS SOUS 1007366 HAS SOUPS 1007366 WITH SCORE 1008680.584
AT ITER 1660 NEW BEST:: SOT 1903266 SOS 1313742 HAS SOPS 1313742 HAS SOUS 1006523 HAS SOUPS 1006523 WITH SCORE 1007836.742
AT ITER 1664 NEW BEST:: SOT 1903185 SOS 1313568 HAS SOPS 1313568 HAS SOUS 1006498 HAS SOUPS 1006498 WITH SCORE 1007811.568
AT ITER 1665 NEW BEST:: SOT 1902920 SOS 1313163 HAS SOPS 1313163 HAS SOUS 1006092 HAS SOUPS 1006092 WITH SCORE 1007405.163
AT ITER 1670 NEW BEST:: SOT 1902893 SOS 1313104 HAS SOPS 1313104 HAS SOUS 1005908 HAS SOUPS 1005908 WITH SCORE 1007221.104
AT ITER 1671 NEW BEST:: SOT 1902893 SOS 1313021 HAS SOPS 1313021 HAS SOUS 1005825 HAS SOUPS 1005825 WITH SCORE 1007138.021
AT ITER 1677 NEW BEST:: SOT 1902658 SOS 1310554 HAS SOPS 1310554 HAS SOUS 1004275 HAS SOUPS 1004275 WITH SCORE 1005585.554
AT ITER 1684 NEW BEST:: SOT 1902458 SOS 1310354 HAS SOPS 1310354 HAS SOUS 1004075 HAS SOUPS 1004075 WITH SCORE 1005385.354
AT ITER 1690 NEW BEST:: SOT 1902413 SOS 1309554 HAS SOPS 1309554 HAS SOUS 1003981 HAS SOUPS 1003981 WITH SCORE 1005290.554
AT ITER 1692 NEW BEST:: SOT 1902231 SOS 1309472 HAS SOPS 1309472 HAS SOUS 1003976 HAS SOUPS 1003976 WITH SCORE 1005285.472
AT ITER 1695 NEW BEST:: SOT 1901646 SOS 1308887 HAS SOPS 1308887 HAS SOUS 1003391 HAS SOUPS 1003391 WITH SCORE 1004699.887
AT ITER 1697 NEW BEST:: SOT 1901593 SOS 1308675 HAS SOPS 1308675 HAS SOUS 1003274 HAS SOUPS 1003274 WITH SCORE 1004582.675
AT ITER 1698 NEW BEST:: SOT 1901419 SOS 1304938 HAS SOPS 1304938 HAS SOUS 1000200 HAS SOUPS 1000200 WITH SCORE 1001504.938
AT ITER 1703 NEW BEST:: SOT 1901062 SOS 1304581 HAS SOPS 1304581 HAS SOUS 999843 HAS SOUPS 999843 WITH SCORE 1001147.581
AT ITER 1705 NEW BEST:: SOT 1901062 SOS 1304476 HAS SOPS 1304476 HAS SOUS 999633 HAS SOUPS 999633 WITH SCORE 1000937.476
AT ITER 1708 NEW BEST:: SOT 1901046 SOS 1304753 HAS SOPS 1304753 HAS SOUS 998757 HAS SOUPS 998757 WITH SCORE 1000061.753
AT ITER 1713 NEW BEST:: SOT 1900566 SOS 1301614 HAS SOPS 1301614 HAS SOUS 997690 HAS SOUPS 997690 WITH SCORE 998991.614
AT ITER 1717 NEW BEST:: SOT 1900699 SOS 1298484 HAS SOPS 1298484 HAS SOUS 994949 HAS SOUPS 994949 WITH SCORE 996247.484
AT ITER 1721 NEW BEST:: SOT 1900254 SOS 1297857 HAS SOPS 1297857 HAS SOUS 994417 HAS SOUPS 994417 WITH SCORE 995714.857
AT ITER 1722 NEW BEST:: SOT 1900254 SOS 1297889 HAS SOPS 1297889 HAS SOUS 994269 HAS SOUPS 994269 WITH SCORE 995566.889
AT ITER 1729 NEW BEST:: SOT 1899642 SOS 1296352 HAS SOPS 1296352 HAS SOUS 993645 HAS SOUPS 993645 WITH SCORE 994941.352
AT ITER 1730 NEW BEST:: SOT 1899262 SOS 1295972 HAS SOPS 1295972 HAS SOUS 993265 HAS SOUPS 993265 WITH SCORE 994560.972
AT ITER 1735 NEW BEST:: SOT 1898544 SOS 1294932 HAS SOPS 1294932 HAS SOUS 992185 HAS SOUPS 992185 WITH SCORE 993479.932
AT ITER 1737 NEW BEST:: SOT 1898474 SOS 1294862 HAS SOPS 1294862 HAS SOUS 992115 HAS SOUPS 992115 WITH SCORE 993409.862
AT ITER 1742 NEW BEST:: SOT 1898195 SOS 1294366 HAS SOPS 1294366 HAS SOUS 989624 HAS SOUPS 989624 WITH SCORE 990918.366
AT ITER 1746 NEW BEST:: SOT 1898600 SOS 1294003 HAS SOPS 1294003 HAS SOUS 989306 HAS SOUPS 989306 WITH SCORE 990600.003
AT ITER 1749 NEW BEST:: SOT 1898586 SOS 1293989 HAS SOPS 1293989 HAS SOUS 989292 HAS SOUPS 989292 WITH SCORE 990585.989
AT ITER 1752 NEW BEST:: SOT 1898430 SOS 1293787 HAS SOPS 1293787 HAS SOUS 988783 HAS SOUPS 988783 WITH SCORE 990076.787
AT ITER 1755 NEW BEST:: SOT 1898299 SOS 1293765 HAS SOPS 1293765 HAS SOUS 988681 HAS SOUPS 988681 WITH SCORE 989974.765
AT ITER 1762 NEW BEST:: SOT 1898361 SOS 1293868 HAS SOPS 1293868 HAS SOUS 988660 HAS SOUPS 988660 WITH SCORE 989953.868
AT ITER 1766 NEW BEST:: SOT 1898361 SOS 1293868 HAS SOPS 1293868 HAS SOUS 988653 HAS SOUPS 988653 WITH SCORE 989946.868
AT ITER 1771 NEW BEST:: SOT 1898361 SOS 1293716 HAS SOPS 1293716 HAS SOUS 988533 HAS SOUPS 988533 WITH SCORE 989826.716
AT ITER 1774 NEW BEST:: SOT 1898032 SOS 1292443 HAS SOPS 1292443 HAS SOUS 988030 HAS SOUPS 988030 WITH SCORE 989322.443
AT ITER 1793 NEW BEST:: SOT 1897914 SOS 1292266 HAS SOPS 1292266 HAS SOUS 987853 HAS SOUPS 987853 WITH SCORE 989145.266
AT ITER 1794 NEW BEST:: SOT 1897582 SOS 1290948 HAS SOPS 1290948 HAS SOUS 987745 HAS SOUPS 987745 WITH SCORE 989035.948
AT ITER 1796 NEW BEST:: SOT 1897565 SOS 1290931 HAS SOPS 1290931 HAS SOUS 987728 HAS SOUPS 987728 WITH SCORE 989018.931
AT ITER 1804 NEW BEST:: SOT 1897244 SOS 1290610 HAS SOPS 1290610 HAS SOUS 987407 HAS SOUPS 987407 WITH SCORE 988697.61
AT ITER 1808 NEW BEST:: SOT 1897244 SOS 1290812 HAS SOPS 1290812 HAS SOUS 987362 HAS SOUPS 987362 WITH SCORE 988652.812
AT ITER 1811 NEW BEST:: SOT 1897244 SOS 1290812 HAS SOPS 1290812 HAS SOUS 987228 HAS SOUPS 987228 WITH SCORE 988518.812
AT ITER 1817 NEW BEST:: SOT 1897526 SOS 1291027 HAS SOPS 1291027 HAS SOUS 987157 HAS SOUPS 987157 WITH SCORE 988448.027
AT ITER 1818 NEW BEST:: SOT 1897526 SOS 1290917 HAS SOPS 1290917 HAS SOUS 986946 HAS SOUPS 986946 WITH SCORE 988236.917
AT ITER 1819 NEW BEST:: SOT 1897592 SOS 1292727 HAS SOPS 1292727 HAS SOUS 986686 HAS SOUPS 986686 WITH SCORE 987978.727
AT ITER 1829 NEW BEST:: SOT 1896417 SOS 1289513 HAS SOPS 1289513 HAS SOUS 983534 HAS SOUPS 983534 WITH SCORE 984823.513
AT ITER 1831 NEW BEST:: SOT 1896072 SOS 1289057 HAS SOPS 1289057 HAS SOUS 983072 HAS SOUPS 983072 WITH SCORE 984361.057
AT ITER 1832 NEW BEST:: SOT 1896072 SOS 1289147 HAS SOPS 1289147 HAS SOUS 982738 HAS SOUPS 982738 WITH SCORE 984027.147
AT ITER 1833 NEW BEST:: SOT 1896056 SOS 1288591 HAS SOPS 1288591 HAS SOUS 982468 HAS SOUPS 982468 WITH SCORE 983756.591
AT ITER 1837 NEW BEST:: SOT 1896040 SOS 1288331 HAS SOPS 1288331 HAS SOUS 982436 HAS SOUPS 982436 WITH SCORE 983724.331
AT ITER 1838 NEW BEST:: SOT 1894256 SOS 1284430 HAS SOPS 1284430 HAS SOUS 979707 HAS SOUPS 979707 WITH SCORE 980991.43
AT ITER 1840 NEW BEST:: SOT 1894160 SOS 1284065 HAS SOPS 1284065 HAS SOUS 979472 HAS SOUPS 979472 WITH SCORE 980756.065
AT ITER 1843 NEW BEST:: SOT 1893469 SOS 1283768 HAS SOPS 1283768 HAS SOUS 978978 HAS SOUPS 978978 WITH SCORE 980261.768
AT ITER 1844 NEW BEST:: SOT 1893830 SOS 1286599 HAS SOPS 1286599 HAS SOUS 978932 HAS SOUPS 978932 WITH SCORE 980218.599
AT ITER 1848 NEW BEST:: SOT 1893495 SOS 1286260 HAS SOPS 1286260 HAS SOUS 978595 HAS SOUPS 978595 WITH SCORE 979881.26
AT ITER 1852 NEW BEST:: SOT 1893590 SOS 1286475 HAS SOPS 1286475 HAS SOUS 978465 HAS SOUPS 978465 WITH SCORE 979751.475
AT ITER 1853 NEW BEST:: SOT 1893590 SOS 1286483 HAS SOPS 1286483 HAS SOUS 978453 HAS SOUPS 978453 WITH SCORE 979739.483
AT ITER 1855 NEW BEST:: SOT 1893482 SOS 1286250 HAS SOPS 1286250 HAS SOUS 978004 HAS SOUPS 978004 WITH SCORE 979290.25
AT ITER 1859 NEW BEST:: SOT 1892719 SOS 1285487 HAS SOPS 1285487 HAS SOUS 977002 HAS SOUPS 977002 WITH SCORE 978287.487
AT ITER 1862 NEW BEST:: SOT 1892719 SOS 1285459 HAS SOPS 1285459 HAS SOUS 976963 HAS SOUPS 976963 WITH SCORE 978248.459
AT ITER 1871 NEW BEST:: SOT 1892684 SOS 1285249 HAS SOPS 1285249 HAS SOUS 976823 HAS SOUPS 976823 WITH SCORE 978108.249
AT ITER 1877 NEW BEST:: SOT 1892274 SOS 1282991 HAS SOPS 1282991 HAS SOUS 975770 HAS SOUPS 975770 WITH SCORE 977052.991
AT ITER 1880 NEW BEST:: SOT 1892008 SOS 1282725 HAS SOPS 1282725 HAS SOUS 975504 HAS SOUPS 975504 WITH SCORE 976786.725
AT ITER 1881 NEW BEST:: SOT 1891769 SOS 1282486 HAS SOPS 1282486 HAS SOUS 975265 HAS SOUPS 975265 WITH SCORE 976547.486
AT ITER 1882 NEW BEST:: SOT 1891380 SOS 1282412 HAS SOPS 1282412 HAS SOUS 973731 HAS SOUPS 973731 WITH SCORE 975013.412
AT ITER 1888 NEW BEST:: SOT 1891695 SOS 1281650 HAS SOPS 1281650 HAS SOUS 973700 HAS SOUPS 973700 WITH SCORE 974981.65
AT ITER 1890 NEW BEST:: SOT 1891345 SOS 1281295 HAS SOPS 1281295 HAS SOUS 973338 HAS SOUPS 973338 WITH SCORE 974619.295
AT ITER 1895 NEW BEST:: SOT 1891278 SOS 1281161 HAS SOPS 1281161 HAS SOUS 973095 HAS SOUPS 973095 WITH SCORE 974376.161
AT ITER 1896 NEW BEST:: SOT 1891269 SOS 1281152 HAS SOPS 1281152 HAS SOUS 973086 HAS SOUPS 973086 WITH SCORE 974367.152
AT ITER 1898 NEW BEST:: SOT 1891225 SOS 1280900 HAS SOPS 1280900 HAS SOUS 972834 HAS SOUPS 972834 WITH SCORE 974114.9
AT ITER 1902 NEW BEST:: SOT 1891141 SOS 1279648 HAS SOPS 1279648 HAS SOUS 972827 HAS SOUPS 972827 WITH SCORE 974106.648
AT ITER 1903 NEW BEST:: SOT 1890851 SOS 1278771 HAS SOPS 1278771 HAS SOUS 971485 HAS SOUPS 971485 WITH SCORE 972763.771
AT ITER 1917 NEW BEST:: SOT 1890472 SOS 1278392 HAS SOPS 1278392 HAS SOUS 971106 HAS SOUPS 971106 WITH SCORE 972384.392
AT ITER 1919 NEW BEST:: SOT 1890046 SOS 1276535 HAS SOPS 1276535 HAS SOUS 970541 HAS SOUPS 970541 WITH SCORE 971817.535
AT ITER 1922 NEW BEST:: SOT 1889952 SOS 1276159 HAS SOPS 1276159 HAS SOUS 970394 HAS SOUPS 970394 WITH SCORE 971670.159
AT ITER 1924 NEW BEST:: SOT 1889938 SOS 1276117 HAS SOPS 1276117 HAS SOUS 970380 HAS SOUPS 970380 WITH SCORE 971656.117
AT ITER 1925 NEW BEST:: SOT 1888197 SOS 1274280 HAS SOPS 1274280 HAS SOUS 967625 HAS SOUPS 967625 WITH SCORE 968899.28
AT ITER 1927 NEW BEST:: SOT 1887690 SOS 1273509 HAS SOPS 1273509 HAS SOUS 967148 HAS SOUPS 967148 WITH SCORE 968421.509
AT ITER 1935 NEW BEST:: SOT 1887250 SOS 1273069 HAS SOPS 1273069 HAS SOUS 966708 HAS SOUPS 966708 WITH SCORE 967981.069
AT ITER 1939 NEW BEST:: SOT 1885655 SOS 1266514 HAS SOPS 1266514 HAS SOUS 963708 HAS SOUPS 963708 WITH SCORE 964974.514
AT ITER 1943 NEW BEST:: SOT 1884581 SOS 1265149 HAS SOPS 1265149 HAS SOUS 962343 HAS SOUPS 962343 WITH SCORE 963608.149
AT ITER 1945 NEW BEST:: SOT 1884581 SOS 1265018 HAS SOPS 1265018 HAS SOUS 962212 HAS SOUPS 962212 WITH SCORE 963477.018
AT ITER 1952 NEW BEST:: SOT 1884106 SOS 1264543 HAS SOPS 1264543 HAS SOUS 961737 HAS SOUPS 961737 WITH SCORE 963001.543
AT ITER 1953 NEW BEST:: SOT 1883762 SOS 1264199 HAS SOPS 1264199 HAS SOUS 961393 HAS SOUPS 961393 WITH SCORE 962657.199
AT ITER 1955 NEW BEST:: SOT 1883042 SOS 1263335 HAS SOPS 1263335 HAS SOUS 960045 HAS SOUPS 960045 WITH SCORE 961308.335
AT ITER 1961 NEW BEST:: SOT 1882711 SOS 1262834 HAS SOPS 1262834 HAS SOUS 959459 HAS SOUPS 959459 WITH SCORE 960721.834
AT ITER 1964 NEW BEST:: SOT 1881530 SOS 1261653 HAS SOPS 1261653 HAS SOUS 958278 HAS SOUPS 958278 WITH SCORE 959539.653
AT ITER 1965 NEW BEST:: SOT 1881528 SOS 1261662 HAS SOPS 1261662 HAS SOUS 958061 HAS SOUPS 958061 WITH SCORE 959322.662
AT ITER 1977 NEW BEST:: SOT 1881224 SOS 1261358 HAS SOPS 1261358 HAS SOUS 957701 HAS SOUPS 957701 WITH SCORE 958962.358
AT ITER 1986 NEW BEST:: SOT 1880893 SOS 1260936 HAS SOPS 1260936 HAS SOUS 957275 HAS SOUPS 957275 WITH SCORE 958535.936
AT ITER 2003 NEW BEST:: SOT 1880562 SOS 1260605 HAS SOPS 1260605 HAS SOUS 956944 HAS SOUPS 956944 WITH SCORE 958204.605
AT ITER 2005 NEW BEST:: SOT 1880424 SOS 1260053 HAS SOPS 1260053 HAS SOUS 956530 HAS SOUPS 956530 WITH SCORE 957790.053
AT ITER 2010 NEW BEST:: SOT 1880436 SOS 1259824 HAS SOPS 1259824 HAS SOUS 956140 HAS SOUPS 956140 WITH SCORE 957399.824
AT ITER 2014 NEW BEST:: SOT 1879930 SOS 1259318 HAS SOPS 1259318 HAS SOUS 955634 HAS SOUPS 955634 WITH SCORE 956893.318
AT ITER 2015 NEW BEST:: SOT 1880041 SOS 1258761 HAS SOPS 1258761 HAS SOUS 955365 HAS SOUPS 955365 WITH SCORE 956623.761
AT ITER 2026 NEW BEST:: SOT 1880243 SOS 1258963 HAS SOPS 1258963 HAS SOUS 955216 HAS SOUPS 955216 WITH SCORE 956474.963
AT ITER 2032 NEW BEST:: SOT 1880070 SOS 1258247 HAS SOPS 1258247 HAS SOUS 954871 HAS SOUPS 954871 WITH SCORE 956129.247
AT ITER 2034 NEW BEST:: SOT 1879619 SOS 1256813 HAS SOPS 1256813 HAS SOUS 953969 HAS SOUPS 953969 WITH SCORE 955225.813
AT ITER 2038 NEW BEST:: SOT 1879607 SOS 1256801 HAS SOPS 1256801 HAS SOUS 953957 HAS SOUPS 953957 WITH SCORE 955213.801
AT ITER 2041 NEW BEST:: SOT 1878726 SOS 1255920 HAS SOPS 1255920 HAS SOUS 953075 HAS SOUPS 953075 WITH SCORE 954330.92
AT ITER 2046 NEW BEST:: SOT 1877766 SOS 1251600 HAS SOPS 1251600 HAS SOUS 950057 HAS SOUPS 950057 WITH SCORE 951308.6
AT ITER 2053 NEW BEST:: SOT 1877713 SOS 1251512 HAS SOPS 1251512 HAS SOUS 949949 HAS SOUPS 949949 WITH SCORE 951200.512
AT ITER 2057 NEW BEST:: SOT 1877498 SOS 1247437 HAS SOPS 1247437 HAS SOUS 948633 HAS SOUPS 948633 WITH SCORE 949880.437
AT ITER 2058 NEW BEST:: SOT 1877339 SOS 1246367 HAS SOPS 1246367 HAS SOUS 948214 HAS SOUPS 948214 WITH SCORE 949460.367
AT ITER 2063 NEW BEST:: SOT 1876381 SOS 1245728 HAS SOPS 1245728 HAS SOUS 947230 HAS SOUPS 947230 WITH SCORE 948475.728
AT ITER 2064 NEW BEST:: SOT 1876173 SOS 1245520 HAS SOPS 1245520 HAS SOUS 946690 HAS SOUPS 946690 WITH SCORE 947935.52
AT ITER 2065 NEW BEST:: SOT 1875943 SOS 1245134 HAS SOPS 1245134 HAS SOUS 946324 HAS SOUPS 946324 WITH SCORE 947569.134
AT ITER 2066 NEW BEST:: SOT 1875803 SOS 1245119 HAS SOPS 1245119 HAS SOUS 946181 HAS SOUPS 946181 WITH SCORE 947426.119
AT ITER 2067 NEW BEST:: SOT 1876287 SOS 1243385 HAS SOPS 1243385 HAS SOUS 946011 HAS SOUPS 946011 WITH SCORE 947254.385
AT ITER 2071 NEW BEST:: SOT 1875812 SOS 1242910 HAS SOPS 1242910 HAS SOUS 945434 HAS SOUPS 945434 WITH SCORE 946676.91
AT ITER 2078 NEW BEST:: SOT 1875812 SOS 1242973 HAS SOPS 1242973 HAS SOUS 945392 HAS SOUPS 945392 WITH SCORE 946634.973
AT ITER 2081 NEW BEST:: SOT 1875789 SOS 1242950 HAS SOPS 1242950 HAS SOUS 945369 HAS SOUPS 945369 WITH SCORE 946611.95
AT ITER 2085 NEW BEST:: SOT 1875790 SOS 1242828 HAS SOPS 1242828 HAS SOUS 945335 HAS SOUPS 945335 WITH SCORE 946577.828
AT ITER 2087 NEW BEST:: SOT 1875608 SOS 1242646 HAS SOPS 1242646 HAS SOUS 945240 HAS SOUPS 945240 WITH SCORE 946482.646
AT ITER 2089 NEW BEST:: SOT 1875592 SOS 1242630 HAS SOPS 1242630 HAS SOUS 945224 HAS SOUPS 945224 WITH SCORE 946466.63
AT ITER 2092 NEW BEST:: SOT 1874937 SOS 1240862 HAS SOPS 1240862 HAS SOUS 942648 HAS SOUPS 942648 WITH SCORE 943888.862
AT ITER 2097 NEW BEST:: SOT 1874937 SOS 1240200 HAS SOPS 1240200 HAS SOUS 942600 HAS SOUPS 942600 WITH SCORE 943840.2
AT ITER 2098 NEW BEST:: SOT 1874742 SOS 1240005 HAS SOPS 1240005 HAS SOUS 942405 HAS SOUPS 942405 WITH SCORE 943645.005
AT ITER 2102 NEW BEST:: SOT 1875147 SOS 1239112 HAS SOPS 1239112 HAS SOUS 941074 HAS SOUPS 941074 WITH SCORE 942313.112
AT ITER 2104 NEW BEST:: SOT 1875021 SOS 1238858 HAS SOPS 1238858 HAS SOUS 940820 HAS SOUPS 940820 WITH SCORE 942058.858
AT ITER 2105 NEW BEST:: SOT 1873240 SOS 1237077 HAS SOPS 1237077 HAS SOUS 939039 HAS SOUPS 939039 WITH SCORE 940276.077
AT ITER 2113 NEW BEST:: SOT 1873057 SOS 1236790 HAS SOPS 1236790 HAS SOUS 938680 HAS SOUPS 938680 WITH SCORE 939916.79
AT ITER 2116 NEW BEST:: SOT 1872734 SOS 1236467 HAS SOPS 1236467 HAS SOUS 938357 HAS SOUPS 938357 WITH SCORE 939593.467
AT ITER 2117 NEW BEST:: SOT 1872718 SOS 1234847 HAS SOPS 1234847 HAS SOUS 938277 HAS SOUPS 938277 WITH SCORE 939511.847
AT ITER 2124 NEW BEST:: SOT 1872622 SOS 1234433 HAS SOPS 1234433 HAS SOUS 937859 HAS SOUPS 937859 WITH SCORE 939093.433
AT ITER 2144 NEW BEST:: SOT 1872584 SOS 1234395 HAS SOPS 1234395 HAS SOUS 937708 HAS SOUPS 937708 WITH SCORE 938942.395
AT ITER 2150 NEW BEST:: SOT 1871483 SOS 1233064 HAS SOPS 1233064 HAS SOUS 936991 HAS SOUPS 936991 WITH SCORE 938224.064
AT ITER 2154 NEW BEST:: SOT 1871483 SOS 1233064 HAS SOPS 1233064 HAS SOUS 936975 HAS SOUPS 936975 WITH SCORE 938208.064
AT ITER 2156 NEW BEST:: SOT 1871483 SOS 1233064 HAS SOPS 1233064 HAS SOUS 936968 HAS SOUPS 936968 WITH SCORE 938201.064
AT ITER 2158 NEW BEST:: SOT 1871385 SOS 1232966 HAS SOPS 1232966 HAS SOUS 936869 HAS SOUPS 936869 WITH SCORE 938101.966
AT ITER 2159 NEW BEST:: SOT 1871329 SOS 1232910 HAS SOPS 1232910 HAS SOUS 936813 HAS SOUPS 936813 WITH SCORE 938045.91
AT ITER 2166 NEW BEST:: SOT 1870818 SOS 1230355 HAS SOPS 1230355 HAS SOUS 936813 HAS SOUPS 936813 WITH SCORE 938043.355
AT ITER 2170 NEW BEST:: SOT 1870660 SOS 1230339 HAS SOPS 1230339 HAS SOUS 936797 HAS SOUPS 936797 WITH SCORE 938027.339
AT ITER 2175 NEW BEST:: SOT 1870583 SOS 1230153 HAS SOPS 1230153 HAS SOUS 936611 HAS SOUPS 936611 WITH SCORE 937841.153
AT ITER 2176 NEW BEST:: SOT 1870457 SOS 1229291 HAS SOPS 1229291 HAS SOUS 936314 HAS SOUPS 936314 WITH SCORE 937543.291
AT ITER 2179 NEW BEST:: SOT 1870457 SOS 1229883 HAS SOPS 1229883 HAS SOUS 935428 HAS SOUPS 935428 WITH SCORE 936657.883
AT ITER 2194 NEW BEST:: SOT 1870457 SOS 1229883 HAS SOPS 1229883 HAS SOUS 935328 HAS SOUPS 935328 WITH SCORE 936557.883
AT ITER 2195 NEW BEST:: SOT 1870251 SOS 1228531 HAS SOPS 1228531 HAS SOUS 935050 HAS SOUPS 935050 WITH SCORE 936278.531
AT ITER 2196 NEW BEST:: SOT 1870251 SOS 1229244 HAS SOPS 1229244 HAS SOUS 934866 HAS SOUPS 934866 WITH SCORE 936095.244
AT ITER 2198 NEW BEST:: SOT 1870664 SOS 1229378 HAS SOPS 1229378 HAS SOUS 934621 HAS SOUPS 934621 WITH SCORE 935850.378
AT ITER 2202 NEW BEST:: SOT 1870505 SOS 1229080 HAS SOPS 1229080 HAS SOUS 934323 HAS SOUPS 934323 WITH SCORE 935552.08
AT ITER 2208 NEW BEST:: SOT 1870581 SOS 1229809 HAS SOPS 1229809 HAS SOUS 933542 HAS SOUPS 933542 WITH SCORE 934771.809
AT ITER 2214 NEW BEST:: SOT 1870626 SOS 1230473 HAS SOPS 1230473 HAS SOUS 933527 HAS SOUPS 933527 WITH SCORE 934757.473
AT ITER 2219 NEW BEST:: SOT 1870626 SOS 1230462 HAS SOPS 1230462 HAS SOUS 933526 HAS SOUPS 933526 WITH SCORE 934756.462
AT ITER 2225 NEW BEST:: SOT 1870347 SOS 1230183 HAS SOPS 1230183 HAS SOUS 933247 HAS SOUPS 933247 WITH SCORE 934477.183
AT ITER 2227 NEW BEST:: SOT 1870217 SOS 1230053 HAS SOPS 1230053 HAS SOUS 933117 HAS SOUPS 933117 WITH SCORE 934347.053
AT ITER 2228 NEW BEST:: SOT 1870216 SOS 1230052 HAS SOPS 1230052 HAS SOUS 933116 HAS SOUPS 933116 WITH SCORE 934346.052
AT ITER 2229 NEW BEST:: SOT 1870332 SOS 1230511 HAS SOPS 1230511 HAS SOUS 932389 HAS SOUPS 932389 WITH SCORE 933619.511
AT ITER 2230 NEW BEST:: SOT 1870157 SOS 1230161 HAS SOPS 1230161 HAS SOUS 931964 HAS SOUPS 931964 WITH SCORE 933194.161
AT ITER 2232 NEW BEST:: SOT 1869807 SOS 1229811 HAS SOPS 1229811 HAS SOUS 931485 HAS SOUPS 931485 WITH SCORE 932714.811
AT ITER 2235 NEW BEST:: SOT 1869551 SOS 1229815 HAS SOPS 1229815 HAS SOUS 931372 HAS SOUPS 931372 WITH SCORE 932601.815
AT ITER 2257 NEW BEST:: SOT 1869551 SOS 1229718 HAS SOPS 1229718 HAS SOUS 931059 HAS SOUPS 931059 WITH SCORE 932288.718
AT ITER 2263 NEW BEST:: SOT 1869429 SOS 1229596 HAS SOPS 1229596 HAS SOUS 930937 HAS SOUPS 930937 WITH SCORE 932166.596
AT ITER 2264 NEW BEST:: SOT 1869293 SOS 1229460 HAS SOPS 1229460 HAS SOUS 930801 HAS SOUPS 930801 WITH SCORE 932030.46
AT ITER 2280 NEW BEST:: SOT 1869258 SOS 1229425 HAS SOPS 1229425 HAS SOUS 930757 HAS SOUPS 930757 WITH SCORE 931986.425
AT ITER 2286 NEW BEST:: SOT 1868941 SOS 1229934 HAS SOPS 1229934 HAS SOUS 929212 HAS SOUPS 929212 WITH SCORE 930441.934
AT ITER 2292 NEW BEST:: SOT 1868406 SOS 1226033 HAS SOPS 1226033 HAS SOUS 928543 HAS SOUPS 928543 WITH SCORE 929769.033
AT ITER 2293 NEW BEST:: SOT 1867812 SOS 1224918 HAS SOPS 1224918 HAS SOUS 926061 HAS SOUPS 926061 WITH SCORE 927285.918
AT ITER 2302 NEW BEST:: SOT 1868442 SOS 1225682 HAS SOPS 1225682 HAS SOUS 925771 HAS SOUPS 925771 WITH SCORE 926996.682
AT ITER 2306 NEW BEST:: SOT 1868275 SOS 1225340 HAS SOPS 1225340 HAS SOUS 925611 HAS SOUPS 925611 WITH SCORE 926836.34
AT ITER 2307 NEW BEST:: SOT 1867923 SOS 1225295 HAS SOPS 1225295 HAS SOUS 925607 HAS SOUPS 925607 WITH SCORE 926832.295
AT ITER 2315 NEW BEST:: SOT 1867424 SOS 1224467 HAS SOPS 1224467 HAS SOUS 924637 HAS SOUPS 924637 WITH SCORE 925861.467
AT ITER 2317 NEW BEST:: SOT 1867404 SOS 1225139 HAS SOPS 1225139 HAS SOUS 924628 HAS SOUPS 924628 WITH SCORE 925853.139
AT ITER 2339 NEW BEST:: SOT 1867193 SOS 1224355 HAS SOPS 1224355 HAS SOUS 923712 HAS SOUPS 923712 WITH SCORE 924936.355
AT ITER 2340 NEW BEST:: SOT 1867242 SOS 1224022 HAS SOPS 1224022 HAS SOUS 923556 HAS SOUPS 923556 WITH SCORE 924780.022
AT ITER 2346 NEW BEST:: SOT 1867137 SOS 1223362 HAS SOPS 1223362 HAS SOUS 923314 HAS SOUPS 923314 WITH SCORE 924537.362
AT ITER 2349 NEW BEST:: SOT 1866985 SOS 1223434 HAS SOPS 1223434 HAS SOUS 923274 HAS SOUPS 923274 WITH SCORE 924497.434
AT ITER 2350 NEW BEST:: SOT 1866985 SOS 1223345 HAS SOPS 1223345 HAS SOUS 923185 HAS SOUPS 923185 WITH SCORE 924408.345
AT ITER 2351 NEW BEST:: SOT 1866889 SOS 1223153 HAS SOPS 1223153 HAS SOUS 922993 HAS SOUPS 922993 WITH SCORE 924216.153
AT ITER 2358 NEW BEST:: SOT 1866751 SOS 1223015 HAS SOPS 1223015 HAS SOUS 922854 HAS SOUPS 922854 WITH SCORE 924077.015
AT ITER 2359 NEW BEST:: SOT 1866365 SOS 1222345 HAS SOPS 1222345 HAS SOUS 922445 HAS SOUPS 922445 WITH SCORE 923667.345
AT ITER 2360 NEW BEST:: SOT 1866343 SOS 1222009 HAS SOPS 1222009 HAS SOUS 921998 HAS SOUPS 921998 WITH SCORE 923220.009
AT ITER 2365 NEW BEST:: SOT 1865674 SOS 1221336 HAS SOPS 1221336 HAS SOUS 920680 HAS SOUPS 920680 WITH SCORE 921901.336
AT ITER 2371 NEW BEST:: SOT 1865639 SOS 1221301 HAS SOPS 1221301 HAS SOUS 920645 HAS SOUPS 920645 WITH SCORE 921866.301
AT ITER 2372 NEW BEST:: SOT 1865529 SOS 1220445 HAS SOPS 1220445 HAS SOUS 920471 HAS SOUPS 920471 WITH SCORE 921691.445
AT ITER 2377 NEW BEST:: SOT 1865540 SOS 1220292 HAS SOPS 1220292 HAS SOUS 920066 HAS SOUPS 920066 WITH SCORE 921286.292
AT ITER 2381 NEW BEST:: SOT 1865293 SOS 1219798 HAS SOPS 1219798 HAS SOUS 918690 HAS SOUPS 918690 WITH SCORE 919909.798
AT ITER 2385 NEW BEST:: SOT 1865247 SOS 1219499 HAS SOPS 1219499 HAS SOUS 918459 HAS SOUPS 918459 WITH SCORE 919678.499
AT ITER 2389 NEW BEST:: SOT 1865142 SOS 1219352 HAS SOPS 1219352 HAS SOUS 918333 HAS SOUPS 918333 WITH SCORE 919552.352
AT ITER 2394 NEW BEST:: SOT 1865142 SOS 1219447 HAS SOPS 1219447 HAS SOUS 917927 HAS SOUPS 917927 WITH SCORE 919146.447
AT ITER 2397 NEW BEST:: SOT 1865134 SOS 1219439 HAS SOPS 1219439 HAS SOUS 917919 HAS SOUPS 917919 WITH SCORE 919138.439
AT ITER 2399 NEW BEST:: SOT 1865121 SOS 1219519 HAS SOPS 1219519 HAS SOUS 917794 HAS SOUPS 917794 WITH SCORE 919013.519
AT ITER 2401 NEW BEST:: SOT 1865003 SOS 1219390 HAS SOPS 1219390 HAS SOUS 917629 HAS SOUPS 917629 WITH SCORE 918848.39
AT ITER 2404 NEW BEST:: SOT 1865003 SOS 1219714 HAS SOPS 1219714 HAS SOUS 917431 HAS SOUPS 917431 WITH SCORE 918650.714
AT ITER 2406 NEW BEST:: SOT 1864805 SOS 1219441 HAS SOPS 1219441 HAS SOUS 916938 HAS SOUPS 916938 WITH SCORE 918157.441
AT ITER 2414 NEW BEST:: SOT 1864766 SOS 1219565 HAS SOPS 1219565 HAS SOUS 915793 HAS SOUPS 915793 WITH SCORE 917012.565
AT ITER 2418 NEW BEST:: SOT 1864693 SOS 1219542 HAS SOPS 1219542 HAS SOUS 915770 HAS SOUPS 915770 WITH SCORE 916989.542
AT ITER 2419 NEW BEST:: SOT 1863983 SOS 1218548 HAS SOPS 1218548 HAS SOUS 914669 HAS SOUPS 914669 WITH SCORE 915887.548
AT ITER 2420 NEW BEST:: SOT 1863623 SOS 1218187 HAS SOPS 1218187 HAS SOUS 914082 HAS SOUPS 914082 WITH SCORE 915300.187
AT ITER 2422 NEW BEST:: SOT 1863653 SOS 1218081 HAS SOPS 1218081 HAS SOUS 913888 HAS SOUPS 913888 WITH SCORE 915106.081
AT ITER 2427 NEW BEST:: SOT 1863565 SOS 1217966 HAS SOPS 1217966 HAS SOUS 913773 HAS SOUPS 913773 WITH SCORE 914990.966
AT ITER 2430 NEW BEST:: SOT 1862408 SOS 1216809 HAS SOPS 1216809 HAS SOUS 912616 HAS SOUPS 912616 WITH SCORE 913832.809
AT ITER 2434 NEW BEST:: SOT 1862131 SOS 1216802 HAS SOPS 1216802 HAS SOUS 912608 HAS SOUPS 912608 WITH SCORE 913824.802
AT ITER 2437 NEW BEST:: SOT 1862019 SOS 1216565 HAS SOPS 1216565 HAS SOUS 912071 HAS SOUPS 912071 WITH SCORE 913287.565
AT ITER 2438 NEW BEST:: SOT 1861617 SOS 1215555 HAS SOPS 1215555 HAS SOUS 911321 HAS SOUPS 911321 WITH SCORE 912536.555
AT ITER 2440 NEW BEST:: SOT 1861617 SOS 1214907 HAS SOPS 1214907 HAS SOUS 910673 HAS SOUPS 910673 WITH SCORE 911887.907
AT ITER 2446 NEW BEST:: SOT 1861591 SOS 1214881 HAS SOPS 1214881 HAS SOUS 910647 HAS SOUPS 910647 WITH SCORE 911861.881
AT ITER 2448 NEW BEST:: SOT 1861591 SOS 1213741 HAS SOPS 1213741 HAS SOUS 910017 HAS SOUPS 910017 WITH SCORE 911230.741
AT ITER 2456 NEW BEST:: SOT 1861591 SOS 1213419 HAS SOPS 1213419 HAS SOUS 909690 HAS SOUPS 909690 WITH SCORE 910903.419
AT ITER 2457 NEW BEST:: SOT 1860804 SOS 1212392 HAS SOPS 1212392 HAS SOUS 908663 HAS SOUPS 908663 WITH SCORE 909875.392
AT ITER 2460 NEW BEST:: SOT 1860592 SOS 1212255 HAS SOPS 1212255 HAS SOUS 908506 HAS SOUPS 908506 WITH SCORE 909718.255
AT ITER 2461 NEW BEST:: SOT 1861006 SOS 1213648 HAS SOPS 1213648 HAS SOUS 908193 HAS SOUPS 908193 WITH SCORE 909406.648
AT ITER 2462 NEW BEST:: SOT 1860538 SOS 1212991 HAS SOPS 1212991 HAS SOUS 907442 HAS SOUPS 907442 WITH SCORE 908654.991
AT ITER 2465 NEW BEST:: SOT 1860528 SOS 1211648 HAS SOPS 1211648 HAS SOUS 906747 HAS SOUPS 906747 WITH SCORE 907958.648
AT ITER 2466 NEW BEST:: SOT 1860552 SOS 1211529 HAS SOPS 1211529 HAS SOUS 906091 HAS SOUPS 906091 WITH SCORE 907302.529
AT ITER 2467 NEW BEST:: SOT 1860372 SOS 1211349 HAS SOPS 1211349 HAS SOUS 905911 HAS SOUPS 905911 WITH SCORE 907122.349
AT ITER 2471 NEW BEST:: SOT 1860372 SOS 1210326 HAS SOPS 1210326 HAS SOUS 905418 HAS SOUPS 905418 WITH SCORE 906628.326
AT ITER 2476 NEW BEST:: SOT 1860270 SOS 1210361 HAS SOPS 1210361 HAS SOUS 904932 HAS SOUPS 904932 WITH SCORE 906142.361
AT ITER 2478 NEW BEST:: SOT 1860315 SOS 1210348 HAS SOPS 1210348 HAS SOUS 904922 HAS SOUPS 904922 WITH SCORE 906132.348
AT ITER 2487 NEW BEST:: SOT 1860315 SOS 1210286 HAS SOPS 1210286 HAS SOUS 904922 HAS SOUPS 904922 WITH SCORE 906132.286
AT ITER 2489 NEW BEST:: SOT 1860186 SOS 1210157 HAS SOPS 1210157 HAS SOUS 904793 HAS SOUPS 904793 WITH SCORE 906003.157
AT ITER 2491 NEW BEST:: SOT 1860415 SOS 1210233 HAS SOPS 1210233 HAS SOUS 904642 HAS SOUPS 904642 WITH SCORE 905852.233
AT ITER 2492 NEW BEST:: SOT 1860302 SOS 1210343 HAS SOPS 1210343 HAS SOUS 904567 HAS SOUPS 904567 WITH SCORE 905777.343
AT ITER 2494 NEW BEST:: SOT 1860272 SOS 1210313 HAS SOPS 1210313 HAS SOUS 904531 HAS SOUPS 904531 WITH SCORE 905741.313
AT ITER 2499 NEW BEST:: SOT 1859597 SOS 1209638 HAS SOPS 1209638 HAS SOUS 903856 HAS SOUPS 903856 WITH SCORE 905065.638
AT ITER 2503 NEW BEST:: SOT 1859597 SOS 1209229 HAS SOPS 1209229 HAS SOUS 903517 HAS SOUPS 903517 WITH SCORE 904726.229
AT ITER 2509 NEW BEST:: SOT 1859664 SOS 1209188 HAS SOPS 1209188 HAS SOUS 903043 HAS SOUPS 903043 WITH SCORE 904252.188
AT ITER 2511 NEW BEST:: SOT 1859642 SOS 1209166 HAS SOPS 1209166 HAS SOUS 902999 HAS SOUPS 902999 WITH SCORE 904208.166
AT ITER 2515 NEW BEST:: SOT 1857041 SOS 1205954 HAS SOPS 1205954 HAS SOUS 898473 HAS SOUPS 898473 WITH SCORE 899678.954
AT ITER 2520 NEW BEST:: SOT 1856933 SOS 1205843 HAS SOPS 1205843 HAS SOUS 898362 HAS SOUPS 898362 WITH SCORE 899567.843
AT ITER 2522 NEW BEST:: SOT 1856869 SOS 1205672 HAS SOPS 1205672 HAS SOUS 898244 HAS SOUPS 898244 WITH SCORE 899449.672
AT ITER 2526 NEW BEST:: SOT 1856818 SOS 1206144 HAS SOPS 1206144 HAS SOUS 896415 HAS SOUPS 896415 WITH SCORE 897621.144
AT ITER 2527 NEW BEST:: SOT 1856903 SOS 1205998 HAS SOPS 1205998 HAS SOUS 896174 HAS SOUPS 896174 WITH SCORE 897379.998
AT ITER 2529 NEW BEST:: SOT 1856869 SOS 1205964 HAS SOPS 1205964 HAS SOUS 896004 HAS SOUPS 896004 WITH SCORE 897209.964
AT ITER 2531 NEW BEST:: SOT 1856986 SOS 1206349 HAS SOPS 1206349 HAS SOUS 895623 HAS SOUPS 895623 WITH SCORE 896829.349
AT ITER 2536 NEW BEST:: SOT 1857014 SOS 1206325 HAS SOPS 1206325 HAS SOUS 895427 HAS SOUPS 895427 WITH SCORE 896633.325
AT ITER 2538 NEW BEST:: SOT 1854864 SOS 1204175 HAS SOPS 1204175 HAS SOUS 892551 HAS SOUPS 892551 WITH SCORE 893755.175
AT ITER 2546 NEW BEST:: SOT 1854822 SOS 1204091 HAS SOPS 1204091 HAS SOUS 892501 HAS SOUPS 892501 WITH SCORE 893705.091
AT ITER 2551 NEW BEST:: SOT 1855421 SOS 1206407 HAS SOPS 1206407 HAS SOUS 892393 HAS SOUPS 892393 WITH SCORE 893599.407
AT ITER 2561 NEW BEST:: SOT 1853207 SOS 1204193 HAS SOPS 1204193 HAS SOUS 890179 HAS SOUPS 890179 WITH SCORE 891383.193
AT ITER 2564 NEW BEST:: SOT 1853207 SOS 1203954 HAS SOPS 1203954 HAS SOUS 890167 HAS SOUPS 890167 WITH SCORE 891370.954
AT ITER 2565 NEW BEST:: SOT 1853159 SOS 1203906 HAS SOPS 1203906 HAS SOUS 890119 HAS SOUPS 890119 WITH SCORE 891322.906
AT ITER 2566 NEW BEST:: SOT 1851995 SOS 1203708 HAS SOPS 1203708 HAS SOUS 889631 HAS SOUPS 889631 WITH SCORE 890834.708
AT ITER 2571 NEW BEST:: SOT 1851293 SOS 1203006 HAS SOPS 1203006 HAS SOUS 888929 HAS SOUPS 888929 WITH SCORE 890132.006
AT ITER 2574 NEW BEST:: SOT 1851293 SOS 1203060 HAS SOPS 1203060 HAS SOUS 888893 HAS SOUPS 888893 WITH SCORE 890096.06
AT ITER 2578 NEW BEST:: SOT 1850865 SOS 1202482 HAS SOPS 1202482 HAS SOUS 888315 HAS SOUPS 888315 WITH SCORE 889517.482
AT ITER 2580 NEW BEST:: SOT 1850819 SOS 1202464 HAS SOPS 1202464 HAS SOUS 888180 HAS SOUPS 888180 WITH SCORE 889382.464
AT ITER 2590 NEW BEST:: SOT 1850622 SOS 1202270 HAS SOPS 1202270 HAS SOUS 887794 HAS SOUPS 887794 WITH SCORE 888996.27
AT ITER 2591 NEW BEST:: SOT 1850180 SOS 1202096 HAS SOPS 1202096 HAS SOUS 887349 HAS SOUPS 887349 WITH SCORE 888551.096
AT ITER 2596 NEW BEST:: SOT 1849547 SOS 1201362 HAS SOPS 1201362 HAS SOUS 886357 HAS SOUPS 886357 WITH SCORE 887558.362
AT ITER 2599 NEW BEST:: SOT 1849156 SOS 1200740 HAS SOPS 1200740 HAS SOUS 885657 HAS SOUPS 885657 WITH SCORE 886857.74
AT ITER 2600 NEW BEST:: SOT 1849120 SOS 1200704 HAS SOPS 1200704 HAS SOUS 885626 HAS SOUPS 885626 WITH SCORE 886826.704
AT ITER 2602 NEW BEST:: SOT 1848985 SOS 1200350 HAS SOPS 1200350 HAS SOUS 885398 HAS SOUPS 885398 WITH SCORE 886598.35
AT ITER 2607 NEW BEST:: SOT 1848751 SOS 1200116 HAS SOPS 1200116 HAS SOUS 885164 HAS SOUPS 885164 WITH SCORE 886364.116
AT ITER 2611 NEW BEST:: SOT 1848688 SOS 1200053 HAS SOPS 1200053 HAS SOUS 885085 HAS SOUPS 885085 WITH SCORE 886285.053
AT ITER 2618 NEW BEST:: SOT 1847960 SOS 1199406 HAS SOPS 1199406 HAS SOUS 884438 HAS SOUPS 884438 WITH SCORE 885637.406
AT ITER 2619 NEW BEST:: SOT 1847556 SOS 1198884 HAS SOPS 1198884 HAS SOUS 883916 HAS SOUPS 883916 WITH SCORE 885114.884
AT ITER 2622 NEW BEST:: SOT 1847508 SOS 1198836 HAS SOPS 1198836 HAS SOUS 883868 HAS SOUPS 883868 WITH SCORE 885066.836
AT ITER 2624 NEW BEST:: SOT 1847335 SOS 1198469 HAS SOPS 1198469 HAS SOUS 883501 HAS SOUPS 883501 WITH SCORE 884699.469
AT ITER 2627 NEW BEST:: SOT 1847295 SOS 1198429 HAS SOPS 1198429 HAS SOUS 883461 HAS SOUPS 883461 WITH SCORE 884659.429
AT ITER 2628 NEW BEST:: SOT 1847293 SOS 1198427 HAS SOPS 1198427 HAS SOUS 883459 HAS SOUPS 883459 WITH SCORE 884657.427
AT ITER 2632 NEW BEST:: SOT 1846572 SOS 1198178 HAS SOPS 1198178 HAS SOUS 883387 HAS SOUPS 883387 WITH SCORE 884585.178
AT ITER 2639 NEW BEST:: SOT 1846365 SOS 1196666 HAS SOPS 1196666 HAS SOUS 883010 HAS SOUPS 883010 WITH SCORE 884206.666
AT ITER 2640 NEW BEST:: SOT 1846116 SOS 1196266 HAS SOPS 1196266 HAS SOUS 882483 HAS SOUPS 882483 WITH SCORE 883679.266
AT ITER 2651 NEW BEST:: SOT 1846067 SOS 1196812 HAS SOPS 1196812 HAS SOUS 881512 HAS SOUPS 881512 WITH SCORE 882708.812
AT ITER 2659 NEW BEST:: SOT 1845951 SOS 1196696 HAS SOPS 1196696 HAS SOUS 881396 HAS SOUPS 881396 WITH SCORE 882592.696
AT ITER 2684 NEW BEST:: SOT 1845479 SOS 1197005 HAS SOPS 1197005 HAS SOUS 880950 HAS SOUPS 880950 WITH SCORE 882147.005
AT ITER 2688 NEW BEST:: SOT 1845319 SOS 1196824 HAS SOPS 1196824 HAS SOUS 880453 HAS SOUPS 880453 WITH SCORE 881649.824
AT ITER 2701 NEW BEST:: SOT 1845523 SOS 1196745 HAS SOPS 1196745 HAS SOUS 880185 HAS SOUPS 880185 WITH SCORE 881381.745
AT ITER 2707 NEW BEST:: SOT 1845060 SOS 1196282 HAS SOPS 1196282 HAS SOUS 879722 HAS SOUPS 879722 WITH SCORE 880918.282
AT ITER 2712 NEW BEST:: SOT 1845024 SOS 1196236 HAS SOPS 1196236 HAS SOUS 879636 HAS SOUPS 879636 WITH SCORE 880832.236
AT ITER 2713 NEW BEST:: SOT 1844565 SOS 1193875 HAS SOPS 1193875 HAS SOUS 878438 HAS SOUPS 878438 WITH SCORE 879631.875
AT ITER 2714 NEW BEST:: SOT 1844244 SOS 1192395 HAS SOPS 1192395 HAS SOUS 878392 HAS SOUPS 878392 WITH SCORE 879584.395
AT ITER 2716 NEW BEST:: SOT 1844228 SOS 1192363 HAS SOPS 1192363 HAS SOUS 878376 HAS SOUPS 878376 WITH SCORE 879568.363
AT ITER 2721 NEW BEST:: SOT 1843897 SOS 1192032 HAS SOPS 1192032 HAS SOUS 877996 HAS SOUPS 877996 WITH SCORE 879188.032
AT ITER 2734 NEW BEST:: SOT 1843649 SOS 1191694 HAS SOPS 1191694 HAS SOUS 877658 HAS SOUPS 877658 WITH SCORE 878849.694
AT ITER 2738 NEW BEST:: SOT 1843649 SOS 1191694 HAS SOPS 1191694 HAS SOUS 877638 HAS SOUPS 877638 WITH SCORE 878829.694
AT ITER 2752 NEW BEST:: SOT 1843557 SOS 1191579 HAS SOPS 1191579 HAS SOUS 877466 HAS SOUPS 877466 WITH SCORE 878657.579
AT ITER 2760 NEW BEST:: SOT 1843381 SOS 1191359 HAS SOPS 1191359 HAS SOUS 877230 HAS SOUPS 877230 WITH SCORE 878421.359
AT ITER 2763 NEW BEST:: SOT 1842823 SOS 1190570 HAS SOPS 1190570 HAS SOUS 876572 HAS SOUPS 876572 WITH SCORE 877762.57
AT ITER 2765 NEW BEST:: SOT 1842410 SOS 1190157 HAS SOPS 1190157 HAS SOUS 876062 HAS SOUPS 876062 WITH SCORE 877252.157
AT ITER 2767 NEW BEST:: SOT 1842353 SOS 1190043 HAS SOPS 1190043 HAS SOUS 875833 HAS SOUPS 875833 WITH SCORE 877023.043
AT ITER 2774 NEW BEST:: SOT 1842329 SOS 1190019 HAS SOPS 1190019 HAS SOUS 875809 HAS SOUPS 875809 WITH SCORE 876999.019
AT ITER 2775 NEW BEST:: SOT 1842331 SOS 1190078 HAS SOPS 1190078 HAS SOUS 875681 HAS SOUPS 875681 WITH SCORE 876871.078
AT ITER 2777 NEW BEST:: SOT 1842055 SOS 1189418 HAS SOPS 1189418 HAS SOUS 875168 HAS SOUPS 875168 WITH SCORE 876357.418
AT ITER 2780 NEW BEST:: SOT 1840965 SOS 1188087 HAS SOPS 1188087 HAS SOUS 873837 HAS SOUPS 873837 WITH SCORE 875025.087
AT ITER 2782 NEW BEST:: SOT 1840671 SOS 1186709 HAS SOPS 1186709 HAS SOUS 872675 HAS SOUPS 872675 WITH SCORE 873861.709
AT ITER 2796 NEW BEST:: SOT 1840321 SOS 1185525 HAS SOPS 1185525 HAS SOUS 872059 HAS SOUPS 872059 WITH SCORE 873244.525
AT ITER 2800 NEW BEST:: SOT 1839877 SOS 1184479 HAS SOPS 1184479 HAS SOUS 870870 HAS SOUPS 870870 WITH SCORE 872054.479
AT ITER 2801 NEW BEST:: SOT 1839599 SOS 1184606 HAS SOPS 1184606 HAS SOUS 870577 HAS SOUPS 870577 WITH SCORE 871761.606
AT ITER 2802 NEW BEST:: SOT 1839597 SOS 1184604 HAS SOPS 1184604 HAS SOUS 870575 HAS SOUPS 870575 WITH SCORE 871759.604
AT ITER 2804 NEW BEST:: SOT 1839417 SOS 1185662 HAS SOPS 1185662 HAS SOUS 868449 HAS SOUPS 868449 WITH SCORE 869634.662
AT ITER 2806 NEW BEST:: SOT 1839235 SOS 1185654 HAS SOPS 1185654 HAS SOUS 868441 HAS SOUPS 868441 WITH SCORE 869626.654
AT ITER 2809 NEW BEST:: SOT 1838495 SOS 1185045 HAS SOPS 1185045 HAS SOUS 867702 HAS SOUPS 867702 WITH SCORE 868887.045
AT ITER 2820 NEW BEST:: SOT 1837150 SOS 1181249 HAS SOPS 1181249 HAS SOUS 867048 HAS SOUPS 867048 WITH SCORE 868229.249
AT ITER 2826 NEW BEST:: SOT 1837041 SOS 1180825 HAS SOPS 1180825 HAS SOUS 866729 HAS SOUPS 866729 WITH SCORE 867909.825
AT ITER 2835 NEW BEST:: SOT 1837035 SOS 1180812 HAS SOPS 1180812 HAS SOUS 866688 HAS SOUPS 866688 WITH SCORE 867868.812
AT ITER 2836 NEW BEST:: SOT 1837008 SOS 1180785 HAS SOPS 1180785 HAS SOUS 866661 HAS SOUPS 866661 WITH SCORE 867841.785
AT ITER 2844 NEW BEST:: SOT 1836883 SOS 1180583 HAS SOPS 1180583 HAS SOUS 866419 HAS SOUPS 866419 WITH SCORE 867599.583
AT ITER 2849 NEW BEST:: SOT 1836638 SOS 1180139 HAS SOPS 1180139 HAS SOUS 865267 HAS SOUPS 865267 WITH SCORE 866447.139
AT ITER 2851 NEW BEST:: SOT 1836438 SOS 1179834 HAS SOPS 1179834 HAS SOUS 864962 HAS SOUPS 864962 WITH SCORE 866141.834
AT ITER 2861 NEW BEST:: SOT 1836999 SOS 1180060 HAS SOPS 1180060 HAS SOUS 864818 HAS SOUPS 864818 WITH SCORE 865998.06
AT ITER 2868 NEW BEST:: SOT 1836999 SOS 1179932 HAS SOPS 1179932 HAS SOUS 864786 HAS SOUPS 864786 WITH SCORE 865965.932
AT ITER 2872 NEW BEST:: SOT 1837097 SOS 1179992 HAS SOPS 1179992 HAS SOUS 864662 HAS SOUPS 864662 WITH SCORE 865841.992
AT ITER 2878 NEW BEST:: SOT 1836982 SOS 1179854 HAS SOPS 1179854 HAS SOUS 864432 HAS SOUPS 864432 WITH SCORE 865611.854
AT ITER 2879 NEW BEST:: SOT 1837081 SOS 1178824 HAS SOPS 1178824 HAS SOUS 864322 HAS SOUPS 864322 WITH SCORE 865500.824
AT ITER 2885 NEW BEST:: SOT 1837081 SOS 1175576 HAS SOPS 1175576 HAS SOUS 864322 HAS SOUPS 864322 WITH SCORE 865497.576
AT ITER 2888 NEW BEST:: SOT 1837042 SOS 1175537 HAS SOPS 1175537 HAS SOUS 864052 HAS SOUPS 864052 WITH SCORE 865227.537
AT ITER 2892 NEW BEST:: SOT 1837646 SOS 1174461 HAS SOPS 1174461 HAS SOUS 863891 HAS SOUPS 863891 WITH SCORE 865065.461
AT ITER 2894 NEW BEST:: SOT 1837694 SOS 1174509 HAS SOPS 1174509 HAS SOUS 863697 HAS SOUPS 863697 WITH SCORE 864871.509
AT ITER 2897 NEW BEST:: SOT 1837414 SOS 1174229 HAS SOPS 1174229 HAS SOUS 863481 HAS SOUPS 863481 WITH SCORE 864655.229
AT ITER 2899 NEW BEST:: SOT 1836793 SOS 1173376 HAS SOPS 1173376 HAS SOUS 862793 HAS SOUPS 862793 WITH SCORE 863966.376
AT ITER 2902 NEW BEST:: SOT 1836817 SOS 1173450 HAS SOPS 1173450 HAS SOUS 862698 HAS SOUPS 862698 WITH SCORE 863871.45
AT ITER 2904 NEW BEST:: SOT 1836699 SOS 1172979 HAS SOPS 1172979 HAS SOUS 862263 HAS SOUPS 862263 WITH SCORE 863435.979
AT ITER 2906 NEW BEST:: SOT 1836888 SOS 1172473 HAS SOPS 1172473 HAS SOUS 861475 HAS SOUPS 861475 WITH SCORE 862647.473
AT ITER 2907 NEW BEST:: SOT 1836531 SOS 1172650 HAS SOPS 1172650 HAS SOUS 860043 HAS SOUPS 860043 WITH SCORE 861215.65
AT ITER 2910 NEW BEST:: SOT 1836062 SOS 1172181 HAS SOPS 1172181 HAS SOUS 859034 HAS SOUPS 859034 WITH SCORE 860206.181
AT ITER 2911 NEW BEST:: SOT 1835942 SOS 1171985 HAS SOPS 1171985 HAS SOUS 858862 HAS SOUPS 858862 WITH SCORE 860033.985
AT ITER 2914 NEW BEST:: SOT 1834482 SOS 1168496 HAS SOPS 1168496 HAS SOUS 856123 HAS SOUPS 856123 WITH SCORE 857291.496
AT ITER 2924 NEW BEST:: SOT 1833578 SOS 1167592 HAS SOPS 1167592 HAS SOUS 855219 HAS SOUPS 855219 WITH SCORE 856386.592
AT ITER 2927 NEW BEST:: SOT 1833608 SOS 1163449 HAS SOPS 1163449 HAS SOUS 853474 HAS SOUPS 853474 WITH SCORE 854637.449
AT ITER 2931 NEW BEST:: SOT 1833608 SOS 1161909 HAS SOPS 1161909 HAS SOUS 853181 HAS SOUPS 853181 WITH SCORE 854342.909
AT ITER 2936 NEW BEST:: SOT 1833512 SOS 1161045 HAS SOPS 1161045 HAS SOUS 853030 HAS SOUPS 853030 WITH SCORE 854191.045
AT ITER 2938 NEW BEST:: SOT 1833512 SOS 1161045 HAS SOPS 1161045 HAS SOUS 852993 HAS SOUPS 852993 WITH SCORE 854154.045
AT ITER 2948 NEW BEST:: SOT 1833487 SOS 1161002 HAS SOPS 1161002 HAS SOUS 852952 HAS SOUPS 852952 WITH SCORE 854113.002
AT ITER 2949 NEW BEST:: SOT 1833459 SOS 1160907 HAS SOPS 1160907 HAS SOUS 852841 HAS SOUPS 852841 WITH SCORE 854001.907
AT ITER 2950 NEW BEST:: SOT 1833355 SOS 1160803 HAS SOPS 1160803 HAS SOUS 852633 HAS SOUPS 852633 WITH SCORE 853793.803
AT ITER 2958 NEW BEST:: SOT 1833230 SOS 1160428 HAS SOPS 1160428 HAS SOUS 852633 HAS SOUPS 852633 WITH SCORE 853793.428
AT ITER 2959 NEW BEST:: SOT 1833198 SOS 1160368 HAS SOPS 1160368 HAS SOUS 852576 HAS SOUPS 852576 WITH SCORE 853736.368
AT ITER 2962 NEW BEST:: SOT 1833198 SOS 1160353 HAS SOPS 1160353 HAS SOUS 852573 HAS SOUPS 852573 WITH SCORE 853733.353
AT ITER 2963 NEW BEST:: SOT 1833100 SOS 1157104 HAS SOPS 1157104 HAS SOUS 851277 HAS SOUPS 851277 WITH SCORE 852434.104
AT ITER 2968 NEW BEST:: SOT 1833225 SOS 1156148 HAS SOPS 1156148 HAS SOUS 850828 HAS SOUPS 850828 WITH SCORE 851984.148
AT ITER 2969 NEW BEST:: SOT 1833048 SOS 1155971 HAS SOPS 1155971 HAS SOUS 850710 HAS SOUPS 850710 WITH SCORE 851865.971
AT ITER 2971 NEW BEST:: SOT 1832791 SOS 1155714 HAS SOPS 1155714 HAS SOUS 850453 HAS SOUPS 850453 WITH SCORE 851608.714
AT ITER 2978 NEW BEST:: SOT 1833071 SOS 1155994 HAS SOPS 1155994 HAS SOUS 850378 HAS SOUPS 850378 WITH SCORE 851533.994
AT ITER 2982 NEW BEST:: SOT 1833015 SOS 1155797 HAS SOPS 1155797 HAS SOUS 850295 HAS SOUPS 850295 WITH SCORE 851450.797
AT ITER 2984 NEW BEST:: SOT 1832690 SOS 1155326 HAS SOPS 1155326 HAS SOUS 850243 HAS SOUPS 850243 WITH SCORE 851398.326
AT ITER 2994 NEW BEST:: SOT 1832660 SOS 1155296 HAS SOPS 1155296 HAS SOUS 850213 HAS SOUPS 850213 WITH SCORE 851368.296
AT ITER 2996 NEW BEST:: SOT 1832517 SOS 1154492 HAS SOPS 1154492 HAS SOUS 850174 HAS SOUPS 850174 WITH SCORE 851328.492
AT ITER 3000 NEW BEST:: SOT 1832517 SOS 1154455 HAS SOPS 1154455 HAS SOUS 850062 HAS SOUPS 850062 WITH SCORE 851216.455
AT ITER 3002 NEW BEST:: SOT 1832517 SOS 1154293 HAS SOPS 1154293 HAS SOUS 850005 HAS SOUPS 850005 WITH SCORE 851159.293
AT ITER 3012 NEW BEST:: SOT 1832488 SOS 1154264 HAS SOPS 1154264 HAS SOUS 849975 HAS SOUPS 849975 WITH SCORE 851129.264
AT ITER 3013 NEW BEST:: SOT 1832488 SOS 1154297 HAS SOPS 1154297 HAS SOUS 849692 HAS SOUPS 849692 WITH SCORE 850846.297
AT ITER 3015 NEW BEST:: SOT 1832524 SOS 1154266 HAS SOPS 1154266 HAS SOUS 849434 HAS SOUPS 849434 WITH SCORE 850588.266
AT ITER 3017 NEW BEST:: SOT 1832418 SOS 1154383 HAS SOPS 1154383 HAS SOUS 849379 HAS SOUPS 849379 WITH SCORE 850533.383
AT ITER 3030 NEW BEST:: SOT 1832362 SOS 1154327 HAS SOPS 1154327 HAS SOUS 849267 HAS SOUPS 849267 WITH SCORE 850421.327
AT ITER 3032 NEW BEST:: SOT 1832357 SOS 1151254 HAS SOPS 1151254 HAS SOUS 846382 HAS SOUPS 846382 WITH SCORE 847533.254
AT ITER 3035 NEW BEST:: SOT 1832338 SOS 1151274 HAS SOPS 1151274 HAS SOUS 846302 HAS SOUPS 846302 WITH SCORE 847453.274
AT ITER 3042 NEW BEST:: SOT 1832391 SOS 1151234 HAS SOPS 1151234 HAS SOUS 846289 HAS SOUPS 846289 WITH SCORE 847440.234
AT ITER 3044 NEW BEST:: SOT 1831820 SOS 1150292 HAS SOPS 1150292 HAS SOUS 845699 HAS SOUPS 845699 WITH SCORE 846849.292
AT ITER 3048 NEW BEST:: SOT 1831516 SOS 1149886 HAS SOPS 1149886 HAS SOUS 845278 HAS SOUPS 845278 WITH SCORE 846427.886
AT ITER 3066 NEW BEST:: SOT 1831405 SOS 1149649 HAS SOPS 1149649 HAS SOUS 844915 HAS SOUPS 844915 WITH SCORE 846064.649
AT ITER 3068 NEW BEST:: SOT 1830853 SOS 1148913 HAS SOPS 1148913 HAS SOUS 843922 HAS SOUPS 843922 WITH SCORE 845070.913
AT ITER 3069 NEW BEST:: SOT 1830294 SOS 1148354 HAS SOPS 1148354 HAS SOUS 843362 HAS SOUPS 843362 WITH SCORE 844510.354
AT ITER 3070 NEW BEST:: SOT 1830271 SOS 1148308 HAS SOPS 1148308 HAS SOUS 843339 HAS SOUPS 843339 WITH SCORE 844487.308
AT ITER 3076 NEW BEST:: SOT 1830020 SOS 1147998 HAS SOPS 1147998 HAS SOUS 842723 HAS SOUPS 842723 WITH SCORE 843870.998
AT ITER 3080 NEW BEST:: SOT 1829579 SOS 1147488 HAS SOPS 1147488 HAS SOUS 842221 HAS SOUPS 842221 WITH SCORE 843368.488
AT ITER 3086 NEW BEST:: SOT 1829491 SOS 1147266 HAS SOPS 1147266 HAS SOUS 841931 HAS SOUPS 841931 WITH SCORE 843078.266
AT ITER 3090 NEW BEST:: SOT 1828842 SOS 1146879 HAS SOPS 1146879 HAS SOUS 841544 HAS SOUPS 841544 WITH SCORE 842690.879
AT ITER 3091 NEW BEST:: SOT 1828914 SOS 1146951 HAS SOPS 1146951 HAS SOUS 841462 HAS SOUPS 841462 WITH SCORE 842608.951
AT ITER 3093 NEW BEST:: SOT 1828855 SOS 1146892 HAS SOPS 1146892 HAS SOUS 841344 HAS SOUPS 841344 WITH SCORE 842490.892
AT ITER 3094 NEW BEST:: SOT 1828855 SOS 1146896 HAS SOPS 1146896 HAS SOUS 841340 HAS SOUPS 841340 WITH SCORE 842486.896
AT ITER 3095 NEW BEST:: SOT 1828794 SOS 1146905 HAS SOPS 1146905 HAS SOUS 841321 HAS SOUPS 841321 WITH SCORE 842467.905
AT ITER 3101 NEW BEST:: SOT 1828794 SOS 1147042 HAS SOPS 1147042 HAS SOUS 840914 HAS SOUPS 840914 WITH SCORE 842061.042
AT ITER 3102 NEW BEST:: SOT 1828527 SOS 1146762 HAS SOPS 1146762 HAS SOUS 840621 HAS SOUPS 840621 WITH SCORE 841767.762
AT ITER 3107 NEW BEST:: SOT 1828527 SOS 1146476 HAS SOPS 1146476 HAS SOUS 840461 HAS SOUPS 840461 WITH SCORE 841607.476
AT ITER 3111 NEW BEST:: SOT 1828409 SOS 1145227 HAS SOPS 1145227 HAS SOUS 840368 HAS SOUPS 840368 WITH SCORE 841513.227
AT ITER 3113 NEW BEST:: SOT 1828168 SOS 1144986 HAS SOPS 1144986 HAS SOUS 840127 HAS SOUPS 840127 WITH SCORE 841271.986
AT ITER 3115 NEW BEST:: SOT 1828168 SOS 1144867 HAS SOPS 1144867 HAS SOUS 839770 HAS SOUPS 839770 WITH SCORE 840914.867
AT ITER 3120 NEW BEST:: SOT 1828287 SOS 1144875 HAS SOPS 1144875 HAS SOUS 839613 HAS SOUPS 839613 WITH SCORE 840757.875
AT ITER 3134 NEW BEST:: SOT 1828264 SOS 1144760 HAS SOPS 1144760 HAS SOUS 839590 HAS SOUPS 839590 WITH SCORE 840734.76
AT ITER 3142 NEW BEST:: SOT 1827991 SOS 1144214 HAS SOPS 1144214 HAS SOUS 839040 HAS SOUPS 839040 WITH SCORE 840184.214
AT ITER 3143 NEW BEST:: SOT 1827241 SOS 1143464 HAS SOPS 1143464 HAS SOUS 838290 HAS SOUPS 838290 WITH SCORE 839433.464
AT ITER 3145 NEW BEST:: SOT 1826498 SOS 1140868 HAS SOPS 1140868 HAS SOUS 835974 HAS SOUPS 835974 WITH SCORE 837114.868
AT ITER 3150 NEW BEST:: SOT 1826474 SOS 1140844 HAS SOPS 1140844 HAS SOUS 835950 HAS SOUPS 835950 WITH SCORE 837090.844
AT ITER 3156 NEW BEST:: SOT 1826118 SOS 1139872 HAS SOPS 1139872 HAS SOUS 834183 HAS SOUPS 834183 WITH SCORE 835322.872
AT ITER 3162 NEW BEST:: SOT 1825637 SOS 1139090 HAS SOPS 1139090 HAS SOUS 833185 HAS SOUPS 833185 WITH SCORE 834324.09
AT ITER 3163 NEW BEST:: SOT 1825847 SOS 1138964 HAS SOPS 1138964 HAS SOUS 833152 HAS SOUPS 833152 WITH SCORE 834290.964
AT ITER 3164 NEW BEST:: SOT 1825847 SOS 1138364 HAS SOPS 1138364 HAS SOUS 832754 HAS SOUPS 832754 WITH SCORE 833892.364
AT ITER 3183 NEW BEST:: SOT 1825069 SOS 1137429 HAS SOPS 1137429 HAS SOUS 831280 HAS SOUPS 831280 WITH SCORE 832417.429
AT ITER 3184 NEW BEST:: SOT 1823301 SOS 1135661 HAS SOPS 1135661 HAS SOUS 829508 HAS SOUPS 829508 WITH SCORE 830643.661
AT ITER 3186 NEW BEST:: SOT 1823330 SOS 1127842 HAS SOPS 1127842 HAS SOUS 828074 HAS SOUPS 828074 WITH SCORE 829201.842
AT ITER 3190 NEW BEST:: SOT 1823090 SOS 1127602 HAS SOPS 1127602 HAS SOUS 827834 HAS SOUPS 827834 WITH SCORE 828961.602
AT ITER 3195 NEW BEST:: SOT 1822988 SOS 1127352 HAS SOPS 1127352 HAS SOUS 827727 HAS SOUPS 827727 WITH SCORE 828854.352
AT ITER 3204 NEW BEST:: SOT 1823426 SOS 1128224 HAS SOPS 1128224 HAS SOUS 826885 HAS SOUPS 826885 WITH SCORE 828013.224
AT ITER 3215 NEW BEST:: SOT 1823426 SOS 1128182 HAS SOPS 1128182 HAS SOUS 826878 HAS SOUPS 826878 WITH SCORE 828006.182
AT ITER 3216 NEW BEST:: SOT 1822461 SOS 1127996 HAS SOPS 1127996 HAS SOUS 826631 HAS SOUPS 826631 WITH SCORE 827758.996
AT ITER 3229 NEW BEST:: SOT 1822461 SOS 1128004 HAS SOPS 1128004 HAS SOUS 826618 HAS SOUPS 826618 WITH SCORE 827746.004
AT ITER 3233 NEW BEST:: SOT 1821535 SOS 1127078 HAS SOPS 1127078 HAS SOUS 825398 HAS SOUPS 825398 WITH SCORE 826525.078
AT ITER 3236 NEW BEST:: SOT 1820672 SOS 1126093 HAS SOPS 1126093 HAS SOUS 823753 HAS SOUPS 823753 WITH SCORE 824879.093
AT ITER 3238 NEW BEST:: SOT 1820330 SOS 1125928 HAS SOPS 1125928 HAS SOUS 823581 HAS SOUPS 823581 WITH SCORE 824706.928
AT ITER 3241 NEW BEST:: SOT 1819179 SOS 1124471 HAS SOPS 1124471 HAS SOUS 821758 HAS SOUPS 821758 WITH SCORE 822882.471
AT ITER 3245 NEW BEST:: SOT 1819175 SOS 1124467 HAS SOPS 1124467 HAS SOUS 821752 HAS SOUPS 821752 WITH SCORE 822876.467
AT ITER 3246 NEW BEST:: SOT 1818941 SOS 1124194 HAS SOPS 1124194 HAS SOUS 821598 HAS SOUPS 821598 WITH SCORE 822722.194
AT ITER 3257 NEW BEST:: SOT 1818837 SOS 1123745 HAS SOPS 1123745 HAS SOUS 821218 HAS SOUPS 821218 WITH SCORE 822341.745
AT ITER 3259 NEW BEST:: SOT 1819322 SOS 1126003 HAS SOPS 1126003 HAS SOUS 820706 HAS SOUPS 820706 WITH SCORE 821832.003
AT ITER 3260 NEW BEST:: SOT 1816976 SOS 1122285 HAS SOPS 1122285 HAS SOUS 817723 HAS SOUPS 817723 WITH SCORE 818845.285
AT ITER 3262 NEW BEST:: SOT 1817643 SOS 1121715 HAS SOPS 1121715 HAS SOUS 816459 HAS SOUPS 816459 WITH SCORE 817580.715
AT ITER 3264 NEW BEST:: SOT 1817557 SOS 1121543 HAS SOPS 1121543 HAS SOUS 816403 HAS SOUPS 816403 WITH SCORE 817524.543
AT ITER 3266 NEW BEST:: SOT 1817745 SOS 1120485 HAS SOPS 1120485 HAS SOUS 816062 HAS SOUPS 816062 WITH SCORE 817182.485
AT ITER 3274 NEW BEST:: SOT 1817635 SOS 1120375 HAS SOPS 1120375 HAS SOUS 815910 HAS SOUPS 815910 WITH SCORE 817030.375
AT ITER 3275 NEW BEST:: SOT 1817211 SOS 1119951 HAS SOPS 1119951 HAS SOUS 815486 HAS SOUPS 815486 WITH SCORE 816605.951
AT ITER 3276 NEW BEST:: SOT 1817150 SOS 1119705 HAS SOPS 1119705 HAS SOUS 815245 HAS SOUPS 815245 WITH SCORE 816364.705
AT ITER 3285 NEW BEST:: SOT 1816871 SOS 1119426 HAS SOPS 1119426 HAS SOUS 814966 HAS SOUPS 814966 WITH SCORE 816085.426
AT ITER 3287 NEW BEST:: SOT 1816567 SOS 1119122 HAS SOPS 1119122 HAS SOUS 814662 HAS SOUPS 814662 WITH SCORE 815781.122
AT ITER 3289 NEW BEST:: SOT 1816114 SOS 1118669 HAS SOPS 1118669 HAS SOUS 814155 HAS SOUPS 814155 WITH SCORE 815273.669
AT ITER 3294 NEW BEST:: SOT 1816201 SOS 1118756 HAS SOPS 1118756 HAS SOUS 814031 HAS SOUPS 814031 WITH SCORE 815149.756
AT ITER 3305 NEW BEST:: SOT 1815788 SOS 1118551 HAS SOPS 1118551 HAS SOUS 813659 HAS SOUPS 813659 WITH SCORE 814777.551
AT ITER 3307 NEW BEST:: SOT 1815829 SOS 1118551 HAS SOPS 1118551 HAS SOUS 813572 HAS SOUPS 813572 WITH SCORE 814690.551
AT ITER 3313 NEW BEST:: SOT 1815957 SOS 1118711 HAS SOPS 1118711 HAS SOUS 813448 HAS SOUPS 813448 WITH SCORE 814566.711
AT ITER 3315 NEW BEST:: SOT 1815883 SOS 1118647 HAS SOPS 1118647 HAS SOUS 813432 HAS SOUPS 813432 WITH SCORE 814550.647
AT ITER 3317 NEW BEST:: SOT 1815847 SOS 1118611 HAS SOPS 1118611 HAS SOUS 813387 HAS SOUPS 813387 WITH SCORE 814505.611
AT ITER 3331 NEW BEST:: SOT 1815214 SOS 1118271 HAS SOPS 1118271 HAS SOUS 813034 HAS SOUPS 813034 WITH SCORE 814152.271
AT ITER 3337 NEW BEST:: SOT 1815095 SOS 1118152 HAS SOPS 1118152 HAS SOUS 812922 HAS SOUPS 812922 WITH SCORE 814040.152
AT ITER 3347 NEW BEST:: SOT 1815083 SOS 1118238 HAS SOPS 1118238 HAS SOUS 812883 HAS SOUPS 812883 WITH SCORE 814001.238
AT ITER 3351 NEW BEST:: SOT 1814839 SOS 1117732 HAS SOPS 1117732 HAS SOUS 812480 HAS SOUPS 812480 WITH SCORE 813597.732
AT ITER 3354 NEW BEST:: SOT 1814674 SOS 1117402 HAS SOPS 1117402 HAS SOUS 812149 HAS SOUPS 812149 WITH SCORE 813266.402
AT ITER 3356 NEW BEST:: SOT 1814344 SOS 1116584 HAS SOPS 1116584 HAS SOUS 810788 HAS SOUPS 810788 WITH SCORE 811904.584
AT ITER 3357 NEW BEST:: SOT 1814199 SOS 1116439 HAS SOPS 1116439 HAS SOUS 810643 HAS SOUPS 810643 WITH SCORE 811759.439
AT ITER 3367 NEW BEST:: SOT 1813862 SOS 1115991 HAS SOPS 1115991 HAS SOUS 810171 HAS SOUPS 810171 WITH SCORE 811286.991
AT ITER 3369 NEW BEST:: SOT 1813853 SOS 1115968 HAS SOPS 1115968 HAS SOUS 810037 HAS SOUPS 810037 WITH SCORE 811152.968
AT ITER 3371 NEW BEST:: SOT 1813853 SOS 1114121 HAS SOPS 1114121 HAS SOUS 809815 HAS SOUPS 809815 WITH SCORE 810929.121
AT ITER 3381 NEW BEST:: SOT 1813453 SOS 1111568 HAS SOPS 1111568 HAS SOUS 806812 HAS SOUPS 806812 WITH SCORE 807923.568
AT ITER 3382 NEW BEST:: SOT 1813389 SOS 1111376 HAS SOPS 1111376 HAS SOUS 806736 HAS SOUPS 806736 WITH SCORE 807847.376
AT ITER 3383 NEW BEST:: SOT 1813600 SOS 1111364 HAS SOPS 1111364 HAS SOUS 806258 HAS SOUPS 806258 WITH SCORE 807369.364
AT ITER 3385 NEW BEST:: SOT 1813284 SOS 1110984 HAS SOPS 1110984 HAS SOUS 805624 HAS SOUPS 805624 WITH SCORE 806734.984
AT ITER 3386 NEW BEST:: SOT 1813284 SOS 1111035 HAS SOPS 1111035 HAS SOUS 805534 HAS SOUPS 805534 WITH SCORE 806645.035
AT ITER 3387 NEW BEST:: SOT 1812835 SOS 1110769 HAS SOPS 1110769 HAS SOUS 805393 HAS SOUPS 805393 WITH SCORE 806503.769
AT ITER 3388 NEW BEST:: SOT 1812628 SOS 1110631 HAS SOPS 1110631 HAS SOUS 805393 HAS SOUPS 805393 WITH SCORE 806503.631
AT ITER 3407 NEW BEST:: SOT 1812531 SOS 1110094 HAS SOPS 1110094 HAS SOUS 804758 HAS SOUPS 804758 WITH SCORE 805868.094
AT ITER 3410 NEW BEST:: SOT 1811596 SOS 1109046 HAS SOPS 1109046 HAS SOUS 803710 HAS SOUPS 803710 WITH SCORE 804819.046
AT ITER 3411 NEW BEST:: SOT 1811585 SOS 1108998 HAS SOPS 1108998 HAS SOUS 803662 HAS SOUPS 803662 WITH SCORE 804770.998
AT ITER 3427 NEW BEST:: SOT 1811585 SOS 1108591 HAS SOPS 1108591 HAS SOUS 803432 HAS SOUPS 803432 WITH SCORE 804540.591
AT ITER 3433 NEW BEST:: SOT 1811585 SOS 1108524 HAS SOPS 1108524 HAS SOUS 803390 HAS SOUPS 803390 WITH SCORE 804498.524
AT ITER 3450 NEW BEST:: SOT 1811301 SOS 1108240 HAS SOPS 1108240 HAS SOUS 802835 HAS SOUPS 802835 WITH SCORE 803943.24
AT ITER 3451 NEW BEST:: SOT 1810724 SOS 1107874 HAS SOPS 1107874 HAS SOUS 802116 HAS SOUPS 802116 WITH SCORE 803223.874
AT ITER 3456 NEW BEST:: SOT 1810649 SOS 1107799 HAS SOPS 1107799 HAS SOUS 802041 HAS SOUPS 802041 WITH SCORE 803148.799
AT ITER 3457 NEW BEST:: SOT 1808621 SOS 1104421 HAS SOPS 1104421 HAS SOUS 799023 HAS SOUPS 799023 WITH SCORE 800127.421
AT ITER 3458 NEW BEST:: SOT 1807865 SOS 1103665 HAS SOPS 1103665 HAS SOUS 798267 HAS SOUPS 798267 WITH SCORE 799370.665
AT ITER 3470 NEW BEST:: SOT 1808032 SOS 1104132 HAS SOPS 1104132 HAS SOUS 798006 HAS SOUPS 798006 WITH SCORE 799110.132
AT ITER 3488 NEW BEST:: SOT 1808236 SOS 1104647 HAS SOPS 1104647 HAS SOUS 797775 HAS SOUPS 797775 WITH SCORE 798879.647
AT ITER 3492 NEW BEST:: SOT 1808352 SOS 1104688 HAS SOPS 1104688 HAS SOUS 796782 HAS SOUPS 796782 WITH SCORE 797886.688
AT ITER 3497 NEW BEST:: SOT 1808580 SOS 1104566 HAS SOPS 1104566 HAS SOUS 796683 HAS SOUPS 796683 WITH SCORE 797787.566
AT ITER 3499 NEW BEST:: SOT 1808540 SOS 1104704 HAS SOPS 1104704 HAS SOUS 796595 HAS SOUPS 796595 WITH SCORE 797699.704
AT ITER 3508 NEW BEST:: SOT 1808126 SOS 1101214 HAS SOPS 1101214 HAS SOUS 794939 HAS SOUPS 794939 WITH SCORE 796040.214
AT ITER 3528 NEW BEST:: SOT 1807313 SOS 1100094 HAS SOPS 1100094 HAS SOUS 794033 HAS SOUPS 794033 WITH SCORE 795133.094
AT ITER 3532 NEW BEST:: SOT 1806996 SOS 1099714 HAS SOPS 1099714 HAS SOUS 793653 HAS SOUPS 793653 WITH SCORE 794752.714
AT ITER 3534 NEW BEST:: SOT 1806799 SOS 1099476 HAS SOPS 1099476 HAS SOUS 793214 HAS SOUPS 793214 WITH SCORE 794313.476
AT ITER 3538 NEW BEST:: SOT 1806977 SOS 1097609 HAS SOPS 1097609 HAS SOUS 793198 HAS SOUPS 793198 WITH SCORE 794295.609
AT ITER 3551 NEW BEST:: SOT 1806935 SOS 1097567 HAS SOPS 1097567 HAS SOUS 793156 HAS SOUPS 793156 WITH SCORE 794253.567
AT ITER 3562 NEW BEST:: SOT 1806859 SOS 1097259 HAS SOPS 1097259 HAS SOUS 792500 HAS SOUPS 792500 WITH SCORE 793597.259
AT ITER 3566 NEW BEST:: SOT 1806831 SOS 1097130 HAS SOPS 1097130 HAS SOUS 792389 HAS SOUPS 792389 WITH SCORE 793486.13
AT ITER 3568 NEW BEST:: SOT 1805043 SOS 1093641 HAS SOPS 1093641 HAS SOUS 788587 HAS SOUPS 788587 WITH SCORE 789680.641
AT ITER 3575 NEW BEST:: SOT 1805014 SOS 1093429 HAS SOPS 1093429 HAS SOUS 788150 HAS SOUPS 788150 WITH SCORE 789243.429
AT ITER 3586 NEW BEST:: SOT 1804903 SOS 1093289 HAS SOPS 1093289 HAS SOUS 787955 HAS SOUPS 787955 WITH SCORE 789048.289
AT ITER 3592 NEW BEST:: SOT 1804499 SOS 1092885 HAS SOPS 1092885 HAS SOUS 787551 HAS SOUPS 787551 WITH SCORE 788643.885
AT ITER 3594 NEW BEST:: SOT 1804192 SOS 1092082 HAS SOPS 1092082 HAS SOUS 787056 HAS SOUPS 787056 WITH SCORE 788148.082
AT ITER 3598 NEW BEST:: SOT 1804274 SOS 1092161 HAS SOPS 1092161 HAS SOUS 787019 HAS SOUPS 787019 WITH SCORE 788111.161
AT ITER 3603 NEW BEST:: SOT 1803956 SOS 1091755 HAS SOPS 1091755 HAS SOUS 786408 HAS SOUPS 786408 WITH SCORE 787499.755
AT ITER 3607 NEW BEST:: SOT 1803956 SOS 1092186 HAS SOPS 1092186 HAS SOUS 786271 HAS SOUPS 786271 WITH SCORE 787363.186
AT ITER 3608 NEW BEST:: SOT 1803948 SOS 1092177 HAS SOPS 1092177 HAS SOUS 786259 HAS SOUPS 786259 WITH SCORE 787351.177
AT ITER 3614 NEW BEST:: SOT 1803674 SOS 1091787 HAS SOPS 1091787 HAS SOUS 785937 HAS SOUPS 785937 WITH SCORE 787028.787
AT ITER 3618 NEW BEST:: SOT 1803773 SOS 1091292 HAS SOPS 1091292 HAS SOUS 785838 HAS SOUPS 785838 WITH SCORE 786929.292
AT ITER 3620 NEW BEST:: SOT 1802932 SOS 1090660 HAS SOPS 1090660 HAS SOUS 785150 HAS SOUPS 785150 WITH SCORE 786240.66
AT ITER 3621 NEW BEST:: SOT 1802689 SOS 1090387 HAS SOPS 1090387 HAS SOUS 784748 HAS SOUPS 784748 WITH SCORE 785838.387
AT ITER 3622 NEW BEST:: SOT 1801462 SOS 1089164 HAS SOPS 1089164 HAS SOUS 783525 HAS SOUPS 783525 WITH SCORE 784614.164
AT ITER 3624 NEW BEST:: SOT 1801453 SOS 1089155 HAS SOPS 1089155 HAS SOUS 783516 HAS SOUPS 783516 WITH SCORE 784605.155
AT ITER 3639 NEW BEST:: SOT 1801296 SOS 1089132 HAS SOPS 1089132 HAS SOUS 783412 HAS SOUPS 783412 WITH SCORE 784501.132
AT ITER 3643 NEW BEST:: SOT 1801369 SOS 1088041 HAS SOPS 1088041 HAS SOUS 783044 HAS SOUPS 783044 WITH SCORE 784132.041
AT ITER 3659 NEW BEST:: SOT 1801369 SOS 1087442 HAS SOPS 1087442 HAS SOUS 782677 HAS SOUPS 782677 WITH SCORE 783764.442
AT ITER 3663 NEW BEST:: SOT 1801369 SOS 1087398 HAS SOPS 1087398 HAS SOUS 782583 HAS SOUPS 782583 WITH SCORE 783670.398
AT ITER 3677 NEW BEST:: SOT 1801218 SOS 1087235 HAS SOPS 1087235 HAS SOUS 782273 HAS SOUPS 782273 WITH SCORE 783360.235
AT ITER 3678 NEW BEST:: SOT 1801720 SOS 1086092 HAS SOPS 1086092 HAS SOUS 782174 HAS SOUPS 782174 WITH SCORE 783260.092
AT ITER 3681 NEW BEST:: SOT 1802046 SOS 1086243 HAS SOPS 1086243 HAS SOUS 782024 HAS SOUPS 782024 WITH SCORE 783110.243
AT ITER 3685 NEW BEST:: SOT 1801739 SOS 1085917 HAS SOPS 1085917 HAS SOUS 781497 HAS SOUPS 781497 WITH SCORE 782582.917
AT ITER 3694 NEW BEST:: SOT 1801496 SOS 1085674 HAS SOPS 1085674 HAS SOUS 781254 HAS SOUPS 781254 WITH SCORE 782339.674
AT ITER 3696 NEW BEST:: SOT 1801231 SOS 1085580 HAS SOPS 1085580 HAS SOUS 781090 HAS SOUPS 781090 WITH SCORE 782175.58
AT ITER 3697 NEW BEST:: SOT 1801246 SOS 1083925 HAS SOPS 1083925 HAS SOUS 780860 HAS SOUPS 780860 WITH SCORE 781943.925
AT ITER 3698 NEW BEST:: SOT 1801351 SOS 1083817 HAS SOPS 1083817 HAS SOUS 780800 HAS SOUPS 780800 WITH SCORE 781883.817
AT ITER 3699 NEW BEST:: SOT 1800621 SOS 1082967 HAS SOPS 1082967 HAS SOUS 779787 HAS SOUPS 779787 WITH SCORE 780869.967
AT ITER 3701 NEW BEST:: SOT 1800526 SOS 1083115 HAS SOPS 1083115 HAS SOUS 779604 HAS SOUPS 779604 WITH SCORE 780687.115
AT ITER 3704 NEW BEST:: SOT 1800138 SOS 1082375 HAS SOPS 1082375 HAS SOUS 778818 HAS SOUPS 778818 WITH SCORE 779900.375
AT ITER 3709 NEW BEST:: SOT 1800158 SOS 1081319 HAS SOPS 1081319 HAS SOUS 778469 HAS SOUPS 778469 WITH SCORE 779550.319
AT ITER 3714 NEW BEST:: SOT 1800191 SOS 1081323 HAS SOPS 1081323 HAS SOUS 778317 HAS SOUPS 778317 WITH SCORE 779398.323
AT ITER 3720 NEW BEST:: SOT 1800191 SOS 1081223 HAS SOPS 1081223 HAS SOUS 778304 HAS SOUPS 778304 WITH SCORE 779385.223
AT ITER 3732 NEW BEST:: SOT 1799535 SOS 1080567 HAS SOPS 1080567 HAS SOUS 777564 HAS SOUPS 777564 WITH SCORE 778644.567
AT ITER 3740 NEW BEST:: SOT 1798813 SOS 1079554 HAS SOPS 1079554 HAS SOUS 776524 HAS SOUPS 776524 WITH SCORE 777603.554
AT ITER 3744 NEW BEST:: SOT 1798793 SOS 1078784 HAS SOPS 1078784 HAS SOUS 776205 HAS SOUPS 776205 WITH SCORE 777283.784
AT ITER 3745 NEW BEST:: SOT 1798401 SOS 1078583 HAS SOPS 1078583 HAS SOUS 776100 HAS SOUPS 776100 WITH SCORE 777178.583
AT ITER 3753 NEW BEST:: SOT 1798352 SOS 1078509 HAS SOPS 1078509 HAS SOUS 775930 HAS SOUPS 775930 WITH SCORE 777008.509
AT ITER 3757 NEW BEST:: SOT 1798329 SOS 1078446 HAS SOPS 1078446 HAS SOUS 775855 HAS SOUPS 775855 WITH SCORE 776933.446
AT ITER 3759 NEW BEST:: SOT 1798242 SOS 1078134 HAS SOPS 1078134 HAS SOUS 775692 HAS SOUPS 775692 WITH SCORE 776770.134
AT ITER 3770 NEW BEST:: SOT 1798187 SOS 1077779 HAS SOPS 1077779 HAS SOUS 775673 HAS SOUPS 775673 WITH SCORE 776750.779
AT ITER 3776 NEW BEST:: SOT 1798112 SOS 1077704 HAS SOPS 1077704 HAS SOUS 775598 HAS SOUPS 775598 WITH SCORE 776675.704
AT ITER 3777 NEW BEST:: SOT 1797978 SOS 1077570 HAS SOPS 1077570 HAS SOUS 775321 HAS SOUPS 775321 WITH SCORE 776398.57
AT ITER 3784 NEW BEST:: SOT 1798210 SOS 1077672 HAS SOPS 1077672 HAS SOUS 775243 HAS SOUPS 775243 WITH SCORE 776320.672
AT ITER 3787 NEW BEST:: SOT 1798072 SOS 1077541 HAS SOPS 1077541 HAS SOUS 775166 HAS SOUPS 775166 WITH SCORE 776243.541
AT ITER 3793 NEW BEST:: SOT 1798032 SOS 1076212 HAS SOPS 1076212 HAS SOUS 773460 HAS SOUPS 773460 WITH SCORE 774536.212
AT ITER 3799 NEW BEST:: SOT 1797739 SOS 1075919 HAS SOPS 1075919 HAS SOUS 773167 HAS SOUPS 773167 WITH SCORE 774242.919
AT ITER 3804 NEW BEST:: SOT 1797637 SOS 1075868 HAS SOPS 1075868 HAS SOUS 773085 HAS SOUPS 773085 WITH SCORE 774160.868
AT ITER 3806 NEW BEST:: SOT 1797637 SOS 1076566 HAS SOPS 1076566 HAS SOUS 772945 HAS SOUPS 772945 WITH SCORE 774021.566
AT ITER 3812 NEW BEST:: SOT 1797538 SOS 1076467 HAS SOPS 1076467 HAS SOUS 772846 HAS SOUPS 772846 WITH SCORE 773922.467
AT ITER 3821 NEW BEST:: SOT 1797404 SOS 1076124 HAS SOPS 1076124 HAS SOUS 772318 HAS SOUPS 772318 WITH SCORE 773394.124
AT ITER 3822 NEW BEST:: SOT 1795722 SOS 1073865 HAS SOPS 1073865 HAS SOUS 770799 HAS SOUPS 770799 WITH SCORE 771872.865
AT ITER 3823 NEW BEST:: SOT 1795490 SOS 1073633 HAS SOPS 1073633 HAS SOUS 770492 HAS SOUPS 770492 WITH SCORE 771565.633
AT ITER 3825 NEW BEST:: SOT 1795276 SOS 1073060 HAS SOPS 1073060 HAS SOUS 768893 HAS SOUPS 768893 WITH SCORE 769966.06
AT ITER 3833 NEW BEST:: SOT 1795118 SOS 1072902 HAS SOPS 1072902 HAS SOUS 768735 HAS SOUPS 768735 WITH SCORE 769807.902
AT ITER 3834 NEW BEST:: SOT 1795049 SOS 1072810 HAS SOPS 1072810 HAS SOUS 768574 HAS SOUPS 768574 WITH SCORE 769646.81
AT ITER 3835 NEW BEST:: SOT 1794846 SOS 1072500 HAS SOPS 1072500 HAS SOUS 768176 HAS SOUPS 768176 WITH SCORE 769248.5
AT ITER 3841 NEW BEST:: SOT 1793868 SOS 1072154 HAS SOPS 1072154 HAS SOUS 767806 HAS SOUPS 767806 WITH SCORE 768878.154
AT ITER 3843 NEW BEST:: SOT 1793694 SOS 1071109 HAS SOPS 1071109 HAS SOUS 767341 HAS SOUPS 767341 WITH SCORE 768412.109
AT ITER 3846 NEW BEST:: SOT 1792582 SOS 1069997 HAS SOPS 1069997 HAS SOUS 766139 HAS SOUPS 766139 WITH SCORE 767208.997
AT ITER 3848 NEW BEST:: SOT 1792224 SOS 1067835 HAS SOPS 1067835 HAS SOUS 765780 HAS SOUPS 765780 WITH SCORE 766847.835
AT ITER 3850 NEW BEST:: SOT 1791785 SOS 1066206 HAS SOPS 1066206 HAS SOUS 764048 HAS SOUPS 764048 WITH SCORE 765114.206
AT ITER 3862 NEW BEST:: SOT 1791643 SOS 1062963 HAS SOPS 1062963 HAS SOUS 762954 HAS SOUPS 762954 WITH SCORE 764016.963
AT ITER 3864 NEW BEST:: SOT 1791607 SOS 1062918 HAS SOPS 1062918 HAS SOUS 762873 HAS SOUPS 762873 WITH SCORE 763935.918
AT ITER 3873 NEW BEST:: SOT 1791489 SOS 1062822 HAS SOPS 1062822 HAS SOUS 762585 HAS SOUPS 762585 WITH SCORE 763647.822
AT ITER 3875 NEW BEST:: SOT 1790936 SOS 1060331 HAS SOPS 1060331 HAS SOUS 761632 HAS SOUPS 761632 WITH SCORE 762692.331
AT ITER 3884 NEW BEST:: SOT 1790936 SOS 1060501 HAS SOPS 1060501 HAS SOUS 761618 HAS SOUPS 761618 WITH SCORE 762678.501
AT ITER 3890 NEW BEST:: SOT 1790563 SOS 1060128 HAS SOPS 1060128 HAS SOUS 760766 HAS SOUPS 760766 WITH SCORE 761826.128
AT ITER 3897 NEW BEST:: SOT 1790595 SOS 1060414 HAS SOPS 1060414 HAS SOUS 760749 HAS SOUPS 760749 WITH SCORE 761809.414
AT ITER 3902 NEW BEST:: SOT 1790505 SOS 1060324 HAS SOPS 1060324 HAS SOUS 760456 HAS SOUPS 760456 WITH SCORE 761516.324
AT ITER 3908 NEW BEST:: SOT 1789749 SOS 1059388 HAS SOPS 1059388 HAS SOUS 759862 HAS SOUPS 759862 WITH SCORE 760921.388
AT ITER 3910 NEW BEST:: SOT 1789692 SOS 1059316 HAS SOPS 1059316 HAS SOUS 759591 HAS SOUPS 759591 WITH SCORE 760650.316
AT ITER 3912 NEW BEST:: SOT 1789690 SOS 1059322 HAS SOPS 1059322 HAS SOUS 759573 HAS SOUPS 759573 WITH SCORE 760632.322
AT ITER 3916 NEW BEST:: SOT 1788960 SOS 1057543 HAS SOPS 1057543 HAS SOUS 758044 HAS SOUPS 758044 WITH SCORE 759101.543
AT ITER 3918 NEW BEST:: SOT 1788688 SOS 1057271 HAS SOPS 1057271 HAS SOUS 757681 HAS SOUPS 757681 WITH SCORE 758738.271
AT ITER 3921 NEW BEST:: SOT 1788493 SOS 1057074 HAS SOPS 1057074 HAS SOUS 757484 HAS SOUPS 757484 WITH SCORE 758541.074
AT ITER 3922 NEW BEST:: SOT 1788401 SOS 1056546 HAS SOPS 1056546 HAS SOUS 757319 HAS SOUPS 757319 WITH SCORE 758375.546
AT ITER 3927 NEW BEST:: SOT 1788154 SOS 1056129 HAS SOPS 1056129 HAS SOUS 756751 HAS SOUPS 756751 WITH SCORE 757807.129
AT ITER 3934 NEW BEST:: SOT 1787564 SOS 1055282 HAS SOPS 1055282 HAS SOUS 756066 HAS SOUPS 756066 WITH SCORE 757121.282
AT ITER 3955 NEW BEST:: SOT 1787721 SOS 1055039 HAS SOPS 1055039 HAS SOUS 755190 HAS SOUPS 755190 WITH SCORE 756245.039
AT ITER 3958 NEW BEST:: SOT 1787712 SOS 1054502 HAS SOPS 1054502 HAS SOUS 754477 HAS SOUPS 754477 WITH SCORE 755531.502
AT ITER 3963 NEW BEST:: SOT 1787985 SOS 1054310 HAS SOPS 1054310 HAS SOUS 754169 HAS SOUPS 754169 WITH SCORE 755223.31
AT ITER 3967 NEW BEST:: SOT 1787916 SOS 1054172 HAS SOPS 1054172 HAS SOUS 754100 HAS SOUPS 754100 WITH SCORE 755154.172
AT ITER 3968 NEW BEST:: SOT 1787801 SOS 1054057 HAS SOPS 1054057 HAS SOUS 753985 HAS SOUPS 753985 WITH SCORE 755039.057
AT ITER 3972 NEW BEST:: SOT 1787523 SOS 1053866 HAS SOPS 1053866 HAS SOUS 753821 HAS SOUPS 753821 WITH SCORE 754874.866
AT ITER 3975 NEW BEST:: SOT 1787523 SOS 1053792 HAS SOPS 1053792 HAS SOUS 753817 HAS SOUPS 753817 WITH SCORE 754870.792
AT ITER 3984 NEW BEST:: SOT 1787142 SOS 1053114 HAS SOPS 1053114 HAS SOUS 752083 HAS SOUPS 752083 WITH SCORE 753136.114
AT ITER 3994 NEW BEST:: SOT 1787142 SOS 1053114 HAS SOPS 1053114 HAS SOUS 751983 HAS SOUPS 751983 WITH SCORE 753036.114
AT ITER 3997 NEW BEST:: SOT 1787130 SOS 1053090 HAS SOPS 1053090 HAS SOUS 751911 HAS SOUPS 751911 WITH SCORE 752964.09
AT ITER 3998 NEW BEST:: SOT 1787050 SOS 1052270 HAS SOPS 1052270 HAS SOUS 751793 HAS SOUPS 751793 WITH SCORE 752845.27
AT ITER 4005 NEW BEST:: SOT 1787050 SOS 1052091 HAS SOPS 1052091 HAS SOUS 751737 HAS SOUPS 751737 WITH SCORE 752789.091
AT ITER 4014 NEW BEST:: SOT 1787077 SOS 1052816 HAS SOPS 1052816 HAS SOUS 751654 HAS SOUPS 751654 WITH SCORE 752706.816
AT ITER 4017 NEW BEST:: SOT 1787077 SOS 1052816 HAS SOPS 1052816 HAS SOUS 751567 HAS SOUPS 751567 WITH SCORE 752619.816
AT ITER 4049 NEW BEST:: SOT 1786942 SOS 1051570 HAS SOPS 1051570 HAS SOUS 751430 HAS SOUPS 751430 WITH SCORE 752481.57
AT ITER 4058 NEW BEST:: SOT 1786942 SOS 1051331 HAS SOPS 1051331 HAS SOUS 751382 HAS SOUPS 751382 WITH SCORE 752433.331
AT ITER 4059 NEW BEST:: SOT 1786433 SOS 1050510 HAS SOPS 1050510 HAS SOUS 751116 HAS SOUPS 751116 WITH SCORE 752166.51
AT ITER 4069 NEW BEST:: SOT 1786033 SOS 1049257 HAS SOPS 1049257 HAS SOUS 750410 HAS SOUPS 750410 WITH SCORE 751459.257
AT ITER 4071 NEW BEST:: SOT 1785919 SOS 1049034 HAS SOPS 1049034 HAS SOUS 750078 HAS SOUPS 750078 WITH SCORE 751127.034
AT ITER 4082 NEW BEST:: SOT 1785036 SOS 1048176 HAS SOPS 1048176 HAS SOUS 749369 HAS SOUPS 749369 WITH SCORE 750417.176
AT ITER 4085 NEW BEST:: SOT 1784209 SOS 1044169 HAS SOPS 1044169 HAS SOUS 747754 HAS SOUPS 747754 WITH SCORE 748798.169
AT ITER 4086 NEW BEST:: SOT 1784430 SOS 1044441 HAS SOPS 1044441 HAS SOUS 747753 HAS SOUPS 747753 WITH SCORE 748797.441
AT ITER 4088 NEW BEST:: SOT 1783761 SOS 1043772 HAS SOPS 1043772 HAS SOUS 747046 HAS SOUPS 747046 WITH SCORE 748089.772
AT ITER 4091 NEW BEST:: SOT 1783401 SOS 1043102 HAS SOPS 1043102 HAS SOUS 746455 HAS SOUPS 746455 WITH SCORE 747498.102
AT ITER 4092 NEW BEST:: SOT 1783389 SOS 1043083 HAS SOPS 1043083 HAS SOUS 746436 HAS SOUPS 746436 WITH SCORE 747479.083
AT ITER 4099 NEW BEST:: SOT 1782808 SOS 1040374 HAS SOPS 1040374 HAS SOUS 744713 HAS SOUPS 744713 WITH SCORE 745753.374
AT ITER 4102 NEW BEST:: SOT 1782812 SOS 1040564 HAS SOPS 1040564 HAS SOUS 744541 HAS SOUPS 744541 WITH SCORE 745581.564
AT ITER 4104 NEW BEST:: SOT 1782178 SOS 1038079 HAS SOPS 1038079 HAS SOUS 743822 HAS SOUPS 743822 WITH SCORE 744860.079
AT ITER 4106 NEW BEST:: SOT 1782042 SOS 1037943 HAS SOPS 1037943 HAS SOUS 743686 HAS SOUPS 743686 WITH SCORE 744723.943
AT ITER 4114 NEW BEST:: SOT 1778114 SOS 1031032 HAS SOPS 1031032 HAS SOUS 738501 HAS SOUPS 738501 WITH SCORE 739532.032
AT ITER 4118 NEW BEST:: SOT 1778060 SOS 1030924 HAS SOPS 1030924 HAS SOUS 738339 HAS SOUPS 738339 WITH SCORE 739369.924
AT ITER 4119 NEW BEST:: SOT 1777195 SOS 1029528 HAS SOPS 1029528 HAS SOUS 737802 HAS SOUPS 737802 WITH SCORE 738831.528
AT ITER 4126 NEW BEST:: SOT 1776187 SOS 1027930 HAS SOPS 1027930 HAS SOUS 735592 HAS SOUPS 735592 WITH SCORE 736619.93
AT ITER 4127 NEW BEST:: SOT 1776677 SOS 1027598 HAS SOPS 1027598 HAS SOUS 735258 HAS SOUPS 735258 WITH SCORE 736285.598
AT ITER 4140 NEW BEST:: SOT 1776522 SOS 1026757 HAS SOPS 1026757 HAS SOUS 734206 HAS SOUPS 734206 WITH SCORE 735232.757
AT ITER 4141 NEW BEST:: SOT 1776465 SOS 1026643 HAS SOPS 1026643 HAS SOUS 734113 HAS SOUPS 734113 WITH SCORE 735139.643
AT ITER 4150 NEW BEST:: SOT 1776274 SOS 1026450 HAS SOPS 1026450 HAS SOUS 733447 HAS SOUPS 733447 WITH SCORE 734473.45
AT ITER 4165 NEW BEST:: SOT 1774994 SOS 1025170 HAS SOPS 1025170 HAS SOUS 732836 HAS SOUPS 732836 WITH SCORE 733861.17
AT ITER 4166 NEW BEST:: SOT 1774837 SOS 1024698 HAS SOPS 1024698 HAS SOUS 732530 HAS SOUPS 732530 WITH SCORE 733554.698
AT ITER 4170 NEW BEST:: SOT 1774735 SOS 1024221 HAS SOPS 1024221 HAS SOUS 732129 HAS SOUPS 732129 WITH SCORE 733153.221
AT ITER 4171 NEW BEST:: SOT 1775089 SOS 1025345 HAS SOPS 1025345 HAS SOUS 732113 HAS SOUPS 732113 WITH SCORE 733138.345
AT ITER 4180 NEW BEST:: SOT 1775104 SOS 1025360 HAS SOPS 1025360 HAS SOUS 732098 HAS SOUPS 732098 WITH SCORE 733123.36
AT ITER 4183 NEW BEST:: SOT 1775012 SOS 1025222 HAS SOPS 1025222 HAS SOUS 731937 HAS SOUPS 731937 WITH SCORE 732962.222
AT ITER 4193 NEW BEST:: SOT 1775269 SOS 1025264 HAS SOPS 1025264 HAS SOUS 731864 HAS SOUPS 731864 WITH SCORE 732889.264
AT ITER 4195 NEW BEST:: SOT 1775246 SOS 1025172 HAS SOPS 1025172 HAS SOUS 731786 HAS SOUPS 731786 WITH SCORE 732811.172
AT ITER 4196 NEW BEST:: SOT 1775275 SOS 1025084 HAS SOPS 1025084 HAS SOUS 731698 HAS SOUPS 731698 WITH SCORE 732723.084
AT ITER 4197 NEW BEST:: SOT 1775115 SOS 1023590 HAS SOPS 1023590 HAS SOUS 731077 HAS SOUPS 731077 WITH SCORE 732100.59
AT ITER 4198 NEW BEST:: SOT 1774483 SOS 1022958 HAS SOPS 1022958 HAS SOUS 730319 HAS SOUPS 730319 WITH SCORE 731341.958
AT ITER 4199 NEW BEST:: SOT 1774393 SOS 1022778 HAS SOPS 1022778 HAS SOUS 730197 HAS SOUPS 730197 WITH SCORE 731219.778
AT ITER 4203 NEW BEST:: SOT 1774449 SOS 1018003 HAS SOPS 1018003 HAS SOUS 729455 HAS SOUPS 729455 WITH SCORE 730473.003
AT ITER 4216 NEW BEST:: SOT 1774521 SOS 1014831 HAS SOPS 1014831 HAS SOUS 728349 HAS SOUPS 728349 WITH SCORE 729363.831
AT ITER 4223 NEW BEST:: SOT 1774212 SOS 1012987 HAS SOPS 1012987 HAS SOUS 727719 HAS SOUPS 727719 WITH SCORE 728731.987
AT ITER 4226 NEW BEST:: SOT 1773940 SOS 1012715 HAS SOPS 1012715 HAS SOUS 727447 HAS SOUPS 727447 WITH SCORE 728459.715
AT ITER 4228 NEW BEST:: SOT 1773601 SOS 1010089 HAS SOPS 1010089 HAS SOUS 726035 HAS SOUPS 726035 WITH SCORE 727045.089
AT ITER 4235 NEW BEST:: SOT 1774063 SOS 1008528 HAS SOPS 1008528 HAS SOUS 725810 HAS SOUPS 725810 WITH SCORE 726818.528
AT ITER 4239 NEW BEST:: SOT 1773617 SOS 1007973 HAS SOPS 1007973 HAS SOUS 724975 HAS SOUPS 724975 WITH SCORE 725982.973
AT ITER 4241 NEW BEST:: SOT 1773603 SOS 1007904 HAS SOPS 1007904 HAS SOUS 724873 HAS SOUPS 724873 WITH SCORE 725880.904
AT ITER 4243 NEW BEST:: SOT 1773603 SOS 1007659 HAS SOPS 1007659 HAS SOUS 724775 HAS SOUPS 724775 WITH SCORE 725782.659
AT ITER 4244 NEW BEST:: SOT 1773378 SOS 1007434 HAS SOPS 1007434 HAS SOUS 724550 HAS SOUPS 724550 WITH SCORE 725557.434
AT ITER 4245 NEW BEST:: SOT 1773303 SOS 1007134 HAS SOPS 1007134 HAS SOUS 724325 HAS SOUPS 724325 WITH SCORE 725332.134
AT ITER 4250 NEW BEST:: SOT 1773071 SOS 1006902 HAS SOPS 1006902 HAS SOUS 724093 HAS SOUPS 724093 WITH SCORE 725099.902
AT ITER 4253 NEW BEST:: SOT 1773025 SOS 1006598 HAS SOPS 1006598 HAS SOUS 724030 HAS SOUPS 724030 WITH SCORE 725036.598
AT ITER 4254 NEW BEST:: SOT 1773025 SOS 1006206 HAS SOPS 1006206 HAS SOUS 723755 HAS SOUPS 723755 WITH SCORE 724761.206
AT ITER 4258 NEW BEST:: SOT 1772996 SOS 1006177 HAS SOPS 1006177 HAS SOUS 723726 HAS SOUPS 723726 WITH SCORE 724732.177
AT ITER 4265 NEW BEST:: SOT 1772930 SOS 1006093 HAS SOPS 1006093 HAS SOUS 723546 HAS SOUPS 723546 WITH SCORE 724552.093
AT ITER 4282 NEW BEST:: SOT 1772875 SOS 1005880 HAS SOPS 1005880 HAS SOUS 723542 HAS SOUPS 723542 WITH SCORE 724547.88
AT ITER 4283 NEW BEST:: SOT 1772498 SOS 1004930 HAS SOPS 1004930 HAS SOUS 723161 HAS SOUPS 723161 WITH SCORE 724165.93
AT ITER 4284 NEW BEST:: SOT 1772446 SOS 1004427 HAS SOPS 1004427 HAS SOUS 722825 HAS SOUPS 722825 WITH SCORE 723829.427
AT ITER 4288 NEW BEST:: SOT 1772736 SOS 1005144 HAS SOPS 1005144 HAS SOUS 722751 HAS SOUPS 722751 WITH SCORE 723756.144
AT ITER 4289 NEW BEST:: SOT 1772910 SOS 1005278 HAS SOPS 1005278 HAS SOUS 722668 HAS SOUPS 722668 WITH SCORE 723673.278
AT ITER 4293 NEW BEST:: SOT 1772307 SOS 1004569 HAS SOPS 1004569 HAS SOUS 722438 HAS SOUPS 722438 WITH SCORE 723442.569
AT ITER 4298 NEW BEST:: SOT 1772161 SOS 1004501 HAS SOPS 1004501 HAS SOUS 722291 HAS SOUPS 722291 WITH SCORE 723295.501
AT ITER 4305 NEW BEST:: SOT 1772176 SOS 1003326 HAS SOPS 1003326 HAS SOUS 721615 HAS SOUPS 721615 WITH SCORE 722618.326
AT ITER 4316 NEW BEST:: SOT 1772019 SOS 1003169 HAS SOPS 1003169 HAS SOUS 721458 HAS SOUPS 721458 WITH SCORE 722461.169
AT ITER 4320 NEW BEST:: SOT 1769815 SOS 1000965 HAS SOPS 1000965 HAS SOUS 719254 HAS SOUPS 719254 WITH SCORE 720254.965
AT ITER 4321 NEW BEST:: SOT 1769619 SOS 1000769 HAS SOPS 1000769 HAS SOUS 719058 HAS SOUPS 719058 WITH SCORE 720058.769
AT ITER 4322 NEW BEST:: SOT 1769619 SOS 1000602 HAS SOPS 1000602 HAS SOUS 718740 HAS SOUPS 718740 WITH SCORE 719740.602
AT ITER 4323 NEW BEST:: SOT 1769523 SOS 1001450 HAS SOPS 1001450 HAS SOUS 718661 HAS SOUPS 718661 WITH SCORE 719662.45
AT ITER 4331 NEW BEST:: SOT 1769523 SOS 1001450 HAS SOPS 1001450 HAS SOUS 718611 HAS SOUPS 718611 WITH SCORE 719612.45
AT ITER 4361 NEW BEST:: SOT 1769296 SOS 1001125 HAS SOPS 1001125 HAS SOUS 718286 HAS SOUPS 718286 WITH SCORE 719287.125
AT ITER 4367 NEW BEST:: SOT 1768921 SOS 998541 HAS SOPS 998541 HAS SOUS 717925 HAS SOUPS 717925 WITH SCORE 718923.541
AT ITER 4369 NEW BEST:: SOT 1768433 SOS 997987 HAS SOPS 997987 HAS SOUS 717131 HAS SOUPS 717131 WITH SCORE 718128.987
AT ITER 4370 NEW BEST:: SOT 1768264 SOS 997469 HAS SOPS 997469 HAS SOUS 716256 HAS SOUPS 716256 WITH SCORE 717253.469
AT ITER 4371 NEW BEST:: SOT 1768264 SOS 997565 HAS SOPS 997565 HAS SOUS 716210 HAS SOUPS 716210 WITH SCORE 717207.565
AT ITER 4382 NEW BEST:: SOT 1768187 SOS 997488 HAS SOPS 997488 HAS SOUS 716103 HAS SOUPS 716103 WITH SCORE 717100.488
AT ITER 4386 NEW BEST:: SOT 1768691 SOS 997705 HAS SOPS 997705 HAS SOUS 716041 HAS SOUPS 716041 WITH SCORE 717038.705
AT ITER 4387 NEW BEST:: SOT 1768658 SOS 997672 HAS SOPS 997672 HAS SOUS 716008 HAS SOUPS 716008 WITH SCORE 717005.672
AT ITER 4398 NEW BEST:: SOT 1768454 SOS 997690 HAS SOPS 997690 HAS SOUS 715530 HAS SOUPS 715530 WITH SCORE 716527.69
AT ITER 4401 NEW BEST:: SOT 1768004 SOS 995656 HAS SOPS 995656 HAS SOUS 714790 HAS SOUPS 714790 WITH SCORE 715785.656
AT ITER 4402 NEW BEST:: SOT 1767970 SOS 995622 HAS SOPS 995622 HAS SOUS 714732 HAS SOUPS 714732 WITH SCORE 715727.622
AT ITER 4403 NEW BEST:: SOT 1767955 SOS 995602 HAS SOPS 995602 HAS SOUS 714712 HAS SOUPS 714712 WITH SCORE 715707.602
AT ITER 4406 NEW BEST:: SOT 1767840 SOS 994991 HAS SOPS 994991 HAS SOUS 714127 HAS SOUPS 714127 WITH SCORE 715121.991
AT ITER 4407 NEW BEST:: SOT 1767842 SOS 995158 HAS SOPS 995158 HAS SOUS 714065 HAS SOUPS 714065 WITH SCORE 715060.158
AT ITER 4410 NEW BEST:: SOT 1767773 SOS 995020 HAS SOPS 995020 HAS SOUS 713720 HAS SOUPS 713720 WITH SCORE 714715.02
AT ITER 4416 NEW BEST:: SOT 1767701 SOS 994103 HAS SOPS 994103 HAS SOUS 713680 HAS SOUPS 713680 WITH SCORE 714674.103
AT ITER 4421 NEW BEST:: SOT 1766801 SOS 992900 HAS SOPS 992900 HAS SOUS 712477 HAS SOUPS 712477 WITH SCORE 713469.9
AT ITER 4446 NEW BEST:: SOT 1766779 SOS 992850 HAS SOPS 992850 HAS SOUS 712281 HAS SOUPS 712281 WITH SCORE 713273.85
AT ITER 4449 NEW BEST:: SOT 1766387 SOS 992556 HAS SOPS 992556 HAS SOUS 711889 HAS SOUPS 711889 WITH SCORE 712881.556
AT ITER 4452 NEW BEST:: SOT 1766387 SOS 990786 HAS SOPS 990786 HAS SOUS 711568 HAS SOUPS 711568 WITH SCORE 712558.786
AT ITER 4453 NEW BEST:: SOT 1766877 SOS 992155 HAS SOPS 992155 HAS SOUS 711471 HAS SOUPS 711471 WITH SCORE 712463.155
AT ITER 4455 NEW BEST:: SOT 1766431 SOS 989402 HAS SOPS 989402 HAS SOUS 711276 HAS SOUPS 711276 WITH SCORE 712265.402
AT ITER 4464 NEW BEST:: SOT 1766751 SOS 988762 HAS SOPS 988762 HAS SOUS 711276 HAS SOUPS 711276 WITH SCORE 712264.762
AT ITER 4480 NEW BEST:: SOT 1765951 SOS 987845 HAS SOPS 987845 HAS SOUS 710359 HAS SOUPS 710359 WITH SCORE 711346.845
AT ITER 4487 NEW BEST:: SOT 1765900 SOS 987794 HAS SOPS 987794 HAS SOUS 710308 HAS SOUPS 710308 WITH SCORE 711295.794
AT ITER 4492 NEW BEST:: SOT 1765399 SOS 987293 HAS SOPS 987293 HAS SOUS 709807 HAS SOUPS 709807 WITH SCORE 710794.293
AT ITER 4495 NEW BEST:: SOT 1765361 SOS 987255 HAS SOPS 987255 HAS SOUS 709731 HAS SOUPS 709731 WITH SCORE 710718.255
AT ITER 4498 NEW BEST:: SOT 1764192 SOS 986086 HAS SOPS 986086 HAS SOUS 708562 HAS SOUPS 708562 WITH SCORE 709548.086
AT ITER 4502 NEW BEST:: SOT 1764172 SOS 986066 HAS SOPS 986066 HAS SOUS 708542 HAS SOUPS 708542 WITH SCORE 709528.066
AT ITER 4518 NEW BEST:: SOT 1764029 SOS 985154 HAS SOPS 985154 HAS SOUS 707866 HAS SOUPS 707866 WITH SCORE 708851.154
AT ITER 4522 NEW BEST:: SOT 1763070 SOS 984195 HAS SOPS 984195 HAS SOUS 706630 HAS SOUPS 706630 WITH SCORE 707614.195
AT ITER 4528 NEW BEST:: SOT 1763070 SOS 984187 HAS SOPS 984187 HAS SOUS 706630 HAS SOUPS 706630 WITH SCORE 707614.187
AT ITER 4533 NEW BEST:: SOT 1762750 SOS 983924 HAS SOPS 983924 HAS SOUS 706367 HAS SOUPS 706367 WITH SCORE 707350.924
AT ITER 4539 NEW BEST:: SOT 1762738 SOS 983595 HAS SOPS 983595 HAS SOUS 706129 HAS SOUPS 706129 WITH SCORE 707112.595
AT ITER 4568 NEW BEST:: SOT 1762723 SOS 983535 HAS SOPS 983535 HAS SOUS 706084 HAS SOUPS 706084 WITH SCORE 707067.535
AT ITER 4569 NEW BEST:: SOT 1763049 SOS 983663 HAS SOPS 983663 HAS SOUS 706014 HAS SOUPS 706014 WITH SCORE 706997.663
AT ITER 4570 NEW BEST:: SOT 1762646 SOS 983667 HAS SOPS 983667 HAS SOUS 705819 HAS SOUPS 705819 WITH SCORE 706802.667
AT ITER 4575 NEW BEST:: SOT 1762317 SOS 983363 HAS SOPS 983363 HAS SOUS 705399 HAS SOUPS 705399 WITH SCORE 706382.363
AT ITER 4578 NEW BEST:: SOT 1762317 SOS 983379 HAS SOPS 983379 HAS SOUS 705384 HAS SOUPS 705384 WITH SCORE 706367.379
AT ITER 4582 NEW BEST:: SOT 1762071 SOS 982697 HAS SOPS 982697 HAS SOUS 704586 HAS SOUPS 704586 WITH SCORE 705568.697
AT ITER 4588 NEW BEST:: SOT 1761962 SOS 982458 HAS SOPS 982458 HAS SOUS 704217 HAS SOUPS 704217 WITH SCORE 705199.458
AT ITER 4595 NEW BEST:: SOT 1761962 SOS 982458 HAS SOPS 982458 HAS SOUS 704106 HAS SOUPS 704106 WITH SCORE 705088.458
AT ITER 4602 NEW BEST:: SOT 1761678 SOS 982063 HAS SOPS 982063 HAS SOUS 703711 HAS SOUPS 703711 WITH SCORE 704693.063
AT ITER 4605 NEW BEST:: SOT 1761678 SOS 981098 HAS SOPS 981098 HAS SOUS 703493 HAS SOUPS 703493 WITH SCORE 704474.098
AT ITER 4606 NEW BEST:: SOT 1761443 SOS 980257 HAS SOPS 980257 HAS SOUS 703348 HAS SOUPS 703348 WITH SCORE 704328.257
AT ITER 4619 NEW BEST:: SOT 1761443 SOS 980249 HAS SOPS 980249 HAS SOUS 703348 HAS SOUPS 703348 WITH SCORE 704328.249
AT ITER 4624 NEW BEST:: SOT 1761439 SOS 980258 HAS SOPS 980258 HAS SOUS 703342 HAS SOUPS 703342 WITH SCORE 704322.258
AT ITER 4625 NEW BEST:: SOT 1761033 SOS 979852 HAS SOPS 979852 HAS SOUS 702936 HAS SOUPS 702936 WITH SCORE 703915.852
AT ITER 4630 NEW BEST:: SOT 1761045 SOS 979376 HAS SOPS 979376 HAS SOUS 702826 HAS SOUPS 702826 WITH SCORE 703805.376
AT ITER 4639 NEW BEST:: SOT 1761130 SOS 980221 HAS SOPS 980221 HAS SOUS 702514 HAS SOUPS 702514 WITH SCORE 703494.221
AT ITER 4641 NEW BEST:: SOT 1761073 SOS 980183 HAS SOPS 980183 HAS SOUS 702495 HAS SOUPS 702495 WITH SCORE 703475.183
AT ITER 4649 NEW BEST:: SOT 1761066 SOS 980148 HAS SOPS 980148 HAS SOUS 702460 HAS SOUPS 702460 WITH SCORE 703440.148
AT ITER 4650 NEW BEST:: SOT 1760836 SOS 979918 HAS SOPS 979918 HAS SOUS 702230 HAS SOUPS 702230 WITH SCORE 703209.918
AT ITER 4652 NEW BEST:: SOT 1760760 SOS 979842 HAS SOPS 979842 HAS SOUS 702173 HAS SOUPS 702173 WITH SCORE 703152.842
AT ITER 4654 NEW BEST:: SOT 1760748 SOS 979834 HAS SOPS 979834 HAS SOUS 702165 HAS SOUPS 702165 WITH SCORE 703144.834
AT ITER 4658 NEW BEST:: SOT 1760728 SOS 979814 HAS SOPS 979814 HAS SOUS 702145 HAS SOUPS 702145 WITH SCORE 703124.814
AT ITER 4660 NEW BEST:: SOT 1760480 SOS 979218 HAS SOPS 979218 HAS SOUS 701549 HAS SOUPS 701549 WITH SCORE 702528.218
AT ITER 4686 NEW BEST:: SOT 1760480 SOS 978758 HAS SOPS 978758 HAS SOUS 701409 HAS SOUPS 701409 WITH SCORE 702387.758
AT ITER 4687 NEW BEST:: SOT 1760421 SOS 978523 HAS SOPS 978523 HAS SOUS 701174 HAS SOUPS 701174 WITH SCORE 702152.523
AT ITER 4694 NEW BEST:: SOT 1759883 SOS 977952 HAS SOPS 977952 HAS SOUS 700513 HAS SOUPS 700513 WITH SCORE 701490.952
AT ITER 4696 NEW BEST:: SOT 1759639 SOS 977565 HAS SOPS 977565 HAS SOUS 700126 HAS SOUPS 700126 WITH SCORE 701103.565
AT ITER 4697 NEW BEST:: SOT 1759735 SOS 977546 HAS SOPS 977546 HAS SOUS 699977 HAS SOUPS 699977 WITH SCORE 700954.546
AT ITER 4698 NEW BEST:: SOT 1759271 SOS 977082 HAS SOPS 977082 HAS SOUS 698889 HAS SOUPS 698889 WITH SCORE 699866.082
AT ITER 4705 NEW BEST:: SOT 1758768 SOS 976579 HAS SOPS 976579 HAS SOUS 698421 HAS SOUPS 698421 WITH SCORE 699397.579
AT ITER 4709 NEW BEST:: SOT 1758911 SOS 976712 HAS SOPS 976712 HAS SOUS 698053 HAS SOUPS 698053 WITH SCORE 699029.712
AT ITER 4711 NEW BEST:: SOT 1758911 SOS 976682 HAS SOPS 976682 HAS SOUS 698053 HAS SOUPS 698053 WITH SCORE 699029.682
AT ITER 4714 NEW BEST:: SOT 1758911 SOS 976676 HAS SOPS 976676 HAS SOUS 698047 HAS SOUPS 698047 WITH SCORE 699023.676
AT ITER 4722 NEW BEST:: SOT 1758906 SOS 976671 HAS SOPS 976671 HAS SOUS 698047 HAS SOUPS 698047 WITH SCORE 699023.671
AT ITER 4726 NEW BEST:: SOT 1758761 SOS 976526 HAS SOPS 976526 HAS SOUS 697959 HAS SOUPS 697959 WITH SCORE 698935.526
AT ITER 4746 NEW BEST:: SOT 1758752 SOS 976458 HAS SOPS 976458 HAS SOUS 697941 HAS SOUPS 697941 WITH SCORE 698917.458
AT ITER 4751 NEW BEST:: SOT 1757740 SOS 974894 HAS SOPS 974894 HAS SOUS 696367 HAS SOUPS 696367 WITH SCORE 697341.894
AT ITER 4755 NEW BEST:: SOT 1757740 SOS 974843 HAS SOPS 974843 HAS SOUS 696262 HAS SOUPS 696262 WITH SCORE 697236.843
AT ITER 4760 NEW BEST:: SOT 1757889 SOS 974718 HAS SOPS 974718 HAS SOUS 694879 HAS SOUPS 694879 WITH SCORE 695853.718
AT ITER 4763 NEW BEST:: SOT 1757889 SOS 975509 HAS SOPS 975509 HAS SOUS 694638 HAS SOUPS 694638 WITH SCORE 695613.509
AT ITER 4766 NEW BEST:: SOT 1757437 SOS 974557 HAS SOPS 974557 HAS SOUS 692802 HAS SOUPS 692802 WITH SCORE 693776.557
AT ITER 4769 NEW BEST:: SOT 1757247 SOS 974259 HAS SOPS 974259 HAS SOUS 692472 HAS SOUPS 692472 WITH SCORE 693446.259
AT ITER 4791 NEW BEST:: SOT 1757892 SOS 972857 HAS SOPS 972857 HAS SOUS 691908 HAS SOUPS 691908 WITH SCORE 692880.857
AT ITER 4797 NEW BEST:: SOT 1757963 SOS 972617 HAS SOPS 972617 HAS SOUS 691276 HAS SOUPS 691276 WITH SCORE 692248.617
AT ITER 4798 NEW BEST:: SOT 1757168 SOS 971870 HAS SOPS 971870 HAS SOUS 691153 HAS SOUPS 691153 WITH SCORE 692124.87
AT ITER 4819 NEW BEST:: SOT 1756710 SOS 971086 HAS SOPS 971086 HAS SOUS 689950 HAS SOUPS 689950 WITH SCORE 690921.086
AT ITER 4825 NEW BEST:: SOT 1756221 SOS 970597 HAS SOPS 970597 HAS SOUS 689461 HAS SOUPS 689461 WITH SCORE 690431.597
AT ITER 4829 NEW BEST:: SOT 1755009 SOS 968230 HAS SOPS 968230 HAS SOUS 686968 HAS SOUPS 686968 WITH SCORE 687936.23
AT ITER 4831 NEW BEST:: SOT 1755009 SOS 968378 HAS SOPS 968378 HAS SOUS 686780 HAS SOUPS 686780 WITH SCORE 687748.378
AT ITER 4850 NEW BEST:: SOT 1755009 SOS 967706 HAS SOPS 967706 HAS SOUS 686776 HAS SOUPS 686776 WITH SCORE 687743.706
AT ITER 4853 NEW BEST:: SOT 1755226 SOS 968016 HAS SOPS 968016 HAS SOUS 686612 HAS SOUPS 686612 WITH SCORE 687580.016
AT ITER 4855 NEW BEST:: SOT 1754933 SOS 967665 HAS SOPS 967665 HAS SOUS 686261 HAS SOUPS 686261 WITH SCORE 687228.665
AT ITER 4857 NEW BEST:: SOT 1754933 SOS 967625 HAS SOPS 967625 HAS SOUS 686261 HAS SOUPS 686261 WITH SCORE 687228.625
AT ITER 4863 NEW BEST:: SOT 1754605 SOS 967593 HAS SOPS 967593 HAS SOUS 685873 HAS SOUPS 685873 WITH SCORE 686840.593
AT ITER 4869 NEW BEST:: SOT 1754499 SOS 967520 HAS SOPS 967520 HAS SOUS 685569 HAS SOUPS 685569 WITH SCORE 686536.52
AT ITER 4872 NEW BEST:: SOT 1754542 SOS 967532 HAS SOPS 967532 HAS SOUS 685414 HAS SOUPS 685414 WITH SCORE 686381.532
AT ITER 4874 NEW BEST:: SOT 1754542 SOS 967504 HAS SOPS 967504 HAS SOUS 685318 HAS SOUPS 685318 WITH SCORE 686285.504
AT ITER 4888 NEW BEST:: SOT 1754651 SOS 967383 HAS SOPS 967383 HAS SOUS 685293 HAS SOUPS 685293 WITH SCORE 686260.383
AT ITER 4892 NEW BEST:: SOT 1754691 SOS 967595 HAS SOPS 967595 HAS SOUS 685007 HAS SOUPS 685007 WITH SCORE 685974.595
AT ITER 4915 NEW BEST:: SOT 1754643 SOS 967350 HAS SOPS 967350 HAS SOUS 684820 HAS SOUPS 684820 WITH SCORE 685787.35
AT ITER 4953 NEW BEST:: SOT 1752867 SOS 963713 HAS SOPS 963713 HAS SOUS 683354 HAS SOUPS 683354 WITH SCORE 684317.713
AT ITER 4969 NEW BEST:: SOT 1752817 SOS 963613 HAS SOPS 963613 HAS SOUS 683054 HAS SOUPS 683054 WITH SCORE 684017.613
AT ITER 4983 NEW BEST:: SOT 1752800 SOS 963570 HAS SOPS 963570 HAS SOUS 683038 HAS SOUPS 683038 WITH SCORE 684001.57
AT ITER 4984 NEW BEST:: SOT 1752440 SOS 963210 HAS SOPS 963210 HAS SOUS 682678 HAS SOUPS 682678 WITH SCORE 683641.21
AT ITER 4988 NEW BEST:: SOT 1751766 SOS 961796 HAS SOPS 961796 HAS SOUS 681412 HAS SOUPS 681412 WITH SCORE 682373.796
Bounds file is: CTLFireability.xml
PROPERTY: ShieldRVs-PT-100A-CTLFireability-00 (EX( ( (! (EF( ((potential((tk(P578)>=1) & (tk(P593)>=1) & (tk(P605)>=1))))))) | ( ( ( ((potential((tk(P705)>=1)))) | ((potential((tk(P417)>=1)))) ) | (! ((potential((tk(P1322)>=1) & (tk(P1324)>=1) & (tk(P1328)>=1))))) ) & (EG( ((potential((tk(P795)>=1) & (tk(P799)>=1) & (tk(P808)>=1)))))) ) )))
PROPERTY: ShieldRVs-PT-100A-CTLFireability-01 ( (EX( ( ((potential((tk(P1138)>=1) & (tk(P1153)>=1) & (tk(P1165)>=1)))) | ( (! ((potential((tk(P525)>=1) & (tk(P526)>=1) & (tk(P530)>=1))))) & ((potential((tk(P1355)>=1) & (tk(P1361)>=1) & (tk(P1368)>=1)))) ) ))) | (EF( (EG( ((potential((tk(P727)>=1) & (tk(P729)>=1) & (tk(P738)>=1)))))))) )
PROPERTY: ShieldRVs-PT-100A-CTLFireability-02 (EF( ( ( (AF( ((potential((tk(P123)>=1) & (tk(P127)>=1) & (tk(P136)>=1)))))) & (! ( ((potential((tk(P592)>=1) & (tk(P609)>=1) & (tk(P618)>=1)))) | ((potential((tk(P279)>=1) & (tk(P281)>=1) & (tk(P290)>=1)))) )) ) & (! (EX( ((potential((tk(P1306)>=1) & (tk(P1321)>=1) & (tk(P1332)>=1))))))) )))
PROPERTY: ShieldRVs-PT-100A-CTLFireability-03 (! (EU( (EF( ((potential((tk(P1231)>=1) & (tk(P1233)>=1) & (tk(P1242)>=1)))))) , (EF( ((potential((tk(P230)>=1) & (tk(P232)>=1) & (tk(P236)>=1)))))) )))
PROPERTY: ShieldRVs-PT-100A-CTLFireability-04 (EG( ( (! (AG( ((potential((tk(P463)>=1))))))) | (EU( ((potential((tk(P186)>=1) & (tk(P201)>=1) & (tk(P212)>=1)))) , ((potential((tk(P902)>=1) & (tk(P904)>=1) & (tk(P909)>=1)))) )) )))
PROPERTY: ShieldRVs-PT-100A-CTLFireability-05 (! (AG( (EF( (! ((potential((tk(P175)>=1) & (tk(P176)>=1) & (tk(P180)>=1))))))))))
PROPERTY: ShieldRVs-PT-100A-CTLFireability-06 (AF( (EG( (EG( ((potential((tk(P139)>=1) & (tk(P143)>=1) & (tk(P150)>=1))))))))))
PROPERTY: ShieldRVs-PT-100A-CTLFireability-07 (EF( (EF( ((potential((tk(P118)>=1) & (tk(P120)>=1) & (tk(P125)>=1))))))))
PROPERTY: ShieldRVs-PT-100A-CTLFireability-08 (! (AX( ( ( ((potential((tk(P855)>=1)))) & ( ((potential((tk(P132)>=1) & (tk(P134)>=1) & (tk(P139)>=1)))) | ((potential((tk(P903)>=1) & (tk(P904)>=1) & (tk(P909)>=1)))) ) ) | (AF( ((potential((tk(P1041)>=1)))))) ))))
PROPERTY: ShieldRVs-PT-100A-CTLFireability-09 (AG( (EX( (AF( ((potential((tk(P1265)>=1))))))))))
PROPERTY: ShieldRVs-PT-100A-CTLFireability-10 (AG( (AF( ((potential((tk(P809)>=1) & (tk(P813)>=1) & (tk(P822)>=1))))))))
PROPERTY: ShieldRVs-PT-100A-CTLFireability-11 ( (EX( (! (EG( ((potential((tk(P956)>=1) & (tk(P971)>=1) & (tk(P983)>=1))))))))) & (AF( (AG( ( ((potential((tk(P107)>=1) & (tk(P112)>=1)))) | ((potential((tk(P475)>=1) & (tk(P477)>=1) & (tk(P486)>=1)))) ))))) )
PROPERTY: ShieldRVs-PT-100A-CTLFireability-12 (AG( ( (! (AG( ((potential((tk(P1327)>=1))))))) | ((potential((tk(P1159)>=1)))) )))
PROPERTY: ShieldRVs-PT-100A-CTLFireability-13 ( (AF( ( (AF( ((potential((tk(P972)>=1) & (tk(P974)>=1) & (tk(P979)>=1)))))) & ((potential((tk(P1105)>=1) & (tk(P1107)>=1) & (tk(P1116)>=1)))) ))) & (! (EF( (AF( ((potential((tk(P1117)>=1) & (tk(P1121)>=1) & (tk(P1130)>=1))))))))) )
PROPERTY: ShieldRVs-PT-100A-CTLFireability-14 (AF( ( ( (! ( ((potential((tk(P161)>=1) & (tk(P162)>=1) & (tk(P166)>=1)))) & ((potential((tk(P435)>=1)))) )) & (! ( ((potential((tk(P867)>=1) & (tk(P871)>=1) & (tk(P878)>=1)))) & ((potential((tk(P902)>=1) & (tk(P904)>=1) & (tk(P908)>=1)))) )) ) & (EU( ((potential((tk(P1377)>=1)))) , ((potential((tk(P321)>=1) & (tk(P325)>=1) & (tk(P332)>=1)))) )) )))
PROPERTY: ShieldRVs-PT-100A-CTLFireability-15 (EG( (! ((potential((tk(P147)>=1) & (tk(P148)>=1) & (tk(P152)>=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="ShieldRVs-PT-100A"
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 ShieldRVs-PT-100A, 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 r207-tajo-159033470200908"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVs-PT-100A.tgz
mv ShieldRVs-PT-100A 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 '
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 ;