Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 59M
-rw-r--r-- 1 mcc users 6.9K Feb 26 08:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 26 08:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 08:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 08:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 08:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 26 08:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 26 08:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 26 08:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 59M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679131305633

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS2020-PT-pb107
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 09:21:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 09:21:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 09:21:49] [INFO ] Load time of PNML (sax parser for PT used): 1858 ms
[2023-03-18 09:21:49] [INFO ] Transformed 1382 places.
[2023-03-18 09:21:49] [INFO ] Transformed 104643 transitions.
[2023-03-18 09:21:49] [INFO ] Found NUPN structural information;
[2023-03-18 09:21:50] [INFO ] Parsed PT model containing 1382 places and 104643 transitions and 417030 arcs in 2297 ms.
[2023-03-18 09:21:50] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1382 places, 104643 transitions and 417030 arcs took 269 ms.
Total runtime 2600 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS2020 (PT), instance pb107
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 1382 places, 104643 transitions, 417030 arcs.
AT ITER 0 NEW BEST:: SOT 70312564 SOS 52090682 HAS SOPS 45315864 HAS SOUS 13872838 HAS SOUPS 13775199 WITH SCORE 1.3827289682E7
AT ITER 8 NEW BEST:: SOT 70317743 SOS 52096065 HAS SOPS 45308769 HAS SOUS 13868144 HAS SOUPS 13770505 WITH SCORE 1.3822601065E7
AT ITER 13 NEW BEST:: SOT 70320370 SOS 52099530 HAS SOPS 45311962 HAS SOUS 13868140 HAS SOUPS 13770501 WITH SCORE 1.382260053E7
AT ITER 19 NEW BEST:: SOT 70321461 SOS 52100725 HAS SOPS 45313019 HAS SOUS 13861734 HAS SOUPS 13764095 WITH SCORE 1.3816195725E7
AT ITER 33 NEW BEST:: SOT 70322416 SOS 52100975 HAS SOPS 45311271 HAS SOUS 13854182 HAS SOUPS 13756675 WITH SCORE 1.3808775975E7
AT ITER 41 NEW BEST:: SOT 70314961 SOS 52093530 HAS SOPS 45303453 HAS SOUS 13837802 HAS SOUPS 13740256 WITH SCORE 1.379234953E7
AT ITER 45 NEW BEST:: SOT 70378946 SOS 52153399 HAS SOPS 45339288 HAS SOUS 13824208 HAS SOUPS 13726172 WITH SCORE 1.3778325399E7
AT ITER 53 NEW BEST:: SOT 70378499 SOS 52152952 HAS SOPS 45338598 HAS SOUS 13822660 HAS SOUPS 13724624 WITH SCORE 1.3776776952E7
AT ITER 62 NEW BEST:: SOT 70381255 SOS 52155877 HAS SOPS 45341464 HAS SOUS 13821191 HAS SOUPS 13723155 WITH SCORE 1.3775310877E7
AT ITER 72 NEW BEST:: SOT 70385554 SOS 52159630 HAS SOPS 45348891 HAS SOUS 13820117 HAS SOUPS 13722086 WITH SCORE 1.377424563E7
AT ITER 83 NEW BEST:: SOT 70389536 SOS 52163781 HAS SOPS 45351119 HAS SOUS 13815722 HAS SOUPS 13717516 WITH SCORE 1.3769679781E7
AT ITER 94 NEW BEST:: SOT 70389536 SOS 52162801 HAS SOPS 45350139 HAS SOUS 13815722 HAS SOUPS 13717516 WITH SCORE 1.3769678801E7
AT ITER 97 NEW BEST:: SOT 70379030 SOS 52169309 HAS SOPS 45356880 HAS SOUS 13805902 HAS SOUPS 13707696 WITH SCORE 1.3759865309E7
AT ITER 106 NEW BEST:: SOT 70382709 SOS 52173520 HAS SOPS 45349123 HAS SOUS 13799618 HAS SOUPS 13700131 WITH SCORE 1.375230452E7
AT ITER 113 NEW BEST:: SOT 70387255 SOS 52178566 HAS SOPS 45353467 HAS SOUS 13729654 HAS SOUPS 13630167 WITH SCORE 1.3682345566E7
AT ITER 125 NEW BEST:: SOT 70362760 SOS 52153110 HAS SOPS 45329564 HAS SOUS 13695351 HAS SOUPS 13595687 WITH SCORE 1.364784011E7
AT ITER 130 NEW BEST:: SOT 70362816 SOS 52153089 HAS SOPS 45329391 HAS SOUS 13694880 HAS SOUPS 13595216 WITH SCORE 1.3647369089E7
AT ITER 134 NEW BEST:: SOT 70355102 SOS 52145426 HAS SOPS 45318566 HAS SOUS 13686848 HAS SOUPS 13587184 WITH SCORE 1.3639329426E7
AT ITER 141 NEW BEST:: SOT 70354300 SOS 52144730 HAS SOPS 45318062 HAS SOUS 13683353 HAS SOUPS 13583689 WITH SCORE 1.363583373E7
AT ITER 145 NEW BEST:: SOT 70430320 SOS 52224641 HAS SOPS 45393205 HAS SOUS 13644460 HAS SOUPS 13544796 WITH SCORE 1.3597020641E7
AT ITER 150 NEW BEST:: SOT 70344256 SOS 52138361 HAS SOPS 45306311 HAS SOUS 13548418 HAS SOUPS 13448754 WITH SCORE 1.3500892361E7
AT ITER 154 NEW BEST:: SOT 70372499 SOS 52195238 HAS SOPS 45355375 HAS SOUS 13538289 HAS SOUPS 13438625 WITH SCORE 1.3490820238E7
AT ITER 159 NEW BEST:: SOT 70369870 SOS 52192618 HAS SOPS 45347605 HAS SOUS 13534360 HAS SOUPS 13434696 WITH SCORE 1.3486888618E7
AT ITER 161 NEW BEST:: SOT 70367188 SOS 52189860 HAS SOPS 45344601 HAS SOUS 13531330 HAS SOUPS 13431666 WITH SCORE 1.348385586E7
AT ITER 162 NEW BEST:: SOT 70365631 SOS 52188303 HAS SOPS 45343080 HAS SOUS 13529953 HAS SOUPS 13430289 WITH SCORE 1.3482477303E7
AT ITER 169 NEW BEST:: SOT 70366219 SOS 52166165 HAS SOPS 45310316 HAS SOUS 13529199 HAS SOUPS 13429513 WITH SCORE 1.3481679165E7
AT ITER 175 NEW BEST:: SOT 70380925 SOS 52200499 HAS SOPS 45333662 HAS SOUS 13519407 HAS SOUPS 13419851 WITH SCORE 1.3472051499E7
AT ITER 184 NEW BEST:: SOT 70412060 SOS 52258351 HAS SOPS 45400264 HAS SOUS 13513296 HAS SOUPS 13413916 WITH SCORE 1.3466174351E7
AT ITER 186 NEW BEST:: SOT 70411413 SOS 52257704 HAS SOPS 45398897 HAS SOUS 13512954 HAS SOUPS 13413079 WITH SCORE 1.3465336704E7
AT ITER 191 NEW BEST:: SOT 70394559 SOS 52242800 HAS SOPS 45381765 HAS SOUS 13501767 HAS SOUPS 13401553 WITH SCORE 1.34537958E7
AT ITER 194 NEW BEST:: SOT 70425686 SOS 52274203 HAS SOPS 45393538 HAS SOUS 13498672 HAS SOUPS 13395558 WITH SCORE 1.3447832203E7
AT ITER 199 NEW BEST:: SOT 70424098 SOS 52272613 HAS SOPS 45391870 HAS SOUS 13494396 HAS SOUPS 13391282 WITH SCORE 1.3443554613E7
AT ITER 210 NEW BEST:: SOT 70423817 SOS 52272327 HAS SOPS 45391549 HAS SOUS 13493775 HAS SOUPS 13390661 WITH SCORE 1.3442933327E7
AT ITER 211 NEW BEST:: SOT 70424387 SOS 52272897 HAS SOPS 45392291 HAS SOUS 13493342 HAS SOUPS 13390228 WITH SCORE 1.3442500897E7
AT ITER 214 NEW BEST:: SOT 70413377 SOS 52261032 HAS SOPS 45374745 HAS SOUS 13490977 HAS SOUPS 13387762 WITH SCORE 1.3440023032E7
AT ITER 218 NEW BEST:: SOT 70412683 SOS 52260365 HAS SOPS 45373872 HAS SOUS 13488533 HAS SOUPS 13385318 WITH SCORE 1.3437578365E7
AT ITER 229 NEW BEST:: SOT 70412796 SOS 52260536 HAS SOPS 45374153 HAS SOUS 13487214 HAS SOUPS 13383999 WITH SCORE 1.3436259536E7
AT ITER 241 NEW BEST:: SOT 70412877 SOS 52263277 HAS SOPS 45376402 HAS SOUS 13487109 HAS SOUPS 13383886 WITH SCORE 1.3436149277E7
AT ITER 251 NEW BEST:: SOT 70414077 SOS 52264544 HAS SOPS 45377978 HAS SOUS 13486499 HAS SOUPS 13383276 WITH SCORE 1.3435540544E7
AT ITER 256 NEW BEST:: SOT 70421654 SOS 52272412 HAS SOPS 45386086 HAS SOUS 13483400 HAS SOUPS 13380177 WITH SCORE 1.3432449412E7
AT ITER 311 NEW BEST:: SOT 70419972 SOS 52270730 HAS SOPS 45384026 HAS SOUS 13482309 HAS SOUPS 13379086 WITH SCORE 1.343135673E7
AT ITER 339 NEW BEST:: SOT 70406763 SOS 52321227 HAS SOPS 45438718 HAS SOUS 13480834 HAS SOUPS 13377752 WITH SCORE 1.3430073227E7
AT ITER 342 NEW BEST:: SOT 70406766 SOS 52321068 HAS SOPS 45438559 HAS SOUS 13480834 HAS SOUPS 13377752 WITH SCORE 1.3430073068E7
AT ITER 345 NEW BEST:: SOT 70390242 SOS 52304544 HAS SOPS 45422035 HAS SOUS 13464310 HAS SOUPS 13361228 WITH SCORE 1.3413532544E7
AT ITER 349 NEW BEST:: SOT 70389884 SOS 52304124 HAS SOPS 45421478 HAS SOUS 13464028 HAS SOUPS 13360946 WITH SCORE 1.3413250124E7
AT ITER 373 NEW BEST:: SOT 70181545 SOS 52095785 HAS SOPS 45209534 HAS SOUS 13325083 HAS SOUPS 13221323 WITH SCORE 1.3273418785E7
AT ITER 379 NEW BEST:: SOT 70181547 SOS 52095787 HAS SOPS 45209536 HAS SOUS 13325003 HAS SOUPS 13221243 WITH SCORE 1.3273338787E7
AT ITER 385 NEW BEST:: SOT 70163494 SOS 52013872 HAS SOPS 45139134 HAS SOUS 13326656 HAS SOUPS 13220942 WITH SCORE 1.3272955872E7
AT ITER 398 NEW BEST:: SOT 70194153 SOS 52091740 HAS SOPS 45197986 HAS SOUS 13300995 HAS SOUPS 13195405 WITH SCORE 1.324749674E7
AT ITER 401 NEW BEST:: SOT 70194143 SOS 52091730 HAS SOPS 45197974 HAS SOUS 13300982 HAS SOUPS 13195392 WITH SCORE 1.324748373E7
AT ITER 403 NEW BEST:: SOT 70200739 SOS 52098272 HAS SOPS 45204484 HAS SOUS 13297982 HAS SOUPS 13192392 WITH SCORE 1.3244490272E7
AT ITER 405 NEW BEST:: SOT 70207995 SOS 52105775 HAS SOPS 45212597 HAS SOUS 13295806 HAS SOUPS 13190346 WITH SCORE 1.3242451775E7
AT ITER 415 NEW BEST:: SOT 70174687 SOS 52071934 HAS SOPS 45178244 HAS SOUS 13257735 HAS SOUPS 13152258 WITH SCORE 1.3204329934E7
AT ITER 421 NEW BEST:: SOT 70254265 SOS 52152000 HAS SOPS 45252693 HAS SOUS 13245661 HAS SOUPS 13140184 WITH SCORE 1.3192336E7
AT ITER 430 NEW BEST:: SOT 70260508 SOS 52163154 HAS SOPS 45260118 HAS SOUS 13236470 HAS SOUPS 13130993 WITH SCORE 1.3183156154E7
AT ITER 431 NEW BEST:: SOT 70248835 SOS 52126144 HAS SOPS 45224488 HAS SOUS 13234493 HAS SOUPS 13128907 WITH SCORE 1.3181033144E7
AT ITER 436 NEW BEST:: SOT 70248061 SOS 52125327 HAS SOPS 45223456 HAS SOUS 13233891 HAS SOUPS 13128305 WITH SCORE 1.3180430327E7
AT ITER 439 NEW BEST:: SOT 70291963 SOS 52169229 HAS SOPS 45261646 HAS SOUS 13200747 HAS SOUPS 13095161 WITH SCORE 1.3147330229E7
AT ITER 443 NEW BEST:: SOT 70292654 SOS 52169912 HAS SOPS 45262065 HAS SOUS 13200310 HAS SOUPS 13094691 WITH SCORE 1.3146860912E7
AT ITER 445 NEW BEST:: SOT 70292334 SOS 52169592 HAS SOPS 45261551 HAS SOUS 13198935 HAS SOUPS 13093316 WITH SCORE 1.3145485592E7
AT ITER 474 NEW BEST:: SOT 70326181 SOS 52199871 HAS SOPS 45293234 HAS SOUS 13174376 HAS SOUPS 13069009 WITH SCORE 1.3121208871E7
AT ITER 482 NEW BEST:: SOT 70327571 SOS 52199286 HAS SOPS 45291370 HAS SOUS 13173325 HAS SOUPS 13067958 WITH SCORE 1.3120157286E7
AT ITER 498 NEW BEST:: SOT 70326255 SOS 52197868 HAS SOPS 45289745 HAS SOUS 13171363 HAS SOUPS 13065996 WITH SCORE 1.3118193868E7
AT ITER 506 NEW BEST:: SOT 70321960 SOS 52193577 HAS SOPS 45285073 HAS SOUS 13159702 HAS SOUPS 13054335 WITH SCORE 1.3106528577E7
AT ITER 509 NEW BEST:: SOT 70320430 SOS 52192155 HAS SOPS 45283569 HAS SOUS 13154865 HAS SOUPS 13049498 WITH SCORE 1.3101690155E7
AT ITER 510 NEW BEST:: SOT 70320728 SOS 52192336 HAS SOPS 45283674 HAS SOUS 13154848 HAS SOUPS 13049481 WITH SCORE 1.3101673336E7
AT ITER 520 NEW BEST:: SOT 70315287 SOS 52222289 HAS SOPS 45313719 HAS SOUS 13152725 HAS SOUPS 13047358 WITH SCORE 1.3099580289E7
AT ITER 522 NEW BEST:: SOT 70414925 SOS 52321820 HAS SOPS 45403749 HAS SOUS 13102514 HAS SOUPS 12997147 WITH SCORE 1.304946882E7
AT ITER 527 NEW BEST:: SOT 70414834 SOS 52321728 HAS SOPS 45403653 HAS SOUS 13102405 HAS SOUPS 12997038 WITH SCORE 1.3049359728E7
AT ITER 558 NEW BEST:: SOT 70367908 SOS 52279915 HAS SOPS 45364019 HAS SOUS 13100497 HAS SOUPS 12995130 WITH SCORE 1.3047409915E7
AT ITER 559 NEW BEST:: SOT 70328386 SOS 52249446 HAS SOPS 45333250 HAS SOUS 13054931 HAS SOUPS 12949564 WITH SCORE 1.3001813446E7
AT ITER 566 NEW BEST:: SOT 70307131 SOS 52209583 HAS SOPS 45286117 HAS SOUS 13034131 HAS SOUPS 12927855 WITH SCORE 1.2980064583E7
AT ITER 567 NEW BEST:: SOT 70310614 SOS 52213218 HAS SOPS 45289438 HAS SOUS 13030965 HAS SOUPS 12924689 WITH SCORE 1.2976902218E7
AT ITER 581 NEW BEST:: SOT 70290233 SOS 52173269 HAS SOPS 45250389 HAS SOUS 13009099 HAS SOUPS 12902823 WITH SCORE 1.2954996269E7
AT ITER 582 NEW BEST:: SOT 70291622 SOS 52174493 HAS SOPS 45251481 HAS SOUS 13007862 HAS SOUPS 12901586 WITH SCORE 1.2953760493E7
AT ITER 596 NEW BEST:: SOT 70288160 SOS 52171991 HAS SOPS 45247416 HAS SOUS 13007773 HAS SOUPS 12901429 WITH SCORE 1.2953600991E7
AT ITER 604 NEW BEST:: SOT 70287982 SOS 52172751 HAS SOPS 45242009 HAS SOUS 13004028 HAS SOUPS 12897684 WITH SCORE 1.2949856751E7
AT ITER 610 NEW BEST:: SOT 70264442 SOS 51974987 HAS SOPS 45091783 HAS SOUS 13000807 HAS SOUPS 12894861 WITH SCORE 1.2946835987E7
AT ITER 617 NEW BEST:: SOT 70262577 SOS 51973204 HAS SOPS 45088750 HAS SOUS 12993101 HAS SOUPS 12887155 WITH SCORE 1.2939128204E7
AT ITER 626 NEW BEST:: SOT 70269176 SOS 51979329 HAS SOPS 45092172 HAS SOUS 12980538 HAS SOUPS 12874592 WITH SCORE 1.2926571329E7
AT ITER 632 NEW BEST:: SOT 70269078 SOS 51979235 HAS SOPS 45092056 HAS SOUS 12980292 HAS SOUPS 12874346 WITH SCORE 1.2926325235E7
AT ITER 633 NEW BEST:: SOT 70275014 SOS 51985060 HAS SOPS 45097203 HAS SOUS 12969777 HAS SOUPS 12863831 WITH SCORE 1.291581606E7
AT ITER 655 NEW BEST:: SOT 70273139 SOS 51983283 HAS SOPS 45074873 HAS SOUS 12904755 HAS SOUPS 12798588 WITH SCORE 1.2850571283E7
AT ITER 657 NEW BEST:: SOT 70271188 SOS 51981353 HAS SOPS 45072831 HAS SOUS 12901220 HAS SOUPS 12795053 WITH SCORE 1.2847034353E7
AT ITER 667 NEW BEST:: SOT 70271519 SOS 52015701 HAS SOPS 45106528 HAS SOUS 12899726 HAS SOUPS 12793559 WITH SCORE 1.2845574701E7
AT ITER 671 NEW BEST:: SOT 70277528 SOS 52023707 HAS SOPS 45111131 HAS SOUS 12894648 HAS SOUPS 12788563 WITH SCORE 1.2840586707E7
AT ITER 677 NEW BEST:: SOT 70275487 SOS 52023605 HAS SOPS 45112575 HAS SOUS 12887015 HAS SOUPS 12780756 WITH SCORE 1.2832779605E7
AT ITER 685 NEW BEST:: SOT 70314269 SOS 52098188 HAS SOPS 45197664 HAS SOUS 12883221 HAS SOUPS 12776962 WITH SCORE 1.2829060188E7
AT ITER 701 NEW BEST:: SOT 70314257 SOS 52098134 HAS SOPS 45197578 HAS SOUS 12882756 HAS SOUPS 12776497 WITH SCORE 1.2828595134E7
AT ITER 703 NEW BEST:: SOT 70282409 SOS 52066316 HAS SOPS 45166240 HAS SOUS 12873486 HAS SOUPS 12767227 WITH SCORE 1.2819293316E7
AT ITER 707 NEW BEST:: SOT 70283924 SOS 52067669 HAS SOPS 45167597 HAS SOUS 12872837 HAS SOUPS 12766644 WITH SCORE 1.2818711669E7
AT ITER 715 NEW BEST:: SOT 70260992 SOS 52044737 HAS SOPS 45144665 HAS SOUS 12849884 HAS SOUPS 12743691 WITH SCORE 1.2795735737E7
AT ITER 734 NEW BEST:: SOT 70289623 SOS 52092237 HAS SOPS 45171219 HAS SOUS 12822127 HAS SOUPS 12715793 WITH SCORE 1.2767885237E7
AT ITER 735 NEW BEST:: SOT 70314556 SOS 52116625 HAS SOPS 45185521 HAS SOUS 12793385 HAS SOUPS 12687051 WITH SCORE 1.2739167625E7
AT ITER 741 NEW BEST:: SOT 70313373 SOS 52113460 HAS SOPS 45177883 HAS SOUS 12793388 HAS SOUPS 12687054 WITH SCORE 1.273916746E7
AT ITER 771 NEW BEST:: SOT 70314777 SOS 52114864 HAS SOPS 45179167 HAS SOUS 12789477 HAS SOUPS 12683143 WITH SCORE 1.2735257864E7
AT ITER 802 NEW BEST:: SOT 70307265 SOS 52107131 HAS SOPS 45170794 HAS SOUS 12777562 HAS SOUPS 12671228 WITH SCORE 1.2723335131E7
AT ITER 806 NEW BEST:: SOT 70307166 SOS 52107032 HAS SOPS 45170673 HAS SOUS 12777398 HAS SOUPS 12671064 WITH SCORE 1.2723171032E7
AT ITER 818 NEW BEST:: SOT 70314797 SOS 51995945 HAS SOPS 45231001 HAS SOUS 12776822 HAS SOUPS 12670799 WITH SCORE 1.2722794945E7
AT ITER 823 NEW BEST:: SOT 70320172 SOS 52001325 HAS SOPS 45236381 HAS SOUS 12776399 HAS SOUPS 12670376 WITH SCORE 1.2722377325E7
AT ITER 829 NEW BEST:: SOT 70301492 SOS 52076438 HAS SOPS 45319621 HAS SOUS 12772093 HAS SOUPS 12666070 WITH SCORE 1.2718146438E7
AT ITER 846 NEW BEST:: SOT 70300129 SOS 52075023 HAS SOPS 45318093 HAS SOUS 12771380 HAS SOUPS 12665357 WITH SCORE 1.2717432023E7
AT ITER 847 NEW BEST:: SOT 70346964 SOS 51911033 HAS SOPS 45328628 HAS SOUS 12766961 HAS SOUPS 12658916 WITH SCORE 1.2710827033E7
AT ITER 861 NEW BEST:: SOT 70346672 SOS 51910782 HAS SOPS 45328415 HAS SOUS 12766041 HAS SOUPS 12657996 WITH SCORE 1.2709906782E7
AT ITER 874 NEW BEST:: SOT 70343130 SOS 51907240 HAS SOPS 45323976 HAS SOUS 12762253 HAS SOUPS 12654208 WITH SCORE 1.270611524E7
AT ITER 883 NEW BEST:: SOT 70343220 SOS 51907543 HAS SOPS 45324563 HAS SOUS 12756738 HAS SOUPS 12648693 WITH SCORE 1.2700600543E7
AT ITER 889 NEW BEST:: SOT 70343163 SOS 51907486 HAS SOPS 45324483 HAS SOUS 12756152 HAS SOUPS 12648107 WITH SCORE 1.2700014486E7
AT ITER 894 NEW BEST:: SOT 70343170 SOS 51907507 HAS SOPS 45324525 HAS SOUS 12756005 HAS SOUPS 12647960 WITH SCORE 1.2699867507E7
AT ITER 897 NEW BEST:: SOT 70349196 SOS 51913955 HAS SOPS 45330241 HAS SOUS 12752191 HAS SOUPS 12644146 WITH SCORE 1.2696059955E7
AT ITER 908 NEW BEST:: SOT 70341967 SOS 51906426 HAS SOPS 45319790 HAS SOUS 12742676 HAS SOUPS 12634621 WITH SCORE 1.2686527426E7
AT ITER 909 NEW BEST:: SOT 70339549 SOS 51904008 HAS SOPS 45317294 HAS SOUS 12736358 HAS SOUPS 12628303 WITH SCORE 1.2680207008E7
AT ITER 912 NEW BEST:: SOT 70295538 SOS 51859974 HAS SOPS 45273656 HAS SOUS 12679552 HAS SOUPS 12571497 WITH SCORE 1.2623356974E7
AT ITER 915 NEW BEST:: SOT 70266325 SOS 51863814 HAS SOPS 45248945 HAS SOUS 12678338 HAS SOUPS 12569941 WITH SCORE 1.2621804814E7
AT ITER 922 NEW BEST:: SOT 70268818 SOS 51795407 HAS SOPS 45238133 HAS SOUS 12676538 HAS SOUPS 12568294 WITH SCORE 1.2620089407E7
AT ITER 923 NEW BEST:: SOT 70266766 SOS 51670836 HAS SOPS 45151398 HAS SOUS 12671895 HAS SOUPS 12563909 WITH SCORE 1.2615579836E7
AT ITER 929 NEW BEST:: SOT 70260971 SOS 51662006 HAS SOPS 45141196 HAS SOUS 12665564 HAS SOUPS 12557578 WITH SCORE 1.2609240006E7
AT ITER 938 NEW BEST:: SOT 70261220 SOS 51662202 HAS SOPS 45138722 HAS SOUS 12656360 HAS SOUPS 12548277 WITH SCORE 1.2599939202E7
AT ITER 945 NEW BEST:: SOT 70260059 SOS 51660958 HAS SOPS 45137364 HAS SOUS 12652429 HAS SOUPS 12544346 WITH SCORE 1.2596006958E7
AT ITER 950 NEW BEST:: SOT 70264598 SOS 51665930 HAS SOPS 45143761 HAS SOUS 12649988 HAS SOUPS 12541905 WITH SCORE 1.259357093E7
AT ITER 951 NEW BEST:: SOT 70263824 SOS 51665020 HAS SOPS 45142571 HAS SOUS 12649230 HAS SOUPS 12541155 WITH SCORE 1.259282002E7
AT ITER 955 NEW BEST:: SOT 70242962 SOS 51619338 HAS SOPS 45104116 HAS SOUS 12651941 HAS SOUPS 12540595 WITH SCORE 1.2592214338E7
AT ITER 956 NEW BEST:: SOT 70242721 SOS 51619097 HAS SOPS 45103874 HAS SOUS 12651775 HAS SOUPS 12540429 WITH SCORE 1.2592048097E7
AT ITER 957 NEW BEST:: SOT 70242497 SOS 51618913 HAS SOPS 45103598 HAS SOUS 12651711 HAS SOUPS 12540361 WITH SCORE 1.2591979913E7
AT ITER 958 NEW BEST:: SOT 70236969 SOS 51613267 HAS SOPS 45099122 HAS SOUS 12643786 HAS SOUPS 12533576 WITH SCORE 1.2585189267E7
AT ITER 963 NEW BEST:: SOT 70240695 SOS 51616693 HAS SOPS 45100868 HAS SOUS 12643177 HAS SOUPS 12533027 WITH SCORE 1.2584643693E7
AT ITER 964 NEW BEST:: SOT 70246684 SOS 51622548 HAS SOPS 45103689 HAS SOUS 12638171 HAS SOUPS 12528021 WITH SCORE 1.2579643548E7
AT ITER 972 NEW BEST:: SOT 70222387 SOS 51538703 HAS SOPS 45016016 HAS SOUS 12592308 HAS SOUPS 12482158 WITH SCORE 1.2533696703E7
AT ITER 974 NEW BEST:: SOT 70224784 SOS 51541419 HAS SOPS 45018923 HAS SOUS 12591862 HAS SOUPS 12481712 WITH SCORE 1.2533253419E7
AT ITER 975 NEW BEST:: SOT 70225047 SOS 51541634 HAS SOPS 45019150 HAS SOUS 12591736 HAS SOUPS 12481586 WITH SCORE 1.2533127634E7
AT ITER 986 NEW BEST:: SOT 70224936 SOS 51541745 HAS SOPS 45019039 HAS SOUS 12588262 HAS SOUPS 12478112 WITH SCORE 1.2529653745E7
AT ITER 993 NEW BEST:: SOT 70234695 SOS 51551199 HAS SOPS 45022414 HAS SOUS 12583868 HAS SOUPS 12473844 WITH SCORE 1.2525395199E7
AT ITER 998 NEW BEST:: SOT 70234350 SOS 51550800 HAS SOPS 45021987 HAS SOUS 12582423 HAS SOUPS 12472399 WITH SCORE 1.25239498E7
AT ITER 1019 NEW BEST:: SOT 70241150 SOS 51557672 HAS SOPS 45028490 HAS SOUS 12579152 HAS SOUPS 12469728 WITH SCORE 1.2521285672E7
AT ITER 1031 NEW BEST:: SOT 70240490 SOS 51556990 HAS SOPS 45027786 HAS SOUS 12577282 HAS SOUPS 12467880 WITH SCORE 1.251943699E7
AT ITER 1047 NEW BEST:: SOT 70248145 SOS 51565028 HAS SOPS 45035554 HAS SOUS 12576986 HAS SOUPS 12467584 WITH SCORE 1.2519149028E7
AT ITER 1064 NEW BEST:: SOT 70244373 SOS 51562284 HAS SOPS 45032185 HAS SOUS 12576950 HAS SOUPS 12467318 WITH SCORE 1.2518880284E7
AT ITER 1068 NEW BEST:: SOT 70237758 SOS 51556241 HAS SOPS 45027107 HAS SOUS 12574378 HAS SOUPS 12464746 WITH SCORE 1.2516302241E7
AT ITER 1073 NEW BEST:: SOT 70230141 SOS 51503840 HAS SOPS 44951154 HAS SOUS 12557241 HAS SOUPS 12447364 WITH SCORE 1.249886784E7
AT ITER 1077 NEW BEST:: SOT 70235317 SOS 51517933 HAS SOPS 44963318 HAS SOUS 12555990 HAS SOUPS 12446231 WITH SCORE 1.2497748933E7
AT ITER 1088 NEW BEST:: SOT 70243850 SOS 51538477 HAS SOPS 44976792 HAS SOUS 12544744 HAS SOUPS 12435107 WITH SCORE 1.2486645477E7
AT ITER 1091 NEW BEST:: SOT 70243850 SOS 51518173 HAS SOPS 44956488 HAS SOUS 12544744 HAS SOUPS 12435107 WITH SCORE 1.2486625173E7
AT ITER 1097 NEW BEST:: SOT 70229974 SOS 51560756 HAS SOPS 44995490 HAS SOUS 12544818 HAS SOUPS 12434898 WITH SCORE 1.2486458756E7
AT ITER 1112 NEW BEST:: SOT 70219882 SOS 51550664 HAS SOPS 44986528 HAS SOUS 12542303 HAS SOUPS 12432383 WITH SCORE 1.2483933664E7
AT ITER 1133 NEW BEST:: SOT 70219918 SOS 51571009 HAS SOPS 45006865 HAS SOUS 12541795 HAS SOUPS 12431875 WITH SCORE 1.2483446009E7
AT ITER 1135 NEW BEST:: SOT 70235302 SOS 51526489 HAS SOPS 44979907 HAS SOUS 12538346 HAS SOUPS 12428813 WITH SCORE 1.2480339489E7
AT ITER 1139 NEW BEST:: SOT 70222361 SOS 51510640 HAS SOPS 44954840 HAS SOUS 12514491 HAS SOUPS 12404958 WITH SCORE 1.245646864E7
AT ITER 1143 NEW BEST:: SOT 70205002 SOS 51562713 HAS SOPS 45009357 HAS SOUS 12496393 HAS SOUPS 12389072 WITH SCORE 1.2440634713E7
AT ITER 1145 NEW BEST:: SOT 70185922 SOS 51543633 HAS SOPS 44990277 HAS SOUS 12475431 HAS SOUPS 12368110 WITH SCORE 1.2419653633E7
AT ITER 1150 NEW BEST:: SOT 70200907 SOS 51559338 HAS SOPS 45007709 HAS SOUS 12473280 HAS SOUPS 12365959 WITH SCORE 1.2417518338E7
AT ITER 1160 NEW BEST:: SOT 70200910 SOS 51559297 HAS SOPS 45007621 HAS SOUS 12473011 HAS SOUPS 12365690 WITH SCORE 1.2417249297E7
AT ITER 1163 NEW BEST:: SOT 70193931 SOS 51566331 HAS SOPS 44988550 HAS SOUS 12462458 HAS SOUPS 12355067 WITH SCORE 1.2406633331E7
AT ITER 1179 NEW BEST:: SOT 70186823 SOS 51559794 HAS SOPS 44980883 HAS SOUS 12460090 HAS SOUPS 12352637 WITH SCORE 1.2404196794E7
AT ITER 1185 NEW BEST:: SOT 70221754 SOS 51635364 HAS SOPS 45039616 HAS SOUS 12442676 HAS SOUPS 12335090 WITH SCORE 1.2386725364E7
AT ITER 1199 NEW BEST:: SOT 70225594 SOS 51622707 HAS SOPS 45020747 HAS SOUS 12433991 HAS SOUPS 12326405 WITH SCORE 1.2378027707E7
AT ITER 1220 NEW BEST:: SOT 70225518 SOS 51622640 HAS SOPS 45020675 HAS SOUS 12433833 HAS SOUPS 12326247 WITH SCORE 1.237786964E7
AT ITER 1225 NEW BEST:: SOT 70228154 SOS 51625276 HAS SOPS 45023081 HAS SOUS 12433636 HAS SOUPS 12326050 WITH SCORE 1.2377675276E7
AT ITER 1248 NEW BEST:: SOT 70302274 SOS 51699206 HAS SOPS 45095493 HAS SOUS 12415546 HAS SOUPS 12308115 WITH SCORE 1.2359814206E7
AT ITER 1252 NEW BEST:: SOT 70300326 SOS 51697436 HAS SOPS 45093975 HAS SOUS 12415262 HAS SOUPS 12307831 WITH SCORE 1.2359528436E7
AT ITER 1262 NEW BEST:: SOT 70295088 SOS 51693333 HAS SOPS 45091057 HAS SOUS 12398158 HAS SOUPS 12290727 WITH SCORE 1.2342420333E7
AT ITER 1277 NEW BEST:: SOT 70289389 SOS 51686688 HAS SOPS 45079545 HAS SOUS 12372710 HAS SOUPS 12265279 WITH SCORE 1.2316965688E7
AT ITER 1278 NEW BEST:: SOT 70286718 SOS 51683859 HAS SOPS 45075844 HAS SOUS 12360945 HAS SOUPS 12253514 WITH SCORE 1.2305197859E7
AT ITER 1279 NEW BEST:: SOT 70293774 SOS 51690529 HAS SOPS 45080203 HAS SOUS 12358574 HAS SOUPS 12251230 WITH SCORE 1.2302920529E7
AT ITER 1281 NEW BEST:: SOT 70296299 SOS 51739292 HAS SOPS 45121315 HAS SOUS 12330303 HAS SOUPS 12222959 WITH SCORE 1.2274698292E7
AT ITER 1305 NEW BEST:: SOT 70301175 SOS 51746577 HAS SOPS 45126896 HAS SOUS 12328022 HAS SOUPS 12220679 WITH SCORE 1.2272425577E7
AT ITER 1308 NEW BEST:: SOT 70296434 SOS 51742320 HAS SOPS 45123306 HAS SOUS 12325917 HAS SOUPS 12218574 WITH SCORE 1.227031632E7
AT ITER 1314 NEW BEST:: SOT 70296701 SOS 51738567 HAS SOPS 45119438 HAS SOUS 12325781 HAS SOUPS 12218438 WITH SCORE 1.2270176567E7
AT ITER 1322 NEW BEST:: SOT 70272246 SOS 51731702 HAS SOPS 45100592 HAS SOUS 12272619 HAS SOUPS 12165276 WITH SCORE 1.2217007702E7
AT ITER 1329 NEW BEST:: SOT 70272029 SOS 51731463 HAS SOPS 45100288 HAS SOUS 12271969 HAS SOUPS 12164626 WITH SCORE 1.2216357463E7
AT ITER 1340 NEW BEST:: SOT 70344042 SOS 51811336 HAS SOPS 45164599 HAS SOUS 12261306 HAS SOUPS 12153963 WITH SCORE 1.2205774336E7
AT ITER 1360 NEW BEST:: SOT 70344792 SOS 51811585 HAS SOPS 45164197 HAS SOUS 12260200 HAS SOUPS 12152929 WITH SCORE 1.2204740585E7
AT ITER 1364 NEW BEST:: SOT 70346002 SOS 51813161 HAS SOPS 45165297 HAS SOUS 12259174 HAS SOUPS 12151881 WITH SCORE 1.2203694161E7
AT ITER 1367 NEW BEST:: SOT 70305867 SOS 51780493 HAS SOPS 45133843 HAS SOUS 12240296 HAS SOUPS 12133003 WITH SCORE 1.2184783493E7
AT ITER 1369 NEW BEST:: SOT 70467851 SOS 51941026 HAS SOPS 45284163 HAS SOUS 12232046 HAS SOUPS 12124884 WITH SCORE 1.2176825026E7
AT ITER 1371 NEW BEST:: SOT 70449306 SOS 51922169 HAS SOPS 45265648 HAS SOUS 12212861 HAS SOUPS 12106146 WITH SCORE 1.2158068169E7
AT ITER 1373 NEW BEST:: SOT 70449511 SOS 51921341 HAS SOPS 45264802 HAS SOUS 12212040 HAS SOUPS 12105296 WITH SCORE 1.2157217341E7
AT ITER 1383 NEW BEST:: SOT 70445037 SOS 51916864 HAS SOPS 45260268 HAS SOUS 12206051 HAS SOUPS 12099307 WITH SCORE 1.2151223864E7
AT ITER 1395 NEW BEST:: SOT 70445015 SOS 51917168 HAS SOPS 45259207 HAS SOUS 12199623 HAS SOUPS 12092879 WITH SCORE 1.2144796168E7
AT ITER 1396 NEW BEST:: SOT 70444163 SOS 51919999 HAS SOPS 45261007 HAS SOUS 12197485 HAS SOUPS 12090741 WITH SCORE 1.2142660999E7
AT ITER 1406 NEW BEST:: SOT 70404010 SOS 51879799 HAS SOPS 45220399 HAS SOUS 12146681 HAS SOUPS 12039937 WITH SCORE 1.2091816799E7
AT ITER 1408 NEW BEST:: SOT 70403476 SOS 51878540 HAS SOPS 45217252 HAS SOUS 12142196 HAS SOUPS 12035342 WITH SCORE 1.208722054E7
AT ITER 1411 NEW BEST:: SOT 70393918 SOS 51869054 HAS SOPS 45210271 HAS SOUS 12141226 HAS SOUPS 12034372 WITH SCORE 1.2086241054E7
AT ITER 1422 NEW BEST:: SOT 70390490 SOS 51865534 HAS SOPS 45206473 HAS SOUS 12131034 HAS SOUPS 12024180 WITH SCORE 1.2076045534E7
AT ITER 1434 NEW BEST:: SOT 70392692 SOS 51869458 HAS SOPS 45211287 HAS SOUS 12117752 HAS SOUPS 12010898 WITH SCORE 1.2062767458E7
AT ITER 1454 NEW BEST:: SOT 70407201 SOS 51879208 HAS SOPS 45211292 HAS SOUS 12108048 HAS SOUPS 12001309 WITH SCORE 1.2053188208E7
AT ITER 1463 NEW BEST:: SOT 70384501 SOS 51824392 HAS SOPS 45152369 HAS SOUS 12096143 HAS SOUPS 11987873 WITH SCORE 1.2039697392E7
AT ITER 1503 NEW BEST:: SOT 70434107 SOS 51886144 HAS SOPS 45186551 HAS SOUS 12058013 HAS SOUPS 11949994 WITH SCORE 1.2001880144E7
AT ITER 1520 NEW BEST:: SOT 70408939 SOS 51860976 HAS SOPS 45162118 HAS SOUS 12034000 HAS SOUPS 11926226 WITH SCORE 1.1978086976E7
AT ITER 1528 NEW BEST:: SOT 70409035 SOS 51861108 HAS SOPS 45162286 HAS SOUS 12033952 HAS SOUPS 11926178 WITH SCORE 1.1978039108E7
AT ITER 1539 NEW BEST:: SOT 70406835 SOS 51858959 HAS SOPS 45160392 HAS SOUS 12032629 HAS SOUPS 11924855 WITH SCORE 1.1976713959E7
AT ITER 1544 NEW BEST:: SOT 70406818 SOS 51858858 HAS SOPS 45160310 HAS SOUS 12032520 HAS SOUPS 11924747 WITH SCORE 1.1976605858E7
AT ITER 1551 NEW BEST:: SOT 70405610 SOS 51857618 HAS SOPS 45159014 HAS SOUS 12030035 HAS SOUPS 11922262 WITH SCORE 1.1974119618E7
AT ITER 1568 NEW BEST:: SOT 70413476 SOS 51864806 HAS SOPS 45162830 HAS SOUS 12029096 HAS SOUPS 11921413 WITH SCORE 1.1973277806E7
AT ITER 1580 NEW BEST:: SOT 70413823 SOS 51865683 HAS SOPS 45162972 HAS SOUS 12028331 HAS SOUPS 11920648 WITH SCORE 1.1972513683E7
AT ITER 1592 NEW BEST:: SOT 70411038 SOS 51860483 HAS SOPS 45157987 HAS SOUS 12027522 HAS SOUPS 11919819 WITH SCORE 1.1971679483E7
AT ITER 1598 NEW BEST:: SOT 70469623 SOS 51910005 HAS SOPS 45193721 HAS SOUS 12014882 HAS SOUPS 11907575 WITH SCORE 1.1959485005E7
AT ITER 1602 NEW BEST:: SOT 70466013 SOS 51898399 HAS SOPS 45181185 HAS SOUS 12006398 HAS SOUPS 11899091 WITH SCORE 1.1950989399E7
AT ITER 1616 NEW BEST:: SOT 70466511 SOS 51898897 HAS SOPS 45181537 HAS SOUS 12004732 HAS SOUPS 11897425 WITH SCORE 1.1949323897E7
AT ITER 1684 NEW BEST:: SOT 70465831 SOS 51898044 HAS SOPS 45180511 HAS SOUS 11991769 HAS SOUPS 11884462 WITH SCORE 1.1936360044E7
AT ITER 1691 NEW BEST:: SOT 70458342 SOS 51891270 HAS SOPS 45165789 HAS SOUS 11974119 HAS SOUPS 11866812 WITH SCORE 1.191870327E7
AT ITER 1704 NEW BEST:: SOT 70442667 SOS 51869861 HAS SOPS 45145541 HAS SOUS 11958802 HAS SOUPS 11851185 WITH SCORE 1.1903054861E7
AT ITER 1729 NEW BEST:: SOT 70442000 SOS 51868993 HAS SOPS 45143819 HAS SOUS 11958234 HAS SOUPS 11850617 WITH SCORE 1.1902485993E7
AT ITER 1731 NEW BEST:: SOT 70423520 SOS 51853868 HAS SOPS 45128700 HAS SOUS 11943299 HAS SOUPS 11835682 WITH SCORE 1.1887535868E7
AT ITER 1734 NEW BEST:: SOT 70426690 SOS 51857259 HAS SOPS 45131305 HAS SOUS 11942932 HAS SOUPS 11835315 WITH SCORE 1.1887172259E7
AT ITER 1743 NEW BEST:: SOT 70426057 SOS 51868866 HAS SOPS 45143002 HAS SOUS 11941771 HAS SOUPS 11834111 WITH SCORE 1.1885979866E7
AT ITER 1761 NEW BEST:: SOT 70422005 SOS 51864804 HAS SOPS 45138575 HAS SOUS 11934775 HAS SOUPS 11827115 WITH SCORE 1.1878979804E7
AT ITER 1787 NEW BEST:: SOT 70420876 SOS 51863894 HAS SOPS 45137295 HAS SOUS 11924332 HAS SOUPS 11816672 WITH SCORE 1.1868535894E7
AT ITER 1797 NEW BEST:: SOT 70395072 SOS 51839656 HAS SOPS 45111443 HAS SOUS 11900310 HAS SOUPS 11792650 WITH SCORE 1.1844489656E7
AT ITER 1800 NEW BEST:: SOT 70396128 SOS 51840712 HAS SOPS 45112433 HAS SOUS 11899702 HAS SOUPS 11792042 WITH SCORE 1.1843882712E7
AT ITER 1810 NEW BEST:: SOT 70396101 SOS 51840685 HAS SOPS 45112406 HAS SOUS 11899654 HAS SOUPS 11791994 WITH SCORE 1.1843834685E7
AT ITER 1813 NEW BEST:: SOT 70391431 SOS 51836045 HAS SOPS 45107666 HAS SOUS 11894514 HAS SOUPS 11786854 WITH SCORE 1.1838690045E7
AT ITER 1815 NEW BEST:: SOT 70394472 SOS 51838760 HAS SOPS 45106545 HAS SOUS 11878687 HAS SOUPS 11770911 WITH SCORE 1.182274976E7
AT ITER 1825 NEW BEST:: SOT 70396979 SOS 51841663 HAS SOPS 45109883 HAS SOUS 11875053 HAS SOUPS 11767277 WITH SCORE 1.1819118663E7
AT ITER 1830 NEW BEST:: SOT 70398744 SOS 51843353 HAS SOPS 45111057 HAS SOUS 11874588 HAS SOUPS 11766755 WITH SCORE 1.1818598353E7
AT ITER 1851 NEW BEST:: SOT 70429476 SOS 51874582 HAS SOPS 45146098 HAS SOUS 11867643 HAS SOUPS 11759960 WITH SCORE 1.1811834582E7
AT ITER 1874 NEW BEST:: SOT 70429476 SOS 51884811 HAS SOPS 45156954 HAS SOUS 11867338 HAS SOUPS 11759692 WITH SCORE 1.1811576811E7
AT ITER 1877 NEW BEST:: SOT 70426771 SOS 51881321 HAS SOPS 45151454 HAS SOUS 11854729 HAS SOUPS 11747083 WITH SCORE 1.1798964321E7
AT ITER 1878 NEW BEST:: SOT 70414669 SOS 51869349 HAS SOPS 45133663 HAS SOUS 11840921 HAS SOUPS 11733275 WITH SCORE 1.1785144349E7
AT ITER 1882 NEW BEST:: SOT 70371414 SOS 51834892 HAS SOPS 45097449 HAS SOUS 11837637 HAS SOUPS 11729991 WITH SCORE 1.1781825892E7
AT ITER 1886 NEW BEST:: SOT 70363028 SOS 51826730 HAS SOPS 45083808 HAS SOUS 11832133 HAS SOUPS 11724487 WITH SCORE 1.177631373E7
AT ITER 1893 NEW BEST:: SOT 70365938 SOS 51829732 HAS SOPS 45086458 HAS SOUS 11825273 HAS SOUPS 11717627 WITH SCORE 1.1769456732E7
AT ITER 1907 NEW BEST:: SOT 70364149 SOS 51827936 HAS SOPS 45084430 HAS SOUS 11818478 HAS SOUPS 11710832 WITH SCORE 1.1762659936E7
AT ITER 1916 NEW BEST:: SOT 70364581 SOS 51828512 HAS SOPS 45085150 HAS SOUS 11817862 HAS SOUPS 11710216 WITH SCORE 1.1762044512E7
AT ITER 1928 NEW BEST:: SOT 70370477 SOS 51834201 HAS SOPS 45089844 HAS SOUS 11803083 HAS SOUPS 11695341 WITH SCORE 1.1747175201E7
AT ITER 1929 NEW BEST:: SOT 70363536 SOS 51885123 HAS SOPS 45141789 HAS SOUS 11796883 HAS SOUPS 11689141 WITH SCORE 1.1741026123E7
AT ITER 1952 NEW BEST:: SOT 70367286 SOS 51888811 HAS SOPS 45147629 HAS SOUS 11791519 HAS SOUPS 11683777 WITH SCORE 1.1735665811E7
AT ITER 1955 NEW BEST:: SOT 70372127 SOS 51893976 HAS SOPS 45152950 HAS SOUS 11790825 HAS SOUPS 11683083 WITH SCORE 1.1734976976E7
AT ITER 1975 NEW BEST:: SOT 70366119 SOS 51887513 HAS SOPS 45146320 HAS SOUS 11788336 HAS SOUPS 11680594 WITH SCORE 1.1732481513E7
AT ITER 1986 NEW BEST:: SOT 70355322 SOS 51871967 HAS SOPS 45125052 HAS SOUS 11780915 HAS SOUPS 11673173 WITH SCORE 1.1725044967E7
AT ITER 1990 NEW BEST:: SOT 70360479 SOS 51867494 HAS SOPS 45122341 HAS SOUS 11780800 HAS SOUPS 11673163 WITH SCORE 1.1725030494E7
AT ITER 1991 NEW BEST:: SOT 70360378 SOS 51867430 HAS SOPS 45122269 HAS SOUS 11779856 HAS SOUPS 11672219 WITH SCORE 1.172408643E7
AT ITER 2004 NEW BEST:: SOT 70338740 SOS 51845792 HAS SOPS 45100631 HAS SOUS 11758218 HAS SOUPS 11650581 WITH SCORE 1.1702426792E7
AT ITER 2005 NEW BEST:: SOT 70337510 SOS 51844643 HAS SOPS 45099541 HAS SOUS 11755658 HAS SOUPS 11648021 WITH SCORE 1.1699865643E7
AT ITER 2006 NEW BEST:: SOT 70235740 SOS 51742873 HAS SOPS 44997768 HAS SOUS 11632937 HAS SOUPS 11525300 WITH SCORE 1.1577042873E7
AT ITER 2017 NEW BEST:: SOT 70243280 SOS 51737857 HAS SOPS 45008865 HAS SOUS 11632145 HAS SOUPS 11524590 WITH SCORE 1.1576327857E7
AT ITER 2028 NEW BEST:: SOT 70234853 SOS 51729425 HAS SOPS 44999103 HAS SOUS 11622080 HAS SOUPS 11514640 WITH SCORE 1.1566369425E7
AT ITER 2033 NEW BEST:: SOT 70235439 SOS 51731149 HAS SOPS 44998700 HAS SOUS 11621153 HAS SOUPS 11513714 WITH SCORE 1.1565445149E7
AT ITER 2054 NEW BEST:: SOT 70212943 SOS 51692776 HAS SOPS 44977809 HAS SOUS 11606652 HAS SOUPS 11499304 WITH SCORE 1.1550996776E7
AT ITER 2061 NEW BEST:: SOT 70318121 SOS 51792785 HAS SOPS 45040105 HAS SOUS 11598091 HAS SOUPS 11490221 WITH SCORE 1.1542013785E7
AT ITER 2065 NEW BEST:: SOT 70314704 SOS 51789405 HAS SOPS 45035144 HAS SOUS 11597061 HAS SOUPS 11489191 WITH SCORE 1.1540980405E7
AT ITER 2067 NEW BEST:: SOT 70315001 SOS 51790176 HAS SOPS 45036065 HAS SOUS 11596938 HAS SOUPS 11489068 WITH SCORE 1.1540858176E7
AT ITER 2075 NEW BEST:: SOT 70315356 SOS 51728206 HAS SOPS 44964706 HAS SOUS 11597025 HAS SOUPS 11489128 WITH SCORE 1.1540856206E7
AT ITER 2087 NEW BEST:: SOT 70322399 SOS 51735452 HAS SOPS 44971618 HAS SOUS 11595231 HAS SOUPS 11487334 WITH SCORE 1.1539069452E7
AT ITER 2094 NEW BEST:: SOT 70395284 SOS 51805338 HAS SOPS 45036141 HAS SOUS 11559898 HAS SOUPS 11452444 WITH SCORE 1.1504249338E7
AT ITER 2101 NEW BEST:: SOT 70396292 SOS 51806297 HAS SOPS 45037208 HAS SOUS 11559504 HAS SOUPS 11452050 WITH SCORE 1.1503856297E7
AT ITER 2102 NEW BEST:: SOT 70401867 SOS 51811860 HAS SOPS 45040141 HAS SOUS 11555133 HAS SOUPS 11447012 WITH SCORE 1.149882386E7
AT ITER 2110 NEW BEST:: SOT 70398865 SOS 51809153 HAS SOPS 45043269 HAS SOUS 11547376 HAS SOUPS 11439238 WITH SCORE 1.1491047153E7
AT ITER 2117 NEW BEST:: SOT 70397825 SOS 51807983 HAS SOPS 45041904 HAS SOUS 11545760 HAS SOUPS 11437622 WITH SCORE 1.1489429983E7
AT ITER 2124 NEW BEST:: SOT 70397016 SOS 51799243 HAS SOPS 45040613 HAS SOUS 11545153 HAS SOUPS 11437043 WITH SCORE 1.1488842243E7
AT ITER 2152 NEW BEST:: SOT 70401621 SOS 51803615 HAS SOPS 45042755 HAS SOUS 11536010 HAS SOUPS 11427900 WITH SCORE 1.1479703615E7
AT ITER 2157 NEW BEST:: SOT 70389223 SOS 51798936 HAS SOPS 45038289 HAS SOUS 11526642 HAS SOUPS 11418532 WITH SCORE 1.1470330936E7
AT ITER 2168 NEW BEST:: SOT 70379914 SOS 51789418 HAS SOPS 45028446 HAS SOUS 11520449 HAS SOUPS 11412339 WITH SCORE 1.1464128418E7
AT ITER 2169 NEW BEST:: SOT 70383394 SOS 51793003 HAS SOPS 45031928 HAS SOUS 11519879 HAS SOUPS 11411769 WITH SCORE 1.1463562003E7
AT ITER 2187 NEW BEST:: SOT 70383394 SOS 51789661 HAS SOPS 45028586 HAS SOUS 11519855 HAS SOUPS 11411745 WITH SCORE 1.1463534661E7
AT ITER 2188 NEW BEST:: SOT 70383750 SOS 51790078 HAS SOPS 45028571 HAS SOUS 11515494 HAS SOUPS 11407384 WITH SCORE 1.1459174078E7
AT ITER 2189 NEW BEST:: SOT 70381299 SOS 51796408 HAS SOPS 45012000 HAS SOUS 11513428 HAS SOUPS 11405318 WITH SCORE 1.1457114408E7
AT ITER 2197 NEW BEST:: SOT 70381693 SOS 51798878 HAS SOPS 45019955 HAS SOUS 11512457 HAS SOUPS 11404347 WITH SCORE 1.1456145878E7
AT ITER 2201 NEW BEST:: SOT 70382202 SOS 51799413 HAS SOPS 45020480 HAS SOUS 11512359 HAS SOUPS 11404249 WITH SCORE 1.1456048413E7
AT ITER 2206 NEW BEST:: SOT 70374076 SOS 51791351 HAS SOPS 45007029 HAS SOUS 11505503 HAS SOUPS 11397393 WITH SCORE 1.1449184351E7
AT ITER 2208 NEW BEST:: SOT 70430742 SOS 51848074 HAS SOPS 45048691 HAS SOUS 11491851 HAS SOUPS 11382428 WITH SCORE 1.1434276074E7
AT ITER 2210 NEW BEST:: SOT 70425335 SOS 51842281 HAS SOPS 45042567 HAS SOUS 11491337 HAS SOUPS 11381914 WITH SCORE 1.1433756281E7
AT ITER 2213 NEW BEST:: SOT 70422618 SOS 51840190 HAS SOPS 45038901 HAS SOUS 11486385 HAS SOUPS 11376962 WITH SCORE 1.142880219E7
AT ITER 2219 NEW BEST:: SOT 70422618 SOS 51840150 HAS SOPS 45038821 HAS SOUS 11486265 HAS SOUPS 11376842 WITH SCORE 1.142868215E7
AT ITER 2226 NEW BEST:: SOT 70422686 SOS 51839718 HAS SOPS 45038385 HAS SOUS 11486229 HAS SOUPS 11376806 WITH SCORE 1.1428645718E7
AT ITER 2242 NEW BEST:: SOT 70421531 SOS 51838717 HAS SOPS 45037307 HAS SOUS 11482841 HAS SOUPS 11373418 WITH SCORE 1.1425256717E7
AT ITER 2243 NEW BEST:: SOT 70420302 SOS 51801975 HAS SOPS 45000130 HAS SOUS 11481907 HAS SOUPS 11372484 WITH SCORE 1.1424285975E7
AT ITER 2245 NEW BEST:: SOT 70420035 SOS 51801759 HAS SOPS 44999759 HAS SOUS 11479015 HAS SOUPS 11369592 WITH SCORE 1.1421393759E7
AT ITER 2247 NEW BEST:: SOT 70430046 SOS 51791993 HAS SOPS 44998397 HAS SOUS 11471271 HAS SOUPS 11361936 WITH SCORE 1.1413727993E7
AT ITER 2248 NEW BEST:: SOT 70443657 SOS 51791057 HAS SOPS 44996135 HAS SOUS 11468094 HAS SOUPS 11358980 WITH SCORE 1.1410771057E7
AT ITER 2255 NEW BEST:: SOT 70443432 SOS 51790196 HAS SOPS 44994030 HAS SOUS 11467920 HAS SOUPS 11358806 WITH SCORE 1.1410596196E7
AT ITER 2274 NEW BEST:: SOT 70441153 SOS 51811835 HAS SOPS 45015708 HAS SOUS 11467564 HAS SOUPS 11358450 WITH SCORE 1.1410261835E7
AT ITER 2291 NEW BEST:: SOT 70452569 SOS 51822263 HAS SOPS 45020727 HAS SOUS 11432262 HAS SOUPS 11323148 WITH SCORE 1.1374970263E7
AT ITER 2294 NEW BEST:: SOT 70443697 SOS 51813532 HAS SOPS 45008140 HAS SOUS 11419496 HAS SOUPS 11310332 WITH SCORE 1.1362145532E7
AT ITER 2296 NEW BEST:: SOT 70468876 SOS 51798635 HAS SOPS 45006419 HAS SOUS 11409175 HAS SOUPS 11300011 WITH SCORE 1.1351809635E7
AT ITER 2305 NEW BEST:: SOT 70573427 SOS 51902642 HAS SOPS 45103117 HAS SOUS 11390860 HAS SOUPS 11281848 WITH SCORE 1.1333750642E7
AT ITER 2325 NEW BEST:: SOT 70568204 SOS 51895394 HAS SOPS 45095785 HAS SOUS 11389125 HAS SOUPS 11280085 WITH SCORE 1.1331980394E7
AT ITER 2348 NEW BEST:: SOT 70567595 SOS 51894768 HAS SOPS 45095047 HAS SOUS 11388228 HAS SOUPS 11279188 WITH SCORE 1.1331082768E7
AT ITER 2354 NEW BEST:: SOT 70580373 SOS 51916241 HAS SOPS 45104890 HAS SOUS 11385966 HAS SOUPS 11276840 WITH SCORE 1.1328756241E7
AT ITER 2361 NEW BEST:: SOT 70586455 SOS 51922694 HAS SOPS 45110983 HAS SOUS 11379895 HAS SOUPS 11270769 WITH SCORE 1.1322691694E7
AT ITER 2399 NEW BEST:: SOT 70573075 SOS 51908884 HAS SOPS 45097197 HAS SOUS 11370284 HAS SOUPS 11261158 WITH SCORE 1.1313066884E7
AT ITER 2405 NEW BEST:: SOT 70575118 SOS 51910851 HAS SOPS 45098772 HAS SOUS 11361166 HAS SOUPS 11251950 WITH SCORE 1.1303860851E7
AT ITER 2422 NEW BEST:: SOT 70600315 SOS 51935762 HAS SOPS 45112443 HAS SOUS 11342123 HAS SOUPS 11232907 WITH SCORE 1.1284842762E7
AT ITER 2439 NEW BEST:: SOT 70597113 SOS 51931809 HAS SOPS 45100804 HAS SOUS 11328066 HAS SOUPS 11218850 WITH SCORE 1.1270781809E7
AT ITER 2444 NEW BEST:: SOT 70601532 SOS 51949932 HAS SOPS 45139597 HAS SOUS 11327357 HAS SOUPS 11218242 WITH SCORE 1.1270191932E7
AT ITER 2445 NEW BEST:: SOT 70601598 SOS 51952102 HAS SOPS 45142724 HAS SOUS 11325595 HAS SOUPS 11216516 WITH SCORE 1.1268468102E7
AT ITER 2452 NEW BEST:: SOT 70599891 SOS 51950392 HAS SOPS 45140961 HAS SOUS 11323025 HAS SOUPS 11213946 WITH SCORE 1.1265896392E7
AT ITER 2460 NEW BEST:: SOT 70595462 SOS 51945963 HAS SOPS 45138237 HAS SOUS 11318761 HAS SOUPS 11210232 WITH SCORE 1.1262177963E7
AT ITER 2466 NEW BEST:: SOT 70596200 SOS 51947786 HAS SOPS 45139232 HAS SOUS 11318090 HAS SOUPS 11209561 WITH SCORE 1.1261508786E7
AT ITER 2469 NEW BEST:: SOT 70600663 SOS 51952222 HAS SOPS 45143667 HAS SOUS 11317177 HAS SOUPS 11208648 WITH SCORE 1.1260600222E7
AT ITER 2481 NEW BEST:: SOT 70595211 SOS 51946416 HAS SOPS 45137117 HAS SOUS 11304199 HAS SOUPS 11195670 WITH SCORE 1.1247616416E7
AT ITER 2490 NEW BEST:: SOT 70604117 SOS 51955149 HAS SOPS 45144251 HAS SOUS 11297157 HAS SOUPS 11188628 WITH SCORE 1.1240583149E7
AT ITER 2492 NEW BEST:: SOT 70569208 SOS 51920237 HAS SOPS 45108911 HAS SOUS 11270409 HAS SOUPS 11161880 WITH SCORE 1.1213800237E7
AT ITER 2495 NEW BEST:: SOT 70568893 SOS 51919922 HAS SOPS 45108581 HAS SOUS 11269734 HAS SOUPS 11161205 WITH SCORE 1.1213124922E7
AT ITER 2504 NEW BEST:: SOT 70572577 SOS 51923611 HAS SOPS 45112459 HAS SOUS 11263122 HAS SOUPS 11154593 WITH SCORE 1.1206516611E7
AT ITER 2511 NEW BEST:: SOT 70621181 SOS 51967669 HAS SOPS 45147102 HAS SOUS 11246614 HAS SOUPS 11138428 WITH SCORE 1.1190395669E7
AT ITER 2550 NEW BEST:: SOT 70675311 SOS 52015673 HAS SOPS 45179856 HAS SOUS 11243487 HAS SOUPS 11135056 WITH SCORE 1.1187071673E7
AT ITER 2552 NEW BEST:: SOT 70704976 SOS 52119866 HAS SOPS 45285743 HAS SOUS 11230874 HAS SOUPS 11122443 WITH SCORE 1.1174562866E7
AT ITER 2567 NEW BEST:: SOT 70713125 SOS 52164450 HAS SOPS 45324526 HAS SOUS 11224635 HAS SOUPS 11116204 WITH SCORE 1.116836845E7
AT ITER 2577 NEW BEST:: SOT 70712396 SOS 52163706 HAS SOPS 45323767 HAS SOUS 11223363 HAS SOUPS 11114932 WITH SCORE 1.1167095706E7
AT ITER 2582 NEW BEST:: SOT 70708455 SOS 52177583 HAS SOPS 45339140 HAS SOUS 11221132 HAS SOUPS 11112770 WITH SCORE 1.1164947583E7
AT ITER 2587 NEW BEST:: SOT 70707362 SOS 52176421 HAS SOPS 45337980 HAS SOUS 11219986 HAS SOUPS 11111624 WITH SCORE 1.1163800421E7
AT ITER 2617 NEW BEST:: SOT 70697248 SOS 52162824 HAS SOPS 45320006 HAS SOUS 11217520 HAS SOUPS 11109281 WITH SCORE 1.1161443824E7
AT ITER 2627 NEW BEST:: SOT 70696043 SOS 52161414 HAS SOPS 45318369 HAS SOUS 11215957 HAS SOUPS 11107718 WITH SCORE 1.1159879414E7
AT ITER 2650 NEW BEST:: SOT 70686666 SOS 52165565 HAS SOPS 45331345 HAS SOUS 11203283 HAS SOUPS 11095044 WITH SCORE 1.1147209565E7
AT ITER 2658 NEW BEST:: SOT 70686915 SOS 52165939 HAS SOPS 45332074 HAS SOUS 11202080 HAS SOUPS 11093841 WITH SCORE 1.1146006939E7
AT ITER 2659 NEW BEST:: SOT 70685995 SOS 52165019 HAS SOPS 45331114 HAS SOUS 11201440 HAS SOUPS 11093201 WITH SCORE 1.1145366019E7
AT ITER 2662 NEW BEST:: SOT 70685752 SOS 52164808 HAS SOPS 45330793 HAS SOUS 11200993 HAS SOUPS 11092754 WITH SCORE 1.1144918808E7
AT ITER 2690 NEW BEST:: SOT 70583218 SOS 52068100 HAS SOPS 45218250 HAS SOUS 11167135 HAS SOUPS 11059029 WITH SCORE 1.11110971E7
AT ITER 2692 NEW BEST:: SOT 70579589 SOS 52064364 HAS SOPS 45214078 HAS SOUS 11157657 HAS SOUPS 11049551 WITH SCORE 1.1101615364E7
AT ITER 2697 NEW BEST:: SOT 70569557 SOS 52081650 HAS SOPS 45210770 HAS SOUS 11124175 HAS SOUPS 11016069 WITH SCORE 1.106815065E7
AT ITER 2701 NEW BEST:: SOT 70574152 SOS 52085899 HAS SOPS 45216657 HAS SOUS 11124069 HAS SOUPS 11016014 WITH SCORE 1.1068099899E7
AT ITER 2702 NEW BEST:: SOT 70581050 SOS 52091967 HAS SOPS 45221607 HAS SOUS 11123890 HAS SOUPS 11015933 WITH SCORE 1.1068024967E7
AT ITER 2729 NEW BEST:: SOT 70581922 SOS 52093144 HAS SOPS 45222805 HAS SOUS 11120383 HAS SOUPS 11012426 WITH SCORE 1.1064519144E7
AT ITER 2740 NEW BEST:: SOT 70580942 SOS 52092232 HAS SOPS 45221861 HAS SOUS 11118927 HAS SOUPS 11010970 WITH SCORE 1.1063062232E7
AT ITER 2742 NEW BEST:: SOT 70569654 SOS 52080723 HAS SOPS 45212729 HAS SOUS 11114865 HAS SOUPS 11006908 WITH SCORE 1.1058988723E7
AT ITER 2746 NEW BEST:: SOT 70575296 SOS 52086055 HAS SOPS 45217615 HAS SOUS 11106619 HAS SOUPS 10998662 WITH SCORE 1.1050748055E7
AT ITER 2751 NEW BEST:: SOT 70574787 SOS 52085641 HAS SOPS 45216813 HAS SOUS 11103220 HAS SOUPS 10995263 WITH SCORE 1.1047348641E7
AT ITER 2756 NEW BEST:: SOT 70567977 SOS 52077407 HAS SOPS 45208661 HAS SOUS 11087062 HAS SOUPS 10979372 WITH SCORE 1.1031449407E7
AT ITER 2763 NEW BEST:: SOT 70567788 SOS 52077120 HAS SOPS 45208183 HAS SOUS 11085430 HAS SOUPS 10977740 WITH SCORE 1.102981712E7
AT ITER 2771 NEW BEST:: SOT 70571899 SOS 52095693 HAS SOPS 45225151 HAS SOUS 11083155 HAS SOUPS 10975465 WITH SCORE 1.1027560693E7
AT ITER 2773 NEW BEST:: SOT 70571311 SOS 52094779 HAS SOPS 45223436 HAS SOUS 11079777 HAS SOUPS 10972087 WITH SCORE 1.1024181779E7
AT ITER 2779 NEW BEST:: SOT 70573490 SOS 52098367 HAS SOPS 45226824 HAS SOUS 11079568 HAS SOUPS 10971878 WITH SCORE 1.1023976367E7
AT ITER 2788 NEW BEST:: SOT 70572428 SOS 52097305 HAS SOPS 45225666 HAS SOUS 11076629 HAS SOUPS 10968939 WITH SCORE 1.1021036305E7
AT ITER 2809 NEW BEST:: SOT 70593730 SOS 52118587 HAS SOPS 45244104 HAS SOUS 11068632 HAS SOUPS 10960942 WITH SCORE 1.1013060587E7
AT ITER 2821 NEW BEST:: SOT 70596664 SOS 52121048 HAS SOPS 45246005 HAS SOUS 11064462 HAS SOUPS 10956772 WITH SCORE 1.1008893048E7
AT ITER 2823 NEW BEST:: SOT 70596028 SOS 52120412 HAS SOPS 45245355 HAS SOUS 11062742 HAS SOUPS 10955052 WITH SCORE 1.1007172412E7
AT ITER 2825 NEW BEST:: SOT 70598518 SOS 52145618 HAS SOPS 45253388 HAS SOUS 11061224 HAS SOUPS 10953534 WITH SCORE 1.1005679618E7
AT ITER 2831 NEW BEST:: SOT 70596800 SOS 52127241 HAS SOPS 45232441 HAS SOUS 11055838 HAS SOUPS 10948148 WITH SCORE 1.1000275241E7
AT ITER 2844 NEW BEST:: SOT 70563581 SOS 52056897 HAS SOPS 45163511 HAS SOUS 11052015 HAS SOUPS 10944325 WITH SCORE 1.0996381897E7
AT ITER 2845 NEW BEST:: SOT 70563556 SOS 52056903 HAS SOPS 45163517 HAS SOUS 11051888 HAS SOUPS 10944198 WITH SCORE 1.0996254903E7
AT ITER 2851 NEW BEST:: SOT 70563754 SOS 52056933 HAS SOPS 45163319 HAS SOUS 11051096 HAS SOUPS 10943412 WITH SCORE 1.0995468933E7
AT ITER 2853 NEW BEST:: SOT 70556647 SOS 52049851 HAS SOPS 45154909 HAS SOUS 11046339 HAS SOUPS 10938655 WITH SCORE 1.0990704851E7
AT ITER 2856 NEW BEST:: SOT 70565561 SOS 52063876 HAS SOPS 45168563 HAS SOUS 11043975 HAS SOUPS 10936291 WITH SCORE 1.0988354876E7
AT ITER 2858 NEW BEST:: SOT 70561604 SOS 52089326 HAS SOPS 45194013 HAS SOUS 11043386 HAS SOUPS 10935702 WITH SCORE 1.0987791326E7
AT ITER 2866 NEW BEST:: SOT 70524600 SOS 52057631 HAS SOPS 45166106 HAS SOUS 11000743 HAS SOUPS 10893843 WITH SCORE 1.0945900631E7
AT ITER 2868 NEW BEST:: SOT 70524060 SOS 52057211 HAS SOPS 45165866 HAS SOUS 11000563 HAS SOUPS 10893663 WITH SCORE 1.0945720211E7
AT ITER 2869 NEW BEST:: SOT 70530349 SOS 52063541 HAS SOPS 45169919 HAS SOUS 10997046 HAS SOUPS 10890146 WITH SCORE 1.0942209541E7
AT ITER 2895 NEW BEST:: SOT 70531449 SOS 52064690 HAS SOPS 45171022 HAS SOUS 10996263 HAS SOUPS 10889363 WITH SCORE 1.094142769E7
AT ITER 2898 NEW BEST:: SOT 70542260 SOS 51994255 HAS SOPS 45185476 HAS SOUS 10992170 HAS SOUPS 10885566 WITH SCORE 1.0937560255E7
AT ITER 2929 NEW BEST:: SOT 70541500 SOS 51993495 HAS SOPS 45184716 HAS SOUS 10991410 HAS SOUPS 10884806 WITH SCORE 1.0936799495E7
AT ITER 2930 NEW BEST:: SOT 70538968 SOS 52008400 HAS SOPS 45180166 HAS SOUS 10991169 HAS SOUPS 10884565 WITH SCORE 1.09365734E7
AT ITER 2936 NEW BEST:: SOT 70538747 SOS 52008179 HAS SOPS 45179940 HAS SOUS 10990713 HAS SOUPS 10884109 WITH SCORE 1.0936117179E7
AT ITER 2937 NEW BEST:: SOT 70538392 SOS 52007821 HAS SOPS 45179587 HAS SOUS 10990277 HAS SOUPS 10883673 WITH SCORE 1.0935680821E7
AT ITER 2958 NEW BEST:: SOT 70538240 SOS 52007693 HAS SOPS 45179483 HAS SOUS 10989909 HAS SOUPS 10883305 WITH SCORE 1.0935312693E7
AT ITER 2962 NEW BEST:: SOT 70540148 SOS 52009192 HAS SOPS 45178694 HAS SOUS 10985864 HAS SOUPS 10879285 WITH SCORE 1.0931294192E7
AT ITER 2978 NEW BEST:: SOT 70520087 SOS 51988549 HAS SOPS 45161429 HAS SOUS 10982688 HAS SOUPS 10876109 WITH SCORE 1.0928097549E7
AT ITER 2991 NEW BEST:: SOT 70456103 SOS 51924535 HAS SOPS 45097415 HAS SOUS 10918674 HAS SOUPS 10812095 WITH SCORE 1.0864019535E7
AT ITER 2994 NEW BEST:: SOT 70451945 SOS 51920418 HAS SOPS 45092980 HAS SOUS 10911794 HAS SOUPS 10805215 WITH SCORE 1.0857135418E7
AT ITER 2995 NEW BEST:: SOT 70450529 SOS 51919084 HAS SOPS 45091430 HAS SOUS 10909402 HAS SOUPS 10802823 WITH SCORE 1.0854742084E7
AT ITER 3009 NEW BEST:: SOT 70531329 SOS 51999725 HAS SOPS 45163577 HAS SOUS 10907909 HAS SOUPS 10800322 WITH SCORE 1.0852321725E7
AT ITER 3016 NEW BEST:: SOT 70531970 SOS 52000366 HAS SOPS 45164202 HAS SOUS 10907809 HAS SOUPS 10800222 WITH SCORE 1.0852222366E7
AT ITER 3028 NEW BEST:: SOT 70522294 SOS 51964130 HAS SOPS 45126431 HAS SOUS 10906445 HAS SOUPS 10798750 WITH SCORE 1.085071413E7
AT ITER 3034 NEW BEST:: SOT 70523224 SOS 51916998 HAS SOPS 45055990 HAS SOUS 10899025 HAS SOUPS 10791330 WITH SCORE 1.0843246998E7
AT ITER 3056 NEW BEST:: SOT 70524592 SOS 51922488 HAS SOPS 45063661 HAS SOUS 10897901 HAS SOUPS 10790223 WITH SCORE 1.0842145488E7
AT ITER 3060 NEW BEST:: SOT 70531172 SOS 51913047 HAS SOPS 45052418 HAS SOUS 10888095 HAS SOUPS 10780417 WITH SCORE 1.0832330047E7
AT ITER 3063 NEW BEST:: SOT 70532404 SOS 51914416 HAS SOPS 45052975 HAS SOUS 10886015 HAS SOUPS 10778337 WITH SCORE 1.0830251416E7
AT ITER 3075 NEW BEST:: SOT 70533799 SOS 51915784 HAS SOPS 45053884 HAS SOUS 10883441 HAS SOUPS 10775763 WITH SCORE 1.0827678784E7
AT ITER 3078 NEW BEST:: SOT 70532397 SOS 51914088 HAS SOPS 45051848 HAS SOUS 10877403 HAS SOUPS 10769725 WITH SCORE 1.0821639088E7
AT ITER 3086 NEW BEST:: SOT 70546807 SOS 51921042 HAS SOPS 45053817 HAS SOUS 10863237 HAS SOUPS 10755786 WITH SCORE 1.0807707042E7
AT ITER 3089 NEW BEST:: SOT 70546129 SOS 51933736 HAS SOPS 45065385 HAS SOUS 10862709 HAS SOUPS 10755258 WITH SCORE 1.0807191736E7
AT ITER 3099 NEW BEST:: SOT 70544389 SOS 51931897 HAS SOPS 45063113 HAS SOUS 10859607 HAS SOUPS 10752156 WITH SCORE 1.0804087897E7
AT ITER 3101 NEW BEST:: SOT 70544272 SOS 51928444 HAS SOPS 45059003 HAS SOUS 10859508 HAS SOUPS 10752057 WITH SCORE 1.0803985444E7
AT ITER 3107 NEW BEST:: SOT 70461867 SOS 51845505 HAS SOPS 44991874 HAS SOUS 10847870 HAS SOUPS 10740419 WITH SCORE 1.0792264505E7
AT ITER 3147 NEW BEST:: SOT 70443446 SOS 51885993 HAS SOPS 45033912 HAS SOUS 10837818 HAS SOUPS 10730367 WITH SCORE 1.0782252993E7
AT ITER 3170 NEW BEST:: SOT 70441963 SOS 51884508 HAS SOPS 45032472 HAS SOUS 10837013 HAS SOUPS 10729562 WITH SCORE 1.0781446508E7
AT ITER 3202 NEW BEST:: SOT 70446986 SOS 51889489 HAS SOPS 45035817 HAS SOUS 10833727 HAS SOUPS 10726291 WITH SCORE 1.0778180489E7
AT ITER 3235 NEW BEST:: SOT 70440934 SOS 51883365 HAS SOPS 45026144 HAS SOUS 10822648 HAS SOUPS 10715238 WITH SCORE 1.0767121365E7
AT ITER 3252 NEW BEST:: SOT 70453053 SOS 51893422 HAS SOPS 45035487 HAS SOUS 10820337 HAS SOUPS 10712927 WITH SCORE 1.0764820422E7
AT ITER 3253 NEW BEST:: SOT 70453053 SOS 51891185 HAS SOPS 45033250 HAS SOUS 10820310 HAS SOUPS 10712900 WITH SCORE 1.0764791185E7
AT ITER 3283 NEW BEST:: SOT 70453026 SOS 51891158 HAS SOPS 45033223 HAS SOUS 10820291 HAS SOUPS 10712881 WITH SCORE 1.0764772158E7
AT ITER 3292 NEW BEST:: SOT 70453229 SOS 51984326 HAS SOPS 45121329 HAS SOUS 10819224 HAS SOUPS 10711814 WITH SCORE 1.0763798326E7
AT ITER 3294 NEW BEST:: SOT 70450495 SOS 51995812 HAS SOPS 45098491 HAS SOUS 10818189 HAS SOUPS 10710612 WITH SCORE 1.0762607812E7
AT ITER 3295 NEW BEST:: SOT 70457880 SOS 52008250 HAS SOPS 45108925 HAS SOUS 10811268 HAS SOUPS 10704079 WITH SCORE 1.075608725E7
AT ITER 3302 NEW BEST:: SOT 70475060 SOS 51880280 HAS SOPS 45126399 HAS SOUS 10810499 HAS SOUPS 10700469 WITH SCORE 1.075234928E7
AT ITER 3320 NEW BEST:: SOT 70460121 SOS 51861955 HAS SOPS 45099519 HAS SOUS 10791931 HAS SOUPS 10682043 WITH SCORE 1.0733904955E7
AT ITER 3323 NEW BEST:: SOT 70454311 SOS 51830971 HAS SOPS 45064172 HAS SOUS 10777352 HAS SOUPS 10667464 WITH SCORE 1.0719294971E7
AT ITER 3330 NEW BEST:: SOT 70437394 SOS 51772260 HAS SOPS 45030176 HAS SOUS 10770728 HAS SOUPS 10661239 WITH SCORE 1.071301126E7
AT ITER 3334 NEW BEST:: SOT 70435492 SOS 51770234 HAS SOPS 45028002 HAS SOUS 10766494 HAS SOUPS 10657005 WITH SCORE 1.0708775234E7
AT ITER 3339 NEW BEST:: SOT 70513040 SOS 51868068 HAS SOPS 45093489 HAS SOUS 10731397 HAS SOUPS 10618614 WITH SCORE 1.0670482068E7
AT ITER 3345 NEW BEST:: SOT 70508726 SOS 51863754 HAS SOPS 45088027 HAS SOUS 10722782 HAS SOUPS 10609999 WITH SCORE 1.0661862754E7
AT ITER 3359 NEW BEST:: SOT 70508317 SOS 51863349 HAS SOPS 45087576 HAS SOUS 10721639 HAS SOUPS 10608856 WITH SCORE 1.0660719349E7
AT ITER 3360 NEW BEST:: SOT 70512740 SOS 51867772 HAS SOPS 45091521 HAS SOUS 10719676 HAS SOUPS 10606893 WITH SCORE 1.0658760772E7
AT ITER 3386 NEW BEST:: SOT 70553480 SOS 51905437 HAS SOPS 45106799 HAS SOUS 10708076 HAS SOUPS 10595429 WITH SCORE 1.0647334437E7
AT ITER 3392 NEW BEST:: SOT 70561947 SOS 51913842 HAS SOPS 45113372 HAS SOUS 10700778 HAS SOUPS 10588131 WITH SCORE 1.0640044842E7
AT ITER 3394 NEW BEST:: SOT 70565664 SOS 51917532 HAS SOPS 45116255 HAS SOUS 10696122 HAS SOUPS 10583475 WITH SCORE 1.0635392532E7
AT ITER 3397 NEW BEST:: SOT 70565658 SOS 51917526 HAS SOPS 45116247 HAS SOUS 10696110 HAS SOUPS 10583463 WITH SCORE 1.0635380526E7
AT ITER 3403 NEW BEST:: SOT 70571897 SOS 51871309 HAS SOPS 45112106 HAS SOUS 10693814 HAS SOUPS 10581288 WITH SCORE 1.0633159309E7
AT ITER 3422 NEW BEST:: SOT 70576898 SOS 51875810 HAS SOPS 45112083 HAS SOUS 10683870 HAS SOUPS 10571344 WITH SCORE 1.062321981E7
AT ITER 3428 NEW BEST:: SOT 70575698 SOS 51874825 HAS SOPS 45103392 HAS SOUS 10656785 HAS SOUPS 10544070 WITH SCORE 1.0595944825E7
AT ITER 3451 NEW BEST:: SOT 70575698 SOS 51875509 HAS SOPS 45104076 HAS SOUS 10656560 HAS SOUPS 10543845 WITH SCORE 1.0595720509E7
AT ITER 3456 NEW BEST:: SOT 70575820 SOS 51875753 HAS SOPS 45104198 HAS SOUS 10655828 HAS SOUPS 10543113 WITH SCORE 1.0594988753E7
AT ITER 3464 NEW BEST:: SOT 70582776 SOS 51879832 HAS SOPS 45098742 HAS SOUS 10635150 HAS SOUPS 10522670 WITH SCORE 1.0574549832E7
AT ITER 3473 NEW BEST:: SOT 70650223 SOS 51980322 HAS SOPS 45189439 HAS SOUS 10616571 HAS SOUPS 10504043 WITH SCORE 1.0556023322E7
AT ITER 3483 NEW BEST:: SOT 70647867 SOS 51978063 HAS SOPS 45184818 HAS SOUS 10603309 HAS SOUPS 10490702 WITH SCORE 1.0542680063E7
AT ITER 3484 NEW BEST:: SOT 70635469 SOS 51965712 HAS SOPS 45172807 HAS SOUS 10599660 HAS SOUPS 10487053 WITH SCORE 1.0539018712E7
AT ITER 3485 NEW BEST:: SOT 70633274 SOS 51963247 HAS SOPS 45169219 HAS SOUS 10590397 HAS SOUPS 10477790 WITH SCORE 1.0529753247E7
AT ITER 3486 NEW BEST:: SOT 70634859 SOS 52051929 HAS SOPS 45257890 HAS SOUS 10585787 HAS SOUPS 10473180 WITH SCORE 1.0525231929E7
AT ITER 3503 NEW BEST:: SOT 70657405 SOS 52075250 HAS SOPS 45280281 HAS SOUS 10585141 HAS SOUPS 10472534 WITH SCORE 1.052460925E7
AT ITER 3504 NEW BEST:: SOT 70656929 SOS 52074774 HAS SOPS 45279771 HAS SOUS 10584053 HAS SOUPS 10471446 WITH SCORE 1.0523520774E7
AT ITER 3506 NEW BEST:: SOT 70655935 SOS 52073893 HAS SOPS 45278659 HAS SOUS 10583209 HAS SOUPS 10470602 WITH SCORE 1.0522675893E7
AT ITER 3508 NEW BEST:: SOT 70654735 SOS 52072610 HAS SOPS 45281585 HAS SOUS 10576423 HAS SOUPS 10463816 WITH SCORE 1.051588861E7
AT ITER 3511 NEW BEST:: SOT 70664388 SOS 52082219 HAS SOPS 45291552 HAS SOUS 10576342 HAS SOUPS 10463735 WITH SCORE 1.0515817219E7
AT ITER 3513 NEW BEST:: SOT 70663428 SOS 52081145 HAS SOPS 45290493 HAS SOUS 10575861 HAS SOUPS 10463254 WITH SCORE 1.0515335145E7
AT ITER 3521 NEW BEST:: SOT 70664700 SOS 52082417 HAS SOPS 45291606 HAS SOUS 10575808 HAS SOUPS 10463201 WITH SCORE 1.0515283417E7
AT ITER 3522 NEW BEST:: SOT 70663158 SOS 51966745 HAS SOPS 45214112 HAS SOUS 10554808 HAS SOUPS 10442497 WITH SCORE 1.0494463745E7
AT ITER 3538 NEW BEST:: SOT 70660699 SOS 51964327 HAS SOPS 45209964 HAS SOUS 10547344 HAS SOUPS 10435033 WITH SCORE 1.0486997327E7
AT ITER 3545 NEW BEST:: SOT 70658758 SOS 51963022 HAS SOPS 45196196 HAS SOUS 10541714 HAS SOUPS 10429403 WITH SCORE 1.0481366022E7
AT ITER 3547 NEW BEST:: SOT 70655238 SOS 51959382 HAS SOPS 45192596 HAS SOUS 10538954 HAS SOUPS 10426643 WITH SCORE 1.0478602382E7
AT ITER 3569 NEW BEST:: SOT 70658237 SOS 52003233 HAS SOPS 45236983 HAS SOUS 10537989 HAS SOUPS 10425678 WITH SCORE 1.0477681233E7
AT ITER 3586 NEW BEST:: SOT 70658349 SOS 52003383 HAS SOPS 45237154 HAS SOUS 10537985 HAS SOUPS 10425674 WITH SCORE 1.0477677383E7
AT ITER 3604 NEW BEST:: SOT 70655669 SOS 52004660 HAS SOPS 45238477 HAS SOUS 10534869 HAS SOUPS 10422558 WITH SCORE 1.047456266E7
AT ITER 3617 NEW BEST:: SOT 70653922 SOS 52002761 HAS SOPS 45236916 HAS SOUS 10533674 HAS SOUPS 10421363 WITH SCORE 1.0473365761E7
AT ITER 3619 NEW BEST:: SOT 70654699 SOS 52014145 HAS SOPS 45248990 HAS SOUS 10531919 HAS SOUPS 10419639 WITH SCORE 1.0471653145E7
AT ITER 3621 NEW BEST:: SOT 70667645 SOS 52026878 HAS SOPS 45261055 HAS SOUS 10528893 HAS SOUPS 10416613 WITH SCORE 1.0468639878E7
AT ITER 3629 NEW BEST:: SOT 70667033 SOS 52026215 HAS SOPS 45259780 HAS SOUS 10528372 HAS SOUPS 10416092 WITH SCORE 1.0468118215E7
AT ITER 3631 NEW BEST:: SOT 70666820 SOS 52026002 HAS SOPS 45259558 HAS SOUS 10528222 HAS SOUPS 10415942 WITH SCORE 1.0467968002E7
AT ITER 3641 NEW BEST:: SOT 70671630 SOS 52030302 HAS SOPS 45262629 HAS SOUS 10525999 HAS SOUPS 10413789 WITH SCORE 1.0465819302E7
AT ITER 3644 NEW BEST:: SOT 70656488 SOS 52087111 HAS SOPS 45255594 HAS SOUS 10524541 HAS SOUPS 10411939 WITH SCORE 1.0464026111E7
AT ITER 3652 NEW BEST:: SOT 70663344 SOS 52094535 HAS SOPS 45255887 HAS SOUS 10517531 HAS SOUPS 10404929 WITH SCORE 1.0457023535E7
AT ITER 3653 NEW BEST:: SOT 70645920 SOS 52077111 HAS SOPS 45238463 HAS SOUS 10500107 HAS SOUPS 10387505 WITH SCORE 1.0439582111E7
AT ITER 3661 NEW BEST:: SOT 70646043 SOS 52079066 HAS SOPS 45237134 HAS SOUS 10497381 HAS SOUPS 10384631 WITH SCORE 1.0436710066E7
AT ITER 3686 NEW BEST:: SOT 70645528 SOS 52078598 HAS SOPS 45236564 HAS SOUS 10495011 HAS SOUPS 10382261 WITH SCORE 1.0434339598E7
AT ITER 3692 NEW BEST:: SOT 70649097 SOS 52082144 HAS SOPS 45239052 HAS SOUS 10492536 HAS SOUPS 10379786 WITH SCORE 1.0431868144E7
AT ITER 3694 NEW BEST:: SOT 70639752 SOS 52050742 HAS SOPS 45203862 HAS SOUS 10485631 HAS SOUPS 10372881 WITH SCORE 1.0424931742E7
AT ITER 3696 NEW BEST:: SOT 70635362 SOS 52043954 HAS SOPS 45197074 HAS SOUS 10480258 HAS SOUPS 10367508 WITH SCORE 1.0419551954E7
AT ITER 3711 NEW BEST:: SOT 70623984 SOS 52035549 HAS SOPS 45187566 HAS SOUS 10462604 HAS SOUPS 10349854 WITH SCORE 1.0401889549E7
AT ITER 3712 NEW BEST:: SOT 70621753 SOS 52037636 HAS SOPS 45188807 HAS SOUS 10455112 HAS SOUPS 10342515 WITH SCORE 1.0394552636E7
AT ITER 3714 NEW BEST:: SOT 70675398 SOS 52100969 HAS SOPS 45243858 HAS SOUS 10453643 HAS SOUPS 10341046 WITH SCORE 1.0393146969E7
AT ITER 3716 NEW BEST:: SOT 70665414 SOS 52105311 HAS SOPS 45246351 HAS SOUS 10440790 HAS SOUPS 10327738 WITH SCORE 1.0379843311E7
AT ITER 3743 NEW BEST:: SOT 70663718 SOS 52103491 HAS SOPS 45244142 HAS SOUS 10432243 HAS SOUPS 10319191 WITH SCORE 1.0371294491E7
AT ITER 3750 NEW BEST:: SOT 70657911 SOS 52101451 HAS SOPS 45242384 HAS SOUS 10426561 HAS SOUPS 10313509 WITH SCORE 1.0365610451E7
AT ITER 3769 NEW BEST:: SOT 70646434 SOS 52083469 HAS SOPS 45211595 HAS SOUS 10413357 HAS SOUPS 10300216 WITH SCORE 1.0352299469E7
AT ITER 3774 NEW BEST:: SOT 70642748 SOS 52079825 HAS SOPS 45207303 HAS SOUS 10411463 HAS SOUPS 10298300 WITH SCORE 1.0350379825E7
AT ITER 3792 NEW BEST:: SOT 70643834 SOS 52081324 HAS SOPS 45208959 HAS SOUS 10410167 HAS SOUPS 10297004 WITH SCORE 1.0349085324E7
AT ITER 3812 NEW BEST:: SOT 70517356 SOS 51954302 HAS SOPS 45081283 HAS SOUS 10319109 HAS SOUPS 10205946 WITH SCORE 1.0257900302E7
AT ITER 3826 NEW BEST:: SOT 70511183 SOS 51947458 HAS SOPS 45072346 HAS SOUS 10306190 HAS SOUPS 10193082 WITH SCORE 1.0245029458E7
AT ITER 3865 NEW BEST:: SOT 70502171 SOS 51910518 HAS SOPS 45035877 HAS SOUS 10298204 HAS SOUPS 10184984 WITH SCORE 1.0236894518E7
AT ITER 3874 NEW BEST:: SOT 70502171 SOS 51909822 HAS SOPS 45035165 HAS SOUS 10298196 HAS SOUPS 10184976 WITH SCORE 1.0236885822E7
AT ITER 3888 NEW BEST:: SOT 70510084 SOS 51917585 HAS SOPS 45042964 HAS SOUS 10291258 HAS SOUPS 10178038 WITH SCORE 1.0229955585E7
AT ITER 3895 NEW BEST:: SOT 70501488 SOS 51909033 HAS SOPS 45034412 HAS SOUS 10282489 HAS SOUPS 10169269 WITH SCORE 1.0221178033E7
AT ITER 3902 NEW BEST:: SOT 70503761 SOS 51920920 HAS SOPS 45045870 HAS SOUS 10279979 HAS SOUPS 10166759 WITH SCORE 1.021867992E7
AT ITER 3910 NEW BEST:: SOT 70501976 SOS 51919198 HAS SOPS 45044082 HAS SOUS 10277261 HAS SOUPS 10164041 WITH SCORE 1.0215960198E7
AT ITER 3926 NEW BEST:: SOT 70482798 SOS 51896444 HAS SOPS 45013899 HAS SOUS 10276622 HAS SOUPS 10155985 WITH SCORE 1.0207881444E7
AT ITER 3927 NEW BEST:: SOT 70484522 SOS 51898025 HAS SOPS 45015680 HAS SOUS 10269371 HAS SOUPS 10148734 WITH SCORE 1.0200632025E7
AT ITER 3941 NEW BEST:: SOT 70485326 SOS 51898820 HAS SOPS 45016412 HAS SOUS 10268037 HAS SOUPS 10147400 WITH SCORE 1.019929882E7
AT ITER 3947 NEW BEST:: SOT 70482081 SOS 51898218 HAS SOPS 45013661 HAS SOUS 10265423 HAS SOUPS 10144773 WITH SCORE 1.0196671218E7
AT ITER 3968 NEW BEST:: SOT 70493899 SOS 51909046 HAS SOPS 45017640 HAS SOUS 10256592 HAS SOUPS 10136219 WITH SCORE 1.0188128046E7
AT ITER 3989 NEW BEST:: SOT 70491637 SOS 51906784 HAS SOPS 45015320 HAS SOUS 10252770 HAS SOUPS 10132397 WITH SCORE 1.0184303784E7
AT ITER 3992 NEW BEST:: SOT 70481321 SOS 51897169 HAS SOPS 45004200 HAS SOUS 10240337 HAS SOUPS 10119912 WITH SCORE 1.0171809169E7
AT ITER 3993 NEW BEST:: SOT 70540866 SOS 51957052 HAS SOPS 45060203 HAS SOUS 10238745 HAS SOUPS 10118455 WITH SCORE 1.0170412052E7
AT ITER 4012 NEW BEST:: SOT 70562908 SOS 51954191 HAS SOPS 45060059 HAS SOUS 10231246 HAS SOUPS 10110956 WITH SCORE 1.0162910191E7
AT ITER 4024 NEW BEST:: SOT 70572279 SOS 51963222 HAS SOPS 45068014 HAS SOUS 10231028 HAS SOUPS 10110738 WITH SCORE 1.0162701222E7
AT ITER 4025 NEW BEST:: SOT 70571351 SOS 51965166 HAS SOPS 45067687 HAS SOUS 10219553 HAS SOUPS 10099374 WITH SCORE 1.0151339166E7
AT ITER 4027 NEW BEST:: SOT 70608236 SOS 52001828 HAS SOPS 45102739 HAS SOUS 10207128 HAS SOUPS 10086949 WITH SCORE 1.0138950828E7
AT ITER 4071 NEW BEST:: SOT 70591900 SOS 51985260 HAS SOPS 45085904 HAS SOUS 10189531 HAS SOUPS 10069352 WITH SCORE 1.012133726E7
AT ITER 4085 NEW BEST:: SOT 70589533 SOS 51982922 HAS SOPS 45083830 HAS SOUS 10186847 HAS SOUPS 10066668 WITH SCORE 1.0118650922E7
AT ITER 4091 NEW BEST:: SOT 70584454 SOS 51943027 HAS SOPS 45048022 HAS SOUS 10186679 HAS SOUPS 10066500 WITH SCORE 1.0118443027E7
AT ITER 4106 NEW BEST:: SOT 70583966 SOS 51942546 HAS SOPS 45047607 HAS SOUS 10186000 HAS SOUPS 10065821 WITH SCORE 1.0117763546E7
AT ITER 4109 NEW BEST:: SOT 70583185 SOS 51941039 HAS SOPS 45045160 HAS SOUS 10185975 HAS SOUPS 10065789 WITH SCORE 1.0117730039E7
AT ITER 4114 NEW BEST:: SOT 70557873 SOS 51790105 HAS SOPS 44967965 HAS SOUS 10179943 HAS SOUPS 10059757 WITH SCORE 1.0111547105E7
AT ITER 4118 NEW BEST:: SOT 70546595 SOS 51777199 HAS SOPS 44951154 HAS SOUS 10147832 HAS SOUPS 10027758 WITH SCORE 1.0079535199E7
AT ITER 4120 NEW BEST:: SOT 70588135 SOS 51775796 HAS SOPS 44962156 HAS SOUS 10143105 HAS SOUPS 10023297 WITH SCORE 1.0075072796E7
AT ITER 4137 NEW BEST:: SOT 70621905 SOS 51737687 HAS SOPS 44948320 HAS SOUS 10140219 HAS SOUPS 10020685 WITH SCORE 1.0072422687E7
AT ITER 4140 NEW BEST:: SOT 70597114 SOS 51712688 HAS SOPS 44920193 HAS SOUS 10123194 HAS SOUPS 10003660 WITH SCORE 1.0055372688E7
AT ITER 4147 NEW BEST:: SOT 70596918 SOS 51712499 HAS SOPS 44920011 HAS SOUS 10123180 HAS SOUPS 10003646 WITH SCORE 1.0055358499E7
AT ITER 4156 NEW BEST:: SOT 70605629 SOS 51721550 HAS SOPS 44928705 HAS SOUS 10122272 HAS SOUPS 10002737 WITH SCORE 1.005445855E7
AT ITER 4157 NEW BEST:: SOT 70595161 SOS 51700591 HAS SOPS 44908446 HAS SOUS 10113414 HAS SOUPS 9993879 WITH SCORE 1.0045579591E7
AT ITER 4161 NEW BEST:: SOT 70596055 SOS 51701125 HAS SOPS 44905107 HAS SOUS 10113284 HAS SOUPS 9993869 WITH SCORE 1.0045570125E7
AT ITER 4162 NEW BEST:: SOT 70595439 SOS 51700419 HAS SOPS 44903766 HAS SOUS 10109945 HAS SOUPS 9990547 WITH SCORE 1.0042247419E7
AT ITER 4165 NEW BEST:: SOT 70594190 SOS 51698994 HAS SOPS 44902326 HAS SOUS 10103203 HAS SOUPS 9983805 WITH SCORE 1.0035503994E7
AT ITER 4167 NEW BEST:: SOT 70573641 SOS 51678445 HAS SOPS 44881362 HAS SOUS 10075776 HAS SOUPS 9956378 WITH SCORE 1.0008056445E7
AT ITER 4171 NEW BEST:: SOT 70570738 SOS 51721331 HAS SOPS 44892188 HAS SOUS 10062197 HAS SOUPS 9944616 WITH SCORE 9996337.331
AT ITER 4186 NEW BEST:: SOT 70551274 SOS 51751525 HAS SOPS 44917327 HAS SOUS 10043240 HAS SOUPS 9925659 WITH SCORE 9977410.525
AT ITER 4207 NEW BEST:: SOT 70553283 SOS 51740044 HAS SOPS 44906495 HAS SOUS 10043178 HAS SOUPS 9925654 WITH SCORE 9977394.044
AT ITER 4215 NEW BEST:: SOT 70553407 SOS 51740315 HAS SOPS 44906882 HAS SOUS 10042933 HAS SOUPS 9925409 WITH SCORE 9977149.315
AT ITER 4218 NEW BEST:: SOT 70578973 SOS 51765632 HAS SOPS 44930840 HAS SOUS 10032886 HAS SOUPS 9915362 WITH SCORE 9967127.632
AT ITER 4226 NEW BEST:: SOT 70561860 SOS 51748597 HAS SOPS 44914414 HAS SOUS 10032111 HAS SOUPS 9914587 WITH SCORE 9966335.597
AT ITER 4227 NEW BEST:: SOT 70562507 SOS 51737235 HAS SOPS 44912347 HAS SOUS 10031605 HAS SOUPS 9914120 WITH SCORE 9965857.235
AT ITER 4229 NEW BEST:: SOT 70573091 SOS 51747688 HAS SOPS 44922483 HAS SOUS 10025483 HAS SOUPS 9907998 WITH SCORE 9959745.688
AT ITER 4230 NEW BEST:: SOT 70556136 SOS 51706545 HAS SOPS 44882861 HAS SOUS 10023391 HAS SOUPS 9905778 WITH SCORE 9957484.545
AT ITER 4245 NEW BEST:: SOT 70555992 SOS 51706393 HAS SOPS 44882701 HAS SOUS 10023287 HAS SOUPS 9905674 WITH SCORE 9957380.393
AT ITER 4264 NEW BEST:: SOT 70559526 SOS 51709572 HAS SOPS 44888096 HAS SOUS 10021798 HAS SOUPS 9904185 WITH SCORE 9955894.572
AT ITER 4275 NEW BEST:: SOT 70549741 SOS 51692888 HAS SOPS 44877912 HAS SOUS 10018853 HAS SOUPS 9901240 WITH SCORE 9952932.888
AT ITER 4286 NEW BEST:: SOT 70555497 SOS 51667031 HAS SOPS 44853951 HAS SOUS 10017783 HAS SOUPS 9900284 WITH SCORE 9951951.031
AT ITER 4297 NEW BEST:: SOT 70553126 SOS 51701592 HAS SOPS 44909436 HAS SOUS 10002431 HAS SOUPS 9885183 WITH SCORE 9936884.592
AT ITER 4316 NEW BEST:: SOT 70551303 SOS 51699873 HAS SOPS 44907807 HAS SOUS 9998965 HAS SOUPS 9881717 WITH SCORE 9933416.873
AT ITER 4332 NEW BEST:: SOT 70553235 SOS 51701805 HAS SOPS 44909601 HAS SOUS 9997309 HAS SOUPS 9880061 WITH SCORE 9931762.805
AT ITER 4345 NEW BEST:: SOT 70544183 SOS 51691419 HAS SOPS 44896538 HAS SOUS 9992010 HAS SOUPS 9874805 WITH SCORE 9926496.419
AT ITER 4355 NEW BEST:: SOT 70544426 SOS 51691069 HAS SOPS 44897976 HAS SOUS 9991877 HAS SOUPS 9874724 WITH SCORE 9926415.069
AT ITER 4371 NEW BEST:: SOT 70619194 SOS 51765445 HAS SOPS 44968926 HAS SOUS 9987850 HAS SOUPS 9870697 WITH SCORE 9922462.445
AT ITER 4376 NEW BEST:: SOT 70614589 SOS 51761498 HAS SOPS 44965540 HAS SOUS 9985169 HAS SOUPS 9868016 WITH SCORE 9919777.498
AT ITER 4396 NEW BEST:: SOT 70609850 SOS 51756653 HAS SOPS 44960857 HAS SOUS 9983275 HAS SOUPS 9866122 WITH SCORE 9917878.653
AT ITER 4398 NEW BEST:: SOT 70662630 SOS 51811639 HAS SOPS 45002758 HAS SOUS 9977592 HAS SOUPS 9860439 WITH SCORE 9912250.639
AT ITER 4399 NEW BEST:: SOT 70662577 SOS 51811620 HAS SOPS 45002794 HAS SOUS 9977331 HAS SOUPS 9860178 WITH SCORE 9911989.62
AT ITER 4414 NEW BEST:: SOT 70710463 SOS 51859685 HAS SOPS 45034826 HAS SOUS 9967917 HAS SOUPS 9849600 WITH SCORE 9901459.685
AT ITER 4416 NEW BEST:: SOT 70710511 SOS 51864624 HAS SOPS 45040177 HAS SOUS 9967843 HAS SOUPS 9849550 WITH SCORE 9901414.624
AT ITER 4419 NEW BEST:: SOT 70710466 SOS 51864579 HAS SOPS 45040127 HAS SOUS 9967638 HAS SOUPS 9849345 WITH SCORE 9901209.579
AT ITER 4443 NEW BEST:: SOT 70649953 SOS 51807348 HAS SOPS 44996491 HAS SOUS 9965216 HAS SOUPS 9846558 WITH SCORE 9898365.348
AT ITER 4452 NEW BEST:: SOT 70649132 SOS 51791996 HAS SOPS 44980948 HAS SOUS 9962811 HAS SOUPS 9844153 WITH SCORE 9895944.996
AT ITER 4458 NEW BEST:: SOT 70643886 SOS 51785908 HAS SOPS 44974839 HAS SOUS 9954604 HAS SOUPS 9835946 WITH SCORE 9887731.908
AT ITER 4469 NEW BEST:: SOT 70644906 SOS 51786916 HAS SOPS 44975703 HAS SOUS 9953656 HAS SOUPS 9834998 WITH SCORE 9886784.916
AT ITER 4477 NEW BEST:: SOT 70645096 SOS 51789144 HAS SOPS 44978117 HAS SOUS 9953619 HAS SOUPS 9834961 WITH SCORE 9886750.144
AT ITER 4487 NEW BEST:: SOT 70644940 SOS 51788976 HAS SOPS 44977949 HAS SOUS 9953451 HAS SOUPS 9834793 WITH SCORE 9886581.976
AT ITER 4535 NEW BEST:: SOT 70644996 SOS 51788910 HAS SOPS 44977643 HAS SOUS 9953005 HAS SOUPS 9834349 WITH SCORE 9886137.91
AT ITER 4536 NEW BEST:: SOT 70619139 SOS 51763059 HAS SOPS 44952387 HAS SOUS 9950777 HAS SOUPS 9832121 WITH SCORE 9883884.059
AT ITER 4549 NEW BEST:: SOT 70617733 SOS 51761838 HAS SOPS 44951116 HAS SOUS 9950018 HAS SOUPS 9831351 WITH SCORE 9883112.838
AT ITER 4552 NEW BEST:: SOT 70618182 SOS 51762385 HAS SOPS 44951585 HAS SOUS 9948907 HAS SOUPS 9830240 WITH SCORE 9882002.385
AT ITER 4566 NEW BEST:: SOT 70618182 SOS 51767169 HAS SOPS 44947849 HAS SOUS 9948887 HAS SOUPS 9830181 WITH SCORE 9881948.169
AT ITER 4567 NEW BEST:: SOT 70618570 SOS 51867537 HAS SOPS 45045553 HAS SOUS 9946198 HAS SOUPS 9827321 WITH SCORE 9879188.537
AT ITER 4575 NEW BEST:: SOT 70691525 SOS 51938993 HAS SOPS 45108743 HAS SOUS 9918724 HAS SOUPS 9800014 WITH SCORE 9851952.993
AT ITER 4594 NEW BEST:: SOT 70691117 SOS 51938534 HAS SOPS 45108216 HAS SOUS 9918197 HAS SOUPS 9799487 WITH SCORE 9851425.534
AT ITER 4602 NEW BEST:: SOT 70691375 SOS 51940139 HAS SOPS 45109709 HAS SOUS 9916825 HAS SOUPS 9798129 WITH SCORE 9850069.139
AT ITER 4605 NEW BEST:: SOT 70691415 SOS 51940181 HAS SOPS 45109717 HAS SOUS 9913155 HAS SOUPS 9794459 WITH SCORE 9846399.181
AT ITER 4620 NEW BEST:: SOT 70692702 SOS 51941468 HAS SOPS 45110975 HAS SOUS 9912191 HAS SOUPS 9793495 WITH SCORE 9845436.468
AT ITER 4633 NEW BEST:: SOT 70692678 SOS 51941454 HAS SOPS 45110961 HAS SOUS 9911998 HAS SOUPS 9793302 WITH SCORE 9845243.454
AT ITER 4634 NEW BEST:: SOT 70692321 SOS 51941090 HAS SOPS 45110594 HAS SOUS 9911876 HAS SOUPS 9793180 WITH SCORE 9845121.09
AT ITER 4664 NEW BEST:: SOT 70725508 SOS 51974369 HAS SOPS 45128902 HAS SOUS 9905834 HAS SOUPS 9786842 WITH SCORE 9838816.369
AT ITER 4668 NEW BEST:: SOT 70725677 SOS 51973865 HAS SOPS 45125296 HAS SOUS 9904862 HAS SOUPS 9786030 WITH SCORE 9838003.865
AT ITER 4674 NEW BEST:: SOT 70721422 SOS 51969432 HAS SOPS 45118550 HAS SOUS 9892160 HAS SOUPS 9773328 WITH SCORE 9825297.432
AT ITER 4679 NEW BEST:: SOT 70749341 SOS 51961525 HAS SOPS 45119635 HAS SOUS 9888620 HAS SOUPS 9770002 WITH SCORE 9821963.525
AT ITER 4686 NEW BEST:: SOT 70748310 SOS 51960607 HAS SOPS 45118717 HAS SOUS 9887130 HAS SOUPS 9768512 WITH SCORE 9820472.607
AT ITER 4691 NEW BEST:: SOT 70744013 SOS 51955832 HAS SOPS 45112596 HAS SOUS 9884258 HAS SOUPS 9765689 WITH SCORE 9817644.832
AT ITER 4695 NEW BEST:: SOT 70764285 SOS 51971251 HAS SOPS 45126643 HAS SOUS 9881897 HAS SOUPS 9763691 WITH SCORE 9815662.251
AT ITER 4699 NEW BEST:: SOT 70764273 SOS 51963722 HAS SOPS 45119114 HAS SOUS 9881902 HAS SOUPS 9763696 WITH SCORE 9815659.722
AT ITER 4708 NEW BEST:: SOT 70762429 SOS 51907038 HAS SOPS 45093409 HAS SOUS 9873306 HAS SOUPS 9755100 WITH SCORE 9807007.038
AT ITER 4716 NEW BEST:: SOT 70742066 SOS 51850239 HAS SOPS 45037488 HAS SOUS 9869676 HAS SOUPS 9751470 WITH SCORE 9803320.239
AT ITER 4737 NEW BEST:: SOT 70741931 SOS 51850133 HAS SOPS 45037483 HAS SOUS 9869064 HAS SOUPS 9750858 WITH SCORE 9802708.133
AT ITER 4759 NEW BEST:: SOT 70729343 SOS 51837488 HAS SOPS 45018129 HAS SOUS 9861745 HAS SOUPS 9739843 WITH SCORE 9791680.488
AT ITER 4770 NEW BEST:: SOT 70722910 SOS 51849110 HAS SOPS 45014096 HAS SOUS 9844999 HAS SOUPS 9723004 WITH SCORE 9774853.11
AT ITER 4821 NEW BEST:: SOT 70724695 SOS 51850194 HAS SOPS 45011226 HAS SOUS 9837838 HAS SOUPS 9715990 WITH SCORE 9767840.194
AT ITER 4824 NEW BEST:: SOT 70730697 SOS 51856260 HAS SOPS 45017058 HAS SOUS 9837184 HAS SOUPS 9715336 WITH SCORE 9767192.26
AT ITER 4825 NEW BEST:: SOT 70730697 SOS 51847164 HAS SOPS 45007980 HAS SOUS 9837136 HAS SOUPS 9715288 WITH SCORE 9767135.164
AT ITER 4827 NEW BEST:: SOT 70740752 SOS 51857209 HAS SOPS 45022733 HAS SOUS 9804391 HAS SOUPS 9685930 WITH SCORE 9737787.209
AT ITER 4845 NEW BEST:: SOT 70740718 SOS 51857175 HAS SOPS 45022697 HAS SOUS 9804332 HAS SOUPS 9685871 WITH SCORE 9737728.175
AT ITER 4862 NEW BEST:: SOT 70748439 SOS 51864787 HAS SOPS 45028534 HAS SOUS 9797304 HAS SOUPS 9678843 WITH SCORE 9730707.787
AT ITER 4868 NEW BEST:: SOT 70741010 SOS 51857141 HAS SOPS 45021559 HAS SOUS 9790475 HAS SOUPS 9672014 WITH SCORE 9723871.141
AT ITER 4871 NEW BEST:: SOT 70743119 SOS 51859200 HAS SOPS 45023514 HAS SOUS 9789374 HAS SOUPS 9670913 WITH SCORE 9722772.2
AT ITER 4875 NEW BEST:: SOT 70755290 SOS 51873509 HAS SOPS 45034638 HAS SOUS 9780006 HAS SOUPS 9661432 WITH SCORE 9713305.509
AT ITER 4882 NEW BEST:: SOT 70723283 SOS 51841749 HAS SOPS 45000803 HAS SOUS 9758994 HAS SOUPS 9640420 WITH SCORE 9692261.749
AT ITER 4888 NEW BEST:: SOT 70735800 SOS 51855163 HAS SOPS 45011549 HAS SOUS 9751959 HAS SOUPS 9633278 WITH SCORE 9685133.163
AT ITER 4890 NEW BEST:: SOT 70735856 SOS 51859880 HAS SOPS 44986572 HAS SOUS 9749859 HAS SOUPS 9631043 WITH SCORE 9682902.88
AT ITER 4901 NEW BEST:: SOT 70729432 SOS 51853456 HAS SOPS 44979476 HAS SOUS 9739339 HAS SOUPS 9620523 WITH SCORE 9672376.456
AT ITER 4911 NEW BEST:: SOT 70729447 SOS 51852751 HAS SOPS 44978771 HAS SOUS 9739324 HAS SOUPS 9620508 WITH SCORE 9672360.751
AT ITER 4927 NEW BEST:: SOT 70727283 SOS 51851049 HAS SOPS 44976864 HAS SOUS 9739200 HAS SOUPS 9620348 WITH SCORE 9672199.049
AT ITER 4934 NEW BEST:: SOT 70718741 SOS 51842635 HAS SOPS 44974159 HAS SOUS 9738973 HAS SOUPS 9620121 WITH SCORE 9671963.635
AT ITER 4935 NEW BEST:: SOT 70718273 SOS 51842193 HAS SOPS 44973717 HAS SOUS 9738193 HAS SOUPS 9619341 WITH SCORE 9671183.193
AT ITER 4943 NEW BEST:: SOT 70718659 SOS 51828597 HAS SOPS 44969785 HAS SOUS 9738014 HAS SOUPS 9619214 WITH SCORE 9671042.597
AT ITER 4964 NEW BEST:: SOT 70714041 SOS 51823691 HAS SOPS 44965049 HAS SOUS 9730484 HAS SOUPS 9611980 WITH SCORE 9663803.691
AT ITER 4967 NEW BEST:: SOT 70706508 SOS 51816157 HAS SOPS 44957487 HAS SOUS 9722626 HAS SOUPS 9604122 WITH SCORE 9655938.157
AT ITER 4973 NEW BEST:: SOT 70710756 SOS 51820801 HAS SOPS 44961781 HAS SOUS 9721699 HAS SOUPS 9603195 WITH SCORE 9655015.801
AT ITER 4976 NEW BEST:: SOT 70716277 SOS 51826136 HAS SOPS 44968597 HAS SOUS 9721333 HAS SOUPS 9602922 WITH SCORE 9654748.136
AT ITER 4983 NEW BEST:: SOT 70722441 SOS 51832585 HAS SOPS 44973530 HAS SOUS 9720834 HAS SOUPS 9602367 WITH SCORE 9654199.585
AT ITER 4985 NEW BEST:: SOT 70717923 SOS 51827990 HAS SOPS 44968990 HAS SOUS 9715091 HAS SOUPS 9596680 WITH SCORE 9648507.99
AT ITER 4989 NEW BEST:: SOT 70699647 SOS 51809220 HAS SOPS 44950592 HAS SOUS 9699837 HAS SOUPS 9581426 WITH SCORE 9633235.22
AT ITER 4995 NEW BEST:: SOT 70698508 SOS 51825111 HAS SOPS 44965107 HAS SOUS 9694214 HAS SOUPS 9575803 WITH SCORE 9627628.111
AT ITER 5005 NEW BEST:: SOT 70699287 SOS 51797341 HAS SOPS 44945013 HAS SOUS 9690992 HAS SOUPS 9572736 WITH SCORE 9624533.341
AT ITER 5014 NEW BEST:: SOT 70702697 SOS 51786282 HAS SOPS 44936479 HAS SOUS 9689138 HAS SOUPS 9570986 WITH SCORE 9622772.282
AT ITER 5027 NEW BEST:: SOT 70700693 SOS 51784278 HAS SOPS 44934352 HAS SOUS 9684470 HAS SOUPS 9566318 WITH SCORE 9618102.278
AT ITER 5032 NEW BEST:: SOT 70781610 SOS 51877578 HAS SOPS 45008604 HAS SOUS 9672491 HAS SOUPS 9554339 WITH SCORE 9606216.578
AT ITER 5037 NEW BEST:: SOT 70792652 SOS 51853037 HAS SOPS 44979327 HAS SOUS 9664057 HAS SOUPS 9545905 WITH SCORE 9597758.037
AT ITER 5039 NEW BEST:: SOT 70843700 SOS 51921274 HAS SOPS 45032676 HAS SOUS 9658247 HAS SOUPS 9540095 WITH SCORE 9592016.274
AT ITER 5044 NEW BEST:: SOT 70826986 SOS 51904539 HAS SOPS 45018066 HAS SOUS 9645400 HAS SOUPS 9527248 WITH SCORE 9579152.539
AT ITER 5052 NEW BEST:: SOT 70806636 SOS 51884189 HAS SOPS 45001456 HAS SOUS 9629802 HAS SOUPS 9513248 WITH SCORE 9565132.189
AT ITER 5065 NEW BEST:: SOT 70806606 SOS 51884159 HAS SOPS 45001423 HAS SOUS 9629781 HAS SOUPS 9513227 WITH SCORE 9565111.159
AT ITER 5085 NEW BEST:: SOT 70807271 SOS 51905646 HAS SOPS 45004109 HAS SOUS 9621840 HAS SOUPS 9505286 WITH SCORE 9557191.646
AT ITER 5091 NEW BEST:: SOT 70820316 SOS 51921130 HAS SOPS 45007363 HAS SOUS 9608624 HAS SOUPS 9491891 WITH SCORE 9543812.13
AT ITER 5127 NEW BEST:: SOT 70818857 SOS 51918504 HAS SOPS 45004433 HAS SOUS 9603333 HAS SOUPS 9486684 WITH SCORE 9538602.504
AT ITER 5150 NEW BEST:: SOT 70816220 SOS 51915842 HAS SOPS 45000732 HAS SOUS 9600123 HAS SOUPS 9483474 WITH SCORE 9535389.842
AT ITER 5151 NEW BEST:: SOT 70815556 SOS 51915178 HAS SOPS 45000029 HAS SOUS 9598441 HAS SOUPS 9481792 WITH SCORE 9533707.178
AT ITER 5152 NEW BEST:: SOT 70816058 SOS 51915711 HAS SOPS 45000518 HAS SOUS 9598340 HAS SOUPS 9481691 WITH SCORE 9533606.711
AT ITER 5168 NEW BEST:: SOT 70732621 SOS 51968457 HAS SOPS 44990703 HAS SOUS 9544924 HAS SOUPS 9427754 WITH SCORE 9479722.457
AT ITER 5173 NEW BEST:: SOT 70731445 SOS 51967281 HAS SOPS 44989485 HAS SOUS 9542698 HAS SOUPS 9425528 WITH SCORE 9477495.281
AT ITER 5190 NEW BEST:: SOT 70731577 SOS 51967413 HAS SOPS 44989529 HAS SOUS 9541109 HAS SOUPS 9423939 WITH SCORE 9475906.413
AT ITER 5191 NEW BEST:: SOT 70726248 SOS 51961943 HAS SOPS 44983577 HAS SOUS 9533140 HAS SOUPS 9415490 WITH SCORE 9467451.943
AT ITER 5196 NEW BEST:: SOT 70727855 SOS 52014526 HAS SOPS 45015605 HAS SOUS 9529601 HAS SOUPS 9411951 WITH SCORE 9463965.526
AT ITER 5208 NEW BEST:: SOT 70727556 SOS 52014089 HAS SOPS 45015099 HAS SOUS 9528927 HAS SOUPS 9411277 WITH SCORE 9463291.089
AT ITER 5226 NEW BEST:: SOT 70707329 SOS 51993252 HAS SOPS 44994962 HAS SOUS 9527502 HAS SOUPS 9409852 WITH SCORE 9461845.252
AT ITER 5237 NEW BEST:: SOT 70706836 SOS 51992652 HAS SOPS 44994180 HAS SOUS 9523348 HAS SOUPS 9405698 WITH SCORE 9457690.652
AT ITER 5248 NEW BEST:: SOT 70704234 SOS 51989587 HAS SOPS 44990944 HAS SOUS 9520794 HAS SOUPS 9403144 WITH SCORE 9455133.587
AT ITER 5253 NEW BEST:: SOT 70696295 SOS 51982091 HAS SOPS 44983082 HAS SOUS 9519484 HAS SOUPS 9401834 WITH SCORE 9453816.091
AT ITER 5259 NEW BEST:: SOT 70694100 SOS 51979611 HAS SOPS 44978042 HAS SOUS 9517270 HAS SOUPS 9399732 WITH SCORE 9451711.611
AT ITER 5267 NEW BEST:: SOT 70703942 SOS 51939444 HAS SOPS 45048860 HAS SOUS 9516504 HAS SOUPS 9399053 WITH SCORE 9450992.444
AT ITER 5268 NEW BEST:: SOT 70713116 SOS 51948183 HAS SOPS 45056030 HAS SOUS 9515479 HAS SOUPS 9398085 WITH SCORE 9450033.183
AT ITER 5272 NEW BEST:: SOT 70717203 SOS 51923573 HAS SOPS 45054159 HAS SOUS 9502282 HAS SOUPS 9385249 WITH SCORE 9437172.573
AT ITER 5277 NEW BEST:: SOT 70717181 SOS 51936453 HAS SOPS 45068930 HAS SOUS 9500481 HAS SOUPS 9383487 WITH SCORE 9435423.453
AT ITER 5291 NEW BEST:: SOT 70724117 SOS 51945425 HAS SOPS 45076688 HAS SOUS 9486880 HAS SOUPS 9370029 WITH SCORE 9421974.425
AT ITER 5294 NEW BEST:: SOT 70722877 SOS 51955906 HAS SOPS 45085329 HAS SOUS 9485522 HAS SOUPS 9369591 WITH SCORE 9421546.906
AT ITER 5295 NEW BEST:: SOT 70717204 SOS 51928862 HAS SOPS 45054361 HAS SOUS 9480051 HAS SOUPS 9363937 WITH SCORE 9415865.862
AT ITER 5309 NEW BEST:: SOT 70713729 SOS 51928874 HAS SOPS 45051634 HAS SOUS 9470983 HAS SOUPS 9354919 WITH SCORE 9406847.874
AT ITER 5318 NEW BEST:: SOT 70713621 SOS 51928756 HAS SOPS 45051521 HAS SOUS 9470740 HAS SOUPS 9354676 WITH SCORE 9406604.756
AT ITER 5322 NEW BEST:: SOT 70697141 SOS 51914281 HAS SOPS 45037607 HAS SOUS 9468057 HAS SOUPS 9351993 WITH SCORE 9403907.281
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 14357220 kB
After kill :
MemTotal: 16393232 kB
MemFree: 15996780 kB

BK_TIME_CONFINEMENT_REACHED

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

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

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="RERS2020-PT-pb107"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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