Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r099-tall-167814472100168.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is CloudReconfiguration-PT-401, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472100168
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 8.8K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 180K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:48 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 912K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678229811599

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CloudReconfiguration-PT-401
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 401
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 3554 places, 4263 transitions, 8889 arcs.
AT ITER 0 NEW BEST:: SOT 8368963 SOS 1372342 HAS SOPS 1372342 HAS SOUS 1266497 HAS SOUPS 1266497 WITH SCORE 1267869.342
AT ITER 8 NEW BEST:: SOT 8368709 SOS 1371580 HAS SOPS 1371580 HAS SOUS 1265989 HAS SOUPS 1265989 WITH SCORE 1267360.58
AT ITER 25 NEW BEST:: SOT 8368709 SOS 1371555 HAS SOPS 1371555 HAS SOUS 1265964 HAS SOUPS 1265964 WITH SCORE 1267335.555
AT ITER 45 NEW BEST:: SOT 8368296 SOS 1371307 HAS SOPS 1371307 HAS SOUS 1265694 HAS SOUPS 1265694 WITH SCORE 1267065.307
AT ITER 77 NEW BEST:: SOT 8368296 SOS 1371307 HAS SOPS 1371307 HAS SOUS 1265682 HAS SOUPS 1265682 WITH SCORE 1267053.307
AT ITER 96 NEW BEST:: SOT 8368077 SOS 1371088 HAS SOPS 1371088 HAS SOUS 1265463 HAS SOUPS 1265463 WITH SCORE 1266834.088
AT ITER 120 NEW BEST:: SOT 8368192 SOS 1371318 HAS SOPS 1371318 HAS SOUS 1265307 HAS SOUPS 1265307 WITH SCORE 1266678.318
AT ITER 157 NEW BEST:: SOT 8368191 SOS 1371316 HAS SOPS 1371316 HAS SOUS 1265305 HAS SOUPS 1265305 WITH SCORE 1266676.316
AT ITER 189 NEW BEST:: SOT 8368190 SOS 1371314 HAS SOPS 1371314 HAS SOUS 1265303 HAS SOUPS 1265303 WITH SCORE 1266674.314
AT ITER 197 NEW BEST:: SOT 8368156 SOS 1371265 HAS SOPS 1371265 HAS SOUS 1265250 HAS SOUPS 1265250 WITH SCORE 1266621.265
AT ITER 202 NEW BEST:: SOT 8368040 SOS 1371155 HAS SOPS 1371155 HAS SOUS 1265134 HAS SOUPS 1265134 WITH SCORE 1266505.155
AT ITER 207 NEW BEST:: SOT 8367846 SOS 1371377 HAS SOPS 1371377 HAS SOUS 1264940 HAS SOUPS 1264940 WITH SCORE 1266311.377
AT ITER 223 NEW BEST:: SOT 8367342 SOS 1370999 HAS SOPS 1370999 HAS SOUS 1264562 HAS SOUPS 1264562 WITH SCORE 1265932.999
AT ITER 234 NEW BEST:: SOT 8367342 SOS 1370807 HAS SOPS 1370807 HAS SOUS 1264562 HAS SOUPS 1264562 WITH SCORE 1265932.807
AT ITER 250 NEW BEST:: SOT 8367267 SOS 1370657 HAS SOPS 1370657 HAS SOUS 1264091 HAS SOUPS 1264091 WITH SCORE 1265461.657
AT ITER 261 NEW BEST:: SOT 8367267 SOS 1370359 HAS SOPS 1370359 HAS SOUS 1264090 HAS SOUPS 1264090 WITH SCORE 1265460.359
AT ITER 284 NEW BEST:: SOT 8367069 SOS 1370161 HAS SOPS 1370161 HAS SOUS 1264089 HAS SOUPS 1264089 WITH SCORE 1265459.161
AT ITER 286 NEW BEST:: SOT 8366596 SOS 1370119 HAS SOPS 1370119 HAS SOUS 1263842 HAS SOUPS 1263842 WITH SCORE 1265212.119
AT ITER 299 NEW BEST:: SOT 8366438 SOS 1369645 HAS SOPS 1369645 HAS SOUS 1263526 HAS SOUPS 1263526 WITH SCORE 1264895.645
AT ITER 304 NEW BEST:: SOT 8366543 SOS 1369418 HAS SOPS 1369418 HAS SOUS 1263299 HAS SOUPS 1263299 WITH SCORE 1264668.418
AT ITER 309 NEW BEST:: SOT 8366512 SOS 1369387 HAS SOPS 1369387 HAS SOUS 1263268 HAS SOUPS 1263268 WITH SCORE 1264637.387
AT ITER 319 NEW BEST:: SOT 8366072 SOS 1368947 HAS SOPS 1368947 HAS SOUS 1262828 HAS SOUPS 1262828 WITH SCORE 1264196.947
AT ITER 333 NEW BEST:: SOT 8365650 SOS 1368841 HAS SOPS 1368841 HAS SOUS 1262304 HAS SOUPS 1262304 WITH SCORE 1263672.841
AT ITER 358 NEW BEST:: SOT 8365650 SOS 1368841 HAS SOPS 1368841 HAS SOUS 1262220 HAS SOUPS 1262220 WITH SCORE 1263588.841
AT ITER 380 NEW BEST:: SOT 8365650 SOS 1368841 HAS SOPS 1368841 HAS SOUS 1261985 HAS SOUPS 1261985 WITH SCORE 1263353.841
AT ITER 382 NEW BEST:: SOT 8365649 SOS 1368839 HAS SOPS 1368839 HAS SOUS 1261983 HAS SOUPS 1261983 WITH SCORE 1263351.839
AT ITER 394 NEW BEST:: SOT 8365388 SOS 1368677 HAS SOPS 1368677 HAS SOUS 1261443 HAS SOUPS 1261443 WITH SCORE 1262811.677
AT ITER 404 NEW BEST:: SOT 8365388 SOS 1368353 HAS SOPS 1368353 HAS SOUS 1261443 HAS SOUPS 1261443 WITH SCORE 1262811.353
AT ITER 417 NEW BEST:: SOT 8365234 SOS 1368199 HAS SOPS 1368199 HAS SOUS 1261289 HAS SOUPS 1261289 WITH SCORE 1262657.199
AT ITER 428 NEW BEST:: SOT 8365186 SOS 1368103 HAS SOPS 1368103 HAS SOUS 1260895 HAS SOUPS 1260895 WITH SCORE 1262263.103
AT ITER 435 NEW BEST:: SOT 8365093 SOS 1368010 HAS SOPS 1368010 HAS SOUS 1260802 HAS SOUPS 1260802 WITH SCORE 1262170.01
AT ITER 437 NEW BEST:: SOT 8365093 SOS 1368010 HAS SOPS 1368010 HAS SOUS 1260697 HAS SOUPS 1260697 WITH SCORE 1262065.01
AT ITER 450 NEW BEST:: SOT 8364601 SOS 1367395 HAS SOPS 1367395 HAS SOUS 1260082 HAS SOUPS 1260082 WITH SCORE 1261449.395
AT ITER 457 NEW BEST:: SOT 8364798 SOS 1367789 HAS SOPS 1367789 HAS SOUS 1260049 HAS SOUPS 1260049 WITH SCORE 1261416.789
AT ITER 471 NEW BEST:: SOT 8364798 SOS 1367789 HAS SOPS 1367789 HAS SOUS 1259740 HAS SOUPS 1259740 WITH SCORE 1261107.789
AT ITER 474 NEW BEST:: SOT 8364766 SOS 1367725 HAS SOPS 1367725 HAS SOUS 1259676 HAS SOUPS 1259676 WITH SCORE 1261043.725
AT ITER 477 NEW BEST:: SOT 8364766 SOS 1367683 HAS SOPS 1367683 HAS SOUS 1259676 HAS SOUPS 1259676 WITH SCORE 1261043.683
AT ITER 507 NEW BEST:: SOT 8350999 SOS 1358209 HAS SOPS 1358209 HAS SOUS 1246040 HAS SOUPS 1246040 WITH SCORE 1247398.209
AT ITER 509 NEW BEST:: SOT 8350882 SOS 1357975 HAS SOPS 1357975 HAS SOUS 1245806 HAS SOUPS 1245806 WITH SCORE 1247163.975
AT ITER 511 NEW BEST:: SOT 8350882 SOS 1357873 HAS SOPS 1357873 HAS SOUS 1245806 HAS SOUPS 1245806 WITH SCORE 1247163.873
AT ITER 530 NEW BEST:: SOT 8350786 SOS 1358076 HAS SOPS 1358076 HAS SOUS 1245725 HAS SOUPS 1245725 WITH SCORE 1247083.076
AT ITER 542 NEW BEST:: SOT 8350785 SOS 1358074 HAS SOPS 1358074 HAS SOUS 1245723 HAS SOUPS 1245723 WITH SCORE 1247081.074
AT ITER 556 NEW BEST:: SOT 8350778 SOS 1358060 HAS SOPS 1358060 HAS SOUS 1245709 HAS SOUPS 1245709 WITH SCORE 1247067.06
AT ITER 568 NEW BEST:: SOT 8350777 SOS 1358058 HAS SOPS 1358058 HAS SOUS 1245707 HAS SOUPS 1245707 WITH SCORE 1247065.058
AT ITER 583 NEW BEST:: SOT 8350245 SOS 1357526 HAS SOPS 1357526 HAS SOUS 1245175 HAS SOUPS 1245175 WITH SCORE 1246532.526
AT ITER 587 NEW BEST:: SOT 8350329 SOS 1357532 HAS SOPS 1357532 HAS SOUS 1245097 HAS SOUPS 1245097 WITH SCORE 1246454.532
AT ITER 594 NEW BEST:: SOT 8350329 SOS 1357532 HAS SOPS 1357532 HAS SOUS 1245077 HAS SOUPS 1245077 WITH SCORE 1246434.532
AT ITER 623 NEW BEST:: SOT 8350329 SOS 1357532 HAS SOPS 1357532 HAS SOUS 1244817 HAS SOUPS 1244817 WITH SCORE 1246174.532
AT ITER 654 NEW BEST:: SOT 8350304 SOS 1357507 HAS SOPS 1357507 HAS SOUS 1244792 HAS SOUPS 1244792 WITH SCORE 1246149.507
AT ITER 657 NEW BEST:: SOT 8350027 SOS 1357211 HAS SOPS 1357211 HAS SOUS 1244365 HAS SOUPS 1244365 WITH SCORE 1245722.211
AT ITER 665 NEW BEST:: SOT 8350027 SOS 1356937 HAS SOPS 1356937 HAS SOUS 1244091 HAS SOUPS 1244091 WITH SCORE 1245447.937
AT ITER 666 NEW BEST:: SOT 8349941 SOS 1356960 HAS SOPS 1356960 HAS SOUS 1244005 HAS SOUPS 1244005 WITH SCORE 1245361.96
AT ITER 667 NEW BEST:: SOT 8349941 SOS 1356843 HAS SOPS 1356843 HAS SOUS 1244004 HAS SOUPS 1244004 WITH SCORE 1245360.843
AT ITER 710 NEW BEST:: SOT 8349749 SOS 1356834 HAS SOPS 1356834 HAS SOUS 1243872 HAS SOUPS 1243872 WITH SCORE 1245228.834
AT ITER 722 NEW BEST:: SOT 8349958 SOS 1356838 HAS SOPS 1356838 HAS SOUS 1243667 HAS SOUPS 1243667 WITH SCORE 1245023.838
AT ITER 740 NEW BEST:: SOT 8349865 SOS 1356652 HAS SOPS 1356652 HAS SOUS 1243574 HAS SOUPS 1243574 WITH SCORE 1244930.652
AT ITER 764 NEW BEST:: SOT 8349415 SOS 1356207 HAS SOPS 1356207 HAS SOUS 1243129 HAS SOUPS 1243129 WITH SCORE 1244485.207
AT ITER 782 NEW BEST:: SOT 8349176 SOS 1355968 HAS SOPS 1355968 HAS SOUS 1242890 HAS SOUPS 1242890 WITH SCORE 1244245.968
AT ITER 800 NEW BEST:: SOT 8349197 SOS 1356010 HAS SOPS 1356010 HAS SOUS 1242830 HAS SOUPS 1242830 WITH SCORE 1244186.01
AT ITER 813 NEW BEST:: SOT 8348821 SOS 1355790 HAS SOPS 1355790 HAS SOUS 1242495 HAS SOUPS 1242495 WITH SCORE 1243850.79
AT ITER 819 NEW BEST:: SOT 8348668 SOS 1355746 HAS SOPS 1355746 HAS SOUS 1242397 HAS SOUPS 1242397 WITH SCORE 1243752.746
AT ITER 843 NEW BEST:: SOT 8348668 SOS 1355443 HAS SOPS 1355443 HAS SOUS 1242397 HAS SOUPS 1242397 WITH SCORE 1243752.443
AT ITER 847 NEW BEST:: SOT 8347744 SOS 1356235 HAS SOPS 1356235 HAS SOUS 1241654 HAS SOUPS 1241654 WITH SCORE 1243010.235
AT ITER 848 NEW BEST:: SOT 8347641 SOS 1356029 HAS SOPS 1356029 HAS SOUS 1241448 HAS SOUPS 1241448 WITH SCORE 1242804.029
AT ITER 863 NEW BEST:: SOT 8347640 SOS 1356027 HAS SOPS 1356027 HAS SOUS 1241446 HAS SOUPS 1241446 WITH SCORE 1242802.027
AT ITER 869 NEW BEST:: SOT 8347525 SOS 1355221 HAS SOPS 1355221 HAS SOUS 1241215 HAS SOUPS 1241215 WITH SCORE 1242570.221
AT ITER 878 NEW BEST:: SOT 8347556 SOS 1355023 HAS SOPS 1355023 HAS SOUS 1241018 HAS SOUPS 1241018 WITH SCORE 1242373.023
AT ITER 880 NEW BEST:: SOT 8347133 SOS 1354630 HAS SOPS 1354630 HAS SOUS 1240612 HAS SOUPS 1240612 WITH SCORE 1241966.63
AT ITER 888 NEW BEST:: SOT 8347038 SOS 1354440 HAS SOPS 1354440 HAS SOUS 1240243 HAS SOUPS 1240243 WITH SCORE 1241597.44
AT ITER 907 NEW BEST:: SOT 8346963 SOS 1354290 HAS SOPS 1354290 HAS SOUS 1240093 HAS SOUPS 1240093 WITH SCORE 1241447.29
AT ITER 915 NEW BEST:: SOT 8346963 SOS 1354290 HAS SOPS 1354290 HAS SOUS 1240092 HAS SOUPS 1240092 WITH SCORE 1241446.29
AT ITER 929 NEW BEST:: SOT 8346584 SOS 1354009 HAS SOPS 1354009 HAS SOUS 1239811 HAS SOUPS 1239811 WITH SCORE 1241165.009
AT ITER 951 NEW BEST:: SOT 8346584 SOS 1353918 HAS SOPS 1353918 HAS SOUS 1239811 HAS SOUPS 1239811 WITH SCORE 1241164.918
AT ITER 963 NEW BEST:: SOT 8346740 SOS 1353834 HAS SOPS 1353834 HAS SOUS 1239769 HAS SOUPS 1239769 WITH SCORE 1241122.834
AT ITER 965 NEW BEST:: SOT 8346740 SOS 1353834 HAS SOPS 1353834 HAS SOUS 1239276 HAS SOUPS 1239276 WITH SCORE 1240629.834
AT ITER 970 NEW BEST:: SOT 8346527 SOS 1353408 HAS SOPS 1353408 HAS SOUS 1238850 HAS SOUPS 1238850 WITH SCORE 1240203.408
AT ITER 976 NEW BEST:: SOT 8346527 SOS 1353211 HAS SOPS 1353211 HAS SOUS 1238850 HAS SOUPS 1238850 WITH SCORE 1240203.211
AT ITER 987 NEW BEST:: SOT 8346441 SOS 1353039 HAS SOPS 1353039 HAS SOUS 1238463 HAS SOUPS 1238463 WITH SCORE 1239816.039
AT ITER 1005 NEW BEST:: SOT 8346434 SOS 1353025 HAS SOPS 1353025 HAS SOUS 1238449 HAS SOUPS 1238449 WITH SCORE 1239802.025
AT ITER 1016 NEW BEST:: SOT 8344483 SOS 1358202 HAS SOPS 1358202 HAS SOUS 1237704 HAS SOUPS 1237704 WITH SCORE 1239062.202
AT ITER 1053 NEW BEST:: SOT 8344076 SOS 1357735 HAS SOPS 1357735 HAS SOUS 1237441 HAS SOUPS 1237441 WITH SCORE 1238798.735
AT ITER 1058 NEW BEST:: SOT 8344067 SOS 1357717 HAS SOPS 1357717 HAS SOUS 1237432 HAS SOUPS 1237432 WITH SCORE 1238789.717
AT ITER 1087 NEW BEST:: SOT 8343457 SOS 1357107 HAS SOPS 1357107 HAS SOUS 1236822 HAS SOUPS 1236822 WITH SCORE 1238179.107
AT ITER 1088 NEW BEST:: SOT 8343457 SOS 1357107 HAS SOPS 1357107 HAS SOUS 1236669 HAS SOUPS 1236669 WITH SCORE 1238026.107
AT ITER 1104 NEW BEST:: SOT 8343503 SOS 1357119 HAS SOPS 1357119 HAS SOUS 1236610 HAS SOUPS 1236610 WITH SCORE 1237967.119
AT ITER 1122 NEW BEST:: SOT 8343248 SOS 1356230 HAS SOPS 1356230 HAS SOUS 1235976 HAS SOUPS 1235976 WITH SCORE 1237332.23
AT ITER 1125 NEW BEST:: SOT 8342653 SOS 1355635 HAS SOPS 1355635 HAS SOUS 1235381 HAS SOUPS 1235381 WITH SCORE 1236736.635
AT ITER 1131 NEW BEST:: SOT 8342210 SOS 1355192 HAS SOPS 1355192 HAS SOUS 1234938 HAS SOUPS 1234938 WITH SCORE 1236293.192
AT ITER 1240 NEW BEST:: SOT 8342239 SOS 1355250 HAS SOPS 1355250 HAS SOUS 1234776 HAS SOUPS 1234776 WITH SCORE 1236131.25
AT ITER 1247 NEW BEST:: SOT 8341899 SOS 1354910 HAS SOPS 1354910 HAS SOUS 1234436 HAS SOUPS 1234436 WITH SCORE 1235790.91
AT ITER 1254 NEW BEST:: SOT 8341899 SOS 1354826 HAS SOPS 1354826 HAS SOUS 1234436 HAS SOUPS 1234436 WITH SCORE 1235790.826
AT ITER 1255 NEW BEST:: SOT 8341714 SOS 1354086 HAS SOPS 1354086 HAS SOUS 1234066 HAS SOUPS 1234066 WITH SCORE 1235420.086
AT ITER 1265 NEW BEST:: SOT 8341714 SOS 1354053 HAS SOPS 1354053 HAS SOUS 1234033 HAS SOUPS 1234033 WITH SCORE 1235387.053
AT ITER 1278 NEW BEST:: SOT 8341708 SOS 1354041 HAS SOPS 1354041 HAS SOUS 1234027 HAS SOUPS 1234027 WITH SCORE 1235381.041
AT ITER 1288 NEW BEST:: SOT 8341726 SOS 1353932 HAS SOPS 1353932 HAS SOUS 1233918 HAS SOUPS 1233918 WITH SCORE 1235271.932
AT ITER 1297 NEW BEST:: SOT 8341726 SOS 1353661 HAS SOPS 1353661 HAS SOUS 1233917 HAS SOUPS 1233917 WITH SCORE 1235270.661
AT ITER 1300 NEW BEST:: SOT 8341484 SOS 1353177 HAS SOPS 1353177 HAS SOUS 1233516 HAS SOUPS 1233516 WITH SCORE 1234869.177
AT ITER 1314 NEW BEST:: SOT 8341046 SOS 1352764 HAS SOPS 1352764 HAS SOUS 1233026 HAS SOUPS 1233026 WITH SCORE 1234378.764
AT ITER 1320 NEW BEST:: SOT 8341046 SOS 1352910 HAS SOPS 1352910 HAS SOUS 1233025 HAS SOUPS 1233025 WITH SCORE 1234377.91
AT ITER 1333 NEW BEST:: SOT 8340992 SOS 1352907 HAS SOPS 1352907 HAS SOUS 1232987 HAS SOUPS 1232987 WITH SCORE 1234339.907
AT ITER 1337 NEW BEST:: SOT 8340922 SOS 1352767 HAS SOPS 1352767 HAS SOUS 1232847 HAS SOUPS 1232847 WITH SCORE 1234199.767
AT ITER 1338 NEW BEST:: SOT 8340507 SOS 1351937 HAS SOPS 1351937 HAS SOUS 1232017 HAS SOUPS 1232017 WITH SCORE 1233368.937
AT ITER 1358 NEW BEST:: SOT 8340506 SOS 1351935 HAS SOPS 1351935 HAS SOUS 1232015 HAS SOUPS 1232015 WITH SCORE 1233366.935
AT ITER 1368 NEW BEST:: SOT 8340243 SOS 1351672 HAS SOPS 1351672 HAS SOUS 1231752 HAS SOUPS 1231752 WITH SCORE 1233103.672
AT ITER 1373 NEW BEST:: SOT 8340242 SOS 1351202 HAS SOPS 1351202 HAS SOUS 1231407 HAS SOUPS 1231407 WITH SCORE 1232758.202
AT ITER 1375 NEW BEST:: SOT 8340241 SOS 1351200 HAS SOPS 1351200 HAS SOUS 1231406 HAS SOUPS 1231406 WITH SCORE 1232757.2
AT ITER 1386 NEW BEST:: SOT 8340241 SOS 1351038 HAS SOPS 1351038 HAS SOUS 1231406 HAS SOUPS 1231406 WITH SCORE 1232757.038
AT ITER 1399 NEW BEST:: SOT 8340335 SOS 1350514 HAS SOPS 1350514 HAS SOUS 1231308 HAS SOUPS 1231308 WITH SCORE 1232658.514
AT ITER 1410 NEW BEST:: SOT 8340335 SOS 1350451 HAS SOPS 1350451 HAS SOUS 1231245 HAS SOUPS 1231245 WITH SCORE 1232595.451
AT ITER 1417 NEW BEST:: SOT 8340335 SOS 1350347 HAS SOPS 1350347 HAS SOUS 1231244 HAS SOUPS 1231244 WITH SCORE 1232594.347
AT ITER 1444 NEW BEST:: SOT 8339857 SOS 1349869 HAS SOPS 1349869 HAS SOUS 1230766 HAS SOUPS 1230766 WITH SCORE 1232115.869
AT ITER 1450 NEW BEST:: SOT 8328277 SOS 1338636 HAS SOPS 1338636 HAS SOUS 1219745 HAS SOUPS 1219745 WITH SCORE 1221083.636
AT ITER 1501 NEW BEST:: SOT 8328277 SOS 1338503 HAS SOPS 1338503 HAS SOUS 1219745 HAS SOUPS 1219745 WITH SCORE 1221083.503
AT ITER 1521 NEW BEST:: SOT 8328277 SOS 1338448 HAS SOPS 1338448 HAS SOUS 1219745 HAS SOUPS 1219745 WITH SCORE 1221083.448
AT ITER 1542 NEW BEST:: SOT 8328367 SOS 1338402 HAS SOPS 1338402 HAS SOUS 1219699 HAS SOUPS 1219699 WITH SCORE 1221037.402
AT ITER 1546 NEW BEST:: SOT 8327743 SOS 1338924 HAS SOPS 1338924 HAS SOUS 1218937 HAS SOUPS 1218937 WITH SCORE 1220275.924
AT ITER 1551 NEW BEST:: SOT 8327546 SOS 1338638 HAS SOPS 1338638 HAS SOUS 1218651 HAS SOUPS 1218651 WITH SCORE 1219989.638
AT ITER 1585 NEW BEST:: SOT 8327519 SOS 1338626 HAS SOPS 1338626 HAS SOUS 1218624 HAS SOUPS 1218624 WITH SCORE 1219962.626
AT ITER 1590 NEW BEST:: SOT 8327668 SOS 1338470 HAS SOPS 1338470 HAS SOUS 1218468 HAS SOUPS 1218468 WITH SCORE 1219806.47
AT ITER 1611 NEW BEST:: SOT 8327604 SOS 1339200 HAS SOPS 1339200 HAS SOUS 1218404 HAS SOUPS 1218404 WITH SCORE 1219743.2
AT ITER 1658 NEW BEST:: SOT 8327587 SOS 1339166 HAS SOPS 1339166 HAS SOUS 1218361 HAS SOUPS 1218361 WITH SCORE 1219700.166
AT ITER 1675 NEW BEST:: SOT 8327288 SOS 1338772 HAS SOPS 1338772 HAS SOUS 1218062 HAS SOUPS 1218062 WITH SCORE 1219400.772
AT ITER 1676 NEW BEST:: SOT 8327246 SOS 1338730 HAS SOPS 1338730 HAS SOUS 1218020 HAS SOUPS 1218020 WITH SCORE 1219358.73
AT ITER 1691 NEW BEST:: SOT 8326428 SOS 1337810 HAS SOPS 1337810 HAS SOUS 1216947 HAS SOUPS 1216947 WITH SCORE 1218284.81
AT ITER 1700 NEW BEST:: SOT 8324363 SOS 1339119 HAS SOPS 1339119 HAS SOUS 1215789 HAS SOUPS 1215789 WITH SCORE 1217128.119
AT ITER 1709 NEW BEST:: SOT 8324133 SOS 1338889 HAS SOPS 1338889 HAS SOUS 1215559 HAS SOUPS 1215559 WITH SCORE 1216897.889
AT ITER 1715 NEW BEST:: SOT 8324133 SOS 1338875 HAS SOPS 1338875 HAS SOUS 1215545 HAS SOUPS 1215545 WITH SCORE 1216883.875
AT ITER 1717 NEW BEST:: SOT 8324251 SOS 1338675 HAS SOPS 1338675 HAS SOUS 1215345 HAS SOUPS 1215345 WITH SCORE 1216683.675
AT ITER 1723 NEW BEST:: SOT 8323879 SOS 1338303 HAS SOPS 1338303 HAS SOUS 1214973 HAS SOUPS 1214973 WITH SCORE 1216311.303
AT ITER 1750 NEW BEST:: SOT 8323840 SOS 1338225 HAS SOPS 1338225 HAS SOUS 1214895 HAS SOUPS 1214895 WITH SCORE 1216233.225
AT ITER 1751 NEW BEST:: SOT 8323707 SOS 1337959 HAS SOPS 1337959 HAS SOUS 1214629 HAS SOUPS 1214629 WITH SCORE 1215966.959
AT ITER 1760 NEW BEST:: SOT 8323707 SOS 1337959 HAS SOPS 1337959 HAS SOUS 1214596 HAS SOUPS 1214596 WITH SCORE 1215933.959
AT ITER 1763 NEW BEST:: SOT 8323667 SOS 1337879 HAS SOPS 1337879 HAS SOUS 1214443 HAS SOUPS 1214443 WITH SCORE 1215780.879
AT ITER 1775 NEW BEST:: SOT 8323734 SOS 1338013 HAS SOPS 1338013 HAS SOUS 1214302 HAS SOUPS 1214302 WITH SCORE 1215640.013
AT ITER 1780 NEW BEST:: SOT 8323734 SOS 1337966 HAS SOPS 1337966 HAS SOUS 1214302 HAS SOUPS 1214302 WITH SCORE 1215639.966
AT ITER 1850 NEW BEST:: SOT 8323734 SOS 1337966 HAS SOPS 1337966 HAS SOUS 1214181 HAS SOUPS 1214181 WITH SCORE 1215518.966
AT ITER 1867 NEW BEST:: SOT 8323586 SOS 1337818 HAS SOPS 1337818 HAS SOUS 1214033 HAS SOUPS 1214033 WITH SCORE 1215370.818
AT ITER 1884 NEW BEST:: SOT 8323526 SOS 1337698 HAS SOPS 1337698 HAS SOUS 1213973 HAS SOUPS 1213973 WITH SCORE 1215310.698
AT ITER 1895 NEW BEST:: SOT 8323526 SOS 1337438 HAS SOPS 1337438 HAS SOUS 1213701 HAS SOUPS 1213701 WITH SCORE 1215038.438
AT ITER 1909 NEW BEST:: SOT 8323202 SOS 1336790 HAS SOPS 1336790 HAS SOUS 1213053 HAS SOUPS 1213053 WITH SCORE 1214389.79
AT ITER 1928 NEW BEST:: SOT 8323132 SOS 1336650 HAS SOPS 1336650 HAS SOUS 1212983 HAS SOUPS 1212983 WITH SCORE 1214319.65
AT ITER 1934 NEW BEST:: SOT 8322923 SOS 1335187 HAS SOPS 1335187 HAS SOUS 1212565 HAS SOUPS 1212565 WITH SCORE 1213900.187
AT ITER 1964 NEW BEST:: SOT 8322830 SOS 1335001 HAS SOPS 1335001 HAS SOUS 1212379 HAS SOUPS 1212379 WITH SCORE 1213714.001
AT ITER 1971 NEW BEST:: SOT 8322878 SOS 1334862 HAS SOPS 1334862 HAS SOUS 1212068 HAS SOUPS 1212068 WITH SCORE 1213402.862
AT ITER 1989 NEW BEST:: SOT 8322878 SOS 1334781 HAS SOPS 1334781 HAS SOUS 1212068 HAS SOUPS 1212068 WITH SCORE 1213402.781
AT ITER 1997 NEW BEST:: SOT 8322878 SOS 1334647 HAS SOPS 1334647 HAS SOUS 1212068 HAS SOUPS 1212068 WITH SCORE 1213402.647
AT ITER 2022 NEW BEST:: SOT 8322878 SOS 1334557 HAS SOPS 1334557 HAS SOUS 1212068 HAS SOUPS 1212068 WITH SCORE 1213402.557
AT ITER 2033 NEW BEST:: SOT 8322572 SOS 1334200 HAS SOPS 1334200 HAS SOUS 1211711 HAS SOUPS 1211711 WITH SCORE 1213045.2
AT ITER 2045 NEW BEST:: SOT 8322080 SOS 1333872 HAS SOPS 1333872 HAS SOUS 1211219 HAS SOUPS 1211219 WITH SCORE 1212552.872
AT ITER 2082 NEW BEST:: SOT 8322045 SOS 1333908 HAS SOPS 1333908 HAS SOUS 1211149 HAS SOUPS 1211149 WITH SCORE 1212482.908
AT ITER 2084 NEW BEST:: SOT 8321522 SOS 1334386 HAS SOPS 1334386 HAS SOUS 1210999 HAS SOUPS 1210999 WITH SCORE 1212333.386
AT ITER 2085 NEW BEST:: SOT 8321522 SOS 1334386 HAS SOPS 1334386 HAS SOUS 1210998 HAS SOUPS 1210998 WITH SCORE 1212332.386
AT ITER 2086 NEW BEST:: SOT 8321262 SOS 1333866 HAS SOPS 1333866 HAS SOUS 1210478 HAS SOUPS 1210478 WITH SCORE 1211811.866
AT ITER 2152 NEW BEST:: SOT 8321262 SOS 1333866 HAS SOPS 1333866 HAS SOUS 1210466 HAS SOUPS 1210466 WITH SCORE 1211799.866
AT ITER 2208 NEW BEST:: SOT 8320908 SOS 1333512 HAS SOPS 1333512 HAS SOUS 1210112 HAS SOUPS 1210112 WITH SCORE 1211445.512
AT ITER 2218 NEW BEST:: SOT 8320858 SOS 1333362 HAS SOPS 1333362 HAS SOUS 1210062 HAS SOUPS 1210062 WITH SCORE 1211395.362
AT ITER 2220 NEW BEST:: SOT 8320580 SOS 1332806 HAS SOPS 1332806 HAS SOUS 1209506 HAS SOUPS 1209506 WITH SCORE 1210838.806
AT ITER 2229 NEW BEST:: SOT 8320532 SOS 1332710 HAS SOPS 1332710 HAS SOUS 1209410 HAS SOUPS 1209410 WITH SCORE 1210742.71
AT ITER 2275 NEW BEST:: SOT 8320336 SOS 1332514 HAS SOPS 1332514 HAS SOUS 1209214 HAS SOUPS 1209214 WITH SCORE 1210546.514
AT ITER 2280 NEW BEST:: SOT 8320179 SOS 1332200 HAS SOPS 1332200 HAS SOUS 1209057 HAS SOUPS 1209057 WITH SCORE 1210389.2
AT ITER 2353 NEW BEST:: SOT 8320036 SOS 1331914 HAS SOPS 1331914 HAS SOUS 1208914 HAS SOUPS 1208914 WITH SCORE 1210245.914
AT ITER 2363 NEW BEST:: SOT 8320036 SOS 1331907 HAS SOPS 1331907 HAS SOUS 1208912 HAS SOUPS 1208912 WITH SCORE 1210243.907
AT ITER 2367 NEW BEST:: SOT 8319684 SOS 1331575 HAS SOPS 1331575 HAS SOUS 1208580 HAS SOUPS 1208580 WITH SCORE 1209911.575
AT ITER 2371 NEW BEST:: SOT 8319660 SOS 1331527 HAS SOPS 1331527 HAS SOUS 1208556 HAS SOUPS 1208556 WITH SCORE 1209887.527
AT ITER 2377 NEW BEST:: SOT 8319660 SOS 1331527 HAS SOPS 1331527 HAS SOUS 1208354 HAS SOUPS 1208354 WITH SCORE 1209685.527
AT ITER 2390 NEW BEST:: SOT 8319488 SOS 1331687 HAS SOPS 1331687 HAS SOUS 1208182 HAS SOUPS 1208182 WITH SCORE 1209513.687
AT ITER 2413 NEW BEST:: SOT 8313584 SOS 1377293 HAS SOPS 1377293 HAS SOUS 1204006 HAS SOUPS 1204006 WITH SCORE 1205383.293
AT ITER 2426 NEW BEST:: SOT 8313496 SOS 1376942 HAS SOPS 1376942 HAS SOUS 1203918 HAS SOUPS 1203918 WITH SCORE 1205294.942
AT ITER 2433 NEW BEST:: SOT 8313402 SOS 1376848 HAS SOPS 1376848 HAS SOUS 1203824 HAS SOUPS 1203824 WITH SCORE 1205200.848
AT ITER 2450 NEW BEST:: SOT 8313437 SOS 1376392 HAS SOPS 1376392 HAS SOUS 1203720 HAS SOUPS 1203720 WITH SCORE 1205096.392
AT ITER 2462 NEW BEST:: SOT 8313116 SOS 1375750 HAS SOPS 1375750 HAS SOUS 1203078 HAS SOUPS 1203078 WITH SCORE 1204453.75
AT ITER 2469 NEW BEST:: SOT 8313116 SOS 1375750 HAS SOPS 1375750 HAS SOUS 1203070 HAS SOUPS 1203070 WITH SCORE 1204445.75
AT ITER 2478 NEW BEST:: SOT 8313116 SOS 1375581 HAS SOPS 1375581 HAS SOUS 1203070 HAS SOUPS 1203070 WITH SCORE 1204445.581
AT ITER 2494 NEW BEST:: SOT 8312995 SOS 1375339 HAS SOPS 1375339 HAS SOUS 1202828 HAS SOUPS 1202828 WITH SCORE 1204203.339
AT ITER 2520 NEW BEST:: SOT 8312909 SOS 1375372 HAS SOPS 1375372 HAS SOUS 1202767 HAS SOUPS 1202767 WITH SCORE 1204142.372
AT ITER 2542 NEW BEST:: SOT 8312750 SOS 1375054 HAS SOPS 1375054 HAS SOUS 1202449 HAS SOUPS 1202449 WITH SCORE 1203824.054
AT ITER 2554 NEW BEST:: SOT 8312750 SOS 1375054 HAS SOPS 1375054 HAS SOUS 1202218 HAS SOUPS 1202218 WITH SCORE 1203593.054
AT ITER 2563 NEW BEST:: SOT 8312158 SOS 1374610 HAS SOPS 1374610 HAS SOUS 1201774 HAS SOUPS 1201774 WITH SCORE 1203148.61
AT ITER 2587 NEW BEST:: SOT 8311327 SOS 1374478 HAS SOPS 1374478 HAS SOUS 1201072 HAS SOUPS 1201072 WITH SCORE 1202446.478
AT ITER 2593 NEW BEST:: SOT 8311496 SOS 1374226 HAS SOPS 1374226 HAS SOUS 1201028 HAS SOUPS 1201028 WITH SCORE 1202402.226
AT ITER 2626 NEW BEST:: SOT 8311496 SOS 1374114 HAS SOPS 1374114 HAS SOUS 1201028 HAS SOUPS 1201028 WITH SCORE 1202402.114
AT ITER 2650 NEW BEST:: SOT 8311439 SOS 1373686 HAS SOPS 1373686 HAS SOUS 1200814 HAS SOUPS 1200814 WITH SCORE 1202187.686
AT ITER 2657 NEW BEST:: SOT 8311437 SOS 1372334 HAS SOPS 1372334 HAS SOUS 1200436 HAS SOUPS 1200436 WITH SCORE 1201808.334
AT ITER 2674 NEW BEST:: SOT 8311437 SOS 1372242 HAS SOPS 1372242 HAS SOUS 1200436 HAS SOUPS 1200436 WITH SCORE 1201808.242
AT ITER 2687 NEW BEST:: SOT 8311204 SOS 1371776 HAS SOPS 1371776 HAS SOUS 1199970 HAS SOUPS 1199970 WITH SCORE 1201341.776
AT ITER 2767 NEW BEST:: SOT 8311094 SOS 1371714 HAS SOPS 1371714 HAS SOUS 1199859 HAS SOUPS 1199859 WITH SCORE 1201230.714
AT ITER 2770 NEW BEST:: SOT 8311094 SOS 1371714 HAS SOPS 1371714 HAS SOUS 1199855 HAS SOUPS 1199855 WITH SCORE 1201226.714
AT ITER 2796 NEW BEST:: SOT 8310751 SOS 1371028 HAS SOPS 1371028 HAS SOUS 1199367 HAS SOUPS 1199367 WITH SCORE 1200738.028
AT ITER 2806 NEW BEST:: SOT 8310412 SOS 1369689 HAS SOPS 1369689 HAS SOUS 1198653 HAS SOUPS 1198653 WITH SCORE 1200022.689
AT ITER 2823 NEW BEST:: SOT 8310378 SOS 1369621 HAS SOPS 1369621 HAS SOUS 1198619 HAS SOUPS 1198619 WITH SCORE 1199988.621
AT ITER 2828 NEW BEST:: SOT 8309625 SOS 1408875 HAS SOPS 1408875 HAS SOUS 1198039 HAS SOUPS 1198039 WITH SCORE 1199447.875
AT ITER 2846 NEW BEST:: SOT 8309502 SOS 1408797 HAS SOPS 1408797 HAS SOUS 1197932 HAS SOUPS 1197932 WITH SCORE 1199340.797
AT ITER 2847 NEW BEST:: SOT 8309499 SOS 1408794 HAS SOPS 1408794 HAS SOUS 1197929 HAS SOUPS 1197929 WITH SCORE 1199337.794
AT ITER 2854 NEW BEST:: SOT 8309499 SOS 1408284 HAS SOPS 1408284 HAS SOUS 1197674 HAS SOUPS 1197674 WITH SCORE 1199082.284
AT ITER 2874 NEW BEST:: SOT 8309551 SOS 1408074 HAS SOPS 1408074 HAS SOUS 1197496 HAS SOUPS 1197496 WITH SCORE 1198904.074
AT ITER 2901 NEW BEST:: SOT 8309209 SOS 1407732 HAS SOPS 1407732 HAS SOUS 1197496 HAS SOUPS 1197496 WITH SCORE 1198903.732
AT ITER 2914 NEW BEST:: SOT 8309044 SOS 1407567 HAS SOPS 1407567 HAS SOUS 1197331 HAS SOUPS 1197331 WITH SCORE 1198738.567
AT ITER 2926 NEW BEST:: SOT 8308928 SOS 1407335 HAS SOPS 1407335 HAS SOUS 1197099 HAS SOUPS 1197099 WITH SCORE 1198506.335
AT ITER 2940 NEW BEST:: SOT 8308892 SOS 1407263 HAS SOPS 1407263 HAS SOUS 1196973 HAS SOUPS 1196973 WITH SCORE 1198380.263
AT ITER 2941 NEW BEST:: SOT 8308855 SOS 1407226 HAS SOPS 1407226 HAS SOUS 1196936 HAS SOUPS 1196936 WITH SCORE 1198343.226
AT ITER 2975 NEW BEST:: SOT 8308171 SOS 1406542 HAS SOPS 1406542 HAS SOUS 1196252 HAS SOUPS 1196252 WITH SCORE 1197658.542
AT ITER 2996 NEW BEST:: SOT 8308162 SOS 1406524 HAS SOPS 1406524 HAS SOUS 1196234 HAS SOUPS 1196234 WITH SCORE 1197640.524
AT ITER 3014 NEW BEST:: SOT 8307616 SOS 1416672 HAS SOPS 1416672 HAS SOUS 1196047 HAS SOUPS 1196047 WITH SCORE 1197463.672
AT ITER 3028 NEW BEST:: SOT 8307574 SOS 1416588 HAS SOPS 1416588 HAS SOUS 1195963 HAS SOUPS 1195963 WITH SCORE 1197379.588
AT ITER 3050 NEW BEST:: SOT 8307484 SOS 1416500 HAS SOPS 1416500 HAS SOUS 1195875 HAS SOUPS 1195875 WITH SCORE 1197291.5
AT ITER 3053 NEW BEST:: SOT 8307004 SOS 1415902 HAS SOPS 1415902 HAS SOUS 1195218 HAS SOUPS 1195218 WITH SCORE 1196633.902
AT ITER 3062 NEW BEST:: SOT 8306884 SOS 1415662 HAS SOPS 1415662 HAS SOUS 1194978 HAS SOUPS 1194978 WITH SCORE 1196393.662
AT ITER 3101 NEW BEST:: SOT 8306818 SOS 1415530 HAS SOPS 1415530 HAS SOUS 1194978 HAS SOUPS 1194978 WITH SCORE 1196393.53
AT ITER 3110 NEW BEST:: SOT 8306818 SOS 1415530 HAS SOPS 1415530 HAS SOUS 1194948 HAS SOUPS 1194948 WITH SCORE 1196363.53
AT ITER 3171 NEW BEST:: SOT 8306685 SOS 1415264 HAS SOPS 1415264 HAS SOUS 1194682 HAS SOUPS 1194682 WITH SCORE 1196097.264
AT ITER 3183 NEW BEST:: SOT 8306632 SOS 1415434 HAS SOPS 1415434 HAS SOUS 1194628 HAS SOUPS 1194628 WITH SCORE 1196043.434
AT ITER 3188 NEW BEST:: SOT 8306600 SOS 1415370 HAS SOPS 1415370 HAS SOUS 1194628 HAS SOUPS 1194628 WITH SCORE 1196043.37
AT ITER 3193 NEW BEST:: SOT 8306591 SOS 1415361 HAS SOPS 1415361 HAS SOUS 1194619 HAS SOUPS 1194619 WITH SCORE 1196034.361
AT ITER 3205 NEW BEST:: SOT 8306656 SOS 1415241 HAS SOPS 1415241 HAS SOUS 1194499 HAS SOUPS 1194499 WITH SCORE 1195914.241
AT ITER 3224 NEW BEST:: SOT 8306488 SOS 1410649 HAS SOPS 1410649 HAS SOUS 1194331 HAS SOUPS 1194331 WITH SCORE 1195741.649
AT ITER 3265 NEW BEST:: SOT 8305739 SOS 1409622 HAS SOPS 1409622 HAS SOUS 1193622 HAS SOUPS 1193622 WITH SCORE 1195031.622
AT ITER 3281 NEW BEST:: SOT 8305501 SOS 1409384 HAS SOPS 1409384 HAS SOUS 1193621 HAS SOUPS 1193621 WITH SCORE 1195030.384
AT ITER 3304 NEW BEST:: SOT 8305501 SOS 1409384 HAS SOPS 1409384 HAS SOUS 1193426 HAS SOUPS 1193426 WITH SCORE 1194835.384
AT ITER 3344 NEW BEST:: SOT 8305366 SOS 1409249 HAS SOPS 1409249 HAS SOUS 1193426 HAS SOUPS 1193426 WITH SCORE 1194835.249
AT ITER 3346 NEW BEST:: SOT 8305331 SOS 1409217 HAS SOPS 1409217 HAS SOUS 1193394 HAS SOUPS 1193394 WITH SCORE 1194803.217
AT ITER 3354 NEW BEST:: SOT 8305288 SOS 1409168 HAS SOPS 1409168 HAS SOUS 1193367 HAS SOUPS 1193367 WITH SCORE 1194776.168
AT ITER 3358 NEW BEST:: SOT 8305287 SOS 1409166 HAS SOPS 1409166 HAS SOUS 1193365 HAS SOUPS 1193365 WITH SCORE 1194774.166
AT ITER 3394 NEW BEST:: SOT 8305181 SOS 1409152 HAS SOPS 1409152 HAS SOUS 1193281 HAS SOUPS 1193281 WITH SCORE 1194690.152
AT ITER 3415 NEW BEST:: SOT 8305181 SOS 1408997 HAS SOPS 1408997 HAS SOUS 1193126 HAS SOUPS 1193126 WITH SCORE 1194534.997
AT ITER 3469 NEW BEST:: SOT 8305181 SOS 1408939 HAS SOPS 1408939 HAS SOUS 1193068 HAS SOUPS 1193068 WITH SCORE 1194476.939
AT ITER 3479 NEW BEST:: SOT 8305035 SOS 1408793 HAS SOPS 1408793 HAS SOUS 1192922 HAS SOUPS 1192922 WITH SCORE 1194330.793
AT ITER 3497 NEW BEST:: SOT 8305032 SOS 1408787 HAS SOPS 1408787 HAS SOUS 1192919 HAS SOUPS 1192919 WITH SCORE 1194327.787
AT ITER 3504 NEW BEST:: SOT 8305158 SOS 1408605 HAS SOPS 1408605 HAS SOUS 1192858 HAS SOUPS 1192858 WITH SCORE 1194266.605
AT ITER 3519 NEW BEST:: SOT 8305158 SOS 1408549 HAS SOPS 1408549 HAS SOUS 1192857 HAS SOUPS 1192857 WITH SCORE 1194265.549
AT ITER 3528 NEW BEST:: SOT 8305098 SOS 1408429 HAS SOPS 1408429 HAS SOUS 1192737 HAS SOUPS 1192737 WITH SCORE 1194145.429
AT ITER 3535 NEW BEST:: SOT 8304871 SOS 1407975 HAS SOPS 1407975 HAS SOUS 1192449 HAS SOUPS 1192449 WITH SCORE 1193856.975
AT ITER 3540 NEW BEST:: SOT 8304778 SOS 1408061 HAS SOPS 1408061 HAS SOUS 1192367 HAS SOUPS 1192367 WITH SCORE 1193775.061
AT ITER 3546 NEW BEST:: SOT 8297932 SOS 1401215 HAS SOPS 1401215 HAS SOUS 1185946 HAS SOUPS 1185946 WITH SCORE 1187347.215
AT ITER 3579 NEW BEST:: SOT 8297931 SOS 1401213 HAS SOPS 1401213 HAS SOUS 1185944 HAS SOUPS 1185944 WITH SCORE 1187345.213
AT ITER 3596 NEW BEST:: SOT 8297931 SOS 1401113 HAS SOPS 1401113 HAS SOUS 1185944 HAS SOUPS 1185944 WITH SCORE 1187345.113
AT ITER 3601 NEW BEST:: SOT 8297930 SOS 1401111 HAS SOPS 1401111 HAS SOUS 1185942 HAS SOUPS 1185942 WITH SCORE 1187343.111
AT ITER 3604 NEW BEST:: SOT 8297869 SOS 1400989 HAS SOPS 1400989 HAS SOUS 1185820 HAS SOUPS 1185820 WITH SCORE 1187220.989
AT ITER 3648 NEW BEST:: SOT 8297640 SOS 1400775 HAS SOPS 1400775 HAS SOUS 1185591 HAS SOUPS 1185591 WITH SCORE 1186991.775
AT ITER 3660 NEW BEST:: SOT 8297373 SOS 1400241 HAS SOPS 1400241 HAS SOUS 1184934 HAS SOUPS 1184934 WITH SCORE 1186334.241
AT ITER 3661 NEW BEST:: SOT 8297342 SOS 1400179 HAS SOPS 1400179 HAS SOUS 1184872 HAS SOUPS 1184872 WITH SCORE 1186272.179
AT ITER 3679 NEW BEST:: SOT 8297342 SOS 1400050 HAS SOPS 1400050 HAS SOUS 1184872 HAS SOUPS 1184872 WITH SCORE 1186272.05
AT ITER 3682 NEW BEST:: SOT 8297312 SOS 1400005 HAS SOPS 1400005 HAS SOUS 1184842 HAS SOUPS 1184842 WITH SCORE 1186242.005
AT ITER 3692 NEW BEST:: SOT 8297036 SOS 1399995 HAS SOPS 1399995 HAS SOUS 1184680 HAS SOUPS 1184680 WITH SCORE 1186079.995
AT ITER 3695 NEW BEST:: SOT 8296861 SOS 1400215 HAS SOPS 1400215 HAS SOUS 1184615 HAS SOUPS 1184615 WITH SCORE 1186015.215
AT ITER 3709 NEW BEST:: SOT 8296861 SOS 1400098 HAS SOPS 1400098 HAS SOUS 1184615 HAS SOUPS 1184615 WITH SCORE 1186015.098
AT ITER 3739 NEW BEST:: SOT 8296833 SOS 1400014 HAS SOPS 1400014 HAS SOUS 1184559 HAS SOUPS 1184559 WITH SCORE 1185959.014
AT ITER 3754 NEW BEST:: SOT 8296626 SOS 1399600 HAS SOPS 1399600 HAS SOUS 1184145 HAS SOUPS 1184145 WITH SCORE 1185544.6
AT ITER 3759 NEW BEST:: SOT 8296626 SOS 1399369 HAS SOPS 1399369 HAS SOUS 1184145 HAS SOUPS 1184145 WITH SCORE 1185544.369
AT ITER 3768 NEW BEST:: SOT 8296183 SOS 1400142 HAS SOPS 1400142 HAS SOUS 1183903 HAS SOUPS 1183903 WITH SCORE 1185303.142
AT ITER 3770 NEW BEST:: SOT 8295867 SOS 1399884 HAS SOPS 1399884 HAS SOUS 1183344 HAS SOUPS 1183344 WITH SCORE 1184743.884
AT ITER 3779 NEW BEST:: SOT 8295808 SOS 1399766 HAS SOPS 1399766 HAS SOUS 1183285 HAS SOUPS 1183285 WITH SCORE 1184684.766
AT ITER 3800 NEW BEST:: SOT 8295636 SOS 1399594 HAS SOPS 1399594 HAS SOUS 1183113 HAS SOUPS 1183113 WITH SCORE 1184512.594
AT ITER 3878 NEW BEST:: SOT 8295804 SOS 1399301 HAS SOPS 1399301 HAS SOUS 1182820 HAS SOUPS 1182820 WITH SCORE 1184219.301
AT ITER 3883 NEW BEST:: SOT 8295686 SOS 1399401 HAS SOPS 1399401 HAS SOUS 1182740 HAS SOUPS 1182740 WITH SCORE 1184139.401
AT ITER 3895 NEW BEST:: SOT 8295749 SOS 1399387 HAS SOPS 1399387 HAS SOUS 1182733 HAS SOUPS 1182733 WITH SCORE 1184132.387
AT ITER 3900 NEW BEST:: SOT 8295632 SOS 1398968 HAS SOPS 1398968 HAS SOUS 1182314 HAS SOUPS 1182314 WITH SCORE 1183712.968
AT ITER 3911 NEW BEST:: SOT 8283556 SOS 1415754 HAS SOPS 1415754 HAS SOUS 1171065 HAS SOUPS 1171065 WITH SCORE 1172480.754
AT ITER 3917 NEW BEST:: SOT 8283525 SOS 1415692 HAS SOPS 1415692 HAS SOUS 1171003 HAS SOUPS 1171003 WITH SCORE 1172418.692
AT ITER 3940 NEW BEST:: SOT 8283525 SOS 1415283 HAS SOPS 1415283 HAS SOUS 1170807 HAS SOUPS 1170807 WITH SCORE 1172222.283
AT ITER 3984 NEW BEST:: SOT 8283613 SOS 1415138 HAS SOPS 1415138 HAS SOUS 1170662 HAS SOUPS 1170662 WITH SCORE 1172077.138
AT ITER 3986 NEW BEST:: SOT 8283577 SOS 1415066 HAS SOPS 1415066 HAS SOUS 1170392 HAS SOUPS 1170392 WITH SCORE 1171807.066
AT ITER 4019 NEW BEST:: SOT 8283512 SOS 1414936 HAS SOPS 1414936 HAS SOUS 1170262 HAS SOUPS 1170262 WITH SCORE 1171676.936
AT ITER 4035 NEW BEST:: SOT 8283512 SOS 1414936 HAS SOPS 1414936 HAS SOUS 1170080 HAS SOUPS 1170080 WITH SCORE 1171494.936
AT ITER 4037 NEW BEST:: SOT 8283472 SOS 1414856 HAS SOPS 1414856 HAS SOUS 1170040 HAS SOUPS 1170040 WITH SCORE 1171454.856
AT ITER 4050 NEW BEST:: SOT 8283356 SOS 1414798 HAS SOPS 1414798 HAS SOUS 1169982 HAS SOUPS 1169982 WITH SCORE 1171396.798
AT ITER 4058 NEW BEST:: SOT 8283356 SOS 1414744 HAS SOPS 1414744 HAS SOUS 1169928 HAS SOUPS 1169928 WITH SCORE 1171342.744
AT ITER 4065 NEW BEST:: SOT 8283356 SOS 1414565 HAS SOPS 1414565 HAS SOUS 1169928 HAS SOUPS 1169928 WITH SCORE 1171342.565
AT ITER 4094 NEW BEST:: SOT 8283079 SOS 1414395 HAS SOPS 1414395 HAS SOUS 1169651 HAS SOUPS 1169651 WITH SCORE 1171065.395
AT ITER 4100 NEW BEST:: SOT 8282912 SOS 1413894 HAS SOPS 1413894 HAS SOUS 1169317 HAS SOUPS 1169317 WITH SCORE 1170730.894
AT ITER 4111 NEW BEST:: SOT 8281462 SOS 1415824 HAS SOPS 1415824 HAS SOUS 1168331 HAS SOUPS 1168331 WITH SCORE 1169746.824
AT ITER 4202 NEW BEST:: SOT 8281462 SOS 1415258 HAS SOPS 1415258 HAS SOUS 1168048 HAS SOUPS 1168048 WITH SCORE 1169463.258
AT ITER 4224 NEW BEST:: SOT 8281328 SOS 1414990 HAS SOPS 1414990 HAS SOUS 1167914 HAS SOUPS 1167914 WITH SCORE 1169328.99
AT ITER 4265 NEW BEST:: SOT 8281080 SOS 1414633 HAS SOPS 1414633 HAS SOUS 1167666 HAS SOUPS 1167666 WITH SCORE 1169080.633
AT ITER 4268 NEW BEST:: SOT 8280877 SOS 1414227 HAS SOPS 1414227 HAS SOUS 1167260 HAS SOUPS 1167260 WITH SCORE 1168674.227
AT ITER 4278 NEW BEST:: SOT 8280691 SOS 1414348 HAS SOPS 1414348 HAS SOUS 1167227 HAS SOUPS 1167227 WITH SCORE 1168641.348
AT ITER 4310 NEW BEST:: SOT 8280691 SOS 1414348 HAS SOPS 1414348 HAS SOUS 1167102 HAS SOUPS 1167102 WITH SCORE 1168516.348
AT ITER 4345 NEW BEST:: SOT 8280465 SOS 1414342 HAS SOPS 1414342 HAS SOUS 1167090 HAS SOUPS 1167090 WITH SCORE 1168504.342
AT ITER 4372 NEW BEST:: SOT 8280479 SOS 1413915 HAS SOPS 1413915 HAS SOUS 1166663 HAS SOUPS 1166663 WITH SCORE 1168076.915
AT ITER 4395 NEW BEST:: SOT 8280471 SOS 1413700 HAS SOPS 1413700 HAS SOUS 1166456 HAS SOUPS 1166456 WITH SCORE 1167869.7
AT ITER 4398 NEW BEST:: SOT 8280471 SOS 1413654 HAS SOPS 1413654 HAS SOUS 1166415 HAS SOUPS 1166415 WITH SCORE 1167828.654
AT ITER 4405 NEW BEST:: SOT 8280470 SOS 1413338 HAS SOPS 1413338 HAS SOUS 1166413 HAS SOUPS 1166413 WITH SCORE 1167826.338
AT ITER 4440 NEW BEST:: SOT 8280469 SOS 1413336 HAS SOPS 1413336 HAS SOUS 1166411 HAS SOUPS 1166411 WITH SCORE 1167824.336
AT ITER 4447 NEW BEST:: SOT 8280355 SOS 1413108 HAS SOPS 1413108 HAS SOUS 1166183 HAS SOUPS 1166183 WITH SCORE 1167596.108
AT ITER 4464 NEW BEST:: SOT 8280262 SOS 1412922 HAS SOPS 1412922 HAS SOUS 1166090 HAS SOUPS 1166090 WITH SCORE 1167502.922
AT ITER 4481 NEW BEST:: SOT 8280228 SOS 1412888 HAS SOPS 1412888 HAS SOUS 1166090 HAS SOUPS 1166090 WITH SCORE 1167502.888
AT ITER 4483 NEW BEST:: SOT 8280113 SOS 1415698 HAS SOPS 1415698 HAS SOUS 1165975 HAS SOUPS 1165975 WITH SCORE 1167390.698
AT ITER 4514 NEW BEST:: SOT 8280076 SOS 1415624 HAS SOPS 1415624 HAS SOUS 1165901 HAS SOUPS 1165901 WITH SCORE 1167316.624
AT ITER 4535 NEW BEST:: SOT 8279916 SOS 1415304 HAS SOPS 1415304 HAS SOUS 1165581 HAS SOUPS 1165581 WITH SCORE 1166996.304
AT ITER 4588 NEW BEST:: SOT 8279781 SOS 1414899 HAS SOPS 1414899 HAS SOUS 1165311 HAS SOUPS 1165311 WITH SCORE 1166725.899
AT ITER 4603 NEW BEST:: SOT 8279239 SOS 1414899 HAS SOPS 1414899 HAS SOUS 1165040 HAS SOUPS 1165040 WITH SCORE 1166454.899
AT ITER 4655 NEW BEST:: SOT 8279239 SOS 1414625 HAS SOPS 1414625 HAS SOUS 1165040 HAS SOUPS 1165040 WITH SCORE 1166454.625
AT ITER 4664 NEW BEST:: SOT 8279238 SOS 1414623 HAS SOPS 1414623 HAS SOUS 1165038 HAS SOUPS 1165038 WITH SCORE 1166452.623
AT ITER 4679 NEW BEST:: SOT 8278939 SOS 1414653 HAS SOPS 1414653 HAS SOUS 1164852 HAS SOUPS 1164852 WITH SCORE 1166266.653
AT ITER 4684 NEW BEST:: SOT 8278832 SOS 1414439 HAS SOPS 1414439 HAS SOUS 1164745 HAS SOUPS 1164745 WITH SCORE 1166159.439
AT ITER 4744 NEW BEST:: SOT 8278681 SOS 1414137 HAS SOPS 1414137 HAS SOUS 1164443 HAS SOUPS 1164443 WITH SCORE 1165857.137
AT ITER 4754 NEW BEST:: SOT 8278584 SOS 1413943 HAS SOPS 1413943 HAS SOUS 1164346 HAS SOUPS 1164346 WITH SCORE 1165759.943
AT ITER 4782 NEW BEST:: SOT 8278476 SOS 1413835 HAS SOPS 1413835 HAS SOUS 1164346 HAS SOUPS 1164346 WITH SCORE 1165759.835
AT ITER 4797 NEW BEST:: SOT 8278475 SOS 1413631 HAS SOPS 1413631 HAS SOUS 1164141 HAS SOUPS 1164141 WITH SCORE 1165554.631
AT ITER 4822 NEW BEST:: SOT 8278414 SOS 1413496 HAS SOPS 1413496 HAS SOUS 1164093 HAS SOUPS 1164093 WITH SCORE 1165506.496
AT ITER 4829 NEW BEST:: SOT 8278379 SOS 1413426 HAS SOPS 1413426 HAS SOUS 1164023 HAS SOUPS 1164023 WITH SCORE 1165436.426
AT ITER 4865 NEW BEST:: SOT 8278295 SOS 1413342 HAS SOPS 1413342 HAS SOUS 1163939 HAS SOUPS 1163939 WITH SCORE 1165352.342
AT ITER 4875 NEW BEST:: SOT 8278424 SOS 1413600 HAS SOPS 1413600 HAS SOUS 1163756 HAS SOUPS 1163756 WITH SCORE 1165169.6
AT ITER 4881 NEW BEST:: SOT 8278423 SOS 1413598 HAS SOPS 1413598 HAS SOUS 1163754 HAS SOUPS 1163754 WITH SCORE 1165167.598
AT ITER 4889 NEW BEST:: SOT 8278532 SOS 1413816 HAS SOPS 1413816 HAS SOUS 1163578 HAS SOUPS 1163578 WITH SCORE 1164991.816
AT ITER 4893 NEW BEST:: SOT 8278258 SOS 1413268 HAS SOPS 1413268 HAS SOUS 1163030 HAS SOUPS 1163030 WITH SCORE 1164443.268
AT ITER 5040 NEW BEST:: SOT 8278306 SOS 1413364 HAS SOPS 1413364 HAS SOUS 1162849 HAS SOUPS 1162849 WITH SCORE 1164262.364
AT ITER 5043 NEW BEST:: SOT 8277906 SOS 1412564 HAS SOPS 1412564 HAS SOUS 1162049 HAS SOUPS 1162049 WITH SCORE 1163461.564
AT ITER 5053 NEW BEST:: SOT 8277489 SOS 1411730 HAS SOPS 1411730 HAS SOUS 1161876 HAS SOUPS 1161876 WITH SCORE 1163287.73
AT ITER 5056 NEW BEST:: SOT 8277188 SOS 1412080 HAS SOPS 1412080 HAS SOUS 1161813 HAS SOUPS 1161813 WITH SCORE 1163225.08
AT ITER 5061 NEW BEST:: SOT 8277158 SOS 1412020 HAS SOPS 1412020 HAS SOUS 1161783 HAS SOUPS 1161783 WITH SCORE 1163195.02
AT ITER 5072 NEW BEST:: SOT 8277147 SOS 1411998 HAS SOPS 1411998 HAS SOUS 1161662 HAS SOUPS 1161662 WITH SCORE 1163073.998
AT ITER 5081 NEW BEST:: SOT 8276715 SOS 1412919 HAS SOPS 1412919 HAS SOUS 1161485 HAS SOUPS 1161485 WITH SCORE 1162897.919
AT ITER 5084 NEW BEST:: SOT 8276715 SOS 1412889 HAS SOPS 1412889 HAS SOUS 1161455 HAS SOUPS 1161455 WITH SCORE 1162867.889
AT ITER 5090 NEW BEST:: SOT 8276642 SOS 1412943 HAS SOPS 1412943 HAS SOUS 1161424 HAS SOUPS 1161424 WITH SCORE 1162836.943
AT ITER 5092 NEW BEST:: SOT 8276351 SOS 1412955 HAS SOPS 1412955 HAS SOUS 1161133 HAS SOUPS 1161133 WITH SCORE 1162545.955
AT ITER 5097 NEW BEST:: SOT 8275947 SOS 1412147 HAS SOPS 1412147 HAS SOUS 1160325 HAS SOUPS 1160325 WITH SCORE 1161737.147
AT ITER 5124 NEW BEST:: SOT 8275810 SOS 1412357 HAS SOPS 1412357 HAS SOUS 1159964 HAS SOUPS 1159964 WITH SCORE 1161376.357
AT ITER 5142 NEW BEST:: SOT 8275810 SOS 1412286 HAS SOPS 1412286 HAS SOUS 1159964 HAS SOUPS 1159964 WITH SCORE 1161376.286
AT ITER 5211 NEW BEST:: SOT 8275601 SOS 1411868 HAS SOPS 1411868 HAS SOUS 1159546 HAS SOUPS 1159546 WITH SCORE 1160957.868
AT ITER 5212 NEW BEST:: SOT 8275718 SOS 1411383 HAS SOPS 1411383 HAS SOUS 1159286 HAS SOUPS 1159286 WITH SCORE 1160697.383
AT ITER 5235 NEW BEST:: SOT 8275554 SOS 1411055 HAS SOPS 1411055 HAS SOUS 1158958 HAS SOUPS 1158958 WITH SCORE 1160369.055
AT ITER 5237 NEW BEST:: SOT 8275527 SOS 1411046 HAS SOPS 1411046 HAS SOUS 1158940 HAS SOUPS 1158940 WITH SCORE 1160351.046
AT ITER 5260 NEW BEST:: SOT 8275025 SOS 1410042 HAS SOPS 1410042 HAS SOUS 1158556 HAS SOUPS 1158556 WITH SCORE 1159966.042
AT ITER 5268 NEW BEST:: SOT 8275025 SOS 1410042 HAS SOPS 1410042 HAS SOUS 1158554 HAS SOUPS 1158554 WITH SCORE 1159964.042
AT ITER 5288 NEW BEST:: SOT 8274613 SOS 1409636 HAS SOPS 1409636 HAS SOUS 1157930 HAS SOUPS 1157930 WITH SCORE 1159339.636
AT ITER 5303 NEW BEST:: SOT 8274613 SOS 1409565 HAS SOPS 1409565 HAS SOUS 1157859 HAS SOUPS 1157859 WITH SCORE 1159268.565
AT ITER 5329 NEW BEST:: SOT 8274652 SOS 1409142 HAS SOPS 1409142 HAS SOUS 1157731 HAS SOUPS 1157731 WITH SCORE 1159140.142
AT ITER 5362 NEW BEST:: SOT 8274651 SOS 1409140 HAS SOPS 1409140 HAS SOUS 1157730 HAS SOUPS 1157730 WITH SCORE 1159139.14
AT ITER 5363 NEW BEST:: SOT 8264042 SOS 1466082 HAS SOPS 1466082 HAS SOUS 1150254 HAS SOUPS 1150254 WITH SCORE 1151720.082
AT ITER 5383 NEW BEST:: SOT 8263982 SOS 1466022 HAS SOPS 1466022 HAS SOUS 1150194 HAS SOUPS 1150194 WITH SCORE 1151660.022
AT ITER 5424 NEW BEST:: SOT 8263982 SOS 1466022 HAS SOPS 1466022 HAS SOUS 1150151 HAS SOUPS 1150151 WITH SCORE 1151617.022
AT ITER 5441 NEW BEST:: SOT 8263717 SOS 1465492 HAS SOPS 1465492 HAS SOUS 1150085 HAS SOUPS 1150085 WITH SCORE 1151550.492
AT ITER 5465 NEW BEST:: SOT 8263287 SOS 1437458 HAS SOPS 1437458 HAS SOUS 1149225 HAS SOUPS 1149225 WITH SCORE 1150662.458
AT ITER 5485 NEW BEST:: SOT 8263287 SOS 1437295 HAS SOPS 1437295 HAS SOUS 1149225 HAS SOUPS 1149225 WITH SCORE 1150662.295
AT ITER 5499 NEW BEST:: SOT 8263248 SOS 1437217 HAS SOPS 1437217 HAS SOUS 1149147 HAS SOUPS 1149147 WITH SCORE 1150584.217
AT ITER 5516 NEW BEST:: SOT 8263222 SOS 1437165 HAS SOPS 1437165 HAS SOUS 1149121 HAS SOUPS 1149121 WITH SCORE 1150558.165
AT ITER 5548 NEW BEST:: SOT 8263221 SOS 1436691 HAS SOPS 1436691 HAS SOUS 1149119 HAS SOUPS 1149119 WITH SCORE 1150555.691
AT ITER 5568 NEW BEST:: SOT 8263135 SOS 1436519 HAS SOPS 1436519 HAS SOUS 1148947 HAS SOUPS 1148947 WITH SCORE 1150383.519
AT ITER 5574 NEW BEST:: SOT 8263135 SOS 1436507 HAS SOPS 1436507 HAS SOUS 1148947 HAS SOUPS 1148947 WITH SCORE 1150383.507
AT ITER 5576 NEW BEST:: SOT 8262891 SOS 1436263 HAS SOPS 1436263 HAS SOUS 1148703 HAS SOUPS 1148703 WITH SCORE 1150139.263
AT ITER 5594 NEW BEST:: SOT 8262803 SOS 1406178 HAS SOPS 1406178 HAS SOUS 1148431 HAS SOUPS 1148431 WITH SCORE 1149837.178
AT ITER 5597 NEW BEST:: SOT 8262335 SOS 1405242 HAS SOPS 1405242 HAS SOUS 1147602 HAS SOUPS 1147602 WITH SCORE 1149007.242
AT ITER 5600 NEW BEST:: SOT 8262123 SOS 1405030 HAS SOPS 1405030 HAS SOUS 1147390 HAS SOUPS 1147390 WITH SCORE 1148795.03
AT ITER 5614 NEW BEST:: SOT 8262102 SOS 1405009 HAS SOPS 1405009 HAS SOUS 1147303 HAS SOUPS 1147303 WITH SCORE 1148708.009
AT ITER 5629 NEW BEST:: SOT 8261894 SOS 1404593 HAS SOPS 1404593 HAS SOUS 1147095 HAS SOUPS 1147095 WITH SCORE 1148499.593
AT ITER 5651 NEW BEST:: SOT 8261711 SOS 1404593 HAS SOPS 1404593 HAS SOUS 1146912 HAS SOUPS 1146912 WITH SCORE 1148316.593
AT ITER 5696 NEW BEST:: SOT 8262162 SOS 1405495 HAS SOPS 1405495 HAS SOUS 1146743 HAS SOUPS 1146743 WITH SCORE 1148148.495
AT ITER 5751 NEW BEST:: SOT 8262472 SOS 1405375 HAS SOPS 1405375 HAS SOUS 1146623 HAS SOUPS 1146623 WITH SCORE 1148028.375
AT ITER 5778 NEW BEST:: SOT 8262492 SOS 1405415 HAS SOPS 1405415 HAS SOUS 1146572 HAS SOUPS 1146572 WITH SCORE 1147977.415
AT ITER 5792 NEW BEST:: SOT 8262416 SOS 1405413 HAS SOPS 1405413 HAS SOUS 1146570 HAS SOUPS 1146570 WITH SCORE 1147975.413
AT ITER 5816 NEW BEST:: SOT 8262416 SOS 1405151 HAS SOPS 1405151 HAS SOUS 1146570 HAS SOUPS 1146570 WITH SCORE 1147975.151
AT ITER 5846 NEW BEST:: SOT 8261800 SOS 1405987 HAS SOPS 1405987 HAS SOUS 1146107 HAS SOUPS 1146107 WITH SCORE 1147512.987
AT ITER 5860 NEW BEST:: SOT 8261518 SOS 1405823 HAS SOPS 1405823 HAS SOUS 1145825 HAS SOUPS 1145825 WITH SCORE 1147230.823
AT ITER 5874 NEW BEST:: SOT 8261518 SOS 1405801 HAS SOPS 1405801 HAS SOUS 1145803 HAS SOUPS 1145803 WITH SCORE 1147208.801
AT ITER 5876 NEW BEST:: SOT 8261518 SOS 1405529 HAS SOPS 1405529 HAS SOUS 1145803 HAS SOUPS 1145803 WITH SCORE 1147208.529
AT ITER 5893 NEW BEST:: SOT 8261517 SOS 1405250 HAS SOPS 1405250 HAS SOUS 1145801 HAS SOUPS 1145801 WITH SCORE 1147206.25
AT ITER 5911 NEW BEST:: SOT 8261797 SOS 1405553 HAS SOPS 1405553 HAS SOUS 1145604 HAS SOUPS 1145604 WITH SCORE 1147009.553
AT ITER 5921 NEW BEST:: SOT 8261796 SOS 1405551 HAS SOPS 1405551 HAS SOUS 1145602 HAS SOUPS 1145602 WITH SCORE 1147007.551
AT ITER 5936 NEW BEST:: SOT 8261796 SOS 1405323 HAS SOPS 1405323 HAS SOUS 1145374 HAS SOUPS 1145374 WITH SCORE 1146779.323
AT ITER 6059 NEW BEST:: SOT 8261768 SOS 1403581 HAS SOPS 1403581 HAS SOUS 1144619 HAS SOUPS 1144619 WITH SCORE 1146022.581
AT ITER 6097 NEW BEST:: SOT 8261633 SOS 1403311 HAS SOPS 1403311 HAS SOUS 1144190 HAS SOUPS 1144190 WITH SCORE 1145593.311
AT ITER 6111 NEW BEST:: SOT 8261369 SOS 1402783 HAS SOPS 1402783 HAS SOUS 1143926 HAS SOUPS 1143926 WITH SCORE 1145328.783
AT ITER 6135 NEW BEST:: SOT 8261058 SOS 1402161 HAS SOPS 1402161 HAS SOUS 1143614 HAS SOUPS 1143614 WITH SCORE 1145016.161
AT ITER 6143 NEW BEST:: SOT 8260878 SOS 1401766 HAS SOPS 1401766 HAS SOUS 1143254 HAS SOUPS 1143254 WITH SCORE 1144655.766
AT ITER 6217 NEW BEST:: SOT 8260643 SOS 1401296 HAS SOPS 1401296 HAS SOUS 1142784 HAS SOUPS 1142784 WITH SCORE 1144185.296
AT ITER 6268 NEW BEST:: SOT 8260500 SOS 1401153 HAS SOPS 1401153 HAS SOUS 1142641 HAS SOUPS 1142641 WITH SCORE 1144042.153
AT ITER 6298 NEW BEST:: SOT 8260142 SOS 1400795 HAS SOPS 1400795 HAS SOUS 1142104 HAS SOUPS 1142104 WITH SCORE 1143504.795
AT ITER 6301 NEW BEST:: SOT 8259642 SOS 1399795 HAS SOPS 1399795 HAS SOUS 1141668 HAS SOUPS 1141668 WITH SCORE 1143067.795
AT ITER 6326 NEW BEST:: SOT 8259613 SOS 1399737 HAS SOPS 1399737 HAS SOUS 1141639 HAS SOUPS 1141639 WITH SCORE 1143038.737
AT ITER 6331 NEW BEST:: SOT 8259473 SOS 1397519 HAS SOPS 1397519 HAS SOUS 1141279 HAS SOUPS 1141279 WITH SCORE 1142676.519
AT ITER 6333 NEW BEST:: SOT 8259215 SOS 1397261 HAS SOPS 1397261 HAS SOUS 1141021 HAS SOUPS 1141021 WITH SCORE 1142418.261
AT ITER 6338 NEW BEST:: SOT 8259120 SOS 1397166 HAS SOPS 1397166 HAS SOUS 1141015 HAS SOUPS 1141015 WITH SCORE 1142412.166
AT ITER 6388 NEW BEST:: SOT 8259120 SOS 1396885 HAS SOPS 1396885 HAS SOUS 1140734 HAS SOUPS 1140734 WITH SCORE 1142130.885
AT ITER 6389 NEW BEST:: SOT 8259046 SOS 1396737 HAS SOPS 1396737 HAS SOUS 1140586 HAS SOUPS 1140586 WITH SCORE 1141982.737
AT ITER 6394 NEW BEST:: SOT 8259007 SOS 1396659 HAS SOPS 1396659 HAS SOUS 1140547 HAS SOUPS 1140547 WITH SCORE 1141943.659
AT ITER 6398 NEW BEST:: SOT 8259166 SOS 1396321 HAS SOPS 1396321 HAS SOUS 1140378 HAS SOUPS 1140378 WITH SCORE 1141774.321
AT ITER 6449 NEW BEST:: SOT 8257518 SOS 1398815 HAS SOPS 1398815 HAS SOUS 1139893 HAS SOUPS 1139893 WITH SCORE 1141291.815
AT ITER 6535 NEW BEST:: SOT 8257493 SOS 1399004 HAS SOPS 1399004 HAS SOUS 1139843 HAS SOUPS 1139843 WITH SCORE 1141242.004
AT ITER 6612 NEW BEST:: SOT 8257423 SOS 1398864 HAS SOPS 1398864 HAS SOUS 1139773 HAS SOUPS 1139773 WITH SCORE 1141171.864
AT ITER 6626 NEW BEST:: SOT 8257130 SOS 1398571 HAS SOPS 1398571 HAS SOUS 1139480 HAS SOUPS 1139480 WITH SCORE 1140878.571
AT ITER 6652 NEW BEST:: SOT 8257113 SOS 1398537 HAS SOPS 1398537 HAS SOUS 1139446 HAS SOUPS 1139446 WITH SCORE 1140844.537
AT ITER 6661 NEW BEST:: SOT 8257025 SOS 1398449 HAS SOPS 1398449 HAS SOUS 1139358 HAS SOUPS 1139358 WITH SCORE 1140756.449
AT ITER 6679 NEW BEST:: SOT 8256686 SOS 1397341 HAS SOPS 1397341 HAS SOUS 1138589 HAS SOUPS 1138589 WITH SCORE 1139986.341
AT ITER 6708 NEW BEST:: SOT 8256490 SOS 1396949 HAS SOPS 1396949 HAS SOUS 1138197 HAS SOUPS 1138197 WITH SCORE 1139593.949
AT ITER 6723 NEW BEST:: SOT 8256273 SOS 1396515 HAS SOPS 1396515 HAS SOUS 1137763 HAS SOUPS 1137763 WITH SCORE 1139159.515
AT ITER 6727 NEW BEST:: SOT 8255997 SOS 1395963 HAS SOPS 1395963 HAS SOUS 1137599 HAS SOUPS 1137599 WITH SCORE 1138994.963
AT ITER 6740 NEW BEST:: SOT 8256038 SOS 1396045 HAS SOPS 1396045 HAS SOUS 1137413 HAS SOUPS 1137413 WITH SCORE 1138809.045
AT ITER 6766 NEW BEST:: SOT 8255688 SOS 1395345 HAS SOPS 1395345 HAS SOUS 1137192 HAS SOUPS 1137192 WITH SCORE 1138587.345
AT ITER 6783 NEW BEST:: SOT 8255609 SOS 1395266 HAS SOPS 1395266 HAS SOUS 1137034 HAS SOUPS 1137034 WITH SCORE 1138429.266
AT ITER 6789 NEW BEST:: SOT 8255368 SOS 1395038 HAS SOPS 1395038 HAS SOUS 1136793 HAS SOUPS 1136793 WITH SCORE 1138188.038
AT ITER 6793 NEW BEST:: SOT 8255309 SOS 1394877 HAS SOPS 1394877 HAS SOUS 1136718 HAS SOUPS 1136718 WITH SCORE 1138112.877
AT ITER 6795 NEW BEST:: SOT 8255247 SOS 1394868 HAS SOPS 1394868 HAS SOUS 1136687 HAS SOUPS 1136687 WITH SCORE 1138081.868
AT ITER 6830 NEW BEST:: SOT 8255240 SOS 1394854 HAS SOPS 1394854 HAS SOUS 1136680 HAS SOUPS 1136680 WITH SCORE 1138074.854
AT ITER 6846 NEW BEST:: SOT 8255234 SOS 1395231 HAS SOPS 1395231 HAS SOUS 1136674 HAS SOUPS 1136674 WITH SCORE 1138069.231
AT ITER 6857 NEW BEST:: SOT 8255461 SOS 1391045 HAS SOPS 1391045 HAS SOUS 1136565 HAS SOUPS 1136565 WITH SCORE 1137956.045
AT ITER 6877 NEW BEST:: SOT 8255110 SOS 1390581 HAS SOPS 1390581 HAS SOUS 1136098 HAS SOUPS 1136098 WITH SCORE 1137488.581
AT ITER 6918 NEW BEST:: SOT 8255828 SOS 1392017 HAS SOPS 1392017 HAS SOUS 1135546 HAS SOUPS 1135546 WITH SCORE 1136938.017
AT ITER 6928 NEW BEST:: SOT 8256020 SOS 1392401 HAS SOPS 1392401 HAS SOUS 1135471 HAS SOUPS 1135471 WITH SCORE 1136863.401
AT ITER 6972 NEW BEST:: SOT 8256020 SOS 1392369 HAS SOPS 1392369 HAS SOUS 1135471 HAS SOUPS 1135471 WITH SCORE 1136863.369
AT ITER 6985 NEW BEST:: SOT 8255932 SOS 1392281 HAS SOPS 1392281 HAS SOUS 1135295 HAS SOUPS 1135295 WITH SCORE 1136687.281
AT ITER 7001 NEW BEST:: SOT 8255520 SOS 1391457 HAS SOPS 1391457 HAS SOUS 1135239 HAS SOUPS 1135239 WITH SCORE 1136630.457
AT ITER 7013 NEW BEST:: SOT 8255192 SOS 1390801 HAS SOPS 1390801 HAS SOUS 1134910 HAS SOUPS 1134910 WITH SCORE 1136300.801
AT ITER 7057 NEW BEST:: SOT 8255107 SOS 1390716 HAS SOPS 1390716 HAS SOUS 1134740 HAS SOUPS 1134740 WITH SCORE 1136130.716
AT ITER 7069 NEW BEST:: SOT 8254720 SOS 1389942 HAS SOPS 1389942 HAS SOUS 1134740 HAS SOUPS 1134740 WITH SCORE 1136129.942
AT ITER 7079 NEW BEST:: SOT 8254778 SOS 1388721 HAS SOPS 1388721 HAS SOUS 1134607 HAS SOUPS 1134607 WITH SCORE 1135995.721
AT ITER 7179 NEW BEST:: SOT 8254778 SOS 1388718 HAS SOPS 1388718 HAS SOUS 1134607 HAS SOUPS 1134607 WITH SCORE 1135995.718
AT ITER 7186 NEW BEST:: SOT 8254618 SOS 1387902 HAS SOPS 1387902 HAS SOUS 1134089 HAS SOUPS 1134089 WITH SCORE 1135476.902
AT ITER 7195 NEW BEST:: SOT 8254606 SOS 1387878 HAS SOPS 1387878 HAS SOUS 1134065 HAS SOUPS 1134065 WITH SCORE 1135452.878
AT ITER 7259 NEW BEST:: SOT 8254605 SOS 1387876 HAS SOPS 1387876 HAS SOUS 1134063 HAS SOUPS 1134063 WITH SCORE 1135450.876
AT ITER 7283 NEW BEST:: SOT 8254748 SOS 1387846 HAS SOPS 1387846 HAS SOUS 1134059 HAS SOUPS 1134059 WITH SCORE 1135446.846
AT ITER 7295 NEW BEST:: SOT 8254504 SOS 1387602 HAS SOPS 1387602 HAS SOUS 1134059 HAS SOUPS 1134059 WITH SCORE 1135446.602
AT ITER 7297 NEW BEST:: SOT 8254503 SOS 1387600 HAS SOPS 1387600 HAS SOUS 1134057 HAS SOUPS 1134057 WITH SCORE 1135444.6
AT ITER 7307 NEW BEST:: SOT 8254666 SOS 1386240 HAS SOPS 1386240 HAS SOUS 1134028 HAS SOUPS 1134028 WITH SCORE 1135414.24
AT ITER 7319 NEW BEST:: SOT 8254633 SOS 1386174 HAS SOPS 1386174 HAS SOUS 1133995 HAS SOUPS 1133995 WITH SCORE 1135381.174
AT ITER 7332 NEW BEST:: SOT 8254670 SOS 1386079 HAS SOPS 1386079 HAS SOUS 1133935 HAS SOUPS 1133935 WITH SCORE 1135321.079
AT ITER 7359 NEW BEST:: SOT 8254534 SOS 1380477 HAS SOPS 1380477 HAS SOUS 1133669 HAS SOUPS 1133669 WITH SCORE 1135049.477
AT ITER 7366 NEW BEST:: SOT 8254534 SOS 1380477 HAS SOPS 1380477 HAS SOUS 1133420 HAS SOUPS 1133420 WITH SCORE 1134800.477
AT ITER 7367 NEW BEST:: SOT 8254435 SOS 1380279 HAS SOPS 1380279 HAS SOUS 1133321 HAS SOUPS 1133321 WITH SCORE 1134701.279
AT ITER 7381 NEW BEST:: SOT 8254453 SOS 1380315 HAS SOPS 1380315 HAS SOUS 1133292 HAS SOUPS 1133292 WITH SCORE 1134672.315
AT ITER 7391 NEW BEST:: SOT 8254227 SOS 1380470 HAS SOPS 1380470 HAS SOUS 1133191 HAS SOUPS 1133191 WITH SCORE 1134571.47
AT ITER 7393 NEW BEST:: SOT 8254142 SOS 1380416 HAS SOPS 1380416 HAS SOUS 1133137 HAS SOUPS 1133137 WITH SCORE 1134517.416
AT ITER 7396 NEW BEST:: SOT 8253887 SOS 1380248 HAS SOPS 1380248 HAS SOUS 1132914 HAS SOUPS 1132914 WITH SCORE 1134294.248
AT ITER 7412 NEW BEST:: SOT 8253874 SOS 1380222 HAS SOPS 1380222 HAS SOUS 1132901 HAS SOUPS 1132901 WITH SCORE 1134281.222
AT ITER 7419 NEW BEST:: SOT 8253873 SOS 1380092 HAS SOPS 1380092 HAS SOUS 1132899 HAS SOUPS 1132899 WITH SCORE 1134279.092
AT ITER 7438 NEW BEST:: SOT 8253577 SOS 1379500 HAS SOPS 1379500 HAS SOUS 1132563 HAS SOUPS 1132563 WITH SCORE 1133942.5
AT ITER 7443 NEW BEST:: SOT 8253450 SOS 1379246 HAS SOPS 1379246 HAS SOUS 1132309 HAS SOUPS 1132309 WITH SCORE 1133688.246
AT ITER 7460 NEW BEST:: SOT 8253411 SOS 1378939 HAS SOPS 1378939 HAS SOUS 1132041 HAS SOUPS 1132041 WITH SCORE 1133419.939
AT ITER 7482 NEW BEST:: SOT 8253205 SOS 1379066 HAS SOPS 1379066 HAS SOUS 1131835 HAS SOUPS 1131835 WITH SCORE 1133214.066
AT ITER 7484 NEW BEST:: SOT 8252868 SOS 1377949 HAS SOPS 1377949 HAS SOUS 1131055 HAS SOUPS 1131055 WITH SCORE 1132432.949
AT ITER 7529 NEW BEST:: SOT 8252621 SOS 1377455 HAS SOPS 1377455 HAS SOUS 1130561 HAS SOUPS 1130561 WITH SCORE 1131938.455
AT ITER 7537 NEW BEST:: SOT 8252380 SOS 1376973 HAS SOPS 1376973 HAS SOUS 1130079 HAS SOUPS 1130079 WITH SCORE 1131455.973
AT ITER 7561 NEW BEST:: SOT 8251438 SOS 1376608 HAS SOPS 1376608 HAS SOUS 1129249 HAS SOUPS 1129249 WITH SCORE 1130625.608
AT ITER 7578 NEW BEST:: SOT 8251371 SOS 1376474 HAS SOPS 1376474 HAS SOUS 1129182 HAS SOUPS 1129182 WITH SCORE 1130558.474
AT ITER 7602 NEW BEST:: SOT 8251223 SOS 1376178 HAS SOPS 1376178 HAS SOUS 1128781 HAS SOUPS 1128781 WITH SCORE 1130157.178
AT ITER 7606 NEW BEST:: SOT 8251025 SOS 1375198 HAS SOPS 1375198 HAS SOUS 1128160 HAS SOUPS 1128160 WITH SCORE 1129535.198
AT ITER 7611 NEW BEST:: SOT 8250951 SOS 1375050 HAS SOPS 1375050 HAS SOUS 1128039 HAS SOUPS 1128039 WITH SCORE 1129414.05
AT ITER 7617 NEW BEST:: SOT 8251042 SOS 1375993 HAS SOPS 1375993 HAS SOUS 1127817 HAS SOUPS 1127817 WITH SCORE 1129192.993
AT ITER 7627 NEW BEST:: SOT 8251042 SOS 1375591 HAS SOPS 1375591 HAS SOUS 1127616 HAS SOUPS 1127616 WITH SCORE 1128991.591
AT ITER 7650 NEW BEST:: SOT 8251042 SOS 1375591 HAS SOPS 1375591 HAS SOUS 1127452 HAS SOUPS 1127452 WITH SCORE 1128827.591
AT ITER 7651 NEW BEST:: SOT 8251042 SOS 1375591 HAS SOPS 1375591 HAS SOUS 1127371 HAS SOUPS 1127371 WITH SCORE 1128746.591
AT ITER 7652 NEW BEST:: SOT 8251150 SOS 1375807 HAS SOPS 1375807 HAS SOUS 1127358 HAS SOUPS 1127358 WITH SCORE 1128733.807
AT ITER 7663 NEW BEST:: SOT 8251150 SOS 1375710 HAS SOPS 1375710 HAS SOUS 1127358 HAS SOUPS 1127358 WITH SCORE 1128733.71
AT ITER 7705 NEW BEST:: SOT 8251035 SOS 1375608 HAS SOPS 1375608 HAS SOUS 1127243 HAS SOUPS 1127243 WITH SCORE 1128618.608
AT ITER 7736 NEW BEST:: SOT 8250962 SOS 1375303 HAS SOPS 1375303 HAS SOUS 1127011 HAS SOUPS 1127011 WITH SCORE 1128386.303
AT ITER 7749 NEW BEST:: SOT 8250916 SOS 1375313 HAS SOPS 1375313 HAS SOUS 1126970 HAS SOUPS 1126970 WITH SCORE 1128345.313
AT ITER 7758 NEW BEST:: SOT 8250883 SOS 1375247 HAS SOPS 1375247 HAS SOUS 1126530 HAS SOUPS 1126530 WITH SCORE 1127905.247
AT ITER 7762 NEW BEST:: SOT 8250883 SOS 1375010 HAS SOPS 1375010 HAS SOUS 1126530 HAS SOUPS 1126530 WITH SCORE 1127905.01
AT ITER 7781 NEW BEST:: SOT 8250847 SOS 1374983 HAS SOPS 1374983 HAS SOUS 1126503 HAS SOUPS 1126503 WITH SCORE 1127877.983
AT ITER 7813 NEW BEST:: SOT 8250832 SOS 1374953 HAS SOPS 1374953 HAS SOUS 1126488 HAS SOUPS 1126488 WITH SCORE 1127862.953
AT ITER 7855 NEW BEST:: SOT 8250649 SOS 1374770 HAS SOPS 1374770 HAS SOUS 1126122 HAS SOUPS 1126122 WITH SCORE 1127496.77
AT ITER 7866 NEW BEST:: SOT 8250649 SOS 1374690 HAS SOPS 1374690 HAS SOUS 1126122 HAS SOUPS 1126122 WITH SCORE 1127496.69
AT ITER 7911 NEW BEST:: SOT 8250602 SOS 1374596 HAS SOPS 1374596 HAS SOUS 1126028 HAS SOUPS 1126028 WITH SCORE 1127402.596
AT ITER 7950 NEW BEST:: SOT 8250291 SOS 1373507 HAS SOPS 1373507 HAS SOUS 1125302 HAS SOUPS 1125302 WITH SCORE 1126675.507
AT ITER 7975 NEW BEST:: SOT 8249884 SOS 1372693 HAS SOPS 1372693 HAS SOUS 1124488 HAS SOUPS 1124488 WITH SCORE 1125860.693
AT ITER 7994 NEW BEST:: SOT 8249883 SOS 1372645 HAS SOPS 1372645 HAS SOUS 1124439 HAS SOUPS 1124439 WITH SCORE 1125811.645
AT ITER 8000 NEW BEST:: SOT 8249859 SOS 1372617 HAS SOPS 1372617 HAS SOUS 1124411 HAS SOUPS 1124411 WITH SCORE 1125783.617
AT ITER 8014 NEW BEST:: SOT 8249859 SOS 1372615 HAS SOPS 1372615 HAS SOUS 1124411 HAS SOUPS 1124411 WITH SCORE 1125783.615
AT ITER 8016 NEW BEST:: SOT 8249652 SOS 1371943 HAS SOPS 1371943 HAS SOUS 1123946 HAS SOUPS 1123946 WITH SCORE 1125317.943
AT ITER 8052 NEW BEST:: SOT 8249649 SOS 1371937 HAS SOPS 1371937 HAS SOUS 1123943 HAS SOUPS 1123943 WITH SCORE 1125314.937
AT ITER 8055 NEW BEST:: SOT 8249648 SOS 1371661 HAS SOPS 1371661 HAS SOUS 1123941 HAS SOUPS 1123941 WITH SCORE 1125312.661
AT ITER 8073 NEW BEST:: SOT 8249371 SOS 1370830 HAS SOPS 1370830 HAS SOUS 1123387 HAS SOUPS 1123387 WITH SCORE 1124757.83
AT ITER 8106 NEW BEST:: SOT 8249505 SOS 1371098 HAS SOPS 1371098 HAS SOUS 1123344 HAS SOUPS 1123344 WITH SCORE 1124715.098
AT ITER 8111 NEW BEST:: SOT 8249353 SOS 1371098 HAS SOPS 1371098 HAS SOUS 1123192 HAS SOUPS 1123192 WITH SCORE 1124563.098
AT ITER 8126 NEW BEST:: SOT 8249327 SOS 1371072 HAS SOPS 1371072 HAS SOUS 1123166 HAS SOUPS 1123166 WITH SCORE 1124537.072
AT ITER 8141 NEW BEST:: SOT 8249291 SOS 1371000 HAS SOPS 1371000 HAS SOUS 1123094 HAS SOUPS 1123094 WITH SCORE 1124465.0
AT ITER 8156 NEW BEST:: SOT 8249252 SOS 1370994 HAS SOPS 1370994 HAS SOUS 1123078 HAS SOUPS 1123078 WITH SCORE 1124448.994
AT ITER 8157 NEW BEST:: SOT 8249252 SOS 1370886 HAS SOPS 1370886 HAS SOUS 1122970 HAS SOUPS 1122970 WITH SCORE 1124340.886
AT ITER 8166 NEW BEST:: SOT 8249252 SOS 1370886 HAS SOPS 1370886 HAS SOUS 1122712 HAS SOUPS 1122712 WITH SCORE 1124082.886
AT ITER 8194 NEW BEST:: SOT 8249042 SOS 1370466 HAS SOPS 1370466 HAS SOUS 1122292 HAS SOUPS 1122292 WITH SCORE 1123662.466
AT ITER 8259 NEW BEST:: SOT 8249042 SOS 1370466 HAS SOPS 1370466 HAS SOUS 1122290 HAS SOUPS 1122290 WITH SCORE 1123660.466
AT ITER 8261 NEW BEST:: SOT 8249038 SOS 1370458 HAS SOPS 1370458 HAS SOUS 1121996 HAS SOUPS 1121996 WITH SCORE 1123366.458
AT ITER 8280 NEW BEST:: SOT 8249012 SOS 1370406 HAS SOPS 1370406 HAS SOUS 1121670 HAS SOUPS 1121670 WITH SCORE 1123040.406
AT ITER 8287 NEW BEST:: SOT 8248937 SOS 1369866 HAS SOPS 1369866 HAS SOUS 1121439 HAS SOUPS 1121439 WITH SCORE 1122808.866
AT ITER 8291 NEW BEST:: SOT 8247645 SOS 1374004 HAS SOPS 1374004 HAS SOUS 1121276 HAS SOUPS 1121276 WITH SCORE 1122650.004
AT ITER 8322 NEW BEST:: SOT 8247416 SOS 1374200 HAS SOPS 1374200 HAS SOUS 1121264 HAS SOUPS 1121264 WITH SCORE 1122638.2
AT ITER 8326 NEW BEST:: SOT 8247360 SOS 1374088 HAS SOPS 1374088 HAS SOUS 1121152 HAS SOUPS 1121152 WITH SCORE 1122526.088
AT ITER 8327 NEW BEST:: SOT 8247315 SOS 1373953 HAS SOPS 1373953 HAS SOUS 1121106 HAS SOUPS 1121106 WITH SCORE 1122479.953
AT ITER 8343 NEW BEST:: SOT 8247228 SOS 1373779 HAS SOPS 1373779 HAS SOUS 1120932 HAS SOUPS 1120932 WITH SCORE 1122305.779
AT ITER 8380 NEW BEST:: SOT 8247165 SOS 1373788 HAS SOPS 1373788 HAS SOUS 1120806 HAS SOUPS 1120806 WITH SCORE 1122179.788
AT ITER 8428 NEW BEST:: SOT 8246629 SOS 1373788 HAS SOPS 1373788 HAS SOUS 1120538 HAS SOUPS 1120538 WITH SCORE 1121911.788
AT ITER 8440 NEW BEST:: SOT 8246629 SOS 1373604 HAS SOPS 1373604 HAS SOUS 1120538 HAS SOUPS 1120538 WITH SCORE 1121911.604
AT ITER 8442 NEW BEST:: SOT 8246629 SOS 1373604 HAS SOPS 1373604 HAS SOUS 1120500 HAS SOUPS 1120500 WITH SCORE 1121873.604
AT ITER 8461 NEW BEST:: SOT 8246629 SOS 1373604 HAS SOPS 1373604 HAS SOUS 1120403 HAS SOUPS 1120403 WITH SCORE 1121776.604
AT ITER 8470 NEW BEST:: SOT 8246523 SOS 1373769 HAS SOPS 1373769 HAS SOUS 1120297 HAS SOUPS 1120297 WITH SCORE 1121670.769
AT ITER 8528 NEW BEST:: SOT 8246524 SOS 1373616 HAS SOPS 1373616 HAS SOUS 1120200 HAS SOUPS 1120200 WITH SCORE 1121573.616
AT ITER 8531 NEW BEST:: SOT 8246254 SOS 1375236 HAS SOPS 1375236 HAS SOUS 1119930 HAS SOUPS 1119930 WITH SCORE 1121305.236
AT ITER 8552 NEW BEST:: SOT 8246253 SOS 1375234 HAS SOPS 1375234 HAS SOUS 1119928 HAS SOUPS 1119928 WITH SCORE 1121303.234
AT ITER 8568 NEW BEST:: SOT 8246344 SOS 1375416 HAS SOPS 1375416 HAS SOUS 1119792 HAS SOUPS 1119792 WITH SCORE 1121167.416
AT ITER 8578 NEW BEST:: SOT 8246144 SOS 1375016 HAS SOPS 1375016 HAS SOUS 1119392 HAS SOUPS 1119392 WITH SCORE 1120767.016
AT ITER 8583 NEW BEST:: SOT 8246002 SOS 1374732 HAS SOPS 1374732 HAS SOUS 1119108 HAS SOUPS 1119108 WITH SCORE 1120482.732
AT ITER 8609 NEW BEST:: SOT 8245805 SOS 1374136 HAS SOPS 1374136 HAS SOUS 1118714 HAS SOUPS 1118714 WITH SCORE 1120088.136
AT ITER 8638 NEW BEST:: SOT 8245746 SOS 1374018 HAS SOPS 1374018 HAS SOUS 1118655 HAS SOUPS 1118655 WITH SCORE 1120029.018
AT ITER 8655 NEW BEST:: SOT 8245699 SOS 1373924 HAS SOPS 1373924 HAS SOUS 1118572 HAS SOUPS 1118572 WITH SCORE 1119945.924
AT ITER 8661 NEW BEST:: SOT 8245602 SOS 1373730 HAS SOPS 1373730 HAS SOUS 1118378 HAS SOUPS 1118378 WITH SCORE 1119751.73
AT ITER 8669 NEW BEST:: SOT 8245733 SOS 1373068 HAS SOPS 1373068 HAS SOUS 1118047 HAS SOUPS 1118047 WITH SCORE 1119420.068
AT ITER 8678 NEW BEST:: SOT 8245732 SOS 1373005 HAS SOPS 1373005 HAS SOUS 1117985 HAS SOUPS 1117985 WITH SCORE 1119358.005
AT ITER 8689 NEW BEST:: SOT 8245732 SOS 1372733 HAS SOPS 1372733 HAS SOUS 1117985 HAS SOUPS 1117985 WITH SCORE 1119357.733
AT ITER 8716 NEW BEST:: SOT 8245555 SOS 1372916 HAS SOPS 1372916 HAS SOUS 1117929 HAS SOUPS 1117929 WITH SCORE 1119301.916
AT ITER 8732 NEW BEST:: SOT 8245417 SOS 1372640 HAS SOPS 1372640 HAS SOUS 1117791 HAS SOUPS 1117791 WITH SCORE 1119163.64
AT ITER 8739 NEW BEST:: SOT 8245127 SOS 1372060 HAS SOPS 1372060 HAS SOUS 1117178 HAS SOUPS 1117178 WITH SCORE 1118550.06
AT ITER 8771 NEW BEST:: SOT 8245034 SOS 1371874 HAS SOPS 1371874 HAS SOUS 1116992 HAS SOUPS 1116992 WITH SCORE 1118363.874
AT ITER 8777 NEW BEST:: SOT 8244936 SOS 1371923 HAS SOPS 1371923 HAS SOUS 1116796 HAS SOUPS 1116796 WITH SCORE 1118167.923
AT ITER 8810 NEW BEST:: SOT 8244944 SOS 1369789 HAS SOPS 1369789 HAS SOUS 1116754 HAS SOUPS 1116754 WITH SCORE 1118123.789
AT ITER 8822 NEW BEST:: SOT 8244943 SOS 1369787 HAS SOPS 1369787 HAS SOUS 1116752 HAS SOUPS 1116752 WITH SCORE 1118121.787
AT ITER 8857 NEW BEST:: SOT 8245050 SOS 1369680 HAS SOPS 1369680 HAS SOUS 1116538 HAS SOUPS 1116538 WITH SCORE 1117907.68
AT ITER 8899 NEW BEST:: SOT 8244945 SOS 1369565 HAS SOPS 1369565 HAS SOUS 1116433 HAS SOUPS 1116433 WITH SCORE 1117802.565
AT ITER 8902 NEW BEST:: SOT 8244913 SOS 1369501 HAS SOPS 1369501 HAS SOUS 1116215 HAS SOUPS 1116215 WITH SCORE 1117584.501
AT ITER 8937 NEW BEST:: SOT 8244888 SOS 1368451 HAS SOPS 1368451 HAS SOUS 1116165 HAS SOUPS 1116165 WITH SCORE 1117533.451
AT ITER 8955 NEW BEST:: SOT 8240339 SOS 1409274 HAS SOPS 1409274 HAS SOUS 1114904 HAS SOUPS 1114904 WITH SCORE 1116313.274
AT ITER 8956 NEW BEST:: SOT 8240339 SOS 1404234 HAS SOPS 1404234 HAS SOUS 1114784 HAS SOUPS 1114784 WITH SCORE 1116188.234
AT ITER 8966 NEW BEST:: SOT 8240242 SOS 1404040 HAS SOPS 1404040 HAS SOUS 1114590 HAS SOUPS 1114590 WITH SCORE 1115994.04
AT ITER 8968 NEW BEST:: SOT 8240196 SOS 1403948 HAS SOPS 1403948 HAS SOUS 1114498 HAS SOUPS 1114498 WITH SCORE 1115901.948
AT ITER 8970 NEW BEST:: SOT 8239943 SOS 1403871 HAS SOPS 1403871 HAS SOUS 1114245 HAS SOUPS 1114245 WITH SCORE 1115648.871
AT ITER 8973 NEW BEST:: SOT 8239745 SOS 1403797 HAS SOPS 1403797 HAS SOUS 1114036 HAS SOUPS 1114036 WITH SCORE 1115439.797
AT ITER 8986 NEW BEST:: SOT 8239666 SOS 1403310 HAS SOPS 1403310 HAS SOUS 1113749 HAS SOUPS 1113749 WITH SCORE 1115152.31
AT ITER 9020 NEW BEST:: SOT 8239666 SOS 1403126 HAS SOPS 1403126 HAS SOUS 1113565 HAS SOUPS 1113565 WITH SCORE 1114968.126
AT ITER 9067 NEW BEST:: SOT 8239646 SOS 1403342 HAS SOPS 1403342 HAS SOUS 1113545 HAS SOUPS 1113545 WITH SCORE 1114948.342
AT ITER 9187 NEW BEST:: SOT 8238540 SOS 1401920 HAS SOPS 1401920 HAS SOUS 1112074 HAS SOUPS 1112074 WITH SCORE 1113475.92
AT ITER 9188 NEW BEST:: SOT 8238508 SOS 1401824 HAS SOPS 1401824 HAS SOUS 1112010 HAS SOUPS 1112010 WITH SCORE 1113411.824
AT ITER 9194 NEW BEST:: SOT 8238441 SOS 1401774 HAS SOPS 1401774 HAS SOUS 1111960 HAS SOUPS 1111960 WITH SCORE 1113361.774
AT ITER 9245 NEW BEST:: SOT 8238441 SOS 1400198 HAS SOPS 1400198 HAS SOUS 1111566 HAS SOUPS 1111566 WITH SCORE 1112966.198
AT ITER 9254 NEW BEST:: SOT 8238441 SOS 1400001 HAS SOPS 1400001 HAS SOUS 1111566 HAS SOUPS 1111566 WITH SCORE 1112966.001
AT ITER 9283 NEW BEST:: SOT 8238441 SOS 1399842 HAS SOPS 1399842 HAS SOUS 1111566 HAS SOUPS 1111566 WITH SCORE 1112965.842
AT ITER 9320 NEW BEST:: SOT 8238441 SOS 1399757 HAS SOPS 1399757 HAS SOUS 1111481 HAS SOUPS 1111481 WITH SCORE 1112880.757
AT ITER 9336 NEW BEST:: SOT 8238339 SOS 1399451 HAS SOPS 1399451 HAS SOUS 1111277 HAS SOUPS 1111277 WITH SCORE 1112676.451
AT ITER 9351 NEW BEST:: SOT 8238338 SOS 1399416 HAS SOPS 1399416 HAS SOUS 1111273 HAS SOUPS 1111273 WITH SCORE 1112672.416
AT ITER 9364 NEW BEST:: SOT 8238338 SOS 1399359 HAS SOPS 1399359 HAS SOUS 1111216 HAS SOUPS 1111216 WITH SCORE 1112615.359
AT ITER 9369 NEW BEST:: SOT 8238472 SOS 1399122 HAS SOPS 1399122 HAS SOUS 1111068 HAS SOUPS 1111068 WITH SCORE 1112467.122
AT ITER 9370 NEW BEST:: SOT 8238349 SOS 1398876 HAS SOPS 1398876 HAS SOUS 1110822 HAS SOUPS 1110822 WITH SCORE 1112220.876
AT ITER 9381 NEW BEST:: SOT 8237956 SOS 1398736 HAS SOPS 1398736 HAS SOUS 1110558 HAS SOUPS 1110558 WITH SCORE 1111956.736
AT ITER 9402 NEW BEST:: SOT 8237781 SOS 1398668 HAS SOPS 1398668 HAS SOUS 1110401 HAS SOUPS 1110401 WITH SCORE 1111799.668
AT ITER 9419 NEW BEST:: SOT 8237688 SOS 1398632 HAS SOPS 1398632 HAS SOUS 1110325 HAS SOUPS 1110325 WITH SCORE 1111723.632
AT ITER 9423 NEW BEST:: SOT 8237369 SOS 1397994 HAS SOPS 1397994 HAS SOUS 1109615 HAS SOUPS 1109615 WITH SCORE 1111012.994
AT ITER 9435 NEW BEST:: SOT 8237369 SOS 1397885 HAS SOPS 1397885 HAS SOUS 1109615 HAS SOUPS 1109615 WITH SCORE 1111012.885
AT ITER 9437 NEW BEST:: SOT 8237189 SOS 1397525 HAS SOPS 1397525 HAS SOUS 1109255 HAS SOUPS 1109255 WITH SCORE 1110652.525
AT ITER 9468 NEW BEST:: SOT 8236929 SOS 1397423 HAS SOPS 1397423 HAS SOUS 1109090 HAS SOUPS 1109090 WITH SCORE 1110487.423
AT ITER 9513 NEW BEST:: SOT 8236929 SOS 1397423 HAS SOPS 1397423 HAS SOUS 1108793 HAS SOUPS 1108793 WITH SCORE 1110190.423
AT ITER 9518 NEW BEST:: SOT 8236913 SOS 1397391 HAS SOPS 1397391 HAS SOUS 1108761 HAS SOUPS 1108761 WITH SCORE 1110158.391
AT ITER 9526 NEW BEST:: SOT 8236696 SOS 1397174 HAS SOPS 1397174 HAS SOUS 1108544 HAS SOUPS 1108544 WITH SCORE 1109941.174
AT ITER 9577 NEW BEST:: SOT 8236130 SOS 1396042 HAS SOPS 1396042 HAS SOUS 1107978 HAS SOUPS 1107978 WITH SCORE 1109374.042
AT ITER 9607 NEW BEST:: SOT 8235885 SOS 1395552 HAS SOPS 1395552 HAS SOUS 1107488 HAS SOUPS 1107488 WITH SCORE 1108883.552
AT ITER 9615 NEW BEST:: SOT 8235739 SOS 1395260 HAS SOPS 1395260 HAS SOUS 1107196 HAS SOUPS 1107196 WITH SCORE 1108591.26
AT ITER 9619 NEW BEST:: SOT 8235720 SOS 1395222 HAS SOPS 1395222 HAS SOUS 1107158 HAS SOUPS 1107158 WITH SCORE 1108553.222
AT ITER 9623 NEW BEST:: SOT 8235811 SOS 1395073 HAS SOPS 1395073 HAS SOUS 1106964 HAS SOUPS 1106964 WITH SCORE 1108359.073
AT ITER 9631 NEW BEST:: SOT 8235792 SOS 1395035 HAS SOPS 1395035 HAS SOUS 1106926 HAS SOUPS 1106926 WITH SCORE 1108321.035
AT ITER 9638 NEW BEST:: SOT 8235757 SOS 1395295 HAS SOPS 1395295 HAS SOUS 1106920 HAS SOUPS 1106920 WITH SCORE 1108315.295
AT ITER 9649 NEW BEST:: SOT 8235756 SOS 1395293 HAS SOPS 1395293 HAS SOUS 1106918 HAS SOUPS 1106918 WITH SCORE 1108313.293
AT ITER 9665 NEW BEST:: SOT 8235654 SOS 1395370 HAS SOPS 1395370 HAS SOUS 1106816 HAS SOUPS 1106816 WITH SCORE 1108211.37
AT ITER 9675 NEW BEST:: SOT 8235585 SOS 1395232 HAS SOPS 1395232 HAS SOUS 1106678 HAS SOUPS 1106678 WITH SCORE 1108073.232
AT ITER 9683 NEW BEST:: SOT 8235580 SOS 1395228 HAS SOPS 1395228 HAS SOUS 1106673 HAS SOUPS 1106673 WITH SCORE 1108068.228
AT ITER 9684 NEW BEST:: SOT 8235116 SOS 1395950 HAS SOPS 1395950 HAS SOUS 1106539 HAS SOUPS 1106539 WITH SCORE 1107934.95
AT ITER 9711 NEW BEST:: SOT 8234711 SOS 1395990 HAS SOPS 1395990 HAS SOUS 1106288 HAS SOUPS 1106288 WITH SCORE 1107683.99
AT ITER 9748 NEW BEST:: SOT 8234291 SOS 1395382 HAS SOPS 1395382 HAS SOUS 1105867 HAS SOUPS 1105867 WITH SCORE 1107262.382
AT ITER 9752 NEW BEST:: SOT 8234276 SOS 1395352 HAS SOPS 1395352 HAS SOUS 1105796 HAS SOUPS 1105796 WITH SCORE 1107191.352
AT ITER 9756 NEW BEST:: SOT 8234219 SOS 1395352 HAS SOPS 1395352 HAS SOUS 1105739 HAS SOUPS 1105739 WITH SCORE 1107134.352
AT ITER 9792 NEW BEST:: SOT 8234031 SOS 1394976 HAS SOPS 1394976 HAS SOUS 1105551 HAS SOUPS 1105551 WITH SCORE 1106945.976
AT ITER 9807 NEW BEST:: SOT 8233933 SOS 1395122 HAS SOPS 1395122 HAS SOUS 1105453 HAS SOUPS 1105453 WITH SCORE 1106848.122
AT ITER 9834 NEW BEST:: SOT 8233821 SOS 1395031 HAS SOPS 1395031 HAS SOUS 1105352 HAS SOUPS 1105352 WITH SCORE 1106747.031
AT ITER 9846 NEW BEST:: SOT 8233816 SOS 1395021 HAS SOPS 1395021 HAS SOUS 1105347 HAS SOUPS 1105347 WITH SCORE 1106742.021
AT ITER 9849 NEW BEST:: SOT 8233644 SOS 1394677 HAS SOPS 1394677 HAS SOUS 1105003 HAS SOUPS 1105003 WITH SCORE 1106397.677
AT ITER 9867 NEW BEST:: SOT 8233542 SOS 1394473 HAS SOPS 1394473 HAS SOUS 1104901 HAS SOUPS 1104901 WITH SCORE 1106295.473
AT ITER 9869 NEW BEST:: SOT 8233542 SOS 1394375 HAS SOPS 1394375 HAS SOUS 1104803 HAS SOUPS 1104803 WITH SCORE 1106197.375
AT ITER 9892 NEW BEST:: SOT 8233420 SOS 1394687 HAS SOPS 1394687 HAS SOUS 1104681 HAS SOUPS 1104681 WITH SCORE 1106075.687
AT ITER 9927 NEW BEST:: SOT 8233318 SOS 1394598 HAS SOPS 1394598 HAS SOUS 1104592 HAS SOUPS 1104592 WITH SCORE 1105986.598
AT ITER 9979 NEW BEST:: SOT 8233318 SOS 1394573 HAS SOPS 1394573 HAS SOUS 1104567 HAS SOUPS 1104567 WITH SCORE 1105961.573
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 13170536 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154188 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-401"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is CloudReconfiguration-PT-401, 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 r099-tall-167814472100168"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-401.tgz
mv CloudReconfiguration-PT-401 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 ;