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-167889203900008.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-1, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889203900008
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 4.6K Feb 26 18:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 42K Feb 26 18:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 18:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 18:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 18:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 26 18:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 18:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 18:13 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 1679035761486

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-1
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 06:49:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 06:49:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 06:49:24] [INFO ] Load time of PNML (sax parser for PT used): 592 ms
[2023-03-17 06:49:24] [INFO ] Transformed 639 places.
[2023-03-17 06:49:24] [INFO ] Transformed 31353 transitions.
[2023-03-17 06:49:24] [INFO ] Found NUPN structural information;
[2023-03-17 06:49:24] [INFO ] Parsed PT model containing 639 places and 31353 transitions and 125418 arcs in 838 ms.
[2023-03-17 06:49:24] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 639 places, 31353 transitions and 125418 arcs took 139 ms.
Total runtime 1014 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 1
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 4 NEW BEST:: SOT 12195825 SOS 7741690 HAS SOPS 6414517 HAS SOUS 3045966 HAS SOUPS 2945853 WITH SCORE 2953594.69
AT ITER 13 NEW BEST:: SOT 12195805 SOS 7741310 HAS SOPS 6414245 HAS SOUS 3045892 HAS SOUPS 2945779 WITH SCORE 2953520.31
AT ITER 22 NEW BEST:: SOT 12195675 SOS 7741214 HAS SOPS 6414113 HAS SOUS 3045695 HAS SOUPS 2945582 WITH SCORE 2953323.214
AT ITER 31 NEW BEST:: SOT 12196068 SOS 7744332 HAS SOPS 6414552 HAS SOUS 3042674 HAS SOUPS 2942561 WITH SCORE 2950305.332
AT ITER 44 NEW BEST:: SOT 12186114 SOS 7727523 HAS SOPS 6404616 HAS SOUS 3024780 HAS SOUPS 2925075 WITH SCORE 2932802.523
AT ITER 47 NEW BEST:: SOT 12187643 SOS 7730058 HAS SOPS 6406169 HAS SOUS 3023852 HAS SOUPS 2924147 WITH SCORE 2931877.058
AT ITER 54 NEW BEST:: SOT 12184481 SOS 7724814 HAS SOPS 6402466 HAS SOUS 3014680 HAS SOUPS 2915097 WITH SCORE 2922821.814
AT ITER 57 NEW BEST:: SOT 12183980 SOS 7724439 HAS SOPS 6403360 HAS SOUS 3013453 HAS SOUPS 2913881 WITH SCORE 2921605.439
AT ITER 72 NEW BEST:: SOT 12180239 SOS 7719416 HAS SOPS 6397080 HAS SOUS 3010767 HAS SOUPS 2911062 WITH SCORE 2918781.416
AT ITER 73 NEW BEST:: SOT 12179775 SOS 7718804 HAS SOPS 6395899 HAS SOUS 3009401 HAS SOUPS 2909696 WITH SCORE 2917414.804
AT ITER 86 NEW BEST:: SOT 12179460 SOS 7720410 HAS SOPS 6395514 HAS SOUS 3008979 HAS SOUPS 2909225 WITH SCORE 2916945.41
AT ITER 90 NEW BEST:: SOT 12173490 SOS 7716087 HAS SOPS 6394820 HAS SOUS 3001136 HAS SOUPS 2901497 WITH SCORE 2909213.087
AT ITER 97 NEW BEST:: SOT 12174416 SOS 7719461 HAS SOPS 6397621 HAS SOUS 2999472 HAS SOUPS 2899833 WITH SCORE 2907552.461
AT ITER 108 NEW BEST:: SOT 12174208 SOS 7719645 HAS SOPS 6398078 HAS SOUS 2994886 HAS SOUPS 2895247 WITH SCORE 2902966.645
AT ITER 110 NEW BEST:: SOT 12173345 SOS 7718436 HAS SOPS 6396775 HAS SOUS 2993248 HAS SOUPS 2893623 WITH SCORE 2901341.436
AT ITER 115 NEW BEST:: SOT 12143742 SOS 7668489 HAS SOPS 6353880 HAS SOUS 2937103 HAS SOUPS 2837007 WITH SCORE 2844675.489
AT ITER 117 NEW BEST:: SOT 12143432 SOS 7668079 HAS SOPS 6354312 HAS SOUS 2936909 HAS SOUPS 2836813 WITH SCORE 2844481.079
AT ITER 134 NEW BEST:: SOT 12149167 SOS 7681548 HAS SOPS 6370135 HAS SOUS 2925854 HAS SOUPS 2825702 WITH SCORE 2833383.548
AT ITER 144 NEW BEST:: SOT 12147788 SOS 7680242 HAS SOPS 6370258 HAS SOUS 2923867 HAS SOUPS 2823715 WITH SCORE 2831395.242
AT ITER 157 NEW BEST:: SOT 12147757 SOS 7680191 HAS SOPS 6370197 HAS SOUS 2923806 HAS SOUPS 2823644 WITH SCORE 2831324.191
AT ITER 159 NEW BEST:: SOT 12147548 SOS 7679906 HAS SOPS 6369952 HAS SOUS 2923685 HAS SOUPS 2823533 WITH SCORE 2831212.906
AT ITER 161 NEW BEST:: SOT 12147779 SOS 7680791 HAS SOPS 6370802 HAS SOUS 2923214 HAS SOUPS 2823062 WITH SCORE 2830742.791
AT ITER 163 NEW BEST:: SOT 12146785 SOS 7679667 HAS SOPS 6369162 HAS SOUS 2920124 HAS SOUPS 2820090 WITH SCORE 2827769.667
AT ITER 165 NEW BEST:: SOT 12144432 SOS 7680519 HAS SOPS 6369014 HAS SOUS 2913548 HAS SOUPS 2813556 WITH SCORE 2821236.519
AT ITER 172 NEW BEST:: SOT 12144493 SOS 7681026 HAS SOPS 6369446 HAS SOUS 2913151 HAS SOUPS 2813159 WITH SCORE 2820840.026
AT ITER 173 NEW BEST:: SOT 12141512 SOS 7676000 HAS SOPS 6365470 HAS SOUS 2906942 HAS SOUPS 2806935 WITH SCORE 2814611.0
AT ITER 186 NEW BEST:: SOT 12140883 SOS 7673612 HAS SOPS 6364611 HAS SOUS 2906006 HAS SOUPS 2806028 WITH SCORE 2813701.612
AT ITER 199 NEW BEST:: SOT 12138730 SOS 7670156 HAS SOPS 6361794 HAS SOUS 2900989 HAS SOUPS 2801115 WITH SCORE 2808785.156
AT ITER 205 NEW BEST:: SOT 12142357 SOS 7681145 HAS SOPS 6370855 HAS SOUS 2900852 HAS SOUPS 2801000 WITH SCORE 2808681.145
AT ITER 210 NEW BEST:: SOT 12142231 SOS 7686566 HAS SOPS 6375022 HAS SOUS 2891482 HAS SOUPS 2791630 WITH SCORE 2799316.566
AT ITER 211 NEW BEST:: SOT 12139454 SOS 7680653 HAS SOPS 6373899 HAS SOUS 2889906 HAS SOUPS 2790054 WITH SCORE 2797734.653
AT ITER 229 NEW BEST:: SOT 12139430 SOS 7680480 HAS SOPS 6374036 HAS SOUS 2889725 HAS SOUPS 2789873 WITH SCORE 2797553.48
AT ITER 236 NEW BEST:: SOT 12138060 SOS 7676719 HAS SOPS 6370245 HAS SOUS 2886415 HAS SOUPS 2786754 WITH SCORE 2794430.719
AT ITER 237 NEW BEST:: SOT 12136403 SOS 7675062 HAS SOPS 6368588 HAS SOUS 2884718 HAS SOUPS 2785057 WITH SCORE 2792732.062
AT ITER 242 NEW BEST:: SOT 12108242 SOS 7643837 HAS SOPS 6334895 HAS SOUS 2853809 HAS SOUPS 2754139 WITH SCORE 2761782.837
AT ITER 248 NEW BEST:: SOT 12108852 SOS 7646029 HAS SOPS 6338632 HAS SOUS 2851808 HAS SOUPS 2752201 WITH SCORE 2759847.029
AT ITER 249 NEW BEST:: SOT 12108641 SOS 7644749 HAS SOPS 6337351 HAS SOUS 2851192 HAS SOUPS 2751585 WITH SCORE 2759229.749
AT ITER 264 NEW BEST:: SOT 12108569 SOS 7645570 HAS SOPS 6337929 HAS SOUS 2850794 HAS SOUPS 2751187 WITH SCORE 2758832.57
AT ITER 270 NEW BEST:: SOT 12108170 SOS 7645069 HAS SOPS 6337098 HAS SOUS 2849909 HAS SOUPS 2750302 WITH SCORE 2757947.069
AT ITER 272 NEW BEST:: SOT 12103846 SOS 7635063 HAS SOPS 6330231 HAS SOUS 2848313 HAS SOUPS 2748706 WITH SCORE 2756341.063
AT ITER 278 NEW BEST:: SOT 12103636 SOS 7634347 HAS SOPS 6329412 HAS SOUS 2847918 HAS SOUPS 2748311 WITH SCORE 2755945.347
AT ITER 285 NEW BEST:: SOT 12104281 SOS 7637061 HAS SOPS 6332918 HAS SOUS 2845776 HAS SOUPS 2746169 WITH SCORE 2753806.061
AT ITER 288 NEW BEST:: SOT 12105649 SOS 7642950 HAS SOPS 6338195 HAS SOUS 2844867 HAS SOUPS 2745260 WITH SCORE 2752902.95
AT ITER 301 NEW BEST:: SOT 12105570 SOS 7644686 HAS SOPS 6338116 HAS SOUS 2844843 HAS SOUPS 2745181 WITH SCORE 2752825.686
AT ITER 313 NEW BEST:: SOT 12105396 SOS 7644541 HAS SOPS 6338049 HAS SOUS 2844542 HAS SOUPS 2744874 WITH SCORE 2752518.541
AT ITER 325 NEW BEST:: SOT 12104172 SOS 7642120 HAS SOPS 6336359 HAS SOUS 2844033 HAS SOUPS 2744365 WITH SCORE 2752007.12
AT ITER 327 NEW BEST:: SOT 12111642 SOS 7659471 HAS SOPS 6355982 HAS SOUS 2841988 HAS SOUPS 2742590 WITH SCORE 2750249.471
AT ITER 334 NEW BEST:: SOT 12111236 SOS 7658536 HAS SOPS 6354668 HAS SOUS 2841584 HAS SOUPS 2742186 WITH SCORE 2749844.536
AT ITER 336 NEW BEST:: SOT 12111620 SOS 7660990 HAS SOPS 6358722 HAS SOUS 2840675 HAS SOUPS 2741277 WITH SCORE 2748937.99
AT ITER 340 NEW BEST:: SOT 12111679 SOS 7661938 HAS SOPS 6360215 HAS SOUS 2840639 HAS SOUPS 2741241 WITH SCORE 2748902.938
AT ITER 347 NEW BEST:: SOT 12111689 SOS 7661610 HAS SOPS 6360107 HAS SOUS 2840459 HAS SOUPS 2741061 WITH SCORE 2748722.61
AT ITER 353 NEW BEST:: SOT 12119559 SOS 7676219 HAS SOPS 6377558 HAS SOUS 2835389 HAS SOUPS 2736633 WITH SCORE 2744309.219
AT ITER 356 NEW BEST:: SOT 12122405 SOS 7688522 HAS SOPS 6389191 HAS SOUS 2833625 HAS SOUPS 2734869 WITH SCORE 2742557.522
AT ITER 358 NEW BEST:: SOT 12114965 SOS 7672249 HAS SOPS 6372902 HAS SOUS 2824356 HAS SOUPS 2725600 WITH SCORE 2733272.249
AT ITER 360 NEW BEST:: SOT 12114369 SOS 7670476 HAS SOPS 6376987 HAS SOUS 2822952 HAS SOUPS 2724196 WITH SCORE 2731866.476
AT ITER 366 NEW BEST:: SOT 12114500 SOS 7672204 HAS SOPS 6377884 HAS SOUS 2820876 HAS SOUPS 2722154 WITH SCORE 2729826.204
AT ITER 371 NEW BEST:: SOT 12094195 SOS 7650863 HAS SOPS 6356170 HAS SOUS 2796178 HAS SOUPS 2697312 WITH SCORE 2704962.863
AT ITER 376 NEW BEST:: SOT 12094139 SOS 7650671 HAS SOPS 6355915 HAS SOUS 2796003 HAS SOUPS 2697137 WITH SCORE 2704787.671
AT ITER 379 NEW BEST:: SOT 12094156 SOS 7651113 HAS SOPS 6355912 HAS SOUS 2795555 HAS SOUPS 2696684 WITH SCORE 2704335.113
AT ITER 383 NEW BEST:: SOT 12090369 SOS 7645121 HAS SOPS 6350200 HAS SOUS 2788309 HAS SOUPS 2689498 WITH SCORE 2697143.121
AT ITER 397 NEW BEST:: SOT 12087363 SOS 7630365 HAS SOPS 6341813 HAS SOUS 2787773 HAS SOUPS 2688962 WITH SCORE 2696592.365
AT ITER 420 NEW BEST:: SOT 12090795 SOS 7636481 HAS SOPS 6350420 HAS SOUS 2787202 HAS SOUPS 2688372 WITH SCORE 2696008.481
AT ITER 425 NEW BEST:: SOT 12090771 SOS 7636210 HAS SOPS 6350252 HAS SOUS 2785982 HAS SOUPS 2687152 WITH SCORE 2694788.21
AT ITER 436 NEW BEST:: SOT 12091809 SOS 7646471 HAS SOPS 6355424 HAS SOUS 2782471 HAS SOUPS 2683641 WITH SCORE 2691287.471
AT ITER 458 NEW BEST:: SOT 12092557 SOS 7642361 HAS SOPS 6350490 HAS SOUS 2780896 HAS SOUPS 2682066 WITH SCORE 2689708.361
AT ITER 465 NEW BEST:: SOT 12084744 SOS 7640033 HAS SOPS 6354431 HAS SOUS 2775947 HAS SOUPS 2677350 WITH SCORE 2684990.033
AT ITER 470 NEW BEST:: SOT 12080479 SOS 7634508 HAS SOPS 6347746 HAS SOUS 2768212 HAS SOUPS 2669657 WITH SCORE 2677291.508
AT ITER 472 NEW BEST:: SOT 12080461 SOS 7634560 HAS SOPS 6347698 HAS SOUS 2768086 HAS SOUPS 2669531 WITH SCORE 2677165.56
AT ITER 481 NEW BEST:: SOT 12080417 SOS 7634420 HAS SOPS 6347464 HAS SOUS 2767975 HAS SOUPS 2669420 WITH SCORE 2677054.42
AT ITER 484 NEW BEST:: SOT 12074993 SOS 7617833 HAS SOPS 6335622 HAS SOUS 2761119 HAS SOUPS 2663123 WITH SCORE 2670740.833
AT ITER 514 NEW BEST:: SOT 12074041 SOS 7614820 HAS SOPS 6332911 HAS SOUS 2758933 HAS SOUPS 2660937 WITH SCORE 2668551.82
AT ITER 523 NEW BEST:: SOT 12074029 SOS 7614808 HAS SOPS 6332899 HAS SOUS 2758801 HAS SOUPS 2660805 WITH SCORE 2668419.808
AT ITER 525 NEW BEST:: SOT 12073371 SOS 7614382 HAS SOPS 6333522 HAS SOUS 2757944 HAS SOUPS 2659948 WITH SCORE 2667562.382
AT ITER 544 NEW BEST:: SOT 12079736 SOS 7620558 HAS SOPS 6339856 HAS SOUS 2756389 HAS SOUPS 2659256 WITH SCORE 2666876.558
AT ITER 547 NEW BEST:: SOT 12079575 SOS 7622665 HAS SOPS 6342315 HAS SOUS 2755886 HAS SOUPS 2658753 WITH SCORE 2666375.665
AT ITER 548 NEW BEST:: SOT 12079272 SOS 7622362 HAS SOPS 6341628 HAS SOUS 2754591 HAS SOUPS 2657394 WITH SCORE 2665016.362
AT ITER 563 NEW BEST:: SOT 12075689 SOS 7612033 HAS SOPS 6334832 HAS SOUS 2753537 HAS SOUPS 2656489 WITH SCORE 2664101.033
AT ITER 575 NEW BEST:: SOT 12076100 SOS 7612794 HAS SOPS 6334603 HAS SOUS 2753458 HAS SOUPS 2656410 WITH SCORE 2664022.794
AT ITER 579 NEW BEST:: SOT 12075860 SOS 7612554 HAS SOPS 6334219 HAS SOUS 2752850 HAS SOUPS 2655770 WITH SCORE 2663382.554
AT ITER 596 NEW BEST:: SOT 12074771 SOS 7611442 HAS SOPS 6333173 HAS SOUS 2750129 HAS SOUPS 2653049 WITH SCORE 2660660.442
AT ITER 597 NEW BEST:: SOT 12071926 SOS 7603319 HAS SOPS 6327283 HAS SOUS 2748550 HAS SOUPS 2651470 WITH SCORE 2659073.319
AT ITER 608 NEW BEST:: SOT 12068651 SOS 7596920 HAS SOPS 6322939 HAS SOUS 2742297 HAS SOUPS 2645217 WITH SCORE 2652813.92
AT ITER 616 NEW BEST:: SOT 12064437 SOS 7591786 HAS SOPS 6315665 HAS SOUS 2733343 HAS SOUPS 2636407 WITH SCORE 2643998.786
AT ITER 623 NEW BEST:: SOT 12066121 SOS 7593967 HAS SOPS 6315335 HAS SOUS 2731673 HAS SOUPS 2634417 WITH SCORE 2642010.967
AT ITER 629 NEW BEST:: SOT 12066381 SOS 7596033 HAS SOPS 6314227 HAS SOUS 2724936 HAS SOUPS 2627558 WITH SCORE 2635154.033
AT ITER 633 NEW BEST:: SOT 12065220 SOS 7598780 HAS SOPS 6315443 HAS SOUS 2724783 HAS SOUPS 2627405 WITH SCORE 2635003.78
AT ITER 636 NEW BEST:: SOT 12043215 SOS 7575672 HAS SOPS 6291004 HAS SOUS 2693460 HAS SOUPS 2596284 WITH SCORE 2603859.672
AT ITER 649 NEW BEST:: SOT 12041035 SOS 7573883 HAS SOPS 6288537 HAS SOUS 2687234 HAS SOUPS 2589394 WITH SCORE 2596967.883
AT ITER 674 NEW BEST:: SOT 12039949 SOS 7572806 HAS SOPS 6287523 HAS SOUS 2686805 HAS SOUPS 2589028 WITH SCORE 2596600.806
AT ITER 681 NEW BEST:: SOT 12039873 SOS 7572399 HAS SOPS 6286653 HAS SOUS 2686443 HAS SOUPS 2588666 WITH SCORE 2596238.399
AT ITER 689 NEW BEST:: SOT 12041499 SOS 7580551 HAS SOPS 6294377 HAS SOUS 2681985 HAS SOUPS 2584208 WITH SCORE 2591788.551
AT ITER 699 NEW BEST:: SOT 12041248 SOS 7580847 HAS SOPS 6293706 HAS SOUS 2677604 HAS SOUPS 2579973 WITH SCORE 2587553.847
AT ITER 706 NEW BEST:: SOT 12039825 SOS 7579424 HAS SOPS 6292283 HAS SOUS 2676181 HAS SOUPS 2578550 WITH SCORE 2586129.424
AT ITER 708 NEW BEST:: SOT 12038318 SOS 7577449 HAS SOPS 6289113 HAS SOUS 2675450 HAS SOUPS 2577634 WITH SCORE 2585211.449
AT ITER 725 NEW BEST:: SOT 12038228 SOS 7574386 HAS SOPS 6285980 HAS SOUS 2675320 HAS SOUPS 2577504 WITH SCORE 2585078.386
AT ITER 734 NEW BEST:: SOT 12037962 SOS 7574573 HAS SOPS 6285621 HAS SOUS 2675260 HAS SOUPS 2577228 WITH SCORE 2584802.573
AT ITER 738 NEW BEST:: SOT 12038207 SOS 7575303 HAS SOPS 6286704 HAS SOUS 2674314 HAS SOUPS 2576251 WITH SCORE 2583826.303
AT ITER 741 NEW BEST:: SOT 12038078 SOS 7575205 HAS SOPS 6286087 HAS SOUS 2673319 HAS SOUPS 2575234 WITH SCORE 2582809.205
AT ITER 745 NEW BEST:: SOT 12031107 SOS 7555637 HAS SOPS 6269772 HAS SOUS 2667498 HAS SOUPS 2569784 WITH SCORE 2577339.637
AT ITER 765 NEW BEST:: SOT 12029914 SOS 7554576 HAS SOPS 6271254 HAS SOUS 2667452 HAS SOUPS 2569738 WITH SCORE 2577292.576
AT ITER 779 NEW BEST:: SOT 12029883 SOS 7554515 HAS SOPS 6271136 HAS SOUS 2667422 HAS SOUPS 2569708 WITH SCORE 2577262.515
AT ITER 801 NEW BEST:: SOT 12033070 SOS 7562048 HAS SOPS 6273922 HAS SOUS 2664687 HAS SOUPS 2566973 WITH SCORE 2574535.048
AT ITER 807 NEW BEST:: SOT 12032955 SOS 7561682 HAS SOPS 6273454 HAS SOUS 2663245 HAS SOUPS 2565992 WITH SCORE 2573553.682
AT ITER 809 NEW BEST:: SOT 12034843 SOS 7561956 HAS SOPS 6281970 HAS SOUS 2661687 HAS SOUPS 2564599 WITH SCORE 2572160.956
AT ITER 813 NEW BEST:: SOT 12036278 SOS 7565637 HAS SOPS 6282506 HAS SOUS 2660817 HAS SOUPS 2563729 WITH SCORE 2571294.637
AT ITER 824 NEW BEST:: SOT 12038212 SOS 7570699 HAS SOPS 6288998 HAS SOUS 2655890 HAS SOUPS 2558906 WITH SCORE 2566476.699
AT ITER 835 NEW BEST:: SOT 12032505 SOS 7564976 HAS SOPS 6283027 HAS SOUS 2650093 HAS SOUPS 2552941 WITH SCORE 2560505.976
AT ITER 845 NEW BEST:: SOT 12033585 SOS 7569480 HAS SOPS 6288720 HAS SOUS 2645470 HAS SOUPS 2548318 WITH SCORE 2555887.48
AT ITER 847 NEW BEST:: SOT 12030845 SOS 7566918 HAS SOPS 6287239 HAS SOUS 2637958 HAS SOUPS 2540806 WITH SCORE 2548372.918
AT ITER 849 NEW BEST:: SOT 12028952 SOS 7565447 HAS SOPS 6285238 HAS SOUS 2632824 HAS SOUPS 2535655 WITH SCORE 2543220.447
AT ITER 870 NEW BEST:: SOT 12028808 SOS 7565309 HAS SOPS 6285163 HAS SOUS 2632317 HAS SOUPS 2535163 WITH SCORE 2542728.309
AT ITER 877 NEW BEST:: SOT 12030379 SOS 7565644 HAS SOPS 6287404 HAS SOUS 2625583 HAS SOUPS 2529137 WITH SCORE 2536702.644
AT ITER 909 NEW BEST:: SOT 12027681 SOS 7563550 HAS SOPS 6283439 HAS SOUS 2612286 HAS SOUPS 2516037 WITH SCORE 2523600.55
AT ITER 919 NEW BEST:: SOT 12027750 SOS 7567586 HAS SOPS 6288354 HAS SOUS 2610119 HAS SOUPS 2513870 WITH SCORE 2521437.586
AT ITER 926 NEW BEST:: SOT 12022372 SOS 7553911 HAS SOPS 6275775 HAS SOUS 2606626 HAS SOUPS 2510377 WITH SCORE 2517930.911
AT ITER 927 NEW BEST:: SOT 12022086 SOS 7550418 HAS SOPS 6275067 HAS SOUS 2605811 HAS SOUPS 2509562 WITH SCORE 2517112.418
AT ITER 929 NEW BEST:: SOT 12019501 SOS 7546845 HAS SOPS 6271572 HAS SOUS 2601778 HAS SOUPS 2505761 WITH SCORE 2513307.845
AT ITER 938 NEW BEST:: SOT 12019297 SOS 7546113 HAS SOPS 6270784 HAS SOUS 2601510 HAS SOUPS 2505493 WITH SCORE 2513039.113
AT ITER 942 NEW BEST:: SOT 12019317 SOS 7547313 HAS SOPS 6271344 HAS SOUS 2600947 HAS SOUPS 2504910 WITH SCORE 2512457.313
AT ITER 963 NEW BEST:: SOT 12017664 SOS 7545224 HAS SOPS 6268465 HAS SOUS 2597259 HAS SOUPS 2501250 WITH SCORE 2508795.224
AT ITER 969 NEW BEST:: SOT 12019745 SOS 7546894 HAS SOPS 6272184 HAS SOUS 2595011 HAS SOUPS 2499002 WITH SCORE 2506548.894
AT ITER 977 NEW BEST:: SOT 12020017 SOS 7547462 HAS SOPS 6271934 HAS SOUS 2594666 HAS SOUPS 2498657 WITH SCORE 2506204.462
AT ITER 991 NEW BEST:: SOT 12019221 SOS 7546622 HAS SOPS 6270251 HAS SOUS 2594042 HAS SOUPS 2498033 WITH SCORE 2505579.622
AT ITER 1005 NEW BEST:: SOT 12019163 SOS 7546564 HAS SOPS 6270193 HAS SOUS 2593864 HAS SOUPS 2497855 WITH SCORE 2505401.564
AT ITER 1017 NEW BEST:: SOT 12021565 SOS 7551293 HAS SOPS 6275738 HAS SOUS 2593691 HAS SOUPS 2497682 WITH SCORE 2505233.293
AT ITER 1020 NEW BEST:: SOT 12021470 SOS 7551270 HAS SOPS 6275667 HAS SOUS 2593492 HAS SOUPS 2497471 WITH SCORE 2505022.27
AT ITER 1026 NEW BEST:: SOT 12014909 SOS 7544813 HAS SOPS 6268592 HAS SOUS 2591508 HAS SOUPS 2494836 WITH SCORE 2502380.813
AT ITER 1030 NEW BEST:: SOT 12015181 SOS 7546958 HAS SOPS 6271358 HAS SOUS 2590802 HAS SOUPS 2494130 WITH SCORE 2501676.958
AT ITER 1041 NEW BEST:: SOT 12009679 SOS 7539882 HAS SOPS 6261716 HAS SOUS 2579163 HAS SOUPS 2482551 WITH SCORE 2490090.882
AT ITER 1043 NEW BEST:: SOT 12009629 SOS 7539832 HAS SOPS 6261666 HAS SOUS 2578937 HAS SOUPS 2482325 WITH SCORE 2489864.832
AT ITER 1047 NEW BEST:: SOT 12009589 SOS 7539704 HAS SOPS 6261858 HAS SOUS 2578305 HAS SOUPS 2481957 WITH SCORE 2489496.704
AT ITER 1061 NEW BEST:: SOT 12009599 SOS 7539617 HAS SOPS 6261753 HAS SOUS 2577992 HAS SOUPS 2481644 WITH SCORE 2489183.617
AT ITER 1064 NEW BEST:: SOT 12008598 SOS 7538237 HAS SOPS 6261933 HAS SOUS 2575742 HAS SOUPS 2479394 WITH SCORE 2486932.237
AT ITER 1103 NEW BEST:: SOT 12008730 SOS 7535044 HAS SOPS 6258754 HAS SOUS 2574933 HAS SOUPS 2478806 WITH SCORE 2486341.044
AT ITER 1107 NEW BEST:: SOT 12007885 SOS 7533553 HAS SOPS 6257586 HAS SOUS 2574078 HAS SOUPS 2478103 WITH SCORE 2485636.553
AT ITER 1108 NEW BEST:: SOT 12007401 SOS 7533069 HAS SOPS 6256814 HAS SOUS 2572730 HAS SOUPS 2476755 WITH SCORE 2484288.069
AT ITER 1112 NEW BEST:: SOT 12002568 SOS 7527694 HAS SOPS 6251484 HAS SOUS 2561839 HAS SOUPS 2465938 WITH SCORE 2473465.694
AT ITER 1123 NEW BEST:: SOT 12001350 SOS 7527761 HAS SOPS 6249713 HAS SOUS 2557310 HAS SOUPS 2461373 WITH SCORE 2468900.761
AT ITER 1132 NEW BEST:: SOT 12000999 SOS 7527604 HAS SOPS 6249428 HAS SOUS 2556861 HAS SOUPS 2460892 WITH SCORE 2468419.604
AT ITER 1140 NEW BEST:: SOT 11999377 SOS 7525982 HAS SOPS 6247806 HAS SOUS 2555239 HAS SOUPS 2459270 WITH SCORE 2466795.982
AT ITER 1158 NEW BEST:: SOT 12002042 SOS 7534379 HAS SOPS 6258247 HAS SOUS 2554766 HAS SOUPS 2458797 WITH SCORE 2466331.379
AT ITER 1191 NEW BEST:: SOT 12001952 SOS 7534429 HAS SOPS 6258171 HAS SOUS 2553938 HAS SOUPS 2457969 WITH SCORE 2465503.429
AT ITER 1193 NEW BEST:: SOT 12006920 SOS 7542442 HAS SOPS 6267256 HAS SOUS 2553191 HAS SOUPS 2457314 WITH SCORE 2464856.442
AT ITER 1194 NEW BEST:: SOT 12006349 SOS 7541835 HAS SOPS 6266423 HAS SOUS 2551319 HAS SOUPS 2455442 WITH SCORE 2462983.835
AT ITER 1196 NEW BEST:: SOT 12005080 SOS 7540579 HAS SOPS 6264806 HAS SOUS 2548191 HAS SOUPS 2452353 WITH SCORE 2459893.579
AT ITER 1208 NEW BEST:: SOT 12004108 SOS 7539929 HAS SOPS 6264359 HAS SOUS 2546000 HAS SOUPS 2450128 WITH SCORE 2457667.929
AT ITER 1211 NEW BEST:: SOT 12006036 SOS 7543307 HAS SOPS 6267370 HAS SOUS 2545279 HAS SOUPS 2449407 WITH SCORE 2456950.307
AT ITER 1216 NEW BEST:: SOT 12006878 SOS 7547624 HAS SOPS 6268370 HAS SOUS 2544131 HAS SOUPS 2448259 WITH SCORE 2455806.624
AT ITER 1238 NEW BEST:: SOT 12005031 SOS 7545588 HAS SOPS 6265505 HAS SOUS 2540497 HAS SOUPS 2444675 WITH SCORE 2452220.588
AT ITER 1246 NEW BEST:: SOT 12004797 SOS 7549174 HAS SOPS 6267529 HAS SOUS 2536197 HAS SOUPS 2440417 WITH SCORE 2447966.174
AT ITER 1284 NEW BEST:: SOT 12008254 SOS 7561635 HAS SOPS 6279798 HAS SOUS 2535116 HAS SOUPS 2439336 WITH SCORE 2446897.635
AT ITER 1286 NEW BEST:: SOT 12006207 SOS 7562890 HAS SOPS 6279895 HAS SOUS 2526975 HAS SOUPS 2431348 WITH SCORE 2438910.89
AT ITER 1290 NEW BEST:: SOT 12006620 SOS 7563830 HAS SOPS 6279656 HAS SOUS 2525816 HAS SOUPS 2430167 WITH SCORE 2437730.83
AT ITER 1293 NEW BEST:: SOT 12007600 SOS 7565378 HAS SOPS 6284314 HAS SOUS 2525450 HAS SOUPS 2429801 WITH SCORE 2437366.378
AT ITER 1301 NEW BEST:: SOT 12004198 SOS 7557615 HAS SOPS 6276025 HAS SOUS 2523976 HAS SOUPS 2428327 WITH SCORE 2435884.615
AT ITER 1302 NEW BEST:: SOT 12004247 SOS 7558048 HAS SOPS 6277020 HAS SOUS 2522302 HAS SOUPS 2426653 WITH SCORE 2434211.048
AT ITER 1303 NEW BEST:: SOT 12009235 SOS 7569613 HAS SOPS 6288716 HAS SOUS 2519586 HAS SOUPS 2424095 WITH SCORE 2431664.613
AT ITER 1304 NEW BEST:: SOT 12006546 SOS 7565565 HAS SOPS 6284538 HAS SOUS 2514945 HAS SOUPS 2419454 WITH SCORE 2427019.565
AT ITER 1313 NEW BEST:: SOT 12017528 SOS 7576398 HAS SOPS 6295403 HAS SOUS 2513259 HAS SOUPS 2417800 WITH SCORE 2425376.398
AT ITER 1314 NEW BEST:: SOT 12016283 SOS 7574797 HAS SOPS 6293640 HAS SOUS 2510654 HAS SOUPS 2415213 WITH SCORE 2422787.797
AT ITER 1350 NEW BEST:: SOT 12015670 SOS 7574184 HAS SOPS 6292483 HAS SOUS 2508769 HAS SOUPS 2413008 WITH SCORE 2420582.184
AT ITER 1360 NEW BEST:: SOT 12014840 SOS 7573148 HAS SOPS 6292193 HAS SOUS 2506822 HAS SOUPS 2411150 WITH SCORE 2418723.148
AT ITER 1362 NEW BEST:: SOT 12014926 SOS 7566960 HAS SOPS 6286764 HAS SOUS 2505314 HAS SOUPS 2409642 WITH SCORE 2417208.96
AT ITER 1389 NEW BEST:: SOT 12017585 SOS 7575443 HAS SOPS 6289377 HAS SOUS 2498192 HAS SOUPS 2402533 WITH SCORE 2410108.443
AT ITER 1391 NEW BEST:: SOT 12016768 SOS 7575440 HAS SOPS 6287924 HAS SOUS 2493909 HAS SOUPS 2398250 WITH SCORE 2405825.44
AT ITER 1401 NEW BEST:: SOT 12016865 SOS 7577141 HAS SOPS 6290171 HAS SOUS 2493629 HAS SOUPS 2397970 WITH SCORE 2405547.141
AT ITER 1406 NEW BEST:: SOT 12018917 SOS 7580762 HAS SOPS 6295111 HAS SOUS 2493053 HAS SOUPS 2397394 WITH SCORE 2404974.762
AT ITER 1420 NEW BEST:: SOT 12018741 SOS 7580523 HAS SOPS 6294893 HAS SOUS 2491256 HAS SOUPS 2395618 WITH SCORE 2403198.523
AT ITER 1425 NEW BEST:: SOT 12016804 SOS 7570148 HAS SOPS 6285214 HAS SOUS 2488612 HAS SOUPS 2392974 WITH SCORE 2400544.148
AT ITER 1433 NEW BEST:: SOT 12020469 SOS 7576000 HAS SOPS 6291304 HAS SOUS 2480567 HAS SOUPS 2384929 WITH SCORE 2392505.0
AT ITER 1440 NEW BEST:: SOT 12024129 SOS 7579537 HAS SOPS 6293355 HAS SOUS 2477473 HAS SOUPS 2381898 WITH SCORE 2389477.537
AT ITER 1455 NEW BEST:: SOT 12026507 SOS 7588199 HAS SOPS 6302096 HAS SOUS 2474856 HAS SOUPS 2379155 WITH SCORE 2386743.199
AT ITER 1462 NEW BEST:: SOT 12026134 SOS 7585796 HAS SOPS 6296025 HAS SOUS 2474821 HAS SOUPS 2379023 WITH SCORE 2386608.796
AT ITER 1503 NEW BEST:: SOT 12025922 SOS 7585670 HAS SOPS 6295634 HAS SOUS 2474266 HAS SOUPS 2378391 WITH SCORE 2385976.67
AT ITER 1506 NEW BEST:: SOT 12025605 SOS 7585346 HAS SOPS 6295268 HAS SOUS 2473586 HAS SOUPS 2377718 WITH SCORE 2385303.346
AT ITER 1524 NEW BEST:: SOT 12025615 SOS 7585221 HAS SOPS 6295143 HAS SOUS 2473381 HAS SOUPS 2377513 WITH SCORE 2385098.221
AT ITER 1538 NEW BEST:: SOT 12021131 SOS 7581883 HAS SOPS 6292370 HAS SOUS 2463689 HAS SOUPS 2367820 WITH SCORE 2375401.883
AT ITER 1558 NEW BEST:: SOT 12021696 SOS 7584209 HAS SOPS 6290591 HAS SOUS 2459188 HAS SOUPS 2363319 WITH SCORE 2370903.209
AT ITER 1563 NEW BEST:: SOT 12020666 SOS 7581322 HAS SOPS 6288790 HAS SOUS 2458887 HAS SOUPS 2363018 WITH SCORE 2370599.322
AT ITER 1565 NEW BEST:: SOT 12018131 SOS 7578437 HAS SOPS 6285184 HAS SOUS 2453864 HAS SOUPS 2358029 WITH SCORE 2365607.437
AT ITER 1574 NEW BEST:: SOT 12017703 SOS 7577976 HAS SOPS 6284709 HAS SOUS 2453856 HAS SOUPS 2358007 WITH SCORE 2365584.976
AT ITER 1575 NEW BEST:: SOT 12016996 SOS 7576599 HAS SOPS 6284390 HAS SOUS 2449579 HAS SOUPS 2354234 WITH SCORE 2361810.599
AT ITER 1587 NEW BEST:: SOT 12016891 SOS 7576689 HAS SOPS 6284636 HAS SOUS 2448852 HAS SOUPS 2353746 WITH SCORE 2361322.689
AT ITER 1599 NEW BEST:: SOT 12014784 SOS 7573925 HAS SOPS 6281782 HAS SOUS 2443994 HAS SOUPS 2348922 WITH SCORE 2356495.925
AT ITER 1601 NEW BEST:: SOT 12014961 SOS 7574242 HAS SOPS 6282229 HAS SOUS 2443575 HAS SOUPS 2348503 WITH SCORE 2356077.242
AT ITER 1603 NEW BEST:: SOT 12009599 SOS 7569243 HAS SOPS 6276695 HAS SOUS 2441460 HAS SOUPS 2346390 WITH SCORE 2353959.243
AT ITER 1611 NEW BEST:: SOT 12009245 SOS 7568981 HAS SOPS 6276147 HAS SOUS 2440705 HAS SOUPS 2345626 WITH SCORE 2353194.981
AT ITER 1618 NEW BEST:: SOT 12009241 SOS 7568920 HAS SOPS 6276331 HAS SOUS 2440423 HAS SOUPS 2345353 WITH SCORE 2352921.92
AT ITER 1630 NEW BEST:: SOT 12007881 SOS 7565986 HAS SOPS 6274697 HAS SOUS 2440269 HAS SOUPS 2345239 WITH SCORE 2352804.986
AT ITER 1632 NEW BEST:: SOT 12007755 SOS 7565622 HAS SOPS 6272629 HAS SOUS 2438058 HAS SOUPS 2342884 WITH SCORE 2350449.622
AT ITER 1636 NEW BEST:: SOT 12006884 SOS 7564665 HAS SOPS 6269878 HAS SOUS 2437331 HAS SOUPS 2342117 WITH SCORE 2349681.665
AT ITER 1643 NEW BEST:: SOT 12003157 SOS 7560768 HAS SOPS 6266224 HAS SOUS 2430424 HAS SOUPS 2335260 WITH SCORE 2342820.768
AT ITER 1646 NEW BEST:: SOT 12003036 SOS 7560892 HAS SOPS 6266230 HAS SOUS 2429521 HAS SOUPS 2334357 WITH SCORE 2341917.892
AT ITER 1670 NEW BEST:: SOT 12003238 SOS 7561094 HAS SOPS 6266384 HAS SOUS 2429467 HAS SOUPS 2334303 WITH SCORE 2341864.094
AT ITER 1674 NEW BEST:: SOT 12004210 SOS 7568409 HAS SOPS 6267246 HAS SOUS 2427515 HAS SOUPS 2332267 WITH SCORE 2339835.409
AT ITER 1682 NEW BEST:: SOT 12005054 SOS 7571415 HAS SOPS 6268512 HAS SOUS 2427271 HAS SOUPS 2331993 WITH SCORE 2339564.415
AT ITER 1686 NEW BEST:: SOT 12006857 SOS 7570251 HAS SOPS 6269597 HAS SOUS 2425290 HAS SOUPS 2330012 WITH SCORE 2337582.251
AT ITER 1702 NEW BEST:: SOT 12006649 SOS 7570765 HAS SOPS 6269491 HAS SOUS 2424484 HAS SOUPS 2329206 WITH SCORE 2336776.765
AT ITER 1706 NEW BEST:: SOT 12005445 SOS 7570988 HAS SOPS 6269469 HAS SOUS 2423252 HAS SOUPS 2327935 WITH SCORE 2335505.988
AT ITER 1720 NEW BEST:: SOT 12006261 SOS 7571991 HAS SOPS 6269836 HAS SOUS 2422950 HAS SOUPS 2327633 WITH SCORE 2335204.991
AT ITER 1735 NEW BEST:: SOT 12006685 SOS 7572309 HAS SOPS 6269627 HAS SOUS 2421531 HAS SOUPS 2326207 WITH SCORE 2333779.309
AT ITER 1736 NEW BEST:: SOT 12006595 SOS 7572162 HAS SOPS 6269297 HAS SOUS 2421264 HAS SOUPS 2325940 WITH SCORE 2333512.162
AT ITER 1737 NEW BEST:: SOT 12006142 SOS 7570703 HAS SOPS 6268867 HAS SOUS 2418457 HAS SOUPS 2323853 WITH SCORE 2331423.703
AT ITER 1748 NEW BEST:: SOT 12006937 SOS 7571531 HAS SOPS 6270032 HAS SOUS 2417243 HAS SOUPS 2322701 WITH SCORE 2330272.531
AT ITER 1755 NEW BEST:: SOT 12005390 SOS 7569571 HAS SOPS 6267877 HAS SOUS 2413953 HAS SOUPS 2319411 WITH SCORE 2326980.571
AT ITER 1758 NEW BEST:: SOT 12005052 SOS 7569233 HAS SOPS 6267491 HAS SOUS 2413591 HAS SOUPS 2319001 WITH SCORE 2326570.233
AT ITER 1765 NEW BEST:: SOT 12005046 SOS 7569227 HAS SOPS 6267485 HAS SOUS 2413577 HAS SOUPS 2318987 WITH SCORE 2326556.227
AT ITER 1779 NEW BEST:: SOT 12004528 SOS 7567597 HAS SOPS 6265465 HAS SOUS 2412957 HAS SOUPS 2318367 WITH SCORE 2325934.597
AT ITER 1783 NEW BEST:: SOT 12003828 SOS 7567043 HAS SOPS 6264161 HAS SOUS 2411947 HAS SOUPS 2317357 WITH SCORE 2324924.043
AT ITER 1784 NEW BEST:: SOT 12005161 SOS 7572398 HAS SOPS 6267672 HAS SOUS 2411464 HAS SOUPS 2316874 WITH SCORE 2324446.398
AT ITER 1793 NEW BEST:: SOT 12003679 SOS 7572145 HAS SOPS 6268734 HAS SOUS 2410621 HAS SOUPS 2316031 WITH SCORE 2323603.145
AT ITER 1801 NEW BEST:: SOT 12003571 SOS 7572027 HAS SOPS 6268555 HAS SOUS 2410343 HAS SOUPS 2315749 WITH SCORE 2323321.027
AT ITER 1810 NEW BEST:: SOT 12005195 SOS 7573594 HAS SOPS 6269743 HAS SOUS 2408826 HAS SOUPS 2314232 WITH SCORE 2321805.594
AT ITER 1812 NEW BEST:: SOT 12003734 SOS 7571822 HAS SOPS 6266557 HAS SOUS 2402626 HAS SOUPS 2308032 WITH SCORE 2315603.822
AT ITER 1813 NEW BEST:: SOT 12003635 SOS 7570327 HAS SOPS 6265281 HAS SOUS 2401936 HAS SOUPS 2307342 WITH SCORE 2314912.327
AT ITER 1818 NEW BEST:: SOT 12003343 SOS 7570632 HAS SOPS 6266317 HAS SOUS 2401226 HAS SOUPS 2306690 WITH SCORE 2314260.632
AT ITER 1819 NEW BEST:: SOT 12003015 SOS 7571544 HAS SOPS 6270684 HAS SOUS 2399802 HAS SOUPS 2305266 WITH SCORE 2312837.544
AT ITER 1820 NEW BEST:: SOT 12000114 SOS 7568104 HAS SOPS 6266058 HAS SOUS 2391000 HAS SOUPS 2296510 WITH SCORE 2304078.104
AT ITER 1828 NEW BEST:: SOT 12009397 SOS 7582253 HAS SOPS 6275802 HAS SOUS 2388657 HAS SOUPS 2294422 WITH SCORE 2302004.253
AT ITER 1829 NEW BEST:: SOT 12004350 SOS 7577497 HAS SOPS 6266401 HAS SOUS 2380411 HAS SOUPS 2286176 WITH SCORE 2293753.497
AT ITER 1841 NEW BEST:: SOT 12004104 SOS 7578027 HAS SOPS 6267506 HAS SOUS 2380253 HAS SOUPS 2286018 WITH SCORE 2293596.027
AT ITER 1874 NEW BEST:: SOT 11999409 SOS 7573597 HAS SOPS 6263538 HAS SOUS 2368444 HAS SOUPS 2274209 WITH SCORE 2281782.597
AT ITER 1875 NEW BEST:: SOT 11999775 SOS 7574022 HAS SOPS 6262955 HAS SOUS 2367320 HAS SOUPS 2273218 WITH SCORE 2280792.022
AT ITER 1900 NEW BEST:: SOT 11999185 SOS 7573047 HAS SOPS 6262190 HAS SOUS 2367044 HAS SOUPS 2272942 WITH SCORE 2280515.047
AT ITER 1908 NEW BEST:: SOT 11994364 SOS 7568930 HAS SOPS 6258482 HAS SOUS 2354307 HAS SOUPS 2260289 WITH SCORE 2267857.93
AT ITER 1911 NEW BEST:: SOT 11993854 SOS 7567518 HAS SOPS 6258187 HAS SOUS 2354207 HAS SOUPS 2260189 WITH SCORE 2267756.518
AT ITER 1918 NEW BEST:: SOT 11995243 SOS 7570785 HAS SOPS 6262151 HAS SOUS 2353226 HAS SOUPS 2259208 WITH SCORE 2266778.785
AT ITER 1922 NEW BEST:: SOT 11995382 SOS 7572479 HAS SOPS 6262863 HAS SOUS 2349531 HAS SOUPS 2255513 WITH SCORE 2263085.479
AT ITER 1927 NEW BEST:: SOT 11994528 SOS 7573196 HAS SOPS 6262752 HAS SOUS 2348601 HAS SOUPS 2253962 WITH SCORE 2261535.196
AT ITER 1929 NEW BEST:: SOT 11994569 SOS 7573203 HAS SOPS 6262793 HAS SOUS 2348553 HAS SOUPS 2253943 WITH SCORE 2261516.203
AT ITER 1941 NEW BEST:: SOT 11994793 SOS 7574137 HAS SOPS 6264021 HAS SOUS 2348156 HAS SOUPS 2253546 WITH SCORE 2261120.137
AT ITER 1953 NEW BEST:: SOT 11976050 SOS 7540686 HAS SOPS 6232896 HAS SOUS 2325100 HAS SOUPS 2230783 WITH SCORE 2238323.686
AT ITER 1972 NEW BEST:: SOT 11975315 SOS 7536944 HAS SOPS 6230120 HAS SOUS 2324821 HAS SOUPS 2230779 WITH SCORE 2238315.944
AT ITER 1982 NEW BEST:: SOT 11972588 SOS 7534379 HAS SOPS 6226360 HAS SOUS 2321064 HAS SOUPS 2226666 WITH SCORE 2234200.379
AT ITER 1984 NEW BEST:: SOT 11972085 SOS 7536638 HAS SOPS 6224899 HAS SOUS 2315234 HAS SOUPS 2220766 WITH SCORE 2228302.638
AT ITER 1989 NEW BEST:: SOT 11971329 SOS 7534608 HAS SOPS 6222802 HAS SOUS 2311983 HAS SOUPS 2217515 WITH SCORE 2225049.608
AT ITER 1992 NEW BEST:: SOT 11968256 SOS 7531535 HAS SOPS 6219057 HAS SOUS 2311262 HAS SOUPS 2216698 WITH SCORE 2224229.535
AT ITER 1995 NEW BEST:: SOT 11966744 SOS 7529696 HAS SOPS 6216804 HAS SOUS 2309061 HAS SOUPS 2214481 WITH SCORE 2222010.696
AT ITER 1996 NEW BEST:: SOT 11966669 SOS 7530286 HAS SOPS 6218272 HAS SOUS 2307645 HAS SOUPS 2213065 WITH SCORE 2220595.286
AT ITER 2004 NEW BEST:: SOT 11966446 SOS 7530940 HAS SOPS 6219138 HAS SOUS 2305619 HAS SOUPS 2211039 WITH SCORE 2218569.94
AT ITER 2013 NEW BEST:: SOT 11966191 SOS 7531802 HAS SOPS 6218587 HAS SOUS 2303806 HAS SOUPS 2209210 WITH SCORE 2216741.802
AT ITER 2029 NEW BEST:: SOT 11962646 SOS 7526432 HAS SOPS 6214408 HAS SOUS 2297661 HAS SOUPS 2203150 WITH SCORE 2210676.432
AT ITER 2034 NEW BEST:: SOT 11961154 SOS 7523388 HAS SOPS 6211872 HAS SOUS 2296296 HAS SOUPS 2201785 WITH SCORE 2209308.388
AT ITER 2041 NEW BEST:: SOT 11959722 SOS 7521701 HAS SOPS 6209394 HAS SOUS 2293389 HAS SOUPS 2198971 WITH SCORE 2206492.701
AT ITER 2044 NEW BEST:: SOT 11966119 SOS 7528588 HAS SOPS 6216177 HAS SOUS 2292746 HAS SOUPS 2198393 WITH SCORE 2205921.588
AT ITER 2046 NEW BEST:: SOT 11966612 SOS 7531542 HAS SOPS 6217554 HAS SOUS 2289433 HAS SOUPS 2195080 WITH SCORE 2202611.542
AT ITER 2047 NEW BEST:: SOT 11966612 SOS 7531597 HAS SOPS 6217609 HAS SOUS 2288833 HAS SOUPS 2194480 WITH SCORE 2202011.597
AT ITER 2052 NEW BEST:: SOT 11960314 SOS 7523885 HAS SOPS 6211791 HAS SOUS 2288384 HAS SOUPS 2193975 WITH SCORE 2201498.885
AT ITER 2060 NEW BEST:: SOT 11956517 SOS 7514542 HAS SOPS 6205025 HAS SOUS 2281327 HAS SOUPS 2186993 WITH SCORE 2194507.542
AT ITER 2064 NEW BEST:: SOT 11955572 SOS 7512295 HAS SOPS 6203341 HAS SOUS 2279917 HAS SOUPS 2185670 WITH SCORE 2193182.295
AT ITER 2077 NEW BEST:: SOT 11951297 SOS 7501700 HAS SOPS 6192965 HAS SOUS 2271622 HAS SOUPS 2177375 WITH SCORE 2184876.7
AT ITER 2078 NEW BEST:: SOT 11951264 SOS 7501919 HAS SOPS 6193052 HAS SOUS 2271253 HAS SOUPS 2177006 WITH SCORE 2184507.919
AT ITER 2088 NEW BEST:: SOT 11951093 SOS 7502278 HAS SOPS 6193771 HAS SOUS 2269211 HAS SOUPS 2174964 WITH SCORE 2182466.278
AT ITER 2090 NEW BEST:: SOT 11951773 SOS 7506223 HAS SOPS 6198469 HAS SOUS 2269111 HAS SOUPS 2174864 WITH SCORE 2182370.223
AT ITER 2119 NEW BEST:: SOT 11951241 SOS 7504654 HAS SOPS 6197009 HAS SOUS 2263889 HAS SOUPS 2169642 WITH SCORE 2177146.654
AT ITER 2124 NEW BEST:: SOT 11949334 SOS 7501484 HAS SOPS 6193929 HAS SOUS 2261956 HAS SOUPS 2167709 WITH SCORE 2175210.484
AT ITER 2138 NEW BEST:: SOT 11949180 SOS 7501254 HAS SOPS 6193607 HAS SOUS 2261674 HAS SOUPS 2167427 WITH SCORE 2174928.254
AT ITER 2157 NEW BEST:: SOT 11949250 SOS 7500364 HAS SOPS 6193165 HAS SOUS 2261468 HAS SOUPS 2167256 WITH SCORE 2174756.364
AT ITER 2166 NEW BEST:: SOT 11949773 SOS 7500887 HAS SOPS 6193512 HAS SOUS 2260863 HAS SOUPS 2166651 WITH SCORE 2174151.887
AT ITER 2169 NEW BEST:: SOT 11951024 SOS 7502018 HAS SOPS 6194388 HAS SOUS 2260498 HAS SOUPS 2166286 WITH SCORE 2173788.018
AT ITER 2183 NEW BEST:: SOT 11947936 SOS 7495909 HAS SOPS 6186168 HAS SOUS 2257299 HAS SOUPS 2163028 WITH SCORE 2170523.909
AT ITER 2185 NEW BEST:: SOT 11944206 SOS 7482167 HAS SOPS 6172244 HAS SOUS 2256293 HAS SOUPS 2161919 WITH SCORE 2169401.167
AT ITER 2192 NEW BEST:: SOT 11942984 SOS 7478972 HAS SOPS 6172589 HAS SOUS 2255598 HAS SOUPS 2161228 WITH SCORE 2168706.972
AT ITER 2199 NEW BEST:: SOT 11944905 SOS 7489902 HAS SOPS 6181081 HAS SOUS 2253671 HAS SOUPS 2159295 WITH SCORE 2166784.902
AT ITER 2205 NEW BEST:: SOT 11944873 SOS 7489998 HAS SOPS 6181113 HAS SOUS 2253643 HAS SOUPS 2159265 WITH SCORE 2166754.998
AT ITER 2211 NEW BEST:: SOT 11943369 SOS 7488611 HAS SOPS 6179089 HAS SOUS 2251470 HAS SOUPS 2157060 WITH SCORE 2164548.611
AT ITER 2218 NEW BEST:: SOT 11934791 SOS 7480425 HAS SOPS 6172376 HAS SOUS 2240503 HAS SOUPS 2146025 WITH SCORE 2153505.425
AT ITER 2225 NEW BEST:: SOT 11934591 SOS 7480379 HAS SOPS 6172573 HAS SOUS 2240388 HAS SOUPS 2145910 WITH SCORE 2153390.379
AT ITER 2248 NEW BEST:: SOT 11932674 SOS 7474028 HAS SOPS 6165483 HAS SOUS 2239962 HAS SOUPS 2145484 WITH SCORE 2152958.028
AT ITER 2250 NEW BEST:: SOT 11932750 SOS 7472876 HAS SOPS 6165158 HAS SOUS 2239950 HAS SOUPS 2145472 WITH SCORE 2152944.876
AT ITER 2264 NEW BEST:: SOT 11932240 SOS 7472016 HAS SOPS 6164320 HAS SOUS 2239169 HAS SOUPS 2144700 WITH SCORE 2152172.016
AT ITER 2282 NEW BEST:: SOT 11932461 SOS 7473114 HAS SOPS 6166629 HAS SOUS 2239103 HAS SOUPS 2144634 WITH SCORE 2152107.114
AT ITER 2311 NEW BEST:: SOT 11932145 SOS 7474316 HAS SOPS 6167100 HAS SOUS 2235134 HAS SOUPS 2140665 WITH SCORE 2148139.316
AT ITER 2319 NEW BEST:: SOT 11931292 SOS 7473047 HAS SOPS 6165302 HAS SOUS 2234237 HAS SOUPS 2139768 WITH SCORE 2147241.047
AT ITER 2325 NEW BEST:: SOT 11918388 SOS 7459964 HAS SOPS 6148261 HAS SOUS 2213567 HAS SOUPS 2116255 WITH SCORE 2123714.964
AT ITER 2351 NEW BEST:: SOT 11918695 SOS 7463901 HAS SOPS 6147391 HAS SOUS 2208199 HAS SOUPS 2110887 WITH SCORE 2118350.901
AT ITER 2352 NEW BEST:: SOT 11918748 SOS 7463984 HAS SOPS 6147452 HAS SOUS 2208102 HAS SOUPS 2110788 WITH SCORE 2118251.984
AT ITER 2407 NEW BEST:: SOT 11912714 SOS 7455833 HAS SOPS 6138925 HAS SOUS 2197681 HAS SOUPS 2100411 WITH SCORE 2107866.833
AT ITER 2414 NEW BEST:: SOT 11915381 SOS 7463807 HAS SOPS 6146074 HAS SOUS 2194039 HAS SOUPS 2096776 WITH SCORE 2104239.807
AT ITER 2418 NEW BEST:: SOT 11917509 SOS 7471204 HAS SOPS 6152470 HAS SOUS 2190843 HAS SOUPS 2093660 WITH SCORE 2101131.204
AT ITER 2421 NEW BEST:: SOT 11917384 SOS 7471354 HAS SOPS 6152312 HAS SOUS 2190803 HAS SOUPS 2093620 WITH SCORE 2101091.354
AT ITER 2457 NEW BEST:: SOT 11917525 SOS 7471207 HAS SOPS 6152144 HAS SOUS 2190281 HAS SOUPS 2093098 WITH SCORE 2100569.207
AT ITER 2461 NEW BEST:: SOT 11914910 SOS 7465934 HAS SOPS 6146876 HAS SOUS 2190089 HAS SOUPS 2092906 WITH SCORE 2100371.934
AT ITER 2462 NEW BEST:: SOT 11913999 SOS 7464526 HAS SOPS 6145064 HAS SOUS 2188808 HAS SOUPS 2091609 WITH SCORE 2099073.526
AT ITER 2472 NEW BEST:: SOT 11913559 SOS 7464091 HAS SOPS 6144624 HAS SOUS 2188293 HAS SOUPS 2091089 WITH SCORE 2098553.091
AT ITER 2476 NEW BEST:: SOT 11913511 SOS 7464186 HAS SOPS 6144943 HAS SOUS 2188126 HAS SOUPS 2090922 WITH SCORE 2098386.186
AT ITER 2507 NEW BEST:: SOT 11912323 SOS 7462359 HAS SOPS 6142867 HAS SOUS 2185954 HAS SOUPS 2088769 WITH SCORE 2096231.359
AT ITER 2508 NEW BEST:: SOT 11906709 SOS 7456745 HAS SOPS 6136997 HAS SOUS 2181316 HAS SOUPS 2083923 WITH SCORE 2091379.745
AT ITER 2517 NEW BEST:: SOT 11904390 SOS 7454426 HAS SOPS 6134678 HAS SOUS 2178133 HAS SOUPS 2080740 WITH SCORE 2088194.426
AT ITER 2523 NEW BEST:: SOT 11903847 SOS 7453746 HAS SOPS 6132583 HAS SOUS 2176826 HAS SOUPS 2078938 WITH SCORE 2086391.746
AT ITER 2524 NEW BEST:: SOT 11903999 SOS 7454063 HAS SOPS 6132735 HAS SOUS 2176737 HAS SOUPS 2078732 WITH SCORE 2086186.063
AT ITER 2537 NEW BEST:: SOT 11903885 SOS 7453514 HAS SOPS 6132966 HAS SOUS 2175533 HAS SOUPS 2077723 WITH SCORE 2085176.514
AT ITER 2542 NEW BEST:: SOT 11903427 SOS 7445697 HAS SOPS 6128066 HAS SOUS 2171784 HAS SOUPS 2074765 WITH SCORE 2082210.697
AT ITER 2545 NEW BEST:: SOT 11903363 SOS 7445633 HAS SOPS 6128002 HAS SOUS 2171420 HAS SOUPS 2074401 WITH SCORE 2081846.633
AT ITER 2546 NEW BEST:: SOT 11903325 SOS 7445640 HAS SOPS 6127970 HAS SOUS 2171090 HAS SOUPS 2074071 WITH SCORE 2081516.64
AT ITER 2553 NEW BEST:: SOT 11903291 SOS 7441629 HAS SOPS 6124836 HAS SOUS 2168440 HAS SOUPS 2071560 WITH SCORE 2079001.629
AT ITER 2554 NEW BEST:: SOT 11902581 SOS 7440729 HAS SOPS 6121266 HAS SOUS 2162785 HAS SOUPS 2065710 WITH SCORE 2073150.729
AT ITER 2555 NEW BEST:: SOT 11896013 SOS 7434134 HAS SOPS 6114671 HAS SOUS 2151902 HAS SOUPS 2054827 WITH SCORE 2062261.134
AT ITER 2558 NEW BEST:: SOT 11894208 SOS 7431098 HAS SOPS 6109125 HAS SOUS 2146907 HAS SOUPS 2049891 WITH SCORE 2057322.098
AT ITER 2561 NEW BEST:: SOT 11895790 SOS 7430880 HAS SOPS 6110374 HAS SOUS 2145243 HAS SOUPS 2048381 WITH SCORE 2055811.88
AT ITER 2563 NEW BEST:: SOT 11895842 SOS 7429459 HAS SOPS 6108249 HAS SOUS 2145016 HAS SOUPS 2048154 WITH SCORE 2055583.459
AT ITER 2584 NEW BEST:: SOT 11905160 SOS 7467562 HAS SOPS 6143549 HAS SOUS 2129968 HAS SOUPS 2033192 WITH SCORE 2040659.562
AT ITER 2589 NEW BEST:: SOT 11902982 SOS 7463365 HAS SOPS 6135191 HAS SOUS 2124234 HAS SOUPS 2027458 WITH SCORE 2034921.365
AT ITER 2590 NEW BEST:: SOT 11902365 SOS 7462748 HAS SOPS 6134206 HAS SOUS 2122513 HAS SOUPS 2025737 WITH SCORE 2033199.748
AT ITER 2601 NEW BEST:: SOT 11902691 SOS 7462913 HAS SOPS 6134782 HAS SOUS 2121515 HAS SOUPS 2024636 WITH SCORE 2032098.913
AT ITER 2604 NEW BEST:: SOT 11903412 SOS 7465333 HAS SOPS 6136480 HAS SOUS 2121195 HAS SOUPS 2024303 WITH SCORE 2031768.333
AT ITER 2608 NEW BEST:: SOT 11903120 SOS 7464659 HAS SOPS 6135337 HAS SOUS 2120886 HAS SOUPS 2023994 WITH SCORE 2031458.659
AT ITER 2611 NEW BEST:: SOT 11904857 SOS 7476247 HAS SOPS 6148012 HAS SOUS 2119272 HAS SOUPS 2022491 WITH SCORE 2029967.247
AT ITER 2622 NEW BEST:: SOT 11904597 SOS 7475358 HAS SOPS 6147005 HAS SOUS 2118021 HAS SOUPS 2021260 WITH SCORE 2028735.358
AT ITER 2640 NEW BEST:: SOT 11909162 SOS 7479377 HAS SOPS 6152531 HAS SOUS 2116048 HAS SOUPS 2019350 WITH SCORE 2026829.377
AT ITER 2641 NEW BEST:: SOT 11908642 SOS 7478277 HAS SOPS 6152155 HAS SOUS 2113280 HAS SOUPS 2016915 WITH SCORE 2024393.277
AT ITER 2647 NEW BEST:: SOT 11907828 SOS 7473985 HAS SOPS 6148336 HAS SOUS 2110352 HAS SOUPS 2013987 WITH SCORE 2021460.985
AT ITER 2658 NEW BEST:: SOT 11905409 SOS 7478541 HAS SOPS 6146005 HAS SOUS 2108667 HAS SOUPS 2010992 WITH SCORE 2018470.541
AT ITER 2664 NEW BEST:: SOT 11903643 SOS 7474132 HAS SOPS 6141036 HAS SOUS 2107019 HAS SOUPS 2009344 WITH SCORE 2016818.132
AT ITER 2677 NEW BEST:: SOT 11904103 SOS 7469742 HAS SOPS 6135679 HAS SOUS 2106985 HAS SOUPS 2009310 WITH SCORE 2016779.742
AT ITER 2698 NEW BEST:: SOT 11902419 SOS 7468023 HAS SOPS 6132795 HAS SOUS 2101600 HAS SOUPS 2003914 WITH SCORE 2011382.023
AT ITER 2700 NEW BEST:: SOT 11911818 SOS 7492338 HAS SOPS 6153987 HAS SOUS 2100802 HAS SOUPS 2003116 WITH SCORE 2010608.338
AT ITER 2717 NEW BEST:: SOT 11904619 SOS 7484386 HAS SOPS 6144385 HAS SOUS 2099155 HAS SOUPS 2001291 WITH SCORE 2008775.386
AT ITER 2725 NEW BEST:: SOT 11902702 SOS 7478799 HAS SOPS 6140634 HAS SOUS 2096473 HAS SOUPS 1998609 WITH SCORE 2006087.799
AT ITER 2735 NEW BEST:: SOT 11902763 SOS 7478860 HAS SOPS 6140407 HAS SOUS 2096078 HAS SOUPS 1998214 WITH SCORE 2005692.86
AT ITER 2739 NEW BEST:: SOT 11897515 SOS 7473293 HAS SOPS 6134807 HAS SOUS 2084593 HAS SOUPS 1986844 WITH SCORE 1994317.293
AT ITER 2783 NEW BEST:: SOT 11899349 SOS 7473683 HAS SOPS 6134813 HAS SOUS 2081404 HAS SOUPS 1983655 WITH SCORE 1991128.683
AT ITER 2784 NEW BEST:: SOT 11899141 SOS 7473611 HAS SOPS 6134621 HAS SOUS 2081056 HAS SOUPS 1983307 WITH SCORE 1990780.611
AT ITER 2819 NEW BEST:: SOT 11899167 SOS 7474437 HAS SOPS 6136601 HAS SOUS 2080768 HAS SOUPS 1983019 WITH SCORE 1990493.437
AT ITER 2836 NEW BEST:: SOT 11900779 SOS 7476015 HAS SOPS 6137827 HAS SOUS 2079196 HAS SOUPS 1981447 WITH SCORE 1988923.015
AT ITER 2862 NEW BEST:: SOT 11899265 SOS 7472513 HAS SOPS 6133869 HAS SOUS 2076919 HAS SOUPS 1979142 WITH SCORE 1986614.513
AT ITER 2914 NEW BEST:: SOT 11899209 SOS 7472161 HAS SOPS 6133026 HAS SOUS 2076198 HAS SOUPS 1978421 WITH SCORE 1985893.161
AT ITER 2915 NEW BEST:: SOT 11898825 SOS 7471777 HAS SOPS 6132642 HAS SOUS 2075814 HAS SOUPS 1978037 WITH SCORE 1985508.777
AT ITER 2924 NEW BEST:: SOT 11897479 SOS 7468172 HAS SOPS 6129933 HAS SOUS 2074567 HAS SOUPS 1976790 WITH SCORE 1984258.172
AT ITER 2949 NEW BEST:: SOT 11897466 SOS 7468169 HAS SOPS 6129994 HAS SOUS 2074561 HAS SOUPS 1976784 WITH SCORE 1984252.169
AT ITER 2956 NEW BEST:: SOT 11897462 SOS 7468165 HAS SOPS 6129990 HAS SOUS 2074477 HAS SOUPS 1976700 WITH SCORE 1984168.165
AT ITER 3004 NEW BEST:: SOT 11893192 SOS 7455434 HAS SOPS 6121168 HAS SOUS 2070893 HAS SOUPS 1973983 WITH SCORE 1981438.434
AT ITER 3010 NEW BEST:: SOT 11889149 SOS 7443667 HAS SOPS 6109988 HAS SOUS 2070134 HAS SOUPS 1973224 WITH SCORE 1980667.667
AT ITER 3011 NEW BEST:: SOT 11888270 SOS 7443478 HAS SOPS 6108797 HAS SOUS 2066573 HAS SOUPS 1969663 WITH SCORE 1977106.478
AT ITER 3025 NEW BEST:: SOT 11888192 SOS 7443360 HAS SOPS 6108738 HAS SOUS 2066310 HAS SOUPS 1969400 WITH SCORE 1976843.36
AT ITER 3035 NEW BEST:: SOT 11888180 SOS 7443348 HAS SOPS 6108726 HAS SOUS 2066286 HAS SOUPS 1969376 WITH SCORE 1976819.348
AT ITER 3046 NEW BEST:: SOT 11888132 SOS 7443300 HAS SOPS 6108678 HAS SOUS 2066286 HAS SOUPS 1969376 WITH SCORE 1976819.3
AT ITER 3059 NEW BEST:: SOT 11887953 SOS 7443765 HAS SOPS 6108865 HAS SOUS 2066263 HAS SOUPS 1969353 WITH SCORE 1976796.765
AT ITER 3061 NEW BEST:: SOT 11888344 SOS 7444698 HAS SOPS 6108864 HAS SOUS 2061200 HAS SOUPS 1964216 WITH SCORE 1971660.698
AT ITER 3076 NEW BEST:: SOT 11887303 SOS 7443782 HAS SOPS 6107513 HAS SOUS 2059259 HAS SOUPS 1962243 WITH SCORE 1969686.782
AT ITER 3127 NEW BEST:: SOT 11887044 SOS 7443413 HAS SOPS 6106919 HAS SOUS 2058480 HAS SOUPS 1961464 WITH SCORE 1968907.413
AT ITER 3136 NEW BEST:: SOT 11885470 SOS 7441001 HAS SOPS 6104317 HAS SOUS 2055898 HAS SOUPS 1958896 WITH SCORE 1966337.001
AT ITER 3143 NEW BEST:: SOT 11885485 SOS 7442065 HAS SOPS 6105696 HAS SOUS 2055336 HAS SOUPS 1958334 WITH SCORE 1965776.065
AT ITER 3175 NEW BEST:: SOT 11890612 SOS 7447398 HAS SOPS 6108513 HAS SOUS 2054110 HAS SOUPS 1957108 WITH SCORE 1964555.398
AT ITER 3191 NEW BEST:: SOT 11890383 SOS 7446812 HAS SOPS 6107203 HAS SOUS 2053696 HAS SOUPS 1956694 WITH SCORE 1964140.812
AT ITER 3192 NEW BEST:: SOT 11889937 SOS 7446131 HAS SOPS 6107167 HAS SOUS 2052981 HAS SOUPS 1955979 WITH SCORE 1963425.131
AT ITER 3196 NEW BEST:: SOT 11886708 SOS 7442383 HAS SOPS 6103871 HAS SOUS 2050958 HAS SOUPS 1953956 WITH SCORE 1961398.383
AT ITER 3223 NEW BEST:: SOT 11886318 SOS 7441993 HAS SOPS 6103225 HAS SOUS 2049800 HAS SOUPS 1952798 WITH SCORE 1960239.993
AT ITER 3224 NEW BEST:: SOT 11886312 SOS 7441990 HAS SOPS 6103219 HAS SOUS 2049683 HAS SOUPS 1952681 WITH SCORE 1960122.99
AT ITER 3227 NEW BEST:: SOT 11885833 SOS 7442158 HAS SOPS 6103324 HAS SOUS 2049097 HAS SOUPS 1952095 WITH SCORE 1959537.158
AT ITER 3246 NEW BEST:: SOT 11887924 SOS 7450251 HAS SOPS 6112196 HAS SOUS 2045986 HAS SOUPS 1948984 WITH SCORE 1956434.251
AT ITER 3253 NEW BEST:: SOT 11887380 SOS 7448781 HAS SOPS 6110529 HAS SOUS 2044094 HAS SOUPS 1947107 WITH SCORE 1954555.781
AT ITER 3260 NEW BEST:: SOT 11887803 SOS 7447359 HAS SOPS 6109770 HAS SOUS 2039528 HAS SOUPS 1942597 WITH SCORE 1950044.359
AT ITER 3270 NEW BEST:: SOT 11885848 SOS 7444527 HAS SOPS 6106374 HAS SOUS 2035938 HAS SOUPS 1939024 WITH SCORE 1946468.527
AT ITER 3276 NEW BEST:: SOT 11884875 SOS 7443991 HAS SOPS 6106098 HAS SOUS 2030677 HAS SOUPS 1933763 WITH SCORE 1941206.991
AT ITER 3286 NEW BEST:: SOT 11884173 SOS 7445177 HAS SOPS 6106285 HAS SOUS 2029036 HAS SOUPS 1932122 WITH SCORE 1939567.177
AT ITER 3296 NEW BEST:: SOT 11883201 SOS 7440602 HAS SOPS 6102899 HAS SOUS 2028685 HAS SOUPS 1931771 WITH SCORE 1939211.602
AT ITER 3301 NEW BEST:: SOT 11884011 SOS 7437740 HAS SOPS 6100398 HAS SOUS 2026535 HAS SOUPS 1929621 WITH SCORE 1937058.74
AT ITER 3305 NEW BEST:: SOT 11882516 SOS 7435527 HAS SOPS 6098412 HAS SOUS 2024740 HAS SOUPS 1927826 WITH SCORE 1935261.527
AT ITER 3316 NEW BEST:: SOT 11882563 SOS 7437049 HAS SOPS 6099696 HAS SOUS 2024650 HAS SOUPS 1927736 WITH SCORE 1935173.049
AT ITER 3322 NEW BEST:: SOT 11882193 SOS 7435500 HAS SOPS 6097880 HAS SOUS 2023807 HAS SOUPS 1926893 WITH SCORE 1934328.5
AT ITER 3323 NEW BEST:: SOT 11877081 SOS 7421818 HAS SOPS 6093574 HAS SOUS 2023310 HAS SOUPS 1926543 WITH SCORE 1933964.818
AT ITER 3329 NEW BEST:: SOT 11876764 SOS 7420902 HAS SOPS 6093047 HAS SOUS 2022539 HAS SOUPS 1925772 WITH SCORE 1933192.902
AT ITER 3331 NEW BEST:: SOT 11876327 SOS 7419955 HAS SOPS 6092371 HAS SOUS 2021830 HAS SOUPS 1925063 WITH SCORE 1932482.955
AT ITER 3338 NEW BEST:: SOT 11874541 SOS 7418238 HAS SOPS 6090234 HAS SOUS 2018299 HAS SOUPS 1921518 WITH SCORE 1928936.238
AT ITER 3341 NEW BEST:: SOT 11876404 SOS 7417214 HAS SOPS 6088116 HAS SOUS 2014655 HAS SOUPS 1917999 WITH SCORE 1925416.214
AT ITER 3344 NEW BEST:: SOT 11874503 SOS 7412562 HAS SOPS 6084923 HAS SOUS 2013178 HAS SOUPS 1916825 WITH SCORE 1924237.562
AT ITER 3374 NEW BEST:: SOT 11873814 SOS 7412322 HAS SOPS 6084331 HAS SOUS 2010109 HAS SOUPS 1913756 WITH SCORE 1921168.322
AT ITER 3375 NEW BEST:: SOT 11873675 SOS 7412180 HAS SOPS 6084084 HAS SOUS 2009762 HAS SOUPS 1913409 WITH SCORE 1920821.18
AT ITER 3379 NEW BEST:: SOT 11873660 SOS 7412165 HAS SOPS 6084069 HAS SOUS 2009747 HAS SOUPS 1913394 WITH SCORE 1920806.165
AT ITER 3404 NEW BEST:: SOT 11873838 SOS 7411754 HAS SOPS 6082184 HAS SOUS 2007837 HAS SOUPS 1911484 WITH SCORE 1918895.754
AT ITER 3430 NEW BEST:: SOT 11873809 SOS 7411727 HAS SOPS 6082184 HAS SOUS 2007819 HAS SOUPS 1911465 WITH SCORE 1918876.727
AT ITER 3454 NEW BEST:: SOT 11875170 SOS 7413741 HAS SOPS 6083939 HAS SOUS 2007057 HAS SOUPS 1910703 WITH SCORE 1918116.741
AT ITER 3474 NEW BEST:: SOT 11875119 SOS 7413856 HAS SOPS 6084009 HAS SOUS 2006963 HAS SOUPS 1910609 WITH SCORE 1918022.856
AT ITER 3481 NEW BEST:: SOT 11875105 SOS 7413842 HAS SOPS 6083995 HAS SOUS 2006865 HAS SOUPS 1910511 WITH SCORE 1917924.842
AT ITER 3499 NEW BEST:: SOT 11874493 SOS 7413256 HAS SOPS 6083201 HAS SOUS 2004524 HAS SOUPS 1908170 WITH SCORE 1915583.256
AT ITER 3520 NEW BEST:: SOT 11873956 SOS 7412386 HAS SOPS 6082669 HAS SOUS 2004013 HAS SOUPS 1907659 WITH SCORE 1915071.386
AT ITER 3535 NEW BEST:: SOT 11873835 SOS 7412231 HAS SOPS 6082420 HAS SOUS 2003942 HAS SOUPS 1907524 WITH SCORE 1914936.231
AT ITER 3536 NEW BEST:: SOT 11871372 SOS 7409920 HAS SOPS 6079269 HAS SOUS 1998859 HAS SOUPS 1902441 WITH SCORE 1909850.92
AT ITER 3537 NEW BEST:: SOT 11871700 SOS 7410220 HAS SOPS 6079182 HAS SOUS 1998392 HAS SOUPS 1901974 WITH SCORE 1909384.22
AT ITER 3572 NEW BEST:: SOT 11871107 SOS 7409627 HAS SOPS 6078577 HAS SOUS 1997799 HAS SOUPS 1901369 WITH SCORE 1908778.627
AT ITER 3578 NEW BEST:: SOT 11870591 SOS 7409144 HAS SOPS 6077757 HAS SOUS 1995049 HAS SOUPS 1898600 WITH SCORE 1906009.144
AT ITER 3599 NEW BEST:: SOT 11870499 SOS 7408867 HAS SOPS 6077504 HAS SOUS 1994946 HAS SOUPS 1898497 WITH SCORE 1905905.867
AT ITER 3617 NEW BEST:: SOT 11872833 SOS 7417187 HAS SOPS 6086923 HAS SOUS 1994630 HAS SOUPS 1898181 WITH SCORE 1905598.187
AT ITER 3639 NEW BEST:: SOT 11871878 SOS 7415323 HAS SOPS 6085235 HAS SOUS 1993180 HAS SOUPS 1896747 WITH SCORE 1904162.323
AT ITER 3647 NEW BEST:: SOT 11871895 SOS 7415729 HAS SOPS 6085941 HAS SOUS 1993168 HAS SOUPS 1896735 WITH SCORE 1904150.729
AT ITER 3656 NEW BEST:: SOT 11871415 SOS 7415249 HAS SOPS 6085301 HAS SOUS 1992208 HAS SOUPS 1895775 WITH SCORE 1903190.249
AT ITER 3670 NEW BEST:: SOT 11871369 SOS 7415171 HAS SOPS 6085111 HAS SOUS 1992190 HAS SOUPS 1895753 WITH SCORE 1903168.171
AT ITER 3683 NEW BEST:: SOT 11871589 SOS 7415391 HAS SOPS 6085283 HAS SOUS 1991910 HAS SOUPS 1895473 WITH SCORE 1902888.391
AT ITER 3685 NEW BEST:: SOT 11872241 SOS 7416823 HAS SOPS 6085963 HAS SOUS 1991838 HAS SOUPS 1895401 WITH SCORE 1902817.823
AT ITER 3708 NEW BEST:: SOT 11870707 SOS 7414094 HAS SOPS 6081736 HAS SOUS 1988882 HAS SOUPS 1892489 WITH SCORE 1899903.094
AT ITER 3719 NEW BEST:: SOT 11870664 SOS 7413537 HAS SOPS 6081462 HAS SOUS 1988635 HAS SOUPS 1892242 WITH SCORE 1899655.537
AT ITER 3728 NEW BEST:: SOT 11870613 SOS 7413485 HAS SOPS 6081363 HAS SOUS 1988488 HAS SOUPS 1892084 WITH SCORE 1899497.485
AT ITER 3730 NEW BEST:: SOT 11869521 SOS 7411678 HAS SOPS 6079853 HAS SOUS 1986802 HAS SOUPS 1890442 WITH SCORE 1897853.678
AT ITER 3736 NEW BEST:: SOT 11871096 SOS 7414964 HAS SOPS 6082479 HAS SOUS 1986693 HAS SOUPS 1890333 WITH SCORE 1897747.964
AT ITER 3744 NEW BEST:: SOT 11870476 SOS 7414344 HAS SOPS 6081651 HAS SOUS 1985641 HAS SOUPS 1889281 WITH SCORE 1896695.344
AT ITER 3749 NEW BEST:: SOT 11868956 SOS 7412824 HAS SOPS 6080131 HAS SOUS 1983689 HAS SOUPS 1887329 WITH SCORE 1894741.824
AT ITER 3764 NEW BEST:: SOT 11869262 SOS 7412802 HAS SOPS 6080429 HAS SOUS 1982683 HAS SOUPS 1886983 WITH SCORE 1894395.802
AT ITER 3799 NEW BEST:: SOT 11869166 SOS 7412702 HAS SOPS 6080161 HAS SOUS 1982511 HAS SOUPS 1886811 WITH SCORE 1894223.702
AT ITER 3801 NEW BEST:: SOT 11868370 SOS 7411906 HAS SOPS 6078917 HAS SOUS 1979671 HAS SOUPS 1883971 WITH SCORE 1891382.906
AT ITER 3814 NEW BEST:: SOT 11868925 SOS 7411987 HAS SOPS 6075544 HAS SOUS 1974999 HAS SOUPS 1879299 WITH SCORE 1886710.987
AT ITER 3820 NEW BEST:: SOT 11872425 SOS 7415487 HAS SOPS 6078452 HAS SOUS 1974835 HAS SOUPS 1879135 WITH SCORE 1886550.487
AT ITER 3824 NEW BEST:: SOT 11868255 SOS 7405798 HAS SOPS 6069629 HAS SOUS 1972881 HAS SOUPS 1877208 WITH SCORE 1884613.798
AT ITER 3832 NEW BEST:: SOT 11861849 SOS 7401101 HAS SOPS 6062143 HAS SOUS 1959458 HAS SOUPS 1863590 WITH SCORE 1870991.101
AT ITER 3833 NEW BEST:: SOT 11861683 SOS 7399554 HAS SOPS 6058826 HAS SOUS 1952472 HAS SOUPS 1856705 WITH SCORE 1864104.554
AT ITER 3834 NEW BEST:: SOT 11861014 SOS 7399093 HAS SOPS 6058176 HAS SOUS 1951332 HAS SOUPS 1855565 WITH SCORE 1862964.093
AT ITER 3880 NEW BEST:: SOT 11861026 SOS 7399221 HAS SOPS 6058084 HAS SOUS 1951096 HAS SOUPS 1855329 WITH SCORE 1862728.221
AT ITER 3887 NEW BEST:: SOT 11861652 SOS 7400055 HAS SOPS 6058769 HAS SOUS 1950812 HAS SOUPS 1854900 WITH SCORE 1862300.055
AT ITER 3900 NEW BEST:: SOT 11861500 SOS 7399609 HAS SOPS 6058449 HAS SOUS 1950744 HAS SOUPS 1854832 WITH SCORE 1862231.609
AT ITER 3928 NEW BEST:: SOT 11861124 SOS 7398923 HAS SOPS 6057843 HAS SOUS 1950258 HAS SOUPS 1854376 WITH SCORE 1861774.923
AT ITER 3936 NEW BEST:: SOT 11860646 SOS 7404539 HAS SOPS 6060059 HAS SOUS 1940526 HAS SOUPS 1844560 WITH SCORE 1851964.539
AT ITER 3948 NEW BEST:: SOT 11868363 SOS 7414343 HAS SOPS 6070156 HAS SOUS 1940252 HAS SOUPS 1844416 WITH SCORE 1851830.343
AT ITER 3990 NEW BEST:: SOT 11868221 SOS 7414195 HAS SOPS 6070067 HAS SOUS 1940204 HAS SOUPS 1844368 WITH SCORE 1851782.195
AT ITER 3992 NEW BEST:: SOT 11869097 SOS 7416386 HAS SOPS 6072188 HAS SOUS 1939781 HAS SOUPS 1843909 WITH SCORE 1851325.386
AT ITER 3996 NEW BEST:: SOT 11869333 SOS 7418249 HAS SOPS 6073460 HAS SOUS 1939408 HAS SOUPS 1843536 WITH SCORE 1850954.249
AT ITER 3998 NEW BEST:: SOT 11869935 SOS 7420827 HAS SOPS 6074569 HAS SOUS 1938815 HAS SOUPS 1842943 WITH SCORE 1850363.827
AT ITER 3999 NEW BEST:: SOT 11865482 SOS 7415318 HAS SOPS 6069060 HAS SOUS 1933006 HAS SOUPS 1837134 WITH SCORE 1844549.318
AT ITER 4002 NEW BEST:: SOT 11865248 SOS 7415109 HAS SOPS 6068818 HAS SOUS 1932921 HAS SOUPS 1836998 WITH SCORE 1844413.109
AT ITER 4019 NEW BEST:: SOT 11860932 SOS 7410789 HAS SOPS 6064354 HAS SOUS 1927669 HAS SOUPS 1831746 WITH SCORE 1839156.789
AT ITER 4094 NEW BEST:: SOT 11864119 SOS 7426304 HAS SOPS 6077720 HAS SOUS 1925876 HAS SOUPS 1829953 WITH SCORE 1837379.304
AT ITER 4107 NEW BEST:: SOT 11864038 SOS 7425700 HAS SOPS 6077931 HAS SOUS 1924920 HAS SOUPS 1828997 WITH SCORE 1836422.7
AT ITER 4115 NEW BEST:: SOT 11862425 SOS 7422023 HAS SOPS 6073990 HAS SOUS 1922319 HAS SOUPS 1826396 WITH SCORE 1833818.023
AT ITER 4117 NEW BEST:: SOT 11862425 SOS 7421784 HAS SOPS 6073510 HAS SOUS 1922292 HAS SOUPS 1826369 WITH SCORE 1833790.784
AT ITER 4121 NEW BEST:: SOT 11865323 SOS 7427214 HAS SOPS 6078584 HAS SOUS 1921805 HAS SOUPS 1825823 WITH SCORE 1833250.214
AT ITER 4129 NEW BEST:: SOT 11866441 SOS 7428356 HAS SOPS 6079726 HAS SOUS 1920692 HAS SOUPS 1824710 WITH SCORE 1832138.356
AT ITER 4131 NEW BEST:: SOT 11866386 SOS 7428057 HAS SOPS 6079522 HAS SOUS 1920487 HAS SOUPS 1824505 WITH SCORE 1831933.057
AT ITER 4144 NEW BEST:: SOT 11866282 SOS 7428043 HAS SOPS 6078763 HAS SOUS 1920287 HAS SOUPS 1824305 WITH SCORE 1831733.043
AT ITER 4153 NEW BEST:: SOT 11865857 SOS 7427774 HAS SOPS 6078022 HAS SOUS 1918534 HAS SOUPS 1822552 WITH SCORE 1829979.774
AT ITER 4157 NEW BEST:: SOT 11865867 SOS 7427850 HAS SOPS 6078082 HAS SOUS 1918464 HAS SOUPS 1822482 WITH SCORE 1829909.85
AT ITER 4158 NEW BEST:: SOT 11868436 SOS 7435749 HAS SOPS 6085990 HAS SOUS 1918376 HAS SOUPS 1822458 WITH SCORE 1829893.749
AT ITER 4179 NEW BEST:: SOT 11868218 SOS 7434874 HAS SOPS 6083918 HAS SOUS 1918171 HAS SOUPS 1822225 WITH SCORE 1829659.874
AT ITER 4185 NEW BEST:: SOT 11868045 SOS 7434817 HAS SOPS 6082606 HAS SOUS 1915549 HAS SOUPS 1819699 WITH SCORE 1827133.817
AT ITER 4191 NEW BEST:: SOT 11868293 SOS 7434901 HAS SOPS 6082121 HAS SOUS 1915514 HAS SOUPS 1819526 WITH SCORE 1826960.901
AT ITER 4197 NEW BEST:: SOT 11868446 SOS 7434968 HAS SOPS 6082338 HAS SOUS 1914373 HAS SOUPS 1818655 WITH SCORE 1826089.968
AT ITER 4199 NEW BEST:: SOT 11866987 SOS 7433828 HAS SOPS 6080103 HAS SOUS 1910120 HAS SOUPS 1814402 WITH SCORE 1821835.828
AT ITER 4209 NEW BEST:: SOT 11866008 SOS 7432846 HAS SOPS 6076916 HAS SOUS 1905227 HAS SOUPS 1809477 WITH SCORE 1816909.846
AT ITER 4210 NEW BEST:: SOT 11865142 SOS 7430983 HAS SOPS 6074884 HAS SOUS 1903819 HAS SOUPS 1808069 WITH SCORE 1815499.983
AT ITER 4216 NEW BEST:: SOT 11864398 SOS 7430418 HAS SOPS 6074467 HAS SOUS 1903400 HAS SOUPS 1807650 WITH SCORE 1815080.418
AT ITER 4226 NEW BEST:: SOT 11864414 SOS 7429189 HAS SOPS 6073541 HAS SOUS 1903356 HAS SOUPS 1807606 WITH SCORE 1815035.189
AT ITER 4255 NEW BEST:: SOT 11864668 SOS 7430702 HAS SOPS 6074381 HAS SOUS 1902811 HAS SOUPS 1807061 WITH SCORE 1814491.702
AT ITER 4263 NEW BEST:: SOT 11858967 SOS 7425001 HAS SOPS 6068120 HAS SOUS 1895498 HAS SOUPS 1799748 WITH SCORE 1807173.001
AT ITER 4274 NEW BEST:: SOT 11858893 SOS 7424351 HAS SOPS 6067416 HAS SOUS 1895313 HAS SOUPS 1799563 WITH SCORE 1806987.351
AT ITER 4277 NEW BEST:: SOT 11859563 SOS 7425028 HAS SOPS 6068007 HAS SOUS 1891463 HAS SOUPS 1795713 WITH SCORE 1803138.028
AT ITER 4281 NEW BEST:: SOT 11859612 SOS 7423045 HAS SOPS 6066512 HAS SOUS 1890665 HAS SOUPS 1794915 WITH SCORE 1802338.045
AT ITER 4282 NEW BEST:: SOT 11859516 SOS 7422820 HAS SOPS 6065809 HAS SOUS 1890368 HAS SOUPS 1794618 WITH SCORE 1802040.82
AT ITER 4305 NEW BEST:: SOT 11854187 SOS 7400855 HAS SOPS 6045965 HAS SOUS 1887804 HAS SOUPS 1792180 WITH SCORE 1799580.855
AT ITER 4307 NEW BEST:: SOT 11853635 SOS 7399916 HAS SOPS 6044890 HAS SOUS 1886487 HAS SOUPS 1790863 WITH SCORE 1798262.916
AT ITER 4310 NEW BEST:: SOT 11839197 SOS 7374914 HAS SOPS 6018957 HAS SOUS 1876069 HAS SOUPS 1780383 WITH SCORE 1787757.914
AT ITER 4313 NEW BEST:: SOT 11838726 SOS 7374170 HAS SOPS 6016729 HAS SOUS 1873478 HAS SOUPS 1777792 WITH SCORE 1785166.17
AT ITER 4327 NEW BEST:: SOT 11842124 SOS 7387646 HAS SOPS 6026101 HAS SOUS 1872509 HAS SOUPS 1776747 WITH SCORE 1784134.646
AT ITER 4329 NEW BEST:: SOT 11843300 SOS 7389245 HAS SOPS 6028386 HAS SOUS 1872270 HAS SOUPS 1776521 WITH SCORE 1783910.245
AT ITER 4334 NEW BEST:: SOT 11843296 SOS 7389674 HAS SOPS 6029315 HAS SOUS 1871070 HAS SOUPS 1775321 WITH SCORE 1782710.674
AT ITER 4335 NEW BEST:: SOT 11843165 SOS 7387126 HAS SOPS 6026240 HAS SOUS 1855399 HAS SOUPS 1760998 WITH SCORE 1768385.126
AT ITER 4336 NEW BEST:: SOT 11841787 SOS 7382628 HAS SOPS 6020909 HAS SOUS 1854163 HAS SOUPS 1759762 WITH SCORE 1767144.628
AT ITER 4344 NEW BEST:: SOT 11841895 SOS 7383280 HAS SOPS 6021741 HAS SOUS 1853992 HAS SOUPS 1759591 WITH SCORE 1766974.28
AT ITER 4358 NEW BEST:: SOT 11841343 SOS 7382717 HAS SOPS 6021582 HAS SOUS 1852184 HAS SOUPS 1757827 WITH SCORE 1765209.717
AT ITER 4362 NEW BEST:: SOT 11841626 SOS 7383000 HAS SOPS 6021865 HAS SOUS 1851987 HAS SOUPS 1757630 WITH SCORE 1765013.0
AT ITER 4399 NEW BEST:: SOT 11841719 SOS 7383174 HAS SOPS 6022313 HAS SOUS 1851907 HAS SOUPS 1757576 WITH SCORE 1764959.174
AT ITER 4419 NEW BEST:: SOT 11840181 SOS 7381636 HAS SOPS 6020775 HAS SOUS 1851141 HAS SOUPS 1756810 WITH SCORE 1764191.636
AT ITER 4421 NEW BEST:: SOT 11839481 SOS 7376815 HAS SOPS 6016795 HAS SOUS 1850173 HAS SOUPS 1755842 WITH SCORE 1763218.815
AT ITER 4433 NEW BEST:: SOT 11838881 SOS 7376016 HAS SOPS 6015998 HAS SOUS 1849388 HAS SOUPS 1755057 WITH SCORE 1762433.016
AT ITER 4455 NEW BEST:: SOT 11838190 SOS 7375183 HAS SOPS 6016136 HAS SOUS 1849116 HAS SOUPS 1754785 WITH SCORE 1762160.183
AT ITER 4465 NEW BEST:: SOT 11837740 SOS 7374733 HAS SOPS 6015686 HAS SOUS 1848466 HAS SOUPS 1754215 WITH SCORE 1761589.733
AT ITER 4480 NEW BEST:: SOT 11841584 SOS 7378544 HAS SOPS 6018745 HAS SOUS 1847974 HAS SOUPS 1753723 WITH SCORE 1761101.544
AT ITER 4483 NEW BEST:: SOT 11841249 SOS 7376736 HAS SOPS 6015525 HAS SOUS 1846661 HAS SOUPS 1752410 WITH SCORE 1759786.736
AT ITER 4496 NEW BEST:: SOT 11845784 SOS 7380568 HAS SOPS 6020596 HAS SOUS 1845959 HAS SOUPS 1751802 WITH SCORE 1759182.568
AT ITER 4502 NEW BEST:: SOT 11845877 SOS 7380905 HAS SOPS 6020902 HAS SOUS 1845892 HAS SOUPS 1751735 WITH SCORE 1759115.905
AT ITER 4512 NEW BEST:: SOT 11845781 SOS 7379478 HAS SOPS 6019625 HAS SOUS 1845515 HAS SOUPS 1751358 WITH SCORE 1758737.478
AT ITER 4524 NEW BEST:: SOT 11845621 SOS 7379258 HAS SOPS 6019481 HAS SOUS 1845371 HAS SOUPS 1751226 WITH SCORE 1758605.258
AT ITER 4538 NEW BEST:: SOT 11845691 SOS 7376812 HAS SOPS 6016486 HAS SOUS 1844520 HAS SOUPS 1750375 WITH SCORE 1757751.812
AT ITER 4540 NEW BEST:: SOT 11846751 SOS 7381569 HAS SOPS 6019228 HAS SOUS 1842632 HAS SOUPS 1748445 WITH SCORE 1755826.569
AT ITER 4549 NEW BEST:: SOT 11846017 SOS 7381202 HAS SOPS 6017150 HAS SOUS 1841963 HAS SOUPS 1747728 WITH SCORE 1755109.202
AT ITER 4553 NEW BEST:: SOT 11846829 SOS 7383753 HAS SOPS 6020257 HAS SOUS 1841290 HAS SOUPS 1747055 WITH SCORE 1754438.753
AT ITER 4570 NEW BEST:: SOT 11844493 SOS 7381102 HAS SOPS 6016554 HAS SOUS 1837033 HAS SOUPS 1742770 WITH SCORE 1750151.102
AT ITER 4590 NEW BEST:: SOT 11843511 SOS 7381716 HAS SOPS 6015839 HAS SOUS 1831470 HAS SOUPS 1737207 WITH SCORE 1744588.716
AT ITER 4595 NEW BEST:: SOT 11843565 SOS 7381338 HAS SOPS 6015189 HAS SOUS 1831119 HAS SOUPS 1736856 WITH SCORE 1744237.338
AT ITER 4602 NEW BEST:: SOT 11842568 SOS 7379035 HAS SOPS 6013821 HAS SOUS 1830506 HAS SOUPS 1736243 WITH SCORE 1743622.035
AT ITER 4623 NEW BEST:: SOT 11842128 SOS 7378595 HAS SOPS 6013141 HAS SOUS 1829146 HAS SOUPS 1734883 WITH SCORE 1742261.595
AT ITER 4624 NEW BEST:: SOT 11841824 SOS 7378411 HAS SOPS 6013064 HAS SOUS 1827658 HAS SOUPS 1733395 WITH SCORE 1740773.411
AT ITER 4628 NEW BEST:: SOT 11841883 SOS 7378517 HAS SOPS 6013130 HAS SOUS 1827570 HAS SOUPS 1733311 WITH SCORE 1740689.517
AT ITER 4630 NEW BEST:: SOT 11845428 SOS 7382617 HAS SOPS 6019487 HAS SOUS 1826112 HAS SOUPS 1731853 WITH SCORE 1739235.617
AT ITER 4658 NEW BEST:: SOT 11845167 SOS 7383256 HAS SOPS 6020301 HAS SOUS 1825104 HAS SOUPS 1730845 WITH SCORE 1738228.256
AT ITER 4677 NEW BEST:: SOT 11843605 SOS 7381694 HAS SOPS 6018739 HAS SOUS 1823658 HAS SOUPS 1729399 WITH SCORE 1736780.694
AT ITER 4680 NEW BEST:: SOT 11843300 SOS 7380050 HAS SOPS 6017872 HAS SOUS 1822342 HAS SOUPS 1728083 WITH SCORE 1735463.05
AT ITER 4684 NEW BEST:: SOT 11839320 SOS 7375604 HAS SOPS 6012927 HAS SOUS 1817217 HAS SOUPS 1722958 WITH SCORE 1730333.604
AT ITER 4696 NEW BEST:: SOT 11839353 SOS 7376429 HAS SOPS 6013664 HAS SOUS 1816782 HAS SOUPS 1722523 WITH SCORE 1729899.429
AT ITER 4702 NEW BEST:: SOT 11838082 SOS 7373983 HAS SOPS 6011258 HAS SOUS 1814001 HAS SOUPS 1719757 WITH SCORE 1727130.983
AT ITER 4707 NEW BEST:: SOT 11837005 SOS 7372247 HAS SOPS 6011149 HAS SOUS 1810149 HAS SOUPS 1716130 WITH SCORE 1723502.247
AT ITER 4744 NEW BEST:: SOT 11836079 SOS 7369899 HAS SOPS 6009140 HAS SOUS 1809189 HAS SOUPS 1715170 WITH SCORE 1722539.899
AT ITER 4774 NEW BEST:: SOT 11836647 SOS 7369636 HAS SOPS 6014816 HAS SOUS 1808791 HAS SOUPS 1714772 WITH SCORE 1722141.636
AT ITER 4829 NEW BEST:: SOT 11839014 SOS 7375314 HAS SOPS 6017870 HAS SOUS 1807963 HAS SOUPS 1713944 WITH SCORE 1721319.314
AT ITER 4847 NEW BEST:: SOT 11842380 SOS 7376361 HAS SOPS 6019206 HAS SOUS 1803297 HAS SOUPS 1709387 WITH SCORE 1716763.361
AT ITER 4865 NEW BEST:: SOT 11842026 SOS 7375934 HAS SOPS 6018789 HAS SOUS 1802873 HAS SOUPS 1708963 WITH SCORE 1716338.934
AT ITER 4881 NEW BEST:: SOT 11841912 SOS 7375814 HAS SOPS 6018641 HAS SOUS 1802611 HAS SOUPS 1708703 WITH SCORE 1716078.814
AT ITER 4886 NEW BEST:: SOT 11841896 SOS 7375794 HAS SOPS 6018621 HAS SOUS 1802563 HAS SOUPS 1708655 WITH SCORE 1716030.794
AT ITER 4888 NEW BEST:: SOT 11842150 SOS 7375915 HAS SOPS 6018559 HAS SOUS 1802134 HAS SOUPS 1708642 WITH SCORE 1716017.915
AT ITER 4918 NEW BEST:: SOT 11840364 SOS 7373317 HAS SOPS 6016168 HAS SOUS 1797950 HAS SOUPS 1704482 WITH SCORE 1711855.317
AT ITER 4924 NEW BEST:: SOT 11840184 SOS 7372603 HAS SOPS 6015157 HAS SOUS 1797821 HAS SOUPS 1704353 WITH SCORE 1711725.603
AT ITER 4929 NEW BEST:: SOT 11839086 SOS 7369599 HAS SOPS 6011082 HAS SOUS 1796603 HAS SOUPS 1703052 WITH SCORE 1710421.599
AT ITER 4965 NEW BEST:: SOT 11843435 SOS 7382636 HAS SOPS 6019840 HAS SOUS 1794164 HAS SOUPS 1700613 WITH SCORE 1707995.636
AT ITER 4984 NEW BEST:: SOT 11842635 SOS 7381846 HAS SOPS 6018573 HAS SOUS 1791910 HAS SOUPS 1698405 WITH SCORE 1705786.846
AT ITER 4990 NEW BEST:: SOT 11840968 SOS 7380179 HAS SOPS 6016906 HAS SOUS 1789827 HAS SOUPS 1696322 WITH SCORE 1703702.179
AT ITER 5019 NEW BEST:: SOT 11840946 SOS 7380181 HAS SOPS 6016920 HAS SOUS 1789718 HAS SOUPS 1696213 WITH SCORE 1703593.181
AT ITER 5055 NEW BEST:: SOT 11840404 SOS 7379651 HAS SOPS 6015640 HAS SOUS 1788802 HAS SOUPS 1695260 WITH SCORE 1702639.651
AT ITER 5069 NEW BEST:: SOT 11840424 SOS 7379675 HAS SOPS 6015664 HAS SOUS 1788770 HAS SOUPS 1695228 WITH SCORE 1702607.675
AT ITER 5083 NEW BEST:: SOT 11840491 SOS 7379712 HAS SOPS 6015686 HAS SOUS 1788617 HAS SOUPS 1695090 WITH SCORE 1702469.712
AT ITER 5084 NEW BEST:: SOT 11839341 SOS 7378288 HAS SOPS 6014147 HAS SOUS 1786905 HAS SOUPS 1693378 WITH SCORE 1700756.288
AT ITER 5105 NEW BEST:: SOT 11839465 SOS 7378542 HAS SOPS 6014489 HAS SOUS 1786665 HAS SOUPS 1693144 WITH SCORE 1700522.542
AT ITER 5107 NEW BEST:: SOT 11838498 SOS 7377569 HAS SOPS 6012886 HAS SOUS 1784790 HAS SOUPS 1691256 WITH SCORE 1698633.569
AT ITER 5140 NEW BEST:: SOT 11837545 SOS 7375826 HAS SOPS 6011634 HAS SOUS 1783887 HAS SOUPS 1690373 WITH SCORE 1697748.826
AT ITER 5141 NEW BEST:: SOT 11836458 SOS 7374059 HAS SOPS 6010329 HAS SOUS 1781630 HAS SOUPS 1688116 WITH SCORE 1695490.059
AT ITER 5146 NEW BEST:: SOT 11836042 SOS 7373643 HAS SOPS 6009705 HAS SOUS 1780486 HAS SOUPS 1686972 WITH SCORE 1694345.643
AT ITER 5164 NEW BEST:: SOT 11835982 SOS 7370647 HAS SOPS 6008249 HAS SOUS 1779858 HAS SOUPS 1686344 WITH SCORE 1693714.647
AT ITER 5203 NEW BEST:: SOT 11835837 SOS 7369755 HAS SOPS 6007018 HAS SOUS 1779475 HAS SOUPS 1685961 WITH SCORE 1693330.755
AT ITER 5217 NEW BEST:: SOT 11836042 SOS 7369268 HAS SOPS 6005016 HAS SOUS 1779465 HAS SOUPS 1685951 WITH SCORE 1693320.268
AT ITER 5233 NEW BEST:: SOT 11835448 SOS 7368533 HAS SOPS 6004059 HAS SOUS 1778269 HAS SOUPS 1684755 WITH SCORE 1692123.533
AT ITER 5256 NEW BEST:: SOT 11832805 SOS 7365902 HAS SOPS 6001128 HAS SOUS 1774031 HAS SOUPS 1680505 WITH SCORE 1687870.902
AT ITER 5269 NEW BEST:: SOT 11829930 SOS 7363713 HAS SOPS 5997832 HAS SOUS 1771616 HAS SOUPS 1678090 WITH SCORE 1685453.713
AT ITER 5288 NEW BEST:: SOT 11822371 SOS 7356947 HAS SOPS 5991254 HAS SOUS 1764661 HAS SOUPS 1671135 WITH SCORE 1678491.947
AT ITER 5305 NEW BEST:: SOT 11822673 SOS 7358867 HAS SOPS 5993442 HAS SOUS 1764482 HAS SOUPS 1670956 WITH SCORE 1678314.867
AT ITER 5321 NEW BEST:: SOT 11822843 SOS 7359916 HAS SOPS 5993981 HAS SOUS 1763844 HAS SOUPS 1670318 WITH SCORE 1677677.916
AT ITER 5325 NEW BEST:: SOT 11820378 SOS 7357409 HAS SOPS 5990767 HAS SOUS 1759716 HAS SOUPS 1666190 WITH SCORE 1673547.409
AT ITER 5331 NEW BEST:: SOT 11820107 SOS 7357131 HAS SOPS 5990238 HAS SOUS 1758939 HAS SOUPS 1665413 WITH SCORE 1672770.131
AT ITER 5341 NEW BEST:: SOT 11820132 SOS 7357237 HAS SOPS 5990330 HAS SOUS 1758930 HAS SOUPS 1665404 WITH SCORE 1672761.237
AT ITER 5349 NEW BEST:: SOT 11819176 SOS 7356275 HAS SOPS 5990491 HAS SOUS 1757094 HAS SOUPS 1664579 WITH SCORE 1671935.275
AT ITER 5355 NEW BEST:: SOT 11818452 SOS 7354687 HAS SOPS 5987415 HAS SOUS 1754926 HAS SOUPS 1662402 WITH SCORE 1669756.687
AT ITER 5357 NEW BEST:: SOT 11818502 SOS 7354657 HAS SOPS 5986993 HAS SOUS 1754525 HAS SOUPS 1662001 WITH SCORE 1669355.657
AT ITER 5374 NEW BEST:: SOT 11817608 SOS 7353523 HAS SOPS 5985810 HAS SOUS 1753682 HAS SOUPS 1661149 WITH SCORE 1668502.523
AT ITER 5412 NEW BEST:: SOT 11817223 SOS 7350869 HAS SOPS 5984908 HAS SOUS 1753566 HAS SOUPS 1661110 WITH SCORE 1668460.869
AT ITER 5427 NEW BEST:: SOT 11814671 SOS 7345347 HAS SOPS 5980191 HAS SOUS 1749776 HAS SOUPS 1657354 WITH SCORE 1664699.347
AT ITER 5428 NEW BEST:: SOT 11814668 SOS 7345386 HAS SOPS 5980315 HAS SOUS 1749772 HAS SOUPS 1657350 WITH SCORE 1664695.386
AT ITER 5433 NEW BEST:: SOT 11813585 SOS 7339129 HAS SOPS 5975830 HAS SOUS 1746240 HAS SOUPS 1653818 WITH SCORE 1661157.129
AT ITER 5441 NEW BEST:: SOT 11814341 SOS 7339057 HAS SOPS 5975828 HAS SOUS 1745165 HAS SOUPS 1652791 WITH SCORE 1660130.057
AT ITER 5451 NEW BEST:: SOT 11814339 SOS 7338979 HAS SOPS 5975776 HAS SOUS 1745123 HAS SOUPS 1652749 WITH SCORE 1660087.979
AT ITER 5486 NEW BEST:: SOT 11814675 SOS 7339315 HAS SOPS 5976112 HAS SOUS 1745027 HAS SOUPS 1652653 WITH SCORE 1659992.315
AT ITER 5505 NEW BEST:: SOT 11814675 SOS 7339243 HAS SOPS 5976112 HAS SOUS 1745027 HAS SOUPS 1652653 WITH SCORE 1659992.243
AT ITER 5553 NEW BEST:: SOT 11814857 SOS 7339417 HAS SOPS 5976294 HAS SOUS 1745006 HAS SOUPS 1652632 WITH SCORE 1659971.417
AT ITER 5574 NEW BEST:: SOT 11813346 SOS 7337809 HAS SOPS 5974694 HAS SOUS 1743485 HAS SOUPS 1650759 WITH SCORE 1658096.809
AT ITER 5578 NEW BEST:: SOT 11813504 SOS 7338085 HAS SOPS 5974970 HAS SOUS 1742371 HAS SOUPS 1649645 WITH SCORE 1656983.085
AT ITER 5583 NEW BEST:: SOT 11813716 SOS 7340318 HAS SOPS 5977784 HAS SOUS 1740985 HAS SOUPS 1648324 WITH SCORE 1655664.318
AT ITER 5587 NEW BEST:: SOT 11811528 SOS 7338143 HAS SOPS 5974584 HAS SOUS 1738892 HAS SOUPS 1644803 WITH SCORE 1652141.143
AT ITER 5593 NEW BEST:: SOT 11810707 SOS 7336621 HAS SOPS 5972922 HAS SOUS 1737998 HAS SOUPS 1643872 WITH SCORE 1651208.621
AT ITER 5602 NEW BEST:: SOT 11810620 SOS 7336554 HAS SOPS 5972963 HAS SOUS 1737907 HAS SOUPS 1643781 WITH SCORE 1651117.554
AT ITER 5630 NEW BEST:: SOT 11810468 SOS 7336665 HAS SOPS 5972891 HAS SOUS 1737595 HAS SOUPS 1643469 WITH SCORE 1650805.665
AT ITER 5635 NEW BEST:: SOT 11808784 SOS 7334969 HAS SOPS 5971003 HAS SOUS 1735043 HAS SOUPS 1640917 WITH SCORE 1648251.969
AT ITER 5639 NEW BEST:: SOT 11807736 SOS 7333412 HAS SOPS 5969216 HAS SOUS 1734854 HAS SOUPS 1640712 WITH SCORE 1648045.412
AT ITER 5647 NEW BEST:: SOT 11807777 SOS 7333305 HAS SOPS 5969350 HAS SOUS 1734744 HAS SOUPS 1640602 WITH SCORE 1647935.305
AT ITER 5654 NEW BEST:: SOT 11807684 SOS 7333250 HAS SOPS 5969343 HAS SOUS 1734057 HAS SOUPS 1640001 WITH SCORE 1647334.25
AT ITER 5670 NEW BEST:: SOT 11806817 SOS 7331599 HAS SOPS 5968296 HAS SOUS 1731984 HAS SOUPS 1637928 WITH SCORE 1645259.599
AT ITER 5672 NEW BEST:: SOT 11802620 SOS 7327395 HAS SOPS 5963452 HAS SOUS 1724923 HAS SOUPS 1630867 WITH SCORE 1638194.395
AT ITER 5676 NEW BEST:: SOT 11801679 SOS 7326011 HAS SOPS 5961858 HAS SOUS 1723602 HAS SOUPS 1629567 WITH SCORE 1636893.011
AT ITER 5688 NEW BEST:: SOT 11801676 SOS 7325996 HAS SOPS 5961791 HAS SOUS 1723481 HAS SOUPS 1629446 WITH SCORE 1636771.996
AT ITER 5689 NEW BEST:: SOT 11799308 SOS 7322289 HAS SOPS 5958808 HAS SOUS 1721351 HAS SOUPS 1627348 WITH SCORE 1634670.289
AT ITER 5731 NEW BEST:: SOT 11798226 SOS 7320517 HAS SOPS 5955169 HAS SOUS 1717879 HAS SOUPS 1623876 WITH SCORE 1631196.517
AT ITER 5743 NEW BEST:: SOT 11798054 SOS 7318707 HAS SOPS 5953153 HAS SOUS 1717318 HAS SOUPS 1623315 WITH SCORE 1630633.707
AT ITER 5753 NEW BEST:: SOT 11795444 SOS 7314467 HAS SOPS 5949155 HAS SOUS 1711793 HAS SOUPS 1617822 WITH SCORE 1625136.467
AT ITER 5789 NEW BEST:: SOT 11794701 SOS 7315922 HAS SOPS 5950983 HAS SOUS 1707905 HAS SOUPS 1613973 WITH SCORE 1621288.922
AT ITER 5810 NEW BEST:: SOT 11793716 SOS 7314825 HAS SOPS 5949961 HAS SOUS 1708130 HAS SOUPS 1613946 WITH SCORE 1621260.825
AT ITER 5819 NEW BEST:: SOT 11794244 SOS 7315164 HAS SOPS 5949804 HAS SOUS 1707111 HAS SOUPS 1612831 WITH SCORE 1620146.164
AT ITER 5850 NEW BEST:: SOT 11792905 SOS 7313666 HAS SOPS 5950261 HAS SOUS 1704801 HAS SOUPS 1610708 WITH SCORE 1618021.666
AT ITER 5896 NEW BEST:: SOT 11792347 SOS 7311389 HAS SOPS 5948691 HAS SOUS 1704331 HAS SOUPS 1610238 WITH SCORE 1617549.389
AT ITER 5897 NEW BEST:: SOT 11789567 SOS 7307525 HAS SOPS 5943380 HAS SOUS 1700278 HAS SOUPS 1606185 WITH SCORE 1613492.525
AT ITER 5903 NEW BEST:: SOT 11792064 SOS 7316730 HAS SOPS 5953068 HAS SOUS 1697333 HAS SOUPS 1603381 WITH SCORE 1610697.73
AT ITER 5910 NEW BEST:: SOT 11791479 SOS 7315887 HAS SOPS 5952217 HAS SOUS 1696035 HAS SOUPS 1602083 WITH SCORE 1609398.887
AT ITER 5950 NEW BEST:: SOT 11790785 SOS 7315179 HAS SOPS 5951083 HAS SOUS 1694285 HAS SOUPS 1600343 WITH SCORE 1607658.179
AT ITER 5974 NEW BEST:: SOT 11790823 SOS 7316224 HAS SOPS 5952554 HAS SOUS 1694283 HAS SOUPS 1600341 WITH SCORE 1607657.224
AT ITER 6021 NEW BEST:: SOT 11788195 SOS 7315843 HAS SOPS 5951663 HAS SOUS 1691635 HAS SOUPS 1597548 WITH SCORE 1604863.843
AT ITER 6022 NEW BEST:: SOT 11788221 SOS 7316116 HAS SOPS 5951609 HAS SOUS 1691095 HAS SOUPS 1597008 WITH SCORE 1604324.116
AT ITER 6033 NEW BEST:: SOT 11786952 SOS 7315261 HAS SOPS 5948598 HAS SOUS 1685874 HAS SOUPS 1591787 WITH SCORE 1599102.261
AT ITER 6039 NEW BEST:: SOT 11787041 SOS 7314072 HAS SOPS 5946939 HAS SOUS 1685809 HAS SOUPS 1591722 WITH SCORE 1599036.072
AT ITER 6044 NEW BEST:: SOT 11787041 SOS 7314104 HAS SOPS 5946971 HAS SOUS 1685805 HAS SOUPS 1591718 WITH SCORE 1599032.104
AT ITER 6049 NEW BEST:: SOT 11786205 SOS 7313301 HAS SOPS 5946048 HAS SOUS 1684882 HAS SOUPS 1590795 WITH SCORE 1598108.301
AT ITER 6086 NEW BEST:: SOT 11786440 SOS 7313216 HAS SOPS 5945920 HAS SOUS 1684275 HAS SOUPS 1590188 WITH SCORE 1597501.216
AT ITER 6134 NEW BEST:: SOT 11786413 SOS 7313199 HAS SOPS 5945823 HAS SOUS 1684008 HAS SOUPS 1589921 WITH SCORE 1597234.199
AT ITER 6145 NEW BEST:: SOT 11786052 SOS 7312417 HAS SOPS 5944981 HAS SOUS 1683269 HAS SOUPS 1589189 WITH SCORE 1596501.417
AT ITER 6166 NEW BEST:: SOT 11790313 SOS 7317052 HAS SOPS 5950383 HAS SOUS 1683153 HAS SOUPS 1589073 WITH SCORE 1596390.052
AT ITER 6170 NEW BEST:: SOT 11787236 SOS 7310608 HAS SOPS 5947699 HAS SOUS 1682711 HAS SOUPS 1588904 WITH SCORE 1596214.608
AT ITER 6191 NEW BEST:: SOT 11777124 SOS 7300620 HAS SOPS 5939608 HAS SOUS 1676374 HAS SOUPS 1583063 WITH SCORE 1590363.62
AT ITER 6222 NEW BEST:: SOT 11776431 SOS 7299764 HAS SOPS 5938550 HAS SOUS 1674557 HAS SOUPS 1581246 WITH SCORE 1588545.764
AT ITER 6241 NEW BEST:: SOT 11774843 SOS 7298176 HAS SOPS 5936658 HAS SOUS 1672681 HAS SOUPS 1579370 WITH SCORE 1586668.176
AT ITER 6263 NEW BEST:: SOT 11774659 SOS 7297913 HAS SOPS 5936019 HAS SOUS 1669773 HAS SOUPS 1576513 WITH SCORE 1583810.913
AT ITER 6291 NEW BEST:: SOT 11774381 SOS 7297508 HAS SOPS 5935508 HAS SOUS 1669205 HAS SOUPS 1575945 WITH SCORE 1583242.508
AT ITER 6299 NEW BEST:: SOT 11774279 SOS 7297405 HAS SOPS 5935389 HAS SOUS 1669031 HAS SOUPS 1575771 WITH SCORE 1583068.405
AT ITER 6315 NEW BEST:: SOT 11773871 SOS 7297119 HAS SOPS 5935042 HAS SOUS 1668949 HAS SOUPS 1575689 WITH SCORE 1582986.119
AT ITER 6332 NEW BEST:: SOT 11774333 SOS 7297513 HAS SOPS 5935933 HAS SOUS 1668920 HAS SOUPS 1575660 WITH SCORE 1582957.513
AT ITER 6355 NEW BEST:: SOT 11771605 SOS 7295145 HAS SOPS 5933527 HAS SOUS 1664786 HAS SOUPS 1571526 WITH SCORE 1578821.145
AT ITER 6360 NEW BEST:: SOT 11772225 SOS 7297017 HAS SOPS 5937966 HAS SOUS 1663343 HAS SOUPS 1570083 WITH SCORE 1577380.017
AT ITER 6366 NEW BEST:: SOT 11771775 SOS 7296522 HAS SOPS 5937482 HAS SOUS 1662088 HAS SOUPS 1569138 WITH SCORE 1576434.522
AT ITER 6372 NEW BEST:: SOT 11771660 SOS 7296407 HAS SOPS 5938724 HAS SOUS 1661405 HAS SOUPS 1568455 WITH SCORE 1575751.407
AT ITER 6415 NEW BEST:: SOT 11771660 SOS 7296383 HAS SOPS 5938724 HAS SOUS 1661273 HAS SOUPS 1568335 WITH SCORE 1575631.383
AT ITER 6453 NEW BEST:: SOT 11771482 SOS 7296197 HAS SOPS 5938464 HAS SOUS 1661013 HAS SOUPS 1568075 WITH SCORE 1575371.197
AT ITER 6470 NEW BEST:: SOT 11771420 SOS 7297152 HAS SOPS 5939783 HAS SOUS 1660205 HAS SOUPS 1567267 WITH SCORE 1574564.152
AT ITER 6471 NEW BEST:: SOT 11771337 SOS 7297348 HAS SOPS 5939700 HAS SOUS 1660185 HAS SOUPS 1567222 WITH SCORE 1574519.348
AT ITER 6494 NEW BEST:: SOT 11771394 SOS 7296940 HAS SOPS 5939903 HAS SOUS 1659665 HAS SOUPS 1566731 WITH SCORE 1574027.94
AT ITER 6547 NEW BEST:: SOT 11771152 SOS 7296624 HAS SOPS 5939095 HAS SOUS 1658667 HAS SOUPS 1565733 WITH SCORE 1573029.624
AT ITER 6625 NEW BEST:: SOT 11769009 SOS 7291720 HAS SOPS 5935223 HAS SOUS 1656751 HAS SOUPS 1564136 WITH SCORE 1571427.72
AT ITER 6649 NEW BEST:: SOT 11768747 SOS 7291239 HAS SOPS 5934775 HAS SOUS 1656411 HAS SOUPS 1563798 WITH SCORE 1571089.239
AT ITER 6651 NEW BEST:: SOT 11768936 SOS 7292121 HAS SOPS 5935391 HAS SOUS 1656314 HAS SOUPS 1563682 WITH SCORE 1570974.121
AT ITER 6662 NEW BEST:: SOT 11768644 SOS 7291374 HAS SOPS 5934841 HAS SOUS 1655783 HAS SOUPS 1563163 WITH SCORE 1570454.374
AT ITER 6679 NEW BEST:: SOT 11767116 SOS 7286670 HAS SOPS 5929242 HAS SOUS 1650727 HAS SOUPS 1558107 WITH SCORE 1565393.67
AT ITER 6704 NEW BEST:: SOT 11767140 SOS 7286612 HAS SOPS 5929206 HAS SOUS 1650718 HAS SOUPS 1558103 WITH SCORE 1565389.612
AT ITER 6726 NEW BEST:: SOT 11770786 SOS 7294849 HAS SOPS 5936278 HAS SOUS 1650472 HAS SOUPS 1557912 WITH SCORE 1565206.849
AT ITER 6731 NEW BEST:: SOT 11770762 SOS 7294825 HAS SOPS 5936238 HAS SOUS 1650400 HAS SOUPS 1557840 WITH SCORE 1565134.825
AT ITER 6739 NEW BEST:: SOT 11766587 SOS 7291102 HAS SOPS 5933757 HAS SOUS 1649318 HAS SOUPS 1556758 WITH SCORE 1564049.102
AT ITER 6774 NEW BEST:: SOT 11766383 SOS 7290613 HAS SOPS 5933373 HAS SOUS 1649234 HAS SOUPS 1556677 WITH SCORE 1563967.613
AT ITER 6808 NEW BEST:: SOT 11764330 SOS 7276471 HAS SOPS 5924425 HAS SOUS 1646006 HAS SOUPS 1553449 WITH SCORE 1560725.471
AT ITER 6809 NEW BEST:: SOT 11763949 SOS 7276086 HAS SOPS 5923790 HAS SOUS 1644479 HAS SOUPS 1551926 WITH SCORE 1559202.086
AT ITER 6811 NEW BEST:: SOT 11764323 SOS 7276314 HAS SOPS 5924580 HAS SOUS 1642791 HAS SOUPS 1550654 WITH SCORE 1557930.314
AT ITER 6824 NEW BEST:: SOT 11760372 SOS 7268773 HAS SOPS 5916932 HAS SOUS 1640214 HAS SOUPS 1548077 WITH SCORE 1555345.773
AT ITER 6827 NEW BEST:: SOT 11761256 SOS 7269657 HAS SOPS 5917816 HAS SOUS 1640122 HAS SOUPS 1547985 WITH SCORE 1555254.657
AT ITER 6843 NEW BEST:: SOT 11761702 SOS 7270794 HAS SOPS 5918954 HAS SOUS 1640052 HAS SOUPS 1547922 WITH SCORE 1555192.794
AT ITER 6861 NEW BEST:: SOT 11762455 SOS 7272888 HAS SOPS 5923135 HAS SOUS 1640002 HAS SOUPS 1547872 WITH SCORE 1555144.888
AT ITER 6866 NEW BEST:: SOT 11762206 SOS 7272787 HAS SOPS 5922870 HAS SOUS 1639537 HAS SOUPS 1547407 WITH SCORE 1554679.787
AT ITER 6890 NEW BEST:: SOT 11760933 SOS 7270243 HAS SOPS 5920281 HAS SOUS 1638758 HAS SOUPS 1546628 WITH SCORE 1553898.243
AT ITER 6905 NEW BEST:: SOT 11760849 SOS 7270159 HAS SOPS 5920181 HAS SOUS 1638610 HAS SOUPS 1546480 WITH SCORE 1553750.159
AT ITER 6921 NEW BEST:: SOT 11761129 SOS 7271123 HAS SOPS 5920818 HAS SOUS 1638569 HAS SOUPS 1546439 WITH SCORE 1553710.123
AT ITER 7005 NEW BEST:: SOT 11761103 SOS 7271207 HAS SOPS 5920796 HAS SOUS 1637285 HAS SOUPS 1545153 WITH SCORE 1552424.207
AT ITER 7065 NEW BEST:: SOT 11761844 SOS 7271543 HAS SOPS 5921262 HAS SOUS 1636267 HAS SOUPS 1544135 WITH SCORE 1551406.543
AT ITER 7078 NEW BEST:: SOT 11762237 SOS 7271027 HAS SOPS 5921193 HAS SOUS 1635499 HAS SOUPS 1543367 WITH SCORE 1550638.027
AT ITER 7110 NEW BEST:: SOT 11761552 SOS 7269844 HAS SOPS 5920584 HAS SOUS 1634907 HAS SOUPS 1542992 WITH SCORE 1550261.844
AT ITER 7111 NEW BEST:: SOT 11761972 SOS 7270264 HAS SOPS 5920876 HAS SOUS 1634019 HAS SOUPS 1542104 WITH SCORE 1549374.264
AT ITER 7152 NEW BEST:: SOT 11762881 SOS 7270908 HAS SOPS 5921930 HAS SOUS 1632544 HAS SOUPS 1540685 WITH SCORE 1547955.908
AT ITER 7159 NEW BEST:: SOT 11763000 SOS 7270965 HAS SOPS 5921469 HAS SOUS 1631921 HAS SOUPS 1540062 WITH SCORE 1547332.965
AT ITER 7174 NEW BEST:: SOT 11762811 SOS 7270636 HAS SOPS 5921040 HAS SOUS 1631684 HAS SOUPS 1539829 WITH SCORE 1547099.636
AT ITER 7207 NEW BEST:: SOT 11762772 SOS 7270620 HAS SOPS 5920989 HAS SOUS 1631560 HAS SOUPS 1539705 WITH SCORE 1546975.62
AT ITER 7215 NEW BEST:: SOT 11762681 SOS 7270494 HAS SOPS 5920983 HAS SOUS 1631473 HAS SOUPS 1539618 WITH SCORE 1546888.494
AT ITER 7221 NEW BEST:: SOT 11761999 SOS 7269810 HAS SOPS 5920107 HAS SOUS 1630167 HAS SOUPS 1538312 WITH SCORE 1545581.81
AT ITER 7252 NEW BEST:: SOT 11762610 SOS 7270434 HAS SOPS 5920523 HAS SOUS 1628938 HAS SOUPS 1537083 WITH SCORE 1544353.434
AT ITER 7257 NEW BEST:: SOT 11762564 SOS 7270988 HAS SOPS 5918590 HAS SOUS 1625414 HAS SOUPS 1533559 WITH SCORE 1540829.988
AT ITER 7276 NEW BEST:: SOT 11759757 SOS 7266050 HAS SOPS 5914133 HAS SOUS 1619290 HAS SOUPS 1527472 WITH SCORE 1534738.05
AT ITER 7289 NEW BEST:: SOT 11762716 SOS 7273835 HAS SOPS 5918596 HAS SOUS 1616773 HAS SOUPS 1524949 WITH SCORE 1532222.835
AT ITER 7313 NEW BEST:: SOT 11761874 SOS 7272422 HAS SOPS 5917280 HAS SOUS 1611749 HAS SOUPS 1519925 WITH SCORE 1527197.422
AT ITER 7339 NEW BEST:: SOT 11776105 SOS 7289199 HAS SOPS 5946879 HAS SOUS 1605443 HAS SOUPS 1513958 WITH SCORE 1521247.199
AT ITER 7351 NEW BEST:: SOT 11770570 SOS 7283640 HAS SOPS 5941016 HAS SOUS 1598656 HAS SOUPS 1507171 WITH SCORE 1514454.64
AT ITER 7357 NEW BEST:: SOT 11773325 SOS 7288458 HAS SOPS 5947036 HAS SOUS 1595641 HAS SOUPS 1504156 WITH SCORE 1511444.458
AT ITER 7364 NEW BEST:: SOT 11773476 SOS 7288986 HAS SOPS 5944579 HAS SOUS 1595422 HAS SOUPS 1503741 WITH SCORE 1511029.986
AT ITER 7372 NEW BEST:: SOT 11772497 SOS 7287717 HAS SOPS 5943118 HAS SOUS 1593273 HAS SOUPS 1502040 WITH SCORE 1509327.717
AT ITER 7395 NEW BEST:: SOT 11772408 SOS 7287560 HAS SOPS 5942969 HAS SOUS 1593208 HAS SOUPS 1501979 WITH SCORE 1509266.56
AT ITER 7441 NEW BEST:: SOT 11772526 SOS 7285406 HAS SOPS 5941168 HAS SOUS 1592447 HAS SOUPS 1501218 WITH SCORE 1508503.406
AT ITER 7453 NEW BEST:: SOT 11772258 SOS 7285138 HAS SOPS 5940900 HAS SOUS 1592375 HAS SOUPS 1501146 WITH SCORE 1508431.138
AT ITER 7493 NEW BEST:: SOT 11769781 SOS 7282616 HAS SOPS 5938423 HAS SOUS 1592002 HAS SOUPS 1500818 WITH SCORE 1508100.616
AT ITER 7509 NEW BEST:: SOT 11766623 SOS 7279551 HAS SOPS 5933151 HAS SOUS 1587537 HAS SOUPS 1496655 WITH SCORE 1503934.551
AT ITER 7529 NEW BEST:: SOT 11765173 SOS 7278297 HAS SOPS 5931682 HAS SOUS 1584134 HAS SOUPS 1493220 WITH SCORE 1500498.297
AT ITER 7561 NEW BEST:: SOT 11762360 SOS 7273155 HAS SOPS 5924947 HAS SOUS 1582135 HAS SOUPS 1491221 WITH SCORE 1498494.155
AT ITER 7566 NEW BEST:: SOT 11762168 SOS 7274134 HAS SOPS 5925732 HAS SOUS 1582029 HAS SOUPS 1491099 WITH SCORE 1498373.134
AT ITER 7581 NEW BEST:: SOT 11763820 SOS 7280551 HAS SOPS 5932411 HAS SOUS 1581233 HAS SOUPS 1490303 WITH SCORE 1497583.551
AT ITER 7591 NEW BEST:: SOT 11762542 SOS 7279201 HAS SOPS 5930421 HAS SOUS 1581042 HAS SOUPS 1490112 WITH SCORE 1497391.201
AT ITER 7605 NEW BEST:: SOT 11763140 SOS 7284101 HAS SOPS 5934099 HAS SOUS 1577346 HAS SOUPS 1486416 WITH SCORE 1493700.101
AT ITER 7613 NEW BEST:: SOT 11763683 SOS 7282866 HAS SOPS 5934458 HAS SOUS 1576776 HAS SOUPS 1485905 WITH SCORE 1493187.866
AT ITER 7617 NEW BEST:: SOT 11763874 SOS 7282818 HAS SOPS 5934665 HAS SOUS 1576438 HAS SOUPS 1485596 WITH SCORE 1492878.818
AT ITER 7621 NEW BEST:: SOT 11763613 SOS 7282014 HAS SOPS 5933392 HAS SOUS 1575498 HAS SOUPS 1484642 WITH SCORE 1491924.014
AT ITER 7632 NEW BEST:: SOT 11763491 SOS 7281898 HAS SOPS 5933291 HAS SOUS 1575336 HAS SOUPS 1484480 WITH SCORE 1491761.898
AT ITER 7690 NEW BEST:: SOT 11764653 SOS 7284485 HAS SOPS 5935779 HAS SOUS 1575022 HAS SOUPS 1484183 WITH SCORE 1491467.485
AT ITER 7701 NEW BEST:: SOT 11764571 SOS 7284334 HAS SOPS 5935601 HAS SOUS 1574885 HAS SOUPS 1484052 WITH SCORE 1491336.334
AT ITER 7718 NEW BEST:: SOT 11764468 SOS 7284216 HAS SOPS 5935482 HAS SOUS 1574730 HAS SOUPS 1483898 WITH SCORE 1491182.216
AT ITER 7731 NEW BEST:: SOT 11763131 SOS 7280926 HAS SOPS 5931119 HAS SOUS 1573294 HAS SOUPS 1482462 WITH SCORE 1489742.926
AT ITER 7738 NEW BEST:: SOT 11762359 SOS 7282267 HAS SOPS 5931920 HAS SOUS 1567166 HAS SOUPS 1476334 WITH SCORE 1483616.267
AT ITER 7755 NEW BEST:: SOT 11762197 SOS 7282055 HAS SOPS 5931606 HAS SOUS 1566970 HAS SOUPS 1476138 WITH SCORE 1483420.055
AT ITER 7756 NEW BEST:: SOT 11762118 SOS 7281892 HAS SOPS 5931445 HAS SOUS 1566869 HAS SOUPS 1476038 WITH SCORE 1483319.892
AT ITER 7764 NEW BEST:: SOT 11761999 SOS 7281773 HAS SOPS 5931228 HAS SOUS 1566504 HAS SOUPS 1475673 WITH SCORE 1482954.773
AT ITER 7770 NEW BEST:: SOT 11763315 SOS 7283089 HAS SOPS 5932112 HAS SOUS 1566256 HAS SOUPS 1475425 WITH SCORE 1482708.089
AT ITER 7776 NEW BEST:: SOT 11763358 SOS 7283015 HAS SOPS 5932016 HAS SOUS 1566221 HAS SOUPS 1475390 WITH SCORE 1482673.015
AT ITER 7792 NEW BEST:: SOT 11763290 SOS 7282913 HAS SOPS 5931910 HAS SOUS 1566097 HAS SOUPS 1475262 WITH SCORE 1482544.913
AT ITER 7818 NEW BEST:: SOT 11763515 SOS 7283635 HAS SOPS 5932856 HAS SOUS 1566020 HAS SOUPS 1475185 WITH SCORE 1482468.635
AT ITER 7826 NEW BEST:: SOT 11763503 SOS 7283497 HAS SOPS 5932718 HAS SOUS 1565996 HAS SOUPS 1475161 WITH SCORE 1482444.497
AT ITER 7848 NEW BEST:: SOT 11762939 SOS 7283296 HAS SOPS 5932154 HAS SOUS 1564037 HAS SOUPS 1473202 WITH SCORE 1480485.296
AT ITER 7861 NEW BEST:: SOT 11762483 SOS 7282840 HAS SOPS 5931554 HAS SOUS 1563125 HAS SOUPS 1472290 WITH SCORE 1479572.84
AT ITER 7868 NEW BEST:: SOT 11761719 SOS 7282076 HAS SOPS 5930630 HAS SOUS 1561881 HAS SOUPS 1471046 WITH SCORE 1478328.076
AT ITER 7901 NEW BEST:: SOT 11755653 SOS 7272812 HAS SOPS 5923193 HAS SOUS 1556129 HAS SOUPS 1465437 WITH SCORE 1472709.812
AT ITER 7902 NEW BEST:: SOT 11754748 SOS 7272152 HAS SOPS 5922853 HAS SOUS 1553368 HAS SOUPS 1462716 WITH SCORE 1469988.152
AT ITER 7912 NEW BEST:: SOT 11754544 SOS 7271952 HAS SOPS 5922653 HAS SOUS 1553228 HAS SOUPS 1462576 WITH SCORE 1469847.952
AT ITER 7937 NEW BEST:: SOT 11753994 SOS 7269993 HAS SOPS 5920633 HAS SOUS 1551927 HAS SOUPS 1461275 WITH SCORE 1468544.993
AT ITER 7962 NEW BEST:: SOT 11751528 SOS 7261733 HAS SOPS 5914445 HAS SOUS 1549447 HAS SOUPS 1459050 WITH SCORE 1466311.733
AT ITER 7968 NEW BEST:: SOT 11749189 SOS 7257371 HAS SOPS 5910272 HAS SOUS 1549083 HAS SOUPS 1458686 WITH SCORE 1465943.371
AT ITER 7982 NEW BEST:: SOT 11747972 SOS 7253634 HAS SOPS 5907233 HAS SOUS 1548783 HAS SOUPS 1458386 WITH SCORE 1465639.634
AT ITER 8006 NEW BEST:: SOT 11747832 SOS 7253697 HAS SOPS 5907214 HAS SOUS 1548682 HAS SOUPS 1458285 WITH SCORE 1465538.697
AT ITER 8011 NEW BEST:: SOT 11748659 SOS 7257072 HAS SOPS 5910548 HAS SOUS 1544931 HAS SOUPS 1454534 WITH SCORE 1461791.072
AT ITER 8012 NEW BEST:: SOT 11748499 SOS 7257760 HAS SOPS 5910580 HAS SOUS 1544393 HAS SOUPS 1453996 WITH SCORE 1461253.76
AT ITER 8089 NEW BEST:: SOT 11748408 SOS 7257685 HAS SOPS 5910153 HAS SOUS 1543374 HAS SOUPS 1452977 WITH SCORE 1460234.685
AT ITER 8133 NEW BEST:: SOT 11748100 SOS 7256223 HAS SOPS 5908222 HAS SOUS 1538165 HAS SOUPS 1447768 WITH SCORE 1455024.223
AT ITER 8135 NEW BEST:: SOT 11747943 SOS 7257078 HAS SOPS 5909142 HAS SOUS 1538058 HAS SOUPS 1447661 WITH SCORE 1454918.078
AT ITER 8161 NEW BEST:: SOT 11747818 SOS 7257047 HAS SOPS 5909048 HAS SOUS 1534901 HAS SOUPS 1444522 WITH SCORE 1451779.047
AT ITER 8175 NEW BEST:: SOT 11747198 SOS 7254715 HAS SOPS 5907920 HAS SOUS 1533034 HAS SOUPS 1442655 WITH SCORE 1449909.715
AT ITER 8181 NEW BEST:: SOT 11747130 SOS 7254658 HAS SOPS 5907812 HAS SOUS 1532891 HAS SOUPS 1442510 WITH SCORE 1449764.658
AT ITER 8186 NEW BEST:: SOT 11747082 SOS 7254191 HAS SOPS 5907258 HAS SOUS 1532860 HAS SOUPS 1442479 WITH SCORE 1449733.191
AT ITER 8194 NEW BEST:: SOT 11745930 SOS 7253039 HAS SOPS 5905594 HAS SOUS 1529500 HAS SOUPS 1439023 WITH SCORE 1446276.039
AT ITER 8238 NEW BEST:: SOT 11745840 SOS 7252954 HAS SOPS 5905557 HAS SOUS 1528717 HAS SOUPS 1438248 WITH SCORE 1445500.954
AT ITER 8268 NEW BEST:: SOT 11745556 SOS 7252919 HAS SOPS 5905558 HAS SOUS 1528204 HAS SOUPS 1437735 WITH SCORE 1444987.919
AT ITER 8273 NEW BEST:: SOT 11748011 SOS 7255279 HAS SOPS 5906446 HAS SOUS 1526919 HAS SOUPS 1436450 WITH SCORE 1443705.279
AT ITER 8291 NEW BEST:: SOT 11743994 SOS 7246682 HAS SOPS 5898922 HAS SOUS 1524529 HAS SOUPS 1434060 WITH SCORE 1441306.682
AT ITER 8293 NEW BEST:: SOT 11738728 SOS 7234855 HAS SOPS 5887846 HAS SOUS 1523130 HAS SOUPS 1432661 WITH SCORE 1439895.855
AT ITER 8296 NEW BEST:: SOT 11738669 SOS 7233687 HAS SOPS 5886715 HAS SOUS 1523104 HAS SOUPS 1432635 WITH SCORE 1439868.687
AT ITER 8317 NEW BEST:: SOT 11734497 SOS 7226440 HAS SOPS 5880055 HAS SOUS 1518288 HAS SOUPS 1427844 WITH SCORE 1435070.44
AT ITER 8351 NEW BEST:: SOT 11735059 SOS 7225736 HAS SOPS 5880226 HAS SOUS 1518061 HAS SOUPS 1427660 WITH SCORE 1434885.736
AT ITER 8434 NEW BEST:: SOT 11734636 SOS 7225313 HAS SOPS 5879707 HAS SOUS 1517622 HAS SOUPS 1427221 WITH SCORE 1434446.313
AT ITER 8441 NEW BEST:: SOT 11734650 SOS 7228466 HAS SOPS 5883718 HAS SOUS 1515754 HAS SOUPS 1425353 WITH SCORE 1432581.466
AT ITER 8456 NEW BEST:: SOT 11734026 SOS 7227858 HAS SOPS 5882798 HAS SOUS 1514442 HAS SOUPS 1424041 WITH SCORE 1431268.858
AT ITER 8468 NEW BEST:: SOT 11728419 SOS 7208174 HAS SOPS 5869620 HAS SOUS 1503348 HAS SOUPS 1413118 WITH SCORE 1420326.174
AT ITER 8516 NEW BEST:: SOT 11728363 SOS 7208210 HAS SOPS 5869632 HAS SOUS 1503136 HAS SOUPS 1412908 WITH SCORE 1420116.21
AT ITER 8543 NEW BEST:: SOT 11728232 SOS 7207747 HAS SOPS 5869145 HAS SOUS 1502937 HAS SOUPS 1412713 WITH SCORE 1419920.747
AT ITER 8553 NEW BEST:: SOT 11726952 SOS 7206089 HAS SOPS 5866917 HAS SOUS 1501137 HAS SOUPS 1410913 WITH SCORE 1418119.089
AT ITER 8567 NEW BEST:: SOT 11727754 SOS 7207663 HAS SOPS 5868448 HAS SOUS 1497227 HAS SOUPS 1407003 WITH SCORE 1414210.663
AT ITER 8610 NEW BEST:: SOT 11729714 SOS 7213276 HAS SOPS 5874639 HAS SOUS 1496792 HAS SOUPS 1406568 WITH SCORE 1413781.276
AT ITER 8628 NEW BEST:: SOT 11727118 SOS 7210254 HAS SOPS 5871060 HAS SOUS 1491229 HAS SOUPS 1401005 WITH SCORE 1408215.254
AT ITER 8641 NEW BEST:: SOT 11726071 SOS 7209302 HAS SOPS 5871650 HAS SOUS 1488699 HAS SOUPS 1398528 WITH SCORE 1405737.302
AT ITER 8698 NEW BEST:: SOT 11726981 SOS 7208076 HAS SOPS 5870674 HAS SOUS 1488340 HAS SOUPS 1398169 WITH SCORE 1405377.076
AT ITER 8709 NEW BEST:: SOT 11727065 SOS 7208159 HAS SOPS 5870757 HAS SOUS 1488312 HAS SOUPS 1398141 WITH SCORE 1405349.159
AT ITER 8711 NEW BEST:: SOT 11728053 SOS 7209147 HAS SOPS 5871441 HAS SOUS 1488180 HAS SOUPS 1397929 WITH SCORE 1405138.147
AT ITER 8713 NEW BEST:: SOT 11730150 SOS 7209600 HAS SOPS 5872442 HAS SOUS 1483497 HAS SOUPS 1393298 WITH SCORE 1400507.6
AT ITER 8739 NEW BEST:: SOT 11729782 SOS 7209219 HAS SOPS 5871525 HAS SOUS 1483414 HAS SOUPS 1393205 WITH SCORE 1400414.219
AT ITER 8767 NEW BEST:: SOT 11730602 SOS 7210495 HAS SOPS 5872793 HAS SOUS 1482928 HAS SOUPS 1392719 WITH SCORE 1399929.495
AT ITER 8776 NEW BEST:: SOT 11730038 SOS 7209027 HAS SOPS 5871689 HAS SOUS 1482388 HAS SOUPS 1392179 WITH SCORE 1399388.027
AT ITER 8783 NEW BEST:: SOT 11728888 SOS 7205649 HAS SOPS 5868126 HAS SOUS 1479208 HAS SOUPS 1389029 WITH SCORE 1396234.649
AT ITER 8836 NEW BEST:: SOT 11737524 SOS 7222091 HAS SOPS 5886317 HAS SOUS 1466659 HAS SOUPS 1376740 WITH SCORE 1383962.091
AT ITER 8839 NEW BEST:: SOT 11736263 SOS 7222572 HAS SOPS 5884868 HAS SOUS 1464606 HAS SOUPS 1374541 WITH SCORE 1381763.572
AT ITER 8853 NEW BEST:: SOT 11736088 SOS 7222535 HAS SOPS 5884959 HAS SOUS 1464233 HAS SOUPS 1374168 WITH SCORE 1381390.535
AT ITER 8953 NEW BEST:: SOT 11735796 SOS 7222244 HAS SOPS 5884597 HAS SOUS 1463122 HAS SOUPS 1373057 WITH SCORE 1380279.244
AT ITER 8971 NEW BEST:: SOT 11734076 SOS 7220687 HAS SOPS 5881982 HAS SOUS 1460773 HAS SOUPS 1370708 WITH SCORE 1377928.687
AT ITER 9004 NEW BEST:: SOT 11733517 SOS 7218642 HAS SOPS 5880176 HAS SOUS 1460160 HAS SOUPS 1370095 WITH SCORE 1377313.642
AT ITER 9024 NEW BEST:: SOT 11734974 SOS 7222384 HAS SOPS 5881759 HAS SOUS 1459299 HAS SOUPS 1369196 WITH SCORE 1376418.384
AT ITER 9032 NEW BEST:: SOT 11735350 SOS 7222630 HAS SOPS 5882125 HAS SOUS 1459102 HAS SOUPS 1369019 WITH SCORE 1376241.63
AT ITER 9034 NEW BEST:: SOT 11734250 SOS 7221565 HAS SOPS 5880845 HAS SOUS 1457739 HAS SOUPS 1367629 WITH SCORE 1374850.565
AT ITER 9035 NEW BEST:: SOT 11734248 SOS 7223090 HAS SOPS 5882370 HAS SOUS 1457732 HAS SOUPS 1367622 WITH SCORE 1374845.09
AT ITER 9076 NEW BEST:: SOT 11734234 SOS 7223086 HAS SOPS 5882326 HAS SOUS 1457634 HAS SOUPS 1367522 WITH SCORE 1374745.086
AT ITER 9117 NEW BEST:: SOT 11734010 SOS 7223521 HAS SOPS 5882511 HAS SOUS 1457165 HAS SOUPS 1367053 WITH SCORE 1374276.521
AT ITER 9154 NEW BEST:: SOT 11733698 SOS 7222867 HAS SOPS 5881916 HAS SOUS 1456621 HAS SOUPS 1366600 WITH SCORE 1373822.867
AT ITER 9159 NEW BEST:: SOT 11733597 SOS 7222817 HAS SOPS 5881734 HAS SOUS 1456193 HAS SOUPS 1366172 WITH SCORE 1373394.817
AT ITER 9166 NEW BEST:: SOT 11735923 SOS 7224965 HAS SOPS 5880903 HAS SOUS 1455129 HAS SOUPS 1365047 WITH SCORE 1372271.965
AT ITER 9188 NEW BEST:: SOT 11736043 SOS 7225085 HAS SOPS 5881023 HAS SOUS 1455089 HAS SOUPS 1365007 WITH SCORE 1372232.085
AT ITER 9194 NEW BEST:: SOT 11735148 SOS 7220717 HAS SOPS 5878107 HAS SOUS 1454500 HAS SOUPS 1364636 WITH SCORE 1371856.717
AT ITER 9195 NEW BEST:: SOT 11734992 SOS 7221112 HAS SOPS 5878280 HAS SOUS 1452617 HAS SOUPS 1362753 WITH SCORE 1369974.112
AT ITER 9202 NEW BEST:: SOT 11736388 SOS 7222744 HAS SOPS 5880963 HAS SOUS 1450638 HAS SOUPS 1360886 WITH SCORE 1368108.744
AT ITER 9209 NEW BEST:: SOT 11736638 SOS 7223104 HAS SOPS 5883022 HAS SOUS 1450546 HAS SOUPS 1360794 WITH SCORE 1368017.104
AT ITER 9225 NEW BEST:: SOT 11736088 SOS 7222585 HAS SOPS 5882296 HAS SOUS 1449401 HAS SOUPS 1359660 WITH SCORE 1366882.585
AT ITER 9237 NEW BEST:: SOT 11735356 SOS 7220972 HAS SOPS 5883327 HAS SOUS 1449005 HAS SOUPS 1359264 WITH SCORE 1366484.972
AT ITER 9239 NEW BEST:: SOT 11736266 SOS 7222108 HAS SOPS 5884156 HAS SOUS 1447859 HAS SOUPS 1358118 WITH SCORE 1365340.108
AT ITER 9253 NEW BEST:: SOT 11736212 SOS 7222062 HAS SOPS 5884058 HAS SOUS 1447833 HAS SOUPS 1358092 WITH SCORE 1365314.062
AT ITER 9262 NEW BEST:: SOT 11736110 SOS 7221556 HAS SOPS 5884020 HAS SOUS 1447730 HAS SOUPS 1357989 WITH SCORE 1365210.556
AT ITER 9279 NEW BEST:: SOT 11736086 SOS 7221532 HAS SOPS 5883996 HAS SOUS 1447730 HAS SOUPS 1357989 WITH SCORE 1365210.532
AT ITER 9321 NEW BEST:: SOT 11736090 SOS 7221667 HAS SOPS 5883815 HAS SOUS 1447688 HAS SOUPS 1357947 WITH SCORE 1365168.667
AT ITER 9329 NEW BEST:: SOT 11736118 SOS 7221689 HAS SOPS 5883843 HAS SOUS 1447620 HAS SOUPS 1357881 WITH SCORE 1365102.689
AT ITER 9330 NEW BEST:: SOT 11736118 SOS 7221617 HAS SOPS 5883771 HAS SOUS 1447512 HAS SOUPS 1357773 WITH SCORE 1364994.617
AT ITER 9332 NEW BEST:: SOT 11728108 SOS 7212031 HAS SOPS 5878062 HAS SOUS 1446797 HAS SOUPS 1357058 WITH SCORE 1364270.031
AT ITER 9359 NEW BEST:: SOT 11726635 SOS 7211449 HAS SOPS 5877537 HAS SOUS 1442078 HAS SOUPS 1352339 WITH SCORE 1359550.449
AT ITER 9378 NEW BEST:: SOT 11726843 SOS 7212101 HAS SOPS 5878345 HAS SOUS 1441946 HAS SOUPS 1352207 WITH SCORE 1359419.101
AT ITER 9422 NEW BEST:: SOT 11726840 SOS 7212626 HAS SOPS 5878534 HAS SOUS 1441187 HAS SOUPS 1351442 WITH SCORE 1358654.626
AT ITER 9444 NEW BEST:: SOT 11722572 SOS 7204485 HAS SOPS 5869899 HAS SOUS 1437015 HAS SOUPS 1347270 WITH SCORE 1354474.485
AT ITER 9446 NEW BEST:: SOT 11722512 SOS 7204643 HAS SOPS 5870476 HAS SOUS 1436200 HAS SOUPS 1346455 WITH SCORE 1353659.643
AT ITER 9495 NEW BEST:: SOT 11719164 SOS 7201240 HAS SOPS 5865272 HAS SOUS 1428227 HAS SOUPS 1338450 WITH SCORE 1345651.24
AT ITER 9500 NEW BEST:: SOT 11719156 SOS 7201232 HAS SOPS 5865264 HAS SOUS 1428211 HAS SOUPS 1338434 WITH SCORE 1345635.232
AT ITER 9525 NEW BEST:: SOT 11718991 SOS 7201078 HAS SOPS 5865172 HAS SOUS 1427702 HAS SOUPS 1337925 WITH SCORE 1345126.078
AT ITER 9537 NEW BEST:: SOT 11718316 SOS 7198638 HAS SOPS 5862266 HAS SOUS 1426658 HAS SOUPS 1336881 WITH SCORE 1344079.638
AT ITER 9543 NEW BEST:: SOT 11718587 SOS 7199698 HAS SOPS 5863598 HAS SOUS 1426013 HAS SOUPS 1336193 WITH SCORE 1343392.698
AT ITER 9547 NEW BEST:: SOT 11719267 SOS 7201215 HAS SOPS 5864166 HAS SOUS 1425901 HAS SOUPS 1336081 WITH SCORE 1343282.215
AT ITER 9561 NEW BEST:: SOT 11718571 SOS 7201076 HAS SOPS 5863298 HAS SOUS 1424162 HAS SOUPS 1334342 WITH SCORE 1341543.076
AT ITER 9581 NEW BEST:: SOT 11718157 SOS 7200666 HAS SOPS 5862632 HAS SOUS 1422948 HAS SOUPS 1333128 WITH SCORE 1340328.666
AT ITER 9601 NEW BEST:: SOT 11712160 SOS 7185302 HAS SOPS 5848050 HAS SOUS 1422228 HAS SOUPS 1332408 WITH SCORE 1339593.302
AT ITER 9602 NEW BEST:: SOT 11712076 SOS 7185218 HAS SOPS 5847806 HAS SOUS 1421624 HAS SOUPS 1331724 WITH SCORE 1338909.218
AT ITER 9607 NEW BEST:: SOT 11713542 SOS 7190980 HAS SOPS 5853618 HAS SOUS 1420062 HAS SOUPS 1330205 WITH SCORE 1337395.98
AT ITER 9629 NEW BEST:: SOT 11713434 SOS 7190644 HAS SOPS 5853338 HAS SOUS 1420060 HAS SOUPS 1330203 WITH SCORE 1337393.644
AT ITER 9637 NEW BEST:: SOT 11713245 SOS 7190588 HAS SOPS 5853299 HAS SOUS 1419731 HAS SOUPS 1329874 WITH SCORE 1337064.588
AT ITER 9683 NEW BEST:: SOT 11713130 SOS 7190314 HAS SOPS 5853133 HAS SOUS 1419550 HAS SOUPS 1329696 WITH SCORE 1336886.314
AT ITER 9687 NEW BEST:: SOT 11712641 SOS 7189618 HAS SOPS 5852357 HAS SOUS 1419048 HAS SOUPS 1329176 WITH SCORE 1336365.618
AT ITER 9691 NEW BEST:: SOT 11712323 SOS 7189280 HAS SOPS 5851811 HAS SOUS 1418586 HAS SOUPS 1328714 WITH SCORE 1335903.28
AT ITER 9716 NEW BEST:: SOT 11712238 SOS 7187963 HAS SOPS 5849014 HAS SOUS 1416923 HAS SOUPS 1327051 WITH SCORE 1334238.963
AT ITER 9738 NEW BEST:: SOT 11710320 SOS 7185681 HAS SOPS 5846978 HAS SOUS 1414591 HAS SOUPS 1324785 WITH SCORE 1331970.681
AT ITER 9739 NEW BEST:: SOT 11710112 SOS 7185473 HAS SOPS 5846770 HAS SOUS 1414344 HAS SOUPS 1324538 WITH SCORE 1331723.473
AT ITER 9778 NEW BEST:: SOT 11709546 SOS 7183999 HAS SOPS 5845615 HAS SOUS 1414210 HAS SOUPS 1324423 WITH SCORE 1331606.999
AT ITER 9789 NEW BEST:: SOT 11708303 SOS 7182548 HAS SOPS 5841462 HAS SOUS 1411036 HAS SOUPS 1321249 WITH SCORE 1328431.548
AT ITER 9820 NEW BEST:: SOT 11708148 SOS 7182365 HAS SOPS 5841223 HAS SOUS 1410769 HAS SOUPS 1320982 WITH SCORE 1328164.365
AT ITER 9852 NEW BEST:: SOT 11708085 SOS 7182292 HAS SOPS 5841076 HAS SOUS 1410692 HAS SOUPS 1320903 WITH SCORE 1328085.292
AT ITER 9865 NEW BEST:: SOT 11708293 SOS 7182500 HAS SOPS 5841188 HAS SOUS 1410460 HAS SOUPS 1320671 WITH SCORE 1327853.5
AT ITER 9871 NEW BEST:: SOT 11707954 SOS 7182064 HAS SOPS 5840966 HAS SOUS 1407801 HAS SOUPS 1318042 WITH SCORE 1325224.064
AT ITER 9894 NEW BEST:: SOT 11707726 SOS 7181139 HAS SOPS 5839490 HAS SOUS 1407579 HAS SOUPS 1317820 WITH SCORE 1325001.139
AT ITER 9998 NEW BEST:: SOT 11708778 SOS 7178225 HAS SOPS 5834915 HAS SOUS 1405697 HAS SOUPS 1315938 WITH SCORE 1323116.225
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 14931820 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16075876 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-1"
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-1, 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-167889203900008"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb113-PT-1.tgz
mv RERS17pb113-PT-1 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;