Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 6.4K Feb 26 18:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 26 18:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 18:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 26 18:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 18:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 26 18:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 18:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 18:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 15M Mar 5 18:23 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 1679036682319

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS17pb113-PT-2
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 07:04:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 07:04:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 07:04:45] [INFO ] Load time of PNML (sax parser for PT used): 879 ms
[2023-03-17 07:04:45] [INFO ] Transformed 639 places.
[2023-03-17 07:04:45] [INFO ] Transformed 31353 transitions.
[2023-03-17 07:04:45] [INFO ] Parsed PT model containing 639 places and 31353 transitions and 125418 arcs in 1172 ms.
[2023-03-17 07:04:45] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 639 places, 31353 transitions and 125418 arcs took 183 ms.
Total runtime 1389 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 2
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 639 places, 31353 transitions, 125418 arcs.
AT ITER 0 NEW BEST:: SOT 12195877 SOS 7742246 HAS SOPS 6414665 HAS SOUS 3046246 HAS SOUPS 2945965 WITH SCORE 2953707.246
AT ITER 1 NEW BEST:: SOT 12197816 SOS 7748969 HAS SOPS 6421298 HAS SOUS 3045757 HAS SOUPS 2945476 WITH SCORE 2953224.969
AT ITER 5 NEW BEST:: SOT 12197826 SOS 7749013 HAS SOPS 6421325 HAS SOUS 3045733 HAS SOUPS 2945452 WITH SCORE 2953201.013
AT ITER 8 NEW BEST:: SOT 12196172 SOS 7747331 HAS SOPS 6419223 HAS SOUS 3042078 HAS SOUPS 2941782 WITH SCORE 2949529.331
AT ITER 12 NEW BEST:: SOT 12195289 SOS 7746591 HAS SOPS 6417950 HAS SOUS 3040065 HAS SOUPS 2939756 WITH SCORE 2947502.591
AT ITER 18 NEW BEST:: SOT 12195241 SOS 7746663 HAS SOPS 6417994 HAS SOUS 3039959 HAS SOUPS 2939650 WITH SCORE 2947396.663
AT ITER 37 NEW BEST:: SOT 12190148 SOS 7737497 HAS SOPS 6411715 HAS SOUS 3032264 HAS SOUPS 2932140 WITH SCORE 2939877.497
AT ITER 58 NEW BEST:: SOT 12190821 SOS 7741288 HAS SOPS 6415928 HAS SOUS 3028334 HAS SOUPS 2928297 WITH SCORE 2936038.288
AT ITER 61 NEW BEST:: SOT 12182917 SOS 7733459 HAS SOPS 6408081 HAS SOUS 3020275 HAS SOUPS 2920238 WITH SCORE 2927971.459
AT ITER 65 NEW BEST:: SOT 12182969 SOS 7734311 HAS SOPS 6408140 HAS SOUS 3019553 HAS SOUPS 2919506 WITH SCORE 2927240.311
AT ITER 66 NEW BEST:: SOT 12184179 SOS 7737712 HAS SOPS 6412772 HAS SOUS 3016872 HAS SOUPS 2916825 WITH SCORE 2924562.712
AT ITER 70 NEW BEST:: SOT 12186593 SOS 7744183 HAS SOPS 6419978 HAS SOUS 3016228 HAS SOUPS 2916181 WITH SCORE 2923925.183
AT ITER 83 NEW BEST:: SOT 12186973 SOS 7744916 HAS SOPS 6420359 HAS SOUS 3014516 HAS SOUPS 2914550 WITH SCORE 2922294.916
AT ITER 84 NEW BEST:: SOT 12185977 SOS 7742113 HAS SOPS 6419990 HAS SOUS 3012951 HAS SOUPS 2912985 WITH SCORE 2920727.113
AT ITER 101 NEW BEST:: SOT 12185113 SOS 7741212 HAS SOPS 6418534 HAS SOUS 3010559 HAS SOUPS 2910413 WITH SCORE 2918154.212
AT ITER 105 NEW BEST:: SOT 12185102 SOS 7741297 HAS SOPS 6418455 HAS SOUS 3010244 HAS SOUPS 2910098 WITH SCORE 2917839.297
AT ITER 129 NEW BEST:: SOT 12184263 SOS 7740458 HAS SOPS 6417616 HAS SOUS 3009405 HAS SOUPS 2909259 WITH SCORE 2916999.458
AT ITER 142 NEW BEST:: SOT 12183699 SOS 7739948 HAS SOPS 6417382 HAS SOUS 3008993 HAS SOUPS 2908847 WITH SCORE 2916586.948
AT ITER 160 NEW BEST:: SOT 12185379 SOS 7744310 HAS SOPS 6419889 HAS SOUS 3008642 HAS SOUPS 2908496 WITH SCORE 2916240.31
AT ITER 181 NEW BEST:: SOT 12185706 SOS 7746730 HAS SOPS 6422148 HAS SOUS 3007121 HAS SOUPS 2906975 WITH SCORE 2914721.73
AT ITER 182 NEW BEST:: SOT 12185752 SOS 7747806 HAS SOPS 6422805 HAS SOUS 3006530 HAS SOUPS 2906384 WITH SCORE 2914131.806
AT ITER 203 NEW BEST:: SOT 12185415 SOS 7747651 HAS SOPS 6422611 HAS SOUS 3005328 HAS SOUPS 2905169 WITH SCORE 2912916.651
AT ITER 211 NEW BEST:: SOT 12174573 SOS 7736500 HAS SOPS 6410287 HAS SOUS 2990545 HAS SOUPS 2890301 WITH SCORE 2898037.5
AT ITER 216 NEW BEST:: SOT 12168266 SOS 7727687 HAS SOPS 6405423 HAS SOUS 2971023 HAS SOUPS 2871319 WITH SCORE 2879046.687
AT ITER 218 NEW BEST:: SOT 12161267 SOS 7720688 HAS SOPS 6398424 HAS SOUS 2964024 HAS SOUPS 2864320 WITH SCORE 2872040.688
AT ITER 219 NEW BEST:: SOT 12160223 SOS 7719608 HAS SOPS 6397372 HAS SOUS 2961807 HAS SOUPS 2862116 WITH SCORE 2869835.608
AT ITER 227 NEW BEST:: SOT 12157863 SOS 7717672 HAS SOPS 6396295 HAS SOUS 2955445 HAS SOUPS 2855884 WITH SCORE 2863601.672
AT ITER 228 NEW BEST:: SOT 12159795 SOS 7718235 HAS SOPS 6398024 HAS SOUS 2951735 HAS SOUPS 2852174 WITH SCORE 2859892.235
AT ITER 229 NEW BEST:: SOT 12159627 SOS 7717711 HAS SOPS 6397090 HAS SOUS 2950928 HAS SOUPS 2851390 WITH SCORE 2859107.711
AT ITER 234 NEW BEST:: SOT 12159648 SOS 7715738 HAS SOPS 6396973 HAS SOUS 2948781 HAS SOUPS 2849243 WITH SCORE 2856958.738
AT ITER 238 NEW BEST:: SOT 12156473 SOS 7711614 HAS SOPS 6392253 HAS SOUS 2940868 HAS SOUPS 2841396 WITH SCORE 2849107.614
AT ITER 242 NEW BEST:: SOT 12159707 SOS 7726018 HAS SOPS 6404424 HAS SOUS 2939106 HAS SOUPS 2839634 WITH SCORE 2847360.018
AT ITER 245 NEW BEST:: SOT 12159527 SOS 7726105 HAS SOPS 6404589 HAS SOUS 2938317 HAS SOUPS 2838854 WITH SCORE 2846580.105
AT ITER 256 NEW BEST:: SOT 12164987 SOS 7732184 HAS SOPS 6428151 HAS SOUS 2937079 HAS SOUPS 2837893 WITH SCORE 2845625.184
AT ITER 261 NEW BEST:: SOT 12170360 SOS 7735880 HAS SOPS 6438039 HAS SOUS 2935097 HAS SOUPS 2836180 WITH SCORE 2843915.88
AT ITER 283 NEW BEST:: SOT 12170973 SOS 7739105 HAS SOPS 6440949 HAS SOUS 2932951 HAS SOUPS 2833845 WITH SCORE 2841584.105
AT ITER 285 NEW BEST:: SOT 12170864 SOS 7738894 HAS SOPS 6440745 HAS SOUS 2932735 HAS SOUPS 2833640 WITH SCORE 2841378.894
AT ITER 294 NEW BEST:: SOT 12168258 SOS 7733567 HAS SOPS 6435709 HAS SOUS 2924386 HAS SOUPS 2825452 WITH SCORE 2833185.567
AT ITER 304 NEW BEST:: SOT 12157420 SOS 7722738 HAS SOPS 6424880 HAS SOUS 2913557 HAS SOUPS 2814623 WITH SCORE 2822345.738
AT ITER 320 NEW BEST:: SOT 12157327 SOS 7725050 HAS SOPS 6428887 HAS SOUS 2912441 HAS SOUPS 2813507 WITH SCORE 2821232.05
AT ITER 326 NEW BEST:: SOT 12162887 SOS 7735618 HAS SOPS 6437560 HAS SOUS 2911698 HAS SOUPS 2812575 WITH SCORE 2820310.618
AT ITER 331 NEW BEST:: SOT 12163585 SOS 7736525 HAS SOPS 6437490 HAS SOUS 2909307 HAS SOUPS 2810136 WITH SCORE 2817872.525
AT ITER 337 NEW BEST:: SOT 12163405 SOS 7736271 HAS SOPS 6437713 HAS SOUS 2909288 HAS SOUPS 2810128 WITH SCORE 2817864.271
AT ITER 342 NEW BEST:: SOT 12163425 SOS 7736429 HAS SOPS 6437707 HAS SOUS 2908920 HAS SOUPS 2809765 WITH SCORE 2817501.429
AT ITER 353 NEW BEST:: SOT 12164841 SOS 7742566 HAS SOPS 6445310 HAS SOUS 2907934 HAS SOUPS 2808779 WITH SCORE 2816521.566
AT ITER 361 NEW BEST:: SOT 12165442 SOS 7744659 HAS SOPS 6446276 HAS SOUS 2907804 HAS SOUPS 2808649 WITH SCORE 2816393.659
AT ITER 362 NEW BEST:: SOT 12163381 SOS 7742598 HAS SOPS 6444215 HAS SOUS 2905743 HAS SOUPS 2806588 WITH SCORE 2814330.598
AT ITER 369 NEW BEST:: SOT 12163358 SOS 7742479 HAS SOPS 6444078 HAS SOUS 2905690 HAS SOUPS 2806535 WITH SCORE 2814277.479
AT ITER 372 NEW BEST:: SOT 12162753 SOS 7741059 HAS SOPS 6442618 HAS SOUS 2904949 HAS SOUPS 2805786 WITH SCORE 2813527.059
AT ITER 374 NEW BEST:: SOT 12160117 SOS 7733379 HAS SOPS 6437073 HAS SOUS 2901509 HAS SOUPS 2802346 WITH SCORE 2810079.379
AT ITER 400 NEW BEST:: SOT 12155504 SOS 7728707 HAS SOPS 6433171 HAS SOUS 2897831 HAS SOUPS 2798895 WITH SCORE 2806623.707
AT ITER 422 NEW BEST:: SOT 12155583 SOS 7728975 HAS SOPS 6433070 HAS SOUS 2897709 HAS SOUPS 2798773 WITH SCORE 2806501.975
AT ITER 429 NEW BEST:: SOT 12154030 SOS 7727318 HAS SOPS 6432462 HAS SOUS 2895913 HAS SOUPS 2797011 WITH SCORE 2804738.318
AT ITER 440 NEW BEST:: SOT 12155419 SOS 7732150 HAS SOPS 6439646 HAS SOUS 2894953 HAS SOUPS 2796051 WITH SCORE 2803783.15
AT ITER 453 NEW BEST:: SOT 12153703 SOS 7726228 HAS SOPS 6437971 HAS SOUS 2894564 HAS SOUPS 2795662 WITH SCORE 2803388.228
AT ITER 455 NEW BEST:: SOT 12153383 SOS 7725612 HAS SOPS 6437694 HAS SOUS 2894508 HAS SOUPS 2795606 WITH SCORE 2803331.612
AT ITER 461 NEW BEST:: SOT 12153135 SOS 7725487 HAS SOPS 6438169 HAS SOUS 2893736 HAS SOUPS 2794830 WITH SCORE 2802555.487
AT ITER 477 NEW BEST:: SOT 12153615 SOS 7725945 HAS SOPS 6438297 HAS SOUS 2892476 HAS SOUPS 2793570 WITH SCORE 2801295.945
AT ITER 481 NEW BEST:: SOT 12153577 SOS 7725907 HAS SOPS 6438259 HAS SOUS 2892366 HAS SOUPS 2793460 WITH SCORE 2801185.907
AT ITER 487 NEW BEST:: SOT 12153043 SOS 7725894 HAS SOPS 6437596 HAS SOUS 2890646 HAS SOUPS 2791740 WITH SCORE 2799465.894
AT ITER 493 NEW BEST:: SOT 12157497 SOS 7736103 HAS SOPS 6445452 HAS SOUS 2889865 HAS SOUPS 2790959 WITH SCORE 2798695.103
AT ITER 511 NEW BEST:: SOT 12154699 SOS 7734346 HAS SOPS 6442630 HAS SOUS 2887097 HAS SOUPS 2788121 WITH SCORE 2795855.346
AT ITER 513 NEW BEST:: SOT 12158849 SOS 7746737 HAS SOPS 6453247 HAS SOUS 2883812 HAS SOUPS 2784836 WITH SCORE 2792582.737
AT ITER 529 NEW BEST:: SOT 12157612 SOS 7743857 HAS SOPS 6449506 HAS SOUS 2883234 HAS SOUPS 2784258 WITH SCORE 2792001.857
AT ITER 532 NEW BEST:: SOT 12155183 SOS 7741428 HAS SOPS 6447077 HAS SOUS 2880805 HAS SOUPS 2781829 WITH SCORE 2789570.428
AT ITER 537 NEW BEST:: SOT 12153143 SOS 7744707 HAS SOPS 6452644 HAS SOUS 2872863 HAS SOUPS 2774009 WITH SCORE 2781753.707
AT ITER 569 NEW BEST:: SOT 12155785 SOS 7750202 HAS SOPS 6456803 HAS SOUS 2871946 HAS SOUPS 2773092 WITH SCORE 2780842.202
AT ITER 571 NEW BEST:: SOT 12154734 SOS 7748913 HAS SOPS 6454920 HAS SOUS 2868491 HAS SOUPS 2769676 WITH SCORE 2777424.913
AT ITER 575 NEW BEST:: SOT 12153494 SOS 7743052 HAS SOPS 6454464 HAS SOUS 2863909 HAS SOUPS 2766183 WITH SCORE 2773926.052
AT ITER 597 NEW BEST:: SOT 12153723 SOS 7744523 HAS SOPS 6458336 HAS SOUS 2862878 HAS SOUPS 2765038 WITH SCORE 2772782.523
AT ITER 603 NEW BEST:: SOT 12153693 SOS 7744493 HAS SOPS 6458306 HAS SOUS 2862640 HAS SOUPS 2764800 WITH SCORE 2772544.493
AT ITER 605 NEW BEST:: SOT 12152993 SOS 7743812 HAS SOPS 6457606 HAS SOUS 2861757 HAS SOUPS 2763898 WITH SCORE 2771641.812
AT ITER 614 NEW BEST:: SOT 12152538 SOS 7744003 HAS SOPS 6457714 HAS SOUS 2860686 HAS SOUPS 2762827 WITH SCORE 2770571.003
AT ITER 617 NEW BEST:: SOT 12152513 SOS 7744577 HAS SOPS 6458275 HAS SOUS 2859957 HAS SOUPS 2762098 WITH SCORE 2769842.577
AT ITER 623 NEW BEST:: SOT 12153618 SOS 7747514 HAS SOPS 6461239 HAS SOUS 2859104 HAS SOUPS 2761245 WITH SCORE 2768992.514
AT ITER 645 NEW BEST:: SOT 12153778 SOS 7747627 HAS SOPS 6461550 HAS SOUS 2855618 HAS SOUPS 2757759 WITH SCORE 2765506.627
AT ITER 646 NEW BEST:: SOT 12146225 SOS 7735817 HAS SOPS 6453189 HAS SOUS 2845582 HAS SOUPS 2748041 WITH SCORE 2755776.817
AT ITER 649 NEW BEST:: SOT 12151267 SOS 7754244 HAS SOPS 6466513 HAS SOUS 2844337 HAS SOUPS 2746796 WITH SCORE 2754550.244
AT ITER 656 NEW BEST:: SOT 12150312 SOS 7753284 HAS SOPS 6465512 HAS SOUS 2842785 HAS SOUPS 2745215 WITH SCORE 2752968.284
AT ITER 672 NEW BEST:: SOT 12149796 SOS 7754623 HAS SOPS 6466600 HAS SOUS 2839814 HAS SOUPS 2742244 WITH SCORE 2749998.623
AT ITER 673 NEW BEST:: SOT 12149538 SOS 7754145 HAS SOPS 6466704 HAS SOUS 2837856 HAS SOUPS 2740500 WITH SCORE 2748254.145
AT ITER 674 NEW BEST:: SOT 12147472 SOS 7753156 HAS SOPS 6463363 HAS SOUS 2832634 HAS SOUPS 2735241 WITH SCORE 2742994.156
AT ITER 684 NEW BEST:: SOT 12156660 SOS 7765210 HAS SOPS 6485082 HAS SOUS 2829624 HAS SOUPS 2732363 WITH SCORE 2740128.21
AT ITER 699 NEW BEST:: SOT 12155423 SOS 7762660 HAS SOPS 6483353 HAS SOUS 2827481 HAS SOUPS 2730418 WITH SCORE 2738180.66
AT ITER 712 NEW BEST:: SOT 12154483 SOS 7761321 HAS SOPS 6481852 HAS SOUS 2825393 HAS SOUPS 2728353 WITH SCORE 2736114.321
AT ITER 716 NEW BEST:: SOT 12148069 SOS 7743404 HAS SOPS 6465936 HAS SOUS 2807461 HAS SOUPS 2708915 WITH SCORE 2716658.404
AT ITER 718 NEW BEST:: SOT 12147766 SOS 7742828 HAS SOPS 6463963 HAS SOUS 2806556 HAS SOUPS 2708045 WITH SCORE 2715787.828
AT ITER 719 NEW BEST:: SOT 12147655 SOS 7742609 HAS SOPS 6463681 HAS SOUS 2806432 HAS SOUPS 2707918 WITH SCORE 2715660.609
AT ITER 723 NEW BEST:: SOT 12145077 SOS 7736029 HAS SOPS 6459198 HAS SOUS 2802573 HAS SOUPS 2704160 WITH SCORE 2711896.029
AT ITER 735 NEW BEST:: SOT 12144427 SOS 7735234 HAS SOPS 6458463 HAS SOUS 2801648 HAS SOUPS 2703240 WITH SCORE 2710975.234
AT ITER 736 NEW BEST:: SOT 12145113 SOS 7734309 HAS SOPS 6458265 HAS SOUS 2801096 HAS SOUPS 2702688 WITH SCORE 2710422.309
AT ITER 751 NEW BEST:: SOT 12149612 SOS 7744356 HAS SOPS 6473250 HAS SOUS 2796072 HAS SOUPS 2697834 WITH SCORE 2705578.356
AT ITER 759 NEW BEST:: SOT 12149622 SOS 7747122 HAS SOPS 6475390 HAS SOUS 2794552 HAS SOUPS 2696314 WITH SCORE 2704061.122
AT ITER 762 NEW BEST:: SOT 12152176 SOS 7759844 HAS SOPS 6485659 HAS SOUS 2786912 HAS SOUPS 2688674 WITH SCORE 2696433.844
AT ITER 770 NEW BEST:: SOT 12150301 SOS 7757818 HAS SOPS 6483246 HAS SOUS 2782576 HAS SOUPS 2684464 WITH SCORE 2692221.818
AT ITER 773 NEW BEST:: SOT 12146724 SOS 7753347 HAS SOPS 6482745 HAS SOUS 2781806 HAS SOUPS 2684243 WITH SCORE 2691996.347
AT ITER 778 NEW BEST:: SOT 12154024 SOS 7770488 HAS SOPS 6492530 HAS SOUS 2780501 HAS SOUPS 2682938 WITH SCORE 2690708.488
AT ITER 780 NEW BEST:: SOT 12154697 SOS 7776008 HAS SOPS 6496117 HAS SOUS 2777111 HAS SOUPS 2679548 WITH SCORE 2687324.008
AT ITER 784 NEW BEST:: SOT 12154710 SOS 7775858 HAS SOPS 6497607 HAS SOUS 2776552 HAS SOUPS 2678989 WITH SCORE 2686764.858
AT ITER 790 NEW BEST:: SOT 12160378 SOS 7787981 HAS SOPS 6509950 HAS SOUS 2776231 HAS SOUPS 2678612 WITH SCORE 2686399.981
AT ITER 794 NEW BEST:: SOT 12160889 SOS 7788492 HAS SOPS 6510301 HAS SOUS 2775650 HAS SOUPS 2678031 WITH SCORE 2685819.492
AT ITER 797 NEW BEST:: SOT 12156323 SOS 7782233 HAS SOPS 6509961 HAS SOUS 2771099 HAS SOUPS 2674950 WITH SCORE 2682732.233
AT ITER 799 NEW BEST:: SOT 12150977 SOS 7778673 HAS SOPS 6503263 HAS SOUS 2755297 HAS SOUPS 2659135 WITH SCORE 2666913.673
AT ITER 800 NEW BEST:: SOT 12150022 SOS 7773056 HAS SOPS 6498562 HAS SOUS 2751020 HAS SOUPS 2655071 WITH SCORE 2662844.056
AT ITER 802 NEW BEST:: SOT 12148858 SOS 7771878 HAS SOPS 6499223 HAS SOUS 2748373 HAS SOUPS 2652424 WITH SCORE 2660195.878
AT ITER 807 NEW BEST:: SOT 12149170 SOS 7772172 HAS SOPS 6499391 HAS SOUS 2748091 HAS SOUPS 2652142 WITH SCORE 2659914.172
AT ITER 816 NEW BEST:: SOT 12148127 SOS 7771485 HAS SOPS 6498768 HAS SOUS 2744809 HAS SOUPS 2648935 WITH SCORE 2656706.485
AT ITER 824 NEW BEST:: SOT 12147927 SOS 7771285 HAS SOPS 6498536 HAS SOUS 2744641 HAS SOUPS 2648767 WITH SCORE 2656538.285
AT ITER 834 NEW BEST:: SOT 12146317 SOS 7769318 HAS SOPS 6499855 HAS SOUS 2742329 HAS SOUPS 2646570 WITH SCORE 2654339.318
AT ITER 841 NEW BEST:: SOT 12146540 SOS 7769195 HAS SOPS 6499519 HAS SOUS 2742116 HAS SOUPS 2646357 WITH SCORE 2654126.195
AT ITER 851 NEW BEST:: SOT 12144861 SOS 7767018 HAS SOPS 6497343 HAS SOUS 2739559 HAS SOUPS 2643816 WITH SCORE 2651583.018
AT ITER 864 NEW BEST:: SOT 12140826 SOS 7760995 HAS SOPS 6493082 HAS SOUS 2736908 HAS SOUPS 2641165 WITH SCORE 2648925.995
AT ITER 884 NEW BEST:: SOT 12144894 SOS 7771522 HAS SOPS 6502934 HAS SOUS 2730753 HAS SOUPS 2635159 WITH SCORE 2642930.522
AT ITER 886 NEW BEST:: SOT 12144599 SOS 7768879 HAS SOPS 6499532 HAS SOUS 2729627 HAS SOUPS 2634033 WITH SCORE 2641801.879
AT ITER 888 NEW BEST:: SOT 12144530 SOS 7769044 HAS SOPS 6499552 HAS SOUS 2729444 HAS SOUPS 2633850 WITH SCORE 2641619.044
AT ITER 891 NEW BEST:: SOT 12144315 SOS 7768025 HAS SOPS 6498395 HAS SOUS 2729012 HAS SOUPS 2633418 WITH SCORE 2641186.025
AT ITER 892 NEW BEST:: SOT 12145550 SOS 7774869 HAS SOPS 6504403 HAS SOUS 2721992 HAS SOUPS 2626398 WITH SCORE 2634172.869
AT ITER 904 NEW BEST:: SOT 12161152 SOS 7814593 HAS SOPS 6538238 HAS SOUS 2719505 HAS SOUPS 2623233 WITH SCORE 2631047.593
AT ITER 921 NEW BEST:: SOT 12157307 SOS 7806666 HAS SOPS 6532477 HAS SOUS 2715883 HAS SOUPS 2619681 WITH SCORE 2627487.666
AT ITER 941 NEW BEST:: SOT 12151759 SOS 7800731 HAS SOPS 6527402 HAS SOUS 2700189 HAS SOUPS 2604039 WITH SCORE 2611839.731
AT ITER 944 NEW BEST:: SOT 12151821 SOS 7800983 HAS SOPS 6527734 HAS SOUS 2700061 HAS SOUPS 2603911 WITH SCORE 2611711.983
AT ITER 945 NEW BEST:: SOT 12150432 SOS 7799875 HAS SOPS 6520699 HAS SOUS 2699799 HAS SOUPS 2603562 WITH SCORE 2611361.875
AT ITER 963 NEW BEST:: SOT 12150028 SOS 7799192 HAS SOPS 6519126 HAS SOUS 2697466 HAS SOUPS 2601229 WITH SCORE 2609028.192
AT ITER 964 NEW BEST:: SOT 12151689 SOS 7802346 HAS SOPS 6522961 HAS SOUS 2696040 HAS SOUPS 2600006 WITH SCORE 2607808.346
AT ITER 969 NEW BEST:: SOT 12151469 SOS 7801422 HAS SOPS 6522474 HAS SOUS 2694913 HAS SOUPS 2598879 WITH SCORE 2606680.422
AT ITER 973 NEW BEST:: SOT 12160529 SOS 7810406 HAS SOPS 6531496 HAS SOUS 2693454 HAS SOUPS 2597447 WITH SCORE 2605257.406
AT ITER 982 NEW BEST:: SOT 12161669 SOS 7811776 HAS SOPS 6531526 HAS SOUS 2692659 HAS SOUPS 2596652 WITH SCORE 2604463.776
AT ITER 985 NEW BEST:: SOT 12160061 SOS 7809803 HAS SOPS 6529232 HAS SOUS 2692409 HAS SOUPS 2596268 WITH SCORE 2604077.803
AT ITER 1008 NEW BEST:: SOT 12150143 SOS 7793747 HAS SOPS 6513176 HAS SOUS 2683342 HAS SOUPS 2587201 WITH SCORE 2594994.747
AT ITER 1021 NEW BEST:: SOT 12151511 SOS 7799515 HAS SOPS 6519998 HAS SOUS 2680593 HAS SOUPS 2584452 WITH SCORE 2592251.515
AT ITER 1023 NEW BEST:: SOT 12149997 SOS 7798001 HAS SOPS 6518484 HAS SOUS 2679079 HAS SOUPS 2582938 WITH SCORE 2590736.001
AT ITER 1039 NEW BEST:: SOT 12149599 SOS 7797613 HAS SOPS 6518016 HAS SOUS 2678401 HAS SOUPS 2582250 WITH SCORE 2590047.613
AT ITER 1058 NEW BEST:: SOT 12149694 SOS 7798096 HAS SOPS 6518499 HAS SOUS 2678144 HAS SOUPS 2581993 WITH SCORE 2589791.096
AT ITER 1084 NEW BEST:: SOT 12148069 SOS 7795020 HAS SOPS 6516082 HAS SOUS 2677446 HAS SOUPS 2581147 WITH SCORE 2588942.02
AT ITER 1100 NEW BEST:: SOT 12147156 SOS 7793862 HAS SOPS 6515088 HAS SOUS 2676318 HAS SOUPS 2580046 WITH SCORE 2587839.862
AT ITER 1113 NEW BEST:: SOT 12149607 SOS 7797655 HAS SOPS 6519496 HAS SOUS 2667732 HAS SOUPS 2571684 WITH SCORE 2579481.655
AT ITER 1118 NEW BEST:: SOT 12149551 SOS 7797673 HAS SOPS 6519464 HAS SOUS 2667578 HAS SOUPS 2571530 WITH SCORE 2579327.673
AT ITER 1142 NEW BEST:: SOT 12149787 SOS 7794499 HAS SOPS 6515251 HAS SOUS 2666893 HAS SOUPS 2570948 WITH SCORE 2578742.499
AT ITER 1145 NEW BEST:: SOT 12149441 SOS 7792351 HAS SOPS 6512885 HAS SOUS 2666224 HAS SOUPS 2570243 WITH SCORE 2578035.351
AT ITER 1147 NEW BEST:: SOT 12151570 SOS 7794458 HAS SOPS 6516142 HAS SOUS 2665735 HAS SOUPS 2569754 WITH SCORE 2577548.458
AT ITER 1148 NEW BEST:: SOT 12150074 SOS 7792927 HAS SOPS 6512858 HAS SOUS 2661834 HAS SOUPS 2565816 WITH SCORE 2573608.927
AT ITER 1150 NEW BEST:: SOT 12154550 SOS 7809558 HAS SOPS 6526841 HAS SOUS 2660625 HAS SOUPS 2564607 WITH SCORE 2572416.558
AT ITER 1154 NEW BEST:: SOT 12153483 SOS 7806763 HAS SOPS 6524569 HAS SOUS 2659853 HAS SOUPS 2563876 WITH SCORE 2571682.763
AT ITER 1158 NEW BEST:: SOT 12155578 SOS 7816016 HAS SOPS 6532719 HAS SOUS 2655912 HAS SOUPS 2559935 WITH SCORE 2567751.016
AT ITER 1162 NEW BEST:: SOT 12153521 SOS 7813515 HAS SOPS 6530908 HAS SOUS 2651807 HAS SOUPS 2555849 WITH SCORE 2563662.515
AT ITER 1169 NEW BEST:: SOT 12153827 SOS 7813398 HAS SOPS 6530425 HAS SOUS 2651806 HAS SOUPS 2555848 WITH SCORE 2563661.398
AT ITER 1183 NEW BEST:: SOT 12152638 SOS 7812705 HAS SOPS 6528900 HAS SOUS 2649126 HAS SOUPS 2553148 WITH SCORE 2560960.705
AT ITER 1187 NEW BEST:: SOT 12153458 SOS 7814097 HAS SOPS 6531629 HAS SOUS 2649166 HAS SOUPS 2553144 WITH SCORE 2560958.097
AT ITER 1189 NEW BEST:: SOT 12153416 SOS 7813789 HAS SOPS 6531573 HAS SOUS 2649049 HAS SOUPS 2553033 WITH SCORE 2560846.789
AT ITER 1202 NEW BEST:: SOT 12145710 SOS 7805649 HAS SOPS 6522345 HAS SOUS 2635856 HAS SOUPS 2539840 WITH SCORE 2547645.649
AT ITER 1206 NEW BEST:: SOT 12150326 SOS 7810895 HAS SOPS 6528922 HAS SOUS 2634748 HAS SOUPS 2538945 WITH SCORE 2546755.895
AT ITER 1208 NEW BEST:: SOT 12149022 SOS 7808634 HAS SOPS 6526218 HAS SOUS 2631623 HAS SOUPS 2535802 WITH SCORE 2543610.634
AT ITER 1213 NEW BEST:: SOT 12149059 SOS 7811464 HAS SOPS 6529095 HAS SOUS 2631138 HAS SOUPS 2535349 WITH SCORE 2543160.464
AT ITER 1220 NEW BEST:: SOT 12148893 SOS 7811178 HAS SOPS 6529669 HAS SOUS 2629630 HAS SOUPS 2533841 WITH SCORE 2541652.178
AT ITER 1221 NEW BEST:: SOT 12141114 SOS 7802545 HAS SOPS 6520113 HAS SOUS 2612550 HAS SOUPS 2516761 WITH SCORE 2524563.545
AT ITER 1230 NEW BEST:: SOT 12138256 SOS 7799687 HAS SOPS 6517255 HAS SOUS 2609448 HAS SOUPS 2513659 WITH SCORE 2521458.687
AT ITER 1234 NEW BEST:: SOT 12138528 SOS 7800080 HAS SOPS 6517799 HAS SOUS 2609325 HAS SOUPS 2513536 WITH SCORE 2521336.08
AT ITER 1235 NEW BEST:: SOT 12136536 SOS 7798868 HAS SOPS 6517878 HAS SOUS 2607409 HAS SOUPS 2512931 WITH SCORE 2520729.868
AT ITER 1241 NEW BEST:: SOT 12135393 SOS 7797059 HAS SOPS 6515914 HAS SOUS 2604423 HAS SOUPS 2509968 WITH SCORE 2517765.059
AT ITER 1262 NEW BEST:: SOT 12129851 SOS 7788171 HAS SOPS 6506644 HAS SOUS 2596468 HAS SOUPS 2502052 WITH SCORE 2509840.171
AT ITER 1269 NEW BEST:: SOT 12121776 SOS 7777999 HAS SOPS 6496914 HAS SOUS 2579233 HAS SOUPS 2484925 WITH SCORE 2492702.999
AT ITER 1287 NEW BEST:: SOT 12120574 SOS 7781066 HAS SOPS 6501307 HAS SOUS 2577494 HAS SOUPS 2483186 WITH SCORE 2490967.066
AT ITER 1292 NEW BEST:: SOT 12120570 SOS 7781062 HAS SOPS 6501303 HAS SOUS 2577486 HAS SOUPS 2483178 WITH SCORE 2490959.062
AT ITER 1296 NEW BEST:: SOT 12120366 SOS 7781326 HAS SOPS 6499422 HAS SOUS 2575705 HAS SOUPS 2481353 WITH SCORE 2489134.326
AT ITER 1313 NEW BEST:: SOT 12119369 SOS 7779731 HAS SOPS 6502937 HAS SOUS 2566688 HAS SOUPS 2472898 WITH SCORE 2480677.731
AT ITER 1317 NEW BEST:: SOT 12119163 SOS 7779882 HAS SOPS 6502741 HAS SOUS 2565008 HAS SOUPS 2471218 WITH SCORE 2478997.882
AT ITER 1320 NEW BEST:: SOT 12119103 SOS 7779576 HAS SOPS 6501861 HAS SOUS 2562810 HAS SOUPS 2469015 WITH SCORE 2476794.576
AT ITER 1330 NEW BEST:: SOT 12119675 SOS 7782455 HAS SOPS 6504043 HAS SOUS 2562259 HAS SOUPS 2468464 WITH SCORE 2476246.455
AT ITER 1334 NEW BEST:: SOT 12116998 SOS 7776514 HAS SOPS 6498902 HAS SOUS 2558405 HAS SOUPS 2464610 WITH SCORE 2472386.514
AT ITER 1338 NEW BEST:: SOT 12116541 SOS 7776057 HAS SOPS 6497997 HAS SOUS 2556068 HAS SOUPS 2462161 WITH SCORE 2469937.057
AT ITER 1339 NEW BEST:: SOT 12112444 SOS 7771960 HAS SOPS 6493580 HAS SOUS 2551891 HAS SOUPS 2457744 WITH SCORE 2465515.96
AT ITER 1341 NEW BEST:: SOT 12111014 SOS 7769817 HAS SOPS 6491561 HAS SOUS 2548584 HAS SOUPS 2454437 WITH SCORE 2462206.817
AT ITER 1342 NEW BEST:: SOT 12112408 SOS 7773114 HAS SOPS 6491166 HAS SOUS 2545320 HAS SOUPS 2451089 WITH SCORE 2458862.114
AT ITER 1356 NEW BEST:: SOT 12111640 SOS 7772114 HAS SOPS 6489803 HAS SOUS 2543484 HAS SOUPS 2449253 WITH SCORE 2457025.114
AT ITER 1365 NEW BEST:: SOT 12112373 SOS 7773197 HAS SOPS 6492704 HAS SOUS 2543441 HAS SOUPS 2449210 WITH SCORE 2456983.197
AT ITER 1374 NEW BEST:: SOT 12111782 SOS 7770374 HAS SOPS 6491404 HAS SOUS 2541356 HAS SOUPS 2447377 WITH SCORE 2455147.374
AT ITER 1387 NEW BEST:: SOT 12111831 SOS 7770423 HAS SOPS 6491453 HAS SOUS 2541249 HAS SOUPS 2447270 WITH SCORE 2455040.423
AT ITER 1396 NEW BEST:: SOT 12115105 SOS 7775333 HAS SOPS 6494492 HAS SOUS 2539901 HAS SOUPS 2445892 WITH SCORE 2453667.333
AT ITER 1413 NEW BEST:: SOT 12114628 SOS 7774856 HAS SOPS 6493759 HAS SOUS 2538584 HAS SOUPS 2444575 WITH SCORE 2452349.856
AT ITER 1417 NEW BEST:: SOT 12114046 SOS 7774274 HAS SOPS 6492969 HAS SOUS 2537374 HAS SOUPS 2443333 WITH SCORE 2451107.274
AT ITER 1418 NEW BEST:: SOT 12114182 SOS 7777838 HAS SOPS 6496531 HAS SOUS 2535238 HAS SOUPS 2441197 WITH SCORE 2448974.838
AT ITER 1421 NEW BEST:: SOT 12113435 SOS 7778499 HAS SOPS 6496073 HAS SOUS 2530270 HAS SOUPS 2436170 WITH SCORE 2443948.499
AT ITER 1424 NEW BEST:: SOT 12109088 SOS 7774152 HAS SOPS 6491214 HAS SOUS 2523523 HAS SOUPS 2429423 WITH SCORE 2437197.152
AT ITER 1435 NEW BEST:: SOT 12109009 SOS 7774074 HAS SOPS 6491103 HAS SOUS 2523468 HAS SOUPS 2429335 WITH SCORE 2437109.074
AT ITER 1436 NEW BEST:: SOT 12108981 SOS 7773490 HAS SOPS 6490130 HAS SOUS 2523304 HAS SOUPS 2429171 WITH SCORE 2436944.49
AT ITER 1448 NEW BEST:: SOT 12109149 SOS 7773658 HAS SOPS 6490138 HAS SOUS 2522896 HAS SOUPS 2428763 WITH SCORE 2436536.658
AT ITER 1454 NEW BEST:: SOT 12108380 SOS 7772959 HAS SOPS 6489243 HAS SOUS 2522053 HAS SOUPS 2427920 WITH SCORE 2435692.959
AT ITER 1468 NEW BEST:: SOT 12106778 SOS 7767397 HAS SOPS 6486839 HAS SOUS 2521913 HAS SOUPS 2427780 WITH SCORE 2435547.397
AT ITER 1470 NEW BEST:: SOT 12106058 SOS 7766677 HAS SOPS 6485879 HAS SOUS 2520517 HAS SOUPS 2426368 WITH SCORE 2434134.677
AT ITER 1478 NEW BEST:: SOT 12105858 SOS 7766473 HAS SOPS 6485547 HAS SOUS 2520246 HAS SOUPS 2426093 WITH SCORE 2433859.473
AT ITER 1480 NEW BEST:: SOT 12101649 SOS 7762264 HAS SOPS 6480714 HAS SOUS 2513257 HAS SOUPS 2419024 WITH SCORE 2426786.264
AT ITER 1483 NEW BEST:: SOT 12101831 SOS 7764884 HAS SOPS 6487948 HAS SOUS 2509830 HAS SOUPS 2415597 WITH SCORE 2423361.884
AT ITER 1490 NEW BEST:: SOT 12101426 SOS 7764348 HAS SOPS 6485969 HAS SOUS 2507808 HAS SOUPS 2413575 WITH SCORE 2421339.348
AT ITER 1493 NEW BEST:: SOT 12108271 SOS 7776268 HAS SOPS 6500236 HAS SOUS 2505287 HAS SOUPS 2411291 WITH SCORE 2419067.268
AT ITER 1496 NEW BEST:: SOT 12108121 SOS 7776036 HAS SOPS 6499597 HAS SOUS 2504927 HAS SOUPS 2410907 WITH SCORE 2418683.036
AT ITER 1502 NEW BEST:: SOT 12110430 SOS 7781046 HAS SOPS 6501744 HAS SOUS 2502867 HAS SOUPS 2408593 WITH SCORE 2416374.046
AT ITER 1503 NEW BEST:: SOT 12112151 SOS 7784717 HAS SOPS 6503717 HAS SOUS 2502021 HAS SOUPS 2407747 WITH SCORE 2415531.717
AT ITER 1510 NEW BEST:: SOT 12110080 SOS 7782646 HAS SOPS 6501646 HAS SOUS 2499102 HAS SOUPS 2404828 WITH SCORE 2412610.646
AT ITER 1522 NEW BEST:: SOT 12110726 SOS 7783497 HAS SOPS 6502192 HAS SOUS 2498471 HAS SOUPS 2404197 WITH SCORE 2411980.497
AT ITER 1527 NEW BEST:: SOT 12105544 SOS 7770856 HAS SOPS 6491276 HAS SOUS 2496086 HAS SOUPS 2401812 WITH SCORE 2409582.856
AT ITER 1529 NEW BEST:: SOT 12104532 SOS 7770294 HAS SOPS 6491148 HAS SOUS 2493342 HAS SOUPS 2399070 WITH SCORE 2406840.294
AT ITER 1531 NEW BEST:: SOT 12103780 SOS 7769669 HAS SOPS 6491277 HAS SOUS 2492007 HAS SOUPS 2397711 WITH SCORE 2405480.669
AT ITER 1537 NEW BEST:: SOT 12103174 SOS 7764978 HAS SOPS 6486904 HAS SOUS 2491812 HAS SOUPS 2397516 WITH SCORE 2405280.978
AT ITER 1544 NEW BEST:: SOT 12102485 SOS 7764487 HAS SOPS 6486283 HAS SOUS 2490962 HAS SOUPS 2396610 WITH SCORE 2404374.487
AT ITER 1552 NEW BEST:: SOT 12104710 SOS 7770416 HAS SOPS 6497159 HAS SOUS 2489955 HAS SOUPS 2395715 WITH SCORE 2403485.416
AT ITER 1580 NEW BEST:: SOT 12103150 SOS 7767414 HAS SOPS 6495509 HAS SOUS 2488235 HAS SOUPS 2393995 WITH SCORE 2401762.414
AT ITER 1587 NEW BEST:: SOT 12102971 SOS 7767381 HAS SOPS 6495456 HAS SOUS 2488096 HAS SOUPS 2393856 WITH SCORE 2401623.381
AT ITER 1589 NEW BEST:: SOT 12109953 SOS 7785552 HAS SOPS 6514967 HAS SOUS 2477507 HAS SOUPS 2383267 WITH SCORE 2391052.552
AT ITER 1591 NEW BEST:: SOT 12105908 SOS 7765891 HAS SOPS 6500520 HAS SOUS 2473515 HAS SOUPS 2379295 WITH SCORE 2387060.891
AT ITER 1593 NEW BEST:: SOT 12105101 SOS 7765079 HAS SOPS 6501536 HAS SOUS 2473169 HAS SOUPS 2378949 WITH SCORE 2386714.079
AT ITER 1601 NEW BEST:: SOT 12103792 SOS 7767000 HAS SOPS 6502137 HAS SOUS 2472288 HAS SOUPS 2378072 WITH SCORE 2385839.0
AT ITER 1623 NEW BEST:: SOT 12103744 SOS 7766952 HAS SOPS 6502073 HAS SOUS 2472192 HAS SOUPS 2377976 WITH SCORE 2385742.952
AT ITER 1633 NEW BEST:: SOT 12105191 SOS 7771365 HAS SOPS 6505186 HAS SOUS 2470030 HAS SOUPS 2375766 WITH SCORE 2383537.365
AT ITER 1634 NEW BEST:: SOT 12099266 SOS 7762260 HAS SOPS 6496432 HAS SOUS 2466998 HAS SOUPS 2372725 WITH SCORE 2380487.26
AT ITER 1648 NEW BEST:: SOT 12097189 SOS 7760183 HAS SOPS 6494355 HAS SOUS 2466437 HAS SOUPS 2372164 WITH SCORE 2379924.183
AT ITER 1675 NEW BEST:: SOT 12097771 SOS 7762726 HAS SOPS 6494714 HAS SOUS 2465156 HAS SOUPS 2370883 WITH SCORE 2378645.726
AT ITER 1678 NEW BEST:: SOT 12093053 SOS 7746186 HAS SOPS 6480556 HAS SOUS 2462483 HAS SOUPS 2368210 WITH SCORE 2375956.186
AT ITER 1679 NEW BEST:: SOT 12091171 SOS 7743027 HAS SOPS 6476505 HAS SOUS 2458939 HAS SOUPS 2364705 WITH SCORE 2372448.027
AT ITER 1700 NEW BEST:: SOT 12091282 SOS 7743713 HAS SOPS 6477235 HAS SOUS 2458520 HAS SOUPS 2364286 WITH SCORE 2372029.713
AT ITER 1713 NEW BEST:: SOT 12093023 SOS 7751990 HAS SOPS 6485652 HAS SOUS 2456257 HAS SOUPS 2362076 WITH SCORE 2369827.99
AT ITER 1735 NEW BEST:: SOT 12092121 SOS 7751155 HAS SOPS 6486810 HAS SOUS 2453375 HAS SOUPS 2359194 WITH SCORE 2366945.155
AT ITER 1738 NEW BEST:: SOT 12092581 SOS 7751749 HAS SOPS 6486997 HAS SOUS 2453248 HAS SOUPS 2359051 WITH SCORE 2366802.749
AT ITER 1755 NEW BEST:: SOT 12092559 SOS 7751649 HAS SOPS 6487049 HAS SOUS 2452853 HAS SOUPS 2358667 WITH SCORE 2366418.649
AT ITER 1763 NEW BEST:: SOT 12092912 SOS 7752480 HAS SOPS 6487092 HAS SOUS 2452201 HAS SOUPS 2357982 WITH SCORE 2365734.48
AT ITER 1772 NEW BEST:: SOT 12092710 SOS 7751892 HAS SOPS 6487165 HAS SOUS 2452190 HAS SOUPS 2357971 WITH SCORE 2365722.892
AT ITER 1776 NEW BEST:: SOT 12092738 SOS 7751717 HAS SOPS 6487303 HAS SOUS 2452076 HAS SOUPS 2357970 WITH SCORE 2365721.717
AT ITER 1780 NEW BEST:: SOT 12090087 SOS 7749056 HAS SOPS 6486069 HAS SOUS 2445315 HAS SOUPS 2351209 WITH SCORE 2358958.056
AT ITER 1781 NEW BEST:: SOT 12090926 SOS 7749803 HAS SOPS 6494969 HAS SOUS 2445006 HAS SOUPS 2350900 WITH SCORE 2358649.803
AT ITER 1793 NEW BEST:: SOT 12089120 SOS 7746095 HAS SOPS 6490885 HAS SOUS 2444414 HAS SOUPS 2350308 WITH SCORE 2358054.095
AT ITER 1802 NEW BEST:: SOT 12087777 SOS 7744287 HAS SOPS 6489134 HAS SOUS 2442663 HAS SOUPS 2348572 WITH SCORE 2356316.287
AT ITER 1816 NEW BEST:: SOT 12085320 SOS 7741945 HAS SOPS 6485882 HAS SOUS 2439140 HAS SOUPS 2344858 WITH SCORE 2352599.945
AT ITER 1819 NEW BEST:: SOT 12087008 SOS 7747704 HAS SOPS 6489562 HAS SOUS 2438472 HAS SOUPS 2343931 WITH SCORE 2351678.704
AT ITER 1833 NEW BEST:: SOT 12082836 SOS 7741895 HAS SOPS 6487259 HAS SOUS 2437583 HAS SOUPS 2343667 WITH SCORE 2351408.895
AT ITER 1837 NEW BEST:: SOT 12082781 SOS 7741815 HAS SOPS 6487344 HAS SOUS 2437313 HAS SOUPS 2343397 WITH SCORE 2351138.815
AT ITER 1841 NEW BEST:: SOT 12085516 SOS 7744962 HAS SOPS 6491927 HAS SOUS 2431612 HAS SOUPS 2338976 WITH SCORE 2346720.962
AT ITER 1843 NEW BEST:: SOT 12085419 SOS 7744867 HAS SOPS 6491806 HAS SOUS 2431393 HAS SOUPS 2338763 WITH SCORE 2346507.867
AT ITER 1861 NEW BEST:: SOT 12080723 SOS 7740387 HAS SOPS 6486922 HAS SOUS 2430456 HAS SOUPS 2337726 WITH SCORE 2345466.387
AT ITER 1865 NEW BEST:: SOT 12081852 SOS 7750080 HAS SOPS 6495840 HAS SOUS 2428170 HAS SOUPS 2335440 WITH SCORE 2343190.08
AT ITER 1866 NEW BEST:: SOT 12081621 SOS 7749806 HAS SOPS 6495494 HAS SOUS 2427667 HAS SOUPS 2334937 WITH SCORE 2342686.806
AT ITER 1878 NEW BEST:: SOT 12081533 SOS 7749252 HAS SOPS 6494605 HAS SOUS 2427463 HAS SOUPS 2334733 WITH SCORE 2342482.252
AT ITER 1885 NEW BEST:: SOT 12095061 SOS 7773851 HAS SOPS 6518047 HAS SOUS 2425322 HAS SOUPS 2332780 WITH SCORE 2340553.851
AT ITER 1887 NEW BEST:: SOT 12095555 SOS 7775956 HAS SOPS 6519659 HAS SOUS 2424248 HAS SOUPS 2331706 WITH SCORE 2339481.956
AT ITER 1901 NEW BEST:: SOT 12096317 SOS 7778048 HAS SOPS 6522397 HAS SOUS 2423770 HAS SOUPS 2331227 WITH SCORE 2339005.048
AT ITER 1905 NEW BEST:: SOT 12096262 SOS 7778922 HAS SOPS 6522929 HAS SOUS 2422004 HAS SOUPS 2329461 WITH SCORE 2337239.922
AT ITER 1914 NEW BEST:: SOT 12098406 SOS 7780907 HAS SOPS 6523820 HAS SOUS 2416162 HAS SOUPS 2323793 WITH SCORE 2331573.907
AT ITER 1915 NEW BEST:: SOT 12101797 SOS 7796468 HAS SOPS 6535902 HAS SOUS 2410853 HAS SOUPS 2318484 WITH SCORE 2326280.468
AT ITER 1925 NEW BEST:: SOT 12102121 SOS 7797202 HAS SOPS 6538686 HAS SOUS 2408204 HAS SOUPS 2315835 WITH SCORE 2323632.202
AT ITER 1937 NEW BEST:: SOT 12101000 SOS 7796246 HAS SOPS 6536292 HAS SOUS 2406288 HAS SOUPS 2313862 WITH SCORE 2321658.246
AT ITER 1938 NEW BEST:: SOT 12110944 SOS 7806818 HAS SOPS 6542147 HAS SOUS 2402553 HAS SOUPS 2310127 WITH SCORE 2317933.818
AT ITER 1942 NEW BEST:: SOT 12110566 SOS 7804981 HAS SOPS 6540967 HAS SOUS 2402460 HAS SOUPS 2310034 WITH SCORE 2317838.981
AT ITER 1944 NEW BEST:: SOT 12110361 SOS 7804484 HAS SOPS 6540008 HAS SOUS 2401758 HAS SOUPS 2309332 WITH SCORE 2317136.484
AT ITER 1945 NEW BEST:: SOT 12109992 SOS 7804017 HAS SOPS 6539653 HAS SOUS 2401487 HAS SOUPS 2309061 WITH SCORE 2316865.017
AT ITER 1965 NEW BEST:: SOT 12110883 SOS 7804104 HAS SOPS 6541451 HAS SOUS 2400424 HAS SOUPS 2307998 WITH SCORE 2315802.104
AT ITER 1969 NEW BEST:: SOT 12112954 SOS 7805926 HAS SOPS 6543639 HAS SOUS 2396348 HAS SOUPS 2303993 WITH SCORE 2311798.926
AT ITER 1970 NEW BEST:: SOT 12113365 SOS 7804193 HAS SOPS 6546332 HAS SOUS 2396142 HAS SOUPS 2303787 WITH SCORE 2311591.193
AT ITER 1979 NEW BEST:: SOT 12111109 SOS 7808976 HAS SOPS 6554284 HAS SOUS 2386667 HAS SOUPS 2294483 WITH SCORE 2302291.976
AT ITER 1985 NEW BEST:: SOT 12110564 SOS 7808245 HAS SOPS 6553268 HAS SOUS 2385580 HAS SOUPS 2293396 WITH SCORE 2301204.245
AT ITER 1993 NEW BEST:: SOT 12103222 SOS 7800903 HAS SOPS 6545158 HAS SOUS 2374866 HAS SOUPS 2282682 WITH SCORE 2290482.903
AT ITER 2007 NEW BEST:: SOT 12102874 SOS 7800555 HAS SOPS 6544746 HAS SOUS 2374274 HAS SOUPS 2282090 WITH SCORE 2289890.555
AT ITER 2035 NEW BEST:: SOT 12097068 SOS 7784827 HAS SOPS 6529211 HAS SOUS 2370572 HAS SOUPS 2278326 WITH SCORE 2286110.827
AT ITER 2046 NEW BEST:: SOT 12098503 SOS 7787487 HAS SOPS 6532333 HAS SOUS 2369632 HAS SOUPS 2277455 WITH SCORE 2285242.487
AT ITER 2057 NEW BEST:: SOT 12099557 SOS 7784975 HAS SOPS 6523180 HAS SOUS 2368959 HAS SOUPS 2276505 WITH SCORE 2284289.975
AT ITER 2059 NEW BEST:: SOT 12100257 SOS 7785833 HAS SOPS 6524662 HAS SOUS 2366591 HAS SOUPS 2274137 WITH SCORE 2281922.833
AT ITER 2068 NEW BEST:: SOT 12089297 SOS 7774943 HAS SOPS 6514778 HAS SOUS 2357091 HAS SOUPS 2265355 WITH SCORE 2273129.943
AT ITER 2077 NEW BEST:: SOT 12088772 SOS 7773372 HAS SOPS 6513258 HAS SOUS 2356699 HAS SOUPS 2264963 WITH SCORE 2272736.372
AT ITER 2095 NEW BEST:: SOT 12089323 SOS 7775990 HAS SOPS 6514496 HAS SOUS 2355364 HAS SOUPS 2263561 WITH SCORE 2271336.99
AT ITER 2115 NEW BEST:: SOT 12089343 SOS 7776162 HAS SOPS 6514910 HAS SOUS 2353883 HAS SOUPS 2262032 WITH SCORE 2269808.162
AT ITER 2125 NEW BEST:: SOT 12088881 SOS 7779113 HAS SOPS 6515704 HAS SOUS 2352265 HAS SOUPS 2260320 WITH SCORE 2268099.113
AT ITER 2130 NEW BEST:: SOT 12086104 SOS 7774197 HAS SOPS 6509988 HAS SOUS 2349274 HAS SOUPS 2257279 WITH SCORE 2265053.197
AT ITER 2141 NEW BEST:: SOT 12085262 SOS 7773546 HAS SOPS 6509122 HAS SOUS 2346460 HAS SOUPS 2254465 WITH SCORE 2262238.546
AT ITER 2144 NEW BEST:: SOT 12085087 SOS 7772881 HAS SOPS 6507953 HAS SOUS 2346052 HAS SOUPS 2254048 WITH SCORE 2261820.881
AT ITER 2155 NEW BEST:: SOT 12085382 SOS 7773032 HAS SOPS 6507800 HAS SOUS 2345771 HAS SOUPS 2253767 WITH SCORE 2261540.032
AT ITER 2160 NEW BEST:: SOT 12084424 SOS 7772176 HAS SOPS 6506920 HAS SOUS 2345673 HAS SOUPS 2253669 WITH SCORE 2261441.176
AT ITER 2165 NEW BEST:: SOT 12084260 SOS 7772012 HAS SOPS 6506628 HAS SOUS 2344905 HAS SOUPS 2252901 WITH SCORE 2260673.012
AT ITER 2177 NEW BEST:: SOT 12074572 SOS 7762324 HAS SOPS 6496284 HAS SOUS 2332401 HAS SOUPS 2240397 WITH SCORE 2248159.324
AT ITER 2181 NEW BEST:: SOT 12072335 SOS 7759239 HAS SOPS 6492203 HAS SOUS 2328213 HAS SOUPS 2236209 WITH SCORE 2243968.239
AT ITER 2183 NEW BEST:: SOT 12071460 SOS 7757794 HAS SOPS 6490398 HAS SOUS 2326615 HAS SOUPS 2234611 WITH SCORE 2242368.794
AT ITER 2184 NEW BEST:: SOT 12070932 SOS 7758729 HAS SOPS 6491605 HAS SOUS 2324812 HAS SOUPS 2232741 WITH SCORE 2240499.729
AT ITER 2204 NEW BEST:: SOT 12068705 SOS 7756502 HAS SOPS 6489106 HAS SOUS 2322109 HAS SOUPS 2230038 WITH SCORE 2237794.502
AT ITER 2205 NEW BEST:: SOT 12063681 SOS 7750324 HAS SOPS 6485723 HAS SOUS 2316667 HAS SOUPS 2224596 WITH SCORE 2232346.324
AT ITER 2218 NEW BEST:: SOT 12060250 SOS 7744373 HAS SOPS 6479948 HAS SOUS 2311740 HAS SOUPS 2219686 WITH SCORE 2227430.373
AT ITER 2223 NEW BEST:: SOT 12060613 SOS 7749286 HAS SOPS 6484234 HAS SOUS 2309726 HAS SOUPS 2217672 WITH SCORE 2225421.286
AT ITER 2224 NEW BEST:: SOT 12060860 SOS 7750086 HAS SOPS 6484490 HAS SOUS 2309683 HAS SOUPS 2217629 WITH SCORE 2225379.086
AT ITER 2229 NEW BEST:: SOT 12061004 SOS 7750510 HAS SOPS 6485015 HAS SOUS 2305939 HAS SOUPS 2213900 WITH SCORE 2221650.51
AT ITER 2245 NEW BEST:: SOT 12059997 SOS 7749503 HAS SOPS 6483720 HAS SOUS 2303564 HAS SOUPS 2211525 WITH SCORE 2219274.503
AT ITER 2249 NEW BEST:: SOT 12058366 SOS 7754840 HAS SOPS 6492317 HAS SOUS 2296694 HAS SOUPS 2204655 WITH SCORE 2212409.84
AT ITER 2253 NEW BEST:: SOT 12059924 SOS 7756398 HAS SOPS 6493251 HAS SOUS 2296244 HAS SOUPS 2204077 WITH SCORE 2211833.398
AT ITER 2260 NEW BEST:: SOT 12055327 SOS 7750128 HAS SOPS 6486785 HAS SOUS 2293881 HAS SOUPS 2201714 WITH SCORE 2209464.128
AT ITER 2279 NEW BEST:: SOT 12055380 SOS 7750124 HAS SOPS 6486787 HAS SOUS 2293866 HAS SOUPS 2201699 WITH SCORE 2209449.124
AT ITER 2280 NEW BEST:: SOT 12054691 SOS 7748819 HAS SOPS 6485373 HAS SOUS 2292350 HAS SOUPS 2200183 WITH SCORE 2207931.819
AT ITER 2281 NEW BEST:: SOT 12054418 SOS 7748534 HAS SOPS 6484903 HAS SOUS 2291792 HAS SOUPS 2199563 WITH SCORE 2207311.534
AT ITER 2293 NEW BEST:: SOT 12054460 SOS 7748441 HAS SOPS 6484740 HAS SOUS 2291131 HAS SOUPS 2198923 WITH SCORE 2206671.441
AT ITER 2304 NEW BEST:: SOT 12054318 SOS 7749198 HAS SOPS 6482739 HAS SOUS 2288228 HAS SOUPS 2196020 WITH SCORE 2203769.198
AT ITER 2338 NEW BEST:: SOT 12053128 SOS 7747804 HAS SOPS 6481029 HAS SOUS 2285730 HAS SOUPS 2193522 WITH SCORE 2201269.804
AT ITER 2365 NEW BEST:: SOT 12042877 SOS 7730395 HAS SOPS 6470569 HAS SOUS 2276823 HAS SOUPS 2184699 WITH SCORE 2192429.395
AT ITER 2372 NEW BEST:: SOT 12042759 SOS 7730445 HAS SOPS 6470599 HAS SOUS 2276269 HAS SOUPS 2184157 WITH SCORE 2191887.445
AT ITER 2374 NEW BEST:: SOT 12043041 SOS 7734006 HAS SOPS 6471942 HAS SOUS 2274745 HAS SOUPS 2182633 WITH SCORE 2190367.006
AT ITER 2383 NEW BEST:: SOT 12041342 SOS 7730766 HAS SOPS 6468866 HAS SOUS 2272561 HAS SOUPS 2180449 WITH SCORE 2188179.766
AT ITER 2386 NEW BEST:: SOT 12037430 SOS 7718726 HAS SOPS 6460661 HAS SOUS 2271579 HAS SOUPS 2179467 WITH SCORE 2187185.726
AT ITER 2389 NEW BEST:: SOT 12037285 SOS 7719465 HAS SOPS 6460713 HAS SOUS 2270123 HAS SOUPS 2178011 WITH SCORE 2185730.465
AT ITER 2391 NEW BEST:: SOT 12036654 SOS 7718422 HAS SOPS 6459903 HAS SOUS 2268862 HAS SOUPS 2176768 WITH SCORE 2184486.422
AT ITER 2408 NEW BEST:: SOT 12036843 SOS 7719430 HAS SOPS 6461012 HAS SOUS 2267874 HAS SOUPS 2175780 WITH SCORE 2183499.43
AT ITER 2419 NEW BEST:: SOT 12037403 SOS 7720853 HAS SOPS 6462419 HAS SOUS 2267440 HAS SOUPS 2175346 WITH SCORE 2183066.853
AT ITER 2421 NEW BEST:: SOT 12041334 SOS 7723890 HAS SOPS 6466469 HAS SOUS 2264121 HAS SOUPS 2172170 WITH SCORE 2179893.89
AT ITER 2424 NEW BEST:: SOT 12039843 SOS 7720438 HAS SOPS 6462743 HAS SOUS 2263453 HAS SOUPS 2171602 WITH SCORE 2179322.438
AT ITER 2438 NEW BEST:: SOT 12037517 SOS 7718507 HAS SOPS 6457307 HAS SOUS 2251613 HAS SOUPS 2159652 WITH SCORE 2167370.507
AT ITER 2446 NEW BEST:: SOT 12037433 SOS 7717871 HAS SOPS 6456858 HAS SOUS 2251464 HAS SOUPS 2159503 WITH SCORE 2167220.871
AT ITER 2447 NEW BEST:: SOT 12037656 SOS 7718090 HAS SOPS 6457081 HAS SOUS 2250827 HAS SOUPS 2158866 WITH SCORE 2166584.09
AT ITER 2454 NEW BEST:: SOT 12037654 SOS 7717678 HAS SOPS 6457122 HAS SOUS 2250772 HAS SOUPS 2158811 WITH SCORE 2166528.678
AT ITER 2459 NEW BEST:: SOT 12037599 SOS 7718123 HAS SOPS 6457462 HAS SOUS 2250172 HAS SOUPS 2158216 WITH SCORE 2165934.123
AT ITER 2464 NEW BEST:: SOT 12037433 SOS 7718151 HAS SOPS 6457523 HAS SOUS 2250032 HAS SOUPS 2158076 WITH SCORE 2165794.151
AT ITER 2465 NEW BEST:: SOT 12035470 SOS 7712959 HAS SOPS 6452377 HAS SOUS 2247747 HAS SOUPS 2155791 WITH SCORE 2163503.959
AT ITER 2471 NEW BEST:: SOT 12037067 SOS 7714388 HAS SOPS 6454244 HAS SOUS 2247095 HAS SOUPS 2155213 WITH SCORE 2162927.388
AT ITER 2472 NEW BEST:: SOT 12038032 SOS 7716438 HAS SOPS 6456748 HAS SOUS 2246908 HAS SOUPS 2155026 WITH SCORE 2162742.438
AT ITER 2473 NEW BEST:: SOT 12037459 SOS 7714525 HAS SOPS 6454755 HAS SOUS 2246375 HAS SOUPS 2154483 WITH SCORE 2162197.525
AT ITER 2501 NEW BEST:: SOT 12037607 SOS 7714673 HAS SOPS 6454903 HAS SOUS 2245955 HAS SOUPS 2154063 WITH SCORE 2161777.673
AT ITER 2502 NEW BEST:: SOT 12036795 SOS 7713861 HAS SOPS 6453627 HAS SOUS 2243307 HAS SOUPS 2151415 WITH SCORE 2159128.861
AT ITER 2513 NEW BEST:: SOT 12036123 SOS 7713189 HAS SOPS 6452811 HAS SOUS 2241923 HAS SOUPS 2150031 WITH SCORE 2157744.189
AT ITER 2515 NEW BEST:: SOT 12034411 SOS 7711017 HAS SOPS 6450403 HAS SOUS 2235976 HAS SOUPS 2144136 WITH SCORE 2151847.017
AT ITER 2552 NEW BEST:: SOT 12034627 SOS 7711795 HAS SOPS 6450699 HAS SOUS 2235572 HAS SOUPS 2143732 WITH SCORE 2151443.795
AT ITER 2583 NEW BEST:: SOT 12034310 SOS 7711478 HAS SOPS 6450302 HAS SOUS 2234767 HAS SOUPS 2142927 WITH SCORE 2150638.478
AT ITER 2599 NEW BEST:: SOT 12034220 SOS 7711197 HAS SOPS 6448271 HAS SOUS 2234532 HAS SOUPS 2142692 WITH SCORE 2150403.197
AT ITER 2606 NEW BEST:: SOT 12034437 SOS 7709217 HAS SOPS 6447198 HAS SOUS 2232636 HAS SOUPS 2140796 WITH SCORE 2148505.217
AT ITER 2629 NEW BEST:: SOT 12034303 SOS 7709165 HAS SOPS 6447065 HAS SOUS 2232175 HAS SOUPS 2140335 WITH SCORE 2148044.165
AT ITER 2648 NEW BEST:: SOT 12032986 SOS 7703959 HAS SOPS 6444722 HAS SOUS 2230658 HAS SOUPS 2139385 WITH SCORE 2147088.959
AT ITER 2664 NEW BEST:: SOT 12032753 SOS 7703254 HAS SOPS 6444082 HAS SOUS 2230282 HAS SOUPS 2139009 WITH SCORE 2146712.254
AT ITER 2665 NEW BEST:: SOT 12033085 SOS 7703727 HAS SOPS 6444543 HAS SOUS 2230194 HAS SOUPS 2138921 WITH SCORE 2146624.727
AT ITER 2669 NEW BEST:: SOT 12029612 SOS 7698022 HAS SOPS 6438394 HAS SOUS 2224757 HAS SOUPS 2133496 WITH SCORE 2141194.022
AT ITER 2671 NEW BEST:: SOT 12028928 SOS 7696776 HAS SOPS 6437250 HAS SOUS 2224275 HAS SOUPS 2133014 WITH SCORE 2140710.776
AT ITER 2688 NEW BEST:: SOT 12025677 SOS 7687533 HAS SOPS 6430496 HAS SOUS 2223238 HAS SOUPS 2132129 WITH SCORE 2139816.533
AT ITER 2692 NEW BEST:: SOT 12020368 SOS 7677464 HAS SOPS 6420050 HAS SOUS 2218211 HAS SOUPS 2127102 WITH SCORE 2134779.464
AT ITER 2707 NEW BEST:: SOT 12021140 SOS 7681095 HAS SOPS 6422950 HAS SOUS 2213984 HAS SOUPS 2122875 WITH SCORE 2130556.095
AT ITER 2712 NEW BEST:: SOT 12020978 SOS 7681311 HAS SOPS 6423045 HAS SOUS 2213708 HAS SOUPS 2122599 WITH SCORE 2130280.311
AT ITER 2715 NEW BEST:: SOT 12020541 SOS 7681586 HAS SOPS 6421996 HAS SOUS 2212591 HAS SOUPS 2121482 WITH SCORE 2129163.586
AT ITER 2722 NEW BEST:: SOT 12020636 SOS 7682180 HAS SOPS 6422201 HAS SOUS 2212016 HAS SOUPS 2120907 WITH SCORE 2128589.18
AT ITER 2731 NEW BEST:: SOT 12017638 SOS 7663558 HAS SOPS 6404114 HAS SOUS 2211008 HAS SOUPS 2119899 WITH SCORE 2127562.558
AT ITER 2734 NEW BEST:: SOT 12016666 SOS 7659420 HAS SOPS 6400174 HAS SOUS 2208008 HAS SOUPS 2116915 WITH SCORE 2124574.42
AT ITER 2747 NEW BEST:: SOT 12016286 SOS 7659232 HAS SOPS 6399674 HAS SOUS 2207094 HAS SOUPS 2115987 WITH SCORE 2123646.232
AT ITER 2764 NEW BEST:: SOT 12014163 SOS 7652450 HAS SOPS 6395747 HAS SOUS 2201100 HAS SOUPS 2110126 WITH SCORE 2117778.45
AT ITER 2768 NEW BEST:: SOT 12014108 SOS 7652337 HAS SOPS 6395597 HAS SOUS 2201043 HAS SOUPS 2110069 WITH SCORE 2117721.337
AT ITER 2777 NEW BEST:: SOT 12014177 SOS 7652322 HAS SOPS 6395442 HAS SOUS 2200972 HAS SOUPS 2109998 WITH SCORE 2117650.322
AT ITER 2792 NEW BEST:: SOT 12004462 SOS 7642527 HAS SOPS 6383808 HAS SOUS 2190471 HAS SOUPS 2097746 WITH SCORE 2105388.527
AT ITER 2807 NEW BEST:: SOT 12001362 SOS 7636353 HAS SOPS 6377488 HAS SOUS 2186286 HAS SOUPS 2093651 WITH SCORE 2101287.353
AT ITER 2819 NEW BEST:: SOT 12001392 SOS 7636557 HAS SOPS 6377576 HAS SOUS 2186122 HAS SOUPS 2093487 WITH SCORE 2101123.557
AT ITER 2831 NEW BEST:: SOT 11999482 SOS 7634592 HAS SOPS 6376524 HAS SOUS 2180634 HAS SOUPS 2088218 WITH SCORE 2095852.592
AT ITER 2839 NEW BEST:: SOT 11998411 SOS 7631781 HAS SOPS 6374921 HAS SOUS 2180456 HAS SOUPS 2088108 WITH SCORE 2095739.781
AT ITER 2843 NEW BEST:: SOT 11996672 SOS 7627500 HAS SOPS 6374564 HAS SOUS 2174279 HAS SOUPS 2082270 WITH SCORE 2089897.5
AT ITER 2856 NEW BEST:: SOT 11996185 SOS 7626848 HAS SOPS 6373895 HAS SOUS 2172830 HAS SOUPS 2080821 WITH SCORE 2088447.848
AT ITER 2868 NEW BEST:: SOT 11996060 SOS 7626863 HAS SOPS 6373940 HAS SOUS 2170821 HAS SOUPS 2078777 WITH SCORE 2086403.863
AT ITER 2871 NEW BEST:: SOT 11995673 SOS 7625381 HAS SOPS 6372185 HAS SOUS 2165364 HAS SOUPS 2073358 WITH SCORE 2080983.381
AT ITER 2872 NEW BEST:: SOT 11994534 SOS 7623489 HAS SOPS 6369818 HAS SOUS 2162815 HAS SOUPS 2070794 WITH SCORE 2078417.489
AT ITER 2876 NEW BEST:: SOT 11992975 SOS 7620068 HAS SOPS 6366742 HAS SOUS 2160636 HAS SOUPS 2068615 WITH SCORE 2076235.068
AT ITER 2890 NEW BEST:: SOT 11991727 SOS 7615428 HAS SOPS 6363271 HAS SOUS 2158095 HAS SOUPS 2066341 WITH SCORE 2073956.428
AT ITER 2904 NEW BEST:: SOT 11988369 SOS 7607483 HAS SOPS 6356256 HAS SOUS 2156002 HAS SOUPS 2064248 WITH SCORE 2071855.483
AT ITER 2929 NEW BEST:: SOT 11990463 SOS 7610218 HAS SOPS 6361067 HAS SOUS 2155705 HAS SOUPS 2064012 WITH SCORE 2071622.218
AT ITER 2939 NEW BEST:: SOT 11990375 SOS 7610015 HAS SOPS 6360979 HAS SOUS 2155555 HAS SOUPS 2063862 WITH SCORE 2071472.015
AT ITER 2942 NEW BEST:: SOT 11990481 SOS 7612244 HAS SOPS 6363894 HAS SOUS 2155365 HAS SOUPS 2063672 WITH SCORE 2071284.244
AT ITER 2948 NEW BEST:: SOT 11990129 SOS 7611892 HAS SOPS 6363286 HAS SOUS 2155269 HAS SOUPS 2063576 WITH SCORE 2071187.892
AT ITER 2951 NEW BEST:: SOT 11992315 SOS 7615058 HAS SOPS 6366062 HAS SOUS 2152483 HAS SOUPS 2060862 WITH SCORE 2068477.058
AT ITER 2952 NEW BEST:: SOT 11988392 SOS 7605265 HAS SOPS 6356887 HAS SOUS 2150524 HAS SOUPS 2059033 WITH SCORE 2066638.265
AT ITER 2962 NEW BEST:: SOT 11987869 SOS 7604566 HAS SOPS 6356004 HAS SOUS 2150105 HAS SOUPS 2058614 WITH SCORE 2066218.566
AT ITER 2980 NEW BEST:: SOT 11987996 SOS 7605778 HAS SOPS 6357270 HAS SOUS 2149983 HAS SOUPS 2058492 WITH SCORE 2066097.778
AT ITER 2981 NEW BEST:: SOT 11987877 SOS 7605655 HAS SOPS 6357132 HAS SOUS 2149824 HAS SOUPS 2058333 WITH SCORE 2065938.655
AT ITER 2985 NEW BEST:: SOT 11990482 SOS 7608260 HAS SOPS 6358489 HAS SOUS 2146729 HAS SOUPS 2055094 WITH SCORE 2062702.26
AT ITER 3035 NEW BEST:: SOT 11990211 SOS 7608009 HAS SOPS 6357716 HAS SOUS 2146043 HAS SOUPS 2054408 WITH SCORE 2062016.009
AT ITER 3043 NEW BEST:: SOT 11990159 SOS 7607957 HAS SOPS 6357520 HAS SOUS 2145179 HAS SOUPS 2053544 WITH SCORE 2061151.957
AT ITER 3045 NEW BEST:: SOT 11990529 SOS 7608557 HAS SOPS 6358204 HAS SOUS 2144563 HAS SOUPS 2052928 WITH SCORE 2060536.557
AT ITER 3073 NEW BEST:: SOT 11990616 SOS 7608899 HAS SOPS 6358467 HAS SOUS 2144526 HAS SOUPS 2052891 WITH SCORE 2060499.899
AT ITER 3080 NEW BEST:: SOT 11990957 SOS 7603195 HAS SOPS 6351552 HAS SOUS 2141439 HAS SOUPS 2049804 WITH SCORE 2057407.195
AT ITER 3082 NEW BEST:: SOT 11990976 SOS 7603226 HAS SOPS 6351583 HAS SOUS 2141386 HAS SOUPS 2049751 WITH SCORE 2057354.226
AT ITER 3083 NEW BEST:: SOT 11987650 SOS 7599318 HAS SOPS 6349127 HAS SOUS 2137034 HAS SOUPS 2045399 WITH SCORE 2052998.318
AT ITER 3095 NEW BEST:: SOT 11986148 SOS 7595034 HAS SOPS 6345223 HAS SOUS 2135262 HAS SOUPS 2043627 WITH SCORE 2051222.034
AT ITER 3109 NEW BEST:: SOT 11989465 SOS 7598351 HAS SOPS 6347628 HAS SOUS 2133523 HAS SOUPS 2041888 WITH SCORE 2049486.351
AT ITER 3121 NEW BEST:: SOT 11990193 SOS 7596794 HAS SOPS 6350578 HAS SOUS 2132833 HAS SOUPS 2041198 WITH SCORE 2048794.794
AT ITER 3125 NEW BEST:: SOT 11991712 SOS 7598548 HAS SOPS 6353218 HAS SOUS 2132633 HAS SOUPS 2041073 WITH SCORE 2048671.548
AT ITER 3126 NEW BEST:: SOT 11990233 SOS 7597069 HAS SOPS 6352555 HAS SOUS 2131762 HAS SOUPS 2041018 WITH SCORE 2048615.069
AT ITER 3155 NEW BEST:: SOT 11990240 SOS 7597076 HAS SOPS 6352562 HAS SOUS 2131750 HAS SOUPS 2041006 WITH SCORE 2048603.076
AT ITER 3160 NEW BEST:: SOT 11983563 SOS 7577522 HAS SOPS 6335505 HAS SOUS 2128831 HAS SOUPS 2038087 WITH SCORE 2045664.522
AT ITER 3161 NEW BEST:: SOT 11979782 SOS 7572022 HAS SOPS 6327966 HAS SOUS 2123082 HAS SOUPS 2032418 WITH SCORE 2039990.022
AT ITER 3172 NEW BEST:: SOT 11983478 SOS 7579557 HAS SOPS 6336106 HAS SOUS 2115487 HAS SOUPS 2025737 WITH SCORE 2033316.557
AT ITER 3177 NEW BEST:: SOT 11984711 SOS 7582415 HAS SOPS 6337806 HAS SOUS 2114461 HAS SOUPS 2024738 WITH SCORE 2032320.415
AT ITER 3180 NEW BEST:: SOT 11984957 SOS 7583429 HAS SOPS 6339985 HAS SOUS 2114373 HAS SOUPS 2024681 WITH SCORE 2032264.429
AT ITER 3187 NEW BEST:: SOT 11984443 SOS 7582305 HAS SOPS 6338971 HAS SOUS 2113359 HAS SOUPS 2023685 WITH SCORE 2031267.305
AT ITER 3191 NEW BEST:: SOT 11981567 SOS 7579214 HAS SOPS 6335197 HAS SOUS 2109114 HAS SOUPS 2019440 WITH SCORE 2027019.214
AT ITER 3205 NEW BEST:: SOT 11976420 SOS 7574017 HAS SOPS 6329453 HAS SOUS 2103038 HAS SOUPS 2013364 WITH SCORE 2020938.017
AT ITER 3211 NEW BEST:: SOT 11975144 SOS 7570413 HAS SOPS 6325581 HAS SOUS 2101813 HAS SOUPS 2012120 WITH SCORE 2019690.413
AT ITER 3217 NEW BEST:: SOT 11975154 SOS 7570043 HAS SOPS 6325342 HAS SOUS 2101787 HAS SOUPS 2012094 WITH SCORE 2019664.043
AT ITER 3223 NEW BEST:: SOT 11977262 SOS 7571898 HAS SOPS 6325340 HAS SOUS 2097354 HAS SOUPS 2007690 WITH SCORE 2015261.898
AT ITER 3233 NEW BEST:: SOT 11977258 SOS 7571932 HAS SOPS 6325335 HAS SOUS 2097344 HAS SOUPS 2007680 WITH SCORE 2015251.932
AT ITER 3253 NEW BEST:: SOT 11975994 SOS 7570009 HAS SOPS 6322760 HAS SOUS 2096367 HAS SOUPS 2006668 WITH SCORE 2014238.009
AT ITER 3260 NEW BEST:: SOT 11975994 SOS 7569817 HAS SOPS 6322523 HAS SOUS 2096235 HAS SOUPS 2006536 WITH SCORE 2014105.817
AT ITER 3268 NEW BEST:: SOT 11975657 SOS 7569103 HAS SOPS 6321831 HAS SOUS 2095744 HAS SOUPS 2006048 WITH SCORE 2013617.103
AT ITER 3273 NEW BEST:: SOT 11975608 SOS 7569058 HAS SOPS 6321748 HAS SOUS 2095625 HAS SOUPS 2005929 WITH SCORE 2013498.058
AT ITER 3278 NEW BEST:: SOT 11975609 SOS 7569251 HAS SOPS 6321546 HAS SOUS 2094639 HAS SOUPS 2004928 WITH SCORE 2012497.251
AT ITER 3280 NEW BEST:: SOT 11976117 SOS 7568336 HAS SOPS 6321167 HAS SOUS 2093219 HAS SOUPS 2003595 WITH SCORE 2011163.336
AT ITER 3297 NEW BEST:: SOT 11976316 SOS 7569639 HAS SOPS 6321181 HAS SOUS 2092469 HAS SOUPS 2002845 WITH SCORE 2010414.639
AT ITER 3303 NEW BEST:: SOT 11975281 SOS 7568230 HAS SOPS 6319434 HAS SOUS 2089588 HAS SOUPS 1999964 WITH SCORE 2007532.23
AT ITER 3310 NEW BEST:: SOT 11974730 SOS 7567670 HAS SOPS 6318595 HAS SOUS 2089028 HAS SOUPS 1999125 WITH SCORE 2006692.67
AT ITER 3329 NEW BEST:: SOT 11974152 SOS 7567131 HAS SOPS 6317872 HAS SOUS 2087733 HAS SOUPS 1997818 WITH SCORE 2005385.131
AT ITER 3330 NEW BEST:: SOT 11973613 SOS 7566840 HAS SOPS 6317227 HAS SOUS 2085786 HAS SOUPS 1995871 WITH SCORE 2003437.84
AT ITER 3333 NEW BEST:: SOT 11974082 SOS 7568931 HAS SOPS 6318255 HAS SOUS 2084836 HAS SOUPS 1994921 WITH SCORE 2002489.931
AT ITER 3334 NEW BEST:: SOT 11973453 SOS 7564485 HAS SOPS 6310051 HAS SOUS 2080902 HAS SOUPS 1990873 WITH SCORE 1998437.485
AT ITER 3336 NEW BEST:: SOT 11973671 SOS 7565248 HAS SOPS 6311458 HAS SOUS 2080765 HAS SOUPS 1990736 WITH SCORE 1998301.248
AT ITER 3341 NEW BEST:: SOT 11974844 SOS 7565333 HAS SOPS 6311938 HAS SOUS 2080746 HAS SOUPS 1990717 WITH SCORE 1998282.333
AT ITER 3359 NEW BEST:: SOT 11976464 SOS 7568951 HAS SOPS 6314948 HAS SOUS 2077349 HAS SOUPS 1987386 WITH SCORE 1994954.951
AT ITER 3361 NEW BEST:: SOT 11971310 SOS 7559996 HAS SOPS 6308032 HAS SOUS 2075636 HAS SOUPS 1985673 WITH SCORE 1993232.996
AT ITER 3373 NEW BEST:: SOT 11971547 SOS 7560090 HAS SOPS 6308314 HAS SOUS 2075584 HAS SOUPS 1985633 WITH SCORE 1993193.09
AT ITER 3379 NEW BEST:: SOT 11968587 SOS 7555864 HAS SOPS 6302028 HAS SOUS 2072463 HAS SOUPS 1982359 WITH SCORE 1989914.864
AT ITER 3394 NEW BEST:: SOT 11968575 SOS 7555762 HAS SOPS 6301850 HAS SOUS 2072181 HAS SOUPS 1982073 WITH SCORE 1989628.762
AT ITER 3408 NEW BEST:: SOT 11963374 SOS 7548377 HAS SOPS 6293091 HAS SOUS 2060939 HAS SOUPS 1970878 WITH SCORE 1978426.377
AT ITER 3430 NEW BEST:: SOT 11964356 SOS 7550999 HAS SOPS 6295502 HAS SOUS 2060500 HAS SOUPS 1970439 WITH SCORE 1977989.999
AT ITER 3437 NEW BEST:: SOT 11961218 SOS 7536651 HAS SOPS 6285915 HAS SOUS 2058573 HAS SOUPS 1968512 WITH SCORE 1976048.651
AT ITER 3446 NEW BEST:: SOT 11959882 SOS 7534821 HAS SOPS 6281860 HAS SOUS 2054987 HAS SOUPS 1964926 WITH SCORE 1972460.821
AT ITER 3468 NEW BEST:: SOT 11959266 SOS 7533637 HAS SOPS 6280056 HAS SOUS 2052185 HAS SOUPS 1962151 WITH SCORE 1969684.637
AT ITER 3469 NEW BEST:: SOT 11959049 SOS 7534528 HAS SOPS 6280114 HAS SOUS 2051708 HAS SOUPS 1961674 WITH SCORE 1969208.528
AT ITER 3471 NEW BEST:: SOT 11954172 SOS 7518864 HAS SOPS 6265187 HAS SOUS 2049260 HAS SOUPS 1959226 WITH SCORE 1966744.864
AT ITER 3487 NEW BEST:: SOT 11954606 SOS 7516093 HAS SOPS 6267717 HAS SOUS 2048691 HAS SOUPS 1958657 WITH SCORE 1966173.093
AT ITER 3501 NEW BEST:: SOT 11955797 SOS 7516659 HAS SOPS 6265611 HAS SOUS 2038719 HAS SOUPS 1948557 WITH SCORE 1956073.659
AT ITER 3502 NEW BEST:: SOT 11954553 SOS 7515252 HAS SOPS 6261438 HAS SOUS 2033894 HAS SOUPS 1943732 WITH SCORE 1951247.252
AT ITER 3510 NEW BEST:: SOT 11953914 SOS 7514409 HAS SOPS 6259906 HAS SOUS 2032413 HAS SOUPS 1942251 WITH SCORE 1949765.409
AT ITER 3511 NEW BEST:: SOT 11953170 SOS 7512865 HAS SOPS 6258238 HAS SOUS 2031239 HAS SOUPS 1941077 WITH SCORE 1948589.865
AT ITER 3522 NEW BEST:: SOT 11952984 SOS 7512687 HAS SOPS 6258058 HAS SOUS 2030914 HAS SOUPS 1940750 WITH SCORE 1948262.687
AT ITER 3523 NEW BEST:: SOT 11953105 SOS 7512899 HAS SOPS 6258009 HAS SOUS 2024199 HAS SOUPS 1934035 WITH SCORE 1941547.899
AT ITER 3542 NEW BEST:: SOT 11953073 SOS 7513003 HAS SOPS 6258322 HAS SOUS 2024083 HAS SOUPS 1933919 WITH SCORE 1941432.003
AT ITER 3546 NEW BEST:: SOT 11952579 SOS 7514921 HAS SOPS 6260382 HAS SOUS 2023279 HAS SOUPS 1933113 WITH SCORE 1940627.921
AT ITER 3554 NEW BEST:: SOT 11952054 SOS 7514417 HAS SOPS 6259606 HAS SOUS 2021627 HAS SOUPS 1931461 WITH SCORE 1938975.417
AT ITER 3566 NEW BEST:: SOT 11951211 SOS 7513962 HAS SOPS 6259149 HAS SOUS 2021261 HAS SOUPS 1931095 WITH SCORE 1938608.962
AT ITER 3581 NEW BEST:: SOT 11950645 SOS 7509401 HAS SOPS 6254360 HAS SOUS 2019247 HAS SOUPS 1929081 WITH SCORE 1936590.401
AT ITER 3600 NEW BEST:: SOT 11939734 SOS 7497407 HAS SOPS 6241590 HAS SOUS 2006565 HAS SOUPS 1916467 WITH SCORE 1923964.407
AT ITER 3607 NEW BEST:: SOT 11939551 SOS 7496681 HAS SOPS 6240254 HAS SOUS 2006278 HAS SOUPS 1916180 WITH SCORE 1923676.681
AT ITER 3611 NEW BEST:: SOT 11936702 SOS 7501434 HAS SOPS 6249628 HAS SOUS 2003285 HAS SOUPS 1913973 WITH SCORE 1921474.434
AT ITER 3612 NEW BEST:: SOT 11937808 SOS 7502486 HAS SOPS 6250085 HAS SOUS 2002055 HAS SOUPS 1912713 WITH SCORE 1920215.486
AT ITER 3614 NEW BEST:: SOT 11937137 SOS 7501815 HAS SOPS 6249334 HAS SOUS 2001928 HAS SOUPS 1912586 WITH SCORE 1920087.815
AT ITER 3634 NEW BEST:: SOT 11936544 SOS 7500466 HAS SOPS 6248756 HAS SOUS 2000331 HAS SOUPS 1911410 WITH SCORE 1918910.466
AT ITER 3641 NEW BEST:: SOT 11937080 SOS 7500430 HAS SOPS 6248742 HAS SOUS 1999948 HAS SOUPS 1911048 WITH SCORE 1918548.43
AT ITER 3656 NEW BEST:: SOT 11932292 SOS 7495080 HAS SOPS 6242820 HAS SOUS 1996178 HAS SOUPS 1907278 WITH SCORE 1914773.08
AT ITER 3661 NEW BEST:: SOT 11931401 SOS 7494139 HAS SOPS 6241009 HAS SOUS 1994372 HAS SOUPS 1905472 WITH SCORE 1912966.139
AT ITER 3670 NEW BEST:: SOT 11931385 SOS 7494384 HAS SOPS 6241244 HAS SOUS 1993935 HAS SOUPS 1905035 WITH SCORE 1912529.384
AT ITER 3676 NEW BEST:: SOT 11929342 SOS 7492341 HAS SOPS 6239201 HAS SOUS 1992080 HAS SOUPS 1903180 WITH SCORE 1910672.341
AT ITER 3700 NEW BEST:: SOT 11929183 SOS 7492023 HAS SOPS 6238944 HAS SOUS 1991935 HAS SOUPS 1903042 WITH SCORE 1910534.023
AT ITER 3719 NEW BEST:: SOT 11925143 SOS 7485927 HAS SOPS 6231456 HAS SOUS 1984167 HAS SOUPS 1895324 WITH SCORE 1902809.927
AT ITER 3722 NEW BEST:: SOT 11923092 SOS 7483880 HAS SOPS 6228578 HAS SOUS 1980346 HAS SOUPS 1891591 WITH SCORE 1899074.88
AT ITER 3738 NEW BEST:: SOT 11923241 SOS 7485855 HAS SOPS 6228520 HAS SOUS 1980400 HAS SOUPS 1891428 WITH SCORE 1898913.855
AT ITER 3774 NEW BEST:: SOT 11915098 SOS 7476610 HAS SOPS 6219089 HAS SOUS 1971714 HAS SOUPS 1882742 WITH SCORE 1890218.61
AT ITER 3776 NEW BEST:: SOT 11914789 SOS 7475194 HAS SOPS 6217328 HAS SOUS 1970683 HAS SOUPS 1881711 WITH SCORE 1889186.194
AT ITER 3789 NEW BEST:: SOT 11911225 SOS 7470962 HAS SOPS 6213776 HAS SOUS 1968851 HAS SOUPS 1879924 WITH SCORE 1887394.962
AT ITER 3793 NEW BEST:: SOT 11911186 SOS 7470988 HAS SOPS 6213711 HAS SOUS 1968747 HAS SOUPS 1879820 WITH SCORE 1887290.988
AT ITER 3803 NEW BEST:: SOT 11904941 SOS 7456443 HAS SOPS 6202249 HAS SOUS 1962891 HAS SOUPS 1873964 WITH SCORE 1881420.443
AT ITER 3809 NEW BEST:: SOT 11901315 SOS 7452758 HAS SOPS 6196988 HAS SOUS 1957382 HAS SOUPS 1868783 WITH SCORE 1876235.758
AT ITER 3819 NEW BEST:: SOT 11901298 SOS 7452666 HAS SOPS 6196908 HAS SOUS 1957359 HAS SOUPS 1868763 WITH SCORE 1876215.666
AT ITER 3821 NEW BEST:: SOT 11899631 SOS 7446347 HAS SOPS 6191771 HAS SOUS 1956804 HAS SOUPS 1868264 WITH SCORE 1875710.347
AT ITER 3827 NEW BEST:: SOT 11898525 SOS 7453474 HAS SOPS 6194913 HAS SOUS 1953299 HAS SOUPS 1864759 WITH SCORE 1872212.474
AT ITER 3833 NEW BEST:: SOT 11898665 SOS 7453632 HAS SOPS 6195433 HAS SOUS 1953125 HAS SOUPS 1864585 WITH SCORE 1872038.632
AT ITER 3841 NEW BEST:: SOT 11896263 SOS 7448085 HAS SOPS 6192318 HAS SOUS 1951577 HAS SOUPS 1863102 WITH SCORE 1870550.085
AT ITER 3845 NEW BEST:: SOT 11896293 SOS 7448109 HAS SOPS 6192348 HAS SOUS 1951543 HAS SOUPS 1863070 WITH SCORE 1870518.109
AT ITER 3848 NEW BEST:: SOT 11896396 SOS 7449840 HAS SOPS 6193466 HAS SOUS 1950969 HAS SOUPS 1862496 WITH SCORE 1869945.84
AT ITER 3856 NEW BEST:: SOT 11897295 SOS 7452588 HAS SOPS 6193900 HAS SOUS 1950136 HAS SOUPS 1861643 WITH SCORE 1869095.588
AT ITER 3870 NEW BEST:: SOT 11896210 SOS 7453899 HAS SOPS 6197176 HAS SOUS 1938499 HAS SOUPS 1849941 WITH SCORE 1857394.899
AT ITER 3903 NEW BEST:: SOT 11896539 SOS 7455818 HAS SOPS 6198552 HAS SOUS 1938319 HAS SOUPS 1849761 WITH SCORE 1857216.818
AT ITER 3917 NEW BEST:: SOT 11893747 SOS 7453043 HAS SOPS 6195768 HAS SOUS 1931224 HAS SOUPS 1842701 WITH SCORE 1850154.043
AT ITER 3918 NEW BEST:: SOT 11892539 SOS 7448132 HAS SOPS 6191718 HAS SOUS 1930070 HAS SOUPS 1841584 WITH SCORE 1849032.132
AT ITER 3922 NEW BEST:: SOT 11892316 SOS 7448751 HAS SOPS 6191355 HAS SOUS 1927571 HAS SOUPS 1839085 WITH SCORE 1846533.751
AT ITER 3932 NEW BEST:: SOT 11892650 SOS 7447850 HAS SOPS 6190371 HAS SOUS 1926126 HAS SOUPS 1837679 WITH SCORE 1845126.85
AT ITER 3942 NEW BEST:: SOT 11886600 SOS 7423229 HAS SOPS 6181141 HAS SOUS 1923991 HAS SOUPS 1835755 WITH SCORE 1843178.229
AT ITER 3943 NEW BEST:: SOT 11884717 SOS 7423511 HAS SOPS 6179398 HAS SOUS 1921829 HAS SOUPS 1833547 WITH SCORE 1840970.511
AT ITER 3970 NEW BEST:: SOT 11883897 SOS 7422925 HAS SOPS 6178547 HAS SOUS 1917869 HAS SOUPS 1829587 WITH SCORE 1837009.925
AT ITER 3977 NEW BEST:: SOT 11882590 SOS 7419794 HAS SOPS 6176081 HAS SOUS 1915973 HAS SOUPS 1827721 WITH SCORE 1835140.794
AT ITER 4025 NEW BEST:: SOT 11882595 SOS 7420348 HAS SOPS 6176096 HAS SOUS 1914682 HAS SOUPS 1826429 WITH SCORE 1833849.348
AT ITER 4031 NEW BEST:: SOT 11879967 SOS 7417802 HAS SOPS 6171620 HAS SOUS 1908825 HAS SOUPS 1820520 WITH SCORE 1827937.802
AT ITER 4041 NEW BEST:: SOT 11881928 SOS 7420663 HAS SOPS 6173566 HAS SOUS 1907530 HAS SOUPS 1819225 WITH SCORE 1826645.663
AT ITER 4051 NEW BEST:: SOT 11881574 SOS 7420079 HAS SOPS 6172932 HAS SOUS 1906576 HAS SOUPS 1818281 WITH SCORE 1825701.079
AT ITER 4067 NEW BEST:: SOT 11881537 SOS 7420871 HAS SOPS 6173836 HAS SOUS 1906501 HAS SOUPS 1818206 WITH SCORE 1825626.871
AT ITER 4075 NEW BEST:: SOT 11881027 SOS 7420361 HAS SOPS 6172990 HAS SOUS 1904587 HAS SOUPS 1816292 WITH SCORE 1823712.361
AT ITER 4088 NEW BEST:: SOT 11876750 SOS 7416448 HAS SOPS 6168947 HAS SOUS 1894764 HAS SOUPS 1806451 WITH SCORE 1813867.448
AT ITER 4095 NEW BEST:: SOT 11876710 SOS 7420896 HAS SOPS 6173171 HAS SOUS 1893583 HAS SOUPS 1805270 WITH SCORE 1812690.896
AT ITER 4096 NEW BEST:: SOT 11876597 SOS 7420783 HAS SOPS 6173074 HAS SOUS 1893334 HAS SOUPS 1805021 WITH SCORE 1812441.783
AT ITER 4099 NEW BEST:: SOT 11875925 SOS 7420091 HAS SOPS 6172546 HAS SOUS 1892930 HAS SOUPS 1804657 WITH SCORE 1812077.091
AT ITER 4117 NEW BEST:: SOT 11875467 SOS 7419562 HAS SOPS 6172126 HAS SOUS 1892547 HAS SOUPS 1804272 WITH SCORE 1811691.562
AT ITER 4119 NEW BEST:: SOT 11875391 SOS 7419779 HAS SOPS 6172386 HAS SOUS 1892242 HAS SOUPS 1803960 WITH SCORE 1811379.779
AT ITER 4127 NEW BEST:: SOT 11875266 SOS 7421470 HAS SOPS 6176561 HAS SOUS 1891709 HAS SOUPS 1803428 WITH SCORE 1810849.47
AT ITER 4132 NEW BEST:: SOT 11875249 SOS 7421383 HAS SOPS 6176549 HAS SOUS 1891682 HAS SOUPS 1803401 WITH SCORE 1810822.383
AT ITER 4144 NEW BEST:: SOT 11867712 SOS 7414248 HAS SOPS 6175007 HAS SOUS 1890879 HAS SOUPS 1802598 WITH SCORE 1810012.248
AT ITER 4203 NEW BEST:: SOT 11867419 SOS 7414880 HAS SOPS 6175244 HAS SOUS 1889739 HAS SOUPS 1801458 WITH SCORE 1808872.88
AT ITER 4211 NEW BEST:: SOT 11866774 SOS 7413451 HAS SOPS 6169917 HAS SOUS 1884729 HAS SOUPS 1796448 WITH SCORE 1803861.451
AT ITER 4214 NEW BEST:: SOT 11866739 SOS 7413270 HAS SOPS 6169721 HAS SOUS 1884525 HAS SOUPS 1796250 WITH SCORE 1803663.27
AT ITER 4222 NEW BEST:: SOT 11867063 SOS 7414046 HAS SOPS 6170570 HAS SOUS 1884226 HAS SOUPS 1795963 WITH SCORE 1803377.046
AT ITER 4225 NEW BEST:: SOT 11863622 SOS 7410571 HAS SOPS 6167095 HAS SOUS 1879663 HAS SOUPS 1791400 WITH SCORE 1798810.571
AT ITER 4236 NEW BEST:: SOT 11864346 SOS 7411247 HAS SOPS 6169051 HAS SOUS 1877947 HAS SOUPS 1789684 WITH SCORE 1797095.247
AT ITER 4237 NEW BEST:: SOT 11863634 SOS 7410694 HAS SOPS 6168047 HAS SOUS 1876498 HAS SOUPS 1788235 WITH SCORE 1795645.694
AT ITER 4242 NEW BEST:: SOT 11862649 SOS 7409691 HAS SOPS 6167044 HAS SOUS 1875495 HAS SOUPS 1787232 WITH SCORE 1794641.691
AT ITER 4299 NEW BEST:: SOT 11863038 SOS 7410119 HAS SOPS 6167382 HAS SOUS 1875462 HAS SOUPS 1787217 WITH SCORE 1794627.119
AT ITER 4306 NEW BEST:: SOT 11863613 SOS 7410889 HAS SOPS 6165722 HAS SOUS 1872316 HAS SOUPS 1784009 WITH SCORE 1791419.889
AT ITER 4326 NEW BEST:: SOT 11864425 SOS 7416262 HAS SOPS 6170108 HAS SOUS 1871632 HAS SOUPS 1783325 WITH SCORE 1790741.262
AT ITER 4344 NEW BEST:: SOT 11864417 SOS 7412181 HAS SOPS 6167921 HAS SOUS 1871044 HAS SOUPS 1782737 WITH SCORE 1790149.181
AT ITER 4346 NEW BEST:: SOT 11862240 SOS 7408251 HAS SOPS 6164981 HAS SOUS 1866176 HAS SOUPS 1777869 WITH SCORE 1785277.251
AT ITER 4349 NEW BEST:: SOT 11862232 SOS 7408143 HAS SOPS 6164769 HAS SOUS 1866163 HAS SOUPS 1777856 WITH SCORE 1785264.143
AT ITER 4362 NEW BEST:: SOT 11861312 SOS 7407155 HAS SOPS 6163815 HAS SOUS 1864695 HAS SOUPS 1776407 WITH SCORE 1783814.155
AT ITER 4366 NEW BEST:: SOT 11858305 SOS 7404626 HAS SOPS 6159440 HAS SOUS 1851186 HAS SOUPS 1762983 WITH SCORE 1770387.626
AT ITER 4422 NEW BEST:: SOT 11851544 SOS 7397629 HAS SOPS 6152172 HAS SOUS 1839182 HAS SOUPS 1750936 WITH SCORE 1758333.629
AT ITER 4433 NEW BEST:: SOT 11852814 SOS 7405490 HAS SOPS 6160553 HAS SOUS 1837621 HAS SOUPS 1749469 WITH SCORE 1756874.49
AT ITER 4436 NEW BEST:: SOT 11852472 SOS 7404849 HAS SOPS 6160140 HAS SOUS 1836204 HAS SOUPS 1748052 WITH SCORE 1755456.849
AT ITER 4469 NEW BEST:: SOT 11852259 SOS 7404636 HAS SOPS 6159847 HAS SOUS 1835759 HAS SOUPS 1747607 WITH SCORE 1755011.636
AT ITER 4478 NEW BEST:: SOT 11852776 SOS 7404783 HAS SOPS 6160467 HAS SOUS 1834486 HAS SOUPS 1747192 WITH SCORE 1754596.783
AT ITER 4492 NEW BEST:: SOT 11852670 SOS 7404676 HAS SOPS 6160272 HAS SOUS 1833212 HAS SOUPS 1745962 WITH SCORE 1753366.676
AT ITER 4494 NEW BEST:: SOT 11846678 SOS 7395973 HAS SOPS 6151778 HAS SOUS 1822646 HAS SOUPS 1735443 WITH SCORE 1742838.973
AT ITER 4497 NEW BEST:: SOT 11846846 SOS 7395954 HAS SOPS 6151282 HAS SOUS 1821885 HAS SOUPS 1734682 WITH SCORE 1742077.954
AT ITER 4516 NEW BEST:: SOT 11849000 SOS 7408900 HAS SOPS 6159916 HAS SOUS 1813482 HAS SOUPS 1726237 WITH SCORE 1733645.9
AT ITER 4527 NEW BEST:: SOT 11847258 SOS 7401392 HAS SOPS 6150691 HAS SOUS 1803402 HAS SOUPS 1716650 WITH SCORE 1724051.392
AT ITER 4533 NEW BEST:: SOT 11846567 SOS 7400645 HAS SOPS 6149472 HAS SOUS 1801555 HAS SOUPS 1714803 WITH SCORE 1722203.645
AT ITER 4550 NEW BEST:: SOT 11847368 SOS 7401133 HAS SOPS 6152077 HAS SOUS 1797241 HAS SOUPS 1710618 WITH SCORE 1718019.133
AT ITER 4557 NEW BEST:: SOT 11847333 SOS 7401098 HAS SOPS 6152042 HAS SOUS 1797206 HAS SOUPS 1710583 WITH SCORE 1717984.098
AT ITER 4567 NEW BEST:: SOT 11846681 SOS 7399714 HAS SOPS 6150546 HAS SOUS 1796929 HAS SOUPS 1710306 WITH SCORE 1717705.714
AT ITER 4597 NEW BEST:: SOT 11853249 SOS 7409124 HAS SOPS 6159570 HAS SOUS 1795407 HAS SOUPS 1709016 WITH SCORE 1716425.124
AT ITER 4634 NEW BEST:: SOT 11853037 SOS 7408945 HAS SOPS 6159304 HAS SOUS 1795006 HAS SOUPS 1708612 WITH SCORE 1716020.945
AT ITER 4635 NEW BEST:: SOT 11854639 SOS 7410451 HAS SOPS 6162752 HAS SOUS 1790132 HAS SOUPS 1704492 WITH SCORE 1711902.451
AT ITER 4637 NEW BEST:: SOT 11855100 SOS 7412922 HAS SOPS 6165040 HAS SOUS 1789582 HAS SOUPS 1703942 WITH SCORE 1711354.922
AT ITER 4671 NEW BEST:: SOT 11854987 SOS 7412814 HAS SOPS 6164867 HAS SOUS 1789254 HAS SOUPS 1703614 WITH SCORE 1711026.814
AT ITER 4701 NEW BEST:: SOT 11853201 SOS 7411225 HAS SOPS 6162990 HAS SOUS 1787489 HAS SOUPS 1701751 WITH SCORE 1709162.225
AT ITER 4712 NEW BEST:: SOT 11852128 SOS 7411227 HAS SOPS 6162992 HAS SOUS 1784184 HAS SOUPS 1698446 WITH SCORE 1705857.227
AT ITER 4739 NEW BEST:: SOT 11852174 SOS 7410440 HAS SOPS 6162384 HAS SOUS 1783302 HAS SOUPS 1697592 WITH SCORE 1705002.44
AT ITER 4771 NEW BEST:: SOT 11850146 SOS 7408716 HAS SOPS 6160356 HAS SOUS 1781023 HAS SOUPS 1695313 WITH SCORE 1702721.716
AT ITER 4787 NEW BEST:: SOT 11850087 SOS 7409277 HAS SOPS 6160542 HAS SOUS 1779759 HAS SOUPS 1693958 WITH SCORE 1701367.277
AT ITER 4836 NEW BEST:: SOT 11849878 SOS 7408900 HAS SOPS 6160141 HAS SOUS 1779510 HAS SOUPS 1693713 WITH SCORE 1701121.9
AT ITER 4846 NEW BEST:: SOT 11849389 SOS 7407331 HAS SOPS 6158305 HAS SOUS 1778045 HAS SOUPS 1692278 WITH SCORE 1699685.331
AT ITER 4850 NEW BEST:: SOT 11849470 SOS 7406771 HAS SOPS 6157870 HAS SOUS 1778017 HAS SOUPS 1692250 WITH SCORE 1699656.771
AT ITER 4855 NEW BEST:: SOT 11849932 SOS 7407232 HAS SOPS 6158932 HAS SOUS 1777094 HAS SOUPS 1691378 WITH SCORE 1698785.232
AT ITER 4856 NEW BEST:: SOT 11849613 SOS 7410126 HAS SOPS 6161105 HAS SOUS 1776834 HAS SOUPS 1691118 WITH SCORE 1698528.126
AT ITER 4857 NEW BEST:: SOT 11850461 SOS 7411115 HAS SOPS 6162338 HAS SOUS 1775892 HAS SOUPS 1690368 WITH SCORE 1697779.115
AT ITER 4865 NEW BEST:: SOT 11846749 SOS 7405580 HAS SOPS 6157335 HAS SOUS 1771483 HAS SOUPS 1685989 WITH SCORE 1693394.58
AT ITER 4866 NEW BEST:: SOT 11846216 SOS 7405379 HAS SOPS 6157098 HAS SOUS 1770999 HAS SOUPS 1685505 WITH SCORE 1692910.379
AT ITER 4878 NEW BEST:: SOT 11846154 SOS 7405477 HAS SOPS 6155899 HAS SOUS 1769360 HAS SOUPS 1683870 WITH SCORE 1691275.477
AT ITER 4885 NEW BEST:: SOT 11835429 SOS 7395288 HAS SOPS 6142824 HAS SOUS 1757978 HAS SOUPS 1671816 WITH SCORE 1679211.288
AT ITER 4886 NEW BEST:: SOT 11833816 SOS 7393713 HAS SOPS 6140940 HAS SOUS 1754089 HAS SOUPS 1667981 WITH SCORE 1675374.713
AT ITER 4891 NEW BEST:: SOT 11830578 SOS 7389402 HAS SOPS 6136634 HAS SOUS 1748862 HAS SOUPS 1662759 WITH SCORE 1670148.402
AT ITER 4901 NEW BEST:: SOT 11829797 SOS 7388510 HAS SOPS 6135554 HAS SOUS 1747625 HAS SOUPS 1661468 WITH SCORE 1668856.51
AT ITER 4925 NEW BEST:: SOT 11828696 SOS 7388388 HAS SOPS 6137676 HAS SOUS 1746987 HAS SOUPS 1660898 WITH SCORE 1668286.388
AT ITER 4939 NEW BEST:: SOT 11829221 SOS 7390574 HAS SOPS 6138182 HAS SOUS 1745776 HAS SOUPS 1659657 WITH SCORE 1667047.574
AT ITER 4946 NEW BEST:: SOT 11831471 SOS 7396641 HAS SOPS 6147283 HAS SOUS 1745155 HAS SOUPS 1659036 WITH SCORE 1666432.641
AT ITER 4960 NEW BEST:: SOT 11826751 SOS 7391500 HAS SOPS 6142142 HAS SOUS 1741678 HAS SOUPS 1655559 WITH SCORE 1662950.5
AT ITER 4992 NEW BEST:: SOT 11826101 SOS 7390850 HAS SOPS 6141492 HAS SOUS 1741220 HAS SOUPS 1655101 WITH SCORE 1662491.85
AT ITER 5002 NEW BEST:: SOT 11825639 SOS 7390285 HAS SOPS 6141002 HAS SOUS 1740903 HAS SOUPS 1654784 WITH SCORE 1662174.285
AT ITER 5004 NEW BEST:: SOT 11825108 SOS 7389781 HAS SOPS 6141528 HAS SOUS 1740756 HAS SOUPS 1654637 WITH SCORE 1662026.781
AT ITER 5017 NEW BEST:: SOT 11824485 SOS 7389289 HAS SOPS 6140585 HAS SOUS 1739364 HAS SOUPS 1653245 WITH SCORE 1660634.289
AT ITER 5020 NEW BEST:: SOT 11824509 SOS 7389313 HAS SOPS 6140609 HAS SOUS 1739356 HAS SOUPS 1653237 WITH SCORE 1660626.313
AT ITER 5029 NEW BEST:: SOT 11823914 SOS 7387616 HAS SOPS 6138998 HAS SOUS 1738469 HAS SOUPS 1652350 WITH SCORE 1659737.616
AT ITER 5048 NEW BEST:: SOT 11832254 SOS 7405729 HAS SOPS 6154204 HAS SOUS 1737400 HAS SOUPS 1651418 WITH SCORE 1658823.729
AT ITER 5053 NEW BEST:: SOT 11833714 SOS 7407865 HAS SOPS 6157116 HAS SOUS 1736647 HAS SOUPS 1650607 WITH SCORE 1658014.865
AT ITER 5067 NEW BEST:: SOT 11833720 SOS 7407797 HAS SOPS 6157008 HAS SOUS 1736633 HAS SOUPS 1650593 WITH SCORE 1658000.797
AT ITER 5074 NEW BEST:: SOT 11833844 SOS 7408064 HAS SOPS 6157057 HAS SOUS 1736226 HAS SOUPS 1650186 WITH SCORE 1657594.064
AT ITER 5078 NEW BEST:: SOT 11841773 SOS 7420326 HAS SOPS 6169276 HAS SOUS 1736174 HAS SOUPS 1650134 WITH SCORE 1657554.326
AT ITER 5085 NEW BEST:: SOT 11838049 SOS 7415039 HAS SOPS 6163836 HAS SOUS 1735207 HAS SOUPS 1649116 WITH SCORE 1656531.039
AT ITER 5104 NEW BEST:: SOT 11839327 SOS 7415596 HAS SOPS 6163433 HAS SOUS 1734629 HAS SOUPS 1648995 WITH SCORE 1656410.596
AT ITER 5113 NEW BEST:: SOT 11839081 SOS 7415350 HAS SOPS 6162899 HAS SOUS 1732947 HAS SOUPS 1647313 WITH SCORE 1654728.35
AT ITER 5125 NEW BEST:: SOT 11839065 SOS 7415846 HAS SOPS 6163475 HAS SOUS 1732851 HAS SOUPS 1647217 WITH SCORE 1654632.846
AT ITER 5127 NEW BEST:: SOT 11838665 SOS 7415462 HAS SOPS 6162975 HAS SOUS 1732508 HAS SOUPS 1646865 WITH SCORE 1654280.462
AT ITER 5139 NEW BEST:: SOT 11839180 SOS 7415977 HAS SOPS 6163154 HAS SOUS 1732055 HAS SOUPS 1646220 WITH SCORE 1653635.977
AT ITER 5172 NEW BEST:: SOT 11835875 SOS 7410875 HAS SOPS 6158653 HAS SOUS 1727202 HAS SOUPS 1641367 WITH SCORE 1648777.875
AT ITER 5191 NEW BEST:: SOT 11835961 SOS 7413141 HAS SOPS 6159242 HAS SOUS 1724334 HAS SOUPS 1638499 WITH SCORE 1645912.141
AT ITER 5226 NEW BEST:: SOT 11842672 SOS 7424549 HAS SOPS 6171040 HAS SOUS 1720339 HAS SOUPS 1634504 WITH SCORE 1641928.549
AT ITER 5238 NEW BEST:: SOT 11842253 SOS 7424409 HAS SOPS 6170065 HAS SOUS 1720170 HAS SOUPS 1634312 WITH SCORE 1641736.409
AT ITER 5256 NEW BEST:: SOT 11845929 SOS 7431686 HAS SOPS 6171109 HAS SOUS 1717221 HAS SOUPS 1631358 WITH SCORE 1638789.686
AT ITER 5260 NEW BEST:: SOT 11846595 SOS 7430341 HAS SOPS 6173301 HAS SOUS 1713319 HAS SOUPS 1627548 WITH SCORE 1634978.341
AT ITER 5269 NEW BEST:: SOT 11846432 SOS 7430593 HAS SOPS 6173508 HAS SOUS 1712853 HAS SOUPS 1627082 WITH SCORE 1634512.593
AT ITER 5271 NEW BEST:: SOT 11846649 SOS 7430943 HAS SOPS 6174211 HAS SOUS 1712653 HAS SOUPS 1626882 WITH SCORE 1634312.943
AT ITER 5281 NEW BEST:: SOT 11846618 SOS 7430974 HAS SOPS 6174082 HAS SOUS 1712151 HAS SOUPS 1626380 WITH SCORE 1633810.974
AT ITER 5289 NEW BEST:: SOT 11846004 SOS 7428735 HAS SOPS 6171274 HAS SOUS 1710944 HAS SOUPS 1625173 WITH SCORE 1632601.735
AT ITER 5341 NEW BEST:: SOT 11845346 SOS 7427600 HAS SOPS 6169649 HAS SOUS 1709353 HAS SOUPS 1623582 WITH SCORE 1631009.6
AT ITER 5353 NEW BEST:: SOT 11842962 SOS 7423947 HAS SOPS 6166322 HAS SOUS 1703944 HAS SOUPS 1618185 WITH SCORE 1625608.947
AT ITER 5358 NEW BEST:: SOT 11845822 SOS 7426555 HAS SOPS 6170312 HAS SOUS 1702740 HAS SOUPS 1616981 WITH SCORE 1624407.555
AT ITER 5370 NEW BEST:: SOT 11848031 SOS 7431011 HAS SOPS 6175082 HAS SOUS 1699490 HAS SOUPS 1613723 WITH SCORE 1621154.011
AT ITER 5388 NEW BEST:: SOT 11846896 SOS 7428534 HAS SOPS 6173175 HAS SOUS 1698568 HAS SOUPS 1612801 WITH SCORE 1620229.534
AT ITER 5389 NEW BEST:: SOT 11846767 SOS 7427850 HAS SOPS 6172616 HAS SOUS 1698554 HAS SOUPS 1612787 WITH SCORE 1620214.85
AT ITER 5390 NEW BEST:: SOT 11845984 SOS 7427205 HAS SOPS 6171501 HAS SOUS 1698152 HAS SOUPS 1612325 WITH SCORE 1619752.205
AT ITER 5399 NEW BEST:: SOT 11845971 SOS 7427084 HAS SOPS 6171460 HAS SOUS 1697750 HAS SOUPS 1611923 WITH SCORE 1619350.084
AT ITER 5415 NEW BEST:: SOT 11846746 SOS 7428067 HAS SOPS 6172272 HAS SOUS 1697146 HAS SOUPS 1611311 WITH SCORE 1618739.067
AT ITER 5431 NEW BEST:: SOT 11847044 SOS 7429726 HAS SOPS 6170788 HAS SOUS 1692847 HAS SOUPS 1607099 WITH SCORE 1614528.726
AT ITER 5458 NEW BEST:: SOT 11847067 SOS 7429413 HAS SOPS 6170511 HAS SOUS 1692707 HAS SOUPS 1607004 WITH SCORE 1614433.413
AT ITER 5462 NEW BEST:: SOT 11844352 SOS 7427148 HAS SOPS 6166616 HAS SOUS 1684286 HAS SOUPS 1598367 WITH SCORE 1605794.148
AT ITER 5511 NEW BEST:: SOT 11847425 SOS 7432059 HAS SOPS 6167294 HAS SOUS 1680254 HAS SOUPS 1594237 WITH SCORE 1601669.059
AT ITER 5522 NEW BEST:: SOT 11842878 SOS 7424299 HAS SOPS 6165151 HAS SOUS 1667457 HAS SOUPS 1581440 WITH SCORE 1588864.299
AT ITER 5524 NEW BEST:: SOT 11839538 SOS 7420964 HAS SOPS 6161811 HAS SOUS 1665015 HAS SOUPS 1578995 WITH SCORE 1586415.964
AT ITER 5531 NEW BEST:: SOT 11840751 SOS 7422177 HAS SOPS 6162064 HAS SOUS 1663008 HAS SOUPS 1576988 WITH SCORE 1584410.177
AT ITER 5555 NEW BEST:: SOT 11839617 SOS 7421289 HAS SOPS 6161065 HAS SOUS 1661235 HAS SOUPS 1575215 WITH SCORE 1582636.289
AT ITER 5561 NEW BEST:: SOT 11838895 SOS 7416739 HAS SOPS 6159030 HAS SOUS 1658490 HAS SOUPS 1572470 WITH SCORE 1579886.739
AT ITER 5586 NEW BEST:: SOT 11838801 SOS 7416591 HAS SOPS 6158806 HAS SOUS 1658312 HAS SOUPS 1572290 WITH SCORE 1579706.591
AT ITER 5621 NEW BEST:: SOT 11838508 SOS 7416298 HAS SOPS 6158401 HAS SOUS 1657707 HAS SOUPS 1571685 WITH SCORE 1579101.298
AT ITER 5622 NEW BEST:: SOT 11838229 SOS 7416579 HAS SOPS 6158371 HAS SOUS 1656366 HAS SOUPS 1570344 WITH SCORE 1577760.579
AT ITER 5626 NEW BEST:: SOT 11838444 SOS 7416794 HAS SOPS 6158458 HAS SOUS 1656093 HAS SOUPS 1569943 WITH SCORE 1577359.794
AT ITER 5630 NEW BEST:: SOT 11840186 SOS 7419150 HAS SOPS 6161016 HAS SOUS 1654958 HAS SOUPS 1568880 WITH SCORE 1576299.15
AT ITER 5664 NEW BEST:: SOT 11839761 SOS 7418466 HAS SOPS 6161477 HAS SOUS 1650398 HAS SOUPS 1564856 WITH SCORE 1572274.466
AT ITER 5666 NEW BEST:: SOT 11839365 SOS 7418106 HAS SOPS 6160859 HAS SOUS 1649492 HAS SOUPS 1563950 WITH SCORE 1571368.106
AT ITER 5672 NEW BEST:: SOT 11839311 SOS 7418052 HAS SOPS 6160805 HAS SOUS 1649438 HAS SOUPS 1563896 WITH SCORE 1571314.052
AT ITER 5702 NEW BEST:: SOT 11839203 SOS 7417981 HAS SOPS 6160685 HAS SOUS 1649255 HAS SOUPS 1563711 WITH SCORE 1571128.981
AT ITER 5711 NEW BEST:: SOT 11839453 SOS 7418284 HAS SOPS 6159346 HAS SOUS 1645081 HAS SOUPS 1559499 WITH SCORE 1566917.284
AT ITER 5725 NEW BEST:: SOT 11838059 SOS 7403577 HAS SOPS 6143899 HAS SOUS 1645107 HAS SOUPS 1559432 WITH SCORE 1566835.577
AT ITER 5740 NEW BEST:: SOT 11838756 SOS 7405061 HAS SOPS 6144370 HAS SOUS 1644839 HAS SOUPS 1559070 WITH SCORE 1566475.061
AT ITER 5769 NEW BEST:: SOT 11838405 SOS 7404710 HAS SOPS 6143907 HAS SOUS 1644008 HAS SOUPS 1558239 WITH SCORE 1565643.71
AT ITER 5793 NEW BEST:: SOT 11838077 SOS 7404458 HAS SOPS 6143544 HAS SOUS 1643289 HAS SOUPS 1557520 WITH SCORE 1564924.458
AT ITER 5798 NEW BEST:: SOT 11849020 SOS 7415229 HAS SOPS 6154125 HAS SOUS 1642948 HAS SOUPS 1557223 WITH SCORE 1564638.229
AT ITER 5801 NEW BEST:: SOT 11849030 SOS 7415391 HAS SOPS 6154137 HAS SOUS 1642921 HAS SOUPS 1557196 WITH SCORE 1564611.391
AT ITER 5826 NEW BEST:: SOT 11849564 SOS 7415652 HAS SOPS 6156195 HAS SOUS 1642301 HAS SOUPS 1556576 WITH SCORE 1563991.652
AT ITER 5830 NEW BEST:: SOT 11849139 SOS 7415435 HAS SOPS 6155734 HAS SOUS 1641204 HAS SOUPS 1555467 WITH SCORE 1562882.435
AT ITER 5833 NEW BEST:: SOT 11848599 SOS 7415539 HAS SOPS 6155335 HAS SOUS 1638868 HAS SOUPS 1553147 WITH SCORE 1560562.539
AT ITER 5846 NEW BEST:: SOT 11848015 SOS 7413734 HAS SOPS 6153567 HAS SOUS 1638333 HAS SOUPS 1552612 WITH SCORE 1560025.734
AT ITER 5850 NEW BEST:: SOT 11847235 SOS 7412305 HAS SOPS 6151710 HAS SOUS 1637929 HAS SOUPS 1552208 WITH SCORE 1559620.305
AT ITER 5856 NEW BEST:: SOT 11847170 SOS 7412216 HAS SOPS 6151599 HAS SOUS 1637805 HAS SOUPS 1552084 WITH SCORE 1559496.216
AT ITER 5873 NEW BEST:: SOT 11847058 SOS 7412643 HAS SOPS 6151634 HAS SOUS 1637707 HAS SOUPS 1551923 WITH SCORE 1559335.643
AT ITER 5883 NEW BEST:: SOT 11846725 SOS 7412072 HAS SOPS 6151008 HAS SOUS 1637567 HAS SOUPS 1551779 WITH SCORE 1559191.072
AT ITER 5913 NEW BEST:: SOT 11846570 SOS 7411781 HAS SOPS 6150777 HAS SOUS 1637392 HAS SOUPS 1551604 WITH SCORE 1559015.781
AT ITER 5921 NEW BEST:: SOT 11843615 SOS 7404241 HAS SOPS 6146644 HAS SOUS 1636492 HAS SOUPS 1551095 WITH SCORE 1558499.241
AT ITER 5932 NEW BEST:: SOT 11841416 SOS 7402056 HAS SOPS 6143755 HAS SOUS 1636366 HAS SOUPS 1549401 WITH SCORE 1556803.056
AT ITER 5938 NEW BEST:: SOT 11840772 SOS 7399137 HAS SOPS 6139072 HAS SOUS 1635081 HAS SOUPS 1548116 WITH SCORE 1555515.137
AT ITER 5958 NEW BEST:: SOT 11839618 SOS 7397907 HAS SOPS 6137044 HAS SOUS 1631811 HAS SOUPS 1544832 WITH SCORE 1552229.907
AT ITER 5962 NEW BEST:: SOT 11839568 SOS 7397864 HAS SOPS 6136957 HAS SOUS 1631695 HAS SOUPS 1544716 WITH SCORE 1552113.864
AT ITER 5982 NEW BEST:: SOT 11835474 SOS 7393877 HAS SOPS 6132432 HAS SOUS 1619174 HAS SOUPS 1532157 WITH SCORE 1539550.877
AT ITER 5986 NEW BEST:: SOT 11832285 SOS 7388763 HAS SOPS 6126756 HAS SOUS 1617657 HAS SOUPS 1530640 WITH SCORE 1538028.763
AT ITER 5989 NEW BEST:: SOT 11832203 SOS 7388691 HAS SOPS 6126704 HAS SOUS 1617159 HAS SOUPS 1530142 WITH SCORE 1537530.691
AT ITER 6015 NEW BEST:: SOT 11830354 SOS 7386683 HAS SOPS 6125035 HAS SOUS 1614836 HAS SOUPS 1527819 WITH SCORE 1535205.683
AT ITER 6027 NEW BEST:: SOT 11830295 SOS 7386624 HAS SOPS 6124976 HAS SOUS 1614777 HAS SOUPS 1527760 WITH SCORE 1535146.624
AT ITER 6028 NEW BEST:: SOT 11828938 SOS 7385314 HAS SOPS 6123202 HAS SOUS 1613701 HAS SOUPS 1526676 WITH SCORE 1534061.314
AT ITER 6033 NEW BEST:: SOT 11828179 SOS 7382539 HAS SOPS 6118805 HAS SOUS 1612596 HAS SOUPS 1525571 WITH SCORE 1532953.539
AT ITER 6034 NEW BEST:: SOT 11828179 SOS 7382187 HAS SOPS 6118453 HAS SOUS 1612222 HAS SOUPS 1525197 WITH SCORE 1532579.187
AT ITER 6035 NEW BEST:: SOT 11828687 SOS 7382891 HAS SOPS 6119648 HAS SOUS 1611883 HAS SOUPS 1524914 WITH SCORE 1532296.891
AT ITER 6040 NEW BEST:: SOT 11828321 SOS 7382501 HAS SOPS 6119164 HAS SOUS 1611141 HAS SOUPS 1524172 WITH SCORE 1531554.501
AT ITER 6049 NEW BEST:: SOT 11829498 SOS 7383678 HAS SOPS 6120053 HAS SOUS 1610862 HAS SOUPS 1523893 WITH SCORE 1531276.678
AT ITER 6053 NEW BEST:: SOT 11831534 SOS 7387473 HAS SOPS 6123087 HAS SOUS 1610544 HAS SOUPS 1523530 WITH SCORE 1530917.473
AT ITER 6072 NEW BEST:: SOT 11829762 SOS 7382432 HAS SOPS 6118861 HAS SOUS 1608661 HAS SOUPS 1521695 WITH SCORE 1529077.432
AT ITER 6086 NEW BEST:: SOT 11826726 SOS 7379396 HAS SOPS 6115825 HAS SOUS 1604857 HAS SOUPS 1517891 WITH SCORE 1525270.396
AT ITER 6092 NEW BEST:: SOT 11826158 SOS 7378796 HAS SOPS 6115065 HAS SOUS 1603704 HAS SOUPS 1516738 WITH SCORE 1524116.796
AT ITER 6101 NEW BEST:: SOT 11825923 SOS 7378561 HAS SOPS 6114750 HAS SOUS 1603333 HAS SOUPS 1516367 WITH SCORE 1523745.561
AT ITER 6123 NEW BEST:: SOT 11826830 SOS 7377337 HAS SOPS 6113835 HAS SOUS 1602992 HAS SOUPS 1516026 WITH SCORE 1523403.337
AT ITER 6185 NEW BEST:: SOT 11824389 SOS 7370454 HAS SOPS 6107058 HAS SOUS 1598537 HAS SOUPS 1511571 WITH SCORE 1518941.454
AT ITER 6237 NEW BEST:: SOT 11823605 SOS 7370842 HAS SOPS 6106413 HAS SOUS 1598134 HAS SOUPS 1511147 WITH SCORE 1518517.842
AT ITER 6239 NEW BEST:: SOT 11823673 SOS 7370659 HAS SOPS 6106230 HAS SOUS 1597528 HAS SOUPS 1510541 WITH SCORE 1517911.659
AT ITER 6242 NEW BEST:: SOT 11823016 SOS 7367071 HAS SOPS 6101707 HAS SOUS 1595865 HAS SOUPS 1508878 WITH SCORE 1516245.071
AT ITER 6245 NEW BEST:: SOT 11822396 SOS 7365751 HAS SOPS 6100359 HAS SOUS 1594963 HAS SOUPS 1507984 WITH SCORE 1515349.751
AT ITER 6270 NEW BEST:: SOT 11822325 SOS 7364857 HAS SOPS 6098050 HAS SOUS 1594746 HAS SOUPS 1507739 WITH SCORE 1515103.857
AT ITER 6274 NEW BEST:: SOT 11822266 SOS 7364807 HAS SOPS 6097856 HAS SOUS 1594372 HAS SOUPS 1507365 WITH SCORE 1514729.807
AT ITER 6286 NEW BEST:: SOT 11821932 SOS 7364312 HAS SOPS 6096746 HAS SOUS 1593396 HAS SOUPS 1506372 WITH SCORE 1513736.312
AT ITER 6287 NEW BEST:: SOT 11821622 SOS 7364039 HAS SOPS 6096048 HAS SOUS 1593007 HAS SOUPS 1505935 WITH SCORE 1513299.039
AT ITER 6303 NEW BEST:: SOT 11819234 SOS 7362814 HAS SOPS 6096618 HAS SOUS 1585668 HAS SOUPS 1498738 WITH SCORE 1506100.814
AT ITER 6330 NEW BEST:: SOT 11819418 SOS 7362874 HAS SOPS 6096646 HAS SOUS 1585260 HAS SOUPS 1498352 WITH SCORE 1505714.874
AT ITER 6336 NEW BEST:: SOT 11817135 SOS 7358809 HAS SOPS 6092581 HAS SOUS 1582718 HAS SOUPS 1495810 WITH SCORE 1503168.809
AT ITER 6350 NEW BEST:: SOT 11817792 SOS 7359939 HAS SOPS 6094542 HAS SOUS 1582320 HAS SOUPS 1495441 WITH SCORE 1502800.939
AT ITER 6356 NEW BEST:: SOT 11816742 SOS 7357989 HAS SOPS 6092791 HAS SOUS 1581181 HAS SOUPS 1494257 WITH SCORE 1501614.989
AT ITER 6378 NEW BEST:: SOT 11816729 SOS 7358480 HAS SOPS 6094192 HAS SOUS 1580774 HAS SOUPS 1493850 WITH SCORE 1501208.48
AT ITER 6383 NEW BEST:: SOT 11816399 SOS 7358812 HAS SOPS 6095163 HAS SOUS 1577672 HAS SOUPS 1491096 WITH SCORE 1498454.812
AT ITER 6419 NEW BEST:: SOT 11814520 SOS 7356917 HAS SOPS 6093153 HAS SOUS 1576881 HAS SOUPS 1490305 WITH SCORE 1497661.917
AT ITER 6427 NEW BEST:: SOT 11813630 SOS 7355998 HAS SOPS 6091484 HAS SOUS 1573166 HAS SOUPS 1486590 WITH SCORE 1493945.998
AT ITER 6430 NEW BEST:: SOT 11813497 SOS 7354242 HAS SOPS 6090117 HAS SOUS 1572873 HAS SOUPS 1486297 WITH SCORE 1493651.242
AT ITER 6438 NEW BEST:: SOT 11811916 SOS 7352584 HAS SOPS 6087767 HAS SOUS 1570584 HAS SOUPS 1484008 WITH SCORE 1491360.584
AT ITER 6457 NEW BEST:: SOT 11807547 SOS 7339536 HAS SOPS 6074938 HAS SOUS 1567800 HAS SOUPS 1481287 WITH SCORE 1488626.536
AT ITER 6470 NEW BEST:: SOT 11807800 SOS 7340530 HAS SOPS 6076521 HAS SOUS 1566633 HAS SOUPS 1480210 WITH SCORE 1487550.53
AT ITER 6515 NEW BEST:: SOT 11807730 SOS 7339856 HAS SOPS 6075423 HAS SOUS 1566517 HAS SOUPS 1480081 WITH SCORE 1487420.856
AT ITER 6518 NEW BEST:: SOT 11809478 SOS 7338783 HAS SOPS 6076892 HAS SOUS 1566252 HAS SOUPS 1479891 WITH SCORE 1487229.783
AT ITER 6541 NEW BEST:: SOT 11810102 SOS 7340902 HAS SOPS 6078662 HAS SOUS 1561211 HAS SOUPS 1474850 WITH SCORE 1482190.902
AT ITER 6570 NEW BEST:: SOT 11809841 SOS 7340641 HAS SOPS 6078273 HAS SOUS 1560570 HAS SOUPS 1474209 WITH SCORE 1481549.641
AT ITER 6575 NEW BEST:: SOT 11810030 SOS 7340679 HAS SOPS 6078508 HAS SOUS 1558645 HAS SOUPS 1472298 WITH SCORE 1479638.679
AT ITER 6583 NEW BEST:: SOT 11811946 SOS 7343339 HAS SOPS 6080160 HAS SOUS 1555087 HAS SOUPS 1468656 WITH SCORE 1475999.339
AT ITER 6598 NEW BEST:: SOT 11809812 SOS 7340367 HAS SOPS 6077262 HAS SOUS 1551302 HAS SOUPS 1464889 WITH SCORE 1472229.367
AT ITER 6616 NEW BEST:: SOT 11808400 SOS 7338867 HAS SOPS 6075760 HAS SOUS 1548246 HAS SOUPS 1461833 WITH SCORE 1469171.867
AT ITER 6650 NEW BEST:: SOT 11806461 SOS 7335168 HAS SOPS 6071541 HAS SOUS 1547391 HAS SOUPS 1460978 WITH SCORE 1468313.168
AT ITER 6655 NEW BEST:: SOT 11806361 SOS 7334111 HAS SOPS 6070443 HAS SOUS 1547214 HAS SOUPS 1460801 WITH SCORE 1468135.111
AT ITER 6683 NEW BEST:: SOT 11806221 SOS 7333808 HAS SOPS 6070242 HAS SOUS 1546430 HAS SOUPS 1460026 WITH SCORE 1467359.808
AT ITER 6684 NEW BEST:: SOT 11806221 SOS 7333808 HAS SOPS 6069574 HAS SOUS 1544512 HAS SOUPS 1458138 WITH SCORE 1465471.808
AT ITER 6696 NEW BEST:: SOT 11804427 SOS 7330613 HAS SOPS 6066562 HAS SOUS 1543728 HAS SOUPS 1457354 WITH SCORE 1464684.613
AT ITER 6702 NEW BEST:: SOT 11806255 SOS 7334729 HAS SOPS 6069508 HAS SOUS 1542821 HAS SOUPS 1456408 WITH SCORE 1463742.729
AT ITER 6744 NEW BEST:: SOT 11805923 SOS 7334383 HAS SOPS 6069063 HAS SOUS 1542248 HAS SOUPS 1455832 WITH SCORE 1463166.383
AT ITER 6745 NEW BEST:: SOT 11806645 SOS 7335829 HAS SOPS 6070558 HAS SOUS 1541661 HAS SOUPS 1455245 WITH SCORE 1462580.829
AT ITER 6756 NEW BEST:: SOT 11804277 SOS 7332282 HAS SOPS 6066640 HAS SOUS 1537670 HAS SOUPS 1451254 WITH SCORE 1458586.282
AT ITER 6780 NEW BEST:: SOT 11804528 SOS 7332478 HAS SOPS 6066843 HAS SOUS 1537622 HAS SOUPS 1451212 WITH SCORE 1458544.478
AT ITER 6782 NEW BEST:: SOT 11806044 SOS 7337558 HAS SOPS 6069926 HAS SOUS 1537234 HAS SOUPS 1450824 WITH SCORE 1458161.558
AT ITER 6784 NEW BEST:: SOT 11804959 SOS 7336241 HAS SOPS 6068578 HAS SOUS 1533470 HAS SOUPS 1447060 WITH SCORE 1454396.241
AT ITER 6786 NEW BEST:: SOT 11805699 SOS 7336992 HAS SOPS 6069269 HAS SOUS 1532322 HAS SOUPS 1445912 WITH SCORE 1453248.992
AT ITER 6812 NEW BEST:: SOT 11805212 SOS 7336490 HAS SOPS 6068782 HAS SOUS 1532166 HAS SOUPS 1445771 WITH SCORE 1453107.49
AT ITER 6836 NEW BEST:: SOT 11803382 SOS 7334844 HAS SOPS 6066158 HAS SOUS 1527370 HAS SOUPS 1440975 WITH SCORE 1448309.844
AT ITER 6842 NEW BEST:: SOT 11802700 SOS 7333753 HAS SOPS 6065909 HAS SOUS 1526864 HAS SOUPS 1440469 WITH SCORE 1447802.753
AT ITER 6848 NEW BEST:: SOT 11803125 SOS 7334178 HAS SOPS 6066334 HAS SOUS 1526681 HAS SOUPS 1440286 WITH SCORE 1447620.178
AT ITER 6874 NEW BEST:: SOT 11807019 SOS 7345058 HAS SOPS 6076055 HAS SOUS 1525029 HAS SOUPS 1438711 WITH SCORE 1446056.058
AT ITER 6933 NEW BEST:: SOT 11807464 SOS 7346143 HAS SOPS 6077901 HAS SOUS 1524978 HAS SOUPS 1438660 WITH SCORE 1446006.143
AT ITER 6935 NEW BEST:: SOT 11805973 SOS 7343538 HAS SOPS 6074989 HAS SOUS 1522929 HAS SOUPS 1436611 WITH SCORE 1443954.538
AT ITER 6955 NEW BEST:: SOT 11802874 SOS 7338631 HAS SOPS 6072194 HAS SOUS 1519587 HAS SOUPS 1433401 WITH SCORE 1440739.631
AT ITER 7021 NEW BEST:: SOT 11802889 SOS 7338704 HAS SOPS 6072106 HAS SOUS 1519460 HAS SOUPS 1433274 WITH SCORE 1440612.704
AT ITER 7037 NEW BEST:: SOT 11802553 SOS 7338368 HAS SOPS 6071770 HAS SOUS 1519460 HAS SOUPS 1433274 WITH SCORE 1440612.368
AT ITER 7049 NEW BEST:: SOT 11802477 SOS 7341216 HAS SOPS 6070651 HAS SOUS 1516003 HAS SOUPS 1429707 WITH SCORE 1437048.216
AT ITER 7052 NEW BEST:: SOT 11802377 SOS 7340720 HAS SOPS 6070093 HAS SOUS 1515759 HAS SOUPS 1429463 WITH SCORE 1436803.72
AT ITER 7054 NEW BEST:: SOT 11801556 SOS 7339918 HAS SOPS 6069063 HAS SOUS 1514996 HAS SOUPS 1428681 WITH SCORE 1436020.918
AT ITER 7066 NEW BEST:: SOT 11800758 SOS 7336295 HAS SOPS 6065884 HAS SOUS 1514674 HAS SOUPS 1428329 WITH SCORE 1435665.295
AT ITER 7086 NEW BEST:: SOT 11800983 SOS 7335373 HAS SOPS 6064823 HAS SOUS 1514271 HAS SOUPS 1427926 WITH SCORE 1435261.373
AT ITER 7116 NEW BEST:: SOT 11801980 SOS 7337707 HAS SOPS 6066174 HAS SOUS 1506271 HAS SOUPS 1419901 WITH SCORE 1427238.707
AT ITER 7151 NEW BEST:: SOT 11800490 SOS 7336217 HAS SOPS 6064684 HAS SOUS 1504745 HAS SOUPS 1418375 WITH SCORE 1425711.217
AT ITER 7171 NEW BEST:: SOT 11801380 SOS 7338379 HAS SOPS 6066382 HAS SOUS 1504556 HAS SOUPS 1418090 WITH SCORE 1425428.379
AT ITER 7183 NEW BEST:: SOT 11801191 SOS 7334232 HAS SOPS 6063544 HAS SOUS 1504233 HAS SOUPS 1417767 WITH SCORE 1425101.232
AT ITER 7213 NEW BEST:: SOT 11799225 SOS 7332556 HAS SOPS 6060641 HAS SOUS 1500909 HAS SOUPS 1414385 WITH SCORE 1421717.556
AT ITER 7226 NEW BEST:: SOT 11799115 SOS 7332442 HAS SOPS 6060417 HAS SOUS 1500544 HAS SOUPS 1414020 WITH SCORE 1421352.442
AT ITER 7290 NEW BEST:: SOT 11798410 SOS 7331719 HAS SOPS 6059601 HAS SOUS 1498277 HAS SOUPS 1411781 WITH SCORE 1419112.719
AT ITER 7309 NEW BEST:: SOT 11796530 SOS 7327692 HAS SOPS 6056244 HAS SOUS 1497972 HAS SOUPS 1411531 WITH SCORE 1418858.692
AT ITER 7322 NEW BEST:: SOT 11794971 SOS 7327372 HAS SOPS 6055354 HAS SOUS 1495929 HAS SOUPS 1409485 WITH SCORE 1416812.372
AT ITER 7323 NEW BEST:: SOT 11794827 SOS 7327228 HAS SOPS 6055162 HAS SOUS 1495641 HAS SOUPS 1409197 WITH SCORE 1416524.228
AT ITER 7335 NEW BEST:: SOT 11796037 SOS 7329065 HAS SOPS 6055584 HAS SOUS 1494159 HAS SOUPS 1407715 WITH SCORE 1415044.065
AT ITER 7380 NEW BEST:: SOT 11794527 SOS 7327940 HAS SOPS 6053597 HAS SOUS 1491388 HAS SOUPS 1404918 WITH SCORE 1412245.94
AT ITER 7408 NEW BEST:: SOT 11795163 SOS 7323556 HAS SOPS 6050679 HAS SOUS 1488867 HAS SOUPS 1402474 WITH SCORE 1409797.556
AT ITER 7414 NEW BEST:: SOT 11794331 SOS 7318298 HAS SOPS 6046142 HAS SOUS 1488543 HAS SOUPS 1402150 WITH SCORE 1409468.298
AT ITER 7428 NEW BEST:: SOT 11794303 SOS 7317107 HAS SOPS 6043946 HAS SOUS 1487840 HAS SOUPS 1401447 WITH SCORE 1408764.107
AT ITER 7451 NEW BEST:: SOT 11794260 SOS 7317064 HAS SOPS 6043871 HAS SOUS 1487697 HAS SOUPS 1401304 WITH SCORE 1408621.064
AT ITER 7462 NEW BEST:: SOT 11793428 SOS 7316252 HAS SOPS 6042883 HAS SOUS 1485707 HAS SOUPS 1399314 WITH SCORE 1406630.252
AT ITER 7568 NEW BEST:: SOT 11788434 SOS 7307188 HAS SOPS 6034747 HAS SOUS 1481432 HAS SOUPS 1395092 WITH SCORE 1402399.188
AT ITER 7593 NEW BEST:: SOT 11788169 SOS 7306819 HAS SOPS 6034158 HAS SOUS 1480881 HAS SOUPS 1394541 WITH SCORE 1401847.819
AT ITER 7624 NEW BEST:: SOT 11787479 SOS 7305108 HAS SOPS 6032675 HAS SOUS 1480224 HAS SOUPS 1393884 WITH SCORE 1401189.108
AT ITER 7635 NEW BEST:: SOT 11786280 SOS 7302692 HAS SOPS 6031430 HAS SOUS 1477448 HAS SOUPS 1391160 WITH SCORE 1398462.692
AT ITER 7651 NEW BEST:: SOT 11786162 SOS 7302989 HAS SOPS 6030863 HAS SOUS 1477306 HAS SOUPS 1391018 WITH SCORE 1398320.989
AT ITER 7660 NEW BEST:: SOT 11786769 SOS 7305180 HAS SOPS 6032822 HAS SOUS 1477082 HAS SOUPS 1390794 WITH SCORE 1398099.18
AT ITER 7676 NEW BEST:: SOT 11788023 SOS 7307207 HAS SOPS 6035650 HAS SOUS 1476649 HAS SOUPS 1390428 WITH SCORE 1397735.207
AT ITER 7678 NEW BEST:: SOT 11786385 SOS 7304717 HAS SOPS 6032393 HAS SOUS 1473909 HAS SOUPS 1387667 WITH SCORE 1394971.717
AT ITER 7680 NEW BEST:: SOT 11784738 SOS 7301465 HAS SOPS 6030072 HAS SOUS 1471577 HAS SOUPS 1386112 WITH SCORE 1393413.465
AT ITER 7712 NEW BEST:: SOT 11784586 SOS 7301082 HAS SOPS 6029656 HAS SOUS 1471154 HAS SOUPS 1385689 WITH SCORE 1392990.082
AT ITER 7745 NEW BEST:: SOT 11784578 SOS 7301074 HAS SOPS 6029648 HAS SOUS 1471122 HAS SOUPS 1385657 WITH SCORE 1392958.074
AT ITER 7751 NEW BEST:: SOT 11784418 SOS 7300914 HAS SOPS 6029488 HAS SOUS 1471002 HAS SOUPS 1385537 WITH SCORE 1392837.914
AT ITER 7762 NEW BEST:: SOT 11781722 SOS 7298235 HAS SOPS 6026649 HAS SOUS 1467291 HAS SOUPS 1381826 WITH SCORE 1389124.235
AT ITER 7766 NEW BEST:: SOT 11781671 SOS 7298354 HAS SOPS 6026763 HAS SOUS 1466909 HAS SOUPS 1381444 WITH SCORE 1388742.354
AT ITER 7843 NEW BEST:: SOT 11779958 SOS 7294834 HAS SOPS 6023175 HAS SOUS 1464608 HAS SOUPS 1378023 WITH SCORE 1385317.834
AT ITER 7906 NEW BEST:: SOT 11780878 SOS 7295024 HAS SOPS 6023567 HAS SOUS 1464279 HAS SOUPS 1377741 WITH SCORE 1385036.024
AT ITER 7949 NEW BEST:: SOT 11779667 SOS 7293245 HAS SOPS 6021778 HAS SOUS 1462868 HAS SOUPS 1376320 WITH SCORE 1383613.245
AT ITER 8003 NEW BEST:: SOT 11779268 SOS 7292846 HAS SOPS 6021315 HAS SOUS 1461913 HAS SOUPS 1375365 WITH SCORE 1382657.846
AT ITER 8018 NEW BEST:: SOT 11778592 SOS 7291904 HAS SOPS 6020385 HAS SOUS 1460471 HAS SOUPS 1373935 WITH SCORE 1381226.904
AT ITER 8019 NEW BEST:: SOT 11778112 SOS 7291536 HAS SOPS 6019842 HAS SOUS 1459211 HAS SOUPS 1372675 WITH SCORE 1379966.536
AT ITER 8030 NEW BEST:: SOT 11778315 SOS 7295601 HAS SOPS 6027196 HAS SOUS 1459197 HAS SOUPS 1372661 WITH SCORE 1379956.601
AT ITER 8076 NEW BEST:: SOT 11778104 SOS 7296099 HAS SOPS 6027830 HAS SOUS 1458964 HAS SOUPS 1372428 WITH SCORE 1379724.099
AT ITER 8086 NEW BEST:: SOT 11778046 SOS 7295535 HAS SOPS 6027327 HAS SOUS 1458947 HAS SOUPS 1372411 WITH SCORE 1379706.535
AT ITER 8088 NEW BEST:: SOT 11778035 SOS 7295488 HAS SOPS 6027264 HAS SOUS 1458948 HAS SOUPS 1372411 WITH SCORE 1379706.488
AT ITER 8094 NEW BEST:: SOT 11778097 SOS 7295631 HAS SOPS 6027446 HAS SOUS 1458879 HAS SOUPS 1372369 WITH SCORE 1379664.631
AT ITER 8106 NEW BEST:: SOT 11778109 SOS 7296111 HAS SOPS 6027638 HAS SOUS 1458867 HAS SOUPS 1372357 WITH SCORE 1379653.111
AT ITER 8162 NEW BEST:: SOT 11777137 SOS 7294619 HAS SOPS 6025636 HAS SOUS 1456897 HAS SOUPS 1370387 WITH SCORE 1377681.619
AT ITER 8165 NEW BEST:: SOT 11774853 SOS 7290796 HAS SOPS 6030708 HAS SOUS 1456810 HAS SOUPS 1370300 WITH SCORE 1377590.796
AT ITER 8208 NEW BEST:: SOT 11774573 SOS 7290231 HAS SOPS 6030194 HAS SOUS 1456525 HAS SOUPS 1370019 WITH SCORE 1377309.231
AT ITER 8265 NEW BEST:: SOT 11774062 SOS 7287490 HAS SOPS 6025674 HAS SOUS 1455920 HAS SOUPS 1369414 WITH SCORE 1376701.49
AT ITER 8267 NEW BEST:: SOT 11773979 SOS 7286286 HAS SOPS 6024131 HAS SOUS 1455920 HAS SOUPS 1369414 WITH SCORE 1376700.286
AT ITER 8296 NEW BEST:: SOT 11773972 SOS 7286291 HAS SOPS 6024091 HAS SOUS 1455901 HAS SOUPS 1369395 WITH SCORE 1376681.291
AT ITER 8319 NEW BEST:: SOT 11765580 SOS 7276957 HAS SOPS 6011231 HAS SOUS 1444121 HAS SOUPS 1356609 WITH SCORE 1363885.957
AT ITER 8338 NEW BEST:: SOT 11764919 SOS 7277947 HAS SOPS 6011829 HAS SOUS 1441942 HAS SOUPS 1354479 WITH SCORE 1361756.947
AT ITER 8339 NEW BEST:: SOT 11764663 SOS 7276779 HAS SOPS 6010219 HAS SOUS 1440808 HAS SOUPS 1353345 WITH SCORE 1360621.779
AT ITER 8354 NEW BEST:: SOT 11763578 SOS 7274798 HAS SOPS 6007907 HAS SOUS 1433767 HAS SOUPS 1346304 WITH SCORE 1353578.798
AT ITER 8393 NEW BEST:: SOT 11765210 SOS 7283302 HAS SOPS 6017098 HAS SOUS 1433634 HAS SOUPS 1346171 WITH SCORE 1353454.302
AT ITER 8405 NEW BEST:: SOT 11764238 SOS 7280888 HAS SOPS 6014958 HAS SOUS 1432942 HAS SOUPS 1345495 WITH SCORE 1352775.888
AT ITER 8441 NEW BEST:: SOT 11764242 SOS 7280503 HAS SOPS 6014962 HAS SOUS 1432910 HAS SOUPS 1345476 WITH SCORE 1352756.503
AT ITER 8470 NEW BEST:: SOT 11763978 SOS 7280110 HAS SOPS 6014231 HAS SOUS 1432139 HAS SOUPS 1344715 WITH SCORE 1351995.11
AT ITER 8478 NEW BEST:: SOT 11764935 SOS 7280184 HAS SOPS 6014103 HAS SOUS 1430678 HAS SOUPS 1343351 WITH SCORE 1350631.184
AT ITER 8479 NEW BEST:: SOT 11766709 SOS 7281436 HAS SOPS 6015403 HAS SOUS 1429048 HAS SOUPS 1342377 WITH SCORE 1349658.436
AT ITER 8480 NEW BEST:: SOT 11766680 SOS 7281161 HAS SOPS 6015151 HAS SOUS 1428990 HAS SOUPS 1342319 WITH SCORE 1349600.161
AT ITER 8489 NEW BEST:: SOT 11765312 SOS 7280143 HAS SOPS 6014375 HAS SOUS 1427074 HAS SOUPS 1340403 WITH SCORE 1347683.143
AT ITER 8507 NEW BEST:: SOT 11765384 SOS 7281378 HAS SOPS 6017783 HAS SOUS 1426741 HAS SOUPS 1340070 WITH SCORE 1347351.378
AT ITER 8550 NEW BEST:: SOT 11768175 SOS 7287165 HAS SOPS 6022360 HAS SOUS 1420446 HAS SOUPS 1333961 WITH SCORE 1341248.165
AT ITER 8581 NEW BEST:: SOT 11765369 SOS 7284749 HAS SOPS 6020113 HAS SOUS 1414339 HAS SOUPS 1327856 WITH SCORE 1335140.749
AT ITER 8605 NEW BEST:: SOT 11765332 SOS 7280544 HAS SOPS 6017105 HAS SOUS 1413838 HAS SOUPS 1327355 WITH SCORE 1334635.544
AT ITER 8607 NEW BEST:: SOT 11766161 SOS 7280627 HAS SOPS 6016900 HAS SOUS 1412289 HAS SOUPS 1325770 WITH SCORE 1333050.627
AT ITER 8610 NEW BEST:: SOT 11767171 SOS 7281805 HAS SOPS 6018010 HAS SOUS 1409547 HAS SOUPS 1323052 WITH SCORE 1330333.805
AT ITER 8630 NEW BEST:: SOT 11765812 SOS 7280394 HAS SOPS 6015840 HAS SOUS 1407124 HAS SOUPS 1320617 WITH SCORE 1327897.394
AT ITER 8709 NEW BEST:: SOT 11766130 SOS 7280697 HAS SOPS 6021600 HAS SOUS 1406170 HAS SOUPS 1319663 WITH SCORE 1326943.697
AT ITER 8710 NEW BEST:: SOT 11766308 SOS 7278611 HAS SOPS 6018688 HAS SOUS 1405884 HAS SOUPS 1319377 WITH SCORE 1326655.611
AT ITER 8739 NEW BEST:: SOT 11766045 SOS 7278294 HAS SOPS 6018383 HAS SOUS 1405640 HAS SOUPS 1319133 WITH SCORE 1326411.294
AT ITER 8788 NEW BEST:: SOT 11766013 SOS 7278262 HAS SOPS 6018347 HAS SOUS 1405500 HAS SOUPS 1318993 WITH SCORE 1326271.262
AT ITER 8796 NEW BEST:: SOT 11765273 SOS 7275674 HAS SOPS 6017119 HAS SOUS 1404920 HAS SOUPS 1318597 WITH SCORE 1325872.674
AT ITER 8801 NEW BEST:: SOT 11765015 SOS 7275506 HAS SOPS 6016720 HAS SOUS 1403889 HAS SOUPS 1317555 WITH SCORE 1324830.506
AT ITER 8830 NEW BEST:: SOT 11764961 SOS 7275394 HAS SOPS 6016614 HAS SOUS 1403627 HAS SOUPS 1317293 WITH SCORE 1324568.394
AT ITER 8848 NEW BEST:: SOT 11765602 SOS 7276462 HAS SOPS 6017138 HAS SOUS 1401753 HAS SOUPS 1315419 WITH SCORE 1322695.462
AT ITER 8860 NEW BEST:: SOT 11765883 SOS 7274701 HAS SOPS 6015657 HAS SOUS 1401670 HAS SOUPS 1315374 WITH SCORE 1322648.701
AT ITER 8877 NEW BEST:: SOT 11764479 SOS 7273034 HAS SOPS 6015609 HAS SOUS 1398555 HAS SOUPS 1312176 WITH SCORE 1319449.034
AT ITER 8887 NEW BEST:: SOT 11764540 SOS 7274890 HAS SOPS 6018031 HAS SOUS 1398230 HAS SOUPS 1311851 WITH SCORE 1319125.89
AT ITER 8931 NEW BEST:: SOT 11764636 SOS 7275424 HAS SOPS 6018448 HAS SOUS 1397990 HAS SOUPS 1311611 WITH SCORE 1318886.424
AT ITER 8937 NEW BEST:: SOT 11762856 SOS 7274167 HAS SOPS 6015293 HAS SOUS 1390765 HAS SOUPS 1304386 WITH SCORE 1311660.167
AT ITER 8943 NEW BEST:: SOT 11762556 SOS 7273906 HAS SOPS 6014638 HAS SOUS 1390320 HAS SOUPS 1303941 WITH SCORE 1311214.906
AT ITER 8954 NEW BEST:: SOT 11755766 SOS 7265636 HAS SOPS 6006357 HAS SOUS 1382762 HAS SOUPS 1296295 WITH SCORE 1303560.636
AT ITER 8958 NEW BEST:: SOT 11755878 SOS 7266093 HAS SOPS 6006514 HAS SOUS 1382557 HAS SOUPS 1296083 WITH SCORE 1303349.093
AT ITER 8972 NEW BEST:: SOT 11749246 SOS 7258188 HAS SOPS 6000337 HAS SOUS 1382423 HAS SOUPS 1295949 WITH SCORE 1303207.188
AT ITER 9020 NEW BEST:: SOT 11748812 SOS 7257617 HAS SOPS 6000102 HAS SOUS 1381446 HAS SOUPS 1294972 WITH SCORE 1302229.617
AT ITER 9030 NEW BEST:: SOT 11749435 SOS 7258888 HAS SOPS 6002026 HAS SOUS 1380984 HAS SOUPS 1294510 WITH SCORE 1301768.888
AT ITER 9034 NEW BEST:: SOT 11748906 SOS 7258926 HAS SOPS 6000302 HAS SOUS 1380361 HAS SOUPS 1293850 WITH SCORE 1301108.926
AT ITER 9043 NEW BEST:: SOT 11748351 SOS 7258571 HAS SOPS 5999413 HAS SOUS 1379072 HAS SOUPS 1292561 WITH SCORE 1299819.571
AT ITER 9045 NEW BEST:: SOT 11748150 SOS 7259521 HAS SOPS 5999446 HAS SOUS 1378270 HAS SOUPS 1291759 WITH SCORE 1299018.521
AT ITER 9130 NEW BEST:: SOT 11747434 SOS 7258819 HAS SOPS 5997662 HAS SOUS 1373401 HAS SOUPS 1286935 WITH SCORE 1294193.819
AT ITER 9146 NEW BEST:: SOT 11747347 SOS 7258717 HAS SOPS 5997680 HAS SOUS 1373155 HAS SOUPS 1286689 WITH SCORE 1293947.717
AT ITER 9171 NEW BEST:: SOT 11747228 SOS 7258725 HAS SOPS 5997561 HAS SOUS 1373056 HAS SOUPS 1286583 WITH SCORE 1293841.725
AT ITER 9212 NEW BEST:: SOT 11747386 SOS 7259546 HAS SOPS 5997132 HAS SOUS 1373073 HAS SOUPS 1286574 WITH SCORE 1293833.546
AT ITER 9261 NEW BEST:: SOT 11747706 SOS 7259866 HAS SOPS 5997392 HAS SOUS 1372085 HAS SOUPS 1285586 WITH SCORE 1292845.866
AT ITER 9268 NEW BEST:: SOT 11747606 SOS 7259766 HAS SOPS 5997292 HAS SOUS 1372045 HAS SOUPS 1285546 WITH SCORE 1292805.766
AT ITER 9269 NEW BEST:: SOT 11747725 SOS 7259645 HAS SOPS 5997223 HAS SOUS 1371828 HAS SOUPS 1285355 WITH SCORE 1292614.645
AT ITER 9275 NEW BEST:: SOT 11747659 SOS 7259885 HAS SOPS 5997565 HAS SOUS 1371738 HAS SOUPS 1285265 WITH SCORE 1292524.885
AT ITER 9288 NEW BEST:: SOT 11747830 SOS 7260000 HAS SOPS 5997681 HAS SOUS 1371267 HAS SOUPS 1284794 WITH SCORE 1292054.0
AT ITER 9349 NEW BEST:: SOT 11744416 SOS 7252684 HAS SOPS 5990413 HAS SOUS 1366882 HAS SOUPS 1280409 WITH SCORE 1287661.684
AT ITER 9355 NEW BEST:: SOT 11744120 SOS 7252285 HAS SOPS 5989598 HAS SOUS 1365875 HAS SOUPS 1279432 WITH SCORE 1286684.285
AT ITER 9362 NEW BEST:: SOT 11744129 SOS 7252443 HAS SOPS 5989655 HAS SOUS 1365770 HAS SOUPS 1279327 WITH SCORE 1286579.443
AT ITER 9367 NEW BEST:: SOT 11743606 SOS 7251763 HAS SOPS 5988657 HAS SOUS 1364268 HAS SOUPS 1277825 WITH SCORE 1285076.763
AT ITER 9370 NEW BEST:: SOT 11743582 SOS 7251755 HAS SOPS 5988657 HAS SOUS 1364240 HAS SOUPS 1277797 WITH SCORE 1285048.755
AT ITER 9393 NEW BEST:: SOT 11743574 SOS 7251841 HAS SOPS 5988687 HAS SOUS 1363792 HAS SOUPS 1277349 WITH SCORE 1284600.841
AT ITER 9427 NEW BEST:: SOT 11743556 SOS 7252031 HAS SOPS 5988784 HAS SOUS 1363763 HAS SOUPS 1277266 WITH SCORE 1284518.031
AT ITER 9440 NEW BEST:: SOT 11743379 SOS 7251861 HAS SOPS 5988614 HAS SOUS 1363573 HAS SOUPS 1277076 WITH SCORE 1284327.861
AT ITER 9462 NEW BEST:: SOT 11743188 SOS 7251670 HAS SOPS 5988351 HAS SOUS 1363190 HAS SOUPS 1276693 WITH SCORE 1283944.67
AT ITER 9523 NEW BEST:: SOT 11743148 SOS 7251294 HAS SOPS 5988573 HAS SOUS 1362522 HAS SOUPS 1276025 WITH SCORE 1283276.294
AT ITER 9535 NEW BEST:: SOT 11743285 SOS 7251515 HAS SOPS 5988050 HAS SOUS 1360775 HAS SOUPS 1274278 WITH SCORE 1281529.515
AT ITER 9547 NEW BEST:: SOT 11743289 SOS 7251519 HAS SOPS 5988054 HAS SOUS 1360767 HAS SOUPS 1274270 WITH SCORE 1281521.519
AT ITER 9550 NEW BEST:: SOT 11743267 SOS 7252085 HAS SOPS 5988231 HAS SOUS 1360639 HAS SOUPS 1274142 WITH SCORE 1281394.085
AT ITER 9566 NEW BEST:: SOT 11742823 SOS 7251651 HAS SOPS 5987757 HAS SOUS 1360113 HAS SOUPS 1273604 WITH SCORE 1280855.651
AT ITER 9583 NEW BEST:: SOT 11741973 SOS 7250956 HAS SOPS 5986436 HAS SOUS 1358676 HAS SOUPS 1272165 WITH SCORE 1279415.956
AT ITER 9615 NEW BEST:: SOT 11741369 SOS 7250714 HAS SOPS 5985937 HAS SOUS 1358592 HAS SOUPS 1272062 WITH SCORE 1279312.714
AT ITER 9623 NEW BEST:: SOT 11743147 SOS 7257068 HAS SOPS 5989359 HAS SOUS 1358289 HAS SOUPS 1271055 WITH SCORE 1278312.068
AT ITER 9644 NEW BEST:: SOT 11743204 SOS 7259893 HAS SOPS 5992209 HAS SOUS 1358203 HAS SOUPS 1270969 WITH SCORE 1278228.893
AT ITER 9659 NEW BEST:: SOT 11742967 SOS 7259529 HAS SOPS 5991812 HAS SOUS 1357901 HAS SOUPS 1270664 WITH SCORE 1277923.529
AT ITER 9665 NEW BEST:: SOT 11742925 SOS 7259467 HAS SOPS 5991786 HAS SOUS 1357633 HAS SOUPS 1270462 WITH SCORE 1277721.467
AT ITER 9673 NEW BEST:: SOT 11742745 SOS 7259769 HAS SOPS 5991991 HAS SOUS 1356998 HAS SOUPS 1269832 WITH SCORE 1277091.769
AT ITER 9754 NEW BEST:: SOT 11741104 SOS 7256096 HAS SOPS 5988372 HAS SOUS 1351682 HAS SOUPS 1264681 WITH SCORE 1271937.096
AT ITER 9772 NEW BEST:: SOT 11740889 SOS 7255881 HAS SOPS 5988061 HAS SOUS 1351083 HAS SOUPS 1264082 WITH SCORE 1271337.881
AT ITER 9817 NEW BEST:: SOT 11740873 SOS 7255689 HAS SOPS 5987805 HAS SOUS 1350997 HAS SOUPS 1263996 WITH SCORE 1271251.689
AT ITER 9831 NEW BEST:: SOT 11739346 SOS 7254489 HAS SOPS 5985778 HAS SOUS 1344673 HAS SOUPS 1258337 WITH SCORE 1265591.489
AT ITER 9847 NEW BEST:: SOT 11737665 SOS 7249414 HAS SOPS 5982263 HAS SOUS 1343628 HAS SOUPS 1257299 WITH SCORE 1264548.414
AT ITER 9877 NEW BEST:: SOT 11737329 SOS 7248774 HAS SOPS 5982094 HAS SOUS 1343237 HAS SOUPS 1256908 WITH SCORE 1264156.774
AT ITER 9891 NEW BEST:: SOT 11735663 SOS 7243985 HAS SOPS 5978193 HAS SOUS 1341400 HAS SOUPS 1255071 WITH SCORE 1262314.985
AT ITER 9915 NEW BEST:: SOT 11734342 SOS 7242430 HAS SOPS 5976455 HAS SOUS 1340624 HAS SOUPS 1254259 WITH SCORE 1261501.43
AT ITER 9960 NEW BEST:: SOT 11734454 SOS 7241999 HAS SOPS 5976120 HAS SOUS 1340592 HAS SOUPS 1254227 WITH SCORE 1261468.999
AT ITER 9967 NEW BEST:: SOT 11733510 SOS 7241023 HAS SOPS 5972895 HAS SOUS 1339641 HAS SOUPS 1253190 WITH SCORE 1260431.023
AT ITER 9983 NEW BEST:: SOT 11733490 SOS 7241003 HAS SOPS 5972855 HAS SOUS 1339385 HAS SOUPS 1252930 WITH SCORE 1260171.003
AT ITER 9988 NEW BEST:: SOT 11733478 SOS 7240881 HAS SOPS 5972719 HAS SOUS 1339373 HAS SOUPS 1252918 WITH SCORE 1260158.881
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14692860 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16077352 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is RERS17pb113-PT-2, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r331-tall-167889203900016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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