Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541800176.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CloudReconfiguration-PT-402, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541800176
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.6K Mar 30 01:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 27 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 27 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 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 912K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589102885054

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 402
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 3554 places, 4263 transitions, 8889 arcs.
AT ITER 0 NEW BEST:: SOT 8368586 SOS 1372003 HAS SOPS 1372003 HAS SOUS 1266370 HAS SOUPS 1266370 WITH SCORE 1267742.003
AT ITER 3 NEW BEST:: SOT 8368352 SOS 1371902 HAS SOPS 1371902 HAS SOUS 1266136 HAS SOUPS 1266136 WITH SCORE 1267507.902
AT ITER 22 NEW BEST:: SOT 8368352 SOS 1371902 HAS SOPS 1371902 HAS SOUS 1266129 HAS SOUPS 1266129 WITH SCORE 1267500.902
AT ITER 36 NEW BEST:: SOT 8368314 SOS 1371826 HAS SOPS 1371826 HAS SOUS 1266090 HAS SOUPS 1266090 WITH SCORE 1267461.826
AT ITER 51 NEW BEST:: SOT 8368060 SOS 1371572 HAS SOPS 1371572 HAS SOUS 1265836 HAS SOUPS 1265836 WITH SCORE 1267207.572
AT ITER 63 NEW BEST:: SOT 8368060 SOS 1371359 HAS SOPS 1371359 HAS SOUS 1265836 HAS SOUPS 1265836 WITH SCORE 1267207.359
AT ITER 67 NEW BEST:: SOT 8367768 SOS 1370921 HAS SOPS 1370921 HAS SOUS 1265398 HAS SOUPS 1265398 WITH SCORE 1266768.921
AT ITER 73 NEW BEST:: SOT 8367233 SOS 1370459 HAS SOPS 1370459 HAS SOUS 1264936 HAS SOUPS 1264936 WITH SCORE 1266306.459
AT ITER 79 NEW BEST:: SOT 8367113 SOS 1370406 HAS SOPS 1370406 HAS SOUS 1264848 HAS SOUPS 1264848 WITH SCORE 1266218.406
AT ITER 94 NEW BEST:: SOT 8367412 SOS 1370127 HAS SOPS 1370127 HAS SOUS 1264566 HAS SOUPS 1264566 WITH SCORE 1265936.127
AT ITER 123 NEW BEST:: SOT 8367412 SOS 1370024 HAS SOPS 1370024 HAS SOUS 1264463 HAS SOUPS 1264463 WITH SCORE 1265833.024
AT ITER 136 NEW BEST:: SOT 8366958 SOS 1369892 HAS SOPS 1369892 HAS SOUS 1264118 HAS SOUPS 1264118 WITH SCORE 1265487.892
AT ITER 139 NEW BEST:: SOT 8366708 SOS 1369642 HAS SOPS 1369642 HAS SOUS 1263868 HAS SOUPS 1263868 WITH SCORE 1265237.642
AT ITER 140 NEW BEST:: SOT 8366397 SOS 1370403 HAS SOPS 1370403 HAS SOUS 1263458 HAS SOUPS 1263458 WITH SCORE 1264828.403
AT ITER 148 NEW BEST:: SOT 8366408 SOS 1370425 HAS SOPS 1370425 HAS SOUS 1263056 HAS SOUPS 1263056 WITH SCORE 1264426.425
AT ITER 151 NEW BEST:: SOT 8366408 SOS 1370380 HAS SOPS 1370380 HAS SOUS 1263056 HAS SOUPS 1263056 WITH SCORE 1264426.38
AT ITER 192 NEW BEST:: SOT 8366408 SOS 1369984 HAS SOPS 1369984 HAS SOUS 1263055 HAS SOUPS 1263055 WITH SCORE 1264424.984
AT ITER 217 NEW BEST:: SOT 8366407 SOS 1369982 HAS SOPS 1369982 HAS SOUS 1263053 HAS SOUPS 1263053 WITH SCORE 1264422.982
AT ITER 222 NEW BEST:: SOT 8366204 SOS 1370260 HAS SOPS 1370260 HAS SOUS 1263008 HAS SOUPS 1263008 WITH SCORE 1264378.26
AT ITER 236 NEW BEST:: SOT 8366106 SOS 1370162 HAS SOPS 1370162 HAS SOUS 1262910 HAS SOUPS 1262910 WITH SCORE 1264280.162
AT ITER 240 NEW BEST:: SOT 8365953 SOS 1370009 HAS SOPS 1370009 HAS SOUS 1262757 HAS SOUPS 1262757 WITH SCORE 1264127.009
AT ITER 259 NEW BEST:: SOT 8365891 SOS 1369885 HAS SOPS 1369885 HAS SOUS 1262695 HAS SOUPS 1262695 WITH SCORE 1264064.885
AT ITER 290 NEW BEST:: SOT 8365887 SOS 1369877 HAS SOPS 1369877 HAS SOUS 1262691 HAS SOUPS 1262691 WITH SCORE 1264060.877
AT ITER 291 NEW BEST:: SOT 8365745 SOS 1370168 HAS SOPS 1370168 HAS SOUS 1262664 HAS SOUPS 1262664 WITH SCORE 1264034.168
AT ITER 292 NEW BEST:: SOT 8365440 SOS 1369863 HAS SOPS 1369863 HAS SOUS 1262359 HAS SOUPS 1262359 WITH SCORE 1263728.863
AT ITER 298 NEW BEST:: SOT 8365469 SOS 1369921 HAS SOPS 1369921 HAS SOUS 1262057 HAS SOUPS 1262057 WITH SCORE 1263426.921
AT ITER 324 NEW BEST:: SOT 8365526 SOS 1369878 HAS SOPS 1369878 HAS SOUS 1261957 HAS SOUPS 1261957 WITH SCORE 1263326.878
AT ITER 348 NEW BEST:: SOT 8365526 SOS 1369878 HAS SOPS 1369878 HAS SOUS 1261819 HAS SOUPS 1261819 WITH SCORE 1263188.878
AT ITER 365 NEW BEST:: SOT 8365485 SOS 1369796 HAS SOPS 1369796 HAS SOUS 1261737 HAS SOUPS 1261737 WITH SCORE 1263106.796
AT ITER 431 NEW BEST:: SOT 8365250 SOS 1370096 HAS SOPS 1370096 HAS SOUS 1261702 HAS SOUPS 1261702 WITH SCORE 1263072.096
AT ITER 459 NEW BEST:: SOT 8364146 SOS 1369268 HAS SOPS 1369268 HAS SOUS 1260874 HAS SOUPS 1260874 WITH SCORE 1262243.268
AT ITER 514 NEW BEST:: SOT 8364146 SOS 1369169 HAS SOPS 1369169 HAS SOUS 1260874 HAS SOUPS 1260874 WITH SCORE 1262243.169
AT ITER 515 NEW BEST:: SOT 8364146 SOS 1368860 HAS SOPS 1368860 HAS SOUS 1260873 HAS SOUPS 1260873 WITH SCORE 1262241.86
AT ITER 550 NEW BEST:: SOT 8363943 SOS 1368657 HAS SOPS 1368657 HAS SOUS 1260670 HAS SOUPS 1260670 WITH SCORE 1262038.657
AT ITER 554 NEW BEST:: SOT 8363841 SOS 1368351 HAS SOPS 1368351 HAS SOUS 1260466 HAS SOUPS 1260466 WITH SCORE 1261834.351
AT ITER 578 NEW BEST:: SOT 8363694 SOS 1368204 HAS SOPS 1368204 HAS SOUS 1260319 HAS SOUPS 1260319 WITH SCORE 1261687.204
AT ITER 589 NEW BEST:: SOT 8363652 SOS 1368120 HAS SOPS 1368120 HAS SOUS 1260235 HAS SOUPS 1260235 WITH SCORE 1261603.12
AT ITER 619 NEW BEST:: SOT 8363557 SOS 1367835 HAS SOPS 1367835 HAS SOUS 1260045 HAS SOUPS 1260045 WITH SCORE 1261412.835
AT ITER 626 NEW BEST:: SOT 8363557 SOS 1367835 HAS SOPS 1367835 HAS SOUS 1259754 HAS SOUPS 1259754 WITH SCORE 1261121.835
AT ITER 633 NEW BEST:: SOT 8363486 SOS 1367938 HAS SOPS 1367938 HAS SOUS 1259683 HAS SOUPS 1259683 WITH SCORE 1261050.938
AT ITER 636 NEW BEST:: SOT 8363232 SOS 1367961 HAS SOPS 1367961 HAS SOUS 1259501 HAS SOUPS 1259501 WITH SCORE 1260868.961
AT ITER 646 NEW BEST:: SOT 8359024 SOS 1424752 HAS SOPS 1424752 HAS SOUS 1258557 HAS SOUPS 1258557 WITH SCORE 1259981.752
AT ITER 648 NEW BEST:: SOT 8358856 SOS 1424596 HAS SOPS 1424596 HAS SOUS 1258389 HAS SOUPS 1258389 WITH SCORE 1259813.596
AT ITER 655 NEW BEST:: SOT 8358422 SOS 1424162 HAS SOPS 1424162 HAS SOUS 1257955 HAS SOUPS 1257955 WITH SCORE 1259379.162
AT ITER 656 NEW BEST:: SOT 8358197 SOS 1423177 HAS SOPS 1423177 HAS SOUS 1257390 HAS SOUPS 1257390 WITH SCORE 1258813.177
AT ITER 669 NEW BEST:: SOT 8357957 SOS 1422697 HAS SOPS 1422697 HAS SOUS 1256815 HAS SOUPS 1256815 WITH SCORE 1258237.697
AT ITER 676 NEW BEST:: SOT 8357753 SOS 1422289 HAS SOPS 1422289 HAS SOUS 1256407 HAS SOUPS 1256407 WITH SCORE 1257829.289
AT ITER 677 NEW BEST:: SOT 8357657 SOS 1422097 HAS SOPS 1422097 HAS SOUS 1256311 HAS SOUPS 1256311 WITH SCORE 1257733.097
AT ITER 684 NEW BEST:: SOT 8357627 SOS 1422037 HAS SOPS 1422037 HAS SOUS 1256251 HAS SOUPS 1256251 WITH SCORE 1257673.037
AT ITER 692 NEW BEST:: SOT 8357308 SOS 1421399 HAS SOPS 1421399 HAS SOUS 1255613 HAS SOUPS 1255613 WITH SCORE 1257034.399
AT ITER 779 NEW BEST:: SOT 8357353 SOS 1421489 HAS SOPS 1421489 HAS SOUS 1255356 HAS SOUPS 1255356 WITH SCORE 1256777.489
AT ITER 788 NEW BEST:: SOT 8357074 SOS 1420931 HAS SOPS 1420931 HAS SOUS 1254798 HAS SOUPS 1254798 WITH SCORE 1256218.931
AT ITER 795 NEW BEST:: SOT 8357074 SOS 1420633 HAS SOPS 1420633 HAS SOUS 1254798 HAS SOUPS 1254798 WITH SCORE 1256218.633
AT ITER 796 NEW BEST:: SOT 8357266 SOS 1420242 HAS SOPS 1420242 HAS SOUS 1254629 HAS SOUPS 1254629 WITH SCORE 1256049.242
AT ITER 833 NEW BEST:: SOT 8357266 SOS 1420090 HAS SOPS 1420090 HAS SOUS 1254629 HAS SOUPS 1254629 WITH SCORE 1256049.09
AT ITER 845 NEW BEST:: SOT 8357266 SOS 1420090 HAS SOPS 1420090 HAS SOUS 1254323 HAS SOUPS 1254323 WITH SCORE 1255743.09
AT ITER 854 NEW BEST:: SOT 8356574 SOS 1419398 HAS SOPS 1419398 HAS SOUS 1253631 HAS SOUPS 1253631 WITH SCORE 1255050.398
AT ITER 855 NEW BEST:: SOT 8356566 SOS 1419382 HAS SOPS 1419382 HAS SOUS 1253615 HAS SOUPS 1253615 WITH SCORE 1255034.382
AT ITER 870 NEW BEST:: SOT 8356562 SOS 1419374 HAS SOPS 1419374 HAS SOUS 1253611 HAS SOUPS 1253611 WITH SCORE 1255030.374
AT ITER 874 NEW BEST:: SOT 8355934 SOS 1418746 HAS SOPS 1418746 HAS SOUS 1252983 HAS SOUPS 1252983 WITH SCORE 1254401.746
AT ITER 883 NEW BEST:: SOT 8355934 SOS 1418348 HAS SOPS 1418348 HAS SOUS 1252983 HAS SOUPS 1252983 WITH SCORE 1254401.348
AT ITER 890 NEW BEST:: SOT 8355821 SOS 1418122 HAS SOPS 1418122 HAS SOUS 1252906 HAS SOUPS 1252906 WITH SCORE 1254324.122
AT ITER 923 NEW BEST:: SOT 8355821 SOS 1417755 HAS SOPS 1417755 HAS SOUS 1252905 HAS SOUPS 1252905 WITH SCORE 1254322.755
AT ITER 932 NEW BEST:: SOT 8355821 SOS 1417674 HAS SOPS 1417674 HAS SOUS 1252824 HAS SOUPS 1252824 WITH SCORE 1254241.674
AT ITER 952 NEW BEST:: SOT 8355731 SOS 1417584 HAS SOPS 1417584 HAS SOUS 1252734 HAS SOUPS 1252734 WITH SCORE 1254151.584
AT ITER 960 NEW BEST:: SOT 8355002 SOS 1416833 HAS SOPS 1416833 HAS SOUS 1252228 HAS SOUPS 1252228 WITH SCORE 1253644.833
AT ITER 980 NEW BEST:: SOT 8354783 SOS 1417495 HAS SOPS 1417495 HAS SOUS 1252214 HAS SOUPS 1252214 WITH SCORE 1253631.495
AT ITER 983 NEW BEST:: SOT 8354783 SOS 1417375 HAS SOPS 1417375 HAS SOUS 1252094 HAS SOUPS 1252094 WITH SCORE 1253511.375
AT ITER 985 NEW BEST:: SOT 8354700 SOS 1417209 HAS SOPS 1417209 HAS SOUS 1251928 HAS SOUPS 1251928 WITH SCORE 1253345.209
AT ITER 993 NEW BEST:: SOT 8354491 SOS 1417171 HAS SOPS 1417171 HAS SOUS 1251802 HAS SOUPS 1251802 WITH SCORE 1253219.171
AT ITER 1014 NEW BEST:: SOT 8354417 SOS 1417103 HAS SOPS 1417103 HAS SOUS 1251734 HAS SOUPS 1251734 WITH SCORE 1253151.103
AT ITER 1030 NEW BEST:: SOT 8354587 SOS 1417092 HAS SOPS 1417092 HAS SOUS 1251553 HAS SOUPS 1251553 WITH SCORE 1252970.092
AT ITER 1089 NEW BEST:: SOT 8354536 SOS 1416990 HAS SOPS 1416990 HAS SOUS 1251451 HAS SOUPS 1251451 WITH SCORE 1252867.99
AT ITER 1111 NEW BEST:: SOT 8354579 SOS 1416614 HAS SOPS 1416614 HAS SOUS 1251282 HAS SOUPS 1251282 WITH SCORE 1252698.614
AT ITER 1116 NEW BEST:: SOT 8354547 SOS 1415958 HAS SOPS 1415958 HAS SOUS 1251248 HAS SOUPS 1251248 WITH SCORE 1252663.958
AT ITER 1123 NEW BEST:: SOT 8354441 SOS 1416036 HAS SOPS 1416036 HAS SOUS 1251177 HAS SOUPS 1251177 WITH SCORE 1252593.036
AT ITER 1162 NEW BEST:: SOT 8354663 SOS 1415966 HAS SOPS 1415966 HAS SOUS 1251107 HAS SOUPS 1251107 WITH SCORE 1252522.966
AT ITER 1184 NEW BEST:: SOT 8354511 SOS 1415965 HAS SOPS 1415965 HAS SOUS 1251106 HAS SOUPS 1251106 WITH SCORE 1252521.965
AT ITER 1195 NEW BEST:: SOT 8354554 SOS 1416051 HAS SOPS 1416051 HAS SOUS 1250855 HAS SOUPS 1250855 WITH SCORE 1252271.051
AT ITER 1267 NEW BEST:: SOT 8351111 SOS 1412769 HAS SOPS 1412769 HAS SOUS 1247450 HAS SOUPS 1247450 WITH SCORE 1248862.769
AT ITER 1342 NEW BEST:: SOT 8351106 SOS 1412759 HAS SOPS 1412759 HAS SOUS 1247445 HAS SOUPS 1247445 WITH SCORE 1248857.759
AT ITER 1349 NEW BEST:: SOT 8350993 SOS 1412646 HAS SOPS 1412646 HAS SOUS 1247332 HAS SOUPS 1247332 WITH SCORE 1248744.646
AT ITER 1383 NEW BEST:: SOT 8350690 SOS 1412040 HAS SOPS 1412040 HAS SOUS 1246726 HAS SOUPS 1246726 WITH SCORE 1248138.04
AT ITER 1389 NEW BEST:: SOT 8350495 SOS 1410885 HAS SOPS 1410885 HAS SOUS 1246329 HAS SOUPS 1246329 WITH SCORE 1247739.885
AT ITER 1391 NEW BEST:: SOT 8350440 SOS 1410635 HAS SOPS 1410635 HAS SOUS 1246175 HAS SOUPS 1246175 WITH SCORE 1247585.635
AT ITER 1398 NEW BEST:: SOT 8350496 SOS 1410399 HAS SOPS 1410399 HAS SOUS 1245942 HAS SOUPS 1245942 WITH SCORE 1247352.399
AT ITER 1412 NEW BEST:: SOT 8350496 SOS 1410399 HAS SOPS 1410399 HAS SOUS 1245941 HAS SOUPS 1245941 WITH SCORE 1247351.399
AT ITER 1426 NEW BEST:: SOT 8350363 SOS 1410266 HAS SOPS 1410266 HAS SOUS 1245808 HAS SOUPS 1245808 WITH SCORE 1247218.266
AT ITER 1482 NEW BEST:: SOT 8350263 SOS 1410066 HAS SOPS 1410066 HAS SOUS 1245608 HAS SOUPS 1245608 WITH SCORE 1247018.066
AT ITER 1484 NEW BEST:: SOT 8349874 SOS 1409288 HAS SOPS 1409288 HAS SOUS 1244830 HAS SOUPS 1244830 WITH SCORE 1246239.288
AT ITER 1485 NEW BEST:: SOT 8349775 SOS 1408991 HAS SOPS 1408991 HAS SOUS 1244632 HAS SOUPS 1244632 WITH SCORE 1246040.991
AT ITER 1502 NEW BEST:: SOT 8349521 SOS 1408338 HAS SOPS 1408338 HAS SOUS 1244230 HAS SOUPS 1244230 WITH SCORE 1245638.338
AT ITER 1516 NEW BEST:: SOT 8349521 SOS 1408030 HAS SOPS 1408030 HAS SOUS 1243922 HAS SOUPS 1243922 WITH SCORE 1245330.03
AT ITER 1546 NEW BEST:: SOT 8349573 SOS 1408134 HAS SOPS 1408134 HAS SOUS 1243828 HAS SOUPS 1243828 WITH SCORE 1245236.134
AT ITER 1547 NEW BEST:: SOT 8349573 SOS 1408004 HAS SOPS 1408004 HAS SOUS 1243827 HAS SOUPS 1243827 WITH SCORE 1245235.004
AT ITER 1584 NEW BEST:: SOT 8349573 SOS 1407654 HAS SOPS 1407654 HAS SOUS 1243477 HAS SOUPS 1243477 WITH SCORE 1244884.654
AT ITER 1595 NEW BEST:: SOT 8349573 SOS 1407308 HAS SOPS 1407308 HAS SOUS 1243477 HAS SOUPS 1243477 WITH SCORE 1244884.308
AT ITER 1607 NEW BEST:: SOT 8343609 SOS 1455230 HAS SOPS 1455230 HAS SOUS 1239896 HAS SOUPS 1239896 WITH SCORE 1241351.23
AT ITER 1617 NEW BEST:: SOT 8343602 SOS 1455216 HAS SOPS 1455216 HAS SOUS 1239878 HAS SOUPS 1239878 WITH SCORE 1241333.216
AT ITER 1618 NEW BEST:: SOT 8343502 SOS 1455016 HAS SOPS 1455016 HAS SOUS 1239664 HAS SOUPS 1239664 WITH SCORE 1241119.016
AT ITER 1636 NEW BEST:: SOT 8343502 SOS 1455016 HAS SOPS 1455016 HAS SOUS 1239663 HAS SOUPS 1239663 WITH SCORE 1241118.016
AT ITER 1639 NEW BEST:: SOT 8343426 SOS 1454864 HAS SOPS 1454864 HAS SOUS 1239511 HAS SOUPS 1239511 WITH SCORE 1240965.864
AT ITER 1645 NEW BEST:: SOT 8343058 SOS 1454128 HAS SOPS 1454128 HAS SOUS 1238775 HAS SOUPS 1238775 WITH SCORE 1240229.128
AT ITER 1679 NEW BEST:: SOT 8343058 SOS 1453963 HAS SOPS 1453963 HAS SOUS 1238774 HAS SOUPS 1238774 WITH SCORE 1240227.963
AT ITER 1724 NEW BEST:: SOT 8342959 SOS 1453897 HAS SOPS 1453897 HAS SOUS 1238708 HAS SOUPS 1238708 WITH SCORE 1240161.897
AT ITER 1768 NEW BEST:: SOT 8342694 SOS 1453367 HAS SOPS 1453367 HAS SOUS 1238708 HAS SOUPS 1238708 WITH SCORE 1240161.367
AT ITER 1781 NEW BEST:: SOT 8341899 SOS 1453297 HAS SOPS 1453297 HAS SOUS 1237890 HAS SOUPS 1237890 WITH SCORE 1239343.297
AT ITER 1788 NEW BEST:: SOT 8341664 SOS 1452827 HAS SOPS 1452827 HAS SOUS 1237420 HAS SOUPS 1237420 WITH SCORE 1238872.827
AT ITER 1799 NEW BEST:: SOT 8341835 SOS 1453169 HAS SOPS 1453169 HAS SOUS 1237396 HAS SOUPS 1237396 WITH SCORE 1238849.169
AT ITER 1800 NEW BEST:: SOT 8341835 SOS 1453169 HAS SOPS 1453169 HAS SOUS 1237248 HAS SOUPS 1237248 WITH SCORE 1238701.169
AT ITER 1827 NEW BEST:: SOT 8341834 SOS 1453167 HAS SOPS 1453167 HAS SOUS 1237246 HAS SOUPS 1237246 WITH SCORE 1238699.167
AT ITER 1842 NEW BEST:: SOT 8342014 SOS 1453527 HAS SOPS 1453527 HAS SOUS 1237222 HAS SOUPS 1237222 WITH SCORE 1238675.527
AT ITER 1846 NEW BEST:: SOT 8341246 SOS 1452503 HAS SOPS 1452503 HAS SOUS 1236198 HAS SOUPS 1236198 WITH SCORE 1237650.503
AT ITER 1855 NEW BEST:: SOT 8341102 SOS 1452359 HAS SOPS 1452359 HAS SOUS 1236197 HAS SOUPS 1236197 WITH SCORE 1237649.359
AT ITER 1864 NEW BEST:: SOT 8340571 SOS 1451016 HAS SOPS 1451016 HAS SOUS 1235385 HAS SOUPS 1235385 WITH SCORE 1236836.016
AT ITER 1916 NEW BEST:: SOT 8340458 SOS 1450867 HAS SOPS 1450867 HAS SOUS 1235216 HAS SOUPS 1235216 WITH SCORE 1236666.867
AT ITER 1928 NEW BEST:: SOT 8340287 SOS 1450525 HAS SOPS 1450525 HAS SOUS 1234886 HAS SOUPS 1234886 WITH SCORE 1236336.525
AT ITER 1936 NEW BEST:: SOT 8340147 SOS 1450245 HAS SOPS 1450245 HAS SOUS 1234885 HAS SOUPS 1234885 WITH SCORE 1236335.245
AT ITER 1949 NEW BEST:: SOT 8340147 SOS 1450245 HAS SOPS 1450245 HAS SOUS 1234606 HAS SOUPS 1234606 WITH SCORE 1236056.245
AT ITER 1952 NEW BEST:: SOT 8339850 SOS 1450246 HAS SOPS 1450246 HAS SOUS 1234509 HAS SOUPS 1234509 WITH SCORE 1235959.246
AT ITER 1968 NEW BEST:: SOT 8339834 SOS 1450214 HAS SOPS 1450214 HAS SOUS 1234430 HAS SOUPS 1234430 WITH SCORE 1235880.214
AT ITER 1984 NEW BEST:: SOT 8337862 SOS 1448293 HAS SOPS 1448293 HAS SOUS 1232471 HAS SOUPS 1232471 WITH SCORE 1233919.293
AT ITER 2010 NEW BEST:: SOT 8337862 SOS 1448293 HAS SOPS 1448293 HAS SOUS 1232429 HAS SOUPS 1232429 WITH SCORE 1233877.293
AT ITER 2022 NEW BEST:: SOT 8337376 SOS 1447933 HAS SOPS 1447933 HAS SOUS 1231948 HAS SOUPS 1231948 WITH SCORE 1233395.933
AT ITER 2041 NEW BEST:: SOT 8337376 SOS 1447597 HAS SOPS 1447597 HAS SOUS 1231948 HAS SOUPS 1231948 WITH SCORE 1233395.597
AT ITER 2077 NEW BEST:: SOT 8337158 SOS 1447161 HAS SOPS 1447161 HAS SOUS 1231730 HAS SOUPS 1231730 WITH SCORE 1233177.161
AT ITER 2091 NEW BEST:: SOT 8337158 SOS 1447051 HAS SOPS 1447051 HAS SOUS 1231729 HAS SOUPS 1231729 WITH SCORE 1233176.051
AT ITER 2098 NEW BEST:: SOT 8336938 SOS 1446831 HAS SOPS 1446831 HAS SOUS 1231509 HAS SOUPS 1231509 WITH SCORE 1232955.831
AT ITER 2142 NEW BEST:: SOT 8336890 SOS 1446735 HAS SOPS 1446735 HAS SOUS 1231172 HAS SOUPS 1231172 WITH SCORE 1232618.735
AT ITER 2145 NEW BEST:: SOT 8336890 SOS 1446525 HAS SOPS 1446525 HAS SOUS 1231172 HAS SOUPS 1231172 WITH SCORE 1232618.525
AT ITER 2152 NEW BEST:: SOT 8336888 SOS 1446521 HAS SOPS 1446521 HAS SOUS 1231168 HAS SOUPS 1231168 WITH SCORE 1232614.521
AT ITER 2176 NEW BEST:: SOT 8336888 SOS 1446425 HAS SOPS 1446425 HAS SOUS 1231167 HAS SOUPS 1231167 WITH SCORE 1232613.425
AT ITER 2179 NEW BEST:: SOT 8336879 SOS 1446408 HAS SOPS 1446408 HAS SOUS 1231150 HAS SOUPS 1231150 WITH SCORE 1232596.408
AT ITER 2206 NEW BEST:: SOT 8336879 SOS 1446408 HAS SOPS 1446408 HAS SOUS 1231088 HAS SOUPS 1231088 WITH SCORE 1232534.408
AT ITER 2232 NEW BEST:: SOT 8336280 SOS 1445210 HAS SOPS 1445210 HAS SOUS 1229887 HAS SOUPS 1229887 WITH SCORE 1231332.21
AT ITER 2241 NEW BEST:: SOT 8336268 SOS 1445186 HAS SOPS 1445186 HAS SOUS 1229863 HAS SOUPS 1229863 WITH SCORE 1231308.186
AT ITER 2248 NEW BEST:: SOT 8336236 SOS 1445334 HAS SOPS 1445334 HAS SOUS 1229831 HAS SOUPS 1229831 WITH SCORE 1231276.334
AT ITER 2257 NEW BEST:: SOT 8335841 SOS 1445109 HAS SOPS 1445109 HAS SOUS 1229041 HAS SOUPS 1229041 WITH SCORE 1230486.109
AT ITER 2270 NEW BEST:: SOT 8324107 SOS 1518770 HAS SOPS 1518770 HAS SOUS 1220924 HAS SOUPS 1220924 WITH SCORE 1222442.77
AT ITER 2291 NEW BEST:: SOT 8324042 SOS 1518640 HAS SOPS 1518640 HAS SOUS 1220794 HAS SOUPS 1220794 WITH SCORE 1222312.64
AT ITER 2311 NEW BEST:: SOT 8323367 SOS 1472752 HAS SOPS 1472752 HAS SOUS 1219781 HAS SOUPS 1219781 WITH SCORE 1221253.752
AT ITER 2313 NEW BEST:: SOT 8323367 SOS 1472392 HAS SOPS 1472392 HAS SOUS 1219781 HAS SOUPS 1219781 WITH SCORE 1221253.392
AT ITER 2341 NEW BEST:: SOT 8317421 SOS 1466446 HAS SOPS 1466446 HAS SOUS 1214300 HAS SOUPS 1214300 WITH SCORE 1215766.446
AT ITER 2417 NEW BEST:: SOT 8317405 SOS 1466414 HAS SOPS 1466414 HAS SOUS 1214268 HAS SOUPS 1214268 WITH SCORE 1215734.414
AT ITER 2419 NEW BEST:: SOT 8317405 SOS 1466243 HAS SOPS 1466243 HAS SOUS 1214097 HAS SOUPS 1214097 WITH SCORE 1215563.243
AT ITER 2424 NEW BEST:: SOT 8317393 SOS 1466219 HAS SOPS 1466219 HAS SOUS 1214073 HAS SOUPS 1214073 WITH SCORE 1215539.219
AT ITER 2426 NEW BEST:: SOT 8317393 SOS 1466107 HAS SOPS 1466107 HAS SOUS 1213839 HAS SOUPS 1213839 WITH SCORE 1215305.107
AT ITER 2489 NEW BEST:: SOT 8317084 SOS 1465715 HAS SOPS 1465715 HAS SOUS 1213398 HAS SOUPS 1213398 WITH SCORE 1214863.715
AT ITER 2504 NEW BEST:: SOT 8316771 SOS 1465089 HAS SOPS 1465089 HAS SOUS 1212772 HAS SOUPS 1212772 WITH SCORE 1214237.089
AT ITER 2529 NEW BEST:: SOT 8316812 SOS 1465007 HAS SOPS 1465007 HAS SOUS 1212731 HAS SOUPS 1212731 WITH SCORE 1214196.007
AT ITER 2572 NEW BEST:: SOT 8316812 SOS 1464977 HAS SOPS 1464977 HAS SOUS 1212731 HAS SOUPS 1212731 WITH SCORE 1214195.977
AT ITER 2579 NEW BEST:: SOT 8316801 SOS 1464955 HAS SOPS 1464955 HAS SOUS 1212720 HAS SOUPS 1212720 WITH SCORE 1214184.955
AT ITER 2584 NEW BEST:: SOT 8306819 SOS 1529243 HAS SOPS 1529243 HAS SOUS 1206311 HAS SOUPS 1206311 WITH SCORE 1207840.243
AT ITER 2597 NEW BEST:: SOT 8306819 SOS 1529243 HAS SOPS 1529243 HAS SOUS 1206281 HAS SOUPS 1206281 WITH SCORE 1207810.243
AT ITER 2612 NEW BEST:: SOT 8306695 SOS 1529243 HAS SOPS 1529243 HAS SOUS 1206219 HAS SOUPS 1206219 WITH SCORE 1207748.243
AT ITER 2620 NEW BEST:: SOT 8306591 SOS 1528734 HAS SOPS 1528734 HAS SOUS 1205814 HAS SOUPS 1205814 WITH SCORE 1207342.734
AT ITER 2663 NEW BEST:: SOT 8306509 SOS 1528570 HAS SOPS 1528570 HAS SOUS 1205567 HAS SOUPS 1205567 WITH SCORE 1207095.57
AT ITER 2664 NEW BEST:: SOT 8306509 SOS 1528570 HAS SOPS 1528570 HAS SOUS 1205566 HAS SOUPS 1205566 WITH SCORE 1207094.57
AT ITER 2678 NEW BEST:: SOT 8306259 SOS 1528700 HAS SOPS 1528700 HAS SOUS 1205541 HAS SOUPS 1205541 WITH SCORE 1207069.7
AT ITER 2690 NEW BEST:: SOT 8305951 SOS 1528392 HAS SOPS 1528392 HAS SOUS 1205233 HAS SOUPS 1205233 WITH SCORE 1206761.392
AT ITER 2702 NEW BEST:: SOT 8305951 SOS 1528093 HAS SOPS 1528093 HAS SOUS 1205233 HAS SOUPS 1205233 WITH SCORE 1206761.093
AT ITER 2732 NEW BEST:: SOT 8305631 SOS 1527453 HAS SOPS 1527453 HAS SOUS 1205233 HAS SOUPS 1205233 WITH SCORE 1206760.453
AT ITER 2749 NEW BEST:: SOT 8305621 SOS 1527423 HAS SOPS 1527423 HAS SOUS 1205222 HAS SOUPS 1205222 WITH SCORE 1206749.423
AT ITER 2757 NEW BEST:: SOT 8305501 SOS 1527183 HAS SOPS 1527183 HAS SOUS 1204653 HAS SOUPS 1204653 WITH SCORE 1206180.183
AT ITER 2769 NEW BEST:: SOT 8304999 SOS 1527200 HAS SOPS 1527200 HAS SOUS 1204493 HAS SOUPS 1204493 WITH SCORE 1206020.2
AT ITER 2771 NEW BEST:: SOT 8304853 SOS 1527181 HAS SOPS 1527181 HAS SOUS 1204474 HAS SOUPS 1204474 WITH SCORE 1206001.181
AT ITER 2795 NEW BEST:: SOT 8304853 SOS 1527047 HAS SOPS 1527047 HAS SOUS 1204474 HAS SOUPS 1204474 WITH SCORE 1206001.047
AT ITER 2798 NEW BEST:: SOT 8303361 SOS 1526553 HAS SOPS 1526553 HAS SOUS 1202915 HAS SOUPS 1202915 WITH SCORE 1204441.553
AT ITER 2813 NEW BEST:: SOT 8303355 SOS 1526541 HAS SOPS 1526541 HAS SOUS 1202903 HAS SOUPS 1202903 WITH SCORE 1204429.541
AT ITER 2821 NEW BEST:: SOT 8303245 SOS 1526541 HAS SOPS 1526541 HAS SOUS 1202848 HAS SOUPS 1202848 WITH SCORE 1204374.541
AT ITER 2866 NEW BEST:: SOT 8303245 SOS 1526541 HAS SOPS 1526541 HAS SOUS 1202792 HAS SOUPS 1202792 WITH SCORE 1204318.541
AT ITER 2871 NEW BEST:: SOT 8303347 SOS 1526157 HAS SOPS 1526157 HAS SOUS 1202668 HAS SOUPS 1202668 WITH SCORE 1204194.157
AT ITER 2875 NEW BEST:: SOT 8303543 SOS 1526549 HAS SOPS 1526549 HAS SOUS 1202660 HAS SOUPS 1202660 WITH SCORE 1204186.549
AT ITER 2894 NEW BEST:: SOT 8303524 SOS 1526511 HAS SOPS 1526511 HAS SOUS 1202641 HAS SOUPS 1202641 WITH SCORE 1204167.511
AT ITER 2913 NEW BEST:: SOT 8303512 SOS 1526487 HAS SOPS 1526487 HAS SOUS 1202629 HAS SOUPS 1202629 WITH SCORE 1204155.487
AT ITER 2927 NEW BEST:: SOT 8303596 SOS 1526655 HAS SOPS 1526655 HAS SOUS 1202624 HAS SOUPS 1202624 WITH SCORE 1204150.655
AT ITER 2932 NEW BEST:: SOT 8303595 SOS 1526709 HAS SOPS 1526709 HAS SOUS 1202622 HAS SOUPS 1202622 WITH SCORE 1204148.709
AT ITER 2951 NEW BEST:: SOT 8303473 SOS 1526700 HAS SOPS 1526700 HAS SOUS 1202500 HAS SOUPS 1202500 WITH SCORE 1204026.7
AT ITER 2957 NEW BEST:: SOT 8303385 SOS 1526436 HAS SOPS 1526436 HAS SOUS 1202324 HAS SOUPS 1202324 WITH SCORE 1203850.436
AT ITER 2971 NEW BEST:: SOT 8303385 SOS 1526375 HAS SOPS 1526375 HAS SOUS 1202263 HAS SOUPS 1202263 WITH SCORE 1203789.375
AT ITER 3054 NEW BEST:: SOT 8303064 SOS 1526291 HAS SOPS 1526291 HAS SOUS 1201942 HAS SOUPS 1201942 WITH SCORE 1203468.291
AT ITER 3067 NEW BEST:: SOT 8303064 SOS 1526291 HAS SOPS 1526291 HAS SOUS 1201695 HAS SOUPS 1201695 WITH SCORE 1203221.291
AT ITER 3071 NEW BEST:: SOT 8302898 SOS 1525959 HAS SOPS 1525959 HAS SOUS 1201363 HAS SOUPS 1201363 WITH SCORE 1202888.959
AT ITER 3081 NEW BEST:: SOT 8302878 SOS 1525939 HAS SOPS 1525939 HAS SOUS 1201343 HAS SOUPS 1201343 WITH SCORE 1202868.939
AT ITER 3089 NEW BEST:: SOT 8302576 SOS 1525335 HAS SOPS 1525335 HAS SOUS 1201335 HAS SOUPS 1201335 WITH SCORE 1202860.335
AT ITER 3141 NEW BEST:: SOT 8302609 SOS 1524500 HAS SOPS 1524500 HAS SOUS 1200696 HAS SOUPS 1200696 WITH SCORE 1202220.5
AT ITER 3147 NEW BEST:: SOT 8302309 SOS 1523870 HAS SOPS 1523870 HAS SOUS 1200096 HAS SOUPS 1200096 WITH SCORE 1201619.87
AT ITER 3151 NEW BEST:: SOT 8302308 SOS 1523868 HAS SOPS 1523868 HAS SOUS 1200094 HAS SOUPS 1200094 WITH SCORE 1201617.868
AT ITER 3164 NEW BEST:: SOT 8302307 SOS 1523866 HAS SOPS 1523866 HAS SOUS 1200093 HAS SOUPS 1200093 WITH SCORE 1201616.866
AT ITER 3180 NEW BEST:: SOT 8302221 SOS 1523608 HAS SOPS 1523608 HAS SOUS 1199921 HAS SOUPS 1199921 WITH SCORE 1201444.608
AT ITER 3230 NEW BEST:: SOT 8302221 SOS 1523608 HAS SOPS 1523608 HAS SOUS 1199920 HAS SOUPS 1199920 WITH SCORE 1201443.608
AT ITER 3233 NEW BEST:: SOT 8302221 SOS 1522946 HAS SOPS 1522946 HAS SOUS 1199258 HAS SOUPS 1199258 WITH SCORE 1200780.946
AT ITER 3299 NEW BEST:: SOT 8301838 SOS 1522696 HAS SOPS 1522696 HAS SOUS 1198942 HAS SOUPS 1198942 WITH SCORE 1200464.696
AT ITER 3311 NEW BEST:: SOT 8301689 SOS 1522398 HAS SOPS 1522398 HAS SOUS 1198793 HAS SOUPS 1198793 WITH SCORE 1200315.398
AT ITER 3312 NEW BEST:: SOT 8301636 SOS 1522292 HAS SOPS 1522292 HAS SOUS 1198687 HAS SOUPS 1198687 WITH SCORE 1200209.292
AT ITER 3313 NEW BEST:: SOT 8301636 SOS 1522275 HAS SOPS 1522275 HAS SOUS 1198670 HAS SOUPS 1198670 WITH SCORE 1200192.275
AT ITER 3326 NEW BEST:: SOT 8298879 SOS 1521689 HAS SOPS 1521689 HAS SOUS 1196471 HAS SOUPS 1196471 WITH SCORE 1197992.689
AT ITER 3329 NEW BEST:: SOT 8284247 SOS 1523950 HAS SOPS 1523950 HAS SOUS 1182685 HAS SOUPS 1182685 WITH SCORE 1184208.95
AT ITER 3332 NEW BEST:: SOT 8283877 SOS 1523210 HAS SOPS 1523210 HAS SOUS 1181945 HAS SOUPS 1181945 WITH SCORE 1183468.21
AT ITER 3340 NEW BEST:: SOT 8283877 SOS 1523210 HAS SOPS 1523210 HAS SOUS 1181894 HAS SOUPS 1181894 WITH SCORE 1183417.21
AT ITER 3351 NEW BEST:: SOT 8282676 SOS 1523056 HAS SOPS 1523056 HAS SOUS 1181106 HAS SOUPS 1181106 WITH SCORE 1182629.056
AT ITER 3359 NEW BEST:: SOT 8282022 SOS 1522402 HAS SOPS 1522402 HAS SOUS 1180452 HAS SOUPS 1180452 WITH SCORE 1181974.402
AT ITER 3400 NEW BEST:: SOT 8282021 SOS 1522150 HAS SOPS 1522150 HAS SOUS 1180449 HAS SOUPS 1180449 WITH SCORE 1181971.15
AT ITER 3426 NEW BEST:: SOT 8282021 SOS 1522150 HAS SOPS 1522150 HAS SOUS 1180404 HAS SOUPS 1180404 WITH SCORE 1181926.15
AT ITER 3441 NEW BEST:: SOT 8281741 SOS 1521590 HAS SOPS 1521590 HAS SOUS 1180096 HAS SOUPS 1180096 WITH SCORE 1181617.59
AT ITER 3442 NEW BEST:: SOT 8281657 SOS 1521422 HAS SOPS 1521422 HAS SOUS 1179823 HAS SOUPS 1179823 WITH SCORE 1181344.422
AT ITER 3463 NEW BEST:: SOT 8281384 SOS 1520876 HAS SOPS 1520876 HAS SOUS 1179277 HAS SOUPS 1179277 WITH SCORE 1180797.876
AT ITER 3467 NEW BEST:: SOT 8281193 SOS 1520685 HAS SOPS 1520685 HAS SOUS 1179086 HAS SOUPS 1179086 WITH SCORE 1180606.685
AT ITER 3508 NEW BEST:: SOT 8281068 SOS 1520435 HAS SOPS 1520435 HAS SOUS 1178961 HAS SOUPS 1178961 WITH SCORE 1180481.435
AT ITER 3515 NEW BEST:: SOT 8280937 SOS 1520304 HAS SOPS 1520304 HAS SOUS 1178830 HAS SOUPS 1178830 WITH SCORE 1180350.304
AT ITER 3516 NEW BEST:: SOT 8280882 SOS 1520194 HAS SOPS 1520194 HAS SOUS 1178720 HAS SOUPS 1178720 WITH SCORE 1180240.194
AT ITER 3536 NEW BEST:: SOT 8280715 SOS 1519860 HAS SOPS 1519860 HAS SOUS 1178386 HAS SOUPS 1178386 WITH SCORE 1179905.86
AT ITER 3545 NEW BEST:: SOT 8280669 SOS 1519768 HAS SOPS 1519768 HAS SOUS 1178294 HAS SOUPS 1178294 WITH SCORE 1179813.768
AT ITER 3547 NEW BEST:: SOT 8280669 SOS 1519530 HAS SOPS 1519530 HAS SOUS 1178294 HAS SOUPS 1178294 WITH SCORE 1179813.53
AT ITER 3558 NEW BEST:: SOT 8280458 SOS 1519108 HAS SOPS 1519108 HAS SOUS 1177872 HAS SOUPS 1177872 WITH SCORE 1179391.108
AT ITER 3561 NEW BEST:: SOT 8280458 SOS 1518822 HAS SOPS 1518822 HAS SOUS 1177872 HAS SOUPS 1177872 WITH SCORE 1179390.822
AT ITER 3570 NEW BEST:: SOT 8280199 SOS 1518304 HAS SOPS 1518304 HAS SOUS 1177354 HAS SOUPS 1177354 WITH SCORE 1178872.304
AT ITER 3583 NEW BEST:: SOT 8279660 SOS 1517226 HAS SOPS 1517226 HAS SOUS 1177273 HAS SOUPS 1177273 WITH SCORE 1178790.226
AT ITER 3584 NEW BEST:: SOT 8279469 SOS 1516844 HAS SOPS 1516844 HAS SOUS 1176891 HAS SOUPS 1176891 WITH SCORE 1178407.844
AT ITER 3588 NEW BEST:: SOT 8279273 SOS 1516648 HAS SOPS 1516648 HAS SOUS 1176695 HAS SOUPS 1176695 WITH SCORE 1178211.648
AT ITER 3589 NEW BEST:: SOT 8279342 SOS 1516786 HAS SOPS 1516786 HAS SOUS 1176681 HAS SOUPS 1176681 WITH SCORE 1178197.786
AT ITER 3640 NEW BEST:: SOT 8279342 SOS 1516720 HAS SOPS 1516720 HAS SOUS 1176615 HAS SOUPS 1176615 WITH SCORE 1178131.72
AT ITER 3689 NEW BEST:: SOT 8279279 SOS 1516740 HAS SOPS 1516740 HAS SOUS 1176602 HAS SOUPS 1176602 WITH SCORE 1178118.74
AT ITER 3706 NEW BEST:: SOT 8279095 SOS 1516688 HAS SOPS 1516688 HAS SOUS 1176550 HAS SOUPS 1176550 WITH SCORE 1178066.688
AT ITER 3712 NEW BEST:: SOT 8279038 SOS 1516631 HAS SOPS 1516631 HAS SOUS 1176549 HAS SOUPS 1176549 WITH SCORE 1178065.631
AT ITER 3720 NEW BEST:: SOT 8278972 SOS 1516354 HAS SOPS 1516354 HAS SOUS 1176417 HAS SOUPS 1176417 WITH SCORE 1177933.354
AT ITER 3736 NEW BEST:: SOT 8278972 SOS 1516172 HAS SOPS 1516172 HAS SOUS 1176326 HAS SOUPS 1176326 WITH SCORE 1177842.172
AT ITER 3746 NEW BEST:: SOT 8278934 SOS 1516096 HAS SOPS 1516096 HAS SOUS 1176288 HAS SOUPS 1176288 WITH SCORE 1177804.096
AT ITER 3766 NEW BEST:: SOT 8278842 SOS 1516004 HAS SOPS 1516004 HAS SOUS 1176196 HAS SOUPS 1176196 WITH SCORE 1177712.004
AT ITER 3788 NEW BEST:: SOT 8278765 SOS 1515850 HAS SOPS 1515850 HAS SOUS 1176042 HAS SOUPS 1176042 WITH SCORE 1177557.85
AT ITER 3792 NEW BEST:: SOT 8278765 SOS 1515850 HAS SOPS 1515850 HAS SOUS 1176030 HAS SOUPS 1176030 WITH SCORE 1177545.85
AT ITER 3803 NEW BEST:: SOT 8278780 SOS 1515880 HAS SOPS 1515880 HAS SOUS 1175913 HAS SOUPS 1175913 WITH SCORE 1177428.88
AT ITER 3822 NEW BEST:: SOT 8278783 SOS 1515865 HAS SOPS 1515865 HAS SOUS 1175898 HAS SOUPS 1175898 WITH SCORE 1177413.865
AT ITER 3857 NEW BEST:: SOT 8278039 SOS 1516197 HAS SOPS 1516197 HAS SOUS 1175518 HAS SOUPS 1175518 WITH SCORE 1177034.197
AT ITER 3869 NEW BEST:: SOT 8268376 SOS 1517498 HAS SOPS 1517498 HAS SOUS 1165756 HAS SOUPS 1165756 WITH SCORE 1167273.498
AT ITER 3872 NEW BEST:: SOT 8268375 SOS 1517147 HAS SOPS 1517147 HAS SOUS 1165754 HAS SOUPS 1165754 WITH SCORE 1167271.147
AT ITER 3889 NEW BEST:: SOT 8268055 SOS 1516507 HAS SOPS 1516507 HAS SOUS 1165114 HAS SOUPS 1165114 WITH SCORE 1166630.507
AT ITER 3954 NEW BEST:: SOT 8267425 SOS 1516151 HAS SOPS 1516151 HAS SOUS 1164581 HAS SOUPS 1164581 WITH SCORE 1166097.151
AT ITER 3955 NEW BEST:: SOT 8267424 SOS 1515956 HAS SOPS 1515956 HAS SOUS 1164387 HAS SOUPS 1164387 WITH SCORE 1165902.956
AT ITER 3962 NEW BEST:: SOT 8267424 SOS 1515895 HAS SOPS 1515895 HAS SOUS 1164326 HAS SOUPS 1164326 WITH SCORE 1165841.895
AT ITER 3992 NEW BEST:: SOT 8267371 SOS 1515842 HAS SOPS 1515842 HAS SOUS 1164273 HAS SOUPS 1164273 WITH SCORE 1165788.842
AT ITER 4006 NEW BEST:: SOT 8267289 SOS 1515760 HAS SOPS 1515760 HAS SOUS 1164109 HAS SOUPS 1164109 WITH SCORE 1165624.76
AT ITER 4022 NEW BEST:: SOT 8266979 SOS 1515140 HAS SOPS 1515140 HAS SOUS 1163799 HAS SOUPS 1163799 WITH SCORE 1165314.14
AT ITER 4030 NEW BEST:: SOT 8266614 SOS 1514410 HAS SOPS 1514410 HAS SOUS 1163434 HAS SOUPS 1163434 WITH SCORE 1164948.41
AT ITER 4032 NEW BEST:: SOT 8266469 SOS 1513928 HAS SOPS 1513928 HAS SOUS 1163097 HAS SOUPS 1163097 WITH SCORE 1164610.928
AT ITER 4057 NEW BEST:: SOT 8266080 SOS 1513150 HAS SOPS 1513150 HAS SOUS 1162319 HAS SOUPS 1162319 WITH SCORE 1163832.15
AT ITER 4090 NEW BEST:: SOT 8265800 SOS 1512590 HAS SOPS 1512590 HAS SOUS 1161759 HAS SOUPS 1161759 WITH SCORE 1163271.59
AT ITER 4130 NEW BEST:: SOT 8265797 SOS 1512584 HAS SOPS 1512584 HAS SOUS 1161756 HAS SOUPS 1161756 WITH SCORE 1163268.584
AT ITER 4151 NEW BEST:: SOT 8265553 SOS 1512352 HAS SOPS 1512352 HAS SOUS 1161512 HAS SOUPS 1161512 WITH SCORE 1163024.352
AT ITER 4153 NEW BEST:: SOT 8265485 SOS 1512216 HAS SOPS 1512216 HAS SOUS 1161376 HAS SOUPS 1161376 WITH SCORE 1162888.216
AT ITER 4156 NEW BEST:: SOT 8265484 SOS 1512214 HAS SOPS 1512214 HAS SOUS 1161374 HAS SOUPS 1161374 WITH SCORE 1162886.214
AT ITER 4162 NEW BEST:: SOT 8265589 SOS 1512137 HAS SOPS 1512137 HAS SOUS 1161192 HAS SOUPS 1161192 WITH SCORE 1162704.137
AT ITER 4196 NEW BEST:: SOT 8265459 SOS 1512137 HAS SOPS 1512137 HAS SOUS 1161127 HAS SOUPS 1161127 WITH SCORE 1162639.137
AT ITER 4209 NEW BEST:: SOT 8265177 SOS 1511573 HAS SOPS 1511573 HAS SOUS 1160281 HAS SOUPS 1160281 WITH SCORE 1161792.573
AT ITER 4251 NEW BEST:: SOT 8264968 SOS 1492675 HAS SOPS 1492675 HAS SOUS 1159492 HAS SOUPS 1159492 WITH SCORE 1160984.675
AT ITER 4256 NEW BEST:: SOT 8264802 SOS 1492509 HAS SOPS 1492509 HAS SOUS 1159326 HAS SOUPS 1159326 WITH SCORE 1160818.509
AT ITER 4272 NEW BEST:: SOT 8264589 SOS 1492296 HAS SOPS 1492296 HAS SOUS 1159113 HAS SOUPS 1159113 WITH SCORE 1160605.296
AT ITER 4279 NEW BEST:: SOT 8264270 SOS 1492094 HAS SOPS 1492094 HAS SOUS 1158468 HAS SOUPS 1158468 WITH SCORE 1159960.094
AT ITER 4282 NEW BEST:: SOT 8263996 SOS 1491546 HAS SOPS 1491546 HAS SOUS 1157920 HAS SOUPS 1157920 WITH SCORE 1159411.546
AT ITER 4286 NEW BEST:: SOT 8263718 SOS 1490990 HAS SOPS 1490990 HAS SOUS 1157364 HAS SOUPS 1157364 WITH SCORE 1158854.99
AT ITER 4299 NEW BEST:: SOT 8263718 SOS 1490684 HAS SOPS 1490684 HAS SOUS 1157211 HAS SOUPS 1157211 WITH SCORE 1158701.684
AT ITER 4321 NEW BEST:: SOT 8263717 SOS 1490682 HAS SOPS 1490682 HAS SOUS 1157209 HAS SOUPS 1157209 WITH SCORE 1158699.682
AT ITER 4322 NEW BEST:: SOT 8263716 SOS 1490680 HAS SOPS 1490680 HAS SOUS 1157208 HAS SOUPS 1157208 WITH SCORE 1158698.68
AT ITER 4323 NEW BEST:: SOT 8263723 SOS 1490868 HAS SOPS 1490868 HAS SOUS 1157193 HAS SOUPS 1157193 WITH SCORE 1158683.868
AT ITER 4364 NEW BEST:: SOT 8263722 SOS 1490785 HAS SOPS 1490785 HAS SOUS 1157191 HAS SOUPS 1157191 WITH SCORE 1158681.785
AT ITER 4402 NEW BEST:: SOT 8263722 SOS 1490773 HAS SOPS 1490773 HAS SOUS 1157191 HAS SOUPS 1157191 WITH SCORE 1158681.773
AT ITER 4412 NEW BEST:: SOT 8263585 SOS 1490499 HAS SOPS 1490499 HAS SOUS 1156917 HAS SOUPS 1156917 WITH SCORE 1158407.499
AT ITER 4422 NEW BEST:: SOT 8263499 SOS 1490327 HAS SOPS 1490327 HAS SOUS 1156628 HAS SOUPS 1156628 WITH SCORE 1158118.327
AT ITER 4436 NEW BEST:: SOT 8263195 SOS 1490443 HAS SOPS 1490443 HAS SOUS 1156505 HAS SOUPS 1156505 WITH SCORE 1157995.443
AT ITER 4445 NEW BEST:: SOT 8263173 SOS 1490399 HAS SOPS 1490399 HAS SOUS 1156461 HAS SOUPS 1156461 WITH SCORE 1157951.399
AT ITER 4458 NEW BEST:: SOT 8263119 SOS 1490291 HAS SOPS 1490291 HAS SOUS 1156427 HAS SOUPS 1156427 WITH SCORE 1157917.291
AT ITER 4472 NEW BEST:: SOT 8263165 SOS 1490383 HAS SOPS 1490383 HAS SOUS 1156423 HAS SOUPS 1156423 WITH SCORE 1157913.383
AT ITER 4502 NEW BEST:: SOT 8262981 SOS 1489444 HAS SOPS 1489444 HAS SOUS 1155821 HAS SOUPS 1155821 WITH SCORE 1157310.444
AT ITER 4509 NEW BEST:: SOT 8262599 SOS 1489274 HAS SOPS 1489274 HAS SOUS 1155558 HAS SOUPS 1155558 WITH SCORE 1157047.274
AT ITER 4512 NEW BEST:: SOT 8262318 SOS 1490161 HAS SOPS 1490161 HAS SOUS 1155269 HAS SOUPS 1155269 WITH SCORE 1156759.161
AT ITER 4513 NEW BEST:: SOT 8262330 SOS 1490185 HAS SOPS 1490185 HAS SOUS 1155110 HAS SOUPS 1155110 WITH SCORE 1156600.185
AT ITER 4515 NEW BEST:: SOT 8262122 SOS 1489769 HAS SOPS 1489769 HAS SOUS 1154694 HAS SOUPS 1154694 WITH SCORE 1156183.769
AT ITER 4521 NEW BEST:: SOT 8261824 SOS 1489173 HAS SOPS 1489173 HAS SOUS 1154098 HAS SOUPS 1154098 WITH SCORE 1155587.173
AT ITER 4523 NEW BEST:: SOT 8261824 SOS 1488956 HAS SOPS 1488956 HAS SOUS 1154098 HAS SOUPS 1154098 WITH SCORE 1155586.956
AT ITER 4526 NEW BEST:: SOT 8262161 SOS 1489207 HAS SOPS 1489207 HAS SOUS 1154012 HAS SOUPS 1154012 WITH SCORE 1155501.207
AT ITER 4535 NEW BEST:: SOT 8262161 SOS 1488645 HAS SOPS 1488645 HAS SOUS 1154012 HAS SOUPS 1154012 WITH SCORE 1155500.645
AT ITER 4566 NEW BEST:: SOT 8262160 SOS 1488644 HAS SOPS 1488644 HAS SOUS 1154010 HAS SOUPS 1154010 WITH SCORE 1155498.644
AT ITER 4585 NEW BEST:: SOT 8261843 SOS 1488010 HAS SOPS 1488010 HAS SOUS 1153376 HAS SOUPS 1153376 WITH SCORE 1154864.01
AT ITER 4599 NEW BEST:: SOT 8261843 SOS 1488010 HAS SOPS 1488010 HAS SOUS 1153375 HAS SOUPS 1153375 WITH SCORE 1154863.01
AT ITER 4637 NEW BEST:: SOT 8261842 SOS 1487539 HAS SOPS 1487539 HAS SOUS 1153373 HAS SOUPS 1153373 WITH SCORE 1154860.539
AT ITER 4638 NEW BEST:: SOT 8261372 SOS 1485163 HAS SOPS 1485163 HAS SOUS 1152274 HAS SOUPS 1152274 WITH SCORE 1153759.163
AT ITER 4662 NEW BEST:: SOT 8261351 SOS 1485142 HAS SOPS 1485142 HAS SOUS 1152246 HAS SOUPS 1152246 WITH SCORE 1153731.142
AT ITER 4668 NEW BEST:: SOT 8261351 SOS 1485142 HAS SOPS 1485142 HAS SOUS 1152052 HAS SOUPS 1152052 WITH SCORE 1153537.142
AT ITER 4677 NEW BEST:: SOT 8261444 SOS 1484373 HAS SOPS 1484373 HAS SOUS 1151283 HAS SOUPS 1151283 WITH SCORE 1152767.373
AT ITER 4678 NEW BEST:: SOT 8261395 SOS 1484275 HAS SOPS 1484275 HAS SOUS 1151185 HAS SOUPS 1151185 WITH SCORE 1152669.275
AT ITER 4685 NEW BEST:: SOT 8261526 SOS 1483989 HAS SOPS 1483989 HAS SOUS 1151122 HAS SOUPS 1151122 WITH SCORE 1152605.989
AT ITER 4695 NEW BEST:: SOT 8261526 SOS 1483692 HAS SOPS 1483692 HAS SOUS 1151122 HAS SOUPS 1151122 WITH SCORE 1152605.692
AT ITER 4747 NEW BEST:: SOT 8261421 SOS 1483759 HAS SOPS 1483759 HAS SOUS 1151017 HAS SOUPS 1151017 WITH SCORE 1152500.759
AT ITER 4763 NEW BEST:: SOT 8261376 SOS 1483624 HAS SOPS 1483624 HAS SOUS 1150927 HAS SOUPS 1150927 WITH SCORE 1152410.624
AT ITER 4791 NEW BEST:: SOT 8261101 SOS 1483746 HAS SOPS 1483746 HAS SOUS 1150784 HAS SOUPS 1150784 WITH SCORE 1152267.746
AT ITER 4799 NEW BEST:: SOT 8261077 SOS 1483698 HAS SOPS 1483698 HAS SOUS 1150760 HAS SOUPS 1150760 WITH SCORE 1152243.698
AT ITER 4858 NEW BEST:: SOT 8261076 SOS 1483697 HAS SOPS 1483697 HAS SOUS 1150758 HAS SOUPS 1150758 WITH SCORE 1152241.697
AT ITER 4874 NEW BEST:: SOT 8260811 SOS 1483499 HAS SOPS 1483499 HAS SOUS 1150520 HAS SOUPS 1150520 WITH SCORE 1152003.499
AT ITER 4890 NEW BEST:: SOT 8260895 SOS 1483304 HAS SOPS 1483304 HAS SOUS 1150413 HAS SOUPS 1150413 WITH SCORE 1151896.304
AT ITER 4899 NEW BEST:: SOT 8260895 SOS 1483304 HAS SOPS 1483304 HAS SOUS 1150396 HAS SOUPS 1150396 WITH SCORE 1151879.304
AT ITER 4990 NEW BEST:: SOT 8260839 SOS 1483248 HAS SOPS 1483248 HAS SOUS 1150339 HAS SOUPS 1150339 WITH SCORE 1151822.248
AT ITER 4997 NEW BEST:: SOT 8260839 SOS 1483213 HAS SOPS 1483213 HAS SOUS 1150304 HAS SOUPS 1150304 WITH SCORE 1151787.213
AT ITER 5041 NEW BEST:: SOT 8261020 SOS 1482695 HAS SOPS 1482695 HAS SOUS 1150140 HAS SOUPS 1150140 WITH SCORE 1151622.695
AT ITER 5044 NEW BEST:: SOT 8261036 SOS 1482727 HAS SOPS 1482727 HAS SOUS 1150117 HAS SOUPS 1150117 WITH SCORE 1151599.727
AT ITER 5080 NEW BEST:: SOT 8261335 SOS 1483325 HAS SOPS 1483325 HAS SOUS 1150077 HAS SOUPS 1150077 WITH SCORE 1151560.325
AT ITER 5135 NEW BEST:: SOT 8261021 SOS 1482697 HAS SOPS 1482697 HAS SOUS 1149763 HAS SOUPS 1149763 WITH SCORE 1151245.697
AT ITER 5142 NEW BEST:: SOT 8260806 SOS 1482267 HAS SOPS 1482267 HAS SOUS 1149333 HAS SOUPS 1149333 WITH SCORE 1150815.267
AT ITER 5145 NEW BEST:: SOT 8260695 SOS 1482045 HAS SOPS 1482045 HAS SOUS 1149111 HAS SOUPS 1149111 WITH SCORE 1150593.045
AT ITER 5194 NEW BEST:: SOT 8260293 SOS 1481241 HAS SOPS 1481241 HAS SOUS 1148307 HAS SOUPS 1148307 WITH SCORE 1149788.241
AT ITER 5195 NEW BEST:: SOT 8260130 SOS 1480915 HAS SOPS 1480915 HAS SOUS 1147981 HAS SOUPS 1147981 WITH SCORE 1149461.915
AT ITER 5199 NEW BEST:: SOT 8259831 SOS 1480054 HAS SOPS 1480054 HAS SOUS 1147269 HAS SOUPS 1147269 WITH SCORE 1148749.054
AT ITER 5206 NEW BEST:: SOT 8259346 SOS 1479568 HAS SOPS 1479568 HAS SOUS 1146783 HAS SOUPS 1146783 WITH SCORE 1148262.568
AT ITER 5240 NEW BEST:: SOT 8259282 SOS 1479440 HAS SOPS 1479440 HAS SOUS 1146719 HAS SOUPS 1146719 WITH SCORE 1148198.44
AT ITER 5246 NEW BEST:: SOT 8259282 SOS 1479440 HAS SOPS 1479440 HAS SOUS 1146612 HAS SOUPS 1146612 WITH SCORE 1148091.44
AT ITER 5248 NEW BEST:: SOT 8258950 SOS 1478776 HAS SOPS 1478776 HAS SOUS 1145948 HAS SOUPS 1145948 WITH SCORE 1147426.776
AT ITER 5257 NEW BEST:: SOT 8258950 SOS 1478582 HAS SOPS 1478582 HAS SOUS 1145948 HAS SOUPS 1145948 WITH SCORE 1147426.582
AT ITER 5284 NEW BEST:: SOT 8258949 SOS 1478181 HAS SOPS 1478181 HAS SOUS 1145946 HAS SOUPS 1145946 WITH SCORE 1147424.181
AT ITER 5289 NEW BEST:: SOT 8258917 SOS 1478117 HAS SOPS 1478117 HAS SOUS 1145933 HAS SOUPS 1145933 WITH SCORE 1147411.117
AT ITER 5312 NEW BEST:: SOT 8258888 SOS 1478059 HAS SOPS 1478059 HAS SOUS 1145875 HAS SOUPS 1145875 WITH SCORE 1147353.059
AT ITER 5318 NEW BEST:: SOT 8258888 SOS 1478041 HAS SOPS 1478041 HAS SOUS 1145875 HAS SOUPS 1145875 WITH SCORE 1147353.041
AT ITER 5359 NEW BEST:: SOT 8258876 SOS 1478017 HAS SOPS 1478017 HAS SOUS 1145851 HAS SOUPS 1145851 WITH SCORE 1147329.017
AT ITER 5402 NEW BEST:: SOT 8258473 SOS 1477649 HAS SOPS 1477649 HAS SOUS 1145448 HAS SOUPS 1145448 WITH SCORE 1146925.649
AT ITER 5403 NEW BEST:: SOT 8258400 SOS 1477851 HAS SOPS 1477851 HAS SOUS 1145302 HAS SOUPS 1145302 WITH SCORE 1146779.851
AT ITER 5406 NEW BEST:: SOT 8258136 SOS 1477733 HAS SOPS 1477733 HAS SOUS 1145038 HAS SOUPS 1145038 WITH SCORE 1146515.733
AT ITER 5455 NEW BEST:: SOT 8258100 SOS 1477709 HAS SOPS 1477709 HAS SOUS 1145002 HAS SOUPS 1145002 WITH SCORE 1146479.709
AT ITER 5482 NEW BEST:: SOT 8258100 SOS 1477669 HAS SOPS 1477669 HAS SOUS 1144962 HAS SOUPS 1144962 WITH SCORE 1146439.669
AT ITER 5512 NEW BEST:: SOT 8257777 SOS 1477346 HAS SOPS 1477346 HAS SOUS 1144316 HAS SOUPS 1144316 WITH SCORE 1145793.346
AT ITER 5533 NEW BEST:: SOT 8258047 SOS 1477886 HAS SOPS 1477886 HAS SOUS 1144180 HAS SOUPS 1144180 WITH SCORE 1145657.886
AT ITER 5539 NEW BEST:: SOT 8258222 SOS 1477449 HAS SOPS 1477449 HAS SOUS 1143864 HAS SOUPS 1143864 WITH SCORE 1145341.449
AT ITER 5556 NEW BEST:: SOT 8258089 SOS 1477183 HAS SOPS 1477183 HAS SOUS 1143598 HAS SOUPS 1143598 WITH SCORE 1145075.183
AT ITER 5561 NEW BEST:: SOT 8258131 SOS 1477267 HAS SOPS 1477267 HAS SOUS 1143235 HAS SOUPS 1143235 WITH SCORE 1144712.267
AT ITER 5563 NEW BEST:: SOT 8257963 SOS 1476931 HAS SOPS 1476931 HAS SOUS 1143067 HAS SOUPS 1143067 WITH SCORE 1144543.931
AT ITER 5582 NEW BEST:: SOT 8257917 SOS 1476552 HAS SOPS 1476552 HAS SOUS 1142975 HAS SOUPS 1142975 WITH SCORE 1144451.552
AT ITER 5583 NEW BEST:: SOT 8257686 SOS 1476980 HAS SOPS 1476980 HAS SOUS 1142855 HAS SOUPS 1142855 WITH SCORE 1144331.98
AT ITER 5615 NEW BEST:: SOT 8257814 SOS 1476284 HAS SOPS 1476284 HAS SOUS 1142780 HAS SOUPS 1142780 WITH SCORE 1144256.284
AT ITER 5621 NEW BEST:: SOT 8257581 SOS 1476405 HAS SOPS 1476405 HAS SOUS 1142647 HAS SOUPS 1142647 WITH SCORE 1144123.405
AT ITER 5655 NEW BEST:: SOT 8257135 SOS 1477329 HAS SOPS 1477329 HAS SOUS 1142270 HAS SOUPS 1142270 WITH SCORE 1143747.329
AT ITER 5669 NEW BEST:: SOT 8257243 SOS 1477545 HAS SOPS 1477545 HAS SOUS 1142105 HAS SOUPS 1142105 WITH SCORE 1143582.545
AT ITER 5695 NEW BEST:: SOT 8257170 SOS 1477472 HAS SOPS 1477472 HAS SOUS 1142096 HAS SOUPS 1142096 WITH SCORE 1143573.472
AT ITER 5697 NEW BEST:: SOT 8257062 SOS 1477256 HAS SOPS 1477256 HAS SOUS 1141934 HAS SOUPS 1141934 WITH SCORE 1143411.256
AT ITER 5717 NEW BEST:: SOT 8257165 SOS 1476992 HAS SOPS 1476992 HAS SOUS 1141799 HAS SOUPS 1141799 WITH SCORE 1143275.992
AT ITER 5726 NEW BEST:: SOT 8257165 SOS 1476981 HAS SOPS 1476981 HAS SOUS 1141799 HAS SOUPS 1141799 WITH SCORE 1143275.981
AT ITER 5761 NEW BEST:: SOT 8257096 SOS 1476843 HAS SOPS 1476843 HAS SOUS 1141730 HAS SOUPS 1141730 WITH SCORE 1143206.843
AT ITER 5813 NEW BEST:: SOT 8257198 SOS 1476732 HAS SOPS 1476732 HAS SOUS 1141619 HAS SOUPS 1141619 WITH SCORE 1143095.732
AT ITER 5886 NEW BEST:: SOT 8257101 SOS 1476635 HAS SOPS 1476635 HAS SOUS 1141425 HAS SOUPS 1141425 WITH SCORE 1142901.635
AT ITER 5902 NEW BEST:: SOT 8256830 SOS 1476093 HAS SOPS 1476093 HAS SOUS 1140883 HAS SOUPS 1140883 WITH SCORE 1142359.093
AT ITER 5925 NEW BEST:: SOT 8256662 SOS 1475757 HAS SOPS 1475757 HAS SOUS 1140547 HAS SOUPS 1140547 WITH SCORE 1142022.757
AT ITER 5938 NEW BEST:: SOT 8256662 SOS 1475732 HAS SOPS 1475732 HAS SOUS 1140546 HAS SOUPS 1140546 WITH SCORE 1142021.732
AT ITER 5957 NEW BEST:: SOT 8256145 SOS 1475248 HAS SOPS 1475248 HAS SOUS 1140045 HAS SOUPS 1140045 WITH SCORE 1141520.248
AT ITER 5979 NEW BEST:: SOT 8255948 SOS 1475206 HAS SOPS 1475206 HAS SOUS 1140003 HAS SOUPS 1140003 WITH SCORE 1141478.206
AT ITER 5983 NEW BEST:: SOT 8255948 SOS 1475206 HAS SOPS 1475206 HAS SOUS 1140002 HAS SOUPS 1140002 WITH SCORE 1141477.206
AT ITER 5993 NEW BEST:: SOT 8255947 SOS 1475204 HAS SOPS 1475204 HAS SOUS 1140000 HAS SOUPS 1140000 WITH SCORE 1141475.204
AT ITER 6003 NEW BEST:: SOT 8255861 SOS 1475032 HAS SOPS 1475032 HAS SOUS 1139828 HAS SOUPS 1139828 WITH SCORE 1141303.032
AT ITER 6020 NEW BEST:: SOT 8255861 SOS 1474670 HAS SOPS 1474670 HAS SOUS 1139828 HAS SOUPS 1139828 WITH SCORE 1141302.67
AT ITER 6069 NEW BEST:: SOT 8255689 SOS 1474326 HAS SOPS 1474326 HAS SOUS 1139656 HAS SOUPS 1139656 WITH SCORE 1141130.326
AT ITER 6082 NEW BEST:: SOT 8255649 SOS 1474246 HAS SOPS 1474246 HAS SOUS 1139616 HAS SOUPS 1139616 WITH SCORE 1141090.246
AT ITER 6103 NEW BEST:: SOT 8255811 SOS 1474570 HAS SOPS 1474570 HAS SOUS 1139399 HAS SOUPS 1139399 WITH SCORE 1140873.57
AT ITER 6129 NEW BEST:: SOT 8255927 SOS 1474686 HAS SOPS 1474686 HAS SOUS 1139201 HAS SOUPS 1139201 WITH SCORE 1140675.686
AT ITER 6137 NEW BEST:: SOT 8253476 SOS 1472556 HAS SOPS 1472556 HAS SOUS 1136816 HAS SOUPS 1136816 WITH SCORE 1138288.556
AT ITER 6142 NEW BEST:: SOT 8253392 SOS 1472388 HAS SOPS 1472388 HAS SOUS 1136648 HAS SOUPS 1136648 WITH SCORE 1138120.388
AT ITER 6152 NEW BEST:: SOT 8253392 SOS 1471916 HAS SOPS 1471916 HAS SOUS 1136648 HAS SOUPS 1136648 WITH SCORE 1138119.916
AT ITER 6154 NEW BEST:: SOT 8253157 SOS 1471644 HAS SOPS 1471644 HAS SOUS 1136401 HAS SOUPS 1136401 WITH SCORE 1137872.644
AT ITER 6180 NEW BEST:: SOT 8253157 SOS 1471644 HAS SOPS 1471644 HAS SOUS 1136305 HAS SOUPS 1136305 WITH SCORE 1137776.644
AT ITER 6196 NEW BEST:: SOT 8253087 SOS 1471504 HAS SOPS 1471504 HAS SOUS 1136165 HAS SOUPS 1136165 WITH SCORE 1137636.504
AT ITER 6249 NEW BEST:: SOT 8253045 SOS 1471485 HAS SOPS 1471485 HAS SOUS 1136136 HAS SOUPS 1136136 WITH SCORE 1137607.485
AT ITER 6259 NEW BEST:: SOT 8252616 SOS 1471185 HAS SOPS 1471185 HAS SOUS 1135671 HAS SOUPS 1135671 WITH SCORE 1137142.185
AT ITER 6266 NEW BEST:: SOT 8252443 SOS 1471241 HAS SOPS 1471241 HAS SOUS 1135618 HAS SOUPS 1135618 WITH SCORE 1137089.241
AT ITER 6268 NEW BEST:: SOT 8252246 SOS 1470355 HAS SOPS 1470355 HAS SOUS 1135175 HAS SOUPS 1135175 WITH SCORE 1136645.355
AT ITER 6282 NEW BEST:: SOT 8251427 SOS 1468717 HAS SOPS 1468717 HAS SOUS 1134034 HAS SOUPS 1134034 WITH SCORE 1135502.717
AT ITER 6293 NEW BEST:: SOT 8251437 SOS 1468675 HAS SOPS 1468675 HAS SOUS 1133993 HAS SOUPS 1133993 WITH SCORE 1135461.675
AT ITER 6314 NEW BEST:: SOT 8250913 SOS 1468301 HAS SOPS 1468301 HAS SOUS 1133469 HAS SOUPS 1133469 WITH SCORE 1134937.301
AT ITER 6322 NEW BEST:: SOT 8250911 SOS 1468299 HAS SOPS 1468299 HAS SOUS 1133467 HAS SOUPS 1133467 WITH SCORE 1134935.299
AT ITER 6331 NEW BEST:: SOT 8250910 SOS 1468129 HAS SOPS 1468129 HAS SOUS 1133465 HAS SOUPS 1133465 WITH SCORE 1134933.129
AT ITER 6339 NEW BEST:: SOT 8250624 SOS 1467625 HAS SOPS 1467625 HAS SOUS 1132961 HAS SOUPS 1132961 WITH SCORE 1134428.625
AT ITER 6342 NEW BEST:: SOT 8250582 SOS 1467395 HAS SOPS 1467395 HAS SOUS 1132877 HAS SOUPS 1132877 WITH SCORE 1134344.395
AT ITER 6356 NEW BEST:: SOT 8250500 SOS 1467231 HAS SOPS 1467231 HAS SOUS 1132630 HAS SOUPS 1132630 WITH SCORE 1134097.231
AT ITER 6357 NEW BEST:: SOT 8250500 SOS 1467231 HAS SOPS 1467231 HAS SOUS 1132626 HAS SOUPS 1132626 WITH SCORE 1134093.231
AT ITER 6386 NEW BEST:: SOT 8250500 SOS 1467231 HAS SOPS 1467231 HAS SOUS 1132453 HAS SOUPS 1132453 WITH SCORE 1133920.231
AT ITER 6409 NEW BEST:: SOT 8250500 SOS 1467019 HAS SOPS 1467019 HAS SOUS 1132453 HAS SOUPS 1132453 WITH SCORE 1133920.019
AT ITER 6427 NEW BEST:: SOT 8250500 SOS 1466999 HAS SOPS 1466999 HAS SOUS 1132433 HAS SOUPS 1132433 WITH SCORE 1133899.999
AT ITER 6494 NEW BEST:: SOT 8250235 SOS 1466469 HAS SOPS 1466469 HAS SOUS 1132168 HAS SOUPS 1132168 WITH SCORE 1133634.469
AT ITER 6497 NEW BEST:: SOT 8250217 SOS 1466433 HAS SOPS 1466433 HAS SOUS 1132132 HAS SOUPS 1132132 WITH SCORE 1133598.433
AT ITER 6499 NEW BEST:: SOT 8250217 SOS 1466433 HAS SOPS 1466433 HAS SOUS 1132105 HAS SOUPS 1132105 WITH SCORE 1133571.433
AT ITER 6501 NEW BEST:: SOT 8249923 SOS 1465551 HAS SOPS 1465551 HAS SOUS 1131517 HAS SOUPS 1131517 WITH SCORE 1132982.551
AT ITER 6504 NEW BEST:: SOT 8249858 SOS 1465486 HAS SOPS 1465486 HAS SOUS 1131452 HAS SOUPS 1131452 WITH SCORE 1132917.486
AT ITER 6509 NEW BEST:: SOT 8249658 SOS 1465414 HAS SOPS 1465414 HAS SOUS 1131377 HAS SOUPS 1131377 WITH SCORE 1132842.414
AT ITER 6520 NEW BEST:: SOT 8249436 SOS 1464970 HAS SOPS 1464970 HAS SOUS 1131154 HAS SOUPS 1131154 WITH SCORE 1132618.97
AT ITER 6531 NEW BEST:: SOT 8249227 SOS 1464552 HAS SOPS 1464552 HAS SOUS 1130945 HAS SOUPS 1130945 WITH SCORE 1132409.552
AT ITER 6545 NEW BEST:: SOT 8249153 SOS 1464477 HAS SOPS 1464477 HAS SOUS 1130870 HAS SOUPS 1130870 WITH SCORE 1132334.477
AT ITER 6554 NEW BEST:: SOT 8248796 SOS 1464120 HAS SOPS 1464120 HAS SOUS 1130513 HAS SOUPS 1130513 WITH SCORE 1131977.12
AT ITER 6584 NEW BEST:: SOT 8248795 SOS 1463643 HAS SOPS 1463643 HAS SOUS 1129999 HAS SOUPS 1129999 WITH SCORE 1131462.643
AT ITER 6627 NEW BEST:: SOT 8248794 SOS 1463450 HAS SOPS 1463450 HAS SOUS 1129997 HAS SOUPS 1129997 WITH SCORE 1131460.45
AT ITER 6631 NEW BEST:: SOT 8248629 SOS 1463120 HAS SOPS 1463120 HAS SOUS 1129667 HAS SOUPS 1129667 WITH SCORE 1131130.12
AT ITER 6682 NEW BEST:: SOT 8248629 SOS 1463074 HAS SOPS 1463074 HAS SOUS 1129667 HAS SOUPS 1129667 WITH SCORE 1131130.074
AT ITER 6690 NEW BEST:: SOT 8248614 SOS 1462355 HAS SOPS 1462355 HAS SOUS 1129652 HAS SOUPS 1129652 WITH SCORE 1131114.355
AT ITER 6750 NEW BEST:: SOT 8248574 SOS 1462275 HAS SOPS 1462275 HAS SOUS 1129202 HAS SOUPS 1129202 WITH SCORE 1130664.275
AT ITER 6766 NEW BEST:: SOT 8248574 SOS 1462236 HAS SOPS 1462236 HAS SOUS 1129163 HAS SOUPS 1129163 WITH SCORE 1130625.236
AT ITER 6774 NEW BEST:: SOT 8248229 SOS 1461193 HAS SOPS 1461193 HAS SOUS 1128473 HAS SOUPS 1128473 WITH SCORE 1129934.193
AT ITER 6775 NEW BEST:: SOT 8248050 SOS 1460298 HAS SOPS 1460298 HAS SOUS 1128115 HAS SOUPS 1128115 WITH SCORE 1129575.298
AT ITER 6799 NEW BEST:: SOT 8248159 SOS 1460193 HAS SOPS 1460193 HAS SOUS 1128010 HAS SOUPS 1128010 WITH SCORE 1129470.193
AT ITER 6800 NEW BEST:: SOT 8247753 SOS 1458767 HAS SOPS 1458767 HAS SOUS 1127176 HAS SOUPS 1127176 WITH SCORE 1128634.767
AT ITER 6803 NEW BEST:: SOT 8247753 SOS 1458689 HAS SOPS 1458689 HAS SOUS 1127176 HAS SOUPS 1127176 WITH SCORE 1128634.689
AT ITER 6807 NEW BEST:: SOT 8247752 SOS 1458687 HAS SOPS 1458687 HAS SOUS 1127174 HAS SOUPS 1127174 WITH SCORE 1128632.687
AT ITER 6831 NEW BEST:: SOT 8247751 SOS 1458685 HAS SOPS 1458685 HAS SOUS 1127172 HAS SOUPS 1127172 WITH SCORE 1128630.685
AT ITER 6837 NEW BEST:: SOT 8247690 SOS 1458563 HAS SOPS 1458563 HAS SOUS 1127050 HAS SOUPS 1127050 WITH SCORE 1128508.563
AT ITER 6865 NEW BEST:: SOT 8247360 SOS 1458233 HAS SOPS 1458233 HAS SOUS 1126720 HAS SOUPS 1126720 WITH SCORE 1128178.233
AT ITER 6910 NEW BEST:: SOT 8247307 SOS 1457748 HAS SOPS 1457748 HAS SOUS 1126288 HAS SOUPS 1126288 WITH SCORE 1127745.748
AT ITER 6950 NEW BEST:: SOT 8247306 SOS 1457746 HAS SOPS 1457746 HAS SOUS 1126286 HAS SOUPS 1126286 WITH SCORE 1127743.746
AT ITER 6951 NEW BEST:: SOT 8246969 SOS 1457482 HAS SOPS 1457482 HAS SOUS 1125986 HAS SOUPS 1125986 WITH SCORE 1127443.482
AT ITER 6985 NEW BEST:: SOT 8246856 SOS 1457369 HAS SOPS 1457369 HAS SOUS 1125901 HAS SOUPS 1125901 WITH SCORE 1127358.369
AT ITER 6994 NEW BEST:: SOT 8247070 SOS 1457797 HAS SOPS 1457797 HAS SOUS 1125841 HAS SOUPS 1125841 WITH SCORE 1127298.797
AT ITER 7000 NEW BEST:: SOT 8246970 SOS 1457597 HAS SOPS 1457597 HAS SOUS 1125641 HAS SOUPS 1125641 WITH SCORE 1127098.597
AT ITER 7023 NEW BEST:: SOT 8246805 SOS 1457267 HAS SOPS 1457267 HAS SOUS 1125476 HAS SOUPS 1125476 WITH SCORE 1126933.267
AT ITER 7038 NEW BEST:: SOT 8246847 SOS 1456989 HAS SOPS 1456989 HAS SOUS 1125198 HAS SOUPS 1125198 WITH SCORE 1126654.989
AT ITER 7050 NEW BEST:: SOT 8246847 SOS 1456989 HAS SOPS 1456989 HAS SOUS 1125153 HAS SOUPS 1125153 WITH SCORE 1126609.989
AT ITER 7080 NEW BEST:: SOT 8245732 SOS 1455505 HAS SOPS 1455505 HAS SOUS 1123669 HAS SOUPS 1123669 WITH SCORE 1125124.505
AT ITER 7092 NEW BEST:: SOT 8245732 SOS 1455496 HAS SOPS 1455496 HAS SOUS 1123660 HAS SOUPS 1123660 WITH SCORE 1125115.496
AT ITER 7104 NEW BEST:: SOT 8245731 SOS 1455062 HAS SOPS 1455062 HAS SOUS 1123658 HAS SOUPS 1123658 WITH SCORE 1125113.062
AT ITER 7127 NEW BEST:: SOT 8245758 SOS 1455033 HAS SOPS 1455033 HAS SOUS 1123629 HAS SOUPS 1123629 WITH SCORE 1125084.033
AT ITER 7129 NEW BEST:: SOT 8245598 SOS 1454713 HAS SOPS 1454713 HAS SOUS 1123166 HAS SOUPS 1123166 WITH SCORE 1124620.713
AT ITER 7138 NEW BEST:: SOT 8245334 SOS 1455099 HAS SOPS 1455099 HAS SOUS 1123140 HAS SOUPS 1123140 WITH SCORE 1124595.099
AT ITER 7158 NEW BEST:: SOT 8245080 SOS 1454591 HAS SOPS 1454591 HAS SOUS 1122886 HAS SOUPS 1122886 WITH SCORE 1124340.591
AT ITER 7159 NEW BEST:: SOT 8245128 SOS 1454580 HAS SOPS 1454580 HAS SOUS 1122875 HAS SOUPS 1122875 WITH SCORE 1124329.58
AT ITER 7167 NEW BEST:: SOT 8245236 SOS 1454796 HAS SOPS 1454796 HAS SOUS 1122849 HAS SOUPS 1122849 WITH SCORE 1124303.796
AT ITER 7183 NEW BEST:: SOT 8245135 SOS 1454493 HAS SOPS 1454493 HAS SOUS 1122647 HAS SOUPS 1122647 WITH SCORE 1124101.493
AT ITER 7209 NEW BEST:: SOT 8245006 SOS 1454100 HAS SOPS 1454100 HAS SOUS 1122380 HAS SOUPS 1122380 WITH SCORE 1123834.1
AT ITER 7219 NEW BEST:: SOT 8244766 SOS 1453620 HAS SOPS 1453620 HAS SOUS 1122140 HAS SOUPS 1122140 WITH SCORE 1123593.62
AT ITER 7230 NEW BEST:: SOT 8245024 SOS 1454136 HAS SOPS 1454136 HAS SOUS 1122096 HAS SOUPS 1122096 WITH SCORE 1123550.136
AT ITER 7244 NEW BEST:: SOT 8245024 SOS 1454136 HAS SOPS 1454136 HAS SOUS 1121949 HAS SOUPS 1121949 WITH SCORE 1123403.136
AT ITER 7247 NEW BEST:: SOT 8244638 SOS 1452763 HAS SOPS 1452763 HAS SOUS 1120989 HAS SOUPS 1120989 WITH SCORE 1122441.763
AT ITER 7311 NEW BEST:: SOT 8244566 SOS 1452351 HAS SOPS 1452351 HAS SOUS 1120845 HAS SOUPS 1120845 WITH SCORE 1122297.351
AT ITER 7325 NEW BEST:: SOT 8244418 SOS 1452055 HAS SOPS 1452055 HAS SOUS 1120549 HAS SOUPS 1120549 WITH SCORE 1122001.055
AT ITER 7328 NEW BEST:: SOT 8244556 SOS 1451634 HAS SOPS 1451634 HAS SOUS 1120507 HAS SOUPS 1120507 WITH SCORE 1121958.634
AT ITER 7351 NEW BEST:: SOT 8244237 SOS 1450996 HAS SOPS 1450996 HAS SOUS 1120188 HAS SOUPS 1120188 WITH SCORE 1121638.996
AT ITER 7382 NEW BEST:: SOT 8243340 SOS 1451514 HAS SOPS 1451514 HAS SOUS 1119566 HAS SOUPS 1119566 WITH SCORE 1121017.514
AT ITER 7383 NEW BEST:: SOT 8243157 SOS 1451148 HAS SOPS 1451148 HAS SOUS 1119383 HAS SOUPS 1119383 WITH SCORE 1120834.148
AT ITER 7422 NEW BEST:: SOT 8243157 SOS 1451148 HAS SOPS 1451148 HAS SOUS 1119380 HAS SOUPS 1119380 WITH SCORE 1120831.148
AT ITER 7445 NEW BEST:: SOT 8242929 SOS 1450692 HAS SOPS 1450692 HAS SOUS 1119152 HAS SOUPS 1119152 WITH SCORE 1120602.692
AT ITER 7453 NEW BEST:: SOT 8242934 SOS 1450702 HAS SOPS 1450702 HAS SOUS 1119126 HAS SOUPS 1119126 WITH SCORE 1120576.702
AT ITER 7462 NEW BEST:: SOT 8242826 SOS 1450486 HAS SOPS 1450486 HAS SOUS 1118910 HAS SOUPS 1118910 WITH SCORE 1120360.486
AT ITER 7481 NEW BEST:: SOT 8242823 SOS 1450181 HAS SOPS 1450181 HAS SOUS 1118903 HAS SOUPS 1118903 WITH SCORE 1120353.181
AT ITER 7482 NEW BEST:: SOT 8242425 SOS 1449716 HAS SOPS 1449716 HAS SOUS 1118451 HAS SOUPS 1118451 WITH SCORE 1119900.716
AT ITER 7498 NEW BEST:: SOT 8242459 SOS 1449750 HAS SOPS 1449750 HAS SOUS 1118393 HAS SOUPS 1118393 WITH SCORE 1119842.75
AT ITER 7508 NEW BEST:: SOT 8242458 SOS 1450178 HAS SOPS 1450178 HAS SOUS 1118391 HAS SOUPS 1118391 WITH SCORE 1119841.178
AT ITER 7514 NEW BEST:: SOT 8242379 SOS 1450020 HAS SOPS 1450020 HAS SOUS 1118233 HAS SOUPS 1118233 WITH SCORE 1119683.02
AT ITER 7516 NEW BEST:: SOT 8242193 SOS 1449648 HAS SOPS 1449648 HAS SOUS 1117861 HAS SOUPS 1117861 WITH SCORE 1119310.648
AT ITER 7539 NEW BEST:: SOT 8242122 SOS 1449506 HAS SOPS 1449506 HAS SOUS 1117719 HAS SOUPS 1117719 WITH SCORE 1119168.506
AT ITER 7548 NEW BEST:: SOT 8241710 SOS 1448888 HAS SOPS 1448888 HAS SOUS 1117101 HAS SOUPS 1117101 WITH SCORE 1118549.888
AT ITER 7555 NEW BEST:: SOT 8241430 SOS 1448328 HAS SOPS 1448328 HAS SOUS 1116541 HAS SOUPS 1116541 WITH SCORE 1117989.328
AT ITER 7560 NEW BEST:: SOT 8241104 SOS 1447676 HAS SOPS 1447676 HAS SOUS 1116437 HAS SOUPS 1116437 WITH SCORE 1117884.676
AT ITER 7591 NEW BEST:: SOT 8241099 SOS 1447710 HAS SOPS 1447710 HAS SOUS 1116432 HAS SOUPS 1116432 WITH SCORE 1117879.71
AT ITER 7607 NEW BEST:: SOT 8241099 SOS 1447538 HAS SOPS 1447538 HAS SOUS 1116432 HAS SOUPS 1116432 WITH SCORE 1117879.538
AT ITER 7702 NEW BEST:: SOT 8241330 SOS 1446760 HAS SOPS 1446760 HAS SOUS 1116361 HAS SOUPS 1116361 WITH SCORE 1117807.76
AT ITER 7745 NEW BEST:: SOT 8240796 SOS 1446564 HAS SOPS 1446564 HAS SOUS 1115775 HAS SOUPS 1115775 WITH SCORE 1117221.564
AT ITER 7746 NEW BEST:: SOT 8240726 SOS 1446424 HAS SOPS 1446424 HAS SOUS 1115705 HAS SOUPS 1115705 WITH SCORE 1117151.424
AT ITER 7785 NEW BEST:: SOT 8240635 SOS 1446242 HAS SOPS 1446242 HAS SOUS 1115523 HAS SOUPS 1115523 WITH SCORE 1116969.242
AT ITER 7806 NEW BEST:: SOT 8240515 SOS 1446002 HAS SOPS 1446002 HAS SOUS 1115403 HAS SOUPS 1115403 WITH SCORE 1116849.002
AT ITER 7845 NEW BEST:: SOT 8240515 SOS 1445928 HAS SOPS 1445928 HAS SOUS 1115329 HAS SOUPS 1115329 WITH SCORE 1116774.928
AT ITER 7857 NEW BEST:: SOT 8240514 SOS 1445927 HAS SOPS 1445927 HAS SOUS 1115327 HAS SOUPS 1115327 WITH SCORE 1116772.927
AT ITER 7882 NEW BEST:: SOT 8239874 SOS 1444647 HAS SOPS 1444647 HAS SOUS 1114687 HAS SOUPS 1114687 WITH SCORE 1116131.647
AT ITER 7908 NEW BEST:: SOT 8239899 SOS 1444697 HAS SOPS 1444697 HAS SOUS 1114624 HAS SOUPS 1114624 WITH SCORE 1116068.697
AT ITER 7919 NEW BEST:: SOT 8239634 SOS 1444167 HAS SOPS 1444167 HAS SOUS 1114094 HAS SOUPS 1114094 WITH SCORE 1115538.167
AT ITER 7933 NEW BEST:: SOT 8239499 SOS 1443897 HAS SOPS 1443897 HAS SOUS 1113812 HAS SOUPS 1113812 WITH SCORE 1115255.897
AT ITER 7990 NEW BEST:: SOT 8239499 SOS 1443863 HAS SOPS 1443863 HAS SOUS 1113812 HAS SOUPS 1113812 WITH SCORE 1115255.863
AT ITER 7994 NEW BEST:: SOT 8239473 SOS 1443811 HAS SOPS 1443811 HAS SOUS 1113760 HAS SOUPS 1113760 WITH SCORE 1115203.811
AT ITER 7996 NEW BEST:: SOT 8239473 SOS 1443706 HAS SOPS 1443706 HAS SOUS 1113760 HAS SOUPS 1113760 WITH SCORE 1115203.706
AT ITER 8012 NEW BEST:: SOT 8239409 SOS 1443748 HAS SOPS 1443748 HAS SOUS 1113696 HAS SOUPS 1113696 WITH SCORE 1115139.748
AT ITER 8017 NEW BEST:: SOT 8239228 SOS 1443844 HAS SOPS 1443844 HAS SOUS 1113427 HAS SOUPS 1113427 WITH SCORE 1114870.844
AT ITER 8037 NEW BEST:: SOT 8239336 SOS 1443283 HAS SOPS 1443283 HAS SOUS 1113073 HAS SOUPS 1113073 WITH SCORE 1114516.283
AT ITER 8049 NEW BEST:: SOT 8239192 SOS 1442995 HAS SOPS 1442995 HAS SOUS 1112785 HAS SOUPS 1112785 WITH SCORE 1114227.995
AT ITER 8080 NEW BEST:: SOT 8239343 SOS 1443297 HAS SOPS 1443297 HAS SOUS 1112658 HAS SOUPS 1112658 WITH SCORE 1114101.297
AT ITER 8089 NEW BEST:: SOT 8239341 SOS 1443293 HAS SOPS 1443293 HAS SOUS 1112656 HAS SOUPS 1112656 WITH SCORE 1114099.293
AT ITER 8143 NEW BEST:: SOT 8239234 SOS 1443186 HAS SOPS 1443186 HAS SOUS 1112442 HAS SOUPS 1112442 WITH SCORE 1113885.186
AT ITER 8172 NEW BEST:: SOT 8238430 SOS 1442516 HAS SOPS 1442516 HAS SOUS 1111654 HAS SOUPS 1111654 WITH SCORE 1113096.516
AT ITER 8198 NEW BEST:: SOT 8238139 SOS 1442547 HAS SOPS 1442547 HAS SOUS 1111549 HAS SOUPS 1111549 WITH SCORE 1112991.547
AT ITER 8270 NEW BEST:: SOT 8237811 SOS 1442219 HAS SOPS 1442219 HAS SOUS 1111221 HAS SOUPS 1111221 WITH SCORE 1112663.219
AT ITER 8307 NEW BEST:: SOT 8237730 SOS 1442057 HAS SOPS 1442057 HAS SOUS 1111059 HAS SOUPS 1111059 WITH SCORE 1112501.057
AT ITER 8328 NEW BEST:: SOT 8237530 SOS 1441657 HAS SOPS 1441657 HAS SOUS 1110659 HAS SOUPS 1110659 WITH SCORE 1112100.657
AT ITER 8382 NEW BEST:: SOT 8237435 SOS 1441467 HAS SOPS 1441467 HAS SOUS 1110469 HAS SOUPS 1110469 WITH SCORE 1111910.467
AT ITER 8393 NEW BEST:: SOT 8237508 SOS 1441613 HAS SOPS 1441613 HAS SOUS 1110441 HAS SOUPS 1110441 WITH SCORE 1111882.613
AT ITER 8407 NEW BEST:: SOT 8237434 SOS 1441333 HAS SOPS 1441333 HAS SOUS 1110301 HAS SOUPS 1110301 WITH SCORE 1111742.333
AT ITER 8408 NEW BEST:: SOT 8237375 SOS 1441215 HAS SOPS 1441215 HAS SOUS 1110241 HAS SOUPS 1110241 WITH SCORE 1111682.215
AT ITER 8417 NEW BEST:: SOT 8236848 SOS 1441147 HAS SOPS 1441147 HAS SOUS 1109599 HAS SOUPS 1109599 WITH SCORE 1111040.147
AT ITER 8440 NEW BEST:: SOT 8236848 SOS 1441044 HAS SOPS 1441044 HAS SOUS 1109496 HAS SOUPS 1109496 WITH SCORE 1110937.044
AT ITER 8454 NEW BEST:: SOT 8236205 SOS 1442824 HAS SOPS 1442824 HAS SOUS 1109255 HAS SOUPS 1109255 WITH SCORE 1110697.824
AT ITER 8477 NEW BEST:: SOT 8236073 SOS 1442560 HAS SOPS 1442560 HAS SOUS 1109122 HAS SOUPS 1109122 WITH SCORE 1110564.56
AT ITER 8527 NEW BEST:: SOT 8235668 SOS 1441750 HAS SOPS 1441750 HAS SOUS 1108312 HAS SOUPS 1108312 WITH SCORE 1109753.75
AT ITER 8528 NEW BEST:: SOT 8235593 SOS 1441600 HAS SOPS 1441600 HAS SOUS 1108229 HAS SOUPS 1108229 WITH SCORE 1109670.6
AT ITER 8558 NEW BEST:: SOT 8235458 SOS 1441330 HAS SOPS 1441330 HAS SOUS 1108094 HAS SOUPS 1108094 WITH SCORE 1109535.33
AT ITER 8607 NEW BEST:: SOT 8235414 SOS 1441207 HAS SOPS 1441207 HAS SOUS 1108085 HAS SOUPS 1108085 WITH SCORE 1109526.207
AT ITER 8615 NEW BEST:: SOT 8235307 SOS 1440886 HAS SOPS 1440886 HAS SOUS 1107871 HAS SOUPS 1107871 WITH SCORE 1109311.886
AT ITER 8627 NEW BEST:: SOT 8235306 SOS 1440884 HAS SOPS 1440884 HAS SOUS 1107870 HAS SOUPS 1107870 WITH SCORE 1109310.884
AT ITER 8636 NEW BEST:: SOT 8234995 SOS 1440262 HAS SOPS 1440262 HAS SOUS 1107248 HAS SOUPS 1107248 WITH SCORE 1108688.262
AT ITER 8699 NEW BEST:: SOT 8234621 SOS 1439140 HAS SOPS 1439140 HAS SOUS 1106619 HAS SOUPS 1106619 WITH SCORE 1108058.14
AT ITER 8703 NEW BEST:: SOT 8234331 SOS 1438560 HAS SOPS 1438560 HAS SOUS 1106039 HAS SOUPS 1106039 WITH SCORE 1107477.56
AT ITER 8734 NEW BEST:: SOT 8234330 SOS 1438220 HAS SOPS 1438220 HAS SOUS 1106037 HAS SOUPS 1106037 WITH SCORE 1107475.22
AT ITER 8735 NEW BEST:: SOT 8233960 SOS 1437860 HAS SOPS 1437860 HAS SOUS 1105671 HAS SOUPS 1105671 WITH SCORE 1107108.86
AT ITER 8743 NEW BEST:: SOT 8233924 SOS 1437788 HAS SOPS 1437788 HAS SOUS 1105635 HAS SOUPS 1105635 WITH SCORE 1107072.788
AT ITER 8764 NEW BEST:: SOT 8233723 SOS 1436921 HAS SOPS 1436921 HAS SOUS 1105233 HAS SOUPS 1105233 WITH SCORE 1106669.921
AT ITER 8771 NEW BEST:: SOT 8233510 SOS 1436495 HAS SOPS 1436495 HAS SOUS 1105110 HAS SOUPS 1105110 WITH SCORE 1106546.495
AT ITER 8780 NEW BEST:: SOT 8233369 SOS 1436213 HAS SOPS 1436213 HAS SOUS 1104969 HAS SOUPS 1104969 WITH SCORE 1106405.213
AT ITER 8792 NEW BEST:: SOT 8233578 SOS 1436631 HAS SOPS 1436631 HAS SOUS 1104868 HAS SOUPS 1104868 WITH SCORE 1106304.631
AT ITER 8866 NEW BEST:: SOT 8232861 SOS 1435197 HAS SOPS 1435197 HAS SOUS 1104050 HAS SOUPS 1104050 WITH SCORE 1105485.197
AT ITER 8886 NEW BEST:: SOT 8232657 SOS 1434747 HAS SOPS 1434747 HAS SOUS 1103748 HAS SOUPS 1103748 WITH SCORE 1105182.747
AT ITER 8889 NEW BEST:: SOT 8232542 SOS 1434517 HAS SOPS 1434517 HAS SOUS 1103288 HAS SOUPS 1103288 WITH SCORE 1104722.517
AT ITER 8891 NEW BEST:: SOT 8232200 SOS 1433833 HAS SOPS 1433833 HAS SOUS 1102946 HAS SOUPS 1102946 WITH SCORE 1104379.833
AT ITER 8954 NEW BEST:: SOT 8231917 SOS 1433267 HAS SOPS 1433267 HAS SOUS 1102825 HAS SOUPS 1102825 WITH SCORE 1104258.267
AT ITER 8976 NEW BEST:: SOT 8231866 SOS 1433165 HAS SOPS 1433165 HAS SOUS 1102723 HAS SOUPS 1102723 WITH SCORE 1104156.165
AT ITER 8977 NEW BEST:: SOT 8231937 SOS 1432833 HAS SOPS 1432833 HAS SOUS 1102391 HAS SOUPS 1102391 WITH SCORE 1103823.833
AT ITER 8980 NEW BEST:: SOT 8231929 SOS 1432817 HAS SOPS 1432817 HAS SOUS 1102375 HAS SOUPS 1102375 WITH SCORE 1103807.817
AT ITER 9038 NEW BEST:: SOT 8231927 SOS 1432813 HAS SOPS 1432813 HAS SOUS 1102373 HAS SOUPS 1102373 WITH SCORE 1103805.813
AT ITER 9061 NEW BEST:: SOT 8231927 SOS 1432769 HAS SOPS 1432769 HAS SOUS 1102329 HAS SOUPS 1102329 WITH SCORE 1103761.769
AT ITER 9079 NEW BEST:: SOT 8231718 SOS 1432769 HAS SOPS 1432769 HAS SOUS 1102120 HAS SOUPS 1102120 WITH SCORE 1103552.769
AT ITER 9092 NEW BEST:: SOT 8231717 SOS 1432767 HAS SOPS 1432767 HAS SOUS 1102118 HAS SOUPS 1102118 WITH SCORE 1103550.767
AT ITER 9097 NEW BEST:: SOT 8231386 SOS 1432105 HAS SOPS 1432105 HAS SOUS 1101787 HAS SOUPS 1101787 WITH SCORE 1103219.105
AT ITER 9099 NEW BEST:: SOT 8231233 SOS 1431646 HAS SOPS 1431646 HAS SOUS 1101481 HAS SOUPS 1101481 WITH SCORE 1102912.646
AT ITER 9100 NEW BEST:: SOT 8230864 SOS 1431622 HAS SOPS 1431622 HAS SOUS 1101247 HAS SOUPS 1101247 WITH SCORE 1102678.622
AT ITER 9106 NEW BEST:: SOT 8230844 SOS 1431582 HAS SOPS 1431582 HAS SOUS 1101179 HAS SOUPS 1101179 WITH SCORE 1102610.582
AT ITER 9133 NEW BEST:: SOT 8230703 SOS 1431300 HAS SOPS 1431300 HAS SOUS 1100897 HAS SOUPS 1100897 WITH SCORE 1102328.3
AT ITER 9191 NEW BEST:: SOT 8230473 SOS 1431074 HAS SOPS 1431074 HAS SOUS 1100830 HAS SOUPS 1100830 WITH SCORE 1102261.074
AT ITER 9205 NEW BEST:: SOT 8230467 SOS 1431062 HAS SOPS 1431062 HAS SOUS 1100800 HAS SOUPS 1100800 WITH SCORE 1102231.062
AT ITER 9206 NEW BEST:: SOT 8230454 SOS 1431036 HAS SOPS 1431036 HAS SOUS 1100502 HAS SOUPS 1100502 WITH SCORE 1101933.036
AT ITER 9225 NEW BEST:: SOT 8230413 SOS 1430954 HAS SOPS 1430954 HAS SOUS 1100460 HAS SOUPS 1100460 WITH SCORE 1101890.954
AT ITER 9231 NEW BEST:: SOT 8230397 SOS 1430922 HAS SOPS 1430922 HAS SOUS 1100428 HAS SOUPS 1100428 WITH SCORE 1101858.922
AT ITER 9240 NEW BEST:: SOT 8229942 SOS 1430263 HAS SOPS 1430263 HAS SOUS 1100020 HAS SOUPS 1100020 WITH SCORE 1101450.263
AT ITER 9242 NEW BEST:: SOT 8229765 SOS 1429909 HAS SOPS 1429909 HAS SOUS 1099666 HAS SOUPS 1099666 WITH SCORE 1101095.909
AT ITER 9283 NEW BEST:: SOT 8229691 SOS 1429835 HAS SOPS 1429835 HAS SOUS 1099592 HAS SOUPS 1099592 WITH SCORE 1101021.835
AT ITER 9302 NEW BEST:: SOT 8229591 SOS 1429745 HAS SOPS 1429745 HAS SOUS 1099501 HAS SOUPS 1099501 WITH SCORE 1100930.745
AT ITER 9340 NEW BEST:: SOT 8229451 SOS 1429631 HAS SOPS 1429631 HAS SOUS 1099329 HAS SOUPS 1099329 WITH SCORE 1100758.631
AT ITER 9362 NEW BEST:: SOT 8229173 SOS 1429075 HAS SOPS 1429075 HAS SOUS 1099270 HAS SOUPS 1099270 WITH SCORE 1100699.075
AT ITER 9372 NEW BEST:: SOT 8229069 SOS 1428971 HAS SOPS 1428971 HAS SOUS 1099166 HAS SOUPS 1099166 WITH SCORE 1100594.971
AT ITER 9396 NEW BEST:: SOT 8229076 SOS 1428772 HAS SOPS 1428772 HAS SOUS 1098967 HAS SOUPS 1098967 WITH SCORE 1100395.772
AT ITER 9438 NEW BEST:: SOT 8228729 SOS 1428347 HAS SOPS 1428347 HAS SOUS 1098542 HAS SOUPS 1098542 WITH SCORE 1099970.347
AT ITER 9457 NEW BEST:: SOT 8228352 SOS 1428299 HAS SOPS 1428299 HAS SOUS 1098332 HAS SOUPS 1098332 WITH SCORE 1099760.299
AT ITER 9471 NEW BEST:: SOT 8228112 SOS 1428115 HAS SOPS 1428115 HAS SOUS 1098092 HAS SOUPS 1098092 WITH SCORE 1099520.115
AT ITER 9477 NEW BEST:: SOT 8228013 SOS 1427917 HAS SOPS 1427917 HAS SOUS 1097868 HAS SOUPS 1097868 WITH SCORE 1099295.917
AT ITER 9479 NEW BEST:: SOT 8228139 SOS 1427883 HAS SOPS 1427883 HAS SOUS 1097728 HAS SOUPS 1097728 WITH SCORE 1099155.883
AT ITER 9493 NEW BEST:: SOT 8227769 SOS 1427143 HAS SOPS 1427143 HAS SOUS 1097556 HAS SOUPS 1097556 WITH SCORE 1098983.143
AT ITER 9571 NEW BEST:: SOT 8227446 SOS 1426894 HAS SOPS 1426894 HAS SOUS 1096937 HAS SOUPS 1096937 WITH SCORE 1098363.894
AT ITER 9578 NEW BEST:: SOT 8227970 SOS 1427942 HAS SOPS 1427942 HAS SOUS 1096868 HAS SOUPS 1096868 WITH SCORE 1098295.942
AT ITER 9587 NEW BEST:: SOT 8228009 SOS 1427698 HAS SOPS 1427698 HAS SOUS 1096624 HAS SOUPS 1096624 WITH SCORE 1098051.698
AT ITER 9607 NEW BEST:: SOT 8228113 SOS 1427906 HAS SOPS 1427906 HAS SOUS 1096610 HAS SOUPS 1096610 WITH SCORE 1098037.906
AT ITER 9617 NEW BEST:: SOT 8227633 SOS 1426946 HAS SOPS 1426946 HAS SOUS 1095650 HAS SOUPS 1095650 WITH SCORE 1097076.946
AT ITER 9622 NEW BEST:: SOT 8227608 SOS 1426896 HAS SOPS 1426896 HAS SOUS 1095600 HAS SOUPS 1095600 WITH SCORE 1097026.896
AT ITER 9647 NEW BEST:: SOT 8227510 SOS 1427060 HAS SOPS 1427060 HAS SOUS 1095568 HAS SOUPS 1095568 WITH SCORE 1096995.06
AT ITER 9675 NEW BEST:: SOT 8227464 SOS 1426968 HAS SOPS 1426968 HAS SOUS 1095476 HAS SOUPS 1095476 WITH SCORE 1096902.968
AT ITER 9758 NEW BEST:: SOT 8226767 SOS 1426063 HAS SOPS 1426063 HAS SOUS 1094638 HAS SOUPS 1094638 WITH SCORE 1096064.063
AT ITER 9785 NEW BEST:: SOT 8226133 SOS 1425289 HAS SOPS 1425289 HAS SOUS 1093864 HAS SOUPS 1093864 WITH SCORE 1095289.289
AT ITER 9800 NEW BEST:: SOT 8226002 SOS 1425027 HAS SOPS 1425027 HAS SOUS 1093789 HAS SOUPS 1093789 WITH SCORE 1095214.027
AT ITER 9821 NEW BEST:: SOT 8226012 SOS 1424845 HAS SOPS 1424845 HAS SOUS 1093607 HAS SOUPS 1093607 WITH SCORE 1095031.845
AT ITER 9834 NEW BEST:: SOT 8225713 SOS 1424247 HAS SOPS 1424247 HAS SOUS 1093009 HAS SOUPS 1093009 WITH SCORE 1094433.247
AT ITER 9837 NEW BEST:: SOT 8225452 SOS 1423405 HAS SOPS 1423405 HAS SOUS 1092487 HAS SOUPS 1092487 WITH SCORE 1093910.405
AT ITER 9859 NEW BEST:: SOT 8225295 SOS 1423091 HAS SOPS 1423091 HAS SOUS 1092330 HAS SOUPS 1092330 WITH SCORE 1093753.091
AT ITER 9890 NEW BEST:: SOT 8225174 SOS 1422849 HAS SOPS 1422849 HAS SOUS 1092088 HAS SOUPS 1092088 WITH SCORE 1093510.849
AT ITER 9908 NEW BEST:: SOT 8225173 SOS 1422802 HAS SOPS 1422802 HAS SOUS 1092086 HAS SOUPS 1092086 WITH SCORE 1093508.802
AT ITER 9933 NEW BEST:: SOT 8224950 SOS 1422356 HAS SOPS 1422356 HAS SOUS 1091619 HAS SOUPS 1091619 WITH SCORE 1093041.356

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="CloudReconfiguration-PT-402"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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 CloudReconfiguration-PT-402, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902541800176"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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