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.r491-tall-167912711601256.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ViralEpidemic-PT-S02D1C1A12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711601256
=====================================================================

--------------------
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 1679325554324

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ViralEpidemic-PT-S02D1C1A12
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 15:19:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 15:19:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 15:19:17] [INFO ] Load time of PNML (sax parser for PT used): 1062 ms
[2023-03-20 15:19:17] [INFO ] Transformed 32765 places.
[2023-03-20 15:19:17] [INFO ] Transformed 40955 transitions.
[2023-03-20 15:19:17] [INFO ] Parsed PT model containing 32765 places and 40955 transitions and 90101 arcs in 1470 ms.
[2023-03-20 15:19:17] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 32765 places, 40955 transitions and 90101 arcs took 162 ms.
Total runtime 1671 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S02D1C1A12
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 32765 places, 40955 transitions, 90101 arcs.
AT ITER 0 NEW BEST:: SOT 838717444 SOS 234965778 HAS SOPS 234965778 HAS SOUS 145574901 HAS SOUPS 145574901 WITH SCORE 1.45809866778E8
AT ITER 10 NEW BEST:: SOT 838702648 SOS 234943582 HAS SOPS 234943582 HAS SOUS 145574895 HAS SOUPS 145574895 WITH SCORE 1.45809838582E8
AT ITER 21 NEW BEST:: SOT 838694260 SOS 234931000 HAS SOPS 234931000 HAS SOUS 145574895 HAS SOUPS 145574895 WITH SCORE 1.45809826E8
AT ITER 38 NEW BEST:: SOT 838681692 SOS 234912148 HAS SOPS 234912148 HAS SOUS 145574895 HAS SOUPS 145574895 WITH SCORE 1.45809807148E8
AT ITER 69 NEW BEST:: SOT 838672342 SOS 234898121 HAS SOPS 234898121 HAS SOUS 145574889 HAS SOUPS 145574889 WITH SCORE 1.45809787121E8
AT ITER 71 NEW BEST:: SOT 838661342 SOS 234881620 HAS SOPS 234881620 HAS SOUS 145574886 HAS SOUPS 145574886 WITH SCORE 1.4580976762E8
AT ITER 85 NEW BEST:: SOT 838649642 SOS 234864070 HAS SOPS 234864070 HAS SOUS 145574886 HAS SOUPS 145574886 WITH SCORE 1.4580975007E8
AT ITER 91 NEW BEST:: SOT 838640075 SOS 234851314 HAS SOPS 234851314 HAS SOUS 145571697 HAS SOUPS 145571697 WITH SCORE 1.45806548314E8
AT ITER 94 NEW BEST:: SOT 838630309 SOS 234836665 HAS SOPS 234836665 HAS SOUS 145571697 HAS SOUPS 145571697 WITH SCORE 1.45806533665E8
AT ITER 101 NEW BEST:: SOT 838625137 SOS 234829769 HAS SOPS 234829769 HAS SOUS 145569973 HAS SOUPS 145569973 WITH SCORE 1.45804802769E8
AT ITER 118 NEW BEST:: SOT 838613383 SOS 234814097 HAS SOPS 234814097 HAS SOUS 145566055 HAS SOUPS 145566055 WITH SCORE 1.45800869097E8
AT ITER 124 NEW BEST:: SOT 838604242 SOS 234801909 HAS SOPS 234801909 HAS SOUS 145563008 HAS SOUPS 145563008 WITH SCORE 1.45797809909E8
AT ITER 170 NEW BEST:: SOT 838599469 SOS 234795544 HAS SOPS 234795544 HAS SOUS 145561414 HAS SOUPS 145561414 WITH SCORE 1.45796209544E8
AT ITER 177 NEW BEST:: SOT 838588252 SOS 234783358 HAS SOPS 234783358 HAS SOUS 145560444 HAS SOUPS 145560444 WITH SCORE 1.45795227358E8
AT ITER 181 NEW BEST:: SOT 838578222 SOS 234768313 HAS SOPS 234768313 HAS SOUS 145560444 HAS SOUPS 145560444 WITH SCORE 1.45795212313E8
AT ITER 184 NEW BEST:: SOT 838566489 SOS 234754104 HAS SOPS 234754104 HAS SOUS 145557915 HAS SOUPS 145557915 WITH SCORE 1.45792669104E8
AT ITER 192 NEW BEST:: SOT 838556473 SOS 234739080 HAS SOPS 234739080 HAS SOUS 145557915 HAS SOUPS 145557915 WITH SCORE 1.4579265408E8
AT ITER 209 NEW BEST:: SOT 838544326 SOS 234723148 HAS SOPS 234723148 HAS SOUS 145554105 HAS SOUPS 145554105 WITH SCORE 1.45788828148E8
AT ITER 212 NEW BEST:: SOT 838529164 SOS 234700403 HAS SOPS 234700403 HAS SOUS 145554099 HAS SOUPS 145554099 WITH SCORE 1.45788799403E8
AT ITER 217 NEW BEST:: SOT 838514022 SOS 234677690 HAS SOPS 234677690 HAS SOUS 145554099 HAS SOUPS 145554099 WITH SCORE 1.4578877669E8
AT ITER 218 NEW BEST:: SOT 838502200 SOS 234663153 HAS SOPS 234663153 HAS SOUS 145551378 HAS SOUPS 145551378 WITH SCORE 1.45786041153E8
AT ITER 222 NEW BEST:: SOT 838488620 SOS 234642783 HAS SOPS 234642783 HAS SOUS 145551378 HAS SOUPS 145551378 WITH SCORE 1.45786020783E8
AT ITER 224 NEW BEST:: SOT 838483006 SOS 234634362 HAS SOPS 234634362 HAS SOUS 145551378 HAS SOUPS 145551378 WITH SCORE 1.45786012362E8
AT ITER 231 NEW BEST:: SOT 838474010 SOS 234620868 HAS SOPS 234620868 HAS SOUS 145551378 HAS SOUPS 145551378 WITH SCORE 1.45785998868E8
AT ITER 247 NEW BEST:: SOT 838472182 SOS 234618126 HAS SOPS 234618126 HAS SOUS 145551378 HAS SOUPS 145551378 WITH SCORE 1.45785996126E8
AT ITER 271 NEW BEST:: SOT 838459696 SOS 234599396 HAS SOPS 234599396 HAS SOUS 145551375 HAS SOUPS 145551375 WITH SCORE 1.45785974396E8
AT ITER 272 NEW BEST:: SOT 838445490 SOS 234578086 HAS SOPS 234578086 HAS SOUS 145551372 HAS SOUPS 145551372 WITH SCORE 1.45785950086E8
AT ITER 275 NEW BEST:: SOT 838440852 SOS 234571902 HAS SOPS 234571902 HAS SOUS 145549826 HAS SOUPS 145549826 WITH SCORE 1.45784397902E8
AT ITER 289 NEW BEST:: SOT 838426904 SOS 234550980 HAS SOPS 234550980 HAS SOUS 145549826 HAS SOUPS 145549826 WITH SCORE 1.4578437698E8
AT ITER 301 NEW BEST:: SOT 838415938 SOS 234534530 HAS SOPS 234534530 HAS SOUS 145549823 HAS SOUPS 145549823 WITH SCORE 1.4578435753E8
AT ITER 302 NEW BEST:: SOT 838402012 SOS 234513641 HAS SOPS 234513641 HAS SOUS 145549823 HAS SOUPS 145549823 WITH SCORE 1.45784336641E8
AT ITER 304 NEW BEST:: SOT 838396222 SOS 234505921 HAS SOPS 234505921 HAS SOUS 145547893 HAS SOUPS 145547893 WITH SCORE 1.45782398921E8
AT ITER 316 NEW BEST:: SOT 838393230 SOS 234501959 HAS SOPS 234501959 HAS SOUS 145546903 HAS SOUPS 145546903 WITH SCORE 1.45781404959E8
AT ITER 320 NEW BEST:: SOT 838380957 SOS 234485592 HAS SOPS 234485592 HAS SOUS 145542803 HAS SOUPS 145542803 WITH SCORE 1.45777288592E8
AT ITER 321 NEW BEST:: SOT 838367659 SOS 234465645 HAS SOPS 234465645 HAS SOUS 145542803 HAS SOUPS 145542803 WITH SCORE 1.45777268645E8
AT ITER 346 NEW BEST:: SOT 838358621 SOS 234452088 HAS SOPS 234452088 HAS SOUS 145542803 HAS SOUPS 145542803 WITH SCORE 1.45777255088E8
AT ITER 352 NEW BEST:: SOT 838354565 SOS 234446680 HAS SOPS 234446680 HAS SOUS 145541451 HAS SOUPS 145541451 WITH SCORE 1.4577589768E8
AT ITER 359 NEW BEST:: SOT 838351853 SOS 234442611 HAS SOPS 234442611 HAS SOUS 145541448 HAS SOUPS 145541448 WITH SCORE 1.45775890611E8
AT ITER 381 NEW BEST:: SOT 838340281 SOS 234425252 HAS SOPS 234425252 HAS SOUS 145541445 HAS SOUPS 145541445 WITH SCORE 1.45775870252E8
AT ITER 384 NEW BEST:: SOT 838335214 SOS 234418494 HAS SOPS 234418494 HAS SOUS 145539750 HAS SOUPS 145539750 WITH SCORE 1.45774168494E8
AT ITER 389 NEW BEST:: SOT 838330021 SOS 234411570 HAS SOPS 234411570 HAS SOUS 145538019 HAS SOUPS 145538019 WITH SCORE 1.4577243057E8
AT ITER 397 NEW BEST:: SOT 838321093 SOS 234398178 HAS SOPS 234398178 HAS SOUS 145538019 HAS SOUPS 145538019 WITH SCORE 1.45772417178E8
AT ITER 409 NEW BEST:: SOT 838306289 SOS 234375972 HAS SOPS 234375972 HAS SOUS 145538019 HAS SOUPS 145538019 WITH SCORE 1.45772394972E8
AT ITER 410 NEW BEST:: SOT 838295535 SOS 234359840 HAS SOPS 234359840 HAS SOUS 145538016 HAS SOUPS 145538016 WITH SCORE 1.4577237584E8
AT ITER 412 NEW BEST:: SOT 838280769 SOS 234337691 HAS SOPS 234337691 HAS SOUS 145538016 HAS SOUPS 145538016 WITH SCORE 1.45772353691E8
AT ITER 435 NEW BEST:: SOT 838265599 SOS 234314936 HAS SOPS 234314936 HAS SOUS 145538016 HAS SOUPS 145538016 WITH SCORE 1.45772330936E8
AT ITER 436 NEW BEST:: SOT 838258831 SOS 234305910 HAS SOPS 234305910 HAS SOUS 145535754 HAS SOUPS 145535754 WITH SCORE 1.4577005991E8
AT ITER 450 NEW BEST:: SOT 838244583 SOS 234284538 HAS SOPS 234284538 HAS SOUS 145535754 HAS SOUPS 145535754 WITH SCORE 1.45770038538E8
AT ITER 460 NEW BEST:: SOT 838228417 SOS 234260287 HAS SOPS 234260287 HAS SOUS 145535748 HAS SOUPS 145535748 WITH SCORE 1.45770008287E8
AT ITER 475 NEW BEST:: SOT 838214849 SOS 234239934 HAS SOPS 234239934 HAS SOUS 145535745 HAS SOUPS 145535745 WITH SCORE 1.45769984934E8
AT ITER 476 NEW BEST:: SOT 838208939 SOS 234232052 HAS SOPS 234232052 HAS SOUS 145533769 HAS SOUPS 145533769 WITH SCORE 1.45768001052E8
AT ITER 480 NEW BEST:: SOT 838204919 SOS 234226690 HAS SOPS 234226690 HAS SOUS 145532423 HAS SOUPS 145532423 WITH SCORE 1.4576664969E8
AT ITER 498 NEW BEST:: SOT 838189921 SOS 234204193 HAS SOPS 234204193 HAS SOUS 145532423 HAS SOUPS 145532423 WITH SCORE 1.45766627193E8
AT ITER 505 NEW BEST:: SOT 838184428 SOS 234198605 HAS SOPS 234198605 HAS SOUS 145532319 HAS SOUPS 145532319 WITH SCORE 1.45766517605E8
AT ITER 537 NEW BEST:: SOT 838172094 SOS 234180104 HAS SOPS 234180104 HAS SOUS 145532319 HAS SOUPS 145532319 WITH SCORE 1.45766499104E8
AT ITER 551 NEW BEST:: SOT 838166967 SOS 234173268 HAS SOPS 234173268 HAS SOUS 145530610 HAS SOUPS 145530610 WITH SCORE 1.45764783268E8
AT ITER 561 NEW BEST:: SOT 838157535 SOS 234159120 HAS SOPS 234159120 HAS SOUS 145530610 HAS SOUPS 145530610 WITH SCORE 1.4576476912E8
AT ITER 563 NEW BEST:: SOT 838151554 SOS 234151572 HAS SOPS 234151572 HAS SOUS 145529039 HAS SOUPS 145529039 WITH SCORE 1.45763190572E8
AT ITER 611 NEW BEST:: SOT 838136380 SOS 234128810 HAS SOPS 234128810 HAS SOUS 145529036 HAS SOUPS 145529036 WITH SCORE 1.4576316481E8
AT ITER 623 NEW BEST:: SOT 838124388 SOS 234113586 HAS SOPS 234113586 HAS SOUS 145525806 HAS SOUPS 145525806 WITH SCORE 1.45759919586E8
AT ITER 638 NEW BEST:: SOT 838115338 SOS 234100009 HAS SOPS 234100009 HAS SOUS 145525800 HAS SOUPS 145525800 WITH SCORE 1.45759900009E8
AT ITER 646 NEW BEST:: SOT 838103662 SOS 234082494 HAS SOPS 234082494 HAS SOUS 145525797 HAS SOUPS 145525797 WITH SCORE 1.45759879494E8
AT ITER 712 NEW BEST:: SOT 838087790 SOS 234058684 HAS SOPS 234058684 HAS SOUS 145525791 HAS SOUPS 145525791 WITH SCORE 1.45759849684E8
AT ITER 771 NEW BEST:: SOT 838074412 SOS 234038617 HAS SOPS 234038617 HAS SOUS 145525791 HAS SOUPS 145525791 WITH SCORE 1.45759829617E8
AT ITER 783 NEW BEST:: SOT 838070368 SOS 234033225 HAS SOPS 234033225 HAS SOUS 145524443 HAS SOUPS 145524443 WITH SCORE 1.45758476225E8
AT ITER 786 NEW BEST:: SOT 838060288 SOS 234019781 HAS SOPS 234019781 HAS SOUS 145521071 HAS SOUPS 145521071 WITH SCORE 1.45755090781E8
AT ITER 792 NEW BEST:: SOT 838056877 SOS 234015233 HAS SOPS 234015233 HAS SOUS 145519934 HAS SOUPS 145519934 WITH SCORE 1.45753949233E8
AT ITER 793 NEW BEST:: SOT 838048445 SOS 234002585 HAS SOPS 234002585 HAS SOUS 145519934 HAS SOUPS 145519934 WITH SCORE 1.45753936585E8
AT ITER 796 NEW BEST:: SOT 838039729 SOS 233989510 HAS SOPS 233989510 HAS SOUS 145519931 HAS SOUPS 145519931 WITH SCORE 1.4575392051E8
AT ITER 804 NEW BEST:: SOT 838034296 SOS 233982266 HAS SOPS 233982266 HAS SOUS 145518120 HAS SOUPS 145518120 WITH SCORE 1.45752102266E8
AT ITER 805 NEW BEST:: SOT 838027990 SOS 233972807 HAS SOPS 233972807 HAS SOUS 145518120 HAS SOUPS 145518120 WITH SCORE 1.45752092807E8
AT ITER 807 NEW BEST:: SOT 838011958 SOS 233948759 HAS SOPS 233948759 HAS SOUS 145518120 HAS SOUPS 145518120 WITH SCORE 1.45752068759E8
AT ITER 821 NEW BEST:: SOT 838006981 SOS 233942123 HAS SOPS 233942123 HAS SOUS 145516461 HAS SOUPS 145516461 WITH SCORE 1.45750403123E8
AT ITER 833 NEW BEST:: SOT 837997667 SOS 233928143 HAS SOPS 233928143 HAS SOUS 145516434 HAS SOUPS 145516434 WITH SCORE 1.45750362143E8
AT ITER 847 NEW BEST:: SOT 837994331 SOS 233923139 HAS SOPS 233923139 HAS SOUS 145516434 HAS SOUPS 145516434 WITH SCORE 1.45750357139E8
AT ITER 850 NEW BEST:: SOT 837986517 SOS 233911417 HAS SOPS 233911417 HAS SOUS 145516431 HAS SOUPS 145516431 WITH SCORE 1.45750342417E8
AT ITER 858 NEW BEST:: SOT 837978567 SOS 233899492 HAS SOPS 233899492 HAS SOUS 145516431 HAS SOUPS 145516431 WITH SCORE 1.45750330492E8
AT ITER 869 NEW BEST:: SOT 837964333 SOS 233878140 HAS SOPS 233878140 HAS SOUS 145516428 HAS SOUPS 145516428 WITH SCORE 1.4575030614E8
AT ITER 872 NEW BEST:: SOT 837961771 SOS 233874724 HAS SOPS 233874724 HAS SOUS 145515574 HAS SOUPS 145515574 WITH SCORE 1.45749448724E8
AT ITER 886 NEW BEST:: SOT 837948011 SOS 233854082 HAS SOPS 233854082 HAS SOUS 145515568 HAS SOUPS 145515568 WITH SCORE 1.45749422082E8
AT ITER 898 NEW BEST:: SOT 837942860 SOS 233847213 HAS SOPS 233847213 HAS SOUS 145513848 HAS SOUPS 145513848 WITH SCORE 1.45747695213E8
AT ITER 905 NEW BEST:: SOT 837927456 SOS 233824107 HAS SOPS 233824107 HAS SOUS 145513848 HAS SOUPS 145513848 WITH SCORE 1.45747672107E8
AT ITER 908 NEW BEST:: SOT 837920618 SOS 233813850 HAS SOPS 233813850 HAS SOUS 145513848 HAS SOUPS 145513848 WITH SCORE 1.4574766185E8
AT ITER 912 NEW BEST:: SOT 837918156 SOS 233810156 HAS SOPS 233810156 HAS SOUS 145513845 HAS SOUPS 145513845 WITH SCORE 1.45747655156E8
AT ITER 914 NEW BEST:: SOT 837906900 SOS 233793272 HAS SOPS 233793272 HAS SOUS 145513845 HAS SOUPS 145513845 WITH SCORE 1.45747638272E8
AT ITER 919 NEW BEST:: SOT 837903094 SOS 233787561 HAS SOPS 233787561 HAS SOUS 145513839 HAS SOUPS 145513839 WITH SCORE 1.45747626561E8
AT ITER 924 NEW BEST:: SOT 837891629 SOS 233774357 HAS SOPS 233774357 HAS SOUS 145512072 HAS SOUPS 145512072 WITH SCORE 1.45745846357E8
AT ITER 928 NEW BEST:: SOT 837886877 SOS 233768020 HAS SOPS 233768020 HAS SOUS 145510485 HAS SOUPS 145510485 WITH SCORE 1.4574425302E8
AT ITER 941 NEW BEST:: SOT 837876467 SOS 233752403 HAS SOPS 233752403 HAS SOUS 145510479 HAS SOUPS 145510479 WITH SCORE 1.45744231403E8
AT ITER 946 NEW BEST:: SOT 837866981 SOS 233739753 HAS SOPS 233739753 HAS SOUS 145507311 HAS SOUPS 145507311 WITH SCORE 1.45741050753E8
AT ITER 955 NEW BEST:: SOT 837851171 SOS 233716037 HAS SOPS 233716037 HAS SOUS 145507308 HAS SOUPS 145507308 WITH SCORE 1.45741024037E8
AT ITER 958 NEW BEST:: SOT 837835119 SOS 233691958 HAS SOPS 233691958 HAS SOUS 145507305 HAS SOUPS 145507305 WITH SCORE 1.45740996958E8
AT ITER 959 NEW BEST:: SOT 837822359 SOS 233672818 HAS SOPS 233672818 HAS SOUS 145507305 HAS SOUPS 145507305 WITH SCORE 1.45740977818E8
AT ITER 977 NEW BEST:: SOT 837810213 SOS 233656868 HAS SOPS 233656868 HAS SOUS 145503477 HAS SOUPS 145503477 WITH SCORE 1.45737133868E8
AT ITER 981 NEW BEST:: SOT 837805068 SOS 233650006 HAS SOPS 233650006 HAS SOUS 145501756 HAS SOUPS 145501756 WITH SCORE 1.45735406006E8
AT ITER 993 NEW BEST:: SOT 837793230 SOS 233635375 HAS SOPS 233635375 HAS SOUS 145498918 HAS SOUPS 145498918 WITH SCORE 1.45732553375E8
AT ITER 1011 NEW BEST:: SOT 837779978 SOS 233615497 HAS SOPS 233615497 HAS SOUS 145498918 HAS SOUPS 145498918 WITH SCORE 1.45732533497E8
AT ITER 1021 NEW BEST:: SOT 837768045 SOS 233600510 HAS SOPS 233600510 HAS SOUS 145495860 HAS SOUPS 145495860 WITH SCORE 1.4572946051E8
AT ITER 1034 NEW BEST:: SOT 837760182 SOS 233590026 HAS SOPS 233590026 HAS SOUS 145493239 HAS SOUPS 145493239 WITH SCORE 1.45726829026E8
AT ITER 1041 NEW BEST:: SOT 837752970 SOS 233579191 HAS SOPS 233579191 HAS SOUS 145493188 HAS SOUPS 145493188 WITH SCORE 1.45726767191E8
AT ITER 1060 NEW BEST:: SOT 837742042 SOS 233568229 HAS SOPS 233568229 HAS SOUS 145493154 HAS SOUPS 145493154 WITH SCORE 1.45726722229E8
AT ITER 1066 NEW BEST:: SOT 837729780 SOS 233549836 HAS SOPS 233549836 HAS SOUS 145493154 HAS SOUPS 145493154 WITH SCORE 1.45726703836E8
AT ITER 1072 NEW BEST:: SOT 837719082 SOS 233533789 HAS SOPS 233533789 HAS SOUS 145493154 HAS SOUPS 145493154 WITH SCORE 1.45726687789E8
AT ITER 1088 NEW BEST:: SOT 837710622 SOS 233522507 HAS SOPS 233522507 HAS SOUS 145490328 HAS SOUPS 145490328 WITH SCORE 1.45723850507E8
AT ITER 1121 NEW BEST:: SOT 837701334 SOS 233510121 HAS SOPS 233510121 HAS SOUS 145487226 HAS SOUPS 145487226 WITH SCORE 1.45720736121E8
AT ITER 1122 NEW BEST:: SOT 837692728 SOS 233497211 HAS SOPS 233497211 HAS SOUS 145487223 HAS SOUPS 145487223 WITH SCORE 1.45720720211E8
AT ITER 1126 NEW BEST:: SOT 837681658 SOS 233480605 HAS SOPS 233480605 HAS SOUS 145487220 HAS SOUPS 145487220 WITH SCORE 1.45720700605E8
AT ITER 1148 NEW BEST:: SOT 837677581 SOS 233475169 HAS SOPS 233475169 HAS SOUS 145485861 HAS SOUPS 145485861 WITH SCORE 1.45719336169E8
AT ITER 1150 NEW BEST:: SOT 837667378 SOS 233461565 HAS SOPS 233461565 HAS SOUS 145482460 HAS SOUPS 145482460 WITH SCORE 1.45715921565E8
AT ITER 1154 NEW BEST:: SOT 837656688 SOS 233445530 HAS SOPS 233445530 HAS SOUS 145482460 HAS SOUPS 145482460 WITH SCORE 1.4571590553E8
AT ITER 1155 NEW BEST:: SOT 837653802 SOS 233441682 HAS SOPS 233441682 HAS SOUS 145481498 HAS SOUPS 145481498 WITH SCORE 1.45714939682E8
AT ITER 1157 NEW BEST:: SOT 837649258 SOS 233434866 HAS SOPS 233434866 HAS SOUS 145481498 HAS SOUPS 145481498 WITH SCORE 1.45714932866E8
AT ITER 1169 NEW BEST:: SOT 837641288 SOS 233422909 HAS SOPS 233422909 HAS SOUS 145481492 HAS SOUPS 145481492 WITH SCORE 1.45714914909E8
AT ITER 1170 NEW BEST:: SOT 837629984 SOS 233410435 HAS SOPS 233410435 HAS SOUS 145480322 HAS SOUPS 145480322 WITH SCORE 1.45713732435E8
AT ITER 1172 NEW BEST:: SOT 837614924 SOS 233387845 HAS SOPS 233387845 HAS SOUS 145480322 HAS SOUPS 145480322 WITH SCORE 1.45713709845E8
AT ITER 1176 NEW BEST:: SOT 837602775 SOS 233372010 HAS SOPS 233372010 HAS SOUS 145476632 HAS SOUPS 145476632 WITH SCORE 1.4571000401E8
AT ITER 1182 NEW BEST:: SOT 837600565 SOS 233368694 HAS SOPS 233368694 HAS SOUS 145476629 HAS SOUPS 145476629 WITH SCORE 1.45709997694E8
AT ITER 1187 NEW BEST:: SOT 837591184 SOS 233356184 HAS SOPS 233356184 HAS SOUS 145473496 HAS SOUPS 145473496 WITH SCORE 1.45706852184E8
AT ITER 1194 NEW BEST:: SOT 837580712 SOS 233340473 HAS SOPS 233340473 HAS SOUS 145473487 HAS SOUPS 145473487 WITH SCORE 1.45706827473E8
AT ITER 1214 NEW BEST:: SOT 837566374 SOS 233318965 HAS SOPS 233318965 HAS SOUS 145473484 HAS SOUPS 145473484 WITH SCORE 1.45706802965E8
AT ITER 1224 NEW BEST:: SOT 837560653 SOS 233312439 HAS SOPS 233312439 HAS SOUS 145472676 HAS SOUPS 145472676 WITH SCORE 1.45705988439E8
AT ITER 1226 NEW BEST:: SOT 837549352 SOS 233297370 HAS SOPS 233297370 HAS SOUS 145468906 HAS SOUPS 145468906 WITH SCORE 1.4570220337E8
AT ITER 1228 NEW BEST:: SOT 837543386 SOS 233288421 HAS SOPS 233288421 HAS SOUS 145468906 HAS SOUPS 145468906 WITH SCORE 1.45702194421E8
AT ITER 1233 NEW BEST:: SOT 837532266 SOS 233271739 HAS SOPS 233271739 HAS SOUS 145468900 HAS SOUPS 145468900 WITH SCORE 1.45702171739E8
AT ITER 1235 NEW BEST:: SOT 837525078 SOS 233260957 HAS SOPS 233260957 HAS SOUS 145468900 HAS SOUPS 145468900 WITH SCORE 1.45702160957E8
AT ITER 1238 NEW BEST:: SOT 837508744 SOS 233236456 HAS SOPS 233236456 HAS SOUS 145468900 HAS SOUPS 145468900 WITH SCORE 1.45702136456E8
AT ITER 1249 NEW BEST:: SOT 837498716 SOS 233221414 HAS SOPS 233221414 HAS SOUS 145468900 HAS SOUPS 145468900 WITH SCORE 1.45702121414E8
AT ITER 1257 NEW BEST:: SOT 837483820 SOS 233199069 HAS SOPS 233199069 HAS SOUS 145468897 HAS SOUPS 145468897 WITH SCORE 1.45702096069E8
AT ITER 1259 NEW BEST:: SOT 837472423 SOS 233183873 HAS SOPS 233183873 HAS SOUS 145465098 HAS SOUPS 145465098 WITH SCORE 1.45698281873E8
AT ITER 1263 NEW BEST:: SOT 837461309 SOS 233167202 HAS SOPS 233167202 HAS SOUS 145465098 HAS SOUPS 145465098 WITH SCORE 1.45698265202E8
AT ITER 1266 NEW BEST:: SOT 837449255 SOS 233151130 HAS SOPS 233151130 HAS SOUS 145461080 HAS SOUPS 145461080 WITH SCORE 1.4569423113E8
AT ITER 1286 NEW BEST:: SOT 837438105 SOS 233134405 HAS SOPS 233134405 HAS SOUS 145461080 HAS SOUPS 145461080 WITH SCORE 1.45694214405E8
AT ITER 1305 NEW BEST:: SOT 837423241 SOS 233112109 HAS SOPS 233112109 HAS SOUS 145461080 HAS SOUPS 145461080 WITH SCORE 1.45694192109E8
AT ITER 1308 NEW BEST:: SOT 837412071 SOS 233100189 HAS SOPS 233100189 HAS SOUS 145460325 HAS SOUPS 145460325 WITH SCORE 1.45693425189E8
AT ITER 1313 NEW BEST:: SOT 837407244 SOS 233093753 HAS SOPS 233093753 HAS SOUS 145458716 HAS SOUPS 145458716 WITH SCORE 1.45691809753E8
AT ITER 1334 NEW BEST:: SOT 837395112 SOS 233077975 HAS SOPS 233077975 HAS SOUS 145455063 HAS SOUPS 145455063 WITH SCORE 1.45688140975E8
AT ITER 1359 NEW BEST:: SOT 837380920 SOS 233049591 HAS SOPS 233049591 HAS SOUS 145433775 HAS SOUPS 145433775 WITH SCORE 1.45666824591E8
AT ITER 1369 NEW BEST:: SOT 837373840 SOS 233038969 HAS SOPS 233038969 HAS SOUS 145433769 HAS SOUPS 145433769 WITH SCORE 1.45666807969E8
AT ITER 1402 NEW BEST:: SOT 837359632 SOS 233017656 HAS SOPS 233017656 HAS SOUS 145433766 HAS SOUPS 145433766 WITH SCORE 1.45666783656E8
AT ITER 1415 NEW BEST:: SOT 837353940 SOS 233011268 HAS SOPS 233011268 HAS SOUS 145433065 HAS SOUPS 145433065 WITH SCORE 1.45666076268E8
AT ITER 1427 NEW BEST:: SOT 837342947 SOS 233000044 HAS SOPS 233000044 HAS SOUS 145432834 HAS SOUPS 145432834 WITH SCORE 1.45665834044E8
AT ITER 1432 NEW BEST:: SOT 837336191 SOS 232989910 HAS SOPS 232989910 HAS SOUS 145432834 HAS SOUPS 145432834 WITH SCORE 1.4566582391E8
AT ITER 1463 NEW BEST:: SOT 837326841 SOS 232975884 HAS SOPS 232975884 HAS SOUS 145432831 HAS SOUPS 145432831 WITH SCORE 1.45665806884E8
AT ITER 1474 NEW BEST:: SOT 837315768 SOS 232961118 HAS SOPS 232961118 HAS SOUS 145429134 HAS SOUPS 145429134 WITH SCORE 1.45662095118E8
AT ITER 1482 NEW BEST:: SOT 837304703 SOS 232949602 HAS SOPS 232949602 HAS SOUS 145428678 HAS SOUPS 145428678 WITH SCORE 1.45661627602E8
AT ITER 1520 NEW BEST:: SOT 837294155 SOS 232933779 HAS SOPS 232933779 HAS SOUS 145428675 HAS SOUPS 145428675 WITH SCORE 1.45661608779E8
AT ITER 1522 NEW BEST:: SOT 837288533 SOS 232927662 HAS SOPS 232927662 HAS SOUS 145428175 HAS SOUPS 145428175 WITH SCORE 1.45661102662E8
AT ITER 1538 NEW BEST:: SOT 837283689 SOS 232920396 HAS SOPS 232920396 HAS SOUS 145428175 HAS SOUPS 145428175 WITH SCORE 1.45661095396E8
AT ITER 1557 NEW BEST:: SOT 837272634 SOS 232908934 HAS SOPS 232908934 HAS SOUS 145427763 HAS SOUPS 145427763 WITH SCORE 1.45660671934E8
AT ITER 1568 NEW BEST:: SOT 837264670 SOS 232896986 HAS SOPS 232896986 HAS SOUS 145427757 HAS SOUPS 145427757 WITH SCORE 1.45660653986E8
AT ITER 1590 NEW BEST:: SOT 837250930 SOS 232876376 HAS SOPS 232876376 HAS SOUS 145427757 HAS SOUPS 145427757 WITH SCORE 1.45660633376E8
AT ITER 1595 NEW BEST:: SOT 837240472 SOS 232862429 HAS SOPS 232862429 HAS SOUS 145424262 HAS SOUPS 145424262 WITH SCORE 1.45657124429E8
AT ITER 1646 NEW BEST:: SOT 837239068 SOS 232860557 HAS SOPS 232860557 HAS SOUS 145423794 HAS SOUPS 145423794 WITH SCORE 1.45656654557E8
AT ITER 1656 NEW BEST:: SOT 837227494 SOS 232843196 HAS SOPS 232843196 HAS SOUS 145423794 HAS SOUPS 145423794 WITH SCORE 1.45656637196E8
AT ITER 1659 NEW BEST:: SOT 837212128 SOS 232820145 HAS SOPS 232820145 HAS SOUS 145423788 HAS SOUPS 145423788 WITH SCORE 1.45656608145E8
AT ITER 1668 NEW BEST:: SOT 837198472 SOS 232799661 HAS SOPS 232799661 HAS SOUS 145423788 HAS SOUPS 145423788 WITH SCORE 1.45656587661E8
AT ITER 1671 NEW BEST:: SOT 837187836 SOS 232783705 HAS SOPS 232783705 HAS SOUS 145423782 HAS SOUPS 145423782 WITH SCORE 1.45656565705E8
AT ITER 1672 NEW BEST:: SOT 837174122 SOS 232763133 HAS SOPS 232763133 HAS SOUS 145423779 HAS SOUPS 145423779 WITH SCORE 1.45656542133E8
AT ITER 1678 NEW BEST:: SOT 837159600 SOS 232741350 HAS SOPS 232741350 HAS SOUS 145423779 HAS SOUPS 145423779 WITH SCORE 1.4565652035E8
AT ITER 1687 NEW BEST:: SOT 837158568 SOS 232739800 HAS SOPS 232739800 HAS SOUS 145423773 HAS SOUPS 145423773 WITH SCORE 1.456565128E8
AT ITER 1713 NEW BEST:: SOT 837143402 SOS 232717051 HAS SOPS 232717051 HAS SOUS 145423773 HAS SOUPS 145423773 WITH SCORE 1.45656490051E8
AT ITER 1715 NEW BEST:: SOT 837131252 SOS 232698826 HAS SOPS 232698826 HAS SOUS 145423773 HAS SOUPS 145423773 WITH SCORE 1.45656471826E8
AT ITER 1730 NEW BEST:: SOT 837129126 SOS 232695636 HAS SOPS 232695636 HAS SOUS 145423770 HAS SOUPS 145423770 WITH SCORE 1.45656465636E8
AT ITER 1742 NEW BEST:: SOT 837121720 SOS 232684526 HAS SOPS 232684526 HAS SOUS 145423767 HAS SOUPS 145423767 WITH SCORE 1.45656451526E8
AT ITER 1749 NEW BEST:: SOT 837112644 SOS 232670912 HAS SOPS 232670912 HAS SOUS 145423767 HAS SOUPS 145423767 WITH SCORE 1.45656437912E8
AT ITER 1761 NEW BEST:: SOT 837105330 SOS 232659939 HAS SOPS 232659939 HAS SOUS 145423761 HAS SOUPS 145423761 WITH SCORE 1.45656420939E8
AT ITER 1762 NEW BEST:: SOT 837094776 SOS 232645865 HAS SOPS 232645865 HAS SOUS 145420237 HAS SOUPS 145420237 WITH SCORE 1.45652882865E8
AT ITER 1785 NEW BEST:: SOT 837079376 SOS 232622763 HAS SOPS 232622763 HAS SOUS 145420231 HAS SOUPS 145420231 WITH SCORE 1.45652853763E8
AT ITER 1792 NEW BEST:: SOT 837070774 SOS 232609860 HAS SOPS 232609860 HAS SOUS 145420231 HAS SOUPS 145420231 WITH SCORE 1.4565284086E8
AT ITER 1804 NEW BEST:: SOT 837062426 SOS 232597322 HAS SOPS 232597322 HAS SOUS 145420183 HAS SOUPS 145420183 WITH SCORE 1.45652780322E8
AT ITER 1819 NEW BEST:: SOT 837049614 SOS 232578104 HAS SOPS 232578104 HAS SOUS 145420183 HAS SOUPS 145420183 WITH SCORE 1.45652761104E8
AT ITER 1837 NEW BEST:: SOT 837034968 SOS 232556135 HAS SOPS 232556135 HAS SOUS 145420183 HAS SOUPS 145420183 WITH SCORE 1.45652739135E8
AT ITER 1851 NEW BEST:: SOT 837026364 SOS 232543228 HAS SOPS 232543228 HAS SOUS 145420180 HAS SOUPS 145420180 WITH SCORE 1.45652723228E8
AT ITER 1860 NEW BEST:: SOT 837012556 SOS 232522516 HAS SOPS 232522516 HAS SOUS 145420180 HAS SOUPS 145420180 WITH SCORE 1.45652702516E8
AT ITER 1879 NEW BEST:: SOT 836998598 SOS 232501579 HAS SOPS 232501579 HAS SOUS 145420180 HAS SOUPS 145420180 WITH SCORE 1.45652681579E8
AT ITER 1882 NEW BEST:: SOT 836990904 SOS 232490037 HAS SOPS 232490037 HAS SOUS 145420177 HAS SOUPS 145420177 WITH SCORE 1.45652667037E8
AT ITER 1885 NEW BEST:: SOT 836990618 SOS 232489465 HAS SOPS 232489465 HAS SOUS 145420176 HAS SOUPS 145420176 WITH SCORE 1.45652665465E8
AT ITER 1901 NEW BEST:: SOT 836979069 SOS 232476011 HAS SOPS 232476011 HAS SOUS 145418270 HAS SOUPS 145418270 WITH SCORE 1.45650746011E8
AT ITER 1916 NEW BEST:: SOT 836963565 SOS 232452755 HAS SOPS 232452755 HAS SOUS 145418270 HAS SOUPS 145418270 WITH SCORE 1.45650722755E8
AT ITER 1917 NEW BEST:: SOT 836956371 SOS 232441964 HAS SOPS 232441964 HAS SOUS 145418270 HAS SOUPS 145418270 WITH SCORE 1.45650711964E8
AT ITER 1926 NEW BEST:: SOT 836950257 SOS 232433808 HAS SOPS 232433808 HAS SOUS 145416220 HAS SOUPS 145416220 WITH SCORE 1.45648653808E8
AT ITER 1932 NEW BEST:: SOT 836941161 SOS 232420163 HAS SOPS 232420163 HAS SOUS 145416217 HAS SOUPS 145416217 WITH SCORE 1.45648637163E8
AT ITER 1935 NEW BEST:: SOT 836931691 SOS 232405957 HAS SOPS 232405957 HAS SOUS 145416214 HAS SOUPS 145416214 WITH SCORE 1.45648619957E8
AT ITER 1940 NEW BEST:: SOT 836926113 SOS 232399947 HAS SOPS 232399947 HAS SOUS 145415783 HAS SOUPS 145415783 WITH SCORE 1.45648182947E8
AT ITER 1950 NEW BEST:: SOT 836925766 SOS 232399253 HAS SOPS 232399253 HAS SOUS 145415783 HAS SOUPS 145415783 WITH SCORE 1.45648182253E8
AT ITER 1956 NEW BEST:: SOT 836910526 SOS 232376390 HAS SOPS 232376390 HAS SOUS 145415774 HAS SOUPS 145415774 WITH SCORE 1.4564815039E8
AT ITER 1976 NEW BEST:: SOT 836899094 SOS 232354940 HAS SOPS 232354940 HAS SOUS 145402868 HAS SOUPS 145402868 WITH SCORE 1.4563522294E8
AT ITER 1977 NEW BEST:: SOT 836887208 SOS 232340068 HAS SOPS 232340068 HAS SOUS 145399886 HAS SOUPS 145399886 WITH SCORE 1.45632226068E8
AT ITER 2003 NEW BEST:: SOT 836884648 SOS 232336228 HAS SOPS 232336228 HAS SOUS 145399886 HAS SOUPS 145399886 WITH SCORE 1.45632222228E8
AT ITER 2016 NEW BEST:: SOT 836873392 SOS 232321218 HAS SOPS 232321218 HAS SOUS 145396128 HAS SOUPS 145396128 WITH SCORE 1.45628449218E8
AT ITER 2045 NEW BEST:: SOT 836861389 SOS 232305888 HAS SOPS 232305888 HAS SOUS 145392803 HAS SOUPS 145392803 WITH SCORE 1.45625108888E8
AT ITER 2053 NEW BEST:: SOT 836861389 SOS 232305886 HAS SOPS 232305886 HAS SOUS 145392797 HAS SOUPS 145392797 WITH SCORE 1.45625102886E8
AT ITER 2074 NEW BEST:: SOT 836852347 SOS 232292322 HAS SOPS 232292322 HAS SOUS 145392794 HAS SOUPS 145392794 WITH SCORE 1.45625086322E8
AT ITER 2075 NEW BEST:: SOT 836849297 SOS 232288271 HAS SOPS 232288271 HAS SOUS 145391728 HAS SOUPS 145391728 WITH SCORE 1.45624016271E8
AT ITER 2077 NEW BEST:: SOT 836834499 SOS 232266073 HAS SOPS 232266073 HAS SOUS 145391725 HAS SOUPS 145391725 WITH SCORE 1.45623991073E8
AT ITER 2115 NEW BEST:: SOT 836823494 SOS 232254715 HAS SOPS 232254715 HAS SOUS 145391377 HAS SOUPS 145391377 WITH SCORE 1.45623631715E8
AT ITER 2121 NEW BEST:: SOT 836811288 SOS 232236405 HAS SOPS 232236405 HAS SOUS 145391374 HAS SOUPS 145391374 WITH SCORE 1.45623610405E8
AT ITER 2126 NEW BEST:: SOT 836799462 SOS 232221845 HAS SOPS 232221845 HAS SOUS 145388636 HAS SOUPS 145388636 WITH SCORE 1.45620857845E8
AT ITER 2129 NEW BEST:: SOT 836790940 SOS 232209060 HAS SOPS 232209060 HAS SOUS 145388630 HAS SOUPS 145388630 WITH SCORE 1.4562083906E8
AT ITER 2131 NEW BEST:: SOT 836779992 SOS 232197978 HAS SOPS 232197978 HAS SOUS 145388447 HAS SOUPS 145388447 WITH SCORE 1.45620644978E8
AT ITER 2145 NEW BEST:: SOT 836767108 SOS 232178652 HAS SOPS 232178652 HAS SOUS 145388447 HAS SOUPS 145388447 WITH SCORE 1.45620625652E8
AT ITER 2174 NEW BEST:: SOT 836755609 SOS 232165405 HAS SOPS 232165405 HAS SOUS 145386690 HAS SOUPS 145386690 WITH SCORE 1.45618855405E8
AT ITER 2218 NEW BEST:: SOT 836754409 SOS 232163605 HAS SOPS 232163605 HAS SOUS 145386690 HAS SOUPS 145386690 WITH SCORE 1.45618853605E8
AT ITER 2219 NEW BEST:: SOT 836742437 SOS 232145646 HAS SOPS 232145646 HAS SOUS 145386687 HAS SOUPS 145386687 WITH SCORE 1.45618832646E8
AT ITER 2226 NEW BEST:: SOT 836728577 SOS 232124855 HAS SOPS 232124855 HAS SOUS 145386684 HAS SOUPS 145386684 WITH SCORE 1.45618808855E8
AT ITER 2233 NEW BEST:: SOT 836716862 SOS 232110746 HAS SOPS 232110746 HAS SOUS 145384284 HAS SOUPS 145384284 WITH SCORE 1.45616394746E8
AT ITER 2236 NEW BEST:: SOT 836709388 SOS 232099535 HAS SOPS 232099535 HAS SOUS 145384284 HAS SOUPS 145384284 WITH SCORE 1.45616383535E8
AT ITER 2242 NEW BEST:: SOT 836705042 SOS 232093015 HAS SOPS 232093015 HAS SOUS 145384281 HAS SOUPS 145384281 WITH SCORE 1.45616374015E8
AT ITER 2252 NEW BEST:: SOT 836692845 SOS 232076967 HAS SOPS 232076967 HAS SOUS 145380423 HAS SOUPS 145380423 WITH SCORE 1.45612499967E8
AT ITER 2281 NEW BEST:: SOT 836685801 SOS 232066401 HAS SOPS 232066401 HAS SOUS 145380423 HAS SOUPS 145380423 WITH SCORE 1.45612489401E8
AT ITER 2295 NEW BEST:: SOT 836679289 SOS 232056632 HAS SOPS 232056632 HAS SOUS 145380420 HAS SOUPS 145380420 WITH SCORE 1.45612476632E8
AT ITER 2304 NEW BEST:: SOT 836667455 SOS 232038880 HAS SOPS 232038880 HAS SOUS 145380417 HAS SOUPS 145380417 WITH SCORE 1.4561245588E8
AT ITER 2339 NEW BEST:: SOT 836657427 SOS 232023838 HAS SOPS 232023838 HAS SOUS 145380417 HAS SOUPS 145380417 WITH SCORE 1.45612440838E8
AT ITER 2343 NEW BEST:: SOT 836649773 SOS 232012357 HAS SOPS 232012357 HAS SOUS 145380417 HAS SOUPS 145380417 WITH SCORE 1.45612429357E8
AT ITER 2384 NEW BEST:: SOT 836636703 SOS 231992736 HAS SOPS 231992736 HAS SOUS 145380369 HAS SOUPS 145380369 WITH SCORE 1.45612361736E8
AT ITER 2392 NEW BEST:: SOT 836620573 SOS 231968541 HAS SOPS 231968541 HAS SOUS 145380369 HAS SOUPS 145380369 WITH SCORE 1.45612337541E8
AT ITER 2394 NEW BEST:: SOT 836613339 SOS 231957688 HAS SOPS 231957688 HAS SOUS 145380363 HAS SOUPS 145380363 WITH SCORE 1.45612320688E8
AT ITER 2399 NEW BEST:: SOT 836598461 SOS 231935359 HAS SOPS 231935359 HAS SOUS 145380327 HAS SOUPS 145380327 WITH SCORE 1.45612262359E8
AT ITER 2413 NEW BEST:: SOT 836592403 SOS 231926271 HAS SOPS 231926271 HAS SOUS 145380324 HAS SOUPS 145380324 WITH SCORE 1.45612250271E8
AT ITER 2415 NEW BEST:: SOT 836583916 SOS 231914953 HAS SOPS 231914953 HAS SOUS 145377489 HAS SOUPS 145377489 WITH SCORE 1.45609403953E8
AT ITER 2435 NEW BEST:: SOT 836578304 SOS 231908889 HAS SOPS 231908889 HAS SOUS 145377035 HAS SOUPS 145377035 WITH SCORE 1.45608943889E8
AT ITER 2439 NEW BEST:: SOT 836571794 SOS 231899124 HAS SOPS 231899124 HAS SOUS 145377035 HAS SOUPS 145377035 WITH SCORE 1.45608934124E8
AT ITER 2440 NEW BEST:: SOT 836560614 SOS 231882352 HAS SOPS 231882352 HAS SOUS 145377029 HAS SOUPS 145377029 WITH SCORE 1.45608911352E8
AT ITER 2441 NEW BEST:: SOT 836548774 SOS 231864592 HAS SOPS 231864592 HAS SOUS 145377029 HAS SOUPS 145377029 WITH SCORE 1.45608893592E8
AT ITER 2446 NEW BEST:: SOT 836534288 SOS 231842863 HAS SOPS 231842863 HAS SOUS 145377029 HAS SOUPS 145377029 WITH SCORE 1.45608871863E8
AT ITER 2452 NEW BEST:: SOT 836526776 SOS 231832845 HAS SOPS 231832845 HAS SOUS 145374519 HAS SOUPS 145374519 WITH SCORE 1.45606351845E8
AT ITER 2457 NEW BEST:: SOT 836522288 SOS 231826112 HAS SOPS 231826112 HAS SOUS 145374516 HAS SOUPS 145374516 WITH SCORE 1.45606342112E8
AT ITER 2466 NEW BEST:: SOT 836512076 SOS 231812496 HAS SOPS 231812496 HAS SOUS 145371112 HAS SOUPS 145371112 WITH SCORE 1.45602924496E8
AT ITER 2471 NEW BEST:: SOT 836508368 SOS 231806932 HAS SOPS 231806932 HAS SOUS 145371106 HAS SOUPS 145371106 WITH SCORE 1.45602912932E8
AT ITER 2508 NEW BEST:: SOT 836503408 SOS 231799491 HAS SOPS 231799491 HAS SOUS 145371103 HAS SOUPS 145371103 WITH SCORE 1.45602902491E8
AT ITER 2512 NEW BEST:: SOT 836491382 SOS 231781452 HAS SOPS 231781452 HAS SOUS 145371103 HAS SOUPS 145371103 WITH SCORE 1.45602884452E8
AT ITER 2515 NEW BEST:: SOT 836482397 SOS 231769472 HAS SOPS 231769472 HAS SOUS 145368108 HAS SOUPS 145368108 WITH SCORE 1.45599877472E8
AT ITER 2524 NEW BEST:: SOT 836466143 SOS 231738111 HAS SOPS 231738111 HAS SOUS 145347168 HAS SOUPS 145347168 WITH SCORE 1.45578906111E8
AT ITER 2543 NEW BEST:: SOT 836452947 SOS 231718316 HAS SOPS 231718316 HAS SOUS 145347165 HAS SOUPS 145347165 WITH SCORE 1.45578883316E8
AT ITER 2551 NEW BEST:: SOT 836449086 SOS 231713168 HAS SOPS 231713168 HAS SOUS 145345878 HAS SOUPS 145345878 WITH SCORE 1.45577591168E8
AT ITER 2562 NEW BEST:: SOT 836446896 SOS 231710248 HAS SOPS 231710248 HAS SOUS 145345148 HAS SOUPS 145345148 WITH SCORE 1.45576858248E8
AT ITER 2577 NEW BEST:: SOT 836434826 SOS 231692142 HAS SOPS 231692142 HAS SOUS 145345145 HAS SOUPS 145345145 WITH SCORE 1.45576837142E8
AT ITER 2578 NEW BEST:: SOT 836424183 SOS 231680068 HAS SOPS 231680068 HAS SOUS 145343708 HAS SOUPS 145343708 WITH SCORE 1.45575388068E8
AT ITER 2584 NEW BEST:: SOT 836412220 SOS 231664958 HAS SOPS 231664958 HAS SOUS 145340558 HAS SOUPS 145340558 WITH SCORE 1.45572222958E8
AT ITER 2589 NEW BEST:: SOT 836400896 SOS 231647970 HAS SOPS 231647970 HAS SOUS 145340552 HAS SOUPS 145340552 WITH SCORE 1.4557219997E8
AT ITER 2595 NEW BEST:: SOT 836388468 SOS 231629327 HAS SOPS 231629327 HAS SOUS 145340549 HAS SOUPS 145340549 WITH SCORE 1.45572178327E8
AT ITER 2606 NEW BEST:: SOT 836375270 SOS 231609529 HAS SOPS 231609529 HAS SOUS 145340546 HAS SOUPS 145340546 WITH SCORE 1.45572155529E8
AT ITER 2609 NEW BEST:: SOT 836371826 SOS 231604363 HAS SOPS 231604363 HAS SOUS 145340546 HAS SOUPS 145340546 WITH SCORE 1.45572150363E8
AT ITER 2640 NEW BEST:: SOT 836360783 SOS 231589638 HAS SOPS 231589638 HAS SOUS 145336862 HAS SOUPS 145336862 WITH SCORE 1.45568451638E8
AT ITER 2646 NEW BEST:: SOT 836360783 SOS 231589623 HAS SOPS 231589623 HAS SOUS 145336817 HAS SOUPS 145336817 WITH SCORE 1.45568406623E8
AT ITER 2656 NEW BEST:: SOT 836347547 SOS 231569768 HAS SOPS 231569768 HAS SOUS 145336814 HAS SOUPS 145336814 WITH SCORE 1.45568383768E8
AT ITER 2680 NEW BEST:: SOT 836343962 SOS 231564986 HAS SOPS 231564986 HAS SOUS 145335613 HAS SOUPS 145335613 WITH SCORE 1.45567177986E8
AT ITER 2698 NEW BEST:: SOT 836340688 SOS 231560074 HAS SOPS 231560074 HAS SOUS 145335610 HAS SOUPS 145335610 WITH SCORE 1.45567170074E8
AT ITER 2721 NEW BEST:: SOT 836332226 SOS 231547381 HAS SOPS 231547381 HAS SOUS 145335610 HAS SOUPS 145335610 WITH SCORE 1.45567157381E8
AT ITER 2730 NEW BEST:: SOT 836318334 SOS 231526543 HAS SOPS 231526543 HAS SOUS 145335610 HAS SOUPS 145335610 WITH SCORE 1.45567136543E8
AT ITER 2735 NEW BEST:: SOT 836317791 SOS 231525819 HAS SOPS 231525819 HAS SOUS 145335429 HAS SOUPS 145335429 WITH SCORE 1.45566954819E8
AT ITER 2743 NEW BEST:: SOT 836313717 SOS 231519707 HAS SOPS 231519707 HAS SOUS 145335426 HAS SOUPS 145335426 WITH SCORE 1.45566945707E8
AT ITER 2746 NEW BEST:: SOT 836304903 SOS 231507955 HAS SOPS 231507955 HAS SOUS 145332488 HAS SOUPS 145332488 WITH SCORE 1.45563995955E8
AT ITER 2748 NEW BEST:: SOT 836290881 SOS 231486922 HAS SOPS 231486922 HAS SOUS 145332488 HAS SOUPS 145332488 WITH SCORE 1.45563974922E8
AT ITER 2757 NEW BEST:: SOT 836286747 SOS 231481410 HAS SOPS 231481410 HAS SOUS 145331110 HAS SOUPS 145331110 WITH SCORE 1.4556259141E8
AT ITER 2773 NEW BEST:: SOT 836275712 SOS 231470030 HAS SOPS 231470030 HAS SOUS 145330763 HAS SOUPS 145330763 WITH SCORE 1.4556223303E8
AT ITER 2777 NEW BEST:: SOT 836261800 SOS 231449162 HAS SOPS 231449162 HAS SOUS 145330763 HAS SOUPS 145330763 WITH SCORE 1.45562212162E8
AT ITER 2784 NEW BEST:: SOT 836259337 SOS 231445878 HAS SOPS 231445878 HAS SOUS 145329942 HAS SOUPS 145329942 WITH SCORE 1.45561387878E8
AT ITER 2794 NEW BEST:: SOT 836250425 SOS 231432509 HAS SOPS 231432509 HAS SOUS 145329939 HAS SOUPS 145329939 WITH SCORE 1.45561371509E8
AT ITER 2821 NEW BEST:: SOT 836246678 SOS 231427513 HAS SOPS 231427513 HAS SOUS 145328690 HAS SOUPS 145328690 WITH SCORE 1.45560117513E8
AT ITER 2831 NEW BEST:: SOT 836241707 SOS 231420885 HAS SOPS 231420885 HAS SOUS 145327033 HAS SOUPS 145327033 WITH SCORE 1.45558453885E8
AT ITER 2836 NEW BEST:: SOT 836230616 SOS 231409261 HAS SOPS 231409261 HAS SOUS 145326499 HAS SOUPS 145326499 WITH SCORE 1.45557908261E8
AT ITER 2857 NEW BEST:: SOT 836215062 SOS 231385929 HAS SOPS 231385929 HAS SOUS 145326496 HAS SOUPS 145326496 WITH SCORE 1.45557881929E8
AT ITER 2859 NEW BEST:: SOT 836204412 SOS 231369952 HAS SOPS 231369952 HAS SOUS 145326490 HAS SOUPS 145326490 WITH SCORE 1.45557859952E8
AT ITER 2875 NEW BEST:: SOT 836192585 SOS 231355328 HAS SOPS 231355328 HAS SOUS 145323691 HAS SOUPS 145323691 WITH SCORE 1.45555046328E8
AT ITER 2885 NEW BEST:: SOT 836184527 SOS 231343241 HAS SOPS 231343241 HAS SOUS 145323691 HAS SOUPS 145323691 WITH SCORE 1.45555034241E8
AT ITER 2894 NEW BEST:: SOT 836169165 SOS 231320198 HAS SOPS 231320198 HAS SOUS 145323691 HAS SOUPS 145323691 WITH SCORE 1.45555011198E8
AT ITER 2902 NEW BEST:: SOT 836162571 SOS 231310307 HAS SOPS 231310307 HAS SOUS 145323691 HAS SOUPS 145323691 WITH SCORE 1.45555001307E8
AT ITER 2906 NEW BEST:: SOT 836146255 SOS 231285833 HAS SOPS 231285833 HAS SOUS 145323691 HAS SOUPS 145323691 WITH SCORE 1.45554976833E8
AT ITER 2917 NEW BEST:: SOT 836140477 SOS 231277166 HAS SOPS 231277166 HAS SOUS 145323691 HAS SOUPS 145323691 WITH SCORE 1.45554968166E8
AT ITER 2927 NEW BEST:: SOT 836125913 SOS 231255320 HAS SOPS 231255320 HAS SOUS 145323691 HAS SOUPS 145323691 WITH SCORE 1.4555494632E8
AT ITER 2931 NEW BEST:: SOT 836114675 SOS 231240335 HAS SOPS 231240335 HAS SOUS 145319942 HAS SOUPS 145319942 WITH SCORE 1.45551182335E8
AT ITER 2942 NEW BEST:: SOT 836109393 SOS 231232412 HAS SOPS 231232412 HAS SOUS 145319942 HAS SOUPS 145319942 WITH SCORE 1.45551174412E8
AT ITER 2943 NEW BEST:: SOT 836097197 SOS 231216284 HAS SOPS 231216284 HAS SOUS 145316015 HAS SOUPS 145316015 WITH SCORE 1.45547231284E8
AT ITER 2958 NEW BEST:: SOT 836086068 SOS 231204504 HAS SOPS 231204504 HAS SOUS 145315364 HAS SOUPS 145315364 WITH SCORE 1.45546568504E8
AT ITER 2961 NEW BEST:: SOT 836080586 SOS 231196281 HAS SOPS 231196281 HAS SOUS 145315364 HAS SOUPS 145315364 WITH SCORE 1.45546560281E8
AT ITER 2974 NEW BEST:: SOT 836069972 SOS 231180360 HAS SOPS 231180360 HAS SOUS 145315364 HAS SOUPS 145315364 WITH SCORE 1.4554654436E8
AT ITER 2984 NEW BEST:: SOT 836057014 SOS 231160923 HAS SOPS 231160923 HAS SOUS 145315364 HAS SOUPS 145315364 WITH SCORE 1.45546524923E8
AT ITER 2992 NEW BEST:: SOT 836051527 SOS 231153607 HAS SOPS 231153607 HAS SOUS 145313535 HAS SOUPS 145313535 WITH SCORE 1.45544688607E8
AT ITER 3009 NEW BEST:: SOT 836051087 SOS 231152727 HAS SOPS 231152727 HAS SOUS 145313534 HAS SOUPS 145313534 WITH SCORE 1.45544686727E8
AT ITER 3022 NEW BEST:: SOT 836039841 SOS 231135858 HAS SOPS 231135858 HAS SOUS 145313534 HAS SOUPS 145313534 WITH SCORE 1.45544669858E8
AT ITER 3037 NEW BEST:: SOT 836033263 SOS 231125988 HAS SOPS 231125988 HAS SOUS 145313525 HAS SOUPS 145313525 WITH SCORE 1.45544650988E8
AT ITER 3040 NEW BEST:: SOT 836021377 SOS 231110140 HAS SOPS 231110140 HAS SOUS 145309563 HAS SOUPS 145309563 WITH SCORE 1.4554067314E8
AT ITER 3072 NEW BEST:: SOT 836018417 SOS 231106486 HAS SOPS 231106486 HAS SOUS 145308866 HAS SOUPS 145308866 WITH SCORE 1.45539972486E8
AT ITER 3101 NEW BEST:: SOT 836004247 SOS 231085230 HAS SOPS 231085230 HAS SOUS 145308863 HAS SOUPS 145308863 WITH SCORE 1.4553994823E8
AT ITER 3102 NEW BEST:: SOT 835995229 SOS 231071703 HAS SOPS 231071703 HAS SOUS 145308863 HAS SOUPS 145308863 WITH SCORE 1.45539934703E8
AT ITER 3103 NEW BEST:: SOT 835985041 SOS 231056420 HAS SOPS 231056420 HAS SOUS 145308860 HAS SOUPS 145308860 WITH SCORE 1.4553991642E8
AT ITER 3148 NEW BEST:: SOT 835969925 SOS 231033744 HAS SOPS 231033744 HAS SOUS 145308854 HAS SOUPS 145308854 WITH SCORE 1.45539887744E8
AT ITER 3154 NEW BEST:: SOT 835955935 SOS 231011089 HAS SOPS 231011089 HAS SOUS 145303844 HAS SOUPS 145303844 WITH SCORE 1.45534855089E8
AT ITER 3156 NEW BEST:: SOT 835941827 SOS 230989927 HAS SOPS 230989927 HAS SOUS 145303844 HAS SOUPS 145303844 WITH SCORE 1.45534833927E8
AT ITER 3171 NEW BEST:: SOT 835932392 SOS 230977344 HAS SOPS 230977344 HAS SOUS 145300690 HAS SOUPS 145300690 WITH SCORE 1.45531667344E8
AT ITER 3212 NEW BEST:: SOT 835921750 SOS 230961381 HAS SOPS 230961381 HAS SOUS 145300690 HAS SOUPS 145300690 WITH SCORE 1.45531651381E8
AT ITER 3220 NEW BEST:: SOT 835905686 SOS 230937285 HAS SOPS 230937285 HAS SOUS 145300690 HAS SOUPS 145300690 WITH SCORE 1.45531627285E8
AT ITER 3222 NEW BEST:: SOT 835891084 SOS 230915382 HAS SOPS 230915382 HAS SOUS 145300690 HAS SOUPS 145300690 WITH SCORE 1.45531605382E8
AT ITER 3229 NEW BEST:: SOT 835888830 SOS 230912000 HAS SOPS 230912000 HAS SOUS 145300687 HAS SOUPS 145300687 WITH SCORE 1.45531599E8
AT ITER 3245 NEW BEST:: SOT 835874106 SOS 230889914 HAS SOPS 230889914 HAS SOUS 145300687 HAS SOUPS 145300687 WITH SCORE 1.45531576914E8
AT ITER 3255 NEW BEST:: SOT 835864632 SOS 230875703 HAS SOPS 230875703 HAS SOUS 145300687 HAS SOUPS 145300687 WITH SCORE 1.45531562703E8
AT ITER 3261 NEW BEST:: SOT 835848878 SOS 230852070 HAS SOPS 230852070 HAS SOUS 145300681 HAS SOUPS 145300681 WITH SCORE 1.4553153307E8
AT ITER 3268 NEW BEST:: SOT 835839206 SOS 230837562 HAS SOPS 230837562 HAS SOUS 145300681 HAS SOUPS 145300681 WITH SCORE 1.45531518562E8
AT ITER 3280 NEW BEST:: SOT 835828920 SOS 230822131 HAS SOPS 230822131 HAS SOUS 145300675 HAS SOUPS 145300675 WITH SCORE 1.45531497131E8
AT ITER 3285 NEW BEST:: SOT 835824812 SOS 230815969 HAS SOPS 230815969 HAS SOUS 145300675 HAS SOUPS 145300675 WITH SCORE 1.45531490969E8
AT ITER 3294 NEW BEST:: SOT 835812188 SOS 230797031 HAS SOPS 230797031 HAS SOUS 145300669 HAS SOUPS 145300669 WITH SCORE 1.45531466031E8
AT ITER 3301 NEW BEST:: SOT 835800615 SOS 230783403 HAS SOPS 230783403 HAS SOUS 145298618 HAS SOUPS 145298618 WITH SCORE 1.45529401403E8
AT ITER 3309 NEW BEST:: SOT 835788505 SOS 230765237 HAS SOPS 230765237 HAS SOUS 145298615 HAS SOUPS 145298615 WITH SCORE 1.45529380237E8
AT ITER 3323 NEW BEST:: SOT 835777036 SOS 230752038 HAS SOPS 230752038 HAS SOUS 145296887 HAS SOUPS 145296887 WITH SCORE 1.45527639038E8
AT ITER 3335 NEW BEST:: SOT 835769026 SOS 230741358 HAS SOPS 230741358 HAS SOUS 145294217 HAS SOUPS 145294217 WITH SCORE 1.45524958358E8
AT ITER 3341 NEW BEST:: SOT 835757629 SOS 230728543 HAS SOPS 230728543 HAS SOUS 145292797 HAS SOUPS 145292797 WITH SCORE 1.45523525543E8
AT ITER 3350 NEW BEST:: SOT 835745641 SOS 230712559 HAS SOPS 230712559 HAS SOUS 145288801 HAS SOUPS 145288801 WITH SCORE 1.45519513559E8
AT ITER 3373 NEW BEST:: SOT 835730251 SOS 230689474 HAS SOPS 230689474 HAS SOUS 145288801 HAS SOUPS 145288801 WITH SCORE 1.45519490474E8
AT ITER 3385 NEW BEST:: SOT 835717019 SOS 230669624 HAS SOPS 230669624 HAS SOUS 145288795 HAS SOUPS 145288795 WITH SCORE 1.45519464624E8
AT ITER 3395 NEW BEST:: SOT 835709132 SOS 230659104 HAS SOPS 230659104 HAS SOUS 145286154 HAS SOUPS 145286154 WITH SCORE 1.45516813104E8
AT ITER 3397 NEW BEST:: SOT 835703328 SOS 230652268 HAS SOPS 230652268 HAS SOUS 145285119 HAS SOUPS 145285119 WITH SCORE 1.45515771268E8
AT ITER 3421 NEW BEST:: SOT 835700412 SOS 230648380 HAS SOPS 230648380 HAS SOUS 145284147 HAS SOUPS 145284147 WITH SCORE 1.4551479538E8
AT ITER 3424 NEW BEST:: SOT 835695630 SOS 230642003 HAS SOPS 230642003 HAS SOUS 145282550 HAS SOUPS 145282550 WITH SCORE 1.45513192003E8
AT ITER 3431 NEW BEST:: SOT 835683666 SOS 230626049 HAS SOPS 230626049 HAS SOUS 145278556 HAS SOUPS 145278556 WITH SCORE 1.45509182049E8
AT ITER 3439 NEW BEST:: SOT 835675124 SOS 230613236 HAS SOPS 230613236 HAS SOUS 145278556 HAS SOUPS 145278556 WITH SCORE 1.45509169236E8
AT ITER 3454 NEW BEST:: SOT 835661806 SOS 230593259 HAS SOPS 230593259 HAS SOUS 145278556 HAS SOUPS 145278556 WITH SCORE 1.45509149259E8
AT ITER 3455 NEW BEST:: SOT 835656174 SOS 230587111 HAS SOPS 230587111 HAS SOUS 145278035 HAS SOUPS 145278035 WITH SCORE 1.45508622111E8
AT ITER 3456 NEW BEST:: SOT 835643216 SOS 230567674 HAS SOPS 230567674 HAS SOUS 145278035 HAS SOUPS 145278035 WITH SCORE 1.45508602674E8
AT ITER 3478 NEW BEST:: SOT 835635472 SOS 230556058 HAS SOPS 230556058 HAS SOUS 145278035 HAS SOUPS 145278035 WITH SCORE 1.45508591058E8
AT ITER 3488 NEW BEST:: SOT 835625284 SOS 230540776 HAS SOPS 230540776 HAS SOUS 145278035 HAS SOUPS 145278035 WITH SCORE 1.45508575776E8
AT ITER 3490 NEW BEST:: SOT 835618860 SOS 230531139 HAS SOPS 230531139 HAS SOUS 145278032 HAS SOUPS 145278032 WITH SCORE 1.45508563139E8
AT ITER 3509 NEW BEST:: SOT 835611894 SOS 230520689 HAS SOPS 230520689 HAS SOUS 145278029 HAS SOUPS 145278029 WITH SCORE 1.45508549689E8
AT ITER 3511 NEW BEST:: SOT 835599893 SOS 230505437 HAS SOPS 230505437 HAS SOUS 145274776 HAS SOUPS 145274776 WITH SCORE 1.45505281437E8
AT ITER 3526 NEW BEST:: SOT 835583897 SOS 230481443 HAS SOPS 230481443 HAS SOUS 145274776 HAS SOUPS 145274776 WITH SCORE 1.45505257443E8
AT ITER 3536 NEW BEST:: SOT 835573178 SOS 230467151 HAS SOPS 230467151 HAS SOUS 145271203 HAS SOUPS 145271203 WITH SCORE 1.45501670151E8
AT ITER 3560 NEW BEST:: SOT 835561274 SOS 230451277 HAS SOPS 230451277 HAS SOUS 145267229 HAS SOUPS 145267229 WITH SCORE 1.45497680277E8
AT ITER 3569 NEW BEST:: SOT 835552152 SOS 230437591 HAS SOPS 230437591 HAS SOUS 145267220 HAS SOUPS 145267220 WITH SCORE 1.45497657591E8
AT ITER 3599 NEW BEST:: SOT 835536730 SOS 230414457 HAS SOPS 230414457 HAS SOUS 145267217 HAS SOUPS 145267217 WITH SCORE 1.45497631457E8
AT ITER 3602 NEW BEST:: SOT 835527460 SOS 230400552 HAS SOPS 230400552 HAS SOUS 145267217 HAS SOUPS 145267217 WITH SCORE 1.45497617552E8
AT ITER 3604 NEW BEST:: SOT 835517293 SOS 230386996 HAS SOPS 230386996 HAS SOUS 145263828 HAS SOUPS 145263828 WITH SCORE 1.45494214996E8
AT ITER 3625 NEW BEST:: SOT 835512127 SOS 230379245 HAS SOPS 230379245 HAS SOUS 145263822 HAS SOUPS 145263822 WITH SCORE 1.45494201245E8
AT ITER 3626 NEW BEST:: SOT 835508800 SOS 230374806 HAS SOPS 230374806 HAS SOUS 145262704 HAS SOUPS 145262704 WITH SCORE 1.45493078806E8
AT ITER 3663 NEW BEST:: SOT 835494532 SOS 230353401 HAS SOPS 230353401 HAS SOUS 145262695 HAS SOUPS 145262695 WITH SCORE 1.45493048401E8
AT ITER 3671 NEW BEST:: SOT 835491518 SOS 230348880 HAS SOPS 230348880 HAS SOUS 145262695 HAS SOUPS 145262695 WITH SCORE 1.4549304388E8
AT ITER 3677 NEW BEST:: SOT 835478326 SOS 230329092 HAS SOPS 230329092 HAS SOUS 145262695 HAS SOUPS 145262695 WITH SCORE 1.45493024092E8
AT ITER 3681 NEW BEST:: SOT 835464152 SOS 230307831 HAS SOPS 230307831 HAS SOUS 145262695 HAS SOUPS 145262695 WITH SCORE 1.45493002831E8
AT ITER 3701 NEW BEST:: SOT 835461268 SOS 230303503 HAS SOPS 230303503 HAS SOUS 145262689 HAS SOUPS 145262689 WITH SCORE 1.45492992503E8
AT ITER 3722 NEW BEST:: SOT 835454244 SOS 230292967 HAS SOPS 230292967 HAS SOUS 145262689 HAS SOUPS 145262689 WITH SCORE 1.45492981967E8
AT ITER 3745 NEW BEST:: SOT 835448736 SOS 230284705 HAS SOPS 230284705 HAS SOUS 145262689 HAS SOUPS 145262689 WITH SCORE 1.45492973705E8
AT ITER 3762 NEW BEST:: SOT 835438410 SOS 230264053 HAS SOPS 230264053 HAS SOUS 145247200 HAS SOUPS 145247200 WITH SCORE 1.45477464053E8
AT ITER 3772 NEW BEST:: SOT 835430914 SOS 230252809 HAS SOPS 230252809 HAS SOUS 145247200 HAS SOUPS 145247200 WITH SCORE 1.45477452809E8
AT ITER 3810 NEW BEST:: SOT 835415282 SOS 230229360 HAS SOPS 230229360 HAS SOUS 145247197 HAS SOUPS 145247197 WITH SCORE 1.4547742636E8
AT ITER 3826 NEW BEST:: SOT 835403339 SOS 230213436 HAS SOPS 230213436 HAS SOUS 145243216 HAS SOUPS 145243216 WITH SCORE 1.45473429436E8
AT ITER 3833 NEW BEST:: SOT 835396934 SOS 230204894 HAS SOPS 230204894 HAS SOUS 145241075 HAS SOUPS 145241075 WITH SCORE 1.45471279894E8
AT ITER 3836 NEW BEST:: SOT 835386836 SOS 230191430 HAS SOPS 230191430 HAS SOUS 145237709 HAS SOUPS 145237709 WITH SCORE 1.4546790043E8
AT ITER 3865 NEW BEST:: SOT 835379270 SOS 230181342 HAS SOPS 230181342 HAS SOUS 145235187 HAS SOUPS 145235187 WITH SCORE 1.45465368342E8
AT ITER 3869 NEW BEST:: SOT 835379270 SOS 230181341 HAS SOPS 230181341 HAS SOUS 145235184 HAS SOUPS 145235184 WITH SCORE 1.45465365341E8
AT ITER 3870 NEW BEST:: SOT 835376227 SOS 230177325 HAS SOPS 230177325 HAS SOUS 145234206 HAS SOUPS 145234206 WITH SCORE 1.45464383325E8
AT ITER 3871 NEW BEST:: SOT 835369657 SOS 230167468 HAS SOPS 230167468 HAS SOUS 145234200 HAS SOUPS 145234200 WITH SCORE 1.45464367468E8
AT ITER 3874 NEW BEST:: SOT 835369372 SOS 230166896 HAS SOPS 230166896 HAS SOUS 145233909 HAS SOUPS 145233909 WITH SCORE 1.45464075896E8
AT ITER 3897 NEW BEST:: SOT 835368666 SOS 230165837 HAS SOPS 230165837 HAS SOUS 145233909 HAS SOUPS 145233909 WITH SCORE 1.45464074837E8
AT ITER 3919 NEW BEST:: SOT 835357671 SOS 230151177 HAS SOPS 230151177 HAS SOUS 145230244 HAS SOUPS 145230244 WITH SCORE 1.45460395177E8
AT ITER 3934 NEW BEST:: SOT 835346661 SOS 230136478 HAS SOPS 230136478 HAS SOUS 145226517 HAS SOUPS 145226517 WITH SCORE 1.45456653478E8
AT ITER 3941 NEW BEST:: SOT 835339319 SOS 230125464 HAS SOPS 230125464 HAS SOUS 145226514 HAS SOUPS 145226514 WITH SCORE 1.45456639464E8
AT ITER 3942 NEW BEST:: SOT 835323415 SOS 230101608 HAS SOPS 230101608 HAS SOUS 145226514 HAS SOUPS 145226514 WITH SCORE 1.45456615608E8
AT ITER 3943 NEW BEST:: SOT 835321863 SOS 230099279 HAS SOPS 230099279 HAS SOUS 145226511 HAS SOUPS 145226511 WITH SCORE 1.45456610279E8
AT ITER 3960 NEW BEST:: SOT 835309473 SOS 230080694 HAS SOPS 230080694 HAS SOUS 145226511 HAS SOUPS 145226511 WITH SCORE 1.45456591694E8
AT ITER 3968 NEW BEST:: SOT 835294713 SOS 230058553 HAS SOPS 230058553 HAS SOUS 145226508 HAS SOUPS 145226508 WITH SCORE 1.45456566553E8
AT ITER 3972 NEW BEST:: SOT 835292617 SOS 230055409 HAS SOPS 230055409 HAS SOUS 145226508 HAS SOUPS 145226508 WITH SCORE 1.45456563409E8
AT ITER 4083 NEW BEST:: SOT 835279426 SOS 230031548 HAS SOPS 230031548 HAS SOUS 145211093 HAS SOUPS 145211093 WITH SCORE 1.45441124548E8
AT ITER 4086 NEW BEST:: SOT 835268888 SOS 230015740 HAS SOPS 230015740 HAS SOUS 145211090 HAS SOUPS 145211090 WITH SCORE 1.4544110574E8
AT ITER 4100 NEW BEST:: SOT 835259558 SOS 230003296 HAS SOPS 230003296 HAS SOUS 145207968 HAS SOUPS 145207968 WITH SCORE 1.45437971296E8
AT ITER 4128 NEW BEST:: SOT 835247084 SOS 229984585 HAS SOPS 229984585 HAS SOUS 145207968 HAS SOUPS 145207968 WITH SCORE 1.45437952585E8
AT ITER 4149 NEW BEST:: SOT 835240632 SOS 229974907 HAS SOPS 229974907 HAS SOUS 145207968 HAS SOUPS 145207968 WITH SCORE 1.45437942907E8
AT ITER 4163 NEW BEST:: SOT 835230274 SOS 229959370 HAS SOPS 229959370 HAS SOUS 145207968 HAS SOUPS 145207968 WITH SCORE 1.4543792737E8
AT ITER 4168 NEW BEST:: SOT 835227405 SOS 229956080 HAS SOPS 229956080 HAS SOUS 145207550 HAS SOUPS 145207550 WITH SCORE 1.4543750608E8
AT ITER 4178 NEW BEST:: SOT 835215821 SOS 229938704 HAS SOPS 229938704 HAS SOUS 145207550 HAS SOUPS 145207550 WITH SCORE 1.45437488704E8
AT ITER 4180 NEW BEST:: SOT 835213021 SOS 229933104 HAS SOPS 229933104 HAS SOUS 145203350 HAS SOUPS 145203350 WITH SCORE 1.45433283104E8
AT ITER 4189 NEW BEST:: SOT 835212244 SOS 229931550 HAS SOPS 229931550 HAS SOUS 145203349 HAS SOUPS 145203349 WITH SCORE 1.4543328055E8
AT ITER 4192 NEW BEST:: SOT 835205662 SOS 229922773 HAS SOPS 229922773 HAS SOUS 145201152 HAS SOUPS 145201152 WITH SCORE 1.45431074773E8
AT ITER 4197 NEW BEST:: SOT 835189708 SOS 229898841 HAS SOPS 229898841 HAS SOUS 145201149 HAS SOUPS 145201149 WITH SCORE 1.45431047841E8
AT ITER 4202 NEW BEST:: SOT 835182692 SOS 229888317 HAS SOPS 229888317 HAS SOUS 145201149 HAS SOUPS 145201149 WITH SCORE 1.45431037317E8
AT ITER 4206 NEW BEST:: SOT 835166794 SOS 229864469 HAS SOPS 229864469 HAS SOUS 145201146 HAS SOUPS 145201146 WITH SCORE 1.45431010469E8
AT ITER 4209 NEW BEST:: SOT 835152726 SOS 229843366 HAS SOPS 229843366 HAS SOUS 145201143 HAS SOUPS 145201143 WITH SCORE 1.45430986366E8
AT ITER 4212 NEW BEST:: SOT 835143766 SOS 229829924 HAS SOPS 229829924 HAS SOUS 145201137 HAS SOUPS 145201137 WITH SCORE 1.45430966924E8
AT ITER 4225 NEW BEST:: SOT 835132963 SOS 229815497 HAS SOPS 229815497 HAS SOUS 145197467 HAS SOUPS 145197467 WITH SCORE 1.45427282497E8
AT ITER 4228 NEW BEST:: SOT 835116677 SOS 229791066 HAS SOPS 229791066 HAS SOUS 145197461 HAS SOUPS 145197461 WITH SCORE 1.45427252066E8
AT ITER 4240 NEW BEST:: SOT 835109313 SOS 229780018 HAS SOPS 229780018 HAS SOUS 145197455 HAS SOUPS 145197455 WITH SCORE 1.45427235018E8
AT ITER 4250 NEW BEST:: SOT 835097831 SOS 229762794 HAS SOPS 229762794 HAS SOUS 145197452 HAS SOUPS 145197452 WITH SCORE 1.45427214794E8
AT ITER 4270 NEW BEST:: SOT 835084795 SOS 229743238 HAS SOPS 229743238 HAS SOUS 145197446 HAS SOUPS 145197446 WITH SCORE 1.45427189238E8
AT ITER 4275 NEW BEST:: SOT 835080805 SOS 229737240 HAS SOPS 229737240 HAS SOUS 145197407 HAS SOUPS 145197407 WITH SCORE 1.4542714424E8
AT ITER 4288 NEW BEST:: SOT 835069014 SOS 229722746 HAS SOPS 229722746 HAS SOUS 145194710 HAS SOUPS 145194710 WITH SCORE 1.45424432746E8
AT ITER 4291 NEW BEST:: SOT 835058001 SOS 229711460 HAS SOPS 229711460 HAS SOUS 145194429 HAS SOUPS 145194429 WITH SCORE 1.4542414046E8
AT ITER 4308 NEW BEST:: SOT 835055247 SOS 229707784 HAS SOPS 229707784 HAS SOUS 145193499 HAS SOUPS 145193499 WITH SCORE 1.45423206784E8
AT ITER 4312 NEW BEST:: SOT 835040774 SOS 229679705 HAS SOPS 229679705 HAS SOUS 145172747 HAS SOUPS 145172747 WITH SCORE 1.45402426705E8
AT ITER 4348 NEW BEST:: SOT 835035002 SOS 229671046 HAS SOPS 229671046 HAS SOUS 145172744 HAS SOUPS 145172744 WITH SCORE 1.45402415046E8
AT ITER 4349 NEW BEST:: SOT 835021610 SOS 229650956 HAS SOPS 229650956 HAS SOUS 145172738 HAS SOUPS 145172738 WITH SCORE 1.45402388956E8
AT ITER 4436 NEW BEST:: SOT 835012868 SOS 229637843 HAS SOPS 229637843 HAS SOUS 145172738 HAS SOUPS 145172738 WITH SCORE 1.45402375843E8
AT ITER 4438 NEW BEST:: SOT 835002708 SOS 229622602 HAS SOPS 229622602 HAS SOUS 145172735 HAS SOUPS 145172735 WITH SCORE 1.45402357602E8
AT ITER 4440 NEW BEST:: SOT 834987804 SOS 229600246 HAS SOPS 229600246 HAS SOUS 145172735 HAS SOUPS 145172735 WITH SCORE 1.45402335246E8
AT ITER 4465 NEW BEST:: SOT 834974386 SOS 229580117 HAS SOPS 229580117 HAS SOUS 145172729 HAS SOUPS 145172729 WITH SCORE 1.45402309117E8
AT ITER 4475 NEW BEST:: SOT 834959020 SOS 229557068 HAS SOPS 229557068 HAS SOUS 145172729 HAS SOUPS 145172729 WITH SCORE 1.45402286068E8
AT ITER 4476 NEW BEST:: SOT 834957540 SOS 229554845 HAS SOPS 229554845 HAS SOUS 145172720 HAS SOUPS 145172720 WITH SCORE 1.45402274845E8
AT ITER 4482 NEW BEST:: SOT 834950112 SOS 229544941 HAS SOPS 229544941 HAS SOUS 145170244 HAS SOUPS 145170244 WITH SCORE 1.45399788941E8
AT ITER 4484 NEW BEST:: SOT 834938043 SOS 229528847 HAS SOPS 229528847 HAS SOUS 145166215 HAS SOUPS 145166215 WITH SCORE 1.45395743847E8
AT ITER 4489 NEW BEST:: SOT 834925788 SOS 229512507 HAS SOPS 229512507 HAS SOUS 145162130 HAS SOUPS 145162130 WITH SCORE 1.45391642507E8
AT ITER 4493 NEW BEST:: SOT 834910788 SOS 229490007 HAS SOPS 229490007 HAS SOUS 145162130 HAS SOUPS 145162130 WITH SCORE 1.45391620007E8
AT ITER 4528 NEW BEST:: SOT 834903562 SOS 229475555 HAS SOPS 229475555 HAS SOUS 145151291 HAS SOUPS 145151291 WITH SCORE 1.45380766555E8
AT ITER 4532 NEW BEST:: SOT 834900140 SOS 229472063 HAS SOPS 229472063 HAS SOUS 145151221 HAS SOUPS 145151221 WITH SCORE 1.45380693063E8
AT ITER 4555 NEW BEST:: SOT 834886060 SOS 229450942 HAS SOPS 229450942 HAS SOUS 145151218 HAS SOUPS 145151218 WITH SCORE 1.45380668942E8
AT ITER 4557 NEW BEST:: SOT 834871470 SOS 229429057 HAS SOPS 229429057 HAS SOUS 145151218 HAS SOUPS 145151218 WITH SCORE 1.45380647057E8
AT ITER 4561 NEW BEST:: SOT 834864438 SOS 229418509 HAS SOPS 229418509 HAS SOUS 145151218 HAS SOUPS 145151218 WITH SCORE 1.45380636509E8
AT ITER 4567 NEW BEST:: SOT 834850534 SOS 229397651 HAS SOPS 229397651 HAS SOUS 145151212 HAS SOUPS 145151212 WITH SCORE 1.45380609651E8
AT ITER 4569 NEW BEST:: SOT 834838366 SOS 229381741 HAS SOPS 229381741 HAS SOUS 145147468 HAS SOUPS 145147468 WITH SCORE 1.45376849741E8
AT ITER 4581 NEW BEST:: SOT 834826972 SOS 229368912 HAS SOPS 229368912 HAS SOUS 145146034 HAS SOUPS 145146034 WITH SCORE 1.45375402912E8
AT ITER 4589 NEW BEST:: SOT 834813834 SOS 229349203 HAS SOPS 229349203 HAS SOUS 145146028 HAS SOUPS 145146028 WITH SCORE 1.45375377203E8
AT ITER 4597 NEW BEST:: SOT 834799958 SOS 229328389 HAS SOPS 229328389 HAS SOUS 145146028 HAS SOUPS 145146028 WITH SCORE 1.45375356389E8
AT ITER 4602 NEW BEST:: SOT 834789734 SOS 229313053 HAS SOPS 229313053 HAS SOUS 145146028 HAS SOUPS 145146028 WITH SCORE 1.45375341053E8
AT ITER 4619 NEW BEST:: SOT 834778338 SOS 229295953 HAS SOPS 229295953 HAS SOUS 145146010 HAS SOUPS 145146010 WITH SCORE 1.45375305953E8
AT ITER 4620 NEW BEST:: SOT 834771616 SOS 229289231 HAS SOPS 229289231 HAS SOUS 145146010 HAS SOUPS 145146010 WITH SCORE 1.45375299231E8
AT ITER 4633 NEW BEST:: SOT 834763152 SOS 229276535 HAS SOPS 229276535 HAS SOUS 145146010 HAS SOUPS 145146010 WITH SCORE 1.45375286535E8
AT ITER 4645 NEW BEST:: SOT 834763135 SOS 229276501 HAS SOPS 229276501 HAS SOUS 145146010 HAS SOUPS 145146010 WITH SCORE 1.45375286501E8
AT ITER 4662 NEW BEST:: SOT 834755140 SOS 229265840 HAS SOPS 229265840 HAS SOUS 145143342 HAS SOUPS 145143342 WITH SCORE 1.4537260784E8
AT ITER 4694 NEW BEST:: SOT 834743800 SOS 229248829 HAS SOPS 229248829 HAS SOUS 145143339 HAS SOUPS 145143339 WITH SCORE 1.45372587829E8
AT ITER 4699 NEW BEST:: SOT 834728924 SOS 229226514 HAS SOPS 229226514 HAS SOUS 145143336 HAS SOUPS 145143336 WITH SCORE 1.45372562514E8
AT ITER 4701 NEW BEST:: SOT 834719562 SOS 229212470 HAS SOPS 229212470 HAS SOUS 145143333 HAS SOUPS 145143333 WITH SCORE 1.4537254547E8
AT ITER 4704 NEW BEST:: SOT 834708980 SOS 229196596 HAS SOPS 229196596 HAS SOUS 145143330 HAS SOUPS 145143330 WITH SCORE 1.45372526596E8
AT ITER 4706 NEW BEST:: SOT 834707526 SOS 229194415 HAS SOPS 229194415 HAS SOUS 145143330 HAS SOUPS 145143330 WITH SCORE 1.45372524415E8
AT ITER 4730 NEW BEST:: SOT 834694228 SOS 229174468 HAS SOPS 229174468 HAS SOUS 145143330 HAS SOUPS 145143330 WITH SCORE 1.45372504468E8
AT ITER 4733 NEW BEST:: SOT 834682491 SOS 229160274 HAS SOPS 229160274 HAS SOUS 145140869 HAS SOUPS 145140869 WITH SCORE 1.45370029274E8
AT ITER 4745 NEW BEST:: SOT 834676539 SOS 229152310 HAS SOPS 229152310 HAS SOUS 145138801 HAS SOUPS 145138801 WITH SCORE 1.4536795331E8
AT ITER 4750 NEW BEST:: SOT 834665227 SOS 229139762 HAS SOPS 229139762 HAS SOUS 145137568 HAS SOUPS 145137568 WITH SCORE 1.45366707762E8
AT ITER 4774 NEW BEST:: SOT 834649523 SOS 229109953 HAS SOPS 229109953 HAS SOUS 145118130 HAS SOUPS 145118130 WITH SCORE 1.45347239953E8
AT ITER 4793 NEW BEST:: SOT 834644481 SOS 229102390 HAS SOPS 229102390 HAS SOUS 145118130 HAS SOUPS 145118130 WITH SCORE 1.4534723239E8
AT ITER 4817 NEW BEST:: SOT 834644481 SOS 229102389 HAS SOPS 229102389 HAS SOUS 145118127 HAS SOUPS 145118127 WITH SCORE 1.45347229389E8
AT ITER 4821 NEW BEST:: SOT 834644481 SOS 229102376 HAS SOPS 229102376 HAS SOUS 145118088 HAS SOUPS 145118088 WITH SCORE 1.45347190376E8
AT ITER 4825 NEW BEST:: SOT 834639273 SOS 229095432 HAS SOPS 229095432 HAS SOUS 145116352 HAS SOUPS 145116352 WITH SCORE 1.45345447432E8
AT ITER 4833 NEW BEST:: SOT 834637719 SOS 229093359 HAS SOPS 229093359 HAS SOUS 145115831 HAS SOUPS 145115831 WITH SCORE 1.45344924359E8
AT ITER 4862 NEW BEST:: SOT 834636323 SOS 229091889 HAS SOPS 229091889 HAS SOUS 145115757 HAS SOUPS 145115757 WITH SCORE 1.45344848889E8
AT ITER 4879 NEW BEST:: SOT 834632509 SOS 229086168 HAS SOPS 229086168 HAS SOUS 145115757 HAS SOUPS 145115757 WITH SCORE 1.45344843168E8
AT ITER 4880 NEW BEST:: SOT 834625516 SOS 229076842 HAS SOPS 229076842 HAS SOUS 145113420 HAS SOUPS 145113420 WITH SCORE 1.45342496842E8
AT ITER 4902 NEW BEST:: SOT 834614462 SOS 229060261 HAS SOPS 229060261 HAS SOUS 145113420 HAS SOUPS 145113420 WITH SCORE 1.45342480261E8
AT ITER 4919 NEW BEST:: SOT 834601600 SOS 229040966 HAS SOPS 229040966 HAS SOUS 145113414 HAS SOUPS 145113414 WITH SCORE 1.45342454966E8
AT ITER 4926 NEW BEST:: SOT 834586388 SOS 229018148 HAS SOPS 229018148 HAS SOUS 145113414 HAS SOUPS 145113414 WITH SCORE 1.45342432148E8
AT ITER 4938 NEW BEST:: SOT 834582778 SOS 229012733 HAS SOPS 229012733 HAS SOUS 145113414 HAS SOUPS 145113414 WITH SCORE 1.45342426733E8
AT ITER 4942 NEW BEST:: SOT 834581326 SOS 229010997 HAS SOPS 229010997 HAS SOUS 145113124 HAS SOUPS 145113124 WITH SCORE 1.45342134997E8
AT ITER 4944 NEW BEST:: SOT 834577030 SOS 229005267 HAS SOPS 229005267 HAS SOUS 145111686 HAS SOUPS 145111686 WITH SCORE 1.45340691267E8
AT ITER 4953 NEW BEST:: SOT 834571946 SOS 228997639 HAS SOPS 228997639 HAS SOUS 145111680 HAS SOUPS 145111680 WITH SCORE 1.45340677639E8
AT ITER 4954 NEW BEST:: SOT 834571289 SOS 228996760 HAS SOPS 228996760 HAS SOUS 145111452 HAS SOUPS 145111452 WITH SCORE 1.4534044876E8
AT ITER 4983 NEW BEST:: SOT 834566531 SOS 228989622 HAS SOPS 228989622 HAS SOUS 145111449 HAS SOUPS 145111449 WITH SCORE 1.45340438622E8
AT ITER 5005 NEW BEST:: SOT 834560101 SOS 228979976 HAS SOPS 228979976 HAS SOUS 145111446 HAS SOUPS 145111446 WITH SCORE 1.45340425976E8
AT ITER 5007 NEW BEST:: SOT 834547807 SOS 228961535 HAS SOPS 228961535 HAS SOUS 145111446 HAS SOUPS 145111446 WITH SCORE 1.45340407535E8
AT ITER 5009 NEW BEST:: SOT 834539307 SOS 228953013 HAS SOPS 228953013 HAS SOUS 145111453 HAS SOUPS 145111453 WITH SCORE 1.45340406013E8
AT ITER 5012 NEW BEST:: SOT 834523599 SOS 228929440 HAS SOPS 228929440 HAS SOUS 145111420 HAS SOUPS 145111420 WITH SCORE 1.4534034944E8
AT ITER 5013 NEW BEST:: SOT 834516881 SOS 228919363 HAS SOPS 228919363 HAS SOUS 145111420 HAS SOUPS 145111420 WITH SCORE 1.45340339363E8
AT ITER 5026 NEW BEST:: SOT 834503709 SOS 228899603 HAS SOPS 228899603 HAS SOUS 145111414 HAS SOUPS 145111414 WITH SCORE 1.45340313603E8
AT ITER 5039 NEW BEST:: SOT 834502593 SOS 228897371 HAS SOPS 228897371 HAS SOUS 145111413 HAS SOUPS 145111413 WITH SCORE 1.45340310371E8
AT ITER 5041 NEW BEST:: SOT 834490243 SOS 228878846 HAS SOPS 228878846 HAS SOUS 145111413 HAS SOUPS 145111413 WITH SCORE 1.45340291846E8
AT ITER 5051 NEW BEST:: SOT 834478617 SOS 228861405 HAS SOPS 228861405 HAS SOUS 145111407 HAS SOUPS 145111407 WITH SCORE 1.45340268405E8
AT ITER 5064 NEW BEST:: SOT 834471919 SOS 228851356 HAS SOPS 228851356 HAS SOUS 145111401 HAS SOUPS 145111401 WITH SCORE 1.45340252356E8
AT ITER 5074 NEW BEST:: SOT 834459835 SOS 228833228 HAS SOPS 228833228 HAS SOUS 145111395 HAS SOUPS 145111395 WITH SCORE 1.45340228228E8
AT ITER 5076 NEW BEST:: SOT 834454109 SOS 228824984 HAS SOPS 228824984 HAS SOUS 145105428 HAS SOUPS 145105428 WITH SCORE 1.45334252984E8
AT ITER 5091 NEW BEST:: SOT 834449709 SOS 228816328 HAS SOPS 228816328 HAS SOUS 145099260 HAS SOUPS 145099260 WITH SCORE 1.45328076328E8
AT ITER 5094 NEW BEST:: SOT 834436713 SOS 228796831 HAS SOPS 228796831 HAS SOUS 145099251 HAS SOUPS 145099251 WITH SCORE 1.45328047831E8
AT ITER 5095 NEW BEST:: SOT 834436050 SOS 228795947 HAS SOPS 228795947 HAS SOUS 145099030 HAS SOUPS 145099030 WITH SCORE 1.45327825947E8
AT ITER 5099 NEW BEST:: SOT 834428342 SOS 228784243 HAS SOPS 228784243 HAS SOUS 145098604 HAS SOUPS 145098604 WITH SCORE 1.45327388243E8
AT ITER 5125 NEW BEST:: SOT 834425024 SOS 228779816 HAS SOPS 228779816 HAS SOUS 145097489 HAS SOUPS 145097489 WITH SCORE 1.45326268816E8
AT ITER 5132 NEW BEST:: SOT 834411330 SOS 228759274 HAS SOPS 228759274 HAS SOUS 145097486 HAS SOUPS 145097486 WITH SCORE 1.45326245274E8
AT ITER 5137 NEW BEST:: SOT 834404313 SOS 228749918 HAS SOPS 228749918 HAS SOUS 145095147 HAS SOUPS 145095147 WITH SCORE 1.45323896918E8
AT ITER 5139 NEW BEST:: SOT 834402853 SOS 228747726 HAS SOPS 228747726 HAS SOUS 145095141 HAS SOUPS 145095141 WITH SCORE 1.45323888726E8
AT ITER 5157 NEW BEST:: SOT 834393513 SOS 228733716 HAS SOPS 228733716 HAS SOUS 145095141 HAS SOUPS 145095141 WITH SCORE 1.45323874716E8
AT ITER 5168 NEW BEST:: SOT 834387753 SOS 228725074 HAS SOPS 228725074 HAS SOUS 145095135 HAS SOUPS 145095135 WITH SCORE 1.45323860074E8
AT ITER 5174 NEW BEST:: SOT 834378247 SOS 228710815 HAS SOPS 228710815 HAS SOUS 145095135 HAS SOUPS 145095135 WITH SCORE 1.45323845815E8
AT ITER 5203 NEW BEST:: SOT 834366525 SOS 228696665 HAS SOPS 228696665 HAS SOUS 145092705 HAS SOUPS 145092705 WITH SCORE 1.45321401665E8
AT ITER 5215 NEW BEST:: SOT 834357155 SOS 228682609 HAS SOPS 228682609 HAS SOUS 145092702 HAS SOUPS 145092702 WITH SCORE 1.45321384609E8
AT ITER 5217 NEW BEST:: SOT 834343169 SOS 228661628 HAS SOPS 228661628 HAS SOUS 145092696 HAS SOUPS 145092696 WITH SCORE 1.45321357628E8
AT ITER 5218 NEW BEST:: SOT 834332239 SOS 228645233 HAS SOPS 228645233 HAS SOUS 145092696 HAS SOUPS 145092696 WITH SCORE 1.45321341233E8
AT ITER 5223 NEW BEST:: SOT 834322951 SOS 228631299 HAS SOPS 228631299 HAS SOUS 145092690 HAS SOUPS 145092690 WITH SCORE 1.45321321299E8
AT ITER 5227 NEW BEST:: SOT 834312184 SOS 228616943 HAS SOPS 228616943 HAS SOUS 145089101 HAS SOUPS 145089101 WITH SCORE 1.45317717943E8
AT ITER 5228 NEW BEST:: SOT 834305120 SOS 228606345 HAS SOPS 228606345 HAS SOUS 145089095 HAS SOUPS 145089095 WITH SCORE 1.45317701345E8
AT ITER 5231 NEW BEST:: SOT 834302838 SOS 228602921 HAS SOPS 228602921 HAS SOUS 145089092 HAS SOUPS 145089092 WITH SCORE 1.45317694921E8
AT ITER 5233 NEW BEST:: SOT 834296826 SOS 228593901 HAS SOPS 228593901 HAS SOUS 145089086 HAS SOUPS 145089086 WITH SCORE 1.45317679901E8
AT ITER 5235 NEW BEST:: SOT 834281948 SOS 228571584 HAS SOPS 228571584 HAS SOUS 145089086 HAS SOUPS 145089086 WITH SCORE 1.45317657584E8
AT ITER 5239 NEW BEST:: SOT 834268758 SOS 228551798 HAS SOPS 228551798 HAS SOUS 145089083 HAS SOUPS 145089083 WITH SCORE 1.45317634798E8
AT ITER 5247 NEW BEST:: SOT 834262782 SOS 228544270 HAS SOPS 228544270 HAS SOUS 145087529 HAS SOUPS 145087529 WITH SCORE 1.4531607327E8
AT ITER 5263 NEW BEST:: SOT 834251511 SOS 228529242 HAS SOPS 228529242 HAS SOUS 145083772 HAS SOUPS 145083772 WITH SCORE 1.45312301242E8
AT ITER 5275 NEW BEST:: SOT 834248101 SOS 228524124 HAS SOPS 228524124 HAS SOUS 145083763 HAS SOUPS 145083763 WITH SCORE 1.45312287124E8
AT ITER 5290 NEW BEST:: SOT 834235822 SOS 228507751 HAS SOPS 228507751 HAS SOUS 145079667 HAS SOUPS 145079667 WITH SCORE 1.45308174751E8
AT ITER 5323 NEW BEST:: SOT 834225103 SOS 228493458 HAS SOPS 228493458 HAS SOUS 145076091 HAS SOUPS 145076091 WITH SCORE 1.45304584458E8
AT ITER 5324 NEW BEST:: SOT 834223534 SOS 228491364 HAS SOPS 228491364 HAS SOUS 145075562 HAS SOUPS 145075562 WITH SCORE 1.45304053364E8
AT ITER 5328 NEW BEST:: SOT 834209686 SOS 228470591 HAS SOPS 228470591 HAS SOUS 145075559 HAS SOUPS 145075559 WITH SCORE 1.45304029591E8
AT ITER 5331 NEW BEST:: SOT 834203242 SOS 228461999 HAS SOPS 228461999 HAS SOUS 145073411 HAS SOUPS 145073411 WITH SCORE 1.45301872999E8
AT ITER 5336 NEW BEST:: SOT 834199390 SOS 228456863 HAS SOPS 228456863 HAS SOUS 145072127 HAS SOUPS 145072127 WITH SCORE 1.45300583863E8
AT ITER 5358 NEW BEST:: SOT 834194890 SOS 228452340 HAS SOPS 228452340 HAS SOUS 145072058 HAS SOUPS 145072058 WITH SCORE 1.4530051034E8
AT ITER 5359 NEW BEST:: SOT 834185899 SOS 228440352 HAS SOPS 228440352 HAS SOUS 145069061 HAS SOUPS 145069061 WITH SCORE 1.45297501352E8
AT ITER 5361 NEW BEST:: SOT 834182596 SOS 228435948 HAS SOPS 228435948 HAS SOUS 145067960 HAS SOUPS 145067960 WITH SCORE 1.45296395948E8
AT ITER 5368 NEW BEST:: SOT 834171242 SOS 228423305 HAS SOPS 228423305 HAS SOUS 145066668 HAS SOUPS 145066668 WITH SCORE 1.45295091305E8
AT ITER 5370 NEW BEST:: SOT 834159183 SOS 228407829 HAS SOPS 228407829 HAS SOUS 145063251 HAS SOUPS 145063251 WITH SCORE 1.45291658829E8
AT ITER 5374 NEW BEST:: SOT 834144203 SOS 228385357 HAS SOPS 228385357 HAS SOUS 145063245 HAS SOUPS 145063245 WITH SCORE 1.45291630357E8
AT ITER 5375 NEW BEST:: SOT 834136635 SOS 228373993 HAS SOPS 228373993 HAS SOUS 145063209 HAS SOUPS 145063209 WITH SCORE 1.45291582993E8
AT ITER 5381 NEW BEST:: SOT 834123827 SOS 228354781 HAS SOPS 228354781 HAS SOUS 145063209 HAS SOUPS 145063209 WITH SCORE 1.45291563781E8
AT ITER 5399 NEW BEST:: SOT 834111683 SOS 228338959 HAS SOPS 228338959 HAS SOUS 145059527 HAS SOUPS 145059527 WITH SCORE 1.45287865959E8
AT ITER 5430 NEW BEST:: SOT 834098186 SOS 228316864 HAS SOPS 228316864 HAS SOUS 145051091 HAS SOUPS 145051091 WITH SCORE 1.45279407864E8
AT ITER 5443 NEW BEST:: SOT 834097269 SOS 228315030 HAS SOPS 228315030 HAS SOUS 145051090 HAS SOUPS 145051090 WITH SCORE 1.4527940503E8
AT ITER 5446 NEW BEST:: SOT 834085119 SOS 228296802 HAS SOPS 228296802 HAS SOUS 145051081 HAS SOUPS 145051081 WITH SCORE 1.45279377802E8
AT ITER 5460 NEW BEST:: SOT 834074161 SOS 228285723 HAS SOPS 228285723 HAS SOUS 145050959 HAS SOUPS 145050959 WITH SCORE 1.45279244723E8
AT ITER 5474 NEW BEST:: SOT 834068761 SOS 228278521 HAS SOPS 228278521 HAS SOUS 145049153 HAS SOUPS 145049153 WITH SCORE 1.45277431521E8
AT ITER 5479 NEW BEST:: SOT 834056885 SOS 228263732 HAS SOPS 228263732 HAS SOUS 145046189 HAS SOUPS 145046189 WITH SCORE 1.45274452732E8
AT ITER 5501 NEW BEST:: SOT 834045129 SOS 228246097 HAS SOPS 228246097 HAS SOUS 145046186 HAS SOUPS 145046186 WITH SCORE 1.45274432097E8
AT ITER 5502 NEW BEST:: SOT 834038533 SOS 228236203 HAS SOPS 228236203 HAS SOUS 145046186 HAS SOUPS 145046186 WITH SCORE 1.45274422203E8
AT ITER 5506 NEW BEST:: SOT 834024201 SOS 228214705 HAS SOPS 228214705 HAS SOUS 145046186 HAS SOUPS 145046186 WITH SCORE 1.45274400705E8
AT ITER 5512 NEW BEST:: SOT 834021573 SOS 228211201 HAS SOPS 228211201 HAS SOUS 145045310 HAS SOUPS 145045310 WITH SCORE 1.45273521201E8
AT ITER 5524 NEW BEST:: SOT 834009157 SOS 228192577 HAS SOPS 228192577 HAS SOUS 145045310 HAS SOUPS 145045310 WITH SCORE 1.45273502577E8
AT ITER 5525 NEW BEST:: SOT 833998183 SOS 228177945 HAS SOPS 228177945 HAS SOUS 145041652 HAS SOUPS 145041652 WITH SCORE 1.45269829945E8
AT ITER 5532 NEW BEST:: SOT 833993799 SOS 228171368 HAS SOPS 228171368 HAS SOUS 145041649 HAS SOUPS 145041649 WITH SCORE 1.45269820368E8
AT ITER 5549 NEW BEST:: SOT 833981159 SOS 228152408 HAS SOPS 228152408 HAS SOUS 145041649 HAS SOUPS 145041649 WITH SCORE 1.45269801408E8
AT ITER 5551 NEW BEST:: SOT 833969456 SOS 228136801 HAS SOPS 228136801 HAS SOUS 145037739 HAS SOUPS 145037739 WITH SCORE 1.45265875801E8
AT ITER 5585 NEW BEST:: SOT 833957222 SOS 228120607 HAS SOPS 228120607 HAS SOUS 145033775 HAS SOUPS 145033775 WITH SCORE 1.45261895607E8
AT ITER 5586 NEW BEST:: SOT 833949026 SOS 228105834 HAS SOPS 228105834 HAS SOUS 145026338 HAS SOUPS 145026338 WITH SCORE 1.45254443834E8
AT ITER 5588 NEW BEST:: SOT 833945816 SOS 228101554 HAS SOPS 228101554 HAS SOUS 145025268 HAS SOUPS 145025268 WITH SCORE 1.45253369554E8
AT ITER 5593 NEW BEST:: SOT 833942468 SOS 228097090 HAS SOPS 228097090 HAS SOUS 145024152 HAS SOUPS 145024152 WITH SCORE 1.4525224909E8
AT ITER 5598 NEW BEST:: SOT 833941274 SOS 228095495 HAS SOPS 228095495 HAS SOUS 145023745 HAS SOUPS 145023745 WITH SCORE 1.45251840495E8
AT ITER 5610 NEW BEST:: SOT 833929932 SOS 228078481 HAS SOPS 228078481 HAS SOUS 145023742 HAS SOUPS 145023742 WITH SCORE 1.45251820481E8
AT ITER 5614 NEW BEST:: SOT 833927187 SOS 228074817 HAS SOPS 228074817 HAS SOUS 145022815 HAS SOUPS 145022815 WITH SCORE 1.45250889817E8
AT ITER 5615 NEW BEST:: SOT 833914913 SOS 228056405 HAS SOPS 228056405 HAS SOUS 145022812 HAS SOUPS 145022812 WITH SCORE 1.45250868405E8
AT ITER 5638 NEW BEST:: SOT 833913313 SOS 228054005 HAS SOPS 228054005 HAS SOUS 145022812 HAS SOUPS 145022812 WITH SCORE 1.45250866005E8
AT ITER 5662 NEW BEST:: SOT 833897405 SOS 228030143 HAS SOPS 228030143 HAS SOUS 145022812 HAS SOUPS 145022812 WITH SCORE 1.45250842143E8
AT ITER 5684 NEW BEST:: SOT 833881341 SOS 228006047 HAS SOPS 228006047 HAS SOUS 145022812 HAS SOUPS 145022812 WITH SCORE 1.45250818047E8
AT ITER 5696 NEW BEST:: SOT 833870403 SOS 227989640 HAS SOPS 227989640 HAS SOUS 145022812 HAS SOUPS 145022812 WITH SCORE 1.4525080164E8
AT ITER 5699 NEW BEST:: SOT 833859611 SOS 227973451 HAS SOPS 227973451 HAS SOUS 145022809 HAS SOUPS 145022809 WITH SCORE 1.45250782451E8
AT ITER 5714 NEW BEST:: SOT 833845729 SOS 227952628 HAS SOPS 227952628 HAS SOUS 145022809 HAS SOUPS 145022809 WITH SCORE 1.45250761628E8
AT ITER 5716 NEW BEST:: SOT 833830435 SOS 227929686 HAS SOPS 227929686 HAS SOUS 145022806 HAS SOUPS 145022806 WITH SCORE 1.45250735686E8
AT ITER 5723 NEW BEST:: SOT 833817721 SOS 227910600 HAS SOPS 227910600 HAS SOUS 145022761 HAS SOUPS 145022761 WITH SCORE 1.452506716E8
AT ITER 5728 NEW BEST:: SOT 833817721 SOS 227910599 HAS SOPS 227910599 HAS SOUS 145022758 HAS SOUPS 145022758 WITH SCORE 1.45250668599E8
AT ITER 5798 NEW BEST:: SOT 833807371 SOS 227895072 HAS SOPS 227895072 HAS SOUS 145022752 HAS SOUPS 145022752 WITH SCORE 1.45250647072E8
AT ITER 5832 NEW BEST:: SOT 833806265 SOS 227892860 HAS SOPS 227892860 HAS SOUS 145022751 HAS SOUPS 145022751 WITH SCORE 1.4525064386E8
AT ITER 5872 NEW BEST:: SOT 833803331 SOS 227888459 HAS SOPS 227888459 HAS SOUS 145022751 HAS SOUPS 145022751 WITH SCORE 1.45250639459E8
AT ITER 5875 NEW BEST:: SOT 833790165 SOS 227868710 HAS SOPS 227868710 HAS SOUS 145022751 HAS SOUPS 145022751 WITH SCORE 1.4525061971E8
AT ITER 5881 NEW BEST:: SOT 833781339 SOS 227856940 HAS SOPS 227856940 HAS SOUS 145019803 HAS SOUPS 145019803 WITH SCORE 1.4524765994E8
AT ITER 5885 NEW BEST:: SOT 833766453 SOS 227834610 HAS SOPS 227834610 HAS SOUS 145019800 HAS SOUPS 145019800 WITH SCORE 1.4524763461E8
AT ITER 5886 NEW BEST:: SOT 833762187 SOS 227828211 HAS SOPS 227828211 HAS SOUS 145019800 HAS SOUPS 145019800 WITH SCORE 1.45247628211E8
AT ITER 5892 NEW BEST:: SOT 833749769 SOS 227809584 HAS SOPS 227809584 HAS SOUS 145019800 HAS SOUPS 145019800 WITH SCORE 1.45247609584E8
AT ITER 5910 NEW BEST:: SOT 833739665 SOS 227796109 HAS SOPS 227796109 HAS SOUS 145016423 HAS SOUPS 145016423 WITH SCORE 1.45244219109E8
AT ITER 5915 NEW BEST:: SOT 833731829 SOS 227785658 HAS SOPS 227785658 HAS SOUS 145013802 HAS SOUPS 145013802 WITH SCORE 1.45241587658E8
AT ITER 5929 NEW BEST:: SOT 833731829 SOS 227785657 HAS SOPS 227785657 HAS SOUS 145013799 HAS SOUPS 145013799 WITH SCORE 1.45241584657E8
AT ITER 5944 NEW BEST:: SOT 833722823 SOS 227773649 HAS SOPS 227773649 HAS SOUS 145010797 HAS SOUPS 145010797 WITH SCORE 1.45238570649E8
AT ITER 5956 NEW BEST:: SOT 833721444 SOS 227772220 HAS SOPS 227772220 HAS SOUS 145010741 HAS SOUPS 145010741 WITH SCORE 1.4523851322E8
AT ITER 5967 NEW BEST:: SOT 833709372 SOS 227756121 HAS SOPS 227756121 HAS SOUS 145006708 HAS SOUPS 145006708 WITH SCORE 1.45234464121E8
AT ITER 5985 NEW BEST:: SOT 833695586 SOS 227735442 HAS SOPS 227735442 HAS SOUS 145006708 HAS SOUPS 145006708 WITH SCORE 1.45234443442E8
AT ITER 5993 NEW BEST:: SOT 833684840 SOS 227721092 HAS SOPS 227721092 HAS SOUS 145003060 HAS SOUPS 145003060 WITH SCORE 1.45230781092E8
AT ITER 6006 NEW BEST:: SOT 833684615 SOS 227720642 HAS SOPS 227720642 HAS SOUS 145003060 HAS SOUPS 145003060 WITH SCORE 1.45230780642E8
AT ITER 6043 NEW BEST:: SOT 833676333 SOS 227708218 HAS SOPS 227708218 HAS SOUS 145003057 HAS SOUPS 145003057 WITH SCORE 1.45230765218E8
AT ITER 6053 NEW BEST:: SOT 833666317 SOS 227693194 HAS SOPS 227693194 HAS SOUS 145003057 HAS SOUPS 145003057 WITH SCORE 1.45230750194E8
AT ITER 6064 NEW BEST:: SOT 833665089 SOS 227690738 HAS SOPS 227690738 HAS SOUS 145001216 HAS SOUPS 145001216 WITH SCORE 1.45228906738E8
AT ITER 6068 NEW BEST:: SOT 833651497 SOS 227670350 HAS SOPS 227670350 HAS SOUS 145001216 HAS SOUPS 145001216 WITH SCORE 1.4522888635E8
AT ITER 6069 NEW BEST:: SOT 833647175 SOS 227663864 HAS SOPS 227663864 HAS SOUS 145001207 HAS SOUPS 145001207 WITH SCORE 1.45228870864E8
AT ITER 6090 NEW BEST:: SOT 833643158 SOS 227658506 HAS SOPS 227658506 HAS SOUS 144999862 HAS SOUPS 144999862 WITH SCORE 1.45227520506E8
AT ITER 6106 NEW BEST:: SOT 833640620 SOS 227654698 HAS SOPS 227654698 HAS SOUS 144999859 HAS SOUPS 144999859 WITH SCORE 1.45227513698E8
AT ITER 6114 NEW BEST:: SOT 833640620 SOS 227654697 HAS SOPS 227654697 HAS SOUS 144999856 HAS SOUPS 144999856 WITH SCORE 1.45227510697E8
AT ITER 6127 NEW BEST:: SOT 833625550 SOS 227632092 HAS SOPS 227632092 HAS SOUS 144999856 HAS SOUPS 144999856 WITH SCORE 1.45227488092E8
AT ITER 6130 NEW BEST:: SOT 833619728 SOS 227623359 HAS SOPS 227623359 HAS SOUS 144999856 HAS SOUPS 144999856 WITH SCORE 1.45227479359E8
AT ITER 6138 NEW BEST:: SOT 833613861 SOS 227616255 HAS SOPS 227616255 HAS SOUS 144998618 HAS SOUPS 144998618 WITH SCORE 1.45226234255E8
AT ITER 6149 NEW BEST:: SOT 833608740 SOS 227609427 HAS SOPS 227609427 HAS SOUS 144996911 HAS SOUPS 144996911 WITH SCORE 1.45224520427E8
AT ITER 6159 NEW BEST:: SOT 833605554 SOS 227605179 HAS SOPS 227605179 HAS SOUS 144995849 HAS SOUPS 144995849 WITH SCORE 1.45223454179E8
AT ITER 6164 NEW BEST:: SOT 833593820 SOS 227587578 HAS SOPS 227587578 HAS SOUS 144995849 HAS SOUPS 144995849 WITH SCORE 1.45223436578E8
AT ITER 6167 NEW BEST:: SOT 833577574 SOS 227563208 HAS SOPS 227563208 HAS SOUS 144995846 HAS SOUPS 144995846 WITH SCORE 1.45223409208E8
AT ITER 6173 NEW BEST:: SOT 833561284 SOS 227538771 HAS SOPS 227538771 HAS SOUS 144995840 HAS SOUPS 144995840 WITH SCORE 1.45223378771E8
AT ITER 6183 NEW BEST:: SOT 833558304 SOS 227535019 HAS SOPS 227535019 HAS SOUS 144995066 HAS SOUPS 144995066 WITH SCORE 1.45222601019E8
AT ITER 6196 NEW BEST:: SOT 833542946 SOS 227511982 HAS SOPS 227511982 HAS SOUS 144995066 HAS SOUPS 144995066 WITH SCORE 1.45222577982E8
AT ITER 6201 NEW BEST:: SOT 833528002 SOS 227489565 HAS SOPS 227489565 HAS SOUS 144995063 HAS SOUPS 144995063 WITH SCORE 1.45222552565E8
AT ITER 6213 NEW BEST:: SOT 833513096 SOS 227467206 HAS SOPS 227467206 HAS SOUS 144995063 HAS SOUPS 144995063 WITH SCORE 1.45222530206E8
AT ITER 6219 NEW BEST:: SOT 833512160 SOS 227465800 HAS SOPS 227465800 HAS SOUS 144995057 HAS SOUPS 144995057 WITH SCORE 1.452225228E8
AT ITER 6242 NEW BEST:: SOT 833499282 SOS 227446481 HAS SOPS 227446481 HAS SOUS 144995051 HAS SOUPS 144995051 WITH SCORE 1.45222497481E8
AT ITER 6243 NEW BEST:: SOT 833490992 SOS 227434044 HAS SOPS 227434044 HAS SOUS 144995045 HAS SOUPS 144995045 WITH SCORE 1.45222479044E8
AT ITER 6245 NEW BEST:: SOT 833476826 SOS 227412794 HAS SOPS 227412794 HAS SOUS 144995042 HAS SOUPS 144995042 WITH SCORE 1.45222454794E8
AT ITER 6259 NEW BEST:: SOT 833463808 SOS 227393267 HAS SOPS 227393267 HAS SOUS 144995042 HAS SOUPS 144995042 WITH SCORE 1.45222435267E8
AT ITER 6263 NEW BEST:: SOT 833451130 SOS 227374250 HAS SOPS 227374250 HAS SOUS 144995042 HAS SOUPS 144995042 WITH SCORE 1.4522241625E8
AT ITER 6269 NEW BEST:: SOT 833439184 SOS 227359216 HAS SOPS 227359216 HAS SOUS 144991946 HAS SOUPS 144991946 WITH SCORE 1.45219305216E8
AT ITER 6273 NEW BEST:: SOT 833428144 SOS 227344495 HAS SOPS 227344495 HAS SOUS 144988263 HAS SOUPS 144988263 WITH SCORE 1.45215607495E8
AT ITER 6284 NEW BEST:: SOT 833416862 SOS 227332138 HAS SOPS 227332138 HAS SOUS 144987183 HAS SOUPS 144987183 WITH SCORE 1.45214515138E8
AT ITER 6294 NEW BEST:: SOT 833409112 SOS 227316917 HAS SOPS 227316917 HAS SOUS 144976395 HAS SOUPS 144976395 WITH SCORE 1.45203711917E8
AT ITER 6297 NEW BEST:: SOT 833407204 SOS 227314373 HAS SOPS 227314373 HAS SOUS 144975759 HAS SOUPS 144975759 WITH SCORE 1.45203073373E8
AT ITER 6300 NEW BEST:: SOT 833402026 SOS 227308013 HAS SOPS 227308013 HAS SOUS 144974970 HAS SOUPS 144974970 WITH SCORE 1.45202278013E8
AT ITER 6309 NEW BEST:: SOT 833390436 SOS 227290625 HAS SOPS 227290625 HAS SOUS 144974961 HAS SOUPS 144974961 WITH SCORE 1.45202251625E8
AT ITER 6312 NEW BEST:: SOT 833382812 SOS 227279181 HAS SOPS 227279181 HAS SOUS 144974937 HAS SOUPS 144974937 WITH SCORE 1.45202216181E8
AT ITER 6334 NEW BEST:: SOT 833372358 SOS 227263500 HAS SOPS 227263500 HAS SOUS 144974937 HAS SOUPS 144974937 WITH SCORE 1.452022005E8
AT ITER 6336 NEW BEST:: SOT 833357466 SOS 227241162 HAS SOPS 227241162 HAS SOUS 144974937 HAS SOUPS 144974937 WITH SCORE 1.45202178162E8
AT ITER 6350 NEW BEST:: SOT 833345798 SOS 227223660 HAS SOPS 227223660 HAS SOUS 144974937 HAS SOUPS 144974937 WITH SCORE 1.4520216066E8
AT ITER 6389 NEW BEST:: SOT 833336432 SOS 227209609 HAS SOPS 227209609 HAS SOUS 144974931 HAS SOUPS 144974931 WITH SCORE 1.45202140609E8
AT ITER 6397 NEW BEST:: SOT 833325914 SOS 227193831 HAS SOPS 227193831 HAS SOUS 144974928 HAS SOUPS 144974928 WITH SCORE 1.45202121831E8
AT ITER 6399 NEW BEST:: SOT 833320350 SOS 227185470 HAS SOPS 227185470 HAS SOUS 144974883 HAS SOUPS 144974883 WITH SCORE 1.4520206847E8
AT ITER 6402 NEW BEST:: SOT 833312142 SOS 227173158 HAS SOPS 227173158 HAS SOUS 144974883 HAS SOUPS 144974883 WITH SCORE 1.45202056158E8
AT ITER 6406 NEW BEST:: SOT 833307231 SOS 227166610 HAS SOPS 227166610 HAS SOUS 144973246 HAS SOUPS 144973246 WITH SCORE 1.4520041261E8
AT ITER 6414 NEW BEST:: SOT 833294597 SOS 227147659 HAS SOPS 227147659 HAS SOUS 144973246 HAS SOUPS 144973246 WITH SCORE 1.45200393659E8
AT ITER 6444 NEW BEST:: SOT 833280853 SOS 227127042 HAS SOPS 227127042 HAS SOUS 144973243 HAS SOUPS 144973243 WITH SCORE 1.45200370042E8
AT ITER 6448 NEW BEST:: SOT 833271957 SOS 227113697 HAS SOPS 227113697 HAS SOUS 144973240 HAS SOUPS 144973240 WITH SCORE 1.45200353697E8
AT ITER 6455 NEW BEST:: SOT 833259629 SOS 227095188 HAS SOPS 227095188 HAS SOUS 144973189 HAS SOUPS 144973189 WITH SCORE 1.45200284188E8
AT ITER 6456 NEW BEST:: SOT 833255259 SOS 227088633 HAS SOPS 227088633 HAS SOUS 144973189 HAS SOUPS 144973189 WITH SCORE 1.45200277633E8
AT ITER 6465 NEW BEST:: SOT 833245415 SOS 227073865 HAS SOPS 227073865 HAS SOUS 144973183 HAS SOUPS 144973183 WITH SCORE 1.45200256865E8
AT ITER 6491 NEW BEST:: SOT 833233937 SOS 227060729 HAS SOPS 227060729 HAS SOUS 144971517 HAS SOUPS 144971517 WITH SCORE 1.45198577729E8
AT ITER 6493 NEW BEST:: SOT 833219547 SOS 227039142 HAS SOPS 227039142 HAS SOUS 144971511 HAS SOUPS 144971511 WITH SCORE 1.45198550142E8
AT ITER 6504 NEW BEST:: SOT 833207507 SOS 227021082 HAS SOPS 227021082 HAS SOUS 144971511 HAS SOUPS 144971511 WITH SCORE 1.45198532082E8
AT ITER 6509 NEW BEST:: SOT 833198539 SOS 227003960 HAS SOPS 227003960 HAS SOUS 144960501 HAS SOUPS 144960501 WITH SCORE 1.4518750496E8
AT ITER 6534 NEW BEST:: SOT 833188143 SOS 226988366 HAS SOPS 226988366 HAS SOUS 144960501 HAS SOUPS 144960501 WITH SCORE 1.45187489366E8
AT ITER 6535 NEW BEST:: SOT 833173483 SOS 226966376 HAS SOPS 226966376 HAS SOUS 144960501 HAS SOUPS 144960501 WITH SCORE 1.45187467376E8
AT ITER 6547 NEW BEST:: SOT 833173483 SOS 226966359 HAS SOPS 226966359 HAS SOUS 144960450 HAS SOUPS 144960450 WITH SCORE 1.45187416359E8
AT ITER 6560 NEW BEST:: SOT 833161065 SOS 226947730 HAS SOPS 226947730 HAS SOUS 144960444 HAS SOUPS 144960444 WITH SCORE 1.4518739173E8
AT ITER 6563 NEW BEST:: SOT 833149533 SOS 226934350 HAS SOPS 226934350 HAS SOUS 144958593 HAS SOUPS 144958593 WITH SCORE 1.4518552735E8
AT ITER 6600 NEW BEST:: SOT 833137308 SOS 226918062 HAS SOPS 226918062 HAS SOUS 144954530 HAS SOUPS 144954530 WITH SCORE 1.45181448062E8
AT ITER 6614 NEW BEST:: SOT 833136275 SOS 226915996 HAS SOPS 226915996 HAS SOUS 144954529 HAS SOUPS 144954529 WITH SCORE 1.45181444996E8
AT ITER 6628 NEW BEST:: SOT 833125119 SOS 226904128 HAS SOPS 226904128 HAS SOUS 144953816 HAS SOUPS 144953816 WITH SCORE 1.45180720128E8
AT ITER 6633 NEW BEST:: SOT 833122497 SOS 226900195 HAS SOPS 226900195 HAS SOUS 144953816 HAS SOUPS 144953816 WITH SCORE 1.45180716195E8
AT ITER 6642 NEW BEST:: SOT 833112879 SOS 226887371 HAS SOPS 226887371 HAS SOUS 144950610 HAS SOUPS 144950610 WITH SCORE 1.45177497371E8
AT ITER 6651 NEW BEST:: SOT 833106966 SOS 226880100 HAS SOPS 226880100 HAS SOUS 144949242 HAS SOUPS 144949242 WITH SCORE 1.451761221E8
AT ITER 6655 NEW BEST:: SOT 833093930 SOS 226860546 HAS SOPS 226860546 HAS SOUS 144949242 HAS SOUPS 144949242 WITH SCORE 1.45176102546E8
AT ITER 6715 NEW BEST:: SOT 833084634 SOS 226846602 HAS SOPS 226846602 HAS SOUS 144949242 HAS SOUPS 144949242 WITH SCORE 1.45176088602E8
AT ITER 6725 NEW BEST:: SOT 833073054 SOS 226829230 HAS SOPS 226829230 HAS SOUS 144949236 HAS SOUPS 144949236 WITH SCORE 1.4517606523E8
AT ITER 6726 NEW BEST:: SOT 833061771 SOS 226816852 HAS SOPS 226816852 HAS SOUS 144948143 HAS SOUPS 144948143 WITH SCORE 1.45174959852E8
AT ITER 6745 NEW BEST:: SOT 833059059 SOS 226813234 HAS SOPS 226813234 HAS SOUS 144947233 HAS SOUPS 144947233 WITH SCORE 1.45174046234E8
AT ITER 6748 NEW BEST:: SOT 833048879 SOS 226797964 HAS SOPS 226797964 HAS SOUS 144947233 HAS SOUPS 144947233 WITH SCORE 1.45174030964E8
AT ITER 6757 NEW BEST:: SOT 833033177 SOS 226774409 HAS SOPS 226774409 HAS SOUS 144947227 HAS SOUPS 144947227 WITH SCORE 1.45174001409E8
AT ITER 6779 NEW BEST:: SOT 833025329 SOS 226765857 HAS SOPS 226765857 HAS SOUS 144946523 HAS SOUPS 144946523 WITH SCORE 1.45173288857E8
AT ITER 6782 NEW BEST:: SOT 833013491 SOS 226750071 HAS SOPS 226750071 HAS SOUS 144942571 HAS SOUPS 144942571 WITH SCORE 1.45169321071E8
AT ITER 6795 NEW BEST:: SOT 832999077 SOS 226728449 HAS SOPS 226728449 HAS SOUS 144942568 HAS SOUPS 144942568 WITH SCORE 1.45169296449E8
AT ITER 6798 NEW BEST:: SOT 832983196 SOS 226700035 HAS SOPS 226700035 HAS SOUS 144928289 HAS SOUPS 144928289 WITH SCORE 1.45154989035E8
AT ITER 6837 NEW BEST:: SOT 832971067 SOS 226684155 HAS SOPS 226684155 HAS SOUS 144924509 HAS SOUPS 144924509 WITH SCORE 1.45151193155E8
AT ITER 6868 NEW BEST:: SOT 832966108 SOS 226677543 HAS SOPS 226677543 HAS SOUS 144922856 HAS SOUPS 144922856 WITH SCORE 1.45149533543E8
AT ITER 6882 NEW BEST:: SOT 832954483 SOS 226662043 HAS SOPS 226662043 HAS SOUS 144918981 HAS SOUPS 144918981 WITH SCORE 1.45145643043E8
AT ITER 6883 NEW BEST:: SOT 832944881 SOS 226647640 HAS SOPS 226647640 HAS SOUS 144918981 HAS SOUPS 144918981 WITH SCORE 1.4514562864E8
AT ITER 6898 NEW BEST:: SOT 832938821 SOS 226638496 HAS SOPS 226638496 HAS SOUS 144918819 HAS SOUPS 144918819 WITH SCORE 1.45145457496E8
AT ITER 6912 NEW BEST:: SOT 832931071 SOS 226630744 HAS SOPS 226630744 HAS SOUS 144918812 HAS SOUPS 144918812 WITH SCORE 1.45145442744E8
AT ITER 6933 NEW BEST:: SOT 832923711 SOS 226619704 HAS SOPS 226619704 HAS SOUS 144918812 HAS SOUPS 144918812 WITH SCORE 1.45145431704E8
AT ITER 6964 NEW BEST:: SOT 832913449 SOS 226604309 HAS SOPS 226604309 HAS SOUS 144918806 HAS SOUPS 144918806 WITH SCORE 1.45145410309E8
AT ITER 6973 NEW BEST:: SOT 832900281 SOS 226584556 HAS SOPS 226584556 HAS SOUS 144918803 HAS SOUPS 144918803 WITH SCORE 1.45145387556E8
AT ITER 6991 NEW BEST:: SOT 832897719 SOS 226581137 HAS SOPS 226581137 HAS SOUS 144917940 HAS SOUPS 144917940 WITH SCORE 1.45144521137E8
AT ITER 6992 NEW BEST:: SOT 832883413 SOS 226559676 HAS SOPS 226559676 HAS SOUS 144917934 HAS SOUPS 144917934 WITH SCORE 1.45144493676E8
AT ITER 6999 NEW BEST:: SOT 832871433 SOS 226541706 HAS SOPS 226541706 HAS SOUS 144917934 HAS SOUPS 144917934 WITH SCORE 1.45144475706E8
AT ITER 7004 NEW BEST:: SOT 832869756 SOS 226539468 HAS SOPS 226539468 HAS SOUS 144917369 HAS SOUPS 144917369 WITH SCORE 1.45143908468E8
AT ITER 7009 NEW BEST:: SOT 832854862 SOS 226517126 HAS SOPS 226517126 HAS SOUS 144917366 HAS SOUPS 144917366 WITH SCORE 1.45143883126E8
AT ITER 7011 NEW BEST:: SOT 832846718 SOS 226504909 HAS SOPS 226504909 HAS SOUS 144917363 HAS SOUPS 144917363 WITH SCORE 1.45143867909E8
AT ITER 7017 NEW BEST:: SOT 832832676 SOS 226479373 HAS SOPS 226479373 HAS SOUS 144901637 HAS SOUPS 144901637 WITH SCORE 1.45128116373E8
AT ITER 7030 NEW BEST:: SOT 832827440 SOS 226468901 HAS SOPS 226468901 HAS SOUS 144893783 HAS SOUPS 144893783 WITH SCORE 1.45120251901E8
AT ITER 7040 NEW BEST:: SOT 832821463 SOS 226461361 HAS SOPS 226461361 HAS SOUS 144892216 HAS SOUPS 144892216 WITH SCORE 1.45118677361E8
AT ITER 7056 NEW BEST:: SOT 832819810 SOS 226459154 HAS SOPS 226459154 HAS SOUS 144891656 HAS SOUPS 144891656 WITH SCORE 1.45118115154E8
AT ITER 7065 NEW BEST:: SOT 832816340 SOS 226453949 HAS SOPS 226453949 HAS SOUS 144891656 HAS SOUPS 144891656 WITH SCORE 1.45118109949E8
AT ITER 7076 NEW BEST:: SOT 832807079 SOS 226441599 HAS SOPS 226441599 HAS SOUS 144888563 HAS SOUPS 144888563 WITH SCORE 1.45115004599E8
AT ITER 7077 NEW BEST:: SOT 832791095 SOS 226417623 HAS SOPS 226417623 HAS SOUS 144888563 HAS SOUPS 144888563 WITH SCORE 1.45114980623E8
AT ITER 7078 NEW BEST:: SOT 832789328 SOS 226416059 HAS SOPS 226416059 HAS SOUS 144888563 HAS SOUPS 144888563 WITH SCORE 1.45114979059E8
AT ITER 7082 NEW BEST:: SOT 832777332 SOS 226398064 HAS SOPS 226398064 HAS SOUS 144888560 HAS SOUPS 144888560 WITH SCORE 1.45114958064E8
AT ITER 7086 NEW BEST:: SOT 832770430 SOS 226387696 HAS SOPS 226387696 HAS SOUS 144888515 HAS SOUPS 144888515 WITH SCORE 1.45114902696E8
AT ITER 7098 NEW BEST:: SOT 832757486 SOS 226362781 HAS SOPS 226362781 HAS SOUS 144872018 HAS SOUPS 144872018 WITH SCORE 1.45098380781E8
AT ITER 7107 NEW BEST:: SOT 832741426 SOS 226338689 HAS SOPS 226338689 HAS SOUS 144872012 HAS SOUPS 144872012 WITH SCORE 1.45098350689E8
AT ITER 7124 NEW BEST:: SOT 832730056 SOS 226325964 HAS SOPS 226325964 HAS SOUS 144870654 HAS SOUPS 144870654 WITH SCORE 1.45096979964E8
AT ITER 7132 NEW BEST:: SOT 832718831 SOS 226313819 HAS SOPS 226313819 HAS SOUS 144869731 HAS SOUPS 144869731 WITH SCORE 1.45096044819E8
AT ITER 7137 NEW BEST:: SOT 832711249 SOS 226306235 HAS SOPS 226306235 HAS SOUS 144869716 HAS SOUPS 144869716 WITH SCORE 1.45096022235E8
AT ITER 7140 NEW BEST:: SOT 832705423 SOS 226298463 HAS SOPS 226298463 HAS SOUS 144867762 HAS SOUPS 144867762 WITH SCORE 1.45094060463E8
AT ITER 7143 NEW BEST:: SOT 832704729 SOS 226297605 HAS SOPS 226297605 HAS SOUS 144867565 HAS SOUPS 144867565 WITH SCORE 1.45093862605E8
AT ITER 7154 NEW BEST:: SOT 832703477 SOS 226296350 HAS SOPS 226296350 HAS SOUS 144867559 HAS SOUPS 144867559 WITH SCORE 1.4509385535E8
AT ITER 7161 NEW BEST:: SOT 832703477 SOS 226296349 HAS SOPS 226296349 HAS SOUS 144867556 HAS SOUPS 144867556 WITH SCORE 1.45093852349E8
AT ITER 7166 NEW BEST:: SOT 832698440 SOS 226289629 HAS SOPS 226289629 HAS SOUS 144865865 HAS SOUPS 144865865 WITH SCORE 1.45092154629E8
AT ITER 7174 NEW BEST:: SOT 832687184 SOS 226272735 HAS SOPS 226272735 HAS SOUS 144865835 HAS SOUPS 144865835 WITH SCORE 1.45092107735E8
AT ITER 7180 NEW BEST:: SOT 832677888 SOS 226258790 HAS SOPS 226258790 HAS SOUS 144865832 HAS SOUPS 144865832 WITH SCORE 1.4509209079E8
AT ITER 7181 NEW BEST:: SOT 832664294 SOS 226238399 HAS SOPS 226238399 HAS SOUS 144865832 HAS SOUPS 144865832 WITH SCORE 1.45092070399E8
AT ITER 7197 NEW BEST:: SOT 832651130 SOS 226218653 HAS SOPS 226218653 HAS SOUS 144865832 HAS SOUPS 144865832 WITH SCORE 1.45092050653E8
AT ITER 7204 NEW BEST:: SOT 832647278 SOS 226213513 HAS SOPS 226213513 HAS SOUS 144864536 HAS SOUPS 144864536 WITH SCORE 1.45090749513E8
AT ITER 7220 NEW BEST:: SOT 832644178 SOS 226208860 HAS SOPS 226208860 HAS SOUS 144864527 HAS SOUPS 144864527 WITH SCORE 1.4509073586E8
AT ITER 7227 NEW BEST:: SOT 832638667 SOS 226201510 HAS SOPS 226201510 HAS SOUS 144862684 HAS SOUPS 144862684 WITH SCORE 1.4508888551E8
AT ITER 7235 NEW BEST:: SOT 832624715 SOS 226180580 HAS SOPS 226180580 HAS SOUS 144862678 HAS SOUPS 144862678 WITH SCORE 1.4508885858E8
AT ITER 7236 NEW BEST:: SOT 832613629 SOS 226163946 HAS SOPS 226163946 HAS SOUS 144862663 HAS SOUPS 144862663 WITH SCORE 1.45088826946E8
AT ITER 7257 NEW BEST:: SOT 832607919 SOS 226155381 HAS SOPS 226155381 HAS SOUS 144862663 HAS SOUPS 144862663 WITH SCORE 1.45088818381E8
AT ITER 7263 NEW BEST:: SOT 832595433 SOS 226136651 HAS SOPS 226136651 HAS SOUS 144862660 HAS SOUPS 144862660 WITH SCORE 1.45088796651E8
AT ITER 7264 NEW BEST:: SOT 832588685 SOS 226126527 HAS SOPS 226126527 HAS SOUS 144862654 HAS SOUPS 144862654 WITH SCORE 1.45088780527E8
AT ITER 7265 NEW BEST:: SOT 832577081 SOS 226109121 HAS SOPS 226109121 HAS SOUS 144862654 HAS SOUPS 144862654 WITH SCORE 1.45088763121E8
AT ITER 7268 NEW BEST:: SOT 832563129 SOS 226088193 HAS SOPS 226088193 HAS SOUS 144862654 HAS SOUPS 144862654 WITH SCORE 1.45088742193E8
AT ITER 7283 NEW BEST:: SOT 832553339 SOS 226068613 HAS SOPS 226068613 HAS SOUS 144847969 HAS SOUPS 144847969 WITH SCORE 1.45074037613E8
AT ITER 7310 NEW BEST:: SOT 832542141 SOS 226051816 HAS SOPS 226051816 HAS SOUS 144847969 HAS SOUPS 144847969 WITH SCORE 1.45074020816E8
AT ITER 7323 NEW BEST:: SOT 832531343 SOS 226035617 HAS SOPS 226035617 HAS SOUS 144847963 HAS SOUPS 144847963 WITH SCORE 1.45073998617E8
AT ITER 7324 NEW BEST:: SOT 832518791 SOS 226016789 HAS SOPS 226016789 HAS SOUS 144847963 HAS SOUPS 144847963 WITH SCORE 1.45073979789E8
AT ITER 7328 NEW BEST:: SOT 832502803 SOS 225992807 HAS SOPS 225992807 HAS SOUS 144847963 HAS SOUPS 144847963 WITH SCORE 1.45073955807E8
AT ITER 7329 NEW BEST:: SOT 832491351 SOS 225975629 HAS SOPS 225975629 HAS SOUS 144847963 HAS SOUPS 144847963 WITH SCORE 1.45073938629E8
AT ITER 7349 NEW BEST:: SOT 832485656 SOS 225969211 HAS SOPS 225969211 HAS SOUS 144847236 HAS SOUPS 144847236 WITH SCORE 1.45073205211E8
AT ITER 7352 NEW BEST:: SOT 832479725 SOS 225961303 HAS SOPS 225961303 HAS SOUS 144845259 HAS SOUPS 144845259 WITH SCORE 1.45071220303E8
AT ITER 7356 NEW BEST:: SOT 832478089 SOS 225958846 HAS SOPS 225958846 HAS SOUS 144845250 HAS SOUPS 144845250 WITH SCORE 1.45071208846E8
AT ITER 7370 NEW BEST:: SOT 832471175 SOS 225948475 HAS SOPS 225948475 HAS SOUS 144845250 HAS SOUPS 144845250 WITH SCORE 1.45071198475E8
AT ITER 7374 NEW BEST:: SOT 832462423 SOS 225935345 HAS SOPS 225935345 HAS SOUS 144845244 HAS SOUPS 144845244 WITH SCORE 1.45071179345E8
AT ITER 7378 NEW BEST:: SOT 832448919 SOS 225915089 HAS SOPS 225915089 HAS SOUS 144845244 HAS SOUPS 144845244 WITH SCORE 1.45071159089E8
AT ITER 7389 NEW BEST:: SOT 832436955 SOS 225897143 HAS SOPS 225897143 HAS SOUS 144845244 HAS SOUPS 144845244 WITH SCORE 1.45071141143E8
AT ITER 7405 NEW BEST:: SOT 832423963 SOS 225877655 HAS SOPS 225877655 HAS SOUS 144845244 HAS SOUPS 144845244 WITH SCORE 1.45071121655E8
AT ITER 7412 NEW BEST:: SOT 832415452 SOS 225866307 HAS SOPS 225866307 HAS SOUS 144842407 HAS SOUPS 144842407 WITH SCORE 1.45068273307E8
AT ITER 7416 NEW BEST:: SOT 832403220 SOS 225850001 HAS SOPS 225850001 HAS SOUS 144838325 HAS SOUPS 144838325 WITH SCORE 1.45064175001E8
AT ITER 7428 NEW BEST:: SOT 832393106 SOS 225833121 HAS SOPS 225833121 HAS SOUS 144826930 HAS SOUPS 144826930 WITH SCORE 1.45052763121E8
AT ITER 7435 NEW BEST:: SOT 832387517 SOS 225825669 HAS SOPS 225825669 HAS SOUS 144825067 HAS SOUPS 144825067 WITH SCORE 1.45050892669E8
AT ITER 7447 NEW BEST:: SOT 832376737 SOS 225809499 HAS SOPS 225809499 HAS SOUS 144825067 HAS SOUPS 144825067 WITH SCORE 1.45050876499E8
AT ITER 7463 NEW BEST:: SOT 832368037 SOS 225796449 HAS SOPS 225796449 HAS SOUS 144825067 HAS SOUPS 144825067 WITH SCORE 1.45050863449E8
AT ITER 7469 NEW BEST:: SOT 832354983 SOS 225776865 HAS SOPS 225776865 HAS SOUS 144825058 HAS SOUPS 144825058 WITH SCORE 1.45050834865E8
AT ITER 7471 NEW BEST:: SOT 832348665 SOS 225767386 HAS SOPS 225767386 HAS SOUS 144825052 HAS SOUPS 144825052 WITH SCORE 1.45050819386E8
AT ITER 7472 NEW BEST:: SOT 832339227 SOS 225753229 HAS SOPS 225753229 HAS SOUS 144825052 HAS SOUPS 144825052 WITH SCORE 1.45050805229E8
AT ITER 7481 NEW BEST:: SOT 832328539 SOS 225737179 HAS SOPS 225737179 HAS SOUS 144824998 HAS SOUPS 144824998 WITH SCORE 1.45050735179E8
AT ITER 7487 NEW BEST:: SOT 832318849 SOS 225722644 HAS SOPS 225722644 HAS SOUS 144824998 HAS SOUPS 144824998 WITH SCORE 1.45050720644E8
AT ITER 7488 NEW BEST:: SOT 832304657 SOS 225701355 HAS SOPS 225701355 HAS SOUS 144824995 HAS SOUPS 144824995 WITH SCORE 1.45050696355E8
AT ITER 7489 NEW BEST:: SOT 832291391 SOS 225681456 HAS SOPS 225681456 HAS SOUS 144824995 HAS SOUPS 144824995 WITH SCORE 1.45050676456E8
AT ITER 7498 NEW BEST:: SOT 832286312 SOS 225672991 HAS SOPS 225672991 HAS SOUS 144818223 HAS SOUPS 144818223 WITH SCORE 1.45043895991E8
AT ITER 7505 NEW BEST:: SOT 832271568 SOS 225650873 HAS SOPS 225650873 HAS SOUS 144818217 HAS SOUPS 144818217 WITH SCORE 1.45043867873E8
AT ITER 7529 NEW BEST:: SOT 832261956 SOS 225638053 HAS SOPS 225638053 HAS SOUS 144815001 HAS SOUPS 144815001 WITH SCORE 1.45040639053E8
AT ITER 7552 NEW BEST:: SOT 832258581 SOS 225633550 HAS SOPS 225633550 HAS SOUS 144813867 HAS SOUPS 144813867 WITH SCORE 1.4503950055E8
AT ITER 7576 NEW BEST:: SOT 832247299 SOS 225616626 HAS SOPS 225616626 HAS SOUS 144813864 HAS SOUPS 144813864 WITH SCORE 1.45039480626E8
AT ITER 7590 NEW BEST:: SOT 832233911 SOS 225596544 HAS SOPS 225596544 HAS SOUS 144813864 HAS SOUPS 144813864 WITH SCORE 1.45039460544E8
AT ITER 7597 NEW BEST:: SOT 832225676 SOS 225584188 HAS SOPS 225584188 HAS SOUS 144804516 HAS SOUPS 144804516 WITH SCORE 1.45030100188E8
AT ITER 7599 NEW BEST:: SOT 832219346 SOS 225577624 HAS SOPS 225577624 HAS SOUS 144804095 HAS SOUPS 144804095 WITH SCORE 1.45029672624E8
AT ITER 7601 NEW BEST:: SOT 832215614 SOS 225572646 HAS SOPS 225572646 HAS SOUS 144802845 HAS SOUPS 144802845 WITH SCORE 1.45028417646E8
AT ITER 7613 NEW BEST:: SOT 832214448 SOS 225570897 HAS SOPS 225570897 HAS SOUS 144802845 HAS SOUPS 144802845 WITH SCORE 1.45028415897E8
AT ITER 7626 NEW BEST:: SOT 832211050 SOS 225565799 HAS SOPS 225565799 HAS SOUS 144802842 HAS SOUPS 144802842 WITH SCORE 1.45028407799E8
AT ITER 7632 NEW BEST:: SOT 832206838 SOS 225559480 HAS SOPS 225559480 HAS SOUS 144802839 HAS SOUPS 144802839 WITH SCORE 1.4502839848E8
AT ITER 7636 NEW BEST:: SOT 832198288 SOS 225546653 HAS SOPS 225546653 HAS SOUS 144802833 HAS SOUPS 144802833 WITH SCORE 1.45028379653E8
AT ITER 7649 NEW BEST:: SOT 832186284 SOS 225531390 HAS SOPS 225531390 HAS SOUS 144799568 HAS SOUPS 144799568 WITH SCORE 1.4502509939E8
AT ITER 7677 NEW BEST:: SOT 832172510 SOS 225510729 HAS SOPS 225510729 HAS SOUS 144799568 HAS SOUPS 144799568 WITH SCORE 1.45025078729E8
AT ITER 7684 NEW BEST:: SOT 832170000 SOS 225506964 HAS SOPS 225506964 HAS SOUS 144799568 HAS SOUPS 144799568 WITH SCORE 1.45025074964E8
AT ITER 7718 NEW BEST:: SOT 832156582 SOS 225486836 HAS SOPS 225486836 HAS SOUS 144799565 HAS SOUPS 144799565 WITH SCORE 1.45025051836E8
AT ITER 7723 NEW BEST:: SOT 832151374 SOS 225479892 HAS SOPS 225479892 HAS SOUS 144797829 HAS SOUPS 144797829 WITH SCORE 1.45023308892E8
AT ITER 7760 NEW BEST:: SOT 832138216 SOS 225460152 HAS SOPS 225460152 HAS SOUS 144797820 HAS SOUPS 144797820 WITH SCORE 1.45023280152E8
AT ITER 7775 NEW BEST:: SOT 832123298 SOS 225437759 HAS SOPS 225437759 HAS SOUS 144797772 HAS SOUPS 144797772 WITH SCORE 1.45023209759E8
AT ITER 7782 NEW BEST:: SOT 832117229 SOS 225429664 HAS SOPS 225429664 HAS SOUS 144795740 HAS SOUPS 144795740 WITH SCORE 1.45021169664E8
AT ITER 7793 NEW BEST:: SOT 832109877 SOS 225418636 HAS SOPS 225418636 HAS SOUS 144795740 HAS SOUPS 144795740 WITH SCORE 1.45021158636E8
AT ITER 7799 NEW BEST:: SOT 832093673 SOS 225394330 HAS SOPS 225394330 HAS SOUS 144795740 HAS SOUPS 144795740 WITH SCORE 1.4502113433E8
AT ITER 7801 NEW BEST:: SOT 832090054 SOS 225390696 HAS SOPS 225390696 HAS SOUS 144795717 HAS SOUPS 144795717 WITH SCORE 1.45021107696E8
AT ITER 7823 NEW BEST:: SOT 832083700 SOS 225381165 HAS SOPS 225381165 HAS SOUS 144795717 HAS SOUPS 144795717 WITH SCORE 1.45021098165E8
AT ITER 7824 NEW BEST:: SOT 832067370 SOS 225356670 HAS SOPS 225356670 HAS SOUS 144795717 HAS SOUPS 144795717 WITH SCORE 1.4502107367E8
AT ITER 7838 NEW BEST:: SOT 832056874 SOS 225340925 HAS SOPS 225340925 HAS SOUS 144795714 HAS SOUPS 144795714 WITH SCORE 1.45021054925E8
AT ITER 7846 NEW BEST:: SOT 832051236 SOS 225332465 HAS SOPS 225332465 HAS SOUS 144795705 HAS SOUPS 144795705 WITH SCORE 1.45021037465E8
AT ITER 7899 NEW BEST:: SOT 832036112 SOS 225309779 HAS SOPS 225309779 HAS SOUS 144795705 HAS SOUPS 144795705 WITH SCORE 1.45021014779E8
AT ITER 7914 NEW BEST:: SOT 832021432 SOS 225287759 HAS SOPS 225287759 HAS SOUS 144795705 HAS SOUPS 144795705 WITH SCORE 1.45020992759E8
AT ITER 7918 NEW BEST:: SOT 832021432 SOS 225287758 HAS SOPS 225287758 HAS SOUS 144795702 HAS SOUPS 144795702 WITH SCORE 1.45020989758E8
AT ITER 7950 NEW BEST:: SOT 832018610 SOS 225284632 HAS SOPS 225284632 HAS SOUS 144795396 HAS SOUPS 144795396 WITH SCORE 1.45020680632E8
AT ITER 7966 NEW BEST:: SOT 832010542 SOS 225276563 HAS SOPS 225276563 HAS SOUS 144795394 HAS SOUPS 144795394 WITH SCORE 1.45020670563E8
AT ITER 7969 NEW BEST:: SOT 831996010 SOS 225254765 HAS SOPS 225254765 HAS SOUS 144795394 HAS SOUPS 144795394 WITH SCORE 1.45020648765E8
AT ITER 7981 NEW BEST:: SOT 831985148 SOS 225240045 HAS SOPS 225240045 HAS SOUS 144795322 HAS SOUPS 144795322 WITH SCORE 1.45020562045E8
AT ITER 7990 NEW BEST:: SOT 831983472 SOS 225237529 HAS SOPS 225237529 HAS SOUS 144795316 HAS SOUPS 144795316 WITH SCORE 1.45020553529E8
AT ITER 8010 NEW BEST:: SOT 831976626 SOS 225227260 HAS SOPS 225227260 HAS SOUS 144795316 HAS SOUPS 144795316 WITH SCORE 1.4502054326E8
AT ITER 8015 NEW BEST:: SOT 831966580 SOS 225212189 HAS SOPS 225212189 HAS SOUS 144795310 HAS SOUPS 144795310 WITH SCORE 1.45020522189E8
AT ITER 8037 NEW BEST:: SOT 831963752 SOS 225209041 HAS SOPS 225209041 HAS SOUS 144794986 HAS SOUPS 144794986 WITH SCORE 1.45020195041E8
AT ITER 8041 NEW BEST:: SOT 831955002 SOS 225191541 HAS SOPS 225191541 HAS SOUS 144781861 HAS SOUPS 144781861 WITH SCORE 1.45007052541E8
AT ITER 8056 NEW BEST:: SOT 831940890 SOS 225170373 HAS SOPS 225170373 HAS SOUS 144781861 HAS SOUPS 144781861 WITH SCORE 1.45007031373E8
AT ITER 8068 NEW BEST:: SOT 831927074 SOS 225149648 HAS SOPS 225149648 HAS SOUS 144781858 HAS SOUPS 144781858 WITH SCORE 1.45007007648E8
AT ITER 8071 NEW BEST:: SOT 831926258 SOS 225148013 HAS SOPS 225148013 HAS SOUS 144780220 HAS SOUPS 144780220 WITH SCORE 1.45005368013E8
AT ITER 8079 NEW BEST:: SOT 831918996 SOS 225137119 HAS SOPS 225137119 HAS SOUS 144780217 HAS SOUPS 144780217 WITH SCORE 1.45005354119E8
AT ITER 8109 NEW BEST:: SOT 831909570 SOS 225122980 HAS SOPS 225122980 HAS SOUS 144780217 HAS SOUPS 144780217 WITH SCORE 1.4500533998E8
AT ITER 8149 NEW BEST:: SOT 831905482 SOS 225116846 HAS SOPS 225116846 HAS SOUS 144780211 HAS SOUPS 144780211 WITH SCORE 1.45005327846E8
AT ITER 8150 NEW BEST:: SOT 831891172 SOS 225095380 HAS SOPS 225095380 HAS SOUS 144780208 HAS SOUPS 144780208 WITH SCORE 1.4500530338E8
AT ITER 8179 NEW BEST:: SOT 831878060 SOS 225075711 HAS SOPS 225075711 HAS SOUS 144780205 HAS SOUPS 144780205 WITH SCORE 1.45005280711E8
AT ITER 8192 NEW BEST:: SOT 831867406 SOS 225059730 HAS SOPS 225059730 HAS SOUS 144780205 HAS SOUPS 144780205 WITH SCORE 1.4500526473E8
AT ITER 8219 NEW BEST:: SOT 831854274 SOS 225040032 HAS SOPS 225040032 HAS SOUS 144780205 HAS SOUPS 144780205 WITH SCORE 1.45005245032E8
AT ITER 8232 NEW BEST:: SOT 831848390 SOS 225031206 HAS SOPS 225031206 HAS SOUS 144780205 HAS SOUPS 144780205 WITH SCORE 1.45005236206E8
AT ITER 8237 NEW BEST:: SOT 831838556 SOS 225018094 HAS SOPS 225018094 HAS SOUS 144776927 HAS SOUPS 144776927 WITH SCORE 1.45001945094E8
AT ITER 8256 NEW BEST:: SOT 831832068 SOS 225008362 HAS SOPS 225008362 HAS SOUS 144776927 HAS SOUPS 144776927 WITH SCORE 1.45001935362E8
AT ITER 8259 NEW BEST:: SOT 831823202 SOS 224995061 HAS SOPS 224995061 HAS SOUS 144776921 HAS SOUPS 144776921 WITH SCORE 1.45001916061E8
AT ITER 8270 NEW BEST:: SOT 831814890 SOS 224982593 HAS SOPS 224982593 HAS SOUS 144776921 HAS SOUPS 144776921 WITH SCORE 1.45001903593E8
AT ITER 8277 NEW BEST:: SOT 831808482 SOS 224969777 HAS SOPS 224969777 HAS SOUS 144767309 HAS SOUPS 144767309 WITH SCORE 1.44992278777E8
AT ITER 8278 NEW BEST:: SOT 831806475 SOS 224967099 HAS SOPS 224967099 HAS SOUS 144766634 HAS SOUPS 144766634 WITH SCORE 1.44991601099E8
AT ITER 8295 NEW BEST:: SOT 831797262 SOS 224954813 HAS SOPS 224954813 HAS SOUS 144763557 HAS SOUPS 144763557 WITH SCORE 1.44988511813E8
AT ITER 8296 NEW BEST:: SOT 831789784 SOS 224939857 HAS SOPS 224939857 HAS SOUS 144752340 HAS SOUPS 144752340 WITH SCORE 1.44977279857E8
AT ITER 8300 NEW BEST:: SOT 831789340 SOS 224938969 HAS SOPS 224938969 HAS SOUS 144752118 HAS SOUPS 144752118 WITH SCORE 1.44977056969E8
AT ITER 8303 NEW BEST:: SOT 831788154 SOS 224936597 HAS SOPS 224936597 HAS SOUS 144752118 HAS SOUPS 144752118 WITH SCORE 1.44977054597E8
AT ITER 8329 NEW BEST:: SOT 831774906 SOS 224916723 HAS SOPS 224916723 HAS SOUS 144752112 HAS SOUPS 144752112 WITH SCORE 1.44977028723E8
AT ITER 8359 NEW BEST:: SOT 831763374 SOS 224901347 HAS SOPS 224901347 HAS SOUS 144748268 HAS SOUPS 144748268 WITH SCORE 1.44973169347E8
AT ITER 8363 NEW BEST:: SOT 831753734 SOS 224886887 HAS SOPS 224886887 HAS SOUS 144748268 HAS SOUPS 144748268 WITH SCORE 1.44973154887E8
AT ITER 8365 NEW BEST:: SOT 831746382 SOS 224875859 HAS SOPS 224875859 HAS SOUS 144748268 HAS SOUPS 144748268 WITH SCORE 1.44973143859E8
AT ITER 8367 NEW BEST:: SOT 831738711 SOS 224865629 HAS SOPS 224865629 HAS SOUS 144745705 HAS SOUPS 144745705 WITH SCORE 1.44970570629E8
AT ITER 8374 NEW BEST:: SOT 831729333 SOS 224851560 HAS SOPS 224851560 HAS SOUS 144745699 HAS SOUPS 144745699 WITH SCORE 1.4497055056E8
AT ITER 8387 NEW BEST:: SOT 831721357 SOS 224839596 HAS SOPS 224839596 HAS SOUS 144745699 HAS SOUPS 144745699 WITH SCORE 1.44970538596E8
AT ITER 8396 NEW BEST:: SOT 831709804 SOS 224824191 HAS SOPS 224824191 HAS SOUS 144741845 HAS SOUPS 144741845 WITH SCORE 1.44966669191E8
AT ITER 8403 NEW BEST:: SOT 831694770 SOS 224801640 HAS SOPS 224801640 HAS SOUS 144741845 HAS SOUPS 144741845 WITH SCORE 1.4496664664E8
AT ITER 8408 NEW BEST:: SOT 831685824 SOS 224788210 HAS SOPS 224788210 HAS SOUS 144741812 HAS SOUPS 144741812 WITH SCORE 1.4496660021E8
AT ITER 8414 NEW BEST:: SOT 831673774 SOS 224772760 HAS SOPS 224772760 HAS SOUS 144738413 HAS SOUPS 144738413 WITH SCORE 1.4496318576E8
AT ITER 8429 NEW BEST:: SOT 831664804 SOS 224759305 HAS SOPS 224759305 HAS SOUS 144738413 HAS SOUPS 144738413 WITH SCORE 1.44963172305E8
AT ITER 8439 NEW BEST:: SOT 831648948 SOS 224728813 HAS SOPS 224728813 HAS SOUS 144718289 HAS SOUPS 144718289 WITH SCORE 1.44943017813E8
AT ITER 8440 NEW BEST:: SOT 831637719 SOS 224716655 HAS SOPS 224716655 HAS SOUS 144717359 HAS SOUPS 144717359 WITH SCORE 1.44942075655E8
AT ITER 8442 NEW BEST:: SOT 831633570 SOS 224711121 HAS SOPS 224711121 HAS SOUS 144715970 HAS SOUPS 144715970 WITH SCORE 1.44940681121E8
AT ITER 8444 NEW BEST:: SOT 831628680 SOS 224704601 HAS SOPS 224704601 HAS SOUS 144714340 HAS SOUPS 144714340 WITH SCORE 1.44939044601E8
AT ITER 8447 NEW BEST:: SOT 831622986 SOS 224696058 HAS SOPS 224696058 HAS SOUS 144714334 HAS SOUPS 144714334 WITH SCORE 1.44939030058E8
AT ITER 8455 NEW BEST:: SOT 831609804 SOS 224670433 HAS SOPS 224670433 HAS SOUS 144696778 HAS SOUPS 144696778 WITH SCORE 1.44921448433E8
AT ITER 8460 NEW BEST:: SOT 831594454 SOS 224647408 HAS SOPS 224647408 HAS SOUS 144696778 HAS SOUPS 144696778 WITH SCORE 1.44921425408E8
AT ITER 8467 NEW BEST:: SOT 831589225 SOS 224640436 HAS SOPS 224640436 HAS SOUS 144695035 HAS SOUPS 144695035 WITH SCORE 1.44919675436E8
AT ITER 8495 NEW BEST:: SOT 831578641 SOS 224624558 HAS SOPS 224624558 HAS SOUS 144695029 HAS SOUPS 144695029 WITH SCORE 1.44919653558E8
AT ITER 8496 NEW BEST:: SOT 831564593 SOS 224603485 HAS SOPS 224603485 HAS SOUS 144695026 HAS SOUPS 144695026 WITH SCORE 1.44919629485E8
AT ITER 8506 NEW BEST:: SOT 831556163 SOS 224590837 HAS SOPS 224590837 HAS SOUS 144695017 HAS SOUPS 144695017 WITH SCORE 1.44919607837E8
AT ITER 8530 NEW BEST:: SOT 831556163 SOS 224590836 HAS SOPS 224590836 HAS SOUS 144695014 HAS SOUPS 144695014 WITH SCORE 1.44919604836E8
AT ITER 8563 NEW BEST:: SOT 831546955 SOS 224577024 HAS SOPS 224577024 HAS SOUS 144695014 HAS SOUPS 144695014 WITH SCORE 1.44919591024E8
AT ITER 8601 NEW BEST:: SOT 831541725 SOS 224569179 HAS SOPS 224569179 HAS SOUS 144695014 HAS SOUPS 144695014 WITH SCORE 1.44919583179E8
AT ITER 8624 NEW BEST:: SOT 831536574 SOS 224563592 HAS SOPS 224563592 HAS SOUS 144694572 HAS SOUPS 144694572 WITH SCORE 1.44919135592E8
AT ITER 8633 NEW BEST:: SOT 831524012 SOS 224544749 HAS SOPS 224544749 HAS SOUS 144694572 HAS SOUPS 144694572 WITH SCORE 1.44919116749E8
AT ITER 8636 NEW BEST:: SOT 831514856 SOS 224531013 HAS SOPS 224531013 HAS SOUS 144694566 HAS SOUPS 144694566 WITH SCORE 1.44919097013E8
AT ITER 8640 NEW BEST:: SOT 831501940 SOS 224511639 HAS SOPS 224511639 HAS SOUS 144694566 HAS SOUPS 144694566 WITH SCORE 1.44919077639E8
AT ITER 8652 NEW BEST:: SOT 831494376 SOS 224500293 HAS SOPS 224500293 HAS SOUS 144694566 HAS SOUPS 144694566 WITH SCORE 1.44919066293E8
AT ITER 8685 NEW BEST:: SOT 831491163 SOS 224496007 HAS SOPS 224496007 HAS SOUS 144693489 HAS SOUPS 144693489 WITH SCORE 1.44917985007E8
AT ITER 8700 NEW BEST:: SOT 831485218 SOS 224488615 HAS SOPS 224488615 HAS SOUS 144692039 HAS SOUPS 144692039 WITH SCORE 1.44916527615E8
AT ITER 8729 NEW BEST:: SOT 831485079 SOS 224488337 HAS SOPS 224488337 HAS SOUS 144692037 HAS SOUPS 144692037 WITH SCORE 1.44916525337E8
AT ITER 8743 NEW BEST:: SOT 831471719 SOS 224468296 HAS SOPS 224468296 HAS SOUS 144692034 HAS SOUPS 144692034 WITH SCORE 1.44916502296E8
AT ITER 8763 NEW BEST:: SOT 831463145 SOS 224456864 HAS SOPS 224456864 HAS SOUS 144689176 HAS SOUPS 144689176 WITH SCORE 1.44913632864E8
AT ITER 8782 NEW BEST:: SOT 831448329 SOS 224434638 HAS SOPS 224434638 HAS SOUS 144689170 HAS SOUPS 144689170 WITH SCORE 1.44913604638E8
AT ITER 8787 NEW BEST:: SOT 831437310 SOS 224419943 HAS SOPS 224419943 HAS SOUS 144685488 HAS SOUPS 144685488 WITH SCORE 1.44909907943E8
AT ITER 8790 NEW BEST:: SOT 831437310 SOS 224416409 HAS SOPS 224416409 HAS SOUS 144674886 HAS SOUPS 144674886 WITH SCORE 1.44899302409E8
AT ITER 8797 NEW BEST:: SOT 831428928 SOS 224405233 HAS SOPS 224405233 HAS SOUS 144672092 HAS SOUPS 144672092 WITH SCORE 1.44896497233E8
AT ITER 8806 NEW BEST:: SOT 831424758 SOS 224399670 HAS SOPS 224399670 HAS SOUS 144670693 HAS SOUPS 144670693 WITH SCORE 1.4489509267E8
AT ITER 8812 NEW BEST:: SOT 831410360 SOS 224378073 HAS SOPS 224378073 HAS SOUS 144670693 HAS SOUPS 144670693 WITH SCORE 1.44895071073E8
AT ITER 8813 NEW BEST:: SOT 831402484 SOS 224370197 HAS SOPS 224370197 HAS SOUS 144670693 HAS SOUPS 144670693 WITH SCORE 1.44895063197E8
AT ITER 8826 NEW BEST:: SOT 831402294 SOS 224369817 HAS SOPS 224369817 HAS SOUS 144670409 HAS SOUPS 144670409 WITH SCORE 1.44894778817E8
AT ITER 8843 NEW BEST:: SOT 831395226 SOS 224360389 HAS SOPS 224360389 HAS SOUS 144668041 HAS SOUPS 144668041 WITH SCORE 1.44892401389E8
AT ITER 8892 NEW BEST:: SOT 831394356 SOS 224359084 HAS SOPS 224359084 HAS SOUS 144668041 HAS SOUPS 144668041 WITH SCORE 1.44892400084E8
AT ITER 8895 NEW BEST:: SOT 831384258 SOS 224345618 HAS SOPS 224345618 HAS SOUS 144664669 HAS SOUPS 144664669 WITH SCORE 1.44889014618E8
AT ITER 8902 NEW BEST:: SOT 831382536 SOS 224343319 HAS SOPS 224343319 HAS SOUS 144664086 HAS SOUPS 144664086 WITH SCORE 1.44888429319E8
AT ITER 8915 NEW BEST:: SOT 831378252 SOS 224337605 HAS SOPS 224337605 HAS SOUS 144662652 HAS SOUPS 144662652 WITH SCORE 1.44886989605E8
AT ITER 8933 NEW BEST:: SOT 831369548 SOS 224324549 HAS SOPS 224324549 HAS SOUS 144662652 HAS SOUPS 144662652 WITH SCORE 1.44886976549E8
AT ITER 8949 NEW BEST:: SOT 831361589 SOS 224313935 HAS SOPS 224313935 HAS SOUS 144659993 HAS SOUPS 144659993 WITH SCORE 1.44884306935E8
AT ITER 8963 NEW BEST:: SOT 831347911 SOS 224293418 HAS SOPS 224293418 HAS SOUS 144659993 HAS SOUPS 144659993 WITH SCORE 1.44884286418E8
AT ITER 8967 NEW BEST:: SOT 831333569 SOS 224271905 HAS SOPS 224271905 HAS SOUS 144659993 HAS SOUPS 144659993 WITH SCORE 1.44884264905E8
AT ITER 8988 NEW BEST:: SOT 831327477 SOS 224262765 HAS SOPS 224262765 HAS SOUS 144659987 HAS SOUPS 144659987 WITH SCORE 1.44884249765E8
AT ITER 9001 NEW BEST:: SOT 831313519 SOS 224234849 HAS SOPS 224234849 HAS SOUS 144639050 HAS SOUPS 144639050 WITH SCORE 1.44863284849E8
AT ITER 9009 NEW BEST:: SOT 831309724 SOS 224229789 HAS SOPS 224229789 HAS SOUS 144637785 HAS SOUPS 144637785 WITH SCORE 1.44862014789E8
AT ITER 9015 NEW BEST:: SOT 831304288 SOS 224218917 HAS SOPS 224218917 HAS SOUS 144629631 HAS SOUPS 144629631 WITH SCORE 1.44853849917E8
AT ITER 9023 NEW BEST:: SOT 831295480 SOS 224205703 HAS SOPS 224205703 HAS SOUS 144629625 HAS SOUPS 144629625 WITH SCORE 1.44853830703E8
AT ITER 9027 NEW BEST:: SOT 831287516 SOS 224193757 HAS SOPS 224193757 HAS SOUS 144629625 HAS SOUPS 144629625 WITH SCORE 1.44853818757E8
AT ITER 9032 NEW BEST:: SOT 831272022 SOS 224170516 HAS SOPS 224170516 HAS SOUS 144629625 HAS SOUPS 144629625 WITH SCORE 1.44853795516E8
AT ITER 9037 NEW BEST:: SOT 831269286 SOS 224166868 HAS SOPS 224166868 HAS SOUS 144628713 HAS SOUPS 144628713 WITH SCORE 1.44852879868E8
AT ITER 9050 NEW BEST:: SOT 831254202 SOS 224144242 HAS SOPS 224144242 HAS SOUS 144628713 HAS SOUPS 144628713 WITH SCORE 1.44852857242E8
AT ITER 9056 NEW BEST:: SOT 831251233 SOS 224140558 HAS SOPS 224140558 HAS SOUS 144627992 HAS SOUPS 144627992 WITH SCORE 1.44852132558E8
AT ITER 9066 NEW BEST:: SOT 831247689 SOS 224137014 HAS SOPS 224137014 HAS SOUS 144627992 HAS SOUPS 144627992 WITH SCORE 1.44852129014E8
AT ITER 9070 NEW BEST:: SOT 831246714 SOS 224135712 HAS SOPS 224135712 HAS SOUS 144627661 HAS SOUPS 144627661 WITH SCORE 1.44851796712E8
AT ITER 9073 NEW BEST:: SOT 831245212 SOS 224133459 HAS SOPS 224133459 HAS SOUS 144627661 HAS SOUPS 144627661 WITH SCORE 1.44851794459E8
AT ITER 9087 NEW BEST:: SOT 831229786 SOS 224110319 HAS SOPS 224110319 HAS SOUS 144627658 HAS SOUPS 144627658 WITH SCORE 1.44851768319E8
AT ITER 9103 NEW BEST:: SOT 831221324 SOS 224094448 HAS SOPS 224094448 HAS SOUS 144618124 HAS SOUPS 144618124 WITH SCORE 1.44842218448E8
AT ITER 9121 NEW BEST:: SOT 831212636 SOS 224082864 HAS SOPS 224082864 HAS SOUS 144615228 HAS SOUPS 144615228 WITH SCORE 1.44839310864E8
AT ITER 9126 NEW BEST:: SOT 831207760 SOS 224075548 HAS SOPS 224075548 HAS SOUS 144615222 HAS SOUPS 144615222 WITH SCORE 1.44839297548E8
AT ITER 9131 NEW BEST:: SOT 831196466 SOS 224058600 HAS SOPS 224058600 HAS SOUS 144615201 HAS SOUPS 144615201 WITH SCORE 1.448392596E8
AT ITER 9137 NEW BEST:: SOT 831185244 SOS 224041767 HAS SOPS 224041767 HAS SOUS 144615201 HAS SOUPS 144615201 WITH SCORE 1.44839242767E8
AT ITER 9146 NEW BEST:: SOT 831176712 SOS 224028969 HAS SOPS 224028969 HAS SOUS 144615201 HAS SOUPS 144615201 WITH SCORE 1.44839229969E8
AT ITER 9216 NEW BEST:: SOT 831165684 SOS 224017605 HAS SOPS 224017605 HAS SOUS 144614862 HAS SOUPS 144614862 WITH SCORE 1.44838879605E8
AT ITER 9239 NEW BEST:: SOT 831157614 SOS 224005499 HAS SOPS 224005499 HAS SOUS 144614859 HAS SOUPS 144614859 WITH SCORE 1.44838864499E8
AT ITER 9242 NEW BEST:: SOT 831145968 SOS 223988029 HAS SOPS 223988029 HAS SOUS 144614856 HAS SOUPS 144614856 WITH SCORE 1.44838844029E8
AT ITER 9247 NEW BEST:: SOT 831130476 SOS 223964790 HAS SOPS 223964790 HAS SOUS 144614853 HAS SOUPS 144614853 WITH SCORE 1.4483881779E8
AT ITER 9250 NEW BEST:: SOT 831119769 SOS 223950512 HAS SOPS 223950512 HAS SOUS 144611278 HAS SOUPS 144611278 WITH SCORE 1.44835228512E8
AT ITER 9253 NEW BEST:: SOT 831108477 SOS 223935454 HAS SOPS 223935454 HAS SOUS 144607508 HAS SOUPS 144607508 WITH SCORE 1.44831443454E8
AT ITER 9269 NEW BEST:: SOT 831097186 SOS 223923022 HAS SOPS 223923022 HAS SOUS 144606370 HAS SOUPS 144606370 WITH SCORE 1.44830293022E8
AT ITER 9287 NEW BEST:: SOT 831088698 SOS 223910290 HAS SOPS 223910290 HAS SOUS 144606370 HAS SOUPS 144606370 WITH SCORE 1.4483028029E8
AT ITER 9288 NEW BEST:: SOT 831079546 SOS 223896232 HAS SOPS 223896232 HAS SOUS 144601446 HAS SOUPS 144601446 WITH SCORE 1.44825342232E8
AT ITER 9294 NEW BEST:: SOT 831073056 SOS 223886497 HAS SOPS 223886497 HAS SOUS 144601446 HAS SOUPS 144601446 WITH SCORE 1.44825332497E8
AT ITER 9308 NEW BEST:: SOT 831067023 SOS 223878453 HAS SOPS 223878453 HAS SOUS 144599435 HAS SOUPS 144599435 WITH SCORE 1.44823313453E8
AT ITER 9313 NEW BEST:: SOT 831051871 SOS 223855725 HAS SOPS 223855725 HAS SOUS 144599435 HAS SOUPS 144599435 WITH SCORE 1.44823290725E8
AT ITER 9315 NEW BEST:: SOT 831035791 SOS 223831604 HAS SOPS 223831604 HAS SOUS 144599432 HAS SOUPS 144599432 WITH SCORE 1.44823263604E8
AT ITER 9316 NEW BEST:: SOT 831024226 SOS 223818039 HAS SOPS 223818039 HAS SOUS 144597434 HAS SOUPS 144597434 WITH SCORE 1.44821252039E8
AT ITER 9320 NEW BEST:: SOT 831022462 SOS 223815684 HAS SOPS 223815684 HAS SOUS 144596837 HAS SOUPS 144596837 WITH SCORE 1.44820652684E8
AT ITER 9327 NEW BEST:: SOT 831016147 SOS 223807264 HAS SOPS 223807264 HAS SOUS 144594732 HAS SOUPS 144594732 WITH SCORE 1.44818539264E8
AT ITER 9331 NEW BEST:: SOT 831012370 SOS 223802228 HAS SOPS 223802228 HAS SOUS 144593473 HAS SOUPS 144593473 WITH SCORE 1.44817275228E8
AT ITER 9343 NEW BEST:: SOT 831003976 SOS 223789635 HAS SOPS 223789635 HAS SOUS 144593467 HAS SOUPS 144593467 WITH SCORE 1.44817256635E8
AT ITER 9357 NEW BEST:: SOT 830996952 SOS 223779098 HAS SOPS 223779098 HAS SOUS 144593464 HAS SOUPS 144593464 WITH SCORE 1.44817243098E8
AT ITER 9363 NEW BEST:: SOT 830981496 SOS 223755914 HAS SOPS 223755914 HAS SOUS 144593464 HAS SOUPS 144593464 WITH SCORE 1.44817219914E8
AT ITER 9367 NEW BEST:: SOT 830966440 SOS 223733330 HAS SOPS 223733330 HAS SOUS 144593464 HAS SOUPS 144593464 WITH SCORE 1.4481719733E8
AT ITER 9368 NEW BEST:: SOT 830955656 SOS 223717152 HAS SOPS 223717152 HAS SOUS 144593458 HAS SOUPS 144593458 WITH SCORE 1.44817175152E8
AT ITER 9382 NEW BEST:: SOT 830950148 SOS 223709805 HAS SOPS 223709805 HAS SOUS 144591613 HAS SOUPS 144591613 WITH SCORE 1.44815322805E8
AT ITER 9388 NEW BEST:: SOT 830940332 SOS 223695081 HAS SOPS 223695081 HAS SOUS 144591613 HAS SOUPS 144591613 WITH SCORE 1.44815308081E8
AT ITER 9390 NEW BEST:: SOT 830929151 SOS 223683103 HAS SOPS 223683103 HAS SOUS 144590814 HAS SOUPS 144590814 WITH SCORE 1.44814497103E8
AT ITER 9403 NEW BEST:: SOT 830917501 SOS 223669257 HAS SOPS 223669257 HAS SOUS 144588614 HAS SOUPS 144588614 WITH SCORE 1.44812283257E8
AT ITER 9436 NEW BEST:: SOT 830901661 SOS 223645496 HAS SOPS 223645496 HAS SOUS 144588611 HAS SOUPS 144588611 WITH SCORE 1.44812256496E8
AT ITER 9534 NEW BEST:: SOT 830889847 SOS 223622150 HAS SOPS 223622150 HAS SOUS 144571736 HAS SOUPS 144571736 WITH SCORE 1.4479535815E8
AT ITER 9544 NEW BEST:: SOT 830881279 SOS 223610726 HAS SOPS 223610726 HAS SOUS 144568880 HAS SOUPS 144568880 WITH SCORE 1.44792490726E8
AT ITER 9558 NEW BEST:: SOT 830874903 SOS 223603644 HAS SOPS 223603644 HAS SOUS 144568174 HAS SOUPS 144568174 WITH SCORE 1.44791777644E8
AT ITER 9562 NEW BEST:: SOT 830873562 SOS 223601856 HAS SOPS 223601856 HAS SOUS 144567727 HAS SOUPS 144567727 WITH SCORE 1.44791328856E8
AT ITER 9566 NEW BEST:: SOT 830861926 SOS 223584402 HAS SOPS 223584402 HAS SOUS 144567727 HAS SOUPS 144567727 WITH SCORE 1.44791311402E8
AT ITER 9572 NEW BEST:: SOT 830859724 SOS 223581463 HAS SOPS 223581463 HAS SOUS 144566984 HAS SOUPS 144566984 WITH SCORE 1.44790565463E8
AT ITER 9573 NEW BEST:: SOT 830859724 SOS 223581461 HAS SOPS 223581461 HAS SOUS 144566978 HAS SOUPS 144566978 WITH SCORE 1.44790559461E8
AT ITER 9590 NEW BEST:: SOT 830854178 SOS 223573141 HAS SOPS 223573141 HAS SOUS 144566975 HAS SOUPS 144566975 WITH SCORE 1.44790548141E8
AT ITER 9601 NEW BEST:: SOT 830842265 SOS 223557255 HAS SOPS 223557255 HAS SOUS 144562998 HAS SOUPS 144562998 WITH SCORE 1.44786555255E8
AT ITER 9632 NEW BEST:: SOT 830837127 SOS 223549546 HAS SOPS 223549546 HAS SOUS 144562992 HAS SOUPS 144562992 WITH SCORE 1.44786541546E8
AT ITER 9633 NEW BEST:: SOT 830827651 SOS 223535332 HAS SOPS 223535332 HAS SOUS 144562992 HAS SOUPS 144562992 WITH SCORE 1.44786527332E8
AT ITER 9642 NEW BEST:: SOT 830816321 SOS 223518336 HAS SOPS 223518336 HAS SOUS 144562989 HAS SOUPS 144562989 WITH SCORE 1.44786507336E8
AT ITER 9644 NEW BEST:: SOT 830803229 SOS 223498698 HAS SOPS 223498698 HAS SOUS 144562989 HAS SOUPS 144562989 WITH SCORE 1.44786487698E8
AT ITER 9666 NEW BEST:: SOT 830796771 SOS 223489011 HAS SOPS 223489011 HAS SOUS 144562989 HAS SOUPS 144562989 WITH SCORE 1.44786478011E8
AT ITER 9671 NEW BEST:: SOT 830786895 SOS 223474740 HAS SOPS 223474740 HAS SOUS 144556388 HAS SOUPS 144556388 WITH SCORE 1.4477986274E8
AT ITER 9686 NEW BEST:: SOT 830775453 SOS 223459482 HAS SOPS 223459482 HAS SOUS 144552568 HAS SOUPS 144552568 WITH SCORE 1.44776027482E8
AT ITER 9705 NEW BEST:: SOT 830769311 SOS 223450268 HAS SOPS 223450268 HAS SOUS 144552565 HAS SOUPS 144552565 WITH SCORE 1.44776015268E8
AT ITER 9730 NEW BEST:: SOT 830759001 SOS 223434802 HAS SOPS 223434802 HAS SOUS 144552562 HAS SOUPS 144552562 WITH SCORE 1.44775996802E8
AT ITER 9737 NEW BEST:: SOT 830743218 SOS 223405702 HAS SOPS 223405702 HAS SOUS 144535690 HAS SOUPS 144535690 WITH SCORE 1.44759095702E8
AT ITER 9738 NEW BEST:: SOT 830728428 SOS 223383516 HAS SOPS 223383516 HAS SOUS 144535687 HAS SOUPS 144535687 WITH SCORE 1.44759070516E8
AT ITER 9739 NEW BEST:: SOT 830717812 SOS 223362284 HAS SOPS 223362284 HAS SOUS 144519763 HAS SOUPS 144519763 WITH SCORE 1.44743125284E8
AT ITER 9754 NEW BEST:: SOT 830716690 SOS 223360600 HAS SOPS 223360600 HAS SOUS 144519760 HAS SOUPS 144519760 WITH SCORE 1.447431206E8
AT ITER 9759 NEW BEST:: SOT 830700360 SOS 223332114 HAS SOPS 223332114 HAS SOUS 144507787 HAS SOUPS 144507787 WITH SCORE 1.44731119114E8
AT ITER 9765 NEW BEST:: SOT 830700999 SOS 223329780 HAS SOPS 223329780 HAS SOUS 144497273 HAS SOUPS 144497273 WITH SCORE 1.4472060278E8
AT ITER 9766 NEW BEST:: SOT 830699737 SOS 223328248 HAS SOPS 223328248 HAS SOUS 144496955 HAS SOUPS 144496955 WITH SCORE 1.44720283248E8
AT ITER 9779 NEW BEST:: SOT 830688819 SOS 223317344 HAS SOPS 223317344 HAS SOUS 144496965 HAS SOUPS 144496965 WITH SCORE 1.44720282344E8
AT ITER 9788 NEW BEST:: SOT 830676667 SOS 223293040 HAS SOPS 223293040 HAS SOUS 144478737 HAS SOUPS 144478737 WITH SCORE 1.4470203004E8
AT ITER 9801 NEW BEST:: SOT 830661191 SOS 223269826 HAS SOPS 223269826 HAS SOUS 144478737 HAS SOUPS 144478737 WITH SCORE 1.44702006826E8
AT ITER 9802 NEW BEST:: SOT 830650214 SOS 223258671 HAS SOPS 223258671 HAS SOUS 144478557 HAS SOUPS 144478557 WITH SCORE 1.44701815671E8
AT ITER 9803 NEW BEST:: SOT 830649249 SOS 223258429 HAS SOPS 223258429 HAS SOUS 144478557 HAS SOUPS 144478557 WITH SCORE 1.44701815429E8
AT ITER 9815 NEW BEST:: SOT 830636806 SOS 223240403 HAS SOPS 223240403 HAS SOUS 144476535 HAS SOUPS 144476535 WITH SCORE 1.44699775403E8
AT ITER 9861 NEW BEST:: SOT 830620742 SOS 223216307 HAS SOPS 223216307 HAS SOUS 144476535 HAS SOUPS 144476535 WITH SCORE 1.44699751307E8
AT ITER 9869 NEW BEST:: SOT 830611909 SOS 223206217 HAS SOPS 223206217 HAS SOUS 144475274 HAS SOUPS 144475274 WITH SCORE 1.44698480217E8
AT ITER 9870 NEW BEST:: SOT 830608247 SOS 223200723 HAS SOPS 223200723 HAS SOUS 144475271 HAS SOUPS 144475271 WITH SCORE 1.44698471723E8
AT ITER 9884 NEW BEST:: SOT 830596706 SOS 223185335 HAS SOPS 223185335 HAS SOUS 144471424 HAS SOUPS 144471424 WITH SCORE 1.44694609335E8
AT ITER 9890 NEW BEST:: SOT 830582058 SOS 223156372 HAS SOPS 223156372 HAS SOUS 144450451 HAS SOUPS 144450451 WITH SCORE 1.44673607372E8
AT ITER 9892 NEW BEST:: SOT 830571956 SOS 223141216 HAS SOPS 223141216 HAS SOUS 144450442 HAS SOUPS 144450442 WITH SCORE 1.44673583216E8
AT ITER 9893 NEW BEST:: SOT 830563308 SOS 223128243 HAS SOPS 223128243 HAS SOUS 144450439 HAS SOUPS 144450439 WITH SCORE 1.44673567243E8
AT ITER 9902 NEW BEST:: SOT 830557520 SOS 223119561 HAS SOPS 223119561 HAS SOUS 144450439 HAS SOUPS 144450439 WITH SCORE 1.44673558561E8
AT ITER 9909 NEW BEST:: SOT 830551613 SOS 223111685 HAS SOPS 223111685 HAS SOUS 144448470 HAS SOUPS 144448470 WITH SCORE 1.44671581685E8
AT ITER 9911 NEW BEST:: SOT 830549595 SOS 223108658 HAS SOPS 223108658 HAS SOUS 144448470 HAS SOUPS 144448470 WITH SCORE 1.44671578658E8
AT ITER 9913 NEW BEST:: SOT 830540373 SOS 223094824 HAS SOPS 223094824 HAS SOUS 144448467 HAS SOUPS 144448467 WITH SCORE 1.44671561824E8
AT ITER 9923 NEW BEST:: SOT 830531019 SOS 223082352 HAS SOPS 223082352 HAS SOUS 144445349 HAS SOUPS 144445349 WITH SCORE 1.44668431352E8
AT ITER 9928 NEW BEST:: SOT 830525225 SOS 223075476 HAS SOPS 223075476 HAS SOUS 144444270 HAS SOUPS 144444270 WITH SCORE 1.44667345476E8
AT ITER 9936 NEW BEST:: SOT 830520883 SOS 223068963 HAS SOPS 223068963 HAS SOUS 144444270 HAS SOUPS 144444270 WITH SCORE 1.44667338963E8
AT ITER 9937 NEW BEST:: SOT 830509396 SOS 223052267 HAS SOPS 223052267 HAS SOUS 144430869 HAS SOUPS 144430869 WITH SCORE 1.44653921267E8
AT ITER 9940 NEW BEST:: SOT 830493498 SOS 223024895 HAS SOPS 223024895 HAS SOUS 144420294 HAS SOUPS 144420294 WITH SCORE 1.44643318895E8
AT ITER 9953 NEW BEST:: SOT 830477618 SOS 223001074 HAS SOPS 223001074 HAS SOUS 144420291 HAS SOUPS 144420291 WITH SCORE 1.44643292074E8
AT ITER 9958 NEW BEST:: SOT 830476716 SOS 222999721 HAS SOPS 222999721 HAS SOUS 144420291 HAS SOUPS 144420291 WITH SCORE 1.44643290721E8
AT ITER 9962 NEW BEST:: SOT 830468935 SOS 222991588 HAS SOPS 222991588 HAS SOUS 144419933 HAS SOUPS 144419933 WITH SCORE 1.44642924588E8
AT ITER 9964 NEW BEST:: SOT 830468935 SOS 222991587 HAS SOPS 222991587 HAS SOUS 144419930 HAS SOUPS 144419930 WITH SCORE 1.44642921587E8

BK_STOP 1679328202348

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

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

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="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is 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 4"
echo " Run identifier is r491-tall-167912711601256"
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 ;