MCC'2023- Execution of r491-tall-167912711701360

About the Execution of Smart+red for ViralEpidemic-PT-S16D2C4A03

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
1757.699	3600000.00	3800213.00	10880.50	[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.r491-tall-167912711701360.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-S16D2C4A03, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711701360
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 55M
-rw-r--r-- 1 mcc users 13K Feb 25 21:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 25 21:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 25 21:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 21:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 17:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 17:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 20K Feb 25 23:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 167K Feb 25 23:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 22:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 25 22:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 17:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:27 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 54M 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 1679340331215

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-S16D2C4A03
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 19:25:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 19:25:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 19:25:34] [INFO ] Load time of PNML (sax parser for PT used): 1587 ms
[2023-03-20 19:25:34] [INFO ] Transformed 78643 places.
[2023-03-20 19:25:35] [INFO ] Transformed 144177 transitions.
[2023-03-20 19:25:35] [INFO ] Parsed PT model containing 78643 places and 144177 transitions and 353889 arcs in 2062 ms.
[2023-03-20 19:25:35] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 78643 places, 144177 transitions and 353889 arcs took 362 ms.
Total runtime 2476 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S16D2C4A03
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: 78643 places, 144177 transitions, 353889 arcs.
AT ITER 0 NEW BEST:: SOT 2142882475 SOS 1306415647 HAS SOPS 1306415647 HAS SOUS 487492924 HAS SOUPS 487492924 WITH SCORE 4.88799339647E8
AT ITER 6 NEW BEST:: SOT 2142837333 SOS 1306031876 HAS SOPS 1306031876 HAS SOUS 487492850 HAS SOUPS 487492850 WITH SCORE 4.88798881876E8
AT ITER 26 NEW BEST:: SOT 2142763391 SOS 1305403365 HAS SOPS 1305403365 HAS SOUS 487492846 HAS SOUPS 487492846 WITH SCORE 4.88798249365E8
AT ITER 35 NEW BEST:: SOT 2142731977 SOS 1305136324 HAS SOPS 1305136324 HAS SOUS 487492824 HAS SOUPS 487492824 WITH SCORE 4.88797960324E8
AT ITER 41 NEW BEST:: SOT 2142660293 SOS 1304526961 HAS SOPS 1304526961 HAS SOUS 487492775 HAS SOUPS 487492775 WITH SCORE 4.88797301961E8
AT ITER 43 NEW BEST:: SOT 2142554459 SOS 1303627328 HAS SOPS 1303627328 HAS SOUS 487492731 HAS SOUPS 487492731 WITH SCORE 4.88796358328E8
AT ITER 60 NEW BEST:: SOT 2142523299 SOS 1303362437 HAS SOPS 1303362437 HAS SOUS 487492700 HAS SOUPS 487492700 WITH SCORE 4.88796062437E8
AT ITER 63 NEW BEST:: SOT 2142429293 SOS 1302563332 HAS SOPS 1302563332 HAS SOUS 487492646 HAS SOUPS 487492646 WITH SCORE 4.88795209332E8
AT ITER 66 NEW BEST:: SOT 2142330187 SOS 1301720878 HAS SOPS 1301720878 HAS SOUS 487492593 HAS SOUPS 487492593 WITH SCORE 4.88794313878E8
AT ITER 131 NEW BEST:: SOT 2142232523 SOS 1300890694 HAS SOPS 1300890694 HAS SOUS 487492553 HAS SOUPS 487492553 WITH SCORE 4.88793443694E8
AT ITER 142 NEW BEST:: SOT 2142218725 SOS 1300773377 HAS SOPS 1300773377 HAS SOUS 487492519 HAS SOUPS 487492519 WITH SCORE 4.88793292377E8
AT ITER 166 NEW BEST:: SOT 2142196265 SOS 1300582445 HAS SOPS 1300582445 HAS SOUS 487492497 HAS SOUPS 487492497 WITH SCORE 4.88793079445E8
AT ITER 168 NEW BEST:: SOT 2142109717 SOS 1299846763 HAS SOPS 1299846763 HAS SOUS 487492473 HAS SOUPS 487492473 WITH SCORE 4.88792319763E8
AT ITER 186 NEW BEST:: SOT 2142093299 SOS 1299707153 HAS SOPS 1299707153 HAS SOUS 487492416 HAS SOUPS 487492416 WITH SCORE 4.88792123153E8
AT ITER 259 NEW BEST:: SOT 2142033249 SOS 1299196687 HAS SOPS 1299196687 HAS SOUS 487492375 HAS SOUPS 487492375 WITH SCORE 4.88791571687E8
AT ITER 289 NEW BEST:: SOT 2141926959 SOS 1298293217 HAS SOPS 1298293217 HAS SOUS 487492370 HAS SOUPS 487492370 WITH SCORE 4.88790663217E8
AT ITER 314 NEW BEST:: SOT 2141819049 SOS 1297375967 HAS SOPS 1297375967 HAS SOUS 487492355 HAS SOUPS 487492355 WITH SCORE 4.88789730967E8
AT ITER 317 NEW BEST:: SOT 2141781995 SOS 1297060959 HAS SOPS 1297060959 HAS SOUS 487492306 HAS SOUPS 487492306 WITH SCORE 4.88789366959E8
AT ITER 372 NEW BEST:: SOT 2141729785 SOS 1296617157 HAS SOPS 1296617157 HAS SOUS 487492289 HAS SOUPS 487492289 WITH SCORE 4.88788906157E8
AT ITER 386 NEW BEST:: SOT 2141722765 SOS 1296557440 HAS SOPS 1296557440 HAS SOUS 487492242 HAS SOUPS 487492242 WITH SCORE 4.8878879944E8
AT ITER 462 NEW BEST:: SOT 2141713809 SOS 1296481294 HAS SOPS 1296481294 HAS SOUS 487492222 HAS SOUPS 487492222 WITH SCORE 4.88788703294E8
AT ITER 478 NEW BEST:: SOT 2141646395 SOS 1295908231 HAS SOPS 1295908231 HAS SOUS 487492178 HAS SOUPS 487492178 WITH SCORE 4.88788086231E8
AT ITER 491 NEW BEST:: SOT 2141524253 SOS 1294869964 HAS SOPS 1294869964 HAS SOUS 487492118 HAS SOUPS 487492118 WITH SCORE 4.88786987964E8
AT ITER 535 NEW BEST:: SOT 2141448091 SOS 1294222552 HAS SOPS 1294222552 HAS SOUS 487492083 HAS SOUPS 487492083 WITH SCORE 4.88786305552E8
AT ITER 537 NEW BEST:: SOT 2141428543 SOS 1294056362 HAS SOPS 1294056362 HAS SOUS 487492051 HAS SOUPS 487492051 WITH SCORE 4.88786107362E8
AT ITER 540 NEW BEST:: SOT 2141396023 SOS 1293779886 HAS SOPS 1293779886 HAS SOUS 487491995 HAS SOUPS 487491995 WITH SCORE 4.88785774886E8
AT ITER 543 NEW BEST:: SOT 2141361487 SOS 1293486237 HAS SOPS 1293486237 HAS SOUS 487491902 HAS SOUPS 487491902 WITH SCORE 4.88785388237E8
AT ITER 574 NEW BEST:: SOT 2141277309 SOS 1292770691 HAS SOPS 1292770691 HAS SOUS 487491869 HAS SOUPS 487491869 WITH SCORE 4.88784639691E8
AT ITER 579 NEW BEST:: SOT 2141267667 SOS 1292688712 HAS SOPS 1292688712 HAS SOUS 487491847 HAS SOUPS 487491847 WITH SCORE 4.88784535712E8
AT ITER 580 NEW BEST:: SOT 2141156149 SOS 1291740776 HAS SOPS 1291740776 HAS SOUS 487491814 HAS SOUPS 487491814 WITH SCORE 4.88783554776E8
AT ITER 613 NEW BEST:: SOT 2141078229 SOS 1291078434 HAS SOPS 1291078434 HAS SOUS 487491792 HAS SOUPS 487491792 WITH SCORE 4.88782870434E8
AT ITER 623 NEW BEST:: SOT 2141070863 SOS 1291015781 HAS SOPS 1291015781 HAS SOUS 487491750 HAS SOUPS 487491750 WITH SCORE 4.88782765781E8
AT ITER 648 NEW BEST:: SOT 2141055221 SOS 1290882781 HAS SOPS 1290882781 HAS SOUS 487491707 HAS SOUPS 487491707 WITH SCORE 4.88782589781E8
AT ITER 677 NEW BEST:: SOT 2140938925 SOS 1289894246 HAS SOPS 1289894246 HAS SOUS 487491688 HAS SOUPS 487491688 WITH SCORE 4.88781582246E8
AT ITER 702 NEW BEST:: SOT 2140916959 SOS 1289707505 HAS SOPS 1289707505 HAS SOUS 487491658 HAS SOUPS 487491658 WITH SCORE 4.88781365505E8
AT ITER 743 NEW BEST:: SOT 2140905211 SOS 1289607639 HAS SOPS 1289607639 HAS SOUS 487491650 HAS SOUPS 487491650 WITH SCORE 4.88781257639E8
AT ITER 757 NEW BEST:: SOT 2140850481 SOS 1289142405 HAS SOPS 1289142405 HAS SOUS 487491621 HAS SOUPS 487491621 WITH SCORE 4.88780763405E8
AT ITER 761 NEW BEST:: SOT 2140808451 SOS 1288785089 HAS SOPS 1288785089 HAS SOUS 487491554 HAS SOUPS 487491554 WITH SCORE 4.88780339089E8
AT ITER 788 NEW BEST:: SOT 2140798811 SOS 1288703125 HAS SOPS 1288703125 HAS SOUS 487491530 HAS SOUPS 487491530 WITH SCORE 4.88780233125E8
AT ITER 810 NEW BEST:: SOT 2140706507 SOS 1287918510 HAS SOPS 1287918510 HAS SOUS 487491499 HAS SOUPS 487491499 WITH SCORE 4.8877941751E8
AT ITER 835 NEW BEST:: SOT 2140660865 SOS 1287530553 HAS SOPS 1287530553 HAS SOUS 487491499 HAS SOUPS 487491499 WITH SCORE 4.88779029553E8
AT ITER 860 NEW BEST:: SOT 2140624553 SOS 1287221901 HAS SOPS 1287221901 HAS SOUS 487491499 HAS SOUPS 487491499 WITH SCORE 4.88778720901E8
AT ITER 902 NEW BEST:: SOT 2140544769 SOS 1286543708 HAS SOPS 1286543708 HAS SOUS 487491470 HAS SOUPS 487491470 WITH SCORE 4.88778013708E8
AT ITER 908 NEW BEST:: SOT 2140481187 SOS 1286003238 HAS SOPS 1286003238 HAS SOUS 487491447 HAS SOUPS 487491447 WITH SCORE 4.88777450238E8
AT ITER 911 NEW BEST:: SOT 2140385285 SOS 1285188049 HAS SOPS 1285188049 HAS SOUS 487491425 HAS SOUPS 487491425 WITH SCORE 4.88776613049E8
AT ITER 915 NEW BEST:: SOT 2140288487 SOS 1284365222 HAS SOPS 1284365222 HAS SOUS 487491381 HAS SOUPS 487491381 WITH SCORE 4.88775746222E8
AT ITER 960 NEW BEST:: SOT 2140241309 SOS 1283963676 HAS SOPS 1283963676 HAS SOUS 487490848 HAS SOUPS 487490848 WITH SCORE 4.88774811676E8
AT ITER 978 NEW BEST:: SOT 2140140021 SOS 1283102657 HAS SOPS 1283102657 HAS SOUS 487490777 HAS SOUPS 487490777 WITH SCORE 4.88773879657E8
AT ITER 980 NEW BEST:: SOT 2140129989 SOS 1283017333 HAS SOPS 1283017333 HAS SOUS 487490725 HAS SOUPS 487490725 WITH SCORE 4.88773742333E8
AT ITER 1007 NEW BEST:: SOT 2140079402 SOS 1282554258 HAS SOPS 1282554258 HAS SOUS 487468927 HAS SOUPS 487468927 WITH SCORE 4.88751481258E8
AT ITER 1014 NEW BEST:: SOT 2140001528 SOS 1281892271 HAS SOPS 1281892271 HAS SOUS 487468865 HAS SOUPS 487468865 WITH SCORE 4.88750757271E8
AT ITER 1028 NEW BEST:: SOT 2139901778 SOS 1281044335 HAS SOPS 1281044335 HAS SOUS 487468804 HAS SOUPS 487468804 WITH SCORE 4.88749848335E8
AT ITER 1065 NEW BEST:: SOT 2139784686 SOS 1280049010 HAS SOPS 1280049010 HAS SOUS 487468761 HAS SOUPS 487468761 WITH SCORE 4.8874881001E8
AT ITER 1085 NEW BEST:: SOT 2139666002 SOS 1279040187 HAS SOPS 1279040187 HAS SOUS 487468752 HAS SOUPS 487468752 WITH SCORE 4.88747792187E8
AT ITER 1097 NEW BEST:: SOT 2139560926 SOS 1278146981 HAS SOPS 1278146981 HAS SOUS 487468692 HAS SOUPS 487468692 WITH SCORE 4.88746838981E8
AT ITER 1123 NEW BEST:: SOT 2139475304 SOS 1277419160 HAS SOPS 1277419160 HAS SOUS 487468658 HAS SOUPS 487468658 WITH SCORE 4.8874607716E8
AT ITER 1133 NEW BEST:: SOT 2139472282 SOS 1277393408 HAS SOPS 1277393408 HAS SOUS 487468593 HAS SOUPS 487468593 WITH SCORE 4.88745986408E8
AT ITER 1137 NEW BEST:: SOT 2139457494 SOS 1277267694 HAS SOPS 1277267694 HAS SOUS 487468577 HAS SOUPS 487468577 WITH SCORE 4.88745844694E8
AT ITER 1158 NEW BEST:: SOT 2139430814 SOS 1277040908 HAS SOPS 1277040908 HAS SOUS 487468571 HAS SOUPS 487468571 WITH SCORE 4.88745611908E8
AT ITER 1167 NEW BEST:: SOT 2139375456 SOS 1276570352 HAS SOPS 1276570352 HAS SOUS 487468558 HAS SOUPS 487468558 WITH SCORE 4.88745128352E8
AT ITER 1185 NEW BEST:: SOT 2139292294 SOS 1275863462 HAS SOPS 1275863462 HAS SOUS 487468545 HAS SOUPS 487468545 WITH SCORE 4.88744408462E8
AT ITER 1223 NEW BEST:: SOT 2139274180 SOS 1275709466 HAS SOPS 1275709466 HAS SOUS 487468518 HAS SOUPS 487468518 WITH SCORE 4.88744227466E8
AT ITER 1234 NEW BEST:: SOT 2139214580 SOS 1275202863 HAS SOPS 1275202863 HAS SOUS 487468515 HAS SOUPS 487468515 WITH SCORE 4.88743717863E8
AT ITER 1262 NEW BEST:: SOT 2139205312 SOS 1275124063 HAS SOPS 1275124063 HAS SOUS 487468493 HAS SOUPS 487468493 WITH SCORE 4.88743617063E8
AT ITER 1296 NEW BEST:: SOT 2139154684 SOS 1274693711 HAS SOPS 1274693711 HAS SOUS 487468479 HAS SOUPS 487468479 WITH SCORE 4.88743172711E8
AT ITER 1297 NEW BEST:: SOT 2139101210 SOS 1274239121 HAS SOPS 1274239121 HAS SOUS 487468412 HAS SOUPS 487468412 WITH SCORE 4.88742651121E8
AT ITER 1302 NEW BEST:: SOT 2139068090 SOS 1273957541 HAS SOPS 1273957541 HAS SOUS 487468344 HAS SOUPS 487468344 WITH SCORE 4.88742301541E8
AT ITER 1315 NEW BEST:: SOT 2139062484 SOS 1273909840 HAS SOPS 1273909840 HAS SOUS 487468294 HAS SOUPS 487468294 WITH SCORE 4.8874220384E8
AT ITER 1321 NEW BEST:: SOT 2138989888 SOS 1273292769 HAS SOPS 1273292769 HAS SOUS 487468289 HAS SOUPS 487468289 WITH SCORE 4.88741581769E8
AT ITER 1324 NEW BEST:: SOT 2138901070 SOS 1272537808 HAS SOPS 1272537808 HAS SOUS 487468281 HAS SOUPS 487468281 WITH SCORE 4.88740818808E8
AT ITER 1340 NEW BEST:: SOT 2138878698 SOS 1272340715 HAS SOPS 1272340715 HAS SOUS 487460058 HAS SOUPS 487460058 WITH SCORE 4.88732398715E8
AT ITER 1346 NEW BEST:: SOT 2138867760 SOS 1272247735 HAS SOPS 1272247735 HAS SOUS 487460051 HAS SOUPS 487460051 WITH SCORE 4.88732298735E8
AT ITER 1354 NEW BEST:: SOT 2138757990 SOS 1271314677 HAS SOPS 1271314677 HAS SOUS 487460038 HAS SOUPS 487460038 WITH SCORE 4.88731352677E8
AT ITER 1383 NEW BEST:: SOT 2138673122 SOS 1270593233 HAS SOPS 1270593233 HAS SOUS 487459972 HAS SOUPS 487459972 WITH SCORE 4.88730565233E8
AT ITER 1408 NEW BEST:: SOT 2138616964 SOS 1270115877 HAS SOPS 1270115877 HAS SOUS 487459959 HAS SOUPS 487459959 WITH SCORE 4.88730074877E8
AT ITER 1418 NEW BEST:: SOT 2138603318 SOS 1269999837 HAS SOPS 1269999837 HAS SOUS 487459910 HAS SOUPS 487459910 WITH SCORE 4.88729909837E8
AT ITER 1434 NEW BEST:: SOT 2138586634 SOS 1269857980 HAS SOPS 1269857980 HAS SOUS 487459867 HAS SOUPS 487459867 WITH SCORE 4.8872972498E8
AT ITER 1534 NEW BEST:: SOT 2138569564 SOS 1269712850 HAS SOPS 1269712850 HAS SOUS 487459832 HAS SOUPS 487459832 WITH SCORE 4.8872954485E8
AT ITER 1537 NEW BEST:: SOT 2138548662 SOS 1269534573 HAS SOPS 1269534573 HAS SOUS 487459222 HAS SOUPS 487459222 WITH SCORE 4.88728756573E8
AT ITER 1573 NEW BEST:: SOT 2138481248 SOS 1268961549 HAS SOPS 1268961549 HAS SOUS 487459217 HAS SOUPS 487459217 WITH SCORE 4.88728178549E8
AT ITER 1603 NEW BEST:: SOT 2138417616 SOS 1268420654 HAS SOPS 1268420654 HAS SOUS 487459194 HAS SOUPS 487459194 WITH SCORE 4.88727614654E8
AT ITER 1634 NEW BEST:: SOT 2138360144 SOS 1267931716 HAS SOPS 1267931716 HAS SOUS 487458768 HAS SOUPS 487458768 WITH SCORE 4.88726699716E8
AT ITER 1638 NEW BEST:: SOT 2138331026 SOS 1267684176 HAS SOPS 1267684176 HAS SOUS 487458731 HAS SOUPS 487458731 WITH SCORE 4.88726415176E8
AT ITER 1644 NEW BEST:: SOT 2138320446 SOS 1267594238 HAS SOPS 1267594238 HAS SOUS 487458723 HAS SOUPS 487458723 WITH SCORE 4.88726317238E8
AT ITER 1661 NEW BEST:: SOT 2138209214 SOS 1266648733 HAS SOPS 1266648733 HAS SOUS 487458690 HAS SOUPS 487458690 WITH SCORE 4.88725338733E8
AT ITER 1674 NEW BEST:: SOT 2138113458 SOS 1265834770 HAS SOPS 1265834770 HAS SOUS 487458653 HAS SOUPS 487458653 WITH SCORE 4.8872448777E8
AT ITER 1702 NEW BEST:: SOT 2138008940 SOS 1264946325 HAS SOPS 1264946325 HAS SOUS 487458611 HAS SOUPS 487458611 WITH SCORE 4.88723557325E8
AT ITER 1703 NEW BEST:: SOT 2137952262 SOS 1264464535 HAS SOPS 1264464535 HAS SOUS 487458584 HAS SOUPS 487458584 WITH SCORE 4.88723048535E8
AT ITER 1714 NEW BEST:: SOT 2137943274 SOS 1264388068 HAS SOPS 1264388068 HAS SOUS 487458515 HAS SOUPS 487458515 WITH SCORE 4.88722903068E8
AT ITER 1733 NEW BEST:: SOT 2137878480 SOS 1263837079 HAS SOPS 1263837079 HAS SOUS 487458275 HAS SOUPS 487458275 WITH SCORE 4.88722112079E8
AT ITER 1739 NEW BEST:: SOT 2137783494 SOS 1263029686 HAS SOPS 1263029686 HAS SOUS 487458263 HAS SOUPS 487458263 WITH SCORE 4.88721292686E8
AT ITER 1743 NEW BEST:: SOT 2137775422 SOS 1262961052 HAS SOPS 1262961052 HAS SOUS 487458241 HAS SOUPS 487458241 WITH SCORE 4.88721202052E8
AT ITER 1774 NEW BEST:: SOT 2137727320 SOS 1262552152 HAS SOPS 1262552152 HAS SOUS 487458208 HAS SOUPS 487458208 WITH SCORE 4.88720760152E8
AT ITER 1778 NEW BEST:: SOT 2137662416 SOS 1262000436 HAS SOPS 1262000436 HAS SOUS 487458176 HAS SOUPS 487458176 WITH SCORE 4.88720176436E8
AT ITER 1823 NEW BEST:: SOT 2137651656 SOS 1261908298 HAS SOPS 1261908298 HAS SOUS 487457498 HAS SOUPS 487457498 WITH SCORE 4.88719406298E8
AT ITER 1839 NEW BEST:: SOT 2137596842 SOS 1261442322 HAS SOPS 1261442322 HAS SOUS 487457441 HAS SOUPS 487457441 WITH SCORE 4.88718883322E8
AT ITER 1859 NEW BEST:: SOT 2137575476 SOS 1261260654 HAS SOPS 1261260654 HAS SOUS 487457384 HAS SOUPS 487457384 WITH SCORE 4.88718644654E8
AT ITER 1862 NEW BEST:: SOT 2137530230 SOS 1260876057 HAS SOPS 1260876057 HAS SOUS 487457378 HAS SOUPS 487457378 WITH SCORE 4.88718254057E8
AT ITER 1877 NEW BEST:: SOT 2137463456 SOS 1260308429 HAS SOPS 1260308429 HAS SOUS 487457329 HAS SOUPS 487457329 WITH SCORE 4.88717637429E8
AT ITER 1890 NEW BEST:: SOT 2137436176 SOS 1260075975 HAS SOPS 1260075975 HAS SOUS 487456755 HAS SOUPS 487456755 WITH SCORE 4.88716830975E8
AT ITER 1896 NEW BEST:: SOT 2137404214 SOS 1259804283 HAS SOPS 1259804283 HAS SOUS 487456740 HAS SOUPS 487456740 WITH SCORE 4.88716544283E8
AT ITER 1907 NEW BEST:: SOT 2137339036 SOS 1259250266 HAS SOPS 1259250266 HAS SOUS 487456736 HAS SOUPS 487456736 WITH SCORE 4.88715986266E8
AT ITER 1912 NEW BEST:: SOT 2137319418 SOS 1259083513 HAS SOPS 1259083513 HAS SOUS 487456736 HAS SOUPS 487456736 WITH SCORE 4.88715819513E8
AT ITER 1922 NEW BEST:: SOT 2137244172 SOS 1258443909 HAS SOPS 1258443909 HAS SOUS 487456723 HAS SOUPS 487456723 WITH SCORE 4.88715166909E8
AT ITER 1955 NEW BEST:: SOT 2137168228 SOS 1257798324 HAS SOPS 1257798324 HAS SOUS 487456658 HAS SOUPS 487456658 WITH SCORE 4.88714456324E8
AT ITER 1956 NEW BEST:: SOT 2137100014 SOS 1257218466 HAS SOPS 1257218466 HAS SOUS 487456619 HAS SOUPS 487456619 WITH SCORE 4.88713837466E8
AT ITER 1977 NEW BEST:: SOT 2137080574 SOS 1257053214 HAS SOPS 1257053214 HAS SOUS 487456607 HAS SOUPS 487456607 WITH SCORE 4.88713660214E8
AT ITER 1988 NEW BEST:: SOT 2136987416 SOS 1256261358 HAS SOPS 1256261358 HAS SOUS 487456594 HAS SOUPS 487456594 WITH SCORE 4.88712855358E8
AT ITER 2024 NEW BEST:: SOT 2136893584 SOS 1255463754 HAS SOPS 1255463754 HAS SOUS 487456562 HAS SOUPS 487456562 WITH SCORE 4.88712025754E8
AT ITER 2029 NEW BEST:: SOT 2136870246 SOS 1255265330 HAS SOPS 1255265330 HAS SOUS 487456511 HAS SOUPS 487456511 WITH SCORE 4.8871177633E8
AT ITER 2032 NEW BEST:: SOT 2136838268 SOS 1254993514 HAS SOPS 1254993514 HAS SOUS 487456508 HAS SOUPS 487456508 WITH SCORE 4.88711501514E8
AT ITER 2059 NEW BEST:: SOT 2136817360 SOS 1254815769 HAS SOPS 1254815769 HAS SOUS 487456481 HAS SOUPS 487456481 WITH SCORE 4.88711296769E8
AT ITER 2069 NEW BEST:: SOT 2136781352 SOS 1254509693 HAS SOPS 1254509693 HAS SOUS 487456473 HAS SOUPS 487456473 WITH SCORE 4.88710982693E8
AT ITER 2075 NEW BEST:: SOT 2136730304 SOS 1254075767 HAS SOPS 1254075767 HAS SOUS 487456455 HAS SOUPS 487456455 WITH SCORE 4.88710530767E8
AT ITER 2079 NEW BEST:: SOT 2136672802 SOS 1253586978 HAS SOPS 1253586978 HAS SOUS 487456433 HAS SOUPS 487456433 WITH SCORE 4.88710019978E8
AT ITER 2122 NEW BEST:: SOT 2136663112 SOS 1253504561 HAS SOPS 1253504561 HAS SOUS 487456381 HAS SOUPS 487456381 WITH SCORE 4.88709885561E8
AT ITER 2124 NEW BEST:: SOT 2136606656 SOS 1253024059 HAS SOPS 1253024059 HAS SOUS 487455755 HAS SOUPS 487455755 WITH SCORE 4.88708779059E8
AT ITER 2133 NEW BEST:: SOT 2136555960 SOS 1252593100 HAS SOPS 1252593100 HAS SOUS 487455712 HAS SOUPS 487455712 WITH SCORE 4.887083051E8
AT ITER 2158 NEW BEST:: SOT 2136439662 SOS 1251604530 HAS SOPS 1251604530 HAS SOUS 487455675 HAS SOUPS 487455675 WITH SCORE 4.8870727953E8
AT ITER 2167 NEW BEST:: SOT 2136407056 SOS 1251327319 HAS SOPS 1251327319 HAS SOUS 487455615 HAS SOUPS 487455615 WITH SCORE 4.88706942319E8
AT ITER 2205 NEW BEST:: SOT 2136346100 SOS 1250809136 HAS SOPS 1250809136 HAS SOUS 487455558 HAS SOUPS 487455558 WITH SCORE 4.88706367136E8
AT ITER 2215 NEW BEST:: SOT 2136293986 SOS 1250366148 HAS SOPS 1250366148 HAS SOUS 487455539 HAS SOUPS 487455539 WITH SCORE 4.88705905148E8
AT ITER 2217 NEW BEST:: SOT 2136257170 SOS 1250053203 HAS SOPS 1250053203 HAS SOUS 487455530 HAS SOUPS 487455530 WITH SCORE 4.88705583203E8
AT ITER 2247 NEW BEST:: SOT 2136183078 SOS 1249423387 HAS SOPS 1249423387 HAS SOUS 487455496 HAS SOUPS 487455496 WITH SCORE 4.88704919387E8
AT ITER 2261 NEW BEST:: SOT 2136143476 SOS 1249086770 HAS SOPS 1249086770 HAS SOUS 487455496 HAS SOUPS 487455496 WITH SCORE 4.8870458277E8
AT ITER 2285 NEW BEST:: SOT 2136049148 SOS 1248284931 HAS SOPS 1248284931 HAS SOUS 487455445 HAS SOUPS 487455445 WITH SCORE 4.88703729931E8
AT ITER 2290 NEW BEST:: SOT 2136010676 SOS 1247941921 HAS SOPS 1247941921 HAS SOUS 487439447 HAS SOUPS 487439447 WITH SCORE 4.88687388921E8
AT ITER 2317 NEW BEST:: SOT 2135924406 SOS 1247208551 HAS SOPS 1247208551 HAS SOUS 487439364 HAS SOUPS 487439364 WITH SCORE 4.88686572551E8
AT ITER 2339 NEW BEST:: SOT 2135876260 SOS 1246799297 HAS SOPS 1246799297 HAS SOUS 487439351 HAS SOUPS 487439351 WITH SCORE 4.88686150297E8
AT ITER 2346 NEW BEST:: SOT 2135755620 SOS 1245773849 HAS SOPS 1245773849 HAS SOUS 487439343 HAS SOUPS 487439343 WITH SCORE 4.88685116849E8
AT ITER 2362 NEW BEST:: SOT 2135674490 SOS 1245084165 HAS SOPS 1245084165 HAS SOUS 487439250 HAS SOUPS 487439250 WITH SCORE 4.88684334165E8
AT ITER 2387 NEW BEST:: SOT 2135658344 SOS 1244946906 HAS SOPS 1244946906 HAS SOUS 487439232 HAS SOUPS 487439232 WITH SCORE 4.88684178906E8
AT ITER 2410 NEW BEST:: SOT 2135651958 SOS 1244892573 HAS SOPS 1244892573 HAS SOUS 487439180 HAS SOUPS 487439180 WITH SCORE 4.88684072573E8
AT ITER 2418 NEW BEST:: SOT 2135644322 SOS 1244827656 HAS SOPS 1244827656 HAS SOUS 487439169 HAS SOUPS 487439169 WITH SCORE 4.88683996656E8
AT ITER 2431 NEW BEST:: SOT 2135576882 SOS 1244253753 HAS SOPS 1244253753 HAS SOUS 487438506 HAS SOUPS 487438506 WITH SCORE 4.88682759753E8
AT ITER 2439 NEW BEST:: SOT 2135511628 SOS 1243699062 HAS SOPS 1243699062 HAS SOUS 487438474 HAS SOUPS 487438474 WITH SCORE 4.88682173062E8
AT ITER 2511 NEW BEST:: SOT 2135414018 SOS 1242869327 HAS SOPS 1242869327 HAS SOUS 487438424 HAS SOUPS 487438424 WITH SCORE 4.88681293327E8
AT ITER 2516 NEW BEST:: SOT 2135410216 SOS 1242836993 HAS SOPS 1242836993 HAS SOUS 487438407 HAS SOUPS 487438407 WITH SCORE 4.88681243993E8
AT ITER 2521 NEW BEST:: SOT 2135381646 SOS 1242594143 HAS SOPS 1242594143 HAS SOUS 487438402 HAS SOUPS 487438402 WITH SCORE 4.88680996143E8
AT ITER 2525 NEW BEST:: SOT 2135328920 SOS 1242145946 HAS SOPS 1242145946 HAS SOUS 487438376 HAS SOUPS 487438376 WITH SCORE 4.88680521946E8
AT ITER 2542 NEW BEST:: SOT 2135299412 SOS 1241895106 HAS SOPS 1241895106 HAS SOUS 487438354 HAS SOUPS 487438354 WITH SCORE 4.88680249106E8
AT ITER 2561 NEW BEST:: SOT 2135215918 SOS 1241185336 HAS SOPS 1241185336 HAS SOUS 487438283 HAS SOUPS 487438283 WITH SCORE 4.88679468336E8
AT ITER 2579 NEW BEST:: SOT 2135154064 SOS 1240659556 HAS SOPS 1240659556 HAS SOUS 487438262 HAS SOUPS 487438262 WITH SCORE 4.88678921556E8
AT ITER 2596 NEW BEST:: SOT 2135114028 SOS 1240319224 HAS SOPS 1240319224 HAS SOUS 487438236 HAS SOUPS 487438236 WITH SCORE 4.88678555224E8
AT ITER 2603 NEW BEST:: SOT 2135099562 SOS 1240196235 HAS SOPS 1240196235 HAS SOUS 487438208 HAS SOUPS 487438208 WITH SCORE 4.88678404235E8
AT ITER 2652 NEW BEST:: SOT 2135015750 SOS 1239483815 HAS SOPS 1239483815 HAS SOUS 487438190 HAS SOUPS 487438190 WITH SCORE 4.88677673815E8
AT ITER 2654 NEW BEST:: SOT 2135015750 SOS 1239483779 HAS SOPS 1239483779 HAS SOUS 487438154 HAS SOUPS 487438154 WITH SCORE 4.88677637779E8
AT ITER 2670 NEW BEST:: SOT 2134949454 SOS 1238920236 HAS SOPS 1238920236 HAS SOUS 487438127 HAS SOUPS 487438127 WITH SCORE 4.88677047236E8
AT ITER 2676 NEW BEST:: SOT 2134917698 SOS 1238650310 HAS SOPS 1238650310 HAS SOUS 487438127 HAS SOUPS 487438127 WITH SCORE 4.8867677731E8
AT ITER 2687 NEW BEST:: SOT 2134907114 SOS 1238560294 HAS SOPS 1238560294 HAS SOUS 487438075 HAS SOUPS 487438075 WITH SCORE 4.88676635294E8
AT ITER 2691 NEW BEST:: SOT 2134870548 SOS 1238249474 HAS SOPS 1238249474 HAS SOUS 487438066 HAS SOUPS 487438066 WITH SCORE 4.88676315474E8
AT ITER 2724 NEW BEST:: SOT 2134826056 SOS 1237871283 HAS SOPS 1237871283 HAS SOUS 487438057 HAS SOUPS 487438057 WITH SCORE 4.88675928283E8
AT ITER 2732 NEW BEST:: SOT 2134753784 SOS 1237256951 HAS SOPS 1237256951 HAS SOUS 487438037 HAS SOUPS 487438037 WITH SCORE 4.88675293951E8
AT ITER 2740 NEW BEST:: SOT 2134652004 SOS 1236391766 HAS SOPS 1236391766 HAS SOUS 487437982 HAS SOUPS 487437982 WITH SCORE 4.88674373766E8
AT ITER 2750 NEW BEST:: SOT 2134542436 SOS 1235460421 HAS SOPS 1235460421 HAS SOUS 487437965 HAS SOUPS 487437965 WITH SCORE 4.88673425421E8
AT ITER 2784 NEW BEST:: SOT 2134514132 SOS 1235219776 HAS SOPS 1235219776 HAS SOUS 487437904 HAS SOUPS 487437904 WITH SCORE 4.88673123776E8
AT ITER 2785 NEW BEST:: SOT 2134514132 SOS 1235219750 HAS SOPS 1235219750 HAS SOUS 487437878 HAS SOUPS 487437878 WITH SCORE 4.8867309775E8
AT ITER 2798 NEW BEST:: SOT 2134504813 SOS 1235140433 HAS SOPS 1235140433 HAS SOUS 487437840 HAS SOUPS 487437840 WITH SCORE 4.88672980433E8
AT ITER 2809 NEW BEST:: SOT 2134495281 SOS 1235059399 HAS SOPS 1235059399 HAS SOUS 487437828 HAS SOUPS 487437828 WITH SCORE 4.88672887399E8
AT ITER 2813 NEW BEST:: SOT 2134472805 SOS 1234868294 HAS SOPS 1234868294 HAS SOUS 487437769 HAS SOUPS 487437769 WITH SCORE 4.88672637294E8
AT ITER 2818 NEW BEST:: SOT 2134451371 SOS 1234675623 HAS SOPS 1234675623 HAS SOUS 487427287 HAS SOUPS 487427287 WITH SCORE 4.88661962623E8
AT ITER 2826 NEW BEST:: SOT 2134443331 SOS 1234607244 HAS SOPS 1234607244 HAS SOUS 487427248 HAS SOUPS 487427248 WITH SCORE 4.88661855244E8
AT ITER 2839 NEW BEST:: SOT 2134429113 SOS 1234486360 HAS SOPS 1234486360 HAS SOUS 487427217 HAS SOUPS 487427217 WITH SCORE 4.8866170336E8
AT ITER 2944 NEW BEST:: SOT 2134321685 SOS 1233573208 HAS SOPS 1233573208 HAS SOUS 487427203 HAS SOUPS 487427203 WITH SCORE 4.88660776208E8
AT ITER 2954 NEW BEST:: SOT 2134226915 SOS 1232767646 HAS SOPS 1232767646 HAS SOUS 487427186 HAS SOUPS 487427186 WITH SCORE 4.88659953646E8
AT ITER 2960 NEW BEST:: SOT 2134135403 SOS 1231989031 HAS SOPS 1231989031 HAS SOUS 487426317 HAS SOUPS 487426317 WITH SCORE 4.88658306031E8
AT ITER 2965 NEW BEST:: SOT 2134097647 SOS 1231668083 HAS SOPS 1231668083 HAS SOUS 487426295 HAS SOUPS 487426295 WITH SCORE 4.88657963083E8
AT ITER 2971 NEW BEST:: SOT 2134027225 SOS 1231069496 HAS SOPS 1231069496 HAS SOUS 487426295 HAS SOUPS 487426295 WITH SCORE 4.88657364496E8
AT ITER 2982 NEW BEST:: SOT 2133947939 SOS 1230392334 HAS SOPS 1230392334 HAS SOUS 487423064 HAS SOUPS 487423064 WITH SCORE 4.88653456334E8
AT ITER 2996 NEW BEST:: SOT 2133899243 SOS 1229948280 HAS SOPS 1229948280 HAS SOUS 487403450 HAS SOUPS 487403450 WITH SCORE 4.8863339828E8
AT ITER 3026 NEW BEST:: SOT 2133809721 SOS 1229187305 HAS SOPS 1229187305 HAS SOUS 487403412 HAS SOUPS 487403412 WITH SCORE 4.88632599305E8
AT ITER 3038 NEW BEST:: SOT 2133745677 SOS 1228642896 HAS SOPS 1228642896 HAS SOUS 487403377 HAS SOUPS 487403377 WITH SCORE 4.88632019896E8
AT ITER 3041 NEW BEST:: SOT 2133713959 SOS 1228372540 HAS SOPS 1228372540 HAS SOUS 487402506 HAS SOUPS 487402506 WITH SCORE 4.8863087854E8
AT ITER 3050 NEW BEST:: SOT 2133696237 SOS 1228221899 HAS SOPS 1228221899 HAS SOUS 487402502 HAS SOUPS 487402502 WITH SCORE 4.88630723899E8
AT ITER 3107 NEW BEST:: SOT 2133685465 SOS 1228130284 HAS SOPS 1228130284 HAS SOUS 487402449 HAS SOUPS 487402449 WITH SCORE 4.88630579284E8
AT ITER 3114 NEW BEST:: SOT 2133678151 SOS 1228068106 HAS SOPS 1228068106 HAS SOUS 487402440 HAS SOUPS 487402440 WITH SCORE 4.88630508106E8
AT ITER 3120 NEW BEST:: SOT 2133606803 SOS 1227461588 HAS SOPS 1227461588 HAS SOUS 487402372 HAS SOUPS 487402372 WITH SCORE 4.88629833588E8
AT ITER 3163 NEW BEST:: SOT 2133535645 SOS 1226856730 HAS SOPS 1226856730 HAS SOUS 487402357 HAS SOUPS 487402357 WITH SCORE 4.8862921373E8
AT ITER 3164 NEW BEST:: SOT 2133530243 SOS 1226810782 HAS SOPS 1226810782 HAS SOUS 487402326 HAS SOUPS 487402326 WITH SCORE 4.88629136782E8
AT ITER 3192 NEW BEST:: SOT 2133499961 SOS 1226552993 HAS SOPS 1226552993 HAS SOUS 487401934 HAS SOUPS 487401934 WITH SCORE 4.88628486993E8
AT ITER 3198 NEW BEST:: SOT 2133461431 SOS 1226225480 HAS SOPS 1226225480 HAS SOUS 487401926 HAS SOUPS 487401926 WITH SCORE 4.8862815148E8
AT ITER 3202 NEW BEST:: SOT 2133417507 SOS 1225852062 HAS SOPS 1225852062 HAS SOUS 487401854 HAS SOUPS 487401854 WITH SCORE 4.88627706062E8
AT ITER 3229 NEW BEST:: SOT 2133316271 SOS 1224990974 HAS SOPS 1224990974 HAS SOUS 487401272 HAS SOUPS 487401272 WITH SCORE 4.88626262974E8
AT ITER 3246 NEW BEST:: SOT 2133303979 SOS 1224885869 HAS SOPS 1224885869 HAS SOUS 487400649 HAS SOUPS 487400649 WITH SCORE 4.88625534869E8
AT ITER 3328 NEW BEST:: SOT 2133285173 SOS 1224725988 HAS SOPS 1224725988 HAS SOUS 487400619 HAS SOUPS 487400619 WITH SCORE 4.88625344988E8
AT ITER 3339 NEW BEST:: SOT 2133177579 SOS 1223811374 HAS SOPS 1223811374 HAS SOUS 487400554 HAS SOUPS 487400554 WITH SCORE 4.88624365374E8
AT ITER 3368 NEW BEST:: SOT 2133111551 SOS 1223250114 HAS SOPS 1223250114 HAS SOUS 487400532 HAS SOUPS 487400532 WITH SCORE 4.88623782114E8
AT ITER 3400 NEW BEST:: SOT 2133017605 SOS 1222451529 HAS SOPS 1222451529 HAS SOUS 487400488 HAS SOUPS 487400488 WITH SCORE 4.88622939529E8
AT ITER 3423 NEW BEST:: SOT 2132892099 SOS 1221384686 HAS SOPS 1221384686 HAS SOUS 487400446 HAS SOUPS 487400446 WITH SCORE 4.88621830686E8
AT ITER 3440 NEW BEST:: SOT 2132876769 SOS 1221254345 HAS SOPS 1221254345 HAS SOUS 487400410 HAS SOUPS 487400410 WITH SCORE 4.88621664345E8
AT ITER 3461 NEW BEST:: SOT 2132869455 SOS 1221192129 HAS SOPS 1221192129 HAS SOUS 487400363 HAS SOUPS 487400363 WITH SCORE 4.88621555129E8
AT ITER 3484 NEW BEST:: SOT 2132843119 SOS 1220968231 HAS SOPS 1220968231 HAS SOUS 487400321 HAS SOUPS 487400321 WITH SCORE 4.88621289231E8
AT ITER 3492 NEW BEST:: SOT 2132829989 SOS 1220856569 HAS SOPS 1220856569 HAS SOUS 487400264 HAS SOUPS 487400264 WITH SCORE 4.88621120569E8
AT ITER 3495 NEW BEST:: SOT 2132805751 SOS 1220650501 HAS SOPS 1220650501 HAS SOUS 487400219 HAS SOUPS 487400219 WITH SCORE 4.88620869501E8
AT ITER 3507 NEW BEST:: SOT 2132719841 SOS 1219920250 HAS SOPS 1219920250 HAS SOUS 487400203 HAS SOUPS 487400203 WITH SCORE 4.8862012325E8
AT ITER 3531 NEW BEST:: SOT 2132677225 SOS 1219558005 HAS SOPS 1219558005 HAS SOUS 487400194 HAS SOUPS 487400194 WITH SCORE 4.88619752005E8
AT ITER 3539 NEW BEST:: SOT 2132656561 SOS 1219382334 HAS SOPS 1219382334 HAS SOUS 487400167 HAS SOUPS 487400167 WITH SCORE 4.88619549334E8
AT ITER 3544 NEW BEST:: SOT 2132616587 SOS 1219042529 HAS SOPS 1219042529 HAS SOUS 487400141 HAS SOUPS 487400141 WITH SCORE 4.88619183529E8
AT ITER 3564 NEW BEST:: SOT 2132578641 SOS 1218719944 HAS SOPS 1218719944 HAS SOUS 487400097 HAS SOUPS 487400097 WITH SCORE 4.88618816944E8
AT ITER 3581 NEW BEST:: SOT 2132548531 SOS 1218463394 HAS SOPS 1218463394 HAS SOUS 487399482 HAS SOUPS 487399482 WITH SCORE 4.88617945394E8
AT ITER 3592 NEW BEST:: SOT 2132491973 SOS 1217982647 HAS SOPS 1217982647 HAS SOUS 487399478 HAS SOUPS 487399478 WITH SCORE 4.88617460647E8
AT ITER 3595 NEW BEST:: SOT 2132452807 SOS 1217649702 HAS SOPS 1217649702 HAS SOUS 487399444 HAS SOUPS 487399444 WITH SCORE 4.88617093702E8
AT ITER 3627 NEW BEST:: SOT 2132394257 SOS 1217151974 HAS SOPS 1217151974 HAS SOUS 487399391 HAS SOUPS 487399391 WITH SCORE 4.88616542974E8
AT ITER 3636 NEW BEST:: SOT 2132384188 SOS 1217061287 HAS SOPS 1217061287 HAS SOUS 487394628 HAS SOUPS 487394628 WITH SCORE 4.88611689287E8
AT ITER 3650 NEW BEST:: SOT 2132292222 SOS 1216233593 HAS SOPS 1216233593 HAS SOUS 487348645 HAS SOUPS 487348645 WITH SCORE 4.88564878593E8
AT ITER 3663 NEW BEST:: SOT 2132244106 SOS 1215824592 HAS SOPS 1215824592 HAS SOUS 487348630 HAS SOUPS 487348630 WITH SCORE 4.88564454592E8
AT ITER 3666 NEW BEST:: SOT 2132237234 SOS 1215766164 HAS SOPS 1215766164 HAS SOUS 487348614 HAS SOUPS 487348614 WITH SCORE 4.88564380164E8
AT ITER 3688 NEW BEST:: SOT 2132179428 SOS 1215247444 HAS SOPS 1215247444 HAS SOUS 487321245 HAS SOUPS 487321245 WITH SCORE 4.88536492444E8
AT ITER 3699 NEW BEST:: SOT 2132129146 SOS 1214820027 HAS SOPS 1214820027 HAS SOUS 487321225 HAS SOUPS 487321225 WITH SCORE 4.88536045027E8
AT ITER 3719 NEW BEST:: SOT 2132038572 SOS 1214050139 HAS SOPS 1214050139 HAS SOUS 487321216 HAS SOUPS 487321216 WITH SCORE 4.88535266139E8
AT ITER 3726 NEW BEST:: SOT 2131949580 SOS 1213293639 HAS SOPS 1213293639 HAS SOUS 487321148 HAS SOUPS 487321148 WITH SCORE 4.88534441639E8
AT ITER 3767 NEW BEST:: SOT 2131900368 SOS 1212875306 HAS SOPS 1212875306 HAS SOUS 487321117 HAS SOUPS 487321117 WITH SCORE 4.88533992306E8
AT ITER 3768 NEW BEST:: SOT 2131832386 SOS 1212297459 HAS SOPS 1212297459 HAS SOUS 487321117 HAS SOUPS 487321117 WITH SCORE 4.88533414459E8
AT ITER 3807 NEW BEST:: SOT 2131778660 SOS 1211840763 HAS SOPS 1211840763 HAS SOUS 487321092 HAS SOUPS 487321092 WITH SCORE 4.88532932763E8
AT ITER 3829 NEW BEST:: SOT 2131736118 SOS 1211479144 HAS SOPS 1211479144 HAS SOUS 487321080 HAS SOUPS 487321080 WITH SCORE 4.88532559144E8
AT ITER 3832 NEW BEST:: SOT 2131712102 SOS 1211274944 HAS SOPS 1211274944 HAS SOUS 487321006 HAS SOUPS 487321006 WITH SCORE 4.88532280944E8
AT ITER 3840 NEW BEST:: SOT 2131685022 SOS 1211044742 HAS SOPS 1211044742 HAS SOUS 487320984 HAS SOUPS 487320984 WITH SCORE 4.88532028742E8
AT ITER 3846 NEW BEST:: SOT 2131592762 SOS 1210260461 HAS SOPS 1210260461 HAS SOUS 487320913 HAS SOUPS 487320913 WITH SCORE 4.88531173461E8
AT ITER 3861 NEW BEST:: SOT 2131582438 SOS 1210172696 HAS SOPS 1210172696 HAS SOUS 487320902 HAS SOUPS 487320902 WITH SCORE 4.88531074696E8
AT ITER 3876 NEW BEST:: SOT 2131582438 SOS 1210172691 HAS SOPS 1210172691 HAS SOUS 487320897 HAS SOUPS 487320897 WITH SCORE 4.88531069691E8
AT ITER 3935 NEW BEST:: SOT 2131483042 SOS 1209327797 HAS SOPS 1209327797 HAS SOUS 487320869 HAS SOUPS 487320869 WITH SCORE 4.88530196797E8
AT ITER 3991 NEW BEST:: SOT 2131420772 SOS 1208798446 HAS SOPS 1208798446 HAS SOUS 487320813 HAS SOUPS 487320813 WITH SCORE 4.88529611446E8
AT ITER 3995 NEW BEST:: SOT 2131320778 SOS 1207948471 HAS SOPS 1207948471 HAS SOUS 487320787 HAS SOUPS 487320787 WITH SCORE 4.88528735471E8
AT ITER 4001 NEW BEST:: SOT 2131284806 SOS 1207642679 HAS SOPS 1207642679 HAS SOUS 487320757 HAS SOUPS 487320757 WITH SCORE 4.88528399679E8
AT ITER 4014 NEW BEST:: SOT 2131204418 SOS 1206959334 HAS SOPS 1206959334 HAS SOUS 487320710 HAS SOUPS 487320710 WITH SCORE 4.88527669334E8
AT ITER 4068 NEW BEST:: SOT 2131186522 SOS 1206807156 HAS SOPS 1206807156 HAS SOUS 487320638 HAS SOUPS 487320638 WITH SCORE 4.88527445156E8
AT ITER 4078 NEW BEST:: SOT 2131159376 SOS 1206576371 HAS SOPS 1206576371 HAS SOUS 487320594 HAS SOUPS 487320594 WITH SCORE 4.88527170371E8
AT ITER 4092 NEW BEST:: SOT 2131151460 SOS 1206509076 HAS SOPS 1206509076 HAS SOUS 487320585 HAS SOUPS 487320585 WITH SCORE 4.88527094076E8
AT ITER 4125 NEW BEST:: SOT 2131114024 SOS 1206190850 HAS SOPS 1206190850 HAS SOUS 487320565 HAS SOUPS 487320565 WITH SCORE 4.8852675585E8
AT ITER 4136 NEW BEST:: SOT 2131058376 SOS 1205691069 HAS SOPS 1205691069 HAS SOUS 487320402 HAS SOUPS 487320402 WITH SCORE 4.88526093069E8
AT ITER 4163 NEW BEST:: SOT 2130981792 SOS 1205040081 HAS SOPS 1205040081 HAS SOUS 487320378 HAS SOUPS 487320378 WITH SCORE 4.88525418081E8
AT ITER 4185 NEW BEST:: SOT 2130930554 SOS 1204604538 HAS SOPS 1204604538 HAS SOUS 487320358 HAS SOUPS 487320358 WITH SCORE 4.88524962538E8
AT ITER 4193 NEW BEST:: SOT 2130842148 SOS 1203853082 HAS SOPS 1203853082 HAS SOUS 487320353 HAS SOUPS 487320353 WITH SCORE 4.88524206082E8
AT ITER 4231 NEW BEST:: SOT 2130779498 SOS 1203320506 HAS SOPS 1203320506 HAS SOUS 487320302 HAS SOUPS 487320302 WITH SCORE 4.88523622506E8
AT ITER 4271 NEW BEST:: SOT 2130747804 SOS 1203051083 HAS SOPS 1203051083 HAS SOUS 487320278 HAS SOUPS 487320278 WITH SCORE 4.88523329083E8
AT ITER 4277 NEW BEST:: SOT 2130725155 SOS 1202838113 HAS SOPS 1202838113 HAS SOUS 487314397 HAS SOUPS 487314397 WITH SCORE 4.88517235113E8
AT ITER 4306 NEW BEST:: SOT 2130660937 SOS 1202292167 HAS SOPS 1202292167 HAS SOUS 487314304 HAS SOUPS 487314304 WITH SCORE 4.88516596167E8
AT ITER 4308 NEW BEST:: SOT 2130545799 SOS 1201313466 HAS SOPS 1201313466 HAS SOUS 487314276 HAS SOUPS 487314276 WITH SCORE 4.88515589466E8
AT ITER 4316 NEW BEST:: SOT 2130535749 SOS 1201227983 HAS SOPS 1201227983 HAS SOUS 487314218 HAS SOUPS 487314218 WITH SCORE 4.88515445983E8
AT ITER 4327 NEW BEST:: SOT 2130423975 SOS 1200277879 HAS SOPS 1200277879 HAS SOUS 487314193 HAS SOUPS 487314193 WITH SCORE 4.88514470879E8
AT ITER 4332 NEW BEST:: SOT 2130318071 SOS 1199377634 HAS SOPS 1199377634 HAS SOUS 487314132 HAS SOUPS 487314132 WITH SCORE 4.88513509634E8
AT ITER 4443 NEW BEST:: SOT 2130196149 SOS 1198341229 HAS SOPS 1198341229 HAS SOUS 487314064 HAS SOUPS 487314064 WITH SCORE 4.88512405229E8
AT ITER 4458 NEW BEST:: SOT 2130149047 SOS 1197940822 HAS SOPS 1197940822 HAS SOUS 487314024 HAS SOUPS 487314024 WITH SCORE 4.88511964822E8
AT ITER 4502 NEW BEST:: SOT 2130121095 SOS 1197692907 HAS SOPS 1197692907 HAS SOUS 487303701 HAS SOUPS 487303701 WITH SCORE 4.88501393907E8
AT ITER 4528 NEW BEST:: SOT 2130091936 SOS 1197440014 HAS SOPS 1197440014 HAS SOUS 487303887 HAS SOUPS 487303887 WITH SCORE 4.88501327014E8
AT ITER 4531 NEW BEST:: SOT 2130060352 SOS 1197171524 HAS SOPS 1197171524 HAS SOUS 487303861 HAS SOUPS 487303861 WITH SCORE 4.88501032524E8
AT ITER 4541 NEW BEST:: SOT 2129904482 SOS 1196064756 HAS SOPS 1196064756 HAS SOUS 487283193 HAS SOUPS 487283193 WITH SCORE 4.88479257756E8
AT ITER 4567 NEW BEST:: SOT 2129847606 SOS 1195581310 HAS SOPS 1195581310 HAS SOUS 487283193 HAS SOUPS 487283193 WITH SCORE 4.8847877431E8
AT ITER 4576 NEW BEST:: SOT 2129759936 SOS 1194836078 HAS SOPS 1194836078 HAS SOUS 487283156 HAS SOUPS 487283156 WITH SCORE 4.88477992078E8
AT ITER 4581 NEW BEST:: SOT 2129682512 SOS 1194177917 HAS SOPS 1194177917 HAS SOUS 487283099 HAS SOUPS 487283099 WITH SCORE 4.88477276917E8
AT ITER 4671 NEW BEST:: SOT 2129587004 SOS 1193365512 HAS SOPS 1193365512 HAS SOUS 487282512 HAS SOUPS 487282512 WITH SCORE 4.88475877512E8
AT ITER 4705 NEW BEST:: SOT 2129560950 SOS 1193144049 HAS SOPS 1193144049 HAS SOUS 487282508 HAS SOUPS 487282508 WITH SCORE 4.88475652049E8
AT ITER 4730 NEW BEST:: SOT 2129560950 SOS 1193143994 HAS SOPS 1193143994 HAS SOUS 487282453 HAS SOUPS 487282453 WITH SCORE 4.88475596994E8
AT ITER 4731 NEW BEST:: SOT 2129530386 SOS 1192884131 HAS SOPS 1192884131 HAS SOUS 487282384 HAS SOUPS 487282384 WITH SCORE 4.88475268131E8
AT ITER 4755 NEW BEST:: SOT 2129482154 SOS 1192474125 HAS SOPS 1192474125 HAS SOUS 487282350 HAS SOUPS 487282350 WITH SCORE 4.88474824125E8
AT ITER 4768 NEW BEST:: SOT 2129406954 SOS 1191834259 HAS SOPS 1191834259 HAS SOUS 487281684 HAS SOUPS 487281684 WITH SCORE 4.88473518259E8
AT ITER 4774 NEW BEST:: SOT 2129389440 SOS 1191685387 HAS SOPS 1191685387 HAS SOUS 487281681 HAS SOUPS 487281681 WITH SCORE 4.88473366387E8
AT ITER 4835 NEW BEST:: SOT 2129298748 SOS 1190914428 HAS SOPS 1190914428 HAS SOUS 487281594 HAS SOUPS 487281594 WITH SCORE 4.88472508428E8
AT ITER 4855 NEW BEST:: SOT 2129291182 SOS 1190850073 HAS SOPS 1190850073 HAS SOUS 487281550 HAS SOUPS 487281550 WITH SCORE 4.88472400073E8
AT ITER 4857 NEW BEST:: SOT 2129244702 SOS 1190454963 HAS SOPS 1190454963 HAS SOUS 487281520 HAS SOUPS 487281520 WITH SCORE 4.88471974963E8
AT ITER 4886 NEW BEST:: SOT 2129218804 SOS 1190234766 HAS SOPS 1190234766 HAS SOUS 487281450 HAS SOUPS 487281450 WITH SCORE 4.88471684766E8
AT ITER 4887 NEW BEST:: SOT 2129171636 SOS 1189833798 HAS SOPS 1189833798 HAS SOUS 487281410 HAS SOUPS 487281410 WITH SCORE 4.88471243798E8
AT ITER 4894 NEW BEST:: SOT 2129170932 SOS 1189827814 HAS SOPS 1189827814 HAS SOUS 487281410 HAS SOUPS 487281410 WITH SCORE 4.88471237814E8
AT ITER 4937 NEW BEST:: SOT 2129068660 SOS 1188958445 HAS SOPS 1188958445 HAS SOUS 487281353 HAS SOUPS 487281353 WITH SCORE 4.88470311445E8
AT ITER 4970 NEW BEST:: SOT 2128954813 SOS 1187910441 HAS SOPS 1187910441 HAS SOUS 487231446 HAS SOUPS 487231446 WITH SCORE 4.88419356441E8
AT ITER 4982 NEW BEST:: SOT 2128887665 SOS 1187339646 HAS SOPS 1187339646 HAS SOUS 487231409 HAS SOUPS 487231409 WITH SCORE 4.88418748646E8
AT ITER 5024 NEW BEST:: SOT 2128886851 SOS 1187335333 HAS SOPS 1187335333 HAS SOUS 487227910 HAS SOUPS 487227910 WITH SCORE 4.88415245333E8
AT ITER 5045 NEW BEST:: SOT 2128836695 SOS 1186908973 HAS SOPS 1186908973 HAS SOUS 487227876 HAS SOUPS 487227876 WITH SCORE 4.88414784973E8
AT ITER 5069 NEW BEST:: SOT 2128812493 SOS 1186703207 HAS SOPS 1186703207 HAS SOUS 487227827 HAS SOUPS 487227827 WITH SCORE 4.88414530207E8
AT ITER 5084 NEW BEST:: SOT 2128803299 SOS 1186624995 HAS SOPS 1186624995 HAS SOUS 487227758 HAS SOUPS 487227758 WITH SCORE 4.88414382995E8
AT ITER 5089 NEW BEST:: SOT 2128706911 SOS 1185805626 HAS SOPS 1185805626 HAS SOUS 487227687 HAS SOUPS 487227687 WITH SCORE 4.88413492626E8
AT ITER 5090 NEW BEST:: SOT 2128689503 SOS 1185657620 HAS SOPS 1185657620 HAS SOUS 487227649 HAS SOUPS 487227649 WITH SCORE 4.8841330662E8
AT ITER 5109 NEW BEST:: SOT 2128597487 SOS 1184814754 HAS SOPS 1184814754 HAS SOUS 487187289 HAS SOUPS 487187289 WITH SCORE 4.88372103754E8
AT ITER 5110 NEW BEST:: SOT 2128504591 SOS 1183954662 HAS SOPS 1183954662 HAS SOUS 487143453 HAS SOUPS 487143453 WITH SCORE 4.88327407662E8
AT ITER 5132 NEW BEST:: SOT 2128488923 SOS 1183821480 HAS SOPS 1183821480 HAS SOUS 487143449 HAS SOUPS 487143449 WITH SCORE 4.8832727048E8
AT ITER 5144 NEW BEST:: SOT 2128473899 SOS 1183693761 HAS SOPS 1183693761 HAS SOUS 487143434 HAS SOUPS 487143434 WITH SCORE 4.88327127761E8
AT ITER 5162 NEW BEST:: SOT 2128425963 SOS 1183286249 HAS SOPS 1183286249 HAS SOUS 487143378 HAS SOUPS 487143378 WITH SCORE 4.88326664249E8
AT ITER 5164 NEW BEST:: SOT 2128407685 SOS 1183130838 HAS SOPS 1183130838 HAS SOUS 487143330 HAS SOUPS 487143330 WITH SCORE 4.88326460838E8
AT ITER 5174 NEW BEST:: SOT 2128377875 SOS 1182877394 HAS SOPS 1182877394 HAS SOUS 487143271 HAS SOUPS 487143271 WITH SCORE 4.88326148394E8
AT ITER 5269 NEW BEST:: SOT 2128267847 SOS 1181942090 HAS SOPS 1181942090 HAS SOUS 487143205 HAS SOUPS 487143205 WITH SCORE 4.8832514709E8
AT ITER 5275 NEW BEST:: SOT 2128217851 SOS 1181517110 HAS SOPS 1181517110 HAS SOUS 487143191 HAS SOUPS 487143191 WITH SCORE 4.8832470811E8
AT ITER 5282 NEW BEST:: SOT 2128182573 SOS 1181217247 HAS SOPS 1181217247 HAS SOUS 487143191 HAS SOUPS 487143191 WITH SCORE 4.88324408247E8
AT ITER 5288 NEW BEST:: SOT 2128174327 SOS 1181147129 HAS SOPS 1181147129 HAS SOUS 487143164 HAS SOUPS 487143164 WITH SCORE 4.88324311129E8
AT ITER 5310 NEW BEST:: SOT 2128138414 SOS 1180814225 HAS SOPS 1180814225 HAS SOUS 487131563 HAS SOUPS 487131563 WITH SCORE 4.88312377225E8
AT ITER 5328 NEW BEST:: SOT 2128067756 SOS 1180213619 HAS SOPS 1180213619 HAS SOUS 487131550 HAS SOUPS 487131550 WITH SCORE 4.88311763619E8
AT ITER 5334 NEW BEST:: SOT 2128028984 SOS 1179884057 HAS SOPS 1179884057 HAS SOUS 487131550 HAS SOUPS 487131550 WITH SCORE 4.88311434057E8
AT ITER 5363 NEW BEST:: SOT 2127985926 SOS 1179518042 HAS SOPS 1179518042 HAS SOUS 487131528 HAS SOUPS 487131528 WITH SCORE 4.88311046042E8
AT ITER 5376 NEW BEST:: SOT 2127980412 SOS 1179470938 HAS SOPS 1179470938 HAS SOUS 487131293 HAS SOUPS 487131293 WITH SCORE 4.88310763938E8
AT ITER 5436 NEW BEST:: SOT 2127973872 SOS 1179415339 HAS SOPS 1179415339 HAS SOUS 487131284 HAS SOUPS 487131284 WITH SCORE 4.88310699339E8
AT ITER 5439 NEW BEST:: SOT 2127961308 SOS 1179308117 HAS SOPS 1179308117 HAS SOUS 487130856 HAS SOUPS 487130856 WITH SCORE 4.88310164117E8
AT ITER 5465 NEW BEST:: SOT 2127932104 SOS 1179059834 HAS SOPS 1179059834 HAS SOUS 487130807 HAS SOUPS 487130807 WITH SCORE 4.88309866834E8
AT ITER 5509 NEW BEST:: SOT 2127862958 SOS 1178472068 HAS SOPS 1178472068 HAS SOUS 487130782 HAS SOUPS 487130782 WITH SCORE 4.88309254068E8
AT ITER 5533 NEW BEST:: SOT 2127846230 SOS 1178329821 HAS SOPS 1178329821 HAS SOUS 487130715 HAS SOUPS 487130715 WITH SCORE 4.88309044821E8
AT ITER 5562 NEW BEST:: SOT 2127757838 SOS 1177578410 HAS SOPS 1177578410 HAS SOUS 487130624 HAS SOUPS 487130624 WITH SCORE 4.8830820241E8
AT ITER 5590 NEW BEST:: SOT 2127699072 SOS 1177051181 HAS SOPS 1177051181 HAS SOUS 487102906 HAS SOUPS 487102906 WITH SCORE 4.88279957181E8
AT ITER 5596 NEW BEST:: SOT 2127669953 SOS 1176777683 HAS SOPS 1176777683 HAS SOUS 487094252 HAS SOUPS 487094252 WITH SCORE 4.88271029683E8
AT ITER 5613 NEW BEST:: SOT 2127662511 SOS 1176714356 HAS SOPS 1176714356 HAS SOUS 487094182 HAS SOUPS 487094182 WITH SCORE 4.88270896356E8
AT ITER 5639 NEW BEST:: SOT 2127657237 SOS 1176669486 HAS SOPS 1176669486 HAS SOUS 487094141 HAS SOUPS 487094141 WITH SCORE 4.88270810486E8
AT ITER 5654 NEW BEST:: SOT 2127657237 SOS 1176626709 HAS SOPS 1176626709 HAS SOUS 487057234 HAS SOUPS 487057234 WITH SCORE 4.88233860709E8
AT ITER 5662 NEW BEST:: SOT 2127626705 SOS 1176367171 HAS SOPS 1176367171 HAS SOUS 487057218 HAS SOUPS 487057218 WITH SCORE 4.88233585171E8
AT ITER 5675 NEW BEST:: SOT 2127594541 SOS 1176093770 HAS SOPS 1176093770 HAS SOUS 487057211 HAS SOUPS 487057211 WITH SCORE 4.8823330477E8
AT ITER 5683 NEW BEST:: SOT 2127535318 SOS 1175557520 HAS SOPS 1175557520 HAS SOUS 487052987 HAS SOUPS 487052987 WITH SCORE 4.8822854452E8
AT ITER 5698 NEW BEST:: SOT 2127515044 SOS 1175376522 HAS SOPS 1175376522 HAS SOUS 487044318 HAS SOUPS 487044318 WITH SCORE 4.88219694522E8
AT ITER 5715 NEW BEST:: SOT 2127445598 SOS 1174752528 HAS SOPS 1174752528 HAS SOUS 487010615 HAS SOUPS 487010615 WITH SCORE 4.88185367528E8
AT ITER 5732 NEW BEST:: SOT 2127402840 SOS 1174389081 HAS SOPS 1174389081 HAS SOUS 487010611 HAS SOUPS 487010611 WITH SCORE 4.88185000081E8
AT ITER 5746 NEW BEST:: SOT 2127383662 SOS 1174226055 HAS SOPS 1174226055 HAS SOUS 487010598 HAS SOUPS 487010598 WITH SCORE 4.88184824055E8
AT ITER 5754 NEW BEST:: SOT 2127295934 SOS 1173479737 HAS SOPS 1173479737 HAS SOUS 487009968 HAS SOUPS 487009968 WITH SCORE 4.88183447737E8
AT ITER 5755 NEW BEST:: SOT 2127216380 SOS 1172803475 HAS SOPS 1172803475 HAS SOUS 487009915 HAS SOUPS 487009915 WITH SCORE 4.88182718475E8
AT ITER 5765 NEW BEST:: SOT 2127178230 SOS 1172479139 HAS SOPS 1172479139 HAS SOUS 487009854 HAS SOUPS 487009854 WITH SCORE 4.88182333139E8
AT ITER 5766 NEW BEST:: SOT 2127132128 SOS 1172064974 HAS SOPS 1172064974 HAS SOUS 486987556 HAS SOUPS 486987556 WITH SCORE 4.88159620974E8
AT ITER 5797 NEW BEST:: SOT 2127117672 SOS 1171930613 HAS SOPS 1171930613 HAS SOUS 486985686 HAS SOUPS 486985686 WITH SCORE 4.88157616613E8
AT ITER 5811 NEW BEST:: SOT 2127089046 SOS 1171687267 HAS SOPS 1171687267 HAS SOUS 486985661 HAS SOUPS 486985661 WITH SCORE 4.88157348267E8
AT ITER 5827 NEW BEST:: SOT 2127063386 SOS 1171469096 HAS SOPS 1171469096 HAS SOUS 486985594 HAS SOUPS 486985594 WITH SCORE 4.88157063096E8
AT ITER 5832 NEW BEST:: SOT 2127044824 SOS 1171311315 HAS SOPS 1171311315 HAS SOUS 486985590 HAS SOUPS 486985590 WITH SCORE 4.88156901315E8
AT ITER 5851 NEW BEST:: SOT 2127019630 SOS 1171097160 HAS SOPS 1171097160 HAS SOUS 486985584 HAS SOUPS 486985584 WITH SCORE 4.8815668116E8
AT ITER 5855 NEW BEST:: SOT 2126931342 SOS 1170346654 HAS SOPS 1170346654 HAS SOUS 486985526 HAS SOUPS 486985526 WITH SCORE 4.88155872654E8
AT ITER 5878 NEW BEST:: SOT 2126848654 SOS 1169643785 HAS SOPS 1169643785 HAS SOUS 486985505 HAS SOUPS 486985505 WITH SCORE 4.88155148785E8
AT ITER 5939 NEW BEST:: SOT 2126833482 SOS 1169514796 HAS SOPS 1169514796 HAS SOUS 486985478 HAS SOUPS 486985478 WITH SCORE 4.88154992796E8
AT ITER 5957 NEW BEST:: SOT 2126833482 SOS 1169514733 HAS SOPS 1169514733 HAS SOUS 486985407 HAS SOUPS 486985407 WITH SCORE 4.88154921733E8
AT ITER 5959 NEW BEST:: SOT 2126737414 SOS 1168698087 HAS SOPS 1168698087 HAS SOUS 486985339 HAS SOUPS 486985339 WITH SCORE 4.88154037087E8
AT ITER 5995 NEW BEST:: SOT 2126650042 SOS 1167955187 HAS SOPS 1167955187 HAS SOUS 486985101 HAS SOUPS 486985101 WITH SCORE 4.88153056187E8
AT ITER 6001 NEW BEST:: SOT 2126637264 SOS 1167846552 HAS SOPS 1167846552 HAS SOUS 486985079 HAS SOUPS 486985079 WITH SCORE 4.88152925552E8
AT ITER 6022 NEW BEST:: SOT 2126586342 SOS 1167413667 HAS SOPS 1167413667 HAS SOUS 486985031 HAS SOUPS 486985031 WITH SCORE 4.88152444667E8
AT ITER 6023 NEW BEST:: SOT 2126563434 SOS 1167218927 HAS SOPS 1167218927 HAS SOUS 486985009 HAS SOUPS 486985009 WITH SCORE 4.88152227927E8
AT ITER 6027 NEW BEST:: SOT 2126500246 SOS 1166681764 HAS SOPS 1166681764 HAS SOUS 486984936 HAS SOUPS 486984936 WITH SCORE 4.88151617764E8
AT ITER 6063 NEW BEST:: SOT 2126500246 SOS 1166681731 HAS SOPS 1166681731 HAS SOUS 486984903 HAS SOUPS 486984903 WITH SCORE 4.88151584731E8
AT ITER 6070 NEW BEST:: SOT 2126391620 SOS 1165758350 HAS SOPS 1165758350 HAS SOUS 486984843 HAS SOUPS 486984843 WITH SCORE 4.8815060135E8
AT ITER 6091 NEW BEST:: SOT 2126274454 SOS 1164762362 HAS SOPS 1164762362 HAS SOUS 486984766 HAS SOUPS 486984766 WITH SCORE 4.88149528362E8
AT ITER 6097 NEW BEST:: SOT 2126213726 SOS 1164246117 HAS SOPS 1164246117 HAS SOUS 486984709 HAS SOUPS 486984709 WITH SCORE 4.88148955117E8
AT ITER 6124 NEW BEST:: SOT 2126109822 SOS 1163362925 HAS SOPS 1163362925 HAS SOUS 486984701 HAS SOUPS 486984701 WITH SCORE 4.88148063925E8
AT ITER 6147 NEW BEST:: SOT 2126007462 SOS 1162492859 HAS SOPS 1162492859 HAS SOUS 486984695 HAS SOUPS 486984695 WITH SCORE 4.88147187859E8
AT ITER 6151 NEW BEST:: SOT 2125917260 SOS 1161726116 HAS SOPS 1161726116 HAS SOUS 486984669 HAS SOUPS 486984669 WITH SCORE 4.88146395116E8
AT ITER 6221 NEW BEST:: SOT 2125897868 SOS 1161561218 HAS SOPS 1161561218 HAS SOUS 486984603 HAS SOUPS 486984603 WITH SCORE 4.88146164218E8
AT ITER 6279 NEW BEST:: SOT 2125800322 SOS 1160732003 HAS SOPS 1160732003 HAS SOUS 486984529 HAS SOUPS 486984529 WITH SCORE 4.88145261003E8
AT ITER 6308 NEW BEST:: SOT 2125769744 SOS 1160471715 HAS SOPS 1160471715 HAS SOUS 486984154 HAS SOUPS 486984154 WITH SCORE 4.88144625715E8
AT ITER 6324 NEW BEST:: SOT 2125682652 SOS 1159731396 HAS SOPS 1159731396 HAS SOUS 486984117 HAS SOUPS 486984117 WITH SCORE 4.88143848396E8
AT ITER 6332 NEW BEST:: SOT 2125659874 SOS 1159537763 HAS SOPS 1159537763 HAS SOUS 486984097 HAS SOUPS 486984097 WITH SCORE 4.88143634763E8
AT ITER 6366 NEW BEST:: SOT 2125543374 SOS 1158547482 HAS SOPS 1158547482 HAS SOUS 486984066 HAS SOUPS 486984066 WITH SCORE 4.88142613482E8
AT ITER 6396 NEW BEST:: SOT 2125527690 SOS 1158407273 HAS SOPS 1158407273 HAS SOUS 486977171 HAS SOUPS 486977171 WITH SCORE 4.88135578273E8
AT ITER 6491 NEW BEST:: SOT 2125519604 SOS 1158338471 HAS SOPS 1158338471 HAS SOUS 486977100 HAS SOUPS 486977100 WITH SCORE 4.88135438471E8
AT ITER 6501 NEW BEST:: SOT 2125502808 SOS 1158195705 HAS SOPS 1158195705 HAS SOUS 486977100 HAS SOUPS 486977100 WITH SCORE 4.88135295705E8
AT ITER 6509 NEW BEST:: SOT 2125489960 SOS 1158086447 HAS SOPS 1158086447 HAS SOUS 486977050 HAS SOUPS 486977050 WITH SCORE 4.88135136447E8
AT ITER 6530 NEW BEST:: SOT 2125457430 SOS 1157809883 HAS SOPS 1157809883 HAS SOUS 486976991 HAS SOUPS 486976991 WITH SCORE 4.88134800883E8
AT ITER 6541 NEW BEST:: SOT 2125397374 SOS 1157298888 HAS SOPS 1157298888 HAS SOUS 486976472 HAS SOUPS 486976472 WITH SCORE 4.88133770888E8
AT ITER 6609 NEW BEST:: SOT 2125377691 SOS 1157119734 HAS SOPS 1157119734 HAS SOUS 486968651 HAS SOUPS 486968651 WITH SCORE 4.88125770734E8
AT ITER 6634 NEW BEST:: SOT 2125300659 SOS 1156464909 HAS SOPS 1156464909 HAS SOUS 486968598 HAS SOUPS 486968598 WITH SCORE 4.88125062909E8
AT ITER 6635 NEW BEST:: SOT 2125254373 SOS 1156071423 HAS SOPS 1156071423 HAS SOUS 486968543 HAS SOUPS 486968543 WITH SCORE 4.88124614423E8
AT ITER 6643 NEW BEST:: SOT 2125192171 SOS 1155542456 HAS SOPS 1155542456 HAS SOUS 486968293 HAS SOUPS 486968293 WITH SCORE 4.88123835456E8
AT ITER 6675 NEW BEST:: SOT 2125185077 SOS 1155481544 HAS SOPS 1155481544 HAS SOUS 486967680 HAS SOUPS 486967680 WITH SCORE 4.88123161544E8
AT ITER 6686 NEW BEST:: SOT 2125139271 SOS 1155092138 HAS SOPS 1155092138 HAS SOUS 486967625 HAS SOUPS 486967625 WITH SCORE 4.88122717138E8
AT ITER 6687 NEW BEST:: SOT 2125081575 SOS 1154601664 HAS SOPS 1154601664 HAS SOUS 486967567 HAS SOUPS 486967567 WITH SCORE 4.88122168664E8
AT ITER 6713 NEW BEST:: SOT 2125049749 SOS 1154331110 HAS SOPS 1154331110 HAS SOUS 486967534 HAS SOUPS 486967534 WITH SCORE 4.8812186511E8
AT ITER 6723 NEW BEST:: SOT 2124956429 SOS 1153537865 HAS SOPS 1153537865 HAS SOUS 486967509 HAS SOUPS 486967509 WITH SCORE 4.88121046865E8
AT ITER 6735 NEW BEST:: SOT 2124919801 SOS 1153206462 HAS SOPS 1153206462 HAS SOUS 486954089 HAS SOUPS 486954089 WITH SCORE 4.88107295462E8
AT ITER 6756 NEW BEST:: SOT 2124791643 SOS 1152117110 HAS SOPS 1152117110 HAS SOUS 486954080 HAS SOUPS 486954080 WITH SCORE 4.8810619711E8
AT ITER 6776 NEW BEST:: SOT 2124727129 SOS 1151568476 HAS SOPS 1151568476 HAS SOUS 486953815 HAS SOUPS 486953815 WITH SCORE 4.88105383476E8
AT ITER 6826 NEW BEST:: SOT 2124627713 SOS 1150723202 HAS SOPS 1150723202 HAS SOUS 486953577 HAS SOUPS 486953577 WITH SCORE 4.88104300202E8
AT ITER 6836 NEW BEST:: SOT 2124601429 SOS 1150499724 HAS SOPS 1150499724 HAS SOUS 486953503 HAS SOUPS 486953503 WITH SCORE 4.88104002724E8
AT ITER 6848 NEW BEST:: SOT 2124525743 SOS 1149856393 HAS SOPS 1149856393 HAS SOUS 486953503 HAS SOUPS 486953503 WITH SCORE 4.88103359393E8
AT ITER 6854 NEW BEST:: SOT 2124445578 SOS 1149113342 HAS SOPS 1149113342 HAS SOUS 486920047 HAS SOUPS 486920047 WITH SCORE 4.88069160342E8
AT ITER 6870 NEW BEST:: SOT 2124445578 SOS 1149113305 HAS SOPS 1149113305 HAS SOUS 486920010 HAS SOUPS 486920010 WITH SCORE 4.88069123305E8
AT ITER 6874 NEW BEST:: SOT 2124424084 SOS 1148929891 HAS SOPS 1148929891 HAS SOUS 486919189 HAS SOUPS 486919189 WITH SCORE 4.88068118891E8
AT ITER 6906 NEW BEST:: SOT 2124357344 SOS 1148362546 HAS SOPS 1148362546 HAS SOUS 486919134 HAS SOUPS 486919134 WITH SCORE 4.88067496546E8
AT ITER 6983 NEW BEST:: SOT 2124336178 SOS 1148182608 HAS SOPS 1148182608 HAS SOUS 486919107 HAS SOUPS 486919107 WITH SCORE 4.88067289608E8
AT ITER 7000 NEW BEST:: SOT 2124258588 SOS 1147523035 HAS SOPS 1147523035 HAS SOUS 486919049 HAS SOUPS 486919049 WITH SCORE 4.88066572035E8
AT ITER 7026 NEW BEST:: SOT 2124204102 SOS 1147059886 HAS SOPS 1147059886 HAS SOUS 486919031 HAS SOUPS 486919031 WITH SCORE 4.88066090886E8
AT ITER 7048 NEW BEST:: SOT 2124129172 SOS 1146422651 HAS SOPS 1146422651 HAS SOUS 486918701 HAS SOUPS 486918701 WITH SCORE 4.88065123651E8
AT ITER 7058 NEW BEST:: SOT 2124120712 SOS 1146350708 HAS SOPS 1146350708 HAS SOUS 486918668 HAS SOUPS 486918668 WITH SCORE 4.88065018708E8
AT ITER 7063 NEW BEST:: SOT 2124107546 SOS 1146238760 HAS SOPS 1146238760 HAS SOUS 486918631 HAS SOUPS 486918631 WITH SCORE 4.8806486976E8
AT ITER 7069 NEW BEST:: SOT 2124095218 SOS 1146133972 HAS SOPS 1146133972 HAS SOUS 486918631 HAS SOUPS 486918631 WITH SCORE 4.88064764972E8
AT ITER 7070 NEW BEST:: SOT 2124026212 SOS 1145547414 HAS SOPS 1145547414 HAS SOUS 486918624 HAS SOUPS 486918624 WITH SCORE 4.88064171414E8
AT ITER 7088 NEW BEST:: SOT 2124004559 SOS 1145236444 HAS SOPS 1145236444 HAS SOUS 486917367 HAS SOUPS 486917367 WITH SCORE 4.88062603444E8
AT ITER 7092 NEW BEST:: SOT 2124004559 SOS 1145236384 HAS SOPS 1145236384 HAS SOUS 486917307 HAS SOUPS 486917307 WITH SCORE 4.88062543384E8
AT ITER 7097 NEW BEST:: SOT 2123969645 SOS 1144939553 HAS SOPS 1144939553 HAS SOUS 486917237 HAS SOUPS 486917237 WITH SCORE 4.88062176553E8
AT ITER 7143 NEW BEST:: SOT 2123954259 SOS 1144808732 HAS SOPS 1144808732 HAS SOUS 486917197 HAS SOUPS 486917197 WITH SCORE 4.88062005732E8
AT ITER 7163 NEW BEST:: SOT 2123888805 SOS 1144252369 HAS SOPS 1144252369 HAS SOUS 486917193 HAS SOUPS 486917193 WITH SCORE 4.88061445369E8
AT ITER 7165 NEW BEST:: SOT 2123815471 SOS 1143629030 HAS SOPS 1143629030 HAS SOUS 486917193 HAS SOUPS 486917193 WITH SCORE 4.8806082203E8
AT ITER 7175 NEW BEST:: SOT 2123806807 SOS 1143551707 HAS SOPS 1143551707 HAS SOUS 486913514 HAS SOUPS 486913514 WITH SCORE 4.88057065707E8
AT ITER 7190 NEW BEST:: SOT 2123786317 SOS 1143377536 HAS SOPS 1143377536 HAS SOUS 486913508 HAS SOUPS 486913508 WITH SCORE 4.88056885536E8
AT ITER 7208 NEW BEST:: SOT 2123757701 SOS 1143134256 HAS SOPS 1143134256 HAS SOUS 486913464 HAS SOUPS 486913464 WITH SCORE 4.88056598256E8
AT ITER 7209 NEW BEST:: SOT 2123660755 SOS 1142310170 HAS SOPS 1142310170 HAS SOUS 486913419 HAS SOUPS 486913419 WITH SCORE 4.8805572917E8
AT ITER 7221 NEW BEST:: SOT 2123638333 SOS 1142119537 HAS SOPS 1142119537 HAS SOUS 486913373 HAS SOUPS 486913373 WITH SCORE 4.88055492537E8
AT ITER 7225 NEW BEST:: SOT 2123582457 SOS 1141644534 HAS SOPS 1141644534 HAS SOUS 486913316 HAS SOUPS 486913316 WITH SCORE 4.88054960534E8
AT ITER 7227 NEW BEST:: SOT 2123534219 SOS 1141234505 HAS SOPS 1141234505 HAS SOUS 486913310 HAS SOUPS 486913310 WITH SCORE 4.88054544505E8
AT ITER 7235 NEW BEST:: SOT 2123485475 SOS 1140785255 HAS SOPS 1140785255 HAS SOUS 486896699 HAS SOUPS 486896699 WITH SCORE 4.88037484255E8
AT ITER 7267 NEW BEST:: SOT 2123478761 SOS 1140724829 HAS SOPS 1140724829 HAS SOUS 486893342 HAS SOUPS 486893342 WITH SCORE 4.88034066829E8
AT ITER 7364 NEW BEST:: SOT 2123431421 SOS 1140322378 HAS SOPS 1140322378 HAS SOUS 486893281 HAS SOUPS 486893281 WITH SCORE 4.88033603378E8
AT ITER 7380 NEW BEST:: SOT 2123338605 SOS 1139533396 HAS SOPS 1139533396 HAS SOUS 486893235 HAS SOUPS 486893235 WITH SCORE 4.88032768396E8
AT ITER 7383 NEW BEST:: SOT 2123317819 SOS 1139356674 HAS SOPS 1139356674 HAS SOUS 486893194 HAS SOUPS 486893194 WITH SCORE 4.88032550674E8
AT ITER 7402 NEW BEST:: SOT 2123307025 SOS 1139264870 HAS SOPS 1139264870 HAS SOUS 486893139 HAS SOUPS 486893139 WITH SCORE 4.8803240387E8
AT ITER 7440 NEW BEST:: SOT 2123253449 SOS 1138783076 HAS SOPS 1138783076 HAS SOUS 486866741 HAS SOUPS 486866741 WITH SCORE 4.88005524076E8
AT ITER 7450 NEW BEST:: SOT 2123189219 SOS 1138191543 HAS SOPS 1138191543 HAS SOUS 486839082 HAS SOUPS 486839082 WITH SCORE 4.87977273543E8
AT ITER 7481 NEW BEST:: SOT 2123133863 SOS 1137720965 HAS SOPS 1137720965 HAS SOUS 486839030 HAS SOUPS 486839030 WITH SCORE 4.87976750965E8
AT ITER 7510 NEW BEST:: SOT 2123079368 SOS 1137222277 HAS SOPS 1137222277 HAS SOUS 486814912 HAS SOUPS 486814912 WITH SCORE 4.87952134277E8
AT ITER 7512 NEW BEST:: SOT 2123042248 SOS 1136906700 HAS SOPS 1136906700 HAS SOUS 486814849 HAS SOUPS 486814849 WITH SCORE 4.879517557E8
AT ITER 7534 NEW BEST:: SOT 2122987478 SOS 1136438206 HAS SOPS 1136438206 HAS SOUS 486811772 HAS SOUPS 486811772 WITH SCORE 4.87948210206E8
AT ITER 7540 NEW BEST:: SOT 2122941942 SOS 1136051109 HAS SOPS 1136051109 HAS SOUS 486811731 HAS SOUPS 486811731 WITH SCORE 4.87947782109E8
AT ITER 7564 NEW BEST:: SOT 2122941942 SOS 1136051061 HAS SOPS 1136051061 HAS SOUS 486811683 HAS SOUPS 486811683 WITH SCORE 4.87947734061E8
AT ITER 7586 NEW BEST:: SOT 2122920092 SOS 1135865281 HAS SOPS 1135865281 HAS SOUS 486811628 HAS SOUPS 486811628 WITH SCORE 4.87947493281E8
AT ITER 7587 NEW BEST:: SOT 2122888454 SOS 1135579385 HAS SOPS 1135579385 HAS SOUS 486800790 HAS SOUPS 486800790 WITH SCORE 4.87936369385E8
AT ITER 7617 NEW BEST:: SOT 2122875014 SOS 1135465108 HAS SOPS 1135465108 HAS SOUS 486800753 HAS SOUPS 486800753 WITH SCORE 4.87936218108E8
AT ITER 7658 NEW BEST:: SOT 2122860413 SOS 1135332513 HAS SOPS 1135332513 HAS SOUS 486795949 HAS SOUPS 486795949 WITH SCORE 4.87931281513E8
AT ITER 7667 NEW BEST:: SOT 2122780677 SOS 1134654747 HAS SOPS 1134654747 HAS SOUS 486795939 HAS SOUPS 486795939 WITH SCORE 4.87930593747E8
AT ITER 7683 NEW BEST:: SOT 2122753153 SOS 1134420222 HAS SOPS 1134420222 HAS SOUS 486795368 HAS SOUPS 486795368 WITH SCORE 4.87929788222E8
AT ITER 7697 NEW BEST:: SOT 2122572877 SOS 1133257758 HAS SOPS 1133257758 HAS SOUS 486765807 HAS SOUPS 486765807 WITH SCORE 4.87899064758E8
AT ITER 7781 NEW BEST:: SOT 2122522725 SOS 1132806390 HAS SOPS 1132806390 HAS SOUS 486740731 HAS SOUPS 486740731 WITH SCORE 4.8787353739E8
AT ITER 7784 NEW BEST:: SOT 2122503800 SOS 1132616951 HAS SOPS 1132616951 HAS SOUS 486736477 HAS SOUPS 486736477 WITH SCORE 4.87869093951E8
AT ITER 7814 NEW BEST:: SOT 2122436064 SOS 1132041186 HAS SOPS 1132041186 HAS SOUS 486736468 HAS SOUPS 486736468 WITH SCORE 4.87868509186E8
AT ITER 7925 NEW BEST:: SOT 2122436064 SOS 1132041162 HAS SOPS 1132041162 HAS SOUS 486736444 HAS SOUPS 486736444 WITH SCORE 4.87868485162E8
AT ITER 7941 NEW BEST:: SOT 2122402770 SOS 1131758131 HAS SOPS 1131758131 HAS SOUS 486736412 HAS SOUPS 486736412 WITH SCORE 4.87868170131E8
AT ITER 7948 NEW BEST:: SOT 2122365028 SOS 1131437281 HAS SOPS 1131437281 HAS SOUS 486736369 HAS SOUPS 486736369 WITH SCORE 4.87867806281E8
AT ITER 7958 NEW BEST:: SOT 2122354352 SOS 1131341197 HAS SOPS 1131341197 HAS SOUS 486731031 HAS SOUPS 486731031 WITH SCORE 4.87862372197E8
AT ITER 7968 NEW BEST:: SOT 2122316356 SOS 1131018231 HAS SOPS 1131018231 HAS SOUS 486731031 HAS SOUPS 486731031 WITH SCORE 4.87862049231E8
AT ITER 7985 NEW BEST:: SOT 2122251554 SOS 1130467360 HAS SOPS 1130467360 HAS SOUS 486730977 HAS SOUPS 486730977 WITH SCORE 4.8786144436E8
AT ITER 8006 NEW BEST:: SOT 2122222262 SOS 1130217625 HAS SOPS 1130217625 HAS SOUS 486730136 HAS SOUPS 486730136 WITH SCORE 4.87860353625E8
AT ITER 8038 NEW BEST:: SOT 2122162292 SOS 1129707877 HAS SOPS 1129707877 HAS SOUS 486730133 HAS SOUPS 486730133 WITH SCORE 4.87859840877E8
AT ITER 8041 NEW BEST:: SOT 2122127464 SOS 1129411118 HAS SOPS 1129411118 HAS SOUS 486729326 HAS SOUPS 486729326 WITH SCORE 4.87858737118E8
AT ITER 8071 NEW BEST:: SOT 2122120854 SOS 1129354933 HAS SOPS 1129354933 HAS SOUS 486729326 HAS SOUPS 486729326 WITH SCORE 4.87858680933E8
AT ITER 8127 NEW BEST:: SOT 2122058510 SOS 1128793837 HAS SOPS 1128793837 HAS SOUS 486698154 HAS SOUPS 486698154 WITH SCORE 4.87826947837E8
AT ITER 8136 NEW BEST:: SOT 2122037348 SOS 1128613944 HAS SOPS 1128613944 HAS SOUS 486698138 HAS SOUPS 486698138 WITH SCORE 4.87826751944E8
AT ITER 8141 NEW BEST:: SOT 2121979698 SOS 1128123906 HAS SOPS 1128123906 HAS SOUS 486698125 HAS SOUPS 486698125 WITH SCORE 4.87826248906E8
AT ITER 8153 NEW BEST:: SOT 2121936898 SOS 1127760069 HAS SOPS 1127760069 HAS SOUS 486698088 HAS SOUPS 486698088 WITH SCORE 4.87825848069E8
AT ITER 8164 NEW BEST:: SOT 2121881090 SOS 1127237551 HAS SOPS 1127237551 HAS SOUS 486677673 HAS SOUPS 486677673 WITH SCORE 4.87804910551E8
AT ITER 8198 NEW BEST:: SOT 2121877332 SOS 1127205550 HAS SOPS 1127205550 HAS SOUS 486677615 HAS SOUPS 486677615 WITH SCORE 4.8780482055E8
AT ITER 8202 NEW BEST:: SOT 2121839132 SOS 1126880823 HAS SOPS 1126880823 HAS SOUS 486677588 HAS SOUPS 486677588 WITH SCORE 4.87804468823E8
AT ITER 8208 NEW BEST:: SOT 2121839132 SOS 1126863180 HAS SOPS 1126863180 HAS SOUS 486673495 HAS SOUPS 486673495 WITH SCORE 4.8780035818E8
AT ITER 8222 NEW BEST:: SOT 2121820002 SOS 1126700575 HAS SOPS 1126700575 HAS SOUS 486673495 HAS SOUPS 486673495 WITH SCORE 4.87800195575E8
AT ITER 8254 NEW BEST:: SOT 2121808692 SOS 1126604433 HAS SOPS 1126604433 HAS SOUS 486673488 HAS SOUPS 486673488 WITH SCORE 4.87800092433E8
AT ITER 8344 NEW BEST:: SOT 2121804888 SOS 1126572099 HAS SOPS 1126572099 HAS SOUS 486673488 HAS SOUPS 486673488 WITH SCORE 4.87800060099E8
AT ITER 8345 NEW BEST:: SOT 2121727240 SOS 1125912026 HAS SOPS 1125912026 HAS SOUS 486673413 HAS SOUPS 486673413 WITH SCORE 4.87799325026E8
AT ITER 8348 NEW BEST:: SOT 2121667476 SOS 1125374150 HAS SOPS 1125374150 HAS SOUS 486643521 HAS SOUPS 486643521 WITH SCORE 4.8776889515E8
AT ITER 8391 NEW BEST:: SOT 2121603158 SOS 1124827392 HAS SOPS 1124827392 HAS SOUS 486643466 HAS SOUPS 486643466 WITH SCORE 4.87768293392E8
AT ITER 8413 NEW BEST:: SOT 2121603158 SOS 1124827331 HAS SOPS 1124827331 HAS SOUS 486643405 HAS SOUPS 486643405 WITH SCORE 4.87768232331E8
AT ITER 8436 NEW BEST:: SOT 2121574388 SOS 1124582759 HAS SOPS 1124582759 HAS SOUS 486643378 HAS SOUPS 486643378 WITH SCORE 4.87767960759E8
AT ITER 8457 NEW BEST:: SOT 2121565494 SOS 1124507100 HAS SOPS 1124507100 HAS SOUS 486643318 HAS SOUPS 486643318 WITH SCORE 4.877678251E8
AT ITER 8475 NEW BEST:: SOT 2121470780 SOS 1123639492 HAS SOPS 1123639492 HAS SOUS 486602049 HAS SOUPS 486602049 WITH SCORE 4.87725688492E8
AT ITER 8479 NEW BEST:: SOT 2121446962 SOS 1123436986 HAS SOPS 1123436986 HAS SOUS 486601996 HAS SOUPS 486601996 WITH SCORE 4.87725432986E8
AT ITER 8528 NEW BEST:: SOT 2121425928 SOS 1123257481 HAS SOPS 1123257481 HAS SOUS 486601280 HAS SOUPS 486601280 WITH SCORE 4.87724537481E8
AT ITER 8537 NEW BEST:: SOT 2121318404 SOS 1122343453 HAS SOPS 1122343453 HAS SOUS 486601206 HAS SOUPS 486601206 WITH SCORE 4.87723549453E8
AT ITER 8550 NEW BEST:: SOT 2121255572 SOS 1121809331 HAS SOPS 1121809331 HAS SOUS 486601156 HAS SOUPS 486601156 WITH SCORE 4.87722965331E8
AT ITER 8565 NEW BEST:: SOT 2121161620 SOS 1121010718 HAS SOPS 1121010718 HAS SOUS 486601135 HAS SOUPS 486601135 WITH SCORE 4.87722145718E8
AT ITER 8581 NEW BEST:: SOT 2121047442 SOS 1120040141 HAS SOPS 1120040141 HAS SOUS 486601071 HAS SOUPS 486601071 WITH SCORE 4.87721111141E8
AT ITER 8593 NEW BEST:: SOT 2120962870 SOS 1119279576 HAS SOPS 1119279576 HAS SOUS 486559368 HAS SOUPS 486559368 WITH SCORE 4.87678647576E8
AT ITER 8597 NEW BEST:: SOT 2120843419 SOS 1118183462 HAS SOPS 1118183462 HAS SOUS 486505955 HAS SOUPS 486505955 WITH SCORE 4.87624138462E8
AT ITER 8607 NEW BEST:: SOT 2120835851 SOS 1118119093 HAS SOPS 1118119093 HAS SOUS 486505914 HAS SOUPS 486505914 WITH SCORE 4.87624033093E8
AT ITER 8618 NEW BEST:: SOT 2120815111 SOS 1117934590 HAS SOPS 1117934590 HAS SOUS 486497685 HAS SOUPS 486497685 WITH SCORE 4.8761561959E8
AT ITER 8659 NEW BEST:: SOT 2120757050 SOS 1117402370 HAS SOPS 1117402370 HAS SOUS 486472041 HAS SOUPS 486472041 WITH SCORE 4.8758944337E8
AT ITER 8716 NEW BEST:: SOT 2120746016 SOS 1117308527 HAS SOPS 1117308527 HAS SOUS 486471987 HAS SOUPS 486471987 WITH SCORE 4.87589295527E8
AT ITER 8733 NEW BEST:: SOT 2120711182 SOS 1116995021 HAS SOPS 1116995021 HAS SOUS 486454570 HAS SOUPS 486454570 WITH SCORE 4.87571565021E8
AT ITER 8746 NEW BEST:: SOT 2120637516 SOS 1116332027 HAS SOPS 1116332027 HAS SOUS 486417737 HAS SOUPS 486417737 WITH SCORE 4.87534069027E8
AT ITER 8773 NEW BEST:: SOT 2120628894 SOS 1116258703 HAS SOPS 1116258703 HAS SOUS 486417700 HAS SOUPS 486417700 WITH SCORE 4.87533958703E8
AT ITER 8833 NEW BEST:: SOT 2120557376 SOS 1115650784 HAS SOPS 1115650784 HAS SOUS 486417684 HAS SOUPS 486417684 WITH SCORE 4.87533334784E8
AT ITER 8894 NEW BEST:: SOT 2120444694 SOS 1114692987 HAS SOPS 1114692987 HAS SOUS 486417684 HAS SOUPS 486417684 WITH SCORE 4.87532376987E8
AT ITER 8906 NEW BEST:: SOT 2120367420 SOS 1114036119 HAS SOPS 1114036119 HAS SOUS 486417645 HAS SOUPS 486417645 WITH SCORE 4.87531681119E8
AT ITER 8917 NEW BEST:: SOT 2120173944 SOS 1112858632 HAS SOPS 1112858632 HAS SOUS 486359914 HAS SOUPS 486359914 WITH SCORE 4.87472772632E8
AT ITER 8952 NEW BEST:: SOT 2120152592 SOS 1112677088 HAS SOPS 1112677088 HAS SOUS 486359862 HAS SOUPS 486359862 WITH SCORE 4.87472539088E8
AT ITER 9003 NEW BEST:: SOT 2120111474 SOS 1112327572 HAS SOPS 1112327572 HAS SOUS 486359849 HAS SOUPS 486359849 WITH SCORE 4.87472176572E8
AT ITER 9005 NEW BEST:: SOT 2120087530 SOS 1112123992 HAS SOPS 1112123992 HAS SOUS 486359793 HAS SOUPS 486359793 WITH SCORE 4.87471916992E8
AT ITER 9009 NEW BEST:: SOT 2120064772 SOS 1111919170 HAS SOPS 1111919170 HAS SOUS 486348414 HAS SOUPS 486348414 WITH SCORE 4.8746033317E8
AT ITER 9027 NEW BEST:: SOT 2120002434 SOS 1111389279 HAS SOPS 1111389279 HAS SOUS 486348396 HAS SOUPS 486348396 WITH SCORE 4.87459785279E8
AT ITER 9040 NEW BEST:: SOT 2119986968 SOS 1111257810 HAS SOPS 1111257810 HAS SOUS 486348388 HAS SOUPS 486348388 WITH SCORE 4.8745964581E8
AT ITER 9067 NEW BEST:: SOT 2119986968 SOS 1111257795 HAS SOPS 1111257795 HAS SOUS 486348373 HAS SOUPS 486348373 WITH SCORE 4.87459630795E8
AT ITER 9076 NEW BEST:: SOT 2119986968 SOS 1111257788 HAS SOPS 1111257788 HAS SOUS 486348366 HAS SOUPS 486348366 WITH SCORE 4.87459623788E8
AT ITER 9124 NEW BEST:: SOT 2119828322 SOS 1110125471 HAS SOPS 1110125471 HAS SOUS 486345153 HAS SOUPS 486345153 WITH SCORE 4.87455278471E8
AT ITER 9128 NEW BEST:: SOT 2119816812 SOS 1110027592 HAS SOPS 1110027592 HAS SOUS 486345109 HAS SOUPS 486345109 WITH SCORE 4.87455136592E8
AT ITER 9136 NEW BEST:: SOT 2119747218 SOS 1109436039 HAS SOPS 1109436039 HAS SOUS 486345105 HAS SOUPS 486345105 WITH SCORE 4.87454541039E8
AT ITER 9142 NEW BEST:: SOT 2119692524 SOS 1108971080 HAS SOPS 1108971080 HAS SOUS 486345045 HAS SOUPS 486345045 WITH SCORE 4.8745401608E8
AT ITER 9165 NEW BEST:: SOT 2119682374 SOS 1108884801 HAS SOPS 1108884801 HAS SOUS 486345041 HAS SOUPS 486345041 WITH SCORE 4.87453925801E8
AT ITER 9177 NEW BEST:: SOT 2119676960 SOS 1108838320 HAS SOPS 1108838320 HAS SOUS 486344579 HAS SOUPS 486344579 WITH SCORE 4.8745341732E8
AT ITER 9188 NEW BEST:: SOT 2119665738 SOS 1108742911 HAS SOPS 1108742911 HAS SOUS 486344557 HAS SOUPS 486344557 WITH SCORE 4.87453299911E8
AT ITER 9199 NEW BEST:: SOT 2119562356 SOS 1107864158 HAS SOPS 1107864158 HAS SOUS 486344551 HAS SOUPS 486344551 WITH SCORE 4.87452415158E8
AT ITER 9208 NEW BEST:: SOT 2119535342 SOS 1107634510 HAS SOPS 1107634510 HAS SOUS 486344522 HAS SOUPS 486344522 WITH SCORE 4.8745215651E8
AT ITER 9213 NEW BEST:: SOT 2119520322 SOS 1107495411 HAS SOPS 1107495411 HAS SOUS 486340938 HAS SOUPS 486340938 WITH SCORE 4.87448433411E8
AT ITER 9216 NEW BEST:: SOT 2119506950 SOS 1107381691 HAS SOPS 1107381691 HAS SOUS 486340880 HAS SOUPS 486340880 WITH SCORE 4.87448261691E8
AT ITER 9306 NEW BEST:: SOT 2119478328 SOS 1107138395 HAS SOPS 1107138395 HAS SOUS 486340871 HAS SOUPS 486340871 WITH SCORE 4.87448009395E8
AT ITER 9308 NEW BEST:: SOT 2119425572 SOS 1106689919 HAS SOPS 1106689919 HAS SOUS 486340821 HAS SOUPS 486340821 WITH SCORE 4.87447510919E8
AT ITER 9314 NEW BEST:: SOT 2119391692 SOS 1106387080 HAS SOPS 1106387080 HAS SOUS 486325962 HAS SOUPS 486325962 WITH SCORE 4.8743234908E8
AT ITER 9321 NEW BEST:: SOT 2119336686 SOS 1105919008 HAS SOPS 1105919008 HAS SOUS 486325441 HAS SOUPS 486325441 WITH SCORE 4.87431360008E8
AT ITER 9354 NEW BEST:: SOT 2119267762 SOS 1105333147 HAS SOPS 1105333147 HAS SOUS 486325434 HAS SOUPS 486325434 WITH SCORE 4.87430767147E8
AT ITER 9355 NEW BEST:: SOT 2119175244 SOS 1104546705 HAS SOPS 1104546705 HAS SOUS 486325395 HAS SOUPS 486325395 WITH SCORE 4.87429941705E8
AT ITER 9411 NEW BEST:: SOT 2119091534 SOS 1103835141 HAS SOPS 1103835141 HAS SOUS 486325366 HAS SOUPS 486325366 WITH SCORE 4.87429201141E8
AT ITER 9420 NEW BEST:: SOT 2119040638 SOS 1103402290 HAS SOPS 1103402290 HAS SOUS 486325131 HAS SOUPS 486325131 WITH SCORE 4.8742853329E8
AT ITER 9475 NEW BEST:: SOT 2119007542 SOS 1103120940 HAS SOPS 1103120940 HAS SOUS 486325097 HAS SOUPS 486325097 WITH SCORE 4.8742821794E8
AT ITER 9494 NEW BEST:: SOT 2118982164 SOS 1102905215 HAS SOPS 1102905215 HAS SOUS 486325085 HAS SOUPS 486325085 WITH SCORE 4.87427990215E8
AT ITER 9507 NEW BEST:: SOT 2118982164 SOS 1102905168 HAS SOPS 1102905168 HAS SOUS 486325038 HAS SOUPS 486325038 WITH SCORE 4.87427943168E8
AT ITER 9510 NEW BEST:: SOT 2118932322 SOS 1102480877 HAS SOPS 1102480877 HAS SOUS 486324404 HAS SOUPS 486324404 WITH SCORE 4.87426884877E8
AT ITER 9512 NEW BEST:: SOT 2118875145 SOS 1101953514 HAS SOPS 1101953514 HAS SOUS 486299928 HAS SOUPS 486299928 WITH SCORE 4.87401881514E8
AT ITER 9513 NEW BEST:: SOT 2118860457 SOS 1101828662 HAS SOPS 1101828662 HAS SOUS 486299924 HAS SOUPS 486299924 WITH SCORE 4.87401752662E8
AT ITER 9563 NEW BEST:: SOT 2118834423 SOS 1101607313 HAS SOPS 1101607313 HAS SOUS 486299864 HAS SOUPS 486299864 WITH SCORE 4.87401471313E8
AT ITER 9593 NEW BEST:: SOT 2118750183 SOS 1100891259 HAS SOPS 1100891259 HAS SOUS 486299850 HAS SOUPS 486299850 WITH SCORE 4.87400741259E8
AT ITER 9606 NEW BEST:: SOT 2118729829 SOS 1100718196 HAS SOPS 1100718196 HAS SOUS 486299796 HAS SOUPS 486299796 WITH SCORE 4.87400514196E8
AT ITER 9609 NEW BEST:: SOT 2118630309 SOS 1099872238 HAS SOPS 1099872238 HAS SOUS 486299758 HAS SOUPS 486299758 WITH SCORE 4.87399630238E8
AT ITER 9642 NEW BEST:: SOT 2118499607 SOS 1098696119 HAS SOPS 1098696119 HAS SOUS 486234606 HAS SOUPS 486234606 WITH SCORE 4.87333302119E8
AT ITER 9645 NEW BEST:: SOT 2118432517 SOS 1098125118 HAS SOPS 1098125118 HAS SOUS 486233782 HAS SOUPS 486233782 WITH SCORE 4.87331907118E8
AT ITER 9650 NEW BEST:: SOT 2118325737 SOS 1097217472 HAS SOPS 1097217472 HAS SOUS 486233766 HAS SOUPS 486233766 WITH SCORE 4.87330983472E8
AT ITER 9652 NEW BEST:: SOT 2118303615 SOS 1097029418 HAS SOPS 1097029418 HAS SOUS 486233749 HAS SOUPS 486233749 WITH SCORE 4.87330778418E8
AT ITER 9654 NEW BEST:: SOT 2118191883 SOS 1096079650 HAS SOPS 1096079650 HAS SOUS 486233703 HAS SOUPS 486233703 WITH SCORE 4.8732978265E8
AT ITER 9701 NEW BEST:: SOT 2118117987 SOS 1095451098 HAS SOPS 1095451098 HAS SOUS 486233267 HAS SOUPS 486233267 WITH SCORE 4.87328718098E8
AT ITER 9715 NEW BEST:: SOT 2118059989 SOS 1094958081 HAS SOPS 1094958081 HAS SOUS 486233233 HAS SOUPS 486233233 WITH SCORE 4.87328191081E8
AT ITER 9720 NEW BEST:: SOT 2117959155 SOS 1094100742 HAS SOPS 1094100742 HAS SOUS 486232983 HAS SOUPS 486232983 WITH SCORE 4.87327083742E8
AT ITER 9733 NEW BEST:: SOT 2117923038 SOS 1093768778 HAS SOPS 1093768778 HAS SOUS 486217741 HAS SOUPS 486217741 WITH SCORE 4.87311509778E8
AT ITER 9787 NEW BEST:: SOT 2117829702 SOS 1092974919 HAS SOPS 1092974919 HAS SOUS 486217238 HAS SOUPS 486217238 WITH SCORE 4.87310212919E8
AT ITER 9804 NEW BEST:: SOT 2117721896 SOS 1092058554 HAS SOPS 1092058554 HAS SOUS 486217224 HAS SOUPS 486217224 WITH SCORE 4.87309282554E8
AT ITER 9836 NEW BEST:: SOT 2117683248 SOS 1091729984 HAS SOPS 1091729984 HAS SOUS 486217152 HAS SOUPS 486217152 WITH SCORE 4.87308881984E8
AT ITER 9839 NEW BEST:: SOT 2117601028 SOS 1091031101 HAS SOPS 1091031101 HAS SOUS 486217139 HAS SOUPS 486217139 WITH SCORE 4.87308170101E8
AT ITER 9857 NEW BEST:: SOT 2117516308 SOS 1090310917 HAS SOPS 1090310917 HAS SOUS 486217075 HAS SOUPS 486217075 WITH SCORE 4.87307385917E8
AT ITER 9861 NEW BEST:: SOT 2117487412 SOS 1090065292 HAS SOPS 1090065292 HAS SOUS 486217066 HAS SOUPS 486217066 WITH SCORE 4.87307131292E8
AT ITER 9869 NEW BEST:: SOT 2117440028 SOS 1089638836 HAS SOPS 1089638836 HAS SOUS 486193266 HAS SOUPS 486193266 WITH SCORE 4.87282904836E8
AT ITER 9886 NEW BEST:: SOT 2117371728 SOS 1089058265 HAS SOPS 1089058265 HAS SOUS 486193245 HAS SOUPS 486193245 WITH SCORE 4.87282303265E8
AT ITER 9890 NEW BEST:: SOT 2117250656 SOS 1088029098 HAS SOPS 1088029098 HAS SOUS 486193190 HAS SOUPS 486193190 WITH SCORE 4.87281219098E8
AT ITER 9901 NEW BEST:: SOT 2117182116 SOS 1087446452 HAS SOPS 1087446452 HAS SOUS 486193134 HAS SOUPS 486193134 WITH SCORE 4.87280580452E8
AT ITER 9913 NEW BEST:: SOT 2117005322 SOS 1086288867 HAS SOPS 1086288867 HAS SOUS 486165999 HAS SOUPS 486165999 WITH SCORE 4.87252287867E8
AT ITER 9943 NEW BEST:: SOT 2116945278 SOS 1085778485 HAS SOPS 1085778485 HAS SOUS 486165991 HAS SOUPS 486165991 WITH SCORE 4.87251769485E8
AT ITER 9944 NEW BEST:: SOT 2116903466 SOS 1085423058 HAS SOPS 1085423058 HAS SOUS 486165966 HAS SOUPS 486165966 WITH SCORE 4.87251389058E8
AT ITER 9947 NEW BEST:: SOT 2116812312 SOS 1084648189 HAS SOPS 1084648189 HAS SOUS 486165906 HAS SOUPS 486165906 WITH SCORE 4.87250554189E8
AT ITER 9953 NEW BEST:: SOT 2116755206 SOS 1084162094 HAS SOPS 1084162094 HAS SOUS 486165212 HAS SOUPS 486165212 WITH SCORE 4.87249374094E8
AT ITER 9954 NEW BEST:: SOT 2116745122 SOS 1084076347 HAS SOPS 1084076347 HAS SOUS 486165179 HAS SOUPS 486165179 WITH SCORE 4.87249255347E8
AT ITER 9974 NEW BEST:: SOT 2116701652 SOS 1083685117 HAS SOPS 1083685117 HAS SOUS 486143444 HAS SOUPS 486143444 WITH SCORE 4.87227129117E8
AT ITER 9980 NEW BEST:: SOT 2116618956 SOS 1082982133 HAS SOPS 1082982133 HAS SOUS 486143376 HAS SOUPS 486143376 WITH SCORE 4.87226358133E8
AT ITER 9982 NEW BEST:: SOT 2116604494 SOS 1082859194 HAS SOPS 1082859194 HAS SOUS 486143364 HAS SOUPS 486143364 WITH SCORE 4.87226223194E8
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15343844 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15943920 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="ViralEpidemic-PT-S16D2C4A03"
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-S16D2C4A03, 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-167912711701360"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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