About the Execution of Smart+red for RERS17pb114-PT-5
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2202.355 | 3600000.00 | 3846122.00 | 8467.80 | [undef] | Time out reached |
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-167889204100112.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 RERS17pb114-PT-5, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204100112
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 7.2K Feb 26 04:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 04:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 04:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 26 04:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 05:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 26 05:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 04:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 04:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:38 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 73M 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 1679068734802
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=RERS17pb114-PT-5
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 15:58:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 15:58:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 15:58:59] [INFO ] Load time of PNML (sax parser for PT used): 2198 ms
[2023-03-17 15:58:59] [INFO ] Transformed 1446 places.
[2023-03-17 15:58:59] [INFO ] Transformed 151085 transitions.
[2023-03-17 15:58:59] [INFO ] Parsed PT model containing 1446 places and 151085 transitions and 604252 arcs in 2729 ms.
[2023-03-17 15:59:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1446 places, 151085 transitions and 604252 arcs took 449 ms.
Total runtime 3220 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 5
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: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133637376 SOS 82102937 HAS SOPS 66701866 HAS SOUS 26450299 HAS SOUPS 25820610 WITH SCORE 2.5902712937E7
AT ITER 11 NEW BEST:: SOT 133647975 SOS 82133239 HAS SOPS 66724112 HAS SOUS 26450262 HAS SOUPS 25820573 WITH SCORE 2.5902706239E7
AT ITER 12 NEW BEST:: SOT 133645596 SOS 82130158 HAS SOPS 66721668 HAS SOUS 26446960 HAS SOUPS 25817271 WITH SCORE 2.5899401158E7
AT ITER 23 NEW BEST:: SOT 133645637 SOS 82131742 HAS SOPS 66726622 HAS SOUS 26442638 HAS SOUPS 25813033 WITH SCORE 2.5895164742E7
AT ITER 29 NEW BEST:: SOT 133647649 SOS 82140103 HAS SOPS 66733057 HAS SOUS 26439742 HAS SOUPS 25810137 WITH SCORE 2.5892277103E7
AT ITER 41 NEW BEST:: SOT 133673791 SOS 82169460 HAS SOPS 66784113 HAS SOUS 26421658 HAS SOUPS 25792375 WITH SCORE 2.587454446E7
AT ITER 62 NEW BEST:: SOT 133674579 SOS 82170765 HAS SOPS 66782390 HAS SOUS 26411559 HAS SOUPS 25782276 WITH SCORE 2.5864446765E7
AT ITER 66 NEW BEST:: SOT 133679592 SOS 82205632 HAS SOPS 66827669 HAS SOUS 26408430 HAS SOUPS 25779147 WITH SCORE 2.5861352632E7
AT ITER 78 NEW BEST:: SOT 133676476 SOS 82223816 HAS SOPS 66839507 HAS SOUS 26382455 HAS SOUPS 25753172 WITH SCORE 2.5835395816E7
AT ITER 99 NEW BEST:: SOT 133678813 SOS 82242623 HAS SOPS 66847280 HAS SOUS 26367849 HAS SOUPS 25738566 WITH SCORE 2.5820808623E7
AT ITER 100 NEW BEST:: SOT 133673192 SOS 82241912 HAS SOPS 66846979 HAS SOUS 26342936 HAS SOUPS 25713653 WITH SCORE 2.5795894912E7
AT ITER 105 NEW BEST:: SOT 133671879 SOS 82240559 HAS SOPS 66846906 HAS SOUS 26340260 HAS SOUPS 25710977 WITH SCORE 2.5793217559E7
AT ITER 126 NEW BEST:: SOT 133672970 SOS 82260512 HAS SOPS 66861316 HAS SOUS 26334934 HAS SOUPS 25705651 WITH SCORE 2.5787911512E7
AT ITER 134 NEW BEST:: SOT 133674027 SOS 82261171 HAS SOPS 66863210 HAS SOUS 26334394 HAS SOUPS 25705282 WITH SCORE 2.5787543171E7
AT ITER 136 NEW BEST:: SOT 133673686 SOS 82260152 HAS SOPS 66860802 HAS SOUS 26333783 HAS SOUPS 25704671 WITH SCORE 2.5786931152E7
AT ITER 142 NEW BEST:: SOT 133610218 SOS 82195819 HAS SOPS 66796920 HAS SOUS 26228946 HAS SOUPS 25600048 WITH SCORE 2.5682243819E7
AT ITER 147 NEW BEST:: SOT 133598430 SOS 82184407 HAS SOPS 66778790 HAS SOUS 26223109 HAS SOUPS 25594029 WITH SCORE 2.5676213407E7
AT ITER 161 NEW BEST:: SOT 133598779 SOS 82219644 HAS SOPS 66846071 HAS SOUS 26220804 HAS SOUPS 25591724 WITH SCORE 2.5673943644E7
AT ITER 164 NEW BEST:: SOT 133597588 SOS 82218263 HAS SOPS 66844882 HAS SOUS 26216072 HAS SOUPS 25586992 WITH SCORE 2.5669210263E7
AT ITER 166 NEW BEST:: SOT 133617548 SOS 82277806 HAS SOPS 66901096 HAS SOUS 26190674 HAS SOUPS 25561594 WITH SCORE 2.5643871806E7
AT ITER 177 NEW BEST:: SOT 133618133 SOS 82279705 HAS SOPS 66900028 HAS SOUS 26181032 HAS SOUPS 25551953 WITH SCORE 2.5634232705E7
AT ITER 178 NEW BEST:: SOT 133617735 SOS 82280926 HAS SOPS 66900052 HAS SOUS 26178165 HAS SOUPS 25549086 WITH SCORE 2.5631366926E7
AT ITER 179 NEW BEST:: SOT 133605992 SOS 82254448 HAS SOPS 66884710 HAS SOUS 26176411 HAS SOUPS 25547332 WITH SCORE 2.5629586448E7
AT ITER 188 NEW BEST:: SOT 133605686 SOS 82245472 HAS SOPS 66882780 HAS SOUS 26175811 HAS SOUPS 25546732 WITH SCORE 2.5628977472E7
AT ITER 193 NEW BEST:: SOT 133610382 SOS 82262000 HAS SOPS 66892519 HAS SOUS 26169572 HAS SOUPS 25540493 WITH SCORE 2.5622755E7
AT ITER 197 NEW BEST:: SOT 133612757 SOS 82278236 HAS SOPS 66907435 HAS SOUS 26164065 HAS SOUPS 25534986 WITH SCORE 2.5617264236E7
AT ITER 218 NEW BEST:: SOT 133637197 SOS 82372041 HAS SOPS 66998805 HAS SOUS 26121235 HAS SOUPS 25492156 WITH SCORE 2.5574528041E7
AT ITER 230 NEW BEST:: SOT 133610744 SOS 82325003 HAS SOPS 66939892 HAS SOUS 26087189 HAS SOUPS 25445131 WITH SCORE 2.5527456003E7
AT ITER 246 NEW BEST:: SOT 133612919 SOS 82356148 HAS SOPS 66963238 HAS SOUS 26074307 HAS SOUPS 25432249 WITH SCORE 2.5514605148E7
AT ITER 255 NEW BEST:: SOT 133608059 SOS 82350497 HAS SOPS 66952344 HAS SOUS 26046405 HAS SOUPS 25404347 WITH SCORE 2.5486697497E7
AT ITER 257 NEW BEST:: SOT 133589662 SOS 82329724 HAS SOPS 66929380 HAS SOUS 26003751 HAS SOUPS 25361693 WITH SCORE 2.5444022724E7
AT ITER 260 NEW BEST:: SOT 133586764 SOS 82326926 HAS SOPS 66924712 HAS SOUS 25993276 HAS SOUPS 25351173 WITH SCORE 2.5433499926E7
AT ITER 268 NEW BEST:: SOT 133619484 SOS 82475448 HAS SOPS 67052987 HAS SOUS 25985439 HAS SOUPS 25343336 WITH SCORE 2.5425811448E7
AT ITER 272 NEW BEST:: SOT 133634434 SOS 82513052 HAS SOPS 67096314 HAS SOUS 25967216 HAS SOUPS 25325113 WITH SCORE 2.5407626052E7
AT ITER 289 NEW BEST:: SOT 133628204 SOS 82504365 HAS SOPS 67090274 HAS SOUS 25951236 HAS SOUPS 25310327 WITH SCORE 2.5392831365E7
AT ITER 291 NEW BEST:: SOT 133624868 SOS 82497345 HAS SOPS 67085075 HAS SOUS 25944207 HAS SOUPS 25303577 WITH SCORE 2.5386074345E7
AT ITER 299 NEW BEST:: SOT 133624448 SOS 82496670 HAS SOPS 67086478 HAS SOUS 25943294 HAS SOUPS 25302664 WITH SCORE 2.538516067E7
AT ITER 304 NEW BEST:: SOT 133618998 SOS 82488385 HAS SOPS 67078639 HAS SOUS 25938198 HAS SOUPS 25297568 WITH SCORE 2.5380056385E7
AT ITER 314 NEW BEST:: SOT 133642569 SOS 82565160 HAS SOPS 67129334 HAS SOUS 25937018 HAS SOUPS 25296388 WITH SCORE 2.537895316E7
AT ITER 316 NEW BEST:: SOT 133637867 SOS 82559723 HAS SOPS 67122574 HAS SOUS 25911093 HAS SOUPS 25271051 WITH SCORE 2.5353610723E7
AT ITER 326 NEW BEST:: SOT 133637665 SOS 82564847 HAS SOPS 67125834 HAS SOUS 25901053 HAS SOUPS 25261011 WITH SCORE 2.5343575847E7
AT ITER 327 NEW BEST:: SOT 133632859 SOS 82562288 HAS SOPS 67119063 HAS SOUS 25886623 HAS SOUPS 25246581 WITH SCORE 2.5329143288E7
AT ITER 336 NEW BEST:: SOT 133629876 SOS 82561514 HAS SOPS 67116120 HAS SOUS 25880791 HAS SOUPS 25240718 WITH SCORE 2.5323279514E7
AT ITER 347 NEW BEST:: SOT 133637202 SOS 82590718 HAS SOPS 67136483 HAS SOUS 25878939 HAS SOUPS 25238866 WITH SCORE 2.5321456718E7
AT ITER 350 NEW BEST:: SOT 133636316 SOS 82591728 HAS SOPS 67137007 HAS SOUS 25873530 HAS SOUPS 25233457 WITH SCORE 2.5316048728E7
AT ITER 366 NEW BEST:: SOT 133629409 SOS 82571964 HAS SOPS 67127638 HAS SOUS 25872696 HAS SOUPS 25233300 WITH SCORE 2.5315871964E7
AT ITER 375 NEW BEST:: SOT 133638765 SOS 82616840 HAS SOPS 67161202 HAS SOUS 25869248 HAS SOUPS 25229852 WITH SCORE 2.531246884E7
AT ITER 389 NEW BEST:: SOT 133635218 SOS 82610749 HAS SOPS 67152554 HAS SOUS 25869150 HAS SOUPS 25229568 WITH SCORE 2.5312178749E7
AT ITER 397 NEW BEST:: SOT 133631760 SOS 82607505 HAS SOPS 67150035 HAS SOUS 25863988 HAS SOUPS 25224406 WITH SCORE 2.5307013505E7
AT ITER 403 NEW BEST:: SOT 133636297 SOS 82632849 HAS SOPS 67169119 HAS SOUS 25854306 HAS SOUPS 25214724 WITH SCORE 2.5297356849E7
AT ITER 425 NEW BEST:: SOT 133605090 SOS 82602326 HAS SOPS 67164383 HAS SOUS 25795035 HAS SOUPS 25155768 WITH SCORE 2.5238370326E7
AT ITER 429 NEW BEST:: SOT 133604789 SOS 82601785 HAS SOPS 67168590 HAS SOUS 25793888 HAS SOUPS 25154621 WITH SCORE 2.5237222785E7
AT ITER 433 NEW BEST:: SOT 133512304 SOS 82483714 HAS SOPS 67054577 HAS SOUS 25653064 HAS SOUPS 25014018 WITH SCORE 2.5096501714E7
AT ITER 436 NEW BEST:: SOT 133506256 SOS 82478101 HAS SOPS 67039383 HAS SOUS 25617451 HAS SOUPS 24979161 WITH SCORE 2.5061639101E7
AT ITER 443 NEW BEST:: SOT 133512891 SOS 82501636 HAS SOPS 67053503 HAS SOUS 25608938 HAS SOUPS 24970648 WITH SCORE 2.5053149636E7
AT ITER 454 NEW BEST:: SOT 133503880 SOS 82478202 HAS SOPS 67036591 HAS SOUS 25602399 HAS SOUPS 24964109 WITH SCORE 2.5046587202E7
AT ITER 456 NEW BEST:: SOT 133505018 SOS 82477129 HAS SOPS 67035032 HAS SOUS 25595744 HAS SOUPS 24957454 WITH SCORE 2.5039931129E7
AT ITER 463 NEW BEST:: SOT 133506071 SOS 82474854 HAS SOPS 67028063 HAS SOUS 25593371 HAS SOUPS 24955081 WITH SCORE 2.5037555854E7
AT ITER 491 NEW BEST:: SOT 133503667 SOS 82475700 HAS SOPS 67040347 HAS SOUS 25587037 HAS SOUPS 24948747 WITH SCORE 2.50312227E7
AT ITER 516 NEW BEST:: SOT 133489538 SOS 82441945 HAS SOPS 67005299 HAS SOUS 25574861 HAS SOUPS 24936571 WITH SCORE 2.5019012945E7
AT ITER 534 NEW BEST:: SOT 133474862 SOS 82423055 HAS SOPS 66976286 HAS SOUS 25539545 HAS SOUPS 24901584 WITH SCORE 2.4984007055E7
AT ITER 553 NEW BEST:: SOT 133473608 SOS 82420673 HAS SOPS 66971136 HAS SOUS 25536189 HAS SOUPS 24898266 WITH SCORE 2.4980686673E7
AT ITER 555 NEW BEST:: SOT 133442489 SOS 82389031 HAS SOPS 66938783 HAS SOUS 25482003 HAS SOUPS 24844238 WITH SCORE 2.4926627031E7
AT ITER 558 NEW BEST:: SOT 133376983 SOS 82322377 HAS SOPS 66868451 HAS SOUS 25389609 HAS SOUPS 24751846 WITH SCORE 2.4834168377E7
AT ITER 559 NEW BEST:: SOT 133375950 SOS 82322061 HAS SOPS 66867555 HAS SOUS 25388982 HAS SOUPS 24751258 WITH SCORE 2.4833580061E7
AT ITER 560 NEW BEST:: SOT 133375598 SOS 82321265 HAS SOPS 66866795 HAS SOUS 25388864 HAS SOUPS 24751146 WITH SCORE 2.4833467265E7
AT ITER 566 NEW BEST:: SOT 133370726 SOS 82311565 HAS SOPS 66859938 HAS SOUS 25383138 HAS SOUPS 24745420 WITH SCORE 2.4827731565E7
AT ITER 569 NEW BEST:: SOT 133370929 SOS 82312668 HAS SOPS 66860771 HAS SOUS 25382010 HAS SOUPS 24744292 WITH SCORE 2.4826604668E7
AT ITER 573 NEW BEST:: SOT 133391499 SOS 82368986 HAS SOPS 66906246 HAS SOUS 25373163 HAS SOUPS 24735445 WITH SCORE 2.4817813986E7
AT ITER 577 NEW BEST:: SOT 133422411 SOS 82406109 HAS SOPS 66956535 HAS SOUS 25368018 HAS SOUPS 24730750 WITH SCORE 2.4813156109E7
AT ITER 581 NEW BEST:: SOT 133432338 SOS 82439442 HAS SOPS 67041296 HAS SOUS 25344666 HAS SOUPS 24707994 WITH SCORE 2.4790433442E7
AT ITER 582 NEW BEST:: SOT 133431512 SOS 82440968 HAS SOPS 67042816 HAS SOUS 25335336 HAS SOUPS 24698664 WITH SCORE 2.4781104968E7
AT ITER 588 NEW BEST:: SOT 133431018 SOS 82440466 HAS SOPS 67042190 HAS SOUS 25334590 HAS SOUPS 24697918 WITH SCORE 2.4780358466E7
AT ITER 589 NEW BEST:: SOT 133431279 SOS 82437991 HAS SOPS 67039281 HAS SOUS 25332473 HAS SOUPS 24695801 WITH SCORE 2.4778238991E7
AT ITER 603 NEW BEST:: SOT 133431577 SOS 82441463 HAS SOPS 67047809 HAS SOUS 25331777 HAS SOUPS 24695105 WITH SCORE 2.4777546463E7
AT ITER 608 NEW BEST:: SOT 133431489 SOS 82443919 HAS SOPS 67047988 HAS SOUS 25326076 HAS SOUPS 24689404 WITH SCORE 2.4771847919E7
AT ITER 621 NEW BEST:: SOT 133422903 SOS 82440582 HAS SOPS 67033460 HAS SOUS 25240991 HAS SOUPS 24604072 WITH SCORE 2.4686512582E7
AT ITER 651 NEW BEST:: SOT 133419843 SOS 82440119 HAS SOPS 67028877 HAS SOUS 25230017 HAS SOUPS 24593098 WITH SCORE 2.4675538119E7
AT ITER 659 NEW BEST:: SOT 133402165 SOS 82401624 HAS SOPS 67005499 HAS SOUS 25214862 HAS SOUPS 24577943 WITH SCORE 2.4660344624E7
AT ITER 660 NEW BEST:: SOT 133399597 SOS 82402058 HAS SOPS 67002941 HAS SOUS 25204703 HAS SOUPS 24567872 WITH SCORE 2.4650274058E7
AT ITER 671 NEW BEST:: SOT 133400072 SOS 82403215 HAS SOPS 67004261 HAS SOUS 25202072 HAS SOUPS 24565265 WITH SCORE 2.4647668215E7
AT ITER 677 NEW BEST:: SOT 133396247 SOS 82393696 HAS SOPS 66997109 HAS SOUS 25200945 HAS SOUPS 24564138 WITH SCORE 2.4646531696E7
AT ITER 718 NEW BEST:: SOT 133376935 SOS 82363502 HAS SOPS 66993764 HAS SOUS 25199664 HAS SOUPS 24562857 WITH SCORE 2.4645220502E7
AT ITER 721 NEW BEST:: SOT 133375548 SOS 82362674 HAS SOPS 66990270 HAS SOUS 25192445 HAS SOUPS 24555937 WITH SCORE 2.4638299674E7
AT ITER 725 NEW BEST:: SOT 133371443 SOS 82355979 HAS SOPS 66982013 HAS SOUS 25185112 HAS SOUPS 24548604 WITH SCORE 2.4630959979E7
AT ITER 731 NEW BEST:: SOT 133371545 SOS 82356009 HAS SOPS 66982089 HAS SOUS 25184963 HAS SOUPS 24548455 WITH SCORE 2.4630811009E7
AT ITER 767 NEW BEST:: SOT 133358926 SOS 82343489 HAS SOPS 66967678 HAS SOUS 25168455 HAS SOUPS 24531471 WITH SCORE 2.4613814489E7
AT ITER 768 NEW BEST:: SOT 133359096 SOS 82343895 HAS SOPS 66967886 HAS SOUS 25168337 HAS SOUPS 24531353 WITH SCORE 2.4613696895E7
AT ITER 779 NEW BEST:: SOT 133355147 SOS 82342225 HAS SOPS 66963975 HAS SOUS 25155416 HAS SOUPS 24518432 WITH SCORE 2.4600774225E7
AT ITER 783 NEW BEST:: SOT 133352650 SOS 82337736 HAS SOPS 66962185 HAS SOUS 25145265 HAS SOUPS 24508281 WITH SCORE 2.4590618736E7
AT ITER 788 NEW BEST:: SOT 133372074 SOS 82374016 HAS SOPS 66985085 HAS SOUS 25143594 HAS SOUPS 24506610 WITH SCORE 2.4588984016E7
AT ITER 791 NEW BEST:: SOT 133370097 SOS 82369049 HAS SOPS 66978794 HAS SOUS 25138765 HAS SOUPS 24501781 WITH SCORE 2.4584150049E7
AT ITER 792 NEW BEST:: SOT 133349349 SOS 82346788 HAS SOPS 66965131 HAS SOUS 25115920 HAS SOUPS 24480304 WITH SCORE 2.4562650788E7
AT ITER 795 NEW BEST:: SOT 133357581 SOS 82367529 HAS SOPS 66980141 HAS SOUS 25114828 HAS SOUPS 24479212 WITH SCORE 2.4561579529E7
AT ITER 806 NEW BEST:: SOT 133361512 SOS 82374214 HAS SOPS 66987439 HAS SOUS 25097671 HAS SOUPS 24462243 WITH SCORE 2.4544617214E7
AT ITER 819 NEW BEST:: SOT 133331243 SOS 82302295 HAS SOPS 66949989 HAS SOUS 25088851 HAS SOUPS 24453423 WITH SCORE 2.4535725295E7
AT ITER 821 NEW BEST:: SOT 133329594 SOS 82298102 HAS SOPS 66946572 HAS SOUS 25082659 HAS SOUPS 24448294 WITH SCORE 2.4530592102E7
AT ITER 831 NEW BEST:: SOT 133325012 SOS 82293504 HAS SOPS 66941022 HAS SOUS 25072473 HAS SOUPS 24438108 WITH SCORE 2.4520401504E7
AT ITER 838 NEW BEST:: SOT 133315212 SOS 82277869 HAS SOPS 66926647 HAS SOUS 25062734 HAS SOUPS 24428370 WITH SCORE 2.4510647869E7
AT ITER 845 NEW BEST:: SOT 133268997 SOS 82231508 HAS SOPS 66880286 HAS SOUS 24983179 HAS SOUPS 24348815 WITH SCORE 2.4431046508E7
AT ITER 851 NEW BEST:: SOT 133257075 SOS 82209628 HAS SOPS 66885855 HAS SOUS 24952872 HAS SOUPS 24318508 WITH SCORE 2.4400717628E7
AT ITER 857 NEW BEST:: SOT 133257273 SOS 82209819 HAS SOPS 66886347 HAS SOUS 24950921 HAS SOUPS 24316627 WITH SCORE 2.4398836819E7
AT ITER 862 NEW BEST:: SOT 133253965 SOS 82198319 HAS SOPS 66878992 HAS SOUS 24947109 HAS SOUPS 24313959 WITH SCORE 2.4396157319E7
AT ITER 876 NEW BEST:: SOT 133219533 SOS 82112712 HAS SOPS 66820058 HAS SOUS 24924650 HAS SOUPS 24291726 WITH SCORE 2.4373838712E7
AT ITER 883 NEW BEST:: SOT 133176434 SOS 82040377 HAS SOPS 66754058 HAS SOUS 24871544 HAS SOUPS 24238776 WITH SCORE 2.4320816377E7
AT ITER 885 NEW BEST:: SOT 133174234 SOS 82038145 HAS SOPS 66751394 HAS SOUS 24866808 HAS SOUPS 24234040 WITH SCORE 2.4316078145E7
AT ITER 900 NEW BEST:: SOT 133138188 SOS 81952016 HAS SOPS 66694194 HAS SOUS 24847277 HAS SOUPS 24214803 WITH SCORE 2.4296755016E7
AT ITER 904 NEW BEST:: SOT 133133167 SOS 81967765 HAS SOPS 66705427 HAS SOUS 24824396 HAS SOUPS 24191922 WITH SCORE 2.4273889765E7
AT ITER 918 NEW BEST:: SOT 133117134 SOS 81948499 HAS SOPS 66678854 HAS SOUS 24785879 HAS SOUPS 24153643 WITH SCORE 2.4235591499E7
AT ITER 925 NEW BEST:: SOT 133122251 SOS 81976958 HAS SOPS 66704730 HAS SOUS 24781167 HAS SOUPS 24148931 WITH SCORE 2.4230907958E7
AT ITER 930 NEW BEST:: SOT 133108934 SOS 81962128 HAS SOPS 66686286 HAS SOUS 24745126 HAS SOUPS 24112924 WITH SCORE 2.4194886128E7
AT ITER 947 NEW BEST:: SOT 133106061 SOS 81953601 HAS SOPS 66674819 HAS SOUS 24731252 HAS SOUPS 24099050 WITH SCORE 2.4181003601E7
AT ITER 962 NEW BEST:: SOT 133084257 SOS 81909692 HAS SOPS 66641197 HAS SOUS 24718729 HAS SOUPS 24086527 WITH SCORE 2.4168436692E7
AT ITER 971 NEW BEST:: SOT 133056075 SOS 81871440 HAS SOPS 66611580 HAS SOUS 24694915 HAS SOUPS 24062713 WITH SCORE 2.414458444E7
AT ITER 990 NEW BEST:: SOT 133052010 SOS 81853733 HAS SOPS 66601882 HAS SOUS 24694916 HAS SOUPS 24062714 WITH SCORE 2.4144567733E7
AT ITER 991 NEW BEST:: SOT 133062205 SOS 81874387 HAS SOPS 66612440 HAS SOUS 24693700 HAS SOUPS 24061498 WITH SCORE 2.4143372387E7
AT ITER 996 NEW BEST:: SOT 133055748 SOS 81867600 HAS SOPS 66609685 HAS SOUS 24677348 HAS SOUPS 24045272 WITH SCORE 2.41271396E7
AT ITER 1006 NEW BEST:: SOT 133054345 SOS 81863458 HAS SOPS 66608456 HAS SOUS 24676452 HAS SOUPS 24044376 WITH SCORE 2.4126239458E7
AT ITER 1009 NEW BEST:: SOT 132943332 SOS 81710977 HAS SOPS 66465152 HAS SOUS 24551367 HAS SOUPS 23919308 WITH SCORE 2.4001018977E7
AT ITER 1010 NEW BEST:: SOT 132941922 SOS 81709374 HAS SOPS 66459180 HAS SOUS 24546303 HAS SOUPS 23914244 WITH SCORE 2.3995953374E7
AT ITER 1020 NEW BEST:: SOT 132941077 SOS 81710740 HAS SOPS 66457131 HAS SOUS 24538845 HAS SOUPS 23906786 WITH SCORE 2.398849674E7
AT ITER 1024 NEW BEST:: SOT 132943029 SOS 81722254 HAS SOPS 66465676 HAS SOUS 24533577 HAS SOUPS 23901518 WITH SCORE 2.3983240254E7
AT ITER 1026 NEW BEST:: SOT 132889524 SOS 81663891 HAS SOPS 66409548 HAS SOUS 24455416 HAS SOUPS 23823357 WITH SCORE 2.3905020891E7
AT ITER 1031 NEW BEST:: SOT 132901936 SOS 81697733 HAS SOPS 66430123 HAS SOUS 24454946 HAS SOUPS 23822887 WITH SCORE 2.3904584733E7
AT ITER 1045 NEW BEST:: SOT 132863414 SOS 81621307 HAS SOPS 66388813 HAS SOUS 24438111 HAS SOUPS 23807237 WITH SCORE 2.3888858307E7
AT ITER 1051 NEW BEST:: SOT 132881131 SOS 81663730 HAS SOPS 66416050 HAS SOUS 24401778 HAS SOUPS 23770904 WITH SCORE 2.385256773E7
AT ITER 1056 NEW BEST:: SOT 132882081 SOS 81666153 HAS SOPS 66415104 HAS SOUS 24398784 HAS SOUPS 23767910 WITH SCORE 2.3849576153E7
AT ITER 1057 NEW BEST:: SOT 132881108 SOS 81662447 HAS SOPS 66416517 HAS SOUS 24397405 HAS SOUPS 23766531 WITH SCORE 2.3848193447E7
AT ITER 1062 NEW BEST:: SOT 132866911 SOS 81639965 HAS SOPS 66399222 HAS SOUS 24382589 HAS SOUPS 23751794 WITH SCORE 2.3833433965E7
AT ITER 1081 NEW BEST:: SOT 132857483 SOS 81626825 HAS SOPS 66414342 HAS SOUS 24379265 HAS SOUPS 23748470 WITH SCORE 2.3830096825E7
AT ITER 1082 NEW BEST:: SOT 132907284 SOS 81769525 HAS SOPS 66537148 HAS SOUS 24361655 HAS SOUPS 23730860 WITH SCORE 2.3812629525E7
AT ITER 1094 NEW BEST:: SOT 132916324 SOS 81800079 HAS SOPS 66566141 HAS SOUS 24359498 HAS SOUPS 23728703 WITH SCORE 2.3810503079E7
AT ITER 1116 NEW BEST:: SOT 132938624 SOS 81833774 HAS SOPS 66603083 HAS SOUS 24359121 HAS SOUPS 23728290 WITH SCORE 2.3810123774E7
AT ITER 1119 NEW BEST:: SOT 132956173 SOS 81860944 HAS SOPS 66605739 HAS SOUS 24354706 HAS SOUPS 23723301 WITH SCORE 2.3805161944E7
AT ITER 1138 NEW BEST:: SOT 132998212 SOS 81929441 HAS SOPS 66687188 HAS SOUS 24352381 HAS SOUPS 23721821 WITH SCORE 2.3803750441E7
AT ITER 1151 NEW BEST:: SOT 133030633 SOS 81997231 HAS SOPS 66763144 HAS SOUS 24346868 HAS SOUPS 23716308 WITH SCORE 2.3798305231E7
AT ITER 1157 NEW BEST:: SOT 133031065 SOS 81997662 HAS SOPS 66775466 HAS SOUS 24344642 HAS SOUPS 23714082 WITH SCORE 2.3796079662E7
AT ITER 1161 NEW BEST:: SOT 133000890 SOS 81962451 HAS SOPS 66737669 HAS SOUS 24305117 HAS SOUPS 23674486 WITH SCORE 2.3756448451E7
AT ITER 1172 NEW BEST:: SOT 133016382 SOS 82020645 HAS SOPS 66779921 HAS SOUS 24289716 HAS SOUPS 23659085 WITH SCORE 2.3741105645E7
AT ITER 1174 NEW BEST:: SOT 133016044 SOS 82020101 HAS SOPS 66778708 HAS SOUS 24288983 HAS SOUPS 23658352 WITH SCORE 2.3740372101E7
AT ITER 1182 NEW BEST:: SOT 133026930 SOS 82061322 HAS SOPS 66812476 HAS SOUS 24283835 HAS SOUPS 23653204 WITH SCORE 2.3735265322E7
AT ITER 1187 NEW BEST:: SOT 133014304 SOS 82048486 HAS SOPS 66798876 HAS SOUS 24275733 HAS SOUPS 23645150 WITH SCORE 2.3727198486E7
AT ITER 1196 NEW BEST:: SOT 133010630 SOS 82044604 HAS SOPS 66791592 HAS SOUS 24260994 HAS SOUPS 23630411 WITH SCORE 2.3712455604E7
AT ITER 1222 NEW BEST:: SOT 133003875 SOS 82023878 HAS SOPS 66775513 HAS SOUS 24253619 HAS SOUPS 23623036 WITH SCORE 2.3705059878E7
AT ITER 1223 NEW BEST:: SOT 132969934 SOS 81960920 HAS SOPS 66746084 HAS SOUS 24242702 HAS SOUPS 23612119 WITH SCORE 2.369407992E7
AT ITER 1225 NEW BEST:: SOT 132968037 SOS 81955730 HAS SOPS 66740731 HAS SOUS 24241499 HAS SOUPS 23610916 WITH SCORE 2.369287173E7
AT ITER 1228 NEW BEST:: SOT 132975030 SOS 81966818 HAS SOPS 66749074 HAS SOUS 24241235 HAS SOUPS 23610652 WITH SCORE 2.3692618818E7
AT ITER 1232 NEW BEST:: SOT 132961150 SOS 81955764 HAS SOPS 66734948 HAS SOUS 24206921 HAS SOUPS 23576338 WITH SCORE 2.3658293764E7
AT ITER 1238 NEW BEST:: SOT 132948881 SOS 81934892 HAS SOPS 66722417 HAS SOUS 24197516 HAS SOUPS 23566933 WITH SCORE 2.3648867892E7
AT ITER 1251 NEW BEST:: SOT 133002903 SOS 82042936 HAS SOPS 66871583 HAS SOUS 24194887 HAS SOUPS 23564304 WITH SCORE 2.3646346936E7
AT ITER 1259 NEW BEST:: SOT 132988543 SOS 82033601 HAS SOPS 66860379 HAS SOUS 24178271 HAS SOUPS 23547688 WITH SCORE 2.3629721601E7
AT ITER 1264 NEW BEST:: SOT 132993870 SOS 82051705 HAS SOPS 66873180 HAS SOUS 24172773 HAS SOUPS 23542110 WITH SCORE 2.3624161705E7
AT ITER 1277 NEW BEST:: SOT 132991217 SOS 82043200 HAS SOPS 66863864 HAS SOUS 24164915 HAS SOUPS 23534252 WITH SCORE 2.36162952E7
AT ITER 1279 NEW BEST:: SOT 132958264 SOS 81973806 HAS SOPS 66809911 HAS SOUS 24115163 HAS SOUPS 23487396 WITH SCORE 2.3569369806E7
AT ITER 1282 NEW BEST:: SOT 132964233 SOS 81992705 HAS SOPS 66825441 HAS SOUS 24114731 HAS SOUPS 23486964 WITH SCORE 2.3568956705E7
AT ITER 1292 NEW BEST:: SOT 132946337 SOS 81973763 HAS SOPS 66861836 HAS SOUS 24054363 HAS SOUPS 23427361 WITH SCORE 2.3509334763E7
AT ITER 1295 NEW BEST:: SOT 132925505 SOS 81941901 HAS SOPS 66834723 HAS SOUS 24030778 HAS SOUPS 23403776 WITH SCORE 2.3485717901E7
AT ITER 1307 NEW BEST:: SOT 132907437 SOS 81908475 HAS SOPS 66805306 HAS SOUS 24012171 HAS SOUPS 23385169 WITH SCORE 2.3467077475E7
AT ITER 1309 NEW BEST:: SOT 132916741 SOS 81932967 HAS SOPS 66827137 HAS SOUS 24009204 HAS SOUPS 23382202 WITH SCORE 2.3464134967E7
AT ITER 1310 NEW BEST:: SOT 132903745 SOS 81922569 HAS SOPS 66815113 HAS SOUS 24005340 HAS SOUPS 23378338 WITH SCORE 2.3460260569E7
AT ITER 1316 NEW BEST:: SOT 132903377 SOS 81920369 HAS SOPS 66809070 HAS SOUS 24001845 HAS SOUPS 23374843 WITH SCORE 2.3456763369E7
AT ITER 1321 NEW BEST:: SOT 132900716 SOS 81917444 HAS SOPS 66803649 HAS SOUS 23995756 HAS SOUPS 23368754 WITH SCORE 2.3450671444E7
AT ITER 1334 NEW BEST:: SOT 132884668 SOS 81907354 HAS SOPS 66776279 HAS SOUS 23949143 HAS SOUPS 23322141 WITH SCORE 2.3404048354E7
AT ITER 1341 NEW BEST:: SOT 132884788 SOS 81907994 HAS SOPS 66776644 HAS SOUS 23948438 HAS SOUPS 23321436 WITH SCORE 2.3403343994E7
AT ITER 1342 NEW BEST:: SOT 132881325 SOS 81901312 HAS SOPS 66770958 HAS SOUS 23946907 HAS SOUPS 23319905 WITH SCORE 2.3401806312E7
AT ITER 1356 NEW BEST:: SOT 132884044 SOS 81911423 HAS SOPS 66781301 HAS SOUS 23943678 HAS SOUPS 23316676 WITH SCORE 2.3398587423E7
AT ITER 1362 NEW BEST:: SOT 132883729 SOS 81911184 HAS SOPS 66779755 HAS SOUS 23941645 HAS SOUPS 23314643 WITH SCORE 2.3396554184E7
AT ITER 1363 NEW BEST:: SOT 132894869 SOS 81974143 HAS SOPS 66825581 HAS SOUS 23895703 HAS SOUPS 23268701 WITH SCORE 2.3350675143E7
AT ITER 1368 NEW BEST:: SOT 132894022 SOS 81974299 HAS SOPS 66820478 HAS SOUS 23880789 HAS SOUPS 23253787 WITH SCORE 2.3335761299E7
AT ITER 1390 NEW BEST:: SOT 132892560 SOS 81962005 HAS SOPS 66807031 HAS SOUS 23874858 HAS SOUPS 23247856 WITH SCORE 2.3329818005E7
AT ITER 1405 NEW BEST:: SOT 132868298 SOS 81911180 HAS SOPS 66764812 HAS SOUS 23853370 HAS SOUPS 23226368 WITH SCORE 2.330827918E7
AT ITER 1416 NEW BEST:: SOT 132873172 SOS 81922911 HAS SOPS 66776581 HAS SOUS 23851200 HAS SOUPS 23224198 WITH SCORE 2.3306120911E7
AT ITER 1422 NEW BEST:: SOT 132873247 SOS 81941309 HAS SOPS 66811910 HAS SOUS 23850175 HAS SOUPS 23223173 WITH SCORE 2.3305114309E7
AT ITER 1430 NEW BEST:: SOT 132877030 SOS 81947507 HAS SOPS 66832663 HAS SOUS 23826423 HAS SOUPS 23199421 WITH SCORE 2.3281368507E7
AT ITER 1432 NEW BEST:: SOT 132924660 SOS 82066671 HAS SOPS 66938846 HAS SOUS 23815488 HAS SOUPS 23188486 WITH SCORE 2.3270552671E7
AT ITER 1448 NEW BEST:: SOT 132936802 SOS 82100618 HAS SOPS 66966018 HAS SOUS 23813685 HAS SOUPS 23186683 WITH SCORE 2.3268783618E7
AT ITER 1461 NEW BEST:: SOT 132951871 SOS 82120598 HAS SOPS 66971783 HAS SOUS 23800828 HAS SOUPS 23174179 WITH SCORE 2.3256299598E7
AT ITER 1464 NEW BEST:: SOT 132956667 SOS 82112301 HAS SOPS 66955567 HAS SOUS 23787003 HAS SOUPS 23160354 WITH SCORE 2.3242466301E7
AT ITER 1466 NEW BEST:: SOT 132954189 SOS 82099163 HAS SOPS 66927017 HAS SOUS 23751462 HAS SOUPS 23124813 WITH SCORE 2.3206912163E7
AT ITER 1470 NEW BEST:: SOT 132929095 SOS 82061454 HAS SOPS 66908748 HAS SOUS 23732677 HAS SOUPS 23109063 WITH SCORE 2.3191124454E7
AT ITER 1472 NEW BEST:: SOT 132922672 SOS 82048089 HAS SOPS 66897945 HAS SOUS 23729089 HAS SOUPS 23105475 WITH SCORE 2.3187523089E7
AT ITER 1491 NEW BEST:: SOT 132923757 SOS 82055268 HAS SOPS 66907057 HAS SOUS 23728949 HAS SOUPS 23105335 WITH SCORE 2.3187390268E7
AT ITER 1492 NEW BEST:: SOT 132938151 SOS 82090614 HAS SOPS 66921175 HAS SOUS 23719348 HAS SOUPS 23095734 WITH SCORE 2.3177824614E7
AT ITER 1498 NEW BEST:: SOT 132817782 SOS 81919106 HAS SOPS 66769669 HAS SOUS 23675748 HAS SOUPS 23052336 WITH SCORE 2.3134255106E7
AT ITER 1537 NEW BEST:: SOT 132817803 SOS 81918963 HAS SOPS 66769755 HAS SOUS 23675436 HAS SOUPS 23052024 WITH SCORE 2.3133942963E7
AT ITER 1541 NEW BEST:: SOT 132789132 SOS 81860018 HAS SOPS 66716965 HAS SOUS 23626083 HAS SOUPS 23002671 WITH SCORE 2.3084531018E7
AT ITER 1571 NEW BEST:: SOT 132789587 SOS 81868419 HAS SOPS 66742785 HAS SOUS 23620535 HAS SOUPS 22997123 WITH SCORE 2.3078991419E7
AT ITER 1584 NEW BEST:: SOT 132795395 SOS 81873243 HAS SOPS 66745926 HAS SOUS 23617415 HAS SOUPS 22994195 WITH SCORE 2.3076068243E7
AT ITER 1605 NEW BEST:: SOT 132786737 SOS 81860447 HAS SOPS 66730352 HAS SOUS 23600584 HAS SOUPS 22977364 WITH SCORE 2.3059224447E7
AT ITER 1633 NEW BEST:: SOT 132771531 SOS 81844275 HAS SOPS 66725953 HAS SOUS 23538644 HAS SOUPS 22915436 WITH SCORE 2.2997280275E7
AT ITER 1642 NEW BEST:: SOT 132787455 SOS 81902170 HAS SOPS 66781979 HAS SOUS 23533148 HAS SOUPS 22909940 WITH SCORE 2.299184217E7
AT ITER 1667 NEW BEST:: SOT 132763210 SOS 81876357 HAS SOPS 66758245 HAS SOUS 23500476 HAS SOUPS 22877268 WITH SCORE 2.2959144357E7
AT ITER 1668 NEW BEST:: SOT 132755064 SOS 81866866 HAS SOPS 66749289 HAS SOUS 23462503 HAS SOUPS 22839468 WITH SCORE 2.2921334866E7
AT ITER 1676 NEW BEST:: SOT 132750624 SOS 81859260 HAS SOPS 66739957 HAS SOUS 23452468 HAS SOUPS 22829463 WITH SCORE 2.291132226E7
AT ITER 1681 NEW BEST:: SOT 132717653 SOS 81817979 HAS SOPS 66704785 HAS SOUS 23403675 HAS SOUPS 22780474 WITH SCORE 2.2862291979E7
AT ITER 1695 NEW BEST:: SOT 132654311 SOS 81763892 HAS SOPS 66649307 HAS SOUS 23315036 HAS SOUPS 22691758 WITH SCORE 2.2773521892E7
AT ITER 1716 NEW BEST:: SOT 132655363 SOS 81766114 HAS SOPS 66650024 HAS SOUS 23313559 HAS SOUPS 22690281 WITH SCORE 2.2772047114E7
AT ITER 1734 NEW BEST:: SOT 132654747 SOS 81769089 HAS SOPS 66649133 HAS SOUS 23304623 HAS SOUPS 22681345 WITH SCORE 2.2763114089E7
AT ITER 1736 NEW BEST:: SOT 132650470 SOS 81761934 HAS SOPS 66644251 HAS SOUS 23292167 HAS SOUPS 22669386 WITH SCORE 2.2751147934E7
AT ITER 1738 NEW BEST:: SOT 132649597 SOS 81767374 HAS SOPS 66646564 HAS SOUS 23284846 HAS SOUPS 22662065 WITH SCORE 2.2743832374E7
AT ITER 1760 NEW BEST:: SOT 132649129 SOS 81768636 HAS SOPS 66646932 HAS SOUS 23282648 HAS SOUPS 22659867 WITH SCORE 2.2741635636E7
AT ITER 1764 NEW BEST:: SOT 132649460 SOS 81762668 HAS SOPS 66651190 HAS SOUS 23282112 HAS SOUPS 22659331 WITH SCORE 2.2741093668E7
AT ITER 1765 NEW BEST:: SOT 132644207 SOS 81755143 HAS SOPS 66637935 HAS SOUS 23269011 HAS SOUPS 22646230 WITH SCORE 2.2727985143E7
AT ITER 1775 NEW BEST:: SOT 132643556 SOS 81754492 HAS SOPS 66637284 HAS SOUS 23268318 HAS SOUPS 22645537 WITH SCORE 2.2727291492E7
AT ITER 1781 NEW BEST:: SOT 132625148 SOS 81710778 HAS SOPS 66602806 HAS SOUS 23259607 HAS SOUPS 22636826 WITH SCORE 2.2718536778E7
AT ITER 1788 NEW BEST:: SOT 132606625 SOS 81683973 HAS SOPS 66590836 HAS SOUS 23252462 HAS SOUPS 22630178 WITH SCORE 2.2711861973E7
AT ITER 1789 NEW BEST:: SOT 132602426 SOS 81675155 HAS SOPS 66582315 HAS SOUS 23247109 HAS SOUPS 22624825 WITH SCORE 2.2706500155E7
AT ITER 1797 NEW BEST:: SOT 132601186 SOS 81672465 HAS SOPS 66583903 HAS SOUS 23242617 HAS SOUPS 22620520 WITH SCORE 2.2702192465E7
AT ITER 1802 NEW BEST:: SOT 132591866 SOS 81642171 HAS SOPS 66552627 HAS SOUS 23237555 HAS SOUPS 22615458 WITH SCORE 2.2697100171E7
AT ITER 1806 NEW BEST:: SOT 132586892 SOS 81636930 HAS SOPS 66546756 HAS SOUS 23225147 HAS SOUPS 22603399 WITH SCORE 2.268503593E7
AT ITER 1823 NEW BEST:: SOT 132596948 SOS 81653815 HAS SOPS 66589492 HAS SOUS 23214533 HAS SOUPS 22593274 WITH SCORE 2.2674927815E7
AT ITER 1824 NEW BEST:: SOT 132589511 SOS 81632571 HAS SOPS 66575054 HAS SOUS 23208986 HAS SOUPS 22587727 WITH SCORE 2.2669359571E7
AT ITER 1826 NEW BEST:: SOT 132581909 SOS 81591897 HAS SOPS 66542241 HAS SOUS 23204204 HAS SOUPS 22582945 WITH SCORE 2.2664536897E7
AT ITER 1850 NEW BEST:: SOT 132592825 SOS 81629830 HAS SOPS 66603785 HAS SOUS 23203912 HAS SOUPS 22582653 WITH SCORE 2.266428283E7
AT ITER 1852 NEW BEST:: SOT 132600325 SOS 81636017 HAS SOPS 66623861 HAS SOUS 23196858 HAS SOUPS 22581615 WITH SCORE 2.2663251017E7
AT ITER 1857 NEW BEST:: SOT 132593217 SOS 81625800 HAS SOPS 66612217 HAS SOUS 23185854 HAS SOUPS 22570670 WITH SCORE 2.26522958E7
AT ITER 1873 NEW BEST:: SOT 132584636 SOS 81612590 HAS SOPS 66593764 HAS SOUS 23170258 HAS SOUPS 22555074 WITH SCORE 2.263668659E7
AT ITER 1881 NEW BEST:: SOT 132585002 SOS 81611881 HAS SOPS 66590168 HAS SOUS 23156088 HAS SOUPS 22541054 WITH SCORE 2.2622665881E7
AT ITER 1891 NEW BEST:: SOT 132587692 SOS 81614124 HAS SOPS 66596063 HAS SOUS 23151817 HAS SOUPS 22536805 WITH SCORE 2.2618419124E7
AT ITER 1898 NEW BEST:: SOT 132587367 SOS 81612707 HAS SOPS 66592395 HAS SOUS 23151352 HAS SOUPS 22536340 WITH SCORE 2.2617952707E7
AT ITER 1900 NEW BEST:: SOT 132585610 SOS 81610312 HAS SOPS 66589183 HAS SOUS 23141331 HAS SOUPS 22526319 WITH SCORE 2.2607929312E7
AT ITER 1906 NEW BEST:: SOT 132586118 SOS 81614210 HAS SOPS 66592334 HAS SOUS 23141149 HAS SOUPS 22526137 WITH SCORE 2.260775121E7
AT ITER 1908 NEW BEST:: SOT 132635571 SOS 81750236 HAS SOPS 66698720 HAS SOUS 23138681 HAS SOUPS 22523669 WITH SCORE 2.2605419236E7
AT ITER 1916 NEW BEST:: SOT 132649839 SOS 81819099 HAS SOPS 66743989 HAS SOUS 23092051 HAS SOUPS 22477039 WITH SCORE 2.2558858099E7
AT ITER 1921 NEW BEST:: SOT 132651025 SOS 81838654 HAS SOPS 66750476 HAS SOUS 23062994 HAS SOUPS 22447982 WITH SCORE 2.2529820654E7
AT ITER 1923 NEW BEST:: SOT 132661466 SOS 81847903 HAS SOPS 66756195 HAS SOUS 23054072 HAS SOUPS 22439060 WITH SCORE 2.2520907903E7
AT ITER 1937 NEW BEST:: SOT 132658065 SOS 81839624 HAS SOPS 66750353 HAS SOUS 23050592 HAS SOUPS 22435629 WITH SCORE 2.2517468624E7
AT ITER 1968 NEW BEST:: SOT 132652886 SOS 81836620 HAS SOPS 66756339 HAS SOUS 23034296 HAS SOUPS 22419333 WITH SCORE 2.250116962E7
AT ITER 1969 NEW BEST:: SOT 132651359 SOS 81835093 HAS SOPS 66754172 HAS SOUS 23031489 HAS SOUPS 22416526 WITH SCORE 2.2498361093E7
AT ITER 1971 NEW BEST:: SOT 132652449 SOS 81848909 HAS SOPS 66769733 HAS SOUS 23025191 HAS SOUPS 22410228 WITH SCORE 2.2492076909E7
AT ITER 1981 NEW BEST:: SOT 132660807 SOS 81872678 HAS SOPS 66793080 HAS SOUS 23022475 HAS SOUPS 22407512 WITH SCORE 2.2489384678E7
AT ITER 1983 NEW BEST:: SOT 132658976 SOS 81870847 HAS SOPS 66791249 HAS SOUS 23021412 HAS SOUPS 22406449 WITH SCORE 2.2488319847E7
AT ITER 1988 NEW BEST:: SOT 132658466 SOS 81865012 HAS SOPS 66787133 HAS SOUS 23020641 HAS SOUPS 22405678 WITH SCORE 2.2487543012E7
AT ITER 1996 NEW BEST:: SOT 132655279 SOS 81860490 HAS SOPS 66779677 HAS SOUS 23011374 HAS SOUPS 22396487 WITH SCORE 2.247834749E7
AT ITER 2002 NEW BEST:: SOT 132652740 SOS 81854552 HAS SOPS 66785092 HAS SOUS 22987761 HAS SOUPS 22381804 WITH SCORE 2.2463658552E7
AT ITER 2004 NEW BEST:: SOT 132662892 SOS 81873075 HAS SOPS 66817500 HAS SOUS 22984124 HAS SOUPS 22378167 WITH SCORE 2.2460040075E7
AT ITER 2020 NEW BEST:: SOT 132664322 SOS 81877745 HAS SOPS 66819100 HAS SOUS 22980396 HAS SOUPS 22374439 WITH SCORE 2.2456316745E7
AT ITER 2027 NEW BEST:: SOT 132654959 SOS 81863282 HAS SOPS 66801711 HAS SOUS 22965786 HAS SOUPS 22359829 WITH SCORE 2.2441692282E7
AT ITER 2028 NEW BEST:: SOT 132650532 SOS 81835820 HAS SOPS 66777239 HAS SOUS 22956995 HAS SOUPS 22353011 WITH SCORE 2.243484682E7
AT ITER 2039 NEW BEST:: SOT 132574796 SOS 81697175 HAS SOPS 66672702 HAS SOUS 22906005 HAS SOUPS 22303513 WITH SCORE 2.2385210175E7
AT ITER 2055 NEW BEST:: SOT 132555884 SOS 81677806 HAS SOPS 66653965 HAS SOUS 22881913 HAS SOUPS 22280237 WITH SCORE 2.2361914806E7
AT ITER 2059 NEW BEST:: SOT 132570648 SOS 81718161 HAS SOPS 66695277 HAS SOUS 22868374 HAS SOUPS 22266698 WITH SCORE 2.2348416161E7
AT ITER 2071 NEW BEST:: SOT 132570451 SOS 81716859 HAS SOPS 66694261 HAS SOUS 22868242 HAS SOUPS 22266566 WITH SCORE 2.2348282859E7
AT ITER 2075 NEW BEST:: SOT 132572959 SOS 81732254 HAS SOPS 66708355 HAS SOUS 22862325 HAS SOUPS 22260649 WITH SCORE 2.2342381254E7
AT ITER 2076 NEW BEST:: SOT 132559765 SOS 81713385 HAS SOPS 66703381 HAS SOUS 22856998 HAS SOUPS 22255322 WITH SCORE 2.2337035385E7
AT ITER 2078 NEW BEST:: SOT 132559755 SOS 81713560 HAS SOPS 66702907 HAS SOUS 22856710 HAS SOUPS 22255034 WITH SCORE 2.233674756E7
AT ITER 2092 NEW BEST:: SOT 132556757 SOS 81718590 HAS SOPS 66713868 HAS SOUS 22854723 HAS SOUPS 22253047 WITH SCORE 2.233476559E7
AT ITER 2099 NEW BEST:: SOT 132561272 SOS 81726737 HAS SOPS 66717647 HAS SOUS 22850738 HAS SOUPS 22249062 WITH SCORE 2.2330788737E7
AT ITER 2105 NEW BEST:: SOT 132575189 SOS 81759599 HAS SOPS 66736859 HAS SOUS 22836060 HAS SOUPS 22234384 WITH SCORE 2.2316143599E7
AT ITER 2107 NEW BEST:: SOT 132576099 SOS 81775425 HAS SOPS 66758807 HAS SOUS 22800774 HAS SOUPS 22199098 WITH SCORE 2.2280873425E7
AT ITER 2112 NEW BEST:: SOT 132583685 SOS 81800339 HAS SOPS 66779315 HAS SOUS 22798930 HAS SOUPS 22197254 WITH SCORE 2.2279054339E7
AT ITER 2113 NEW BEST:: SOT 132583945 SOS 81801197 HAS SOPS 66781783 HAS SOUS 22798592 HAS SOUPS 22196916 WITH SCORE 2.2278717197E7
AT ITER 2116 NEW BEST:: SOT 132593095 SOS 81813784 HAS SOPS 66791413 HAS SOUS 22782856 HAS SOUPS 22181180 WITH SCORE 2.2262993784E7
AT ITER 2131 NEW BEST:: SOT 132583886 SOS 81800368 HAS SOPS 66778007 HAS SOUS 22776848 HAS SOUPS 22175242 WITH SCORE 2.2257042368E7
AT ITER 2133 NEW BEST:: SOT 132564952 SOS 81770905 HAS SOPS 66749527 HAS SOUS 22743780 HAS SOUPS 22141511 WITH SCORE 2.2223281905E7
AT ITER 2138 NEW BEST:: SOT 132577512 SOS 81804750 HAS SOPS 66839242 HAS SOUS 22723761 HAS SOUPS 22121492 WITH SCORE 2.220329675E7
AT ITER 2144 NEW BEST:: SOT 132577468 SOS 81804726 HAS SOPS 66839226 HAS SOUS 22723678 HAS SOUPS 22121409 WITH SCORE 2.2203213726E7
AT ITER 2162 NEW BEST:: SOT 132577236 SOS 81806074 HAS SOPS 66843881 HAS SOUS 22719704 HAS SOUPS 22117499 WITH SCORE 2.2199305074E7
AT ITER 2169 NEW BEST:: SOT 132575088 SOS 81803926 HAS SOPS 66840974 HAS SOUS 22714927 HAS SOUPS 22112722 WITH SCORE 2.2194525926E7
AT ITER 2175 NEW BEST:: SOT 132588263 SOS 81822260 HAS SOPS 66859628 HAS SOUS 22714284 HAS SOUPS 22112049 WITH SCORE 2.219387126E7
AT ITER 2190 NEW BEST:: SOT 132590935 SOS 81835284 HAS SOPS 66869538 HAS SOUS 22695178 HAS SOUPS 22092943 WITH SCORE 2.2174778284E7
AT ITER 2207 NEW BEST:: SOT 132592587 SOS 81839200 HAS SOPS 66871481 HAS SOUS 22692194 HAS SOUPS 22090249 WITH SCORE 2.21720882E7
AT ITER 2210 NEW BEST:: SOT 132588561 SOS 81841879 HAS SOPS 66876759 HAS SOUS 22662609 HAS SOUPS 22060664 WITH SCORE 2.2142505879E7
AT ITER 2224 NEW BEST:: SOT 132597211 SOS 81868623 HAS SOPS 66900115 HAS SOUS 22654660 HAS SOUPS 22052616 WITH SCORE 2.2134484623E7
AT ITER 2225 NEW BEST:: SOT 132587568 SOS 81827331 HAS SOPS 66868494 HAS SOUS 22642439 HAS SOUPS 22040395 WITH SCORE 2.2122222331E7
AT ITER 2226 NEW BEST:: SOT 132602216 SOS 81859736 HAS SOPS 66896532 HAS SOUS 22642281 HAS SOUPS 22040237 WITH SCORE 2.2122096736E7
AT ITER 2236 NEW BEST:: SOT 132627508 SOS 81925026 HAS SOPS 66962804 HAS SOUS 22638573 HAS SOUPS 22036529 WITH SCORE 2.2118454026E7
AT ITER 2262 NEW BEST:: SOT 132597630 SOS 81884802 HAS SOPS 66928805 HAS SOUS 22594677 HAS SOUPS 21993915 WITH SCORE 2.2075799802E7
AT ITER 2275 NEW BEST:: SOT 132588822 SOS 81862000 HAS SOPS 66904045 HAS SOUS 22581783 HAS SOUPS 21981021 WITH SCORE 2.2062883E7
AT ITER 2282 NEW BEST:: SOT 132602567 SOS 81910559 HAS SOPS 66949094 HAS SOUS 22577971 HAS SOUPS 21977209 WITH SCORE 2.2059119559E7
AT ITER 2283 NEW BEST:: SOT 132601074 SOS 81907673 HAS SOPS 66952522 HAS SOUS 22569046 HAS SOUPS 21968448 WITH SCORE 2.2050355673E7
AT ITER 2287 NEW BEST:: SOT 132600881 SOS 81907402 HAS SOPS 66952164 HAS SOUS 22568448 HAS SOUPS 21967850 WITH SCORE 2.2049757402E7
AT ITER 2311 NEW BEST:: SOT 132599903 SOS 81904976 HAS SOPS 66953047 HAS SOUS 22558675 HAS SOUPS 21959621 WITH SCORE 2.2041525976E7
AT ITER 2313 NEW BEST:: SOT 132600727 SOS 81904990 HAS SOPS 66956192 HAS SOUS 22557291 HAS SOUPS 21958237 WITH SCORE 2.204014199E7
AT ITER 2318 NEW BEST:: SOT 132593902 SOS 81890874 HAS SOPS 66946044 HAS SOUS 22550039 HAS SOUPS 21950985 WITH SCORE 2.2032875874E7
AT ITER 2343 NEW BEST:: SOT 132593930 SOS 81890865 HAS SOPS 66945995 HAS SOUS 22549788 HAS SOUPS 21950734 WITH SCORE 2.2032624865E7
AT ITER 2358 NEW BEST:: SOT 132566836 SOS 81862615 HAS SOPS 66917474 HAS SOUS 22490196 HAS SOUPS 21892085 WITH SCORE 2.1973947615E7
AT ITER 2359 NEW BEST:: SOT 132553405 SOS 81836938 HAS SOPS 66891623 HAS SOUS 22482977 HAS SOUPS 21884766 WITH SCORE 2.1966602938E7
AT ITER 2370 NEW BEST:: SOT 132538356 SOS 81817714 HAS SOPS 66873827 HAS SOUS 22445186 HAS SOUPS 21847899 WITH SCORE 2.1929716714E7
AT ITER 2374 NEW BEST:: SOT 132527612 SOS 81801840 HAS SOPS 66861043 HAS SOUS 22408434 HAS SOUPS 21811147 WITH SCORE 2.189294884E7
AT ITER 2378 NEW BEST:: SOT 132541923 SOS 81822565 HAS SOPS 66876359 HAS SOUS 22404286 HAS SOUPS 21806926 WITH SCORE 2.1888748565E7
AT ITER 2380 NEW BEST:: SOT 132549658 SOS 81841638 HAS SOPS 66890484 HAS SOUS 22404655 HAS SOUPS 21806906 WITH SCORE 2.1888747638E7
AT ITER 2389 NEW BEST:: SOT 132566609 SOS 81892980 HAS SOPS 66957128 HAS SOUS 22375339 HAS SOUPS 21777590 WITH SCORE 2.185948298E7
AT ITER 2391 NEW BEST:: SOT 132578598 SOS 81911233 HAS SOPS 66980478 HAS SOUS 22359398 HAS SOUPS 21761594 WITH SCORE 2.1843505233E7
AT ITER 2393 NEW BEST:: SOT 132578462 SOS 81911391 HAS SOPS 66980204 HAS SOUS 22358896 HAS SOUPS 21761084 WITH SCORE 2.1842995391E7
AT ITER 2401 NEW BEST:: SOT 132578161 SOS 81909025 HAS SOPS 66977406 HAS SOUS 22357943 HAS SOUPS 21760131 WITH SCORE 2.1842040025E7
AT ITER 2402 NEW BEST:: SOT 132566957 SOS 81872818 HAS SOPS 66943241 HAS SOUS 22357253 HAS SOUPS 21759441 WITH SCORE 2.1841313818E7
AT ITER 2416 NEW BEST:: SOT 132556144 SOS 81863315 HAS SOPS 66929722 HAS SOUS 22336020 HAS SOUPS 21738123 WITH SCORE 2.1819986315E7
AT ITER 2429 NEW BEST:: SOT 132592050 SOS 81881210 HAS SOPS 66951326 HAS SOUS 22325325 HAS SOUPS 21727023 WITH SCORE 2.180890421E7
AT ITER 2436 NEW BEST:: SOT 132605814 SOS 81922862 HAS SOPS 66971959 HAS SOUS 22320329 HAS SOUPS 21722027 WITH SCORE 2.1803949862E7
AT ITER 2439 NEW BEST:: SOT 132604693 SOS 81934112 HAS SOPS 66978465 HAS SOUS 22304817 HAS SOUPS 21706515 WITH SCORE 2.1788449112E7
AT ITER 2445 NEW BEST:: SOT 132606868 SOS 81943710 HAS SOPS 66979277 HAS SOUS 22296600 HAS SOUPS 21698298 WITH SCORE 2.178024171E7
AT ITER 2450 NEW BEST:: SOT 132607022 SOS 81944086 HAS SOPS 66979303 HAS SOUS 22295328 HAS SOUPS 21696930 WITH SCORE 2.1778874086E7
AT ITER 2472 NEW BEST:: SOT 132596197 SOS 81944070 HAS SOPS 66972876 HAS SOUS 22258120 HAS SOUPS 21660101 WITH SCORE 2.174204507E7
AT ITER 2490 NEW BEST:: SOT 132597647 SOS 81959637 HAS SOPS 66994984 HAS SOUS 22251492 HAS SOUPS 21653473 WITH SCORE 2.1735432637E7
AT ITER 2492 NEW BEST:: SOT 132597771 SOS 81963219 HAS SOPS 66996675 HAS SOUS 22249852 HAS SOUPS 21651833 WITH SCORE 2.1733796219E7
AT ITER 2499 NEW BEST:: SOT 132597280 SOS 81962420 HAS SOPS 66994728 HAS SOUS 22247220 HAS SOUPS 21649201 WITH SCORE 2.173116342E7
AT ITER 2511 NEW BEST:: SOT 132555947 SOS 81879271 HAS SOPS 66917001 HAS SOUS 22205426 HAS SOUPS 21607502 WITH SCORE 2.1689381271E7
AT ITER 2524 NEW BEST:: SOT 132557362 SOS 81898161 HAS SOPS 66932704 HAS SOUS 22172481 HAS SOUPS 21574557 WITH SCORE 2.1656455161E7
AT ITER 2539 NEW BEST:: SOT 132553127 SOS 81885270 HAS SOPS 66920131 HAS SOUS 22170350 HAS SOUPS 21572426 WITH SCORE 2.165431127E7
AT ITER 2543 NEW BEST:: SOT 132546766 SOS 81865012 HAS SOPS 66895397 HAS SOUS 22146459 HAS SOUPS 21548535 WITH SCORE 2.1630400012E7
AT ITER 2549 NEW BEST:: SOT 132550258 SOS 81866898 HAS SOPS 66897411 HAS SOUS 22146068 HAS SOUPS 21548046 WITH SCORE 2.1629912898E7
AT ITER 2552 NEW BEST:: SOT 132549824 SOS 81864253 HAS SOPS 66894578 HAS SOUS 22139484 HAS SOUPS 21541545 WITH SCORE 2.1623409253E7
AT ITER 2556 NEW BEST:: SOT 132556802 SOS 81903177 HAS SOPS 66947987 HAS SOUS 22138980 HAS SOUPS 21541041 WITH SCORE 2.1622944177E7
AT ITER 2572 NEW BEST:: SOT 132562123 SOS 81921077 HAS SOPS 66961838 HAS SOUS 22127076 HAS SOUPS 21529137 WITH SCORE 2.1611058077E7
AT ITER 2573 NEW BEST:: SOT 132567660 SOS 81933999 HAS SOPS 66962594 HAS SOUS 22126771 HAS SOUPS 21528832 WITH SCORE 2.1610765999E7
AT ITER 2574 NEW BEST:: SOT 132563312 SOS 81915007 HAS SOPS 66960114 HAS SOUS 22123993 HAS SOUPS 21526054 WITH SCORE 2.1607969007E7
AT ITER 2583 NEW BEST:: SOT 132560464 SOS 81912159 HAS SOPS 66954354 HAS SOUS 22115321 HAS SOUPS 21517382 WITH SCORE 2.1599294159E7
AT ITER 2591 NEW BEST:: SOT 132569148 SOS 81942246 HAS SOPS 66970415 HAS SOUS 22097883 HAS SOUPS 21499944 WITH SCORE 2.1581886246E7
AT ITER 2601 NEW BEST:: SOT 132575509 SOS 81961115 HAS SOPS 66982126 HAS SOUS 22092750 HAS SOUPS 21494811 WITH SCORE 2.1576772115E7
AT ITER 2609 NEW BEST:: SOT 132575579 SOS 81961141 HAS SOPS 66981962 HAS SOUS 22092096 HAS SOUPS 21494157 WITH SCORE 2.1576118141E7
AT ITER 2626 NEW BEST:: SOT 132585157 SOS 81963069 HAS SOPS 66973984 HAS SOUS 22089363 HAS SOUPS 21491747 WITH SCORE 2.1573710069E7
AT ITER 2630 NEW BEST:: SOT 132581677 SOS 81964472 HAS SOPS 66973380 HAS SOUS 22077399 HAS SOUPS 21479783 WITH SCORE 2.1561747472E7
AT ITER 2641 NEW BEST:: SOT 132581970 SOS 81966167 HAS SOPS 66975285 HAS SOUS 22074624 HAS SOUPS 21477008 WITH SCORE 2.1558974167E7
AT ITER 2644 NEW BEST:: SOT 132584501 SOS 81963985 HAS SOPS 66984891 HAS SOUS 22069550 HAS SOUPS 21472601 WITH SCORE 2.1554564985E7
AT ITER 2652 NEW BEST:: SOT 132600938 SOS 81955920 HAS SOPS 67032322 HAS SOUS 22064361 HAS SOUPS 21467412 WITH SCORE 2.154936792E7
AT ITER 2670 NEW BEST:: SOT 132603986 SOS 81966848 HAS SOPS 67039298 HAS SOUS 22043549 HAS SOUPS 21446600 WITH SCORE 2.1528566848E7
AT ITER 2671 NEW BEST:: SOT 132590952 SOS 81944453 HAS SOPS 67034009 HAS SOUS 22027880 HAS SOUPS 21430931 WITH SCORE 2.1512875453E7
AT ITER 2673 NEW BEST:: SOT 132589619 SOS 81942499 HAS SOPS 67031893 HAS SOUS 22024504 HAS SOUPS 21427555 WITH SCORE 2.1509497499E7
AT ITER 2687 NEW BEST:: SOT 132556110 SOS 81880277 HAS SOPS 67009947 HAS SOUS 22020491 HAS SOUPS 21423542 WITH SCORE 2.1505422277E7
AT ITER 2692 NEW BEST:: SOT 132550021 SOS 81863550 HAS SOPS 66981393 HAS SOUS 22005022 HAS SOUPS 21408073 WITH SCORE 2.148993655E7
AT ITER 2700 NEW BEST:: SOT 132563567 SOS 81880301 HAS SOPS 66988904 HAS SOUS 22001423 HAS SOUPS 21404474 WITH SCORE 2.1486354301E7
AT ITER 2701 NEW BEST:: SOT 132563541 SOS 81871563 HAS SOPS 66989010 HAS SOUS 22001261 HAS SOUPS 21404312 WITH SCORE 2.1486183563E7
AT ITER 2721 NEW BEST:: SOT 132558136 SOS 81866158 HAS SOPS 66983605 HAS SOUS 21999024 HAS SOUPS 21402075 WITH SCORE 2.1483941158E7
AT ITER 2722 NEW BEST:: SOT 132559814 SOS 81871420 HAS SOPS 66989068 HAS SOUS 21996452 HAS SOUPS 21399503 WITH SCORE 2.148137442E7
AT ITER 2728 NEW BEST:: SOT 132554038 SOS 81863173 HAS SOPS 66979275 HAS SOUS 21990405 HAS SOUPS 21393456 WITH SCORE 2.1475319173E7
AT ITER 2733 NEW BEST:: SOT 132562896 SOS 81886159 HAS SOPS 67005529 HAS SOUS 21990320 HAS SOUPS 21393371 WITH SCORE 2.1475257159E7
AT ITER 2745 NEW BEST:: SOT 132562627 SOS 81885645 HAS SOPS 67004809 HAS SOUS 21990017 HAS SOUPS 21393068 WITH SCORE 2.1474953645E7
AT ITER 2749 NEW BEST:: SOT 132557118 SOS 81873981 HAS SOPS 66988849 HAS SOUS 21979935 HAS SOUPS 21382986 WITH SCORE 2.1464859981E7
AT ITER 2755 NEW BEST:: SOT 132546548 SOS 81862345 HAS SOPS 66949842 HAS SOUS 21979123 HAS SOUPS 21381968 WITH SCORE 2.1463830345E7
AT ITER 2775 NEW BEST:: SOT 132554127 SOS 81873375 HAS SOPS 66962364 HAS SOUS 21974011 HAS SOUPS 21376856 WITH SCORE 2.1458729375E7
AT ITER 2780 NEW BEST:: SOT 132552334 SOS 81873745 HAS SOPS 66962161 HAS SOUS 21971135 HAS SOUPS 21373919 WITH SCORE 2.1455792745E7
AT ITER 2791 NEW BEST:: SOT 132553336 SOS 81874825 HAS SOPS 66962372 HAS SOUS 21970764 HAS SOUPS 21373570 WITH SCORE 2.1455444825E7
AT ITER 2795 NEW BEST:: SOT 132552118 SOS 81872640 HAS SOPS 66962056 HAS SOUS 21960566 HAS SOUPS 21363663 WITH SCORE 2.144553564E7
AT ITER 2814 NEW BEST:: SOT 132559724 SOS 81870937 HAS SOPS 66975673 HAS SOUS 21949360 HAS SOUPS 21352457 WITH SCORE 2.1434327937E7
AT ITER 2817 NEW BEST:: SOT 132545898 SOS 81838275 HAS SOPS 66955165 HAS SOUS 21947690 HAS SOUPS 21350872 WITH SCORE 2.1432710275E7
AT ITER 2821 NEW BEST:: SOT 132504698 SOS 81747886 HAS SOPS 66871439 HAS SOUS 21916879 HAS SOUPS 21320078 WITH SCORE 2.1401825886E7
AT ITER 2827 NEW BEST:: SOT 132481091 SOS 81724128 HAS SOPS 66839570 HAS SOUS 21888619 HAS SOUPS 21287146 WITH SCORE 2.1368870128E7
AT ITER 2846 NEW BEST:: SOT 132480219 SOS 81723182 HAS SOPS 66837787 HAS SOUS 21886666 HAS SOUPS 21285193 WITH SCORE 2.1366916182E7
AT ITER 2849 NEW BEST:: SOT 132475344 SOS 81718415 HAS SOPS 66833776 HAS SOUS 21878777 HAS SOUPS 21277304 WITH SCORE 2.1359022415E7
AT ITER 2855 NEW BEST:: SOT 132442394 SOS 81655739 HAS SOPS 66795204 HAS SOUS 21869736 HAS SOUPS 21268571 WITH SCORE 2.1350226739E7
AT ITER 2857 NEW BEST:: SOT 132444693 SOS 81670092 HAS SOPS 66807541 HAS SOUS 21861636 HAS SOUPS 21260471 WITH SCORE 2.1342141092E7
AT ITER 2866 NEW BEST:: SOT 132450419 SOS 81684724 HAS SOPS 66818472 HAS SOUS 21848687 HAS SOUPS 21247427 WITH SCORE 2.1329111724E7
AT ITER 2869 NEW BEST:: SOT 132457343 SOS 81716832 HAS SOPS 66852253 HAS SOUS 21833318 HAS SOUPS 21232058 WITH SCORE 2.1313774832E7
AT ITER 2873 NEW BEST:: SOT 132452780 SOS 81701740 HAS SOPS 66845313 HAS SOUS 21825530 HAS SOUPS 21224270 WITH SCORE 2.130597174E7
AT ITER 2877 NEW BEST:: SOT 132452344 SOS 81700794 HAS SOPS 66844469 HAS SOUS 21825190 HAS SOUPS 21223930 WITH SCORE 2.1305630794E7
AT ITER 2887 NEW BEST:: SOT 132451945 SOS 81700935 HAS SOPS 66844682 HAS SOUS 21824659 HAS SOUPS 21223399 WITH SCORE 2.1305099935E7
AT ITER 2891 NEW BEST:: SOT 132444158 SOS 81686927 HAS SOPS 66834397 HAS SOUS 21818655 HAS SOUPS 21217395 WITH SCORE 2.1299081927E7
AT ITER 2893 NEW BEST:: SOT 132448675 SOS 81723174 HAS SOPS 66907354 HAS SOUS 21814112 HAS SOUPS 21212922 WITH SCORE 2.1294645174E7
AT ITER 2899 NEW BEST:: SOT 132481244 SOS 81811060 HAS SOPS 66985060 HAS SOUS 21752150 HAS SOUPS 21150960 WITH SCORE 2.123277106E7
AT ITER 2901 NEW BEST:: SOT 132454020 SOS 81761303 HAS SOPS 66942344 HAS SOUS 21717773 HAS SOUPS 21116583 WITH SCORE 2.1198344303E7
AT ITER 2906 NEW BEST:: SOT 132441721 SOS 81747704 HAS SOPS 66928986 HAS SOUS 21694390 HAS SOUPS 21093460 WITH SCORE 2.1175207704E7
AT ITER 2913 NEW BEST:: SOT 132450677 SOS 81773446 HAS SOPS 66949749 HAS SOUS 21691864 HAS SOUPS 21090934 WITH SCORE 2.1172707446E7
AT ITER 2917 NEW BEST:: SOT 132445445 SOS 81770307 HAS SOPS 66944688 HAS SOUS 21668187 HAS SOUPS 21067257 WITH SCORE 2.1149027307E7
AT ITER 2921 NEW BEST:: SOT 132443848 SOS 81768236 HAS SOPS 66940117 HAS SOUS 21663585 HAS SOUPS 21062639 WITH SCORE 2.1144407236E7
AT ITER 2938 NEW BEST:: SOT 132426980 SOS 81746707 HAS SOPS 66922520 HAS SOUS 21639858 HAS SOUPS 21038912 WITH SCORE 2.1120658707E7
AT ITER 2953 NEW BEST:: SOT 132383104 SOS 81651511 HAS SOPS 66828961 HAS SOUS 21624536 HAS SOUPS 21023540 WITH SCORE 2.1105191511E7
AT ITER 2959 NEW BEST:: SOT 132373809 SOS 81630862 HAS SOPS 66807902 HAS SOUS 21600248 HAS SOUPS 20999346 WITH SCORE 2.1080976862E7
AT ITER 2960 NEW BEST:: SOT 132371871 SOS 81629821 HAS SOPS 66804697 HAS SOUS 21572884 HAS SOUPS 20971982 WITH SCORE 2.1053611821E7
AT ITER 2982 NEW BEST:: SOT 132392269 SOS 81701659 HAS SOPS 66855281 HAS SOUS 21557940 HAS SOUPS 20957038 WITH SCORE 2.1038739659E7
AT ITER 2993 NEW BEST:: SOT 132424041 SOS 81769069 HAS SOPS 66912546 HAS SOUS 21554841 HAS SOUPS 20953939 WITH SCORE 2.1035708069E7
AT ITER 3014 NEW BEST:: SOT 132422855 SOS 81767605 HAS SOPS 66910429 HAS SOUS 21554662 HAS SOUPS 20953760 WITH SCORE 2.1035527605E7
AT ITER 3022 NEW BEST:: SOT 132422291 SOS 81766977 HAS SOPS 66909681 HAS SOUS 21553752 HAS SOUPS 20952850 WITH SCORE 2.1034616977E7
AT ITER 3056 NEW BEST:: SOT 132425085 SOS 81785441 HAS SOPS 66914581 HAS SOUS 21535439 HAS SOUPS 20934458 WITH SCORE 2.1016243441E7
AT ITER 3062 NEW BEST:: SOT 132422771 SOS 81784394 HAS SOPS 66914103 HAS SOUS 21529253 HAS SOUPS 20928272 WITH SCORE 2.1010056394E7
AT ITER 3063 NEW BEST:: SOT 132422649 SOS 81784702 HAS SOPS 66913535 HAS SOUS 21521516 HAS SOUPS 20920535 WITH SCORE 2.1002319702E7
AT ITER 3083 NEW BEST:: SOT 132419731 SOS 81780318 HAS SOPS 66906637 HAS SOUS 21512506 HAS SOUPS 20911525 WITH SCORE 2.0993305318E7
AT ITER 3110 NEW BEST:: SOT 132419535 SOS 81780122 HAS SOPS 66906633 HAS SOUS 21511670 HAS SOUPS 20910689 WITH SCORE 2.0992469122E7
AT ITER 3137 NEW BEST:: SOT 132419634 SOS 81780269 HAS SOPS 66907000 HAS SOUS 21511659 HAS SOUPS 20910678 WITH SCORE 2.0992458269E7
AT ITER 3148 NEW BEST:: SOT 132417209 SOS 81774721 HAS SOPS 66899457 HAS SOUS 21506237 HAS SOUPS 20905256 WITH SCORE 2.0987030721E7
AT ITER 3153 NEW BEST:: SOT 132404219 SOS 81760909 HAS SOPS 66883767 HAS SOUS 21495318 HAS SOUPS 20894088 WITH SCORE 2.0975848909E7
AT ITER 3157 NEW BEST:: SOT 132407681 SOS 81787886 HAS SOPS 66899480 HAS SOUS 21484231 HAS SOUPS 20883000 WITH SCORE 2.0964787886E7
AT ITER 3178 NEW BEST:: SOT 132408192 SOS 81788687 HAS SOPS 66901019 HAS SOUS 21484083 HAS SOUPS 20882852 WITH SCORE 2.0964640687E7
AT ITER 3184 NEW BEST:: SOT 132414916 SOS 81807418 HAS SOPS 66919915 HAS SOUS 21473652 HAS SOUPS 20872421 WITH SCORE 2.0954228418E7
AT ITER 3194 NEW BEST:: SOT 132415742 SOS 81809872 HAS SOPS 66918720 HAS SOUS 21458954 HAS SOUPS 20857723 WITH SCORE 2.0939532872E7
AT ITER 3201 NEW BEST:: SOT 132415550 SOS 81814859 HAS SOPS 66921239 HAS SOUS 21457330 HAS SOUPS 20856067 WITH SCORE 2.0937881859E7
AT ITER 3239 NEW BEST:: SOT 132419701 SOS 81828603 HAS SOPS 66934910 HAS SOUS 21456378 HAS SOUPS 20855115 WITH SCORE 2.0936943603E7
AT ITER 3242 NEW BEST:: SOT 132416987 SOS 81830142 HAS SOPS 66933525 HAS SOUS 21455208 HAS SOUPS 20853945 WITH SCORE 2.0935775142E7
AT ITER 3249 NEW BEST:: SOT 132418420 SOS 81838453 HAS SOPS 66938851 HAS SOUS 21452556 HAS SOUPS 20851269 WITH SCORE 2.0933107453E7
AT ITER 3263 NEW BEST:: SOT 132419474 SOS 81844732 HAS SOPS 66943492 HAS SOUS 21445269 HAS SOUPS 20843982 WITH SCORE 2.0925826732E7
AT ITER 3271 NEW BEST:: SOT 132417274 SOS 81842506 HAS SOPS 66941212 HAS SOUS 21441230 HAS SOUPS 20839969 WITH SCORE 2.0921811506E7
AT ITER 3277 NEW BEST:: SOT 132414181 SOS 81858014 HAS SOPS 66952525 HAS SOUS 21410620 HAS SOUPS 20809359 WITH SCORE 2.0891217014E7
AT ITER 3282 NEW BEST:: SOT 132411711 SOS 81850812 HAS SOPS 66947279 HAS SOUS 21408655 HAS SOUPS 20807460 WITH SCORE 2.0889310812E7
AT ITER 3286 NEW BEST:: SOT 132390548 SOS 81827377 HAS SOPS 66917213 HAS SOUS 21376505 HAS SOUPS 20775250 WITH SCORE 2.0857077377E7
AT ITER 3305 NEW BEST:: SOT 132389294 SOS 81811233 HAS SOPS 66909480 HAS SOUS 21376017 HAS SOUPS 20774762 WITH SCORE 2.0856573233E7
AT ITER 3312 NEW BEST:: SOT 132397448 SOS 81853884 HAS SOPS 66944284 HAS SOUS 21357786 HAS SOUPS 20756531 WITH SCORE 2.0838384884E7
AT ITER 3353 NEW BEST:: SOT 132385481 SOS 81843840 HAS SOPS 66919028 HAS SOUS 21309884 HAS SOUPS 20708629 WITH SCORE 2.079047284E7
AT ITER 3374 NEW BEST:: SOT 132353534 SOS 81800296 HAS SOPS 66873483 HAS SOUS 21272242 HAS SOUPS 20670875 WITH SCORE 2.0752675296E7
AT ITER 3383 NEW BEST:: SOT 132348018 SOS 81792305 HAS SOPS 66867171 HAS SOUS 21264605 HAS SOUPS 20663551 WITH SCORE 2.0745343305E7
AT ITER 3386 NEW BEST:: SOT 132347940 SOS 81792222 HAS SOPS 66867024 HAS SOUS 21264379 HAS SOUPS 20663333 WITH SCORE 2.0745125222E7
AT ITER 3387 NEW BEST:: SOT 132354841 SOS 81839207 HAS SOPS 66918013 HAS SOUS 21243437 HAS SOUPS 20642391 WITH SCORE 2.0724230207E7
AT ITER 3406 NEW BEST:: SOT 132357246 SOS 81831236 HAS SOPS 66884655 HAS SOUS 21217791 HAS SOUPS 20616745 WITH SCORE 2.0698576236E7
AT ITER 3414 NEW BEST:: SOT 132361438 SOS 81841640 HAS SOPS 66920298 HAS SOUS 21209007 HAS SOUPS 20607961 WITH SCORE 2.068980264E7
AT ITER 3430 NEW BEST:: SOT 132370689 SOS 81861670 HAS SOPS 66934451 HAS SOUS 21206031 HAS SOUPS 20604985 WITH SCORE 2.068684667E7
AT ITER 3438 NEW BEST:: SOT 132370654 SOS 81861107 HAS SOPS 66933380 HAS SOUS 21205804 HAS SOUPS 20604758 WITH SCORE 2.0686619107E7
AT ITER 3443 NEW BEST:: SOT 132284048 SOS 81731751 HAS SOPS 66810413 HAS SOUS 21169598 HAS SOUPS 20569033 WITH SCORE 2.0650764751E7
AT ITER 3454 NEW BEST:: SOT 132284016 SOS 81731410 HAS SOPS 66807391 HAS SOUS 21169574 HAS SOUPS 20569009 WITH SCORE 2.065074041E7
AT ITER 3461 NEW BEST:: SOT 132279796 SOS 81725253 HAS SOPS 66796692 HAS SOUS 21162344 HAS SOUPS 20561779 WITH SCORE 2.0643504253E7
AT ITER 3503 NEW BEST:: SOT 132282275 SOS 81724611 HAS SOPS 66798769 HAS SOUS 21152373 HAS SOUPS 20551808 WITH SCORE 2.0633532611E7
AT ITER 3508 NEW BEST:: SOT 132287311 SOS 81736340 HAS SOPS 66805659 HAS SOUS 21147194 HAS SOUPS 20546629 WITH SCORE 2.062836534E7
AT ITER 3511 NEW BEST:: SOT 132269656 SOS 81727226 HAS SOPS 66804136 HAS SOUS 21145384 HAS SOUPS 20544665 WITH SCORE 2.0626392226E7
AT ITER 3527 NEW BEST:: SOT 132264839 SOS 81713429 HAS SOPS 66791861 HAS SOUS 21139327 HAS SOUPS 20538636 WITH SCORE 2.0620349429E7
AT ITER 3605 NEW BEST:: SOT 132264454 SOS 81713028 HAS SOPS 66791399 HAS SOUS 21138670 HAS SOUPS 20537979 WITH SCORE 2.0619692028E7
AT ITER 3627 NEW BEST:: SOT 132266938 SOS 81715902 HAS SOPS 66799212 HAS SOUS 21136422 HAS SOUPS 20535812 WITH SCORE 2.0617527902E7
AT ITER 3628 NEW BEST:: SOT 132261248 SOS 81704779 HAS SOPS 66789053 HAS SOUS 21128250 HAS SOUPS 20527640 WITH SCORE 2.0609344779E7
AT ITER 3632 NEW BEST:: SOT 132267615 SOS 81695895 HAS SOPS 66786908 HAS SOUS 21126752 HAS SOUPS 20526142 WITH SCORE 2.0607837895E7
AT ITER 3634 NEW BEST:: SOT 132265299 SOS 81694296 HAS SOPS 66787110 HAS SOUS 21122178 HAS SOUPS 20521625 WITH SCORE 2.0603319296E7
AT ITER 3644 NEW BEST:: SOT 132254977 SOS 81681942 HAS SOPS 66776788 HAS SOUS 21111729 HAS SOUPS 20511303 WITH SCORE 2.0592984942E7
AT ITER 3648 NEW BEST:: SOT 132249573 SOS 81664857 HAS SOPS 66748210 HAS SOUS 21099719 HAS SOUPS 20499293 WITH SCORE 2.0580957857E7
AT ITER 3655 NEW BEST:: SOT 132253570 SOS 81677549 HAS SOPS 66757739 HAS SOUS 21096632 HAS SOUPS 20496206 WITH SCORE 2.0577883549E7
AT ITER 3663 NEW BEST:: SOT 132253254 SOS 81676658 HAS SOPS 66757610 HAS SOUS 21086903 HAS SOUPS 20486477 WITH SCORE 2.0568153658E7
AT ITER 3682 NEW BEST:: SOT 132255494 SOS 81682303 HAS SOPS 66767998 HAS SOUS 21076502 HAS SOUPS 20476076 WITH SCORE 2.0557758303E7
AT ITER 3683 NEW BEST:: SOT 132255429 SOS 81688155 HAS SOPS 66770690 HAS SOUS 21066088 HAS SOUPS 20465662 WITH SCORE 2.0547350155E7
AT ITER 3687 NEW BEST:: SOT 132285681 SOS 81736289 HAS SOPS 66817191 HAS SOUS 21029787 HAS SOUPS 20429361 WITH SCORE 2.0511097289E7
AT ITER 3688 NEW BEST:: SOT 132275481 SOS 81715661 HAS SOPS 66803778 HAS SOUS 21021815 HAS SOUPS 20421389 WITH SCORE 2.0503104661E7
AT ITER 3690 NEW BEST:: SOT 132275481 SOS 81737166 HAS SOPS 66817060 HAS SOUS 21021015 HAS SOUPS 20420589 WITH SCORE 2.0502326166E7
AT ITER 3691 NEW BEST:: SOT 132286823 SOS 81776731 HAS SOPS 66829262 HAS SOUS 21001613 HAS SOUPS 20401187 WITH SCORE 2.0482963731E7
AT ITER 3702 NEW BEST:: SOT 132280300 SOS 81752992 HAS SOPS 66805568 HAS SOUS 20962476 HAS SOUPS 20361435 WITH SCORE 2.0443187992E7
AT ITER 3710 NEW BEST:: SOT 132278691 SOS 81746880 HAS SOPS 66802039 HAS SOUS 20960584 HAS SOUPS 20359543 WITH SCORE 2.044128988E7
AT ITER 3722 NEW BEST:: SOT 132278567 SOS 81746683 HAS SOPS 66801875 HAS SOUS 20960499 HAS SOUPS 20359458 WITH SCORE 2.0441204683E7
AT ITER 3723 NEW BEST:: SOT 132286426 SOS 81771750 HAS SOPS 66794965 HAS SOUS 20952561 HAS SOUPS 20351520 WITH SCORE 2.043329175E7
AT ITER 3738 NEW BEST:: SOT 132286290 SOS 81770746 HAS SOPS 66793837 HAS SOUS 20952177 HAS SOUPS 20351136 WITH SCORE 2.0432906746E7
AT ITER 3740 NEW BEST:: SOT 132286235 SOS 81769387 HAS SOPS 66792096 HAS SOUS 20951821 HAS SOUPS 20350780 WITH SCORE 2.0432549387E7
AT ITER 3742 NEW BEST:: SOT 132286245 SOS 81769444 HAS SOPS 66792080 HAS SOUS 20951741 HAS SOUPS 20350699 WITH SCORE 2.0432468444E7
AT ITER 3744 NEW BEST:: SOT 132282202 SOS 81767227 HAS SOPS 66782440 HAS SOUS 20926907 HAS SOUPS 20325583 WITH SCORE 2.0407350227E7
AT ITER 3767 NEW BEST:: SOT 132277416 SOS 81764106 HAS SOPS 66773063 HAS SOUS 20909471 HAS SOUPS 20308253 WITH SCORE 2.0390017106E7
AT ITER 3774 NEW BEST:: SOT 132282957 SOS 81783405 HAS SOPS 66787530 HAS SOUS 20906307 HAS SOUPS 20305089 WITH SCORE 2.0386872405E7
AT ITER 3775 NEW BEST:: SOT 132282449 SOS 81771690 HAS SOPS 66784075 HAS SOUS 20897308 HAS SOUPS 20296090 WITH SCORE 2.037786169E7
AT ITER 3795 NEW BEST:: SOT 132298692 SOS 81807004 HAS SOPS 66824486 HAS SOUS 20895031 HAS SOUPS 20295264 WITH SCORE 2.0377071004E7
AT ITER 3805 NEW BEST:: SOT 132297767 SOS 81806035 HAS SOPS 66823817 HAS SOUS 20894102 HAS SOUPS 20294591 WITH SCORE 2.0376397035E7
AT ITER 3809 NEW BEST:: SOT 132303379 SOS 81811702 HAS SOPS 66829484 HAS SOUS 20892733 HAS SOUPS 20293222 WITH SCORE 2.0375033702E7
AT ITER 3818 NEW BEST:: SOT 132300592 SOS 81787227 HAS SOPS 66803557 HAS SOUS 20886329 HAS SOUPS 20286818 WITH SCORE 2.0368605227E7
AT ITER 3819 NEW BEST:: SOT 132318211 SOS 81825236 HAS SOPS 66834322 HAS SOUS 20860989 HAS SOUPS 20261478 WITH SCORE 2.0343303236E7
AT ITER 3820 NEW BEST:: SOT 132322959 SOS 81844963 HAS SOPS 66851212 HAS SOUS 20850023 HAS SOUPS 20250483 WITH SCORE 2.0332327963E7
AT ITER 3822 NEW BEST:: SOT 132321444 SOS 81846041 HAS SOPS 66846711 HAS SOUS 20842678 HAS SOUPS 20243138 WITH SCORE 2.0324984041E7
AT ITER 3828 NEW BEST:: SOT 132319161 SOS 81853030 HAS SOPS 66841793 HAS SOUS 20829876 HAS SOUPS 20230218 WITH SCORE 2.031207103E7
AT ITER 3830 NEW BEST:: SOT 132321426 SOS 81856923 HAS SOPS 66846340 HAS SOUS 20824781 HAS SOUPS 20225123 WITH SCORE 2.0306979923E7
AT ITER 3837 NEW BEST:: SOT 132319873 SOS 81853476 HAS SOPS 66841497 HAS SOUS 20821602 HAS SOUPS 20221944 WITH SCORE 2.0303797476E7
AT ITER 3843 NEW BEST:: SOT 132296320 SOS 81817737 HAS SOPS 66810983 HAS SOUS 20808075 HAS SOUPS 20208417 WITH SCORE 2.0290234737E7
AT ITER 3851 NEW BEST:: SOT 132297519 SOS 81803603 HAS SOPS 66804172 HAS SOUS 20806696 HAS SOUPS 20207038 WITH SCORE 2.0288841603E7
AT ITER 3857 NEW BEST:: SOT 132297070 SOS 81803154 HAS SOPS 66803723 HAS SOUS 20806247 HAS SOUPS 20206589 WITH SCORE 2.0288392154E7
AT ITER 3862 NEW BEST:: SOT 132297093 SOS 81801542 HAS SOPS 66802662 HAS SOUS 20805751 HAS SOUPS 20206093 WITH SCORE 2.0287894542E7
AT ITER 3864 NEW BEST:: SOT 132296676 SOS 81800926 HAS SOPS 66801326 HAS SOUS 20803333 HAS SOUPS 20204095 WITH SCORE 2.0285895926E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 13795088 kB
After kill :
MemTotal: 16393232 kB
MemFree: 15949200 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb114-PT-5"
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 RERS17pb114-PT-5, 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-167889204100112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-5.tgz
mv RERS17pb114-PT-5 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 '
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 ;