Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r011-oct2-167813599800128.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ASLink-PT-08a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599800128
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.6K Feb 26 13:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 13:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 13:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 13:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 13:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 13:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 13:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 26 13:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 757K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678726844711

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-08a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 17:00:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 17:00:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 17:00:48] [INFO ] Load time of PNML (sax parser for PT used): 192 ms
[2023-03-13 17:00:48] [INFO ] Transformed 1796 places.
[2023-03-13 17:00:48] [INFO ] Transformed 2646 transitions.
[2023-03-13 17:00:48] [INFO ] Found NUPN structural information;
[2023-03-13 17:00:48] [INFO ] Parsed PT model containing 1796 places and 2646 transitions and 9934 arcs in 361 ms.
[2023-03-13 17:00:48] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1796 places, 2646 transitions and 9934 arcs took 20 ms.
Total runtime 466 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 08a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 1796 places, 2646 transitions, 9934 arcs.
AT ITER 0 NEW BEST:: SOT 2632951 SOS 1810403 HAS SOPS 1810403 HAS SOUS 1178590 HAS SOUPS 1178590 WITH SCORE 1180400.403
AT ITER 1 NEW BEST:: SOT 2630588 SOS 1808660 HAS SOPS 1808660 HAS SOUS 1176847 HAS SOUPS 1176847 WITH SCORE 1178655.66
AT ITER 5 NEW BEST:: SOT 2629985 SOS 1808173 HAS SOPS 1808173 HAS SOUS 1176360 HAS SOUPS 1176360 WITH SCORE 1178168.173
AT ITER 9 NEW BEST:: SOT 2629985 SOS 1807537 HAS SOPS 1807537 HAS SOUS 1176337 HAS SOUPS 1176337 WITH SCORE 1178144.537
AT ITER 12 NEW BEST:: SOT 2626457 SOS 1804450 HAS SOPS 1804450 HAS SOUS 1173248 HAS SOUPS 1173248 WITH SCORE 1175052.45
AT ITER 14 NEW BEST:: SOT 2620349 SOS 1806144 HAS SOPS 1806144 HAS SOUS 1167357 HAS SOUPS 1167357 WITH SCORE 1169163.144
AT ITER 16 NEW BEST:: SOT 2619905 SOS 1804027 HAS SOPS 1804027 HAS SOUS 1165857 HAS SOUPS 1165857 WITH SCORE 1167661.027
AT ITER 20 NEW BEST:: SOT 2619905 SOS 1805413 HAS SOPS 1805413 HAS SOUS 1165758 HAS SOUPS 1165758 WITH SCORE 1167563.413
AT ITER 22 NEW BEST:: SOT 2619589 SOS 1805097 HAS SOPS 1805097 HAS SOUS 1165757 HAS SOUPS 1165757 WITH SCORE 1167562.097
AT ITER 24 NEW BEST:: SOT 2613364 SOS 1802520 HAS SOPS 1802520 HAS SOUS 1160535 HAS SOUPS 1160535 WITH SCORE 1162337.52
AT ITER 30 NEW BEST:: SOT 2613360 SOS 1803655 HAS SOPS 1803655 HAS SOUS 1160533 HAS SOUPS 1160533 WITH SCORE 1162336.655
AT ITER 31 NEW BEST:: SOT 2613353 SOS 1803633 HAS SOPS 1803633 HAS SOUS 1160511 HAS SOUPS 1160511 WITH SCORE 1162314.633
AT ITER 36 NEW BEST:: SOT 2612977 SOS 1800625 HAS SOPS 1800625 HAS SOUS 1159755 HAS SOUPS 1159755 WITH SCORE 1161555.625
AT ITER 37 NEW BEST:: SOT 2607956 SOS 1795929 HAS SOPS 1795929 HAS SOUS 1154952 HAS SOUPS 1154952 WITH SCORE 1156747.929
AT ITER 47 NEW BEST:: SOT 2607953 SOS 1793382 HAS SOPS 1793382 HAS SOUS 1154604 HAS SOUPS 1154604 WITH SCORE 1156397.382
AT ITER 48 NEW BEST:: SOT 2607953 SOS 1793382 HAS SOPS 1793382 HAS SOUS 1154603 HAS SOUPS 1154603 WITH SCORE 1156396.382
AT ITER 49 NEW BEST:: SOT 2608022 SOS 1792571 HAS SOPS 1792571 HAS SOUS 1153981 HAS SOUPS 1153981 WITH SCORE 1155773.571
AT ITER 58 NEW BEST:: SOT 2607278 SOS 1790571 HAS SOPS 1790571 HAS SOUS 1152489 HAS SOUPS 1152489 WITH SCORE 1154279.571
AT ITER 62 NEW BEST:: SOT 2607278 SOS 1788839 HAS SOPS 1788839 HAS SOUS 1152460 HAS SOUPS 1152460 WITH SCORE 1154248.839
AT ITER 67 NEW BEST:: SOT 2606116 SOS 1785587 HAS SOPS 1785587 HAS SOUS 1150112 HAS SOUPS 1150112 WITH SCORE 1151897.587
AT ITER 68 NEW BEST:: SOT 2606114 SOS 1785548 HAS SOPS 1785548 HAS SOUS 1150108 HAS SOUPS 1150108 WITH SCORE 1151893.548
AT ITER 79 NEW BEST:: SOT 2607354 SOS 1785663 HAS SOPS 1785663 HAS SOUS 1150106 HAS SOUPS 1150106 WITH SCORE 1151891.663
AT ITER 81 NEW BEST:: SOT 2607354 SOS 1785663 HAS SOPS 1785663 HAS SOUS 1150105 HAS SOUPS 1150105 WITH SCORE 1151890.663
AT ITER 83 NEW BEST:: SOT 2607264 SOS 1785573 HAS SOPS 1785573 HAS SOUS 1150014 HAS SOUPS 1150014 WITH SCORE 1151799.573
AT ITER 85 NEW BEST:: SOT 2604149 SOS 1781022 HAS SOPS 1781022 HAS SOUS 1146665 HAS SOUPS 1146665 WITH SCORE 1148446.022
AT ITER 87 NEW BEST:: SOT 2604542 SOS 1779607 HAS SOPS 1779607 HAS SOUS 1145250 HAS SOUPS 1145250 WITH SCORE 1147029.607
AT ITER 88 NEW BEST:: SOT 2603676 SOS 1778741 HAS SOPS 1778741 HAS SOUS 1144384 HAS SOUPS 1144384 WITH SCORE 1146162.741
AT ITER 91 NEW BEST:: SOT 2603676 SOS 1778022 HAS SOPS 1778022 HAS SOUS 1143665 HAS SOUPS 1143665 WITH SCORE 1145443.022
AT ITER 93 NEW BEST:: SOT 2603676 SOS 1777099 HAS SOPS 1777099 HAS SOUS 1143659 HAS SOUPS 1143659 WITH SCORE 1145436.099
AT ITER 102 NEW BEST:: SOT 2601516 SOS 1774846 HAS SOPS 1774846 HAS SOUS 1141406 HAS SOUPS 1141406 WITH SCORE 1143180.846
AT ITER 107 NEW BEST:: SOT 2601503 SOS 1774833 HAS SOPS 1774833 HAS SOUS 1141380 HAS SOUPS 1141380 WITH SCORE 1143154.833
AT ITER 115 NEW BEST:: SOT 2599709 SOS 1773039 HAS SOPS 1773039 HAS SOUS 1139585 HAS SOUPS 1139585 WITH SCORE 1141358.039
AT ITER 125 NEW BEST:: SOT 2598520 SOS 1773922 HAS SOPS 1773922 HAS SOUS 1138655 HAS SOUPS 1138655 WITH SCORE 1140428.922
AT ITER 130 NEW BEST:: SOT 2598520 SOS 1771764 HAS SOPS 1771764 HAS SOUS 1138544 HAS SOUPS 1138544 WITH SCORE 1140315.764
AT ITER 135 NEW BEST:: SOT 2598520 SOS 1770381 HAS SOPS 1770381 HAS SOUS 1138543 HAS SOUPS 1138543 WITH SCORE 1140313.381
AT ITER 142 NEW BEST:: SOT 2598185 SOS 1770037 HAS SOPS 1770037 HAS SOUS 1138237 HAS SOUPS 1138237 WITH SCORE 1140007.037
AT ITER 143 NEW BEST:: SOT 2587345 SOS 1759859 HAS SOPS 1759859 HAS SOUS 1125488 HAS SOUPS 1125488 WITH SCORE 1127247.859
AT ITER 144 NEW BEST:: SOT 2587345 SOS 1756509 HAS SOPS 1756509 HAS SOUS 1124635 HAS SOUPS 1124635 WITH SCORE 1126391.509
AT ITER 146 NEW BEST:: SOT 2587131 SOS 1756295 HAS SOPS 1756295 HAS SOUS 1124393 HAS SOUPS 1124393 WITH SCORE 1126149.295
AT ITER 152 NEW BEST:: SOT 2587104 SOS 1756070 HAS SOPS 1756070 HAS SOUS 1124339 HAS SOUPS 1124339 WITH SCORE 1126095.07
AT ITER 155 NEW BEST:: SOT 2587196 SOS 1754639 HAS SOPS 1754639 HAS SOUS 1124337 HAS SOUPS 1124337 WITH SCORE 1126091.639
AT ITER 156 NEW BEST:: SOT 2580260 SOS 1747703 HAS SOPS 1747703 HAS SOUS 1117401 HAS SOUPS 1117401 WITH SCORE 1119148.703
AT ITER 162 NEW BEST:: SOT 2578062 SOS 1745505 HAS SOPS 1745505 HAS SOUS 1115203 HAS SOUPS 1115203 WITH SCORE 1116948.505
AT ITER 165 NEW BEST:: SOT 2577383 SOS 1740584 HAS SOPS 1740584 HAS SOUS 1113254 HAS SOUPS 1113254 WITH SCORE 1114994.584
AT ITER 172 NEW BEST:: SOT 2576830 SOS 1740168 HAS SOPS 1740168 HAS SOUS 1112838 HAS SOUPS 1112838 WITH SCORE 1114578.168
AT ITER 175 NEW BEST:: SOT 2567180 SOS 1730518 HAS SOPS 1730518 HAS SOUS 1103188 HAS SOUPS 1103188 WITH SCORE 1104918.518
AT ITER 176 NEW BEST:: SOT 2566510 SOS 1728326 HAS SOPS 1728326 HAS SOUS 1102518 HAS SOUPS 1102518 WITH SCORE 1104246.326
AT ITER 178 NEW BEST:: SOT 2566510 SOS 1727574 HAS SOPS 1727574 HAS SOUS 1102497 HAS SOUPS 1102497 WITH SCORE 1104224.574
AT ITER 180 NEW BEST:: SOT 2566510 SOS 1726814 HAS SOPS 1726814 HAS SOUS 1101737 HAS SOUPS 1101737 WITH SCORE 1103463.814
AT ITER 183 NEW BEST:: SOT 2566510 SOS 1723472 HAS SOPS 1723472 HAS SOUS 1100950 HAS SOUPS 1100950 WITH SCORE 1102673.472
AT ITER 186 NEW BEST:: SOT 2566238 SOS 1720351 HAS SOPS 1720351 HAS SOUS 1100406 HAS SOUPS 1100406 WITH SCORE 1102126.351
AT ITER 187 NEW BEST:: SOT 2565871 SOS 1720350 HAS SOPS 1720350 HAS SOUS 1100405 HAS SOUPS 1100405 WITH SCORE 1102125.35
AT ITER 201 NEW BEST:: SOT 2566156 SOS 1718577 HAS SOPS 1718577 HAS SOUS 1099622 HAS SOUPS 1099622 WITH SCORE 1101340.577
AT ITER 206 NEW BEST:: SOT 2565719 SOS 1718575 HAS SOPS 1718575 HAS SOUS 1099620 HAS SOUPS 1099620 WITH SCORE 1101338.575
AT ITER 210 NEW BEST:: SOT 2565622 SOS 1718478 HAS SOPS 1718478 HAS SOUS 1099596 HAS SOUPS 1099596 WITH SCORE 1101314.478
AT ITER 217 NEW BEST:: SOT 2565631 SOS 1718494 HAS SOPS 1718494 HAS SOUS 1099259 HAS SOUPS 1099259 WITH SCORE 1100977.494
AT ITER 220 NEW BEST:: SOT 2565003 SOS 1716856 HAS SOPS 1716856 HAS SOUS 1097850 HAS SOUPS 1097850 WITH SCORE 1099566.856
AT ITER 221 NEW BEST:: SOT 2565003 SOS 1716756 HAS SOPS 1716756 HAS SOUS 1097809 HAS SOUPS 1097809 WITH SCORE 1099525.756
AT ITER 223 NEW BEST:: SOT 2564387 SOS 1715939 HAS SOPS 1715939 HAS SOUS 1096992 HAS SOUPS 1096992 WITH SCORE 1098707.939
AT ITER 226 NEW BEST:: SOT 2564386 SOS 1715080 HAS SOPS 1715080 HAS SOUS 1096990 HAS SOUPS 1096990 WITH SCORE 1098705.08
AT ITER 242 NEW BEST:: SOT 2564296 SOS 1713417 HAS SOPS 1713417 HAS SOUS 1095223 HAS SOUPS 1095223 WITH SCORE 1096936.417
AT ITER 247 NEW BEST:: SOT 2564296 SOS 1711045 HAS SOPS 1711045 HAS SOUS 1094845 HAS SOUPS 1094845 WITH SCORE 1096556.045
AT ITER 248 NEW BEST:: SOT 2564296 SOS 1711045 HAS SOPS 1711045 HAS SOUS 1094839 HAS SOUPS 1094839 WITH SCORE 1096550.045
AT ITER 255 NEW BEST:: SOT 2559163 SOS 1706103 HAS SOPS 1706103 HAS SOUS 1087545 HAS SOUPS 1087545 WITH SCORE 1089251.103
AT ITER 257 NEW BEST:: SOT 2558671 SOS 1705119 HAS SOPS 1705119 HAS SOUS 1086561 HAS SOUPS 1086561 WITH SCORE 1088266.119
AT ITER 260 NEW BEST:: SOT 2558141 SOS 1702951 HAS SOPS 1702951 HAS SOUS 1085141 HAS SOUPS 1085141 WITH SCORE 1086843.951
AT ITER 270 NEW BEST:: SOT 2558141 SOS 1702951 HAS SOPS 1702951 HAS SOUS 1085140 HAS SOUPS 1085140 WITH SCORE 1086842.951
AT ITER 272 NEW BEST:: SOT 2557768 SOS 1702578 HAS SOPS 1702578 HAS SOUS 1084767 HAS SOUPS 1084767 WITH SCORE 1086469.578
AT ITER 276 NEW BEST:: SOT 2556283 SOS 1701093 HAS SOPS 1701093 HAS SOUS 1083281 HAS SOUPS 1083281 WITH SCORE 1084982.093
AT ITER 280 NEW BEST:: SOT 2548194 SOS 1689123 HAS SOPS 1689123 HAS SOUS 1074011 HAS SOUPS 1074011 WITH SCORE 1075700.123
AT ITER 281 NEW BEST:: SOT 2547449 SOS 1688517 HAS SOPS 1688517 HAS SOUS 1073889 HAS SOUPS 1073889 WITH SCORE 1075577.517
AT ITER 291 NEW BEST:: SOT 2547447 SOS 1688482 HAS SOPS 1688482 HAS SOUS 1073885 HAS SOUPS 1073885 WITH SCORE 1075573.482
AT ITER 292 NEW BEST:: SOT 2547447 SOS 1685283 HAS SOPS 1685283 HAS SOUS 1073534 HAS SOUPS 1073534 WITH SCORE 1075219.283
AT ITER 295 NEW BEST:: SOT 2546999 SOS 1684835 HAS SOPS 1684835 HAS SOUS 1072388 HAS SOUPS 1072388 WITH SCORE 1074072.835
AT ITER 300 NEW BEST:: SOT 2531447 SOS 1669283 HAS SOPS 1669283 HAS SOUS 1056836 HAS SOUPS 1056836 WITH SCORE 1058505.283
AT ITER 303 NEW BEST:: SOT 2530757 SOS 1667213 HAS SOPS 1667213 HAS SOUS 1054766 HAS SOUPS 1054766 WITH SCORE 1056433.213
AT ITER 305 NEW BEST:: SOT 2527943 SOS 1664033 HAS SOPS 1664033 HAS SOUS 1051586 HAS SOUPS 1051586 WITH SCORE 1053250.033
AT ITER 311 NEW BEST:: SOT 2527943 SOS 1660146 HAS SOPS 1660146 HAS SOUS 1050960 HAS SOUPS 1050960 WITH SCORE 1052620.146
AT ITER 313 NEW BEST:: SOT 2527943 SOS 1659746 HAS SOPS 1659746 HAS SOUS 1050635 HAS SOUPS 1050635 WITH SCORE 1052294.746
AT ITER 325 NEW BEST:: SOT 2527517 SOS 1656333 HAS SOPS 1656333 HAS SOUS 1047713 HAS SOUPS 1047713 WITH SCORE 1049369.333
AT ITER 326 NEW BEST:: SOT 2527517 SOS 1656333 HAS SOPS 1656333 HAS SOUS 1047712 HAS SOUPS 1047712 WITH SCORE 1049368.333
AT ITER 339 NEW BEST:: SOT 2525380 SOS 1660347 HAS SOPS 1660347 HAS SOUS 1046227 HAS SOUPS 1046227 WITH SCORE 1047887.347
AT ITER 359 NEW BEST:: SOT 2525590 SOS 1660347 HAS SOPS 1660347 HAS SOUS 1045807 HAS SOUPS 1045807 WITH SCORE 1047467.347
AT ITER 367 NEW BEST:: SOT 2525590 SOS 1660347 HAS SOPS 1660347 HAS SOUS 1045804 HAS SOUPS 1045804 WITH SCORE 1047464.347
AT ITER 370 NEW BEST:: SOT 2524287 SOS 1659042 HAS SOPS 1659042 HAS SOUS 1044499 HAS SOUPS 1044499 WITH SCORE 1046158.042
AT ITER 372 NEW BEST:: SOT 2523783 SOS 1656940 HAS SOPS 1656940 HAS SOUS 1042430 HAS SOUPS 1042430 WITH SCORE 1044086.94
AT ITER 382 NEW BEST:: SOT 2523150 SOS 1654797 HAS SOPS 1654797 HAS SOUS 1041669 HAS SOUPS 1041669 WITH SCORE 1043323.797
AT ITER 387 NEW BEST:: SOT 2523686 SOS 1653307 HAS SOPS 1653307 HAS SOUS 1041669 HAS SOUPS 1041669 WITH SCORE 1043322.307
AT ITER 392 NEW BEST:: SOT 2523686 SOS 1653307 HAS SOPS 1653307 HAS SOUS 1041642 HAS SOUPS 1041642 WITH SCORE 1043295.307
AT ITER 393 NEW BEST:: SOT 2523796 SOS 1652294 HAS SOPS 1652294 HAS SOUS 1041472 HAS SOUPS 1041472 WITH SCORE 1043124.294
AT ITER 399 NEW BEST:: SOT 2524017 SOS 1652547 HAS SOPS 1652547 HAS SOUS 1041374 HAS SOUPS 1041374 WITH SCORE 1043026.547
AT ITER 401 NEW BEST:: SOT 2524017 SOS 1649829 HAS SOPS 1649829 HAS SOUS 1041022 HAS SOUPS 1041022 WITH SCORE 1042671.829
AT ITER 403 NEW BEST:: SOT 2523596 SOS 1649532 HAS SOPS 1649532 HAS SOUS 1040725 HAS SOUPS 1040725 WITH SCORE 1042374.532
AT ITER 406 NEW BEST:: SOT 2524092 SOS 1648131 HAS SOPS 1648131 HAS SOUS 1039890 HAS SOUPS 1039890 WITH SCORE 1041538.131
AT ITER 407 NEW BEST:: SOT 2523810 SOS 1646755 HAS SOPS 1646755 HAS SOUS 1039322 HAS SOUPS 1039322 WITH SCORE 1040968.755
AT ITER 413 NEW BEST:: SOT 2523262 SOS 1644599 HAS SOPS 1644599 HAS SOUS 1037062 HAS SOUPS 1037062 WITH SCORE 1038706.599
AT ITER 419 NEW BEST:: SOT 2505109 SOS 1626437 HAS SOPS 1626437 HAS SOUS 1018900 HAS SOUPS 1018900 WITH SCORE 1020526.437
AT ITER 420 NEW BEST:: SOT 2505109 SOS 1626437 HAS SOPS 1626437 HAS SOUS 1018899 HAS SOUPS 1018899 WITH SCORE 1020525.437
AT ITER 426 NEW BEST:: SOT 2501642 SOS 1625177 HAS SOPS 1625177 HAS SOUS 1015818 HAS SOUPS 1015818 WITH SCORE 1017443.177
AT ITER 428 NEW BEST:: SOT 2492234 SOS 1615769 HAS SOPS 1615769 HAS SOUS 1006410 HAS SOUPS 1006410 WITH SCORE 1008025.769
AT ITER 443 NEW BEST:: SOT 2491349 SOS 1614884 HAS SOPS 1614884 HAS SOUS 1006246 HAS SOUPS 1006246 WITH SCORE 1007860.884
AT ITER 460 NEW BEST:: SOT 2490289 SOS 1612754 HAS SOPS 1612754 HAS SOUS 1004116 HAS SOUPS 1004116 WITH SCORE 1005728.754
AT ITER 464 NEW BEST:: SOT 2490293 SOS 1612749 HAS SOPS 1612749 HAS SOUS 1004110 HAS SOUPS 1004110 WITH SCORE 1005722.749
AT ITER 467 NEW BEST:: SOT 2490312 SOS 1612563 HAS SOPS 1612563 HAS SOUS 1004036 HAS SOUPS 1004036 WITH SCORE 1005648.563
AT ITER 468 NEW BEST:: SOT 2490312 SOS 1612381 HAS SOPS 1612381 HAS SOUS 1004033 HAS SOUPS 1004033 WITH SCORE 1005645.381
AT ITER 470 NEW BEST:: SOT 2490312 SOS 1608973 HAS SOPS 1608973 HAS SOUS 1003614 HAS SOUPS 1003614 WITH SCORE 1005222.973
AT ITER 480 NEW BEST:: SOT 2490016 SOS 1607699 HAS SOPS 1607699 HAS SOUS 1003105 HAS SOUPS 1003105 WITH SCORE 1004712.699
AT ITER 482 NEW BEST:: SOT 2489358 SOS 1607041 HAS SOPS 1607041 HAS SOUS 1002447 HAS SOUPS 1002447 WITH SCORE 1004054.041
AT ITER 485 NEW BEST:: SOT 2487988 SOS 1605671 HAS SOPS 1605671 HAS SOUS 1001077 HAS SOUPS 1001077 WITH SCORE 1002682.671
AT ITER 486 NEW BEST:: SOT 2487988 SOS 1604938 HAS SOPS 1604938 HAS SOUS 1000529 HAS SOUPS 1000529 WITH SCORE 1002133.938
AT ITER 489 NEW BEST:: SOT 2487378 SOS 1604313 HAS SOPS 1604313 HAS SOUS 999918 HAS SOUPS 999918 WITH SCORE 1001522.313
AT ITER 497 NEW BEST:: SOT 2487154 SOS 1604081 HAS SOPS 1604081 HAS SOUS 999686 HAS SOUPS 999686 WITH SCORE 1001290.081
AT ITER 509 NEW BEST:: SOT 2487154 SOS 1603566 HAS SOPS 1603566 HAS SOUS 999171 HAS SOUPS 999171 WITH SCORE 1000774.566
AT ITER 510 NEW BEST:: SOT 2484058 SOS 1602103 HAS SOPS 1602103 HAS SOUS 996642 HAS SOUPS 996642 WITH SCORE 998244.103
AT ITER 514 NEW BEST:: SOT 2481362 SOS 1599407 HAS SOPS 1599407 HAS SOUS 993946 HAS SOUPS 993946 WITH SCORE 995545.407
AT ITER 515 NEW BEST:: SOT 2477093 SOS 1595138 HAS SOPS 1595138 HAS SOUS 989677 HAS SOUPS 989677 WITH SCORE 991272.138
AT ITER 520 NEW BEST:: SOT 2476707 SOS 1594413 HAS SOPS 1594413 HAS SOUS 989338 HAS SOUPS 989338 WITH SCORE 990932.413
AT ITER 521 NEW BEST:: SOT 2476047 SOS 1593084 HAS SOPS 1593084 HAS SOUS 988009 HAS SOUPS 988009 WITH SCORE 989602.084
AT ITER 524 NEW BEST:: SOT 2475555 SOS 1589790 HAS SOPS 1589790 HAS SOUS 987147 HAS SOUPS 987147 WITH SCORE 988736.79
AT ITER 529 NEW BEST:: SOT 2474398 SOS 1588633 HAS SOPS 1588633 HAS SOUS 986301 HAS SOUPS 986301 WITH SCORE 987889.633
AT ITER 530 NEW BEST:: SOT 2474392 SOS 1588621 HAS SOPS 1588621 HAS SOUS 986289 HAS SOUPS 986289 WITH SCORE 987877.621
AT ITER 534 NEW BEST:: SOT 2473952 SOS 1588620 HAS SOPS 1588620 HAS SOUS 986288 HAS SOUPS 986288 WITH SCORE 987876.62
AT ITER 536 NEW BEST:: SOT 2474352 SOS 1587113 HAS SOPS 1587113 HAS SOUS 986035 HAS SOUPS 986035 WITH SCORE 987622.113
AT ITER 537 NEW BEST:: SOT 2474044 SOS 1586804 HAS SOPS 1586804 HAS SOUS 986034 HAS SOUPS 986034 WITH SCORE 987620.804
AT ITER 545 NEW BEST:: SOT 2473831 SOS 1586381 HAS SOPS 1586381 HAS SOUS 985696 HAS SOUPS 985696 WITH SCORE 987282.381
AT ITER 549 NEW BEST:: SOT 2472738 SOS 1585625 HAS SOPS 1585625 HAS SOUS 984850 HAS SOUPS 984850 WITH SCORE 986435.625
AT ITER 558 NEW BEST:: SOT 2472736 SOS 1585653 HAS SOPS 1585653 HAS SOUS 984818 HAS SOUPS 984818 WITH SCORE 986403.653
AT ITER 562 NEW BEST:: SOT 2472736 SOS 1585647 HAS SOPS 1585647 HAS SOUS 984815 HAS SOUPS 984815 WITH SCORE 986400.647
AT ITER 567 NEW BEST:: SOT 2472292 SOS 1585203 HAS SOPS 1585203 HAS SOUS 984813 HAS SOUPS 984813 WITH SCORE 986398.203
AT ITER 570 NEW BEST:: SOT 2472199 SOS 1584258 HAS SOPS 1584258 HAS SOUS 984505 HAS SOUPS 984505 WITH SCORE 986089.258
AT ITER 571 NEW BEST:: SOT 2471866 SOS 1583592 HAS SOPS 1583592 HAS SOUS 983837 HAS SOUPS 983837 WITH SCORE 985420.592
AT ITER 576 NEW BEST:: SOT 2471866 SOS 1583025 HAS SOPS 1583025 HAS SOUS 983834 HAS SOUPS 983834 WITH SCORE 985417.025
AT ITER 577 NEW BEST:: SOT 2471866 SOS 1581980 HAS SOPS 1581980 HAS SOUS 983579 HAS SOUPS 983579 WITH SCORE 985160.98
AT ITER 579 NEW BEST:: SOT 2471724 SOS 1581838 HAS SOPS 1581838 HAS SOUS 983437 HAS SOUPS 983437 WITH SCORE 985018.838
AT ITER 580 NEW BEST:: SOT 2471724 SOS 1581762 HAS SOPS 1581762 HAS SOUS 983399 HAS SOUPS 983399 WITH SCORE 984980.762
AT ITER 582 NEW BEST:: SOT 2473055 SOS 1581949 HAS SOPS 1581949 HAS SOUS 982454 HAS SOUPS 982454 WITH SCORE 984035.949
AT ITER 596 NEW BEST:: SOT 2472647 SOS 1581539 HAS SOPS 1581539 HAS SOUS 982044 HAS SOUPS 982044 WITH SCORE 983625.539
AT ITER 601 NEW BEST:: SOT 2472647 SOS 1577979 HAS SOPS 1577979 HAS SOUS 981244 HAS SOUPS 981244 WITH SCORE 982821.979
AT ITER 602 NEW BEST:: SOT 2471330 SOS 1576662 HAS SOPS 1576662 HAS SOUS 979918 HAS SOUPS 979918 WITH SCORE 981494.662
AT ITER 603 NEW BEST:: SOT 2472011 SOS 1576574 HAS SOPS 1576574 HAS SOUS 979830 HAS SOUPS 979830 WITH SCORE 981406.574
AT ITER 604 NEW BEST:: SOT 2475557 SOS 1579579 HAS SOPS 1579579 HAS SOUS 979413 HAS SOUPS 979413 WITH SCORE 980992.579
AT ITER 622 NEW BEST:: SOT 2475288 SOS 1577517 HAS SOPS 1577517 HAS SOUS 978812 HAS SOUPS 978812 WITH SCORE 980389.517
AT ITER 631 NEW BEST:: SOT 2467288 SOS 1569517 HAS SOPS 1569517 HAS SOUS 970812 HAS SOUPS 970812 WITH SCORE 972381.517
AT ITER 637 NEW BEST:: SOT 2466880 SOS 1568962 HAS SOPS 1568962 HAS SOUS 970794 HAS SOUPS 970794 WITH SCORE 972362.962
AT ITER 658 NEW BEST:: SOT 2466317 SOS 1568399 HAS SOPS 1568399 HAS SOUS 970231 HAS SOUPS 970231 WITH SCORE 971799.399
AT ITER 660 NEW BEST:: SOT 2466216 SOS 1568298 HAS SOPS 1568298 HAS SOUS 970128 HAS SOUPS 970128 WITH SCORE 971696.298
AT ITER 666 NEW BEST:: SOT 2465854 SOS 1567843 HAS SOPS 1567843 HAS SOUS 970128 HAS SOUPS 970128 WITH SCORE 971695.843
AT ITER 667 NEW BEST:: SOT 2465751 SOS 1567740 HAS SOPS 1567740 HAS SOUS 969924 HAS SOUPS 969924 WITH SCORE 971491.74
AT ITER 669 NEW BEST:: SOT 2465457 SOS 1567740 HAS SOPS 1567740 HAS SOUS 969630 HAS SOUPS 969630 WITH SCORE 971197.74
AT ITER 672 NEW BEST:: SOT 2465412 SOS 1567331 HAS SOPS 1567331 HAS SOUS 969424 HAS SOUPS 969424 WITH SCORE 970991.331
AT ITER 674 NEW BEST:: SOT 2465219 SOS 1565745 HAS SOPS 1565745 HAS SOUS 969306 HAS SOUPS 969306 WITH SCORE 970871.745
AT ITER 679 NEW BEST:: SOT 2465179 SOS 1565697 HAS SOPS 1565697 HAS SOUS 969257 HAS SOUPS 969257 WITH SCORE 970822.697
AT ITER 690 NEW BEST:: SOT 2464703 SOS 1566134 HAS SOPS 1566134 HAS SOUS 969129 HAS SOUPS 969129 WITH SCORE 970695.134
AT ITER 708 NEW BEST:: SOT 2463951 SOS 1565527 HAS SOPS 1565527 HAS SOUS 968552 HAS SOUPS 968552 WITH SCORE 970117.527
AT ITER 716 NEW BEST:: SOT 2455995 SOS 1563888 HAS SOPS 1563888 HAS SOUS 961383 HAS SOUPS 961383 WITH SCORE 962946.888
AT ITER 719 NEW BEST:: SOT 2455995 SOS 1562417 HAS SOPS 1562417 HAS SOUS 960699 HAS SOUPS 960699 WITH SCORE 962261.417
AT ITER 722 NEW BEST:: SOT 2455995 SOS 1562307 HAS SOPS 1562307 HAS SOUS 960591 HAS SOUPS 960591 WITH SCORE 962153.307
AT ITER 727 NEW BEST:: SOT 2454908 SOS 1561220 HAS SOPS 1561220 HAS SOUS 959504 HAS SOUPS 959504 WITH SCORE 961065.22
AT ITER 728 NEW BEST:: SOT 2454908 SOS 1560541 HAS SOPS 1560541 HAS SOUS 958825 HAS SOUPS 958825 WITH SCORE 960385.541
AT ITER 732 NEW BEST:: SOT 2454959 SOS 1559562 HAS SOPS 1559562 HAS SOUS 958209 HAS SOUPS 958209 WITH SCORE 959768.562
AT ITER 736 NEW BEST:: SOT 2454640 SOS 1559243 HAS SOPS 1559243 HAS SOUS 957168 HAS SOUPS 957168 WITH SCORE 958727.243
AT ITER 740 NEW BEST:: SOT 2453754 SOS 1558357 HAS SOPS 1558357 HAS SOUS 956282 HAS SOUPS 956282 WITH SCORE 957840.357
AT ITER 744 NEW BEST:: SOT 2452737 SOS 1557340 HAS SOPS 1557340 HAS SOUS 955216 HAS SOUPS 955216 WITH SCORE 956773.34
AT ITER 747 NEW BEST:: SOT 2452737 SOS 1557389 HAS SOPS 1557389 HAS SOUS 955042 HAS SOUPS 955042 WITH SCORE 956599.389
AT ITER 757 NEW BEST:: SOT 2452737 SOS 1557388 HAS SOPS 1557388 HAS SOUS 955041 HAS SOUPS 955041 WITH SCORE 956598.388
AT ITER 763 NEW BEST:: SOT 2452868 SOS 1557324 HAS SOPS 1557324 HAS SOUS 954977 HAS SOUPS 954977 WITH SCORE 956534.324
AT ITER 764 NEW BEST:: SOT 2452774 SOS 1555910 HAS SOPS 1555910 HAS SOUS 953258 HAS SOUPS 953258 WITH SCORE 954813.91
AT ITER 780 NEW BEST:: SOT 2452278 SOS 1554916 HAS SOPS 1554916 HAS SOUS 952078 HAS SOUPS 952078 WITH SCORE 953632.916
AT ITER 782 NEW BEST:: SOT 2452254 SOS 1554836 HAS SOPS 1554836 HAS SOUS 951998 HAS SOUPS 951998 WITH SCORE 953552.836
AT ITER 785 NEW BEST:: SOT 2450878 SOS 1553460 HAS SOPS 1553460 HAS SOUS 950622 HAS SOUPS 950622 WITH SCORE 952175.46
AT ITER 793 NEW BEST:: SOT 2450058 SOS 1552795 HAS SOPS 1552795 HAS SOUS 949881 HAS SOUPS 949881 WITH SCORE 951433.795
AT ITER 795 NEW BEST:: SOT 2449838 SOS 1551706 HAS SOPS 1551706 HAS SOUS 949038 HAS SOUPS 949038 WITH SCORE 950589.706
AT ITER 797 NEW BEST:: SOT 2448682 SOS 1550550 HAS SOPS 1550550 HAS SOUS 947882 HAS SOUPS 947882 WITH SCORE 949432.55
AT ITER 803 NEW BEST:: SOT 2448551 SOS 1550288 HAS SOPS 1550288 HAS SOUS 947620 HAS SOUPS 947620 WITH SCORE 949170.288
AT ITER 806 NEW BEST:: SOT 2448215 SOS 1549784 HAS SOPS 1549784 HAS SOUS 947116 HAS SOUPS 947116 WITH SCORE 948665.784
AT ITER 833 NEW BEST:: SOT 2448038 SOS 1549607 HAS SOPS 1549607 HAS SOUS 947061 HAS SOUPS 947061 WITH SCORE 948610.607
AT ITER 834 NEW BEST:: SOT 2447600 SOS 1549169 HAS SOPS 1549169 HAS SOUS 947050 HAS SOUPS 947050 WITH SCORE 948599.169
AT ITER 838 NEW BEST:: SOT 2447235 SOS 1548712 HAS SOPS 1548712 HAS SOUS 947050 HAS SOUPS 947050 WITH SCORE 948598.712
AT ITER 847 NEW BEST:: SOT 2447048 SOS 1548708 HAS SOPS 1548708 HAS SOUS 947046 HAS SOUPS 947046 WITH SCORE 948594.708
AT ITER 853 NEW BEST:: SOT 2438866 SOS 1540526 HAS SOPS 1540526 HAS SOUS 938864 HAS SOUPS 938864 WITH SCORE 940404.526
AT ITER 857 NEW BEST:: SOT 2438720 SOS 1540380 HAS SOPS 1540380 HAS SOUS 938572 HAS SOUPS 938572 WITH SCORE 940112.38
AT ITER 865 NEW BEST:: SOT 2438720 SOS 1540196 HAS SOPS 1540196 HAS SOUS 938568 HAS SOUPS 938568 WITH SCORE 940108.196
AT ITER 873 NEW BEST:: SOT 2438720 SOS 1540196 HAS SOPS 1540196 HAS SOUS 937920 HAS SOUPS 937920 WITH SCORE 939460.196
AT ITER 879 NEW BEST:: SOT 2438717 SOS 1540192 HAS SOPS 1540192 HAS SOUS 937916 HAS SOUPS 937916 WITH SCORE 939456.192
AT ITER 902 NEW BEST:: SOT 2438206 SOS 1539036 HAS SOPS 1539036 HAS SOUS 937433 HAS SOUPS 937433 WITH SCORE 938972.036
AT ITER 904 NEW BEST:: SOT 2432239 SOS 1533069 HAS SOPS 1533069 HAS SOUS 931466 HAS SOUPS 931466 WITH SCORE 932999.069
AT ITER 931 NEW BEST:: SOT 2431743 SOS 1532573 HAS SOPS 1532573 HAS SOUS 930970 HAS SOUPS 930970 WITH SCORE 932502.573
AT ITER 972 NEW BEST:: SOT 2431209 SOS 1532037 HAS SOPS 1532037 HAS SOUS 930641 HAS SOUPS 930641 WITH SCORE 932173.037
AT ITER 973 NEW BEST:: SOT 2431099 SOS 1529324 HAS SOPS 1529324 HAS SOUS 930201 HAS SOUPS 930201 WITH SCORE 931730.324
AT ITER 979 NEW BEST:: SOT 2431099 SOS 1527621 HAS SOPS 1527621 HAS SOUS 930201 HAS SOUPS 930201 WITH SCORE 931728.621
AT ITER 982 NEW BEST:: SOT 2431099 SOS 1527621 HAS SOPS 1527621 HAS SOUS 930199 HAS SOUPS 930199 WITH SCORE 931726.621
AT ITER 983 NEW BEST:: SOT 2431099 SOS 1527621 HAS SOPS 1527621 HAS SOUS 929865 HAS SOUPS 929865 WITH SCORE 931392.621
AT ITER 994 NEW BEST:: SOT 2430421 SOS 1526943 HAS SOPS 1526943 HAS SOUS 929187 HAS SOUPS 929187 WITH SCORE 930713.943
AT ITER 1002 NEW BEST:: SOT 2430421 SOS 1527046 HAS SOPS 1527046 HAS SOUS 929159 HAS SOUPS 929159 WITH SCORE 930686.046
AT ITER 1005 NEW BEST:: SOT 2430421 SOS 1526983 HAS SOPS 1526983 HAS SOUS 929159 HAS SOUPS 929159 WITH SCORE 930685.983
AT ITER 1006 NEW BEST:: SOT 2429617 SOS 1526489 HAS SOPS 1526489 HAS SOUS 929159 HAS SOUPS 929159 WITH SCORE 930685.489
AT ITER 1011 NEW BEST:: SOT 2428893 SOS 1522336 HAS SOPS 1522336 HAS SOUS 928166 HAS SOUPS 928166 WITH SCORE 929688.336
AT ITER 1014 NEW BEST:: SOT 2428238 SOS 1520668 HAS SOPS 1520668 HAS SOUS 926498 HAS SOUPS 926498 WITH SCORE 928018.668
AT ITER 1018 NEW BEST:: SOT 2428238 SOS 1520238 HAS SOPS 1520238 HAS SOUS 926258 HAS SOUPS 926258 WITH SCORE 927778.238
AT ITER 1022 NEW BEST:: SOT 2428229 SOS 1519406 HAS SOPS 1519406 HAS SOUS 926219 HAS SOUPS 926219 WITH SCORE 927738.406
AT ITER 1023 NEW BEST:: SOT 2428229 SOS 1518327 HAS SOPS 1518327 HAS SOUS 926214 HAS SOUPS 926214 WITH SCORE 927732.327
AT ITER 1027 NEW BEST:: SOT 2428229 SOS 1518020 HAS SOPS 1518020 HAS SOUS 926193 HAS SOUPS 926193 WITH SCORE 927711.02
AT ITER 1030 NEW BEST:: SOT 2428047 SOS 1516374 HAS SOPS 1516374 HAS SOUS 925523 HAS SOUPS 925523 WITH SCORE 927039.374
AT ITER 1037 NEW BEST:: SOT 2428047 SOS 1516367 HAS SOPS 1516367 HAS SOUS 925490 HAS SOUPS 925490 WITH SCORE 927006.367
AT ITER 1043 NEW BEST:: SOT 2427132 SOS 1515764 HAS SOPS 1515764 HAS SOUS 924887 HAS SOUPS 924887 WITH SCORE 926402.764
AT ITER 1047 NEW BEST:: SOT 2427130 SOS 1515762 HAS SOPS 1515762 HAS SOUS 924885 HAS SOUPS 924885 WITH SCORE 926400.762
AT ITER 1063 NEW BEST:: SOT 2427130 SOS 1515609 HAS SOPS 1515609 HAS SOUS 924732 HAS SOUPS 924732 WITH SCORE 926247.609
AT ITER 1070 NEW BEST:: SOT 2426148 SOS 1514627 HAS SOPS 1514627 HAS SOUS 923750 HAS SOUPS 923750 WITH SCORE 925264.627
AT ITER 1075 NEW BEST:: SOT 2421870 SOS 1511888 HAS SOPS 1511888 HAS SOUS 919469 HAS SOUPS 919469 WITH SCORE 920980.888
AT ITER 1081 NEW BEST:: SOT 2421870 SOS 1511509 HAS SOPS 1511509 HAS SOUS 919090 HAS SOUPS 919090 WITH SCORE 920601.509
AT ITER 1088 NEW BEST:: SOT 2419169 SOS 1508899 HAS SOPS 1508899 HAS SOUS 916480 HAS SOUPS 916480 WITH SCORE 917988.899
AT ITER 1092 NEW BEST:: SOT 2418270 SOS 1508000 HAS SOPS 1508000 HAS SOUS 915581 HAS SOUPS 915581 WITH SCORE 917089.0
AT ITER 1100 NEW BEST:: SOT 2418022 SOS 1507770 HAS SOPS 1507770 HAS SOUS 915085 HAS SOUPS 915085 WITH SCORE 916592.77
AT ITER 1104 NEW BEST:: SOT 2418022 SOS 1507270 HAS SOPS 1507270 HAS SOUS 915085 HAS SOUPS 915085 WITH SCORE 916592.27
AT ITER 1105 NEW BEST:: SOT 2418022 SOS 1507396 HAS SOPS 1507396 HAS SOUS 915084 HAS SOUPS 915084 WITH SCORE 916591.396
AT ITER 1107 NEW BEST:: SOT 2418022 SOS 1507846 HAS SOPS 1507846 HAS SOUS 915072 HAS SOUPS 915072 WITH SCORE 916579.846
AT ITER 1108 NEW BEST:: SOT 2418056 SOS 1507709 HAS SOPS 1507709 HAS SOUS 914935 HAS SOUPS 914935 WITH SCORE 916442.709
AT ITER 1115 NEW BEST:: SOT 2416760 SOS 1506413 HAS SOPS 1506413 HAS SOUS 912839 HAS SOUPS 912839 WITH SCORE 914345.413
AT ITER 1116 NEW BEST:: SOT 2416379 SOS 1506032 HAS SOPS 1506032 HAS SOUS 912834 HAS SOUPS 912834 WITH SCORE 914340.032
AT ITER 1120 NEW BEST:: SOT 2416379 SOS 1505864 HAS SOPS 1505864 HAS SOUS 912666 HAS SOUPS 912666 WITH SCORE 914171.864
AT ITER 1135 NEW BEST:: SOT 2415920 SOS 1504915 HAS SOPS 1504915 HAS SOUS 911748 HAS SOUPS 911748 WITH SCORE 913252.915
AT ITER 1144 NEW BEST:: SOT 2415529 SOS 1503063 HAS SOPS 1503063 HAS SOUS 910961 HAS SOUPS 910961 WITH SCORE 912464.063
AT ITER 1150 NEW BEST:: SOT 2415526 SOS 1503425 HAS SOPS 1503425 HAS SOUS 910958 HAS SOUPS 910958 WITH SCORE 912461.425
AT ITER 1157 NEW BEST:: SOT 2415374 SOS 1503119 HAS SOPS 1503119 HAS SOUS 910652 HAS SOUPS 910652 WITH SCORE 912155.119
AT ITER 1164 NEW BEST:: SOT 2415161 SOS 1502926 HAS SOPS 1502926 HAS SOUS 910052 HAS SOUPS 910052 WITH SCORE 911554.926
AT ITER 1168 NEW BEST:: SOT 2414936 SOS 1501960 HAS SOPS 1501960 HAS SOUS 909556 HAS SOUPS 909556 WITH SCORE 911057.96
AT ITER 1178 NEW BEST:: SOT 2410167 SOS 1503468 HAS SOPS 1503468 HAS SOUS 904758 HAS SOUPS 904758 WITH SCORE 906261.468
AT ITER 1190 NEW BEST:: SOT 2410121 SOS 1503434 HAS SOPS 1503434 HAS SOUS 904712 HAS SOUPS 904712 WITH SCORE 906215.434
AT ITER 1196 NEW BEST:: SOT 2409528 SOS 1502501 HAS SOPS 1502501 HAS SOUS 903925 HAS SOUPS 903925 WITH SCORE 905427.501
AT ITER 1197 NEW BEST:: SOT 2409528 SOS 1502167 HAS SOPS 1502167 HAS SOUS 903924 HAS SOUPS 903924 WITH SCORE 905426.167
AT ITER 1203 NEW BEST:: SOT 2409444 SOS 1501747 HAS SOPS 1501747 HAS SOUS 903756 HAS SOUPS 903756 WITH SCORE 905257.747
AT ITER 1206 NEW BEST:: SOT 2408996 SOS 1501564 HAS SOPS 1501564 HAS SOUS 902920 HAS SOUPS 902920 WITH SCORE 904421.564
AT ITER 1207 NEW BEST:: SOT 2408823 SOS 1501391 HAS SOPS 1501391 HAS SOUS 902747 HAS SOUPS 902747 WITH SCORE 904248.391
AT ITER 1208 NEW BEST:: SOT 2408468 SOS 1500970 HAS SOPS 1500970 HAS SOUS 901261 HAS SOUPS 901261 WITH SCORE 902761.97
AT ITER 1211 NEW BEST:: SOT 2408468 SOS 1500962 HAS SOPS 1500962 HAS SOUS 901253 HAS SOUPS 901253 WITH SCORE 902753.962
AT ITER 1212 NEW BEST:: SOT 2408637 SOS 1500891 HAS SOPS 1500891 HAS SOUS 901182 HAS SOUPS 901182 WITH SCORE 902682.891
AT ITER 1214 NEW BEST:: SOT 2400100 SOS 1492354 HAS SOPS 1492354 HAS SOUS 892642 HAS SOUPS 892642 WITH SCORE 894134.354
AT ITER 1228 NEW BEST:: SOT 2399778 SOS 1491712 HAS SOPS 1491712 HAS SOUS 892115 HAS SOUPS 892115 WITH SCORE 893606.712
AT ITER 1240 NEW BEST:: SOT 2399674 SOS 1490991 HAS SOPS 1490991 HAS SOUS 890170 HAS SOUPS 890170 WITH SCORE 891660.991
AT ITER 1244 NEW BEST:: SOT 2399423 SOS 1490624 HAS SOPS 1490624 HAS SOUS 889800 HAS SOUPS 889800 WITH SCORE 891290.624
AT ITER 1246 NEW BEST:: SOT 2399411 SOS 1490124 HAS SOPS 1490124 HAS SOUS 889300 HAS SOUPS 889300 WITH SCORE 890790.124
AT ITER 1250 NEW BEST:: SOT 2398769 SOS 1484169 HAS SOPS 1484169 HAS SOUS 887804 HAS SOUPS 887804 WITH SCORE 889288.169
AT ITER 1254 NEW BEST:: SOT 2398331 SOS 1483164 HAS SOPS 1483164 HAS SOUS 886799 HAS SOUPS 886799 WITH SCORE 888282.164
AT ITER 1258 NEW BEST:: SOT 2397679 SOS 1482710 HAS SOPS 1482710 HAS SOUS 886241 HAS SOUPS 886241 WITH SCORE 887723.71
AT ITER 1263 NEW BEST:: SOT 2396570 SOS 1481601 HAS SOPS 1481601 HAS SOUS 885132 HAS SOUPS 885132 WITH SCORE 886613.601
AT ITER 1264 NEW BEST:: SOT 2396563 SOS 1481594 HAS SOPS 1481594 HAS SOUS 885118 HAS SOUPS 885118 WITH SCORE 886599.594
AT ITER 1265 NEW BEST:: SOT 2396433 SOS 1481064 HAS SOPS 1481064 HAS SOUS 884856 HAS SOUPS 884856 WITH SCORE 886337.064
AT ITER 1280 NEW BEST:: SOT 2395574 SOS 1480851 HAS SOPS 1480851 HAS SOUS 884855 HAS SOUPS 884855 WITH SCORE 886335.851
AT ITER 1289 NEW BEST:: SOT 2395554 SOS 1480831 HAS SOPS 1480831 HAS SOUS 884445 HAS SOUPS 884445 WITH SCORE 885925.831
AT ITER 1292 NEW BEST:: SOT 2395553 SOS 1480858 HAS SOPS 1480858 HAS SOUS 884431 HAS SOUPS 884431 WITH SCORE 885911.858
AT ITER 1296 NEW BEST:: SOT 2395176 SOS 1480807 HAS SOPS 1480807 HAS SOUS 884380 HAS SOUPS 884380 WITH SCORE 885860.807
AT ITER 1301 NEW BEST:: SOT 2394756 SOS 1477115 HAS SOPS 1477115 HAS SOUS 883518 HAS SOUPS 883518 WITH SCORE 884995.115
AT ITER 1305 NEW BEST:: SOT 2394580 SOS 1476939 HAS SOPS 1476939 HAS SOUS 883342 HAS SOUPS 883342 WITH SCORE 884818.939
AT ITER 1306 NEW BEST:: SOT 2391689 SOS 1474949 HAS SOPS 1474949 HAS SOUS 880766 HAS SOUPS 880766 WITH SCORE 882240.949
AT ITER 1307 NEW BEST:: SOT 2390753 SOS 1474013 HAS SOPS 1474013 HAS SOUS 879830 HAS SOUPS 879830 WITH SCORE 881304.013
AT ITER 1333 NEW BEST:: SOT 2390477 SOS 1473737 HAS SOPS 1473737 HAS SOUS 879541 HAS SOUPS 879541 WITH SCORE 881014.737
AT ITER 1339 NEW BEST:: SOT 2390502 SOS 1473754 HAS SOPS 1473754 HAS SOUS 878933 HAS SOUPS 878933 WITH SCORE 880406.754
AT ITER 1341 NEW BEST:: SOT 2389763 SOS 1473249 HAS SOPS 1473249 HAS SOUS 878428 HAS SOUPS 878428 WITH SCORE 879901.249
AT ITER 1352 NEW BEST:: SOT 2389563 SOS 1473233 HAS SOPS 1473233 HAS SOUS 878412 HAS SOUPS 878412 WITH SCORE 879885.233
AT ITER 1353 NEW BEST:: SOT 2389569 SOS 1471800 HAS SOPS 1471800 HAS SOUS 878119 HAS SOUPS 878119 WITH SCORE 879590.8
AT ITER 1355 NEW BEST:: SOT 2389191 SOS 1471788 HAS SOPS 1471788 HAS SOUS 878112 HAS SOUPS 878112 WITH SCORE 879583.788
AT ITER 1373 NEW BEST:: SOT 2388962 SOS 1471069 HAS SOPS 1471069 HAS SOUS 877779 HAS SOUPS 877779 WITH SCORE 879250.069
AT ITER 1375 NEW BEST:: SOT 2388761 SOS 1470667 HAS SOPS 1470667 HAS SOUS 877377 HAS SOUPS 877377 WITH SCORE 878847.667
AT ITER 1378 NEW BEST:: SOT 2388295 SOS 1470135 HAS SOPS 1470135 HAS SOUS 876889 HAS SOUPS 876889 WITH SCORE 878359.135
AT ITER 1382 NEW BEST:: SOT 2388183 SOS 1469824 HAS SOPS 1469824 HAS SOUS 876377 HAS SOUPS 876377 WITH SCORE 877846.824
AT ITER 1390 NEW BEST:: SOT 2388221 SOS 1469507 HAS SOPS 1469507 HAS SOUS 876246 HAS SOUPS 876246 WITH SCORE 877715.507
AT ITER 1396 NEW BEST:: SOT 2387904 SOS 1469190 HAS SOPS 1469190 HAS SOUS 875927 HAS SOUPS 875927 WITH SCORE 877396.19
AT ITER 1413 NEW BEST:: SOT 2382282 SOS 1465898 HAS SOPS 1465898 HAS SOUS 869793 HAS SOUPS 869793 WITH SCORE 871258.898
AT ITER 1427 NEW BEST:: SOT 2382272 SOS 1465888 HAS SOPS 1465888 HAS SOUS 869773 HAS SOUPS 869773 WITH SCORE 871238.888
AT ITER 1433 NEW BEST:: SOT 2382601 SOS 1465695 HAS SOPS 1465695 HAS SOUS 869584 HAS SOUPS 869584 WITH SCORE 871049.695
AT ITER 1439 NEW BEST:: SOT 2382601 SOS 1465205 HAS SOPS 1465205 HAS SOUS 869583 HAS SOUPS 869583 WITH SCORE 871048.205
AT ITER 1446 NEW BEST:: SOT 2382499 SOS 1465164 HAS SOPS 1465164 HAS SOUS 869542 HAS SOUPS 869542 WITH SCORE 871007.164
AT ITER 1448 NEW BEST:: SOT 2382749 SOS 1465365 HAS SOPS 1465365 HAS SOUS 869243 HAS SOUPS 869243 WITH SCORE 870708.365
AT ITER 1456 NEW BEST:: SOT 2382230 SOS 1464846 HAS SOPS 1464846 HAS SOUS 868203 HAS SOUPS 868203 WITH SCORE 869667.846
AT ITER 1460 NEW BEST:: SOT 2382018 SOS 1464422 HAS SOPS 1464422 HAS SOUS 867779 HAS SOUPS 867779 WITH SCORE 869243.422
AT ITER 1473 NEW BEST:: SOT 2381833 SOS 1464421 HAS SOPS 1464421 HAS SOUS 867702 HAS SOUPS 867702 WITH SCORE 869166.421
AT ITER 1481 NEW BEST:: SOT 2381833 SOS 1464407 HAS SOPS 1464407 HAS SOUS 867688 HAS SOUPS 867688 WITH SCORE 869152.407
AT ITER 1486 NEW BEST:: SOT 2381384 SOS 1463951 HAS SOPS 1463951 HAS SOUS 867679 HAS SOUPS 867679 WITH SCORE 869142.951
AT ITER 1489 NEW BEST:: SOT 2381384 SOS 1463862 HAS SOPS 1463862 HAS SOUS 867590 HAS SOUPS 867590 WITH SCORE 869053.862
AT ITER 1491 NEW BEST:: SOT 2381384 SOS 1463862 HAS SOPS 1463862 HAS SOUS 867589 HAS SOUPS 867589 WITH SCORE 869052.862
AT ITER 1506 NEW BEST:: SOT 2381005 SOS 1463518 HAS SOPS 1463518 HAS SOUS 867279 HAS SOUPS 867279 WITH SCORE 868742.518
AT ITER 1517 NEW BEST:: SOT 2378857 SOS 1461370 HAS SOPS 1461370 HAS SOUS 865131 HAS SOUPS 865131 WITH SCORE 866592.37
AT ITER 1525 NEW BEST:: SOT 2378321 SOS 1460050 HAS SOPS 1460050 HAS SOUS 863384 HAS SOUPS 863384 WITH SCORE 864844.05
AT ITER 1526 NEW BEST:: SOT 2378321 SOS 1459828 HAS SOPS 1459828 HAS SOUS 863162 HAS SOUPS 863162 WITH SCORE 864621.828
AT ITER 1540 NEW BEST:: SOT 2378321 SOS 1459289 HAS SOPS 1459289 HAS SOUS 862856 HAS SOUPS 862856 WITH SCORE 864315.289
AT ITER 1542 NEW BEST:: SOT 2377432 SOS 1459131 HAS SOPS 1459131 HAS SOUS 862416 HAS SOUPS 862416 WITH SCORE 863875.131
AT ITER 1543 NEW BEST:: SOT 2376766 SOS 1461441 HAS SOPS 1461441 HAS SOUS 861246 HAS SOUPS 861246 WITH SCORE 862707.441
AT ITER 1558 NEW BEST:: SOT 2376369 SOS 1461044 HAS SOPS 1461044 HAS SOUS 860742 HAS SOUPS 860742 WITH SCORE 862203.044
AT ITER 1561 NEW BEST:: SOT 2376155 SOS 1460617 HAS SOPS 1460617 HAS SOUS 860527 HAS SOUPS 860527 WITH SCORE 861987.617
AT ITER 1568 NEW BEST:: SOT 2376137 SOS 1459864 HAS SOPS 1459864 HAS SOUS 859962 HAS SOUPS 859962 WITH SCORE 861421.864
AT ITER 1570 NEW BEST:: SOT 2375933 SOS 1459188 HAS SOPS 1459188 HAS SOUS 859758 HAS SOUPS 859758 WITH SCORE 861217.188
AT ITER 1575 NEW BEST:: SOT 2375931 SOS 1460001 HAS SOPS 1460001 HAS SOUS 859390 HAS SOUPS 859390 WITH SCORE 860850.001
AT ITER 1585 NEW BEST:: SOT 2376011 SOS 1459437 HAS SOPS 1459437 HAS SOUS 858826 HAS SOUPS 858826 WITH SCORE 860285.437
AT ITER 1595 NEW BEST:: SOT 2376010 SOS 1459435 HAS SOPS 1459435 HAS SOUS 858824 HAS SOUPS 858824 WITH SCORE 860283.435
AT ITER 1605 NEW BEST:: SOT 2375636 SOS 1454080 HAS SOPS 1454080 HAS SOUS 858289 HAS SOUPS 858289 WITH SCORE 859743.08
AT ITER 1608 NEW BEST:: SOT 2375501 SOS 1454058 HAS SOPS 1454058 HAS SOUS 858267 HAS SOUPS 858267 WITH SCORE 859721.058
AT ITER 1613 NEW BEST:: SOT 2374352 SOS 1453239 HAS SOPS 1453239 HAS SOUS 857781 HAS SOUPS 857781 WITH SCORE 859234.239
AT ITER 1627 NEW BEST:: SOT 2374263 SOS 1451827 HAS SOPS 1451827 HAS SOUS 857518 HAS SOUPS 857518 WITH SCORE 858969.827
AT ITER 1634 NEW BEST:: SOT 2374161 SOS 1452193 HAS SOPS 1452193 HAS SOUS 857456 HAS SOUPS 857456 WITH SCORE 858908.193
AT ITER 1645 NEW BEST:: SOT 2374161 SOS 1451425 HAS SOPS 1451425 HAS SOUS 857071 HAS SOUPS 857071 WITH SCORE 858522.425
AT ITER 1651 NEW BEST:: SOT 2374155 SOS 1451419 HAS SOPS 1451419 HAS SOUS 857061 HAS SOUPS 857061 WITH SCORE 858512.419
AT ITER 1653 NEW BEST:: SOT 2374691 SOS 1451199 HAS SOPS 1451199 HAS SOUS 856914 HAS SOUPS 856914 WITH SCORE 858365.199
AT ITER 1684 NEW BEST:: SOT 2372966 SOS 1449570 HAS SOPS 1449570 HAS SOUS 855254 HAS SOUPS 855254 WITH SCORE 856703.57
AT ITER 1702 NEW BEST:: SOT 2372966 SOS 1449569 HAS SOPS 1449569 HAS SOUS 855253 HAS SOUPS 855253 WITH SCORE 856702.569
AT ITER 1709 NEW BEST:: SOT 2372708 SOS 1449311 HAS SOPS 1449311 HAS SOUS 854995 HAS SOUPS 854995 WITH SCORE 856444.311
AT ITER 1711 NEW BEST:: SOT 2372244 SOS 1446160 HAS SOPS 1446160 HAS SOUS 853679 HAS SOUPS 853679 WITH SCORE 855125.16
AT ITER 1750 NEW BEST:: SOT 2372243 SOS 1446159 HAS SOPS 1446159 HAS SOUS 853677 HAS SOUPS 853677 WITH SCORE 855123.159
AT ITER 1754 NEW BEST:: SOT 2371509 SOS 1445425 HAS SOPS 1445425 HAS SOUS 852943 HAS SOUPS 852943 WITH SCORE 854388.425
AT ITER 1761 NEW BEST:: SOT 2366071 SOS 1439987 HAS SOPS 1439987 HAS SOUS 847504 HAS SOUPS 847504 WITH SCORE 848943.987
AT ITER 1764 NEW BEST:: SOT 2366071 SOS 1439134 HAS SOPS 1439134 HAS SOUS 847266 HAS SOUPS 847266 WITH SCORE 848705.134
AT ITER 1782 NEW BEST:: SOT 2365990 SOS 1439053 HAS SOPS 1439053 HAS SOUS 847202 HAS SOUPS 847202 WITH SCORE 848641.053
AT ITER 1785 NEW BEST:: SOT 2365760 SOS 1438827 HAS SOPS 1438827 HAS SOUS 846976 HAS SOUPS 846976 WITH SCORE 848414.827
AT ITER 1790 NEW BEST:: SOT 2365658 SOS 1438725 HAS SOPS 1438725 HAS SOUS 846874 HAS SOUPS 846874 WITH SCORE 848312.725
AT ITER 1796 NEW BEST:: SOT 2365656 SOS 1438348 HAS SOPS 1438348 HAS SOUS 846718 HAS SOUPS 846718 WITH SCORE 848156.348
AT ITER 1799 NEW BEST:: SOT 2365656 SOS 1438003 HAS SOPS 1438003 HAS SOUS 846488 HAS SOUPS 846488 WITH SCORE 847926.003
AT ITER 1800 NEW BEST:: SOT 2365691 SOS 1437957 HAS SOPS 1437957 HAS SOUS 846442 HAS SOUPS 846442 WITH SCORE 847879.957
AT ITER 1803 NEW BEST:: SOT 2365679 SOS 1437933 HAS SOPS 1437933 HAS SOUS 846418 HAS SOUPS 846418 WITH SCORE 847855.933
AT ITER 1815 NEW BEST:: SOT 2365831 SOS 1438101 HAS SOPS 1438101 HAS SOUS 846248 HAS SOUPS 846248 WITH SCORE 847686.101
AT ITER 1819 NEW BEST:: SOT 2365530 SOS 1437800 HAS SOPS 1437800 HAS SOUS 845928 HAS SOUPS 845928 WITH SCORE 847365.8
AT ITER 1830 NEW BEST:: SOT 2365530 SOS 1437733 HAS SOPS 1437733 HAS SOUS 845915 HAS SOUPS 845915 WITH SCORE 847352.733
AT ITER 1838 NEW BEST:: SOT 2365273 SOS 1437476 HAS SOPS 1437476 HAS SOUS 845915 HAS SOUPS 845915 WITH SCORE 847352.476
AT ITER 1843 NEW BEST:: SOT 2365282 SOS 1435792 HAS SOPS 1435792 HAS SOUS 844696 HAS SOUPS 844696 WITH SCORE 846131.792
AT ITER 1848 NEW BEST:: SOT 2352422 SOS 1422655 HAS SOPS 1422655 HAS SOUS 831559 HAS SOUPS 831559 WITH SCORE 832981.655
AT ITER 1864 NEW BEST:: SOT 2352482 SOS 1422394 HAS SOPS 1422394 HAS SOUS 830977 HAS SOUPS 830977 WITH SCORE 832399.394
AT ITER 1878 NEW BEST:: SOT 2352385 SOS 1422297 HAS SOPS 1422297 HAS SOUS 830872 HAS SOUPS 830872 WITH SCORE 832294.297
AT ITER 1880 NEW BEST:: SOT 2352659 SOS 1421558 HAS SOPS 1421558 HAS SOUS 830738 HAS SOUPS 830738 WITH SCORE 832159.558
AT ITER 1881 NEW BEST:: SOT 2352397 SOS 1421296 HAS SOPS 1421296 HAS SOUS 830566 HAS SOUPS 830566 WITH SCORE 831987.296
AT ITER 1892 NEW BEST:: SOT 2352409 SOS 1421094 HAS SOPS 1421094 HAS SOUS 830467 HAS SOUPS 830467 WITH SCORE 831888.094
AT ITER 1910 NEW BEST:: SOT 2352460 SOS 1421255 HAS SOPS 1421255 HAS SOUS 830344 HAS SOUPS 830344 WITH SCORE 831765.255
AT ITER 1915 NEW BEST:: SOT 2352185 SOS 1419377 HAS SOPS 1419377 HAS SOUS 828466 HAS SOUPS 828466 WITH SCORE 829885.377
AT ITER 1941 NEW BEST:: SOT 2352063 SOS 1419011 HAS SOPS 1419011 HAS SOUS 828173 HAS SOUPS 828173 WITH SCORE 829592.011
AT ITER 1943 NEW BEST:: SOT 2351964 SOS 1419210 HAS SOPS 1419210 HAS SOUS 827969 HAS SOUPS 827969 WITH SCORE 829388.21
AT ITER 1945 NEW BEST:: SOT 2351800 SOS 1418498 HAS SOPS 1418498 HAS SOUS 827871 HAS SOUPS 827871 WITH SCORE 829289.498
AT ITER 1948 NEW BEST:: SOT 2351803 SOS 1417757 HAS SOPS 1417757 HAS SOUS 827130 HAS SOUPS 827130 WITH SCORE 828547.757
AT ITER 1953 NEW BEST:: SOT 2351495 SOS 1417449 HAS SOPS 1417449 HAS SOUS 826822 HAS SOUPS 826822 WITH SCORE 828239.449
AT ITER 1955 NEW BEST:: SOT 2351357 SOS 1417065 HAS SOPS 1417065 HAS SOUS 826546 HAS SOUPS 826546 WITH SCORE 827963.065
AT ITER 1957 NEW BEST:: SOT 2350441 SOS 1416790 HAS SOPS 1416790 HAS SOUS 825884 HAS SOUPS 825884 WITH SCORE 827300.79
AT ITER 1958 NEW BEST:: SOT 2350436 SOS 1416785 HAS SOPS 1416785 HAS SOUS 825874 HAS SOUPS 825874 WITH SCORE 827290.785
AT ITER 1968 NEW BEST:: SOT 2349778 SOS 1416139 HAS SOPS 1416139 HAS SOUS 825218 HAS SOUPS 825218 WITH SCORE 826634.139
AT ITER 1971 NEW BEST:: SOT 2349309 SOS 1415670 HAS SOPS 1415670 HAS SOUS 824749 HAS SOUPS 824749 WITH SCORE 826164.67
AT ITER 1973 NEW BEST:: SOT 2349150 SOS 1415409 HAS SOPS 1415409 HAS SOUS 824488 HAS SOUPS 824488 WITH SCORE 825903.409
AT ITER 1975 NEW BEST:: SOT 2331671 SOS 1403574 HAS SOPS 1403574 HAS SOUS 806915 HAS SOUPS 806915 WITH SCORE 808318.574
AT ITER 1985 NEW BEST:: SOT 2331671 SOS 1403835 HAS SOPS 1403835 HAS SOUS 806828 HAS SOUPS 806828 WITH SCORE 808231.835
AT ITER 1986 NEW BEST:: SOT 2331550 SOS 1403593 HAS SOPS 1403593 HAS SOUS 806465 HAS SOUPS 806465 WITH SCORE 807868.593
AT ITER 1989 NEW BEST:: SOT 2331130 SOS 1403173 HAS SOPS 1403173 HAS SOUS 806045 HAS SOUPS 806045 WITH SCORE 807448.173
AT ITER 2002 NEW BEST:: SOT 2330733 SOS 1402379 HAS SOPS 1402379 HAS SOUS 805251 HAS SOUPS 805251 WITH SCORE 806653.379
AT ITER 2008 NEW BEST:: SOT 2330162 SOS 1401237 HAS SOPS 1401237 HAS SOUS 804109 HAS SOUPS 804109 WITH SCORE 805510.237
AT ITER 2013 NEW BEST:: SOT 2330356 SOS 1396393 HAS SOPS 1396393 HAS SOUS 803327 HAS SOUPS 803327 WITH SCORE 804723.393
AT ITER 2014 NEW BEST:: SOT 2330495 SOS 1395681 HAS SOPS 1395681 HAS SOUS 803305 HAS SOUPS 803305 WITH SCORE 804700.681
AT ITER 2024 NEW BEST:: SOT 2330161 SOS 1395347 HAS SOPS 1395347 HAS SOUS 802971 HAS SOUPS 802971 WITH SCORE 804366.347
AT ITER 2031 NEW BEST:: SOT 2330195 SOS 1395143 HAS SOPS 1395143 HAS SOUS 802767 HAS SOUPS 802767 WITH SCORE 804162.143
AT ITER 2042 NEW BEST:: SOT 2329427 SOS 1394280 HAS SOPS 1394280 HAS SOUS 802119 HAS SOUPS 802119 WITH SCORE 803513.28
AT ITER 2046 NEW BEST:: SOT 2329427 SOS 1394280 HAS SOPS 1394280 HAS SOUS 802088 HAS SOUPS 802088 WITH SCORE 803482.28
AT ITER 2060 NEW BEST:: SOT 2329427 SOS 1394157 HAS SOPS 1394157 HAS SOUS 802088 HAS SOUPS 802088 WITH SCORE 803482.157
AT ITER 2071 NEW BEST:: SOT 2328752 SOS 1394017 HAS SOPS 1394017 HAS SOUS 801948 HAS SOUPS 801948 WITH SCORE 803342.017
AT ITER 2074 NEW BEST:: SOT 2328528 SOS 1393793 HAS SOPS 1393793 HAS SOUS 801724 HAS SOUPS 801724 WITH SCORE 803117.793
AT ITER 2075 NEW BEST:: SOT 2328515 SOS 1393768 HAS SOPS 1393768 HAS SOUS 801698 HAS SOUPS 801698 WITH SCORE 803091.768
AT ITER 2080 NEW BEST:: SOT 2328341 SOS 1393338 HAS SOPS 1393338 HAS SOUS 801282 HAS SOUPS 801282 WITH SCORE 802675.338
AT ITER 2084 NEW BEST:: SOT 2328282 SOS 1393320 HAS SOPS 1393320 HAS SOUS 801209 HAS SOUPS 801209 WITH SCORE 802602.32
AT ITER 2101 NEW BEST:: SOT 2327510 SOS 1392548 HAS SOPS 1392548 HAS SOUS 800437 HAS SOUPS 800437 WITH SCORE 801829.548
AT ITER 2112 NEW BEST:: SOT 2327406 SOS 1392340 HAS SOPS 1392340 HAS SOUS 800229 HAS SOUPS 800229 WITH SCORE 801621.34
AT ITER 2118 NEW BEST:: SOT 2327320 SOS 1392254 HAS SOPS 1392254 HAS SOUS 800143 HAS SOUPS 800143 WITH SCORE 801535.254
AT ITER 2120 NEW BEST:: SOT 2326906 SOS 1391982 HAS SOPS 1391982 HAS SOUS 799871 HAS SOUPS 799871 WITH SCORE 801262.982
AT ITER 2124 NEW BEST:: SOT 2319506 SOS 1384582 HAS SOPS 1384582 HAS SOUS 792471 HAS SOUPS 792471 WITH SCORE 793855.582
AT ITER 2133 NEW BEST:: SOT 2319506 SOS 1384582 HAS SOPS 1384582 HAS SOUS 792470 HAS SOUPS 792470 WITH SCORE 793854.582
AT ITER 2142 NEW BEST:: SOT 2316714 SOS 1379511 HAS SOPS 1379511 HAS SOUS 791855 HAS SOUPS 791855 WITH SCORE 793234.511
AT ITER 2143 NEW BEST:: SOT 2316563 SOS 1379107 HAS SOPS 1379107 HAS SOUS 790729 HAS SOUPS 790729 WITH SCORE 792108.107
AT ITER 2149 NEW BEST:: SOT 2315960 SOS 1378504 HAS SOPS 1378504 HAS SOUS 790126 HAS SOUPS 790126 WITH SCORE 791504.504
AT ITER 2157 NEW BEST:: SOT 2315960 SOS 1377354 HAS SOPS 1377354 HAS SOUS 790126 HAS SOUPS 790126 WITH SCORE 791503.354
AT ITER 2172 NEW BEST:: SOT 2315832 SOS 1377584 HAS SOPS 1377584 HAS SOUS 790062 HAS SOUPS 790062 WITH SCORE 791439.584
AT ITER 2180 NEW BEST:: SOT 2315740 SOS 1376012 HAS SOPS 1376012 HAS SOUS 789374 HAS SOUPS 789374 WITH SCORE 790750.012
AT ITER 2183 NEW BEST:: SOT 2313862 SOS 1374652 HAS SOPS 1374652 HAS SOUS 788014 HAS SOUPS 788014 WITH SCORE 789388.652
AT ITER 2185 NEW BEST:: SOT 2312375 SOS 1374739 HAS SOPS 1374739 HAS SOUS 787067 HAS SOUPS 787067 WITH SCORE 788441.739
AT ITER 2186 NEW BEST:: SOT 2312011 SOS 1374351 HAS SOPS 1374351 HAS SOUS 786640 HAS SOUPS 786640 WITH SCORE 788014.351
AT ITER 2201 NEW BEST:: SOT 2311661 SOS 1374096 HAS SOPS 1374096 HAS SOUS 786616 HAS SOUPS 786616 WITH SCORE 787990.096
AT ITER 2227 NEW BEST:: SOT 2310745 SOS 1373180 HAS SOPS 1373180 HAS SOUS 785700 HAS SOUPS 785700 WITH SCORE 787073.18
AT ITER 2228 NEW BEST:: SOT 2310758 SOS 1373095 HAS SOPS 1373095 HAS SOUS 785615 HAS SOUPS 785615 WITH SCORE 786988.095
AT ITER 2237 NEW BEST:: SOT 2309687 SOS 1372024 HAS SOPS 1372024 HAS SOUS 784785 HAS SOUPS 784785 WITH SCORE 786157.024
AT ITER 2240 NEW BEST:: SOT 2309253 SOS 1371590 HAS SOPS 1371590 HAS SOUS 784351 HAS SOUPS 784351 WITH SCORE 785722.59
AT ITER 2253 NEW BEST:: SOT 2309384 SOS 1371582 HAS SOPS 1371582 HAS SOUS 784343 HAS SOUPS 784343 WITH SCORE 785714.582
AT ITER 2275 NEW BEST:: SOT 2309384 SOS 1371460 HAS SOPS 1371460 HAS SOUS 784282 HAS SOUPS 784282 WITH SCORE 785653.46
AT ITER 2284 NEW BEST:: SOT 2309370 SOS 1371358 HAS SOPS 1371358 HAS SOUS 784254 HAS SOUPS 784254 WITH SCORE 785625.358
AT ITER 2293 NEW BEST:: SOT 2309366 SOS 1365446 HAS SOPS 1365446 HAS SOUS 783508 HAS SOUPS 783508 WITH SCORE 784873.446
AT ITER 2302 NEW BEST:: SOT 2309375 SOS 1365614 HAS SOPS 1365614 HAS SOUS 783404 HAS SOUPS 783404 WITH SCORE 784769.614
AT ITER 2313 NEW BEST:: SOT 2309144 SOS 1365307 HAS SOPS 1365307 HAS SOUS 783097 HAS SOUPS 783097 WITH SCORE 784462.307
AT ITER 2321 NEW BEST:: SOT 2308887 SOS 1364263 HAS SOPS 1364263 HAS SOUS 782299 HAS SOUPS 782299 WITH SCORE 783663.263
AT ITER 2324 NEW BEST:: SOT 2308711 SOS 1363735 HAS SOPS 1363735 HAS SOUS 781243 HAS SOUPS 781243 WITH SCORE 782606.735
AT ITER 2328 NEW BEST:: SOT 2308705 SOS 1363486 HAS SOPS 1363486 HAS SOUS 781231 HAS SOUPS 781231 WITH SCORE 782594.486
AT ITER 2363 NEW BEST:: SOT 2308705 SOS 1363486 HAS SOPS 1363486 HAS SOUS 781202 HAS SOUPS 781202 WITH SCORE 782565.486
AT ITER 2364 NEW BEST:: SOT 2308667 SOS 1363446 HAS SOPS 1363446 HAS SOUS 781162 HAS SOUPS 781162 WITH SCORE 782525.446
AT ITER 2380 NEW BEST:: SOT 2308667 SOS 1363059 HAS SOPS 1363059 HAS SOUS 781044 HAS SOUPS 781044 WITH SCORE 782407.059
AT ITER 2386 NEW BEST:: SOT 2308667 SOS 1362694 HAS SOPS 1362694 HAS SOUS 780679 HAS SOUPS 780679 WITH SCORE 782041.694
AT ITER 2392 NEW BEST:: SOT 2309042 SOS 1362804 HAS SOPS 1362804 HAS SOUS 780473 HAS SOUPS 780473 WITH SCORE 781835.804
AT ITER 2418 NEW BEST:: SOT 2308894 SOS 1362655 HAS SOPS 1362655 HAS SOUS 780324 HAS SOUPS 780324 WITH SCORE 781686.655
AT ITER 2433 NEW BEST:: SOT 2308909 SOS 1362475 HAS SOPS 1362475 HAS SOUS 780144 HAS SOUPS 780144 WITH SCORE 781506.475
AT ITER 2439 NEW BEST:: SOT 2308595 SOS 1362246 HAS SOPS 1362246 HAS SOUS 779914 HAS SOUPS 779914 WITH SCORE 781276.246
AT ITER 2446 NEW BEST:: SOT 2308537 SOS 1361814 HAS SOPS 1361814 HAS SOUS 778918 HAS SOUPS 778918 WITH SCORE 780279.814
AT ITER 2452 NEW BEST:: SOT 2308537 SOS 1361691 HAS SOPS 1361691 HAS SOUS 778882 HAS SOUPS 778882 WITH SCORE 780243.691
AT ITER 2455 NEW BEST:: SOT 2307665 SOS 1360909 HAS SOPS 1360909 HAS SOUS 778100 HAS SOUPS 778100 WITH SCORE 779460.909
AT ITER 2459 NEW BEST:: SOT 2307664 SOS 1360908 HAS SOPS 1360908 HAS SOUS 778099 HAS SOUPS 778099 WITH SCORE 779459.908
AT ITER 2477 NEW BEST:: SOT 2307444 SOS 1360968 HAS SOPS 1360968 HAS SOUS 777928 HAS SOUPS 777928 WITH SCORE 779288.968
AT ITER 2480 NEW BEST:: SOT 2307173 SOS 1360765 HAS SOPS 1360765 HAS SOUS 777738 HAS SOUPS 777738 WITH SCORE 779098.765
AT ITER 2488 NEW BEST:: SOT 2306544 SOS 1360208 HAS SOPS 1360208 HAS SOUS 777181 HAS SOUPS 777181 WITH SCORE 778541.208
AT ITER 2490 NEW BEST:: SOT 2306532 SOS 1360798 HAS SOPS 1360798 HAS SOUS 777168 HAS SOUPS 777168 WITH SCORE 778528.798
AT ITER 2497 NEW BEST:: SOT 2306207 SOS 1360473 HAS SOPS 1360473 HAS SOUS 776843 HAS SOUPS 776843 WITH SCORE 778203.473
AT ITER 2504 NEW BEST:: SOT 2305912 SOS 1360178 HAS SOPS 1360178 HAS SOUS 776169 HAS SOUPS 776169 WITH SCORE 777529.178
AT ITER 2505 NEW BEST:: SOT 2305479 SOS 1359576 HAS SOPS 1359576 HAS SOUS 775126 HAS SOUPS 775126 WITH SCORE 776485.576
AT ITER 2506 NEW BEST:: SOT 2305479 SOS 1359330 HAS SOPS 1359330 HAS SOUS 774880 HAS SOUPS 774880 WITH SCORE 776239.33
AT ITER 2507 NEW BEST:: SOT 2305288 SOS 1358882 HAS SOPS 1358882 HAS SOUS 774638 HAS SOUPS 774638 WITH SCORE 775996.882
AT ITER 2509 NEW BEST:: SOT 2305283 SOS 1358821 HAS SOPS 1358821 HAS SOUS 774238 HAS SOUPS 774238 WITH SCORE 775596.821
AT ITER 2519 NEW BEST:: SOT 2305239 SOS 1358777 HAS SOPS 1358777 HAS SOUS 774150 HAS SOUPS 774150 WITH SCORE 775508.777
AT ITER 2520 NEW BEST:: SOT 2304813 SOS 1358326 HAS SOPS 1358326 HAS SOUS 773699 HAS SOUPS 773699 WITH SCORE 775057.326
AT ITER 2535 NEW BEST:: SOT 2304813 SOS 1358043 HAS SOPS 1358043 HAS SOUS 773699 HAS SOUPS 773699 WITH SCORE 775057.043
AT ITER 2538 NEW BEST:: SOT 2304813 SOS 1358039 HAS SOPS 1358039 HAS SOUS 773663 HAS SOUPS 773663 WITH SCORE 775021.039
AT ITER 2557 NEW BEST:: SOT 2303704 SOS 1356930 HAS SOPS 1356930 HAS SOUS 772104 HAS SOUPS 772104 WITH SCORE 773460.93
AT ITER 2568 NEW BEST:: SOT 2303621 SOS 1356847 HAS SOPS 1356847 HAS SOUS 772016 HAS SOUPS 772016 WITH SCORE 773372.847
AT ITER 2572 NEW BEST:: SOT 2303505 SOS 1356731 HAS SOPS 1356731 HAS SOUS 771900 HAS SOUPS 771900 WITH SCORE 773256.731
AT ITER 2583 NEW BEST:: SOT 2303453 SOS 1356181 HAS SOPS 1356181 HAS SOUS 771848 HAS SOUPS 771848 WITH SCORE 773204.181
AT ITER 2603 NEW BEST:: SOT 2303305 SOS 1356033 HAS SOPS 1356033 HAS SOUS 771700 HAS SOUPS 771700 WITH SCORE 773056.033
AT ITER 2606 NEW BEST:: SOT 2303162 SOS 1352574 HAS SOPS 1352574 HAS SOUS 771046 HAS SOUPS 771046 WITH SCORE 772398.574
AT ITER 2616 NEW BEST:: SOT 2303403 SOS 1352092 HAS SOPS 1352092 HAS SOUS 770564 HAS SOUPS 770564 WITH SCORE 771916.092
AT ITER 2624 NEW BEST:: SOT 2303378 SOS 1351304 HAS SOPS 1351304 HAS SOUS 769776 HAS SOUPS 769776 WITH SCORE 771127.304
AT ITER 2628 NEW BEST:: SOT 2303373 SOS 1352308 HAS SOPS 1352308 HAS SOUS 769774 HAS SOUPS 769774 WITH SCORE 771126.308
AT ITER 2646 NEW BEST:: SOT 2303389 SOS 1352099 HAS SOPS 1352099 HAS SOUS 769774 HAS SOUPS 769774 WITH SCORE 771126.099
AT ITER 2649 NEW BEST:: SOT 2303385 SOS 1351646 HAS SOPS 1351646 HAS SOUS 769649 HAS SOUPS 769649 WITH SCORE 771000.646
AT ITER 2650 NEW BEST:: SOT 2303151 SOS 1351199 HAS SOPS 1351199 HAS SOUS 769202 HAS SOUPS 769202 WITH SCORE 770553.199
AT ITER 2661 NEW BEST:: SOT 2302800 SOS 1350823 HAS SOPS 1350823 HAS SOUS 768826 HAS SOUPS 768826 WITH SCORE 770176.823
AT ITER 2673 NEW BEST:: SOT 2302772 SOS 1350795 HAS SOPS 1350795 HAS SOUS 768798 HAS SOUPS 768798 WITH SCORE 770148.795
AT ITER 2681 NEW BEST:: SOT 2302580 SOS 1350718 HAS SOPS 1350718 HAS SOUS 768788 HAS SOUPS 768788 WITH SCORE 770138.718
AT ITER 2707 NEW BEST:: SOT 2301654 SOS 1350474 HAS SOPS 1350474 HAS SOUS 768745 HAS SOUPS 768745 WITH SCORE 770095.474
AT ITER 2708 NEW BEST:: SOT 2299998 SOS 1348818 HAS SOPS 1348818 HAS SOUS 767089 HAS SOUPS 767089 WITH SCORE 768437.818
AT ITER 2711 NEW BEST:: SOT 2299992 SOS 1348449 HAS SOPS 1348449 HAS SOUS 767066 HAS SOUPS 767066 WITH SCORE 768414.449
AT ITER 2720 NEW BEST:: SOT 2299153 SOS 1346383 HAS SOPS 1346383 HAS SOUS 765663 HAS SOUPS 765663 WITH SCORE 767009.383
AT ITER 2729 NEW BEST:: SOT 2299153 SOS 1346239 HAS SOPS 1346239 HAS SOUS 764901 HAS SOUPS 764901 WITH SCORE 766247.239
AT ITER 2731 NEW BEST:: SOT 2299153 SOS 1346238 HAS SOPS 1346238 HAS SOUS 764900 HAS SOUPS 764900 WITH SCORE 766246.238
AT ITER 2755 NEW BEST:: SOT 2298627 SOS 1345418 HAS SOPS 1345418 HAS SOUS 764268 HAS SOUPS 764268 WITH SCORE 765613.418
AT ITER 2756 NEW BEST:: SOT 2298506 SOS 1345291 HAS SOPS 1345291 HAS SOUS 764141 HAS SOUPS 764141 WITH SCORE 765486.291
AT ITER 2766 NEW BEST:: SOT 2298341 SOS 1344629 HAS SOPS 1344629 HAS SOUS 763043 HAS SOUPS 763043 WITH SCORE 764387.629
AT ITER 2771 NEW BEST:: SOT 2298152 SOS 1344440 HAS SOPS 1344440 HAS SOUS 763043 HAS SOUPS 763043 WITH SCORE 764387.44
AT ITER 2778 NEW BEST:: SOT 2298034 SOS 1344204 HAS SOPS 1344204 HAS SOUS 762807 HAS SOUPS 762807 WITH SCORE 764151.204
AT ITER 2780 NEW BEST:: SOT 2293860 SOS 1340030 HAS SOPS 1340030 HAS SOUS 758633 HAS SOUPS 758633 WITH SCORE 759973.03
AT ITER 2790 NEW BEST:: SOT 2293976 SOS 1339910 HAS SOPS 1339910 HAS SOUS 758513 HAS SOUPS 758513 WITH SCORE 759852.91
AT ITER 2791 NEW BEST:: SOT 2293976 SOS 1339808 HAS SOPS 1339808 HAS SOUS 758411 HAS SOUPS 758411 WITH SCORE 759750.808
AT ITER 2798 NEW BEST:: SOT 2293527 SOS 1333383 HAS SOPS 1333383 HAS SOUS 757513 HAS SOUPS 757513 WITH SCORE 758846.383
AT ITER 2803 NEW BEST:: SOT 2293371 SOS 1333227 HAS SOPS 1333227 HAS SOUS 757357 HAS SOUPS 757357 WITH SCORE 758690.227
AT ITER 2809 NEW BEST:: SOT 2292477 SOS 1332958 HAS SOPS 1332958 HAS SOUS 756666 HAS SOUPS 756666 WITH SCORE 757998.958
AT ITER 2814 NEW BEST:: SOT 2292830 SOS 1332162 HAS SOPS 1332162 HAS SOUS 755870 HAS SOUPS 755870 WITH SCORE 757202.162
AT ITER 2821 NEW BEST:: SOT 2292829 SOS 1332161 HAS SOPS 1332161 HAS SOUS 755868 HAS SOUPS 755868 WITH SCORE 757200.161
AT ITER 2822 NEW BEST:: SOT 2293154 SOS 1332273 HAS SOPS 1332273 HAS SOUS 755705 HAS SOUPS 755705 WITH SCORE 757037.273
AT ITER 2823 NEW BEST:: SOT 2293249 SOS 1332352 HAS SOPS 1332352 HAS SOUS 755676 HAS SOUPS 755676 WITH SCORE 757008.352
AT ITER 2827 NEW BEST:: SOT 2293060 SOS 1332128 HAS SOPS 1332128 HAS SOUS 755607 HAS SOUPS 755607 WITH SCORE 756939.128
AT ITER 2837 NEW BEST:: SOT 2292710 SOS 1331096 HAS SOPS 1331096 HAS SOUS 754575 HAS SOUPS 754575 WITH SCORE 755906.096
AT ITER 2850 NEW BEST:: SOT 2292710 SOS 1330544 HAS SOPS 1330544 HAS SOUS 754574 HAS SOUPS 754574 WITH SCORE 755904.544
AT ITER 2861 NEW BEST:: SOT 2292372 SOS 1330059 HAS SOPS 1330059 HAS SOUS 753803 HAS SOUPS 753803 WITH SCORE 755133.059
AT ITER 2863 NEW BEST:: SOT 2292385 SOS 1330058 HAS SOPS 1330058 HAS SOUS 753802 HAS SOUPS 753802 WITH SCORE 755132.058
AT ITER 2864 NEW BEST:: SOT 2291414 SOS 1328418 HAS SOPS 1328418 HAS SOUS 752162 HAS SOUPS 752162 WITH SCORE 753490.418
AT ITER 2876 NEW BEST:: SOT 2286131 SOS 1327008 HAS SOPS 1327008 HAS SOUS 745669 HAS SOUPS 745669 WITH SCORE 746996.008
AT ITER 2881 NEW BEST:: SOT 2285288 SOS 1324831 HAS SOPS 1324831 HAS SOUS 745038 HAS SOUPS 745038 WITH SCORE 746362.831
AT ITER 2890 NEW BEST:: SOT 2285288 SOS 1324831 HAS SOPS 1324831 HAS SOUS 745011 HAS SOUPS 745011 WITH SCORE 746335.831
AT ITER 2895 NEW BEST:: SOT 2268121 SOS 1309516 HAS SOPS 1309516 HAS SOUS 727944 HAS SOUPS 727944 WITH SCORE 729253.516
AT ITER 2905 NEW BEST:: SOT 2268340 SOS 1309735 HAS SOPS 1309735 HAS SOUS 727807 HAS SOUPS 727807 WITH SCORE 729116.735
AT ITER 2916 NEW BEST:: SOT 2268340 SOS 1308223 HAS SOPS 1308223 HAS SOUS 726843 HAS SOUPS 726843 WITH SCORE 728151.223
AT ITER 2927 NEW BEST:: SOT 2268340 SOS 1308202 HAS SOPS 1308202 HAS SOUS 726801 HAS SOUPS 726801 WITH SCORE 728109.202
AT ITER 2935 NEW BEST:: SOT 2267554 SOS 1306999 HAS SOPS 1306999 HAS SOUS 725598 HAS SOUPS 725598 WITH SCORE 726904.999
AT ITER 2941 NEW BEST:: SOT 2267196 SOS 1306641 HAS SOPS 1306641 HAS SOUS 725520 HAS SOUPS 725520 WITH SCORE 726826.641
AT ITER 2950 NEW BEST:: SOT 2267135 SOS 1306580 HAS SOPS 1306580 HAS SOUS 725459 HAS SOUPS 725459 WITH SCORE 726765.58
AT ITER 2953 NEW BEST:: SOT 2267173 SOS 1306521 HAS SOPS 1306521 HAS SOUS 725421 HAS SOUPS 725421 WITH SCORE 726727.521
AT ITER 2955 NEW BEST:: SOT 2267173 SOS 1307409 HAS SOPS 1307409 HAS SOUS 725420 HAS SOUPS 725420 WITH SCORE 726727.409
AT ITER 2969 NEW BEST:: SOT 2267172 SOS 1306178 HAS SOPS 1306178 HAS SOUS 725078 HAS SOUPS 725078 WITH SCORE 726384.178
AT ITER 3001 NEW BEST:: SOT 2267560 SOS 1306620 HAS SOPS 1306620 HAS SOUS 724597 HAS SOUPS 724597 WITH SCORE 725903.62
AT ITER 3006 NEW BEST:: SOT 2267661 SOS 1306320 HAS SOPS 1306320 HAS SOUS 723944 HAS SOUPS 723944 WITH SCORE 725250.32
AT ITER 3009 NEW BEST:: SOT 2267661 SOS 1305852 HAS SOPS 1305852 HAS SOUS 723897 HAS SOUPS 723897 WITH SCORE 725202.852
AT ITER 3011 NEW BEST:: SOT 2267800 SOS 1305991 HAS SOPS 1305991 HAS SOUS 723843 HAS SOUPS 723843 WITH SCORE 725148.991
AT ITER 3015 NEW BEST:: SOT 2267807 SOS 1317876 HAS SOPS 1317876 HAS SOUS 723508 HAS SOUPS 723508 WITH SCORE 724825.876
AT ITER 3019 NEW BEST:: SOT 2265519 SOS 1318272 HAS SOPS 1318272 HAS SOUS 721868 HAS SOUPS 721868 WITH SCORE 723186.272
AT ITER 3034 NEW BEST:: SOT 2265487 SOS 1318208 HAS SOPS 1318208 HAS SOUS 721804 HAS SOUPS 721804 WITH SCORE 723122.208
AT ITER 3042 NEW BEST:: SOT 2265271 SOS 1317044 HAS SOPS 1317044 HAS SOUS 721133 HAS SOUPS 721133 WITH SCORE 722450.044
AT ITER 3083 NEW BEST:: SOT 2265136 SOS 1316909 HAS SOPS 1316909 HAS SOUS 720863 HAS SOUPS 720863 WITH SCORE 722179.909
AT ITER 3084 NEW BEST:: SOT 2265119 SOS 1316892 HAS SOPS 1316892 HAS SOUS 720818 HAS SOUPS 720818 WITH SCORE 722134.892
AT ITER 3101 NEW BEST:: SOT 2264641 SOS 1316414 HAS SOPS 1316414 HAS SOUS 720587 HAS SOUPS 720587 WITH SCORE 721903.414
AT ITER 3106 NEW BEST:: SOT 2261659 SOS 1313420 HAS SOPS 1313420 HAS SOUS 717592 HAS SOUPS 717592 WITH SCORE 718905.42
AT ITER 3133 NEW BEST:: SOT 2261867 SOS 1312361 HAS SOPS 1312361 HAS SOUS 717537 HAS SOUPS 717537 WITH SCORE 718849.361
AT ITER 3145 NEW BEST:: SOT 2261857 SOS 1312351 HAS SOPS 1312351 HAS SOUS 717517 HAS SOUPS 717517 WITH SCORE 718829.351
AT ITER 3150 NEW BEST:: SOT 2261857 SOS 1308786 HAS SOPS 1308786 HAS SOUS 717517 HAS SOUPS 717517 WITH SCORE 718825.786
AT ITER 3157 NEW BEST:: SOT 2261857 SOS 1308598 HAS SOPS 1308598 HAS SOUS 717512 HAS SOUPS 717512 WITH SCORE 718820.598
AT ITER 3180 NEW BEST:: SOT 2257536 SOS 1304277 HAS SOPS 1304277 HAS SOUS 713190 HAS SOUPS 713190 WITH SCORE 714494.277
AT ITER 3181 NEW BEST:: SOT 2256813 SOS 1304364 HAS SOPS 1304364 HAS SOUS 712317 HAS SOUPS 712317 WITH SCORE 713621.364
AT ITER 3189 NEW BEST:: SOT 2256746 SOS 1304163 HAS SOPS 1304163 HAS SOUS 712116 HAS SOUPS 712116 WITH SCORE 713420.163
AT ITER 3191 NEW BEST:: SOT 2256665 SOS 1303896 HAS SOPS 1303896 HAS SOUS 711849 HAS SOUPS 711849 WITH SCORE 713152.896
AT ITER 3199 NEW BEST:: SOT 2256651 SOS 1305556 HAS SOPS 1305556 HAS SOUS 711821 HAS SOUPS 711821 WITH SCORE 713126.556
AT ITER 3200 NEW BEST:: SOT 2250273 SOS 1300296 HAS SOPS 1300296 HAS SOUS 704480 HAS SOUPS 704480 WITH SCORE 705780.296
AT ITER 3203 NEW BEST:: SOT 2250206 SOS 1300229 HAS SOPS 1300229 HAS SOUS 704413 HAS SOUPS 704413 WITH SCORE 705713.229
AT ITER 3207 NEW BEST:: SOT 2250072 SOS 1299758 HAS SOPS 1299758 HAS SOUS 703942 HAS SOUPS 703942 WITH SCORE 705241.758
AT ITER 3209 NEW BEST:: SOT 2249473 SOS 1299159 HAS SOPS 1299159 HAS SOUS 703333 HAS SOUPS 703333 WITH SCORE 704632.159
AT ITER 3221 NEW BEST:: SOT 2249471 SOS 1299157 HAS SOPS 1299157 HAS SOUS 703331 HAS SOUPS 703331 WITH SCORE 704630.157
AT ITER 3233 NEW BEST:: SOT 2249471 SOS 1299066 HAS SOPS 1299066 HAS SOUS 703247 HAS SOUPS 703247 WITH SCORE 704546.066
AT ITER 3240 NEW BEST:: SOT 2249471 SOS 1299018 HAS SOPS 1299018 HAS SOUS 703199 HAS SOUPS 703199 WITH SCORE 704498.018
AT ITER 3242 NEW BEST:: SOT 2249385 SOS 1298889 HAS SOPS 1298889 HAS SOUS 703032 HAS SOUPS 703032 WITH SCORE 704330.889
AT ITER 3244 NEW BEST:: SOT 2249327 SOS 1298227 HAS SOPS 1298227 HAS SOUS 702478 HAS SOUPS 702478 WITH SCORE 703776.227
AT ITER 3273 NEW BEST:: SOT 2249331 SOS 1298223 HAS SOPS 1298223 HAS SOUS 702474 HAS SOUPS 702474 WITH SCORE 703772.223
AT ITER 3283 NEW BEST:: SOT 2247955 SOS 1296974 HAS SOPS 1296974 HAS SOUS 701165 HAS SOUPS 701165 WITH SCORE 702461.974
AT ITER 3293 NEW BEST:: SOT 2247457 SOS 1295559 HAS SOPS 1295559 HAS SOUS 700190 HAS SOUPS 700190 WITH SCORE 701485.559
AT ITER 3295 NEW BEST:: SOT 2229359 SOS 1276581 HAS SOPS 1276581 HAS SOUS 680759 HAS SOUPS 680759 WITH SCORE 682035.581
AT ITER 3298 NEW BEST:: SOT 2229242 SOS 1276456 HAS SOPS 1276456 HAS SOUS 680634 HAS SOUPS 680634 WITH SCORE 681910.456
AT ITER 3299 NEW BEST:: SOT 2218807 SOS 1265992 HAS SOPS 1265992 HAS SOUS 670096 HAS SOUPS 670096 WITH SCORE 671361.992
AT ITER 3308 NEW BEST:: SOT 2218776 SOS 1265961 HAS SOPS 1265961 HAS SOUS 670076 HAS SOUPS 670076 WITH SCORE 671341.961
AT ITER 3319 NEW BEST:: SOT 2218548 SOS 1265619 HAS SOPS 1265619 HAS SOUS 669734 HAS SOUPS 669734 WITH SCORE 670999.619
AT ITER 3337 NEW BEST:: SOT 2218545 SOS 1265365 HAS SOPS 1265365 HAS SOUS 669728 HAS SOUPS 669728 WITH SCORE 670993.365
AT ITER 3345 NEW BEST:: SOT 2218142 SOS 1261149 HAS SOPS 1261149 HAS SOUS 669462 HAS SOUPS 669462 WITH SCORE 670723.149
AT ITER 3346 NEW BEST:: SOT 2217478 SOS 1258646 HAS SOPS 1258646 HAS SOUS 669169 HAS SOUPS 669169 WITH SCORE 670427.646
AT ITER 3370 NEW BEST:: SOT 2217673 SOS 1258381 HAS SOPS 1258381 HAS SOUS 668782 HAS SOUPS 668782 WITH SCORE 670040.381
AT ITER 3390 NEW BEST:: SOT 2217672 SOS 1258380 HAS SOPS 1258380 HAS SOUS 668780 HAS SOUPS 668780 WITH SCORE 670038.38
AT ITER 3397 NEW BEST:: SOT 2217574 SOS 1258282 HAS SOPS 1258282 HAS SOUS 668682 HAS SOUPS 668682 WITH SCORE 669940.282
AT ITER 3427 NEW BEST:: SOT 2217217 SOS 1258080 HAS SOPS 1258080 HAS SOUS 668035 HAS SOUPS 668035 WITH SCORE 669293.08
AT ITER 3432 NEW BEST:: SOT 2217254 SOS 1258020 HAS SOPS 1258020 HAS SOUS 667975 HAS SOUPS 667975 WITH SCORE 669233.02
AT ITER 3440 NEW BEST:: SOT 2217253 SOS 1257869 HAS SOPS 1257869 HAS SOUS 667973 HAS SOUPS 667973 WITH SCORE 669230.869
AT ITER 3442 NEW BEST:: SOT 2217253 SOS 1257867 HAS SOPS 1257867 HAS SOUS 667973 HAS SOUPS 667973 WITH SCORE 669230.867
AT ITER 3446 NEW BEST:: SOT 2216679 SOS 1256480 HAS SOPS 1256480 HAS SOUS 666430 HAS SOUPS 666430 WITH SCORE 667686.48
AT ITER 3461 NEW BEST:: SOT 2216632 SOS 1256480 HAS SOPS 1256480 HAS SOUS 666383 HAS SOUPS 666383 WITH SCORE 667639.48
AT ITER 3506 NEW BEST:: SOT 2216627 SOS 1256679 HAS SOPS 1256679 HAS SOUS 666356 HAS SOUPS 666356 WITH SCORE 667612.679
AT ITER 3530 NEW BEST:: SOT 2216627 SOS 1257239 HAS SOPS 1257239 HAS SOUS 666163 HAS SOUPS 666163 WITH SCORE 667420.239
AT ITER 3546 NEW BEST:: SOT 2215236 SOS 1256908 HAS SOPS 1256908 HAS SOUS 664660 HAS SOUPS 664660 WITH SCORE 665916.908
AT ITER 3548 NEW BEST:: SOT 2215236 SOS 1256896 HAS SOPS 1256896 HAS SOUS 664648 HAS SOUPS 664648 WITH SCORE 665904.896
AT ITER 3567 NEW BEST:: SOT 2214960 SOS 1256620 HAS SOPS 1256620 HAS SOUS 664337 HAS SOUPS 664337 WITH SCORE 665593.62
AT ITER 3574 NEW BEST:: SOT 2214960 SOS 1256138 HAS SOPS 1256138 HAS SOUS 664096 HAS SOUPS 664096 WITH SCORE 665352.138
AT ITER 3594 NEW BEST:: SOT 2214827 SOS 1255998 HAS SOPS 1255998 HAS SOUS 663956 HAS SOUPS 663956 WITH SCORE 665211.998
AT ITER 3601 NEW BEST:: SOT 2214778 SOS 1255900 HAS SOPS 1255900 HAS SOUS 663948 HAS SOUPS 663948 WITH SCORE 665203.9
AT ITER 3602 NEW BEST:: SOT 2214554 SOS 1255676 HAS SOPS 1255676 HAS SOUS 663724 HAS SOUPS 663724 WITH SCORE 664979.676
AT ITER 3614 NEW BEST:: SOT 2214539 SOS 1255457 HAS SOPS 1255457 HAS SOUS 663711 HAS SOUPS 663711 WITH SCORE 664966.457
AT ITER 3620 NEW BEST:: SOT 2214127 SOS 1255134 HAS SOPS 1255134 HAS SOUS 662812 HAS SOUPS 662812 WITH SCORE 664067.134
AT ITER 3646 NEW BEST:: SOT 2214000 SOS 1255007 HAS SOPS 1255007 HAS SOUS 662675 HAS SOUPS 662675 WITH SCORE 663930.007
AT ITER 3647 NEW BEST:: SOT 2213055 SOS 1254062 HAS SOPS 1254062 HAS SOUS 661231 HAS SOUPS 661231 WITH SCORE 662485.062
AT ITER 3650 NEW BEST:: SOT 2213003 SOS 1253964 HAS SOPS 1253964 HAS SOUS 661133 HAS SOUPS 661133 WITH SCORE 662386.964
AT ITER 3656 NEW BEST:: SOT 2212951 SOS 1252986 HAS SOPS 1252986 HAS SOUS 660032 HAS SOUPS 660032 WITH SCORE 661284.986
AT ITER 3692 NEW BEST:: SOT 2210988 SOS 1249739 HAS SOPS 1249739 HAS SOUS 656785 HAS SOUPS 656785 WITH SCORE 658034.739
AT ITER 3700 NEW BEST:: SOT 2211342 SOS 1248946 HAS SOPS 1248946 HAS SOUS 656715 HAS SOUPS 656715 WITH SCORE 657963.946
AT ITER 3711 NEW BEST:: SOT 2210793 SOS 1248397 HAS SOPS 1248397 HAS SOUS 656165 HAS SOUPS 656165 WITH SCORE 657413.397
AT ITER 3739 NEW BEST:: SOT 2210712 SOS 1248190 HAS SOPS 1248190 HAS SOUS 655957 HAS SOUPS 655957 WITH SCORE 657205.19
AT ITER 3763 NEW BEST:: SOT 2210794 SOS 1248148 HAS SOPS 1248148 HAS SOUS 655818 HAS SOUPS 655818 WITH SCORE 657066.148
AT ITER 3766 NEW BEST:: SOT 2210987 SOS 1249182 HAS SOPS 1249182 HAS SOUS 655386 HAS SOUPS 655386 WITH SCORE 656635.182
AT ITER 3768 NEW BEST:: SOT 2210865 SOS 1249060 HAS SOPS 1249060 HAS SOUS 655142 HAS SOUPS 655142 WITH SCORE 656391.06
AT ITER 3779 NEW BEST:: SOT 2211087 SOS 1249205 HAS SOPS 1249205 HAS SOUS 655075 HAS SOUPS 655075 WITH SCORE 656324.205
AT ITER 3780 NEW BEST:: SOT 2207756 SOS 1245874 HAS SOPS 1245874 HAS SOUS 651744 HAS SOUPS 651744 WITH SCORE 652989.874
AT ITER 3795 NEW BEST:: SOT 2207598 SOS 1244972 HAS SOPS 1244972 HAS SOUS 651586 HAS SOUPS 651586 WITH SCORE 652830.972
AT ITER 3809 NEW BEST:: SOT 2199164 SOS 1238610 HAS SOPS 1238610 HAS SOUS 642896 HAS SOUPS 642896 WITH SCORE 644134.61
AT ITER 3817 NEW BEST:: SOT 2199073 SOS 1238580 HAS SOPS 1238580 HAS SOUS 642866 HAS SOUPS 642866 WITH SCORE 644104.58
AT ITER 3824 NEW BEST:: SOT 2199021 SOS 1238372 HAS SOPS 1238372 HAS SOUS 642762 HAS SOUPS 642762 WITH SCORE 644000.372
AT ITER 3829 NEW BEST:: SOT 2197890 SOS 1237218 HAS SOPS 1237218 HAS SOUS 641608 HAS SOUPS 641608 WITH SCORE 642845.218
AT ITER 3837 NEW BEST:: SOT 2197731 SOS 1236937 HAS SOPS 1236937 HAS SOUS 641287 HAS SOUPS 641287 WITH SCORE 642523.937
AT ITER 3850 NEW BEST:: SOT 2197731 SOS 1236929 HAS SOPS 1236929 HAS SOUS 641279 HAS SOUPS 641279 WITH SCORE 642515.929
AT ITER 3864 NEW BEST:: SOT 2197676 SOS 1236607 HAS SOPS 1236607 HAS SOUS 641169 HAS SOUPS 641169 WITH SCORE 642405.607
AT ITER 3865 NEW BEST:: SOT 2197960 SOS 1236891 HAS SOPS 1236891 HAS SOUS 640986 HAS SOUPS 640986 WITH SCORE 642222.891
AT ITER 3878 NEW BEST:: SOT 2197699 SOS 1236630 HAS SOPS 1236630 HAS SOUS 640861 HAS SOUPS 640861 WITH SCORE 642097.63
AT ITER 3879 NEW BEST:: SOT 2197687 SOS 1236612 HAS SOPS 1236612 HAS SOUS 640837 HAS SOUPS 640837 WITH SCORE 642073.612
AT ITER 3881 NEW BEST:: SOT 2197687 SOS 1236608 HAS SOPS 1236608 HAS SOUS 640837 HAS SOUPS 640837 WITH SCORE 642073.608
AT ITER 3883 NEW BEST:: SOT 2197643 SOS 1236383 HAS SOPS 1236383 HAS SOUS 640793 HAS SOUPS 640793 WITH SCORE 642029.383
AT ITER 3886 NEW BEST:: SOT 2197239 SOS 1235020 HAS SOPS 1235020 HAS SOUS 639985 HAS SOUPS 639985 WITH SCORE 641220.02
AT ITER 3890 NEW BEST:: SOT 2197146 SOS 1234834 HAS SOPS 1234834 HAS SOUS 639873 HAS SOUPS 639873 WITH SCORE 641107.834
AT ITER 3902 NEW BEST:: SOT 2197146 SOS 1234576 HAS SOPS 1234576 HAS SOUS 639859 HAS SOUPS 639859 WITH SCORE 641093.576
AT ITER 3907 NEW BEST:: SOT 2197146 SOS 1234576 HAS SOPS 1234576 HAS SOUS 639813 HAS SOUPS 639813 WITH SCORE 641047.576
AT ITER 3909 NEW BEST:: SOT 2196602 SOS 1234032 HAS SOPS 1234032 HAS SOUS 639442 HAS SOUPS 639442 WITH SCORE 640676.032
AT ITER 3919 NEW BEST:: SOT 2196602 SOS 1234000 HAS SOPS 1234000 HAS SOUS 639441 HAS SOUPS 639441 WITH SCORE 640675.0
AT ITER 3926 NEW BEST:: SOT 2196585 SOS 1233983 HAS SOPS 1233983 HAS SOUS 639423 HAS SOUPS 639423 WITH SCORE 640656.983
AT ITER 3927 NEW BEST:: SOT 2196469 SOS 1233809 HAS SOPS 1233809 HAS SOUS 639249 HAS SOUPS 639249 WITH SCORE 640482.809
AT ITER 3931 NEW BEST:: SOT 2196184 SOS 1233524 HAS SOPS 1233524 HAS SOUS 639032 HAS SOUPS 639032 WITH SCORE 640265.524
AT ITER 3932 NEW BEST:: SOT 2195906 SOS 1233246 HAS SOPS 1233246 HAS SOUS 638754 HAS SOUPS 638754 WITH SCORE 639987.246
AT ITER 3965 NEW BEST:: SOT 2195661 SOS 1232819 HAS SOPS 1232819 HAS SOUS 638508 HAS SOUPS 638508 WITH SCORE 639740.819
AT ITER 3973 NEW BEST:: SOT 2195661 SOS 1232585 HAS SOPS 1232585 HAS SOUS 638274 HAS SOUPS 638274 WITH SCORE 639506.585
AT ITER 3985 NEW BEST:: SOT 2195875 SOS 1232799 HAS SOPS 1232799 HAS SOUS 638147 HAS SOUPS 638147 WITH SCORE 639379.799
AT ITER 3995 NEW BEST:: SOT 2195391 SOS 1232220 HAS SOPS 1232220 HAS SOUS 637179 HAS SOUPS 637179 WITH SCORE 638411.22
AT ITER 3998 NEW BEST:: SOT 2193334 SOS 1230205 HAS SOPS 1230205 HAS SOUS 635164 HAS SOUPS 635164 WITH SCORE 636394.205
AT ITER 4006 NEW BEST:: SOT 2193325 SOS 1230312 HAS SOPS 1230312 HAS SOUS 635159 HAS SOUPS 635159 WITH SCORE 636389.312
AT ITER 4027 NEW BEST:: SOT 2188230 SOS 1225217 HAS SOPS 1225217 HAS SOUS 630062 HAS SOUPS 630062 WITH SCORE 631287.217
AT ITER 4039 NEW BEST:: SOT 2184228 SOS 1220894 HAS SOPS 1220894 HAS SOUS 624270 HAS SOUPS 624270 WITH SCORE 625490.894
AT ITER 4054 NEW BEST:: SOT 2183859 SOS 1220553 HAS SOPS 1220553 HAS SOUS 623956 HAS SOUPS 623956 WITH SCORE 625176.553
AT ITER 4065 NEW BEST:: SOT 2183615 SOS 1220207 HAS SOPS 1220207 HAS SOUS 623767 HAS SOUPS 623767 WITH SCORE 624987.207
AT ITER 4082 NEW BEST:: SOT 2183492 SOS 1220084 HAS SOPS 1220084 HAS SOUS 623573 HAS SOUPS 623573 WITH SCORE 624793.084
AT ITER 4093 NEW BEST:: SOT 2183719 SOS 1219445 HAS SOPS 1219445 HAS SOUS 623002 HAS SOUPS 623002 WITH SCORE 624221.445
AT ITER 4104 NEW BEST:: SOT 2183716 SOS 1219442 HAS SOPS 1219442 HAS SOUS 623002 HAS SOUPS 623002 WITH SCORE 624221.442
AT ITER 4105 NEW BEST:: SOT 2183687 SOS 1219197 HAS SOPS 1219197 HAS SOUS 622838 HAS SOUPS 622838 WITH SCORE 624057.197
AT ITER 4118 NEW BEST:: SOT 2183654 SOS 1219164 HAS SOPS 1219164 HAS SOUS 622805 HAS SOUPS 622805 WITH SCORE 624024.164
AT ITER 4119 NEW BEST:: SOT 2183453 SOS 1208475 HAS SOPS 1208475 HAS SOUS 622206 HAS SOUPS 622206 WITH SCORE 623414.475
AT ITER 4144 NEW BEST:: SOT 2183449 SOS 1208471 HAS SOPS 1208471 HAS SOUS 622202 HAS SOUPS 622202 WITH SCORE 623410.471
AT ITER 4176 NEW BEST:: SOT 2183381 SOS 1208403 HAS SOPS 1208403 HAS SOUS 622133 HAS SOUPS 622133 WITH SCORE 623341.403
AT ITER 4182 NEW BEST:: SOT 2183203 SOS 1208225 HAS SOPS 1208225 HAS SOUS 621955 HAS SOUPS 621955 WITH SCORE 623163.225
AT ITER 4191 NEW BEST:: SOT 2183589 SOS 1208611 HAS SOPS 1208611 HAS SOUS 621635 HAS SOUPS 621635 WITH SCORE 622843.611
AT ITER 4204 NEW BEST:: SOT 2183548 SOS 1208570 HAS SOPS 1208570 HAS SOUS 621547 HAS SOUPS 621547 WITH SCORE 622755.57
AT ITER 4207 NEW BEST:: SOT 2183494 SOS 1208408 HAS SOPS 1208408 HAS SOUS 621426 HAS SOUPS 621426 WITH SCORE 622634.408
AT ITER 4230 NEW BEST:: SOT 2183483 SOS 1208397 HAS SOPS 1208397 HAS SOUS 621415 HAS SOUPS 621415 WITH SCORE 622623.397
AT ITER 4231 NEW BEST:: SOT 2182728 SOS 1207642 HAS SOPS 1207642 HAS SOUS 620659 HAS SOUPS 620659 WITH SCORE 621866.642
AT ITER 4247 NEW BEST:: SOT 2182629 SOS 1207569 HAS SOPS 1207569 HAS SOUS 620579 HAS SOUPS 620579 WITH SCORE 621786.569
AT ITER 4272 NEW BEST:: SOT 2181983 SOS 1206923 HAS SOPS 1206923 HAS SOUS 620010 HAS SOUPS 620010 WITH SCORE 621216.923
AT ITER 4281 NEW BEST:: SOT 2181983 SOS 1206896 HAS SOPS 1206896 HAS SOUS 620010 HAS SOUPS 620010 WITH SCORE 621216.896
AT ITER 4293 NEW BEST:: SOT 2182051 SOS 1206851 HAS SOPS 1206851 HAS SOUS 619966 HAS SOUPS 619966 WITH SCORE 621172.851
AT ITER 4300 NEW BEST:: SOT 2182051 SOS 1206780 HAS SOPS 1206780 HAS SOUS 619966 HAS SOUPS 619966 WITH SCORE 621172.78
AT ITER 4312 NEW BEST:: SOT 2180543 SOS 1201204 HAS SOPS 1201204 HAS SOUS 619192 HAS SOUPS 619192 WITH SCORE 620393.204
AT ITER 4317 NEW BEST:: SOT 2179936 SOS 1199989 HAS SOPS 1199989 HAS SOUS 618430 HAS SOUPS 618430 WITH SCORE 619629.989
AT ITER 4318 NEW BEST:: SOT 2179866 SOS 1198563 HAS SOPS 1198563 HAS SOUS 618194 HAS SOUPS 618194 WITH SCORE 619392.563
AT ITER 4319 NEW BEST:: SOT 2179866 SOS 1197579 HAS SOPS 1197579 HAS SOUS 617918 HAS SOUPS 617918 WITH SCORE 619115.579
AT ITER 4328 NEW BEST:: SOT 2179784 SOS 1197497 HAS SOPS 1197497 HAS SOUS 617836 HAS SOUPS 617836 WITH SCORE 619033.497
AT ITER 4339 NEW BEST:: SOT 2179691 SOS 1197473 HAS SOPS 1197473 HAS SOUS 617812 HAS SOUPS 617812 WITH SCORE 619009.473
AT ITER 4350 NEW BEST:: SOT 2179658 SOS 1197440 HAS SOPS 1197440 HAS SOUS 617779 HAS SOUPS 617779 WITH SCORE 618976.44
AT ITER 4378 NEW BEST:: SOT 2179327 SOS 1196736 HAS SOPS 1196736 HAS SOUS 617448 HAS SOUPS 617448 WITH SCORE 618644.736
AT ITER 4381 NEW BEST:: SOT 2179044 SOS 1196482 HAS SOPS 1196482 HAS SOUS 617194 HAS SOUPS 617194 WITH SCORE 618390.482
AT ITER 4382 NEW BEST:: SOT 2178992 SOS 1196430 HAS SOPS 1196430 HAS SOUS 617142 HAS SOUPS 617142 WITH SCORE 618338.43
AT ITER 4385 NEW BEST:: SOT 2177453 SOS 1197292 HAS SOPS 1197292 HAS SOUS 615946 HAS SOUPS 615946 WITH SCORE 617143.292
AT ITER 4412 NEW BEST:: SOT 2177402 SOS 1197190 HAS SOPS 1197190 HAS SOUS 615931 HAS SOUPS 615931 WITH SCORE 617128.19
AT ITER 4415 NEW BEST:: SOT 2177068 SOS 1195781 HAS SOPS 1195781 HAS SOUS 614920 HAS SOUPS 614920 WITH SCORE 616115.781
AT ITER 4417 NEW BEST:: SOT 2176806 SOS 1195519 HAS SOPS 1195519 HAS SOUS 614658 HAS SOUPS 614658 WITH SCORE 615853.519
AT ITER 4430 NEW BEST:: SOT 2176751 SOS 1195409 HAS SOPS 1195409 HAS SOUS 614548 HAS SOUPS 614548 WITH SCORE 615743.409
AT ITER 4442 NEW BEST:: SOT 2176408 SOS 1195327 HAS SOPS 1195327 HAS SOUS 614142 HAS SOUPS 614142 WITH SCORE 615337.327
AT ITER 4443 NEW BEST:: SOT 2176650 SOS 1195185 HAS SOPS 1195185 HAS SOUS 614022 HAS SOUPS 614022 WITH SCORE 615217.185
AT ITER 4454 NEW BEST:: SOT 2176553 SOS 1195105 HAS SOPS 1195105 HAS SOUS 614021 HAS SOUPS 614021 WITH SCORE 615216.105
AT ITER 4457 NEW BEST:: SOT 2176543 SOS 1195095 HAS SOPS 1195095 HAS SOUS 614011 HAS SOUPS 614011 WITH SCORE 615206.095
AT ITER 4466 NEW BEST:: SOT 2176227 SOS 1194462 HAS SOPS 1194462 HAS SOUS 613262 HAS SOUPS 613262 WITH SCORE 614456.462
AT ITER 4486 NEW BEST:: SOT 2176387 SOS 1194301 HAS SOPS 1194301 HAS SOUS 612890 HAS SOUPS 612890 WITH SCORE 614084.301
AT ITER 4493 NEW BEST:: SOT 2175858 SOS 1192932 HAS SOPS 1192932 HAS SOUS 611521 HAS SOUPS 611521 WITH SCORE 612713.932
AT ITER 4495 NEW BEST:: SOT 2175783 SOS 1192835 HAS SOPS 1192835 HAS SOUS 611477 HAS SOUPS 611477 WITH SCORE 612669.835
AT ITER 4496 NEW BEST:: SOT 2175525 SOS 1192598 HAS SOPS 1192598 HAS SOUS 611219 HAS SOUPS 611219 WITH SCORE 612411.598
AT ITER 4506 NEW BEST:: SOT 2175513 SOS 1192584 HAS SOPS 1192584 HAS SOUS 611205 HAS SOUPS 611205 WITH SCORE 612397.584
AT ITER 4522 NEW BEST:: SOT 2175472 SOS 1192543 HAS SOPS 1192543 HAS SOUS 611156 HAS SOUPS 611156 WITH SCORE 612348.543
AT ITER 4524 NEW BEST:: SOT 2175438 SOS 1191938 HAS SOPS 1191938 HAS SOUS 611112 HAS SOUPS 611112 WITH SCORE 612303.938
AT ITER 4530 NEW BEST:: SOT 2175438 SOS 1191809 HAS SOPS 1191809 HAS SOUS 611112 HAS SOUPS 611112 WITH SCORE 612303.809
AT ITER 4542 NEW BEST:: SOT 2175860 SOS 1192653 HAS SOPS 1192653 HAS SOUS 610936 HAS SOUPS 610936 WITH SCORE 612128.653
AT ITER 4545 NEW BEST:: SOT 2177546 SOS 1192582 HAS SOPS 1192582 HAS SOUS 610364 HAS SOUPS 610364 WITH SCORE 611556.582
AT ITER 4546 NEW BEST:: SOT 2177534 SOS 1192558 HAS SOPS 1192558 HAS SOUS 610340 HAS SOUPS 610340 WITH SCORE 611532.558
AT ITER 4554 NEW BEST:: SOT 2177601 SOS 1192531 HAS SOPS 1192531 HAS SOUS 610313 HAS SOUPS 610313 WITH SCORE 611505.531
AT ITER 4559 NEW BEST:: SOT 2177478 SOS 1192063 HAS SOPS 1192063 HAS SOUS 609845 HAS SOUPS 609845 WITH SCORE 611037.063
AT ITER 4567 NEW BEST:: SOT 2176830 SOS 1190593 HAS SOPS 1190593 HAS SOUS 608375 HAS SOUPS 608375 WITH SCORE 609565.593
AT ITER 4569 NEW BEST:: SOT 2176605 SOS 1190143 HAS SOPS 1190143 HAS SOUS 607925 HAS SOUPS 607925 WITH SCORE 609115.143
AT ITER 4599 NEW BEST:: SOT 2176556 SOS 1189898 HAS SOPS 1189898 HAS SOUS 607812 HAS SOUPS 607812 WITH SCORE 609001.898
AT ITER 4624 NEW BEST:: SOT 2176359 SOS 1190007 HAS SOPS 1190007 HAS SOUS 607615 HAS SOUPS 607615 WITH SCORE 608805.007
AT ITER 4625 NEW BEST:: SOT 2176350 SOS 1189949 HAS SOPS 1189949 HAS SOUS 607557 HAS SOUPS 607557 WITH SCORE 608746.949
AT ITER 4667 NEW BEST:: SOT 2176349 SOS 1189700 HAS SOPS 1189700 HAS SOUS 607555 HAS SOUPS 607555 WITH SCORE 608744.7
AT ITER 4678 NEW BEST:: SOT 2176464 SOS 1189110 HAS SOPS 1189110 HAS SOUS 607434 HAS SOUPS 607434 WITH SCORE 608623.11
AT ITER 4690 NEW BEST:: SOT 2175699 SOS 1188215 HAS SOPS 1188215 HAS SOUS 607273 HAS SOUPS 607273 WITH SCORE 608461.215
AT ITER 4693 NEW BEST:: SOT 2175602 SOS 1187125 HAS SOPS 1187125 HAS SOUS 607252 HAS SOUPS 607252 WITH SCORE 608439.125
AT ITER 4701 NEW BEST:: SOT 2175719 SOS 1186319 HAS SOPS 1186319 HAS SOUS 607240 HAS SOUPS 607240 WITH SCORE 608426.319
AT ITER 4702 NEW BEST:: SOT 2175719 SOS 1186319 HAS SOPS 1186319 HAS SOUS 607216 HAS SOUPS 607216 WITH SCORE 608402.319
AT ITER 4711 NEW BEST:: SOT 2175641 SOS 1186241 HAS SOPS 1186241 HAS SOUS 607112 HAS SOUPS 607112 WITH SCORE 608298.241
AT ITER 4718 NEW BEST:: SOT 2174828 SOS 1185440 HAS SOPS 1185440 HAS SOUS 606762 HAS SOUPS 606762 WITH SCORE 607947.44
AT ITER 4725 NEW BEST:: SOT 2174644 SOS 1185256 HAS SOPS 1185256 HAS SOUS 606666 HAS SOUPS 606666 WITH SCORE 607851.256
AT ITER 4733 NEW BEST:: SOT 2173530 SOS 1184142 HAS SOPS 1184142 HAS SOUS 605552 HAS SOUPS 605552 WITH SCORE 606736.142
AT ITER 4741 NEW BEST:: SOT 2173530 SOS 1183976 HAS SOPS 1183976 HAS SOUS 605386 HAS SOUPS 605386 WITH SCORE 606569.976
AT ITER 4742 NEW BEST:: SOT 2173248 SOS 1182731 HAS SOPS 1182731 HAS SOUS 604141 HAS SOUPS 604141 WITH SCORE 605323.731
AT ITER 4771 NEW BEST:: SOT 2173098 SOS 1182713 HAS SOPS 1182713 HAS SOUS 604116 HAS SOUPS 604116 WITH SCORE 605298.713
AT ITER 4776 NEW BEST:: SOT 2172496 SOS 1181449 HAS SOPS 1181449 HAS SOUS 602639 HAS SOUPS 602639 WITH SCORE 603820.449
AT ITER 4798 NEW BEST:: SOT 2172387 SOS 1181839 HAS SOPS 1181839 HAS SOUS 602456 HAS SOUPS 602456 WITH SCORE 603637.839
AT ITER 4800 NEW BEST:: SOT 2170919 SOS 1180926 HAS SOPS 1180926 HAS SOUS 600988 HAS SOUPS 600988 WITH SCORE 602168.926
AT ITER 4806 NEW BEST:: SOT 2170451 SOS 1179908 HAS SOPS 1179908 HAS SOUS 600553 HAS SOUPS 600553 WITH SCORE 601732.908
AT ITER 4808 NEW BEST:: SOT 2170450 SOS 1179907 HAS SOPS 1179907 HAS SOUS 600552 HAS SOUPS 600552 WITH SCORE 601731.907
AT ITER 4812 NEW BEST:: SOT 2170312 SOS 1179420 HAS SOPS 1179420 HAS SOUS 600277 HAS SOUPS 600277 WITH SCORE 601456.42
AT ITER 4837 NEW BEST:: SOT 2170238 SOS 1179470 HAS SOPS 1179470 HAS SOUS 600138 HAS SOUPS 600138 WITH SCORE 601317.47
AT ITER 4854 NEW BEST:: SOT 2169645 SOS 1178783 HAS SOPS 1178783 HAS SOUS 599451 HAS SOUPS 599451 WITH SCORE 600629.783
AT ITER 4919 NEW BEST:: SOT 2169259 SOS 1177424 HAS SOPS 1177424 HAS SOUS 598679 HAS SOUPS 598679 WITH SCORE 599856.424
AT ITER 4923 NEW BEST:: SOT 2169004 SOS 1176932 HAS SOPS 1176932 HAS SOUS 598187 HAS SOUPS 598187 WITH SCORE 599363.932
AT ITER 4932 NEW BEST:: SOT 2169071 SOS 1176720 HAS SOPS 1176720 HAS SOUS 597975 HAS SOUPS 597975 WITH SCORE 599151.72
AT ITER 4936 NEW BEST:: SOT 2169071 SOS 1175512 HAS SOPS 1175512 HAS SOUS 597785 HAS SOUPS 597785 WITH SCORE 598960.512
AT ITER 4952 NEW BEST:: SOT 2169124 SOS 1175701 HAS SOPS 1175701 HAS SOUS 597535 HAS SOUPS 597535 WITH SCORE 598710.701
AT ITER 4968 NEW BEST:: SOT 2169124 SOS 1174248 HAS SOPS 1174248 HAS SOUS 597534 HAS SOUPS 597534 WITH SCORE 598708.248
AT ITER 4977 NEW BEST:: SOT 2168949 SOS 1173898 HAS SOPS 1173898 HAS SOUS 597009 HAS SOUPS 597009 WITH SCORE 598182.898
AT ITER 4987 NEW BEST:: SOT 2168998 SOS 1173818 HAS SOPS 1173818 HAS SOUS 596671 HAS SOUPS 596671 WITH SCORE 597844.818
AT ITER 4997 NEW BEST:: SOT 2168854 SOS 1173638 HAS SOPS 1173638 HAS SOUS 596509 HAS SOUPS 596509 WITH SCORE 597682.638
AT ITER 5008 NEW BEST:: SOT 2168824 SOS 1176698 HAS SOPS 1176698 HAS SOUS 596449 HAS SOUPS 596449 WITH SCORE 597625.698
AT ITER 5011 NEW BEST:: SOT 2168844 SOS 1176555 HAS SOPS 1176555 HAS SOUS 596306 HAS SOUPS 596306 WITH SCORE 597482.555
AT ITER 5016 NEW BEST:: SOT 2168755 SOS 1176466 HAS SOPS 1176466 HAS SOUS 596209 HAS SOUPS 596209 WITH SCORE 597385.466
AT ITER 5023 NEW BEST:: SOT 2168591 SOS 1176302 HAS SOPS 1176302 HAS SOUS 596085 HAS SOUPS 596085 WITH SCORE 597261.302
AT ITER 5031 NEW BEST:: SOT 2168491 SOS 1176202 HAS SOPS 1176202 HAS SOUS 595985 HAS SOUPS 595985 WITH SCORE 597161.202
AT ITER 5040 NEW BEST:: SOT 2169169 SOS 1176038 HAS SOPS 1176038 HAS SOUS 595763 HAS SOUPS 595763 WITH SCORE 596939.038
AT ITER 5042 NEW BEST:: SOT 2169169 SOS 1176422 HAS SOPS 1176422 HAS SOUS 595762 HAS SOUPS 595762 WITH SCORE 596938.422
AT ITER 5056 NEW BEST:: SOT 2169046 SOS 1176299 HAS SOPS 1176299 HAS SOUS 595639 HAS SOUPS 595639 WITH SCORE 596815.299
AT ITER 5065 NEW BEST:: SOT 2169046 SOS 1176226 HAS SOPS 1176226 HAS SOUS 595141 HAS SOUPS 595141 WITH SCORE 596317.226
AT ITER 5071 NEW BEST:: SOT 2168922 SOS 1176102 HAS SOPS 1176102 HAS SOUS 594893 HAS SOUPS 594893 WITH SCORE 596069.102
AT ITER 5072 NEW BEST:: SOT 2168760 SOS 1175940 HAS SOPS 1175940 HAS SOUS 594731 HAS SOUPS 594731 WITH SCORE 595906.94
AT ITER 5084 NEW BEST:: SOT 2168760 SOS 1175953 HAS SOPS 1175953 HAS SOUS 594630 HAS SOUPS 594630 WITH SCORE 595805.953
AT ITER 5086 NEW BEST:: SOT 2168572 SOS 1175463 HAS SOPS 1175463 HAS SOUS 594140 HAS SOUPS 594140 WITH SCORE 595315.463
AT ITER 5095 NEW BEST:: SOT 2167413 SOS 1172048 HAS SOPS 1172048 HAS SOUS 590667 HAS SOUPS 590667 WITH SCORE 591839.048
AT ITER 5099 NEW BEST:: SOT 2165925 SOS 1170177 HAS SOPS 1170177 HAS SOUS 588796 HAS SOUPS 588796 WITH SCORE 589966.177
AT ITER 5139 NEW BEST:: SOT 2165677 SOS 1169599 HAS SOPS 1169599 HAS SOUS 588371 HAS SOUPS 588371 WITH SCORE 589540.599
AT ITER 5140 NEW BEST:: SOT 2165467 SOS 1169389 HAS SOPS 1169389 HAS SOUS 588161 HAS SOUPS 588161 WITH SCORE 589330.389
AT ITER 5150 NEW BEST:: SOT 2165002 SOS 1168916 HAS SOPS 1168916 HAS SOUS 588087 HAS SOUPS 588087 WITH SCORE 589255.916
AT ITER 5157 NEW BEST:: SOT 2164048 SOS 1170189 HAS SOPS 1170189 HAS SOUS 587493 HAS SOUPS 587493 WITH SCORE 588663.189
AT ITER 5162 NEW BEST:: SOT 2163779 SOS 1170107 HAS SOPS 1170107 HAS SOUS 586955 HAS SOUPS 586955 WITH SCORE 588125.107
AT ITER 5167 NEW BEST:: SOT 2162616 SOS 1173384 HAS SOPS 1173384 HAS SOUS 586284 HAS SOUPS 586284 WITH SCORE 587457.384
AT ITER 5169 NEW BEST:: SOT 2162092 SOS 1172860 HAS SOPS 1172860 HAS SOUS 585790 HAS SOUPS 585790 WITH SCORE 586962.86
AT ITER 5170 NEW BEST:: SOT 2162090 SOS 1172858 HAS SOPS 1172858 HAS SOUS 585788 HAS SOUPS 585788 WITH SCORE 586960.858
AT ITER 5171 NEW BEST:: SOT 2161852 SOS 1172620 HAS SOPS 1172620 HAS SOUS 585550 HAS SOUPS 585550 WITH SCORE 586722.62
AT ITER 5180 NEW BEST:: SOT 2161816 SOS 1172763 HAS SOPS 1172763 HAS SOUS 585535 HAS SOUPS 585535 WITH SCORE 586707.763
AT ITER 5200 NEW BEST:: SOT 2161571 SOS 1172518 HAS SOPS 1172518 HAS SOUS 585229 HAS SOUPS 585229 WITH SCORE 586401.518
AT ITER 5211 NEW BEST:: SOT 2161475 SOS 1172227 HAS SOPS 1172227 HAS SOUS 585034 HAS SOUPS 585034 WITH SCORE 586206.227
AT ITER 5212 NEW BEST:: SOT 2161475 SOS 1172153 HAS SOPS 1172153 HAS SOUS 584960 HAS SOUPS 584960 WITH SCORE 586132.153
AT ITER 5227 NEW BEST:: SOT 2161370 SOS 1172048 HAS SOPS 1172048 HAS SOUS 584870 HAS SOUPS 584870 WITH SCORE 586042.048
AT ITER 5228 NEW BEST:: SOT 2161637 SOS 1172124 HAS SOPS 1172124 HAS SOUS 584756 HAS SOUPS 584756 WITH SCORE 585928.124
AT ITER 5233 NEW BEST:: SOT 2161391 SOS 1171878 HAS SOPS 1171878 HAS SOUS 584510 HAS SOUPS 584510 WITH SCORE 585681.878
AT ITER 5239 NEW BEST:: SOT 2161390 SOS 1171877 HAS SOPS 1171877 HAS SOUS 584508 HAS SOUPS 584508 WITH SCORE 585679.877
AT ITER 5240 NEW BEST:: SOT 2161350 SOS 1172009 HAS SOPS 1172009 HAS SOUS 584498 HAS SOUPS 584498 WITH SCORE 585670.009
AT ITER 5243 NEW BEST:: SOT 2161349 SOS 1172008 HAS SOPS 1172008 HAS SOUS 584494 HAS SOUPS 584494 WITH SCORE 585666.008
AT ITER 5250 NEW BEST:: SOT 2161349 SOS 1172066 HAS SOPS 1172066 HAS SOUS 584454 HAS SOUPS 584454 WITH SCORE 585626.066
AT ITER 5256 NEW BEST:: SOT 2161349 SOS 1171927 HAS SOPS 1171927 HAS SOUS 584454 HAS SOUPS 584454 WITH SCORE 585625.927
AT ITER 5263 NEW BEST:: SOT 2161323 SOS 1171881 HAS SOPS 1171881 HAS SOUS 584438 HAS SOUPS 584438 WITH SCORE 585609.881
AT ITER 5289 NEW BEST:: SOT 2161137 SOS 1171602 HAS SOPS 1171602 HAS SOUS 584340 HAS SOUPS 584340 WITH SCORE 585511.602
AT ITER 5291 NEW BEST:: SOT 2161028 SOS 1171384 HAS SOPS 1171384 HAS SOUS 584231 HAS SOUPS 584231 WITH SCORE 585402.384
AT ITER 5299 NEW BEST:: SOT 2160811 SOS 1171384 HAS SOPS 1171384 HAS SOUS 583797 HAS SOUPS 583797 WITH SCORE 584968.384
AT ITER 5304 NEW BEST:: SOT 2159972 SOS 1171337 HAS SOPS 1171337 HAS SOUS 582958 HAS SOUPS 582958 WITH SCORE 584129.337
AT ITER 5329 NEW BEST:: SOT 2159952 SOS 1171317 HAS SOPS 1171317 HAS SOUS 582938 HAS SOUPS 582938 WITH SCORE 584109.317
AT ITER 5339 NEW BEST:: SOT 2159952 SOS 1170165 HAS SOPS 1170165 HAS SOUS 582170 HAS SOUPS 582170 WITH SCORE 583340.165
AT ITER 5340 NEW BEST:: SOT 2160051 SOS 1170565 HAS SOPS 1170565 HAS SOUS 582067 HAS SOUPS 582067 WITH SCORE 583237.565
AT ITER 5352 NEW BEST:: SOT 2159541 SOS 1169448 HAS SOPS 1169448 HAS SOUS 581575 HAS SOUPS 581575 WITH SCORE 582744.448
AT ITER 5358 NEW BEST:: SOT 2159541 SOS 1168948 HAS SOPS 1168948 HAS SOUS 581575 HAS SOUPS 581575 WITH SCORE 582743.948
AT ITER 5366 NEW BEST:: SOT 2159337 SOS 1168744 HAS SOPS 1168744 HAS SOUS 581184 HAS SOUPS 581184 WITH SCORE 582352.744
AT ITER 5374 NEW BEST:: SOT 2159474 SOS 1168806 HAS SOPS 1168806 HAS SOUS 581140 HAS SOUPS 581140 WITH SCORE 582308.806
AT ITER 5386 NEW BEST:: SOT 2159047 SOS 1168384 HAS SOPS 1168384 HAS SOUS 580711 HAS SOUPS 580711 WITH SCORE 581879.384
AT ITER 5388 NEW BEST:: SOT 2155312 SOS 1169604 HAS SOPS 1169604 HAS SOUS 576827 HAS SOUPS 576827 WITH SCORE 577996.604
AT ITER 5389 NEW BEST:: SOT 2155311 SOS 1169177 HAS SOPS 1169177 HAS SOUS 576612 HAS SOUPS 576612 WITH SCORE 577781.177
AT ITER 5415 NEW BEST:: SOT 2155276 SOS 1169296 HAS SOPS 1169296 HAS SOUS 576535 HAS SOUPS 576535 WITH SCORE 577704.296
AT ITER 5437 NEW BEST:: SOT 2155089 SOS 1168735 HAS SOPS 1168735 HAS SOUS 575974 HAS SOUPS 575974 WITH SCORE 577142.735
AT ITER 5454 NEW BEST:: SOT 2155015 SOS 1168592 HAS SOPS 1168592 HAS SOUS 575831 HAS SOUPS 575831 WITH SCORE 576999.592
AT ITER 5469 NEW BEST:: SOT 2154863 SOS 1168656 HAS SOPS 1168656 HAS SOUS 575744 HAS SOUPS 575744 WITH SCORE 576912.656
AT ITER 5478 NEW BEST:: SOT 2154788 SOS 1168516 HAS SOPS 1168516 HAS SOUS 575594 HAS SOUPS 575594 WITH SCORE 576762.516
AT ITER 5479 NEW BEST:: SOT 2154441 SOS 1168149 HAS SOPS 1168149 HAS SOUS 575227 HAS SOUPS 575227 WITH SCORE 576395.149
AT ITER 5492 NEW BEST:: SOT 2154440 SOS 1168142 HAS SOPS 1168142 HAS SOUS 575225 HAS SOUPS 575225 WITH SCORE 576393.142
AT ITER 5502 NEW BEST:: SOT 2154427 SOS 1168089 HAS SOPS 1168089 HAS SOUS 575172 HAS SOUPS 575172 WITH SCORE 576340.089
AT ITER 5517 NEW BEST:: SOT 2154335 SOS 1168087 HAS SOPS 1168087 HAS SOUS 575163 HAS SOUPS 575163 WITH SCORE 576331.087
AT ITER 5519 NEW BEST:: SOT 2154274 SOS 1167961 HAS SOPS 1167961 HAS SOUS 575037 HAS SOUPS 575037 WITH SCORE 576204.961
AT ITER 5525 NEW BEST:: SOT 2154007 SOS 1167694 HAS SOPS 1167694 HAS SOUS 574770 HAS SOUPS 574770 WITH SCORE 575937.694
AT ITER 5533 NEW BEST:: SOT 2154007 SOS 1167554 HAS SOPS 1167554 HAS SOUS 574484 HAS SOUPS 574484 WITH SCORE 575651.554
AT ITER 5541 NEW BEST:: SOT 2153849 SOS 1167078 HAS SOPS 1167078 HAS SOUS 574059 HAS SOUPS 574059 WITH SCORE 575226.078
AT ITER 5561 NEW BEST:: SOT 2153849 SOS 1167829 HAS SOPS 1167829 HAS SOUS 574019 HAS SOUPS 574019 WITH SCORE 575186.829
AT ITER 5565 NEW BEST:: SOT 2153617 SOS 1167134 HAS SOPS 1167134 HAS SOUS 573087 HAS SOUPS 573087 WITH SCORE 574254.134
AT ITER 5579 NEW BEST:: SOT 2153545 SOS 1167084 HAS SOPS 1167084 HAS SOUS 573037 HAS SOUPS 573037 WITH SCORE 574204.084
AT ITER 5597 NEW BEST:: SOT 2153849 SOS 1167004 HAS SOPS 1167004 HAS SOUS 572652 HAS SOUPS 572652 WITH SCORE 573819.004
AT ITER 5601 NEW BEST:: SOT 2153866 SOS 1166730 HAS SOPS 1166730 HAS SOUS 572378 HAS SOUPS 572378 WITH SCORE 573544.73
AT ITER 5605 NEW BEST:: SOT 2153627 SOS 1166042 HAS SOPS 1166042 HAS SOUS 571661 HAS SOUPS 571661 WITH SCORE 572827.042
AT ITER 5608 NEW BEST:: SOT 2153716 SOS 1165868 HAS SOPS 1165868 HAS SOUS 571487 HAS SOUPS 571487 WITH SCORE 572652.868
AT ITER 5610 NEW BEST:: SOT 2153830 SOS 1165982 HAS SOPS 1165982 HAS SOUS 571329 HAS SOUPS 571329 WITH SCORE 572494.982
AT ITER 5631 NEW BEST:: SOT 2153828 SOS 1166172 HAS SOPS 1166172 HAS SOUS 571325 HAS SOUPS 571325 WITH SCORE 572491.172
AT ITER 5641 NEW BEST:: SOT 2153502 SOS 1165846 HAS SOPS 1165846 HAS SOUS 570999 HAS SOUPS 570999 WITH SCORE 572164.846
AT ITER 5646 NEW BEST:: SOT 2153423 SOS 1166295 HAS SOPS 1166295 HAS SOUS 570686 HAS SOUPS 570686 WITH SCORE 571852.295
AT ITER 5660 NEW BEST:: SOT 2153283 SOS 1165980 HAS SOPS 1165980 HAS SOUS 570510 HAS SOUPS 570510 WITH SCORE 571675.98
AT ITER 5661 NEW BEST:: SOT 2153339 SOS 1165750 HAS SOPS 1165750 HAS SOUS 570280 HAS SOUPS 570280 WITH SCORE 571445.75
AT ITER 5665 NEW BEST:: SOT 2153071 SOS 1165214 HAS SOPS 1165214 HAS SOUS 569744 HAS SOUPS 569744 WITH SCORE 570909.214
AT ITER 5693 NEW BEST:: SOT 2152933 SOS 1164882 HAS SOPS 1164882 HAS SOUS 569412 HAS SOUPS 569412 WITH SCORE 570576.882
AT ITER 5699 NEW BEST:: SOT 2152453 SOS 1164205 HAS SOPS 1164205 HAS SOUS 568735 HAS SOUPS 568735 WITH SCORE 569899.205
AT ITER 5702 NEW BEST:: SOT 2152397 SOS 1164149 HAS SOPS 1164149 HAS SOUS 568735 HAS SOUPS 568735 WITH SCORE 569899.149
AT ITER 5708 NEW BEST:: SOT 2152359 SOS 1163737 HAS SOPS 1163737 HAS SOUS 568659 HAS SOUPS 568659 WITH SCORE 569822.737
AT ITER 5711 NEW BEST:: SOT 2152353 SOS 1163731 HAS SOPS 1163731 HAS SOUS 568653 HAS SOUPS 568653 WITH SCORE 569816.731
AT ITER 5717 NEW BEST:: SOT 2152059 SOS 1163605 HAS SOPS 1163605 HAS SOUS 568401 HAS SOUPS 568401 WITH SCORE 569564.605
AT ITER 5740 NEW BEST:: SOT 2151783 SOS 1161207 HAS SOPS 1161207 HAS SOUS 568046 HAS SOUPS 568046 WITH SCORE 569207.207
AT ITER 5760 NEW BEST:: SOT 2151644 SOS 1161015 HAS SOPS 1161015 HAS SOUS 567970 HAS SOUPS 567970 WITH SCORE 569131.015
AT ITER 5764 NEW BEST:: SOT 2151683 SOS 1160935 HAS SOPS 1160935 HAS SOUS 567890 HAS SOUPS 567890 WITH SCORE 569050.935
AT ITER 5815 NEW BEST:: SOT 2151582 SOS 1160834 HAS SOPS 1160834 HAS SOUS 567702 HAS SOUPS 567702 WITH SCORE 568862.834
AT ITER 5843 NEW BEST:: SOT 2151147 SOS 1160254 HAS SOPS 1160254 HAS SOUS 567122 HAS SOUPS 567122 WITH SCORE 568282.254
AT ITER 5849 NEW BEST:: SOT 2151128 SOS 1160235 HAS SOPS 1160235 HAS SOUS 567103 HAS SOUPS 567103 WITH SCORE 568263.235
AT ITER 5851 NEW BEST:: SOT 2151121 SOS 1160221 HAS SOPS 1160221 HAS SOUS 567089 HAS SOUPS 567089 WITH SCORE 568249.221
AT ITER 5872 NEW BEST:: SOT 2151121 SOS 1159880 HAS SOPS 1159880 HAS SOUS 566863 HAS SOUPS 566863 WITH SCORE 568022.88
AT ITER 5881 NEW BEST:: SOT 2151121 SOS 1160002 HAS SOPS 1160002 HAS SOUS 566586 HAS SOUPS 566586 WITH SCORE 567746.002
AT ITER 5901 NEW BEST:: SOT 2151153 SOS 1160052 HAS SOPS 1160052 HAS SOUS 566067 HAS SOUPS 566067 WITH SCORE 567227.052
AT ITER 5930 NEW BEST:: SOT 2151134 SOS 1160033 HAS SOPS 1160033 HAS SOUS 566035 HAS SOUPS 566035 WITH SCORE 567195.033
AT ITER 5937 NEW BEST:: SOT 2150902 SOS 1157824 HAS SOPS 1157824 HAS SOUS 565415 HAS SOUPS 565415 WITH SCORE 566572.824
AT ITER 5966 NEW BEST:: SOT 2150730 SOS 1157652 HAS SOPS 1157652 HAS SOUS 565243 HAS SOUPS 565243 WITH SCORE 566400.652
AT ITER 5998 NEW BEST:: SOT 2150643 SOS 1157565 HAS SOPS 1157565 HAS SOUS 564942 HAS SOUPS 564942 WITH SCORE 566099.565
AT ITER 6004 NEW BEST:: SOT 2150637 SOS 1156936 HAS SOPS 1156936 HAS SOUS 564847 HAS SOUPS 564847 WITH SCORE 566003.936
AT ITER 6031 NEW BEST:: SOT 2150226 SOS 1156525 HAS SOPS 1156525 HAS SOUS 564436 HAS SOUPS 564436 WITH SCORE 565592.525
AT ITER 6045 NEW BEST:: SOT 2150081 SOS 1155510 HAS SOPS 1155510 HAS SOUS 564291 HAS SOUPS 564291 WITH SCORE 565446.51
AT ITER 6048 NEW BEST:: SOT 2150077 SOS 1155655 HAS SOPS 1155655 HAS SOUS 564238 HAS SOUPS 564238 WITH SCORE 565393.655
AT ITER 6049 NEW BEST:: SOT 2150077 SOS 1155142 HAS SOPS 1155142 HAS SOUS 563725 HAS SOUPS 563725 WITH SCORE 564880.142
AT ITER 6053 NEW BEST:: SOT 2149968 SOS 1155033 HAS SOPS 1155033 HAS SOUS 563616 HAS SOUPS 563616 WITH SCORE 564771.033
AT ITER 6056 NEW BEST:: SOT 2149962 SOS 1154771 HAS SOPS 1154771 HAS SOUS 563354 HAS SOUPS 563354 WITH SCORE 564508.771
AT ITER 6060 NEW BEST:: SOT 2149789 SOS 1154598 HAS SOPS 1154598 HAS SOUS 562851 HAS SOUPS 562851 WITH SCORE 564005.598
AT ITER 6075 NEW BEST:: SOT 2149789 SOS 1154598 HAS SOPS 1154598 HAS SOUS 562845 HAS SOUPS 562845 WITH SCORE 563999.598
AT ITER 6077 NEW BEST:: SOT 2149774 SOS 1154543 HAS SOPS 1154543 HAS SOUS 562834 HAS SOUPS 562834 WITH SCORE 563988.543
AT ITER 6078 NEW BEST:: SOT 2149776 SOS 1154435 HAS SOPS 1154435 HAS SOUS 562726 HAS SOUPS 562726 WITH SCORE 563880.435
AT ITER 6085 NEW BEST:: SOT 2149775 SOS 1153992 HAS SOPS 1153992 HAS SOUS 562724 HAS SOUPS 562724 WITH SCORE 563877.992
AT ITER 6091 NEW BEST:: SOT 2149694 SOS 1153375 HAS SOPS 1153375 HAS SOUS 562600 HAS SOUPS 562600 WITH SCORE 563753.375
AT ITER 6097 NEW BEST:: SOT 2149514 SOS 1151935 HAS SOPS 1151935 HAS SOUS 562240 HAS SOUPS 562240 WITH SCORE 563391.935
AT ITER 6103 NEW BEST:: SOT 2149471 SOS 1151892 HAS SOPS 1151892 HAS SOUS 562240 HAS SOUPS 562240 WITH SCORE 563391.892
AT ITER 6114 NEW BEST:: SOT 2149375 SOS 1151796 HAS SOPS 1151796 HAS SOUS 562144 HAS SOUPS 562144 WITH SCORE 563295.796
AT ITER 6119 NEW BEST:: SOT 2149304 SOS 1151725 HAS SOPS 1151725 HAS SOUS 562035 HAS SOUPS 562035 WITH SCORE 563186.725
AT ITER 6124 NEW BEST:: SOT 2149304 SOS 1151195 HAS SOPS 1151195 HAS SOUS 561048 HAS SOUPS 561048 WITH SCORE 562199.195
AT ITER 6133 NEW BEST:: SOT 2149304 SOS 1151025 HAS SOPS 1151025 HAS SOUS 561043 HAS SOUPS 561043 WITH SCORE 562194.025
AT ITER 6158 NEW BEST:: SOT 2149282 SOS 1151003 HAS SOPS 1151003 HAS SOUS 560981 HAS SOUPS 560981 WITH SCORE 562132.003
AT ITER 6162 NEW BEST:: SOT 2149590 SOS 1150774 HAS SOPS 1150774 HAS SOUS 560454 HAS SOUPS 560454 WITH SCORE 561604.774
AT ITER 6180 NEW BEST:: SOT 2148602 SOS 1149786 HAS SOPS 1149786 HAS SOUS 559466 HAS SOUPS 559466 WITH SCORE 560615.786
AT ITER 6186 NEW BEST:: SOT 2148611 SOS 1149494 HAS SOPS 1149494 HAS SOUS 559279 HAS SOUPS 559279 WITH SCORE 560428.494
AT ITER 6191 NEW BEST:: SOT 2148492 SOS 1149301 HAS SOPS 1149301 HAS SOUS 558865 HAS SOUPS 558865 WITH SCORE 560014.301
AT ITER 6202 NEW BEST:: SOT 2148488 SOS 1149320 HAS SOPS 1149320 HAS SOUS 558863 HAS SOUPS 558863 WITH SCORE 560012.32
AT ITER 6206 NEW BEST:: SOT 2148103 SOS 1148858 HAS SOPS 1148858 HAS SOUS 558401 HAS SOUPS 558401 WITH SCORE 559549.858
AT ITER 6210 NEW BEST:: SOT 2147788 SOS 1148195 HAS SOPS 1148195 HAS SOUS 557738 HAS SOUPS 557738 WITH SCORE 558886.195
AT ITER 6211 NEW BEST:: SOT 2147101 SOS 1148882 HAS SOPS 1148882 HAS SOUS 557271 HAS SOUPS 557271 WITH SCORE 558419.882
AT ITER 6219 NEW BEST:: SOT 2147190 SOS 1148971 HAS SOPS 1148971 HAS SOUS 557161 HAS SOUPS 557161 WITH SCORE 558309.971
AT ITER 6226 NEW BEST:: SOT 2147173 SOS 1148954 HAS SOPS 1148954 HAS SOUS 557144 HAS SOUPS 557144 WITH SCORE 558292.954
AT ITER 6231 NEW BEST:: SOT 2146795 SOS 1148046 HAS SOPS 1148046 HAS SOUS 555967 HAS SOUPS 555967 WITH SCORE 557115.046
AT ITER 6245 NEW BEST:: SOT 2146510 SOS 1147783 HAS SOPS 1147783 HAS SOUS 555888 HAS SOUPS 555888 WITH SCORE 557035.783
AT ITER 6250 NEW BEST:: SOT 2146375 SOS 1147648 HAS SOPS 1147648 HAS SOUS 555708 HAS SOUPS 555708 WITH SCORE 556855.648
AT ITER 6264 NEW BEST:: SOT 2147028 SOS 1148532 HAS SOPS 1148532 HAS SOUS 555695 HAS SOUPS 555695 WITH SCORE 556843.532
AT ITER 6297 NEW BEST:: SOT 2147272 SOS 1148738 HAS SOPS 1148738 HAS SOUS 555636 HAS SOUPS 555636 WITH SCORE 556784.738
AT ITER 6300 NEW BEST:: SOT 2147245 SOS 1148711 HAS SOPS 1148711 HAS SOUS 555607 HAS SOUPS 555607 WITH SCORE 556755.711
AT ITER 6322 NEW BEST:: SOT 2147588 SOS 1147797 HAS SOPS 1147797 HAS SOUS 555589 HAS SOUPS 555589 WITH SCORE 556736.797
AT ITER 6341 NEW BEST:: SOT 2147528 SOS 1147498 HAS SOPS 1147498 HAS SOUS 555445 HAS SOUPS 555445 WITH SCORE 556592.498
AT ITER 6350 NEW BEST:: SOT 2147258 SOS 1147228 HAS SOPS 1147228 HAS SOUS 555175 HAS SOUPS 555175 WITH SCORE 556322.228
AT ITER 6351 NEW BEST:: SOT 2147178 SOS 1147148 HAS SOPS 1147148 HAS SOUS 555095 HAS SOUPS 555095 WITH SCORE 556242.148
AT ITER 6359 NEW BEST:: SOT 2147168 SOS 1147024 HAS SOPS 1147024 HAS SOUS 554971 HAS SOUPS 554971 WITH SCORE 556118.024
AT ITER 6386 NEW BEST:: SOT 2147120 SOS 1146976 HAS SOPS 1146976 HAS SOUS 554923 HAS SOUPS 554923 WITH SCORE 556069.976
AT ITER 6393 NEW BEST:: SOT 2147120 SOS 1146976 HAS SOPS 1146976 HAS SOUS 554919 HAS SOUPS 554919 WITH SCORE 556065.976
AT ITER 6403 NEW BEST:: SOT 2147065 SOS 1146921 HAS SOPS 1146921 HAS SOUS 554864 HAS SOUPS 554864 WITH SCORE 556010.921
AT ITER 6405 NEW BEST:: SOT 2146834 SOS 1146451 HAS SOPS 1146451 HAS SOUS 554236 HAS SOUPS 554236 WITH SCORE 555382.451
AT ITER 6413 NEW BEST:: SOT 2146471 SOS 1145673 HAS SOPS 1145673 HAS SOUS 553424 HAS SOUPS 553424 WITH SCORE 554569.673
AT ITER 6414 NEW BEST:: SOT 2146292 SOS 1139106 HAS SOPS 1139106 HAS SOUS 553158 HAS SOUPS 553158 WITH SCORE 554297.106
AT ITER 6435 NEW BEST:: SOT 2146283 SOS 1139019 HAS SOPS 1139019 HAS SOUS 553071 HAS SOUPS 553071 WITH SCORE 554210.019
AT ITER 6452 NEW BEST:: SOT 2146282 SOS 1139018 HAS SOPS 1139018 HAS SOUS 553066 HAS SOUPS 553066 WITH SCORE 554205.018
AT ITER 6459 NEW BEST:: SOT 2146282 SOS 1139004 HAS SOPS 1139004 HAS SOUS 553052 HAS SOUPS 553052 WITH SCORE 554191.004
AT ITER 6465 NEW BEST:: SOT 2146668 SOS 1138484 HAS SOPS 1138484 HAS SOUS 551943 HAS SOUPS 551943 WITH SCORE 553081.484
AT ITER 6474 NEW BEST:: SOT 2146668 SOS 1138396 HAS SOPS 1138396 HAS SOUS 551923 HAS SOUPS 551923 WITH SCORE 553061.396
AT ITER 6475 NEW BEST:: SOT 2146394 SOS 1138296 HAS SOPS 1138296 HAS SOUS 551823 HAS SOUPS 551823 WITH SCORE 552961.296
AT ITER 6480 NEW BEST:: SOT 2146394 SOS 1138192 HAS SOPS 1138192 HAS SOUS 551823 HAS SOUPS 551823 WITH SCORE 552961.192
AT ITER 6493 NEW BEST:: SOT 2145806 SOS 1137388 HAS SOPS 1137388 HAS SOUS 550959 HAS SOUPS 550959 WITH SCORE 552096.388
AT ITER 6506 NEW BEST:: SOT 2145688 SOS 1137125 HAS SOPS 1137125 HAS SOUS 550659 HAS SOUPS 550659 WITH SCORE 551796.125
AT ITER 6507 NEW BEST:: SOT 2145688 SOS 1137125 HAS SOPS 1137125 HAS SOUS 550658 HAS SOUPS 550658 WITH SCORE 551795.125
AT ITER 6518 NEW BEST:: SOT 2145426 SOS 1136863 HAS SOPS 1136863 HAS SOUS 550396 HAS SOUPS 550396 WITH SCORE 551532.863
AT ITER 6537 NEW BEST:: SOT 2145425 SOS 1136862 HAS SOPS 1136862 HAS SOUS 550395 HAS SOUPS 550395 WITH SCORE 551531.862
AT ITER 6581 NEW BEST:: SOT 2145407 SOS 1136844 HAS SOPS 1136844 HAS SOUS 550368 HAS SOUPS 550368 WITH SCORE 551504.844
AT ITER 6585 NEW BEST:: SOT 2145369 SOS 1136806 HAS SOPS 1136806 HAS SOUS 550330 HAS SOUPS 550330 WITH SCORE 551466.806
AT ITER 6589 NEW BEST:: SOT 2145148 SOS 1136585 HAS SOPS 1136585 HAS SOUS 550063 HAS SOUPS 550063 WITH SCORE 551199.585
AT ITER 6594 NEW BEST:: SOT 2145147 SOS 1136583 HAS SOPS 1136583 HAS SOUS 550061 HAS SOUPS 550061 WITH SCORE 551197.583
AT ITER 6596 NEW BEST:: SOT 2145127 SOS 1136563 HAS SOPS 1136563 HAS SOUS 549730 HAS SOUPS 549730 WITH SCORE 550866.563
AT ITER 6614 NEW BEST:: SOT 2145253 SOS 1136414 HAS SOPS 1136414 HAS SOUS 549695 HAS SOUPS 549695 WITH SCORE 550831.414
AT ITER 6631 NEW BEST:: SOT 2145236 SOS 1136397 HAS SOPS 1136397 HAS SOUS 549678 HAS SOUPS 549678 WITH SCORE 550814.397
AT ITER 6647 NEW BEST:: SOT 2145309 SOS 1136121 HAS SOPS 1136121 HAS SOUS 549402 HAS SOUPS 549402 WITH SCORE 550538.121
AT ITER 6691 NEW BEST:: SOT 2145309 SOS 1136121 HAS SOPS 1136121 HAS SOUS 549379 HAS SOUPS 549379 WITH SCORE 550515.121
AT ITER 6695 NEW BEST:: SOT 2145244 SOS 1136056 HAS SOPS 1136056 HAS SOUS 549314 HAS SOUPS 549314 WITH SCORE 550450.056
AT ITER 6719 NEW BEST:: SOT 2145244 SOS 1136031 HAS SOPS 1136031 HAS SOUS 549314 HAS SOUPS 549314 WITH SCORE 550450.031
AT ITER 6759 NEW BEST:: SOT 2145052 SOS 1136265 HAS SOPS 1136265 HAS SOUS 549122 HAS SOUPS 549122 WITH SCORE 550258.265
AT ITER 6776 NEW BEST:: SOT 2145052 SOS 1136202 HAS SOPS 1136202 HAS SOUS 548996 HAS SOUPS 548996 WITH SCORE 550132.202
AT ITER 6781 NEW BEST:: SOT 2144662 SOS 1136179 HAS SOPS 1136179 HAS SOUS 548616 HAS SOUPS 548616 WITH SCORE 549752.179
AT ITER 6792 NEW BEST:: SOT 2144545 SOS 1135936 HAS SOPS 1135936 HAS SOUS 548276 HAS SOUPS 548276 WITH SCORE 549411.936
AT ITER 6809 NEW BEST:: SOT 2144543 SOS 1135603 HAS SOPS 1135603 HAS SOUS 548237 HAS SOUPS 548237 WITH SCORE 549372.603
AT ITER 6840 NEW BEST:: SOT 2144458 SOS 1135518 HAS SOPS 1135518 HAS SOUS 548152 HAS SOUPS 548152 WITH SCORE 549287.518
AT ITER 6862 NEW BEST:: SOT 2144137 SOS 1135197 HAS SOPS 1135197 HAS SOUS 547664 HAS SOUPS 547664 WITH SCORE 548799.197
AT ITER 6868 NEW BEST:: SOT 2143947 SOS 1135198 HAS SOPS 1135198 HAS SOUS 546924 HAS SOUPS 546924 WITH SCORE 548059.198
AT ITER 6871 NEW BEST:: SOT 2143696 SOS 1134947 HAS SOPS 1134947 HAS SOUS 546673 HAS SOUPS 546673 WITH SCORE 547807.947
AT ITER 6885 NEW BEST:: SOT 2143632 SOS 1134883 HAS SOPS 1134883 HAS SOUS 546609 HAS SOUPS 546609 WITH SCORE 547743.883
AT ITER 6892 NEW BEST:: SOT 2143453 SOS 1134809 HAS SOPS 1134809 HAS SOUS 546608 HAS SOUPS 546608 WITH SCORE 547742.809
AT ITER 6900 NEW BEST:: SOT 2142676 SOS 1134242 HAS SOPS 1134242 HAS SOUS 545661 HAS SOUPS 545661 WITH SCORE 546795.242
AT ITER 6928 NEW BEST:: SOT 2142580 SOS 1134146 HAS SOPS 1134146 HAS SOUS 545565 HAS SOUPS 545565 WITH SCORE 546699.146
AT ITER 6933 NEW BEST:: SOT 2142027 SOS 1133992 HAS SOPS 1133992 HAS SOUS 545178 HAS SOUPS 545178 WITH SCORE 546311.992
AT ITER 6940 NEW BEST:: SOT 2142104 SOS 1134069 HAS SOPS 1134069 HAS SOUS 545008 HAS SOUPS 545008 WITH SCORE 546142.069
AT ITER 6966 NEW BEST:: SOT 2142089 SOS 1134039 HAS SOPS 1134039 HAS SOUS 544978 HAS SOUPS 544978 WITH SCORE 546112.039
AT ITER 6973 NEW BEST:: SOT 2142123 SOS 1133872 HAS SOPS 1133872 HAS SOUS 544811 HAS SOUPS 544811 WITH SCORE 545944.872
AT ITER 6983 NEW BEST:: SOT 2141833 SOS 1133561 HAS SOPS 1133561 HAS SOUS 544500 HAS SOUPS 544500 WITH SCORE 545633.561
AT ITER 6985 NEW BEST:: SOT 2141443 SOS 1132501 HAS SOPS 1132501 HAS SOUS 544266 HAS SOUPS 544266 WITH SCORE 545398.501
AT ITER 6987 NEW BEST:: SOT 2141443 SOS 1132499 HAS SOPS 1132499 HAS SOUS 544265 HAS SOUPS 544265 WITH SCORE 545397.499
AT ITER 7000 NEW BEST:: SOT 2141309 SOS 1130831 HAS SOPS 1130831 HAS SOUS 544116 HAS SOUPS 544116 WITH SCORE 545246.831
AT ITER 7008 NEW BEST:: SOT 2141249 SOS 1130644 HAS SOPS 1130644 HAS SOUS 544094 HAS SOUPS 544094 WITH SCORE 545224.644
AT ITER 7023 NEW BEST:: SOT 2141246 SOS 1130641 HAS SOPS 1130641 HAS SOUS 544091 HAS SOUPS 544091 WITH SCORE 545221.641
AT ITER 7038 NEW BEST:: SOT 2141134 SOS 1130444 HAS SOPS 1130444 HAS SOUS 543894 HAS SOUPS 543894 WITH SCORE 545024.444
AT ITER 7057 NEW BEST:: SOT 2141120 SOS 1130416 HAS SOPS 1130416 HAS SOUS 543866 HAS SOUPS 543866 WITH SCORE 544996.416
AT ITER 7067 NEW BEST:: SOT 2141260 SOS 1130309 HAS SOPS 1130309 HAS SOUS 543575 HAS SOUPS 543575 WITH SCORE 544705.309
AT ITER 7126 NEW BEST:: SOT 2141161 SOS 1130124 HAS SOPS 1130124 HAS SOUS 543377 HAS SOUPS 543377 WITH SCORE 544507.124
AT ITER 7130 NEW BEST:: SOT 2140203 SOS 1129317 HAS SOPS 1129317 HAS SOUS 542522 HAS SOUPS 542522 WITH SCORE 543651.317
AT ITER 7142 NEW BEST:: SOT 2140156 SOS 1129152 HAS SOPS 1129152 HAS SOUS 542463 HAS SOUPS 542463 WITH SCORE 543592.152
AT ITER 7151 NEW BEST:: SOT 2140156 SOS 1129331 HAS SOPS 1129331 HAS SOUS 542393 HAS SOUPS 542393 WITH SCORE 543522.331
AT ITER 7172 NEW BEST:: SOT 2140137 SOS 1129293 HAS SOPS 1129293 HAS SOUS 542355 HAS SOUPS 542355 WITH SCORE 543484.293
AT ITER 7180 NEW BEST:: SOT 2140136 SOS 1129292 HAS SOPS 1129292 HAS SOUS 542352 HAS SOUPS 542352 WITH SCORE 543481.292
AT ITER 7186 NEW BEST:: SOT 2140104 SOS 1129260 HAS SOPS 1129260 HAS SOUS 542320 HAS SOUPS 542320 WITH SCORE 543449.26
AT ITER 7190 NEW BEST:: SOT 2140057 SOS 1129119 HAS SOPS 1129119 HAS SOUS 542085 HAS SOUPS 542085 WITH SCORE 543214.119
AT ITER 7193 NEW BEST:: SOT 2139809 SOS 1128871 HAS SOPS 1128871 HAS SOUS 541842 HAS SOUPS 541842 WITH SCORE 542970.871
AT ITER 7204 NEW BEST:: SOT 2137457 SOS 1128189 HAS SOPS 1128189 HAS SOUS 539784 HAS SOUPS 539784 WITH SCORE 540912.189
AT ITER 7238 NEW BEST:: SOT 2137410 SOS 1128142 HAS SOPS 1128142 HAS SOUS 539776 HAS SOUPS 539776 WITH SCORE 540904.142
AT ITER 7239 NEW BEST:: SOT 2137398 SOS 1128130 HAS SOPS 1128130 HAS SOUS 539754 HAS SOUPS 539754 WITH SCORE 540882.13
AT ITER 7249 NEW BEST:: SOT 2137345 SOS 1128077 HAS SOPS 1128077 HAS SOUS 539648 HAS SOUPS 539648 WITH SCORE 540776.077
AT ITER 7270 NEW BEST:: SOT 2137345 SOS 1128195 HAS SOPS 1128195 HAS SOUS 539497 HAS SOUPS 539497 WITH SCORE 540625.195
AT ITER 7274 NEW BEST:: SOT 2136562 SOS 1128881 HAS SOPS 1128881 HAS SOUS 539280 HAS SOUPS 539280 WITH SCORE 540408.881
AT ITER 7278 NEW BEST:: SOT 2136562 SOS 1128881 HAS SOPS 1128881 HAS SOUS 539278 HAS SOUPS 539278 WITH SCORE 540406.881
AT ITER 7294 NEW BEST:: SOT 2137198 SOS 1129110 HAS SOPS 1129110 HAS SOUS 539160 HAS SOUPS 539160 WITH SCORE 540289.11
AT ITER 7302 NEW BEST:: SOT 2137169 SOS 1129052 HAS SOPS 1129052 HAS SOUS 539102 HAS SOUPS 539102 WITH SCORE 540231.052
AT ITER 7303 NEW BEST:: SOT 2137153 SOS 1129020 HAS SOPS 1129020 HAS SOUS 539070 HAS SOUPS 539070 WITH SCORE 540199.02
AT ITER 7318 NEW BEST:: SOT 2137079 SOS 1128946 HAS SOPS 1128946 HAS SOUS 539070 HAS SOUPS 539070 WITH SCORE 540198.946
AT ITER 7320 NEW BEST:: SOT 2137359 SOS 1128760 HAS SOPS 1128760 HAS SOUS 539040 HAS SOUPS 539040 WITH SCORE 540168.76
AT ITER 7329 NEW BEST:: SOT 2137358 SOS 1128759 HAS SOPS 1128759 HAS SOUS 539038 HAS SOUPS 539038 WITH SCORE 540166.759
AT ITER 7340 NEW BEST:: SOT 2137320 SOS 1128721 HAS SOPS 1128721 HAS SOUS 539000 HAS SOUPS 539000 WITH SCORE 540128.721
AT ITER 7341 NEW BEST:: SOT 2137058 SOS 1128459 HAS SOPS 1128459 HAS SOUS 538738 HAS SOUPS 538738 WITH SCORE 539866.459
AT ITER 7358 NEW BEST:: SOT 2136948 SOS 1128116 HAS SOPS 1128116 HAS SOUS 538398 HAS SOUPS 538398 WITH SCORE 539526.116
AT ITER 7367 NEW BEST:: SOT 2136693 SOS 1127568 HAS SOPS 1127568 HAS SOUS 537850 HAS SOUPS 537850 WITH SCORE 538977.568
AT ITER 7370 NEW BEST:: SOT 2136583 SOS 1127458 HAS SOPS 1127458 HAS SOUS 537732 HAS SOUPS 537732 WITH SCORE 538859.458
AT ITER 7381 NEW BEST:: SOT 2136582 SOS 1127457 HAS SOPS 1127457 HAS SOUS 537730 HAS SOUPS 537730 WITH SCORE 538857.457
AT ITER 7409 NEW BEST:: SOT 2136582 SOS 1127451 HAS SOPS 1127451 HAS SOUS 537724 HAS SOUPS 537724 WITH SCORE 538851.451
AT ITER 7417 NEW BEST:: SOT 2136574 SOS 1127443 HAS SOPS 1127443 HAS SOUS 537724 HAS SOUPS 537724 WITH SCORE 538851.443
AT ITER 7418 NEW BEST:: SOT 2136133 SOS 1127134 HAS SOPS 1127134 HAS SOUS 537247 HAS SOUPS 537247 WITH SCORE 538374.134
AT ITER 7432 NEW BEST:: SOT 2135752 SOS 1126706 HAS SOPS 1126706 HAS SOUS 536871 HAS SOUPS 536871 WITH SCORE 537997.706
AT ITER 7442 NEW BEST:: SOT 2135790 SOS 1125797 HAS SOPS 1125797 HAS SOUS 536616 HAS SOUPS 536616 WITH SCORE 537741.797
AT ITER 7449 NEW BEST:: SOT 2136044 SOS 1126280 HAS SOPS 1126280 HAS SOUS 536296 HAS SOUPS 536296 WITH SCORE 537422.28
AT ITER 7459 NEW BEST:: SOT 2135872 SOS 1125951 HAS SOPS 1125951 HAS SOUS 535892 HAS SOUPS 535892 WITH SCORE 537017.951
AT ITER 7471 NEW BEST:: SOT 2135872 SOS 1125921 HAS SOPS 1125921 HAS SOUS 535862 HAS SOUPS 535862 WITH SCORE 536987.921
AT ITER 7473 NEW BEST:: SOT 2135760 SOS 1125809 HAS SOPS 1125809 HAS SOUS 535768 HAS SOUPS 535768 WITH SCORE 536893.809
AT ITER 7491 NEW BEST:: SOT 2135751 SOS 1125791 HAS SOPS 1125791 HAS SOUS 535750 HAS SOUPS 535750 WITH SCORE 536875.791
AT ITER 7494 NEW BEST:: SOT 2135678 SOS 1125589 HAS SOPS 1125589 HAS SOUS 535548 HAS SOUPS 535548 WITH SCORE 536673.589
AT ITER 7507 NEW BEST:: SOT 2135678 SOS 1125209 HAS SOPS 1125209 HAS SOUS 535168 HAS SOUPS 535168 WITH SCORE 536293.209
AT ITER 7509 NEW BEST:: SOT 2135631 SOS 1125162 HAS SOPS 1125162 HAS SOUS 535045 HAS SOUPS 535045 WITH SCORE 536170.162
AT ITER 7519 NEW BEST:: SOT 2135631 SOS 1125308 HAS SOPS 1125308 HAS SOUS 535015 HAS SOUPS 535015 WITH SCORE 536140.308
AT ITER 7529 NEW BEST:: SOT 2136019 SOS 1125042 HAS SOPS 1125042 HAS SOUS 534939 HAS SOUPS 534939 WITH SCORE 536064.042
AT ITER 7537 NEW BEST:: SOT 2135774 SOS 1124673 HAS SOPS 1124673 HAS SOUS 534570 HAS SOUPS 534570 WITH SCORE 535694.673
AT ITER 7553 NEW BEST:: SOT 2135483 SOS 1125419 HAS SOPS 1125419 HAS SOUS 534356 HAS SOUPS 534356 WITH SCORE 535481.419
AT ITER 7554 NEW BEST:: SOT 2135428 SOS 1125113 HAS SOPS 1125113 HAS SOUS 534246 HAS SOUPS 534246 WITH SCORE 535371.113
AT ITER 7565 NEW BEST:: SOT 2135317 SOS 1125002 HAS SOPS 1125002 HAS SOUS 534024 HAS SOUPS 534024 WITH SCORE 535149.002
AT ITER 7588 NEW BEST:: SOT 2135109 SOS 1124400 HAS SOPS 1124400 HAS SOUS 533521 HAS SOUPS 533521 WITH SCORE 534645.4
AT ITER 7639 NEW BEST:: SOT 2135100 SOS 1124639 HAS SOPS 1124639 HAS SOUS 533353 HAS SOUPS 533353 WITH SCORE 534477.639
AT ITER 7645 NEW BEST:: SOT 2135090 SOS 1124582 HAS SOPS 1124582 HAS SOUS 533343 HAS SOUPS 533343 WITH SCORE 534467.582
AT ITER 7654 NEW BEST:: SOT 2135177 SOS 1123516 HAS SOPS 1123516 HAS SOUS 533195 HAS SOUPS 533195 WITH SCORE 534318.516
AT ITER 7656 NEW BEST:: SOT 2135069 SOS 1123245 HAS SOPS 1123245 HAS SOUS 533142 HAS SOUPS 533142 WITH SCORE 534265.245
AT ITER 7659 NEW BEST:: SOT 2134699 SOS 1122875 HAS SOPS 1122875 HAS SOUS 532245 HAS SOUPS 532245 WITH SCORE 533367.875
AT ITER 7664 NEW BEST:: SOT 2134699 SOS 1122875 HAS SOPS 1122875 HAS SOUS 532204 HAS SOUPS 532204 WITH SCORE 533326.875
AT ITER 7681 NEW BEST:: SOT 2133239 SOS 1122771 HAS SOPS 1122771 HAS SOUS 531880 HAS SOUPS 531880 WITH SCORE 533002.771
AT ITER 7692 NEW BEST:: SOT 2133235 SOS 1122783 HAS SOPS 1122783 HAS SOUS 531878 HAS SOUPS 531878 WITH SCORE 533000.783
AT ITER 7697 NEW BEST:: SOT 2133067 SOS 1122615 HAS SOPS 1122615 HAS SOUS 531682 HAS SOUPS 531682 WITH SCORE 532804.615
AT ITER 7707 NEW BEST:: SOT 2132906 SOS 1122454 HAS SOPS 1122454 HAS SOUS 531590 HAS SOUPS 531590 WITH SCORE 532712.454
AT ITER 7709 NEW BEST:: SOT 2133253 SOS 1122523 HAS SOPS 1122523 HAS SOUS 531553 HAS SOUPS 531553 WITH SCORE 532675.523
AT ITER 7717 NEW BEST:: SOT 2132449 SOS 1121018 HAS SOPS 1121018 HAS SOUS 530744 HAS SOUPS 530744 WITH SCORE 531865.018
AT ITER 7722 NEW BEST:: SOT 2132437 SOS 1121006 HAS SOPS 1121006 HAS SOUS 530718 HAS SOUPS 530718 WITH SCORE 531839.006
AT ITER 7735 NEW BEST:: SOT 2132152 SOS 1120721 HAS SOPS 1120721 HAS SOUS 530433 HAS SOUPS 530433 WITH SCORE 531553.721
AT ITER 7736 NEW BEST:: SOT 2132146 SOS 1120704 HAS SOPS 1120704 HAS SOUS 530427 HAS SOUPS 530427 WITH SCORE 531547.704
AT ITER 7757 NEW BEST:: SOT 2131923 SOS 1120668 HAS SOPS 1120668 HAS SOUS 530391 HAS SOUPS 530391 WITH SCORE 531511.668
AT ITER 7761 NEW BEST:: SOT 2131891 SOS 1120636 HAS SOPS 1120636 HAS SOUS 530380 HAS SOUPS 530380 WITH SCORE 531500.636
AT ITER 7798 NEW BEST:: SOT 2131681 SOS 1120496 HAS SOPS 1120496 HAS SOUS 530240 HAS SOUPS 530240 WITH SCORE 531360.496
AT ITER 7837 NEW BEST:: SOT 2131856 SOS 1117491 HAS SOPS 1117491 HAS SOUS 530188 HAS SOUPS 530188 WITH SCORE 531305.491
AT ITER 7844 NEW BEST:: SOT 2131724 SOS 1117438 HAS SOPS 1117438 HAS SOUS 529883 HAS SOUPS 529883 WITH SCORE 531000.438
AT ITER 7861 NEW BEST:: SOT 2131696 SOS 1117382 HAS SOPS 1117382 HAS SOUS 529827 HAS SOUPS 529827 WITH SCORE 530944.382
AT ITER 7863 NEW BEST:: SOT 2131520 SOS 1117048 HAS SOPS 1117048 HAS SOUS 529475 HAS SOUPS 529475 WITH SCORE 530592.048
AT ITER 7866 NEW BEST:: SOT 2131508 SOS 1116907 HAS SOPS 1116907 HAS SOUS 529368 HAS SOUPS 529368 WITH SCORE 530484.907
AT ITER 7880 NEW BEST:: SOT 2131392 SOS 1116548 HAS SOPS 1116548 HAS SOUS 529016 HAS SOUPS 529016 WITH SCORE 530132.548
AT ITER 7884 NEW BEST:: SOT 2131276 SOS 1116432 HAS SOPS 1116432 HAS SOUS 528660 HAS SOUPS 528660 WITH SCORE 529776.432
AT ITER 7897 NEW BEST:: SOT 2131276 SOS 1116392 HAS SOPS 1116392 HAS SOUS 528660 HAS SOUPS 528660 WITH SCORE 529776.392
AT ITER 7905 NEW BEST:: SOT 2131269 SOS 1116385 HAS SOPS 1116385 HAS SOUS 528653 HAS SOUPS 528653 WITH SCORE 529769.385
AT ITER 7921 NEW BEST:: SOT 2131256 SOS 1116372 HAS SOPS 1116372 HAS SOUS 528640 HAS SOUPS 528640 WITH SCORE 529756.372
AT ITER 7936 NEW BEST:: SOT 2131256 SOS 1116098 HAS SOPS 1116098 HAS SOUS 528640 HAS SOUPS 528640 WITH SCORE 529756.098
AT ITER 7950 NEW BEST:: SOT 2131196 SOS 1116038 HAS SOPS 1116038 HAS SOUS 528580 HAS SOUPS 528580 WITH SCORE 529696.038
AT ITER 7954 NEW BEST:: SOT 2131048 SOS 1115540 HAS SOPS 1115540 HAS SOUS 528082 HAS SOUPS 528082 WITH SCORE 529197.54
AT ITER 7962 NEW BEST:: SOT 2131100 SOS 1115518 HAS SOPS 1115518 HAS SOUS 528060 HAS SOUPS 528060 WITH SCORE 529175.518
AT ITER 7971 NEW BEST:: SOT 2131055 SOS 1115328 HAS SOPS 1115328 HAS SOUS 527986 HAS SOUPS 527986 WITH SCORE 529101.328
AT ITER 7982 NEW BEST:: SOT 2130806 SOS 1114885 HAS SOPS 1114885 HAS SOUS 527531 HAS SOUPS 527531 WITH SCORE 528645.885
AT ITER 7999 NEW BEST:: SOT 2130804 SOS 1114843 HAS SOPS 1114843 HAS SOUS 527489 HAS SOUPS 527489 WITH SCORE 528603.843
AT ITER 8009 NEW BEST:: SOT 2130422 SOS 1114270 HAS SOPS 1114270 HAS SOUS 526916 HAS SOUPS 526916 WITH SCORE 528030.27
AT ITER 8017 NEW BEST:: SOT 2130208 SOS 1114914 HAS SOPS 1114914 HAS SOUS 526672 HAS SOUPS 526672 WITH SCORE 527786.914
AT ITER 8024 NEW BEST:: SOT 2129706 SOS 1114168 HAS SOPS 1114168 HAS SOUS 525223 HAS SOUPS 525223 WITH SCORE 526337.168
AT ITER 8035 NEW BEST:: SOT 2129706 SOS 1114419 HAS SOPS 1114419 HAS SOUS 525199 HAS SOUPS 525199 WITH SCORE 526313.419
AT ITER 8037 NEW BEST:: SOT 2129661 SOS 1114597 HAS SOPS 1114597 HAS SOUS 525117 HAS SOUPS 525117 WITH SCORE 526231.597
AT ITER 8046 NEW BEST:: SOT 2129562 SOS 1114399 HAS SOPS 1114399 HAS SOUS 524919 HAS SOUPS 524919 WITH SCORE 526033.399
AT ITER 8047 NEW BEST:: SOT 2129454 SOS 1113863 HAS SOPS 1113863 HAS SOUS 524552 HAS SOUPS 524552 WITH SCORE 525665.863
AT ITER 8049 NEW BEST:: SOT 2129604 SOS 1114013 HAS SOPS 1114013 HAS SOUS 524490 HAS SOUPS 524490 WITH SCORE 525604.013
AT ITER 8071 NEW BEST:: SOT 2129402 SOS 1113811 HAS SOPS 1113811 HAS SOUS 524082 HAS SOUPS 524082 WITH SCORE 525195.811
AT ITER 8085 NEW BEST:: SOT 2129359 SOS 1113725 HAS SOPS 1113725 HAS SOUS 523996 HAS SOUPS 523996 WITH SCORE 525109.725
AT ITER 8094 NEW BEST:: SOT 2129301 SOS 1113031 HAS SOPS 1113031 HAS SOUS 523514 HAS SOUPS 523514 WITH SCORE 524627.031
AT ITER 8115 NEW BEST:: SOT 2129269 SOS 1112999 HAS SOPS 1112999 HAS SOUS 523507 HAS SOUPS 523507 WITH SCORE 524619.999
AT ITER 8121 NEW BEST:: SOT 2128972 SOS 1112702 HAS SOPS 1112702 HAS SOUS 523248 HAS SOUPS 523248 WITH SCORE 524360.702
AT ITER 8126 NEW BEST:: SOT 2128954 SOS 1112666 HAS SOPS 1112666 HAS SOUS 523212 HAS SOUPS 523212 WITH SCORE 524324.666
AT ITER 8141 NEW BEST:: SOT 2128922 SOS 1112634 HAS SOPS 1112634 HAS SOUS 523136 HAS SOUPS 523136 WITH SCORE 524248.634
AT ITER 8143 NEW BEST:: SOT 2128319 SOS 1111516 HAS SOPS 1111516 HAS SOUS 522432 HAS SOUPS 522432 WITH SCORE 523543.516
AT ITER 8149 NEW BEST:: SOT 2128015 SOS 1111249 HAS SOPS 1111249 HAS SOUS 521788 HAS SOUPS 521788 WITH SCORE 522899.249
AT ITER 8166 NEW BEST:: SOT 2127470 SOS 1111553 HAS SOPS 1111553 HAS SOUS 521388 HAS SOUPS 521388 WITH SCORE 522499.553
AT ITER 8205 NEW BEST:: SOT 2127470 SOS 1111508 HAS SOPS 1111508 HAS SOUS 521340 HAS SOUPS 521340 WITH SCORE 522451.508
AT ITER 8220 NEW BEST:: SOT 2127264 SOS 1111302 HAS SOPS 1111302 HAS SOUS 521134 HAS SOUPS 521134 WITH SCORE 522245.302
AT ITER 8222 NEW BEST:: SOT 2127110 SOS 1111148 HAS SOPS 1111148 HAS SOUS 520980 HAS SOUPS 520980 WITH SCORE 522091.148
AT ITER 8241 NEW BEST:: SOT 2127110 SOS 1111134 HAS SOPS 1111134 HAS SOUS 520980 HAS SOUPS 520980 WITH SCORE 522091.134
AT ITER 8243 NEW BEST:: SOT 2127185 SOS 1111156 HAS SOPS 1111156 HAS SOUS 520927 HAS SOUPS 520927 WITH SCORE 522038.156
AT ITER 8244 NEW BEST:: SOT 2126919 SOS 1110890 HAS SOPS 1110890 HAS SOUS 520927 HAS SOUPS 520927 WITH SCORE 522037.89
AT ITER 8261 NEW BEST:: SOT 2126919 SOS 1110762 HAS SOPS 1110762 HAS SOUS 520863 HAS SOUPS 520863 WITH SCORE 521973.762
AT ITER 8271 NEW BEST:: SOT 2126671 SOS 1109817 HAS SOPS 1109817 HAS SOUS 520367 HAS SOUPS 520367 WITH SCORE 521476.817
AT ITER 8281 NEW BEST:: SOT 2126400 SOS 1109405 HAS SOPS 1109405 HAS SOUS 519814 HAS SOUPS 519814 WITH SCORE 520923.405
AT ITER 8285 NEW BEST:: SOT 2126400 SOS 1109303 HAS SOPS 1109303 HAS SOUS 519814 HAS SOUPS 519814 WITH SCORE 520923.303
AT ITER 8293 NEW BEST:: SOT 2126400 SOS 1109295 HAS SOPS 1109295 HAS SOUS 519813 HAS SOUPS 519813 WITH SCORE 520922.295
AT ITER 8301 NEW BEST:: SOT 2126264 SOS 1108576 HAS SOPS 1108576 HAS SOUS 519594 HAS SOUPS 519594 WITH SCORE 520702.576
AT ITER 8308 NEW BEST:: SOT 2126254 SOS 1108546 HAS SOPS 1108546 HAS SOUS 519564 HAS SOUPS 519564 WITH SCORE 520672.546
AT ITER 8317 NEW BEST:: SOT 2126216 SOS 1108508 HAS SOPS 1108508 HAS SOUS 519526 HAS SOUPS 519526 WITH SCORE 520634.508
AT ITER 8318 NEW BEST:: SOT 2126152 SOS 1108444 HAS SOPS 1108444 HAS SOUS 519310 HAS SOUPS 519310 WITH SCORE 520418.444
AT ITER 8334 NEW BEST:: SOT 2126127 SOS 1108419 HAS SOPS 1108419 HAS SOUS 519276 HAS SOUPS 519276 WITH SCORE 520384.419
AT ITER 8386 NEW BEST:: SOT 2126127 SOS 1107910 HAS SOPS 1107910 HAS SOUS 519038 HAS SOUPS 519038 WITH SCORE 520145.91
AT ITER 8387 NEW BEST:: SOT 2125563 SOS 1107346 HAS SOPS 1107346 HAS SOUS 518182 HAS SOUPS 518182 WITH SCORE 519289.346
AT ITER 8388 NEW BEST:: SOT 2125548 SOS 1106771 HAS SOPS 1106771 HAS SOUS 518143 HAS SOUPS 518143 WITH SCORE 519249.771
AT ITER 8421 NEW BEST:: SOT 2125395 SOS 1106618 HAS SOPS 1106618 HAS SOUS 517990 HAS SOUPS 517990 WITH SCORE 519096.618
AT ITER 8428 NEW BEST:: SOT 2125410 SOS 1106633 HAS SOPS 1106633 HAS SOUS 517948 HAS SOUPS 517948 WITH SCORE 519054.633
AT ITER 8442 NEW BEST:: SOT 2125433 SOS 1105993 HAS SOPS 1105993 HAS SOUS 517508 HAS SOUPS 517508 WITH SCORE 518613.993
AT ITER 8457 NEW BEST:: SOT 2125373 SOS 1105993 HAS SOPS 1105993 HAS SOUS 517388 HAS SOUPS 517388 WITH SCORE 518493.993
AT ITER 8468 NEW BEST:: SOT 2125373 SOS 1105965 HAS SOPS 1105965 HAS SOUS 517360 HAS SOUPS 517360 WITH SCORE 518465.965
AT ITER 8483 NEW BEST:: SOT 2125373 SOS 1105878 HAS SOPS 1105878 HAS SOUS 517273 HAS SOUPS 517273 WITH SCORE 518378.878
AT ITER 8493 NEW BEST:: SOT 2125373 SOS 1105858 HAS SOPS 1105858 HAS SOUS 517273 HAS SOUPS 517273 WITH SCORE 518378.858
AT ITER 8536 NEW BEST:: SOT 2124594 SOS 1107192 HAS SOPS 1107192 HAS SOUS 516270 HAS SOUPS 516270 WITH SCORE 517377.192
AT ITER 8544 NEW BEST:: SOT 2124371 SOS 1106925 HAS SOPS 1106925 HAS SOUS 516003 HAS SOUPS 516003 WITH SCORE 517109.925
AT ITER 8555 NEW BEST:: SOT 2124331 SOS 1106885 HAS SOPS 1106885 HAS SOUS 515963 HAS SOUPS 515963 WITH SCORE 517069.885
AT ITER 8568 NEW BEST:: SOT 2124434 SOS 1106931 HAS SOPS 1106931 HAS SOUS 515803 HAS SOUPS 515803 WITH SCORE 516909.931
AT ITER 8587 NEW BEST:: SOT 2124336 SOS 1106833 HAS SOPS 1106833 HAS SOUS 515534 HAS SOUPS 515534 WITH SCORE 516640.833
AT ITER 8599 NEW BEST:: SOT 2124260 SOS 1106757 HAS SOPS 1106757 HAS SOUS 515382 HAS SOUPS 515382 WITH SCORE 516488.757
AT ITER 8604 NEW BEST:: SOT 2124499 SOS 1108191 HAS SOPS 1108191 HAS SOUS 515143 HAS SOUPS 515143 WITH SCORE 516251.191
AT ITER 8612 NEW BEST:: SOT 2124472 SOS 1108520 HAS SOPS 1108520 HAS SOUS 515116 HAS SOUPS 515116 WITH SCORE 516224.52
AT ITER 8614 NEW BEST:: SOT 2124454 SOS 1108520 HAS SOPS 1108520 HAS SOUS 515080 HAS SOUPS 515080 WITH SCORE 516188.52
AT ITER 8645 NEW BEST:: SOT 2124451 SOS 1108517 HAS SOPS 1108517 HAS SOUS 515077 HAS SOUPS 515077 WITH SCORE 516185.517
AT ITER 8651 NEW BEST:: SOT 2123864 SOS 1107984 HAS SOPS 1107984 HAS SOUS 515077 HAS SOUPS 515077 WITH SCORE 516184.984
AT ITER 8654 NEW BEST:: SOT 2123863 SOS 1107983 HAS SOPS 1107983 HAS SOUS 515075 HAS SOUPS 515075 WITH SCORE 516182.983
AT ITER 8670 NEW BEST:: SOT 2123659 SOS 1107793 HAS SOPS 1107793 HAS SOUS 514885 HAS SOUPS 514885 WITH SCORE 515992.793
AT ITER 8697 NEW BEST:: SOT 2123465 SOS 1107781 HAS SOPS 1107781 HAS SOUS 514685 HAS SOUPS 514685 WITH SCORE 515792.781
AT ITER 8722 NEW BEST:: SOT 2122847 SOS 1107483 HAS SOPS 1107483 HAS SOUS 514147 HAS SOUPS 514147 WITH SCORE 515254.483
AT ITER 8728 NEW BEST:: SOT 2123100 SOS 1106706 HAS SOPS 1106706 HAS SOUS 513732 HAS SOUPS 513732 WITH SCORE 514838.706
AT ITER 8733 NEW BEST:: SOT 2123119 SOS 1106113 HAS SOPS 1106113 HAS SOUS 513709 HAS SOUPS 513709 WITH SCORE 514815.113
AT ITER 8742 NEW BEST:: SOT 2122764 SOS 1105172 HAS SOPS 1105172 HAS SOUS 512768 HAS SOUPS 512768 WITH SCORE 513873.172
AT ITER 8752 NEW BEST:: SOT 2122787 SOS 1104982 HAS SOPS 1104982 HAS SOUS 512764 HAS SOUPS 512764 WITH SCORE 513868.982
AT ITER 8762 NEW BEST:: SOT 2122773 SOS 1104955 HAS SOPS 1104955 HAS SOUS 512736 HAS SOUPS 512736 WITH SCORE 513840.955
AT ITER 8786 NEW BEST:: SOT 2122670 SOS 1104852 HAS SOPS 1104852 HAS SOUS 512676 HAS SOUPS 512676 WITH SCORE 513780.852
AT ITER 8788 NEW BEST:: SOT 2123080 SOS 1104433 HAS SOPS 1104433 HAS SOUS 512257 HAS SOUPS 512257 WITH SCORE 513361.433
AT ITER 8827 NEW BEST:: SOT 2122692 SOS 1104045 HAS SOPS 1104045 HAS SOUS 511869 HAS SOUPS 511869 WITH SCORE 512973.045
AT ITER 8842 NEW BEST:: SOT 2122625 SOS 1103978 HAS SOPS 1103978 HAS SOUS 511795 HAS SOUPS 511795 WITH SCORE 512898.978
AT ITER 8854 NEW BEST:: SOT 2122300 SOS 1103655 HAS SOPS 1103655 HAS SOUS 511472 HAS SOUPS 511472 WITH SCORE 512575.655
AT ITER 8875 NEW BEST:: SOT 2122157 SOS 1103369 HAS SOPS 1103369 HAS SOUS 511039 HAS SOUPS 511039 WITH SCORE 512142.369
AT ITER 8886 NEW BEST:: SOT 2121936 SOS 1103163 HAS SOPS 1103163 HAS SOUS 510833 HAS SOUPS 510833 WITH SCORE 511936.163
AT ITER 8934 NEW BEST:: SOT 2122090 SOS 1098795 HAS SOPS 1098795 HAS SOUS 510448 HAS SOUPS 510448 WITH SCORE 511546.795
AT ITER 8944 NEW BEST:: SOT 2122022 SOS 1098727 HAS SOPS 1098727 HAS SOUS 510122 HAS SOUPS 510122 WITH SCORE 511220.727
AT ITER 8948 NEW BEST:: SOT 2122022 SOS 1098727 HAS SOPS 1098727 HAS SOUS 510041 HAS SOUPS 510041 WITH SCORE 511139.727
AT ITER 8966 NEW BEST:: SOT 2122018 SOS 1098719 HAS SOPS 1098719 HAS SOUS 510033 HAS SOUPS 510033 WITH SCORE 511131.719
AT ITER 8976 NEW BEST:: SOT 2122023 SOS 1098705 HAS SOPS 1098705 HAS SOUS 510019 HAS SOUPS 510019 WITH SCORE 511117.705
AT ITER 9001 NEW BEST:: SOT 2121902 SOS 1094184 HAS SOPS 1094184 HAS SOUS 509664 HAS SOUPS 509664 WITH SCORE 510758.184
AT ITER 9002 NEW BEST:: SOT 2121614 SOS 1093803 HAS SOPS 1093803 HAS SOUS 509470 HAS SOUPS 509470 WITH SCORE 510563.803
AT ITER 9019 NEW BEST:: SOT 2121529 SOS 1093657 HAS SOPS 1093657 HAS SOUS 509324 HAS SOUPS 509324 WITH SCORE 510417.657
AT ITER 9034 NEW BEST:: SOT 2120808 SOS 1092472 HAS SOPS 1092472 HAS SOUS 508603 HAS SOUPS 508603 WITH SCORE 509695.472
AT ITER 9048 NEW BEST:: SOT 2120686 SOS 1092350 HAS SOPS 1092350 HAS SOUS 508359 HAS SOUPS 508359 WITH SCORE 509451.35
AT ITER 9076 NEW BEST:: SOT 2120685 SOS 1092349 HAS SOPS 1092349 HAS SOUS 508357 HAS SOUPS 508357 WITH SCORE 509449.349
AT ITER 9089 NEW BEST:: SOT 2120685 SOS 1092140 HAS SOPS 1092140 HAS SOUS 507764 HAS SOUPS 507764 WITH SCORE 508856.14
AT ITER 9097 NEW BEST:: SOT 2120607 SOS 1092258 HAS SOPS 1092258 HAS SOUS 507745 HAS SOUPS 507745 WITH SCORE 508837.258
AT ITER 9106 NEW BEST:: SOT 2120698 SOS 1092349 HAS SOPS 1092349 HAS SOUS 507693 HAS SOUPS 507693 WITH SCORE 508785.349
AT ITER 9129 NEW BEST:: SOT 2119234 SOS 1092949 HAS SOPS 1092949 HAS SOUS 506487 HAS SOUPS 506487 WITH SCORE 507579.949
AT ITER 9138 NEW BEST:: SOT 2119234 SOS 1092949 HAS SOPS 1092949 HAS SOUS 506332 HAS SOUPS 506332 WITH SCORE 507424.949
AT ITER 9164 NEW BEST:: SOT 2119483 SOS 1093198 HAS SOPS 1093198 HAS SOUS 506331 HAS SOUPS 506331 WITH SCORE 507424.198
AT ITER 9186 NEW BEST:: SOT 2119537 SOS 1092921 HAS SOPS 1092921 HAS SOUS 506016 HAS SOUPS 506016 WITH SCORE 507108.921
AT ITER 9188 NEW BEST:: SOT 2119549 SOS 1092933 HAS SOPS 1092933 HAS SOUS 505880 HAS SOUPS 505880 WITH SCORE 506972.933
AT ITER 9209 NEW BEST:: SOT 2119554 SOS 1092987 HAS SOPS 1092987 HAS SOUS 505805 HAS SOUPS 505805 WITH SCORE 506897.987
AT ITER 9232 NEW BEST:: SOT 2119323 SOS 1091257 HAS SOPS 1091257 HAS SOUS 505686 HAS SOUPS 505686 WITH SCORE 506777.257
AT ITER 9234 NEW BEST:: SOT 2119340 SOS 1090880 HAS SOPS 1090880 HAS SOUS 505341 HAS SOUPS 505341 WITH SCORE 506431.88
AT ITER 9239 NEW BEST:: SOT 2119218 SOS 1090556 HAS SOPS 1090556 HAS SOUS 505182 HAS SOUPS 505182 WITH SCORE 506272.556
AT ITER 9241 NEW BEST:: SOT 2119132 SOS 1090385 HAS SOPS 1090385 HAS SOUS 505010 HAS SOUPS 505010 WITH SCORE 506100.385
AT ITER 9256 NEW BEST:: SOT 2119132 SOS 1090328 HAS SOPS 1090328 HAS SOUS 504953 HAS SOUPS 504953 WITH SCORE 506043.328
AT ITER 9266 NEW BEST:: SOT 2118962 SOS 1090416 HAS SOPS 1090416 HAS SOUS 504849 HAS SOUPS 504849 WITH SCORE 505939.416
AT ITER 9267 NEW BEST:: SOT 2118964 SOS 1090418 HAS SOPS 1090418 HAS SOUS 504790 HAS SOUPS 504790 WITH SCORE 505880.418
AT ITER 9268 NEW BEST:: SOT 2114928 SOS 1091490 HAS SOPS 1091490 HAS SOUS 500722 HAS SOUPS 500722 WITH SCORE 501813.49
AT ITER 9270 NEW BEST:: SOT 2114928 SOS 1091536 HAS SOPS 1091536 HAS SOUS 500676 HAS SOUPS 500676 WITH SCORE 501767.536
AT ITER 9286 NEW BEST:: SOT 2114928 SOS 1090960 HAS SOPS 1090960 HAS SOUS 500676 HAS SOUPS 500676 WITH SCORE 501766.96
AT ITER 9300 NEW BEST:: SOT 2114828 SOS 1090860 HAS SOPS 1090860 HAS SOUS 500576 HAS SOUPS 500576 WITH SCORE 501666.86
AT ITER 9304 NEW BEST:: SOT 2114816 SOS 1090295 HAS SOPS 1090295 HAS SOUS 500552 HAS SOUPS 500552 WITH SCORE 501642.295
AT ITER 9315 NEW BEST:: SOT 2114592 SOS 1089597 HAS SOPS 1089597 HAS SOUS 500252 HAS SOUPS 500252 WITH SCORE 501341.597
AT ITER 9333 NEW BEST:: SOT 2113740 SOS 1088761 HAS SOPS 1088761 HAS SOUS 499416 HAS SOUPS 499416 WITH SCORE 500504.761
AT ITER 9335 NEW BEST:: SOT 2113072 SOS 1088000 HAS SOPS 1088000 HAS SOUS 499038 HAS SOUPS 499038 WITH SCORE 500126.0
AT ITER 9341 NEW BEST:: SOT 2113063 SOS 1087991 HAS SOPS 1087991 HAS SOUS 499029 HAS SOUPS 499029 WITH SCORE 500116.991
AT ITER 9359 NEW BEST:: SOT 2112870 SOS 1087745 HAS SOPS 1087745 HAS SOUS 498643 HAS SOUPS 498643 WITH SCORE 499730.745
AT ITER 9380 NEW BEST:: SOT 2112699 SOS 1087574 HAS SOPS 1087574 HAS SOUS 498472 HAS SOUPS 498472 WITH SCORE 499559.574
AT ITER 9384 NEW BEST:: SOT 2112480 SOS 1087453 HAS SOPS 1087453 HAS SOUS 498471 HAS SOUPS 498471 WITH SCORE 499558.453
AT ITER 9392 NEW BEST:: SOT 2112480 SOS 1087429 HAS SOPS 1087429 HAS SOUS 498468 HAS SOUPS 498468 WITH SCORE 499555.429
AT ITER 9404 NEW BEST:: SOT 2112319 SOS 1087262 HAS SOPS 1087262 HAS SOUS 498305 HAS SOUPS 498305 WITH SCORE 499392.262
AT ITER 9409 NEW BEST:: SOT 2112156 SOS 1087187 HAS SOPS 1087187 HAS SOUS 498201 HAS SOUPS 498201 WITH SCORE 499288.187
AT ITER 9418 NEW BEST:: SOT 2112099 SOS 1087130 HAS SOPS 1087130 HAS SOUS 498144 HAS SOUPS 498144 WITH SCORE 499231.13
AT ITER 9422 NEW BEST:: SOT 2112104 SOS 1087135 HAS SOPS 1087135 HAS SOUS 498099 HAS SOUPS 498099 WITH SCORE 499186.135
AT ITER 9432 NEW BEST:: SOT 2112100 SOS 1087131 HAS SOPS 1087131 HAS SOUS 498095 HAS SOUPS 498095 WITH SCORE 499182.131
AT ITER 9444 NEW BEST:: SOT 2112100 SOS 1086987 HAS SOPS 1086987 HAS SOUS 498095 HAS SOUPS 498095 WITH SCORE 499181.987
AT ITER 9452 NEW BEST:: SOT 2112114 SOS 1086607 HAS SOPS 1086607 HAS SOUS 498011 HAS SOUPS 498011 WITH SCORE 499097.607
AT ITER 9480 NEW BEST:: SOT 2112114 SOS 1086059 HAS SOPS 1086059 HAS SOUS 497959 HAS SOUPS 497959 WITH SCORE 499045.059
AT ITER 9487 NEW BEST:: SOT 2112074 SOS 1086057 HAS SOPS 1086057 HAS SOUS 497611 HAS SOUPS 497611 WITH SCORE 498697.057
AT ITER 9523 NEW BEST:: SOT 2112074 SOS 1086049 HAS SOPS 1086049 HAS SOUS 497610 HAS SOUPS 497610 WITH SCORE 498696.049
AT ITER 9565 NEW BEST:: SOT 2112074 SOS 1086049 HAS SOPS 1086049 HAS SOUS 497586 HAS SOUPS 497586 WITH SCORE 498672.049
AT ITER 9592 NEW BEST:: SOT 2111922 SOS 1085996 HAS SOPS 1085996 HAS SOUS 497550 HAS SOUPS 497550 WITH SCORE 498635.996
AT ITER 9607 NEW BEST:: SOT 2112300 SOS 1085833 HAS SOPS 1085833 HAS SOUS 497161 HAS SOUPS 497161 WITH SCORE 498246.833
AT ITER 9613 NEW BEST:: SOT 2112251 SOS 1085784 HAS SOPS 1085784 HAS SOUS 497112 HAS SOUPS 497112 WITH SCORE 498197.784
AT ITER 9619 NEW BEST:: SOT 2112254 SOS 1085713 HAS SOPS 1085713 HAS SOUS 497067 HAS SOUPS 497067 WITH SCORE 498152.713
AT ITER 9625 NEW BEST:: SOT 2112253 SOS 1085712 HAS SOPS 1085712 HAS SOUS 497065 HAS SOUPS 497065 WITH SCORE 498150.712
AT ITER 9627 NEW BEST:: SOT 2112272 SOS 1085693 HAS SOPS 1085693 HAS SOUS 497065 HAS SOUPS 497065 WITH SCORE 498150.693
AT ITER 9652 NEW BEST:: SOT 2112272 SOS 1085693 HAS SOPS 1085693 HAS SOUS 497011 HAS SOUPS 497011 WITH SCORE 498096.693
AT ITER 9657 NEW BEST:: SOT 2112240 SOS 1085334 HAS SOPS 1085334 HAS SOUS 496947 HAS SOUPS 496947 WITH SCORE 498032.334
AT ITER 9668 NEW BEST:: SOT 2112161 SOS 1084717 HAS SOPS 1084717 HAS SOUS 496657 HAS SOUPS 496657 WITH SCORE 497741.717
AT ITER 9688 NEW BEST:: SOT 2111880 SOS 1083310 HAS SOPS 1083310 HAS SOUS 496374 HAS SOUPS 496374 WITH SCORE 497457.31
AT ITER 9699 NEW BEST:: SOT 2111464 SOS 1082504 HAS SOPS 1082504 HAS SOUS 495781 HAS SOUPS 495781 WITH SCORE 496863.504
AT ITER 9700 NEW BEST:: SOT 2111246 SOS 1081786 HAS SOPS 1081786 HAS SOUS 495595 HAS SOUPS 495595 WITH SCORE 496676.786
AT ITER 9714 NEW BEST:: SOT 2111159 SOS 1081612 HAS SOPS 1081612 HAS SOUS 495421 HAS SOUPS 495421 WITH SCORE 496502.612
AT ITER 9739 NEW BEST:: SOT 2111158 SOS 1081611 HAS SOPS 1081611 HAS SOUS 495420 HAS SOUPS 495420 WITH SCORE 496501.611
AT ITER 9743 NEW BEST:: SOT 2111029 SOS 1081051 HAS SOPS 1081051 HAS SOUS 495150 HAS SOUPS 495150 WITH SCORE 496231.051
AT ITER 9749 NEW BEST:: SOT 2110949 SOS 1080891 HAS SOPS 1080891 HAS SOUS 494990 HAS SOUPS 494990 WITH SCORE 496070.891
AT ITER 9751 NEW BEST:: SOT 2110652 SOS 1080374 HAS SOPS 1080374 HAS SOUS 494583 HAS SOUPS 494583 WITH SCORE 495663.374
AT ITER 9765 NEW BEST:: SOT 2110652 SOS 1080374 HAS SOPS 1080374 HAS SOUS 494225 HAS SOUPS 494225 WITH SCORE 495305.374
AT ITER 9807 NEW BEST:: SOT 2110469 SOS 1080374 HAS SOPS 1080374 HAS SOUS 493922 HAS SOUPS 493922 WITH SCORE 495002.374
AT ITER 9809 NEW BEST:: SOT 2110192 SOS 1080097 HAS SOPS 1080097 HAS SOUS 493645 HAS SOUPS 493645 WITH SCORE 494725.097
AT ITER 9818 NEW BEST:: SOT 2110190 SOS 1080137 HAS SOPS 1080137 HAS SOUS 493510 HAS SOUPS 493510 WITH SCORE 494590.137
AT ITER 9821 NEW BEST:: SOT 2110190 SOS 1076347 HAS SOPS 1076347 HAS SOUS 493464 HAS SOUPS 493464 WITH SCORE 494540.347
AT ITER 9824 NEW BEST:: SOT 2110190 SOS 1076423 HAS SOPS 1076423 HAS SOUS 493158 HAS SOUPS 493158 WITH SCORE 494234.423
AT ITER 9827 NEW BEST:: SOT 2110079 SOS 1076173 HAS SOPS 1076173 HAS SOUS 492908 HAS SOUPS 492908 WITH SCORE 493984.173
AT ITER 9832 NEW BEST:: SOT 2110040 SOS 1075628 HAS SOPS 1075628 HAS SOUS 492386 HAS SOUPS 492386 WITH SCORE 493461.628
AT ITER 9835 NEW BEST:: SOT 2109812 SOS 1075644 HAS SOPS 1075644 HAS SOUS 492274 HAS SOUPS 492274 WITH SCORE 493349.644
AT ITER 9837 NEW BEST:: SOT 2109620 SOS 1075397 HAS SOPS 1075397 HAS SOUS 492027 HAS SOUPS 492027 WITH SCORE 493102.397
AT ITER 9877 NEW BEST:: SOT 2109589 SOS 1075366 HAS SOPS 1075366 HAS SOUS 491965 HAS SOUPS 491965 WITH SCORE 493040.366
AT ITER 9881 NEW BEST:: SOT 2109576 SOS 1073254 HAS SOPS 1073254 HAS SOUS 491939 HAS SOUPS 491939 WITH SCORE 493012.254
AT ITER 9897 NEW BEST:: SOT 2110436 SOS 1073782 HAS SOPS 1073782 HAS SOUS 491471 HAS SOUPS 491471 WITH SCORE 492544.782
AT ITER 9900 NEW BEST:: SOT 2110464 SOS 1073763 HAS SOPS 1073763 HAS SOUS 491453 HAS SOUPS 491453 WITH SCORE 492526.763
AT ITER 9926 NEW BEST:: SOT 2110736 SOS 1073260 HAS SOPS 1073260 HAS SOUS 491371 HAS SOUPS 491371 WITH SCORE 492444.26
AT ITER 9937 NEW BEST:: SOT 2110736 SOS 1073242 HAS SOPS 1073242 HAS SOUS 491371 HAS SOUPS 491371 WITH SCORE 492444.242
AT ITER 9945 NEW BEST:: SOT 2110511 SOS 1073017 HAS SOPS 1073017 HAS SOUS 491075 HAS SOUPS 491075 WITH SCORE 492148.017
AT ITER 9946 NEW BEST:: SOT 2110511 SOS 1072737 HAS SOPS 1072737 HAS SOUS 490921 HAS SOUPS 490921 WITH SCORE 491993.737
AT ITER 9948 NEW BEST:: SOT 2110440 SOS 1072666 HAS SOPS 1072666 HAS SOUS 490699 HAS SOUPS 490699 WITH SCORE 491771.666
AT ITER 9977 NEW BEST:: SOT 2110440 SOS 1070496 HAS SOPS 1070496 HAS SOUS 490299 HAS SOUPS 490299 WITH SCORE 491369.496
AT ITER 9994 NEW BEST:: SOT 2110382 SOS 1070438 HAS SOPS 1070438 HAS SOUS 490241 HAS SOUPS 490241 WITH SCORE 491311.438
AT ITER 9999 NEW BEST:: SOT 2110376 SOS 1070420 HAS SOPS 1070420 HAS SOUS 490223 HAS SOUPS 490223 WITH SCORE 491293.42
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 8456312 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16121276 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-08a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is ASLink-PT-08a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-oct2-167813599800128"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-08a.tgz
mv ASLink-PT-08a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;