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.r483-tall-167912696801256.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 smart
Input is ViralEpidemic-PT-S02D1C1A12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696801256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 11K Feb 25 22:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 25 22:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 20:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 20:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 17:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Feb 25 17:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 17:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K Feb 25 23:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 161K Feb 25 23:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 22:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 22:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 17:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K Feb 25 17:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 19M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679196077693

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ViralEpidemic-PT-S02D1C1A12
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S02D1C1A12
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 32765 places, 40955 transitions, 90101 arcs.
AT ITER 0 NEW BEST:: SOT 838717444 SOS 234926070 HAS SOPS 234926070 HAS SOUS 145455777 HAS SOUPS 145455777 WITH SCORE 1.4569070307E8
AT ITER 39 NEW BEST:: SOT 838706372 SOS 234912479 HAS SOPS 234912479 HAS SOUS 145453256 HAS SOUPS 145453256 WITH SCORE 1.45688168479E8
AT ITER 63 NEW BEST:: SOT 838704558 SOS 234909757 HAS SOPS 234909757 HAS SOUS 145453253 HAS SOUPS 145453253 WITH SCORE 1.45688162757E8
AT ITER 82 NEW BEST:: SOT 838692524 SOS 234891706 HAS SOPS 234891706 HAS SOUS 145453253 HAS SOUPS 145453253 WITH SCORE 1.45688144706E8
AT ITER 86 NEW BEST:: SOT 838681074 SOS 234874530 HAS SOPS 234874530 HAS SOUS 145453250 HAS SOUPS 145453250 WITH SCORE 1.4568812453E8
AT ITER 102 NEW BEST:: SOT 838679883 SOS 234872941 HAS SOPS 234872941 HAS SOUS 145452850 HAS SOUPS 145452850 WITH SCORE 1.45687722941E8
AT ITER 234 NEW BEST:: SOT 838675499 SOS 234866364 HAS SOPS 234866364 HAS SOUS 145452847 HAS SOUPS 145452847 WITH SCORE 1.45687713364E8
AT ITER 245 NEW BEST:: SOT 838666049 SOS 234852189 HAS SOPS 234852189 HAS SOUS 145452847 HAS SOUPS 145452847 WITH SCORE 1.45687699189E8
AT ITER 270 NEW BEST:: SOT 838655870 SOS 234838617 HAS SOPS 234838617 HAS SOUS 145449454 HAS SOUPS 145449454 WITH SCORE 1.45684292617E8
AT ITER 273 NEW BEST:: SOT 838654244 SOS 234836449 HAS SOPS 234836449 HAS SOUS 145448912 HAS SOUPS 145448912 WITH SCORE 1.45683748449E8
AT ITER 294 NEW BEST:: SOT 838649610 SOS 234829497 HAS SOPS 234829497 HAS SOUS 145448909 HAS SOUPS 145448909 WITH SCORE 1.45683738497E8
AT ITER 308 NEW BEST:: SOT 838645550 SOS 234823407 HAS SOPS 234823407 HAS SOUS 145448909 HAS SOUPS 145448909 WITH SCORE 1.45683732407E8
AT ITER 326 NEW BEST:: SOT 838640868 SOS 234817964 HAS SOPS 234817964 HAS SOUS 145448626 HAS SOUPS 145448626 WITH SCORE 1.45683443964E8
AT ITER 340 NEW BEST:: SOT 838630630 SOS 234802607 HAS SOPS 234802607 HAS SOUS 145448626 HAS SOUPS 145448626 WITH SCORE 1.45683428607E8
AT ITER 393 NEW BEST:: SOT 838624518 SOS 234793439 HAS SOPS 234793439 HAS SOUS 145448626 HAS SOUPS 145448626 WITH SCORE 1.45683419439E8
AT ITER 433 NEW BEST:: SOT 838619972 SOS 234786620 HAS SOPS 234786620 HAS SOUS 145448626 HAS SOUPS 145448626 WITH SCORE 1.4568341262E8
AT ITER 447 NEW BEST:: SOT 838610314 SOS 234774451 HAS SOPS 234774451 HAS SOUS 145446113 HAS SOUPS 145446113 WITH SCORE 1.45680887451E8
AT ITER 474 NEW BEST:: SOT 838598546 SOS 234756798 HAS SOPS 234756798 HAS SOUS 145446110 HAS SOUPS 145446110 WITH SCORE 1.45680866798E8
AT ITER 512 NEW BEST:: SOT 838586985 SOS 234742243 HAS SOPS 234742243 HAS SOUS 145443630 HAS SOUPS 145443630 WITH SCORE 1.45678372243E8
AT ITER 514 NEW BEST:: SOT 838574905 SOS 234724122 HAS SOPS 234724122 HAS SOUS 145443627 HAS SOUPS 145443627 WITH SCORE 1.45678351122E8
AT ITER 537 NEW BEST:: SOT 838571165 SOS 234718511 HAS SOPS 234718511 HAS SOUS 145443624 HAS SOUPS 145443624 WITH SCORE 1.45678342511E8
AT ITER 539 NEW BEST:: SOT 838565935 SOS 234710666 HAS SOPS 234710666 HAS SOUS 145443624 HAS SOUPS 145443624 WITH SCORE 1.45678334666E8
AT ITER 556 NEW BEST:: SOT 838557629 SOS 234698206 HAS SOPS 234698206 HAS SOUS 145443621 HAS SOUPS 145443621 WITH SCORE 1.45678319206E8
AT ITER 592 NEW BEST:: SOT 838552395 SOS 234691539 HAS SOPS 234691539 HAS SOUS 145442186 HAS SOUPS 145442186 WITH SCORE 1.45676877539E8
AT ITER 607 NEW BEST:: SOT 838549720 SOS 234688105 HAS SOPS 234688105 HAS SOUS 145441506 HAS SOUPS 145441506 WITH SCORE 1.45676194105E8
AT ITER 613 NEW BEST:: SOT 838540624 SOS 234674460 HAS SOPS 234674460 HAS SOUS 145441503 HAS SOUPS 145441503 WITH SCORE 1.4567617746E8
AT ITER 627 NEW BEST:: SOT 838527997 SOS 234658909 HAS SOPS 234658909 HAS SOUS 145438577 HAS SOUPS 145438577 WITH SCORE 1.45673235909E8
AT ITER 631 NEW BEST:: SOT 838520842 SOS 234649369 HAS SOPS 234649369 HAS SOUS 145436192 HAS SOUPS 145436192 WITH SCORE 1.45670841369E8
AT ITER 663 NEW BEST:: SOT 838515788 SOS 234641788 HAS SOPS 234641788 HAS SOUS 145436192 HAS SOUPS 145436192 WITH SCORE 1.45670833788E8
AT ITER 682 NEW BEST:: SOT 838505368 SOS 234626157 HAS SOPS 234626157 HAS SOUS 145436189 HAS SOUPS 145436189 WITH SCORE 1.45670815157E8
AT ITER 683 NEW BEST:: SOT 838504014 SOS 234624803 HAS SOPS 234624803 HAS SOUS 145436189 HAS SOUPS 145436189 WITH SCORE 1.45670813803E8
AT ITER 703 NEW BEST:: SOT 838496910 SOS 234614147 HAS SOPS 234614147 HAS SOUS 145436189 HAS SOUPS 145436189 WITH SCORE 1.45670803147E8
AT ITER 757 NEW BEST:: SOT 838489570 SOS 234603137 HAS SOPS 234603137 HAS SOUS 145436189 HAS SOUPS 145436189 WITH SCORE 1.45670792137E8
AT ITER 794 NEW BEST:: SOT 838479878 SOS 234588598 HAS SOPS 234588598 HAS SOUS 145436186 HAS SOUPS 145436186 WITH SCORE 1.45670774598E8
AT ITER 809 NEW BEST:: SOT 838475024 SOS 234582125 HAS SOPS 234582125 HAS SOUS 145434565 HAS SOUPS 145434565 WITH SCORE 1.45669147125E8
AT ITER 819 NEW BEST:: SOT 838473743 SOS 234580417 HAS SOPS 234580417 HAS SOUS 145434138 HAS SOUPS 145434138 WITH SCORE 1.45668718417E8
AT ITER 840 NEW BEST:: SOT 838465637 SOS 234569989 HAS SOPS 234569989 HAS SOUS 145431816 HAS SOUPS 145431816 WITH SCORE 1.45666385989E8
AT ITER 869 NEW BEST:: SOT 838454993 SOS 234554023 HAS SOPS 234554023 HAS SOUS 145431816 HAS SOUPS 145431816 WITH SCORE 1.45666370023E8
AT ITER 888 NEW BEST:: SOT 838450645 SOS 234547500 HAS SOPS 234547500 HAS SOUS 145431813 HAS SOUPS 145431813 WITH SCORE 1.456663605E8
AT ITER 907 NEW BEST:: SOT 838444947 SOS 234538953 HAS SOPS 234538953 HAS SOUS 145431813 HAS SOUPS 145431813 WITH SCORE 1.45666351953E8
AT ITER 908 NEW BEST:: SOT 838440711 SOS 234533304 HAS SOPS 234533304 HAS SOUS 145430398 HAS SOUPS 145430398 WITH SCORE 1.45664931304E8
AT ITER 920 NEW BEST:: SOT 838427933 SOS 234514137 HAS SOPS 234514137 HAS SOUS 145430398 HAS SOUPS 145430398 WITH SCORE 1.45664912137E8
AT ITER 933 NEW BEST:: SOT 838412588 SOS 234494953 HAS SOPS 234494953 HAS SOUS 145426559 HAS SOUPS 145426559 WITH SCORE 1.45661053953E8
AT ITER 938 NEW BEST:: SOT 838402944 SOS 234480487 HAS SOPS 234480487 HAS SOUS 145426559 HAS SOUPS 145426559 WITH SCORE 1.45661039487E8
AT ITER 940 NEW BEST:: SOT 838392488 SOS 234467775 HAS SOPS 234467775 HAS SOUS 145425040 HAS SOUPS 145425040 WITH SCORE 1.45659507775E8
AT ITER 944 NEW BEST:: SOT 838380386 SOS 234452736 HAS SOPS 234452736 HAS SOUS 145422101 HAS SOUPS 145422101 WITH SCORE 1.45656553736E8
AT ITER 996 NEW BEST:: SOT 838372362 SOS 234440700 HAS SOPS 234440700 HAS SOUS 145422101 HAS SOUPS 145422101 WITH SCORE 1.456565417E8
AT ITER 1026 NEW BEST:: SOT 838361224 SOS 234426912 HAS SOPS 234426912 HAS SOUS 145419451 HAS SOUPS 145419451 WITH SCORE 1.45653877912E8
AT ITER 1027 NEW BEST:: SOT 838351924 SOS 234412962 HAS SOPS 234412962 HAS SOUS 145419451 HAS SOUPS 145419451 WITH SCORE 1.45653863962E8
AT ITER 1041 NEW BEST:: SOT 838342290 SOS 234398511 HAS SOPS 234398511 HAS SOUS 145419451 HAS SOUPS 145419451 WITH SCORE 1.45653849511E8
AT ITER 1056 NEW BEST:: SOT 838337044 SOS 234391856 HAS SOPS 234391856 HAS SOUS 145418244 HAS SOUPS 145418244 WITH SCORE 1.45652635856E8
AT ITER 1057 NEW BEST:: SOT 838330642 SOS 234382252 HAS SOPS 234382252 HAS SOUS 145418241 HAS SOUPS 145418241 WITH SCORE 1.45652623252E8
AT ITER 1069 NEW BEST:: SOT 838327624 SOS 234378228 HAS SOPS 234378228 HAS SOUS 145417235 HAS SOUPS 145417235 WITH SCORE 1.45651613228E8
AT ITER 1134 NEW BEST:: SOT 838327564 SOS 234378108 HAS SOPS 234378108 HAS SOUS 145417175 HAS SOUPS 145417175 WITH SCORE 1.45651553108E8
AT ITER 1146 NEW BEST:: SOT 838321798 SOS 234369459 HAS SOPS 234369459 HAS SOUS 145417175 HAS SOUPS 145417175 WITH SCORE 1.45651544459E8
AT ITER 1165 NEW BEST:: SOT 838314948 SOS 234361560 HAS SOPS 234361560 HAS SOUS 145416262 HAS SOUPS 145416262 WITH SCORE 1.4565062356E8
AT ITER 1177 NEW BEST:: SOT 838309217 SOS 234354536 HAS SOPS 234354536 HAS SOUS 145414969 HAS SOUPS 145414969 WITH SCORE 1.45649323536E8
AT ITER 1186 NEW BEST:: SOT 838295545 SOS 234334027 HAS SOPS 234334027 HAS SOUS 145414966 HAS SOUPS 145414966 WITH SCORE 1.45649300027E8
AT ITER 1219 NEW BEST:: SOT 838288247 SOS 234323079 HAS SOPS 234323079 HAS SOUS 145414963 HAS SOUPS 145414963 WITH SCORE 1.45649286079E8
AT ITER 1232 NEW BEST:: SOT 838283075 SOS 234316183 HAS SOPS 234316183 HAS SOUS 145413239 HAS SOUPS 145413239 WITH SCORE 1.45647555183E8
AT ITER 1260 NEW BEST:: SOT 838271297 SOS 234298516 HAS SOPS 234298516 HAS SOUS 145413239 HAS SOUPS 145413239 WITH SCORE 1.45647537516E8
AT ITER 1262 NEW BEST:: SOT 838263121 SOS 234286252 HAS SOPS 234286252 HAS SOUS 145413239 HAS SOUPS 145413239 WITH SCORE 1.45647525252E8
AT ITER 1290 NEW BEST:: SOT 838254688 SOS 234275007 HAS SOPS 234275007 HAS SOUS 145410425 HAS SOUPS 145410425 WITH SCORE 1.45644700007E8
AT ITER 1294 NEW BEST:: SOT 838247432 SOS 234264122 HAS SOPS 234264122 HAS SOUS 145410422 HAS SOUPS 145410422 WITH SCORE 1.45644686122E8
AT ITER 1295 NEW BEST:: SOT 838242536 SOS 234257966 HAS SOPS 234257966 HAS SOUS 145409162 HAS SOUPS 145409162 WITH SCORE 1.45643419966E8
AT ITER 1328 NEW BEST:: SOT 838229780 SOS 234238831 HAS SOPS 234238831 HAS SOUS 145409159 HAS SOUPS 145409159 WITH SCORE 1.45643397831E8
AT ITER 1333 NEW BEST:: SOT 838220794 SOS 234225352 HAS SOPS 234225352 HAS SOUS 145409159 HAS SOUPS 145409159 WITH SCORE 1.45643384352E8
AT ITER 1368 NEW BEST:: SOT 838209912 SOS 234209028 HAS SOPS 234209028 HAS SOUS 145409156 HAS SOUPS 145409156 WITH SCORE 1.45643365028E8
AT ITER 1371 NEW BEST:: SOT 838195189 SOS 234190826 HAS SOPS 234190826 HAS SOUS 145405692 HAS SOUPS 145405692 WITH SCORE 1.45639882826E8
AT ITER 1381 NEW BEST:: SOT 838180439 SOS 234168701 HAS SOPS 234168701 HAS SOUS 145405692 HAS SOUPS 145405692 WITH SCORE 1.45639860701E8
AT ITER 1388 NEW BEST:: SOT 838172259 SOS 234156431 HAS SOPS 234156431 HAS SOUS 145405692 HAS SOUPS 145405692 WITH SCORE 1.45639848431E8
AT ITER 1389 NEW BEST:: SOT 838158528 SOS 234140036 HAS SOPS 234140036 HAS SOUS 145403163 HAS SOUPS 145403163 WITH SCORE 1.45637303036E8
AT ITER 1408 NEW BEST:: SOT 838156418 SOS 234136870 HAS SOPS 234136870 HAS SOUS 145403160 HAS SOUPS 145403160 WITH SCORE 1.4563729687E8
AT ITER 1427 NEW BEST:: SOT 838145683 SOS 234123764 HAS SOPS 234123764 HAS SOUS 145400789 HAS SOUPS 145400789 WITH SCORE 1.45634912764E8
AT ITER 1455 NEW BEST:: SOT 838135741 SOS 234111821 HAS SOPS 234111821 HAS SOUS 145399574 HAS SOUPS 145399574 WITH SCORE 1.45633685821E8
AT ITER 1464 NEW BEST:: SOT 838122029 SOS 234095483 HAS SOPS 234095483 HAS SOUS 145397092 HAS SOUPS 145397092 WITH SCORE 1.45631187483E8
AT ITER 1499 NEW BEST:: SOT 838117789 SOS 234089122 HAS SOPS 234089122 HAS SOUS 145397089 HAS SOUPS 145397089 WITH SCORE 1.45631178122E8
AT ITER 1504 NEW BEST:: SOT 838112345 SOS 234080955 HAS SOPS 234080955 HAS SOUS 145397086 HAS SOUPS 145397086 WITH SCORE 1.45631166955E8
AT ITER 1531 NEW BEST:: SOT 838110749 SOS 234078826 HAS SOPS 234078826 HAS SOUS 145396551 HAS SOUPS 145396551 WITH SCORE 1.45630629826E8
AT ITER 1548 NEW BEST:: SOT 838106063 SOS 234072577 HAS SOPS 234072577 HAS SOUS 145394986 HAS SOUPS 145394986 WITH SCORE 1.45629058577E8
AT ITER 1570 NEW BEST:: SOT 838104465 SOS 234070180 HAS SOPS 234070180 HAS SOUS 145394986 HAS SOUPS 145394986 WITH SCORE 1.4562905618E8
AT ITER 1578 NEW BEST:: SOT 838100125 SOS 234063669 HAS SOPS 234063669 HAS SOUS 145394983 HAS SOUPS 145394983 WITH SCORE 1.45629046669E8
AT ITER 1582 NEW BEST:: SOT 838093171 SOS 234056175 HAS SOPS 234056175 HAS SOUS 145394716 HAS SOUPS 145394716 WITH SCORE 1.45628772175E8
AT ITER 1591 NEW BEST:: SOT 838087671 SOS 234047924 HAS SOPS 234047924 HAS SOUS 145394713 HAS SOUPS 145394713 WITH SCORE 1.45628760924E8
AT ITER 1624 NEW BEST:: SOT 838081953 SOS 234040300 HAS SOPS 234040300 HAS SOUS 145392807 HAS SOUPS 145392807 WITH SCORE 1.456268473E8
AT ITER 1635 NEW BEST:: SOT 838073429 SOS 234027514 HAS SOPS 234027514 HAS SOUS 145392807 HAS SOUPS 145392807 WITH SCORE 1.45626834514E8
AT ITER 1639 NEW BEST:: SOT 838065447 SOS 234015541 HAS SOPS 234015541 HAS SOUS 145392807 HAS SOUPS 145392807 WITH SCORE 1.45626822541E8
AT ITER 1667 NEW BEST:: SOT 838060791 SOS 234009332 HAS SOPS 234009332 HAS SOUS 145391252 HAS SOUPS 145391252 WITH SCORE 1.45625261332E8
AT ITER 1675 NEW BEST:: SOT 838048015 SOS 233990168 HAS SOPS 233990168 HAS SOUS 145391252 HAS SOUPS 145391252 WITH SCORE 1.45625242168E8
AT ITER 1692 NEW BEST:: SOT 838043925 SOS 233984032 HAS SOPS 233984032 HAS SOUS 145391249 HAS SOUPS 145391249 WITH SCORE 1.45625233032E8
AT ITER 1694 NEW BEST:: SOT 838028489 SOS 233964737 HAS SOPS 233964737 HAS SOUS 145387388 HAS SOUPS 145387388 WITH SCORE 1.45621352737E8
AT ITER 1698 NEW BEST:: SOT 838023055 SOS 233956586 HAS SOPS 233956586 HAS SOUS 145387388 HAS SOUPS 145387388 WITH SCORE 1.45621344586E8
AT ITER 1718 NEW BEST:: SOT 838023055 SOS 233956585 HAS SOPS 233956585 HAS SOUS 145387385 HAS SOUPS 145387385 WITH SCORE 1.45621341585E8
AT ITER 1751 NEW BEST:: SOT 838015827 SOS 233945742 HAS SOPS 233945742 HAS SOUS 145387382 HAS SOUPS 145387382 WITH SCORE 1.45621327742E8
AT ITER 1758 NEW BEST:: SOT 838006241 SOS 233933433 HAS SOPS 233933433 HAS SOUS 145384657 HAS SOUPS 145384657 WITH SCORE 1.45618590433E8
AT ITER 1760 NEW BEST:: SOT 837995009 SOS 233916584 HAS SOPS 233916584 HAS SOUS 145384654 HAS SOUPS 145384654 WITH SCORE 1.45618570584E8
AT ITER 1840 NEW BEST:: SOT 837989237 SOS 233907926 HAS SOPS 233907926 HAS SOUS 145384654 HAS SOUPS 145384654 WITH SCORE 1.45618561926E8
AT ITER 1846 NEW BEST:: SOT 837987227 SOS 233905309 HAS SOPS 233905309 HAS SOUS 145384045 HAS SOUPS 145384045 WITH SCORE 1.45617950309E8
AT ITER 1865 NEW BEST:: SOT 837975353 SOS 233890310 HAS SOPS 233890310 HAS SOUS 145380918 HAS SOUPS 145380918 WITH SCORE 1.4561480831E8
AT ITER 1866 NEW BEST:: SOT 837970841 SOS 233883542 HAS SOPS 233883542 HAS SOUS 145380918 HAS SOUPS 145380918 WITH SCORE 1.45614801542E8
AT ITER 1895 NEW BEST:: SOT 837960801 SOS 233868481 HAS SOPS 233868481 HAS SOUS 145380915 HAS SOUPS 145380915 WITH SCORE 1.45614783481E8
AT ITER 1933 NEW BEST:: SOT 837955425 SOS 233860416 HAS SOPS 233860416 HAS SOUS 145380912 HAS SOUPS 145380912 WITH SCORE 1.45614772416E8
AT ITER 1953 NEW BEST:: SOT 837944677 SOS 233844293 HAS SOPS 233844293 HAS SOUS 145380909 HAS SOUPS 145380909 WITH SCORE 1.45614753293E8
AT ITER 1985 NEW BEST:: SOT 837937583 SOS 233833652 HAS SOPS 233833652 HAS SOUS 145380909 HAS SOUPS 145380909 WITH SCORE 1.45614742652E8
AT ITER 2015 NEW BEST:: SOT 837932653 SOS 233826256 HAS SOPS 233826256 HAS SOUS 145380906 HAS SOUPS 145380906 WITH SCORE 1.45614732256E8
AT ITER 2022 NEW BEST:: SOT 837929464 SOS 233822003 HAS SOPS 233822003 HAS SOUS 145379840 HAS SOUPS 145379840 WITH SCORE 1.45613662003E8
AT ITER 2026 NEW BEST:: SOT 837921257 SOS 233811661 HAS SOPS 233811661 HAS SOUS 145377705 HAS SOUPS 145377705 WITH SCORE 1.45611516661E8
AT ITER 2059 NEW BEST:: SOT 837913917 SOS 233800650 HAS SOPS 233800650 HAS SOUS 145377702 HAS SOUPS 145377702 WITH SCORE 1.4561150265E8
AT ITER 2064 NEW BEST:: SOT 837899519 SOS 233782738 HAS SOPS 233782738 HAS SOUS 145374188 HAS SOUPS 145374188 WITH SCORE 1.45607970738E8
AT ITER 2080 NEW BEST:: SOT 837889353 SOS 233767488 HAS SOPS 233767488 HAS SOUS 145374185 HAS SOUPS 145374185 WITH SCORE 1.45607952488E8
AT ITER 2124 NEW BEST:: SOT 837888678 SOS 233766588 HAS SOPS 233766588 HAS SOUS 145373960 HAS SOUPS 145373960 WITH SCORE 1.45607726588E8
AT ITER 2148 NEW BEST:: SOT 837884862 SOS 233760864 HAS SOPS 233760864 HAS SOUS 145373960 HAS SOUPS 145373960 WITH SCORE 1.45607720864E8
AT ITER 2198 NEW BEST:: SOT 837875044 SOS 233746137 HAS SOPS 233746137 HAS SOUS 145373960 HAS SOUPS 145373960 WITH SCORE 1.45607706137E8
AT ITER 2203 NEW BEST:: SOT 837871430 SOS 233740716 HAS SOPS 233740716 HAS SOUS 145373960 HAS SOUPS 145373960 WITH SCORE 1.45607700716E8
AT ITER 2208 NEW BEST:: SOT 837864098 SOS 233729717 HAS SOPS 233729717 HAS SOUS 145373957 HAS SOUPS 145373957 WITH SCORE 1.45607686717E8
AT ITER 2214 NEW BEST:: SOT 837863294 SOS 233728644 HAS SOPS 233728644 HAS SOUS 145373686 HAS SOUPS 145373686 WITH SCORE 1.45607414644E8
AT ITER 2218 NEW BEST:: SOT 837852003 SOS 233714689 HAS SOPS 233714689 HAS SOUS 145371020 HAS SOUPS 145371020 WITH SCORE 1.45604734689E8
AT ITER 2225 NEW BEST:: SOT 837848820 SOS 233710444 HAS SOPS 233710444 HAS SOUS 145369956 HAS SOUPS 145369956 WITH SCORE 1.45603666444E8
AT ITER 2232 NEW BEST:: SOT 837839988 SOS 233697196 HAS SOPS 233697196 HAS SOUS 145369956 HAS SOUPS 145369956 WITH SCORE 1.45603653196E8
AT ITER 2250 NEW BEST:: SOT 837829292 SOS 233681151 HAS SOPS 233681151 HAS SOUS 145369953 HAS SOUPS 145369953 WITH SCORE 1.45603634151E8
AT ITER 2259 NEW BEST:: SOT 837818252 SOS 233664590 HAS SOPS 233664590 HAS SOUS 145369950 HAS SOUPS 145369950 WITH SCORE 1.4560361459E8
AT ITER 2260 NEW BEST:: SOT 837808082 SOS 233652031 HAS SOPS 233652031 HAS SOUS 145367559 HAS SOUPS 145367559 WITH SCORE 1.45601211031E8
AT ITER 2264 NEW BEST:: SOT 837800639 SOS 233642107 HAS SOPS 233642107 HAS SOUS 145365078 HAS SOUPS 145365078 WITH SCORE 1.45598720107E8
AT ITER 2271 NEW BEST:: SOT 837790132 SOS 233629324 HAS SOPS 233629324 HAS SOUS 145363536 HAS SOUPS 145363536 WITH SCORE 1.45597165324E8
AT ITER 2288 NEW BEST:: SOT 837783502 SOS 233620484 HAS SOPS 233620484 HAS SOUS 145361326 HAS SOUPS 145361326 WITH SCORE 1.45594946484E8
AT ITER 2293 NEW BEST:: SOT 837769336 SOS 233603757 HAS SOPS 233603757 HAS SOUS 145358962 HAS SOUPS 145358962 WITH SCORE 1.45592565757E8
AT ITER 2345 NEW BEST:: SOT 837759422 SOS 233588886 HAS SOPS 233588886 HAS SOUS 145358962 HAS SOUPS 145358962 WITH SCORE 1.45592550886E8
AT ITER 2423 NEW BEST:: SOT 837756706 SOS 233584812 HAS SOPS 233584812 HAS SOUS 145358962 HAS SOUPS 145358962 WITH SCORE 1.45592546812E8
AT ITER 2441 NEW BEST:: SOT 837751797 SOS 233579328 HAS SOPS 233579328 HAS SOUS 145358387 HAS SOUPS 145358387 WITH SCORE 1.45591966328E8
AT ITER 2472 NEW BEST:: SOT 837745865 SOS 233570429 HAS SOPS 233570429 HAS SOUS 145358384 HAS SOUPS 145358384 WITH SCORE 1.45591954429E8
AT ITER 2488 NEW BEST:: SOT 837734859 SOS 233553920 HAS SOPS 233553920 HAS SOUS 145358384 HAS SOUPS 145358384 WITH SCORE 1.4559193792E8
AT ITER 2525 NEW BEST:: SOT 837722951 SOS 233536058 HAS SOPS 233536058 HAS SOUS 145358384 HAS SOUPS 145358384 WITH SCORE 1.45591920058E8
AT ITER 2546 NEW BEST:: SOT 837718755 SOS 233529763 HAS SOPS 233529763 HAS SOUS 145358381 HAS SOUPS 145358381 WITH SCORE 1.45591910763E8
AT ITER 2550 NEW BEST:: SOT 837704675 SOS 233512232 HAS SOPS 233512232 HAS SOUS 145354928 HAS SOUPS 145354928 WITH SCORE 1.45588440232E8
AT ITER 2602 NEW BEST:: SOT 837700382 SOS 233506507 HAS SOPS 233506507 HAS SOUS 145353494 HAS SOUPS 145353494 WITH SCORE 1.45587000507E8
AT ITER 2634 NEW BEST:: SOT 837691548 SOS 233493256 HAS SOPS 233493256 HAS SOUS 145353494 HAS SOUPS 145353494 WITH SCORE 1.45586987256E8
AT ITER 2637 NEW BEST:: SOT 837684298 SOS 233484165 HAS SOPS 233484165 HAS SOUS 145351651 HAS SOUPS 145351651 WITH SCORE 1.45585135165E8
AT ITER 2685 NEW BEST:: SOT 837676414 SOS 233472338 HAS SOPS 233472338 HAS SOUS 145351648 HAS SOUPS 145351648 WITH SCORE 1.45585120338E8
AT ITER 2686 NEW BEST:: SOT 837668146 SOS 233459935 HAS SOPS 233459935 HAS SOUS 145351645 HAS SOUPS 145351645 WITH SCORE 1.45585104935E8
AT ITER 2715 NEW BEST:: SOT 837656834 SOS 233442966 HAS SOPS 233442966 HAS SOUS 145351642 HAS SOUPS 145351642 WITH SCORE 1.45585084966E8
AT ITER 2720 NEW BEST:: SOT 837651884 SOS 233435541 HAS SOPS 233435541 HAS SOUS 145351642 HAS SOUPS 145351642 WITH SCORE 1.45585077541E8
AT ITER 2724 NEW BEST:: SOT 837645934 SOS 233426615 HAS SOPS 233426615 HAS SOUS 145351639 HAS SOUPS 145351639 WITH SCORE 1.45585065615E8
AT ITER 2753 NEW BEST:: SOT 837636425 SOS 233414871 HAS SOPS 233414871 HAS SOUS 145349404 HAS SOUPS 145349404 WITH SCORE 1.45582818871E8
AT ITER 2782 NEW BEST:: SOT 837624872 SOS 233399466 HAS SOPS 233399466 HAS SOUS 145345550 HAS SOUPS 145345550 WITH SCORE 1.45578949466E8
AT ITER 2787 NEW BEST:: SOT 837612584 SOS 233381033 HAS SOPS 233381033 HAS SOUS 145345547 HAS SOUPS 145345547 WITH SCORE 1.45578928033E8
AT ITER 2803 NEW BEST:: SOT 837611000 SOS 233378920 HAS SOPS 233378920 HAS SOUS 145345016 HAS SOUPS 145345016 WITH SCORE 1.4557839492E8
AT ITER 2807 NEW BEST:: SOT 837600380 SOS 233365596 HAS SOPS 233365596 HAS SOUS 145342813 HAS SOUPS 145342813 WITH SCORE 1.45576178596E8
AT ITER 2815 NEW BEST:: SOT 837591870 SOS 233352831 HAS SOPS 233352831 HAS SOUS 145342813 HAS SOUPS 145342813 WITH SCORE 1.45576165831E8
AT ITER 2835 NEW BEST:: SOT 837585015 SOS 233343690 HAS SOPS 233343690 HAS SOUS 145340525 HAS SOUPS 145340525 WITH SCORE 1.4557386869E8
AT ITER 2873 NEW BEST:: SOT 837578035 SOS 233334853 HAS SOPS 233334853 HAS SOUS 145338948 HAS SOUPS 145338948 WITH SCORE 1.45572282853E8
AT ITER 2909 NEW BEST:: SOT 837572905 SOS 233327157 HAS SOPS 233327157 HAS SOUS 145338945 HAS SOUPS 145338945 WITH SCORE 1.45572272157E8
AT ITER 2947 NEW BEST:: SOT 837561799 SOS 233310498 HAS SOPS 233310498 HAS SOUS 145338945 HAS SOUPS 145338945 WITH SCORE 1.45572255498E8
AT ITER 2973 NEW BEST:: SOT 837548978 SOS 233297004 HAS SOPS 233297004 HAS SOUS 145338830 HAS SOUPS 145338830 WITH SCORE 1.45572127004E8
AT ITER 3001 NEW BEST:: SOT 837536714 SOS 233278607 HAS SOPS 233278607 HAS SOUS 145338827 HAS SOUPS 145338827 WITH SCORE 1.45572105607E8
AT ITER 3033 NEW BEST:: SOT 837530690 SOS 233269570 HAS SOPS 233269570 HAS SOUS 145338824 HAS SOUPS 145338824 WITH SCORE 1.4557209357E8
AT ITER 3043 NEW BEST:: SOT 837528160 SOS 233267039 HAS SOPS 233267039 HAS SOUS 145338822 HAS SOUPS 145338822 WITH SCORE 1.45572089039E8
AT ITER 3063 NEW BEST:: SOT 837522583 SOS 233259603 HAS SOPS 233259603 HAS SOUS 145336963 HAS SOUPS 145336963 WITH SCORE 1.45570222603E8
AT ITER 3088 NEW BEST:: SOT 837516993 SOS 233251218 HAS SOPS 233251218 HAS SOUS 145336963 HAS SOUPS 145336963 WITH SCORE 1.45570214218E8
AT ITER 3100 NEW BEST:: SOT 837505123 SOS 233233413 HAS SOPS 233233413 HAS SOUS 145336963 HAS SOUPS 145336963 WITH SCORE 1.45570196413E8
AT ITER 3109 NEW BEST:: SOT 837500113 SOS 233226732 HAS SOPS 233226732 HAS SOUS 145335290 HAS SOUPS 145335290 WITH SCORE 1.45568516732E8
AT ITER 3189 NEW BEST:: SOT 837490064 SOS 233214427 HAS SOPS 233214427 HAS SOUS 145333032 HAS SOUPS 145333032 WITH SCORE 1.45566246427E8
AT ITER 3200 NEW BEST:: SOT 837476664 SOS 233199213 HAS SOPS 233199213 HAS SOUS 145331539 HAS SOUPS 145331539 WITH SCORE 1.45564738213E8
AT ITER 3209 NEW BEST:: SOT 837467536 SOS 233185521 HAS SOPS 233185521 HAS SOUS 145331539 HAS SOUPS 145331539 WITH SCORE 1.45564724521E8
AT ITER 3215 NEW BEST:: SOT 837466215 SOS 233183852 HAS SOPS 233183852 HAS SOUS 145331189 HAS SOUPS 145331189 WITH SCORE 1.45564372852E8
AT ITER 3219 NEW BEST:: SOT 837462333 SOS 233178676 HAS SOPS 233178676 HAS SOUS 145329895 HAS SOUPS 145329895 WITH SCORE 1.45563073676E8
AT ITER 3248 NEW BEST:: SOT 837449181 SOS 233158947 HAS SOPS 233158947 HAS SOUS 145329892 HAS SOUPS 145329892 WITH SCORE 1.45563050947E8
AT ITER 3251 NEW BEST:: SOT 837440581 SOS 233149252 HAS SOPS 233149252 HAS SOUS 145328795 HAS SOUPS 145328795 WITH SCORE 1.45561944252E8
AT ITER 3253 NEW BEST:: SOT 837436623 SOS 233143315 HAS SOPS 233143315 HAS SOUS 145328795 HAS SOUPS 145328795 WITH SCORE 1.45561938315E8
AT ITER 3267 NEW BEST:: SOT 837425337 SOS 233126386 HAS SOPS 233126386 HAS SOUS 145328795 HAS SOUPS 145328795 WITH SCORE 1.45561921386E8
AT ITER 3268 NEW BEST:: SOT 837417389 SOS 233114463 HAS SOPS 233114463 HAS SOUS 145328792 HAS SOUPS 145328792 WITH SCORE 1.45561906463E8
AT ITER 3279 NEW BEST:: SOT 837411567 SOS 233105729 HAS SOPS 233105729 HAS SOUS 145328789 HAS SOUPS 145328789 WITH SCORE 1.45561894729E8
AT ITER 3325 NEW BEST:: SOT 837402111 SOS 233091545 HAS SOPS 233091545 HAS SOUS 145328789 HAS SOUPS 145328789 WITH SCORE 1.45561880545E8
AT ITER 3409 NEW BEST:: SOT 837391908 SOS 233079222 HAS SOPS 233079222 HAS SOUS 145326667 HAS SOUPS 145326667 WITH SCORE 1.45559746222E8
AT ITER 3424 NEW BEST:: SOT 837387116 SOS 233072033 HAS SOPS 233072033 HAS SOUS 145326664 HAS SOUPS 145326664 WITH SCORE 1.45559736033E8
AT ITER 3428 NEW BEST:: SOT 837379967 SOS 233062500 HAS SOPS 233062500 HAS SOUS 145324278 HAS SOUPS 145324278 WITH SCORE 1.455573405E8
AT ITER 3439 NEW BEST:: SOT 837375197 SOS 233055344 HAS SOPS 233055344 HAS SOUS 145324275 HAS SOUPS 145324275 WITH SCORE 1.45557330344E8
AT ITER 3446 NEW BEST:: SOT 837371950 SOS 233051124 HAS SOPS 233051124 HAS SOUS 145323367 HAS SOUPS 145323367 WITH SCORE 1.45556418124E8
AT ITER 3462 NEW BEST:: SOT 837367081 SOS 233044631 HAS SOPS 233044631 HAS SOUS 145321741 HAS SOUPS 145321741 WITH SCORE 1.45554785631E8
AT ITER 3469 NEW BEST:: SOT 837353115 SOS 233023682 HAS SOPS 233023682 HAS SOUS 145321741 HAS SOUPS 145321741 WITH SCORE 1.45554764682E8
AT ITER 3475 NEW BEST:: SOT 837345877 SOS 233012825 HAS SOPS 233012825 HAS SOUS 145321741 HAS SOUPS 145321741 WITH SCORE 1.45554753825E8
AT ITER 3481 NEW BEST:: SOT 837335998 SOS 232999819 HAS SOPS 232999819 HAS SOUS 145318713 HAS SOUPS 145318713 WITH SCORE 1.45551712819E8
AT ITER 3482 NEW BEST:: SOT 837326196 SOS 232985115 HAS SOPS 232985115 HAS SOUS 145318710 HAS SOUPS 145318710 WITH SCORE 1.45551695115E8
AT ITER 3501 NEW BEST:: SOT 837316261 SOS 232973721 HAS SOPS 232973721 HAS SOUS 145318362 HAS SOUPS 145318362 WITH SCORE 1.45551335721E8
AT ITER 3518 NEW BEST:: SOT 837305523 SOS 232957613 HAS SOPS 232957613 HAS SOUS 145318359 HAS SOUPS 145318359 WITH SCORE 1.45551316613E8
AT ITER 3551 NEW BEST:: SOT 837297277 SOS 232945244 HAS SOPS 232945244 HAS SOUS 145318359 HAS SOUPS 145318359 WITH SCORE 1.45551304244E8
AT ITER 3569 NEW BEST:: SOT 837293445 SOS 232941411 HAS SOPS 232941411 HAS SOUS 145318356 HAS SOUPS 145318356 WITH SCORE 1.45551297411E8
AT ITER 3602 NEW BEST:: SOT 837281039 SOS 232922802 HAS SOPS 232922802 HAS SOUS 145318356 HAS SOUPS 145318356 WITH SCORE 1.45551278802E8
AT ITER 3640 NEW BEST:: SOT 837265797 SOS 232899939 HAS SOPS 232899939 HAS SOUS 145318356 HAS SOUPS 145318356 WITH SCORE 1.45551255939E8
AT ITER 3646 NEW BEST:: SOT 837256629 SOS 232886187 HAS SOPS 232886187 HAS SOUS 145318356 HAS SOUPS 145318356 WITH SCORE 1.45551242187E8
AT ITER 3676 NEW BEST:: SOT 837250881 SOS 232879007 HAS SOPS 232879007 HAS SOUS 145316924 HAS SOUPS 145316924 WITH SCORE 1.45549803007E8
AT ITER 3709 NEW BEST:: SOT 837243815 SOS 232871940 HAS SOPS 232871940 HAS SOUS 145316922 HAS SOUPS 145316922 WITH SCORE 1.4554979394E8
AT ITER 3710 NEW BEST:: SOT 837235265 SOS 232859115 HAS SOPS 232859115 HAS SOUS 145316922 HAS SOUPS 145316922 WITH SCORE 1.45549781115E8
AT ITER 3719 NEW BEST:: SOT 837231471 SOS 232853424 HAS SOPS 232853424 HAS SOUS 145316922 HAS SOUPS 145316922 WITH SCORE 1.45549775424E8
AT ITER 3720 NEW BEST:: SOT 837223812 SOS 232843212 HAS SOPS 232843212 HAS SOUS 145314369 HAS SOUPS 145314369 WITH SCORE 1.45547212212E8
AT ITER 3721 NEW BEST:: SOT 837215905 SOS 232833343 HAS SOPS 232833343 HAS SOUS 145312405 HAS SOUPS 145312405 WITH SCORE 1.45545238343E8
AT ITER 3722 NEW BEST:: SOT 837210017 SOS 232824510 HAS SOPS 232824510 HAS SOUS 145312402 HAS SOUPS 145312402 WITH SCORE 1.4554522651E8
AT ITER 3727 NEW BEST:: SOT 837198916 SOS 232810978 HAS SOPS 232810978 HAS SOUS 145310732 HAS SOUPS 145310732 WITH SCORE 1.45543542978E8
AT ITER 3732 NEW BEST:: SOT 837192678 SOS 232801621 HAS SOPS 232801621 HAS SOUS 145310732 HAS SOUPS 145310732 WITH SCORE 1.45543533621E8
AT ITER 3741 NEW BEST:: SOT 837190131 SOS 232798225 HAS SOPS 232798225 HAS SOUS 145309883 HAS SOUPS 145309883 WITH SCORE 1.45542681225E8
AT ITER 3766 NEW BEST:: SOT 837179329 SOS 232782021 HAS SOPS 232782021 HAS SOUS 145309880 HAS SOUPS 145309880 WITH SCORE 1.45542662021E8
AT ITER 3772 NEW BEST:: SOT 837165971 SOS 232766739 HAS SOPS 232766739 HAS SOUS 145308246 HAS SOUPS 145308246 WITH SCORE 1.45541012739E8
AT ITER 3786 NEW BEST:: SOT 837158087 SOS 232756226 HAS SOPS 232756226 HAS SOUS 145305615 HAS SOUPS 145305615 WITH SCORE 1.45538371226E8
AT ITER 3841 NEW BEST:: SOT 837147306 SOS 232743019 HAS SOPS 232743019 HAS SOUS 145303187 HAS SOUPS 145303187 WITH SCORE 1.45535930019E8
AT ITER 3851 NEW BEST:: SOT 837131073 SOS 232714279 HAS SOPS 232714279 HAS SOUS 145288470 HAS SOUPS 145288470 WITH SCORE 1.45521184279E8
AT ITER 3856 NEW BEST:: SOT 837121037 SOS 232702314 HAS SOPS 232702314 HAS SOUS 145287389 HAS SOUPS 145287389 WITH SCORE 1.45520091314E8
AT ITER 3862 NEW BEST:: SOT 837116705 SOS 232696537 HAS SOPS 232696537 HAS SOUS 145285942 HAS SOUPS 145285942 WITH SCORE 1.45518638537E8
AT ITER 3863 NEW BEST:: SOT 837106815 SOS 232684357 HAS SOPS 232684357 HAS SOUS 145283652 HAS SOUPS 145283652 WITH SCORE 1.45516336357E8
AT ITER 3872 NEW BEST:: SOT 837099057 SOS 232672720 HAS SOPS 232672720 HAS SOUS 145283652 HAS SOUPS 145283652 WITH SCORE 1.4551632472E8
AT ITER 3881 NEW BEST:: SOT 837098089 SOS 232670784 HAS SOPS 232670784 HAS SOUS 145282684 HAS SOUPS 145282684 WITH SCORE 1.45515354784E8
AT ITER 3887 NEW BEST:: SOT 837092539 SOS 232663925 HAS SOPS 232663925 HAS SOUS 145281373 HAS SOUPS 145281373 WITH SCORE 1.45514036925E8
AT ITER 3904 NEW BEST:: SOT 837081771 SOS 232647772 HAS SOPS 232647772 HAS SOUS 145281370 HAS SOUPS 145281370 WITH SCORE 1.45514017772E8
AT ITER 3907 NEW BEST:: SOT 837077403 SOS 232641219 HAS SOPS 232641219 HAS SOUS 145281367 HAS SOUPS 145281367 WITH SCORE 1.45514008219E8
AT ITER 3946 NEW BEST:: SOT 837076857 SOS 232640490 HAS SOPS 232640490 HAS SOUS 145281182 HAS SOUPS 145281182 WITH SCORE 1.4551382249E8
AT ITER 3994 NEW BEST:: SOT 837071583 SOS 232633457 HAS SOPS 232633457 HAS SOUS 145279421 HAS SOUPS 145279421 WITH SCORE 1.45512054457E8
AT ITER 4004 NEW BEST:: SOT 837070533 SOS 232632057 HAS SOPS 232632057 HAS SOUS 145279071 HAS SOUPS 145279071 WITH SCORE 1.45511703057E8
AT ITER 4013 NEW BEST:: SOT 837062227 SOS 232619597 HAS SOPS 232619597 HAS SOUS 145279068 HAS SOUPS 145279068 WITH SCORE 1.45511687597E8
AT ITER 4028 NEW BEST:: SOT 837049697 SOS 232600802 HAS SOPS 232600802 HAS SOUS 145279068 HAS SOUPS 145279068 WITH SCORE 1.45511668802E8
AT ITER 4033 NEW BEST:: SOT 837041079 SOS 232587875 HAS SOPS 232587875 HAS SOUS 145279068 HAS SOUPS 145279068 WITH SCORE 1.45511655875E8
AT ITER 4047 NEW BEST:: SOT 837031932 SOS 232577614 HAS SOPS 232577614 HAS SOUS 145278048 HAS SOUPS 145278048 WITH SCORE 1.45510625614E8
AT ITER 4051 NEW BEST:: SOT 837024796 SOS 232568266 HAS SOPS 232568266 HAS SOUS 145275836 HAS SOUPS 145275836 WITH SCORE 1.45508404266E8
AT ITER 4068 NEW BEST:: SOT 837020112 SOS 232561240 HAS SOPS 232561240 HAS SOUS 145275836 HAS SOUPS 145275836 WITH SCORE 1.4550839724E8
AT ITER 4073 NEW BEST:: SOT 837013306 SOS 232551030 HAS SOPS 232551030 HAS SOUS 145275833 HAS SOUPS 145275833 WITH SCORE 1.4550838403E8
AT ITER 4082 NEW BEST:: SOT 837003692 SOS 232536609 HAS SOPS 232536609 HAS SOUS 145275833 HAS SOUPS 145275833 WITH SCORE 1.45508369609E8
AT ITER 4084 NEW BEST:: SOT 836998871 SOS 232530181 HAS SOPS 232530181 HAS SOUS 145274226 HAS SOUPS 145274226 WITH SCORE 1.45506756181E8
AT ITER 4087 NEW BEST:: SOT 836988987 SOS 232515355 HAS SOPS 232515355 HAS SOUS 145274226 HAS SOUPS 145274226 WITH SCORE 1.45506741355E8
AT ITER 4097 NEW BEST:: SOT 836978155 SOS 232503821 HAS SOPS 232503821 HAS SOUS 145273909 HAS SOUPS 145273909 WITH SCORE 1.45506412821E8
AT ITER 4103 NEW BEST:: SOT 836973751 SOS 232498179 HAS SOPS 232498179 HAS SOUS 145272671 HAS SOUPS 145272671 WITH SCORE 1.45505169179E8
AT ITER 4106 NEW BEST:: SOT 836972795 SOS 232496744 HAS SOPS 232496744 HAS SOUS 145272668 HAS SOUPS 145272668 WITH SCORE 1.45505164744E8
AT ITER 4107 NEW BEST:: SOT 836958891 SOS 232475888 HAS SOPS 232475888 HAS SOUS 145272668 HAS SOUPS 145272668 WITH SCORE 1.45505143888E8
AT ITER 4129 NEW BEST:: SOT 836948150 SOS 232462606 HAS SOPS 232462606 HAS SOUS 145270127 HAS SOUPS 145270127 WITH SCORE 1.45502589606E8
AT ITER 4152 NEW BEST:: SOT 836942942 SOS 232455662 HAS SOPS 232455662 HAS SOUS 145268391 HAS SOUPS 145268391 WITH SCORE 1.45500846662E8
AT ITER 4155 NEW BEST:: SOT 836932212 SOS 232439566 HAS SOPS 232439566 HAS SOUS 145268388 HAS SOUPS 145268388 WITH SCORE 1.45500827566E8
AT ITER 4176 NEW BEST:: SOT 836931818 SOS 232438778 HAS SOPS 232438778 HAS SOUS 145267994 HAS SOUPS 145267994 WITH SCORE 1.45500432778E8
AT ITER 4184 NEW BEST:: SOT 836921550 SOS 232423376 HAS SOPS 232423376 HAS SOUS 145267994 HAS SOUPS 145267994 WITH SCORE 1.45500417376E8
AT ITER 4213 NEW BEST:: SOT 836915751 SOS 232415644 HAS SOPS 232415644 HAS SOUS 145266061 HAS SOUPS 145266061 WITH SCORE 1.45498476644E8
AT ITER 4232 NEW BEST:: SOT 836905383 SOS 232402843 HAS SOPS 232402843 HAS SOUS 145264240 HAS SOUPS 145264240 WITH SCORE 1.45496642843E8
AT ITER 4236 NEW BEST:: SOT 836893466 SOS 232387280 HAS SOPS 232387280 HAS SOUS 145260788 HAS SOUPS 145260788 WITH SCORE 1.4549317528E8
AT ITER 4245 NEW BEST:: SOT 836884859 SOS 232376266 HAS SOPS 232376266 HAS SOUS 145258381 HAS SOUPS 145258381 WITH SCORE 1.45490757266E8
AT ITER 4256 NEW BEST:: SOT 836879929 SOS 232370039 HAS SOPS 232370039 HAS SOUS 145257290 HAS SOUPS 145257290 WITH SCORE 1.45489660039E8
AT ITER 4257 NEW BEST:: SOT 836875171 SOS 232363694 HAS SOPS 232363694 HAS SOUS 145255701 HAS SOUPS 145255701 WITH SCORE 1.45488064694E8
AT ITER 4269 NEW BEST:: SOT 836863687 SOS 232349686 HAS SOPS 232349686 HAS SOUS 145253177 HAS SOUPS 145253177 WITH SCORE 1.45485526686E8
AT ITER 4274 NEW BEST:: SOT 836859151 SOS 232343876 HAS SOPS 232343876 HAS SOUS 145251903 HAS SOUPS 145251903 WITH SCORE 1.45484246876E8
AT ITER 4286 NEW BEST:: SOT 836847721 SOS 232329747 HAS SOPS 232329747 HAS SOUS 145249202 HAS SOUPS 145249202 WITH SCORE 1.45481531747E8
AT ITER 4301 NEW BEST:: SOT 836846094 SOS 232327602 HAS SOPS 232327602 HAS SOUS 145248682 HAS SOUPS 145248682 WITH SCORE 1.45481009602E8
AT ITER 4335 NEW BEST:: SOT 836840006 SOS 232318469 HAS SOPS 232318469 HAS SOUS 145248679 HAS SOUPS 145248679 WITH SCORE 1.45480997469E8
AT ITER 4358 NEW BEST:: SOT 836831210 SOS 232305274 HAS SOPS 232305274 HAS SOUS 145248676 HAS SOUPS 145248676 WITH SCORE 1.45480981274E8
AT ITER 4385 NEW BEST:: SOT 836826234 SOS 232297810 HAS SOPS 232297810 HAS SOUS 145248676 HAS SOUPS 145248676 WITH SCORE 1.4548097381E8
AT ITER 4400 NEW BEST:: SOT 836818897 SOS 232290030 HAS SOPS 232290030 HAS SOUS 145247891 HAS SOUPS 145247891 WITH SCORE 1.4548018103E8
AT ITER 4403 NEW BEST:: SOT 836813560 SOS 232282913 HAS SOPS 232282913 HAS SOUS 145246109 HAS SOUPS 145246109 WITH SCORE 1.45478391913E8
AT ITER 4411 NEW BEST:: SOT 836808626 SOS 232273045 HAS SOPS 232273045 HAS SOUS 145238708 HAS SOUPS 145238708 WITH SCORE 1.45470981045E8
AT ITER 4458 NEW BEST:: SOT 836795308 SOS 232253067 HAS SOPS 232253067 HAS SOUS 145238705 HAS SOUPS 145238705 WITH SCORE 1.45470958067E8
AT ITER 4480 NEW BEST:: SOT 836787012 SOS 232240622 HAS SOPS 232240622 HAS SOUS 145238702 HAS SOUPS 145238702 WITH SCORE 1.45470942622E8
AT ITER 4491 NEW BEST:: SOT 836778802 SOS 232228306 HAS SOPS 232228306 HAS SOUS 145238699 HAS SOUPS 145238699 WITH SCORE 1.45470927306E8
AT ITER 4494 NEW BEST:: SOT 836775976 SOS 232224538 HAS SOPS 232224538 HAS SOUS 145237757 HAS SOUPS 145237757 WITH SCORE 1.45469981538E8
AT ITER 4495 NEW BEST:: SOT 836773070 SOS 232220178 HAS SOPS 232220178 HAS SOUS 145237754 HAS SOUPS 145237754 WITH SCORE 1.45469974178E8
AT ITER 4506 NEW BEST:: SOT 836768480 SOS 232213293 HAS SOPS 232213293 HAS SOUS 145237754 HAS SOUPS 145237754 WITH SCORE 1.45469967293E8
AT ITER 4507 NEW BEST:: SOT 836753890 SOS 232191408 HAS SOPS 232191408 HAS SOUS 145237754 HAS SOUPS 145237754 WITH SCORE 1.45469945408E8
AT ITER 4514 NEW BEST:: SOT 836742759 SOS 232177916 HAS SOPS 232177916 HAS SOUS 145236202 HAS SOUPS 145236202 WITH SCORE 1.45468379916E8
AT ITER 4525 NEW BEST:: SOT 836735292 SOS 232168237 HAS SOPS 232168237 HAS SOUS 145233988 HAS SOUPS 145233988 WITH SCORE 1.45466156237E8
AT ITER 4540 NEW BEST:: SOT 836728196 SOS 232159392 HAS SOPS 232159392 HAS SOUS 145232607 HAS SOUPS 145232607 WITH SCORE 1.45464766392E8
AT ITER 4550 NEW BEST:: SOT 836725628 SOS 232155967 HAS SOPS 232155967 HAS SOUS 145231748 HAS SOUPS 145231748 WITH SCORE 1.45463903967E8
AT ITER 4589 NEW BEST:: SOT 836715107 SOS 232143119 HAS SOPS 232143119 HAS SOUS 145229421 HAS SOUPS 145229421 WITH SCORE 1.45461564119E8
AT ITER 4623 NEW BEST:: SOT 836705553 SOS 232128787 HAS SOPS 232128787 HAS SOUS 145229418 HAS SOUPS 145229418 WITH SCORE 1.45461546787E8
AT ITER 4631 NEW BEST:: SOT 836697927 SOS 232117348 HAS SOPS 232117348 HAS SOUS 145229418 HAS SOUPS 145229418 WITH SCORE 1.45461535348E8
AT ITER 4674 NEW BEST:: SOT 836687601 SOS 232103580 HAS SOPS 232103580 HAS SOUS 145225976 HAS SOUPS 145225976 WITH SCORE 1.4545807958E8
AT ITER 4684 NEW BEST:: SOT 836678056 SOS 232092616 HAS SOPS 232092616 HAS SOUS 145225614 HAS SOUPS 145225614 WITH SCORE 1.45457706616E8
AT ITER 4686 NEW BEST:: SOT 836673538 SOS 232085838 HAS SOPS 232085838 HAS SOUS 145225611 HAS SOUPS 145225611 WITH SCORE 1.45457696838E8
AT ITER 4687 NEW BEST:: SOT 836665892 SOS 232074368 HAS SOPS 232074368 HAS SOUS 145225608 HAS SOUPS 145225608 WITH SCORE 1.45457682368E8
AT ITER 4705 NEW BEST:: SOT 836652036 SOS 232053583 HAS SOPS 232053583 HAS SOUS 145225605 HAS SOUPS 145225605 WITH SCORE 1.45457658583E8
AT ITER 4715 NEW BEST:: SOT 836650856 SOS 232051813 HAS SOPS 232051813 HAS SOUS 145225605 HAS SOUPS 145225605 WITH SCORE 1.45457656813E8
AT ITER 4743 NEW BEST:: SOT 836638956 SOS 232033962 HAS SOPS 232033962 HAS SOUS 145225602 HAS SOUPS 145225602 WITH SCORE 1.45457635962E8
AT ITER 4755 NEW BEST:: SOT 836627298 SOS 232016475 HAS SOPS 232016475 HAS SOUS 145225602 HAS SOUPS 145225602 WITH SCORE 1.45457618475E8
AT ITER 4756 NEW BEST:: SOT 836622032 SOS 232009921 HAS SOPS 232009921 HAS SOUS 145224314 HAS SOUPS 145224314 WITH SCORE 1.45456323921E8
AT ITER 4765 NEW BEST:: SOT 836613664 SOS 231999503 HAS SOPS 231999503 HAS SOUS 145222707 HAS SOUPS 145222707 WITH SCORE 1.45454706503E8
AT ITER 4769 NEW BEST:: SOT 836603689 SOS 231986202 HAS SOPS 231986202 HAS SOUS 145219379 HAS SOUPS 145219379 WITH SCORE 1.45451365202E8
AT ITER 4782 NEW BEST:: SOT 836591545 SOS 231967986 HAS SOPS 231967986 HAS SOUS 145219379 HAS SOUPS 145219379 WITH SCORE 1.45451346986E8
AT ITER 4795 NEW BEST:: SOT 836585219 SOS 231958497 HAS SOPS 231958497 HAS SOUS 145219379 HAS SOUPS 145219379 WITH SCORE 1.45451337497E8
AT ITER 4802 NEW BEST:: SOT 836570567 SOS 231936518 HAS SOPS 231936518 HAS SOUS 145219376 HAS SOUPS 145219376 WITH SCORE 1.45451312518E8
AT ITER 4808 NEW BEST:: SOT 836560368 SOS 231924138 HAS SOPS 231924138 HAS SOUS 145217195 HAS SOUPS 145217195 WITH SCORE 1.45449119138E8
AT ITER 4811 NEW BEST:: SOT 836552588 SOS 231912467 HAS SOPS 231912467 HAS SOUS 145217192 HAS SOUPS 145217192 WITH SCORE 1.45449104467E8
AT ITER 4819 NEW BEST:: SOT 836543801 SOS 231900751 HAS SOPS 231900751 HAS SOUS 145214263 HAS SOUPS 145214263 WITH SCORE 1.45446163751E8
AT ITER 4837 NEW BEST:: SOT 836534065 SOS 231886147 HAS SOPS 231886147 HAS SOUS 145214263 HAS SOUPS 145214263 WITH SCORE 1.45446149147E8
AT ITER 4851 NEW BEST:: SOT 836525715 SOS 231873621 HAS SOPS 231873621 HAS SOUS 145214260 HAS SOUPS 145214260 WITH SCORE 1.45446133621E8
AT ITER 4863 NEW BEST:: SOT 836518985 SOS 231863525 HAS SOPS 231863525 HAS SOUS 145214257 HAS SOUPS 145214257 WITH SCORE 1.45446120525E8
AT ITER 4869 NEW BEST:: SOT 836517608 SOS 231861688 HAS SOPS 231861688 HAS SOUS 145213795 HAS SOUPS 145213795 WITH SCORE 1.45445656688E8
AT ITER 4887 NEW BEST:: SOT 836511878 SOS 231854048 HAS SOPS 231854048 HAS SOUS 145211885 HAS SOUPS 145211885 WITH SCORE 1.45443739048E8
AT ITER 4898 NEW BEST:: SOT 836506994 SOS 231846722 HAS SOPS 231846722 HAS SOUS 145211885 HAS SOUPS 145211885 WITH SCORE 1.45443731722E8
AT ITER 4901 NEW BEST:: SOT 836506994 SOS 231846721 HAS SOPS 231846721 HAS SOUS 145211882 HAS SOUPS 145211882 WITH SCORE 1.45443728721E8
AT ITER 4905 NEW BEST:: SOT 836496515 SOS 231833850 HAS SOPS 231833850 HAS SOUS 145209488 HAS SOUPS 145209488 WITH SCORE 1.4544132185E8
AT ITER 4909 NEW BEST:: SOT 836495348 SOS 231832294 HAS SOPS 231832294 HAS SOUS 145209099 HAS SOUPS 145209099 WITH SCORE 1.45440931294E8
AT ITER 4923 NEW BEST:: SOT 836485186 SOS 231817050 HAS SOPS 231817050 HAS SOUS 145209096 HAS SOUPS 145209096 WITH SCORE 1.4544091305E8
AT ITER 4925 NEW BEST:: SOT 836476977 SOS 231800864 HAS SOPS 231800864 HAS SOUS 145197471 HAS SOUPS 145197471 WITH SCORE 1.45429271864E8
AT ITER 4947 NEW BEST:: SOT 836472257 SOS 231793783 HAS SOPS 231793783 HAS SOUS 145197468 HAS SOUPS 145197468 WITH SCORE 1.45429261783E8
AT ITER 4959 NEW BEST:: SOT 836466431 SOS 231785044 HAS SOPS 231785044 HAS SOUS 145197468 HAS SOUPS 145197468 WITH SCORE 1.45429253044E8
AT ITER 4971 NEW BEST:: SOT 836461767 SOS 231778048 HAS SOPS 231778048 HAS SOUS 145197468 HAS SOUPS 145197468 WITH SCORE 1.45429246048E8
AT ITER 4975 NEW BEST:: SOT 836452511 SOS 231764164 HAS SOPS 231764164 HAS SOUS 145197468 HAS SOUPS 145197468 WITH SCORE 1.45429232164E8
AT ITER 4983 NEW BEST:: SOT 836441427 SOS 231750970 HAS SOPS 231750970 HAS SOUS 145195412 HAS SOUPS 145195412 WITH SCORE 1.4542716297E8
AT ITER 4985 NEW BEST:: SOT 836427899 SOS 231730678 HAS SOPS 231730678 HAS SOUS 145195412 HAS SOUPS 145195412 WITH SCORE 1.45427142678E8
AT ITER 4992 NEW BEST:: SOT 836414523 SOS 231716576 HAS SOPS 231716576 HAS SOUS 145195277 HAS SOUPS 145195277 WITH SCORE 1.45426993576E8
AT ITER 5003 NEW BEST:: SOT 836405759 SOS 231703430 HAS SOPS 231703430 HAS SOUS 145195277 HAS SOUPS 145195277 WITH SCORE 1.4542698043E8
AT ITER 5004 NEW BEST:: SOT 836403620 SOS 231700695 HAS SOPS 231700695 HAS SOUS 145194679 HAS SOUPS 145194679 WITH SCORE 1.45426379695E8
AT ITER 5017 NEW BEST:: SOT 836403620 SOS 231700694 HAS SOPS 231700694 HAS SOUS 145194676 HAS SOUPS 145194676 WITH SCORE 1.45426376694E8
AT ITER 5025 NEW BEST:: SOT 836394813 SOS 231688263 HAS SOPS 231688263 HAS SOUS 145191362 HAS SOUPS 145191362 WITH SCORE 1.45423050263E8
AT ITER 5031 NEW BEST:: SOT 836380732 SOS 231670574 HAS SOPS 231670574 HAS SOUS 145187752 HAS SOUPS 145187752 WITH SCORE 1.45419422574E8
AT ITER 5038 NEW BEST:: SOT 836375488 SOS 231662708 HAS SOPS 231662708 HAS SOUS 145187752 HAS SOUPS 145187752 WITH SCORE 1.45419414708E8
AT ITER 5053 NEW BEST:: SOT 836370028 SOS 231654517 HAS SOPS 231654517 HAS SOUS 145187749 HAS SOUPS 145187749 WITH SCORE 1.45419403517E8
AT ITER 5057 NEW BEST:: SOT 836356850 SOS 231639367 HAS SOPS 231639367 HAS SOUS 145186040 HAS SOUPS 145186040 WITH SCORE 1.45417679367E8
AT ITER 5059 NEW BEST:: SOT 836347970 SOS 231626047 HAS SOPS 231626047 HAS SOUS 145186040 HAS SOUPS 145186040 WITH SCORE 1.45417666047E8
AT ITER 5062 NEW BEST:: SOT 836336241 SOS 231612625 HAS SOPS 231612625 HAS SOUS 145184559 HAS SOUPS 145184559 WITH SCORE 1.45416171625E8
AT ITER 5064 NEW BEST:: SOT 836325265 SOS 231597341 HAS SOPS 231597341 HAS SOUS 145173375 HAS SOUPS 145173375 WITH SCORE 1.45404972341E8
AT ITER 5094 NEW BEST:: SOT 836312318 SOS 231582127 HAS SOPS 231582127 HAS SOUS 145171278 HAS SOUPS 145171278 WITH SCORE 1.45402860127E8
AT ITER 5114 NEW BEST:: SOT 836303072 SOS 231568257 HAS SOPS 231568257 HAS SOUS 145171275 HAS SOUPS 145171275 WITH SCORE 1.45402843257E8
AT ITER 5121 NEW BEST:: SOT 836303072 SOS 231565546 HAS SOPS 231565546 HAS SOUS 145163142 HAS SOUPS 145163142 WITH SCORE 1.45394707546E8
AT ITER 5147 NEW BEST:: SOT 836289049 SOS 231550767 HAS SOPS 231550767 HAS SOUS 145162992 HAS SOUPS 145162992 WITH SCORE 1.45394542767E8
AT ITER 5149 NEW BEST:: SOT 836282369 SOS 231540746 HAS SOPS 231540746 HAS SOUS 145162989 HAS SOUPS 145162989 WITH SCORE 1.45394529746E8
AT ITER 5158 NEW BEST:: SOT 836272089 SOS 231525325 HAS SOPS 231525325 HAS SOUS 145162986 HAS SOUPS 145162986 WITH SCORE 1.45394511325E8
AT ITER 5175 NEW BEST:: SOT 836266173 SOS 231516450 HAS SOPS 231516450 HAS SOUS 145162983 HAS SOUPS 145162983 WITH SCORE 1.4539449945E8
AT ITER 5178 NEW BEST:: SOT 836250888 SOS 231497935 HAS SOPS 231497935 HAS SOUS 145159876 HAS SOUPS 145159876 WITH SCORE 1.45391373935E8
AT ITER 5179 NEW BEST:: SOT 836245782 SOS 231490276 HAS SOPS 231490276 HAS SOUS 145159876 HAS SOUPS 145159876 WITH SCORE 1.45391366276E8
AT ITER 5187 NEW BEST:: SOT 836238809 SOS 231481178 HAS SOPS 231481178 HAS SOUS 145157870 HAS SOUPS 145157870 WITH SCORE 1.45389351178E8
AT ITER 5240 NEW BEST:: SOT 836232569 SOS 231472858 HAS SOPS 231472858 HAS SOUS 145155790 HAS SOUPS 145155790 WITH SCORE 1.45387262858E8
AT ITER 5266 NEW BEST:: SOT 836225047 SOS 231461574 HAS SOPS 231461574 HAS SOUS 145155787 HAS SOUPS 145155787 WITH SCORE 1.45387248574E8
AT ITER 5283 NEW BEST:: SOT 836225047 SOS 231459317 HAS SOPS 231459317 HAS SOUS 145149016 HAS SOUPS 145149016 WITH SCORE 1.45380475317E8
AT ITER 5313 NEW BEST:: SOT 836220169 SOS 231452000 HAS SOPS 231452000 HAS SOUS 145149016 HAS SOUPS 145149016 WITH SCORE 1.45380468E8
AT ITER 5315 NEW BEST:: SOT 836218010 SOS 231449288 HAS SOPS 231449288 HAS SOUS 145148463 HAS SOUPS 145148463 WITH SCORE 1.45379912288E8
AT ITER 5345 NEW BEST:: SOT 836208924 SOS 231435658 HAS SOPS 231435658 HAS SOUS 145148460 HAS SOUPS 145148460 WITH SCORE 1.45379895658E8
AT ITER 5363 NEW BEST:: SOT 836199822 SOS 231423522 HAS SOPS 231423522 HAS SOUS 145145426 HAS SOUPS 145145426 WITH SCORE 1.45376849522E8
AT ITER 5370 NEW BEST:: SOT 836195337 SOS 231417997 HAS SOPS 231417997 HAS SOUS 145144384 HAS SOUPS 145144384 WITH SCORE 1.45375801997E8
AT ITER 5382 NEW BEST:: SOT 836180466 SOS 231399532 HAS SOPS 231399532 HAS SOUS 145140788 HAS SOUPS 145140788 WITH SCORE 1.45372187532E8
AT ITER 5408 NEW BEST:: SOT 836178336 SOS 231397401 HAS SOPS 231397401 HAS SOUS 145140786 HAS SOUPS 145140786 WITH SCORE 1.45372183401E8
AT ITER 5413 NEW BEST:: SOT 836164912 SOS 231382195 HAS SOPS 231382195 HAS SOUS 145139335 HAS SOUPS 145139335 WITH SCORE 1.45370717195E8
AT ITER 5452 NEW BEST:: SOT 836154360 SOS 231366367 HAS SOPS 231366367 HAS SOUS 145139335 HAS SOUPS 145139335 WITH SCORE 1.45370701367E8
AT ITER 5465 NEW BEST:: SOT 836149344 SOS 231359678 HAS SOPS 231359678 HAS SOUS 145137660 HAS SOUPS 145137660 WITH SCORE 1.45369019678E8
AT ITER 5491 NEW BEST:: SOT 836139322 SOS 231344645 HAS SOPS 231344645 HAS SOUS 145137660 HAS SOUPS 145137660 WITH SCORE 1.45369004645E8
AT ITER 5520 NEW BEST:: SOT 836134558 SOS 231337499 HAS SOPS 231337499 HAS SOUS 145137660 HAS SOUPS 145137660 WITH SCORE 1.45368997499E8
AT ITER 5545 NEW BEST:: SOT 836129506 SOS 231332446 HAS SOPS 231332446 HAS SOUS 145137657 HAS SOUPS 145137657 WITH SCORE 1.45368989446E8
AT ITER 5550 NEW BEST:: SOT 836124034 SOS 231324237 HAS SOPS 231324237 HAS SOUS 145137654 HAS SOUPS 145137654 WITH SCORE 1.45368978237E8
AT ITER 5581 NEW BEST:: SOT 836114934 SOS 231310587 HAS SOPS 231310587 HAS SOUS 145137654 HAS SOUPS 145137654 WITH SCORE 1.45368964587E8
AT ITER 5601 NEW BEST:: SOT 836108373 SOS 231301839 HAS SOPS 231301839 HAS SOUS 145135467 HAS SOUPS 145135467 WITH SCORE 1.45366768839E8
AT ITER 5610 NEW BEST:: SOT 836101831 SOS 231292025 HAS SOPS 231292025 HAS SOUS 145135464 HAS SOUPS 145135464 WITH SCORE 1.45366756025E8
AT ITER 5634 NEW BEST:: SOT 836093211 SOS 231279095 HAS SOPS 231279095 HAS SOUS 145135464 HAS SOUPS 145135464 WITH SCORE 1.45366743095E8
AT ITER 5648 NEW BEST:: SOT 836087269 SOS 231270181 HAS SOPS 231270181 HAS SOUS 145135461 HAS SOUPS 145135461 WITH SCORE 1.45366731181E8
AT ITER 5650 NEW BEST:: SOT 836076148 SOS 231256936 HAS SOPS 231256936 HAS SOUS 145134285 HAS SOUPS 145134285 WITH SCORE 1.45365541936E8
AT ITER 5652 NEW BEST:: SOT 836061134 SOS 231234415 HAS SOPS 231234415 HAS SOUS 145134285 HAS SOUPS 145134285 WITH SCORE 1.45365519415E8
AT ITER 5669 NEW BEST:: SOT 836053958 SOS 231227239 HAS SOPS 231227239 HAS SOUS 145134285 HAS SOUPS 145134285 WITH SCORE 1.45365512239E8
AT ITER 5673 NEW BEST:: SOT 836043080 SOS 231210922 HAS SOPS 231210922 HAS SOUS 145134285 HAS SOUPS 145134285 WITH SCORE 1.45365495922E8
AT ITER 5701 NEW BEST:: SOT 836037046 SOS 231201871 HAS SOPS 231201871 HAS SOUS 145134285 HAS SOUPS 145134285 WITH SCORE 1.45365486871E8
AT ITER 5742 NEW BEST:: SOT 836027953 SOS 231189747 HAS SOPS 231189747 HAS SOUS 145131254 HAS SOUPS 145131254 WITH SCORE 1.45362443747E8
AT ITER 5752 NEW BEST:: SOT 836017712 SOS 231177235 HAS SOPS 231177235 HAS SOUS 145129668 HAS SOUPS 145129668 WITH SCORE 1.45360845235E8
AT ITER 5757 NEW BEST:: SOT 836005692 SOS 231159205 HAS SOPS 231159205 HAS SOUS 145129668 HAS SOUPS 145129668 WITH SCORE 1.45360827205E8
AT ITER 5780 NEW BEST:: SOT 835999506 SOS 231149925 HAS SOPS 231149925 HAS SOUS 145129665 HAS SOUPS 145129665 WITH SCORE 1.45360814925E8
AT ITER 5794 NEW BEST:: SOT 835995839 SOS 231146965 HAS SOPS 231146965 HAS SOUS 145129665 HAS SOUPS 145129665 WITH SCORE 1.45360811965E8
AT ITER 5822 NEW BEST:: SOT 835987161 SOS 231133948 HAS SOPS 231133948 HAS SOUS 145129665 HAS SOUPS 145129665 WITH SCORE 1.45360798948E8
AT ITER 5884 NEW BEST:: SOT 835980340 SOS 231124960 HAS SOPS 231124960 HAS SOUS 145127498 HAS SOUPS 145127498 WITH SCORE 1.4535862296E8
AT ITER 5892 NEW BEST:: SOT 835976230 SOS 231118795 HAS SOPS 231118795 HAS SOUS 145127498 HAS SOUPS 145127498 WITH SCORE 1.45358616795E8
AT ITER 5894 NEW BEST:: SOT 835971596 SOS 231111843 HAS SOPS 231111843 HAS SOUS 145127495 HAS SOUPS 145127495 WITH SCORE 1.45358606843E8
AT ITER 5908 NEW BEST:: SOT 835959061 SOS 231091146 HAS SOPS 231091146 HAS SOUS 145120035 HAS SOUPS 145120035 WITH SCORE 1.45351126146E8
AT ITER 5942 NEW BEST:: SOT 835950287 SOS 231077985 HAS SOPS 231077985 HAS SOUS 145120035 HAS SOUPS 145120035 WITH SCORE 1.45351112985E8
AT ITER 5969 NEW BEST:: SOT 835944523 SOS 231069338 HAS SOPS 231069338 HAS SOUS 145120032 HAS SOUPS 145120032 WITH SCORE 1.45351101338E8
AT ITER 5975 NEW BEST:: SOT 835936669 SOS 231057556 HAS SOPS 231057556 HAS SOUS 145120029 HAS SOUPS 145120029 WITH SCORE 1.45351086556E8
AT ITER 5983 NEW BEST:: SOT 835923776 SOS 231041509 HAS SOPS 231041509 HAS SOUS 145116873 HAS SOUPS 145116873 WITH SCORE 1.45347914509E8
AT ITER 6019 NEW BEST:: SOT 835916307 SOS 231029660 HAS SOPS 231029660 HAS SOUS 145113698 HAS SOUPS 145113698 WITH SCORE 1.4534472766E8
AT ITER 6028 NEW BEST:: SOT 835904027 SOS 231010071 HAS SOPS 231010071 HAS SOUS 145109044 HAS SOUPS 145109044 WITH SCORE 1.45340054071E8
AT ITER 6039 NEW BEST:: SOT 835899508 SOS 231004303 HAS SOPS 231004303 HAS SOUS 145107795 HAS SOUPS 145107795 WITH SCORE 1.45338799303E8
AT ITER 6049 NEW BEST:: SOT 835897420 SOS 231001170 HAS SOPS 231001170 HAS SOUS 145107792 HAS SOUPS 145107792 WITH SCORE 1.4533879317E8
AT ITER 6056 NEW BEST:: SOT 835883509 SOS 230984911 HAS SOPS 230984911 HAS SOUS 145105673 HAS SOUPS 145105673 WITH SCORE 1.45336657911E8
AT ITER 6059 NEW BEST:: SOT 835872675 SOS 230968660 HAS SOPS 230968660 HAS SOUS 145105673 HAS SOUPS 145105673 WITH SCORE 1.4533664166E8
AT ITER 6061 NEW BEST:: SOT 835871622 SOS 230966905 HAS SOPS 230966905 HAS SOUS 145104269 HAS SOUPS 145104269 WITH SCORE 1.45335235905E8
AT ITER 6096 NEW BEST:: SOT 835865194 SOS 230957262 HAS SOPS 230957262 HAS SOUS 145104266 HAS SOUPS 145104266 WITH SCORE 1.45335223262E8
AT ITER 6136 NEW BEST:: SOT 835855735 SOS 230945606 HAS SOPS 230945606 HAS SOUS 145102642 HAS SOUPS 145102642 WITH SCORE 1.45333587606E8
AT ITER 6168 NEW BEST:: SOT 835853902 SOS 230943161 HAS SOPS 230943161 HAS SOUS 145102028 HAS SOUPS 145102028 WITH SCORE 1.45332971161E8
AT ITER 6202 NEW BEST:: SOT 835851220 SOS 230939584 HAS SOPS 230939584 HAS SOUS 145101131 HAS SOUPS 145101131 WITH SCORE 1.45332070584E8
AT ITER 6204 NEW BEST:: SOT 835841174 SOS 230924515 HAS SOPS 230924515 HAS SOUS 145101131 HAS SOUPS 145101131 WITH SCORE 1.45332055515E8
AT ITER 6223 NEW BEST:: SOT 835834400 SOS 230914354 HAS SOPS 230914354 HAS SOUS 145101131 HAS SOUPS 145101131 WITH SCORE 1.45332045354E8
AT ITER 6282 NEW BEST:: SOT 835829759 SOS 230908166 HAS SOPS 230908166 HAS SOUS 145099584 HAS SOUPS 145099584 WITH SCORE 1.45330492166E8
AT ITER 6304 NEW BEST:: SOT 835820923 SOS 230894911 HAS SOPS 230894911 HAS SOUS 145099581 HAS SOUPS 145099581 WITH SCORE 1.45330475911E8
AT ITER 6376 NEW BEST:: SOT 835816775 SOS 230888689 HAS SOPS 230888689 HAS SOUS 145099581 HAS SOUPS 145099581 WITH SCORE 1.45330469689E8
AT ITER 6405 NEW BEST:: SOT 835814618 SOS 230885812 HAS SOPS 230885812 HAS SOUS 145098859 HAS SOUPS 145098859 WITH SCORE 1.45329744812E8
AT ITER 6438 NEW BEST:: SOT 835805598 SOS 230872282 HAS SOPS 230872282 HAS SOUS 145098859 HAS SOUPS 145098859 WITH SCORE 1.45329731282E8
AT ITER 6447 NEW BEST:: SOT 835803662 SOS 230869377 HAS SOPS 230869377 HAS SOUS 145098856 HAS SOUPS 145098856 WITH SCORE 1.45329725377E8
AT ITER 6450 NEW BEST:: SOT 835798546 SOS 230861703 HAS SOPS 230861703 HAS SOUS 145098856 HAS SOUPS 145098856 WITH SCORE 1.45329717703E8
AT ITER 6456 NEW BEST:: SOT 835791854 SOS 230851664 HAS SOPS 230851664 HAS SOUS 145098853 HAS SOUPS 145098853 WITH SCORE 1.45329704664E8
AT ITER 6500 NEW BEST:: SOT 835783043 SOS 230839915 HAS SOPS 230839915 HAS SOUS 145095913 HAS SOUPS 145095913 WITH SCORE 1.45326752915E8
AT ITER 6505 NEW BEST:: SOT 835768959 SOS 230818789 HAS SOPS 230818789 HAS SOUS 145095913 HAS SOUPS 145095913 WITH SCORE 1.45326731789E8
AT ITER 6516 NEW BEST:: SOT 835761327 SOS 230807341 HAS SOPS 230807341 HAS SOUS 145095913 HAS SOUPS 145095913 WITH SCORE 1.45326720341E8
AT ITER 6541 NEW BEST:: SOT 835758495 SOS 230803092 HAS SOPS 230803092 HAS SOUS 145095910 HAS SOUPS 145095910 WITH SCORE 1.45326713092E8
AT ITER 6590 NEW BEST:: SOT 835750458 SOS 230792375 HAS SOPS 230792375 HAS SOUS 145093228 HAS SOUPS 145093228 WITH SCORE 1.45324020375E8
AT ITER 6611 NEW BEST:: SOT 835746645 SOS 230787443 HAS SOPS 230787443 HAS SOUS 145092109 HAS SOUPS 145092109 WITH SCORE 1.45322896443E8
AT ITER 6626 NEW BEST:: SOT 835731303 SOS 230764430 HAS SOPS 230764430 HAS SOUS 145092109 HAS SOUPS 145092109 WITH SCORE 1.4532287343E8
AT ITER 6649 NEW BEST:: SOT 835725843 SOS 230756239 HAS SOPS 230756239 HAS SOUS 145092106 HAS SOUPS 145092106 WITH SCORE 1.45322862239E8
AT ITER 6674 NEW BEST:: SOT 835724047 SOS 230753544 HAS SOPS 230753544 HAS SOUS 145092103 HAS SOUPS 145092103 WITH SCORE 1.45322856544E8
AT ITER 6704 NEW BEST:: SOT 835712683 SOS 230736498 HAS SOPS 230736498 HAS SOUS 145092103 HAS SOUPS 145092103 WITH SCORE 1.45322839498E8
AT ITER 6721 NEW BEST:: SOT 835702537 SOS 230721278 HAS SOPS 230721278 HAS SOUS 145092100 HAS SOUPS 145092100 WITH SCORE 1.45322821278E8
AT ITER 6730 NEW BEST:: SOT 835698670 SOS 230716122 HAS SOPS 230716122 HAS SOUS 145090811 HAS SOUPS 145090811 WITH SCORE 1.45321527122E8
AT ITER 6740 NEW BEST:: SOT 835696496 SOS 230712861 HAS SOPS 230712861 HAS SOUS 145090811 HAS SOUPS 145090811 WITH SCORE 1.45321523861E8
AT ITER 6741 NEW BEST:: SOT 835687202 SOS 230701805 HAS SOPS 230701805 HAS SOUS 145089850 HAS SOUPS 145089850 WITH SCORE 1.45320551805E8
AT ITER 6791 NEW BEST:: SOT 835679156 SOS 230689735 HAS SOPS 230689735 HAS SOUS 145089847 HAS SOUPS 145089847 WITH SCORE 1.45320536735E8
AT ITER 6805 NEW BEST:: SOT 835669220 SOS 230674830 HAS SOPS 230674830 HAS SOUS 145089844 HAS SOUPS 145089844 WITH SCORE 1.4532051883E8
AT ITER 6806 NEW BEST:: SOT 835661392 SOS 230662121 HAS SOPS 230662121 HAS SOUS 145086943 HAS SOUPS 145086943 WITH SCORE 1.45317605121E8
AT ITER 6810 NEW BEST:: SOT 835653612 SOS 230650450 HAS SOPS 230650450 HAS SOUS 145086940 HAS SOUPS 145086940 WITH SCORE 1.4531759045E8
AT ITER 6811 NEW BEST:: SOT 835649342 SOS 230645466 HAS SOPS 230645466 HAS SOUS 145086651 HAS SOUPS 145086651 WITH SCORE 1.45317296466E8
AT ITER 6821 NEW BEST:: SOT 835641816 SOS 230634177 HAS SOPS 230634177 HAS SOUS 145086651 HAS SOUPS 145086651 WITH SCORE 1.45317285177E8
AT ITER 6873 NEW BEST:: SOT 835632012 SOS 230621105 HAS SOPS 230621105 HAS SOUS 145083383 HAS SOUPS 145083383 WITH SCORE 1.45314004105E8
AT ITER 6876 NEW BEST:: SOT 835630272 SOS 230618785 HAS SOPS 230618785 HAS SOUS 145082803 HAS SOUPS 145082803 WITH SCORE 1.45313421785E8
AT ITER 6896 NEW BEST:: SOT 835626974 SOS 230613837 HAS SOPS 230613837 HAS SOUS 145082800 HAS SOUPS 145082800 WITH SCORE 1.45313413837E8
AT ITER 6907 NEW BEST:: SOT 835620214 SOS 230603697 HAS SOPS 230603697 HAS SOUS 145082800 HAS SOUPS 145082800 WITH SCORE 1.45313403697E8
AT ITER 6935 NEW BEST:: SOT 835605253 SOS 230585056 HAS SOPS 230585056 HAS SOUS 145079118 HAS SOUPS 145079118 WITH SCORE 1.45309703056E8
AT ITER 6978 NEW BEST:: SOT 835597940 SOS 230578975 HAS SOPS 230578975 HAS SOUS 145078300 HAS SOUPS 145078300 WITH SCORE 1.45308878975E8
AT ITER 6979 NEW BEST:: SOT 835589317 SOS 230569037 HAS SOPS 230569037 HAS SOUS 145077920 HAS SOUPS 145077920 WITH SCORE 1.45308489037E8
AT ITER 6990 NEW BEST:: SOT 835588981 SOS 230568532 HAS SOPS 230568532 HAS SOUS 145077917 HAS SOUPS 145077917 WITH SCORE 1.45308485532E8
AT ITER 6991 NEW BEST:: SOT 835578322 SOS 230551217 HAS SOPS 230551217 HAS SOUS 145073073 HAS SOUPS 145073073 WITH SCORE 1.45303624217E8
AT ITER 6994 NEW BEST:: SOT 835573955 SOS 230545819 HAS SOPS 230545819 HAS SOUS 145072042 HAS SOUPS 145072042 WITH SCORE 1.45302587819E8
AT ITER 6995 NEW BEST:: SOT 835558433 SOS 230526964 HAS SOPS 230526964 HAS SOUS 145068826 HAS SOUPS 145068826 WITH SCORE 1.45299352964E8
AT ITER 7013 NEW BEST:: SOT 835548463 SOS 230512009 HAS SOPS 230512009 HAS SOUS 145068826 HAS SOUPS 145068826 WITH SCORE 1.45299338009E8
AT ITER 7026 NEW BEST:: SOT 835536025 SOS 230493352 HAS SOPS 230493352 HAS SOUS 145068826 HAS SOUPS 145068826 WITH SCORE 1.45299319352E8
AT ITER 7027 NEW BEST:: SOT 835525283 SOS 230477239 HAS SOPS 230477239 HAS SOUS 145068826 HAS SOUPS 145068826 WITH SCORE 1.45299303239E8
AT ITER 7031 NEW BEST:: SOT 835515183 SOS 230465135 HAS SOPS 230465135 HAS SOUS 145067639 HAS SOUPS 145067639 WITH SCORE 1.45298104135E8
AT ITER 7081 NEW BEST:: SOT 835505388 SOS 230452957 HAS SOPS 230452957 HAS SOUS 145065256 HAS SOUPS 145065256 WITH SCORE 1.45295708957E8
AT ITER 7086 NEW BEST:: SOT 835495284 SOS 230439484 HAS SOPS 230439484 HAS SOUS 145061885 HAS SOUPS 145061885 WITH SCORE 1.45292324484E8
AT ITER 7102 NEW BEST:: SOT 835488499 SOS 230431102 HAS SOPS 230431102 HAS SOUS 145060288 HAS SOUPS 145060288 WITH SCORE 1.45290719102E8
AT ITER 7108 NEW BEST:: SOT 835476323 SOS 230412838 HAS SOPS 230412838 HAS SOUS 145060288 HAS SOUPS 145060288 WITH SCORE 1.45290700838E8
AT ITER 7147 NEW BEST:: SOT 835466579 SOS 230398221 HAS SOPS 230398221 HAS SOUS 145060285 HAS SOUPS 145060285 WITH SCORE 1.45290683221E8
AT ITER 7148 NEW BEST:: SOT 835459341 SOS 230388783 HAS SOPS 230388783 HAS SOUS 145058212 HAS SOUPS 145058212 WITH SCORE 1.45288600783E8
AT ITER 7149 NEW BEST:: SOT 835448265 SOS 230374014 HAS SOPS 230374014 HAS SOUS 145054517 HAS SOUPS 145054517 WITH SCORE 1.45284891014E8
AT ITER 7168 NEW BEST:: SOT 835448265 SOS 230374013 HAS SOPS 230374013 HAS SOUS 145054514 HAS SOUPS 145054514 WITH SCORE 1.45284888013E8
AT ITER 7171 NEW BEST:: SOT 835435677 SOS 230358399 HAS SOPS 230358399 HAS SOUS 145051488 HAS SOUPS 145051488 WITH SCORE 1.45281846399E8
AT ITER 7214 NEW BEST:: SOT 835422368 SOS 230336224 HAS SOPS 230336224 HAS SOUS 145042659 HAS SOUPS 145042659 WITH SCORE 1.45272995224E8
AT ITER 7222 NEW BEST:: SOT 835413536 SOS 230325534 HAS SOPS 230325534 HAS SOUS 145041452 HAS SOUPS 145041452 WITH SCORE 1.45271777534E8
AT ITER 7233 NEW BEST:: SOT 835407510 SOS 230316494 HAS SOPS 230316494 HAS SOUS 145041449 HAS SOUPS 145041449 WITH SCORE 1.45271765494E8
AT ITER 7249 NEW BEST:: SOT 835405809 SOS 230313092 HAS SOPS 230313092 HAS SOUS 145038898 HAS SOUPS 145038898 WITH SCORE 1.45269211092E8
AT ITER 7250 NEW BEST:: SOT 835401632 SOS 230308302 HAS SOPS 230308302 HAS SOUS 145038752 HAS SOUPS 145038752 WITH SCORE 1.45269060302E8
AT ITER 7252 NEW BEST:: SOT 835393138 SOS 230295561 HAS SOPS 230295561 HAS SOUS 145038752 HAS SOUPS 145038752 WITH SCORE 1.45269047561E8
AT ITER 7257 NEW BEST:: SOT 835381076 SOS 230277468 HAS SOPS 230277468 HAS SOUS 145038752 HAS SOUPS 145038752 WITH SCORE 1.45269029468E8
AT ITER 7265 NEW BEST:: SOT 835377650 SOS 230272329 HAS SOPS 230272329 HAS SOUS 145038752 HAS SOUPS 145038752 WITH SCORE 1.45269024329E8
AT ITER 7277 NEW BEST:: SOT 835376112 SOS 230270022 HAS SOPS 230270022 HAS SOUS 145038752 HAS SOUPS 145038752 WITH SCORE 1.45269022022E8
AT ITER 7284 NEW BEST:: SOT 835373590 SOS 230266238 HAS SOPS 230266238 HAS SOUS 145038749 HAS SOUPS 145038749 WITH SCORE 1.45269015238E8
AT ITER 7285 NEW BEST:: SOT 835370028 SOS 230260895 HAS SOPS 230260895 HAS SOUS 145038749 HAS SOUPS 145038749 WITH SCORE 1.45269009895E8
AT ITER 7321 NEW BEST:: SOT 835366538 SOS 230255660 HAS SOPS 230255660 HAS SOUS 145038749 HAS SOUPS 145038749 WITH SCORE 1.4526900466E8
AT ITER 7333 NEW BEST:: SOT 835352838 SOS 230239390 HAS SOPS 230239390 HAS SOUS 145036336 HAS SOUPS 145036336 WITH SCORE 1.4526657539E8
AT ITER 7349 NEW BEST:: SOT 835350183 SOS 230236136 HAS SOPS 230236136 HAS SOUS 145035737 HAS SOUPS 145035737 WITH SCORE 1.45265973136E8
AT ITER 7371 NEW BEST:: SOT 835340357 SOS 230221397 HAS SOPS 230221397 HAS SOUS 145035737 HAS SOUPS 145035737 WITH SCORE 1.45265958397E8
AT ITER 7409 NEW BEST:: SOT 835332223 SOS 230209195 HAS SOPS 230209195 HAS SOUS 145035734 HAS SOUPS 145035734 WITH SCORE 1.45265943195E8
AT ITER 7416 NEW BEST:: SOT 835326487 SOS 230201547 HAS SOPS 230201547 HAS SOUS 145033822 HAS SOUPS 145033822 WITH SCORE 1.45264023547E8
AT ITER 7423 NEW BEST:: SOT 835325494 SOS 230200222 HAS SOPS 230200222 HAS SOUS 145033488 HAS SOUPS 145033488 WITH SCORE 1.45263688222E8
AT ITER 7433 NEW BEST:: SOT 835320976 SOS 230193445 HAS SOPS 230193445 HAS SOUS 145033488 HAS SOUPS 145033488 WITH SCORE 1.45263681445E8
AT ITER 7446 NEW BEST:: SOT 835316523 SOS 230188154 HAS SOPS 230188154 HAS SOUS 145033036 HAS SOUPS 145033036 WITH SCORE 1.45263224154E8
AT ITER 7488 NEW BEST:: SOT 835312677 SOS 230183026 HAS SOPS 230183026 HAS SOUS 145031754 HAS SOUPS 145031754 WITH SCORE 1.45261937026E8
AT ITER 7492 NEW BEST:: SOT 835308549 SOS 230176834 HAS SOPS 230176834 HAS SOUS 145031754 HAS SOUPS 145031754 WITH SCORE 1.45261930834E8
AT ITER 7501 NEW BEST:: SOT 835302137 SOS 230169915 HAS SOPS 230169915 HAS SOUS 145031482 HAS SOUPS 145031482 WITH SCORE 1.45261651915E8
AT ITER 7505 NEW BEST:: SOT 835298773 SOS 230163187 HAS SOPS 230163187 HAS SOUS 145026436 HAS SOUPS 145026436 WITH SCORE 1.45256599187E8
AT ITER 7533 NEW BEST:: SOT 835298761 SOS 230163170 HAS SOPS 230163170 HAS SOUS 145026429 HAS SOUPS 145026429 WITH SCORE 1.4525659217E8
AT ITER 7536 NEW BEST:: SOT 835296489 SOS 230160280 HAS SOPS 230160280 HAS SOUS 145025811 HAS SOUPS 145025811 WITH SCORE 1.4525597128E8
AT ITER 7564 NEW BEST:: SOT 835284847 SOS 230142817 HAS SOPS 230142817 HAS SOUS 145025811 HAS SOUPS 145025811 WITH SCORE 1.45255953817E8
AT ITER 7566 NEW BEST:: SOT 835279225 SOS 230134384 HAS SOPS 230134384 HAS SOUS 145025811 HAS SOUPS 145025811 WITH SCORE 1.45255945384E8
AT ITER 7573 NEW BEST:: SOT 835269660 SOS 230122312 HAS SOPS 230122312 HAS SOUS 145023304 HAS SOUPS 145023304 WITH SCORE 1.45253426312E8
AT ITER 7574 NEW BEST:: SOT 835266287 SOS 230118133 HAS SOPS 230118133 HAS SOUS 145022496 HAS SOUPS 145022496 WITH SCORE 1.45252614133E8
AT ITER 7584 NEW BEST:: SOT 835262258 SOS 230112761 HAS SOPS 230112761 HAS SOUS 145021153 HAS SOUPS 145021153 WITH SCORE 1.45251265761E8
AT ITER 7611 NEW BEST:: SOT 835256624 SOS 230103222 HAS SOPS 230103222 HAS SOUS 145017889 HAS SOUPS 145017889 WITH SCORE 1.45247992222E8
AT ITER 7614 NEW BEST:: SOT 835245206 SOS 230086094 HAS SOPS 230086094 HAS SOUS 145017886 HAS SOUPS 145017886 WITH SCORE 1.45247972094E8
AT ITER 7634 NEW BEST:: SOT 835242689 SOS 230082930 HAS SOPS 230082930 HAS SOUS 145017239 HAS SOUPS 145017239 WITH SCORE 1.4524732193E8
AT ITER 7638 NEW BEST:: SOT 835237569 SOS 230075250 HAS SOPS 230075250 HAS SOUS 145017239 HAS SOUPS 145017239 WITH SCORE 1.4524731425E8
AT ITER 7668 NEW BEST:: SOT 835228989 SOS 230058206 HAS SOPS 230058206 HAS SOUS 145004717 HAS SOUPS 145004717 WITH SCORE 1.45234775206E8
AT ITER 7687 NEW BEST:: SOT 835221743 SOS 230049200 HAS SOPS 230049200 HAS SOUS 145002957 HAS SOUPS 145002957 WITH SCORE 1.452330062E8
AT ITER 7688 NEW BEST:: SOT 835217972 SOS 230044172 HAS SOPS 230044172 HAS SOUS 145001700 HAS SOUPS 145001700 WITH SCORE 1.45231744172E8
AT ITER 7691 NEW BEST:: SOT 835206706 SOS 230027273 HAS SOPS 230027273 HAS SOUS 145001700 HAS SOUPS 145001700 WITH SCORE 1.45231727273E8
AT ITER 7701 NEW BEST:: SOT 835193501 SOS 230011583 HAS SOPS 230011583 HAS SOUS 144999352 HAS SOUPS 144999352 WITH SCORE 1.45229363583E8
AT ITER 7714 NEW BEST:: SOT 835183275 SOS 229996243 HAS SOPS 229996243 HAS SOUS 144999349 HAS SOUPS 144999349 WITH SCORE 1.45229345243E8
AT ITER 7723 NEW BEST:: SOT 835178531 SOS 229989126 HAS SOPS 229989126 HAS SOUS 144999346 HAS SOUPS 144999346 WITH SCORE 1.45229335126E8
AT ITER 7727 NEW BEST:: SOT 835174613 SOS 229983902 HAS SOPS 229983902 HAS SOUS 144998040 HAS SOUPS 144998040 WITH SCORE 1.45228023902E8
AT ITER 7741 NEW BEST:: SOT 835174100 SOS 229983217 HAS SOPS 229983217 HAS SOUS 144997866 HAS SOUPS 144997866 WITH SCORE 1.45227849217E8
AT ITER 7749 NEW BEST:: SOT 835163497 SOS 229966337 HAS SOPS 229966337 HAS SOUS 144985312 HAS SOUPS 144985312 WITH SCORE 1.45215278337E8
AT ITER 7752 NEW BEST:: SOT 835155349 SOS 229956476 HAS SOPS 229956476 HAS SOUS 144984199 HAS SOUPS 144984199 WITH SCORE 1.45214155476E8
AT ITER 7755 NEW BEST:: SOT 835144191 SOS 229941795 HAS SOPS 229941795 HAS SOUS 144980792 HAS SOUPS 144980792 WITH SCORE 1.45210733795E8
AT ITER 7766 NEW BEST:: SOT 835136711 SOS 229930574 HAS SOPS 229930574 HAS SOUS 144980789 HAS SOUPS 144980789 WITH SCORE 1.45210719574E8
AT ITER 7788 NEW BEST:: SOT 835127668 SOS 229916612 HAS SOPS 229916612 HAS SOUS 144970482 HAS SOUPS 144970482 WITH SCORE 1.45200398612E8
AT ITER 7811 NEW BEST:: SOT 835119532 SOS 229904408 HAS SOPS 229904408 HAS SOUS 144970482 HAS SOUPS 144970482 WITH SCORE 1.45200386408E8
AT ITER 7817 NEW BEST:: SOT 835115719 SOS 229899323 HAS SOPS 229899323 HAS SOUS 144969208 HAS SOUPS 144969208 WITH SCORE 1.45199107323E8
AT ITER 7840 NEW BEST:: SOT 835106494 SOS 229887022 HAS SOPS 229887022 HAS SOUS 144966130 HAS SOUPS 144966130 WITH SCORE 1.45196017022E8
AT ITER 7861 NEW BEST:: SOT 835103378 SOS 229882347 HAS SOPS 229882347 HAS SOUS 144966127 HAS SOUPS 144966127 WITH SCORE 1.45196009347E8
AT ITER 7870 NEW BEST:: SOT 835091218 SOS 229864106 HAS SOPS 229864106 HAS SOUS 144966124 HAS SOUPS 144966124 WITH SCORE 1.45195988106E8
AT ITER 7916 NEW BEST:: SOT 835076143 SOS 229846759 HAS SOPS 229846759 HAS SOUS 144964197 HAS SOUPS 144964197 WITH SCORE 1.45194043759E8
AT ITER 7926 NEW BEST:: SOT 835067547 SOS 229833864 HAS SOPS 229833864 HAS SOUS 144964194 HAS SOUPS 144964194 WITH SCORE 1.45194027864E8
AT ITER 7929 NEW BEST:: SOT 835063321 SOS 229828952 HAS SOPS 229828952 HAS SOUS 144963941 HAS SOUPS 144963941 WITH SCORE 1.45193769952E8
AT ITER 7985 NEW BEST:: SOT 835056177 SOS 229818235 HAS SOPS 229818235 HAS SOUS 144963938 HAS SOUPS 144963938 WITH SCORE 1.45193756235E8
AT ITER 8020 NEW BEST:: SOT 835053099 SOS 229814131 HAS SOPS 229814131 HAS SOUS 144962912 HAS SOUPS 144962912 WITH SCORE 1.45192726131E8
AT ITER 8044 NEW BEST:: SOT 835044815 SOS 229801704 HAS SOPS 229801704 HAS SOUS 144962909 HAS SOUPS 144962909 WITH SCORE 1.45192710704E8
AT ITER 8052 NEW BEST:: SOT 835040765 SOS 229796303 HAS SOPS 229796303 HAS SOUS 144961556 HAS SOUPS 144961556 WITH SCORE 1.45191352303E8
AT ITER 8069 NEW BEST:: SOT 835029419 SOS 229779283 HAS SOPS 229779283 HAS SOUS 144961553 HAS SOUPS 144961553 WITH SCORE 1.45191332283E8
AT ITER 8084 NEW BEST:: SOT 835014452 SOS 229762508 HAS SOPS 229762508 HAS SOUS 144960197 HAS SOUPS 144960197 WITH SCORE 1.45189959508E8
AT ITER 8085 NEW BEST:: SOT 835007886 SOS 229752658 HAS SOPS 229752658 HAS SOUS 144960194 HAS SOUPS 144960194 WITH SCORE 1.45189946658E8
AT ITER 8093 NEW BEST:: SOT 835003353 SOS 229746613 HAS SOPS 229746613 HAS SOUS 144958680 HAS SOUPS 144958680 WITH SCORE 1.45188426613E8
AT ITER 8099 NEW BEST:: SOT 834991987 SOS 229729564 HAS SOPS 229729564 HAS SOUS 144958680 HAS SOUPS 144958680 WITH SCORE 1.45188409564E8
AT ITER 8121 NEW BEST:: SOT 834982309 SOS 229717458 HAS SOPS 229717458 HAS SOUS 144956252 HAS SOUPS 144956252 WITH SCORE 1.45185969458E8
AT ITER 8138 NEW BEST:: SOT 834982309 SOS 229717457 HAS SOPS 229717457 HAS SOUS 144956249 HAS SOUPS 144956249 WITH SCORE 1.45185966457E8
AT ITER 8150 NEW BEST:: SOT 834975191 SOS 229706779 HAS SOPS 229706779 HAS SOUS 144956246 HAS SOUPS 144956246 WITH SCORE 1.45185952779E8
AT ITER 8151 NEW BEST:: SOT 834964820 SOS 229695956 HAS SOPS 229695956 HAS SOUS 144956202 HAS SOUPS 144956202 WITH SCORE 1.45185897956E8
AT ITER 8154 NEW BEST:: SOT 834957539 SOS 229686248 HAS SOPS 229686248 HAS SOUS 144953775 HAS SOUPS 144953775 WITH SCORE 1.45183461248E8
AT ITER 8156 NEW BEST:: SOT 834949661 SOS 229674430 HAS SOPS 229674430 HAS SOUS 144953772 HAS SOUPS 144953772 WITH SCORE 1.4518344643E8
AT ITER 8169 NEW BEST:: SOT 834940805 SOS 229661146 HAS SOPS 229661146 HAS SOUS 144953772 HAS SOUPS 144953772 WITH SCORE 1.45183433146E8
AT ITER 8199 NEW BEST:: SOT 834928421 SOS 229642570 HAS SOPS 229642570 HAS SOUS 144953772 HAS SOUPS 144953772 WITH SCORE 1.4518341457E8
AT ITER 8203 NEW BEST:: SOT 834912709 SOS 229619001 HAS SOPS 229619001 HAS SOUS 144953769 HAS SOUPS 144953769 WITH SCORE 1.45183388001E8
AT ITER 8204 NEW BEST:: SOT 834907381 SOS 229611009 HAS SOPS 229611009 HAS SOUS 144953769 HAS SOUPS 144953769 WITH SCORE 1.45183380009E8
AT ITER 8276 NEW BEST:: SOT 834907283 SOS 229610812 HAS SOPS 229610812 HAS SOUS 144953668 HAS SOUPS 144953668 WITH SCORE 1.45183278812E8
AT ITER 8293 NEW BEST:: SOT 834905681 SOS 229608834 HAS SOPS 229608834 HAS SOUS 144953292 HAS SOUPS 144953292 WITH SCORE 1.45182900834E8
AT ITER 8297 NEW BEST:: SOT 834905111 SOS 229607694 HAS SOPS 229607694 HAS SOUS 144952722 HAS SOUPS 144952722 WITH SCORE 1.45182329694E8
AT ITER 8306 NEW BEST:: SOT 834900314 SOS 229601298 HAS SOPS 229601298 HAS SOUS 144951123 HAS SOUPS 144951123 WITH SCORE 1.45180724298E8
AT ITER 8317 NEW BEST:: SOT 834888287 SOS 229583988 HAS SOPS 229583988 HAS SOUS 144948328 HAS SOUPS 144948328 WITH SCORE 1.45177911988E8
AT ITER 8324 NEW BEST:: SOT 834882305 SOS 229576011 HAS SOPS 229576011 HAS SOUS 144946331 HAS SOUPS 144946331 WITH SCORE 1.45175907011E8
AT ITER 8330 NEW BEST:: SOT 834870596 SOS 229560398 HAS SOPS 229560398 HAS SOUS 144942425 HAS SOUPS 144942425 WITH SCORE 1.45171985398E8
AT ITER 8351 NEW BEST:: SOT 834858876 SOS 229542818 HAS SOPS 229542818 HAS SOUS 144942425 HAS SOUPS 144942425 WITH SCORE 1.45171967818E8
AT ITER 8361 NEW BEST:: SOT 834851390 SOS 229531588 HAS SOPS 229531588 HAS SOUS 144942422 HAS SOUPS 144942422 WITH SCORE 1.45171953588E8
AT ITER 8372 NEW BEST:: SOT 834840322 SOS 229514985 HAS SOPS 229514985 HAS SOUS 144942419 HAS SOUPS 144942419 WITH SCORE 1.45171933985E8
AT ITER 8389 NEW BEST:: SOT 834833910 SOS 229505367 HAS SOPS 229505367 HAS SOUS 144942419 HAS SOUPS 144942419 WITH SCORE 1.45171924367E8
AT ITER 8416 NEW BEST:: SOT 834831603 SOS 229502290 HAS SOPS 229502290 HAS SOUS 144941647 HAS SOUPS 144941647 WITH SCORE 1.4517114929E8
AT ITER 8418 NEW BEST:: SOT 834823271 SOS 229493582 HAS SOPS 229493582 HAS SOUS 144940494 HAS SOUPS 144940494 WITH SCORE 1.45169987582E8
AT ITER 8425 NEW BEST:: SOT 834813731 SOS 229479271 HAS SOPS 229479271 HAS SOUS 144940491 HAS SOUPS 144940491 WITH SCORE 1.45169970271E8
AT ITER 8446 NEW BEST:: SOT 834803809 SOS 229464387 HAS SOPS 229464387 HAS SOUS 144940488 HAS SOUPS 144940488 WITH SCORE 1.45169952387E8
AT ITER 8543 NEW BEST:: SOT 834795967 SOS 229452623 HAS SOPS 229452623 HAS SOUS 144940485 HAS SOUPS 144940485 WITH SCORE 1.45169937623E8
AT ITER 8550 NEW BEST:: SOT 834785919 SOS 229437551 HAS SOPS 229437551 HAS SOUS 144940485 HAS SOUPS 144940485 WITH SCORE 1.45169922551E8
AT ITER 8567 NEW BEST:: SOT 834774656 SOS 229422693 HAS SOPS 229422693 HAS SOUS 144936985 HAS SOUPS 144936985 WITH SCORE 1.45166407693E8
AT ITER 8570 NEW BEST:: SOT 834764450 SOS 229407384 HAS SOPS 229407384 HAS SOUS 144936985 HAS SOUPS 144936985 WITH SCORE 1.45166392384E8
AT ITER 8575 NEW BEST:: SOT 834760625 SOS 229402283 HAS SOPS 229402283 HAS SOUS 144935707 HAS SOUPS 144935707 WITH SCORE 1.45165109283E8
AT ITER 8597 NEW BEST:: SOT 834746547 SOS 229381165 HAS SOPS 229381165 HAS SOUS 144935704 HAS SOUPS 144935704 WITH SCORE 1.45165085165E8
AT ITER 8605 NEW BEST:: SOT 834733731 SOS 229361941 HAS SOPS 229361941 HAS SOUS 144935704 HAS SOUPS 144935704 WITH SCORE 1.45165065941E8
AT ITER 8628 NEW BEST:: SOT 834727494 SOS 229353624 HAS SOPS 229353624 HAS SOUS 144933622 HAS SOUPS 144933622 WITH SCORE 1.45162975624E8
AT ITER 8629 NEW BEST:: SOT 834725392 SOS 229350471 HAS SOPS 229350471 HAS SOUS 144933622 HAS SOUPS 144933622 WITH SCORE 1.45162972471E8
AT ITER 8651 NEW BEST:: SOT 834715989 SOS 229339193 HAS SOPS 229339193 HAS SOUS 144932502 HAS SOUPS 144932502 WITH SCORE 1.45161841193E8
AT ITER 8698 NEW BEST:: SOT 834706657 SOS 229325195 HAS SOPS 229325195 HAS SOUS 144932502 HAS SOUPS 144932502 WITH SCORE 1.45161827195E8
AT ITER 8705 NEW BEST:: SOT 834700985 SOS 229316687 HAS SOPS 229316687 HAS SOUS 144932502 HAS SOUPS 144932502 WITH SCORE 1.45161818687E8
AT ITER 8716 NEW BEST:: SOT 834690563 SOS 229301054 HAS SOPS 229301054 HAS SOUS 144932502 HAS SOUPS 144932502 WITH SCORE 1.45161803054E8
AT ITER 8725 NEW BEST:: SOT 834677072 SOS 229284875 HAS SOPS 229284875 HAS SOUS 144929923 HAS SOUPS 144929923 WITH SCORE 1.45159207875E8
AT ITER 8727 NEW BEST:: SOT 834677537 SOS 229283667 HAS SOPS 229283667 HAS SOUS 144923974 HAS SOUPS 144923974 WITH SCORE 1.45153257667E8
AT ITER 8740 NEW BEST:: SOT 834670444 SOS 229275284 HAS SOPS 229275284 HAS SOUS 144922780 HAS SOUPS 144922780 WITH SCORE 1.45152055284E8
AT ITER 8766 NEW BEST:: SOT 834659358 SOS 229261174 HAS SOPS 229261174 HAS SOUS 144919756 HAS SOUPS 144919756 WITH SCORE 1.45149017174E8
AT ITER 8769 NEW BEST:: SOT 834650084 SOS 229247262 HAS SOPS 229247262 HAS SOUS 144919753 HAS SOUPS 144919753 WITH SCORE 1.45149000262E8
AT ITER 8781 NEW BEST:: SOT 834641354 SOS 229234166 HAS SOPS 229234166 HAS SOUS 144919750 HAS SOUPS 144919750 WITH SCORE 1.45148984166E8
AT ITER 8821 NEW BEST:: SOT 834632400 SOS 229220734 HAS SOPS 229220734 HAS SOUS 144919747 HAS SOUPS 144919747 WITH SCORE 1.45148967734E8
AT ITER 8828 NEW BEST:: SOT 834617811 SOS 229197300 HAS SOPS 229197300 HAS SOUS 144912173 HAS SOUPS 144912173 WITH SCORE 1.451413703E8
AT ITER 8853 NEW BEST:: SOT 834615760 SOS 229193198 HAS SOPS 229193198 HAS SOUS 144910122 HAS SOUPS 144910122 WITH SCORE 1.45139315198E8
AT ITER 8854 NEW BEST:: SOT 834606364 SOS 229180669 HAS SOPS 229180669 HAS SOUS 144906987 HAS SOUPS 144906987 WITH SCORE 1.45136167669E8
AT ITER 8902 NEW BEST:: SOT 834596818 SOS 229168705 HAS SOPS 229168705 HAS SOUS 144904569 HAS SOUPS 144904569 WITH SCORE 1.45133737705E8
AT ITER 8911 NEW BEST:: SOT 834591290 SOS 229160413 HAS SOPS 229160413 HAS SOUS 144904569 HAS SOUPS 144904569 WITH SCORE 1.45133729413E8
AT ITER 8930 NEW BEST:: SOT 834587159 SOS 229154905 HAS SOPS 229154905 HAS SOUS 144903192 HAS SOUPS 144903192 WITH SCORE 1.45132346905E8
AT ITER 8954 NEW BEST:: SOT 834572921 SOS 229139946 HAS SOPS 229139946 HAS SOUS 144903134 HAS SOUPS 144903134 WITH SCORE 1.45132273946E8
AT ITER 8957 NEW BEST:: SOT 834564465 SOS 229127262 HAS SOPS 229127262 HAS SOUS 144903134 HAS SOUPS 144903134 WITH SCORE 1.45132261262E8
AT ITER 8962 NEW BEST:: SOT 834561912 SOS 229124301 HAS SOPS 229124301 HAS SOUS 144902990 HAS SOUPS 144902990 WITH SCORE 1.45132114301E8
AT ITER 8976 NEW BEST:: SOT 834551076 SOS 229108047 HAS SOPS 229108047 HAS SOUS 144902990 HAS SOUPS 144902990 WITH SCORE 1.45132098047E8
AT ITER 9008 NEW BEST:: SOT 834542436 SOS 229097600 HAS SOPS 229097600 HAS SOUS 144901825 HAS SOUPS 144901825 WITH SCORE 1.451309226E8
AT ITER 9018 NEW BEST:: SOT 834531123 SOS 229083767 HAS SOPS 229083767 HAS SOUS 144899303 HAS SOUPS 144899303 WITH SCORE 1.45128386767E8
AT ITER 9019 NEW BEST:: SOT 834522195 SOS 229070375 HAS SOPS 229070375 HAS SOUS 144899303 HAS SOUPS 144899303 WITH SCORE 1.45128373375E8
AT ITER 9047 NEW BEST:: SOT 834520305 SOS 229066595 HAS SOPS 229066595 HAS SOUS 144897413 HAS SOUPS 144897413 WITH SCORE 1.45126479595E8
AT ITER 9064 NEW BEST:: SOT 834523407 SOS 229068746 HAS SOPS 229068746 HAS SOUS 144891232 HAS SOUPS 144891232 WITH SCORE 1.45120300746E8
AT ITER 9093 NEW BEST:: SOT 834522335 SOS 229067674 HAS SOPS 229067674 HAS SOUS 144891232 HAS SOUPS 144891232 WITH SCORE 1.45120299674E8
AT ITER 9094 NEW BEST:: SOT 834519449 SOS 229063344 HAS SOPS 229063344 HAS SOUS 144891229 HAS SOUPS 144891229 WITH SCORE 1.45120292344E8
AT ITER 9095 NEW BEST:: SOT 834508257 SOS 229046555 HAS SOPS 229046555 HAS SOUS 144891226 HAS SOUPS 144891226 WITH SCORE 1.45120272555E8
AT ITER 9104 NEW BEST:: SOT 834507636 SOS 229045726 HAS SOPS 229045726 HAS SOUS 144891016 HAS SOUPS 144891016 WITH SCORE 1.45120061726E8
AT ITER 9142 NEW BEST:: SOT 834505602 SOS 229042674 HAS SOPS 229042674 HAS SOUS 144891013 HAS SOUPS 144891013 WITH SCORE 1.45120055674E8
AT ITER 9147 NEW BEST:: SOT 834495190 SOS 229027055 HAS SOPS 229027055 HAS SOUS 144891010 HAS SOUPS 144891010 WITH SCORE 1.45120037055E8
AT ITER 9148 NEW BEST:: SOT 834484229 SOS 229015173 HAS SOPS 229015173 HAS SOUS 144890430 HAS SOUPS 144890430 WITH SCORE 1.45119445173E8
AT ITER 9159 NEW BEST:: SOT 834474563 SOS 229002284 HAS SOPS 229002284 HAS SOUS 144887205 HAS SOUPS 144887205 WITH SCORE 1.45116207284E8
AT ITER 9166 NEW BEST:: SOT 834470618 SOS 228997024 HAS SOPS 228997024 HAS SOUS 144885890 HAS SOUPS 144885890 WITH SCORE 1.45114887024E8
AT ITER 9169 NEW BEST:: SOT 834458826 SOS 228979336 HAS SOPS 228979336 HAS SOUS 144885890 HAS SOUPS 144885890 WITH SCORE 1.45114869336E8
AT ITER 9179 NEW BEST:: SOT 834453910 SOS 228971961 HAS SOPS 228971961 HAS SOUS 144885887 HAS SOUPS 144885887 WITH SCORE 1.45114858961E8
AT ITER 9183 NEW BEST:: SOT 834446455 SOS 228962021 HAS SOPS 228962021 HAS SOUS 144883402 HAS SOUPS 144883402 WITH SCORE 1.45112364021E8
AT ITER 9187 NEW BEST:: SOT 834435465 SOS 228940041 HAS SOPS 228940041 HAS SOUS 144866917 HAS SOUPS 144866917 WITH SCORE 1.45095857041E8
AT ITER 9193 NEW BEST:: SOT 834427199 SOS 228927642 HAS SOPS 228927642 HAS SOUS 144866917 HAS SOUPS 144866917 WITH SCORE 1.45095844642E8
AT ITER 9205 NEW BEST:: SOT 834413403 SOS 228906948 HAS SOPS 228906948 HAS SOUS 144866917 HAS SOUPS 144866917 WITH SCORE 1.45095823948E8
AT ITER 9221 NEW BEST:: SOT 834406328 SOS 228898001 HAS SOPS 228898001 HAS SOUS 144862423 HAS SOUPS 144862423 WITH SCORE 1.45091321001E8
AT ITER 9225 NEW BEST:: SOT 834402998 SOS 228892451 HAS SOPS 228892451 HAS SOUS 144857983 HAS SOUPS 144857983 WITH SCORE 1.45086875451E8
AT ITER 9229 NEW BEST:: SOT 834396162 SOS 228884112 HAS SOPS 228884112 HAS SOUS 144857060 HAS SOUPS 144857060 WITH SCORE 1.45085944112E8
AT ITER 9259 NEW BEST:: SOT 834390488 SOS 228875600 HAS SOPS 228875600 HAS SOUS 144857057 HAS SOUPS 144857057 WITH SCORE 1.450859326E8
AT ITER 9266 NEW BEST:: SOT 834376492 SOS 228854605 HAS SOPS 228854605 HAS SOUS 144857054 HAS SOUPS 144857054 WITH SCORE 1.45085908605E8
AT ITER 9276 NEW BEST:: SOT 834374041 SOS 228849702 HAS SOPS 228849702 HAS SOUS 144854600 HAS SOUPS 144854600 WITH SCORE 1.45083449702E8
AT ITER 9293 NEW BEST:: SOT 834363863 SOS 228834435 HAS SOPS 228834435 HAS SOUS 144854600 HAS SOUPS 144854600 WITH SCORE 1.45083434435E8
AT ITER 9303 NEW BEST:: SOT 834358123 SOS 228825824 HAS SOPS 228825824 HAS SOUS 144854597 HAS SOUPS 144854597 WITH SCORE 1.45083422824E8
AT ITER 9320 NEW BEST:: SOT 834353755 SOS 228820473 HAS SOPS 228820473 HAS SOUS 144853896 HAS SOUPS 144853896 WITH SCORE 1.45082716473E8
AT ITER 9329 NEW BEST:: SOT 834348862 SOS 228813949 HAS SOPS 228813949 HAS SOUS 144852265 HAS SOUPS 144852265 WITH SCORE 1.45081078949E8
AT ITER 9339 NEW BEST:: SOT 834343204 SOS 228806404 HAS SOPS 228806404 HAS SOUS 144850376 HAS SOUPS 144850376 WITH SCORE 1.45079182404E8
AT ITER 9360 NEW BEST:: SOT 834340516 SOS 228802820 HAS SOPS 228802820 HAS SOUS 144849480 HAS SOUPS 144849480 WITH SCORE 1.4507828282E8
AT ITER 9385 NEW BEST:: SOT 834336564 SOS 228796892 HAS SOPS 228796892 HAS SOUS 144849480 HAS SOUPS 144849480 WITH SCORE 1.45078276892E8
AT ITER 9418 NEW BEST:: SOT 834324259 SOS 228781715 HAS SOPS 228781715 HAS SOUS 144846606 HAS SOUPS 144846606 WITH SCORE 1.45075387715E8
AT ITER 9421 NEW BEST:: SOT 834315157 SOS 228773900 HAS SOPS 228773900 HAS SOUS 144846016 HAS SOUPS 144846016 WITH SCORE 1.450747899E8
AT ITER 9432 NEW BEST:: SOT 834312969 SOS 228771151 HAS SOPS 228771151 HAS SOUS 144845453 HAS SOUPS 144845453 WITH SCORE 1.45074224151E8
AT ITER 9442 NEW BEST:: SOT 834300043 SOS 228751762 HAS SOPS 228751762 HAS SOUS 144845453 HAS SOUPS 144845453 WITH SCORE 1.45074204762E8
AT ITER 9443 NEW BEST:: SOT 834286519 SOS 228735595 HAS SOPS 228735595 HAS SOUS 144842933 HAS SOUPS 144842933 WITH SCORE 1.45071668595E8
AT ITER 9457 NEW BEST:: SOT 834280065 SOS 228728145 HAS SOPS 228728145 HAS SOUS 144837739 HAS SOUPS 144837739 WITH SCORE 1.45066467145E8
AT ITER 9460 NEW BEST:: SOT 834269587 SOS 228715506 HAS SOPS 228715506 HAS SOUS 144835576 HAS SOUPS 144835576 WITH SCORE 1.45064291506E8
AT ITER 9476 NEW BEST:: SOT 834262855 SOS 228705407 HAS SOPS 228705407 HAS SOUS 144835573 HAS SOUPS 144835573 WITH SCORE 1.45064278407E8
AT ITER 9477 NEW BEST:: SOT 834253519 SOS 228692959 HAS SOPS 228692959 HAS SOUS 144832461 HAS SOUPS 144832461 WITH SCORE 1.45061153959E8
AT ITER 9483 NEW BEST:: SOT 834253519 SOS 228692958 HAS SOPS 228692958 HAS SOUS 144832458 HAS SOUPS 144832458 WITH SCORE 1.45061150958E8
AT ITER 9512 NEW BEST:: SOT 834247959 SOS 228688814 HAS SOPS 228688814 HAS SOUS 144831422 HAS SOUPS 144831422 WITH SCORE 1.45060110814E8
AT ITER 9517 NEW BEST:: SOT 834244428 SOS 228684106 HAS SOPS 228684106 HAS SOUS 144830245 HAS SOUPS 144830245 WITH SCORE 1.45058929106E8
AT ITER 9540 NEW BEST:: SOT 834246587 SOS 228687112 HAS SOPS 228687112 HAS SOUS 144829780 HAS SOUPS 144829780 WITH SCORE 1.45058467112E8
AT ITER 9541 NEW BEST:: SOT 834232415 SOS 228665854 HAS SOPS 228665854 HAS SOUS 144829780 HAS SOUPS 144829780 WITH SCORE 1.45058445854E8
AT ITER 9558 NEW BEST:: SOT 834230015 SOS 228662253 HAS SOPS 228662253 HAS SOUS 144829777 HAS SOUPS 144829777 WITH SCORE 1.45058439253E8
AT ITER 9560 NEW BEST:: SOT 834223017 SOS 228651756 HAS SOPS 228651756 HAS SOUS 144829777 HAS SOUPS 144829777 WITH SCORE 1.45058428756E8
AT ITER 9576 NEW BEST:: SOT 834219909 SOS 228647612 HAS SOPS 228647612 HAS SOUS 144828741 HAS SOUPS 144828741 WITH SCORE 1.45057388612E8
AT ITER 9595 NEW BEST:: SOT 834215472 SOS 228641696 HAS SOPS 228641696 HAS SOUS 144827262 HAS SOUPS 144827262 WITH SCORE 1.45055903696E8
AT ITER 9619 NEW BEST:: SOT 834202406 SOS 228622097 HAS SOPS 228622097 HAS SOUS 144827262 HAS SOUPS 144827262 WITH SCORE 1.45055884097E8
AT ITER 9626 NEW BEST:: SOT 834202406 SOS 228622096 HAS SOPS 228622096 HAS SOUS 144827259 HAS SOUPS 144827259 WITH SCORE 1.45055881096E8
AT ITER 9631 NEW BEST:: SOT 834200304 SOS 228618943 HAS SOPS 228618943 HAS SOUS 144827259 HAS SOUPS 144827259 WITH SCORE 1.45055877943E8
AT ITER 9654 NEW BEST:: SOT 834200304 SOS 228618942 HAS SOPS 228618942 HAS SOUS 144827256 HAS SOUPS 144827256 WITH SCORE 1.45055874942E8
AT ITER 9678 NEW BEST:: SOT 834188478 SOS 228605495 HAS SOPS 228605495 HAS SOUS 144825872 HAS SOUPS 144825872 WITH SCORE 1.45054477495E8
AT ITER 9681 NEW BEST:: SOT 834173796 SOS 228583472 HAS SOPS 228583472 HAS SOUS 144825872 HAS SOUPS 144825872 WITH SCORE 1.45054455472E8
AT ITER 9682 NEW BEST:: SOT 834165405 SOS 228572283 HAS SOPS 228572283 HAS SOUS 144823072 HAS SOUPS 144823072 WITH SCORE 1.45051644283E8
AT ITER 9689 NEW BEST:: SOT 834155586 SOS 228559191 HAS SOPS 228559191 HAS SOUS 144819799 HAS SOUPS 144819799 WITH SCORE 1.45048358191E8
AT ITER 9700 NEW BEST:: SOT 834141086 SOS 228537441 HAS SOPS 228537441 HAS SOUS 144819799 HAS SOUPS 144819799 WITH SCORE 1.45048336441E8
AT ITER 9704 NEW BEST:: SOT 834136160 SOS 228530872 HAS SOPS 228530872 HAS SOUS 144818154 HAS SOUPS 144818154 WITH SCORE 1.45046684872E8
AT ITER 9715 NEW BEST:: SOT 834124219 SOS 228516039 HAS SOPS 228516039 HAS SOUS 144815260 HAS SOUPS 144815260 WITH SCORE 1.45043776039E8
AT ITER 9717 NEW BEST:: SOT 834119027 SOS 228510847 HAS SOPS 228510847 HAS SOUS 144815260 HAS SOUPS 144815260 WITH SCORE 1.45043770847E8
AT ITER 9763 NEW BEST:: SOT 834117445 SOS 228508473 HAS SOPS 228508473 HAS SOUS 144815257 HAS SOUPS 144815257 WITH SCORE 1.45043765473E8
AT ITER 9793 NEW BEST:: SOT 834109442 SOS 228498466 HAS SOPS 228498466 HAS SOUS 144813251 HAS SOUPS 144813251 WITH SCORE 1.45041749466E8
AT ITER 9852 NEW BEST:: SOT 834093789 SOS 228479480 HAS SOPS 228479480 HAS SOUS 144810047 HAS SOUPS 144810047 WITH SCORE 1.4503852648E8
AT ITER 9860 NEW BEST:: SOT 834083891 SOS 228464632 HAS SOPS 228464632 HAS SOUS 144810044 HAS SOUPS 144810044 WITH SCORE 1.45038508632E8
AT ITER 9864 NEW BEST:: SOT 834077951 SOS 228455721 HAS SOPS 228455721 HAS SOUS 144810041 HAS SOUPS 144810041 WITH SCORE 1.45038496721E8
AT ITER 9874 NEW BEST:: SOT 834077687 SOS 228455368 HAS SOPS 228455368 HAS SOUS 144809950 HAS SOUPS 144809950 WITH SCORE 1.45038405368E8
AT ITER 9878 NEW BEST:: SOT 834067438 SOS 228438478 HAS SOPS 228438478 HAS SOUS 144804546 HAS SOUPS 144804546 WITH SCORE 1.45032984478E8
AT ITER 9888 NEW BEST:: SOT 834064069 SOS 228433986 HAS SOPS 228433986 HAS SOUS 144803423 HAS SOUPS 144803423 WITH SCORE 1.45031856986E8
AT ITER 9908 NEW BEST:: SOT 834060584 SOS 228430108 HAS SOPS 228430108 HAS SOUS 144803136 HAS SOUPS 144803136 WITH SCORE 1.45031566108E8
AT ITER 9918 NEW BEST:: SOT 834054452 SOS 228421932 HAS SOPS 228421932 HAS SOUS 144801092 HAS SOUPS 144801092 WITH SCORE 1.45029513932E8
AT ITER 9920 NEW BEST:: SOT 834044134 SOS 228406455 HAS SOPS 228406455 HAS SOUS 144801092 HAS SOUPS 144801092 WITH SCORE 1.45029498455E8
AT ITER 9927 NEW BEST:: SOT 834035689 SOS 228395194 HAS SOPS 228395194 HAS SOUS 144798274 HAS SOUPS 144798274 WITH SCORE 1.45026669194E8
AT ITER 9949 NEW BEST:: SOT 834021541 SOS 228373971 HAS SOPS 228373971 HAS SOUS 144798271 HAS SOUPS 144798271 WITH SCORE 1.45026644971E8
AT ITER 9968 NEW BEST:: SOT 834008238 SOS 228353674 HAS SOPS 228353674 HAS SOUS 144794709 HAS SOUPS 144794709 WITH SCORE 1.45023062674E8
AT ITER 9995 NEW BEST:: SOT 834007891 SOS 228352980 HAS SOPS 228352980 HAS SOUS 144794709 HAS SOUPS 144794709 WITH SCORE 1.4502306198E8
AT ITER 9996 NEW BEST:: SOT 833999359 SOS 228343241 HAS SOPS 228343241 HAS SOUS 144793500 HAS SOUPS 144793500 WITH SCORE 1.45021843241E8
AT ITER 9998 NEW BEST:: SOT 833993931 SOS 228337409 HAS SOPS 228337409 HAS SOUS 144791885 HAS SOUPS 144791885 WITH SCORE 1.45020222409E8
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 10416664 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16112108 kB

BK_TIME_CONFINEMENT_REACHED

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

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="ViralEpidemic-PT-S02D1C1A12"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is ViralEpidemic-PT-S02D1C1A12, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r483-tall-167912696801256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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