fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r138-smll-158961502200008
Last Updated
Jun 28, 2020

About the Execution of smart for RERS17pb113-PT-1

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.380 3600000.00 3599989.00 90.40 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502200008.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is RERS17pb113-PT-1, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502200008
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 3.8K Apr 12 07:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 07:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 11 08:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 11 08:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 14 12:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 10 13:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 13:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 9 20:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 9 20:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 15M Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589649529347

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 1
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 639 places, 31353 transitions, 125418 arcs.
AT ITER 0 NEW BEST:: SOT 12196977 SOS 7747610 HAS SOPS 6416000 HAS SOUS 3044413 HAS SOUPS 2943923 WITH SCORE 2951670.61
AT ITER 7 NEW BEST:: SOT 12190152 SOS 7736157 HAS SOPS 6404547 HAS SOUS 3038694 HAS SOUPS 2938204 WITH SCORE 2945940.157
AT ITER 26 NEW BEST:: SOT 12203210 SOS 7758001 HAS SOPS 6434668 HAS SOUS 3035291 HAS SOUPS 2934849 WITH SCORE 2942607.001
AT ITER 33 NEW BEST:: SOT 12203606 SOS 7765551 HAS SOPS 6447472 HAS SOUS 3031421 HAS SOUPS 2930979 WITH SCORE 2938744.551
AT ITER 35 NEW BEST:: SOT 12217831 SOS 7792548 HAS SOPS 6475674 HAS SOUS 3029859 HAS SOUPS 2929384 WITH SCORE 2937176.548
AT ITER 38 NEW BEST:: SOT 12216171 SOS 7789304 HAS SOPS 6473207 HAS SOUS 3026933 HAS SOUPS 2926488 WITH SCORE 2934277.304
AT ITER 43 NEW BEST:: SOT 12214862 SOS 7787888 HAS SOPS 6472438 HAS SOUS 3022997 HAS SOUPS 2922648 WITH SCORE 2930435.888
AT ITER 45 NEW BEST:: SOT 12215003 SOS 7788981 HAS SOPS 6473871 HAS SOUS 3022798 HAS SOUPS 2922449 WITH SCORE 2930237.981
AT ITER 46 NEW BEST:: SOT 12218361 SOS 7797911 HAS SOPS 6480527 HAS SOUS 3020464 HAS SOUPS 2920115 WITH SCORE 2927912.911
AT ITER 49 NEW BEST:: SOT 12214312 SOS 7788110 HAS SOPS 6472540 HAS SOUS 3014957 HAS SOUPS 2914713 WITH SCORE 2922501.11
AT ITER 74 NEW BEST:: SOT 12211729 SOS 7781739 HAS SOPS 6467846 HAS SOUS 3006871 HAS SOUPS 2906898 WITH SCORE 2914679.739
AT ITER 80 NEW BEST:: SOT 12210033 SOS 7779882 HAS SOPS 6465415 HAS SOUS 3004461 HAS SOUPS 2904488 WITH SCORE 2912267.882
AT ITER 109 NEW BEST:: SOT 12208988 SOS 7782382 HAS SOPS 6469156 HAS SOUS 2994714 HAS SOUPS 2894741 WITH SCORE 2902523.382
AT ITER 111 NEW BEST:: SOT 12208332 SOS 7781230 HAS SOPS 6468640 HAS SOUS 2993675 HAS SOUPS 2893702 WITH SCORE 2901483.23
AT ITER 113 NEW BEST:: SOT 12200864 SOS 7776338 HAS SOPS 6464530 HAS SOUS 2983768 HAS SOUPS 2883816 WITH SCORE 2891592.338
AT ITER 119 NEW BEST:: SOT 12198636 SOS 7773314 HAS SOPS 6461479 HAS SOUS 2980853 HAS SOUPS 2880801 WITH SCORE 2888574.314
AT ITER 128 NEW BEST:: SOT 12198482 SOS 7771442 HAS SOPS 6457730 HAS SOUS 2980223 HAS SOUPS 2880171 WITH SCORE 2887942.442
AT ITER 136 NEW BEST:: SOT 12198581 SOS 7771519 HAS SOPS 6457477 HAS SOUS 2979986 HAS SOUPS 2879634 WITH SCORE 2887405.519
AT ITER 147 NEW BEST:: SOT 12195692 SOS 7763178 HAS SOPS 6453524 HAS SOUS 2976175 HAS SOUPS 2875823 WITH SCORE 2883586.178
AT ITER 159 NEW BEST:: SOT 12201423 SOS 7784299 HAS SOPS 6472707 HAS SOUS 2974929 HAS SOUPS 2874577 WITH SCORE 2882361.299
AT ITER 191 NEW BEST:: SOT 12200526 SOS 7780372 HAS SOPS 6470764 HAS SOUS 2973986 HAS SOUPS 2873634 WITH SCORE 2881414.372
AT ITER 192 NEW BEST:: SOT 12199666 SOS 7779941 HAS SOPS 6469616 HAS SOUS 2962558 HAS SOUPS 2862206 WITH SCORE 2869985.941
AT ITER 220 NEW BEST:: SOT 12208075 SOS 7792296 HAS SOPS 6484633 HAS SOUS 2957129 HAS SOUPS 2857867 WITH SCORE 2865659.296
AT ITER 223 NEW BEST:: SOT 12207651 SOS 7795220 HAS SOPS 6486599 HAS SOUS 2952595 HAS SOUPS 2853333 WITH SCORE 2861128.22
AT ITER 227 NEW BEST:: SOT 12205271 SOS 7788801 HAS SOPS 6480202 HAS SOUS 2952278 HAS SOUPS 2853016 WITH SCORE 2860804.801
AT ITER 230 NEW BEST:: SOT 12205678 SOS 7790011 HAS SOPS 6481729 HAS SOUS 2951791 HAS SOUPS 2852529 WITH SCORE 2860319.011
AT ITER 234 NEW BEST:: SOT 12192004 SOS 7776257 HAS SOPS 6465480 HAS SOUS 2931522 HAS SOUPS 2832276 WITH SCORE 2840052.257
AT ITER 238 NEW BEST:: SOT 12191960 SOS 7776334 HAS SOPS 6465557 HAS SOUS 2930836 HAS SOUPS 2831590 WITH SCORE 2839366.334
AT ITER 240 NEW BEST:: SOT 12179924 SOS 7764172 HAS SOPS 6452687 HAS SOUS 2916080 HAS SOUPS 2816861 WITH SCORE 2824625.172
AT ITER 248 NEW BEST:: SOT 12186138 SOS 7771676 HAS SOPS 6467670 HAS SOUS 2906768 HAS SOUPS 2807669 WITH SCORE 2815440.676
AT ITER 250 NEW BEST:: SOT 12163460 SOS 7743697 HAS SOPS 6440249 HAS SOUS 2882429 HAS SOUPS 2783385 WITH SCORE 2791128.697
AT ITER 255 NEW BEST:: SOT 12159412 SOS 7739649 HAS SOPS 6436201 HAS SOUS 2881461 HAS SOUPS 2782417 WITH SCORE 2790156.649
AT ITER 261 NEW BEST:: SOT 12149213 SOS 7729398 HAS SOPS 6425170 HAS SOUS 2867218 HAS SOUPS 2768174 WITH SCORE 2775903.398
AT ITER 294 NEW BEST:: SOT 12149022 SOS 7729692 HAS SOPS 6425254 HAS SOUS 2866388 HAS SOUPS 2767344 WITH SCORE 2775073.692
AT ITER 295 NEW BEST:: SOT 12148323 SOS 7731111 HAS SOPS 6426434 HAS SOUS 2863078 HAS SOUPS 2764074 WITH SCORE 2771805.111
AT ITER 297 NEW BEST:: SOT 12148068 SOS 7730605 HAS SOPS 6425976 HAS SOUS 2862565 HAS SOUPS 2763573 WITH SCORE 2771303.605
AT ITER 302 NEW BEST:: SOT 12148307 SOS 7731024 HAS SOPS 6426184 HAS SOUS 2862143 HAS SOUPS 2763151 WITH SCORE 2770882.024
AT ITER 313 NEW BEST:: SOT 12150275 SOS 7734195 HAS SOPS 6427035 HAS SOUS 2861934 HAS SOUPS 2762942 WITH SCORE 2770676.195
AT ITER 322 NEW BEST:: SOT 12149929 SOS 7733891 HAS SOPS 6426472 HAS SOUS 2860482 HAS SOUPS 2761588 WITH SCORE 2769321.891
AT ITER 328 NEW BEST:: SOT 12157984 SOS 7757422 HAS SOPS 6445785 HAS SOUS 2859785 HAS SOUPS 2760891 WITH SCORE 2768648.422
AT ITER 330 NEW BEST:: SOT 12159458 SOS 7761897 HAS SOPS 6450071 HAS SOUS 2857665 HAS SOUPS 2758771 WITH SCORE 2766532.897
AT ITER 331 NEW BEST:: SOT 12158766 SOS 7760145 HAS SOPS 6449922 HAS SOUS 2856931 HAS SOUPS 2758182 WITH SCORE 2765942.145
AT ITER 333 NEW BEST:: SOT 12159632 SOS 7763977 HAS SOPS 6453692 HAS SOUS 2856174 HAS SOUPS 2757425 WITH SCORE 2765188.977
AT ITER 337 NEW BEST:: SOT 12158641 SOS 7763221 HAS SOPS 6453030 HAS SOUS 2852870 HAS SOUPS 2754230 WITH SCORE 2761993.221
AT ITER 338 NEW BEST:: SOT 12158178 SOS 7762197 HAS SOPS 6452307 HAS SOUS 2852049 HAS SOUPS 2753409 WITH SCORE 2761171.197
AT ITER 346 NEW BEST:: SOT 12158031 SOS 7762339 HAS SOPS 6452420 HAS SOUS 2851504 HAS SOUPS 2752864 WITH SCORE 2760626.339
AT ITER 359 NEW BEST:: SOT 12157300 SOS 7760900 HAS SOPS 6451576 HAS SOUS 2850041 HAS SOUPS 2751401 WITH SCORE 2759161.9
AT ITER 376 NEW BEST:: SOT 12157215 SOS 7761597 HAS SOPS 6452493 HAS SOUS 2849588 HAS SOUPS 2750948 WITH SCORE 2758709.597
AT ITER 381 NEW BEST:: SOT 12155262 SOS 7755641 HAS SOPS 6450148 HAS SOUS 2848505 HAS SOUPS 2749865 WITH SCORE 2757620.641
AT ITER 388 NEW BEST:: SOT 12151276 SOS 7749464 HAS SOPS 6445107 HAS SOUS 2842727 HAS SOUPS 2744166 WITH SCORE 2751915.464
AT ITER 404 NEW BEST:: SOT 12151663 SOS 7751452 HAS SOPS 6447776 HAS SOUS 2842440 HAS SOUPS 2743879 WITH SCORE 2751630.452
AT ITER 414 NEW BEST:: SOT 12150400 SOS 7748545 HAS SOPS 6445939 HAS SOUS 2835683 HAS SOUPS 2737242 WITH SCORE 2744990.545
AT ITER 415 NEW BEST:: SOT 12150172 SOS 7748307 HAS SOPS 6445541 HAS SOUS 2835460 HAS SOUPS 2736959 WITH SCORE 2744707.307
AT ITER 422 NEW BEST:: SOT 12149954 SOS 7747962 HAS SOPS 6444676 HAS SOUS 2834657 HAS SOUPS 2736156 WITH SCORE 2743903.962
AT ITER 432 NEW BEST:: SOT 12149009 SOS 7746920 HAS SOPS 6445338 HAS SOUS 2832639 HAS SOUPS 2734138 WITH SCORE 2741884.92
AT ITER 434 NEW BEST:: SOT 12141672 SOS 7738855 HAS SOPS 6434006 HAS SOUS 2813476 HAS SOUPS 2714975 WITH SCORE 2722713.855
AT ITER 444 NEW BEST:: SOT 12141721 SOS 7739322 HAS SOPS 6436864 HAS SOUS 2810613 HAS SOUPS 2712602 WITH SCORE 2720341.322
AT ITER 450 NEW BEST:: SOT 12141732 SOS 7739348 HAS SOPS 6436896 HAS SOUS 2810511 HAS SOUPS 2712500 WITH SCORE 2720239.348
AT ITER 466 NEW BEST:: SOT 12153766 SOS 7768058 HAS SOPS 6464520 HAS SOUS 2809326 HAS SOUPS 2711381 WITH SCORE 2719149.058
AT ITER 468 NEW BEST:: SOT 12147526 SOS 7763471 HAS SOPS 6454768 HAS SOUS 2800627 HAS SOUPS 2700112 WITH SCORE 2707875.471
AT ITER 470 NEW BEST:: SOT 12147387 SOS 7763398 HAS SOPS 6454898 HAS SOUS 2800458 HAS SOUPS 2699943 WITH SCORE 2707706.398
AT ITER 478 NEW BEST:: SOT 12147653 SOS 7763664 HAS SOPS 6455164 HAS SOUS 2800084 HAS SOUPS 2699569 WITH SCORE 2707332.664
AT ITER 485 NEW BEST:: SOT 12147335 SOS 7763096 HAS SOPS 6454571 HAS SOUS 2799581 HAS SOUPS 2699056 WITH SCORE 2706819.096
AT ITER 493 NEW BEST:: SOT 12146819 SOS 7759910 HAS SOPS 6450960 HAS SOUS 2798350 HAS SOUPS 2697825 WITH SCORE 2705584.91
AT ITER 495 NEW BEST:: SOT 12146272 SOS 7758603 HAS SOPS 6449797 HAS SOUS 2797569 HAS SOUPS 2697044 WITH SCORE 2704802.603
AT ITER 496 NEW BEST:: SOT 12147323 SOS 7763254 HAS SOPS 6456375 HAS SOUS 2796078 HAS SOUPS 2695553 WITH SCORE 2703316.254
AT ITER 505 NEW BEST:: SOT 12145430 SOS 7759201 HAS SOPS 6456350 HAS SOUS 2795091 HAS SOUPS 2694566 WITH SCORE 2702325.201
AT ITER 509 NEW BEST:: SOT 12147266 SOS 7762403 HAS SOPS 6458869 HAS SOUS 2794088 HAS SOUPS 2693731 WITH SCORE 2701493.403
AT ITER 512 NEW BEST:: SOT 12146750 SOS 7761770 HAS SOPS 6456487 HAS SOUS 2793259 HAS SOUPS 2692902 WITH SCORE 2700663.77
AT ITER 528 NEW BEST:: SOT 12147130 SOS 7759298 HAS SOPS 6457074 HAS SOUS 2793160 HAS SOUPS 2692803 WITH SCORE 2700562.298
AT ITER 549 NEW BEST:: SOT 12146275 SOS 7762031 HAS SOPS 6459773 HAS SOUS 2785809 HAS SOUPS 2685568 WITH SCORE 2693330.031
AT ITER 564 NEW BEST:: SOT 12143703 SOS 7752568 HAS SOPS 6452235 HAS SOUS 2781978 HAS SOUPS 2681737 WITH SCORE 2689489.568
AT ITER 566 NEW BEST:: SOT 12143510 SOS 7751115 HAS SOPS 6450278 HAS SOUS 2781532 HAS SOUPS 2681291 WITH SCORE 2689042.115
AT ITER 567 NEW BEST:: SOT 12142947 SOS 7750552 HAS SOPS 6449235 HAS SOUS 2779153 HAS SOUPS 2678912 WITH SCORE 2686662.552
AT ITER 568 NEW BEST:: SOT 12142333 SOS 7749304 HAS SOPS 6448011 HAS SOUS 2778186 HAS SOUPS 2677945 WITH SCORE 2685694.304
AT ITER 573 NEW BEST:: SOT 12143233 SOS 7752834 HAS SOPS 6451221 HAS SOUS 2776321 HAS SOUPS 2676080 WITH SCORE 2683832.834
AT ITER 580 NEW BEST:: SOT 12143100 SOS 7752683 HAS SOPS 6450474 HAS SOUS 2775832 HAS SOUPS 2675559 WITH SCORE 2683311.683
AT ITER 608 NEW BEST:: SOT 12163176 SOS 7789679 HAS SOPS 6493205 HAS SOUS 2771810 HAS SOUPS 2671802 WITH SCORE 2679591.679
AT ITER 637 NEW BEST:: SOT 12163757 SOS 7790364 HAS SOPS 6494585 HAS SOUS 2771645 HAS SOUPS 2671637 WITH SCORE 2679427.364
AT ITER 643 NEW BEST:: SOT 12166009 SOS 7798966 HAS SOPS 6503137 HAS SOUS 2768427 HAS SOUPS 2668419 WITH SCORE 2676217.966
AT ITER 647 NEW BEST:: SOT 12165955 SOS 7798120 HAS SOPS 6503187 HAS SOUS 2768407 HAS SOUPS 2668399 WITH SCORE 2676197.12
AT ITER 652 NEW BEST:: SOT 12164927 SOS 7797813 HAS SOPS 6501795 HAS SOUS 2763996 HAS SOUPS 2663984 WITH SCORE 2671781.813
AT ITER 654 NEW BEST:: SOT 12166477 SOS 7803917 HAS SOPS 6506782 HAS SOUS 2760300 HAS SOUPS 2660288 WITH SCORE 2668091.917
AT ITER 665 NEW BEST:: SOT 12166349 SOS 7803585 HAS SOPS 6506598 HAS SOUS 2759800 HAS SOUPS 2659840 WITH SCORE 2667643.585
AT ITER 672 NEW BEST:: SOT 12165953 SOS 7803165 HAS SOPS 6506178 HAS SOUS 2758720 HAS SOUPS 2658760 WITH SCORE 2666563.165
AT ITER 677 NEW BEST:: SOT 12166045 SOS 7807542 HAS SOPS 6510650 HAS SOUS 2757328 HAS SOUPS 2657368 WITH SCORE 2665175.542
AT ITER 679 NEW BEST:: SOT 12165725 SOS 7806971 HAS SOPS 6509567 HAS SOUS 2756698 HAS SOUPS 2656753 WITH SCORE 2664559.971
AT ITER 684 NEW BEST:: SOT 12161974 SOS 7800440 HAS SOPS 6506012 HAS SOUS 2748572 HAS SOUPS 2649023 WITH SCORE 2656823.44
AT ITER 709 NEW BEST:: SOT 12157581 SOS 7792704 HAS SOPS 6497845 HAS SOUS 2743001 HAS SOUPS 2643490 WITH SCORE 2651282.704
AT ITER 715 NEW BEST:: SOT 12156985 SOS 7785233 HAS SOPS 6490913 HAS SOUS 2739322 HAS SOUPS 2639811 WITH SCORE 2647596.233
AT ITER 717 NEW BEST:: SOT 12156948 SOS 7785418 HAS SOPS 6491221 HAS SOUS 2738470 HAS SOUPS 2639027 WITH SCORE 2646812.418
AT ITER 732 NEW BEST:: SOT 12157658 SOS 7788841 HAS SOPS 6494321 HAS SOUS 2737594 HAS SOUPS 2638151 WITH SCORE 2645939.841
AT ITER 738 NEW BEST:: SOT 12157201 SOS 7789819 HAS SOPS 6496339 HAS SOUS 2734045 HAS SOUPS 2634602 WITH SCORE 2642391.819
AT ITER 760 NEW BEST:: SOT 12160069 SOS 7798019 HAS SOPS 6506679 HAS SOUS 2732627 HAS SOUPS 2633282 WITH SCORE 2641080.019
AT ITER 788 NEW BEST:: SOT 12159989 SOS 7797640 HAS SOPS 6506222 HAS SOUS 2731902 HAS SOUPS 2632557 WITH SCORE 2640354.64
AT ITER 793 NEW BEST:: SOT 12155696 SOS 7793074 HAS SOPS 6500056 HAS SOUS 2726004 HAS SOUPS 2626359 WITH SCORE 2634152.074
AT ITER 794 NEW BEST:: SOT 12157423 SOS 7795511 HAS SOPS 6501433 HAS SOUS 2725336 HAS SOUPS 2625691 WITH SCORE 2633486.511
AT ITER 798 NEW BEST:: SOT 12151838 SOS 7789218 HAS SOPS 6492711 HAS SOUS 2710395 HAS SOUPS 2610958 WITH SCORE 2618747.218
AT ITER 804 NEW BEST:: SOT 12151811 SOS 7789150 HAS SOPS 6492654 HAS SOUS 2710337 HAS SOUPS 2610905 WITH SCORE 2618694.15
AT ITER 812 NEW BEST:: SOT 12150479 SOS 7786915 HAS SOPS 6492927 HAS SOUS 2708493 HAS SOUPS 2609137 WITH SCORE 2616923.915
AT ITER 829 NEW BEST:: SOT 12150583 SOS 7787250 HAS SOPS 6492899 HAS SOUS 2708393 HAS SOUPS 2609037 WITH SCORE 2616824.25
AT ITER 834 NEW BEST:: SOT 12151236 SOS 7787821 HAS SOPS 6493598 HAS SOUS 2703700 HAS SOUPS 2604382 WITH SCORE 2612169.821
AT ITER 855 NEW BEST:: SOT 12155011 SOS 7790315 HAS SOPS 6497325 HAS SOUS 2696805 HAS SOUPS 2597929 WITH SCORE 2605719.315
AT ITER 858 NEW BEST:: SOT 12155415 SOS 7790734 HAS SOPS 6497255 HAS SOUS 2696772 HAS SOUPS 2597896 WITH SCORE 2605686.734
AT ITER 872 NEW BEST:: SOT 12154940 SOS 7790259 HAS SOPS 6496492 HAS SOUS 2695433 HAS SOUPS 2596557 WITH SCORE 2604347.259
AT ITER 877 NEW BEST:: SOT 12144682 SOS 7780029 HAS SOPS 6488792 HAS SOUS 2673450 HAS SOUPS 2574784 WITH SCORE 2582564.029
AT ITER 880 NEW BEST:: SOT 12145135 SOS 7778025 HAS SOPS 6488135 HAS SOUS 2672764 HAS SOUPS 2574255 WITH SCORE 2582033.025
AT ITER 881 NEW BEST:: SOT 12149755 SOS 7782583 HAS SOPS 6493937 HAS SOUS 2671155 HAS SOUPS 2572683 WITH SCORE 2580465.583
AT ITER 886 NEW BEST:: SOT 12146549 SOS 7776018 HAS SOPS 6486126 HAS SOUS 2664334 HAS SOUPS 2565862 WITH SCORE 2573638.018
AT ITER 911 NEW BEST:: SOT 12146401 SOS 7778397 HAS SOPS 6485750 HAS SOUS 2661859 HAS SOUPS 2563387 WITH SCORE 2571165.397
AT ITER 923 NEW BEST:: SOT 12146340 SOS 7777379 HAS SOPS 6484950 HAS SOUS 2661451 HAS SOUPS 2562979 WITH SCORE 2570756.379
AT ITER 926 NEW BEST:: SOT 12155304 SOS 7794645 HAS SOPS 6498965 HAS SOUS 2651187 HAS SOUPS 2552715 WITH SCORE 2560509.645
AT ITER 928 NEW BEST:: SOT 12156904 SOS 7802565 HAS SOPS 6504341 HAS SOUS 2648311 HAS SOUPS 2549839 WITH SCORE 2557641.565
AT ITER 934 NEW BEST:: SOT 12154984 SOS 7800645 HAS SOPS 6502165 HAS SOUS 2646327 HAS SOUPS 2547663 WITH SCORE 2555463.645
AT ITER 936 NEW BEST:: SOT 12154984 SOS 7800700 HAS SOPS 6502301 HAS SOUS 2645984 HAS SOUPS 2547320 WITH SCORE 2555120.7
AT ITER 945 NEW BEST:: SOT 12153888 SOS 7799494 HAS SOPS 6501032 HAS SOUS 2643537 HAS SOUPS 2544873 WITH SCORE 2552672.494
AT ITER 949 NEW BEST:: SOT 12155534 SOS 7805275 HAS SOPS 6505320 HAS SOUS 2639642 HAS SOUPS 2540978 WITH SCORE 2548783.275
AT ITER 967 NEW BEST:: SOT 12155366 SOS 7805065 HAS SOPS 6505049 HAS SOUS 2639292 HAS SOUPS 2540628 WITH SCORE 2548433.065
AT ITER 975 NEW BEST:: SOT 12155309 SOS 7805011 HAS SOPS 6503683 HAS SOUS 2638750 HAS SOUPS 2539102 WITH SCORE 2546907.011
AT ITER 977 NEW BEST:: SOT 12152859 SOS 7801742 HAS SOPS 6500205 HAS SOUS 2634225 HAS SOUPS 2534665 WITH SCORE 2542466.742
AT ITER 987 NEW BEST:: SOT 12152535 SOS 7801128 HAS SOPS 6499598 HAS SOUS 2633957 HAS SOUPS 2534397 WITH SCORE 2542198.128
AT ITER 995 NEW BEST:: SOT 12142472 SOS 7768303 HAS SOPS 6484592 HAS SOUS 2631387 HAS SOUPS 2532137 WITH SCORE 2539905.303
AT ITER 999 NEW BEST:: SOT 12139132 SOS 7762198 HAS SOPS 6479756 HAS SOUS 2625847 HAS SOUPS 2526684 WITH SCORE 2534446.198
AT ITER 1002 NEW BEST:: SOT 12139620 SOS 7766777 HAS SOPS 6481416 HAS SOUS 2623929 HAS SOUPS 2524766 WITH SCORE 2532532.777
AT ITER 1008 NEW BEST:: SOT 12137930 SOS 7764583 HAS SOPS 6478494 HAS SOUS 2621566 HAS SOUPS 2522427 WITH SCORE 2530191.583
AT ITER 1026 NEW BEST:: SOT 12137733 SOS 7764144 HAS SOPS 6477771 HAS SOUS 2620115 HAS SOUPS 2520956 WITH SCORE 2528720.144
AT ITER 1037 NEW BEST:: SOT 12138931 SOS 7758080 HAS SOPS 6483542 HAS SOUS 2617451 HAS SOUPS 2519581 WITH SCORE 2527339.08
AT ITER 1038 NEW BEST:: SOT 12138855 SOS 7757984 HAS SOPS 6483258 HAS SOUS 2617291 HAS SOUPS 2519421 WITH SCORE 2527178.984
AT ITER 1041 NEW BEST:: SOT 12136956 SOS 7754901 HAS SOPS 6481359 HAS SOUS 2615330 HAS SOUPS 2517497 WITH SCORE 2525251.901
AT ITER 1042 NEW BEST:: SOT 12139230 SOS 7757806 HAS SOPS 6484857 HAS SOUS 2612448 HAS SOUPS 2515657 WITH SCORE 2523414.806
AT ITER 1044 NEW BEST:: SOT 12139241 SOS 7760691 HAS SOPS 6488512 HAS SOUS 2612350 HAS SOUPS 2515559 WITH SCORE 2523319.691
AT ITER 1054 NEW BEST:: SOT 12136928 SOS 7758378 HAS SOPS 6486199 HAS SOUS 2609413 HAS SOUPS 2512622 WITH SCORE 2520380.378
AT ITER 1065 NEW BEST:: SOT 12135904 SOS 7757354 HAS SOPS 6484663 HAS SOUS 2606341 HAS SOUPS 2509550 WITH SCORE 2517307.354
AT ITER 1073 NEW BEST:: SOT 12135783 SOS 7757151 HAS SOPS 6484530 HAS SOUS 2606280 HAS SOUPS 2509489 WITH SCORE 2517246.151
AT ITER 1086 NEW BEST:: SOT 12135761 SOS 7757141 HAS SOPS 6484504 HAS SOUS 2606161 HAS SOUPS 2509369 WITH SCORE 2517126.141
AT ITER 1098 NEW BEST:: SOT 12134806 SOS 7757105 HAS SOPS 6487003 HAS SOUS 2603890 HAS SOUPS 2507098 WITH SCORE 2514855.105
AT ITER 1110 NEW BEST:: SOT 12135755 SOS 7760709 HAS SOPS 6493928 HAS SOUS 2599034 HAS SOUPS 2502242 WITH SCORE 2510002.709
AT ITER 1128 NEW BEST:: SOT 12128005 SOS 7752728 HAS SOPS 6485947 HAS SOUS 2594246 HAS SOUPS 2497454 WITH SCORE 2505206.728
AT ITER 1132 NEW BEST:: SOT 12124945 SOS 7734586 HAS SOPS 6479526 HAS SOUS 2589530 HAS SOUPS 2492915 WITH SCORE 2500649.586
AT ITER 1143 NEW BEST:: SOT 12127472 SOS 7740780 HAS SOPS 6485398 HAS SOUS 2588182 HAS SOUPS 2491573 WITH SCORE 2499313.78
AT ITER 1159 NEW BEST:: SOT 12127606 SOS 7740688 HAS SOPS 6487352 HAS SOUS 2586554 HAS SOUPS 2489945 WITH SCORE 2497685.688
AT ITER 1160 NEW BEST:: SOT 12121073 SOS 7732222 HAS SOPS 6479777 HAS SOUS 2572163 HAS SOUPS 2475554 WITH SCORE 2483286.222
AT ITER 1169 NEW BEST:: SOT 12106073 SOS 7716922 HAS SOPS 6463593 HAS SOUS 2555291 HAS SOUPS 2458287 WITH SCORE 2466003.922
AT ITER 1181 NEW BEST:: SOT 12106894 SOS 7718359 HAS SOPS 6465605 HAS SOUS 2553508 HAS SOUPS 2457247 WITH SCORE 2464965.359
AT ITER 1182 NEW BEST:: SOT 12108333 SOS 7722864 HAS SOPS 6471144 HAS SOUS 2544221 HAS SOUPS 2448105 WITH SCORE 2455827.864
AT ITER 1187 NEW BEST:: SOT 12108297 SOS 7722824 HAS SOPS 6471108 HAS SOUS 2544179 HAS SOUPS 2448065 WITH SCORE 2455787.824
AT ITER 1190 NEW BEST:: SOT 12108092 SOS 7722382 HAS SOPS 6470648 HAS SOUS 2543446 HAS SOUPS 2447332 WITH SCORE 2455054.382
AT ITER 1191 NEW BEST:: SOT 12106576 SOS 7719281 HAS SOPS 6469853 HAS SOUS 2542833 HAS SOUPS 2446795 WITH SCORE 2454514.281
AT ITER 1193 NEW BEST:: SOT 12105685 SOS 7720850 HAS SOPS 6469391 HAS SOUS 2541837 HAS SOUPS 2445747 WITH SCORE 2453467.85
AT ITER 1194 NEW BEST:: SOT 12104873 SOS 7716053 HAS SOPS 6464431 HAS SOUS 2538832 HAS SOUPS 2442742 WITH SCORE 2450458.053
AT ITER 1214 NEW BEST:: SOT 12105027 SOS 7719421 HAS SOPS 6466873 HAS SOUS 2536526 HAS SOUPS 2440436 WITH SCORE 2448155.421
AT ITER 1221 NEW BEST:: SOT 12103523 SOS 7717653 HAS SOPS 6464863 HAS SOUS 2532822 HAS SOUPS 2436754 WITH SCORE 2444471.653
AT ITER 1222 NEW BEST:: SOT 12103357 SOS 7717883 HAS SOPS 6464543 HAS SOUS 2531526 HAS SOUPS 2435458 WITH SCORE 2443175.883
AT ITER 1240 NEW BEST:: SOT 12102050 SOS 7716675 HAS SOPS 6462069 HAS SOUS 2528214 HAS SOUPS 2432146 WITH SCORE 2439862.675
AT ITER 1287 NEW BEST:: SOT 12097371 SOS 7709807 HAS SOPS 6453182 HAS SOUS 2519973 HAS SOUPS 2423905 WITH SCORE 2431614.807
AT ITER 1294 NEW BEST:: SOT 12097041 SOS 7708363 HAS SOPS 6452504 HAS SOUS 2517337 HAS SOUPS 2421463 WITH SCORE 2429171.363
AT ITER 1301 NEW BEST:: SOT 12101708 SOS 7722526 HAS SOPS 6463149 HAS SOUS 2516192 HAS SOUPS 2420318 WITH SCORE 2428040.526
AT ITER 1310 NEW BEST:: SOT 12100563 SOS 7720434 HAS SOPS 6461958 HAS SOUS 2514299 HAS SOUPS 2418489 WITH SCORE 2426209.434
AT ITER 1311 NEW BEST:: SOT 12104164 SOS 7738785 HAS SOPS 6467728 HAS SOUS 2508408 HAS SOUPS 2411953 WITH SCORE 2419691.785
AT ITER 1316 NEW BEST:: SOT 12108935 SOS 7739023 HAS SOPS 6474401 HAS SOUS 2508169 HAS SOUPS 2411714 WITH SCORE 2419453.023
AT ITER 1325 NEW BEST:: SOT 12110483 SOS 7741024 HAS SOPS 6475298 HAS SOUS 2507742 HAS SOUPS 2411287 WITH SCORE 2419028.024
AT ITER 1329 NEW BEST:: SOT 12116543 SOS 7757050 HAS SOPS 6493895 HAS SOUS 2504390 HAS SOUPS 2407935 WITH SCORE 2415692.05
AT ITER 1336 NEW BEST:: SOT 12111288 SOS 7749901 HAS SOPS 6483173 HAS SOUS 2495366 HAS SOUPS 2398778 WITH SCORE 2406527.901
AT ITER 1340 NEW BEST:: SOT 12110354 SOS 7748967 HAS SOPS 6482239 HAS SOUS 2494432 HAS SOUPS 2397844 WITH SCORE 2405592.967
AT ITER 1347 NEW BEST:: SOT 12110523 SOS 7748949 HAS SOPS 6481117 HAS SOUS 2494032 HAS SOUPS 2397444 WITH SCORE 2405192.949
AT ITER 1359 NEW BEST:: SOT 12102176 SOS 7729092 HAS SOPS 6462053 HAS SOUS 2489172 HAS SOUPS 2392682 WITH SCORE 2400411.092
AT ITER 1372 NEW BEST:: SOT 12101424 SOS 7727239 HAS SOPS 6459957 HAS SOUS 2487025 HAS SOUPS 2390535 WITH SCORE 2398262.239
AT ITER 1373 NEW BEST:: SOT 12101321 SOS 7727262 HAS SOPS 6459021 HAS SOUS 2481561 HAS SOUPS 2385413 WITH SCORE 2393140.262
AT ITER 1380 NEW BEST:: SOT 12101210 SOS 7726674 HAS SOPS 6458108 HAS SOUS 2481312 HAS SOUPS 2385164 WITH SCORE 2392890.674
AT ITER 1390 NEW BEST:: SOT 12100027 SOS 7724630 HAS SOPS 6456035 HAS SOUS 2479600 HAS SOUPS 2383452 WITH SCORE 2391176.63
AT ITER 1403 NEW BEST:: SOT 12099778 SOS 7724260 HAS SOPS 6455736 HAS SOUS 2479311 HAS SOUPS 2383254 WITH SCORE 2390978.26
AT ITER 1432 NEW BEST:: SOT 12098680 SOS 7723151 HAS SOPS 6455915 HAS SOUS 2473328 HAS SOUPS 2377380 WITH SCORE 2385103.151
AT ITER 1439 NEW BEST:: SOT 12089770 SOS 7713676 HAS SOPS 6443033 HAS SOUS 2458862 HAS SOUPS 2362618 WITH SCORE 2370331.676
AT ITER 1444 NEW BEST:: SOT 12084038 SOS 7707944 HAS SOPS 6436725 HAS SOUS 2449906 HAS SOUPS 2353662 WITH SCORE 2361369.944
AT ITER 1445 NEW BEST:: SOT 12083162 SOS 7707598 HAS SOPS 6436052 HAS SOUS 2447127 HAS SOUPS 2350854 WITH SCORE 2358561.598
AT ITER 1473 NEW BEST:: SOT 12080861 SOS 7709941 HAS SOPS 6438048 HAS SOUS 2443713 HAS SOUPS 2347440 WITH SCORE 2355149.941
AT ITER 1479 NEW BEST:: SOT 12081681 SOS 7719299 HAS SOPS 6445503 HAS SOUS 2428266 HAS SOUPS 2331993 WITH SCORE 2339712.299
AT ITER 1481 NEW BEST:: SOT 12080887 SOS 7718435 HAS SOPS 6444799 HAS SOUS 2427112 HAS SOUPS 2330959 WITH SCORE 2338677.435
AT ITER 1483 NEW BEST:: SOT 12084067 SOS 7727877 HAS SOPS 6448937 HAS SOUS 2423892 HAS SOUPS 2327354 WITH SCORE 2335081.877
AT ITER 1491 NEW BEST:: SOT 12084162 SOS 7727972 HAS SOPS 6449032 HAS SOUS 2423859 HAS SOUPS 2327321 WITH SCORE 2335048.972
AT ITER 1495 NEW BEST:: SOT 12083143 SOS 7726597 HAS SOPS 6446541 HAS SOUS 2420622 HAS SOUPS 2324084 WITH SCORE 2331810.597
AT ITER 1506 NEW BEST:: SOT 12079438 SOS 7722740 HAS SOPS 6444630 HAS SOUS 2416942 HAS SOUPS 2320541 WITH SCORE 2328263.74
AT ITER 1508 NEW BEST:: SOT 12078970 SOS 7719790 HAS SOPS 6440667 HAS SOUS 2414821 HAS SOUPS 2318420 WITH SCORE 2326139.79
AT ITER 1510 NEW BEST:: SOT 12079266 SOS 7722280 HAS SOPS 6443242 HAS SOUS 2413301 HAS SOUPS 2316853 WITH SCORE 2324575.28
AT ITER 1512 NEW BEST:: SOT 12079093 SOS 7721377 HAS SOPS 6442611 HAS SOUS 2412578 HAS SOUPS 2316258 WITH SCORE 2323979.377
AT ITER 1518 NEW BEST:: SOT 12071290 SOS 7707145 HAS SOPS 6431765 HAS SOUS 2405911 HAS SOUPS 2310136 WITH SCORE 2317843.145
AT ITER 1539 NEW BEST:: SOT 12068372 SOS 7704227 HAS SOPS 6427871 HAS SOUS 2400909 HAS SOUPS 2304718 WITH SCORE 2312422.227
AT ITER 1562 NEW BEST:: SOT 12069216 SOS 7705071 HAS SOPS 6428523 HAS SOUS 2400333 HAS SOUPS 2304142 WITH SCORE 2311847.071
AT ITER 1564 NEW BEST:: SOT 12069142 SOS 7704997 HAS SOPS 6428433 HAS SOUS 2400215 HAS SOUPS 2304024 WITH SCORE 2311728.997
AT ITER 1570 NEW BEST:: SOT 12061157 SOS 7683228 HAS SOPS 6414441 HAS SOUS 2399125 HAS SOUPS 2302934 WITH SCORE 2310617.228
AT ITER 1575 NEW BEST:: SOT 12060974 SOS 7682868 HAS SOPS 6415316 HAS SOUS 2398351 HAS SOUPS 2302160 WITH SCORE 2309842.868
AT ITER 1599 NEW BEST:: SOT 12060984 SOS 7682958 HAS SOPS 6415520 HAS SOUS 2398304 HAS SOUPS 2302113 WITH SCORE 2309795.958
AT ITER 1609 NEW BEST:: SOT 12057020 SOS 7678980 HAS SOPS 6410180 HAS SOUS 2395179 HAS SOUPS 2297619 WITH SCORE 2305297.98
AT ITER 1616 NEW BEST:: SOT 12059928 SOS 7683484 HAS SOPS 6415824 HAS SOUS 2393884 HAS SOUPS 2296293 WITH SCORE 2303976.484
AT ITER 1657 NEW BEST:: SOT 12057975 SOS 7681561 HAS SOPS 6411073 HAS SOUS 2387201 HAS SOUPS 2289552 WITH SCORE 2297233.561
AT ITER 1659 NEW BEST:: SOT 12060179 SOS 7682962 HAS SOPS 6411689 HAS SOUS 2386223 HAS SOUPS 2288574 WITH SCORE 2296256.962
AT ITER 1665 NEW BEST:: SOT 12060061 SOS 7681716 HAS SOPS 6409069 HAS SOUS 2380327 HAS SOUPS 2282738 WITH SCORE 2290419.716
AT ITER 1667 NEW BEST:: SOT 12059420 SOS 7680558 HAS SOPS 6408331 HAS SOUS 2378643 HAS SOUPS 2281214 WITH SCORE 2288894.558
AT ITER 1668 NEW BEST:: SOT 12059851 SOS 7681407 HAS SOPS 6408274 HAS SOUS 2378183 HAS SOUPS 2280754 WITH SCORE 2288435.407
AT ITER 1686 NEW BEST:: SOT 12059648 SOS 7681850 HAS SOPS 6410099 HAS SOUS 2377017 HAS SOUPS 2279588 WITH SCORE 2287269.85
AT ITER 1731 NEW BEST:: SOT 12058678 SOS 7680475 HAS SOPS 6408721 HAS SOUS 2375275 HAS SOUPS 2277874 WITH SCORE 2285554.475
AT ITER 1751 NEW BEST:: SOT 12057859 SOS 7679507 HAS SOPS 6408399 HAS SOUS 2374796 HAS SOUPS 2277395 WITH SCORE 2285074.507
AT ITER 1753 NEW BEST:: SOT 12057660 SOS 7679131 HAS SOPS 6408488 HAS SOUS 2374243 HAS SOUPS 2276842 WITH SCORE 2284521.131
AT ITER 1767 NEW BEST:: SOT 12057568 SOS 7679027 HAS SOPS 6408336 HAS SOUS 2374199 HAS SOUPS 2276798 WITH SCORE 2284477.027
AT ITER 1771 NEW BEST:: SOT 12057548 SOS 7679007 HAS SOPS 6408316 HAS SOUS 2374159 HAS SOUPS 2276758 WITH SCORE 2284437.007
AT ITER 1772 NEW BEST:: SOT 12057928 SOS 7682023 HAS SOPS 6407227 HAS SOUS 2370763 HAS SOUPS 2273362 WITH SCORE 2281044.023
AT ITER 1773 NEW BEST:: SOT 12058101 SOS 7682128 HAS SOPS 6407248 HAS SOUS 2368709 HAS SOUPS 2271308 WITH SCORE 2278990.128
AT ITER 1781 NEW BEST:: SOT 12053629 SOS 7677515 HAS SOPS 6400315 HAS SOUS 2363709 HAS SOUPS 2266262 WITH SCORE 2273939.515
AT ITER 1783 NEW BEST:: SOT 12053466 SOS 7677389 HAS SOPS 6400152 HAS SOUS 2363469 HAS SOUPS 2266022 WITH SCORE 2273699.389
AT ITER 1818 NEW BEST:: SOT 12053231 SOS 7676768 HAS SOPS 6399797 HAS SOUS 2362935 HAS SOUPS 2265504 WITH SCORE 2273180.768
AT ITER 1820 NEW BEST:: SOT 12050794 SOS 7674331 HAS SOPS 6397936 HAS SOUS 2359230 HAS SOUPS 2262231 WITH SCORE 2269905.331
AT ITER 1834 NEW BEST:: SOT 12050309 SOS 7676080 HAS SOPS 6398131 HAS SOUS 2358803 HAS SOUPS 2261765 WITH SCORE 2269441.08
AT ITER 1836 NEW BEST:: SOT 12050295 SOS 7675179 HAS SOPS 6396902 HAS SOUS 2358470 HAS SOUPS 2261432 WITH SCORE 2269107.179
AT ITER 1840 NEW BEST:: SOT 12016218 SOS 7636974 HAS SOPS 6363144 HAS SOUS 2321491 HAS SOUPS 2224657 WITH SCORE 2232293.974
AT ITER 1841 NEW BEST:: SOT 12016901 SOS 7638370 HAS SOPS 6364230 HAS SOUS 2321347 HAS SOUPS 2224513 WITH SCORE 2232151.37
AT ITER 1883 NEW BEST:: SOT 12016654 SOS 7638097 HAS SOPS 6364644 HAS SOUS 2320809 HAS SOUPS 2223975 WITH SCORE 2231613.097
AT ITER 1898 NEW BEST:: SOT 12016834 SOS 7632618 HAS SOPS 6365156 HAS SOUS 2316605 HAS SOUPS 2220506 WITH SCORE 2228138.618
AT ITER 1909 NEW BEST:: SOT 12017197 SOS 7633671 HAS SOPS 6365064 HAS SOUS 2315287 HAS SOUPS 2219013 WITH SCORE 2226646.671
AT ITER 1920 NEW BEST:: SOT 12012992 SOS 7627838 HAS SOPS 6359981 HAS SOUS 2309939 HAS SOUPS 2213665 WITH SCORE 2221292.838
AT ITER 1937 NEW BEST:: SOT 12012889 SOS 7627695 HAS SOPS 6359842 HAS SOUS 2309780 HAS SOUPS 2213502 WITH SCORE 2221129.695
AT ITER 1941 NEW BEST:: SOT 12011525 SOS 7625567 HAS SOPS 6356857 HAS SOUS 2304233 HAS SOUPS 2207955 WITH SCORE 2215580.567
AT ITER 1967 NEW BEST:: SOT 12011224 SOS 7625094 HAS SOPS 6356188 HAS SOUS 2303576 HAS SOUPS 2207298 WITH SCORE 2214923.094
AT ITER 1968 NEW BEST:: SOT 12011102 SOS 7624832 HAS SOPS 6355942 HAS SOUS 2303474 HAS SOUPS 2207196 WITH SCORE 2214820.832
AT ITER 1983 NEW BEST:: SOT 12011179 SOS 7631671 HAS SOPS 6358141 HAS SOUS 2297787 HAS SOUPS 2201509 WITH SCORE 2209140.671
AT ITER 1991 NEW BEST:: SOT 12009016 SOS 7624498 HAS SOPS 6348641 HAS SOUS 2294993 HAS SOUPS 2198632 WITH SCORE 2206256.498
AT ITER 2014 NEW BEST:: SOT 12008125 SOS 7622664 HAS SOPS 6347864 HAS SOUS 2290063 HAS SOUPS 2194902 WITH SCORE 2202524.664
AT ITER 2015 NEW BEST:: SOT 12008550 SOS 7623011 HAS SOPS 6348222 HAS SOUS 2290006 HAS SOUPS 2194845 WITH SCORE 2202468.011
AT ITER 2025 NEW BEST:: SOT 12008784 SOS 7623245 HAS SOPS 6348408 HAS SOUS 2289896 HAS SOUPS 2194735 WITH SCORE 2202358.245
AT ITER 2038 NEW BEST:: SOT 12013645 SOS 7631336 HAS SOPS 6361681 HAS SOUS 2286703 HAS SOUPS 2191712 WITH SCORE 2199343.336
AT ITER 2043 NEW BEST:: SOT 12015930 SOS 7633558 HAS SOPS 6364122 HAS SOUS 2285976 HAS SOUPS 2191412 WITH SCORE 2199045.558
AT ITER 2044 NEW BEST:: SOT 12015510 SOS 7633138 HAS SOPS 6363414 HAS SOUS 2284244 HAS SOUPS 2189680 WITH SCORE 2197313.138
AT ITER 2050 NEW BEST:: SOT 12015176 SOS 7632828 HAS SOPS 6362908 HAS SOUS 2283216 HAS SOUPS 2188652 WITH SCORE 2196284.828
AT ITER 2058 NEW BEST:: SOT 12015108 SOS 7632760 HAS SOPS 6362840 HAS SOUS 2282828 HAS SOUPS 2188264 WITH SCORE 2195896.76
AT ITER 2067 NEW BEST:: SOT 12013563 SOS 7628593 HAS SOPS 6359839 HAS SOUS 2280536 HAS SOUPS 2186138 WITH SCORE 2193766.593
AT ITER 2077 NEW BEST:: SOT 12013535 SOS 7628409 HAS SOPS 6359691 HAS SOUS 2280475 HAS SOUPS 2186077 WITH SCORE 2193705.409
AT ITER 2080 NEW BEST:: SOT 12013049 SOS 7627904 HAS SOPS 6358602 HAS SOUS 2278629 HAS SOUPS 2184260 WITH SCORE 2191887.904
AT ITER 2087 NEW BEST:: SOT 12013176 SOS 7627577 HAS SOPS 6358851 HAS SOUS 2278089 HAS SOUPS 2183720 WITH SCORE 2191347.577
AT ITER 2124 NEW BEST:: SOT 12014220 SOS 7629865 HAS SOPS 6360325 HAS SOUS 2277358 HAS SOUPS 2182989 WITH SCORE 2190618.865
AT ITER 2128 NEW BEST:: SOT 12012604 SOS 7628129 HAS SOPS 6358709 HAS SOUS 2275232 HAS SOUPS 2180893 WITH SCORE 2188521.129
AT ITER 2135 NEW BEST:: SOT 12017528 SOS 7637768 HAS SOPS 6368754 HAS SOUS 2269588 HAS SOUPS 2175292 WITH SCORE 2182929.768
AT ITER 2136 NEW BEST:: SOT 12014261 SOS 7629286 HAS SOPS 6364561 HAS SOUS 2268867 HAS SOUPS 2174797 WITH SCORE 2182426.286
AT ITER 2151 NEW BEST:: SOT 12004969 SOS 7616517 HAS SOPS 6351301 HAS SOUS 2254114 HAS SOUPS 2160162 WITH SCORE 2167778.517
AT ITER 2175 NEW BEST:: SOT 12006302 SOS 7617843 HAS SOPS 6352661 HAS SOUS 2253888 HAS SOUPS 2159963 WITH SCORE 2167580.843
AT ITER 2196 NEW BEST:: SOT 12006246 SOS 7618021 HAS SOPS 6352780 HAS SOUS 2251959 HAS SOUPS 2158034 WITH SCORE 2165652.021
AT ITER 2201 NEW BEST:: SOT 12006106 SOS 7618298 HAS SOPS 6352507 HAS SOUS 2250040 HAS SOUPS 2156091 WITH SCORE 2163709.298
AT ITER 2222 NEW BEST:: SOT 12001870 SOS 7614066 HAS SOPS 6348238 HAS SOUS 2245510 HAS SOUPS 2151539 WITH SCORE 2159153.066
AT ITER 2225 NEW BEST:: SOT 11999298 SOS 7610744 HAS SOPS 6343857 HAS SOUS 2240832 HAS SOUPS 2146861 WITH SCORE 2154471.744
AT ITER 2233 NEW BEST:: SOT 12000314 SOS 7613160 HAS SOPS 6346077 HAS SOUS 2238685 HAS SOUPS 2144452 WITH SCORE 2152065.16
AT ITER 2242 NEW BEST:: SOT 11999256 SOS 7611955 HAS SOPS 6343422 HAS SOUS 2234623 HAS SOUPS 2140485 WITH SCORE 2148096.955
AT ITER 2244 NEW BEST:: SOT 11997320 SOS 7609928 HAS SOPS 6340795 HAS SOUS 2229725 HAS SOUPS 2135609 WITH SCORE 2143218.928
AT ITER 2256 NEW BEST:: SOT 11997569 SOS 7608755 HAS SOPS 6340389 HAS SOUS 2229512 HAS SOUPS 2135423 WITH SCORE 2143031.755
AT ITER 2261 NEW BEST:: SOT 11997558 SOS 7607499 HAS SOPS 6341780 HAS SOUS 2229223 HAS SOUPS 2135134 WITH SCORE 2142741.499
AT ITER 2266 NEW BEST:: SOT 11996875 SOS 7606821 HAS SOPS 6342474 HAS SOUS 2225300 HAS SOUPS 2131211 WITH SCORE 2138817.821
AT ITER 2279 NEW BEST:: SOT 11996446 SOS 7606637 HAS SOPS 6341717 HAS SOUS 2223326 HAS SOUPS 2129237 WITH SCORE 2136843.637
AT ITER 2295 NEW BEST:: SOT 11996423 SOS 7606434 HAS SOPS 6341490 HAS SOUS 2223249 HAS SOUPS 2129160 WITH SCORE 2136766.434
AT ITER 2317 NEW BEST:: SOT 11996665 SOS 7606419 HAS SOPS 6341606 HAS SOUS 2221452 HAS SOUPS 2127363 WITH SCORE 2134969.419
AT ITER 2327 NEW BEST:: SOT 11997018 SOS 7606864 HAS SOPS 6342299 HAS SOUS 2220827 HAS SOUPS 2126738 WITH SCORE 2134344.864
AT ITER 2376 NEW BEST:: SOT 11999101 SOS 7610053 HAS SOPS 6344901 HAS SOUS 2218964 HAS SOUPS 2125324 WITH SCORE 2132934.053
AT ITER 2386 NEW BEST:: SOT 11999117 SOS 7610069 HAS SOPS 6344917 HAS SOUS 2218908 HAS SOUPS 2125268 WITH SCORE 2132878.069
AT ITER 2389 NEW BEST:: SOT 11998822 SOS 7610419 HAS SOPS 6346122 HAS SOUS 2218193 HAS SOUPS 2124553 WITH SCORE 2132163.419
AT ITER 2403 NEW BEST:: SOT 11996716 SOS 7604767 HAS SOPS 6340789 HAS SOUS 2216049 HAS SOUPS 2122411 WITH SCORE 2130015.767
AT ITER 2411 NEW BEST:: SOT 11996500 SOS 7604502 HAS SOPS 6340448 HAS SOUS 2215948 HAS SOUPS 2122310 WITH SCORE 2129914.502
AT ITER 2438 NEW BEST:: SOT 11996774 SOS 7607954 HAS SOPS 6339548 HAS SOUS 2212481 HAS SOUPS 2118843 WITH SCORE 2126450.954
AT ITER 2449 NEW BEST:: SOT 11996498 SOS 7606958 HAS SOPS 6338910 HAS SOUS 2210642 HAS SOUPS 2117297 WITH SCORE 2124903.958
AT ITER 2450 NEW BEST:: SOT 11996037 SOS 7605572 HAS SOPS 6337428 HAS SOUS 2209755 HAS SOUPS 2116410 WITH SCORE 2124015.572
AT ITER 2456 NEW BEST:: SOT 11994236 SOS 7603787 HAS SOPS 6335963 HAS SOUS 2207083 HAS SOUPS 2113738 WITH SCORE 2121341.787
AT ITER 2457 NEW BEST:: SOT 11993935 SOS 7604222 HAS SOPS 6331991 HAS SOUS 2206671 HAS SOUPS 2113141 WITH SCORE 2120745.222
AT ITER 2474 NEW BEST:: SOT 11991859 SOS 7601840 HAS SOPS 6331002 HAS SOUS 2205641 HAS SOUPS 2112111 WITH SCORE 2119712.84
AT ITER 2483 NEW BEST:: SOT 11991569 SOS 7602084 HAS SOPS 6330872 HAS SOUS 2204969 HAS SOUPS 2111102 WITH SCORE 2118704.084
AT ITER 2488 NEW BEST:: SOT 11988041 SOS 7598240 HAS SOPS 6326658 HAS SOUS 2195433 HAS SOUPS 2101566 WITH SCORE 2109164.24
AT ITER 2504 NEW BEST:: SOT 11988502 SOS 7600540 HAS SOPS 6330082 HAS SOUS 2193219 HAS SOUPS 2099352 WITH SCORE 2106952.54
AT ITER 2510 NEW BEST:: SOT 11986258 SOS 7599133 HAS SOPS 6330512 HAS SOUS 2189552 HAS SOUPS 2095685 WITH SCORE 2103284.133
AT ITER 2519 NEW BEST:: SOT 11985245 SOS 7596076 HAS SOPS 6328455 HAS SOUS 2189535 HAS SOUPS 2095668 WITH SCORE 2103264.076
AT ITER 2531 NEW BEST:: SOT 11985376 SOS 7597963 HAS SOPS 6330371 HAS SOUS 2177673 HAS SOUPS 2083984 WITH SCORE 2091581.963
AT ITER 2546 NEW BEST:: SOT 11985274 SOS 7597876 HAS SOPS 6330296 HAS SOUS 2177589 HAS SOUPS 2083843 WITH SCORE 2091440.876
AT ITER 2548 NEW BEST:: SOT 11982175 SOS 7592827 HAS SOPS 6322775 HAS SOUS 2172539 HAS SOUPS 2078712 WITH SCORE 2086304.827
AT ITER 2557 NEW BEST:: SOT 11981758 SOS 7593510 HAS SOPS 6323178 HAS SOUS 2171045 HAS SOUPS 2077218 WITH SCORE 2084811.51
AT ITER 2570 NEW BEST:: SOT 11987935 SOS 7603460 HAS SOPS 6333368 HAS SOUS 2169080 HAS SOUPS 2075397 WITH SCORE 2083000.46
AT ITER 2575 NEW BEST:: SOT 11977357 SOS 7591221 HAS SOPS 6318832 HAS SOUS 2165586 HAS SOUPS 2071547 WITH SCORE 2079138.221
AT ITER 2576 NEW BEST:: SOT 11976356 SOS 7589791 HAS SOPS 6317402 HAS SOUS 2163727 HAS SOUPS 2069688 WITH SCORE 2077277.791
AT ITER 2595 NEW BEST:: SOT 11976606 SOS 7590404 HAS SOPS 6317652 HAS SOUS 2163114 HAS SOUPS 2069075 WITH SCORE 2076665.404
AT ITER 2598 NEW BEST:: SOT 11975826 SOS 7591539 HAS SOPS 6318487 HAS SOUS 2161293 HAS SOUPS 2067254 WITH SCORE 2074845.539
AT ITER 2603 NEW BEST:: SOT 11968419 SOS 7576478 HAS SOPS 6305152 HAS SOUS 2154583 HAS SOUPS 2060646 WITH SCORE 2068222.478
AT ITER 2644 NEW BEST:: SOT 11967285 SOS 7574347 HAS SOPS 6303255 HAS SOUS 2152938 HAS SOUPS 2059047 WITH SCORE 2066621.347
AT ITER 2645 NEW BEST:: SOT 11965697 SOS 7572560 HAS SOPS 6300445 HAS SOUS 2149099 HAS SOUPS 2055208 WITH SCORE 2062780.56
AT ITER 2662 NEW BEST:: SOT 11965175 SOS 7570566 HAS SOPS 6297859 HAS SOUS 2148088 HAS SOUPS 2054197 WITH SCORE 2061767.566
AT ITER 2663 NEW BEST:: SOT 11965143 SOS 7570022 HAS SOPS 6297328 HAS SOUS 2148064 HAS SOUPS 2054173 WITH SCORE 2061743.022
AT ITER 2665 NEW BEST:: SOT 11963424 SOS 7568303 HAS SOPS 6297257 HAS SOUS 2143841 HAS SOUPS 2051870 WITH SCORE 2059438.303
AT ITER 2692 NEW BEST:: SOT 11962544 SOS 7565177 HAS SOPS 6294658 HAS SOUS 2142915 HAS SOUPS 2050944 WITH SCORE 2058509.177
AT ITER 2703 NEW BEST:: SOT 11963690 SOS 7569570 HAS SOPS 6296264 HAS SOUS 2141293 HAS SOUPS 2049256 WITH SCORE 2056825.57
AT ITER 2724 NEW BEST:: SOT 11958399 SOS 7562188 HAS SOPS 6292169 HAS SOUS 2140142 HAS SOUPS 2048105 WITH SCORE 2055667.188
AT ITER 2741 NEW BEST:: SOT 11957466 SOS 7561171 HAS SOPS 6290183 HAS SOUS 2138527 HAS SOUPS 2046442 WITH SCORE 2054003.171
AT ITER 2743 NEW BEST:: SOT 11951907 SOS 7547069 HAS SOPS 6281763 HAS SOUS 2134465 HAS SOUPS 2043366 WITH SCORE 2050913.069
AT ITER 2772 NEW BEST:: SOT 11951907 SOS 7547037 HAS SOPS 6281827 HAS SOUS 2134465 HAS SOUPS 2043366 WITH SCORE 2050913.037
AT ITER 2773 NEW BEST:: SOT 11951729 SOS 7545756 HAS SOPS 6281649 HAS SOUS 2133574 HAS SOUPS 2042475 WITH SCORE 2050020.756
AT ITER 2780 NEW BEST:: SOT 11958756 SOS 7560063 HAS SOPS 6297702 HAS SOUS 2132260 HAS SOUPS 2041161 WITH SCORE 2048721.063
AT ITER 2786 NEW BEST:: SOT 11954811 SOS 7552187 HAS SOPS 6291248 HAS SOUS 2130424 HAS SOUPS 2039325 WITH SCORE 2046877.187
AT ITER 2795 NEW BEST:: SOT 11955065 SOS 7553659 HAS SOPS 6291821 HAS SOUS 2129685 HAS SOUPS 2038586 WITH SCORE 2046139.659
AT ITER 2801 NEW BEST:: SOT 11955056 SOS 7553568 HAS SOPS 6291615 HAS SOUS 2129625 HAS SOUPS 2038526 WITH SCORE 2046079.568
AT ITER 2813 NEW BEST:: SOT 11954614 SOS 7553165 HAS SOPS 6290883 HAS SOUS 2127475 HAS SOUPS 2036376 WITH SCORE 2043929.165
AT ITER 2816 NEW BEST:: SOT 11948811 SOS 7542517 HAS SOPS 6282045 HAS SOUS 2126122 HAS SOUPS 2034986 WITH SCORE 2042528.517
AT ITER 2831 NEW BEST:: SOT 11948744 SOS 7542339 HAS SOPS 6281806 HAS SOUS 2126106 HAS SOUPS 2034970 WITH SCORE 2042512.339
AT ITER 2834 NEW BEST:: SOT 11948906 SOS 7541979 HAS SOPS 6281934 HAS SOUS 2126051 HAS SOUPS 2034915 WITH SCORE 2042456.979
AT ITER 2844 NEW BEST:: SOT 11953708 SOS 7549352 HAS SOPS 6289152 HAS SOUS 2125785 HAS SOUPS 2034649 WITH SCORE 2042198.352
AT ITER 2858 NEW BEST:: SOT 11956039 SOS 7551268 HAS SOPS 6291256 HAS SOUS 2124499 HAS SOUPS 2033441 WITH SCORE 2040992.268
AT ITER 2861 NEW BEST:: SOT 11954445 SOS 7549930 HAS SOPS 6289312 HAS SOUS 2121345 HAS SOUPS 2030287 WITH SCORE 2037836.93
AT ITER 2868 NEW BEST:: SOT 11949833 SOS 7545176 HAS SOPS 6284194 HAS SOUS 2116108 HAS SOUPS 2025050 WITH SCORE 2032595.176
AT ITER 2870 NEW BEST:: SOT 11950138 SOS 7545263 HAS SOPS 6283172 HAS SOUS 2112497 HAS SOUPS 2021439 WITH SCORE 2028984.263
AT ITER 2881 NEW BEST:: SOT 11945091 SOS 7534416 HAS SOPS 6277447 HAS SOUS 2110950 HAS SOUPS 2019912 WITH SCORE 2027446.416
AT ITER 2908 NEW BEST:: SOT 11945108 SOS 7534457 HAS SOPS 6277588 HAS SOUS 2110842 HAS SOUPS 2019804 WITH SCORE 2027338.457
AT ITER 2911 NEW BEST:: SOT 11944156 SOS 7533495 HAS SOPS 6275857 HAS SOUS 2108848 HAS SOUPS 2017825 WITH SCORE 2025358.495
AT ITER 2918 NEW BEST:: SOT 11947889 SOS 7545502 HAS SOPS 6280709 HAS SOUS 2101317 HAS SOUPS 2010331 WITH SCORE 2017876.502
AT ITER 2922 NEW BEST:: SOT 11947851 SOS 7545880 HAS SOPS 6285120 HAS SOUS 2098432 HAS SOUPS 2007289 WITH SCORE 2014834.88
AT ITER 2923 NEW BEST:: SOT 11947596 SOS 7545265 HAS SOPS 6284601 HAS SOUS 2098405 HAS SOUPS 2007268 WITH SCORE 2014813.265
AT ITER 2932 NEW BEST:: SOT 11947976 SOS 7545645 HAS SOPS 6284933 HAS SOUS 2098325 HAS SOUPS 2007188 WITH SCORE 2014733.645
AT ITER 2938 NEW BEST:: SOT 11947772 SOS 7545483 HAS SOPS 6283965 HAS SOUS 2097762 HAS SOUPS 2006625 WITH SCORE 2014170.483
AT ITER 2939 NEW BEST:: SOT 11947485 SOS 7544812 HAS SOPS 6283498 HAS SOUS 2097499 HAS SOUPS 2006362 WITH SCORE 2013906.812
AT ITER 2956 NEW BEST:: SOT 11938045 SOS 7510648 HAS SOPS 6269845 HAS SOUS 2094672 HAS SOUPS 2004083 WITH SCORE 2011593.648
AT ITER 2960 NEW BEST:: SOT 11938041 SOS 7510681 HAS SOPS 6269930 HAS SOUS 2094670 HAS SOUPS 2004081 WITH SCORE 2011591.681
AT ITER 2962 NEW BEST:: SOT 11938524 SOS 7510906 HAS SOPS 6270709 HAS SOUS 2093891 HAS SOUPS 2003302 WITH SCORE 2010812.906
AT ITER 3001 NEW BEST:: SOT 11940088 SOS 7516517 HAS SOPS 6277834 HAS SOUS 2090274 HAS SOUPS 1999760 WITH SCORE 2007276.517
AT ITER 3008 NEW BEST:: SOT 11942082 SOS 7520778 HAS SOPS 6282040 HAS SOUS 2087847 HAS SOUPS 1997377 WITH SCORE 2004897.778
AT ITER 3012 NEW BEST:: SOT 11941390 SOS 7523139 HAS SOPS 6283311 HAS SOUS 2086445 HAS SOUPS 1995886 WITH SCORE 2003409.139
AT ITER 3021 NEW BEST:: SOT 11940954 SOS 7522703 HAS SOPS 6282463 HAS SOUS 2085013 HAS SOUPS 1994538 WITH SCORE 2002060.703
AT ITER 3044 NEW BEST:: SOT 11940894 SOS 7522643 HAS SOPS 6282403 HAS SOUS 2084873 HAS SOUPS 1994398 WITH SCORE 2001920.643
AT ITER 3047 NEW BEST:: SOT 11941432 SOS 7525734 HAS SOPS 6285613 HAS SOUS 2084180 HAS SOUPS 1993705 WITH SCORE 2001230.734
AT ITER 3056 NEW BEST:: SOT 11940003 SOS 7524292 HAS SOPS 6285046 HAS SOUS 2080867 HAS SOUPS 1990392 WITH SCORE 1997916.292
AT ITER 3058 NEW BEST:: SOT 11935912 SOS 7520201 HAS SOPS 6280955 HAS SOUS 2076696 HAS SOUPS 1986221 WITH SCORE 1993741.201
AT ITER 3087 NEW BEST:: SOT 11936018 SOS 7520507 HAS SOPS 6281170 HAS SOUS 2076388 HAS SOUPS 1985913 WITH SCORE 1993433.507
AT ITER 3101 NEW BEST:: SOT 11935846 SOS 7520335 HAS SOPS 6281062 HAS SOUS 2075928 HAS SOUPS 1985549 WITH SCORE 1993069.335
AT ITER 3102 NEW BEST:: SOT 11934166 SOS 7515893 HAS SOPS 6276473 HAS SOUS 2074202 HAS SOUPS 1983823 WITH SCORE 1991338.893
AT ITER 3103 NEW BEST:: SOT 11931946 SOS 7508592 HAS SOPS 6270325 HAS SOUS 2071756 HAS SOUPS 1981377 WITH SCORE 1988885.592
AT ITER 3120 NEW BEST:: SOT 11930799 SOS 7506516 HAS SOPS 6268463 HAS SOUS 2069640 HAS SOUPS 1979261 WITH SCORE 1986767.516
AT ITER 3126 NEW BEST:: SOT 11931338 SOS 7507701 HAS SOPS 6270831 HAS SOUS 2066316 HAS SOUPS 1975937 WITH SCORE 1983444.701
AT ITER 3138 NEW BEST:: SOT 11918744 SOS 7507177 HAS SOPS 6258967 HAS SOUS 2052666 HAS SOUPS 1962287 WITH SCORE 1969794.177
AT ITER 3156 NEW BEST:: SOT 11917989 SOS 7505246 HAS SOPS 6257396 HAS SOUS 2051830 HAS SOUPS 1961523 WITH SCORE 1969028.246
AT ITER 3166 NEW BEST:: SOT 11910781 SOS 7496343 HAS SOPS 6249678 HAS SOUS 2044066 HAS SOUPS 1953757 WITH SCORE 1961253.343
AT ITER 3219 NEW BEST:: SOT 11904498 SOS 7488437 HAS SOPS 6244871 HAS SOUS 2033268 HAS SOUPS 1942959 WITH SCORE 1950447.437
AT ITER 3233 NEW BEST:: SOT 11904498 SOS 7488437 HAS SOPS 6244871 HAS SOUS 2033244 HAS SOUPS 1942935 WITH SCORE 1950423.437
AT ITER 3234 NEW BEST:: SOT 11909000 SOS 7497836 HAS SOPS 6250134 HAS SOUS 2031018 HAS SOUPS 1940709 WITH SCORE 1948206.836
AT ITER 3259 NEW BEST:: SOT 11907692 SOS 7497657 HAS SOPS 6247786 HAS SOUS 2029234 HAS SOUPS 1938876 WITH SCORE 1946373.657
AT ITER 3273 NEW BEST:: SOT 11907676 SOS 7496843 HAS SOPS 6246920 HAS SOUS 2029146 HAS SOUPS 1938788 WITH SCORE 1946284.843
AT ITER 3285 NEW BEST:: SOT 11903991 SOS 7486703 HAS SOPS 6240386 HAS SOUS 2024116 HAS SOUPS 1933843 WITH SCORE 1941329.703
AT ITER 3296 NEW BEST:: SOT 11901825 SOS 7484226 HAS SOPS 6239960 HAS SOUS 2023476 HAS SOUPS 1933203 WITH SCORE 1940687.226
AT ITER 3298 NEW BEST:: SOT 11902985 SOS 7488064 HAS SOPS 6243023 HAS SOUS 2022668 HAS SOUPS 1932395 WITH SCORE 1939883.064
AT ITER 3305 NEW BEST:: SOT 11903226 SOS 7489269 HAS SOPS 6244533 HAS SOUS 2021910 HAS SOUPS 1931637 WITH SCORE 1939126.269
AT ITER 3343 NEW BEST:: SOT 11903183 SOS 7488810 HAS SOPS 6244029 HAS SOUS 2021231 HAS SOUPS 1930976 WITH SCORE 1938464.81
AT ITER 3345 NEW BEST:: SOT 11903135 SOS 7488762 HAS SOPS 6243981 HAS SOUS 2021107 HAS SOUPS 1930852 WITH SCORE 1938340.762
AT ITER 3347 NEW BEST:: SOT 11903145 SOS 7488759 HAS SOPS 6243984 HAS SOUS 2020979 HAS SOUPS 1930758 WITH SCORE 1938246.759
AT ITER 3378 NEW BEST:: SOT 11904891 SOS 7489483 HAS SOPS 6245180 HAS SOUS 2020576 HAS SOUPS 1930444 WITH SCORE 1937933.483
AT ITER 3397 NEW BEST:: SOT 11901293 SOS 7486312 HAS SOPS 6241114 HAS SOUS 2013195 HAS SOUPS 1923063 WITH SCORE 1930549.312
AT ITER 3411 NEW BEST:: SOT 11900390 SOS 7485420 HAS SOPS 6239331 HAS SOUS 2010805 HAS SOUPS 1920417 WITH SCORE 1927902.42
AT ITER 3439 NEW BEST:: SOT 11899936 SOS 7484966 HAS SOPS 6238461 HAS SOUS 2008599 HAS SOUPS 1918211 WITH SCORE 1925695.966
AT ITER 3463 NEW BEST:: SOT 11898949 SOS 7482399 HAS SOPS 6236134 HAS SOUS 2007896 HAS SOUPS 1917526 WITH SCORE 1925008.399
AT ITER 3491 NEW BEST:: SOT 11899092 SOS 7482969 HAS SOPS 6236740 HAS SOUS 2006600 HAS SOUPS 1916230 WITH SCORE 1923712.969
AT ITER 3508 NEW BEST:: SOT 11899103 SOS 7483002 HAS SOPS 6236762 HAS SOUS 2006546 HAS SOUPS 1916186 WITH SCORE 1923669.002
AT ITER 3533 NEW BEST:: SOT 11899116 SOS 7483015 HAS SOPS 6236263 HAS SOUS 2005731 HAS SOUPS 1915299 WITH SCORE 1922782.015
AT ITER 3537 NEW BEST:: SOT 11899026 SOS 7482925 HAS SOPS 6236141 HAS SOUS 2005545 HAS SOUPS 1915113 WITH SCORE 1922595.925
AT ITER 3563 NEW BEST:: SOT 11898886 SOS 7483035 HAS SOPS 6236063 HAS SOUS 2005191 HAS SOUPS 1914759 WITH SCORE 1922242.035
AT ITER 3577 NEW BEST:: SOT 11896737 SOS 7479031 HAS SOPS 6232013 HAS SOUS 1995709 HAS SOUPS 1905595 WITH SCORE 1913074.031
AT ITER 3578 NEW BEST:: SOT 11889617 SOS 7465151 HAS SOPS 6218536 HAS SOUS 1990081 HAS SOUPS 1899973 WITH SCORE 1907438.151
AT ITER 3588 NEW BEST:: SOT 11888393 SOS 7465559 HAS SOPS 6218504 HAS SOUS 1987353 HAS SOUPS 1897245 WITH SCORE 1904710.559
AT ITER 3590 NEW BEST:: SOT 11888375 SOS 7465541 HAS SOPS 6218454 HAS SOUS 1987167 HAS SOUPS 1897059 WITH SCORE 1904524.541
AT ITER 3602 NEW BEST:: SOT 11887981 SOS 7465550 HAS SOPS 6218616 HAS SOUS 1985782 HAS SOUPS 1895674 WITH SCORE 1903139.55
AT ITER 3628 NEW BEST:: SOT 11889102 SOS 7461527 HAS SOPS 6215300 HAS SOUS 1984289 HAS SOUPS 1894263 WITH SCORE 1901724.527
AT ITER 3637 NEW BEST:: SOT 11884334 SOS 7453450 HAS SOPS 6209839 HAS SOUS 1982040 HAS SOUPS 1892014 WITH SCORE 1899467.45
AT ITER 3645 NEW BEST:: SOT 11881754 SOS 7450791 HAS SOPS 6208790 HAS SOUS 1979672 HAS SOUPS 1889691 WITH SCORE 1897141.791
AT ITER 3660 NEW BEST:: SOT 11881952 SOS 7450866 HAS SOPS 6209201 HAS SOUS 1978705 HAS SOUPS 1888817 WITH SCORE 1896267.866
AT ITER 3684 NEW BEST:: SOT 11881439 SOS 7454703 HAS SOPS 6207490 HAS SOUS 1971715 HAS SOUPS 1881791 WITH SCORE 1889245.703
AT ITER 3693 NEW BEST:: SOT 11879217 SOS 7451428 HAS SOPS 6203054 HAS SOUS 1970434 HAS SOUPS 1880598 WITH SCORE 1888049.428
AT ITER 3699 NEW BEST:: SOT 11878736 SOS 7450936 HAS SOPS 6202738 HAS SOUS 1969161 HAS SOUPS 1879589 WITH SCORE 1887039.936
AT ITER 3700 NEW BEST:: SOT 11877891 SOS 7449933 HAS SOPS 6201450 HAS SOUS 1967596 HAS SOUPS 1878024 WITH SCORE 1885473.933
AT ITER 3714 NEW BEST:: SOT 11879413 SOS 7451560 HAS SOPS 6203849 HAS SOUS 1966906 HAS SOUPS 1877743 WITH SCORE 1885194.56
AT ITER 3722 NEW BEST:: SOT 11877570 SOS 7449085 HAS SOPS 6201168 HAS SOUS 1964405 HAS SOUPS 1875169 WITH SCORE 1882618.085
AT ITER 3734 NEW BEST:: SOT 11877646 SOS 7444923 HAS SOPS 6200347 HAS SOUS 1963912 HAS SOUPS 1874676 WITH SCORE 1882120.923
AT ITER 3741 NEW BEST:: SOT 11873194 SOS 7440452 HAS SOPS 6195865 HAS SOUS 1956755 HAS SOUPS 1867507 WITH SCORE 1874947.452
AT ITER 3742 NEW BEST:: SOT 11873519 SOS 7439382 HAS SOPS 6194887 HAS SOUS 1955779 HAS SOUPS 1866553 WITH SCORE 1873992.382
AT ITER 3752 NEW BEST:: SOT 11874024 SOS 7440914 HAS SOPS 6196034 HAS SOUS 1955781 HAS SOUPS 1866523 WITH SCORE 1873963.914
AT ITER 3768 NEW BEST:: SOT 11873450 SOS 7440073 HAS SOPS 6194701 HAS SOUS 1954730 HAS SOUPS 1865465 WITH SCORE 1872905.073
AT ITER 3791 NEW BEST:: SOT 11873422 SOS 7440041 HAS SOPS 6194669 HAS SOUS 1954686 HAS SOUPS 1865421 WITH SCORE 1872861.041
AT ITER 3807 NEW BEST:: SOT 11875690 SOS 7443789 HAS SOPS 6200630 HAS SOUS 1953425 HAS SOUPS 1864176 WITH SCORE 1871619.789
AT ITER 3819 NEW BEST:: SOT 11874287 SOS 7440945 HAS SOPS 6197635 HAS SOUS 1951346 HAS SOUPS 1862097 WITH SCORE 1869537.945
AT ITER 3824 NEW BEST:: SOT 11875186 SOS 7443616 HAS SOPS 6198882 HAS SOUS 1950285 HAS SOUPS 1861036 WITH SCORE 1868479.616
AT ITER 3831 NEW BEST:: SOT 11878576 SOS 7446476 HAS SOPS 6201708 HAS SOUS 1949014 HAS SOUPS 1859821 WITH SCORE 1867267.476
AT ITER 3836 NEW BEST:: SOT 11875638 SOS 7440443 HAS SOPS 6196418 HAS SOUS 1947641 HAS SOUPS 1858465 WITH SCORE 1865905.443
AT ITER 3839 NEW BEST:: SOT 11875230 SOS 7440062 HAS SOPS 6196124 HAS SOUS 1946735 HAS SOUPS 1857550 WITH SCORE 1864990.062
AT ITER 3844 NEW BEST:: SOT 11874325 SOS 7439175 HAS SOPS 6194885 HAS SOUS 1944986 HAS SOUPS 1855801 WITH SCORE 1863240.175
AT ITER 3846 NEW BEST:: SOT 11874034 SOS 7440561 HAS SOPS 6197602 HAS SOUS 1944322 HAS SOUPS 1855137 WITH SCORE 1862577.561
AT ITER 3852 NEW BEST:: SOT 11872833 SOS 7441975 HAS SOPS 6197018 HAS SOUS 1942758 HAS SOUPS 1853573 WITH SCORE 1861014.975
AT ITER 3864 NEW BEST:: SOT 11873450 SOS 7442120 HAS SOPS 6197690 HAS SOUS 1939901 HAS SOUPS 1850716 WITH SCORE 1858158.12
AT ITER 3883 NEW BEST:: SOT 11872080 SOS 7440750 HAS SOPS 6196192 HAS SOUS 1938975 HAS SOUPS 1849790 WITH SCORE 1857230.75
AT ITER 3890 NEW BEST:: SOT 11872439 SOS 7441359 HAS SOPS 6196716 HAS SOUS 1938809 HAS SOUPS 1849624 WITH SCORE 1857065.359
AT ITER 3896 NEW BEST:: SOT 11858459 SOS 7410594 HAS SOPS 6170850 HAS SOUS 1929341 HAS SOUPS 1840156 WITH SCORE 1847566.594
AT ITER 3898 NEW BEST:: SOT 11858459 SOS 7410591 HAS SOPS 6170847 HAS SOUS 1929296 HAS SOUPS 1840111 WITH SCORE 1847521.591
AT ITER 3904 NEW BEST:: SOT 11858252 SOS 7410320 HAS SOPS 6170512 HAS SOUS 1928829 HAS SOUPS 1839644 WITH SCORE 1847054.32
AT ITER 3916 NEW BEST:: SOT 11857826 SOS 7407669 HAS SOPS 6170316 HAS SOUS 1928701 HAS SOUPS 1839516 WITH SCORE 1846923.669
AT ITER 3920 NEW BEST:: SOT 11858646 SOS 7408728 HAS SOPS 6171804 HAS SOUS 1924462 HAS SOUPS 1835277 WITH SCORE 1842685.728
AT ITER 3935 NEW BEST:: SOT 11857966 SOS 7408202 HAS SOPS 6170758 HAS SOUS 1922532 HAS SOUPS 1833337 WITH SCORE 1840745.202
AT ITER 3956 NEW BEST:: SOT 11857898 SOS 7408138 HAS SOPS 6170598 HAS SOUS 1922344 HAS SOUPS 1833149 WITH SCORE 1840557.138
AT ITER 3961 NEW BEST:: SOT 11858272 SOS 7408330 HAS SOPS 6172668 HAS SOUS 1921799 HAS SOUPS 1832721 WITH SCORE 1840129.33
AT ITER 3964 NEW BEST:: SOT 11855455 SOS 7400869 HAS SOPS 6166434 HAS SOUS 1921250 HAS SOUPS 1832212 WITH SCORE 1839612.869
AT ITER 3973 NEW BEST:: SOT 11849455 SOS 7387282 HAS SOPS 6154765 HAS SOUS 1918918 HAS SOUPS 1829880 WITH SCORE 1837267.282
AT ITER 3981 NEW BEST:: SOT 11847425 SOS 7385252 HAS SOPS 6152735 HAS SOUS 1916864 HAS SOUPS 1827826 WITH SCORE 1835211.252
AT ITER 3985 NEW BEST:: SOT 11846813 SOS 7384640 HAS SOPS 6152571 HAS SOUS 1916364 HAS SOUPS 1827662 WITH SCORE 1835046.64
AT ITER 3995 NEW BEST:: SOT 11846620 SOS 7380250 HAS SOPS 6147974 HAS SOUS 1915350 HAS SOUPS 1826648 WITH SCORE 1834028.25
AT ITER 3996 NEW BEST:: SOT 11847794 SOS 7382827 HAS SOPS 6150279 HAS SOUS 1914378 HAS SOUPS 1825706 WITH SCORE 1833088.827
AT ITER 4025 NEW BEST:: SOT 11849905 SOS 7384254 HAS SOPS 6155403 HAS SOUS 1913841 HAS SOUPS 1825169 WITH SCORE 1832553.254
AT ITER 4053 NEW BEST:: SOT 11849794 SOS 7383881 HAS SOPS 6155316 HAS SOUS 1913571 HAS SOUPS 1824906 WITH SCORE 1832289.881
AT ITER 4056 NEW BEST:: SOT 11847889 SOS 7382328 HAS SOPS 6153006 HAS SOUS 1908654 HAS SOUPS 1819986 WITH SCORE 1827368.328
AT ITER 4068 NEW BEST:: SOT 11847979 SOS 7382384 HAS SOPS 6152688 HAS SOUS 1908113 HAS SOUPS 1819377 WITH SCORE 1826759.384
AT ITER 4072 NEW BEST:: SOT 11847154 SOS 7381052 HAS SOPS 6151485 HAS SOUS 1905104 HAS SOUPS 1816368 WITH SCORE 1823749.052
AT ITER 4095 NEW BEST:: SOT 11846225 SOS 7377531 HAS SOPS 6148514 HAS SOUS 1903970 HAS SOUPS 1815240 WITH SCORE 1822617.531
AT ITER 4096 NEW BEST:: SOT 11845656 SOS 7376981 HAS SOPS 6147660 HAS SOUS 1902413 HAS SOUPS 1813683 WITH SCORE 1821059.981
AT ITER 4098 NEW BEST:: SOT 11845017 SOS 7375994 HAS SOPS 6146278 HAS SOUS 1899998 HAS SOUPS 1811290 WITH SCORE 1818665.994
AT ITER 4102 NEW BEST:: SOT 11844612 SOS 7375559 HAS SOPS 6145763 HAS SOUS 1899077 HAS SOUPS 1810369 WITH SCORE 1817744.559
AT ITER 4110 NEW BEST:: SOT 11844170 SOS 7375117 HAS SOPS 6145321 HAS SOUS 1898475 HAS SOUPS 1809767 WITH SCORE 1817142.117
AT ITER 4122 NEW BEST:: SOT 11844167 SOS 7375048 HAS SOPS 6145300 HAS SOUS 1897962 HAS SOUPS 1809254 WITH SCORE 1816629.048
AT ITER 4125 NEW BEST:: SOT 11843704 SOS 7372972 HAS SOPS 6144701 HAS SOUS 1897885 HAS SOUPS 1809230 WITH SCORE 1816602.972
AT ITER 4143 NEW BEST:: SOT 11843671 SOS 7372665 HAS SOPS 6144215 HAS SOUS 1897766 HAS SOUPS 1809111 WITH SCORE 1816483.665
AT ITER 4145 NEW BEST:: SOT 11844068 SOS 7373027 HAS SOPS 6144563 HAS SOUS 1897687 HAS SOUPS 1809039 WITH SCORE 1816412.027
AT ITER 4148 NEW BEST:: SOT 11843677 SOS 7372635 HAS SOPS 6144171 HAS SOUS 1897596 HAS SOUPS 1808948 WITH SCORE 1816320.635
AT ITER 4161 NEW BEST:: SOT 11842822 SOS 7376609 HAS SOPS 6142160 HAS SOUS 1891879 HAS SOUPS 1803231 WITH SCORE 1810607.609
AT ITER 4164 NEW BEST:: SOT 11842815 SOS 7376572 HAS SOPS 6142796 HAS SOUS 1891254 HAS SOUPS 1802606 WITH SCORE 1809982.572
AT ITER 4189 NEW BEST:: SOT 11843037 SOS 7376983 HAS SOPS 6142801 HAS SOUS 1891035 HAS SOUPS 1802387 WITH SCORE 1809763.983
AT ITER 4234 NEW BEST:: SOT 11842091 SOS 7373990 HAS SOPS 6139401 HAS SOUS 1888917 HAS SOUPS 1800269 WITH SCORE 1807642.99
AT ITER 4237 NEW BEST:: SOT 11840820 SOS 7370975 HAS SOPS 6136016 HAS SOUS 1885277 HAS SOUPS 1796649 WITH SCORE 1804019.975
AT ITER 4249 NEW BEST:: SOT 11839767 SOS 7371856 HAS SOPS 6134928 HAS SOUS 1883492 HAS SOUPS 1794820 WITH SCORE 1802191.856
AT ITER 4264 NEW BEST:: SOT 11839689 SOS 7371834 HAS SOPS 6134936 HAS SOUS 1883276 HAS SOUPS 1794604 WITH SCORE 1801975.834
AT ITER 4279 NEW BEST:: SOT 11839217 SOS 7366647 HAS SOPS 6127013 HAS SOUS 1882712 HAS SOUPS 1794121 WITH SCORE 1801487.647
AT ITER 4288 NEW BEST:: SOT 11838069 SOS 7361770 HAS SOPS 6117965 HAS SOUS 1880104 HAS SOUPS 1791513 WITH SCORE 1798874.77
AT ITER 4303 NEW BEST:: SOT 11840082 SOS 7363679 HAS SOPS 6120226 HAS SOUS 1878371 HAS SOUPS 1790026 WITH SCORE 1797389.679
AT ITER 4329 NEW BEST:: SOT 11837436 SOS 7356762 HAS SOPS 6113914 HAS SOUS 1875620 HAS SOUPS 1787275 WITH SCORE 1794631.762
AT ITER 4337 NEW BEST:: SOT 11834362 SOS 7353688 HAS SOPS 6109480 HAS SOUS 1869226 HAS SOUPS 1780881 WITH SCORE 1788234.688
AT ITER 4378 NEW BEST:: SOT 11834938 SOS 7355188 HAS SOPS 6110650 HAS SOUS 1868812 HAS SOUPS 1780467 WITH SCORE 1787822.188
AT ITER 4380 NEW BEST:: SOT 11832271 SOS 7352510 HAS SOPS 6107876 HAS SOUS 1865537 HAS SOUPS 1777192 WITH SCORE 1784544.51
AT ITER 4392 NEW BEST:: SOT 11832172 SOS 7352402 HAS SOPS 6107768 HAS SOUS 1865434 HAS SOUPS 1777089 WITH SCORE 1784441.402
AT ITER 4395 NEW BEST:: SOT 11829156 SOS 7349379 HAS SOPS 6104745 HAS SOUS 1862202 HAS SOUPS 1773857 WITH SCORE 1781206.379
AT ITER 4422 NEW BEST:: SOT 11829218 SOS 7351265 HAS SOPS 6105254 HAS SOUS 1858512 HAS SOUPS 1770167 WITH SCORE 1777518.265
AT ITER 4445 NEW BEST:: SOT 11829238 SOS 7351263 HAS SOPS 6105172 HAS SOUS 1857764 HAS SOUPS 1769419 WITH SCORE 1776770.263
AT ITER 4458 NEW BEST:: SOT 11828829 SOS 7348585 HAS SOPS 6102724 HAS SOUS 1857123 HAS SOUPS 1768778 WITH SCORE 1776126.585
AT ITER 4466 NEW BEST:: SOT 11826975 SOS 7345334 HAS SOPS 6099609 HAS SOUS 1855266 HAS SOUPS 1766935 WITH SCORE 1774280.334
AT ITER 4469 NEW BEST:: SOT 11827184 SOS 7346712 HAS SOPS 6100384 HAS SOUS 1854832 HAS SOUPS 1766501 WITH SCORE 1773847.712
AT ITER 4485 NEW BEST:: SOT 11825285 SOS 7341823 HAS SOPS 6096938 HAS SOUS 1852277 HAS SOUPS 1765010 WITH SCORE 1772351.823
AT ITER 4506 NEW BEST:: SOT 11828673 SOS 7345164 HAS SOPS 6099463 HAS SOUS 1851577 HAS SOUPS 1764310 WITH SCORE 1771655.164
AT ITER 4508 NEW BEST:: SOT 11828678 SOS 7345163 HAS SOPS 6099472 HAS SOUS 1851567 HAS SOUPS 1764300 WITH SCORE 1771645.163
AT ITER 4527 NEW BEST:: SOT 11824600 SOS 7341085 HAS SOPS 6095282 HAS SOUS 1846921 HAS SOUPS 1759654 WITH SCORE 1766995.085
AT ITER 4560 NEW BEST:: SOT 11832386 SOS 7357871 HAS SOPS 6110485 HAS SOUS 1846555 HAS SOUPS 1759313 WITH SCORE 1766670.871
AT ITER 4561 NEW BEST:: SOT 11831007 SOS 7358393 HAS SOPS 6110617 HAS SOUS 1842471 HAS SOUPS 1755177 WITH SCORE 1762535.393
AT ITER 4574 NEW BEST:: SOT 11828904 SOS 7355102 HAS SOPS 6107742 HAS SOUS 1833471 HAS SOUPS 1746232 WITH SCORE 1753587.102
AT ITER 4578 NEW BEST:: SOT 11830197 SOS 7356357 HAS SOPS 6108021 HAS SOUS 1831412 HAS SOUPS 1744173 WITH SCORE 1751529.357
AT ITER 4589 NEW BEST:: SOT 11830033 SOS 7356182 HAS SOPS 6107765 HAS SOUS 1831175 HAS SOUPS 1743906 WITH SCORE 1751262.182
AT ITER 4617 NEW BEST:: SOT 11832288 SOS 7360321 HAS SOPS 6113762 HAS SOUS 1828177 HAS SOUPS 1741122 WITH SCORE 1748482.321
AT ITER 4634 NEW BEST:: SOT 11832282 SOS 7360257 HAS SOPS 6113713 HAS SOUS 1828161 HAS SOUPS 1741106 WITH SCORE 1748466.257
AT ITER 4638 NEW BEST:: SOT 11831609 SOS 7359551 HAS SOPS 6112108 HAS SOUS 1827318 HAS SOUPS 1740263 WITH SCORE 1747622.551
AT ITER 4662 NEW BEST:: SOT 11831916 SOS 7358154 HAS SOPS 6115219 HAS SOUS 1824752 HAS SOUPS 1737729 WITH SCORE 1745087.154
AT ITER 4667 NEW BEST:: SOT 11831621 SOS 7357682 HAS SOPS 6114877 HAS SOUS 1823555 HAS SOUPS 1736640 WITH SCORE 1743997.682
AT ITER 4668 NEW BEST:: SOT 11831715 SOS 7359333 HAS SOPS 6116792 HAS SOUS 1823437 HAS SOUPS 1736522 WITH SCORE 1743881.333
AT ITER 4675 NEW BEST:: SOT 11831751 SOS 7358454 HAS SOPS 6116677 HAS SOUS 1823360 HAS SOUPS 1736445 WITH SCORE 1743803.454
AT ITER 4686 NEW BEST:: SOT 11832470 SOS 7360658 HAS SOPS 6116849 HAS SOUS 1821026 HAS SOUPS 1734079 WITH SCORE 1741439.658
AT ITER 4698 NEW BEST:: SOT 11827267 SOS 7354723 HAS SOPS 6111591 HAS SOUS 1815617 HAS SOUPS 1728822 WITH SCORE 1736176.723
AT ITER 4699 NEW BEST:: SOT 11827118 SOS 7354710 HAS SOPS 6111186 HAS SOUS 1815500 HAS SOUPS 1728697 WITH SCORE 1736051.71
AT ITER 4713 NEW BEST:: SOT 11825944 SOS 7353735 HAS SOPS 6110763 HAS SOUS 1812235 HAS SOUPS 1725483 WITH SCORE 1732836.735
AT ITER 4750 NEW BEST:: SOT 11825969 SOS 7353764 HAS SOPS 6110792 HAS SOUS 1812224 HAS SOUPS 1725472 WITH SCORE 1732825.764
AT ITER 4759 NEW BEST:: SOT 11822388 SOS 7347756 HAS SOPS 6104588 HAS SOUS 1803672 HAS SOUPS 1716970 WITH SCORE 1724317.756
AT ITER 4808 NEW BEST:: SOT 11812921 SOS 7336017 HAS SOPS 6091746 HAS SOUS 1799263 HAS SOUPS 1712558 WITH SCORE 1719894.017
AT ITER 4818 NEW BEST:: SOT 11812379 SOS 7335463 HAS SOPS 6090872 HAS SOUS 1797985 HAS SOUPS 1711280 WITH SCORE 1718615.463
AT ITER 4831 NEW BEST:: SOT 11809802 SOS 7332365 HAS SOPS 6086482 HAS SOUS 1792168 HAS SOUPS 1705414 WITH SCORE 1712746.365
AT ITER 4843 NEW BEST:: SOT 11810331 SOS 7334594 HAS SOPS 6087921 HAS SOUS 1791722 HAS SOUPS 1704968 WITH SCORE 1712302.594
AT ITER 4855 NEW BEST:: SOT 11811008 SOS 7335927 HAS SOPS 6088886 HAS SOUS 1791544 HAS SOUPS 1704790 WITH SCORE 1712125.927
AT ITER 4863 NEW BEST:: SOT 11802809 SOS 7323183 HAS SOPS 6082213 HAS SOUS 1783712 HAS SOUPS 1697187 WITH SCORE 1704510.183
AT ITER 4876 NEW BEST:: SOT 11802741 SOS 7323115 HAS SOPS 6082113 HAS SOUS 1783564 HAS SOUPS 1697023 WITH SCORE 1704346.115
AT ITER 4886 NEW BEST:: SOT 11801532 SOS 7319051 HAS SOPS 6077498 HAS SOUS 1780641 HAS SOUPS 1694100 WITH SCORE 1701419.051
AT ITER 4892 NEW BEST:: SOT 11795953 SOS 7302959 HAS SOPS 6062833 HAS SOUS 1778890 HAS SOUPS 1692349 WITH SCORE 1699651.959
AT ITER 4900 NEW BEST:: SOT 11796404 SOS 7304107 HAS SOPS 6062118 HAS SOUS 1777990 HAS SOUPS 1691449 WITH SCORE 1698753.107
AT ITER 4915 NEW BEST:: SOT 11800047 SOS 7310068 HAS SOPS 6066168 HAS SOUS 1776984 HAS SOUPS 1690443 WITH SCORE 1697753.068
AT ITER 4925 NEW BEST:: SOT 11799588 SOS 7310885 HAS SOPS 6065101 HAS SOUS 1770570 HAS SOUPS 1684122 WITH SCORE 1691432.885
AT ITER 4927 NEW BEST:: SOT 11799427 SOS 7310704 HAS SOPS 6064904 HAS SOUS 1770126 HAS SOUPS 1683675 WITH SCORE 1690985.704
AT ITER 4939 NEW BEST:: SOT 11799494 SOS 7310573 HAS SOPS 6064362 HAS SOUS 1765580 HAS SOUPS 1679129 WITH SCORE 1686439.573
AT ITER 4948 NEW BEST:: SOT 11797057 SOS 7309110 HAS SOPS 6063738 HAS SOUS 1765172 HAS SOUPS 1678721 WITH SCORE 1686030.11
AT ITER 4964 NEW BEST:: SOT 11794272 SOS 7298049 HAS SOPS 6052298 HAS SOUS 1759635 HAS SOUPS 1673184 WITH SCORE 1680482.049
AT ITER 4965 NEW BEST:: SOT 11795601 SOS 7299833 HAS SOPS 6055784 HAS SOUS 1758875 HAS SOUPS 1672427 WITH SCORE 1679726.833
AT ITER 4970 NEW BEST:: SOT 11794166 SOS 7298169 HAS SOPS 6053713 HAS SOUS 1756008 HAS SOUPS 1669571 WITH SCORE 1676869.169
AT ITER 4973 NEW BEST:: SOT 11794384 SOS 7299282 HAS SOPS 6052854 HAS SOUS 1751505 HAS SOUPS 1665068 WITH SCORE 1672367.282
AT ITER 4984 NEW BEST:: SOT 11785590 SOS 7293994 HAS SOPS 6045669 HAS SOUS 1739287 HAS SOUPS 1652857 WITH SCORE 1660150.994
AT ITER 4986 NEW BEST:: SOT 11785034 SOS 7296540 HAS SOPS 6046756 HAS SOUS 1737030 HAS SOUPS 1650345 WITH SCORE 1657641.54
AT ITER 4988 NEW BEST:: SOT 11785270 SOS 7295840 HAS SOPS 6047025 HAS SOUS 1736234 HAS SOUPS 1649840 WITH SCORE 1657135.84
AT ITER 4996 NEW BEST:: SOT 11781986 SOS 7288662 HAS SOPS 6040594 HAS SOUS 1733004 HAS SOUPS 1646619 WITH SCORE 1653907.662
AT ITER 5026 NEW BEST:: SOT 11781680 SOS 7288344 HAS SOPS 6039940 HAS SOUS 1731665 HAS SOUPS 1645280 WITH SCORE 1652568.344
AT ITER 5050 NEW BEST:: SOT 11780716 SOS 7279483 HAS SOPS 6036012 HAS SOUS 1727621 HAS SOUPS 1641371 WITH SCORE 1648650.483
AT ITER 5082 NEW BEST:: SOT 11783321 SOS 7282382 HAS SOPS 6038480 HAS SOUS 1727262 HAS SOUPS 1641012 WITH SCORE 1648294.382
AT ITER 5103 NEW BEST:: SOT 11783385 SOS 7282707 HAS SOPS 6038723 HAS SOUS 1727048 HAS SOUPS 1640801 WITH SCORE 1648083.707
AT ITER 5126 NEW BEST:: SOT 11783757 SOS 7281961 HAS SOPS 6039060 HAS SOUS 1726800 HAS SOUPS 1640553 WITH SCORE 1647834.961
AT ITER 5138 NEW BEST:: SOT 11783827 SOS 7281491 HAS SOPS 6038020 HAS SOUS 1726486 HAS SOUPS 1640239 WITH SCORE 1647520.491
AT ITER 5139 NEW BEST:: SOT 11785593 SOS 7280258 HAS SOPS 6037152 HAS SOUS 1724880 HAS SOUPS 1638686 WITH SCORE 1645966.258
AT ITER 5162 NEW BEST:: SOT 11786455 SOS 7281139 HAS SOPS 6038094 HAS SOUS 1722479 HAS SOUPS 1636331 WITH SCORE 1643612.139
AT ITER 5166 NEW BEST:: SOT 11783970 SOS 7277879 HAS SOPS 6034352 HAS SOUS 1718938 HAS SOUPS 1632790 WITH SCORE 1640067.879
AT ITER 5201 NEW BEST:: SOT 11783841 SOS 7277883 HAS SOPS 6034340 HAS SOUS 1718802 HAS SOUPS 1632645 WITH SCORE 1639922.883
AT ITER 5210 NEW BEST:: SOT 11783624 SOS 7277344 HAS SOPS 6033872 HAS SOUS 1718775 HAS SOUPS 1632618 WITH SCORE 1639895.344
AT ITER 5213 NEW BEST:: SOT 11787434 SOS 7287472 HAS SOPS 6044120 HAS SOUS 1716630 HAS SOUPS 1630554 WITH SCORE 1637841.472
AT ITER 5216 NEW BEST:: SOT 11797113 SOS 7302628 HAS SOPS 6059254 HAS SOUS 1716053 HAS SOUPS 1629938 WITH SCORE 1637240.628
AT ITER 5223 NEW BEST:: SOT 11797231 SOS 7303469 HAS SOPS 6059883 HAS SOUS 1716022 HAS SOUPS 1629907 WITH SCORE 1637210.469
AT ITER 5224 NEW BEST:: SOT 11797164 SOS 7305118 HAS SOPS 6060778 HAS SOUS 1714368 HAS SOUPS 1628253 WITH SCORE 1635558.118
AT ITER 5236 NEW BEST:: SOT 11794799 SOS 7302900 HAS SOPS 6057587 HAS SOUS 1707793 HAS SOUPS 1621678 WITH SCORE 1628980.9
AT ITER 5245 NEW BEST:: SOT 11795028 SOS 7301538 HAS SOPS 6056384 HAS SOUS 1707464 HAS SOUPS 1621349 WITH SCORE 1628650.538
AT ITER 5264 NEW BEST:: SOT 11792757 SOS 7297295 HAS SOPS 6044309 HAS SOUS 1696267 HAS SOUPS 1610152 WITH SCORE 1617449.295
AT ITER 5265 NEW BEST:: SOT 11792741 SOS 7296779 HAS SOPS 6043933 HAS SOUS 1696205 HAS SOUPS 1610090 WITH SCORE 1617386.779
AT ITER 5280 NEW BEST:: SOT 11790634 SOS 7294524 HAS SOPS 6041649 HAS SOUS 1693931 HAS SOUPS 1607787 WITH SCORE 1615081.524
AT ITER 5300 NEW BEST:: SOT 11790519 SOS 7294289 HAS SOPS 6041314 HAS SOUS 1692729 HAS SOUPS 1606585 WITH SCORE 1613879.289
AT ITER 5359 NEW BEST:: SOT 11789996 SOS 7293042 HAS SOPS 6040455 HAS SOUS 1690812 HAS SOUPS 1604668 WITH SCORE 1611961.042
AT ITER 5360 NEW BEST:: SOT 11789407 SOS 7291791 HAS SOPS 6039136 HAS SOUS 1690636 HAS SOUPS 1604526 WITH SCORE 1611817.791
AT ITER 5390 NEW BEST:: SOT 11787892 SOS 7289334 HAS SOPS 6036442 HAS SOUS 1690045 HAS SOUPS 1603935 WITH SCORE 1611224.334
AT ITER 5396 NEW BEST:: SOT 11786401 SOS 7286148 HAS SOPS 6033234 HAS SOUS 1687689 HAS SOUPS 1601579 WITH SCORE 1608865.148
AT ITER 5409 NEW BEST:: SOT 11784031 SOS 7281989 HAS SOPS 6032115 HAS SOUS 1686122 HAS SOUPS 1600012 WITH SCORE 1607293.989
AT ITER 5419 NEW BEST:: SOT 11783961 SOS 7281907 HAS SOPS 6031975 HAS SOUS 1685932 HAS SOUPS 1599820 WITH SCORE 1607101.907
AT ITER 5431 NEW BEST:: SOT 11780741 SOS 7277482 HAS SOPS 6027271 HAS SOUS 1681087 HAS SOUPS 1595006 WITH SCORE 1602283.482
AT ITER 5446 NEW BEST:: SOT 11786927 SOS 7286790 HAS SOPS 6038652 HAS SOUS 1679837 HAS SOUPS 1593879 WITH SCORE 1601165.79
AT ITER 5491 NEW BEST:: SOT 11787227 SOS 7288720 HAS SOPS 6040902 HAS SOUS 1679370 HAS SOUPS 1593412 WITH SCORE 1600700.72
AT ITER 5504 NEW BEST:: SOT 11786701 SOS 7288108 HAS SOPS 6040530 HAS SOUS 1678268 HAS SOUPS 1592321 WITH SCORE 1599609.108
AT ITER 5507 NEW BEST:: SOT 11786487 SOS 7287691 HAS SOPS 6040204 HAS SOUS 1678162 HAS SOUPS 1592243 WITH SCORE 1599530.691
AT ITER 5524 NEW BEST:: SOT 11785602 SOS 7287003 HAS SOPS 6039228 HAS SOUS 1671616 HAS SOUPS 1585729 WITH SCORE 1593016.003
AT ITER 5537 NEW BEST:: SOT 11784520 SOS 7281256 HAS SOPS 6034055 HAS SOUS 1663654 HAS SOUPS 1578644 WITH SCORE 1585925.256
AT ITER 5559 NEW BEST:: SOT 11784367 SOS 7281103 HAS SOPS 6033854 HAS SOUS 1663369 HAS SOUPS 1578359 WITH SCORE 1585640.103
AT ITER 5572 NEW BEST:: SOT 11784249 SOS 7280993 HAS SOPS 6033708 HAS SOUS 1663121 HAS SOUPS 1578111 WITH SCORE 1585391.993
AT ITER 5577 NEW BEST:: SOT 11781340 SOS 7278066 HAS SOPS 6031030 HAS SOUS 1658843 HAS SOUPS 1574082 WITH SCORE 1581360.066
AT ITER 5588 NEW BEST:: SOT 11781394 SOS 7278028 HAS SOPS 6031024 HAS SOUS 1656985 HAS SOUPS 1572224 WITH SCORE 1579502.028
AT ITER 5611 NEW BEST:: SOT 11780166 SOS 7275188 HAS SOPS 6028877 HAS SOUS 1653485 HAS SOUPS 1569134 WITH SCORE 1576409.188
AT ITER 5613 NEW BEST:: SOT 11780391 SOS 7275459 HAS SOPS 6029136 HAS SOUS 1653098 HAS SOUPS 1568735 WITH SCORE 1576010.459
AT ITER 5641 NEW BEST:: SOT 11780000 SOS 7274818 HAS SOPS 6028535 HAS SOUS 1652493 HAS SOUPS 1568134 WITH SCORE 1575408.818
AT ITER 5652 NEW BEST:: SOT 11779754 SOS 7274785 HAS SOPS 6028130 HAS SOUS 1651167 HAS SOUPS 1566827 WITH SCORE 1574101.785
AT ITER 5664 NEW BEST:: SOT 11778924 SOS 7273981 HAS SOPS 6027199 HAS SOUS 1649638 HAS SOUPS 1565315 WITH SCORE 1572588.981
AT ITER 5677 NEW BEST:: SOT 11778710 SOS 7273438 HAS SOPS 6026727 HAS SOUS 1649375 HAS SOUPS 1565061 WITH SCORE 1572334.438
AT ITER 5679 NEW BEST:: SOT 11778702 SOS 7272340 HAS SOPS 6026075 HAS SOUS 1637725 HAS SOUPS 1553531 WITH SCORE 1560803.34
AT ITER 5685 NEW BEST:: SOT 11775420 SOS 7266775 HAS SOPS 6020708 HAS SOUS 1634959 HAS SOUPS 1550755 WITH SCORE 1558021.775
AT ITER 5705 NEW BEST:: SOT 11775230 SOS 7266585 HAS SOPS 6020438 HAS SOUS 1634449 HAS SOUPS 1550245 WITH SCORE 1557511.585
AT ITER 5711 NEW BEST:: SOT 11772200 SOS 7260509 HAS SOPS 6015592 HAS SOUS 1631443 HAS SOUPS 1547239 WITH SCORE 1554499.509
AT ITER 5714 NEW BEST:: SOT 11772085 SOS 7260511 HAS SOPS 6015854 HAS SOUS 1631103 HAS SOUPS 1546899 WITH SCORE 1554159.511
AT ITER 5720 NEW BEST:: SOT 11772102 SOS 7260652 HAS SOPS 6015995 HAS SOUS 1631081 HAS SOUPS 1546877 WITH SCORE 1554137.652
AT ITER 5751 NEW BEST:: SOT 11772275 SOS 7260838 HAS SOPS 6015941 HAS SOUS 1630366 HAS SOUPS 1546162 WITH SCORE 1553422.838
AT ITER 5756 NEW BEST:: SOT 11771711 SOS 7260079 HAS SOPS 6015337 HAS SOUS 1629585 HAS SOUPS 1545381 WITH SCORE 1552641.079
AT ITER 5775 NEW BEST:: SOT 11771290 SOS 7259596 HAS SOPS 6014784 HAS SOUS 1628863 HAS SOUPS 1544659 WITH SCORE 1551918.596
AT ITER 5798 NEW BEST:: SOT 11771136 SOS 7259324 HAS SOPS 6014282 HAS SOUS 1627921 HAS SOUPS 1543717 WITH SCORE 1550976.324
AT ITER 5805 NEW BEST:: SOT 11770125 SOS 7258057 HAS SOPS 6013105 HAS SOUS 1626330 HAS SOUPS 1542126 WITH SCORE 1549384.057
AT ITER 5816 NEW BEST:: SOT 11772216 SOS 7259287 HAS SOPS 6010468 HAS SOUS 1619405 HAS SOUPS 1535044 WITH SCORE 1542303.287
AT ITER 5823 NEW BEST:: SOT 11772449 SOS 7260075 HAS SOPS 6010363 HAS SOUS 1618810 HAS SOUPS 1534449 WITH SCORE 1541709.075
AT ITER 5831 NEW BEST:: SOT 11778012 SOS 7277671 HAS SOPS 6024988 HAS SOUS 1617930 HAS SOUPS 1533569 WITH SCORE 1540846.671
AT ITER 5889 NEW BEST:: SOT 11778048 SOS 7277557 HAS SOPS 6025684 HAS SOUS 1616828 HAS SOUPS 1532467 WITH SCORE 1539744.557
AT ITER 5921 NEW BEST:: SOT 11777127 SOS 7276605 HAS SOPS 6026278 HAS SOUS 1615181 HAS SOUPS 1530830 WITH SCORE 1538106.605
AT ITER 5928 NEW BEST:: SOT 11777222 SOS 7276420 HAS SOPS 6026849 HAS SOUS 1615068 HAS SOUPS 1530717 WITH SCORE 1537993.42
AT ITER 5957 NEW BEST:: SOT 11777199 SOS 7276397 HAS SOPS 6026826 HAS SOUS 1615045 HAS SOUPS 1530694 WITH SCORE 1537970.397
AT ITER 5960 NEW BEST:: SOT 11765590 SOS 7246899 HAS SOPS 6004273 HAS SOUS 1606434 HAS SOUPS 1522150 WITH SCORE 1529396.899
AT ITER 5971 NEW BEST:: SOT 11759431 SOS 7239964 HAS SOPS 5994304 HAS SOUS 1603572 HAS SOUPS 1519143 WITH SCORE 1526382.964
AT ITER 5979 NEW BEST:: SOT 11759125 SOS 7239640 HAS SOPS 5994127 HAS SOUS 1603572 HAS SOUPS 1519136 WITH SCORE 1526375.64
AT ITER 5985 NEW BEST:: SOT 11756327 SOS 7236811 HAS SOPS 5991298 HAS SOUS 1600264 HAS SOUPS 1515828 WITH SCORE 1523064.811
AT ITER 5995 NEW BEST:: SOT 11754234 SOS 7234530 HAS SOPS 5988626 HAS SOUS 1597895 HAS SOUPS 1513434 WITH SCORE 1520668.53
AT ITER 6001 NEW BEST:: SOT 11754004 SOS 7234005 HAS SOPS 5987952 HAS SOUS 1597340 HAS SOUPS 1512879 WITH SCORE 1520113.005
AT ITER 6009 NEW BEST:: SOT 11753617 SOS 7234667 HAS SOPS 5987901 HAS SOUS 1592898 HAS SOUPS 1508475 WITH SCORE 1515709.667
AT ITER 6014 NEW BEST:: SOT 11753602 SOS 7235362 HAS SOPS 5988395 HAS SOUS 1592835 HAS SOUPS 1508410 WITH SCORE 1515645.362
AT ITER 6015 NEW BEST:: SOT 11751519 SOS 7233168 HAS SOPS 5985375 HAS SOUS 1591833 HAS SOUPS 1507393 WITH SCORE 1514626.168
AT ITER 6022 NEW BEST:: SOT 11750670 SOS 7232313 HAS SOPS 5984184 HAS SOUS 1589556 HAS SOUPS 1505116 WITH SCORE 1512348.313
AT ITER 6059 NEW BEST:: SOT 11750518 SOS 7231661 HAS SOPS 5984365 HAS SOUS 1589327 HAS SOUPS 1504887 WITH SCORE 1512118.661
AT ITER 6118 NEW BEST:: SOT 11750695 SOS 7231963 HAS SOPS 5984054 HAS SOUS 1588867 HAS SOUPS 1503915 WITH SCORE 1511146.963
AT ITER 6120 NEW BEST:: SOT 11750731 SOS 7232220 HAS SOPS 5984267 HAS SOUS 1588762 HAS SOUPS 1503810 WITH SCORE 1511042.22
AT ITER 6153 NEW BEST:: SOT 11750065 SOS 7231788 HAS SOPS 5982352 HAS SOUS 1587619 HAS SOUPS 1502571 WITH SCORE 1509802.788
AT ITER 6158 NEW BEST:: SOT 11748673 SOS 7228639 HAS SOPS 5980998 HAS SOUS 1584473 HAS SOUPS 1499425 WITH SCORE 1506653.639
AT ITER 6171 NEW BEST:: SOT 11748641 SOS 7228591 HAS SOPS 5980909 HAS SOUS 1584393 HAS SOUPS 1499345 WITH SCORE 1506573.591
AT ITER 6192 NEW BEST:: SOT 11748656 SOS 7228606 HAS SOPS 5980924 HAS SOUS 1584392 HAS SOUPS 1499344 WITH SCORE 1506572.606
AT ITER 6210 NEW BEST:: SOT 11748658 SOS 7228615 HAS SOPS 5980926 HAS SOUS 1584387 HAS SOUPS 1499339 WITH SCORE 1506567.615
AT ITER 6281 NEW BEST:: SOT 11748130 SOS 7227989 HAS SOPS 5981034 HAS SOUS 1582055 HAS SOUPS 1497052 WITH SCORE 1504279.989
AT ITER 6320 NEW BEST:: SOT 11748180 SOS 7228273 HAS SOPS 5981406 HAS SOUS 1581976 HAS SOUPS 1496973 WITH SCORE 1504201.273
AT ITER 6324 NEW BEST:: SOT 11748069 SOS 7228134 HAS SOPS 5981261 HAS SOUS 1581882 HAS SOUPS 1496883 WITH SCORE 1504111.134
AT ITER 6326 NEW BEST:: SOT 11747134 SOS 7227101 HAS SOPS 5980438 HAS SOUS 1580855 HAS SOUPS 1495982 WITH SCORE 1503209.101
AT ITER 6333 NEW BEST:: SOT 11743507 SOS 7220696 HAS SOPS 5974137 HAS SOUS 1575407 HAS SOUPS 1490534 WITH SCORE 1497754.696
AT ITER 6338 NEW BEST:: SOT 11743492 SOS 7220532 HAS SOPS 5973996 HAS SOUS 1575403 HAS SOUPS 1490530 WITH SCORE 1497750.532
AT ITER 6372 NEW BEST:: SOT 11743487 SOS 7220506 HAS SOPS 5973970 HAS SOUS 1575397 HAS SOUPS 1490524 WITH SCORE 1497744.506
AT ITER 6393 NEW BEST:: SOT 11748482 SOS 7226007 HAS SOPS 5979960 HAS SOUS 1574632 HAS SOUPS 1489981 WITH SCORE 1497207.007
AT ITER 6395 NEW BEST:: SOT 11748195 SOS 7225574 HAS SOPS 5979361 HAS SOUS 1574475 HAS SOUPS 1489819 WITH SCORE 1497044.574
AT ITER 6422 NEW BEST:: SOT 11750797 SOS 7234529 HAS SOPS 5993366 HAS SOUS 1571326 HAS SOUPS 1486670 WITH SCORE 1493904.529
AT ITER 6455 NEW BEST:: SOT 11752617 SOS 7238541 HAS SOPS 5994413 HAS SOUS 1571160 HAS SOUPS 1486504 WITH SCORE 1493742.541
AT ITER 6460 NEW BEST:: SOT 11751455 SOS 7236505 HAS SOPS 5992750 HAS SOUS 1567079 HAS SOUPS 1482575 WITH SCORE 1489811.505
AT ITER 6498 NEW BEST:: SOT 11750991 SOS 7236041 HAS SOPS 5992318 HAS SOUS 1566855 HAS SOUPS 1482351 WITH SCORE 1489587.041
AT ITER 6523 NEW BEST:: SOT 11750673 SOS 7235671 HAS SOPS 5992063 HAS SOUS 1566447 HAS SOUPS 1481959 WITH SCORE 1489194.671
AT ITER 6576 NEW BEST:: SOT 11749222 SOS 7231608 HAS SOPS 5986748 HAS SOUS 1564414 HAS SOUPS 1479926 WITH SCORE 1487157.608
AT ITER 6609 NEW BEST:: SOT 11749494 SOS 7231415 HAS SOPS 5987272 HAS SOUS 1563576 HAS SOUPS 1479088 WITH SCORE 1486319.415
AT ITER 6611 NEW BEST:: SOT 11748810 SOS 7230731 HAS SOPS 5986588 HAS SOUS 1562892 HAS SOUPS 1478404 WITH SCORE 1485634.731
AT ITER 6622 NEW BEST:: SOT 11748462 SOS 7230487 HAS SOPS 5986312 HAS SOUS 1562753 HAS SOUPS 1478257 WITH SCORE 1485487.487
AT ITER 6637 NEW BEST:: SOT 11745938 SOS 7223873 HAS SOPS 5980377 HAS SOUS 1561248 HAS SOUPS 1476752 WITH SCORE 1483975.873
AT ITER 6640 NEW BEST:: SOT 11746110 SOS 7224045 HAS SOPS 5980549 HAS SOUS 1559924 HAS SOUPS 1475428 WITH SCORE 1482652.045
AT ITER 6642 NEW BEST:: SOT 11748380 SOS 7225183 HAS SOPS 5980520 HAS SOUS 1556627 HAS SOUPS 1472188 WITH SCORE 1479413.183
AT ITER 6648 NEW BEST:: SOT 11748219 SOS 7226720 HAS SOPS 5980843 HAS SOUS 1556280 HAS SOUPS 1471841 WITH SCORE 1479067.72
AT ITER 6656 NEW BEST:: SOT 11750214 SOS 7225843 HAS SOPS 5981424 HAS SOUS 1550684 HAS SOUPS 1466391 WITH SCORE 1473616.843
AT ITER 6668 NEW BEST:: SOT 11750289 SOS 7226135 HAS SOPS 5981686 HAS SOUS 1550611 HAS SOUPS 1466318 WITH SCORE 1473544.135
AT ITER 6674 NEW BEST:: SOT 11750969 SOS 7226394 HAS SOPS 5982686 HAS SOUS 1550288 HAS SOUPS 1465995 WITH SCORE 1473221.394
AT ITER 6701 NEW BEST:: SOT 11749952 SOS 7225206 HAS SOPS 5981780 HAS SOUS 1550058 HAS SOUPS 1465831 WITH SCORE 1473056.206
AT ITER 6708 NEW BEST:: SOT 11750372 SOS 7225626 HAS SOPS 5981960 HAS SOUS 1550094 HAS SOUPS 1465659 WITH SCORE 1472884.626
AT ITER 6720 NEW BEST:: SOT 11763611 SOS 7237141 HAS SOPS 5991253 HAS SOUS 1544461 HAS SOUPS 1460213 WITH SCORE 1467450.141
AT ITER 6743 NEW BEST:: SOT 11759263 SOS 7226703 HAS SOPS 5980815 HAS SOUS 1540005 HAS SOUPS 1455757 WITH SCORE 1462983.703
AT ITER 6793 NEW BEST:: SOT 11758415 SOS 7225855 HAS SOPS 5979935 HAS SOUS 1539808 HAS SOUPS 1455560 WITH SCORE 1462785.855
AT ITER 6817 NEW BEST:: SOT 11757190 SOS 7224445 HAS SOPS 5978896 HAS SOUS 1537723 HAS SOUPS 1453452 WITH SCORE 1460676.445
AT ITER 6825 NEW BEST:: SOT 11755845 SOS 7222710 HAS SOPS 5976953 HAS SOUS 1535788 HAS SOUPS 1451517 WITH SCORE 1458739.71
AT ITER 6827 NEW BEST:: SOT 11755814 SOS 7223042 HAS SOPS 5977733 HAS SOUS 1534091 HAS SOUPS 1449884 WITH SCORE 1457107.042
AT ITER 6839 NEW BEST:: SOT 11755990 SOS 7222905 HAS SOPS 5977943 HAS SOUS 1534020 HAS SOUPS 1449829 WITH SCORE 1457051.905
AT ITER 6884 NEW BEST:: SOT 11751632 SOS 7218428 HAS SOPS 5972906 HAS SOUS 1528451 HAS SOUPS 1444260 WITH SCORE 1451478.428
AT ITER 6946 NEW BEST:: SOT 11751590 SOS 7218533 HAS SOPS 5972897 HAS SOUS 1527971 HAS SOUPS 1443780 WITH SCORE 1450998.533
AT ITER 6953 NEW BEST:: SOT 11749719 SOS 7212693 HAS SOPS 5968240 HAS SOUS 1525177 HAS SOUPS 1440986 WITH SCORE 1448198.693
AT ITER 6961 NEW BEST:: SOT 11750116 SOS 7214771 HAS SOPS 5970138 HAS SOUS 1523729 HAS SOUPS 1439585 WITH SCORE 1446799.771
AT ITER 6966 NEW BEST:: SOT 11747594 SOS 7212370 HAS SOPS 5966960 HAS SOUS 1520288 HAS SOUPS 1436144 WITH SCORE 1443356.37
AT ITER 6973 NEW BEST:: SOT 11747378 SOS 7211738 HAS SOPS 5966372 HAS SOUS 1520212 HAS SOUPS 1436068 WITH SCORE 1443279.738
AT ITER 6991 NEW BEST:: SOT 11746216 SOS 7210566 HAS SOPS 5965168 HAS SOUS 1518602 HAS SOUPS 1434522 WITH SCORE 1441732.566
AT ITER 7001 NEW BEST:: SOT 11746701 SOS 7211283 HAS SOPS 5965943 HAS SOUS 1518481 HAS SOUPS 1434401 WITH SCORE 1441612.283
AT ITER 7003 NEW BEST:: SOT 11745589 SOS 7209156 HAS SOPS 5964225 HAS SOUS 1517168 HAS SOUPS 1433089 WITH SCORE 1440298.156
AT ITER 7031 NEW BEST:: SOT 11750475 SOS 7212431 HAS SOPS 5968095 HAS SOUS 1516738 HAS SOUPS 1432817 WITH SCORE 1440029.431
AT ITER 7045 NEW BEST:: SOT 11750194 SOS 7212232 HAS SOPS 5967743 HAS SOUS 1515198 HAS SOUPS 1431265 WITH SCORE 1438477.232
AT ITER 7047 NEW BEST:: SOT 11751962 SOS 7214000 HAS SOPS 5969511 HAS SOUS 1513310 HAS SOUPS 1429377 WITH SCORE 1436591.0
AT ITER 7053 NEW BEST:: SOT 11751901 SOS 7212711 HAS SOPS 5972380 HAS SOUS 1513086 HAS SOUPS 1429153 WITH SCORE 1436365.711
AT ITER 7055 NEW BEST:: SOT 11749767 SOS 7210326 HAS SOPS 5968798 HAS SOUS 1509146 HAS SOUPS 1425187 WITH SCORE 1432397.326
AT ITER 7077 NEW BEST:: SOT 11749479 SOS 7210038 HAS SOPS 5968414 HAS SOUS 1508570 HAS SOUPS 1424611 WITH SCORE 1431821.038
AT ITER 7087 NEW BEST:: SOT 11747941 SOS 7208013 HAS SOPS 5965620 HAS SOUS 1507141 HAS SOUPS 1423113 WITH SCORE 1430321.013
AT ITER 7099 NEW BEST:: SOT 11745625 SOS 7207627 HAS SOPS 5965112 HAS SOUS 1505953 HAS SOUPS 1421882 WITH SCORE 1429089.627
AT ITER 7126 NEW BEST:: SOT 11744074 SOS 7205128 HAS SOPS 5964705 HAS SOUS 1503558 HAS SOUPS 1419565 WITH SCORE 1426770.128
AT ITER 7188 NEW BEST:: SOT 11744134 SOS 7204933 HAS SOPS 5965014 HAS SOUS 1502926 HAS SOUPS 1419119 WITH SCORE 1426323.933
AT ITER 7195 NEW BEST:: SOT 11743398 SOS 7204547 HAS SOPS 5964549 HAS SOUS 1502410 HAS SOUPS 1418589 WITH SCORE 1425793.547
AT ITER 7197 NEW BEST:: SOT 11741344 SOS 7198965 HAS SOPS 5959051 HAS SOUS 1501845 HAS SOUPS 1418024 WITH SCORE 1425222.965
AT ITER 7207 NEW BEST:: SOT 11738986 SOS 7194884 HAS SOPS 5956165 HAS SOUS 1501708 HAS SOUPS 1417887 WITH SCORE 1425081.884
AT ITER 7228 NEW BEST:: SOT 11737319 SOS 7193217 HAS SOPS 5954370 HAS SOUS 1499097 HAS SOUPS 1415276 WITH SCORE 1422469.217
AT ITER 7235 NEW BEST:: SOT 11737297 SOS 7193191 HAS SOPS 5954344 HAS SOUS 1499031 HAS SOUPS 1415210 WITH SCORE 1422403.191
AT ITER 7250 NEW BEST:: SOT 11737047 SOS 7192941 HAS SOPS 5954070 HAS SOUS 1497880 HAS SOUPS 1414100 WITH SCORE 1421292.941
AT ITER 7255 NEW BEST:: SOT 11737049 SOS 7192989 HAS SOPS 5954071 HAS SOUS 1497874 HAS SOUPS 1414093 WITH SCORE 1421285.989
AT ITER 7294 NEW BEST:: SOT 11737647 SOS 7194735 HAS SOPS 5955211 HAS SOUS 1497676 HAS SOUPS 1413881 WITH SCORE 1421075.735
AT ITER 7311 NEW BEST:: SOT 11735703 SOS 7191062 HAS SOPS 5955393 HAS SOUS 1496743 HAS SOUPS 1413079 WITH SCORE 1420270.062
AT ITER 7333 NEW BEST:: SOT 11735617 SOS 7188559 HAS SOPS 5951995 HAS SOUS 1495606 HAS SOUPS 1411942 WITH SCORE 1419130.559
AT ITER 7336 NEW BEST:: SOT 11732139 SOS 7185081 HAS SOPS 5948517 HAS SOUS 1492128 HAS SOUPS 1408464 WITH SCORE 1415649.081
AT ITER 7350 NEW BEST:: SOT 11732693 SOS 7183004 HAS SOPS 5946491 HAS SOUS 1491604 HAS SOUPS 1407972 WITH SCORE 1415155.004
AT ITER 7387 NEW BEST:: SOT 11733421 SOS 7185514 HAS SOPS 5947852 HAS SOUS 1488800 HAS SOUPS 1405218 WITH SCORE 1412403.514
AT ITER 7405 NEW BEST:: SOT 11732430 SOS 7185221 HAS SOPS 5947787 HAS SOUS 1487883 HAS SOUPS 1404301 WITH SCORE 1411486.221
AT ITER 7412 NEW BEST:: SOT 11729982 SOS 7178932 HAS SOPS 5942099 HAS SOUS 1487446 HAS SOUPS 1403864 WITH SCORE 1411042.932
AT ITER 7416 NEW BEST:: SOT 11728505 SOS 7177455 HAS SOPS 5940622 HAS SOUS 1485293 HAS SOUPS 1401711 WITH SCORE 1408888.455
AT ITER 7460 NEW BEST:: SOT 11728177 SOS 7175606 HAS SOPS 5938553 HAS SOUS 1483582 HAS SOUPS 1400022 WITH SCORE 1407197.606
AT ITER 7462 NEW BEST:: SOT 11727706 SOS 7173526 HAS SOPS 5937689 HAS SOUS 1481517 HAS SOUPS 1397957 WITH SCORE 1405130.526
AT ITER 7463 NEW BEST:: SOT 11727484 SOS 7173265 HAS SOPS 5937315 HAS SOUS 1480786 HAS SOUPS 1397222 WITH SCORE 1404395.265
AT ITER 7467 NEW BEST:: SOT 11724135 SOS 7166487 HAS SOPS 5930082 HAS SOUS 1476646 HAS SOUPS 1393401 WITH SCORE 1400567.487
AT ITER 7470 NEW BEST:: SOT 11725420 SOS 7168618 HAS SOPS 5932114 HAS SOUS 1476561 HAS SOUPS 1393281 WITH SCORE 1400449.618
AT ITER 7483 NEW BEST:: SOT 11725400 SOS 7166515 HAS SOPS 5931949 HAS SOUS 1474330 HAS SOUPS 1391229 WITH SCORE 1398395.515
AT ITER 7490 NEW BEST:: SOT 11725029 SOS 7165959 HAS SOPS 5931353 HAS SOUS 1473730 HAS SOUPS 1390626 WITH SCORE 1397791.959
AT ITER 7531 NEW BEST:: SOT 11723939 SOS 7162701 HAS SOPS 5928950 HAS SOUS 1472539 HAS SOUPS 1389435 WITH SCORE 1396597.701
AT ITER 7543 NEW BEST:: SOT 11724024 SOS 7162290 HAS SOPS 5928682 HAS SOUS 1471920 HAS SOUPS 1388816 WITH SCORE 1395978.29
AT ITER 7555 NEW BEST:: SOT 11720775 SOS 7158146 HAS SOPS 5924385 HAS SOUS 1467691 HAS SOUPS 1384483 WITH SCORE 1391641.146
AT ITER 7581 NEW BEST:: SOT 11721049 SOS 7158232 HAS SOPS 5924677 HAS SOUS 1466213 HAS SOUPS 1383030 WITH SCORE 1390188.232
AT ITER 7586 NEW BEST:: SOT 11720863 SOS 7158046 HAS SOPS 5924411 HAS SOUS 1465843 HAS SOUPS 1382660 WITH SCORE 1389818.046
AT ITER 7590 NEW BEST:: SOT 11719832 SOS 7157015 HAS SOPS 5923089 HAS SOUS 1464262 HAS SOUPS 1380966 WITH SCORE 1388123.015
AT ITER 7605 NEW BEST:: SOT 11719780 SOS 7156955 HAS SOPS 5922957 HAS SOUS 1463946 HAS SOUPS 1380650 WITH SCORE 1387806.955
AT ITER 7623 NEW BEST:: SOT 11719995 SOS 7157119 HAS SOPS 5923484 HAS SOUS 1463923 HAS SOUPS 1380637 WITH SCORE 1387794.119
AT ITER 7626 NEW BEST:: SOT 11719673 SOS 7156797 HAS SOPS 5922906 HAS SOUS 1463889 HAS SOUPS 1380347 WITH SCORE 1387503.797
AT ITER 7662 NEW BEST:: SOT 11717232 SOS 7150217 HAS SOPS 5915800 HAS SOUS 1462926 HAS SOUPS 1379384 WITH SCORE 1386534.217
AT ITER 7671 NEW BEST:: SOT 11716989 SOS 7150447 HAS SOPS 5915653 HAS SOUS 1462525 HAS SOUPS 1378983 WITH SCORE 1386133.447
AT ITER 7677 NEW BEST:: SOT 11716939 SOS 7150427 HAS SOPS 5915523 HAS SOUS 1462343 HAS SOUPS 1378799 WITH SCORE 1385949.427
AT ITER 7691 NEW BEST:: SOT 11712724 SOS 7137529 HAS SOPS 5902625 HAS SOUS 1459323 HAS SOUPS 1375779 WITH SCORE 1382916.529
AT ITER 7714 NEW BEST:: SOT 11712737 SOS 7137692 HAS SOPS 5902706 HAS SOUS 1459296 HAS SOUPS 1375752 WITH SCORE 1382889.692
AT ITER 7726 NEW BEST:: SOT 11712712 SOS 7137650 HAS SOPS 5902689 HAS SOUS 1458870 HAS SOUPS 1375326 WITH SCORE 1382463.65
AT ITER 7776 NEW BEST:: SOT 11712528 SOS 7137654 HAS SOPS 5902537 HAS SOUS 1458156 HAS SOUPS 1374616 WITH SCORE 1381753.654
AT ITER 7781 NEW BEST:: SOT 11712952 SOS 7137749 HAS SOPS 5902688 HAS SOUS 1456829 HAS SOUPS 1373289 WITH SCORE 1380426.749
AT ITER 7818 NEW BEST:: SOT 11713335 SOS 7138330 HAS SOPS 5902481 HAS SOUS 1456712 HAS SOUPS 1373103 WITH SCORE 1380241.33
AT ITER 7825 NEW BEST:: SOT 11712919 SOS 7137888 HAS SOPS 5902039 HAS SOUS 1456207 HAS SOUPS 1372598 WITH SCORE 1379735.888
AT ITER 7886 NEW BEST:: SOT 11713668 SOS 7139195 HAS SOPS 5902962 HAS SOUS 1456134 HAS SOUPS 1372505 WITH SCORE 1379644.195
AT ITER 7887 NEW BEST:: SOT 11711048 SOS 7132249 HAS SOPS 5897852 HAS SOUS 1453628 HAS SOUPS 1370218 WITH SCORE 1377350.249
AT ITER 7904 NEW BEST:: SOT 11703303 SOS 7105233 HAS SOPS 5875267 HAS SOUS 1446513 HAS SOUPS 1363103 WITH SCORE 1370208.233
AT ITER 7961 NEW BEST:: SOT 11703283 SOS 7105239 HAS SOPS 5875285 HAS SOUS 1446465 HAS SOUPS 1363055 WITH SCORE 1370160.239
AT ITER 7985 NEW BEST:: SOT 11702607 SOS 7104563 HAS SOPS 5874417 HAS SOUS 1445313 HAS SOUPS 1361903 WITH SCORE 1369007.563
AT ITER 7990 NEW BEST:: SOT 11702117 SOS 7104273 HAS SOPS 5873695 HAS SOUS 1444065 HAS SOUPS 1360655 WITH SCORE 1367759.273
AT ITER 8006 NEW BEST:: SOT 11701137 SOS 7103206 HAS SOPS 5872382 HAS SOUS 1441830 HAS SOUPS 1358420 WITH SCORE 1365523.206
AT ITER 8014 NEW BEST:: SOT 11701691 SOS 7108256 HAS SOPS 5875012 HAS SOUS 1438611 HAS SOUPS 1355142 WITH SCORE 1362250.256
AT ITER 8053 NEW BEST:: SOT 11701582 SOS 7108082 HAS SOPS 5874788 HAS SOUS 1438382 HAS SOUPS 1354918 WITH SCORE 1362026.082
AT ITER 8073 NEW BEST:: SOT 11698480 SOS 7098937 HAS SOPS 5867868 HAS SOUS 1435432 HAS SOUPS 1352034 WITH SCORE 1359132.937
AT ITER 8148 NEW BEST:: SOT 11698244 SOS 7098717 HAS SOPS 5867650 HAS SOUS 1435360 HAS SOUPS 1351962 WITH SCORE 1359060.717
AT ITER 8185 NEW BEST:: SOT 11698496 SOS 7099463 HAS SOPS 5868425 HAS SOUS 1434999 HAS SOUPS 1351601 WITH SCORE 1358700.463
AT ITER 8205 NEW BEST:: SOT 11698379 SOS 7099830 HAS SOPS 5868316 HAS SOUS 1434953 HAS SOUPS 1351555 WITH SCORE 1358654.83
AT ITER 8222 NEW BEST:: SOT 11698377 SOS 7100319 HAS SOPS 5868698 HAS SOUS 1434950 HAS SOUPS 1351552 WITH SCORE 1358652.319
AT ITER 8235 NEW BEST:: SOT 11697961 SOS 7099998 HAS SOPS 5868334 HAS SOUS 1434875 HAS SOUPS 1351477 WITH SCORE 1358576.998
AT ITER 8254 NEW BEST:: SOT 11697658 SOS 7100275 HAS SOPS 5867870 HAS SOUS 1433516 HAS SOUPS 1350118 WITH SCORE 1357218.275
AT ITER 8311 NEW BEST:: SOT 11695416 SOS 7102606 HAS SOPS 5874505 HAS SOUS 1433191 HAS SOUPS 1349793 WITH SCORE 1356895.606
AT ITER 8340 NEW BEST:: SOT 11695367 SOS 7100939 HAS SOPS 5872265 HAS SOUS 1431715 HAS SOUPS 1348317 WITH SCORE 1355417.939
AT ITER 8358 NEW BEST:: SOT 11695666 SOS 7101377 HAS SOPS 5872359 HAS SOUS 1431153 HAS SOUPS 1347778 WITH SCORE 1354879.377
AT ITER 8406 NEW BEST:: SOT 11697254 SOS 7102988 HAS SOPS 5872948 HAS SOUS 1430637 HAS SOUPS 1347262 WITH SCORE 1354364.988
AT ITER 8417 NEW BEST:: SOT 11697322 SOS 7103213 HAS SOPS 5872836 HAS SOUS 1430591 HAS SOUPS 1347157 WITH SCORE 1354260.213
AT ITER 8442 NEW BEST:: SOT 11697242 SOS 7103105 HAS SOPS 5872695 HAS SOUS 1430427 HAS SOUPS 1346993 WITH SCORE 1354096.105
AT ITER 8482 NEW BEST:: SOT 11696177 SOS 7102040 HAS SOPS 5871278 HAS SOUS 1428534 HAS SOUPS 1345100 WITH SCORE 1352202.04
AT ITER 8519 NEW BEST:: SOT 11695884 SOS 7101009 HAS SOPS 5870710 HAS SOUS 1428416 HAS SOUPS 1344982 WITH SCORE 1352083.009
AT ITER 8545 NEW BEST:: SOT 11695104 SOS 7100310 HAS SOPS 5869776 HAS SOUS 1428309 HAS SOUPS 1344852 WITH SCORE 1351952.31
AT ITER 8562 NEW BEST:: SOT 11693392 SOS 7098304 HAS SOPS 5863487 HAS SOUS 1425595 HAS SOUPS 1342138 WITH SCORE 1349236.304
AT ITER 8604 NEW BEST:: SOT 11689600 SOS 7093895 HAS SOPS 5859256 HAS SOUS 1417401 HAS SOUPS 1333989 WITH SCORE 1341082.895
AT ITER 8626 NEW BEST:: SOT 11689565 SOS 7093848 HAS SOPS 5859197 HAS SOUS 1417347 HAS SOUPS 1333934 WITH SCORE 1341027.848
AT ITER 8643 NEW BEST:: SOT 11680956 SOS 7075509 HAS SOPS 5839867 HAS SOUS 1413180 HAS SOUPS 1329594 WITH SCORE 1336669.509
AT ITER 8649 NEW BEST:: SOT 11680878 SOS 7075431 HAS SOPS 5839789 HAS SOUS 1413102 HAS SOUPS 1329516 WITH SCORE 1336591.431
AT ITER 8678 NEW BEST:: SOT 11681360 SOS 7074789 HAS SOPS 5838791 HAS SOUS 1411182 HAS SOUPS 1327596 WITH SCORE 1334670.789
AT ITER 8697 NEW BEST:: SOT 11680926 SOS 7074327 HAS SOPS 5837559 HAS SOUS 1409534 HAS SOUPS 1325948 WITH SCORE 1333022.327
AT ITER 8713 NEW BEST:: SOT 11679724 SOS 7072046 HAS SOPS 5835349 HAS SOUS 1407752 HAS SOUPS 1324266 WITH SCORE 1331338.046
AT ITER 8737 NEW BEST:: SOT 11679452 SOS 7071741 HAS SOPS 5834951 HAS SOUS 1407032 HAS SOUPS 1323540 WITH SCORE 1330611.741
AT ITER 8743 NEW BEST:: SOT 11680770 SOS 7073279 HAS SOPS 5835266 HAS SOUS 1404740 HAS SOUPS 1321248 WITH SCORE 1328321.279
AT ITER 8759 NEW BEST:: SOT 11680740 SOS 7073131 HAS SOPS 5835150 HAS SOUS 1404636 HAS SOUPS 1321144 WITH SCORE 1328217.131
AT ITER 8771 NEW BEST:: SOT 11680876 SOS 7071765 HAS SOPS 5834633 HAS SOUS 1404580 HAS SOUPS 1321088 WITH SCORE 1328159.765
AT ITER 8782 NEW BEST:: SOT 11680529 SOS 7072101 HAS SOPS 5835015 HAS SOUS 1404109 HAS SOUPS 1320617 WITH SCORE 1327689.101
AT ITER 8808 NEW BEST:: SOT 11680719 SOS 7071992 HAS SOPS 5834495 HAS SOUS 1402336 HAS SOUPS 1318844 WITH SCORE 1325915.992
AT ITER 8832 NEW BEST:: SOT 11681167 SOS 7072195 HAS SOPS 5835437 HAS SOUS 1401277 HAS SOUPS 1317820 WITH SCORE 1324892.195
AT ITER 8923 NEW BEST:: SOT 11680989 SOS 7071811 HAS SOPS 5835053 HAS SOUS 1401121 HAS SOUPS 1317664 WITH SCORE 1324735.811
AT ITER 8964 NEW BEST:: SOT 11681506 SOS 7073076 HAS SOPS 5836741 HAS SOUS 1400900 HAS SOUPS 1317443 WITH SCORE 1324516.076
AT ITER 8984 NEW BEST:: SOT 11683358 SOS 7075064 HAS SOPS 5837468 HAS SOUS 1397828 HAS SOUPS 1314424 WITH SCORE 1321499.064
AT ITER 8986 NEW BEST:: SOT 11683401 SOS 7075073 HAS SOPS 5837459 HAS SOUS 1397752 HAS SOUPS 1314348 WITH SCORE 1321423.073
AT ITER 9013 NEW BEST:: SOT 11683584 SOS 7075243 HAS SOPS 5837530 HAS SOUS 1397664 HAS SOUPS 1314260 WITH SCORE 1321335.243
AT ITER 9020 NEW BEST:: SOT 11683500 SOS 7075156 HAS SOPS 5837419 HAS SOUS 1397520 HAS SOUPS 1314104 WITH SCORE 1321179.156
AT ITER 9033 NEW BEST:: SOT 11683759 SOS 7082470 HAS SOPS 5840754 HAS SOUS 1391002 HAS SOUPS 1307586 WITH SCORE 1314668.47
AT ITER 9035 NEW BEST:: SOT 11683380 SOS 7082091 HAS SOPS 5840279 HAS SOUS 1390479 HAS SOUPS 1307063 WITH SCORE 1314145.091
AT ITER 9063 NEW BEST:: SOT 11681316 SOS 7076755 HAS SOPS 5835264 HAS SOUS 1388743 HAS SOUPS 1305327 WITH SCORE 1312403.755
AT ITER 9075 NEW BEST:: SOT 11681362 SOS 7077842 HAS SOPS 5836821 HAS SOUS 1388711 HAS SOUPS 1305295 WITH SCORE 1312372.842
AT ITER 9079 NEW BEST:: SOT 11681024 SOS 7076759 HAS SOPS 5835863 HAS SOUS 1388532 HAS SOUPS 1305116 WITH SCORE 1312192.759
AT ITER 9094 NEW BEST:: SOT 11679168 SOS 7074877 HAS SOPS 5832098 HAS SOUS 1381886 HAS SOUPS 1298470 WITH SCORE 1305544.877
AT ITER 9102 NEW BEST:: SOT 11679734 SOS 7073725 HAS SOPS 5830662 HAS SOUS 1380653 HAS SOUPS 1297237 WITH SCORE 1304310.725
AT ITER 9108 NEW BEST:: SOT 11671750 SOS 7059781 HAS SOPS 5816869 HAS SOUS 1375625 HAS SOUPS 1292088 WITH SCORE 1299147.781
AT ITER 9147 NEW BEST:: SOT 11671093 SOS 7058673 HAS SOPS 5815825 HAS SOUS 1374259 HAS SOUPS 1290722 WITH SCORE 1297780.673
AT ITER 9153 NEW BEST:: SOT 11671237 SOS 7059421 HAS SOPS 5816381 HAS SOUS 1374115 HAS SOUPS 1290578 WITH SCORE 1297637.421
AT ITER 9182 NEW BEST:: SOT 11670825 SOS 7059125 HAS SOPS 5815968 HAS SOUS 1373533 HAS SOUPS 1289987 WITH SCORE 1297046.125
AT ITER 9245 NEW BEST:: SOT 11669907 SOS 7058209 HAS SOPS 5814892 HAS SOUS 1371871 HAS SOUPS 1288325 WITH SCORE 1295383.209
AT ITER 9262 NEW BEST:: SOT 11669822 SOS 7057999 HAS SOPS 5814327 HAS SOUS 1371492 HAS SOUPS 1287946 WITH SCORE 1295003.999
AT ITER 9327 NEW BEST:: SOT 11669462 SOS 7057911 HAS SOPS 5814447 HAS SOUS 1369258 HAS SOUPS 1285712 WITH SCORE 1292769.911
AT ITER 9343 NEW BEST:: SOT 11669798 SOS 7059508 HAS SOPS 5816173 HAS SOUS 1368813 HAS SOUPS 1285240 WITH SCORE 1292299.508
AT ITER 9344 NEW BEST:: SOT 11666981 SOS 7055460 HAS SOPS 5811793 HAS SOUS 1366262 HAS SOUPS 1282753 WITH SCORE 1289808.46
AT ITER 9346 NEW BEST:: SOT 11666976 SOS 7055315 HAS SOPS 5811648 HAS SOUS 1365767 HAS SOUPS 1282258 WITH SCORE 1289313.315
AT ITER 9421 NEW BEST:: SOT 11666521 SOS 7054785 HAS SOPS 5811089 HAS SOUS 1364999 HAS SOUPS 1281495 WITH SCORE 1288549.785
AT ITER 9454 NEW BEST:: SOT 11666179 SOS 7053909 HAS SOPS 5810384 HAS SOUS 1364648 HAS SOUPS 1281147 WITH SCORE 1288200.909
AT ITER 9474 NEW BEST:: SOT 11665822 SOS 7051820 HAS SOPS 5808636 HAS SOUS 1364320 HAS SOUPS 1280830 WITH SCORE 1287881.82
AT ITER 9491 NEW BEST:: SOT 11661122 SOS 7047258 HAS SOPS 5802427 HAS SOUS 1361163 HAS SOUPS 1277623 WITH SCORE 1284670.258
AT ITER 9499 NEW BEST:: SOT 11661066 SOS 7047133 HAS SOPS 5802318 HAS SOUS 1361113 HAS SOUPS 1277573 WITH SCORE 1284620.133
AT ITER 9510 NEW BEST:: SOT 11661084 SOS 7047259 HAS SOPS 5802406 HAS SOUS 1361100 HAS SOUPS 1277559 WITH SCORE 1284606.259
AT ITER 9539 NEW BEST:: SOT 11661528 SOS 7047703 HAS SOPS 5802770 HAS SOUS 1360352 HAS SOUPS 1276811 WITH SCORE 1283858.703
AT ITER 9592 NEW BEST:: SOT 11661783 SOS 7048423 HAS SOPS 5803524 HAS SOUS 1360195 HAS SOUPS 1276654 WITH SCORE 1283702.423
AT ITER 9631 NEW BEST:: SOT 11661784 SOS 7048443 HAS SOPS 5803589 HAS SOUS 1360167 HAS SOUPS 1276626 WITH SCORE 1283674.443
AT ITER 9636 NEW BEST:: SOT 11661231 SOS 7047446 HAS SOPS 5802475 HAS SOUS 1358750 HAS SOUPS 1275247 WITH SCORE 1282294.446
AT ITER 9650 NEW BEST:: SOT 11660979 SOS 7047194 HAS SOPS 5802223 HAS SOUS 1358638 HAS SOUPS 1275135 WITH SCORE 1282182.194
AT ITER 9667 NEW BEST:: SOT 11660660 SOS 7046854 HAS SOPS 5801624 HAS SOUS 1358564 HAS SOUPS 1275061 WITH SCORE 1282107.854
AT ITER 9681 NEW BEST:: SOT 11659475 SOS 7045487 HAS SOPS 5799851 HAS SOUS 1357633 HAS SOUPS 1274116 WITH SCORE 1281161.487
AT ITER 9710 NEW BEST:: SOT 11659343 SOS 7045388 HAS SOPS 5799740 HAS SOUS 1357423 HAS SOUPS 1273903 WITH SCORE 1280948.388
AT ITER 9723 NEW BEST:: SOT 11658512 SOS 7043375 HAS SOPS 5796197 HAS SOUS 1357546 HAS SOUPS 1273472 WITH SCORE 1280515.375
AT ITER 9740 NEW BEST:: SOT 11658147 SOS 7043088 HAS SOPS 5795884 HAS SOUS 1356908 HAS SOUPS 1272821 WITH SCORE 1279864.088
AT ITER 9756 NEW BEST:: SOT 11657055 SOS 7041879 HAS SOPS 5794727 HAS SOUS 1355588 HAS SOUPS 1271488 WITH SCORE 1278529.879
AT ITER 9763 NEW BEST:: SOT 11658360 SOS 7043674 HAS SOPS 5796046 HAS SOUS 1354236 HAS SOUPS 1270146 WITH SCORE 1277189.674
AT ITER 9781 NEW BEST:: SOT 11663822 SOS 7021344 HAS SOPS 5771798 HAS SOUS 1353602 HAS SOUPS 1269512 WITH SCORE 1276533.344
AT ITER 9789 NEW BEST:: SOT 11663588 SOS 7021110 HAS SOPS 5771548 HAS SOUS 1353508 HAS SOUPS 1269418 WITH SCORE 1276439.11
AT ITER 9805 NEW BEST:: SOT 11662490 SOS 7019702 HAS SOPS 5770027 HAS SOUS 1352585 HAS SOUPS 1268495 WITH SCORE 1275514.702
AT ITER 9830 NEW BEST:: SOT 11662453 SOS 7019397 HAS SOPS 5769483 HAS SOUS 1350454 HAS SOUPS 1266356 WITH SCORE 1273375.397
AT ITER 9845 NEW BEST:: SOT 11662447 SOS 7019391 HAS SOPS 5769492 HAS SOUS 1350385 HAS SOUPS 1266318 WITH SCORE 1273337.391
AT ITER 9852 NEW BEST:: SOT 11662016 SOS 7018232 HAS SOPS 5766134 HAS SOUS 1349615 HAS SOUPS 1265548 WITH SCORE 1272566.232
AT ITER 9929 NEW BEST:: SOT 11658223 SOS 7009125 HAS SOPS 5759442 HAS SOUS 1345933 HAS SOUPS 1261905 WITH SCORE 1268914.125
AT ITER 9939 NEW BEST:: SOT 11658159 SOS 7009069 HAS SOPS 5759282 HAS SOUS 1345817 HAS SOUPS 1261789 WITH SCORE 1268798.069

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb113-PT-1"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is RERS17pb113-PT-1, 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 r138-smll-158961502200008"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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