fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r107-tall-167814484400616
Last Updated
May 14, 2023

About the Execution of Smart+red for DLCflexbar-PT-8b

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4598.623 3600000.00 3691023.00 8733.00 [undef] Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r107-tall-167814484400616.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DLCflexbar-PT-8b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484400616
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 7.6K Feb 25 14:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 25 14:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 14:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 14:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.1K Feb 25 15:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 15:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 25 14:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 25 14:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 20M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678403310105

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCflexbar-PT-8b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 23:08:31] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 23:08:31] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 23:08:32] [INFO ] Load time of PNML (sax parser for PT used): 1184 ms
[2023-03-09 23:08:34] [INFO ] Transformed 47560 places.
[2023-03-09 23:08:34] [INFO ] Transformed 76160 transitions.
[2023-03-09 23:08:34] [INFO ] Found NUPN structural information;
[2023-03-09 23:08:37] [INFO ] Parsed PT model containing 47560 places and 76160 transitions and 216499 arcs in 6205 ms.
[2023-03-09 23:08:38] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 47560 places, 76160 transitions and 216499 arcs took 254 ms.
Total runtime 6495 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 8b
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: 47560 places, 76160 transitions, 216499 arcs.
AT ITER 0 NEW BEST:: SOT -1837963823 SOS 584606968 HAS SOPS 584606968 HAS SOUS 326578184 HAS SOUPS 326578184 WITH SCORE 3.27162790968E8
AT ITER 25 NEW BEST:: SOT -1837969202 SOS 584644611 HAS SOPS 584644611 HAS SOUS 326567425 HAS SOUPS 326567425 WITH SCORE 3.27152069611E8
AT ITER 44 NEW BEST:: SOT -1837970787 SOS 584641441 HAS SOPS 584641441 HAS SOUS 326564255 HAS SOUPS 326564255 WITH SCORE 3.27148896441E8
AT ITER 59 NEW BEST:: SOT -1837970787 SOS 584627353 HAS SOPS 584627353 HAS SOUS 326564255 HAS SOUPS 326564255 WITH SCORE 3.27148882353E8
AT ITER 114 NEW BEST:: SOT -1837972886 SOS 584631543 HAS SOPS 584631543 HAS SOUS 326562154 HAS SOUPS 326562154 WITH SCORE 3.27146785543E8
AT ITER 133 NEW BEST:: SOT -1837972886 SOS 584653281 HAS SOPS 584653281 HAS SOUS 326557492 HAS SOUPS 326557492 WITH SCORE 3.27142145281E8
AT ITER 137 NEW BEST:: SOT -1837972886 SOS 584640300 HAS SOPS 584640300 HAS SOUS 326557492 HAS SOUPS 326557492 WITH SCORE 3.271421323E8
AT ITER 153 NEW BEST:: SOT -1837970654 SOS 584639294 HAS SOPS 584639294 HAS SOUS 326556486 HAS SOUPS 326556486 WITH SCORE 3.27141125294E8
AT ITER 164 NEW BEST:: SOT -1837971504 SOS 584637594 HAS SOPS 584637594 HAS SOUS 326555635 HAS SOUPS 326555635 WITH SCORE 3.27140272594E8
AT ITER 168 NEW BEST:: SOT -1837974616 SOS 584641162 HAS SOPS 584641162 HAS SOUS 326554901 HAS SOUPS 326554901 WITH SCORE 3.27139542162E8
AT ITER 196 NEW BEST:: SOT -1837971355 SOS 584685630 HAS SOPS 584685630 HAS SOUS 326548772 HAS SOUPS 326548772 WITH SCORE 3.2713345763E8
AT ITER 209 NEW BEST:: SOT -1837979937 SOS 584678239 HAS SOPS 584678239 HAS SOUS 326541381 HAS SOUPS 326541381 WITH SCORE 3.27126059239E8
AT ITER 221 NEW BEST:: SOT -1837979937 SOS 584696262 HAS SOPS 584696262 HAS SOUS 326532367 HAS SOUPS 326532367 WITH SCORE 3.27117063262E8
AT ITER 223 NEW BEST:: SOT -1837982607 SOS 584690922 HAS SOPS 584690922 HAS SOUS 326527027 HAS SOUPS 326527027 WITH SCORE 3.27111717922E8
AT ITER 232 NEW BEST:: SOT -1837989633 SOS 584712426 HAS SOPS 584712426 HAS SOUS 326522413 HAS SOUPS 326522413 WITH SCORE 3.27107125426E8
AT ITER 234 NEW BEST:: SOT -1837999366 SOS 584702908 HAS SOPS 584702908 HAS SOUS 326512680 HAS SOUPS 326512680 WITH SCORE 3.27097382908E8
AT ITER 236 NEW BEST:: SOT -1838000713 SOS 584700214 HAS SOPS 584700214 HAS SOUS 326509986 HAS SOUPS 326509986 WITH SCORE 3.27094686214E8
AT ITER 251 NEW BEST:: SOT -1838000713 SOS 584688646 HAS SOPS 584688646 HAS SOUS 326509986 HAS SOUPS 326509986 WITH SCORE 3.27094674646E8
AT ITER 283 NEW BEST:: SOT -1838004882 SOS 584688642 HAS SOPS 584688642 HAS SOUS 326509985 HAS SOUPS 326509985 WITH SCORE 3.27094673642E8
AT ITER 354 NEW BEST:: SOT -1838015199 SOS 584678321 HAS SOPS 584678321 HAS SOUS 326499667 HAS SOUPS 326499667 WITH SCORE 3.27084345321E8
AT ITER 366 NEW BEST:: SOT -1838015199 SOS 584661446 HAS SOPS 584661446 HAS SOUS 326499667 HAS SOUPS 326499667 WITH SCORE 3.27084328446E8
AT ITER 370 NEW BEST:: SOT -1838015199 SOS 584661446 HAS SOPS 584661446 HAS SOUS 326499666 HAS SOUPS 326499666 WITH SCORE 3.27084327446E8
AT ITER 385 NEW BEST:: SOT -1838015199 SOS 584654652 HAS SOPS 584654652 HAS SOUS 326496269 HAS SOUPS 326496269 WITH SCORE 3.27080923652E8
AT ITER 396 NEW BEST:: SOT -1838015199 SOS 584652614 HAS SOPS 584652614 HAS SOUS 326495250 HAS SOUPS 326495250 WITH SCORE 3.27079902614E8
AT ITER 416 NEW BEST:: SOT -1838015199 SOS 584652614 HAS SOPS 584652614 HAS SOUS 326495249 HAS SOUPS 326495249 WITH SCORE 3.27079901614E8
AT ITER 423 NEW BEST:: SOT -1838020524 SOS 584641964 HAS SOPS 584641964 HAS SOUS 326484599 HAS SOUPS 326484599 WITH SCORE 3.27069240964E8
AT ITER 427 NEW BEST:: SOT -1838020524 SOS 584641470 HAS SOPS 584641470 HAS SOUS 326484599 HAS SOUPS 326484599 WITH SCORE 3.2706924047E8
AT ITER 446 NEW BEST:: SOT -1838020524 SOS 584641470 HAS SOPS 584641470 HAS SOUS 326473383 HAS SOUPS 326473383 WITH SCORE 3.2705802447E8
AT ITER 454 NEW BEST:: SOT -1838021567 SOS 584640427 HAS SOPS 584640427 HAS SOUS 326473383 HAS SOUPS 326473383 WITH SCORE 3.27058023427E8
AT ITER 477 NEW BEST:: SOT -1838045407 SOS 584602395 HAS SOPS 584602395 HAS SOUS 326443253 HAS SOUPS 326443253 WITH SCORE 3.27027855395E8
AT ITER 488 NEW BEST:: SOT -1838045407 SOS 584601147 HAS SOPS 584601147 HAS SOUS 326443253 HAS SOUPS 326443253 WITH SCORE 3.27027854147E8
AT ITER 521 NEW BEST:: SOT -1838051576 SOS 584601143 HAS SOPS 584601143 HAS SOUS 326437083 HAS SOUPS 326437083 WITH SCORE 3.27021684143E8
AT ITER 533 NEW BEST:: SOT -1838051576 SOS 584600136 HAS SOPS 584600136 HAS SOUS 326437083 HAS SOUPS 326437083 WITH SCORE 3.27021683136E8
AT ITER 558 NEW BEST:: SOT -1838052996 SOS 584597296 HAS SOPS 584597296 HAS SOUS 326435663 HAS SOUPS 326435663 WITH SCORE 3.27020260296E8
AT ITER 565 NEW BEST:: SOT -1838052996 SOS 584592211 HAS SOPS 584592211 HAS SOUS 326433968 HAS SOUPS 326433968 WITH SCORE 3.27018560211E8
AT ITER 591 NEW BEST:: SOT -1838045661 SOS 584606881 HAS SOPS 584606881 HAS SOUS 326432560 HAS SOUPS 326432560 WITH SCORE 3.27017166881E8
AT ITER 672 NEW BEST:: SOT -1838046470 SOS 584605259 HAS SOPS 584605259 HAS SOUS 326430941 HAS SOUPS 326430941 WITH SCORE 3.27015546259E8
AT ITER 698 NEW BEST:: SOT -1838050722 SOS 584609511 HAS SOPS 584609511 HAS SOUS 326428268 HAS SOUPS 326428268 WITH SCORE 3.27012877511E8
AT ITER 709 NEW BEST:: SOT -1838059333 SOS 584592289 HAS SOPS 584592289 HAS SOUS 326411046 HAS SOUPS 326411046 WITH SCORE 3.26995638289E8
AT ITER 718 NEW BEST:: SOT -1838059334 SOS 584592287 HAS SOPS 584592287 HAS SOUS 326411044 HAS SOUPS 326411044 WITH SCORE 3.26995636287E8
AT ITER 721 NEW BEST:: SOT -1838064982 SOS 584547099 HAS SOPS 584547099 HAS SOUS 326399747 HAS SOUPS 326399747 WITH SCORE 3.26984294099E8
AT ITER 735 NEW BEST:: SOT -1838065408 SOS 584546247 HAS SOPS 584546247 HAS SOUS 326398895 HAS SOUPS 326398895 WITH SCORE 3.26983441247E8
AT ITER 763 NEW BEST:: SOT -1838080796 SOS 584530859 HAS SOPS 584530859 HAS SOUS 326383507 HAS SOUPS 326383507 WITH SCORE 3.26968037859E8
AT ITER 786 NEW BEST:: SOT -1838080796 SOS 584527415 HAS SOPS 584527415 HAS SOUS 326382359 HAS SOUPS 326382359 WITH SCORE 3.26966886415E8
AT ITER 806 NEW BEST:: SOT -1838083908 SOS 584521191 HAS SOPS 584521191 HAS SOUS 326379247 HAS SOUPS 326379247 WITH SCORE 3.26963768191E8
AT ITER 813 NEW BEST:: SOT -1838085364 SOS 584519735 HAS SOPS 584519735 HAS SOUS 326377791 HAS SOUPS 326377791 WITH SCORE 3.26962310735E8
AT ITER 834 NEW BEST:: SOT -1838085364 SOS 584517523 HAS SOPS 584517523 HAS SOUS 326376685 HAS SOUPS 326376685 WITH SCORE 3.26961202523E8
AT ITER 880 NEW BEST:: SOT -1838088789 SOS 584514098 HAS SOPS 584514098 HAS SOUS 326373260 HAS SOUPS 326373260 WITH SCORE 3.26957774098E8
AT ITER 896 NEW BEST:: SOT -1838097436 SOS 584505913 HAS SOPS 584505913 HAS SOUS 326365075 HAS SOUPS 326365075 WITH SCORE 3.26949580913E8
AT ITER 925 NEW BEST:: SOT -1838097436 SOS 584488513 HAS SOPS 584488513 HAS SOUS 326365075 HAS SOUPS 326365075 WITH SCORE 3.26949563513E8
AT ITER 930 NEW BEST:: SOT -1838108300 SOS 584477645 HAS SOPS 584477645 HAS SOUS 326354210 HAS SOUPS 326354210 WITH SCORE 3.26938687645E8
AT ITER 946 NEW BEST:: SOT -1838108713 SOS 584476819 HAS SOPS 584476819 HAS SOUS 326353384 HAS SOUPS 326353384 WITH SCORE 3.26937860819E8
AT ITER 975 NEW BEST:: SOT -1838111347 SOS 584471551 HAS SOPS 584471551 HAS SOUS 326350750 HAS SOUPS 326350750 WITH SCORE 3.26935221551E8
AT ITER 988 NEW BEST:: SOT -1838117321 SOS 584459603 HAS SOPS 584459603 HAS SOUS 326338802 HAS SOUPS 326338802 WITH SCORE 3.26923261603E8
AT ITER 992 NEW BEST:: SOT -1838117321 SOS 584452205 HAS SOPS 584452205 HAS SOUS 326336336 HAS SOUPS 326336336 WITH SCORE 3.26920788205E8
AT ITER 994 NEW BEST:: SOT -1838117547 SOS 584451753 HAS SOPS 584451753 HAS SOUS 326335884 HAS SOUPS 326335884 WITH SCORE 3.26920335753E8
AT ITER 1060 NEW BEST:: SOT -1838126047 SOS 584511253 HAS SOPS 584511253 HAS SOUS 326327384 HAS SOUPS 326327384 WITH SCORE 3.26911895253E8
AT ITER 1067 NEW BEST:: SOT -1838126367 SOS 584511569 HAS SOPS 584511569 HAS SOUS 326327383 HAS SOUPS 326327383 WITH SCORE 3.26911894569E8
AT ITER 1098 NEW BEST:: SOT -1838129176 SOS 584521131 HAS SOPS 584521131 HAS SOUS 326324574 HAS SOUPS 326324574 WITH SCORE 3.26909095131E8
AT ITER 1099 NEW BEST:: SOT -1838129176 SOS 584520941 HAS SOPS 584520941 HAS SOUS 326324384 HAS SOUPS 326324384 WITH SCORE 3.26908904941E8
AT ITER 1233 NEW BEST:: SOT -1838129531 SOS 584520231 HAS SOPS 584520231 HAS SOUS 326320600 HAS SOUPS 326320600 WITH SCORE 3.26905120231E8
AT ITER 1261 NEW BEST:: SOT -1838137896 SOS 584534992 HAS SOPS 584534992 HAS SOUS 326309306 HAS SOUPS 326309306 WITH SCORE 3.26893840992E8
AT ITER 1284 NEW BEST:: SOT -1838140833 SOS 584529118 HAS SOPS 584529118 HAS SOUS 326303432 HAS SOUPS 326303432 WITH SCORE 3.26887961118E8
AT ITER 1295 NEW BEST:: SOT -1838150772 SOS 584519175 HAS SOPS 584519175 HAS SOUS 326293492 HAS SOUPS 326293492 WITH SCORE 3.26878011175E8
AT ITER 1309 NEW BEST:: SOT -1838150772 SOS 584503830 HAS SOPS 584503830 HAS SOUS 326293492 HAS SOUPS 326293492 WITH SCORE 3.2687799583E8
AT ITER 1361 NEW BEST:: SOT -1838144965 SOS 584488729 HAS SOPS 584488729 HAS SOUS 326293297 HAS SOUPS 326293297 WITH SCORE 3.26877785729E8
AT ITER 1372 NEW BEST:: SOT -1838144965 SOS 584471689 HAS SOPS 584471689 HAS SOUS 326293297 HAS SOUPS 326293297 WITH SCORE 3.26877768689E8
AT ITER 1374 NEW BEST:: SOT -1838149889 SOS 584489877 HAS SOPS 584489877 HAS SOUS 326290914 HAS SOUPS 326290914 WITH SCORE 3.26875403877E8
AT ITER 1382 NEW BEST:: SOT -1838154238 SOS 584520320 HAS SOPS 584520320 HAS SOUS 326286565 HAS SOUPS 326286565 WITH SCORE 3.2687108532E8
AT ITER 1393 NEW BEST:: SOT -1838158339 SOS 584524421 HAS SOPS 584524421 HAS SOUS 326282464 HAS SOUPS 326282464 WITH SCORE 3.26866988421E8
AT ITER 1394 NEW BEST:: SOT -1838162074 SOS 584531883 HAS SOPS 584531883 HAS SOUS 326278727 HAS SOUPS 326278727 WITH SCORE 3.26863258883E8
AT ITER 1403 NEW BEST:: SOT -1838168203 SOS 584519626 HAS SOPS 584519626 HAS SOUS 326266470 HAS SOUPS 326266470 WITH SCORE 3.26850989626E8
AT ITER 1415 NEW BEST:: SOT -1838176565 SOS 584519616 HAS SOPS 584519616 HAS SOUS 326262443 HAS SOUPS 326262443 WITH SCORE 3.26846962616E8
AT ITER 1419 NEW BEST:: SOT -1838201234 SOS 584527350 HAS SOPS 584527350 HAS SOUS 326252451 HAS SOUPS 326252451 WITH SCORE 3.2683697835E8
AT ITER 1425 NEW BEST:: SOT -1838213224 SOS 584536291 HAS SOPS 584536291 HAS SOUS 326228470 HAS SOUPS 326228470 WITH SCORE 3.26813006291E8
AT ITER 1449 NEW BEST:: SOT -1838221845 SOS 584530464 HAS SOPS 584530464 HAS SOUS 326222643 HAS SOUPS 326222643 WITH SCORE 3.26807173464E8
AT ITER 1460 NEW BEST:: SOT -1838223470 SOS 584527214 HAS SOPS 584527214 HAS SOUS 326219393 HAS SOUPS 326219393 WITH SCORE 3.26803920214E8
AT ITER 1465 NEW BEST:: SOT -1838223470 SOS 584514944 HAS SOPS 584514944 HAS SOUS 326219393 HAS SOUPS 326219393 WITH SCORE 3.26803907944E8
AT ITER 1472 NEW BEST:: SOT -1838223471 SOS 584510282 HAS SOPS 584510282 HAS SOUS 326214731 HAS SOUPS 326214731 WITH SCORE 3.26799241282E8
AT ITER 1512 NEW BEST:: SOT -1838224369 SOS 584508486 HAS SOPS 584508486 HAS SOUS 326212935 HAS SOUPS 326212935 WITH SCORE 3.26797443486E8
AT ITER 1523 NEW BEST:: SOT -1838230143 SOS 584496938 HAS SOPS 584496938 HAS SOUS 326201387 HAS SOUPS 326201387 WITH SCORE 3.26785883938E8
AT ITER 1540 NEW BEST:: SOT -1838243486 SOS 584487500 HAS SOPS 584487500 HAS SOUS 326199234 HAS SOUPS 326199234 WITH SCORE 3.267837215E8
AT ITER 1544 NEW BEST:: SOT -1838247291 SOS 584495102 HAS SOPS 584495102 HAS SOUS 326195427 HAS SOUPS 326195427 WITH SCORE 3.26779922102E8
AT ITER 1592 NEW BEST:: SOT -1838249533 SOS 584492860 HAS SOPS 584492860 HAS SOUS 326195427 HAS SOUPS 326195427 WITH SCORE 3.2677991986E8
AT ITER 1630 NEW BEST:: SOT -1838249533 SOS 584488420 HAS SOPS 584488420 HAS SOUS 326193947 HAS SOUPS 326193947 WITH SCORE 3.2677843542E8
AT ITER 1636 NEW BEST:: SOT -1838250235 SOS 584488069 HAS SOPS 584488069 HAS SOUS 326193596 HAS SOUPS 326193596 WITH SCORE 3.26778084069E8
AT ITER 1705 NEW BEST:: SOT -1838250236 SOS 584484152 HAS SOPS 584484152 HAS SOUS 326189679 HAS SOUPS 326189679 WITH SCORE 3.26774163152E8
AT ITER 1706 NEW BEST:: SOT -1838251671 SOS 584481282 HAS SOPS 584481282 HAS SOUS 326186809 HAS SOUPS 326186809 WITH SCORE 3.26771290282E8
AT ITER 1744 NEW BEST:: SOT -1838260042 SOS 584474560 HAS SOPS 584474560 HAS SOUS 326180090 HAS SOUPS 326180090 WITH SCORE 3.2676456456E8
AT ITER 1774 NEW BEST:: SOT -1838260042 SOS 584464630 HAS SOPS 584464630 HAS SOUS 326176780 HAS SOUPS 326176780 WITH SCORE 3.2676124463E8
AT ITER 1803 NEW BEST:: SOT -1838272239 SOS 584454901 HAS SOPS 584454901 HAS SOUS 326165832 HAS SOUPS 326165832 WITH SCORE 3.26750286901E8
AT ITER 1842 NEW BEST:: SOT -1838282872 SOS 584446581 HAS SOPS 584446581 HAS SOUS 326157512 HAS SOUPS 326157512 WITH SCORE 3.26741958581E8
AT ITER 1853 NEW BEST:: SOT -1838291452 SOS 584439618 HAS SOPS 584439618 HAS SOUS 326150552 HAS SOUPS 326150552 WITH SCORE 3.26734991618E8
AT ITER 1872 NEW BEST:: SOT -1838292720 SOS 584438350 HAS SOPS 584438350 HAS SOUS 326149284 HAS SOUPS 326149284 WITH SCORE 3.2673372235E8
AT ITER 1901 NEW BEST:: SOT -1838292720 SOS 584440114 HAS SOPS 584440114 HAS SOUS 326149282 HAS SOUPS 326149282 WITH SCORE 3.26733722114E8
AT ITER 1906 NEW BEST:: SOT -1838292720 SOS 584429287 HAS SOPS 584429287 HAS SOUS 326145673 HAS SOUPS 326145673 WITH SCORE 3.26730102287E8
AT ITER 1934 NEW BEST:: SOT -1838296017 SOS 584422693 HAS SOPS 584422693 HAS SOUS 326139079 HAS SOUPS 326139079 WITH SCORE 3.26723501693E8
AT ITER 1945 NEW BEST:: SOT -1838304228 SOS 584430900 HAS SOPS 584430900 HAS SOUS 326122656 HAS SOUPS 326122656 WITH SCORE 3.267070869E8
AT ITER 1968 NEW BEST:: SOT -1838304228 SOS 584430900 HAS SOPS 584430900 HAS SOUS 326122655 HAS SOUPS 326122655 WITH SCORE 3.267070859E8
AT ITER 1975 NEW BEST:: SOT -1838308084 SOS 584423914 HAS SOPS 584423914 HAS SOUS 326115669 HAS SOUPS 326115669 WITH SCORE 3.26700092914E8
AT ITER 1989 NEW BEST:: SOT -1838311333 SOS 584420982 HAS SOPS 584420982 HAS SOUS 326109171 HAS SOUPS 326109171 WITH SCORE 3.26693591982E8
AT ITER 2016 NEW BEST:: SOT -1838318717 SOS 584413598 HAS SOPS 584413598 HAS SOUS 326101787 HAS SOUPS 326101787 WITH SCORE 3.26686200598E8
AT ITER 2024 NEW BEST:: SOT -1838758851 SOS 589716263 HAS SOPS 589716263 HAS SOUS 325743008 HAS SOUPS 325743008 WITH SCORE 3.26332724263E8
AT ITER 2033 NEW BEST:: SOT -1838769224 SOS 589705886 HAS SOPS 589705886 HAS SOUS 325732634 HAS SOUPS 325732634 WITH SCORE 3.26322339886E8
AT ITER 2039 NEW BEST:: SOT -1838769224 SOS 589698053 HAS SOPS 589698053 HAS SOUS 325730023 HAS SOUPS 325730023 WITH SCORE 3.26319721053E8
AT ITER 2061 NEW BEST:: SOT -1838769224 SOS 589722952 HAS SOPS 589722952 HAS SOUS 325721721 HAS SOUPS 325721721 WITH SCORE 3.26311443952E8
AT ITER 2064 NEW BEST:: SOT -1838769341 SOS 589722718 HAS SOPS 589722718 HAS SOUS 325721487 HAS SOUPS 325721487 WITH SCORE 3.26311209718E8
AT ITER 2069 NEW BEST:: SOT -1838796917 SOS 589710372 HAS SOPS 589710372 HAS SOUS 325699728 HAS SOUPS 325699728 WITH SCORE 3.26289438372E8
AT ITER 2088 NEW BEST:: SOT -1838799589 SOS 589705024 HAS SOPS 589705024 HAS SOUS 325694383 HAS SOUPS 325694383 WITH SCORE 3.26284088024E8
AT ITER 2136 NEW BEST:: SOT -1838806676 SOS 589690850 HAS SOPS 589690850 HAS SOUS 325680209 HAS SOUPS 325680209 WITH SCORE 3.2626989985E8
AT ITER 2177 NEW BEST:: SOT -1838810886 SOS 589695060 HAS SOPS 589695060 HAS SOUS 325677502 HAS SOUPS 325677502 WITH SCORE 3.2626719706E8
AT ITER 2195 NEW BEST:: SOT -1838814105 SOS 589701490 HAS SOPS 589701490 HAS SOUS 325674281 HAS SOUPS 325674281 WITH SCORE 3.2626398249E8
AT ITER 2241 NEW BEST:: SOT -1838814105 SOS 589702198 HAS SOPS 589702198 HAS SOUS 325674280 HAS SOUPS 325674280 WITH SCORE 3.26263982198E8
AT ITER 2249 NEW BEST:: SOT -1838817793 SOS 589694823 HAS SOPS 589694823 HAS SOUS 325666905 HAS SOUPS 325666905 WITH SCORE 3.26256599823E8
AT ITER 2254 NEW BEST:: SOT -1838818534 SOS 589693341 HAS SOPS 589693341 HAS SOUS 325666164 HAS SOUPS 325666164 WITH SCORE 3.26255857341E8
AT ITER 2280 NEW BEST:: SOT -1838820377 SOS 589706232 HAS SOPS 589706232 HAS SOUS 325662477 HAS SOUPS 325662477 WITH SCORE 3.26252183232E8
AT ITER 2291 NEW BEST:: SOT -1838814111 SOS 589706230 HAS SOPS 589706230 HAS SOUS 325662476 HAS SOUPS 325662476 WITH SCORE 3.2625218223E8
AT ITER 2299 NEW BEST:: SOT -1838819905 SOS 589721042 HAS SOPS 589721042 HAS SOUS 325657821 HAS SOUPS 325657821 WITH SCORE 3.26247542042E8
AT ITER 2309 NEW BEST:: SOT -1838835017 SOS 589717101 HAS SOPS 589717101 HAS SOUS 325647114 HAS SOUPS 325647114 WITH SCORE 3.26236831101E8
AT ITER 2310 NEW BEST:: SOT -1838835017 SOS 589698258 HAS SOPS 589698258 HAS SOUS 325647114 HAS SOUPS 325647114 WITH SCORE 3.26236812258E8
AT ITER 2325 NEW BEST:: SOT -1838835017 SOS 589691764 HAS SOPS 589691764 HAS SOUS 325643867 HAS SOUPS 325643867 WITH SCORE 3.26233558764E8
AT ITER 2326 NEW BEST:: SOT -1838843887 SOS 589684628 HAS SOPS 589684628 HAS SOUS 325636731 HAS SOUPS 325636731 WITH SCORE 3.26226415628E8
AT ITER 2400 NEW BEST:: SOT -1838844805 SOS 589682792 HAS SOPS 589682792 HAS SOUS 325629531 HAS SOUPS 325629531 WITH SCORE 3.26219213792E8
AT ITER 2402 NEW BEST:: SOT -1838844806 SOS 589682790 HAS SOPS 589682790 HAS SOUS 325629529 HAS SOUPS 325629529 WITH SCORE 3.2621921179E8
AT ITER 2446 NEW BEST:: SOT -1838844806 SOS 589678839 HAS SOPS 589678839 HAS SOUS 325628809 HAS SOUPS 325628809 WITH SCORE 3.26218487839E8
AT ITER 2451 NEW BEST:: SOT -1838850933 SOS 589684963 HAS SOPS 589684963 HAS SOUS 325622681 HAS SOUPS 325622681 WITH SCORE 3.26212365963E8
AT ITER 2452 NEW BEST:: SOT -1838857545 SOS 589691575 HAS SOPS 589691575 HAS SOUS 325620710 HAS SOUPS 325620710 WITH SCORE 3.26210401575E8
AT ITER 2487 NEW BEST:: SOT -1838857546 SOS 589691573 HAS SOPS 589691573 HAS SOUS 325620708 HAS SOUPS 325620708 WITH SCORE 3.26210399573E8
AT ITER 2551 NEW BEST:: SOT -1838857546 SOS 589691573 HAS SOPS 589691573 HAS SOUS 325619516 HAS SOUPS 325619516 WITH SCORE 3.26209207573E8
AT ITER 2558 NEW BEST:: SOT -1838858262 SOS 589691215 HAS SOPS 589691215 HAS SOUS 325619158 HAS SOUPS 325619158 WITH SCORE 3.26208849215E8
AT ITER 2571 NEW BEST:: SOT -1838858980 SOS 589689779 HAS SOPS 589689779 HAS SOUS 325617722 HAS SOUPS 325617722 WITH SCORE 3.26207411779E8
AT ITER 2580 NEW BEST:: SOT -1838862691 SOS 589697193 HAS SOPS 589697193 HAS SOUS 325614009 HAS SOUPS 325614009 WITH SCORE 3.26203706193E8
AT ITER 2586 NEW BEST:: SOT -1838864218 SOS 589698720 HAS SOPS 589698720 HAS SOUS 325612482 HAS SOUPS 325612482 WITH SCORE 3.2620218072E8
AT ITER 2622 NEW BEST:: SOT -1838871565 SOS 589684026 HAS SOPS 589684026 HAS SOUS 325597788 HAS SOUPS 325597788 WITH SCORE 3.26187472026E8
AT ITER 2645 NEW BEST:: SOT -1838878182 SOS 589681877 HAS SOPS 589681877 HAS SOUS 325595639 HAS SOUPS 325595639 WITH SCORE 3.26185320877E8
AT ITER 2649 NEW BEST:: SOT -1838878182 SOS 589679396 HAS SOPS 589679396 HAS SOUS 325594812 HAS SOUPS 325594812 WITH SCORE 3.26184491396E8
AT ITER 2665 NEW BEST:: SOT -1838892534 SOS 589665040 HAS SOPS 589665040 HAS SOUS 325580459 HAS SOUPS 325580459 WITH SCORE 3.2617012404E8
AT ITER 2683 NEW BEST:: SOT -1838892536 SOS 589665036 HAS SOPS 589665036 HAS SOUS 325580455 HAS SOUPS 325580455 WITH SCORE 3.26170120036E8
AT ITER 2702 NEW BEST:: SOT -1838892536 SOS 589657596 HAS SOPS 589657596 HAS SOUS 325577975 HAS SOUPS 325577975 WITH SCORE 3.26167632596E8
AT ITER 2709 NEW BEST:: SOT -1838905931 SOS 589630806 HAS SOPS 589630806 HAS SOUS 325551185 HAS SOUPS 325551185 WITH SCORE 3.26140815806E8
AT ITER 2720 NEW BEST:: SOT -1838905931 SOS 589630950 HAS SOPS 589630950 HAS SOUS 325551184 HAS SOUPS 325551184 WITH SCORE 3.2614081495E8
AT ITER 2761 NEW BEST:: SOT -1838910220 SOS 589622372 HAS SOPS 589622372 HAS SOUS 325542606 HAS SOUPS 325542606 WITH SCORE 3.26132228372E8
AT ITER 2767 NEW BEST:: SOT -1838915547 SOS 589627695 HAS SOPS 589627695 HAS SOUS 325537278 HAS SOUPS 325537278 WITH SCORE 3.26126905695E8
AT ITER 2774 NEW BEST:: SOT -1838917197 SOS 589624395 HAS SOPS 589624395 HAS SOUS 325533978 HAS SOUPS 325533978 WITH SCORE 3.26123602395E8
AT ITER 2780 NEW BEST:: SOT -1838917465 SOS 589623859 HAS SOPS 589623859 HAS SOUS 325528837 HAS SOUPS 325528837 WITH SCORE 3.26118460859E8
AT ITER 2866 NEW BEST:: SOT -1838917465 SOS 589609267 HAS SOPS 589609267 HAS SOUS 325528837 HAS SOUPS 325528837 WITH SCORE 3.26118446267E8
AT ITER 2876 NEW BEST:: SOT -1838918812 SOS 589606573 HAS SOPS 589606573 HAS SOUS 325526143 HAS SOUPS 325526143 WITH SCORE 3.26115749573E8
AT ITER 2891 NEW BEST:: SOT -1838918814 SOS 589606569 HAS SOPS 589606569 HAS SOUS 325526139 HAS SOUPS 325526139 WITH SCORE 3.26115745569E8
AT ITER 3019 NEW BEST:: SOT -1838926432 SOS 589607389 HAS SOPS 589607389 HAS SOUS 325522755 HAS SOUPS 325522755 WITH SCORE 3.26112362389E8
AT ITER 3028 NEW BEST:: SOT -1838930208 SOS 589599837 HAS SOPS 589599837 HAS SOUS 325518979 HAS SOUPS 325518979 WITH SCORE 3.26108578837E8
AT ITER 3052 NEW BEST:: SOT -1838930208 SOS 589585254 HAS SOPS 589585254 HAS SOUS 325518978 HAS SOUPS 325518978 WITH SCORE 3.26108563254E8
AT ITER 3071 NEW BEST:: SOT -1838930839 SOS 589583992 HAS SOPS 589583992 HAS SOUS 325517716 HAS SOUPS 325517716 WITH SCORE 3.26107299992E8
AT ITER 3081 NEW BEST:: SOT -1838930839 SOS 589583992 HAS SOPS 589583992 HAS SOUS 325512495 HAS SOUPS 325512495 WITH SCORE 3.26102078992E8
AT ITER 3087 NEW BEST:: SOT -1838940457 SOS 589574505 HAS SOPS 589574505 HAS SOUS 325502877 HAS SOUPS 325502877 WITH SCORE 3.26092451505E8
AT ITER 3089 NEW BEST:: SOT -1838949811 SOS 589565147 HAS SOPS 589565147 HAS SOUS 325493522 HAS SOUPS 325493522 WITH SCORE 3.26083087147E8
AT ITER 3137 NEW BEST:: SOT -1838951815 SOS 589561139 HAS SOPS 589561139 HAS SOUS 325489514 HAS SOUPS 325489514 WITH SCORE 3.26079075139E8
AT ITER 3150 NEW BEST:: SOT -1838953914 SOS 589556941 HAS SOPS 589556941 HAS SOUS 325486380 HAS SOUPS 325486380 WITH SCORE 3.26075936941E8
AT ITER 3158 NEW BEST:: SOT -1838955846 SOS 589553077 HAS SOPS 589553077 HAS SOUS 325482516 HAS SOUPS 325482516 WITH SCORE 3.26072069077E8
AT ITER 3169 NEW BEST:: SOT -1838962797 SOS 589539175 HAS SOPS 589539175 HAS SOUS 325468614 HAS SOUPS 325468614 WITH SCORE 3.26058153175E8
AT ITER 3192 NEW BEST:: SOT -1838962797 SOS 589525705 HAS SOPS 589525705 HAS SOUS 325464124 HAS SOUPS 325464124 WITH SCORE 3.26053649705E8
AT ITER 3236 NEW BEST:: SOT -1838962797 SOS 589520599 HAS SOPS 589520599 HAS SOUS 325463423 HAS SOUPS 325463423 WITH SCORE 3.26052943599E8
AT ITER 3246 NEW BEST:: SOT -1838968307 SOS 589526102 HAS SOPS 589526102 HAS SOUS 325457911 HAS SOUPS 325457911 WITH SCORE 3.26047437102E8
AT ITER 3284 NEW BEST:: SOT -1838968307 SOS 589514288 HAS SOPS 589514288 HAS SOUS 325457910 HAS SOUPS 325457910 WITH SCORE 3.26047424288E8
AT ITER 3285 NEW BEST:: SOT -1838976451 SOS 589506144 HAS SOPS 589506144 HAS SOUS 325449766 HAS SOUPS 325449766 WITH SCORE 3.26039272144E8
AT ITER 3375 NEW BEST:: SOT -1838979141 SOS 589500760 HAS SOPS 589500760 HAS SOUS 325444385 HAS SOUPS 325444385 WITH SCORE 3.2603388576E8
AT ITER 3385 NEW BEST:: SOT -1838984850 SOS 589483633 HAS SOPS 589483633 HAS SOUS 325436818 HAS SOUPS 325436818 WITH SCORE 3.26026301633E8
AT ITER 3406 NEW BEST:: SOT -1838991692 SOS 589469949 HAS SOPS 589469949 HAS SOUS 325423134 HAS SOUPS 325423134 WITH SCORE 3.26012603949E8
AT ITER 3407 NEW BEST:: SOT -1839001939 SOS 589449455 HAS SOPS 589449455 HAS SOUS 325402640 HAS SOUPS 325402640 WITH SCORE 3.25992089455E8
AT ITER 3421 NEW BEST:: SOT -1839001939 SOS 589448332 HAS SOPS 589448332 HAS SOUS 325402640 HAS SOUPS 325402640 WITH SCORE 3.25992088332E8
AT ITER 3433 NEW BEST:: SOT -1839010923 SOS 589446384 HAS SOPS 589446384 HAS SOUS 325400692 HAS SOUPS 325400692 WITH SCORE 3.25990138384E8
AT ITER 3436 NEW BEST:: SOT -1839018842 SOS 589406789 HAS SOPS 589406789 HAS SOUS 325384854 HAS SOUPS 325384854 WITH SCORE 3.25974260789E8
AT ITER 3449 NEW BEST:: SOT -1839021640 SOS 589416361 HAS SOPS 589416361 HAS SOUS 325382056 HAS SOUPS 325382056 WITH SCORE 3.25971472361E8
AT ITER 3461 NEW BEST:: SOT -1839021810 SOS 589427994 HAS SOPS 589427994 HAS SOUS 325381715 HAS SOUPS 325381715 WITH SCORE 3.25971142994E8
AT ITER 3482 NEW BEST:: SOT -1839029495 SOS 589427984 HAS SOPS 589427984 HAS SOUS 325376774 HAS SOUPS 325376774 WITH SCORE 3.25966201984E8
AT ITER 3511 NEW BEST:: SOT -1839031547 SOS 589423880 HAS SOPS 589423880 HAS SOUS 325374722 HAS SOUPS 325374722 WITH SCORE 3.2596414588E8
AT ITER 3519 NEW BEST:: SOT -1839041831 SOS 589418738 HAS SOPS 589418738 HAS SOUS 325369580 HAS SOUPS 325369580 WITH SCORE 3.25958998738E8
AT ITER 3550 NEW BEST:: SOT -1839041831 SOS 589410140 HAS SOPS 589410140 HAS SOUS 325366714 HAS SOUPS 325366714 WITH SCORE 3.2595612414E8
AT ITER 3552 NEW BEST:: SOT -1839041832 SOS 589410138 HAS SOPS 589410138 HAS SOUS 325366712 HAS SOUPS 325366712 WITH SCORE 3.25956122138E8
AT ITER 3569 NEW BEST:: SOT -1839042245 SOS 589410137 HAS SOPS 589410137 HAS SOUS 325366711 HAS SOUPS 325366711 WITH SCORE 3.25956121137E8
AT ITER 3586 NEW BEST:: SOT -1839044331 SOS 589401793 HAS SOPS 589401793 HAS SOUS 325364625 HAS SOUPS 325364625 WITH SCORE 3.25954026793E8
AT ITER 3617 NEW BEST:: SOT -1839051962 SOS 589394162 HAS SOPS 589394162 HAS SOUS 325356994 HAS SOUPS 325356994 WITH SCORE 3.25946388162E8
AT ITER 3631 NEW BEST:: SOT -1839059101 SOS 589358467 HAS SOPS 589358467 HAS SOUS 325342716 HAS SOUPS 325342716 WITH SCORE 3.25932074467E8
AT ITER 3651 NEW BEST:: SOT -1839060442 SOS 589355785 HAS SOPS 589355785 HAS SOUS 325340034 HAS SOUPS 325340034 WITH SCORE 3.25929389785E8
AT ITER 3680 NEW BEST:: SOT -1839060442 SOS 589341667 HAS SOPS 589341667 HAS SOUS 325340034 HAS SOUPS 325340034 WITH SCORE 3.25929375667E8
AT ITER 3682 NEW BEST:: SOT -1839063226 SOS 589336099 HAS SOPS 589336099 HAS SOUS 325334466 HAS SOUPS 325334466 WITH SCORE 3.25923802099E8
AT ITER 3694 NEW BEST:: SOT -1839072299 SOS 589334828 HAS SOPS 589334828 HAS SOUS 325329309 HAS SOUPS 325329309 WITH SCORE 3.25918643828E8
AT ITER 3702 NEW BEST:: SOT -1839074525 SOS 589330376 HAS SOPS 589330376 HAS SOUS 325324837 HAS SOUPS 325324837 WITH SCORE 3.25914167376E8
AT ITER 3725 NEW BEST:: SOT -1839082193 SOS 589330366 HAS SOPS 589330366 HAS SOUS 325319850 HAS SOUPS 325319850 WITH SCORE 3.25909180366E8
AT ITER 3760 NEW BEST:: SOT -1839082193 SOS 589328798 HAS SOPS 589328798 HAS SOUS 325318282 HAS SOUPS 325318282 WITH SCORE 3.25907610798E8
AT ITER 3783 NEW BEST:: SOT -1839082193 SOS 589328798 HAS SOPS 589328798 HAS SOUS 325301357 HAS SOUPS 325301357 WITH SCORE 3.25890685798E8
AT ITER 3790 NEW BEST:: SOT -1839084409 SOS 589357988 HAS SOPS 589357988 HAS SOUS 325299141 HAS SOUPS 325299141 WITH SCORE 3.25888498988E8
AT ITER 3795 NEW BEST:: SOT -1839087338 SOS 589366542 HAS SOPS 589366542 HAS SOUS 325297460 HAS SOUPS 325297460 WITH SCORE 3.25886826542E8
AT ITER 3835 NEW BEST:: SOT -1839092507 SOS 589371704 HAS SOPS 589371704 HAS SOUS 325292289 HAS SOUPS 325292289 WITH SCORE 3.25881660704E8
AT ITER 3910 NEW BEST:: SOT -1839099917 SOS 589356884 HAS SOPS 589356884 HAS SOUS 325282962 HAS SOUPS 325282962 WITH SCORE 3.25872318884E8
AT ITER 3914 NEW BEST:: SOT -1839117720 SOS 589373830 HAS SOPS 589373830 HAS SOUS 325280065 HAS SOUPS 325280065 WITH SCORE 3.2586943883E8
AT ITER 3940 NEW BEST:: SOT -1839117720 SOS 589362613 HAS SOPS 589362613 HAS SOUS 325280065 HAS SOUPS 325280065 WITH SCORE 3.25869427613E8
AT ITER 3949 NEW BEST:: SOT -1839117720 SOS 589362613 HAS SOPS 589362613 HAS SOUS 325280064 HAS SOUPS 325280064 WITH SCORE 3.25869426613E8
AT ITER 3983 NEW BEST:: SOT -1839128919 SOS 589306618 HAS SOPS 589306618 HAS SOUS 325257666 HAS SOUPS 325257666 WITH SCORE 3.25846972618E8
AT ITER 3992 NEW BEST:: SOT -1839123973 SOS 589306616 HAS SOPS 589306616 HAS SOUS 325257665 HAS SOUPS 325257665 WITH SCORE 3.25846971616E8
AT ITER 4003 NEW BEST:: SOT -1839133027 SOS 589283981 HAS SOPS 589283981 HAS SOUS 325248611 HAS SOUPS 325248611 WITH SCORE 3.25837894981E8
AT ITER 4121 NEW BEST:: SOT -1839139904 SOS 589270227 HAS SOPS 589270227 HAS SOUS 325241733 HAS SOUPS 325241733 WITH SCORE 3.25831003227E8
AT ITER 4127 NEW BEST:: SOT -1839139904 SOS 589308312 HAS SOPS 589308312 HAS SOUS 325237659 HAS SOUPS 325237659 WITH SCORE 3.25826967312E8
AT ITER 4183 NEW BEST:: SOT -1839139904 SOS 589302789 HAS SOPS 589302789 HAS SOUS 325235818 HAS SOUPS 325235818 WITH SCORE 3.25825120789E8
AT ITER 4237 NEW BEST:: SOT -1839140149 SOS 589302788 HAS SOPS 589302788 HAS SOUS 325235817 HAS SOUPS 325235817 WITH SCORE 3.25825119788E8
AT ITER 4243 NEW BEST:: SOT -1839140150 SOS 589297334 HAS SOPS 589297334 HAS SOUS 325230363 HAS SOUPS 325230363 WITH SCORE 3.25819660334E8
AT ITER 4254 NEW BEST:: SOT -1839145280 SOS 589302457 HAS SOPS 589302457 HAS SOUS 325225231 HAS SOUPS 325225231 WITH SCORE 3.25814533457E8
AT ITER 4260 NEW BEST:: SOT -1839156736 SOS 589296729 HAS SOPS 589296729 HAS SOUS 325219503 HAS SOUPS 325219503 WITH SCORE 3.25808799729E8
AT ITER 4262 NEW BEST:: SOT -1839166598 SOS 589291798 HAS SOPS 589291798 HAS SOUS 325214572 HAS SOUPS 325214572 WITH SCORE 3.25803863798E8
AT ITER 4274 NEW BEST:: SOT -1839164910 SOS 589295174 HAS SOPS 589295174 HAS SOUS 325209123 HAS SOUPS 325209123 WITH SCORE 3.25798418174E8
AT ITER 4289 NEW BEST:: SOT -1839166510 SOS 589298370 HAS SOPS 589298370 HAS SOUS 325207522 HAS SOUPS 325207522 WITH SCORE 3.2579682037E8
AT ITER 4298 NEW BEST:: SOT -1839166511 SOS 589298368 HAS SOPS 589298368 HAS SOUS 325207520 HAS SOUPS 325207520 WITH SCORE 3.25796818368E8
AT ITER 4312 NEW BEST:: SOT -1839166511 SOS 589295086 HAS SOPS 589295086 HAS SOUS 325207520 HAS SOUPS 325207520 WITH SCORE 3.25796815086E8
AT ITER 4353 NEW BEST:: SOT -1839171309 SOS 589299880 HAS SOPS 589299880 HAS SOUS 325205161 HAS SOUPS 325205161 WITH SCORE 3.2579446088E8
AT ITER 4378 NEW BEST:: SOT -1839171309 SOS 589299880 HAS SOPS 589299880 HAS SOUS 325205160 HAS SOUPS 325205160 WITH SCORE 3.2579445988E8
AT ITER 4466 NEW BEST:: SOT -1839182287 SOS 589294391 HAS SOPS 589294391 HAS SOUS 325199671 HAS SOUPS 325199671 WITH SCORE 3.25788965391E8
AT ITER 4492 NEW BEST:: SOT -1839182287 SOS 589291298 HAS SOPS 589291298 HAS SOUS 325199671 HAS SOUPS 325199671 WITH SCORE 3.25788962298E8
AT ITER 4496 NEW BEST:: SOT -1839186945 SOS 589284311 HAS SOPS 589284311 HAS SOUS 325192684 HAS SOUPS 325192684 WITH SCORE 3.25781968311E8
AT ITER 4529 NEW BEST:: SOT -1839195316 SOS 589242456 HAS SOPS 589242456 HAS SOUS 325175942 HAS SOUPS 325175942 WITH SCORE 3.25765184456E8
AT ITER 4541 NEW BEST:: SOT -1839204618 SOS 589236311 HAS SOPS 589236311 HAS SOUS 325169797 HAS SOUPS 325169797 WITH SCORE 3.25759033311E8
AT ITER 4570 NEW BEST:: SOT -1839211916 SOS 589229013 HAS SOPS 589229013 HAS SOUS 325162499 HAS SOUPS 325162499 WITH SCORE 3.25751728013E8
AT ITER 4575 NEW BEST:: SOT -1839218460 SOS 589227148 HAS SOPS 589227148 HAS SOUS 325160634 HAS SOUPS 325160634 WITH SCORE 3.25749861148E8
AT ITER 4590 NEW BEST:: SOT -1839218460 SOS 589227148 HAS SOPS 589227148 HAS SOUS 325160633 HAS SOUPS 325160633 WITH SCORE 3.25749860148E8
AT ITER 4654 NEW BEST:: SOT -1839228781 SOS 589225364 HAS SOPS 589225364 HAS SOUS 325156598 HAS SOUPS 325156598 WITH SCORE 3.25745823364E8
AT ITER 4660 NEW BEST:: SOT -1839228784 SOS 589225358 HAS SOPS 589225358 HAS SOUS 325156592 HAS SOUPS 325156592 WITH SCORE 3.25745817358E8
AT ITER 4674 NEW BEST:: SOT -1839228784 SOS 589225358 HAS SOPS 589225358 HAS SOUS 325156591 HAS SOUPS 325156591 WITH SCORE 3.25745816358E8
AT ITER 4682 NEW BEST:: SOT -1839235385 SOS 589212156 HAS SOPS 589212156 HAS SOUS 325143389 HAS SOUPS 325143389 WITH SCORE 3.25732601156E8
AT ITER 4688 NEW BEST:: SOT -1839244821 SOS 589206955 HAS SOPS 589206955 HAS SOUS 325138188 HAS SOUPS 325138188 WITH SCORE 3.25727394955E8
AT ITER 4723 NEW BEST:: SOT -1839242698 SOS 589211201 HAS SOPS 589211201 HAS SOUS 325124172 HAS SOUPS 325124172 WITH SCORE 3.25713383201E8
AT ITER 4751 NEW BEST:: SOT -1839245396 SOS 589205805 HAS SOPS 589205805 HAS SOUS 325118776 HAS SOUPS 325118776 WITH SCORE 3.25707981805E8
AT ITER 4782 NEW BEST:: SOT -1839245396 SOS 589199148 HAS SOPS 589199148 HAS SOUS 325116557 HAS SOUPS 325116557 WITH SCORE 3.25705756148E8
AT ITER 4814 NEW BEST:: SOT -1839245396 SOS 589193076 HAS SOPS 589193076 HAS SOUS 325116557 HAS SOUPS 325116557 WITH SCORE 3.25705750076E8
AT ITER 4815 NEW BEST:: SOT -1839245925 SOS 589192018 HAS SOPS 589192018 HAS SOUS 325116027 HAS SOUPS 325116027 WITH SCORE 3.25705219018E8
AT ITER 4825 NEW BEST:: SOT -1839248465 SOS 589186938 HAS SOPS 589186938 HAS SOUS 325110947 HAS SOUPS 325110947 WITH SCORE 3.25700133938E8
AT ITER 4863 NEW BEST:: SOT -1839254945 SOS 589193411 HAS SOPS 589193411 HAS SOUS 325104465 HAS SOUPS 325104465 WITH SCORE 3.25693658411E8
AT ITER 4869 NEW BEST:: SOT -1839255925 SOS 589191451 HAS SOPS 589191451 HAS SOUS 325102505 HAS SOUPS 325102505 WITH SCORE 3.25691696451E8
AT ITER 4896 NEW BEST:: SOT -1839257384 SOS 589188533 HAS SOPS 589188533 HAS SOUS 325101046 HAS SOUPS 325101046 WITH SCORE 3.25690234533E8
AT ITER 4901 NEW BEST:: SOT -1839258156 SOS 589189302 HAS SOPS 589189302 HAS SOUS 325100273 HAS SOUPS 325100273 WITH SCORE 3.25689462302E8
AT ITER 4922 NEW BEST:: SOT -1839258156 SOS 589207310 HAS SOPS 589207310 HAS SOUS 325097853 HAS SOUPS 325097853 WITH SCORE 3.2568706031E8
AT ITER 4938 NEW BEST:: SOT -1839255469 SOS 589273253 HAS SOPS 589273253 HAS SOUS 325096495 HAS SOUPS 325096495 WITH SCORE 3.25685768253E8
AT ITER 4963 NEW BEST:: SOT -1839259952 SOS 589270097 HAS SOPS 589270097 HAS SOUS 325093339 HAS SOUPS 325093339 WITH SCORE 3.25682609097E8
AT ITER 5038 NEW BEST:: SOT -1839263310 SOS 589263377 HAS SOPS 589263377 HAS SOUS 325086622 HAS SOUPS 325086622 WITH SCORE 3.25675885377E8
AT ITER 5085 NEW BEST:: SOT -1839272165 SOS 589254749 HAS SOPS 589254749 HAS SOUS 325077997 HAS SOUPS 325077997 WITH SCORE 3.25667251749E8
AT ITER 5115 NEW BEST:: SOT -1839289799 SOS 589275485 HAS SOPS 589275485 HAS SOUS 325075868 HAS SOUPS 325075868 WITH SCORE 3.25665143485E8
AT ITER 5120 NEW BEST:: SOT -1839289799 SOS 589263818 HAS SOPS 589263818 HAS SOUS 325071979 HAS SOUPS 325071979 WITH SCORE 3.25661242818E8
AT ITER 5123 NEW BEST:: SOT -1839289799 SOS 589250966 HAS SOPS 589250966 HAS SOUS 325071979 HAS SOUPS 325071979 WITH SCORE 3.25661229966E8
AT ITER 5140 NEW BEST:: SOT -1839289799 SOS 589250966 HAS SOPS 589250966 HAS SOUS 325071063 HAS SOUPS 325071063 WITH SCORE 3.25660313966E8
AT ITER 5141 NEW BEST:: SOT -1839295998 SOS 589263350 HAS SOPS 589263350 HAS SOUS 325064862 HAS SOUPS 325064862 WITH SCORE 3.2565412535E8
AT ITER 5142 NEW BEST:: SOT -1839303864 SOS 589271216 HAS SOPS 589271216 HAS SOUS 325056996 HAS SOUPS 325056996 WITH SCORE 3.25646267216E8
AT ITER 5187 NEW BEST:: SOT -1839305545 SOS 589274574 HAS SOPS 589274574 HAS SOUS 325055314 HAS SOUPS 325055314 WITH SCORE 3.25644588574E8
AT ITER 5194 NEW BEST:: SOT -1839306436 SOS 589273683 HAS SOPS 589273683 HAS SOUS 325054423 HAS SOUPS 325054423 WITH SCORE 3.25643696683E8
AT ITER 5200 NEW BEST:: SOT -1839309565 SOS 589267425 HAS SOPS 589267425 HAS SOUS 325054041 HAS SOUPS 325054041 WITH SCORE 3.25643308425E8
AT ITER 5220 NEW BEST:: SOT -1839310508 SOS 589267424 HAS SOPS 589267424 HAS SOUS 325054040 HAS SOUPS 325054040 WITH SCORE 3.25643307424E8
AT ITER 5222 NEW BEST:: SOT -1839319372 SOS 589187648 HAS SOPS 589187648 HAS SOUS 325043386 HAS SOUPS 325043386 WITH SCORE 3.25632573648E8
AT ITER 5230 NEW BEST:: SOT -1839326431 SOS 589205098 HAS SOPS 589205098 HAS SOUS 325028061 HAS SOUPS 325028061 WITH SCORE 3.25617266098E8
AT ITER 5238 NEW BEST:: SOT -1839333365 SOS 589226294 HAS SOPS 589226294 HAS SOUS 325023503 HAS SOUPS 325023503 WITH SCORE 3.25612729294E8
AT ITER 5251 NEW BEST:: SOT -1839336334 SOS 589232230 HAS SOPS 589232230 HAS SOUS 325020534 HAS SOUPS 325020534 WITH SCORE 3.2560976623E8
AT ITER 5253 NEW BEST:: SOT -1839336334 SOS 589225684 HAS SOPS 589225684 HAS SOUS 325018352 HAS SOUPS 325018352 WITH SCORE 3.25607577684E8
AT ITER 5276 NEW BEST:: SOT -1839336334 SOS 589209307 HAS SOPS 589209307 HAS SOUS 325018351 HAS SOUPS 325018351 WITH SCORE 3.25607560307E8
AT ITER 5280 NEW BEST:: SOT -1839336786 SOS 589208403 HAS SOPS 589208403 HAS SOUS 325017447 HAS SOUPS 325017447 WITH SCORE 3.25606655403E8
AT ITER 5281 NEW BEST:: SOT -1839343276 SOS 589195423 HAS SOPS 589195423 HAS SOUS 325004467 HAS SOUPS 325004467 WITH SCORE 3.25593662423E8
AT ITER 5292 NEW BEST:: SOT -1839343276 SOS 589195423 HAS SOPS 589195423 HAS SOUS 325004466 HAS SOUPS 325004466 WITH SCORE 3.25593661423E8
AT ITER 5331 NEW BEST:: SOT -1839343571 SOS 589194833 HAS SOPS 589194833 HAS SOUS 325003876 HAS SOUPS 325003876 WITH SCORE 3.25593070833E8
AT ITER 5366 NEW BEST:: SOT -1839353005 SOS 589186251 HAS SOPS 589186251 HAS SOUS 324994870 HAS SOUPS 324994870 WITH SCORE 3.25584056251E8
AT ITER 5368 NEW BEST:: SOT -1839353512 SOS 589185237 HAS SOPS 589185237 HAS SOUS 324993856 HAS SOUPS 324993856 WITH SCORE 3.25583041237E8
AT ITER 5371 NEW BEST:: SOT -1839365600 SOS 589173145 HAS SOPS 589173145 HAS SOUS 324981767 HAS SOUPS 324981767 WITH SCORE 3.25570940145E8
AT ITER 5378 NEW BEST:: SOT -1839365600 SOS 589159669 HAS SOPS 589159669 HAS SOUS 324981767 HAS SOUPS 324981767 WITH SCORE 3.25570926669E8
AT ITER 5414 NEW BEST:: SOT -1839365600 SOS 589150627 HAS SOPS 589150627 HAS SOUS 324978753 HAS SOUPS 324978753 WITH SCORE 3.25567903627E8
AT ITER 5452 NEW BEST:: SOT -1839365600 SOS 589146419 HAS SOPS 589146419 HAS SOUS 324976649 HAS SOUPS 324976649 WITH SCORE 3.25565795419E8
AT ITER 5507 NEW BEST:: SOT -1839368649 SOS 589167752 HAS SOPS 589167752 HAS SOUS 324970550 HAS SOUPS 324970550 WITH SCORE 3.25559717752E8
AT ITER 5527 NEW BEST:: SOT -1839375542 SOS 589164510 HAS SOPS 589164510 HAS SOUS 324967308 HAS SOUPS 324967308 WITH SCORE 3.2555647251E8
AT ITER 5571 NEW BEST:: SOT -1839375542 SOS 589156355 HAS SOPS 589156355 HAS SOUS 324967308 HAS SOUPS 324967308 WITH SCORE 3.25556464355E8
AT ITER 5591 NEW BEST:: SOT -1839377484 SOS 589152471 HAS SOPS 589152471 HAS SOUS 324956063 HAS SOUPS 324956063 WITH SCORE 3.25545215471E8
AT ITER 5596 NEW BEST:: SOT -1839377484 SOS 589152467 HAS SOPS 589152467 HAS SOUS 324954087 HAS SOUPS 324954087 WITH SCORE 3.25543239467E8
AT ITER 5603 NEW BEST:: SOT -1839378393 SOS 589150649 HAS SOPS 589150649 HAS SOUS 324952269 HAS SOUPS 324952269 WITH SCORE 3.25541419649E8
AT ITER 5683 NEW BEST:: SOT -1839380306 SOS 589146823 HAS SOPS 589146823 HAS SOUS 324948443 HAS SOUPS 324948443 WITH SCORE 3.25537589823E8
AT ITER 5704 NEW BEST:: SOT -1839384400 SOS 589138635 HAS SOPS 589138635 HAS SOUS 324940255 HAS SOUPS 324940255 WITH SCORE 3.25529393635E8
AT ITER 5738 NEW BEST:: SOT -1839386053 SOS 589135329 HAS SOPS 589135329 HAS SOUS 324936949 HAS SOUPS 324936949 WITH SCORE 3.25526084329E8
AT ITER 5742 NEW BEST:: SOT -1839397307 SOS 589129702 HAS SOPS 589129702 HAS SOUS 324931322 HAS SOUPS 324931322 WITH SCORE 3.25520451702E8
AT ITER 5743 NEW BEST:: SOT -1839399471 SOS 589134026 HAS SOPS 589134026 HAS SOUS 324929157 HAS SOUPS 324929157 WITH SCORE 3.25518291026E8
AT ITER 5754 NEW BEST:: SOT -1839400287 SOS 589133210 HAS SOPS 589133210 HAS SOUS 324928341 HAS SOUPS 324928341 WITH SCORE 3.2551747421E8
AT ITER 5755 NEW BEST:: SOT -1839400287 SOS 589134950 HAS SOPS 589134950 HAS SOUS 324928339 HAS SOUPS 324928339 WITH SCORE 3.2551747395E8
AT ITER 5778 NEW BEST:: SOT -1839404475 SOS 589126575 HAS SOPS 589126575 HAS SOUS 324919964 HAS SOUPS 324919964 WITH SCORE 3.25509090575E8
AT ITER 5794 NEW BEST:: SOT -1839403208 SOS 589087377 HAS SOPS 589087377 HAS SOUS 324918685 HAS SOUPS 324918685 WITH SCORE 3.25507772377E8
AT ITER 5827 NEW BEST:: SOT -1839413394 SOS 589082284 HAS SOPS 589082284 HAS SOUS 324913592 HAS SOUPS 324913592 WITH SCORE 3.25502674284E8
AT ITER 5829 NEW BEST:: SOT -1839413394 SOS 589076260 HAS SOPS 589076260 HAS SOUS 324911584 HAS SOUPS 324911584 WITH SCORE 3.2550066026E8
AT ITER 5862 NEW BEST:: SOT -1839422182 SOS 589073582 HAS SOPS 589073582 HAS SOUS 324908596 HAS SOUPS 324908596 WITH SCORE 3.25497669582E8
AT ITER 5871 NEW BEST:: SOT -1839422336 SOS 589073274 HAS SOPS 589073274 HAS SOUS 324908288 HAS SOUPS 324908288 WITH SCORE 3.25497361274E8
AT ITER 5901 NEW BEST:: SOT -1839424269 SOS 589069408 HAS SOPS 589069408 HAS SOUS 324904422 HAS SOUPS 324904422 WITH SCORE 3.25493491408E8
AT ITER 5906 NEW BEST:: SOT -1839424269 SOS 589058548 HAS SOPS 589058548 HAS SOUS 324900802 HAS SOUPS 324900802 WITH SCORE 3.25489860548E8
AT ITER 5931 NEW BEST:: SOT -1839424269 SOS 589058548 HAS SOPS 589058548 HAS SOUS 324900798 HAS SOUPS 324900798 WITH SCORE 3.25489856548E8
AT ITER 5943 NEW BEST:: SOT -1839424301 SOS 589058484 HAS SOPS 589058484 HAS SOUS 324900734 HAS SOUPS 324900734 WITH SCORE 3.25489792484E8
AT ITER 5987 NEW BEST:: SOT -1839428196 SOS 589055892 HAS SOPS 589055892 HAS SOUS 324898142 HAS SOUPS 324898142 WITH SCORE 3.25487197892E8
AT ITER 6023 NEW BEST:: SOT -1839428197 SOS 589052861 HAS SOPS 589052861 HAS SOUS 324895111 HAS SOUPS 324895111 WITH SCORE 3.25484163861E8
AT ITER 6031 NEW BEST:: SOT -1839433192 SOS 589057849 HAS SOPS 589057849 HAS SOUS 324890114 HAS SOUPS 324890114 WITH SCORE 3.25479171849E8
AT ITER 6032 NEW BEST:: SOT -1839434928 SOS 589056113 HAS SOPS 589056113 HAS SOUS 324888378 HAS SOUPS 324888378 WITH SCORE 3.25477434113E8
AT ITER 6078 NEW BEST:: SOT -1839443570 SOS 589056113 HAS SOPS 589056113 HAS SOUS 324877237 HAS SOUPS 324877237 WITH SCORE 3.25466293113E8
AT ITER 6095 NEW BEST:: SOT -1839454153 SOS 589034947 HAS SOPS 589034947 HAS SOUS 324856071 HAS SOUPS 324856071 WITH SCORE 3.25445105947E8
AT ITER 6097 NEW BEST:: SOT -1839455833 SOS 589031587 HAS SOPS 589031587 HAS SOUS 324852711 HAS SOUPS 324852711 WITH SCORE 3.25441742587E8
AT ITER 6161 NEW BEST:: SOT -1839456042 SOS 589031169 HAS SOPS 589031169 HAS SOUS 324852400 HAS SOUPS 324852400 WITH SCORE 3.25441431169E8
AT ITER 6182 NEW BEST:: SOT -1839456042 SOS 589017936 HAS SOPS 589017936 HAS SOUS 324852399 HAS SOUPS 324852399 WITH SCORE 3.25441416936E8
AT ITER 6189 NEW BEST:: SOT -1839458892 SOS 589012236 HAS SOPS 589012236 HAS SOUS 324846699 HAS SOUPS 324846699 WITH SCORE 3.25435711236E8
AT ITER 6219 NEW BEST:: SOT -1839459788 SOS 589010444 HAS SOPS 589010444 HAS SOUS 324844907 HAS SOUPS 324844907 WITH SCORE 3.25433917444E8
AT ITER 6253 NEW BEST:: SOT -1839477269 SOS 588975482 HAS SOPS 588975482 HAS SOUS 324810445 HAS SOUPS 324810445 WITH SCORE 3.25399420482E8
AT ITER 6274 NEW BEST:: SOT -1839483531 SOS 588962958 HAS SOPS 588962958 HAS SOUS 324804182 HAS SOUPS 324804182 WITH SCORE 3.25393144958E8
AT ITER 6319 NEW BEST:: SOT -1839483535 SOS 588962950 HAS SOPS 588962950 HAS SOUS 324804174 HAS SOUPS 324804174 WITH SCORE 3.2539313695E8
AT ITER 6325 NEW BEST:: SOT -1839486664 SOS 588969200 HAS SOPS 588969200 HAS SOUS 324801043 HAS SOUPS 324801043 WITH SCORE 3.253900122E8
AT ITER 6380 NEW BEST:: SOT -1839486665 SOS 588969198 HAS SOPS 588969198 HAS SOUS 324801041 HAS SOUPS 324801041 WITH SCORE 3.25390010198E8
AT ITER 6386 NEW BEST:: SOT -1839490326 SOS 588989043 HAS SOPS 588989043 HAS SOUS 324789581 HAS SOUPS 324789581 WITH SCORE 3.25378570043E8
AT ITER 6389 NEW BEST:: SOT -1839500387 SOS 588978978 HAS SOPS 588978978 HAS SOUS 324779519 HAS SOUPS 324779519 WITH SCORE 3.25368497978E8
AT ITER 6392 NEW BEST:: SOT -1839501896 SOS 588975960 HAS SOPS 588975960 HAS SOUS 324778010 HAS SOUPS 324778010 WITH SCORE 3.2536698596E8
AT ITER 6395 NEW BEST:: SOT -1839512768 SOS 588959652 HAS SOPS 588959652 HAS SOUS 324767138 HAS SOUPS 324767138 WITH SCORE 3.25356097652E8
AT ITER 6413 NEW BEST:: SOT -1839512768 SOS 588950649 HAS SOPS 588950649 HAS SOUS 324767137 HAS SOUPS 324767137 WITH SCORE 3.25356087649E8
AT ITER 6437 NEW BEST:: SOT -1839513010 SOS 588951129 HAS SOPS 588951129 HAS SOUS 324766894 HAS SOUPS 324766894 WITH SCORE 3.25355845129E8
AT ITER 6467 NEW BEST:: SOT -1839514164 SOS 588946513 HAS SOPS 588946513 HAS SOUS 324765740 HAS SOUPS 324765740 WITH SCORE 3.25354686513E8
AT ITER 6496 NEW BEST:: SOT -1839514164 SOS 588934435 HAS SOPS 588934435 HAS SOUS 324761714 HAS SOUPS 324761714 WITH SCORE 3.25350648435E8
AT ITER 6506 NEW BEST:: SOT -1839516981 SOS 588940069 HAS SOPS 588940069 HAS SOUS 324758897 HAS SOUPS 324758897 WITH SCORE 3.25347837069E8
AT ITER 6577 NEW BEST:: SOT -1839519753 SOS 588959473 HAS SOPS 588959473 HAS SOUS 324756125 HAS SOUPS 324756125 WITH SCORE 3.25345084473E8
AT ITER 6626 NEW BEST:: SOT -1839522144 SOS 588959469 HAS SOPS 588959469 HAS SOUS 324756124 HAS SOUPS 324756124 WITH SCORE 3.25345083469E8
AT ITER 6707 NEW BEST:: SOT -1839522144 SOS 588951150 HAS SOPS 588951150 HAS SOUS 324753351 HAS SOUPS 324753351 WITH SCORE 3.2534230215E8
AT ITER 6712 NEW BEST:: SOT -1839528215 SOS 588972127 HAS SOPS 588972127 HAS SOUS 324739515 HAS SOUPS 324739515 WITH SCORE 3.25328487127E8
AT ITER 6714 NEW BEST:: SOT -1839531432 SOS 588965693 HAS SOPS 588965693 HAS SOUS 324736297 HAS SOUPS 324736297 WITH SCORE 3.25325262693E8
AT ITER 6718 NEW BEST:: SOT -1839534757 SOS 588962698 HAS SOPS 588962698 HAS SOUS 324733144 HAS SOUPS 324733144 WITH SCORE 3.25322106698E8
AT ITER 6724 NEW BEST:: SOT -1839543429 SOS 588975051 HAS SOPS 588975051 HAS SOUS 324724472 HAS SOUPS 324724472 WITH SCORE 3.25313447051E8
AT ITER 6816 NEW BEST:: SOT -1839543429 SOS 588970107 HAS SOPS 588970107 HAS SOUS 324719528 HAS SOUPS 324719528 WITH SCORE 3.25308498107E8
AT ITER 6857 NEW BEST:: SOT -1839542394 SOS 588972176 HAS SOPS 588972176 HAS SOUS 324714855 HAS SOUPS 324714855 WITH SCORE 3.25303827176E8
AT ITER 6973 NEW BEST:: SOT -1839544961 SOS 588971606 HAS SOPS 588971606 HAS SOUS 324712802 HAS SOUPS 324712802 WITH SCORE 3.25301773606E8
AT ITER 7020 NEW BEST:: SOT -1839541862 SOS 588952997 HAS SOPS 588952997 HAS SOUS 324709181 HAS SOUPS 324709181 WITH SCORE 3.25298133997E8
AT ITER 7035 NEW BEST:: SOT -1839541862 SOS 588946865 HAS SOPS 588946865 HAS SOUS 324707137 HAS SOUPS 324707137 WITH SCORE 3.25296083865E8
AT ITER 7037 NEW BEST:: SOT -1839537331 SOS 588929863 HAS SOPS 588929863 HAS SOUS 324705245 HAS SOUPS 324705245 WITH SCORE 3.25294174863E8
AT ITER 7041 NEW BEST:: SOT -1839537331 SOS 588929863 HAS SOPS 588929863 HAS SOUS 324705244 HAS SOUPS 324705244 WITH SCORE 3.25294173863E8
AT ITER 7057 NEW BEST:: SOT -1839537599 SOS 588929327 HAS SOPS 588929327 HAS SOUS 324704708 HAS SOUPS 324704708 WITH SCORE 3.25293637327E8
AT ITER 7062 NEW BEST:: SOT -1839541976 SOS 588929323 HAS SOPS 588929323 HAS SOUS 324701862 HAS SOUPS 324701862 WITH SCORE 3.25290791323E8
AT ITER 7076 NEW BEST:: SOT -1839544876 SOS 588949613 HAS SOPS 588949613 HAS SOUS 324696061 HAS SOUPS 324696061 WITH SCORE 3.25285010613E8
AT ITER 7084 NEW BEST:: SOT -1839548569 SOS 588942227 HAS SOPS 588942227 HAS SOUS 324693489 HAS SOUPS 324693489 WITH SCORE 3.25282431227E8
AT ITER 7088 NEW BEST:: SOT -1839550628 SOS 588938109 HAS SOPS 588938109 HAS SOUS 324689371 HAS SOUPS 324689371 WITH SCORE 3.25278309109E8
AT ITER 7097 NEW BEST:: SOT -1839550629 SOS 588938107 HAS SOPS 588938107 HAS SOUS 324689369 HAS SOUPS 324689369 WITH SCORE 3.25278307107E8
AT ITER 7103 NEW BEST:: SOT -1839550629 SOS 588956099 HAS SOPS 588956099 HAS SOUS 324687193 HAS SOUPS 324687193 WITH SCORE 3.25276149099E8
AT ITER 7167 NEW BEST:: SOT -1839551153 SOS 588956623 HAS SOPS 588956623 HAS SOUS 324686669 HAS SOUPS 324686669 WITH SCORE 3.25275625623E8
AT ITER 7190 NEW BEST:: SOT -1839564568 SOS 588944909 HAS SOPS 588944909 HAS SOUS 324673254 HAS SOUPS 324673254 WITH SCORE 3.25262198909E8
AT ITER 7213 NEW BEST:: SOT -1839570477 SOS 588933091 HAS SOPS 588933091 HAS SOUS 324661436 HAS SOUPS 324661436 WITH SCORE 3.25250369091E8
AT ITER 7215 NEW BEST:: SOT -1839577950 SOS 588928078 HAS SOPS 588928078 HAS SOUS 324656423 HAS SOUPS 324656423 WITH SCORE 3.25245351078E8
AT ITER 7246 NEW BEST:: SOT -1839586509 SOS 588882499 HAS SOPS 588882499 HAS SOUS 324639305 HAS SOUPS 324639305 WITH SCORE 3.25228187499E8
AT ITER 7248 NEW BEST:: SOT -1839600201 SOS 588855115 HAS SOPS 588855115 HAS SOUS 324611921 HAS SOUPS 324611921 WITH SCORE 3.25200776115E8
AT ITER 7285 NEW BEST:: SOT -1839611348 SOS 588855114 HAS SOPS 588855114 HAS SOUS 324611920 HAS SOUPS 324611920 WITH SCORE 3.25200775114E8
AT ITER 7290 NEW BEST:: SOT -1839611349 SOS 588855112 HAS SOPS 588855112 HAS SOUS 324611918 HAS SOUPS 324611918 WITH SCORE 3.25200773112E8
AT ITER 7300 NEW BEST:: SOT -1839610726 SOS 588856358 HAS SOPS 588856358 HAS SOUS 324604256 HAS SOUPS 324604256 WITH SCORE 3.25193112358E8
AT ITER 7324 NEW BEST:: SOT -1839612966 SOS 588851878 HAS SOPS 588851878 HAS SOUS 324598306 HAS SOUPS 324598306 WITH SCORE 3.25187157878E8
AT ITER 7332 NEW BEST:: SOT -1839616248 SOS 588845314 HAS SOPS 588845314 HAS SOUS 324588910 HAS SOUPS 324588910 WITH SCORE 3.25177755314E8
AT ITER 7361 NEW BEST:: SOT -1839622793 SOS 588832224 HAS SOPS 588832224 HAS SOUS 324575820 HAS SOUPS 324575820 WITH SCORE 3.25164652224E8
AT ITER 7366 NEW BEST:: SOT -1839633978 SOS 588821035 HAS SOPS 588821035 HAS SOUS 324564634 HAS SOUPS 324564634 WITH SCORE 3.25153455035E8
AT ITER 7376 NEW BEST:: SOT -1839633978 SOS 588806893 HAS SOPS 588806893 HAS SOUS 324564633 HAS SOUPS 324564633 WITH SCORE 3.25153439893E8
AT ITER 7406 NEW BEST:: SOT -1839630725 SOS 588813399 HAS SOPS 588813399 HAS SOUS 324563749 HAS SOUPS 324563749 WITH SCORE 3.25152562399E8
AT ITER 7452 NEW BEST:: SOT -1839630725 SOS 588811241 HAS SOPS 588811241 HAS SOUS 324561591 HAS SOUPS 324561591 WITH SCORE 3.25150402241E8
AT ITER 7477 NEW BEST:: SOT -1839635482 SOS 588820747 HAS SOPS 588820747 HAS SOUS 324556832 HAS SOUPS 324556832 WITH SCORE 3.25145652747E8
AT ITER 7532 NEW BEST:: SOT -1839639952 SOS 588798397 HAS SOPS 588798397 HAS SOUS 324547892 HAS SOUPS 324547892 WITH SCORE 3.25136690397E8
AT ITER 7571 NEW BEST:: SOT -1839639952 SOS 588794939 HAS SOPS 588794939 HAS SOUS 324547892 HAS SOUPS 324547892 WITH SCORE 3.25136686939E8
AT ITER 7583 NEW BEST:: SOT -1840138006 SOS 590875844 HAS SOPS 590875844 HAS SOUS 324073429 HAS SOUPS 324073429 WITH SCORE 3.24664304844E8
AT ITER 7603 NEW BEST:: SOT -1840138006 SOS 590858537 HAS SOPS 590858537 HAS SOUS 324073428 HAS SOUPS 324073428 WITH SCORE 3.24664286537E8
AT ITER 7643 NEW BEST:: SOT -1840147645 SOS 590849281 HAS SOPS 590849281 HAS SOUS 324063982 HAS SOUPS 324063982 WITH SCORE 3.24654831281E8
AT ITER 7644 NEW BEST:: SOT -1840155585 SOS 590904861 HAS SOPS 590904861 HAS SOUS 324056042 HAS SOUPS 324056042 WITH SCORE 3.24646946861E8
AT ITER 7662 NEW BEST:: SOT -1840153247 SOS 590927462 HAS SOPS 590927462 HAS SOUS 324055065 HAS SOUPS 324055065 WITH SCORE 3.24645992462E8
AT ITER 7677 NEW BEST:: SOT -1840153774 SOS 590926931 HAS SOPS 590926931 HAS SOUS 324054537 HAS SOUPS 324054537 WITH SCORE 3.24645463931E8
AT ITER 7699 NEW BEST:: SOT -1840153774 SOS 590943593 HAS SOPS 590943593 HAS SOUS 324050635 HAS SOUPS 324050635 WITH SCORE 3.24641578593E8
AT ITER 7717 NEW BEST:: SOT -1840157072 SOS 590926895 HAS SOPS 590926895 HAS SOUS 324039764 HAS SOUPS 324039764 WITH SCORE 3.24630690895E8
AT ITER 7739 NEW BEST:: SOT -1840157411 SOS 590926213 HAS SOPS 590926213 HAS SOUS 324039085 HAS SOUPS 324039085 WITH SCORE 3.24630011213E8
AT ITER 7748 NEW BEST:: SOT -1840166955 SOS 590916669 HAS SOPS 590916669 HAS SOUS 324029541 HAS SOUPS 324029541 WITH SCORE 3.24620457669E8
AT ITER 7751 NEW BEST:: SOT -1840166955 SOS 590936838 HAS SOPS 590936838 HAS SOUS 324022818 HAS SOUPS 324022818 WITH SCORE 3.24613754838E8
AT ITER 7753 NEW BEST:: SOT -1840180241 SOS 590910266 HAS SOPS 590910266 HAS SOUS 323996246 HAS SOUPS 323996246 WITH SCORE 3.24587156266E8
AT ITER 7765 NEW BEST:: SOT -1840180241 SOS 590952736 HAS SOPS 590952736 HAS SOUS 323991525 HAS SOUPS 323991525 WITH SCORE 3.24582477736E8
AT ITER 7799 NEW BEST:: SOT -1840181204 SOS 590950810 HAS SOPS 590950810 HAS SOUS 323989599 HAS SOUPS 323989599 WITH SCORE 3.2458054981E8
AT ITER 7821 NEW BEST:: SOT -1840190648 SOS 590946088 HAS SOPS 590946088 HAS SOUS 323984877 HAS SOUPS 323984877 WITH SCORE 3.24575823088E8
AT ITER 7861 NEW BEST:: SOT -1840203519 SOS 590933207 HAS SOPS 590933207 HAS SOUS 323972005 HAS SOUPS 323972005 WITH SCORE 3.24562938207E8
AT ITER 7891 NEW BEST:: SOT -1840203519 SOS 590930488 HAS SOPS 590930488 HAS SOUS 323969286 HAS SOUPS 323969286 WITH SCORE 3.24560216488E8
AT ITER 7902 NEW BEST:: SOT -1840214393 SOS 590925051 HAS SOPS 590925051 HAS SOUS 323963849 HAS SOUPS 323963849 WITH SCORE 3.24554774051E8
AT ITER 7932 NEW BEST:: SOT -1840222276 SOS 590932934 HAS SOPS 590932934 HAS SOUS 323951086 HAS SOUPS 323951086 WITH SCORE 3.24542018934E8
AT ITER 7947 NEW BEST:: SOT -1840220343 SOS 591009411 HAS SOPS 591009411 HAS SOUS 323946882 HAS SOUPS 323946882 WITH SCORE 3.24537891411E8
AT ITER 7954 NEW BEST:: SOT -1840222536 SOS 591005025 HAS SOPS 591005025 HAS SOUS 323934384 HAS SOUPS 323934384 WITH SCORE 3.24525389025E8
AT ITER 7956 NEW BEST:: SOT -1840233382 SOS 590999602 HAS SOPS 590999602 HAS SOUS 323928961 HAS SOUPS 323928961 WITH SCORE 3.24519960602E8
AT ITER 7995 NEW BEST:: SOT -1840239025 SOS 590995498 HAS SOPS 590995498 HAS SOUS 323927935 HAS SOUPS 323927935 WITH SCORE 3.24518930498E8
AT ITER 8013 NEW BEST:: SOT -1840234293 SOS 591004962 HAS SOPS 591004962 HAS SOUS 323919480 HAS SOUPS 323919480 WITH SCORE 3.24510484962E8
AT ITER 8015 NEW BEST:: SOT -1840238710 SOS 590996128 HAS SOPS 590996128 HAS SOUS 323910646 HAS SOUPS 323910646 WITH SCORE 3.24501642128E8
AT ITER 8066 NEW BEST:: SOT -1840238919 SOS 590995919 HAS SOPS 590995919 HAS SOUS 323910646 HAS SOUPS 323910646 WITH SCORE 3.24501641919E8
AT ITER 8078 NEW BEST:: SOT -1840250865 SOS 590985048 HAS SOPS 590985048 HAS SOUS 323899775 HAS SOUPS 323899775 WITH SCORE 3.24490760048E8
AT ITER 8082 NEW BEST:: SOT -1840250865 SOS 590974461 HAS SOPS 590974461 HAS SOUS 323896246 HAS SOUPS 323896246 WITH SCORE 3.24487220461E8
AT ITER 8109 NEW BEST:: SOT -1840252626 SOS 590970939 HAS SOPS 590970939 HAS SOUS 323884992 HAS SOUPS 323884992 WITH SCORE 3.24475962939E8
AT ITER 8155 NEW BEST:: SOT -1840252875 SOS 590970441 HAS SOPS 590970441 HAS SOUS 323884494 HAS SOUPS 323884494 WITH SCORE 3.24475464441E8
AT ITER 8202 NEW BEST:: SOT -1840252875 SOS 590962224 HAS SOPS 590962224 HAS SOUS 323881755 HAS SOUPS 323881755 WITH SCORE 3.24472717224E8
AT ITER 8221 NEW BEST:: SOT -1840260970 SOS 590962214 HAS SOPS 590962214 HAS SOUS 323877286 HAS SOUPS 323877286 WITH SCORE 3.24468248214E8
AT ITER 8241 NEW BEST:: SOT -1840261976 SOS 590961711 HAS SOPS 590961711 HAS SOUS 323876783 HAS SOUPS 323876783 WITH SCORE 3.24467744711E8
AT ITER 8287 NEW BEST:: SOT -1840262946 SOS 590959770 HAS SOPS 590959770 HAS SOUS 323872332 HAS SOUPS 323872332 WITH SCORE 3.2446329177E8
AT ITER 8288 NEW BEST:: SOT -1840271596 SOS 590973352 HAS SOPS 590973352 HAS SOUS 323864503 HAS SOUPS 323864503 WITH SCORE 3.24455476352E8
AT ITER 8289 NEW BEST:: SOT -1840271596 SOS 590962636 HAS SOPS 590962636 HAS SOUS 323860931 HAS SOUPS 323860931 WITH SCORE 3.24451893636E8
AT ITER 8290 NEW BEST:: SOT -1840273627 SOS 590960605 HAS SOPS 590960605 HAS SOUS 323858900 HAS SOUPS 323858900 WITH SCORE 3.24449860605E8
AT ITER 8300 NEW BEST:: SOT -1840276423 SOS 590957809 HAS SOPS 590957809 HAS SOUS 323856104 HAS SOUPS 323856104 WITH SCORE 3.24447061809E8
AT ITER 8341 NEW BEST:: SOT -1840281215 SOS 590974570 HAS SOPS 590974570 HAS SOUS 323842817 HAS SOUPS 323842817 WITH SCORE 3.2443379157E8
AT ITER 8372 NEW BEST:: SOT -1840290674 SOS 590927275 HAS SOPS 590927275 HAS SOUS 323823899 HAS SOUPS 323823899 WITH SCORE 3.24414826275E8
AT ITER 8385 NEW BEST:: SOT -1840297780 SOS 590944952 HAS SOPS 590944952 HAS SOUS 323808552 HAS SOUPS 323808552 WITH SCORE 3.24399496952E8
AT ITER 8403 NEW BEST:: SOT -1840300814 SOS 590951016 HAS SOPS 590951016 HAS SOUS 323805517 HAS SOUPS 323805517 WITH SCORE 3.24396468016E8
AT ITER 8417 NEW BEST:: SOT -1840310004 SOS 590943909 HAS SOPS 590943909 HAS SOUS 323798410 HAS SOUPS 323798410 WITH SCORE 3.24389353909E8
AT ITER 8443 NEW BEST:: SOT -1840318596 SOS 590935317 HAS SOPS 590935317 HAS SOUS 323789818 HAS SOUPS 323789818 WITH SCORE 3.24380753317E8
AT ITER 8533 NEW BEST:: SOT -1840325038 SOS 590928875 HAS SOPS 590928875 HAS SOUS 323783376 HAS SOUPS 323783376 WITH SCORE 3.24374304875E8
AT ITER 8550 NEW BEST:: SOT -1840327955 SOS 590934709 HAS SOPS 590934709 HAS SOUS 323780459 HAS SOUPS 323780459 WITH SCORE 3.24371393709E8
AT ITER 8627 NEW BEST:: SOT -1840325330 SOS 590915419 HAS SOPS 590915419 HAS SOUS 323776216 HAS SOUPS 323776216 WITH SCORE 3.24367131419E8
AT ITER 8639 NEW BEST:: SOT -1840317971 SOS 590890171 HAS SOPS 590890171 HAS SOUS 323765563 HAS SOUPS 323765563 WITH SCORE 3.24356453171E8
AT ITER 8658 NEW BEST:: SOT -1840319612 SOS 590890170 HAS SOPS 590890170 HAS SOUS 323765562 HAS SOUPS 323765562 WITH SCORE 3.2435645217E8
AT ITER 8676 NEW BEST:: SOT -1840321027 SOS 590892996 HAS SOPS 590892996 HAS SOUS 323764146 HAS SOUPS 323764146 WITH SCORE 3.24355038996E8
AT ITER 8698 NEW BEST:: SOT -1840344742 SOS 590903703 HAS SOPS 590903703 HAS SOUS 323755488 HAS SOUPS 323755488 WITH SCORE 3.24346391703E8
AT ITER 8712 NEW BEST:: SOT -1840345855 SOS 590901477 HAS SOPS 590901477 HAS SOUS 323753262 HAS SOUPS 323753262 WITH SCORE 3.24344163477E8
AT ITER 8720 NEW BEST:: SOT -1840345855 SOS 590884899 HAS SOPS 590884899 HAS SOUS 323753262 HAS SOUPS 323753262 WITH SCORE 3.24344146899E8
AT ITER 8767 NEW BEST:: SOT -1840345857 SOS 590884895 HAS SOPS 590884895 HAS SOUS 323753258 HAS SOUPS 323753258 WITH SCORE 3.24344142895E8
AT ITER 8773 NEW BEST:: SOT -1840347089 SOS 590886127 HAS SOPS 590886127 HAS SOUS 323752026 HAS SOUPS 323752026 WITH SCORE 3.24342912127E8
AT ITER 8796 NEW BEST:: SOT -1840365835 SOS 590867381 HAS SOPS 590867381 HAS SOUS 323733280 HAS SOUPS 323733280 WITH SCORE 3.24324147381E8
AT ITER 8836 NEW BEST:: SOT -1840371629 SOS 590919602 HAS SOPS 590919602 HAS SOUS 323721691 HAS SOUPS 323721691 WITH SCORE 3.24312610602E8
AT ITER 8865 NEW BEST:: SOT -1840379947 SOS 590933100 HAS SOPS 590933100 HAS SOUS 323704477 HAS SOUPS 323704477 WITH SCORE 3.242954101E8
AT ITER 8870 NEW BEST:: SOT -1840379947 SOS 590917608 HAS SOPS 590917608 HAS SOUS 323704477 HAS SOUPS 323704477 WITH SCORE 3.24295394608E8
AT ITER 8888 NEW BEST:: SOT -1840379947 SOS 590915897 HAS SOPS 590915897 HAS SOUS 323704477 HAS SOUPS 323704477 WITH SCORE 3.24295392897E8
AT ITER 8900 NEW BEST:: SOT -1840390461 SOS 590913346 HAS SOPS 590913346 HAS SOUS 323700122 HAS SOUPS 323700122 WITH SCORE 3.24291035346E8
AT ITER 8901 NEW BEST:: SOT -1840390852 SOS 590916454 HAS SOPS 590916454 HAS SOUS 323699729 HAS SOUPS 323699729 WITH SCORE 3.24290645454E8
AT ITER 8906 NEW BEST:: SOT -1840395525 SOS 590925792 HAS SOPS 590925792 HAS SOUS 323695054 HAS SOUPS 323695054 WITH SCORE 3.24285979792E8
AT ITER 8919 NEW BEST:: SOT -1840395525 SOS 590925782 HAS SOPS 590925782 HAS SOUS 323694683 HAS SOUPS 323694683 WITH SCORE 3.24285608782E8
AT ITER 9079 NEW BEST:: SOT -1840399231 SOS 590918370 HAS SOPS 590918370 HAS SOUS 323687271 HAS SOUPS 323687271 WITH SCORE 3.2427818937E8
AT ITER 9104 NEW BEST:: SOT -1840399804 SOS 590917224 HAS SOPS 590917224 HAS SOUS 323686125 HAS SOUPS 323686125 WITH SCORE 3.24277042224E8
AT ITER 9115 NEW BEST:: SOT -1840405208 SOS 590914518 HAS SOPS 590914518 HAS SOUS 323683422 HAS SOUPS 323683422 WITH SCORE 3.24274336518E8
AT ITER 9149 NEW BEST:: SOT -1840399251 SOS 590898358 HAS SOPS 590898358 HAS SOUS 323682999 HAS SOUPS 323682999 WITH SCORE 3.24273897358E8
AT ITER 9154 NEW BEST:: SOT -1840404024 SOS 590903131 HAS SOPS 590903131 HAS SOUS 323674304 HAS SOUPS 323674304 WITH SCORE 3.24265207131E8
AT ITER 9158 NEW BEST:: SOT -1840405585 SOS 590903130 HAS SOPS 590903130 HAS SOUS 323674303 HAS SOUPS 323674303 WITH SCORE 3.2426520613E8
AT ITER 9180 NEW BEST:: SOT -1840414103 SOS 590860540 HAS SOPS 590860540 HAS SOUS 323657267 HAS SOUPS 323657267 WITH SCORE 3.2424812754E8
AT ITER 9186 NEW BEST:: SOT -1840414103 SOS 590860540 HAS SOPS 590860540 HAS SOUS 323657266 HAS SOUPS 323657266 WITH SCORE 3.2424812654E8
AT ITER 9193 NEW BEST:: SOT -1840414103 SOS 590848045 HAS SOPS 590848045 HAS SOUS 323657265 HAS SOUPS 323657265 WITH SCORE 3.24248113045E8
AT ITER 9197 NEW BEST:: SOT -1840415278 SOS 590848044 HAS SOPS 590848044 HAS SOUS 323657264 HAS SOUPS 323657264 WITH SCORE 3.24248112044E8
AT ITER 9229 NEW BEST:: SOT -1840418433 SOS 590841734 HAS SOPS 590841734 HAS SOUS 323654109 HAS SOUPS 323654109 WITH SCORE 3.24244950734E8
AT ITER 9251 NEW BEST:: SOT -1840418433 SOS 590827391 HAS SOPS 590827391 HAS SOUS 323654109 HAS SOUPS 323654109 WITH SCORE 3.24244936391E8
AT ITER 9265 NEW BEST:: SOT -1840418434 SOS 590827389 HAS SOPS 590827389 HAS SOUS 323654107 HAS SOUPS 323654107 WITH SCORE 3.24244934389E8
AT ITER 9279 NEW BEST:: SOT -1840425197 SOS 590813863 HAS SOPS 590813863 HAS SOUS 323640581 HAS SOUPS 323640581 WITH SCORE 3.24231394863E8
AT ITER 9335 NEW BEST:: SOT -1840425197 SOS 590794894 HAS SOPS 590794894 HAS SOUS 323640581 HAS SOUPS 323640581 WITH SCORE 3.24231375894E8
AT ITER 9342 NEW BEST:: SOT -1840429272 SOS 590786744 HAS SOPS 590786744 HAS SOUS 323630065 HAS SOUPS 323630065 WITH SCORE 3.24220851744E8
AT ITER 9353 NEW BEST:: SOT -1840429272 SOS 590787616 HAS SOPS 590787616 HAS SOUS 323622466 HAS SOUPS 323622466 WITH SCORE 3.24213253616E8
AT ITER 9361 NEW BEST:: SOT -1840429583 SOS 590786994 HAS SOPS 590786994 HAS SOUS 323621844 HAS SOUPS 323621844 WITH SCORE 3.24212630994E8
AT ITER 9409 NEW BEST:: SOT -1840435318 SOS 590781259 HAS SOPS 590781259 HAS SOUS 323616109 HAS SOUPS 323616109 WITH SCORE 3.24206890259E8
AT ITER 9425 NEW BEST:: SOT -1840435318 SOS 590765308 HAS SOPS 590765308 HAS SOUS 323616108 HAS SOUPS 323616108 WITH SCORE 3.24206873308E8
AT ITER 9481 NEW BEST:: SOT -1840439585 SOS 590756774 HAS SOPS 590756774 HAS SOUS 323607574 HAS SOUPS 323607574 WITH SCORE 3.24198330774E8
AT ITER 9482 NEW BEST:: SOT -1840439585 SOS 590761807 HAS SOPS 590761807 HAS SOUS 323594757 HAS SOUPS 323594757 WITH SCORE 3.24185518807E8
AT ITER 9492 NEW BEST:: SOT -1840453911 SOS 590747481 HAS SOPS 590747481 HAS SOUS 323587594 HAS SOUPS 323587594 WITH SCORE 3.24178341481E8
AT ITER 9509 NEW BEST:: SOT -1840453911 SOS 590747481 HAS SOPS 590747481 HAS SOUS 323579862 HAS SOUPS 323579862 WITH SCORE 3.24170609481E8
AT ITER 9510 NEW BEST:: SOT -1840467083 SOS 590734299 HAS SOPS 590734299 HAS SOUS 323566689 HAS SOUPS 323566689 WITH SCORE 3.24157423299E8
AT ITER 9579 NEW BEST:: SOT -1840461936 SOS 590787588 HAS SOPS 590787588 HAS SOUS 323562649 HAS SOUPS 323562649 WITH SCORE 3.24153436588E8
AT ITER 9584 NEW BEST:: SOT -1840463943 SOS 590783574 HAS SOPS 590783574 HAS SOUS 323558635 HAS SOUPS 323558635 WITH SCORE 3.24149418574E8
AT ITER 9604 NEW BEST:: SOT -1840473002 SOS 590783564 HAS SOPS 590783564 HAS SOUS 323555486 HAS SOUPS 323555486 WITH SCORE 3.24146269564E8
AT ITER 9634 NEW BEST:: SOT -1840491518 SOS 590774360 HAS SOPS 590774360 HAS SOUS 323541565 HAS SOUPS 323541565 WITH SCORE 3.2413233936E8
AT ITER 9689 NEW BEST:: SOT -1840494291 SOS 590784375 HAS SOPS 590784375 HAS SOUS 323538792 HAS SOUPS 323538792 WITH SCORE 3.24129576375E8
AT ITER 9696 NEW BEST:: SOT -1840495134 SOS 590785214 HAS SOPS 590785214 HAS SOUS 323538791 HAS SOUPS 323538791 WITH SCORE 3.24129576214E8
AT ITER 9726 NEW BEST:: SOT -1840499948 SOS 590785210 HAS SOPS 590785210 HAS SOUS 323535756 HAS SOUPS 323535756 WITH SCORE 3.2412654121E8
AT ITER 9743 NEW BEST:: SOT -1840500395 SOS 590784316 HAS SOPS 590784316 HAS SOUS 323534862 HAS SOUPS 323534862 WITH SCORE 3.24125646316E8
AT ITER 9759 NEW BEST:: SOT -1840500971 SOS 590783164 HAS SOPS 590783164 HAS SOUS 323533710 HAS SOUPS 323533710 WITH SCORE 3.24124493164E8
AT ITER 9762 NEW BEST:: SOT -1840505325 SOS 590774456 HAS SOPS 590774456 HAS SOUS 323529355 HAS SOUPS 323529355 WITH SCORE 3.24120129456E8
AT ITER 9768 NEW BEST:: SOT -1840505325 SOS 590771090 HAS SOPS 590771090 HAS SOUS 323528233 HAS SOUPS 323528233 WITH SCORE 3.2411900409E8
AT ITER 9805 NEW BEST:: SOT -1840505325 SOS 590758229 HAS SOPS 590758229 HAS SOUS 323528232 HAS SOUPS 323528232 WITH SCORE 3.24118990229E8
AT ITER 9806 NEW BEST:: SOT -1840514763 SOS 590758219 HAS SOPS 590758219 HAS SOUS 323520795 HAS SOUPS 323520795 WITH SCORE 3.24111553219E8
AT ITER 9815 NEW BEST:: SOT -1840514763 SOS 590758219 HAS SOPS 590758219 HAS SOUS 323510351 HAS SOUPS 323510351 WITH SCORE 3.24101109219E8
AT ITER 9849 NEW BEST:: SOT -1840514763 SOS 590747566 HAS SOPS 590747566 HAS SOUS 323506800 HAS SOUPS 323506800 WITH SCORE 3.24097547566E8
AT ITER 9876 NEW BEST:: SOT -1840514763 SOS 590747566 HAS SOPS 590747566 HAS SOUS 323506799 HAS SOUPS 323506799 WITH SCORE 3.24097546566E8
AT ITER 9892 NEW BEST:: SOT -1840514763 SOS 590745236 HAS SOPS 590745236 HAS SOUS 323505634 HAS SOUPS 323505634 WITH SCORE 3.24096379236E8
AT ITER 9901 NEW BEST:: SOT -1840516654 SOS 590741455 HAS SOPS 590741455 HAS SOUS 323501853 HAS SOUPS 323501853 WITH SCORE 3.24092594455E8
AT ITER 9905 NEW BEST:: SOT -1840524812 SOS 590737376 HAS SOPS 590737376 HAS SOUS 323493695 HAS SOUPS 323493695 WITH SCORE 3.24084432376E8
AT ITER 9919 NEW BEST:: SOT -1840524812 SOS 590729450 HAS SOPS 590729450 HAS SOUS 323491053 HAS SOUPS 323491053 WITH SCORE 3.2408178245E8
AT ITER 9921 NEW BEST:: SOT -1840524812 SOS 590717663 HAS SOPS 590717663 HAS SOUS 323487124 HAS SOUPS 323487124 WITH SCORE 3.24077841663E8
AT ITER 9955 NEW BEST:: SOT -1840524812 SOS 590736002 HAS SOPS 590736002 HAS SOUS 323477952 HAS SOUPS 323477952 WITH SCORE 3.24068688002E8
AT ITER 9957 NEW BEST:: SOT -1840532227 SOS 590731134 HAS SOPS 590731134 HAS SOUS 323473084 HAS SOUPS 323473084 WITH SCORE 3.24063815134E8
AT ITER 9963 NEW BEST:: SOT -1840529992 SOS 590770760 HAS SOPS 590770760 HAS SOUS 323465833 HAS SOUPS 323465833 WITH SCORE 3.2405660376E8
AT ITER 9975 NEW BEST:: SOT -1840533322 SOS 590764100 HAS SOPS 590764100 HAS SOUS 323462502 HAS SOUPS 323462502 WITH SCORE 3.240532661E8
AT ITER 9990 NEW BEST:: SOT -1840534303 SOS 590762138 HAS SOPS 590762138 HAS SOUS 323460540 HAS SOUPS 323460540 WITH SCORE 3.24051302138E8
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11483032 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16032240 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-8b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is DLCflexbar-PT-8b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484400616"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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