Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 86M
-rw-r--r-- 1 mcc users 9.2K Feb 26 08:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 08:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 08:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 26 08:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 08:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 26 08:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 08:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 26 08:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 85M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679137760741

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS2020-PT-pb109
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 11:09:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 11:09:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 11:09:25] [INFO ] Load time of PNML (sax parser for PT used): 2336 ms
[2023-03-18 11:09:25] [INFO ] Transformed 1907 places.
[2023-03-18 11:09:25] [INFO ] Transformed 151872 transitions.
[2023-03-18 11:09:25] [INFO ] Found NUPN structural information;
[2023-03-18 11:09:25] [INFO ] Parsed PT model containing 1907 places and 151872 transitions and 605350 arcs in 2838 ms.
[2023-03-18 11:09:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1907 places, 151872 transitions and 605350 arcs took 360 ms.
Total runtime 3233 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS2020 (PT), instance pb109
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: 1907 places, 151872 transitions, 605350 arcs.
AT ITER 0 NEW BEST:: SOT 153514679 SOS 103745699 HAS SOPS 91289210 HAS SOUS 24163374 HAS SOUPS 24042090 WITH SCORE 2.4145835699E7
AT ITER 7 NEW BEST:: SOT 153510879 SOS 103741899 HAS SOPS 91284010 HAS SOUS 24155974 HAS SOUPS 24034690 WITH SCORE 2.4138431899E7
AT ITER 10 NEW BEST:: SOT 153509175 SOS 103739001 HAS SOPS 91281026 HAS SOUS 24154164 HAS SOUPS 24032880 WITH SCORE 2.4136619001E7
AT ITER 18 NEW BEST:: SOT 153509196 SOS 103739015 HAS SOPS 91281040 HAS SOUS 24154129 HAS SOUPS 24032845 WITH SCORE 2.4136584015E7
AT ITER 28 NEW BEST:: SOT 153538168 SOS 104008686 HAS SOPS 91563268 HAS SOUS 24153363 HAS SOUPS 24032036 WITH SCORE 2.4136044686E7
AT ITER 36 NEW BEST:: SOT 153538168 SOS 104009252 HAS SOPS 91562732 HAS SOUS 24153178 HAS SOUPS 24031813 WITH SCORE 2.4135822252E7
AT ITER 43 NEW BEST:: SOT 153530822 SOS 103951821 HAS SOPS 91504882 HAS SOUS 24150919 HAS SOUPS 24029554 WITH SCORE 2.4133505821E7
AT ITER 48 NEW BEST:: SOT 153531242 SOS 103952351 HAS SOPS 91503293 HAS SOUS 24142766 HAS SOUPS 24021401 WITH SCORE 2.4125353351E7
AT ITER 67 NEW BEST:: SOT 153530895 SOS 103951993 HAS SOPS 91502921 HAS SOUS 24142062 HAS SOUPS 24020697 WITH SCORE 2.4124648993E7
AT ITER 89 NEW BEST:: SOT 153535023 SOS 103956341 HAS SOPS 91509710 HAS SOUS 24134808 HAS SOUPS 24013375 WITH SCORE 2.4117331341E7
AT ITER 108 NEW BEST:: SOT 153533957 SOS 103955341 HAS SOPS 91508385 HAS SOUS 24131484 HAS SOUPS 24010051 WITH SCORE 2.4114006341E7
AT ITER 135 NEW BEST:: SOT 153533933 SOS 103945354 HAS SOPS 91499789 HAS SOUS 24131465 HAS SOUPS 24010032 WITH SCORE 2.4113977354E7
AT ITER 138 NEW BEST:: SOT 153534517 SOS 103944222 HAS SOPS 91498657 HAS SOUS 24130937 HAS SOUPS 24009504 WITH SCORE 2.4113448222E7
AT ITER 139 NEW BEST:: SOT 153535425 SOS 103945130 HAS SOPS 91501921 HAS SOUS 24120437 HAS SOUPS 23999004 WITH SCORE 2.410294913E7
AT ITER 145 NEW BEST:: SOT 153529948 SOS 103799671 HAS SOPS 91356223 HAS SOUS 24120223 HAS SOUPS 23998790 WITH SCORE 2.4102589671E7
AT ITER 151 NEW BEST:: SOT 153532570 SOS 103777746 HAS SOPS 91370303 HAS SOUS 24119894 HAS SOUPS 23998589 WITH SCORE 2.4102366746E7
AT ITER 185 NEW BEST:: SOT 153537628 SOS 103778185 HAS SOPS 91364576 HAS SOUS 24081916 HAS SOUPS 23960603 WITH SCORE 2.4064381185E7
AT ITER 188 NEW BEST:: SOT 153537925 SOS 103777505 HAS SOPS 91363896 HAS SOUS 24077094 HAS SOUPS 23955781 WITH SCORE 2.4059558505E7
AT ITER 189 NEW BEST:: SOT 153537869 SOS 103777465 HAS SOPS 91363317 HAS SOUS 24076940 HAS SOUPS 23955627 WITH SCORE 2.4059404465E7
AT ITER 225 NEW BEST:: SOT 153550199 SOS 103963154 HAS SOPS 91385982 HAS SOUS 24071919 HAS SOUPS 23950304 WITH SCORE 2.4054267154E7
AT ITER 236 NEW BEST:: SOT 153508535 SOS 103977901 HAS SOPS 91407160 HAS SOUS 24056034 HAS SOUPS 23934419 WITH SCORE 2.4038396901E7
AT ITER 238 NEW BEST:: SOT 153518956 SOS 103909002 HAS SOPS 91334770 HAS SOUS 24054579 HAS SOUPS 23932964 WITH SCORE 2.4036873002E7
AT ITER 243 NEW BEST:: SOT 153522426 SOS 104095048 HAS SOPS 91517189 HAS SOUS 24052308 HAS SOUPS 23930693 WITH SCORE 2.4034788048E7
AT ITER 248 NEW BEST:: SOT 153523135 SOS 104095521 HAS SOPS 91517543 HAS SOUS 24051605 HAS SOUPS 23929990 WITH SCORE 2.4034085521E7
AT ITER 249 NEW BEST:: SOT 153522669 SOS 104086547 HAS SOPS 91532324 HAS SOUS 24048657 HAS SOUPS 23927410 WITH SCORE 2.4031496547E7
AT ITER 252 NEW BEST:: SOT 153522792 SOS 104086670 HAS SOPS 91533004 HAS SOUS 24048633 HAS SOUPS 23927386 WITH SCORE 2.403147267E7
AT ITER 266 NEW BEST:: SOT 153515535 SOS 104079354 HAS SOPS 91525393 HAS SOUS 24033765 HAS SOUPS 23912518 WITH SCORE 2.4016597354E7
AT ITER 271 NEW BEST:: SOT 153505269 SOS 104069169 HAS SOPS 91514705 HAS SOUS 24013843 HAS SOUPS 23892596 WITH SCORE 2.3996665169E7
AT ITER 279 NEW BEST:: SOT 153502645 SOS 104066393 HAS SOPS 91512577 HAS SOUS 24012043 HAS SOUPS 23890796 WITH SCORE 2.3994862393E7
AT ITER 312 NEW BEST:: SOT 153501449 SOS 104065223 HAS SOPS 91511641 HAS SOUS 24009885 HAS SOUPS 23888638 WITH SCORE 2.3992703223E7
AT ITER 346 NEW BEST:: SOT 153496576 SOS 104060330 HAS SOPS 91503550 HAS SOUS 23997305 HAS SOUPS 23876058 WITH SCORE 2.398011833E7
AT ITER 350 NEW BEST:: SOT 153512532 SOS 104076232 HAS SOPS 91517046 HAS SOUS 23987424 HAS SOUPS 23865945 WITH SCORE 2.3970021232E7
AT ITER 357 NEW BEST:: SOT 153509523 SOS 104073223 HAS SOPS 91513476 HAS SOUS 23981967 HAS SOUPS 23860488 WITH SCORE 2.3964561223E7
AT ITER 359 NEW BEST:: SOT 153510435 SOS 104074135 HAS SOPS 91514182 HAS SOUS 23981505 HAS SOUPS 23860026 WITH SCORE 2.3964100135E7
AT ITER 363 NEW BEST:: SOT 153510432 SOS 104074132 HAS SOPS 91514181 HAS SOUS 23981487 HAS SOUPS 23860008 WITH SCORE 2.3964082132E7
AT ITER 377 NEW BEST:: SOT 153525873 SOS 104103140 HAS SOPS 91538114 HAS SOUS 23980132 HAS SOUPS 23858653 WITH SCORE 2.396275614E7
AT ITER 379 NEW BEST:: SOT 153525901 SOS 104103140 HAS SOPS 91538338 HAS SOUS 23979292 HAS SOUPS 23857813 WITH SCORE 2.396191614E7
AT ITER 382 NEW BEST:: SOT 153527399 SOS 104104678 HAS SOPS 91539671 HAS SOUS 23976036 HAS SOUPS 23854557 WITH SCORE 2.3958661678E7
AT ITER 410 NEW BEST:: SOT 153527314 SOS 104101525 HAS SOPS 91536518 HAS SOUS 23975252 HAS SOUPS 23853773 WITH SCORE 2.3957874525E7
AT ITER 430 NEW BEST:: SOT 153543268 SOS 104117479 HAS SOPS 91552286 HAS SOUS 23973884 HAS SOUPS 23852405 WITH SCORE 2.3956522479E7
AT ITER 432 NEW BEST:: SOT 153542825 SOS 104234129 HAS SOPS 91666344 HAS SOUS 23973422 HAS SOUPS 23851715 WITH SCORE 2.3955949129E7
AT ITER 449 NEW BEST:: SOT 153545425 SOS 104236146 HAS SOPS 91669127 HAS SOUS 23971524 HAS SOUPS 23849817 WITH SCORE 2.3954053146E7
AT ITER 466 NEW BEST:: SOT 153539749 SOS 104230479 HAS SOPS 91662451 HAS SOUS 23959186 HAS SOUPS 23837479 WITH SCORE 2.3941709479E7
AT ITER 467 NEW BEST:: SOT 153546910 SOS 104236324 HAS SOPS 91664641 HAS SOUS 23893503 HAS SOUPS 23771796 WITH SCORE 2.3876032324E7
AT ITER 476 NEW BEST:: SOT 153543478 SOS 104232892 HAS SOPS 91659618 HAS SOUS 23890881 HAS SOUPS 23769174 WITH SCORE 2.3873406892E7
AT ITER 493 NEW BEST:: SOT 153541954 SOS 104231296 HAS SOPS 91657830 HAS SOUS 23887965 HAS SOUPS 23766270 WITH SCORE 2.3870501296E7
AT ITER 495 NEW BEST:: SOT 153541861 SOS 104229126 HAS SOPS 91655660 HAS SOUS 23887810 HAS SOUPS 23766115 WITH SCORE 2.3870344126E7
AT ITER 499 NEW BEST:: SOT 153545910 SOS 104061705 HAS SOPS 91476662 HAS SOUS 23871701 HAS SOUPS 23750006 WITH SCORE 2.3854067705E7
AT ITER 502 NEW BEST:: SOT 153529497 SOS 104044348 HAS SOPS 91454038 HAS SOUS 23862181 HAS SOUPS 23740486 WITH SCORE 2.3844530348E7
AT ITER 504 NEW BEST:: SOT 153529585 SOS 104044524 HAS SOPS 91454654 HAS SOUS 23859453 HAS SOUPS 23737758 WITH SCORE 2.3841802524E7
AT ITER 507 NEW BEST:: SOT 153529102 SOS 104043960 HAS SOPS 91454685 HAS SOUS 23859187 HAS SOUPS 23737492 WITH SCORE 2.384153596E7
AT ITER 525 NEW BEST:: SOT 153525644 SOS 104040432 HAS SOPS 91450569 HAS SOUS 23853937 HAS SOUPS 23732242 WITH SCORE 2.3836282432E7
AT ITER 528 NEW BEST:: SOT 153494424 SOS 104054184 HAS SOPS 91459227 HAS SOUS 23815970 HAS SOUPS 23694275 WITH SCORE 2.3798329184E7
AT ITER 541 NEW BEST:: SOT 153490868 SOS 104050628 HAS SOPS 91455501 HAS SOUS 23814241 HAS SOUPS 23692546 WITH SCORE 2.3796596628E7
AT ITER 551 NEW BEST:: SOT 153467174 SOS 103957951 HAS SOPS 91405466 HAS SOUS 23798763 HAS SOUPS 23677179 WITH SCORE 2.3781136951E7
AT ITER 553 NEW BEST:: SOT 153464975 SOS 103964770 HAS SOPS 91406022 HAS SOUS 23776359 HAS SOUPS 23654775 WITH SCORE 2.375873977E7
AT ITER 560 NEW BEST:: SOT 153471598 SOS 103971745 HAS SOPS 91410904 HAS SOUS 23747151 HAS SOUPS 23625567 WITH SCORE 2.3729538745E7
AT ITER 574 NEW BEST:: SOT 153471598 SOS 103971179 HAS SOPS 91410338 HAS SOUS 23746982 HAS SOUPS 23625398 WITH SCORE 2.3729369179E7
AT ITER 582 NEW BEST:: SOT 153491952 SOS 103991299 HAS SOPS 91433052 HAS SOUS 23743426 HAS SOUPS 23621842 WITH SCORE 2.3725833299E7
AT ITER 592 NEW BEST:: SOT 153490960 SOS 103990307 HAS SOPS 91432084 HAS SOUS 23742594 HAS SOUPS 23621010 WITH SCORE 2.3725000307E7
AT ITER 594 NEW BEST:: SOT 153502168 SOS 104001725 HAS SOPS 91440086 HAS SOUS 23736825 HAS SOUPS 23614468 WITH SCORE 2.3718469725E7
AT ITER 597 NEW BEST:: SOT 153579983 SOS 104204751 HAS SOPS 91698745 HAS SOUS 23734327 HAS SOUPS 23612417 WITH SCORE 2.3716621751E7
AT ITER 599 NEW BEST:: SOT 153580348 SOS 104205189 HAS SOPS 91699767 HAS SOUS 23731918 HAS SOUPS 23610008 WITH SCORE 2.3714213189E7
AT ITER 607 NEW BEST:: SOT 153572736 SOS 104197337 HAS SOPS 91687342 HAS SOUS 23710220 HAS SOUPS 23588310 WITH SCORE 2.3692507337E7
AT ITER 611 NEW BEST:: SOT 153561961 SOS 104160257 HAS SOPS 91650262 HAS SOUS 23708770 HAS SOUPS 23586860 WITH SCORE 2.3691020257E7
AT ITER 617 NEW BEST:: SOT 153562606 SOS 104160902 HAS SOPS 91650314 HAS SOUS 23702836 HAS SOUPS 23580926 WITH SCORE 2.3685086902E7
AT ITER 636 NEW BEST:: SOT 153562841 SOS 104097915 HAS SOPS 91584546 HAS SOUS 23700269 HAS SOUPS 23578359 WITH SCORE 2.3682456915E7
AT ITER 642 NEW BEST:: SOT 153548356 SOS 104205409 HAS SOPS 91647497 HAS SOUS 23694378 HAS SOUPS 23571637 WITH SCORE 2.3675842409E7
AT ITER 650 NEW BEST:: SOT 153545914 SOS 104203032 HAS SOPS 91644150 HAS SOUS 23685791 HAS SOUPS 23563050 WITH SCORE 2.3667253032E7
AT ITER 655 NEW BEST:: SOT 153545869 SOS 104202991 HAS SOPS 91642627 HAS SOUS 23685425 HAS SOUPS 23562684 WITH SCORE 2.3666886991E7
AT ITER 662 NEW BEST:: SOT 153544777 SOS 104201899 HAS SOPS 91641483 HAS SOUS 23682955 HAS SOUPS 23560214 WITH SCORE 2.3664415899E7
AT ITER 676 NEW BEST:: SOT 153546194 SOS 104180594 HAS SOPS 91618938 HAS SOUS 23680420 HAS SOUPS 23557679 WITH SCORE 2.3661859594E7
AT ITER 691 NEW BEST:: SOT 153554939 SOS 104186792 HAS SOPS 91625013 HAS SOUS 23672920 HAS SOUPS 23550268 WITH SCORE 2.3654454792E7
AT ITER 716 NEW BEST:: SOT 153554922 SOS 104186775 HAS SOPS 91625030 HAS SOUS 23672418 HAS SOUPS 23549766 WITH SCORE 2.3653952775E7
AT ITER 734 NEW BEST:: SOT 153522582 SOS 104154805 HAS SOPS 91592898 HAS SOUS 23636704 HAS SOUPS 23514052 WITH SCORE 2.3618206805E7
AT ITER 736 NEW BEST:: SOT 153528070 SOS 104159717 HAS SOPS 91594991 HAS SOUS 23621693 HAS SOUPS 23499041 WITH SCORE 2.3603200717E7
AT ITER 745 NEW BEST:: SOT 153533479 SOS 104130546 HAS SOPS 91569629 HAS SOUS 23600535 HAS SOUPS 23477883 WITH SCORE 2.3582013546E7
AT ITER 769 NEW BEST:: SOT 153530952 SOS 104125004 HAS SOPS 91559234 HAS SOUS 23584612 HAS SOUPS 23462235 WITH SCORE 2.3566360004E7
AT ITER 775 NEW BEST:: SOT 153553008 SOS 104146751 HAS SOPS 91576982 HAS SOUS 23583741 HAS SOUPS 23461346 WITH SCORE 2.3565492751E7
AT ITER 776 NEW BEST:: SOT 153552604 SOS 104146369 HAS SOPS 91574291 HAS SOUS 23578456 HAS SOUPS 23456061 WITH SCORE 2.3560207369E7
AT ITER 779 NEW BEST:: SOT 153553182 SOS 104146859 HAS SOPS 91578813 HAS SOUS 23577245 HAS SOUPS 23454850 WITH SCORE 2.3558996859E7
AT ITER 785 NEW BEST:: SOT 153520044 SOS 104114085 HAS SOPS 91545539 HAS SOUS 23537743 HAS SOUPS 23415178 WITH SCORE 2.3519292085E7
AT ITER 790 NEW BEST:: SOT 153486677 SOS 104087595 HAS SOPS 91519087 HAS SOUS 23485300 HAS SOUPS 23363344 WITH SCORE 2.3467431595E7
AT ITER 797 NEW BEST:: SOT 153487214 SOS 104090432 HAS SOPS 91526045 HAS SOUS 23482757 HAS SOUPS 23360938 WITH SCORE 2.3465028432E7
AT ITER 827 NEW BEST:: SOT 153481796 SOS 104084800 HAS SOPS 91514747 HAS SOUS 23462100 HAS SOUPS 23340281 WITH SCORE 2.34443658E7
AT ITER 851 NEW BEST:: SOT 153467357 SOS 104070201 HAS SOPS 91499731 HAS SOUS 23431113 HAS SOUPS 23309294 WITH SCORE 2.3413364201E7
AT ITER 858 NEW BEST:: SOT 153484790 SOS 104125601 HAS SOPS 91546967 HAS SOUS 23422012 HAS SOUPS 23300193 WITH SCORE 2.3404318601E7
AT ITER 870 NEW BEST:: SOT 153496761 SOS 104148623 HAS SOPS 91569506 HAS SOUS 23420191 HAS SOUPS 23298372 WITH SCORE 2.3402520623E7
AT ITER 879 NEW BEST:: SOT 153497674 SOS 104149525 HAS SOPS 91571057 HAS SOUS 23419201 HAS SOUPS 23297382 WITH SCORE 2.3401531525E7
AT ITER 880 NEW BEST:: SOT 153502111 SOS 104154422 HAS SOPS 91568617 HAS SOUS 23409458 HAS SOUPS 23287639 WITH SCORE 2.3391793422E7
AT ITER 885 NEW BEST:: SOT 153664464 SOS 104313820 HAS SOPS 91722353 HAS SOUS 23378750 HAS SOUPS 23256931 WITH SCORE 2.336124482E7
AT ITER 898 NEW BEST:: SOT 153667594 SOS 104262559 HAS SOPS 91669744 HAS SOUS 23377775 HAS SOUPS 23255956 WITH SCORE 2.3360218559E7
AT ITER 917 NEW BEST:: SOT 153668992 SOS 104196677 HAS SOPS 91675721 HAS SOUS 23375362 HAS SOUPS 23253308 WITH SCORE 2.3357504677E7
AT ITER 932 NEW BEST:: SOT 153674098 SOS 104201381 HAS SOPS 91680163 HAS SOUS 23367579 HAS SOUPS 23245525 WITH SCORE 2.3349726381E7
AT ITER 947 NEW BEST:: SOT 153670304 SOS 104197785 HAS SOPS 91675225 HAS SOUS 23362548 HAS SOUPS 23240494 WITH SCORE 2.3344691785E7
AT ITER 948 NEW BEST:: SOT 153669692 SOS 104197161 HAS SOPS 91674481 HAS SOUS 23361720 HAS SOUPS 23239666 WITH SCORE 2.3343863161E7
AT ITER 949 NEW BEST:: SOT 153665846 SOS 104345286 HAS SOPS 91825438 HAS SOUS 23359225 HAS SOUPS 23236942 WITH SCORE 2.3341287286E7
AT ITER 958 NEW BEST:: SOT 153664314 SOS 104343754 HAS SOPS 91823192 HAS SOUS 23354939 HAS SOUPS 23232656 WITH SCORE 2.3336999754E7
AT ITER 966 NEW BEST:: SOT 153662721 SOS 104342161 HAS SOPS 91820554 HAS SOUS 23322117 HAS SOUPS 23199834 WITH SCORE 2.3304176161E7
AT ITER 972 NEW BEST:: SOT 153663697 SOS 104310132 HAS SOPS 91791844 HAS SOUS 23318313 HAS SOUPS 23196106 WITH SCORE 2.3300416132E7
AT ITER 983 NEW BEST:: SOT 153658491 SOS 104305058 HAS SOPS 91786510 HAS SOUS 23298106 HAS SOUPS 23175899 WITH SCORE 2.3280204058E7
AT ITER 993 NEW BEST:: SOT 153659823 SOS 104306427 HAS SOPS 91788545 HAS SOUS 23298069 HAS SOUPS 23175862 WITH SCORE 2.3280168427E7
AT ITER 1002 NEW BEST:: SOT 153660067 SOS 104356360 HAS SOPS 91829244 HAS SOUS 23288227 HAS SOUPS 23165775 WITH SCORE 2.327013136E7
AT ITER 1009 NEW BEST:: SOT 153661797 SOS 104358201 HAS SOPS 91828426 HAS SOUS 23285018 HAS SOUPS 23162566 WITH SCORE 2.3266924201E7
AT ITER 1010 NEW BEST:: SOT 153663663 SOS 104360168 HAS SOPS 91830245 HAS SOUS 23283433 HAS SOUPS 23160981 WITH SCORE 2.3265341168E7
AT ITER 1019 NEW BEST:: SOT 153662109 SOS 104358589 HAS SOPS 91827691 HAS SOUS 23281862 HAS SOUPS 23159410 WITH SCORE 2.3263768589E7
AT ITER 1023 NEW BEST:: SOT 153660409 SOS 104356989 HAS SOPS 91824791 HAS SOUS 23273862 HAS SOUPS 23151410 WITH SCORE 2.3255766989E7
AT ITER 1032 NEW BEST:: SOT 153655582 SOS 104352634 HAS SOPS 91829841 HAS SOUS 23261681 HAS SOUPS 23139229 WITH SCORE 2.3243581634E7
AT ITER 1034 NEW BEST:: SOT 153631369 SOS 104295954 HAS SOPS 91777523 HAS SOUS 23254438 HAS SOUPS 23132020 WITH SCORE 2.3236315954E7
AT ITER 1041 NEW BEST:: SOT 153631539 SOS 104296124 HAS SOPS 91778492 HAS SOUS 23254172 HAS SOUPS 23131754 WITH SCORE 2.3236050124E7
AT ITER 1045 NEW BEST:: SOT 153631427 SOS 104294696 HAS SOPS 91777064 HAS SOUS 23254032 HAS SOUPS 23131614 WITH SCORE 2.3235908696E7
AT ITER 1046 NEW BEST:: SOT 153639288 SOS 104302235 HAS SOPS 91780974 HAS SOUS 23244452 HAS SOUPS 23122034 WITH SCORE 2.3226336235E7
AT ITER 1047 NEW BEST:: SOT 153624355 SOS 104278268 HAS SOPS 91755938 HAS SOUS 23239633 HAS SOUPS 23117215 WITH SCORE 2.3221493268E7
AT ITER 1067 NEW BEST:: SOT 153624294 SOS 104269413 HAS SOPS 91747083 HAS SOUS 23239444 HAS SOUPS 23117026 WITH SCORE 2.3221295413E7
AT ITER 1071 NEW BEST:: SOT 153469716 SOS 104243171 HAS SOPS 91720910 HAS SOUS 23082798 HAS SOUPS 22960380 WITH SCORE 2.3064623171E7
AT ITER 1084 NEW BEST:: SOT 153471647 SOS 104239805 HAS SOPS 91717544 HAS SOUS 23080764 HAS SOUPS 22958346 WITH SCORE 2.3062585805E7
AT ITER 1096 NEW BEST:: SOT 153468371 SOS 104236151 HAS SOPS 91713155 HAS SOUS 23070940 HAS SOUPS 22948522 WITH SCORE 2.3052758151E7
AT ITER 1103 NEW BEST:: SOT 153433943 SOS 104184506 HAS SOPS 91658761 HAS SOUS 23049405 HAS SOUPS 22926987 WITH SCORE 2.3031171506E7
AT ITER 1154 NEW BEST:: SOT 153433943 SOS 104184472 HAS SOPS 91659254 HAS SOUS 23049286 HAS SOUPS 22926885 WITH SCORE 2.3031069472E7
AT ITER 1156 NEW BEST:: SOT 153434652 SOS 104185181 HAS SOPS 91660227 HAS SOUS 23046915 HAS SOUPS 22924514 WITH SCORE 2.3028699181E7
AT ITER 1161 NEW BEST:: SOT 153436029 SOS 104183693 HAS SOPS 91658739 HAS SOUS 23045402 HAS SOUPS 22923001 WITH SCORE 2.3027184693E7
AT ITER 1167 NEW BEST:: SOT 153440060 SOS 104142000 HAS SOPS 91663265 HAS SOUS 23031849 HAS SOUPS 22909684 WITH SCORE 2.3013826E7
AT ITER 1168 NEW BEST:: SOT 153439827 SOS 104141767 HAS SOPS 91662950 HAS SOUS 23031591 HAS SOUPS 22909426 WITH SCORE 2.3013567767E7
AT ITER 1185 NEW BEST:: SOT 153439854 SOS 104141834 HAS SOPS 91662913 HAS SOUS 23031349 HAS SOUPS 22909188 WITH SCORE 2.3013329834E7
AT ITER 1188 NEW BEST:: SOT 153405159 SOS 104091319 HAS SOPS 91610851 HAS SOUS 23024812 HAS SOUPS 22902651 WITH SCORE 2.3006742319E7
AT ITER 1190 NEW BEST:: SOT 153405938 SOS 104092166 HAS SOPS 91611613 HAS SOUS 23022390 HAS SOUPS 22900399 WITH SCORE 2.3004491166E7
AT ITER 1202 NEW BEST:: SOT 153405270 SOS 104040949 HAS SOPS 91560195 HAS SOUS 23019487 HAS SOUPS 22897496 WITH SCORE 2.3001536949E7
AT ITER 1223 NEW BEST:: SOT 153405125 SOS 104040804 HAS SOPS 91559770 HAS SOUS 23017260 HAS SOUPS 22895269 WITH SCORE 2.2999309804E7
AT ITER 1231 NEW BEST:: SOT 153404639 SOS 104040261 HAS SOPS 91558964 HAS SOUS 23015064 HAS SOUPS 22893073 WITH SCORE 2.2997113261E7
AT ITER 1236 NEW BEST:: SOT 153402101 SOS 104037750 HAS SOPS 91556156 HAS SOUS 23011095 HAS SOUPS 22889104 WITH SCORE 2.299314175E7
AT ITER 1245 NEW BEST:: SOT 153410258 SOS 104046249 HAS SOPS 91562068 HAS SOUS 23007138 HAS SOUPS 22885147 WITH SCORE 2.2989193249E7
AT ITER 1254 NEW BEST:: SOT 153410448 SOS 104046587 HAS SOPS 91562478 HAS SOUS 23007052 HAS SOUPS 22885061 WITH SCORE 2.2989107587E7
AT ITER 1271 NEW BEST:: SOT 153410421 SOS 104046560 HAS SOPS 91562448 HAS SOUS 23006974 HAS SOUPS 22884983 WITH SCORE 2.298902956E7
AT ITER 1280 NEW BEST:: SOT 153397854 SOS 104033993 HAS SOPS 91548570 HAS SOUS 22986692 HAS SOUPS 22864701 WITH SCORE 2.2968734993E7
AT ITER 1283 NEW BEST:: SOT 153395194 SOS 104017232 HAS SOPS 91547209 HAS SOUS 22985152 HAS SOUPS 22863216 WITH SCORE 2.2967233232E7
AT ITER 1284 NEW BEST:: SOT 153412194 SOS 104038713 HAS SOPS 91567066 HAS SOUS 22978163 HAS SOUPS 22856012 WITH SCORE 2.2960050713E7
AT ITER 1304 NEW BEST:: SOT 153358124 SOS 104047276 HAS SOPS 91577756 HAS SOUS 22924379 HAS SOUPS 22802228 WITH SCORE 2.2906275276E7
AT ITER 1310 NEW BEST:: SOT 153338536 SOS 104034052 HAS SOPS 91572081 HAS SOUS 22924141 HAS SOUPS 22801383 WITH SCORE 2.2905417052E7
AT ITER 1321 NEW BEST:: SOT 153281192 SOS 103972299 HAS SOPS 91507098 HAS SOUS 22890364 HAS SOUPS 22767606 WITH SCORE 2.2871578299E7
AT ITER 1323 NEW BEST:: SOT 153278774 SOS 103969881 HAS SOPS 91504238 HAS SOUS 22885788 HAS SOUPS 22763030 WITH SCORE 2.2866999881E7
AT ITER 1330 NEW BEST:: SOT 153283777 SOS 103856767 HAS SOPS 91381862 HAS SOUS 22873330 HAS SOUPS 22750801 WITH SCORE 2.2854657767E7
AT ITER 1351 NEW BEST:: SOT 153297232 SOS 103870336 HAS SOPS 91398113 HAS SOUS 22866153 HAS SOUPS 22743624 WITH SCORE 2.2847494336E7
AT ITER 1363 NEW BEST:: SOT 153297047 SOS 103870151 HAS SOPS 91397780 HAS SOUS 22864451 HAS SOUPS 22741922 WITH SCORE 2.2845792151E7
AT ITER 1374 NEW BEST:: SOT 153298653 SOS 103871622 HAS SOPS 91398190 HAS SOUS 22862487 HAS SOUPS 22739958 WITH SCORE 2.2843829622E7
AT ITER 1377 NEW BEST:: SOT 153298662 SOS 103871631 HAS SOPS 91398199 HAS SOUS 22862307 HAS SOUPS 22739778 WITH SCORE 2.2843649631E7
AT ITER 1381 NEW BEST:: SOT 153291398 SOS 103864281 HAS SOPS 91390140 HAS SOUS 22858655 HAS SOUPS 22736126 WITH SCORE 2.2839990281E7
AT ITER 1385 NEW BEST:: SOT 153290498 SOS 103863400 HAS SOPS 91389497 HAS SOUS 22858488 HAS SOUPS 22735959 WITH SCORE 2.28398224E7
AT ITER 1403 NEW BEST:: SOT 153289450 SOS 103858669 HAS SOPS 91384766 HAS SOUS 22854956 HAS SOUPS 22732427 WITH SCORE 2.2836285669E7
AT ITER 1423 NEW BEST:: SOT 153279087 SOS 103848306 HAS SOPS 91372220 HAS SOUS 22826245 HAS SOUPS 22703716 WITH SCORE 2.2807564306E7
AT ITER 1434 NEW BEST:: SOT 153655890 SOS 104224981 HAS SOPS 91742918 HAS SOUS 22813530 HAS SOUPS 22690611 WITH SCORE 2.2794835981E7
AT ITER 1437 NEW BEST:: SOT 153656196 SOS 104225236 HAS SOPS 91743173 HAS SOUS 22812969 HAS SOUPS 22690050 WITH SCORE 2.2794275236E7
AT ITER 1438 NEW BEST:: SOT 153656996 SOS 104269050 HAS SOPS 91786934 HAS SOUS 22812258 HAS SOUPS 22689339 WITH SCORE 2.279360805E7
AT ITER 1449 NEW BEST:: SOT 153647587 SOS 104259181 HAS SOPS 91781768 HAS SOUS 22804177 HAS SOUPS 22681258 WITH SCORE 2.2785517181E7
AT ITER 1457 NEW BEST:: SOT 153632187 SOS 104139872 HAS SOPS 91712140 HAS SOUS 22780951 HAS SOUPS 22657342 WITH SCORE 2.2761481872E7
AT ITER 1475 NEW BEST:: SOT 153589220 SOS 104094869 HAS SOPS 91662629 HAS SOUS 22747988 HAS SOUPS 22624786 WITH SCORE 2.2728880869E7
AT ITER 1495 NEW BEST:: SOT 153604806 SOS 104112874 HAS SOPS 91678755 HAS SOUS 22741038 HAS SOUPS 22617653 WITH SCORE 2.2721765874E7
AT ITER 1500 NEW BEST:: SOT 153598761 SOS 104106829 HAS SOPS 91667842 HAS SOUS 22728499 HAS SOUPS 22605114 WITH SCORE 2.2709220829E7
AT ITER 1506 NEW BEST:: SOT 153596050 SOS 104104187 HAS SOPS 91664448 HAS SOUS 22725256 HAS SOUPS 22601871 WITH SCORE 2.2705975187E7
AT ITER 1541 NEW BEST:: SOT 153595307 SOS 104103325 HAS SOPS 91664962 HAS SOUS 22718608 HAS SOUPS 22595223 WITH SCORE 2.2699326325E7
AT ITER 1574 NEW BEST:: SOT 153595307 SOS 104028227 HAS SOPS 91588774 HAS SOUS 22717107 HAS SOUPS 22593722 WITH SCORE 2.2697750227E7
AT ITER 1575 NEW BEST:: SOT 153595034 SOS 103964298 HAS SOPS 91523089 HAS SOUS 22714808 HAS SOUPS 22591423 WITH SCORE 2.2695387298E7
AT ITER 1589 NEW BEST:: SOT 153591774 SOS 103892372 HAS SOPS 91474457 HAS SOUS 22698383 HAS SOUPS 22575163 WITH SCORE 2.2679055372E7
AT ITER 1599 NEW BEST:: SOT 153592073 SOS 103892694 HAS SOPS 91475239 HAS SOUS 22698360 HAS SOUPS 22575140 WITH SCORE 2.2679032694E7
AT ITER 1643 NEW BEST:: SOT 153592073 SOS 103892252 HAS SOPS 91474797 HAS SOUS 22698360 HAS SOUPS 22575140 WITH SCORE 2.2679032252E7
AT ITER 1645 NEW BEST:: SOT 153591506 SOS 103963167 HAS SOPS 91549204 HAS SOUS 22696501 HAS SOUPS 22573549 WITH SCORE 2.2677512167E7
AT ITER 1652 NEW BEST:: SOT 153587954 SOS 103953943 HAS SOPS 91539868 HAS SOUS 22695764 HAS SOUPS 22572812 WITH SCORE 2.2676765943E7
AT ITER 1673 NEW BEST:: SOT 153593331 SOS 104096735 HAS SOPS 91584886 HAS SOUS 22670015 HAS SOUPS 22546693 WITH SCORE 2.2650789735E7
AT ITER 1678 NEW BEST:: SOT 153612729 SOS 104115312 HAS SOPS 91600913 HAS SOUS 22664367 HAS SOUPS 22541307 WITH SCORE 2.2645422312E7
AT ITER 1682 NEW BEST:: SOT 153612341 SOS 104114478 HAS SOPS 91595297 HAS SOUS 22647170 HAS SOUPS 22524110 WITH SCORE 2.2628224478E7
AT ITER 1688 NEW BEST:: SOT 153595967 SOS 104053996 HAS SOPS 91568639 HAS SOUS 22640360 HAS SOUPS 22517380 WITH SCORE 2.2621433996E7
AT ITER 1690 NEW BEST:: SOT 153568850 SOS 104036107 HAS SOPS 91551006 HAS SOUS 22639004 HAS SOUPS 22516024 WITH SCORE 2.2620060107E7
AT ITER 1694 NEW BEST:: SOT 153573762 SOS 104041122 HAS SOPS 91556791 HAS SOUS 22636492 HAS SOUPS 22513512 WITH SCORE 2.2617553122E7
AT ITER 1720 NEW BEST:: SOT 153576784 SOS 104036880 HAS SOPS 91554603 HAS SOUS 22633304 HAS SOUPS 22510324 WITH SCORE 2.261436088E7
AT ITER 1728 NEW BEST:: SOT 153576802 SOS 104036970 HAS SOPS 91554123 HAS SOUS 22633232 HAS SOUPS 22510252 WITH SCORE 2.261428897E7
AT ITER 1737 NEW BEST:: SOT 153572532 SOS 104021048 HAS SOPS 91545342 HAS SOUS 22632739 HAS SOUPS 22509044 WITH SCORE 2.2613065048E7
AT ITER 1740 NEW BEST:: SOT 153554630 SOS 104003146 HAS SOPS 91526012 HAS SOUS 22597080 HAS SOUPS 22473379 WITH SCORE 2.2577382146E7
AT ITER 1755 NEW BEST:: SOT 153563993 SOS 104012530 HAS SOPS 91533892 HAS SOUS 22589172 HAS SOUPS 22465471 WITH SCORE 2.256948353E7
AT ITER 1767 NEW BEST:: SOT 153563911 SOS 104012028 HAS SOPS 91533390 HAS SOUS 22588925 HAS SOUPS 22465224 WITH SCORE 2.2569236028E7
AT ITER 1773 NEW BEST:: SOT 153564285 SOS 104299752 HAS SOPS 91769747 HAS SOUS 22588230 HAS SOUPS 22464249 WITH SCORE 2.2568548752E7
AT ITER 1802 NEW BEST:: SOT 153564302 SOS 104298145 HAS SOPS 91766807 HAS SOUS 22588163 HAS SOUPS 22464182 WITH SCORE 2.2568480145E7
AT ITER 1816 NEW BEST:: SOT 153566115 SOS 104299958 HAS SOPS 91767045 HAS SOUS 22586720 HAS SOUPS 22462739 WITH SCORE 2.2567038958E7
AT ITER 1823 NEW BEST:: SOT 153575348 SOS 104328532 HAS SOPS 91795845 HAS SOUS 22578570 HAS SOUPS 22454730 WITH SCORE 2.2559058532E7
AT ITER 1831 NEW BEST:: SOT 153557303 SOS 104310487 HAS SOPS 91776345 HAS SOUS 22547997 HAS SOUPS 22423983 WITH SCORE 2.2528293487E7
AT ITER 1842 NEW BEST:: SOT 153566284 SOS 104319109 HAS SOPS 91778210 HAS SOUS 22536718 HAS SOUPS 22412704 WITH SCORE 2.2517023109E7
AT ITER 1858 NEW BEST:: SOT 153588058 SOS 104377439 HAS SOPS 91765672 HAS SOUS 22514802 HAS SOUPS 22390636 WITH SCORE 2.2495013439E7
AT ITER 1865 NEW BEST:: SOT 153572878 SOS 104361238 HAS SOPS 91749576 HAS SOUS 22501480 HAS SOUPS 22377309 WITH SCORE 2.2481670238E7
AT ITER 1868 NEW BEST:: SOT 153582254 SOS 104370614 HAS SOPS 91758601 HAS SOUS 22501359 HAS SOUPS 22377188 WITH SCORE 2.2481558614E7
AT ITER 1875 NEW BEST:: SOT 153582228 SOS 104370588 HAS SOPS 91758569 HAS SOUS 22501273 HAS SOUPS 22377102 WITH SCORE 2.2481472588E7
AT ITER 1877 NEW BEST:: SOT 153582513 SOS 104348779 HAS SOPS 91759907 HAS SOUS 22499527 HAS SOUPS 22375356 WITH SCORE 2.2479704779E7
AT ITER 1902 NEW BEST:: SOT 153581487 SOS 104347753 HAS SOPS 91758185 HAS SOUS 22493513 HAS SOUPS 22369342 WITH SCORE 2.2473689753E7
AT ITER 1906 NEW BEST:: SOT 153583065 SOS 104349152 HAS SOPS 91759092 HAS SOUS 22490404 HAS SOUPS 22366233 WITH SCORE 2.2470582152E7
AT ITER 1908 NEW BEST:: SOT 153583150 SOS 104345753 HAS SOPS 91757929 HAS SOUS 22488727 HAS SOUPS 22364599 WITH SCORE 2.2468944753E7
AT ITER 1919 NEW BEST:: SOT 153567993 SOS 104330596 HAS SOPS 91742606 HAS SOUS 22480353 HAS SOUPS 22356225 WITH SCORE 2.2460555596E7
AT ITER 1920 NEW BEST:: SOT 153558713 SOS 104321316 HAS SOPS 91732800 HAS SOUS 22465046 HAS SOUPS 22340924 WITH SCORE 2.2445245316E7
AT ITER 1927 NEW BEST:: SOT 153558641 SOS 104320276 HAS SOPS 91732022 HAS SOUS 22464960 HAS SOUPS 22340840 WITH SCORE 2.2445160276E7
AT ITER 1944 NEW BEST:: SOT 153558793 SOS 104319862 HAS SOPS 91731608 HAS SOUS 22464641 HAS SOUPS 22340521 WITH SCORE 2.2444840862E7
AT ITER 1945 NEW BEST:: SOT 153551844 SOS 104312913 HAS SOPS 91725048 HAS SOUS 22449408 HAS SOUPS 22325288 WITH SCORE 2.2429600913E7
AT ITER 1948 NEW BEST:: SOT 153549539 SOS 104310300 HAS SOPS 91729195 HAS SOUS 22449139 HAS SOUPS 22325019 WITH SCORE 2.24293293E7
AT ITER 1956 NEW BEST:: SOT 153549045 SOS 104309807 HAS SOPS 91728642 HAS SOUS 22448316 HAS SOUPS 22324196 WITH SCORE 2.2428505807E7
AT ITER 1963 NEW BEST:: SOT 153550411 SOS 104199528 HAS SOPS 91613114 HAS SOUS 22445269 HAS SOUPS 22321149 WITH SCORE 2.2425348528E7
AT ITER 1975 NEW BEST:: SOT 153550141 SOS 104199258 HAS SOPS 91612934 HAS SOUS 22445233 HAS SOUPS 22321113 WITH SCORE 2.2425312258E7
AT ITER 1986 NEW BEST:: SOT 153553463 SOS 104201956 HAS SOPS 91617292 HAS SOUS 22434221 HAS SOUPS 22310101 WITH SCORE 2.2414302956E7
AT ITER 2040 NEW BEST:: SOT 153553478 SOS 104202982 HAS SOPS 91615663 HAS SOUS 22433894 HAS SOUPS 22309774 WITH SCORE 2.2413976982E7
AT ITER 2054 NEW BEST:: SOT 153549210 SOS 104236978 HAS SOPS 91647592 HAS SOUS 22422244 HAS SOUPS 22298124 WITH SCORE 2.2402360978E7
AT ITER 2061 NEW BEST:: SOT 153538200 SOS 104230696 HAS SOPS 91642191 HAS SOUS 22416603 HAS SOUPS 22291890 WITH SCORE 2.2396120696E7
AT ITER 2068 NEW BEST:: SOT 153538044 SOS 104230582 HAS SOPS 91642077 HAS SOUS 22416573 HAS SOUPS 22291860 WITH SCORE 2.2396090582E7
AT ITER 2069 NEW BEST:: SOT 153537620 SOS 104159997 HAS SOPS 91568740 HAS SOUS 22410191 HAS SOUPS 22285478 WITH SCORE 2.2389637997E7
AT ITER 2071 NEW BEST:: SOT 153517546 SOS 104150181 HAS SOPS 91558121 HAS SOUS 22402721 HAS SOUPS 22278008 WITH SCORE 2.2382158181E7
AT ITER 2076 NEW BEST:: SOT 153516299 SOS 104148902 HAS SOPS 91557977 HAS SOUS 22398403 HAS SOUPS 22273690 WITH SCORE 2.2377838902E7
AT ITER 2083 NEW BEST:: SOT 153521100 SOS 104146397 HAS SOPS 91553715 HAS SOUS 22394546 HAS SOUPS 22269961 WITH SCORE 2.2374107397E7
AT ITER 2089 NEW BEST:: SOT 153529124 SOS 104154361 HAS SOPS 91562207 HAS SOUS 22386806 HAS SOUPS 22262221 WITH SCORE 2.2366375361E7
AT ITER 2096 NEW BEST:: SOT 153518447 SOS 104143684 HAS SOPS 91546358 HAS SOUS 22368785 HAS SOUPS 22243486 WITH SCORE 2.2347629684E7
AT ITER 2104 NEW BEST:: SOT 153510445 SOS 104129225 HAS SOPS 91531530 HAS SOUS 22363719 HAS SOUPS 22238420 WITH SCORE 2.2342549225E7
AT ITER 2118 NEW BEST:: SOT 153516163 SOS 104134943 HAS SOPS 91534981 HAS SOUS 22361648 HAS SOUPS 22236349 WITH SCORE 2.2340483943E7
AT ITER 2120 NEW BEST:: SOT 153515855 SOS 104134646 HAS SOPS 91534706 HAS SOUS 22360790 HAS SOUPS 22235491 WITH SCORE 2.2339625646E7
AT ITER 2146 NEW BEST:: SOT 153515575 SOS 104134366 HAS SOPS 91534310 HAS SOUS 22359440 HAS SOUPS 22234141 WITH SCORE 2.2338275366E7
AT ITER 2154 NEW BEST:: SOT 153512841 SOS 104131536 HAS SOPS 91530264 HAS SOUS 22353906 HAS SOUPS 22228607 WITH SCORE 2.2332738536E7
AT ITER 2158 NEW BEST:: SOT 153517193 SOS 104136577 HAS SOPS 91533905 HAS SOUS 22350922 HAS SOUPS 22225623 WITH SCORE 2.2329759577E7
AT ITER 2166 NEW BEST:: SOT 153517065 SOS 104145977 HAS SOPS 91543305 HAS SOUS 22350387 HAS SOUPS 22225088 WITH SCORE 2.2329233977E7
AT ITER 2185 NEW BEST:: SOT 153518478 SOS 104147390 HAS SOPS 91544572 HAS SOUS 22347691 HAS SOUPS 22222392 WITH SCORE 2.232653939E7
AT ITER 2197 NEW BEST:: SOT 153518858 SOS 104152003 HAS SOPS 91549185 HAS SOUS 22345568 HAS SOUPS 22220269 WITH SCORE 2.2324421003E7
AT ITER 2199 NEW BEST:: SOT 153518766 SOS 104151912 HAS SOPS 91549091 HAS SOUS 22345413 HAS SOUPS 22220114 WITH SCORE 2.2324265912E7
AT ITER 2201 NEW BEST:: SOT 153540879 SOS 104189676 HAS SOPS 91577450 HAS SOUS 22328613 HAS SOUPS 22203594 WITH SCORE 2.2307783676E7
AT ITER 2207 NEW BEST:: SOT 153526571 SOS 104165357 HAS SOPS 91556418 HAS SOUS 22322544 HAS SOUPS 22197525 WITH SCORE 2.2301690357E7
AT ITER 2215 NEW BEST:: SOT 153526390 SOS 104160546 HAS SOPS 91551607 HAS SOUS 22321774 HAS SOUPS 22196755 WITH SCORE 2.2300915546E7
AT ITER 2222 NEW BEST:: SOT 153526291 SOS 104160260 HAS SOPS 91551083 HAS SOUS 22320711 HAS SOUPS 22195692 WITH SCORE 2.229985226E7
AT ITER 2251 NEW BEST:: SOT 153519903 SOS 104157408 HAS SOPS 91548965 HAS SOUS 22320077 HAS SOUPS 22195058 WITH SCORE 2.2299215408E7
AT ITER 2255 NEW BEST:: SOT 153517725 SOS 104155248 HAS SOPS 91545589 HAS SOUS 22308074 HAS SOUPS 22183041 WITH SCORE 2.2287196248E7
AT ITER 2269 NEW BEST:: SOT 153526638 SOS 104164161 HAS SOPS 91551438 HAS SOUS 22298858 HAS SOUPS 22173825 WITH SCORE 2.2277989161E7
AT ITER 2271 NEW BEST:: SOT 153522004 SOS 104159527 HAS SOPS 91547054 HAS SOUS 22291827 HAS SOUPS 22166958 WITH SCORE 2.2271117527E7
AT ITER 2273 NEW BEST:: SOT 153366564 SOS 104003682 HAS SOPS 91376073 HAS SOUS 22091575 HAS SOUPS 21966311 WITH SCORE 2.2070314682E7
AT ITER 2304 NEW BEST:: SOT 153366007 SOS 104019769 HAS SOPS 91366388 HAS SOUS 22082758 HAS SOUPS 21957429 WITH SCORE 2.2061448769E7
AT ITER 2314 NEW BEST:: SOT 153361106 SOS 104014835 HAS SOPS 91360167 HAS SOUS 22074953 HAS SOUPS 21949624 WITH SCORE 2.2053638835E7
AT ITER 2320 NEW BEST:: SOT 153365006 SOS 104018657 HAS SOPS 91363833 HAS SOUS 22074899 HAS SOUPS 21949570 WITH SCORE 2.2053588657E7
AT ITER 2326 NEW BEST:: SOT 153365286 SOS 104018937 HAS SOPS 91363665 HAS SOUS 22074283 HAS SOUPS 21948954 WITH SCORE 2.2052972937E7
AT ITER 2329 NEW BEST:: SOT 153362811 SOS 104016387 HAS SOPS 91360515 HAS SOUS 22071019 HAS SOUPS 21945690 WITH SCORE 2.2049706387E7
AT ITER 2330 NEW BEST:: SOT 153372851 SOS 104026427 HAS SOPS 91363537 HAS SOUS 22062389 HAS SOUPS 21937060 WITH SCORE 2.2041086427E7
AT ITER 2332 NEW BEST:: SOT 153385692 SOS 104041715 HAS SOPS 91377796 HAS SOUS 22054183 HAS SOUPS 21928616 WITH SCORE 2.2032657715E7
AT ITER 2344 NEW BEST:: SOT 153385692 SOS 103976858 HAS SOPS 91302665 HAS SOUS 22043928 HAS SOUPS 21918134 WITH SCORE 2.2022110858E7
AT ITER 2348 NEW BEST:: SOT 153385692 SOS 103976216 HAS SOPS 91302023 HAS SOUS 22043788 HAS SOUPS 21917994 WITH SCORE 2.2021970216E7
AT ITER 2350 NEW BEST:: SOT 153382129 SOS 103928141 HAS SOPS 91254687 HAS SOUS 22027335 HAS SOUPS 21901397 WITH SCORE 2.2005325141E7
AT ITER 2354 NEW BEST:: SOT 153363778 SOS 103905696 HAS SOPS 91232383 HAS SOUS 22005168 HAS SOUPS 21879230 WITH SCORE 2.1983135696E7
AT ITER 2363 NEW BEST:: SOT 153367201 SOS 103909249 HAS SOPS 91236441 HAS SOUS 21995972 HAS SOUPS 21870034 WITH SCORE 2.1973943249E7
AT ITER 2371 NEW BEST:: SOT 153379833 SOS 103921792 HAS SOPS 91247652 HAS SOUS 21988403 HAS SOUPS 21862465 WITH SCORE 2.1966386792E7
AT ITER 2388 NEW BEST:: SOT 153379691 SOS 103886382 HAS SOPS 91225319 HAS SOUS 21988052 HAS SOUPS 21862175 WITH SCORE 2.1966061382E7
AT ITER 2391 NEW BEST:: SOT 153380300 SOS 103886905 HAS SOPS 91224275 HAS SOUS 21977430 HAS SOUPS 21851553 WITH SCORE 2.1955439905E7
AT ITER 2419 NEW BEST:: SOT 153688633 SOS 104192097 HAS SOPS 91516891 HAS SOUS 21971666 HAS SOUPS 21845809 WITH SCORE 2.1950001097E7
AT ITER 2420 NEW BEST:: SOT 153688648 SOS 104277329 HAS SOPS 91564769 HAS SOUS 21970246 HAS SOUPS 21844266 WITH SCORE 2.1948543329E7
AT ITER 2426 NEW BEST:: SOT 153694084 SOS 104283570 HAS SOPS 91571239 HAS SOUS 21966331 HAS SOUPS 21841278 WITH SCORE 2.194556157E7
AT ITER 2427 NEW BEST:: SOT 153681774 SOS 104271031 HAS SOPS 91561389 HAS SOUS 21963474 HAS SOUPS 21838421 WITH SCORE 2.1942692031E7
AT ITER 2438 NEW BEST:: SOT 153675617 SOS 104265204 HAS SOPS 91554181 HAS SOUS 21957682 HAS SOUPS 21832629 WITH SCORE 2.1936894204E7
AT ITER 2451 NEW BEST:: SOT 153675232 SOS 104265483 HAS SOPS 91552746 HAS SOUS 21957570 HAS SOUPS 21832489 WITH SCORE 2.1936754483E7
AT ITER 2474 NEW BEST:: SOT 153676756 SOS 104267007 HAS SOPS 91554030 HAS SOUS 21955498 HAS SOUPS 21830417 WITH SCORE 2.1934684007E7
AT ITER 2478 NEW BEST:: SOT 153676370 SOS 104266617 HAS SOPS 91553624 HAS SOUS 21954876 HAS SOUPS 21829795 WITH SCORE 2.1934061617E7
AT ITER 2481 NEW BEST:: SOT 153664941 SOS 104255237 HAS SOPS 91545290 HAS SOUS 21947241 HAS SOUPS 21822160 WITH SCORE 2.1926415237E7
AT ITER 2486 NEW BEST:: SOT 153657712 SOS 104248008 HAS SOPS 91535450 HAS SOUS 21930275 HAS SOUPS 21805194 WITH SCORE 2.1909442008E7
AT ITER 2487 NEW BEST:: SOT 153661083 SOS 104251195 HAS SOPS 91531346 HAS SOUS 21927813 HAS SOUPS 21802732 WITH SCORE 2.1906983195E7
AT ITER 2489 NEW BEST:: SOT 153647591 SOS 104241212 HAS SOPS 91536266 HAS SOUS 21889582 HAS SOUPS 21764501 WITH SCORE 2.1868742212E7
AT ITER 2490 NEW BEST:: SOT 153647073 SOS 104241000 HAS SOPS 91535646 HAS SOUS 21887628 HAS SOUPS 21762547 WITH SCORE 2.1866788E7
AT ITER 2493 NEW BEST:: SOT 153646989 SOS 104230313 HAS SOPS 91524203 HAS SOUS 21885609 HAS SOUPS 21760528 WITH SCORE 2.1864758313E7
AT ITER 2496 NEW BEST:: SOT 153647284 SOS 104207771 HAS SOPS 91523355 HAS SOUS 21884213 HAS SOUPS 21759132 WITH SCORE 2.1863339771E7
AT ITER 2503 NEW BEST:: SOT 153644964 SOS 104205380 HAS SOPS 91520555 HAS SOUS 21883778 HAS SOUPS 21758697 WITH SCORE 2.186290238E7
AT ITER 2506 NEW BEST:: SOT 153644766 SOS 104205182 HAS SOPS 91519664 HAS SOUS 21882621 HAS SOUPS 21757141 WITH SCORE 2.1861346182E7
AT ITER 2540 NEW BEST:: SOT 153633194 SOS 104193610 HAS SOPS 91506726 HAS SOUS 21870397 HAS SOUPS 21744917 WITH SCORE 2.184911061E7
AT ITER 2542 NEW BEST:: SOT 153634820 SOS 104175580 HAS SOPS 91506444 HAS SOUS 21865147 HAS SOUPS 21739877 WITH SCORE 2.184405258E7
AT ITER 2566 NEW BEST:: SOT 153634836 SOS 104168112 HAS SOPS 91511808 HAS SOUS 21864985 HAS SOUPS 21739775 WITH SCORE 2.1843943112E7
AT ITER 2584 NEW BEST:: SOT 153642004 SOS 104174616 HAS SOPS 91520013 HAS SOUS 21852606 HAS SOUPS 21727396 WITH SCORE 2.1831570616E7
AT ITER 2589 NEW BEST:: SOT 153636467 SOS 104168075 HAS SOPS 91512470 HAS SOUS 21840448 HAS SOUPS 21715238 WITH SCORE 2.1819406075E7
AT ITER 2602 NEW BEST:: SOT 153635072 SOS 104166680 HAS SOPS 91507508 HAS SOUS 21825936 HAS SOUPS 21700726 WITH SCORE 2.180489268E7
AT ITER 2624 NEW BEST:: SOT 153635019 SOS 104373732 HAS SOPS 91652274 HAS SOUS 21819480 HAS SOUPS 21693942 WITH SCORE 2.1798315732E7
AT ITER 2633 NEW BEST:: SOT 153634639 SOS 104373090 HAS SOPS 91655075 HAS SOUS 21813085 HAS SOUPS 21687547 WITH SCORE 2.179192009E7
AT ITER 2651 NEW BEST:: SOT 153562137 SOS 104323650 HAS SOPS 91601548 HAS SOUS 21758102 HAS SOUPS 21632564 WITH SCORE 2.173688765E7
AT ITER 2657 NEW BEST:: SOT 153561160 SOS 104323630 HAS SOPS 91597098 HAS SOUS 21751140 HAS SOUPS 21625602 WITH SCORE 2.172992563E7
AT ITER 2661 NEW BEST:: SOT 153562921 SOS 104325190 HAS SOPS 91597578 HAS SOUS 21747960 HAS SOUPS 21622422 WITH SCORE 2.172674719E7
AT ITER 2669 NEW BEST:: SOT 153562921 SOS 104379191 HAS SOPS 91652487 HAS SOUS 21746138 HAS SOUPS 21620600 WITH SCORE 2.1724979191E7
AT ITER 2675 NEW BEST:: SOT 153558936 SOS 104358715 HAS SOPS 91630854 HAS SOUS 21741758 HAS SOUPS 21616220 WITH SCORE 2.1720578715E7
AT ITER 2677 NEW BEST:: SOT 153559458 SOS 104359237 HAS SOPS 91630164 HAS SOUS 21738354 HAS SOUPS 21612816 WITH SCORE 2.1717175237E7
AT ITER 2678 NEW BEST:: SOT 153687533 SOS 104527719 HAS SOPS 91781893 HAS SOUS 21710152 HAS SOUPS 21584311 WITH SCORE 2.1688838719E7
AT ITER 2683 NEW BEST:: SOT 153686724 SOS 104526910 HAS SOPS 91781068 HAS SOUS 21707758 HAS SOUPS 21581887 WITH SCORE 2.168641391E7
AT ITER 2698 NEW BEST:: SOT 153646766 SOS 104482929 HAS SOPS 91734690 HAS SOUS 21691883 HAS SOUPS 21565199 WITH SCORE 2.1669681929E7
AT ITER 2701 NEW BEST:: SOT 153647111 SOS 104485132 HAS SOPS 91736893 HAS SOUS 21691080 HAS SOUPS 21564396 WITH SCORE 2.1668881132E7
AT ITER 2718 NEW BEST:: SOT 153626828 SOS 104460587 HAS SOPS 91712162 HAS SOUS 21678769 HAS SOUPS 21552085 WITH SCORE 2.1656545587E7
AT ITER 2731 NEW BEST:: SOT 153626667 SOS 104460416 HAS SOPS 91711936 HAS SOUS 21678683 HAS SOUPS 21551994 WITH SCORE 2.1656454416E7
AT ITER 2739 NEW BEST:: SOT 153618521 SOS 104451148 HAS SOPS 91707171 HAS SOUS 21674976 HAS SOUPS 21548287 WITH SCORE 2.1652738148E7
AT ITER 2755 NEW BEST:: SOT 153616594 SOS 104449208 HAS SOPS 91705579 HAS SOUS 21671528 HAS SOUPS 21544839 WITH SCORE 2.1649288208E7
AT ITER 2756 NEW BEST:: SOT 153616528 SOS 104437993 HAS SOPS 91694331 HAS SOUS 21670911 HAS SOUPS 21544222 WITH SCORE 2.1648659993E7
AT ITER 2783 NEW BEST:: SOT 153613609 SOS 104435074 HAS SOPS 91690186 HAS SOUS 21660936 HAS SOUPS 21534247 WITH SCORE 2.1638682074E7
AT ITER 2786 NEW BEST:: SOT 153609101 SOS 104430566 HAS SOPS 91683047 HAS SOUS 21637317 HAS SOUPS 21510628 WITH SCORE 2.1615058566E7
AT ITER 2788 NEW BEST:: SOT 153587220 SOS 104408492 HAS SOPS 91655520 HAS SOUS 21607362 HAS SOUPS 21480673 WITH SCORE 2.1585081492E7
AT ITER 2814 NEW BEST:: SOT 153587152 SOS 104337461 HAS SOPS 91613748 HAS SOUS 21606850 HAS SOUPS 21480320 WITH SCORE 2.1584657461E7
AT ITER 2817 NEW BEST:: SOT 153162172 SOS 103912422 HAS SOPS 91188237 HAS SOUS 21140002 HAS SOUPS 21013472 WITH SCORE 2.1117384422E7
AT ITER 2822 NEW BEST:: SOT 153159967 SOS 103910266 HAS SOPS 91185787 HAS SOUS 21133436 HAS SOUPS 21006906 WITH SCORE 2.1110816266E7
AT ITER 2828 NEW BEST:: SOT 153137564 SOS 103887879 HAS SOPS 91166042 HAS SOUS 21124882 HAS SOUPS 20998352 WITH SCORE 2.1102239879E7
AT ITER 2836 NEW BEST:: SOT 153148317 SOS 103898761 HAS SOPS 91171184 HAS SOUS 21113421 HAS SOUPS 20986891 WITH SCORE 2.1090789761E7
AT ITER 2851 NEW BEST:: SOT 153147407 SOS 103896702 HAS SOPS 91169022 HAS SOUS 21112782 HAS SOUPS 20986252 WITH SCORE 2.1090148702E7
AT ITER 2854 NEW BEST:: SOT 153144509 SOS 103893730 HAS SOPS 91164979 HAS SOUS 21106057 HAS SOUPS 20979527 WITH SCORE 2.108342073E7
AT ITER 2861 NEW BEST:: SOT 153109279 SOS 103917976 HAS SOPS 91194951 HAS SOUS 21099692 HAS SOUPS 20973162 WITH SCORE 2.1077079976E7
AT ITER 2895 NEW BEST:: SOT 153113538 SOS 103916455 HAS SOPS 91192477 HAS SOUS 21093833 HAS SOUPS 20967303 WITH SCORE 2.1071219455E7
AT ITER 2911 NEW BEST:: SOT 153079244 SOS 103898146 HAS SOPS 91172073 HAS SOUS 21090248 HAS SOUPS 20962874 WITH SCORE 2.1066772146E7
AT ITER 2964 NEW BEST:: SOT 153073724 SOS 103891846 HAS SOPS 91165368 HAS SOUS 21079855 HAS SOUPS 20952481 WITH SCORE 2.1056372846E7
AT ITER 2978 NEW BEST:: SOT 153074506 SOS 103892628 HAS SOPS 91166252 HAS SOUS 21079413 HAS SOUPS 20952039 WITH SCORE 2.1055931628E7
AT ITER 2983 NEW BEST:: SOT 153098810 SOS 103867421 HAS SOPS 91197943 HAS SOUS 21068031 HAS SOUPS 20940973 WITH SCORE 2.1044840421E7
AT ITER 3017 NEW BEST:: SOT 153090276 SOS 103858877 HAS SOPS 91189554 HAS SOUS 21065407 HAS SOUPS 20938349 WITH SCORE 2.1042207877E7
AT ITER 3018 NEW BEST:: SOT 153085911 SOS 103854739 HAS SOPS 91182421 HAS SOUS 21045519 HAS SOUPS 20918461 WITH SCORE 2.1022315739E7
AT ITER 3027 NEW BEST:: SOT 153065198 SOS 103834026 HAS SOPS 91164118 HAS SOUS 21035345 HAS SOUPS 20908682 WITH SCORE 2.1012516026E7
AT ITER 3044 NEW BEST:: SOT 153065519 SOS 103836062 HAS SOPS 91166154 HAS SOUS 21033177 HAS SOUPS 20906514 WITH SCORE 2.1010350062E7
AT ITER 3057 NEW BEST:: SOT 153064469 SOS 103835018 HAS SOPS 91164678 HAS SOUS 21031593 HAS SOUPS 20904930 WITH SCORE 2.1008765018E7
AT ITER 3075 NEW BEST:: SOT 153064477 SOS 103835748 HAS SOPS 91165408 HAS SOUS 21031278 HAS SOUPS 20904615 WITH SCORE 2.1008450748E7
AT ITER 3079 NEW BEST:: SOT 153056823 SOS 103944615 HAS SOPS 91274405 HAS SOUS 21030645 HAS SOUPS 20903982 WITH SCORE 2.1007926615E7
AT ITER 3086 NEW BEST:: SOT 153057346 SOS 103946257 HAS SOPS 91275624 HAS SOUS 21028999 HAS SOUPS 20903188 WITH SCORE 2.1007134257E7
AT ITER 3096 NEW BEST:: SOT 153063497 SOS 103952635 HAS SOPS 91281960 HAS SOUS 21028344 HAS SOUPS 20902533 WITH SCORE 2.1006485635E7
AT ITER 3102 NEW BEST:: SOT 153094797 SOS 103982919 HAS SOPS 91309125 HAS SOUS 20993730 HAS SOUPS 20867919 WITH SCORE 2.0971901919E7
AT ITER 3103 NEW BEST:: SOT 153089490 SOS 103966522 HAS SOPS 91291848 HAS SOUS 20985939 HAS SOUPS 20860128 WITH SCORE 2.0964094522E7
AT ITER 3107 NEW BEST:: SOT 153088317 SOS 103965332 HAS SOPS 91290471 HAS SOUS 20984647 HAS SOUPS 20858836 WITH SCORE 2.0962801332E7
AT ITER 3118 NEW BEST:: SOT 153044517 SOS 103921094 HAS SOPS 91240977 HAS SOUS 20915827 HAS SOUPS 20789777 WITH SCORE 2.0893698094E7
AT ITER 3132 NEW BEST:: SOT 153042247 SOS 103918824 HAS SOPS 91237753 HAS SOUS 20909817 HAS SOUPS 20783767 WITH SCORE 2.0887685824E7
AT ITER 3135 NEW BEST:: SOT 153029618 SOS 103905786 HAS SOPS 91225447 HAS SOUS 20903464 HAS SOUPS 20777414 WITH SCORE 2.0881319786E7
AT ITER 3147 NEW BEST:: SOT 152999026 SOS 103931728 HAS SOPS 91263306 HAS SOUS 20900064 HAS SOUPS 20774014 WITH SCORE 2.0877945728E7
AT ITER 3167 NEW BEST:: SOT 152896950 SOS 103829652 HAS SOPS 91160896 HAS SOUS 20790620 HAS SOUPS 20664570 WITH SCORE 2.0768399652E7
AT ITER 3169 NEW BEST:: SOT 152896825 SOS 103827280 HAS SOPS 91158524 HAS SOUS 20789988 HAS SOUPS 20663938 WITH SCORE 2.076776528E7
AT ITER 3172 NEW BEST:: SOT 152899576 SOS 104153323 HAS SOPS 91368350 HAS SOUS 20789458 HAS SOUPS 20663062 WITH SCORE 2.0767215323E7
AT ITER 3175 NEW BEST:: SOT 152897272 SOS 104150646 HAS SOPS 91364692 HAS SOUS 20788473 HAS SOUPS 20662077 WITH SCORE 2.0766227646E7
AT ITER 3199 NEW BEST:: SOT 152898954 SOS 104152282 HAS SOPS 91365368 HAS SOUS 20787958 HAS SOUPS 20661562 WITH SCORE 2.0765714282E7
AT ITER 3207 NEW BEST:: SOT 152900482 SOS 104152882 HAS SOPS 91370769 HAS SOUS 20782876 HAS SOUPS 20656480 WITH SCORE 2.0760632882E7
AT ITER 3226 NEW BEST:: SOT 153057729 SOS 104312642 HAS SOPS 91522362 HAS SOUS 20751373 HAS SOUPS 20624977 WITH SCORE 2.0729289642E7
AT ITER 3228 NEW BEST:: SOT 153052668 SOS 104306227 HAS SOPS 91516229 HAS SOUS 20744142 HAS SOUPS 20617746 WITH SCORE 2.0722052227E7
AT ITER 3231 NEW BEST:: SOT 153043335 SOS 104285208 HAS SOPS 91495920 HAS SOUS 20726332 HAS SOUPS 20599936 WITH SCORE 2.0704221208E7
AT ITER 3235 NEW BEST:: SOT 153049424 SOS 104291297 HAS SOPS 91501715 HAS SOUS 20725533 HAS SOUPS 20599137 WITH SCORE 2.0703428297E7
AT ITER 3237 NEW BEST:: SOT 153042196 SOS 104283063 HAS SOPS 91496487 HAS SOUS 20724845 HAS SOUPS 20598449 WITH SCORE 2.0702732063E7
AT ITER 3241 NEW BEST:: SOT 153071998 SOS 104192050 HAS SOPS 91396814 HAS SOUS 20714173 HAS SOUPS 20587777 WITH SCORE 2.069196905E7
AT ITER 3246 NEW BEST:: SOT 153069252 SOS 104188991 HAS SOPS 91391631 HAS SOUS 20712283 HAS SOUPS 20585887 WITH SCORE 2.0690075991E7
AT ITER 3267 NEW BEST:: SOT 153066455 SOS 104186194 HAS SOPS 91388043 HAS SOUS 20698785 HAS SOUPS 20572389 WITH SCORE 2.0676575194E7
AT ITER 3284 NEW BEST:: SOT 153065421 SOS 104184916 HAS SOPS 91386521 HAS SOUS 20688130 HAS SOUPS 20561734 WITH SCORE 2.0665918916E7
AT ITER 3285 NEW BEST:: SOT 153121167 SOS 104240581 HAS SOPS 91415311 HAS SOUS 20661399 HAS SOUPS 20535051 WITH SCORE 2.0639291581E7
AT ITER 3300 NEW BEST:: SOT 153127585 SOS 104246905 HAS SOPS 91423215 HAS SOUS 20660062 HAS SOUPS 20533714 WITH SCORE 2.0637960905E7
AT ITER 3320 NEW BEST:: SOT 153104809 SOS 104220954 HAS SOPS 91397835 HAS SOUS 20625787 HAS SOUPS 20499596 WITH SCORE 2.0603816954E7
AT ITER 3329 NEW BEST:: SOT 153099598 SOS 104214081 HAS SOPS 91390662 HAS SOUS 20624576 HAS SOUPS 20498385 WITH SCORE 2.0602599081E7
AT ITER 3341 NEW BEST:: SOT 153093658 SOS 104207601 HAS SOPS 91382292 HAS SOUS 20608916 HAS SOUPS 20482725 WITH SCORE 2.0586932601E7
AT ITER 3349 NEW BEST:: SOT 153090558 SOS 104204501 HAS SOPS 91379006 HAS SOUS 20602406 HAS SOUPS 20476215 WITH SCORE 2.0580419501E7
AT ITER 3379 NEW BEST:: SOT 153090590 SOS 104205212 HAS SOPS 91379717 HAS SOUS 20602327 HAS SOUPS 20476136 WITH SCORE 2.0580341212E7
AT ITER 3381 NEW BEST:: SOT 153093994 SOS 104220830 HAS SOPS 91392826 HAS SOUS 20597194 HAS SOUPS 20471025 WITH SCORE 2.057524583E7
AT ITER 3392 NEW BEST:: SOT 153093934 SOS 104154865 HAS SOPS 91322676 HAS SOUS 20596126 HAS SOUPS 20469897 WITH SCORE 2.0574051865E7
AT ITER 3422 NEW BEST:: SOT 153088466 SOS 104149363 HAS SOPS 91317013 HAS SOUS 20579377 HAS SOUPS 20453148 WITH SCORE 2.0557297363E7
AT ITER 3430 NEW BEST:: SOT 153088544 SOS 104114598 HAS SOPS 91282333 HAS SOUS 20577380 HAS SOUPS 20451151 WITH SCORE 2.0555265598E7
AT ITER 3437 NEW BEST:: SOT 153083377 SOS 104078778 HAS SOPS 91267675 HAS SOUS 20572208 HAS SOUPS 20446033 WITH SCORE 2.0550111778E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13621148 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15938616 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

tar xzf /home/mcc/BenchKit/INPUTS/RERS2020-PT-pb109.tgz
mv RERS2020-PT-pb109 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;