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.r171-tall-167838858400336.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 FamilyReunion-COL-L00200M0020C010P010G005, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858400336
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 596K
-rw-r--r-- 1 mcc users 7.8K Feb 26 17:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 17:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 15:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 15:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 21:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 26 21:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 26 20:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 20:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:05 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:05 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 24 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 146K 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 1679440891952

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=FamilyReunion-COL-L00200M0020C010P010G005
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 23:21:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 23:21:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 23:21:33] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-21 23:21:33] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-21 23:21:34] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 727 ms
[2023-03-21 23:21:34] [INFO ] Detected 5 constant HL places corresponding to 56 PT places.
[2023-03-21 23:21:34] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 144109 PT places and 134480.0 transition bindings in 37 ms.
[2023-03-21 23:21:34] [INFO ] Unfolded HLPN to a Petri net with 144109 places and 134279 transitions 384937 arcs in 517 ms.
[2023-03-21 23:21:34] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-21 23:21:35] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 144109 places, 134279 transitions and 384937 arcs took 380 ms.
Total runtime 1782 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FamilyReunion (COL), instance L00200M0020C010P010G005
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: 144109 places, 134279 transitions, 384937 arcs.
AT ITER 0 NEW BEST:: SOT -1470596216 SOS 1230352620 HAS SOPS 1230352620 HAS SOUS 1124847691 HAS SOUPS 1124847691 WITH SCORE 1.12607804362E9
AT ITER 67 NEW BEST:: SOT -1470596216 SOS 1230351113 HAS SOPS 1230351113 HAS SOUS 1124846184 HAS SOUPS 1124846184 WITH SCORE 1.126076535113E9
AT ITER 70 NEW BEST:: SOT -1470596216 SOS 1230350353 HAS SOPS 1230350353 HAS SOUS 1124845424 HAS SOUPS 1124845424 WITH SCORE 1.126075774353E9
AT ITER 87 NEW BEST:: SOT -1470596216 SOS 1230347200 HAS SOPS 1230347200 HAS SOUS 1124842271 HAS SOUPS 1124842271 WITH SCORE 1.1260726182E9
AT ITER 93 NEW BEST:: SOT -1470600416 SOS 1230338779 HAS SOPS 1230338779 HAS SOUS 1124833850 HAS SOUPS 1124833850 WITH SCORE 1.126064188779E9
AT ITER 98 NEW BEST:: SOT -1470657011 SOS 1230496069 HAS SOPS 1230496069 HAS SOUS 1124800720 HAS SOUPS 1124800720 WITH SCORE 1.126031216069E9
AT ITER 100 NEW BEST:: SOT -1470657011 SOS 1230493383 HAS SOPS 1230493383 HAS SOUS 1124798034 HAS SOUPS 1124798034 WITH SCORE 1.126028527383E9
AT ITER 111 NEW BEST:: SOT -1470657011 SOS 1230490049 HAS SOPS 1230490049 HAS SOUS 1124794700 HAS SOUPS 1124794700 WITH SCORE 1.126025190049E9
AT ITER 112 NEW BEST:: SOT -1470659096 SOS 1230487964 HAS SOPS 1230487964 HAS SOUS 1124792615 HAS SOUPS 1124792615 WITH SCORE 1.126023102964E9
AT ITER 176 NEW BEST:: SOT -1470663518 SOS 1230479120 HAS SOPS 1230479120 HAS SOUS 1124783771 HAS SOUPS 1124783771 WITH SCORE 1.12601425012E9
AT ITER 201 NEW BEST:: SOT -1470726191 SOS 1230442572 HAS SOPS 1230442572 HAS SOUS 1124729739 HAS SOUPS 1124729739 WITH SCORE 1.125960181572E9
AT ITER 275 NEW BEST:: SOT -1470726191 SOS 1230441568 HAS SOPS 1230441568 HAS SOUS 1124728735 HAS SOUPS 1124728735 WITH SCORE 1.125959176568E9
AT ITER 289 NEW BEST:: SOT -1470726191 SOS 1230440947 HAS SOPS 1230440947 HAS SOUS 1124728114 HAS SOUPS 1124728114 WITH SCORE 1.125958554947E9
AT ITER 308 NEW BEST:: SOT -1470728499 SOS 1230438639 HAS SOPS 1230438639 HAS SOUS 1124725806 HAS SOUPS 1124725806 WITH SCORE 1.125956244639E9
AT ITER 320 NEW BEST:: SOT -1470728499 SOS 1230437685 HAS SOPS 1230437685 HAS SOUS 1124724852 HAS SOUPS 1124724852 WITH SCORE 1.125955289685E9
AT ITER 342 NEW BEST:: SOT -1470732921 SOS 1230428841 HAS SOPS 1230428841 HAS SOUS 1124716008 HAS SOUPS 1124716008 WITH SCORE 1.125946436841E9
AT ITER 361 NEW BEST:: SOT -1470736594 SOS 1230425168 HAS SOPS 1230425168 HAS SOUS 1124712335 HAS SOUPS 1124712335 WITH SCORE 1.125942760168E9
AT ITER 365 NEW BEST:: SOT -1470739471 SOS 1230422291 HAS SOPS 1230422291 HAS SOUS 1124709458 HAS SOUPS 1124709458 WITH SCORE 1.125939880291E9
AT ITER 384 NEW BEST:: SOT -1470743671 SOS 1230413870 HAS SOPS 1230413870 HAS SOUS 1124701037 HAS SOUPS 1124701037 WITH SCORE 1.12593145087E9
AT ITER 410 NEW BEST:: SOT -1470747871 SOS 1230405428 HAS SOPS 1230405428 HAS SOUS 1124692595 HAS SOUPS 1124692595 WITH SCORE 1.125923000428E9
AT ITER 434 NEW BEST:: SOT -1470754709 SOS 1230394369 HAS SOPS 1230394369 HAS SOUS 1124681536 HAS SOUPS 1124681536 WITH SCORE 1.125911930369E9
AT ITER 439 NEW BEST:: SOT -1470756863 SOS 1230392215 HAS SOPS 1230392215 HAS SOUS 1124679382 HAS SOUPS 1124679382 WITH SCORE 1.125909774215E9
AT ITER 444 NEW BEST:: SOT -1470760760 SOS 1230392215 HAS SOPS 1230392215 HAS SOUS 1124679373 HAS SOUPS 1124679373 WITH SCORE 1.125909765215E9
AT ITER 475 NEW BEST:: SOT -1470768485 SOS 1230380269 HAS SOPS 1230380269 HAS SOUS 1124667427 HAS SOUPS 1124667427 WITH SCORE 1.125897807269E9
AT ITER 497 NEW BEST:: SOT -1470772685 SOS 1230371848 HAS SOPS 1230371848 HAS SOUS 1124659006 HAS SOUPS 1124659006 WITH SCORE 1.125889377848E9
AT ITER 513 NEW BEST:: SOT -1470773003 SOS 1230371212 HAS SOPS 1230371212 HAS SOUS 1124658370 HAS SOUPS 1124658370 WITH SCORE 1.125888741212E9
AT ITER 524 NEW BEST:: SOT -1470773003 SOS 1230370329 HAS SOPS 1230370329 HAS SOUS 1124657487 HAS SOUPS 1124657487 WITH SCORE 1.125887857329E9
AT ITER 543 NEW BEST:: SOT -1470773003 SOS 1230369588 HAS SOPS 1230369588 HAS SOUS 1124656746 HAS SOUPS 1124656746 WITH SCORE 1.125887115588E9
AT ITER 567 NEW BEST:: SOT -1470774904 SOS 1230367687 HAS SOPS 1230367687 HAS SOUS 1124654845 HAS SOUPS 1124654845 WITH SCORE 1.125885212687E9
AT ITER 594 NEW BEST:: SOT -1470774904 SOS 1230366518 HAS SOPS 1230366518 HAS SOUS 1124653676 HAS SOUPS 1124653676 WITH SCORE 1.125884042518E9
AT ITER 629 NEW BEST:: SOT -1470774904 SOS 1230364931 HAS SOPS 1230364931 HAS SOUS 1124652082 HAS SOUPS 1124652082 WITH SCORE 1.125882446931E9
AT ITER 649 NEW BEST:: SOT -1470777115 SOS 1230360509 HAS SOPS 1230360509 HAS SOUS 1124647660 HAS SOUPS 1124647660 WITH SCORE 1.125878020509E9
AT ITER 663 NEW BEST:: SOT -1470777115 SOS 1230357877 HAS SOPS 1230357877 HAS SOUS 1124645028 HAS SOUPS 1124645028 WITH SCORE 1.125875385877E9
AT ITER 667 NEW BEST:: SOT -1470781817 SOS 1230349214 HAS SOPS 1230349214 HAS SOUS 1124641064 HAS SOUPS 1124641064 WITH SCORE 1.125871413214E9
AT ITER 673 NEW BEST:: SOT -1470781817 SOS 1230348799 HAS SOPS 1230348799 HAS SOUS 1124640649 HAS SOUPS 1124640649 WITH SCORE 1.125870997799E9
AT ITER 684 NEW BEST:: SOT -1470781817 SOS 1230344997 HAS SOPS 1230344997 HAS SOUS 1124636847 HAS SOUPS 1124636847 WITH SCORE 1.125867191997E9
AT ITER 713 NEW BEST:: SOT -1470781817 SOS 1230341144 HAS SOPS 1230341144 HAS SOUS 1124632994 HAS SOUPS 1124632994 WITH SCORE 1.125863335144E9
AT ITER 722 NEW BEST:: SOT -1470781817 SOS 1230338742 HAS SOPS 1230338742 HAS SOUS 1124630592 HAS SOUPS 1124630592 WITH SCORE 1.125860930742E9
AT ITER 727 NEW BEST:: SOT -1470783440 SOS 1230337119 HAS SOPS 1230337119 HAS SOUS 1124628969 HAS SOUPS 1124628969 WITH SCORE 1.125859306119E9
AT ITER 741 NEW BEST:: SOT -1470787640 SOS 1230328698 HAS SOPS 1230328698 HAS SOUS 1124620548 HAS SOUPS 1124620548 WITH SCORE 1.125850876698E9
AT ITER 779 NEW BEST:: SOT -1470793565 SOS 1230322773 HAS SOPS 1230322773 HAS SOUS 1124614623 HAS SOUPS 1124614623 WITH SCORE 1.125844945773E9
AT ITER 792 NEW BEST:: SOT -1470795026 SOS 1230321312 HAS SOPS 1230321312 HAS SOUS 1124613162 HAS SOUPS 1124613162 WITH SCORE 1.125843483312E9
AT ITER 843 NEW BEST:: SOT -1470800194 SOS 1230316144 HAS SOPS 1230316144 HAS SOUS 1124607994 HAS SOUPS 1124607994 WITH SCORE 1.125838310144E9
AT ITER 914 NEW BEST:: SOT -1470807580 SOS 1230304537 HAS SOPS 1230304537 HAS SOUS 1124596387 HAS SOUPS 1124596387 WITH SCORE 1.125826691537E9
AT ITER 935 NEW BEST:: SOT -1470815196 SOS 1230292700 HAS SOPS 1230292700 HAS SOUS 1124584550 HAS SOUPS 1124584550 WITH SCORE 1.1258148427E9
AT ITER 945 NEW BEST:: SOT -1470823297 SOS 1230280378 HAS SOPS 1230280378 HAS SOUS 1124572228 HAS SOUPS 1124572228 WITH SCORE 1.125802508378E9
AT ITER 954 NEW BEST:: SOT -1470827497 SOS 1230271957 HAS SOPS 1230271957 HAS SOUS 1124563807 HAS SOUPS 1124563807 WITH SCORE 1.125794078957E9
AT ITER 985 NEW BEST:: SOT -1470835415 SOS 1230259818 HAS SOPS 1230259818 HAS SOUS 1124551668 HAS SOUPS 1124551668 WITH SCORE 1.125781927818E9
AT ITER 1011 NEW BEST:: SOT -1470835415 SOS 1230256342 HAS SOPS 1230256342 HAS SOUS 1124548192 HAS SOUPS 1124548192 WITH SCORE 1.125778448342E9
AT ITER 1036 NEW BEST:: SOT -1470835415 SOS 1230252171 HAS SOPS 1230252171 HAS SOUS 1124544021 HAS SOUPS 1124544021 WITH SCORE 1.125774273171E9
AT ITER 1039 NEW BEST:: SOT -1470837143 SOS 1230250443 HAS SOPS 1230250443 HAS SOUS 1124542293 HAS SOUPS 1124542293 WITH SCORE 1.125772543443E9
AT ITER 1100 NEW BEST:: SOT -1470844939 SOS 1230244307 HAS SOPS 1230244307 HAS SOUS 1124536356 HAS SOUPS 1124536356 WITH SCORE 1.125766600307E9
AT ITER 1145 NEW BEST:: SOT -1470844939 SOS 1230241281 HAS SOPS 1230241281 HAS SOUS 1124533330 HAS SOUPS 1124533330 WITH SCORE 1.125763571281E9
AT ITER 1154 NEW BEST:: SOT -1470852445 SOS 1230229554 HAS SOPS 1230229554 HAS SOUS 1124521603 HAS SOUPS 1124521603 WITH SCORE 1.125751832554E9
AT ITER 1180 NEW BEST:: SOT -1470854937 SOS 1230227062 HAS SOPS 1230227062 HAS SOUS 1124519111 HAS SOUPS 1124519111 WITH SCORE 1.125749338062E9
AT ITER 1184 NEW BEST:: SOT -1470854937 SOS 1230224090 HAS SOPS 1230224090 HAS SOUS 1124516139 HAS SOUPS 1124516139 WITH SCORE 1.12574636309E9
AT ITER 1188 NEW BEST:: SOT -1470859972 SOS 1230216855 HAS SOPS 1230216855 HAS SOUS 1124513929 HAS SOUPS 1124513929 WITH SCORE 1.125744145855E9
AT ITER 1203 NEW BEST:: SOT -1470861556 SOS 1230213687 HAS SOPS 1230213687 HAS SOUS 1124512331 HAS SOUPS 1124512331 WITH SCORE 1.125742544687E9
AT ITER 1244 NEW BEST:: SOT -1470864381 SOS 1230211873 HAS SOPS 1230211873 HAS SOUS 1124510517 HAS SOUPS 1124510517 WITH SCORE 1.125740728873E9
AT ITER 1249 NEW BEST:: SOT -1470864381 SOS 1230208295 HAS SOPS 1230208295 HAS SOUS 1124506939 HAS SOUPS 1124506939 WITH SCORE 1.125737147295E9
AT ITER 1278 NEW BEST:: SOT -1470870052 SOS 1230204074 HAS SOPS 1230204074 HAS SOUS 1124502713 HAS SOUPS 1124502713 WITH SCORE 1.125732917074E9
AT ITER 1392 NEW BEST:: SOT -1470870052 SOS 1230200346 HAS SOPS 1230200346 HAS SOUS 1124498985 HAS SOUPS 1124498985 WITH SCORE 1.125729185346E9
AT ITER 1445 NEW BEST:: SOT -1470870052 SOS 1230198674 HAS SOPS 1230198674 HAS SOUS 1124497310 HAS SOUPS 1124497310 WITH SCORE 1.125727508674E9
AT ITER 1490 NEW BEST:: SOT -1470870052 SOS 1230194872 HAS SOPS 1230194872 HAS SOUS 1124493508 HAS SOUPS 1124493508 WITH SCORE 1.125723702872E9
AT ITER 1502 NEW BEST:: SOT -1470870052 SOS 1230193561 HAS SOPS 1230193561 HAS SOUS 1124492197 HAS SOUPS 1124492197 WITH SCORE 1.125722390561E9
AT ITER 1529 NEW BEST:: SOT -1470874252 SOS 1230185140 HAS SOPS 1230185140 HAS SOUS 1124483776 HAS SOUPS 1124483776 WITH SCORE 1.12571396114E9
AT ITER 1583 NEW BEST:: SOT -1470874252 SOS 1230181616 HAS SOPS 1230181616 HAS SOUS 1124480252 HAS SOUPS 1124480252 WITH SCORE 1.125710433616E9
AT ITER 1621 NEW BEST:: SOT -1470878452 SOS 1230173174 HAS SOPS 1230173174 HAS SOUS 1124471810 HAS SOUPS 1124471810 WITH SCORE 1.125701983174E9
AT ITER 1649 NEW BEST:: SOT -1470878452 SOS 1230170087 HAS SOPS 1230170087 HAS SOUS 1124468723 HAS SOUPS 1124468723 WITH SCORE 1.125698893087E9
AT ITER 1695 NEW BEST:: SOT -1470878452 SOS 1230169033 HAS SOPS 1230169033 HAS SOUS 1124467669 HAS SOUPS 1124467669 WITH SCORE 1.125697838033E9
AT ITER 1780 NEW BEST:: SOT -1470878452 SOS 1230166222 HAS SOPS 1230166222 HAS SOUS 1124464858 HAS SOUPS 1124464858 WITH SCORE 1.125695024222E9
AT ITER 1787 NEW BEST:: SOT -1470878452 SOS 1230165041 HAS SOPS 1230165041 HAS SOUS 1124463677 HAS SOUPS 1124463677 WITH SCORE 1.125693842041E9
AT ITER 1899 NEW BEST:: SOT -1470881122 SOS 1230159701 HAS SOPS 1230159701 HAS SOUS 1124458337 HAS SOUPS 1124458337 WITH SCORE 1.125688496701E9
AT ITER 1921 NEW BEST:: SOT -1470885322 SOS 1230151259 HAS SOPS 1230151259 HAS SOUS 1124449895 HAS SOUPS 1124449895 WITH SCORE 1.125680046259E9
AT ITER 1955 NEW BEST:: SOT -1470889522 SOS 1230142838 HAS SOPS 1230142838 HAS SOUS 1124441474 HAS SOUPS 1124441474 WITH SCORE 1.125671616838E9
AT ITER 1963 NEW BEST:: SOT -1470893722 SOS 1230134396 HAS SOPS 1230134396 HAS SOUS 1124433032 HAS SOUPS 1124433032 WITH SCORE 1.125663166396E9
AT ITER 2004 NEW BEST:: SOT -1470899506 SOS 1230128612 HAS SOPS 1230128612 HAS SOUS 1124427248 HAS SOUPS 1124427248 WITH SCORE 1.125657376612E9
AT ITER 2015 NEW BEST:: SOT -1470899506 SOS 1230125545 HAS SOPS 1230125545 HAS SOUS 1124424181 HAS SOUPS 1124424181 WITH SCORE 1.125654306545E9
AT ITER 2046 NEW BEST:: SOT -1470906942 SOS 1230113888 HAS SOPS 1230113888 HAS SOUS 1124412524 HAS SOUPS 1124412524 WITH SCORE 1.125642637888E9
AT ITER 2072 NEW BEST:: SOT -1470907152 SOS 1230111546 HAS SOPS 1230111546 HAS SOUS 1124412314 HAS SOUPS 1124412314 WITH SCORE 1.125642425546E9
AT ITER 2125 NEW BEST:: SOT -1470911352 SOS 1230103125 HAS SOPS 1230103125 HAS SOUS 1124403893 HAS SOUPS 1124403893 WITH SCORE 1.125633996125E9
AT ITER 2175 NEW BEST:: SOT -1470912222 SOS 1230102255 HAS SOPS 1230102255 HAS SOUS 1124403023 HAS SOUPS 1124403023 WITH SCORE 1.125633125255E9
AT ITER 2206 NEW BEST:: SOT -1470912222 SOS 1230100965 HAS SOPS 1230100965 HAS SOUS 1124401733 HAS SOUPS 1124401733 WITH SCORE 1.125631833965E9
AT ITER 2274 NEW BEST:: SOT -1470917519 SOS 1230098754 HAS SOPS 1230098754 HAS SOUS 1124399510 HAS SOUPS 1124399510 WITH SCORE 1.125629608754E9
AT ITER 2301 NEW BEST:: SOT -1470925326 SOS 1230086726 HAS SOPS 1230086726 HAS SOUS 1124387482 HAS SOUPS 1124387482 WITH SCORE 1.125617568726E9
AT ITER 2324 NEW BEST:: SOT -1470925326 SOS 1230084112 HAS SOPS 1230084112 HAS SOUS 1124384868 HAS SOUPS 1124384868 WITH SCORE 1.125614952112E9
AT ITER 2349 NEW BEST:: SOT -1470929526 SOS 1230075691 HAS SOPS 1230075691 HAS SOUS 1124376447 HAS SOUPS 1124376447 WITH SCORE 1.125606522691E9
AT ITER 2381 NEW BEST:: SOT -1470931110 SOS 1230074107 HAS SOPS 1230074107 HAS SOUS 1124374863 HAS SOUPS 1124374863 WITH SCORE 1.125604937107E9
AT ITER 2410 NEW BEST:: SOT -1470935021 SOS 1230067996 HAS SOPS 1230067996 HAS SOUS 1124372654 HAS SOUPS 1124372654 WITH SCORE 1.125602721996E9
AT ITER 2474 NEW BEST:: SOT -1470943159 SOS 1230055637 HAS SOPS 1230055637 HAS SOUS 1124360295 HAS SOUPS 1124360295 WITH SCORE 1.125590350637E9
AT ITER 2475 NEW BEST:: SOT -1470945085 SOS 1230053711 HAS SOPS 1230053711 HAS SOUS 1124358369 HAS SOUPS 1124358369 WITH SCORE 1.125588422711E9
AT ITER 2509 NEW BEST:: SOT -1470945085 SOS 1230050767 HAS SOPS 1230050767 HAS SOUS 1124355425 HAS SOUPS 1124355425 WITH SCORE 1.125585475767E9
AT ITER 2518 NEW BEST:: SOT -1470949280 SOS 1230046572 HAS SOPS 1230046572 HAS SOUS 1124351230 HAS SOUPS 1124351230 WITH SCORE 1.125581276572E9
AT ITER 2527 NEW BEST:: SOT -1470953480 SOS 1230038151 HAS SOPS 1230038151 HAS SOUS 1124342809 HAS SOUPS 1124342809 WITH SCORE 1.125572847151E9
AT ITER 2578 NEW BEST:: SOT -1470955845 SOS 1230035786 HAS SOPS 1230035786 HAS SOUS 1124342804 HAS SOUPS 1124342804 WITH SCORE 1.125572839786E9
AT ITER 2605 NEW BEST:: SOT -1470960664 SOS 1230033575 HAS SOPS 1230033575 HAS SOUS 1124340589 HAS SOUPS 1124340589 WITH SCORE 1.125570622575E9
AT ITER 2619 NEW BEST:: SOT -1470960664 SOS 1230031039 HAS SOPS 1230031039 HAS SOUS 1124338053 HAS SOUPS 1124338053 WITH SCORE 1.125568084039E9
AT ITER 2622 NEW BEST:: SOT -1470964181 SOS 1230024005 HAS SOPS 1230024005 HAS SOUS 1124334522 HAS SOUPS 1124334522 WITH SCORE 1.125564546005E9
AT ITER 2649 NEW BEST:: SOT -1470964181 SOS 1230020608 HAS SOPS 1230020608 HAS SOUS 1124331125 HAS SOUPS 1124331125 WITH SCORE 1.125561145608E9
AT ITER 2669 NEW BEST:: SOT -1470968381 SOS 1230012187 HAS SOPS 1230012187 HAS SOUS 1124322704 HAS SOUPS 1124322704 WITH SCORE 1.125552716187E9
AT ITER 2695 NEW BEST:: SOT -1470968381 SOS 1230009064 HAS SOPS 1230009064 HAS SOUS 1124319581 HAS SOUPS 1124319581 WITH SCORE 1.125549590064E9
AT ITER 2733 NEW BEST:: SOT -1470972565 SOS 1230004880 HAS SOPS 1230004880 HAS SOUS 1124315397 HAS SOUPS 1124315397 WITH SCORE 1.12554540188E9
AT ITER 2770 NEW BEST:: SOT -1470973785 SOS 1230002440 HAS SOPS 1230002440 HAS SOUS 1124314165 HAS SOUPS 1124314165 WITH SCORE 1.12554416744E9
AT ITER 2791 NEW BEST:: SOT -1470973785 SOS 1230000599 HAS SOPS 1230000599 HAS SOUS 1124312324 HAS SOUPS 1124312324 WITH SCORE 1.125542324599E9
AT ITER 2799 NEW BEST:: SOT -1470973785 SOS 1230000599 HAS SOPS 1230000599 HAS SOUS 1124312323 HAS SOUPS 1124312323 WITH SCORE 1.125542323599E9
AT ITER 2842 NEW BEST:: SOT -1470976583 SOS 1229995031 HAS SOPS 1229995031 HAS SOUS 1124306727 HAS SOUPS 1124306727 WITH SCORE 1.125536722031E9
AT ITER 2848 NEW BEST:: SOT -1470976583 SOS 1229991666 HAS SOPS 1229991666 HAS SOUS 1124303362 HAS SOUPS 1124303362 WITH SCORE 1.125533353666E9
AT ITER 2857 NEW BEST:: SOT -1470980783 SOS 1229983224 HAS SOPS 1229983224 HAS SOUS 1124294920 HAS SOUPS 1124294920 WITH SCORE 1.125524903224E9
AT ITER 2892 NEW BEST:: SOT -1470984983 SOS 1229974803 HAS SOPS 1229974803 HAS SOUS 1124286499 HAS SOUPS 1124286499 WITH SCORE 1.125516473803E9
AT ITER 2919 NEW BEST:: SOT -1470984983 SOS 1229972697 HAS SOPS 1229972697 HAS SOUS 1124284393 HAS SOUPS 1124284393 WITH SCORE 1.125514365697E9
AT ITER 2948 NEW BEST:: SOT -1470984983 SOS 1229969594 HAS SOPS 1229969594 HAS SOUS 1124281290 HAS SOUPS 1124281290 WITH SCORE 1.125511259594E9
AT ITER 2951 NEW BEST:: SOT -1470985030 SOS 1229965154 HAS SOPS 1229965154 HAS SOUS 1124276774 HAS SOUPS 1124276774 WITH SCORE 1.125506739154E9
AT ITER 2975 NEW BEST:: SOT -1470987506 SOS 1229962678 HAS SOPS 1229962678 HAS SOUS 1124274298 HAS SOUPS 1124274298 WITH SCORE 1.125504260678E9
AT ITER 3003 NEW BEST:: SOT -1470995086 SOS 1229958935 HAS SOPS 1229958935 HAS SOUS 1124270764 HAS SOUPS 1124270764 WITH SCORE 1.125500722935E9
AT ITER 3102 NEW BEST:: SOT -1470995086 SOS 1229954932 HAS SOPS 1229954932 HAS SOUS 1124266761 HAS SOUPS 1124266761 WITH SCORE 1.125496715932E9
AT ITER 3104 NEW BEST:: SOT -1470998533 SOS 1229951485 HAS SOPS 1229951485 HAS SOUS 1124263314 HAS SOUPS 1124263314 WITH SCORE 1.125493265485E9
AT ITER 3130 NEW BEST:: SOT -1470998533 SOS 1229950679 HAS SOPS 1229950679 HAS SOUS 1124262508 HAS SOUPS 1124262508 WITH SCORE 1.125492458679E9
AT ITER 3140 NEW BEST:: SOT -1471002733 SOS 1229942258 HAS SOPS 1229942258 HAS SOUS 1124254087 HAS SOUPS 1124254087 WITH SCORE 1.125484029258E9
AT ITER 3160 NEW BEST:: SOT -1471002733 SOS 1229938320 HAS SOPS 1229938320 HAS SOUS 1124250149 HAS SOUPS 1124250149 WITH SCORE 1.12548008732E9
AT ITER 3175 NEW BEST:: SOT -1471002923 SOS 1229937275 HAS SOPS 1229937275 HAS SOUS 1124249959 HAS SOUPS 1124249959 WITH SCORE 1.125479896275E9
AT ITER 3205 NEW BEST:: SOT -1471006128 SOS 1229934070 HAS SOPS 1229934070 HAS SOUS 1124246754 HAS SOUPS 1124246754 WITH SCORE 1.12547668807E9
AT ITER 3223 NEW BEST:: SOT -1471006128 SOS 1229931018 HAS SOPS 1229931018 HAS SOUS 1124243702 HAS SOUPS 1124243702 WITH SCORE 1.125473633018E9
AT ITER 3226 NEW BEST:: SOT -1471006621 SOS 1229930525 HAS SOPS 1229930525 HAS SOUS 1124243209 HAS SOUPS 1124243209 WITH SCORE 1.125473139525E9
AT ITER 3246 NEW BEST:: SOT -1471006621 SOS 1229928939 HAS SOPS 1229928939 HAS SOUS 1124241623 HAS SOUPS 1124241623 WITH SCORE 1.125471551939E9
AT ITER 3275 NEW BEST:: SOT -1471006621 SOS 1229925784 HAS SOPS 1229925784 HAS SOUS 1124238468 HAS SOUPS 1124238468 WITH SCORE 1.125468393784E9
AT ITER 3291 NEW BEST:: SOT -1471010821 SOS 1229917342 HAS SOPS 1229917342 HAS SOUS 1124230026 HAS SOUPS 1124230026 WITH SCORE 1.125459943342E9
AT ITER 3292 NEW BEST:: SOT -1471013032 SOS 1229912920 HAS SOPS 1229912920 HAS SOUS 1124225604 HAS SOUPS 1124225604 WITH SCORE 1.12545551692E9
AT ITER 3322 NEW BEST:: SOT -1471013032 SOS 1229910897 HAS SOPS 1229910897 HAS SOUS 1124223581 HAS SOUPS 1124223581 WITH SCORE 1.125453491897E9
AT ITER 3352 NEW BEST:: SOT -1471013032 SOS 1229907778 HAS SOPS 1229907778 HAS SOUS 1124220462 HAS SOUPS 1124220462 WITH SCORE 1.125450369778E9
AT ITER 3369 NEW BEST:: SOT -1471017153 SOS 1229905567 HAS SOPS 1229905567 HAS SOUS 1124218237 HAS SOUPS 1124218237 WITH SCORE 1.125448142567E9
AT ITER 3395 NEW BEST:: SOT -1471017153 SOS 1229903608 HAS SOPS 1229903608 HAS SOUS 1124216278 HAS SOUPS 1124216278 WITH SCORE 1.125446181608E9
AT ITER 3438 NEW BEST:: SOT -1471017153 SOS 1229902146 HAS SOPS 1229902146 HAS SOUS 1124216274 HAS SOUPS 1124216274 WITH SCORE 1.125446176146E9
AT ITER 3456 NEW BEST:: SOT -1471017677 SOS 1229901098 HAS SOPS 1229901098 HAS SOUS 1124215226 HAS SOUPS 1124215226 WITH SCORE 1.125445127098E9
AT ITER 3469 NEW BEST:: SOT -1471017677 SOS 1229899441 HAS SOPS 1229899441 HAS SOUS 1124213569 HAS SOUPS 1124213569 WITH SCORE 1.125443468441E9
AT ITER 3471 NEW BEST:: SOT -1471017677 SOS 1229897455 HAS SOPS 1229897455 HAS SOUS 1124211583 HAS SOUPS 1124211583 WITH SCORE 1.125441480455E9
AT ITER 3490 NEW BEST:: SOT -1471017677 SOS 1229896027 HAS SOPS 1229896027 HAS SOUS 1124210155 HAS SOUPS 1124210155 WITH SCORE 1.125440051027E9
AT ITER 3550 NEW BEST:: SOT -1471021877 SOS 1229887606 HAS SOPS 1229887606 HAS SOUS 1124201734 HAS SOUPS 1124201734 WITH SCORE 1.125431621606E9
AT ITER 3551 NEW BEST:: SOT -1471021877 SOS 1229852515 HAS SOPS 1229852515 HAS SOUS 1124200053 HAS SOUPS 1124200053 WITH SCORE 1.125429905515E9
AT ITER 3598 NEW BEST:: SOT -1471021877 SOS 1229850443 HAS SOPS 1229850443 HAS SOUS 1124197981 HAS SOUPS 1124197981 WITH SCORE 1.125427831443E9
AT ITER 3628 NEW BEST:: SOT -1471028342 SOS 1229839757 HAS SOPS 1229839757 HAS SOUS 1124187295 HAS SOUPS 1124187295 WITH SCORE 1.125417134757E9
AT ITER 3669 NEW BEST:: SOT -1471032542 SOS 1229831315 HAS SOPS 1229831315 HAS SOUS 1124178853 HAS SOUPS 1124178853 WITH SCORE 1.125408684315E9
AT ITER 3690 NEW BEST:: SOT -1471038149 SOS 1229821487 HAS SOPS 1229821487 HAS SOUS 1124169025 HAS SOUPS 1124169025 WITH SCORE 1.125398846487E9
AT ITER 3691 NEW BEST:: SOT -1471046089 SOS 1229809326 HAS SOPS 1229809326 HAS SOUS 1124156864 HAS SOUPS 1124156864 WITH SCORE 1.125386673326E9
AT ITER 3715 NEW BEST:: SOT -1471046124 SOS 1229809350 HAS SOPS 1229809350 HAS SOUS 1124156794 HAS SOUPS 1124156794 WITH SCORE 1.12538660335E9
AT ITER 3729 NEW BEST:: SOT -1471046444 SOS 1229806169 HAS SOPS 1229806169 HAS SOUS 1124153613 HAS SOUPS 1124153613 WITH SCORE 1.125383419169E9
AT ITER 3747 NEW BEST:: SOT -1471046444 SOS 1229803465 HAS SOPS 1229803465 HAS SOUS 1124150909 HAS SOUPS 1124150909 WITH SCORE 1.125380712465E9
AT ITER 3834 NEW BEST:: SOT -1471049463 SOS 1229800446 HAS SOPS 1229800446 HAS SOUS 1124147890 HAS SOUPS 1124147890 WITH SCORE 1.125377690446E9
AT ITER 3841 NEW BEST:: SOT -1471054942 SOS 1229794967 HAS SOPS 1229794967 HAS SOUS 1124142411 HAS SOUPS 1124142411 WITH SCORE 1.125372205967E9
AT ITER 3882 NEW BEST:: SOT -1471059142 SOS 1229786546 HAS SOPS 1229786546 HAS SOUS 1124133990 HAS SOUPS 1124133990 WITH SCORE 1.125363776546E9
AT ITER 3943 NEW BEST:: SOT -1471065298 SOS 1229780390 HAS SOPS 1229780390 HAS SOUS 1124127828 HAS SOUPS 1124127828 WITH SCORE 1.12535760839E9
AT ITER 3991 NEW BEST:: SOT -1471065298 SOS 1229777547 HAS SOPS 1229777547 HAS SOUS 1124124985 HAS SOUPS 1124124985 WITH SCORE 1.125354762547E9
AT ITER 4011 NEW BEST:: SOT -1471069498 SOS 1229769105 HAS SOPS 1229769105 HAS SOUS 1124116543 HAS SOUPS 1124116543 WITH SCORE 1.125346312105E9
AT ITER 4044 NEW BEST:: SOT -1471069498 SOS 1229766355 HAS SOPS 1229766355 HAS SOUS 1124113793 HAS SOUPS 1124113793 WITH SCORE 1.125343559355E9
AT ITER 4070 NEW BEST:: SOT -1471074731 SOS 1229756901 HAS SOPS 1229756901 HAS SOUS 1124104339 HAS SOUPS 1124104339 WITH SCORE 1.125334095901E9
AT ITER 4089 NEW BEST:: SOT -1471078931 SOS 1229748459 HAS SOPS 1229748459 HAS SOUS 1124095897 HAS SOUPS 1124095897 WITH SCORE 1.125325645459E9
AT ITER 4119 NEW BEST:: SOT -1471083131 SOS 1229740038 HAS SOPS 1229740038 HAS SOUS 1124087476 HAS SOUPS 1124087476 WITH SCORE 1.125317216038E9
AT ITER 4130 NEW BEST:: SOT -1471089851 SOS 1229729097 HAS SOPS 1229729097 HAS SOUS 1124076535 HAS SOUPS 1124076535 WITH SCORE 1.125306264097E9
AT ITER 4231 NEW BEST:: SOT -1471094051 SOS 1229720655 HAS SOPS 1229720655 HAS SOUS 1124068093 HAS SOUPS 1124068093 WITH SCORE 1.125297813655E9
AT ITER 4233 NEW BEST:: SOT -1471099567 SOS 1229712128 HAS SOPS 1229712128 HAS SOUS 1124065071 HAS SOUPS 1124065071 WITH SCORE 1.125294783128E9
AT ITER 4255 NEW BEST:: SOT -1471103767 SOS 1229703707 HAS SOPS 1229703707 HAS SOUS 1124056650 HAS SOUPS 1124056650 WITH SCORE 1.125286353707E9
AT ITER 4305 NEW BEST:: SOT -1471111449 SOS 1229691804 HAS SOPS 1229691804 HAS SOUS 1124044747 HAS SOUPS 1124044747 WITH SCORE 1.125274438804E9
AT ITER 4332 NEW BEST:: SOT -1471111449 SOS 1229689210 HAS SOPS 1229689210 HAS SOUS 1124042153 HAS SOUPS 1124042153 WITH SCORE 1.12527184221E9
AT ITER 4334 NEW BEST:: SOT -1471111821 SOS 1229688466 HAS SOPS 1229688466 HAS SOUS 1124041761 HAS SOUPS 1124041761 WITH SCORE 1.125271449466E9
AT ITER 4426 NEW BEST:: SOT -1471111821 SOS 1229687637 HAS SOPS 1229687637 HAS SOUS 1124040932 HAS SOUPS 1124040932 WITH SCORE 1.125270619637E9
AT ITER 4440 NEW BEST:: SOT -1471113676 SOS 1229685782 HAS SOPS 1229685782 HAS SOUS 1124039077 HAS SOUPS 1124039077 WITH SCORE 1.125268762782E9
AT ITER 4442 NEW BEST:: SOT -1471113676 SOS 1229682143 HAS SOPS 1229682143 HAS SOUS 1124035438 HAS SOUPS 1124035438 WITH SCORE 1.125265120143E9
AT ITER 4467 NEW BEST:: SOT -1471121363 SOS 1229670235 HAS SOPS 1229670235 HAS SOUS 1124023530 HAS SOUPS 1124023530 WITH SCORE 1.125253200235E9
AT ITER 4497 NEW BEST:: SOT -1471125563 SOS 1229661793 HAS SOPS 1229661793 HAS SOUS 1124015088 HAS SOUPS 1124015088 WITH SCORE 1.125244749793E9
AT ITER 4638 NEW BEST:: SOT -1471125563 SOS 1229657939 HAS SOPS 1229657939 HAS SOUS 1124011234 HAS SOUPS 1124011234 WITH SCORE 1.125240891939E9
AT ITER 4669 NEW BEST:: SOT -1471128608 SOS 1229651875 HAS SOPS 1229651875 HAS SOUS 1124005144 HAS SOUPS 1124005144 WITH SCORE 1.125234795875E9
AT ITER 4700 NEW BEST:: SOT -1471136278 SOS 1229643298 HAS SOPS 1229643298 HAS SOUS 1124004230 HAS SOUPS 1124004230 WITH SCORE 1.125233873298E9
AT ITER 4711 NEW BEST:: SOT -1471136278 SOS 1229639435 HAS SOPS 1229639435 HAS SOUS 1124000367 HAS SOUPS 1124000367 WITH SCORE 1.125230006435E9
AT ITER 4732 NEW BEST:: SOT -1471140951 SOS 1229630993 HAS SOPS 1229630993 HAS SOUS 1123996593 HAS SOUPS 1123996593 WITH SCORE 1.125226223993E9
AT ITER 4746 NEW BEST:: SOT -1471180587 SOS 1229670411 HAS SOPS 1229670411 HAS SOUS 1123974161 HAS SOUPS 1123974161 WITH SCORE 1.125203831411E9
AT ITER 4753 NEW BEST:: SOT -1471188595 SOS 1229655113 HAS SOPS 1229655113 HAS SOUS 1123967393 HAS SOUPS 1123967393 WITH SCORE 1.125197048113E9
AT ITER 4761 NEW BEST:: SOT -1471192654 SOS 1229651054 HAS SOPS 1229651054 HAS SOUS 1123963334 HAS SOUPS 1123963334 WITH SCORE 1.125192985054E9
AT ITER 4767 NEW BEST:: SOT -1471192654 SOS 1229648867 HAS SOPS 1229648867 HAS SOUS 1123961147 HAS SOUPS 1123961147 WITH SCORE 1.125190795867E9
AT ITER 4784 NEW BEST:: SOT -1471198521 SOS 1229640284 HAS SOPS 1229640284 HAS SOUS 1123958419 HAS SOUPS 1123958419 WITH SCORE 1.125188059284E9
AT ITER 4793 NEW BEST:: SOT -1471205133 SOS 1229629451 HAS SOPS 1229629451 HAS SOUS 1123947586 HAS SOUPS 1123947586 WITH SCORE 1.125177215451E9
AT ITER 4854 NEW BEST:: SOT -1471209260 SOS 1229625324 HAS SOPS 1229625324 HAS SOUS 1123943459 HAS SOUPS 1123943459 WITH SCORE 1.125173084324E9
AT ITER 4873 NEW BEST:: SOT -1471210664 SOS 1229623920 HAS SOPS 1229623920 HAS SOUS 1123942055 HAS SOUPS 1123942055 WITH SCORE 1.12517167892E9
AT ITER 4887 NEW BEST:: SOT -1471210664 SOS 1229620109 HAS SOPS 1229620109 HAS SOUS 1123938244 HAS SOUPS 1123938244 WITH SCORE 1.125167864109E9
AT ITER 4908 NEW BEST:: SOT -1471210664 SOS 1229616738 HAS SOPS 1229616738 HAS SOUS 1123934873 HAS SOUPS 1123934873 WITH SCORE 1.125164489738E9
AT ITER 4997 NEW BEST:: SOT -1471210664 SOS 1229612947 HAS SOPS 1229612947 HAS SOUS 1123931082 HAS SOUPS 1123931082 WITH SCORE 1.125160694947E9
AT ITER 5033 NEW BEST:: SOT -1471218180 SOS 1229601210 HAS SOPS 1229601210 HAS SOUS 1123919345 HAS SOUPS 1123919345 WITH SCORE 1.12514894621E9
AT ITER 5144 NEW BEST:: SOT -1471222380 SOS 1229592789 HAS SOPS 1229592789 HAS SOUS 1123910924 HAS SOUPS 1123910924 WITH SCORE 1.125140516789E9
AT ITER 5196 NEW BEST:: SOT -1471264828 SOS 1229681178 HAS SOPS 1229681178 HAS SOUS 1123892133 HAS SOUPS 1123892133 WITH SCORE 1.125121814178E9
AT ITER 5211 NEW BEST:: SOT -1471268185 SOS 1229677821 HAS SOPS 1229677821 HAS SOUS 1123888776 HAS SOUPS 1123888776 WITH SCORE 1.125118453821E9
AT ITER 5212 NEW BEST:: SOT -1471268185 SOS 1229676310 HAS SOPS 1229676310 HAS SOUS 1123887265 HAS SOUPS 1123887265 WITH SCORE 1.12511694131E9
AT ITER 5221 NEW BEST:: SOT -1471268185 SOS 1229672853 HAS SOPS 1229672853 HAS SOUS 1123883808 HAS SOUPS 1123883808 WITH SCORE 1.125113480853E9
AT ITER 5245 NEW BEST:: SOT -1471275837 SOS 1229660980 HAS SOPS 1229660980 HAS SOUS 1123871935 HAS SOUPS 1123871935 WITH SCORE 1.12510159598E9
AT ITER 5260 NEW BEST:: SOT -1471280037 SOS 1229652538 HAS SOPS 1229652538 HAS SOUS 1123863493 HAS SOUPS 1123863493 WITH SCORE 1.125093145538E9
AT ITER 5262 NEW BEST:: SOT -1471280037 SOS 1229648885 HAS SOPS 1229648885 HAS SOUS 1123859840 HAS SOUPS 1123859840 WITH SCORE 1.125089488885E9
AT ITER 5273 NEW BEST:: SOT -1471285151 SOS 1229643771 HAS SOPS 1229643771 HAS SOUS 1123854726 HAS SOUPS 1123854726 WITH SCORE 1.125084369771E9
AT ITER 5381 NEW BEST:: SOT -1471285151 SOS 1229639957 HAS SOPS 1229639957 HAS SOUS 1123850912 HAS SOUPS 1123850912 WITH SCORE 1.125080551957E9
AT ITER 5387 NEW BEST:: SOT -1471293047 SOS 1229627840 HAS SOPS 1229627840 HAS SOUS 1123838795 HAS SOUPS 1123838795 WITH SCORE 1.12506842284E9
AT ITER 5435 NEW BEST:: SOT -1471295450 SOS 1229625437 HAS SOPS 1229625437 HAS SOUS 1123836392 HAS SOUPS 1123836392 WITH SCORE 1.125066017437E9
AT ITER 5454 NEW BEST:: SOT -1471297972 SOS 1229620479 HAS SOPS 1229620479 HAS SOUS 1123831348 HAS SOUPS 1123831348 WITH SCORE 1.125060968479E9
AT ITER 5457 NEW BEST:: SOT -1471302808 SOS 1229618268 HAS SOPS 1229618268 HAS SOUS 1123829123 HAS SOUPS 1123829123 WITH SCORE 1.125058741268E9
AT ITER 5499 NEW BEST:: SOT -1471307884 SOS 1229613192 HAS SOPS 1229613192 HAS SOUS 1123824047 HAS SOUPS 1123824047 WITH SCORE 1.125053660192E9
AT ITER 5553 NEW BEST:: SOT -1471312084 SOS 1229604771 HAS SOPS 1229604771 HAS SOUS 1123815626 HAS SOUPS 1123815626 WITH SCORE 1.125045230771E9
AT ITER 5571 NEW BEST:: SOT -1471314424 SOS 1229602431 HAS SOPS 1229602431 HAS SOUS 1123813286 HAS SOUPS 1123813286 WITH SCORE 1.125042888431E9
AT ITER 5586 NEW BEST:: SOT -1471317878 SOS 1229598977 HAS SOPS 1229598977 HAS SOUS 1123809832 HAS SOUPS 1123809832 WITH SCORE 1.125039430977E9
AT ITER 5599 NEW BEST:: SOT -1471317878 SOS 1229595842 HAS SOPS 1229595842 HAS SOUS 1123806697 HAS SOUPS 1123806697 WITH SCORE 1.125036292842E9
AT ITER 5604 NEW BEST:: SOT -1471317878 SOS 1229593015 HAS SOPS 1229593015 HAS SOUS 1123803870 HAS SOUPS 1123803870 WITH SCORE 1.125033463015E9
AT ITER 5608 NEW BEST:: SOT -1471320381 SOS 1229588097 HAS SOPS 1229588097 HAS SOUS 1123798864 HAS SOUPS 1123798864 WITH SCORE 1.125028452097E9
AT ITER 5622 NEW BEST:: SOT -1471320381 SOS 1229584894 HAS SOPS 1229584894 HAS SOUS 1123795661 HAS SOUPS 1123795661 WITH SCORE 1.125025245894E9
AT ITER 5624 NEW BEST:: SOT -1471320381 SOS 1229582941 HAS SOPS 1229582941 HAS SOUS 1123793708 HAS SOUPS 1123793708 WITH SCORE 1.125023290941E9
AT ITER 5649 NEW BEST:: SOT -1471322244 SOS 1229581078 HAS SOPS 1229581078 HAS SOUS 1123791845 HAS SOUPS 1123791845 WITH SCORE 1.125021426078E9
AT ITER 5662 NEW BEST:: SOT -1471322244 SOS 1229579686 HAS SOPS 1229579686 HAS SOUS 1123790453 HAS SOUPS 1123790453 WITH SCORE 1.125020032686E9
AT ITER 5704 NEW BEST:: SOT -1471324196 SOS 1229577734 HAS SOPS 1229577734 HAS SOUS 1123788501 HAS SOUPS 1123788501 WITH SCORE 1.125018078734E9
AT ITER 5717 NEW BEST:: SOT -1471327298 SOS 1229574632 HAS SOPS 1229574632 HAS SOUS 1123785399 HAS SOUPS 1123785399 WITH SCORE 1.125014973632E9
AT ITER 5831 NEW BEST:: SOT -1471330650 SOS 1229571280 HAS SOPS 1229571280 HAS SOUS 1123782047 HAS SOUPS 1123782047 WITH SCORE 1.12501161828E9
AT ITER 5846 NEW BEST:: SOT -1471331658 SOS 1229570272 HAS SOPS 1229570272 HAS SOUS 1123781039 HAS SOUPS 1123781039 WITH SCORE 1.125010609272E9
AT ITER 5855 NEW BEST:: SOT -1471336474 SOS 1229565456 HAS SOPS 1229565456 HAS SOUS 1123776223 HAS SOUPS 1123776223 WITH SCORE 1.125005788456E9
AT ITER 5907 NEW BEST:: SOT -1471336474 SOS 1229562162 HAS SOPS 1229562162 HAS SOUS 1123772929 HAS SOUPS 1123772929 WITH SCORE 1.125002491162E9
AT ITER 5965 NEW BEST:: SOT -1471339776 SOS 1229558860 HAS SOPS 1229558860 HAS SOUS 1123769627 HAS SOUPS 1123769627 WITH SCORE 1.12499918586E9
AT ITER 5984 NEW BEST:: SOT -1471341987 SOS 1229554438 HAS SOPS 1229554438 HAS SOUS 1123765205 HAS SOUPS 1123765205 WITH SCORE 1.124994759438E9
AT ITER 5997 NEW BEST:: SOT -1471341987 SOS 1229553958 HAS SOPS 1229553958 HAS SOUS 1123764725 HAS SOUPS 1123764725 WITH SCORE 1.124994278958E9
AT ITER 6006 NEW BEST:: SOT -1471341987 SOS 1229552242 HAS SOPS 1229552242 HAS SOUS 1123764724 HAS SOUPS 1123764724 WITH SCORE 1.124994276242E9
AT ITER 6014 NEW BEST:: SOT -1471346187 SOS 1229543800 HAS SOPS 1229543800 HAS SOUS 1123756282 HAS SOUPS 1123756282 WITH SCORE 1.1249858258E9
AT ITER 6028 NEW BEST:: SOT -1471348398 SOS 1229539378 HAS SOPS 1229539378 HAS SOUS 1123751860 HAS SOUPS 1123751860 WITH SCORE 1.124981399378E9
AT ITER 6040 NEW BEST:: SOT -1471351482 SOS 1229533210 HAS SOPS 1229533210 HAS SOUS 1123748766 HAS SOUPS 1123748766 WITH SCORE 1.12497829921E9
AT ITER 6080 NEW BEST:: SOT -1471352565 SOS 1229532127 HAS SOPS 1229532127 HAS SOUS 1123747683 HAS SOUPS 1123747683 WITH SCORE 1.124977215127E9
AT ITER 6107 NEW BEST:: SOT -1471357488 SOS 1229527204 HAS SOPS 1229527204 HAS SOUS 1123742753 HAS SOUPS 1123742753 WITH SCORE 1.124972280204E9
AT ITER 6109 NEW BEST:: SOT -1471361688 SOS 1229518783 HAS SOPS 1229518783 HAS SOUS 1123734332 HAS SOUPS 1123734332 WITH SCORE 1.124963850783E9
AT ITER 6144 NEW BEST:: SOT -1471361688 SOS 1229518599 HAS SOPS 1229518599 HAS SOUS 1123734332 HAS SOUPS 1123734332 WITH SCORE 1.124963850599E9
AT ITER 6151 NEW BEST:: SOT -1471369469 SOS 1229506597 HAS SOPS 1229506597 HAS SOUS 1123722330 HAS SOUPS 1123722330 WITH SCORE 1.124951836597E9
AT ITER 6176 NEW BEST:: SOT -1471369469 SOS 1229504322 HAS SOPS 1229504322 HAS SOUS 1123720055 HAS SOUPS 1123720055 WITH SCORE 1.124949559322E9
AT ITER 6209 NEW BEST:: SOT -1471373046 SOS 1229500745 HAS SOPS 1229500745 HAS SOUS 1123716478 HAS SOUPS 1123716478 WITH SCORE 1.124945978745E9
AT ITER 6296 NEW BEST:: SOT -1471373784 SOS 1229500007 HAS SOPS 1229500007 HAS SOUS 1123715740 HAS SOUPS 1123715740 WITH SCORE 1.124945240007E9
AT ITER 6334 NEW BEST:: SOT -1471373784 SOS 1229496651 HAS SOPS 1229496651 HAS SOUS 1123712384 HAS SOUPS 1123712384 WITH SCORE 1.124941880651E9
AT ITER 6336 NEW BEST:: SOT -1471379738 SOS 1229495979 HAS SOPS 1229495979 HAS SOUS 1123705873 HAS SOUPS 1123705873 WITH SCORE 1.124935368979E9
AT ITER 6351 NEW BEST:: SOT -1471379738 SOS 1229492150 HAS SOPS 1229492150 HAS SOUS 1123702044 HAS SOUPS 1123702044 WITH SCORE 1.12493153615E9
AT ITER 6357 NEW BEST:: SOT -1471383938 SOS 1229483708 HAS SOPS 1229483708 HAS SOUS 1123693602 HAS SOUPS 1123693602 WITH SCORE 1.124923085708E9
AT ITER 6365 NEW BEST:: SOT -1471388138 SOS 1229475287 HAS SOPS 1229475287 HAS SOUS 1123685181 HAS SOUPS 1123685181 WITH SCORE 1.124914656287E9
AT ITER 6408 NEW BEST:: SOT -1471388138 SOS 1229472322 HAS SOPS 1229472322 HAS SOUS 1123682216 HAS SOUPS 1123682216 WITH SCORE 1.124911688322E9
AT ITER 6475 NEW BEST:: SOT -1471388138 SOS 1229472001 HAS SOPS 1229472001 HAS SOUS 1123681895 HAS SOUPS 1123681895 WITH SCORE 1.124911367001E9
AT ITER 6584 NEW BEST:: SOT -1471392338 SOS 1229463580 HAS SOPS 1229463580 HAS SOUS 1123673474 HAS SOUPS 1123673474 WITH SCORE 1.12490293758E9
AT ITER 6598 NEW BEST:: SOT -1471399596 SOS 1229452101 HAS SOPS 1229452101 HAS SOUS 1123661995 HAS SOUPS 1123661995 WITH SCORE 1.124891447101E9
AT ITER 6658 NEW BEST:: SOT -1471399596 SOS 1229449139 HAS SOPS 1229449139 HAS SOUS 1123659033 HAS SOUPS 1123659033 WITH SCORE 1.124888482139E9
AT ITER 6669 NEW BEST:: SOT -1471407385 SOS 1229437129 HAS SOPS 1229437129 HAS SOUS 1123647023 HAS SOUPS 1123647023 WITH SCORE 1.124876460129E9
AT ITER 6718 NEW BEST:: SOT -1471412706 SOS 1229434918 HAS SOPS 1229434918 HAS SOUS 1123644794 HAS SOUPS 1123644794 WITH SCORE 1.124874228918E9
AT ITER 6726 NEW BEST:: SOT -1471414471 SOS 1229433153 HAS SOPS 1229433153 HAS SOUS 1123643029 HAS SOUPS 1123643029 WITH SCORE 1.124872462153E9
AT ITER 6738 NEW BEST:: SOT -1471414471 SOS 1229429101 HAS SOPS 1229429101 HAS SOUS 1123638977 HAS SOUPS 1123638977 WITH SCORE 1.124868406101E9
AT ITER 6745 NEW BEST:: SOT -1471417402 SOS 1229426170 HAS SOPS 1229426170 HAS SOUS 1123636046 HAS SOUPS 1123636046 WITH SCORE 1.12486547217E9
AT ITER 6785 NEW BEST:: SOT -1471425326 SOS 1229421949 HAS SOPS 1229421949 HAS SOUS 1123631818 HAS SOUPS 1123631818 WITH SCORE 1.124861239949E9
AT ITER 6832 NEW BEST:: SOT -1471429526 SOS 1229413507 HAS SOPS 1229413507 HAS SOUS 1123623376 HAS SOUPS 1123623376 WITH SCORE 1.124852789507E9
AT ITER 6862 NEW BEST:: SOT -1471431737 SOS 1229409085 HAS SOPS 1229409085 HAS SOUS 1123618954 HAS SOUPS 1123618954 WITH SCORE 1.124848363085E9
AT ITER 6882 NEW BEST:: SOT -1471435963 SOS 1229400633 HAS SOPS 1229400633 HAS SOUS 1123614716 HAS SOUPS 1123614716 WITH SCORE 1.124844116633E9
AT ITER 6945 NEW BEST:: SOT -1471439257 SOS 1229397339 HAS SOPS 1229397339 HAS SOUS 1123611422 HAS SOUPS 1123611422 WITH SCORE 1.124840819339E9
AT ITER 7012 NEW BEST:: SOT -1471439257 SOS 1229393454 HAS SOPS 1229393454 HAS SOUS 1123607537 HAS SOUPS 1123607537 WITH SCORE 1.124836930454E9
AT ITER 7033 NEW BEST:: SOT -1471439257 SOS 1229391102 HAS SOPS 1229391102 HAS SOUS 1123605185 HAS SOUPS 1123605185 WITH SCORE 1.124834576102E9
AT ITER 7038 NEW BEST:: SOT -1471443055 SOS 1229387304 HAS SOPS 1229387304 HAS SOUS 1123601387 HAS SOUPS 1123601387 WITH SCORE 1.124830774304E9
AT ITER 7048 NEW BEST:: SOT -1471443055 SOS 1229384109 HAS SOPS 1229384109 HAS SOUS 1123598192 HAS SOUPS 1123598192 WITH SCORE 1.124827576109E9
AT ITER 7099 NEW BEST:: SOT -1471443055 SOS 1229383313 HAS SOPS 1229383313 HAS SOUS 1123597396 HAS SOUPS 1123597396 WITH SCORE 1.124826779313E9
AT ITER 7111 NEW BEST:: SOT -1471443055 SOS 1229380206 HAS SOPS 1229380206 HAS SOUS 1123594289 HAS SOUPS 1123594289 WITH SCORE 1.124823669206E9
AT ITER 7112 NEW BEST:: SOT -1471443055 SOS 1229377920 HAS SOPS 1229377920 HAS SOUS 1123592003 HAS SOUPS 1123592003 WITH SCORE 1.12482138092E9
AT ITER 7114 NEW BEST:: SOT -1471445091 SOS 1229373973 HAS SOPS 1229373973 HAS SOUS 1123587931 HAS SOUPS 1123587931 WITH SCORE 1.124817304973E9
AT ITER 7137 NEW BEST:: SOT -1471445091 SOS 1229373205 HAS SOPS 1229373205 HAS SOUS 1123587163 HAS SOUPS 1123587163 WITH SCORE 1.124816536205E9
AT ITER 7170 NEW BEST:: SOT -1471452387 SOS 1229368984 HAS SOPS 1229368984 HAS SOUS 1123582924 HAS SOUPS 1123582924 WITH SCORE 1.124812292984E9
AT ITER 7171 NEW BEST:: SOT -1471456587 SOS 1229360542 HAS SOPS 1229360542 HAS SOUS 1123574482 HAS SOUPS 1123574482 WITH SCORE 1.124803842542E9
AT ITER 7182 NEW BEST:: SOT -1471456587 SOS 1229359742 HAS SOPS 1229359742 HAS SOUS 1123573682 HAS SOUPS 1123573682 WITH SCORE 1.124803041742E9
AT ITER 7186 NEW BEST:: SOT -1471456587 SOS 1229356016 HAS SOPS 1229356016 HAS SOUS 1123569956 HAS SOUPS 1123569956 WITH SCORE 1.124799312016E9
AT ITER 7193 NEW BEST:: SOT -1471456587 SOS 1229354824 HAS SOPS 1229354824 HAS SOUS 1123568764 HAS SOUPS 1123568764 WITH SCORE 1.124798118824E9
AT ITER 7198 NEW BEST:: SOT -1471460528 SOS 1229350883 HAS SOPS 1229350883 HAS SOUS 1123564823 HAS SOUPS 1123564823 WITH SCORE 1.124794173883E9
AT ITER 7208 NEW BEST:: SOT -1471460528 SOS 1229348743 HAS SOPS 1229348743 HAS SOUS 1123562683 HAS SOUPS 1123562683 WITH SCORE 1.124792031743E9
AT ITER 7220 NEW BEST:: SOT -1471466781 SOS 1229344522 HAS SOPS 1229344522 HAS SOUS 1123558450 HAS SOUPS 1123558450 WITH SCORE 1.124787794522E9
AT ITER 7262 NEW BEST:: SOT -1471468319 SOS 1229342984 HAS SOPS 1229342984 HAS SOUS 1123558446 HAS SOUPS 1123558446 WITH SCORE 1.124787788984E9
AT ITER 7294 NEW BEST:: SOT -1471468319 SOS 1229338808 HAS SOPS 1229338808 HAS SOUS 1123554270 HAS SOUPS 1123554270 WITH SCORE 1.124783608808E9
AT ITER 7343 NEW BEST:: SOT -1471472498 SOS 1229334629 HAS SOPS 1229334629 HAS SOUS 1123550091 HAS SOUPS 1123550091 WITH SCORE 1.124779425629E9
AT ITER 7351 NEW BEST:: SOT -1471472498 SOS 1229333509 HAS SOPS 1229333509 HAS SOUS 1123548971 HAS SOUPS 1123548971 WITH SCORE 1.124778304509E9
AT ITER 7364 NEW BEST:: SOT -1471474802 SOS 1229328901 HAS SOPS 1229328901 HAS SOUS 1123546659 HAS SOUPS 1123546659 WITH SCORE 1.124775987901E9
AT ITER 7371 NEW BEST:: SOT -1471474802 SOS 1229326336 HAS SOPS 1229326336 HAS SOUS 1123546658 HAS SOUPS 1123546658 WITH SCORE 1.124775984336E9
AT ITER 7418 NEW BEST:: SOT -1471477111 SOS 1229324027 HAS SOPS 1229324027 HAS SOUS 1123544349 HAS SOUPS 1123544349 WITH SCORE 1.124773673027E9
AT ITER 7478 NEW BEST:: SOT -1471481311 SOS 1229315606 HAS SOPS 1229315606 HAS SOUS 1123535928 HAS SOUPS 1123535928 WITH SCORE 1.124765243606E9
AT ITER 7485 NEW BEST:: SOT -1471481547 SOS 1229298747 HAS SOPS 1229298747 HAS SOUS 1123535692 HAS SOUPS 1123535692 WITH SCORE 1.124764990747E9
AT ITER 7541 NEW BEST:: SOT -1471481547 SOS 1229303069 HAS SOPS 1229303069 HAS SOUS 1123533595 HAS SOUPS 1123533595 WITH SCORE 1.124762898069E9
AT ITER 7543 NEW BEST:: SOT -1471483961 SOS 1229300655 HAS SOPS 1229300655 HAS SOUS 1123531181 HAS SOUPS 1123531181 WITH SCORE 1.124760481655E9
AT ITER 7546 NEW BEST:: SOT -1471512401 SOS 1229273637 HAS SOPS 1229273637 HAS SOUS 1123504154 HAS SOUPS 1123504154 WITH SCORE 1.124733427637E9
AT ITER 7560 NEW BEST:: SOT -1471516528 SOS 1229269516 HAS SOPS 1229269516 HAS SOUS 1123500033 HAS SOUPS 1123500033 WITH SCORE 1.124729302516E9
AT ITER 7570 NEW BEST:: SOT -1471516528 SOS 1229266070 HAS SOPS 1229266070 HAS SOUS 1123496587 HAS SOUPS 1123496587 WITH SCORE 1.12472585307E9
AT ITER 7637 NEW BEST:: SOT -1471518543 SOS 1229264251 HAS SOPS 1229264251 HAS SOUS 1123494768 HAS SOUPS 1123494768 WITH SCORE 1.124724032251E9
AT ITER 7667 NEW BEST:: SOT -1471521200 SOS 1229261594 HAS SOPS 1229261594 HAS SOUS 1123492111 HAS SOUPS 1123492111 WITH SCORE 1.124721372594E9
AT ITER 7698 NEW BEST:: SOT -1471524715 SOS 1229254564 HAS SOPS 1229254564 HAS SOUS 1123488589 HAS SOUPS 1123488589 WITH SCORE 1.124717843564E9
AT ITER 7703 NEW BEST:: SOT -1471528915 SOS 1229246143 HAS SOPS 1229246143 HAS SOUS 1123480168 HAS SOUPS 1123480168 WITH SCORE 1.124709414143E9
AT ITER 7725 NEW BEST:: SOT -1471558314 SOS 1229472913 HAS SOPS 1229472913 HAS SOUS 1123478078 HAS SOUPS 1123478078 WITH SCORE 1.124707550913E9
AT ITER 7791 NEW BEST:: SOT -1471561825 SOS 1229469402 HAS SOPS 1229469402 HAS SOUS 1123474567 HAS SOUPS 1123474567 WITH SCORE 1.124704036402E9
AT ITER 7826 NEW BEST:: SOT -1471566025 SOS 1229460981 HAS SOPS 1229460981 HAS SOUS 1123466146 HAS SOUPS 1123466146 WITH SCORE 1.124695606981E9
AT ITER 7838 NEW BEST:: SOT -1471566025 SOS 1229459349 HAS SOPS 1229459349 HAS SOUS 1123464514 HAS SOUPS 1123464514 WITH SCORE 1.124693973349E9
AT ITER 7895 NEW BEST:: SOT -1471566858 SOS 1229458516 HAS SOPS 1229458516 HAS SOUS 1123463681 HAS SOUPS 1123463681 WITH SCORE 1.124693139516E9
AT ITER 7922 NEW BEST:: SOT -1471567817 SOS 1229457501 HAS SOPS 1229457501 HAS SOUS 1123462866 HAS SOUPS 1123462866 WITH SCORE 1.124692323501E9
AT ITER 7928 NEW BEST:: SOT -1471572017 SOS 1229449059 HAS SOPS 1229449059 HAS SOUS 1123454424 HAS SOUPS 1123454424 WITH SCORE 1.124683873059E9
AT ITER 7969 NEW BEST:: SOT -1471579638 SOS 1229439004 HAS SOPS 1229439004 HAS SOUS 1123451973 HAS SOUPS 1123451973 WITH SCORE 1.124681412004E9
AT ITER 8055 NEW BEST:: SOT -1471579638 SOS 1229436334 HAS SOPS 1229436334 HAS SOUS 1123449303 HAS SOUPS 1123449303 WITH SCORE 1.124678739334E9
AT ITER 8088 NEW BEST:: SOT -1471579638 SOS 1229434707 HAS SOPS 1229434707 HAS SOUS 1123447676 HAS SOUPS 1123447676 WITH SCORE 1.124677110707E9
AT ITER 8097 NEW BEST:: SOT -1471579638 SOS 1229432904 HAS SOPS 1229432904 HAS SOUS 1123445873 HAS SOUPS 1123445873 WITH SCORE 1.124675305904E9
AT ITER 8106 NEW BEST:: SOT -1471579638 SOS 1229430061 HAS SOPS 1229430061 HAS SOUS 1123443030 HAS SOUPS 1123443030 WITH SCORE 1.124672460061E9
AT ITER 8141 NEW BEST:: SOT -1471584542 SOS 1229420936 HAS SOPS 1229420936 HAS SOUS 1123433905 HAS SOUPS 1123433905 WITH SCORE 1.124663325936E9
AT ITER 8190 NEW BEST:: SOT -1471584542 SOS 1229419793 HAS SOPS 1229419793 HAS SOUS 1123432762 HAS SOUPS 1123432762 WITH SCORE 1.124662181793E9
AT ITER 8198 NEW BEST:: SOT -1471590134 SOS 1229456980 HAS SOPS 1229456980 HAS SOUS 1123431064 HAS SOUPS 1123431064 WITH SCORE 1.12466052098E9
AT ITER 8226 NEW BEST:: SOT -1471590134 SOS 1229455392 HAS SOPS 1229455392 HAS SOUS 1123431055 HAS SOUPS 1123431055 WITH SCORE 1.124660510392E9
AT ITER 8232 NEW BEST:: SOT -1471594334 SOS 1229446971 HAS SOPS 1229446971 HAS SOUS 1123422634 HAS SOUPS 1123422634 WITH SCORE 1.124652080971E9
AT ITER 8233 NEW BEST:: SOT -1471598534 SOS 1229438550 HAS SOPS 1229438550 HAS SOUS 1123414213 HAS SOUPS 1123414213 WITH SCORE 1.12464365155E9
AT ITER 8277 NEW BEST:: SOT -1471605846 SOS 1229435164 HAS SOPS 1229435164 HAS SOUS 1123411277 HAS SOUPS 1123411277 WITH SCORE 1.124640712164E9
AT ITER 8290 NEW BEST:: SOT -1471609411 SOS 1229431599 HAS SOPS 1229431599 HAS SOUS 1123407712 HAS SOUPS 1123407712 WITH SCORE 1.124637143599E9
AT ITER 8303 NEW BEST:: SOT -1471609411 SOS 1229429093 HAS SOPS 1229429093 HAS SOUS 1123405206 HAS SOUPS 1123405206 WITH SCORE 1.124634635093E9
AT ITER 8306 NEW BEST:: SOT -1471609411 SOS 1229425096 HAS SOPS 1229425096 HAS SOUS 1123401209 HAS SOUPS 1123401209 WITH SCORE 1.124630634096E9
AT ITER 8332 NEW BEST:: SOT -1471609411 SOS 1229421642 HAS SOPS 1229421642 HAS SOUS 1123397755 HAS SOUPS 1123397755 WITH SCORE 1.124627176642E9
AT ITER 8374 NEW BEST:: SOT -1471609411 SOS 1229418598 HAS SOPS 1229418598 HAS SOUS 1123394711 HAS SOUPS 1123394711 WITH SCORE 1.124624129598E9
AT ITER 8381 NEW BEST:: SOT -1471614198 SOS 1229410156 HAS SOPS 1229410156 HAS SOUS 1123391056 HAS SOUPS 1123391056 WITH SCORE 1.124620466156E9
AT ITER 8450 NEW BEST:: SOT -1471618326 SOS 1229401900 HAS SOPS 1229401900 HAS SOUS 1123386927 HAS SOUPS 1123386927 WITH SCORE 1.1246163289E9
AT ITER 8513 NEW BEST:: SOT -1471618326 SOS 1229401247 HAS SOPS 1229401247 HAS SOUS 1123386274 HAS SOUPS 1123386274 WITH SCORE 1.124615675247E9
AT ITER 8518 NEW BEST:: SOT -1471625066 SOS 1229394507 HAS SOPS 1229394507 HAS SOUS 1123379534 HAS SOUPS 1123379534 WITH SCORE 1.124608928507E9
AT ITER 8524 NEW BEST:: SOT -1471626723 SOS 1229391338 HAS SOPS 1229391338 HAS SOUS 1123376220 HAS SOUPS 1123376220 WITH SCORE 1.124605611338E9
AT ITER 8540 NEW BEST:: SOT -1471627277 SOS 1229390784 HAS SOPS 1229390784 HAS SOUS 1123375666 HAS SOUPS 1123375666 WITH SCORE 1.124605056784E9
AT ITER 8562 NEW BEST:: SOT -1471635546 SOS 1229378294 HAS SOPS 1229378294 HAS SOUS 1123363176 HAS SOUPS 1123363176 WITH SCORE 1.124592554294E9
AT ITER 8588 NEW BEST:: SOT -1471635546 SOS 1229356895 HAS SOPS 1229356895 HAS SOUS 1123363176 HAS SOUPS 1123363176 WITH SCORE 1.124592532895E9
AT ITER 8589 NEW BEST:: SOT -1471639039 SOS 1229353402 HAS SOPS 1229353402 HAS SOUS 1123359683 HAS SOUPS 1123359683 WITH SCORE 1.124589036402E9
AT ITER 8603 NEW BEST:: SOT -1471639039 SOS 1229349949 HAS SOPS 1229349949 HAS SOUS 1123356230 HAS SOUPS 1123356230 WITH SCORE 1.124585579949E9
AT ITER 8607 NEW BEST:: SOT -1471639039 SOS 1229346080 HAS SOPS 1229346080 HAS SOUS 1123352361 HAS SOUPS 1123352361 WITH SCORE 1.12458170708E9
AT ITER 8639 NEW BEST:: SOT -1471641250 SOS 1229341658 HAS SOPS 1229341658 HAS SOUS 1123347939 HAS SOUPS 1123347939 WITH SCORE 1.124577280658E9
AT ITER 8675 NEW BEST:: SOT -1471641250 SOS 1229340673 HAS SOPS 1229340673 HAS SOUS 1123346954 HAS SOUPS 1123346954 WITH SCORE 1.124576294673E9
AT ITER 8703 NEW BEST:: SOT -1471645108 SOS 1229336815 HAS SOPS 1229336815 HAS SOUS 1123343096 HAS SOUPS 1123343096 WITH SCORE 1.124572432815E9
AT ITER 8753 NEW BEST:: SOT -1471650333 SOS 1229331590 HAS SOPS 1229331590 HAS SOUS 1123337871 HAS SOUPS 1123337871 WITH SCORE 1.12456720259E9
AT ITER 8823 NEW BEST:: SOT -1471651871 SOS 1229330052 HAS SOPS 1229330052 HAS SOUS 1123336333 HAS SOUPS 1123336333 WITH SCORE 1.124565663052E9
AT ITER 8850 NEW BEST:: SOT -1471657132 SOS 1229321610 HAS SOPS 1229321610 HAS SOUS 1123333143 HAS SOUPS 1123333143 WITH SCORE 1.12456246461E9
AT ITER 8900 NEW BEST:: SOT -1471657874 SOS 1229320868 HAS SOPS 1229320868 HAS SOUS 1123332401 HAS SOUPS 1123332401 WITH SCORE 1.124561721868E9
AT ITER 8957 NEW BEST:: SOT -1471661554 SOS 1229317188 HAS SOPS 1229317188 HAS SOUS 1123328721 HAS SOUPS 1123328721 WITH SCORE 1.124558038188E9
AT ITER 8971 NEW BEST:: SOT -1471668395 SOS 1229310347 HAS SOPS 1229310347 HAS SOUS 1123321880 HAS SOUPS 1123321880 WITH SCORE 1.124551190347E9
AT ITER 8975 NEW BEST:: SOT -1471675302 SOS 1229299219 HAS SOPS 1229299219 HAS SOUS 1123310752 HAS SOUPS 1123310752 WITH SCORE 1.124540051219E9
AT ITER 8978 NEW BEST:: SOT -1471682434 SOS 1229287866 HAS SOPS 1229287866 HAS SOUS 1123299399 HAS SOUPS 1123299399 WITH SCORE 1.124528686866E9
AT ITER 8995 NEW BEST:: SOT -1471686634 SOS 1229279445 HAS SOPS 1229279445 HAS SOUS 1123290978 HAS SOUPS 1123290978 WITH SCORE 1.124520257445E9
AT ITER 9041 NEW BEST:: SOT -1471694029 SOS 1229275124 HAS SOPS 1229275124 HAS SOUS 1123286657 HAS SOUPS 1123286657 WITH SCORE 1.124515932124E9
AT ITER 9045 NEW BEST:: SOT -1471694029 SOS 1229271702 HAS SOPS 1229271702 HAS SOUS 1123283235 HAS SOUPS 1123283235 WITH SCORE 1.124512506702E9
AT ITER 9056 NEW BEST:: SOT -1471697861 SOS 1229267870 HAS SOPS 1229267870 HAS SOUS 1123279403 HAS SOUPS 1123279403 WITH SCORE 1.12450867087E9
AT ITER 9070 NEW BEST:: SOT -1471700347 SOS 1229262991 HAS SOPS 1229262991 HAS SOUS 1123274431 HAS SOUPS 1123274431 WITH SCORE 1.124503693991E9
AT ITER 9125 NEW BEST:: SOT -1471700347 SOS 1229260588 HAS SOPS 1229260588 HAS SOUS 1123272028 HAS SOUPS 1123272028 WITH SCORE 1.124501288588E9
AT ITER 9126 NEW BEST:: SOT -1471701773 SOS 1229259162 HAS SOPS 1229259162 HAS SOUS 1123270602 HAS SOUPS 1123270602 WITH SCORE 1.124499861162E9
AT ITER 9155 NEW BEST:: SOT -1471704611 SOS 1229256324 HAS SOPS 1229256324 HAS SOUS 1123267764 HAS SOUPS 1123267764 WITH SCORE 1.124497020324E9
AT ITER 9169 NEW BEST:: SOT -1471705671 SOS 1229254204 HAS SOPS 1229254204 HAS SOUS 1123265644 HAS SOUPS 1123265644 WITH SCORE 1.124494898204E9
AT ITER 9182 NEW BEST:: SOT -1471705671 SOS 1229252826 HAS SOPS 1229252826 HAS SOUS 1123264266 HAS SOUPS 1123264266 WITH SCORE 1.124493518826E9
AT ITER 9194 NEW BEST:: SOT -1471709524 SOS 1229248973 HAS SOPS 1229248973 HAS SOUS 1123260413 HAS SOUPS 1123260413 WITH SCORE 1.124489661973E9
AT ITER 9254 NEW BEST:: SOT -1471709524 SOS 1229248626 HAS SOPS 1229248626 HAS SOUS 1123260066 HAS SOUPS 1123260066 WITH SCORE 1.124489314626E9
AT ITER 9366 NEW BEST:: SOT -1471713481 SOS 1229244669 HAS SOPS 1229244669 HAS SOUS 1123256109 HAS SOUPS 1123256109 WITH SCORE 1.124485353669E9
AT ITER 9372 NEW BEST:: SOT -1471717931 SOS 1229240219 HAS SOPS 1229240219 HAS SOUS 1123251659 HAS SOUPS 1123251659 WITH SCORE 1.124480899219E9
AT ITER 9413 NEW BEST:: SOT -1471734181 SOS 1229223969 HAS SOPS 1229223969 HAS SOUS 1123235409 HAS SOUPS 1123235409 WITH SCORE 1.124464632969E9
AT ITER 9438 NEW BEST:: SOT -1472951310 SOS 1238662784 HAS SOPS 1238662784 HAS SOUS 1122073836 HAS SOUPS 1122073836 WITH SCORE 1.123312498784E9
AT ITER 9468 NEW BEST:: SOT -1472951310 SOS 1238658591 HAS SOPS 1238658591 HAS SOUS 1122069643 HAS SOUPS 1122069643 WITH SCORE 1.123308301591E9
AT ITER 9470 NEW BEST:: SOT -1472954670 SOS 1238655231 HAS SOPS 1238655231 HAS SOUS 1122066283 HAS SOUPS 1122066283 WITH SCORE 1.123304938231E9
AT ITER 9485 NEW BEST:: SOT -1472954670 SOS 1238652523 HAS SOPS 1238652523 HAS SOUS 1122063575 HAS SOUPS 1122063575 WITH SCORE 1.123302227523E9
AT ITER 9527 NEW BEST:: SOT -1472954670 SOS 1238651366 HAS SOPS 1238651366 HAS SOUS 1122062416 HAS SOUPS 1122062416 WITH SCORE 1.123301067366E9
AT ITER 9532 NEW BEST:: SOT -1472956053 SOS 1238649983 HAS SOPS 1238649983 HAS SOUS 1122061033 HAS SOUPS 1122061033 WITH SCORE 1.123299682983E9
AT ITER 9576 NEW BEST:: SOT -1472960253 SOS 1238641541 HAS SOPS 1238641541 HAS SOUS 1122052591 HAS SOUPS 1122052591 WITH SCORE 1.123291232541E9
AT ITER 9593 NEW BEST:: SOT -1472960341 SOS 1238641365 HAS SOPS 1238641365 HAS SOUS 1122052415 HAS SOUPS 1122052415 WITH SCORE 1.123291056365E9
AT ITER 9655 NEW BEST:: SOT -1472962760 SOS 1238638946 HAS SOPS 1238638946 HAS SOUS 1122049996 HAS SOUPS 1122049996 WITH SCORE 1.123288634946E9
AT ITER 9664 NEW BEST:: SOT -1472970210 SOS 1238627275 HAS SOPS 1238627275 HAS SOUS 1122038325 HAS SOUPS 1122038325 WITH SCORE 1.123276952275E9
AT ITER 9665 NEW BEST:: SOT -1472970210 SOS 1238626177 HAS SOPS 1238626177 HAS SOUS 1122037227 HAS SOUPS 1122037227 WITH SCORE 1.123275853177E9
AT ITER 9671 NEW BEST:: SOT -1472973410 SOS 1238622977 HAS SOPS 1238622977 HAS SOUS 1122034027 HAS SOUPS 1122034027 WITH SCORE 1.123272649977E9
AT ITER 9699 NEW BEST:: SOT -1472981497 SOS 1238610669 HAS SOPS 1238610669 HAS SOUS 1122021719 HAS SOUPS 1122021719 WITH SCORE 1.123260329669E9
AT ITER 9703 NEW BEST:: SOT -1472981497 SOS 1238609962 HAS SOPS 1238609962 HAS SOUS 1122021709 HAS SOUPS 1122021709 WITH SCORE 1.123260318962E9
AT ITER 9727 NEW BEST:: SOT -1472988732 SOS 1238605682 HAS SOPS 1238605682 HAS SOUS 1122017420 HAS SOUPS 1122017420 WITH SCORE 1.123256025682E9
AT ITER 9794 NEW BEST:: SOT -1472990088 SOS 1238604326 HAS SOPS 1238604326 HAS SOUS 1122016064 HAS SOUPS 1122016064 WITH SCORE 1.123254668326E9
AT ITER 9805 NEW BEST:: SOT -1472998482 SOS 1238591711 HAS SOPS 1238591711 HAS SOUS 1122003449 HAS SOUPS 1122003449 WITH SCORE 1.123242040711E9
AT ITER 9838 NEW BEST:: SOT -1472998482 SOS 1238587535 HAS SOPS 1238587535 HAS SOUS 1121999273 HAS SOUPS 1121999273 WITH SCORE 1.123237860535E9
AT ITER 9970 NEW BEST:: SOT -1473005447 SOS 1238585382 HAS SOPS 1238585382 HAS SOUS 1121996532 HAS SOUPS 1121996532 WITH SCORE 1.123235117382E9
AT ITER 9974 NEW BEST:: SOT -1473012816 SOS 1238578013 HAS SOPS 1238578013 HAS SOUS 1121989163 HAS SOUPS 1121989163 WITH SCORE 1.123227741013E9
AT ITER 9985 NEW BEST:: SOT -1473013475 SOS 1238576892 HAS SOPS 1238576892 HAS SOUS 1121987845 HAS SOUPS 1121987845 WITH SCORE 1.123226421892E9
AT ITER 9996 NEW BEST:: SOT -1473016956 SOS 1238573411 HAS SOPS 1238573411 HAS SOUS 1121984364 HAS SOUPS 1121984364 WITH SCORE 1.123222937411E9
AT ITER 9998 NEW BEST:: SOT -1473017799 SOS 1238571725 HAS SOPS 1238571725 HAS SOUS 1121982678 HAS SOUPS 1121982678 WITH SCORE 1.123221249725E9
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15357620 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15978248 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="FamilyReunion-COL-L00200M0020C010P010G005"
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 FamilyReunion-COL-L00200M0020C010P010G005, 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 r171-tall-167838858400336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L00200M0020C010P010G005.tgz
mv FamilyReunion-COL-L00200M0020C010P010G005 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 ;