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.r011-oct2-167813599800152.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ASLink-PT-09b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599800152
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 5.9K Feb 26 13:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 26 13:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 13:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 13:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 13:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 13:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 13:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 26 13:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:30 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 1.3M 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 1678728550665

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=ASLink-PT-09b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 17:29:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 17:29:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 17:29:13] [INFO ] Load time of PNML (sax parser for PT used): 305 ms
[2023-03-13 17:29:13] [INFO ] Transformed 4014 places.
[2023-03-13 17:29:13] [INFO ] Transformed 4932 transitions.
[2023-03-13 17:29:13] [INFO ] Found NUPN structural information;
[2023-03-13 17:29:13] [INFO ] Parsed PT model containing 4014 places and 4932 transitions and 14960 arcs in 642 ms.
[2023-03-13 17:29:13] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 4014 places, 4932 transitions and 14960 arcs took 52 ms.
Total runtime 742 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 09b
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: 4014 places, 4932 transitions, 14960 arcs.
AT ITER 0 NEW BEST:: SOT 10464167 SOS 1698605 HAS SOPS 1698605 HAS SOUS 1376319 HAS SOUPS 1376319 WITH SCORE 1378017.605
AT ITER 22 NEW BEST:: SOT 10464095 SOS 1698461 HAS SOPS 1698461 HAS SOUS 1376245 HAS SOUPS 1376245 WITH SCORE 1377943.461
AT ITER 30 NEW BEST:: SOT 10463918 SOS 1698107 HAS SOPS 1698107 HAS SOUS 1376067 HAS SOUPS 1376067 WITH SCORE 1377765.107
AT ITER 44 NEW BEST:: SOT 10463878 SOS 1698075 HAS SOPS 1698075 HAS SOUS 1376035 HAS SOUPS 1376035 WITH SCORE 1377733.075
AT ITER 53 NEW BEST:: SOT 10463785 SOS 1697844 HAS SOPS 1697844 HAS SOUS 1375804 HAS SOUPS 1375804 WITH SCORE 1377501.844
AT ITER 62 NEW BEST:: SOT 10463945 SOS 1697826 HAS SOPS 1697826 HAS SOUS 1375786 HAS SOUPS 1375786 WITH SCORE 1377483.826
AT ITER 67 NEW BEST:: SOT 10463697 SOS 1697578 HAS SOPS 1697578 HAS SOUS 1375538 HAS SOUPS 1375538 WITH SCORE 1377235.578
AT ITER 68 NEW BEST:: SOT 10463339 SOS 1698294 HAS SOPS 1698294 HAS SOUS 1375180 HAS SOUPS 1375180 WITH SCORE 1376878.294
AT ITER 75 NEW BEST:: SOT 10463166 SOS 1698121 HAS SOPS 1698121 HAS SOUS 1375006 HAS SOUPS 1375006 WITH SCORE 1376704.121
AT ITER 76 NEW BEST:: SOT 10463134 SOS 1700207 HAS SOPS 1700207 HAS SOUS 1375002 HAS SOUPS 1375002 WITH SCORE 1376702.207
AT ITER 99 NEW BEST:: SOT 10462952 SOS 1699843 HAS SOPS 1699843 HAS SOUS 1374638 HAS SOUPS 1374638 WITH SCORE 1376337.843
AT ITER 111 NEW BEST:: SOT 10462716 SOS 1699881 HAS SOPS 1699881 HAS SOUS 1374477 HAS SOUPS 1374477 WITH SCORE 1376176.881
AT ITER 142 NEW BEST:: SOT 10462604 SOS 1699828 HAS SOPS 1699828 HAS SOUS 1374424 HAS SOUPS 1374424 WITH SCORE 1376123.828
AT ITER 148 NEW BEST:: SOT 10462604 SOS 1699669 HAS SOPS 1699669 HAS SOUS 1374265 HAS SOUPS 1374265 WITH SCORE 1375964.669
AT ITER 153 NEW BEST:: SOT 10462626 SOS 1699399 HAS SOPS 1699399 HAS SOUS 1374223 HAS SOUPS 1374223 WITH SCORE 1375922.399
AT ITER 157 NEW BEST:: SOT 10462138 SOS 1699302 HAS SOPS 1699302 HAS SOUS 1373930 HAS SOUPS 1373930 WITH SCORE 1375629.302
AT ITER 169 NEW BEST:: SOT 10462138 SOS 1699111 HAS SOPS 1699111 HAS SOUS 1373929 HAS SOUPS 1373929 WITH SCORE 1375628.111
AT ITER 238 NEW BEST:: SOT 10462138 SOS 1699054 HAS SOPS 1699054 HAS SOUS 1373872 HAS SOUPS 1373872 WITH SCORE 1375571.054
AT ITER 256 NEW BEST:: SOT 10461033 SOS 1699360 HAS SOPS 1699360 HAS SOUS 1372925 HAS SOUPS 1372925 WITH SCORE 1374624.36
AT ITER 263 NEW BEST:: SOT 10461033 SOS 1699176 HAS SOPS 1699176 HAS SOUS 1372923 HAS SOUPS 1372923 WITH SCORE 1374622.176
AT ITER 276 NEW BEST:: SOT 10460933 SOS 1698722 HAS SOPS 1698722 HAS SOUS 1372627 HAS SOUPS 1372627 WITH SCORE 1374325.722
AT ITER 311 NEW BEST:: SOT 10460830 SOS 1698516 HAS SOPS 1698516 HAS SOUS 1372524 HAS SOUPS 1372524 WITH SCORE 1374222.516
AT ITER 315 NEW BEST:: SOT 10460809 SOS 1698498 HAS SOPS 1698498 HAS SOUS 1372506 HAS SOUPS 1372506 WITH SCORE 1374204.498
AT ITER 329 NEW BEST:: SOT 10460781 SOS 1698442 HAS SOPS 1698442 HAS SOUS 1372478 HAS SOUPS 1372478 WITH SCORE 1374176.442
AT ITER 337 NEW BEST:: SOT 10457069 SOS 1695161 HAS SOPS 1695161 HAS SOUS 1372213 HAS SOUPS 1372213 WITH SCORE 1373908.161
AT ITER 371 NEW BEST:: SOT 10457069 SOS 1695099 HAS SOPS 1695099 HAS SOUS 1372151 HAS SOUPS 1372151 WITH SCORE 1373846.099
AT ITER 372 NEW BEST:: SOT 10456870 SOS 1694502 HAS SOPS 1694502 HAS SOUS 1371564 HAS SOUPS 1371564 WITH SCORE 1373258.502
AT ITER 413 NEW BEST:: SOT 10453652 SOS 1691508 HAS SOPS 1691508 HAS SOUS 1368570 HAS SOUPS 1368570 WITH SCORE 1370261.508
AT ITER 419 NEW BEST:: SOT 10453650 SOS 1691504 HAS SOPS 1691504 HAS SOUS 1368567 HAS SOUPS 1368567 WITH SCORE 1370258.504
AT ITER 476 NEW BEST:: SOT 10453438 SOS 1691581 HAS SOPS 1691581 HAS SOUS 1368505 HAS SOUPS 1368505 WITH SCORE 1370196.581
AT ITER 510 NEW BEST:: SOT 10453137 SOS 1691280 HAS SOPS 1691280 HAS SOUS 1368204 HAS SOUPS 1368204 WITH SCORE 1369895.28
AT ITER 520 NEW BEST:: SOT 10451015 SOS 1690192 HAS SOPS 1690192 HAS SOUS 1366455 HAS SOUPS 1366455 WITH SCORE 1368145.192
AT ITER 522 NEW BEST:: SOT 10450861 SOS 1690037 HAS SOPS 1690037 HAS SOUS 1366298 HAS SOUPS 1366298 WITH SCORE 1367988.037
AT ITER 560 NEW BEST:: SOT 10450741 SOS 1689737 HAS SOPS 1689737 HAS SOUS 1366118 HAS SOUPS 1366118 WITH SCORE 1367807.737
AT ITER 604 NEW BEST:: SOT 10448957 SOS 1701694 HAS SOPS 1701694 HAS SOUS 1365909 HAS SOUPS 1365909 WITH SCORE 1367610.694
AT ITER 624 NEW BEST:: SOT 10448957 SOS 1701693 HAS SOPS 1701693 HAS SOUS 1365908 HAS SOUPS 1365908 WITH SCORE 1367609.693
AT ITER 625 NEW BEST:: SOT 10448207 SOS 1701284 HAS SOPS 1701284 HAS SOUS 1365264 HAS SOUPS 1365264 WITH SCORE 1366965.284
AT ITER 633 NEW BEST:: SOT 10448207 SOS 1701258 HAS SOPS 1701258 HAS SOUS 1365264 HAS SOUPS 1365264 WITH SCORE 1366965.258
AT ITER 637 NEW BEST:: SOT 10446460 SOS 1701255 HAS SOPS 1701255 HAS SOUS 1363773 HAS SOUPS 1363773 WITH SCORE 1365474.255
AT ITER 718 NEW BEST:: SOT 10445459 SOS 1700254 HAS SOPS 1700254 HAS SOUS 1363773 HAS SOUPS 1363773 WITH SCORE 1365473.254
AT ITER 719 NEW BEST:: SOT 10445238 SOS 1700033 HAS SOPS 1700033 HAS SOUS 1363552 HAS SOUPS 1363552 WITH SCORE 1365252.033
AT ITER 727 NEW BEST:: SOT 10445184 SOS 1699925 HAS SOPS 1699925 HAS SOUS 1363540 HAS SOUPS 1363540 WITH SCORE 1365239.925
AT ITER 759 NEW BEST:: SOT 10445363 SOS 1699512 HAS SOPS 1699512 HAS SOUS 1363383 HAS SOUPS 1363383 WITH SCORE 1365082.512
AT ITER 778 NEW BEST:: SOT 10445363 SOS 1699304 HAS SOPS 1699304 HAS SOUS 1363382 HAS SOUPS 1363382 WITH SCORE 1365081.304
AT ITER 810 NEW BEST:: SOT 10445224 SOS 1699257 HAS SOPS 1699257 HAS SOUS 1363335 HAS SOUPS 1363335 WITH SCORE 1365034.257
AT ITER 864 NEW BEST:: SOT 10445109 SOS 1699224 HAS SOPS 1699224 HAS SOUS 1363261 HAS SOUPS 1363261 WITH SCORE 1364960.224
AT ITER 865 NEW BEST:: SOT 10445032 SOS 1699052 HAS SOPS 1699052 HAS SOUS 1363089 HAS SOUPS 1363089 WITH SCORE 1364788.052
AT ITER 877 NEW BEST:: SOT 10445032 SOS 1698857 HAS SOPS 1698857 HAS SOUS 1362894 HAS SOUPS 1362894 WITH SCORE 1364592.857
AT ITER 879 NEW BEST:: SOT 10444814 SOS 1699293 HAS SOPS 1699293 HAS SOUS 1362674 HAS SOUPS 1362674 WITH SCORE 1364373.293
AT ITER 881 NEW BEST:: SOT 10444169 SOS 1699524 HAS SOPS 1699524 HAS SOUS 1362391 HAS SOUPS 1362391 WITH SCORE 1364090.524
AT ITER 893 NEW BEST:: SOT 10444169 SOS 1699236 HAS SOPS 1699236 HAS SOUS 1362383 HAS SOUPS 1362383 WITH SCORE 1364082.236
AT ITER 895 NEW BEST:: SOT 10444128 SOS 1698692 HAS SOPS 1698692 HAS SOUS 1362158 HAS SOUPS 1362158 WITH SCORE 1363856.692
AT ITER 910 NEW BEST:: SOT 10442646 SOS 1697173 HAS SOPS 1697173 HAS SOUS 1360494 HAS SOUPS 1360494 WITH SCORE 1362191.173
AT ITER 917 NEW BEST:: SOT 10442646 SOS 1697172 HAS SOPS 1697172 HAS SOUS 1360493 HAS SOUPS 1360493 WITH SCORE 1362190.172
AT ITER 925 NEW BEST:: SOT 10442646 SOS 1696927 HAS SOPS 1696927 HAS SOUS 1360492 HAS SOUPS 1360492 WITH SCORE 1362188.927
AT ITER 941 NEW BEST:: SOT 10442818 SOS 1696809 HAS SOPS 1696809 HAS SOUS 1360377 HAS SOUPS 1360377 WITH SCORE 1362073.809
AT ITER 943 NEW BEST:: SOT 10442449 SOS 1696434 HAS SOPS 1696434 HAS SOUS 1359850 HAS SOUPS 1359850 WITH SCORE 1361546.434
AT ITER 961 NEW BEST:: SOT 10442449 SOS 1697921 HAS SOPS 1697921 HAS SOUS 1359840 HAS SOUPS 1359840 WITH SCORE 1361537.921
AT ITER 968 NEW BEST:: SOT 10442017 SOS 1697485 HAS SOPS 1697485 HAS SOUS 1359408 HAS SOUPS 1359408 WITH SCORE 1361105.485
AT ITER 971 NEW BEST:: SOT 10442017 SOS 1696771 HAS SOPS 1696771 HAS SOUS 1359406 HAS SOUPS 1359406 WITH SCORE 1361102.771
AT ITER 976 NEW BEST:: SOT 10441977 SOS 1696444 HAS SOPS 1696444 HAS SOUS 1359394 HAS SOUPS 1359394 WITH SCORE 1361090.444
AT ITER 985 NEW BEST:: SOT 10442011 SOS 1695611 HAS SOPS 1695611 HAS SOUS 1359009 HAS SOUPS 1359009 WITH SCORE 1360704.611
AT ITER 989 NEW BEST:: SOT 10442011 SOS 1695391 HAS SOPS 1695391 HAS SOUS 1359008 HAS SOUPS 1359008 WITH SCORE 1360703.391
AT ITER 1002 NEW BEST:: SOT 10441978 SOS 1695325 HAS SOPS 1695325 HAS SOUS 1358971 HAS SOUPS 1358971 WITH SCORE 1360666.325
AT ITER 1020 NEW BEST:: SOT 10441977 SOS 1695059 HAS SOPS 1695059 HAS SOUS 1358968 HAS SOUPS 1358968 WITH SCORE 1360663.059
AT ITER 1057 NEW BEST:: SOT 10441977 SOS 1696383 HAS SOPS 1696383 HAS SOUS 1358941 HAS SOUPS 1358941 WITH SCORE 1360637.383
AT ITER 1064 NEW BEST:: SOT 10441977 SOS 1696319 HAS SOPS 1696319 HAS SOUS 1358936 HAS SOUPS 1358936 WITH SCORE 1360632.319
AT ITER 1079 NEW BEST:: SOT 10441977 SOS 1695937 HAS SOPS 1695937 HAS SOUS 1358554 HAS SOUPS 1358554 WITH SCORE 1360249.937
AT ITER 1090 NEW BEST:: SOT 10441855 SOS 1695755 HAS SOPS 1695755 HAS SOUS 1358372 HAS SOUPS 1358372 WITH SCORE 1360067.755
AT ITER 1139 NEW BEST:: SOT 10441789 SOS 1695564 HAS SOPS 1695564 HAS SOUS 1358181 HAS SOUPS 1358181 WITH SCORE 1359876.564
AT ITER 1157 NEW BEST:: SOT 10441601 SOS 1695469 HAS SOPS 1695469 HAS SOUS 1358086 HAS SOUPS 1358086 WITH SCORE 1359781.469
AT ITER 1170 NEW BEST:: SOT 10441450 SOS 1696224 HAS SOPS 1696224 HAS SOUS 1357934 HAS SOUPS 1357934 WITH SCORE 1359630.224
AT ITER 1196 NEW BEST:: SOT 10441332 SOS 1695904 HAS SOPS 1695904 HAS SOUS 1357932 HAS SOUPS 1357932 WITH SCORE 1359627.904
AT ITER 1198 NEW BEST:: SOT 10441160 SOS 1695881 HAS SOPS 1695881 HAS SOUS 1357909 HAS SOUPS 1357909 WITH SCORE 1359604.881
AT ITER 1214 NEW BEST:: SOT 10440709 SOS 1695382 HAS SOPS 1695382 HAS SOUS 1357406 HAS SOUPS 1357406 WITH SCORE 1359101.382
AT ITER 1215 NEW BEST:: SOT 10440544 SOS 1695217 HAS SOPS 1695217 HAS SOUS 1357207 HAS SOUPS 1357207 WITH SCORE 1358902.217
AT ITER 1216 NEW BEST:: SOT 10440788 SOS 1695053 HAS SOPS 1695053 HAS SOUS 1357099 HAS SOUPS 1357099 WITH SCORE 1358794.053
AT ITER 1220 NEW BEST:: SOT 10440565 SOS 1693406 HAS SOPS 1693406 HAS SOUS 1356759 HAS SOUPS 1356759 WITH SCORE 1358452.406
AT ITER 1231 NEW BEST:: SOT 10440362 SOS 1692989 HAS SOPS 1692989 HAS SOUS 1356342 HAS SOUPS 1356342 WITH SCORE 1358034.989
AT ITER 1233 NEW BEST:: SOT 10440362 SOS 1692807 HAS SOPS 1692807 HAS SOUS 1356342 HAS SOUPS 1356342 WITH SCORE 1358034.807
AT ITER 1249 NEW BEST:: SOT 10439854 SOS 1692115 HAS SOPS 1692115 HAS SOUS 1356182 HAS SOUPS 1356182 WITH SCORE 1357874.115
AT ITER 1251 NEW BEST:: SOT 10439652 SOS 1692014 HAS SOPS 1692014 HAS SOUS 1356081 HAS SOUPS 1356081 WITH SCORE 1357773.014
AT ITER 1300 NEW BEST:: SOT 10439525 SOS 1691632 HAS SOPS 1691632 HAS SOUS 1355827 HAS SOUPS 1355827 WITH SCORE 1357518.632
AT ITER 1304 NEW BEST:: SOT 10439524 SOS 1691630 HAS SOPS 1691630 HAS SOUS 1355825 HAS SOUPS 1355825 WITH SCORE 1357516.63
AT ITER 1319 NEW BEST:: SOT 10439456 SOS 1691456 HAS SOPS 1691456 HAS SOUS 1355726 HAS SOUPS 1355726 WITH SCORE 1357417.456
AT ITER 1322 NEW BEST:: SOT 10439349 SOS 1691298 HAS SOPS 1691298 HAS SOUS 1355551 HAS SOUPS 1355551 WITH SCORE 1357242.298
AT ITER 1341 NEW BEST:: SOT 10439090 SOS 1690780 HAS SOPS 1690780 HAS SOUS 1355033 HAS SOUPS 1355033 WITH SCORE 1356723.78
AT ITER 1344 NEW BEST:: SOT 10438814 SOS 1690487 HAS SOPS 1690487 HAS SOUS 1354733 HAS SOUPS 1354733 WITH SCORE 1356423.487
AT ITER 1345 NEW BEST:: SOT 10438530 SOS 1689732 HAS SOPS 1689732 HAS SOUS 1354426 HAS SOUPS 1354426 WITH SCORE 1356115.732
AT ITER 1372 NEW BEST:: SOT 10438571 SOS 1689576 HAS SOPS 1689576 HAS SOUS 1354113 HAS SOUPS 1354113 WITH SCORE 1355802.576
AT ITER 1383 NEW BEST:: SOT 10438464 SOS 1689255 HAS SOPS 1689255 HAS SOUS 1353898 HAS SOUPS 1353898 WITH SCORE 1355587.255
AT ITER 1390 NEW BEST:: SOT 10438362 SOS 1689051 HAS SOPS 1689051 HAS SOUS 1353694 HAS SOUPS 1353694 WITH SCORE 1355383.051
AT ITER 1395 NEW BEST:: SOT 10438348 SOS 1688757 HAS SOPS 1688757 HAS SOUS 1353663 HAS SOUPS 1353663 WITH SCORE 1355351.757
AT ITER 1396 NEW BEST:: SOT 10438234 SOS 1688534 HAS SOPS 1688534 HAS SOUS 1353411 HAS SOUPS 1353411 WITH SCORE 1355099.534
AT ITER 1413 NEW BEST:: SOT 10437917 SOS 1688217 HAS SOPS 1688217 HAS SOUS 1353093 HAS SOUPS 1353093 WITH SCORE 1354781.217
AT ITER 1431 NEW BEST:: SOT 10437673 SOS 1688217 HAS SOPS 1688217 HAS SOUS 1352901 HAS SOUPS 1352901 WITH SCORE 1354589.217
AT ITER 1440 NEW BEST:: SOT 10437673 SOS 1688132 HAS SOPS 1688132 HAS SOUS 1352900 HAS SOUPS 1352900 WITH SCORE 1354588.132
AT ITER 1466 NEW BEST:: SOT 10437551 SOS 1687189 HAS SOPS 1687189 HAS SOUS 1352656 HAS SOUPS 1352656 WITH SCORE 1354343.189
AT ITER 1507 NEW BEST:: SOT 10437251 SOS 1686589 HAS SOPS 1686589 HAS SOUS 1352056 HAS SOUPS 1352056 WITH SCORE 1353742.589
AT ITER 1512 NEW BEST:: SOT 10437126 SOS 1686523 HAS SOPS 1686523 HAS SOUS 1351990 HAS SOUPS 1351990 WITH SCORE 1353676.523
AT ITER 1535 NEW BEST:: SOT 10437101 SOS 1686246 HAS SOPS 1686246 HAS SOUS 1351876 HAS SOUPS 1351876 WITH SCORE 1353562.246
AT ITER 1546 NEW BEST:: SOT 10436244 SOS 1686382 HAS SOPS 1686382 HAS SOUS 1351583 HAS SOUPS 1351583 WITH SCORE 1353269.382
AT ITER 1586 NEW BEST:: SOT 10436234 SOS 1686372 HAS SOPS 1686372 HAS SOUS 1351573 HAS SOUPS 1351573 WITH SCORE 1353259.372
AT ITER 1599 NEW BEST:: SOT 10436197 SOS 1686318 HAS SOPS 1686318 HAS SOUS 1351519 HAS SOUPS 1351519 WITH SCORE 1353205.318
AT ITER 1642 NEW BEST:: SOT 10436107 SOS 1685868 HAS SOPS 1685868 HAS SOUS 1351339 HAS SOUPS 1351339 WITH SCORE 1353024.868
AT ITER 1653 NEW BEST:: SOT 10436107 SOS 1685853 HAS SOPS 1685853 HAS SOUS 1351324 HAS SOUPS 1351324 WITH SCORE 1353009.853
AT ITER 1675 NEW BEST:: SOT 10436107 SOS 1685735 HAS SOPS 1685735 HAS SOUS 1351323 HAS SOUPS 1351323 WITH SCORE 1353008.735
AT ITER 1685 NEW BEST:: SOT 10436106 SOS 1685504 HAS SOPS 1685504 HAS SOUS 1351259 HAS SOUPS 1351259 WITH SCORE 1352944.504
AT ITER 1687 NEW BEST:: SOT 10432019 SOS 1684432 HAS SOPS 1684432 HAS SOUS 1347705 HAS SOUPS 1347705 WITH SCORE 1349389.432
AT ITER 1688 NEW BEST:: SOT 10432018 SOS 1684428 HAS SOPS 1684428 HAS SOUS 1347701 HAS SOUPS 1347701 WITH SCORE 1349385.428
AT ITER 1689 NEW BEST:: SOT 10431914 SOS 1685404 HAS SOPS 1685404 HAS SOUS 1347597 HAS SOUPS 1347597 WITH SCORE 1349282.404
AT ITER 1721 NEW BEST:: SOT 10431832 SOS 1685352 HAS SOPS 1685352 HAS SOUS 1347545 HAS SOUPS 1347545 WITH SCORE 1349230.352
AT ITER 1774 NEW BEST:: SOT 10431752 SOS 1684899 HAS SOPS 1684899 HAS SOUS 1347412 HAS SOUPS 1347412 WITH SCORE 1349096.899
AT ITER 1781 NEW BEST:: SOT 10431609 SOS 1684872 HAS SOPS 1684872 HAS SOUS 1347385 HAS SOUPS 1347385 WITH SCORE 1349069.872
AT ITER 1817 NEW BEST:: SOT 10431550 SOS 1684151 HAS SOPS 1684151 HAS SOUS 1347150 HAS SOUPS 1347150 WITH SCORE 1348834.151
AT ITER 1829 NEW BEST:: SOT 10430621 SOS 1684412 HAS SOPS 1684412 HAS SOUS 1346520 HAS SOUPS 1346520 WITH SCORE 1348204.412
AT ITER 1838 NEW BEST:: SOT 10430606 SOS 1684382 HAS SOPS 1684382 HAS SOUS 1346504 HAS SOUPS 1346504 WITH SCORE 1348188.382
AT ITER 1856 NEW BEST:: SOT 10430502 SOS 1684273 HAS SOPS 1684273 HAS SOUS 1346395 HAS SOUPS 1346395 WITH SCORE 1348079.273
AT ITER 1941 NEW BEST:: SOT 10430501 SOS 1684058 HAS SOPS 1684058 HAS SOUS 1346392 HAS SOUPS 1346392 WITH SCORE 1348076.058
AT ITER 1945 NEW BEST:: SOT 10430272 SOS 1683828 HAS SOPS 1683828 HAS SOUS 1346162 HAS SOUPS 1346162 WITH SCORE 1347845.828
AT ITER 1951 NEW BEST:: SOT 10430222 SOS 1683770 HAS SOPS 1683770 HAS SOUS 1346110 HAS SOUPS 1346110 WITH SCORE 1347793.77
AT ITER 1963 NEW BEST:: SOT 10430078 SOS 1683638 HAS SOPS 1683638 HAS SOUS 1346062 HAS SOUPS 1346062 WITH SCORE 1347745.638
AT ITER 1966 NEW BEST:: SOT 10430078 SOS 1683513 HAS SOPS 1683513 HAS SOUS 1346062 HAS SOUPS 1346062 WITH SCORE 1347745.513
AT ITER 1979 NEW BEST:: SOT 10429980 SOS 1683415 HAS SOPS 1683415 HAS SOUS 1345963 HAS SOUPS 1345963 WITH SCORE 1347646.415
AT ITER 1984 NEW BEST:: SOT 10429749 SOS 1682985 HAS SOPS 1682985 HAS SOUS 1345533 HAS SOUPS 1345533 WITH SCORE 1347215.985
AT ITER 1995 NEW BEST:: SOT 10429749 SOS 1682871 HAS SOPS 1682871 HAS SOUS 1345419 HAS SOUPS 1345419 WITH SCORE 1347101.871
AT ITER 1997 NEW BEST:: SOT 10429468 SOS 1682590 HAS SOPS 1682590 HAS SOUS 1345138 HAS SOUPS 1345138 WITH SCORE 1346820.59
AT ITER 2002 NEW BEST:: SOT 10428646 SOS 1681900 HAS SOPS 1681900 HAS SOUS 1344453 HAS SOUPS 1344453 WITH SCORE 1346134.9
AT ITER 2008 NEW BEST:: SOT 10428289 SOS 1682368 HAS SOPS 1682368 HAS SOUS 1344342 HAS SOUPS 1344342 WITH SCORE 1346024.368
AT ITER 2020 NEW BEST:: SOT 10428132 SOS 1681981 HAS SOPS 1681981 HAS SOUS 1344035 HAS SOUPS 1344035 WITH SCORE 1345716.981
AT ITER 2045 NEW BEST:: SOT 10428051 SOS 1680836 HAS SOPS 1680836 HAS SOUS 1343872 HAS SOUPS 1343872 WITH SCORE 1345552.836
AT ITER 2054 NEW BEST:: SOT 10427874 SOS 1680788 HAS SOPS 1680788 HAS SOUS 1343759 HAS SOUPS 1343759 WITH SCORE 1345439.788
AT ITER 2063 NEW BEST:: SOT 10427874 SOS 1680742 HAS SOPS 1680742 HAS SOUS 1343756 HAS SOUPS 1343756 WITH SCORE 1345436.742
AT ITER 2075 NEW BEST:: SOT 10427874 SOS 1680747 HAS SOPS 1680747 HAS SOUS 1343755 HAS SOUPS 1343755 WITH SCORE 1345435.747
AT ITER 2083 NEW BEST:: SOT 10427844 SOS 1680699 HAS SOPS 1680699 HAS SOUS 1343707 HAS SOUPS 1343707 WITH SCORE 1345387.699
AT ITER 2113 NEW BEST:: SOT 10427791 SOS 1680651 HAS SOPS 1680651 HAS SOUS 1343582 HAS SOUPS 1343582 WITH SCORE 1345262.651
AT ITER 2120 NEW BEST:: SOT 10427791 SOS 1680649 HAS SOPS 1680649 HAS SOUS 1343580 HAS SOUPS 1343580 WITH SCORE 1345260.649
AT ITER 2122 NEW BEST:: SOT 10427791 SOS 1680648 HAS SOPS 1680648 HAS SOUS 1343579 HAS SOUPS 1343579 WITH SCORE 1345259.648
AT ITER 2179 NEW BEST:: SOT 10427790 SOS 1680646 HAS SOPS 1680646 HAS SOUS 1343577 HAS SOUPS 1343577 WITH SCORE 1345257.646
AT ITER 2194 NEW BEST:: SOT 10427790 SOS 1680291 HAS SOPS 1680291 HAS SOUS 1343222 HAS SOUPS 1343222 WITH SCORE 1344902.291
AT ITER 2239 NEW BEST:: SOT 10427519 SOS 1679349 HAS SOPS 1679349 HAS SOUS 1342280 HAS SOUPS 1342280 WITH SCORE 1343959.349
AT ITER 2311 NEW BEST:: SOT 10427271 SOS 1679097 HAS SOPS 1679097 HAS SOUS 1342027 HAS SOUPS 1342027 WITH SCORE 1343706.097
AT ITER 2367 NEW BEST:: SOT 10427266 SOS 1679092 HAS SOPS 1679092 HAS SOUS 1342022 HAS SOUPS 1342022 WITH SCORE 1343701.092
AT ITER 2382 NEW BEST:: SOT 10426451 SOS 1679185 HAS SOPS 1679185 HAS SOUS 1341576 HAS SOUPS 1341576 WITH SCORE 1343255.185
AT ITER 2409 NEW BEST:: SOT 10426451 SOS 1679181 HAS SOPS 1679181 HAS SOUS 1341572 HAS SOUPS 1341572 WITH SCORE 1343251.181
AT ITER 2414 NEW BEST:: SOT 10426451 SOS 1679238 HAS SOPS 1679238 HAS SOUS 1341507 HAS SOUPS 1341507 WITH SCORE 1343186.238
AT ITER 2418 NEW BEST:: SOT 10426370 SOS 1679076 HAS SOPS 1679076 HAS SOUS 1341345 HAS SOUPS 1341345 WITH SCORE 1343024.076
AT ITER 2421 NEW BEST:: SOT 10426370 SOS 1679027 HAS SOPS 1679027 HAS SOUS 1341296 HAS SOUPS 1341296 WITH SCORE 1342975.027
AT ITER 2439 NEW BEST:: SOT 10426337 SOS 1678651 HAS SOPS 1678651 HAS SOUS 1341220 HAS SOUPS 1341220 WITH SCORE 1342898.651
AT ITER 2448 NEW BEST:: SOT 10426095 SOS 1678288 HAS SOPS 1678288 HAS SOUS 1340857 HAS SOUPS 1340857 WITH SCORE 1342535.288
AT ITER 2469 NEW BEST:: SOT 10426000 SOS 1678098 HAS SOPS 1678098 HAS SOUS 1340572 HAS SOUPS 1340572 WITH SCORE 1342250.098
AT ITER 2472 NEW BEST:: SOT 10425400 SOS 1677198 HAS SOPS 1677198 HAS SOUS 1339672 HAS SOUPS 1339672 WITH SCORE 1341349.198
AT ITER 2474 NEW BEST:: SOT 10425400 SOS 1677197 HAS SOPS 1677197 HAS SOUS 1339481 HAS SOUPS 1339481 WITH SCORE 1341158.197
AT ITER 2481 NEW BEST:: SOT 10425119 SOS 1677139 HAS SOPS 1677139 HAS SOUS 1339319 HAS SOUPS 1339319 WITH SCORE 1340996.139
AT ITER 2497 NEW BEST:: SOT 10425118 SOS 1677138 HAS SOPS 1677138 HAS SOUS 1339318 HAS SOUPS 1339318 WITH SCORE 1340995.138
AT ITER 2505 NEW BEST:: SOT 10425054 SOS 1677049 HAS SOPS 1677049 HAS SOUS 1339163 HAS SOUPS 1339163 WITH SCORE 1340840.049
AT ITER 2507 NEW BEST:: SOT 10424934 SOS 1676315 HAS SOPS 1676315 HAS SOUS 1338923 HAS SOUPS 1338923 WITH SCORE 1340599.315
AT ITER 2530 NEW BEST:: SOT 10424765 SOS 1676074 HAS SOPS 1676074 HAS SOUS 1338667 HAS SOUPS 1338667 WITH SCORE 1340343.074
AT ITER 2565 NEW BEST:: SOT 10424407 SOS 1675500 HAS SOPS 1675500 HAS SOUS 1337951 HAS SOUPS 1337951 WITH SCORE 1339626.5
AT ITER 2567 NEW BEST:: SOT 10424078 SOS 1675436 HAS SOPS 1675436 HAS SOUS 1337887 HAS SOUPS 1337887 WITH SCORE 1339562.436
AT ITER 2570 NEW BEST:: SOT 10424077 SOS 1675306 HAS SOPS 1675306 HAS SOUS 1337757 HAS SOUPS 1337757 WITH SCORE 1339432.306
AT ITER 2584 NEW BEST:: SOT 10423855 SOS 1674750 HAS SOPS 1674750 HAS SOUS 1337305 HAS SOUPS 1337305 WITH SCORE 1338979.75
AT ITER 2594 NEW BEST:: SOT 10423253 SOS 1674449 HAS SOPS 1674449 HAS SOUS 1337004 HAS SOUPS 1337004 WITH SCORE 1338678.449
AT ITER 2601 NEW BEST:: SOT 10423219 SOS 1674415 HAS SOPS 1674415 HAS SOUS 1336970 HAS SOUPS 1336970 WITH SCORE 1338644.415
AT ITER 2609 NEW BEST:: SOT 10423495 SOS 1674638 HAS SOPS 1674638 HAS SOUS 1336917 HAS SOUPS 1336917 WITH SCORE 1338591.638
AT ITER 2620 NEW BEST:: SOT 10423516 SOS 1674585 HAS SOPS 1674585 HAS SOUS 1336864 HAS SOUPS 1336864 WITH SCORE 1338538.585
AT ITER 2634 NEW BEST:: SOT 10423516 SOS 1674416 HAS SOPS 1674416 HAS SOUS 1336864 HAS SOUPS 1336864 WITH SCORE 1338538.416
AT ITER 2640 NEW BEST:: SOT 10423516 SOS 1674415 HAS SOPS 1674415 HAS SOUS 1336863 HAS SOUPS 1336863 WITH SCORE 1338537.415
AT ITER 2668 NEW BEST:: SOT 10423514 SOS 1674391 HAS SOPS 1674391 HAS SOUS 1336838 HAS SOUPS 1336838 WITH SCORE 1338512.391
AT ITER 2772 NEW BEST:: SOT 10422788 SOS 1673394 HAS SOPS 1673394 HAS SOUS 1335841 HAS SOUPS 1335841 WITH SCORE 1337514.394
AT ITER 2779 NEW BEST:: SOT 10422788 SOS 1673702 HAS SOPS 1673702 HAS SOUS 1335821 HAS SOUPS 1335821 WITH SCORE 1337494.702
AT ITER 2814 NEW BEST:: SOT 10422759 SOS 1673644 HAS SOPS 1673644 HAS SOUS 1335763 HAS SOUPS 1335763 WITH SCORE 1337436.644
AT ITER 2817 NEW BEST:: SOT 10422651 SOS 1673890 HAS SOPS 1673890 HAS SOUS 1335560 HAS SOUPS 1335560 WITH SCORE 1337233.89
AT ITER 2818 NEW BEST:: SOT 10422577 SOS 1673742 HAS SOPS 1673742 HAS SOUS 1335412 HAS SOUPS 1335412 WITH SCORE 1337085.742
AT ITER 2834 NEW BEST:: SOT 10422682 SOS 1673651 HAS SOPS 1673651 HAS SOUS 1334968 HAS SOUPS 1334968 WITH SCORE 1336641.651
AT ITER 2836 NEW BEST:: SOT 10422682 SOS 1673670 HAS SOPS 1673670 HAS SOUS 1333869 HAS SOUPS 1333869 WITH SCORE 1335542.67
AT ITER 2841 NEW BEST:: SOT 10422723 SOS 1673480 HAS SOPS 1673480 HAS SOUS 1333836 HAS SOUPS 1333836 WITH SCORE 1335509.48
AT ITER 2859 NEW BEST:: SOT 10422718 SOS 1673470 HAS SOPS 1673470 HAS SOUS 1333825 HAS SOUPS 1333825 WITH SCORE 1335498.47
AT ITER 2874 NEW BEST:: SOT 10422479 SOS 1672818 HAS SOPS 1672818 HAS SOUS 1333173 HAS SOUPS 1333173 WITH SCORE 1334845.818
AT ITER 2910 NEW BEST:: SOT 10422479 SOS 1673413 HAS SOPS 1673413 HAS SOUS 1333145 HAS SOUPS 1333145 WITH SCORE 1334818.413
AT ITER 2921 NEW BEST:: SOT 10420225 SOS 1671159 HAS SOPS 1671159 HAS SOUS 1333145 HAS SOUPS 1333145 WITH SCORE 1334816.159
AT ITER 2930 NEW BEST:: SOT 10420052 SOS 1670640 HAS SOPS 1670640 HAS SOUS 1332626 HAS SOUPS 1332626 WITH SCORE 1334296.64
AT ITER 2952 NEW BEST:: SOT 10419730 SOS 1670000 HAS SOPS 1670000 HAS SOUS 1332190 HAS SOUPS 1332190 WITH SCORE 1333860.0
AT ITER 2967 NEW BEST:: SOT 10419519 SOS 1669369 HAS SOPS 1669369 HAS SOUS 1331768 HAS SOUPS 1331768 WITH SCORE 1333437.369
AT ITER 2970 NEW BEST:: SOT 10419506 SOS 1669343 HAS SOPS 1669343 HAS SOUS 1331742 HAS SOUPS 1331742 WITH SCORE 1333411.343
AT ITER 2971 NEW BEST:: SOT 10419119 SOS 1668955 HAS SOPS 1668955 HAS SOUS 1331354 HAS SOUPS 1331354 WITH SCORE 1333022.955
AT ITER 2974 NEW BEST:: SOT 10418997 SOS 1668531 HAS SOPS 1668531 HAS SOUS 1331110 HAS SOUPS 1331110 WITH SCORE 1332778.531
AT ITER 3038 NEW BEST:: SOT 10418614 SOS 1668204 HAS SOPS 1668204 HAS SOUS 1330770 HAS SOUPS 1330770 WITH SCORE 1332438.204
AT ITER 3046 NEW BEST:: SOT 10418476 SOS 1668084 HAS SOPS 1668084 HAS SOUS 1330655 HAS SOUPS 1330655 WITH SCORE 1332323.084
AT ITER 3081 NEW BEST:: SOT 10418215 SOS 1667823 HAS SOPS 1667823 HAS SOUS 1330493 HAS SOUPS 1330493 WITH SCORE 1332160.823
AT ITER 3128 NEW BEST:: SOT 10418185 SOS 1667194 HAS SOPS 1667194 HAS SOUS 1330433 HAS SOUPS 1330433 WITH SCORE 1332100.194
AT ITER 3157 NEW BEST:: SOT 10417918 SOS 1666927 HAS SOPS 1666927 HAS SOUS 1329913 HAS SOUPS 1329913 WITH SCORE 1331579.927
AT ITER 3191 NEW BEST:: SOT 10417873 SOS 1666927 HAS SOPS 1666927 HAS SOUS 1329873 HAS SOUPS 1329873 WITH SCORE 1331539.927
AT ITER 3222 NEW BEST:: SOT 10417702 SOS 1666096 HAS SOPS 1666096 HAS SOUS 1329519 HAS SOUPS 1329519 WITH SCORE 1331185.096
AT ITER 3237 NEW BEST:: SOT 10417271 SOS 1666730 HAS SOPS 1666730 HAS SOUS 1329297 HAS SOUPS 1329297 WITH SCORE 1330963.73
AT ITER 3251 NEW BEST:: SOT 10417180 SOS 1666709 HAS SOPS 1666709 HAS SOUS 1329216 HAS SOUPS 1329216 WITH SCORE 1330882.709
AT ITER 3259 NEW BEST:: SOT 10417052 SOS 1666453 HAS SOPS 1666453 HAS SOUS 1328960 HAS SOUPS 1328960 WITH SCORE 1330626.453
AT ITER 3277 NEW BEST:: SOT 10417052 SOS 1666451 HAS SOPS 1666451 HAS SOUS 1328958 HAS SOUPS 1328958 WITH SCORE 1330624.451
AT ITER 3339 NEW BEST:: SOT 10417018 SOS 1666144 HAS SOPS 1666144 HAS SOUS 1328846 HAS SOUPS 1328846 WITH SCORE 1330512.144
AT ITER 3357 NEW BEST:: SOT 10416797 SOS 1666067 HAS SOPS 1666067 HAS SOUS 1328769 HAS SOUPS 1328769 WITH SCORE 1330435.067
AT ITER 3390 NEW BEST:: SOT 10416797 SOS 1665970 HAS SOPS 1665970 HAS SOUS 1328769 HAS SOUPS 1328769 WITH SCORE 1330434.97
AT ITER 3400 NEW BEST:: SOT 10416802 SOS 1665435 HAS SOPS 1665435 HAS SOUS 1328703 HAS SOUPS 1328703 WITH SCORE 1330368.435
AT ITER 3406 NEW BEST:: SOT 10416802 SOS 1665172 HAS SOPS 1665172 HAS SOUS 1328702 HAS SOUPS 1328702 WITH SCORE 1330367.172
AT ITER 3412 NEW BEST:: SOT 10416802 SOS 1665172 HAS SOPS 1665172 HAS SOUS 1328695 HAS SOUPS 1328695 WITH SCORE 1330360.172
AT ITER 3453 NEW BEST:: SOT 10416782 SOS 1665128 HAS SOPS 1665128 HAS SOUS 1328651 HAS SOUPS 1328651 WITH SCORE 1330316.128
AT ITER 3460 NEW BEST:: SOT 10416781 SOS 1665206 HAS SOPS 1665206 HAS SOUS 1327849 HAS SOUPS 1327849 WITH SCORE 1329514.206
AT ITER 3462 NEW BEST:: SOT 10416777 SOS 1665198 HAS SOPS 1665198 HAS SOUS 1327841 HAS SOUPS 1327841 WITH SCORE 1329506.198
AT ITER 3480 NEW BEST:: SOT 10416777 SOS 1665165 HAS SOPS 1665165 HAS SOUS 1327840 HAS SOUPS 1327840 WITH SCORE 1329505.165
AT ITER 3481 NEW BEST:: SOT 10416364 SOS 1668973 HAS SOPS 1668973 HAS SOUS 1327787 HAS SOUPS 1327787 WITH SCORE 1329455.973
AT ITER 3485 NEW BEST:: SOT 10415572 SOS 1669184 HAS SOPS 1669184 HAS SOUS 1327367 HAS SOUPS 1327367 WITH SCORE 1329036.184
AT ITER 3537 NEW BEST:: SOT 10415490 SOS 1669370 HAS SOPS 1669370 HAS SOUS 1327285 HAS SOUPS 1327285 WITH SCORE 1328954.37
AT ITER 3600 NEW BEST:: SOT 10415209 SOS 1669077 HAS SOPS 1669077 HAS SOUS 1326992 HAS SOUPS 1326992 WITH SCORE 1328661.077
AT ITER 3617 NEW BEST:: SOT 10415224 SOS 1667740 HAS SOPS 1667740 HAS SOUS 1326882 HAS SOUPS 1326882 WITH SCORE 1328549.74
AT ITER 3631 NEW BEST:: SOT 10415166 SOS 1667038 HAS SOPS 1667038 HAS SOUS 1326731 HAS SOUPS 1326731 WITH SCORE 1328398.038
AT ITER 3648 NEW BEST:: SOT 10415166 SOS 1666992 HAS SOPS 1666992 HAS SOUS 1326684 HAS SOUPS 1326684 WITH SCORE 1328350.992
AT ITER 3651 NEW BEST:: SOT 10415106 SOS 1666872 HAS SOPS 1666872 HAS SOUS 1326624 HAS SOUPS 1326624 WITH SCORE 1328290.872
AT ITER 3660 NEW BEST:: SOT 10415035 SOS 1666852 HAS SOPS 1666852 HAS SOUS 1326624 HAS SOUPS 1326624 WITH SCORE 1328290.852
AT ITER 3674 NEW BEST:: SOT 10413904 SOS 1667165 HAS SOPS 1667165 HAS SOUS 1326003 HAS SOUPS 1326003 WITH SCORE 1327670.165
AT ITER 3675 NEW BEST:: SOT 10413701 SOS 1666962 HAS SOPS 1666962 HAS SOUS 1325800 HAS SOUPS 1325800 WITH SCORE 1327466.962
AT ITER 3706 NEW BEST:: SOT 10411157 SOS 1664890 HAS SOPS 1664890 HAS SOUS 1323255 HAS SOUPS 1323255 WITH SCORE 1324919.89
AT ITER 3726 NEW BEST:: SOT 10411157 SOS 1664879 HAS SOPS 1664879 HAS SOUS 1323244 HAS SOUPS 1323244 WITH SCORE 1324908.879
AT ITER 3749 NEW BEST:: SOT 10411343 SOS 1664817 HAS SOPS 1664817 HAS SOUS 1323182 HAS SOUPS 1323182 WITH SCORE 1324846.817
AT ITER 3756 NEW BEST:: SOT 10411083 SOS 1664553 HAS SOPS 1664553 HAS SOUS 1322918 HAS SOUPS 1322918 WITH SCORE 1324582.553
AT ITER 3783 NEW BEST:: SOT 10410697 SOS 1664142 HAS SOPS 1664142 HAS SOUS 1322507 HAS SOUPS 1322507 WITH SCORE 1324171.142
AT ITER 3790 NEW BEST:: SOT 10410507 SOS 1664100 HAS SOPS 1664100 HAS SOUS 1322317 HAS SOUPS 1322317 WITH SCORE 1323981.1
AT ITER 3801 NEW BEST:: SOT 10410019 SOS 1663746 HAS SOPS 1663746 HAS SOUS 1321963 HAS SOUPS 1321963 WITH SCORE 1323626.746
AT ITER 3825 NEW BEST:: SOT 10409859 SOS 1663426 HAS SOPS 1663426 HAS SOUS 1321803 HAS SOUPS 1321803 WITH SCORE 1323466.426
AT ITER 3839 NEW BEST:: SOT 10409587 SOS 1663187 HAS SOPS 1663187 HAS SOUS 1321548 HAS SOUPS 1321548 WITH SCORE 1323211.187
AT ITER 3861 NEW BEST:: SOT 10409587 SOS 1663046 HAS SOPS 1663046 HAS SOUS 1321548 HAS SOUPS 1321548 WITH SCORE 1323211.046
AT ITER 3866 NEW BEST:: SOT 10409427 SOS 1662651 HAS SOPS 1662651 HAS SOUS 1321270 HAS SOUPS 1321270 WITH SCORE 1322932.651
AT ITER 3882 NEW BEST:: SOT 10409331 SOS 1662522 HAS SOPS 1662522 HAS SOUS 1321141 HAS SOUPS 1321141 WITH SCORE 1322803.522
AT ITER 3885 NEW BEST:: SOT 10409331 SOS 1662431 HAS SOPS 1662431 HAS SOUS 1321140 HAS SOUPS 1321140 WITH SCORE 1322802.431
AT ITER 3921 NEW BEST:: SOT 10409156 SOS 1662081 HAS SOPS 1662081 HAS SOUS 1320790 HAS SOUPS 1320790 WITH SCORE 1322452.081
AT ITER 3969 NEW BEST:: SOT 10409031 SOS 1662057 HAS SOPS 1662057 HAS SOUS 1320765 HAS SOUPS 1320765 WITH SCORE 1322427.057
AT ITER 4059 NEW BEST:: SOT 10409030 SOS 1661808 HAS SOPS 1661808 HAS SOUS 1320755 HAS SOUPS 1320755 WITH SCORE 1322416.808
AT ITER 4061 NEW BEST:: SOT 10409125 SOS 1661986 HAS SOPS 1661986 HAS SOUS 1320697 HAS SOUPS 1320697 WITH SCORE 1322358.986
AT ITER 4099 NEW BEST:: SOT 10409191 SOS 1661853 HAS SOPS 1661853 HAS SOUS 1320610 HAS SOUPS 1320610 WITH SCORE 1322271.853
AT ITER 4154 NEW BEST:: SOT 10409191 SOS 1661847 HAS SOPS 1661847 HAS SOUS 1320604 HAS SOUPS 1320604 WITH SCORE 1322265.847
AT ITER 4156 NEW BEST:: SOT 10409154 SOS 1661811 HAS SOPS 1661811 HAS SOUS 1320571 HAS SOUPS 1320571 WITH SCORE 1322232.811
AT ITER 4168 NEW BEST:: SOT 10409119 SOS 1661668 HAS SOPS 1661668 HAS SOUS 1320555 HAS SOUPS 1320555 WITH SCORE 1322216.668
AT ITER 4179 NEW BEST:: SOT 10409118 SOS 1661662 HAS SOPS 1661662 HAS SOUS 1320549 HAS SOUPS 1320549 WITH SCORE 1322210.662
AT ITER 4324 NEW BEST:: SOT 10408885 SOS 1660963 HAS SOPS 1660963 HAS SOUS 1319850 HAS SOUPS 1319850 WITH SCORE 1321510.963
AT ITER 4370 NEW BEST:: SOT 10408650 SOS 1660480 HAS SOPS 1660480 HAS SOUS 1319675 HAS SOUPS 1319675 WITH SCORE 1321335.48
AT ITER 4389 NEW BEST:: SOT 10408467 SOS 1660392 HAS SOPS 1660392 HAS SOUS 1319587 HAS SOUPS 1319587 WITH SCORE 1321247.392
AT ITER 4397 NEW BEST:: SOT 10408332 SOS 1660122 HAS SOPS 1660122 HAS SOUS 1319449 HAS SOUPS 1319449 WITH SCORE 1321109.122
AT ITER 4401 NEW BEST:: SOT 10408330 SOS 1660118 HAS SOPS 1660118 HAS SOUS 1319449 HAS SOUPS 1319449 WITH SCORE 1321109.118
AT ITER 4422 NEW BEST:: SOT 10408330 SOS 1660102 HAS SOPS 1660102 HAS SOUS 1319449 HAS SOUPS 1319449 WITH SCORE 1321109.102
AT ITER 4450 NEW BEST:: SOT 10408101 SOS 1660020 HAS SOPS 1660020 HAS SOUS 1319368 HAS SOUPS 1319368 WITH SCORE 1321028.02
AT ITER 4459 NEW BEST:: SOT 10408101 SOS 1660116 HAS SOPS 1660116 HAS SOUS 1319182 HAS SOUPS 1319182 WITH SCORE 1320842.116
AT ITER 4471 NEW BEST:: SOT 10407893 SOS 1659682 HAS SOPS 1659682 HAS SOUS 1318748 HAS SOUPS 1318748 WITH SCORE 1320407.682
AT ITER 4475 NEW BEST:: SOT 10407893 SOS 1659655 HAS SOPS 1659655 HAS SOUS 1318747 HAS SOUPS 1318747 WITH SCORE 1320406.655
AT ITER 4545 NEW BEST:: SOT 10407846 SOS 1659608 HAS SOPS 1659608 HAS SOUS 1318700 HAS SOUPS 1318700 WITH SCORE 1320359.608
AT ITER 4581 NEW BEST:: SOT 10407377 SOS 1659139 HAS SOPS 1659139 HAS SOUS 1318088 HAS SOUPS 1318088 WITH SCORE 1319747.139
AT ITER 4585 NEW BEST:: SOT 10407343 SOS 1659105 HAS SOPS 1659105 HAS SOUS 1318054 HAS SOUPS 1318054 WITH SCORE 1319713.105
AT ITER 4644 NEW BEST:: SOT 10407180 SOS 1658924 HAS SOPS 1658924 HAS SOUS 1317710 HAS SOUPS 1317710 WITH SCORE 1319368.924
AT ITER 4655 NEW BEST:: SOT 10406899 SOS 1658549 HAS SOPS 1658549 HAS SOUS 1317335 HAS SOUPS 1317335 WITH SCORE 1318993.549
AT ITER 4661 NEW BEST:: SOT 10406758 SOS 1658590 HAS SOPS 1658590 HAS SOUS 1317167 HAS SOUPS 1317167 WITH SCORE 1318825.59
AT ITER 4707 NEW BEST:: SOT 10406871 SOS 1658537 HAS SOPS 1658537 HAS SOUS 1317114 HAS SOUPS 1317114 WITH SCORE 1318772.537
AT ITER 4732 NEW BEST:: SOT 10406819 SOS 1658433 HAS SOPS 1658433 HAS SOUS 1317059 HAS SOUPS 1317059 WITH SCORE 1318717.433
AT ITER 4735 NEW BEST:: SOT 10406714 SOS 1659089 HAS SOPS 1659089 HAS SOUS 1316920 HAS SOUPS 1316920 WITH SCORE 1318579.089
AT ITER 4745 NEW BEST:: SOT 10406546 SOS 1658650 HAS SOPS 1658650 HAS SOUS 1316645 HAS SOUPS 1316645 WITH SCORE 1318303.65
AT ITER 4748 NEW BEST:: SOT 10406142 SOS 1658181 HAS SOPS 1658181 HAS SOUS 1316580 HAS SOUPS 1316580 WITH SCORE 1318238.181
AT ITER 4778 NEW BEST:: SOT 10406133 SOS 1658159 HAS SOPS 1658159 HAS SOUS 1316558 HAS SOUPS 1316558 WITH SCORE 1318216.159
AT ITER 4781 NEW BEST:: SOT 10406155 SOS 1662095 HAS SOPS 1662095 HAS SOUS 1316461 HAS SOUPS 1316461 WITH SCORE 1318123.095
AT ITER 4810 NEW BEST:: SOT 10406155 SOS 1662578 HAS SOPS 1662578 HAS SOUS 1316440 HAS SOUPS 1316440 WITH SCORE 1318102.578
AT ITER 4826 NEW BEST:: SOT 10406143 SOS 1662490 HAS SOPS 1662490 HAS SOUS 1316352 HAS SOUPS 1316352 WITH SCORE 1318014.49
AT ITER 4878 NEW BEST:: SOT 10406143 SOS 1662437 HAS SOPS 1662437 HAS SOUS 1316338 HAS SOUPS 1316338 WITH SCORE 1318000.437
AT ITER 4882 NEW BEST:: SOT 10406143 SOS 1662548 HAS SOPS 1662548 HAS SOUS 1316187 HAS SOUPS 1316187 WITH SCORE 1317849.548
AT ITER 4903 NEW BEST:: SOT 10405989 SOS 1662472 HAS SOPS 1662472 HAS SOUS 1315767 HAS SOUPS 1315767 WITH SCORE 1317429.472
AT ITER 4906 NEW BEST:: SOT 10405987 SOS 1662443 HAS SOPS 1662443 HAS SOUS 1315738 HAS SOUPS 1315738 WITH SCORE 1317400.443
AT ITER 4909 NEW BEST:: SOT 10405647 SOS 1662101 HAS SOPS 1662101 HAS SOUS 1315395 HAS SOUPS 1315395 WITH SCORE 1317057.101
AT ITER 4920 NEW BEST:: SOT 10405642 SOS 1662090 HAS SOPS 1662090 HAS SOUS 1315384 HAS SOUPS 1315384 WITH SCORE 1317046.09
AT ITER 4926 NEW BEST:: SOT 10405492 SOS 1661790 HAS SOPS 1661790 HAS SOUS 1315233 HAS SOUPS 1315233 WITH SCORE 1316894.79
AT ITER 4968 NEW BEST:: SOT 10403517 SOS 1660237 HAS SOPS 1660237 HAS SOUS 1313581 HAS SOUPS 1313581 WITH SCORE 1315241.237
AT ITER 4969 NEW BEST:: SOT 10403528 SOS 1658888 HAS SOPS 1658888 HAS SOUS 1313425 HAS SOUPS 1313425 WITH SCORE 1315083.888
AT ITER 4983 NEW BEST:: SOT 10403504 SOS 1658888 HAS SOPS 1658888 HAS SOUS 1313401 HAS SOUPS 1313401 WITH SCORE 1315059.888
AT ITER 5019 NEW BEST:: SOT 10403153 SOS 1658125 HAS SOPS 1658125 HAS SOUS 1310276 HAS SOUPS 1310276 WITH SCORE 1311934.125
AT ITER 5023 NEW BEST:: SOT 10402940 SOS 1658342 HAS SOPS 1658342 HAS SOUS 1310063 HAS SOUPS 1310063 WITH SCORE 1311721.342
AT ITER 5030 NEW BEST:: SOT 10402940 SOS 1658312 HAS SOPS 1658312 HAS SOUS 1310033 HAS SOUPS 1310033 WITH SCORE 1311691.312
AT ITER 5052 NEW BEST:: SOT 10402634 SOS 1657700 HAS SOPS 1657700 HAS SOUS 1309421 HAS SOUPS 1309421 WITH SCORE 1311078.7
AT ITER 5064 NEW BEST:: SOT 10402508 SOS 1657273 HAS SOPS 1657273 HAS SOUS 1309240 HAS SOUPS 1309240 WITH SCORE 1310897.273
AT ITER 5069 NEW BEST:: SOT 10402296 SOS 1657037 HAS SOPS 1657037 HAS SOUS 1309028 HAS SOUPS 1309028 WITH SCORE 1310685.037
AT ITER 5082 NEW BEST:: SOT 10402296 SOS 1656933 HAS SOPS 1656933 HAS SOUS 1309027 HAS SOUPS 1309027 WITH SCORE 1310683.933
AT ITER 5086 NEW BEST:: SOT 10402296 SOS 1658101 HAS SOPS 1658101 HAS SOUS 1309019 HAS SOUPS 1309019 WITH SCORE 1310677.101
AT ITER 5132 NEW BEST:: SOT 10402317 SOS 1657839 HAS SOPS 1657839 HAS SOUS 1308757 HAS SOUPS 1308757 WITH SCORE 1310414.839
AT ITER 5149 NEW BEST:: SOT 10401345 SOS 1656729 HAS SOPS 1656729 HAS SOUS 1307731 HAS SOUPS 1307731 WITH SCORE 1309387.729
AT ITER 5160 NEW BEST:: SOT 10401477 SOS 1656595 HAS SOPS 1656595 HAS SOUS 1307512 HAS SOUPS 1307512 WITH SCORE 1309168.595
AT ITER 5192 NEW BEST:: SOT 10401267 SOS 1656349 HAS SOPS 1656349 HAS SOUS 1307266 HAS SOUPS 1307266 WITH SCORE 1308922.349
AT ITER 5205 NEW BEST:: SOT 10400637 SOS 1655833 HAS SOPS 1655833 HAS SOUS 1306762 HAS SOUPS 1306762 WITH SCORE 1308417.833
AT ITER 5213 NEW BEST:: SOT 10400637 SOS 1655832 HAS SOPS 1655832 HAS SOUS 1306673 HAS SOUPS 1306673 WITH SCORE 1308328.832
AT ITER 5234 NEW BEST:: SOT 10400420 SOS 1655614 HAS SOPS 1655614 HAS SOUS 1306455 HAS SOUPS 1306455 WITH SCORE 1308110.614
AT ITER 5258 NEW BEST:: SOT 10400277 SOS 1655328 HAS SOPS 1655328 HAS SOUS 1306169 HAS SOUPS 1306169 WITH SCORE 1307824.328
AT ITER 5270 NEW BEST:: SOT 10400276 SOS 1654822 HAS SOPS 1654822 HAS SOUS 1305696 HAS SOUPS 1305696 WITH SCORE 1307350.822
AT ITER 5273 NEW BEST:: SOT 10400197 SOS 1654664 HAS SOPS 1654664 HAS SOUS 1305538 HAS SOUPS 1305538 WITH SCORE 1307192.664
AT ITER 5293 NEW BEST:: SOT 10399585 SOS 1654052 HAS SOPS 1654052 HAS SOUS 1304926 HAS SOUPS 1304926 WITH SCORE 1306580.052
AT ITER 5317 NEW BEST:: SOT 10399301 SOS 1654316 HAS SOPS 1654316 HAS SOUS 1304889 HAS SOUPS 1304889 WITH SCORE 1306543.316
AT ITER 5343 NEW BEST:: SOT 10399119 SOS 1654139 HAS SOPS 1654139 HAS SOUS 1304747 HAS SOUPS 1304747 WITH SCORE 1306401.139
AT ITER 5373 NEW BEST:: SOT 10399119 SOS 1653978 HAS SOPS 1653978 HAS SOUS 1304586 HAS SOUPS 1304586 WITH SCORE 1306239.978
AT ITER 5461 NEW BEST:: SOT 10399067 SOS 1653920 HAS SOPS 1653920 HAS SOUS 1304118 HAS SOUPS 1304118 WITH SCORE 1305771.92
AT ITER 5463 NEW BEST:: SOT 10398922 SOS 1653630 HAS SOPS 1653630 HAS SOUS 1303972 HAS SOUPS 1303972 WITH SCORE 1305625.63
AT ITER 5474 NEW BEST:: SOT 10398922 SOS 1653301 HAS SOPS 1653301 HAS SOUS 1303643 HAS SOUPS 1303643 WITH SCORE 1305296.301
AT ITER 5478 NEW BEST:: SOT 10398479 SOS 1653070 HAS SOPS 1653070 HAS SOUS 1303354 HAS SOUPS 1303354 WITH SCORE 1305007.07
AT ITER 5510 NEW BEST:: SOT 10398477 SOS 1653068 HAS SOPS 1653068 HAS SOUS 1303351 HAS SOUPS 1303351 WITH SCORE 1305004.068
AT ITER 5514 NEW BEST:: SOT 10398406 SOS 1652926 HAS SOPS 1652926 HAS SOUS 1303198 HAS SOUPS 1303198 WITH SCORE 1304850.926
AT ITER 5531 NEW BEST:: SOT 10398375 SOS 1652863 HAS SOPS 1652863 HAS SOUS 1303135 HAS SOUPS 1303135 WITH SCORE 1304787.863
AT ITER 5541 NEW BEST:: SOT 10398419 SOS 1652711 HAS SOPS 1652711 HAS SOUS 1303092 HAS SOUPS 1303092 WITH SCORE 1304744.711
AT ITER 5556 NEW BEST:: SOT 10396883 SOS 1650299 HAS SOPS 1650299 HAS SOUS 1303005 HAS SOUPS 1303005 WITH SCORE 1304655.299
AT ITER 5576 NEW BEST:: SOT 10396883 SOS 1650262 HAS SOPS 1650262 HAS SOUS 1303005 HAS SOUPS 1303005 WITH SCORE 1304655.262
AT ITER 5578 NEW BEST:: SOT 10396824 SOS 1650228 HAS SOPS 1650228 HAS SOUS 1302971 HAS SOUPS 1302971 WITH SCORE 1304621.228
AT ITER 5582 NEW BEST:: SOT 10396358 SOS 1649668 HAS SOPS 1649668 HAS SOUS 1302500 HAS SOUPS 1302500 WITH SCORE 1304149.668
AT ITER 5601 NEW BEST:: SOT 10396177 SOS 1649831 HAS SOPS 1649831 HAS SOUS 1302138 HAS SOUPS 1302138 WITH SCORE 1303787.831
AT ITER 5628 NEW BEST:: SOT 10395911 SOS 1649299 HAS SOPS 1649299 HAS SOUS 1301851 HAS SOUPS 1301851 WITH SCORE 1303500.299
AT ITER 5634 NEW BEST:: SOT 10395866 SOS 1649019 HAS SOPS 1649019 HAS SOUS 1301783 HAS SOUPS 1301783 WITH SCORE 1303432.019
AT ITER 5671 NEW BEST:: SOT 10395814 SOS 1649063 HAS SOPS 1649063 HAS SOUS 1301652 HAS SOUPS 1301652 WITH SCORE 1303301.063
AT ITER 5704 NEW BEST:: SOT 10395814 SOS 1648957 HAS SOPS 1648957 HAS SOUS 1301546 HAS SOUPS 1301546 WITH SCORE 1303194.957
AT ITER 5757 NEW BEST:: SOT 10395814 SOS 1648842 HAS SOPS 1648842 HAS SOUS 1301546 HAS SOUPS 1301546 WITH SCORE 1303194.842
AT ITER 5769 NEW BEST:: SOT 10395814 SOS 1648746 HAS SOPS 1648746 HAS SOUS 1301545 HAS SOUPS 1301545 WITH SCORE 1303193.746
AT ITER 5777 NEW BEST:: SOT 10395814 SOS 1648746 HAS SOPS 1648746 HAS SOUS 1301357 HAS SOUPS 1301357 WITH SCORE 1303005.746
AT ITER 5801 NEW BEST:: SOT 10395814 SOS 1648690 HAS SOPS 1648690 HAS SOUS 1301301 HAS SOUPS 1301301 WITH SCORE 1302949.69
AT ITER 5818 NEW BEST:: SOT 10395814 SOS 1648594 HAS SOPS 1648594 HAS SOUS 1301259 HAS SOUPS 1301259 WITH SCORE 1302907.594
AT ITER 5821 NEW BEST:: SOT 10395466 SOS 1648188 HAS SOPS 1648188 HAS SOUS 1300853 HAS SOUPS 1300853 WITH SCORE 1302501.188
AT ITER 5826 NEW BEST:: SOT 10395465 SOS 1648187 HAS SOPS 1648187 HAS SOUS 1300852 HAS SOUPS 1300852 WITH SCORE 1302500.187
AT ITER 5850 NEW BEST:: SOT 10395045 SOS 1647347 HAS SOPS 1647347 HAS SOUS 1300012 HAS SOUPS 1300012 WITH SCORE 1301659.347
AT ITER 5899 NEW BEST:: SOT 10394914 SOS 1647183 HAS SOPS 1647183 HAS SOUS 1299880 HAS SOUPS 1299880 WITH SCORE 1301527.183
AT ITER 5906 NEW BEST:: SOT 10394914 SOS 1647183 HAS SOPS 1647183 HAS SOUS 1299857 HAS SOUPS 1299857 WITH SCORE 1301504.183
AT ITER 5914 NEW BEST:: SOT 10394914 SOS 1647182 HAS SOPS 1647182 HAS SOUS 1299856 HAS SOUPS 1299856 WITH SCORE 1301503.182
AT ITER 5931 NEW BEST:: SOT 10394834 SOS 1646732 HAS SOPS 1646732 HAS SOUS 1299730 HAS SOUPS 1299730 WITH SCORE 1301376.732
AT ITER 5946 NEW BEST:: SOT 10394803 SOS 1646670 HAS SOPS 1646670 HAS SOUS 1299668 HAS SOUPS 1299668 WITH SCORE 1301314.67
AT ITER 5968 NEW BEST:: SOT 10394389 SOS 1646256 HAS SOPS 1646256 HAS SOUS 1299254 HAS SOUPS 1299254 WITH SCORE 1300900.256
AT ITER 5972 NEW BEST:: SOT 10393589 SOS 1645728 HAS SOPS 1645728 HAS SOUS 1298630 HAS SOUPS 1298630 WITH SCORE 1300275.728
AT ITER 5974 NEW BEST:: SOT 10393185 SOS 1644916 HAS SOPS 1644916 HAS SOUS 1297818 HAS SOUPS 1297818 WITH SCORE 1299462.916
AT ITER 5992 NEW BEST:: SOT 10392815 SOS 1644546 HAS SOPS 1644546 HAS SOUS 1297448 HAS SOUPS 1297448 WITH SCORE 1299092.546
AT ITER 5994 NEW BEST:: SOT 10392643 SOS 1644458 HAS SOPS 1644458 HAS SOUS 1297360 HAS SOUPS 1297360 WITH SCORE 1299004.458
AT ITER 6004 NEW BEST:: SOT 10392459 SOS 1644274 HAS SOPS 1644274 HAS SOUS 1296823 HAS SOUPS 1296823 WITH SCORE 1298467.274
AT ITER 6035 NEW BEST:: SOT 10392458 SOS 1644250 HAS SOPS 1644250 HAS SOUS 1296821 HAS SOUPS 1296821 WITH SCORE 1298465.25
AT ITER 6037 NEW BEST:: SOT 10392455 SOS 1644247 HAS SOPS 1644247 HAS SOUS 1296818 HAS SOUPS 1296818 WITH SCORE 1298462.247
AT ITER 6041 NEW BEST:: SOT 10392402 SOS 1644088 HAS SOPS 1644088 HAS SOUS 1296659 HAS SOUPS 1296659 WITH SCORE 1298303.088
AT ITER 6044 NEW BEST:: SOT 10392004 SOS 1643397 HAS SOPS 1643397 HAS SOUS 1295863 HAS SOUPS 1295863 WITH SCORE 1297506.397
AT ITER 6058 NEW BEST:: SOT 10392004 SOS 1643397 HAS SOPS 1643397 HAS SOUS 1295816 HAS SOUPS 1295816 WITH SCORE 1297459.397
AT ITER 6086 NEW BEST:: SOT 10391989 SOS 1643367 HAS SOPS 1643367 HAS SOUS 1295786 HAS SOUPS 1295786 WITH SCORE 1297429.367
AT ITER 6088 NEW BEST:: SOT 10391878 SOS 1643223 HAS SOPS 1643223 HAS SOUS 1295642 HAS SOUPS 1295642 WITH SCORE 1297285.223
AT ITER 6091 NEW BEST:: SOT 10391913 SOS 1642917 HAS SOPS 1642917 HAS SOUS 1295598 HAS SOUPS 1295598 WITH SCORE 1297240.917
AT ITER 6093 NEW BEST:: SOT 10391783 SOS 1643489 HAS SOPS 1643489 HAS SOUS 1295442 HAS SOUPS 1295442 WITH SCORE 1297085.489
AT ITER 6096 NEW BEST:: SOT 10391639 SOS 1643246 HAS SOPS 1643246 HAS SOUS 1295296 HAS SOUPS 1295296 WITH SCORE 1296939.246
AT ITER 6098 NEW BEST:: SOT 10391453 SOS 1642697 HAS SOPS 1642697 HAS SOUS 1294924 HAS SOUPS 1294924 WITH SCORE 1296566.697
AT ITER 6126 NEW BEST:: SOT 10391417 SOS 1642480 HAS SOPS 1642480 HAS SOUS 1294816 HAS SOUPS 1294816 WITH SCORE 1296458.48
AT ITER 6132 NEW BEST:: SOT 10391416 SOS 1642251 HAS SOPS 1642251 HAS SOUS 1294814 HAS SOUPS 1294814 WITH SCORE 1296456.251
AT ITER 6133 NEW BEST:: SOT 10391326 SOS 1642071 HAS SOPS 1642071 HAS SOUS 1294634 HAS SOUPS 1294634 WITH SCORE 1296276.071
AT ITER 6139 NEW BEST:: SOT 10391135 SOS 1641689 HAS SOPS 1641689 HAS SOUS 1294088 HAS SOUPS 1294088 WITH SCORE 1295729.689
AT ITER 6172 NEW BEST:: SOT 10390802 SOS 1641356 HAS SOPS 1641356 HAS SOUS 1293755 HAS SOUPS 1293755 WITH SCORE 1295396.356
AT ITER 6174 NEW BEST:: SOT 10390377 SOS 1641117 HAS SOPS 1641117 HAS SOUS 1293515 HAS SOUPS 1293515 WITH SCORE 1295156.117
AT ITER 6180 NEW BEST:: SOT 10390360 SOS 1641100 HAS SOPS 1641100 HAS SOUS 1293481 HAS SOUPS 1293481 WITH SCORE 1295122.1
AT ITER 6183 NEW BEST:: SOT 10390321 SOS 1640806 HAS SOPS 1640806 HAS SOUS 1293323 HAS SOUPS 1293323 WITH SCORE 1294963.806
AT ITER 6189 NEW BEST:: SOT 10390109 SOS 1640828 HAS SOPS 1640828 HAS SOUS 1292955 HAS SOUPS 1292955 WITH SCORE 1294595.828
AT ITER 6191 NEW BEST:: SOT 10390097 SOS 1640816 HAS SOPS 1640816 HAS SOUS 1292931 HAS SOUPS 1292931 WITH SCORE 1294571.816
AT ITER 6201 NEW BEST:: SOT 10389281 SOS 1641766 HAS SOPS 1641766 HAS SOUS 1292670 HAS SOUPS 1292670 WITH SCORE 1294311.766
AT ITER 6213 NEW BEST:: SOT 10389153 SOS 1641268 HAS SOPS 1641268 HAS SOUS 1292414 HAS SOUPS 1292414 WITH SCORE 1294055.268
AT ITER 6236 NEW BEST:: SOT 10389249 SOS 1641177 HAS SOPS 1641177 HAS SOUS 1292323 HAS SOUPS 1292323 WITH SCORE 1293964.177
AT ITER 6237 NEW BEST:: SOT 10389244 SOS 1641175 HAS SOPS 1641175 HAS SOUS 1292321 HAS SOUPS 1292321 WITH SCORE 1293962.175
AT ITER 6243 NEW BEST:: SOT 10389055 SOS 1640797 HAS SOPS 1640797 HAS SOUS 1291943 HAS SOUPS 1291943 WITH SCORE 1293583.797
AT ITER 6247 NEW BEST:: SOT 10388912 SOS 1640496 HAS SOPS 1640496 HAS SOUS 1291785 HAS SOUPS 1291785 WITH SCORE 1293425.496
AT ITER 6265 NEW BEST:: SOT 10388912 SOS 1640468 HAS SOPS 1640468 HAS SOUS 1291785 HAS SOUPS 1291785 WITH SCORE 1293425.468
AT ITER 6283 NEW BEST:: SOT 10388912 SOS 1640467 HAS SOPS 1640467 HAS SOUS 1291784 HAS SOUPS 1291784 WITH SCORE 1293424.467
AT ITER 6309 NEW BEST:: SOT 10388860 SOS 1640363 HAS SOPS 1640363 HAS SOUS 1291605 HAS SOUPS 1291605 WITH SCORE 1293245.363
AT ITER 6347 NEW BEST:: SOT 10388860 SOS 1640363 HAS SOPS 1640363 HAS SOUS 1291587 HAS SOUPS 1291587 WITH SCORE 1293227.363
AT ITER 6365 NEW BEST:: SOT 10388535 SOS 1640005 HAS SOPS 1640005 HAS SOUS 1291324 HAS SOUPS 1291324 WITH SCORE 1292964.005
AT ITER 6389 NEW BEST:: SOT 10388423 SOS 1639836 HAS SOPS 1639836 HAS SOUS 1291265 HAS SOUPS 1291265 WITH SCORE 1292904.836
AT ITER 6409 NEW BEST:: SOT 10388379 SOS 1639331 HAS SOPS 1639331 HAS SOUS 1291037 HAS SOUPS 1291037 WITH SCORE 1292676.331
AT ITER 6451 NEW BEST:: SOT 10388379 SOS 1640190 HAS SOPS 1640190 HAS SOUS 1291007 HAS SOUPS 1291007 WITH SCORE 1292647.19
AT ITER 6461 NEW BEST:: SOT 10388170 SOS 1639772 HAS SOPS 1639772 HAS SOUS 1290384 HAS SOUPS 1290384 WITH SCORE 1292023.772
AT ITER 6500 NEW BEST:: SOT 10387947 SOS 1639392 HAS SOPS 1639392 HAS SOUS 1290307 HAS SOUPS 1290307 WITH SCORE 1291946.392
AT ITER 6502 NEW BEST:: SOT 10385702 SOS 1637147 HAS SOPS 1637147 HAS SOUS 1288062 HAS SOUPS 1288062 WITH SCORE 1289699.147
AT ITER 6508 NEW BEST:: SOT 10385597 SOS 1637042 HAS SOPS 1637042 HAS SOUS 1288062 HAS SOUPS 1288062 WITH SCORE 1289699.042
AT ITER 6514 NEW BEST:: SOT 10385597 SOS 1637038 HAS SOPS 1637038 HAS SOUS 1288058 HAS SOUPS 1288058 WITH SCORE 1289695.038
AT ITER 6576 NEW BEST:: SOT 10385586 SOS 1637016 HAS SOPS 1637016 HAS SOUS 1288047 HAS SOUPS 1288047 WITH SCORE 1289684.016
AT ITER 6579 NEW BEST:: SOT 10385461 SOS 1636871 HAS SOPS 1636871 HAS SOUS 1287902 HAS SOUPS 1287902 WITH SCORE 1289538.871
AT ITER 6593 NEW BEST:: SOT 10385374 SOS 1636643 HAS SOPS 1636643 HAS SOUS 1287884 HAS SOUPS 1287884 WITH SCORE 1289520.643
AT ITER 6606 NEW BEST:: SOT 10385217 SOS 1637150 HAS SOPS 1637150 HAS SOUS 1287661 HAS SOUPS 1287661 WITH SCORE 1289298.15
AT ITER 6628 NEW BEST:: SOT 10385120 SOS 1637053 HAS SOPS 1637053 HAS SOUS 1287467 HAS SOUPS 1287467 WITH SCORE 1289104.053
AT ITER 6642 NEW BEST:: SOT 10385063 SOS 1636952 HAS SOPS 1636952 HAS SOUS 1287417 HAS SOUPS 1287417 WITH SCORE 1289053.952
AT ITER 6644 NEW BEST:: SOT 10384872 SOS 1636379 HAS SOPS 1636379 HAS SOUS 1287028 HAS SOUPS 1287028 WITH SCORE 1288664.379
AT ITER 6649 NEW BEST:: SOT 10384872 SOS 1636375 HAS SOPS 1636375 HAS SOUS 1287024 HAS SOUPS 1287024 WITH SCORE 1288660.375
AT ITER 6658 NEW BEST:: SOT 10384872 SOS 1636169 HAS SOPS 1636169 HAS SOUS 1287024 HAS SOUPS 1287024 WITH SCORE 1288660.169
AT ITER 6673 NEW BEST:: SOT 10384802 SOS 1635914 HAS SOPS 1635914 HAS SOUS 1286953 HAS SOUPS 1286953 WITH SCORE 1288588.914
AT ITER 6695 NEW BEST:: SOT 10384561 SOS 1635721 HAS SOPS 1635721 HAS SOUS 1286662 HAS SOUPS 1286662 WITH SCORE 1288297.721
AT ITER 6696 NEW BEST:: SOT 10384560 SOS 1635468 HAS SOPS 1635468 HAS SOUS 1286660 HAS SOUPS 1286660 WITH SCORE 1288295.468
AT ITER 6724 NEW BEST:: SOT 10384559 SOS 1635466 HAS SOPS 1635466 HAS SOUS 1286658 HAS SOUPS 1286658 WITH SCORE 1288293.466
AT ITER 6762 NEW BEST:: SOT 10384475 SOS 1635214 HAS SOPS 1635214 HAS SOUS 1286406 HAS SOUPS 1286406 WITH SCORE 1288041.214
AT ITER 6771 NEW BEST:: SOT 10384380 SOS 1635101 HAS SOPS 1635101 HAS SOUS 1286293 HAS SOUPS 1286293 WITH SCORE 1287928.101
AT ITER 6773 NEW BEST:: SOT 10384247 SOS 1635062 HAS SOPS 1635062 HAS SOUS 1286293 HAS SOUPS 1286293 WITH SCORE 1287928.062
AT ITER 6803 NEW BEST:: SOT 10384181 SOS 1634930 HAS SOPS 1634930 HAS SOUS 1286161 HAS SOUPS 1286161 WITH SCORE 1287795.93
AT ITER 6806 NEW BEST:: SOT 10384181 SOS 1634819 HAS SOPS 1634819 HAS SOUS 1286159 HAS SOUPS 1286159 WITH SCORE 1287793.819
AT ITER 6824 NEW BEST:: SOT 10384181 SOS 1634819 HAS SOPS 1634819 HAS SOUS 1286158 HAS SOUPS 1286158 WITH SCORE 1287792.819
AT ITER 6845 NEW BEST:: SOT 10384177 SOS 1634610 HAS SOPS 1634610 HAS SOUS 1285949 HAS SOUPS 1285949 WITH SCORE 1287583.61
AT ITER 6876 NEW BEST:: SOT 10384177 SOS 1634898 HAS SOPS 1634898 HAS SOUS 1285911 HAS SOUPS 1285911 WITH SCORE 1287545.898
AT ITER 6894 NEW BEST:: SOT 10384041 SOS 1634626 HAS SOPS 1634626 HAS SOUS 1285639 HAS SOUPS 1285639 WITH SCORE 1287273.626
AT ITER 6914 NEW BEST:: SOT 10384041 SOS 1634621 HAS SOPS 1634621 HAS SOUS 1285639 HAS SOUPS 1285639 WITH SCORE 1287273.621
AT ITER 6920 NEW BEST:: SOT 10383953 SOS 1634286 HAS SOPS 1634286 HAS SOUS 1285515 HAS SOUPS 1285515 WITH SCORE 1287149.286
AT ITER 6924 NEW BEST:: SOT 10383897 SOS 1634174 HAS SOPS 1634174 HAS SOUS 1285403 HAS SOUPS 1285403 WITH SCORE 1287037.174
AT ITER 6974 NEW BEST:: SOT 10383883 SOS 1634038 HAS SOPS 1634038 HAS SOUS 1285222 HAS SOUPS 1285222 WITH SCORE 1286856.038
AT ITER 6992 NEW BEST:: SOT 10383883 SOS 1633998 HAS SOPS 1633998 HAS SOUS 1285222 HAS SOUPS 1285222 WITH SCORE 1286855.998
AT ITER 7018 NEW BEST:: SOT 10383883 SOS 1633836 HAS SOPS 1633836 HAS SOUS 1285222 HAS SOUPS 1285222 WITH SCORE 1286855.836
AT ITER 7034 NEW BEST:: SOT 10383878 SOS 1633826 HAS SOPS 1633826 HAS SOUS 1285217 HAS SOUPS 1285217 WITH SCORE 1286850.826
AT ITER 7053 NEW BEST:: SOT 10383693 SOS 1633456 HAS SOPS 1633456 HAS SOUS 1284847 HAS SOUPS 1284847 WITH SCORE 1286480.456
AT ITER 7055 NEW BEST:: SOT 10383584 SOS 1633020 HAS SOPS 1633020 HAS SOUS 1284520 HAS SOUPS 1284520 WITH SCORE 1286153.02
AT ITER 7069 NEW BEST:: SOT 10383437 SOS 1632725 HAS SOPS 1632725 HAS SOUS 1284225 HAS SOUPS 1284225 WITH SCORE 1285857.725
AT ITER 7081 NEW BEST:: SOT 10383366 SOS 1632647 HAS SOPS 1632647 HAS SOUS 1284224 HAS SOUPS 1284224 WITH SCORE 1285856.647
AT ITER 7107 NEW BEST:: SOT 10383346 SOS 1632607 HAS SOPS 1632607 HAS SOUS 1284204 HAS SOUPS 1284204 WITH SCORE 1285836.607
AT ITER 7121 NEW BEST:: SOT 10383209 SOS 1631306 HAS SOPS 1631306 HAS SOUS 1284029 HAS SOUPS 1284029 WITH SCORE 1285660.306
AT ITER 7122 NEW BEST:: SOT 10383259 SOS 1631068 HAS SOPS 1631068 HAS SOUS 1283791 HAS SOUPS 1283791 WITH SCORE 1285422.068
AT ITER 7139 NEW BEST:: SOT 10383259 SOS 1631067 HAS SOPS 1631067 HAS SOUS 1283790 HAS SOUPS 1283790 WITH SCORE 1285421.067
AT ITER 7187 NEW BEST:: SOT 10383259 SOS 1630722 HAS SOPS 1630722 HAS SOUS 1283787 HAS SOUPS 1283787 WITH SCORE 1285417.722
AT ITER 7206 NEW BEST:: SOT 10384073 SOS 1632167 HAS SOPS 1632167 HAS SOUS 1282921 HAS SOUPS 1282921 WITH SCORE 1284553.167
AT ITER 7239 NEW BEST:: SOT 10384072 SOS 1632004 HAS SOPS 1632004 HAS SOUS 1282912 HAS SOUPS 1282912 WITH SCORE 1284544.004
AT ITER 7265 NEW BEST:: SOT 10383810 SOS 1631807 HAS SOPS 1631807 HAS SOUS 1282719 HAS SOUPS 1282719 WITH SCORE 1284350.807
AT ITER 7281 NEW BEST:: SOT 10383423 SOS 1631033 HAS SOPS 1631033 HAS SOUS 1281945 HAS SOUPS 1281945 WITH SCORE 1283576.033
AT ITER 7335 NEW BEST:: SOT 10383282 SOS 1632459 HAS SOPS 1632459 HAS SOUS 1281629 HAS SOUPS 1281629 WITH SCORE 1283261.459
AT ITER 7345 NEW BEST:: SOT 10383087 SOS 1633077 HAS SOPS 1633077 HAS SOUS 1281392 HAS SOUPS 1281392 WITH SCORE 1283025.077
AT ITER 7354 NEW BEST:: SOT 10383011 SOS 1633001 HAS SOPS 1633001 HAS SOUS 1281316 HAS SOUPS 1281316 WITH SCORE 1282949.001
AT ITER 7387 NEW BEST:: SOT 10382904 SOS 1632910 HAS SOPS 1632910 HAS SOUS 1281102 HAS SOUPS 1281102 WITH SCORE 1282734.91
AT ITER 7388 NEW BEST:: SOT 10382237 SOS 1633640 HAS SOPS 1633640 HAS SOUS 1280660 HAS SOUPS 1280660 WITH SCORE 1282293.64
AT ITER 7391 NEW BEST:: SOT 10382237 SOS 1638492 HAS SOPS 1638492 HAS SOUS 1280388 HAS SOUPS 1280388 WITH SCORE 1282026.492
AT ITER 7451 NEW BEST:: SOT 10382204 SOS 1638425 HAS SOPS 1638425 HAS SOUS 1280321 HAS SOUPS 1280321 WITH SCORE 1281959.425
AT ITER 7455 NEW BEST:: SOT 10382163 SOS 1638384 HAS SOPS 1638384 HAS SOUS 1280280 HAS SOUPS 1280280 WITH SCORE 1281918.384
AT ITER 7464 NEW BEST:: SOT 10382076 SOS 1638595 HAS SOPS 1638595 HAS SOUS 1280078 HAS SOUPS 1280078 WITH SCORE 1281716.595
AT ITER 7528 NEW BEST:: SOT 10381614 SOS 1637730 HAS SOPS 1637730 HAS SOUS 1279701 HAS SOUPS 1279701 WITH SCORE 1281338.73
AT ITER 7547 NEW BEST:: SOT 10381613 SOS 1637728 HAS SOPS 1637728 HAS SOUS 1279699 HAS SOUPS 1279699 WITH SCORE 1281336.728
AT ITER 7574 NEW BEST:: SOT 10381390 SOS 1636910 HAS SOPS 1636910 HAS SOUS 1279424 HAS SOUPS 1279424 WITH SCORE 1281060.91
AT ITER 7594 NEW BEST:: SOT 10381390 SOS 1636871 HAS SOPS 1636871 HAS SOUS 1279424 HAS SOUPS 1279424 WITH SCORE 1281060.871
AT ITER 7616 NEW BEST:: SOT 10381390 SOS 1636685 HAS SOPS 1636685 HAS SOUS 1279238 HAS SOUPS 1279238 WITH SCORE 1280874.685
AT ITER 7640 NEW BEST:: SOT 10381387 SOS 1636679 HAS SOPS 1636679 HAS SOUS 1279232 HAS SOUPS 1279232 WITH SCORE 1280868.679
AT ITER 7649 NEW BEST:: SOT 10381156 SOS 1636489 HAS SOPS 1636489 HAS SOUS 1278980 HAS SOUPS 1278980 WITH SCORE 1280616.489
AT ITER 7704 NEW BEST:: SOT 10381156 SOS 1636489 HAS SOPS 1636489 HAS SOUS 1278979 HAS SOUPS 1278979 WITH SCORE 1280615.489
AT ITER 7733 NEW BEST:: SOT 10380517 SOS 1636378 HAS SOPS 1636378 HAS SOUS 1278760 HAS SOUPS 1278760 WITH SCORE 1280396.378
AT ITER 7738 NEW BEST:: SOT 10380230 SOS 1636030 HAS SOPS 1636030 HAS SOUS 1278125 HAS SOUPS 1278125 WITH SCORE 1279761.03
AT ITER 7745 NEW BEST:: SOT 10378758 SOS 1634374 HAS SOPS 1634374 HAS SOUS 1277757 HAS SOUPS 1277757 WITH SCORE 1279391.374
AT ITER 7753 NEW BEST:: SOT 10378288 SOS 1633683 HAS SOPS 1633683 HAS SOUS 1277015 HAS SOUPS 1277015 WITH SCORE 1278648.683
AT ITER 7800 NEW BEST:: SOT 10378240 SOS 1633635 HAS SOPS 1633635 HAS SOUS 1277009 HAS SOUPS 1277009 WITH SCORE 1278642.635
AT ITER 7811 NEW BEST:: SOT 10378003 SOS 1633144 HAS SOPS 1633144 HAS SOUS 1276755 HAS SOUPS 1276755 WITH SCORE 1278388.144
AT ITER 7883 NEW BEST:: SOT 10377960 SOS 1632985 HAS SOPS 1632985 HAS SOUS 1276596 HAS SOUPS 1276596 WITH SCORE 1278228.985
AT ITER 7884 NEW BEST:: SOT 10377959 SOS 1632983 HAS SOPS 1632983 HAS SOUS 1276594 HAS SOUPS 1276594 WITH SCORE 1278226.983
AT ITER 7955 NEW BEST:: SOT 10377726 SOS 1632904 HAS SOPS 1632904 HAS SOUS 1276593 HAS SOUPS 1276593 WITH SCORE 1278225.904
AT ITER 7988 NEW BEST:: SOT 10377783 SOS 1632557 HAS SOPS 1632557 HAS SOUS 1276246 HAS SOUPS 1276246 WITH SCORE 1277878.557
AT ITER 7998 NEW BEST:: SOT 10377699 SOS 1632430 HAS SOPS 1632430 HAS SOUS 1276203 HAS SOUPS 1276203 WITH SCORE 1277835.43
AT ITER 8023 NEW BEST:: SOT 10377485 SOS 1632216 HAS SOPS 1632216 HAS SOUS 1276203 HAS SOUPS 1276203 WITH SCORE 1277835.216
AT ITER 8039 NEW BEST:: SOT 10377485 SOS 1632038 HAS SOPS 1632038 HAS SOUS 1276196 HAS SOUPS 1276196 WITH SCORE 1277828.038
AT ITER 8043 NEW BEST:: SOT 10377316 SOS 1634159 HAS SOPS 1634159 HAS SOUS 1276035 HAS SOUPS 1276035 WITH SCORE 1277669.159
AT ITER 8050 NEW BEST:: SOT 10377316 SOS 1634158 HAS SOPS 1634158 HAS SOUS 1276034 HAS SOUPS 1276034 WITH SCORE 1277668.158
AT ITER 8054 NEW BEST:: SOT 10377320 SOS 1634178 HAS SOPS 1634178 HAS SOUS 1276014 HAS SOUPS 1276014 WITH SCORE 1277648.178
AT ITER 8056 NEW BEST:: SOT 10377179 SOS 1634037 HAS SOPS 1634037 HAS SOUS 1275873 HAS SOUPS 1275873 WITH SCORE 1277507.037
AT ITER 8059 NEW BEST:: SOT 10377178 SOS 1634035 HAS SOPS 1634035 HAS SOUS 1275871 HAS SOUPS 1275871 WITH SCORE 1277505.035
AT ITER 8064 NEW BEST:: SOT 10376452 SOS 1633643 HAS SOPS 1633643 HAS SOUS 1275246 HAS SOUPS 1275246 WITH SCORE 1276879.643
AT ITER 8090 NEW BEST:: SOT 10376059 SOS 1633441 HAS SOPS 1633441 HAS SOUS 1275122 HAS SOUPS 1275122 WITH SCORE 1276755.441
AT ITER 8095 NEW BEST:: SOT 10375975 SOS 1633209 HAS SOPS 1633209 HAS SOUS 1274986 HAS SOUPS 1274986 WITH SCORE 1276619.209
AT ITER 8099 NEW BEST:: SOT 10376010 SOS 1633275 HAS SOPS 1633275 HAS SOUS 1274902 HAS SOUPS 1274902 WITH SCORE 1276535.275
AT ITER 8102 NEW BEST:: SOT 10375734 SOS 1633019 HAS SOPS 1633019 HAS SOUS 1274882 HAS SOUPS 1274882 WITH SCORE 1276515.019
AT ITER 8112 NEW BEST:: SOT 10375730 SOS 1633015 HAS SOPS 1633015 HAS SOUS 1274878 HAS SOUPS 1274878 WITH SCORE 1276511.015
AT ITER 8135 NEW BEST:: SOT 10374966 SOS 1632251 HAS SOPS 1632251 HAS SOUS 1274849 HAS SOUPS 1274849 WITH SCORE 1276481.251
AT ITER 8179 NEW BEST:: SOT 10374841 SOS 1632173 HAS SOPS 1632173 HAS SOUS 1274771 HAS SOUPS 1274771 WITH SCORE 1276403.173
AT ITER 8263 NEW BEST:: SOT 10374583 SOS 1631657 HAS SOPS 1631657 HAS SOUS 1274255 HAS SOUPS 1274255 WITH SCORE 1275886.657
AT ITER 8287 NEW BEST:: SOT 10374583 SOS 1631656 HAS SOPS 1631656 HAS SOUS 1274254 HAS SOUPS 1274254 WITH SCORE 1275885.656
AT ITER 8309 NEW BEST:: SOT 10374281 SOS 1634341 HAS SOPS 1634341 HAS SOUS 1274251 HAS SOUPS 1274251 WITH SCORE 1275885.341
AT ITER 8344 NEW BEST:: SOT 10374301 SOS 1634183 HAS SOPS 1634183 HAS SOUS 1274093 HAS SOUPS 1274093 WITH SCORE 1275727.183
AT ITER 8348 NEW BEST:: SOT 10373202 SOS 1632456 HAS SOPS 1632456 HAS SOUS 1273936 HAS SOUPS 1273936 WITH SCORE 1275568.456
AT ITER 8395 NEW BEST:: SOT 10373193 SOS 1632411 HAS SOPS 1632411 HAS SOUS 1273918 HAS SOUPS 1273918 WITH SCORE 1275550.411
AT ITER 8403 NEW BEST:: SOT 10373193 SOS 1632263 HAS SOPS 1632263 HAS SOUS 1273918 HAS SOUPS 1273918 WITH SCORE 1275550.263
AT ITER 8409 NEW BEST:: SOT 10373060 SOS 1631756 HAS SOPS 1631756 HAS SOUS 1273675 HAS SOUPS 1273675 WITH SCORE 1275306.756
AT ITER 8427 NEW BEST:: SOT 10373060 SOS 1631912 HAS SOPS 1631912 HAS SOUS 1273671 HAS SOUPS 1273671 WITH SCORE 1275302.912
AT ITER 8447 NEW BEST:: SOT 10372918 SOS 1631955 HAS SOPS 1631955 HAS SOUS 1272920 HAS SOUPS 1272920 WITH SCORE 1274551.955
AT ITER 8468 NEW BEST:: SOT 10372918 SOS 1631952 HAS SOPS 1631952 HAS SOUS 1272920 HAS SOUPS 1272920 WITH SCORE 1274551.952
AT ITER 8470 NEW BEST:: SOT 10372712 SOS 1631540 HAS SOPS 1631540 HAS SOUS 1272803 HAS SOUPS 1272803 WITH SCORE 1274434.54
AT ITER 8495 NEW BEST:: SOT 10372619 SOS 1631105 HAS SOPS 1631105 HAS SOUS 1272537 HAS SOUPS 1272537 WITH SCORE 1274168.105
AT ITER 8507 NEW BEST:: SOT 10372564 SOS 1631048 HAS SOPS 1631048 HAS SOUS 1272480 HAS SOUPS 1272480 WITH SCORE 1274111.048
AT ITER 8521 NEW BEST:: SOT 10372408 SOS 1630736 HAS SOPS 1630736 HAS SOUS 1272323 HAS SOUPS 1272323 WITH SCORE 1273953.736
AT ITER 8529 NEW BEST:: SOT 10372379 SOS 1630658 HAS SOPS 1630658 HAS SOUS 1272245 HAS SOUPS 1272245 WITH SCORE 1273875.658
AT ITER 8532 NEW BEST:: SOT 10372352 SOS 1630603 HAS SOPS 1630603 HAS SOUS 1272190 HAS SOUPS 1272190 WITH SCORE 1273820.603
AT ITER 8546 NEW BEST:: SOT 10372344 SOS 1630595 HAS SOPS 1630595 HAS SOUS 1272182 HAS SOUPS 1272182 WITH SCORE 1273812.595
AT ITER 8569 NEW BEST:: SOT 10372344 SOS 1630573 HAS SOPS 1630573 HAS SOUS 1272177 HAS SOUPS 1272177 WITH SCORE 1273807.573
AT ITER 8576 NEW BEST:: SOT 10372197 SOS 1630426 HAS SOPS 1630426 HAS SOUS 1272027 HAS SOUPS 1272027 WITH SCORE 1273657.426
AT ITER 8593 NEW BEST:: SOT 10372192 SOS 1630421 HAS SOPS 1630421 HAS SOUS 1272022 HAS SOUPS 1272022 WITH SCORE 1273652.421
AT ITER 8629 NEW BEST:: SOT 10372087 SOS 1630316 HAS SOPS 1630316 HAS SOUS 1271917 HAS SOUPS 1271917 WITH SCORE 1273547.316
AT ITER 8630 NEW BEST:: SOT 10372087 SOS 1630194 HAS SOPS 1630194 HAS SOUS 1271916 HAS SOUPS 1271916 WITH SCORE 1273546.194
AT ITER 8636 NEW BEST:: SOT 10372004 SOS 1630107 HAS SOPS 1630107 HAS SOUS 1271746 HAS SOUPS 1271746 WITH SCORE 1273376.107
AT ITER 8658 NEW BEST:: SOT 10371818 SOS 1629514 HAS SOPS 1629514 HAS SOUS 1271153 HAS SOUPS 1271153 WITH SCORE 1272782.514
AT ITER 8663 NEW BEST:: SOT 10371668 SOS 1629376 HAS SOPS 1629376 HAS SOUS 1271099 HAS SOUPS 1271099 WITH SCORE 1272728.376
AT ITER 8665 NEW BEST:: SOT 10371634 SOS 1629325 HAS SOPS 1629325 HAS SOUS 1271048 HAS SOUPS 1271048 WITH SCORE 1272677.325
AT ITER 8686 NEW BEST:: SOT 10371634 SOS 1629275 HAS SOPS 1629275 HAS SOUS 1270998 HAS SOUPS 1270998 WITH SCORE 1272627.275
AT ITER 8705 NEW BEST:: SOT 10371634 SOS 1629199 HAS SOPS 1629199 HAS SOUS 1270922 HAS SOUPS 1270922 WITH SCORE 1272551.199
AT ITER 8751 NEW BEST:: SOT 10371938 SOS 1629129 HAS SOPS 1629129 HAS SOUS 1270852 HAS SOUPS 1270852 WITH SCORE 1272481.129
AT ITER 8773 NEW BEST:: SOT 10371787 SOS 1628810 HAS SOPS 1628810 HAS SOUS 1270683 HAS SOUPS 1270683 WITH SCORE 1272311.81
AT ITER 8782 NEW BEST:: SOT 10371638 SOS 1629045 HAS SOPS 1629045 HAS SOUS 1270534 HAS SOUPS 1270534 WITH SCORE 1272163.045
AT ITER 8796 NEW BEST:: SOT 10371716 SOS 1628885 HAS SOPS 1628885 HAS SOUS 1270374 HAS SOUPS 1270374 WITH SCORE 1272002.885
AT ITER 8816 NEW BEST:: SOT 10371715 SOS 1628882 HAS SOPS 1628882 HAS SOUS 1270371 HAS SOUPS 1270371 WITH SCORE 1271999.882
AT ITER 8875 NEW BEST:: SOT 10371271 SOS 1628283 HAS SOPS 1628283 HAS SOUS 1269753 HAS SOUPS 1269753 WITH SCORE 1271381.283
AT ITER 8885 NEW BEST:: SOT 10371271 SOS 1628280 HAS SOPS 1628280 HAS SOUS 1269747 HAS SOUPS 1269747 WITH SCORE 1271375.28
AT ITER 8947 NEW BEST:: SOT 10371210 SOS 1628158 HAS SOPS 1628158 HAS SOUS 1269624 HAS SOUPS 1269624 WITH SCORE 1271252.158
AT ITER 8953 NEW BEST:: SOT 10371210 SOS 1628150 HAS SOPS 1628150 HAS SOUS 1269616 HAS SOUPS 1269616 WITH SCORE 1271244.15
AT ITER 8957 NEW BEST:: SOT 10371210 SOS 1628003 HAS SOPS 1628003 HAS SOUS 1269469 HAS SOUPS 1269469 WITH SCORE 1271097.003
AT ITER 8972 NEW BEST:: SOT 10371150 SOS 1627943 HAS SOPS 1627943 HAS SOUS 1269409 HAS SOUPS 1269409 WITH SCORE 1271036.943
AT ITER 8987 NEW BEST:: SOT 10370908 SOS 1627543 HAS SOPS 1627543 HAS SOUS 1269009 HAS SOUPS 1269009 WITH SCORE 1270636.543
AT ITER 9016 NEW BEST:: SOT 10370896 SOS 1627507 HAS SOPS 1627507 HAS SOUS 1268805 HAS SOUPS 1268805 WITH SCORE 1270432.507
AT ITER 9020 NEW BEST:: SOT 10370896 SOS 1627373 HAS SOPS 1627373 HAS SOUS 1268805 HAS SOUPS 1268805 WITH SCORE 1270432.373
AT ITER 9022 NEW BEST:: SOT 10370654 SOS 1627131 HAS SOPS 1627131 HAS SOUS 1268563 HAS SOUPS 1268563 WITH SCORE 1270190.131
AT ITER 9041 NEW BEST:: SOT 10370564 SOS 1627040 HAS SOPS 1627040 HAS SOUS 1268472 HAS SOUPS 1268472 WITH SCORE 1270099.04
AT ITER 9046 NEW BEST:: SOT 10370558 SOS 1626370 HAS SOPS 1626370 HAS SOUS 1268362 HAS SOUPS 1268362 WITH SCORE 1269988.37
AT ITER 9085 NEW BEST:: SOT 10370488 SOS 1626393 HAS SOPS 1626393 HAS SOUS 1268222 HAS SOUPS 1268222 WITH SCORE 1269848.393
AT ITER 9132 NEW BEST:: SOT 10369948 SOS 1625628 HAS SOPS 1625628 HAS SOUS 1267457 HAS SOUPS 1267457 WITH SCORE 1269082.628
AT ITER 9139 NEW BEST:: SOT 10369609 SOS 1625862 HAS SOPS 1625862 HAS SOUS 1267265 HAS SOUPS 1267265 WITH SCORE 1268890.862
AT ITER 9144 NEW BEST:: SOT 10369511 SOS 1625666 HAS SOPS 1625666 HAS SOUS 1267069 HAS SOUPS 1267069 WITH SCORE 1268694.666
AT ITER 9163 NEW BEST:: SOT 10369366 SOS 1626032 HAS SOPS 1626032 HAS SOUS 1266997 HAS SOUPS 1266997 WITH SCORE 1268623.032
AT ITER 9179 NEW BEST:: SOT 10369103 SOS 1625734 HAS SOPS 1625734 HAS SOUS 1266825 HAS SOUPS 1266825 WITH SCORE 1268450.734
AT ITER 9192 NEW BEST:: SOT 10369093 SOS 1625916 HAS SOPS 1625916 HAS SOUS 1266805 HAS SOUPS 1266805 WITH SCORE 1268430.916
AT ITER 9252 NEW BEST:: SOT 10369093 SOS 1626382 HAS SOPS 1626382 HAS SOUS 1265563 HAS SOUPS 1265563 WITH SCORE 1267189.382
AT ITER 9261 NEW BEST:: SOT 10368715 SOS 1626033 HAS SOPS 1626033 HAS SOUS 1265417 HAS SOUPS 1265417 WITH SCORE 1267043.033
AT ITER 9284 NEW BEST:: SOT 10368526 SOS 1625653 HAS SOPS 1625653 HAS SOUS 1265037 HAS SOUPS 1265037 WITH SCORE 1266662.653
AT ITER 9289 NEW BEST:: SOT 10368432 SOS 1625559 HAS SOPS 1625559 HAS SOUS 1264943 HAS SOUPS 1264943 WITH SCORE 1266568.559
AT ITER 9326 NEW BEST:: SOT 10368403 SOS 1625505 HAS SOPS 1625505 HAS SOUS 1264889 HAS SOUPS 1264889 WITH SCORE 1266514.505
AT ITER 9329 NEW BEST:: SOT 10367533 SOS 1624762 HAS SOPS 1624762 HAS SOUS 1264164 HAS SOUPS 1264164 WITH SCORE 1265788.762
AT ITER 9341 NEW BEST:: SOT 10367533 SOS 1624709 HAS SOPS 1624709 HAS SOUS 1264111 HAS SOUPS 1264111 WITH SCORE 1265735.709
AT ITER 9349 NEW BEST:: SOT 10367532 SOS 1624626 HAS SOPS 1624626 HAS SOUS 1264028 HAS SOUPS 1264028 WITH SCORE 1265652.626
AT ITER 9350 NEW BEST:: SOT 10367531 SOS 1624592 HAS SOPS 1624592 HAS SOUS 1264026 HAS SOUPS 1264026 WITH SCORE 1265650.592
AT ITER 9492 NEW BEST:: SOT 10367531 SOS 1624390 HAS SOPS 1624390 HAS SOUS 1263966 HAS SOUPS 1263966 WITH SCORE 1265590.39
AT ITER 9517 NEW BEST:: SOT 10367343 SOS 1624081 HAS SOPS 1624081 HAS SOUS 1263806 HAS SOUPS 1263806 WITH SCORE 1265430.081
AT ITER 9593 NEW BEST:: SOT 10365844 SOS 1631774 HAS SOPS 1631774 HAS SOUS 1263055 HAS SOUPS 1263055 WITH SCORE 1264686.774
AT ITER 9609 NEW BEST:: SOT 10365844 SOS 1632031 HAS SOPS 1632031 HAS SOUS 1263054 HAS SOUPS 1263054 WITH SCORE 1264686.031
AT ITER 9623 NEW BEST:: SOT 10365712 SOS 1631571 HAS SOPS 1631571 HAS SOUS 1262676 HAS SOUPS 1262676 WITH SCORE 1264307.571
AT ITER 9648 NEW BEST:: SOT 10365638 SOS 1631423 HAS SOPS 1631423 HAS SOUS 1262528 HAS SOUPS 1262528 WITH SCORE 1264159.423
AT ITER 9741 NEW BEST:: SOT 10364440 SOS 1631521 HAS SOPS 1631521 HAS SOUS 1261805 HAS SOUPS 1261805 WITH SCORE 1263436.521
AT ITER 9776 NEW BEST:: SOT 10364440 SOS 1631521 HAS SOPS 1631521 HAS SOUS 1261563 HAS SOUPS 1261563 WITH SCORE 1263194.521
AT ITER 9815 NEW BEST:: SOT 10364199 SOS 1631472 HAS SOPS 1631472 HAS SOUS 1261514 HAS SOUPS 1261514 WITH SCORE 1263145.472
AT ITER 9822 NEW BEST:: SOT 10363956 SOS 1631726 HAS SOPS 1631726 HAS SOUS 1261028 HAS SOUPS 1261028 WITH SCORE 1262659.726
AT ITER 9879 NEW BEST:: SOT 10364237 SOS 1630248 HAS SOPS 1630248 HAS SOUS 1261017 HAS SOUPS 1261017 WITH SCORE 1262647.248
AT ITER 9899 NEW BEST:: SOT 10364237 SOS 1630237 HAS SOPS 1630237 HAS SOUS 1261006 HAS SOUPS 1261006 WITH SCORE 1262636.237
AT ITER 9900 NEW BEST:: SOT 10364010 SOS 1629818 HAS SOPS 1629818 HAS SOUS 1260772 HAS SOUPS 1260772 WITH SCORE 1262401.818
AT ITER 9909 NEW BEST:: SOT 10364033 SOS 1629609 HAS SOPS 1629609 HAS SOUS 1260540 HAS SOUPS 1260540 WITH SCORE 1262169.609
AT ITER 9949 NEW BEST:: SOT 10364033 SOS 1629604 HAS SOPS 1629604 HAS SOUS 1260535 HAS SOUPS 1260535 WITH SCORE 1262164.604
AT ITER 9976 NEW BEST:: SOT 10364041 SOS 1629568 HAS SOPS 1629568 HAS SOUS 1260499 HAS SOUPS 1260499 WITH SCORE 1262128.568
AT ITER 9997 NEW BEST:: SOT 10364041 SOS 1629556 HAS SOPS 1629556 HAS SOUS 1260487 HAS SOUPS 1260487 WITH SCORE 1262116.556
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393236 kB
MemFree: 13924568 kB
After kill :
MemTotal: 16393236 kB
MemFree: 16119428 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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="ASLink-PT-09b"
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 ASLink-PT-09b, 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 r011-oct2-167813599800152"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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