About the Execution of Smart+red for FamilyReunion-COL-L00100M0010C005P005G002
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7668.976 | 3600000.00 | 3674033.00 | 10572.60 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r171-tall-167838858400328.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is FamilyReunion-COL-L00100M0010C005P005G002, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858400328
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 632K
-rw-r--r-- 1 mcc users 7.0K Feb 26 13:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 26 13:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 12:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 12:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 15:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 126K Feb 26 15:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 26 14:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 26 14:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:05 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:05 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 24 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 140K 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 1679439068972
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FamilyReunion-COL-L00100M0010C005P005G002
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 22:51:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 22:51:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 22:51:10] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-21 22:51:10] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-21 22:51:11] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 679 ms
[2023-03-21 22:51:11] [INFO ] Detected 5 constant HL places corresponding to 31 PT places.
[2023-03-21 22:51:11] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 40706 PT places and 36972.0 transition bindings in 29 ms.
[2023-03-21 22:51:11] [INFO ] Unfolded HLPN to a Petri net with 40706 places and 36871 transitions 105658 arcs in 202 ms.
[2023-03-21 22:51:11] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-21 22:51:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 40706 places, 36871 transitions and 105658 arcs took 193 ms.
Total runtime 1194 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FamilyReunion (COL), instance L00100M0010C005P005G002
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: 40706 places, 36871 transitions, 105658 arcs.
AT ITER 0 NEW BEST:: SOT 865762981 SOS 93995146 HAS SOPS 93995146 HAS SOUS 85879302 HAS SOUPS 85879302 WITH SCORE 8.5973297146E7
AT ITER 58 NEW BEST:: SOT 865761278 SOS 93992332 HAS SOPS 93992332 HAS SOUS 85876488 HAS SOUPS 85876488 WITH SCORE 8.5970480332E7
AT ITER 61 NEW BEST:: SOT 865759067 SOS 93990110 HAS SOPS 93990110 HAS SOUS 85874266 HAS SOUPS 85874266 WITH SCORE 8.596825611E7
AT ITER 115 NEW BEST:: SOT 865759519 SOS 93989010 HAS SOPS 93989010 HAS SOUS 85873166 HAS SOUPS 85873166 WITH SCORE 8.596715501E7
AT ITER 145 NEW BEST:: SOT 865758775 SOS 93988266 HAS SOPS 93988266 HAS SOUS 85872422 HAS SOUPS 85872422 WITH SCORE 8.5966410266E7
AT ITER 200 NEW BEST:: SOT 865758775 SOS 93987307 HAS SOPS 93987307 HAS SOUS 85871463 HAS SOUPS 85871463 WITH SCORE 8.5965450307E7
AT ITER 202 NEW BEST:: SOT 865757525 SOS 93986057 HAS SOPS 93986057 HAS SOUS 85870213 HAS SOUPS 85870213 WITH SCORE 8.5964199057E7
AT ITER 252 NEW BEST:: SOT 865757525 SOS 93985451 HAS SOPS 93985451 HAS SOUS 85869607 HAS SOUPS 85869607 WITH SCORE 8.5963592451E7
AT ITER 267 NEW BEST:: SOT 865756425 SOS 93983240 HAS SOPS 93983240 HAS SOUS 85869104 HAS SOUPS 85869104 WITH SCORE 8.596308724E7
AT ITER 287 NEW BEST:: SOT 865755325 SOS 93981018 HAS SOPS 93981018 HAS SOUS 85866882 HAS SOUPS 85866882 WITH SCORE 8.5960863018E7
AT ITER 290 NEW BEST:: SOT 865755325 SOS 93980015 HAS SOPS 93980015 HAS SOUS 85865879 HAS SOUPS 85865879 WITH SCORE 8.5959859015E7
AT ITER 296 NEW BEST:: SOT 865754225 SOS 93977804 HAS SOPS 93977804 HAS SOUS 85863668 HAS SOUPS 85863668 WITH SCORE 8.5957645804E7
AT ITER 317 NEW BEST:: SOT 865753125 SOS 93975593 HAS SOPS 93975593 HAS SOUS 85861457 HAS SOUPS 85861457 WITH SCORE 8.5955432593E7
AT ITER 320 NEW BEST:: SOT 865752608 SOS 93975076 HAS SOPS 93975076 HAS SOUS 85860940 HAS SOUPS 85860940 WITH SCORE 8.5954915076E7
AT ITER 331 NEW BEST:: SOT 865752608 SOS 93974449 HAS SOPS 93974449 HAS SOUS 85860313 HAS SOUPS 85860313 WITH SCORE 8.5954287449E7
AT ITER 370 NEW BEST:: SOT 865751508 SOS 93972227 HAS SOPS 93972227 HAS SOUS 85858091 HAS SOUPS 85858091 WITH SCORE 8.5952063227E7
AT ITER 396 NEW BEST:: SOT 865751508 SOS 93971490 HAS SOPS 93971490 HAS SOUS 85857354 HAS SOUPS 85857354 WITH SCORE 8.595132549E7
AT ITER 456 NEW BEST:: SOT 865751339 SOS 93971363 HAS SOPS 93971363 HAS SOUS 85857227 HAS SOUPS 85857227 WITH SCORE 8.5951198363E7
AT ITER 458 NEW BEST:: SOT 865750462 SOS 93969609 HAS SOPS 93969609 HAS SOUS 85855473 HAS SOUPS 85855473 WITH SCORE 8.5949442609E7
AT ITER 509 NEW BEST:: SOT 865750462 SOS 93969229 HAS SOPS 93969229 HAS SOUS 85855469 HAS SOUPS 85855469 WITH SCORE 8.5949438229E7
AT ITER 512 NEW BEST:: SOT 865750462 SOS 93968623 HAS SOPS 93968623 HAS SOUS 85854863 HAS SOUPS 85854863 WITH SCORE 8.5948831623E7
AT ITER 543 NEW BEST:: SOT 865749430 SOS 93966423 HAS SOPS 93966423 HAS SOUS 85852663 HAS SOUPS 85852663 WITH SCORE 8.5946629423E7
AT ITER 625 NEW BEST:: SOT 865748874 SOS 93965311 HAS SOPS 93965311 HAS SOUS 85851551 HAS SOUPS 85851551 WITH SCORE 8.5945516311E7
AT ITER 626 NEW BEST:: SOT 865747774 SOS 93963100 HAS SOPS 93963100 HAS SOUS 85849340 HAS SOUPS 85849340 WITH SCORE 8.59433031E7
AT ITER 653 NEW BEST:: SOT 865746674 SOS 93960878 HAS SOPS 93960878 HAS SOUS 85847118 HAS SOUPS 85847118 WITH SCORE 8.5941078878E7
AT ITER 738 NEW BEST:: SOT 865746674 SOS 93960625 HAS SOPS 93960625 HAS SOUS 85846865 HAS SOUPS 85846865 WITH SCORE 8.5940825625E7
AT ITER 750 NEW BEST:: SOT 865746674 SOS 93959532 HAS SOPS 93959532 HAS SOUS 85845772 HAS SOUPS 85845772 WITH SCORE 8.5939731532E7
AT ITER 766 NEW BEST:: SOT 865746574 SOS 93958831 HAS SOPS 93958831 HAS SOUS 85845672 HAS SOUPS 85845672 WITH SCORE 8.5939630831E7
AT ITER 769 NEW BEST:: SOT 865745197 SOS 93957454 HAS SOPS 93957454 HAS SOUS 85844295 HAS SOUPS 85844295 WITH SCORE 8.5938252454E7
AT ITER 784 NEW BEST:: SOT 865744097 SOS 93955232 HAS SOPS 93955232 HAS SOUS 85842073 HAS SOUPS 85842073 WITH SCORE 8.5936028232E7
AT ITER 787 NEW BEST:: SOT 865743312 SOS 93953016 HAS SOPS 93953016 HAS SOUS 85840187 HAS SOUPS 85840187 WITH SCORE 8.5934140016E7
AT ITER 879 NEW BEST:: SOT 865742644 SOS 93951680 HAS SOPS 93951680 HAS SOUS 85838851 HAS SOUPS 85838851 WITH SCORE 8.593280268E7
AT ITER 887 NEW BEST:: SOT 865741779 SOS 93950556 HAS SOPS 93950556 HAS SOUS 85837727 HAS SOUPS 85837727 WITH SCORE 8.5931677556E7
AT ITER 914 NEW BEST:: SOT 865741381 SOS 93949760 HAS SOPS 93949760 HAS SOUS 85836931 HAS SOUPS 85836931 WITH SCORE 8.593088076E7
AT ITER 978 NEW BEST:: SOT 865741381 SOS 93949292 HAS SOPS 93949292 HAS SOUS 85836463 HAS SOUPS 85836463 WITH SCORE 8.5930412292E7
AT ITER 979 NEW BEST:: SOT 865739792 SOS 93946114 HAS SOPS 93946114 HAS SOUS 85833285 HAS SOUPS 85833285 WITH SCORE 8.5927231114E7
AT ITER 1012 NEW BEST:: SOT 865739186 SOS 93944902 HAS SOPS 93944902 HAS SOUS 85832073 HAS SOUPS 85832073 WITH SCORE 8.5926017902E7
AT ITER 1036 NEW BEST:: SOT 865733633 SOS 93948101 HAS SOPS 93948101 HAS SOUS 85830467 HAS SOUPS 85830467 WITH SCORE 8.5924415101E7
AT ITER 1037 NEW BEST:: SOT 865733633 SOS 93947826 HAS SOPS 93947826 HAS SOUS 85830191 HAS SOUPS 85830191 WITH SCORE 8.5924138826E7
AT ITER 1038 NEW BEST:: SOT 865733633 SOS 93947241 HAS SOPS 93947241 HAS SOUS 85829606 HAS SOUPS 85829606 WITH SCORE 8.5923553241E7
AT ITER 1067 NEW BEST:: SOT 865732234 SOS 93945842 HAS SOPS 93945842 HAS SOUS 85828207 HAS SOUPS 85828207 WITH SCORE 8.5922152842E7
AT ITER 1068 NEW BEST:: SOT 865731413 SOS 93943642 HAS SOPS 93943642 HAS SOUS 85826285 HAS SOUPS 85826285 WITH SCORE 8.5920228642E7
AT ITER 1072 NEW BEST:: SOT 865729504 SOS 93940622 HAS SOPS 93940622 HAS SOUS 85823265 HAS SOUPS 85823265 WITH SCORE 8.5917205622E7
AT ITER 1091 NEW BEST:: SOT 865727616 SOS 93937623 HAS SOPS 93937623 HAS SOUS 85820266 HAS SOUPS 85820266 WITH SCORE 8.5914203623E7
AT ITER 1110 NEW BEST:: SOT 865726414 SOS 93935219 HAS SOPS 93935219 HAS SOUS 85817862 HAS SOUPS 85817862 WITH SCORE 8.5911797219E7
AT ITER 1117 NEW BEST:: SOT 865727262 SOS 93934119 HAS SOPS 93934119 HAS SOUS 85817608 HAS SOUPS 85817608 WITH SCORE 8.5911542119E7
AT ITER 1171 NEW BEST:: SOT 865725231 SOS 93928946 HAS SOPS 93928946 HAS SOUS 85812435 HAS SOUPS 85812435 WITH SCORE 8.5906363946E7
AT ITER 1197 NEW BEST:: SOT 865725231 SOS 93928778 HAS SOPS 93928778 HAS SOUS 85812267 HAS SOUPS 85812267 WITH SCORE 8.5906195778E7
AT ITER 1226 NEW BEST:: SOT 865725231 SOS 93928280 HAS SOPS 93928280 HAS SOUS 85811769 HAS SOUPS 85811769 WITH SCORE 8.590569728E7
AT ITER 1234 NEW BEST:: SOT 865724131 SOS 93926058 HAS SOPS 93926058 HAS SOUS 85809547 HAS SOUPS 85809547 WITH SCORE 8.5903473058E7
AT ITER 1246 NEW BEST:: SOT 865723031 SOS 93923836 HAS SOPS 93923836 HAS SOUS 85807325 HAS SOUPS 85807325 WITH SCORE 8.5901248836E7
AT ITER 1327 NEW BEST:: SOT 865721931 SOS 93921625 HAS SOPS 93921625 HAS SOUS 85805114 HAS SOUPS 85805114 WITH SCORE 8.5899035625E7
AT ITER 1336 NEW BEST:: SOT 865719680 SOS 93916012 HAS SOPS 93916012 HAS SOUS 85799501 HAS SOUPS 85799501 WITH SCORE 8.5893417012E7
AT ITER 1397 NEW BEST:: SOT 865719680 SOS 93915993 HAS SOPS 93915993 HAS SOUS 85799482 HAS SOUPS 85799482 WITH SCORE 8.5893397993E7
AT ITER 1401 NEW BEST:: SOT 865717482 SOS 93912684 HAS SOPS 93912684 HAS SOUS 85796173 HAS SOUPS 85796173 WITH SCORE 8.5890085684E7
AT ITER 1440 NEW BEST:: SOT 865716470 SOS 93910660 HAS SOPS 93910660 HAS SOUS 85794149 HAS SOUPS 85794149 WITH SCORE 8.588805966E7
AT ITER 1469 NEW BEST:: SOT 865716384 SOS 93910574 HAS SOPS 93910574 HAS SOUS 85794063 HAS SOUPS 85794063 WITH SCORE 8.5887973574E7
AT ITER 1481 NEW BEST:: SOT 865714581 SOS 93905857 HAS SOPS 93905857 HAS SOUS 85789346 HAS SOUPS 85789346 WITH SCORE 8.5883251857E7
AT ITER 1498 NEW BEST:: SOT 865714172 SOS 93903244 HAS SOPS 93903244 HAS SOUS 85788975 HAS SOUPS 85788975 WITH SCORE 8.5882878244E7
AT ITER 1502 NEW BEST:: SOT 865712455 SOS 93898699 HAS SOPS 93898699 HAS SOUS 85784430 HAS SOUPS 85784430 WITH SCORE 8.5878328699E7
AT ITER 1532 NEW BEST:: SOT 865711702 SOS 93897946 HAS SOPS 93897946 HAS SOUS 85783677 HAS SOUPS 85783677 WITH SCORE 8.5877574946E7
AT ITER 1567 NEW BEST:: SOT 865711702 SOS 93897394 HAS SOPS 93897394 HAS SOUS 85783125 HAS SOUPS 85783125 WITH SCORE 8.5877022394E7
AT ITER 1619 NEW BEST:: SOT 865710447 SOS 93894884 HAS SOPS 93894884 HAS SOUS 85780615 HAS SOUPS 85780615 WITH SCORE 8.5874509884E7
AT ITER 1638 NEW BEST:: SOT 865710005 SOS 93894000 HAS SOPS 93894000 HAS SOUS 85779731 HAS SOUPS 85779731 WITH SCORE 8.5873625E7
AT ITER 1662 NEW BEST:: SOT 865708905 SOS 93891789 HAS SOPS 93891789 HAS SOUS 85777520 HAS SOUPS 85777520 WITH SCORE 8.5871411789E7
AT ITER 1668 NEW BEST:: SOT 865707805 SOS 93889567 HAS SOPS 93889567 HAS SOUS 85775298 HAS SOUPS 85775298 WITH SCORE 8.5869187567E7
AT ITER 1704 NEW BEST:: SOT 865706366 SOS 93887017 HAS SOPS 93887017 HAS SOUS 85772748 HAS SOUPS 85772748 WITH SCORE 8.5866635017E7
AT ITER 1740 NEW BEST:: SOT 865706366 SOS 93886037 HAS SOPS 93886037 HAS SOUS 85771768 HAS SOUPS 85771768 WITH SCORE 8.5865654037E7
AT ITER 1747 NEW BEST:: SOT 865705712 SOS 93885383 HAS SOPS 93885383 HAS SOUS 85771114 HAS SOUPS 85771114 WITH SCORE 8.5864999383E7
AT ITER 1786 NEW BEST:: SOT 865705712 SOS 93884326 HAS SOPS 93884326 HAS SOUS 85770057 HAS SOUPS 85770057 WITH SCORE 8.5863941326E7
AT ITER 1792 NEW BEST:: SOT 865705712 SOS 93883914 HAS SOPS 93883914 HAS SOUS 85769645 HAS SOUPS 85769645 WITH SCORE 8.5863528914E7
AT ITER 1804 NEW BEST:: SOT 865704431 SOS 93881352 HAS SOPS 93881352 HAS SOUS 85767083 HAS SOUPS 85767083 WITH SCORE 8.5860964352E7
AT ITER 1832 NEW BEST:: SOT 865704190 SOS 93881111 HAS SOPS 93881111 HAS SOUS 85766842 HAS SOUPS 85766842 WITH SCORE 8.5860723111E7
AT ITER 1848 NEW BEST:: SOT 865704190 SOS 93880523 HAS SOPS 93880523 HAS SOUS 85766254 HAS SOUPS 85766254 WITH SCORE 8.5860134523E7
AT ITER 1873 NEW BEST:: SOT 865704190 SOS 93879985 HAS SOPS 93879985 HAS SOUS 85765716 HAS SOUPS 85765716 WITH SCORE 8.5859595985E7
AT ITER 1880 NEW BEST:: SOT 865701740 SOS 93877535 HAS SOPS 93877535 HAS SOUS 85763266 HAS SOUPS 85763266 WITH SCORE 8.5857143535E7
AT ITER 1894 NEW BEST:: SOT 865701740 SOS 93877002 HAS SOPS 93877002 HAS SOUS 85762733 HAS SOUPS 85762733 WITH SCORE 8.5856610002E7
AT ITER 1910 NEW BEST:: SOT 865700640 SOS 93874780 HAS SOPS 93874780 HAS SOUS 85760511 HAS SOUPS 85760511 WITH SCORE 8.585438578E7
AT ITER 1938 NEW BEST:: SOT 865699540 SOS 93872569 HAS SOPS 93872569 HAS SOUS 85758300 HAS SOUPS 85758300 WITH SCORE 8.5852172569E7
AT ITER 1944 NEW BEST:: SOT 865698897 SOS 93871926 HAS SOPS 93871926 HAS SOUS 85757657 HAS SOUPS 85757657 WITH SCORE 8.5851528926E7
AT ITER 1952 NEW BEST:: SOT 865696036 SOS 93865093 HAS SOPS 93865093 HAS SOUS 85750824 HAS SOUPS 85750824 WITH SCORE 8.5844689093E7
AT ITER 1960 NEW BEST:: SOT 865695613 SOS 93862893 HAS SOPS 93862893 HAS SOUS 85748624 HAS SOUPS 85748624 WITH SCORE 8.5842486893E7
AT ITER 1988 NEW BEST:: SOT 865693647 SOS 93857850 HAS SOPS 93857850 HAS SOUS 85743581 HAS SOUPS 85743581 WITH SCORE 8.583743885E7
AT ITER 1995 NEW BEST:: SOT 865693647 SOS 93857850 HAS SOPS 93857850 HAS SOUS 85743545 HAS SOUPS 85743545 WITH SCORE 8.583740285E7
AT ITER 2008 NEW BEST:: SOT 865693647 SOS 93856781 HAS SOPS 93856781 HAS SOUS 85742476 HAS SOUPS 85742476 WITH SCORE 8.5836332781E7
AT ITER 2009 NEW BEST:: SOT 865692108 SOS 93854131 HAS SOPS 93854131 HAS SOUS 85739826 HAS SOUPS 85739826 WITH SCORE 8.5833680131E7
AT ITER 2042 NEW BEST:: SOT 865691123 SOS 93853146 HAS SOPS 93853146 HAS SOUS 85738841 HAS SOUPS 85738841 WITH SCORE 8.5832694146E7
AT ITER 2093 NEW BEST:: SOT 865690082 SOS 93852105 HAS SOPS 93852105 HAS SOUS 85737800 HAS SOUPS 85737800 WITH SCORE 8.5831652105E7
AT ITER 2101 NEW BEST:: SOT 865650834 SOS 95685423 HAS SOPS 95685423 HAS SOUS 85719321 HAS SOUPS 85719321 WITH SCORE 8.5815006423E7
AT ITER 2103 NEW BEST:: SOT 865651430 SOS 95684323 HAS SOPS 95684323 HAS SOUS 85718221 HAS SOUPS 85718221 WITH SCORE 8.5813905323E7
AT ITER 2111 NEW BEST:: SOT 865650824 SOS 95683717 HAS SOPS 95683717 HAS SOUS 85717615 HAS SOUPS 85717615 WITH SCORE 8.5813298717E7
AT ITER 2114 NEW BEST:: SOT 865650824 SOS 95683286 HAS SOPS 95683286 HAS SOUS 85717184 HAS SOUPS 85717184 WITH SCORE 8.5812867286E7
AT ITER 2140 NEW BEST:: SOT 865650432 SOS 95682894 HAS SOPS 95682894 HAS SOUS 85716792 HAS SOUPS 85716792 WITH SCORE 8.5812474894E7
AT ITER 2249 NEW BEST:: SOT 865648784 SOS 95681246 HAS SOPS 95681246 HAS SOUS 85715144 HAS SOUPS 85715144 WITH SCORE 8.5810825246E7
AT ITER 2256 NEW BEST:: SOT 865647684 SOS 95679035 HAS SOPS 95679035 HAS SOUS 85712933 HAS SOUPS 85712933 WITH SCORE 8.5808612035E7
AT ITER 2261 NEW BEST:: SOT 865646663 SOS 95678014 HAS SOPS 95678014 HAS SOUS 85711912 HAS SOUPS 85711912 WITH SCORE 8.5807590014E7
AT ITER 2301 NEW BEST:: SOT 865643797 SOS 95671171 HAS SOPS 95671171 HAS SOUS 85705069 HAS SOUPS 85705069 WITH SCORE 8.5800740171E7
AT ITER 2324 NEW BEST:: SOT 865642697 SOS 95668949 HAS SOPS 95668949 HAS SOUS 85702847 HAS SOUPS 85702847 WITH SCORE 8.5798515949E7
AT ITER 2332 NEW BEST:: SOT 865640743 SOS 95665884 HAS SOPS 95665884 HAS SOUS 85699782 HAS SOUPS 85699782 WITH SCORE 8.5795447884E7
AT ITER 2334 NEW BEST:: SOT 865639137 SOS 95662672 HAS SOPS 95662672 HAS SOUS 85696570 HAS SOUPS 85696570 WITH SCORE 8.5792232672E7
AT ITER 2338 NEW BEST:: SOT 865638394 SOS 95660472 HAS SOPS 95660472 HAS SOUS 85694370 HAS SOUPS 85694370 WITH SCORE 8.5790030472E7
AT ITER 2339 NEW BEST:: SOT 865639674 SOS 95659688 HAS SOPS 95659688 HAS SOUS 85693586 HAS SOUPS 85693586 WITH SCORE 8.5789245688E7
AT ITER 2372 NEW BEST:: SOT 865639674 SOS 95659519 HAS SOPS 95659519 HAS SOUS 85693417 HAS SOUPS 85693417 WITH SCORE 8.5789076519E7
AT ITER 2414 NEW BEST:: SOT 865638039 SOS 95656773 HAS SOPS 95656773 HAS SOUS 85690671 HAS SOUPS 85690671 WITH SCORE 8.5786327773E7
AT ITER 2445 NEW BEST:: SOT 865636920 SOS 95655654 HAS SOPS 95655654 HAS SOUS 85689552 HAS SOUPS 85689552 WITH SCORE 8.5785207654E7
AT ITER 2457 NEW BEST:: SOT 865636920 SOS 95654543 HAS SOPS 95654543 HAS SOUS 85688441 HAS SOUPS 85688441 WITH SCORE 8.5784095543E7
AT ITER 2508 NEW BEST:: SOT 865636120 SOS 95652943 HAS SOPS 95652943 HAS SOUS 85686841 HAS SOUPS 85686841 WITH SCORE 8.5782493943E7
AT ITER 2523 NEW BEST:: SOT 865635020 SOS 95650732 HAS SOPS 95650732 HAS SOUS 85684630 HAS SOUPS 85684630 WITH SCORE 8.5780280732E7
AT ITER 2536 NEW BEST:: SOT 865634144 SOS 95649856 HAS SOPS 95649856 HAS SOUS 85683754 HAS SOUPS 85683754 WITH SCORE 8.5779403856E7
AT ITER 2559 NEW BEST:: SOT 865633361 SOS 95649073 HAS SOPS 95649073 HAS SOUS 85683314 HAS SOUPS 85683314 WITH SCORE 8.5778963073E7
AT ITER 2572 NEW BEST:: SOT 865632855 SOS 95645531 HAS SOPS 95645531 HAS SOUS 85682808 HAS SOUPS 85682808 WITH SCORE 8.5778453531E7
AT ITER 2583 NEW BEST:: SOT 865631744 SOS 95643309 HAS SOPS 95643309 HAS SOUS 85680879 HAS SOUPS 85680879 WITH SCORE 8.5776522309E7
AT ITER 2620 NEW BEST:: SOT 865631744 SOS 95642892 HAS SOPS 95642892 HAS SOUS 85680462 HAS SOUPS 85680462 WITH SCORE 8.5776104892E7
AT ITER 2622 NEW BEST:: SOT 865630424 SOS 95634271 HAS SOPS 95634271 HAS SOUS 85679761 HAS SOUPS 85679761 WITH SCORE 8.5775395271E7
AT ITER 2693 NEW BEST:: SOT 865629324 SOS 95632060 HAS SOPS 95632060 HAS SOUS 85677550 HAS SOUPS 85677550 WITH SCORE 8.577318206E7
AT ITER 2718 NEW BEST:: SOT 865626711 SOS 95626917 HAS SOPS 95626917 HAS SOUS 85672324 HAS SOUPS 85672324 WITH SCORE 8.5767950917E7
AT ITER 2773 NEW BEST:: SOT 865626008 SOS 95624684 HAS SOPS 95624684 HAS SOUS 85670513 HAS SOUPS 85670513 WITH SCORE 8.5766137684E7
AT ITER 2794 NEW BEST:: SOT 865624362 SOS 95623038 HAS SOPS 95623038 HAS SOUS 85668867 HAS SOUPS 85668867 WITH SCORE 8.5764490038E7
AT ITER 2828 NEW BEST:: SOT 865624362 SOS 95622130 HAS SOPS 95622130 HAS SOUS 85667959 HAS SOUPS 85667959 WITH SCORE 8.576358113E7
AT ITER 2845 NEW BEST:: SOT 865622332 SOS 95618989 HAS SOPS 95618989 HAS SOUS 85662788 HAS SOUPS 85662788 WITH SCORE 8.5758406989E7
AT ITER 2864 NEW BEST:: SOT 865623558 SOS 95618097 HAS SOPS 95618097 HAS SOUS 85661896 HAS SOUPS 85661896 WITH SCORE 8.5757514097E7
AT ITER 2999 NEW BEST:: SOT 865622570 SOS 95615897 HAS SOPS 95615897 HAS SOUS 85659696 HAS SOUPS 85659696 WITH SCORE 8.5755311897E7
AT ITER 3000 NEW BEST:: SOT 865621678 SOS 95615005 HAS SOPS 95615005 HAS SOUS 85658804 HAS SOUPS 85658804 WITH SCORE 8.5754419005E7
AT ITER 3019 NEW BEST:: SOT 865620578 SOS 95612794 HAS SOPS 95612794 HAS SOUS 85656593 HAS SOUPS 85656593 WITH SCORE 8.5752205794E7
AT ITER 3028 NEW BEST:: SOT 865620578 SOS 95612061 HAS SOPS 95612061 HAS SOUS 85655860 HAS SOUPS 85655860 WITH SCORE 8.5751472061E7
AT ITER 3050 NEW BEST:: SOT 865618687 SOS 95607168 HAS SOPS 95607168 HAS SOUS 85650967 HAS SOUPS 85650967 WITH SCORE 8.5746574168E7
AT ITER 3085 NEW BEST:: SOT 865618687 SOS 95606570 HAS SOPS 95606570 HAS SOUS 85650369 HAS SOUPS 85650369 WITH SCORE 8.574597557E7
AT ITER 3116 NEW BEST:: SOT 865618687 SOS 95605596 HAS SOPS 95605596 HAS SOUS 85649395 HAS SOUPS 85649395 WITH SCORE 8.5745000596E7
AT ITER 3122 NEW BEST:: SOT 865618299 SOS 95605426 HAS SOPS 95605426 HAS SOUS 85649225 HAS SOUPS 85649225 WITH SCORE 8.5744830426E7
AT ITER 3155 NEW BEST:: SOT 865618299 SOS 95605018 HAS SOPS 95605018 HAS SOUS 85648817 HAS SOUPS 85648817 WITH SCORE 8.5744422018E7
AT ITER 3215 NEW BEST:: SOT 865618299 SOS 95604801 HAS SOPS 95604801 HAS SOUS 85648600 HAS SOUPS 85648600 WITH SCORE 8.5744204801E7
AT ITER 3256 NEW BEST:: SOT 865618299 SOS 95604439 HAS SOPS 95604439 HAS SOUS 85648238 HAS SOUPS 85648238 WITH SCORE 8.5743842439E7
AT ITER 3260 NEW BEST:: SOT 865616445 SOS 95599620 HAS SOPS 95599620 HAS SOUS 85643419 HAS SOUPS 85643419 WITH SCORE 8.573901862E7
AT ITER 3270 NEW BEST:: SOT 865615839 SOS 95598408 HAS SOPS 95598408 HAS SOUS 85642207 HAS SOUPS 85642207 WITH SCORE 8.5737805408E7
AT ITER 3342 NEW BEST:: SOT 865614395 SOS 95596964 HAS SOPS 95596964 HAS SOUS 85640763 HAS SOUPS 85640763 WITH SCORE 8.5736359964E7
AT ITER 3395 NEW BEST:: SOT 865614069 SOS 95596638 HAS SOPS 95596638 HAS SOUS 85640437 HAS SOUPS 85640437 WITH SCORE 8.5736033638E7
AT ITER 3456 NEW BEST:: SOT 865614069 SOS 95596283 HAS SOPS 95596283 HAS SOUS 85640082 HAS SOUPS 85640082 WITH SCORE 8.5735678283E7
AT ITER 3543 NEW BEST:: SOT 865614069 SOS 95596283 HAS SOPS 95596283 HAS SOUS 85640060 HAS SOUPS 85640060 WITH SCORE 8.5735656283E7
AT ITER 3548 NEW BEST:: SOT 865613574 SOS 95595788 HAS SOPS 95595788 HAS SOUS 85639565 HAS SOUPS 85639565 WITH SCORE 8.5735160788E7
AT ITER 3560 NEW BEST:: SOT 865613574 SOS 95594844 HAS SOPS 95594844 HAS SOUS 85638621 HAS SOUPS 85638621 WITH SCORE 8.5734215844E7
AT ITER 3562 NEW BEST:: SOT 865612517 SOS 95592644 HAS SOPS 95592644 HAS SOUS 85636453 HAS SOUPS 85636453 WITH SCORE 8.5732045644E7
AT ITER 3573 NEW BEST:: SOT 865612517 SOS 95592301 HAS SOPS 95592301 HAS SOUS 85636105 HAS SOUPS 85636105 WITH SCORE 8.5731697301E7
AT ITER 3609 NEW BEST:: SOT 865612517 SOS 95591717 HAS SOPS 95591717 HAS SOUS 85635521 HAS SOUPS 85635521 WITH SCORE 8.5731112717E7
AT ITER 3680 NEW BEST:: SOT 865610261 SOS 95586054 HAS SOPS 95586054 HAS SOUS 85629797 HAS SOUPS 85629797 WITH SCORE 8.5725383054E7
AT ITER 3711 NEW BEST:: SOT 865609001 SOS 95584794 HAS SOPS 95584794 HAS SOUS 85628537 HAS SOUPS 85628537 WITH SCORE 8.5724121794E7
AT ITER 3725 NEW BEST:: SOT 865608915 SOS 95583597 HAS SOPS 95583597 HAS SOUS 85627340 HAS SOUPS 85627340 WITH SCORE 8.5722923597E7
AT ITER 3765 NEW BEST:: SOT 865606605 SOS 95577860 HAS SOPS 95577860 HAS SOUS 85621508 HAS SOUPS 85621508 WITH SCORE 8.571708586E7
AT ITER 3814 NEW BEST:: SOT 865605505 SOS 95575638 HAS SOPS 95575638 HAS SOUS 85619286 HAS SOUPS 85619286 WITH SCORE 8.5714861638E7
AT ITER 3830 NEW BEST:: SOT 865604440 SOS 95574573 HAS SOPS 95574573 HAS SOUS 85618217 HAS SOUPS 85618217 WITH SCORE 8.5713791573E7
AT ITER 3886 NEW BEST:: SOT 865602782 SOS 95571268 HAS SOPS 95571268 HAS SOUS 85614901 HAS SOUPS 85614901 WITH SCORE 8.5710472268E7
AT ITER 3919 NEW BEST:: SOT 865602194 SOS 95570680 HAS SOPS 95570680 HAS SOUS 85614313 HAS SOUPS 85614313 WITH SCORE 8.570988368E7
AT ITER 3948 NEW BEST:: SOT 865600871 SOS 95568045 HAS SOPS 95568045 HAS SOUS 85611667 HAS SOUPS 85611667 WITH SCORE 8.5707235045E7
AT ITER 4003 NEW BEST:: SOT 865600265 SOS 95567439 HAS SOPS 95567439 HAS SOUS 85611061 HAS SOUPS 85611061 WITH SCORE 8.5706628439E7
AT ITER 4028 NEW BEST:: SOT 865600265 SOS 95566508 HAS SOPS 95566508 HAS SOUS 85610130 HAS SOUPS 85610130 WITH SCORE 8.5705696508E7
AT ITER 4033 NEW BEST:: SOT 865599165 SOS 95564297 HAS SOPS 95564297 HAS SOUS 85609768 HAS SOUPS 85609768 WITH SCORE 8.5705332297E7
AT ITER 4040 NEW BEST:: SOT 865596881 SOS 95558585 HAS SOPS 95558585 HAS SOUS 85603988 HAS SOUPS 85603988 WITH SCORE 8.5699546585E7
AT ITER 4050 NEW BEST:: SOT 865595516 SOS 95557220 HAS SOPS 95557220 HAS SOUS 85602623 HAS SOUPS 85602623 WITH SCORE 8.569818022E7
AT ITER 4054 NEW BEST:: SOT 865594682 SOS 95556386 HAS SOPS 95556386 HAS SOUS 85601789 HAS SOUPS 85601789 WITH SCORE 8.5697345386E7
AT ITER 4077 NEW BEST:: SOT 865592744 SOS 95552523 HAS SOPS 95552523 HAS SOUS 85597913 HAS SOUPS 85597913 WITH SCORE 8.5693465523E7
AT ITER 4091 NEW BEST:: SOT 865592181 SOS 95551960 HAS SOPS 95551960 HAS SOUS 85597350 HAS SOUPS 85597350 WITH SCORE 8.569290196E7
AT ITER 4121 NEW BEST:: SOT 865592181 SOS 95551374 HAS SOPS 95551374 HAS SOUS 85596764 HAS SOUPS 85596764 WITH SCORE 8.5692315374E7
AT ITER 4126 NEW BEST:: SOT 865591081 SOS 95548783 HAS SOPS 95548783 HAS SOUS 85594173 HAS SOUPS 85594173 WITH SCORE 8.5689721783E7
AT ITER 4135 NEW BEST:: SOT 865591081 SOS 95548382 HAS SOPS 95548382 HAS SOUS 85594167 HAS SOUPS 85594167 WITH SCORE 8.5689715382E7
AT ITER 4168 NEW BEST:: SOT 865587897 SOS 95542371 HAS SOPS 95542371 HAS SOUS 85588121 HAS SOUPS 85588121 WITH SCORE 8.5683663371E7
AT ITER 4173 NEW BEST:: SOT 865586578 SOS 95541052 HAS SOPS 95541052 HAS SOUS 85586802 HAS SOUPS 85586802 WITH SCORE 8.5682343052E7
AT ITER 4194 NEW BEST:: SOT 865584791 SOS 95538154 HAS SOPS 95538154 HAS SOUS 85583904 HAS SOUPS 85583904 WITH SCORE 8.5679442154E7
AT ITER 4216 NEW BEST:: SOT 865583714 SOS 95537548 HAS SOPS 95537548 HAS SOUS 85583294 HAS SOUPS 85583294 WITH SCORE 8.5678831548E7
AT ITER 4243 NEW BEST:: SOT 865581787 SOS 95534510 HAS SOPS 95534510 HAS SOUS 85580256 HAS SOUPS 85580256 WITH SCORE 8.567579051E7
AT ITER 4286 NEW BEST:: SOT 865582932 SOS 95533456 HAS SOPS 95533456 HAS SOUS 85579202 HAS SOUPS 85579202 WITH SCORE 8.5674735456E7
AT ITER 4299 NEW BEST:: SOT 865581832 SOS 95531234 HAS SOPS 95531234 HAS SOUS 85576980 HAS SOUPS 85576980 WITH SCORE 8.5672511234E7
AT ITER 4317 NEW BEST:: SOT 865581832 SOS 95530353 HAS SOPS 95530353 HAS SOUS 85576099 HAS SOUPS 85576099 WITH SCORE 8.5671629353E7
AT ITER 4322 NEW BEST:: SOT 865580807 SOS 95528303 HAS SOPS 95528303 HAS SOUS 85574049 HAS SOUPS 85574049 WITH SCORE 8.5669577303E7
AT ITER 4324 NEW BEST:: SOT 865578835 SOS 95525220 HAS SOPS 95525220 HAS SOUS 85570966 HAS SOUPS 85570966 WITH SCORE 8.566649122E7
AT ITER 4327 NEW BEST:: SOT 865578320 SOS 95521686 HAS SOPS 95521686 HAS SOUS 85570460 HAS SOUPS 85570460 WITH SCORE 8.5665981686E7
AT ITER 4336 NEW BEST:: SOT 865577468 SOS 95520834 HAS SOPS 95520834 HAS SOUS 85569608 HAS SOUPS 85569608 WITH SCORE 8.5665128834E7
AT ITER 4345 NEW BEST:: SOT 865576502 SOS 95518634 HAS SOPS 95518634 HAS SOUS 85567533 HAS SOUPS 85567533 WITH SCORE 8.5663051634E7
AT ITER 4398 NEW BEST:: SOT 865575868 SOS 95517366 HAS SOPS 95517366 HAS SOUS 85566265 HAS SOUPS 85566265 WITH SCORE 8.5661782366E7
AT ITER 4421 NEW BEST:: SOT 865575868 SOS 95517366 HAS SOPS 95517366 HAS SOUS 85565651 HAS SOUPS 85565651 WITH SCORE 8.5661168366E7
AT ITER 4426 NEW BEST:: SOT 865574744 SOS 95515118 HAS SOPS 95515118 HAS SOUS 85563403 HAS SOUPS 85563403 WITH SCORE 8.5658918118E7
AT ITER 4438 NEW BEST:: SOT 865573381 SOS 95513755 HAS SOPS 95513755 HAS SOUS 85562040 HAS SOUPS 85562040 WITH SCORE 8.5657553755E7
AT ITER 4466 NEW BEST:: SOT 865571404 SOS 95510667 HAS SOPS 95510667 HAS SOUS 85558952 HAS SOUPS 85558952 WITH SCORE 8.5654462667E7
AT ITER 4530 NEW BEST:: SOT 865570751 SOS 95510014 HAS SOPS 95510014 HAS SOUS 85557646 HAS SOUPS 85557646 WITH SCORE 8.5653156014E7
AT ITER 4533 NEW BEST:: SOT 865568992 SOS 95505385 HAS SOPS 95505385 HAS SOUS 85553017 HAS SOUPS 85553017 WITH SCORE 8.5648522385E7
AT ITER 4545 NEW BEST:: SOT 865567892 SOS 95503174 HAS SOPS 95503174 HAS SOUS 85550806 HAS SOUPS 85550806 WITH SCORE 8.5646309174E7
AT ITER 4601 NEW BEST:: SOT 865566556 SOS 95500502 HAS SOPS 95500502 HAS SOUS 85548134 HAS SOUPS 85548134 WITH SCORE 8.5643634502E7
AT ITER 4607 NEW BEST:: SOT 865565300 SOS 95497990 HAS SOPS 95497990 HAS SOUS 85546878 HAS SOUPS 85546878 WITH SCORE 8.564237599E7
AT ITER 4654 NEW BEST:: SOT 865562744 SOS 95491767 HAS SOPS 95491767 HAS SOUS 85540655 HAS SOUPS 85540655 WITH SCORE 8.5636146767E7
AT ITER 4704 NEW BEST:: SOT 865562488 SOS 95490649 HAS SOPS 95490649 HAS SOUS 85540298 HAS SOUPS 85540298 WITH SCORE 8.5635788649E7
AT ITER 4746 NEW BEST:: SOT 865561603 SOS 95488879 HAS SOPS 95488879 HAS SOUS 85538528 HAS SOUPS 85538528 WITH SCORE 8.5634016879E7
AT ITER 4753 NEW BEST:: SOT 865561168 SOS 95488615 HAS SOPS 95488615 HAS SOUS 85538264 HAS SOUPS 85538264 WITH SCORE 8.5633752615E7
AT ITER 4754 NEW BEST:: SOT 865560187 SOS 95487259 HAS SOPS 95487259 HAS SOUS 85536908 HAS SOUPS 85536908 WITH SCORE 8.5632395259E7
AT ITER 4768 NEW BEST:: SOT 865559210 SOS 95485341 HAS SOPS 95485341 HAS SOUS 85534954 HAS SOUPS 85534954 WITH SCORE 8.5630439341E7
AT ITER 4861 NEW BEST:: SOT 865559210 SOS 95484937 HAS SOPS 95484937 HAS SOUS 85534550 HAS SOUPS 85534550 WITH SCORE 8.5630034937E7
AT ITER 4928 NEW BEST:: SOT 865558110 SOS 95482726 HAS SOPS 95482726 HAS SOUS 85532339 HAS SOUPS 85532339 WITH SCORE 8.5627821726E7
AT ITER 4983 NEW BEST:: SOT 865557010 SOS 95480504 HAS SOPS 95480504 HAS SOUS 85530117 HAS SOUPS 85530117 WITH SCORE 8.5625597504E7
AT ITER 4994 NEW BEST:: SOT 865557010 SOS 95479770 HAS SOPS 95479770 HAS SOUS 85529383 HAS SOUPS 85529383 WITH SCORE 8.562486277E7
AT ITER 5043 NEW BEST:: SOT 865555854 SOS 95478614 HAS SOPS 95478614 HAS SOUS 85527071 HAS SOUPS 85527071 WITH SCORE 8.5622549614E7
AT ITER 5051 NEW BEST:: SOT 865554995 SOS 95477755 HAS SOPS 95477755 HAS SOUS 85526212 HAS SOUPS 85526212 WITH SCORE 8.5621689755E7
AT ITER 5130 NEW BEST:: SOT 865554269 SOS 95476303 HAS SOPS 95476303 HAS SOUS 85524760 HAS SOUPS 85524760 WITH SCORE 8.5620236303E7
AT ITER 5157 NEW BEST:: SOT 865554269 SOS 95476303 HAS SOPS 95476303 HAS SOUS 85524230 HAS SOUPS 85524230 WITH SCORE 8.5619706303E7
AT ITER 5193 NEW BEST:: SOT 865553605 SOS 95474975 HAS SOPS 95474975 HAS SOUS 85522902 HAS SOUPS 85522902 WITH SCORE 8.5618376975E7
AT ITER 5196 NEW BEST:: SOT 865553932 SOS 95473501 HAS SOPS 95473501 HAS SOUS 85521428 HAS SOUPS 85521428 WITH SCORE 8.5616901501E7
AT ITER 5231 NEW BEST:: SOT 865552832 SOS 95471279 HAS SOPS 95471279 HAS SOUS 85519206 HAS SOUPS 85519206 WITH SCORE 8.5614677279E7
AT ITER 5232 NEW BEST:: SOT 865552832 SOS 95471024 HAS SOPS 95471024 HAS SOUS 85518951 HAS SOUPS 85518951 WITH SCORE 8.5614422024E7
AT ITER 5238 NEW BEST:: SOT 865550360 SOS 95464969 HAS SOPS 95464969 HAS SOUS 85512896 HAS SOUPS 85512896 WITH SCORE 8.5608360969E7
AT ITER 5273 NEW BEST:: SOT 865550360 SOS 95464448 HAS SOPS 95464448 HAS SOUS 85512375 HAS SOUPS 85512375 WITH SCORE 8.5607839448E7
AT ITER 5276 NEW BEST:: SOT 865549144 SOS 95463842 HAS SOPS 95463842 HAS SOUS 85511759 HAS SOUPS 85511759 WITH SCORE 8.5607222842E7
AT ITER 5293 NEW BEST:: SOT 865549144 SOS 95462947 HAS SOPS 95462947 HAS SOUS 85510864 HAS SOUPS 85510864 WITH SCORE 8.5606326947E7
AT ITER 5356 NEW BEST:: SOT 865549052 SOS 95462763 HAS SOPS 95462763 HAS SOUS 85510680 HAS SOUPS 85510680 WITH SCORE 8.5606142763E7
AT ITER 5360 NEW BEST:: SOT 865548446 SOS 95461551 HAS SOPS 95461551 HAS SOUS 85509468 HAS SOUPS 85509468 WITH SCORE 8.5604929551E7
AT ITER 5374 NEW BEST:: SOT 865547850 SOS 95460955 HAS SOPS 95460955 HAS SOUS 85508872 HAS SOUPS 85508872 WITH SCORE 8.5604332955E7
AT ITER 5400 NEW BEST:: SOT 865547850 SOS 95459851 HAS SOPS 95459851 HAS SOUS 85507768 HAS SOUPS 85507768 WITH SCORE 8.5603227851E7
AT ITER 5424 NEW BEST:: SOT 865547080 SOS 95459081 HAS SOPS 95459081 HAS SOUS 85506998 HAS SOUPS 85506998 WITH SCORE 8.5602457081E7
AT ITER 5444 NEW BEST:: SOT 865544254 SOS 95459900 HAS SOPS 95459900 HAS SOUS 85504782 HAS SOUPS 85504782 WITH SCORE 8.56002419E7
AT ITER 5486 NEW BEST:: SOT 865543350 SOS 95458996 HAS SOPS 95458996 HAS SOUS 85503878 HAS SOUPS 85503878 WITH SCORE 8.5599336996E7
AT ITER 5510 NEW BEST:: SOT 865543350 SOS 95458246 HAS SOPS 95458246 HAS SOUS 85503128 HAS SOUPS 85503128 WITH SCORE 8.5598586246E7
AT ITER 5542 NEW BEST:: SOT 865542827 SOS 95457806 HAS SOPS 95457806 HAS SOUS 85502688 HAS SOUPS 85502688 WITH SCORE 8.5598145806E7
AT ITER 5543 NEW BEST:: SOT 865541727 SOS 95455584 HAS SOPS 95455584 HAS SOUS 85500466 HAS SOUPS 85500466 WITH SCORE 8.5595921584E7
AT ITER 5617 NEW BEST:: SOT 865540837 SOS 95454694 HAS SOPS 95454694 HAS SOUS 85499576 HAS SOUPS 85499576 WITH SCORE 8.5595030694E7
AT ITER 5644 NEW BEST:: SOT 865540837 SOS 95453656 HAS SOPS 95453656 HAS SOUS 85498538 HAS SOUPS 85498538 WITH SCORE 8.5593991656E7
AT ITER 5664 NEW BEST:: SOT 865540837 SOS 95453138 HAS SOPS 95453138 HAS SOUS 85498017 HAS SOUPS 85498017 WITH SCORE 8.5593470138E7
AT ITER 5676 NEW BEST:: SOT 865540837 SOS 95452111 HAS SOPS 95452111 HAS SOUS 85496990 HAS SOUPS 85496990 WITH SCORE 8.5592442111E7
AT ITER 5711 NEW BEST:: SOT 865539613 SOS 95450887 HAS SOPS 95450887 HAS SOUS 85495766 HAS SOUPS 85495766 WITH SCORE 8.5591216887E7
AT ITER 5728 NEW BEST:: SOT 865539613 SOS 95450073 HAS SOPS 95450073 HAS SOUS 85494952 HAS SOUPS 85494952 WITH SCORE 8.5590402073E7
AT ITER 5750 NEW BEST:: SOT 865538513 SOS 95447862 HAS SOPS 95447862 HAS SOUS 85493996 HAS SOUPS 85493996 WITH SCORE 8.5589443862E7
AT ITER 5785 NEW BEST:: SOT 865537413 SOS 95445640 HAS SOPS 95445640 HAS SOUS 85491774 HAS SOUPS 85491774 WITH SCORE 8.558721964E7
AT ITER 5809 NEW BEST:: SOT 865537413 SOS 95444883 HAS SOPS 95444883 HAS SOUS 85491017 HAS SOUPS 85491017 WITH SCORE 8.5586461883E7
AT ITER 5817 NEW BEST:: SOT 865537192 SOS 95444441 HAS SOPS 95444441 HAS SOUS 85490575 HAS SOUPS 85490575 WITH SCORE 8.5586019441E7
AT ITER 5922 NEW BEST:: SOT 865536132 SOS 95443381 HAS SOPS 95443381 HAS SOUS 85489515 HAS SOUPS 85489515 WITH SCORE 8.5584958381E7
AT ITER 5956 NEW BEST:: SOT 865535599 SOS 95442848 HAS SOPS 95442848 HAS SOUS 85488982 HAS SOUPS 85488982 WITH SCORE 8.5584424848E7
AT ITER 5979 NEW BEST:: SOT 865535169 SOS 95441988 HAS SOPS 95441988 HAS SOUS 85488122 HAS SOUPS 85488122 WITH SCORE 8.5583563988E7
AT ITER 5989 NEW BEST:: SOT 865535169 SOS 95441428 HAS SOPS 95441428 HAS SOUS 85487562 HAS SOUPS 85487562 WITH SCORE 8.5583003428E7
AT ITER 6000 NEW BEST:: SOT 865533044 SOS 95438192 HAS SOPS 95438192 HAS SOUS 85484326 HAS SOUPS 85484326 WITH SCORE 8.5579764192E7
AT ITER 6059 NEW BEST:: SOT 865531944 SOS 95435970 HAS SOPS 95435970 HAS SOUS 85482104 HAS SOUPS 85482104 WITH SCORE 8.557753997E7
AT ITER 6131 NEW BEST:: SOT 865530956 SOS 95433994 HAS SOPS 95433994 HAS SOUS 85480128 HAS SOUPS 85480128 WITH SCORE 8.5575561994E7
AT ITER 6159 NEW BEST:: SOT 865528956 SOS 95430883 HAS SOPS 95430883 HAS SOUS 85477017 HAS SOUPS 85477017 WITH SCORE 8.5572447883E7
AT ITER 6190 NEW BEST:: SOT 865530136 SOS 95429899 HAS SOPS 95429899 HAS SOUS 85476033 HAS SOUPS 85476033 WITH SCORE 8.5571462899E7
AT ITER 6195 NEW BEST:: SOT 865527970 SOS 95430831 HAS SOPS 95430831 HAS SOUS 85474774 HAS SOUPS 85474774 WITH SCORE 8.5570204831E7
AT ITER 6199 NEW BEST:: SOT 865527970 SOS 95430254 HAS SOPS 95430254 HAS SOUS 85474197 HAS SOUPS 85474197 WITH SCORE 8.5569627254E7
AT ITER 6219 NEW BEST:: SOT 865526736 SOS 95429020 HAS SOPS 95429020 HAS SOUS 85472963 HAS SOUPS 85472963 WITH SCORE 8.556839202E7
AT ITER 6220 NEW BEST:: SOT 865524999 SOS 95426172 HAS SOPS 95426172 HAS SOUS 85470115 HAS SOUPS 85470115 WITH SCORE 8.5565541172E7
AT ITER 6253 NEW BEST:: SOT 865524999 SOS 95425608 HAS SOPS 95425608 HAS SOUS 85469551 HAS SOUPS 85469551 WITH SCORE 8.5564976608E7
AT ITER 6259 NEW BEST:: SOT 865525348 SOS 95422236 HAS SOPS 95422236 HAS SOUS 85469194 HAS SOUPS 85469194 WITH SCORE 8.5564616236E7
AT ITER 6264 NEW BEST:: SOT 865523198 SOS 95418975 HAS SOPS 95418975 HAS SOUS 85465933 HAS SOUPS 85465933 WITH SCORE 8.5561351975E7
AT ITER 6311 NEW BEST:: SOT 865523198 SOS 95418238 HAS SOPS 95418238 HAS SOUS 85465196 HAS SOUPS 85465196 WITH SCORE 8.5560614238E7
AT ITER 6313 NEW BEST:: SOT 865522098 SOS 95416027 HAS SOPS 95416027 HAS SOUS 85462985 HAS SOUPS 85462985 WITH SCORE 8.5558401027E7
AT ITER 6337 NEW BEST:: SOT 865521167 SOS 95413985 HAS SOPS 95413985 HAS SOUS 85460943 HAS SOUPS 85460943 WITH SCORE 8.5556356985E7
AT ITER 6370 NEW BEST:: SOT 865519727 SOS 95411434 HAS SOPS 95411434 HAS SOUS 85458392 HAS SOUPS 85458392 WITH SCORE 8.5553803434E7
AT ITER 6376 NEW BEST:: SOT 865518148 SOS 95408744 HAS SOPS 95408744 HAS SOUS 85455702 HAS SOUPS 85455702 WITH SCORE 8.5551110744E7
AT ITER 6377 NEW BEST:: SOT 865514768 SOS 95405702 HAS SOPS 95405702 HAS SOUS 85452651 HAS SOUPS 85452651 WITH SCORE 8.5548056702E7
AT ITER 6398 NEW BEST:: SOT 865514768 SOS 95405069 HAS SOPS 95405069 HAS SOUS 85452018 HAS SOUPS 85452018 WITH SCORE 8.5547423069E7
AT ITER 6417 NEW BEST:: SOT 865512573 SOS 95401763 HAS SOPS 95401763 HAS SOUS 85448712 HAS SOUPS 85448712 WITH SCORE 8.5544113763E7
AT ITER 6427 NEW BEST:: SOT 865511831 SOS 95401021 HAS SOPS 95401021 HAS SOUS 85447970 HAS SOUPS 85447970 WITH SCORE 8.5543371021E7
AT ITER 6456 NEW BEST:: SOT 865511831 SOS 95399945 HAS SOPS 95399945 HAS SOUS 85446894 HAS SOUPS 85446894 WITH SCORE 8.5542293945E7
AT ITER 6467 NEW BEST:: SOT 865511529 SOS 95369303 HAS SOPS 95369303 HAS SOUS 85446592 HAS SOUPS 85446592 WITH SCORE 8.5541961303E7
AT ITER 6552 NEW BEST:: SOT 865510494 SOS 95368268 HAS SOPS 95368268 HAS SOUS 85445557 HAS SOUPS 85445557 WITH SCORE 8.5540925268E7
AT ITER 6556 NEW BEST:: SOT 865508201 SOS 95363682 HAS SOPS 95363682 HAS SOUS 85440971 HAS SOUPS 85440971 WITH SCORE 8.5536334682E7
AT ITER 6560 NEW BEST:: SOT 865508201 SOS 95363320 HAS SOPS 95363320 HAS SOUS 85440609 HAS SOUPS 85440609 WITH SCORE 8.553597232E7
AT ITER 6574 NEW BEST:: SOT 865508201 SOS 95362511 HAS SOPS 95362511 HAS SOUS 85439800 HAS SOUPS 85439800 WITH SCORE 8.5535162511E7
AT ITER 6593 NEW BEST:: SOT 865508201 SOS 95361914 HAS SOPS 95361914 HAS SOUS 85439203 HAS SOUPS 85439203 WITH SCORE 8.5534564914E7
AT ITER 6619 NEW BEST:: SOT 865507734 SOS 95359676 HAS SOPS 95359676 HAS SOUS 85437628 HAS SOUPS 85437628 WITH SCORE 8.5532987676E7
AT ITER 6691 NEW BEST:: SOT 865507734 SOS 95359165 HAS SOPS 95359165 HAS SOUS 85437115 HAS SOUPS 85437115 WITH SCORE 8.5532474165E7
AT ITER 6740 NEW BEST:: SOT 865505581 SOS 95358196 HAS SOPS 95358196 HAS SOUS 85432809 HAS SOUPS 85432809 WITH SCORE 8.5528167196E7
AT ITER 6753 NEW BEST:: SOT 865505124 SOS 95356617 HAS SOPS 95356617 HAS SOUS 85431230 HAS SOUPS 85431230 WITH SCORE 8.5526586617E7
AT ITER 6771 NEW BEST:: SOT 865503769 SOS 95355262 HAS SOPS 95355262 HAS SOUS 85429875 HAS SOUPS 85429875 WITH SCORE 8.5525230262E7
AT ITER 6778 NEW BEST:: SOT 865502842 SOS 95355262 HAS SOPS 95355262 HAS SOUS 85428948 HAS SOUPS 85428948 WITH SCORE 8.5524303262E7
AT ITER 6818 NEW BEST:: SOT 865502842 SOS 95354227 HAS SOPS 95354227 HAS SOUS 85427913 HAS SOUPS 85427913 WITH SCORE 8.5523267227E7
AT ITER 6834 NEW BEST:: SOT 865502213 SOS 95353598 HAS SOPS 95353598 HAS SOUS 85427284 HAS SOUPS 85427284 WITH SCORE 8.5522637598E7
AT ITER 6853 NEW BEST:: SOT 865502213 SOS 95352694 HAS SOPS 95352694 HAS SOUS 85426380 HAS SOUPS 85426380 WITH SCORE 8.5521732694E7
AT ITER 6893 NEW BEST:: SOT 865501648 SOS 95351564 HAS SOPS 95351564 HAS SOUS 85425250 HAS SOUPS 85425250 WITH SCORE 8.5520601564E7
AT ITER 6895 NEW BEST:: SOT 865498304 SOS 94442243 HAS SOPS 94442243 HAS SOUS 85416329 HAS SOUPS 85416329 WITH SCORE 8.5510771243E7
AT ITER 6900 NEW BEST:: SOT 865498004 SOS 94441643 HAS SOPS 94441643 HAS SOUS 85415729 HAS SOUPS 85415729 WITH SCORE 8.5510170643E7
AT ITER 6913 NEW BEST:: SOT 865496883 SOS 94439411 HAS SOPS 94439411 HAS SOUS 85415602 HAS SOUPS 85415602 WITH SCORE 8.5510041411E7
AT ITER 6924 NEW BEST:: SOT 865496653 SOS 94439181 HAS SOPS 94439181 HAS SOUS 85415372 HAS SOUPS 85415372 WITH SCORE 8.5509811181E7
AT ITER 6970 NEW BEST:: SOT 865496653 SOS 94438934 HAS SOPS 94438934 HAS SOUS 85415125 HAS SOUPS 85415125 WITH SCORE 8.5509563934E7
AT ITER 6987 NEW BEST:: SOT 865496653 SOS 94438061 HAS SOPS 94438061 HAS SOUS 85414252 HAS SOUPS 85414252 WITH SCORE 8.5508690061E7
AT ITER 7026 NEW BEST:: SOT 865495032 SOS 94435329 HAS SOPS 94435329 HAS SOUS 85411520 HAS SOUPS 85411520 WITH SCORE 8.5505955329E7
AT ITER 7060 NEW BEST:: SOT 865495032 SOS 94434842 HAS SOPS 94434842 HAS SOUS 85411033 HAS SOUPS 85411033 WITH SCORE 8.5505467842E7
AT ITER 7081 NEW BEST:: SOT 865495032 SOS 94433788 HAS SOPS 94433788 HAS SOUS 85409979 HAS SOUPS 85409979 WITH SCORE 8.5504412788E7
AT ITER 7091 NEW BEST:: SOT 865492944 SOS 94430589 HAS SOPS 94430589 HAS SOUS 85406780 HAS SOUPS 85406780 WITH SCORE 8.5501210589E7
AT ITER 7118 NEW BEST:: SOT 865491936 SOS 94429581 HAS SOPS 94429581 HAS SOUS 85405911 HAS SOUPS 85405911 WITH SCORE 8.5500340581E7
AT ITER 7124 NEW BEST:: SOT 865491936 SOS 94422321 HAS SOPS 94422321 HAS SOUS 85405911 HAS SOUPS 85405911 WITH SCORE 8.5500333321E7
AT ITER 7154 NEW BEST:: SOT 865489732 SOS 94416802 HAS SOPS 94416802 HAS SOUS 85400392 HAS SOUPS 85400392 WITH SCORE 8.5494808802E7
AT ITER 7163 NEW BEST:: SOT 865487629 SOS 94413588 HAS SOPS 94413588 HAS SOUS 85397178 HAS SOUPS 85397178 WITH SCORE 8.5491591588E7
AT ITER 7195 NEW BEST:: SOT 865485170 SOS 94407559 HAS SOPS 94407559 HAS SOUS 85391149 HAS SOUPS 85391149 WITH SCORE 8.5485556559E7
AT ITER 7218 NEW BEST:: SOT 865485170 SOS 94407376 HAS SOPS 94407376 HAS SOUS 85391145 HAS SOUPS 85391145 WITH SCORE 8.5485552376E7
AT ITER 7232 NEW BEST:: SOT 865485170 SOS 94406387 HAS SOPS 94406387 HAS SOUS 85390156 HAS SOUPS 85390156 WITH SCORE 8.5484562387E7
AT ITER 7251 NEW BEST:: SOT 865483389 SOS 94402825 HAS SOPS 94402825 HAS SOUS 85386594 HAS SOUPS 85386594 WITH SCORE 8.5480996825E7
AT ITER 7295 NEW BEST:: SOT 865483389 SOS 94402413 HAS SOPS 94402413 HAS SOUS 85386182 HAS SOUPS 85386182 WITH SCORE 8.5480584413E7
AT ITER 7344 NEW BEST:: SOT 865482945 SOS 94400162 HAS SOPS 94400162 HAS SOUS 85383489 HAS SOUPS 85383489 WITH SCORE 8.5477889162E7
AT ITER 7346 NEW BEST:: SOT 865481845 SOS 94397951 HAS SOPS 94397951 HAS SOUS 85381278 HAS SOUPS 85381278 WITH SCORE 8.5475675951E7
AT ITER 7350 NEW BEST:: SOT 865421940 SOS 94392024 HAS SOPS 94392024 HAS SOUS 85323886 HAS SOUPS 85323886 WITH SCORE 8.5418278024E7
AT ITER 7362 NEW BEST:: SOT 865421494 SOS 94391578 HAS SOPS 94391578 HAS SOUS 85323440 HAS SOUPS 85323440 WITH SCORE 8.5417831578E7
AT ITER 7406 NEW BEST:: SOT 865421494 SOS 94390976 HAS SOPS 94390976 HAS SOUS 85322838 HAS SOUPS 85322838 WITH SCORE 8.5417228976E7
AT ITER 7412 NEW BEST:: SOT 865420093 SOS 94388464 HAS SOPS 94388464 HAS SOUS 85318925 HAS SOUPS 85318925 WITH SCORE 8.5413313464E7
AT ITER 7489 NEW BEST:: SOT 865418993 SOS 94386253 HAS SOPS 94386253 HAS SOUS 85316714 HAS SOUPS 85316714 WITH SCORE 8.5411100253E7
AT ITER 7501 NEW BEST:: SOT 865417473 SOS 94383622 HAS SOPS 94383622 HAS SOUS 85314083 HAS SOUPS 85314083 WITH SCORE 8.5408466622E7
AT ITER 7514 NEW BEST:: SOT 865415997 SOS 94382146 HAS SOPS 94382146 HAS SOUS 85312607 HAS SOUPS 85312607 WITH SCORE 8.5406989146E7
AT ITER 7640 NEW BEST:: SOT 865414105 SOS 94378372 HAS SOPS 94378372 HAS SOUS 85308823 HAS SOUPS 85308823 WITH SCORE 8.5403201372E7
AT ITER 7697 NEW BEST:: SOT 865411352 SOS 94371755 HAS SOPS 94371755 HAS SOUS 85302206 HAS SOUPS 85302206 WITH SCORE 8.5396577755E7
AT ITER 7717 NEW BEST:: SOT 865410361 SOS 94371045 HAS SOPS 94371045 HAS SOUS 85301492 HAS SOUPS 85301492 WITH SCORE 8.5395863045E7
AT ITER 7737 NEW BEST:: SOT 865410361 SOS 94370662 HAS SOPS 94370662 HAS SOUS 85301109 HAS SOUPS 85301109 WITH SCORE 8.5395479662E7
AT ITER 7747 NEW BEST:: SOT 865410134 SOS 94370435 HAS SOPS 94370435 HAS SOUS 85300882 HAS SOUPS 85300882 WITH SCORE 8.5395252435E7
AT ITER 7759 NEW BEST:: SOT 865410134 SOS 94369425 HAS SOPS 94369425 HAS SOUS 85299872 HAS SOUPS 85299872 WITH SCORE 8.5394241425E7
AT ITER 7762 NEW BEST:: SOT 865410134 SOS 94368592 HAS SOPS 94368592 HAS SOUS 85299039 HAS SOUPS 85299039 WITH SCORE 8.5393407592E7
AT ITER 7790 NEW BEST:: SOT 865410903 SOS 94367492 HAS SOPS 94367492 HAS SOUS 85297939 HAS SOUPS 85297939 WITH SCORE 8.5392306492E7
AT ITER 7810 NEW BEST:: SOT 865410903 SOS 94367010 HAS SOPS 94367010 HAS SOUS 85297457 HAS SOUPS 85297457 WITH SCORE 8.539182401E7
AT ITER 7811 NEW BEST:: SOT 865410303 SOS 94364768 HAS SOPS 94364768 HAS SOUS 85295753 HAS SOUPS 85295753 WITH SCORE 8.5390117768E7
AT ITER 7823 NEW BEST:: SOT 865407997 SOS 94359045 HAS SOPS 94359045 HAS SOUS 85290030 HAS SOUPS 85290030 WITH SCORE 8.5384389045E7
AT ITER 7857 NEW BEST:: SOT 865406204 SOS 94356141 HAS SOPS 94356141 HAS SOUS 85287126 HAS SOUPS 85287126 WITH SCORE 8.5381482141E7
AT ITER 7967 NEW BEST:: SOT 865406204 SOS 94355230 HAS SOPS 94355230 HAS SOUS 85286215 HAS SOUPS 85286215 WITH SCORE 8.538057023E7
AT ITER 7970 NEW BEST:: SOT 865405059 SOS 94353226 HAS SOPS 94353226 HAS SOUS 85284211 HAS SOUPS 85284211 WITH SCORE 8.5378564226E7
AT ITER 8054 NEW BEST:: SOT 865403522 SOS 94348615 HAS SOPS 94348615 HAS SOUS 85281137 HAS SOUPS 85281137 WITH SCORE 8.5375485615E7
AT ITER 8133 NEW BEST:: SOT 865402474 SOS 94346519 HAS SOPS 94346519 HAS SOUS 85279041 HAS SOUPS 85279041 WITH SCORE 8.5373387519E7
AT ITER 8136 NEW BEST:: SOT 865401374 SOS 94344308 HAS SOPS 94344308 HAS SOUS 85277369 HAS SOUPS 85277369 WITH SCORE 8.5371713308E7
AT ITER 8153 NEW BEST:: SOT 865401676 SOS 94343208 HAS SOPS 94343208 HAS SOUS 85276269 HAS SOUPS 85276269 WITH SCORE 8.5370612208E7
AT ITER 8263 NEW BEST:: SOT 865401676 SOS 94331504 HAS SOPS 94331504 HAS SOUS 85276269 HAS SOUPS 85276269 WITH SCORE 8.5370600504E7
AT ITER 8291 NEW BEST:: SOT 865400970 SOS 94330798 HAS SOPS 94330798 HAS SOUS 85275563 HAS SOUPS 85275563 WITH SCORE 8.5369893798E7
AT ITER 8309 NEW BEST:: SOT 865400970 SOS 94330158 HAS SOPS 94330158 HAS SOUS 85274923 HAS SOUPS 85274923 WITH SCORE 8.5369253158E7
AT ITER 8338 NEW BEST:: SOT 865400970 SOS 94329357 HAS SOPS 94329357 HAS SOUS 85274122 HAS SOUPS 85274122 WITH SCORE 8.5368451357E7
AT ITER 8354 NEW BEST:: SOT 865400970 SOS 94328286 HAS SOPS 94328286 HAS SOUS 85274122 HAS SOUPS 85274122 WITH SCORE 8.5368450286E7
AT ITER 8400 NEW BEST:: SOT 865400551 SOS 94327867 HAS SOPS 94327867 HAS SOUS 85273703 HAS SOUPS 85273703 WITH SCORE 8.5368030867E7
AT ITER 8409 NEW BEST:: SOT 865398370 SOS 94324575 HAS SOPS 94324575 HAS SOUS 85270411 HAS SOUPS 85270411 WITH SCORE 8.5364735575E7
AT ITER 8416 NEW BEST:: SOT 865397270 SOS 94322364 HAS SOPS 94322364 HAS SOUS 85268200 HAS SOUPS 85268200 WITH SCORE 8.5362522364E7
AT ITER 8430 NEW BEST:: SOT 865396058 SOS 94319940 HAS SOPS 94319940 HAS SOUS 85265776 HAS SOUPS 85265776 WITH SCORE 8.536009594E7
AT ITER 8499 NEW BEST:: SOT 865395958 SOS 94319362 HAS SOPS 94319362 HAS SOUS 85265675 HAS SOUPS 85265675 WITH SCORE 8.5359994362E7
AT ITER 8518 NEW BEST:: SOT 865396995 SOS 94318262 HAS SOPS 94318262 HAS SOUS 85264575 HAS SOUPS 85264575 WITH SCORE 8.5358893262E7
AT ITER 8579 NEW BEST:: SOT 865394872 SOS 94315028 HAS SOPS 94315028 HAS SOUS 85261341 HAS SOUPS 85261341 WITH SCORE 8.5355656028E7
AT ITER 8586 NEW BEST:: SOT 865394227 SOS 94314383 HAS SOPS 94314383 HAS SOUS 85260696 HAS SOUPS 85260696 WITH SCORE 8.5355010383E7
AT ITER 8609 NEW BEST:: SOT 865392626 SOS 94309580 HAS SOPS 94309580 HAS SOUS 85257494 HAS SOUPS 85257494 WITH SCORE 8.535180358E7
AT ITER 8681 NEW BEST:: SOT 865392626 SOS 94308630 HAS SOPS 94308630 HAS SOUS 85256544 HAS SOUPS 85256544 WITH SCORE 8.535085263E7
AT ITER 8690 NEW BEST:: SOT 865392223 SOS 94308227 HAS SOPS 94308227 HAS SOUS 85256141 HAS SOUPS 85256141 WITH SCORE 8.5350449227E7
AT ITER 8729 NEW BEST:: SOT 865392223 SOS 94307231 HAS SOPS 94307231 HAS SOUS 85255145 HAS SOUPS 85255145 WITH SCORE 8.5349452231E7
AT ITER 8768 NEW BEST:: SOT 865392766 SOS 94306663 HAS SOPS 94306663 HAS SOUS 85254577 HAS SOUPS 85254577 WITH SCORE 8.5348883663E7
AT ITER 8877 NEW BEST:: SOT 865391125 SOS 94302270 HAS SOPS 94302270 HAS SOUS 85250184 HAS SOUPS 85250184 WITH SCORE 8.534448627E7
AT ITER 8937 NEW BEST:: SOT 865389926 SOS 94299872 HAS SOPS 94299872 HAS SOUS 85247786 HAS SOUPS 85247786 WITH SCORE 8.5342085872E7
AT ITER 8953 NEW BEST:: SOT 865389557 SOS 94299503 HAS SOPS 94299503 HAS SOUS 85247417 HAS SOUPS 85247417 WITH SCORE 8.5341716503E7
AT ITER 8965 NEW BEST:: SOT 865389557 SOS 94299036 HAS SOPS 94299036 HAS SOUS 85246945 HAS SOUPS 85246945 WITH SCORE 8.5341244036E7
AT ITER 8969 NEW BEST:: SOT 865389557 SOS 94298705 HAS SOPS 94298705 HAS SOUS 85246614 HAS SOUPS 85246614 WITH SCORE 8.5340912705E7
AT ITER 8980 NEW BEST:: SOT 865389557 SOS 94298130 HAS SOPS 94298130 HAS SOUS 85246039 HAS SOUPS 85246039 WITH SCORE 8.534033713E7
AT ITER 8998 NEW BEST:: SOT 865389557 SOS 94297024 HAS SOPS 94297024 HAS SOUS 85244933 HAS SOUPS 85244933 WITH SCORE 8.5339230024E7
AT ITER 9026 NEW BEST:: SOT 865389557 SOS 94296521 HAS SOPS 94296521 HAS SOUS 85244928 HAS SOUPS 85244928 WITH SCORE 8.5339224521E7
AT ITER 9044 NEW BEST:: SOT 865389557 SOS 94295640 HAS SOPS 94295640 HAS SOUS 85244047 HAS SOUPS 85244047 WITH SCORE 8.533834264E7
AT ITER 9056 NEW BEST:: SOT 865388968 SOS 94294462 HAS SOPS 94294462 HAS SOUS 85242869 HAS SOUPS 85242869 WITH SCORE 8.5337163462E7
AT ITER 9076 NEW BEST:: SOT 865388060 SOS 94293554 HAS SOPS 94293554 HAS SOUS 85241961 HAS SOUPS 85241961 WITH SCORE 8.5336254554E7
AT ITER 9098 NEW BEST:: SOT 865387454 SOS 94292342 HAS SOPS 94292342 HAS SOUS 85240749 HAS SOUPS 85240749 WITH SCORE 8.5335041342E7
AT ITER 9132 NEW BEST:: SOT 865385392 SOS 94290280 HAS SOPS 94290280 HAS SOUS 85238687 HAS SOUPS 85238687 WITH SCORE 8.533297728E7
AT ITER 9153 NEW BEST:: SOT 865384786 SOS 94289068 HAS SOPS 94289068 HAS SOUS 85237475 HAS SOUPS 85237475 WITH SCORE 8.5331764068E7
AT ITER 9179 NEW BEST:: SOT 865382728 SOS 94287010 HAS SOPS 94287010 HAS SOUS 85235417 HAS SOUPS 85235417 WITH SCORE 8.532970401E7
AT ITER 9182 NEW BEST:: SOT 865381854 SOS 94286136 HAS SOPS 94286136 HAS SOUS 85234543 HAS SOUPS 85234543 WITH SCORE 8.5328829136E7
AT ITER 9204 NEW BEST:: SOT 865381854 SOS 94285218 HAS SOPS 94285218 HAS SOUS 85233625 HAS SOUPS 85233625 WITH SCORE 8.5327910218E7
AT ITER 9316 NEW BEST:: SOT 865380754 SOS 94282680 HAS SOPS 94282680 HAS SOUS 85231087 HAS SOUPS 85231087 WITH SCORE 8.532536968E7
AT ITER 9320 NEW BEST:: SOT 865380148 SOS 94282074 HAS SOPS 94282074 HAS SOUS 85230481 HAS SOUPS 85230481 WITH SCORE 8.5324763074E7
AT ITER 9328 NEW BEST:: SOT 865378348 SOS 94277363 HAS SOPS 94277363 HAS SOUS 85225770 HAS SOUPS 85225770 WITH SCORE 8.5320047363E7
AT ITER 9371 NEW BEST:: SOT 865378348 SOS 94276855 HAS SOPS 94276855 HAS SOUS 85225262 HAS SOUPS 85225262 WITH SCORE 8.5319538855E7
AT ITER 9383 NEW BEST:: SOT 865376724 SOS 94276249 HAS SOPS 94276249 HAS SOUS 85224656 HAS SOUPS 85224656 WITH SCORE 8.5318932249E7
AT ITER 9387 NEW BEST:: SOT 865374657 SOS 94273071 HAS SOPS 94273071 HAS SOUS 85221478 HAS SOUPS 85221478 WITH SCORE 8.5315751071E7
AT ITER 9426 NEW BEST:: SOT 865368588 SOS 94270196 HAS SOPS 94270196 HAS SOUS 85217690 HAS SOUPS 85217690 WITH SCORE 8.5311960196E7
AT ITER 9450 NEW BEST:: SOT 865367308 SOS 94268955 HAS SOPS 94268955 HAS SOUS 85216449 HAS SOUPS 85216449 WITH SCORE 8.5310717955E7
AT ITER 9467 NEW BEST:: SOT 865367524 SOS 94267389 HAS SOPS 94267389 HAS SOUS 85215564 HAS SOUPS 85215564 WITH SCORE 8.5309831389E7
AT ITER 9527 NEW BEST:: SOT 865367524 SOS 94266434 HAS SOPS 94266434 HAS SOUS 85214609 HAS SOUPS 85214609 WITH SCORE 8.5308875434E7
AT ITER 9592 NEW BEST:: SOT 865366606 SOS 94264234 HAS SOPS 94264234 HAS SOUS 85212409 HAS SOUPS 85212409 WITH SCORE 8.5306673234E7
AT ITER 9668 NEW BEST:: SOT 865366606 SOS 94263497 HAS SOPS 94263497 HAS SOUS 85211672 HAS SOUPS 85211672 WITH SCORE 8.5305935497E7
AT ITER 9673 NEW BEST:: SOT 865366000 SOS 94262002 HAS SOPS 94262002 HAS SOUS 85210177 HAS SOUPS 85210177 WITH SCORE 8.5304439002E7
AT ITER 9727 NEW BEST:: SOT 865363690 SOS 94266232 HAS SOPS 94266232 HAS SOUS 85208711 HAS SOUPS 85208711 WITH SCORE 8.5302977232E7
AT ITER 9745 NEW BEST:: SOT 865360884 SOS 94262315 HAS SOPS 94262315 HAS SOUS 85201988 HAS SOUPS 85201988 WITH SCORE 8.5296250315E7
AT ITER 9750 NEW BEST:: SOT 865360389 SOS 94261820 HAS SOPS 94261820 HAS SOUS 85201493 HAS SOUPS 85201493 WITH SCORE 8.529575482E7
AT ITER 9789 NEW BEST:: SOT 865357871 SOS 94258191 HAS SOPS 94258191 HAS SOUS 85195346 HAS SOUPS 85195346 WITH SCORE 8.5289604191E7
AT ITER 9825 NEW BEST:: SOT 865355666 SOS 94254875 HAS SOPS 94254875 HAS SOUS 85192030 HAS SOUPS 85192030 WITH SCORE 8.5286284875E7
AT ITER 9830 NEW BEST:: SOT 865355666 SOS 94253810 HAS SOPS 94253810 HAS SOUS 85190965 HAS SOUPS 85190965 WITH SCORE 8.528521881E7
AT ITER 9872 NEW BEST:: SOT 865355666 SOS 94253077 HAS SOPS 94253077 HAS SOUS 85190232 HAS SOUPS 85190232 WITH SCORE 8.5284485077E7
AT ITER 9951 NEW BEST:: SOT 865355666 SOS 94252507 HAS SOPS 94252507 HAS SOUS 85189662 HAS SOUPS 85189662 WITH SCORE 8.5283914507E7
AT ITER 9974 NEW BEST:: SOT 865354878 SOS 94251719 HAS SOPS 94251719 HAS SOUS 85188874 HAS SOUPS 85188874 WITH SCORE 8.5283125719E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 8461448 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16083416 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FamilyReunion-COL-L00100M0010C005P005G002"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is FamilyReunion-COL-L00100M0010C005P005G002, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r171-tall-167838858400328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L00100M0010C005P005G002.tgz
mv FamilyReunion-COL-L00100M0010C005P005G002 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;