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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 7.4K Feb 25 13:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 13:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 13:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 13:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 14:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 144K Feb 25 14:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 14:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 14:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 69M 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 1679099715553

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=RERS17pb115-PT-6
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 00:35:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 00:35:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 00:35:19] [INFO ] Load time of PNML (sax parser for PT used): 1929 ms
[2023-03-18 00:35:19] [INFO ] Transformed 1399 places.
[2023-03-18 00:35:19] [INFO ] Transformed 144369 transitions.
[2023-03-18 00:35:19] [INFO ] Parsed PT model containing 1399 places and 144369 transitions and 577414 arcs in 2415 ms.
[2023-03-18 00:35:20] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1399 places, 144369 transitions and 577414 arcs took 366 ms.
Total runtime 2819 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 6
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: 1399 places, 144369 transitions, 577414 arcs.
AT ITER 0 NEW BEST:: SOT 123476540 SOS 80284426 HAS SOPS 65263383 HAS SOUS 24121552 HAS SOUPS 23549470 WITH SCORE 2.3629754426E7
AT ITER 2 NEW BEST:: SOT 123482891 SOS 80294495 HAS SOPS 65275828 HAS SOUS 24103785 HAS SOUPS 23531931 WITH SCORE 2.3612225495E7
AT ITER 10 NEW BEST:: SOT 123414850 SOS 80225390 HAS SOPS 65200088 HAS SOUS 24031934 HAS SOUPS 23455220 WITH SCORE 2.353544539E7
AT ITER 18 NEW BEST:: SOT 123405637 SOS 80220076 HAS SOPS 65197003 HAS SOUS 24024256 HAS SOUPS 23447721 WITH SCORE 2.3527941076E7
AT ITER 30 NEW BEST:: SOT 123401633 SOS 80214488 HAS SOPS 65193479 HAS SOUS 24005535 HAS SOUPS 23428846 WITH SCORE 2.3509060488E7
AT ITER 31 NEW BEST:: SOT 123402217 SOS 80213890 HAS SOPS 65193666 HAS SOUS 24003806 HAS SOUPS 23427117 WITH SCORE 2.350733089E7
AT ITER 34 NEW BEST:: SOT 123350949 SOS 80162093 HAS SOPS 65139413 HAS SOUS 23945088 HAS SOUPS 23368399 WITH SCORE 2.3448561093E7
AT ITER 43 NEW BEST:: SOT 123352684 SOS 80172605 HAS SOPS 65157399 HAS SOUS 23927212 HAS SOUPS 23350691 WITH SCORE 2.3430863605E7
AT ITER 51 NEW BEST:: SOT 123351074 SOS 80170759 HAS SOPS 65154803 HAS SOUS 23926426 HAS SOUPS 23349933 WITH SCORE 2.3430103759E7
AT ITER 60 NEW BEST:: SOT 123351462 SOS 80161511 HAS SOPS 65149214 HAS SOUS 23918114 HAS SOUPS 23341712 WITH SCORE 2.3421873511E7
AT ITER 67 NEW BEST:: SOT 123343097 SOS 80159969 HAS SOPS 65142133 HAS SOUS 23884657 HAS SOUPS 23308255 WITH SCORE 2.3388414969E7
AT ITER 70 NEW BEST:: SOT 123331310 SOS 80146499 HAS SOPS 65123461 HAS SOUS 23866223 HAS SOUPS 23289555 WITH SCORE 2.3369701499E7
AT ITER 75 NEW BEST:: SOT 123336156 SOS 80173954 HAS SOPS 65138761 HAS SOUS 23849164 HAS SOUPS 23272496 WITH SCORE 2.3352669954E7
AT ITER 103 NEW BEST:: SOT 123333366 SOS 80166458 HAS SOPS 65136922 HAS SOUS 23844313 HAS SOUPS 23267645 WITH SCORE 2.3347811458E7
AT ITER 105 NEW BEST:: SOT 123375906 SOS 80254163 HAS SOPS 65217127 HAS SOUS 23840685 HAS SOUPS 23264017 WITH SCORE 2.3344271163E7
AT ITER 117 NEW BEST:: SOT 123376945 SOS 80252784 HAS SOPS 65226318 HAS SOUS 23840593 HAS SOUPS 23263925 WITH SCORE 2.3344177784E7
AT ITER 150 NEW BEST:: SOT 123410942 SOS 80325733 HAS SOPS 65287777 HAS SOUS 23837610 HAS SOUPS 23260942 WITH SCORE 2.3341267733E7
AT ITER 152 NEW BEST:: SOT 123408891 SOS 80322272 HAS SOPS 65284662 HAS SOUS 23836342 HAS SOUPS 23259674 WITH SCORE 2.3339996272E7
AT ITER 180 NEW BEST:: SOT 123445747 SOS 80366261 HAS SOPS 65339173 HAS SOUS 23823234 HAS SOUPS 23249481 WITH SCORE 2.3329847261E7
AT ITER 193 NEW BEST:: SOT 123443411 SOS 80353537 HAS SOPS 65326967 HAS SOUS 23817499 HAS SOUPS 23243746 WITH SCORE 2.3324099537E7
AT ITER 212 NEW BEST:: SOT 123449922 SOS 80383623 HAS SOPS 65350749 HAS SOUS 23807513 HAS SOUPS 23233760 WITH SCORE 2.3314143623E7
AT ITER 218 NEW BEST:: SOT 123445923 SOS 80379484 HAS SOPS 65346139 HAS SOUS 23805610 HAS SOUPS 23231857 WITH SCORE 2.3312236484E7
AT ITER 228 NEW BEST:: SOT 123442855 SOS 80376328 HAS SOPS 65343709 HAS SOUS 23799462 HAS SOUPS 23225929 WITH SCORE 2.3306305328E7
AT ITER 242 NEW BEST:: SOT 123434992 SOS 80365502 HAS SOPS 65335011 HAS SOUS 23786546 HAS SOUPS 23213013 WITH SCORE 2.3293378502E7
AT ITER 244 NEW BEST:: SOT 123427715 SOS 80356904 HAS SOPS 65322316 HAS SOUS 23771352 HAS SOUPS 23197819 WITH SCORE 2.3278175904E7
AT ITER 248 NEW BEST:: SOT 123428515 SOS 80369254 HAS SOPS 65331638 HAS SOUS 23759452 HAS SOUPS 23185919 WITH SCORE 2.3266288254E7
AT ITER 251 NEW BEST:: SOT 123426242 SOS 80369356 HAS SOPS 65327123 HAS SOUS 23756763 HAS SOUPS 23183230 WITH SCORE 2.3263599356E7
AT ITER 272 NEW BEST:: SOT 123426242 SOS 80385516 HAS SOPS 65348403 HAS SOUS 23756585 HAS SOUPS 23183052 WITH SCORE 2.3263437516E7
AT ITER 278 NEW BEST:: SOT 123426242 SOS 80389308 HAS SOPS 65354979 HAS SOUS 23756565 HAS SOUPS 23183032 WITH SCORE 2.3263421308E7
AT ITER 281 NEW BEST:: SOT 123423005 SOS 80385742 HAS SOPS 65348978 HAS SOUS 23748066 HAS SOUPS 23174533 WITH SCORE 2.3254918742E7
AT ITER 289 NEW BEST:: SOT 123403416 SOS 80364044 HAS SOPS 65330189 HAS SOUS 23706660 HAS SOUPS 23133325 WITH SCORE 2.3213689044E7
AT ITER 290 NEW BEST:: SOT 123403416 SOS 80367804 HAS SOPS 65335341 HAS SOUS 23706588 HAS SOUPS 23133253 WITH SCORE 2.3213620804E7
AT ITER 294 NEW BEST:: SOT 123403426 SOS 80381084 HAS SOPS 65349018 HAS SOUS 23705855 HAS SOUPS 23132520 WITH SCORE 2.3212901084E7
AT ITER 298 NEW BEST:: SOT 123402789 SOS 80380505 HAS SOPS 65347658 HAS SOUS 23704392 HAS SOUPS 23131057 WITH SCORE 2.3211437505E7
AT ITER 302 NEW BEST:: SOT 123404365 SOS 80378483 HAS SOPS 65344748 HAS SOUS 23665546 HAS SOUPS 23092266 WITH SCORE 2.3172644483E7
AT ITER 312 NEW BEST:: SOT 123399603 SOS 80371281 HAS SOPS 65344239 HAS SOUS 23665192 HAS SOUPS 23091912 WITH SCORE 2.3172283281E7
AT ITER 319 NEW BEST:: SOT 123399376 SOS 80370712 HAS SOPS 65343758 HAS SOUS 23665008 HAS SOUPS 23091728 WITH SCORE 2.3172098712E7
AT ITER 324 NEW BEST:: SOT 123391472 SOS 80360069 HAS SOPS 65332329 HAS SOUS 23653750 HAS SOUPS 23080716 WITH SCORE 2.3161076069E7
AT ITER 329 NEW BEST:: SOT 123422887 SOS 80460538 HAS SOPS 65409722 HAS SOUS 23632573 HAS SOUPS 23059539 WITH SCORE 2.3139999538E7
AT ITER 337 NEW BEST:: SOT 123420506 SOS 80458849 HAS SOPS 65406554 HAS SOUS 23629385 HAS SOUPS 23055994 WITH SCORE 2.3136452849E7
AT ITER 350 NEW BEST:: SOT 123420467 SOS 80458568 HAS SOPS 65405120 HAS SOUS 23628326 HAS SOUPS 23054901 WITH SCORE 2.3135359568E7
AT ITER 365 NEW BEST:: SOT 123407082 SOS 80432911 HAS SOPS 65385441 HAS SOUS 23619461 HAS SOUPS 23046119 WITH SCORE 2.3126551911E7
AT ITER 368 NEW BEST:: SOT 123406423 SOS 80432918 HAS SOPS 65383195 HAS SOUS 23616600 HAS SOUPS 23043258 WITH SCORE 2.3123690918E7
AT ITER 382 NEW BEST:: SOT 123404840 SOS 80429480 HAS SOPS 65380080 HAS SOUS 23615000 HAS SOUPS 23041658 WITH SCORE 2.312208748E7
AT ITER 388 NEW BEST:: SOT 123409307 SOS 80437765 HAS SOPS 65390245 HAS SOUS 23598607 HAS SOUPS 23025265 WITH SCORE 2.3105702765E7
AT ITER 414 NEW BEST:: SOT 123390343 SOS 80410684 HAS SOPS 65371344 HAS SOUS 23589767 HAS SOUPS 23016425 WITH SCORE 2.3096835684E7
AT ITER 415 NEW BEST:: SOT 123390161 SOS 80410565 HAS SOPS 65371417 HAS SOUS 23589258 HAS SOUPS 23015916 WITH SCORE 2.3096326565E7
AT ITER 418 NEW BEST:: SOT 123390646 SOS 80443322 HAS SOPS 65409598 HAS SOUS 23589166 HAS SOUPS 23015824 WITH SCORE 2.3096267322E7
AT ITER 426 NEW BEST:: SOT 123391054 SOS 80450968 HAS SOPS 65415238 HAS SOUS 23585807 HAS SOUPS 23012465 WITH SCORE 2.3092915968E7
AT ITER 439 NEW BEST:: SOT 123380799 SOS 80440599 HAS SOPS 65404216 HAS SOUS 23564112 HAS SOUPS 22990847 WITH SCORE 2.3071287599E7
AT ITER 443 NEW BEST:: SOT 123384271 SOS 80450631 HAS SOPS 65411123 HAS SOUS 23562236 HAS SOUPS 22988971 WITH SCORE 2.3069421631E7
AT ITER 459 NEW BEST:: SOT 123394970 SOS 80476571 HAS SOPS 65450289 HAS SOUS 23557320 HAS SOUPS 22984055 WITH SCORE 2.3064531571E7
AT ITER 474 NEW BEST:: SOT 123393932 SOS 80485126 HAS SOPS 65452202 HAS SOUS 23542871 HAS SOUPS 22969606 WITH SCORE 2.3050091126E7
AT ITER 484 NEW BEST:: SOT 123401922 SOS 80505206 HAS SOPS 65469275 HAS SOUS 23525813 HAS SOUPS 22952548 WITH SCORE 2.3033053206E7
AT ITER 487 NEW BEST:: SOT 123411544 SOS 80530623 HAS SOPS 65493012 HAS SOUS 23498335 HAS SOUPS 22924933 WITH SCORE 2.3005463623E7
AT ITER 507 NEW BEST:: SOT 123416431 SOS 80547848 HAS SOPS 65511407 HAS SOUS 23482305 HAS SOUPS 22908903 WITH SCORE 2.2989450848E7
AT ITER 515 NEW BEST:: SOT 123413614 SOS 80545251 HAS SOPS 65507917 HAS SOUS 23477594 HAS SOUPS 22904192 WITH SCORE 2.2984737251E7
AT ITER 522 NEW BEST:: SOT 123381992 SOS 80516323 HAS SOPS 65471785 HAS SOUS 23405301 HAS SOUPS 22831899 WITH SCORE 2.2912415323E7
AT ITER 532 NEW BEST:: SOT 123384163 SOS 80523125 HAS SOPS 65478069 HAS SOUS 23403434 HAS SOUPS 22830032 WITH SCORE 2.2910555125E7
AT ITER 543 NEW BEST:: SOT 123385205 SOS 80522241 HAS SOPS 65476483 HAS SOUS 23399249 HAS SOUPS 22825847 WITH SCORE 2.2906369241E7
AT ITER 550 NEW BEST:: SOT 123396334 SOS 80541894 HAS SOPS 65499399 HAS SOUS 23383720 HAS SOUPS 22810574 WITH SCORE 2.2891115894E7
AT ITER 562 NEW BEST:: SOT 123392883 SOS 80537950 HAS SOPS 65494672 HAS SOUS 23376615 HAS SOUPS 22803498 WITH SCORE 2.288403595E7
AT ITER 563 NEW BEST:: SOT 123381241 SOS 80525684 HAS SOPS 65481674 HAS SOUS 23371817 HAS SOUPS 22798700 WITH SCORE 2.2879225684E7
AT ITER 570 NEW BEST:: SOT 123381750 SOS 80525295 HAS SOPS 65479862 HAS SOUS 23367680 HAS SOUPS 22794563 WITH SCORE 2.2875088295E7
AT ITER 581 NEW BEST:: SOT 123381971 SOS 80537746 HAS SOPS 65488905 HAS SOUS 23366821 HAS SOUPS 22793704 WITH SCORE 2.2874241746E7
AT ITER 586 NEW BEST:: SOT 123389345 SOS 80556651 HAS SOPS 65517682 HAS SOUS 23363497 HAS SOUPS 22790380 WITH SCORE 2.2870936651E7
AT ITER 591 NEW BEST:: SOT 123387394 SOS 80553964 HAS SOPS 65514227 HAS SOUS 23355777 HAS SOUPS 22782628 WITH SCORE 2.2863181964E7
AT ITER 598 NEW BEST:: SOT 123391701 SOS 80568671 HAS SOPS 65527650 HAS SOUS 23348417 HAS SOUPS 22775268 WITH SCORE 2.2855836671E7
AT ITER 602 NEW BEST:: SOT 123391132 SOS 80568044 HAS SOPS 65526176 HAS SOUS 23347666 HAS SOUPS 22774517 WITH SCORE 2.2855085044E7
AT ITER 603 NEW BEST:: SOT 123386069 SOS 80561819 HAS SOPS 65518184 HAS SOUS 23338190 HAS SOUPS 22765070 WITH SCORE 2.2845631819E7
AT ITER 612 NEW BEST:: SOT 123385841 SOS 80561143 HAS SOPS 65517852 HAS SOUS 23338144 HAS SOUPS 22765024 WITH SCORE 2.2845585143E7
AT ITER 636 NEW BEST:: SOT 123387684 SOS 80562398 HAS SOPS 65519615 HAS SOUS 23337592 HAS SOUPS 22764830 WITH SCORE 2.2845392398E7
AT ITER 669 NEW BEST:: SOT 123387562 SOS 80561608 HAS SOPS 65518243 HAS SOUS 23337129 HAS SOUPS 22764367 WITH SCORE 2.2844928608E7
AT ITER 681 NEW BEST:: SOT 123387598 SOS 80563462 HAS SOPS 65519695 HAS SOUS 23336517 HAS SOUPS 22763755 WITH SCORE 2.2844318462E7
AT ITER 695 NEW BEST:: SOT 123387001 SOS 80555321 HAS SOPS 65515794 HAS SOUS 23335965 HAS SOUPS 22763203 WITH SCORE 2.2843758321E7
AT ITER 720 NEW BEST:: SOT 123365164 SOS 80530837 HAS SOPS 65486633 HAS SOUS 23290975 HAS SOUPS 22718213 WITH SCORE 2.2798743837E7
AT ITER 723 NEW BEST:: SOT 123349603 SOS 80515232 HAS SOPS 65464779 HAS SOUS 23237914 HAS SOUPS 22665192 WITH SCORE 2.2745707232E7
AT ITER 739 NEW BEST:: SOT 123343669 SOS 80506859 HAS SOPS 65455540 HAS SOUS 23227246 HAS SOUPS 22654782 WITH SCORE 2.2735288859E7
AT ITER 742 NEW BEST:: SOT 123340726 SOS 80504404 HAS SOPS 65451532 HAS SOUS 23220331 HAS SOUPS 22647854 WITH SCORE 2.2728358404E7
AT ITER 760 NEW BEST:: SOT 123340726 SOS 80501876 HAS SOPS 65450668 HAS SOUS 23220322 HAS SOUPS 22647845 WITH SCORE 2.2728346876E7
AT ITER 776 NEW BEST:: SOT 123343794 SOS 80504623 HAS SOPS 65449373 HAS SOUS 23211995 HAS SOUPS 22639493 WITH SCORE 2.2719997623E7
AT ITER 797 NEW BEST:: SOT 123343794 SOS 80506515 HAS SOPS 65453089 HAS SOUS 23211972 HAS SOUPS 22639470 WITH SCORE 2.2719976515E7
AT ITER 799 NEW BEST:: SOT 123340021 SOS 80508228 HAS SOPS 65464185 HAS SOUS 23204378 HAS SOUPS 22631876 WITH SCORE 2.2712384228E7
AT ITER 825 NEW BEST:: SOT 123319838 SOS 80475559 HAS SOPS 65415815 HAS SOUS 23181636 HAS SOUPS 22609134 WITH SCORE 2.2689609559E7
AT ITER 827 NEW BEST:: SOT 123321741 SOS 80478063 HAS SOPS 65421514 HAS SOUS 23181283 HAS SOUPS 22608781 WITH SCORE 2.2689259063E7
AT ITER 833 NEW BEST:: SOT 123319685 SOS 80475630 HAS SOPS 65417737 HAS SOUS 23176675 HAS SOUPS 22604173 WITH SCORE 2.268464863E7
AT ITER 836 NEW BEST:: SOT 123353113 SOS 80542099 HAS SOPS 65470808 HAS SOUS 23133116 HAS SOUPS 22561130 WITH SCORE 2.2641672099E7
AT ITER 839 NEW BEST:: SOT 123352469 SOS 80546112 HAS SOPS 65474698 HAS SOUS 23128580 HAS SOUPS 22556594 WITH SCORE 2.2637140112E7
AT ITER 856 NEW BEST:: SOT 123352626 SOS 80548625 HAS SOPS 65476848 HAS SOUS 23126172 HAS SOUPS 22554186 WITH SCORE 2.2634734625E7
AT ITER 863 NEW BEST:: SOT 123336256 SOS 80502977 HAS SOPS 65442368 HAS SOUS 23122796 HAS SOUPS 22550810 WITH SCORE 2.2631312977E7
AT ITER 866 NEW BEST:: SOT 123335824 SOS 80502945 HAS SOPS 65441757 HAS SOUS 23121126 HAS SOUPS 22549140 WITH SCORE 2.2629642945E7
AT ITER 869 NEW BEST:: SOT 123333939 SOS 80499705 HAS SOPS 65444214 HAS SOUS 23114936 HAS SOUPS 22543107 WITH SCORE 2.2623606705E7
AT ITER 890 NEW BEST:: SOT 123338066 SOS 80506725 HAS SOPS 65447447 HAS SOUS 23103391 HAS SOUPS 22531353 WITH SCORE 2.2611859725E7
AT ITER 899 NEW BEST:: SOT 123350567 SOS 80520623 HAS SOPS 65489789 HAS SOUS 23100557 HAS SOUPS 22528519 WITH SCORE 2.2609039623E7
AT ITER 902 NEW BEST:: SOT 123349139 SOS 80520488 HAS SOPS 65489809 HAS SOUS 23093571 HAS SOUPS 22521893 WITH SCORE 2.2602413488E7
AT ITER 919 NEW BEST:: SOT 123347463 SOS 80518298 HAS SOPS 65494040 HAS SOUS 23087078 HAS SOUPS 22515400 WITH SCORE 2.2595918298E7
AT ITER 921 NEW BEST:: SOT 123345944 SOS 80516759 HAS SOPS 65492582 HAS SOUS 23085334 HAS SOUPS 22513690 WITH SCORE 2.2594206759E7
AT ITER 931 NEW BEST:: SOT 123343672 SOS 80514133 HAS SOPS 65489253 HAS SOUS 23082319 HAS SOUPS 22510675 WITH SCORE 2.2591189133E7
AT ITER 933 NEW BEST:: SOT 123351163 SOS 80528892 HAS SOPS 65497328 HAS SOUS 23080307 HAS SOUPS 22508562 WITH SCORE 2.2589090892E7
AT ITER 939 NEW BEST:: SOT 123352546 SOS 80530565 HAS SOPS 65499019 HAS SOUS 23079939 HAS SOUPS 22508133 WITH SCORE 2.2588663565E7
AT ITER 946 NEW BEST:: SOT 123355473 SOS 80539585 HAS SOPS 65504756 HAS SOUS 23074092 HAS SOUPS 22502286 WITH SCORE 2.2582825585E7
AT ITER 974 NEW BEST:: SOT 123338985 SOS 80523427 HAS SOPS 65489656 HAS SOUS 23035755 HAS SOUPS 22464063 WITH SCORE 2.2544586427E7
AT ITER 976 NEW BEST:: SOT 123337139 SOS 80521401 HAS SOPS 65486544 HAS SOUS 23031821 HAS SOUPS 22460129 WITH SCORE 2.2540650401E7
AT ITER 979 NEW BEST:: SOT 123346185 SOS 80532230 HAS SOPS 65512651 HAS SOUS 23027681 HAS SOUPS 22460116 WITH SCORE 2.254064823E7
AT ITER 992 NEW BEST:: SOT 123343510 SOS 80529197 HAS SOPS 65510953 HAS SOUS 23014946 HAS SOUPS 22447381 WITH SCORE 2.2527910197E7
AT ITER 994 NEW BEST:: SOT 123343411 SOS 80530382 HAS SOPS 65512365 HAS SOUS 23014159 HAS SOUPS 22446616 WITH SCORE 2.2527146382E7
AT ITER 996 NEW BEST:: SOT 123379570 SOS 80605197 HAS SOPS 65586479 HAS SOUS 23011576 HAS SOUPS 22444282 WITH SCORE 2.2524887197E7
AT ITER 1032 NEW BEST:: SOT 123379570 SOS 80616957 HAS SOPS 65606975 HAS SOUS 23011337 HAS SOUPS 22444043 WITH SCORE 2.2524659957E7
AT ITER 1042 NEW BEST:: SOT 123396188 SOS 80646402 HAS SOPS 65633606 HAS SOUS 22982732 HAS SOUPS 22415438 WITH SCORE 2.2496084402E7
AT ITER 1049 NEW BEST:: SOT 123405098 SOS 80660577 HAS SOPS 65646841 HAS SOUS 22977915 HAS SOUPS 22410621 WITH SCORE 2.2491281577E7
AT ITER 1057 NEW BEST:: SOT 123473604 SOS 80708254 HAS SOPS 65695279 HAS SOUS 22972340 HAS SOUPS 22404405 WITH SCORE 2.2485113254E7
AT ITER 1063 NEW BEST:: SOT 123471217 SOS 80721773 HAS SOPS 65703842 HAS SOUS 22970957 HAS SOUPS 22403022 WITH SCORE 2.2483743773E7
AT ITER 1066 NEW BEST:: SOT 123472290 SOS 80725480 HAS SOPS 65700863 HAS SOUS 22961091 HAS SOUPS 22393156 WITH SCORE 2.247388148E7
AT ITER 1093 NEW BEST:: SOT 123472595 SOS 80725785 HAS SOPS 65701776 HAS SOUS 22960244 HAS SOUPS 22392885 WITH SCORE 2.2473610785E7
AT ITER 1096 NEW BEST:: SOT 123482339 SOS 80758565 HAS SOPS 65733650 HAS SOUS 22959381 HAS SOUPS 22392022 WITH SCORE 2.2472780565E7
AT ITER 1104 NEW BEST:: SOT 123482285 SOS 80760025 HAS SOPS 65733466 HAS SOUS 22955949 HAS SOUPS 22388590 WITH SCORE 2.2469350025E7
AT ITER 1140 NEW BEST:: SOT 123481728 SOS 80760553 HAS SOPS 65737136 HAS SOUS 22953159 HAS SOUPS 22385893 WITH SCORE 2.2466653553E7
AT ITER 1155 NEW BEST:: SOT 123477902 SOS 80756963 HAS SOPS 65731646 HAS SOUS 22943512 HAS SOUPS 22376246 WITH SCORE 2.2457002963E7
AT ITER 1169 NEW BEST:: SOT 123474547 SOS 80752594 HAS SOPS 65727276 HAS SOUS 22936314 HAS SOUPS 22369079 WITH SCORE 2.2449831594E7
AT ITER 1170 NEW BEST:: SOT 123461528 SOS 80722764 HAS SOPS 65697844 HAS SOUS 22932415 HAS SOUPS 22365242 WITH SCORE 2.2445964764E7
AT ITER 1184 NEW BEST:: SOT 123467471 SOS 80740018 HAS SOPS 65712375 HAS SOUS 22929744 HAS SOUPS 22362482 WITH SCORE 2.2443222018E7
AT ITER 1189 NEW BEST:: SOT 123430011 SOS 80672968 HAS SOPS 65651248 HAS SOUS 22886289 HAS SOUPS 22319027 WITH SCORE 2.2399699968E7
AT ITER 1194 NEW BEST:: SOT 123425700 SOS 80665132 HAS SOPS 65646456 HAS SOUS 22883311 HAS SOUPS 22316049 WITH SCORE 2.2396714132E7
AT ITER 1197 NEW BEST:: SOT 123431823 SOS 80679609 HAS SOPS 65660293 HAS SOUS 22883233 HAS SOUPS 22316015 WITH SCORE 2.2396694609E7
AT ITER 1211 NEW BEST:: SOT 123431663 SOS 80688425 HAS SOPS 65681653 HAS SOUS 22883137 HAS SOUPS 22315919 WITH SCORE 2.2396607425E7
AT ITER 1220 NEW BEST:: SOT 123419849 SOS 80672777 HAS SOPS 65663302 HAS SOUS 22866269 HAS SOUPS 22299009 WITH SCORE 2.2379681777E7
AT ITER 1229 NEW BEST:: SOT 123397332 SOS 80643145 HAS SOPS 65636573 HAS SOUS 22836166 HAS SOUPS 22268906 WITH SCORE 2.2349549145E7
AT ITER 1234 NEW BEST:: SOT 123399402 SOS 80666991 HAS SOPS 65649285 HAS SOUS 22806152 HAS SOUPS 22238892 WITH SCORE 2.2319558991E7
AT ITER 1245 NEW BEST:: SOT 123399681 SOS 80668219 HAS SOPS 65649219 HAS SOUS 22804248 HAS SOUPS 22237089 WITH SCORE 2.2317757219E7
AT ITER 1284 NEW BEST:: SOT 123407805 SOS 80682231 HAS SOPS 65660297 HAS SOUS 22803151 HAS SOUPS 22235992 WITH SCORE 2.2316674231E7
AT ITER 1291 NEW BEST:: SOT 123403536 SOS 80673876 HAS SOPS 65657905 HAS SOUS 22795625 HAS SOUPS 22228545 WITH SCORE 2.2309218876E7
AT ITER 1293 NEW BEST:: SOT 123399863 SOS 80675067 HAS SOPS 65657529 HAS SOUS 22784768 HAS SOUPS 22217688 WITH SCORE 2.2298363067E7
AT ITER 1311 NEW BEST:: SOT 123399445 SOS 80676798 HAS SOPS 65658204 HAS SOUS 22779008 HAS SOUPS 22211928 WITH SCORE 2.2292604798E7
AT ITER 1334 NEW BEST:: SOT 123366616 SOS 80640208 HAS SOPS 65616945 HAS SOUS 22734272 HAS SOUPS 22167460 WITH SCORE 2.2248100208E7
AT ITER 1337 NEW BEST:: SOT 123393782 SOS 80673906 HAS SOPS 65655537 HAS SOUS 22702147 HAS SOUPS 22139028 WITH SCORE 2.2219701906E7
AT ITER 1342 NEW BEST:: SOT 123383137 SOS 80666393 HAS SOPS 65645633 HAS SOUS 22676180 HAS SOUPS 22113061 WITH SCORE 2.2193727393E7
AT ITER 1346 NEW BEST:: SOT 123383085 SOS 80664928 HAS SOPS 65655631 HAS SOUS 22667962 HAS SOUPS 22104843 WITH SCORE 2.2185507928E7
AT ITER 1357 NEW BEST:: SOT 123376857 SOS 80655027 HAS SOPS 65643869 HAS SOUS 22665896 HAS SOUPS 22102719 WITH SCORE 2.2183374027E7
AT ITER 1358 NEW BEST:: SOT 123376526 SOS 80655084 HAS SOPS 65642540 HAS SOUS 22664018 HAS SOUPS 22100822 WITH SCORE 2.2181477084E7
AT ITER 1362 NEW BEST:: SOT 123376858 SOS 80658752 HAS SOPS 65649962 HAS SOUS 22643213 HAS SOUPS 22080258 WITH SCORE 2.2160916752E7
AT ITER 1368 NEW BEST:: SOT 123376629 SOS 80660909 HAS SOPS 65656026 HAS SOUS 22632559 HAS SOUPS 22069775 WITH SCORE 2.2150435909E7
AT ITER 1372 NEW BEST:: SOT 123376781 SOS 80670587 HAS SOPS 65668734 HAS SOUS 22631258 HAS SOUPS 22068532 WITH SCORE 2.2149202587E7
AT ITER 1374 NEW BEST:: SOT 123402313 SOS 80723395 HAS SOPS 65692861 HAS SOUS 22618858 HAS SOUPS 22056132 WITH SCORE 2.2136855395E7
AT ITER 1385 NEW BEST:: SOT 123402503 SOS 80726464 HAS SOPS 65694849 HAS SOUS 22618026 HAS SOUPS 22055156 WITH SCORE 2.2135882464E7
AT ITER 1402 NEW BEST:: SOT 123393826 SOS 80711636 HAS SOPS 65684617 HAS SOUS 22608954 HAS SOUPS 22046208 WITH SCORE 2.2126919636E7
AT ITER 1421 NEW BEST:: SOT 123402974 SOS 80723410 HAS SOPS 65694626 HAS SOUS 22596941 HAS SOUPS 22034195 WITH SCORE 2.211491841E7
AT ITER 1430 NEW BEST:: SOT 123402874 SOS 80727187 HAS SOPS 65698312 HAS SOUS 22596777 HAS SOUPS 22034031 WITH SCORE 2.2114758187E7
AT ITER 1439 NEW BEST:: SOT 123396719 SOS 80721296 HAS SOPS 65689693 HAS SOUS 22580868 HAS SOUPS 22018122 WITH SCORE 2.2098843296E7
AT ITER 1442 NEW BEST:: SOT 123395447 SOS 80719212 HAS SOPS 65692435 HAS SOUS 22565340 HAS SOUPS 22002722 WITH SCORE 2.2083441212E7
AT ITER 1449 NEW BEST:: SOT 123378698 SOS 80702229 HAS SOPS 65667213 HAS SOUS 22529926 HAS SOUPS 21967361 WITH SCORE 2.2048063229E7
AT ITER 1476 NEW BEST:: SOT 123376452 SOS 80700293 HAS SOPS 65654083 HAS SOUS 22479201 HAS SOUPS 21916829 WITH SCORE 2.1997529293E7
AT ITER 1478 NEW BEST:: SOT 123378729 SOS 80717849 HAS SOPS 65672555 HAS SOUS 22471001 HAS SOUPS 21908629 WITH SCORE 2.1989346849E7
AT ITER 1513 NEW BEST:: SOT 123386714 SOS 80732609 HAS SOPS 65678765 HAS SOUS 22470307 HAS SOUPS 21907935 WITH SCORE 2.1988667609E7
AT ITER 1520 NEW BEST:: SOT 123313336 SOS 80651366 HAS SOPS 65594348 HAS SOUS 22389661 HAS SOUPS 21827423 WITH SCORE 2.1908074366E7
AT ITER 1530 NEW BEST:: SOT 123313333 SOS 80669704 HAS SOPS 65618940 HAS SOUS 22389445 HAS SOUPS 21827207 WITH SCORE 2.1907876704E7
AT ITER 1531 NEW BEST:: SOT 123313453 SOS 80671588 HAS SOPS 65618549 HAS SOUS 22362696 HAS SOUPS 21800458 WITH SCORE 2.1881129588E7
AT ITER 1540 NEW BEST:: SOT 123306761 SOS 80662766 HAS SOPS 65607287 HAS SOUS 22352476 HAS SOUPS 21790238 WITH SCORE 2.1870900766E7
AT ITER 1543 NEW BEST:: SOT 123308122 SOS 80680000 HAS SOPS 65630858 HAS SOUS 22343882 HAS SOUPS 21781644 WITH SCORE 2.1862324E7
AT ITER 1544 NEW BEST:: SOT 123308400 SOS 80681456 HAS SOPS 65631815 HAS SOUS 22343144 HAS SOUPS 21780906 WITH SCORE 2.1861587456E7
AT ITER 1545 NEW BEST:: SOT 123259045 SOS 80630649 HAS SOPS 65570775 HAS SOUS 22260398 HAS SOUPS 21698205 WITH SCORE 2.1778835649E7
AT ITER 1549 NEW BEST:: SOT 123258426 SOS 80629886 HAS SOPS 65570012 HAS SOUS 22259554 HAS SOUPS 21697361 WITH SCORE 2.1777990886E7
AT ITER 1550 NEW BEST:: SOT 123254483 SOS 80618925 HAS SOPS 65565579 HAS SOUS 22258194 HAS SOUPS 21696530 WITH SCORE 2.1777148925E7
AT ITER 1551 NEW BEST:: SOT 123254363 SOS 80618805 HAS SOPS 65565459 HAS SOUS 22258074 HAS SOUPS 21696410 WITH SCORE 2.1777028805E7
AT ITER 1552 NEW BEST:: SOT 123237634 SOS 80597618 HAS SOPS 65549194 HAS SOUS 22225531 HAS SOUPS 21664020 WITH SCORE 2.1744617618E7
AT ITER 1555 NEW BEST:: SOT 123155347 SOS 80485120 HAS SOPS 65451791 HAS SOUS 22136422 HAS SOUPS 21575420 WITH SCORE 2.165590512E7
AT ITER 1585 NEW BEST:: SOT 123144821 SOS 80476512 HAS SOPS 65439679 HAS SOUS 22112376 HAS SOUPS 21551231 WITH SCORE 2.1631707512E7
AT ITER 1593 NEW BEST:: SOT 123144821 SOS 80479328 HAS SOPS 65441791 HAS SOUS 22112206 HAS SOUPS 21551061 WITH SCORE 2.1631540328E7
AT ITER 1596 NEW BEST:: SOT 123141859 SOS 80464780 HAS SOPS 65451399 HAS SOUS 22092797 HAS SOUPS 21531652 WITH SCORE 2.161211678E7
AT ITER 1637 NEW BEST:: SOT 123139989 SOS 80462658 HAS SOPS 65447946 HAS SOUS 22089671 HAS SOUPS 21528526 WITH SCORE 2.1608988658E7
AT ITER 1640 NEW BEST:: SOT 123137681 SOS 80439000 HAS SOPS 65434281 HAS SOUS 22070413 HAS SOUPS 21509591 WITH SCORE 2.159003E7
AT ITER 1656 NEW BEST:: SOT 123136386 SOS 80439310 HAS SOPS 65434136 HAS SOUS 22066233 HAS SOUPS 21505365 WITH SCORE 2.158580431E7
AT ITER 1669 NEW BEST:: SOT 123153783 SOS 80489163 HAS SOPS 65462656 HAS SOUS 22038698 HAS SOUPS 21477830 WITH SCORE 2.1558319163E7
AT ITER 1672 NEW BEST:: SOT 123147576 SOS 80481592 HAS SOPS 65451999 HAS SOUS 22027063 HAS SOUPS 21466235 WITH SCORE 2.1546716592E7
AT ITER 1674 NEW BEST:: SOT 123124998 SOS 80465792 HAS SOPS 65414147 HAS SOUS 21961528 HAS SOUPS 21400700 WITH SCORE 2.1481165792E7
AT ITER 1685 NEW BEST:: SOT 123114720 SOS 80454834 HAS SOPS 65399617 HAS SOUS 21931868 HAS SOUPS 21370929 WITH SCORE 2.1451383834E7
AT ITER 1689 NEW BEST:: SOT 123112952 SOS 80456038 HAS SOPS 65401433 HAS SOUS 21931220 HAS SOUPS 21370281 WITH SCORE 2.1450737038E7
AT ITER 1699 NEW BEST:: SOT 123112894 SOS 80456173 HAS SOPS 65400096 HAS SOUS 21928889 HAS SOUPS 21367798 WITH SCORE 2.1448254173E7
AT ITER 1704 NEW BEST:: SOT 123112853 SOS 80453444 HAS SOPS 65397367 HAS SOUS 21928866 HAS SOUPS 21367775 WITH SCORE 2.1448228444E7
AT ITER 1714 NEW BEST:: SOT 123112479 SOS 80453019 HAS SOPS 65396695 HAS SOUS 21922093 HAS SOUPS 21362407 WITH SCORE 2.1442860019E7
AT ITER 1718 NEW BEST:: SOT 123092660 SOS 80409773 HAS SOPS 65354971 HAS SOUS 21903203 HAS SOUPS 21343517 WITH SCORE 2.1423926773E7
AT ITER 1732 NEW BEST:: SOT 123101841 SOS 80435730 HAS SOPS 65371965 HAS SOUS 21894692 HAS SOUPS 21334915 WITH SCORE 2.141535073E7
AT ITER 1733 NEW BEST:: SOT 123110902 SOS 80451665 HAS SOPS 65386773 HAS SOUS 21888899 HAS SOUPS 21329041 WITH SCORE 2.1409492665E7
AT ITER 1737 NEW BEST:: SOT 123090183 SOS 80392225 HAS SOPS 65365350 HAS SOUS 21886705 HAS SOUPS 21327132 WITH SCORE 2.1407524225E7
AT ITER 1743 NEW BEST:: SOT 123083088 SOS 80384425 HAS SOPS 65349365 HAS SOUS 21865507 HAS SOUPS 21305934 WITH SCORE 2.1386318425E7
AT ITER 1744 NEW BEST:: SOT 123092797 SOS 80400808 HAS SOPS 65351585 HAS SOUS 21843757 HAS SOUPS 21284184 WITH SCORE 2.1364584808E7
AT ITER 1762 NEW BEST:: SOT 123106464 SOS 80437433 HAS SOPS 65394521 HAS SOUS 21837925 HAS SOUPS 21278531 WITH SCORE 2.1358968433E7
AT ITER 1768 NEW BEST:: SOT 123112649 SOS 80451247 HAS SOPS 65401172 HAS SOUS 21823661 HAS SOUPS 21264267 WITH SCORE 2.1344718247E7
AT ITER 1771 NEW BEST:: SOT 123143269 SOS 80534292 HAS SOPS 65482779 HAS SOUS 21814818 HAS SOUPS 21255424 WITH SCORE 2.1335958292E7
AT ITER 1795 NEW BEST:: SOT 123137761 SOS 80520999 HAS SOPS 65471373 HAS SOUS 21814499 HAS SOUPS 21255105 WITH SCORE 2.1335625999E7
AT ITER 1797 NEW BEST:: SOT 123136723 SOS 80518821 HAS SOPS 65469229 HAS SOUS 21814247 HAS SOUPS 21254853 WITH SCORE 2.1335371821E7
AT ITER 1808 NEW BEST:: SOT 123128325 SOS 80508989 HAS SOPS 65457264 HAS SOUS 21806252 HAS SOUPS 21246793 WITH SCORE 2.1327301989E7
AT ITER 1809 NEW BEST:: SOT 123127307 SOS 80507986 HAS SOPS 65456038 HAS SOUS 21803565 HAS SOUPS 21244183 WITH SCORE 2.1324690986E7
AT ITER 1812 NEW BEST:: SOT 123109859 SOS 80480571 HAS SOPS 65436921 HAS SOUS 21794160 HAS SOUPS 21234778 WITH SCORE 2.1315258571E7
AT ITER 1817 NEW BEST:: SOT 123117116 SOS 80495519 HAS SOPS 65450287 HAS SOUS 21794019 HAS SOUPS 21234566 WITH SCORE 2.1315061519E7
AT ITER 1826 NEW BEST:: SOT 123098867 SOS 80476824 HAS SOPS 65432652 HAS SOUS 21748845 HAS SOUPS 21189392 WITH SCORE 2.1269868824E7
AT ITER 1833 NEW BEST:: SOT 123092509 SOS 80510856 HAS SOPS 65475089 HAS SOUS 21747509 HAS SOUPS 21188056 WITH SCORE 2.1268566856E7
AT ITER 1838 NEW BEST:: SOT 123087955 SOS 80504395 HAS SOPS 65468799 HAS SOUS 21743526 HAS SOUPS 21184073 WITH SCORE 2.1264577395E7
AT ITER 1856 NEW BEST:: SOT 123107862 SOS 80530761 HAS SOPS 65477281 HAS SOUS 21738294 HAS SOUPS 21176868 WITH SCORE 2.1257398761E7
AT ITER 1862 NEW BEST:: SOT 123107483 SOS 80530190 HAS SOPS 65476676 HAS SOUS 21737793 HAS SOUPS 21176367 WITH SCORE 2.125689719E7
AT ITER 1866 NEW BEST:: SOT 123103599 SOS 80521007 HAS SOPS 65473528 HAS SOUS 21732003 HAS SOUPS 21170762 WITH SCORE 2.1251283007E7
AT ITER 1871 NEW BEST:: SOT 123115644 SOS 80556435 HAS SOPS 65518636 HAS SOUS 21721263 HAS SOUPS 21160022 WITH SCORE 2.1240578435E7
AT ITER 1872 NEW BEST:: SOT 123146581 SOS 80620418 HAS SOPS 65574397 HAS SOUS 21718171 HAS SOUPS 21156930 WITH SCORE 2.1237550418E7
AT ITER 1878 NEW BEST:: SOT 123149402 SOS 80634972 HAS SOPS 65581346 HAS SOUS 21706300 HAS SOUPS 21145059 WITH SCORE 2.1225693972E7
AT ITER 1879 NEW BEST:: SOT 123105180 SOS 80588977 HAS SOPS 65533686 HAS SOUS 21634327 HAS SOUPS 21072634 WITH SCORE 2.1153222977E7
AT ITER 1895 NEW BEST:: SOT 123106514 SOS 80591455 HAS SOPS 65534081 HAS SOUS 21628115 HAS SOUPS 21066422 WITH SCORE 2.1147013455E7
AT ITER 1898 NEW BEST:: SOT 123103004 SOS 80581396 HAS SOPS 65528127 HAS SOUS 21624629 HAS SOUPS 21063027 WITH SCORE 2.1143608396E7
AT ITER 1905 NEW BEST:: SOT 123103566 SOS 80585246 HAS SOPS 65533330 HAS SOUS 21620985 HAS SOUPS 21059383 WITH SCORE 2.1139968246E7
AT ITER 1907 NEW BEST:: SOT 123100472 SOS 80580986 HAS SOPS 65527521 HAS SOUS 21613845 HAS SOUPS 21052243 WITH SCORE 2.1132823986E7
AT ITER 1909 NEW BEST:: SOT 123100505 SOS 80584157 HAS SOPS 65530990 HAS SOUS 21610371 HAS SOUPS 21048769 WITH SCORE 2.1129353157E7
AT ITER 1916 NEW BEST:: SOT 123109769 SOS 80602320 HAS SOPS 65557439 HAS SOUS 21602513 HAS SOUPS 21041273 WITH SCORE 2.112187532E7
AT ITER 1918 NEW BEST:: SOT 123096630 SOS 80621272 HAS SOPS 65578349 HAS SOUS 21594261 HAS SOUPS 21033021 WITH SCORE 2.1113642272E7
AT ITER 1926 NEW BEST:: SOT 123105538 SOS 80637860 HAS SOPS 65589602 HAS SOUS 21582786 HAS SOUPS 21021720 WITH SCORE 2.110235786E7
AT ITER 1933 NEW BEST:: SOT 123099446 SOS 80634265 HAS SOPS 65592735 HAS SOUS 21568331 HAS SOUPS 21007160 WITH SCORE 2.1087794265E7
AT ITER 1948 NEW BEST:: SOT 123099226 SOS 80634218 HAS SOPS 65592479 HAS SOUS 21567692 HAS SOUPS 21006517 WITH SCORE 2.1087151218E7
AT ITER 1971 NEW BEST:: SOT 123099153 SOS 80635672 HAS SOPS 65600475 HAS SOUS 21567373 HAS SOUPS 21006303 WITH SCORE 2.1086938672E7
AT ITER 1989 NEW BEST:: SOT 123099064 SOS 80635676 HAS SOPS 65600449 HAS SOUS 21567284 HAS SOUPS 21006214 WITH SCORE 2.1086849676E7
AT ITER 1994 NEW BEST:: SOT 123097465 SOS 80633008 HAS SOPS 65598128 HAS SOUS 21565631 HAS SOUPS 21004561 WITH SCORE 2.1085194008E7
AT ITER 2008 NEW BEST:: SOT 123095669 SOS 80630784 HAS SOPS 65596372 HAS SOUS 21564238 HAS SOUPS 21003168 WITH SCORE 2.1083798784E7
AT ITER 2017 NEW BEST:: SOT 123078417 SOS 80610735 HAS SOPS 65574604 HAS SOUS 21553465 HAS SOUPS 20992395 WITH SCORE 2.1073005735E7
AT ITER 2039 NEW BEST:: SOT 123073123 SOS 80606786 HAS SOPS 65576327 HAS SOUS 21535125 HAS SOUPS 20974214 WITH SCORE 2.1054820786E7
AT ITER 2051 NEW BEST:: SOT 123073287 SOS 80607317 HAS SOPS 65573343 HAS SOUS 21526496 HAS SOUPS 20965585 WITH SCORE 2.1046192317E7
AT ITER 2055 NEW BEST:: SOT 123070798 SOS 80609542 HAS SOPS 65586821 HAS SOUS 21519690 HAS SOUPS 20958918 WITH SCORE 2.1039527542E7
AT ITER 2070 NEW BEST:: SOT 123070780 SOS 80609300 HAS SOPS 65586643 HAS SOUS 21519658 HAS SOUPS 20958888 WITH SCORE 2.10394973E7
AT ITER 2071 NEW BEST:: SOT 123070785 SOS 80609325 HAS SOPS 65586620 HAS SOUS 21519127 HAS SOUPS 20958357 WITH SCORE 2.1038966325E7
AT ITER 2076 NEW BEST:: SOT 123061533 SOS 80600364 HAS SOPS 65573476 HAS SOUS 21497695 HAS SOUPS 20937114 WITH SCORE 2.1017714364E7
AT ITER 2079 NEW BEST:: SOT 123060803 SOS 80599796 HAS SOPS 65572806 HAS SOUS 21495438 HAS SOUPS 20934857 WITH SCORE 2.1015456796E7
AT ITER 2088 NEW BEST:: SOT 123052055 SOS 80575713 HAS SOPS 65573590 HAS SOUS 21487034 HAS SOUPS 20926677 WITH SCORE 2.1007252713E7
AT ITER 2096 NEW BEST:: SOT 123054684 SOS 80581997 HAS SOPS 65579371 HAS SOUS 21479125 HAS SOUPS 20918768 WITH SCORE 2.0999349997E7
AT ITER 2108 NEW BEST:: SOT 123062521 SOS 80592781 HAS SOPS 65601311 HAS SOUS 21467929 HAS SOUPS 20907756 WITH SCORE 2.0988348781E7
AT ITER 2109 NEW BEST:: SOT 123062430 SOS 80592560 HAS SOPS 65601051 HAS SOUS 21467421 HAS SOUPS 20907261 WITH SCORE 2.098785356E7
AT ITER 2110 NEW BEST:: SOT 123062645 SOS 80604085 HAS SOPS 65612358 HAS SOUS 21467200 HAS SOUPS 20907040 WITH SCORE 2.0987644085E7
AT ITER 2116 NEW BEST:: SOT 123051409 SOS 80591520 HAS SOPS 65591540 HAS SOUS 21445641 HAS SOUPS 20885383 WITH SCORE 2.096597452E7
AT ITER 2128 NEW BEST:: SOT 123124744 SOS 80664855 HAS SOPS 65657515 HAS SOUS 21444000 HAS SOUPS 20880766 WITH SCORE 2.0961430855E7
AT ITER 2130 NEW BEST:: SOT 123126093 SOS 80672704 HAS SOPS 65663779 HAS SOUS 21438826 HAS SOUPS 20875641 WITH SCORE 2.0956313704E7
AT ITER 2136 NEW BEST:: SOT 123134782 SOS 80685035 HAS SOPS 65671087 HAS SOUS 21430180 HAS SOUPS 20865075 WITH SCORE 2.0945760035E7
AT ITER 2140 NEW BEST:: SOT 123135265 SOS 80720629 HAS SOPS 65716484 HAS SOUS 21429941 HAS SOUPS 20864960 WITH SCORE 2.0945680629E7
AT ITER 2146 NEW BEST:: SOT 123118245 SOS 80703580 HAS SOPS 65699232 HAS SOUS 21415281 HAS SOUPS 20850126 WITH SCORE 2.093082958E7
AT ITER 2156 NEW BEST:: SOT 123119446 SOS 80705903 HAS SOPS 65701197 HAS SOUS 21408429 HAS SOUPS 20843303 WITH SCORE 2.0924008903E7
AT ITER 2163 NEW BEST:: SOT 123128061 SOS 80721020 HAS SOPS 65708106 HAS SOUS 21401843 HAS SOUPS 20836717 WITH SCORE 2.091743802E7
AT ITER 2167 NEW BEST:: SOT 123127889 SOS 80719245 HAS SOPS 65706678 HAS SOUS 21401706 HAS SOUPS 20836617 WITH SCORE 2.0917336245E7
AT ITER 2171 NEW BEST:: SOT 123123358 SOS 80714714 HAS SOPS 65702147 HAS SOUS 21397159 HAS SOUPS 20832070 WITH SCORE 2.0912784714E7
AT ITER 2172 NEW BEST:: SOT 123100407 SOS 80683784 HAS SOPS 65672394 HAS SOUS 21367918 HAS SOUPS 20804468 WITH SCORE 2.0885151784E7
AT ITER 2191 NEW BEST:: SOT 123096015 SOS 80680567 HAS SOPS 65664399 HAS SOUS 21353443 HAS SOUPS 20789993 WITH SCORE 2.0870673567E7
AT ITER 2199 NEW BEST:: SOT 123107669 SOS 80693112 HAS SOPS 65694788 HAS SOUS 21352079 HAS SOUPS 20788867 WITH SCORE 2.0869560112E7
AT ITER 2211 NEW BEST:: SOT 123100458 SOS 80690173 HAS SOPS 65685677 HAS SOUS 21313613 HAS SOUPS 20750170 WITH SCORE 2.0830860173E7
AT ITER 2233 NEW BEST:: SOT 123089411 SOS 80684365 HAS SOPS 65675543 HAS SOUS 21293895 HAS SOUPS 20728699 WITH SCORE 2.0809383365E7
AT ITER 2237 NEW BEST:: SOT 123087181 SOS 80682720 HAS SOPS 65676627 HAS SOUS 21284195 HAS SOUPS 20719094 WITH SCORE 2.079977672E7
AT ITER 2238 NEW BEST:: SOT 123088968 SOS 80686450 HAS SOPS 65684892 HAS SOUS 21282102 HAS SOUPS 20717040 WITH SCORE 2.079772645E7
AT ITER 2239 NEW BEST:: SOT 123099967 SOS 80711223 HAS SOPS 65704930 HAS SOUS 21268300 HAS SOUPS 20703507 WITH SCORE 2.0784218223E7
AT ITER 2240 NEW BEST:: SOT 123094323 SOS 80704930 HAS SOPS 65698706 HAS SOUS 21257228 HAS SOUPS 20692488 WITH SCORE 2.077319293E7
AT ITER 2251 NEW BEST:: SOT 123032040 SOS 80590641 HAS SOPS 65637309 HAS SOUS 21228182 HAS SOUPS 20663810 WITH SCORE 2.0744400641E7
AT ITER 2252 NEW BEST:: SOT 123032118 SOS 80603983 HAS SOPS 65646976 HAS SOUS 21226908 HAS SOUPS 20662536 WITH SCORE 2.0743139983E7
AT ITER 2255 NEW BEST:: SOT 123027818 SOS 80596319 HAS SOPS 65636076 HAS SOUS 21216547 HAS SOUPS 20652175 WITH SCORE 2.0732771319E7
AT ITER 2265 NEW BEST:: SOT 123034952 SOS 80611556 HAS SOPS 65649384 HAS SOUS 21214300 HAS SOUPS 20649999 WITH SCORE 2.0730610556E7
AT ITER 2275 NEW BEST:: SOT 123028535 SOS 80589072 HAS SOPS 65631918 HAS SOUS 21204784 HAS SOUPS 20640689 WITH SCORE 2.0721278072E7
AT ITER 2292 NEW BEST:: SOT 123024086 SOS 80582234 HAS SOPS 65622904 HAS SOUS 21196653 HAS SOUPS 20632558 WITH SCORE 2.0713140234E7
AT ITER 2294 NEW BEST:: SOT 123020336 SOS 80577131 HAS SOPS 65619253 HAS SOUS 21191715 HAS SOUPS 20627620 WITH SCORE 2.0708197131E7
AT ITER 2301 NEW BEST:: SOT 123020305 SOS 80574648 HAS SOPS 65618467 HAS SOUS 21191701 HAS SOUPS 20627606 WITH SCORE 2.0708180648E7
AT ITER 2303 NEW BEST:: SOT 123020568 SOS 80577779 HAS SOPS 65633540 HAS SOUS 21182397 HAS SOUPS 20618302 WITH SCORE 2.0698879779E7
AT ITER 2305 NEW BEST:: SOT 123008641 SOS 80555486 HAS SOPS 65602632 HAS SOUS 21166627 HAS SOUPS 20602532 WITH SCORE 2.0683087486E7
AT ITER 2308 NEW BEST:: SOT 123020243 SOS 80589324 HAS SOPS 65626791 HAS SOUS 21150623 HAS SOUPS 20586528 WITH SCORE 2.0667117324E7
AT ITER 2315 NEW BEST:: SOT 123012286 SOS 80577777 HAS SOPS 65614453 HAS SOUS 21135410 HAS SOUPS 20572618 WITH SCORE 2.0653195777E7
AT ITER 2322 NEW BEST:: SOT 123017207 SOS 80593094 HAS SOPS 65643280 HAS SOUS 21126257 HAS SOUPS 20563296 WITH SCORE 2.0643889094E7
AT ITER 2330 NEW BEST:: SOT 123039045 SOS 80645313 HAS SOPS 65692729 HAS SOUS 21123199 HAS SOUPS 20560238 WITH SCORE 2.0640883313E7
AT ITER 2354 NEW BEST:: SOT 123038992 SOS 80645260 HAS SOPS 65692676 HAS SOUS 21123146 HAS SOUPS 20560185 WITH SCORE 2.064083026E7
AT ITER 2368 NEW BEST:: SOT 123034699 SOS 80641833 HAS SOPS 65687510 HAS SOUS 21116111 HAS SOUPS 20552472 WITH SCORE 2.0633113833E7
AT ITER 2376 NEW BEST:: SOT 123032189 SOS 80638441 HAS SOPS 65683922 HAS SOUS 21112775 HAS SOUPS 20549136 WITH SCORE 2.0629774441E7
AT ITER 2377 NEW BEST:: SOT 123021804 SOS 80616359 HAS SOPS 65664671 HAS SOUS 21094206 HAS SOUPS 20530567 WITH SCORE 2.0611183359E7
AT ITER 2378 NEW BEST:: SOT 123017605 SOS 80611718 HAS SOPS 65658287 HAS SOUS 21084448 HAS SOUPS 20520809 WITH SCORE 2.0601420718E7
AT ITER 2386 NEW BEST:: SOT 123015483 SOS 80599679 HAS SOPS 65647496 HAS SOUS 21078577 HAS SOUPS 20514977 WITH SCORE 2.0595576679E7
AT ITER 2403 NEW BEST:: SOT 123002811 SOS 80587297 HAS SOPS 65636796 HAS SOUS 21071241 HAS SOUPS 20507641 WITH SCORE 2.0588228297E7
AT ITER 2405 NEW BEST:: SOT 123001923 SOS 80586101 HAS SOPS 65636797 HAS SOUS 21069990 HAS SOUPS 20506390 WITH SCORE 2.0586976101E7
AT ITER 2407 NEW BEST:: SOT 122995892 SOS 80580070 HAS SOPS 65630638 HAS SOUS 21063515 HAS SOUPS 20499867 WITH SCORE 2.058044707E7
AT ITER 2417 NEW BEST:: SOT 123004675 SOS 80587167 HAS SOPS 65638624 HAS SOUS 21057312 HAS SOUPS 20493846 WITH SCORE 2.0574433167E7
AT ITER 2426 NEW BEST:: SOT 123004418 SOS 80586548 HAS SOPS 65638060 HAS SOUS 21055563 HAS SOUPS 20492113 WITH SCORE 2.0572699548E7
AT ITER 2427 NEW BEST:: SOT 123003084 SOS 80580527 HAS SOPS 65630294 HAS SOUS 21053400 HAS SOUPS 20489950 WITH SCORE 2.0570530527E7
AT ITER 2447 NEW BEST:: SOT 123004696 SOS 80583263 HAS SOPS 65632419 HAS SOUS 21051584 HAS SOUPS 20488321 WITH SCORE 2.0568904263E7
AT ITER 2481 NEW BEST:: SOT 123005025 SOS 80585826 HAS SOPS 65627261 HAS SOUS 21047433 HAS SOUPS 20483984 WITH SCORE 2.0564569826E7
AT ITER 2485 NEW BEST:: SOT 123012507 SOS 80596903 HAS SOPS 65634514 HAS SOUS 21043009 HAS SOUPS 20479393 WITH SCORE 2.0559989903E7
AT ITER 2491 NEW BEST:: SOT 123001013 SOS 80583571 HAS SOPS 65617004 HAS SOUS 21030402 HAS SOUPS 20466523 WITH SCORE 2.0547106571E7
AT ITER 2500 NEW BEST:: SOT 123002829 SOS 80580760 HAS SOPS 65613862 HAS SOUS 21027759 HAS SOUPS 20463880 WITH SCORE 2.054446076E7
AT ITER 2504 NEW BEST:: SOT 123009544 SOS 80599539 HAS SOPS 65627991 HAS SOUS 21018403 HAS SOUPS 20454298 WITH SCORE 2.0534897539E7
AT ITER 2518 NEW BEST:: SOT 123009267 SOS 80598138 HAS SOPS 65626061 HAS SOUS 21017752 HAS SOUPS 20453647 WITH SCORE 2.0534245138E7
AT ITER 2532 NEW BEST:: SOT 123003557 SOS 80591821 HAS SOPS 65619949 HAS SOUS 21005004 HAS SOUPS 20440953 WITH SCORE 2.0521544821E7
AT ITER 2538 NEW BEST:: SOT 122992215 SOS 80580479 HAS SOPS 65607855 HAS SOUS 20992534 HAS SOUPS 20428107 WITH SCORE 2.0508687479E7
AT ITER 2539 NEW BEST:: SOT 122986548 SOS 80568915 HAS SOPS 65598927 HAS SOUS 20991036 HAS SOUPS 20426609 WITH SCORE 2.0507177915E7
AT ITER 2567 NEW BEST:: SOT 122992054 SOS 80571838 HAS SOPS 65606193 HAS SOUS 20990682 HAS SOUPS 20426255 WITH SCORE 2.0506826838E7
AT ITER 2576 NEW BEST:: SOT 122988952 SOS 80570610 HAS SOPS 65602810 HAS SOUS 20981008 HAS SOUPS 20416510 WITH SCORE 2.049708061E7
AT ITER 2577 NEW BEST:: SOT 122970126 SOS 80553118 HAS SOPS 65581620 HAS SOUS 20942265 HAS SOUPS 20378848 WITH SCORE 2.0459401118E7
AT ITER 2584 NEW BEST:: SOT 122953200 SOS 80535898 HAS SOPS 65562420 HAS SOUS 20919129 HAS SOUPS 20355794 WITH SCORE 2.0436329898E7
AT ITER 2585 NEW BEST:: SOT 122952961 SOS 80548196 HAS SOPS 65578254 HAS SOUS 20916760 HAS SOUPS 20353425 WITH SCORE 2.0433973196E7
AT ITER 2587 NEW BEST:: SOT 122946979 SOS 80542214 HAS SOPS 65572160 HAS SOUS 20910202 HAS SOUPS 20346867 WITH SCORE 2.0427409214E7
AT ITER 2589 NEW BEST:: SOT 122950042 SOS 80547251 HAS SOPS 65576945 HAS SOUS 20910166 HAS SOUPS 20346831 WITH SCORE 2.0427378251E7
AT ITER 2594 NEW BEST:: SOT 122940363 SOS 80527340 HAS SOPS 65573449 HAS SOUS 20885537 HAS SOUPS 20322202 WITH SCORE 2.040272934E7
AT ITER 2599 NEW BEST:: SOT 122940138 SOS 80531327 HAS SOPS 65574900 HAS SOUS 20883141 HAS SOUPS 20319806 WITH SCORE 2.0400337327E7
AT ITER 2606 NEW BEST:: SOT 122938947 SOS 80529704 HAS SOPS 65573537 HAS SOUS 20881693 HAS SOUPS 20318358 WITH SCORE 2.0398887704E7
AT ITER 2610 NEW BEST:: SOT 122906579 SOS 80489544 HAS SOPS 65521193 HAS SOUS 20820059 HAS SOUPS 20256988 WITH SCORE 2.0337477544E7
AT ITER 2613 NEW BEST:: SOT 122912348 SOS 80512635 HAS SOPS 65553075 HAS SOUS 20808806 HAS SOUPS 20246069 WITH SCORE 2.0326581635E7
AT ITER 2614 NEW BEST:: SOT 122912267 SOS 80519627 HAS SOPS 65565761 HAS SOUS 20808322 HAS SOUPS 20245585 WITH SCORE 2.0326104627E7
AT ITER 2620 NEW BEST:: SOT 122931472 SOS 80551964 HAS SOPS 65590661 HAS SOUS 20801218 HAS SOUPS 20238481 WITH SCORE 2.0319032964E7
AT ITER 2636 NEW BEST:: SOT 122960995 SOS 80636103 HAS SOPS 65670461 HAS SOUS 20776680 HAS SOUPS 20213943 WITH SCORE 2.0294579103E7
AT ITER 2641 NEW BEST:: SOT 122957521 SOS 80627398 HAS SOPS 65660388 HAS SOUS 20774894 HAS SOUPS 20212157 WITH SCORE 2.0292784398E7
AT ITER 2645 NEW BEST:: SOT 122954850 SOS 80626337 HAS SOPS 65658757 HAS SOUS 20766751 HAS SOUPS 20204014 WITH SCORE 2.0284640337E7
AT ITER 2646 NEW BEST:: SOT 122949457 SOS 80619982 HAS SOPS 65652661 HAS SOUS 20752986 HAS SOUPS 20190286 WITH SCORE 2.0270905982E7
AT ITER 2650 NEW BEST:: SOT 122949711 SOS 80620428 HAS SOPS 65652717 HAS SOUS 20751645 HAS SOUPS 20188945 WITH SCORE 2.0269565428E7
AT ITER 2697 NEW BEST:: SOT 122949920 SOS 80620379 HAS SOPS 65652393 HAS SOUS 20748541 HAS SOUPS 20185841 WITH SCORE 2.0266461379E7
AT ITER 2702 NEW BEST:: SOT 122949595 SOS 80620091 HAS SOPS 65652368 HAS SOUS 20747155 HAS SOUPS 20184455 WITH SCORE 2.0265075091E7
AT ITER 2730 NEW BEST:: SOT 122978570 SOS 80699776 HAS SOPS 65722097 HAS SOUS 20737687 HAS SOUPS 20174987 WITH SCORE 2.0255686776E7
AT ITER 2741 NEW BEST:: SOT 122969845 SOS 80687548 HAS SOPS 65710521 HAS SOUS 20717838 HAS SOUPS 20155200 WITH SCORE 2.0235887548E7
AT ITER 2746 NEW BEST:: SOT 122970175 SOS 80687915 HAS SOPS 65711124 HAS SOUS 20715774 HAS SOUPS 20153487 WITH SCORE 2.0234174915E7
AT ITER 2756 NEW BEST:: SOT 122995010 SOS 80738239 HAS SOPS 65757997 HAS SOUS 20708074 HAS SOUPS 20145787 WITH SCORE 2.0226525239E7
AT ITER 2770 NEW BEST:: SOT 122995247 SOS 80737544 HAS SOPS 65759676 HAS SOUS 20706135 HAS SOUPS 20143848 WITH SCORE 2.0224585544E7
AT ITER 2774 NEW BEST:: SOT 122995262 SOS 80740697 HAS SOPS 65762844 HAS SOUS 20706062 HAS SOUPS 20143775 WITH SCORE 2.0224515697E7
AT ITER 2803 NEW BEST:: SOT 122986235 SOS 80730516 HAS SOPS 65750070 HAS SOUS 20690653 HAS SOUPS 20128366 WITH SCORE 2.0209096516E7
AT ITER 2815 NEW BEST:: SOT 123012588 SOS 80789702 HAS SOPS 65780064 HAS SOUS 20677408 HAS SOUPS 20115121 WITH SCORE 2.0195910702E7
AT ITER 2832 NEW BEST:: SOT 123014318 SOS 80786394 HAS SOPS 65778486 HAS SOUS 20675691 HAS SOUPS 20113404 WITH SCORE 2.0194190394E7
AT ITER 2871 NEW BEST:: SOT 123017889 SOS 80795896 HAS SOPS 65786573 HAS SOUS 20672041 HAS SOUPS 20109754 WITH SCORE 2.0190549896E7
AT ITER 2873 NEW BEST:: SOT 123025356 SOS 80820471 HAS SOPS 65802954 HAS SOUS 20666551 HAS SOUPS 20104177 WITH SCORE 2.0184997471E7
AT ITER 2874 NEW BEST:: SOT 123045876 SOS 80863710 HAS SOPS 65830993 HAS SOUS 20657149 HAS SOUPS 20094694 WITH SCORE 2.017555771E7
AT ITER 2882 NEW BEST:: SOT 123056976 SOS 80896045 HAS SOPS 65847330 HAS SOUS 20645571 HAS SOUPS 20083020 WITH SCORE 2.0163916045E7
AT ITER 2898 NEW BEST:: SOT 123056976 SOS 80897453 HAS SOPS 65849090 HAS SOUS 20645526 HAS SOUPS 20082975 WITH SCORE 2.0163872453E7
AT ITER 2908 NEW BEST:: SOT 123060613 SOS 80917357 HAS SOPS 65859901 HAS SOUS 20628675 HAS SOUPS 20066124 WITH SCORE 2.0147041357E7
AT ITER 2911 NEW BEST:: SOT 123065841 SOS 80928467 HAS SOPS 65866688 HAS SOUS 20625093 HAS SOUPS 20062409 WITH SCORE 2.0143337467E7
AT ITER 2919 NEW BEST:: SOT 122999157 SOS 80806718 HAS SOPS 65763129 HAS SOUS 20585045 HAS SOUPS 20021125 WITH SCORE 2.0101931718E7
AT ITER 2937 NEW BEST:: SOT 122992686 SOS 80797553 HAS SOPS 65754784 HAS SOUS 20577379 HAS SOUPS 20013502 WITH SCORE 2.0094299553E7
AT ITER 2941 NEW BEST:: SOT 122991281 SOS 80785695 HAS SOPS 65749040 HAS SOUS 20577118 HAS SOUPS 20013241 WITH SCORE 2.0094026695E7
AT ITER 2973 NEW BEST:: SOT 122990077 SOS 80784522 HAS SOPS 65746858 HAS SOUS 20573483 HAS SOUPS 20009701 WITH SCORE 2.0090485522E7
AT ITER 2976 NEW BEST:: SOT 122982734 SOS 80777168 HAS SOPS 65739356 HAS SOUS 20565128 HAS SOUPS 20001346 WITH SCORE 2.0082123168E7
AT ITER 2996 NEW BEST:: SOT 122979722 SOS 80772762 HAS SOPS 65735543 HAS SOUS 20556810 HAS SOUPS 19993116 WITH SCORE 2.0073888762E7
AT ITER 3000 NEW BEST:: SOT 122972101 SOS 80766659 HAS SOPS 65725591 HAS SOUS 20542380 HAS SOUPS 19978648 WITH SCORE 2.0059414659E7
AT ITER 3005 NEW BEST:: SOT 122963457 SOS 80759373 HAS SOPS 65716537 HAS SOUS 20527494 HAS SOUPS 19963676 WITH SCORE 2.0044435373E7
AT ITER 3009 NEW BEST:: SOT 122962586 SOS 80755402 HAS SOPS 65711831 HAS SOUS 20518772 HAS SOUPS 19954851 WITH SCORE 2.0035606402E7
AT ITER 3031 NEW BEST:: SOT 122954188 SOS 80749509 HAS SOPS 65708856 HAS SOUS 20518592 HAS SOUPS 19954671 WITH SCORE 2.0035420509E7
AT ITER 3032 NEW BEST:: SOT 122938365 SOS 80727630 HAS SOPS 65697009 HAS SOUS 20476560 HAS SOUPS 19913230 WITH SCORE 1.999395763E7
AT ITER 3033 NEW BEST:: SOT 122938365 SOS 80728430 HAS SOPS 65697649 HAS SOUS 20476545 HAS SOUPS 19913215 WITH SCORE 1.999394343E7
AT ITER 3060 NEW BEST:: SOT 122938184 SOS 80728249 HAS SOPS 65697364 HAS SOUS 20475420 HAS SOUPS 19912186 WITH SCORE 1.9992914249E7
AT ITER 3063 NEW BEST:: SOT 122946331 SOS 80741493 HAS SOPS 65708587 HAS SOUS 20472556 HAS SOUPS 19909629 WITH SCORE 1.9990370493E7
AT ITER 3071 NEW BEST:: SOT 122940250 SOS 80733505 HAS SOPS 65699897 HAS SOUS 20460935 HAS SOUPS 19898008 WITH SCORE 1.9978741505E7
AT ITER 3072 NEW BEST:: SOT 122940250 SOS 80735089 HAS SOPS 65701897 HAS SOUS 20460908 HAS SOUPS 19897981 WITH SCORE 1.9978716089E7
AT ITER 3077 NEW BEST:: SOT 122942848 SOS 80737991 HAS SOPS 65707968 HAS SOUS 20458192 HAS SOUPS 19895183 WITH SCORE 1.9975920991E7
AT ITER 3079 NEW BEST:: SOT 122913787 SOS 80685341 HAS SOPS 65653524 HAS SOUS 20415696 HAS SOUPS 19852687 WITH SCORE 1.9933372341E7
AT ITER 3082 NEW BEST:: SOT 122912856 SOS 80690930 HAS SOPS 65664821 HAS SOUS 20412354 HAS SOUPS 19849345 WITH SCORE 1.993003593E7
AT ITER 3112 NEW BEST:: SOT 122912758 SOS 80693926 HAS SOPS 65680094 HAS SOUS 20386147 HAS SOUPS 19823535 WITH SCORE 1.9904228926E7
AT ITER 3119 NEW BEST:: SOT 122911558 SOS 80689294 HAS SOPS 65680748 HAS SOUS 20382683 HAS SOUPS 19820137 WITH SCORE 1.9900826294E7
AT ITER 3125 NEW BEST:: SOT 122912333 SOS 80691179 HAS SOPS 65680258 HAS SOUS 20382652 HAS SOUPS 19820083 WITH SCORE 1.9900774179E7
AT ITER 3138 NEW BEST:: SOT 122909114 SOS 80688441 HAS SOPS 65677039 HAS SOUS 20382209 HAS SOUPS 19819488 WITH SCORE 1.9900176441E7
AT ITER 3146 NEW BEST:: SOT 122908866 SOS 80688697 HAS SOPS 65676455 HAS SOUS 20381817 HAS SOUPS 19818784 WITH SCORE 1.9899472697E7
AT ITER 3160 NEW BEST:: SOT 122908866 SOS 80686697 HAS SOPS 65678487 HAS SOUS 20381792 HAS SOUPS 19818759 WITH SCORE 1.9899445697E7
AT ITER 3166 NEW BEST:: SOT 122899342 SOS 80679218 HAS SOPS 65671008 HAS SOUS 20373292 HAS SOUPS 19810259 WITH SCORE 1.9890938218E7
AT ITER 3176 NEW BEST:: SOT 122900223 SOS 80650499 HAS SOPS 65676728 HAS SOUS 20344027 HAS SOUPS 19781832 WITH SCORE 1.9862482499E7
AT ITER 3196 NEW BEST:: SOT 122895911 SOS 80647211 HAS SOPS 65678432 HAS SOUS 20312720 HAS SOUPS 19751331 WITH SCORE 1.9831978211E7
AT ITER 3212 NEW BEST:: SOT 122982059 SOS 80757944 HAS SOPS 65800565 HAS SOUS 20300569 HAS SOUPS 19741089 WITH SCORE 1.9821846944E7
AT ITER 3218 NEW BEST:: SOT 122977038 SOS 80757263 HAS SOPS 65796847 HAS SOUS 20281155 HAS SOUPS 19721675 WITH SCORE 1.9802432263E7
AT ITER 3241 NEW BEST:: SOT 122985349 SOS 80788142 HAS SOPS 65820063 HAS SOUS 20274441 HAS SOUPS 19714961 WITH SCORE 1.9795749142E7
AT ITER 3253 NEW BEST:: SOT 122987341 SOS 80793738 HAS SOPS 65816730 HAS SOUS 20256008 HAS SOUPS 19696528 WITH SCORE 1.9777321738E7
AT ITER 3254 NEW BEST:: SOT 122975675 SOS 80783100 HAS SOPS 65802866 HAS SOUS 20236592 HAS SOUPS 19676973 WITH SCORE 1.97577561E7
AT ITER 3256 NEW BEST:: SOT 122969839 SOS 80776814 HAS SOPS 65796981 HAS SOUS 20206124 HAS SOUPS 19646505 WITH SCORE 1.9727281814E7
AT ITER 3269 NEW BEST:: SOT 122968970 SOS 80775111 HAS SOPS 65796755 HAS SOUS 20202753 HAS SOUPS 19643134 WITH SCORE 1.9723909111E7
AT ITER 3302 NEW BEST:: SOT 122934572 SOS 80703708 HAS SOPS 65750767 HAS SOUS 20182990 HAS SOUPS 19625122 WITH SCORE 1.9705825708E7
AT ITER 3312 NEW BEST:: SOT 122939998 SOS 80708055 HAS SOPS 65764730 HAS SOUS 20158088 HAS SOUPS 19600742 WITH SCORE 1.9681450055E7
AT ITER 3320 NEW BEST:: SOT 122968736 SOS 80770373 HAS SOPS 65824883 HAS SOUS 20144104 HAS SOUPS 19587004 WITH SCORE 1.9667774373E7
AT ITER 3333 NEW BEST:: SOT 122968105 SOS 80768551 HAS SOPS 65823815 HAS SOUS 20135245 HAS SOUPS 19578318 WITH SCORE 1.9659086551E7
AT ITER 3347 NEW BEST:: SOT 122984023 SOS 80790827 HAS SOPS 65855971 HAS SOUS 20119491 HAS SOUPS 19562564 WITH SCORE 1.9643354827E7
AT ITER 3364 NEW BEST:: SOT 122987435 SOS 80792479 HAS SOPS 65859200 HAS SOUS 20117408 HAS SOUPS 19560519 WITH SCORE 1.9641311479E7
AT ITER 3382 NEW BEST:: SOT 122986017 SOS 80792317 HAS SOPS 65858051 HAS SOUS 20111145 HAS SOUPS 19554301 WITH SCORE 1.9635093317E7
AT ITER 3388 NEW BEST:: SOT 122984542 SOS 80789519 HAS SOPS 65855469 HAS SOUS 20111114 HAS SOUPS 19554281 WITH SCORE 1.9635070519E7
AT ITER 3398 NEW BEST:: SOT 122987693 SOS 80801171 HAS SOPS 65874488 HAS SOUS 20094916 HAS SOUPS 19538083 WITH SCORE 1.9618884171E7
AT ITER 3415 NEW BEST:: SOT 123004353 SOS 80824486 HAS SOPS 65885131 HAS SOUS 20088419 HAS SOUPS 19531586 WITH SCORE 1.9612410486E7
AT ITER 3423 NEW BEST:: SOT 122984776 SOS 80803159 HAS SOPS 65859512 HAS SOUS 20057756 HAS SOUPS 19500754 WITH SCORE 1.9581557159E7
AT ITER 3425 NEW BEST:: SOT 122979472 SOS 80797855 HAS SOPS 65852163 HAS SOUS 20032084 HAS SOUPS 19475197 WITH SCORE 1.9555994855E7
AT ITER 3429 NEW BEST:: SOT 122978356 SOS 80796539 HAS SOPS 65849947 HAS SOUS 20030028 HAS SOUPS 19473151 WITH SCORE 1.9553947539E7
AT ITER 3430 NEW BEST:: SOT 122977384 SOS 80795981 HAS SOPS 65848543 HAS SOUS 20027911 HAS SOUPS 19471034 WITH SCORE 1.9551829981E7
AT ITER 3436 NEW BEST:: SOT 122977422 SOS 80802755 HAS SOPS 65856374 HAS SOUS 20027502 HAS SOUPS 19470625 WITH SCORE 1.9551427755E7
AT ITER 3437 NEW BEST:: SOT 122966239 SOS 80781025 HAS SOPS 65831980 HAS SOUS 20006939 HAS SOUPS 19450062 WITH SCORE 1.9530843025E7
AT ITER 3447 NEW BEST:: SOT 122944904 SOS 80748379 HAS SOPS 65802168 HAS SOUS 19974807 HAS SOUPS 19418640 WITH SCORE 1.9499388379E7
AT ITER 3450 NEW BEST:: SOT 122947702 SOS 80745753 HAS SOPS 65805150 HAS SOUS 19969138 HAS SOUPS 19415099 WITH SCORE 1.9495844753E7
AT ITER 3463 NEW BEST:: SOT 122936752 SOS 80727597 HAS SOPS 65788877 HAS SOUS 19958256 HAS SOUPS 19404217 WITH SCORE 1.9484944597E7
AT ITER 3469 NEW BEST:: SOT 122922283 SOS 80622311 HAS SOPS 65718781 HAS SOUS 19944360 HAS SOUPS 19390642 WITH SCORE 1.9471264311E7
AT ITER 3478 NEW BEST:: SOT 122922724 SOS 80653598 HAS SOPS 65759758 HAS SOUS 19944118 HAS SOUPS 19390400 WITH SCORE 1.9471053598E7
AT ITER 3488 NEW BEST:: SOT 122920412 SOS 80654849 HAS SOPS 65759300 HAS SOUS 19932673 HAS SOUPS 19378879 WITH SCORE 1.9459533849E7
AT ITER 3489 NEW BEST:: SOT 122922046 SOS 80654467 HAS SOPS 65758644 HAS SOUS 19931730 HAS SOUPS 19377936 WITH SCORE 1.9458590467E7
AT ITER 3493 NEW BEST:: SOT 122921496 SOS 80656287 HAS SOPS 65773560 HAS SOUS 19931002 HAS SOUPS 19377208 WITH SCORE 1.9457864287E7
AT ITER 3503 NEW BEST:: SOT 122921616 SOS 80656533 HAS SOPS 65772592 HAS SOUS 19930587 HAS SOUPS 19376793 WITH SCORE 1.9457449533E7
AT ITER 3529 NEW BEST:: SOT 122917892 SOS 80631145 HAS SOPS 65754447 HAS SOUS 19925519 HAS SOUPS 19371842 WITH SCORE 1.9452473145E7
AT ITER 3550 NEW BEST:: SOT 122923138 SOS 80644797 HAS SOPS 65761614 HAS SOUS 19925386 HAS SOUPS 19371709 WITH SCORE 1.9452353797E7
AT ITER 3551 NEW BEST:: SOT 122923261 SOS 80645197 HAS SOPS 65762156 HAS SOUS 19925025 HAS SOUPS 19371351 WITH SCORE 1.9451996197E7
AT ITER 3587 NEW BEST:: SOT 122929245 SOS 80659337 HAS SOPS 65774023 HAS SOUS 19920781 HAS SOUPS 19367161 WITH SCORE 1.9447820337E7
AT ITER 3607 NEW BEST:: SOT 122929957 SOS 80660338 HAS SOPS 65774671 HAS SOUS 19915888 HAS SOUPS 19362268 WITH SCORE 1.9442928338E7
AT ITER 3626 NEW BEST:: SOT 122904255 SOS 80631012 HAS SOPS 65746201 HAS SOUS 19904288 HAS SOUPS 19350668 WITH SCORE 1.9431299012E7
AT ITER 3643 NEW BEST:: SOT 122895123 SOS 80621871 HAS SOPS 65736477 HAS SOUS 19892784 HAS SOUPS 19339164 WITH SCORE 1.9419785871E7
AT ITER 3645 NEW BEST:: SOT 122891168 SOS 80619657 HAS SOPS 65730624 HAS SOUS 19884447 HAS SOUPS 19330766 WITH SCORE 1.9411385657E7
AT ITER 3655 NEW BEST:: SOT 122895134 SOS 80626912 HAS SOPS 65734631 HAS SOUS 19882149 HAS SOUPS 19328468 WITH SCORE 1.9409094912E7
AT ITER 3658 NEW BEST:: SOT 122889128 SOS 80614116 HAS SOPS 65719170 HAS SOUS 19864750 HAS SOUPS 19311176 WITH SCORE 1.9391790116E7
AT ITER 3662 NEW BEST:: SOT 122885314 SOS 80610385 HAS SOPS 65721944 HAS SOUS 19860273 HAS SOUPS 19306699 WITH SCORE 1.9387309385E7
AT ITER 3664 NEW BEST:: SOT 122839254 SOS 80511548 HAS SOPS 65652033 HAS SOUS 19857560 HAS SOUPS 19303961 WITH SCORE 1.9384472548E7
AT ITER 3671 NEW BEST:: SOT 122854538 SOS 80531547 HAS SOPS 65681195 HAS SOUS 19852278 HAS SOUPS 19298741 WITH SCORE 1.9379272547E7
AT ITER 3676 NEW BEST:: SOT 122851801 SOS 80527476 HAS SOPS 65676582 HAS SOUS 19841386 HAS SOUPS 19287849 WITH SCORE 1.9368376476E7
AT ITER 3688 NEW BEST:: SOT 122851615 SOS 80527251 HAS SOPS 65676330 HAS SOUS 19841077 HAS SOUPS 19287543 WITH SCORE 1.9368070251E7
AT ITER 3730 NEW BEST:: SOT 122850863 SOS 80526587 HAS SOPS 65675074 HAS SOUS 19840045 HAS SOUPS 19286503 WITH SCORE 1.9367029587E7
AT ITER 3735 NEW BEST:: SOT 122841765 SOS 80509578 HAS SOPS 65660241 HAS SOUS 19834447 HAS SOUPS 19280905 WITH SCORE 1.9361414578E7
AT ITER 3744 NEW BEST:: SOT 122872486 SOS 80600310 HAS SOPS 65737189 HAS SOUS 19764330 HAS SOUPS 19210584 WITH SCORE 1.929118431E7
AT ITER 3746 NEW BEST:: SOT 122871364 SOS 80598406 HAS SOPS 65735913 HAS SOUS 19763048 HAS SOUPS 19209392 WITH SCORE 1.9289990406E7
AT ITER 3754 NEW BEST:: SOT 122871078 SOS 80595478 HAS SOPS 65735003 HAS SOUS 19759725 HAS SOUPS 19206077 WITH SCORE 1.9286672478E7
AT ITER 3756 NEW BEST:: SOT 122874954 SOS 80566627 HAS SOPS 65710068 HAS SOUS 19752777 HAS SOUPS 19199427 WITH SCORE 1.9279993627E7
AT ITER 3773 NEW BEST:: SOT 122874870 SOS 80565898 HAS SOPS 65709104 HAS SOUS 19752067 HAS SOUPS 19198717 WITH SCORE 1.9279282898E7
AT ITER 3776 NEW BEST:: SOT 122875031 SOS 80572345 HAS SOPS 65722184 HAS SOUS 19751669 HAS SOUPS 19198319 WITH SCORE 1.9278891345E7
AT ITER 3780 NEW BEST:: SOT 122878502 SOS 80588065 HAS SOPS 65735843 HAS SOUS 19750859 HAS SOUPS 19197509 WITH SCORE 1.9278097065E7
AT ITER 3786 NEW BEST:: SOT 122878466 SOS 80587656 HAS SOPS 65734990 HAS SOUS 19749882 HAS SOUPS 19196532 WITH SCORE 1.9277119656E7
AT ITER 3796 NEW BEST:: SOT 122898302 SOS 80587708 HAS SOPS 65745888 HAS SOUS 19709007 HAS SOUPS 19156301 WITH SCORE 1.9236888708E7
AT ITER 3801 NEW BEST:: SOT 122876550 SOS 80568480 HAS SOPS 65734125 HAS SOUS 19707373 HAS SOUPS 19154610 WITH SCORE 1.923517848E7
AT ITER 3802 NEW BEST:: SOT 122878737 SOS 80562755 HAS SOPS 65731259 HAS SOUS 19702439 HAS SOUPS 19149676 WITH SCORE 1.9230238755E7
AT ITER 3815 NEW BEST:: SOT 122885062 SOS 80573796 HAS SOPS 65742528 HAS SOUS 19697729 HAS SOUPS 19145851 WITH SCORE 1.9226424796E7
AT ITER 3816 NEW BEST:: SOT 122867698 SOS 80552261 HAS SOPS 65736271 HAS SOUS 19646112 HAS SOUPS 19094234 WITH SCORE 1.9174786261E7
AT ITER 3838 NEW BEST:: SOT 122867315 SOS 80559202 HAS SOPS 65737027 HAS SOUS 19634623 HAS SOUPS 19082745 WITH SCORE 1.9163304202E7
AT ITER 3865 NEW BEST:: SOT 122870920 SOS 80563682 HAS SOPS 65739791 HAS SOUS 19631508 HAS SOUPS 19079630 WITH SCORE 1.9160193682E7
AT ITER 3866 NEW BEST:: SOT 122889123 SOS 80609822 HAS SOPS 65777665 HAS SOUS 19615270 HAS SOUPS 19063392 WITH SCORE 1.9144001822E7
AT ITER 3869 NEW BEST:: SOT 122892347 SOS 80617180 HAS SOPS 65784848 HAS SOUS 19615064 HAS SOUPS 19063186 WITH SCORE 1.914380318E7
AT ITER 3874 NEW BEST:: SOT 122887633 SOS 80612466 HAS SOPS 65780014 HAS SOUS 19609578 HAS SOUPS 19057672 WITH SCORE 1.9138284466E7
AT ITER 3887 NEW BEST:: SOT 122886908 SOS 80629585 HAS SOPS 65791254 HAS SOUS 19597364 HAS SOUPS 19045458 WITH SCORE 1.9126087585E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13880892 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15957880 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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="RERS17pb115-PT-6"
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 RERS17pb115-PT-6, 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-167889204200192"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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