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-167814472500520.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 DLCflexbar-PT-2b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472500520
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 7.3K Feb 25 15:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 15:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 15:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 15:02 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:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 15:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 25 15:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 25 15:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 15:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.5M 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 1678248165578

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=DLCflexbar-PT-2b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 2b
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: 4456 places, 6272 transitions, 16411 arcs.
AT ITER 0 NEW BEST:: SOT 17497634 SOS 3463966 HAS SOPS 3463966 HAS SOUS 2667365 HAS SOUPS 2667365 WITH SCORE 2670828.966
AT ITER 15 NEW BEST:: SOT 17497130 SOS 3463588 HAS SOPS 3463588 HAS SOUS 2666987 HAS SOUPS 2666987 WITH SCORE 2670450.588
AT ITER 24 NEW BEST:: SOT 17497130 SOS 3463573 HAS SOPS 3463573 HAS SOUS 2666972 HAS SOUPS 2666972 WITH SCORE 2670435.573
AT ITER 35 NEW BEST:: SOT 17497001 SOS 3463315 HAS SOPS 3463315 HAS SOUS 2666714 HAS SOUPS 2666714 WITH SCORE 2670177.315
AT ITER 56 NEW BEST:: SOT 17495931 SOS 3464188 HAS SOPS 3464188 HAS SOUS 2666347 HAS SOUPS 2666347 WITH SCORE 2669811.188
AT ITER 78 NEW BEST:: SOT 17495410 SOS 3467778 HAS SOPS 3467778 HAS SOUS 2665789 HAS SOUPS 2665789 WITH SCORE 2669256.778
AT ITER 89 NEW BEST:: SOT 17491887 SOS 3473531 HAS SOPS 3473531 HAS SOUS 2664701 HAS SOUPS 2664701 WITH SCORE 2668174.531
AT ITER 90 NEW BEST:: SOT 17491600 SOS 3473240 HAS SOPS 3473240 HAS SOUS 2664413 HAS SOUPS 2664413 WITH SCORE 2667886.24
AT ITER 91 NEW BEST:: SOT 17491219 SOS 3472478 HAS SOPS 3472478 HAS SOUS 2663651 HAS SOUPS 2663651 WITH SCORE 2667123.478
AT ITER 100 NEW BEST:: SOT 17489856 SOS 3472185 HAS SOPS 3472185 HAS SOUS 2663099 HAS SOUPS 2663099 WITH SCORE 2666571.185
AT ITER 110 NEW BEST:: SOT 17489856 SOS 3471502 HAS SOPS 3471502 HAS SOUS 2663099 HAS SOUPS 2663099 WITH SCORE 2666570.502
AT ITER 115 NEW BEST:: SOT 17489791 SOS 3471372 HAS SOPS 3471372 HAS SOUS 2662969 HAS SOUPS 2662969 WITH SCORE 2666440.372
AT ITER 123 NEW BEST:: SOT 17490040 SOS 3471058 HAS SOPS 3471058 HAS SOUS 2662655 HAS SOUPS 2662655 WITH SCORE 2666126.058
AT ITER 125 NEW BEST:: SOT 17489560 SOS 3470814 HAS SOPS 3470814 HAS SOUS 2662414 HAS SOUPS 2662414 WITH SCORE 2665884.814
AT ITER 204 NEW BEST:: SOT 17489559 SOS 3470812 HAS SOPS 3470812 HAS SOUS 2662412 HAS SOUPS 2662412 WITH SCORE 2665882.812
AT ITER 207 NEW BEST:: SOT 17487930 SOS 3472090 HAS SOPS 3472090 HAS SOUS 2661927 HAS SOUPS 2661927 WITH SCORE 2665399.09
AT ITER 254 NEW BEST:: SOT 17487899 SOS 3472028 HAS SOPS 3472028 HAS SOUS 2661865 HAS SOUPS 2661865 WITH SCORE 2665337.028
AT ITER 271 NEW BEST:: SOT 17487452 SOS 3471577 HAS SOPS 3471577 HAS SOUS 2661417 HAS SOUPS 2661417 WITH SCORE 2664888.577
AT ITER 309 NEW BEST:: SOT 17487023 SOS 3471148 HAS SOPS 3471148 HAS SOUS 2660559 HAS SOUPS 2660559 WITH SCORE 2664030.148
AT ITER 327 NEW BEST:: SOT 17487022 SOS 3471146 HAS SOPS 3471146 HAS SOUS 2660557 HAS SOUPS 2660557 WITH SCORE 2664028.146
AT ITER 368 NEW BEST:: SOT 17487022 SOS 3470958 HAS SOPS 3470958 HAS SOUS 2660369 HAS SOUPS 2660369 WITH SCORE 2663839.958
AT ITER 397 NEW BEST:: SOT 17487008 SOS 3470930 HAS SOPS 3470930 HAS SOUS 2660341 HAS SOUPS 2660341 WITH SCORE 2663811.93
AT ITER 404 NEW BEST:: SOT 17486891 SOS 3470847 HAS SOPS 3470847 HAS SOUS 2660246 HAS SOUPS 2660246 WITH SCORE 2663716.847
AT ITER 421 NEW BEST:: SOT 17486891 SOS 3471645 HAS SOPS 3471645 HAS SOUS 2660245 HAS SOUPS 2660245 WITH SCORE 2663716.645
AT ITER 433 NEW BEST:: SOT 17486434 SOS 3471184 HAS SOPS 3471184 HAS SOUS 2659787 HAS SOUPS 2659787 WITH SCORE 2663258.184
AT ITER 482 NEW BEST:: SOT 17480142 SOS 3466608 HAS SOPS 3466608 HAS SOUS 2655211 HAS SOUPS 2655211 WITH SCORE 2658677.608
AT ITER 499 NEW BEST:: SOT 17480398 SOS 3467120 HAS SOPS 3467120 HAS SOUS 2654654 HAS SOUPS 2654654 WITH SCORE 2658121.12
AT ITER 507 NEW BEST:: SOT 17479922 SOS 3466644 HAS SOPS 3466644 HAS SOUS 2654178 HAS SOUPS 2654178 WITH SCORE 2657644.644
AT ITER 531 NEW BEST:: SOT 17479921 SOS 3466642 HAS SOPS 3466642 HAS SOUS 2654176 HAS SOUPS 2654176 WITH SCORE 2657642.642
AT ITER 558 NEW BEST:: SOT 17478984 SOS 3465970 HAS SOPS 3465970 HAS SOUS 2653239 HAS SOUPS 2653239 WITH SCORE 2656704.97
AT ITER 576 NEW BEST:: SOT 17478693 SOS 3465388 HAS SOPS 3465388 HAS SOUS 2652657 HAS SOUPS 2652657 WITH SCORE 2656122.388
AT ITER 583 NEW BEST:: SOT 17478693 SOS 3465216 HAS SOPS 3465216 HAS SOUS 2652657 HAS SOUPS 2652657 WITH SCORE 2656122.216
AT ITER 596 NEW BEST:: SOT 17478693 SOS 3464580 HAS SOPS 3464580 HAS SOUS 2652445 HAS SOUPS 2652445 WITH SCORE 2655909.58
AT ITER 601 NEW BEST:: SOT 17478693 SOS 3464580 HAS SOPS 3464580 HAS SOUS 2651731 HAS SOUPS 2651731 WITH SCORE 2655195.58
AT ITER 622 NEW BEST:: SOT 17478202 SOS 3464559 HAS SOPS 3464559 HAS SOUS 2651710 HAS SOUPS 2651710 WITH SCORE 2655174.559
AT ITER 625 NEW BEST:: SOT 17472179 SOS 3471257 HAS SOPS 3471257 HAS SOUS 2649254 HAS SOUPS 2649254 WITH SCORE 2652725.257
AT ITER 646 NEW BEST:: SOT 17471645 SOS 3478325 HAS SOPS 3478325 HAS SOUS 2649007 HAS SOUPS 2649007 WITH SCORE 2652485.325
AT ITER 712 NEW BEST:: SOT 17471159 SOS 3475895 HAS SOPS 3475895 HAS SOUS 2648035 HAS SOUPS 2648035 WITH SCORE 2651510.895
AT ITER 717 NEW BEST:: SOT 17465913 SOS 3498099 HAS SOPS 3498099 HAS SOUS 2645037 HAS SOUPS 2645037 WITH SCORE 2648535.099
AT ITER 720 NEW BEST:: SOT 17464144 SOS 3497068 HAS SOPS 3497068 HAS SOUS 2644550 HAS SOUPS 2644550 WITH SCORE 2648047.068
AT ITER 734 NEW BEST:: SOT 17462770 SOS 3496573 HAS SOPS 3496573 HAS SOUS 2643927 HAS SOUPS 2643927 WITH SCORE 2647423.573
AT ITER 735 NEW BEST:: SOT 17462409 SOS 3496212 HAS SOPS 3496212 HAS SOUS 2643566 HAS SOUPS 2643566 WITH SCORE 2647062.212
AT ITER 741 NEW BEST:: SOT 17462409 SOS 3496211 HAS SOPS 3496211 HAS SOUS 2643565 HAS SOUPS 2643565 WITH SCORE 2647061.211
AT ITER 745 NEW BEST:: SOT 17461840 SOS 3495642 HAS SOPS 3495642 HAS SOUS 2642996 HAS SOUPS 2642996 WITH SCORE 2646491.642
AT ITER 750 NEW BEST:: SOT 17461849 SOS 3494544 HAS SOPS 3494544 HAS SOUS 2642637 HAS SOUPS 2642637 WITH SCORE 2646131.544
AT ITER 755 NEW BEST:: SOT 17448104 SOS 3510034 HAS SOPS 3510034 HAS SOUS 2630929 HAS SOUPS 2630929 WITH SCORE 2634439.034
AT ITER 762 NEW BEST:: SOT 17448104 SOS 3509557 HAS SOPS 3509557 HAS SOUS 2630770 HAS SOUPS 2630770 WITH SCORE 2634279.557
AT ITER 804 NEW BEST:: SOT 17448104 SOS 3509557 HAS SOPS 3509557 HAS SOUS 2630769 HAS SOUPS 2630769 WITH SCORE 2634278.557
AT ITER 824 NEW BEST:: SOT 17447226 SOS 3510137 HAS SOPS 3510137 HAS SOUS 2630579 HAS SOUPS 2630579 WITH SCORE 2634089.137
AT ITER 867 NEW BEST:: SOT 17446696 SOS 3508282 HAS SOPS 3508282 HAS SOUS 2629784 HAS SOUPS 2629784 WITH SCORE 2633292.282
AT ITER 868 NEW BEST:: SOT 17446552 SOS 3508138 HAS SOPS 3508138 HAS SOUS 2629690 HAS SOUPS 2629690 WITH SCORE 2633198.138
AT ITER 871 NEW BEST:: SOT 17446552 SOS 3508074 HAS SOPS 3508074 HAS SOUS 2629690 HAS SOUPS 2629690 WITH SCORE 2633198.074
AT ITER 873 NEW BEST:: SOT 17446552 SOS 3508074 HAS SOPS 3508074 HAS SOUS 2629668 HAS SOUPS 2629668 WITH SCORE 2633176.074
AT ITER 882 NEW BEST:: SOT 17445845 SOS 3508073 HAS SOPS 3508073 HAS SOUS 2629667 HAS SOUPS 2629667 WITH SCORE 2633175.073
AT ITER 891 NEW BEST:: SOT 17445785 SOS 3507953 HAS SOPS 3507953 HAS SOUS 2629547 HAS SOUPS 2629547 WITH SCORE 2633054.953
AT ITER 897 NEW BEST:: SOT 17446149 SOS 3508218 HAS SOPS 3508218 HAS SOUS 2629447 HAS SOUPS 2629447 WITH SCORE 2632955.218
AT ITER 899 NEW BEST:: SOT 17445987 SOS 3507894 HAS SOPS 3507894 HAS SOUS 2629123 HAS SOUPS 2629123 WITH SCORE 2632630.894
AT ITER 925 NEW BEST:: SOT 17445528 SOS 3506976 HAS SOPS 3506976 HAS SOUS 2628007 HAS SOUPS 2628007 WITH SCORE 2631513.976
AT ITER 930 NEW BEST:: SOT 17444948 SOS 3505816 HAS SOPS 3505816 HAS SOUS 2626847 HAS SOUPS 2626847 WITH SCORE 2630352.816
AT ITER 933 NEW BEST:: SOT 17444948 SOS 3506688 HAS SOPS 3506688 HAS SOUS 2626846 HAS SOUPS 2626846 WITH SCORE 2630352.688
AT ITER 962 NEW BEST:: SOT 17443994 SOS 3502392 HAS SOPS 3502392 HAS SOUS 2625096 HAS SOUPS 2625096 WITH SCORE 2628598.392
AT ITER 965 NEW BEST:: SOT 17444104 SOS 3498179 HAS SOPS 3498179 HAS SOUS 2624543 HAS SOUPS 2624543 WITH SCORE 2628041.179
AT ITER 984 NEW BEST:: SOT 17443925 SOS 3497821 HAS SOPS 3497821 HAS SOUS 2624185 HAS SOUPS 2624185 WITH SCORE 2627682.821
AT ITER 988 NEW BEST:: SOT 17443925 SOS 3497821 HAS SOPS 3497821 HAS SOUS 2623686 HAS SOUPS 2623686 WITH SCORE 2627183.821
AT ITER 1001 NEW BEST:: SOT 17442915 SOS 3497316 HAS SOPS 3497316 HAS SOUS 2623181 HAS SOUPS 2623181 WITH SCORE 2626678.316
AT ITER 1003 NEW BEST:: SOT 17443224 SOS 3496921 HAS SOPS 3496921 HAS SOUS 2622786 HAS SOUPS 2622786 WITH SCORE 2626282.921
AT ITER 1004 NEW BEST:: SOT 17443223 SOS 3498319 HAS SOPS 3498319 HAS SOUS 2622783 HAS SOUPS 2622783 WITH SCORE 2626281.319
AT ITER 1016 NEW BEST:: SOT 17443223 SOS 3498233 HAS SOPS 3498233 HAS SOUS 2622783 HAS SOUPS 2622783 WITH SCORE 2626281.233
AT ITER 1043 NEW BEST:: SOT 17443223 SOS 3498110 HAS SOPS 3498110 HAS SOUS 2622660 HAS SOUPS 2622660 WITH SCORE 2626158.11
AT ITER 1056 NEW BEST:: SOT 17443265 SOS 3498109 HAS SOPS 3498109 HAS SOUS 2622658 HAS SOUPS 2622658 WITH SCORE 2626156.109
AT ITER 1091 NEW BEST:: SOT 17443170 SOS 3497918 HAS SOPS 3497918 HAS SOUS 2622055 HAS SOUPS 2622055 WITH SCORE 2625552.918
AT ITER 1140 NEW BEST:: SOT 17443170 SOS 3498177 HAS SOPS 3498177 HAS SOUS 2622054 HAS SOUPS 2622054 WITH SCORE 2625552.177
AT ITER 1179 NEW BEST:: SOT 17443075 SOS 3497987 HAS SOPS 3497987 HAS SOUS 2621218 HAS SOUPS 2621218 WITH SCORE 2624715.987
AT ITER 1201 NEW BEST:: SOT 17443075 SOS 3497968 HAS SOPS 3497968 HAS SOUS 2621218 HAS SOUPS 2621218 WITH SCORE 2624715.968
AT ITER 1202 NEW BEST:: SOT 17443075 SOS 3497900 HAS SOPS 3497900 HAS SOUS 2621150 HAS SOUPS 2621150 WITH SCORE 2624647.9
AT ITER 1205 NEW BEST:: SOT 17442390 SOS 3494475 HAS SOPS 3494475 HAS SOUS 2619780 HAS SOUPS 2619780 WITH SCORE 2623274.475
AT ITER 1223 NEW BEST:: SOT 17442390 SOS 3494400 HAS SOPS 3494400 HAS SOUS 2619780 HAS SOUPS 2619780 WITH SCORE 2623274.4
AT ITER 1226 NEW BEST:: SOT 17442389 SOS 3496017 HAS SOPS 3496017 HAS SOUS 2619777 HAS SOUPS 2619777 WITH SCORE 2623273.017
AT ITER 1241 NEW BEST:: SOT 17442003 SOS 3495245 HAS SOPS 3495245 HAS SOUS 2618896 HAS SOUPS 2618896 WITH SCORE 2622391.245
AT ITER 1291 NEW BEST:: SOT 17442003 SOS 3494946 HAS SOPS 3494946 HAS SOUS 2618896 HAS SOUPS 2618896 WITH SCORE 2622390.946
AT ITER 1312 NEW BEST:: SOT 17440726 SOS 3494858 HAS SOPS 3494858 HAS SOUS 2618609 HAS SOUPS 2618609 WITH SCORE 2622103.858
AT ITER 1328 NEW BEST:: SOT 17440130 SOS 3494293 HAS SOPS 3494293 HAS SOUS 2618044 HAS SOUPS 2618044 WITH SCORE 2621538.293
AT ITER 1338 NEW BEST:: SOT 17439986 SOS 3494005 HAS SOPS 3494005 HAS SOUS 2617835 HAS SOUPS 2617835 WITH SCORE 2621329.005
AT ITER 1342 NEW BEST:: SOT 17439986 SOS 3492998 HAS SOPS 3492998 HAS SOUS 2617034 HAS SOUPS 2617034 WITH SCORE 2620526.998
AT ITER 1364 NEW BEST:: SOT 17437802 SOS 3490814 HAS SOPS 3490814 HAS SOUS 2614850 HAS SOUPS 2614850 WITH SCORE 2618340.814
AT ITER 1366 NEW BEST:: SOT 17437648 SOS 3490506 HAS SOPS 3490506 HAS SOUS 2614542 HAS SOUPS 2614542 WITH SCORE 2618032.506
AT ITER 1375 NEW BEST:: SOT 17437986 SOS 3491182 HAS SOPS 3491182 HAS SOUS 2614078 HAS SOUPS 2614078 WITH SCORE 2617569.182
AT ITER 1376 NEW BEST:: SOT 17437736 SOS 3490682 HAS SOPS 3490682 HAS SOUS 2613578 HAS SOUPS 2613578 WITH SCORE 2617068.682
AT ITER 1381 NEW BEST:: SOT 17436933 SOS 3487971 HAS SOPS 3487971 HAS SOUS 2612298 HAS SOUPS 2612298 WITH SCORE 2615785.971
AT ITER 1405 NEW BEST:: SOT 17436932 SOS 3487969 HAS SOPS 3487969 HAS SOUS 2612296 HAS SOUPS 2612296 WITH SCORE 2615783.969
AT ITER 1406 NEW BEST:: SOT 17435690 SOS 3487225 HAS SOPS 3487225 HAS SOUS 2611151 HAS SOUPS 2611151 WITH SCORE 2614638.225
AT ITER 1412 NEW BEST:: SOT 17435690 SOS 3487225 HAS SOPS 3487225 HAS SOUS 2611150 HAS SOUPS 2611150 WITH SCORE 2614637.225
AT ITER 1426 NEW BEST:: SOT 17435399 SOS 3486934 HAS SOPS 3486934 HAS SOUS 2610409 HAS SOUPS 2610409 WITH SCORE 2613895.934
AT ITER 1438 NEW BEST:: SOT 17435271 SOS 3486870 HAS SOPS 3486870 HAS SOUS 2610345 HAS SOUPS 2610345 WITH SCORE 2613831.87
AT ITER 1446 NEW BEST:: SOT 17434999 SOS 3486734 HAS SOPS 3486734 HAS SOUS 2610209 HAS SOUPS 2610209 WITH SCORE 2613695.734
AT ITER 1469 NEW BEST:: SOT 17434875 SOS 3486486 HAS SOPS 3486486 HAS SOUS 2609961 HAS SOUPS 2609961 WITH SCORE 2613447.486
AT ITER 1485 NEW BEST:: SOT 17434386 SOS 3486318 HAS SOPS 3486318 HAS SOUS 2609633 HAS SOUPS 2609633 WITH SCORE 2613119.318
AT ITER 1487 NEW BEST:: SOT 17434358 SOS 3486290 HAS SOPS 3486290 HAS SOUS 2609605 HAS SOUPS 2609605 WITH SCORE 2613091.29
AT ITER 1493 NEW BEST:: SOT 17434264 SOS 3486102 HAS SOPS 3486102 HAS SOUS 2609417 HAS SOUPS 2609417 WITH SCORE 2612903.102
AT ITER 1518 NEW BEST:: SOT 17433834 SOS 3486532 HAS SOPS 3486532 HAS SOUS 2608987 HAS SOUPS 2608987 WITH SCORE 2612473.532
AT ITER 1521 NEW BEST:: SOT 17433518 SOS 3486216 HAS SOPS 3486216 HAS SOUS 2608671 HAS SOUPS 2608671 WITH SCORE 2612157.216
AT ITER 1540 NEW BEST:: SOT 17433518 SOS 3486216 HAS SOPS 3486216 HAS SOUS 2608670 HAS SOUPS 2608670 WITH SCORE 2612156.216
AT ITER 1543 NEW BEST:: SOT 17433158 SOS 3485852 HAS SOPS 3485852 HAS SOUS 2608309 HAS SOUPS 2608309 WITH SCORE 2611794.852
AT ITER 1582 NEW BEST:: SOT 17421565 SOS 3489713 HAS SOPS 3489713 HAS SOUS 2597810 HAS SOUPS 2597810 WITH SCORE 2601299.713
AT ITER 1585 NEW BEST:: SOT 17421564 SOS 3491771 HAS SOPS 3491771 HAS SOUS 2597807 HAS SOUPS 2597807 WITH SCORE 2601298.771
AT ITER 1589 NEW BEST:: SOT 17421564 SOS 3491651 HAS SOPS 3491651 HAS SOUS 2597687 HAS SOUPS 2597687 WITH SCORE 2601178.651
AT ITER 1591 NEW BEST:: SOT 17421274 SOS 3491071 HAS SOPS 3491071 HAS SOUS 2596892 HAS SOUPS 2596892 WITH SCORE 2600383.071
AT ITER 1599 NEW BEST:: SOT 17421274 SOS 3490936 HAS SOPS 3490936 HAS SOUS 2596757 HAS SOUPS 2596757 WITH SCORE 2600247.936
AT ITER 1604 NEW BEST:: SOT 17421274 SOS 3491439 HAS SOPS 3491439 HAS SOUS 2596756 HAS SOUPS 2596756 WITH SCORE 2600247.439
AT ITER 1620 NEW BEST:: SOT 17420413 SOS 3487134 HAS SOPS 3487134 HAS SOUS 2595034 HAS SOUPS 2595034 WITH SCORE 2598521.134
AT ITER 1625 NEW BEST:: SOT 17420064 SOS 3486305 HAS SOPS 3486305 HAS SOUS 2594370 HAS SOUPS 2594370 WITH SCORE 2597856.305
AT ITER 1634 NEW BEST:: SOT 17419718 SOS 3485613 HAS SOPS 3485613 HAS SOUS 2593678 HAS SOUPS 2593678 WITH SCORE 2597163.613
AT ITER 1646 NEW BEST:: SOT 17419717 SOS 3485611 HAS SOPS 3485611 HAS SOUS 2593676 HAS SOUPS 2593676 WITH SCORE 2597161.611
AT ITER 1647 NEW BEST:: SOT 17419693 SOS 3485878 HAS SOPS 3485878 HAS SOUS 2593628 HAS SOUPS 2593628 WITH SCORE 2597113.878
AT ITER 1666 NEW BEST:: SOT 17419087 SOS 3485272 HAS SOPS 3485272 HAS SOUS 2593022 HAS SOUPS 2593022 WITH SCORE 2596507.272
AT ITER 1706 NEW BEST:: SOT 17419086 SOS 3485270 HAS SOPS 3485270 HAS SOUS 2593020 HAS SOUPS 2593020 WITH SCORE 2596505.27
AT ITER 1708 NEW BEST:: SOT 17418155 SOS 3485235 HAS SOPS 3485235 HAS SOUS 2592985 HAS SOUPS 2592985 WITH SCORE 2596470.235
AT ITER 1775 NEW BEST:: SOT 17416877 SOS 3484809 HAS SOPS 3484809 HAS SOUS 2592559 HAS SOUPS 2592559 WITH SCORE 2596043.809
AT ITER 1780 NEW BEST:: SOT 17416877 SOS 3484417 HAS SOPS 3484417 HAS SOUS 2592559 HAS SOUPS 2592559 WITH SCORE 2596043.417
AT ITER 1785 NEW BEST:: SOT 17416255 SOS 3483173 HAS SOPS 3483173 HAS SOUS 2591386 HAS SOUPS 2591386 WITH SCORE 2594869.173
AT ITER 1814 NEW BEST:: SOT 17416127 SOS 3482917 HAS SOPS 3482917 HAS SOUS 2591284 HAS SOUPS 2591284 WITH SCORE 2594766.917
AT ITER 1868 NEW BEST:: SOT 17416126 SOS 3482915 HAS SOPS 3482915 HAS SOUS 2591283 HAS SOUPS 2591283 WITH SCORE 2594765.915
AT ITER 1882 NEW BEST:: SOT 17415554 SOS 3482621 HAS SOPS 3482621 HAS SOUS 2590989 HAS SOUPS 2590989 WITH SCORE 2594471.621
AT ITER 1893 NEW BEST:: SOT 17415327 SOS 3482746 HAS SOPS 3482746 HAS SOUS 2590955 HAS SOUPS 2590955 WITH SCORE 2594437.746
AT ITER 1900 NEW BEST:: SOT 17415072 SOS 3482236 HAS SOPS 3482236 HAS SOUS 2590445 HAS SOUPS 2590445 WITH SCORE 2593927.236
AT ITER 1983 NEW BEST:: SOT 17414868 SOS 3481828 HAS SOPS 3481828 HAS SOUS 2589583 HAS SOUPS 2589583 WITH SCORE 2593064.828
AT ITER 2006 NEW BEST:: SOT 17414717 SOS 3481527 HAS SOPS 3481527 HAS SOUS 2589282 HAS SOUPS 2589282 WITH SCORE 2592763.527
AT ITER 2033 NEW BEST:: SOT 17414717 SOS 3481527 HAS SOPS 3481527 HAS SOUS 2589281 HAS SOUPS 2589281 WITH SCORE 2592762.527
AT ITER 2035 NEW BEST:: SOT 17414294 SOS 3481100 HAS SOPS 3481100 HAS SOUS 2588857 HAS SOUPS 2588857 WITH SCORE 2592338.1
AT ITER 2053 NEW BEST:: SOT 17414377 SOS 3477607 HAS SOPS 3477607 HAS SOUS 2588357 HAS SOUPS 2588357 WITH SCORE 2591834.607
AT ITER 2054 NEW BEST:: SOT 17414319 SOS 3477433 HAS SOPS 3477433 HAS SOUS 2588183 HAS SOUPS 2588183 WITH SCORE 2591660.433
AT ITER 2058 NEW BEST:: SOT 17414367 SOS 3477529 HAS SOPS 3477529 HAS SOUS 2587927 HAS SOUPS 2587927 WITH SCORE 2591404.529
AT ITER 2065 NEW BEST:: SOT 17414147 SOS 3477305 HAS SOPS 3477305 HAS SOUS 2587706 HAS SOUPS 2587706 WITH SCORE 2591183.305
AT ITER 2083 NEW BEST:: SOT 17414067 SOS 3476249 HAS SOPS 3476249 HAS SOUS 2587376 HAS SOUPS 2587376 WITH SCORE 2590852.249
AT ITER 2087 NEW BEST:: SOT 17413528 SOS 3475171 HAS SOPS 3475171 HAS SOUS 2586942 HAS SOUPS 2586942 WITH SCORE 2590417.171
AT ITER 2091 NEW BEST:: SOT 17413058 SOS 3474231 HAS SOPS 3474231 HAS SOUS 2586470 HAS SOUPS 2586470 WITH SCORE 2589944.231
AT ITER 2104 NEW BEST:: SOT 17412943 SOS 3474001 HAS SOPS 3474001 HAS SOUS 2586240 HAS SOUPS 2586240 WITH SCORE 2589714.001
AT ITER 2119 NEW BEST:: SOT 17412410 SOS 3472935 HAS SOPS 3472935 HAS SOUS 2585174 HAS SOUPS 2585174 WITH SCORE 2588646.935
AT ITER 2121 NEW BEST:: SOT 17412180 SOS 3472475 HAS SOPS 3472475 HAS SOUS 2584430 HAS SOUPS 2584430 WITH SCORE 2587902.475
AT ITER 2155 NEW BEST:: SOT 17411940 SOS 3472557 HAS SOPS 3472557 HAS SOUS 2584260 HAS SOUPS 2584260 WITH SCORE 2587732.557
AT ITER 2174 NEW BEST:: SOT 17411668 SOS 3472021 HAS SOPS 3472021 HAS SOUS 2583916 HAS SOUPS 2583916 WITH SCORE 2587388.021
AT ITER 2215 NEW BEST:: SOT 17412720 SOS 3471739 HAS SOPS 3471739 HAS SOUS 2583899 HAS SOUPS 2583899 WITH SCORE 2587370.739
AT ITER 2229 NEW BEST:: SOT 17411837 SOS 3469973 HAS SOPS 3469973 HAS SOUS 2582262 HAS SOUPS 2582262 WITH SCORE 2585731.973
AT ITER 2238 NEW BEST:: SOT 17411836 SOS 3469971 HAS SOPS 3469971 HAS SOUS 2582260 HAS SOUPS 2582260 WITH SCORE 2585729.971
AT ITER 2250 NEW BEST:: SOT 17411836 SOS 3469971 HAS SOPS 3469971 HAS SOUS 2582259 HAS SOUPS 2582259 WITH SCORE 2585728.971
AT ITER 2260 NEW BEST:: SOT 17412070 SOS 3470439 HAS SOPS 3470439 HAS SOUS 2582123 HAS SOUPS 2582123 WITH SCORE 2585593.439
AT ITER 2262 NEW BEST:: SOT 17410754 SOS 3469781 HAS SOPS 3469781 HAS SOUS 2581465 HAS SOUPS 2581465 WITH SCORE 2584934.781
AT ITER 2292 NEW BEST:: SOT 17410553 SOS 3469379 HAS SOPS 3469379 HAS SOUS 2581264 HAS SOUPS 2581264 WITH SCORE 2584733.379
AT ITER 2293 NEW BEST:: SOT 17409782 SOS 3468604 HAS SOPS 3468604 HAS SOUS 2580492 HAS SOUPS 2580492 WITH SCORE 2583960.604
AT ITER 2299 NEW BEST:: SOT 17409781 SOS 3468602 HAS SOPS 3468602 HAS SOUS 2580490 HAS SOUPS 2580490 WITH SCORE 2583958.602
AT ITER 2311 NEW BEST:: SOT 17409629 SOS 3468450 HAS SOPS 3468450 HAS SOUS 2580338 HAS SOUPS 2580338 WITH SCORE 2583806.45
AT ITER 2331 NEW BEST:: SOT 17408528 SOS 3468576 HAS SOPS 3468576 HAS SOUS 2579819 HAS SOUPS 2579819 WITH SCORE 2583287.576
AT ITER 2352 NEW BEST:: SOT 17408666 SOS 3468619 HAS SOPS 3468619 HAS SOUS 2579724 HAS SOUPS 2579724 WITH SCORE 2583192.619
AT ITER 2359 NEW BEST:: SOT 17408535 SOS 3468357 HAS SOPS 3468357 HAS SOUS 2579462 HAS SOUPS 2579462 WITH SCORE 2582930.357
AT ITER 2371 NEW BEST:: SOT 17408276 SOS 3467580 HAS SOPS 3467580 HAS SOUS 2579203 HAS SOUPS 2579203 WITH SCORE 2582670.58
AT ITER 2376 NEW BEST:: SOT 17408162 SOS 3467352 HAS SOPS 3467352 HAS SOUS 2578975 HAS SOUPS 2578975 WITH SCORE 2582442.352
AT ITER 2406 NEW BEST:: SOT 17408392 SOS 3467151 HAS SOPS 3467151 HAS SOUS 2578774 HAS SOUPS 2578774 WITH SCORE 2582241.151
AT ITER 2411 NEW BEST:: SOT 17407789 SOS 3467025 HAS SOPS 3467025 HAS SOUS 2578648 HAS SOUPS 2578648 WITH SCORE 2582115.025
AT ITER 2417 NEW BEST:: SOT 17407707 SOS 3466861 HAS SOPS 3466861 HAS SOUS 2578566 HAS SOUPS 2578566 WITH SCORE 2582032.861
AT ITER 2420 NEW BEST:: SOT 17407528 SOS 3466781 HAS SOPS 3466781 HAS SOUS 2578486 HAS SOUPS 2578486 WITH SCORE 2581952.781
AT ITER 2441 NEW BEST:: SOT 17406694 SOS 3465113 HAS SOPS 3465113 HAS SOUS 2577137 HAS SOUPS 2577137 WITH SCORE 2580602.113
AT ITER 2486 NEW BEST:: SOT 17406223 SOS 3464642 HAS SOPS 3464642 HAS SOUS 2576666 HAS SOUPS 2576666 WITH SCORE 2580130.642
AT ITER 2500 NEW BEST:: SOT 17406222 SOS 3464640 HAS SOPS 3464640 HAS SOUS 2576664 HAS SOUPS 2576664 WITH SCORE 2580128.64
AT ITER 2517 NEW BEST:: SOT 17405716 SOS 3463477 HAS SOPS 3463477 HAS SOUS 2575726 HAS SOUPS 2575726 WITH SCORE 2579189.477
AT ITER 2531 NEW BEST:: SOT 17405341 SOS 3463102 HAS SOPS 3463102 HAS SOUS 2575351 HAS SOUPS 2575351 WITH SCORE 2578814.102
AT ITER 2557 NEW BEST:: SOT 17405356 SOS 3463132 HAS SOPS 3463132 HAS SOUS 2574310 HAS SOUPS 2574310 WITH SCORE 2577773.132
AT ITER 2575 NEW BEST:: SOT 17404651 SOS 3459607 HAS SOPS 3459607 HAS SOUS 2572900 HAS SOUPS 2572900 WITH SCORE 2576359.607
AT ITER 2595 NEW BEST:: SOT 17404357 SOS 3459392 HAS SOPS 3459392 HAS SOUS 2572648 HAS SOUPS 2572648 WITH SCORE 2576107.392
AT ITER 2596 NEW BEST:: SOT 17403041 SOS 3458326 HAS SOPS 3458326 HAS SOUS 2571456 HAS SOUPS 2571456 WITH SCORE 2574914.326
AT ITER 2605 NEW BEST:: SOT 17402827 SOS 3457898 HAS SOPS 3457898 HAS SOUS 2570933 HAS SOUPS 2570933 WITH SCORE 2574390.898
AT ITER 2623 NEW BEST:: SOT 17401074 SOS 3455353 HAS SOPS 3455353 HAS SOUS 2568657 HAS SOUPS 2568657 WITH SCORE 2572112.353
AT ITER 2647 NEW BEST:: SOT 17398653 SOS 3455527 HAS SOPS 3455527 HAS SOUS 2567490 HAS SOUPS 2567490 WITH SCORE 2570945.527
AT ITER 2668 NEW BEST:: SOT 17398757 SOS 3455735 HAS SOPS 3455735 HAS SOUS 2567472 HAS SOUPS 2567472 WITH SCORE 2570927.735
AT ITER 2672 NEW BEST:: SOT 17398757 SOS 3455723 HAS SOPS 3455723 HAS SOUS 2567460 HAS SOUPS 2567460 WITH SCORE 2570915.723
AT ITER 2673 NEW BEST:: SOT 17398273 SOS 3454755 HAS SOPS 3454755 HAS SOUS 2566492 HAS SOUPS 2566492 WITH SCORE 2569946.755
AT ITER 2682 NEW BEST:: SOT 17396625 SOS 3453283 HAS SOPS 3453283 HAS SOUS 2566036 HAS SOUPS 2566036 WITH SCORE 2569489.283
AT ITER 2688 NEW BEST:: SOT 17396464 SOS 3453118 HAS SOPS 3453118 HAS SOUS 2565874 HAS SOUPS 2565874 WITH SCORE 2569327.118
AT ITER 2698 NEW BEST:: SOT 17395584 SOS 3426360 HAS SOPS 3426360 HAS SOUS 2563592 HAS SOUPS 2563592 WITH SCORE 2567018.36
AT ITER 2717 NEW BEST:: SOT 17395539 SOS 3426270 HAS SOPS 3426270 HAS SOUS 2563547 HAS SOUPS 2563547 WITH SCORE 2566973.27
AT ITER 2731 NEW BEST:: SOT 17392736 SOS 3426529 HAS SOPS 3426529 HAS SOUS 2561401 HAS SOUPS 2561401 WITH SCORE 2564827.529
AT ITER 2751 NEW BEST:: SOT 17392136 SOS 3425929 HAS SOPS 3425929 HAS SOUS 2560801 HAS SOUPS 2560801 WITH SCORE 2564226.929
AT ITER 2757 NEW BEST:: SOT 17391972 SOS 3426093 HAS SOPS 3426093 HAS SOUS 2560800 HAS SOUPS 2560800 WITH SCORE 2564226.093
AT ITER 2762 NEW BEST:: SOT 17391528 SOS 3425649 HAS SOPS 3425649 HAS SOUS 2560578 HAS SOUPS 2560578 WITH SCORE 2564003.649
AT ITER 2772 NEW BEST:: SOT 17390378 SOS 3425074 HAS SOPS 3425074 HAS SOUS 2560003 HAS SOUPS 2560003 WITH SCORE 2563428.074
AT ITER 2798 NEW BEST:: SOT 17390363 SOS 3425044 HAS SOPS 3425044 HAS SOUS 2559973 HAS SOUPS 2559973 WITH SCORE 2563398.044
AT ITER 2802 NEW BEST:: SOT 17390017 SOS 3424940 HAS SOPS 3424940 HAS SOUS 2559750 HAS SOUPS 2559750 WITH SCORE 2563174.94
AT ITER 2810 NEW BEST:: SOT 17389626 SOS 3425328 HAS SOPS 3425328 HAS SOUS 2559748 HAS SOUPS 2559748 WITH SCORE 2563173.328
AT ITER 2817 NEW BEST:: SOT 17389128 SOS 3425328 HAS SOPS 3425328 HAS SOUS 2559499 HAS SOUPS 2559499 WITH SCORE 2562924.328
AT ITER 2826 NEW BEST:: SOT 17389127 SOS 3425326 HAS SOPS 3425326 HAS SOUS 2559497 HAS SOUPS 2559497 WITH SCORE 2562922.326
AT ITER 2834 NEW BEST:: SOT 17388354 SOS 3425032 HAS SOPS 3425032 HAS SOUS 2558724 HAS SOUPS 2558724 WITH SCORE 2562149.032
AT ITER 2851 NEW BEST:: SOT 17387805 SOS 3424479 HAS SOPS 3424479 HAS SOUS 2558174 HAS SOUPS 2558174 WITH SCORE 2561598.479
AT ITER 2859 NEW BEST:: SOT 17387787 SOS 3424444 HAS SOPS 3424444 HAS SOUS 2558139 HAS SOUPS 2558139 WITH SCORE 2561563.444
AT ITER 2863 NEW BEST:: SOT 17388101 SOS 3425072 HAS SOPS 3425072 HAS SOUS 2557921 HAS SOUPS 2557921 WITH SCORE 2561346.072
AT ITER 2877 NEW BEST:: SOT 17387509 SOS 3423888 HAS SOPS 3423888 HAS SOUS 2557376 HAS SOUPS 2557376 WITH SCORE 2560799.888
AT ITER 2891 NEW BEST:: SOT 17387260 SOS 3423391 HAS SOPS 3423391 HAS SOUS 2556879 HAS SOUPS 2556879 WITH SCORE 2560302.391
AT ITER 2895 NEW BEST:: SOT 17387092 SOS 3423055 HAS SOPS 3423055 HAS SOUS 2556543 HAS SOUPS 2556543 WITH SCORE 2559966.055
AT ITER 2908 NEW BEST:: SOT 17386688 SOS 3422247 HAS SOPS 3422247 HAS SOUS 2555735 HAS SOUPS 2555735 WITH SCORE 2559157.247
AT ITER 2921 NEW BEST:: SOT 17386366 SOS 3421405 HAS SOPS 3421405 HAS SOUS 2555276 HAS SOUPS 2555276 WITH SCORE 2558697.405
AT ITER 2998 NEW BEST:: SOT 17385244 SOS 3421858 HAS SOPS 3421858 HAS SOUS 2555127 HAS SOUPS 2555127 WITH SCORE 2558548.858
AT ITER 3001 NEW BEST:: SOT 17384984 SOS 3421858 HAS SOPS 3421858 HAS SOUS 2554867 HAS SOUPS 2554867 WITH SCORE 2558288.858
AT ITER 3010 NEW BEST:: SOT 17382410 SOS 3419986 HAS SOPS 3419986 HAS SOUS 2552995 HAS SOUPS 2552995 WITH SCORE 2556414.986
AT ITER 3035 NEW BEST:: SOT 17382139 SOS 3419444 HAS SOPS 3419444 HAS SOUS 2552453 HAS SOUPS 2552453 WITH SCORE 2555872.444
AT ITER 3074 NEW BEST:: SOT 17381843 SOS 3417964 HAS SOPS 3417964 HAS SOUS 2551861 HAS SOUPS 2551861 WITH SCORE 2555278.964
AT ITER 3118 NEW BEST:: SOT 17381842 SOS 3417807 HAS SOPS 3417807 HAS SOUS 2551704 HAS SOUPS 2551704 WITH SCORE 2555121.807
AT ITER 3121 NEW BEST:: SOT 17380309 SOS 3415763 HAS SOPS 3415763 HAS SOUS 2549944 HAS SOUPS 2549944 WITH SCORE 2553359.763
AT ITER 3139 NEW BEST:: SOT 17378089 SOS 3421298 HAS SOPS 3421298 HAS SOUS 2548618 HAS SOUPS 2548618 WITH SCORE 2552039.298
AT ITER 3141 NEW BEST:: SOT 17377939 SOS 3421594 HAS SOPS 3421594 HAS SOUS 2548467 HAS SOUPS 2548467 WITH SCORE 2551888.594
AT ITER 3149 NEW BEST:: SOT 17377405 SOS 3420526 HAS SOPS 3420526 HAS SOUS 2547399 HAS SOUPS 2547399 WITH SCORE 2550819.526
AT ITER 3173 NEW BEST:: SOT 17377317 SOS 3420482 HAS SOPS 3420482 HAS SOUS 2547311 HAS SOUPS 2547311 WITH SCORE 2550731.482
AT ITER 3181 NEW BEST:: SOT 17377317 SOS 3419966 HAS SOPS 3419966 HAS SOUS 2547311 HAS SOUPS 2547311 WITH SCORE 2550730.966
AT ITER 3241 NEW BEST:: SOT 17376976 SOS 3419884 HAS SOPS 3419884 HAS SOUS 2547025 HAS SOUPS 2547025 WITH SCORE 2550444.884
AT ITER 3274 NEW BEST:: SOT 17376283 SOS 3430870 HAS SOPS 3430870 HAS SOUS 2544008 HAS SOUPS 2544008 WITH SCORE 2547438.87
AT ITER 3276 NEW BEST:: SOT 17375349 SOS 3431429 HAS SOPS 3431429 HAS SOUS 2543959 HAS SOUPS 2543959 WITH SCORE 2547390.429
AT ITER 3294 NEW BEST:: SOT 17374720 SOS 3430171 HAS SOPS 3430171 HAS SOUS 2543347 HAS SOUPS 2543347 WITH SCORE 2546777.171
AT ITER 3306 NEW BEST:: SOT 17373527 SOS 3428763 HAS SOPS 3428763 HAS SOUS 2541939 HAS SOUPS 2541939 WITH SCORE 2545367.763
AT ITER 3338 NEW BEST:: SOT 17373111 SOS 3428609 HAS SOPS 3428609 HAS SOUS 2541749 HAS SOUPS 2541749 WITH SCORE 2545177.609
AT ITER 3363 NEW BEST:: SOT 17372954 SOS 3428295 HAS SOPS 3428295 HAS SOUS 2541435 HAS SOUPS 2541435 WITH SCORE 2544863.295
AT ITER 3366 NEW BEST:: SOT 17372424 SOS 3427235 HAS SOPS 3427235 HAS SOUS 2540375 HAS SOUPS 2540375 WITH SCORE 2543802.235
AT ITER 3387 NEW BEST:: SOT 17369931 SOS 3429025 HAS SOPS 3429025 HAS SOUS 2539581 HAS SOUPS 2539581 WITH SCORE 2543010.025
AT ITER 3391 NEW BEST:: SOT 17369507 SOS 3428813 HAS SOPS 3428813 HAS SOUS 2539369 HAS SOUPS 2539369 WITH SCORE 2542797.813
AT ITER 3410 NEW BEST:: SOT 17369145 SOS 3428632 HAS SOPS 3428632 HAS SOUS 2539007 HAS SOUPS 2539007 WITH SCORE 2542435.632
AT ITER 3415 NEW BEST:: SOT 17368621 SOS 3427584 HAS SOPS 3427584 HAS SOUS 2537959 HAS SOUPS 2537959 WITH SCORE 2541386.584
AT ITER 3416 NEW BEST:: SOT 17368604 SOS 3427550 HAS SOPS 3427550 HAS SOUS 2537942 HAS SOUPS 2537942 WITH SCORE 2541369.55
AT ITER 3427 NEW BEST:: SOT 17368278 SOS 3427393 HAS SOPS 3427393 HAS SOUS 2537781 HAS SOUPS 2537781 WITH SCORE 2541208.393
AT ITER 3429 NEW BEST:: SOT 17368239 SOS 3427387 HAS SOPS 3427387 HAS SOUS 2537775 HAS SOUPS 2537775 WITH SCORE 2541202.387
AT ITER 3434 NEW BEST:: SOT 17368095 SOS 3427171 HAS SOPS 3427171 HAS SOUS 2537559 HAS SOUPS 2537559 WITH SCORE 2540986.171
AT ITER 3440 NEW BEST:: SOT 17368030 SOS 3427161 HAS SOPS 3427161 HAS SOUS 2537558 HAS SOUPS 2537558 WITH SCORE 2540985.161
AT ITER 3457 NEW BEST:: SOT 17362475 SOS 3440395 HAS SOPS 3440395 HAS SOUS 2536381 HAS SOUPS 2536381 WITH SCORE 2539821.395
AT ITER 3466 NEW BEST:: SOT 17362475 SOS 3440395 HAS SOPS 3440395 HAS SOUS 2535679 HAS SOUPS 2535679 WITH SCORE 2539119.395
AT ITER 3474 NEW BEST:: SOT 17362430 SOS 3440305 HAS SOPS 3440305 HAS SOUS 2535589 HAS SOUPS 2535589 WITH SCORE 2539029.305
AT ITER 3490 NEW BEST:: SOT 17362429 SOS 3440303 HAS SOPS 3440303 HAS SOUS 2535588 HAS SOUPS 2535588 WITH SCORE 2539028.303
AT ITER 3496 NEW BEST:: SOT 17362429 SOS 3440303 HAS SOPS 3440303 HAS SOUS 2535554 HAS SOUPS 2535554 WITH SCORE 2538994.303
AT ITER 3503 NEW BEST:: SOT 17360142 SOS 3435885 HAS SOPS 3435885 HAS SOUS 2533306 HAS SOUPS 2533306 WITH SCORE 2536741.885
AT ITER 3508 NEW BEST:: SOT 17360093 SOS 3435858 HAS SOPS 3435858 HAS SOUS 2533288 HAS SOUPS 2533288 WITH SCORE 2536723.858
AT ITER 3520 NEW BEST:: SOT 17359986 SOS 3435644 HAS SOPS 3435644 HAS SOUS 2533074 HAS SOUPS 2533074 WITH SCORE 2536509.644
AT ITER 3549 NEW BEST:: SOT 17359985 SOS 3435011 HAS SOPS 3435011 HAS SOUS 2532441 HAS SOUPS 2532441 WITH SCORE 2535876.011
AT ITER 3558 NEW BEST:: SOT 17359821 SOS 3433891 HAS SOPS 3433891 HAS SOUS 2532113 HAS SOUPS 2532113 WITH SCORE 2535546.891
AT ITER 3575 NEW BEST:: SOT 17359196 SOS 3431466 HAS SOPS 3431466 HAS SOUS 2531933 HAS SOUPS 2531933 WITH SCORE 2535364.466
AT ITER 3596 NEW BEST:: SOT 17356027 SOS 3428213 HAS SOPS 3428213 HAS SOUS 2529071 HAS SOUPS 2529071 WITH SCORE 2532499.213
AT ITER 3635 NEW BEST:: SOT 17355931 SOS 3428021 HAS SOPS 3428021 HAS SOUS 2528975 HAS SOUPS 2528975 WITH SCORE 2532403.021
AT ITER 3664 NEW BEST:: SOT 17355664 SOS 3427487 HAS SOPS 3427487 HAS SOUS 2528441 HAS SOUPS 2528441 WITH SCORE 2531868.487
AT ITER 3691 NEW BEST:: SOT 17355185 SOS 3426529 HAS SOPS 3426529 HAS SOUS 2527483 HAS SOUPS 2527483 WITH SCORE 2530909.529
AT ITER 3726 NEW BEST:: SOT 17355063 SOS 3426285 HAS SOPS 3426285 HAS SOUS 2526835 HAS SOUPS 2526835 WITH SCORE 2530261.285
AT ITER 3728 NEW BEST:: SOT 17354505 SOS 3425723 HAS SOPS 3425723 HAS SOUS 2526276 HAS SOUPS 2526276 WITH SCORE 2529701.723
AT ITER 3746 NEW BEST:: SOT 17354321 SOS 3425631 HAS SOPS 3425631 HAS SOUS 2526184 HAS SOUPS 2526184 WITH SCORE 2529609.631
AT ITER 3789 NEW BEST:: SOT 17354321 SOS 3425468 HAS SOPS 3425468 HAS SOUS 2526021 HAS SOUPS 2526021 WITH SCORE 2529446.468
AT ITER 3842 NEW BEST:: SOT 17354044 SOS 3425190 HAS SOPS 3425190 HAS SOUS 2525743 HAS SOUPS 2525743 WITH SCORE 2529168.19
AT ITER 3912 NEW BEST:: SOT 17353986 SOS 3425074 HAS SOPS 3425074 HAS SOUS 2525305 HAS SOUPS 2525305 WITH SCORE 2528730.074
AT ITER 3927 NEW BEST:: SOT 17353600 SOS 3424302 HAS SOPS 3424302 HAS SOUS 2524533 HAS SOUPS 2524533 WITH SCORE 2527957.302
AT ITER 3949 NEW BEST:: SOT 17353600 SOS 3425009 HAS SOPS 3425009 HAS SOUS 2524532 HAS SOUPS 2524532 WITH SCORE 2527957.009
AT ITER 3955 NEW BEST:: SOT 17352794 SOS 3422904 HAS SOPS 3422904 HAS SOUS 2522260 HAS SOUPS 2522260 WITH SCORE 2525682.904
AT ITER 3970 NEW BEST:: SOT 17352794 SOS 3422690 HAS SOPS 3422690 HAS SOUS 2522046 HAS SOUPS 2522046 WITH SCORE 2525468.69
AT ITER 3974 NEW BEST:: SOT 17352793 SOS 3422688 HAS SOPS 3422688 HAS SOUS 2522044 HAS SOUPS 2522044 WITH SCORE 2525466.688
AT ITER 3996 NEW BEST:: SOT 17352279 SOS 3421660 HAS SOPS 3421660 HAS SOUS 2521530 HAS SOUPS 2521530 WITH SCORE 2524951.66
AT ITER 4012 NEW BEST:: SOT 17352271 SOS 3421644 HAS SOPS 3421644 HAS SOUS 2521514 HAS SOUPS 2521514 WITH SCORE 2524935.644
AT ITER 4031 NEW BEST:: SOT 17351490 SOS 3420859 HAS SOPS 3420859 HAS SOUS 2520732 HAS SOUPS 2520732 WITH SCORE 2524152.859
AT ITER 4043 NEW BEST:: SOT 17351130 SOS 3420499 HAS SOPS 3420499 HAS SOUS 2520372 HAS SOUPS 2520372 WITH SCORE 2523792.499
AT ITER 4045 NEW BEST:: SOT 17350989 SOS 3420217 HAS SOPS 3420217 HAS SOUS 2520090 HAS SOUPS 2520090 WITH SCORE 2523510.217
AT ITER 4068 NEW BEST:: SOT 17350989 SOS 3420666 HAS SOPS 3420666 HAS SOUS 2520089 HAS SOUPS 2520089 WITH SCORE 2523509.666
AT ITER 4093 NEW BEST:: SOT 17351201 SOS 3420612 HAS SOPS 3420612 HAS SOUS 2520035 HAS SOUPS 2520035 WITH SCORE 2523455.612
AT ITER 4144 NEW BEST:: SOT 17350515 SOS 3420611 HAS SOPS 3420611 HAS SOUS 2520034 HAS SOUPS 2520034 WITH SCORE 2523454.611
AT ITER 4150 NEW BEST:: SOT 17350370 SOS 3421333 HAS SOPS 3421333 HAS SOUS 2519999 HAS SOUPS 2519999 WITH SCORE 2523420.333
AT ITER 4218 NEW BEST:: SOT 17350370 SOS 3421333 HAS SOPS 3421333 HAS SOUS 2519680 HAS SOUPS 2519680 WITH SCORE 2523101.333
AT ITER 4276 NEW BEST:: SOT 17349719 SOS 3420031 HAS SOPS 3420031 HAS SOUS 2518378 HAS SOUPS 2518378 WITH SCORE 2521798.031
AT ITER 4294 NEW BEST:: SOT 17349719 SOS 3419985 HAS SOPS 3419985 HAS SOUS 2518332 HAS SOUPS 2518332 WITH SCORE 2521751.985
AT ITER 4307 NEW BEST:: SOT 17349201 SOS 3419463 HAS SOPS 3419463 HAS SOUS 2517813 HAS SOUPS 2517813 WITH SCORE 2521232.463
AT ITER 4317 NEW BEST:: SOT 17348661 SOS 3419320 HAS SOPS 3419320 HAS SOUS 2516688 HAS SOUPS 2516688 WITH SCORE 2520107.32
AT ITER 4345 NEW BEST:: SOT 17348767 SOS 3419213 HAS SOPS 3419213 HAS SOUS 2516687 HAS SOUPS 2516687 WITH SCORE 2520106.213
AT ITER 4406 NEW BEST:: SOT 17348228 SOS 3419038 HAS SOPS 3419038 HAS SOUS 2516512 HAS SOUPS 2516512 WITH SCORE 2519931.038
AT ITER 4410 NEW BEST:: SOT 17347743 SOS 3418553 HAS SOPS 3418553 HAS SOUS 2516027 HAS SOUPS 2516027 WITH SCORE 2519445.553
AT ITER 4416 NEW BEST:: SOT 17347743 SOS 3418454 HAS SOPS 3418454 HAS SOUS 2516022 HAS SOUPS 2516022 WITH SCORE 2519440.454
AT ITER 4482 NEW BEST:: SOT 17347713 SOS 3418394 HAS SOPS 3418394 HAS SOUS 2515962 HAS SOUPS 2515962 WITH SCORE 2519380.394
AT ITER 4505 NEW BEST:: SOT 17347713 SOS 3406975 HAS SOPS 3406975 HAS SOUS 2515962 HAS SOUPS 2515962 WITH SCORE 2519368.975
AT ITER 4525 NEW BEST:: SOT 17346790 SOS 3406806 HAS SOPS 3406806 HAS SOUS 2515598 HAS SOUPS 2515598 WITH SCORE 2519004.806
AT ITER 4529 NEW BEST:: SOT 17346381 SOS 3406397 HAS SOPS 3406397 HAS SOUS 2515189 HAS SOUPS 2515189 WITH SCORE 2518595.397
AT ITER 4544 NEW BEST:: SOT 17345653 SOS 3405669 HAS SOPS 3405669 HAS SOUS 2514825 HAS SOUPS 2514825 WITH SCORE 2518230.669
AT ITER 4553 NEW BEST:: SOT 17344403 SOS 3405806 HAS SOPS 3405806 HAS SOUS 2514592 HAS SOUPS 2514592 WITH SCORE 2517997.806
AT ITER 4565 NEW BEST:: SOT 17344195 SOS 3405494 HAS SOPS 3405494 HAS SOUS 2514488 HAS SOUPS 2514488 WITH SCORE 2517893.494
AT ITER 4571 NEW BEST:: SOT 17344162 SOS 3405428 HAS SOPS 3405428 HAS SOUS 2514455 HAS SOUPS 2514455 WITH SCORE 2517860.428
AT ITER 4584 NEW BEST:: SOT 17344158 SOS 3405421 HAS SOPS 3405421 HAS SOUS 2514448 HAS SOUPS 2514448 WITH SCORE 2517853.421
AT ITER 4597 NEW BEST:: SOT 17343816 SOS 3404839 HAS SOPS 3404839 HAS SOUS 2513569 HAS SOUPS 2513569 WITH SCORE 2516973.839
AT ITER 4637 NEW BEST:: SOT 17343875 SOS 3404735 HAS SOPS 3404735 HAS SOUS 2513554 HAS SOUPS 2513554 WITH SCORE 2516958.735
AT ITER 4638 NEW BEST:: SOT 17343805 SOS 3404779 HAS SOPS 3404779 HAS SOUS 2513460 HAS SOUPS 2513460 WITH SCORE 2516864.779
AT ITER 4644 NEW BEST:: SOT 17343342 SOS 3404548 HAS SOPS 3404548 HAS SOUS 2513232 HAS SOUPS 2513232 WITH SCORE 2516636.548
AT ITER 4647 NEW BEST:: SOT 17343155 SOS 3404174 HAS SOPS 3404174 HAS SOUS 2513102 HAS SOUPS 2513102 WITH SCORE 2516506.174
AT ITER 4654 NEW BEST:: SOT 17342433 SOS 3402910 HAS SOPS 3402910 HAS SOUS 2512309 HAS SOUPS 2512309 WITH SCORE 2515711.91
AT ITER 4656 NEW BEST:: SOT 17342169 SOS 3402382 HAS SOPS 3402382 HAS SOUS 2512135 HAS SOUPS 2512135 WITH SCORE 2515537.382
AT ITER 4658 NEW BEST:: SOT 17341867 SOS 3402382 HAS SOPS 3402382 HAS SOUS 2511984 HAS SOUPS 2511984 WITH SCORE 2515386.382
AT ITER 4676 NEW BEST:: SOT 17341867 SOS 3402274 HAS SOPS 3402274 HAS SOUS 2511876 HAS SOUPS 2511876 WITH SCORE 2515278.274
AT ITER 4690 NEW BEST:: SOT 17341308 SOS 3401156 HAS SOPS 3401156 HAS SOUS 2510758 HAS SOUPS 2510758 WITH SCORE 2514159.156
AT ITER 4720 NEW BEST:: SOT 17341087 SOS 3401129 HAS SOPS 3401129 HAS SOUS 2510644 HAS SOUPS 2510644 WITH SCORE 2514045.129
AT ITER 4723 NEW BEST:: SOT 17341087 SOS 3400463 HAS SOPS 3400463 HAS SOUS 2510644 HAS SOUPS 2510644 WITH SCORE 2514044.463
AT ITER 4734 NEW BEST:: SOT 17341087 SOS 3400336 HAS SOPS 3400336 HAS SOUS 2510517 HAS SOUPS 2510517 WITH SCORE 2513917.336
AT ITER 4750 NEW BEST:: SOT 17341084 SOS 3400330 HAS SOPS 3400330 HAS SOUS 2510511 HAS SOUPS 2510511 WITH SCORE 2513911.33
AT ITER 4756 NEW BEST:: SOT 17341084 SOS 3400171 HAS SOPS 3400171 HAS SOUS 2510511 HAS SOUPS 2510511 WITH SCORE 2513911.171
AT ITER 4757 NEW BEST:: SOT 17340695 SOS 3399393 HAS SOPS 3399393 HAS SOUS 2509733 HAS SOUPS 2509733 WITH SCORE 2513132.393
AT ITER 4761 NEW BEST:: SOT 17339972 SOS 3399393 HAS SOPS 3399393 HAS SOUS 2509731 HAS SOUPS 2509731 WITH SCORE 2513130.393
AT ITER 4763 NEW BEST:: SOT 17338673 SOS 3399839 HAS SOPS 3399839 HAS SOUS 2509417 HAS SOUPS 2509417 WITH SCORE 2512816.839
AT ITER 4783 NEW BEST:: SOT 17338055 SOS 3398617 HAS SOPS 3398617 HAS SOUS 2508648 HAS SOUPS 2508648 WITH SCORE 2512046.617
AT ITER 4789 NEW BEST:: SOT 17337999 SOS 3398505 HAS SOPS 3398505 HAS SOUS 2508536 HAS SOUPS 2508536 WITH SCORE 2511934.505
AT ITER 4806 NEW BEST:: SOT 17337999 SOS 3398128 HAS SOPS 3398128 HAS SOUS 2508536 HAS SOUPS 2508536 WITH SCORE 2511934.128
AT ITER 4809 NEW BEST:: SOT 17337998 SOS 3398126 HAS SOPS 3398126 HAS SOUS 2508535 HAS SOUPS 2508535 WITH SCORE 2511933.126
AT ITER 4850 NEW BEST:: SOT 17337553 SOS 3397733 HAS SOPS 3397733 HAS SOUS 2508142 HAS SOUPS 2508142 WITH SCORE 2511539.733
AT ITER 4882 NEW BEST:: SOT 17337393 SOS 3397413 HAS SOPS 3397413 HAS SOUS 2507982 HAS SOUPS 2507982 WITH SCORE 2511379.413
AT ITER 4904 NEW BEST:: SOT 17336776 SOS 3399417 HAS SOPS 3399417 HAS SOUS 2507373 HAS SOUPS 2507373 WITH SCORE 2510772.417
AT ITER 4906 NEW BEST:: SOT 17336603 SOS 3399071 HAS SOPS 3399071 HAS SOUS 2507027 HAS SOUPS 2507027 WITH SCORE 2510426.071
AT ITER 4916 NEW BEST:: SOT 17336232 SOS 3394443 HAS SOPS 3394443 HAS SOUS 2505996 HAS SOUPS 2505996 WITH SCORE 2509390.443
AT ITER 4922 NEW BEST:: SOT 17336102 SOS 3394183 HAS SOPS 3394183 HAS SOUS 2505863 HAS SOUPS 2505863 WITH SCORE 2509257.183
AT ITER 4938 NEW BEST:: SOT 17335810 SOS 3393599 HAS SOPS 3393599 HAS SOUS 2505279 HAS SOUPS 2505279 WITH SCORE 2508672.599
AT ITER 4943 NEW BEST:: SOT 17335679 SOS 3393337 HAS SOPS 3393337 HAS SOUS 2505017 HAS SOUPS 2505017 WITH SCORE 2508410.337
AT ITER 4984 NEW BEST:: SOT 17335329 SOS 3393031 HAS SOPS 3393031 HAS SOUS 2504711 HAS SOUPS 2504711 WITH SCORE 2508104.031
AT ITER 5034 NEW BEST:: SOT 17334297 SOS 3392578 HAS SOPS 3392578 HAS SOUS 2504216 HAS SOUPS 2504216 WITH SCORE 2507608.578
AT ITER 5072 NEW BEST:: SOT 17334113 SOS 3392210 HAS SOPS 3392210 HAS SOUS 2503215 HAS SOUPS 2503215 WITH SCORE 2506607.21
AT ITER 5087 NEW BEST:: SOT 17334113 SOS 3392437 HAS SOPS 3392437 HAS SOUS 2503214 HAS SOUPS 2503214 WITH SCORE 2506606.437
AT ITER 5110 NEW BEST:: SOT 17333988 SOS 3392433 HAS SOPS 3392433 HAS SOUS 2503213 HAS SOUPS 2503213 WITH SCORE 2506605.433
AT ITER 5113 NEW BEST:: SOT 17333988 SOS 3392129 HAS SOPS 3392129 HAS SOUS 2503213 HAS SOUPS 2503213 WITH SCORE 2506605.129
AT ITER 5167 NEW BEST:: SOT 17333690 SOS 3391827 HAS SOPS 3391827 HAS SOUS 2502914 HAS SOUPS 2502914 WITH SCORE 2506305.827
AT ITER 5202 NEW BEST:: SOT 17332895 SOS 3387852 HAS SOPS 3387852 HAS SOUS 2501324 HAS SOUPS 2501324 WITH SCORE 2504711.852
AT ITER 5215 NEW BEST:: SOT 17332856 SOS 3387774 HAS SOPS 3387774 HAS SOUS 2501246 HAS SOUPS 2501246 WITH SCORE 2504633.774
AT ITER 5222 NEW BEST:: SOT 17332697 SOS 3387456 HAS SOPS 3387456 HAS SOUS 2500928 HAS SOUPS 2500928 WITH SCORE 2504315.456
AT ITER 5224 NEW BEST:: SOT 17332697 SOS 3387456 HAS SOPS 3387456 HAS SOUS 2500922 HAS SOUPS 2500922 WITH SCORE 2504309.456
AT ITER 5229 NEW BEST:: SOT 17332614 SOS 3387290 HAS SOPS 3387290 HAS SOUS 2500756 HAS SOUPS 2500756 WITH SCORE 2504143.29
AT ITER 5239 NEW BEST:: SOT 17331526 SOS 3374234 HAS SOPS 3374234 HAS SOUS 2499668 HAS SOUPS 2499668 WITH SCORE 2503042.234
AT ITER 5257 NEW BEST:: SOT 17331511 SOS 3374852 HAS SOPS 3374852 HAS SOUS 2499591 HAS SOUPS 2499591 WITH SCORE 2502965.852
AT ITER 5286 NEW BEST:: SOT 17331276 SOS 3374633 HAS SOPS 3374633 HAS SOUS 2499367 HAS SOUPS 2499367 WITH SCORE 2502741.633
AT ITER 5309 NEW BEST:: SOT 17331276 SOS 3374240 HAS SOPS 3374240 HAS SOUS 2499367 HAS SOUPS 2499367 WITH SCORE 2502741.24
AT ITER 5320 NEW BEST:: SOT 17329875 SOS 3367782 HAS SOPS 3367782 HAS SOUS 2496524 HAS SOUPS 2496524 WITH SCORE 2499891.782
AT ITER 5326 NEW BEST:: SOT 17329623 SOS 3367278 HAS SOPS 3367278 HAS SOUS 2495759 HAS SOUPS 2495759 WITH SCORE 2499126.278
AT ITER 5334 NEW BEST:: SOT 17329257 SOS 3366546 HAS SOPS 3366546 HAS SOUS 2494316 HAS SOUPS 2494316 WITH SCORE 2497682.546
AT ITER 5345 NEW BEST:: SOT 17328913 SOS 3365445 HAS SOPS 3365445 HAS SOUS 2493776 HAS SOUPS 2493776 WITH SCORE 2497141.445
AT ITER 5362 NEW BEST:: SOT 17328686 SOS 3365214 HAS SOPS 3365214 HAS SOUS 2493548 HAS SOUPS 2493548 WITH SCORE 2496913.214
AT ITER 5365 NEW BEST:: SOT 17327460 SOS 3364601 HAS SOPS 3364601 HAS SOUS 2492935 HAS SOUPS 2492935 WITH SCORE 2496299.601
AT ITER 5390 NEW BEST:: SOT 17327454 SOS 3364594 HAS SOPS 3364594 HAS SOUS 2492919 HAS SOUPS 2492919 WITH SCORE 2496283.594
AT ITER 5394 NEW BEST:: SOT 17327182 SOS 3364897 HAS SOPS 3364897 HAS SOUS 2492844 HAS SOUPS 2492844 WITH SCORE 2496208.897
AT ITER 5413 NEW BEST:: SOT 17327106 SOS 3364745 HAS SOPS 3364745 HAS SOUS 2492020 HAS SOUPS 2492020 WITH SCORE 2495384.745
AT ITER 5418 NEW BEST:: SOT 17326992 SOS 3364518 HAS SOPS 3364518 HAS SOUS 2491793 HAS SOUPS 2491793 WITH SCORE 2495157.518
AT ITER 5430 NEW BEST:: SOT 17327091 SOS 3364125 HAS SOPS 3364125 HAS SOUS 2491400 HAS SOUPS 2491400 WITH SCORE 2494764.125
AT ITER 5467 NEW BEST:: SOT 17327091 SOS 3363977 HAS SOPS 3363977 HAS SOUS 2491252 HAS SOUPS 2491252 WITH SCORE 2494615.977
AT ITER 5495 NEW BEST:: SOT 17326469 SOS 3363355 HAS SOPS 3363355 HAS SOUS 2490630 HAS SOUPS 2490630 WITH SCORE 2493993.355
AT ITER 5523 NEW BEST:: SOT 17326433 SOS 3363283 HAS SOPS 3363283 HAS SOUS 2490558 HAS SOUPS 2490558 WITH SCORE 2493921.283
AT ITER 5525 NEW BEST:: SOT 17326433 SOS 3363283 HAS SOPS 3363283 HAS SOUS 2490148 HAS SOUPS 2490148 WITH SCORE 2493511.283
AT ITER 5528 NEW BEST:: SOT 17326225 SOS 3362072 HAS SOPS 3362072 HAS SOUS 2489732 HAS SOUPS 2489732 WITH SCORE 2493094.072
AT ITER 5537 NEW BEST:: SOT 17326225 SOS 3361547 HAS SOPS 3361547 HAS SOUS 2489207 HAS SOUPS 2489207 WITH SCORE 2492568.547
AT ITER 5562 NEW BEST:: SOT 17325993 SOS 3361083 HAS SOPS 3361083 HAS SOUS 2488975 HAS SOUPS 2488975 WITH SCORE 2492336.083
AT ITER 5591 NEW BEST:: SOT 17325884 SOS 3360865 HAS SOPS 3360865 HAS SOUS 2488757 HAS SOUPS 2488757 WITH SCORE 2492117.865
AT ITER 5607 NEW BEST:: SOT 17325855 SOS 3360807 HAS SOPS 3360807 HAS SOUS 2488699 HAS SOUPS 2488699 WITH SCORE 2492059.807
AT ITER 5638 NEW BEST:: SOT 17325342 SOS 3360469 HAS SOPS 3360469 HAS SOUS 2488364 HAS SOUPS 2488364 WITH SCORE 2491724.469
AT ITER 5641 NEW BEST:: SOT 17325296 SOS 3360377 HAS SOPS 3360377 HAS SOUS 2488272 HAS SOUPS 2488272 WITH SCORE 2491632.377
AT ITER 5673 NEW BEST:: SOT 17325274 SOS 3360344 HAS SOPS 3360344 HAS SOUS 2488261 HAS SOUPS 2488261 WITH SCORE 2491621.344
AT ITER 5703 NEW BEST:: SOT 17320461 SOS 3359742 HAS SOPS 3359742 HAS SOUS 2486589 HAS SOUPS 2486589 WITH SCORE 2489948.742
AT ITER 5733 NEW BEST:: SOT 17319967 SOS 3359001 HAS SOPS 3359001 HAS SOUS 2486095 HAS SOUPS 2486095 WITH SCORE 2489454.001
AT ITER 5751 NEW BEST:: SOT 17320072 SOS 3361496 HAS SOPS 3361496 HAS SOUS 2486049 HAS SOUPS 2486049 WITH SCORE 2489410.496
AT ITER 5766 NEW BEST:: SOT 17319939 SOS 3359806 HAS SOPS 3359806 HAS SOUS 2485921 HAS SOUPS 2485921 WITH SCORE 2489280.806
AT ITER 5774 NEW BEST:: SOT 17318359 SOS 3359768 HAS SOPS 3359768 HAS SOUS 2485883 HAS SOUPS 2485883 WITH SCORE 2489242.768
AT ITER 5780 NEW BEST:: SOT 17317505 SOS 3359713 HAS SOPS 3359713 HAS SOUS 2485274 HAS SOUPS 2485274 WITH SCORE 2488633.713
AT ITER 5788 NEW BEST:: SOT 17316975 SOS 3359183 HAS SOPS 3359183 HAS SOUS 2484214 HAS SOUPS 2484214 WITH SCORE 2487573.183
AT ITER 5806 NEW BEST:: SOT 17316614 SOS 3358461 HAS SOPS 3358461 HAS SOUS 2483492 HAS SOUPS 2483492 WITH SCORE 2486850.461
AT ITER 5812 NEW BEST:: SOT 17315505 SOS 3358523 HAS SOPS 3358523 HAS SOUS 2483143 HAS SOUPS 2483143 WITH SCORE 2486501.523
AT ITER 5825 NEW BEST:: SOT 17315505 SOS 3359467 HAS SOPS 3359467 HAS SOUS 2482826 HAS SOUPS 2482826 WITH SCORE 2486185.467
AT ITER 5888 NEW BEST:: SOT 17315505 SOS 3359297 HAS SOPS 3359297 HAS SOUS 2482741 HAS SOUPS 2482741 WITH SCORE 2486100.297
AT ITER 5892 NEW BEST:: SOT 17315496 SOS 3358820 HAS SOPS 3358820 HAS SOUS 2482570 HAS SOUPS 2482570 WITH SCORE 2485928.82
AT ITER 5904 NEW BEST:: SOT 17311549 SOS 3365967 HAS SOPS 3365967 HAS SOUS 2480321 HAS SOUPS 2480321 WITH SCORE 2483686.967
AT ITER 5910 NEW BEST:: SOT 17311000 SOS 3365552 HAS SOPS 3365552 HAS SOUS 2479802 HAS SOUPS 2479802 WITH SCORE 2483167.552
AT ITER 5915 NEW BEST:: SOT 17308561 SOS 3366400 HAS SOPS 3366400 HAS SOUS 2478862 HAS SOUPS 2478862 WITH SCORE 2482228.4
AT ITER 5924 NEW BEST:: SOT 17308561 SOS 3366325 HAS SOPS 3366325 HAS SOUS 2478862 HAS SOUPS 2478862 WITH SCORE 2482228.325
AT ITER 5935 NEW BEST:: SOT 17308549 SOS 3366301 HAS SOPS 3366301 HAS SOUS 2478838 HAS SOUPS 2478838 WITH SCORE 2482204.301
AT ITER 5961 NEW BEST:: SOT 17308549 SOS 3365972 HAS SOPS 3365972 HAS SOUS 2478838 HAS SOUPS 2478838 WITH SCORE 2482203.972
AT ITER 6022 NEW BEST:: SOT 17307655 SOS 3366239 HAS SOPS 3366239 HAS SOUS 2478629 HAS SOUPS 2478629 WITH SCORE 2481995.239
AT ITER 6023 NEW BEST:: SOT 17307655 SOS 3366034 HAS SOPS 3366034 HAS SOUS 2478526 HAS SOUPS 2478526 WITH SCORE 2481892.034
AT ITER 6033 NEW BEST:: SOT 17308114 SOS 3365742 HAS SOPS 3365742 HAS SOUS 2478380 HAS SOUPS 2478380 WITH SCORE 2481745.742
AT ITER 6066 NEW BEST:: SOT 17308297 SOS 3366108 HAS SOPS 3366108 HAS SOUS 2478005 HAS SOUPS 2478005 WITH SCORE 2481371.108
AT ITER 6081 NEW BEST:: SOT 17308213 SOS 3365856 HAS SOPS 3365856 HAS SOUS 2477837 HAS SOUPS 2477837 WITH SCORE 2481202.856
AT ITER 6107 NEW BEST:: SOT 17308131 SOS 3365692 HAS SOPS 3365692 HAS SOUS 2477785 HAS SOUPS 2477785 WITH SCORE 2481150.692
AT ITER 6126 NEW BEST:: SOT 17308130 SOS 3365586 HAS SOPS 3365586 HAS SOUS 2477784 HAS SOUPS 2477784 WITH SCORE 2481149.586
AT ITER 6128 NEW BEST:: SOT 17308128 SOS 3365237 HAS SOPS 3365237 HAS SOUS 2477667 HAS SOUPS 2477667 WITH SCORE 2481032.237
AT ITER 6170 NEW BEST:: SOT 17308007 SOS 3364995 HAS SOPS 3364995 HAS SOUS 2477546 HAS SOUPS 2477546 WITH SCORE 2480910.995
AT ITER 6189 NEW BEST:: SOT 17308007 SOS 3364484 HAS SOPS 3364484 HAS SOUS 2477035 HAS SOUPS 2477035 WITH SCORE 2480399.484
AT ITER 6196 NEW BEST:: SOT 17308007 SOS 3364396 HAS SOPS 3364396 HAS SOUS 2476947 HAS SOUPS 2476947 WITH SCORE 2480311.396
AT ITER 6200 NEW BEST:: SOT 17307842 SOS 3364230 HAS SOPS 3364230 HAS SOUS 2476781 HAS SOUPS 2476781 WITH SCORE 2480145.23
AT ITER 6221 NEW BEST:: SOT 17307842 SOS 3364014 HAS SOPS 3364014 HAS SOUS 2476781 HAS SOUPS 2476781 WITH SCORE 2480145.014
AT ITER 6252 NEW BEST:: SOT 17307792 SOS 3363914 HAS SOPS 3363914 HAS SOUS 2476731 HAS SOUPS 2476731 WITH SCORE 2480094.914
AT ITER 6254 NEW BEST:: SOT 17306941 SOS 3363416 HAS SOPS 3363416 HAS SOUS 2476161 HAS SOUPS 2476161 WITH SCORE 2479524.416
AT ITER 6260 NEW BEST:: SOT 17306931 SOS 3363396 HAS SOPS 3363396 HAS SOUS 2475112 HAS SOUPS 2475112 WITH SCORE 2478475.396
AT ITER 6287 NEW BEST:: SOT 17306898 SOS 3363330 HAS SOPS 3363330 HAS SOUS 2475046 HAS SOUPS 2475046 WITH SCORE 2478409.33
AT ITER 6288 NEW BEST:: SOT 17306457 SOS 3362889 HAS SOPS 3362889 HAS SOUS 2474605 HAS SOUPS 2474605 WITH SCORE 2477967.889
AT ITER 6300 NEW BEST:: SOT 17306517 SOS 3363009 HAS SOPS 3363009 HAS SOUS 2474466 HAS SOUPS 2474466 WITH SCORE 2477829.009
AT ITER 6313 NEW BEST:: SOT 17306295 SOS 3363009 HAS SOPS 3363009 HAS SOUS 2474244 HAS SOUPS 2474244 WITH SCORE 2477607.009
AT ITER 6323 NEW BEST:: SOT 17304767 SOS 3359953 HAS SOPS 3359953 HAS SOUS 2472716 HAS SOUPS 2472716 WITH SCORE 2476075.953
AT ITER 6335 NEW BEST:: SOT 17303023 SOS 3357377 HAS SOPS 3357377 HAS SOUS 2470140 HAS SOUPS 2470140 WITH SCORE 2473497.377
AT ITER 6339 NEW BEST:: SOT 17303023 SOS 3358535 HAS SOPS 3358535 HAS SOUS 2470023 HAS SOUPS 2470023 WITH SCORE 2473381.535
AT ITER 6344 NEW BEST:: SOT 17302519 SOS 3357863 HAS SOPS 3357863 HAS SOUS 2469798 HAS SOUPS 2469798 WITH SCORE 2473155.863
AT ITER 6345 NEW BEST:: SOT 17302519 SOS 3357863 HAS SOPS 3357863 HAS SOUS 2469694 HAS SOUPS 2469694 WITH SCORE 2473051.863
AT ITER 6351 NEW BEST:: SOT 17302519 SOS 3358510 HAS SOPS 3358510 HAS SOUS 2469693 HAS SOUPS 2469693 WITH SCORE 2473051.51
AT ITER 6394 NEW BEST:: SOT 17302519 SOS 3358510 HAS SOPS 3358510 HAS SOUS 2469067 HAS SOUPS 2469067 WITH SCORE 2472425.51
AT ITER 6427 NEW BEST:: SOT 17302519 SOS 3358986 HAS SOPS 3358986 HAS SOUS 2469066 HAS SOUPS 2469066 WITH SCORE 2472424.986
AT ITER 6428 NEW BEST:: SOT 17302184 SOS 3358985 HAS SOPS 3358985 HAS SOUS 2468730 HAS SOUPS 2468730 WITH SCORE 2472088.985
AT ITER 6445 NEW BEST:: SOT 17302163 SOS 3358943 HAS SOPS 3358943 HAS SOUS 2468688 HAS SOUPS 2468688 WITH SCORE 2472046.943
AT ITER 6448 NEW BEST:: SOT 17301575 SOS 3366248 HAS SOPS 3366248 HAS SOUS 2467395 HAS SOUPS 2467395 WITH SCORE 2470761.248
AT ITER 6455 NEW BEST:: SOT 17301493 SOS 3366084 HAS SOPS 3366084 HAS SOUS 2467136 HAS SOUPS 2467136 WITH SCORE 2470502.084
AT ITER 6470 NEW BEST:: SOT 17301487 SOS 3366078 HAS SOPS 3366078 HAS SOUS 2467130 HAS SOUPS 2467130 WITH SCORE 2470496.078
AT ITER 6472 NEW BEST:: SOT 17297265 SOS 3374877 HAS SOPS 3374877 HAS SOUS 2466779 HAS SOUPS 2466779 WITH SCORE 2470153.877
AT ITER 6530 NEW BEST:: SOT 17295881 SOS 3374185 HAS SOPS 3374185 HAS SOUS 2466087 HAS SOUPS 2466087 WITH SCORE 2469461.185
AT ITER 6541 NEW BEST:: SOT 17295639 SOS 3374640 HAS SOPS 3374640 HAS SOUS 2465863 HAS SOUPS 2465863 WITH SCORE 2469237.64
AT ITER 6554 NEW BEST:: SOT 17294599 SOS 3372560 HAS SOPS 3372560 HAS SOUS 2464827 HAS SOUPS 2464827 WITH SCORE 2468199.56
AT ITER 6575 NEW BEST:: SOT 17294121 SOS 3372082 HAS SOPS 3372082 HAS SOUS 2464349 HAS SOUPS 2464349 WITH SCORE 2467721.082
AT ITER 6583 NEW BEST:: SOT 17293771 SOS 3372275 HAS SOPS 3372275 HAS SOUS 2464272 HAS SOUPS 2464272 WITH SCORE 2467644.275
AT ITER 6655 NEW BEST:: SOT 17293319 SOS 3371823 HAS SOPS 3371823 HAS SOUS 2463820 HAS SOUPS 2463820 WITH SCORE 2467191.823
AT ITER 6658 NEW BEST:: SOT 17291706 SOS 3370568 HAS SOPS 3370568 HAS SOUS 2462565 HAS SOUPS 2462565 WITH SCORE 2465935.568
AT ITER 6666 NEW BEST:: SOT 17291135 SOS 3369426 HAS SOPS 3369426 HAS SOUS 2461423 HAS SOUPS 2461423 WITH SCORE 2464792.426
AT ITER 6714 NEW BEST:: SOT 17291135 SOS 3368762 HAS SOPS 3368762 HAS SOUS 2461423 HAS SOUPS 2461423 WITH SCORE 2464791.762
AT ITER 6719 NEW BEST:: SOT 17291150 SOS 3368295 HAS SOPS 3368295 HAS SOUS 2460956 HAS SOUPS 2460956 WITH SCORE 2464324.295
AT ITER 6724 NEW BEST:: SOT 17289812 SOS 3368895 HAS SOPS 3368895 HAS SOUS 2460655 HAS SOUPS 2460655 WITH SCORE 2464023.895
AT ITER 6744 NEW BEST:: SOT 17289812 SOS 3368003 HAS SOPS 3368003 HAS SOUS 2460209 HAS SOUPS 2460209 WITH SCORE 2463577.003
AT ITER 6756 NEW BEST:: SOT 17289919 SOS 3367449 HAS SOPS 3367449 HAS SOUS 2459866 HAS SOUPS 2459866 WITH SCORE 2463233.449
AT ITER 6784 NEW BEST:: SOT 17289919 SOS 3368990 HAS SOPS 3368990 HAS SOUS 2459683 HAS SOUPS 2459683 WITH SCORE 2463051.99
AT ITER 6806 NEW BEST:: SOT 17289767 SOS 3367279 HAS SOPS 3367279 HAS SOUS 2459379 HAS SOUPS 2459379 WITH SCORE 2462746.279
AT ITER 6827 NEW BEST:: SOT 17289720 SOS 3367185 HAS SOPS 3367185 HAS SOUS 2459285 HAS SOUPS 2459285 WITH SCORE 2462652.185
AT ITER 6839 NEW BEST:: SOT 17289156 SOS 3365493 HAS SOPS 3365493 HAS SOUS 2458439 HAS SOUPS 2458439 WITH SCORE 2461804.493
AT ITER 6840 NEW BEST:: SOT 17289156 SOS 3365280 HAS SOPS 3365280 HAS SOUS 2458226 HAS SOUPS 2458226 WITH SCORE 2461591.28
AT ITER 6859 NEW BEST:: SOT 17289156 SOS 3365238 HAS SOPS 3365238 HAS SOUS 2458184 HAS SOUPS 2458184 WITH SCORE 2461549.238
AT ITER 6880 NEW BEST:: SOT 17289145 SOS 3365212 HAS SOPS 3365212 HAS SOUS 2458161 HAS SOUPS 2458161 WITH SCORE 2461526.212
AT ITER 6886 NEW BEST:: SOT 17288852 SOS 3364626 HAS SOPS 3364626 HAS SOUS 2457575 HAS SOUPS 2457575 WITH SCORE 2460939.626
AT ITER 6922 NEW BEST:: SOT 17288623 SOS 3364672 HAS SOPS 3364672 HAS SOUS 2457472 HAS SOUPS 2457472 WITH SCORE 2460836.672
AT ITER 6926 NEW BEST:: SOT 17287708 SOS 3361985 HAS SOPS 3361985 HAS SOUS 2456175 HAS SOUPS 2456175 WITH SCORE 2459536.985
AT ITER 6938 NEW BEST:: SOT 17287707 SOS 3361584 HAS SOPS 3361584 HAS SOUS 2455774 HAS SOUPS 2455774 WITH SCORE 2459135.584
AT ITER 6941 NEW BEST:: SOT 17287707 SOS 3361263 HAS SOPS 3361263 HAS SOUS 2455774 HAS SOUPS 2455774 WITH SCORE 2459135.263
AT ITER 6952 NEW BEST:: SOT 17287019 SOS 3380086 HAS SOPS 3380086 HAS SOUS 2454902 HAS SOUPS 2454902 WITH SCORE 2458282.086
AT ITER 6954 NEW BEST:: SOT 17287019 SOS 3380086 HAS SOPS 3380086 HAS SOUS 2454085 HAS SOUPS 2454085 WITH SCORE 2457465.086
AT ITER 6956 NEW BEST:: SOT 17286932 SOS 3379912 HAS SOPS 3379912 HAS SOUS 2453911 HAS SOUPS 2453911 WITH SCORE 2457290.912
AT ITER 6960 NEW BEST:: SOT 17286931 SOS 3379910 HAS SOPS 3379910 HAS SOUS 2453909 HAS SOUPS 2453909 WITH SCORE 2457288.91
AT ITER 6986 NEW BEST:: SOT 17284467 SOS 3378118 HAS SOPS 3378118 HAS SOUS 2452117 HAS SOUPS 2452117 WITH SCORE 2455495.118
AT ITER 6988 NEW BEST:: SOT 17284315 SOS 3377814 HAS SOPS 3377814 HAS SOUS 2451813 HAS SOUPS 2451813 WITH SCORE 2455190.814
AT ITER 6994 NEW BEST:: SOT 17284229 SOS 3377950 HAS SOPS 3377950 HAS SOUS 2451641 HAS SOUPS 2451641 WITH SCORE 2455018.95
AT ITER 7032 NEW BEST:: SOT 17284229 SOS 3377655 HAS SOPS 3377655 HAS SOUS 2451639 HAS SOUPS 2451639 WITH SCORE 2455016.655
AT ITER 7044 NEW BEST:: SOT 17284365 SOS 3378832 HAS SOPS 3378832 HAS SOUS 2451212 HAS SOUPS 2451212 WITH SCORE 2454590.832
AT ITER 7059 NEW BEST:: SOT 17284364 SOS 3378830 HAS SOPS 3378830 HAS SOUS 2451210 HAS SOUPS 2451210 WITH SCORE 2454588.83
AT ITER 7113 NEW BEST:: SOT 17283938 SOS 3377977 HAS SOPS 3377977 HAS SOUS 2450357 HAS SOUPS 2450357 WITH SCORE 2453734.977
AT ITER 7137 NEW BEST:: SOT 17283938 SOS 3378653 HAS SOPS 3378653 HAS SOUS 2450356 HAS SOUPS 2450356 WITH SCORE 2453734.653
AT ITER 7173 NEW BEST:: SOT 17283761 SOS 3378299 HAS SOPS 3378299 HAS SOUS 2450002 HAS SOUPS 2450002 WITH SCORE 2453380.299
AT ITER 7183 NEW BEST:: SOT 17283760 SOS 3378297 HAS SOPS 3378297 HAS SOUS 2450000 HAS SOUPS 2450000 WITH SCORE 2453378.297
AT ITER 7200 NEW BEST:: SOT 17283709 SOS 3378195 HAS SOPS 3378195 HAS SOUS 2449898 HAS SOUPS 2449898 WITH SCORE 2453276.195
AT ITER 7206 NEW BEST:: SOT 17283709 SOS 3378630 HAS SOPS 3378630 HAS SOUS 2449897 HAS SOUPS 2449897 WITH SCORE 2453275.63
AT ITER 7228 NEW BEST:: SOT 17283786 SOS 3378629 HAS SOPS 3378629 HAS SOUS 2449896 HAS SOUPS 2449896 WITH SCORE 2453274.629
AT ITER 7234 NEW BEST:: SOT 17283786 SOS 3378415 HAS SOPS 3378415 HAS SOUS 2449682 HAS SOUPS 2449682 WITH SCORE 2453060.415
AT ITER 7236 NEW BEST:: SOT 17283726 SOS 3378295 HAS SOPS 3378295 HAS SOUS 2449607 HAS SOUPS 2449607 WITH SCORE 2452985.295
AT ITER 7240 NEW BEST:: SOT 17283707 SOS 3378257 HAS SOPS 3378257 HAS SOUS 2449568 HAS SOUPS 2449568 WITH SCORE 2452946.257
AT ITER 7243 NEW BEST:: SOT 17282991 SOS 3377739 HAS SOPS 3377739 HAS SOUS 2449050 HAS SOUPS 2449050 WITH SCORE 2452427.739
AT ITER 7246 NEW BEST:: SOT 17282913 SOS 3377720 HAS SOPS 3377720 HAS SOUS 2449031 HAS SOUPS 2449031 WITH SCORE 2452408.72
AT ITER 7274 NEW BEST:: SOT 17282831 SOS 3377556 HAS SOPS 3377556 HAS SOUS 2448867 HAS SOUPS 2448867 WITH SCORE 2452244.556
AT ITER 7277 NEW BEST:: SOT 17282831 SOS 3377198 HAS SOPS 3377198 HAS SOUS 2448688 HAS SOUPS 2448688 WITH SCORE 2452065.198
AT ITER 7298 NEW BEST:: SOT 17282814 SOS 3377118 HAS SOPS 3377118 HAS SOUS 2448608 HAS SOUPS 2448608 WITH SCORE 2451985.118
AT ITER 7312 NEW BEST:: SOT 17282651 SOS 3376955 HAS SOPS 3376955 HAS SOUS 2448445 HAS SOUPS 2448445 WITH SCORE 2451821.955
AT ITER 7322 NEW BEST:: SOT 17282432 SOS 3376517 HAS SOPS 3376517 HAS SOUS 2448007 HAS SOUPS 2448007 WITH SCORE 2451383.517
AT ITER 7334 NEW BEST:: SOT 17282432 SOS 3376672 HAS SOPS 3376672 HAS SOUS 2448006 HAS SOUPS 2448006 WITH SCORE 2451382.672
AT ITER 7340 NEW BEST:: SOT 17282398 SOS 3376736 HAS SOPS 3376736 HAS SOUS 2447971 HAS SOUPS 2447971 WITH SCORE 2451347.736
AT ITER 7343 NEW BEST:: SOT 17282398 SOS 3377282 HAS SOPS 3377282 HAS SOUS 2447905 HAS SOUPS 2447905 WITH SCORE 2451282.282
AT ITER 7354 NEW BEST:: SOT 17282398 SOS 3377687 HAS SOPS 3377687 HAS SOUS 2447770 HAS SOUPS 2447770 WITH SCORE 2451147.687
AT ITER 7358 NEW BEST:: SOT 17282220 SOS 3377331 HAS SOPS 3377331 HAS SOUS 2447592 HAS SOUPS 2447592 WITH SCORE 2450969.331
AT ITER 7363 NEW BEST:: SOT 17282424 SOS 3376786 HAS SOPS 3376786 HAS SOUS 2447563 HAS SOUPS 2447563 WITH SCORE 2450939.786
AT ITER 7365 NEW BEST:: SOT 17282424 SOS 3376317 HAS SOPS 3376317 HAS SOUS 2447094 HAS SOUPS 2447094 WITH SCORE 2450470.317
AT ITER 7384 NEW BEST:: SOT 17282286 SOS 3376629 HAS SOPS 3376629 HAS SOUS 2446956 HAS SOUPS 2446956 WITH SCORE 2450332.629
AT ITER 7405 NEW BEST:: SOT 17282265 SOS 3376587 HAS SOPS 3376587 HAS SOUS 2446914 HAS SOUPS 2446914 WITH SCORE 2450290.587
AT ITER 7425 NEW BEST:: SOT 17282047 SOS 3376369 HAS SOPS 3376369 HAS SOUS 2446805 HAS SOUPS 2446805 WITH SCORE 2450181.369
AT ITER 7429 NEW BEST:: SOT 17281860 SOS 3375995 HAS SOPS 3375995 HAS SOUS 2446618 HAS SOUPS 2446618 WITH SCORE 2449993.995
AT ITER 7444 NEW BEST:: SOT 17281219 SOS 3374791 HAS SOPS 3374791 HAS SOUS 2446317 HAS SOUPS 2446317 WITH SCORE 2449691.791
AT ITER 7451 NEW BEST:: SOT 17281005 SOS 3374577 HAS SOPS 3374577 HAS SOUS 2446103 HAS SOUPS 2446103 WITH SCORE 2449477.577
AT ITER 7488 NEW BEST:: SOT 17280188 SOS 3374752 HAS SOPS 3374752 HAS SOUS 2445889 HAS SOUPS 2445889 WITH SCORE 2449263.752
AT ITER 7494 NEW BEST:: SOT 17279881 SOS 3374445 HAS SOPS 3374445 HAS SOUS 2445582 HAS SOUPS 2445582 WITH SCORE 2448956.445
AT ITER 7527 NEW BEST:: SOT 17279381 SOS 3373687 HAS SOPS 3373687 HAS SOUS 2445268 HAS SOUPS 2445268 WITH SCORE 2448641.687
AT ITER 7549 NEW BEST:: SOT 17279078 SOS 3373081 HAS SOPS 3373081 HAS SOUS 2444662 HAS SOUPS 2444662 WITH SCORE 2448035.081
AT ITER 7554 NEW BEST:: SOT 17279078 SOS 3373081 HAS SOPS 3373081 HAS SOUS 2444509 HAS SOUPS 2444509 WITH SCORE 2447882.081
AT ITER 7572 NEW BEST:: SOT 17279093 SOS 3372255 HAS SOPS 3372255 HAS SOUS 2443979 HAS SOUPS 2443979 WITH SCORE 2447351.255
AT ITER 7582 NEW BEST:: SOT 17279813 SOS 3372828 HAS SOPS 3372828 HAS SOUS 2443473 HAS SOUPS 2443473 WITH SCORE 2446845.828
AT ITER 7586 NEW BEST:: SOT 17279813 SOS 3372776 HAS SOPS 3372776 HAS SOUS 2443473 HAS SOUPS 2443473 WITH SCORE 2446845.776
AT ITER 7596 NEW BEST:: SOT 17279598 SOS 3372346 HAS SOPS 3372346 HAS SOUS 2443043 HAS SOUPS 2443043 WITH SCORE 2446415.346
AT ITER 7598 NEW BEST:: SOT 17279501 SOS 3372152 HAS SOPS 3372152 HAS SOUS 2442946 HAS SOUPS 2442946 WITH SCORE 2446318.152
AT ITER 7611 NEW BEST:: SOT 17279465 SOS 3373005 HAS SOPS 3373005 HAS SOUS 2442698 HAS SOUPS 2442698 WITH SCORE 2446071.005
AT ITER 7634 NEW BEST:: SOT 17279415 SOS 3372905 HAS SOPS 3372905 HAS SOUS 2442598 HAS SOUPS 2442598 WITH SCORE 2445970.905
AT ITER 7646 NEW BEST:: SOT 17279251 SOS 3372768 HAS SOPS 3372768 HAS SOUS 2442449 HAS SOUPS 2442449 WITH SCORE 2445821.768
AT ITER 7662 NEW BEST:: SOT 17279250 SOS 3372822 HAS SOPS 3372822 HAS SOUS 2442447 HAS SOUPS 2442447 WITH SCORE 2445819.822
AT ITER 7681 NEW BEST:: SOT 17279250 SOS 3372822 HAS SOPS 3372822 HAS SOUS 2442073 HAS SOUPS 2442073 WITH SCORE 2445445.822
AT ITER 7723 NEW BEST:: SOT 17279182 SOS 3372822 HAS SOPS 3372822 HAS SOUS 2442005 HAS SOUPS 2442005 WITH SCORE 2445377.822
AT ITER 7739 NEW BEST:: SOT 17278807 SOS 3372072 HAS SOPS 3372072 HAS SOUS 2441255 HAS SOUPS 2441255 WITH SCORE 2444627.072
AT ITER 7761 NEW BEST:: SOT 17277097 SOS 3372381 HAS SOPS 3372381 HAS SOUS 2440788 HAS SOUPS 2440788 WITH SCORE 2444160.381
AT ITER 7776 NEW BEST:: SOT 17276774 SOS 3373791 HAS SOPS 3373791 HAS SOUS 2440475 HAS SOUPS 2440475 WITH SCORE 2443848.791
AT ITER 7792 NEW BEST:: SOT 17276283 SOS 3372809 HAS SOPS 3372809 HAS SOUS 2439493 HAS SOUPS 2439493 WITH SCORE 2442865.809
AT ITER 7799 NEW BEST:: SOT 17276168 SOS 3372579 HAS SOPS 3372579 HAS SOUS 2439378 HAS SOUPS 2439378 WITH SCORE 2442750.579
AT ITER 7801 NEW BEST:: SOT 17276041 SOS 3371944 HAS SOPS 3371944 HAS SOUS 2439124 HAS SOUPS 2439124 WITH SCORE 2442495.944
AT ITER 7808 NEW BEST:: SOT 17275999 SOS 3371860 HAS SOPS 3371860 HAS SOUS 2438938 HAS SOUPS 2438938 WITH SCORE 2442309.86
AT ITER 7821 NEW BEST:: SOT 17275999 SOS 3371860 HAS SOPS 3371860 HAS SOUS 2438557 HAS SOUPS 2438557 WITH SCORE 2441928.86
AT ITER 7860 NEW BEST:: SOT 17275999 SOS 3371696 HAS SOPS 3371696 HAS SOUS 2438557 HAS SOUPS 2438557 WITH SCORE 2441928.696
AT ITER 7861 NEW BEST:: SOT 17275126 SOS 3372182 HAS SOPS 3372182 HAS SOUS 2438262 HAS SOUPS 2438262 WITH SCORE 2441634.182
AT ITER 7872 NEW BEST:: SOT 17274305 SOS 3373510 HAS SOPS 3373510 HAS SOUS 2437441 HAS SOUPS 2437441 WITH SCORE 2440814.51
AT ITER 7875 NEW BEST:: SOT 17273887 SOS 3373092 HAS SOPS 3373092 HAS SOUS 2437008 HAS SOUPS 2437008 WITH SCORE 2440381.092
AT ITER 7899 NEW BEST:: SOT 17273340 SOS 3371998 HAS SOPS 3371998 HAS SOUS 2435914 HAS SOUPS 2435914 WITH SCORE 2439285.998
AT ITER 7906 NEW BEST:: SOT 17273340 SOS 3371718 HAS SOPS 3371718 HAS SOUS 2435914 HAS SOUPS 2435914 WITH SCORE 2439285.718
AT ITER 7914 NEW BEST:: SOT 17272843 SOS 3371330 HAS SOPS 3371330 HAS SOUS 2435473 HAS SOUPS 2435473 WITH SCORE 2438844.33
AT ITER 7917 NEW BEST:: SOT 17271855 SOS 3369354 HAS SOPS 3369354 HAS SOUS 2434485 HAS SOUPS 2434485 WITH SCORE 2437854.354
AT ITER 7944 NEW BEST:: SOT 17271768 SOS 3368658 HAS SOPS 3368658 HAS SOUS 2434311 HAS SOUPS 2434311 WITH SCORE 2437679.658
AT ITER 7955 NEW BEST:: SOT 17271061 SOS 3368246 HAS SOPS 3368246 HAS SOUS 2433604 HAS SOUPS 2433604 WITH SCORE 2436972.246
AT ITER 7980 NEW BEST:: SOT 17271215 SOS 3368092 HAS SOPS 3368092 HAS SOUS 2433604 HAS SOUPS 2433604 WITH SCORE 2436972.092
AT ITER 8010 NEW BEST:: SOT 17271211 SOS 3371152 HAS SOPS 3371152 HAS SOUS 2433595 HAS SOUPS 2433595 WITH SCORE 2436966.152
AT ITER 8024 NEW BEST:: SOT 17271211 SOS 3371016 HAS SOPS 3371016 HAS SOUS 2433459 HAS SOUPS 2433459 WITH SCORE 2436830.016
AT ITER 8065 NEW BEST:: SOT 17271076 SOS 3370809 HAS SOPS 3370809 HAS SOUS 2433252 HAS SOUPS 2433252 WITH SCORE 2436622.809
AT ITER 8094 NEW BEST:: SOT 17270975 SOS 3370607 HAS SOPS 3370607 HAS SOUS 2433151 HAS SOUPS 2433151 WITH SCORE 2436521.607
AT ITER 8148 NEW BEST:: SOT 17270625 SOS 3369907 HAS SOPS 3369907 HAS SOUS 2432801 HAS SOUPS 2432801 WITH SCORE 2436170.907
AT ITER 8232 NEW BEST:: SOT 17269755 SOS 3368167 HAS SOPS 3368167 HAS SOUS 2431061 HAS SOUPS 2431061 WITH SCORE 2434429.167
AT ITER 8234 NEW BEST:: SOT 17269702 SOS 3368061 HAS SOPS 3368061 HAS SOUS 2431008 HAS SOUPS 2431008 WITH SCORE 2434376.061
AT ITER 8298 NEW BEST:: SOT 17269315 SOS 3360159 HAS SOPS 3360159 HAS SOUS 2430352 HAS SOUPS 2430352 WITH SCORE 2433712.159
AT ITER 8309 NEW BEST:: SOT 17269195 SOS 3359919 HAS SOPS 3359919 HAS SOUS 2430112 HAS SOUPS 2430112 WITH SCORE 2433471.919
AT ITER 8324 NEW BEST:: SOT 17269195 SOS 3359919 HAS SOPS 3359919 HAS SOUS 2430111 HAS SOUPS 2430111 WITH SCORE 2433470.919
AT ITER 8337 NEW BEST:: SOT 17269190 SOS 3359909 HAS SOPS 3359909 HAS SOUS 2430101 HAS SOUPS 2430101 WITH SCORE 2433460.909
AT ITER 8378 NEW BEST:: SOT 17268991 SOS 3359511 HAS SOPS 3359511 HAS SOUS 2429902 HAS SOUPS 2429902 WITH SCORE 2433261.511
AT ITER 8394 NEW BEST:: SOT 17268328 SOS 3358185 HAS SOPS 3358185 HAS SOUS 2429522 HAS SOUPS 2429522 WITH SCORE 2432880.185
AT ITER 8437 NEW BEST:: SOT 17268327 SOS 3358183 HAS SOPS 3358183 HAS SOUS 2429520 HAS SOUPS 2429520 WITH SCORE 2432878.183
AT ITER 8440 NEW BEST:: SOT 17268189 SOS 3357907 HAS SOPS 3357907 HAS SOUS 2429244 HAS SOUPS 2429244 WITH SCORE 2432601.907
AT ITER 8464 NEW BEST:: SOT 17267976 SOS 3356842 HAS SOPS 3356842 HAS SOUS 2428818 HAS SOUPS 2428818 WITH SCORE 2432174.842
AT ITER 8467 NEW BEST:: SOT 17267795 SOS 3356661 HAS SOPS 3356661 HAS SOUS 2428637 HAS SOUPS 2428637 WITH SCORE 2431993.661
AT ITER 8487 NEW BEST:: SOT 17267485 SOS 3356351 HAS SOPS 3356351 HAS SOUS 2428327 HAS SOUPS 2428327 WITH SCORE 2431683.351
AT ITER 8518 NEW BEST:: SOT 17266737 SOS 3354855 HAS SOPS 3354855 HAS SOUS 2427708 HAS SOUPS 2427708 WITH SCORE 2431062.855
AT ITER 8521 NEW BEST:: SOT 17266564 SOS 3354509 HAS SOPS 3354509 HAS SOUS 2427358 HAS SOUPS 2427358 WITH SCORE 2430712.509
AT ITER 8546 NEW BEST:: SOT 17266549 SOS 3354479 HAS SOPS 3354479 HAS SOUS 2427328 HAS SOUPS 2427328 WITH SCORE 2430682.479
AT ITER 8555 NEW BEST:: SOT 17266436 SOS 3354253 HAS SOPS 3354253 HAS SOUS 2427102 HAS SOUPS 2427102 WITH SCORE 2430456.253
AT ITER 8565 NEW BEST:: SOT 17265555 SOS 3353509 HAS SOPS 3353509 HAS SOUS 2426330 HAS SOUPS 2426330 WITH SCORE 2429683.509
AT ITER 8579 NEW BEST:: SOT 17265524 SOS 3353447 HAS SOPS 3353447 HAS SOUS 2426268 HAS SOUPS 2426268 WITH SCORE 2429621.447
AT ITER 8593 NEW BEST:: SOT 17265523 SOS 3353445 HAS SOPS 3353445 HAS SOUS 2426266 HAS SOUPS 2426266 WITH SCORE 2429619.445
AT ITER 8615 NEW BEST:: SOT 17265379 SOS 3353552 HAS SOPS 3353552 HAS SOUS 2425890 HAS SOUPS 2425890 WITH SCORE 2429243.552
AT ITER 8619 NEW BEST:: SOT 17265295 SOS 3353384 HAS SOPS 3353384 HAS SOUS 2425722 HAS SOUPS 2425722 WITH SCORE 2429075.384
AT ITER 8622 NEW BEST:: SOT 17265141 SOS 3353230 HAS SOPS 3353230 HAS SOUS 2425568 HAS SOUPS 2425568 WITH SCORE 2428921.23
AT ITER 8633 NEW BEST:: SOT 17264859 SOS 3352666 HAS SOPS 3352666 HAS SOUS 2425286 HAS SOUPS 2425286 WITH SCORE 2428638.666
AT ITER 8708 NEW BEST:: SOT 17265013 SOS 3351831 HAS SOPS 3351831 HAS SOUS 2425059 HAS SOUPS 2425059 WITH SCORE 2428410.831
AT ITER 8711 NEW BEST:: SOT 17264744 SOS 3351293 HAS SOPS 3351293 HAS SOUS 2424521 HAS SOUPS 2424521 WITH SCORE 2427872.293
AT ITER 8798 NEW BEST:: SOT 17264743 SOS 3351292 HAS SOPS 3351292 HAS SOUS 2424520 HAS SOUPS 2424520 WITH SCORE 2427871.292
AT ITER 8804 NEW BEST:: SOT 17264739 SOS 3351284 HAS SOPS 3351284 HAS SOUS 2424516 HAS SOUPS 2424516 WITH SCORE 2427867.284
AT ITER 8832 NEW BEST:: SOT 17264822 SOS 3351450 HAS SOPS 3351450 HAS SOUS 2424413 HAS SOUPS 2424413 WITH SCORE 2427764.45
AT ITER 8837 NEW BEST:: SOT 17264711 SOS 3351228 HAS SOPS 3351228 HAS SOUS 2424191 HAS SOUPS 2424191 WITH SCORE 2427542.228
AT ITER 8846 NEW BEST:: SOT 17264711 SOS 3350546 HAS SOPS 3350546 HAS SOUS 2424145 HAS SOUPS 2424145 WITH SCORE 2427495.546
AT ITER 8858 NEW BEST:: SOT 17264320 SOS 3350155 HAS SOPS 3350155 HAS SOUS 2423754 HAS SOUPS 2423754 WITH SCORE 2427104.155
AT ITER 8860 NEW BEST:: SOT 17264066 SOS 3349769 HAS SOPS 3349769 HAS SOUS 2423721 HAS SOUPS 2423721 WITH SCORE 2427070.769
AT ITER 8863 NEW BEST:: SOT 17263390 SOS 3348417 HAS SOPS 3348417 HAS SOUS 2422369 HAS SOUPS 2422369 WITH SCORE 2425717.417
AT ITER 8895 NEW BEST:: SOT 17263022 SOS 3348407 HAS SOPS 3348407 HAS SOUS 2422134 HAS SOUPS 2422134 WITH SCORE 2425482.407
AT ITER 8939 NEW BEST:: SOT 17262785 SOS 3346931 HAS SOPS 3346931 HAS SOUS 2421897 HAS SOUPS 2421897 WITH SCORE 2425243.931
AT ITER 8949 NEW BEST:: SOT 17262246 SOS 3344866 HAS SOPS 3344866 HAS SOUS 2421085 HAS SOUPS 2421085 WITH SCORE 2424429.866
AT ITER 8989 NEW BEST:: SOT 17262206 SOS 3345448 HAS SOPS 3345448 HAS SOUS 2421005 HAS SOUPS 2421005 WITH SCORE 2424350.448
AT ITER 8990 NEW BEST:: SOT 17262204 SOS 3345444 HAS SOPS 3345444 HAS SOUS 2421001 HAS SOUPS 2421001 WITH SCORE 2424346.444
AT ITER 9057 NEW BEST:: SOT 17262204 SOS 3345444 HAS SOPS 3345444 HAS SOUS 2420984 HAS SOUPS 2420984 WITH SCORE 2424329.444
AT ITER 9068 NEW BEST:: SOT 17261711 SOS 3345306 HAS SOPS 3345306 HAS SOUS 2420846 HAS SOUPS 2420846 WITH SCORE 2424191.306
AT ITER 9078 NEW BEST:: SOT 17261296 SOS 3345142 HAS SOPS 3345142 HAS SOUS 2420653 HAS SOUPS 2420653 WITH SCORE 2423998.142
AT ITER 9174 NEW BEST:: SOT 17260981 SOS 3344733 HAS SOPS 3344733 HAS SOUS 2420157 HAS SOUPS 2420157 WITH SCORE 2423501.733
AT ITER 9177 NEW BEST:: SOT 17261131 SOS 3342933 HAS SOPS 3342933 HAS SOUS 2419707 HAS SOUPS 2419707 WITH SCORE 2423049.933
AT ITER 9182 NEW BEST:: SOT 17261093 SOS 3342589 HAS SOPS 3342589 HAS SOUS 2419690 HAS SOUPS 2419690 WITH SCORE 2423032.589
AT ITER 9184 NEW BEST:: SOT 17261093 SOS 3342589 HAS SOPS 3342589 HAS SOUS 2419554 HAS SOUPS 2419554 WITH SCORE 2422896.589
AT ITER 9186 NEW BEST:: SOT 17259963 SOS 3341559 HAS SOPS 3341559 HAS SOUS 2418449 HAS SOUPS 2418449 WITH SCORE 2421790.559
AT ITER 9223 NEW BEST:: SOT 17259819 SOS 3341271 HAS SOPS 3341271 HAS SOUS 2418037 HAS SOUPS 2418037 WITH SCORE 2421378.271
AT ITER 9253 NEW BEST:: SOT 17259807 SOS 3341247 HAS SOPS 3341247 HAS SOUS 2418013 HAS SOUPS 2418013 WITH SCORE 2421354.247
AT ITER 9261 NEW BEST:: SOT 17259771 SOS 3341175 HAS SOPS 3341175 HAS SOUS 2418013 HAS SOUPS 2418013 WITH SCORE 2421354.175
AT ITER 9277 NEW BEST:: SOT 17258901 SOS 3340215 HAS SOPS 3340215 HAS SOUS 2417443 HAS SOUPS 2417443 WITH SCORE 2420783.215
AT ITER 9324 NEW BEST:: SOT 17258818 SOS 3340049 HAS SOPS 3340049 HAS SOUS 2417360 HAS SOUPS 2417360 WITH SCORE 2420700.049
AT ITER 9349 NEW BEST:: SOT 17258485 SOS 3340453 HAS SOPS 3340453 HAS SOUS 2416789 HAS SOUPS 2416789 WITH SCORE 2420129.453
AT ITER 9353 NEW BEST:: SOT 17258485 SOS 3340364 HAS SOPS 3340364 HAS SOUS 2416700 HAS SOUPS 2416700 WITH SCORE 2420040.364
AT ITER 9373 NEW BEST:: SOT 17257957 SOS 3339832 HAS SOPS 3339832 HAS SOUS 2415643 HAS SOUPS 2415643 WITH SCORE 2418982.832
AT ITER 9392 NEW BEST:: SOT 17257957 SOS 3339832 HAS SOPS 3339832 HAS SOUS 2415187 HAS SOUPS 2415187 WITH SCORE 2418526.832
AT ITER 9435 NEW BEST:: SOT 17257550 SOS 3339664 HAS SOPS 3339664 HAS SOUS 2415019 HAS SOUPS 2415019 WITH SCORE 2418358.664
AT ITER 9437 NEW BEST:: SOT 17257343 SOS 3339631 HAS SOPS 3339631 HAS SOUS 2414986 HAS SOUPS 2414986 WITH SCORE 2418325.631
AT ITER 9457 NEW BEST:: SOT 17256663 SOS 3339022 HAS SOPS 3339022 HAS SOUS 2414535 HAS SOUPS 2414535 WITH SCORE 2417874.022
AT ITER 9464 NEW BEST:: SOT 17256262 SOS 3339072 HAS SOPS 3339072 HAS SOUS 2414418 HAS SOUPS 2414418 WITH SCORE 2417757.072
AT ITER 9466 NEW BEST:: SOT 17256262 SOS 3339032 HAS SOPS 3339032 HAS SOUS 2414378 HAS SOUPS 2414378 WITH SCORE 2417717.032
AT ITER 9467 NEW BEST:: SOT 17256048 SOS 3338604 HAS SOPS 3338604 HAS SOUS 2413950 HAS SOUPS 2413950 WITH SCORE 2417288.604
AT ITER 9485 NEW BEST:: SOT 17256048 SOS 3338603 HAS SOPS 3338603 HAS SOUS 2413949 HAS SOUPS 2413949 WITH SCORE 2417287.603
AT ITER 9536 NEW BEST:: SOT 17255948 SOS 3338403 HAS SOPS 3338403 HAS SOUS 2413749 HAS SOUPS 2413749 WITH SCORE 2417087.403
AT ITER 9557 NEW BEST:: SOT 17255720 SOS 3337702 HAS SOPS 3337702 HAS SOUS 2413736 HAS SOUPS 2413736 WITH SCORE 2417073.702
AT ITER 9602 NEW BEST:: SOT 17255391 SOS 3337044 HAS SOPS 3337044 HAS SOUS 2413407 HAS SOUPS 2413407 WITH SCORE 2416744.044
AT ITER 9606 NEW BEST:: SOT 17255294 SOS 3336850 HAS SOPS 3336850 HAS SOUS 2413310 HAS SOUPS 2413310 WITH SCORE 2416646.85
AT ITER 9636 NEW BEST:: SOT 17249895 SOS 3338696 HAS SOPS 3338696 HAS SOUS 2410469 HAS SOUPS 2410469 WITH SCORE 2413807.696
AT ITER 9679 NEW BEST:: SOT 17249633 SOS 3338580 HAS SOPS 3338580 HAS SOUS 2410306 HAS SOUPS 2410306 WITH SCORE 2413644.58
AT ITER 9708 NEW BEST:: SOT 17249572 SOS 3338458 HAS SOPS 3338458 HAS SOUS 2410184 HAS SOUPS 2410184 WITH SCORE 2413522.458
AT ITER 9720 NEW BEST:: SOT 17249052 SOS 3335507 HAS SOPS 3335507 HAS SOUS 2409144 HAS SOUPS 2409144 WITH SCORE 2412479.507
AT ITER 9725 NEW BEST:: SOT 17248712 SOS 3333807 HAS SOPS 3333807 HAS SOUS 2408464 HAS SOUPS 2408464 WITH SCORE 2411797.807
AT ITER 9741 NEW BEST:: SOT 17248745 SOS 3333555 HAS SOPS 3333555 HAS SOUS 2408212 HAS SOUPS 2408212 WITH SCORE 2411545.555
AT ITER 9742 NEW BEST:: SOT 17248745 SOS 3333355 HAS SOPS 3333355 HAS SOUS 2408212 HAS SOUPS 2408212 WITH SCORE 2411545.355
AT ITER 9770 NEW BEST:: SOT 17248745 SOS 3332363 HAS SOPS 3332363 HAS SOUS 2407964 HAS SOUPS 2407964 WITH SCORE 2411296.363
AT ITER 9780 NEW BEST:: SOT 17248745 SOS 3333124 HAS SOPS 3333124 HAS SOUS 2407963 HAS SOUPS 2407963 WITH SCORE 2411296.124
AT ITER 9801 NEW BEST:: SOT 17248797 SOS 3333093 HAS SOPS 3333093 HAS SOUS 2407932 HAS SOUPS 2407932 WITH SCORE 2411265.093
AT ITER 9807 NEW BEST:: SOT 17248521 SOS 3332955 HAS SOPS 3332955 HAS SOUS 2407794 HAS SOUPS 2407794 WITH SCORE 2411126.955
AT ITER 9830 NEW BEST:: SOT 17248521 SOS 3333424 HAS SOPS 3333424 HAS SOUS 2407793 HAS SOUPS 2407793 WITH SCORE 2411126.424
AT ITER 9832 NEW BEST:: SOT 17248625 SOS 3333320 HAS SOPS 3333320 HAS SOUS 2407793 HAS SOUPS 2407793 WITH SCORE 2411126.32
AT ITER 9844 NEW BEST:: SOT 17248441 SOS 3332952 HAS SOPS 3332952 HAS SOUS 2407609 HAS SOUPS 2407609 WITH SCORE 2410941.952
AT ITER 9850 NEW BEST:: SOT 17248315 SOS 3332574 HAS SOPS 3332574 HAS SOUS 2407609 HAS SOUPS 2407609 WITH SCORE 2410941.574
AT ITER 9853 NEW BEST:: SOT 17248253 SOS 3332419 HAS SOPS 3332419 HAS SOUS 2407547 HAS SOUPS 2407547 WITH SCORE 2410879.419
AT ITER 9871 NEW BEST:: SOT 17248229 SOS 3332371 HAS SOPS 3332371 HAS SOUS 2407499 HAS SOUPS 2407499 WITH SCORE 2410831.371
AT ITER 9879 NEW BEST:: SOT 17248034 SOS 3331982 HAS SOPS 3331982 HAS SOUS 2407110 HAS SOUPS 2407110 WITH SCORE 2410441.982
AT ITER 9895 NEW BEST:: SOT 17248034 SOS 3331851 HAS SOPS 3331851 HAS SOUS 2406979 HAS SOUPS 2406979 WITH SCORE 2410310.851
AT ITER 9923 NEW BEST:: SOT 17246227 SOS 3331009 HAS SOPS 3331009 HAS SOUS 2406137 HAS SOUPS 2406137 WITH SCORE 2409468.009
AT ITER 9933 NEW BEST:: SOT 17245944 SOS 3330891 HAS SOPS 3330891 HAS SOUS 2406022 HAS SOUPS 2406022 WITH SCORE 2409352.891
AT ITER 9964 NEW BEST:: SOT 17246172 SOS 3331347 HAS SOPS 3331347 HAS SOUS 2405893 HAS SOUPS 2405893 WITH SCORE 2409224.347
AT ITER 9976 NEW BEST:: SOT 17246203 SOS 3331198 HAS SOPS 3331198 HAS SOUS 2405744 HAS SOUPS 2405744 WITH SCORE 2409075.198
AT ITER 9997 NEW BEST:: SOT 17246203 SOS 3330970 HAS SOPS 3330970 HAS SOUS 2405744 HAS SOUPS 2405744 WITH SCORE 2409074.97
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 14951472 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16151872 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="DLCflexbar-PT-2b"
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 DLCflexbar-PT-2b, 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-167814472500520"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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