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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 8.4K Feb 25 15:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 25 15:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 15:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 15:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 15:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 140K Feb 25 15:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 15:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 15:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 9.6M 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 1678395447193

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=DLCflexbar-PT-6b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 20:57:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 20:57:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 20:57:29] [INFO ] Load time of PNML (sax parser for PT used): 742 ms
[2023-03-09 20:57:29] [INFO ] Transformed 25104 places.
[2023-03-09 20:57:29] [INFO ] Transformed 39112 transitions.
[2023-03-09 20:57:29] [INFO ] Found NUPN structural information;
[2023-03-09 20:57:30] [INFO ] Parsed PT model containing 25104 places and 39112 transitions and 109395 arcs in 2146 ms.
[2023-03-09 20:57:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 25104 places, 39112 transitions and 109395 arcs took 138 ms.
Total runtime 2315 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 6b
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: 25104 places, 39112 transitions, 109395 arcs.
AT ITER 0 NEW BEST:: SOT 653968249 SOS 151567365 HAS SOPS 151567365 HAS SOUS 89849950 HAS SOUPS 89849950 WITH SCORE 9.0001517365E7
AT ITER 51 NEW BEST:: SOT 653968249 SOS 151567365 HAS SOPS 151567365 HAS SOUS 89841752 HAS SOUPS 89841752 WITH SCORE 8.9993319365E7
AT ITER 59 NEW BEST:: SOT 653960824 SOS 151559940 HAS SOPS 151559940 HAS SOUS 89834327 HAS SOUPS 89834327 WITH SCORE 8.998588694E7
AT ITER 63 NEW BEST:: SOT 653955608 SOS 151559492 HAS SOPS 151559492 HAS SOUS 89832980 HAS SOUPS 89832980 WITH SCORE 8.9984539492E7
AT ITER 67 NEW BEST:: SOT 653952491 SOS 151556902 HAS SOPS 151556902 HAS SOUS 89830390 HAS SOUPS 89830390 WITH SCORE 8.9981946902E7
AT ITER 87 NEW BEST:: SOT 653948403 SOS 151552814 HAS SOPS 151552814 HAS SOUS 89826302 HAS SOUPS 89826302 WITH SCORE 8.9977854814E7
AT ITER 108 NEW BEST:: SOT 653948403 SOS 151547780 HAS SOPS 151547780 HAS SOUS 89824624 HAS SOUPS 89824624 WITH SCORE 8.997617178E7
AT ITER 119 NEW BEST:: SOT 653948403 SOS 151540151 HAS SOPS 151540151 HAS SOUS 89822081 HAS SOUPS 89822081 WITH SCORE 8.9973621151E7
AT ITER 120 NEW BEST:: SOT 653948403 SOS 151540151 HAS SOPS 151540151 HAS SOUS 89815101 HAS SOUPS 89815101 WITH SCORE 8.9966641151E7
AT ITER 137 NEW BEST:: SOT 653947806 SOS 151538957 HAS SOPS 151538957 HAS SOUS 89813907 HAS SOUPS 89813907 WITH SCORE 8.9965445957E7
AT ITER 159 NEW BEST:: SOT 653944245 SOS 151537494 HAS SOPS 151537494 HAS SOUS 89812444 HAS SOUPS 89812444 WITH SCORE 8.9963981494E7
AT ITER 184 NEW BEST:: SOT 653937077 SOS 151532632 HAS SOPS 151532632 HAS SOUS 89806428 HAS SOUPS 89806428 WITH SCORE 8.9957960632E7
AT ITER 205 NEW BEST:: SOT 653937074 SOS 151532626 HAS SOPS 151532626 HAS SOUS 89806422 HAS SOUPS 89806422 WITH SCORE 8.9957954626E7
AT ITER 208 NEW BEST:: SOT 653932343 SOS 151527891 HAS SOPS 151527891 HAS SOUS 89801690 HAS SOUPS 89801690 WITH SCORE 8.9953217891E7
AT ITER 218 NEW BEST:: SOT 653932342 SOS 151525504 HAS SOPS 151525504 HAS SOUS 89799303 HAS SOUPS 89799303 WITH SCORE 8.9950828504E7
AT ITER 237 NEW BEST:: SOT 653928625 SOS 151521783 HAS SOPS 151521783 HAS SOUS 89795585 HAS SOUPS 89795585 WITH SCORE 8.9947106783E7
AT ITER 238 NEW BEST:: SOT 653922817 SOS 151527591 HAS SOPS 151527591 HAS SOUS 89789777 HAS SOUPS 89789777 WITH SCORE 8.9941304591E7
AT ITER 280 NEW BEST:: SOT 653922817 SOS 151520229 HAS SOPS 151520229 HAS SOUS 89787323 HAS SOUPS 89787323 WITH SCORE 8.9938843229E7
AT ITER 290 NEW BEST:: SOT 653918737 SOS 151512069 HAS SOPS 151512069 HAS SOUS 89779163 HAS SOUPS 89779163 WITH SCORE 8.9930675069E7
AT ITER 293 NEW BEST:: SOT 653916850 SOS 151508295 HAS SOPS 151508295 HAS SOUS 89777275 HAS SOUPS 89777275 WITH SCORE 8.9928783295E7
AT ITER 307 NEW BEST:: SOT 653915273 SOS 151505141 HAS SOPS 151505141 HAS SOUS 89774121 HAS SOUPS 89774121 WITH SCORE 8.9925626141E7
AT ITER 314 NEW BEST:: SOT 653911432 SOS 151501300 HAS SOPS 151501300 HAS SOUS 89770280 HAS SOUPS 89770280 WITH SCORE 8.99217813E7
AT ITER 327 NEW BEST:: SOT 653903886 SOS 151492676 HAS SOPS 151492676 HAS SOUS 89766045 HAS SOUPS 89766045 WITH SCORE 8.9917537676E7
AT ITER 360 NEW BEST:: SOT 653896959 SOS 151485963 HAS SOPS 151485963 HAS SOUS 89759231 HAS SOUPS 89759231 WITH SCORE 8.9910716963E7
AT ITER 378 NEW BEST:: SOT 653895171 SOS 151482387 HAS SOPS 151482387 HAS SOUS 89755655 HAS SOUPS 89755655 WITH SCORE 8.9907137387E7
AT ITER 416 NEW BEST:: SOT 653894481 SOS 151483763 HAS SOPS 151483763 HAS SOUS 89754964 HAS SOUPS 89754964 WITH SCORE 8.9906447763E7
AT ITER 445 NEW BEST:: SOT 653894481 SOS 151483763 HAS SOPS 151483763 HAS SOUS 89754065 HAS SOUPS 89754065 WITH SCORE 8.9905548763E7
AT ITER 459 NEW BEST:: SOT 653888063 SOS 151478068 HAS SOPS 151478068 HAS SOUS 89747647 HAS SOUPS 89747647 WITH SCORE 8.9899125068E7
AT ITER 464 NEW BEST:: SOT 653887508 SOS 151477939 HAS SOPS 151477939 HAS SOUS 89747419 HAS SOUPS 89747419 WITH SCORE 8.9898896939E7
AT ITER 502 NEW BEST:: SOT 653887148 SOS 151477023 HAS SOPS 151477023 HAS SOUS 89746503 HAS SOUPS 89746503 WITH SCORE 8.9897980023E7
AT ITER 505 NEW BEST:: SOT 653886658 SOS 151476033 HAS SOPS 151476033 HAS SOUS 89745522 HAS SOUPS 89745522 WITH SCORE 8.9896998033E7
AT ITER 514 NEW BEST:: SOT 653887431 SOS 151477579 HAS SOPS 151477579 HAS SOUS 89742836 HAS SOUPS 89742836 WITH SCORE 8.9894313579E7
AT ITER 538 NEW BEST:: SOT 653886823 SOS 151478791 HAS SOPS 151478791 HAS SOUS 89742227 HAS SOUPS 89742227 WITH SCORE 8.9893705791E7
AT ITER 553 NEW BEST:: SOT 653886823 SOS 151478791 HAS SOPS 151478791 HAS SOUS 89739950 HAS SOUPS 89739950 WITH SCORE 8.9891428791E7
AT ITER 562 NEW BEST:: SOT 653886446 SOS 151478437 HAS SOPS 151478437 HAS SOUS 89739173 HAS SOUPS 89739173 WITH SCORE 8.9890651437E7
AT ITER 632 NEW BEST:: SOT 653885480 SOS 151476505 HAS SOPS 151476505 HAS SOUS 89738292 HAS SOUPS 89738292 WITH SCORE 8.9889768505E7
AT ITER 636 NEW BEST:: SOT 653885480 SOS 151476505 HAS SOPS 151476505 HAS SOUS 89738291 HAS SOUPS 89738291 WITH SCORE 8.9889767505E7
AT ITER 640 NEW BEST:: SOT 653885603 SOS 151474207 HAS SOPS 151474207 HAS SOUS 89735993 HAS SOUPS 89735993 WITH SCORE 8.9887467207E7
AT ITER 664 NEW BEST:: SOT 653883296 SOS 151490245 HAS SOPS 151490245 HAS SOUS 89731380 HAS SOUPS 89731380 WITH SCORE 8.9882870245E7
AT ITER 705 NEW BEST:: SOT 653880303 SOS 151487248 HAS SOPS 151487248 HAS SOUS 89728386 HAS SOUPS 89728386 WITH SCORE 8.9879873248E7
AT ITER 712 NEW BEST:: SOT 653876841 SOS 151486785 HAS SOPS 151486785 HAS SOUS 89724924 HAS SOUPS 89724924 WITH SCORE 8.9876410785E7
AT ITER 730 NEW BEST:: SOT 653875781 SOS 151486781 HAS SOPS 151486781 HAS SOUS 89724393 HAS SOUPS 89724393 WITH SCORE 8.9875879781E7
AT ITER 779 NEW BEST:: SOT 653875781 SOS 151486781 HAS SOPS 151486781 HAS SOUS 89724386 HAS SOUPS 89724386 WITH SCORE 8.9875872781E7
AT ITER 797 NEW BEST:: SOT 653873377 SOS 151483175 HAS SOPS 151483175 HAS SOUS 89720780 HAS SOUPS 89720780 WITH SCORE 8.9872263175E7
AT ITER 824 NEW BEST:: SOT 653874453 SOS 151481020 HAS SOPS 151481020 HAS SOUS 89720779 HAS SOUPS 89720779 WITH SCORE 8.987226002E7
AT ITER 840 NEW BEST:: SOT 653874453 SOS 151476220 HAS SOPS 151476220 HAS SOUS 89719179 HAS SOUPS 89719179 WITH SCORE 8.987065522E7
AT ITER 856 NEW BEST:: SOT 653873984 SOS 151477154 HAS SOPS 151477154 HAS SOUS 89718709 HAS SOUPS 89718709 WITH SCORE 8.9870186154E7
AT ITER 863 NEW BEST:: SOT 653869739 SOS 151472909 HAS SOPS 151472909 HAS SOUS 89714464 HAS SOUPS 89714464 WITH SCORE 8.9865936909E7
AT ITER 883 NEW BEST:: SOT 653865347 SOS 151468513 HAS SOPS 151468513 HAS SOUS 89710071 HAS SOUPS 89710071 WITH SCORE 8.9861539513E7
AT ITER 903 NEW BEST:: SOT 653860211 SOS 151469032 HAS SOPS 151469032 HAS SOUS 89709273 HAS SOUPS 89709273 WITH SCORE 8.9860742032E7
AT ITER 954 NEW BEST:: SOT 653857604 SOS 151477249 HAS SOPS 151477249 HAS SOUS 89707600 HAS SOUPS 89707600 WITH SCORE 8.9859077249E7
AT ITER 1002 NEW BEST:: SOT 653852736 SOS 151541861 HAS SOPS 151541861 HAS SOUS 89701357 HAS SOUPS 89701357 WITH SCORE 8.9852898861E7
AT ITER 1028 NEW BEST:: SOT 653845371 SOS 151534495 HAS SOPS 151534495 HAS SOUS 89693991 HAS SOUPS 89693991 WITH SCORE 8.9845525495E7
AT ITER 1069 NEW BEST:: SOT 653844597 SOS 151536039 HAS SOPS 151536039 HAS SOUS 89693216 HAS SOUPS 89693216 WITH SCORE 8.9844752039E7
AT ITER 1081 NEW BEST:: SOT 653839596 SOS 151531575 HAS SOPS 151531575 HAS SOUS 89688752 HAS SOUPS 89688752 WITH SCORE 8.9840283575E7
AT ITER 1117 NEW BEST:: SOT 653838423 SOS 151529229 HAS SOPS 151529229 HAS SOUS 89686406 HAS SOUPS 89686406 WITH SCORE 8.9837935229E7
AT ITER 1151 NEW BEST:: SOT 653812099 SOS 151517027 HAS SOPS 151517027 HAS SOUS 89681265 HAS SOUPS 89681265 WITH SCORE 8.9832782027E7
AT ITER 1157 NEW BEST:: SOT 653812099 SOS 151506596 HAS SOPS 151506596 HAS SOUS 89681265 HAS SOUPS 89681265 WITH SCORE 8.9832771596E7
AT ITER 1192 NEW BEST:: SOT 653812442 SOS 151507278 HAS SOPS 151507278 HAS SOUS 89681263 HAS SOUPS 89681263 WITH SCORE 8.9832770278E7
AT ITER 1210 NEW BEST:: SOT 653812442 SOS 151507278 HAS SOPS 151507278 HAS SOUS 89680774 HAS SOUPS 89680774 WITH SCORE 8.9832281278E7
AT ITER 1235 NEW BEST:: SOT 653812442 SOS 151498272 HAS SOPS 151498272 HAS SOUS 89677772 HAS SOUPS 89677772 WITH SCORE 8.9829270272E7
AT ITER 1237 NEW BEST:: SOT 653809570 SOS 151483912 HAS SOPS 151483912 HAS SOUS 89672028 HAS SOUPS 89672028 WITH SCORE 8.9823511912E7
AT ITER 1243 NEW BEST:: SOT 653809279 SOS 151484199 HAS SOPS 151484199 HAS SOUS 89672027 HAS SOUPS 89672027 WITH SCORE 8.9823511199E7
AT ITER 1246 NEW BEST:: SOT 653809763 SOS 151464664 HAS SOPS 151464664 HAS SOUS 89666354 HAS SOUPS 89666354 WITH SCORE 8.9817818664E7
AT ITER 1266 NEW BEST:: SOT 653809763 SOS 151463886 HAS SOPS 151463886 HAS SOUS 89665965 HAS SOUPS 89665965 WITH SCORE 8.9817428886E7
AT ITER 1298 NEW BEST:: SOT 653807568 SOS 151466078 HAS SOPS 151466078 HAS SOUS 89663769 HAS SOUPS 89663769 WITH SCORE 8.9815235078E7
AT ITER 1318 NEW BEST:: SOT 653800423 SOS 151473223 HAS SOPS 151473223 HAS SOUS 89656624 HAS SOUPS 89656624 WITH SCORE 8.9808097223E7
AT ITER 1319 NEW BEST:: SOT 653777924 SOS 151466347 HAS SOPS 151466347 HAS SOUS 89653819 HAS SOUPS 89653819 WITH SCORE 8.9805285347E7
AT ITER 1320 NEW BEST:: SOT 653777924 SOS 151466347 HAS SOPS 151466347 HAS SOUS 89645616 HAS SOUPS 89645616 WITH SCORE 8.9797082347E7
AT ITER 1328 NEW BEST:: SOT 653773111 SOS 151465283 HAS SOPS 151465283 HAS SOUS 89643657 HAS SOUPS 89643657 WITH SCORE 8.9795122283E7
AT ITER 1374 NEW BEST:: SOT 653766454 SOS 151459361 HAS SOPS 151459361 HAS SOUS 89637000 HAS SOUPS 89637000 WITH SCORE 8.9788459361E7
AT ITER 1383 NEW BEST:: SOT 653762993 SOS 151458751 HAS SOPS 151458751 HAS SOUS 89633539 HAS SOUPS 89633539 WITH SCORE 8.9784997751E7
AT ITER 1411 NEW BEST:: SOT 653760604 SOS 151453973 HAS SOPS 151453973 HAS SOUS 89631149 HAS SOUPS 89631149 WITH SCORE 8.9782602973E7
AT ITER 1436 NEW BEST:: SOT 653758685 SOS 151455892 HAS SOPS 151455892 HAS SOUS 89629230 HAS SOUPS 89629230 WITH SCORE 8.9780685892E7
AT ITER 1454 NEW BEST:: SOT 653752315 SOS 151449522 HAS SOPS 151449522 HAS SOUS 89622860 HAS SOUPS 89622860 WITH SCORE 8.9774309522E7
AT ITER 1470 NEW BEST:: SOT 653752315 SOS 151444308 HAS SOPS 151444308 HAS SOUS 89621122 HAS SOUPS 89621122 WITH SCORE 8.9772566308E7
AT ITER 1477 NEW BEST:: SOT 653751529 SOS 151442736 HAS SOPS 151442736 HAS SOUS 89620336 HAS SOUPS 89620336 WITH SCORE 8.9771778736E7
AT ITER 1515 NEW BEST:: SOT 653746949 SOS 151438536 HAS SOPS 151438536 HAS SOUS 89616136 HAS SOUPS 89616136 WITH SCORE 8.9767574536E7
AT ITER 1571 NEW BEST:: SOT 653747646 SOS 151436966 HAS SOPS 151436966 HAS SOUS 89615699 HAS SOUPS 89615699 WITH SCORE 8.9767135966E7
AT ITER 1572 NEW BEST:: SOT 653747646 SOS 151426079 HAS SOPS 151426079 HAS SOUS 89612070 HAS SOUPS 89612070 WITH SCORE 8.9763496079E7
AT ITER 1599 NEW BEST:: SOT 653742103 SOS 151467208 HAS SOPS 151467208 HAS SOUS 89609424 HAS SOUPS 89609424 WITH SCORE 8.9760891208E7
AT ITER 1612 NEW BEST:: SOT 653741675 SOS 151466353 HAS SOPS 151466353 HAS SOUS 89609165 HAS SOUPS 89609165 WITH SCORE 8.9760631353E7
AT ITER 1622 NEW BEST:: SOT 653741042 SOS 151465087 HAS SOPS 151465087 HAS SOUS 89608532 HAS SOUPS 89608532 WITH SCORE 8.9759997087E7
AT ITER 1627 NEW BEST:: SOT 653738571 SOS 151460145 HAS SOPS 151460145 HAS SOUS 89608121 HAS SOUPS 89608121 WITH SCORE 8.9759581145E7
AT ITER 1652 NEW BEST:: SOT 653738571 SOS 151453577 HAS SOPS 151453577 HAS SOUS 89608120 HAS SOUPS 89608120 WITH SCORE 8.9759573577E7
AT ITER 1653 NEW BEST:: SOT 653738571 SOS 151443317 HAS SOPS 151443317 HAS SOUS 89608120 HAS SOUPS 89608120 WITH SCORE 8.9759563317E7
AT ITER 1658 NEW BEST:: SOT 653734836 SOS 151439578 HAS SOPS 151439578 HAS SOUS 89604384 HAS SOUPS 89604384 WITH SCORE 8.9755823578E7
AT ITER 1669 NEW BEST:: SOT 653731842 SOS 151442572 HAS SOPS 151442572 HAS SOUS 89603399 HAS SOUPS 89603399 WITH SCORE 8.9754841572E7
AT ITER 1680 NEW BEST:: SOT 653729380 SOS 151437649 HAS SOPS 151437649 HAS SOUS 89598476 HAS SOUPS 89598476 WITH SCORE 8.9749913649E7
AT ITER 1695 NEW BEST:: SOT 653728447 SOS 151443016 HAS SOPS 151443016 HAS SOUS 89597543 HAS SOUPS 89597543 WITH SCORE 8.9748986016E7
AT ITER 1701 NEW BEST:: SOT 653728447 SOS 151436647 HAS SOPS 151436647 HAS SOUS 89595420 HAS SOUPS 89595420 WITH SCORE 8.9746856647E7
AT ITER 1703 NEW BEST:: SOT 653720113 SOS 151419979 HAS SOPS 151419979 HAS SOUS 89578752 HAS SOUPS 89578752 WITH SCORE 8.9730171979E7
AT ITER 1725 NEW BEST:: SOT 653720113 SOS 151418821 HAS SOPS 151418821 HAS SOUS 89578173 HAS SOUPS 89578173 WITH SCORE 8.9729591821E7
AT ITER 1744 NEW BEST:: SOT 653720739 SOS 151417568 HAS SOPS 151417568 HAS SOUS 89578172 HAS SOUPS 89578172 WITH SCORE 8.9729589568E7
AT ITER 1759 NEW BEST:: SOT 653719249 SOS 151420544 HAS SOPS 151420544 HAS SOUS 89576681 HAS SOUPS 89576681 WITH SCORE 8.9728101544E7
AT ITER 1791 NEW BEST:: SOT 653713498 SOS 151414789 HAS SOPS 151414789 HAS SOUS 89570929 HAS SOUPS 89570929 WITH SCORE 8.9722343789E7
AT ITER 1797 NEW BEST:: SOT 653713498 SOS 151414789 HAS SOPS 151414789 HAS SOUS 89569937 HAS SOUPS 89569937 WITH SCORE 8.9721351789E7
AT ITER 1827 NEW BEST:: SOT 653712358 SOS 151416583 HAS SOPS 151416583 HAS SOUS 89568797 HAS SOUPS 89568797 WITH SCORE 8.9720213583E7
AT ITER 1834 NEW BEST:: SOT 653712147 SOS 151416161 HAS SOPS 151416161 HAS SOUS 89568375 HAS SOUPS 89568375 WITH SCORE 8.9719791161E7
AT ITER 1840 NEW BEST:: SOT 653709725 SOS 151411317 HAS SOPS 151411317 HAS SOUS 89563531 HAS SOUPS 89563531 WITH SCORE 8.9714942317E7
AT ITER 1856 NEW BEST:: SOT 653708793 SOS 151410385 HAS SOPS 151410385 HAS SOUS 89562599 HAS SOUPS 89562599 WITH SCORE 8.9714009385E7
AT ITER 1885 NEW BEST:: SOT 653708080 SOS 151408959 HAS SOPS 151408959 HAS SOUS 89561885 HAS SOUPS 89561885 WITH SCORE 8.9713293959E7
AT ITER 1908 NEW BEST:: SOT 653703976 SOS 151402803 HAS SOPS 151402803 HAS SOUS 89557781 HAS SOUPS 89557781 WITH SCORE 8.9709183803E7
AT ITER 1987 NEW BEST:: SOT 653701073 SOS 151405702 HAS SOPS 151405702 HAS SOUS 89556749 HAS SOUPS 89556749 WITH SCORE 8.9708154702E7
AT ITER 2005 NEW BEST:: SOT 653695221 SOS 151401446 HAS SOPS 151401446 HAS SOUS 89554621 HAS SOUPS 89554621 WITH SCORE 8.9706022446E7
AT ITER 2032 NEW BEST:: SOT 653692775 SOS 151396555 HAS SOPS 151396555 HAS SOUS 89549730 HAS SOUPS 89549730 WITH SCORE 8.9701126555E7
AT ITER 2033 NEW BEST:: SOT 653687152 SOS 151402178 HAS SOPS 151402178 HAS SOUS 89542005 HAS SOUPS 89542005 WITH SCORE 8.9693407178E7
AT ITER 2063 NEW BEST:: SOT 653687152 SOS 151397960 HAS SOPS 151397960 HAS SOUS 89540599 HAS SOUPS 89540599 WITH SCORE 8.969199696E7
AT ITER 2089 NEW BEST:: SOT 653687152 SOS 151398070 HAS SOPS 151398070 HAS SOUS 89540597 HAS SOUPS 89540597 WITH SCORE 8.969199507E7
AT ITER 2130 NEW BEST:: SOT 653684367 SOS 151395285 HAS SOPS 151395285 HAS SOUS 89537812 HAS SOUPS 89537812 WITH SCORE 8.9689207285E7
AT ITER 2137 NEW BEST:: SOT 653684881 SOS 151394193 HAS SOPS 151394193 HAS SOUS 89537522 HAS SOUPS 89537522 WITH SCORE 8.9688916193E7
AT ITER 2155 NEW BEST:: SOT 653683949 SOS 151392329 HAS SOPS 151392329 HAS SOUS 89535658 HAS SOUPS 89535658 WITH SCORE 8.9687050329E7
AT ITER 2243 NEW BEST:: SOT 653682212 SOS 151390592 HAS SOPS 151390592 HAS SOUS 89533921 HAS SOUPS 89533921 WITH SCORE 8.9685311592E7
AT ITER 2280 NEW BEST:: SOT 653682212 SOS 151386806 HAS SOPS 151386806 HAS SOUS 89532659 HAS SOUPS 89532659 WITH SCORE 8.9684045806E7
AT ITER 2307 NEW BEST:: SOT 653680700 SOS 151383782 HAS SOPS 151383782 HAS SOUS 89529038 HAS SOUPS 89529038 WITH SCORE 8.9680421782E7
AT ITER 2310 NEW BEST:: SOT 653680700 SOS 151372337 HAS SOPS 151372337 HAS SOUS 89529037 HAS SOUPS 89529037 WITH SCORE 8.9680409337E7
AT ITER 2344 NEW BEST:: SOT 653680700 SOS 151359140 HAS SOPS 151359140 HAS SOUS 89529036 HAS SOUPS 89529036 WITH SCORE 8.968039514E7
AT ITER 2355 NEW BEST:: SOT 653680700 SOS 151372404 HAS SOPS 151372404 HAS SOUS 89528092 HAS SOUPS 89528092 WITH SCORE 8.9679464404E7
AT ITER 2359 NEW BEST:: SOT 653675489 SOS 151367193 HAS SOPS 151367193 HAS SOUS 89522881 HAS SOUPS 89522881 WITH SCORE 8.9674248193E7
AT ITER 2364 NEW BEST:: SOT 653675814 SOS 151367840 HAS SOPS 151367840 HAS SOUS 89522880 HAS SOUPS 89522880 WITH SCORE 8.967424784E7
AT ITER 2371 NEW BEST:: SOT 653668696 SOS 151364281 HAS SOPS 151364281 HAS SOUS 89515762 HAS SOUPS 89515762 WITH SCORE 8.9667126281E7
AT ITER 2412 NEW BEST:: SOT 653668696 SOS 151363047 HAS SOPS 151363047 HAS SOUS 89515762 HAS SOUPS 89515762 WITH SCORE 8.9667125047E7
AT ITER 2413 NEW BEST:: SOT 653667551 SOS 151364990 HAS SOPS 151364990 HAS SOUS 89514617 HAS SOUPS 89514617 WITH SCORE 8.966598199E7
AT ITER 2424 NEW BEST:: SOT 653663984 SOS 151373728 HAS SOPS 151373728 HAS SOUS 89507482 HAS SOUPS 89507482 WITH SCORE 8.9658855728E7
AT ITER 2472 NEW BEST:: SOT 653659170 SOS 151368914 HAS SOPS 151368914 HAS SOUS 89502668 HAS SOUPS 89502668 WITH SCORE 8.9654036914E7
AT ITER 2483 NEW BEST:: SOT 653657664 SOS 151365902 HAS SOPS 151365902 HAS SOUS 89501516 HAS SOUPS 89501516 WITH SCORE 8.9652881902E7
AT ITER 2496 NEW BEST:: SOT 653651824 SOS 151386831 HAS SOPS 151386831 HAS SOUS 89492032 HAS SOUPS 89492032 WITH SCORE 8.9643418831E7
AT ITER 2502 NEW BEST:: SOT 653651824 SOS 151385213 HAS SOPS 151385213 HAS SOUS 89491223 HAS SOUPS 89491223 WITH SCORE 8.9642608213E7
AT ITER 2507 NEW BEST:: SOT 653650807 SOS 151384535 HAS SOPS 151384535 HAS SOUS 89490545 HAS SOUPS 89490545 WITH SCORE 8.9641929535E7
AT ITER 2518 NEW BEST:: SOT 653649521 SOS 151383249 HAS SOPS 151383249 HAS SOUS 89489259 HAS SOUPS 89489259 WITH SCORE 8.9640642249E7
AT ITER 2544 NEW BEST:: SOT 653649520 SOS 151383247 HAS SOPS 151383247 HAS SOUS 89489257 HAS SOUPS 89489257 WITH SCORE 8.9640640247E7
AT ITER 2559 NEW BEST:: SOT 653646656 SOS 151377519 HAS SOPS 151377519 HAS SOUS 89486393 HAS SOUPS 89486393 WITH SCORE 8.9637770519E7
AT ITER 2560 NEW BEST:: SOT 653645607 SOS 151376643 HAS SOPS 151376643 HAS SOUS 89485344 HAS SOUPS 89485344 WITH SCORE 8.9636720643E7
AT ITER 2600 NEW BEST:: SOT 653646584 SOS 151374688 HAS SOPS 151374688 HAS SOUS 89485343 HAS SOUPS 89485343 WITH SCORE 8.9636717688E7
AT ITER 2633 NEW BEST:: SOT 653644428 SOS 151368220 HAS SOPS 151368220 HAS SOUS 89483187 HAS SOUPS 89483187 WITH SCORE 8.963455522E7
AT ITER 2665 NEW BEST:: SOT 653643783 SOS 151367575 HAS SOPS 151367575 HAS SOUS 89482542 HAS SOUPS 89482542 WITH SCORE 8.9633909575E7
AT ITER 2674 NEW BEST:: SOT 653642381 SOS 151370375 HAS SOPS 151370375 HAS SOUS 89481139 HAS SOUPS 89481139 WITH SCORE 8.9632509375E7
AT ITER 2681 NEW BEST:: SOT 653636560 SOS 151367685 HAS SOPS 151367685 HAS SOUS 89478302 HAS SOUPS 89478302 WITH SCORE 8.9629669685E7
AT ITER 2683 NEW BEST:: SOT 653635027 SOS 151370751 HAS SOPS 151370751 HAS SOUS 89476769 HAS SOUPS 89476769 WITH SCORE 8.9628139751E7
AT ITER 2707 NEW BEST:: SOT 653633316 SOS 151382728 HAS SOPS 151382728 HAS SOUS 89475058 HAS SOUPS 89475058 WITH SCORE 8.9626440728E7
AT ITER 2723 NEW BEST:: SOT 653631575 SOS 151386202 HAS SOPS 151386202 HAS SOUS 89473315 HAS SOUPS 89473315 WITH SCORE 8.9624701202E7
AT ITER 2733 NEW BEST:: SOT 653631574 SOS 151387484 HAS SOPS 151387484 HAS SOUS 89473313 HAS SOUPS 89473313 WITH SCORE 8.9624700484E7
AT ITER 2770 NEW BEST:: SOT 653626911 SOS 151382817 HAS SOPS 151382817 HAS SOUS 89468649 HAS SOUPS 89468649 WITH SCORE 8.9620031817E7
AT ITER 2781 NEW BEST:: SOT 653625196 SOS 151379387 HAS SOPS 151379387 HAS SOUS 89465219 HAS SOUPS 89465219 WITH SCORE 8.9616598387E7
AT ITER 2795 NEW BEST:: SOT 653623258 SOS 151390607 HAS SOPS 151390607 HAS SOUS 89462523 HAS SOUPS 89462523 WITH SCORE 8.9613913607E7
AT ITER 2861 NEW BEST:: SOT 653622311 SOS 151392501 HAS SOPS 151392501 HAS SOUS 89461576 HAS SOUPS 89461576 WITH SCORE 8.9612968501E7
AT ITER 2862 NEW BEST:: SOT 653615881 SOS 151387390 HAS SOPS 151387390 HAS SOUS 89455808 HAS SOUPS 89455808 WITH SCORE 8.960719539E7
AT ITER 2880 NEW BEST:: SOT 653609777 SOS 151381286 HAS SOPS 151381286 HAS SOUS 89449704 HAS SOUPS 89449704 WITH SCORE 8.9601085286E7
AT ITER 2905 NEW BEST:: SOT 653608670 SOS 151382366 HAS SOPS 151382366 HAS SOUS 89449695 HAS SOUPS 89449695 WITH SCORE 8.9601077366E7
AT ITER 2934 NEW BEST:: SOT 653610037 SOS 151385100 HAS SOPS 151385100 HAS SOUS 89442601 HAS SOUPS 89442601 WITH SCORE 8.95939861E7
AT ITER 2944 NEW BEST:: SOT 653610037 SOS 151384988 HAS SOPS 151384988 HAS SOUS 89442489 HAS SOUPS 89442489 WITH SCORE 8.9593873988E7
AT ITER 2949 NEW BEST:: SOT 653609743 SOS 151384400 HAS SOPS 151384400 HAS SOUS 89441901 HAS SOUPS 89441901 WITH SCORE 8.95932854E7
AT ITER 2968 NEW BEST:: SOT 653609480 SOS 151383874 HAS SOPS 151383874 HAS SOUS 89441638 HAS SOUPS 89441638 WITH SCORE 8.9593021874E7
AT ITER 2983 NEW BEST:: SOT 653606005 SOS 151393276 HAS SOPS 151393276 HAS SOUS 89434687 HAS SOUPS 89434687 WITH SCORE 8.9586080276E7
AT ITER 2997 NEW BEST:: SOT 653605730 SOS 151393275 HAS SOPS 151393275 HAS SOUS 89434686 HAS SOUPS 89434686 WITH SCORE 8.9586079275E7
AT ITER 3026 NEW BEST:: SOT 653598776 SOS 151390351 HAS SOPS 151390351 HAS SOUS 89429746 HAS SOUPS 89429746 WITH SCORE 8.9581136351E7
AT ITER 3042 NEW BEST:: SOT 653595877 SOS 151381651 HAS SOPS 151381651 HAS SOUS 89423947 HAS SOUPS 89423947 WITH SCORE 8.9575328651E7
AT ITER 3137 NEW BEST:: SOT 653591548 SOS 151378701 HAS SOPS 151378701 HAS SOUS 89420997 HAS SOUPS 89420997 WITH SCORE 8.9572375701E7
AT ITER 3147 NEW BEST:: SOT 653591547 SOS 151378699 HAS SOPS 151378699 HAS SOUS 89420995 HAS SOUPS 89420995 WITH SCORE 8.9572373699E7
AT ITER 3158 NEW BEST:: SOT 653593224 SOS 151397718 HAS SOPS 151397718 HAS SOUS 89419125 HAS SOUPS 89419125 WITH SCORE 8.9570522718E7
AT ITER 3169 NEW BEST:: SOT 653587846 SOS 151386961 HAS SOPS 151386961 HAS SOUS 89408368 HAS SOUPS 89408368 WITH SCORE 8.9559754961E7
AT ITER 3181 NEW BEST:: SOT 653497276 SOS 152297819 HAS SOPS 152297819 HAS SOUS 89337415 HAS SOUPS 89337415 WITH SCORE 8.9489712819E7
AT ITER 3190 NEW BEST:: SOT 653481194 SOS 152286123 HAS SOPS 152286123 HAS SOUS 89331567 HAS SOUPS 89331567 WITH SCORE 8.9483853123E7
AT ITER 3191 NEW BEST:: SOT 653479026 SOS 152281787 HAS SOPS 152281787 HAS SOUS 89327231 HAS SOUPS 89327231 WITH SCORE 8.9479512787E7
AT ITER 3195 NEW BEST:: SOT 653473489 SOS 152284888 HAS SOPS 152284888 HAS SOUS 89326419 HAS SOUPS 89326419 WITH SCORE 8.9478703888E7
AT ITER 3199 NEW BEST:: SOT 653467371 SOS 152272652 HAS SOPS 152272652 HAS SOUS 89312899 HAS SOUPS 89312899 WITH SCORE 8.9465171652E7
AT ITER 3214 NEW BEST:: SOT 653466009 SOS 152269928 HAS SOPS 152269928 HAS SOUS 89311536 HAS SOUPS 89311536 WITH SCORE 8.9463805928E7
AT ITER 3223 NEW BEST:: SOT 653463003 SOS 152254898 HAS SOPS 152254898 HAS SOUS 89305524 HAS SOUPS 89305524 WITH SCORE 8.9457778898E7
AT ITER 3228 NEW BEST:: SOT 653457084 SOS 152248979 HAS SOPS 152248979 HAS SOUS 89299605 HAS SOUPS 89299605 WITH SCORE 8.9451853979E7
AT ITER 3251 NEW BEST:: SOT 653452367 SOS 152244258 HAS SOPS 152244258 HAS SOUS 89294887 HAS SOUPS 89294887 WITH SCORE 8.9447131258E7
AT ITER 3265 NEW BEST:: SOT 653446944 SOS 152217143 HAS SOPS 152217143 HAS SOUS 89284041 HAS SOUPS 89284041 WITH SCORE 8.9436258143E7
AT ITER 3266 NEW BEST:: SOT 653446943 SOS 152217141 HAS SOPS 152217141 HAS SOUS 89284039 HAS SOUPS 89284039 WITH SCORE 8.9436256141E7
AT ITER 3294 NEW BEST:: SOT 653446024 SOS 152220643 HAS SOPS 152220643 HAS SOUS 89283120 HAS SOUPS 89283120 WITH SCORE 8.9435340643E7
AT ITER 3323 NEW BEST:: SOT 653442310 SOS 152213215 HAS SOPS 152213215 HAS SOUS 89275692 HAS SOUPS 89275692 WITH SCORE 8.9427905215E7
AT ITER 3328 NEW BEST:: SOT 653441742 SOS 152212931 HAS SOPS 152212931 HAS SOUS 89275408 HAS SOUPS 89275408 WITH SCORE 8.9427620931E7
AT ITER 3330 NEW BEST:: SOT 653436720 SOS 152207918 HAS SOPS 152207918 HAS SOUS 89270395 HAS SOUPS 89270395 WITH SCORE 8.9422602918E7
AT ITER 3343 NEW BEST:: SOT 653434658 SOS 152203794 HAS SOPS 152203794 HAS SOUS 89266271 HAS SOUPS 89266271 WITH SCORE 8.9418474794E7
AT ITER 3344 NEW BEST:: SOT 653436114 SOS 152200881 HAS SOPS 152200881 HAS SOUS 89266270 HAS SOUPS 89266270 WITH SCORE 8.9418470881E7
AT ITER 3351 NEW BEST:: SOT 653436114 SOS 152200881 HAS SOPS 152200881 HAS SOUS 89266269 HAS SOUPS 89266269 WITH SCORE 8.9418469881E7
AT ITER 3357 NEW BEST:: SOT 653430496 SOS 152229016 HAS SOPS 152229016 HAS SOUS 89258813 HAS SOUPS 89258813 WITH SCORE 8.9411042016E7
AT ITER 3361 NEW BEST:: SOT 653429720 SOS 152227464 HAS SOPS 152227464 HAS SOUS 89257261 HAS SOUPS 89257261 WITH SCORE 8.9409488464E7
AT ITER 3362 NEW BEST:: SOT 653430585 SOS 152229216 HAS SOPS 152229216 HAS SOUS 89256087 HAS SOUPS 89256087 WITH SCORE 8.9408316216E7
AT ITER 3392 NEW BEST:: SOT 653429713 SOS 152236538 HAS SOPS 152236538 HAS SOUS 89255215 HAS SOUPS 89255215 WITH SCORE 8.9407451538E7
AT ITER 3400 NEW BEST:: SOT 653424910 SOS 152232676 HAS SOPS 152232676 HAS SOUS 89251356 HAS SOUPS 89251356 WITH SCORE 8.9403588676E7
AT ITER 3415 NEW BEST:: SOT 653423866 SOS 152230588 HAS SOPS 152230588 HAS SOUS 89249268 HAS SOUPS 89249268 WITH SCORE 8.9401498588E7
AT ITER 3422 NEW BEST:: SOT 653419671 SOS 152230578 HAS SOPS 152230578 HAS SOUS 89247709 HAS SOUPS 89247709 WITH SCORE 8.9399939578E7
AT ITER 3435 NEW BEST:: SOT 653414642 SOS 152220520 HAS SOPS 152220520 HAS SOUS 89237651 HAS SOUPS 89237651 WITH SCORE 8.938987152E7
AT ITER 3438 NEW BEST:: SOT 653410763 SOS 152201125 HAS SOPS 152201125 HAS SOUS 89229893 HAS SOUPS 89229893 WITH SCORE 8.9382094125E7
AT ITER 3451 NEW BEST:: SOT 653409868 SOS 152207282 HAS SOPS 152207282 HAS SOUS 89228998 HAS SOUPS 89228998 WITH SCORE 8.9381205282E7
AT ITER 3474 NEW BEST:: SOT 653409226 SOS 152206895 HAS SOPS 152206895 HAS SOUS 89226708 HAS SOUPS 89226708 WITH SCORE 8.9378914895E7
AT ITER 3504 NEW BEST:: SOT 653407851 SOS 152204145 HAS SOPS 152204145 HAS SOUS 89223958 HAS SOUPS 89223958 WITH SCORE 8.9376162145E7
AT ITER 3506 NEW BEST:: SOT 653407851 SOS 152203292 HAS SOPS 152203292 HAS SOUS 89223958 HAS SOUPS 89223958 WITH SCORE 8.9376161292E7
AT ITER 3509 NEW BEST:: SOT 653400719 SOS 152198910 HAS SOPS 152198910 HAS SOUS 89218200 HAS SOUPS 89218200 WITH SCORE 8.937039891E7
AT ITER 3518 NEW BEST:: SOT 653388738 SOS 152179860 HAS SOPS 152179860 HAS SOUS 89203221 HAS SOUPS 89203221 WITH SCORE 8.935540086E7
AT ITER 3552 NEW BEST:: SOT 653388699 SOS 152179782 HAS SOPS 152179782 HAS SOUS 89203143 HAS SOUPS 89203143 WITH SCORE 8.9355322782E7
AT ITER 3561 NEW BEST:: SOT 653388699 SOS 152179782 HAS SOPS 152179782 HAS SOUS 89203142 HAS SOUPS 89203142 WITH SCORE 8.9355321782E7
AT ITER 3584 NEW BEST:: SOT 653388593 SOS 152179464 HAS SOPS 152179464 HAS SOUS 89202930 HAS SOUPS 89202930 WITH SCORE 8.9355109464E7
AT ITER 3628 NEW BEST:: SOT 653388129 SOS 152178536 HAS SOPS 152178536 HAS SOUS 89202002 HAS SOUPS 89202002 WITH SCORE 8.9354180536E7
AT ITER 3635 NEW BEST:: SOT 653388129 SOS 152177688 HAS SOPS 152177688 HAS SOUS 89201154 HAS SOUPS 89201154 WITH SCORE 8.9353331688E7
AT ITER 3638 NEW BEST:: SOT 653390453 SOS 152177686 HAS SOPS 152177686 HAS SOUS 89201153 HAS SOUPS 89201153 WITH SCORE 8.9353330686E7
AT ITER 3645 NEW BEST:: SOT 653383758 SOS 152170181 HAS SOPS 152170181 HAS SOUS 89190913 HAS SOUPS 89190913 WITH SCORE 8.9343083181E7
AT ITER 3649 NEW BEST:: SOT 653383758 SOS 152170181 HAS SOPS 152170181 HAS SOUS 89190912 HAS SOUPS 89190912 WITH SCORE 8.9343082181E7
AT ITER 3663 NEW BEST:: SOT 653383757 SOS 152169427 HAS SOPS 152169427 HAS SOUS 89190158 HAS SOUPS 89190158 WITH SCORE 8.9342327427E7
AT ITER 3674 NEW BEST:: SOT 653383276 SOS 152168465 HAS SOPS 152168465 HAS SOUS 89189677 HAS SOUPS 89189677 WITH SCORE 8.9341845465E7
AT ITER 3692 NEW BEST:: SOT 653382148 SOS 152167337 HAS SOPS 152167337 HAS SOUS 89188549 HAS SOUPS 89188549 WITH SCORE 8.9340716337E7
AT ITER 3706 NEW BEST:: SOT 653382148 SOS 152162876 HAS SOPS 152162876 HAS SOUS 89187062 HAS SOUPS 89187062 WITH SCORE 8.9339224876E7
AT ITER 3724 NEW BEST:: SOT 653377846 SOS 152158574 HAS SOPS 152158574 HAS SOUS 89182760 HAS SOUPS 89182760 WITH SCORE 8.9334918574E7
AT ITER 3733 NEW BEST:: SOT 653375674 SOS 152162914 HAS SOPS 152162914 HAS SOUS 89180587 HAS SOUPS 89180587 WITH SCORE 8.9332749914E7
AT ITER 3742 NEW BEST:: SOT 653375674 SOS 152161302 HAS SOPS 152161302 HAS SOUS 89179781 HAS SOUPS 89179781 WITH SCORE 8.9331942302E7
AT ITER 3754 NEW BEST:: SOT 653371715 SOS 152159238 HAS SOPS 152159238 HAS SOUS 89177717 HAS SOUPS 89177717 WITH SCORE 8.9329876238E7
AT ITER 3786 NEW BEST:: SOT 653371715 SOS 152160081 HAS SOPS 152160081 HAS SOUS 89177716 HAS SOUPS 89177716 WITH SCORE 8.9329876081E7
AT ITER 3828 NEW BEST:: SOT 653370335 SOS 152157321 HAS SOPS 152157321 HAS SOUS 89174956 HAS SOUPS 89174956 WITH SCORE 8.9327113321E7
AT ITER 3844 NEW BEST:: SOT 653369429 SOS 152155509 HAS SOPS 152155509 HAS SOUS 89173144 HAS SOUPS 89173144 WITH SCORE 8.9325299509E7
AT ITER 3845 NEW BEST:: SOT 653369429 SOS 152155509 HAS SOPS 152155509 HAS SOUS 89173013 HAS SOUPS 89173013 WITH SCORE 8.9325168509E7
AT ITER 3875 NEW BEST:: SOT 653366950 SOS 152153030 HAS SOPS 152153030 HAS SOUS 89170534 HAS SOUPS 89170534 WITH SCORE 8.932268703E7
AT ITER 3882 NEW BEST:: SOT 653366950 SOS 152151330 HAS SOPS 152151330 HAS SOUS 89170533 HAS SOUPS 89170533 WITH SCORE 8.932268433E7
AT ITER 3915 NEW BEST:: SOT 653367154 SOS 152151259 HAS SOPS 152151259 HAS SOUS 89170462 HAS SOUPS 89170462 WITH SCORE 8.9322613259E7
AT ITER 3918 NEW BEST:: SOT 653365405 SOS 152147761 HAS SOPS 152147761 HAS SOUS 89166964 HAS SOUPS 89166964 WITH SCORE 8.9319111761E7
AT ITER 3945 NEW BEST:: SOT 653360667 SOS 152143656 HAS SOPS 152143656 HAS SOUS 89162859 HAS SOUPS 89162859 WITH SCORE 8.9315002656E7
AT ITER 3952 NEW BEST:: SOT 653359782 SOS 152148201 HAS SOPS 152148201 HAS SOUS 89161974 HAS SOUPS 89161974 WITH SCORE 8.9314122201E7
AT ITER 3978 NEW BEST:: SOT 653355524 SOS 152152459 HAS SOPS 152152459 HAS SOUS 89156030 HAS SOUPS 89156030 WITH SCORE 8.9308182459E7
AT ITER 4047 NEW BEST:: SOT 653350953 SOS 152147885 HAS SOPS 152147885 HAS SOUS 89151456 HAS SOUPS 89151456 WITH SCORE 8.9303603885E7
AT ITER 4065 NEW BEST:: SOT 653350952 SOS 152145481 HAS SOPS 152145481 HAS SOUS 89149052 HAS SOUPS 89149052 WITH SCORE 8.9301197481E7
AT ITER 4068 NEW BEST:: SOT 653349506 SOS 152148369 HAS SOPS 152148369 HAS SOUS 89147605 HAS SOUPS 89147605 WITH SCORE 8.9299753369E7
AT ITER 4090 NEW BEST:: SOT 653349506 SOS 152146088 HAS SOPS 152146088 HAS SOUS 89145324 HAS SOUPS 89145324 WITH SCORE 8.9297470088E7
AT ITER 4107 NEW BEST:: SOT 653327719 SOS 152141014 HAS SOPS 152141014 HAS SOUS 89143675 HAS SOUPS 89143675 WITH SCORE 8.9295816014E7
AT ITER 4109 NEW BEST:: SOT 653327137 SOS 152139850 HAS SOPS 152139850 HAS SOUS 89142511 HAS SOUPS 89142511 WITH SCORE 8.929465085E7
AT ITER 4114 NEW BEST:: SOT 653326063 SOS 152139313 HAS SOPS 152139313 HAS SOUS 89141974 HAS SOUPS 89141974 WITH SCORE 8.9294113313E7
AT ITER 4129 NEW BEST:: SOT 653325975 SOS 152139137 HAS SOPS 152139137 HAS SOUS 89141798 HAS SOUPS 89141798 WITH SCORE 8.9293937137E7
AT ITER 4147 NEW BEST:: SOT 653326488 SOS 152140163 HAS SOPS 152140163 HAS SOUS 89138849 HAS SOUPS 89138849 WITH SCORE 8.9290989163E7
AT ITER 4160 NEW BEST:: SOT 653322906 SOS 152138444 HAS SOPS 152138444 HAS SOUS 89135267 HAS SOUPS 89135267 WITH SCORE 8.9287405444E7
AT ITER 4177 NEW BEST:: SOT 653322721 SOS 152138074 HAS SOPS 152138074 HAS SOUS 89134897 HAS SOUPS 89134897 WITH SCORE 8.9287035074E7
AT ITER 4186 NEW BEST:: SOT 653322721 SOS 152130904 HAS SOPS 152130904 HAS SOUS 89132507 HAS SOUPS 89132507 WITH SCORE 8.9284637904E7
AT ITER 4203 NEW BEST:: SOT 653322117 SOS 152130300 HAS SOPS 152130300 HAS SOUS 89132205 HAS SOUPS 89132205 WITH SCORE 8.92843353E7
AT ITER 4227 NEW BEST:: SOT 653319582 SOS 152125230 HAS SOPS 152125230 HAS SOUS 89127135 HAS SOUPS 89127135 WITH SCORE 8.927926023E7
AT ITER 4256 NEW BEST:: SOT 653319582 SOS 152117409 HAS SOPS 152117409 HAS SOUS 89124528 HAS SOUPS 89124528 WITH SCORE 8.9276645409E7
AT ITER 4258 NEW BEST:: SOT 653319261 SOS 152116767 HAS SOPS 152116767 HAS SOUS 89121845 HAS SOUPS 89121845 WITH SCORE 8.9273961767E7
AT ITER 4272 NEW BEST:: SOT 653319261 SOS 152106282 HAS SOPS 152106282 HAS SOUS 89121844 HAS SOUPS 89121844 WITH SCORE 8.9273950282E7
AT ITER 4287 NEW BEST:: SOT 653316566 SOS 152108970 HAS SOPS 152108970 HAS SOUS 89119147 HAS SOUPS 89119147 WITH SCORE 8.927125597E7
AT ITER 4314 NEW BEST:: SOT 653315309 SOS 152111476 HAS SOPS 152111476 HAS SOUS 89117888 HAS SOUPS 89117888 WITH SCORE 8.9269999476E7
AT ITER 4316 NEW BEST:: SOT 653315308 SOS 152111474 HAS SOPS 152111474 HAS SOUS 89117887 HAS SOUPS 89117887 WITH SCORE 8.9269998474E7
AT ITER 4333 NEW BEST:: SOT 653311112 SOS 152107274 HAS SOPS 152107274 HAS SOUS 89113690 HAS SOUPS 89113690 WITH SCORE 8.9265797274E7
AT ITER 4349 NEW BEST:: SOT 653310197 SOS 152105444 HAS SOPS 152105444 HAS SOUS 89111860 HAS SOUPS 89111860 WITH SCORE 8.9263965444E7
AT ITER 4363 NEW BEST:: SOT 653310197 SOS 152149633 HAS SOPS 152149633 HAS SOUS 89106948 HAS SOUPS 89106948 WITH SCORE 8.9259097633E7
AT ITER 4408 NEW BEST:: SOT 653309004 SOS 152147247 HAS SOPS 152147247 HAS SOUS 89105754 HAS SOUPS 89105754 WITH SCORE 8.9257901247E7
AT ITER 4423 NEW BEST:: SOT 653309004 SOS 152142753 HAS SOPS 152142753 HAS SOUS 89104256 HAS SOUPS 89104256 WITH SCORE 8.9256398753E7
AT ITER 4428 NEW BEST:: SOT 653308217 SOS 152141179 HAS SOPS 152141179 HAS SOUS 89102682 HAS SOUPS 89102682 WITH SCORE 8.9254823179E7
AT ITER 4435 NEW BEST:: SOT 653308216 SOS 152139228 HAS SOPS 152139228 HAS SOUS 89100731 HAS SOUPS 89100731 WITH SCORE 8.9252870228E7
AT ITER 4444 NEW BEST:: SOT 653305188 SOS 152124088 HAS SOPS 152124088 HAS SOUS 89094675 HAS SOUPS 89094675 WITH SCORE 8.9246799088E7
AT ITER 4452 NEW BEST:: SOT 653301286 SOS 152120186 HAS SOPS 152120186 HAS SOUS 89090773 HAS SOUPS 89090773 WITH SCORE 8.9242893186E7
AT ITER 4469 NEW BEST:: SOT 653297630 SOS 152112874 HAS SOPS 152112874 HAS SOUS 89083461 HAS SOUPS 89083461 WITH SCORE 8.9235573874E7
AT ITER 4484 NEW BEST:: SOT 653295367 SOS 152108348 HAS SOPS 152108348 HAS SOUS 89081198 HAS SOUPS 89081198 WITH SCORE 8.9233306348E7
AT ITER 4512 NEW BEST:: SOT 653289379 SOS 152102360 HAS SOPS 152102360 HAS SOUS 89075210 HAS SOUPS 89075210 WITH SCORE 8.922731236E7
AT ITER 4558 NEW BEST:: SOT 653288676 SOS 152100954 HAS SOPS 152100954 HAS SOUS 89073804 HAS SOUPS 89073804 WITH SCORE 8.9225904954E7
AT ITER 4586 NEW BEST:: SOT 653283888 SOS 152100123 HAS SOPS 152100123 HAS SOUS 89071931 HAS SOUPS 89071931 WITH SCORE 8.9224031123E7
AT ITER 4620 NEW BEST:: SOT 653287851 SOS 152108049 HAS SOPS 152108049 HAS SOUS 89071356 HAS SOUPS 89071356 WITH SCORE 8.9223464049E7
AT ITER 4642 NEW BEST:: SOT 653287851 SOS 152106686 HAS SOPS 152106686 HAS SOUS 89071356 HAS SOUPS 89071356 WITH SCORE 8.9223462686E7
AT ITER 4656 NEW BEST:: SOT 653287576 SOS 152106136 HAS SOPS 152106136 HAS SOUS 89070806 HAS SOUPS 89070806 WITH SCORE 8.9222912136E7
AT ITER 4663 NEW BEST:: SOT 653286627 SOS 152104238 HAS SOPS 152104238 HAS SOUS 89068908 HAS SOUPS 89068908 WITH SCORE 8.9221012238E7
AT ITER 4664 NEW BEST:: SOT 653284155 SOS 152099295 HAS SOPS 152099295 HAS SOUS 89063965 HAS SOUPS 89063965 WITH SCORE 8.9216064295E7
AT ITER 4670 NEW BEST:: SOT 653277969 SOS 152086923 HAS SOPS 152086923 HAS SOUS 89059126 HAS SOUPS 89059126 WITH SCORE 8.9211212923E7
AT ITER 4825 NEW BEST:: SOT 653273938 SOS 152066768 HAS SOPS 152066768 HAS SOUS 89051064 HAS SOUPS 89051064 WITH SCORE 8.9203130768E7
AT ITER 4874 NEW BEST:: SOT 653272072 SOS 152063036 HAS SOPS 152063036 HAS SOUS 89047332 HAS SOUPS 89047332 WITH SCORE 8.9199395036E7
AT ITER 4890 NEW BEST:: SOT 653263725 SOS 152064530 HAS SOPS 152064530 HAS SOUS 89044525 HAS SOUPS 89044525 WITH SCORE 8.919658953E7
AT ITER 4950 NEW BEST:: SOT 653263725 SOS 152057372 HAS SOPS 152057372 HAS SOUS 89042139 HAS SOUPS 89042139 WITH SCORE 8.9194196372E7
AT ITER 4954 NEW BEST:: SOT 653256195 SOS 152049842 HAS SOPS 152049842 HAS SOUS 89027079 HAS SOUPS 89027079 WITH SCORE 8.9179128842E7
AT ITER 4985 NEW BEST:: SOT 653248986 SOS 152042633 HAS SOPS 152042633 HAS SOUS 89019870 HAS SOUPS 89019870 WITH SCORE 8.9171912633E7
AT ITER 4995 NEW BEST:: SOT 653242996 SOS 152016515 HAS SOPS 152016515 HAS SOUS 89008848 HAS SOUPS 89008848 WITH SCORE 8.9160864515E7
AT ITER 5004 NEW BEST:: SOT 653242996 SOS 152011091 HAS SOPS 152011091 HAS SOUS 89007040 HAS SOUPS 89007040 WITH SCORE 8.9159051091E7
AT ITER 5013 NEW BEST:: SOT 653241803 SOS 152008705 HAS SOPS 152008705 HAS SOUS 89004654 HAS SOUPS 89004654 WITH SCORE 8.9156662705E7
AT ITER 5031 NEW BEST:: SOT 653238666 SOS 151993020 HAS SOPS 151993020 HAS SOUS 88998380 HAS SOUPS 88998380 WITH SCORE 8.915037302E7
AT ITER 5039 NEW BEST:: SOT 653233843 SOS 151988789 HAS SOPS 151988789 HAS SOUS 88994149 HAS SOUPS 88994149 WITH SCORE 8.9146137789E7
AT ITER 5046 NEW BEST:: SOT 653227906 SOS 151984669 HAS SOPS 151984669 HAS SOUS 88989162 HAS SOUPS 88989162 WITH SCORE 8.9141146669E7
AT ITER 5048 NEW BEST:: SOT 653227906 SOS 151974592 HAS SOPS 151974592 HAS SOUS 88985803 HAS SOUPS 88985803 WITH SCORE 8.9137777592E7
AT ITER 5052 NEW BEST:: SOT 653223419 SOS 151970105 HAS SOPS 151970105 HAS SOUS 88981316 HAS SOUPS 88981316 WITH SCORE 8.9133286105E7
AT ITER 5073 NEW BEST:: SOT 653225230 SOS 151989515 HAS SOPS 151989515 HAS SOUS 88979673 HAS SOUPS 88979673 WITH SCORE 8.9131662515E7
AT ITER 5078 NEW BEST:: SOT 653219783 SOS 151984064 HAS SOPS 151984064 HAS SOUS 88974225 HAS SOUPS 88974225 WITH SCORE 8.9126209064E7
AT ITER 5079 NEW BEST:: SOT 653212473 SOS 151976999 HAS SOPS 151976999 HAS SOUS 88959484 HAS SOUPS 88959484 WITH SCORE 8.9111460999E7
AT ITER 5081 NEW BEST:: SOT 653212473 SOS 151971227 HAS SOPS 151971227 HAS SOUS 88957560 HAS SOUPS 88957560 WITH SCORE 8.9109531227E7
AT ITER 5096 NEW BEST:: SOT 653209725 SOS 151938647 HAS SOPS 151938647 HAS SOUS 88956577 HAS SOUPS 88956577 WITH SCORE 8.9108515647E7
AT ITER 5114 NEW BEST:: SOT 653207243 SOS 151933684 HAS SOPS 151933684 HAS SOUS 88951614 HAS SOUPS 88951614 WITH SCORE 8.9103547684E7
AT ITER 5119 NEW BEST:: SOT 653205520 SOS 151930238 HAS SOPS 151930238 HAS SOUS 88949890 HAS SOUPS 88949890 WITH SCORE 8.9101820238E7
AT ITER 5124 NEW BEST:: SOT 653205520 SOS 151920680 HAS SOPS 151920680 HAS SOUS 88949890 HAS SOUPS 88949890 WITH SCORE 8.910181068E7
AT ITER 5129 NEW BEST:: SOT 653204684 SOS 151919008 HAS SOPS 151919008 HAS SOUS 88948218 HAS SOUPS 88948218 WITH SCORE 8.9100137008E7
AT ITER 5148 NEW BEST:: SOT 653204684 SOS 151905958 HAS SOPS 151905958 HAS SOUS 88948218 HAS SOUPS 88948218 WITH SCORE 8.9100123958E7
AT ITER 5149 NEW BEST:: SOT 653199890 SOS 151911961 HAS SOPS 151911961 HAS SOUS 88938629 HAS SOUPS 88938629 WITH SCORE 8.9090540961E7
AT ITER 5153 NEW BEST:: SOT 653189550 SOS 151904441 HAS SOPS 151904441 HAS SOUS 88934869 HAS SOUPS 88934869 WITH SCORE 8.9086773441E7
AT ITER 5201 NEW BEST:: SOT 653187456 SOS 151903095 HAS SOPS 151903095 HAS SOUS 88933248 HAS SOUPS 88933248 WITH SCORE 8.9085151095E7
AT ITER 5207 NEW BEST:: SOT 653185880 SOS 151906243 HAS SOPS 151906243 HAS SOUS 88931671 HAS SOUPS 88931671 WITH SCORE 8.9083577243E7
AT ITER 5213 NEW BEST:: SOT 653185004 SOS 151910416 HAS SOPS 151910416 HAS SOUS 88930795 HAS SOUPS 88930795 WITH SCORE 8.9082705416E7
AT ITER 5215 NEW BEST:: SOT 653181322 SOS 151908575 HAS SOPS 151908575 HAS SOUS 88928954 HAS SOUPS 88928954 WITH SCORE 8.9080862575E7
AT ITER 5233 NEW BEST:: SOT 653181177 SOS 151908285 HAS SOPS 151908285 HAS SOUS 88928664 HAS SOUPS 88928664 WITH SCORE 8.9080572285E7
AT ITER 5267 NEW BEST:: SOT 653180339 SOS 151906609 HAS SOPS 151906609 HAS SOUS 88926988 HAS SOUPS 88926988 WITH SCORE 8.9078894609E7
AT ITER 5303 NEW BEST:: SOT 653180339 SOS 151905297 HAS SOPS 151905297 HAS SOUS 88926332 HAS SOUPS 88926332 WITH SCORE 8.9078237297E7
AT ITER 5308 NEW BEST:: SOT 653181526 SOS 151907671 HAS SOPS 151907671 HAS SOUS 88917312 HAS SOUPS 88917312 WITH SCORE 8.9069219671E7
AT ITER 5320 NEW BEST:: SOT 653180555 SOS 151909605 HAS SOPS 151909605 HAS SOUS 88916339 HAS SOUPS 88916339 WITH SCORE 8.9068248605E7
AT ITER 5339 NEW BEST:: SOT 653180555 SOS 151907953 HAS SOPS 151907953 HAS SOUS 88914687 HAS SOUPS 88914687 WITH SCORE 8.9066594953E7
AT ITER 5377 NEW BEST:: SOT 653180555 SOS 151906768 HAS SOPS 151906768 HAS SOUS 88913502 HAS SOUPS 88913502 WITH SCORE 8.9065408768E7
AT ITER 5386 NEW BEST:: SOT 653178261 SOS 151902181 HAS SOPS 151902181 HAS SOUS 88908915 HAS SOUPS 88908915 WITH SCORE 8.9060817181E7
AT ITER 5400 NEW BEST:: SOT 653176433 SOS 151898525 HAS SOPS 151898525 HAS SOUS 88905259 HAS SOUPS 88905259 WITH SCORE 8.9057157525E7
AT ITER 5401 NEW BEST:: SOT 653176433 SOS 151898504 HAS SOPS 151898504 HAS SOUS 88905238 HAS SOUPS 88905238 WITH SCORE 8.9057136504E7
AT ITER 5405 NEW BEST:: SOT 653174005 SOS 151898500 HAS SOPS 151898500 HAS SOUS 88905237 HAS SOUPS 88905237 WITH SCORE 8.90571355E7
AT ITER 5437 NEW BEST:: SOT 653172486 SOS 151896981 HAS SOPS 151896981 HAS SOUS 88903718 HAS SOUPS 88903718 WITH SCORE 8.9055614981E7
AT ITER 5438 NEW BEST:: SOT 653169702 SOS 151894197 HAS SOPS 151894197 HAS SOUS 88903718 HAS SOUPS 88903718 WITH SCORE 8.9055612197E7
AT ITER 5461 NEW BEST:: SOT 653169702 SOS 151894197 HAS SOPS 151894197 HAS SOUS 88903717 HAS SOUPS 88903717 WITH SCORE 8.9055611197E7
AT ITER 5519 NEW BEST:: SOT 653167388 SOS 151891883 HAS SOPS 151891883 HAS SOUS 88901403 HAS SOUPS 88901403 WITH SCORE 8.9053294883E7
AT ITER 5527 NEW BEST:: SOT 653167230 SOS 151891251 HAS SOPS 151891251 HAS SOUS 88901245 HAS SOUPS 88901245 WITH SCORE 8.9053136251E7
AT ITER 5528 NEW BEST:: SOT 653163717 SOS 151889016 HAS SOPS 151889016 HAS SOUS 88899010 HAS SOUPS 88899010 WITH SCORE 8.9050899016E7
AT ITER 5534 NEW BEST:: SOT 653161323 SOS 151884229 HAS SOPS 151884229 HAS SOUS 88894223 HAS SOUPS 88894223 WITH SCORE 8.9046107229E7
AT ITER 5536 NEW BEST:: SOT 653159821 SOS 151881225 HAS SOPS 151881225 HAS SOUS 88891219 HAS SOUPS 88891219 WITH SCORE 8.9043100225E7
AT ITER 5561 NEW BEST:: SOT 653159821 SOS 151879649 HAS SOPS 151879649 HAS SOUS 88890431 HAS SOUPS 88890431 WITH SCORE 8.9042310649E7
AT ITER 5563 NEW BEST:: SOT 653158898 SOS 151882501 HAS SOPS 151882501 HAS SOUS 88889508 HAS SOUPS 88889508 WITH SCORE 8.9041390501E7
AT ITER 5570 NEW BEST:: SOT 653158897 SOS 151882499 HAS SOPS 151882499 HAS SOUS 88889506 HAS SOUPS 88889506 WITH SCORE 8.9041388499E7
AT ITER 5636 NEW BEST:: SOT 653151599 SOS 151902256 HAS SOPS 151902256 HAS SOUS 88888446 HAS SOUPS 88888446 WITH SCORE 8.9040348256E7
AT ITER 5667 NEW BEST:: SOT 653150747 SOS 151900552 HAS SOPS 151900552 HAS SOUS 88886742 HAS SOUPS 88886742 WITH SCORE 8.9038642552E7
AT ITER 5672 NEW BEST:: SOT 653150746 SOS 151900550 HAS SOPS 151900550 HAS SOUS 88886740 HAS SOUPS 88886740 WITH SCORE 8.903864055E7
AT ITER 5700 NEW BEST:: SOT 653149840 SOS 151898738 HAS SOPS 151898738 HAS SOUS 88884928 HAS SOUPS 88884928 WITH SCORE 8.9036826738E7
AT ITER 5729 NEW BEST:: SOT 653149075 SOS 151897208 HAS SOPS 151897208 HAS SOUS 88883398 HAS SOUPS 88883398 WITH SCORE 8.9035295208E7
AT ITER 5752 NEW BEST:: SOT 653145204 SOS 151893337 HAS SOPS 151893337 HAS SOUS 88879527 HAS SOUPS 88879527 WITH SCORE 8.9031420337E7
AT ITER 5778 NEW BEST:: SOT 653144628 SOS 151892185 HAS SOPS 151892185 HAS SOUS 88878375 HAS SOUPS 88878375 WITH SCORE 8.9030267185E7
AT ITER 5797 NEW BEST:: SOT 653143719 SOS 151898875 HAS SOPS 151898875 HAS SOUS 88877466 HAS SOUPS 88877466 WITH SCORE 8.9029364875E7
AT ITER 5798 NEW BEST:: SOT 653140697 SOS 151901893 HAS SOPS 151901893 HAS SOUS 88876565 HAS SOUPS 88876565 WITH SCORE 8.9028466893E7
AT ITER 5815 NEW BEST:: SOT 653140697 SOS 151898647 HAS SOPS 151898647 HAS SOUS 88874408 HAS SOUPS 88874408 WITH SCORE 8.9026306647E7
AT ITER 5822 NEW BEST:: SOT 653140097 SOS 151897447 HAS SOPS 151897447 HAS SOUS 88873807 HAS SOUPS 88873807 WITH SCORE 8.9025704447E7
AT ITER 5869 NEW BEST:: SOT 653139458 SOS 151896808 HAS SOPS 151896808 HAS SOUS 88873168 HAS SOUPS 88873168 WITH SCORE 8.9025064808E7
AT ITER 5889 NEW BEST:: SOT 653139457 SOS 151896806 HAS SOPS 151896806 HAS SOUS 88873166 HAS SOUPS 88873166 WITH SCORE 8.9025062806E7
AT ITER 5894 NEW BEST:: SOT 653139832 SOS 151897556 HAS SOPS 151897556 HAS SOUS 88870088 HAS SOUPS 88870088 WITH SCORE 8.9021985556E7
AT ITER 5919 NEW BEST:: SOT 653139469 SOS 151896830 HAS SOPS 151896830 HAS SOUS 88869362 HAS SOUPS 88869362 WITH SCORE 8.902125883E7
AT ITER 5922 NEW BEST:: SOT 653139469 SOS 151891529 HAS SOPS 151891529 HAS SOUS 88867595 HAS SOUPS 88867595 WITH SCORE 8.9019486529E7
AT ITER 5944 NEW BEST:: SOT 653139468 SOS 151891527 HAS SOPS 151891527 HAS SOUS 88867593 HAS SOUPS 88867593 WITH SCORE 8.9019484527E7
AT ITER 5948 NEW BEST:: SOT 653139468 SOS 151881273 HAS SOPS 151881273 HAS SOUS 88867593 HAS SOUPS 88867593 WITH SCORE 8.9019474273E7
AT ITER 5959 NEW BEST:: SOT 653139468 SOS 151881273 HAS SOPS 151881273 HAS SOUS 88867414 HAS SOUPS 88867414 WITH SCORE 8.9019295273E7
AT ITER 5971 NEW BEST:: SOT 653135010 SOS 151879044 HAS SOPS 151879044 HAS SOUS 88865185 HAS SOUPS 88865185 WITH SCORE 8.9017064044E7
AT ITER 5985 NEW BEST:: SOT 653134508 SOS 151878040 HAS SOPS 151878040 HAS SOUS 88864181 HAS SOUPS 88864181 WITH SCORE 8.901605904E7
AT ITER 5990 NEW BEST:: SOT 653134508 SOS 151870396 HAS SOPS 151870396 HAS SOUS 88861633 HAS SOUPS 88861633 WITH SCORE 8.9013503396E7
AT ITER 6026 NEW BEST:: SOT 653135225 SOS 151871830 HAS SOPS 151871830 HAS SOUS 88858782 HAS SOUPS 88858782 WITH SCORE 8.901065383E7
AT ITER 6069 NEW BEST:: SOT 653132137 SOS 151865654 HAS SOPS 151865654 HAS SOUS 88856087 HAS SOUPS 88856087 WITH SCORE 8.9007952654E7
AT ITER 6071 NEW BEST:: SOT 653129160 SOS 151859700 HAS SOPS 151859700 HAS SOUS 88854029 HAS SOUPS 88854029 WITH SCORE 8.90058887E7
AT ITER 6082 NEW BEST:: SOT 653130582 SOS 151862544 HAS SOPS 151862544 HAS SOUS 88852939 HAS SOUPS 88852939 WITH SCORE 8.9004801544E7
AT ITER 6086 NEW BEST:: SOT 653125542 SOS 151858441 HAS SOPS 151858441 HAS SOUS 88848836 HAS SOUPS 88848836 WITH SCORE 8.9000694441E7
AT ITER 6095 NEW BEST:: SOT 653119598 SOS 151855465 HAS SOPS 151855465 HAS SOUS 88845863 HAS SOUPS 88845863 WITH SCORE 8.8997718465E7
AT ITER 6136 NEW BEST:: SOT 653119598 SOS 151851091 HAS SOPS 151851091 HAS SOUS 88844405 HAS SOUPS 88844405 WITH SCORE 8.8996256091E7
AT ITER 6139 NEW BEST:: SOT 653119138 SOS 151850171 HAS SOPS 151850171 HAS SOUS 88843485 HAS SOUPS 88843485 WITH SCORE 8.8995335171E7
AT ITER 6147 NEW BEST:: SOT 653119138 SOS 151843958 HAS SOPS 151843958 HAS SOUS 88841414 HAS SOUPS 88841414 WITH SCORE 8.8993257958E7
AT ITER 6169 NEW BEST:: SOT 653119922 SOS 151842387 HAS SOPS 151842387 HAS SOUS 88841413 HAS SOUPS 88841413 WITH SCORE 8.8993255387E7
AT ITER 6193 NEW BEST:: SOT 653117682 SOS 151837907 HAS SOPS 151837907 HAS SOUS 88835013 HAS SOUPS 88835013 WITH SCORE 8.8986850907E7
AT ITER 6198 NEW BEST:: SOT 653115899 SOS 151834341 HAS SOPS 151834341 HAS SOUS 88831447 HAS SOUPS 88831447 WITH SCORE 8.8983281341E7
AT ITER 6200 NEW BEST:: SOT 653113461 SOS 151834331 HAS SOPS 151834331 HAS SOUS 88830227 HAS SOUPS 88830227 WITH SCORE 8.8982061331E7
AT ITER 6204 NEW BEST:: SOT 653111096 SOS 151829601 HAS SOPS 151829601 HAS SOUS 88825497 HAS SOUPS 88825497 WITH SCORE 8.8977326601E7
AT ITER 6205 NEW BEST:: SOT 653111096 SOS 151829087 HAS SOPS 151829087 HAS SOUS 88825497 HAS SOUPS 88825497 WITH SCORE 8.8977326087E7
AT ITER 6215 NEW BEST:: SOT 653109869 SOS 151826633 HAS SOPS 151826633 HAS SOUS 88823043 HAS SOUPS 88823043 WITH SCORE 8.8974869633E7
AT ITER 6242 NEW BEST:: SOT 653107012 SOS 151820919 HAS SOPS 151820919 HAS SOUS 88817329 HAS SOUPS 88817329 WITH SCORE 8.8969149919E7
AT ITER 6286 NEW BEST:: SOT 653107012 SOS 151810872 HAS SOPS 151810872 HAS SOUS 88813980 HAS SOUPS 88813980 WITH SCORE 8.8965790872E7
AT ITER 6293 NEW BEST:: SOT 653106824 SOS 151810496 HAS SOPS 151810496 HAS SOUS 88813604 HAS SOUPS 88813604 WITH SCORE 8.8965414496E7
AT ITER 6325 NEW BEST:: SOT 653102068 SOS 151808118 HAS SOPS 151808118 HAS SOUS 88811226 HAS SOUPS 88811226 WITH SCORE 8.8963034118E7
AT ITER 6333 NEW BEST:: SOT 653102820 SOS 151809622 HAS SOPS 151809622 HAS SOUS 88808394 HAS SOUPS 88808394 WITH SCORE 8.8960203622E7
AT ITER 6359 NEW BEST:: SOT 653096039 SOS 151802841 HAS SOPS 151802841 HAS SOUS 88801613 HAS SOUPS 88801613 WITH SCORE 8.8953415841E7
AT ITER 6382 NEW BEST:: SOT 653083665 SOS 151788993 HAS SOPS 151788993 HAS SOUS 88785776 HAS SOUPS 88785776 WITH SCORE 8.8937564993E7
AT ITER 6400 NEW BEST:: SOT 653079430 SOS 151780523 HAS SOPS 151780523 HAS SOUS 88777306 HAS SOUPS 88777306 WITH SCORE 8.8929086523E7
AT ITER 6433 NEW BEST:: SOT 653079429 SOS 151780521 HAS SOPS 151780521 HAS SOUS 88777304 HAS SOUPS 88777304 WITH SCORE 8.8929084521E7
AT ITER 6454 NEW BEST:: SOT 652839448 SOS 151736515 HAS SOPS 151736515 HAS SOUS 88551340 HAS SOUPS 88551340 WITH SCORE 8.8703076515E7
AT ITER 6455 NEW BEST:: SOT 652840155 SOS 151737929 HAS SOPS 151737929 HAS SOUS 88548500 HAS SOUPS 88548500 WITH SCORE 8.8700237929E7
AT ITER 6487 NEW BEST:: SOT 652835451 SOS 151714409 HAS SOPS 151714409 HAS SOUS 88539092 HAS SOUPS 88539092 WITH SCORE 8.8690806409E7
AT ITER 6504 NEW BEST:: SOT 652824066 SOS 151706129 HAS SOPS 151706129 HAS SOUS 88534952 HAS SOUPS 88534952 WITH SCORE 8.8686658129E7
AT ITER 6530 NEW BEST:: SOT 652824150 SOS 151706297 HAS SOPS 151706297 HAS SOUS 88526854 HAS SOUPS 88526854 WITH SCORE 8.8678560297E7
AT ITER 6535 NEW BEST:: SOT 652823977 SOS 151705951 HAS SOPS 151705951 HAS SOUS 88526508 HAS SOUPS 88526508 WITH SCORE 8.8678213951E7
AT ITER 6558 NEW BEST:: SOT 652822932 SOS 151708361 HAS SOPS 151708361 HAS SOUS 88525463 HAS SOUPS 88525463 WITH SCORE 8.8677171361E7
AT ITER 6585 NEW BEST:: SOT 652820705 SOS 151704516 HAS SOPS 151704516 HAS SOUS 88521044 HAS SOUPS 88521044 WITH SCORE 8.8672748516E7
AT ITER 6605 NEW BEST:: SOT 652820372 SOS 151704183 HAS SOPS 151704183 HAS SOUS 88520711 HAS SOUPS 88520711 WITH SCORE 8.8672415183E7
AT ITER 6614 NEW BEST:: SOT 652820371 SOS 151704181 HAS SOPS 151704181 HAS SOUS 88520710 HAS SOUPS 88520710 WITH SCORE 8.8672414181E7
AT ITER 6661 NEW BEST:: SOT 652820370 SOS 151704179 HAS SOPS 151704179 HAS SOUS 88520708 HAS SOUPS 88520708 WITH SCORE 8.8672412179E7
AT ITER 6676 NEW BEST:: SOT 652819689 SOS 151702818 HAS SOPS 151702818 HAS SOUS 88519347 HAS SOUPS 88519347 WITH SCORE 8.8671049818E7
AT ITER 6685 NEW BEST:: SOT 652814860 SOS 151698524 HAS SOPS 151698524 HAS SOUS 88515053 HAS SOUPS 88515053 WITH SCORE 8.8666751524E7
AT ITER 6698 NEW BEST:: SOT 652811322 SOS 151696475 HAS SOPS 151696475 HAS SOUS 88513003 HAS SOUPS 88513003 WITH SCORE 8.8664699475E7
AT ITER 6715 NEW BEST:: SOT 652809944 SOS 151699227 HAS SOPS 151699227 HAS SOUS 88511624 HAS SOUPS 88511624 WITH SCORE 8.8663323227E7
AT ITER 6718 NEW BEST:: SOT 652809026 SOS 151698309 HAS SOPS 151698309 HAS SOUS 88510706 HAS SOUPS 88510706 WITH SCORE 8.8662404309E7
AT ITER 6729 NEW BEST:: SOT 652803970 SOS 151695781 HAS SOPS 151695781 HAS SOUS 88508178 HAS SOUPS 88508178 WITH SCORE 8.8659873781E7
AT ITER 6744 NEW BEST:: SOT 652801492 SOS 151690825 HAS SOPS 151690825 HAS SOUS 88503222 HAS SOUPS 88503222 WITH SCORE 8.8654912825E7
AT ITER 6749 NEW BEST:: SOT 652799411 SOS 151694987 HAS SOPS 151694987 HAS SOUS 88501141 HAS SOUPS 88501141 WITH SCORE 8.8652835987E7
AT ITER 6756 NEW BEST:: SOT 652799411 SOS 151681883 HAS SOPS 151681883 HAS SOUS 88501141 HAS SOUPS 88501141 WITH SCORE 8.8652822883E7
AT ITER 6757 NEW BEST:: SOT 652799305 SOS 151682763 HAS SOPS 151682763 HAS SOUS 88500653 HAS SOUPS 88500653 WITH SCORE 8.8652335763E7
AT ITER 6768 NEW BEST:: SOT 652795951 SOS 151384257 HAS SOPS 151384257 HAS SOUS 88495228 HAS SOUPS 88495228 WITH SCORE 8.8646612257E7
AT ITER 6773 NEW BEST:: SOT 652795951 SOS 151384257 HAS SOPS 151384257 HAS SOUS 88495227 HAS SOUPS 88495227 WITH SCORE 8.8646611257E7
AT ITER 6781 NEW BEST:: SOT 652794074 SOS 151382380 HAS SOPS 151382380 HAS SOUS 88495227 HAS SOUPS 88495227 WITH SCORE 8.864660938E7
AT ITER 6782 NEW BEST:: SOT 652794073 SOS 151382378 HAS SOPS 151382378 HAS SOUS 88495225 HAS SOUPS 88495225 WITH SCORE 8.8646607378E7
AT ITER 6853 NEW BEST:: SOT 652790854 SOS 151379159 HAS SOPS 151379159 HAS SOUS 88492006 HAS SOUPS 88492006 WITH SCORE 8.8643385159E7
AT ITER 6859 NEW BEST:: SOT 652790854 SOS 151379159 HAS SOPS 151379159 HAS SOUS 88492005 HAS SOUPS 88492005 WITH SCORE 8.8643384159E7
AT ITER 6862 NEW BEST:: SOT 652790514 SOS 151378479 HAS SOPS 151378479 HAS SOUS 88491325 HAS SOUPS 88491325 WITH SCORE 8.8642703479E7
AT ITER 6879 NEW BEST:: SOT 652789974 SOS 151377400 HAS SOPS 151377400 HAS SOUS 88490246 HAS SOUPS 88490246 WITH SCORE 8.86416234E7
AT ITER 6903 NEW BEST:: SOT 652777236 SOS 151368136 HAS SOPS 151368136 HAS SOUS 88485614 HAS SOUPS 88485614 WITH SCORE 8.8636982136E7
AT ITER 6917 NEW BEST:: SOT 652777236 SOS 151368136 HAS SOPS 151368136 HAS SOUS 88484585 HAS SOUPS 88484585 WITH SCORE 8.8635953136E7
AT ITER 6920 NEW BEST:: SOT 652777236 SOS 151366098 HAS SOPS 151366098 HAS SOUS 88484585 HAS SOUPS 88484585 WITH SCORE 8.8635951098E7
AT ITER 6986 NEW BEST:: SOT 652775886 SOS 151364747 HAS SOPS 151364747 HAS SOUS 88483234 HAS SOUPS 88483234 WITH SCORE 8.8634598747E7
AT ITER 6990 NEW BEST:: SOT 652775098 SOS 151363959 HAS SOPS 151363959 HAS SOUS 88482446 HAS SOUPS 88482446 WITH SCORE 8.8633809959E7
AT ITER 7005 NEW BEST:: SOT 652774705 SOS 151363946 HAS SOPS 151363946 HAS SOUS 88482433 HAS SOUPS 88482433 WITH SCORE 8.8633796946E7
AT ITER 7018 NEW BEST:: SOT 652776891 SOS 151365677 HAS SOPS 151365677 HAS SOUS 88479036 HAS SOUPS 88479036 WITH SCORE 8.8630401677E7
AT ITER 7023 NEW BEST:: SOT 652775609 SOS 151368237 HAS SOPS 151368237 HAS SOUS 88477753 HAS SOUPS 88477753 WITH SCORE 8.8629121237E7
AT ITER 7029 NEW BEST:: SOT 652775609 SOS 151364823 HAS SOPS 151364823 HAS SOUS 88476615 HAS SOUPS 88476615 WITH SCORE 8.8627979823E7
AT ITER 7042 NEW BEST:: SOT 652774731 SOS 151363067 HAS SOPS 151363067 HAS SOUS 88474859 HAS SOUPS 88474859 WITH SCORE 8.8626222067E7
AT ITER 7065 NEW BEST:: SOT 652774276 SOS 151362157 HAS SOPS 151362157 HAS SOUS 88473949 HAS SOUPS 88473949 WITH SCORE 8.8625311157E7
AT ITER 7130 NEW BEST:: SOT 652773230 SOS 151360064 HAS SOPS 151360064 HAS SOUS 88471856 HAS SOUPS 88471856 WITH SCORE 8.8623216064E7
AT ITER 7136 NEW BEST:: SOT 652773230 SOS 151369122 HAS SOPS 151369122 HAS SOUS 88470731 HAS SOUPS 88470731 WITH SCORE 8.8622100122E7
AT ITER 7159 NEW BEST:: SOT 652771201 SOS 151371148 HAS SOPS 151371148 HAS SOUS 88468701 HAS SOUPS 88468701 WITH SCORE 8.8620072148E7
AT ITER 7188 NEW BEST:: SOT 652769962 SOS 151369905 HAS SOPS 151369905 HAS SOUS 88466484 HAS SOUPS 88466484 WITH SCORE 8.8617853905E7
AT ITER 7189 NEW BEST:: SOT 652770021 SOS 151369932 HAS SOPS 151369932 HAS SOUS 88466452 HAS SOUPS 88466452 WITH SCORE 8.8617821932E7
AT ITER 7193 NEW BEST:: SOT 652770021 SOS 151366647 HAS SOPS 151366647 HAS SOUS 88465357 HAS SOUPS 88465357 WITH SCORE 8.8616723647E7
AT ITER 7201 NEW BEST:: SOT 652768406 SOS 151363417 HAS SOPS 151363417 HAS SOUS 88463742 HAS SOUPS 88463742 WITH SCORE 8.8615105417E7
AT ITER 7207 NEW BEST:: SOT 652768406 SOS 151363417 HAS SOPS 151363417 HAS SOUS 88463741 HAS SOUPS 88463741 WITH SCORE 8.8615104417E7
AT ITER 7212 NEW BEST:: SOT 652765994 SOS 151359799 HAS SOPS 151359799 HAS SOUS 88460123 HAS SOUPS 88460123 WITH SCORE 8.8611482799E7
AT ITER 7225 NEW BEST:: SOT 652765983 SOS 151359777 HAS SOPS 151359777 HAS SOUS 88458531 HAS SOUPS 88458531 WITH SCORE 8.8609890777E7
AT ITER 7227 NEW BEST:: SOT 652760635 SOS 151354425 HAS SOPS 151354425 HAS SOUS 88453182 HAS SOUPS 88453182 WITH SCORE 8.8604536425E7
AT ITER 7230 NEW BEST:: SOT 652760192 SOS 151353539 HAS SOPS 151353539 HAS SOUS 88452296 HAS SOUPS 88452296 WITH SCORE 8.8603649539E7
AT ITER 7263 NEW BEST:: SOT 652752643 SOS 151346425 HAS SOPS 151346425 HAS SOUS 88444747 HAS SOUPS 88444747 WITH SCORE 8.8596093425E7
AT ITER 7279 NEW BEST:: SOT 652750767 SOS 151342673 HAS SOPS 151342673 HAS SOUS 88439109 HAS SOUPS 88439109 WITH SCORE 8.8590451673E7
AT ITER 7282 NEW BEST:: SOT 652750592 SOS 151342844 HAS SOPS 151342844 HAS SOUS 88439108 HAS SOUPS 88439108 WITH SCORE 8.8590450844E7
AT ITER 7283 NEW BEST:: SOT 652750592 SOS 151332917 HAS SOPS 151332917 HAS SOUS 88435799 HAS SOUPS 88435799 WITH SCORE 8.8587131917E7
AT ITER 7302 NEW BEST:: SOT 652749752 SOS 151332913 HAS SOPS 151332913 HAS SOUS 88435378 HAS SOUPS 88435378 WITH SCORE 8.8586710913E7
AT ITER 7310 NEW BEST:: SOT 652749182 SOS 151331773 HAS SOPS 151331773 HAS SOUS 88434060 HAS SOUPS 88434060 WITH SCORE 8.8585391773E7
AT ITER 7330 NEW BEST:: SOT 652747836 SOS 151334461 HAS SOPS 151334461 HAS SOUS 88432713 HAS SOUPS 88432713 WITH SCORE 8.8584047461E7
AT ITER 7335 NEW BEST:: SOT 652745444 SOS 151327282 HAS SOPS 151327282 HAS SOUS 88427928 HAS SOUPS 88427928 WITH SCORE 8.8579255282E7
AT ITER 7351 NEW BEST:: SOT 652745444 SOS 151275172 HAS SOPS 151275172 HAS SOUS 88427928 HAS SOUPS 88427928 WITH SCORE 8.8579203172E7
AT ITER 7363 NEW BEST:: SOT 652740726 SOS 151270909 HAS SOPS 151270909 HAS SOUS 88423665 HAS SOUPS 88423665 WITH SCORE 8.8574935909E7
AT ITER 7381 NEW BEST:: SOT 652738305 SOS 151273327 HAS SOPS 151273327 HAS SOUS 88421243 HAS SOUPS 88421243 WITH SCORE 8.8572516327E7
AT ITER 7397 NEW BEST:: SOT 652735395 SOS 151270417 HAS SOPS 151270417 HAS SOUS 88418333 HAS SOUPS 88418333 WITH SCORE 8.8569603417E7
AT ITER 7412 NEW BEST:: SOT 652732752 SOS 151265131 HAS SOPS 151265131 HAS SOUS 88412095 HAS SOUPS 88412095 WITH SCORE 8.8563360131E7
AT ITER 7426 NEW BEST:: SOT 652729314 SOS 151258255 HAS SOPS 151258255 HAS SOUS 88408657 HAS SOUPS 88408657 WITH SCORE 8.8559915255E7
AT ITER 7484 NEW BEST:: SOT 652727302 SOS 151262275 HAS SOPS 151262275 HAS SOUS 88406644 HAS SOUPS 88406644 WITH SCORE 8.8557906275E7
AT ITER 7499 NEW BEST:: SOT 652723811 SOS 151259857 HAS SOPS 151259857 HAS SOUS 88404226 HAS SOUPS 88404226 WITH SCORE 8.8555485857E7
AT ITER 7516 NEW BEST:: SOT 652724648 SOS 151261531 HAS SOPS 151261531 HAS SOUS 88403662 HAS SOUPS 88403662 WITH SCORE 8.8554923531E7
AT ITER 7526 NEW BEST:: SOT 652715048 SOS 151248307 HAS SOPS 151248307 HAS SOUS 88396271 HAS SOUPS 88396271 WITH SCORE 8.8547519307E7
AT ITER 7527 NEW BEST:: SOT 652715048 SOS 151248307 HAS SOPS 151248307 HAS SOUS 88396270 HAS SOUPS 88396270 WITH SCORE 8.8547518307E7
AT ITER 7561 NEW BEST:: SOT 652712402 SOS 151245657 HAS SOPS 151245657 HAS SOUS 88393623 HAS SOUPS 88393623 WITH SCORE 8.8544868657E7
AT ITER 7564 NEW BEST:: SOT 652711788 SOS 151244249 HAS SOPS 151244249 HAS SOUS 88392215 HAS SOUPS 88392215 WITH SCORE 8.8543459249E7
AT ITER 7572 NEW BEST:: SOT 652704497 SOS 151229667 HAS SOPS 151229667 HAS SOUS 88377633 HAS SOUPS 88377633 WITH SCORE 8.8528862667E7
AT ITER 7587 NEW BEST:: SOT 652706849 SOS 151226673 HAS SOPS 151226673 HAS SOUS 88377419 HAS SOUPS 88377419 WITH SCORE 8.8528645673E7
AT ITER 7601 NEW BEST:: SOT 652704702 SOS 151226221 HAS SOPS 151226221 HAS SOUS 88376970 HAS SOUPS 88376970 WITH SCORE 8.8528196221E7
AT ITER 7628 NEW BEST:: SOT 652700238 SOS 151222025 HAS SOPS 151222025 HAS SOUS 88372774 HAS SOUPS 88372774 WITH SCORE 8.8523996025E7
AT ITER 7633 NEW BEST:: SOT 652701943 SOS 151240992 HAS SOPS 151240992 HAS SOUS 88370996 HAS SOUPS 88370996 WITH SCORE 8.8522236992E7
AT ITER 7640 NEW BEST:: SOT 652699629 SOS 151236364 HAS SOPS 151236364 HAS SOUS 88366368 HAS SOUPS 88366368 WITH SCORE 8.8517604364E7
AT ITER 7662 NEW BEST:: SOT 652697008 SOS 151231122 HAS SOPS 151231122 HAS SOUS 88361126 HAS SOUPS 88361126 WITH SCORE 8.8512357122E7
AT ITER 7676 NEW BEST:: SOT 652696515 SOS 151230136 HAS SOPS 151230136 HAS SOUS 88360140 HAS SOUPS 88360140 WITH SCORE 8.8511370136E7
AT ITER 7704 NEW BEST:: SOT 652696515 SOS 151218880 HAS SOPS 151218880 HAS SOUS 88356388 HAS SOUPS 88356388 WITH SCORE 8.850760688E7
AT ITER 7736 NEW BEST:: SOT 652697017 SOS 151219884 HAS SOPS 151219884 HAS SOUS 88353398 HAS SOUPS 88353398 WITH SCORE 8.8504617884E7
AT ITER 7771 NEW BEST:: SOT 652692855 SOS 151219874 HAS SOPS 151219874 HAS SOUS 88351803 HAS SOUPS 88351803 WITH SCORE 8.8503022874E7
AT ITER 7805 NEW BEST:: SOT 652692751 SOS 151222910 HAS SOPS 151222910 HAS SOUS 88351699 HAS SOUPS 88351699 WITH SCORE 8.850292191E7
AT ITER 7816 NEW BEST:: SOT 652681189 SOS 151223966 HAS SOPS 151223966 HAS SOUS 88346624 HAS SOUPS 88346624 WITH SCORE 8.8497847966E7
AT ITER 7845 NEW BEST:: SOT 652675670 SOS 151229485 HAS SOPS 151229485 HAS SOUS 88341105 HAS SOUPS 88341105 WITH SCORE 8.8492334485E7
AT ITER 7851 NEW BEST:: SOT 652673178 SOS 151224502 HAS SOPS 151224502 HAS SOUS 88336122 HAS SOUPS 88336122 WITH SCORE 8.8487346502E7
AT ITER 7881 NEW BEST:: SOT 652671227 SOS 151220600 HAS SOPS 151220600 HAS SOUS 88332220 HAS SOUPS 88332220 WITH SCORE 8.84834406E7
AT ITER 7898 NEW BEST:: SOT 652671227 SOS 151219950 HAS SOPS 151219950 HAS SOUS 88331570 HAS SOUPS 88331570 WITH SCORE 8.848278995E7
AT ITER 7901 NEW BEST:: SOT 652668805 SOS 151219247 HAS SOPS 151219247 HAS SOUS 88330867 HAS SOUPS 88330867 WITH SCORE 8.8482086247E7
AT ITER 7909 NEW BEST:: SOT 652668805 SOS 151218445 HAS SOPS 151218445 HAS SOUS 88330466 HAS SOUPS 88330466 WITH SCORE 8.8481684445E7
AT ITER 7911 NEW BEST:: SOT 652666679 SOS 151216319 HAS SOPS 151216319 HAS SOUS 88328340 HAS SOUPS 88328340 WITH SCORE 8.8479556319E7
AT ITER 7918 NEW BEST:: SOT 652666679 SOS 151216319 HAS SOPS 151216319 HAS SOUS 88320689 HAS SOUPS 88320689 WITH SCORE 8.8471905319E7
AT ITER 7928 NEW BEST:: SOT 652666209 SOS 151215379 HAS SOPS 151215379 HAS SOUS 88319749 HAS SOUPS 88319749 WITH SCORE 8.8470964379E7
AT ITER 7933 NEW BEST:: SOT 652660771 SOS 151209941 HAS SOPS 151209941 HAS SOUS 88314311 HAS SOUPS 88314311 WITH SCORE 8.8465520941E7
AT ITER 7937 NEW BEST:: SOT 652657235 SOS 151207925 HAS SOPS 151207925 HAS SOUS 88312294 HAS SOUPS 88312294 WITH SCORE 8.8463501925E7
AT ITER 7949 NEW BEST:: SOT 652655133 SOS 151222639 HAS SOPS 151222639 HAS SOUS 88310192 HAS SOUPS 88310192 WITH SCORE 8.8461414639E7
AT ITER 7951 NEW BEST:: SOT 652654681 SOS 151223535 HAS SOPS 151223535 HAS SOUS 88309738 HAS SOUPS 88309738 WITH SCORE 8.8460961535E7
AT ITER 7958 NEW BEST:: SOT 652653197 SOS 151220567 HAS SOPS 151220567 HAS SOUS 88307512 HAS SOUPS 88307512 WITH SCORE 8.8458732567E7
AT ITER 7974 NEW BEST:: SOT 652652623 SOS 151219419 HAS SOPS 151219419 HAS SOUS 88306364 HAS SOUPS 88306364 WITH SCORE 8.8457583419E7
AT ITER 8004 NEW BEST:: SOT 652651822 SOS 151221021 HAS SOPS 151221021 HAS SOUS 88305563 HAS SOUPS 88305563 WITH SCORE 8.8456784021E7
AT ITER 8050 NEW BEST:: SOT 652649010 SOS 151215397 HAS SOPS 151215397 HAS SOUS 88299939 HAS SOUPS 88299939 WITH SCORE 8.8451154397E7
AT ITER 8053 NEW BEST:: SOT 652644518 SOS 151195969 HAS SOPS 151195969 HAS SOUS 88291713 HAS SOUPS 88291713 WITH SCORE 8.8442908969E7
AT ITER 8061 NEW BEST:: SOT 652642536 SOS 151197951 HAS SOPS 151197951 HAS SOUS 88289731 HAS SOUPS 88289731 WITH SCORE 8.8440928951E7
AT ITER 8126 NEW BEST:: SOT 652636046 SOS 151193231 HAS SOPS 151193231 HAS SOUS 88287371 HAS SOUPS 88287371 WITH SCORE 8.8438564231E7
AT ITER 8129 NEW BEST:: SOT 652634916 SOS 151190971 HAS SOPS 151190971 HAS SOUS 88285111 HAS SOUPS 88285111 WITH SCORE 8.8436301971E7
AT ITER 8153 NEW BEST:: SOT 652633227 SOS 151187593 HAS SOPS 151187593 HAS SOUS 88281733 HAS SOUPS 88281733 WITH SCORE 8.8432920593E7
AT ITER 8165 NEW BEST:: SOT 652637103 SOS 151183714 HAS SOPS 151183714 HAS SOUS 88281732 HAS SOUPS 88281732 WITH SCORE 8.8432915714E7
AT ITER 8194 NEW BEST:: SOT 652634230 SOS 151186587 HAS SOPS 151186587 HAS SOUS 88280870 HAS SOUPS 88280870 WITH SCORE 8.8432056587E7
AT ITER 8217 NEW BEST:: SOT 652635775 SOS 151175562 HAS SOPS 151175562 HAS SOUS 88278482 HAS SOUPS 88278482 WITH SCORE 8.8429657562E7
AT ITER 8225 NEW BEST:: SOT 652633811 SOS 151171634 HAS SOPS 151171634 HAS SOUS 88274554 HAS SOUPS 88274554 WITH SCORE 8.8425725634E7
AT ITER 8308 NEW BEST:: SOT 652630131 SOS 151167954 HAS SOPS 151167954 HAS SOUS 88270874 HAS SOUPS 88270874 WITH SCORE 8.8422041954E7
AT ITER 8316 NEW BEST:: SOT 652630130 SOS 151167952 HAS SOPS 151167952 HAS SOUS 88270872 HAS SOUPS 88270872 WITH SCORE 8.8422039952E7
AT ITER 8365 NEW BEST:: SOT 652629272 SOS 151126685 HAS SOPS 151126685 HAS SOUS 88268630 HAS SOUPS 88268630 WITH SCORE 8.8419756685E7
AT ITER 8386 NEW BEST:: SOT 652624186 SOS 151124142 HAS SOPS 151124142 HAS SOUS 88266087 HAS SOUPS 88266087 WITH SCORE 8.8417211142E7
AT ITER 8401 NEW BEST:: SOT 652623135 SOS 151122040 HAS SOPS 151122040 HAS SOUS 88263985 HAS SOUPS 88263985 WITH SCORE 8.841510704E7
AT ITER 8406 NEW BEST:: SOT 652623135 SOS 151122040 HAS SOPS 151122040 HAS SOUS 88262619 HAS SOUPS 88262619 WITH SCORE 8.841374104E7
AT ITER 8410 NEW BEST:: SOT 652622538 SOS 151121443 HAS SOPS 151121443 HAS SOUS 88262022 HAS SOUPS 88262022 WITH SCORE 8.8413143443E7
AT ITER 8426 NEW BEST:: SOT 652622151 SOS 151120669 HAS SOPS 151120669 HAS SOUS 88261248 HAS SOUPS 88261248 WITH SCORE 8.8412368669E7
AT ITER 8450 NEW BEST:: SOT 652622151 SOS 151119213 HAS SOPS 151119213 HAS SOUS 88261248 HAS SOUPS 88261248 WITH SCORE 8.8412367213E7
AT ITER 8479 NEW BEST:: SOT 652619336 SOS 151122028 HAS SOPS 151122028 HAS SOUS 88260138 HAS SOUPS 88260138 WITH SCORE 8.8411260028E7
AT ITER 8509 NEW BEST:: SOT 652619336 SOS 151121219 HAS SOPS 151121219 HAS SOUS 88260138 HAS SOUPS 88260138 WITH SCORE 8.8411259219E7
AT ITER 8512 NEW BEST:: SOT 652615146 SOS 151118705 HAS SOPS 151118705 HAS SOUS 88259300 HAS SOUPS 88259300 WITH SCORE 8.8410418705E7
AT ITER 8527 NEW BEST:: SOT 652612914 SOS 151137848 HAS SOPS 151137848 HAS SOUS 88257068 HAS SOUPS 88257068 WITH SCORE 8.8408205848E7
AT ITER 8545 NEW BEST:: SOT 652612913 SOS 151137846 HAS SOPS 151137846 HAS SOUS 88257066 HAS SOUPS 88257066 WITH SCORE 8.8408203846E7
AT ITER 8547 NEW BEST:: SOT 652612730 SOS 151156820 HAS SOPS 151156820 HAS SOUS 88253307 HAS SOUPS 88253307 WITH SCORE 8.840446382E7
AT ITER 8574 NEW BEST:: SOT 652612727 SOS 151156814 HAS SOPS 151156814 HAS SOUS 88253301 HAS SOUPS 88253301 WITH SCORE 8.8404457814E7
AT ITER 8586 NEW BEST:: SOT 652606802 SOS 151158376 HAS SOPS 151158376 HAS SOUS 88247376 HAS SOUPS 88247376 WITH SCORE 8.8398534376E7
AT ITER 8590 NEW BEST:: SOT 652605624 SOS 151139940 HAS SOPS 151139940 HAS SOUS 88241810 HAS SOUPS 88241810 WITH SCORE 8.839294994E7
AT ITER 8611 NEW BEST:: SOT 652605624 SOS 151135722 HAS SOPS 151135722 HAS SOUS 88240711 HAS SOUPS 88240711 WITH SCORE 8.8391846722E7
AT ITER 8621 NEW BEST:: SOT 652605624 SOS 151124880 HAS SOPS 151124880 HAS SOUS 88237097 HAS SOUPS 88237097 WITH SCORE 8.838822188E7
AT ITER 8622 NEW BEST:: SOT 652603159 SOS 151120734 HAS SOPS 151120734 HAS SOUS 88232951 HAS SOUPS 88232951 WITH SCORE 8.8384071734E7
AT ITER 8640 NEW BEST:: SOT 652600984 SOS 151116384 HAS SOPS 151116384 HAS SOUS 88228601 HAS SOUPS 88228601 WITH SCORE 8.8379717384E7
AT ITER 8643 NEW BEST:: SOT 652597484 SOS 151109384 HAS SOPS 151109384 HAS SOUS 88221601 HAS SOUPS 88221601 WITH SCORE 8.8372710384E7
AT ITER 8647 NEW BEST:: SOT 652596383 SOS 151108283 HAS SOPS 151108283 HAS SOUS 88220500 HAS SOUPS 88220500 WITH SCORE 8.8371608283E7
AT ITER 8651 NEW BEST:: SOT 652595541 SOS 151106599 HAS SOPS 151106599 HAS SOUS 88216032 HAS SOUPS 88216032 WITH SCORE 8.8367138599E7
AT ITER 8667 NEW BEST:: SOT 652590757 SOS 151073043 HAS SOPS 151073043 HAS SOUS 88202549 HAS SOUPS 88202549 WITH SCORE 8.8353622043E7
AT ITER 8686 NEW BEST:: SOT 652590318 SOS 151072165 HAS SOPS 151072165 HAS SOUS 88201671 HAS SOUPS 88201671 WITH SCORE 8.8352743165E7
AT ITER 8728 NEW BEST:: SOT 652590318 SOS 151064521 HAS SOPS 151064521 HAS SOUS 88199123 HAS SOUPS 88199123 WITH SCORE 8.8350187521E7
AT ITER 8759 NEW BEST:: SOT 652589130 SOS 151082367 HAS SOPS 151082367 HAS SOUS 88196746 HAS SOUPS 88196746 WITH SCORE 8.8347828367E7
AT ITER 8763 NEW BEST:: SOT 652588553 SOS 151081213 HAS SOPS 151081213 HAS SOUS 88196169 HAS SOUPS 88196169 WITH SCORE 8.8347250213E7
AT ITER 8775 NEW BEST:: SOT 652587919 SOS 151080896 HAS SOPS 151080896 HAS SOUS 88195852 HAS SOUPS 88195852 WITH SCORE 8.8346932896E7
AT ITER 8790 NEW BEST:: SOT 652586750 SOS 151078558 HAS SOPS 151078558 HAS SOUS 88193514 HAS SOUPS 88193514 WITH SCORE 8.8344592558E7
AT ITER 8792 NEW BEST:: SOT 652585333 SOS 151117456 HAS SOPS 151117456 HAS SOUS 88190679 HAS SOUPS 88190679 WITH SCORE 8.8341796456E7
AT ITER 8799 NEW BEST:: SOT 652583071 SOS 151112932 HAS SOPS 151112932 HAS SOUS 88186155 HAS SOUPS 88186155 WITH SCORE 8.8337267932E7
AT ITER 8840 NEW BEST:: SOT 652582798 SOS 151112750 HAS SOPS 151112750 HAS SOUS 88185973 HAS SOUPS 88185973 WITH SCORE 8.833708575E7
AT ITER 8847 NEW BEST:: SOT 652582201 SOS 151113347 HAS SOPS 151113347 HAS SOUS 88185376 HAS SOUPS 88185376 WITH SCORE 8.8336489347E7
AT ITER 8910 NEW BEST:: SOT 652581607 SOS 151112951 HAS SOPS 151112951 HAS SOUS 88184980 HAS SOUPS 88184980 WITH SCORE 8.8336092951E7
AT ITER 8915 NEW BEST:: SOT 652578026 SOS 151111224 HAS SOPS 151111224 HAS SOUS 88183252 HAS SOUPS 88183252 WITH SCORE 8.8334363224E7
AT ITER 8917 NEW BEST:: SOT 652577571 SOS 151110314 HAS SOPS 151110314 HAS SOUS 88182797 HAS SOUPS 88182797 WITH SCORE 8.8333907314E7
AT ITER 8961 NEW BEST:: SOT 652577571 SOS 151109921 HAS SOPS 151109921 HAS SOUS 88182404 HAS SOUPS 88182404 WITH SCORE 8.8333513921E7
AT ITER 8976 NEW BEST:: SOT 652569374 SOS 151100553 HAS SOPS 151100553 HAS SOUS 88177077 HAS SOUPS 88177077 WITH SCORE 8.8328177553E7
AT ITER 8995 NEW BEST:: SOT 652569046 SOS 151093609 HAS SOPS 151093609 HAS SOUS 88176211 HAS SOUPS 88176211 WITH SCORE 8.8327304609E7
AT ITER 9046 NEW BEST:: SOT 652571038 SOS 151097593 HAS SOPS 151097593 HAS SOUS 88175305 HAS SOUPS 88175305 WITH SCORE 8.8326402593E7
AT ITER 9055 NEW BEST:: SOT 652571038 SOS 151092850 HAS SOPS 151092850 HAS SOUS 88173724 HAS SOUPS 88173724 WITH SCORE 8.832481685E7
AT ITER 9089 NEW BEST:: SOT 652571038 SOS 151086622 HAS SOPS 151086622 HAS SOUS 88171648 HAS SOUPS 88171648 WITH SCORE 8.8322734622E7
AT ITER 9135 NEW BEST:: SOT 652571038 SOS 151081681 HAS SOPS 151081681 HAS SOUS 88170001 HAS SOUPS 88170001 WITH SCORE 8.8321082681E7
AT ITER 9137 NEW BEST:: SOT 652566474 SOS 151082761 HAS SOPS 151082761 HAS SOUS 88164949 HAS SOUPS 88164949 WITH SCORE 8.8316031761E7
AT ITER 9153 NEW BEST:: SOT 652564487 SOS 151078787 HAS SOPS 151078787 HAS SOUS 88160975 HAS SOUPS 88160975 WITH SCORE 8.8312053787E7
AT ITER 9168 NEW BEST:: SOT 652565449 SOS 151076860 HAS SOPS 151076860 HAS SOUS 88160974 HAS SOUPS 88160974 WITH SCORE 8.831205086E7
AT ITER 9174 NEW BEST:: SOT 652565449 SOS 151076860 HAS SOPS 151076860 HAS SOUS 88160973 HAS SOUPS 88160973 WITH SCORE 8.831204986E7
AT ITER 9176 NEW BEST:: SOT 652560653 SOS 151074462 HAS SOPS 151074462 HAS SOUS 88158575 HAS SOUPS 88158575 WITH SCORE 8.8309649462E7
AT ITER 9180 NEW BEST:: SOT 652555625 SOS 151069434 HAS SOPS 151069434 HAS SOUS 88153547 HAS SOUPS 88153547 WITH SCORE 8.8304616434E7
AT ITER 9189 NEW BEST:: SOT 652553876 SOS 151072924 HAS SOPS 151072924 HAS SOUS 88151796 HAS SOUPS 88151796 WITH SCORE 8.8302868924E7
AT ITER 9213 NEW BEST:: SOT 652546078 SOS 151065126 HAS SOPS 151065126 HAS SOUS 88143998 HAS SOUPS 88143998 WITH SCORE 8.8295063126E7
AT ITER 9225 NEW BEST:: SOT 652545507 SOS 151065322 HAS SOPS 151065322 HAS SOUS 88143873 HAS SOUPS 88143873 WITH SCORE 8.8294938322E7
AT ITER 9247 NEW BEST:: SOT 652544732 SOS 151064747 HAS SOPS 151064747 HAS SOUS 88143298 HAS SOUPS 88143298 WITH SCORE 8.8294362747E7
AT ITER 9248 NEW BEST:: SOT 652544298 SOS 151065607 HAS SOPS 151065607 HAS SOUS 88142862 HAS SOUPS 88142862 WITH SCORE 8.8293927607E7
AT ITER 9270 NEW BEST:: SOT 652544298 SOS 151065607 HAS SOPS 151065607 HAS SOUS 88141599 HAS SOUPS 88141599 WITH SCORE 8.8292664607E7
AT ITER 9309 NEW BEST:: SOT 652543583 SOS 151065767 HAS SOPS 151065767 HAS SOUS 88141476 HAS SOUPS 88141476 WITH SCORE 8.8292541767E7
AT ITER 9512 NEW BEST:: SOT 652542764 SOS 151064129 HAS SOPS 151064129 HAS SOUS 88139838 HAS SOUPS 88139838 WITH SCORE 8.8290902129E7
AT ITER 9521 NEW BEST:: SOT 652542764 SOS 151058837 HAS SOPS 151058837 HAS SOUS 88138074 HAS SOUPS 88138074 WITH SCORE 8.8289132837E7
AT ITER 9527 NEW BEST:: SOT 652542164 SOS 151057637 HAS SOPS 151057637 HAS SOUS 88136874 HAS SOUPS 88136874 WITH SCORE 8.8287931637E7
AT ITER 9548 NEW BEST:: SOT 652536144 SOS 151063657 HAS SOPS 151063657 HAS SOUS 88128917 HAS SOUPS 88128917 WITH SCORE 8.8279980657E7
AT ITER 9601 NEW BEST:: SOT 652537580 SOS 151066529 HAS SOPS 151066529 HAS SOUS 88123328 HAS SOUPS 88123328 WITH SCORE 8.8274394529E7
AT ITER 9630 NEW BEST:: SOT 652537580 SOS 151060712 HAS SOPS 151060712 HAS SOUS 88121389 HAS SOUPS 88121389 WITH SCORE 8.8272449712E7
AT ITER 9695 NEW BEST:: SOT 652539771 SOS 151065094 HAS SOPS 151065094 HAS SOUS 88120443 HAS SOUPS 88120443 WITH SCORE 8.8271508094E7
AT ITER 9696 NEW BEST:: SOT 652539771 SOS 151063754 HAS SOPS 151063754 HAS SOUS 88119103 HAS SOUPS 88119103 WITH SCORE 8.8270166754E7
AT ITER 9711 NEW BEST:: SOT 652539909 SOS 151078627 HAS SOPS 151078627 HAS SOUS 88118896 HAS SOUPS 88118896 WITH SCORE 8.8269974627E7
AT ITER 9715 NEW BEST:: SOT 652541221 SOS 151081251 HAS SOPS 151081251 HAS SOUS 88118411 HAS SOUPS 88118411 WITH SCORE 8.8269492251E7
AT ITER 9789 NEW BEST:: SOT 652541028 SOS 151080865 HAS SOPS 151080865 HAS SOUS 88118025 HAS SOUPS 88118025 WITH SCORE 8.8269105865E7
AT ITER 9844 NEW BEST:: SOT 652536642 SOS 151077766 HAS SOPS 151077766 HAS SOUS 88114926 HAS SOUPS 88114926 WITH SCORE 8.8266003766E7
AT ITER 9875 NEW BEST:: SOT 652530199 SOS 151073878 HAS SOPS 151073878 HAS SOUS 88109762 HAS SOUPS 88109762 WITH SCORE 8.8260835878E7
AT ITER 9880 NEW BEST:: SOT 652521531 SOS 151067574 HAS SOPS 151067574 HAS SOUS 88106610 HAS SOUPS 88106610 WITH SCORE 8.8257677574E7
AT ITER 9918 NEW BEST:: SOT 652516601 SOS 151042924 HAS SOPS 151042924 HAS SOUS 88096750 HAS SOUPS 88096750 WITH SCORE 8.8247792924E7
AT ITER 9931 NEW BEST:: SOT 652516600 SOS 151042922 HAS SOPS 151042922 HAS SOUS 88096748 HAS SOUPS 88096748 WITH SCORE 8.8247790922E7
AT ITER 9933 NEW BEST:: SOT 652513179 SOS 151046339 HAS SOPS 151046339 HAS SOUS 88089905 HAS SOUPS 88089905 WITH SCORE 8.8240951339E7
AT ITER 9938 NEW BEST:: SOT 652511561 SOS 151057655 HAS SOPS 151057655 HAS SOUS 88086668 HAS SOUPS 88086668 WITH SCORE 8.8237725655E7
AT ITER 9960 NEW BEST:: SOT 652507258 SOS 151053352 HAS SOPS 151053352 HAS SOUS 88082365 HAS SOUPS 88082365 WITH SCORE 8.8233418352E7
AT ITER 9961 NEW BEST:: SOT 652504912 SOS 151048330 HAS SOPS 151048330 HAS SOUS 88078177 HAS SOUPS 88078177 WITH SCORE 8.822922533E7
AT ITER 9967 NEW BEST:: SOT 652504912 SOS 151040071 HAS SOPS 151040071 HAS SOUS 88075424 HAS SOUPS 88075424 WITH SCORE 8.8226464071E7
AT ITER 9978 NEW BEST:: SOT 652504911 SOS 151040069 HAS SOPS 151040069 HAS SOUS 88075422 HAS SOUPS 88075422 WITH SCORE 8.8226462069E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 14344208 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16079720 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="DLCflexbar-PT-6b"
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 DLCflexbar-PT-6b, 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 r107-tall-167814484400584"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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