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-158902541800168.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-401, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541800168
=====================================================================

--------------------
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.9K Mar 28 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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.1K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K 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 16K 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 1589102595329

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 401
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 8368963 SOS 1372342 HAS SOPS 1372342 HAS SOUS 1266497 HAS SOUPS 1266497 WITH SCORE 1267869.342
AT ITER 10 NEW BEST:: SOT 8368814 SOS 1372044 HAS SOPS 1372044 HAS SOUS 1266199 HAS SOUPS 1266199 WITH SCORE 1267571.044
AT ITER 18 NEW BEST:: SOT 8368814 SOS 1371931 HAS SOPS 1371931 HAS SOUS 1266046 HAS SOUPS 1266046 WITH SCORE 1267417.931
AT ITER 31 NEW BEST:: SOT 8368802 SOS 1371895 HAS SOPS 1371895 HAS SOUS 1266034 HAS SOUPS 1266034 WITH SCORE 1267405.895
AT ITER 37 NEW BEST:: SOT 8368802 SOS 1371895 HAS SOPS 1371895 HAS SOUS 1265911 HAS SOUPS 1265911 WITH SCORE 1267282.895
AT ITER 39 NEW BEST:: SOT 8368804 SOS 1371899 HAS SOPS 1371899 HAS SOUS 1265557 HAS SOUPS 1265557 WITH SCORE 1266928.899
AT ITER 85 NEW BEST:: SOT 8368803 SOS 1372761 HAS SOPS 1372761 HAS SOUS 1265556 HAS SOUPS 1265556 WITH SCORE 1266928.761
AT ITER 88 NEW BEST:: SOT 8368803 SOS 1372314 HAS SOPS 1372314 HAS SOUS 1265555 HAS SOUPS 1265555 WITH SCORE 1266927.314
AT ITER 95 NEW BEST:: SOT 8368693 SOS 1372094 HAS SOPS 1372094 HAS SOUS 1265335 HAS SOUPS 1265335 WITH SCORE 1266707.094
AT ITER 99 NEW BEST:: SOT 8368264 SOS 1371236 HAS SOPS 1371236 HAS SOUS 1264906 HAS SOUPS 1264906 WITH SCORE 1266277.236
AT ITER 119 NEW BEST:: SOT 8368264 SOS 1370792 HAS SOPS 1370792 HAS SOUS 1264905 HAS SOUPS 1264905 WITH SCORE 1266275.792
AT ITER 122 NEW BEST:: SOT 8368151 SOS 1370566 HAS SOPS 1370566 HAS SOUS 1264679 HAS SOUPS 1264679 WITH SCORE 1266049.566
AT ITER 135 NEW BEST:: SOT 8367981 SOS 1370463 HAS SOPS 1370463 HAS SOUS 1264554 HAS SOUPS 1264554 WITH SCORE 1265924.463
AT ITER 144 NEW BEST:: SOT 8367621 SOS 1370126 HAS SOPS 1370126 HAS SOUS 1264217 HAS SOUPS 1264217 WITH SCORE 1265587.126
AT ITER 160 NEW BEST:: SOT 8362530 SOS 1395721 HAS SOPS 1395721 HAS SOUS 1260704 HAS SOUPS 1260704 WITH SCORE 1262099.721
AT ITER 168 NEW BEST:: SOT 8362443 SOS 1395647 HAS SOPS 1395647 HAS SOUS 1260617 HAS SOUPS 1260617 WITH SCORE 1262012.647
AT ITER 169 NEW BEST:: SOT 8362219 SOS 1395199 HAS SOPS 1395199 HAS SOUS 1260047 HAS SOUPS 1260047 WITH SCORE 1261442.199
AT ITER 182 NEW BEST:: SOT 8362105 SOS 1395162 HAS SOPS 1395162 HAS SOUS 1259933 HAS SOUPS 1259933 WITH SCORE 1261328.162
AT ITER 190 NEW BEST:: SOT 8362109 SOS 1395136 HAS SOPS 1395136 HAS SOUS 1259920 HAS SOUPS 1259920 WITH SCORE 1261315.136
AT ITER 197 NEW BEST:: SOT 8361901 SOS 1395208 HAS SOPS 1395208 HAS SOUS 1259712 HAS SOUPS 1259712 WITH SCORE 1261107.208
AT ITER 204 NEW BEST:: SOT 8361785 SOS 1394976 HAS SOPS 1394976 HAS SOUS 1259480 HAS SOUPS 1259480 WITH SCORE 1260874.976
AT ITER 210 NEW BEST:: SOT 8361391 SOS 1394582 HAS SOPS 1394582 HAS SOUS 1259086 HAS SOUPS 1259086 WITH SCORE 1260480.582
AT ITER 213 NEW BEST:: SOT 8361316 SOS 1394123 HAS SOPS 1394123 HAS SOUS 1258755 HAS SOUPS 1258755 WITH SCORE 1260149.123
AT ITER 243 NEW BEST:: SOT 8360950 SOS 1393391 HAS SOPS 1393391 HAS SOUS 1258023 HAS SOUPS 1258023 WITH SCORE 1259416.391
AT ITER 249 NEW BEST:: SOT 8360949 SOS 1393389 HAS SOPS 1393389 HAS SOUS 1258021 HAS SOUPS 1258021 WITH SCORE 1259414.389
AT ITER 258 NEW BEST:: SOT 8360948 SOS 1393387 HAS SOPS 1393387 HAS SOUS 1258019 HAS SOUPS 1258019 WITH SCORE 1259412.387
AT ITER 262 NEW BEST:: SOT 8347425 SOS 1392087 HAS SOPS 1392087 HAS SOUS 1244872 HAS SOUPS 1244872 WITH SCORE 1246264.087
AT ITER 266 NEW BEST:: SOT 8347425 SOS 1391761 HAS SOPS 1391761 HAS SOUS 1244872 HAS SOUPS 1244872 WITH SCORE 1246263.761
AT ITER 272 NEW BEST:: SOT 8347239 SOS 1391793 HAS SOPS 1391793 HAS SOUS 1244797 HAS SOUPS 1244797 WITH SCORE 1246188.793
AT ITER 284 NEW BEST:: SOT 8347341 SOS 1391361 HAS SOPS 1391361 HAS SOUS 1244321 HAS SOUPS 1244321 WITH SCORE 1245712.361
AT ITER 326 NEW BEST:: SOT 8347341 SOS 1391341 HAS SOPS 1391341 HAS SOUS 1244301 HAS SOUPS 1244301 WITH SCORE 1245692.341
AT ITER 339 NEW BEST:: SOT 8347045 SOS 1390749 HAS SOPS 1390749 HAS SOUS 1243709 HAS SOUPS 1243709 WITH SCORE 1245099.749
AT ITER 376 NEW BEST:: SOT 8346853 SOS 1390365 HAS SOPS 1390365 HAS SOUS 1243325 HAS SOUPS 1243325 WITH SCORE 1244715.365
AT ITER 391 NEW BEST:: SOT 8346852 SOS 1390363 HAS SOPS 1390363 HAS SOUS 1243323 HAS SOUPS 1243323 WITH SCORE 1244713.363
AT ITER 403 NEW BEST:: SOT 8346852 SOS 1389847 HAS SOPS 1389847 HAS SOUS 1243323 HAS SOUPS 1243323 WITH SCORE 1244712.847
AT ITER 410 NEW BEST:: SOT 8346677 SOS 1389701 HAS SOPS 1389701 HAS SOUS 1243176 HAS SOUPS 1243176 WITH SCORE 1244565.701
AT ITER 428 NEW BEST:: SOT 8346677 SOS 1389411 HAS SOPS 1389411 HAS SOUS 1243175 HAS SOUPS 1243175 WITH SCORE 1244564.411
AT ITER 434 NEW BEST:: SOT 8346834 SOS 1389021 HAS SOPS 1389021 HAS SOUS 1243058 HAS SOUPS 1243058 WITH SCORE 1244447.021
AT ITER 446 NEW BEST:: SOT 8346988 SOS 1388733 HAS SOPS 1388733 HAS SOUS 1242914 HAS SOUPS 1242914 WITH SCORE 1244302.733
AT ITER 467 NEW BEST:: SOT 8346987 SOS 1388731 HAS SOPS 1388731 HAS SOUS 1242912 HAS SOUPS 1242912 WITH SCORE 1244300.731
AT ITER 485 NEW BEST:: SOT 8346987 SOS 1388676 HAS SOPS 1388676 HAS SOUS 1242857 HAS SOUPS 1242857 WITH SCORE 1244245.676
AT ITER 500 NEW BEST:: SOT 8346987 SOS 1388365 HAS SOPS 1388365 HAS SOUS 1242857 HAS SOUPS 1242857 WITH SCORE 1244245.365
AT ITER 517 NEW BEST:: SOT 8346963 SOS 1388293 HAS SOPS 1388293 HAS SOUS 1242808 HAS SOUPS 1242808 WITH SCORE 1244196.293
AT ITER 519 NEW BEST:: SOT 8346670 SOS 1387707 HAS SOPS 1387707 HAS SOUS 1242515 HAS SOUPS 1242515 WITH SCORE 1243902.707
AT ITER 542 NEW BEST:: SOT 8346669 SOS 1387705 HAS SOPS 1387705 HAS SOUS 1242513 HAS SOUPS 1242513 WITH SCORE 1243900.705
AT ITER 543 NEW BEST:: SOT 8346589 SOS 1387545 HAS SOPS 1387545 HAS SOUS 1242353 HAS SOUPS 1242353 WITH SCORE 1243740.545
AT ITER 564 NEW BEST:: SOT 8346951 SOS 1387630 HAS SOPS 1387630 HAS SOUS 1242130 HAS SOUPS 1242130 WITH SCORE 1243517.63
AT ITER 599 NEW BEST:: SOT 8346905 SOS 1387538 HAS SOPS 1387538 HAS SOUS 1241799 HAS SOUPS 1241799 WITH SCORE 1243186.538
AT ITER 633 NEW BEST:: SOT 8346708 SOS 1387605 HAS SOPS 1387605 HAS SOUS 1241791 HAS SOUPS 1241791 WITH SCORE 1243178.605
AT ITER 639 NEW BEST:: SOT 8347059 SOS 1387449 HAS SOPS 1387449 HAS SOUS 1241713 HAS SOUPS 1241713 WITH SCORE 1243100.449
AT ITER 654 NEW BEST:: SOT 8347058 SOS 1387447 HAS SOPS 1387447 HAS SOUS 1241711 HAS SOUPS 1241711 WITH SCORE 1243098.447
AT ITER 655 NEW BEST:: SOT 8347058 SOS 1387447 HAS SOPS 1387447 HAS SOUS 1241710 HAS SOUPS 1241710 WITH SCORE 1243097.447
AT ITER 696 NEW BEST:: SOT 8346903 SOS 1387317 HAS SOPS 1387317 HAS SOUS 1241430 HAS SOUPS 1241430 WITH SCORE 1242817.317
AT ITER 719 NEW BEST:: SOT 8346716 SOS 1387171 HAS SOPS 1387171 HAS SOUS 1241256 HAS SOUPS 1241256 WITH SCORE 1242643.171
AT ITER 746 NEW BEST:: SOT 8346746 SOS 1386881 HAS SOPS 1386881 HAS SOUS 1241111 HAS SOUPS 1241111 WITH SCORE 1242497.881
AT ITER 782 NEW BEST:: SOT 8346746 SOS 1386843 HAS SOPS 1386843 HAS SOUS 1241110 HAS SOUPS 1241110 WITH SCORE 1242496.843
AT ITER 848 NEW BEST:: SOT 8346605 SOS 1386702 HAS SOPS 1386702 HAS SOUS 1241110 HAS SOUPS 1241110 WITH SCORE 1242496.702
AT ITER 911 NEW BEST:: SOT 8346457 SOS 1386406 HAS SOPS 1386406 HAS SOUS 1240814 HAS SOUPS 1240814 WITH SCORE 1242200.406
AT ITER 939 NEW BEST:: SOT 8346329 SOS 1386150 HAS SOPS 1386150 HAS SOUS 1240558 HAS SOUPS 1240558 WITH SCORE 1241944.15
AT ITER 954 NEW BEST:: SOT 8346175 SOS 1386452 HAS SOPS 1386452 HAS SOUS 1240555 HAS SOUPS 1240555 WITH SCORE 1241941.452
AT ITER 963 NEW BEST:: SOT 8345893 SOS 1385888 HAS SOPS 1385888 HAS SOUS 1239991 HAS SOUPS 1239991 WITH SCORE 1241376.888
AT ITER 1018 NEW BEST:: SOT 8345620 SOS 1385783 HAS SOPS 1385783 HAS SOUS 1239886 HAS SOUPS 1239886 WITH SCORE 1241271.783
AT ITER 1027 NEW BEST:: SOT 8345384 SOS 1385547 HAS SOPS 1385547 HAS SOUS 1239650 HAS SOUPS 1239650 WITH SCORE 1241035.547
AT ITER 1049 NEW BEST:: SOT 8344817 SOS 1385310 HAS SOPS 1385310 HAS SOUS 1239169 HAS SOUPS 1239169 WITH SCORE 1240554.31
AT ITER 1055 NEW BEST:: SOT 8344815 SOS 1385306 HAS SOPS 1385306 HAS SOUS 1239165 HAS SOUPS 1239165 WITH SCORE 1240550.306
AT ITER 1103 NEW BEST:: SOT 8344364 SOS 1384774 HAS SOPS 1384774 HAS SOUS 1238633 HAS SOUPS 1238633 WITH SCORE 1240017.774
AT ITER 1173 NEW BEST:: SOT 8344328 SOS 1384702 HAS SOPS 1384702 HAS SOUS 1238561 HAS SOUPS 1238561 WITH SCORE 1239945.702
AT ITER 1195 NEW BEST:: SOT 8344328 SOS 1384623 HAS SOPS 1384623 HAS SOUS 1238482 HAS SOUPS 1238482 WITH SCORE 1239866.623
AT ITER 1205 NEW BEST:: SOT 8343876 SOS 1384623 HAS SOPS 1384623 HAS SOUS 1238256 HAS SOUPS 1238256 WITH SCORE 1239640.623
AT ITER 1209 NEW BEST:: SOT 8343520 SOS 1383911 HAS SOPS 1383911 HAS SOUS 1237544 HAS SOUPS 1237544 WITH SCORE 1238927.911
AT ITER 1290 NEW BEST:: SOT 8337142 SOS 1413449 HAS SOPS 1413449 HAS SOUS 1232188 HAS SOUPS 1232188 WITH SCORE 1233601.449
AT ITER 1312 NEW BEST:: SOT 8336957 SOS 1413483 HAS SOPS 1413483 HAS SOUS 1232112 HAS SOUPS 1232112 WITH SCORE 1233525.483
AT ITER 1362 NEW BEST:: SOT 8325491 SOS 1409043 HAS SOPS 1409043 HAS SOUS 1221546 HAS SOUPS 1221546 WITH SCORE 1222955.043
AT ITER 1374 NEW BEST:: SOT 8324486 SOS 1409462 HAS SOPS 1409462 HAS SOUS 1221034 HAS SOUPS 1221034 WITH SCORE 1222443.462
AT ITER 1395 NEW BEST:: SOT 8324486 SOS 1409449 HAS SOPS 1409449 HAS SOUS 1221034 HAS SOUPS 1221034 WITH SCORE 1222443.449
AT ITER 1404 NEW BEST:: SOT 8324380 SOS 1409343 HAS SOPS 1409343 HAS SOUS 1220927 HAS SOUPS 1220927 WITH SCORE 1222336.343
AT ITER 1449 NEW BEST:: SOT 8324156 SOS 1408895 HAS SOPS 1408895 HAS SOUS 1220479 HAS SOUPS 1220479 WITH SCORE 1221887.895
AT ITER 1475 NEW BEST:: SOT 8324296 SOS 1408455 HAS SOPS 1408455 HAS SOUS 1219952 HAS SOUPS 1219952 WITH SCORE 1221360.455
AT ITER 1503 NEW BEST:: SOT 8323888 SOS 1407639 HAS SOPS 1407639 HAS SOUS 1219141 HAS SOUPS 1219141 WITH SCORE 1220548.639
AT ITER 1518 NEW BEST:: SOT 8323756 SOS 1407507 HAS SOPS 1407507 HAS SOUS 1218965 HAS SOUPS 1218965 WITH SCORE 1220372.507
AT ITER 1529 NEW BEST:: SOT 8323306 SOS 1406607 HAS SOPS 1406607 HAS SOUS 1218515 HAS SOUPS 1218515 WITH SCORE 1219921.607
AT ITER 1557 NEW BEST:: SOT 8323261 SOS 1406472 HAS SOPS 1406472 HAS SOUS 1218425 HAS SOUPS 1218425 WITH SCORE 1219831.472
AT ITER 1563 NEW BEST:: SOT 8323261 SOS 1406089 HAS SOPS 1406089 HAS SOUS 1218425 HAS SOUPS 1218425 WITH SCORE 1219831.089
AT ITER 1590 NEW BEST:: SOT 8323260 SOS 1406087 HAS SOPS 1406087 HAS SOUS 1218423 HAS SOUPS 1218423 WITH SCORE 1219829.087
AT ITER 1656 NEW BEST:: SOT 8323210 SOS 1406045 HAS SOPS 1406045 HAS SOUS 1218381 HAS SOUPS 1218381 WITH SCORE 1219787.045
AT ITER 1676 NEW BEST:: SOT 8322946 SOS 1405517 HAS SOPS 1405517 HAS SOUS 1217853 HAS SOUPS 1217853 WITH SCORE 1219258.517
AT ITER 1682 NEW BEST:: SOT 8322945 SOS 1405515 HAS SOPS 1405515 HAS SOUS 1217851 HAS SOUPS 1217851 WITH SCORE 1219256.515
AT ITER 1697 NEW BEST:: SOT 8322572 SOS 1404769 HAS SOPS 1404769 HAS SOUS 1217479 HAS SOUPS 1217479 WITH SCORE 1218883.769
AT ITER 1707 NEW BEST:: SOT 8321997 SOS 1404093 HAS SOPS 1404093 HAS SOUS 1217034 HAS SOUPS 1217034 WITH SCORE 1218438.093
AT ITER 1724 NEW BEST:: SOT 8321608 SOS 1403704 HAS SOPS 1403704 HAS SOUS 1216765 HAS SOUPS 1216765 WITH SCORE 1218168.704
AT ITER 1728 NEW BEST:: SOT 8321548 SOS 1403524 HAS SOPS 1403524 HAS SOUS 1216645 HAS SOUPS 1216645 WITH SCORE 1218048.524
AT ITER 1731 NEW BEST:: SOT 8321526 SOS 1403526 HAS SOPS 1403526 HAS SOUS 1216624 HAS SOUPS 1216624 WITH SCORE 1218027.526
AT ITER 1754 NEW BEST:: SOT 8321526 SOS 1403346 HAS SOPS 1403346 HAS SOUS 1216624 HAS SOUPS 1216624 WITH SCORE 1218027.346
AT ITER 1771 NEW BEST:: SOT 8321333 SOS 1403550 HAS SOPS 1403550 HAS SOUS 1216577 HAS SOUPS 1216577 WITH SCORE 1217980.55
AT ITER 1820 NEW BEST:: SOT 8321345 SOS 1403260 HAS SOPS 1403260 HAS SOUS 1216287 HAS SOUPS 1216287 WITH SCORE 1217690.26
AT ITER 1839 NEW BEST:: SOT 8321067 SOS 1402704 HAS SOPS 1402704 HAS SOUS 1215849 HAS SOUPS 1215849 WITH SCORE 1217251.704
AT ITER 1853 NEW BEST:: SOT 8321212 SOS 1402030 HAS SOPS 1402030 HAS SOUS 1215831 HAS SOUPS 1215831 WITH SCORE 1217233.03
AT ITER 1861 NEW BEST:: SOT 8321211 SOS 1401922 HAS SOPS 1401922 HAS SOUS 1215828 HAS SOUPS 1215828 WITH SCORE 1217229.922
AT ITER 1869 NEW BEST:: SOT 8321180 SOS 1401860 HAS SOPS 1401860 HAS SOUS 1215287 HAS SOUPS 1215287 WITH SCORE 1216688.86
AT ITER 1917 NEW BEST:: SOT 8320986 SOS 1401569 HAS SOPS 1401569 HAS SOUS 1214996 HAS SOUPS 1214996 WITH SCORE 1216397.569
AT ITER 1918 NEW BEST:: SOT 8320819 SOS 1416067 HAS SOPS 1416067 HAS SOUS 1214662 HAS SOUPS 1214662 WITH SCORE 1216078.067
AT ITER 1943 NEW BEST:: SOT 8320882 SOS 1416009 HAS SOPS 1416009 HAS SOUS 1214541 HAS SOUPS 1214541 WITH SCORE 1215957.009
AT ITER 1955 NEW BEST:: SOT 8320506 SOS 1415257 HAS SOPS 1415257 HAS SOUS 1214165 HAS SOUPS 1214165 WITH SCORE 1215580.257
AT ITER 1956 NEW BEST:: SOT 8320655 SOS 1415034 HAS SOPS 1415034 HAS SOUS 1213942 HAS SOUPS 1213942 WITH SCORE 1215357.034
AT ITER 1994 NEW BEST:: SOT 8320841 SOS 1414815 HAS SOPS 1414815 HAS SOUS 1213850 HAS SOUPS 1213850 WITH SCORE 1215264.815
AT ITER 1997 NEW BEST:: SOT 8320841 SOS 1414815 HAS SOPS 1414815 HAS SOUS 1213729 HAS SOUPS 1213729 WITH SCORE 1215143.815
AT ITER 1999 NEW BEST:: SOT 8320759 SOS 1414610 HAS SOPS 1414610 HAS SOUS 1213606 HAS SOUPS 1213606 WITH SCORE 1215020.61
AT ITER 2037 NEW BEST:: SOT 8320631 SOS 1414354 HAS SOPS 1414354 HAS SOUS 1213350 HAS SOUPS 1213350 WITH SCORE 1214764.354
AT ITER 2039 NEW BEST:: SOT 8317864 SOS 1412223 HAS SOPS 1412223 HAS SOUS 1210703 HAS SOUPS 1210703 WITH SCORE 1212115.223
AT ITER 2043 NEW BEST:: SOT 8317954 SOS 1412403 HAS SOPS 1412403 HAS SOUS 1210684 HAS SOUPS 1210684 WITH SCORE 1212096.403
AT ITER 2054 NEW BEST:: SOT 8317655 SOS 1412275 HAS SOPS 1412275 HAS SOUS 1210436 HAS SOUPS 1210436 WITH SCORE 1211848.275
AT ITER 2060 NEW BEST:: SOT 8317488 SOS 1411941 HAS SOPS 1411941 HAS SOUS 1210269 HAS SOUPS 1210269 WITH SCORE 1211680.941
AT ITER 2062 NEW BEST:: SOT 8317140 SOS 1411245 HAS SOPS 1411245 HAS SOUS 1209573 HAS SOUPS 1209573 WITH SCORE 1210984.245
AT ITER 2132 NEW BEST:: SOT 8317102 SOS 1411245 HAS SOPS 1411245 HAS SOUS 1209554 HAS SOUPS 1209554 WITH SCORE 1210965.245
AT ITER 2154 NEW BEST:: SOT 8317101 SOS 1410853 HAS SOPS 1410853 HAS SOUS 1209552 HAS SOUPS 1209552 WITH SCORE 1210962.853
AT ITER 2156 NEW BEST:: SOT 8317135 SOS 1410921 HAS SOPS 1410921 HAS SOUS 1209539 HAS SOUPS 1209539 WITH SCORE 1210949.921
AT ITER 2168 NEW BEST:: SOT 8317135 SOS 1410921 HAS SOPS 1410921 HAS SOUS 1209387 HAS SOUPS 1209387 WITH SCORE 1210797.921
AT ITER 2191 NEW BEST:: SOT 8317135 SOS 1410520 HAS SOPS 1410520 HAS SOUS 1209387 HAS SOUPS 1209387 WITH SCORE 1210797.52
AT ITER 2199 NEW BEST:: SOT 8316965 SOS 1410180 HAS SOPS 1410180 HAS SOUS 1209047 HAS SOUPS 1209047 WITH SCORE 1210457.18
AT ITER 2202 NEW BEST:: SOT 8316854 SOS 1409958 HAS SOPS 1409958 HAS SOUS 1208936 HAS SOUPS 1208936 WITH SCORE 1210345.958
AT ITER 2222 NEW BEST:: SOT 8316676 SOS 1409602 HAS SOPS 1409602 HAS SOUS 1208580 HAS SOUPS 1208580 WITH SCORE 1209989.602
AT ITER 2253 NEW BEST:: SOT 8316676 SOS 1409565 HAS SOPS 1409565 HAS SOUS 1208579 HAS SOUPS 1208579 WITH SCORE 1209988.565
AT ITER 2262 NEW BEST:: SOT 8316621 SOS 1409455 HAS SOPS 1409455 HAS SOUS 1208469 HAS SOUPS 1208469 WITH SCORE 1209878.455
AT ITER 2286 NEW BEST:: SOT 8316514 SOS 1409446 HAS SOPS 1409446 HAS SOUS 1208362 HAS SOUPS 1208362 WITH SCORE 1209771.446
AT ITER 2308 NEW BEST:: SOT 8316514 SOS 1408968 HAS SOPS 1408968 HAS SOUS 1208361 HAS SOUPS 1208361 WITH SCORE 1209769.968
AT ITER 2332 NEW BEST:: SOT 8315604 SOS 1408756 HAS SOPS 1408756 HAS SOUS 1207442 HAS SOUPS 1207442 WITH SCORE 1208850.756
AT ITER 2346 NEW BEST:: SOT 8315302 SOS 1408152 HAS SOPS 1408152 HAS SOUS 1206838 HAS SOUPS 1206838 WITH SCORE 1208246.152
AT ITER 2348 NEW BEST:: SOT 8315275 SOS 1408098 HAS SOPS 1408098 HAS SOUS 1206811 HAS SOUPS 1206811 WITH SCORE 1208219.098
AT ITER 2352 NEW BEST:: SOT 8315121 SOS 1407790 HAS SOPS 1407790 HAS SOUS 1206657 HAS SOUPS 1206657 WITH SCORE 1208064.79
AT ITER 2365 NEW BEST:: SOT 8314706 SOS 1407513 HAS SOPS 1407513 HAS SOUS 1206242 HAS SOUPS 1206242 WITH SCORE 1207649.513
AT ITER 2399 NEW BEST:: SOT 8314741 SOS 1407583 HAS SOPS 1407583 HAS SOUS 1206060 HAS SOUPS 1206060 WITH SCORE 1207467.583
AT ITER 2410 NEW BEST:: SOT 8314741 SOS 1407420 HAS SOPS 1407420 HAS SOUS 1205897 HAS SOUPS 1205897 WITH SCORE 1207304.42
AT ITER 2419 NEW BEST:: SOT 8297590 SOS 1408188 HAS SOPS 1408188 HAS SOUS 1190102 HAS SOUPS 1190102 WITH SCORE 1191510.188
AT ITER 2468 NEW BEST:: SOT 8297403 SOS 1408126 HAS SOPS 1408126 HAS SOUS 1189978 HAS SOUPS 1189978 WITH SCORE 1191386.126
AT ITER 2472 NEW BEST:: SOT 8297405 SOS 1408130 HAS SOPS 1408130 HAS SOUS 1189888 HAS SOUPS 1189888 WITH SCORE 1191296.13
AT ITER 2582 NEW BEST:: SOT 8297274 SOS 1407868 HAS SOPS 1407868 HAS SOUS 1189834 HAS SOUPS 1189834 WITH SCORE 1191241.868
AT ITER 2617 NEW BEST:: SOT 8296994 SOS 1407308 HAS SOPS 1407308 HAS SOUS 1189554 HAS SOUPS 1189554 WITH SCORE 1190961.308
AT ITER 2622 NEW BEST:: SOT 8296559 SOS 1406938 HAS SOPS 1406938 HAS SOUS 1189184 HAS SOUPS 1189184 WITH SCORE 1190590.938
AT ITER 2628 NEW BEST:: SOT 8296461 SOS 1407024 HAS SOPS 1407024 HAS SOUS 1189086 HAS SOUPS 1189086 WITH SCORE 1190493.024
AT ITER 2631 NEW BEST:: SOT 8296154 SOS 1407506 HAS SOPS 1407506 HAS SOUS 1188903 HAS SOUPS 1188903 WITH SCORE 1190310.506
AT ITER 2661 NEW BEST:: SOT 8295899 SOS 1407272 HAS SOPS 1407272 HAS SOUS 1188663 HAS SOUPS 1188663 WITH SCORE 1190070.272
AT ITER 2665 NEW BEST:: SOT 8295899 SOS 1407199 HAS SOPS 1407199 HAS SOUS 1188663 HAS SOUPS 1188663 WITH SCORE 1190070.199
AT ITER 2693 NEW BEST:: SOT 8295174 SOS 1406567 HAS SOPS 1406567 HAS SOUS 1188031 HAS SOUPS 1188031 WITH SCORE 1189437.567
AT ITER 2716 NEW BEST:: SOT 8294918 SOS 1406055 HAS SOPS 1406055 HAS SOUS 1187519 HAS SOUPS 1187519 WITH SCORE 1188925.055
AT ITER 2739 NEW BEST:: SOT 8294165 SOS 1405302 HAS SOPS 1405302 HAS SOUS 1186766 HAS SOUPS 1186766 WITH SCORE 1188171.302
AT ITER 2759 NEW BEST:: SOT 8294165 SOS 1405273 HAS SOPS 1405273 HAS SOUS 1186766 HAS SOUPS 1186766 WITH SCORE 1188171.273
AT ITER 2781 NEW BEST:: SOT 8293843 SOS 1404974 HAS SOPS 1404974 HAS SOUS 1186467 HAS SOUPS 1186467 WITH SCORE 1187871.974
AT ITER 2811 NEW BEST:: SOT 8293803 SOS 1404894 HAS SOPS 1404894 HAS SOUS 1186387 HAS SOUPS 1186387 WITH SCORE 1187791.894
AT ITER 2813 NEW BEST:: SOT 8293803 SOS 1404894 HAS SOPS 1404894 HAS SOUS 1186132 HAS SOUPS 1186132 WITH SCORE 1187536.894
AT ITER 2827 NEW BEST:: SOT 8293718 SOS 1404846 HAS SOPS 1404846 HAS SOUS 1186047 HAS SOUPS 1186047 WITH SCORE 1187451.846
AT ITER 2849 NEW BEST:: SOT 8293717 SOS 1404844 HAS SOPS 1404844 HAS SOUS 1186045 HAS SOUPS 1186045 WITH SCORE 1187449.844
AT ITER 2885 NEW BEST:: SOT 8293324 SOS 1404058 HAS SOPS 1404058 HAS SOUS 1185259 HAS SOUPS 1185259 WITH SCORE 1186663.058
AT ITER 2927 NEW BEST:: SOT 8293312 SOS 1404034 HAS SOPS 1404034 HAS SOUS 1185235 HAS SOUPS 1185235 WITH SCORE 1186639.034
AT ITER 2929 NEW BEST:: SOT 8293311 SOS 1403957 HAS SOPS 1403957 HAS SOUS 1185159 HAS SOUPS 1185159 WITH SCORE 1186562.957
AT ITER 2930 NEW BEST:: SOT 8293012 SOS 1403359 HAS SOPS 1403359 HAS SOUS 1184892 HAS SOUPS 1184892 WITH SCORE 1186295.359
AT ITER 2952 NEW BEST:: SOT 8292768 SOS 1403115 HAS SOPS 1403115 HAS SOUS 1184648 HAS SOUPS 1184648 WITH SCORE 1186051.115
AT ITER 2964 NEW BEST:: SOT 8292405 SOS 1403047 HAS SOPS 1403047 HAS SOUS 1184398 HAS SOUPS 1184398 WITH SCORE 1185801.047
AT ITER 2973 NEW BEST:: SOT 8292305 SOS 1402847 HAS SOPS 1402847 HAS SOUS 1184387 HAS SOUPS 1184387 WITH SCORE 1185789.847
AT ITER 3002 NEW BEST:: SOT 8292244 SOS 1402786 HAS SOPS 1402786 HAS SOUS 1184265 HAS SOUPS 1184265 WITH SCORE 1185667.786
AT ITER 3041 NEW BEST:: SOT 8292235 SOS 1402768 HAS SOPS 1402768 HAS SOUS 1184256 HAS SOUPS 1184256 WITH SCORE 1185658.768
AT ITER 3054 NEW BEST:: SOT 8291927 SOS 1402460 HAS SOPS 1402460 HAS SOUS 1183948 HAS SOUPS 1183948 WITH SCORE 1185350.46
AT ITER 3057 NEW BEST:: SOT 8291895 SOS 1402396 HAS SOPS 1402396 HAS SOUS 1183884 HAS SOUPS 1183884 WITH SCORE 1185286.396
AT ITER 3087 NEW BEST:: SOT 8291904 SOS 1402414 HAS SOPS 1402414 HAS SOUS 1183603 HAS SOUPS 1183603 WITH SCORE 1185005.414
AT ITER 3092 NEW BEST:: SOT 8291852 SOS 1402310 HAS SOPS 1402310 HAS SOUS 1183499 HAS SOUPS 1183499 WITH SCORE 1184901.31
AT ITER 3117 NEW BEST:: SOT 8291852 SOS 1402310 HAS SOPS 1402310 HAS SOUS 1183492 HAS SOUPS 1183492 WITH SCORE 1184894.31
AT ITER 3141 NEW BEST:: SOT 8291943 SOS 1401302 HAS SOPS 1401302 HAS SOUS 1183480 HAS SOUPS 1183480 WITH SCORE 1184881.302
AT ITER 3155 NEW BEST:: SOT 8291943 SOS 1401280 HAS SOPS 1401280 HAS SOUS 1183480 HAS SOUPS 1183480 WITH SCORE 1184881.28
AT ITER 3207 NEW BEST:: SOT 8291760 SOS 1400914 HAS SOPS 1400914 HAS SOUS 1183297 HAS SOUPS 1183297 WITH SCORE 1184697.914
AT ITER 3209 NEW BEST:: SOT 8291508 SOS 1400662 HAS SOPS 1400662 HAS SOUS 1183045 HAS SOUPS 1183045 WITH SCORE 1184445.662
AT ITER 3254 NEW BEST:: SOT 8291344 SOS 1400252 HAS SOPS 1400252 HAS SOUS 1182799 HAS SOUPS 1182799 WITH SCORE 1184199.252
AT ITER 3281 NEW BEST:: SOT 8290995 SOS 1399919 HAS SOPS 1399919 HAS SOUS 1182466 HAS SOUPS 1182466 WITH SCORE 1183865.919
AT ITER 3282 NEW BEST:: SOT 8290858 SOS 1400411 HAS SOPS 1400411 HAS SOUS 1182452 HAS SOUPS 1182452 WITH SCORE 1183852.411
AT ITER 3286 NEW BEST:: SOT 8290858 SOS 1400234 HAS SOPS 1400234 HAS SOUS 1182452 HAS SOUPS 1182452 WITH SCORE 1183852.234
AT ITER 3304 NEW BEST:: SOT 8290250 SOS 1376871 HAS SOPS 1376871 HAS SOUS 1181843 HAS SOUPS 1181843 WITH SCORE 1183219.871
AT ITER 3311 NEW BEST:: SOT 8290250 SOS 1376871 HAS SOPS 1376871 HAS SOUS 1181757 HAS SOUPS 1181757 WITH SCORE 1183133.871
AT ITER 3313 NEW BEST:: SOT 8289949 SOS 1376269 HAS SOPS 1376269 HAS SOUS 1181155 HAS SOUPS 1181155 WITH SCORE 1182531.269
AT ITER 3324 NEW BEST:: SOT 8288035 SOS 1374036 HAS SOPS 1374036 HAS SOUS 1178922 HAS SOUPS 1178922 WITH SCORE 1180296.036
AT ITER 3335 NEW BEST:: SOT 8287963 SOS 1373623 HAS SOPS 1373623 HAS SOUS 1178778 HAS SOUPS 1178778 WITH SCORE 1180151.623
AT ITER 3340 NEW BEST:: SOT 8286840 SOS 1374017 HAS SOPS 1374017 HAS SOUS 1178144 HAS SOUPS 1178144 WITH SCORE 1179518.017
AT ITER 3345 NEW BEST:: SOT 8286559 SOS 1373735 HAS SOPS 1373735 HAS SOUS 1177862 HAS SOUPS 1177862 WITH SCORE 1179235.735
AT ITER 3368 NEW BEST:: SOT 8285967 SOS 1374721 HAS SOPS 1374721 HAS SOUS 1177704 HAS SOUPS 1177704 WITH SCORE 1179078.721
AT ITER 3371 NEW BEST:: SOT 8285861 SOS 1374725 HAS SOPS 1374725 HAS SOUS 1177382 HAS SOUPS 1177382 WITH SCORE 1178756.725
AT ITER 3374 NEW BEST:: SOT 8285248 SOS 1373499 HAS SOPS 1373499 HAS SOUS 1176781 HAS SOUPS 1176781 WITH SCORE 1178154.499
AT ITER 3387 NEW BEST:: SOT 8284937 SOS 1373187 HAS SOPS 1373187 HAS SOUS 1176469 HAS SOUPS 1176469 WITH SCORE 1177842.187
AT ITER 3397 NEW BEST:: SOT 8285230 SOS 1373773 HAS SOPS 1373773 HAS SOUS 1176454 HAS SOUPS 1176454 WITH SCORE 1177827.773
AT ITER 3401 NEW BEST:: SOT 8285212 SOS 1373758 HAS SOPS 1373758 HAS SOUS 1176439 HAS SOUPS 1176439 WITH SCORE 1177812.758
AT ITER 3403 NEW BEST:: SOT 8285212 SOS 1373724 HAS SOPS 1373724 HAS SOUS 1176439 HAS SOUPS 1176439 WITH SCORE 1177812.724
AT ITER 3425 NEW BEST:: SOT 8285193 SOS 1373686 HAS SOPS 1373686 HAS SOUS 1176420 HAS SOUPS 1176420 WITH SCORE 1177793.686
AT ITER 3426 NEW BEST:: SOT 8285208 SOS 1373716 HAS SOPS 1373716 HAS SOUS 1176412 HAS SOUPS 1176412 WITH SCORE 1177785.716
AT ITER 3433 NEW BEST:: SOT 8285208 SOS 1373518 HAS SOPS 1373518 HAS SOUS 1176412 HAS SOUPS 1176412 WITH SCORE 1177785.518
AT ITER 3446 NEW BEST:: SOT 8285232 SOS 1373434 HAS SOPS 1373434 HAS SOUS 1176370 HAS SOUPS 1176370 WITH SCORE 1177743.434
AT ITER 3465 NEW BEST:: SOT 8284956 SOS 1373222 HAS SOPS 1373222 HAS SOUS 1176158 HAS SOUPS 1176158 WITH SCORE 1177531.222
AT ITER 3482 NEW BEST:: SOT 8284586 SOS 1373284 HAS SOPS 1373284 HAS SOUS 1175935 HAS SOUPS 1175935 WITH SCORE 1177308.284
AT ITER 3486 NEW BEST:: SOT 8284586 SOS 1373240 HAS SOPS 1373240 HAS SOUS 1175935 HAS SOUPS 1175935 WITH SCORE 1177308.24
AT ITER 3511 NEW BEST:: SOT 8284556 SOS 1372646 HAS SOPS 1372646 HAS SOUS 1175559 HAS SOUPS 1175559 WITH SCORE 1176931.646
AT ITER 3523 NEW BEST:: SOT 8284222 SOS 1371978 HAS SOPS 1371978 HAS SOUS 1174891 HAS SOUPS 1174891 WITH SCORE 1176262.978
AT ITER 3539 NEW BEST:: SOT 8284222 SOS 1371978 HAS SOPS 1371978 HAS SOUS 1174494 HAS SOUPS 1174494 WITH SCORE 1175865.978
AT ITER 3550 NEW BEST:: SOT 8283605 SOS 1372552 HAS SOPS 1372552 HAS SOUS 1174147 HAS SOUPS 1174147 WITH SCORE 1175519.552
AT ITER 3555 NEW BEST:: SOT 8281534 SOS 1373730 HAS SOPS 1373730 HAS SOUS 1172558 HAS SOUPS 1172558 WITH SCORE 1173931.73
AT ITER 3563 NEW BEST:: SOT 8281534 SOS 1373730 HAS SOPS 1373730 HAS SOUS 1172518 HAS SOUPS 1172518 WITH SCORE 1173891.73
AT ITER 3578 NEW BEST:: SOT 8281534 SOS 1373357 HAS SOPS 1373357 HAS SOUS 1172518 HAS SOUPS 1172518 WITH SCORE 1173891.357
AT ITER 3581 NEW BEST:: SOT 8281477 SOS 1373243 HAS SOPS 1373243 HAS SOUS 1172461 HAS SOUPS 1172461 WITH SCORE 1173834.243
AT ITER 3588 NEW BEST:: SOT 8281462 SOS 1373213 HAS SOPS 1373213 HAS SOUS 1172431 HAS SOUPS 1172431 WITH SCORE 1173804.213
AT ITER 3603 NEW BEST:: SOT 8281286 SOS 1372861 HAS SOPS 1372861 HAS SOUS 1172325 HAS SOUPS 1172325 WITH SCORE 1173697.861
AT ITER 3618 NEW BEST:: SOT 8281182 SOS 1372653 HAS SOPS 1372653 HAS SOUS 1172117 HAS SOUPS 1172117 WITH SCORE 1173489.653
AT ITER 3644 NEW BEST:: SOT 8280895 SOS 1372955 HAS SOPS 1372955 HAS SOUS 1172048 HAS SOUPS 1172048 WITH SCORE 1173420.955
AT ITER 3647 NEW BEST:: SOT 8280623 SOS 1372954 HAS SOPS 1372954 HAS SOUS 1172046 HAS SOUPS 1172046 WITH SCORE 1173418.954
AT ITER 3650 NEW BEST:: SOT 8280821 SOS 1372397 HAS SOPS 1372397 HAS SOUS 1171686 HAS SOUPS 1171686 WITH SCORE 1173058.397
AT ITER 3655 NEW BEST:: SOT 8280791 SOS 1372337 HAS SOPS 1372337 HAS SOUS 1171626 HAS SOUPS 1171626 WITH SCORE 1172998.337
AT ITER 3674 NEW BEST:: SOT 8280791 SOS 1372337 HAS SOPS 1372337 HAS SOUS 1171516 HAS SOUPS 1171516 WITH SCORE 1172888.337
AT ITER 3710 NEW BEST:: SOT 8280537 SOS 1372171 HAS SOPS 1372171 HAS SOUS 1171262 HAS SOUPS 1171262 WITH SCORE 1172634.171
AT ITER 3721 NEW BEST:: SOT 8280507 SOS 1372111 HAS SOPS 1372111 HAS SOUS 1171202 HAS SOUPS 1171202 WITH SCORE 1172574.111
AT ITER 3733 NEW BEST:: SOT 8280227 SOS 1371551 HAS SOPS 1371551 HAS SOUS 1170921 HAS SOUPS 1170921 WITH SCORE 1172292.551
AT ITER 3758 NEW BEST:: SOT 8280226 SOS 1371414 HAS SOPS 1371414 HAS SOUS 1170919 HAS SOUPS 1170919 WITH SCORE 1172290.414
AT ITER 3782 NEW BEST:: SOT 8279874 SOS 1370710 HAS SOPS 1370710 HAS SOUS 1170215 HAS SOUPS 1170215 WITH SCORE 1171585.71
AT ITER 3788 NEW BEST:: SOT 8279751 SOS 1370464 HAS SOPS 1370464 HAS SOUS 1170090 HAS SOUPS 1170090 WITH SCORE 1171460.464
AT ITER 3794 NEW BEST:: SOT 8279751 SOS 1370337 HAS SOPS 1370337 HAS SOUS 1169963 HAS SOUPS 1169963 WITH SCORE 1171333.337
AT ITER 3824 NEW BEST:: SOT 8279707 SOS 1370249 HAS SOPS 1370249 HAS SOUS 1169875 HAS SOUPS 1169875 WITH SCORE 1171245.249
AT ITER 3833 NEW BEST:: SOT 8279707 SOS 1369833 HAS SOPS 1369833 HAS SOUS 1169874 HAS SOUPS 1169874 WITH SCORE 1171243.833
AT ITER 3876 NEW BEST:: SOT 8279675 SOS 1369769 HAS SOPS 1369769 HAS SOUS 1169842 HAS SOUPS 1169842 WITH SCORE 1171211.769
AT ITER 3877 NEW BEST:: SOT 8279653 SOS 1369725 HAS SOPS 1369725 HAS SOUS 1169820 HAS SOUPS 1169820 WITH SCORE 1171189.725
AT ITER 3903 NEW BEST:: SOT 8279653 SOS 1369314 HAS SOPS 1369314 HAS SOUS 1169820 HAS SOUPS 1169820 WITH SCORE 1171189.314
AT ITER 3923 NEW BEST:: SOT 8279563 SOS 1369134 HAS SOPS 1369134 HAS SOUS 1169640 HAS SOUPS 1169640 WITH SCORE 1171009.134
AT ITER 3950 NEW BEST:: SOT 8279515 SOS 1369038 HAS SOPS 1369038 HAS SOUS 1169544 HAS SOUPS 1169544 WITH SCORE 1170913.038
AT ITER 4012 NEW BEST:: SOT 8279255 SOS 1368891 HAS SOPS 1368891 HAS SOUS 1169284 HAS SOUPS 1169284 WITH SCORE 1170652.891
AT ITER 4018 NEW BEST:: SOT 8279255 SOS 1368891 HAS SOPS 1368891 HAS SOUS 1169281 HAS SOUPS 1169281 WITH SCORE 1170649.891
AT ITER 4041 NEW BEST:: SOT 8278772 SOS 1367925 HAS SOPS 1367925 HAS SOUS 1168315 HAS SOUPS 1168315 WITH SCORE 1169682.925
AT ITER 4079 NEW BEST:: SOT 8278447 SOS 1367275 HAS SOPS 1367275 HAS SOUS 1167665 HAS SOUPS 1167665 WITH SCORE 1169032.275
AT ITER 4110 NEW BEST:: SOT 8278143 SOS 1367501 HAS SOPS 1367501 HAS SOUS 1167376 HAS SOUPS 1167376 WITH SCORE 1168743.501
AT ITER 4114 NEW BEST:: SOT 8278143 SOS 1367501 HAS SOPS 1367501 HAS SOUS 1167159 HAS SOUPS 1167159 WITH SCORE 1168526.501
AT ITER 4138 NEW BEST:: SOT 8278143 SOS 1367462 HAS SOPS 1367462 HAS SOUS 1167120 HAS SOUPS 1167120 WITH SCORE 1168487.462
AT ITER 4148 NEW BEST:: SOT 8277855 SOS 1367148 HAS SOPS 1367148 HAS SOUS 1166754 HAS SOUPS 1166754 WITH SCORE 1168121.148
AT ITER 4155 NEW BEST:: SOT 8277892 SOS 1367222 HAS SOPS 1367222 HAS SOUS 1166548 HAS SOUPS 1166548 WITH SCORE 1167915.222
AT ITER 4156 NEW BEST:: SOT 8277456 SOS 1366350 HAS SOPS 1366350 HAS SOUS 1165676 HAS SOUPS 1165676 WITH SCORE 1167042.35
AT ITER 4181 NEW BEST:: SOT 8277282 SOS 1366176 HAS SOPS 1366176 HAS SOUS 1165338 HAS SOUPS 1165338 WITH SCORE 1166704.176
AT ITER 4201 NEW BEST:: SOT 8277278 SOS 1366181 HAS SOPS 1366181 HAS SOUS 1165321 HAS SOUPS 1165321 WITH SCORE 1166687.181
AT ITER 4206 NEW BEST:: SOT 8277174 SOS 1366311 HAS SOPS 1366311 HAS SOUS 1165106 HAS SOUPS 1165106 WITH SCORE 1166472.311
AT ITER 4228 NEW BEST:: SOT 8277050 SOS 1366541 HAS SOPS 1366541 HAS SOUS 1164942 HAS SOUPS 1164942 WITH SCORE 1166308.541
AT ITER 4230 NEW BEST:: SOT 8276890 SOS 1366498 HAS SOPS 1366498 HAS SOUS 1164782 HAS SOUPS 1164782 WITH SCORE 1166148.498
AT ITER 4264 NEW BEST:: SOT 8276747 SOS 1366476 HAS SOPS 1366476 HAS SOUS 1164700 HAS SOUPS 1164700 WITH SCORE 1166066.476
AT ITER 4276 NEW BEST:: SOT 8276003 SOS 1365732 HAS SOPS 1365732 HAS SOUS 1163956 HAS SOUPS 1163956 WITH SCORE 1165321.732
AT ITER 4284 NEW BEST:: SOT 8275830 SOS 1365386 HAS SOPS 1365386 HAS SOUS 1163610 HAS SOUPS 1163610 WITH SCORE 1164975.386
AT ITER 4307 NEW BEST:: SOT 8275670 SOS 1365226 HAS SOPS 1365226 HAS SOUS 1163450 HAS SOUPS 1163450 WITH SCORE 1164815.226
AT ITER 4330 NEW BEST:: SOT 8275670 SOS 1365226 HAS SOPS 1365226 HAS SOUS 1163428 HAS SOUPS 1163428 WITH SCORE 1164793.226
AT ITER 4341 NEW BEST:: SOT 8275619 SOS 1365175 HAS SOPS 1365175 HAS SOUS 1163377 HAS SOUPS 1163377 WITH SCORE 1164742.175
AT ITER 4353 NEW BEST:: SOT 8275619 SOS 1365175 HAS SOPS 1365175 HAS SOUS 1163034 HAS SOUPS 1163034 WITH SCORE 1164399.175
AT ITER 4360 NEW BEST:: SOT 8275619 SOS 1365149 HAS SOPS 1365149 HAS SOUS 1163034 HAS SOUPS 1163034 WITH SCORE 1164399.149
AT ITER 4380 NEW BEST:: SOT 8275513 SOS 1364937 HAS SOPS 1364937 HAS SOUS 1163007 HAS SOUPS 1163007 WITH SCORE 1164371.937
AT ITER 4398 NEW BEST:: SOT 8275566 SOS 1364895 HAS SOPS 1364895 HAS SOUS 1162646 HAS SOUPS 1162646 WITH SCORE 1164010.895
AT ITER 4441 NEW BEST:: SOT 8275566 SOS 1364452 HAS SOPS 1364452 HAS SOUS 1162231 HAS SOUPS 1162231 WITH SCORE 1163595.452
AT ITER 4446 NEW BEST:: SOT 8275566 SOS 1364106 HAS SOPS 1364106 HAS SOUS 1162231 HAS SOUPS 1162231 WITH SCORE 1163595.106
AT ITER 4450 NEW BEST:: SOT 8275566 SOS 1364106 HAS SOPS 1364106 HAS SOUS 1162230 HAS SOUPS 1162230 WITH SCORE 1163594.106
AT ITER 4461 NEW BEST:: SOT 8275566 SOS 1363957 HAS SOPS 1363957 HAS SOUS 1162229 HAS SOUPS 1162229 WITH SCORE 1163592.957
AT ITER 4462 NEW BEST:: SOT 8275380 SOS 1363840 HAS SOPS 1363840 HAS SOUS 1162113 HAS SOUPS 1162113 WITH SCORE 1163476.84
AT ITER 4468 NEW BEST:: SOT 8275212 SOS 1363504 HAS SOPS 1363504 HAS SOUS 1161767 HAS SOUPS 1161767 WITH SCORE 1163130.504
AT ITER 4485 NEW BEST:: SOT 8275197 SOS 1363474 HAS SOPS 1363474 HAS SOUS 1161743 HAS SOUPS 1161743 WITH SCORE 1163106.474
AT ITER 4489 NEW BEST:: SOT 8275487 SOS 1363068 HAS SOPS 1363068 HAS SOUS 1161732 HAS SOUPS 1161732 WITH SCORE 1163095.068
AT ITER 4490 NEW BEST:: SOT 8275447 SOS 1362988 HAS SOPS 1362988 HAS SOUS 1161691 HAS SOUPS 1161691 WITH SCORE 1163053.988
AT ITER 4502 NEW BEST:: SOT 8275447 SOS 1362988 HAS SOPS 1362988 HAS SOUS 1161689 HAS SOUPS 1161689 WITH SCORE 1163051.988
AT ITER 4506 NEW BEST:: SOT 8275445 SOS 1362984 HAS SOPS 1362984 HAS SOUS 1161687 HAS SOUPS 1161687 WITH SCORE 1163049.984
AT ITER 4529 NEW BEST:: SOT 8275294 SOS 1362682 HAS SOPS 1362682 HAS SOUS 1161385 HAS SOUPS 1161385 WITH SCORE 1162747.682
AT ITER 4550 NEW BEST:: SOT 8275293 SOS 1362680 HAS SOPS 1362680 HAS SOUS 1161383 HAS SOUPS 1161383 WITH SCORE 1162745.68
AT ITER 4576 NEW BEST:: SOT 8275293 SOS 1362680 HAS SOPS 1362680 HAS SOUS 1161276 HAS SOUPS 1161276 WITH SCORE 1162638.68
AT ITER 4579 NEW BEST:: SOT 8275187 SOS 1362354 HAS SOPS 1362354 HAS SOUS 1161056 HAS SOUPS 1161056 WITH SCORE 1162418.354
AT ITER 4581 NEW BEST:: SOT 8274945 SOS 1361870 HAS SOPS 1361870 HAS SOUS 1160572 HAS SOUPS 1160572 WITH SCORE 1161933.87
AT ITER 4606 NEW BEST:: SOT 8274761 SOS 1361686 HAS SOPS 1361686 HAS SOUS 1160388 HAS SOUPS 1160388 WITH SCORE 1161749.686
AT ITER 4618 NEW BEST:: SOT 8274761 SOS 1361303 HAS SOPS 1361303 HAS SOUS 1160005 HAS SOUPS 1160005 WITH SCORE 1161366.303
AT ITER 4630 NEW BEST:: SOT 8274655 SOS 1360985 HAS SOPS 1360985 HAS SOUS 1159899 HAS SOUPS 1159899 WITH SCORE 1161259.985
AT ITER 4632 NEW BEST:: SOT 8274654 SOS 1360983 HAS SOPS 1360983 HAS SOUS 1159897 HAS SOUPS 1159897 WITH SCORE 1161257.983
AT ITER 4639 NEW BEST:: SOT 8274618 SOS 1360911 HAS SOPS 1360911 HAS SOUS 1159861 HAS SOUPS 1159861 WITH SCORE 1161221.911
AT ITER 4669 NEW BEST:: SOT 8274610 SOS 1360402 HAS SOPS 1360402 HAS SOUS 1159603 HAS SOUPS 1159603 WITH SCORE 1160963.402
AT ITER 4672 NEW BEST:: SOT 8274545 SOS 1360272 HAS SOPS 1360272 HAS SOUS 1159473 HAS SOUPS 1159473 WITH SCORE 1160833.272
AT ITER 4676 NEW BEST:: SOT 8274544 SOS 1360270 HAS SOPS 1360270 HAS SOUS 1159471 HAS SOUPS 1159471 WITH SCORE 1160831.27
AT ITER 4722 NEW BEST:: SOT 8274408 SOS 1359862 HAS SOPS 1359862 HAS SOUS 1159199 HAS SOUPS 1159199 WITH SCORE 1160558.862
AT ITER 4730 NEW BEST:: SOT 8258760 SOS 1344436 HAS SOPS 1344436 HAS SOUS 1144080 HAS SOUPS 1144080 WITH SCORE 1145424.436
AT ITER 4775 NEW BEST:: SOT 8258760 SOS 1344146 HAS SOPS 1344146 HAS SOUS 1144080 HAS SOUPS 1144080 WITH SCORE 1145424.146
AT ITER 4799 NEW BEST:: SOT 8258759 SOS 1344144 HAS SOPS 1344144 HAS SOUS 1144078 HAS SOUPS 1144078 WITH SCORE 1145422.144
AT ITER 4811 NEW BEST:: SOT 8258601 SOS 1344042 HAS SOPS 1344042 HAS SOUS 1143919 HAS SOUPS 1143919 WITH SCORE 1145263.042
AT ITER 4816 NEW BEST:: SOT 8258601 SOS 1343918 HAS SOPS 1343918 HAS SOUS 1143795 HAS SOUPS 1143795 WITH SCORE 1145138.918
AT ITER 4821 NEW BEST:: SOT 8258558 SOS 1343832 HAS SOPS 1343832 HAS SOUS 1143752 HAS SOUPS 1143752 WITH SCORE 1145095.832
AT ITER 4876 NEW BEST:: SOT 8258557 SOS 1343830 HAS SOPS 1343830 HAS SOUS 1143750 HAS SOUPS 1143750 WITH SCORE 1145093.83
AT ITER 4917 NEW BEST:: SOT 8258471 SOS 1343744 HAS SOPS 1343744 HAS SOUS 1143750 HAS SOUPS 1143750 WITH SCORE 1145093.744
AT ITER 4950 NEW BEST:: SOT 8258528 SOS 1343590 HAS SOPS 1343590 HAS SOUS 1143596 HAS SOUPS 1143596 WITH SCORE 1144939.59
AT ITER 4983 NEW BEST:: SOT 8258527 SOS 1343323 HAS SOPS 1343323 HAS SOUS 1143594 HAS SOUPS 1143594 WITH SCORE 1144937.323
AT ITER 4990 NEW BEST:: SOT 8258353 SOS 1343149 HAS SOPS 1343149 HAS SOUS 1143420 HAS SOUPS 1143420 WITH SCORE 1144763.149
AT ITER 5050 NEW BEST:: SOT 8258304 SOS 1343051 HAS SOPS 1343051 HAS SOUS 1143420 HAS SOUPS 1143420 WITH SCORE 1144763.051
AT ITER 5080 NEW BEST:: SOT 8258153 SOS 1342908 HAS SOPS 1342908 HAS SOUS 1143297 HAS SOUPS 1143297 WITH SCORE 1144639.908
AT ITER 5091 NEW BEST:: SOT 8258129 SOS 1342884 HAS SOPS 1342884 HAS SOUS 1143273 HAS SOUPS 1143273 WITH SCORE 1144615.884
AT ITER 5107 NEW BEST:: SOT 8258128 SOS 1342518 HAS SOPS 1342518 HAS SOUS 1143271 HAS SOUPS 1143271 WITH SCORE 1144613.518
AT ITER 5170 NEW BEST:: SOT 8258104 SOS 1342470 HAS SOPS 1342470 HAS SOUS 1142949 HAS SOUPS 1142949 WITH SCORE 1144291.47
AT ITER 5173 NEW BEST:: SOT 8257776 SOS 1341814 HAS SOPS 1341814 HAS SOUS 1142581 HAS SOUPS 1142581 WITH SCORE 1143922.814
AT ITER 5185 NEW BEST:: SOT 8257719 SOS 1341700 HAS SOPS 1341700 HAS SOUS 1142467 HAS SOUPS 1142467 WITH SCORE 1143808.7
AT ITER 5187 NEW BEST:: SOT 8257252 SOS 1340260 HAS SOPS 1340260 HAS SOUS 1141494 HAS SOUPS 1141494 WITH SCORE 1142834.26
AT ITER 5227 NEW BEST:: SOT 8252692 SOS 1366587 HAS SOPS 1366587 HAS SOUS 1139303 HAS SOUPS 1139303 WITH SCORE 1140669.587
AT ITER 5239 NEW BEST:: SOT 8252528 SOS 1365965 HAS SOPS 1365965 HAS SOUS 1139139 HAS SOUPS 1139139 WITH SCORE 1140504.965
AT ITER 5243 NEW BEST:: SOT 8252492 SOS 1366127 HAS SOPS 1366127 HAS SOUS 1139078 HAS SOUPS 1139078 WITH SCORE 1140444.127
AT ITER 5249 NEW BEST:: SOT 8251949 SOS 1365041 HAS SOPS 1365041 HAS SOUS 1138724 HAS SOUPS 1138724 WITH SCORE 1140089.041
AT ITER 5259 NEW BEST:: SOT 8251920 SOS 1365041 HAS SOPS 1365041 HAS SOUS 1138695 HAS SOUPS 1138695 WITH SCORE 1140060.041
AT ITER 5293 NEW BEST:: SOT 8251824 SOS 1364969 HAS SOPS 1364969 HAS SOUS 1138599 HAS SOUPS 1138599 WITH SCORE 1139963.969
AT ITER 5325 NEW BEST:: SOT 8251824 SOS 1364905 HAS SOPS 1364905 HAS SOUS 1138599 HAS SOUPS 1138599 WITH SCORE 1139963.905
AT ITER 5326 NEW BEST:: SOT 8251824 SOS 1364793 HAS SOPS 1364793 HAS SOUS 1138599 HAS SOUPS 1138599 WITH SCORE 1139963.793
AT ITER 5342 NEW BEST:: SOT 8251854 SOS 1364369 HAS SOPS 1364369 HAS SOUS 1138373 HAS SOUPS 1138373 WITH SCORE 1139737.369
AT ITER 5349 NEW BEST:: SOT 8251992 SOS 1364645 HAS SOPS 1364645 HAS SOUS 1138305 HAS SOUPS 1138305 WITH SCORE 1139669.645
AT ITER 5380 NEW BEST:: SOT 8251843 SOS 1364658 HAS SOPS 1364658 HAS SOUS 1138300 HAS SOUPS 1138300 WITH SCORE 1139664.658
AT ITER 5401 NEW BEST:: SOT 8252090 SOS 1365152 HAS SOPS 1365152 HAS SOUS 1138174 HAS SOUPS 1138174 WITH SCORE 1139539.152
AT ITER 5420 NEW BEST:: SOT 8252089 SOS 1365151 HAS SOPS 1365151 HAS SOUS 1138172 HAS SOUPS 1138172 WITH SCORE 1139537.151
AT ITER 5425 NEW BEST:: SOT 8252247 SOS 1365351 HAS SOPS 1365351 HAS SOUS 1138025 HAS SOUPS 1138025 WITH SCORE 1139390.351
AT ITER 5426 NEW BEST:: SOT 8252125 SOS 1365351 HAS SOPS 1365351 HAS SOUS 1137964 HAS SOUPS 1137964 WITH SCORE 1139329.351
AT ITER 5430 NEW BEST:: SOT 8252125 SOS 1365351 HAS SOPS 1365351 HAS SOUS 1137936 HAS SOUPS 1137936 WITH SCORE 1139301.351
AT ITER 5449 NEW BEST:: SOT 8252216 SOS 1365182 HAS SOPS 1365182 HAS SOUS 1137767 HAS SOUPS 1137767 WITH SCORE 1139132.182
AT ITER 5454 NEW BEST:: SOT 8252216 SOS 1365023 HAS SOPS 1365023 HAS SOUS 1137767 HAS SOUPS 1137767 WITH SCORE 1139132.023
AT ITER 5462 NEW BEST:: SOT 8252209 SOS 1365009 HAS SOPS 1365009 HAS SOUS 1137753 HAS SOUPS 1137753 WITH SCORE 1139118.009
AT ITER 5469 NEW BEST:: SOT 8251722 SOS 1364035 HAS SOPS 1364035 HAS SOUS 1137438 HAS SOUPS 1137438 WITH SCORE 1138802.035
AT ITER 5496 NEW BEST:: SOT 8251483 SOS 1363557 HAS SOPS 1363557 HAS SOUS 1137199 HAS SOUPS 1137199 WITH SCORE 1138562.557
AT ITER 5528 NEW BEST:: SOT 8251353 SOS 1363297 HAS SOPS 1363297 HAS SOUS 1136939 HAS SOUPS 1136939 WITH SCORE 1138302.297
AT ITER 5529 NEW BEST:: SOT 8251264 SOS 1363208 HAS SOPS 1363208 HAS SOUS 1136850 HAS SOUPS 1136850 WITH SCORE 1138213.208
AT ITER 5536 NEW BEST:: SOT 8250829 SOS 1363028 HAS SOPS 1363028 HAS SOUS 1136415 HAS SOUPS 1136415 WITH SCORE 1137778.028
AT ITER 5537 NEW BEST:: SOT 8250760 SOS 1363315 HAS SOPS 1363315 HAS SOUS 1136401 HAS SOUPS 1136401 WITH SCORE 1137764.315
AT ITER 5560 NEW BEST:: SOT 8250634 SOS 1363391 HAS SOPS 1363391 HAS SOUS 1136147 HAS SOUPS 1136147 WITH SCORE 1137510.391
AT ITER 5565 NEW BEST:: SOT 8250613 SOS 1363349 HAS SOPS 1363349 HAS SOUS 1136105 HAS SOUPS 1136105 WITH SCORE 1137468.349
AT ITER 5566 NEW BEST:: SOT 8250409 SOS 1362395 HAS SOPS 1362395 HAS SOUS 1135777 HAS SOUPS 1135777 WITH SCORE 1137139.395
AT ITER 5576 NEW BEST:: SOT 8250258 SOS 1361640 HAS SOPS 1361640 HAS SOUS 1135475 HAS SOUPS 1135475 WITH SCORE 1136836.64
AT ITER 5581 NEW BEST:: SOT 8250290 SOS 1361471 HAS SOPS 1361471 HAS SOUS 1135310 HAS SOUPS 1135310 WITH SCORE 1136671.471
AT ITER 5606 NEW BEST:: SOT 8250244 SOS 1361379 HAS SOPS 1361379 HAS SOUS 1135132 HAS SOUPS 1135132 WITH SCORE 1136493.379
AT ITER 5723 NEW BEST:: SOT 8249878 SOS 1361080 HAS SOPS 1361080 HAS SOUS 1134636 HAS SOUPS 1134636 WITH SCORE 1135997.08
AT ITER 5746 NEW BEST:: SOT 8249786 SOS 1361056 HAS SOPS 1361056 HAS SOUS 1134576 HAS SOUPS 1134576 WITH SCORE 1135937.056
AT ITER 5747 NEW BEST:: SOT 8249767 SOS 1361018 HAS SOPS 1361018 HAS SOUS 1134560 HAS SOUPS 1134560 WITH SCORE 1135921.018
AT ITER 5774 NEW BEST:: SOT 8249714 SOS 1360912 HAS SOPS 1360912 HAS SOUS 1134454 HAS SOUPS 1134454 WITH SCORE 1135814.912
AT ITER 5804 NEW BEST:: SOT 8249610 SOS 1360808 HAS SOPS 1360808 HAS SOUS 1134350 HAS SOUPS 1134350 WITH SCORE 1135710.808
AT ITER 5847 NEW BEST:: SOT 8249609 SOS 1360770 HAS SOPS 1360770 HAS SOUS 1134349 HAS SOUPS 1134349 WITH SCORE 1135709.77
AT ITER 5865 NEW BEST:: SOT 8249408 SOS 1360692 HAS SOPS 1360692 HAS SOUS 1134148 HAS SOUPS 1134148 WITH SCORE 1135508.692
AT ITER 5868 NEW BEST:: SOT 8249408 SOS 1360599 HAS SOPS 1360599 HAS SOUS 1134055 HAS SOUPS 1134055 WITH SCORE 1135415.599
AT ITER 5869 NEW BEST:: SOT 8249407 SOS 1360597 HAS SOPS 1360597 HAS SOUS 1134053 HAS SOUPS 1134053 WITH SCORE 1135413.597
AT ITER 5873 NEW BEST:: SOT 8249407 SOS 1360226 HAS SOPS 1360226 HAS SOUS 1134053 HAS SOUPS 1134053 WITH SCORE 1135413.226
AT ITER 5878 NEW BEST:: SOT 8249357 SOS 1360631 HAS SOPS 1360631 HAS SOUS 1133809 HAS SOUPS 1133809 WITH SCORE 1135169.631
AT ITER 5886 NEW BEST:: SOT 8249379 SOS 1360504 HAS SOPS 1360504 HAS SOUS 1133682 HAS SOUPS 1133682 WITH SCORE 1135042.504
AT ITER 5909 NEW BEST:: SOT 8249379 SOS 1360504 HAS SOPS 1360504 HAS SOUS 1133154 HAS SOUPS 1133154 WITH SCORE 1134514.504
AT ITER 5930 NEW BEST:: SOT 8249236 SOS 1360218 HAS SOPS 1360218 HAS SOUS 1133011 HAS SOUPS 1133011 WITH SCORE 1134371.218
AT ITER 5936 NEW BEST:: SOT 8249236 SOS 1360218 HAS SOPS 1360218 HAS SOUS 1132972 HAS SOUPS 1132972 WITH SCORE 1134332.218
AT ITER 5960 NEW BEST:: SOT 8249120 SOS 1359986 HAS SOPS 1359986 HAS SOUS 1132740 HAS SOUPS 1132740 WITH SCORE 1134099.986
AT ITER 5967 NEW BEST:: SOT 8249226 SOS 1359660 HAS SOPS 1359660 HAS SOUS 1132699 HAS SOUPS 1132699 WITH SCORE 1134058.66
AT ITER 5980 NEW BEST:: SOT 8249223 SOS 1359654 HAS SOPS 1359654 HAS SOUS 1132693 HAS SOUPS 1132693 WITH SCORE 1134052.654
AT ITER 5989 NEW BEST:: SOT 8249099 SOS 1359530 HAS SOPS 1359530 HAS SOUS 1132445 HAS SOUPS 1132445 WITH SCORE 1133804.53
AT ITER 5997 NEW BEST:: SOT 8249064 SOS 1359460 HAS SOPS 1359460 HAS SOUS 1132375 HAS SOUPS 1132375 WITH SCORE 1133734.46
AT ITER 6008 NEW BEST:: SOT 8249064 SOS 1359340 HAS SOPS 1359340 HAS SOUS 1132373 HAS SOUPS 1132373 WITH SCORE 1133732.34
AT ITER 6063 NEW BEST:: SOT 8249064 SOS 1359042 HAS SOPS 1359042 HAS SOUS 1132075 HAS SOUPS 1132075 WITH SCORE 1133434.042
AT ITER 6103 NEW BEST:: SOT 8248793 SOS 1359092 HAS SOPS 1359092 HAS SOUS 1132048 HAS SOUPS 1132048 WITH SCORE 1133407.092
AT ITER 6114 NEW BEST:: SOT 8248793 SOS 1359092 HAS SOPS 1359092 HAS SOUS 1132015 HAS SOUPS 1132015 WITH SCORE 1133374.092
AT ITER 6218 NEW BEST:: SOT 8248927 SOS 1359360 HAS SOPS 1359360 HAS SOUS 1131906 HAS SOUPS 1131906 WITH SCORE 1133265.36
AT ITER 6289 NEW BEST:: SOT 8248534 SOS 1358574 HAS SOPS 1358574 HAS SOUS 1131120 HAS SOUPS 1131120 WITH SCORE 1132478.574
AT ITER 6291 NEW BEST:: SOT 8248534 SOS 1358358 HAS SOPS 1358358 HAS SOUS 1130904 HAS SOUPS 1130904 WITH SCORE 1132262.358
AT ITER 6292 NEW BEST:: SOT 8248289 SOS 1357868 HAS SOPS 1357868 HAS SOUS 1130414 HAS SOUPS 1130414 WITH SCORE 1131771.868
AT ITER 6362 NEW BEST:: SOT 8248253 SOS 1357832 HAS SOPS 1357832 HAS SOUS 1130378 HAS SOUPS 1130378 WITH SCORE 1131735.832
AT ITER 6364 NEW BEST:: SOT 8247625 SOS 1356576 HAS SOPS 1356576 HAS SOUS 1130166 HAS SOUPS 1130166 WITH SCORE 1131522.576
AT ITER 6373 NEW BEST:: SOT 8247281 SOS 1356576 HAS SOPS 1356576 HAS SOUS 1129994 HAS SOUPS 1129994 WITH SCORE 1131350.576
AT ITER 6375 NEW BEST:: SOT 8246946 SOS 1355906 HAS SOPS 1355906 HAS SOUS 1129324 HAS SOUPS 1129324 WITH SCORE 1130679.906
AT ITER 6387 NEW BEST:: SOT 8246549 SOS 1355112 HAS SOPS 1355112 HAS SOUS 1128530 HAS SOUPS 1128530 WITH SCORE 1129885.112
AT ITER 6395 NEW BEST:: SOT 8246549 SOS 1355112 HAS SOPS 1355112 HAS SOUS 1128529 HAS SOUPS 1128529 WITH SCORE 1129884.112
AT ITER 6398 NEW BEST:: SOT 8246548 SOS 1355098 HAS SOPS 1355098 HAS SOUS 1128527 HAS SOUPS 1128527 WITH SCORE 1129882.098
AT ITER 6432 NEW BEST:: SOT 8246484 SOS 1354970 HAS SOPS 1354970 HAS SOUS 1128367 HAS SOUPS 1128367 WITH SCORE 1129721.97
AT ITER 6479 NEW BEST:: SOT 8246484 SOS 1354894 HAS SOPS 1354894 HAS SOUS 1128291 HAS SOUPS 1128291 WITH SCORE 1129645.894
AT ITER 6493 NEW BEST:: SOT 8246276 SOS 1354478 HAS SOPS 1354478 HAS SOUS 1128291 HAS SOUPS 1128291 WITH SCORE 1129645.478
AT ITER 6495 NEW BEST:: SOT 8246109 SOS 1354144 HAS SOPS 1354144 HAS SOUS 1127957 HAS SOUPS 1127957 WITH SCORE 1129311.144
AT ITER 6504 NEW BEST:: SOT 8245878 SOS 1353682 HAS SOPS 1353682 HAS SOUS 1127819 HAS SOUPS 1127819 WITH SCORE 1129172.682
AT ITER 6569 NEW BEST:: SOT 8245877 SOS 1353680 HAS SOPS 1353680 HAS SOUS 1127817 HAS SOUPS 1127817 WITH SCORE 1129170.68
AT ITER 6677 NEW BEST:: SOT 8245877 SOS 1353594 HAS SOPS 1353594 HAS SOUS 1127731 HAS SOUPS 1127731 WITH SCORE 1129084.594
AT ITER 6741 NEW BEST:: SOT 8245587 SOS 1353014 HAS SOPS 1353014 HAS SOUS 1127466 HAS SOUPS 1127466 WITH SCORE 1128819.014
AT ITER 6747 NEW BEST:: SOT 8245452 SOS 1353103 HAS SOPS 1353103 HAS SOUS 1127421 HAS SOUPS 1127421 WITH SCORE 1128774.103
AT ITER 6749 NEW BEST:: SOT 8245452 SOS 1353103 HAS SOPS 1353103 HAS SOUS 1127094 HAS SOUPS 1127094 WITH SCORE 1128447.103
AT ITER 6765 NEW BEST:: SOT 8245348 SOS 1352895 HAS SOPS 1352895 HAS SOUS 1126886 HAS SOUPS 1126886 WITH SCORE 1128238.895
AT ITER 6768 NEW BEST:: SOT 8245488 SOS 1353175 HAS SOPS 1353175 HAS SOUS 1126398 HAS SOUPS 1126398 WITH SCORE 1127751.175
AT ITER 6798 NEW BEST:: SOT 8245523 SOS 1353044 HAS SOPS 1353044 HAS SOUS 1126367 HAS SOUPS 1126367 WITH SCORE 1127720.044
AT ITER 6819 NEW BEST:: SOT 8245467 SOS 1352932 HAS SOPS 1352932 HAS SOUS 1126255 HAS SOUPS 1126255 WITH SCORE 1127607.932
AT ITER 6831 NEW BEST:: SOT 8245539 SOS 1353076 HAS SOPS 1353076 HAS SOUS 1126111 HAS SOUPS 1126111 WITH SCORE 1127464.076
AT ITER 6841 NEW BEST:: SOT 8245210 SOS 1352418 HAS SOPS 1352418 HAS SOUS 1125685 HAS SOUPS 1125685 WITH SCORE 1127037.418
AT ITER 6850 NEW BEST:: SOT 8245010 SOS 1352838 HAS SOPS 1352838 HAS SOUS 1125558 HAS SOUPS 1125558 WITH SCORE 1126910.838
AT ITER 6978 NEW BEST:: SOT 8244977 SOS 1352772 HAS SOPS 1352772 HAS SOUS 1125492 HAS SOUPS 1125492 WITH SCORE 1126844.772
AT ITER 7032 NEW BEST:: SOT 8244728 SOS 1351824 HAS SOPS 1351824 HAS SOUS 1124819 HAS SOUPS 1124819 WITH SCORE 1126170.824
AT ITER 7037 NEW BEST:: SOT 8244615 SOS 1351797 HAS SOPS 1351797 HAS SOUS 1124706 HAS SOUPS 1124706 WITH SCORE 1126057.797
AT ITER 7059 NEW BEST:: SOT 8244615 SOS 1351751 HAS SOPS 1351751 HAS SOUS 1124660 HAS SOUPS 1124660 WITH SCORE 1126011.751
AT ITER 7110 NEW BEST:: SOT 8244409 SOS 1350927 HAS SOPS 1350927 HAS SOUS 1124248 HAS SOUPS 1124248 WITH SCORE 1125598.927
AT ITER 7133 NEW BEST:: SOT 8244354 SOS 1350817 HAS SOPS 1350817 HAS SOUS 1124138 HAS SOUPS 1124138 WITH SCORE 1125488.817
AT ITER 7155 NEW BEST:: SOT 8244290 SOS 1350689 HAS SOPS 1350689 HAS SOUS 1124010 HAS SOUPS 1124010 WITH SCORE 1125360.689
AT ITER 7168 NEW BEST:: SOT 8244290 SOS 1350689 HAS SOPS 1350689 HAS SOUS 1123748 HAS SOUPS 1123748 WITH SCORE 1125098.689
AT ITER 7186 NEW BEST:: SOT 8244284 SOS 1350677 HAS SOPS 1350677 HAS SOUS 1123736 HAS SOUPS 1123736 WITH SCORE 1125086.677
AT ITER 7190 NEW BEST:: SOT 8244113 SOS 1350551 HAS SOPS 1350551 HAS SOUS 1123538 HAS SOUPS 1123538 WITH SCORE 1124888.551
AT ITER 7206 NEW BEST:: SOT 8243953 SOS 1350929 HAS SOPS 1350929 HAS SOUS 1123336 HAS SOUPS 1123336 WITH SCORE 1124686.929
AT ITER 7217 NEW BEST:: SOT 8243805 SOS 1350633 HAS SOPS 1350633 HAS SOUS 1123040 HAS SOUPS 1123040 WITH SCORE 1124390.633
AT ITER 7218 NEW BEST:: SOT 8243742 SOS 1350507 HAS SOPS 1350507 HAS SOUS 1122914 HAS SOUPS 1122914 WITH SCORE 1124264.507
AT ITER 7220 NEW BEST:: SOT 8243494 SOS 1349761 HAS SOPS 1349761 HAS SOUS 1122416 HAS SOUPS 1122416 WITH SCORE 1123765.761
AT ITER 7227 NEW BEST:: SOT 8243517 SOS 1349213 HAS SOPS 1349213 HAS SOUS 1122142 HAS SOUPS 1122142 WITH SCORE 1123491.213
AT ITER 7234 NEW BEST:: SOT 8243516 SOS 1348795 HAS SOPS 1348795 HAS SOUS 1122140 HAS SOUPS 1122140 WITH SCORE 1123488.795
AT ITER 7277 NEW BEST:: SOT 8242973 SOS 1347709 HAS SOPS 1347709 HAS SOUS 1121294 HAS SOUPS 1121294 WITH SCORE 1122641.709
AT ITER 7279 NEW BEST:: SOT 8242561 SOS 1346885 HAS SOPS 1346885 HAS SOUS 1121003 HAS SOUPS 1121003 WITH SCORE 1122349.885
AT ITER 7282 NEW BEST:: SOT 8242523 SOS 1346809 HAS SOPS 1346809 HAS SOUS 1120927 HAS SOUPS 1120927 WITH SCORE 1122273.809
AT ITER 7291 NEW BEST:: SOT 8242536 SOS 1346755 HAS SOPS 1346755 HAS SOUS 1120860 HAS SOUPS 1120860 WITH SCORE 1122206.755
AT ITER 7320 NEW BEST:: SOT 8242117 SOS 1346309 HAS SOPS 1346309 HAS SOUS 1120414 HAS SOUPS 1120414 WITH SCORE 1121760.309
AT ITER 7328 NEW BEST:: SOT 8241969 SOS 1345865 HAS SOPS 1345865 HAS SOUS 1120118 HAS SOUPS 1120118 WITH SCORE 1121463.865
AT ITER 7334 NEW BEST:: SOT 8241722 SOS 1345371 HAS SOPS 1345371 HAS SOUS 1119624 HAS SOUPS 1119624 WITH SCORE 1120969.371
AT ITER 7335 NEW BEST:: SOT 8241916 SOS 1345565 HAS SOPS 1345565 HAS SOUS 1119578 HAS SOUPS 1119578 WITH SCORE 1120923.565
AT ITER 7338 NEW BEST:: SOT 8241762 SOS 1345192 HAS SOPS 1345192 HAS SOUS 1119489 HAS SOUPS 1119489 WITH SCORE 1120834.192
AT ITER 7373 NEW BEST:: SOT 8241497 SOS 1344927 HAS SOPS 1344927 HAS SOUS 1119335 HAS SOUPS 1119335 WITH SCORE 1120679.927
AT ITER 7381 NEW BEST:: SOT 8241497 SOS 1344927 HAS SOPS 1344927 HAS SOUS 1119284 HAS SOUPS 1119284 WITH SCORE 1120628.927
AT ITER 7401 NEW BEST:: SOT 8241497 SOS 1344852 HAS SOPS 1344852 HAS SOUS 1119283 HAS SOUPS 1119283 WITH SCORE 1120627.852
AT ITER 7426 NEW BEST:: SOT 8241318 SOS 1344315 HAS SOPS 1344315 HAS SOUS 1118925 HAS SOUPS 1118925 WITH SCORE 1120269.315
AT ITER 7464 NEW BEST:: SOT 8241228 SOS 1344451 HAS SOPS 1344451 HAS SOUS 1118881 HAS SOUPS 1118881 WITH SCORE 1120225.451
AT ITER 7477 NEW BEST:: SOT 8240953 SOS 1344273 HAS SOPS 1344273 HAS SOUS 1118855 HAS SOUPS 1118855 WITH SCORE 1120199.273
AT ITER 7551 NEW BEST:: SOT 8240953 SOS 1344258 HAS SOPS 1344258 HAS SOUS 1118855 HAS SOUPS 1118855 WITH SCORE 1120199.258
AT ITER 7599 NEW BEST:: SOT 8240868 SOS 1344195 HAS SOPS 1344195 HAS SOUS 1118724 HAS SOUPS 1118724 WITH SCORE 1120068.195
AT ITER 7608 NEW BEST:: SOT 8240868 SOS 1344066 HAS SOPS 1344066 HAS SOUS 1118724 HAS SOUPS 1118724 WITH SCORE 1120068.066
AT ITER 7630 NEW BEST:: SOT 8240868 SOS 1344066 HAS SOPS 1344066 HAS SOUS 1118701 HAS SOUPS 1118701 WITH SCORE 1120045.066
AT ITER 7633 NEW BEST:: SOT 8240501 SOS 1343332 HAS SOPS 1343332 HAS SOUS 1117967 HAS SOUPS 1117967 WITH SCORE 1119310.332
AT ITER 7648 NEW BEST:: SOT 8240500 SOS 1343258 HAS SOPS 1343258 HAS SOUS 1117892 HAS SOUPS 1117892 WITH SCORE 1119235.258
AT ITER 7676 NEW BEST:: SOT 8240135 SOS 1342528 HAS SOPS 1342528 HAS SOUS 1117162 HAS SOUPS 1117162 WITH SCORE 1118504.528
AT ITER 7685 NEW BEST:: SOT 8239840 SOS 1341938 HAS SOPS 1341938 HAS SOUS 1116977 HAS SOUPS 1116977 WITH SCORE 1118318.938
AT ITER 7726 NEW BEST:: SOT 8238726 SOS 1343215 HAS SOPS 1343215 HAS SOUS 1116260 HAS SOUPS 1116260 WITH SCORE 1117603.215
AT ITER 7728 NEW BEST:: SOT 8238626 SOS 1343195 HAS SOPS 1343195 HAS SOUS 1116227 HAS SOUPS 1116227 WITH SCORE 1117570.195
AT ITER 7733 NEW BEST:: SOT 8238618 SOS 1343179 HAS SOPS 1343179 HAS SOUS 1115809 HAS SOUPS 1115809 WITH SCORE 1117152.179
AT ITER 7788 NEW BEST:: SOT 8238558 SOS 1342820 HAS SOPS 1342820 HAS SOUS 1115780 HAS SOUPS 1115780 WITH SCORE 1117122.82
AT ITER 7839 NEW BEST:: SOT 8238396 SOS 1342694 HAS SOPS 1342694 HAS SOUS 1115618 HAS SOUPS 1115618 WITH SCORE 1116960.694
AT ITER 7855 NEW BEST:: SOT 8238272 SOS 1342446 HAS SOPS 1342446 HAS SOUS 1115370 HAS SOUPS 1115370 WITH SCORE 1116712.446
AT ITER 7856 NEW BEST:: SOT 8238246 SOS 1342086 HAS SOPS 1342086 HAS SOUS 1115010 HAS SOUPS 1115010 WITH SCORE 1116352.086
AT ITER 7858 NEW BEST:: SOT 8238246 SOS 1342086 HAS SOPS 1342086 HAS SOUS 1115009 HAS SOUPS 1115009 WITH SCORE 1116351.086
AT ITER 7872 NEW BEST:: SOT 8238199 SOS 1341992 HAS SOPS 1341992 HAS SOUS 1114914 HAS SOUPS 1114914 WITH SCORE 1116255.992
AT ITER 7896 NEW BEST:: SOT 8238153 SOS 1341900 HAS SOPS 1341900 HAS SOUS 1114883 HAS SOUPS 1114883 WITH SCORE 1116224.9
AT ITER 7975 NEW BEST:: SOT 8238048 SOS 1341690 HAS SOPS 1341690 HAS SOUS 1114772 HAS SOUPS 1114772 WITH SCORE 1116113.69
AT ITER 8009 NEW BEST:: SOT 8238048 SOS 1341690 HAS SOPS 1341690 HAS SOUS 1114749 HAS SOUPS 1114749 WITH SCORE 1116090.69
AT ITER 8033 NEW BEST:: SOT 8237714 SOS 1341022 HAS SOPS 1341022 HAS SOUS 1114081 HAS SOUPS 1114081 WITH SCORE 1115422.022
AT ITER 8050 NEW BEST:: SOT 8237459 SOS 1340512 HAS SOPS 1340512 HAS SOUS 1113552 HAS SOUPS 1113552 WITH SCORE 1114892.512
AT ITER 8065 NEW BEST:: SOT 8237459 SOS 1340512 HAS SOPS 1340512 HAS SOUS 1113547 HAS SOUPS 1113547 WITH SCORE 1114887.512
AT ITER 8101 NEW BEST:: SOT 8237512 SOS 1340565 HAS SOPS 1340565 HAS SOUS 1113406 HAS SOUPS 1113406 WITH SCORE 1114746.565
AT ITER 8113 NEW BEST:: SOT 8237482 SOS 1340535 HAS SOPS 1340535 HAS SOUS 1113376 HAS SOUPS 1113376 WITH SCORE 1114716.535
AT ITER 8172 NEW BEST:: SOT 8237386 SOS 1340343 HAS SOPS 1340343 HAS SOUS 1113184 HAS SOUPS 1113184 WITH SCORE 1114524.343
AT ITER 8250 NEW BEST:: SOT 8237386 SOS 1340299 HAS SOPS 1340299 HAS SOUS 1113140 HAS SOUPS 1113140 WITH SCORE 1114480.299
AT ITER 8255 NEW BEST:: SOT 8237277 SOS 1340190 HAS SOPS 1340190 HAS SOUS 1113031 HAS SOUPS 1113031 WITH SCORE 1114371.19
AT ITER 8311 NEW BEST:: SOT 8237145 SOS 1340190 HAS SOPS 1340190 HAS SOUS 1112965 HAS SOUPS 1112965 WITH SCORE 1114305.19
AT ITER 8418 NEW BEST:: SOT 8237145 SOS 1340020 HAS SOPS 1340020 HAS SOUS 1112965 HAS SOUPS 1112965 WITH SCORE 1114305.02
AT ITER 8451 NEW BEST:: SOT 8237060 SOS 1339850 HAS SOPS 1339850 HAS SOUS 1112880 HAS SOUPS 1112880 WITH SCORE 1114219.85
AT ITER 8467 NEW BEST:: SOT 8236989 SOS 1339708 HAS SOPS 1339708 HAS SOUS 1112738 HAS SOUPS 1112738 WITH SCORE 1114077.708
AT ITER 8477 NEW BEST:: SOT 8236676 SOS 1339082 HAS SOPS 1339082 HAS SOUS 1112112 HAS SOUPS 1112112 WITH SCORE 1113451.082
AT ITER 8480 NEW BEST:: SOT 8236676 SOS 1338778 HAS SOPS 1338778 HAS SOUS 1111808 HAS SOUPS 1111808 WITH SCORE 1113146.778
AT ITER 8481 NEW BEST:: SOT 8236676 SOS 1338620 HAS SOPS 1338620 HAS SOUS 1111729 HAS SOUPS 1111729 WITH SCORE 1113067.62
AT ITER 8497 NEW BEST:: SOT 8236676 SOS 1338422 HAS SOPS 1338422 HAS SOUS 1111686 HAS SOUPS 1111686 WITH SCORE 1113024.422
AT ITER 8511 NEW BEST:: SOT 8236531 SOS 1338267 HAS SOPS 1338267 HAS SOUS 1111489 HAS SOUPS 1111489 WITH SCORE 1112827.267
AT ITER 8591 NEW BEST:: SOT 8236504 SOS 1338213 HAS SOPS 1338213 HAS SOUS 1111435 HAS SOUPS 1111435 WITH SCORE 1112773.213
AT ITER 8594 NEW BEST:: SOT 8236276 SOS 1337757 HAS SOPS 1337757 HAS SOUS 1111207 HAS SOUPS 1111207 WITH SCORE 1112544.757
AT ITER 8610 NEW BEST:: SOT 8236275 SOS 1337756 HAS SOPS 1337756 HAS SOUS 1111205 HAS SOUPS 1111205 WITH SCORE 1112542.756
AT ITER 8669 NEW BEST:: SOT 8236251 SOS 1337732 HAS SOPS 1337732 HAS SOUS 1111181 HAS SOUPS 1111181 WITH SCORE 1112518.732
AT ITER 8677 NEW BEST:: SOT 8236053 SOS 1337336 HAS SOPS 1337336 HAS SOUS 1110785 HAS SOUPS 1110785 WITH SCORE 1112122.336
AT ITER 8679 NEW BEST:: SOT 8235930 SOS 1337090 HAS SOPS 1337090 HAS SOUS 1110662 HAS SOUPS 1110662 WITH SCORE 1111999.09
AT ITER 8702 NEW BEST:: SOT 8235419 SOS 1336068 HAS SOPS 1336068 HAS SOUS 1109678 HAS SOUPS 1109678 WITH SCORE 1111014.068
AT ITER 8708 NEW BEST:: SOT 8234976 SOS 1335182 HAS SOPS 1335182 HAS SOUS 1109235 HAS SOUPS 1109235 WITH SCORE 1110570.182
AT ITER 8715 NEW BEST:: SOT 8234976 SOS 1335139 HAS SOPS 1335139 HAS SOUS 1109192 HAS SOUPS 1109192 WITH SCORE 1110527.139
AT ITER 8755 NEW BEST:: SOT 8234975 SOS 1335137 HAS SOPS 1335137 HAS SOUS 1109190 HAS SOUPS 1109190 WITH SCORE 1110525.137
AT ITER 8768 NEW BEST:: SOT 8234533 SOS 1334695 HAS SOPS 1334695 HAS SOUS 1108748 HAS SOUPS 1108748 WITH SCORE 1110082.695
AT ITER 8779 NEW BEST:: SOT 8234406 SOS 1334441 HAS SOPS 1334441 HAS SOUS 1108494 HAS SOUPS 1108494 WITH SCORE 1109828.441
AT ITER 8784 NEW BEST:: SOT 8234314 SOS 1334303 HAS SOPS 1334303 HAS SOUS 1108356 HAS SOUPS 1108356 WITH SCORE 1109690.303
AT ITER 8793 NEW BEST:: SOT 8234314 SOS 1334303 HAS SOPS 1334303 HAS SOUS 1107859 HAS SOUPS 1107859 WITH SCORE 1109193.303
AT ITER 8825 NEW BEST:: SOT 8233905 SOS 1333485 HAS SOPS 1333485 HAS SOUS 1107450 HAS SOUPS 1107450 WITH SCORE 1108783.485
AT ITER 8836 NEW BEST:: SOT 8233844 SOS 1333302 HAS SOPS 1333302 HAS SOUS 1107328 HAS SOUPS 1107328 WITH SCORE 1108661.302
AT ITER 8889 NEW BEST:: SOT 8233844 SOS 1333145 HAS SOPS 1333145 HAS SOUS 1107171 HAS SOUPS 1107171 WITH SCORE 1108504.145
AT ITER 8916 NEW BEST:: SOT 8233820 SOS 1333136 HAS SOPS 1333136 HAS SOUS 1107155 HAS SOUPS 1107155 WITH SCORE 1108488.136
AT ITER 8934 NEW BEST:: SOT 8233593 SOS 1333102 HAS SOPS 1333102 HAS SOUS 1106950 HAS SOUPS 1106950 WITH SCORE 1108283.102
AT ITER 8954 NEW BEST:: SOT 8233252 SOS 1332802 HAS SOPS 1332802 HAS SOUS 1106609 HAS SOUPS 1106609 WITH SCORE 1107941.802
AT ITER 8956 NEW BEST:: SOT 8233252 SOS 1332802 HAS SOPS 1332802 HAS SOUS 1106606 HAS SOUPS 1106606 WITH SCORE 1107938.802
AT ITER 9003 NEW BEST:: SOT 8233176 SOS 1332650 HAS SOPS 1332650 HAS SOUS 1106454 HAS SOUPS 1106454 WITH SCORE 1107786.65
AT ITER 9023 NEW BEST:: SOT 8232495 SOS 1302265 HAS SOPS 1302265 HAS SOUS 1105480 HAS SOUPS 1105480 WITH SCORE 1106782.265
AT ITER 9076 NEW BEST:: SOT 8232179 SOS 1301633 HAS SOPS 1301633 HAS SOUS 1104848 HAS SOUPS 1104848 WITH SCORE 1106149.633
AT ITER 9110 NEW BEST:: SOT 8231775 SOS 1301493 HAS SOPS 1301493 HAS SOUS 1104533 HAS SOUPS 1104533 WITH SCORE 1105834.493
AT ITER 9114 NEW BEST:: SOT 8231742 SOS 1301460 HAS SOPS 1301460 HAS SOUS 1104500 HAS SOUPS 1104500 WITH SCORE 1105801.46
AT ITER 9163 NEW BEST:: SOT 8231634 SOS 1301244 HAS SOPS 1301244 HAS SOUS 1104338 HAS SOUPS 1104338 WITH SCORE 1105639.244
AT ITER 9167 NEW BEST:: SOT 8231633 SOS 1301242 HAS SOPS 1301242 HAS SOUS 1104336 HAS SOUPS 1104336 WITH SCORE 1105637.242
AT ITER 9178 NEW BEST:: SOT 8231698 SOS 1301372 HAS SOPS 1301372 HAS SOUS 1104003 HAS SOUPS 1104003 WITH SCORE 1105304.372
AT ITER 9191 NEW BEST:: SOT 8231629 SOS 1301165 HAS SOPS 1301165 HAS SOUS 1103865 HAS SOUPS 1103865 WITH SCORE 1105166.165
AT ITER 9254 NEW BEST:: SOT 8231629 SOS 1301165 HAS SOPS 1301165 HAS SOUS 1103676 HAS SOUPS 1103676 WITH SCORE 1104977.165
AT ITER 9261 NEW BEST:: SOT 8231534 SOS 1301070 HAS SOPS 1301070 HAS SOUS 1103581 HAS SOUPS 1103581 WITH SCORE 1104882.07
AT ITER 9265 NEW BEST:: SOT 8231534 SOS 1301070 HAS SOPS 1301070 HAS SOUS 1103580 HAS SOUPS 1103580 WITH SCORE 1104881.07
AT ITER 9273 NEW BEST:: SOT 8231533 SOS 1301068 HAS SOPS 1301068 HAS SOUS 1103578 HAS SOUPS 1103578 WITH SCORE 1104879.068
AT ITER 9289 NEW BEST:: SOT 8231165 SOS 1300332 HAS SOPS 1300332 HAS SOUS 1103381 HAS SOUPS 1103381 WITH SCORE 1104681.332
AT ITER 9292 NEW BEST:: SOT 8231106 SOS 1300214 HAS SOPS 1300214 HAS SOUS 1103263 HAS SOUPS 1103263 WITH SCORE 1104563.214
AT ITER 9293 NEW BEST:: SOT 8231031 SOS 1300196 HAS SOPS 1300196 HAS SOUS 1103229 HAS SOUPS 1103229 WITH SCORE 1104529.196
AT ITER 9341 NEW BEST:: SOT 8230454 SOS 1309722 HAS SOPS 1309722 HAS SOUS 1102986 HAS SOUPS 1102986 WITH SCORE 1104295.722
AT ITER 9376 NEW BEST:: SOT 8229687 SOS 1310303 HAS SOPS 1310303 HAS SOUS 1102642 HAS SOUPS 1102642 WITH SCORE 1103952.303
AT ITER 9395 NEW BEST:: SOT 8229687 SOS 1310273 HAS SOPS 1310273 HAS SOUS 1102642 HAS SOUPS 1102642 WITH SCORE 1103952.273
AT ITER 9472 NEW BEST:: SOT 8229687 SOS 1310273 HAS SOPS 1310273 HAS SOUS 1102624 HAS SOUPS 1102624 WITH SCORE 1103934.273
AT ITER 9474 NEW BEST:: SOT 8229963 SOS 1310704 HAS SOPS 1310704 HAS SOUS 1102611 HAS SOUPS 1102611 WITH SCORE 1103921.704
AT ITER 9482 NEW BEST:: SOT 8229853 SOS 1310484 HAS SOPS 1310484 HAS SOUS 1102391 HAS SOUPS 1102391 WITH SCORE 1103701.484
AT ITER 9490 NEW BEST:: SOT 8229843 SOS 1310464 HAS SOPS 1310464 HAS SOUS 1102381 HAS SOUPS 1102381 WITH SCORE 1103691.464
AT ITER 9492 NEW BEST:: SOT 8229523 SOS 1310279 HAS SOPS 1310279 HAS SOUS 1102152 HAS SOUPS 1102152 WITH SCORE 1103462.279
AT ITER 9510 NEW BEST:: SOT 8229587 SOS 1310343 HAS SOPS 1310343 HAS SOUS 1102058 HAS SOUPS 1102058 WITH SCORE 1103368.343
AT ITER 9520 NEW BEST:: SOT 8229587 SOS 1310142 HAS SOPS 1310142 HAS SOUS 1102058 HAS SOUPS 1102058 WITH SCORE 1103368.142
AT ITER 9535 NEW BEST:: SOT 8229445 SOS 1309161 HAS SOPS 1309161 HAS SOUS 1101660 HAS SOUPS 1101660 WITH SCORE 1102969.161
AT ITER 9611 NEW BEST:: SOT 8229422 SOS 1308886 HAS SOPS 1308886 HAS SOUS 1101614 HAS SOUPS 1101614 WITH SCORE 1102922.886
AT ITER 9698 NEW BEST:: SOT 8229409 SOS 1308860 HAS SOPS 1308860 HAS SOUS 1101590 HAS SOUPS 1101590 WITH SCORE 1102898.86
AT ITER 9725 NEW BEST:: SOT 8229186 SOS 1308414 HAS SOPS 1308414 HAS SOUS 1101144 HAS SOUPS 1101144 WITH SCORE 1102452.414
AT ITER 9750 NEW BEST:: SOT 8229185 SOS 1308266 HAS SOPS 1308266 HAS SOUS 1101142 HAS SOUPS 1101142 WITH SCORE 1102450.266
AT ITER 9753 NEW BEST:: SOT 8228952 SOS 1308584 HAS SOPS 1308584 HAS SOUS 1101105 HAS SOUPS 1101105 WITH SCORE 1102413.584
AT ITER 9768 NEW BEST:: SOT 8228983 SOS 1308584 HAS SOPS 1308584 HAS SOUS 1101074 HAS SOUPS 1101074 WITH SCORE 1102382.584
AT ITER 9797 NEW BEST:: SOT 8228883 SOS 1308854 HAS SOPS 1308854 HAS SOUS 1100891 HAS SOUPS 1100891 WITH SCORE 1102199.854
AT ITER 9799 NEW BEST:: SOT 8228235 SOS 1308422 HAS SOPS 1308422 HAS SOUS 1100459 HAS SOUPS 1100459 WITH SCORE 1101767.422
AT ITER 9801 NEW BEST:: SOT 8228055 SOS 1308336 HAS SOPS 1308336 HAS SOUS 1100279 HAS SOUPS 1100279 WITH SCORE 1101587.336
AT ITER 9883 NEW BEST:: SOT 8227940 SOS 1308221 HAS SOPS 1308221 HAS SOUS 1100164 HAS SOUPS 1100164 WITH SCORE 1101472.221
AT ITER 9898 NEW BEST:: SOT 8227749 SOS 1308221 HAS SOPS 1308221 HAS SOUS 1099973 HAS SOUPS 1099973 WITH SCORE 1101281.221
AT ITER 9920 NEW BEST:: SOT 8227724 SOS 1308171 HAS SOPS 1308171 HAS SOUS 1099948 HAS SOUPS 1099948 WITH SCORE 1101256.171
AT ITER 9956 NEW BEST:: SOT 8225693 SOS 1307210 HAS SOPS 1307210 HAS SOUS 1098070 HAS SOUPS 1098070 WITH SCORE 1099377.21
AT ITER 9968 NEW BEST:: SOT 8225605 SOS 1306668 HAS SOPS 1306668 HAS SOUS 1097827 HAS SOUPS 1097827 WITH SCORE 1099133.668
AT ITER 9982 NEW BEST:: SOT 8225605 SOS 1306308 HAS SOPS 1306308 HAS SOUS 1097827 HAS SOUPS 1097827 WITH SCORE 1099133.308
AT ITER 9999 NEW BEST:: SOT 8225569 SOS 1306236 HAS SOPS 1306236 HAS SOUS 1097755 HAS SOUPS 1097755 WITH SCORE 1099061.236

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-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"

# 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-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 r048-ebro-158902541800168"
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 ;