fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897508100123
Last Updated
Jun 28, 2020

About the Execution of smart for ASLink-PT-08a

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

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508100123.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ASLink-PT-08a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508100123
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 924K
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 08:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 08:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 757K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589059277919

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 08a
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
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 9 NEW BEST:: SOT 2632295 SOS 1809082 HAS SOPS 1809082 HAS SOUS 1177269 HAS SOUPS 1177269 WITH SCORE 1179078.082
AT ITER 12 NEW BEST:: SOT 2631862 SOS 1808903 HAS SOPS 1808903 HAS SOUS 1177089 HAS SOUPS 1177089 WITH SCORE 1178897.903
AT ITER 15 NEW BEST:: SOT 2625973 SOS 1803195 HAS SOPS 1803195 HAS SOUS 1171381 HAS SOUPS 1171381 WITH SCORE 1173184.195
AT ITER 20 NEW BEST:: SOT 2625273 SOS 1800933 HAS SOPS 1800933 HAS SOUS 1169961 HAS SOUPS 1169961 WITH SCORE 1171761.933
AT ITER 26 NEW BEST:: SOT 2625273 SOS 1800930 HAS SOPS 1800930 HAS SOUS 1169958 HAS SOUPS 1169958 WITH SCORE 1171758.93
AT ITER 29 NEW BEST:: SOT 2627628 SOS 1802500 HAS SOPS 1802500 HAS SOUS 1169955 HAS SOUPS 1169955 WITH SCORE 1171757.5
AT ITER 30 NEW BEST:: SOT 2621375 SOS 1796247 HAS SOPS 1796247 HAS SOUS 1163702 HAS SOUPS 1163702 WITH SCORE 1165498.247
AT ITER 33 NEW BEST:: SOT 2621375 SOS 1796247 HAS SOPS 1796247 HAS SOUS 1163701 HAS SOUPS 1163701 WITH SCORE 1165497.247
AT ITER 39 NEW BEST:: SOT 2621915 SOS 1795364 HAS SOPS 1795364 HAS SOUS 1162929 HAS SOUPS 1162929 WITH SCORE 1164724.364
AT ITER 46 NEW BEST:: SOT 2621384 SOS 1794833 HAS SOPS 1794833 HAS SOUS 1162919 HAS SOUPS 1162919 WITH SCORE 1164713.833
AT ITER 55 NEW BEST:: SOT 2621995 SOS 1794833 HAS SOPS 1794833 HAS SOUS 1161697 HAS SOUPS 1161697 WITH SCORE 1163491.833
AT ITER 65 NEW BEST:: SOT 2608433 SOS 1780819 HAS SOPS 1780819 HAS SOUS 1147683 HAS SOUPS 1147683 WITH SCORE 1149463.819
AT ITER 80 NEW BEST:: SOT 2604183 SOS 1779675 HAS SOPS 1779675 HAS SOUS 1143396 HAS SOUPS 1143396 WITH SCORE 1145175.675
AT ITER 92 NEW BEST:: SOT 2604177 SOS 1779656 HAS SOPS 1779656 HAS SOUS 1143377 HAS SOUPS 1143377 WITH SCORE 1145156.656
AT ITER 93 NEW BEST:: SOT 2604177 SOS 1779656 HAS SOPS 1779656 HAS SOUS 1143376 HAS SOUPS 1143376 WITH SCORE 1145155.656
AT ITER 97 NEW BEST:: SOT 2603183 SOS 1779982 HAS SOPS 1779982 HAS SOUS 1142547 HAS SOUPS 1142547 WITH SCORE 1144326.982
AT ITER 99 NEW BEST:: SOT 2602294 SOS 1779093 HAS SOPS 1779093 HAS SOUS 1141658 HAS SOUPS 1141658 WITH SCORE 1143437.093
AT ITER 108 NEW BEST:: SOT 2602796 SOS 1777978 HAS SOPS 1777978 HAS SOUS 1140865 HAS SOUPS 1140865 WITH SCORE 1142642.978
AT ITER 111 NEW BEST:: SOT 2599996 SOS 1775178 HAS SOPS 1775178 HAS SOUS 1138523 HAS SOUPS 1138523 WITH SCORE 1140298.178
AT ITER 118 NEW BEST:: SOT 2599617 SOS 1774796 HAS SOPS 1774796 HAS SOUS 1138497 HAS SOUPS 1138497 WITH SCORE 1140271.796
AT ITER 119 NEW BEST:: SOT 2598860 SOS 1774193 HAS SOPS 1774193 HAS SOUS 1137834 HAS SOUPS 1137834 WITH SCORE 1139608.193
AT ITER 120 NEW BEST:: SOT 2594030 SOS 1774296 HAS SOPS 1774296 HAS SOUS 1133871 HAS SOUPS 1133871 WITH SCORE 1135645.296
AT ITER 134 NEW BEST:: SOT 2592309 SOS 1772575 HAS SOPS 1772575 HAS SOUS 1132150 HAS SOUPS 1132150 WITH SCORE 1133922.575
AT ITER 140 NEW BEST:: SOT 2591966 SOS 1772232 HAS SOPS 1772232 HAS SOUS 1132025 HAS SOUPS 1132025 WITH SCORE 1133797.232
AT ITER 142 NEW BEST:: SOT 2591395 SOS 1766572 HAS SOPS 1766572 HAS SOUS 1130882 HAS SOUPS 1130882 WITH SCORE 1132648.572
AT ITER 145 NEW BEST:: SOT 2591395 SOS 1766569 HAS SOPS 1766569 HAS SOUS 1130879 HAS SOUPS 1130879 WITH SCORE 1132645.569
AT ITER 148 NEW BEST:: SOT 2571899 SOS 1747073 HAS SOPS 1747073 HAS SOUS 1111382 HAS SOUPS 1111382 WITH SCORE 1113129.073
AT ITER 150 NEW BEST:: SOT 2571835 SOS 1747009 HAS SOPS 1747009 HAS SOUS 1111318 HAS SOUPS 1111318 WITH SCORE 1113065.009
AT ITER 152 NEW BEST:: SOT 2570840 SOS 1743181 HAS SOPS 1743181 HAS SOUS 1110437 HAS SOUPS 1110437 WITH SCORE 1112180.181
AT ITER 156 NEW BEST:: SOT 2570069 SOS 1741639 HAS SOPS 1741639 HAS SOUS 1109738 HAS SOUPS 1109738 WITH SCORE 1111479.639
AT ITER 161 NEW BEST:: SOT 2570069 SOS 1741100 HAS SOPS 1741100 HAS SOUS 1109199 HAS SOUPS 1109199 WITH SCORE 1110940.1
AT ITER 164 NEW BEST:: SOT 2569462 SOS 1740485 HAS SOPS 1740485 HAS SOUS 1109189 HAS SOUPS 1109189 WITH SCORE 1110929.485
AT ITER 171 NEW BEST:: SOT 2568114 SOS 1738986 HAS SOPS 1738986 HAS SOUS 1108578 HAS SOUPS 1108578 WITH SCORE 1110316.986
AT ITER 172 NEW BEST:: SOT 2567837 SOS 1738963 HAS SOPS 1738963 HAS SOUS 1108555 HAS SOUPS 1108555 WITH SCORE 1110293.963
AT ITER 180 NEW BEST:: SOT 2567260 SOS 1738386 HAS SOPS 1738386 HAS SOUS 1108550 HAS SOUPS 1108550 WITH SCORE 1110288.386
AT ITER 190 NEW BEST:: SOT 2549992 SOS 1720947 HAS SOPS 1720947 HAS SOUS 1091143 HAS SOUPS 1091143 WITH SCORE 1092863.947
AT ITER 191 NEW BEST:: SOT 2549992 SOS 1719664 HAS SOPS 1719664 HAS SOUS 1089860 HAS SOUPS 1089860 WITH SCORE 1091579.664
AT ITER 198 NEW BEST:: SOT 2541313 SOS 1711132 HAS SOPS 1711132 HAS SOUS 1081284 HAS SOUPS 1081284 WITH SCORE 1082995.132
AT ITER 211 NEW BEST:: SOT 2540889 SOS 1710708 HAS SOPS 1710708 HAS SOUS 1081282 HAS SOUPS 1081282 WITH SCORE 1082992.708
AT ITER 219 NEW BEST:: SOT 2540317 SOS 1710299 HAS SOPS 1710299 HAS SOUS 1080873 HAS SOUPS 1080873 WITH SCORE 1082583.299
AT ITER 226 NEW BEST:: SOT 2540317 SOS 1709808 HAS SOPS 1709808 HAS SOUS 1080382 HAS SOUPS 1080382 WITH SCORE 1082091.808
AT ITER 227 NEW BEST:: SOT 2540193 SOS 1709684 HAS SOPS 1709684 HAS SOUS 1080382 HAS SOUPS 1080382 WITH SCORE 1082091.684
AT ITER 230 NEW BEST:: SOT 2537792 SOS 1709926 HAS SOPS 1709926 HAS SOUS 1078640 HAS SOUPS 1078640 WITH SCORE 1080349.926
AT ITER 232 NEW BEST:: SOT 2537633 SOS 1709334 HAS SOPS 1709334 HAS SOUS 1078322 HAS SOUPS 1078322 WITH SCORE 1080031.334
AT ITER 238 NEW BEST:: SOT 2537633 SOS 1709334 HAS SOPS 1709334 HAS SOUS 1078321 HAS SOUPS 1078321 WITH SCORE 1080030.334
AT ITER 241 NEW BEST:: SOT 2536855 SOS 1702980 HAS SOPS 1702980 HAS SOUS 1076763 HAS SOUPS 1076763 WITH SCORE 1078465.98
AT ITER 244 NEW BEST:: SOT 2536990 SOS 1701802 HAS SOPS 1701802 HAS SOUS 1076022 HAS SOUPS 1076022 WITH SCORE 1077723.802
AT ITER 249 NEW BEST:: SOT 2536302 SOS 1701114 HAS SOPS 1701114 HAS SOUS 1075369 HAS SOUPS 1075369 WITH SCORE 1077070.114
AT ITER 262 NEW BEST:: SOT 2536302 SOS 1699068 HAS SOPS 1699068 HAS SOUS 1075362 HAS SOUPS 1075362 WITH SCORE 1077061.068
AT ITER 266 NEW BEST:: SOT 2535263 SOS 1698204 HAS SOPS 1698204 HAS SOUS 1074321 HAS SOUPS 1074321 WITH SCORE 1076019.204
AT ITER 279 NEW BEST:: SOT 2534276 SOS 1697354 HAS SOPS 1697354 HAS SOUS 1073471 HAS SOUPS 1073471 WITH SCORE 1075168.354
AT ITER 285 NEW BEST:: SOT 2533367 SOS 1696445 HAS SOPS 1696445 HAS SOUS 1072561 HAS SOUPS 1072561 WITH SCORE 1074257.445
AT ITER 298 NEW BEST:: SOT 2533367 SOS 1697266 HAS SOPS 1697266 HAS SOUS 1072559 HAS SOUPS 1072559 WITH SCORE 1074256.266
AT ITER 302 NEW BEST:: SOT 2532728 SOS 1696627 HAS SOPS 1696627 HAS SOUS 1072557 HAS SOUPS 1072557 WITH SCORE 1074253.627
AT ITER 304 NEW BEST:: SOT 2529826 SOS 1693235 HAS SOPS 1693235 HAS SOUS 1069165 HAS SOUPS 1069165 WITH SCORE 1070858.235
AT ITER 308 NEW BEST:: SOT 2529826 SOS 1693235 HAS SOPS 1693235 HAS SOUS 1069159 HAS SOUPS 1069159 WITH SCORE 1070852.235
AT ITER 316 NEW BEST:: SOT 2529826 SOS 1693235 HAS SOPS 1693235 HAS SOUS 1069138 HAS SOUPS 1069138 WITH SCORE 1070831.235
AT ITER 323 NEW BEST:: SOT 2522865 SOS 1686474 HAS SOPS 1686474 HAS SOUS 1062219 HAS SOUPS 1062219 WITH SCORE 1063905.474
AT ITER 326 NEW BEST:: SOT 2521931 SOS 1685540 HAS SOPS 1685540 HAS SOUS 1061285 HAS SOUPS 1061285 WITH SCORE 1062970.54
AT ITER 327 NEW BEST:: SOT 2518185 SOS 1688464 HAS SOPS 1688464 HAS SOUS 1059772 HAS SOUPS 1059772 WITH SCORE 1061460.464
AT ITER 333 NEW BEST:: SOT 2518080 SOS 1688254 HAS SOPS 1688254 HAS SOUS 1059667 HAS SOUPS 1059667 WITH SCORE 1061355.254
AT ITER 334 NEW BEST:: SOT 2511628 SOS 1681802 HAS SOPS 1681802 HAS SOUS 1053215 HAS SOUPS 1053215 WITH SCORE 1054896.802
AT ITER 339 NEW BEST:: SOT 2511614 SOS 1681760 HAS SOPS 1681760 HAS SOUS 1053187 HAS SOUPS 1053187 WITH SCORE 1054868.76
AT ITER 343 NEW BEST:: SOT 2511614 SOS 1679479 HAS SOPS 1679479 HAS SOUS 1053186 HAS SOUPS 1053186 WITH SCORE 1054865.479
AT ITER 350 NEW BEST:: SOT 2511606 SOS 1679454 HAS SOPS 1679454 HAS SOUS 1053161 HAS SOUPS 1053161 WITH SCORE 1054840.454
AT ITER 363 NEW BEST:: SOT 2509770 SOS 1677618 HAS SOPS 1677618 HAS SOUS 1051325 HAS SOUPS 1051325 WITH SCORE 1053002.618
AT ITER 364 NEW BEST:: SOT 2509765 SOS 1677314 HAS SOPS 1677314 HAS SOUS 1051292 HAS SOUPS 1051292 WITH SCORE 1052969.314
AT ITER 370 NEW BEST:: SOT 2509764 SOS 1677313 HAS SOPS 1677313 HAS SOUS 1051281 HAS SOUPS 1051281 WITH SCORE 1052958.313
AT ITER 371 NEW BEST:: SOT 2509764 SOS 1677106 HAS SOPS 1677106 HAS SOUS 1051193 HAS SOUPS 1051193 WITH SCORE 1052870.106
AT ITER 373 NEW BEST:: SOT 2509532 SOS 1676874 HAS SOPS 1676874 HAS SOUS 1051182 HAS SOUPS 1051182 WITH SCORE 1052858.874
AT ITER 395 NEW BEST:: SOT 2509531 SOS 1676873 HAS SOPS 1676873 HAS SOUS 1051180 HAS SOUPS 1051180 WITH SCORE 1052856.873
AT ITER 403 NEW BEST:: SOT 2508903 SOS 1676153 HAS SOPS 1676153 HAS SOUS 1051088 HAS SOUPS 1051088 WITH SCORE 1052764.153
AT ITER 404 NEW BEST:: SOT 2508903 SOS 1675436 HAS SOPS 1675436 HAS SOUS 1051087 HAS SOUPS 1051087 WITH SCORE 1052762.436
AT ITER 405 NEW BEST:: SOT 2507616 SOS 1674139 HAS SOPS 1674139 HAS SOUS 1049790 HAS SOUPS 1049790 WITH SCORE 1051464.139
AT ITER 413 NEW BEST:: SOT 2507422 SOS 1671985 HAS SOPS 1671985 HAS SOUS 1049334 HAS SOUPS 1049334 WITH SCORE 1051005.985
AT ITER 418 NEW BEST:: SOT 2507393 SOS 1671107 HAS SOPS 1671107 HAS SOUS 1049277 HAS SOUPS 1049277 WITH SCORE 1050948.107
AT ITER 419 NEW BEST:: SOT 2506444 SOS 1669548 HAS SOPS 1669548 HAS SOUS 1046589 HAS SOUPS 1046589 WITH SCORE 1048258.548
AT ITER 423 NEW BEST:: SOT 2506425 SOS 1669480 HAS SOPS 1669480 HAS SOUS 1046521 HAS SOUPS 1046521 WITH SCORE 1048190.48
AT ITER 431 NEW BEST:: SOT 2500166 SOS 1663221 HAS SOPS 1663221 HAS SOUS 1040261 HAS SOUPS 1040261 WITH SCORE 1041924.221
AT ITER 435 NEW BEST:: SOT 2500553 SOS 1663142 HAS SOPS 1663142 HAS SOUS 1040182 HAS SOUPS 1040182 WITH SCORE 1041845.142
AT ITER 438 NEW BEST:: SOT 2500870 SOS 1663142 HAS SOPS 1663142 HAS SOUS 1039548 HAS SOUPS 1039548 WITH SCORE 1041211.142
AT ITER 444 NEW BEST:: SOT 2500868 SOS 1663140 HAS SOPS 1663140 HAS SOUS 1039546 HAS SOUPS 1039546 WITH SCORE 1041209.14
AT ITER 449 NEW BEST:: SOT 2500866 SOS 1663138 HAS SOPS 1663138 HAS SOUS 1039543 HAS SOUPS 1039543 WITH SCORE 1041206.138
AT ITER 452 NEW BEST:: SOT 2500864 SOS 1658446 HAS SOPS 1658446 HAS SOUS 1039521 HAS SOUPS 1039521 WITH SCORE 1041179.446
AT ITER 454 NEW BEST:: SOT 2500642 SOS 1657339 HAS SOPS 1657339 HAS SOUS 1039466 HAS SOUPS 1039466 WITH SCORE 1041123.339
AT ITER 463 NEW BEST:: SOT 2500642 SOS 1656402 HAS SOPS 1656402 HAS SOUS 1039464 HAS SOUPS 1039464 WITH SCORE 1041120.402
AT ITER 466 NEW BEST:: SOT 2497364 SOS 1653124 HAS SOPS 1653124 HAS SOUS 1036185 HAS SOUPS 1036185 WITH SCORE 1037838.124
AT ITER 468 NEW BEST:: SOT 2497586 SOS 1652865 HAS SOPS 1652865 HAS SOUS 1035889 HAS SOUPS 1035889 WITH SCORE 1037541.865
AT ITER 487 NEW BEST:: SOT 2497512 SOS 1652791 HAS SOPS 1652791 HAS SOUS 1035872 HAS SOUPS 1035872 WITH SCORE 1037524.791
AT ITER 494 NEW BEST:: SOT 2496381 SOS 1657976 HAS SOPS 1657976 HAS SOUS 1035447 HAS SOUPS 1035447 WITH SCORE 1037104.976
AT ITER 496 NEW BEST:: SOT 2496205 SOS 1657120 HAS SOPS 1657120 HAS SOUS 1035076 HAS SOUPS 1035076 WITH SCORE 1036733.12
AT ITER 501 NEW BEST:: SOT 2496700 SOS 1657120 HAS SOPS 1657120 HAS SOUS 1034544 HAS SOUPS 1034544 WITH SCORE 1036201.12
AT ITER 502 NEW BEST:: SOT 2496521 SOS 1656103 HAS SOPS 1656103 HAS SOUS 1034544 HAS SOUPS 1034544 WITH SCORE 1036200.103
AT ITER 503 NEW BEST:: SOT 2496519 SOS 1656101 HAS SOPS 1656101 HAS SOUS 1034542 HAS SOUPS 1034542 WITH SCORE 1036198.101
AT ITER 506 NEW BEST:: SOT 2495201 SOS 1654450 HAS SOPS 1654450 HAS SOUS 1033957 HAS SOUPS 1033957 WITH SCORE 1035611.45
AT ITER 511 NEW BEST:: SOT 2495199 SOS 1650723 HAS SOPS 1650723 HAS SOUS 1033949 HAS SOUPS 1033949 WITH SCORE 1035599.723
AT ITER 520 NEW BEST:: SOT 2495093 SOS 1650573 HAS SOPS 1650573 HAS SOUS 1033799 HAS SOUPS 1033799 WITH SCORE 1035449.573
AT ITER 522 NEW BEST:: SOT 2494925 SOS 1650405 HAS SOPS 1650405 HAS SOUS 1033630 HAS SOUPS 1033630 WITH SCORE 1035280.405
AT ITER 523 NEW BEST:: SOT 2494034 SOS 1649514 HAS SOPS 1649514 HAS SOUS 1031898 HAS SOUPS 1031898 WITH SCORE 1033547.514
AT ITER 524 NEW BEST:: SOT 2494012 SOS 1649492 HAS SOPS 1649492 HAS SOUS 1031865 HAS SOUPS 1031865 WITH SCORE 1033514.492
AT ITER 528 NEW BEST:: SOT 2494012 SOS 1648811 HAS SOPS 1648811 HAS SOUS 1031607 HAS SOUPS 1031607 WITH SCORE 1033255.811
AT ITER 529 NEW BEST:: SOT 2493535 SOS 1648158 HAS SOPS 1648158 HAS SOUS 1031575 HAS SOUPS 1031575 WITH SCORE 1033223.158
AT ITER 531 NEW BEST:: SOT 2493535 SOS 1648127 HAS SOPS 1648127 HAS SOUS 1031575 HAS SOUPS 1031575 WITH SCORE 1033223.127
AT ITER 538 NEW BEST:: SOT 2494161 SOS 1648127 HAS SOPS 1648127 HAS SOUS 1030949 HAS SOUPS 1030949 WITH SCORE 1032597.127
AT ITER 542 NEW BEST:: SOT 2494161 SOS 1647897 HAS SOPS 1647897 HAS SOUS 1030551 HAS SOUPS 1030551 WITH SCORE 1032198.897
AT ITER 551 NEW BEST:: SOT 2494161 SOS 1646120 HAS SOPS 1646120 HAS SOUS 1029979 HAS SOUPS 1029979 WITH SCORE 1031625.12
AT ITER 552 NEW BEST:: SOT 2493622 SOS 1645576 HAS SOPS 1645576 HAS SOUS 1029973 HAS SOUPS 1029973 WITH SCORE 1031618.576
AT ITER 554 NEW BEST:: SOT 2493622 SOS 1645119 HAS SOPS 1645119 HAS SOUS 1029972 HAS SOUPS 1029972 WITH SCORE 1031617.119
AT ITER 555 NEW BEST:: SOT 2493622 SOS 1641984 HAS SOPS 1641984 HAS SOUS 1029528 HAS SOUPS 1029528 WITH SCORE 1031169.984
AT ITER 559 NEW BEST:: SOT 2491360 SOS 1640153 HAS SOPS 1640153 HAS SOUS 1027696 HAS SOUPS 1027696 WITH SCORE 1029336.153
AT ITER 562 NEW BEST:: SOT 2490732 SOS 1637950 HAS SOPS 1637950 HAS SOUS 1025618 HAS SOUPS 1025618 WITH SCORE 1027255.95
AT ITER 565 NEW BEST:: SOT 2490449 SOS 1636295 HAS SOPS 1636295 HAS SOUS 1023963 HAS SOUPS 1023963 WITH SCORE 1025599.295
AT ITER 574 NEW BEST:: SOT 2490260 SOS 1636106 HAS SOPS 1636106 HAS SOUS 1023774 HAS SOUPS 1023774 WITH SCORE 1025410.106
AT ITER 579 NEW BEST:: SOT 2489992 SOS 1635825 HAS SOPS 1635825 HAS SOUS 1023493 HAS SOUPS 1023493 WITH SCORE 1025128.825
AT ITER 580 NEW BEST:: SOT 2489992 SOS 1634733 HAS SOPS 1634733 HAS SOUS 1022862 HAS SOUPS 1022862 WITH SCORE 1024496.733
AT ITER 586 NEW BEST:: SOT 2486161 SOS 1630902 HAS SOPS 1630902 HAS SOUS 1019031 HAS SOUPS 1019031 WITH SCORE 1020661.902
AT ITER 590 NEW BEST:: SOT 2486101 SOS 1630842 HAS SOPS 1630842 HAS SOUS 1018971 HAS SOUPS 1018971 WITH SCORE 1020601.842
AT ITER 596 NEW BEST:: SOT 2486101 SOS 1630783 HAS SOPS 1630783 HAS SOUS 1018952 HAS SOUPS 1018952 WITH SCORE 1020582.783
AT ITER 598 NEW BEST:: SOT 2486101 SOS 1630265 HAS SOPS 1630265 HAS SOUS 1018458 HAS SOUPS 1018458 WITH SCORE 1020088.265
AT ITER 617 NEW BEST:: SOT 2484764 SOS 1628928 HAS SOPS 1628928 HAS SOUS 1017390 HAS SOUPS 1017390 WITH SCORE 1019018.928
AT ITER 618 NEW BEST:: SOT 2484800 SOS 1627212 HAS SOPS 1627212 HAS SOUS 1016892 HAS SOUPS 1016892 WITH SCORE 1018519.212
AT ITER 628 NEW BEST:: SOT 2484684 SOS 1627096 HAS SOPS 1627096 HAS SOUS 1016776 HAS SOUPS 1016776 WITH SCORE 1018403.096
AT ITER 630 NEW BEST:: SOT 2484168 SOS 1626580 HAS SOPS 1626580 HAS SOUS 1016260 HAS SOUPS 1016260 WITH SCORE 1017886.58
AT ITER 635 NEW BEST:: SOT 2484036 SOS 1626184 HAS SOPS 1626184 HAS SOUS 1015782 HAS SOUPS 1015782 WITH SCORE 1017408.184
AT ITER 641 NEW BEST:: SOT 2484035 SOS 1625816 HAS SOPS 1625816 HAS SOUS 1015776 HAS SOUPS 1015776 WITH SCORE 1017401.816
AT ITER 646 NEW BEST:: SOT 2483387 SOS 1625165 HAS SOPS 1625165 HAS SOUS 1015710 HAS SOUPS 1015710 WITH SCORE 1017335.165
AT ITER 648 NEW BEST:: SOT 2483926 SOS 1625274 HAS SOPS 1625274 HAS SOUS 1015708 HAS SOUPS 1015708 WITH SCORE 1017333.274
AT ITER 653 NEW BEST:: SOT 2483805 SOS 1624886 HAS SOPS 1624886 HAS SOUS 1015702 HAS SOUPS 1015702 WITH SCORE 1017326.886
AT ITER 663 NEW BEST:: SOT 2483805 SOS 1624490 HAS SOPS 1624490 HAS SOUS 1015696 HAS SOUPS 1015696 WITH SCORE 1017320.49
AT ITER 670 NEW BEST:: SOT 2483805 SOS 1624482 HAS SOPS 1624482 HAS SOUS 1015688 HAS SOUPS 1015688 WITH SCORE 1017312.482
AT ITER 671 NEW BEST:: SOT 2481483 SOS 1622160 HAS SOPS 1622160 HAS SOUS 1013366 HAS SOUPS 1013366 WITH SCORE 1014988.16
AT ITER 673 NEW BEST:: SOT 2480960 SOS 1621114 HAS SOPS 1621114 HAS SOUS 1012571 HAS SOUPS 1012571 WITH SCORE 1014192.114
AT ITER 681 NEW BEST:: SOT 2480675 SOS 1618725 HAS SOPS 1618725 HAS SOUS 1012070 HAS SOUPS 1012070 WITH SCORE 1013688.725
AT ITER 688 NEW BEST:: SOT 2480675 SOS 1618373 HAS SOPS 1618373 HAS SOUS 1011014 HAS SOUPS 1011014 WITH SCORE 1012632.373
AT ITER 689 NEW BEST:: SOT 2479909 SOS 1616841 HAS SOPS 1616841 HAS SOUS 1009643 HAS SOUPS 1009643 WITH SCORE 1011259.841
AT ITER 691 NEW BEST:: SOT 2479765 SOS 1616625 HAS SOPS 1616625 HAS SOUS 1009427 HAS SOUPS 1009427 WITH SCORE 1011043.625
AT ITER 702 NEW BEST:: SOT 2479764 SOS 1616459 HAS SOPS 1616459 HAS SOUS 1009095 HAS SOUPS 1009095 WITH SCORE 1010711.459
AT ITER 704 NEW BEST:: SOT 2479764 SOS 1615894 HAS SOPS 1615894 HAS SOUS 1008885 HAS SOUPS 1008885 WITH SCORE 1010500.894
AT ITER 713 NEW BEST:: SOT 2479345 SOS 1612263 HAS SOPS 1612263 HAS SOUS 1008213 HAS SOUPS 1008213 WITH SCORE 1009825.263
AT ITER 714 NEW BEST:: SOT 2479345 SOS 1611577 HAS SOPS 1611577 HAS SOUS 1007797 HAS SOUPS 1007797 WITH SCORE 1009408.577
AT ITER 715 NEW BEST:: SOT 2478584 SOS 1609245 HAS SOPS 1609245 HAS SOUS 1006272 HAS SOUPS 1006272 WITH SCORE 1007881.245
AT ITER 722 NEW BEST:: SOT 2478334 SOS 1608866 HAS SOPS 1608866 HAS SOUS 1006238 HAS SOUPS 1006238 WITH SCORE 1007846.866
AT ITER 723 NEW BEST:: SOT 2477784 SOS 1608586 HAS SOPS 1608586 HAS SOUS 1006063 HAS SOUPS 1006063 WITH SCORE 1007671.586
AT ITER 729 NEW BEST:: SOT 2477286 SOS 1608088 HAS SOPS 1608088 HAS SOUS 1005565 HAS SOUPS 1005565 WITH SCORE 1007173.088
AT ITER 737 NEW BEST:: SOT 2477371 SOS 1606574 HAS SOPS 1606574 HAS SOUS 1005353 HAS SOUPS 1005353 WITH SCORE 1006959.574
AT ITER 749 NEW BEST:: SOT 2477345 SOS 1606522 HAS SOPS 1606522 HAS SOUS 1005327 HAS SOUPS 1005327 WITH SCORE 1006933.522
AT ITER 755 NEW BEST:: SOT 2477345 SOS 1607025 HAS SOPS 1607025 HAS SOUS 1005001 HAS SOUPS 1005001 WITH SCORE 1006608.025
AT ITER 757 NEW BEST:: SOT 2476422 SOS 1605179 HAS SOPS 1605179 HAS SOUS 1001908 HAS SOUPS 1001908 WITH SCORE 1003513.179
AT ITER 759 NEW BEST:: SOT 2476504 SOS 1605330 HAS SOPS 1605330 HAS SOUS 1001871 HAS SOUPS 1001871 WITH SCORE 1003476.33
AT ITER 764 NEW BEST:: SOT 2475323 SOS 1604149 HAS SOPS 1604149 HAS SOUS 1000690 HAS SOUPS 1000690 WITH SCORE 1002294.149
AT ITER 765 NEW BEST:: SOT 2473908 SOS 1602782 HAS SOPS 1602782 HAS SOUS 999323 HAS SOUPS 999323 WITH SCORE 1000925.782
AT ITER 772 NEW BEST:: SOT 2473975 SOS 1602116 HAS SOPS 1602116 HAS SOUS 998179 HAS SOUPS 998179 WITH SCORE 999781.116
AT ITER 774 NEW BEST:: SOT 2468684 SOS 1596825 HAS SOPS 1596825 HAS SOUS 992888 HAS SOUPS 992888 WITH SCORE 994484.825
AT ITER 785 NEW BEST:: SOT 2469389 SOS 1596825 HAS SOPS 1596825 HAS SOUS 992574 HAS SOUPS 992574 WITH SCORE 994170.825
AT ITER 789 NEW BEST:: SOT 2469001 SOS 1596437 HAS SOPS 1596437 HAS SOUS 992185 HAS SOUPS 992185 WITH SCORE 993781.437
AT ITER 795 NEW BEST:: SOT 2468788 SOS 1596011 HAS SOPS 1596011 HAS SOUS 991757 HAS SOUPS 991757 WITH SCORE 993353.011
AT ITER 807 NEW BEST:: SOT 2468788 SOS 1595302 HAS SOPS 1595302 HAS SOUS 991048 HAS SOUPS 991048 WITH SCORE 992643.302
AT ITER 811 NEW BEST:: SOT 2468788 SOS 1599606 HAS SOPS 1599606 HAS SOUS 990893 HAS SOUPS 990893 WITH SCORE 992492.606
AT ITER 812 NEW BEST:: SOT 2468788 SOS 1599479 HAS SOPS 1599479 HAS SOUS 990893 HAS SOUPS 990893 WITH SCORE 992492.479
AT ITER 813 NEW BEST:: SOT 2468788 SOS 1599040 HAS SOPS 1599040 HAS SOUS 990814 HAS SOUPS 990814 WITH SCORE 992413.04
AT ITER 833 NEW BEST:: SOT 2468365 SOS 1599032 HAS SOPS 1599032 HAS SOUS 990806 HAS SOUPS 990806 WITH SCORE 992405.032
AT ITER 834 NEW BEST:: SOT 2468092 SOS 1598759 HAS SOPS 1598759 HAS SOUS 990533 HAS SOUPS 990533 WITH SCORE 992131.759
AT ITER 836 NEW BEST:: SOT 2467583 SOS 1597632 HAS SOPS 1597632 HAS SOUS 990389 HAS SOUPS 990389 WITH SCORE 991986.632
AT ITER 841 NEW BEST:: SOT 2466778 SOS 1596827 HAS SOPS 1596827 HAS SOUS 989934 HAS SOUPS 989934 WITH SCORE 991530.827
AT ITER 843 NEW BEST:: SOT 2466658 SOS 1596694 HAS SOPS 1596694 HAS SOUS 989801 HAS SOUPS 989801 WITH SCORE 991397.694
AT ITER 848 NEW BEST:: SOT 2466070 SOS 1596106 HAS SOPS 1596106 HAS SOUS 989235 HAS SOUPS 989235 WITH SCORE 990831.106
AT ITER 854 NEW BEST:: SOT 2465569 SOS 1594989 HAS SOPS 1594989 HAS SOUS 988911 HAS SOUPS 988911 WITH SCORE 990505.989
AT ITER 863 NEW BEST:: SOT 2465529 SOS 1594949 HAS SOPS 1594949 HAS SOUS 988870 HAS SOUPS 988870 WITH SCORE 990464.949
AT ITER 865 NEW BEST:: SOT 2465260 SOS 1592797 HAS SOPS 1592797 HAS SOUS 988332 HAS SOUPS 988332 WITH SCORE 989924.797
AT ITER 868 NEW BEST:: SOT 2465233 SOS 1592740 HAS SOPS 1592740 HAS SOUS 988278 HAS SOUPS 988278 WITH SCORE 989870.74
AT ITER 869 NEW BEST:: SOT 2465502 SOS 1592500 HAS SOPS 1592500 HAS SOUS 988038 HAS SOUPS 988038 WITH SCORE 989630.5
AT ITER 870 NEW BEST:: SOT 2458939 SOS 1587628 HAS SOPS 1587628 HAS SOUS 982030 HAS SOUPS 982030 WITH SCORE 983617.628
AT ITER 871 NEW BEST:: SOT 2456964 SOS 1589953 HAS SOPS 1589953 HAS SOUS 981365 HAS SOUPS 981365 WITH SCORE 982954.953
AT ITER 872 NEW BEST:: SOT 2454576 SOS 1590411 HAS SOPS 1590411 HAS SOUS 979909 HAS SOUPS 979909 WITH SCORE 981499.411
AT ITER 873 NEW BEST:: SOT 2454495 SOS 1590330 HAS SOPS 1590330 HAS SOUS 979828 HAS SOUPS 979828 WITH SCORE 981418.33
AT ITER 888 NEW BEST:: SOT 2454405 SOS 1589849 HAS SOPS 1589849 HAS SOUS 979649 HAS SOUPS 979649 WITH SCORE 981238.849
AT ITER 890 NEW BEST:: SOT 2454405 SOS 1588181 HAS SOPS 1588181 HAS SOUS 979649 HAS SOUPS 979649 WITH SCORE 981237.181
AT ITER 907 NEW BEST:: SOT 2452160 SOS 1587372 HAS SOPS 1587372 HAS SOUS 977764 HAS SOUPS 977764 WITH SCORE 979351.372
AT ITER 913 NEW BEST:: SOT 2452160 SOS 1586408 HAS SOPS 1586408 HAS SOUS 977764 HAS SOUPS 977764 WITH SCORE 979350.408
AT ITER 915 NEW BEST:: SOT 2439738 SOS 1573986 HAS SOPS 1573986 HAS SOUS 965341 HAS SOUPS 965341 WITH SCORE 966914.986
AT ITER 923 NEW BEST:: SOT 2439740 SOS 1573975 HAS SOPS 1573975 HAS SOUS 965330 HAS SOUPS 965330 WITH SCORE 966903.975
AT ITER 934 NEW BEST:: SOT 2433662 SOS 1572735 HAS SOPS 1572735 HAS SOUS 959973 HAS SOUPS 959973 WITH SCORE 961545.735
AT ITER 938 NEW BEST:: SOT 2434308 SOS 1573152 HAS SOPS 1573152 HAS SOUS 959943 HAS SOUPS 959943 WITH SCORE 961516.152
AT ITER 941 NEW BEST:: SOT 2434308 SOS 1570779 HAS SOPS 1570779 HAS SOUS 959100 HAS SOUPS 959100 WITH SCORE 960670.779
AT ITER 945 NEW BEST:: SOT 2434308 SOS 1571515 HAS SOPS 1571515 HAS SOUS 958732 HAS SOUPS 958732 WITH SCORE 960303.515
AT ITER 954 NEW BEST:: SOT 2433218 SOS 1568316 HAS SOPS 1568316 HAS SOUS 956840 HAS SOUPS 956840 WITH SCORE 958408.316
AT ITER 962 NEW BEST:: SOT 2433215 SOS 1568313 HAS SOPS 1568313 HAS SOUS 956836 HAS SOUPS 956836 WITH SCORE 958404.313
AT ITER 976 NEW BEST:: SOT 2432983 SOS 1567549 HAS SOPS 1567549 HAS SOUS 956239 HAS SOUPS 956239 WITH SCORE 957806.549
AT ITER 983 NEW BEST:: SOT 2432846 SOS 1566857 HAS SOPS 1566857 HAS SOUS 955637 HAS SOUPS 955637 WITH SCORE 957203.857
AT ITER 985 NEW BEST:: SOT 2432463 SOS 1565215 HAS SOPS 1565215 HAS SOUS 954516 HAS SOUPS 954516 WITH SCORE 956081.215
AT ITER 987 NEW BEST:: SOT 2432379 SOS 1565551 HAS SOPS 1565551 HAS SOUS 954432 HAS SOUPS 954432 WITH SCORE 955997.551
AT ITER 988 NEW BEST:: SOT 2432289 SOS 1565461 HAS SOPS 1565461 HAS SOUS 954329 HAS SOUPS 954329 WITH SCORE 955894.461
AT ITER 992 NEW BEST:: SOT 2432289 SOS 1565420 HAS SOPS 1565420 HAS SOUS 954329 HAS SOUPS 954329 WITH SCORE 955894.42
AT ITER 1000 NEW BEST:: SOT 2431911 SOS 1565042 HAS SOPS 1565042 HAS SOUS 953951 HAS SOUPS 953951 WITH SCORE 955516.042
AT ITER 1001 NEW BEST:: SOT 2431213 SOS 1564007 HAS SOPS 1564007 HAS SOUS 952571 HAS SOUPS 952571 WITH SCORE 954135.007
AT ITER 1005 NEW BEST:: SOT 2431213 SOS 1563279 HAS SOPS 1563279 HAS SOUS 952143 HAS SOUPS 952143 WITH SCORE 953706.279
AT ITER 1006 NEW BEST:: SOT 2430962 SOS 1562777 HAS SOPS 1562777 HAS SOUS 951825 HAS SOUPS 951825 WITH SCORE 953387.777
AT ITER 1008 NEW BEST:: SOT 2430707 SOS 1562522 HAS SOPS 1562522 HAS SOUS 951821 HAS SOUPS 951821 WITH SCORE 953383.522
AT ITER 1011 NEW BEST:: SOT 2430653 SOS 1562468 HAS SOPS 1562468 HAS SOUS 951766 HAS SOUPS 951766 WITH SCORE 953328.468
AT ITER 1012 NEW BEST:: SOT 2430524 SOS 1562339 HAS SOPS 1562339 HAS SOUS 951637 HAS SOUPS 951637 WITH SCORE 953199.339
AT ITER 1020 NEW BEST:: SOT 2431328 SOS 1563012 HAS SOPS 1563012 HAS SOUS 950750 HAS SOUPS 950750 WITH SCORE 952313.012
AT ITER 1028 NEW BEST:: SOT 2430186 SOS 1557182 HAS SOPS 1557182 HAS SOUS 948686 HAS SOUPS 948686 WITH SCORE 950243.182
AT ITER 1036 NEW BEST:: SOT 2430186 SOS 1556467 HAS SOPS 1556467 HAS SOUS 948649 HAS SOUPS 948649 WITH SCORE 950205.467
AT ITER 1043 NEW BEST:: SOT 2430170 SOS 1556451 HAS SOPS 1556451 HAS SOUS 948649 HAS SOUPS 948649 WITH SCORE 950205.451
AT ITER 1049 NEW BEST:: SOT 2427656 SOS 1553614 HAS SOPS 1553614 HAS SOUS 945812 HAS SOUPS 945812 WITH SCORE 947365.614
AT ITER 1050 NEW BEST:: SOT 2426675 SOS 1552633 HAS SOPS 1552633 HAS SOUS 944829 HAS SOUPS 944829 WITH SCORE 946381.633
AT ITER 1054 NEW BEST:: SOT 2427517 SOS 1552390 HAS SOPS 1552390 HAS SOUS 944586 HAS SOUPS 944586 WITH SCORE 946138.39
AT ITER 1056 NEW BEST:: SOT 2421578 SOS 1548811 HAS SOPS 1548811 HAS SOUS 939325 HAS SOUPS 939325 WITH SCORE 940873.811
AT ITER 1074 NEW BEST:: SOT 2421541 SOS 1548693 HAS SOPS 1548693 HAS SOUS 939207 HAS SOUPS 939207 WITH SCORE 940755.693
AT ITER 1076 NEW BEST:: SOT 2421353 SOS 1548324 HAS SOPS 1548324 HAS SOUS 939012 HAS SOUPS 939012 WITH SCORE 940560.324
AT ITER 1083 NEW BEST:: SOT 2420966 SOS 1547249 HAS SOPS 1547249 HAS SOUS 937805 HAS SOUPS 937805 WITH SCORE 939352.249
AT ITER 1085 NEW BEST:: SOT 2406620 SOS 1526990 HAS SOPS 1526990 HAS SOUS 922007 HAS SOUPS 922007 WITH SCORE 923533.99
AT ITER 1107 NEW BEST:: SOT 2406532 SOS 1526883 HAS SOPS 1526883 HAS SOUS 921908 HAS SOUPS 921908 WITH SCORE 923434.883
AT ITER 1108 NEW BEST:: SOT 2405729 SOS 1526080 HAS SOPS 1526080 HAS SOUS 921105 HAS SOUPS 921105 WITH SCORE 922631.08
AT ITER 1110 NEW BEST:: SOT 2405729 SOS 1525393 HAS SOPS 1525393 HAS SOUS 920628 HAS SOUPS 920628 WITH SCORE 922153.393
AT ITER 1114 NEW BEST:: SOT 2392937 SOS 1512601 HAS SOPS 1512601 HAS SOUS 907836 HAS SOUPS 907836 WITH SCORE 909348.601
AT ITER 1115 NEW BEST:: SOT 2378901 SOS 1498372 HAS SOPS 1498372 HAS SOUS 893607 HAS SOUPS 893607 WITH SCORE 895105.372
AT ITER 1120 NEW BEST:: SOT 2379120 SOS 1496971 HAS SOPS 1496971 HAS SOUS 893249 HAS SOUPS 893249 WITH SCORE 894745.971
AT ITER 1121 NEW BEST:: SOT 2379094 SOS 1496945 HAS SOPS 1496945 HAS SOUS 893222 HAS SOUPS 893222 WITH SCORE 894718.945
AT ITER 1128 NEW BEST:: SOT 2379029 SOS 1496872 HAS SOPS 1496872 HAS SOUS 893149 HAS SOUPS 893149 WITH SCORE 894645.872
AT ITER 1129 NEW BEST:: SOT 2378898 SOS 1496740 HAS SOPS 1496740 HAS SOUS 893017 HAS SOUPS 893017 WITH SCORE 894513.74
AT ITER 1134 NEW BEST:: SOT 2377993 SOS 1492537 HAS SOPS 1492537 HAS SOUS 891466 HAS SOUPS 891466 WITH SCORE 892958.537
AT ITER 1135 NEW BEST:: SOT 2377977 SOS 1492416 HAS SOPS 1492416 HAS SOUS 891441 HAS SOUPS 891441 WITH SCORE 892933.416
AT ITER 1138 NEW BEST:: SOT 2377929 SOS 1492368 HAS SOPS 1492368 HAS SOUS 891391 HAS SOUPS 891391 WITH SCORE 892883.368
AT ITER 1147 NEW BEST:: SOT 2378042 SOS 1490528 HAS SOPS 1490528 HAS SOUS 890552 HAS SOUPS 890552 WITH SCORE 892042.528
AT ITER 1150 NEW BEST:: SOT 2375862 SOS 1490183 HAS SOPS 1490183 HAS SOUS 888640 HAS SOUPS 888640 WITH SCORE 890130.183
AT ITER 1151 NEW BEST:: SOT 2375859 SOS 1490180 HAS SOPS 1490180 HAS SOUS 888637 HAS SOUPS 888637 WITH SCORE 890127.18
AT ITER 1152 NEW BEST:: SOT 2375195 SOS 1489516 HAS SOPS 1489516 HAS SOUS 887984 HAS SOUPS 887984 WITH SCORE 889473.516
AT ITER 1157 NEW BEST:: SOT 2357345 SOS 1477496 HAS SOPS 1477496 HAS SOUS 870329 HAS SOUPS 870329 WITH SCORE 871806.496
AT ITER 1163 NEW BEST:: SOT 2357264 SOS 1477334 HAS SOPS 1477334 HAS SOUS 870227 HAS SOUPS 870227 WITH SCORE 871704.334
AT ITER 1165 NEW BEST:: SOT 2357523 SOS 1481969 HAS SOPS 1481969 HAS SOUS 870025 HAS SOUPS 870025 WITH SCORE 871506.969
AT ITER 1166 NEW BEST:: SOT 2357523 SOS 1481967 HAS SOPS 1481967 HAS SOUS 870011 HAS SOUPS 870011 WITH SCORE 871492.967
AT ITER 1177 NEW BEST:: SOT 2350159 SOS 1474603 HAS SOPS 1474603 HAS SOUS 862646 HAS SOUPS 862646 WITH SCORE 864120.603
AT ITER 1182 NEW BEST:: SOT 2349599 SOS 1474043 HAS SOPS 1474043 HAS SOUS 862016 HAS SOUPS 862016 WITH SCORE 863490.043
AT ITER 1187 NEW BEST:: SOT 2348853 SOS 1473774 HAS SOPS 1473774 HAS SOUS 861067 HAS SOUPS 861067 WITH SCORE 862540.774
AT ITER 1205 NEW BEST:: SOT 2348792 SOS 1473713 HAS SOPS 1473713 HAS SOUS 861067 HAS SOUPS 861067 WITH SCORE 862540.713
AT ITER 1210 NEW BEST:: SOT 2347658 SOS 1473938 HAS SOPS 1473938 HAS SOUS 860375 HAS SOUPS 860375 WITH SCORE 861848.938
AT ITER 1214 NEW BEST:: SOT 2343151 SOS 1469431 HAS SOPS 1469431 HAS SOUS 855867 HAS SOUPS 855867 WITH SCORE 857336.431
AT ITER 1225 NEW BEST:: SOT 2342905 SOS 1468939 HAS SOPS 1468939 HAS SOUS 855375 HAS SOUPS 855375 WITH SCORE 856843.939
AT ITER 1230 NEW BEST:: SOT 2342905 SOS 1468320 HAS SOPS 1468320 HAS SOUS 855088 HAS SOUPS 855088 WITH SCORE 856556.32
AT ITER 1231 NEW BEST:: SOT 2342901 SOS 1468822 HAS SOPS 1468822 HAS SOUS 855007 HAS SOUPS 855007 WITH SCORE 856475.822
AT ITER 1247 NEW BEST:: SOT 2342901 SOS 1468820 HAS SOPS 1468820 HAS SOUS 855005 HAS SOUPS 855005 WITH SCORE 856473.82
AT ITER 1251 NEW BEST:: SOT 2340060 SOS 1470378 HAS SOPS 1470378 HAS SOUS 851573 HAS SOUPS 851573 WITH SCORE 853043.378
AT ITER 1257 NEW BEST:: SOT 2339568 SOS 1470020 HAS SOPS 1470020 HAS SOUS 851215 HAS SOUPS 851215 WITH SCORE 852685.02
AT ITER 1278 NEW BEST:: SOT 2339522 SOS 1469974 HAS SOPS 1469974 HAS SOUS 851169 HAS SOUPS 851169 WITH SCORE 852638.974
AT ITER 1282 NEW BEST:: SOT 2338680 SOS 1469132 HAS SOPS 1469132 HAS SOUS 851169 HAS SOUPS 851169 WITH SCORE 852638.132
AT ITER 1284 NEW BEST:: SOT 2335407 SOS 1466158 HAS SOPS 1466158 HAS SOUS 848194 HAS SOUPS 848194 WITH SCORE 849660.158
AT ITER 1286 NEW BEST:: SOT 2334313 SOS 1463134 HAS SOPS 1463134 HAS SOUS 847069 HAS SOUPS 847069 WITH SCORE 848532.134
AT ITER 1290 NEW BEST:: SOT 2334206 SOS 1463027 HAS SOPS 1463027 HAS SOUS 846962 HAS SOUPS 846962 WITH SCORE 848425.027
AT ITER 1291 NEW BEST:: SOT 2333332 SOS 1462153 HAS SOPS 1462153 HAS SOUS 846088 HAS SOUPS 846088 WITH SCORE 847550.153
AT ITER 1293 NEW BEST:: SOT 2333164 SOS 1463001 HAS SOPS 1463001 HAS SOUS 845659 HAS SOUPS 845659 WITH SCORE 847122.001
AT ITER 1308 NEW BEST:: SOT 2333164 SOS 1462660 HAS SOPS 1462660 HAS SOUS 845474 HAS SOUPS 845474 WITH SCORE 846936.66
AT ITER 1322 NEW BEST:: SOT 2332855 SOS 1461705 HAS SOPS 1461705 HAS SOUS 845242 HAS SOUPS 845242 WITH SCORE 846703.705
AT ITER 1325 NEW BEST:: SOT 2332955 SOS 1461518 HAS SOPS 1461518 HAS SOUS 844893 HAS SOUPS 844893 WITH SCORE 846354.518
AT ITER 1332 NEW BEST:: SOT 2332507 SOS 1461049 HAS SOPS 1461049 HAS SOUS 844424 HAS SOUPS 844424 WITH SCORE 845885.049
AT ITER 1339 NEW BEST:: SOT 2332507 SOS 1460889 HAS SOPS 1460889 HAS SOUS 844264 HAS SOUPS 844264 WITH SCORE 845724.889
AT ITER 1340 NEW BEST:: SOT 2332327 SOS 1459457 HAS SOPS 1459457 HAS SOUS 843538 HAS SOUPS 843538 WITH SCORE 844997.457
AT ITER 1354 NEW BEST:: SOT 2331657 SOS 1458117 HAS SOPS 1458117 HAS SOUS 842198 HAS SOUPS 842198 WITH SCORE 843656.117
AT ITER 1370 NEW BEST:: SOT 2330580 SOS 1457886 HAS SOPS 1457886 HAS SOUS 841938 HAS SOUPS 841938 WITH SCORE 843395.886
AT ITER 1371 NEW BEST:: SOT 2330580 SOS 1457356 HAS SOPS 1457356 HAS SOUS 841937 HAS SOUPS 841937 WITH SCORE 843394.356
AT ITER 1374 NEW BEST:: SOT 2329950 SOS 1456096 HAS SOPS 1456096 HAS SOUS 840677 HAS SOUPS 840677 WITH SCORE 842133.096
AT ITER 1376 NEW BEST:: SOT 2329647 SOS 1455492 HAS SOPS 1455492 HAS SOUS 840372 HAS SOUPS 840372 WITH SCORE 841827.492
AT ITER 1404 NEW BEST:: SOT 2329151 SOS 1453678 HAS SOPS 1453678 HAS SOUS 838359 HAS SOUPS 838359 WITH SCORE 839812.678
AT ITER 1406 NEW BEST:: SOT 2329014 SOS 1451841 HAS SOPS 1451841 HAS SOUS 838030 HAS SOUPS 838030 WITH SCORE 839481.841
AT ITER 1409 NEW BEST:: SOT 2329014 SOS 1451841 HAS SOPS 1451841 HAS SOUS 837954 HAS SOUPS 837954 WITH SCORE 839405.841
AT ITER 1410 NEW BEST:: SOT 2329014 SOS 1451743 HAS SOPS 1451743 HAS SOUS 837954 HAS SOUPS 837954 WITH SCORE 839405.743
AT ITER 1411 NEW BEST:: SOT 2329318 SOS 1450119 HAS SOPS 1450119 HAS SOUS 837738 HAS SOUPS 837738 WITH SCORE 839188.119
AT ITER 1420 NEW BEST:: SOT 2323841 SOS 1444642 HAS SOPS 1444642 HAS SOUS 832261 HAS SOUPS 832261 WITH SCORE 833705.642
AT ITER 1421 NEW BEST:: SOT 2323738 SOS 1444438 HAS SOPS 1444438 HAS SOUS 832057 HAS SOUPS 832057 WITH SCORE 833501.438
AT ITER 1424 NEW BEST:: SOT 2323738 SOS 1444438 HAS SOPS 1444438 HAS SOUS 831967 HAS SOUPS 831967 WITH SCORE 833411.438
AT ITER 1441 NEW BEST:: SOT 2323312 SOS 1443252 HAS SOPS 1443252 HAS SOUS 831279 HAS SOUPS 831279 WITH SCORE 832722.252
AT ITER 1446 NEW BEST:: SOT 2323179 SOS 1443119 HAS SOPS 1443119 HAS SOUS 831141 HAS SOUPS 831141 WITH SCORE 832584.119
AT ITER 1450 NEW BEST:: SOT 2322409 SOS 1442349 HAS SOPS 1442349 HAS SOUS 830363 HAS SOUPS 830363 WITH SCORE 831805.349
AT ITER 1460 NEW BEST:: SOT 2322409 SOS 1441449 HAS SOPS 1441449 HAS SOUS 830363 HAS SOUPS 830363 WITH SCORE 831804.449
AT ITER 1468 NEW BEST:: SOT 2322409 SOS 1437268 HAS SOPS 1437268 HAS SOUS 829705 HAS SOUPS 829705 WITH SCORE 831142.268
AT ITER 1470 NEW BEST:: SOT 2308622 SOS 1430126 HAS SOPS 1430126 HAS SOUS 816973 HAS SOUPS 816973 WITH SCORE 818403.126
AT ITER 1475 NEW BEST:: SOT 2309036 SOS 1429614 HAS SOPS 1429614 HAS SOUS 816948 HAS SOUPS 816948 WITH SCORE 818377.614
AT ITER 1481 NEW BEST:: SOT 2309250 SOS 1429692 HAS SOPS 1429692 HAS SOUS 816825 HAS SOUPS 816825 WITH SCORE 818254.692
AT ITER 1491 NEW BEST:: SOT 2309250 SOS 1428336 HAS SOPS 1428336 HAS SOUS 815469 HAS SOUPS 815469 WITH SCORE 816897.336
AT ITER 1501 NEW BEST:: SOT 2308835 SOS 1428145 HAS SOPS 1428145 HAS SOUS 815469 HAS SOUPS 815469 WITH SCORE 816897.145
AT ITER 1510 NEW BEST:: SOT 2308800 SOS 1428145 HAS SOPS 1428145 HAS SOUS 815468 HAS SOUPS 815468 WITH SCORE 816896.145
AT ITER 1518 NEW BEST:: SOT 2308364 SOS 1426367 HAS SOPS 1426367 HAS SOUS 814213 HAS SOUPS 814213 WITH SCORE 815639.367
AT ITER 1530 NEW BEST:: SOT 2308071 SOS 1424639 HAS SOPS 1424639 HAS SOUS 813631 HAS SOUPS 813631 WITH SCORE 815055.639
AT ITER 1541 NEW BEST:: SOT 2307818 SOS 1424386 HAS SOPS 1424386 HAS SOUS 813092 HAS SOUPS 813092 WITH SCORE 814516.386
AT ITER 1570 NEW BEST:: SOT 2307532 SOS 1424276 HAS SOPS 1424276 HAS SOUS 813062 HAS SOUPS 813062 WITH SCORE 814486.276
AT ITER 1579 NEW BEST:: SOT 2307016 SOS 1423760 HAS SOPS 1423760 HAS SOUS 812546 HAS SOUPS 812546 WITH SCORE 813969.76
AT ITER 1583 NEW BEST:: SOT 2306683 SOS 1423196 HAS SOPS 1423196 HAS SOUS 811982 HAS SOUPS 811982 WITH SCORE 813405.196
AT ITER 1594 NEW BEST:: SOT 2302575 SOS 1419088 HAS SOPS 1419088 HAS SOUS 807873 HAS SOUPS 807873 WITH SCORE 809292.088
AT ITER 1596 NEW BEST:: SOT 2302294 SOS 1418477 HAS SOPS 1418477 HAS SOUS 807568 HAS SOUPS 807568 WITH SCORE 808986.477
AT ITER 1597 NEW BEST:: SOT 2302039 SOS 1418222 HAS SOPS 1418222 HAS SOUS 807544 HAS SOUPS 807544 WITH SCORE 808962.222
AT ITER 1599 NEW BEST:: SOT 2302039 SOS 1417819 HAS SOPS 1417819 HAS SOUS 807111 HAS SOUPS 807111 WITH SCORE 808528.819
AT ITER 1622 NEW BEST:: SOT 2302053 SOS 1415392 HAS SOPS 1415392 HAS SOUS 806824 HAS SOUPS 806824 WITH SCORE 808239.392
AT ITER 1623 NEW BEST:: SOT 2302053 SOS 1415298 HAS SOPS 1415298 HAS SOUS 806297 HAS SOUPS 806297 WITH SCORE 807712.298
AT ITER 1630 NEW BEST:: SOT 2301634 SOS 1414283 HAS SOPS 1414283 HAS SOUS 805335 HAS SOUPS 805335 WITH SCORE 806749.283
AT ITER 1635 NEW BEST:: SOT 2301402 SOS 1414051 HAS SOPS 1414051 HAS SOUS 805103 HAS SOUPS 805103 WITH SCORE 806517.051
AT ITER 1639 NEW BEST:: SOT 2301401 SOS 1413991 HAS SOPS 1413991 HAS SOUS 805100 HAS SOUPS 805100 WITH SCORE 806513.991
AT ITER 1641 NEW BEST:: SOT 2301401 SOS 1412751 HAS SOPS 1412751 HAS SOUS 804986 HAS SOUPS 804986 WITH SCORE 806398.751
AT ITER 1646 NEW BEST:: SOT 2301393 SOS 1412743 HAS SOPS 1412743 HAS SOUS 804978 HAS SOUPS 804978 WITH SCORE 806390.743
AT ITER 1655 NEW BEST:: SOT 2296731 SOS 1408081 HAS SOPS 1408081 HAS SOUS 800316 HAS SOUPS 800316 WITH SCORE 801724.081
AT ITER 1657 NEW BEST:: SOT 2296583 SOS 1407933 HAS SOPS 1407933 HAS SOUS 800160 HAS SOUPS 800160 WITH SCORE 801567.933
AT ITER 1658 NEW BEST:: SOT 2299902 SOS 1411197 HAS SOPS 1411197 HAS SOUS 798632 HAS SOUPS 798632 WITH SCORE 800043.197
AT ITER 1672 NEW BEST:: SOT 2300008 SOS 1411303 HAS SOPS 1411303 HAS SOUS 798611 HAS SOUPS 798611 WITH SCORE 800022.303
AT ITER 1674 NEW BEST:: SOT 2299557 SOS 1411002 HAS SOPS 1411002 HAS SOUS 798234 HAS SOUPS 798234 WITH SCORE 799645.002
AT ITER 1680 NEW BEST:: SOT 2299555 SOS 1411000 HAS SOPS 1411000 HAS SOUS 798232 HAS SOUPS 798232 WITH SCORE 799643.0
AT ITER 1681 NEW BEST:: SOT 2289802 SOS 1401247 HAS SOPS 1401247 HAS SOUS 788465 HAS SOUPS 788465 WITH SCORE 789866.247
AT ITER 1695 NEW BEST:: SOT 2289348 SOS 1400237 HAS SOPS 1400237 HAS SOUS 788193 HAS SOUPS 788193 WITH SCORE 789593.237
AT ITER 1704 NEW BEST:: SOT 2289126 SOS 1400015 HAS SOPS 1400015 HAS SOUS 787970 HAS SOUPS 787970 WITH SCORE 789370.015
AT ITER 1707 NEW BEST:: SOT 2287996 SOS 1399300 HAS SOPS 1399300 HAS SOUS 787255 HAS SOUPS 787255 WITH SCORE 788654.3
AT ITER 1710 NEW BEST:: SOT 2287972 SOS 1399235 HAS SOPS 1399235 HAS SOUS 787231 HAS SOUPS 787231 WITH SCORE 788630.235
AT ITER 1711 NEW BEST:: SOT 2287749 SOS 1399012 HAS SOPS 1399012 HAS SOUS 787229 HAS SOUPS 787229 WITH SCORE 788628.012
AT ITER 1728 NEW BEST:: SOT 2287620 SOS 1398883 HAS SOPS 1398883 HAS SOUS 787229 HAS SOUPS 787229 WITH SCORE 788627.883
AT ITER 1737 NEW BEST:: SOT 2287543 SOS 1399207 HAS SOPS 1399207 HAS SOUS 786267 HAS SOUPS 786267 WITH SCORE 787666.207
AT ITER 1749 NEW BEST:: SOT 2282951 SOS 1392869 HAS SOPS 1392869 HAS SOUS 781129 HAS SOUPS 781129 WITH SCORE 782521.869
AT ITER 1750 NEW BEST:: SOT 2282950 SOS 1392868 HAS SOPS 1392868 HAS SOUS 781126 HAS SOUPS 781126 WITH SCORE 782518.868
AT ITER 1751 NEW BEST:: SOT 2283371 SOS 1392816 HAS SOPS 1392816 HAS SOUS 781047 HAS SOUPS 781047 WITH SCORE 782439.816
AT ITER 1753 NEW BEST:: SOT 2283451 SOS 1392694 HAS SOPS 1392694 HAS SOUS 780925 HAS SOUPS 780925 WITH SCORE 782317.694
AT ITER 1766 NEW BEST:: SOT 2280485 SOS 1388433 HAS SOPS 1388433 HAS SOUS 779569 HAS SOUPS 779569 WITH SCORE 780957.433
AT ITER 1783 NEW BEST:: SOT 2271613 SOS 1384648 HAS SOPS 1384648 HAS SOUS 771233 HAS SOUPS 771233 WITH SCORE 772617.648
AT ITER 1784 NEW BEST:: SOT 2271684 SOS 1384648 HAS SOPS 1384648 HAS SOUS 771091 HAS SOUPS 771091 WITH SCORE 772475.648
AT ITER 1785 NEW BEST:: SOT 2271371 SOS 1383605 HAS SOPS 1383605 HAS SOUS 770465 HAS SOUPS 770465 WITH SCORE 771848.605
AT ITER 1788 NEW BEST:: SOT 2271371 SOS 1383682 HAS SOPS 1383682 HAS SOUS 770388 HAS SOUPS 770388 WITH SCORE 771771.682
AT ITER 1814 NEW BEST:: SOT 2270996 SOS 1380681 HAS SOPS 1380681 HAS SOUS 769637 HAS SOUPS 769637 WITH SCORE 771017.681
AT ITER 1832 NEW BEST:: SOT 2270503 SOS 1378637 HAS SOPS 1378637 HAS SOUS 769091 HAS SOUPS 769091 WITH SCORE 770469.637
AT ITER 1833 NEW BEST:: SOT 2270552 SOS 1378686 HAS SOPS 1378686 HAS SOUS 769084 HAS SOUPS 769084 WITH SCORE 770462.686
AT ITER 1843 NEW BEST:: SOT 2270373 SOS 1378328 HAS SOPS 1378328 HAS SOUS 768786 HAS SOUPS 768786 WITH SCORE 770164.328
AT ITER 1850 NEW BEST:: SOT 2269424 SOS 1377379 HAS SOPS 1377379 HAS SOUS 767835 HAS SOUPS 767835 WITH SCORE 769212.379
AT ITER 1858 NEW BEST:: SOT 2269424 SOS 1377379 HAS SOPS 1377379 HAS SOUS 767813 HAS SOUPS 767813 WITH SCORE 769190.379
AT ITER 1871 NEW BEST:: SOT 2269478 SOS 1378009 HAS SOPS 1378009 HAS SOUS 767803 HAS SOUPS 767803 WITH SCORE 769181.009
AT ITER 1875 NEW BEST:: SOT 2269488 SOS 1377998 HAS SOPS 1377998 HAS SOUS 767480 HAS SOUPS 767480 WITH SCORE 768857.998
AT ITER 1876 NEW BEST:: SOT 2269488 SOS 1380412 HAS SOPS 1380412 HAS SOUS 767453 HAS SOUPS 767453 WITH SCORE 768833.412
AT ITER 1878 NEW BEST:: SOT 2269380 SOS 1380304 HAS SOPS 1380304 HAS SOUS 767336 HAS SOUPS 767336 WITH SCORE 768716.304
AT ITER 1886 NEW BEST:: SOT 2269380 SOS 1380304 HAS SOPS 1380304 HAS SOUS 766988 HAS SOUPS 766988 WITH SCORE 768368.304
AT ITER 1891 NEW BEST:: SOT 2269234 SOS 1379767 HAS SOPS 1379767 HAS SOUS 766451 HAS SOUPS 766451 WITH SCORE 767830.767
AT ITER 1895 NEW BEST:: SOT 2269234 SOS 1378929 HAS SOPS 1378929 HAS SOUS 766170 HAS SOUPS 766170 WITH SCORE 767548.929
AT ITER 1904 NEW BEST:: SOT 2269213 SOS 1378854 HAS SOPS 1378854 HAS SOUS 765420 HAS SOUPS 765420 WITH SCORE 766798.854
AT ITER 1913 NEW BEST:: SOT 2268549 SOS 1378190 HAS SOPS 1378190 HAS SOUS 764756 HAS SOUPS 764756 WITH SCORE 766134.19
AT ITER 1919 NEW BEST:: SOT 2268149 SOS 1377790 HAS SOPS 1377790 HAS SOUS 764356 HAS SOUPS 764356 WITH SCORE 765733.79
AT ITER 1921 NEW BEST:: SOT 2261965 SOS 1376518 HAS SOPS 1376518 HAS SOUS 759446 HAS SOUPS 759446 WITH SCORE 760822.518
AT ITER 1928 NEW BEST:: SOT 2261737 SOS 1376290 HAS SOPS 1376290 HAS SOUS 759218 HAS SOUPS 759218 WITH SCORE 760594.29
AT ITER 1935 NEW BEST:: SOT 2261153 SOS 1375376 HAS SOPS 1375376 HAS SOUS 758303 HAS SOUPS 758303 WITH SCORE 759678.376
AT ITER 1941 NEW BEST:: SOT 2261386 SOS 1374881 HAS SOPS 1374881 HAS SOUS 758172 HAS SOUPS 758172 WITH SCORE 759546.881
AT ITER 1942 NEW BEST:: SOT 2261279 SOS 1374667 HAS SOPS 1374667 HAS SOUS 758065 HAS SOUPS 758065 WITH SCORE 759439.667
AT ITER 1950 NEW BEST:: SOT 2260802 SOS 1372863 HAS SOPS 1372863 HAS SOUS 757111 HAS SOUPS 757111 WITH SCORE 758483.863
AT ITER 1953 NEW BEST:: SOT 2260624 SOS 1367776 HAS SOPS 1367776 HAS SOUS 756403 HAS SOUPS 756403 WITH SCORE 757770.776
AT ITER 1956 NEW BEST:: SOT 2260653 SOS 1367805 HAS SOPS 1367805 HAS SOUS 756385 HAS SOUPS 756385 WITH SCORE 757752.805
AT ITER 1960 NEW BEST:: SOT 2260653 SOS 1367418 HAS SOPS 1367418 HAS SOUS 755611 HAS SOUPS 755611 WITH SCORE 756978.418
AT ITER 1974 NEW BEST:: SOT 2260653 SOS 1366326 HAS SOPS 1366326 HAS SOUS 754805 HAS SOUPS 754805 WITH SCORE 756171.326
AT ITER 1991 NEW BEST:: SOT 2260653 SOS 1366416 HAS SOPS 1366416 HAS SOUS 754795 HAS SOUPS 754795 WITH SCORE 756161.416
AT ITER 1993 NEW BEST:: SOT 2260653 SOS 1365722 HAS SOPS 1365722 HAS SOUS 754719 HAS SOUPS 754719 WITH SCORE 756084.722
AT ITER 1996 NEW BEST:: SOT 2260653 SOS 1368230 HAS SOPS 1368230 HAS SOUS 754510 HAS SOUPS 754510 WITH SCORE 755878.23
AT ITER 1999 NEW BEST:: SOT 2260651 SOS 1368356 HAS SOPS 1368356 HAS SOUS 754406 HAS SOUPS 754406 WITH SCORE 755774.356
AT ITER 2006 NEW BEST:: SOT 2253378 SOS 1364704 HAS SOPS 1364704 HAS SOUS 748288 HAS SOUPS 748288 WITH SCORE 749652.704
AT ITER 2015 NEW BEST:: SOT 2253378 SOS 1364407 HAS SOPS 1364407 HAS SOUS 748288 HAS SOUPS 748288 WITH SCORE 749652.407
AT ITER 2017 NEW BEST:: SOT 2253067 SOS 1363922 HAS SOPS 1363922 HAS SOUS 747876 HAS SOUPS 747876 WITH SCORE 749239.922
AT ITER 2027 NEW BEST:: SOT 2252956 SOS 1363763 HAS SOPS 1363763 HAS SOUS 747717 HAS SOUPS 747717 WITH SCORE 749080.763
AT ITER 2031 NEW BEST:: SOT 2254617 SOS 1364998 HAS SOPS 1364998 HAS SOUS 745610 HAS SOUPS 745610 WITH SCORE 746974.998
AT ITER 2034 NEW BEST:: SOT 2254617 SOS 1364053 HAS SOPS 1364053 HAS SOUS 745610 HAS SOUPS 745610 WITH SCORE 746974.053
AT ITER 2037 NEW BEST:: SOT 2254010 SOS 1363446 HAS SOPS 1363446 HAS SOUS 745003 HAS SOUPS 745003 WITH SCORE 746366.446
AT ITER 2050 NEW BEST:: SOT 2253995 SOS 1362142 HAS SOPS 1362142 HAS SOUS 744409 HAS SOUPS 744409 WITH SCORE 745771.142
AT ITER 2051 NEW BEST:: SOT 2253994 SOS 1362141 HAS SOPS 1362141 HAS SOUS 744406 HAS SOUPS 744406 WITH SCORE 745768.141
AT ITER 2052 NEW BEST:: SOT 2253994 SOS 1361896 HAS SOPS 1361896 HAS SOUS 743768 HAS SOUPS 743768 WITH SCORE 745129.896
AT ITER 2057 NEW BEST:: SOT 2253468 SOS 1361223 HAS SOPS 1361223 HAS SOUS 743700 HAS SOUPS 743700 WITH SCORE 745061.223
AT ITER 2104 NEW BEST:: SOT 2253468 SOS 1358131 HAS SOPS 1358131 HAS SOUS 743114 HAS SOUPS 743114 WITH SCORE 744472.131
AT ITER 2112 NEW BEST:: SOT 2253468 SOS 1357976 HAS SOPS 1357976 HAS SOUS 742959 HAS SOUPS 742959 WITH SCORE 744316.976
AT ITER 2113 NEW BEST:: SOT 2253468 SOS 1357894 HAS SOPS 1357894 HAS SOUS 742841 HAS SOUPS 742841 WITH SCORE 744198.894
AT ITER 2117 NEW BEST:: SOT 2253226 SOS 1355866 HAS SOPS 1355866 HAS SOUS 741617 HAS SOUPS 741617 WITH SCORE 742972.866
AT ITER 2122 NEW BEST:: SOT 2253175 SOS 1355764 HAS SOPS 1355764 HAS SOUS 741515 HAS SOUPS 741515 WITH SCORE 742870.764
AT ITER 2131 NEW BEST:: SOT 2252774 SOS 1355379 HAS SOPS 1355379 HAS SOUS 741049 HAS SOUPS 741049 WITH SCORE 742404.379
AT ITER 2135 NEW BEST:: SOT 2252770 SOS 1355375 HAS SOPS 1355375 HAS SOUS 741045 HAS SOUPS 741045 WITH SCORE 742400.375
AT ITER 2143 NEW BEST:: SOT 2250627 SOS 1351801 HAS SOPS 1351801 HAS SOUS 737974 HAS SOUPS 737974 WITH SCORE 739325.801
AT ITER 2151 NEW BEST:: SOT 2250564 SOS 1351706 HAS SOPS 1351706 HAS SOUS 737879 HAS SOUPS 737879 WITH SCORE 739230.706
AT ITER 2167 NEW BEST:: SOT 2250713 SOS 1351542 HAS SOPS 1351542 HAS SOUS 737254 HAS SOUPS 737254 WITH SCORE 738605.542
AT ITER 2177 NEW BEST:: SOT 2250561 SOS 1351390 HAS SOPS 1351390 HAS SOUS 737102 HAS SOUPS 737102 WITH SCORE 738453.39
AT ITER 2179 NEW BEST:: SOT 2249830 SOS 1350659 HAS SOPS 1350659 HAS SOUS 736361 HAS SOUPS 736361 WITH SCORE 737711.659
AT ITER 2191 NEW BEST:: SOT 2249065 SOS 1354580 HAS SOPS 1354580 HAS SOUS 736350 HAS SOUPS 736350 WITH SCORE 737704.58
AT ITER 2196 NEW BEST:: SOT 2249184 SOS 1354699 HAS SOPS 1354699 HAS SOUS 736231 HAS SOUPS 736231 WITH SCORE 737585.699
AT ITER 2202 NEW BEST:: SOT 2249116 SOS 1354665 HAS SOPS 1354665 HAS SOUS 736197 HAS SOUPS 736197 WITH SCORE 737551.665
AT ITER 2205 NEW BEST:: SOT 2248859 SOS 1353293 HAS SOPS 1353293 HAS SOUS 735786 HAS SOUPS 735786 WITH SCORE 737139.293
AT ITER 2209 NEW BEST:: SOT 2248859 SOS 1353647 HAS SOPS 1353647 HAS SOUS 735771 HAS SOUPS 735771 WITH SCORE 737124.647
AT ITER 2214 NEW BEST:: SOT 2249054 SOS 1353827 HAS SOPS 1353827 HAS SOUS 735661 HAS SOUPS 735661 WITH SCORE 737014.827
AT ITER 2215 NEW BEST:: SOT 2249054 SOS 1353790 HAS SOPS 1353790 HAS SOUS 735661 HAS SOUPS 735661 WITH SCORE 737014.79
AT ITER 2216 NEW BEST:: SOT 2249235 SOS 1353260 HAS SOPS 1353260 HAS SOUS 735611 HAS SOUPS 735611 WITH SCORE 736964.26
AT ITER 2226 NEW BEST:: SOT 2243552 SOS 1347290 HAS SOPS 1347290 HAS SOUS 729641 HAS SOUPS 729641 WITH SCORE 730988.29
AT ITER 2229 NEW BEST:: SOT 2242764 SOS 1345430 HAS SOPS 1345430 HAS SOUS 728035 HAS SOUPS 728035 WITH SCORE 729380.43
AT ITER 2261 NEW BEST:: SOT 2242764 SOS 1344955 HAS SOPS 1344955 HAS SOUS 727560 HAS SOUPS 727560 WITH SCORE 728904.955
AT ITER 2265 NEW BEST:: SOT 2243436 SOS 1345403 HAS SOPS 1345403 HAS SOUS 727336 HAS SOUPS 727336 WITH SCORE 728681.403
AT ITER 2267 NEW BEST:: SOT 2246798 SOS 1348272 HAS SOPS 1348272 HAS SOUS 726770 HAS SOUPS 726770 WITH SCORE 728118.272
AT ITER 2270 NEW BEST:: SOT 2246835 SOS 1345129 HAS SOPS 1345129 HAS SOUS 726248 HAS SOUPS 726248 WITH SCORE 727593.129
AT ITER 2278 NEW BEST:: SOT 2246717 SOS 1344740 HAS SOPS 1344740 HAS SOUS 725859 HAS SOUPS 725859 WITH SCORE 727203.74
AT ITER 2285 NEW BEST:: SOT 2246935 SOS 1342421 HAS SOPS 1342421 HAS SOUS 725703 HAS SOUPS 725703 WITH SCORE 727045.421
AT ITER 2290 NEW BEST:: SOT 2246921 SOS 1342112 HAS SOPS 1342112 HAS SOUS 725564 HAS SOUPS 725564 WITH SCORE 726906.112
AT ITER 2306 NEW BEST:: SOT 2246921 SOS 1341692 HAS SOPS 1341692 HAS SOUS 725564 HAS SOUPS 725564 WITH SCORE 726905.692
AT ITER 2320 NEW BEST:: SOT 2246832 SOS 1341603 HAS SOPS 1341603 HAS SOUS 725306 HAS SOUPS 725306 WITH SCORE 726647.603
AT ITER 2322 NEW BEST:: SOT 2244499 SOS 1339270 HAS SOPS 1339270 HAS SOUS 722970 HAS SOUPS 722970 WITH SCORE 724309.27
AT ITER 2323 NEW BEST:: SOT 2244386 SOS 1340443 HAS SOPS 1340443 HAS SOUS 722831 HAS SOUPS 722831 WITH SCORE 724171.443
AT ITER 2324 NEW BEST:: SOT 2245248 SOS 1339015 HAS SOPS 1339015 HAS SOUS 722181 HAS SOUPS 722181 WITH SCORE 723520.015
AT ITER 2336 NEW BEST:: SOT 2245025 SOS 1338665 HAS SOPS 1338665 HAS SOUS 721831 HAS SOUPS 721831 WITH SCORE 723169.665
AT ITER 2339 NEW BEST:: SOT 2244417 SOS 1339347 HAS SOPS 1339347 HAS SOUS 721624 HAS SOUPS 721624 WITH SCORE 722963.347
AT ITER 2341 NEW BEST:: SOT 2243979 SOS 1338353 HAS SOPS 1338353 HAS SOUS 720630 HAS SOUPS 720630 WITH SCORE 721968.353
AT ITER 2342 NEW BEST:: SOT 2243480 SOS 1337855 HAS SOPS 1337855 HAS SOUS 719980 HAS SOUPS 719980 WITH SCORE 721317.855
AT ITER 2374 NEW BEST:: SOT 2242361 SOS 1335205 HAS SOPS 1335205 HAS SOUS 717742 HAS SOUPS 717742 WITH SCORE 719077.205
AT ITER 2380 NEW BEST:: SOT 2242427 SOS 1335564 HAS SOPS 1335564 HAS SOUS 717723 HAS SOUPS 717723 WITH SCORE 719058.564
AT ITER 2382 NEW BEST:: SOT 2242089 SOS 1334887 HAS SOPS 1334887 HAS SOUS 716894 HAS SOUPS 716894 WITH SCORE 718228.887
AT ITER 2385 NEW BEST:: SOT 2240960 SOS 1335564 HAS SOPS 1335564 HAS SOUS 715807 HAS SOUPS 715807 WITH SCORE 717142.564
AT ITER 2410 NEW BEST:: SOT 2240341 SOS 1334421 HAS SOPS 1334421 HAS SOUS 715411 HAS SOUPS 715411 WITH SCORE 716745.421
AT ITER 2413 NEW BEST:: SOT 2239754 SOS 1333834 HAS SOPS 1333834 HAS SOUS 714824 HAS SOUPS 714824 WITH SCORE 716157.834
AT ITER 2416 NEW BEST:: SOT 2239656 SOS 1333448 HAS SOPS 1333448 HAS SOUS 714439 HAS SOUPS 714439 WITH SCORE 715772.448
AT ITER 2422 NEW BEST:: SOT 2239656 SOS 1333448 HAS SOPS 1333448 HAS SOUS 714421 HAS SOUPS 714421 WITH SCORE 715754.448
AT ITER 2431 NEW BEST:: SOT 2239592 SOS 1333344 HAS SOPS 1333344 HAS SOUS 714349 HAS SOUPS 714349 WITH SCORE 715682.344
AT ITER 2436 NEW BEST:: SOT 2239513 SOS 1333186 HAS SOPS 1333186 HAS SOUS 714258 HAS SOUPS 714258 WITH SCORE 715591.186
AT ITER 2453 NEW BEST:: SOT 2238665 SOS 1332659 HAS SOPS 1332659 HAS SOUS 714239 HAS SOUPS 714239 WITH SCORE 715571.659
AT ITER 2468 NEW BEST:: SOT 2238798 SOS 1332578 HAS SOPS 1332578 HAS SOUS 714158 HAS SOUPS 714158 WITH SCORE 715490.578
AT ITER 2479 NEW BEST:: SOT 2238629 SOS 1331586 HAS SOPS 1331586 HAS SOUS 713816 HAS SOUPS 713816 WITH SCORE 715147.586
AT ITER 2481 NEW BEST:: SOT 2238625 SOS 1331574 HAS SOPS 1331574 HAS SOUS 713804 HAS SOUPS 713804 WITH SCORE 715135.574
AT ITER 2493 NEW BEST:: SOT 2238596 SOS 1331545 HAS SOPS 1331545 HAS SOUS 713756 HAS SOUPS 713756 WITH SCORE 715087.545
AT ITER 2497 NEW BEST:: SOT 2238677 SOS 1332520 HAS SOPS 1332520 HAS SOUS 713738 HAS SOUPS 713738 WITH SCORE 715070.52
AT ITER 2539 NEW BEST:: SOT 2238460 SOS 1332303 HAS SOPS 1332303 HAS SOUS 713521 HAS SOUPS 713521 WITH SCORE 714853.303
AT ITER 2554 NEW BEST:: SOT 2238359 SOS 1332202 HAS SOPS 1332202 HAS SOUS 713420 HAS SOUPS 713420 WITH SCORE 714752.202
AT ITER 2555 NEW BEST:: SOT 2238358 SOS 1332180 HAS SOPS 1332180 HAS SOUS 713395 HAS SOUPS 713395 WITH SCORE 714727.18
AT ITER 2561 NEW BEST:: SOT 2238365 SOS 1333927 HAS SOPS 1333927 HAS SOUS 713188 HAS SOUPS 713188 WITH SCORE 714521.927
AT ITER 2562 NEW BEST:: SOT 2237702 SOS 1333253 HAS SOPS 1333253 HAS SOUS 712514 HAS SOUPS 712514 WITH SCORE 713847.253
AT ITER 2570 NEW BEST:: SOT 2237142 SOS 1332297 HAS SOPS 1332297 HAS SOUS 711558 HAS SOUPS 711558 WITH SCORE 712890.297
AT ITER 2575 NEW BEST:: SOT 2237054 SOS 1332209 HAS SOPS 1332209 HAS SOUS 711470 HAS SOUPS 711470 WITH SCORE 712802.209
AT ITER 2577 NEW BEST:: SOT 2236243 SOS 1331165 HAS SOPS 1331165 HAS SOUS 710531 HAS SOUPS 710531 WITH SCORE 711862.165
AT ITER 2578 NEW BEST:: SOT 2235777 SOS 1330472 HAS SOPS 1330472 HAS SOUS 709838 HAS SOUPS 709838 WITH SCORE 711168.472
AT ITER 2582 NEW BEST:: SOT 2235758 SOS 1332071 HAS SOPS 1332071 HAS SOUS 709789 HAS SOUPS 709789 WITH SCORE 711121.071
AT ITER 2591 NEW BEST:: SOT 2235200 SOS 1331513 HAS SOPS 1331513 HAS SOUS 709231 HAS SOUPS 709231 WITH SCORE 710562.513
AT ITER 2592 NEW BEST:: SOT 2235188 SOS 1330592 HAS SOPS 1330592 HAS SOUS 708535 HAS SOUPS 708535 WITH SCORE 709865.592
AT ITER 2596 NEW BEST:: SOT 2235188 SOS 1330031 HAS SOPS 1330031 HAS SOUS 708534 HAS SOUPS 708534 WITH SCORE 709864.031
AT ITER 2602 NEW BEST:: SOT 2235181 SOS 1329989 HAS SOPS 1329989 HAS SOUS 708520 HAS SOUPS 708520 WITH SCORE 709849.989
AT ITER 2606 NEW BEST:: SOT 2234549 SOS 1329352 HAS SOPS 1329352 HAS SOUS 707883 HAS SOUPS 707883 WITH SCORE 709212.352
AT ITER 2617 NEW BEST:: SOT 2234489 SOS 1329292 HAS SOPS 1329292 HAS SOUS 707821 HAS SOUPS 707821 WITH SCORE 709150.292
AT ITER 2626 NEW BEST:: SOT 2234489 SOS 1328857 HAS SOPS 1328857 HAS SOUS 707803 HAS SOUPS 707803 WITH SCORE 709131.857
AT ITER 2634 NEW BEST:: SOT 2234358 SOS 1327926 HAS SOPS 1327926 HAS SOUS 707750 HAS SOUPS 707750 WITH SCORE 709077.926
AT ITER 2641 NEW BEST:: SOT 2234234 SOS 1327796 HAS SOPS 1327796 HAS SOUS 707619 HAS SOUPS 707619 WITH SCORE 708946.796
AT ITER 2642 NEW BEST:: SOT 2234234 SOS 1326138 HAS SOPS 1326138 HAS SOUS 707619 HAS SOUPS 707619 WITH SCORE 708945.138
AT ITER 2648 NEW BEST:: SOT 2234234 SOS 1324633 HAS SOPS 1324633 HAS SOUS 706881 HAS SOUPS 706881 WITH SCORE 708205.633
AT ITER 2668 NEW BEST:: SOT 2234233 SOS 1324632 HAS SOPS 1324632 HAS SOUS 706879 HAS SOUPS 706879 WITH SCORE 708203.632
AT ITER 2693 NEW BEST:: SOT 2234156 SOS 1324546 HAS SOPS 1324546 HAS SOUS 706793 HAS SOUPS 706793 WITH SCORE 708117.546
AT ITER 2703 NEW BEST:: SOT 2234156 SOS 1325062 HAS SOPS 1325062 HAS SOUS 706681 HAS SOUPS 706681 WITH SCORE 708006.062
AT ITER 2708 NEW BEST:: SOT 2234490 SOS 1325688 HAS SOPS 1325688 HAS SOUS 706650 HAS SOUPS 706650 WITH SCORE 707975.688
AT ITER 2712 NEW BEST:: SOT 2234488 SOS 1325692 HAS SOPS 1325692 HAS SOUS 706646 HAS SOUPS 706646 WITH SCORE 707971.692
AT ITER 2722 NEW BEST:: SOT 2234368 SOS 1325332 HAS SOPS 1325332 HAS SOUS 706403 HAS SOUPS 706403 WITH SCORE 707728.332
AT ITER 2723 NEW BEST:: SOT 2234333 SOS 1325297 HAS SOPS 1325297 HAS SOUS 706368 HAS SOUPS 706368 WITH SCORE 707693.297
AT ITER 2727 NEW BEST:: SOT 2234235 SOS 1325199 HAS SOPS 1325199 HAS SOUS 706368 HAS SOUPS 706368 WITH SCORE 707693.199
AT ITER 2735 NEW BEST:: SOT 2234085 SOS 1324750 HAS SOPS 1324750 HAS SOUS 705919 HAS SOUPS 705919 WITH SCORE 707243.75
AT ITER 2740 NEW BEST:: SOT 2233734 SOS 1324399 HAS SOPS 1324399 HAS SOUS 705567 HAS SOUPS 705567 WITH SCORE 706891.399
AT ITER 2754 NEW BEST:: SOT 2233544 SOS 1324268 HAS SOPS 1324268 HAS SOUS 705428 HAS SOUPS 705428 WITH SCORE 706752.268
AT ITER 2758 NEW BEST:: SOT 2233541 SOS 1324265 HAS SOPS 1324265 HAS SOUS 705425 HAS SOUPS 705425 WITH SCORE 706749.265
AT ITER 2794 NEW BEST:: SOT 2233468 SOS 1324127 HAS SOPS 1324127 HAS SOUS 705266 HAS SOUPS 705266 WITH SCORE 706590.127
AT ITER 2799 NEW BEST:: SOT 2233179 SOS 1323838 HAS SOPS 1323838 HAS SOUS 704974 HAS SOUPS 704974 WITH SCORE 706297.838
AT ITER 2801 NEW BEST:: SOT 2232962 SOS 1324377 HAS SOPS 1324377 HAS SOUS 704854 HAS SOUPS 704854 WITH SCORE 706178.377
AT ITER 2814 NEW BEST:: SOT 2232857 SOS 1323937 HAS SOPS 1323937 HAS SOUS 704644 HAS SOUPS 704644 WITH SCORE 705967.937
AT ITER 2832 NEW BEST:: SOT 2232771 SOS 1323851 HAS SOPS 1323851 HAS SOUS 704558 HAS SOUPS 704558 WITH SCORE 705881.851
AT ITER 2861 NEW BEST:: SOT 2232771 SOS 1324032 HAS SOPS 1324032 HAS SOUS 704554 HAS SOUPS 704554 WITH SCORE 705878.032
AT ITER 2866 NEW BEST:: SOT 2225258 SOS 1315772 HAS SOPS 1315772 HAS SOUS 696294 HAS SOUPS 696294 WITH SCORE 697609.772
AT ITER 2884 NEW BEST:: SOT 2225089 SOS 1315603 HAS SOPS 1315603 HAS SOUS 696125 HAS SOUPS 696125 WITH SCORE 697440.603
AT ITER 2892 NEW BEST:: SOT 2224555 SOS 1315056 HAS SOPS 1315056 HAS SOUS 695650 HAS SOUPS 695650 WITH SCORE 696965.056
AT ITER 2894 NEW BEST:: SOT 2224555 SOS 1314425 HAS SOPS 1314425 HAS SOUS 695631 HAS SOUPS 695631 WITH SCORE 696945.425
AT ITER 2916 NEW BEST:: SOT 2224318 SOS 1313535 HAS SOPS 1313535 HAS SOUS 695023 HAS SOUPS 695023 WITH SCORE 696336.535
AT ITER 2941 NEW BEST:: SOT 2223566 SOS 1312783 HAS SOPS 1312783 HAS SOUS 694394 HAS SOUPS 694394 WITH SCORE 695706.783
AT ITER 2944 NEW BEST:: SOT 2223427 SOS 1312644 HAS SOPS 1312644 HAS SOUS 694255 HAS SOUPS 694255 WITH SCORE 695567.644
AT ITER 2948 NEW BEST:: SOT 2223009 SOS 1306855 HAS SOPS 1306855 HAS SOUS 693279 HAS SOUPS 693279 WITH SCORE 694585.855
AT ITER 2960 NEW BEST:: SOT 2222653 SOS 1306994 HAS SOPS 1306994 HAS SOUS 693155 HAS SOUPS 693155 WITH SCORE 694461.994
AT ITER 2962 NEW BEST:: SOT 2222096 SOS 1306437 HAS SOPS 1306437 HAS SOUS 692598 HAS SOUPS 692598 WITH SCORE 693904.437
AT ITER 2970 NEW BEST:: SOT 2221818 SOS 1306159 HAS SOPS 1306159 HAS SOUS 692340 HAS SOUPS 692340 WITH SCORE 693646.159
AT ITER 2975 NEW BEST:: SOT 2221427 SOS 1305377 HAS SOPS 1305377 HAS SOUS 691949 HAS SOUPS 691949 WITH SCORE 693254.377
AT ITER 2980 NEW BEST:: SOT 2221394 SOS 1305344 HAS SOPS 1305344 HAS SOUS 691922 HAS SOUPS 691922 WITH SCORE 693227.344
AT ITER 2981 NEW BEST:: SOT 2221394 SOS 1305252 HAS SOPS 1305252 HAS SOUS 691899 HAS SOUPS 691899 WITH SCORE 693204.252
AT ITER 2982 NEW BEST:: SOT 2221234 SOS 1305078 HAS SOPS 1305078 HAS SOUS 691419 HAS SOUPS 691419 WITH SCORE 692724.078
AT ITER 2991 NEW BEST:: SOT 2221094 SOS 1305008 HAS SOPS 1305008 HAS SOUS 691209 HAS SOUPS 691209 WITH SCORE 692514.008
AT ITER 3002 NEW BEST:: SOT 2220923 SOS 1304837 HAS SOPS 1304837 HAS SOUS 690971 HAS SOUPS 690971 WITH SCORE 692275.837
AT ITER 3005 NEW BEST:: SOT 2220911 SOS 1304825 HAS SOPS 1304825 HAS SOUS 690959 HAS SOUPS 690959 WITH SCORE 692263.825
AT ITER 3008 NEW BEST:: SOT 2220911 SOS 1302880 HAS SOPS 1302880 HAS SOUS 690532 HAS SOUPS 690532 WITH SCORE 691834.88
AT ITER 3012 NEW BEST:: SOT 2220783 SOS 1302752 HAS SOPS 1302752 HAS SOUS 690404 HAS SOUPS 690404 WITH SCORE 691706.752
AT ITER 3017 NEW BEST:: SOT 2220952 SOS 1302921 HAS SOPS 1302921 HAS SOUS 690378 HAS SOUPS 690378 WITH SCORE 691680.921
AT ITER 3021 NEW BEST:: SOT 2220948 SOS 1303223 HAS SOPS 1303223 HAS SOUS 690342 HAS SOUPS 690342 WITH SCORE 691645.223
AT ITER 3025 NEW BEST:: SOT 2220638 SOS 1302913 HAS SOPS 1302913 HAS SOUS 690032 HAS SOUPS 690032 WITH SCORE 691334.913
AT ITER 3046 NEW BEST:: SOT 2220637 SOS 1303038 HAS SOPS 1303038 HAS SOUS 690021 HAS SOUPS 690021 WITH SCORE 691324.038
AT ITER 3056 NEW BEST:: SOT 2220637 SOS 1302524 HAS SOPS 1302524 HAS SOUS 689937 HAS SOUPS 689937 WITH SCORE 691239.524
AT ITER 3095 NEW BEST:: SOT 2220849 SOS 1301676 HAS SOPS 1301676 HAS SOUS 689937 HAS SOUPS 689937 WITH SCORE 691238.676
AT ITER 3106 NEW BEST:: SOT 2220496 SOS 1300967 HAS SOPS 1300967 HAS SOUS 689581 HAS SOUPS 689581 WITH SCORE 690881.967
AT ITER 3115 NEW BEST:: SOT 2220299 SOS 1300770 HAS SOPS 1300770 HAS SOUS 689563 HAS SOUPS 689563 WITH SCORE 690863.77
AT ITER 3119 NEW BEST:: SOT 2220298 SOS 1300769 HAS SOPS 1300769 HAS SOUS 689561 HAS SOUPS 689561 WITH SCORE 690861.769
AT ITER 3121 NEW BEST:: SOT 2219919 SOS 1301354 HAS SOPS 1301354 HAS SOUS 689168 HAS SOUPS 689168 WITH SCORE 690469.354
AT ITER 3131 NEW BEST:: SOT 2219918 SOS 1301217 HAS SOPS 1301217 HAS SOUS 689166 HAS SOUPS 689166 WITH SCORE 690467.217
AT ITER 3139 NEW BEST:: SOT 2219576 SOS 1300875 HAS SOPS 1300875 HAS SOUS 688824 HAS SOUPS 688824 WITH SCORE 690124.875
AT ITER 3146 NEW BEST:: SOT 2220353 SOS 1300624 HAS SOPS 1300624 HAS SOUS 688405 HAS SOUPS 688405 WITH SCORE 689705.624
AT ITER 3154 NEW BEST:: SOT 2219659 SOS 1298511 HAS SOPS 1298511 HAS SOUS 687349 HAS SOUPS 687349 WITH SCORE 688647.511
AT ITER 3161 NEW BEST:: SOT 2219659 SOS 1298074 HAS SOPS 1298074 HAS SOUS 687349 HAS SOUPS 687349 WITH SCORE 688647.074
AT ITER 3169 NEW BEST:: SOT 2219664 SOS 1298079 HAS SOPS 1298079 HAS SOUS 687341 HAS SOUPS 687341 WITH SCORE 688639.079
AT ITER 3173 NEW BEST:: SOT 2219056 SOS 1296404 HAS SOPS 1296404 HAS SOUS 685737 HAS SOUPS 685737 WITH SCORE 687033.404
AT ITER 3203 NEW BEST:: SOT 2219301 SOS 1296526 HAS SOPS 1296526 HAS SOUS 685612 HAS SOUPS 685612 WITH SCORE 686908.526
AT ITER 3216 NEW BEST:: SOT 2218958 SOS 1296911 HAS SOPS 1296911 HAS SOUS 685360 HAS SOUPS 685360 WITH SCORE 686656.911
AT ITER 3231 NEW BEST:: SOT 2218422 SOS 1296442 HAS SOPS 1296442 HAS SOUS 684958 HAS SOUPS 684958 WITH SCORE 686254.442
AT ITER 3233 NEW BEST:: SOT 2218289 SOS 1296309 HAS SOPS 1296309 HAS SOUS 684834 HAS SOUPS 684834 WITH SCORE 686130.309
AT ITER 3247 NEW BEST:: SOT 2218260 SOS 1296307 HAS SOPS 1296307 HAS SOUS 684832 HAS SOUPS 684832 WITH SCORE 686128.307
AT ITER 3252 NEW BEST:: SOT 2218013 SOS 1296128 HAS SOPS 1296128 HAS SOUS 684272 HAS SOUPS 684272 WITH SCORE 685568.128
AT ITER 3272 NEW BEST:: SOT 2217781 SOS 1295985 HAS SOPS 1295985 HAS SOUS 684129 HAS SOUPS 684129 WITH SCORE 685424.985
AT ITER 3283 NEW BEST:: SOT 2217781 SOS 1295980 HAS SOPS 1295980 HAS SOUS 684129 HAS SOUPS 684129 WITH SCORE 685424.98
AT ITER 3284 NEW BEST:: SOT 2217651 SOS 1295720 HAS SOPS 1295720 HAS SOUS 683869 HAS SOUPS 683869 WITH SCORE 685164.72
AT ITER 3298 NEW BEST:: SOT 2210625 SOS 1288694 HAS SOPS 1288694 HAS SOUS 676843 HAS SOUPS 676843 WITH SCORE 678131.694
AT ITER 3311 NEW BEST:: SOT 2211387 SOS 1292695 HAS SOPS 1292695 HAS SOUS 676778 HAS SOUPS 676778 WITH SCORE 678070.695
AT ITER 3324 NEW BEST:: SOT 2211387 SOS 1292695 HAS SOPS 1292695 HAS SOUS 676760 HAS SOUPS 676760 WITH SCORE 678052.695
AT ITER 3348 NEW BEST:: SOT 2211453 SOS 1292761 HAS SOPS 1292761 HAS SOUS 676724 HAS SOUPS 676724 WITH SCORE 678016.761
AT ITER 3361 NEW BEST:: SOT 2211365 SOS 1292585 HAS SOPS 1292585 HAS SOUS 676548 HAS SOUPS 676548 WITH SCORE 677840.585
AT ITER 3372 NEW BEST:: SOT 2211329 SOS 1292545 HAS SOPS 1292545 HAS SOUS 676508 HAS SOUPS 676508 WITH SCORE 677800.545
AT ITER 3376 NEW BEST:: SOT 2210736 SOS 1293443 HAS SOPS 1293443 HAS SOUS 676373 HAS SOUPS 676373 WITH SCORE 677666.443
AT ITER 3384 NEW BEST:: SOT 2210842 SOS 1293311 HAS SOPS 1293311 HAS SOUS 676241 HAS SOUPS 676241 WITH SCORE 677534.311
AT ITER 3414 NEW BEST:: SOT 2210476 SOS 1292579 HAS SOPS 1292579 HAS SOUS 675509 HAS SOUPS 675509 WITH SCORE 676801.579
AT ITER 3419 NEW BEST:: SOT 2210476 SOS 1292125 HAS SOPS 1292125 HAS SOUS 675430 HAS SOUPS 675430 WITH SCORE 676722.125
AT ITER 3432 NEW BEST:: SOT 2210187 SOS 1290673 HAS SOPS 1290673 HAS SOUS 674832 HAS SOUPS 674832 WITH SCORE 676122.673
AT ITER 3436 NEW BEST:: SOT 2209894 SOS 1289679 HAS SOPS 1289679 HAS SOUS 674234 HAS SOUPS 674234 WITH SCORE 675523.679
AT ITER 3466 NEW BEST:: SOT 2209834 SOS 1289559 HAS SOPS 1289559 HAS SOUS 674114 HAS SOUPS 674114 WITH SCORE 675403.559
AT ITER 3467 NEW BEST:: SOT 2209573 SOS 1289081 HAS SOPS 1289081 HAS SOUS 673592 HAS SOUPS 673592 WITH SCORE 674881.081
AT ITER 3470 NEW BEST:: SOT 2209573 SOS 1288805 HAS SOPS 1288805 HAS SOUS 673316 HAS SOUPS 673316 WITH SCORE 674604.805
AT ITER 3477 NEW BEST:: SOT 2209158 SOS 1287974 HAS SOPS 1287974 HAS SOUS 672645 HAS SOUPS 672645 WITH SCORE 673932.974
AT ITER 3478 NEW BEST:: SOT 2209068 SOS 1287884 HAS SOPS 1287884 HAS SOUS 672433 HAS SOUPS 672433 WITH SCORE 673720.884
AT ITER 3490 NEW BEST:: SOT 2208351 SOS 1286000 HAS SOPS 1286000 HAS SOUS 672416 HAS SOUPS 672416 WITH SCORE 673702.0
AT ITER 3498 NEW BEST:: SOT 2207977 SOS 1285626 HAS SOPS 1285626 HAS SOUS 672042 HAS SOUPS 672042 WITH SCORE 673327.626
AT ITER 3516 NEW BEST:: SOT 2207726 SOS 1284937 HAS SOPS 1284937 HAS SOUS 671353 HAS SOUPS 671353 WITH SCORE 672637.937
AT ITER 3519 NEW BEST:: SOT 2207591 SOS 1284384 HAS SOPS 1284384 HAS SOUS 670800 HAS SOUPS 670800 WITH SCORE 672084.384
AT ITER 3520 NEW BEST:: SOT 2207583 SOS 1284376 HAS SOPS 1284376 HAS SOUS 670784 HAS SOUPS 670784 WITH SCORE 672068.376
AT ITER 3525 NEW BEST:: SOT 2207483 SOS 1284263 HAS SOPS 1284263 HAS SOUS 670671 HAS SOUPS 670671 WITH SCORE 671955.263
AT ITER 3534 NEW BEST:: SOT 2206038 SOS 1282959 HAS SOPS 1282959 HAS SOUS 669367 HAS SOUPS 669367 WITH SCORE 670649.959
AT ITER 3539 NEW BEST:: SOT 2205978 SOS 1282760 HAS SOPS 1282760 HAS SOUS 669168 HAS SOUPS 669168 WITH SCORE 670450.76
AT ITER 3550 NEW BEST:: SOT 2205976 SOS 1282025 HAS SOPS 1282025 HAS SOUS 669021 HAS SOUPS 669021 WITH SCORE 670303.025
AT ITER 3553 NEW BEST:: SOT 2205788 SOS 1281837 HAS SOPS 1281837 HAS SOUS 668833 HAS SOUPS 668833 WITH SCORE 670114.837
AT ITER 3559 NEW BEST:: SOT 2205801 SOS 1283454 HAS SOPS 1283454 HAS SOUS 668578 HAS SOUPS 668578 WITH SCORE 669861.454
AT ITER 3577 NEW BEST:: SOT 2205476 SOS 1282137 HAS SOPS 1282137 HAS SOUS 667599 HAS SOUPS 667599 WITH SCORE 668881.137
AT ITER 3578 NEW BEST:: SOT 2205198 SOS 1281859 HAS SOPS 1281859 HAS SOUS 667321 HAS SOUPS 667321 WITH SCORE 668602.859
AT ITER 3580 NEW BEST:: SOT 2204649 SOS 1280704 HAS SOPS 1280704 HAS SOUS 666530 HAS SOUPS 666530 WITH SCORE 667810.704
AT ITER 3586 NEW BEST:: SOT 2204547 SOS 1280602 HAS SOPS 1280602 HAS SOUS 666199 HAS SOUPS 666199 WITH SCORE 667479.602
AT ITER 3588 NEW BEST:: SOT 2204430 SOS 1280485 HAS SOPS 1280485 HAS SOUS 665965 HAS SOUPS 665965 WITH SCORE 667245.485
AT ITER 3592 NEW BEST:: SOT 2204429 SOS 1280484 HAS SOPS 1280484 HAS SOUS 665963 HAS SOUPS 665963 WITH SCORE 667243.484
AT ITER 3641 NEW BEST:: SOT 2204150 SOS 1279538 HAS SOPS 1279538 HAS SOUS 665085 HAS SOUPS 665085 WITH SCORE 666364.538
AT ITER 3668 NEW BEST:: SOT 2204150 SOS 1279438 HAS SOPS 1279438 HAS SOUS 664985 HAS SOUPS 664985 WITH SCORE 666264.438
AT ITER 3670 NEW BEST:: SOT 2203995 SOS 1279283 HAS SOPS 1279283 HAS SOUS 664830 HAS SOUPS 664830 WITH SCORE 666109.283
AT ITER 3690 NEW BEST:: SOT 2203681 SOS 1278969 HAS SOPS 1278969 HAS SOUS 664202 HAS SOUPS 664202 WITH SCORE 665480.969
AT ITER 3717 NEW BEST:: SOT 2203570 SOS 1278493 HAS SOPS 1278493 HAS SOUS 663726 HAS SOUPS 663726 WITH SCORE 665004.493
AT ITER 3725 NEW BEST:: SOT 2203744 SOS 1278230 HAS SOPS 1278230 HAS SOUS 663463 HAS SOUPS 663463 WITH SCORE 664741.23
AT ITER 3728 NEW BEST:: SOT 2203744 SOS 1277188 HAS SOPS 1277188 HAS SOUS 663263 HAS SOUPS 663263 WITH SCORE 664540.188
AT ITER 3729 NEW BEST:: SOT 2203042 SOS 1277201 HAS SOPS 1277201 HAS SOUS 662468 HAS SOUPS 662468 WITH SCORE 663745.201
AT ITER 3736 NEW BEST:: SOT 2202355 SOS 1276514 HAS SOPS 1276514 HAS SOUS 662468 HAS SOUPS 662468 WITH SCORE 663744.514
AT ITER 3740 NEW BEST:: SOT 2202381 SOS 1276385 HAS SOPS 1276385 HAS SOUS 662339 HAS SOUPS 662339 WITH SCORE 663615.385
AT ITER 3745 NEW BEST:: SOT 2202688 SOS 1276193 HAS SOPS 1276193 HAS SOUS 662191 HAS SOUPS 662191 WITH SCORE 663467.193
AT ITER 3754 NEW BEST:: SOT 2201873 SOS 1275178 HAS SOPS 1275178 HAS SOUS 661991 HAS SOUPS 661991 WITH SCORE 663266.178
AT ITER 3760 NEW BEST:: SOT 2201373 SOS 1274678 HAS SOPS 1274678 HAS SOUS 661491 HAS SOUPS 661491 WITH SCORE 662765.678
AT ITER 3774 NEW BEST:: SOT 2201373 SOS 1274646 HAS SOPS 1274646 HAS SOUS 661454 HAS SOUPS 661454 WITH SCORE 662728.646
AT ITER 3777 NEW BEST:: SOT 2200912 SOS 1273260 HAS SOPS 1273260 HAS SOUS 660068 HAS SOUPS 660068 WITH SCORE 661341.26
AT ITER 3784 NEW BEST:: SOT 2200875 SOS 1273149 HAS SOPS 1273149 HAS SOUS 659957 HAS SOUPS 659957 WITH SCORE 661230.149
AT ITER 3785 NEW BEST:: SOT 2200896 SOS 1268302 HAS SOPS 1268302 HAS SOUS 659950 HAS SOUPS 659950 WITH SCORE 661218.302
AT ITER 3792 NEW BEST:: SOT 2200846 SOS 1268252 HAS SOPS 1268252 HAS SOUS 659850 HAS SOUPS 659850 WITH SCORE 661118.252
AT ITER 3800 NEW BEST:: SOT 2200352 SOS 1266326 HAS SOPS 1266326 HAS SOUS 658874 HAS SOUPS 658874 WITH SCORE 660140.326
AT ITER 3804 NEW BEST:: SOT 2200406 SOS 1266450 HAS SOPS 1266450 HAS SOUS 658841 HAS SOUPS 658841 WITH SCORE 660107.45
AT ITER 3814 NEW BEST:: SOT 2200406 SOS 1266232 HAS SOPS 1266232 HAS SOUS 658799 HAS SOUPS 658799 WITH SCORE 660065.232
AT ITER 3820 NEW BEST:: SOT 2200403 SOS 1266229 HAS SOPS 1266229 HAS SOUS 658795 HAS SOUPS 658795 WITH SCORE 660061.229
AT ITER 3826 NEW BEST:: SOT 2200442 SOS 1265995 HAS SOPS 1265995 HAS SOUS 658795 HAS SOUPS 658795 WITH SCORE 660060.995
AT ITER 3830 NEW BEST:: SOT 2200420 SOS 1265973 HAS SOPS 1265973 HAS SOUS 658773 HAS SOUPS 658773 WITH SCORE 660038.973
AT ITER 3833 NEW BEST:: SOT 2200306 SOS 1265745 HAS SOPS 1265745 HAS SOUS 658773 HAS SOUPS 658773 WITH SCORE 660038.745
AT ITER 3840 NEW BEST:: SOT 2199918 SOS 1265120 HAS SOPS 1265120 HAS SOUS 658148 HAS SOUPS 658148 WITH SCORE 659413.12
AT ITER 3858 NEW BEST:: SOT 2199928 SOS 1265130 HAS SOPS 1265130 HAS SOUS 658141 HAS SOUPS 658141 WITH SCORE 659406.13
AT ITER 3865 NEW BEST:: SOT 2199703 SOS 1264640 HAS SOPS 1264640 HAS SOUS 657676 HAS SOUPS 657676 WITH SCORE 658940.64
AT ITER 3867 NEW BEST:: SOT 2199713 SOS 1264315 HAS SOPS 1264315 HAS SOUS 657539 HAS SOUPS 657539 WITH SCORE 658803.315
AT ITER 3887 NEW BEST:: SOT 2199684 SOS 1264208 HAS SOPS 1264208 HAS SOUS 657506 HAS SOUPS 657506 WITH SCORE 658770.208
AT ITER 3900 NEW BEST:: SOT 2199682 SOS 1264152 HAS SOPS 1264152 HAS SOUS 657502 HAS SOUPS 657502 WITH SCORE 658766.152
AT ITER 3905 NEW BEST:: SOT 2199557 SOS 1264109 HAS SOPS 1264109 HAS SOUS 657459 HAS SOUPS 657459 WITH SCORE 658723.109
AT ITER 3914 NEW BEST:: SOT 2199570 SOS 1263889 HAS SOPS 1263889 HAS SOUS 657109 HAS SOUPS 657109 WITH SCORE 658372.889
AT ITER 3920 NEW BEST:: SOT 2199516 SOS 1264050 HAS SOPS 1264050 HAS SOUS 657026 HAS SOUPS 657026 WITH SCORE 658290.05
AT ITER 3936 NEW BEST:: SOT 2199454 SOS 1263864 HAS SOPS 1263864 HAS SOUS 656885 HAS SOUPS 656885 WITH SCORE 658148.864
AT ITER 3943 NEW BEST:: SOT 2199291 SOS 1264004 HAS SOPS 1264004 HAS SOUS 656870 HAS SOUPS 656870 WITH SCORE 658134.004
AT ITER 3961 NEW BEST:: SOT 2199260 SOS 1263973 HAS SOPS 1263973 HAS SOUS 656839 HAS SOUPS 656839 WITH SCORE 658102.973
AT ITER 3968 NEW BEST:: SOT 2198869 SOS 1263191 HAS SOPS 1263191 HAS SOUS 656057 HAS SOUPS 656057 WITH SCORE 657320.191
AT ITER 3983 NEW BEST:: SOT 2198115 SOS 1262437 HAS SOPS 1262437 HAS SOUS 655303 HAS SOUPS 655303 WITH SCORE 656565.437
AT ITER 3992 NEW BEST:: SOT 2198115 SOS 1262414 HAS SOPS 1262414 HAS SOUS 655303 HAS SOUPS 655303 WITH SCORE 656565.414
AT ITER 3999 NEW BEST:: SOT 2197906 SOS 1261944 HAS SOPS 1261944 HAS SOUS 654889 HAS SOUPS 654889 WITH SCORE 656150.944
AT ITER 4012 NEW BEST:: SOT 2197675 SOS 1261713 HAS SOPS 1261713 HAS SOUS 654564 HAS SOUPS 654564 WITH SCORE 655825.713
AT ITER 4018 NEW BEST:: SOT 2197594 SOS 1261643 HAS SOPS 1261643 HAS SOUS 654483 HAS SOUPS 654483 WITH SCORE 655744.643
AT ITER 4032 NEW BEST:: SOT 2196931 SOS 1260980 HAS SOPS 1260980 HAS SOUS 653820 HAS SOUPS 653820 WITH SCORE 655080.98
AT ITER 4034 NEW BEST:: SOT 2196666 SOS 1259619 HAS SOPS 1259619 HAS SOUS 653625 HAS SOUPS 653625 WITH SCORE 654884.619
AT ITER 4052 NEW BEST:: SOT 2196621 SOS 1259574 HAS SOPS 1259574 HAS SOUS 653580 HAS SOUPS 653580 WITH SCORE 654839.574
AT ITER 4074 NEW BEST:: SOT 2196621 SOS 1259508 HAS SOPS 1259508 HAS SOUS 653560 HAS SOUPS 653560 WITH SCORE 654819.508
AT ITER 4081 NEW BEST:: SOT 2196571 SOS 1258584 HAS SOPS 1258584 HAS SOUS 652636 HAS SOUPS 652636 WITH SCORE 653894.584
AT ITER 4088 NEW BEST:: SOT 2196522 SOS 1258675 HAS SOPS 1258675 HAS SOUS 652587 HAS SOUPS 652587 WITH SCORE 653845.675
AT ITER 4091 NEW BEST:: SOT 2196254 SOS 1258407 HAS SOPS 1258407 HAS SOUS 652319 HAS SOUPS 652319 WITH SCORE 653577.407
AT ITER 4096 NEW BEST:: SOT 2196275 SOS 1257930 HAS SOPS 1257930 HAS SOUS 651842 HAS SOUPS 651842 WITH SCORE 653099.93
AT ITER 4099 NEW BEST:: SOT 2196280 SOS 1258214 HAS SOPS 1258214 HAS SOUS 651473 HAS SOUPS 651473 WITH SCORE 652731.214
AT ITER 4105 NEW BEST:: SOT 2195776 SOS 1255806 HAS SOPS 1255806 HAS SOUS 650731 HAS SOUPS 650731 WITH SCORE 651986.806
AT ITER 4109 NEW BEST:: SOT 2195776 SOS 1255747 HAS SOPS 1255747 HAS SOUS 650672 HAS SOUPS 650672 WITH SCORE 651927.747
AT ITER 4119 NEW BEST:: SOT 2194936 SOS 1254907 HAS SOPS 1254907 HAS SOUS 649832 HAS SOUPS 649832 WITH SCORE 651086.907
AT ITER 4142 NEW BEST:: SOT 2194710 SOS 1254019 HAS SOPS 1254019 HAS SOUS 648722 HAS SOUPS 648722 WITH SCORE 649976.019
AT ITER 4143 NEW BEST:: SOT 2194347 SOS 1253656 HAS SOPS 1253656 HAS SOUS 648612 HAS SOUPS 648612 WITH SCORE 649865.656
AT ITER 4147 NEW BEST:: SOT 2194330 SOS 1253639 HAS SOPS 1253639 HAS SOUS 648595 HAS SOUPS 648595 WITH SCORE 649848.639
AT ITER 4148 NEW BEST:: SOT 2194389 SOS 1253543 HAS SOPS 1253543 HAS SOUS 648499 HAS SOUPS 648499 WITH SCORE 649752.543
AT ITER 4149 NEW BEST:: SOT 2194104 SOS 1253258 HAS SOPS 1253258 HAS SOUS 648248 HAS SOUPS 648248 WITH SCORE 649501.258
AT ITER 4154 NEW BEST:: SOT 2193934 SOS 1253088 HAS SOPS 1253088 HAS SOUS 648078 HAS SOUPS 648078 WITH SCORE 649331.088
AT ITER 4159 NEW BEST:: SOT 2193696 SOS 1252850 HAS SOPS 1252850 HAS SOUS 647840 HAS SOUPS 647840 WITH SCORE 649092.85
AT ITER 4185 NEW BEST:: SOT 2193734 SOS 1252793 HAS SOPS 1252793 HAS SOUS 647783 HAS SOUPS 647783 WITH SCORE 649035.793
AT ITER 4202 NEW BEST:: SOT 2193535 SOS 1252634 HAS SOPS 1252634 HAS SOUS 647772 HAS SOUPS 647772 WITH SCORE 649024.634
AT ITER 4204 NEW BEST:: SOT 2193354 SOS 1252445 HAS SOPS 1252445 HAS SOUS 647771 HAS SOUPS 647771 WITH SCORE 649023.445
AT ITER 4206 NEW BEST:: SOT 2193252 SOS 1252339 HAS SOPS 1252339 HAS SOUS 647665 HAS SOUPS 647665 WITH SCORE 648917.339
AT ITER 4209 NEW BEST:: SOT 2192281 SOS 1251207 HAS SOPS 1251207 HAS SOUS 646533 HAS SOUPS 646533 WITH SCORE 647784.207
AT ITER 4216 NEW BEST:: SOT 2192280 SOS 1251206 HAS SOPS 1251206 HAS SOUS 646441 HAS SOUPS 646441 WITH SCORE 647692.206
AT ITER 4239 NEW BEST:: SOT 2191782 SOS 1250708 HAS SOPS 1250708 HAS SOUS 645943 HAS SOUPS 645943 WITH SCORE 647193.708
AT ITER 4244 NEW BEST:: SOT 2191852 SOS 1250523 HAS SOPS 1250523 HAS SOUS 645848 HAS SOUPS 645848 WITH SCORE 647098.523
AT ITER 4246 NEW BEST:: SOT 2191791 SOS 1250340 HAS SOPS 1250340 HAS SOUS 645665 HAS SOUPS 645665 WITH SCORE 646915.34
AT ITER 4248 NEW BEST:: SOT 2191791 SOS 1250092 HAS SOPS 1250092 HAS SOUS 645665 HAS SOUPS 645665 WITH SCORE 646915.092
AT ITER 4255 NEW BEST:: SOT 2191868 SOS 1248539 HAS SOPS 1248539 HAS SOUS 645133 HAS SOUPS 645133 WITH SCORE 646381.539
AT ITER 4272 NEW BEST:: SOT 2191868 SOS 1248539 HAS SOPS 1248539 HAS SOUS 644995 HAS SOUPS 644995 WITH SCORE 646243.539
AT ITER 4274 NEW BEST:: SOT 2191875 SOS 1248553 HAS SOPS 1248553 HAS SOUS 644923 HAS SOUPS 644923 WITH SCORE 646171.553
AT ITER 4277 NEW BEST:: SOT 2191772 SOS 1250654 HAS SOPS 1250654 HAS SOUS 644662 HAS SOUPS 644662 WITH SCORE 645912.654
AT ITER 4309 NEW BEST:: SOT 2192084 SOS 1251150 HAS SOPS 1251150 HAS SOUS 644505 HAS SOUPS 644505 WITH SCORE 645756.15
AT ITER 4316 NEW BEST:: SOT 2192224 SOS 1249928 HAS SOPS 1249928 HAS SOUS 644321 HAS SOUPS 644321 WITH SCORE 645570.928
AT ITER 4321 NEW BEST:: SOT 2192219 SOS 1249923 HAS SOPS 1249923 HAS SOUS 644321 HAS SOUPS 644321 WITH SCORE 645570.923
AT ITER 4342 NEW BEST:: SOT 2192217 SOS 1250168 HAS SOPS 1250168 HAS SOUS 644103 HAS SOUPS 644103 WITH SCORE 645353.168
AT ITER 4343 NEW BEST:: SOT 2192077 SOS 1249966 HAS SOPS 1249966 HAS SOUS 643901 HAS SOUPS 643901 WITH SCORE 645150.966
AT ITER 4344 NEW BEST:: SOT 2192612 SOS 1249473 HAS SOPS 1249473 HAS SOUS 642945 HAS SOUPS 642945 WITH SCORE 644194.473
AT ITER 4359 NEW BEST:: SOT 2192612 SOS 1249463 HAS SOPS 1249463 HAS SOUS 642945 HAS SOUPS 642945 WITH SCORE 644194.463
AT ITER 4368 NEW BEST:: SOT 2192542 SOS 1249391 HAS SOPS 1249391 HAS SOUS 642805 HAS SOUPS 642805 WITH SCORE 644054.391
AT ITER 4370 NEW BEST:: SOT 2192542 SOS 1248522 HAS SOPS 1248522 HAS SOUS 642674 HAS SOUPS 642674 WITH SCORE 643922.522
AT ITER 4373 NEW BEST:: SOT 2192122 SOS 1247832 HAS SOPS 1247832 HAS SOUS 642104 HAS SOUPS 642104 WITH SCORE 643351.832
AT ITER 4378 NEW BEST:: SOT 2192108 SOS 1247818 HAS SOPS 1247818 HAS SOUS 642090 HAS SOUPS 642090 WITH SCORE 643337.818
AT ITER 4382 NEW BEST:: SOT 2192109 SOS 1247601 HAS SOPS 1247601 HAS SOUS 641873 HAS SOUPS 641873 WITH SCORE 643120.601
AT ITER 4389 NEW BEST:: SOT 2191996 SOS 1247523 HAS SOPS 1247523 HAS SOUS 641572 HAS SOUPS 641572 WITH SCORE 642819.523
AT ITER 4399 NEW BEST:: SOT 2191356 SOS 1247184 HAS SOPS 1247184 HAS SOUS 640329 HAS SOUPS 640329 WITH SCORE 641576.184
AT ITER 4404 NEW BEST:: SOT 2191303 SOS 1247013 HAS SOPS 1247013 HAS SOUS 640072 HAS SOUPS 640072 WITH SCORE 641319.013
AT ITER 4405 NEW BEST:: SOT 2191362 SOS 1247072 HAS SOPS 1247072 HAS SOUS 640070 HAS SOUPS 640070 WITH SCORE 641317.072
AT ITER 4418 NEW BEST:: SOT 2191021 SOS 1246392 HAS SOPS 1246392 HAS SOUS 639390 HAS SOUPS 639390 WITH SCORE 640636.392
AT ITER 4427 NEW BEST:: SOT 2191021 SOS 1246392 HAS SOPS 1246392 HAS SOUS 639358 HAS SOUPS 639358 WITH SCORE 640604.392
AT ITER 4428 NEW BEST:: SOT 2190941 SOS 1246312 HAS SOPS 1246312 HAS SOUS 639278 HAS SOUPS 639278 WITH SCORE 640524.312
AT ITER 4432 NEW BEST:: SOT 2190882 SOS 1246246 HAS SOPS 1246246 HAS SOUS 639213 HAS SOUPS 639213 WITH SCORE 640459.246
AT ITER 4435 NEW BEST:: SOT 2190864 SOS 1247655 HAS SOPS 1247655 HAS SOUS 639206 HAS SOUPS 639206 WITH SCORE 640453.655
AT ITER 4479 NEW BEST:: SOT 2190864 SOS 1247501 HAS SOPS 1247501 HAS SOUS 639175 HAS SOUPS 639175 WITH SCORE 640422.501
AT ITER 4490 NEW BEST:: SOT 2189403 SOS 1246040 HAS SOPS 1246040 HAS SOUS 637594 HAS SOUPS 637594 WITH SCORE 638840.04
AT ITER 4498 NEW BEST:: SOT 2189403 SOS 1246022 HAS SOPS 1246022 HAS SOUS 637594 HAS SOUPS 637594 WITH SCORE 638840.022
AT ITER 4501 NEW BEST:: SOT 2189403 SOS 1245949 HAS SOPS 1245949 HAS SOUS 637580 HAS SOUPS 637580 WITH SCORE 638825.949
AT ITER 4504 NEW BEST:: SOT 2189403 SOS 1246119 HAS SOPS 1246119 HAS SOUS 637311 HAS SOUPS 637311 WITH SCORE 638557.119
AT ITER 4512 NEW BEST:: SOT 2189317 SOS 1246101 HAS SOPS 1246101 HAS SOUS 637293 HAS SOUPS 637293 WITH SCORE 638539.101
AT ITER 4514 NEW BEST:: SOT 2189326 SOS 1245922 HAS SOPS 1245922 HAS SOUS 637120 HAS SOUPS 637120 WITH SCORE 638365.922
AT ITER 4518 NEW BEST:: SOT 2189324 SOS 1245920 HAS SOPS 1245920 HAS SOUS 637118 HAS SOUPS 637118 WITH SCORE 638363.92
AT ITER 4521 NEW BEST:: SOT 2189323 SOS 1245919 HAS SOPS 1245919 HAS SOUS 637116 HAS SOUPS 637116 WITH SCORE 638361.919
AT ITER 4533 NEW BEST:: SOT 2188873 SOS 1245745 HAS SOPS 1245745 HAS SOUS 636441 HAS SOUPS 636441 WITH SCORE 637686.745
AT ITER 4540 NEW BEST:: SOT 2188840 SOS 1245884 HAS SOPS 1245884 HAS SOUS 636394 HAS SOUPS 636394 WITH SCORE 637639.884
AT ITER 4595 NEW BEST:: SOT 2188838 SOS 1245882 HAS SOPS 1245882 HAS SOUS 636390 HAS SOUPS 636390 WITH SCORE 637635.882
AT ITER 4596 NEW BEST:: SOT 2188404 SOS 1245578 HAS SOPS 1245578 HAS SOUS 635977 HAS SOUPS 635977 WITH SCORE 637222.578
AT ITER 4609 NEW BEST:: SOT 2188260 SOS 1245434 HAS SOPS 1245434 HAS SOUS 635833 HAS SOUPS 635833 WITH SCORE 637078.434
AT ITER 4616 NEW BEST:: SOT 2188210 SOS 1244005 HAS SOPS 1244005 HAS SOUS 635544 HAS SOUPS 635544 WITH SCORE 636788.005
AT ITER 4620 NEW BEST:: SOT 2188210 SOS 1244131 HAS SOPS 1244131 HAS SOUS 635528 HAS SOUPS 635528 WITH SCORE 636772.131
AT ITER 4631 NEW BEST:: SOT 2184576 SOS 1239960 HAS SOPS 1239960 HAS SOUS 633848 HAS SOUPS 633848 WITH SCORE 635087.96
AT ITER 4641 NEW BEST:: SOT 2184583 SOS 1239897 HAS SOPS 1239897 HAS SOUS 633785 HAS SOUPS 633785 WITH SCORE 635024.897
AT ITER 4685 NEW BEST:: SOT 2184460 SOS 1239728 HAS SOPS 1239728 HAS SOUS 633662 HAS SOUPS 633662 WITH SCORE 634901.728
AT ITER 4690 NEW BEST:: SOT 2184430 SOS 1239698 HAS SOPS 1239698 HAS SOUS 633632 HAS SOUPS 633632 WITH SCORE 634871.698
AT ITER 4704 NEW BEST:: SOT 2184054 SOS 1239322 HAS SOPS 1239322 HAS SOUS 633256 HAS SOUPS 633256 WITH SCORE 634495.322
AT ITER 4705 NEW BEST:: SOT 2183979 SOS 1239247 HAS SOPS 1239247 HAS SOUS 633252 HAS SOUPS 633252 WITH SCORE 634491.247
AT ITER 4709 NEW BEST:: SOT 2183977 SOS 1239133 HAS SOPS 1239133 HAS SOUS 633248 HAS SOUPS 633248 WITH SCORE 634487.133
AT ITER 4724 NEW BEST:: SOT 2183975 SOS 1240095 HAS SOPS 1240095 HAS SOUS 633222 HAS SOUPS 633222 WITH SCORE 634462.095
AT ITER 4728 NEW BEST:: SOT 2183616 SOS 1239459 HAS SOPS 1239459 HAS SOUS 632241 HAS SOUPS 632241 WITH SCORE 633480.459
AT ITER 4751 NEW BEST:: SOT 2183500 SOS 1237899 HAS SOPS 1237899 HAS SOUS 632228 HAS SOUPS 632228 WITH SCORE 633465.899
AT ITER 4773 NEW BEST:: SOT 2183323 SOS 1237722 HAS SOPS 1237722 HAS SOUS 632051 HAS SOUPS 632051 WITH SCORE 633288.722
AT ITER 4776 NEW BEST:: SOT 2182235 SOS 1237010 HAS SOPS 1237010 HAS SOUS 629571 HAS SOUPS 629571 WITH SCORE 630808.01
AT ITER 4781 NEW BEST:: SOT 2182218 SOS 1236993 HAS SOPS 1236993 HAS SOUS 629478 HAS SOUPS 629478 WITH SCORE 630714.993
AT ITER 4789 NEW BEST:: SOT 2180102 SOS 1234877 HAS SOPS 1234877 HAS SOUS 627362 HAS SOUPS 627362 WITH SCORE 628596.877
AT ITER 4799 NEW BEST:: SOT 2180102 SOS 1234427 HAS SOPS 1234427 HAS SOUS 627137 HAS SOUPS 627137 WITH SCORE 628371.427
AT ITER 4810 NEW BEST:: SOT 2180026 SOS 1232317 HAS SOPS 1232317 HAS SOUS 626765 HAS SOUPS 626765 WITH SCORE 627997.317
AT ITER 4826 NEW BEST:: SOT 2179995 SOS 1232286 HAS SOPS 1232286 HAS SOUS 626734 HAS SOUPS 626734 WITH SCORE 627966.286
AT ITER 4835 NEW BEST:: SOT 2179064 SOS 1233470 HAS SOPS 1233470 HAS SOUS 626027 HAS SOUPS 626027 WITH SCORE 627260.47
AT ITER 4839 NEW BEST:: SOT 2178782 SOS 1231624 HAS SOPS 1231624 HAS SOUS 625933 HAS SOUPS 625933 WITH SCORE 627164.624
AT ITER 4847 NEW BEST:: SOT 2173289 SOS 1228033 HAS SOPS 1228033 HAS SOUS 619931 HAS SOUPS 619931 WITH SCORE 621159.033
AT ITER 4853 NEW BEST:: SOT 2173017 SOS 1227761 HAS SOPS 1227761 HAS SOUS 619659 HAS SOUPS 619659 WITH SCORE 620886.761
AT ITER 4857 NEW BEST:: SOT 2173009 SOS 1227753 HAS SOPS 1227753 HAS SOUS 619643 HAS SOUPS 619643 WITH SCORE 620870.753
AT ITER 4858 NEW BEST:: SOT 2173009 SOS 1227753 HAS SOPS 1227753 HAS SOUS 619573 HAS SOUPS 619573 WITH SCORE 620800.753
AT ITER 4859 NEW BEST:: SOT 2171923 SOS 1227386 HAS SOPS 1227386 HAS SOUS 618242 HAS SOUPS 618242 WITH SCORE 619469.386
AT ITER 4860 NEW BEST:: SOT 2171828 SOS 1227481 HAS SOPS 1227481 HAS SOUS 618052 HAS SOUPS 618052 WITH SCORE 619279.481
AT ITER 4869 NEW BEST:: SOT 2171648 SOS 1227285 HAS SOPS 1227285 HAS SOUS 618050 HAS SOUPS 618050 WITH SCORE 619277.285
AT ITER 4919 NEW BEST:: SOT 2171511 SOS 1227128 HAS SOPS 1227128 HAS SOUS 617893 HAS SOUPS 617893 WITH SCORE 619120.128
AT ITER 4929 NEW BEST:: SOT 2170702 SOS 1229439 HAS SOPS 1229439 HAS SOUS 616983 HAS SOUPS 616983 WITH SCORE 618212.439
AT ITER 4941 NEW BEST:: SOT 2170536 SOS 1229273 HAS SOPS 1229273 HAS SOUS 616817 HAS SOUPS 616817 WITH SCORE 618046.273
AT ITER 4963 NEW BEST:: SOT 2170524 SOS 1229237 HAS SOPS 1229237 HAS SOUS 616781 HAS SOUPS 616781 WITH SCORE 618010.237
AT ITER 4968 NEW BEST:: SOT 2170378 SOS 1228776 HAS SOPS 1228776 HAS SOUS 616320 HAS SOUPS 616320 WITH SCORE 617548.776
AT ITER 4969 NEW BEST:: SOT 2170294 SOS 1228692 HAS SOPS 1228692 HAS SOUS 616235 HAS SOUPS 616235 WITH SCORE 617463.692
AT ITER 4972 NEW BEST:: SOT 2170101 SOS 1228499 HAS SOPS 1228499 HAS SOUS 615986 HAS SOUPS 615986 WITH SCORE 617214.499
AT ITER 4976 NEW BEST:: SOT 2170036 SOS 1228434 HAS SOPS 1228434 HAS SOUS 615921 HAS SOUPS 615921 WITH SCORE 617149.434
AT ITER 4979 NEW BEST:: SOT 2170075 SOS 1228631 HAS SOPS 1228631 HAS SOUS 615894 HAS SOUPS 615894 WITH SCORE 617122.631
AT ITER 4988 NEW BEST:: SOT 2170075 SOS 1228631 HAS SOPS 1228631 HAS SOUS 615885 HAS SOUPS 615885 WITH SCORE 617113.631
AT ITER 4992 NEW BEST:: SOT 2170054 SOS 1228631 HAS SOPS 1228631 HAS SOUS 615843 HAS SOUPS 615843 WITH SCORE 617071.631
AT ITER 4994 NEW BEST:: SOT 2169065 SOS 1229218 HAS SOPS 1229218 HAS SOUS 615249 HAS SOUPS 615249 WITH SCORE 616478.218
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ASLink-PT-08a-CTLCardinality-00 (! (AG( potential( (tk(P610)) <= (tk(P1624)) ))))
PROPERTY: ASLink-PT-08a-CTLCardinality-01 (EG( (EG( ( potential( ( 3 ) <= (tk(P1685)) ) | potential( (tk(P1196)) <= (tk(P1741)) ) )))))
PROPERTY: ASLink-PT-08a-CTLCardinality-02 (! (! (EG( ( potential( (tk(P1410)) <= (tk(P964)) ) & potential( (tk(P806)) <= (tk(P1488)) ) )))))
PROPERTY: ASLink-PT-08a-CTLCardinality-03 ( potential( ( 1 ) <= (tk(P227)) ) | (EG( potential( (tk(P930)) <= (tk(P649)) ))) )
PROPERTY: ASLink-PT-08a-CTLCardinality-04 ( potential( ( 2 ) <= (tk(P352)) ) | (EG( ( (! potential( (tk(P1151)) <= (tk(P1553)) )) | potential( (tk(P1396)) <= (tk(P383)) ) ))) )
PROPERTY: ASLink-PT-08a-CTLCardinality-05 (AF(( (EG( potential( (tk(P105)) <= (tk(P943)) ))) & (EG( potential( ( 3 ) <= (tk(P1209)) ))) )))
PROPERTY: ASLink-PT-08a-CTLCardinality-06 ( potential( (tk(P1437)) <= (tk(P1040)) ) & (! (! (EG( potential( (tk(P662)) <= (tk(P865)) ))))) )
PROPERTY: ASLink-PT-08a-CTLCardinality-07 (EG( ( (EF(potential( ( 3 ) <= (tk(P1282)) ))) | (AG( potential( ( 1 ) <= (tk(P1606)) ))) )))
PROPERTY: ASLink-PT-08a-CTLCardinality-08 (EU( ( ( potential( ( 3 ) <= (tk(P1661)) ) | potential( (tk(P311)) <= (tk(P992)) ) ) & potential( (tk(P691)) <= (tk(P901)) ) ),(! (! potential( ( 3 ) <= (tk(P403)) ))) ))
PROPERTY: ASLink-PT-08a-CTLCardinality-09 (AU( potential( ( 2 ) <= (tk(P1028)) ),(AF(potential( ( 2 ) <= (tk(P283)) ))) ))
PROPERTY: ASLink-PT-08a-CTLCardinality-10 (EU( (! ( potential( (tk(P1579)) <= (tk(P1553)) ) & potential( (tk(P505)) <= (tk(P260)) ) )),(EG( potential( (tk(P959)) <= (tk(P495)) ))) ))
PROPERTY: ASLink-PT-08a-CTLCardinality-11 (EG( ( (AF(potential( (tk(P281)) <= (tk(P994)) ))) | ( (! potential( (tk(P449)) <= (tk(P238)) )) | ( potential( (tk(P1073)) <= (tk(P263)) ) | potential( (tk(P1085)) <= (tk(P1352)) ) ) ) )))
PROPERTY: ASLink-PT-08a-CTLCardinality-12 ( ( (AU( potential( (tk(P990)) <= (tk(P367)) ),potential( ( 3 ) <= (tk(P371)) ) )) & ( ( ( potential( ( 3 ) <= (tk(P1344)) ) & potential( (tk(P20)) <= (tk(P911)) ) ) | potential( (tk(P1629)) <= (tk(P112)) ) ) | ( ( potential( ( 1 ) <= (tk(P1524)) ) | potential( (tk(P434)) <= (tk(P1492)) ) ) | (! potential( (tk(P1453)) <= (tk(P794)) )) ) ) ) | ( (AU( potential( (tk(P1170)) <= (tk(P1159)) ),potential( ( 3 ) <= (tk(P1708)) ) )) & (EU( potential( ( 1 ) <= (tk(P1742)) ),potential( ( 3 ) <= (tk(P1236)) ) )) ) )
PROPERTY: ASLink-PT-08a-CTLCardinality-13 (! ( (AX( ( potential( ( 1 ) <= (tk(P1181)) ) & potential( (tk(P1436)) <= (tk(P493)) ) ))) | ( (EG( potential( (tk(P1312)) <= (tk(P1119)) ))) & ( (! potential( ( 2 ) <= (tk(P162)) )) & ( potential( ( 1 ) <= (tk(P1762)) ) | potential( (tk(P1714)) <= (tk(P793)) ) ) ) ) ))
PROPERTY: ASLink-PT-08a-CTLCardinality-14 ( (AX( (EG( potential( (tk(P1383)) <= (tk(P43)) ))))) | potential( ( 1 ) <= (tk(P1350)) ) )
PROPERTY: ASLink-PT-08a-CTLCardinality-15 (EF((EF(( potential( (tk(P519)) <= (tk(P297)) ) & potential( ( 1 ) <= (tk(P975)) ) )))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ASLink-PT-08a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508100123"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;