About the Execution of Smart+red for LeafsetExtension-PT-S64C4
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2637.663 | 3600000.00 | 3667738.00 | 8248.50 | [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.r235-tall-167856421900544.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 LeafsetExtension-PT-S64C4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421900544
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 15K Feb 25 16:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 25 16:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 25 16:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 16:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 16:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 29K Feb 25 16:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 183K Feb 25 16:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 25 16:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 25 16:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 14M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678668203120
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=LeafsetExtension-PT-S64C4
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 00:43:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 00:43:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 00:43:25] [INFO ] Load time of PNML (sax parser for PT used): 578 ms
[2023-03-13 00:43:25] [INFO ] Transformed 21462 places.
[2023-03-13 00:43:25] [INFO ] Transformed 21129 transitions.
[2023-03-13 00:43:25] [INFO ] Parsed PT model containing 21462 places and 21129 transitions and 67740 arcs in 723 ms.
[2023-03-13 00:43:25] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 21462 places, 21129 transitions and 67740 arcs took 145 ms.
Total runtime 897 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S64C4
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: 21462 places, 21129 transitions, 67740 arcs.
AT ITER 0 NEW BEST:: SOT 257288034 SOS 58916937 HAS SOPS 58736799 HAS SOUS 52959936 HAS SOUPS 52941851 WITH SCORE 5.3000767937E7
AT ITER 3 NEW BEST:: SOT 257286767 SOS 58915670 HAS SOPS 58735532 HAS SOUS 52958669 HAS SOUPS 52940584 WITH SCORE 5.299949967E7
AT ITER 12 NEW BEST:: SOT 257286767 SOS 58914951 HAS SOPS 58734813 HAS SOUS 52957920 HAS SOUPS 52939835 WITH SCORE 5.2998749951E7
AT ITER 60 NEW BEST:: SOT 257286682 SOS 58914624 HAS SOPS 58707838 HAS SOUS 52945316 HAS SOUPS 52913261 WITH SCORE 5.2972175624E7
AT ITER 93 NEW BEST:: SOT 257284567 SOS 58912580 HAS SOPS 58705794 HAS SOUS 52943383 HAS SOUPS 52911328 WITH SCORE 5.297024058E7
AT ITER 110 NEW BEST:: SOT 257283164 SOS 58911203 HAS SOPS 58704417 HAS SOUS 52941980 HAS SOUPS 52909925 WITH SCORE 5.2968836203E7
AT ITER 147 NEW BEST:: SOT 257281049 SOS 58909117 HAS SOPS 58702331 HAS SOUS 52940283 HAS SOUPS 52908228 WITH SCORE 5.2967137117E7
AT ITER 148 NEW BEST:: SOT 257280619 SOS 58909116 HAS SOPS 58702330 HAS SOUS 52940282 HAS SOUPS 52908227 WITH SCORE 5.2967136116E7
AT ITER 154 NEW BEST:: SOT 257279632 SOS 58908129 HAS SOPS 58701343 HAS SOUS 52939295 HAS SOUPS 52907240 WITH SCORE 5.2966148129E7
AT ITER 191 NEW BEST:: SOT 257204457 SOS 58835378 HAS SOPS 58628592 HAS SOUS 52866544 HAS SOUPS 52834489 WITH SCORE 5.2893324378E7
AT ITER 203 NEW BEST:: SOT 257202264 SOS 58833185 HAS SOPS 58626399 HAS SOUS 52864351 HAS SOUPS 52832296 WITH SCORE 5.2891129185E7
AT ITER 204 NEW BEST:: SOT 257200258 SOS 58831182 HAS SOPS 58624396 HAS SOUS 52861458 HAS SOUPS 52829403 WITH SCORE 5.2888234182E7
AT ITER 208 NEW BEST:: SOT 257198830 SOS 58831762 HAS SOPS 58624976 HAS SOUS 52860610 HAS SOUPS 52828555 WITH SCORE 5.2887386762E7
AT ITER 221 NEW BEST:: SOT 257196536 SOS 58831761 HAS SOPS 58624975 HAS SOUS 52860609 HAS SOUPS 52828554 WITH SCORE 5.2887385761E7
AT ITER 229 NEW BEST:: SOT 257195618 SOS 58830857 HAS SOPS 58624071 HAS SOUS 52859691 HAS SOUPS 52827636 WITH SCORE 5.2886466857E7
AT ITER 260 NEW BEST:: SOT 257063240 SOS 58742232 HAS SOPS 58535446 HAS SOUS 52732608 HAS SOUPS 52700553 WITH SCORE 5.2759295232E7
AT ITER 275 NEW BEST:: SOT 257061466 SOS 58740458 HAS SOPS 58533672 HAS SOUS 52730834 HAS SOUPS 52698779 WITH SCORE 5.2757519458E7
AT ITER 276 NEW BEST:: SOT 257060058 SOS 58740458 HAS SOPS 58533672 HAS SOUS 52729426 HAS SOUPS 52697371 WITH SCORE 5.2756111458E7
AT ITER 285 NEW BEST:: SOT 257055980 SOS 58736380 HAS SOPS 58529594 HAS SOUS 52725348 HAS SOUPS 52693293 WITH SCORE 5.275202938E7
AT ITER 289 NEW BEST:: SOT 257054607 SOS 58736415 HAS SOPS 58529629 HAS SOUS 52724010 HAS SOUPS 52691955 WITH SCORE 5.2750691415E7
AT ITER 311 NEW BEST:: SOT 257053489 SOS 58737069 HAS SOPS 58530283 HAS SOUS 52723546 HAS SOUPS 52691491 WITH SCORE 5.2750228069E7
AT ITER 315 NEW BEST:: SOT 257052279 SOS 58737068 HAS SOPS 58530282 HAS SOUS 52723545 HAS SOUPS 52691490 WITH SCORE 5.2750227068E7
AT ITER 330 NEW BEST:: SOT 257052246 SOS 58737035 HAS SOPS 58530249 HAS SOUS 52723512 HAS SOUPS 52691457 WITH SCORE 5.2750194035E7
AT ITER 389 NEW BEST:: SOT 257049722 SOS 58737034 HAS SOPS 58530248 HAS SOUS 52723511 HAS SOUPS 52691456 WITH SCORE 5.2750193034E7
AT ITER 392 NEW BEST:: SOT 257047483 SOS 58734795 HAS SOPS 58528009 HAS SOUS 52721272 HAS SOUPS 52689217 WITH SCORE 5.2747951795E7
AT ITER 427 NEW BEST:: SOT 257046966 SOS 58734278 HAS SOPS 58527492 HAS SOUS 52720755 HAS SOUPS 52688700 WITH SCORE 5.2747434278E7
AT ITER 445 NEW BEST:: SOT 257045704 SOS 58734603 HAS SOPS 58527817 HAS SOUS 52719818 HAS SOUPS 52687763 WITH SCORE 5.2746497603E7
AT ITER 464 NEW BEST:: SOT 257045704 SOS 58733700 HAS SOPS 58526914 HAS SOUS 52719818 HAS SOUPS 52687763 WITH SCORE 5.27464967E7
AT ITER 467 NEW BEST:: SOT 257045240 SOS 58717924 HAS SOPS 58511138 HAS SOUS 52718890 HAS SOUPS 52686835 WITH SCORE 5.2745552924E7
AT ITER 564 NEW BEST:: SOT 257045240 SOS 58716903 HAS SOPS 58510117 HAS SOUS 52717869 HAS SOUPS 52685814 WITH SCORE 5.2744530903E7
AT ITER 578 NEW BEST:: SOT 257044363 SOS 58716026 HAS SOPS 58509240 HAS SOUS 52716992 HAS SOUPS 52684937 WITH SCORE 5.2743653026E7
AT ITER 585 NEW BEST:: SOT 257043498 SOS 58715161 HAS SOPS 58508375 HAS SOUS 52716127 HAS SOUPS 52684072 WITH SCORE 5.2742787161E7
AT ITER 633 NEW BEST:: SOT 257043498 SOS 58715161 HAS SOPS 58508375 HAS SOUS 52716087 HAS SOUPS 52684032 WITH SCORE 5.2742747161E7
AT ITER 634 NEW BEST:: SOT 257043498 SOS 58714484 HAS SOPS 58507698 HAS SOUS 52715399 HAS SOUPS 52683344 WITH SCORE 5.2742058484E7
AT ITER 641 NEW BEST:: SOT 257043498 SOS 58713703 HAS SOPS 58506917 HAS SOUS 52714604 HAS SOUPS 52682549 WITH SCORE 5.2741262703E7
AT ITER 642 NEW BEST:: SOT 257041022 SOS 58708751 HAS SOPS 58501965 HAS SOUS 52709652 HAS SOUPS 52677597 WITH SCORE 5.2736305751E7
AT ITER 650 NEW BEST:: SOT 257038907 SOS 58706669 HAS SOPS 58499883 HAS SOUS 52708153 HAS SOUPS 52676098 WITH SCORE 5.2734804669E7
AT ITER 708 NEW BEST:: SOT 257038907 SOS 58647327 HAS SOPS 58440541 HAS SOUS 52708153 HAS SOUPS 52676098 WITH SCORE 5.2734745327E7
AT ITER 731 NEW BEST:: SOT 257038278 SOS 58646698 HAS SOPS 58439912 HAS SOUS 52707524 HAS SOUPS 52675469 WITH SCORE 5.2734115698E7
AT ITER 740 NEW BEST:: SOT 257038278 SOS 58646412 HAS SOPS 58439626 HAS SOUS 52707524 HAS SOUPS 52675469 WITH SCORE 5.2734115412E7
AT ITER 752 NEW BEST:: SOT 257036520 SOS 58644654 HAS SOPS 58437868 HAS SOUS 52705766 HAS SOUPS 52673711 WITH SCORE 5.2732355654E7
AT ITER 785 NEW BEST:: SOT 257035072 SOS 58645176 HAS SOPS 58438390 HAS SOUS 52704840 HAS SOUPS 52672785 WITH SCORE 5.2731430176E7
AT ITER 813 NEW BEST:: SOT 257032882 SOS 58643563 HAS SOPS 58436777 HAS SOUS 52703251 HAS SOUPS 52671196 WITH SCORE 5.2729839563E7
AT ITER 837 NEW BEST:: SOT 257031320 SOS 58643713 HAS SOPS 58436927 HAS SOUS 52701839 HAS SOUPS 52669784 WITH SCORE 5.2728427713E7
AT ITER 838 NEW BEST:: SOT 257030515 SOS 58642103 HAS SOPS 58435317 HAS SOUS 52701034 HAS SOUPS 52668979 WITH SCORE 5.2727621103E7
AT ITER 890 NEW BEST:: SOT 257028087 SOS 58641167 HAS SOPS 58434381 HAS SOUS 52700757 HAS SOUPS 52668702 WITH SCORE 5.2727343167E7
AT ITER 894 NEW BEST:: SOT 257025836 SOS 58638916 HAS SOPS 58432130 HAS SOUS 52698506 HAS SOUPS 52666451 WITH SCORE 5.2725089916E7
AT ITER 901 NEW BEST:: SOT 257025714 SOS 58638672 HAS SOPS 58431886 HAS SOUS 52698383 HAS SOUPS 52666328 WITH SCORE 5.2724966672E7
AT ITER 915 NEW BEST:: SOT 257025714 SOS 58638513 HAS SOPS 58431727 HAS SOUS 52698206 HAS SOUPS 52666151 WITH SCORE 5.2724789513E7
AT ITER 1036 NEW BEST:: SOT 257025714 SOS 58638513 HAS SOPS 58431727 HAS SOUS 52698167 HAS SOUPS 52666112 WITH SCORE 5.2724750513E7
AT ITER 1043 NEW BEST:: SOT 257025028 SOS 58637141 HAS SOPS 58430355 HAS SOUS 52697481 HAS SOUPS 52665426 WITH SCORE 5.2724063141E7
AT ITER 1064 NEW BEST:: SOT 257025028 SOS 58636606 HAS SOPS 58429820 HAS SOUS 52696411 HAS SOUPS 52664356 WITH SCORE 5.2722992606E7
AT ITER 1073 NEW BEST:: SOT 257025028 SOS 58636337 HAS SOPS 58429551 HAS SOUS 52696411 HAS SOUPS 52664356 WITH SCORE 5.2722992337E7
AT ITER 1077 NEW BEST:: SOT 257024139 SOS 58597493 HAS SOPS 58390707 HAS SOUS 52695067 HAS SOUPS 52663012 WITH SCORE 5.2721609493E7
AT ITER 1088 NEW BEST:: SOT 257020956 SOS 58594310 HAS SOPS 58387524 HAS SOUS 52691884 HAS SOUPS 52659829 WITH SCORE 5.271842331E7
AT ITER 1093 NEW BEST:: SOT 254874123 SOS 70298613 HAS SOPS 70091827 HAS SOUS 50559219 HAS SOUPS 50527164 WITH SCORE 5.0597462613E7
AT ITER 1100 NEW BEST:: SOT 254875042 SOS 70299532 HAS SOPS 70092746 HAS SOUS 50558517 HAS SOUPS 50526462 WITH SCORE 5.0596761532E7
AT ITER 1101 NEW BEST:: SOT 254875248 SOS 70299738 HAS SOPS 70092952 HAS SOUS 50556745 HAS SOUPS 50524690 WITH SCORE 5.0594989738E7
AT ITER 1114 NEW BEST:: SOT 254873134 SOS 70297654 HAS SOPS 70090868 HAS SOUS 50555343 HAS SOUPS 50523288 WITH SCORE 5.0593585654E7
AT ITER 1142 NEW BEST:: SOT 254873134 SOS 70296778 HAS SOPS 70089992 HAS SOUS 50553231 HAS SOUPS 50521176 WITH SCORE 5.0591472778E7
AT ITER 1157 NEW BEST:: SOT 254873134 SOS 70296778 HAS SOPS 70089992 HAS SOUS 50552568 HAS SOUPS 50520513 WITH SCORE 5.0590809778E7
AT ITER 1240 NEW BEST:: SOT 254873134 SOS 70249690 HAS SOPS 70042904 HAS SOUS 50552568 HAS SOUPS 50520513 WITH SCORE 5.059076269E7
AT ITER 1268 NEW BEST:: SOT 254873134 SOS 70249690 HAS SOPS 70042904 HAS SOUS 50551171 HAS SOUPS 50519116 WITH SCORE 5.058936569E7
AT ITER 1270 NEW BEST:: SOT 254873134 SOS 70249690 HAS SOPS 70042904 HAS SOUS 50549789 HAS SOUPS 50517734 WITH SCORE 5.058798369E7
AT ITER 1283 NEW BEST:: SOT 254873134 SOS 70249295 HAS SOPS 70042509 HAS SOUS 50549370 HAS SOUPS 50517315 WITH SCORE 5.0587564295E7
AT ITER 1285 NEW BEST:: SOT 254873067 SOS 70249228 HAS SOPS 70042375 HAS SOUS 50549303 HAS SOUPS 50517181 WITH SCORE 5.0587430228E7
AT ITER 1299 NEW BEST:: SOT 254871996 SOS 70248170 HAS SOPS 70041317 HAS SOUS 50548232 HAS SOUPS 50516110 WITH SCORE 5.058635817E7
AT ITER 1304 NEW BEST:: SOT 254871996 SOS 70247531 HAS SOPS 70040678 HAS SOUS 50547572 HAS SOUPS 50515450 WITH SCORE 5.0585697531E7
AT ITER 1305 NEW BEST:: SOT 254871996 SOS 70246895 HAS SOPS 70040042 HAS SOUS 50546924 HAS SOUPS 50514802 WITH SCORE 5.0585048895E7
AT ITER 1317 NEW BEST:: SOT 254869504 SOS 70245854 HAS SOPS 70039001 HAS SOUS 50546326 HAS SOUPS 50514204 WITH SCORE 5.0584449854E7
AT ITER 1334 NEW BEST:: SOT 254866149 SOS 70242499 HAS SOPS 70035646 HAS SOUS 50542971 HAS SOUPS 50510849 WITH SCORE 5.0581091499E7
AT ITER 1366 NEW BEST:: SOT 254865201 SOS 70215488 HAS SOPS 70008635 HAS SOUS 50541774 HAS SOUPS 50509652 WITH SCORE 5.0579867488E7
AT ITER 1370 NEW BEST:: SOT 254860961 SOS 70211248 HAS SOPS 70004395 HAS SOUS 50537534 HAS SOUPS 50505412 WITH SCORE 5.0575623248E7
AT ITER 1376 NEW BEST:: SOT 254860961 SOS 70211248 HAS SOPS 70004395 HAS SOUS 50535710 HAS SOUPS 50503588 WITH SCORE 5.0573799248E7
AT ITER 1388 NEW BEST:: SOT 254859928 SOS 70210237 HAS SOPS 70003384 HAS SOUS 50534677 HAS SOUPS 50502555 WITH SCORE 5.0572765237E7
AT ITER 1410 NEW BEST:: SOT 254690556 SOS 70305146 HAS SOPS 70098293 HAS SOUS 50378755 HAS SOUPS 50346633 WITH SCORE 5.0416938146E7
AT ITER 1423 NEW BEST:: SOT 254690556 SOS 70305146 HAS SOPS 70098293 HAS SOUS 50378110 HAS SOUPS 50345988 WITH SCORE 5.0416293146E7
AT ITER 1444 NEW BEST:: SOT 254689575 SOS 70304165 HAS SOPS 70097312 HAS SOUS 50377129 HAS SOUPS 50345007 WITH SCORE 5.0415311165E7
AT ITER 1454 NEW BEST:: SOT 254688459 SOS 70303052 HAS SOPS 70096199 HAS SOUS 50376013 HAS SOUPS 50343891 WITH SCORE 5.0414194052E7
AT ITER 1486 NEW BEST:: SOT 254688459 SOS 70303052 HAS SOPS 70096199 HAS SOUS 50374635 HAS SOUPS 50342513 WITH SCORE 5.0412816052E7
AT ITER 1538 NEW BEST:: SOT 254685891 SOS 70300484 HAS SOPS 70093631 HAS SOUS 50372067 HAS SOUPS 50339945 WITH SCORE 5.0410245484E7
AT ITER 1547 NEW BEST:: SOT 254683378 SOS 70299439 HAS SOPS 70092586 HAS SOUS 50368498 HAS SOUPS 50336376 WITH SCORE 5.0406675439E7
AT ITER 1555 NEW BEST:: SOT 254683378 SOS 70299438 HAS SOPS 70092585 HAS SOUS 50368497 HAS SOUPS 50336375 WITH SCORE 5.0406674438E7
AT ITER 1569 NEW BEST:: SOT 254683378 SOS 70299438 HAS SOPS 70092585 HAS SOUS 50366925 HAS SOUPS 50334803 WITH SCORE 5.0405102438E7
AT ITER 1584 NEW BEST:: SOT 254682863 SOS 70299437 HAS SOPS 70092584 HAS SOUS 50366924 HAS SOUPS 50334802 WITH SCORE 5.0405101437E7
AT ITER 1587 NEW BEST:: SOT 254682863 SOS 70299437 HAS SOPS 70092584 HAS SOUS 50366283 HAS SOUPS 50334161 WITH SCORE 5.0404460437E7
AT ITER 1599 NEW BEST:: SOT 254681196 SOS 70295009 HAS SOPS 70088156 HAS SOUS 50364194 HAS SOUPS 50332072 WITH SCORE 5.0402367009E7
AT ITER 1610 NEW BEST:: SOT 254681196 SOS 70295009 HAS SOPS 70088156 HAS SOUS 50362439 HAS SOUPS 50330317 WITH SCORE 5.0400612009E7
AT ITER 1611 NEW BEST:: SOT 254681196 SOS 70295009 HAS SOPS 70088156 HAS SOUS 50361558 HAS SOUPS 50329436 WITH SCORE 5.0399731009E7
AT ITER 1621 NEW BEST:: SOT 254682566 SOS 70296379 HAS SOPS 70089526 HAS SOUS 50361532 HAS SOUPS 50329410 WITH SCORE 5.0399706379E7
AT ITER 1629 NEW BEST:: SOT 254682566 SOS 70295833 HAS SOPS 70088980 HAS SOUS 50360955 HAS SOUPS 50328833 WITH SCORE 5.0399128833E7
AT ITER 1644 NEW BEST:: SOT 254682566 SOS 70294898 HAS SOPS 70088045 HAS SOUS 50360955 HAS SOUPS 50328833 WITH SCORE 5.0399127898E7
AT ITER 1661 NEW BEST:: SOT 254681670 SOS 70294897 HAS SOPS 70088044 HAS SOUS 50360954 HAS SOUPS 50328832 WITH SCORE 5.0399126897E7
AT ITER 1678 NEW BEST:: SOT 254680078 SOS 70292407 HAS SOPS 70085554 HAS SOUS 50360056 HAS SOUPS 50327934 WITH SCORE 5.0398226407E7
AT ITER 1688 NEW BEST:: SOT 254678776 SOS 70292407 HAS SOPS 70085554 HAS SOUS 50358754 HAS SOUPS 50326632 WITH SCORE 5.0396924407E7
AT ITER 1696 NEW BEST:: SOT 254676445 SOS 70291353 HAS SOPS 70084500 HAS SOUS 50355531 HAS SOUPS 50323409 WITH SCORE 5.0393700353E7
AT ITER 1704 NEW BEST:: SOT 254676445 SOS 70290466 HAS SOPS 70083613 HAS SOUS 50354643 HAS SOUPS 50322521 WITH SCORE 5.0392811466E7
AT ITER 1713 NEW BEST:: SOT 254676131 SOS 70290465 HAS SOPS 70083612 HAS SOUS 50354642 HAS SOUPS 50322520 WITH SCORE 5.0392810465E7
AT ITER 1754 NEW BEST:: SOT 254674169 SOS 70288531 HAS SOPS 70081678 HAS SOUS 50352680 HAS SOUPS 50320558 WITH SCORE 5.0390846531E7
AT ITER 1763 NEW BEST:: SOT 254650171 SOS 70350565 HAS SOPS 70140183 HAS SOUS 50332243 HAS SOUPS 50296596 WITH SCORE 5.0366946565E7
AT ITER 1784 NEW BEST:: SOT 254650171 SOS 70350565 HAS SOPS 70140183 HAS SOUS 50332203 HAS SOUPS 50296556 WITH SCORE 5.0366906565E7
AT ITER 1798 NEW BEST:: SOT 254648749 SOS 70349155 HAS SOPS 70138773 HAS SOUS 50330781 HAS SOUPS 50295134 WITH SCORE 5.0365483155E7
AT ITER 1809 NEW BEST:: SOT 254647756 SOS 70349154 HAS SOPS 70138772 HAS SOUS 50330780 HAS SOUPS 50295133 WITH SCORE 5.0365482154E7
AT ITER 1827 NEW BEST:: SOT 254646237 SOS 70349939 HAS SOPS 70139557 HAS SOUS 50330046 HAS SOUPS 50294399 WITH SCORE 5.0364748939E7
AT ITER 1859 NEW BEST:: SOT 254645737 SOS 70349439 HAS SOPS 70139057 HAS SOUS 50329546 HAS SOUPS 50293899 WITH SCORE 5.0364248439E7
AT ITER 1872 NEW BEST:: SOT 254474642 SOS 70376963 HAS SOPS 70166581 HAS SOUS 50165579 HAS SOUPS 50129932 WITH SCORE 5.0200308963E7
AT ITER 1922 NEW BEST:: SOT 254474642 SOS 70376963 HAS SOPS 70166581 HAS SOUS 50164031 HAS SOUPS 50128384 WITH SCORE 5.0198760963E7
AT ITER 1937 NEW BEST:: SOT 254474642 SOS 70375913 HAS SOPS 70165531 HAS SOUS 50162847 HAS SOUPS 50127200 WITH SCORE 5.0197575913E7
AT ITER 1971 NEW BEST:: SOT 254474642 SOS 70374644 HAS SOPS 70164262 HAS SOUS 50162847 HAS SOUPS 50127200 WITH SCORE 5.0197574644E7
AT ITER 1981 NEW BEST:: SOT 254475208 SOS 70375210 HAS SOPS 70164828 HAS SOUS 50161614 HAS SOUPS 50125967 WITH SCORE 5.019634221E7
AT ITER 1983 NEW BEST:: SOT 254475208 SOS 70374848 HAS SOPS 70164466 HAS SOUS 50159502 HAS SOUPS 50123855 WITH SCORE 5.0194229848E7
AT ITER 2007 NEW BEST:: SOT 254475208 SOS 70374848 HAS SOPS 70164466 HAS SOUS 50159500 HAS SOUPS 50123853 WITH SCORE 5.0194227848E7
AT ITER 2044 NEW BEST:: SOT 254474308 SOS 70373951 HAS SOPS 70163569 HAS SOUS 50158600 HAS SOUPS 50122953 WITH SCORE 5.0193326951E7
AT ITER 2076 NEW BEST:: SOT 254474659 SOS 70374302 HAS SOPS 70163920 HAS SOUS 50157045 HAS SOUPS 50121398 WITH SCORE 5.0191772302E7
AT ITER 2083 NEW BEST:: SOT 254472544 SOS 70372217 HAS SOPS 70161835 HAS SOUS 50155809 HAS SOUPS 50120162 WITH SCORE 5.0190534217E7
AT ITER 2127 NEW BEST:: SOT 254472174 SOS 70371847 HAS SOPS 70161465 HAS SOUS 50155439 HAS SOUPS 50119792 WITH SCORE 5.0190163847E7
AT ITER 2143 NEW BEST:: SOT 254469711 SOS 70370843 HAS SOPS 70160461 HAS SOUS 50152110 HAS SOUPS 50116463 WITH SCORE 5.0186833843E7
AT ITER 2159 NEW BEST:: SOT 254469606 SOS 70370842 HAS SOPS 70160460 HAS SOUS 50152109 HAS SOUPS 50116462 WITH SCORE 5.0186832842E7
AT ITER 2176 NEW BEST:: SOT 254469444 SOS 70372201 HAS SOPS 70161819 HAS SOUS 50151785 HAS SOUPS 50116138 WITH SCORE 5.0186510201E7
AT ITER 2189 NEW BEST:: SOT 254469444 SOS 70371314 HAS SOPS 70160932 HAS SOUS 50150011 HAS SOUPS 50114364 WITH SCORE 5.0184735314E7
AT ITER 2198 NEW BEST:: SOT 254468215 SOS 70370085 HAS SOPS 70159703 HAS SOUS 50148782 HAS SOUPS 50113135 WITH SCORE 5.0183505085E7
AT ITER 2202 NEW BEST:: SOT 254467958 SOS 70369828 HAS SOPS 70159446 HAS SOUS 50148525 HAS SOUPS 50112878 WITH SCORE 5.0183247828E7
AT ITER 2206 NEW BEST:: SOT 254467958 SOS 70369033 HAS SOPS 70158651 HAS SOUS 50147708 HAS SOUPS 50112061 WITH SCORE 5.0182430033E7
AT ITER 2218 NEW BEST:: SOT 254466297 SOS 70367372 HAS SOPS 70156990 HAS SOUS 50146047 HAS SOUPS 50110400 WITH SCORE 5.0180767372E7
AT ITER 2236 NEW BEST:: SOT 254466297 SOS 70367298 HAS SOPS 70156916 HAS SOUS 50146047 HAS SOUPS 50110400 WITH SCORE 5.0180767298E7
AT ITER 2237 NEW BEST:: SOT 254464530 SOS 70365530 HAS SOPS 70155148 HAS SOUS 50144279 HAS SOUPS 50108632 WITH SCORE 5.017899753E7
AT ITER 2273 NEW BEST:: SOT 254464387 SOS 70360954 HAS SOPS 70150572 HAS SOUS 50143993 HAS SOUPS 50108346 WITH SCORE 5.0178706954E7
AT ITER 2292 NEW BEST:: SOT 254464372 SOS 70360939 HAS SOPS 70150557 HAS SOUS 50143978 HAS SOUPS 50108331 WITH SCORE 5.0178691939E7
AT ITER 2304 NEW BEST:: SOT 254462764 SOS 70359331 HAS SOPS 70148949 HAS SOUS 50142370 HAS SOUPS 50106723 WITH SCORE 5.0177082331E7
AT ITER 2308 NEW BEST:: SOT 254461502 SOS 70358074 HAS SOPS 70147692 HAS SOUS 50141108 HAS SOUPS 50105461 WITH SCORE 5.0175819074E7
AT ITER 2313 NEW BEST:: SOT 254459683 SOS 70358073 HAS SOPS 70147691 HAS SOUS 50141107 HAS SOUPS 50105460 WITH SCORE 5.0175818073E7
AT ITER 2320 NEW BEST:: SOT 254458634 SOS 70358073 HAS SOPS 70147691 HAS SOUS 50140058 HAS SOUPS 50104411 WITH SCORE 5.0174769073E7
AT ITER 2329 NEW BEST:: SOT 254458618 SOS 70358057 HAS SOPS 70147675 HAS SOUS 50140026 HAS SOUPS 50104379 WITH SCORE 5.0174737057E7
AT ITER 2337 NEW BEST:: SOT 254455358 SOS 70365093 HAS SOPS 70154711 HAS SOUS 50139232 HAS SOUPS 50103585 WITH SCORE 5.0173950093E7
AT ITER 2351 NEW BEST:: SOT 254453908 SOS 70363643 HAS SOPS 70153261 HAS SOUS 50137782 HAS SOUPS 50102135 WITH SCORE 5.0172498643E7
AT ITER 2362 NEW BEST:: SOT 254451572 SOS 70362594 HAS SOPS 70152212 HAS SOUS 50134501 HAS SOUPS 50098854 WITH SCORE 5.0169216594E7
AT ITER 2428 NEW BEST:: SOT 254451572 SOS 70362594 HAS SOPS 70152212 HAS SOUS 50133303 HAS SOUPS 50097656 WITH SCORE 5.0168018594E7
AT ITER 2454 NEW BEST:: SOT 254451572 SOS 70361359 HAS SOPS 70150977 HAS SOUS 50133303 HAS SOUPS 50097656 WITH SCORE 5.0168017359E7
AT ITER 2475 NEW BEST:: SOT 254451572 SOS 70361359 HAS SOPS 70150977 HAS SOUS 50133275 HAS SOUPS 50097628 WITH SCORE 5.0167989359E7
AT ITER 2517 NEW BEST:: SOT 254451572 SOS 70359918 HAS SOPS 70149536 HAS SOUS 50133275 HAS SOUPS 50097628 WITH SCORE 5.0167987918E7
AT ITER 2525 NEW BEST:: SOT 254451670 SOS 70360016 HAS SOPS 70149634 HAS SOUS 50131341 HAS SOUPS 50095694 WITH SCORE 5.0166054016E7
AT ITER 2574 NEW BEST:: SOT 254451670 SOS 70359524 HAS SOPS 70149142 HAS SOUS 50131341 HAS SOUPS 50095694 WITH SCORE 5.0166053524E7
AT ITER 2598 NEW BEST:: SOT 254450938 SOS 70358792 HAS SOPS 70148410 HAS SOUS 50130609 HAS SOUPS 50094962 WITH SCORE 5.0165320792E7
AT ITER 2613 NEW BEST:: SOT 254449838 SOS 70358792 HAS SOPS 70148410 HAS SOUS 50129509 HAS SOUPS 50093862 WITH SCORE 5.0164220792E7
AT ITER 2621 NEW BEST:: SOT 254447487 SOS 70357788 HAS SOPS 70147406 HAS SOUS 50129256 HAS SOUPS 50093609 WITH SCORE 5.0163966788E7
AT ITER 2646 NEW BEST:: SOT 254447487 SOS 70357787 HAS SOPS 70147405 HAS SOUS 50129255 HAS SOUPS 50093608 WITH SCORE 5.0163965787E7
AT ITER 2647 NEW BEST:: SOT 254444579 SOS 70354879 HAS SOPS 70144497 HAS SOUS 50126347 HAS SOUPS 50090700 WITH SCORE 5.0161054879E7
AT ITER 2663 NEW BEST:: SOT 254444954 SOS 70355254 HAS SOPS 70144872 HAS SOUS 50124829 HAS SOUPS 50089182 WITH SCORE 5.0159537254E7
AT ITER 2744 NEW BEST:: SOT 254443779 SOS 70482495 HAS SOPS 70143697 HAS SOUS 50127667 HAS SOUPS 50088007 WITH SCORE 5.0158489495E7
AT ITER 2752 NEW BEST:: SOT 254443986 SOS 70482702 HAS SOPS 70143904 HAS SOUS 50125897 HAS SOUPS 50086237 WITH SCORE 5.0156719702E7
AT ITER 2762 NEW BEST:: SOT 254443986 SOS 70482702 HAS SOPS 70143904 HAS SOUS 50123869 HAS SOUPS 50084209 WITH SCORE 5.0154691702E7
AT ITER 2766 NEW BEST:: SOT 254443986 SOS 70481951 HAS SOPS 70143153 HAS SOUS 50121757 HAS SOUPS 50082097 WITH SCORE 5.0152578951E7
AT ITER 2778 NEW BEST:: SOT 254443986 SOS 70481951 HAS SOPS 70143153 HAS SOUS 50120886 HAS SOUPS 50081226 WITH SCORE 5.0151707951E7
AT ITER 2782 NEW BEST:: SOT 254441296 SOS 70479261 HAS SOPS 70140463 HAS SOUS 50118196 HAS SOUPS 50078536 WITH SCORE 5.0149015261E7
AT ITER 2798 NEW BEST:: SOT 254439183 SOS 70477178 HAS SOPS 70138380 HAS SOUS 50116862 HAS SOUPS 50077202 WITH SCORE 5.0147679178E7
AT ITER 2799 NEW BEST:: SOT 254438146 SOS 70477480 HAS SOPS 70138682 HAS SOUS 50116127 HAS SOUPS 50076467 WITH SCORE 5.014694448E7
AT ITER 2826 NEW BEST:: SOT 254436445 SOS 70475779 HAS SOPS 70136981 HAS SOUS 50114426 HAS SOUPS 50074766 WITH SCORE 5.0145241779E7
AT ITER 2896 NEW BEST:: SOT 254434020 SOS 70475371 HAS SOPS 70136573 HAS SOUS 50111856 HAS SOUPS 50072196 WITH SCORE 5.0142671371E7
AT ITER 2946 NEW BEST:: SOT 254434020 SOS 70475371 HAS SOPS 70136573 HAS SOUS 50109833 HAS SOUPS 50070173 WITH SCORE 5.0140648371E7
AT ITER 2947 NEW BEST:: SOT 254434020 SOS 70475371 HAS SOPS 70136573 HAS SOUS 50108271 HAS SOUPS 50068611 WITH SCORE 5.0139086371E7
AT ITER 2955 NEW BEST:: SOT 254431629 SOS 70472980 HAS SOPS 70134182 HAS SOUS 50105880 HAS SOUPS 50066220 WITH SCORE 5.013669298E7
AT ITER 2961 NEW BEST:: SOT 254431629 SOS 70472868 HAS SOPS 70134070 HAS SOUS 50105768 HAS SOUPS 50066108 WITH SCORE 5.0136580868E7
AT ITER 2962 NEW BEST:: SOT 254431629 SOS 70472868 HAS SOPS 70134070 HAS SOUS 50105215 HAS SOUPS 50065555 WITH SCORE 5.0136027868E7
AT ITER 2993 NEW BEST:: SOT 254429400 SOS 70472073 HAS SOPS 70133275 HAS SOUS 50102196 HAS SOUPS 50062536 WITH SCORE 5.0133008073E7
AT ITER 3028 NEW BEST:: SOT 254429400 SOS 70470820 HAS SOPS 70132022 HAS SOUS 50102195 HAS SOUPS 50062535 WITH SCORE 5.013300582E7
AT ITER 3037 NEW BEST:: SOT 254429400 SOS 70470820 HAS SOPS 70132022 HAS SOUS 50100477 HAS SOUPS 50060817 WITH SCORE 5.013128782E7
AT ITER 3042 NEW BEST:: SOT 254429400 SOS 70470820 HAS SOPS 70132022 HAS SOUS 50099698 HAS SOUPS 50060038 WITH SCORE 5.013050882E7
AT ITER 3053 NEW BEST:: SOT 254426217 SOS 70467637 HAS SOPS 70128839 HAS SOUS 50096515 HAS SOUPS 50056855 WITH SCORE 5.0127322637E7
AT ITER 3075 NEW BEST:: SOT 254423590 SOS 70466898 HAS SOPS 70128100 HAS SOUS 50094724 HAS SOUPS 50055064 WITH SCORE 5.0125530898E7
AT ITER 3153 NEW BEST:: SOT 254423590 SOS 70465885 HAS SOPS 70127087 HAS SOUS 50093695 HAS SOUPS 50054035 WITH SCORE 5.0124500885E7
AT ITER 3163 NEW BEST:: SOT 254272511 SOS 70380767 HAS SOPS 70041868 HAS SOUS 49945951 HAS SOUPS 49906291 WITH SCORE 4.9976671767E7
AT ITER 3192 NEW BEST:: SOT 254271150 SOS 70379432 HAS SOPS 70040533 HAS SOUS 49944590 HAS SOUPS 49904930 WITH SCORE 4.9975309432E7
AT ITER 3194 NEW BEST:: SOT 254271150 SOS 70379432 HAS SOPS 70040533 HAS SOUS 49943654 HAS SOUPS 49903994 WITH SCORE 4.9974373432E7
AT ITER 3233 NEW BEST:: SOT 254269285 SOS 70363478 HAS SOPS 70024579 HAS SOUS 49942324 HAS SOUPS 49902664 WITH SCORE 4.9973027478E7
AT ITER 3240 NEW BEST:: SOT 254269285 SOS 70362532 HAS SOPS 70023633 HAS SOUS 49942324 HAS SOUPS 49902664 WITH SCORE 4.9973026532E7
AT ITER 3251 NEW BEST:: SOT 254269395 SOS 70362642 HAS SOPS 70023743 HAS SOUS 49940415 HAS SOUPS 49900755 WITH SCORE 4.9971117642E7
AT ITER 3280 NEW BEST:: SOT 254267739 SOS 70360986 HAS SOPS 70022087 HAS SOUS 49938759 HAS SOUPS 49899099 WITH SCORE 4.9969459986E7
AT ITER 3286 NEW BEST:: SOT 254266441 SOS 70359688 HAS SOPS 70020789 HAS SOUS 49937461 HAS SOUPS 49897801 WITH SCORE 4.9968160688E7
AT ITER 3326 NEW BEST:: SOT 254264445 SOS 70357720 HAS SOPS 70018821 HAS SOUS 49935465 HAS SOUPS 49895805 WITH SCORE 4.996616272E7
AT ITER 3333 NEW BEST:: SOT 254262146 SOS 70355421 HAS SOPS 70016522 HAS SOUS 49933166 HAS SOUPS 49893506 WITH SCORE 4.9963861421E7
AT ITER 3355 NEW BEST:: SOT 254262146 SOS 70355420 HAS SOPS 70016521 HAS SOUS 49933165 HAS SOUPS 49893505 WITH SCORE 4.996386042E7
AT ITER 3374 NEW BEST:: SOT 254259756 SOS 70353030 HAS SOPS 70014131 HAS SOUS 49930775 HAS SOUPS 49891115 WITH SCORE 4.996146803E7
AT ITER 3394 NEW BEST:: SOT 254259756 SOS 70352394 HAS SOPS 70013495 HAS SOUS 49930775 HAS SOUPS 49891115 WITH SCORE 4.9961467394E7
AT ITER 3448 NEW BEST:: SOT 254259756 SOS 70352394 HAS SOPS 70013495 HAS SOUS 49930158 HAS SOUPS 49890498 WITH SCORE 4.9960850394E7
AT ITER 3503 NEW BEST:: SOT 254258467 SOS 70351105 HAS SOPS 70012206 HAS SOUS 49928869 HAS SOUPS 49889209 WITH SCORE 4.9959560105E7
AT ITER 3514 NEW BEST:: SOT 254258467 SOS 70351105 HAS SOPS 70012206 HAS SOUS 49927059 HAS SOUPS 49887399 WITH SCORE 4.9957750105E7
AT ITER 3610 NEW BEST:: SOT 254258467 SOS 70350499 HAS SOPS 70011600 HAS SOUS 49927059 HAS SOUPS 49887399 WITH SCORE 4.9957749499E7
AT ITER 3616 NEW BEST:: SOT 254256697 SOS 70350709 HAS SOPS 70011810 HAS SOUS 49925499 HAS SOUPS 49885839 WITH SCORE 4.9956189709E7
AT ITER 3627 NEW BEST:: SOT 254254044 SOS 70350068 HAS SOPS 70011169 HAS SOUS 49925191 HAS SOUPS 49885531 WITH SCORE 4.9955881068E7
AT ITER 3628 NEW BEST:: SOT 254252727 SOS 70351201 HAS SOPS 70012302 HAS SOUS 49925007 HAS SOUPS 49885347 WITH SCORE 4.9955698201E7
AT ITER 3636 NEW BEST:: SOT 254253073 SOS 70351547 HAS SOPS 70012648 HAS SOUS 49923444 HAS SOUPS 49883784 WITH SCORE 4.9954135547E7
AT ITER 3684 NEW BEST:: SOT 254253073 SOS 70350688 HAS SOPS 70011789 HAS SOUS 49921334 HAS SOUPS 49881674 WITH SCORE 4.9952024688E7
AT ITER 3694 NEW BEST:: SOT 254252640 SOS 70350263 HAS SOPS 70011364 HAS SOUS 49920901 HAS SOUPS 49881241 WITH SCORE 4.9951591263E7
AT ITER 3711 NEW BEST:: SOT 254252640 SOS 70350083 HAS SOPS 70011184 HAS SOUS 49920901 HAS SOUPS 49881241 WITH SCORE 4.9951591083E7
AT ITER 3744 NEW BEST:: SOT 254249777 SOS 70347220 HAS SOPS 70008321 HAS SOUS 49918038 HAS SOUPS 49878378 WITH SCORE 4.994872522E7
AT ITER 3788 NEW BEST:: SOT 254248464 SOS 70345907 HAS SOPS 70007008 HAS SOUS 49916725 HAS SOUPS 49877065 WITH SCORE 4.9947410907E7
AT ITER 3828 NEW BEST:: SOT 254247051 SOS 70344925 HAS SOPS 70006026 HAS SOUS 49915312 HAS SOUPS 49875652 WITH SCORE 4.9945996925E7
AT ITER 3838 NEW BEST:: SOT 254244937 SOS 70342839 HAS SOPS 70003940 HAS SOUS 49913390 HAS SOUPS 49873730 WITH SCORE 4.9944072839E7
AT ITER 3867 NEW BEST:: SOT 254244937 SOS 70342728 HAS SOPS 70003829 HAS SOUS 49913390 HAS SOUPS 49873730 WITH SCORE 4.9944072728E7
AT ITER 3871 NEW BEST:: SOT 254244358 SOS 70342149 HAS SOPS 70003250 HAS SOUS 49912811 HAS SOUPS 49873151 WITH SCORE 4.9943493149E7
AT ITER 3897 NEW BEST:: SOT 254244358 SOS 70342015 HAS SOPS 70003116 HAS SOUS 49912677 HAS SOUPS 49873017 WITH SCORE 4.9943359015E7
AT ITER 3913 NEW BEST:: SOT 254222262 SOS 70319924 HAS SOPS 69981025 HAS SOUS 49890581 HAS SOUPS 49850921 WITH SCORE 4.9921240924E7
AT ITER 3919 NEW BEST:: SOT 254222262 SOS 70319918 HAS SOPS 69981019 HAS SOUS 49890575 HAS SOUPS 49850915 WITH SCORE 4.9921234918E7
AT ITER 3970 NEW BEST:: SOT 254138635 SOS 70346567 HAS SOPS 70009407 HAS SOUS 49815777 HAS SOUPS 49776117 WITH SCORE 4.9846463567E7
AT ITER 4036 NEW BEST:: SOT 254138635 SOS 70346261 HAS SOPS 70009101 HAS SOUS 49814077 HAS SOUPS 49774417 WITH SCORE 4.9844763261E7
AT ITER 4063 NEW BEST:: SOT 254138635 SOS 70347057 HAS SOPS 70009897 HAS SOUS 49813856 HAS SOUPS 49774196 WITH SCORE 4.9844543057E7
AT ITER 4084 NEW BEST:: SOT 253965739 SOS 70487976 HAS SOPS 70150816 HAS SOUS 49653816 HAS SOUPS 49614156 WITH SCORE 4.9684643976E7
AT ITER 4089 NEW BEST:: SOT 253965739 SOS 70488879 HAS SOPS 70151719 HAS SOUS 49652760 HAS SOUPS 49613100 WITH SCORE 4.9683588879E7
AT ITER 4141 NEW BEST:: SOT 253966728 SOS 70489868 HAS SOPS 70152708 HAS SOUS 49652164 HAS SOUPS 49612504 WITH SCORE 4.9682993868E7
AT ITER 4156 NEW BEST:: SOT 253963937 SOS 70489868 HAS SOPS 70152708 HAS SOUS 49652155 HAS SOUPS 49612495 WITH SCORE 4.9682984868E7
AT ITER 4157 NEW BEST:: SOT 253963087 SOS 70489186 HAS SOPS 70151933 HAS SOUS 49651380 HAS SOUPS 49611720 WITH SCORE 4.9682209186E7
AT ITER 4161 NEW BEST:: SOT 253891867 SOS 70569771 HAS SOPS 70234259 HAS SOUS 49591133 HAS SOUPS 49551473 WITH SCORE 4.9622042771E7
AT ITER 4174 NEW BEST:: SOT 253890949 SOS 70568868 HAS SOPS 70233356 HAS SOUS 49590215 HAS SOUPS 49550555 WITH SCORE 4.9621123868E7
AT ITER 4196 NEW BEST:: SOT 253890949 SOS 70568868 HAS SOPS 70233356 HAS SOUS 49588162 HAS SOUPS 49548502 WITH SCORE 4.9619070868E7
AT ITER 4224 NEW BEST:: SOT 253889217 SOS 70565404 HAS SOPS 70229892 HAS SOUS 49584698 HAS SOUPS 49545038 WITH SCORE 4.9615603404E7
AT ITER 4232 NEW BEST:: SOT 253889217 SOS 70566161 HAS SOPS 70230649 HAS SOUS 49584697 HAS SOUPS 49545037 WITH SCORE 4.9615603161E7
AT ITER 4238 NEW BEST:: SOT 253889217 SOS 70565401 HAS SOPS 70229889 HAS SOUS 49583177 HAS SOUPS 49543517 WITH SCORE 4.9614082401E7
AT ITER 4254 NEW BEST:: SOT 253887594 SOS 70564230 HAS SOPS 70228718 HAS SOUS 49581554 HAS SOUPS 49541894 WITH SCORE 4.961245823E7
AT ITER 4298 NEW BEST:: SOT 253886423 SOS 70737112 HAS SOPS 70227547 HAS SOUS 49585441 HAS SOUPS 49540723 WITH SCORE 4.9611460112E7
AT ITER 4310 NEW BEST:: SOT 253886423 SOS 70736292 HAS SOPS 70226727 HAS SOUS 49584596 HAS SOUPS 49539878 WITH SCORE 4.9610614292E7
AT ITER 4316 NEW BEST:: SOT 253886423 SOS 70734422 HAS SOPS 70224857 HAS SOUS 49584596 HAS SOUPS 49539878 WITH SCORE 4.9610612422E7
AT ITER 4347 NEW BEST:: SOT 253886658 SOS 70734657 HAS SOPS 70225092 HAS SOUS 49582867 HAS SOUPS 49538149 WITH SCORE 4.9608883657E7
AT ITER 4353 NEW BEST:: SOT 253886483 SOS 70734482 HAS SOPS 70224917 HAS SOUS 49582517 HAS SOUPS 49537799 WITH SCORE 4.9608533482E7
AT ITER 4361 NEW BEST:: SOT 253886483 SOS 70735740 HAS SOPS 70226175 HAS SOUS 49581461 HAS SOUPS 49536743 WITH SCORE 4.960747874E7
AT ITER 4387 NEW BEST:: SOT 253886458 SOS 70735715 HAS SOPS 70226150 HAS SOUS 49581436 HAS SOUPS 49536718 WITH SCORE 4.9607453715E7
AT ITER 4458 NEW BEST:: SOT 253886458 SOS 70735715 HAS SOPS 70226150 HAS SOUS 49579460 HAS SOUPS 49534742 WITH SCORE 4.9605477715E7
AT ITER 4485 NEW BEST:: SOT 253886669 SOS 70735903 HAS SOPS 70226338 HAS SOUS 49577542 HAS SOUPS 49532824 WITH SCORE 4.9603559903E7
AT ITER 4500 NEW BEST:: SOT 253886522 SOS 70735609 HAS SOPS 70226191 HAS SOUS 49577395 HAS SOUPS 49532677 WITH SCORE 4.9603412609E7
AT ITER 4508 NEW BEST:: SOT 253882318 SOS 70731405 HAS SOPS 70221987 HAS SOUS 49573191 HAS SOUPS 49528473 WITH SCORE 4.9599204405E7
AT ITER 4523 NEW BEST:: SOT 253882547 SOS 70731013 HAS SOPS 70221595 HAS SOUS 49573028 HAS SOUPS 49528310 WITH SCORE 4.9599041013E7
AT ITER 4532 NEW BEST:: SOT 253881294 SOS 70729776 HAS SOPS 70220358 HAS SOUS 49571775 HAS SOUPS 49527057 WITH SCORE 4.9597786776E7
AT ITER 4587 NEW BEST:: SOT 253881294 SOS 70729776 HAS SOPS 70220358 HAS SOUS 49571164 HAS SOUPS 49526446 WITH SCORE 4.9597175776E7
AT ITER 4591 NEW BEST:: SOT 253880735 SOS 70729217 HAS SOPS 70219799 HAS SOUS 49570605 HAS SOUPS 49525887 WITH SCORE 4.9596616217E7
AT ITER 4595 NEW BEST:: SOT 253880122 SOS 70728604 HAS SOPS 70219186 HAS SOUS 49570180 HAS SOUPS 49525462 WITH SCORE 4.9596190604E7
AT ITER 4597 NEW BEST:: SOT 253880122 SOS 70728604 HAS SOPS 70219186 HAS SOUS 49568245 HAS SOUPS 49523527 WITH SCORE 4.9594255604E7
AT ITER 4619 NEW BEST:: SOT 253880122 SOS 70728604 HAS SOPS 70219186 HAS SOUS 49566687 HAS SOUPS 49521969 WITH SCORE 4.9592697604E7
AT ITER 4638 NEW BEST:: SOT 253878883 SOS 70729223 HAS SOPS 70219805 HAS SOUS 49566067 HAS SOUPS 49521349 WITH SCORE 4.9592078223E7
AT ITER 4651 NEW BEST:: SOT 253877592 SOS 70729223 HAS SOPS 70219805 HAS SOUS 49564776 HAS SOUPS 49520058 WITH SCORE 4.9590787223E7
AT ITER 4652 NEW BEST:: SOT 253877592 SOS 70729223 HAS SOPS 70219805 HAS SOUS 49562781 HAS SOUPS 49518063 WITH SCORE 4.9588792223E7
AT ITER 4664 NEW BEST:: SOT 253876567 SOS 70728214 HAS SOPS 70218796 HAS SOUS 49561756 HAS SOUPS 49517038 WITH SCORE 4.9587766214E7
AT ITER 4692 NEW BEST:: SOT 253876689 SOS 70728336 HAS SOPS 70218918 HAS SOUS 49559857 HAS SOUPS 49515139 WITH SCORE 4.9585867336E7
AT ITER 4718 NEW BEST:: SOT 253831057 SOS 70684175 HAS SOPS 70174757 HAS SOUS 49515696 HAS SOUPS 49470978 WITH SCORE 4.9541662175E7
AT ITER 4738 NEW BEST:: SOT 253831057 SOS 70684175 HAS SOPS 70174757 HAS SOUS 49514102 HAS SOUPS 49469384 WITH SCORE 4.9540068175E7
AT ITER 4773 NEW BEST:: SOT 253829617 SOS 70682734 HAS SOPS 70173316 HAS SOUS 49514101 HAS SOUPS 49469383 WITH SCORE 4.9540065734E7
AT ITER 4793 NEW BEST:: SOT 253825540 SOS 70675250 HAS SOPS 70165832 HAS SOUS 49509928 HAS SOUPS 49465210 WITH SCORE 4.953588525E7
AT ITER 4801 NEW BEST:: SOT 253826356 SOS 70676066 HAS SOPS 70166648 HAS SOUS 49509072 HAS SOUPS 49464354 WITH SCORE 4.9535030066E7
AT ITER 4802 NEW BEST:: SOT 253823653 SOS 70673363 HAS SOPS 70163945 HAS SOUS 49506369 HAS SOUPS 49461651 WITH SCORE 4.9532324363E7
AT ITER 4816 NEW BEST:: SOT 253823653 SOS 70673363 HAS SOPS 70163945 HAS SOUS 49505501 HAS SOUPS 49460783 WITH SCORE 4.9531456363E7
AT ITER 4819 NEW BEST:: SOT 253822797 SOS 70671651 HAS SOPS 70162233 HAS SOUS 49504645 HAS SOUPS 49459927 WITH SCORE 4.9530598651E7
AT ITER 4852 NEW BEST:: SOT 253822797 SOS 70671651 HAS SOPS 70162233 HAS SOUS 49504436 HAS SOUPS 49459718 WITH SCORE 4.9530389651E7
AT ITER 4863 NEW BEST:: SOT 253820910 SOS 70655428 HAS SOPS 70146010 HAS SOUS 49503069 HAS SOUPS 49458351 WITH SCORE 4.9529006428E7
AT ITER 4945 NEW BEST:: SOT 253819267 SOS 70652889 HAS SOPS 70143471 HAS SOUS 49502173 HAS SOUPS 49457455 WITH SCORE 4.9528107889E7
AT ITER 4966 NEW BEST:: SOT 253653704 SOS 70779405 HAS SOPS 70269987 HAS SOUS 49351024 HAS SOUPS 49306306 WITH SCORE 4.9377085405E7
AT ITER 4972 NEW BEST:: SOT 253653246 SOS 70778489 HAS SOPS 70269071 HAS SOUS 49350108 HAS SOUPS 49305390 WITH SCORE 4.9376168489E7
AT ITER 4990 NEW BEST:: SOT 253653429 SOS 70778672 HAS SOPS 70269254 HAS SOUS 49348302 HAS SOUPS 49303584 WITH SCORE 4.9374362672E7
AT ITER 4991 NEW BEST:: SOT 253653429 SOS 70777968 HAS SOPS 70268550 HAS SOUS 49346894 HAS SOUPS 49302176 WITH SCORE 4.9372953968E7
AT ITER 5026 NEW BEST:: SOT 253649044 SOS 70777968 HAS SOPS 70264165 HAS SOUS 49342509 HAS SOUPS 49297791 WITH SCORE 4.9368568968E7
AT ITER 5039 NEW BEST:: SOT 253648109 SOS 70777967 HAS SOPS 70264164 HAS SOUS 49342508 HAS SOUPS 49297790 WITH SCORE 4.9368567967E7
AT ITER 5050 NEW BEST:: SOT 253648109 SOS 70777024 HAS SOPS 70263221 HAS SOUS 49340453 HAS SOUPS 49295735 WITH SCORE 4.9366512024E7
AT ITER 5075 NEW BEST:: SOT 253648109 SOS 70777083 HAS SOPS 70263280 HAS SOUS 49340157 HAS SOUPS 49295439 WITH SCORE 4.9366216083E7
AT ITER 5087 NEW BEST:: SOT 253647136 SOS 70776129 HAS SOPS 70262326 HAS SOUS 49339184 HAS SOUPS 49294466 WITH SCORE 4.9365242129E7
AT ITER 5102 NEW BEST:: SOT 253645410 SOS 70774403 HAS SOPS 70260600 HAS SOUS 49337458 HAS SOUPS 49292740 WITH SCORE 4.9363514403E7
AT ITER 5108 NEW BEST:: SOT 253644655 SOS 70773648 HAS SOPS 70259845 HAS SOUS 49336703 HAS SOUPS 49291985 WITH SCORE 4.9362758648E7
AT ITER 5166 NEW BEST:: SOT 253642387 SOS 70772969 HAS SOPS 70259166 HAS SOUS 49336186 HAS SOUPS 49291468 WITH SCORE 4.9362240969E7
AT ITER 5192 NEW BEST:: SOT 253642768 SOS 70773350 HAS SOPS 70259547 HAS SOUS 49334676 HAS SOUPS 49289958 WITH SCORE 4.936073135E7
AT ITER 5193 NEW BEST:: SOT 253642768 SOS 70774080 HAS SOPS 70260277 HAS SOUS 49333620 HAS SOUPS 49288902 WITH SCORE 4.935967608E7
AT ITER 5209 NEW BEST:: SOT 253642055 SOS 70772548 HAS SOPS 70258745 HAS SOUS 49332314 HAS SOUPS 49287596 WITH SCORE 4.9358368548E7
AT ITER 5270 NEW BEST:: SOT 253641617 SOS 70772110 HAS SOPS 70258307 HAS SOUS 49331876 HAS SOUPS 49287158 WITH SCORE 4.935793011E7
AT ITER 5305 NEW BEST:: SOT 253644916 SOS 70773008 HAS SOPS 70261623 HAS SOUS 49330842 HAS SOUPS 49286333 WITH SCORE 4.9357106008E7
AT ITER 5314 NEW BEST:: SOT 253644916 SOS 70774299 HAS SOPS 70262914 HAS SOUS 49329786 HAS SOUPS 49285277 WITH SCORE 4.9356051299E7
AT ITER 5324 NEW BEST:: SOT 253637750 SOS 70879404 HAS SOPS 70368336 HAS SOUS 49326800 HAS SOUPS 49282291 WITH SCORE 4.9353170404E7
AT ITER 5346 NEW BEST:: SOT 253637750 SOS 70878740 HAS SOPS 70367672 HAS SOUS 49325501 HAS SOUPS 49280992 WITH SCORE 4.935187074E7
AT ITER 5348 NEW BEST:: SOT 253635635 SOS 70876656 HAS SOPS 70365588 HAS SOUS 49323908 HAS SOUPS 49279399 WITH SCORE 4.9350275656E7
AT ITER 5357 NEW BEST:: SOT 253635635 SOS 70875759 HAS SOPS 70364691 HAS SOUS 49321852 HAS SOUPS 49277343 WITH SCORE 4.9348218759E7
AT ITER 5404 NEW BEST:: SOT 253635635 SOS 70875759 HAS SOPS 70364691 HAS SOUS 49320550 HAS SOUPS 49276041 WITH SCORE 4.9346916759E7
AT ITER 5420 NEW BEST:: SOT 253633521 SOS 70873675 HAS SOPS 70362607 HAS SOUS 49318812 HAS SOUPS 49274303 WITH SCORE 4.9345176675E7
AT ITER 5423 NEW BEST:: SOT 253633521 SOS 70873675 HAS SOPS 70362607 HAS SOUS 49317149 HAS SOUPS 49272640 WITH SCORE 4.9343513675E7
AT ITER 5432 NEW BEST:: SOT 253565454 SOS 70924561 HAS SOPS 70415237 HAS SOUS 49253861 HAS SOUPS 49209352 WITH SCORE 4.9280276561E7
AT ITER 5442 NEW BEST:: SOT 253565454 SOS 70924561 HAS SOPS 70415237 HAS SOUS 49252738 HAS SOUPS 49208229 WITH SCORE 4.9279153561E7
AT ITER 5451 NEW BEST:: SOT 253564515 SOS 70923785 HAS SOPS 70414461 HAS SOUS 49251799 HAS SOUPS 49207290 WITH SCORE 4.9278213785E7
AT ITER 5467 NEW BEST:: SOT 253564812 SOS 70924082 HAS SOPS 70414758 HAS SOUS 49250162 HAS SOUPS 49205653 WITH SCORE 4.9276577082E7
AT ITER 5508 NEW BEST:: SOT 253563938 SOS 70923208 HAS SOPS 70413884 HAS SOUS 49249288 HAS SOUPS 49204779 WITH SCORE 4.9275702208E7
AT ITER 5524 NEW BEST:: SOT 253559994 SOS 70919264 HAS SOPS 70409940 HAS SOUS 49245344 HAS SOUPS 49200835 WITH SCORE 4.9271754264E7
AT ITER 5536 NEW BEST:: SOT 253559994 SOS 70918845 HAS SOPS 70409521 HAS SOUS 49245344 HAS SOUPS 49200835 WITH SCORE 4.9271753845E7
AT ITER 5548 NEW BEST:: SOT 253559994 SOS 70918460 HAS SOPS 70409136 HAS SOUS 49244936 HAS SOUPS 49200427 WITH SCORE 4.927134546E7
AT ITER 5555 NEW BEST:: SOT 253559994 SOS 70918460 HAS SOPS 70409136 HAS SOUS 49243582 HAS SOUPS 49199073 WITH SCORE 4.926999146E7
AT ITER 5582 NEW BEST:: SOT 253559994 SOS 70918460 HAS SOPS 70409136 HAS SOUS 49241985 HAS SOUPS 49197476 WITH SCORE 4.926839446E7
AT ITER 5591 NEW BEST:: SOT 253557055 SOS 70917409 HAS SOPS 70408085 HAS SOUS 49238016 HAS SOUPS 49193507 WITH SCORE 4.9264424409E7
AT ITER 5622 NEW BEST:: SOT 253556922 SOS 70917276 HAS SOPS 70407952 HAS SOUS 49237883 HAS SOUPS 49193374 WITH SCORE 4.9264291276E7
AT ITER 5629 NEW BEST:: SOT 253554228 SOS 70916442 HAS SOPS 70407118 HAS SOUS 49235536 HAS SOUPS 49191027 WITH SCORE 4.9261943442E7
AT ITER 5644 NEW BEST:: SOT 253553863 SOS 70916441 HAS SOPS 70407117 HAS SOUS 49235535 HAS SOUPS 49191026 WITH SCORE 4.9261942441E7
AT ITER 5676 NEW BEST:: SOT 253553863 SOS 70917304 HAS SOPS 70407980 HAS SOUS 49234479 HAS SOUPS 49189970 WITH SCORE 4.9260887304E7
AT ITER 5680 NEW BEST:: SOT 253550931 SOS 70916365 HAS SOPS 70407041 HAS SOUS 49230894 HAS SOUPS 49186385 WITH SCORE 4.9257301365E7
AT ITER 5689 NEW BEST:: SOT 253550262 SOS 70915698 HAS SOPS 70406374 HAS SOUS 49230225 HAS SOUPS 49185716 WITH SCORE 4.9256631698E7
AT ITER 5740 NEW BEST:: SOT 253550262 SOS 70915698 HAS SOPS 70406374 HAS SOUS 49228707 HAS SOUPS 49184198 WITH SCORE 4.9255113698E7
AT ITER 5777 NEW BEST:: SOT 253550262 SOS 70914995 HAS SOPS 70405671 HAS SOUS 49227301 HAS SOUPS 49182792 WITH SCORE 4.9253706995E7
AT ITER 5784 NEW BEST:: SOT 253550262 SOS 70914995 HAS SOPS 70405671 HAS SOUS 49225966 HAS SOUPS 49181457 WITH SCORE 4.9252371995E7
AT ITER 5790 NEW BEST:: SOT 253548582 SOS 70912428 HAS SOPS 70403104 HAS SOUS 49225079 HAS SOUPS 49180570 WITH SCORE 4.9251482428E7
AT ITER 5794 NEW BEST:: SOT 253548582 SOS 70911391 HAS SOPS 70402067 HAS SOUS 49222967 HAS SOUPS 49178458 WITH SCORE 4.9249369391E7
AT ITER 5829 NEW BEST:: SOT 253548582 SOS 70911268 HAS SOPS 70401944 HAS SOUS 49222844 HAS SOUPS 49178335 WITH SCORE 4.9249246268E7
AT ITER 5858 NEW BEST:: SOT 253548582 SOS 70910759 HAS SOPS 70401435 HAS SOUS 49222325 HAS SOUPS 49177816 WITH SCORE 4.9248726759E7
AT ITER 5869 NEW BEST:: SOT 253548796 SOS 70910973 HAS SOPS 70401649 HAS SOUS 49220566 HAS SOUPS 49176057 WITH SCORE 4.9246967973E7
AT ITER 5871 NEW BEST:: SOT 253548796 SOS 70910973 HAS SOPS 70401649 HAS SOUS 49218671 HAS SOUPS 49174162 WITH SCORE 4.9245072973E7
AT ITER 5879 NEW BEST:: SOT 253548895 SOS 70911072 HAS SOPS 70401748 HAS SOUS 49216739 HAS SOUPS 49172230 WITH SCORE 4.9243141072E7
AT ITER 5892 NEW BEST:: SOT 253548895 SOS 70910359 HAS SOPS 70401035 HAS SOUS 49215995 HAS SOUPS 49171486 WITH SCORE 4.9242396359E7
AT ITER 5901 NEW BEST:: SOT 253549582 SOS 70911046 HAS SOPS 70401722 HAS SOUS 49214944 HAS SOUPS 49170435 WITH SCORE 4.9241346046E7
AT ITER 5914 NEW BEST:: SOT 253550738 SOS 70912202 HAS SOPS 70402878 HAS SOUS 49214597 HAS SOUPS 49170088 WITH SCORE 4.9241000202E7
AT ITER 5930 NEW BEST:: SOT 253549537 SOS 70912769 HAS SOPS 70403445 HAS SOUS 49213963 HAS SOUPS 49169454 WITH SCORE 4.9240366769E7
AT ITER 5950 NEW BEST:: SOT 253547543 SOS 70911442 HAS SOPS 70402118 HAS SOUS 49212636 HAS SOUPS 49168127 WITH SCORE 4.9239038442E7
AT ITER 5952 NEW BEST:: SOT 253547543 SOS 70911442 HAS SOPS 70402118 HAS SOUS 49212106 HAS SOUPS 49167597 WITH SCORE 4.9238508442E7
AT ITER 5964 NEW BEST:: SOT 253547543 SOS 70911528 HAS SOPS 70402204 HAS SOUS 49211506 HAS SOUPS 49166997 WITH SCORE 4.9237908528E7
AT ITER 5986 NEW BEST:: SOT 253547971 SOS 70911956 HAS SOPS 70402632 HAS SOUS 49210725 HAS SOUPS 49166216 WITH SCORE 4.9237127956E7
AT ITER 5989 NEW BEST:: SOT 253546160 SOS 70910848 HAS SOPS 70401524 HAS SOUS 49206769 HAS SOUPS 49162260 WITH SCORE 4.9233170848E7
AT ITER 6015 NEW BEST:: SOT 253546160 SOS 70910848 HAS SOPS 70401524 HAS SOUS 49205562 HAS SOUPS 49161053 WITH SCORE 4.9231963848E7
AT ITER 6037 NEW BEST:: SOT 253546571 SOS 70911259 HAS SOPS 70401935 HAS SOUS 49204098 HAS SOUPS 49159589 WITH SCORE 4.9230500259E7
AT ITER 6052 NEW BEST:: SOT 253546571 SOS 70910861 HAS SOPS 70401537 HAS SOUS 49203698 HAS SOUPS 49159189 WITH SCORE 4.9230099861E7
AT ITER 6055 NEW BEST:: SOT 253546571 SOS 70909921 HAS SOPS 70400597 HAS SOUS 49202241 HAS SOUPS 49157732 WITH SCORE 4.9228641921E7
AT ITER 6073 NEW BEST:: SOT 253544718 SOS 70908095 HAS SOPS 70398771 HAS SOUS 49199503 HAS SOUPS 49154994 WITH SCORE 4.9225902095E7
AT ITER 6077 NEW BEST:: SOT 253464183 SOS 71012227 HAS SOPS 70504643 HAS SOUS 49130094 HAS SOUPS 49085585 WITH SCORE 4.9156597227E7
AT ITER 6096 NEW BEST:: SOT 253465032 SOS 71013076 HAS SOPS 70505492 HAS SOUS 49129285 HAS SOUPS 49084776 WITH SCORE 4.9155789076E7
AT ITER 6109 NEW BEST:: SOT 253463900 SOS 71013076 HAS SOPS 70505492 HAS SOUS 49128153 HAS SOUPS 49083644 WITH SCORE 4.9154657076E7
AT ITER 6110 NEW BEST:: SOT 253460762 SOS 71010485 HAS SOPS 70502901 HAS SOUS 49125416 HAS SOUPS 49080907 WITH SCORE 4.9151917485E7
AT ITER 6139 NEW BEST:: SOT 253460703 SOS 71010367 HAS SOPS 70502783 HAS SOUS 49125357 HAS SOUPS 49080848 WITH SCORE 4.9151858367E7
AT ITER 6149 NEW BEST:: SOT 253460703 SOS 71010033 HAS SOPS 70502449 HAS SOUS 49124689 HAS SOUPS 49080180 WITH SCORE 4.9151190033E7
AT ITER 6176 NEW BEST:: SOT 253458567 SOS 71010059 HAS SOPS 70502475 HAS SOUS 49122553 HAS SOUPS 49078044 WITH SCORE 4.9149054059E7
AT ITER 6202 NEW BEST:: SOT 253457612 SOS 71010059 HAS SOPS 70502475 HAS SOUS 49121598 HAS SOUPS 49077089 WITH SCORE 4.9148099059E7
AT ITER 6230 NEW BEST:: SOT 253454681 SOS 71007128 HAS SOPS 70499544 HAS SOUS 49118667 HAS SOUPS 49074158 WITH SCORE 4.9145165128E7
AT ITER 6258 NEW BEST:: SOT 253455881 SOS 71008328 HAS SOPS 70500744 HAS SOUS 49118387 HAS SOUPS 49073878 WITH SCORE 4.9144886328E7
AT ITER 6295 NEW BEST:: SOT 253453544 SOS 71007435 HAS SOPS 70499851 HAS SOUS 49115384 HAS SOUPS 49070875 WITH SCORE 4.9141882435E7
AT ITER 6296 NEW BEST:: SOT 253453544 SOS 71007691 HAS SOPS 70500107 HAS SOUS 49115383 HAS SOUPS 49070874 WITH SCORE 4.9141881691E7
AT ITER 6316 NEW BEST:: SOT 253452280 SOS 71007690 HAS SOPS 70500106 HAS SOUS 49115382 HAS SOUPS 49070873 WITH SCORE 4.914188069E7
AT ITER 6369 NEW BEST:: SOT 253452405 SOS 71007815 HAS SOPS 70500231 HAS SOUS 49113489 HAS SOUPS 49068980 WITH SCORE 4.9139987815E7
AT ITER 6386 NEW BEST:: SOT 253451058 SOS 71007815 HAS SOPS 70500231 HAS SOUS 49112142 HAS SOUPS 49067633 WITH SCORE 4.9138640815E7
AT ITER 6408 NEW BEST:: SOT 253451058 SOS 71007815 HAS SOPS 70500231 HAS SOUS 49110982 HAS SOUPS 49066473 WITH SCORE 4.9137480815E7
AT ITER 6424 NEW BEST:: SOT 253451058 SOS 71007504 HAS SOPS 70499920 HAS SOUS 49110640 HAS SOUPS 49066131 WITH SCORE 4.9137138504E7
AT ITER 6432 NEW BEST:: SOT 253450476 SOS 71006340 HAS SOPS 70498756 HAS SOUS 49110058 HAS SOUPS 49065549 WITH SCORE 4.913655534E7
AT ITER 6439 NEW BEST:: SOT 253447477 SOS 71007839 HAS SOPS 70500255 HAS SOUS 49108755 HAS SOUPS 49064246 WITH SCORE 4.9135253839E7
AT ITER 6447 NEW BEST:: SOT 253446789 SOS 71007150 HAS SOPS 70499566 HAS SOUS 49108754 HAS SOUPS 49064245 WITH SCORE 4.913525215E7
AT ITER 6465 NEW BEST:: SOT 253446789 SOS 71007150 HAS SOPS 70499566 HAS SOUS 49106925 HAS SOUPS 49062416 WITH SCORE 4.913342315E7
AT ITER 6468 NEW BEST:: SOT 253446789 SOS 71006230 HAS SOPS 70498646 HAS SOUS 49104564 HAS SOUPS 49060055 WITH SCORE 4.913106123E7
AT ITER 6487 NEW BEST:: SOT 253446789 SOS 71006230 HAS SOPS 70498646 HAS SOUS 49102886 HAS SOUPS 49058377 WITH SCORE 4.912938323E7
AT ITER 6495 NEW BEST:: SOT 253444156 SOS 71003597 HAS SOPS 70496013 HAS SOUS 49100253 HAS SOUPS 49055744 WITH SCORE 4.9126747597E7
AT ITER 6535 NEW BEST:: SOT 253444156 SOS 71003597 HAS SOPS 70496013 HAS SOUS 49098798 HAS SOUPS 49054289 WITH SCORE 4.9125292597E7
AT ITER 6540 NEW BEST:: SOT 253444156 SOS 71002939 HAS SOPS 70495355 HAS SOUS 49098140 HAS SOUPS 49053631 WITH SCORE 4.9124633939E7
AT ITER 6572 NEW BEST:: SOT 253443169 SOS 70970500 HAS SOPS 70462916 HAS SOUS 49096298 HAS SOUPS 49051789 WITH SCORE 4.91227595E7
AT ITER 6677 NEW BEST:: SOT 253441784 SOS 70969566 HAS SOPS 70461982 HAS SOUS 49094913 HAS SOUPS 49050404 WITH SCORE 4.9121373566E7
AT ITER 6684 NEW BEST:: SOT 253440595 SOS 70970226 HAS SOPS 70462642 HAS SOUS 49094362 HAS SOUPS 49049853 WITH SCORE 4.9120823226E7
AT ITER 6696 NEW BEST:: SOT 253440595 SOS 70970226 HAS SOPS 70462642 HAS SOUS 49093761 HAS SOUPS 49049252 WITH SCORE 4.9120222226E7
AT ITER 6721 NEW BEST:: SOT 253439491 SOS 70970447 HAS SOPS 70462863 HAS SOUS 49092988 HAS SOUPS 49048479 WITH SCORE 4.9119449447E7
AT ITER 6729 NEW BEST:: SOT 253430205 SOS 71053415 HAS SOPS 70545831 HAS SOUS 49091567 HAS SOUPS 49047058 WITH SCORE 4.9118111415E7
AT ITER 6740 NEW BEST:: SOT 253387349 SOS 71109483 HAS SOPS 70601899 HAS SOUS 49053160 HAS SOUPS 49008651 WITH SCORE 4.9079760483E7
AT ITER 6750 NEW BEST:: SOT 253384874 SOS 71108430 HAS SOPS 70600846 HAS SOUS 49049629 HAS SOUPS 49005120 WITH SCORE 4.907622843E7
AT ITER 6759 NEW BEST:: SOT 253383829 SOS 71107819 HAS SOPS 70600235 HAS SOUS 49048584 HAS SOUPS 49004075 WITH SCORE 4.9075182819E7
AT ITER 6827 NEW BEST:: SOT 253383829 SOS 71107819 HAS SOPS 70600235 HAS SOUS 49046726 HAS SOUPS 49002217 WITH SCORE 4.9073324819E7
AT ITER 6845 NEW BEST:: SOT 253383829 SOS 71107819 HAS SOPS 70600235 HAS SOUS 49044653 HAS SOUPS 49000144 WITH SCORE 4.9071251819E7
AT ITER 6849 NEW BEST:: SOT 253383185 SOS 71106150 HAS SOPS 70598566 HAS SOUS 49043365 HAS SOUPS 48998856 WITH SCORE 4.906996215E7
AT ITER 6868 NEW BEST:: SOT 253383185 SOS 71106150 HAS SOPS 70598566 HAS SOUS 49043037 HAS SOUPS 48998528 WITH SCORE 4.906963415E7
AT ITER 6888 NEW BEST:: SOT 253380656 SOS 71105098 HAS SOPS 70597514 HAS SOUS 49040833 HAS SOUPS 48996324 WITH SCORE 4.9067429098E7
AT ITER 6900 NEW BEST:: SOT 253380656 SOS 71105098 HAS SOPS 70597514 HAS SOUS 49039520 HAS SOUPS 48995011 WITH SCORE 4.9066116098E7
AT ITER 6932 NEW BEST:: SOT 253377570 SOS 71102012 HAS SOPS 70594428 HAS SOUS 49036434 HAS SOUPS 48991925 WITH SCORE 4.9063027012E7
AT ITER 6961 NEW BEST:: SOT 253368805 SOS 71135220 HAS SOPS 70627586 HAS SOUS 49030248 HAS SOUPS 48985739 WITH SCORE 4.905687422E7
AT ITER 7002 NEW BEST:: SOT 253366200 SOS 71130010 HAS SOPS 70622376 HAS SOUS 49027643 HAS SOUPS 48983134 WITH SCORE 4.905426401E7
AT ITER 7007 NEW BEST:: SOT 253366200 SOS 71129203 HAS SOPS 70621569 HAS SOUS 49026029 HAS SOUPS 48981520 WITH SCORE 4.9052649203E7
AT ITER 7018 NEW BEST:: SOT 253365639 SOS 71128081 HAS SOPS 70620447 HAS SOUS 49025468 HAS SOUPS 48980959 WITH SCORE 4.9052087081E7
AT ITER 7029 NEW BEST:: SOT 253366536 SOS 71128978 HAS SOPS 70621344 HAS SOUS 49024732 HAS SOUPS 48980223 WITH SCORE 4.9051351978E7
AT ITER 7038 NEW BEST:: SOT 253364462 SOS 71126932 HAS SOPS 70619298 HAS SOUS 49022658 HAS SOUPS 48978149 WITH SCORE 4.9049275932E7
AT ITER 7060 NEW BEST:: SOT 253365425 SOS 71127895 HAS SOPS 70620261 HAS SOUS 49022022 HAS SOUPS 48977513 WITH SCORE 4.9048640895E7
AT ITER 7121 NEW BEST:: SOT 253366434 SOS 71128904 HAS SOPS 70621270 HAS SOUS 49021455 HAS SOUPS 48976946 WITH SCORE 4.9048074904E7
AT ITER 7158 NEW BEST:: SOT 253366434 SOS 71128904 HAS SOPS 70621270 HAS SOUS 49020466 HAS SOUPS 48975957 WITH SCORE 4.9047085904E7
AT ITER 7178 NEW BEST:: SOT 253241454 SOS 71044147 HAS SOPS 70536513 HAS SOUS 48900548 HAS SOUPS 48856039 WITH SCORE 4.8927083147E7
AT ITER 7180 NEW BEST:: SOT 253241454 SOS 71044147 HAS SOPS 70536513 HAS SOUS 48899289 HAS SOUPS 48854780 WITH SCORE 4.8925824147E7
AT ITER 7182 NEW BEST:: SOT 253241454 SOS 71043729 HAS SOPS 70536095 HAS SOUS 48898868 HAS SOUPS 48854359 WITH SCORE 4.8925402729E7
AT ITER 7189 NEW BEST:: SOT 253257469 SOS 71059302 HAS SOPS 70482691 HAS SOUS 48888591 HAS SOUPS 48802455 WITH SCORE 4.8873514302E7
AT ITER 7198 NEW BEST:: SOT 253256526 SOS 71058359 HAS SOPS 70481748 HAS SOUS 48887648 HAS SOUPS 48801512 WITH SCORE 4.8872570359E7
AT ITER 7203 NEW BEST:: SOT 253256526 SOS 71057765 HAS SOPS 70481154 HAS SOUS 48886460 HAS SOUPS 48800324 WITH SCORE 4.8871381765E7
AT ITER 7227 NEW BEST:: SOT 253256526 SOS 71057765 HAS SOPS 70481154 HAS SOUS 48885084 HAS SOUPS 48798948 WITH SCORE 4.8870005765E7
AT ITER 7233 NEW BEST:: SOT 253255479 SOS 71057764 HAS SOPS 70481153 HAS SOUS 48885083 HAS SOUPS 48798947 WITH SCORE 4.8870004764E7
AT ITER 7234 NEW BEST:: SOT 253255260 SOS 71057545 HAS SOPS 70480934 HAS SOUS 48884864 HAS SOUPS 48798728 WITH SCORE 4.8869785545E7
AT ITER 7243 NEW BEST:: SOT 253253981 SOS 71058219 HAS SOPS 70481608 HAS SOUS 48884259 HAS SOUPS 48798123 WITH SCORE 4.8869181219E7
AT ITER 7244 NEW BEST:: SOT 253254311 SOS 71058549 HAS SOPS 70481938 HAS SOUS 48882673 HAS SOUPS 48796537 WITH SCORE 4.8867595549E7
AT ITER 7251 NEW BEST:: SOT 253251943 SOS 71057688 HAS SOPS 70481077 HAS SOUS 48879900 HAS SOUPS 48793764 WITH SCORE 4.8864821688E7
AT ITER 7276 NEW BEST:: SOT 253251943 SOS 71057688 HAS SOPS 70481077 HAS SOUS 48879872 HAS SOUPS 48793736 WITH SCORE 4.8864793688E7
AT ITER 7289 NEW BEST:: SOT 253251943 SOS 71057688 HAS SOPS 70481077 HAS SOUS 48878527 HAS SOUPS 48792391 WITH SCORE 4.8863448688E7
AT ITER 7325 NEW BEST:: SOT 253248629 SOS 71054374 HAS SOPS 70477763 HAS SOUS 48875213 HAS SOUPS 48789077 WITH SCORE 4.8860131374E7
AT ITER 7341 NEW BEST:: SOT 253248629 SOS 71054374 HAS SOPS 70477763 HAS SOUS 48874079 HAS SOUPS 48787943 WITH SCORE 4.8858997374E7
AT ITER 7345 NEW BEST:: SOT 253247931 SOS 71053826 HAS SOPS 70477115 HAS SOUS 48873431 HAS SOUPS 48787295 WITH SCORE 4.8858348826E7
AT ITER 7358 NEW BEST:: SOT 253246734 SOS 71053908 HAS SOPS 70477197 HAS SOUS 48872316 HAS SOUPS 48786180 WITH SCORE 4.8857233908E7
AT ITER 7391 NEW BEST:: SOT 253246989 SOS 71054163 HAS SOPS 70477452 HAS SOUS 48870618 HAS SOUPS 48784482 WITH SCORE 4.8855536163E7
AT ITER 7408 NEW BEST:: SOT 253245543 SOS 71051271 HAS SOPS 70474560 HAS SOUS 48869172 HAS SOUPS 48783036 WITH SCORE 4.8854087271E7
AT ITER 7433 NEW BEST:: SOT 253245301 SOS 71050908 HAS SOPS 70474197 HAS SOUS 48868809 HAS SOUPS 48782673 WITH SCORE 4.8853723908E7
AT ITER 7438 NEW BEST:: SOT 253243931 SOS 71050908 HAS SOPS 70474197 HAS SOUS 48867439 HAS SOUPS 48781303 WITH SCORE 4.8852353908E7
AT ITER 7441 NEW BEST:: SOT 253243162 SOS 71050907 HAS SOPS 70474196 HAS SOUS 48867438 HAS SOUPS 48781302 WITH SCORE 4.8852352907E7
AT ITER 7443 NEW BEST:: SOT 251793492 SOS 71517281 HAS SOPS 70940570 HAS SOUS 47419081 HAS SOUPS 47332945 WITH SCORE 4.7404462281E7
AT ITER 7519 NEW BEST:: SOT 251792570 SOS 71518733 HAS SOPS 70942022 HAS SOUS 47418656 HAS SOUPS 47332520 WITH SCORE 4.7404038733E7
AT ITER 7525 NEW BEST:: SOT 251789418 SOS 71516298 HAS SOPS 70939460 HAS SOUS 47416094 HAS SOUPS 47329958 WITH SCORE 4.7401474298E7
AT ITER 7554 NEW BEST:: SOT 251789418 SOS 71516298 HAS SOPS 70939460 HAS SOUS 47414543 HAS SOUPS 47328407 WITH SCORE 4.7399923298E7
AT ITER 7564 NEW BEST:: SOT 251789575 SOS 71516455 HAS SOPS 70939617 HAS SOUS 47413726 HAS SOUPS 47327590 WITH SCORE 4.7399106455E7
AT ITER 7608 NEW BEST:: SOT 251789575 SOS 71515648 HAS SOPS 70938810 HAS SOUS 47413726 HAS SOUPS 47327590 WITH SCORE 4.7399105648E7
AT ITER 7628 NEW BEST:: SOT 251789393 SOS 71517998 HAS SOPS 70941160 HAS SOUS 47413362 HAS SOUPS 47327226 WITH SCORE 4.7398743998E7
AT ITER 7658 NEW BEST:: SOT 251790142 SOS 71518747 HAS SOPS 70941909 HAS SOUS 47412405 HAS SOUPS 47326269 WITH SCORE 4.7397787747E7
AT ITER 7662 NEW BEST:: SOT 251788740 SOS 71518508 HAS SOPS 70941670 HAS SOUS 47411003 HAS SOUPS 47324867 WITH SCORE 4.7396385508E7
AT ITER 7679 NEW BEST:: SOT 251787889 SOS 71518507 HAS SOPS 70941669 HAS SOUS 47411002 HAS SOUPS 47324866 WITH SCORE 4.7396384507E7
AT ITER 7743 NEW BEST:: SOT 251786292 SOS 71520071 HAS SOPS 70943233 HAS SOUS 47410838 HAS SOUPS 47324702 WITH SCORE 4.7396222071E7
AT ITER 7750 NEW BEST:: SOT 251785236 SOS 71521874 HAS SOPS 70945036 HAS SOUS 47408726 HAS SOUPS 47322590 WITH SCORE 4.7394111874E7
AT ITER 7804 NEW BEST:: SOT 251785496 SOS 71522134 HAS SOPS 70945296 HAS SOUS 47407035 HAS SOUPS 47320899 WITH SCORE 4.7392421134E7
AT ITER 7807 NEW BEST:: SOT 251618873 SOS 71587820 HAS SOPS 71010982 HAS SOUS 47249993 HAS SOUPS 47163857 WITH SCORE 4.723544482E7
AT ITER 7836 NEW BEST:: SOT 251618926 SOS 71587873 HAS SOPS 71011035 HAS SOUS 47247991 HAS SOUPS 47161855 WITH SCORE 4.7233442873E7
AT ITER 7895 NEW BEST:: SOT 251617870 SOS 71589094 HAS SOPS 71012256 HAS SOUS 47247728 HAS SOUPS 47161592 WITH SCORE 4.7233181094E7
AT ITER 7896 NEW BEST:: SOT 251617870 SOS 71587117 HAS SOPS 71010279 HAS SOUS 47247728 HAS SOUPS 47161592 WITH SCORE 4.7233179117E7
AT ITER 7899 NEW BEST:: SOT 251617171 SOS 71586418 HAS SOPS 71009580 HAS SOUS 47247029 HAS SOUPS 47160893 WITH SCORE 4.7232479418E7
AT ITER 7954 NEW BEST:: SOT 251617171 SOS 71586418 HAS SOPS 71009580 HAS SOUS 47245573 HAS SOUPS 47159437 WITH SCORE 4.7231023418E7
AT ITER 8006 NEW BEST:: SOT 251617930 SOS 71587177 HAS SOPS 71010339 HAS SOUS 47245276 HAS SOUPS 47159140 WITH SCORE 4.7230727177E7
AT ITER 8023 NEW BEST:: SOT 251618798 SOS 71588045 HAS SOPS 71011207 HAS SOUS 47244496 HAS SOUPS 47158360 WITH SCORE 4.7229948045E7
AT ITER 8035 NEW BEST:: SOT 251457024 SOS 71524860 HAS SOPS 70948022 HAS SOUS 47090823 HAS SOUPS 47004687 WITH SCORE 4.707621186E7
AT ITER 8040 NEW BEST:: SOT 251458060 SOS 71525896 HAS SOPS 70949058 HAS SOUS 47090296 HAS SOUPS 47004160 WITH SCORE 4.7075685896E7
AT ITER 8043 NEW BEST:: SOT 251456468 SOS 71525181 HAS SOPS 70948343 HAS SOUS 47088704 HAS SOUPS 47002568 WITH SCORE 4.7074093181E7
AT ITER 8048 NEW BEST:: SOT 251456468 SOS 71525181 HAS SOPS 70948343 HAS SOUS 47087335 HAS SOUPS 47001199 WITH SCORE 4.7072724181E7
AT ITER 8056 NEW BEST:: SOT 251455410 SOS 71524123 HAS SOPS 70947285 HAS SOUS 47085219 HAS SOUPS 46999083 WITH SCORE 4.7070607123E7
AT ITER 8057 NEW BEST:: SOT 251455410 SOS 71524123 HAS SOPS 70947285 HAS SOUS 47083670 HAS SOUPS 46997534 WITH SCORE 4.7069058123E7
AT ITER 8065 NEW BEST:: SOT 251455013 SOS 71523726 HAS SOPS 70946888 HAS SOUS 47082479 HAS SOUPS 46996343 WITH SCORE 4.7067866726E7
AT ITER 8067 NEW BEST:: SOT 251455013 SOS 71523726 HAS SOPS 70946888 HAS SOUS 47080534 HAS SOUPS 46994398 WITH SCORE 4.7065921726E7
AT ITER 8078 NEW BEST:: SOT 251453951 SOS 71523348 HAS SOPS 70946510 HAS SOUS 47079472 HAS SOUPS 46993336 WITH SCORE 4.7064859348E7
AT ITER 8103 NEW BEST:: SOT 251453951 SOS 71523348 HAS SOPS 70946510 HAS SOUS 47077895 HAS SOUPS 46991759 WITH SCORE 4.7063282348E7
AT ITER 8116 NEW BEST:: SOT 251453951 SOS 71523348 HAS SOPS 70946510 HAS SOUS 47075909 HAS SOUPS 46989773 WITH SCORE 4.7061296348E7
AT ITER 8147 NEW BEST:: SOT 251453592 SOS 71522989 HAS SOPS 70946151 HAS SOUS 47075550 HAS SOUPS 46989414 WITH SCORE 4.7060936989E7
AT ITER 8159 NEW BEST:: SOT 251452877 SOS 71522274 HAS SOPS 70945436 HAS SOUS 47074120 HAS SOUPS 46987984 WITH SCORE 4.7059506274E7
AT ITER 8160 NEW BEST:: SOT 251452542 SOS 71522273 HAS SOPS 70945435 HAS SOUS 47074119 HAS SOUPS 46987983 WITH SCORE 4.7059505273E7
AT ITER 8174 NEW BEST:: SOT 251450638 SOS 71522526 HAS SOPS 70945688 HAS SOUS 47072233 HAS SOUPS 46986097 WITH SCORE 4.7057619526E7
AT ITER 8183 NEW BEST:: SOT 251450638 SOS 71522526 HAS SOPS 70945688 HAS SOUS 47070185 HAS SOUPS 46984049 WITH SCORE 4.7055571526E7
AT ITER 8188 NEW BEST:: SOT 251450638 SOS 71522526 HAS SOPS 70945688 HAS SOUS 47069511 HAS SOUPS 46983375 WITH SCORE 4.7054897526E7
AT ITER 8222 NEW BEST:: SOT 251446077 SOS 71513404 HAS SOPS 70936566 HAS SOUS 47064950 HAS SOUPS 46978814 WITH SCORE 4.7050327404E7
AT ITER 8234 NEW BEST:: SOT 251442736 SOS 71514120 HAS SOPS 70937282 HAS SOUS 47062671 HAS SOUPS 46976535 WITH SCORE 4.704804912E7
AT ITER 8240 NEW BEST:: SOT 251441862 SOS 71513246 HAS SOPS 70936408 HAS SOUS 47060923 HAS SOUPS 46974787 WITH SCORE 4.7046300246E7
AT ITER 8258 NEW BEST:: SOT 251441862 SOS 71512395 HAS SOPS 70935557 HAS SOUS 47060923 HAS SOUPS 46974787 WITH SCORE 4.7046299395E7
AT ITER 8269 NEW BEST:: SOT 251440806 SOS 71513614 HAS SOPS 70936776 HAS SOUS 47058046 HAS SOUPS 46971910 WITH SCORE 4.7043423614E7
AT ITER 8270 NEW BEST:: SOT 251440806 SOS 71513614 HAS SOPS 70936776 HAS SOUS 47056575 HAS SOUPS 46970439 WITH SCORE 4.7041952614E7
AT ITER 8276 NEW BEST:: SOT 251440806 SOS 71513614 HAS SOPS 70936776 HAS SOUS 47054902 HAS SOUPS 46968766 WITH SCORE 4.7040279614E7
AT ITER 8311 NEW BEST:: SOT 251440806 SOS 71513614 HAS SOPS 70936776 HAS SOUS 47053341 HAS SOUPS 46967205 WITH SCORE 4.7038718614E7
AT ITER 8316 NEW BEST:: SOT 251439217 SOS 71512025 HAS SOPS 70935187 HAS SOUS 47051752 HAS SOUPS 46965616 WITH SCORE 4.7037128025E7
AT ITER 8320 NEW BEST:: SOT 251438435 SOS 71513635 HAS SOPS 70936797 HAS SOUS 47050195 HAS SOUPS 46964059 WITH SCORE 4.7035572635E7
AT ITER 8326 NEW BEST:: SOT 251438435 SOS 71513635 HAS SOPS 70936797 HAS SOUS 47048146 HAS SOUPS 46962010 WITH SCORE 4.7033523635E7
AT ITER 8352 NEW BEST:: SOT 251438435 SOS 71512253 HAS SOPS 70935415 HAS SOUS 47048146 HAS SOUPS 46962010 WITH SCORE 4.7033522253E7
AT ITER 8353 NEW BEST:: SOT 251437059 SOS 71511768 HAS SOPS 70934930 HAS SOUS 47046770 HAS SOUPS 46960634 WITH SCORE 4.7032145768E7
AT ITER 8363 NEW BEST:: SOT 251437059 SOS 71511768 HAS SOPS 70934930 HAS SOUS 47045297 HAS SOUPS 46959161 WITH SCORE 4.7030672768E7
AT ITER 8394 NEW BEST:: SOT 251437059 SOS 71511768 HAS SOPS 70934930 HAS SOUS 47043735 HAS SOUPS 46957599 WITH SCORE 4.7029110768E7
AT ITER 8397 NEW BEST:: SOT 251272662 SOS 71431662 HAS SOPS 70854824 HAS SOUS 46883072 HAS SOUPS 46796936 WITH SCORE 4.6868367662E7
AT ITER 8418 NEW BEST:: SOT 251266371 SOS 71426570 HAS SOPS 70849763 HAS SOUS 46877102 HAS SOUPS 46790966 WITH SCORE 4.686239257E7
AT ITER 8423 NEW BEST:: SOT 251267556 SOS 71427755 HAS SOPS 70850948 HAS SOUS 46876799 HAS SOUPS 46790663 WITH SCORE 4.6862090755E7
AT ITER 8439 NEW BEST:: SOT 251267698 SOS 71427897 HAS SOPS 70851090 HAS SOUS 46874931 HAS SOUPS 46788795 WITH SCORE 4.6860222897E7
AT ITER 8445 NEW BEST:: SOT 251267915 SOS 71428114 HAS SOPS 70851307 HAS SOUS 46873176 HAS SOUPS 46787040 WITH SCORE 4.6858468114E7
AT ITER 8447 NEW BEST:: SOT 251267054 SOS 71428726 HAS SOPS 70851919 HAS SOUS 46872927 HAS SOUPS 46786791 WITH SCORE 4.6858219726E7
AT ITER 8456 NEW BEST:: SOT 251266864 SOS 71428536 HAS SOPS 70851729 HAS SOUS 46872547 HAS SOUPS 46786411 WITH SCORE 4.6857839536E7
AT ITER 8457 NEW BEST:: SOT 251266303 SOS 71428536 HAS SOPS 70851168 HAS SOUS 46871986 HAS SOUPS 46785850 WITH SCORE 4.6857278536E7
AT ITER 8472 NEW BEST:: SOT 251266303 SOS 71428536 HAS SOPS 70851168 HAS SOUS 46871062 HAS SOUPS 46784926 WITH SCORE 4.6856354536E7
AT ITER 8473 NEW BEST:: SOT 251265274 SOS 71428187 HAS SOPS 70850819 HAS SOUS 46870033 HAS SOUPS 46783897 WITH SCORE 4.6855325187E7
AT ITER 8483 NEW BEST:: SOT 251265097 SOS 71428124 HAS SOPS 70850756 HAS SOUS 46869856 HAS SOUPS 46783720 WITH SCORE 4.6855148124E7
AT ITER 8490 NEW BEST:: SOT 251264521 SOS 71427548 HAS SOPS 70850180 HAS SOUS 46869280 HAS SOUPS 46783144 WITH SCORE 4.6854571548E7
AT ITER 8564 NEW BEST:: SOT 251265487 SOS 71428514 HAS SOPS 70851146 HAS SOUS 46868649 HAS SOUPS 46782513 WITH SCORE 4.6853941514E7
AT ITER 8614 NEW BEST:: SOT 251266070 SOS 71429097 HAS SOPS 70851729 HAS SOUS 46867442 HAS SOUPS 46781306 WITH SCORE 4.6852735097E7
AT ITER 8655 NEW BEST:: SOT 251265374 SOS 71428874 HAS SOPS 70851506 HAS SOUS 46866746 HAS SOUPS 46780610 WITH SCORE 4.6852038874E7
AT ITER 8665 NEW BEST:: SOT 251265822 SOS 71429322 HAS SOPS 70851954 HAS SOUS 46865337 HAS SOUPS 46779201 WITH SCORE 4.6850630322E7
AT ITER 8712 NEW BEST:: SOT 251265924 SOS 71428314 HAS SOPS 70850946 HAS SOUS 46862422 HAS SOUPS 46776286 WITH SCORE 4.6847714314E7
AT ITER 8717 NEW BEST:: SOT 251264161 SOS 71428359 HAS SOPS 70850991 HAS SOUS 46860659 HAS SOUPS 46774523 WITH SCORE 4.6845951359E7
AT ITER 8738 NEW BEST:: SOT 251263205 SOS 71429784 HAS SOPS 70852416 HAS SOUS 46860500 HAS SOUPS 46774364 WITH SCORE 4.6845793784E7
AT ITER 8746 NEW BEST:: SOT 251263205 SOS 71429784 HAS SOPS 70852416 HAS SOUS 46860492 HAS SOUPS 46774356 WITH SCORE 4.6845785784E7
AT ITER 8747 NEW BEST:: SOT 251263497 SOS 71430076 HAS SOPS 70852708 HAS SOUS 46858849 HAS SOUPS 46772713 WITH SCORE 4.6844143076E7
AT ITER 8755 NEW BEST:: SOT 251261506 SOS 71429237 HAS SOPS 70851869 HAS SOUS 46856858 HAS SOUPS 46770722 WITH SCORE 4.6842151237E7
AT ITER 8759 NEW BEST:: SOT 251261168 SOS 71428561 HAS SOPS 70851193 HAS SOUS 46856520 HAS SOUPS 46770384 WITH SCORE 4.6841812561E7
AT ITER 8779 NEW BEST:: SOT 251260766 SOS 71428027 HAS SOPS 70850659 HAS SOUS 46855050 HAS SOUPS 46768914 WITH SCORE 4.6840342027E7
AT ITER 8781 NEW BEST:: SOT 251252118 SOS 71449134 HAS SOPS 70871859 HAS SOUS 46850673 HAS SOUPS 46764537 WITH SCORE 4.6835986134E7
AT ITER 8801 NEW BEST:: SOT 251245344 SOS 71467416 HAS SOPS 70890141 HAS SOUS 46844916 HAS SOUPS 46758780 WITH SCORE 4.6830247416E7
AT ITER 8816 NEW BEST:: SOT 251243907 SOS 71465979 HAS SOPS 70888704 HAS SOUS 46842035 HAS SOUPS 46755899 WITH SCORE 4.6827364979E7
AT ITER 8833 NEW BEST:: SOT 251243907 SOS 71465979 HAS SOPS 70888704 HAS SOUS 46840471 HAS SOUPS 46754335 WITH SCORE 4.6825800979E7
AT ITER 8844 NEW BEST:: SOT 251243907 SOS 71465979 HAS SOPS 70888704 HAS SOUS 46838962 HAS SOUPS 46752826 WITH SCORE 4.6824291979E7
AT ITER 8872 NEW BEST:: SOT 251243907 SOS 71465979 HAS SOPS 70888704 HAS SOUS 46838058 HAS SOUPS 46751922 WITH SCORE 4.6823387979E7
AT ITER 8887 NEW BEST:: SOT 251243898 SOS 71465970 HAS SOPS 70888695 HAS SOUS 46838040 HAS SOUPS 46751904 WITH SCORE 4.682336997E7
AT ITER 8896 NEW BEST:: SOT 251243568 SOS 71468031 HAS SOPS 70890756 HAS SOUS 46837384 HAS SOUPS 46751248 WITH SCORE 4.6822716031E7
AT ITER 8897 NEW BEST:: SOT 251241634 SOS 71466097 HAS SOPS 70888822 HAS SOUS 46835450 HAS SOUPS 46749314 WITH SCORE 4.6820780097E7
AT ITER 8910 NEW BEST:: SOT 251241634 SOS 71466097 HAS SOPS 70888822 HAS SOUS 46834513 HAS SOUPS 46748377 WITH SCORE 4.6819843097E7
AT ITER 8950 NEW BEST:: SOT 251241529 SOS 71465992 HAS SOPS 70888717 HAS SOUS 46834303 HAS SOUPS 46748167 WITH SCORE 4.6819632992E7
AT ITER 8959 NEW BEST:: SOT 251239825 SOS 71463020 HAS SOPS 70885745 HAS SOUS 46833035 HAS SOUPS 46746899 WITH SCORE 4.681836202E7
AT ITER 8989 NEW BEST:: SOT 251238947 SOS 71461264 HAS SOPS 70883989 HAS SOUS 46832157 HAS SOUPS 46746021 WITH SCORE 4.6817482264E7
AT ITER 9016 NEW BEST:: SOT 251239769 SOS 71462086 HAS SOPS 70884811 HAS SOUS 46831308 HAS SOUPS 46745172 WITH SCORE 4.6816634086E7
AT ITER 9049 NEW BEST:: SOT 251239367 SOS 71461684 HAS SOPS 70884409 HAS SOUS 46830906 HAS SOUPS 46744770 WITH SCORE 4.6816231684E7
AT ITER 9052 NEW BEST:: SOT 251239367 SOS 71461684 HAS SOPS 70884409 HAS SOUS 46830234 HAS SOUPS 46744098 WITH SCORE 4.6815559684E7
AT ITER 9066 NEW BEST:: SOT 251238410 SOS 71436533 HAS SOPS 70859258 HAS SOUS 46828848 HAS SOUPS 46742712 WITH SCORE 4.6814148533E7
AT ITER 9111 NEW BEST:: SOT 251237187 SOS 71436533 HAS SOPS 70859258 HAS SOUS 46827625 HAS SOUPS 46741489 WITH SCORE 4.6812925533E7
AT ITER 9117 NEW BEST:: SOT 251237628 SOS 71436974 HAS SOPS 70859699 HAS SOUS 46826205 HAS SOUPS 46740069 WITH SCORE 4.6811505974E7
AT ITER 9134 NEW BEST:: SOT 251238317 SOS 71437663 HAS SOPS 70860388 HAS SOUS 46825157 HAS SOUPS 46739021 WITH SCORE 4.6810458663E7
AT ITER 9166 NEW BEST:: SOT 251237305 SOS 71436651 HAS SOPS 70859376 HAS SOUS 46824145 HAS SOUPS 46738009 WITH SCORE 4.6809445651E7
AT ITER 9220 NEW BEST:: SOT 251235844 SOS 71435190 HAS SOPS 70857915 HAS SOUS 46822684 HAS SOUPS 46736548 WITH SCORE 4.680798319E7
AT ITER 9222 NEW BEST:: SOT 251234954 SOS 71409255 HAS SOPS 70831980 HAS SOUS 46820087 HAS SOUPS 46733951 WITH SCORE 4.6805360255E7
AT ITER 9226 NEW BEST:: SOT 251233883 SOS 71409180 HAS SOPS 70831905 HAS SOUS 46819016 HAS SOUPS 46732880 WITH SCORE 4.680428918E7
AT ITER 9233 NEW BEST:: SOT 251232470 SOS 71408596 HAS SOPS 70831321 HAS SOUS 46817603 HAS SOUPS 46731467 WITH SCORE 4.6802875596E7
AT ITER 9235 NEW BEST:: SOT 251231749 SOS 71384082 HAS SOPS 70806807 HAS SOUS 46816161 HAS SOUPS 46730025 WITH SCORE 4.6801409082E7
AT ITER 9248 NEW BEST:: SOT 251231749 SOS 71384082 HAS SOPS 70806807 HAS SOUS 46815748 HAS SOUPS 46729612 WITH SCORE 4.6800996082E7
AT ITER 9258 NEW BEST:: SOT 251182245 SOS 71338508 HAS SOPS 70761233 HAS SOUS 46767712 HAS SOUPS 46681576 WITH SCORE 4.6752914508E7
AT ITER 9260 NEW BEST:: SOT 251182148 SOS 71338411 HAS SOPS 70761136 HAS SOUS 46767615 HAS SOUPS 46681479 WITH SCORE 4.6752817411E7
AT ITER 9305 NEW BEST:: SOT 251144014 SOS 71525308 HAS SOPS 70949787 HAS SOUS 46740656 HAS SOUPS 46654520 WITH SCORE 4.6726045308E7
AT ITER 9316 NEW BEST:: SOT 251143131 SOS 71524802 HAS SOPS 70949281 HAS SOUS 46739773 HAS SOUPS 46653637 WITH SCORE 4.6725161802E7
AT ITER 9320 NEW BEST:: SOT 251143131 SOS 71524429 HAS SOPS 70948908 HAS SOUS 46739773 HAS SOUPS 46653637 WITH SCORE 4.6725161429E7
AT ITER 9340 NEW BEST:: SOT 251143131 SOS 71524429 HAS SOPS 70948908 HAS SOUS 46738543 HAS SOUPS 46652407 WITH SCORE 4.6723931429E7
AT ITER 9364 NEW BEST:: SOT 251141330 SOS 71523014 HAS SOPS 70947493 HAS SOUS 46736742 HAS SOUPS 46650606 WITH SCORE 4.6722129014E7
AT ITER 9431 NEW BEST:: SOT 251141330 SOS 71522379 HAS SOPS 70946858 HAS SOUS 46736742 HAS SOUPS 46650606 WITH SCORE 4.6722128379E7
AT ITER 9440 NEW BEST:: SOT 251139282 SOS 71522487 HAS SOPS 70946966 HAS SOUS 46732646 HAS SOUPS 46646510 WITH SCORE 4.6718032487E7
AT ITER 9458 NEW BEST:: SOT 251137168 SOS 71522462 HAS SOPS 70946941 HAS SOUS 46731542 HAS SOUPS 46645406 WITH SCORE 4.6716928462E7
AT ITER 9512 NEW BEST:: SOT 251137168 SOS 71521371 HAS SOPS 70945850 HAS SOUS 46731542 HAS SOUPS 46645406 WITH SCORE 4.6716927371E7
AT ITER 9516 NEW BEST:: SOT 251137168 SOS 71521314 HAS SOPS 70945793 HAS SOUS 46731542 HAS SOUPS 46645406 WITH SCORE 4.6716927314E7
AT ITER 9551 NEW BEST:: SOT 251137051 SOS 71521197 HAS SOPS 70945676 HAS SOUS 46730589 HAS SOUPS 46644453 WITH SCORE 4.6715974197E7
AT ITER 9596 NEW BEST:: SOT 251136888 SOS 71523430 HAS SOPS 70947909 HAS SOUS 46730265 HAS SOUPS 46644129 WITH SCORE 4.671565243E7
AT ITER 9617 NEW BEST:: SOT 251135858 SOS 71525331 HAS SOPS 70949810 HAS SOUS 46730122 HAS SOUPS 46643986 WITH SCORE 4.6715511331E7
AT ITER 9624 NEW BEST:: SOT 251131420 SOS 71726559 HAS SOPS 71151393 HAS SOUS 46728291 HAS SOUPS 46642155 WITH SCORE 4.6713881559E7
AT ITER 9641 NEW BEST:: SOT 251131364 SOS 71726559 HAS SOPS 71151393 HAS SOUS 46728235 HAS SOUPS 46642099 WITH SCORE 4.6713825559E7
AT ITER 9653 NEW BEST:: SOT 251129597 SOS 71726558 HAS SOPS 71151392 HAS SOUS 46728234 HAS SOUPS 46642098 WITH SCORE 4.6713824558E7
AT ITER 9655 NEW BEST:: SOT 251129597 SOS 71725744 HAS SOPS 71150578 HAS SOUS 46727420 HAS SOUPS 46641284 WITH SCORE 4.6713009744E7
AT ITER 9664 NEW BEST:: SOT 251129597 SOS 71725744 HAS SOPS 71150578 HAS SOUS 46725538 HAS SOUPS 46639402 WITH SCORE 4.6711127744E7
AT ITER 9668 NEW BEST:: SOT 251129597 SOS 71725744 HAS SOPS 71150578 HAS SOUS 46724317 HAS SOUPS 46638181 WITH SCORE 4.6709906744E7
AT ITER 9685 NEW BEST:: SOT 251129597 SOS 71725743 HAS SOPS 71150577 HAS SOUS 46724316 HAS SOUPS 46638180 WITH SCORE 4.6709905743E7
AT ITER 9696 NEW BEST:: SOT 251128620 SOS 71724960 HAS SOPS 71149794 HAS SOUS 46723339 HAS SOUPS 46637203 WITH SCORE 4.670892796E7
AT ITER 9699 NEW BEST:: SOT 251124914 SOS 71721254 HAS SOPS 71146088 HAS SOUS 46719633 HAS SOUPS 46633497 WITH SCORE 4.6705218254E7
AT ITER 9722 NEW BEST:: SOT 251125894 SOS 71722234 HAS SOPS 71147068 HAS SOUS 46719021 HAS SOUPS 46632885 WITH SCORE 4.6704607234E7
AT ITER 9732 NEW BEST:: SOT 251125894 SOS 71721372 HAS SOPS 71146206 HAS SOUS 46719021 HAS SOUPS 46632885 WITH SCORE 4.6704606372E7
AT ITER 9764 NEW BEST:: SOT 251125577 SOS 71686464 HAS SOPS 71111298 HAS SOUS 46716312 HAS SOUPS 46630176 WITH SCORE 4.6701862464E7
AT ITER 9798 NEW BEST:: SOT 251124540 SOS 71685427 HAS SOPS 71110261 HAS SOUS 46715275 HAS SOUPS 46629139 WITH SCORE 4.6700824427E7
AT ITER 9799 NEW BEST:: SOT 251122681 SOS 71685938 HAS SOPS 71110772 HAS SOUS 46713927 HAS SOUPS 46627791 WITH SCORE 4.6699476938E7
AT ITER 9815 NEW BEST:: SOT 251122681 SOS 71685906 HAS SOPS 71110740 HAS SOUS 46713927 HAS SOUPS 46627791 WITH SCORE 4.6699476906E7
AT ITER 9821 NEW BEST:: SOT 251121510 SOS 71685906 HAS SOPS 71110740 HAS SOUS 46712756 HAS SOUPS 46626620 WITH SCORE 4.6698305906E7
AT ITER 9867 NEW BEST:: SOT 251121606 SOS 71686002 HAS SOPS 71110836 HAS SOUS 46710819 HAS SOUPS 46624683 WITH SCORE 4.6696369002E7
AT ITER 9880 NEW BEST:: SOT 251121606 SOS 71685283 HAS SOPS 71110117 HAS SOUS 46710819 HAS SOUPS 46624683 WITH SCORE 4.6696368283E7
AT ITER 9885 NEW BEST:: SOT 251122623 SOS 71686300 HAS SOPS 71111134 HAS SOUS 46710780 HAS SOUPS 46624644 WITH SCORE 4.66963303E7
AT ITER 9921 NEW BEST:: SOT 251123131 SOS 71686808 HAS SOPS 71111642 HAS SOUS 46709461 HAS SOUPS 46623325 WITH SCORE 4.6695011808E7
AT ITER 9932 NEW BEST:: SOT 251123088 SOS 71686765 HAS SOPS 71111599 HAS SOUS 46709374 HAS SOUPS 46623238 WITH SCORE 4.6694924765E7
AT ITER 9936 NEW BEST:: SOT 251123084 SOS 71686749 HAS SOPS 71111593 HAS SOUS 46709368 HAS SOUPS 46623232 WITH SCORE 4.6694918749E7
AT ITER 9945 NEW BEST:: SOT 251123520 SOS 71687185 HAS SOPS 71112029 HAS SOUS 46707942 HAS SOUPS 46621806 WITH SCORE 4.6693493185E7
AT ITER 9966 NEW BEST:: SOT 251122084 SOS 71688542 HAS SOPS 71113386 HAS SOUS 46707863 HAS SOUPS 46621727 WITH SCORE 4.6693415542E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 13495688 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16087676 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LeafsetExtension-PT-S64C4"
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 LeafsetExtension-PT-S64C4, 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 r235-tall-167856421900544"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/LeafsetExtension-PT-S64C4.tgz
mv LeafsetExtension-PT-S64C4 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 ;