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.r227-tall-167856409900072.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is HypertorusGrid-PT-d5k3p2b10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856409900072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 6.9K Feb 26 16:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 50K Feb 26 16:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 26 13:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 13:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 16:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:17 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 22:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 26 22:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 26 21:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 26 21:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rwxr-xr-x 1 mcc users 14M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678604201684

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

Filename model.pnml
Petri model created: 7533 places, 24300 transitions, 97200 arcs.
AT ITER 0 NEW BEST:: SOT 108058065 SOS 35417755 HAS SOPS 35417755 HAS SOUS 12933793 HAS SOUPS 12933793 WITH SCORE 1.2969210755E7
AT ITER 6 NEW BEST:: SOT 108058065 SOS 35411125 HAS SOPS 35411125 HAS SOUS 12932467 HAS SOUPS 12932467 WITH SCORE 1.2967878125E7
AT ITER 7 NEW BEST:: SOT 108057646 SOS 35410706 HAS SOPS 35410706 HAS SOUS 12931763 HAS SOUPS 12931763 WITH SCORE 1.2967173706E7
AT ITER 18 NEW BEST:: SOT 108056878 SOS 35409938 HAS SOPS 35409938 HAS SOUS 12930995 HAS SOUPS 12930995 WITH SCORE 1.2966404938E7
AT ITER 47 NEW BEST:: SOT 108050416 SOS 35397014 HAS SOPS 35397014 HAS SOUS 12923815 HAS SOUPS 12923815 WITH SCORE 1.2959212014E7
AT ITER 52 NEW BEST:: SOT 108042941 SOS 35382064 HAS SOPS 35382064 HAS SOUS 12919910 HAS SOUPS 12919910 WITH SCORE 1.2955292064E7
AT ITER 55 NEW BEST:: SOT 108042941 SOS 35382064 HAS SOPS 35382064 HAS SOUS 12919907 HAS SOUPS 12919907 WITH SCORE 1.2955289064E7
AT ITER 62 NEW BEST:: SOT 108042941 SOS 35381992 HAS SOPS 35381992 HAS SOUS 12919835 HAS SOUPS 12919835 WITH SCORE 1.2955216992E7
AT ITER 65 NEW BEST:: SOT 108039293 SOS 35378344 HAS SOPS 35378344 HAS SOUS 12916187 HAS SOUPS 12916187 WITH SCORE 1.2951565344E7
AT ITER 72 NEW BEST:: SOT 108039293 SOS 35375644 HAS SOPS 35375644 HAS SOUS 12915647 HAS SOUPS 12915647 WITH SCORE 1.2951022644E7
AT ITER 96 NEW BEST:: SOT 108037628 SOS 35373794 HAS SOPS 35373794 HAS SOUS 12914291 HAS SOUPS 12914291 WITH SCORE 1.2949664794E7
AT ITER 97 NEW BEST:: SOT 108037628 SOS 35373096 HAS SOPS 35373096 HAS SOUS 12909190 HAS SOUPS 12909190 WITH SCORE 1.2944563096E7
AT ITER 103 NEW BEST:: SOT 108037669 SOS 35373137 HAS SOPS 35373137 HAS SOUS 12909026 HAS SOUPS 12909026 WITH SCORE 1.2944399137E7
AT ITER 108 NEW BEST:: SOT 108034159 SOS 35369237 HAS SOPS 35369237 HAS SOUS 12904446 HAS SOUPS 12904446 WITH SCORE 1.2939815237E7
AT ITER 151 NEW BEST:: SOT 108028018 SOS 35356955 HAS SOPS 35356955 HAS SOUS 12900957 HAS SOUPS 12900957 WITH SCORE 1.2936313955E7
AT ITER 159 NEW BEST:: SOT 108028018 SOS 35356739 HAS SOPS 35356739 HAS SOUS 12900957 HAS SOUPS 12900957 WITH SCORE 1.2936313739E7
AT ITER 160 NEW BEST:: SOT 108028018 SOS 35349188 HAS SOPS 35349188 HAS SOUS 12900118 HAS SOUPS 12900118 WITH SCORE 1.2935467188E7
AT ITER 175 NEW BEST:: SOT 108027334 SOS 35348504 HAS SOPS 35348504 HAS SOUS 12899434 HAS SOUPS 12899434 WITH SCORE 1.2934782504E7
AT ITER 177 NEW BEST:: SOT 108025309 SOS 35344229 HAS SOPS 35344229 HAS SOUS 12896959 HAS SOUPS 12896959 WITH SCORE 1.2932303229E7
AT ITER 187 NEW BEST:: SOT 108024868 SOS 35341268 HAS SOPS 35341268 HAS SOUS 12896833 HAS SOUPS 12896833 WITH SCORE 1.2932174268E7
AT ITER 192 NEW BEST:: SOT 108024868 SOS 35341268 HAS SOPS 35341268 HAS SOUS 12896609 HAS SOUPS 12896609 WITH SCORE 1.2931950268E7
AT ITER 195 NEW BEST:: SOT 108016984 SOS 35332508 HAS SOPS 35332508 HAS SOUS 12887849 HAS SOUPS 12887849 WITH SCORE 1.2923181508E7
AT ITER 226 NEW BEST:: SOT 108012880 SOS 35327948 HAS SOPS 35327948 HAS SOUS 12882300 HAS SOUPS 12882300 WITH SCORE 1.2917627948E7
AT ITER 231 NEW BEST:: SOT 108007129 SOS 35316446 HAS SOPS 35316446 HAS SOUS 12875910 HAS SOUPS 12875910 WITH SCORE 1.2911226446E7
AT ITER 250 NEW BEST:: SOT 108007153 SOS 35316470 HAS SOPS 35316470 HAS SOUS 12875862 HAS SOUPS 12875862 WITH SCORE 1.291117847E7
AT ITER 274 NEW BEST:: SOT 108007352 SOS 35310739 HAS SOPS 35310739 HAS SOUS 12875579 HAS SOUPS 12875579 WITH SCORE 1.2910889739E7
AT ITER 320 NEW BEST:: SOT 108007259 SOS 35310646 HAS SOPS 35310646 HAS SOUS 12875486 HAS SOUPS 12875486 WITH SCORE 1.2910796646E7
AT ITER 321 NEW BEST:: SOT 108006877 SOS 35309882 HAS SOPS 35309882 HAS SOUS 12874722 HAS SOUPS 12874722 WITH SCORE 1.2910031882E7
AT ITER 341 NEW BEST:: SOT 108006877 SOS 35309882 HAS SOPS 35309882 HAS SOUS 12874430 HAS SOUPS 12874430 WITH SCORE 1.2909739882E7
AT ITER 361 NEW BEST:: SOT 108006081 SOS 35301922 HAS SOPS 35301922 HAS SOUS 12872838 HAS SOUPS 12872838 WITH SCORE 1.2908139922E7
AT ITER 417 NEW BEST:: SOT 108002661 SOS 35298502 HAS SOPS 35298502 HAS SOUS 12869418 HAS SOUPS 12869418 WITH SCORE 1.2904716502E7
AT ITER 421 NEW BEST:: SOT 108001933 SOS 35290845 HAS SOPS 35290845 HAS SOUS 12867273 HAS SOUPS 12867273 WITH SCORE 1.2902563845E7
AT ITER 432 NEW BEST:: SOT 108001933 SOS 35290659 HAS SOPS 35290659 HAS SOUS 12867087 HAS SOUPS 12867087 WITH SCORE 1.2902377659E7
AT ITER 436 NEW BEST:: SOT 108004518 SOS 35295829 HAS SOPS 35295829 HAS SOUS 12865025 HAS SOUPS 12865025 WITH SCORE 1.2900320829E7
AT ITER 463 NEW BEST:: SOT 108003790 SOS 35290611 HAS SOPS 35290611 HAS SOUS 12863151 HAS SOUPS 12863151 WITH SCORE 1.2898441611E7
AT ITER 474 NEW BEST:: SOT 108003239 SOS 35285101 HAS SOPS 35285101 HAS SOUS 12862049 HAS SOUPS 12862049 WITH SCORE 1.2897334101E7
AT ITER 475 NEW BEST:: SOT 108000413 SOS 35279135 HAS SOPS 35279135 HAS SOUS 12858595 HAS SOUPS 12858595 WITH SCORE 1.2893874135E7
AT ITER 477 NEW BEST:: SOT 107998649 SOS 35277175 HAS SOPS 35277175 HAS SOUS 12856635 HAS SOUPS 12856635 WITH SCORE 1.2891912175E7
AT ITER 505 NEW BEST:: SOT 107997974 SOS 35275825 HAS SOPS 35275825 HAS SOUS 12855285 HAS SOUPS 12855285 WITH SCORE 1.2890560825E7
AT ITER 544 NEW BEST:: SOT 107997974 SOS 35273135 HAS SOPS 35273135 HAS SOUS 12854747 HAS SOUPS 12854747 WITH SCORE 1.2890020135E7
AT ITER 548 NEW BEST:: SOT 107997526 SOS 35270421 HAS SOPS 35270421 HAS SOUS 12853649 HAS SOUPS 12853649 WITH SCORE 1.2888919421E7
AT ITER 569 NEW BEST:: SOT 107997526 SOS 35275101 HAS SOPS 35275101 HAS SOUS 12849994 HAS SOUPS 12849994 WITH SCORE 1.2885269101E7
AT ITER 576 NEW BEST:: SOT 107993188 SOS 35266425 HAS SOPS 35266425 HAS SOUS 12845174 HAS SOUPS 12845174 WITH SCORE 1.2880440425E7
AT ITER 599 NEW BEST:: SOT 107992908 SOS 35266145 HAS SOPS 35266145 HAS SOUS 12844894 HAS SOUPS 12844894 WITH SCORE 1.2880160145E7
AT ITER 606 NEW BEST:: SOT 107992753 SOS 35265990 HAS SOPS 35265990 HAS SOUS 12844838 HAS SOUPS 12844838 WITH SCORE 1.288010399E7
AT ITER 613 NEW BEST:: SOT 107992753 SOS 35263880 HAS SOPS 35263880 HAS SOUS 12844416 HAS SOUPS 12844416 WITH SCORE 1.287967988E7
AT ITER 624 NEW BEST:: SOT 107992120 SOS 35257550 HAS SOPS 35257550 HAS SOUS 12843150 HAS SOUPS 12843150 WITH SCORE 1.287840755E7
AT ITER 631 NEW BEST:: SOT 107992120 SOS 35258286 HAS SOPS 35258286 HAS SOUS 12842374 HAS SOUPS 12842374 WITH SCORE 1.2877632286E7
AT ITER 638 NEW BEST:: SOT 107992120 SOS 35257586 HAS SOPS 35257586 HAS SOUS 12842234 HAS SOUPS 12842234 WITH SCORE 1.2877491586E7
AT ITER 669 NEW BEST:: SOT 107991748 SOS 35256842 HAS SOPS 35256842 HAS SOUS 12841490 HAS SOUPS 12841490 WITH SCORE 1.2876746842E7
AT ITER 705 NEW BEST:: SOT 107991076 SOS 35256170 HAS SOPS 35256170 HAS SOUS 12840818 HAS SOUPS 12840818 WITH SCORE 1.287607417E7
AT ITER 712 NEW BEST:: SOT 107994380 SOS 35262778 HAS SOPS 35262778 HAS SOUS 12839343 HAS SOUPS 12839343 WITH SCORE 1.2874605778E7
AT ITER 713 NEW BEST:: SOT 107988161 SOS 35250340 HAS SOPS 35250340 HAS SOUS 12835393 HAS SOUPS 12835393 WITH SCORE 1.287064334E7
AT ITER 714 NEW BEST:: SOT 107988161 SOS 35255308 HAS SOPS 35255308 HAS SOUS 12833337 HAS SOUPS 12833337 WITH SCORE 1.2868592308E7
AT ITER 722 NEW BEST:: SOT 107980241 SOS 35238629 HAS SOPS 35238629 HAS SOUS 12823698 HAS SOUPS 12823698 WITH SCORE 1.2858936629E7
AT ITER 737 NEW BEST:: SOT 107974166 SOS 35231879 HAS SOPS 35231879 HAS SOUS 12813993 HAS SOUPS 12813993 WITH SCORE 1.2849224879E7
AT ITER 787 NEW BEST:: SOT 107974886 SOS 35232519 HAS SOPS 35232519 HAS SOUS 12812553 HAS SOUPS 12812553 WITH SCORE 1.2847785519E7
AT ITER 804 NEW BEST:: SOT 107974886 SOS 35233767 HAS SOPS 35233767 HAS SOUS 12811149 HAS SOUPS 12811149 WITH SCORE 1.2846382767E7
AT ITER 824 NEW BEST:: SOT 107968334 SOS 35220099 HAS SOPS 35220099 HAS SOUS 12804617 HAS SOUPS 12804617 WITH SCORE 1.2839837099E7
AT ITER 834 NEW BEST:: SOT 107968334 SOS 35219762 HAS SOPS 35219762 HAS SOUS 12802896 HAS SOUPS 12802896 WITH SCORE 1.2838115762E7
AT ITER 852 NEW BEST:: SOT 107960684 SOS 35211262 HAS SOPS 35211262 HAS SOUS 12791377 HAS SOUPS 12791377 WITH SCORE 1.2826588262E7
AT ITER 856 NEW BEST:: SOT 107959900 SOS 35210478 HAS SOPS 35210478 HAS SOUS 12790593 HAS SOUPS 12790593 WITH SCORE 1.2825803478E7
AT ITER 868 NEW BEST:: SOT 107959900 SOS 35210478 HAS SOPS 35210478 HAS SOUS 12789922 HAS SOUPS 12789922 WITH SCORE 1.2825132478E7
AT ITER 869 NEW BEST:: SOT 107953618 SOS 35197216 HAS SOPS 35197216 HAS SOUS 12782244 HAS SOUPS 12782244 WITH SCORE 1.2817441216E7
AT ITER 885 NEW BEST:: SOT 107952780 SOS 35188836 HAS SOPS 35188836 HAS SOUS 12780568 HAS SOUPS 12780568 WITH SCORE 1.2815756836E7
AT ITER 904 NEW BEST:: SOT 107952780 SOS 35186236 HAS SOPS 35186236 HAS SOUS 12780048 HAS SOUPS 12780048 WITH SCORE 1.2815234236E7
AT ITER 915 NEW BEST:: SOT 107952780 SOS 35186167 HAS SOPS 35186167 HAS SOUS 12779979 HAS SOUPS 12779979 WITH SCORE 1.2815165167E7
AT ITER 927 NEW BEST:: SOT 107952361 SOS 35181977 HAS SOPS 35181977 HAS SOUS 12779141 HAS SOUPS 12779141 WITH SCORE 1.2814322977E7
AT ITER 928 NEW BEST:: SOT 107951002 SOS 35179108 HAS SOPS 35179108 HAS SOUS 12777480 HAS SOUPS 12777480 WITH SCORE 1.2812659108E7
AT ITER 948 NEW BEST:: SOT 107950320 SOS 35171606 HAS SOPS 35171606 HAS SOUS 12775434 HAS SOUPS 12775434 WITH SCORE 1.2810605606E7
AT ITER 954 NEW BEST:: SOT 107950320 SOS 35174222 HAS SOPS 35174222 HAS SOUS 12774053 HAS SOUPS 12774053 WITH SCORE 1.2809227222E7
AT ITER 982 NEW BEST:: SOT 107949502 SOS 35172586 HAS SOPS 35172586 HAS SOUS 12767603 HAS SOUPS 12767603 WITH SCORE 1.2802775586E7
AT ITER 988 NEW BEST:: SOT 107949332 SOS 35172416 HAS SOPS 35172416 HAS SOUS 12767603 HAS SOUPS 12767603 WITH SCORE 1.2802775416E7
AT ITER 1011 NEW BEST:: SOT 107949332 SOS 35169376 HAS SOPS 35169376 HAS SOUS 12766995 HAS SOUPS 12766995 WITH SCORE 1.2802164376E7
AT ITER 1014 NEW BEST:: SOT 107948452 SOS 35161685 HAS SOPS 35161685 HAS SOUS 12764576 HAS SOUPS 12764576 WITH SCORE 1.2799737685E7
AT ITER 1017 NEW BEST:: SOT 107945948 SOS 35159181 HAS SOPS 35159181 HAS SOUS 12762072 HAS SOUPS 12762072 WITH SCORE 1.2797231181E7
AT ITER 1020 NEW BEST:: SOT 107945948 SOS 35158924 HAS SOPS 35158924 HAS SOUS 12761815 HAS SOUPS 12761815 WITH SCORE 1.2796973924E7
AT ITER 1060 NEW BEST:: SOT 107945759 SOS 35156845 HAS SOPS 35156845 HAS SOUS 12761248 HAS SOUPS 12761248 WITH SCORE 1.2796404845E7
AT ITER 1090 NEW BEST:: SOT 107945759 SOS 35156328 HAS SOPS 35156328 HAS SOUS 12760731 HAS SOUPS 12760731 WITH SCORE 1.2795887328E7
AT ITER 1095 NEW BEST:: SOT 107945681 SOS 35156250 HAS SOPS 35156250 HAS SOUS 12760653 HAS SOUPS 12760653 WITH SCORE 1.279580925E7
AT ITER 1099 NEW BEST:: SOT 107945681 SOS 35156250 HAS SOPS 35156250 HAS SOUS 12760114 HAS SOUPS 12760114 WITH SCORE 1.279527025E7
AT ITER 1103 NEW BEST:: SOT 107937761 SOS 35139761 HAS SOPS 35139761 HAS SOUS 12752744 HAS SOUPS 12752744 WITH SCORE 1.2787883761E7
AT ITER 1104 NEW BEST:: SOT 107937761 SOS 35139761 HAS SOPS 35139761 HAS SOUS 12752390 HAS SOUPS 12752390 WITH SCORE 1.2787529761E7
AT ITER 1113 NEW BEST:: SOT 107937761 SOS 35142380 HAS SOPS 35142380 HAS SOUS 12750062 HAS SOUPS 12750062 WITH SCORE 1.278520438E7
AT ITER 1120 NEW BEST:: SOT 107937868 SOS 35135637 HAS SOPS 35135637 HAS SOUS 12749503 HAS SOUPS 12749503 WITH SCORE 1.2784638637E7
AT ITER 1128 NEW BEST:: SOT 107937331 SOS 35130267 HAS SOPS 35130267 HAS SOUS 12748429 HAS SOUPS 12748429 WITH SCORE 1.2783559267E7
AT ITER 1137 NEW BEST:: SOT 107933695 SOS 35126631 HAS SOPS 35126631 HAS SOUS 12744793 HAS SOUPS 12744793 WITH SCORE 1.2779919631E7
AT ITER 1170 NEW BEST:: SOT 107927602 SOS 35119861 HAS SOPS 35119861 HAS SOUS 12735784 HAS SOUPS 12735784 WITH SCORE 1.2770903861E7
AT ITER 1174 NEW BEST:: SOT 107926774 SOS 35118113 HAS SOPS 35118113 HAS SOUS 12734772 HAS SOUPS 12734772 WITH SCORE 1.2769890113E7
AT ITER 1191 NEW BEST:: SOT 107926774 SOS 35119211 HAS SOPS 35119211 HAS SOUS 12733918 HAS SOUPS 12733918 WITH SCORE 1.2769037211E7
AT ITER 1192 NEW BEST:: SOT 107926774 SOS 35119016 HAS SOPS 35119016 HAS SOUS 12732811 HAS SOUPS 12732811 WITH SCORE 1.2767930016E7
AT ITER 1198 NEW BEST:: SOT 107926774 SOS 35124080 HAS SOPS 35124080 HAS SOUS 12731208 HAS SOUPS 12731208 WITH SCORE 1.276633208E7
AT ITER 1205 NEW BEST:: SOT 107926774 SOS 35125531 HAS SOPS 35125531 HAS SOUS 12730587 HAS SOUPS 12730587 WITH SCORE 1.2765712531E7
AT ITER 1245 NEW BEST:: SOT 107919583 SOS 35117541 HAS SOPS 35117541 HAS SOUS 12718445 HAS SOUPS 12718445 WITH SCORE 1.2753562541E7
AT ITER 1258 NEW BEST:: SOT 107919583 SOS 35114357 HAS SOPS 35114357 HAS SOUS 12718445 HAS SOUPS 12718445 WITH SCORE 1.2753559357E7
AT ITER 1259 NEW BEST:: SOT 107918703 SOS 35113477 HAS SOPS 35113477 HAS SOUS 12717565 HAS SOUPS 12717565 WITH SCORE 1.2752678477E7
AT ITER 1261 NEW BEST:: SOT 107918703 SOS 35113477 HAS SOPS 35113477 HAS SOUS 12717538 HAS SOUPS 12717538 WITH SCORE 1.2752651477E7
AT ITER 1275 NEW BEST:: SOT 107918381 SOS 35112833 HAS SOPS 35112833 HAS SOUS 12716894 HAS SOUPS 12716894 WITH SCORE 1.2752006833E7
AT ITER 1284 NEW BEST:: SOT 107917559 SOS 35104613 HAS SOPS 35104613 HAS SOUS 12715250 HAS SOUPS 12715250 WITH SCORE 1.2750354613E7
AT ITER 1319 NEW BEST:: SOT 107911151 SOS 35097493 HAS SOPS 35097493 HAS SOUS 12706058 HAS SOUPS 12706058 WITH SCORE 1.2741155493E7
AT ITER 1323 NEW BEST:: SOT 107907119 SOS 35089043 HAS SOPS 35089043 HAS SOUS 12701706 HAS SOUPS 12701706 WITH SCORE 1.2736795043E7
AT ITER 1324 NEW BEST:: SOT 107906669 SOS 35088093 HAS SOPS 35088093 HAS SOUS 12701156 HAS SOUPS 12701156 WITH SCORE 1.2736244093E7
AT ITER 1333 NEW BEST:: SOT 107906669 SOS 35087513 HAS SOPS 35087513 HAS SOUS 12701040 HAS SOUPS 12701040 WITH SCORE 1.2736127513E7
AT ITER 1353 NEW BEST:: SOT 107905801 SOS 35078833 HAS SOPS 35078833 HAS SOUS 12699304 HAS SOUPS 12699304 WITH SCORE 1.2734382833E7
AT ITER 1360 NEW BEST:: SOT 107897881 SOS 35062301 HAS SOPS 35062301 HAS SOUS 12691316 HAS SOUPS 12691316 WITH SCORE 1.2726378301E7
AT ITER 1365 NEW BEST:: SOT 107897881 SOS 35062301 HAS SOPS 35062301 HAS SOUS 12691280 HAS SOUPS 12691280 WITH SCORE 1.2726342301E7
AT ITER 1405 NEW BEST:: SOT 107897881 SOS 35062301 HAS SOPS 35062301 HAS SOUS 12689868 HAS SOUPS 12689868 WITH SCORE 1.2724930301E7
AT ITER 1407 NEW BEST:: SOT 107897881 SOS 35062301 HAS SOPS 35062301 HAS SOUS 12689588 HAS SOUPS 12689588 WITH SCORE 1.2724650301E7
AT ITER 1416 NEW BEST:: SOT 107897312 SOS 35061732 HAS SOPS 35061732 HAS SOUS 12689130 HAS SOUPS 12689130 WITH SCORE 1.2724191732E7
AT ITER 1419 NEW BEST:: SOT 107896864 SOS 35057389 HAS SOPS 35057389 HAS SOUS 12687851 HAS SOUPS 12687851 WITH SCORE 1.2722908389E7
AT ITER 1420 NEW BEST:: SOT 107893615 SOS 35053779 HAS SOPS 35053779 HAS SOUS 12682389 HAS SOUPS 12682389 WITH SCORE 1.2717442779E7
AT ITER 1473 NEW BEST:: SOT 107886010 SOS 35038569 HAS SOPS 35038569 HAS SOUS 12673939 HAS SOUPS 12673939 WITH SCORE 1.2708977569E7
AT ITER 1483 NEW BEST:: SOT 107884218 SOS 35036777 HAS SOPS 35036777 HAS SOUS 12672147 HAS SOUPS 12672147 WITH SCORE 1.2707183777E7
AT ITER 1485 NEW BEST:: SOT 107884218 SOS 35036129 HAS SOPS 35036129 HAS SOUS 12672147 HAS SOUPS 12672147 WITH SCORE 1.2707183129E7
AT ITER 1500 NEW BEST:: SOT 107884218 SOS 35036129 HAS SOPS 35036129 HAS SOUS 12671171 HAS SOUPS 12671171 WITH SCORE 1.2706207129E7
AT ITER 1502 NEW BEST:: SOT 107878327 SOS 35024347 HAS SOPS 35024347 HAS SOUS 12670291 HAS SOUPS 12670291 WITH SCORE 1.2705315347E7
AT ITER 1516 NEW BEST:: SOT 107870414 SOS 35008521 HAS SOPS 35008521 HAS SOUS 12661568 HAS SOUPS 12661568 WITH SCORE 1.2696576521E7
AT ITER 1532 NEW BEST:: SOT 107870414 SOS 35008521 HAS SOPS 35008521 HAS SOUS 12661248 HAS SOUPS 12661248 WITH SCORE 1.2696256521E7
AT ITER 1546 NEW BEST:: SOT 107868281 SOS 35006151 HAS SOPS 35006151 HAS SOUS 12657726 HAS SOUPS 12657726 WITH SCORE 1.2692732151E7
AT ITER 1547 NEW BEST:: SOT 107867441 SOS 34997751 HAS SOPS 34997751 HAS SOUS 12656046 HAS SOUPS 12656046 WITH SCORE 1.2691043751E7
AT ITER 1570 NEW BEST:: SOT 107866934 SOS 34992681 HAS SOPS 34992681 HAS SOUS 12655032 HAS SOUPS 12655032 WITH SCORE 1.2690024681E7
AT ITER 1580 NEW BEST:: SOT 107866375 SOS 34992122 HAS SOPS 34992122 HAS SOUS 12654473 HAS SOUPS 12654473 WITH SCORE 1.2689465122E7
AT ITER 1602 NEW BEST:: SOT 107861614 SOS 34980163 HAS SOPS 34980163 HAS SOUS 12649507 HAS SOUPS 12649507 WITH SCORE 1.2684487163E7
AT ITER 1617 NEW BEST:: SOT 107866647 SOS 34990229 HAS SOPS 34990229 HAS SOUS 12647465 HAS SOUPS 12647465 WITH SCORE 1.2682455229E7
AT ITER 1637 NEW BEST:: SOT 107866647 SOS 34990010 HAS SOPS 34990010 HAS SOUS 12647246 HAS SOUPS 12647246 WITH SCORE 1.268223601E7
AT ITER 1645 NEW BEST:: SOT 107866647 SOS 34990906 HAS SOPS 34990906 HAS SOUS 12646238 HAS SOUPS 12646238 WITH SCORE 1.2681228906E7
AT ITER 1667 NEW BEST:: SOT 107866574 SOS 34990833 HAS SOPS 34990833 HAS SOUS 12646238 HAS SOUPS 12646238 WITH SCORE 1.2681228833E7
AT ITER 1671 NEW BEST:: SOT 107858654 SOS 34974352 HAS SOPS 34974352 HAS SOUS 12638862 HAS SOUPS 12638862 WITH SCORE 1.2673836352E7
AT ITER 1745 NEW BEST:: SOT 107854478 SOS 34969712 HAS SOPS 34969712 HAS SOUS 12633038 HAS SOUPS 12633038 WITH SCORE 1.2668007712E7
AT ITER 1760 NEW BEST:: SOT 107854478 SOS 34969320 HAS SOPS 34969320 HAS SOUS 12633038 HAS SOUPS 12633038 WITH SCORE 1.266800732E7
AT ITER 1768 NEW BEST:: SOT 107854478 SOS 34969003 HAS SOPS 34969003 HAS SOUS 12631149 HAS SOUPS 12631149 WITH SCORE 1.2666118003E7
AT ITER 1769 NEW BEST:: SOT 107854478 SOS 34968335 HAS SOPS 34968335 HAS SOUS 12630481 HAS SOUPS 12630481 WITH SCORE 1.2665449335E7
AT ITER 1780 NEW BEST:: SOT 107849852 SOS 34963195 HAS SOPS 34963195 HAS SOUS 12625341 HAS SOUPS 12625341 WITH SCORE 1.2660304195E7
AT ITER 1783 NEW BEST:: SOT 107849885 SOS 34959526 HAS SOPS 34959526 HAS SOUS 12624992 HAS SOUPS 12624992 WITH SCORE 1.2659951526E7
AT ITER 1806 NEW BEST:: SOT 107852477 SOS 34964118 HAS SOPS 34964118 HAS SOUS 12624946 HAS SOUPS 12624946 WITH SCORE 1.2659910118E7
AT ITER 1816 NEW BEST:: SOT 107851597 SOS 34956301 HAS SOPS 34956301 HAS SOUS 12622513 HAS SOUPS 12622513 WITH SCORE 1.2657469301E7
AT ITER 1827 NEW BEST:: SOT 107845083 SOS 34943273 HAS SOPS 34943273 HAS SOUS 12615309 HAS SOUPS 12615309 WITH SCORE 1.2650252273E7
AT ITER 1836 NEW BEST:: SOT 107845083 SOS 34946777 HAS SOPS 34946777 HAS SOUS 12611845 HAS SOUPS 12611845 WITH SCORE 1.2646791777E7
AT ITER 1845 NEW BEST:: SOT 107845128 SOS 34946822 HAS SOPS 34946822 HAS SOUS 12611575 HAS SOUPS 12611575 WITH SCORE 1.2646521822E7
AT ITER 1853 NEW BEST:: SOT 107844320 SOS 34938742 HAS SOPS 34938742 HAS SOUS 12609959 HAS SOUPS 12609959 WITH SCORE 1.2644897742E7
AT ITER 1859 NEW BEST:: SOT 107844272 SOS 34938694 HAS SOPS 34938694 HAS SOUS 12609863 HAS SOUPS 12609863 WITH SCORE 1.2644801694E7
AT ITER 1860 NEW BEST:: SOT 107844272 SOS 34934294 HAS SOPS 34934294 HAS SOUS 12608983 HAS SOUPS 12608983 WITH SCORE 1.2643917294E7
AT ITER 1892 NEW BEST:: SOT 107844390 SOS 34929040 HAS SOPS 34929040 HAS SOUS 12608609 HAS SOUPS 12608609 WITH SCORE 1.264353804E7
AT ITER 1897 NEW BEST:: SOT 107840349 SOS 34924550 HAS SOPS 34924550 HAS SOUS 12605800 HAS SOUPS 12605800 WITH SCORE 1.264072455E7
AT ITER 1926 NEW BEST:: SOT 107840349 SOS 34916460 HAS SOPS 34916460 HAS SOUS 12604182 HAS SOUPS 12604182 WITH SCORE 1.263909846E7
AT ITER 1929 NEW BEST:: SOT 107839621 SOS 34909460 HAS SOPS 34909460 HAS SOUS 12602110 HAS SOUPS 12602110 WITH SCORE 1.263701946E7
AT ITER 1938 NEW BEST:: SOT 107837110 SOS 34904159 HAS SOPS 34904159 HAS SOUS 12599041 HAS SOUPS 12599041 WITH SCORE 1.2633945159E7
AT ITER 1939 NEW BEST:: SOT 107830594 SOS 34896919 HAS SOPS 34896919 HAS SOUS 12589345 HAS SOUPS 12589345 WITH SCORE 1.2624241919E7
AT ITER 1949 NEW BEST:: SOT 107830459 SOS 34896784 HAS SOPS 34896784 HAS SOUS 12588682 HAS SOUPS 12588682 WITH SCORE 1.2623578784E7
AT ITER 1961 NEW BEST:: SOT 107824807 SOS 34890504 HAS SOPS 34890504 HAS SOUS 12577973 HAS SOUPS 12577973 WITH SCORE 1.2612863504E7
AT ITER 1980 NEW BEST:: SOT 107824807 SOS 34887834 HAS SOPS 34887834 HAS SOUS 12577439 HAS SOUPS 12577439 WITH SCORE 1.2612326834E7
AT ITER 1981 NEW BEST:: SOT 107824746 SOS 34887773 HAS SOPS 34887773 HAS SOUS 12577378 HAS SOUPS 12577378 WITH SCORE 1.2612265773E7
AT ITER 1998 NEW BEST:: SOT 107824112 SOS 34886505 HAS SOPS 34886505 HAS SOUS 12572146 HAS SOUPS 12572146 WITH SCORE 1.2607032505E7
AT ITER 2001 NEW BEST:: SOT 107824112 SOS 34887495 HAS SOPS 34887495 HAS SOUS 12571305 HAS SOUPS 12571305 WITH SCORE 1.2606192495E7
AT ITER 2008 NEW BEST:: SOT 107817623 SOS 34874517 HAS SOPS 34874517 HAS SOUS 12564718 HAS SOUPS 12564718 WITH SCORE 1.2599592517E7
AT ITER 2021 NEW BEST:: SOT 107817494 SOS 34874388 HAS SOPS 34874388 HAS SOUS 12564589 HAS SOUPS 12564589 WITH SCORE 1.2599463388E7
AT ITER 2024 NEW BEST:: SOT 107811500 SOS 34867728 HAS SOPS 34867728 HAS SOUS 12555555 HAS SOUPS 12555555 WITH SCORE 1.2590422728E7
AT ITER 2025 NEW BEST:: SOT 107810998 SOS 34862708 HAS SOPS 34862708 HAS SOUS 12554551 HAS SOUPS 12554551 WITH SCORE 1.2589413708E7
AT ITER 2058 NEW BEST:: SOT 107813879 SOS 34868470 HAS SOPS 34868470 HAS SOUS 12553673 HAS SOUPS 12553673 WITH SCORE 1.258854147E7
AT ITER 2099 NEW BEST:: SOT 107813879 SOS 34868470 HAS SOPS 34868470 HAS SOUS 12553588 HAS SOUPS 12553588 WITH SCORE 1.258845647E7
AT ITER 2105 NEW BEST:: SOT 107813258 SOS 34867849 HAS SOPS 34867849 HAS SOUS 12552967 HAS SOUPS 12552967 WITH SCORE 1.2587834849E7
AT ITER 2111 NEW BEST:: SOT 107815301 SOS 34871714 HAS SOPS 34871714 HAS SOUS 12552808 HAS SOUPS 12552808 WITH SCORE 1.2587679714E7
AT ITER 2144 NEW BEST:: SOT 107815077 SOS 34871490 HAS SOPS 34871490 HAS SOUS 12552584 HAS SOUPS 12552584 WITH SCORE 1.258745549E7
AT ITER 2145 NEW BEST:: SOT 107813701 SOS 34870114 HAS SOPS 34870114 HAS SOUS 12551208 HAS SOUPS 12551208 WITH SCORE 1.2586078114E7
AT ITER 2161 NEW BEST:: SOT 107809030 SOS 34864924 HAS SOPS 34864924 HAS SOUS 12546018 HAS SOUPS 12546018 WITH SCORE 1.2580882924E7
AT ITER 2169 NEW BEST:: SOT 107807653 SOS 34863547 HAS SOPS 34863547 HAS SOUS 12544641 HAS SOUPS 12544641 WITH SCORE 1.2579504547E7
AT ITER 2200 NEW BEST:: SOT 107807653 SOS 34861000 HAS SOPS 34861000 HAS SOUS 12544358 HAS SOUPS 12544358 WITH SCORE 1.2579219E7
AT ITER 2223 NEW BEST:: SOT 107807326 SOS 34857730 HAS SOPS 34857730 HAS SOUS 12543704 HAS SOUPS 12543704 WITH SCORE 1.257856173E7
AT ITER 2228 NEW BEST:: SOT 107807161 SOS 34857565 HAS SOPS 34857565 HAS SOUS 12543704 HAS SOUPS 12543704 WITH SCORE 1.2578561565E7
AT ITER 2230 NEW BEST:: SOT 107805262 SOS 34855666 HAS SOPS 34855666 HAS SOUS 12541805 HAS SOUPS 12541805 WITH SCORE 1.2576660666E7
AT ITER 2273 NEW BEST:: SOT 107805398 SOS 34855802 HAS SOPS 34855802 HAS SOUS 12541533 HAS SOUPS 12541533 WITH SCORE 1.2576388802E7
AT ITER 2318 NEW BEST:: SOT 107805398 SOS 34852562 HAS SOPS 34852562 HAS SOUS 12540885 HAS SOUPS 12540885 WITH SCORE 1.2575737562E7
AT ITER 2327 NEW BEST:: SOT 107804746 SOS 34845390 HAS SOPS 34845390 HAS SOUS 12538929 HAS SOUPS 12538929 WITH SCORE 1.257377439E7
AT ITER 2331 NEW BEST:: SOT 107804566 SOS 34845210 HAS SOPS 34845210 HAS SOUS 12538929 HAS SOUPS 12538929 WITH SCORE 1.257377421E7
AT ITER 2339 NEW BEST:: SOT 107803987 SOS 34844052 HAS SOPS 34844052 HAS SOUS 12537771 HAS SOUPS 12537771 WITH SCORE 1.2572615052E7
AT ITER 2346 NEW BEST:: SOT 107803987 SOS 34844052 HAS SOPS 34844052 HAS SOUS 12537463 HAS SOUPS 12537463 WITH SCORE 1.2572307052E7
AT ITER 2350 NEW BEST:: SOT 107802131 SOS 34842196 HAS SOPS 34842196 HAS SOUS 12535607 HAS SOUPS 12535607 WITH SCORE 1.2570449196E7
AT ITER 2351 NEW BEST:: SOT 107802187 SOS 34834892 HAS SOPS 34834892 HAS SOUS 12534895 HAS SOUPS 12534895 WITH SCORE 1.2569729892E7
AT ITER 2362 NEW BEST:: SOT 107802076 SOS 34834781 HAS SOPS 34834781 HAS SOUS 12534895 HAS SOUPS 12534895 WITH SCORE 1.2569729781E7
AT ITER 2385 NEW BEST:: SOT 107801474 SOS 34828761 HAS SOPS 34828761 HAS SOUS 12533691 HAS SOUPS 12533691 WITH SCORE 1.2568519761E7
AT ITER 2398 NEW BEST:: SOT 107801303 SOS 34828590 HAS SOPS 34828590 HAS SOUS 12533520 HAS SOUPS 12533520 WITH SCORE 1.256834859E7
AT ITER 2401 NEW BEST:: SOT 107801303 SOS 34820040 HAS SOPS 34820040 HAS SOUS 12531810 HAS SOUPS 12531810 WITH SCORE 1.256663004E7
AT ITER 2411 NEW BEST:: SOT 107800981 SOS 34819718 HAS SOPS 34819718 HAS SOUS 12531488 HAS SOUPS 12531488 WITH SCORE 1.2566307718E7
AT ITER 2429 NEW BEST:: SOT 107800555 SOS 34815032 HAS SOPS 34815032 HAS SOUS 12530210 HAS SOUPS 12530210 WITH SCORE 1.2565025032E7
AT ITER 2432 NEW BEST:: SOT 107803447 SOS 34822262 HAS SOPS 34822262 HAS SOUS 12530192 HAS SOUPS 12530192 WITH SCORE 1.2565014262E7
AT ITER 2435 NEW BEST:: SOT 107803408 SOS 34822223 HAS SOPS 34822223 HAS SOUS 12530153 HAS SOUPS 12530153 WITH SCORE 1.2564975223E7
AT ITER 2464 NEW BEST:: SOT 107803223 SOS 34822038 HAS SOPS 34822038 HAS SOUS 12529968 HAS SOUPS 12529968 WITH SCORE 1.2564790038E7
AT ITER 2508 NEW BEST:: SOT 107803223 SOS 34822038 HAS SOPS 34822038 HAS SOUS 12529912 HAS SOUPS 12529912 WITH SCORE 1.2564734038E7
AT ITER 2522 NEW BEST:: SOT 107795303 SOS 34814092 HAS SOPS 34814092 HAS SOUS 12524182 HAS SOUPS 12524182 WITH SCORE 1.2558996092E7
AT ITER 2546 NEW BEST:: SOT 107794513 SOS 34805402 HAS SOPS 34805402 HAS SOUS 12521812 HAS SOUPS 12521812 WITH SCORE 1.2556617402E7
AT ITER 2547 NEW BEST:: SOT 107796043 SOS 34808184 HAS SOPS 34808184 HAS SOUS 12520225 HAS SOUPS 12520225 WITH SCORE 1.2555033184E7
AT ITER 2548 NEW BEST:: SOT 107793803 SOS 34805944 HAS SOPS 34805944 HAS SOUS 12517985 HAS SOUPS 12517985 WITH SCORE 1.2552790944E7
AT ITER 2578 NEW BEST:: SOT 107793803 SOS 34805774 HAS SOPS 34805774 HAS SOUS 12517815 HAS SOUPS 12517815 WITH SCORE 1.2552620774E7
AT ITER 2604 NEW BEST:: SOT 107793803 SOS 34810550 HAS SOPS 34810550 HAS SOUS 12512883 HAS SOUPS 12512883 WITH SCORE 1.254769355E7
AT ITER 2624 NEW BEST:: SOT 107793803 SOS 34811243 HAS SOPS 34811243 HAS SOUS 12512267 HAS SOUPS 12512267 WITH SCORE 1.2547078243E7
AT ITER 2630 NEW BEST:: SOT 107793711 SOS 34811151 HAS SOPS 34811151 HAS SOUS 12512175 HAS SOUPS 12512175 WITH SCORE 1.2546986151E7
AT ITER 2650 NEW BEST:: SOT 107788005 SOS 34804811 HAS SOPS 34804811 HAS SOUS 12502371 HAS SOUPS 12502371 WITH SCORE 1.2537175811E7
AT ITER 2674 NEW BEST:: SOT 107787557 SOS 34801368 HAS SOPS 34801368 HAS SOUS 12501192 HAS SOUPS 12501192 WITH SCORE 1.2535993368E7
AT ITER 2678 NEW BEST:: SOT 107787557 SOS 34801368 HAS SOPS 34801368 HAS SOUS 12499432 HAS SOUPS 12499432 WITH SCORE 1.2534233368E7
AT ITER 2679 NEW BEST:: SOT 107787069 SOS 34796488 HAS SOPS 34796488 HAS SOUS 12498456 HAS SOUPS 12498456 WITH SCORE 1.2533252488E7
AT ITER 2703 NEW BEST:: SOT 107783325 SOS 34792744 HAS SOPS 34792744 HAS SOUS 12494712 HAS SOUPS 12494712 WITH SCORE 1.2529504744E7
AT ITER 2726 NEW BEST:: SOT 107780829 SOS 34790248 HAS SOPS 34790248 HAS SOUS 12492216 HAS SOUPS 12492216 WITH SCORE 1.2527006248E7
AT ITER 2735 NEW BEST:: SOT 107780829 SOS 34789526 HAS SOPS 34789526 HAS SOUS 12491494 HAS SOUPS 12491494 WITH SCORE 1.2526283526E7
AT ITER 2745 NEW BEST:: SOT 107780100 SOS 34788716 HAS SOPS 34788716 HAS SOUS 12491093 HAS SOUPS 12491093 WITH SCORE 1.2525881716E7
AT ITER 2766 NEW BEST:: SOT 107780232 SOS 34783616 HAS SOPS 34783616 HAS SOUS 12490761 HAS SOUPS 12490761 WITH SCORE 1.2525544616E7
AT ITER 2781 NEW BEST:: SOT 107780086 SOS 34782010 HAS SOPS 34782010 HAS SOUS 12490323 HAS SOUPS 12490323 WITH SCORE 1.252510501E7
AT ITER 2785 NEW BEST:: SOT 107779912 SOS 34780270 HAS SOPS 34780270 HAS SOUS 12489975 HAS SOUPS 12489975 WITH SCORE 1.252475527E7
AT ITER 2802 NEW BEST:: SOT 107780041 SOS 34778608 HAS SOPS 34778608 HAS SOUS 12489905 HAS SOUPS 12489905 WITH SCORE 1.2524683608E7
AT ITER 2806 NEW BEST:: SOT 107780041 SOS 34775800 HAS SOPS 34775800 HAS SOUS 12489905 HAS SOUPS 12489905 WITH SCORE 1.25246808E7
AT ITER 2813 NEW BEST:: SOT 107779985 SOS 34775744 HAS SOPS 34775744 HAS SOUS 12489849 HAS SOUPS 12489849 WITH SCORE 1.2524624744E7
AT ITER 2839 NEW BEST:: SOT 107779801 SOS 34775560 HAS SOPS 34775560 HAS SOUS 12489849 HAS SOUPS 12489849 WITH SCORE 1.252462456E7
AT ITER 2841 NEW BEST:: SOT 107779801 SOS 34774210 HAS SOPS 34774210 HAS SOUS 12489699 HAS SOUPS 12489699 WITH SCORE 1.252447321E7
AT ITER 2853 NEW BEST:: SOT 107773921 SOS 34768330 HAS SOPS 34768330 HAS SOUS 12483819 HAS SOUPS 12483819 WITH SCORE 1.251858733E7
AT ITER 2880 NEW BEST:: SOT 107773256 SOS 34761680 HAS SOPS 34761680 HAS SOUS 12482489 HAS SOUPS 12482489 WITH SCORE 1.251725068E7
AT ITER 2890 NEW BEST:: SOT 107770506 SOS 34757796 HAS SOPS 34757796 HAS SOUS 12479613 HAS SOUPS 12479613 WITH SCORE 1.2514370796E7
AT ITER 2900 NEW BEST:: SOT 107770506 SOS 34757877 HAS SOPS 34757877 HAS SOUS 12479550 HAS SOUPS 12479550 WITH SCORE 1.2514307877E7
AT ITER 2903 NEW BEST:: SOT 107770506 SOS 34764906 HAS SOPS 34764906 HAS SOUS 12477712 HAS SOUPS 12477712 WITH SCORE 1.2512476906E7
AT ITER 2910 NEW BEST:: SOT 107765196 SOS 34759006 HAS SOPS 34759006 HAS SOUS 12469446 HAS SOUPS 12469446 WITH SCORE 1.2504205006E7
AT ITER 2943 NEW BEST:: SOT 107764316 SOS 34749947 HAS SOPS 34749947 HAS SOUS 12466875 HAS SOUPS 12466875 WITH SCORE 1.2501624947E7
AT ITER 2944 NEW BEST:: SOT 107763425 SOS 34748957 HAS SOPS 34748957 HAS SOUS 12465325 HAS SOUPS 12465325 WITH SCORE 1.2500073957E7
AT ITER 2952 NEW BEST:: SOT 107763425 SOS 34741657 HAS SOPS 34741657 HAS SOUS 12463865 HAS SOUPS 12463865 WITH SCORE 1.2498606657E7
AT ITER 2957 NEW BEST:: SOT 107763145 SOS 34738857 HAS SOPS 34738857 HAS SOUS 12463305 HAS SOUPS 12463305 WITH SCORE 1.2498043857E7
AT ITER 2969 NEW BEST:: SOT 107763105 SOS 34738457 HAS SOPS 34738457 HAS SOUS 12463225 HAS SOUPS 12463225 WITH SCORE 1.2497963457E7
AT ITER 2974 NEW BEST:: SOT 107763105 SOS 34737917 HAS SOPS 34737917 HAS SOUS 12458022 HAS SOUPS 12458022 WITH SCORE 1.2492759917E7
AT ITER 2986 NEW BEST:: SOT 107762598 SOS 34736903 HAS SOPS 34736903 HAS SOUS 12457008 HAS SOUPS 12457008 WITH SCORE 1.2491744903E7
AT ITER 3016 NEW BEST:: SOT 107762349 SOS 34739239 HAS SOPS 34739239 HAS SOUS 12456264 HAS SOUPS 12456264 WITH SCORE 1.2491003239E7
AT ITER 3017 NEW BEST:: SOT 107761756 SOS 34738053 HAS SOPS 34738053 HAS SOUS 12454374 HAS SOUPS 12454374 WITH SCORE 1.2489112053E7
AT ITER 3023 NEW BEST:: SOT 107761338 SOS 34737635 HAS SOPS 34737635 HAS SOUS 12454374 HAS SOUPS 12454374 WITH SCORE 1.2489111635E7
AT ITER 3030 NEW BEST:: SOT 107761058 SOS 34737355 HAS SOPS 34737355 HAS SOUS 12454094 HAS SOUPS 12454094 WITH SCORE 1.2488831355E7
AT ITER 3053 NEW BEST:: SOT 107765137 SOS 34745513 HAS SOPS 34745513 HAS SOUS 12451215 HAS SOUPS 12451215 WITH SCORE 1.2485960513E7
AT ITER 3061 NEW BEST:: SOT 107765137 SOS 34738853 HAS SOPS 34738853 HAS SOUS 12450475 HAS SOUPS 12450475 WITH SCORE 1.2485213853E7
AT ITER 3076 NEW BEST:: SOT 107765137 SOS 34738438 HAS SOPS 34738438 HAS SOUS 12450060 HAS SOUPS 12450060 WITH SCORE 1.2484798438E7
AT ITER 3081 NEW BEST:: SOT 107765137 SOS 34732598 HAS SOPS 34732598 HAS SOUS 12448892 HAS SOUPS 12448892 WITH SCORE 1.2483624598E7
AT ITER 3085 NEW BEST:: SOT 107764169 SOS 34731630 HAS SOPS 34731630 HAS SOUS 12447924 HAS SOUPS 12447924 WITH SCORE 1.248265563E7
AT ITER 3087 NEW BEST:: SOT 107763323 SOS 34730784 HAS SOPS 34730784 HAS SOUS 12447078 HAS SOUPS 12447078 WITH SCORE 1.2481808784E7
AT ITER 3098 NEW BEST:: SOT 107756771 SOS 34717190 HAS SOPS 34717190 HAS SOUS 12441450 HAS SOUPS 12441450 WITH SCORE 1.247616719E7
AT ITER 3102 NEW BEST:: SOT 107756771 SOS 34716510 HAS SOPS 34716510 HAS SOUS 12441450 HAS SOUPS 12441450 WITH SCORE 1.247616651E7
AT ITER 3129 NEW BEST:: SOT 107756712 SOS 34715861 HAS SOPS 34715861 HAS SOUS 12441273 HAS SOUPS 12441273 WITH SCORE 1.2475988861E7
AT ITER 3134 NEW BEST:: SOT 107756712 SOS 34715861 HAS SOPS 34715861 HAS SOUS 12440713 HAS SOUPS 12440713 WITH SCORE 1.2475428861E7
AT ITER 3141 NEW BEST:: SOT 107756712 SOS 34715861 HAS SOPS 34715861 HAS SOUS 12440595 HAS SOUPS 12440595 WITH SCORE 1.2475310861E7
AT ITER 3169 NEW BEST:: SOT 107756712 SOS 34714674 HAS SOPS 34714674 HAS SOUS 12440528 HAS SOUPS 12440528 WITH SCORE 1.2475242674E7
AT ITER 3172 NEW BEST:: SOT 107755877 SOS 34706324 HAS SOPS 34706324 HAS SOUS 12438858 HAS SOUPS 12438858 WITH SCORE 1.2473564324E7
AT ITER 3181 NEW BEST:: SOT 107755877 SOS 34706324 HAS SOPS 34706324 HAS SOUS 12438456 HAS SOUPS 12438456 WITH SCORE 1.2473162324E7
AT ITER 3190 NEW BEST:: SOT 107755812 SOS 34706259 HAS SOPS 34706259 HAS SOUS 12438391 HAS SOUPS 12438391 WITH SCORE 1.2473097259E7
AT ITER 3196 NEW BEST:: SOT 107755812 SOS 34705941 HAS SOPS 34705941 HAS SOUS 12438073 HAS SOUPS 12438073 WITH SCORE 1.2472778941E7
AT ITER 3198 NEW BEST:: SOT 107755277 SOS 34706001 HAS SOPS 34706001 HAS SOUS 12438024 HAS SOUPS 12438024 WITH SCORE 1.2472730001E7
AT ITER 3221 NEW BEST:: SOT 107753594 SOS 34704318 HAS SOPS 34704318 HAS SOUS 12436341 HAS SOUPS 12436341 WITH SCORE 1.2471045318E7
AT ITER 3222 NEW BEST:: SOT 107747042 SOS 34690689 HAS SOPS 34690689 HAS SOUS 12430277 HAS SOUPS 12430277 WITH SCORE 1.2464967689E7
AT ITER 3226 NEW BEST:: SOT 107746686 SOS 34687129 HAS SOPS 34687129 HAS SOUS 12429565 HAS SOUPS 12429565 WITH SCORE 1.2464252129E7
AT ITER 3248 NEW BEST:: SOT 107740569 SOS 34677511 HAS SOPS 34677511 HAS SOUS 12424019 HAS SOUPS 12424019 WITH SCORE 1.2458696511E7
AT ITER 3249 NEW BEST:: SOT 107739300 SOS 34674973 HAS SOPS 34674973 HAS SOUS 12422609 HAS SOUPS 12422609 WITH SCORE 1.2457283973E7
AT ITER 3260 NEW BEST:: SOT 107739300 SOS 34674826 HAS SOPS 34674826 HAS SOUS 12422462 HAS SOUPS 12422462 WITH SCORE 1.2457136826E7
AT ITER 3280 NEW BEST:: SOT 107736861 SOS 34669948 HAS SOPS 34669948 HAS SOUS 12419832 HAS SOUPS 12419832 WITH SCORE 1.2454501948E7
AT ITER 3305 NEW BEST:: SOT 107736861 SOS 34668823 HAS SOPS 34668823 HAS SOUS 12419707 HAS SOUPS 12419707 WITH SCORE 1.2454375823E7
AT ITER 3335 NEW BEST:: SOT 107736861 SOS 34670631 HAS SOPS 34670631 HAS SOUS 12417690 HAS SOUPS 12417690 WITH SCORE 1.2452360631E7
AT ITER 3336 NEW BEST:: SOT 107736861 SOS 34670631 HAS SOPS 34670631 HAS SOUS 12417538 HAS SOUPS 12417538 WITH SCORE 1.2452208631E7
AT ITER 3352 NEW BEST:: SOT 107728941 SOS 34661958 HAS SOPS 34661958 HAS SOUS 12409721 HAS SOUPS 12409721 WITH SCORE 1.2444382958E7
AT ITER 3353 NEW BEST:: SOT 107722415 SOS 34648906 HAS SOPS 34648906 HAS SOUS 12402701 HAS SOUPS 12402701 WITH SCORE 1.2437349906E7
AT ITER 3358 NEW BEST:: SOT 107717717 SOS 34643686 HAS SOPS 34643686 HAS SOUS 12396463 HAS SOUPS 12396463 WITH SCORE 1.2431106686E7
AT ITER 3395 NEW BEST:: SOT 107717717 SOS 34642972 HAS SOPS 34642972 HAS SOUS 12394021 HAS SOUPS 12394021 WITH SCORE 1.2428663972E7
AT ITER 3432 NEW BEST:: SOT 107712020 SOS 34636642 HAS SOPS 34636642 HAS SOUS 12387691 HAS SOUPS 12387691 WITH SCORE 1.2422327642E7
AT ITER 3450 NEW BEST:: SOT 107707052 SOS 34631122 HAS SOPS 34631122 HAS SOUS 12382171 HAS SOUPS 12382171 WITH SCORE 1.2416802122E7
AT ITER 3467 NEW BEST:: SOT 107707052 SOS 34627332 HAS SOPS 34627332 HAS SOUS 12381413 HAS SOUPS 12381413 WITH SCORE 1.2416040332E7
AT ITER 3471 NEW BEST:: SOT 107707338 SOS 34627618 HAS SOPS 34627618 HAS SOUS 12380841 HAS SOUPS 12380841 WITH SCORE 1.2415468618E7
AT ITER 3502 NEW BEST:: SOT 107699418 SOS 34611258 HAS SOPS 34611258 HAS SOUS 12374761 HAS SOUPS 12374761 WITH SCORE 1.2409372258E7
AT ITER 3525 NEW BEST:: SOT 107699418 SOS 34608298 HAS SOPS 34608298 HAS SOUS 12374169 HAS SOUPS 12374169 WITH SCORE 1.2408777298E7
AT ITER 3535 NEW BEST:: SOT 107699418 SOS 34609234 HAS SOPS 34609234 HAS SOUS 12373355 HAS SOUPS 12373355 WITH SCORE 1.2407964234E7
AT ITER 3545 NEW BEST:: SOT 107698987 SOS 34608803 HAS SOPS 34608803 HAS SOUS 12372493 HAS SOUPS 12372493 WITH SCORE 1.2407101803E7
AT ITER 3549 NEW BEST:: SOT 107698987 SOS 34608803 HAS SOPS 34608803 HAS SOUS 12371412 HAS SOUPS 12371412 WITH SCORE 1.2406020803E7
AT ITER 3558 NEW BEST:: SOT 107698987 SOS 34608155 HAS SOPS 34608155 HAS SOUS 12370764 HAS SOUPS 12370764 WITH SCORE 1.2405372155E7
AT ITER 3561 NEW BEST:: SOT 107698987 SOS 34608155 HAS SOPS 34608155 HAS SOUS 12370332 HAS SOUPS 12370332 WITH SCORE 1.2404940155E7
AT ITER 3568 NEW BEST:: SOT 107698875 SOS 34608043 HAS SOPS 34608043 HAS SOUS 12370220 HAS SOUPS 12370220 WITH SCORE 1.2404828043E7
AT ITER 3589 NEW BEST:: SOT 107698875 SOS 34608043 HAS SOPS 34608043 HAS SOUS 12370206 HAS SOUPS 12370206 WITH SCORE 1.2404814043E7
AT ITER 3601 NEW BEST:: SOT 107698875 SOS 34604543 HAS SOPS 34604543 HAS SOUS 12369506 HAS SOUPS 12369506 WITH SCORE 1.2404110543E7
AT ITER 3620 NEW BEST:: SOT 107695923 SOS 34593820 HAS SOPS 34593820 HAS SOUS 12365399 HAS SOUPS 12365399 WITH SCORE 1.239999282E7
AT ITER 3622 NEW BEST:: SOT 107695923 SOS 34592830 HAS SOPS 34592830 HAS SOUS 12365201 HAS SOUPS 12365201 WITH SCORE 1.239979383E7
AT ITER 3629 NEW BEST:: SOT 107695131 SOS 34591950 HAS SOPS 34591950 HAS SOUS 12364321 HAS SOUPS 12364321 WITH SCORE 1.239891295E7
AT ITER 3632 NEW BEST:: SOT 107695108 SOS 34591927 HAS SOPS 34591927 HAS SOUS 12364321 HAS SOUPS 12364321 WITH SCORE 1.2398912927E7
AT ITER 3635 NEW BEST:: SOT 107695108 SOS 34591820 HAS SOPS 34591820 HAS SOUS 12364214 HAS SOUPS 12364214 WITH SCORE 1.239880582E7
AT ITER 3644 NEW BEST:: SOT 107694802 SOS 34591514 HAS SOPS 34591514 HAS SOUS 12363908 HAS SOUPS 12363908 WITH SCORE 1.2398499514E7
AT ITER 3648 NEW BEST:: SOT 107694784 SOS 34591334 HAS SOPS 34591334 HAS SOUS 12363872 HAS SOUPS 12363872 WITH SCORE 1.2398463334E7
AT ITER 3649 NEW BEST:: SOT 107693551 SOS 34589964 HAS SOPS 34589964 HAS SOUS 12361743 HAS SOUPS 12361743 WITH SCORE 1.2396332964E7
AT ITER 3666 NEW BEST:: SOT 107693551 SOS 34589713 HAS SOPS 34589713 HAS SOUS 12361492 HAS SOUPS 12361492 WITH SCORE 1.2396081713E7
AT ITER 3668 NEW BEST:: SOT 107693551 SOS 34589713 HAS SOPS 34589713 HAS SOUS 12361136 HAS SOUPS 12361136 WITH SCORE 1.2395725713E7
AT ITER 3672 NEW BEST:: SOT 107689843 SOS 34585593 HAS SOPS 34585593 HAS SOUS 12355864 HAS SOUPS 12355864 WITH SCORE 1.2390449593E7
AT ITER 3680 NEW BEST:: SOT 107689599 SOS 34583153 HAS SOPS 34583153 HAS SOUS 12355376 HAS SOUPS 12355376 WITH SCORE 1.2389959153E7
AT ITER 3690 NEW BEST:: SOT 107689257 SOS 34579391 HAS SOPS 34579391 HAS SOUS 12354350 HAS SOUPS 12354350 WITH SCORE 1.2388929391E7
AT ITER 3696 NEW BEST:: SOT 107689257 SOS 34575751 HAS SOPS 34575751 HAS SOUS 12353622 HAS SOUPS 12353622 WITH SCORE 1.2388197751E7
AT ITER 3702 NEW BEST:: SOT 107690103 SOS 34579067 HAS SOPS 34579067 HAS SOUS 12352821 HAS SOUPS 12352821 WITH SCORE 1.2387400067E7
AT ITER 3718 NEW BEST:: SOT 107689634 SOS 34574377 HAS SOPS 34574377 HAS SOUS 12351883 HAS SOUPS 12351883 WITH SCORE 1.2386457377E7
AT ITER 3732 NEW BEST:: SOT 107682155 SOS 34559419 HAS SOPS 34559419 HAS SOUS 12343573 HAS SOUPS 12343573 WITH SCORE 1.2378132419E7
AT ITER 3734 NEW BEST:: SOT 107681707 SOS 34560402 HAS SOPS 34560402 HAS SOUS 12343284 HAS SOUPS 12343284 WITH SCORE 1.2377844402E7
AT ITER 3784 NEW BEST:: SOT 107677675 SOS 34552029 HAS SOPS 34552029 HAS SOUS 12339746 HAS SOUPS 12339746 WITH SCORE 1.2374298029E7
AT ITER 3789 NEW BEST:: SOT 107677675 SOS 34550139 HAS SOPS 34550139 HAS SOUS 12339368 HAS SOUPS 12339368 WITH SCORE 1.2373918139E7
AT ITER 3805 NEW BEST:: SOT 107675254 SOS 34547718 HAS SOPS 34547718 HAS SOUS 12336947 HAS SOUPS 12336947 WITH SCORE 1.2371494718E7
AT ITER 3819 NEW BEST:: SOT 107671358 SOS 34543822 HAS SOPS 34543822 HAS SOUS 12333051 HAS SOUPS 12333051 WITH SCORE 1.2367594822E7
AT ITER 3824 NEW BEST:: SOT 107670152 SOS 34542482 HAS SOPS 34542482 HAS SOUS 12330505 HAS SOUPS 12330505 WITH SCORE 1.2365047482E7
AT ITER 3832 NEW BEST:: SOT 107668712 SOS 34541042 HAS SOPS 34541042 HAS SOUS 12329065 HAS SOUPS 12329065 WITH SCORE 1.2363606042E7
AT ITER 3842 NEW BEST:: SOT 107668712 SOS 34541042 HAS SOPS 34541042 HAS SOUS 12328343 HAS SOUPS 12328343 WITH SCORE 1.2362884042E7
AT ITER 3847 NEW BEST:: SOT 107661620 SOS 34526266 HAS SOPS 34526266 HAS SOUS 12321077 HAS SOUPS 12321077 WITH SCORE 1.2355603266E7
AT ITER 3850 NEW BEST:: SOT 107661268 SOS 34524594 HAS SOPS 34524594 HAS SOUS 12321077 HAS SOUPS 12321077 WITH SCORE 1.2355601594E7
AT ITER 3855 NEW BEST:: SOT 107660503 SOS 34516179 HAS SOPS 34516179 HAS SOUS 12318782 HAS SOUPS 12318782 WITH SCORE 1.2353298179E7
AT ITER 3863 NEW BEST:: SOT 107660123 SOS 34515799 HAS SOPS 34515799 HAS SOUS 12318070 HAS SOUPS 12318070 WITH SCORE 1.2352585799E7
AT ITER 3874 NEW BEST:: SOT 107659395 SOS 34513605 HAS SOPS 34513605 HAS SOUS 12317012 HAS SOUPS 12317012 WITH SCORE 1.2351525605E7
AT ITER 3881 NEW BEST:: SOT 107659212 SOS 34511775 HAS SOPS 34511775 HAS SOUS 12316646 HAS SOUPS 12316646 WITH SCORE 1.2351157775E7
AT ITER 3890 NEW BEST:: SOT 107659212 SOS 34509615 HAS SOPS 34509615 HAS SOUS 12316214 HAS SOUPS 12316214 WITH SCORE 1.2350723615E7
AT ITER 3895 NEW BEST:: SOT 107659212 SOS 34510668 HAS SOPS 34510668 HAS SOUS 12315356 HAS SOUPS 12315356 WITH SCORE 1.2349866668E7
AT ITER 3911 NEW BEST:: SOT 107659212 SOS 34511732 HAS SOPS 34511732 HAS SOUS 12314159 HAS SOUPS 12314159 WITH SCORE 1.2348670732E7
AT ITER 3921 NEW BEST:: SOT 107658765 SOS 34507262 HAS SOPS 34507262 HAS SOUS 12313265 HAS SOUPS 12313265 WITH SCORE 1.2347772262E7
AT ITER 3971 NEW BEST:: SOT 107658765 SOS 34507613 HAS SOPS 34507613 HAS SOUS 12312953 HAS SOUPS 12312953 WITH SCORE 1.2347460613E7
AT ITER 3987 NEW BEST:: SOT 107658765 SOS 34507613 HAS SOPS 34507613 HAS SOUS 12312799 HAS SOUPS 12312799 WITH SCORE 1.2347306613E7
AT ITER 3991 NEW BEST:: SOT 107658513 SOS 34505093 HAS SOPS 34505093 HAS SOUS 12312295 HAS SOUPS 12312295 WITH SCORE 1.2346800093E7
AT ITER 3997 NEW BEST:: SOT 107658513 SOS 34505093 HAS SOPS 34505093 HAS SOUS 12312157 HAS SOUPS 12312157 WITH SCORE 1.2346662093E7
AT ITER 4004 NEW BEST:: SOT 107658320 SOS 34504900 HAS SOPS 34504900 HAS SOUS 12312157 HAS SOUPS 12312157 WITH SCORE 1.23466619E7
AT ITER 4011 NEW BEST:: SOT 107657284 SOS 34495707 HAS SOPS 34495707 HAS SOUS 12309268 HAS SOUPS 12309268 WITH SCORE 1.2343763707E7
AT ITER 4015 NEW BEST:: SOT 107656731 SOS 34492784 HAS SOPS 34492784 HAS SOUS 12309110 HAS SOUPS 12309110 WITH SCORE 1.2343602784E7
AT ITER 4017 NEW BEST:: SOT 107656731 SOS 34491479 HAS SOPS 34491479 HAS SOUS 12309021 HAS SOUPS 12309021 WITH SCORE 1.2343512479E7
AT ITER 4026 NEW BEST:: SOT 107656247 SOS 34490995 HAS SOPS 34490995 HAS SOUS 12307261 HAS SOUPS 12307261 WITH SCORE 1.2341751995E7
AT ITER 4041 NEW BEST:: SOT 107655857 SOS 34490605 HAS SOPS 34490605 HAS SOUS 12306167 HAS SOUPS 12306167 WITH SCORE 1.2340657605E7
AT ITER 4053 NEW BEST:: SOT 107655461 SOS 34490209 HAS SOPS 34490209 HAS SOUS 12306167 HAS SOUPS 12306167 WITH SCORE 1.2340657209E7
AT ITER 4059 NEW BEST:: SOT 107654810 SOS 34483699 HAS SOPS 34483699 HAS SOUS 12304865 HAS SOUPS 12304865 WITH SCORE 1.2339348699E7
AT ITER 4066 NEW BEST:: SOT 107654081 SOS 34482889 HAS SOPS 34482889 HAS SOUS 12304055 HAS SOUPS 12304055 WITH SCORE 1.2338537889E7
AT ITER 4072 NEW BEST:: SOT 107653395 SOS 34476029 HAS SOPS 34476029 HAS SOUS 12302683 HAS SOUPS 12302683 WITH SCORE 1.2337159029E7
AT ITER 4088 NEW BEST:: SOT 107652535 SOS 34467429 HAS SOPS 34467429 HAS SOUS 12300963 HAS SOUPS 12300963 WITH SCORE 1.2335430429E7
AT ITER 4089 NEW BEST:: SOT 107645956 SOS 34453684 HAS SOPS 34453684 HAS SOUS 12293954 HAS SOUPS 12293954 WITH SCORE 1.2328407684E7
AT ITER 4091 NEW BEST:: SOT 107645890 SOS 34453178 HAS SOPS 34453178 HAS SOUS 12293954 HAS SOUPS 12293954 WITH SCORE 1.2328407178E7
AT ITER 4102 NEW BEST:: SOT 107638411 SOS 34438220 HAS SOPS 34438220 HAS SOUS 12285644 HAS SOUPS 12285644 WITH SCORE 1.232008222E7
AT ITER 4106 NEW BEST:: SOT 107638411 SOS 34437690 HAS SOPS 34437690 HAS SOUS 12285538 HAS SOUPS 12285538 WITH SCORE 1.231997569E7
AT ITER 4118 NEW BEST:: SOT 107638411 SOS 34437690 HAS SOPS 34437690 HAS SOUS 12285432 HAS SOUPS 12285432 WITH SCORE 1.231986969E7
AT ITER 4120 NEW BEST:: SOT 107638411 SOS 34432857 HAS SOPS 34432857 HAS SOUS 12284895 HAS SOUPS 12284895 WITH SCORE 1.2319327857E7
AT ITER 4129 NEW BEST:: SOT 107638411 SOS 34425667 HAS SOPS 34425667 HAS SOUS 12283457 HAS SOUPS 12283457 WITH SCORE 1.2317882667E7
AT ITER 4139 NEW BEST:: SOT 107637230 SOS 34417863 HAS SOPS 34417863 HAS SOUS 12280741 HAS SOUPS 12280741 WITH SCORE 1.2315158863E7
AT ITER 4145 NEW BEST:: SOT 107637230 SOS 34410793 HAS SOPS 34410793 HAS SOUS 12279327 HAS SOUPS 12279327 WITH SCORE 1.2313737793E7
AT ITER 4154 NEW BEST:: SOT 107629310 SOS 34403004 HAS SOPS 34403004 HAS SOUS 12272586 HAS SOUPS 12272586 WITH SCORE 1.2306989004E7
AT ITER 4156 NEW BEST:: SOT 107629310 SOS 34408836 HAS SOPS 34408836 HAS SOUS 12268520 HAS SOUPS 12268520 WITH SCORE 1.2302928836E7
AT ITER 4187 NEW BEST:: SOT 107629699 SOS 34409614 HAS SOPS 34409614 HAS SOUS 12266442 HAS SOUPS 12266442 WITH SCORE 1.2300851614E7
AT ITER 4193 NEW BEST:: SOT 107628007 SOS 34407986 HAS SOPS 34407986 HAS SOUS 12265326 HAS SOUPS 12265326 WITH SCORE 1.2299733986E7
AT ITER 4199 NEW BEST:: SOT 107628007 SOS 34400076 HAS SOPS 34400076 HAS SOUS 12263744 HAS SOUPS 12263744 WITH SCORE 1.2298144076E7
AT ITER 4207 NEW BEST:: SOT 107627909 SOS 34399096 HAS SOPS 34399096 HAS SOUS 12263548 HAS SOUPS 12263548 WITH SCORE 1.2297947096E7
AT ITER 4209 NEW BEST:: SOT 107628431 SOS 34399155 HAS SOPS 34399155 HAS SOUS 12263423 HAS SOUPS 12263423 WITH SCORE 1.2297822155E7
AT ITER 4211 NEW BEST:: SOT 107628382 SOS 34399106 HAS SOPS 34399106 HAS SOUS 12263423 HAS SOUPS 12263423 WITH SCORE 1.2297822106E7
AT ITER 4222 NEW BEST:: SOT 107627149 SOS 34397873 HAS SOPS 34397873 HAS SOUS 12262190 HAS SOUPS 12262190 WITH SCORE 1.2296587873E7
AT ITER 4228 NEW BEST:: SOT 107620271 SOS 34391157 HAS SOPS 34391157 HAS SOUS 12256932 HAS SOUPS 12256932 WITH SCORE 1.2291323157E7
AT ITER 4235 NEW BEST:: SOT 107620271 SOS 34398101 HAS SOPS 34398101 HAS SOUS 12252831 HAS SOUPS 12252831 WITH SCORE 1.2287229101E7
AT ITER 4237 NEW BEST:: SOT 107620221 SOS 34398051 HAS SOPS 34398051 HAS SOUS 12252781 HAS SOUPS 12252781 WITH SCORE 1.2287179051E7
AT ITER 4239 NEW BEST:: SOT 107620221 SOS 34400229 HAS SOPS 34400229 HAS SOUS 12250845 HAS SOUPS 12250845 WITH SCORE 1.2285245229E7
AT ITER 4248 NEW BEST:: SOT 107619999 SOS 34399785 HAS SOPS 34399785 HAS SOUS 12250401 HAS SOUPS 12250401 WITH SCORE 1.2284800785E7
AT ITER 4249 NEW BEST:: SOT 107619999 SOS 34401234 HAS SOPS 34401234 HAS SOUS 12249113 HAS SOUPS 12249113 WITH SCORE 1.2283514234E7
AT ITER 4257 NEW BEST:: SOT 107619999 SOS 34404924 HAS SOPS 34404924 HAS SOUS 12245833 HAS SOUPS 12245833 WITH SCORE 1.2280237924E7
AT ITER 4262 NEW BEST:: SOT 107619973 SOS 34404664 HAS SOPS 34404664 HAS SOUS 12245781 HAS SOUPS 12245781 WITH SCORE 1.2280185664E7
AT ITER 4288 NEW BEST:: SOT 107619838 SOS 34399069 HAS SOPS 34399069 HAS SOUS 12245026 HAS SOUPS 12245026 WITH SCORE 1.2279425069E7
AT ITER 4317 NEW BEST:: SOT 107619794 SOS 34398585 HAS SOPS 34398585 HAS SOUS 12244894 HAS SOUPS 12244894 WITH SCORE 1.2279292585E7
AT ITER 4320 NEW BEST:: SOT 107613269 SOS 34391335 HAS SOPS 34391335 HAS SOUS 12237644 HAS SOUPS 12237644 WITH SCORE 1.2272035335E7
AT ITER 4324 NEW BEST:: SOT 107612748 SOS 34390814 HAS SOPS 34390814 HAS SOUS 12236601 HAS SOUPS 12236601 WITH SCORE 1.2270991814E7
AT ITER 4327 NEW BEST:: SOT 107612748 SOS 34390814 HAS SOPS 34390814 HAS SOUS 12236425 HAS SOUPS 12236425 WITH SCORE 1.2270815814E7
AT ITER 4368 NEW BEST:: SOT 107610921 SOS 34388784 HAS SOPS 34388784 HAS SOUS 12234019 HAS SOUPS 12234019 WITH SCORE 1.2268407784E7
AT ITER 4391 NEW BEST:: SOT 107610921 SOS 34388784 HAS SOPS 34388784 HAS SOUS 12233985 HAS SOUPS 12233985 WITH SCORE 1.2268373784E7
AT ITER 4393 NEW BEST:: SOT 107608698 SOS 34386314 HAS SOPS 34386314 HAS SOUS 12230827 HAS SOUPS 12230827 WITH SCORE 1.2265213314E7
AT ITER 4411 NEW BEST:: SOT 107608425 SOS 34385768 HAS SOPS 34385768 HAS SOUS 12228757 HAS SOUPS 12228757 WITH SCORE 1.2263142768E7
AT ITER 4421 NEW BEST:: SOT 107602564 SOS 34379534 HAS SOPS 34379534 HAS SOUS 12222904 HAS SOUPS 12222904 WITH SCORE 1.2257283534E7
AT ITER 4428 NEW BEST:: SOT 107601967 SOS 34378937 HAS SOPS 34378937 HAS SOUS 12222307 HAS SOUPS 12222307 WITH SCORE 1.2256685937E7
AT ITER 4434 NEW BEST:: SOT 107601967 SOS 34379212 HAS SOPS 34379212 HAS SOUS 12221614 HAS SOUPS 12221614 WITH SCORE 1.2255993212E7
AT ITER 4440 NEW BEST:: SOT 107601967 SOS 34379212 HAS SOPS 34379212 HAS SOUS 12221201 HAS SOUPS 12221201 WITH SCORE 1.2255580212E7
AT ITER 4455 NEW BEST:: SOT 107601328 SOS 34377934 HAS SOPS 34377934 HAS SOUS 12219339 HAS SOUPS 12219339 WITH SCORE 1.2253716934E7
AT ITER 4468 NEW BEST:: SOT 107600892 SOS 34377390 HAS SOPS 34377390 HAS SOUS 12218891 HAS SOUPS 12218891 WITH SCORE 1.225326839E7
AT ITER 4470 NEW BEST:: SOT 107600892 SOS 34377390 HAS SOPS 34377390 HAS SOUS 12218715 HAS SOUPS 12218715 WITH SCORE 1.225309239E7
AT ITER 4478 NEW BEST:: SOT 107597850 SOS 34373338 HAS SOPS 34373338 HAS SOUS 12215471 HAS SOUPS 12215471 WITH SCORE 1.2249844338E7
AT ITER 4510 NEW BEST:: SOT 107597850 SOS 34373338 HAS SOPS 34373338 HAS SOUS 12215428 HAS SOUPS 12215428 WITH SCORE 1.2249801338E7
AT ITER 4516 NEW BEST:: SOT 107597850 SOS 34367362 HAS SOPS 34367362 HAS SOUS 12214764 HAS SOUPS 12214764 WITH SCORE 1.2249131362E7
AT ITER 4526 NEW BEST:: SOT 107592648 SOS 34356958 HAS SOPS 34356958 HAS SOUS 12208984 HAS SOUPS 12208984 WITH SCORE 1.2243340958E7
AT ITER 4527 NEW BEST:: SOT 107592648 SOS 34359973 HAS SOPS 34359973 HAS SOUS 12207716 HAS SOUPS 12207716 WITH SCORE 1.2242075973E7
AT ITER 4531 NEW BEST:: SOT 107592344 SOS 34359669 HAS SOPS 34359669 HAS SOUS 12207412 HAS SOUPS 12207412 WITH SCORE 1.2241771669E7
AT ITER 4540 NEW BEST:: SOT 107591612 SOS 34351617 HAS SOPS 34351617 HAS SOUS 12205216 HAS SOUPS 12205216 WITH SCORE 1.2239567617E7
AT ITER 4544 NEW BEST:: SOT 107589533 SOS 34345122 HAS SOPS 34345122 HAS SOUS 12204547 HAS SOUPS 12204547 WITH SCORE 1.2238892122E7
AT ITER 4579 NEW BEST:: SOT 107589181 SOS 34344770 HAS SOPS 34344770 HAS SOUS 12204195 HAS SOUPS 12204195 WITH SCORE 1.223853977E7
AT ITER 4591 NEW BEST:: SOT 107588092 SOS 34342592 HAS SOPS 34342592 HAS SOUS 12202985 HAS SOUPS 12202985 WITH SCORE 1.2237327592E7
AT ITER 4592 NEW BEST:: SOT 107588092 SOS 34342592 HAS SOPS 34342592 HAS SOUS 12201705 HAS SOUPS 12201705 WITH SCORE 1.2236047592E7
AT ITER 4593 NEW BEST:: SOT 107588092 SOS 34335352 HAS SOPS 34335352 HAS SOUS 12200257 HAS SOUPS 12200257 WITH SCORE 1.2234592352E7
AT ITER 4620 NEW BEST:: SOT 107588092 SOS 34336056 HAS SOPS 34336056 HAS SOUS 12199465 HAS SOUPS 12199465 WITH SCORE 1.2233801056E7
AT ITER 4655 NEW BEST:: SOT 107588092 SOS 34332906 HAS SOPS 34332906 HAS SOUS 12198835 HAS SOUPS 12198835 WITH SCORE 1.2233167906E7
AT ITER 4660 NEW BEST:: SOT 107587598 SOS 34332412 HAS SOPS 34332412 HAS SOUS 12198341 HAS SOUPS 12198341 WITH SCORE 1.2232673412E7
AT ITER 4667 NEW BEST:: SOT 107583575 SOS 34327942 HAS SOPS 34327942 HAS SOUS 12193871 HAS SOUPS 12193871 WITH SCORE 1.2228198942E7
AT ITER 4695 NEW BEST:: SOT 107582857 SOS 34327224 HAS SOPS 34327224 HAS SOUS 12192395 HAS SOUPS 12192395 WITH SCORE 1.2226722224E7
AT ITER 4712 NEW BEST:: SOT 107581984 SOS 34318494 HAS SOPS 34318494 HAS SOUS 12190649 HAS SOUPS 12190649 WITH SCORE 1.2224967494E7
AT ITER 4719 NEW BEST:: SOT 107582176 SOS 34317958 HAS SOPS 34317958 HAS SOUS 12186685 HAS SOUPS 12186685 WITH SCORE 1.2221002958E7
AT ITER 4722 NEW BEST:: SOT 107581958 SOS 34317510 HAS SOPS 34317510 HAS SOUS 12186421 HAS SOUPS 12186421 WITH SCORE 1.222073851E7
AT ITER 4738 NEW BEST:: SOT 107581931 SOS 34317483 HAS SOPS 34317483 HAS SOUS 12186394 HAS SOUPS 12186394 WITH SCORE 1.2220711483E7
AT ITER 4752 NEW BEST:: SOT 107582300 SOS 34317814 HAS SOPS 34317814 HAS SOUS 12182701 HAS SOUPS 12182701 WITH SCORE 1.2217018814E7
AT ITER 4787 NEW BEST:: SOT 107582300 SOS 34321162 HAS SOPS 34321162 HAS SOUS 12180049 HAS SOUPS 12180049 WITH SCORE 1.2214370162E7
AT ITER 4790 NEW BEST:: SOT 107582300 SOS 34321162 HAS SOPS 34321162 HAS SOUS 12179739 HAS SOUPS 12179739 WITH SCORE 1.2214060162E7
AT ITER 4801 NEW BEST:: SOT 107580230 SOS 34316792 HAS SOPS 34316792 HAS SOUS 12177209 HAS SOUPS 12177209 WITH SCORE 1.2211525792E7
AT ITER 4802 NEW BEST:: SOT 107580230 SOS 34316792 HAS SOPS 34316792 HAS SOUS 12177099 HAS SOUPS 12177099 WITH SCORE 1.2211415792E7
AT ITER 4806 NEW BEST:: SOT 107580230 SOS 34316764 HAS SOPS 34316764 HAS SOUS 12177071 HAS SOUPS 12177071 WITH SCORE 1.2211387764E7
AT ITER 4820 NEW BEST:: SOT 107580230 SOS 34316764 HAS SOPS 34316764 HAS SOUS 12177064 HAS SOUPS 12177064 WITH SCORE 1.2211380764E7
AT ITER 4843 NEW BEST:: SOT 107579685 SOS 34311314 HAS SOPS 34311314 HAS SOUS 12175974 HAS SOUPS 12175974 WITH SCORE 1.2210285314E7
AT ITER 4845 NEW BEST:: SOT 107579685 SOS 34303924 HAS SOPS 34303924 HAS SOUS 12174496 HAS SOUPS 12174496 WITH SCORE 1.2208799924E7
AT ITER 4849 NEW BEST:: SOT 107573505 SOS 34291564 HAS SOPS 34291564 HAS SOUS 12170512 HAS SOUPS 12170512 WITH SCORE 1.2204803564E7
AT ITER 4868 NEW BEST:: SOT 107573722 SOS 34291781 HAS SOPS 34291781 HAS SOUS 12170295 HAS SOUPS 12170295 WITH SCORE 1.2204586781E7
AT ITER 4894 NEW BEST:: SOT 107570122 SOS 34284581 HAS SOPS 34284581 HAS SOUS 12166295 HAS SOUPS 12166295 WITH SCORE 1.2200579581E7
AT ITER 4899 NEW BEST:: SOT 107569933 SOS 34284203 HAS SOPS 34284203 HAS SOUS 12165917 HAS SOUPS 12165917 WITH SCORE 1.2200201203E7
AT ITER 4908 NEW BEST:: SOT 107569933 SOS 34279447 HAS SOPS 34279447 HAS SOUS 12165473 HAS SOUPS 12165473 WITH SCORE 1.2199752447E7
AT ITER 4925 NEW BEST:: SOT 107569933 SOS 34278968 HAS SOPS 34278968 HAS SOUS 12164994 HAS SOUPS 12164994 WITH SCORE 1.2199272968E7
AT ITER 4928 NEW BEST:: SOT 107569720 SOS 34276838 HAS SOPS 34276838 HAS SOUS 12164568 HAS SOUPS 12164568 WITH SCORE 1.2198844838E7
AT ITER 4929 NEW BEST:: SOT 107569720 SOS 34277756 HAS SOPS 34277756 HAS SOUS 12163752 HAS SOUPS 12163752 WITH SCORE 1.2198029756E7
AT ITER 4945 NEW BEST:: SOT 107569720 SOS 34273468 HAS SOPS 34273468 HAS SOUS 12163752 HAS SOUPS 12163752 WITH SCORE 1.2198025468E7
AT ITER 4946 NEW BEST:: SOT 107569603 SOS 34273351 HAS SOPS 34273351 HAS SOUS 12163635 HAS SOUPS 12163635 WITH SCORE 1.2197908351E7
AT ITER 4948 NEW BEST:: SOT 107569603 SOS 34273351 HAS SOPS 34273351 HAS SOUS 12163173 HAS SOUPS 12163173 WITH SCORE 1.2197446351E7
AT ITER 4955 NEW BEST:: SOT 107568955 SOS 34272703 HAS SOPS 34272703 HAS SOUS 12162525 HAS SOUPS 12162525 WITH SCORE 1.2196797703E7
AT ITER 4959 NEW BEST:: SOT 107568955 SOS 34266592 HAS SOPS 34266592 HAS SOUS 12161846 HAS SOUPS 12161846 WITH SCORE 1.2196112592E7
AT ITER 4973 NEW BEST:: SOT 107568955 SOS 34265950 HAS SOPS 34265950 HAS SOUS 12161204 HAS SOUPS 12161204 WITH SCORE 1.219546995E7
AT ITER 4982 NEW BEST:: SOT 107568091 SOS 34265086 HAS SOPS 34265086 HAS SOUS 12160340 HAS SOUPS 12160340 WITH SCORE 1.2194605086E7
AT ITER 4983 NEW BEST:: SOT 107560343 SOS 34249590 HAS SOPS 34249590 HAS SOUS 12153432 HAS SOUPS 12153432 WITH SCORE 1.218768159E7
AT ITER 4985 NEW BEST:: SOT 107560343 SOS 34245676 HAS SOPS 34245676 HAS SOUS 12153102 HAS SOUPS 12153102 WITH SCORE 1.2187347676E7
AT ITER 4986 NEW BEST:: SOT 107559344 SOS 34244677 HAS SOPS 34244677 HAS SOUS 12152103 HAS SOUPS 12152103 WITH SCORE 1.2186347677E7
AT ITER 5004 NEW BEST:: SOT 107558047 SOS 34243427 HAS SOPS 34243427 HAS SOUS 12150853 HAS SOUPS 12150853 WITH SCORE 1.2185096427E7
AT ITER 5054 NEW BEST:: SOT 107558047 SOS 34243427 HAS SOPS 34243427 HAS SOUS 12150783 HAS SOUPS 12150783 WITH SCORE 1.2185026427E7
AT ITER 5055 NEW BEST:: SOT 107558047 SOS 34242952 HAS SOPS 34242952 HAS SOUS 12150308 HAS SOUPS 12150308 WITH SCORE 1.2184550952E7
AT ITER 5059 NEW BEST:: SOT 107558047 SOS 34243474 HAS SOPS 34243474 HAS SOUS 12149844 HAS SOUPS 12149844 WITH SCORE 1.2184087474E7
AT ITER 5068 NEW BEST:: SOT 107557807 SOS 34240834 HAS SOPS 34240834 HAS SOUS 12149124 HAS SOUPS 12149124 WITH SCORE 1.2183364834E7
AT ITER 5072 NEW BEST:: SOT 107558003 SOS 34236438 HAS SOPS 34236438 HAS SOUS 12148984 HAS SOUPS 12148984 WITH SCORE 1.2183220438E7
AT ITER 5093 NEW BEST:: SOT 107554727 SOS 34229886 HAS SOPS 34229886 HAS SOUS 12145344 HAS SOUPS 12145344 WITH SCORE 1.2179573886E7
AT ITER 5104 NEW BEST:: SOT 107554355 SOS 34230721 HAS SOPS 34230721 HAS SOUS 12144459 HAS SOUPS 12144459 WITH SCORE 1.2178689721E7
AT ITER 5118 NEW BEST:: SOT 107548910 SOS 34224671 HAS SOPS 34224671 HAS SOUS 12138135 HAS SOUPS 12138135 WITH SCORE 1.2172359671E7
AT ITER 5121 NEW BEST:: SOT 107548475 SOS 34223801 HAS SOPS 34223801 HAS SOUS 12137265 HAS SOUPS 12137265 WITH SCORE 1.2171488801E7
AT ITER 5123 NEW BEST:: SOT 107548109 SOS 34223435 HAS SOPS 34223435 HAS SOUS 12137265 HAS SOUPS 12137265 WITH SCORE 1.2171488435E7
AT ITER 5126 NEW BEST:: SOT 107548109 SOS 34224893 HAS SOPS 34224893 HAS SOUS 12137091 HAS SOUPS 12137091 WITH SCORE 1.2171315893E7
AT ITER 5138 NEW BEST:: SOT 107547942 SOS 34224559 HAS SOPS 34224559 HAS SOUS 12136757 HAS SOUPS 12136757 WITH SCORE 1.2170981559E7
AT ITER 5148 NEW BEST:: SOT 107548392 SOS 34229019 HAS SOPS 34229019 HAS SOUS 12133252 HAS SOUPS 12133252 WITH SCORE 1.2167481019E7
AT ITER 5150 NEW BEST:: SOT 107546452 SOS 34227154 HAS SOPS 34227154 HAS SOUS 12131892 HAS SOUPS 12131892 WITH SCORE 1.2166119154E7
AT ITER 5176 NEW BEST:: SOT 107546006 SOS 34222694 HAS SOPS 34222694 HAS SOUS 12131000 HAS SOUPS 12131000 WITH SCORE 1.2165222694E7
AT ITER 5199 NEW BEST:: SOT 107546006 SOS 34222694 HAS SOPS 34222694 HAS SOUS 12130824 HAS SOUPS 12130824 WITH SCORE 1.2165046694E7
AT ITER 5212 NEW BEST:: SOT 107545508 SOS 34222196 HAS SOPS 34222196 HAS SOUS 12130326 HAS SOUPS 12130326 WITH SCORE 1.2164548196E7
AT ITER 5214 NEW BEST:: SOT 107545142 SOS 34219174 HAS SOPS 34219174 HAS SOUS 12130228 HAS SOUPS 12130228 WITH SCORE 1.2164447174E7
AT ITER 5220 NEW BEST:: SOT 107545142 SOS 34218644 HAS SOPS 34218644 HAS SOUS 12128026 HAS SOUPS 12128026 WITH SCORE 1.2162244644E7
AT ITER 5234 NEW BEST:: SOT 107539787 SOS 34212694 HAS SOPS 34212694 HAS SOUS 12123473 HAS SOUPS 12123473 WITH SCORE 1.2157685694E7
AT ITER 5238 NEW BEST:: SOT 107539580 SOS 34210624 HAS SOPS 34210624 HAS SOUS 12123059 HAS SOUPS 12123059 WITH SCORE 1.2157269624E7
AT ITER 5242 NEW BEST:: SOT 107539201 SOS 34209866 HAS SOPS 34209866 HAS SOUS 12122301 HAS SOUPS 12122301 WITH SCORE 1.2156510866E7
AT ITER 5281 NEW BEST:: SOT 107536824 SOS 34207712 HAS SOPS 34207712 HAS SOUS 12121156 HAS SOUPS 12121156 WITH SCORE 1.2155363712E7
AT ITER 5288 NEW BEST:: SOT 107536414 SOS 34207302 HAS SOPS 34207302 HAS SOUS 12120746 HAS SOUPS 12120746 WITH SCORE 1.2154953302E7
AT ITER 5304 NEW BEST:: SOT 107535852 SOS 34201682 HAS SOPS 34201682 HAS SOUS 12119622 HAS SOUPS 12119622 WITH SCORE 1.2153823682E7
AT ITER 5311 NEW BEST:: SOT 107535429 SOS 34201212 HAS SOPS 34201212 HAS SOUS 12119152 HAS SOUPS 12119152 WITH SCORE 1.2153353212E7
AT ITER 5323 NEW BEST:: SOT 107534906 SOS 34195459 HAS SOPS 34195459 HAS SOUS 12117583 HAS SOUPS 12117583 WITH SCORE 1.2151778459E7
AT ITER 5324 NEW BEST:: SOT 107534060 SOS 34194519 HAS SOPS 34194519 HAS SOUS 12116643 HAS SOUPS 12116643 WITH SCORE 1.2150837519E7
AT ITER 5335 NEW BEST:: SOT 107533422 SOS 34193243 HAS SOPS 34193243 HAS SOUS 12111239 HAS SOUPS 12111239 WITH SCORE 1.2145432243E7
AT ITER 5336 NEW BEST:: SOT 107531496 SOS 34191103 HAS SOPS 34191103 HAS SOUS 12107290 HAS SOUPS 12107290 WITH SCORE 1.2141481103E7
AT ITER 5341 NEW BEST:: SOT 107523576 SOS 34174676 HAS SOPS 34174676 HAS SOUS 12100540 HAS SOUPS 12100540 WITH SCORE 1.2134714676E7
AT ITER 5376 NEW BEST:: SOT 107523481 SOS 34174486 HAS SOPS 34174486 HAS SOUS 12100350 HAS SOUPS 12100350 WITH SCORE 1.2134524486E7
AT ITER 5430 NEW BEST:: SOT 107523418 SOS 34174423 HAS SOPS 34174423 HAS SOUS 12100287 HAS SOUPS 12100287 WITH SCORE 1.2134461423E7
AT ITER 5439 NEW BEST:: SOT 107523418 SOS 34174567 HAS SOPS 34174567 HAS SOUS 12100159 HAS SOUPS 12100159 WITH SCORE 1.2134333567E7
AT ITER 5442 NEW BEST:: SOT 107522908 SOS 34169467 HAS SOPS 34169467 HAS SOUS 12099139 HAS SOUPS 12099139 WITH SCORE 1.2133308467E7
AT ITER 5452 NEW BEST:: SOT 107522882 SOS 34169415 HAS SOPS 34169415 HAS SOUS 12099087 HAS SOUPS 12099087 WITH SCORE 1.2133256415E7
AT ITER 5472 NEW BEST:: SOT 107522882 SOS 34169415 HAS SOPS 34169415 HAS SOUS 12099003 HAS SOUPS 12099003 WITH SCORE 1.2133172415E7
AT ITER 5474 NEW BEST:: SOT 107519633 SOS 34162917 HAS SOPS 34162917 HAS SOUS 12095393 HAS SOUPS 12095393 WITH SCORE 1.2129555917E7
AT ITER 5483 NEW BEST:: SOT 107519107 SOS 34162391 HAS SOPS 34162391 HAS SOUS 12094300 HAS SOUPS 12094300 WITH SCORE 1.2128462391E7
AT ITER 5491 NEW BEST:: SOT 107519107 SOS 34162272 HAS SOPS 34162272 HAS SOUS 12094181 HAS SOUPS 12094181 WITH SCORE 1.2128343272E7
AT ITER 5523 NEW BEST:: SOT 107517820 SOS 34160985 HAS SOPS 34160985 HAS SOUS 12092894 HAS SOUPS 12092894 WITH SCORE 1.2127054985E7
AT ITER 5536 NEW BEST:: SOT 107517117 SOS 34157402 HAS SOPS 34157402 HAS SOUS 12091615 HAS SOUPS 12091615 WITH SCORE 1.2125772402E7
AT ITER 5542 NEW BEST:: SOT 107517117 SOS 34157402 HAS SOPS 34157402 HAS SOUS 12091475 HAS SOUPS 12091475 WITH SCORE 1.2125632402E7
AT ITER 5551 NEW BEST:: SOT 107514660 SOS 34154672 HAS SOPS 34154672 HAS SOUS 12087527 HAS SOUPS 12087527 WITH SCORE 1.2121681672E7
AT ITER 5556 NEW BEST:: SOT 107511060 SOS 34150672 HAS SOPS 34150672 HAS SOUS 12082837 HAS SOUPS 12082837 WITH SCORE 1.2116987672E7
AT ITER 5563 NEW BEST:: SOT 107510332 SOS 34142916 HAS SOPS 34142916 HAS SOUS 12080681 HAS SOUPS 12080681 WITH SCORE 1.2114823916E7
AT ITER 5566 NEW BEST:: SOT 107509604 SOS 34138715 HAS SOPS 34138715 HAS SOUS 12078920 HAS SOUPS 12078920 WITH SCORE 1.2113058715E7
AT ITER 5589 NEW BEST:: SOT 107509389 SOS 34138500 HAS SOPS 34138500 HAS SOUS 12078920 HAS SOUPS 12078920 WITH SCORE 1.21130585E7
AT ITER 5591 NEW BEST:: SOT 107509237 SOS 34136980 HAS SOPS 34136980 HAS SOUS 12078616 HAS SOUPS 12078616 WITH SCORE 1.211275298E7
AT ITER 5643 NEW BEST:: SOT 107508726 SOS 34136469 HAS SOPS 34136469 HAS SOUS 12078616 HAS SOUPS 12078616 WITH SCORE 1.2112752469E7
AT ITER 5682 NEW BEST:: SOT 107508718 SOS 34136461 HAS SOPS 34136461 HAS SOUS 12078608 HAS SOUPS 12078608 WITH SCORE 1.2112744461E7
AT ITER 5694 NEW BEST:: SOT 107508718 SOS 34136461 HAS SOPS 34136461 HAS SOUS 12077979 HAS SOUPS 12077979 WITH SCORE 1.2112115461E7
AT ITER 5702 NEW BEST:: SOT 107508327 SOS 34132551 HAS SOPS 34132551 HAS SOUS 12077197 HAS SOUPS 12077197 WITH SCORE 1.2111329551E7
AT ITER 5736 NEW BEST:: SOT 107508327 SOS 34132072 HAS SOPS 34132072 HAS SOUS 12076718 HAS SOUPS 12076718 WITH SCORE 1.2110850072E7
AT ITER 5743 NEW BEST:: SOT 107508327 SOS 34126960 HAS SOPS 34126960 HAS SOUS 12076150 HAS SOUPS 12076150 WITH SCORE 1.211027696E7
AT ITER 5754 NEW BEST:: SOT 107508401 SOS 34124397 HAS SOPS 34124397 HAS SOUS 12075931 HAS SOUPS 12075931 WITH SCORE 1.2110055397E7
AT ITER 5755 NEW BEST:: SOT 107500923 SOS 34109441 HAS SOPS 34109441 HAS SOUS 12071993 HAS SOUPS 12071993 WITH SCORE 1.2106102441E7
AT ITER 5767 NEW BEST:: SOT 107499582 SOS 34107951 HAS SOPS 34107951 HAS SOUS 12070503 HAS SOUPS 12070503 WITH SCORE 1.2104610951E7
AT ITER 5782 NEW BEST:: SOT 107499342 SOS 34105551 HAS SOPS 34105551 HAS SOUS 12070023 HAS SOUPS 12070023 WITH SCORE 1.2104128551E7
AT ITER 5803 NEW BEST:: SOT 107499342 SOS 34103791 HAS SOPS 34103791 HAS SOUS 12069671 HAS SOUPS 12069671 WITH SCORE 1.2103774791E7
AT ITER 5841 NEW BEST:: SOT 107499342 SOS 34101131 HAS SOPS 34101131 HAS SOUS 12069139 HAS SOUPS 12069139 WITH SCORE 1.2103240131E7
AT ITER 5851 NEW BEST:: SOT 107499342 SOS 34104627 HAS SOPS 34104627 HAS SOUS 12067827 HAS SOUPS 12067827 WITH SCORE 1.2101931627E7
AT ITER 5860 NEW BEST:: SOT 107498843 SOS 34104128 HAS SOPS 34104128 HAS SOUS 12066829 HAS SOUPS 12066829 WITH SCORE 1.2100933128E7
AT ITER 5881 NEW BEST:: SOT 107498843 SOS 34104128 HAS SOPS 34104128 HAS SOUS 12066817 HAS SOUPS 12066817 WITH SCORE 1.2100921128E7
AT ITER 5898 NEW BEST:: SOT 107498843 SOS 34108376 HAS SOPS 34108376 HAS SOUS 12065233 HAS SOUPS 12065233 WITH SCORE 1.2099341376E7
AT ITER 5916 NEW BEST:: SOT 107498771 SOS 34108304 HAS SOPS 34108304 HAS SOUS 12065161 HAS SOUPS 12065161 WITH SCORE 1.2099269304E7
AT ITER 5934 NEW BEST:: SOT 107498771 SOS 34106934 HAS SOPS 34106934 HAS SOUS 12064887 HAS SOUPS 12064887 WITH SCORE 1.2098993934E7
AT ITER 5949 NEW BEST:: SOT 107498771 SOS 34106934 HAS SOPS 34106934 HAS SOUS 12064785 HAS SOUPS 12064785 WITH SCORE 1.2098891934E7
AT ITER 5954 NEW BEST:: SOT 107498539 SOS 34106470 HAS SOPS 34106470 HAS SOUS 12064321 HAS SOUPS 12064321 WITH SCORE 1.209842747E7
AT ITER 5959 NEW BEST:: SOT 107497477 SOS 34105408 HAS SOPS 34105408 HAS SOUS 12063259 HAS SOUPS 12063259 WITH SCORE 1.2097364408E7
AT ITER 5982 NEW BEST:: SOT 107493598 SOS 34097219 HAS SOPS 34097219 HAS SOUS 12058518 HAS SOUPS 12058518 WITH SCORE 1.2092615219E7
AT ITER 5984 NEW BEST:: SOT 107493598 SOS 34097219 HAS SOPS 34097219 HAS SOUS 12058408 HAS SOUPS 12058408 WITH SCORE 1.2092505219E7
AT ITER 5988 NEW BEST:: SOT 107492431 SOS 34087252 HAS SOPS 34087252 HAS SOUS 12055481 HAS SOUPS 12055481 WITH SCORE 1.2089568252E7
AT ITER 5993 NEW BEST:: SOT 107492431 SOS 34086777 HAS SOPS 34086777 HAS SOUS 12055006 HAS SOUPS 12055006 WITH SCORE 1.2089092777E7
AT ITER 5999 NEW BEST:: SOT 107492431 SOS 34088694 HAS SOPS 34088694 HAS SOUS 12053302 HAS SOUPS 12053302 WITH SCORE 1.2087390694E7
AT ITER 6003 NEW BEST:: SOT 107492431 SOS 34088798 HAS SOPS 34088798 HAS SOUS 12053185 HAS SOUPS 12053185 WITH SCORE 1.2087273798E7
AT ITER 6016 NEW BEST:: SOT 107496884 SOS 34099776 HAS SOPS 34099776 HAS SOUS 12051989 HAS SOUPS 12051989 WITH SCORE 1.2086088776E7
AT ITER 6053 NEW BEST:: SOT 107496884 SOS 34101603 HAS SOPS 34101603 HAS SOUS 12050365 HAS SOUPS 12050365 WITH SCORE 1.2084466603E7
AT ITER 6059 NEW BEST:: SOT 107496992 SOS 34098759 HAS SOPS 34098759 HAS SOUS 12050241 HAS SOUPS 12050241 WITH SCORE 1.2084339759E7
AT ITER 6062 NEW BEST:: SOT 107490539 SOS 34091589 HAS SOPS 34091589 HAS SOUS 12039034 HAS SOUPS 12039034 WITH SCORE 1.2073125589E7
AT ITER 6063 NEW BEST:: SOT 107492729 SOS 34097721 HAS SOPS 34097721 HAS SOUS 12038889 HAS SOUPS 12038889 WITH SCORE 1.2072986721E7
AT ITER 6103 NEW BEST:: SOT 107492355 SOS 34096973 HAS SOPS 34096973 HAS SOUS 12035002 HAS SOUPS 12035002 WITH SCORE 1.2069098973E7
AT ITER 6119 NEW BEST:: SOT 107497580 SOS 34111603 HAS SOPS 34111603 HAS SOUS 12033744 HAS SOUPS 12033744 WITH SCORE 1.2067855603E7
AT ITER 6126 NEW BEST:: SOT 107497580 SOS 34111161 HAS SOPS 34111161 HAS SOUS 12033302 HAS SOUPS 12033302 WITH SCORE 1.2067413161E7
AT ITER 6175 NEW BEST:: SOT 107499893 SOS 34115164 HAS SOPS 34115164 HAS SOUS 12029863 HAS SOUPS 12029863 WITH SCORE 1.2063978164E7
AT ITER 6206 NEW BEST:: SOT 107491973 SOS 34107535 HAS SOPS 34107535 HAS SOUS 12023186 HAS SOUPS 12023186 WITH SCORE 1.2057293535E7
AT ITER 6210 NEW BEST:: SOT 107492039 SOS 34100341 HAS SOPS 34100341 HAS SOUS 12022504 HAS SOUPS 12022504 WITH SCORE 1.2056604341E7
AT ITER 6211 NEW BEST:: SOT 107488703 SOS 34097005 HAS SOPS 34097005 HAS SOUS 12019168 HAS SOUPS 12019168 WITH SCORE 1.2053265005E7
AT ITER 6224 NEW BEST:: SOT 107488703 SOS 34096701 HAS SOPS 34096701 HAS SOUS 12018864 HAS SOUPS 12018864 WITH SCORE 1.2052960701E7
AT ITER 6226 NEW BEST:: SOT 107487775 SOS 34095773 HAS SOPS 34095773 HAS SOUS 12017936 HAS SOUPS 12017936 WITH SCORE 1.2052031773E7
AT ITER 6239 NEW BEST:: SOT 107487775 SOS 34095773 HAS SOPS 34095773 HAS SOUS 12017814 HAS SOUPS 12017814 WITH SCORE 1.2051909773E7
AT ITER 6295 NEW BEST:: SOT 107487190 SOS 34089923 HAS SOPS 34089923 HAS SOUS 12016644 HAS SOUPS 12016644 WITH SCORE 1.2050733923E7
AT ITER 6322 NEW BEST:: SOT 107487721 SOS 34090864 HAS SOPS 34090864 HAS SOUS 12015825 HAS SOUPS 12015825 WITH SCORE 1.2049915864E7
AT ITER 6330 NEW BEST:: SOT 107487721 SOS 34090081 HAS SOPS 34090081 HAS SOUS 12014114 HAS SOUPS 12014114 WITH SCORE 1.2048204081E7
AT ITER 6331 NEW BEST:: SOT 107485651 SOS 34087781 HAS SOPS 34087781 HAS SOUS 12011238 HAS SOUPS 12011238 WITH SCORE 1.2045325781E7
AT ITER 6382 NEW BEST:: SOT 107483739 SOS 34085869 HAS SOPS 34085869 HAS SOUS 12007422 HAS SOUPS 12007422 WITH SCORE 1.2041507869E7
AT ITER 6391 NEW BEST:: SOT 107483739 SOS 34082312 HAS SOPS 34082312 HAS SOUS 12007185 HAS SOUPS 12007185 WITH SCORE 1.2041267312E7
AT ITER 6401 NEW BEST:: SOT 107483739 SOS 34083019 HAS SOPS 34083019 HAS SOUS 12006988 HAS SOUPS 12006988 WITH SCORE 1.2041071019E7
AT ITER 6404 NEW BEST:: SOT 107482875 SOS 34081905 HAS SOPS 34081905 HAS SOUS 12006074 HAS SOUPS 12006074 WITH SCORE 1.2040155905E7
AT ITER 6427 NEW BEST:: SOT 107482875 SOS 34077995 HAS SOPS 34077995 HAS SOUS 12005292 HAS SOUPS 12005292 WITH SCORE 1.2039369995E7
AT ITER 6509 NEW BEST:: SOT 107482645 SOS 34077765 HAS SOPS 34077765 HAS SOUS 12005062 HAS SOUPS 12005062 WITH SCORE 1.2039139765E7
AT ITER 6550 NEW BEST:: SOT 107482645 SOS 34076388 HAS SOPS 34076388 HAS SOUS 12004909 HAS SOUPS 12004909 WITH SCORE 1.2038985388E7
AT ITER 6557 NEW BEST:: SOT 107482196 SOS 34071898 HAS SOPS 34071898 HAS SOUS 12004011 HAS SOUPS 12004011 WITH SCORE 1.2038082898E7
AT ITER 6577 NEW BEST:: SOT 107481631 SOS 34066248 HAS SOPS 34066248 HAS SOUS 12002881 HAS SOUPS 12002881 WITH SCORE 1.2036947248E7
AT ITER 6584 NEW BEST:: SOT 107473847 SOS 34047344 HAS SOPS 34047344 HAS SOUS 11999260 HAS SOUPS 11999260 WITH SCORE 1.2033307344E7
AT ITER 6592 NEW BEST:: SOT 107473847 SOS 34047344 HAS SOPS 34047344 HAS SOUS 11999241 HAS SOUPS 11999241 WITH SCORE 1.2033288344E7
AT ITER 6593 NEW BEST:: SOT 107473847 SOS 34047344 HAS SOPS 34047344 HAS SOUS 11999153 HAS SOUPS 11999153 WITH SCORE 1.2033200344E7
AT ITER 6597 NEW BEST:: SOT 107472848 SOS 34046234 HAS SOPS 34046234 HAS SOUS 11998043 HAS SOUPS 11998043 WITH SCORE 1.2032089234E7
AT ITER 6607 NEW BEST:: SOT 107469914 SOS 34040366 HAS SOPS 34040366 HAS SOUS 11994783 HAS SOUPS 11994783 WITH SCORE 1.2028823366E7
AT ITER 6619 NEW BEST:: SOT 107469034 SOS 34031127 HAS SOPS 34031127 HAS SOUS 11992192 HAS SOUPS 11992192 WITH SCORE 1.2026223127E7
AT ITER 6631 NEW BEST:: SOT 107469034 SOS 34031127 HAS SOPS 34031127 HAS SOUS 11991512 HAS SOUPS 11991512 WITH SCORE 1.2025543127E7
AT ITER 6632 NEW BEST:: SOT 107465579 SOS 34026097 HAS SOPS 34026097 HAS SOUS 11987882 HAS SOUPS 11987882 WITH SCORE 1.2021908097E7
AT ITER 6643 NEW BEST:: SOT 107466101 SOS 34025964 HAS SOPS 34025964 HAS SOUS 11982250 HAS SOUPS 11982250 WITH SCORE 1.2016275964E7
AT ITER 6656 NEW BEST:: SOT 107465899 SOS 34023610 HAS SOPS 34023610 HAS SOUS 11981512 HAS SOUPS 11981512 WITH SCORE 1.201553561E7
AT ITER 6665 NEW BEST:: SOT 107466610 SOS 34047803 HAS SOPS 34047803 HAS SOUS 11980677 HAS SOUPS 11980677 WITH SCORE 1.2014724803E7
AT ITER 6666 NEW BEST:: SOT 107466603 SOS 34050917 HAS SOPS 34050917 HAS SOUS 11980663 HAS SOUPS 11980663 WITH SCORE 1.2014713917E7
AT ITER 6667 NEW BEST:: SOT 107465559 SOS 34048713 HAS SOPS 34048713 HAS SOUS 11979387 HAS SOUPS 11979387 WITH SCORE 1.2013435713E7
AT ITER 6674 NEW BEST:: SOT 107465660 SOS 34048814 HAS SOPS 34048814 HAS SOUS 11979185 HAS SOUPS 11979185 WITH SCORE 1.2013233814E7
AT ITER 6676 NEW BEST:: SOT 107465464 SOS 34049974 HAS SOPS 34049974 HAS SOUS 11978793 HAS SOUPS 11978793 WITH SCORE 1.2012842974E7
AT ITER 6678 NEW BEST:: SOT 107465464 SOS 34049774 HAS SOPS 34049774 HAS SOUS 11978753 HAS SOUPS 11978753 WITH SCORE 1.2012802774E7
AT ITER 6689 NEW BEST:: SOT 107461783 SOS 34045684 HAS SOPS 34045684 HAS SOUS 11974663 HAS SOUPS 11974663 WITH SCORE 1.2008708684E7
AT ITER 6733 NEW BEST:: SOT 107459452 SOS 34040763 HAS SOPS 34040763 HAS SOUS 11971814 HAS SOUPS 11971814 WITH SCORE 1.2005854763E7
AT ITER 6743 NEW BEST:: SOT 107454529 SOS 34035293 HAS SOPS 34035293 HAS SOUS 11963076 HAS SOUPS 11963076 WITH SCORE 1.1997111293E7
AT ITER 6757 NEW BEST:: SOT 107453896 SOS 34034027 HAS SOPS 34034027 HAS SOUS 11959418 HAS SOUPS 11959418 WITH SCORE 1.1993452027E7
AT ITER 6789 NEW BEST:: SOT 107453895 SOS 34034025 HAS SOPS 34034025 HAS SOUS 11959408 HAS SOUPS 11959408 WITH SCORE 1.1993442025E7
AT ITER 6791 NEW BEST:: SOT 107453895 SOS 34031049 HAS SOPS 34031049 HAS SOUS 11959408 HAS SOUPS 11959408 WITH SCORE 1.1993439049E7
AT ITER 6792 NEW BEST:: SOT 107453605 SOS 34030469 HAS SOPS 34030469 HAS SOUS 11956908 HAS SOUPS 11956908 WITH SCORE 1.1990938469E7
AT ITER 6796 NEW BEST:: SOT 107453605 SOS 34031253 HAS SOPS 34031253 HAS SOUS 11956117 HAS SOUPS 11956117 WITH SCORE 1.1990148253E7
AT ITER 6798 NEW BEST:: SOT 107453605 SOS 34032594 HAS SOPS 34032594 HAS SOUS 11955074 HAS SOUPS 11955074 WITH SCORE 1.1989106594E7
AT ITER 6818 NEW BEST:: SOT 107452869 SOS 34031858 HAS SOPS 34031858 HAS SOUS 11954338 HAS SOUPS 11954338 WITH SCORE 1.1988369858E7
AT ITER 6828 NEW BEST:: SOT 107452869 SOS 34031858 HAS SOPS 34031858 HAS SOUS 11953836 HAS SOUPS 11953836 WITH SCORE 1.1987867858E7
AT ITER 6948 NEW BEST:: SOT 107451989 SOS 34022072 HAS SOPS 34022072 HAS SOUS 11951090 HAS SOUPS 11951090 WITH SCORE 1.1985112072E7
AT ITER 6958 NEW BEST:: SOT 107446253 SOS 34016336 HAS SOPS 34016336 HAS SOUS 11945354 HAS SOUPS 11945354 WITH SCORE 1.1979370336E7
AT ITER 6969 NEW BEST:: SOT 107445373 SOS 34015546 HAS SOPS 34015546 HAS SOUS 11944484 HAS SOUPS 11944484 WITH SCORE 1.1978499546E7
AT ITER 6998 NEW BEST:: SOT 107445581 SOS 34020706 HAS SOPS 34020706 HAS SOUS 11941356 HAS SOUPS 11941356 WITH SCORE 1.1975376706E7
AT ITER 7009 NEW BEST:: SOT 107442493 SOS 34017618 HAS SOPS 34017618 HAS SOUS 11938268 HAS SOUPS 11938268 WITH SCORE 1.1972285618E7
AT ITER 7013 NEW BEST:: SOT 107439739 SOS 34014558 HAS SOPS 34014558 HAS SOUS 11933600 HAS SOUPS 11933600 WITH SCORE 1.1967614558E7
AT ITER 7032 NEW BEST:: SOT 107438997 SOS 34013074 HAS SOPS 34013074 HAS SOUS 11926686 HAS SOUPS 11926686 WITH SCORE 1.1960699074E7
AT ITER 7070 NEW BEST:: SOT 107438310 SOS 34006204 HAS SOPS 34006204 HAS SOUS 11925312 HAS SOUPS 11925312 WITH SCORE 1.1959318204E7
AT ITER 7088 NEW BEST:: SOT 107438310 SOS 34002793 HAS SOPS 34002793 HAS SOUS 11924933 HAS SOUPS 11924933 WITH SCORE 1.1958935793E7
AT ITER 7092 NEW BEST:: SOT 107437582 SOS 33994938 HAS SOPS 33994938 HAS SOUS 11922766 HAS SOUPS 11922766 WITH SCORE 1.1956760938E7
AT ITER 7104 NEW BEST:: SOT 107430076 SOS 33986598 HAS SOPS 33986598 HAS SOUS 11910495 HAS SOUPS 11910495 WITH SCORE 1.1944481598E7
AT ITER 7139 NEW BEST:: SOT 107430076 SOS 33986598 HAS SOPS 33986598 HAS SOUS 11910119 HAS SOUPS 11910119 WITH SCORE 1.1944105598E7
AT ITER 7142 NEW BEST:: SOT 107430232 SOS 33981762 HAS SOPS 33981762 HAS SOUS 11909859 HAS SOUPS 11909859 WITH SCORE 1.1943840762E7
AT ITER 7171 NEW BEST:: SOT 107430232 SOS 33978132 HAS SOPS 33978132 HAS SOUS 11909133 HAS SOUPS 11909133 WITH SCORE 1.1943111132E7
AT ITER 7184 NEW BEST:: SOT 107429860 SOS 33974412 HAS SOPS 33974412 HAS SOUS 11908389 HAS SOUPS 11908389 WITH SCORE 1.1942363412E7
AT ITER 7234 NEW BEST:: SOT 107429506 SOS 33970872 HAS SOPS 33970872 HAS SOUS 11907681 HAS SOUPS 11907681 WITH SCORE 1.1941651872E7
AT ITER 7260 NEW BEST:: SOT 107421586 SOS 33954782 HAS SOPS 33954782 HAS SOUS 11904008 HAS SOUPS 11904008 WITH SCORE 1.1937962782E7
AT ITER 7293 NEW BEST:: SOT 107421544 SOS 33954740 HAS SOPS 33954740 HAS SOUS 11904008 HAS SOUPS 11904008 WITH SCORE 1.193796274E7
AT ITER 7309 NEW BEST:: SOT 107422635 SOS 33956922 HAS SOPS 33956922 HAS SOUS 11901219 HAS SOUPS 11901219 WITH SCORE 1.1935175922E7
AT ITER 7375 NEW BEST:: SOT 107416671 SOS 33944994 HAS SOPS 33944994 HAS SOUS 11896717 HAS SOUPS 11896717 WITH SCORE 1.1930661994E7
AT ITER 7384 NEW BEST:: SOT 107416671 SOS 33944994 HAS SOPS 33944994 HAS SOUS 11896629 HAS SOUPS 11896629 WITH SCORE 1.1930573994E7
AT ITER 7425 NEW BEST:: SOT 107416516 SOS 33944839 HAS SOPS 33944839 HAS SOUS 11896474 HAS SOUPS 11896474 WITH SCORE 1.1930418839E7
AT ITER 7461 NEW BEST:: SOT 107414980 SOS 33943303 HAS SOPS 33943303 HAS SOUS 11894938 HAS SOUPS 11894938 WITH SCORE 1.1928881303E7
AT ITER 7475 NEW BEST:: SOT 107414578 SOS 33939283 HAS SOPS 33939283 HAS SOUS 11894134 HAS SOUPS 11894134 WITH SCORE 1.1928073283E7
AT ITER 7482 NEW BEST:: SOT 107414578 SOS 33939562 HAS SOPS 33939562 HAS SOUS 11893886 HAS SOUPS 11893886 WITH SCORE 1.1927825562E7
AT ITER 7489 NEW BEST:: SOT 107411698 SOS 33936362 HAS SOPS 33936362 HAS SOUS 11890686 HAS SOUPS 11890686 WITH SCORE 1.1924622362E7
AT ITER 7511 NEW BEST:: SOT 107411698 SOS 33938074 HAS SOPS 33938074 HAS SOUS 11888974 HAS SOUPS 11888974 WITH SCORE 1.1922912074E7
AT ITER 7546 NEW BEST:: SOT 107411544 SOS 33937920 HAS SOPS 33937920 HAS SOUS 11888820 HAS SOUPS 11888820 WITH SCORE 1.192275792E7
AT ITER 7577 NEW BEST:: SOT 107411544 SOS 33937604 HAS SOPS 33937604 HAS SOUS 11887736 HAS SOUPS 11887736 WITH SCORE 1.1921673604E7
AT ITER 7599 NEW BEST:: SOT 107406909 SOS 33932454 HAS SOPS 33932454 HAS SOUS 11877558 HAS SOUPS 11877558 WITH SCORE 1.1911490454E7
AT ITER 7643 NEW BEST:: SOT 107406754 SOS 33930749 HAS SOPS 33930749 HAS SOUS 11877093 HAS SOUPS 11877093 WITH SCORE 1.1911023749E7
AT ITER 7649 NEW BEST:: SOT 107406754 SOS 33930749 HAS SOPS 33930749 HAS SOUS 11876490 HAS SOUPS 11876490 WITH SCORE 1.1910420749E7
AT ITER 7655 NEW BEST:: SOT 107405611 SOS 33927868 HAS SOPS 33927868 HAS SOUS 11875509 HAS SOUPS 11875509 WITH SCORE 1.1909436868E7
AT ITER 7684 NEW BEST:: SOT 107405546 SOS 33927803 HAS SOPS 33927803 HAS SOUS 11875509 HAS SOUPS 11875509 WITH SCORE 1.1909436803E7
AT ITER 7699 NEW BEST:: SOT 107405546 SOS 33925283 HAS SOPS 33925283 HAS SOUS 11875229 HAS SOUPS 11875229 WITH SCORE 1.1909154283E7
AT ITER 7701 NEW BEST:: SOT 107405227 SOS 33924964 HAS SOPS 33924964 HAS SOUS 11874910 HAS SOUPS 11874910 WITH SCORE 1.1908834964E7
AT ITER 7702 NEW BEST:: SOT 107405227 SOS 33924964 HAS SOPS 33924964 HAS SOUS 11874484 HAS SOUPS 11874484 WITH SCORE 1.1908408964E7
AT ITER 7724 NEW BEST:: SOT 107405227 SOS 33925012 HAS SOPS 33925012 HAS SOUS 11874436 HAS SOUPS 11874436 WITH SCORE 1.1908361012E7
AT ITER 7726 NEW BEST:: SOT 107405049 SOS 33923232 HAS SOPS 33923232 HAS SOUS 11874080 HAS SOUPS 11874080 WITH SCORE 1.1908003232E7
AT ITER 7732 NEW BEST:: SOT 107405049 SOS 33923232 HAS SOPS 33923232 HAS SOUS 11870016 HAS SOUPS 11870016 WITH SCORE 1.1903939232E7
AT ITER 7735 NEW BEST:: SOT 107405049 SOS 33921942 HAS SOPS 33921942 HAS SOUS 11869758 HAS SOUPS 11869758 WITH SCORE 1.1903679942E7
AT ITER 7741 NEW BEST:: SOT 107402872 SOS 33919508 HAS SOPS 33919508 HAS SOUS 11867859 HAS SOUPS 11867859 WITH SCORE 1.1901778508E7
AT ITER 7756 NEW BEST:: SOT 107402872 SOS 33914306 HAS SOPS 33914306 HAS SOUS 11867281 HAS SOUPS 11867281 WITH SCORE 1.1901195306E7
AT ITER 7766 NEW BEST:: SOT 107402325 SOS 33908836 HAS SOPS 33908836 HAS SOUS 11866187 HAS SOUPS 11866187 WITH SCORE 1.1900095836E7
AT ITER 7785 NEW BEST:: SOT 107401985 SOS 33908496 HAS SOPS 33908496 HAS SOUS 11865847 HAS SOUPS 11865847 WITH SCORE 1.1899755496E7
AT ITER 7790 NEW BEST:: SOT 107401985 SOS 33908338 HAS SOPS 33908338 HAS SOUS 11865689 HAS SOUPS 11865689 WITH SCORE 1.1899597338E7
AT ITER 7799 NEW BEST:: SOT 107401985 SOS 33907903 HAS SOPS 33907903 HAS SOUS 11865254 HAS SOUPS 11865254 WITH SCORE 1.1899161903E7
AT ITER 7803 NEW BEST:: SOT 107401442 SOS 33906817 HAS SOPS 33906817 HAS SOUS 11864168 HAS SOUPS 11864168 WITH SCORE 1.1898074817E7
AT ITER 7806 NEW BEST:: SOT 107401442 SOS 33906817 HAS SOPS 33906817 HAS SOUS 11864151 HAS SOUPS 11864151 WITH SCORE 1.1898057817E7
AT ITER 7817 NEW BEST:: SOT 107400371 SOS 33905627 HAS SOPS 33905627 HAS SOUS 11862961 HAS SOUPS 11862961 WITH SCORE 1.1896866627E7
AT ITER 7818 NEW BEST:: SOT 107398292 SOS 33903317 HAS SOPS 33903317 HAS SOUS 11858562 HAS SOUPS 11858562 WITH SCORE 1.1892465317E7
AT ITER 7825 NEW BEST:: SOT 107398084 SOS 33903109 HAS SOPS 33903109 HAS SOUS 11858354 HAS SOUPS 11858354 WITH SCORE 1.1892257109E7
AT ITER 7844 NEW BEST:: SOT 107395636 SOS 33897977 HAS SOPS 33897977 HAS SOUS 11855646 HAS SOUPS 11855646 WITH SCORE 1.1889543977E7
AT ITER 7845 NEW BEST:: SOT 107387716 SOS 33881340 HAS SOPS 33881340 HAS SOUS 11846796 HAS SOUPS 11846796 WITH SCORE 1.188067734E7
AT ITER 7855 NEW BEST:: SOT 107387632 SOS 33885556 HAS SOPS 33885556 HAS SOUS 11841312 HAS SOUPS 11841312 WITH SCORE 1.1875197556E7
AT ITER 7878 NEW BEST:: SOT 107381935 SOS 33873529 HAS SOPS 33873529 HAS SOUS 11834349 HAS SOUPS 11834349 WITH SCORE 1.1868222529E7
AT ITER 7902 NEW BEST:: SOT 107381935 SOS 33871054 HAS SOPS 33871054 HAS SOUS 11834074 HAS SOUPS 11834074 WITH SCORE 1.1867945054E7
AT ITER 7904 NEW BEST:: SOT 107379757 SOS 33868876 HAS SOPS 33868876 HAS SOUS 11831896 HAS SOUPS 11831896 WITH SCORE 1.1865764876E7
AT ITER 7908 NEW BEST:: SOT 107374456 SOS 33858274 HAS SOPS 33858274 HAS SOUS 11826006 HAS SOUPS 11826006 WITH SCORE 1.1859864274E7
AT ITER 7912 NEW BEST:: SOT 107374135 SOS 33854605 HAS SOPS 33854605 HAS SOUS 11824905 HAS SOUPS 11824905 WITH SCORE 1.1858759605E7
AT ITER 7929 NEW BEST:: SOT 107373882 SOS 33854352 HAS SOPS 33854352 HAS SOUS 11824374 HAS SOUPS 11824374 WITH SCORE 1.1858228352E7
AT ITER 7932 NEW BEST:: SOT 107369895 SOS 33845692 HAS SOPS 33845692 HAS SOUS 11819474 HAS SOUPS 11819474 WITH SCORE 1.1853319692E7
AT ITER 7933 NEW BEST:: SOT 107369674 SOS 33848610 HAS SOPS 33848610 HAS SOUS 11813494 HAS SOUPS 11813494 WITH SCORE 1.184734261E7
AT ITER 7988 NEW BEST:: SOT 107369674 SOS 33848610 HAS SOPS 33848610 HAS SOUS 11813357 HAS SOUPS 11813357 WITH SCORE 1.184720561E7
AT ITER 8009 NEW BEST:: SOT 107369803 SOS 33848739 HAS SOPS 33848739 HAS SOUS 11813100 HAS SOUPS 11813100 WITH SCORE 1.1846948739E7
AT ITER 8012 NEW BEST:: SOT 107369803 SOS 33852492 HAS SOPS 33852492 HAS SOUS 11809764 HAS SOUPS 11809764 WITH SCORE 1.1843616492E7
AT ITER 8016 NEW BEST:: SOT 107369299 SOS 33846948 HAS SOPS 33846948 HAS SOUS 11808252 HAS SOUPS 11808252 WITH SCORE 1.1842098948E7
AT ITER 8021 NEW BEST:: SOT 107369099 SOS 33846748 HAS SOPS 33846748 HAS SOUS 11807852 HAS SOUPS 11807852 WITH SCORE 1.1841698748E7
AT ITER 8033 NEW BEST:: SOT 107368098 SOS 33842338 HAS SOPS 33842338 HAS SOUS 11806834 HAS SOUPS 11806834 WITH SCORE 1.1840676338E7
AT ITER 8038 NEW BEST:: SOT 107367926 SOS 33840091 HAS SOPS 33840091 HAS SOUS 11805963 HAS SOUPS 11805963 WITH SCORE 1.1839803091E7
AT ITER 8040 NEW BEST:: SOT 107367926 SOS 33840091 HAS SOPS 33840091 HAS SOUS 11805787 HAS SOUPS 11805787 WITH SCORE 1.1839627091E7
AT ITER 8077 NEW BEST:: SOT 107367926 SOS 33842883 HAS SOPS 33842883 HAS SOUS 11802737 HAS SOUPS 11802737 WITH SCORE 1.1836579883E7
AT ITER 8081 NEW BEST:: SOT 107367926 SOS 33839773 HAS SOPS 33839773 HAS SOUS 11802115 HAS SOUPS 11802115 WITH SCORE 1.1835954773E7
AT ITER 8083 NEW BEST:: SOT 107367465 SOS 33840979 HAS SOPS 33840979 HAS SOUS 11801753 HAS SOUPS 11801753 WITH SCORE 1.1835593979E7
AT ITER 8087 NEW BEST:: SOT 107367465 SOS 33840469 HAS SOPS 33840469 HAS SOUS 11796674 HAS SOUPS 11796674 WITH SCORE 1.1830514469E7
AT ITER 8101 NEW BEST:: SOT 107366737 SOS 33836412 HAS SOPS 33836412 HAS SOUS 11794929 HAS SOUPS 11794929 WITH SCORE 1.1828765412E7
AT ITER 8112 NEW BEST:: SOT 107364857 SOS 33834532 HAS SOPS 33834532 HAS SOUS 11793049 HAS SOUPS 11793049 WITH SCORE 1.1826883532E7
AT ITER 8122 NEW BEST:: SOT 107364857 SOS 33834532 HAS SOPS 33834532 HAS SOUS 11790896 HAS SOUPS 11790896 WITH SCORE 1.1824730532E7
AT ITER 8140 NEW BEST:: SOT 107364299 SOS 33833912 HAS SOPS 33833912 HAS SOUS 11790276 HAS SOUPS 11790276 WITH SCORE 1.1824109912E7
AT ITER 8201 NEW BEST:: SOT 107370968 SOS 33843921 HAS SOPS 33843921 HAS SOUS 11789260 HAS SOUPS 11789260 WITH SCORE 1.1823103921E7
AT ITER 8207 NEW BEST:: SOT 107370717 SOS 33843670 HAS SOPS 33843670 HAS SOUS 11789259 HAS SOUPS 11789259 WITH SCORE 1.182310267E7
AT ITER 8217 NEW BEST:: SOT 107370189 SOS 33838390 HAS SOPS 33838390 HAS SOUS 11788203 HAS SOUPS 11788203 WITH SCORE 1.182204139E7
AT ITER 8223 NEW BEST:: SOT 107370161 SOS 33838362 HAS SOPS 33838362 HAS SOUS 11788175 HAS SOUPS 11788175 WITH SCORE 1.1822013362E7
AT ITER 8243 NEW BEST:: SOT 107370088 SOS 33838216 HAS SOPS 33838216 HAS SOUS 11787372 HAS SOUPS 11787372 WITH SCORE 1.1821210216E7
AT ITER 8263 NEW BEST:: SOT 107370088 SOS 33829736 HAS SOPS 33829736 HAS SOUS 11785676 HAS SOUPS 11785676 WITH SCORE 1.1819505736E7
AT ITER 8281 NEW BEST:: SOT 107369687 SOS 33829070 HAS SOPS 33829070 HAS SOUS 11781245 HAS SOUPS 11781245 WITH SCORE 1.181507407E7
AT ITER 8303 NEW BEST:: SOT 107369537 SOS 33828920 HAS SOPS 33828920 HAS SOUS 11780819 HAS SOUPS 11780819 WITH SCORE 1.181464792E7
AT ITER 8332 NEW BEST:: SOT 107369788 SOS 33824629 HAS SOPS 33824629 HAS SOUS 11780744 HAS SOUPS 11780744 WITH SCORE 1.1814568629E7
AT ITER 8337 NEW BEST:: SOT 107369597 SOS 33822719 HAS SOPS 33822719 HAS SOUS 11780362 HAS SOUPS 11780362 WITH SCORE 1.1814184719E7
AT ITER 8340 NEW BEST:: SOT 107372729 SOS 33827452 HAS SOPS 33827452 HAS SOUS 11776578 HAS SOUPS 11776578 WITH SCORE 1.1810405452E7
AT ITER 8342 NEW BEST:: SOT 107372236 SOS 33826959 HAS SOPS 33826959 HAS SOUS 11775408 HAS SOUPS 11775408 WITH SCORE 1.1809234959E7
AT ITER 8355 NEW BEST:: SOT 107365041 SOS 33817777 HAS SOPS 33817777 HAS SOUS 11768724 HAS SOUPS 11768724 WITH SCORE 1.1802541777E7
AT ITER 8374 NEW BEST:: SOT 107361549 SOS 33810405 HAS SOPS 33810405 HAS SOUS 11764456 HAS SOUPS 11764456 WITH SCORE 1.1798266405E7
AT ITER 8384 NEW BEST:: SOT 107360904 SOS 33809760 HAS SOPS 33809760 HAS SOUS 11764343 HAS SOUPS 11764343 WITH SCORE 1.179815276E7
AT ITER 8414 NEW BEST:: SOT 107360472 SOS 33809328 HAS SOPS 33809328 HAS SOUS 11763911 HAS SOUPS 11763911 WITH SCORE 1.1797720328E7
AT ITER 8440 NEW BEST:: SOT 107360472 SOS 33809296 HAS SOPS 33809296 HAS SOUS 11763879 HAS SOUPS 11763879 WITH SCORE 1.1797688296E7
AT ITER 8466 NEW BEST:: SOT 107360472 SOS 33803236 HAS SOPS 33803236 HAS SOUS 11762667 HAS SOUPS 11762667 WITH SCORE 1.1796470236E7
AT ITER 8475 NEW BEST:: SOT 107360203 SOS 33802967 HAS SOPS 33802967 HAS SOUS 11762398 HAS SOUPS 11762398 WITH SCORE 1.1796200967E7
AT ITER 8478 NEW BEST:: SOT 107353651 SOS 33796478 HAS SOPS 33796478 HAS SOUS 11756413 HAS SOUPS 11756413 WITH SCORE 1.1790209478E7
AT ITER 8498 NEW BEST:: SOT 107353651 SOS 33796108 HAS SOPS 33796108 HAS SOUS 11752891 HAS SOUPS 11752891 WITH SCORE 1.1786687108E7
AT ITER 8502 NEW BEST:: SOT 107352404 SOS 33786061 HAS SOPS 33786061 HAS SOUS 11749884 HAS SOUPS 11749884 WITH SCORE 1.1783670061E7
AT ITER 8503 NEW BEST:: SOT 107352195 SOS 33785852 HAS SOPS 33785852 HAS SOUS 11749830 HAS SOUPS 11749830 WITH SCORE 1.1783615852E7
AT ITER 8506 NEW BEST:: SOT 107352195 SOS 33786988 HAS SOPS 33786988 HAS SOUS 11748552 HAS SOUPS 11748552 WITH SCORE 1.1782338988E7
AT ITER 8511 NEW BEST:: SOT 107352195 SOS 33786988 HAS SOPS 33786988 HAS SOUS 11747144 HAS SOUPS 11747144 WITH SCORE 1.1780930988E7
AT ITER 8513 NEW BEST:: SOT 107349795 SOS 33784588 HAS SOPS 33784588 HAS SOUS 11744744 HAS SOUPS 11744744 WITH SCORE 1.1778528588E7
AT ITER 8514 NEW BEST:: SOT 107349795 SOS 33781378 HAS SOPS 33781378 HAS SOUS 11744102 HAS SOUPS 11744102 WITH SCORE 1.1777883378E7
AT ITER 8524 NEW BEST:: SOT 107349694 SOS 33781277 HAS SOPS 33781277 HAS SOUS 11744102 HAS SOUPS 11744102 WITH SCORE 1.1777883277E7
AT ITER 8545 NEW BEST:: SOT 107345014 SOS 33771397 HAS SOPS 33771397 HAS SOUS 11738382 HAS SOUPS 11738382 WITH SCORE 1.1772153397E7
AT ITER 8585 NEW BEST:: SOT 107345014 SOS 33765007 HAS SOPS 33765007 HAS SOUS 11737104 HAS SOUPS 11737104 WITH SCORE 1.1770869007E7
AT ITER 8589 NEW BEST:: SOT 107339155 SOS 33753289 HAS SOPS 33753289 HAS SOUS 11730594 HAS SOUPS 11730594 WITH SCORE 1.1764347289E7
AT ITER 8593 NEW BEST:: SOT 107339155 SOS 33754873 HAS SOPS 33754873 HAS SOUS 11728812 HAS SOUPS 11728812 WITH SCORE 1.1762566873E7
AT ITER 8636 NEW BEST:: SOT 107335879 SOS 33751233 HAS SOPS 33751233 HAS SOUS 11722936 HAS SOUPS 11722936 WITH SCORE 1.1756687233E7
AT ITER 8642 NEW BEST:: SOT 107327959 SOS 33738913 HAS SOPS 33738913 HAS SOUS 11715018 HAS SOUPS 11715018 WITH SCORE 1.1748756913E7
AT ITER 8652 NEW BEST:: SOT 107326321 SOS 33737093 HAS SOPS 33737093 HAS SOUS 11711742 HAS SOUPS 11711742 WITH SCORE 1.1745479093E7
AT ITER 8673 NEW BEST:: SOT 107326321 SOS 33737093 HAS SOPS 33737093 HAS SOUS 11711454 HAS SOUPS 11711454 WITH SCORE 1.1745191093E7
AT ITER 8677 NEW BEST:: SOT 107326278 SOS 33737050 HAS SOPS 33737050 HAS SOUS 11711411 HAS SOUPS 11711411 WITH SCORE 1.174514805E7
AT ITER 8680 NEW BEST:: SOT 107326081 SOS 33736656 HAS SOPS 33736656 HAS SOUS 11711017 HAS SOUPS 11711017 WITH SCORE 1.1744753656E7
AT ITER 8688 NEW BEST:: SOT 107325259 SOS 33728436 HAS SOPS 33728436 HAS SOUS 11709373 HAS SOUPS 11709373 WITH SCORE 1.1743101436E7
AT ITER 8706 NEW BEST:: SOT 107325259 SOS 33728436 HAS SOPS 33728436 HAS SOUS 11709332 HAS SOUPS 11709332 WITH SCORE 1.1743060436E7
AT ITER 8707 NEW BEST:: SOT 107325259 SOS 33728008 HAS SOPS 33728008 HAS SOUS 11705384 HAS SOUPS 11705384 WITH SCORE 1.1739112008E7
AT ITER 8720 NEW BEST:: SOT 107325259 SOS 33727937 HAS SOPS 33727937 HAS SOUS 11705313 HAS SOUPS 11705313 WITH SCORE 1.1739040937E7
AT ITER 8725 NEW BEST:: SOT 107325754 SOS 33728102 HAS SOPS 33728102 HAS SOUS 11702629 HAS SOUPS 11702629 WITH SCORE 1.1736357102E7
AT ITER 8729 NEW BEST:: SOT 107321722 SOS 33719712 HAS SOPS 33719712 HAS SOUS 11698921 HAS SOUPS 11698921 WITH SCORE 1.1732640712E7
AT ITER 8740 NEW BEST:: SOT 107321283 SOS 33714683 HAS SOPS 33714683 HAS SOUS 11697404 HAS SOUPS 11697404 WITH SCORE 1.1731118683E7
AT ITER 8749 NEW BEST:: SOT 107320845 SOS 33709708 HAS SOPS 33709708 HAS SOUS 11695933 HAS SOUPS 11695933 WITH SCORE 1.1729642708E7
AT ITER 8769 NEW BEST:: SOT 107320845 SOS 33711886 HAS SOPS 33711886 HAS SOUS 11693997 HAS SOUPS 11693997 WITH SCORE 1.1727708886E7
AT ITER 8771 NEW BEST:: SOT 107320787 SOS 33710670 HAS SOPS 33710670 HAS SOUS 11693245 HAS SOUPS 11693245 WITH SCORE 1.172695567E7
AT ITER 8778 NEW BEST:: SOT 107320787 SOS 33710670 HAS SOPS 33710670 HAS SOUS 11692923 HAS SOUPS 11692923 WITH SCORE 1.172663367E7
AT ITER 8788 NEW BEST:: SOT 107320787 SOS 33712854 HAS SOPS 33712854 HAS SOUS 11690653 HAS SOUPS 11690653 WITH SCORE 1.1724365854E7
AT ITER 8796 NEW BEST:: SOT 107320310 SOS 33712452 HAS SOPS 33712452 HAS SOUS 11690251 HAS SOUPS 11690251 WITH SCORE 1.1723963452E7
AT ITER 8803 NEW BEST:: SOT 107314928 SOS 33707070 HAS SOPS 33707070 HAS SOUS 11684869 HAS SOUPS 11684869 WITH SCORE 1.171857607E7
AT ITER 8831 NEW BEST:: SOT 107314334 SOS 33706476 HAS SOPS 33706476 HAS SOUS 11684275 HAS SOUPS 11684275 WITH SCORE 1.1717981476E7
AT ITER 8834 NEW BEST:: SOT 107314262 SOS 33706324 HAS SOPS 33706324 HAS SOUS 11684187 HAS SOUPS 11684187 WITH SCORE 1.1717893324E7
AT ITER 8855 NEW BEST:: SOT 107314532 SOS 33706446 HAS SOPS 33706446 HAS SOUS 11681345 HAS SOUPS 11681345 WITH SCORE 1.1715051446E7
AT ITER 8862 NEW BEST:: SOT 107314620 SOS 33706534 HAS SOPS 33706534 HAS SOUS 11681257 HAS SOUPS 11681257 WITH SCORE 1.1714963534E7
AT ITER 8866 NEW BEST:: SOT 107314231 SOS 33706145 HAS SOPS 33706145 HAS SOUS 11681257 HAS SOUPS 11681257 WITH SCORE 1.1714963145E7
AT ITER 8869 NEW BEST:: SOT 107308255 SOS 33693529 HAS SOPS 33693529 HAS SOUS 11673953 HAS SOUPS 11673953 WITH SCORE 1.1707646529E7
AT ITER 8870 NEW BEST:: SOT 107308255 SOS 33692679 HAS SOPS 33692679 HAS SOUS 11673103 HAS SOUPS 11673103 WITH SCORE 1.1706795679E7
AT ITER 8872 NEW BEST:: SOT 107307440 SOS 33684529 HAS SOPS 33684529 HAS SOUS 11671473 HAS SOUPS 11671473 WITH SCORE 1.1705157529E7
AT ITER 8878 NEW BEST:: SOT 107307866 SOS 33684955 HAS SOPS 33684955 HAS SOUS 11671259 HAS SOUPS 11671259 WITH SCORE 1.1704943955E7
AT ITER 8890 NEW BEST:: SOT 107307595 SOS 33682245 HAS SOPS 33682245 HAS SOUS 11670717 HAS SOUPS 11670717 WITH SCORE 1.1704399245E7
AT ITER 8898 NEW BEST:: SOT 107310340 SOS 33687312 HAS SOPS 33687312 HAS SOUS 11667707 HAS SOUPS 11667707 WITH SCORE 1.1701394312E7
AT ITER 8930 NEW BEST:: SOT 107310014 SOS 33684052 HAS SOPS 33684052 HAS SOUS 11667055 HAS SOUPS 11667055 WITH SCORE 1.1700739052E7
AT ITER 8937 NEW BEST:: SOT 107310014 SOS 33681252 HAS SOPS 33681252 HAS SOUS 11666495 HAS SOUPS 11666495 WITH SCORE 1.1700176252E7
AT ITER 8945 NEW BEST:: SOT 107310014 SOS 33681297 HAS SOPS 33681297 HAS SOUS 11666455 HAS SOUPS 11666455 WITH SCORE 1.1700136297E7
AT ITER 8982 NEW BEST:: SOT 107305982 SOS 33672853 HAS SOPS 33672853 HAS SOUS 11662207 HAS SOUPS 11662207 WITH SCORE 1.1695879853E7
AT ITER 8999 NEW BEST:: SOT 107305763 SOS 33670663 HAS SOPS 33670663 HAS SOUS 11661769 HAS SOUPS 11661769 WITH SCORE 1.1695439663E7
AT ITER 9001 NEW BEST:: SOT 107305763 SOS 33669399 HAS SOPS 33669399 HAS SOUS 11661633 HAS SOUPS 11661633 WITH SCORE 1.1695302399E7
AT ITER 9002 NEW BEST:: SOT 107305763 SOS 33668787 HAS SOPS 33668787 HAS SOUS 11658221 HAS SOUPS 11658221 WITH SCORE 1.1691889787E7
AT ITER 9006 NEW BEST:: SOT 107305592 SOS 33668616 HAS SOPS 33668616 HAS SOUS 11658053 HAS SOUPS 11658053 WITH SCORE 1.1691721616E7
AT ITER 9015 NEW BEST:: SOT 107305592 SOS 33674592 HAS SOPS 33674592 HAS SOUS 11657341 HAS SOUPS 11657341 WITH SCORE 1.1691015592E7
AT ITER 9046 NEW BEST:: SOT 107305592 SOS 33674592 HAS SOPS 33674592 HAS SOUS 11657288 HAS SOUPS 11657288 WITH SCORE 1.1690962592E7
AT ITER 9063 NEW BEST:: SOT 107303054 SOS 33671772 HAS SOPS 33671772 HAS SOUS 11654468 HAS SOUPS 11654468 WITH SCORE 1.1688139772E7
AT ITER 9066 NEW BEST:: SOT 107302390 SOS 33665132 HAS SOPS 33665132 HAS SOUS 11653140 HAS SOUPS 11653140 WITH SCORE 1.1686805132E7
AT ITER 9069 NEW BEST:: SOT 107302390 SOS 33669452 HAS SOPS 33669452 HAS SOUS 11649300 HAS SOUPS 11649300 WITH SCORE 1.1682969452E7
AT ITER 9115 NEW BEST:: SOT 107302155 SOS 33669217 HAS SOPS 33669217 HAS SOUS 11649065 HAS SOUPS 11649065 WITH SCORE 1.1682734217E7
AT ITER 9116 NEW BEST:: SOT 107301883 SOS 33667278 HAS SOPS 33667278 HAS SOUS 11648366 HAS SOUPS 11648366 WITH SCORE 1.1682033278E7
AT ITER 9120 NEW BEST:: SOT 107304079 SOS 33668594 HAS SOPS 33668594 HAS SOUS 11645182 HAS SOUPS 11645182 WITH SCORE 1.1678850594E7
AT ITER 9122 NEW BEST:: SOT 107303469 SOS 33667984 HAS SOPS 33667984 HAS SOUS 11644572 HAS SOUPS 11644572 WITH SCORE 1.1678239984E7
AT ITER 9154 NEW BEST:: SOT 107303274 SOS 33667594 HAS SOPS 33667594 HAS SOUS 11644182 HAS SOUPS 11644182 WITH SCORE 1.1677849594E7
AT ITER 9159 NEW BEST:: SOT 107302986 SOS 33667306 HAS SOPS 33667306 HAS SOUS 11644118 HAS SOUPS 11644118 WITH SCORE 1.1677785306E7
AT ITER 9177 NEW BEST:: SOT 107302986 SOS 33658906 HAS SOPS 33658906 HAS SOUS 11642438 HAS SOUPS 11642438 WITH SCORE 1.1676096906E7
AT ITER 9178 NEW BEST:: SOT 107302986 SOS 33660234 HAS SOPS 33660234 HAS SOUS 11640944 HAS SOUPS 11640944 WITH SCORE 1.1674604234E7
AT ITER 9179 NEW BEST:: SOT 107302986 SOS 33660111 HAS SOPS 33660111 HAS SOUS 11640821 HAS SOUPS 11640821 WITH SCORE 1.1674481111E7
AT ITER 9248 NEW BEST:: SOT 107301578 SOS 33658703 HAS SOPS 33658703 HAS SOUS 11639413 HAS SOUPS 11639413 WITH SCORE 1.1673071703E7
AT ITER 9251 NEW BEST:: SOT 107301547 SOS 33658672 HAS SOPS 33658672 HAS SOUS 11639413 HAS SOUPS 11639413 WITH SCORE 1.1673071672E7
AT ITER 9275 NEW BEST:: SOT 107299045 SOS 33655892 HAS SOPS 33655892 HAS SOUS 11634313 HAS SOUPS 11634313 WITH SCORE 1.1667968892E7
AT ITER 9284 NEW BEST:: SOT 107295335 SOS 33648472 HAS SOPS 33648472 HAS SOUS 11633375 HAS SOUPS 11633375 WITH SCORE 1.1667023472E7
AT ITER 9286 NEW BEST:: SOT 107294719 SOS 33647856 HAS SOPS 33647856 HAS SOUS 11632759 HAS SOUPS 11632759 WITH SCORE 1.1666406856E7
AT ITER 9287 NEW BEST:: SOT 107294291 SOS 33643148 HAS SOPS 33643148 HAS SOUS 11631475 HAS SOUPS 11631475 WITH SCORE 1.1665118148E7
AT ITER 9319 NEW BEST:: SOT 107286884 SOS 33628334 HAS SOPS 33628334 HAS SOUS 11628136 HAS SOUPS 11628136 WITH SCORE 1.1661764334E7
AT ITER 9342 NEW BEST:: SOT 107286884 SOS 33628334 HAS SOPS 33628334 HAS SOUS 11627514 HAS SOUPS 11627514 WITH SCORE 1.1661142334E7
AT ITER 9348 NEW BEST:: SOT 107286884 SOS 33630251 HAS SOPS 33630251 HAS SOUS 11626543 HAS SOUPS 11626543 WITH SCORE 1.1660173251E7
AT ITER 9410 NEW BEST:: SOT 107286563 SOS 33627041 HAS SOPS 33627041 HAS SOUS 11625901 HAS SOUPS 11625901 WITH SCORE 1.1659528041E7
AT ITER 9415 NEW BEST:: SOT 107286563 SOS 33626782 HAS SOPS 33626782 HAS SOUS 11625642 HAS SOUPS 11625642 WITH SCORE 1.1659268782E7
AT ITER 9444 NEW BEST:: SOT 107286563 SOS 33628814 HAS SOPS 33628814 HAS SOUS 11623356 HAS SOUPS 11623356 WITH SCORE 1.1656984814E7
AT ITER 9464 NEW BEST:: SOT 107287535 SOS 33629894 HAS SOPS 33629894 HAS SOUS 11621516 HAS SOUPS 11621516 WITH SCORE 1.1655145894E7
AT ITER 9478 NEW BEST:: SOT 107284844 SOS 33626904 HAS SOPS 33626904 HAS SOUS 11617470 HAS SOUPS 11617470 WITH SCORE 1.1651096904E7
AT ITER 9486 NEW BEST:: SOT 107284682 SOS 33626580 HAS SOPS 33626580 HAS SOUS 11615688 HAS SOUPS 11615688 WITH SCORE 1.164931458E7
AT ITER 9501 NEW BEST:: SOT 107284410 SOS 33623860 HAS SOPS 33623860 HAS SOUS 11615144 HAS SOUPS 11615144 WITH SCORE 1.164876786E7
AT ITER 9502 NEW BEST:: SOT 107284410 SOS 33623860 HAS SOPS 33623860 HAS SOUS 11614922 HAS SOUPS 11614922 WITH SCORE 1.164854586E7
AT ITER 9504 NEW BEST:: SOT 107284318 SOS 33623768 HAS SOPS 33623768 HAS SOUS 11614830 HAS SOUPS 11614830 WITH SCORE 1.1648453768E7
AT ITER 9516 NEW BEST:: SOT 107284318 SOS 33623299 HAS SOPS 33623299 HAS SOUS 11614361 HAS SOUPS 11614361 WITH SCORE 1.1647984299E7
AT ITER 9525 NEW BEST:: SOT 107280238 SOS 33619219 HAS SOPS 33619219 HAS SOUS 11610281 HAS SOUPS 11610281 WITH SCORE 1.1643900219E7
AT ITER 9536 NEW BEST:: SOT 107280238 SOS 33619202 HAS SOPS 33619202 HAS SOUS 11610264 HAS SOUPS 11610264 WITH SCORE 1.1643883202E7
AT ITER 9541 NEW BEST:: SOT 107280238 SOS 33618152 HAS SOPS 33618152 HAS SOUS 11610054 HAS SOUPS 11610054 WITH SCORE 1.1643672152E7
AT ITER 9556 NEW BEST:: SOT 107280238 SOS 33618152 HAS SOPS 33618152 HAS SOUS 11610009 HAS SOUPS 11610009 WITH SCORE 1.1643627152E7
AT ITER 9562 NEW BEST:: SOT 107276980 SOS 33611636 HAS SOPS 33611636 HAS SOUS 11606389 HAS SOUPS 11606389 WITH SCORE 1.1640000636E7
AT ITER 9680 NEW BEST:: SOT 107271400 SOS 33599308 HAS SOPS 33599308 HAS SOUS 11601503 HAS SOUPS 11601503 WITH SCORE 1.1635102308E7
AT ITER 9692 NEW BEST:: SOT 107271400 SOS 33605680 HAS SOPS 33605680 HAS SOUS 11595839 HAS SOUPS 11595839 WITH SCORE 1.162944468E7
AT ITER 9698 NEW BEST:: SOT 107271400 SOS 33605680 HAS SOPS 33605680 HAS SOUS 11595293 HAS SOUPS 11595293 WITH SCORE 1.162889868E7
AT ITER 9709 NEW BEST:: SOT 107270671 SOS 33604870 HAS SOPS 33604870 HAS SOUS 11593754 HAS SOUPS 11593754 WITH SCORE 1.162735887E7
AT ITER 9716 NEW BEST:: SOT 107265208 SOS 33597352 HAS SOPS 33597352 HAS SOUS 11590780 HAS SOUPS 11590780 WITH SCORE 1.1624377352E7
AT ITER 9741 NEW BEST:: SOT 107265208 SOS 33595542 HAS SOPS 33595542 HAS SOUS 11590418 HAS SOUPS 11590418 WITH SCORE 1.1624013542E7
AT ITER 9758 NEW BEST:: SOT 107260870 SOS 33591204 HAS SOPS 33591204 HAS SOUS 11586080 HAS SOUPS 11586080 WITH SCORE 1.1619671204E7
AT ITER 9768 NEW BEST:: SOT 107260359 SOS 33586094 HAS SOPS 33586094 HAS SOUS 11585058 HAS SOUPS 11585058 WITH SCORE 1.1618644094E7
AT ITER 9783 NEW BEST:: SOT 107260359 SOS 33585859 HAS SOPS 33585859 HAS SOUS 11584823 HAS SOUPS 11584823 WITH SCORE 1.1618408859E7
AT ITER 9793 NEW BEST:: SOT 107258626 SOS 33584185 HAS SOPS 33584185 HAS SOUS 11583680 HAS SOUPS 11583680 WITH SCORE 1.1617264185E7
AT ITER 9796 NEW BEST:: SOT 107257898 SOS 33585311 HAS SOPS 33585311 HAS SOUS 11583158 HAS SOUPS 11583158 WITH SCORE 1.1616743311E7
AT ITER 9801 NEW BEST:: SOT 107259032 SOS 33585741 HAS SOPS 33585741 HAS SOUS 11578868 HAS SOUPS 11578868 WITH SCORE 1.1612453741E7
AT ITER 9811 NEW BEST:: SOT 107251139 SOS 33576971 HAS SOPS 33576971 HAS SOUS 11570121 HAS SOUPS 11570121 WITH SCORE 1.1603697971E7
AT ITER 9812 NEW BEST:: SOT 107251139 SOS 33576971 HAS SOPS 33576971 HAS SOUS 11569540 HAS SOUPS 11569540 WITH SCORE 1.1603116971E7
AT ITER 9823 NEW BEST:: SOT 107251181 SOS 33570881 HAS SOPS 33570881 HAS SOUS 11568938 HAS SOUPS 11568938 WITH SCORE 1.1602508881E7
AT ITER 9835 NEW BEST:: SOT 107254657 SOS 33577833 HAS SOPS 33577833 HAS SOUS 11566209 HAS SOUPS 11566209 WITH SCORE 1.1599786833E7
AT ITER 9866 NEW BEST:: SOT 107254657 SOS 33578499 HAS SOPS 33578499 HAS SOUS 11566043 HAS SOUPS 11566043 WITH SCORE 1.1599621499E7
AT ITER 9879 NEW BEST:: SOT 107254940 SOS 33578377 HAS SOPS 33578377 HAS SOUS 11563449 HAS SOUPS 11563449 WITH SCORE 1.1597027377E7
AT ITER 9893 NEW BEST:: SOT 107253107 SOS 33575239 HAS SOPS 33575239 HAS SOUS 11561471 HAS SOUPS 11561471 WITH SCORE 1.1595046239E7
AT ITER 9908 NEW BEST:: SOT 107253107 SOS 33576335 HAS SOPS 33576335 HAS SOUS 11560238 HAS SOUPS 11560238 WITH SCORE 1.1593814335E7
AT ITER 9915 NEW BEST:: SOT 107252227 SOS 33570444 HAS SOPS 33570444 HAS SOUS 11558019 HAS SOUPS 11558019 WITH SCORE 1.1591589444E7
AT ITER 9926 NEW BEST:: SOT 107251612 SOS 33569706 HAS SOPS 33569706 HAS SOUS 11556689 HAS SOUPS 11556689 WITH SCORE 1.1590258706E7
AT ITER 9933 NEW BEST:: SOT 107245060 SOS 33556246 HAS SOPS 33556246 HAS SOUS 11552401 HAS SOUPS 11552401 WITH SCORE 1.1585957246E7
AT ITER 9951 NEW BEST:: SOT 107244844 SOS 33554086 HAS SOPS 33554086 HAS SOUS 11551969 HAS SOUPS 11551969 WITH SCORE 1.1585523086E7
AT ITER 9960 NEW BEST:: SOT 107244844 SOS 33552426 HAS SOPS 33552426 HAS SOUS 11551637 HAS SOUPS 11551637 WITH SCORE 1.1585189426E7
AT ITER 9967 NEW BEST:: SOT 107244844 SOS 33552322 HAS SOPS 33552322 HAS SOUS 11550597 HAS SOUPS 11550597 WITH SCORE 1.1584149322E7
AT ITER 9968 NEW BEST:: SOT 107244637 SOS 33552115 HAS SOPS 33552115 HAS SOUS 11550597 HAS SOUPS 11550597 WITH SCORE 1.1584149115E7
AT ITER 9970 NEW BEST:: SOT 107244637 SOS 33555148 HAS SOPS 33555148 HAS SOUS 11547901 HAS SOUPS 11547901 WITH SCORE 1.1581456148E7
AT ITER 9974 NEW BEST:: SOT 107244550 SOS 33555061 HAS SOPS 33555061 HAS SOUS 11547901 HAS SOUPS 11547901 WITH SCORE 1.1581456061E7
AT ITER 9985 NEW BEST:: SOT 107244550 SOS 33555061 HAS SOPS 33555061 HAS SOUS 11547539 HAS SOUPS 11547539 WITH SCORE 1.1581094061E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11934604 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16123812 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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