Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 5.4K Feb 25 18:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 54K Feb 25 18:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 18:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 18:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 18:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 154K Feb 25 18:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 18:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 18:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 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 1678260668598

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

Filename model.pnml
Petri model created: 3495 places, 5439 transitions, 15081 arcs.
AT ITER 0 NEW BEST:: SOT 12062868 SOS 2820991 HAS SOPS 2820991 HAS SOUS 1629137 HAS SOUPS 1629137 WITH SCORE 1631957.991
AT ITER 2 NEW BEST:: SOT 12062826 SOS 2821027 HAS SOPS 2821027 HAS SOUS 1629093 HAS SOUPS 1629093 WITH SCORE 1631914.027
AT ITER 10 NEW BEST:: SOT 12062236 SOS 2821026 HAS SOPS 2821026 HAS SOUS 1629092 HAS SOUPS 1629092 WITH SCORE 1631913.026
AT ITER 12 NEW BEST:: SOT 12061806 SOS 2821016 HAS SOPS 2821016 HAS SOUS 1628991 HAS SOUPS 1628991 WITH SCORE 1631812.016
AT ITER 23 NEW BEST:: SOT 12061549 SOS 2820502 HAS SOPS 2820502 HAS SOUS 1628375 HAS SOUPS 1628375 WITH SCORE 1631195.502
AT ITER 45 NEW BEST:: SOT 12060990 SOS 2819943 HAS SOPS 2819943 HAS SOUS 1627816 HAS SOUPS 1627816 WITH SCORE 1630635.943
AT ITER 63 NEW BEST:: SOT 12060989 SOS 2819941 HAS SOPS 2819941 HAS SOUS 1627814 HAS SOUPS 1627814 WITH SCORE 1630633.941
AT ITER 71 NEW BEST:: SOT 12060129 SOS 2819943 HAS SOPS 2819943 HAS SOUS 1627725 HAS SOUPS 1627725 WITH SCORE 1630544.943
AT ITER 91 NEW BEST:: SOT 12060129 SOS 2818830 HAS SOPS 2818830 HAS SOUS 1627354 HAS SOUPS 1627354 WITH SCORE 1630172.83
AT ITER 99 NEW BEST:: SOT 12060004 SOS 2818705 HAS SOPS 2818705 HAS SOUS 1627229 HAS SOUPS 1627229 WITH SCORE 1630047.705
AT ITER 107 NEW BEST:: SOT 12059842 SOS 2818318 HAS SOPS 2818318 HAS SOUS 1627082 HAS SOUPS 1627082 WITH SCORE 1629900.318
AT ITER 113 NEW BEST:: SOT 12059842 SOS 2818268 HAS SOPS 2818268 HAS SOUS 1627032 HAS SOUPS 1627032 WITH SCORE 1629850.268
AT ITER 116 NEW BEST:: SOT 12059841 SOS 2819687 HAS SOPS 2819687 HAS SOUS 1627029 HAS SOUPS 1627029 WITH SCORE 1629848.687
AT ITER 122 NEW BEST:: SOT 12059840 SOS 2819685 HAS SOPS 2819685 HAS SOUS 1627027 HAS SOUPS 1627027 WITH SCORE 1629846.685
AT ITER 131 NEW BEST:: SOT 12059166 SOS 2820359 HAS SOPS 2820359 HAS SOUS 1626227 HAS SOUPS 1626227 WITH SCORE 1629047.359
AT ITER 144 NEW BEST:: SOT 12059166 SOS 2825498 HAS SOPS 2825498 HAS SOUS 1625679 HAS SOUPS 1625679 WITH SCORE 1628504.498
AT ITER 164 NEW BEST:: SOT 12059277 SOS 2825128 HAS SOPS 2825128 HAS SOUS 1625309 HAS SOUPS 1625309 WITH SCORE 1628134.128
AT ITER 168 NEW BEST:: SOT 12057369 SOS 2822286 HAS SOPS 2822286 HAS SOUS 1622443 HAS SOUPS 1622443 WITH SCORE 1625265.286
AT ITER 175 NEW BEST:: SOT 12057369 SOS 2822872 HAS SOPS 2822872 HAS SOUS 1622441 HAS SOUPS 1622441 WITH SCORE 1625263.872
AT ITER 204 NEW BEST:: SOT 12057250 SOS 2823836 HAS SOPS 2823836 HAS SOUS 1622320 HAS SOUPS 1622320 WITH SCORE 1625143.836
AT ITER 205 NEW BEST:: SOT 12057237 SOS 2823823 HAS SOPS 2823823 HAS SOUS 1622318 HAS SOUPS 1622318 WITH SCORE 1625141.823
AT ITER 223 NEW BEST:: SOT 12055387 SOS 2821066 HAS SOPS 2821066 HAS SOUS 1619537 HAS SOUPS 1619537 WITH SCORE 1622358.066
AT ITER 230 NEW BEST:: SOT 12055387 SOS 2820986 HAS SOPS 2820986 HAS SOUS 1619457 HAS SOUPS 1619457 WITH SCORE 1622277.986
AT ITER 234 NEW BEST:: SOT 12055386 SOS 2820984 HAS SOPS 2820984 HAS SOUS 1619455 HAS SOUPS 1619455 WITH SCORE 1622275.984
AT ITER 243 NEW BEST:: SOT 12054795 SOS 2820389 HAS SOPS 2820389 HAS SOUS 1618863 HAS SOUPS 1618863 WITH SCORE 1621683.389
AT ITER 274 NEW BEST:: SOT 12054217 SOS 2819811 HAS SOPS 2819811 HAS SOUS 1618285 HAS SOUPS 1618285 WITH SCORE 1621104.811
AT ITER 281 NEW BEST:: SOT 12054107 SOS 2819921 HAS SOPS 2819921 HAS SOUS 1618175 HAS SOUPS 1618175 WITH SCORE 1620994.921
AT ITER 288 NEW BEST:: SOT 12053348 SOS 2819399 HAS SOPS 2819399 HAS SOUS 1617416 HAS SOUPS 1617416 WITH SCORE 1620235.399
AT ITER 300 NEW BEST:: SOT 12052972 SOS 2819070 HAS SOPS 2819070 HAS SOUS 1617087 HAS SOUPS 1617087 WITH SCORE 1619906.07
AT ITER 322 NEW BEST:: SOT 12052822 SOS 2818920 HAS SOPS 2818920 HAS SOUS 1616937 HAS SOUPS 1616937 WITH SCORE 1619755.92
AT ITER 393 NEW BEST:: SOT 12053000 SOS 2819276 HAS SOPS 2819276 HAS SOUS 1616813 HAS SOUPS 1616813 WITH SCORE 1619632.276
AT ITER 421 NEW BEST:: SOT 12052999 SOS 2819274 HAS SOPS 2819274 HAS SOUS 1616811 HAS SOUPS 1616811 WITH SCORE 1619630.274
AT ITER 425 NEW BEST:: SOT 12051940 SOS 2819025 HAS SOPS 2819025 HAS SOUS 1615752 HAS SOUPS 1615752 WITH SCORE 1618571.025
AT ITER 428 NEW BEST:: SOT 12051873 SOS 2818891 HAS SOPS 2818891 HAS SOUS 1615618 HAS SOUPS 1615618 WITH SCORE 1618436.891
AT ITER 430 NEW BEST:: SOT 12051789 SOS 2818807 HAS SOPS 2818807 HAS SOUS 1615534 HAS SOUPS 1615534 WITH SCORE 1618352.807
AT ITER 439 NEW BEST:: SOT 12051028 SOS 2818036 HAS SOPS 2818036 HAS SOUS 1614772 HAS SOUPS 1614772 WITH SCORE 1617590.036
AT ITER 495 NEW BEST:: SOT 12050229 SOS 2818036 HAS SOPS 2818036 HAS SOUS 1613632 HAS SOUPS 1613632 WITH SCORE 1616450.036
AT ITER 518 NEW BEST:: SOT 12050592 SOS 2817301 HAS SOPS 2817301 HAS SOUS 1613629 HAS SOUPS 1613629 WITH SCORE 1616446.301
AT ITER 522 NEW BEST:: SOT 12050592 SOS 2817681 HAS SOPS 2817681 HAS SOUS 1613627 HAS SOUPS 1613627 WITH SCORE 1616444.681
AT ITER 524 NEW BEST:: SOT 12049623 SOS 2823247 HAS SOPS 2823247 HAS SOUS 1613066 HAS SOUPS 1613066 WITH SCORE 1615889.247
AT ITER 527 NEW BEST:: SOT 12049609 SOS 2823219 HAS SOPS 2823219 HAS SOUS 1612475 HAS SOUPS 1612475 WITH SCORE 1615298.219
AT ITER 548 NEW BEST:: SOT 12049605 SOS 2823211 HAS SOPS 2823211 HAS SOUS 1612467 HAS SOUPS 1612467 WITH SCORE 1615290.211
AT ITER 555 NEW BEST:: SOT 12049605 SOS 2823450 HAS SOPS 2823450 HAS SOUS 1612466 HAS SOUPS 1612466 WITH SCORE 1615289.45
AT ITER 568 NEW BEST:: SOT 12049593 SOS 2823426 HAS SOPS 2823426 HAS SOUS 1612442 HAS SOUPS 1612442 WITH SCORE 1615265.426
AT ITER 575 NEW BEST:: SOT 12049396 SOS 2823697 HAS SOPS 2823697 HAS SOUS 1612280 HAS SOUPS 1612280 WITH SCORE 1615103.697
AT ITER 578 NEW BEST:: SOT 12048577 SOS 2823202 HAS SOPS 2823202 HAS SOUS 1611785 HAS SOUPS 1611785 WITH SCORE 1614608.202
AT ITER 622 NEW BEST:: SOT 12048601 SOS 2822614 HAS SOPS 2822614 HAS SOUS 1611197 HAS SOUPS 1611197 WITH SCORE 1614019.614
AT ITER 635 NEW BEST:: SOT 12048483 SOS 2822614 HAS SOPS 2822614 HAS SOUS 1611138 HAS SOUPS 1611138 WITH SCORE 1613960.614
AT ITER 645 NEW BEST:: SOT 12048483 SOS 2822546 HAS SOPS 2822546 HAS SOUS 1611138 HAS SOUPS 1611138 WITH SCORE 1613960.546
AT ITER 655 NEW BEST:: SOT 12048388 SOS 2822356 HAS SOPS 2822356 HAS SOUS 1610746 HAS SOUPS 1610746 WITH SCORE 1613568.356
AT ITER 665 NEW BEST:: SOT 12048442 SOS 2822464 HAS SOPS 2822464 HAS SOUS 1610179 HAS SOUPS 1610179 WITH SCORE 1613001.464
AT ITER 668 NEW BEST:: SOT 12047476 SOS 2821503 HAS SOPS 2821503 HAS SOUS 1609218 HAS SOUPS 1609218 WITH SCORE 1612039.503
AT ITER 672 NEW BEST:: SOT 12047476 SOS 2821467 HAS SOPS 2821467 HAS SOUS 1609182 HAS SOUPS 1609182 WITH SCORE 1612003.467
AT ITER 675 NEW BEST:: SOT 12046980 SOS 2820894 HAS SOPS 2820894 HAS SOUS 1608609 HAS SOUPS 1608609 WITH SCORE 1611429.894
AT ITER 681 NEW BEST:: SOT 12046655 SOS 2825832 HAS SOPS 2825832 HAS SOUS 1607958 HAS SOUPS 1607958 WITH SCORE 1610783.832
AT ITER 728 NEW BEST:: SOT 12046655 SOS 2825518 HAS SOPS 2825518 HAS SOUS 1607644 HAS SOUPS 1607644 WITH SCORE 1610469.518
AT ITER 735 NEW BEST:: SOT 12046655 SOS 2825737 HAS SOPS 2825737 HAS SOUS 1607363 HAS SOUPS 1607363 WITH SCORE 1610188.737
AT ITER 740 NEW BEST:: SOT 12046645 SOS 2825717 HAS SOPS 2825717 HAS SOUS 1607343 HAS SOUPS 1607343 WITH SCORE 1610168.717
AT ITER 752 NEW BEST:: SOT 12046622 SOS 2825671 HAS SOPS 2825671 HAS SOUS 1607343 HAS SOUPS 1607343 WITH SCORE 1610168.671
AT ITER 775 NEW BEST:: SOT 12045788 SOS 2825022 HAS SOPS 2825022 HAS SOUS 1606584 HAS SOUPS 1606584 WITH SCORE 1609409.022
AT ITER 796 NEW BEST:: SOT 12045573 SOS 2825046 HAS SOPS 2825046 HAS SOUS 1606369 HAS SOUPS 1606369 WITH SCORE 1609194.046
AT ITER 815 NEW BEST:: SOT 12045538 SOS 2824976 HAS SOPS 2824976 HAS SOUS 1605495 HAS SOUPS 1605495 WITH SCORE 1608319.976
AT ITER 821 NEW BEST:: SOT 12044822 SOS 2824402 HAS SOPS 2824402 HAS SOUS 1604921 HAS SOUPS 1604921 WITH SCORE 1607745.402
AT ITER 838 NEW BEST:: SOT 12044819 SOS 2824396 HAS SOPS 2824396 HAS SOUS 1604915 HAS SOUPS 1604915 WITH SCORE 1607739.396
AT ITER 887 NEW BEST:: SOT 12044015 SOS 2823600 HAS SOPS 2823600 HAS SOUS 1604111 HAS SOUPS 1604111 WITH SCORE 1606934.6
AT ITER 889 NEW BEST:: SOT 12043868 SOS 2823306 HAS SOPS 2823306 HAS SOUS 1603254 HAS SOUPS 1603254 WITH SCORE 1606077.306
AT ITER 897 NEW BEST:: SOT 12043243 SOS 2822770 HAS SOPS 2822770 HAS SOUS 1602718 HAS SOUPS 1602718 WITH SCORE 1605540.77
AT ITER 924 NEW BEST:: SOT 12043243 SOS 2821444 HAS SOPS 2821444 HAS SOUS 1602718 HAS SOUPS 1602718 WITH SCORE 1605539.444
AT ITER 927 NEW BEST:: SOT 12043132 SOS 2821402 HAS SOPS 2821402 HAS SOUS 1602676 HAS SOUPS 1602676 WITH SCORE 1605497.402
AT ITER 931 NEW BEST:: SOT 12042489 SOS 2820747 HAS SOPS 2820747 HAS SOUS 1602021 HAS SOUPS 1602021 WITH SCORE 1604841.747
AT ITER 965 NEW BEST:: SOT 12042231 SOS 2821455 HAS SOPS 2821455 HAS SOUS 1601810 HAS SOUPS 1601810 WITH SCORE 1604631.455
AT ITER 970 NEW BEST:: SOT 12042327 SOS 2821647 HAS SOPS 2821647 HAS SOUS 1601598 HAS SOUPS 1601598 WITH SCORE 1604419.647
AT ITER 971 NEW BEST:: SOT 12042327 SOS 2821365 HAS SOPS 2821365 HAS SOUS 1601598 HAS SOUPS 1601598 WITH SCORE 1604419.365
AT ITER 973 NEW BEST:: SOT 12042014 SOS 2820739 HAS SOPS 2820739 HAS SOUS 1600972 HAS SOUPS 1600972 WITH SCORE 1603792.739
AT ITER 991 NEW BEST:: SOT 12041658 SOS 2821095 HAS SOPS 2821095 HAS SOUS 1600820 HAS SOUPS 1600820 WITH SCORE 1603641.095
AT ITER 992 NEW BEST:: SOT 12041448 SOS 2821505 HAS SOPS 2821505 HAS SOUS 1600683 HAS SOUPS 1600683 WITH SCORE 1603504.505
AT ITER 996 NEW BEST:: SOT 12040981 SOS 2819170 HAS SOPS 2819170 HAS SOUS 1599749 HAS SOUPS 1599749 WITH SCORE 1602568.17
AT ITER 1003 NEW BEST:: SOT 12040593 SOS 2819170 HAS SOPS 2819170 HAS SOUS 1599027 HAS SOUPS 1599027 WITH SCORE 1601846.17
AT ITER 1016 NEW BEST:: SOT 12040527 SOS 2819086 HAS SOPS 2819086 HAS SOUS 1598943 HAS SOUPS 1598943 WITH SCORE 1601762.086
AT ITER 1023 NEW BEST:: SOT 12039984 SOS 2818543 HAS SOPS 2818543 HAS SOUS 1598400 HAS SOUPS 1598400 WITH SCORE 1601218.543
AT ITER 1036 NEW BEST:: SOT 12039956 SOS 2818487 HAS SOPS 2818487 HAS SOUS 1598344 HAS SOUPS 1598344 WITH SCORE 1601162.487
AT ITER 1048 NEW BEST:: SOT 12039842 SOS 2818373 HAS SOPS 2818373 HAS SOUS 1598230 HAS SOUPS 1598230 WITH SCORE 1601048.373
AT ITER 1051 NEW BEST:: SOT 12039683 SOS 2818214 HAS SOPS 2818214 HAS SOUS 1598071 HAS SOUPS 1598071 WITH SCORE 1600889.214
AT ITER 1076 NEW BEST:: SOT 12039262 SOS 2817372 HAS SOPS 2817372 HAS SOUS 1596916 HAS SOUPS 1596916 WITH SCORE 1599733.372
AT ITER 1077 NEW BEST:: SOT 12039163 SOS 2818055 HAS SOPS 2818055 HAS SOUS 1596717 HAS SOUPS 1596717 WITH SCORE 1599535.055
AT ITER 1078 NEW BEST:: SOT 12038846 SOS 2817738 HAS SOPS 2817738 HAS SOUS 1596400 HAS SOUPS 1596400 WITH SCORE 1599217.738
AT ITER 1080 NEW BEST:: SOT 12038846 SOS 2818331 HAS SOPS 2818331 HAS SOUS 1596399 HAS SOUPS 1596399 WITH SCORE 1599217.331
AT ITER 1085 NEW BEST:: SOT 12038846 SOS 2819254 HAS SOPS 2819254 HAS SOUS 1595935 HAS SOUPS 1595935 WITH SCORE 1598754.254
AT ITER 1108 NEW BEST:: SOT 12038159 SOS 2818567 HAS SOPS 2818567 HAS SOUS 1595248 HAS SOUPS 1595248 WITH SCORE 1598066.567
AT ITER 1112 NEW BEST:: SOT 12037542 SOS 2815482 HAS SOPS 2815482 HAS SOUS 1594014 HAS SOUPS 1594014 WITH SCORE 1596829.482
AT ITER 1118 NEW BEST:: SOT 12036530 SOS 2814325 HAS SOPS 2814325 HAS SOUS 1591388 HAS SOUPS 1591388 WITH SCORE 1594202.325
AT ITER 1128 NEW BEST:: SOT 12036319 SOS 2814532 HAS SOPS 2814532 HAS SOUS 1591176 HAS SOUPS 1591176 WITH SCORE 1593990.532
AT ITER 1153 NEW BEST:: SOT 12036519 SOS 2819989 HAS SOPS 2819989 HAS SOUS 1591012 HAS SOUPS 1591012 WITH SCORE 1593831.989
AT ITER 1163 NEW BEST:: SOT 12035834 SOS 2819828 HAS SOPS 2819828 HAS SOUS 1590326 HAS SOUPS 1590326 WITH SCORE 1593145.828
AT ITER 1201 NEW BEST:: SOT 12035821 SOS 2819685 HAS SOPS 2819685 HAS SOUS 1590300 HAS SOUPS 1590300 WITH SCORE 1593119.685
AT ITER 1207 NEW BEST:: SOT 12035239 SOS 2819103 HAS SOPS 2819103 HAS SOUS 1589718 HAS SOUPS 1589718 WITH SCORE 1592537.103
AT ITER 1213 NEW BEST:: SOT 12034561 SOS 2817747 HAS SOPS 2817747 HAS SOUS 1588362 HAS SOUPS 1588362 WITH SCORE 1591179.747
AT ITER 1253 NEW BEST:: SOT 12033910 SOS 2817313 HAS SOPS 2817313 HAS SOUS 1587928 HAS SOUPS 1587928 WITH SCORE 1590745.313
AT ITER 1257 NEW BEST:: SOT 12033781 SOS 2816905 HAS SOPS 2816905 HAS SOUS 1587520 HAS SOUPS 1587520 WITH SCORE 1590336.905
AT ITER 1259 NEW BEST:: SOT 12033564 SOS 2817118 HAS SOPS 2817118 HAS SOUS 1587085 HAS SOUPS 1587085 WITH SCORE 1589902.118
AT ITER 1267 NEW BEST:: SOT 12032854 SOS 2816471 HAS SOPS 2816471 HAS SOUS 1586438 HAS SOUPS 1586438 WITH SCORE 1589254.471
AT ITER 1274 NEW BEST:: SOT 12032418 SOS 2817923 HAS SOPS 2817923 HAS SOUS 1585565 HAS SOUPS 1585565 WITH SCORE 1588382.923
AT ITER 1283 NEW BEST:: SOT 12032357 SOS 2817801 HAS SOPS 2817801 HAS SOUS 1585265 HAS SOUPS 1585265 WITH SCORE 1588082.801
AT ITER 1297 NEW BEST:: SOT 12032357 SOS 2817783 HAS SOPS 2817783 HAS SOUS 1585247 HAS SOUPS 1585247 WITH SCORE 1588064.783
AT ITER 1311 NEW BEST:: SOT 12032029 SOS 2817838 HAS SOPS 2817838 HAS SOUS 1585156 HAS SOUPS 1585156 WITH SCORE 1587973.838
AT ITER 1321 NEW BEST:: SOT 12032029 SOS 2817904 HAS SOPS 2817904 HAS SOUS 1585155 HAS SOUPS 1585155 WITH SCORE 1587972.904
AT ITER 1326 NEW BEST:: SOT 12031921 SOS 2817796 HAS SOPS 2817796 HAS SOUS 1585155 HAS SOUPS 1585155 WITH SCORE 1587972.796
AT ITER 1329 NEW BEST:: SOT 12031921 SOS 2816497 HAS SOPS 2816497 HAS SOUS 1584722 HAS SOUPS 1584722 WITH SCORE 1587538.497
AT ITER 1337 NEW BEST:: SOT 12031704 SOS 2816707 HAS SOPS 2816707 HAS SOUS 1584503 HAS SOUPS 1584503 WITH SCORE 1587319.707
AT ITER 1387 NEW BEST:: SOT 12031704 SOS 2816291 HAS SOPS 2816291 HAS SOUS 1584295 HAS SOUPS 1584295 WITH SCORE 1587111.291
AT ITER 1399 NEW BEST:: SOT 12031680 SOS 2816288 HAS SOPS 2816288 HAS SOUS 1584294 HAS SOUPS 1584294 WITH SCORE 1587110.288
AT ITER 1411 NEW BEST:: SOT 12030668 SOS 2815562 HAS SOPS 2815562 HAS SOUS 1583567 HAS SOUPS 1583567 WITH SCORE 1586382.562
AT ITER 1439 NEW BEST:: SOT 12030668 SOS 2814368 HAS SOPS 2814368 HAS SOUS 1583169 HAS SOUPS 1583169 WITH SCORE 1585983.368
AT ITER 1443 NEW BEST:: SOT 12030424 SOS 2814368 HAS SOPS 2814368 HAS SOUS 1582681 HAS SOUPS 1582681 WITH SCORE 1585495.368
AT ITER 1445 NEW BEST:: SOT 12028688 SOS 2815858 HAS SOPS 2815858 HAS SOUS 1581791 HAS SOUPS 1581791 WITH SCORE 1584606.858
AT ITER 1471 NEW BEST:: SOT 12028252 SOS 2814374 HAS SOPS 2814374 HAS SOUS 1580244 HAS SOUPS 1580244 WITH SCORE 1583058.374
AT ITER 1478 NEW BEST:: SOT 12027370 SOS 2813492 HAS SOPS 2813492 HAS SOUS 1579362 HAS SOUPS 1579362 WITH SCORE 1582175.492
AT ITER 1512 NEW BEST:: SOT 12027032 SOS 2812410 HAS SOPS 2812410 HAS SOUS 1578655 HAS SOUPS 1578655 WITH SCORE 1581467.41
AT ITER 1564 NEW BEST:: SOT 12026453 SOS 2812011 HAS SOPS 2812011 HAS SOUS 1578268 HAS SOUPS 1578268 WITH SCORE 1581080.011
AT ITER 1634 NEW BEST:: SOT 12026452 SOS 2812009 HAS SOPS 2812009 HAS SOUS 1578266 HAS SOUPS 1578266 WITH SCORE 1581078.009
AT ITER 1646 NEW BEST:: SOT 12026452 SOS 2811940 HAS SOPS 2811940 HAS SOUS 1578197 HAS SOUPS 1578197 WITH SCORE 1581008.94
AT ITER 1652 NEW BEST:: SOT 12026239 SOS 2812153 HAS SOPS 2812153 HAS SOUS 1577984 HAS SOUPS 1577984 WITH SCORE 1580796.153
AT ITER 1673 NEW BEST:: SOT 12026239 SOS 2812147 HAS SOPS 2812147 HAS SOUS 1577981 HAS SOUPS 1577981 WITH SCORE 1580793.147
AT ITER 1684 NEW BEST:: SOT 12024856 SOS 2810776 HAS SOPS 2810776 HAS SOUS 1576610 HAS SOUPS 1576610 WITH SCORE 1579420.776
AT ITER 1728 NEW BEST:: SOT 12024329 SOS 2808141 HAS SOPS 2808141 HAS SOUS 1575556 HAS SOUPS 1575556 WITH SCORE 1578364.141
AT ITER 1732 NEW BEST:: SOT 12024328 SOS 2808139 HAS SOPS 2808139 HAS SOUS 1575554 HAS SOUPS 1575554 WITH SCORE 1578362.139
AT ITER 1751 NEW BEST:: SOT 12024221 SOS 2808926 HAS SOPS 2808926 HAS SOUS 1575487 HAS SOUPS 1575487 WITH SCORE 1578295.926
AT ITER 1781 NEW BEST:: SOT 12024221 SOS 2808970 HAS SOPS 2808970 HAS SOUS 1575485 HAS SOUPS 1575485 WITH SCORE 1578293.97
AT ITER 1804 NEW BEST:: SOT 12023489 SOS 2808398 HAS SOPS 2808398 HAS SOUS 1574913 HAS SOUPS 1574913 WITH SCORE 1577721.398
AT ITER 1841 NEW BEST:: SOT 12023489 SOS 2809006 HAS SOPS 2809006 HAS SOUS 1574912 HAS SOUPS 1574912 WITH SCORE 1577721.006
AT ITER 1848 NEW BEST:: SOT 12023290 SOS 2810410 HAS SOPS 2810410 HAS SOUS 1574798 HAS SOUPS 1574798 WITH SCORE 1577608.41
AT ITER 1852 NEW BEST:: SOT 12022695 SOS 2809930 HAS SOPS 2809930 HAS SOUS 1574318 HAS SOUPS 1574318 WITH SCORE 1577127.93
AT ITER 1880 NEW BEST:: SOT 12022512 SOS 2809564 HAS SOPS 2809564 HAS SOUS 1574134 HAS SOUPS 1574134 WITH SCORE 1576943.564
AT ITER 1881 NEW BEST:: SOT 12022834 SOS 2808920 HAS SOPS 2808920 HAS SOUS 1574134 HAS SOUPS 1574134 WITH SCORE 1576942.92
AT ITER 1908 NEW BEST:: SOT 12022832 SOS 2808916 HAS SOPS 2808916 HAS SOUS 1574130 HAS SOUPS 1574130 WITH SCORE 1576938.916
AT ITER 1922 NEW BEST:: SOT 12022739 SOS 2808950 HAS SOPS 2808950 HAS SOUS 1574099 HAS SOUPS 1574099 WITH SCORE 1576907.95
AT ITER 1923 NEW BEST:: SOT 12022721 SOS 2808914 HAS SOPS 2808914 HAS SOUS 1574063 HAS SOUPS 1574063 WITH SCORE 1576871.914
AT ITER 1937 NEW BEST:: SOT 12022345 SOS 2807274 HAS SOPS 2807274 HAS SOUS 1573311 HAS SOUPS 1573311 WITH SCORE 1576118.274
AT ITER 1982 NEW BEST:: SOT 12021754 SOS 2807273 HAS SOPS 2807273 HAS SOUS 1573310 HAS SOUPS 1573310 WITH SCORE 1576117.273
AT ITER 1993 NEW BEST:: SOT 12020970 SOS 2808057 HAS SOPS 2808057 HAS SOUS 1572380 HAS SOUPS 1572380 WITH SCORE 1575188.057
AT ITER 2019 NEW BEST:: SOT 12020970 SOS 2807952 HAS SOPS 2807952 HAS SOUS 1572275 HAS SOUPS 1572275 WITH SCORE 1575082.952
AT ITER 2043 NEW BEST:: SOT 12020970 SOS 2807952 HAS SOPS 2807952 HAS SOUS 1572252 HAS SOUPS 1572252 WITH SCORE 1575059.952
AT ITER 2058 NEW BEST:: SOT 12020728 SOS 2808087 HAS SOPS 2808087 HAS SOUS 1572171 HAS SOUPS 1572171 WITH SCORE 1574979.087
AT ITER 2062 NEW BEST:: SOT 12021157 SOS 2807057 HAS SOPS 2807057 HAS SOUS 1572135 HAS SOUPS 1572135 WITH SCORE 1574942.057
AT ITER 2078 NEW BEST:: SOT 12020349 SOS 2807499 HAS SOPS 2807499 HAS SOUS 1571393 HAS SOUPS 1571393 WITH SCORE 1574200.499
AT ITER 2131 NEW BEST:: SOT 12020169 SOS 2807958 HAS SOPS 2807958 HAS SOUS 1571213 HAS SOUPS 1571213 WITH SCORE 1574020.958
AT ITER 2141 NEW BEST:: SOT 12019849 SOS 2807638 HAS SOPS 2807638 HAS SOUS 1570893 HAS SOUPS 1570893 WITH SCORE 1573700.638
AT ITER 2147 NEW BEST:: SOT 12019734 SOS 2806656 HAS SOPS 2806656 HAS SOUS 1570402 HAS SOUPS 1570402 WITH SCORE 1573208.656
AT ITER 2149 NEW BEST:: SOT 12019038 SOS 2801160 HAS SOPS 2801160 HAS SOUS 1569193 HAS SOUPS 1569193 WITH SCORE 1571994.16
AT ITER 2153 NEW BEST:: SOT 12019235 SOS 2801554 HAS SOPS 2801554 HAS SOUS 1568412 HAS SOUPS 1568412 WITH SCORE 1571213.554
AT ITER 2172 NEW BEST:: SOT 12019509 SOS 2802872 HAS SOPS 2802872 HAS SOUS 1568253 HAS SOUPS 1568253 WITH SCORE 1571055.872
AT ITER 2213 NEW BEST:: SOT 12019509 SOS 2802872 HAS SOPS 2802872 HAS SOUS 1568252 HAS SOUPS 1568252 WITH SCORE 1571054.872
AT ITER 2236 NEW BEST:: SOT 12019509 SOS 2802872 HAS SOPS 2802872 HAS SOUS 1568251 HAS SOUPS 1568251 WITH SCORE 1571053.872
AT ITER 2239 NEW BEST:: SOT 12018299 SOS 2801992 HAS SOPS 2801992 HAS SOUS 1568031 HAS SOUPS 1568031 WITH SCORE 1570832.992
AT ITER 2266 NEW BEST:: SOT 12017863 SOS 2803354 HAS SOPS 2803354 HAS SOUS 1567158 HAS SOUPS 1567158 WITH SCORE 1569961.354
AT ITER 2276 NEW BEST:: SOT 12017654 SOS 2803901 HAS SOPS 2803901 HAS SOUS 1566739 HAS SOUPS 1566739 WITH SCORE 1569542.901
AT ITER 2295 NEW BEST:: SOT 12017654 SOS 2802533 HAS SOPS 2802533 HAS SOUS 1566739 HAS SOUPS 1566739 WITH SCORE 1569541.533
AT ITER 2299 NEW BEST:: SOT 12018035 SOS 2803295 HAS SOPS 2803295 HAS SOUS 1566479 HAS SOUPS 1566479 WITH SCORE 1569282.295
AT ITER 2312 NEW BEST:: SOT 12018034 SOS 2803293 HAS SOPS 2803293 HAS SOUS 1566477 HAS SOUPS 1566477 WITH SCORE 1569280.293
AT ITER 2316 NEW BEST:: SOT 12018060 SOS 2803345 HAS SOPS 2803345 HAS SOUS 1566429 HAS SOUPS 1566429 WITH SCORE 1569232.345
AT ITER 2318 NEW BEST:: SOT 12018060 SOS 2803345 HAS SOPS 2803345 HAS SOUS 1566428 HAS SOUPS 1566428 WITH SCORE 1569231.345
AT ITER 2330 NEW BEST:: SOT 12017957 SOS 2803139 HAS SOPS 2803139 HAS SOUS 1566222 HAS SOUPS 1566222 WITH SCORE 1569025.139
AT ITER 2346 NEW BEST:: SOT 12017956 SOS 2803137 HAS SOPS 2803137 HAS SOUS 1566220 HAS SOUPS 1566220 WITH SCORE 1569023.137
AT ITER 2354 NEW BEST:: SOT 12017736 SOS 2802917 HAS SOPS 2802917 HAS SOUS 1566220 HAS SOUPS 1566220 WITH SCORE 1569022.917
AT ITER 2364 NEW BEST:: SOT 12017195 SOS 2802125 HAS SOPS 2802125 HAS SOUS 1565389 HAS SOUPS 1565389 WITH SCORE 1568191.125
AT ITER 2374 NEW BEST:: SOT 12017195 SOS 2802050 HAS SOPS 2802050 HAS SOUS 1565314 HAS SOUPS 1565314 WITH SCORE 1568116.05
AT ITER 2382 NEW BEST:: SOT 12017195 SOS 2802196 HAS SOPS 2802196 HAS SOUS 1565312 HAS SOUPS 1565312 WITH SCORE 1568114.196
AT ITER 2386 NEW BEST:: SOT 12017162 SOS 2802994 HAS SOPS 2802994 HAS SOUS 1565279 HAS SOUPS 1565279 WITH SCORE 1568081.994
AT ITER 2404 NEW BEST:: SOT 12016718 SOS 2807335 HAS SOPS 2807335 HAS SOUS 1564972 HAS SOUPS 1564972 WITH SCORE 1567779.335
AT ITER 2425 NEW BEST:: SOT 12015798 SOS 2806875 HAS SOPS 2806875 HAS SOUS 1564512 HAS SOUPS 1564512 WITH SCORE 1567318.875
AT ITER 2445 NEW BEST:: SOT 12015658 SOS 2807579 HAS SOPS 2807579 HAS SOUS 1564372 HAS SOUPS 1564372 WITH SCORE 1567179.579
AT ITER 2469 NEW BEST:: SOT 12015658 SOS 2807486 HAS SOPS 2807486 HAS SOUS 1564279 HAS SOUPS 1564279 WITH SCORE 1567086.486
AT ITER 2482 NEW BEST:: SOT 12015084 SOS 2805906 HAS SOPS 2805906 HAS SOUS 1564121 HAS SOUPS 1564121 WITH SCORE 1566926.906
AT ITER 2530 NEW BEST:: SOT 12014069 SOS 2804929 HAS SOPS 2804929 HAS SOUS 1563144 HAS SOUPS 1563144 WITH SCORE 1565948.929
AT ITER 2539 NEW BEST:: SOT 12013342 SOS 2804202 HAS SOPS 2804202 HAS SOUS 1562417 HAS SOUPS 1562417 WITH SCORE 1565221.202
AT ITER 2586 NEW BEST:: SOT 12012998 SOS 2804045 HAS SOPS 2804045 HAS SOUS 1562262 HAS SOUPS 1562262 WITH SCORE 1565066.045
AT ITER 2595 NEW BEST:: SOT 12012856 SOS 2804516 HAS SOPS 2804516 HAS SOUS 1562218 HAS SOUPS 1562218 WITH SCORE 1565022.516
AT ITER 2605 NEW BEST:: SOT 12012386 SOS 2804044 HAS SOPS 2804044 HAS SOUS 1561746 HAS SOUPS 1561746 WITH SCORE 1564550.044
AT ITER 2609 NEW BEST:: SOT 12010322 SOS 2804537 HAS SOPS 2804537 HAS SOUS 1560062 HAS SOUPS 1560062 WITH SCORE 1562866.537
AT ITER 2610 NEW BEST:: SOT 12009939 SOS 2804154 HAS SOPS 2804154 HAS SOUS 1559679 HAS SOUPS 1559679 WITH SCORE 1562483.154
AT ITER 2615 NEW BEST:: SOT 12009939 SOS 2804075 HAS SOPS 2804075 HAS SOUS 1559679 HAS SOUPS 1559679 WITH SCORE 1562483.075
AT ITER 2670 NEW BEST:: SOT 12009846 SOS 2803889 HAS SOPS 2803889 HAS SOUS 1559493 HAS SOUPS 1559493 WITH SCORE 1562296.889
AT ITER 2677 NEW BEST:: SOT 12009683 SOS 2803563 HAS SOPS 2803563 HAS SOUS 1559330 HAS SOUPS 1559330 WITH SCORE 1562133.563
AT ITER 2693 NEW BEST:: SOT 12009399 SOS 2804131 HAS SOPS 2804131 HAS SOUS 1559188 HAS SOUPS 1559188 WITH SCORE 1561992.131
AT ITER 2716 NEW BEST:: SOT 12009399 SOS 2803294 HAS SOPS 2803294 HAS SOUS 1558909 HAS SOUPS 1558909 WITH SCORE 1561712.294
AT ITER 2717 NEW BEST:: SOT 12008471 SOS 2802112 HAS SOPS 2802112 HAS SOUS 1557644 HAS SOUPS 1557644 WITH SCORE 1560446.112
AT ITER 2726 NEW BEST:: SOT 12008320 SOS 2801810 HAS SOPS 2801810 HAS SOUS 1557342 HAS SOUPS 1557342 WITH SCORE 1560143.81
AT ITER 2841 NEW BEST:: SOT 12007832 SOS 2801318 HAS SOPS 2801318 HAS SOUS 1556853 HAS SOUPS 1556853 WITH SCORE 1559654.318
AT ITER 2863 NEW BEST:: SOT 12007823 SOS 2801219 HAS SOPS 2801219 HAS SOUS 1556835 HAS SOUPS 1556835 WITH SCORE 1559636.219
AT ITER 2900 NEW BEST:: SOT 12007754 SOS 2802599 HAS SOPS 2802599 HAS SOUS 1556800 HAS SOUPS 1556800 WITH SCORE 1559602.599
AT ITER 2905 NEW BEST:: SOT 12007573 SOS 2802442 HAS SOPS 2802442 HAS SOUS 1556619 HAS SOUPS 1556619 WITH SCORE 1559421.442
AT ITER 2917 NEW BEST:: SOT 12007573 SOS 2802442 HAS SOPS 2802442 HAS SOUS 1556618 HAS SOUPS 1556618 WITH SCORE 1559420.442
AT ITER 2926 NEW BEST:: SOT 12007573 SOS 2801984 HAS SOPS 2801984 HAS SOUS 1556522 HAS SOUPS 1556522 WITH SCORE 1559323.984
AT ITER 2962 NEW BEST:: SOT 12006840 SOS 2794227 HAS SOPS 2794227 HAS SOUS 1555078 HAS SOUPS 1555078 WITH SCORE 1557872.227
AT ITER 2972 NEW BEST:: SOT 12006430 SOS 2793813 HAS SOPS 2793813 HAS SOUS 1554667 HAS SOUPS 1554667 WITH SCORE 1557460.813
AT ITER 2987 NEW BEST:: SOT 12006049 SOS 2793803 HAS SOPS 2793803 HAS SOUS 1554528 HAS SOUPS 1554528 WITH SCORE 1557321.803
AT ITER 2994 NEW BEST:: SOT 12006435 SOS 2792883 HAS SOPS 2792883 HAS SOUS 1554351 HAS SOUPS 1554351 WITH SCORE 1557143.883
AT ITER 3011 NEW BEST:: SOT 12006229 SOS 2791231 HAS SOPS 2791231 HAS SOUS 1553938 HAS SOUPS 1553938 WITH SCORE 1556729.231
AT ITER 3020 NEW BEST:: SOT 12006228 SOS 2792515 HAS SOPS 2792515 HAS SOUS 1553935 HAS SOUPS 1553935 WITH SCORE 1556727.515
AT ITER 3056 NEW BEST:: SOT 12006228 SOS 2792339 HAS SOPS 2792339 HAS SOUS 1553759 HAS SOUPS 1553759 WITH SCORE 1556551.339
AT ITER 3129 NEW BEST:: SOT 12006227 SOS 2792338 HAS SOPS 2792338 HAS SOUS 1553758 HAS SOUPS 1553758 WITH SCORE 1556550.338
AT ITER 3131 NEW BEST:: SOT 12005095 SOS 2792856 HAS SOPS 2792856 HAS SOUS 1552539 HAS SOUPS 1552539 WITH SCORE 1555331.856
AT ITER 3135 NEW BEST:: SOT 12004860 SOS 2793961 HAS SOPS 2793961 HAS SOUS 1552304 HAS SOUPS 1552304 WITH SCORE 1555097.961
AT ITER 3137 NEW BEST:: SOT 12004723 SOS 2793958 HAS SOPS 2793958 HAS SOUS 1552303 HAS SOUPS 1552303 WITH SCORE 1555096.958
AT ITER 3165 NEW BEST:: SOT 12004548 SOS 2794130 HAS SOPS 2794130 HAS SOUS 1552127 HAS SOUPS 1552127 WITH SCORE 1554921.13
AT ITER 3218 NEW BEST:: SOT 12004507 SOS 2794048 HAS SOPS 2794048 HAS SOUS 1552086 HAS SOUPS 1552086 WITH SCORE 1554880.048
AT ITER 3225 NEW BEST:: SOT 12004507 SOS 2794047 HAS SOPS 2794047 HAS SOUS 1552085 HAS SOUPS 1552085 WITH SCORE 1554879.047
AT ITER 3230 NEW BEST:: SOT 12004507 SOS 2793627 HAS SOPS 2793627 HAS SOUS 1551945 HAS SOUPS 1551945 WITH SCORE 1554738.627
AT ITER 3323 NEW BEST:: SOT 12004507 SOS 2792250 HAS SOPS 2792250 HAS SOUS 1551945 HAS SOUPS 1551945 WITH SCORE 1554737.25
AT ITER 3327 NEW BEST:: SOT 12003843 SOS 2790922 HAS SOPS 2790922 HAS SOUS 1551085 HAS SOUPS 1551085 WITH SCORE 1553875.922
AT ITER 3338 NEW BEST:: SOT 12003344 SOS 2789924 HAS SOPS 2789924 HAS SOUS 1550087 HAS SOUPS 1550087 WITH SCORE 1552876.924
AT ITER 3365 NEW BEST:: SOT 12003029 SOS 2789609 HAS SOPS 2789609 HAS SOUS 1550086 HAS SOUPS 1550086 WITH SCORE 1552875.609
AT ITER 3374 NEW BEST:: SOT 12002665 SOS 2789245 HAS SOPS 2789245 HAS SOUS 1549722 HAS SOUPS 1549722 WITH SCORE 1552511.245
AT ITER 3377 NEW BEST:: SOT 12002479 SOS 2789652 HAS SOPS 2789652 HAS SOUS 1549349 HAS SOUPS 1549349 WITH SCORE 1552138.652
AT ITER 3415 NEW BEST:: SOT 12002479 SOS 2789124 HAS SOPS 2789124 HAS SOUS 1549075 HAS SOUPS 1549075 WITH SCORE 1551864.124
AT ITER 3419 NEW BEST:: SOT 12002372 SOS 2788910 HAS SOPS 2788910 HAS SOUS 1548968 HAS SOUPS 1548968 WITH SCORE 1551756.91
AT ITER 3423 NEW BEST:: SOT 12002261 SOS 2788907 HAS SOPS 2788907 HAS SOUS 1548967 HAS SOUPS 1548967 WITH SCORE 1551755.907
AT ITER 3437 NEW BEST:: SOT 12001831 SOS 2788375 HAS SOPS 2788375 HAS SOUS 1548435 HAS SOUPS 1548435 WITH SCORE 1551223.375
AT ITER 3443 NEW BEST:: SOT 12001784 SOS 2788281 HAS SOPS 2788281 HAS SOUS 1548341 HAS SOUPS 1548341 WITH SCORE 1551129.281
AT ITER 3456 NEW BEST:: SOT 12001784 SOS 2788197 HAS SOPS 2788197 HAS SOUS 1548299 HAS SOUPS 1548299 WITH SCORE 1551087.197
AT ITER 3529 NEW BEST:: SOT 12001599 SOS 2787272 HAS SOPS 2787272 HAS SOUS 1547929 HAS SOUPS 1547929 WITH SCORE 1550716.272
AT ITER 3554 NEW BEST:: SOT 12001334 SOS 2787410 HAS SOPS 2787410 HAS SOUS 1547454 HAS SOUPS 1547454 WITH SCORE 1550241.41
AT ITER 3561 NEW BEST:: SOT 12001334 SOS 2786792 HAS SOPS 2786792 HAS SOUS 1547454 HAS SOUPS 1547454 WITH SCORE 1550240.792
AT ITER 3575 NEW BEST:: SOT 12001134 SOS 2786420 HAS SOPS 2786420 HAS SOUS 1547082 HAS SOUPS 1547082 WITH SCORE 1549868.42
AT ITER 3586 NEW BEST:: SOT 12000942 SOS 2786036 HAS SOPS 2786036 HAS SOUS 1545796 HAS SOUPS 1545796 WITH SCORE 1548582.036
AT ITER 3591 NEW BEST:: SOT 12001010 SOS 2790041 HAS SOPS 2790041 HAS SOUS 1545500 HAS SOUPS 1545500 WITH SCORE 1548290.041
AT ITER 3627 NEW BEST:: SOT 12000688 SOS 2791495 HAS SOPS 2791495 HAS SOUS 1545430 HAS SOUPS 1545430 WITH SCORE 1548221.495
AT ITER 3629 NEW BEST:: SOT 12000537 SOS 2791193 HAS SOPS 2791193 HAS SOUS 1545279 HAS SOUPS 1545279 WITH SCORE 1548070.193
AT ITER 3655 NEW BEST:: SOT 12000537 SOS 2790726 HAS SOPS 2790726 HAS SOUS 1544884 HAS SOUPS 1544884 WITH SCORE 1547674.726
AT ITER 3658 NEW BEST:: SOT 12000303 SOS 2790258 HAS SOPS 2790258 HAS SOUS 1544416 HAS SOUPS 1544416 WITH SCORE 1547206.258
AT ITER 3719 NEW BEST:: SOT 11999472 SOS 2789841 HAS SOPS 2789841 HAS SOUS 1543999 HAS SOUPS 1543999 WITH SCORE 1546788.841
AT ITER 3748 NEW BEST:: SOT 11999116 SOS 2789927 HAS SOPS 2789927 HAS SOUS 1543896 HAS SOUPS 1543896 WITH SCORE 1546685.927
AT ITER 3806 NEW BEST:: SOT 11999077 SOS 2788052 HAS SOPS 2788052 HAS SOUS 1543336 HAS SOUPS 1543336 WITH SCORE 1546124.052
AT ITER 3828 NEW BEST:: SOT 11999004 SOS 2787906 HAS SOPS 2787906 HAS SOUS 1543190 HAS SOUPS 1543190 WITH SCORE 1545977.906
AT ITER 3851 NEW BEST:: SOT 11999004 SOS 2787039 HAS SOPS 2787039 HAS SOUS 1542901 HAS SOUPS 1542901 WITH SCORE 1545688.039
AT ITER 3889 NEW BEST:: SOT 11998997 SOS 2787025 HAS SOPS 2787025 HAS SOUS 1542887 HAS SOUPS 1542887 WITH SCORE 1545674.025
AT ITER 3918 NEW BEST:: SOT 11998995 SOS 2786653 HAS SOPS 2786653 HAS SOUS 1542883 HAS SOUPS 1542883 WITH SCORE 1545669.653
AT ITER 3936 NEW BEST:: SOT 11998649 SOS 2786231 HAS SOPS 2786231 HAS SOUS 1542461 HAS SOUPS 1542461 WITH SCORE 1545247.231
AT ITER 3939 NEW BEST:: SOT 11998649 SOS 2785595 HAS SOPS 2785595 HAS SOUS 1542249 HAS SOUPS 1542249 WITH SCORE 1545034.595
AT ITER 3984 NEW BEST:: SOT 11998613 SOS 2785523 HAS SOPS 2785523 HAS SOUS 1542210 HAS SOUPS 1542210 WITH SCORE 1544995.523
AT ITER 4002 NEW BEST:: SOT 11998510 SOS 2783861 HAS SOPS 2783861 HAS SOUS 1541864 HAS SOUPS 1541864 WITH SCORE 1544647.861
AT ITER 4006 NEW BEST:: SOT 11997604 SOS 2783408 HAS SOPS 2783408 HAS SOUS 1541411 HAS SOUPS 1541411 WITH SCORE 1544194.408
AT ITER 4031 NEW BEST:: SOT 11997757 SOS 2782932 HAS SOPS 2782932 HAS SOUS 1541249 HAS SOUPS 1541249 WITH SCORE 1544031.932
AT ITER 4038 NEW BEST:: SOT 11997801 SOS 2782888 HAS SOPS 2782888 HAS SOUS 1541205 HAS SOUPS 1541205 WITH SCORE 1543987.888
AT ITER 4077 NEW BEST:: SOT 11997854 SOS 2782782 HAS SOPS 2782782 HAS SOUS 1541205 HAS SOUPS 1541205 WITH SCORE 1543987.782
AT ITER 4078 NEW BEST:: SOT 11997894 SOS 2782862 HAS SOPS 2782862 HAS SOUS 1540537 HAS SOUPS 1540537 WITH SCORE 1543319.862
AT ITER 4134 NEW BEST:: SOT 11997435 SOS 2781858 HAS SOPS 2781858 HAS SOUS 1539533 HAS SOUPS 1539533 WITH SCORE 1542314.858
AT ITER 4156 NEW BEST:: SOT 11997434 SOS 2781856 HAS SOPS 2781856 HAS SOUS 1539531 HAS SOUPS 1539531 WITH SCORE 1542312.856
AT ITER 4178 NEW BEST:: SOT 11997481 SOS 2781950 HAS SOPS 2781950 HAS SOUS 1539010 HAS SOUPS 1539010 WITH SCORE 1541791.95
AT ITER 4181 NEW BEST:: SOT 11997462 SOS 2781912 HAS SOPS 2781912 HAS SOUS 1538972 HAS SOUPS 1538972 WITH SCORE 1541753.912
AT ITER 4208 NEW BEST:: SOT 11997462 SOS 2782901 HAS SOPS 2782901 HAS SOUS 1538971 HAS SOUPS 1538971 WITH SCORE 1541753.901
AT ITER 4237 NEW BEST:: SOT 11997462 SOS 2783847 HAS SOPS 2783847 HAS SOUS 1538969 HAS SOUPS 1538969 WITH SCORE 1541752.847
AT ITER 4240 NEW BEST:: SOT 11996877 SOS 2783299 HAS SOPS 2783299 HAS SOUS 1538421 HAS SOUPS 1538421 WITH SCORE 1541204.299
AT ITER 4246 NEW BEST:: SOT 11996877 SOS 2783171 HAS SOPS 2783171 HAS SOUS 1538357 HAS SOUPS 1538357 WITH SCORE 1541140.171
AT ITER 4248 NEW BEST:: SOT 11996877 SOS 2781944 HAS SOPS 2781944 HAS SOUS 1538356 HAS SOUPS 1538356 WITH SCORE 1541137.944
AT ITER 4256 NEW BEST:: SOT 11996806 SOS 2780994 HAS SOPS 2780994 HAS SOUS 1537881 HAS SOUPS 1537881 WITH SCORE 1540661.994
AT ITER 4275 NEW BEST:: SOT 11996652 SOS 2780913 HAS SOPS 2780913 HAS SOUS 1537727 HAS SOUPS 1537727 WITH SCORE 1540507.913
AT ITER 4294 NEW BEST:: SOT 11994393 SOS 2778403 HAS SOPS 2778403 HAS SOUS 1537259 HAS SOUPS 1537259 WITH SCORE 1540037.403
AT ITER 4329 NEW BEST:: SOT 11994313 SOS 2778315 HAS SOPS 2778315 HAS SOUS 1537083 HAS SOUPS 1537083 WITH SCORE 1539861.315
AT ITER 4333 NEW BEST:: SOT 11994313 SOS 2778315 HAS SOPS 2778315 HAS SOUS 1537027 HAS SOUPS 1537027 WITH SCORE 1539805.315
AT ITER 4370 NEW BEST:: SOT 11994308 SOS 2778300 HAS SOPS 2778300 HAS SOUS 1537017 HAS SOUPS 1537017 WITH SCORE 1539795.3
AT ITER 4386 NEW BEST:: SOT 11994174 SOS 2778032 HAS SOPS 2778032 HAS SOUS 1536749 HAS SOUPS 1536749 WITH SCORE 1539527.032
AT ITER 4410 NEW BEST:: SOT 11994305 SOS 2777742 HAS SOPS 2777742 HAS SOUS 1536604 HAS SOUPS 1536604 WITH SCORE 1539381.742
AT ITER 4422 NEW BEST:: SOT 11994293 SOS 2777730 HAS SOPS 2777730 HAS SOUS 1536590 HAS SOUPS 1536590 WITH SCORE 1539367.73
AT ITER 4427 NEW BEST:: SOT 11993916 SOS 2777270 HAS SOPS 2777270 HAS SOUS 1536130 HAS SOUPS 1536130 WITH SCORE 1538907.27
AT ITER 4435 NEW BEST:: SOT 11993916 SOS 2777563 HAS SOPS 2777563 HAS SOUS 1536129 HAS SOUPS 1536129 WITH SCORE 1538906.563
AT ITER 4438 NEW BEST:: SOT 11993915 SOS 2777561 HAS SOPS 2777561 HAS SOUS 1536127 HAS SOUPS 1536127 WITH SCORE 1538904.561
AT ITER 4465 NEW BEST:: SOT 11993663 SOS 2777057 HAS SOPS 2777057 HAS SOUS 1535623 HAS SOUPS 1535623 WITH SCORE 1538400.057
AT ITER 4479 NEW BEST:: SOT 11993423 SOS 2776657 HAS SOPS 2776657 HAS SOUS 1535383 HAS SOUPS 1535383 WITH SCORE 1538159.657
AT ITER 4496 NEW BEST:: SOT 11993453 SOS 2776717 HAS SOPS 2776717 HAS SOUS 1535102 HAS SOUPS 1535102 WITH SCORE 1537878.717
AT ITER 4510 NEW BEST:: SOT 11993429 SOS 2776690 HAS SOPS 2776690 HAS SOUS 1535077 HAS SOUPS 1535077 WITH SCORE 1537853.69
AT ITER 4523 NEW BEST:: SOT 11993502 SOS 2776836 HAS SOPS 2776836 HAS SOUS 1534863 HAS SOUPS 1534863 WITH SCORE 1537639.836
AT ITER 4526 NEW BEST:: SOT 11993134 SOS 2775490 HAS SOPS 2775490 HAS SOUS 1534039 HAS SOUPS 1534039 WITH SCORE 1536814.49
AT ITER 4536 NEW BEST:: SOT 11993134 SOS 2776485 HAS SOPS 2776485 HAS SOUS 1534038 HAS SOUPS 1534038 WITH SCORE 1536814.485
AT ITER 4544 NEW BEST:: SOT 11993071 SOS 2776359 HAS SOPS 2776359 HAS SOUS 1533912 HAS SOUPS 1533912 WITH SCORE 1536688.359
AT ITER 4557 NEW BEST:: SOT 11992589 SOS 2776302 HAS SOPS 2776302 HAS SOUS 1533791 HAS SOUPS 1533791 WITH SCORE 1536567.302
AT ITER 4563 NEW BEST:: SOT 11992589 SOS 2776206 HAS SOPS 2776206 HAS SOUS 1533695 HAS SOUPS 1533695 WITH SCORE 1536471.206
AT ITER 4568 NEW BEST:: SOT 11992250 SOS 2773782 HAS SOPS 2773782 HAS SOUS 1533211 HAS SOUPS 1533211 WITH SCORE 1535984.782
AT ITER 4631 NEW BEST:: SOT 11992232 SOS 2773746 HAS SOPS 2773746 HAS SOUS 1532869 HAS SOUPS 1532869 WITH SCORE 1535642.746
AT ITER 4653 NEW BEST:: SOT 11992351 SOS 2773724 HAS SOPS 2773724 HAS SOUS 1532848 HAS SOUPS 1532848 WITH SCORE 1535621.724
AT ITER 4674 NEW BEST:: SOT 11991868 SOS 2773078 HAS SOPS 2773078 HAS SOUS 1532352 HAS SOUPS 1532352 WITH SCORE 1535125.078
AT ITER 4676 NEW BEST:: SOT 11991532 SOS 2772406 HAS SOPS 2772406 HAS SOUS 1531680 HAS SOUPS 1531680 WITH SCORE 1534452.406
AT ITER 4678 NEW BEST:: SOT 11991532 SOS 2772406 HAS SOPS 2772406 HAS SOUS 1531146 HAS SOUPS 1531146 WITH SCORE 1533918.406
AT ITER 4721 NEW BEST:: SOT 11991542 SOS 2772386 HAS SOPS 2772386 HAS SOUS 1531136 HAS SOUPS 1531136 WITH SCORE 1533908.386
AT ITER 4735 NEW BEST:: SOT 11990846 SOS 2771476 HAS SOPS 2771476 HAS SOUS 1530387 HAS SOUPS 1530387 WITH SCORE 1533158.476
AT ITER 4785 NEW BEST:: SOT 11990846 SOS 2771480 HAS SOPS 2771480 HAS SOUS 1530386 HAS SOUPS 1530386 WITH SCORE 1533157.48
AT ITER 4796 NEW BEST:: SOT 11991218 SOS 2772224 HAS SOPS 2772224 HAS SOUS 1530197 HAS SOUPS 1530197 WITH SCORE 1532969.224
AT ITER 4797 NEW BEST:: SOT 11991218 SOS 2773147 HAS SOPS 2773147 HAS SOUS 1530195 HAS SOUPS 1530195 WITH SCORE 1532968.147
AT ITER 4835 NEW BEST:: SOT 11991016 SOS 2772945 HAS SOPS 2772945 HAS SOUS 1529993 HAS SOUPS 1529993 WITH SCORE 1532765.945
AT ITER 4857 NEW BEST:: SOT 11991016 SOS 2772944 HAS SOPS 2772944 HAS SOUS 1529991 HAS SOUPS 1529991 WITH SCORE 1532763.944
AT ITER 4864 NEW BEST:: SOT 11990815 SOS 2774351 HAS SOPS 2774351 HAS SOUS 1529589 HAS SOUPS 1529589 WITH SCORE 1532363.351
AT ITER 4882 NEW BEST:: SOT 11990745 SOS 2774211 HAS SOPS 2774211 HAS SOUS 1529491 HAS SOUPS 1529491 WITH SCORE 1532265.211
AT ITER 4896 NEW BEST:: SOT 11990700 SOS 2774381 HAS SOPS 2774381 HAS SOUS 1529482 HAS SOUPS 1529482 WITH SCORE 1532256.381
AT ITER 4906 NEW BEST:: SOT 11990669 SOS 2774371 HAS SOPS 2774371 HAS SOUS 1529481 HAS SOUPS 1529481 WITH SCORE 1532255.371
AT ITER 4919 NEW BEST:: SOT 11990533 SOS 2774303 HAS SOPS 2774303 HAS SOUS 1529413 HAS SOUPS 1529413 WITH SCORE 1532187.303
AT ITER 4976 NEW BEST:: SOT 11990504 SOS 2774245 HAS SOPS 2774245 HAS SOUS 1529384 HAS SOUPS 1529384 WITH SCORE 1532158.245
AT ITER 4997 NEW BEST:: SOT 11990476 SOS 2774189 HAS SOPS 2774189 HAS SOUS 1529356 HAS SOUPS 1529356 WITH SCORE 1532130.189
AT ITER 5008 NEW BEST:: SOT 11990476 SOS 2774185 HAS SOPS 2774185 HAS SOUS 1529355 HAS SOUPS 1529355 WITH SCORE 1532129.185
AT ITER 5033 NEW BEST:: SOT 11990476 SOS 2773729 HAS SOPS 2773729 HAS SOUS 1529203 HAS SOUPS 1529203 WITH SCORE 1531976.729
AT ITER 5068 NEW BEST:: SOT 11990412 SOS 2773697 HAS SOPS 2773697 HAS SOUS 1529138 HAS SOUPS 1529138 WITH SCORE 1531911.697
AT ITER 5129 NEW BEST:: SOT 11990412 SOS 2772713 HAS SOPS 2772713 HAS SOUS 1528810 HAS SOUPS 1528810 WITH SCORE 1531582.713
AT ITER 5164 NEW BEST:: SOT 11990421 SOS 2773703 HAS SOPS 2773703 HAS SOUS 1528720 HAS SOUPS 1528720 WITH SCORE 1531493.703
AT ITER 5171 NEW BEST:: SOT 11990421 SOS 2773703 HAS SOPS 2773703 HAS SOUS 1528667 HAS SOUPS 1528667 WITH SCORE 1531440.703
AT ITER 5173 NEW BEST:: SOT 11990421 SOS 2773703 HAS SOPS 2773703 HAS SOUS 1528666 HAS SOUPS 1528666 WITH SCORE 1531439.703
AT ITER 5183 NEW BEST:: SOT 11989896 SOS 2773178 HAS SOPS 2773178 HAS SOUS 1528141 HAS SOUPS 1528141 WITH SCORE 1530914.178
AT ITER 5202 NEW BEST:: SOT 11989896 SOS 2773177 HAS SOPS 2773177 HAS SOUS 1528139 HAS SOUPS 1528139 WITH SCORE 1530912.177
AT ITER 5208 NEW BEST:: SOT 11989926 SOS 2773066 HAS SOPS 2773066 HAS SOUS 1528028 HAS SOUPS 1528028 WITH SCORE 1530801.066
AT ITER 5252 NEW BEST:: SOT 11989875 SOS 2773423 HAS SOPS 2773423 HAS SOUS 1527977 HAS SOUPS 1527977 WITH SCORE 1530750.423
AT ITER 5265 NEW BEST:: SOT 11989664 SOS 2773001 HAS SOPS 2773001 HAS SOUS 1527555 HAS SOUPS 1527555 WITH SCORE 1530328.001
AT ITER 5292 NEW BEST:: SOT 11989251 SOS 2773506 HAS SOPS 2773506 HAS SOUS 1527232 HAS SOUPS 1527232 WITH SCORE 1530005.506
AT ITER 5296 NEW BEST:: SOT 11989310 SOS 2775464 HAS SOPS 2775464 HAS SOUS 1527204 HAS SOUPS 1527204 WITH SCORE 1529979.464
AT ITER 5303 NEW BEST:: SOT 11989310 SOS 2774321 HAS SOPS 2774321 HAS SOUS 1527077 HAS SOUPS 1527077 WITH SCORE 1529851.321
AT ITER 5360 NEW BEST:: SOT 11989310 SOS 2773790 HAS SOPS 2773790 HAS SOUS 1526546 HAS SOUPS 1526546 WITH SCORE 1529319.79
AT ITER 5374 NEW BEST:: SOT 11988588 SOS 2771582 HAS SOPS 2771582 HAS SOUS 1525483 HAS SOUPS 1525483 WITH SCORE 1528254.582
AT ITER 5375 NEW BEST:: SOT 11988459 SOS 2771324 HAS SOPS 2771324 HAS SOUS 1525225 HAS SOUPS 1525225 WITH SCORE 1527996.324
AT ITER 5379 NEW BEST:: SOT 11988459 SOS 2770016 HAS SOPS 2770016 HAS SOUS 1525225 HAS SOUPS 1525225 WITH SCORE 1527995.016
AT ITER 5414 NEW BEST:: SOT 11988434 SOS 2770016 HAS SOPS 2770016 HAS SOUS 1525200 HAS SOUPS 1525200 WITH SCORE 1527970.016
AT ITER 5447 NEW BEST:: SOT 11988106 SOS 2769711 HAS SOPS 2769711 HAS SOUS 1524872 HAS SOUPS 1524872 WITH SCORE 1527641.711
AT ITER 5449 NEW BEST:: SOT 11988064 SOS 2769627 HAS SOPS 2769627 HAS SOUS 1524788 HAS SOUPS 1524788 WITH SCORE 1527557.627
AT ITER 5452 NEW BEST:: SOT 11987349 SOS 2769079 HAS SOPS 2769079 HAS SOUS 1524160 HAS SOUPS 1524160 WITH SCORE 1526929.079
AT ITER 5470 NEW BEST:: SOT 11986803 SOS 2768533 HAS SOPS 2768533 HAS SOUS 1523614 HAS SOUPS 1523614 WITH SCORE 1526382.533
AT ITER 5490 NEW BEST:: SOT 11986518 SOS 2767963 HAS SOPS 2767963 HAS SOUS 1523044 HAS SOUPS 1523044 WITH SCORE 1525811.963
AT ITER 5505 NEW BEST:: SOT 11986518 SOS 2768267 HAS SOPS 2768267 HAS SOUS 1522943 HAS SOUPS 1522943 WITH SCORE 1525711.267
AT ITER 5524 NEW BEST:: SOT 11986518 SOS 2768267 HAS SOPS 2768267 HAS SOUS 1522758 HAS SOUPS 1522758 WITH SCORE 1525526.267
AT ITER 5537 NEW BEST:: SOT 11986071 SOS 2767513 HAS SOPS 2767513 HAS SOUS 1522451 HAS SOUPS 1522451 WITH SCORE 1525218.513
AT ITER 5563 NEW BEST:: SOT 11986104 SOS 2767141 HAS SOPS 2767141 HAS SOUS 1522354 HAS SOUPS 1522354 WITH SCORE 1525121.141
AT ITER 5569 NEW BEST:: SOT 11985533 SOS 2767649 HAS SOPS 2767649 HAS SOUS 1522189 HAS SOUPS 1522189 WITH SCORE 1524956.649
AT ITER 5577 NEW BEST:: SOT 11985522 SOS 2767627 HAS SOPS 2767627 HAS SOUS 1522167 HAS SOUPS 1522167 WITH SCORE 1524934.627
AT ITER 5580 NEW BEST:: SOT 11985522 SOS 2767902 HAS SOPS 2767902 HAS SOUS 1522166 HAS SOUPS 1522166 WITH SCORE 1524933.902
AT ITER 5605 NEW BEST:: SOT 11985364 SOS 2767586 HAS SOPS 2767586 HAS SOUS 1521715 HAS SOUPS 1521715 WITH SCORE 1524482.586
AT ITER 5613 NEW BEST:: SOT 11985364 SOS 2768310 HAS SOPS 2768310 HAS SOUS 1521711 HAS SOUPS 1521711 WITH SCORE 1524479.31
AT ITER 5642 NEW BEST:: SOT 11985351 SOS 2768284 HAS SOPS 2768284 HAS SOUS 1521685 HAS SOUPS 1521685 WITH SCORE 1524453.284
AT ITER 5647 NEW BEST:: SOT 11985351 SOS 2767921 HAS SOPS 2767921 HAS SOUS 1521685 HAS SOUPS 1521685 WITH SCORE 1524452.921
AT ITER 5697 NEW BEST:: SOT 11984986 SOS 2767191 HAS SOPS 2767191 HAS SOUS 1520955 HAS SOUPS 1520955 WITH SCORE 1523722.191
AT ITER 5714 NEW BEST:: SOT 11985195 SOS 2766546 HAS SOPS 2766546 HAS SOUS 1520101 HAS SOUPS 1520101 WITH SCORE 1522867.546
AT ITER 5720 NEW BEST:: SOT 11983554 SOS 2765543 HAS SOPS 2765543 HAS SOUS 1519102 HAS SOUPS 1519102 WITH SCORE 1521867.543
AT ITER 5722 NEW BEST:: SOT 11983049 SOS 2765038 HAS SOPS 2765038 HAS SOUS 1518597 HAS SOUPS 1518597 WITH SCORE 1521362.038
AT ITER 5743 NEW BEST:: SOT 11982643 SOS 2760239 HAS SOPS 2760239 HAS SOUS 1517785 HAS SOUPS 1517785 WITH SCORE 1520545.239
AT ITER 5750 NEW BEST:: SOT 11982678 SOS 2759963 HAS SOPS 2759963 HAS SOUS 1517509 HAS SOUPS 1517509 WITH SCORE 1520268.963
AT ITER 5790 NEW BEST:: SOT 11982677 SOS 2759961 HAS SOPS 2759961 HAS SOUS 1517507 HAS SOUPS 1517507 WITH SCORE 1520266.961
AT ITER 5791 NEW BEST:: SOT 11982162 SOS 2759617 HAS SOPS 2759617 HAS SOUS 1516831 HAS SOUPS 1516831 WITH SCORE 1519590.617
AT ITER 5810 NEW BEST:: SOT 11982116 SOS 2759479 HAS SOPS 2759479 HAS SOUS 1516739 HAS SOUPS 1516739 WITH SCORE 1519498.479
AT ITER 5822 NEW BEST:: SOT 11981651 SOS 2759145 HAS SOPS 2759145 HAS SOUS 1515780 HAS SOUPS 1515780 WITH SCORE 1518539.145
AT ITER 5842 NEW BEST:: SOT 11981651 SOS 2759118 HAS SOPS 2759118 HAS SOUS 1515780 HAS SOUPS 1515780 WITH SCORE 1518539.118
AT ITER 5851 NEW BEST:: SOT 11981651 SOS 2759286 HAS SOPS 2759286 HAS SOUS 1515779 HAS SOUPS 1515779 WITH SCORE 1518538.286
AT ITER 5860 NEW BEST:: SOT 11981590 SOS 2759256 HAS SOPS 2759256 HAS SOUS 1515749 HAS SOUPS 1515749 WITH SCORE 1518508.256
AT ITER 5869 NEW BEST:: SOT 11981287 SOS 2756557 HAS SOPS 2756557 HAS SOUS 1514847 HAS SOUPS 1514847 WITH SCORE 1517603.557
AT ITER 5870 NEW BEST:: SOT 11981117 SOS 2756217 HAS SOPS 2756217 HAS SOUS 1514677 HAS SOUPS 1514677 WITH SCORE 1517433.217
AT ITER 5890 NEW BEST:: SOT 11981029 SOS 2755865 HAS SOPS 2755865 HAS SOUS 1514501 HAS SOUPS 1514501 WITH SCORE 1517256.865
AT ITER 5907 NEW BEST:: SOT 11980959 SOS 2756001 HAS SOPS 2756001 HAS SOUS 1514430 HAS SOUPS 1514430 WITH SCORE 1517186.001
AT ITER 5927 NEW BEST:: SOT 11980944 SOS 2755971 HAS SOPS 2755971 HAS SOUS 1514093 HAS SOUPS 1514093 WITH SCORE 1516848.971
AT ITER 5930 NEW BEST:: SOT 11980879 SOS 2755256 HAS SOPS 2755256 HAS SOUS 1513963 HAS SOUPS 1513963 WITH SCORE 1516718.256
AT ITER 5950 NEW BEST:: SOT 11980876 SOS 2755250 HAS SOPS 2755250 HAS SOUS 1513957 HAS SOUPS 1513957 WITH SCORE 1516712.25
AT ITER 5960 NEW BEST:: SOT 11980792 SOS 2754941 HAS SOPS 2754941 HAS SOUS 1513648 HAS SOUPS 1513648 WITH SCORE 1516402.941
AT ITER 5972 NEW BEST:: SOT 11980531 SOS 2754419 HAS SOPS 2754419 HAS SOUS 1513126 HAS SOUPS 1513126 WITH SCORE 1515880.419
AT ITER 5983 NEW BEST:: SOT 11980412 SOS 2753943 HAS SOPS 2753943 HAS SOUS 1513007 HAS SOUPS 1513007 WITH SCORE 1515760.943
AT ITER 5984 NEW BEST:: SOT 11980482 SOS 2753531 HAS SOPS 2753531 HAS SOUS 1512564 HAS SOUPS 1512564 WITH SCORE 1515317.531
AT ITER 6010 NEW BEST:: SOT 11980482 SOS 2753379 HAS SOPS 2753379 HAS SOUS 1512412 HAS SOUPS 1512412 WITH SCORE 1515165.379
AT ITER 6037 NEW BEST:: SOT 11980482 SOS 2753207 HAS SOPS 2753207 HAS SOUS 1512412 HAS SOUPS 1512412 WITH SCORE 1515165.207
AT ITER 6050 NEW BEST:: SOT 11980315 SOS 2752873 HAS SOPS 2752873 HAS SOUS 1512245 HAS SOUPS 1512245 WITH SCORE 1514997.873
AT ITER 6061 NEW BEST:: SOT 11980248 SOS 2752739 HAS SOPS 2752739 HAS SOUS 1512111 HAS SOUPS 1512111 WITH SCORE 1514863.739
AT ITER 6080 NEW BEST:: SOT 11980248 SOS 2752679 HAS SOPS 2752679 HAS SOUS 1512111 HAS SOUPS 1512111 WITH SCORE 1514863.679
AT ITER 6081 NEW BEST:: SOT 11980248 SOS 2752641 HAS SOPS 2752641 HAS SOUS 1512111 HAS SOUPS 1512111 WITH SCORE 1514863.641
AT ITER 6083 NEW BEST:: SOT 11980248 SOS 2752254 HAS SOPS 2752254 HAS SOUS 1512018 HAS SOUPS 1512018 WITH SCORE 1514770.254
AT ITER 6105 NEW BEST:: SOT 11980248 SOS 2751432 HAS SOPS 2751432 HAS SOUS 1512018 HAS SOUPS 1512018 WITH SCORE 1514769.432
AT ITER 6110 NEW BEST:: SOT 11980248 SOS 2751370 HAS SOPS 2751370 HAS SOUS 1512018 HAS SOUPS 1512018 WITH SCORE 1514769.37
AT ITER 6139 NEW BEST:: SOT 11980248 SOS 2751348 HAS SOPS 2751348 HAS SOUS 1512018 HAS SOUPS 1512018 WITH SCORE 1514769.348
AT ITER 6201 NEW BEST:: SOT 11980248 SOS 2751705 HAS SOPS 2751705 HAS SOUS 1511661 HAS SOUPS 1511661 WITH SCORE 1514412.705
AT ITER 6212 NEW BEST:: SOT 11979984 SOS 2751519 HAS SOPS 2751519 HAS SOUS 1511396 HAS SOUPS 1511396 WITH SCORE 1514147.519
AT ITER 6250 NEW BEST:: SOT 11979984 SOS 2751487 HAS SOPS 2751487 HAS SOUS 1511396 HAS SOUPS 1511396 WITH SCORE 1514147.487
AT ITER 6258 NEW BEST:: SOT 11979736 SOS 2750569 HAS SOPS 2750569 HAS SOUS 1510806 HAS SOUPS 1510806 WITH SCORE 1513556.569
AT ITER 6287 NEW BEST:: SOT 11979736 SOS 2750569 HAS SOPS 2750569 HAS SOUS 1510708 HAS SOUPS 1510708 WITH SCORE 1513458.569
AT ITER 6292 NEW BEST:: SOT 11979677 SOS 2750510 HAS SOPS 2750510 HAS SOUS 1510649 HAS SOUPS 1510649 WITH SCORE 1513399.51
AT ITER 6333 NEW BEST:: SOT 11979634 SOS 2750381 HAS SOPS 2750381 HAS SOUS 1510563 HAS SOUPS 1510563 WITH SCORE 1513313.381
AT ITER 6348 NEW BEST:: SOT 11979612 SOS 2750337 HAS SOPS 2750337 HAS SOUS 1510519 HAS SOUPS 1510519 WITH SCORE 1513269.337
AT ITER 6370 NEW BEST:: SOT 11979612 SOS 2751301 HAS SOPS 2751301 HAS SOUS 1510351 HAS SOUPS 1510351 WITH SCORE 1513102.301
AT ITER 6379 NEW BEST:: SOT 11979518 SOS 2751113 HAS SOPS 2751113 HAS SOUS 1510257 HAS SOUPS 1510257 WITH SCORE 1513008.113
AT ITER 6415 NEW BEST:: SOT 11979518 SOS 2751113 HAS SOPS 2751113 HAS SOUS 1509895 HAS SOUPS 1509895 WITH SCORE 1512646.113
AT ITER 6439 NEW BEST:: SOT 11978846 SOS 2747753 HAS SOPS 2747753 HAS SOUS 1509223 HAS SOUPS 1509223 WITH SCORE 1511970.753
AT ITER 6459 NEW BEST:: SOT 11978689 SOS 2747439 HAS SOPS 2747439 HAS SOUS 1508909 HAS SOUPS 1508909 WITH SCORE 1511656.439
AT ITER 6481 NEW BEST:: SOT 11978480 SOS 2747021 HAS SOPS 2747021 HAS SOUS 1508700 HAS SOUPS 1508700 WITH SCORE 1511447.021
AT ITER 6521 NEW BEST:: SOT 11978372 SOS 2747119 HAS SOPS 2747119 HAS SOUS 1508661 HAS SOUPS 1508661 WITH SCORE 1511408.119
AT ITER 6529 NEW BEST:: SOT 11978372 SOS 2747992 HAS SOPS 2747992 HAS SOUS 1508564 HAS SOUPS 1508564 WITH SCORE 1511311.992
AT ITER 6553 NEW BEST:: SOT 11978417 SOS 2747838 HAS SOPS 2747838 HAS SOUS 1508546 HAS SOUPS 1508546 WITH SCORE 1511293.838
AT ITER 6559 NEW BEST:: SOT 11978390 SOS 2747832 HAS SOPS 2747832 HAS SOUS 1508540 HAS SOUPS 1508540 WITH SCORE 1511287.832
AT ITER 6560 NEW BEST:: SOT 11978334 SOS 2747608 HAS SOPS 2747608 HAS SOUS 1508428 HAS SOUPS 1508428 WITH SCORE 1511175.608
AT ITER 6561 NEW BEST:: SOT 11978271 SOS 2746897 HAS SOPS 2746897 HAS SOUS 1508302 HAS SOUPS 1508302 WITH SCORE 1511048.897
AT ITER 6578 NEW BEST:: SOT 11978289 SOS 2746756 HAS SOPS 2746756 HAS SOUS 1508267 HAS SOUPS 1508267 WITH SCORE 1511013.756
AT ITER 6586 NEW BEST:: SOT 11978189 SOS 2746656 HAS SOPS 2746656 HAS SOUS 1508167 HAS SOUPS 1508167 WITH SCORE 1510913.656
AT ITER 6590 NEW BEST:: SOT 11978189 SOS 2747261 HAS SOPS 2747261 HAS SOUS 1508166 HAS SOUPS 1508166 WITH SCORE 1510913.261
AT ITER 6591 NEW BEST:: SOT 11977984 SOS 2745096 HAS SOPS 2745096 HAS SOUS 1507765 HAS SOUPS 1507765 WITH SCORE 1510510.096
AT ITER 6594 NEW BEST:: SOT 11977903 SOS 2744934 HAS SOPS 2744934 HAS SOUS 1507603 HAS SOUPS 1507603 WITH SCORE 1510347.934
AT ITER 6611 NEW BEST:: SOT 11977217 SOS 2744244 HAS SOPS 2744244 HAS SOUS 1506916 HAS SOUPS 1506916 WITH SCORE 1509660.244
AT ITER 6664 NEW BEST:: SOT 11977295 SOS 2743248 HAS SOPS 2743248 HAS SOUS 1506846 HAS SOUPS 1506846 WITH SCORE 1509589.248
AT ITER 6695 NEW BEST:: SOT 11977295 SOS 2743248 HAS SOPS 2743248 HAS SOUS 1506712 HAS SOUPS 1506712 WITH SCORE 1509455.248
AT ITER 6721 NEW BEST:: SOT 11977295 SOS 2743854 HAS SOPS 2743854 HAS SOUS 1506409 HAS SOUPS 1506409 WITH SCORE 1509152.854
AT ITER 6743 NEW BEST:: SOT 11977683 SOS 2744630 HAS SOPS 2744630 HAS SOUS 1506388 HAS SOUPS 1506388 WITH SCORE 1509132.63
AT ITER 6756 NEW BEST:: SOT 11977638 SOS 2745636 HAS SOPS 2745636 HAS SOUS 1506342 HAS SOUPS 1506342 WITH SCORE 1509087.636
AT ITER 6784 NEW BEST:: SOT 11977553 SOS 2745466 HAS SOPS 2745466 HAS SOUS 1506172 HAS SOUPS 1506172 WITH SCORE 1508917.466
AT ITER 6803 NEW BEST:: SOT 11976571 SOS 2744975 HAS SOPS 2744975 HAS SOUS 1505681 HAS SOUPS 1505681 WITH SCORE 1508425.975
AT ITER 6807 NEW BEST:: SOT 11976565 SOS 2744963 HAS SOPS 2744963 HAS SOUS 1505675 HAS SOUPS 1505675 WITH SCORE 1508419.963
AT ITER 6827 NEW BEST:: SOT 11976580 SOS 2744241 HAS SOPS 2744241 HAS SOUS 1504953 HAS SOUPS 1504953 WITH SCORE 1507697.241
AT ITER 6846 NEW BEST:: SOT 11976579 SOS 2744239 HAS SOPS 2744239 HAS SOUS 1504951 HAS SOUPS 1504951 WITH SCORE 1507695.239
AT ITER 6854 NEW BEST:: SOT 11976579 SOS 2744192 HAS SOPS 2744192 HAS SOUS 1504904 HAS SOUPS 1504904 WITH SCORE 1507648.192
AT ITER 6863 NEW BEST:: SOT 11976459 SOS 2743712 HAS SOPS 2743712 HAS SOUS 1504784 HAS SOUPS 1504784 WITH SCORE 1507527.712
AT ITER 6877 NEW BEST:: SOT 11976389 SOS 2743490 HAS SOPS 2743490 HAS SOUS 1504561 HAS SOUPS 1504561 WITH SCORE 1507304.49
AT ITER 6898 NEW BEST:: SOT 11976389 SOS 2744165 HAS SOPS 2744165 HAS SOUS 1504525 HAS SOUPS 1504525 WITH SCORE 1507269.165
AT ITER 6936 NEW BEST:: SOT 11974797 SOS 2751336 HAS SOPS 2751336 HAS SOUS 1504388 HAS SOUPS 1504388 WITH SCORE 1507139.336
AT ITER 6995 NEW BEST:: SOT 11974797 SOS 2751333 HAS SOPS 2751333 HAS SOUS 1504387 HAS SOUPS 1504387 WITH SCORE 1507138.333
AT ITER 7010 NEW BEST:: SOT 11974797 SOS 2751333 HAS SOPS 2751333 HAS SOUS 1503732 HAS SOUPS 1503732 WITH SCORE 1506483.333
AT ITER 7016 NEW BEST:: SOT 11974797 SOS 2751333 HAS SOPS 2751333 HAS SOUS 1503508 HAS SOUPS 1503508 WITH SCORE 1506259.333
AT ITER 7044 NEW BEST:: SOT 11974681 SOS 2751217 HAS SOPS 2751217 HAS SOUS 1503392 HAS SOUPS 1503392 WITH SCORE 1506143.217
AT ITER 7048 NEW BEST:: SOT 11974641 SOS 2751137 HAS SOPS 2751137 HAS SOUS 1503312 HAS SOUPS 1503312 WITH SCORE 1506063.137
AT ITER 7053 NEW BEST:: SOT 11974598 SOS 2751136 HAS SOPS 2751136 HAS SOUS 1503311 HAS SOUPS 1503311 WITH SCORE 1506062.136
AT ITER 7055 NEW BEST:: SOT 11973551 SOS 2745982 HAS SOPS 2745982 HAS SOUS 1502735 HAS SOUPS 1502735 WITH SCORE 1505480.982
AT ITER 7062 NEW BEST:: SOT 11973688 SOS 2746256 HAS SOPS 2746256 HAS SOUS 1502149 HAS SOUPS 1502149 WITH SCORE 1504895.256
AT ITER 7089 NEW BEST:: SOT 11973566 SOS 2744713 HAS SOPS 2744713 HAS SOUS 1501905 HAS SOUPS 1501905 WITH SCORE 1504649.713
AT ITER 7094 NEW BEST:: SOT 11973501 SOS 2744712 HAS SOPS 2744712 HAS SOUS 1501904 HAS SOUPS 1501904 WITH SCORE 1504648.712
AT ITER 7128 NEW BEST:: SOT 11973454 SOS 2744618 HAS SOPS 2744618 HAS SOUS 1501810 HAS SOUPS 1501810 WITH SCORE 1504554.618
AT ITER 7159 NEW BEST:: SOT 11973285 SOS 2746000 HAS SOPS 2746000 HAS SOUS 1501641 HAS SOUPS 1501641 WITH SCORE 1504387.0
AT ITER 7162 NEW BEST:: SOT 11973169 SOS 2745768 HAS SOPS 2745768 HAS SOUS 1501409 HAS SOUPS 1501409 WITH SCORE 1504154.768
AT ITER 7205 NEW BEST:: SOT 11973126 SOS 2745682 HAS SOPS 2745682 HAS SOUS 1501323 HAS SOUPS 1501323 WITH SCORE 1504068.682
AT ITER 7244 NEW BEST:: SOT 11973116 SOS 2745647 HAS SOPS 2745647 HAS SOUS 1501308 HAS SOUPS 1501308 WITH SCORE 1504053.647
AT ITER 7249 NEW BEST:: SOT 11973116 SOS 2744507 HAS SOPS 2744507 HAS SOUS 1501037 HAS SOUPS 1501037 WITH SCORE 1503781.507
AT ITER 7287 NEW BEST:: SOT 11972781 SOS 2743272 HAS SOPS 2743272 HAS SOUS 1499802 HAS SOUPS 1499802 WITH SCORE 1502545.272
AT ITER 7313 NEW BEST:: SOT 11972955 SOS 2744341 HAS SOPS 2744341 HAS SOUS 1499613 HAS SOUPS 1499613 WITH SCORE 1502357.341
AT ITER 7316 NEW BEST:: SOT 11972661 SOS 2743312 HAS SOPS 2743312 HAS SOUS 1499319 HAS SOUPS 1499319 WITH SCORE 1502062.312
AT ITER 7322 NEW BEST:: SOT 11972047 SOS 2742391 HAS SOPS 2742391 HAS SOUS 1498447 HAS SOUPS 1498447 WITH SCORE 1501189.391
AT ITER 7352 NEW BEST:: SOT 11971678 SOS 2740809 HAS SOPS 2740809 HAS SOUS 1497891 HAS SOUPS 1497891 WITH SCORE 1500631.809
AT ITER 7363 NEW BEST:: SOT 11971620 SOS 2740577 HAS SOPS 2740577 HAS SOUS 1497796 HAS SOUPS 1497796 WITH SCORE 1500536.577
AT ITER 7380 NEW BEST:: SOT 11971620 SOS 2740458 HAS SOPS 2740458 HAS SOUS 1497738 HAS SOUPS 1497738 WITH SCORE 1500478.458
AT ITER 7387 NEW BEST:: SOT 11971491 SOS 2740497 HAS SOPS 2740497 HAS SOUS 1497708 HAS SOUPS 1497708 WITH SCORE 1500448.497
AT ITER 7409 NEW BEST:: SOT 11971705 SOS 2740701 HAS SOPS 2740701 HAS SOUS 1497663 HAS SOUPS 1497663 WITH SCORE 1500403.701
AT ITER 7421 NEW BEST:: SOT 11971705 SOS 2740701 HAS SOPS 2740701 HAS SOUS 1496628 HAS SOUPS 1496628 WITH SCORE 1499368.701
AT ITER 7449 NEW BEST:: SOT 11971533 SOS 2740015 HAS SOPS 2740015 HAS SOUS 1495942 HAS SOUPS 1495942 WITH SCORE 1498682.015
AT ITER 7451 NEW BEST:: SOT 11971533 SOS 2740012 HAS SOPS 2740012 HAS SOUS 1495737 HAS SOUPS 1495737 WITH SCORE 1498477.012
AT ITER 7474 NEW BEST:: SOT 11971126 SOS 2742293 HAS SOPS 2742293 HAS SOUS 1495194 HAS SOUPS 1495194 WITH SCORE 1497936.293
AT ITER 7482 NEW BEST:: SOT 11970385 SOS 2741721 HAS SOPS 2741721 HAS SOUS 1494569 HAS SOUPS 1494569 WITH SCORE 1497310.721
AT ITER 7492 NEW BEST:: SOT 11970385 SOS 2742634 HAS SOPS 2742634 HAS SOUS 1494568 HAS SOUPS 1494568 WITH SCORE 1497310.634
AT ITER 7521 NEW BEST:: SOT 11970295 SOS 2742585 HAS SOPS 2742585 HAS SOUS 1494477 HAS SOUPS 1494477 WITH SCORE 1497219.585
AT ITER 7538 NEW BEST:: SOT 11970276 SOS 2740516 HAS SOPS 2740516 HAS SOUS 1493209 HAS SOUPS 1493209 WITH SCORE 1495949.516
AT ITER 7556 NEW BEST:: SOT 11970275 SOS 2740554 HAS SOPS 2740554 HAS SOUS 1493207 HAS SOUPS 1493207 WITH SCORE 1495947.554
AT ITER 7559 NEW BEST:: SOT 11970191 SOS 2739882 HAS SOPS 2739882 HAS SOUS 1492955 HAS SOUPS 1492955 WITH SCORE 1495694.882
AT ITER 7582 NEW BEST:: SOT 11970027 SOS 2739920 HAS SOPS 2739920 HAS SOUS 1492900 HAS SOUPS 1492900 WITH SCORE 1495639.92
AT ITER 7612 NEW BEST:: SOT 11968510 SOS 2739512 HAS SOPS 2739512 HAS SOUS 1492856 HAS SOUPS 1492856 WITH SCORE 1495595.512
AT ITER 7628 NEW BEST:: SOT 11968510 SOS 2741005 HAS SOPS 2741005 HAS SOUS 1492688 HAS SOUPS 1492688 WITH SCORE 1495429.005
AT ITER 7649 NEW BEST:: SOT 11968562 SOS 2740720 HAS SOPS 2740720 HAS SOUS 1492403 HAS SOUPS 1492403 WITH SCORE 1495143.72
AT ITER 7676 NEW BEST:: SOT 11966017 SOS 2738850 HAS SOPS 2738850 HAS SOUS 1490818 HAS SOUPS 1490818 WITH SCORE 1493556.85
AT ITER 7681 NEW BEST:: SOT 11966017 SOS 2738732 HAS SOPS 2738732 HAS SOUS 1490818 HAS SOUPS 1490818 WITH SCORE 1493556.732
AT ITER 7682 NEW BEST:: SOT 11965843 SOS 2741626 HAS SOPS 2741626 HAS SOUS 1490621 HAS SOUPS 1490621 WITH SCORE 1493362.626
AT ITER 7699 NEW BEST:: SOT 11965181 SOS 2741332 HAS SOPS 2741332 HAS SOUS 1490316 HAS SOUPS 1490316 WITH SCORE 1493057.332
AT ITER 7732 NEW BEST:: SOT 11965181 SOS 2741704 HAS SOPS 2741704 HAS SOUS 1490130 HAS SOUPS 1490130 WITH SCORE 1492871.704
AT ITER 7753 NEW BEST:: SOT 11965181 SOS 2740957 HAS SOPS 2740957 HAS SOUS 1489881 HAS SOUPS 1489881 WITH SCORE 1492621.957
AT ITER 7772 NEW BEST:: SOT 11964983 SOS 2740561 HAS SOPS 2740561 HAS SOUS 1488934 HAS SOUPS 1488934 WITH SCORE 1491674.561
AT ITER 7795 NEW BEST:: SOT 11964850 SOS 2740295 HAS SOPS 2740295 HAS SOUS 1488473 HAS SOUPS 1488473 WITH SCORE 1491213.295
AT ITER 7806 NEW BEST:: SOT 11964701 SOS 2740205 HAS SOPS 2740205 HAS SOUS 1488116 HAS SOUPS 1488116 WITH SCORE 1490856.205
AT ITER 7821 NEW BEST:: SOT 11964734 SOS 2740520 HAS SOPS 2740520 HAS SOUS 1487977 HAS SOUPS 1487977 WITH SCORE 1490717.52
AT ITER 7870 NEW BEST:: SOT 11964694 SOS 2740440 HAS SOPS 2740440 HAS SOUS 1487922 HAS SOUPS 1487922 WITH SCORE 1490662.44
AT ITER 7921 NEW BEST:: SOT 11964694 SOS 2740439 HAS SOPS 2740439 HAS SOUS 1487921 HAS SOUPS 1487921 WITH SCORE 1490661.439
AT ITER 7982 NEW BEST:: SOT 11964592 SOS 2740235 HAS SOPS 2740235 HAS SOUS 1487818 HAS SOUPS 1487818 WITH SCORE 1490558.235
AT ITER 7991 NEW BEST:: SOT 11964592 SOS 2737949 HAS SOPS 2737949 HAS SOUS 1487775 HAS SOUPS 1487775 WITH SCORE 1490512.949
AT ITER 8005 NEW BEST:: SOT 11964610 SOS 2737985 HAS SOPS 2737985 HAS SOUS 1487571 HAS SOUPS 1487571 WITH SCORE 1490308.985
AT ITER 8020 NEW BEST:: SOT 11963920 SOS 2737295 HAS SOPS 2737295 HAS SOUS 1486881 HAS SOUPS 1486881 WITH SCORE 1489618.295
AT ITER 8147 NEW BEST:: SOT 11963920 SOS 2738185 HAS SOPS 2738185 HAS SOUS 1486880 HAS SOUPS 1486880 WITH SCORE 1489618.185
AT ITER 8168 NEW BEST:: SOT 11963659 SOS 2731759 HAS SOPS 2731759 HAS SOUS 1486358 HAS SOUPS 1486358 WITH SCORE 1489089.759
AT ITER 8173 NEW BEST:: SOT 11962660 SOS 2731519 HAS SOPS 2731519 HAS SOUS 1485892 HAS SOUPS 1485892 WITH SCORE 1488623.519
AT ITER 8178 NEW BEST:: SOT 11962479 SOS 2732776 HAS SOPS 2732776 HAS SOUS 1485529 HAS SOUPS 1485529 WITH SCORE 1488261.776
AT ITER 8189 NEW BEST:: SOT 11962295 SOS 2732957 HAS SOPS 2732957 HAS SOUS 1485528 HAS SOUPS 1485528 WITH SCORE 1488260.957
AT ITER 8190 NEW BEST:: SOT 11962177 SOS 2732839 HAS SOPS 2732839 HAS SOUS 1485410 HAS SOUPS 1485410 WITH SCORE 1488142.839
AT ITER 8194 NEW BEST:: SOT 11961835 SOS 2732494 HAS SOPS 2732494 HAS SOUS 1485067 HAS SOUPS 1485067 WITH SCORE 1487799.494
AT ITER 8211 NEW BEST:: SOT 11961371 SOS 2731566 HAS SOPS 2731566 HAS SOUS 1484617 HAS SOUPS 1484617 WITH SCORE 1487348.566
AT ITER 8228 NEW BEST:: SOT 11961148 SOS 2731343 HAS SOPS 2731343 HAS SOUS 1484394 HAS SOUPS 1484394 WITH SCORE 1487125.343
AT ITER 8238 NEW BEST:: SOT 11961005 SOS 2731578 HAS SOPS 2731578 HAS SOUS 1484187 HAS SOUPS 1484187 WITH SCORE 1486918.578
AT ITER 8260 NEW BEST:: SOT 11961005 SOS 2731454 HAS SOPS 2731454 HAS SOUS 1484187 HAS SOUPS 1484187 WITH SCORE 1486918.454
AT ITER 8270 NEW BEST:: SOT 11961004 SOS 2731452 HAS SOPS 2731452 HAS SOUS 1484185 HAS SOUPS 1484185 WITH SCORE 1486916.452
AT ITER 8283 NEW BEST:: SOT 11960943 SOS 2731330 HAS SOPS 2731330 HAS SOUS 1484063 HAS SOUPS 1484063 WITH SCORE 1486794.33
AT ITER 8284 NEW BEST:: SOT 11960794 SOS 2731032 HAS SOPS 2731032 HAS SOUS 1483246 HAS SOUPS 1483246 WITH SCORE 1485977.032
AT ITER 8287 NEW BEST:: SOT 11960591 SOS 2730423 HAS SOPS 2730423 HAS SOUS 1482637 HAS SOUPS 1482637 WITH SCORE 1485367.423
AT ITER 8292 NEW BEST:: SOT 11960423 SOS 2730255 HAS SOPS 2730255 HAS SOUS 1482469 HAS SOUPS 1482469 WITH SCORE 1485199.255
AT ITER 8309 NEW BEST:: SOT 11960354 SOS 2730110 HAS SOPS 2730110 HAS SOUS 1482324 HAS SOUPS 1482324 WITH SCORE 1485054.11
AT ITER 8329 NEW BEST:: SOT 11959283 SOS 2729088 HAS SOPS 2729088 HAS SOUS 1481334 HAS SOUPS 1481334 WITH SCORE 1484063.088
AT ITER 8345 NEW BEST:: SOT 11959280 SOS 2729082 HAS SOPS 2729082 HAS SOUS 1481328 HAS SOUPS 1481328 WITH SCORE 1484057.082
AT ITER 8358 NEW BEST:: SOT 11958935 SOS 2726807 HAS SOPS 2726807 HAS SOUS 1480790 HAS SOUPS 1480790 WITH SCORE 1483516.807
AT ITER 8359 NEW BEST:: SOT 11958935 SOS 2726650 HAS SOPS 2726650 HAS SOUS 1480633 HAS SOUPS 1480633 WITH SCORE 1483359.65
AT ITER 8362 NEW BEST:: SOT 11958935 SOS 2727270 HAS SOPS 2727270 HAS SOUS 1480632 HAS SOUPS 1480632 WITH SCORE 1483359.27
AT ITER 8366 NEW BEST:: SOT 11958935 SOS 2726379 HAS SOPS 2726379 HAS SOUS 1480603 HAS SOUPS 1480603 WITH SCORE 1483329.379
AT ITER 8369 NEW BEST:: SOT 11958852 SOS 2726213 HAS SOPS 2726213 HAS SOUS 1480551 HAS SOUPS 1480551 WITH SCORE 1483277.213
AT ITER 8376 NEW BEST:: SOT 11958648 SOS 2726262 HAS SOPS 2726262 HAS SOUS 1480286 HAS SOUPS 1480286 WITH SCORE 1483012.262
AT ITER 8381 NEW BEST:: SOT 11958635 SOS 2726236 HAS SOPS 2726236 HAS SOUS 1480273 HAS SOUPS 1480273 WITH SCORE 1482999.236
AT ITER 8388 NEW BEST:: SOT 11958635 SOS 2727157 HAS SOPS 2727157 HAS SOUS 1480139 HAS SOUPS 1480139 WITH SCORE 1482866.157
AT ITER 8394 NEW BEST:: SOT 11958423 SOS 2726733 HAS SOPS 2726733 HAS SOUS 1479595 HAS SOUPS 1479595 WITH SCORE 1482321.733
AT ITER 8438 NEW BEST:: SOT 11958410 SOS 2726707 HAS SOPS 2726707 HAS SOUS 1479569 HAS SOUPS 1479569 WITH SCORE 1482295.707
AT ITER 8472 NEW BEST:: SOT 11958410 SOS 2728429 HAS SOPS 2728429 HAS SOUS 1479175 HAS SOUPS 1479175 WITH SCORE 1481903.429
AT ITER 8475 NEW BEST:: SOT 11958410 SOS 2728684 HAS SOPS 2728684 HAS SOUS 1479174 HAS SOUPS 1479174 WITH SCORE 1481902.684
AT ITER 8486 NEW BEST:: SOT 11958410 SOS 2728430 HAS SOPS 2728430 HAS SOUS 1478919 HAS SOUPS 1478919 WITH SCORE 1481647.43
AT ITER 8527 NEW BEST:: SOT 11957978 SOS 2727998 HAS SOPS 2727998 HAS SOUS 1478487 HAS SOUPS 1478487 WITH SCORE 1481214.998
AT ITER 8542 NEW BEST:: SOT 11957808 SOS 2730031 HAS SOPS 2730031 HAS SOUS 1478317 HAS SOUPS 1478317 WITH SCORE 1481047.031
AT ITER 8548 NEW BEST:: SOT 11957726 SOS 2729949 HAS SOPS 2729949 HAS SOUS 1478235 HAS SOUPS 1478235 WITH SCORE 1480964.949
AT ITER 8585 NEW BEST:: SOT 11957365 SOS 2725978 HAS SOPS 2725978 HAS SOUS 1477513 HAS SOUPS 1477513 WITH SCORE 1480238.978
AT ITER 8605 NEW BEST:: SOT 11957353 SOS 2725954 HAS SOPS 2725954 HAS SOUS 1477501 HAS SOUPS 1477501 WITH SCORE 1480226.954
AT ITER 8619 NEW BEST:: SOT 11957300 SOS 2725848 HAS SOPS 2725848 HAS SOUS 1477395 HAS SOUPS 1477395 WITH SCORE 1480120.848
AT ITER 8645 NEW BEST:: SOT 11957300 SOS 2725836 HAS SOPS 2725836 HAS SOUS 1477391 HAS SOUPS 1477391 WITH SCORE 1480116.836
AT ITER 8659 NEW BEST:: SOT 11956862 SOS 2725560 HAS SOPS 2725560 HAS SOUS 1476953 HAS SOUPS 1476953 WITH SCORE 1479678.56
AT ITER 8680 NEW BEST:: SOT 11956932 SOS 2725509 HAS SOPS 2725509 HAS SOUS 1476902 HAS SOUPS 1476902 WITH SCORE 1479627.509
AT ITER 8685 NEW BEST:: SOT 11956932 SOS 2725509 HAS SOPS 2725509 HAS SOUS 1476321 HAS SOUPS 1476321 WITH SCORE 1479046.509
AT ITER 8691 NEW BEST:: SOT 11956930 SOS 2725505 HAS SOPS 2725505 HAS SOUS 1476317 HAS SOUPS 1476317 WITH SCORE 1479042.505
AT ITER 8722 NEW BEST:: SOT 11956930 SOS 2725292 HAS SOPS 2725292 HAS SOUS 1476316 HAS SOUPS 1476316 WITH SCORE 1479041.292
AT ITER 8726 NEW BEST:: SOT 11956930 SOS 2725288 HAS SOPS 2725288 HAS SOUS 1476315 HAS SOUPS 1476315 WITH SCORE 1479040.288
AT ITER 8733 NEW BEST:: SOT 11956360 SOS 2724148 HAS SOPS 2724148 HAS SOUS 1475175 HAS SOUPS 1475175 WITH SCORE 1477899.148
AT ITER 8796 NEW BEST:: SOT 11955834 SOS 2724960 HAS SOPS 2724960 HAS SOUS 1474703 HAS SOUPS 1474703 WITH SCORE 1477427.96
AT ITER 8803 NEW BEST:: SOT 11955598 SOS 2724745 HAS SOPS 2724745 HAS SOUS 1474416 HAS SOUPS 1474416 WITH SCORE 1477140.745
AT ITER 8818 NEW BEST:: SOT 11955482 SOS 2725547 HAS SOPS 2725547 HAS SOUS 1474183 HAS SOUPS 1474183 WITH SCORE 1476908.547
AT ITER 8819 NEW BEST:: SOT 11955801 SOS 2725198 HAS SOPS 2725198 HAS SOUS 1474173 HAS SOUPS 1474173 WITH SCORE 1476898.198
AT ITER 8824 NEW BEST:: SOT 11955335 SOS 2724981 HAS SOPS 2724981 HAS SOUS 1473956 HAS SOUPS 1473956 WITH SCORE 1476680.981
AT ITER 8833 NEW BEST:: SOT 11955613 SOS 2724749 HAS SOPS 2724749 HAS SOUS 1473724 HAS SOUPS 1473724 WITH SCORE 1476448.749
AT ITER 8839 NEW BEST:: SOT 11955610 SOS 2724665 HAS SOPS 2724665 HAS SOUS 1473695 HAS SOUPS 1473695 WITH SCORE 1476419.665
AT ITER 8852 NEW BEST:: SOT 11955707 SOS 2724051 HAS SOPS 2724051 HAS SOUS 1473485 HAS SOUPS 1473485 WITH SCORE 1476209.051
AT ITER 8870 NEW BEST:: SOT 11955736 SOS 2723988 HAS SOPS 2723988 HAS SOUS 1473422 HAS SOUPS 1473422 WITH SCORE 1476145.988
AT ITER 8906 NEW BEST:: SOT 11955680 SOS 2723987 HAS SOPS 2723987 HAS SOUS 1473421 HAS SOUPS 1473421 WITH SCORE 1476144.987
AT ITER 8913 NEW BEST:: SOT 11955440 SOS 2723507 HAS SOPS 2723507 HAS SOUS 1473181 HAS SOUPS 1473181 WITH SCORE 1475904.507
AT ITER 8942 NEW BEST:: SOT 11954657 SOS 2723693 HAS SOPS 2723693 HAS SOUS 1472261 HAS SOUPS 1472261 WITH SCORE 1474984.693
AT ITER 8981 NEW BEST:: SOT 11954657 SOS 2723509 HAS SOPS 2723509 HAS SOUS 1472169 HAS SOUPS 1472169 WITH SCORE 1474892.509
AT ITER 9026 NEW BEST:: SOT 11954589 SOS 2723373 HAS SOPS 2723373 HAS SOUS 1472169 HAS SOUPS 1472169 WITH SCORE 1474892.373
AT ITER 9044 NEW BEST:: SOT 11954564 SOS 2723453 HAS SOPS 2723453 HAS SOUS 1472143 HAS SOUPS 1472143 WITH SCORE 1474866.453
AT ITER 9059 NEW BEST:: SOT 11954572 SOS 2723437 HAS SOPS 2723437 HAS SOUS 1472143 HAS SOUPS 1472143 WITH SCORE 1474866.437
AT ITER 9111 NEW BEST:: SOT 11954482 SOS 2723161 HAS SOPS 2723161 HAS SOUS 1471600 HAS SOUPS 1471600 WITH SCORE 1474323.161
AT ITER 9112 NEW BEST:: SOT 11954347 SOS 2723026 HAS SOPS 2723026 HAS SOUS 1471465 HAS SOUPS 1471465 WITH SCORE 1474188.026
AT ITER 9113 NEW BEST:: SOT 11953700 SOS 2720299 HAS SOPS 2720299 HAS SOUS 1470436 HAS SOUPS 1470436 WITH SCORE 1473156.299
AT ITER 9114 NEW BEST:: SOT 11953698 SOS 2719937 HAS SOPS 2719937 HAS SOUS 1470101 HAS SOUPS 1470101 WITH SCORE 1472820.937
AT ITER 9123 NEW BEST:: SOT 11953614 SOS 2719685 HAS SOPS 2719685 HAS SOUS 1469933 HAS SOUPS 1469933 WITH SCORE 1472652.685
AT ITER 9130 NEW BEST:: SOT 11953614 SOS 2721527 HAS SOPS 2721527 HAS SOUS 1469864 HAS SOUPS 1469864 WITH SCORE 1472585.527
AT ITER 9132 NEW BEST:: SOT 11953534 SOS 2721367 HAS SOPS 2721367 HAS SOUS 1469738 HAS SOUPS 1469738 WITH SCORE 1472459.367
AT ITER 9150 NEW BEST:: SOT 11952678 SOS 2720560 HAS SOPS 2720560 HAS SOUS 1469470 HAS SOUPS 1469470 WITH SCORE 1472190.56
AT ITER 9163 NEW BEST:: SOT 11952667 SOS 2720551 HAS SOPS 2720551 HAS SOUS 1469461 HAS SOUPS 1469461 WITH SCORE 1472181.551
AT ITER 9184 NEW BEST:: SOT 11952371 SOS 2720625 HAS SOPS 2720625 HAS SOUS 1469052 HAS SOUPS 1469052 WITH SCORE 1471772.625
AT ITER 9185 NEW BEST:: SOT 11952200 SOS 2720792 HAS SOPS 2720792 HAS SOUS 1468709 HAS SOUPS 1468709 WITH SCORE 1471429.792
AT ITER 9216 NEW BEST:: SOT 11952200 SOS 2720688 HAS SOPS 2720688 HAS SOUS 1468605 HAS SOUPS 1468605 WITH SCORE 1471325.688
AT ITER 9241 NEW BEST:: SOT 11952200 SOS 2720688 HAS SOPS 2720688 HAS SOUS 1468604 HAS SOUPS 1468604 WITH SCORE 1471324.688
AT ITER 9284 NEW BEST:: SOT 11952098 SOS 2720688 HAS SOPS 2720688 HAS SOUS 1468553 HAS SOUPS 1468553 WITH SCORE 1471273.688
AT ITER 9295 NEW BEST:: SOT 11952097 SOS 2720686 HAS SOPS 2720686 HAS SOUS 1468551 HAS SOUPS 1468551 WITH SCORE 1471271.686
AT ITER 9303 NEW BEST:: SOT 11951457 SOS 2718446 HAS SOPS 2718446 HAS SOUS 1467436 HAS SOUPS 1467436 WITH SCORE 1470154.446
AT ITER 9409 NEW BEST:: SOT 11950964 SOS 2717953 HAS SOPS 2717953 HAS SOUS 1466943 HAS SOUPS 1466943 WITH SCORE 1469660.953
AT ITER 9413 NEW BEST:: SOT 11950964 SOS 2717651 HAS SOPS 2717651 HAS SOUS 1466833 HAS SOUPS 1466833 WITH SCORE 1469550.651
AT ITER 9422 NEW BEST:: SOT 11950964 SOS 2717648 HAS SOPS 2717648 HAS SOUS 1466830 HAS SOUPS 1466830 WITH SCORE 1469547.648
AT ITER 9438 NEW BEST:: SOT 11950914 SOS 2717549 HAS SOPS 2717549 HAS SOUS 1466731 HAS SOUPS 1466731 WITH SCORE 1469448.549
AT ITER 9440 NEW BEST:: SOT 11950931 SOS 2717415 HAS SOPS 2717415 HAS SOUS 1466692 HAS SOUPS 1466692 WITH SCORE 1469409.415
AT ITER 9470 NEW BEST:: SOT 11950908 SOS 2717300 HAS SOPS 2717300 HAS SOUS 1466646 HAS SOUPS 1466646 WITH SCORE 1469363.3
AT ITER 9471 NEW BEST:: SOT 11950718 SOS 2716920 HAS SOPS 2716920 HAS SOUS 1466266 HAS SOUPS 1466266 WITH SCORE 1468982.92
AT ITER 9481 NEW BEST:: SOT 11950717 SOS 2716918 HAS SOPS 2716918 HAS SOUS 1466265 HAS SOUPS 1466265 WITH SCORE 1468981.918
AT ITER 9504 NEW BEST:: SOT 11950619 SOS 2716722 HAS SOPS 2716722 HAS SOUS 1466069 HAS SOUPS 1466069 WITH SCORE 1468785.722
AT ITER 9511 NEW BEST:: SOT 11950417 SOS 2716586 HAS SOPS 2716586 HAS SOUS 1465933 HAS SOUPS 1465933 WITH SCORE 1468649.586
AT ITER 9540 NEW BEST:: SOT 11950155 SOS 2713623 HAS SOPS 2713623 HAS SOUS 1465409 HAS SOUPS 1465409 WITH SCORE 1468122.623
AT ITER 9556 NEW BEST:: SOT 11950155 SOS 2713623 HAS SOPS 2713623 HAS SOUS 1465388 HAS SOUPS 1465388 WITH SCORE 1468101.623
AT ITER 9574 NEW BEST:: SOT 11950123 SOS 2713617 HAS SOPS 2713617 HAS SOUS 1465381 HAS SOUPS 1465381 WITH SCORE 1468094.617
AT ITER 9584 NEW BEST:: SOT 11950123 SOS 2716056 HAS SOPS 2716056 HAS SOUS 1465353 HAS SOUPS 1465353 WITH SCORE 1468069.056
AT ITER 9597 NEW BEST:: SOT 11950085 SOS 2715980 HAS SOPS 2715980 HAS SOUS 1465315 HAS SOUPS 1465315 WITH SCORE 1468030.98
AT ITER 9630 NEW BEST:: SOT 11950085 SOS 2715782 HAS SOPS 2715782 HAS SOUS 1465315 HAS SOUPS 1465315 WITH SCORE 1468030.782
AT ITER 9681 NEW BEST:: SOT 11950377 SOS 2715626 HAS SOPS 2715626 HAS SOUS 1465235 HAS SOUPS 1465235 WITH SCORE 1467950.626
AT ITER 9743 NEW BEST:: SOT 11950358 SOS 2716549 HAS SOPS 2716549 HAS SOUS 1465216 HAS SOUPS 1465216 WITH SCORE 1467932.549
AT ITER 9750 NEW BEST:: SOT 11950351 SOS 2716535 HAS SOPS 2716535 HAS SOUS 1465209 HAS SOUPS 1465209 WITH SCORE 1467925.535
AT ITER 9762 NEW BEST:: SOT 11950187 SOS 2716374 HAS SOPS 2716374 HAS SOUS 1465048 HAS SOUPS 1465048 WITH SCORE 1467764.374
AT ITER 9778 NEW BEST:: SOT 11949744 SOS 2715488 HAS SOPS 2715488 HAS SOUS 1464162 HAS SOUPS 1464162 WITH SCORE 1466877.488
AT ITER 9787 NEW BEST:: SOT 11949697 SOS 2715394 HAS SOPS 2715394 HAS SOUS 1464155 HAS SOUPS 1464155 WITH SCORE 1466870.394
AT ITER 9788 NEW BEST:: SOT 11949697 SOS 2715394 HAS SOPS 2715394 HAS SOUS 1464063 HAS SOUPS 1464063 WITH SCORE 1466778.394
AT ITER 9803 NEW BEST:: SOT 11949327 SOS 2714654 HAS SOPS 2714654 HAS SOUS 1463323 HAS SOUPS 1463323 WITH SCORE 1466037.654
AT ITER 9846 NEW BEST:: SOT 11949299 SOS 2714626 HAS SOPS 2714626 HAS SOUS 1463295 HAS SOUPS 1463295 WITH SCORE 1466009.626
AT ITER 9873 NEW BEST:: SOT 11949538 SOS 2714893 HAS SOPS 2714893 HAS SOUS 1463236 HAS SOUPS 1463236 WITH SCORE 1465950.893
AT ITER 9874 NEW BEST:: SOT 11949093 SOS 2714890 HAS SOPS 2714890 HAS SOUS 1462345 HAS SOUPS 1462345 WITH SCORE 1465059.89
AT ITER 9916 NEW BEST:: SOT 11948736 SOS 2715247 HAS SOPS 2715247 HAS SOUS 1462344 HAS SOUPS 1462344 WITH SCORE 1465059.247
AT ITER 9985 NEW BEST:: SOT 11949036 SOS 2719683 HAS SOPS 2719683 HAS SOUS 1462242 HAS SOUPS 1462242 WITH SCORE 1464961.683
AT ITER 9989 NEW BEST:: SOT 11948486 SOS 2719377 HAS SOPS 2719377 HAS SOUS 1461847 HAS SOUPS 1461847 WITH SCORE 1464566.377
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 14513588 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153060 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is DLCround-PT-09b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814472800728"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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