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.r107-tall-167814483800168.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 smartxred
Input is CloudReconfiguration-PT-401, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814483800168
=====================================================================

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

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

Filename model.pnml
Petri model created: 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 16 NEW BEST:: SOT 8368768 SOS 1371361 HAS SOPS 1371361 HAS SOUS 1265879 HAS SOUPS 1265879 WITH SCORE 1267250.361
AT ITER 22 NEW BEST:: SOT 8368508 SOS 1370841 HAS SOPS 1370841 HAS SOUS 1265359 HAS SOUPS 1265359 WITH SCORE 1266729.841
AT ITER 26 NEW BEST:: SOT 8368444 SOS 1370713 HAS SOPS 1370713 HAS SOUS 1265140 HAS SOUPS 1265140 WITH SCORE 1266510.713
AT ITER 35 NEW BEST:: SOT 8368444 SOS 1370713 HAS SOPS 1370713 HAS SOUS 1265139 HAS SOUPS 1265139 WITH SCORE 1266509.713
AT ITER 44 NEW BEST:: SOT 8368353 SOS 1370531 HAS SOPS 1370531 HAS SOUS 1264957 HAS SOUPS 1264957 WITH SCORE 1266327.531
AT ITER 103 NEW BEST:: SOT 8367393 SOS 1369709 HAS SOPS 1369709 HAS SOUS 1264135 HAS SOUPS 1264135 WITH SCORE 1265504.709
AT ITER 112 NEW BEST:: SOT 8366510 SOS 1371447 HAS SOPS 1371447 HAS SOUS 1263691 HAS SOUPS 1263691 WITH SCORE 1265062.447
AT ITER 122 NEW BEST:: SOT 8366510 SOS 1371275 HAS SOPS 1371275 HAS SOUS 1263519 HAS SOUPS 1263519 WITH SCORE 1264890.275
AT ITER 137 NEW BEST:: SOT 8366495 SOS 1371245 HAS SOPS 1371245 HAS SOUS 1263489 HAS SOUPS 1263489 WITH SCORE 1264860.245
AT ITER 145 NEW BEST:: SOT 8365904 SOS 1370805 HAS SOPS 1370805 HAS SOUS 1262955 HAS SOUPS 1262955 WITH SCORE 1264325.805
AT ITER 199 NEW BEST:: SOT 8365731 SOS 1370726 HAS SOPS 1370726 HAS SOUS 1262876 HAS SOUPS 1262876 WITH SCORE 1264246.726
AT ITER 201 NEW BEST:: SOT 8358796 SOS 1461196 HAS SOPS 1461196 HAS SOUS 1261372 HAS SOUPS 1261372 WITH SCORE 1262833.196
AT ITER 210 NEW BEST:: SOT 8358796 SOS 1460428 HAS SOPS 1460428 HAS SOUS 1260988 HAS SOUPS 1260988 WITH SCORE 1262448.428
AT ITER 234 NEW BEST:: SOT 8358661 SOS 1460362 HAS SOPS 1460362 HAS SOUS 1260853 HAS SOUPS 1260853 WITH SCORE 1262313.362
AT ITER 246 NEW BEST:: SOT 8358331 SOS 1460032 HAS SOPS 1460032 HAS SOUS 1260523 HAS SOUPS 1260523 WITH SCORE 1261983.032
AT ITER 260 NEW BEST:: SOT 8358061 SOS 1459492 HAS SOPS 1459492 HAS SOUS 1259983 HAS SOUPS 1259983 WITH SCORE 1261442.492
AT ITER 278 NEW BEST:: SOT 8357802 SOS 1458974 HAS SOPS 1458974 HAS SOUS 1259635 HAS SOUPS 1259635 WITH SCORE 1261093.974
AT ITER 300 NEW BEST:: SOT 8357637 SOS 1458644 HAS SOPS 1458644 HAS SOUS 1259470 HAS SOUPS 1259470 WITH SCORE 1260928.644
AT ITER 308 NEW BEST:: SOT 8357546 SOS 1458631 HAS SOPS 1458631 HAS SOUS 1259457 HAS SOUPS 1259457 WITH SCORE 1260915.631
AT ITER 330 NEW BEST:: SOT 8357558 SOS 1458655 HAS SOPS 1458655 HAS SOUS 1259060 HAS SOUPS 1259060 WITH SCORE 1260518.655
AT ITER 343 NEW BEST:: SOT 8357162 SOS 1457863 HAS SOPS 1457863 HAS SOUS 1258268 HAS SOUPS 1258268 WITH SCORE 1259725.863
AT ITER 396 NEW BEST:: SOT 8357024 SOS 1457587 HAS SOPS 1457587 HAS SOUS 1257945 HAS SOUPS 1257945 WITH SCORE 1259402.587
AT ITER 430 NEW BEST:: SOT 8356728 SOS 1458009 HAS SOPS 1458009 HAS SOUS 1257634 HAS SOUPS 1257634 WITH SCORE 1259092.009
AT ITER 457 NEW BEST:: SOT 8356448 SOS 1458105 HAS SOPS 1458105 HAS SOUS 1257153 HAS SOUPS 1257153 WITH SCORE 1258611.105
AT ITER 487 NEW BEST:: SOT 8356465 SOS 1457701 HAS SOPS 1457701 HAS SOUS 1256757 HAS SOUPS 1256757 WITH SCORE 1258214.701
AT ITER 536 NEW BEST:: SOT 8356381 SOS 1457449 HAS SOPS 1457449 HAS SOUS 1256589 HAS SOUPS 1256589 WITH SCORE 1258046.449
AT ITER 591 NEW BEST:: SOT 8356029 SOS 1457018 HAS SOPS 1457018 HAS SOUS 1255964 HAS SOUPS 1255964 WITH SCORE 1257421.018
AT ITER 610 NEW BEST:: SOT 8355749 SOS 1457040 HAS SOPS 1457040 HAS SOUS 1255684 HAS SOUPS 1255684 WITH SCORE 1257141.04
AT ITER 621 NEW BEST:: SOT 8354692 SOS 1458616 HAS SOPS 1458616 HAS SOUS 1255520 HAS SOUPS 1255520 WITH SCORE 1256978.616
AT ITER 623 NEW BEST:: SOT 8351277 SOS 1518243 HAS SOPS 1518243 HAS SOUS 1255364 HAS SOUPS 1255364 WITH SCORE 1256882.243
AT ITER 633 NEW BEST:: SOT 8350929 SOS 1517547 HAS SOPS 1517547 HAS SOUS 1254668 HAS SOUPS 1254668 WITH SCORE 1256185.547
AT ITER 658 NEW BEST:: SOT 8350064 SOS 1516292 HAS SOPS 1516292 HAS SOUS 1253328 HAS SOUPS 1253328 WITH SCORE 1254844.292
AT ITER 665 NEW BEST:: SOT 8350064 SOS 1516008 HAS SOPS 1516008 HAS SOUS 1253328 HAS SOUPS 1253328 WITH SCORE 1254844.008
AT ITER 685 NEW BEST:: SOT 8349606 SOS 1515377 HAS SOPS 1515377 HAS SOUS 1252641 HAS SOUPS 1252641 WITH SCORE 1254156.377
AT ITER 700 NEW BEST:: SOT 8349606 SOS 1515315 HAS SOPS 1515315 HAS SOUS 1252641 HAS SOUPS 1252641 WITH SCORE 1254156.315
AT ITER 724 NEW BEST:: SOT 8349241 SOS 1515061 HAS SOPS 1515061 HAS SOUS 1252387 HAS SOUPS 1252387 WITH SCORE 1253902.061
AT ITER 730 NEW BEST:: SOT 8349115 SOS 1515424 HAS SOPS 1515424 HAS SOUS 1252261 HAS SOUPS 1252261 WITH SCORE 1253776.424
AT ITER 746 NEW BEST:: SOT 8348861 SOS 1515400 HAS SOPS 1515400 HAS SOUS 1252086 HAS SOUPS 1252086 WITH SCORE 1253601.4
AT ITER 773 NEW BEST:: SOT 8348565 SOS 1515483 HAS SOPS 1515483 HAS SOUS 1251839 HAS SOUPS 1251839 WITH SCORE 1253354.483
AT ITER 777 NEW BEST:: SOT 8330482 SOS 1514495 HAS SOPS 1514495 HAS SOUS 1233405 HAS SOUPS 1233405 WITH SCORE 1234919.495
AT ITER 783 NEW BEST:: SOT 8330316 SOS 1514495 HAS SOPS 1514495 HAS SOUS 1233322 HAS SOUPS 1233322 WITH SCORE 1234836.495
AT ITER 786 NEW BEST:: SOT 8330315 SOS 1514493 HAS SOPS 1514493 HAS SOUS 1233320 HAS SOUPS 1233320 WITH SCORE 1234834.493
AT ITER 800 NEW BEST:: SOT 8330201 SOS 1515031 HAS SOPS 1515031 HAS SOUS 1233197 HAS SOUPS 1233197 WITH SCORE 1234712.031
AT ITER 802 NEW BEST:: SOT 8330200 SOS 1515029 HAS SOPS 1515029 HAS SOUS 1233195 HAS SOUPS 1233195 WITH SCORE 1234710.029
AT ITER 810 NEW BEST:: SOT 8330179 SOS 1514987 HAS SOPS 1514987 HAS SOUS 1233153 HAS SOUPS 1233153 WITH SCORE 1234667.987
AT ITER 872 NEW BEST:: SOT 8329916 SOS 1513841 HAS SOPS 1513841 HAS SOUS 1232270 HAS SOUPS 1232270 WITH SCORE 1233783.841
AT ITER 898 NEW BEST:: SOT 8329934 SOS 1513678 HAS SOPS 1513678 HAS SOUS 1231941 HAS SOUPS 1231941 WITH SCORE 1233454.678
AT ITER 906 NEW BEST:: SOT 8329933 SOS 1513745 HAS SOPS 1513745 HAS SOUS 1231939 HAS SOUPS 1231939 WITH SCORE 1233452.745
AT ITER 978 NEW BEST:: SOT 8329933 SOS 1513568 HAS SOPS 1513568 HAS SOUS 1231939 HAS SOUPS 1231939 WITH SCORE 1233452.568
AT ITER 981 NEW BEST:: SOT 8329933 SOS 1513303 HAS SOPS 1513303 HAS SOUS 1231939 HAS SOUPS 1231939 WITH SCORE 1233452.303
AT ITER 989 NEW BEST:: SOT 8329826 SOS 1513271 HAS SOPS 1513271 HAS SOUS 1231907 HAS SOUPS 1231907 WITH SCORE 1233420.271
AT ITER 1001 NEW BEST:: SOT 8329640 SOS 1512899 HAS SOPS 1512899 HAS SOUS 1231257 HAS SOUPS 1231257 WITH SCORE 1232769.899
AT ITER 1009 NEW BEST:: SOT 8329507 SOS 1513353 HAS SOPS 1513353 HAS SOUS 1231232 HAS SOUPS 1231232 WITH SCORE 1232745.353
AT ITER 1045 NEW BEST:: SOT 8329428 SOS 1513482 HAS SOPS 1513482 HAS SOUS 1231155 HAS SOUPS 1231155 WITH SCORE 1232668.482
AT ITER 1062 NEW BEST:: SOT 8329428 SOS 1513476 HAS SOPS 1513476 HAS SOUS 1231155 HAS SOUPS 1231155 WITH SCORE 1232668.476
AT ITER 1072 NEW BEST:: SOT 8329427 SOS 1513412 HAS SOPS 1513412 HAS SOUS 1231153 HAS SOUPS 1231153 WITH SCORE 1232666.412
AT ITER 1082 NEW BEST:: SOT 8329450 SOS 1513458 HAS SOPS 1513458 HAS SOUS 1231082 HAS SOUPS 1231082 WITH SCORE 1232595.458
AT ITER 1092 NEW BEST:: SOT 8329834 SOS 1511265 HAS SOPS 1511265 HAS SOUS 1231043 HAS SOUPS 1231043 WITH SCORE 1232554.265
AT ITER 1121 NEW BEST:: SOT 8329722 SOS 1511041 HAS SOPS 1511041 HAS SOUS 1230819 HAS SOUPS 1230819 WITH SCORE 1232330.041
AT ITER 1124 NEW BEST:: SOT 8329722 SOS 1510811 HAS SOPS 1510811 HAS SOUS 1230818 HAS SOUPS 1230818 WITH SCORE 1232328.811
AT ITER 1168 NEW BEST:: SOT 8329179 SOS 1509725 HAS SOPS 1509725 HAS SOUS 1229972 HAS SOUPS 1229972 WITH SCORE 1231481.725
AT ITER 1169 NEW BEST:: SOT 8329087 SOS 1509633 HAS SOPS 1509633 HAS SOUS 1229880 HAS SOUPS 1229880 WITH SCORE 1231389.633
AT ITER 1173 NEW BEST:: SOT 8329087 SOS 1509266 HAS SOPS 1509266 HAS SOUS 1229880 HAS SOUPS 1229880 WITH SCORE 1231389.266
AT ITER 1181 NEW BEST:: SOT 8329087 SOS 1509266 HAS SOPS 1509266 HAS SOUS 1229717 HAS SOUPS 1229717 WITH SCORE 1231226.266
AT ITER 1183 NEW BEST:: SOT 8328685 SOS 1509248 HAS SOPS 1509248 HAS SOUS 1229446 HAS SOUPS 1229446 WITH SCORE 1230955.248
AT ITER 1206 NEW BEST:: SOT 8328684 SOS 1509187 HAS SOPS 1509187 HAS SOUS 1229444 HAS SOUPS 1229444 WITH SCORE 1230953.187
AT ITER 1240 NEW BEST:: SOT 8328684 SOS 1509043 HAS SOPS 1509043 HAS SOUS 1229444 HAS SOUPS 1229444 WITH SCORE 1230953.043
AT ITER 1276 NEW BEST:: SOT 8328461 SOS 1509295 HAS SOPS 1509295 HAS SOUS 1229385 HAS SOUPS 1229385 WITH SCORE 1230894.295
AT ITER 1300 NEW BEST:: SOT 8328253 SOS 1508879 HAS SOPS 1508879 HAS SOUS 1228969 HAS SOUPS 1228969 WITH SCORE 1230477.879
AT ITER 1304 NEW BEST:: SOT 8328433 SOS 1508606 HAS SOPS 1508606 HAS SOUS 1228874 HAS SOUPS 1228874 WITH SCORE 1230382.606
AT ITER 1306 NEW BEST:: SOT 8327923 SOS 1508096 HAS SOPS 1508096 HAS SOUS 1228364 HAS SOUPS 1228364 WITH SCORE 1229872.096
AT ITER 1315 NEW BEST:: SOT 8327922 SOS 1508094 HAS SOPS 1508094 HAS SOUS 1228362 HAS SOUPS 1228362 WITH SCORE 1229870.094
AT ITER 1342 NEW BEST:: SOT 8327908 SOS 1508066 HAS SOPS 1508066 HAS SOUS 1228334 HAS SOUPS 1228334 WITH SCORE 1229842.066
AT ITER 1353 NEW BEST:: SOT 8327836 SOS 1508035 HAS SOPS 1508035 HAS SOUS 1228190 HAS SOUPS 1228190 WITH SCORE 1229698.035
AT ITER 1364 NEW BEST:: SOT 8327367 SOS 1507649 HAS SOPS 1507649 HAS SOUS 1227567 HAS SOUPS 1227567 WITH SCORE 1229074.649
AT ITER 1371 NEW BEST:: SOT 8326767 SOS 1507077 HAS SOPS 1507077 HAS SOUS 1226978 HAS SOUPS 1226978 WITH SCORE 1228485.077
AT ITER 1389 NEW BEST:: SOT 8326767 SOS 1507077 HAS SOPS 1507077 HAS SOUS 1226834 HAS SOUPS 1226834 WITH SCORE 1228341.077
AT ITER 1401 NEW BEST:: SOT 8326767 SOS 1506779 HAS SOPS 1506779 HAS SOUS 1226834 HAS SOUPS 1226834 WITH SCORE 1228340.779
AT ITER 1431 NEW BEST:: SOT 8326767 SOS 1506467 HAS SOPS 1506467 HAS SOUS 1226522 HAS SOUPS 1226522 WITH SCORE 1228028.467
AT ITER 1435 NEW BEST:: SOT 8326856 SOS 1506254 HAS SOPS 1506254 HAS SOUS 1226353 HAS SOUPS 1226353 WITH SCORE 1227859.254
AT ITER 1439 NEW BEST:: SOT 8326858 SOS 1506258 HAS SOPS 1506258 HAS SOUS 1226282 HAS SOUPS 1226282 WITH SCORE 1227788.258
AT ITER 1440 NEW BEST:: SOT 8326610 SOS 1506318 HAS SOPS 1506318 HAS SOUS 1226255 HAS SOUPS 1226255 WITH SCORE 1227761.318
AT ITER 1465 NEW BEST:: SOT 8326609 SOS 1505958 HAS SOPS 1505958 HAS SOUS 1226253 HAS SOUPS 1226253 WITH SCORE 1227758.958
AT ITER 1508 NEW BEST:: SOT 8326671 SOS 1506082 HAS SOPS 1506082 HAS SOUS 1226137 HAS SOUPS 1226137 WITH SCORE 1227643.082
AT ITER 1625 NEW BEST:: SOT 8326662 SOS 1506064 HAS SOPS 1506064 HAS SOUS 1226128 HAS SOUPS 1226128 WITH SCORE 1227634.064
AT ITER 1690 NEW BEST:: SOT 8326534 SOS 1505808 HAS SOPS 1505808 HAS SOUS 1226018 HAS SOUPS 1226018 WITH SCORE 1227523.808
AT ITER 1710 NEW BEST:: SOT 8326542 SOS 1504975 HAS SOPS 1504975 HAS SOUS 1225185 HAS SOUPS 1225185 WITH SCORE 1226689.975
AT ITER 1774 NEW BEST:: SOT 8326464 SOS 1505179 HAS SOPS 1505179 HAS SOUS 1225107 HAS SOUPS 1225107 WITH SCORE 1226612.179
AT ITER 1793 NEW BEST:: SOT 8326283 SOS 1504817 HAS SOPS 1504817 HAS SOUS 1224745 HAS SOUPS 1224745 WITH SCORE 1226249.817
AT ITER 1845 NEW BEST:: SOT 8326283 SOS 1504412 HAS SOPS 1504412 HAS SOUS 1224745 HAS SOUPS 1224745 WITH SCORE 1226249.412
AT ITER 1884 NEW BEST:: SOT 8326282 SOS 1504410 HAS SOPS 1504410 HAS SOUS 1224743 HAS SOUPS 1224743 WITH SCORE 1226247.41
AT ITER 1914 NEW BEST:: SOT 8326282 SOS 1503822 HAS SOPS 1503822 HAS SOUS 1224449 HAS SOUPS 1224449 WITH SCORE 1225952.822
AT ITER 1918 NEW BEST:: SOT 8326106 SOS 1503470 HAS SOPS 1503470 HAS SOUS 1224051 HAS SOUPS 1224051 WITH SCORE 1225554.47
AT ITER 1925 NEW BEST:: SOT 8326106 SOS 1503160 HAS SOPS 1503160 HAS SOUS 1224051 HAS SOUPS 1224051 WITH SCORE 1225554.16
AT ITER 1928 NEW BEST:: SOT 8326080 SOS 1503108 HAS SOPS 1503108 HAS SOUS 1223999 HAS SOUPS 1223999 WITH SCORE 1225502.108
AT ITER 1937 NEW BEST:: SOT 8321269 SOS 1519865 HAS SOPS 1519865 HAS SOUS 1220180 HAS SOUPS 1220180 WITH SCORE 1221699.865
AT ITER 1967 NEW BEST:: SOT 8320624 SOS 1518971 HAS SOPS 1518971 HAS SOUS 1219185 HAS SOUPS 1219185 WITH SCORE 1220703.971
AT ITER 1970 NEW BEST:: SOT 8320624 SOS 1518880 HAS SOPS 1518880 HAS SOUS 1219185 HAS SOUPS 1219185 WITH SCORE 1220703.88
AT ITER 2005 NEW BEST:: SOT 8320436 SOS 1518504 HAS SOPS 1518504 HAS SOUS 1218741 HAS SOUPS 1218741 WITH SCORE 1220259.504
AT ITER 2041 NEW BEST:: SOT 8320435 SOS 1518438 HAS SOPS 1518438 HAS SOUS 1218676 HAS SOUPS 1218676 WITH SCORE 1220194.438
AT ITER 2060 NEW BEST:: SOT 8320507 SOS 1518582 HAS SOPS 1518582 HAS SOUS 1218415 HAS SOUPS 1218415 WITH SCORE 1219933.582
AT ITER 2064 NEW BEST:: SOT 8320361 SOS 1517560 HAS SOPS 1517560 HAS SOUS 1218123 HAS SOUPS 1218123 WITH SCORE 1219640.56
AT ITER 2080 NEW BEST:: SOT 8319992 SOS 1516822 HAS SOPS 1516822 HAS SOUS 1217385 HAS SOUPS 1217385 WITH SCORE 1218901.822
AT ITER 2099 NEW BEST:: SOT 8319992 SOS 1516640 HAS SOPS 1516640 HAS SOUS 1217385 HAS SOUPS 1217385 WITH SCORE 1218901.64
AT ITER 2102 NEW BEST:: SOT 8319846 SOS 1517308 HAS SOPS 1517308 HAS SOUS 1217315 HAS SOUPS 1217315 WITH SCORE 1218832.308
AT ITER 2134 NEW BEST:: SOT 8319846 SOS 1517039 HAS SOPS 1517039 HAS SOUS 1217315 HAS SOUPS 1217315 WITH SCORE 1218832.039
AT ITER 2135 NEW BEST:: SOT 8319720 SOS 1516661 HAS SOPS 1516661 HAS SOUS 1217063 HAS SOUPS 1217063 WITH SCORE 1218579.661
AT ITER 2145 NEW BEST:: SOT 8319719 SOS 1516659 HAS SOPS 1516659 HAS SOUS 1217061 HAS SOUPS 1217061 WITH SCORE 1218577.659
AT ITER 2223 NEW BEST:: SOT 8319581 SOS 1516383 HAS SOPS 1516383 HAS SOUS 1216785 HAS SOUPS 1216785 WITH SCORE 1218301.383
AT ITER 2228 NEW BEST:: SOT 8319282 SOS 1517505 HAS SOPS 1517505 HAS SOUS 1216783 HAS SOUPS 1216783 WITH SCORE 1218300.505
AT ITER 2239 NEW BEST:: SOT 8319282 SOS 1516933 HAS SOPS 1516933 HAS SOUS 1216783 HAS SOUPS 1216783 WITH SCORE 1218299.933
AT ITER 2246 NEW BEST:: SOT 8319282 SOS 1516847 HAS SOPS 1516847 HAS SOUS 1216740 HAS SOUPS 1216740 WITH SCORE 1218256.847
AT ITER 2250 NEW BEST:: SOT 8319281 SOS 1516720 HAS SOPS 1516720 HAS SOUS 1216738 HAS SOUPS 1216738 WITH SCORE 1218254.72
AT ITER 2269 NEW BEST:: SOT 8317051 SOS 1516047 HAS SOPS 1516047 HAS SOUS 1214772 HAS SOUPS 1214772 WITH SCORE 1216288.047
AT ITER 2284 NEW BEST:: SOT 8316887 SOS 1515719 HAS SOPS 1515719 HAS SOUS 1214272 HAS SOUPS 1214272 WITH SCORE 1215787.719
AT ITER 2303 NEW BEST:: SOT 8316689 SOS 1515323 HAS SOPS 1515323 HAS SOUS 1213876 HAS SOUPS 1213876 WITH SCORE 1215391.323
AT ITER 2330 NEW BEST:: SOT 8316308 SOS 1514561 HAS SOPS 1514561 HAS SOUS 1213114 HAS SOUPS 1213114 WITH SCORE 1214628.561
AT ITER 2337 NEW BEST:: SOT 8316308 SOS 1514506 HAS SOPS 1514506 HAS SOUS 1213114 HAS SOUPS 1213114 WITH SCORE 1214628.506
AT ITER 2367 NEW BEST:: SOT 8316159 SOS 1513828 HAS SOPS 1513828 HAS SOUS 1212661 HAS SOUPS 1212661 WITH SCORE 1214174.828
AT ITER 2403 NEW BEST:: SOT 8315939 SOS 1513388 HAS SOPS 1513388 HAS SOUS 1212221 HAS SOUPS 1212221 WITH SCORE 1213734.388
AT ITER 2409 NEW BEST:: SOT 8315661 SOS 1513110 HAS SOPS 1513110 HAS SOUS 1211804 HAS SOUPS 1211804 WITH SCORE 1213317.11
AT ITER 2422 NEW BEST:: SOT 8315661 SOS 1512940 HAS SOPS 1512940 HAS SOUS 1211634 HAS SOUPS 1211634 WITH SCORE 1213146.94
AT ITER 2423 NEW BEST:: SOT 8315411 SOS 1512440 HAS SOPS 1512440 HAS SOUS 1211134 HAS SOUPS 1211134 WITH SCORE 1212646.44
AT ITER 2425 NEW BEST:: SOT 8315174 SOS 1511966 HAS SOPS 1511966 HAS SOUS 1210295 HAS SOUPS 1210295 WITH SCORE 1211806.966
AT ITER 2436 NEW BEST:: SOT 8314867 SOS 1511810 HAS SOPS 1511810 HAS SOUS 1209988 HAS SOUPS 1209988 WITH SCORE 1211499.81
AT ITER 2460 NEW BEST:: SOT 8314867 SOS 1511545 HAS SOPS 1511545 HAS SOUS 1209988 HAS SOUPS 1209988 WITH SCORE 1211499.545
AT ITER 2466 NEW BEST:: SOT 8314525 SOS 1511545 HAS SOPS 1511545 HAS SOUS 1209817 HAS SOUPS 1209817 WITH SCORE 1211328.545
AT ITER 2488 NEW BEST:: SOT 8314525 SOS 1511545 HAS SOPS 1511545 HAS SOUS 1209701 HAS SOUPS 1209701 WITH SCORE 1211212.545
AT ITER 2494 NEW BEST:: SOT 8314480 SOS 1511455 HAS SOPS 1511455 HAS SOUS 1209611 HAS SOUPS 1209611 WITH SCORE 1211122.455
AT ITER 2523 NEW BEST:: SOT 8314296 SOS 1511305 HAS SOPS 1511305 HAS SOUS 1209461 HAS SOUPS 1209461 WITH SCORE 1210972.305
AT ITER 2527 NEW BEST:: SOT 8314127 SOS 1510967 HAS SOPS 1510967 HAS SOUS 1209053 HAS SOUPS 1209053 WITH SCORE 1210563.967
AT ITER 2536 NEW BEST:: SOT 8314126 SOS 1510867 HAS SOPS 1510867 HAS SOUS 1209051 HAS SOUPS 1209051 WITH SCORE 1210561.867
AT ITER 2537 NEW BEST:: SOT 8314125 SOS 1510865 HAS SOPS 1510865 HAS SOUS 1209050 HAS SOUPS 1209050 WITH SCORE 1210560.865
AT ITER 2566 NEW BEST:: SOT 8314029 SOS 1510769 HAS SOPS 1510769 HAS SOUS 1208954 HAS SOUPS 1208954 WITH SCORE 1210464.769
AT ITER 2580 NEW BEST:: SOT 8313783 SOS 1510277 HAS SOPS 1510277 HAS SOUS 1208349 HAS SOUPS 1208349 WITH SCORE 1209859.277
AT ITER 2605 NEW BEST:: SOT 8313783 SOS 1510077 HAS SOPS 1510077 HAS SOUS 1207998 HAS SOUPS 1207998 WITH SCORE 1209508.077
AT ITER 2619 NEW BEST:: SOT 8313783 SOS 1509958 HAS SOPS 1509958 HAS SOUS 1207998 HAS SOUPS 1207998 WITH SCORE 1209507.958
AT ITER 2636 NEW BEST:: SOT 8313715 SOS 1509822 HAS SOPS 1509822 HAS SOUS 1207862 HAS SOUPS 1207862 WITH SCORE 1209371.822
AT ITER 2637 NEW BEST:: SOT 8313616 SOS 1509624 HAS SOPS 1509624 HAS SOUS 1207664 HAS SOUPS 1207664 WITH SCORE 1209173.624
AT ITER 2665 NEW BEST:: SOT 8312864 SOS 1509269 HAS SOPS 1509269 HAS SOUS 1207309 HAS SOUPS 1207309 WITH SCORE 1208818.269
AT ITER 2707 NEW BEST:: SOT 8312752 SOS 1509045 HAS SOPS 1509045 HAS SOUS 1207085 HAS SOUPS 1207085 WITH SCORE 1208594.045
AT ITER 2712 NEW BEST:: SOT 8312675 SOS 1508891 HAS SOPS 1508891 HAS SOUS 1206709 HAS SOUPS 1206709 WITH SCORE 1208217.891
AT ITER 2738 NEW BEST:: SOT 8312674 SOS 1508889 HAS SOPS 1508889 HAS SOUS 1206707 HAS SOUPS 1206707 WITH SCORE 1208215.889
AT ITER 2744 NEW BEST:: SOT 8312114 SOS 1508889 HAS SOPS 1508889 HAS SOUS 1206427 HAS SOUPS 1206427 WITH SCORE 1207935.889
AT ITER 2746 NEW BEST:: SOT 8312114 SOS 1508817 HAS SOPS 1508817 HAS SOUS 1206427 HAS SOUPS 1206427 WITH SCORE 1207935.817
AT ITER 2762 NEW BEST:: SOT 8312048 SOS 1508751 HAS SOPS 1508751 HAS SOUS 1206361 HAS SOUPS 1206361 WITH SCORE 1207869.751
AT ITER 2766 NEW BEST:: SOT 8312048 SOS 1508751 HAS SOPS 1508751 HAS SOUS 1206142 HAS SOUPS 1206142 WITH SCORE 1207650.751
AT ITER 2772 NEW BEST:: SOT 8312220 SOS 1509095 HAS SOPS 1509095 HAS SOUS 1206050 HAS SOUPS 1206050 WITH SCORE 1207559.095
AT ITER 2825 NEW BEST:: SOT 8312151 SOS 1509156 HAS SOPS 1509156 HAS SOUS 1205981 HAS SOUPS 1205981 WITH SCORE 1207490.156
AT ITER 2830 NEW BEST:: SOT 8311763 SOS 1508380 HAS SOPS 1508380 HAS SOUS 1205205 HAS SOUPS 1205205 WITH SCORE 1206713.38
AT ITER 2860 NEW BEST:: SOT 8311470 SOS 1507794 HAS SOPS 1507794 HAS SOUS 1204619 HAS SOUPS 1204619 WITH SCORE 1206126.794
AT ITER 2893 NEW BEST:: SOT 8311470 SOS 1507680 HAS SOPS 1507680 HAS SOUS 1204618 HAS SOUPS 1204618 WITH SCORE 1206125.68
AT ITER 2952 NEW BEST:: SOT 8311470 SOS 1507552 HAS SOPS 1507552 HAS SOUS 1204618 HAS SOUPS 1204618 WITH SCORE 1206125.552
AT ITER 2969 NEW BEST:: SOT 8311469 SOS 1507221 HAS SOPS 1507221 HAS SOUS 1204616 HAS SOUPS 1204616 WITH SCORE 1206123.221
AT ITER 2985 NEW BEST:: SOT 8311469 SOS 1507221 HAS SOPS 1507221 HAS SOUS 1204551 HAS SOUPS 1204551 WITH SCORE 1206058.221
AT ITER 2989 NEW BEST:: SOT 8311468 SOS 1507219 HAS SOPS 1507219 HAS SOUS 1204549 HAS SOUPS 1204549 WITH SCORE 1206056.219
AT ITER 2998 NEW BEST:: SOT 8311325 SOS 1506933 HAS SOPS 1506933 HAS SOUS 1204263 HAS SOUPS 1204263 WITH SCORE 1205769.933
AT ITER 3003 NEW BEST:: SOT 8311061 SOS 1506669 HAS SOPS 1506669 HAS SOUS 1203999 HAS SOUPS 1203999 WITH SCORE 1205505.669
AT ITER 3018 NEW BEST:: SOT 8310910 SOS 1506367 HAS SOPS 1506367 HAS SOUS 1203697 HAS SOUPS 1203697 WITH SCORE 1205203.367
AT ITER 3021 NEW BEST:: SOT 8310909 SOS 1506365 HAS SOPS 1506365 HAS SOUS 1203695 HAS SOUPS 1203695 WITH SCORE 1205201.365
AT ITER 3042 NEW BEST:: SOT 8310829 SOS 1506205 HAS SOPS 1506205 HAS SOUS 1203535 HAS SOUPS 1203535 WITH SCORE 1205041.205
AT ITER 3067 NEW BEST:: SOT 8310738 SOS 1506023 HAS SOPS 1506023 HAS SOUS 1203444 HAS SOUPS 1203444 WITH SCORE 1204950.023
AT ITER 3091 NEW BEST:: SOT 8310225 SOS 1506205 HAS SOPS 1506205 HAS SOUS 1203233 HAS SOUPS 1203233 WITH SCORE 1204739.205
AT ITER 3113 NEW BEST:: SOT 8310213 SOS 1506181 HAS SOPS 1506181 HAS SOUS 1203209 HAS SOUPS 1203209 WITH SCORE 1204715.181
AT ITER 3136 NEW BEST:: SOT 8310212 SOS 1506179 HAS SOPS 1506179 HAS SOUS 1203207 HAS SOUPS 1203207 WITH SCORE 1204713.179
AT ITER 3139 NEW BEST:: SOT 8310212 SOS 1505519 HAS SOPS 1505519 HAS SOUS 1203206 HAS SOUPS 1203206 WITH SCORE 1204711.519
AT ITER 3154 NEW BEST:: SOT 8310366 SOS 1505351 HAS SOPS 1505351 HAS SOUS 1203165 HAS SOUPS 1203165 WITH SCORE 1204670.351
AT ITER 3176 NEW BEST:: SOT 8310366 SOS 1505317 HAS SOPS 1505317 HAS SOUS 1203164 HAS SOUPS 1203164 WITH SCORE 1204669.317
AT ITER 3195 NEW BEST:: SOT 8310346 SOS 1505277 HAS SOPS 1505277 HAS SOUS 1203124 HAS SOUPS 1203124 WITH SCORE 1204629.277
AT ITER 3197 NEW BEST:: SOT 8310346 SOS 1505185 HAS SOPS 1505185 HAS SOUS 1203124 HAS SOUPS 1203124 WITH SCORE 1204629.185
AT ITER 3201 NEW BEST:: SOT 8310277 SOS 1505047 HAS SOPS 1505047 HAS SOUS 1203055 HAS SOUPS 1203055 WITH SCORE 1204560.047
AT ITER 3215 NEW BEST:: SOT 8310219 SOS 1504931 HAS SOPS 1504931 HAS SOUS 1202997 HAS SOUPS 1202997 WITH SCORE 1204501.931
AT ITER 3266 NEW BEST:: SOT 8309868 SOS 1504769 HAS SOPS 1504769 HAS SOUS 1202646 HAS SOUPS 1202646 WITH SCORE 1204150.769
AT ITER 3312 NEW BEST:: SOT 8309868 SOS 1504769 HAS SOPS 1504769 HAS SOUS 1202453 HAS SOUPS 1202453 WITH SCORE 1203957.769
AT ITER 3377 NEW BEST:: SOT 8309867 SOS 1504767 HAS SOPS 1504767 HAS SOUS 1202451 HAS SOUPS 1202451 WITH SCORE 1203955.767
AT ITER 3390 NEW BEST:: SOT 8309867 SOS 1504587 HAS SOPS 1504587 HAS SOUS 1202451 HAS SOUPS 1202451 WITH SCORE 1203955.587
AT ITER 3406 NEW BEST:: SOT 8309814 SOS 1504481 HAS SOPS 1504481 HAS SOUS 1202398 HAS SOUPS 1202398 WITH SCORE 1203902.481
AT ITER 3429 NEW BEST:: SOT 8309548 SOS 1504215 HAS SOPS 1504215 HAS SOUS 1202123 HAS SOUPS 1202123 WITH SCORE 1203627.215
AT ITER 3433 NEW BEST:: SOT 8309547 SOS 1504213 HAS SOPS 1504213 HAS SOUS 1202121 HAS SOUPS 1202121 WITH SCORE 1203625.213
AT ITER 3462 NEW BEST:: SOT 8309364 SOS 1503847 HAS SOPS 1503847 HAS SOUS 1201755 HAS SOUPS 1201755 WITH SCORE 1203258.847
AT ITER 3489 NEW BEST:: SOT 8308956 SOS 1503439 HAS SOPS 1503439 HAS SOUS 1201347 HAS SOUPS 1201347 WITH SCORE 1202850.439
AT ITER 3506 NEW BEST:: SOT 8309100 SOS 1503126 HAS SOPS 1503126 HAS SOUS 1201309 HAS SOUPS 1201309 WITH SCORE 1202812.126
AT ITER 3568 NEW BEST:: SOT 8308738 SOS 1502402 HAS SOPS 1502402 HAS SOUS 1200585 HAS SOUPS 1200585 WITH SCORE 1202087.402
AT ITER 3582 NEW BEST:: SOT 8308737 SOS 1502399 HAS SOPS 1502399 HAS SOUS 1200583 HAS SOUPS 1200583 WITH SCORE 1202085.399
AT ITER 3625 NEW BEST:: SOT 8308372 SOS 1502418 HAS SOPS 1502418 HAS SOUS 1200300 HAS SOUPS 1200300 WITH SCORE 1201802.418
AT ITER 3648 NEW BEST:: SOT 8308330 SOS 1502334 HAS SOPS 1502334 HAS SOUS 1200258 HAS SOUPS 1200258 WITH SCORE 1201760.334
AT ITER 3649 NEW BEST:: SOT 8308076 SOS 1501572 HAS SOPS 1501572 HAS SOUS 1199750 HAS SOUPS 1199750 WITH SCORE 1201251.572
AT ITER 3664 NEW BEST:: SOT 8306944 SOS 1509857 HAS SOPS 1509857 HAS SOUS 1198641 HAS SOUPS 1198641 WITH SCORE 1200150.857
AT ITER 3666 NEW BEST:: SOT 8305887 SOS 1510618 HAS SOPS 1510618 HAS SOUS 1197792 HAS SOUPS 1197792 WITH SCORE 1199302.618
AT ITER 3678 NEW BEST:: SOT 8305788 SOS 1510222 HAS SOPS 1510222 HAS SOUS 1197594 HAS SOUPS 1197594 WITH SCORE 1199104.222
AT ITER 3679 NEW BEST:: SOT 8305787 SOS 1510220 HAS SOPS 1510220 HAS SOUS 1197592 HAS SOUPS 1197592 WITH SCORE 1199102.22
AT ITER 3686 NEW BEST:: SOT 8305787 SOS 1510220 HAS SOPS 1510220 HAS SOUS 1197283 HAS SOUPS 1197283 WITH SCORE 1198793.22
AT ITER 3712 NEW BEST:: SOT 8305991 SOS 1509927 HAS SOPS 1509927 HAS SOUS 1197113 HAS SOUPS 1197113 WITH SCORE 1198622.927
AT ITER 3728 NEW BEST:: SOT 8305761 SOS 1509697 HAS SOPS 1509697 HAS SOUS 1196883 HAS SOUPS 1196883 WITH SCORE 1198392.697
AT ITER 3750 NEW BEST:: SOT 8305752 SOS 1509679 HAS SOPS 1509679 HAS SOUS 1196874 HAS SOUPS 1196874 WITH SCORE 1198383.679
AT ITER 3758 NEW BEST:: SOT 8305787 SOS 1509749 HAS SOPS 1509749 HAS SOUS 1196806 HAS SOUPS 1196806 WITH SCORE 1198315.749
AT ITER 3761 NEW BEST:: SOT 8305787 SOS 1509361 HAS SOPS 1509361 HAS SOUS 1196462 HAS SOUPS 1196462 WITH SCORE 1197971.361
AT ITER 3774 NEW BEST:: SOT 8305477 SOS 1508741 HAS SOPS 1508741 HAS SOUS 1196165 HAS SOUPS 1196165 WITH SCORE 1197673.741
AT ITER 3777 NEW BEST:: SOT 8305477 SOS 1508496 HAS SOPS 1508496 HAS SOUS 1196165 HAS SOUPS 1196165 WITH SCORE 1197673.496
AT ITER 3783 NEW BEST:: SOT 8305223 SOS 1507988 HAS SOPS 1507988 HAS SOUS 1195763 HAS SOUPS 1195763 WITH SCORE 1197270.988
AT ITER 3830 NEW BEST:: SOT 8305118 SOS 1507778 HAS SOPS 1507778 HAS SOUS 1195658 HAS SOUPS 1195658 WITH SCORE 1197165.778
AT ITER 3861 NEW BEST:: SOT 8305100 SOS 1507742 HAS SOPS 1507742 HAS SOUS 1195635 HAS SOUPS 1195635 WITH SCORE 1197142.742
AT ITER 3866 NEW BEST:: SOT 8305033 SOS 1507608 HAS SOPS 1507608 HAS SOUS 1195501 HAS SOUPS 1195501 WITH SCORE 1197008.608
AT ITER 3874 NEW BEST:: SOT 8304992 SOS 1507604 HAS SOPS 1507604 HAS SOUS 1195472 HAS SOUPS 1195472 WITH SCORE 1196979.604
AT ITER 3876 NEW BEST:: SOT 8304992 SOS 1507460 HAS SOPS 1507460 HAS SOUS 1195472 HAS SOUPS 1195472 WITH SCORE 1196979.46
AT ITER 3889 NEW BEST:: SOT 8304942 SOS 1507360 HAS SOPS 1507360 HAS SOUS 1195372 HAS SOUPS 1195372 WITH SCORE 1196879.36
AT ITER 3893 NEW BEST:: SOT 8304717 SOS 1507135 HAS SOPS 1507135 HAS SOUS 1195147 HAS SOUPS 1195147 WITH SCORE 1196654.135
AT ITER 3897 NEW BEST:: SOT 8304642 SOS 1506985 HAS SOPS 1506985 HAS SOUS 1195072 HAS SOUPS 1195072 WITH SCORE 1196578.985
AT ITER 3907 NEW BEST:: SOT 8304442 SOS 1506585 HAS SOPS 1506585 HAS SOUS 1194672 HAS SOUPS 1194672 WITH SCORE 1196178.585
AT ITER 3931 NEW BEST:: SOT 8304442 SOS 1506329 HAS SOPS 1506329 HAS SOUS 1194671 HAS SOUPS 1194671 WITH SCORE 1196177.329
AT ITER 3944 NEW BEST:: SOT 8304245 SOS 1505935 HAS SOPS 1505935 HAS SOUS 1194139 HAS SOUPS 1194139 WITH SCORE 1195644.935
AT ITER 3952 NEW BEST:: SOT 8304265 SOS 1505975 HAS SOPS 1505975 HAS SOUS 1193799 HAS SOUPS 1193799 WITH SCORE 1195304.975
AT ITER 3959 NEW BEST:: SOT 8304147 SOS 1505874 HAS SOPS 1505874 HAS SOUS 1193694 HAS SOUPS 1193694 WITH SCORE 1195199.874
AT ITER 3964 NEW BEST:: SOT 8304185 SOS 1505790 HAS SOPS 1505790 HAS SOUS 1193652 HAS SOUPS 1193652 WITH SCORE 1195157.79
AT ITER 3968 NEW BEST:: SOT 8303744 SOS 1505517 HAS SOPS 1505517 HAS SOUS 1193606 HAS SOUPS 1193606 WITH SCORE 1195111.517
AT ITER 3990 NEW BEST:: SOT 8303439 SOS 1504907 HAS SOPS 1504907 HAS SOUS 1193301 HAS SOUPS 1193301 WITH SCORE 1194805.907
AT ITER 3996 NEW BEST:: SOT 8303447 SOS 1504923 HAS SOPS 1504923 HAS SOUS 1193282 HAS SOUPS 1193282 WITH SCORE 1194786.923
AT ITER 4007 NEW BEST:: SOT 8303447 SOS 1504802 HAS SOPS 1504802 HAS SOUS 1193282 HAS SOUPS 1193282 WITH SCORE 1194786.802
AT ITER 4023 NEW BEST:: SOT 8303418 SOS 1504802 HAS SOPS 1504802 HAS SOUS 1193253 HAS SOUPS 1193253 WITH SCORE 1194757.802
AT ITER 4049 NEW BEST:: SOT 8303394 SOS 1504754 HAS SOPS 1504754 HAS SOUS 1192741 HAS SOUPS 1192741 WITH SCORE 1194245.754
AT ITER 4061 NEW BEST:: SOT 8303242 SOS 1504946 HAS SOPS 1504946 HAS SOUS 1192515 HAS SOUPS 1192515 WITH SCORE 1194019.946
AT ITER 4077 NEW BEST:: SOT 8303221 SOS 1505174 HAS SOPS 1505174 HAS SOUS 1192494 HAS SOUPS 1192494 WITH SCORE 1193999.174
AT ITER 4103 NEW BEST:: SOT 8302911 SOS 1504919 HAS SOPS 1504919 HAS SOUS 1192184 HAS SOUPS 1192184 WITH SCORE 1193688.919
AT ITER 4129 NEW BEST:: SOT 8302543 SOS 1504972 HAS SOPS 1504972 HAS SOUS 1192079 HAS SOUPS 1192079 WITH SCORE 1193583.972
AT ITER 4151 NEW BEST:: SOT 8302149 SOS 1504618 HAS SOPS 1504618 HAS SOUS 1191698 HAS SOUPS 1191698 WITH SCORE 1193202.618
AT ITER 4156 NEW BEST:: SOT 8301866 SOS 1504356 HAS SOPS 1504356 HAS SOUS 1191456 HAS SOUPS 1191456 WITH SCORE 1192960.356
AT ITER 4160 NEW BEST:: SOT 8301662 SOS 1503746 HAS SOPS 1503746 HAS SOUS 1191048 HAS SOUPS 1191048 WITH SCORE 1192551.746
AT ITER 4165 NEW BEST:: SOT 8301134 SOS 1502201 HAS SOPS 1502201 HAS SOUS 1190242 HAS SOUPS 1190242 WITH SCORE 1191744.201
AT ITER 4171 NEW BEST:: SOT 8301120 SOS 1502205 HAS SOPS 1502205 HAS SOUS 1190228 HAS SOUPS 1190228 WITH SCORE 1191730.205
AT ITER 4181 NEW BEST:: SOT 8300954 SOS 1501873 HAS SOPS 1501873 HAS SOUS 1190060 HAS SOUPS 1190060 WITH SCORE 1191561.873
AT ITER 4204 NEW BEST:: SOT 8300954 SOS 1501657 HAS SOPS 1501657 HAS SOUS 1190060 HAS SOUPS 1190060 WITH SCORE 1191561.657
AT ITER 4220 NEW BEST:: SOT 8300607 SOS 1500554 HAS SOPS 1500554 HAS SOUS 1189252 HAS SOUPS 1189252 WITH SCORE 1190752.554
AT ITER 4258 NEW BEST:: SOT 8300607 SOS 1500554 HAS SOPS 1500554 HAS SOUS 1188933 HAS SOUPS 1188933 WITH SCORE 1190433.554
AT ITER 4271 NEW BEST:: SOT 8300538 SOS 1500416 HAS SOPS 1500416 HAS SOUS 1188519 HAS SOUPS 1188519 WITH SCORE 1190019.416
AT ITER 4284 NEW BEST:: SOT 8300549 SOS 1499905 HAS SOPS 1499905 HAS SOUS 1188196 HAS SOUPS 1188196 WITH SCORE 1189695.905
AT ITER 4313 NEW BEST:: SOT 8300549 SOS 1499891 HAS SOPS 1499891 HAS SOUS 1188196 HAS SOUPS 1188196 WITH SCORE 1189695.891
AT ITER 4353 NEW BEST:: SOT 8300172 SOS 1499137 HAS SOPS 1499137 HAS SOUS 1187442 HAS SOUPS 1187442 WITH SCORE 1188941.137
AT ITER 4361 NEW BEST:: SOT 8299331 SOS 1496604 HAS SOPS 1496604 HAS SOUS 1186584 HAS SOUPS 1186584 WITH SCORE 1188080.604
AT ITER 4382 NEW BEST:: SOT 8298902 SOS 1496324 HAS SOPS 1496324 HAS SOUS 1185877 HAS SOUPS 1185877 WITH SCORE 1187373.324
AT ITER 4384 NEW BEST:: SOT 8298823 SOS 1496166 HAS SOPS 1496166 HAS SOUS 1185798 HAS SOUPS 1185798 WITH SCORE 1187294.166
AT ITER 4387 NEW BEST:: SOT 8298823 SOS 1495775 HAS SOPS 1495775 HAS SOUS 1185798 HAS SOUPS 1185798 WITH SCORE 1187293.775
AT ITER 4391 NEW BEST:: SOT 8298757 SOS 1495577 HAS SOPS 1495577 HAS SOUS 1185666 HAS SOUPS 1185666 WITH SCORE 1187161.577
AT ITER 4481 NEW BEST:: SOT 8298424 SOS 1494702 HAS SOPS 1494702 HAS SOUS 1185124 HAS SOUPS 1185124 WITH SCORE 1186618.702
AT ITER 4497 NEW BEST:: SOT 8298304 SOS 1494462 HAS SOPS 1494462 HAS SOUS 1184884 HAS SOUPS 1184884 WITH SCORE 1186378.462
AT ITER 4512 NEW BEST:: SOT 8298383 SOS 1494541 HAS SOPS 1494541 HAS SOUS 1184761 HAS SOUPS 1184761 WITH SCORE 1186255.541
AT ITER 4541 NEW BEST:: SOT 8298355 SOS 1494513 HAS SOPS 1494513 HAS SOUS 1184733 HAS SOUPS 1184733 WITH SCORE 1186227.513
AT ITER 4563 NEW BEST:: SOT 8298355 SOS 1493313 HAS SOPS 1493313 HAS SOUS 1184133 HAS SOUPS 1184133 WITH SCORE 1185626.313
AT ITER 4576 NEW BEST:: SOT 8298282 SOS 1493262 HAS SOPS 1493262 HAS SOUS 1184079 HAS SOUPS 1184079 WITH SCORE 1185572.262
AT ITER 4598 NEW BEST:: SOT 8297670 SOS 1492756 HAS SOPS 1492756 HAS SOUS 1183504 HAS SOUPS 1183504 WITH SCORE 1184996.756
AT ITER 4635 NEW BEST:: SOT 8297535 SOS 1492486 HAS SOPS 1492486 HAS SOUS 1183368 HAS SOUPS 1183368 WITH SCORE 1184860.486
AT ITER 4646 NEW BEST:: SOT 8297534 SOS 1492321 HAS SOPS 1492321 HAS SOUS 1183366 HAS SOUPS 1183366 WITH SCORE 1184858.321
AT ITER 4658 NEW BEST:: SOT 8297408 SOS 1492195 HAS SOPS 1492195 HAS SOUS 1183365 HAS SOUPS 1183365 WITH SCORE 1184857.195
AT ITER 4674 NEW BEST:: SOT 8297330 SOS 1492078 HAS SOPS 1492078 HAS SOUS 1183248 HAS SOUPS 1183248 WITH SCORE 1184740.078
AT ITER 4733 NEW BEST:: SOT 8297279 SOS 1491976 HAS SOPS 1491976 HAS SOUS 1183146 HAS SOUPS 1183146 WITH SCORE 1184637.976
AT ITER 4748 NEW BEST:: SOT 8297227 SOS 1492001 HAS SOPS 1492001 HAS SOUS 1183122 HAS SOUPS 1183122 WITH SCORE 1184614.001
AT ITER 4749 NEW BEST:: SOT 8297054 SOS 1491864 HAS SOPS 1491864 HAS SOUS 1182985 HAS SOUPS 1182985 WITH SCORE 1184476.864
AT ITER 4750 NEW BEST:: SOT 8297005 SOS 1491766 HAS SOPS 1491766 HAS SOUS 1182935 HAS SOUPS 1182935 WITH SCORE 1184426.766
AT ITER 4753 NEW BEST:: SOT 8296559 SOS 1490874 HAS SOPS 1490874 HAS SOUS 1182263 HAS SOUPS 1182263 WITH SCORE 1183753.874
AT ITER 4773 NEW BEST:: SOT 8296104 SOS 1489964 HAS SOPS 1489964 HAS SOUS 1181684 HAS SOUPS 1181684 WITH SCORE 1183173.964
AT ITER 4795 NEW BEST:: SOT 8296112 SOS 1489866 HAS SOPS 1489866 HAS SOUS 1181586 HAS SOUPS 1181586 WITH SCORE 1183075.866
AT ITER 4802 NEW BEST:: SOT 8296112 SOS 1489866 HAS SOPS 1489866 HAS SOUS 1181206 HAS SOUPS 1181206 WITH SCORE 1182695.866
AT ITER 4893 NEW BEST:: SOT 8296087 SOS 1489841 HAS SOPS 1489841 HAS SOUS 1181205 HAS SOUPS 1181205 WITH SCORE 1182694.841
AT ITER 4936 NEW BEST:: SOT 8296095 SOS 1489857 HAS SOPS 1489857 HAS SOUS 1180684 HAS SOUPS 1180684 WITH SCORE 1182173.857
AT ITER 4949 NEW BEST:: SOT 8296047 SOS 1489761 HAS SOPS 1489761 HAS SOUS 1180452 HAS SOUPS 1180452 WITH SCORE 1181941.761
AT ITER 4962 NEW BEST:: SOT 8296047 SOS 1489761 HAS SOPS 1489761 HAS SOUS 1180183 HAS SOUPS 1180183 WITH SCORE 1181672.761
AT ITER 4984 NEW BEST:: SOT 8296047 SOS 1489630 HAS SOPS 1489630 HAS SOUS 1180183 HAS SOUPS 1180183 WITH SCORE 1181672.63
AT ITER 5013 NEW BEST:: SOT 8295986 SOS 1489508 HAS SOPS 1489508 HAS SOUS 1180166 HAS SOUPS 1180166 WITH SCORE 1181655.508
AT ITER 5016 NEW BEST:: SOT 8295926 SOS 1489388 HAS SOPS 1489388 HAS SOUS 1180046 HAS SOUPS 1180046 WITH SCORE 1181535.388
AT ITER 5018 NEW BEST:: SOT 8295674 SOS 1488884 HAS SOPS 1488884 HAS SOUS 1179542 HAS SOUPS 1179542 WITH SCORE 1181030.884
AT ITER 5032 NEW BEST:: SOT 8295667 SOS 1488856 HAS SOPS 1488856 HAS SOUS 1179528 HAS SOUPS 1179528 WITH SCORE 1181016.856
AT ITER 5037 NEW BEST:: SOT 8295514 SOS 1488550 HAS SOPS 1488550 HAS SOUS 1179222 HAS SOUPS 1179222 WITH SCORE 1180710.55
AT ITER 5045 NEW BEST:: SOT 8295484 SOS 1488490 HAS SOPS 1488490 HAS SOUS 1179162 HAS SOUPS 1179162 WITH SCORE 1180650.49
AT ITER 5071 NEW BEST:: SOT 8295484 SOS 1488490 HAS SOPS 1488490 HAS SOUS 1178961 HAS SOUPS 1178961 WITH SCORE 1180449.49
AT ITER 5083 NEW BEST:: SOT 8295221 SOS 1488227 HAS SOPS 1488227 HAS SOUS 1178330 HAS SOUPS 1178330 WITH SCORE 1179818.227
AT ITER 5086 NEW BEST:: SOT 8295173 SOS 1488179 HAS SOPS 1488179 HAS SOUS 1178282 HAS SOUPS 1178282 WITH SCORE 1179770.179
AT ITER 5099 NEW BEST:: SOT 8294993 SOS 1487819 HAS SOPS 1487819 HAS SOUS 1177922 HAS SOUPS 1177922 WITH SCORE 1179409.819
AT ITER 5103 NEW BEST:: SOT 8294809 SOS 1487451 HAS SOPS 1487451 HAS SOUS 1177521 HAS SOUPS 1177521 WITH SCORE 1179008.451
AT ITER 5144 NEW BEST:: SOT 8294809 SOS 1487328 HAS SOPS 1487328 HAS SOUS 1177521 HAS SOUPS 1177521 WITH SCORE 1179008.328
AT ITER 5197 NEW BEST:: SOT 8294599 SOS 1487118 HAS SOPS 1487118 HAS SOUS 1177311 HAS SOUPS 1177311 WITH SCORE 1178798.118
AT ITER 5204 NEW BEST:: SOT 8294599 SOS 1486713 HAS SOPS 1486713 HAS SOUS 1177311 HAS SOUPS 1177311 WITH SCORE 1178797.713
AT ITER 5208 NEW BEST:: SOT 8294460 SOS 1486435 HAS SOPS 1486435 HAS SOUS 1177172 HAS SOUPS 1177172 WITH SCORE 1178658.435
AT ITER 5224 NEW BEST:: SOT 8294459 SOS 1486433 HAS SOPS 1486433 HAS SOUS 1177170 HAS SOUPS 1177170 WITH SCORE 1178656.433
AT ITER 5285 NEW BEST:: SOT 8294379 SOS 1486273 HAS SOPS 1486273 HAS SOUS 1177010 HAS SOUPS 1177010 WITH SCORE 1178496.273
AT ITER 5298 NEW BEST:: SOT 8294379 SOS 1486273 HAS SOPS 1486273 HAS SOUS 1176797 HAS SOUPS 1176797 WITH SCORE 1178283.273
AT ITER 5323 NEW BEST:: SOT 8292340 SOS 1484235 HAS SOPS 1484235 HAS SOUS 1174759 HAS SOUPS 1174759 WITH SCORE 1176243.235
AT ITER 5326 NEW BEST:: SOT 8292228 SOS 1484011 HAS SOPS 1484011 HAS SOUS 1174535 HAS SOUPS 1174535 WITH SCORE 1176019.011
AT ITER 5352 NEW BEST:: SOT 8292227 SOS 1484223 HAS SOPS 1484223 HAS SOUS 1174533 HAS SOUPS 1174533 WITH SCORE 1176017.223
AT ITER 5375 NEW BEST:: SOT 8292223 SOS 1484225 HAS SOPS 1484225 HAS SOUS 1174531 HAS SOUPS 1174531 WITH SCORE 1176015.225
AT ITER 5391 NEW BEST:: SOT 8292250 SOS 1484279 HAS SOPS 1484279 HAS SOUS 1174188 HAS SOUPS 1174188 WITH SCORE 1175672.279
AT ITER 5393 NEW BEST:: SOT 8292250 SOS 1484047 HAS SOPS 1484047 HAS SOUS 1173956 HAS SOUPS 1173956 WITH SCORE 1175440.047
AT ITER 5400 NEW BEST:: SOT 8292058 SOS 1484047 HAS SOPS 1484047 HAS SOUS 1173860 HAS SOUPS 1173860 WITH SCORE 1175344.047
AT ITER 5431 NEW BEST:: SOT 8292057 SOS 1484077 HAS SOPS 1484077 HAS SOUS 1173858 HAS SOUPS 1173858 WITH SCORE 1175342.077
AT ITER 5440 NEW BEST:: SOT 8292057 SOS 1483881 HAS SOPS 1483881 HAS SOUS 1173662 HAS SOUPS 1173662 WITH SCORE 1175145.881
AT ITER 5488 NEW BEST:: SOT 8291779 SOS 1483325 HAS SOPS 1483325 HAS SOUS 1173384 HAS SOUPS 1173384 WITH SCORE 1174867.325
AT ITER 5500 NEW BEST:: SOT 8291779 SOS 1483207 HAS SOPS 1483207 HAS SOUS 1173384 HAS SOUPS 1173384 WITH SCORE 1174867.207
AT ITER 5506 NEW BEST:: SOT 8291568 SOS 1482567 HAS SOPS 1482567 HAS SOUS 1172962 HAS SOUPS 1172962 WITH SCORE 1174444.567
AT ITER 5508 NEW BEST:: SOT 8291538 SOS 1482507 HAS SOPS 1482507 HAS SOUS 1172902 HAS SOUPS 1172902 WITH SCORE 1174384.507
AT ITER 5554 NEW BEST:: SOT 8291534 SOS 1482495 HAS SOPS 1482495 HAS SOUS 1172894 HAS SOUPS 1172894 WITH SCORE 1174376.495
AT ITER 5568 NEW BEST:: SOT 8291534 SOS 1482444 HAS SOPS 1482444 HAS SOUS 1172843 HAS SOUPS 1172843 WITH SCORE 1174325.444
AT ITER 5597 NEW BEST:: SOT 8291262 SOS 1482183 HAS SOPS 1482183 HAS SOUS 1172571 HAS SOUPS 1172571 WITH SCORE 1174053.183
AT ITER 5625 NEW BEST:: SOT 8291175 SOS 1482009 HAS SOPS 1482009 HAS SOUS 1172397 HAS SOUPS 1172397 WITH SCORE 1173879.009
AT ITER 5637 NEW BEST:: SOT 8291175 SOS 1481626 HAS SOPS 1481626 HAS SOUS 1172397 HAS SOUPS 1172397 WITH SCORE 1173878.626
AT ITER 5644 NEW BEST:: SOT 8290926 SOS 1481128 HAS SOPS 1481128 HAS SOUS 1171926 HAS SOUPS 1171926 WITH SCORE 1173407.128
AT ITER 5654 NEW BEST:: SOT 8290926 SOS 1480972 HAS SOPS 1480972 HAS SOUS 1171926 HAS SOUPS 1171926 WITH SCORE 1173406.972
AT ITER 5677 NEW BEST:: SOT 8290567 SOS 1480254 HAS SOPS 1480254 HAS SOUS 1171208 HAS SOUPS 1171208 WITH SCORE 1172688.254
AT ITER 5686 NEW BEST:: SOT 8290561 SOS 1480242 HAS SOPS 1480242 HAS SOUS 1171202 HAS SOUPS 1171202 WITH SCORE 1172682.242
AT ITER 5695 NEW BEST:: SOT 8290522 SOS 1480164 HAS SOPS 1480164 HAS SOUS 1170819 HAS SOUPS 1170819 WITH SCORE 1172299.164
AT ITER 5698 NEW BEST:: SOT 8290330 SOS 1480288 HAS SOPS 1480288 HAS SOUS 1170689 HAS SOUPS 1170689 WITH SCORE 1172169.288
AT ITER 5760 NEW BEST:: SOT 8290203 SOS 1479911 HAS SOPS 1479911 HAS SOUS 1170435 HAS SOUPS 1170435 WITH SCORE 1171914.911
AT ITER 5765 NEW BEST:: SOT 8289902 SOS 1479309 HAS SOPS 1479309 HAS SOUS 1170283 HAS SOUPS 1170283 WITH SCORE 1171762.309
AT ITER 5766 NEW BEST:: SOT 8289674 SOS 1479843 HAS SOPS 1479843 HAS SOUS 1170221 HAS SOUPS 1170221 WITH SCORE 1171700.843
AT ITER 5772 NEW BEST:: SOT 8289591 SOS 1480252 HAS SOPS 1480252 HAS SOUS 1170219 HAS SOUPS 1170219 WITH SCORE 1171699.252
AT ITER 5776 NEW BEST:: SOT 8289428 SOS 1480089 HAS SOPS 1480089 HAS SOUS 1170219 HAS SOUPS 1170219 WITH SCORE 1171699.089
AT ITER 5816 NEW BEST:: SOT 8289418 SOS 1480069 HAS SOPS 1480069 HAS SOUS 1170199 HAS SOUPS 1170199 WITH SCORE 1171679.069
AT ITER 5844 NEW BEST:: SOT 8289418 SOS 1480069 HAS SOPS 1480069 HAS SOUS 1169776 HAS SOUPS 1169776 WITH SCORE 1171256.069
AT ITER 5873 NEW BEST:: SOT 8289302 SOS 1479837 HAS SOPS 1479837 HAS SOUS 1169544 HAS SOUPS 1169544 WITH SCORE 1171023.837
AT ITER 5884 NEW BEST:: SOT 8289354 SOS 1479658 HAS SOPS 1479658 HAS SOUS 1169536 HAS SOUPS 1169536 WITH SCORE 1171015.658
AT ITER 5892 NEW BEST:: SOT 8289278 SOS 1482949 HAS SOPS 1482949 HAS SOUS 1169460 HAS SOUPS 1169460 WITH SCORE 1170942.949
AT ITER 5893 NEW BEST:: SOT 8289060 SOS 1482513 HAS SOPS 1482513 HAS SOUS 1169024 HAS SOUPS 1169024 WITH SCORE 1170506.513
AT ITER 5894 NEW BEST:: SOT 8289056 SOS 1482505 HAS SOPS 1482505 HAS SOUS 1169018 HAS SOUPS 1169018 WITH SCORE 1170500.505
AT ITER 5935 NEW BEST:: SOT 8289137 SOS 1482667 HAS SOPS 1482667 HAS SOUS 1169009 HAS SOUPS 1169009 WITH SCORE 1170491.667
AT ITER 5956 NEW BEST:: SOT 8289047 SOS 1482577 HAS SOPS 1482577 HAS SOUS 1168919 HAS SOUPS 1168919 WITH SCORE 1170401.577
AT ITER 5963 NEW BEST:: SOT 8288841 SOS 1482371 HAS SOPS 1482371 HAS SOUS 1168507 HAS SOUPS 1168507 WITH SCORE 1169989.371
AT ITER 5982 NEW BEST:: SOT 8288840 SOS 1482246 HAS SOPS 1482246 HAS SOUS 1168435 HAS SOUPS 1168435 WITH SCORE 1169917.246
AT ITER 6006 NEW BEST:: SOT 8288562 SOS 1481690 HAS SOPS 1481690 HAS SOUS 1167879 HAS SOUPS 1167879 WITH SCORE 1169360.69
AT ITER 6036 NEW BEST:: SOT 8288562 SOS 1481658 HAS SOPS 1481658 HAS SOUS 1167879 HAS SOUPS 1167879 WITH SCORE 1169360.658
AT ITER 6039 NEW BEST:: SOT 8288549 SOS 1481632 HAS SOPS 1481632 HAS SOUS 1167853 HAS SOUPS 1167853 WITH SCORE 1169334.632
AT ITER 6048 NEW BEST:: SOT 8288130 SOS 1461154 HAS SOPS 1461154 HAS SOUS 1167015 HAS SOUPS 1167015 WITH SCORE 1168476.154
AT ITER 6066 NEW BEST:: SOT 8288130 SOS 1461152 HAS SOPS 1461152 HAS SOUS 1167013 HAS SOUPS 1167013 WITH SCORE 1168474.152
AT ITER 6074 NEW BEST:: SOT 8288011 SOS 1460772 HAS SOPS 1460772 HAS SOUS 1166894 HAS SOUPS 1166894 WITH SCORE 1168354.772
AT ITER 6111 NEW BEST:: SOT 8287964 SOS 1459838 HAS SOPS 1459838 HAS SOUS 1166685 HAS SOUPS 1166685 WITH SCORE 1168144.838
AT ITER 6175 NEW BEST:: SOT 8287843 SOS 1459596 HAS SOPS 1459596 HAS SOUS 1166514 HAS SOUPS 1166514 WITH SCORE 1167973.596
AT ITER 6186 NEW BEST:: SOT 8287513 SOS 1458936 HAS SOPS 1458936 HAS SOUS 1165854 HAS SOUPS 1165854 WITH SCORE 1167312.936
AT ITER 6198 NEW BEST:: SOT 8287419 SOS 1458748 HAS SOPS 1458748 HAS SOUS 1165704 HAS SOUPS 1165704 WITH SCORE 1167162.748
AT ITER 6203 NEW BEST:: SOT 8287298 SOS 1458744 HAS SOPS 1458744 HAS SOUS 1165583 HAS SOUPS 1165583 WITH SCORE 1167041.744
AT ITER 6215 NEW BEST:: SOT 8287298 SOS 1458744 HAS SOPS 1458744 HAS SOUS 1165540 HAS SOUPS 1165540 WITH SCORE 1166998.744
AT ITER 6257 NEW BEST:: SOT 8287245 SOS 1458754 HAS SOPS 1458754 HAS SOUS 1165487 HAS SOUPS 1165487 WITH SCORE 1166945.754
AT ITER 6259 NEW BEST:: SOT 8287245 SOS 1458739 HAS SOPS 1458739 HAS SOUS 1165484 HAS SOUPS 1165484 WITH SCORE 1166942.739
AT ITER 6288 NEW BEST:: SOT 8287132 SOS 1458513 HAS SOPS 1458513 HAS SOUS 1165258 HAS SOUPS 1165258 WITH SCORE 1166716.513
AT ITER 6296 NEW BEST:: SOT 8287047 SOS 1458343 HAS SOPS 1458343 HAS SOUS 1165088 HAS SOUPS 1165088 WITH SCORE 1166546.343
AT ITER 6345 NEW BEST:: SOT 8287047 SOS 1458094 HAS SOPS 1458094 HAS SOUS 1165088 HAS SOUPS 1165088 WITH SCORE 1166546.094
AT ITER 6346 NEW BEST:: SOT 8287092 SOS 1458184 HAS SOPS 1458184 HAS SOUS 1165001 HAS SOUPS 1165001 WITH SCORE 1166459.184
AT ITER 6360 NEW BEST:: SOT 8287185 SOS 1457907 HAS SOPS 1457907 HAS SOUS 1164724 HAS SOUPS 1164724 WITH SCORE 1166181.907
AT ITER 6371 NEW BEST:: SOT 8287113 SOS 1457763 HAS SOPS 1457763 HAS SOUS 1164652 HAS SOUPS 1164652 WITH SCORE 1166109.763
AT ITER 6388 NEW BEST:: SOT 8287112 SOS 1457761 HAS SOPS 1457761 HAS SOUS 1164650 HAS SOUPS 1164650 WITH SCORE 1166107.761
AT ITER 6404 NEW BEST:: SOT 8287111 SOS 1457609 HAS SOPS 1457609 HAS SOUS 1164499 HAS SOUPS 1164499 WITH SCORE 1165956.609
AT ITER 6416 NEW BEST:: SOT 8287111 SOS 1457361 HAS SOPS 1457361 HAS SOUS 1164251 HAS SOUPS 1164251 WITH SCORE 1165708.361
AT ITER 6437 NEW BEST:: SOT 8287207 SOS 1457139 HAS SOPS 1457139 HAS SOUS 1164030 HAS SOUPS 1164030 WITH SCORE 1165487.139
AT ITER 6451 NEW BEST:: SOT 8286920 SOS 1456565 HAS SOPS 1456565 HAS SOUS 1163456 HAS SOUPS 1163456 WITH SCORE 1164912.565
AT ITER 6456 NEW BEST:: SOT 8286920 SOS 1456355 HAS SOPS 1456355 HAS SOUS 1163246 HAS SOUPS 1163246 WITH SCORE 1164702.355
AT ITER 6467 NEW BEST:: SOT 8286219 SOS 1456258 HAS SOPS 1456258 HAS SOUS 1162806 HAS SOUPS 1162806 WITH SCORE 1164262.258
AT ITER 6486 NEW BEST:: SOT 8286186 SOS 1456192 HAS SOPS 1456192 HAS SOUS 1162740 HAS SOUPS 1162740 WITH SCORE 1164196.192
AT ITER 6500 NEW BEST:: SOT 8286019 SOS 1455858 HAS SOPS 1455858 HAS SOUS 1162573 HAS SOUPS 1162573 WITH SCORE 1164028.858
AT ITER 6505 NEW BEST:: SOT 8284066 SOS 1455959 HAS SOPS 1455959 HAS SOUS 1161543 HAS SOUPS 1161543 WITH SCORE 1162998.959
AT ITER 6508 NEW BEST:: SOT 8284208 SOS 1456243 HAS SOPS 1456243 HAS SOUS 1161324 HAS SOUPS 1161324 WITH SCORE 1162780.243
AT ITER 6546 NEW BEST:: SOT 8271280 SOS 1465995 HAS SOPS 1465995 HAS SOUS 1150276 HAS SOUPS 1150276 WITH SCORE 1151741.995
AT ITER 6575 NEW BEST:: SOT 8271102 SOS 1465639 HAS SOPS 1465639 HAS SOUS 1149920 HAS SOUPS 1149920 WITH SCORE 1151385.639
AT ITER 6583 NEW BEST:: SOT 8271053 SOS 1465541 HAS SOPS 1465541 HAS SOUS 1149790 HAS SOUPS 1149790 WITH SCORE 1151255.541
AT ITER 6610 NEW BEST:: SOT 8271000 SOS 1465435 HAS SOPS 1465435 HAS SOUS 1149684 HAS SOUPS 1149684 WITH SCORE 1151149.435
AT ITER 6618 NEW BEST:: SOT 8271000 SOS 1465435 HAS SOPS 1465435 HAS SOUS 1149636 HAS SOUPS 1149636 WITH SCORE 1151101.435
AT ITER 6636 NEW BEST:: SOT 8270500 SOS 1464875 HAS SOPS 1464875 HAS SOUS 1149209 HAS SOUPS 1149209 WITH SCORE 1150673.875
AT ITER 6642 NEW BEST:: SOT 8270500 SOS 1464868 HAS SOPS 1464868 HAS SOUS 1149202 HAS SOUPS 1149202 WITH SCORE 1150666.868
AT ITER 6702 NEW BEST:: SOT 8270260 SOS 1464388 HAS SOPS 1464388 HAS SOUS 1148585 HAS SOUPS 1148585 WITH SCORE 1150049.388
AT ITER 6707 NEW BEST:: SOT 8269928 SOS 1457250 HAS SOPS 1457250 HAS SOUS 1148087 HAS SOUPS 1148087 WITH SCORE 1149544.25
AT ITER 6710 NEW BEST:: SOT 8269651 SOS 1405586 HAS SOPS 1405586 HAS SOUS 1147810 HAS SOUPS 1147810 WITH SCORE 1149215.586
AT ITER 6717 NEW BEST:: SOT 8269650 SOS 1405584 HAS SOPS 1405584 HAS SOUS 1147808 HAS SOUPS 1147808 WITH SCORE 1149213.584
AT ITER 6733 NEW BEST:: SOT 8269649 SOS 1405267 HAS SOPS 1405267 HAS SOUS 1147806 HAS SOUPS 1147806 WITH SCORE 1149211.267
AT ITER 6745 NEW BEST:: SOT 8269547 SOS 1405063 HAS SOPS 1405063 HAS SOUS 1147602 HAS SOUPS 1147602 WITH SCORE 1149007.063
AT ITER 6753 NEW BEST:: SOT 8269282 SOS 1405261 HAS SOPS 1405261 HAS SOUS 1147082 HAS SOUPS 1147082 WITH SCORE 1148487.261
AT ITER 6780 NEW BEST:: SOT 8269169 SOS 1405148 HAS SOPS 1405148 HAS SOUS 1146969 HAS SOUPS 1146969 WITH SCORE 1148374.148
AT ITER 6787 NEW BEST:: SOT 8263365 SOS 1446040 HAS SOPS 1446040 HAS SOUS 1142603 HAS SOUPS 1142603 WITH SCORE 1144049.04
AT ITER 6824 NEW BEST:: SOT 8263365 SOS 1445678 HAS SOPS 1445678 HAS SOUS 1142603 HAS SOUPS 1142603 WITH SCORE 1144048.678
AT ITER 6831 NEW BEST:: SOT 8263399 SOS 1445746 HAS SOPS 1445746 HAS SOUS 1142292 HAS SOUPS 1142292 WITH SCORE 1143737.746
AT ITER 6864 NEW BEST:: SOT 8263125 SOS 1445198 HAS SOPS 1445198 HAS SOUS 1141771 HAS SOUPS 1141771 WITH SCORE 1143216.198
AT ITER 6871 NEW BEST:: SOT 8263226 SOS 1444712 HAS SOPS 1444712 HAS SOUS 1141579 HAS SOUPS 1141579 WITH SCORE 1143023.712
AT ITER 6896 NEW BEST:: SOT 8254986 SOS 1550326 HAS SOPS 1550326 HAS SOUS 1139067 HAS SOUPS 1139067 WITH SCORE 1140617.326
AT ITER 6898 NEW BEST:: SOT 8254828 SOS 1550010 HAS SOPS 1550010 HAS SOUS 1138653 HAS SOUPS 1138653 WITH SCORE 1140203.01
AT ITER 6903 NEW BEST:: SOT 8254767 SOS 1549827 HAS SOPS 1549827 HAS SOUS 1138531 HAS SOUPS 1138531 WITH SCORE 1140080.827
AT ITER 6921 NEW BEST:: SOT 8254767 SOS 1549827 HAS SOPS 1549827 HAS SOUS 1138494 HAS SOUPS 1138494 WITH SCORE 1140043.827
AT ITER 6926 NEW BEST:: SOT 8254871 SOS 1549782 HAS SOPS 1549782 HAS SOUS 1138449 HAS SOUPS 1138449 WITH SCORE 1139998.782
AT ITER 6937 NEW BEST:: SOT 8254652 SOS 1549344 HAS SOPS 1549344 HAS SOUS 1138011 HAS SOUPS 1138011 WITH SCORE 1139560.344
AT ITER 6960 NEW BEST:: SOT 8254651 SOS 1549244 HAS SOPS 1549244 HAS SOUS 1138009 HAS SOUPS 1138009 WITH SCORE 1139558.244
AT ITER 6966 NEW BEST:: SOT 8254117 SOS 1549258 HAS SOPS 1549258 HAS SOUS 1137714 HAS SOUPS 1137714 WITH SCORE 1139263.258
AT ITER 6973 NEW BEST:: SOT 8254022 SOS 1548973 HAS SOPS 1548973 HAS SOUS 1137524 HAS SOUPS 1137524 WITH SCORE 1139072.973
AT ITER 6975 NEW BEST:: SOT 8253933 SOS 1548795 HAS SOPS 1548795 HAS SOUS 1137446 HAS SOUPS 1137446 WITH SCORE 1138994.795
AT ITER 7007 NEW BEST:: SOT 8253868 SOS 1548665 HAS SOPS 1548665 HAS SOUS 1137316 HAS SOUPS 1137316 WITH SCORE 1138864.665
AT ITER 7027 NEW BEST:: SOT 8253720 SOS 1548369 HAS SOPS 1548369 HAS SOUS 1137020 HAS SOUPS 1137020 WITH SCORE 1138568.369
AT ITER 7029 NEW BEST:: SOT 8253607 SOS 1547902 HAS SOPS 1547902 HAS SOUS 1136794 HAS SOUPS 1136794 WITH SCORE 1138341.902
AT ITER 7047 NEW BEST:: SOT 8253211 SOS 1547110 HAS SOPS 1547110 HAS SOUS 1136340 HAS SOUPS 1136340 WITH SCORE 1137887.11
AT ITER 7061 NEW BEST:: SOT 8253153 SOS 1547052 HAS SOPS 1547052 HAS SOUS 1136282 HAS SOUPS 1136282 WITH SCORE 1137829.052
AT ITER 7063 NEW BEST:: SOT 8252937 SOS 1546620 HAS SOPS 1546620 HAS SOUS 1136066 HAS SOUPS 1136066 WITH SCORE 1137612.62
AT ITER 7111 NEW BEST:: SOT 8252294 SOS 1545977 HAS SOPS 1545977 HAS SOUS 1134780 HAS SOUPS 1134780 WITH SCORE 1136325.977
AT ITER 7159 NEW BEST:: SOT 8252104 SOS 1545597 HAS SOPS 1545597 HAS SOUS 1134637 HAS SOUPS 1134637 WITH SCORE 1136182.597
AT ITER 7163 NEW BEST:: SOT 8252006 SOS 1545401 HAS SOPS 1545401 HAS SOUS 1134534 HAS SOUPS 1134534 WITH SCORE 1136079.401
AT ITER 7172 NEW BEST:: SOT 8251932 SOS 1545253 HAS SOPS 1545253 HAS SOUS 1134386 HAS SOUPS 1134386 WITH SCORE 1135931.253
AT ITER 7174 NEW BEST:: SOT 8251643 SOS 1544675 HAS SOPS 1544675 HAS SOUS 1133808 HAS SOUPS 1133808 WITH SCORE 1135352.675
AT ITER 7214 NEW BEST:: SOT 8251513 SOS 1544415 HAS SOPS 1544415 HAS SOUS 1133678 HAS SOUPS 1133678 WITH SCORE 1135222.415
AT ITER 7243 NEW BEST:: SOT 8251467 SOS 1544323 HAS SOPS 1544323 HAS SOUS 1133632 HAS SOUPS 1133632 WITH SCORE 1135176.323
AT ITER 7244 NEW BEST:: SOT 8251365 SOS 1544119 HAS SOPS 1544119 HAS SOUS 1133530 HAS SOUPS 1133530 WITH SCORE 1135074.119
AT ITER 7292 NEW BEST:: SOT 8251365 SOS 1544051 HAS SOPS 1544051 HAS SOUS 1133530 HAS SOUPS 1133530 WITH SCORE 1135074.051
AT ITER 7293 NEW BEST:: SOT 8251365 SOS 1543923 HAS SOPS 1543923 HAS SOUS 1133530 HAS SOUPS 1133530 WITH SCORE 1135073.923
AT ITER 7311 NEW BEST:: SOT 8251365 SOS 1543839 HAS SOPS 1543839 HAS SOUS 1133530 HAS SOUPS 1133530 WITH SCORE 1135073.839
AT ITER 7327 NEW BEST:: SOT 8251313 SOS 1543787 HAS SOPS 1543787 HAS SOUS 1133478 HAS SOUPS 1133478 WITH SCORE 1135021.787
AT ITER 7329 NEW BEST:: SOT 8251508 SOS 1543982 HAS SOPS 1543982 HAS SOUS 1133407 HAS SOUPS 1133407 WITH SCORE 1134950.982
AT ITER 7335 NEW BEST:: SOT 8251450 SOS 1543866 HAS SOPS 1543866 HAS SOUS 1133291 HAS SOUPS 1133291 WITH SCORE 1134834.866
AT ITER 7340 NEW BEST:: SOT 8251347 SOS 1543660 HAS SOPS 1543660 HAS SOUS 1133188 HAS SOUPS 1133188 WITH SCORE 1134731.66
AT ITER 7377 NEW BEST:: SOT 8251347 SOS 1543505 HAS SOPS 1543505 HAS SOUS 1133033 HAS SOUPS 1133033 WITH SCORE 1134576.505
AT ITER 7388 NEW BEST:: SOT 8251346 SOS 1543504 HAS SOPS 1543504 HAS SOUS 1133032 HAS SOUPS 1133032 WITH SCORE 1134575.504
AT ITER 7406 NEW BEST:: SOT 8251346 SOS 1543352 HAS SOPS 1543352 HAS SOUS 1132956 HAS SOUPS 1132956 WITH SCORE 1134499.352
AT ITER 7410 NEW BEST:: SOT 8251324 SOS 1543059 HAS SOPS 1543059 HAS SOUS 1132685 HAS SOUPS 1132685 WITH SCORE 1134228.059
AT ITER 7423 NEW BEST:: SOT 8251324 SOS 1543059 HAS SOPS 1543059 HAS SOUS 1132684 HAS SOUPS 1132684 WITH SCORE 1134227.059
AT ITER 7432 NEW BEST:: SOT 8251161 SOS 1542733 HAS SOPS 1542733 HAS SOUS 1132245 HAS SOUPS 1132245 WITH SCORE 1133787.733
AT ITER 7503 NEW BEST:: SOT 8250862 SOS 1542433 HAS SOPS 1542433 HAS SOUS 1131945 HAS SOUPS 1131945 WITH SCORE 1133487.433
AT ITER 7531 NEW BEST:: SOT 8250514 SOS 1540093 HAS SOPS 1540093 HAS SOUS 1131249 HAS SOUPS 1131249 WITH SCORE 1132789.093
AT ITER 7538 NEW BEST:: SOT 8250333 SOS 1540070 HAS SOPS 1540070 HAS SOUS 1131068 HAS SOUPS 1131068 WITH SCORE 1132608.07
AT ITER 7548 NEW BEST:: SOT 8250333 SOS 1540070 HAS SOPS 1540070 HAS SOUS 1130869 HAS SOUPS 1130869 WITH SCORE 1132409.07
AT ITER 7551 NEW BEST:: SOT 8250186 SOS 1539776 HAS SOPS 1539776 HAS SOUS 1130853 HAS SOUPS 1130853 WITH SCORE 1132392.776
AT ITER 7572 NEW BEST:: SOT 8249998 SOS 1539587 HAS SOPS 1539587 HAS SOUS 1130664 HAS SOUPS 1130664 WITH SCORE 1132203.587
AT ITER 7610 NEW BEST:: SOT 8249883 SOS 1537741 HAS SOPS 1537741 HAS SOUS 1130549 HAS SOUPS 1130549 WITH SCORE 1132086.741
AT ITER 7644 NEW BEST:: SOT 8249617 SOS 1537499 HAS SOPS 1537499 HAS SOUS 1130287 HAS SOUPS 1130287 WITH SCORE 1131824.499
AT ITER 7663 NEW BEST:: SOT 8249343 SOS 1536951 HAS SOPS 1536951 HAS SOUS 1129739 HAS SOUPS 1129739 WITH SCORE 1131275.951
AT ITER 7705 NEW BEST:: SOT 8249179 SOS 1536985 HAS SOPS 1536985 HAS SOUS 1129660 HAS SOUPS 1129660 WITH SCORE 1131196.985
AT ITER 7709 NEW BEST:: SOT 8249130 SOS 1536887 HAS SOPS 1536887 HAS SOUS 1129611 HAS SOUPS 1129611 WITH SCORE 1131147.887
AT ITER 7750 NEW BEST:: SOT 8249129 SOS 1536358 HAS SOPS 1536358 HAS SOUS 1129345 HAS SOUPS 1129345 WITH SCORE 1130881.358
AT ITER 7770 NEW BEST:: SOT 8249128 SOS 1536356 HAS SOPS 1536356 HAS SOUS 1129343 HAS SOUPS 1129343 WITH SCORE 1130879.356
AT ITER 7791 NEW BEST:: SOT 8248902 SOS 1536464 HAS SOPS 1536464 HAS SOUS 1129172 HAS SOUPS 1129172 WITH SCORE 1130708.464
AT ITER 7799 NEW BEST:: SOT 8248902 SOS 1536445 HAS SOPS 1536445 HAS SOUS 1129153 HAS SOUPS 1129153 WITH SCORE 1130689.445
AT ITER 7814 NEW BEST:: SOT 8248790 SOS 1536221 HAS SOPS 1536221 HAS SOUS 1129041 HAS SOUPS 1129041 WITH SCORE 1130577.221
AT ITER 7836 NEW BEST:: SOT 8248768 SOS 1536177 HAS SOPS 1536177 HAS SOUS 1128997 HAS SOUPS 1128997 WITH SCORE 1130533.177
AT ITER 7849 NEW BEST:: SOT 8248953 SOS 1535960 HAS SOPS 1535960 HAS SOUS 1128608 HAS SOUPS 1128608 WITH SCORE 1130143.96
AT ITER 7878 NEW BEST:: SOT 8248945 SOS 1535944 HAS SOPS 1535944 HAS SOUS 1128569 HAS SOUPS 1128569 WITH SCORE 1130104.944
AT ITER 7940 NEW BEST:: SOT 8248699 SOS 1535452 HAS SOPS 1535452 HAS SOUS 1127965 HAS SOUPS 1127965 WITH SCORE 1129500.452
AT ITER 7945 NEW BEST:: SOT 8248773 SOS 1535600 HAS SOPS 1535600 HAS SOUS 1127730 HAS SOUPS 1127730 WITH SCORE 1129265.6
AT ITER 7957 NEW BEST:: SOT 8248743 SOS 1535619 HAS SOPS 1535619 HAS SOUS 1127646 HAS SOUPS 1127646 WITH SCORE 1129181.619
AT ITER 7967 NEW BEST:: SOT 8247769 SOS 1534817 HAS SOPS 1534817 HAS SOUS 1126759 HAS SOUPS 1126759 WITH SCORE 1128293.817
AT ITER 7970 NEW BEST:: SOT 8247659 SOS 1534789 HAS SOPS 1534789 HAS SOUS 1126731 HAS SOUPS 1126731 WITH SCORE 1128265.789
AT ITER 8010 NEW BEST:: SOT 8247322 SOS 1534115 HAS SOPS 1534115 HAS SOUS 1126057 HAS SOUPS 1126057 WITH SCORE 1127591.115
AT ITER 8014 NEW BEST:: SOT 8247322 SOS 1498583 HAS SOPS 1498583 HAS SOUS 1126057 HAS SOUPS 1126057 WITH SCORE 1127555.583
AT ITER 8090 NEW BEST:: SOT 8247321 SOS 1498249 HAS SOPS 1498249 HAS SOUS 1126055 HAS SOUPS 1126055 WITH SCORE 1127553.249
AT ITER 8097 NEW BEST:: SOT 8247257 SOS 1498121 HAS SOPS 1498121 HAS SOUS 1125991 HAS SOUPS 1125991 WITH SCORE 1127489.121
AT ITER 8100 NEW BEST:: SOT 8246391 SOS 1497087 HAS SOPS 1497087 HAS SOUS 1124957 HAS SOUPS 1124957 WITH SCORE 1126454.087
AT ITER 8139 NEW BEST:: SOT 8243908 SOS 1526687 HAS SOPS 1526687 HAS SOUS 1122996 HAS SOUPS 1122996 WITH SCORE 1124522.687
AT ITER 8146 NEW BEST:: SOT 8243713 SOS 1526492 HAS SOPS 1526492 HAS SOUS 1122940 HAS SOUPS 1122940 WITH SCORE 1124466.492
AT ITER 8149 NEW BEST:: SOT 8243602 SOS 1526270 HAS SOPS 1526270 HAS SOUS 1122718 HAS SOUPS 1122718 WITH SCORE 1124244.27
AT ITER 8185 NEW BEST:: SOT 8243601 SOS 1526268 HAS SOPS 1526268 HAS SOUS 1122716 HAS SOUPS 1122716 WITH SCORE 1124242.268
AT ITER 8191 NEW BEST:: SOT 8243565 SOS 1526196 HAS SOPS 1526196 HAS SOUS 1122644 HAS SOUPS 1122644 WITH SCORE 1124170.196
AT ITER 8194 NEW BEST:: SOT 8243613 SOS 1525617 HAS SOPS 1525617 HAS SOUS 1122108 HAS SOUPS 1122108 WITH SCORE 1123633.617
AT ITER 8239 NEW BEST:: SOT 8243328 SOS 1525047 HAS SOPS 1525047 HAS SOUS 1121936 HAS SOUPS 1121936 WITH SCORE 1123461.047
AT ITER 8264 NEW BEST:: SOT 8243123 SOS 1524637 HAS SOPS 1524637 HAS SOUS 1121927 HAS SOUPS 1121927 WITH SCORE 1123451.637
AT ITER 8310 NEW BEST:: SOT 8243041 SOS 1524555 HAS SOPS 1524555 HAS SOUS 1121845 HAS SOUPS 1121845 WITH SCORE 1123369.555
AT ITER 8376 NEW BEST:: SOT 8242955 SOS 1524469 HAS SOPS 1524469 HAS SOUS 1121759 HAS SOUPS 1121759 WITH SCORE 1123283.469
AT ITER 8417 NEW BEST:: SOT 8242904 SOS 1524461 HAS SOPS 1524461 HAS SOUS 1121657 HAS SOUPS 1121657 WITH SCORE 1123181.461
AT ITER 8420 NEW BEST:: SOT 8242484 SOS 1523621 HAS SOPS 1523621 HAS SOUS 1121237 HAS SOUPS 1121237 WITH SCORE 1122760.621
AT ITER 8428 NEW BEST:: SOT 8242484 SOS 1523431 HAS SOPS 1523431 HAS SOUS 1121237 HAS SOUPS 1121237 WITH SCORE 1122760.431
AT ITER 8448 NEW BEST:: SOT 8242471 SOS 1523405 HAS SOPS 1523405 HAS SOUS 1121223 HAS SOUPS 1121223 WITH SCORE 1122746.405
AT ITER 8455 NEW BEST:: SOT 8242253 SOS 1523617 HAS SOPS 1523617 HAS SOUS 1120934 HAS SOUPS 1120934 WITH SCORE 1122457.617
AT ITER 8457 NEW BEST:: SOT 8242158 SOS 1523522 HAS SOPS 1523522 HAS SOUS 1120839 HAS SOUPS 1120839 WITH SCORE 1122362.522
AT ITER 8484 NEW BEST:: SOT 8242158 SOS 1523522 HAS SOPS 1523522 HAS SOUS 1119977 HAS SOUPS 1119977 WITH SCORE 1121500.522
AT ITER 8538 NEW BEST:: SOT 8242158 SOS 1523522 HAS SOPS 1523522 HAS SOUS 1119976 HAS SOUPS 1119976 WITH SCORE 1121499.522
AT ITER 8543 NEW BEST:: SOT 8242158 SOS 1523377 HAS SOPS 1523377 HAS SOUS 1119831 HAS SOUPS 1119831 WITH SCORE 1121354.377
AT ITER 8550 NEW BEST:: SOT 8241923 SOS 1523228 HAS SOPS 1523228 HAS SOUS 1119671 HAS SOUPS 1119671 WITH SCORE 1121194.228
AT ITER 8552 NEW BEST:: SOT 8241904 SOS 1523201 HAS SOPS 1523201 HAS SOUS 1119644 HAS SOUPS 1119644 WITH SCORE 1121167.201
AT ITER 8575 NEW BEST:: SOT 8241577 SOS 1522220 HAS SOPS 1522220 HAS SOUS 1118990 HAS SOUPS 1118990 WITH SCORE 1120512.22
AT ITER 8631 NEW BEST:: SOT 8241060 SOS 1521186 HAS SOPS 1521186 HAS SOUS 1118532 HAS SOUPS 1118532 WITH SCORE 1120053.186
AT ITER 8669 NEW BEST:: SOT 8240947 SOS 1520960 HAS SOPS 1520960 HAS SOUS 1118306 HAS SOUPS 1118306 WITH SCORE 1119826.96
AT ITER 8708 NEW BEST:: SOT 8240942 SOS 1520922 HAS SOPS 1520922 HAS SOUS 1118287 HAS SOUPS 1118287 WITH SCORE 1119807.922
AT ITER 8720 NEW BEST:: SOT 8240988 SOS 1520600 HAS SOPS 1520600 HAS SOUS 1118172 HAS SOUPS 1118172 WITH SCORE 1119692.6
AT ITER 8744 NEW BEST:: SOT 8240866 SOS 1520567 HAS SOPS 1520567 HAS SOUS 1118139 HAS SOUPS 1118139 WITH SCORE 1119659.567
AT ITER 8763 NEW BEST:: SOT 8240866 SOS 1520217 HAS SOPS 1520217 HAS SOUS 1118139 HAS SOUPS 1118139 WITH SCORE 1119659.217
AT ITER 8792 NEW BEST:: SOT 8240866 SOS 1520183 HAS SOPS 1520183 HAS SOUS 1118105 HAS SOUPS 1118105 WITH SCORE 1119625.183
AT ITER 8802 NEW BEST:: SOT 8240291 SOS 1519033 HAS SOPS 1519033 HAS SOUS 1116955 HAS SOUPS 1116955 WITH SCORE 1118474.033
AT ITER 8824 NEW BEST:: SOT 8240098 SOS 1519321 HAS SOPS 1519321 HAS SOUS 1116921 HAS SOUPS 1116921 WITH SCORE 1118440.321
AT ITER 8839 NEW BEST:: SOT 8240098 SOS 1518956 HAS SOPS 1518956 HAS SOUS 1116921 HAS SOUPS 1116921 WITH SCORE 1118439.956
AT ITER 8851 NEW BEST:: SOT 8240025 SOS 1518810 HAS SOPS 1518810 HAS SOUS 1116809 HAS SOUPS 1116809 WITH SCORE 1118327.81
AT ITER 8889 NEW BEST:: SOT 8239398 SOS 1518183 HAS SOPS 1518183 HAS SOUS 1116182 HAS SOUPS 1116182 WITH SCORE 1117700.183
AT ITER 8910 NEW BEST:: SOT 8239344 SOS 1518075 HAS SOPS 1518075 HAS SOUS 1116074 HAS SOUPS 1116074 WITH SCORE 1117592.075
AT ITER 8914 NEW BEST:: SOT 8239332 SOS 1518051 HAS SOPS 1518051 HAS SOUS 1116050 HAS SOUPS 1116050 WITH SCORE 1117568.051
AT ITER 8933 NEW BEST:: SOT 8239199 SOS 1517070 HAS SOPS 1517070 HAS SOUS 1115784 HAS SOUPS 1115784 WITH SCORE 1117301.07
AT ITER 8936 NEW BEST:: SOT 8239198 SOS 1516609 HAS SOPS 1516609 HAS SOUS 1115782 HAS SOUPS 1115782 WITH SCORE 1117298.609
AT ITER 8952 NEW BEST:: SOT 8238756 SOS 1489937 HAS SOPS 1489937 HAS SOUS 1114898 HAS SOUPS 1114898 WITH SCORE 1116387.937
AT ITER 8985 NEW BEST:: SOT 8238649 SOS 1489723 HAS SOPS 1489723 HAS SOUS 1114888 HAS SOUPS 1114888 WITH SCORE 1116377.723
AT ITER 8987 NEW BEST:: SOT 8238558 SOS 1485719 HAS SOPS 1485719 HAS SOUS 1114706 HAS SOUPS 1114706 WITH SCORE 1116191.719
AT ITER 9012 NEW BEST:: SOT 8238498 SOS 1485599 HAS SOPS 1485599 HAS SOUS 1114586 HAS SOUPS 1114586 WITH SCORE 1116071.599
AT ITER 9027 NEW BEST:: SOT 8238320 SOS 1485424 HAS SOPS 1485424 HAS SOUS 1114408 HAS SOUPS 1114408 WITH SCORE 1115893.424
AT ITER 9042 NEW BEST:: SOT 8238320 SOS 1485250 HAS SOPS 1485250 HAS SOUS 1114234 HAS SOUPS 1114234 WITH SCORE 1115719.25
AT ITER 9045 NEW BEST:: SOT 8238239 SOS 1485088 HAS SOPS 1485088 HAS SOUS 1114072 HAS SOUPS 1114072 WITH SCORE 1115557.088
AT ITER 9069 NEW BEST:: SOT 8238239 SOS 1484859 HAS SOPS 1484859 HAS SOUS 1114072 HAS SOUPS 1114072 WITH SCORE 1115556.859
AT ITER 9071 NEW BEST:: SOT 8238190 SOS 1484810 HAS SOPS 1484810 HAS SOUS 1114023 HAS SOUPS 1114023 WITH SCORE 1115507.81
AT ITER 9095 NEW BEST:: SOT 8237935 SOS 1484300 HAS SOPS 1484300 HAS SOUS 1112926 HAS SOUPS 1112926 WITH SCORE 1114410.3
AT ITER 9106 NEW BEST:: SOT 8237778 SOS 1483814 HAS SOPS 1483814 HAS SOUS 1112685 HAS SOUPS 1112685 WITH SCORE 1114168.814
AT ITER 9118 NEW BEST:: SOT 8237733 SOS 1483724 HAS SOPS 1483724 HAS SOUS 1112595 HAS SOUPS 1112595 WITH SCORE 1114078.724
AT ITER 9127 NEW BEST:: SOT 8237616 SOS 1483212 HAS SOPS 1483212 HAS SOUS 1112293 HAS SOUPS 1112293 WITH SCORE 1113776.212
AT ITER 9141 NEW BEST:: SOT 8237616 SOS 1483103 HAS SOPS 1483103 HAS SOUS 1112184 HAS SOUPS 1112184 WITH SCORE 1113667.103
AT ITER 9143 NEW BEST:: SOT 8237616 SOS 1482928 HAS SOPS 1482928 HAS SOUS 1112184 HAS SOUPS 1112184 WITH SCORE 1113666.928
AT ITER 9178 NEW BEST:: SOT 8237616 SOS 1482821 HAS SOPS 1482821 HAS SOUS 1112184 HAS SOUPS 1112184 WITH SCORE 1113666.821
AT ITER 9197 NEW BEST:: SOT 8236878 SOS 1454945 HAS SOPS 1454945 HAS SOUS 1110708 HAS SOUPS 1110708 WITH SCORE 1112162.945
AT ITER 9214 NEW BEST:: SOT 8236416 SOS 1454021 HAS SOPS 1454021 HAS SOUS 1110426 HAS SOUPS 1110426 WITH SCORE 1111880.021
AT ITER 9225 NEW BEST:: SOT 8236218 SOS 1453625 HAS SOPS 1453625 HAS SOUS 1110228 HAS SOUPS 1110228 WITH SCORE 1111681.625
AT ITER 9226 NEW BEST:: SOT 8236218 SOS 1453574 HAS SOPS 1453574 HAS SOUS 1110177 HAS SOUPS 1110177 WITH SCORE 1111630.574
AT ITER 9259 NEW BEST:: SOT 8236217 SOS 1453179 HAS SOPS 1453179 HAS SOUS 1110175 HAS SOUPS 1110175 WITH SCORE 1111628.179
AT ITER 9278 NEW BEST:: SOT 8235861 SOS 1452467 HAS SOPS 1452467 HAS SOUS 1109937 HAS SOUPS 1109937 WITH SCORE 1111389.467
AT ITER 9286 NEW BEST:: SOT 8235861 SOS 1452253 HAS SOPS 1452253 HAS SOUS 1109723 HAS SOUPS 1109723 WITH SCORE 1111175.253
AT ITER 9299 NEW BEST:: SOT 8235556 SOS 1451948 HAS SOPS 1451948 HAS SOUS 1109418 HAS SOUPS 1109418 WITH SCORE 1110869.948
AT ITER 9331 NEW BEST:: SOT 8235288 SOS 1451412 HAS SOPS 1451412 HAS SOUS 1108882 HAS SOUPS 1108882 WITH SCORE 1110333.412
AT ITER 9347 NEW BEST:: SOT 8235273 SOS 1451558 HAS SOPS 1451558 HAS SOUS 1108867 HAS SOUPS 1108867 WITH SCORE 1110318.558
AT ITER 9355 NEW BEST:: SOT 8234904 SOS 1451698 HAS SOPS 1451698 HAS SOUS 1108762 HAS SOUPS 1108762 WITH SCORE 1110213.698
AT ITER 9364 NEW BEST:: SOT 8234894 SOS 1451678 HAS SOPS 1451678 HAS SOUS 1108752 HAS SOUPS 1108752 WITH SCORE 1110203.678
AT ITER 9393 NEW BEST:: SOT 8234690 SOS 1451408 HAS SOPS 1451408 HAS SOUS 1108410 HAS SOUPS 1108410 WITH SCORE 1109861.408
AT ITER 9397 NEW BEST:: SOT 8234689 SOS 1451406 HAS SOPS 1451406 HAS SOUS 1108408 HAS SOUPS 1108408 WITH SCORE 1109859.406
AT ITER 9475 NEW BEST:: SOT 8234523 SOS 1451074 HAS SOPS 1451074 HAS SOUS 1108242 HAS SOUPS 1108242 WITH SCORE 1109693.074
AT ITER 9488 NEW BEST:: SOT 8234359 SOS 1450217 HAS SOPS 1450217 HAS SOUS 1107549 HAS SOUPS 1107549 WITH SCORE 1108999.217
AT ITER 9491 NEW BEST:: SOT 8234306 SOS 1450164 HAS SOPS 1450164 HAS SOUS 1107496 HAS SOUPS 1107496 WITH SCORE 1108946.164
AT ITER 9505 NEW BEST:: SOT 8234075 SOS 1449702 HAS SOPS 1449702 HAS SOUS 1107469 HAS SOUPS 1107469 WITH SCORE 1108918.702
AT ITER 9511 NEW BEST:: SOT 8233624 SOS 1448800 HAS SOPS 1448800 HAS SOUS 1106567 HAS SOUPS 1106567 WITH SCORE 1108015.8
AT ITER 9522 NEW BEST:: SOT 8233570 SOS 1448746 HAS SOPS 1448746 HAS SOUS 1106513 HAS SOUPS 1106513 WITH SCORE 1107961.746
AT ITER 9598 NEW BEST:: SOT 8233429 SOS 1448464 HAS SOPS 1448464 HAS SOUS 1106372 HAS SOUPS 1106372 WITH SCORE 1107820.464
AT ITER 9599 NEW BEST:: SOT 8233061 SOS 1447728 HAS SOPS 1447728 HAS SOUS 1106004 HAS SOUPS 1106004 WITH SCORE 1107451.728
AT ITER 9634 NEW BEST:: SOT 8232715 SOS 1447036 HAS SOPS 1447036 HAS SOUS 1105312 HAS SOUPS 1105312 WITH SCORE 1106759.036
AT ITER 9660 NEW BEST:: SOT 8232704 SOS 1447014 HAS SOPS 1447014 HAS SOUS 1105270 HAS SOUPS 1105270 WITH SCORE 1106717.014
AT ITER 9741 NEW BEST:: SOT 8232644 SOS 1446894 HAS SOPS 1446894 HAS SOUS 1105150 HAS SOUPS 1105150 WITH SCORE 1106596.894
AT ITER 9753 NEW BEST:: SOT 8232335 SOS 1446276 HAS SOPS 1446276 HAS SOUS 1104532 HAS SOUPS 1104532 WITH SCORE 1105978.276
AT ITER 9755 NEW BEST:: SOT 8232348 SOS 1446124 HAS SOPS 1446124 HAS SOUS 1104489 HAS SOUPS 1104489 WITH SCORE 1105935.124
AT ITER 9789 NEW BEST:: SOT 8232063 SOS 1445405 HAS SOPS 1445405 HAS SOUS 1103919 HAS SOUPS 1103919 WITH SCORE 1105364.405
AT ITER 9809 NEW BEST:: SOT 8232241 SOS 1445761 HAS SOPS 1445761 HAS SOUS 1103907 HAS SOUPS 1103907 WITH SCORE 1105352.761
AT ITER 9812 NEW BEST:: SOT 8232176 SOS 1445631 HAS SOPS 1445631 HAS SOUS 1103871 HAS SOUPS 1103871 WITH SCORE 1105316.631
AT ITER 9841 NEW BEST:: SOT 8231664 SOS 1444215 HAS SOPS 1444215 HAS SOUS 1102847 HAS SOUPS 1102847 WITH SCORE 1104291.215
AT ITER 9846 NEW BEST:: SOT 8230728 SOS 1444975 HAS SOPS 1444975 HAS SOUS 1102221 HAS SOUPS 1102221 WITH SCORE 1103665.975
AT ITER 9865 NEW BEST:: SOT 8230608 SOS 1444735 HAS SOPS 1444735 HAS SOUS 1102041 HAS SOUPS 1102041 WITH SCORE 1103485.735
AT ITER 9871 NEW BEST:: SOT 8230978 SOS 1445010 HAS SOPS 1445010 HAS SOUS 1102001 HAS SOUPS 1102001 WITH SCORE 1103446.01
AT ITER 9906 NEW BEST:: SOT 8230996 SOS 1444687 HAS SOPS 1444687 HAS SOUS 1101678 HAS SOUPS 1101678 WITH SCORE 1103122.687
AT ITER 9946 NEW BEST:: SOT 8230996 SOS 1444583 HAS SOPS 1444583 HAS SOUS 1101678 HAS SOUPS 1101678 WITH SCORE 1103122.583
AT ITER 9986 NEW BEST:: SOT 8230898 SOS 1444387 HAS SOPS 1444387 HAS SOUS 1101482 HAS SOUPS 1101482 WITH SCORE 1102926.387
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12814668 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121728 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is 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 4"
echo " Run identifier is r107-tall-167814483800168"
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 ;