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.r363-smll-167891813900232.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 SafeBus-COL-15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891813900232
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 5.9K Feb 26 02:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 26 02:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 02:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 02:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 02:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 168K Feb 26 02:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 02:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 02:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 42K 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 1679058514613

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=SafeBus-COL-15
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 13:08:37] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 13:08:37] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 13:08:37] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-17 13:08:38] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-17 13:08:38] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 801 ms
[2023-03-17 13:08:38] [INFO ] Detected 1 constant HL places corresponding to 15 PT places.
[2023-03-17 13:08:38] [INFO ] Imported 20 HL places and 14 HL transitions for a total of 636 PT places and 59206.0 transition bindings in 30 ms.
[2023-03-17 13:08:38] [INFO ] Unfolded HLPN to a Petri net with 636 places and 4801 transitions 34264 arcs in 190 ms.
[2023-03-17 13:08:38] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-17 13:08:38] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 636 places, 4801 transitions and 34264 arcs took 120 ms.
Total runtime 1287 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SafeBus (COL), instance 15
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: 636 places, 4801 transitions, 34264 arcs.
AT ITER 0 NEW BEST:: SOT 1552332 SOS 1234027 HAS SOPS 1232092 HAS SOUS 323846 HAS SOUPS 323308 WITH SCORE 324542.027
AT ITER 4 NEW BEST:: SOT 1552142 SOS 1233837 HAS SOPS 1231902 HAS SOUS 323302 HAS SOUPS 322764 WITH SCORE 323997.837
AT ITER 30 NEW BEST:: SOT 1552082 SOS 1233777 HAS SOPS 1231842 HAS SOUS 323242 HAS SOUPS 322704 WITH SCORE 323937.777
AT ITER 41 NEW BEST:: SOT 1553667 SOS 1235281 HAS SOPS 1233119 HAS SOUS 322695 HAS SOUPS 321930 WITH SCORE 323165.281
AT ITER 53 NEW BEST:: SOT 1550522 SOS 1232330 HAS SOPS 1230362 HAS SOUS 320405 HAS SOUPS 319834 WITH SCORE 321066.33
AT ITER 77 NEW BEST:: SOT 1550512 SOS 1232320 HAS SOPS 1230352 HAS SOUS 320395 HAS SOUPS 319824 WITH SCORE 321056.32
AT ITER 81 NEW BEST:: SOT 1547453 SOS 1229454 HAS SOPS 1227486 HAS SOUS 317166 HAS SOUPS 316595 WITH SCORE 317824.454
AT ITER 85 NEW BEST:: SOT 1547499 SOS 1229500 HAS SOPS 1227532 HAS SOUS 317156 HAS SOUPS 316585 WITH SCORE 317814.5
AT ITER 97 NEW BEST:: SOT 1547499 SOS 1299388 HAS SOPS 1262320 HAS SOUS 317142 HAS SOUPS 316415 WITH SCORE 317714.388
AT ITER 124 NEW BEST:: SOT 1547735 SOS 1299624 HAS SOPS 1262556 HAS SOUS 316959 HAS SOUPS 316232 WITH SCORE 317531.624
AT ITER 143 NEW BEST:: SOT 1547735 SOS 1299624 HAS SOPS 1262556 HAS SOUS 316952 HAS SOUPS 316225 WITH SCORE 317524.624
AT ITER 146 NEW BEST:: SOT 1547715 SOS 1299604 HAS SOPS 1262536 HAS SOUS 316951 HAS SOUPS 316224 WITH SCORE 317523.604
AT ITER 149 NEW BEST:: SOT 1548343 SOS 1300217 HAS SOPS 1263164 HAS SOUS 316898 HAS SOUPS 316186 WITH SCORE 317486.217
AT ITER 161 NEW BEST:: SOT 1548548 SOS 1300422 HAS SOPS 1263369 HAS SOUS 316697 HAS SOUPS 315985 WITH SCORE 317285.422
AT ITER 165 NEW BEST:: SOT 1548548 SOS 1300422 HAS SOPS 1263369 HAS SOUS 316696 HAS SOUPS 315984 WITH SCORE 317284.422
AT ITER 171 NEW BEST:: SOT 1548754 SOS 1300628 HAS SOPS 1263575 HAS SOUS 316515 HAS SOUPS 315803 WITH SCORE 317103.628
AT ITER 177 NEW BEST:: SOT 1492463 SOS 1244460 HAS SOPS 1209042 HAS SOUS 260332 HAS SOUPS 259634 WITH SCORE 260878.46
AT ITER 178 NEW BEST:: SOT 1492413 SOS 1244289 HAS SOPS 1208992 HAS SOUS 258351 HAS SOUPS 257774 WITH SCORE 259018.289
AT ITER 181 NEW BEST:: SOT 1492175 SOS 1244051 HAS SOPS 1208754 HAS SOUS 258109 HAS SOUPS 257532 WITH SCORE 258776.051
AT ITER 262 NEW BEST:: SOT 1492328 SOS 1244121 HAS SOPS 1208696 HAS SOUS 256597 HAS SOUPS 255892 WITH SCORE 257136.121
AT ITER 283 NEW BEST:: SOT 1493915 SOS 1245624 HAS SOPS 1209978 HAS SOUS 256023 HAS SOUPS 255097 WITH SCORE 256342.624
AT ITER 290 NEW BEST:: SOT 1494143 SOS 1245852 HAS SOPS 1210206 HAS SOUS 255812 HAS SOUPS 254886 WITH SCORE 256131.852
AT ITER 316 NEW BEST:: SOT 1494533 SOS 1250708 HAS SOPS 1215062 HAS SOUS 255805 HAS SOUPS 254879 WITH SCORE 256129.708
AT ITER 317 NEW BEST:: SOT 1494431 SOS 1250606 HAS SOPS 1214960 HAS SOUS 255665 HAS SOUPS 254739 WITH SCORE 255989.606
AT ITER 339 NEW BEST:: SOT 1494530 SOS 1250615 HAS SOPS 1214882 HAS SOUS 254585 HAS SOUPS 253572 WITH SCORE 254822.615
AT ITER 346 NEW BEST:: SOT 1494494 SOS 1250579 HAS SOPS 1214846 HAS SOUS 254549 HAS SOUPS 253536 WITH SCORE 254786.579
AT ITER 358 NEW BEST:: SOT 1495967 SOS 1251963 HAS SOPS 1216017 HAS SOUS 253820 HAS SOUPS 252594 WITH SCORE 253845.963
AT ITER 361 NEW BEST:: SOT 1495967 SOS 1251963 HAS SOPS 1216095 HAS SOUS 252663 HAS SOUPS 251515 WITH SCORE 252766.963
AT ITER 366 NEW BEST:: SOT 1495967 SOS 1251963 HAS SOPS 1216095 HAS SOUS 252656 HAS SOUPS 251508 WITH SCORE 252759.963
AT ITER 397 NEW BEST:: SOT 1495809 SOS 1251805 HAS SOPS 1215937 HAS SOUS 252498 HAS SOUPS 251350 WITH SCORE 252601.805
AT ITER 401 NEW BEST:: SOT 1495813 SOS 1251809 HAS SOPS 1215941 HAS SOUS 252486 HAS SOUPS 251338 WITH SCORE 252589.809
AT ITER 420 NEW BEST:: SOT 1495893 SOS 1251889 HAS SOPS 1216021 HAS SOUS 252425 HAS SOUPS 251277 WITH SCORE 252528.889
AT ITER 434 NEW BEST:: SOT 1495850 SOS 1253674 HAS SOPS 1217806 HAS SOUS 252158 HAS SOUPS 251010 WITH SCORE 252263.674
AT ITER 439 NEW BEST:: SOT 1495850 SOS 1253596 HAS SOPS 1217728 HAS SOUS 252158 HAS SOUPS 251010 WITH SCORE 252263.596
AT ITER 461 NEW BEST:: SOT 1495815 SOS 1253561 HAS SOPS 1217693 HAS SOUS 252066 HAS SOUPS 250918 WITH SCORE 252171.561
AT ITER 474 NEW BEST:: SOT 1495792 SOS 1253538 HAS SOPS 1217670 HAS SOUS 252066 HAS SOUPS 250918 WITH SCORE 252171.538
AT ITER 476 NEW BEST:: SOT 1495760 SOS 1253506 HAS SOPS 1217638 HAS SOUS 252034 HAS SOUPS 250886 WITH SCORE 252139.506
AT ITER 479 NEW BEST:: SOT 1495941 SOS 1253687 HAS SOPS 1217819 HAS SOUS 251903 HAS SOUPS 250755 WITH SCORE 252008.687
AT ITER 483 NEW BEST:: SOT 1496445 SOS 1254473 HAS SOPS 1218620 HAS SOUS 251831 HAS SOUPS 250698 WITH SCORE 251952.473
AT ITER 501 NEW BEST:: SOT 1496433 SOS 1254461 HAS SOPS 1218608 HAS SOUS 251819 HAS SOUPS 250686 WITH SCORE 251940.461
AT ITER 553 NEW BEST:: SOT 1497114 SOS 1255081 HAS SOPS 1219052 HAS SOUS 250403 HAS SOUPS 249094 WITH SCORE 250349.081
AT ITER 575 NEW BEST:: SOT 1497016 SOS 1254983 HAS SOPS 1218954 HAS SOUS 250301 HAS SOUPS 248992 WITH SCORE 250246.983
AT ITER 580 NEW BEST:: SOT 1498680 SOS 1256559 HAS SOPS 1220342 HAS SOUS 249803 HAS SOUPS 248306 WITH SCORE 249562.559
AT ITER 602 NEW BEST:: SOT 1497689 SOS 1255568 HAS SOPS 1219351 HAS SOUS 248726 HAS SOUPS 247229 WITH SCORE 248484.568
AT ITER 611 NEW BEST:: SOT 1497535 SOS 1255414 HAS SOPS 1219197 HAS SOUS 248520 HAS SOUPS 247023 WITH SCORE 248278.414
AT ITER 613 NEW BEST:: SOT 1497758 SOS 1255637 HAS SOPS 1219420 HAS SOUS 248297 HAS SOUPS 246800 WITH SCORE 248055.637
AT ITER 624 NEW BEST:: SOT 1497751 SOS 1255630 HAS SOPS 1219413 HAS SOUS 248171 HAS SOUPS 246674 WITH SCORE 247929.63
AT ITER 625 NEW BEST:: SOT 1497958 SOS 1255776 HAS SOPS 1219460 HAS SOUS 246841 HAS SOUPS 245245 WITH SCORE 246500.776
AT ITER 643 NEW BEST:: SOT 1497732 SOS 1255550 HAS SOPS 1219234 HAS SOUS 246499 HAS SOUPS 244903 WITH SCORE 246158.55
AT ITER 646 NEW BEST:: SOT 1497612 SOS 1255430 HAS SOPS 1219114 HAS SOUS 246319 HAS SOUPS 244723 WITH SCORE 245978.43
AT ITER 648 NEW BEST:: SOT 1497612 SOS 1255430 HAS SOPS 1219114 HAS SOUS 246304 HAS SOUPS 244708 WITH SCORE 245963.43
AT ITER 671 NEW BEST:: SOT 1497584 SOS 1255402 HAS SOPS 1219086 HAS SOUS 246272 HAS SOUPS 244676 WITH SCORE 245931.402
AT ITER 672 NEW BEST:: SOT 1497306 SOS 1255124 HAS SOPS 1218808 HAS SOUS 245855 HAS SOUPS 244259 WITH SCORE 245514.124
AT ITER 674 NEW BEST:: SOT 1497259 SOS 1255077 HAS SOPS 1218761 HAS SOUS 245667 HAS SOUPS 244071 WITH SCORE 245326.077
AT ITER 677 NEW BEST:: SOT 1496660 SOS 1254478 HAS SOPS 1218205 HAS SOUS 245271 HAS SOUPS 243718 WITH SCORE 244972.478
AT ITER 683 NEW BEST:: SOT 1496950 SOS 1254768 HAS SOPS 1218495 HAS SOUS 245188 HAS SOUPS 243635 WITH SCORE 244889.768
AT ITER 704 NEW BEST:: SOT 1496974 SOS 1254792 HAS SOPS 1218519 HAS SOUS 245164 HAS SOUPS 243611 WITH SCORE 244865.792
AT ITER 718 NEW BEST:: SOT 1496758 SOS 1254576 HAS SOPS 1218303 HAS SOUS 244874 HAS SOUPS 243321 WITH SCORE 244575.576
AT ITER 725 NEW BEST:: SOT 1496594 SOS 1254412 HAS SOPS 1218139 HAS SOUS 244635 HAS SOUPS 243082 WITH SCORE 244336.412
AT ITER 749 NEW BEST:: SOT 1496574 SOS 1254392 HAS SOPS 1218119 HAS SOUS 244534 HAS SOUPS 242981 WITH SCORE 244235.392
AT ITER 750 NEW BEST:: SOT 1496574 SOS 1256262 HAS SOPS 1219989 HAS SOUS 244302 HAS SOUPS 242749 WITH SCORE 244005.262
AT ITER 760 NEW BEST:: SOT 1493455 SOS 1253143 HAS SOPS 1216870 HAS SOUS 241181 HAS SOUPS 239628 WITH SCORE 240881.143
AT ITER 763 NEW BEST:: SOT 1493578 SOS 1253240 HAS SOPS 1216967 HAS SOUS 241177 HAS SOUPS 239624 WITH SCORE 240877.24
AT ITER 784 NEW BEST:: SOT 1493794 SOS 1253456 HAS SOPS 1217183 HAS SOUS 241070 HAS SOUPS 239517 WITH SCORE 240770.456
AT ITER 801 NEW BEST:: SOT 1467343 SOS 1227429 HAS SOPS 1192192 HAS SOUS 214904 HAS SOUPS 214387 WITH SCORE 215614.429
AT ITER 807 NEW BEST:: SOT 1467147 SOS 1227233 HAS SOPS 1191996 HAS SOUS 214606 HAS SOUPS 214089 WITH SCORE 215316.233
AT ITER 808 NEW BEST:: SOT 1467903 SOS 1227989 HAS SOPS 1192752 HAS SOUS 214480 HAS SOUPS 213963 WITH SCORE 215190.989
AT ITER 815 NEW BEST:: SOT 1467839 SOS 1227941 HAS SOPS 1192704 HAS SOUS 214434 HAS SOUPS 213917 WITH SCORE 215144.941
AT ITER 818 NEW BEST:: SOT 1465997 SOS 1226099 HAS SOPS 1190862 HAS SOUS 212893 HAS SOUPS 212376 WITH SCORE 213602.099
AT ITER 826 NEW BEST:: SOT 1465973 SOS 1226075 HAS SOPS 1190838 HAS SOUS 212863 HAS SOUPS 212346 WITH SCORE 213572.075
AT ITER 828 NEW BEST:: SOT 1465912 SOS 1226014 HAS SOPS 1190777 HAS SOUS 212718 HAS SOUPS 212201 WITH SCORE 213427.014
AT ITER 837 NEW BEST:: SOT 1465793 SOS 1225895 HAS SOPS 1190658 HAS SOUS 212599 HAS SOUPS 212082 WITH SCORE 213307.895
AT ITER 838 NEW BEST:: SOT 1466086 SOS 1226188 HAS SOPS 1190951 HAS SOUS 212384 HAS SOUPS 211867 WITH SCORE 213093.188
AT ITER 846 NEW BEST:: SOT 1466056 SOS 1226158 HAS SOPS 1190921 HAS SOUS 212354 HAS SOUPS 211837 WITH SCORE 213063.158
AT ITER 854 NEW BEST:: SOT 1466050 SOS 1226152 HAS SOPS 1190915 HAS SOUS 212345 HAS SOUPS 211828 WITH SCORE 213054.152
AT ITER 872 NEW BEST:: SOT 1466042 SOS 1226144 HAS SOPS 1190907 HAS SOUS 212337 HAS SOUPS 211820 WITH SCORE 213046.144
AT ITER 892 NEW BEST:: SOT 1467250 SOS 1227327 HAS SOPS 1192065 HAS SOUS 211893 HAS SOUPS 211351 WITH SCORE 212578.327
AT ITER 907 NEW BEST:: SOT 1467669 SOS 1227746 HAS SOPS 1192484 HAS SOUS 211799 HAS SOUPS 211257 WITH SCORE 212484.746
AT ITER 936 NEW BEST:: SOT 1467641 SOS 1227718 HAS SOPS 1192456 HAS SOUS 211757 HAS SOUPS 211215 WITH SCORE 212442.718
AT ITER 937 NEW BEST:: SOT 1467669 SOS 1227746 HAS SOPS 1192450 HAS SOUS 210626 HAS SOUPS 210050 WITH SCORE 211277.746
AT ITER 973 NEW BEST:: SOT 1468135 SOS 1228186 HAS SOPS 1192864 HAS SOUS 209436 HAS SOUPS 208834 WITH SCORE 210062.186
AT ITER 977 NEW BEST:: SOT 1467716 SOS 1229198 HAS SOPS 1193876 HAS SOUS 209148 HAS SOUPS 208546 WITH SCORE 209775.198
AT ITER 994 NEW BEST:: SOT 1467664 SOS 1229146 HAS SOPS 1193824 HAS SOUS 209070 HAS SOUPS 208468 WITH SCORE 209697.146
AT ITER 1038 NEW BEST:: SOT 1467633 SOS 1229097 HAS SOPS 1194615 HAS SOUS 209062 HAS SOUPS 208460 WITH SCORE 209689.097
AT ITER 1045 NEW BEST:: SOT 1467633 SOS 1229097 HAS SOPS 1194615 HAS SOUS 209049 HAS SOUPS 208447 WITH SCORE 209676.097
AT ITER 1050 NEW BEST:: SOT 1466852 SOS 1228341 HAS SOPS 1193859 HAS SOUS 208447 HAS SOUPS 207845 WITH SCORE 209073.341
AT ITER 1053 NEW BEST:: SOT 1466784 SOS 1228273 HAS SOPS 1193791 HAS SOUS 208345 HAS SOUPS 207743 WITH SCORE 208971.273
AT ITER 1062 NEW BEST:: SOT 1466719 SOS 1228208 HAS SOPS 1193726 HAS SOUS 208325 HAS SOUPS 207723 WITH SCORE 208951.208
AT ITER 1084 NEW BEST:: SOT 1466719 SOS 1228208 HAS SOPS 1193726 HAS SOUS 208316 HAS SOUPS 207714 WITH SCORE 208942.208
AT ITER 1107 NEW BEST:: SOT 1466660 SOS 1230767 HAS SOPS 1196285 HAS SOUS 208081 HAS SOUPS 207479 WITH SCORE 208709.767
AT ITER 1109 NEW BEST:: SOT 1466660 SOS 1231715 HAS SOPS 1197233 HAS SOUS 208047 HAS SOUPS 207445 WITH SCORE 208676.715
AT ITER 1112 NEW BEST:: SOT 1466747 SOS 1231802 HAS SOPS 1197320 HAS SOUS 207960 HAS SOUPS 207358 WITH SCORE 208589.802
AT ITER 1122 NEW BEST:: SOT 1466770 SOS 1233461 HAS SOPS 1198979 HAS SOUS 207916 HAS SOUPS 207314 WITH SCORE 208547.461
AT ITER 1131 NEW BEST:: SOT 1466704 SOS 1233395 HAS SOPS 1198913 HAS SOUS 207780 HAS SOUPS 207178 WITH SCORE 208411.395
AT ITER 1147 NEW BEST:: SOT 1466704 SOS 1233391 HAS SOPS 1198909 HAS SOUS 207779 HAS SOUPS 207177 WITH SCORE 208410.391
AT ITER 1151 NEW BEST:: SOT 1466701 SOS 1233388 HAS SOPS 1198906 HAS SOUS 207773 HAS SOUPS 207171 WITH SCORE 208404.388
AT ITER 1156 NEW BEST:: SOT 1466449 SOS 1233136 HAS SOPS 1198654 HAS SOUS 207565 HAS SOUPS 206963 WITH SCORE 208196.136
AT ITER 1169 NEW BEST:: SOT 1466449 SOS 1233976 HAS SOPS 1199494 HAS SOUS 207551 HAS SOUPS 206949 WITH SCORE 208182.976
AT ITER 1178 NEW BEST:: SOT 1466629 SOS 1234968 HAS SOPS 1200486 HAS SOUS 207496 HAS SOUPS 206894 WITH SCORE 208128.968
AT ITER 1179 NEW BEST:: SOT 1466388 SOS 1234727 HAS SOPS 1200245 HAS SOUS 207472 HAS SOUPS 206870 WITH SCORE 208104.727
AT ITER 1180 NEW BEST:: SOT 1466159 SOS 1234498 HAS SOPS 1200016 HAS SOUS 207117 HAS SOUPS 206515 WITH SCORE 207749.498
AT ITER 1181 NEW BEST:: SOT 1466105 SOS 1234444 HAS SOPS 1199962 HAS SOUS 207036 HAS SOUPS 206434 WITH SCORE 207668.444
AT ITER 1186 NEW BEST:: SOT 1466231 SOS 1234570 HAS SOPS 1200088 HAS SOUS 206910 HAS SOUPS 206308 WITH SCORE 207542.57
AT ITER 1187 NEW BEST:: SOT 1466009 SOS 1234348 HAS SOPS 1199866 HAS SOUS 206836 HAS SOUPS 206234 WITH SCORE 207468.348
AT ITER 1207 NEW BEST:: SOT 1465751 SOS 1234045 HAS SOPS 1199563 HAS SOUS 206272 HAS SOUPS 205670 WITH SCORE 206904.045
AT ITER 1208 NEW BEST:: SOT 1466044 SOS 1234354 HAS SOPS 1199872 HAS SOUS 205995 HAS SOUPS 205393 WITH SCORE 206627.354
AT ITER 1246 NEW BEST:: SOT 1465982 SOS 1234292 HAS SOPS 1199810 HAS SOUS 205910 HAS SOUPS 205308 WITH SCORE 206542.292
AT ITER 1252 NEW BEST:: SOT 1466001 SOS 1234311 HAS SOPS 1199829 HAS SOUS 205818 HAS SOUPS 205216 WITH SCORE 206450.311
AT ITER 1263 NEW BEST:: SOT 1465030 SOS 1233373 HAS SOPS 1198858 HAS SOUS 205710 HAS SOUPS 205075 WITH SCORE 206308.373
AT ITER 1272 NEW BEST:: SOT 1465024 SOS 1233377 HAS SOPS 1198862 HAS SOUS 205704 HAS SOUPS 205069 WITH SCORE 206302.377
AT ITER 1279 NEW BEST:: SOT 1464987 SOS 1233340 HAS SOPS 1198825 HAS SOUS 205667 HAS SOUPS 205032 WITH SCORE 206265.34
AT ITER 1287 NEW BEST:: SOT 1464675 SOS 1233028 HAS SOPS 1198513 HAS SOUS 205307 HAS SOUPS 204672 WITH SCORE 205905.028
AT ITER 1289 NEW BEST:: SOT 1464635 SOS 1232988 HAS SOPS 1198473 HAS SOUS 205255 HAS SOUPS 204620 WITH SCORE 205852.988
AT ITER 1300 NEW BEST:: SOT 1464583 SOS 1232936 HAS SOPS 1198421 HAS SOUS 205177 HAS SOUPS 204542 WITH SCORE 205774.936
AT ITER 1302 NEW BEST:: SOT 1464009 SOS 1232362 HAS SOPS 1197847 HAS SOUS 204521 HAS SOUPS 203886 WITH SCORE 205118.362
AT ITER 1335 NEW BEST:: SOT 1464009 SOS 1232338 HAS SOPS 1197847 HAS SOUS 204113 HAS SOUPS 203502 WITH SCORE 204734.338
AT ITER 1350 NEW BEST:: SOT 1463919 SOS 1232248 HAS SOPS 1197757 HAS SOUS 204113 HAS SOUPS 203502 WITH SCORE 204734.248
AT ITER 1363 NEW BEST:: SOT 1463829 SOS 1234706 HAS SOPS 1200215 HAS SOUS 203696 HAS SOUPS 203085 WITH SCORE 204319.706
AT ITER 1377 NEW BEST:: SOT 1463829 SOS 1234934 HAS SOPS 1200443 HAS SOUS 203685 HAS SOUPS 203074 WITH SCORE 204308.934
AT ITER 1389 NEW BEST:: SOT 1463803 SOS 1234908 HAS SOPS 1200417 HAS SOUS 203680 HAS SOUPS 203069 WITH SCORE 204303.908
AT ITER 1396 NEW BEST:: SOT 1463803 SOS 1222429 HAS SOPS 1187876 HAS SOUS 203699 HAS SOUPS 203026 WITH SCORE 204248.429
AT ITER 1403 NEW BEST:: SOT 1463797 SOS 1222423 HAS SOPS 1187870 HAS SOUS 203690 HAS SOUPS 203017 WITH SCORE 204239.423
AT ITER 1407 NEW BEST:: SOT 1463761 SOS 1222387 HAS SOPS 1187834 HAS SOUS 203656 HAS SOUPS 202983 WITH SCORE 204205.387
AT ITER 1411 NEW BEST:: SOT 1463959 SOS 1222585 HAS SOPS 1188032 HAS SOUS 203511 HAS SOUPS 202838 WITH SCORE 204060.585
AT ITER 1416 NEW BEST:: SOT 1463959 SOS 1222479 HAS SOPS 1187926 HAS SOUS 203511 HAS SOUPS 202838 WITH SCORE 204060.479
AT ITER 1434 NEW BEST:: SOT 1464191 SOS 1222711 HAS SOPS 1188158 HAS SOUS 203508 HAS SOUPS 202835 WITH SCORE 204057.711
AT ITER 1437 NEW BEST:: SOT 1464191 SOS 1222695 HAS SOPS 1188142 HAS SOUS 203506 HAS SOUPS 202833 WITH SCORE 204055.695
AT ITER 1446 NEW BEST:: SOT 1463838 SOS 1222338 HAS SOPS 1187785 HAS SOUS 203152 HAS SOUPS 202479 WITH SCORE 203701.338
AT ITER 1476 NEW BEST:: SOT 1463630 SOS 1222129 HAS SOPS 1187577 HAS SOUS 202905 HAS SOUPS 202233 WITH SCORE 203455.129
AT ITER 1480 NEW BEST:: SOT 1463630 SOS 1222129 HAS SOPS 1187577 HAS SOUS 202899 HAS SOUPS 202227 WITH SCORE 203449.129
AT ITER 1490 NEW BEST:: SOT 1464257 SOS 1222718 HAS SOPS 1188204 HAS SOUS 202828 HAS SOUPS 202194 WITH SCORE 203416.718
AT ITER 1497 NEW BEST:: SOT 1464253 SOS 1222714 HAS SOPS 1188200 HAS SOUS 202822 HAS SOUPS 202188 WITH SCORE 203410.714
AT ITER 1514 NEW BEST:: SOT 1464253 SOS 1222692 HAS SOPS 1188178 HAS SOUS 202822 HAS SOUPS 202188 WITH SCORE 203410.692
AT ITER 1516 NEW BEST:: SOT 1464253 SOS 1222416 HAS SOPS 1187902 HAS SOUS 202822 HAS SOUPS 202188 WITH SCORE 203410.416
AT ITER 1528 NEW BEST:: SOT 1464407 SOS 1225244 HAS SOPS 1190730 HAS SOUS 202776 HAS SOUPS 202142 WITH SCORE 203367.244
AT ITER 1531 NEW BEST:: SOT 1464382 SOS 1225219 HAS SOPS 1190705 HAS SOUS 202765 HAS SOUPS 202131 WITH SCORE 203356.219
AT ITER 1541 NEW BEST:: SOT 1464722 SOS 1225559 HAS SOPS 1191045 HAS SOUS 202713 HAS SOUPS 202079 WITH SCORE 203304.559
AT ITER 1561 NEW BEST:: SOT 1465247 SOS 1226084 HAS SOPS 1191570 HAS SOUS 202686 HAS SOUPS 202052 WITH SCORE 203278.084
AT ITER 1562 NEW BEST:: SOT 1464847 SOS 1225684 HAS SOPS 1191170 HAS SOUS 202211 HAS SOUPS 201577 WITH SCORE 202802.684
AT ITER 1570 NEW BEST:: SOT 1464993 SOS 1225830 HAS SOPS 1191316 HAS SOUS 202070 HAS SOUPS 201436 WITH SCORE 202661.83
AT ITER 1589 NEW BEST:: SOT 1465004 SOS 1225833 HAS SOPS 1191559 HAS SOUS 202043 HAS SOUPS 201409 WITH SCORE 202634.833
AT ITER 1611 NEW BEST:: SOT 1464776 SOS 1225605 HAS SOPS 1191331 HAS SOUS 201701 HAS SOUPS 201067 WITH SCORE 202292.605
AT ITER 1620 NEW BEST:: SOT 1465151 SOS 1225708 HAS SOPS 1191434 HAS SOUS 201691 HAS SOUPS 201057 WITH SCORE 202282.708
AT ITER 1658 NEW BEST:: SOT 1465015 SOS 1225572 HAS SOPS 1191298 HAS SOUS 201487 HAS SOUPS 200853 WITH SCORE 202078.572
AT ITER 1661 NEW BEST:: SOT 1462474 SOS 1223031 HAS SOPS 1188757 HAS SOUS 198613 HAS SOUPS 197979 WITH SCORE 199202.031
AT ITER 1663 NEW BEST:: SOT 1462474 SOS 1220253 HAS SOPS 1185979 HAS SOUS 198444 HAS SOUPS 197810 WITH SCORE 199030.253
AT ITER 1664 NEW BEST:: SOT 1462472 SOS 1220025 HAS SOPS 1186861 HAS SOUS 198419 HAS SOUPS 197785 WITH SCORE 199005.025
AT ITER 1668 NEW BEST:: SOT 1462430 SOS 1219983 HAS SOPS 1186819 HAS SOUS 198356 HAS SOUPS 197722 WITH SCORE 198941.983
AT ITER 1672 NEW BEST:: SOT 1462430 SOS 1219927 HAS SOPS 1186763 HAS SOUS 198356 HAS SOUPS 197722 WITH SCORE 198941.927
AT ITER 1682 NEW BEST:: SOT 1462428 SOS 1219925 HAS SOPS 1186761 HAS SOUS 198352 HAS SOUPS 197718 WITH SCORE 198937.925
AT ITER 1697 NEW BEST:: SOT 1462352 SOS 1219849 HAS SOPS 1186685 HAS SOUS 198238 HAS SOUPS 197604 WITH SCORE 198823.849
AT ITER 1712 NEW BEST:: SOT 1462324 SOS 1219821 HAS SOPS 1186657 HAS SOUS 198210 HAS SOUPS 197576 WITH SCORE 198795.821
AT ITER 1719 NEW BEST:: SOT 1462630 SOS 1220117 HAS SOPS 1186952 HAS SOUS 197414 HAS SOUPS 196779 WITH SCORE 197999.117
AT ITER 1749 NEW BEST:: SOT 1462616 SOS 1220103 HAS SOPS 1186938 HAS SOUS 197358 HAS SOUPS 196723 WITH SCORE 197943.103
AT ITER 1756 NEW BEST:: SOT 1462876 SOS 1220363 HAS SOPS 1187198 HAS SOUS 197234 HAS SOUPS 196599 WITH SCORE 197819.363
AT ITER 1765 NEW BEST:: SOT 1462757 SOS 1220244 HAS SOPS 1187079 HAS SOUS 197130 HAS SOUPS 196495 WITH SCORE 197715.244
AT ITER 1770 NEW BEST:: SOT 1462729 SOS 1220216 HAS SOPS 1187051 HAS SOUS 197111 HAS SOUPS 196476 WITH SCORE 197696.216
AT ITER 1771 NEW BEST:: SOT 1462643 SOS 1220130 HAS SOPS 1186965 HAS SOUS 196982 HAS SOUPS 196347 WITH SCORE 197567.13
AT ITER 1775 NEW BEST:: SOT 1462613 SOS 1220100 HAS SOPS 1186935 HAS SOUS 196982 HAS SOUPS 196347 WITH SCORE 197567.1
AT ITER 1783 NEW BEST:: SOT 1462607 SOS 1220094 HAS SOPS 1186929 HAS SOUS 196973 HAS SOUPS 196338 WITH SCORE 197558.094
AT ITER 1820 NEW BEST:: SOT 1462678 SOS 1220203 HAS SOPS 1187053 HAS SOUS 196035 HAS SOUPS 195415 WITH SCORE 196635.203
AT ITER 1837 NEW BEST:: SOT 1462674 SOS 1220199 HAS SOPS 1187049 HAS SOUS 196029 HAS SOUPS 195409 WITH SCORE 196629.199
AT ITER 1854 NEW BEST:: SOT 1462650 SOS 1220149 HAS SOPS 1187025 HAS SOUS 195953 HAS SOUPS 195359 WITH SCORE 196579.149
AT ITER 1878 NEW BEST:: SOT 1462324 SOS 1219823 HAS SOPS 1186699 HAS SOUS 195005 HAS SOUPS 194411 WITH SCORE 195630.823
AT ITER 1884 NEW BEST:: SOT 1463306 SOS 1220781 HAS SOPS 1187681 HAS SOUS 194843 HAS SOUPS 194273 WITH SCORE 195493.781
AT ITER 1889 NEW BEST:: SOT 1463006 SOS 1220494 HAS SOPS 1187401 HAS SOUS 194462 HAS SOUPS 193899 WITH SCORE 195119.494
AT ITER 1890 NEW BEST:: SOT 1462876 SOS 1220364 HAS SOPS 1187271 HAS SOUS 194437 HAS SOUPS 193874 WITH SCORE 195094.364
AT ITER 1915 NEW BEST:: SOT 1462825 SOS 1220304 HAS SOPS 1187220 HAS SOUS 194131 HAS SOUPS 193577 WITH SCORE 194797.304
AT ITER 1933 NEW BEST:: SOT 1462825 SOS 1220340 HAS SOPS 1187256 HAS SOUS 194130 HAS SOUPS 193576 WITH SCORE 194796.34
AT ITER 1948 NEW BEST:: SOT 1462821 SOS 1220336 HAS SOPS 1187252 HAS SOUS 194126 HAS SOUPS 193572 WITH SCORE 194792.336
AT ITER 1969 NEW BEST:: SOT 1462928 SOS 1220443 HAS SOPS 1187359 HAS SOUS 194055 HAS SOUPS 193501 WITH SCORE 194721.443
AT ITER 1971 NEW BEST:: SOT 1462979 SOS 1220494 HAS SOPS 1187410 HAS SOUS 194014 HAS SOUPS 193460 WITH SCORE 194680.494
AT ITER 1990 NEW BEST:: SOT 1462979 SOS 1220494 HAS SOPS 1187410 HAS SOUS 193997 HAS SOUPS 193443 WITH SCORE 194663.494
AT ITER 1998 NEW BEST:: SOT 1462979 SOS 1220490 HAS SOPS 1187406 HAS SOUS 193996 HAS SOUPS 193442 WITH SCORE 194662.49
AT ITER 2002 NEW BEST:: SOT 1462961 SOS 1220472 HAS SOPS 1187388 HAS SOUS 193969 HAS SOUPS 193415 WITH SCORE 194635.472
AT ITER 2007 NEW BEST:: SOT 1462960 SOS 1220671 HAS SOPS 1187587 HAS SOUS 193956 HAS SOUPS 193402 WITH SCORE 194622.671
AT ITER 2023 NEW BEST:: SOT 1463773 SOS 1201174 HAS SOPS 1167001 HAS SOUS 194957 HAS SOUPS 193314 WITH SCORE 194515.174
AT ITER 2049 NEW BEST:: SOT 1463767 SOS 1201168 HAS SOPS 1166995 HAS SOUS 194948 HAS SOUPS 193305 WITH SCORE 194506.168
AT ITER 2079 NEW BEST:: SOT 1463359 SOS 1200990 HAS SOPS 1166817 HAS SOUS 194557 HAS SOUPS 192914 WITH SCORE 194114.99
AT ITER 2082 NEW BEST:: SOT 1463337 SOS 1200968 HAS SOPS 1166795 HAS SOUS 194524 HAS SOUPS 192881 WITH SCORE 194081.968
AT ITER 2104 NEW BEST:: SOT 1463337 SOS 1202284 HAS SOPS 1168111 HAS SOUS 194486 HAS SOUPS 192843 WITH SCORE 194045.284
AT ITER 2129 NEW BEST:: SOT 1463115 SOS 1202251 HAS SOPS 1168078 HAS SOUS 194263 HAS SOUPS 192620 WITH SCORE 193822.251
AT ITER 2130 NEW BEST:: SOT 1462593 SOS 1201725 HAS SOPS 1167556 HAS SOUS 193669 HAS SOUPS 192030 WITH SCORE 193231.725
AT ITER 2131 NEW BEST:: SOT 1462622 SOS 1201750 HAS SOPS 1167585 HAS SOUS 193643 HAS SOUPS 192008 WITH SCORE 193209.75
AT ITER 2139 NEW BEST:: SOT 1462473 SOS 1201564 HAS SOPS 1167436 HAS SOUS 193401 HAS SOUPS 191803 WITH SCORE 193004.564
AT ITER 2177 NEW BEST:: SOT 1463539 SOS 1202693 HAS SOPS 1168502 HAS SOUS 193460 HAS SOUPS 191799 WITH SCORE 193001.693
AT ITER 2202 NEW BEST:: SOT 1463426 SOS 1202479 HAS SOPS 1168389 HAS SOUS 193237 HAS SOUPS 191677 WITH SCORE 192879.479
AT ITER 2204 NEW BEST:: SOT 1463426 SOS 1202449 HAS SOPS 1168359 HAS SOUS 193198 HAS SOUPS 191638 WITH SCORE 192840.449
AT ITER 2219 NEW BEST:: SOT 1463357 SOS 1202372 HAS SOPS 1168282 HAS SOUS 193110 HAS SOUPS 191550 WITH SCORE 192752.372
AT ITER 2228 NEW BEST:: SOT 1463309 SOS 1202324 HAS SOPS 1168234 HAS SOUS 193090 HAS SOUPS 191530 WITH SCORE 192732.324
AT ITER 2237 NEW BEST:: SOT 1463315 SOS 1202324 HAS SOPS 1168240 HAS SOUS 193039 HAS SOUPS 191485 WITH SCORE 192687.324
AT ITER 2256 NEW BEST:: SOT 1463315 SOS 1202324 HAS SOPS 1168240 HAS SOUS 193036 HAS SOUPS 191482 WITH SCORE 192684.324
AT ITER 2279 NEW BEST:: SOT 1463274 SOS 1202200 HAS SOPS 1168229 HAS SOUS 192700 HAS SOUPS 191259 WITH SCORE 192461.2
AT ITER 2291 NEW BEST:: SOT 1463274 SOS 1202104 HAS SOPS 1168133 HAS SOUS 192685 HAS SOUPS 191244 WITH SCORE 192446.104
AT ITER 2295 NEW BEST:: SOT 1463274 SOS 1202062 HAS SOPS 1168091 HAS SOUS 192685 HAS SOUPS 191244 WITH SCORE 192446.062
AT ITER 2299 NEW BEST:: SOT 1463252 SOS 1202040 HAS SOPS 1168069 HAS SOUS 192652 HAS SOUPS 191211 WITH SCORE 192413.04
AT ITER 2301 NEW BEST:: SOT 1463224 SOS 1202018 HAS SOPS 1169517 HAS SOUS 192628 HAS SOUPS 191187 WITH SCORE 192389.018
AT ITER 2304 NEW BEST:: SOT 1463199 SOS 1201993 HAS SOPS 1169492 HAS SOUS 192603 HAS SOUPS 191162 WITH SCORE 192363.993
AT ITER 2315 NEW BEST:: SOT 1463118 SOS 1201372 HAS SOPS 1168834 HAS SOUS 192521 HAS SOUPS 191043 WITH SCORE 192244.372
AT ITER 2363 NEW BEST:: SOT 1463606 SOS 1201836 HAS SOPS 1169322 HAS SOUS 192379 HAS SOUPS 190925 WITH SCORE 192126.836
AT ITER 2380 NEW BEST:: SOT 1464621 SOS 1202359 HAS SOPS 1169677 HAS SOUS 192526 HAS SOUPS 190904 WITH SCORE 192106.359
AT ITER 2420 NEW BEST:: SOT 1464515 SOS 1202253 HAS SOPS 1169571 HAS SOUS 192367 HAS SOUPS 190745 WITH SCORE 191947.253
AT ITER 2426 NEW BEST:: SOT 1464487 SOS 1202225 HAS SOPS 1169543 HAS SOUS 192351 HAS SOUPS 190729 WITH SCORE 191931.225
AT ITER 2435 NEW BEST:: SOT 1464318 SOS 1201288 HAS SOPS 1168606 HAS SOUS 192227 HAS SOUPS 190605 WITH SCORE 191806.288
AT ITER 2454 NEW BEST:: SOT 1464294 SOS 1201264 HAS SOPS 1168582 HAS SOUS 192191 HAS SOUPS 190569 WITH SCORE 191770.264
AT ITER 2479 NEW BEST:: SOT 1464346 SOS 1201312 HAS SOPS 1168634 HAS SOUS 192183 HAS SOUPS 190565 WITH SCORE 191766.312
AT ITER 2502 NEW BEST:: SOT 1464282 SOS 1201248 HAS SOPS 1168570 HAS SOUS 192087 HAS SOUPS 190469 WITH SCORE 191670.248
AT ITER 2504 NEW BEST:: SOT 1463375 SOS 1200341 HAS SOPS 1167663 HAS SOUS 191433 HAS SOUPS 189815 WITH SCORE 191015.341
AT ITER 2507 NEW BEST:: SOT 1463380 SOS 1200346 HAS SOPS 1167668 HAS SOUS 191402 HAS SOUPS 189784 WITH SCORE 190984.346
AT ITER 2530 NEW BEST:: SOT 1463301 SOS 1200193 HAS SOPS 1167589 HAS SOUS 191249 HAS SOUPS 189705 WITH SCORE 190905.193
AT ITER 2532 NEW BEST:: SOT 1463255 SOS 1200125 HAS SOPS 1167543 HAS SOUS 191169 HAS SOUPS 189647 WITH SCORE 190847.125
AT ITER 2538 NEW BEST:: SOT 1463203 SOS 1200073 HAS SOPS 1167491 HAS SOUS 191091 HAS SOUPS 189569 WITH SCORE 190769.073
AT ITER 2540 NEW BEST:: SOT 1463203 SOS 1200073 HAS SOPS 1167491 HAS SOUS 191083 HAS SOUPS 189561 WITH SCORE 190761.073
AT ITER 2565 NEW BEST:: SOT 1463036 SOS 1199910 HAS SOPS 1167324 HAS SOUS 190932 HAS SOUPS 189406 WITH SCORE 190605.91
AT ITER 2568 NEW BEST:: SOT 1463036 SOS 1187292 HAS SOPS 1142946 HAS SOUS 190906 HAS SOUPS 189380 WITH SCORE 190567.292
AT ITER 2588 NEW BEST:: SOT 1462886 SOS 1187142 HAS SOPS 1142796 HAS SOUS 190856 HAS SOUPS 189330 WITH SCORE 190517.142
AT ITER 2614 NEW BEST:: SOT 1462868 SOS 1187124 HAS SOPS 1142778 HAS SOUS 190805 HAS SOUPS 189279 WITH SCORE 190466.124
AT ITER 2628 NEW BEST:: SOT 1462868 SOS 1187120 HAS SOPS 1142774 HAS SOUS 190804 HAS SOUPS 189278 WITH SCORE 190465.12
AT ITER 2658 NEW BEST:: SOT 1462266 SOS 1186534 HAS SOPS 1142188 HAS SOUS 190225 HAS SOUPS 188699 WITH SCORE 189885.534
AT ITER 2674 NEW BEST:: SOT 1462161 SOS 1187001 HAS SOPS 1142655 HAS SOUS 190061 HAS SOUPS 188535 WITH SCORE 189722.001
AT ITER 2677 NEW BEST:: SOT 1462142 SOS 1186982 HAS SOPS 1142636 HAS SOUS 190042 HAS SOUPS 188516 WITH SCORE 189702.982
AT ITER 2702 NEW BEST:: SOT 1462120 SOS 1186960 HAS SOPS 1142614 HAS SOUS 190009 HAS SOUPS 188483 WITH SCORE 189669.96
AT ITER 2716 NEW BEST:: SOT 1462108 SOS 1186948 HAS SOPS 1142602 HAS SOUS 189991 HAS SOUPS 188465 WITH SCORE 189651.948
AT ITER 2738 NEW BEST:: SOT 1462084 SOS 1186924 HAS SOPS 1142578 HAS SOUS 189955 HAS SOUPS 188429 WITH SCORE 189615.924
AT ITER 2775 NEW BEST:: SOT 1462081 SOS 1186921 HAS SOPS 1142575 HAS SOUS 189952 HAS SOUPS 188426 WITH SCORE 189612.921
AT ITER 2784 NEW BEST:: SOT 1462406 SOS 1187234 HAS SOPS 1142900 HAS SOUS 189872 HAS SOUPS 188358 WITH SCORE 189545.234
AT ITER 2785 NEW BEST:: SOT 1462362 SOS 1187190 HAS SOPS 1142856 HAS SOUS 189806 HAS SOUPS 188292 WITH SCORE 189479.19
AT ITER 2803 NEW BEST:: SOT 1462322 SOS 1187150 HAS SOPS 1142816 HAS SOUS 189753 HAS SOUPS 188239 WITH SCORE 189426.15
AT ITER 2820 NEW BEST:: SOT 1462322 SOS 1198195 HAS SOPS 1185076 HAS SOUS 189449 HAS SOUPS 188034 WITH SCORE 189232.195
AT ITER 2831 NEW BEST:: SOT 1462274 SOS 1198147 HAS SOPS 1185028 HAS SOUS 189385 HAS SOUPS 187970 WITH SCORE 189168.147
AT ITER 2838 NEW BEST:: SOT 1462040 SOS 1197430 HAS SOPS 1184311 HAS SOUS 189049 HAS SOUPS 187634 WITH SCORE 188831.43
AT ITER 2866 NEW BEST:: SOT 1462325 SOS 1199647 HAS SOPS 1186528 HAS SOUS 188940 HAS SOUPS 187525 WITH SCORE 188724.647
AT ITER 2870 NEW BEST:: SOT 1462175 SOS 1199497 HAS SOPS 1186378 HAS SOUS 188762 HAS SOUPS 187347 WITH SCORE 188546.497
AT ITER 2873 NEW BEST:: SOT 1461065 SOS 1196471 HAS SOPS 1183352 HAS SOUS 188120 HAS SOUPS 186705 WITH SCORE 187901.471
AT ITER 2881 NEW BEST:: SOT 1461150 SOS 1196556 HAS SOPS 1183437 HAS SOUS 187959 HAS SOUPS 186544 WITH SCORE 187740.556
AT ITER 2891 NEW BEST:: SOT 1461092 SOS 1196498 HAS SOPS 1183379 HAS SOUS 187842 HAS SOUPS 186427 WITH SCORE 187623.498
AT ITER 2986 NEW BEST:: SOT 1461092 SOS 1196476 HAS SOPS 1183379 HAS SOUS 187776 HAS SOUPS 186383 WITH SCORE 187579.476
AT ITER 3006 NEW BEST:: SOT 1461092 SOS 1196476 HAS SOPS 1183379 HAS SOUS 187771 HAS SOUPS 186378 WITH SCORE 187574.476
AT ITER 3055 NEW BEST:: SOT 1460996 SOS 1196376 HAS SOPS 1183283 HAS SOUS 187625 HAS SOUPS 186236 WITH SCORE 187432.376
AT ITER 3056 NEW BEST:: SOT 1460956 SOS 1196336 HAS SOPS 1183243 HAS SOUS 187565 HAS SOUPS 186176 WITH SCORE 187372.336
AT ITER 3057 NEW BEST:: SOT 1460888 SOS 1196268 HAS SOPS 1183175 HAS SOUS 187463 HAS SOUPS 186074 WITH SCORE 187270.268
AT ITER 3078 NEW BEST:: SOT 1460888 SOS 1196280 HAS SOPS 1183187 HAS SOUS 187446 HAS SOUPS 186057 WITH SCORE 187253.28
AT ITER 3087 NEW BEST:: SOT 1460801 SOS 1195238 HAS SOPS 1182115 HAS SOUS 186534 HAS SOUPS 185115 WITH SCORE 186310.238
AT ITER 3088 NEW BEST:: SOT 1460765 SOS 1195202 HAS SOPS 1182079 HAS SOUS 186480 HAS SOUPS 185061 WITH SCORE 186256.202
AT ITER 3095 NEW BEST:: SOT 1460765 SOS 1195186 HAS SOPS 1182063 HAS SOUS 186479 HAS SOUPS 185060 WITH SCORE 186255.186
AT ITER 3125 NEW BEST:: SOT 1460293 SOS 1195393 HAS SOPS 1182270 HAS SOUS 186022 HAS SOUPS 184603 WITH SCORE 185798.393
AT ITER 3143 NEW BEST:: SOT 1460293 SOS 1219705 HAS SOPS 1194312 HAS SOUS 185968 HAS SOUPS 184495 WITH SCORE 185714.705
AT ITER 3146 NEW BEST:: SOT 1460239 SOS 1219651 HAS SOPS 1194258 HAS SOUS 185887 HAS SOUPS 184414 WITH SCORE 185633.651
AT ITER 3148 NEW BEST:: SOT 1460324 SOS 1219200 HAS SOPS 1193713 HAS SOUS 185474 HAS SOUPS 183907 WITH SCORE 185126.2
AT ITER 3170 NEW BEST:: SOT 1460317 SOS 1219193 HAS SOPS 1193706 HAS SOUS 185467 HAS SOUPS 183900 WITH SCORE 185119.193
AT ITER 3229 NEW BEST:: SOT 1460374 SOS 1219250 HAS SOPS 1193763 HAS SOUS 185398 HAS SOUPS 183831 WITH SCORE 185050.25
AT ITER 3309 NEW BEST:: SOT 1460374 SOS 1219250 HAS SOPS 1193763 HAS SOUS 185376 HAS SOUPS 183809 WITH SCORE 185028.25
AT ITER 3317 NEW BEST:: SOT 1460374 SOS 1219442 HAS SOPS 1193955 HAS SOUS 185373 HAS SOUPS 183806 WITH SCORE 185025.442
AT ITER 3323 NEW BEST:: SOT 1460374 SOS 1219442 HAS SOPS 1193955 HAS SOUS 185371 HAS SOUPS 183804 WITH SCORE 185023.442
AT ITER 3353 NEW BEST:: SOT 1460329 SOS 1219397 HAS SOPS 1193910 HAS SOUS 185314 HAS SOUPS 183747 WITH SCORE 184966.397
AT ITER 3374 NEW BEST:: SOT 1460288 SOS 1219356 HAS SOPS 1193869 HAS SOUS 185284 HAS SOUPS 183717 WITH SCORE 184936.356
AT ITER 3378 NEW BEST:: SOT 1460282 SOS 1219350 HAS SOPS 1193863 HAS SOUS 185275 HAS SOUPS 183708 WITH SCORE 184927.35
AT ITER 3422 NEW BEST:: SOT 1460264 SOS 1219332 HAS SOPS 1193845 HAS SOUS 185248 HAS SOUPS 183681 WITH SCORE 184900.332
AT ITER 3423 NEW BEST:: SOT 1460264 SOS 1220760 HAS SOPS 1195273 HAS SOUS 185216 HAS SOUPS 183649 WITH SCORE 184869.76
AT ITER 3445 NEW BEST:: SOT 1460252 SOS 1220736 HAS SOPS 1195261 HAS SOUS 185192 HAS SOUPS 183637 WITH SCORE 184857.736
AT ITER 3508 NEW BEST:: SOT 1459612 SOS 1219290 HAS SOPS 1193623 HAS SOUS 184584 HAS SOUPS 182837 WITH SCORE 184056.29
AT ITER 3515 NEW BEST:: SOT 1459559 SOS 1219220 HAS SOPS 1193570 HAS SOUS 184496 HAS SOUPS 182766 WITH SCORE 183985.22
AT ITER 3516 NEW BEST:: SOT 1459533 SOS 1219220 HAS SOPS 1193544 HAS SOUS 184502 HAS SOUPS 182746 WITH SCORE 183965.22
AT ITER 3519 NEW BEST:: SOT 1459504 SOS 1218814 HAS SOPS 1193138 HAS SOUS 184473 HAS SOUPS 182717 WITH SCORE 183935.814
AT ITER 3520 NEW BEST:: SOT 1459504 SOS 1218802 HAS SOPS 1193126 HAS SOUS 184471 HAS SOUPS 182715 WITH SCORE 183933.802
AT ITER 3532 NEW BEST:: SOT 1459379 SOS 1218660 HAS SOPS 1193001 HAS SOUS 184275 HAS SOUPS 182536 WITH SCORE 183754.66
AT ITER 3538 NEW BEST:: SOT 1459223 SOS 1218504 HAS SOPS 1192845 HAS SOUS 184119 HAS SOUPS 182380 WITH SCORE 183598.504
AT ITER 3557 NEW BEST:: SOT 1459223 SOS 1219032 HAS SOPS 1193373 HAS SOUS 184113 HAS SOUPS 182374 WITH SCORE 183593.032
AT ITER 3564 NEW BEST:: SOT 1459201 SOS 1219010 HAS SOPS 1193351 HAS SOUS 184071 HAS SOUPS 182332 WITH SCORE 183551.01
AT ITER 3578 NEW BEST:: SOT 1459201 SOS 1218981 HAS SOPS 1193351 HAS SOUS 183984 HAS SOUPS 182274 WITH SCORE 183492.981
AT ITER 3625 NEW BEST:: SOT 1459178 SOS 1218958 HAS SOPS 1193328 HAS SOUS 183966 HAS SOUPS 182256 WITH SCORE 183474.958
AT ITER 3704 NEW BEST:: SOT 1459176 SOS 1218956 HAS SOPS 1193326 HAS SOUS 183963 HAS SOUPS 182253 WITH SCORE 183471.956
AT ITER 3718 NEW BEST:: SOT 1459102 SOS 1218882 HAS SOPS 1193252 HAS SOUS 183951 HAS SOUPS 182241 WITH SCORE 183459.882
AT ITER 3721 NEW BEST:: SOT 1459102 SOS 1218866 HAS SOPS 1193236 HAS SOUS 183951 HAS SOUPS 182241 WITH SCORE 183459.866
AT ITER 3741 NEW BEST:: SOT 1459028 SOS 1218792 HAS SOPS 1193162 HAS SOUS 183949 HAS SOUPS 182239 WITH SCORE 183457.792
AT ITER 3748 NEW BEST:: SOT 1458434 SOS 1218146 HAS SOPS 1192516 HAS SOUS 183393 HAS SOUPS 181683 WITH SCORE 182901.146
AT ITER 3782 NEW BEST:: SOT 1458416 SOS 1218128 HAS SOPS 1192498 HAS SOUS 183366 HAS SOUPS 181656 WITH SCORE 182874.128
AT ITER 3804 NEW BEST:: SOT 1458410 SOS 1218116 HAS SOPS 1192492 HAS SOUS 183354 HAS SOUPS 181650 WITH SCORE 182868.116
AT ITER 3813 NEW BEST:: SOT 1458181 SOS 1217887 HAS SOPS 1192263 HAS SOUS 183125 HAS SOUPS 181421 WITH SCORE 182638.887
AT ITER 3821 NEW BEST:: SOT 1458167 SOS 1217873 HAS SOPS 1192249 HAS SOUS 183104 HAS SOUPS 181400 WITH SCORE 182617.873
AT ITER 3842 NEW BEST:: SOT 1458125 SOS 1217831 HAS SOPS 1192207 HAS SOUS 183045 HAS SOUPS 181341 WITH SCORE 182558.831
AT ITER 3849 NEW BEST:: SOT 1458095 SOS 1217801 HAS SOPS 1192177 HAS SOUS 183013 HAS SOUPS 181309 WITH SCORE 182526.801
AT ITER 3855 NEW BEST:: SOT 1458095 SOS 1217921 HAS SOPS 1192297 HAS SOUS 183003 HAS SOUPS 181299 WITH SCORE 182516.921
AT ITER 3864 NEW BEST:: SOT 1458085 SOS 1217911 HAS SOPS 1192287 HAS SOUS 182988 HAS SOUPS 181284 WITH SCORE 182501.911
AT ITER 3884 NEW BEST:: SOT 1458085 SOS 1217911 HAS SOPS 1192287 HAS SOUS 182975 HAS SOUPS 181271 WITH SCORE 182488.911
AT ITER 3903 NEW BEST:: SOT 1458085 SOS 1217911 HAS SOPS 1192287 HAS SOUS 182963 HAS SOUPS 181259 WITH SCORE 182476.911
AT ITER 3929 NEW BEST:: SOT 1458085 SOS 1217877 HAS SOPS 1192253 HAS SOUS 182963 HAS SOUPS 181259 WITH SCORE 182476.877
AT ITER 3942 NEW BEST:: SOT 1458027 SOS 1217819 HAS SOPS 1192195 HAS SOUS 182876 HAS SOUPS 181172 WITH SCORE 182389.819
AT ITER 3945 NEW BEST:: SOT 1458001 SOS 1217793 HAS SOPS 1192169 HAS SOUS 182840 HAS SOUPS 181136 WITH SCORE 182353.793
AT ITER 3946 NEW BEST:: SOT 1457323 SOS 1217035 HAS SOPS 1191411 HAS SOUS 182122 HAS SOUPS 180418 WITH SCORE 181635.035
AT ITER 3967 NEW BEST:: SOT 1457329 SOS 1217041 HAS SOPS 1191417 HAS SOUS 182081 HAS SOUPS 180377 WITH SCORE 181594.041
AT ITER 3973 NEW BEST:: SOT 1457329 SOS 1217041 HAS SOPS 1191417 HAS SOUS 182077 HAS SOUPS 180373 WITH SCORE 181590.041
AT ITER 4057 NEW BEST:: SOT 1457243 SOS 1216955 HAS SOPS 1191331 HAS SOUS 181980 HAS SOUPS 180276 WITH SCORE 181492.955
AT ITER 4063 NEW BEST:: SOT 1457206 SOS 1216918 HAS SOPS 1191294 HAS SOUS 181943 HAS SOUPS 180239 WITH SCORE 181455.918
AT ITER 4074 NEW BEST:: SOT 1457206 SOS 1216796 HAS SOPS 1191172 HAS SOUS 181943 HAS SOUPS 180239 WITH SCORE 181455.796
AT ITER 4126 NEW BEST:: SOT 1457194 SOS 1216784 HAS SOPS 1191160 HAS SOUS 181925 HAS SOUPS 180221 WITH SCORE 181437.784
AT ITER 4147 NEW BEST:: SOT 1457194 SOS 1216784 HAS SOPS 1191160 HAS SOUS 181924 HAS SOUPS 180220 WITH SCORE 181436.784
AT ITER 4170 NEW BEST:: SOT 1457186 SOS 1216776 HAS SOPS 1191152 HAS SOUS 181916 HAS SOUPS 180212 WITH SCORE 181428.776
AT ITER 4178 NEW BEST:: SOT 1457186 SOS 1216776 HAS SOPS 1191152 HAS SOUS 181914 HAS SOUPS 180210 WITH SCORE 181426.776
AT ITER 4197 NEW BEST:: SOT 1457186 SOS 1216806 HAS SOPS 1191182 HAS SOUS 181911 HAS SOUPS 180207 WITH SCORE 181423.806
AT ITER 4227 NEW BEST:: SOT 1457123 SOS 1216743 HAS SOPS 1191119 HAS SOUS 181848 HAS SOUPS 180144 WITH SCORE 181360.743
AT ITER 4275 NEW BEST:: SOT 1457285 SOS 1216887 HAS SOPS 1191281 HAS SOUS 181710 HAS SOUPS 180024 WITH SCORE 181240.887
AT ITER 4294 NEW BEST:: SOT 1457773 SOS 1216816 HAS SOPS 1190839 HAS SOUS 181564 HAS SOUPS 179507 WITH SCORE 180723.816
AT ITER 4303 NEW BEST:: SOT 1457773 SOS 1216816 HAS SOPS 1189219 HAS SOUS 181558 HAS SOUPS 179501 WITH SCORE 180717.816
AT ITER 4317 NEW BEST:: SOT 1457782 SOS 1216825 HAS SOPS 1189228 HAS SOUS 181551 HAS SOUPS 179494 WITH SCORE 180710.825
AT ITER 4328 NEW BEST:: SOT 1457918 SOS 1216941 HAS SOPS 1189344 HAS SOUS 181382 HAS SOUPS 179325 WITH SCORE 180541.941
AT ITER 4385 NEW BEST:: SOT 1457331 SOS 1216272 HAS SOPS 1188675 HAS SOUS 180795 HAS SOUPS 178738 WITH SCORE 179954.272
AT ITER 4417 NEW BEST:: SOT 1456747 SOS 1215630 HAS SOPS 1188033 HAS SOUS 180234 HAS SOUPS 178177 WITH SCORE 179392.63
AT ITER 4419 NEW BEST:: SOT 1456707 SOS 1215586 HAS SOPS 1187993 HAS SOUS 180172 HAS SOUPS 178119 WITH SCORE 179334.586
AT ITER 4420 NEW BEST:: SOT 1456704 SOS 1215583 HAS SOPS 1187990 HAS SOUS 180169 HAS SOUPS 178116 WITH SCORE 179331.583
AT ITER 4451 NEW BEST:: SOT 1456704 SOS 1215583 HAS SOPS 1187990 HAS SOUS 180167 HAS SOUPS 178114 WITH SCORE 179329.583
AT ITER 4462 NEW BEST:: SOT 1456704 SOS 1215575 HAS SOPS 1187982 HAS SOUS 180163 HAS SOUPS 178110 WITH SCORE 179325.575
AT ITER 4477 NEW BEST:: SOT 1456666 SOS 1215537 HAS SOPS 1187944 HAS SOUS 180106 HAS SOUPS 178053 WITH SCORE 179268.537
AT ITER 4484 NEW BEST:: SOT 1456666 SOS 1215527 HAS SOPS 1187934 HAS SOUS 180091 HAS SOUPS 178038 WITH SCORE 179253.527
AT ITER 4506 NEW BEST:: SOT 1456666 SOS 1216655 HAS SOPS 1189062 HAS SOUS 180062 HAS SOUPS 178009 WITH SCORE 179225.655
AT ITER 4518 NEW BEST:: SOT 1456641 SOS 1216630 HAS SOPS 1189037 HAS SOUS 180037 HAS SOUPS 177984 WITH SCORE 179200.63
AT ITER 4536 NEW BEST:: SOT 1456954 SOS 1216948 HAS SOPS 1189350 HAS SOUS 179748 HAS SOUPS 177690 WITH SCORE 178906.948
AT ITER 4540 NEW BEST:: SOT 1456771 SOS 1216765 HAS SOPS 1189167 HAS SOUS 179592 HAS SOUPS 177534 WITH SCORE 178750.765
AT ITER 4563 NEW BEST:: SOT 1456739 SOS 1216733 HAS SOPS 1189135 HAS SOUS 179544 HAS SOUPS 177486 WITH SCORE 178702.733
AT ITER 4592 NEW BEST:: SOT 1456703 SOS 1216697 HAS SOPS 1189099 HAS SOUS 179490 HAS SOUPS 177432 WITH SCORE 178648.697
AT ITER 4593 NEW BEST:: SOT 1456703 SOS 1216675 HAS SOPS 1189077 HAS SOUS 179472 HAS SOUPS 177414 WITH SCORE 178630.675
AT ITER 4602 NEW BEST:: SOT 1456703 SOS 1216601 HAS SOPS 1189003 HAS SOUS 179472 HAS SOUPS 177414 WITH SCORE 178630.601
AT ITER 4624 NEW BEST:: SOT 1455897 SOS 1215776 HAS SOPS 1188197 HAS SOUS 179071 HAS SOUPS 177032 WITH SCORE 178247.776
AT ITER 4640 NEW BEST:: SOT 1455897 SOS 1215656 HAS SOPS 1188077 HAS SOUS 179071 HAS SOUPS 177032 WITH SCORE 178247.656
AT ITER 4658 NEW BEST:: SOT 1455897 SOS 1215656 HAS SOPS 1188077 HAS SOUS 179070 HAS SOUPS 177031 WITH SCORE 178246.656
AT ITER 4677 NEW BEST:: SOT 1455897 SOS 1216208 HAS SOPS 1188629 HAS SOUS 179024 HAS SOUPS 176985 WITH SCORE 178201.208
AT ITER 4696 NEW BEST:: SOT 1455931 SOS 1216222 HAS SOPS 1188643 HAS SOUS 179012 HAS SOUPS 176973 WITH SCORE 178189.222
AT ITER 4732 NEW BEST:: SOT 1455879 SOS 1216170 HAS SOPS 1188591 HAS SOUS 178950 HAS SOUPS 176911 WITH SCORE 178127.17
AT ITER 4741 NEW BEST:: SOT 1455770 SOS 1216081 HAS SOPS 1188502 HAS SOUS 178875 HAS SOUPS 176836 WITH SCORE 178052.081
AT ITER 4773 NEW BEST:: SOT 1455764 SOS 1216075 HAS SOPS 1188496 HAS SOUS 178866 HAS SOUPS 176827 WITH SCORE 178043.075
AT ITER 4789 NEW BEST:: SOT 1455764 SOS 1216075 HAS SOPS 1188496 HAS SOUS 178861 HAS SOUPS 176822 WITH SCORE 178038.075
AT ITER 4836 NEW BEST:: SOT 1455754 SOS 1216065 HAS SOPS 1188576 HAS SOUS 178834 HAS SOUPS 176795 WITH SCORE 178011.065
AT ITER 4837 NEW BEST:: SOT 1455624 SOS 1215935 HAS SOPS 1188446 HAS SOUS 178653 HAS SOUPS 176614 WITH SCORE 177829.935
AT ITER 4848 NEW BEST:: SOT 1455624 SOS 1215813 HAS SOPS 1188324 HAS SOUS 178629 HAS SOUPS 176590 WITH SCORE 177805.813
AT ITER 4881 NEW BEST:: SOT 1455602 SOS 1215791 HAS SOPS 1188302 HAS SOUS 178596 HAS SOUPS 176557 WITH SCORE 177772.791
AT ITER 4896 NEW BEST:: SOT 1455598 SOS 1215787 HAS SOPS 1188298 HAS SOUS 178594 HAS SOUPS 176555 WITH SCORE 177770.787
AT ITER 4931 NEW BEST:: SOT 1455598 SOS 1215787 HAS SOPS 1188298 HAS SOUS 178583 HAS SOUPS 176544 WITH SCORE 177759.787
AT ITER 4932 NEW BEST:: SOT 1455784 SOS 1215927 HAS SOPS 1188484 HAS SOUS 178355 HAS SOUPS 176362 WITH SCORE 177577.927
AT ITER 4934 NEW BEST:: SOT 1455742 SOS 1215885 HAS SOPS 1188442 HAS SOUS 178292 HAS SOUPS 176299 WITH SCORE 177514.885
AT ITER 4939 NEW BEST:: SOT 1455742 SOS 1215847 HAS SOPS 1188404 HAS SOUS 178292 HAS SOUPS 176299 WITH SCORE 177514.847
AT ITER 4976 NEW BEST:: SOT 1455742 SOS 1215871 HAS SOPS 1188428 HAS SOUS 178290 HAS SOUPS 176297 WITH SCORE 177512.871
AT ITER 4985 NEW BEST:: SOT 1455720 SOS 1215849 HAS SOPS 1188406 HAS SOUS 178231 HAS SOUPS 176238 WITH SCORE 177453.849
AT ITER 4989 NEW BEST:: SOT 1455710 SOS 1215808 HAS SOPS 1188365 HAS SOUS 178224 HAS SOUPS 176231 WITH SCORE 177446.808
AT ITER 5001 NEW BEST:: SOT 1455154 SOS 1215220 HAS SOPS 1187817 HAS SOUS 177738 HAS SOUPS 175785 WITH SCORE 177000.22
AT ITER 5018 NEW BEST:: SOT 1455130 SOS 1215196 HAS SOPS 1187793 HAS SOUS 177702 HAS SOUPS 175749 WITH SCORE 176964.196
AT ITER 5019 NEW BEST:: SOT 1455130 SOS 1215178 HAS SOPS 1187775 HAS SOUS 177675 HAS SOUPS 175722 WITH SCORE 176937.178
AT ITER 5054 NEW BEST:: SOT 1455130 SOS 1215082 HAS SOPS 1187679 HAS SOUS 177609 HAS SOUPS 175656 WITH SCORE 176871.082
AT ITER 5061 NEW BEST:: SOT 1455130 SOS 1215082 HAS SOPS 1187679 HAS SOUS 177591 HAS SOUPS 175638 WITH SCORE 176853.082
AT ITER 5069 NEW BEST:: SOT 1454989 SOS 1214924 HAS SOPS 1187538 HAS SOUS 177375 HAS SOUPS 175439 WITH SCORE 176653.924
AT ITER 5131 NEW BEST:: SOT 1454989 SOS 1214924 HAS SOPS 1187928 HAS SOUS 177337 HAS SOUPS 175401 WITH SCORE 176615.924
AT ITER 5137 NEW BEST:: SOT 1454975 SOS 1214910 HAS SOPS 1187914 HAS SOUS 177323 HAS SOUPS 175387 WITH SCORE 176601.91
AT ITER 5138 NEW BEST:: SOT 1454969 SOS 1214900 HAS SOPS 1187908 HAS SOUS 177312 HAS SOUPS 175380 WITH SCORE 176594.9
AT ITER 5147 NEW BEST:: SOT 1454935 SOS 1214866 HAS SOPS 1187874 HAS SOUS 177078 HAS SOUPS 175146 WITH SCORE 176360.866
AT ITER 5205 NEW BEST:: SOT 1454935 SOS 1214866 HAS SOPS 1187874 HAS SOUS 177075 HAS SOUPS 175143 WITH SCORE 176357.866
AT ITER 5226 NEW BEST:: SOT 1454935 SOS 1214866 HAS SOPS 1187874 HAS SOUS 177073 HAS SOUPS 175141 WITH SCORE 176355.866
AT ITER 5245 NEW BEST:: SOT 1454935 SOS 1214866 HAS SOPS 1187874 HAS SOUS 177030 HAS SOUPS 175098 WITH SCORE 176312.866
AT ITER 5262 NEW BEST:: SOT 1454893 SOS 1214820 HAS SOPS 1187832 HAS SOUS 176965 HAS SOUPS 175037 WITH SCORE 176251.82
AT ITER 5282 NEW BEST:: SOT 1455013 SOS 1214763 HAS SOPS 1187541 HAS SOUS 177122 HAS SOUPS 174960 WITH SCORE 176174.763
AT ITER 5310 NEW BEST:: SOT 1454820 SOS 1214570 HAS SOPS 1187348 HAS SOUS 177064 HAS SOUPS 174902 WITH SCORE 176116.57
AT ITER 5315 NEW BEST:: SOT 1454778 SOS 1214528 HAS SOPS 1187306 HAS SOUS 177001 HAS SOUPS 174839 WITH SCORE 176053.528
AT ITER 5328 NEW BEST:: SOT 1454778 SOS 1214528 HAS SOPS 1187306 HAS SOUS 176999 HAS SOUPS 174837 WITH SCORE 176051.528
AT ITER 5341 NEW BEST:: SOT 1454778 SOS 1214506 HAS SOPS 1191814 HAS SOUS 176955 HAS SOUPS 174815 WITH SCORE 176029.506
AT ITER 5342 NEW BEST:: SOT 1455193 SOS 1214897 HAS SOPS 1192229 HAS SOUS 176587 HAS SOUPS 174471 WITH SCORE 175685.897
AT ITER 5365 NEW BEST:: SOT 1455201 SOS 1214905 HAS SOPS 1192237 HAS SOUS 176585 HAS SOUPS 174469 WITH SCORE 175683.905
AT ITER 5387 NEW BEST:: SOT 1455041 SOS 1214739 HAS SOPS 1192077 HAS SOUS 176407 HAS SOUPS 174297 WITH SCORE 175511.739
AT ITER 5400 NEW BEST:: SOT 1455041 SOS 1215461 HAS SOPS 1192799 HAS SOUS 176210 HAS SOUPS 174100 WITH SCORE 175315.461
AT ITER 5402 NEW BEST:: SOT 1454955 SOS 1215357 HAS SOPS 1192695 HAS SOUS 176103 HAS SOUPS 173993 WITH SCORE 175208.357
AT ITER 5411 NEW BEST:: SOT 1454990 SOS 1214971 HAS SOPS 1192673 HAS SOUS 175046 HAS SOUPS 173300 WITH SCORE 174514.971
AT ITER 5416 NEW BEST:: SOT 1455340 SOS 1215321 HAS SOPS 1193023 HAS SOUS 175021 HAS SOUPS 173275 WITH SCORE 174490.321
AT ITER 5465 NEW BEST:: SOT 1455298 SOS 1215279 HAS SOPS 1192981 HAS SOUS 174979 HAS SOUPS 173233 WITH SCORE 174448.279
AT ITER 5478 NEW BEST:: SOT 1455032 SOS 1214994 HAS SOPS 1192715 HAS SOUS 174678 HAS SOUPS 172951 WITH SCORE 174165.994
AT ITER 5482 NEW BEST:: SOT 1453721 SOS 1213600 HAS SOPS 1191404 HAS SOUS 173118 HAS SOUPS 171474 WITH SCORE 172687.6
AT ITER 5487 NEW BEST:: SOT 1453721 SOS 1213598 HAS SOPS 1191404 HAS SOUS 173112 HAS SOUPS 171470 WITH SCORE 172683.598
AT ITER 5523 NEW BEST:: SOT 1453721 SOS 1211872 HAS SOPS 1186528 HAS SOUS 173112 HAS SOUPS 171470 WITH SCORE 172681.872
AT ITER 5591 NEW BEST:: SOT 1453114 SOS 1211289 HAS SOPS 1185961 HAS SOUS 172463 HAS SOUPS 170837 WITH SCORE 172048.289
AT ITER 5620 NEW BEST:: SOT 1452880 SOS 1211055 HAS SOPS 1185727 HAS SOUS 172211 HAS SOUPS 170585 WITH SCORE 171796.055
AT ITER 5668 NEW BEST:: SOT 1452832 SOS 1211007 HAS SOPS 1185679 HAS SOUS 172139 HAS SOUPS 170513 WITH SCORE 171724.007
AT ITER 5670 NEW BEST:: SOT 1452782 SOS 1210957 HAS SOPS 1185629 HAS SOUS 172090 HAS SOUPS 170464 WITH SCORE 171674.957
AT ITER 5677 NEW BEST:: SOT 1452799 SOS 1210927 HAS SOPS 1185646 HAS SOUS 171887 HAS SOUPS 170308 WITH SCORE 171518.927
AT ITER 5712 NEW BEST:: SOT 1452777 SOS 1210905 HAS SOPS 1185624 HAS SOUS 171854 HAS SOUPS 170275 WITH SCORE 171485.905
AT ITER 5732 NEW BEST:: SOT 1452650 SOS 1210778 HAS SOPS 1185497 HAS SOUS 171732 HAS SOUPS 170153 WITH SCORE 171363.778
AT ITER 5756 NEW BEST:: SOT 1452609 SOS 1210841 HAS SOPS 1185560 HAS SOUS 171731 HAS SOUPS 170152 WITH SCORE 171362.841
AT ITER 5760 NEW BEST:: SOT 1452574 SOS 1210795 HAS SOPS 1185525 HAS SOUS 171673 HAS SOUPS 170105 WITH SCORE 171315.795
AT ITER 5765 NEW BEST:: SOT 1452574 SOS 1210586 HAS SOPS 1185316 HAS SOUS 171659 HAS SOUPS 170091 WITH SCORE 171301.586
AT ITER 5860 NEW BEST:: SOT 1452623 SOS 1210635 HAS SOPS 1185365 HAS SOUS 171558 HAS SOUPS 169990 WITH SCORE 171200.635
AT ITER 5883 NEW BEST:: SOT 1452617 SOS 1210625 HAS SOPS 1185359 HAS SOUS 171547 HAS SOUPS 169983 WITH SCORE 171193.625
AT ITER 5886 NEW BEST:: SOT 1452617 SOS 1210625 HAS SOPS 1185359 HAS SOUS 171463 HAS SOUPS 169899 WITH SCORE 171109.625
AT ITER 5900 NEW BEST:: SOT 1452617 SOS 1210625 HAS SOPS 1185359 HAS SOUS 171163 HAS SOUPS 169599 WITH SCORE 170809.625
AT ITER 5909 NEW BEST:: SOT 1452656 SOS 1210638 HAS SOPS 1185398 HAS SOUS 171136 HAS SOUPS 169598 WITH SCORE 170808.638
AT ITER 5911 NEW BEST:: SOT 1452656 SOS 1210630 HAS SOPS 1185390 HAS SOUS 171136 HAS SOUPS 169598 WITH SCORE 170808.63
AT ITER 5949 NEW BEST:: SOT 1452589 SOS 1210563 HAS SOPS 1185323 HAS SOUS 170994 HAS SOUPS 169456 WITH SCORE 170666.563
AT ITER 5983 NEW BEST:: SOT 1452589 SOS 1210555 HAS SOPS 1185315 HAS SOUS 170990 HAS SOUPS 169452 WITH SCORE 170662.555
AT ITER 5999 NEW BEST:: SOT 1452589 SOS 1210555 HAS SOPS 1185315 HAS SOUS 170966 HAS SOUPS 169428 WITH SCORE 170638.555
AT ITER 6009 NEW BEST:: SOT 1452589 SOS 1210555 HAS SOPS 1185315 HAS SOUS 170918 HAS SOUPS 169380 WITH SCORE 170590.555
AT ITER 6048 NEW BEST:: SOT 1452589 SOS 1210493 HAS SOPS 1185253 HAS SOUS 170918 HAS SOUPS 169380 WITH SCORE 170590.493
AT ITER 6084 NEW BEST:: SOT 1452589 SOS 1210493 HAS SOPS 1185253 HAS SOUS 170914 HAS SOUPS 169376 WITH SCORE 170586.493
AT ITER 6085 NEW BEST:: SOT 1452466 SOS 1210342 HAS SOPS 1185099 HAS SOUS 170789 HAS SOUPS 169248 WITH SCORE 170458.342
AT ITER 6090 NEW BEST:: SOT 1452458 SOS 1210334 HAS SOPS 1185091 HAS SOUS 170777 HAS SOUPS 169236 WITH SCORE 170446.334
AT ITER 6150 NEW BEST:: SOT 1452458 SOS 1210330 HAS SOPS 1185091 HAS SOUS 170769 HAS SOUPS 169232 WITH SCORE 170442.33
AT ITER 6168 NEW BEST:: SOT 1452458 SOS 1210309 HAS SOPS 1185091 HAS SOUS 170706 HAS SOUPS 169190 WITH SCORE 170400.309
AT ITER 6225 NEW BEST:: SOT 1452346 SOS 1210190 HAS SOPS 1184972 HAS SOUS 170587 HAS SOUPS 169071 WITH SCORE 170281.19
AT ITER 6273 NEW BEST:: SOT 1452294 SOS 1210138 HAS SOPS 1184920 HAS SOUS 170587 HAS SOUPS 169071 WITH SCORE 170281.138
AT ITER 6285 NEW BEST:: SOT 1452377 SOS 1212825 HAS SOPS 1187607 HAS SOUS 170548 HAS SOUPS 169032 WITH SCORE 170244.825
AT ITER 6296 NEW BEST:: SOT 1452339 SOS 1212777 HAS SOPS 1187559 HAS SOUS 170519 HAS SOUPS 169003 WITH SCORE 170215.777
AT ITER 6299 NEW BEST:: SOT 1452185 SOS 1212612 HAS SOPS 1187405 HAS SOUS 170332 HAS SOUPS 168827 WITH SCORE 170039.612
AT ITER 6305 NEW BEST:: SOT 1452185 SOS 1212601 HAS SOPS 1187405 HAS SOUS 170299 HAS SOUPS 168805 WITH SCORE 170017.601
AT ITER 6324 NEW BEST:: SOT 1452119 SOS 1212529 HAS SOPS 1187333 HAS SOUS 170230 HAS SOUPS 168736 WITH SCORE 169948.529
AT ITER 6368 NEW BEST:: SOT 1452101 SOS 1212511 HAS SOPS 1187315 HAS SOUS 170203 HAS SOUPS 168709 WITH SCORE 169921.511
AT ITER 6420 NEW BEST:: SOT 1452045 SOS 1212455 HAS SOPS 1187259 HAS SOUS 169975 HAS SOUPS 168481 WITH SCORE 169693.455
AT ITER 6448 NEW BEST:: SOT 1452025 SOS 1212435 HAS SOPS 1187239 HAS SOUS 169945 HAS SOUPS 168451 WITH SCORE 169663.435
AT ITER 6477 NEW BEST:: SOT 1452009 SOS 1212419 HAS SOPS 1187223 HAS SOUS 169921 HAS SOUPS 168427 WITH SCORE 169639.419
AT ITER 6529 NEW BEST:: SOT 1451990 SOS 1212383 HAS SOPS 1187204 HAS SOUS 169884 HAS SOUPS 168407 WITH SCORE 169619.383
AT ITER 6532 NEW BEST:: SOT 1451990 SOS 1212383 HAS SOPS 1187204 HAS SOUS 169881 HAS SOUPS 168404 WITH SCORE 169616.383
AT ITER 6541 NEW BEST:: SOT 1451989 SOS 1212382 HAS SOPS 1187203 HAS SOUS 169881 HAS SOUPS 168404 WITH SCORE 169616.382
AT ITER 6547 NEW BEST:: SOT 1452037 SOS 1212430 HAS SOPS 1187251 HAS SOUS 169869 HAS SOUPS 168392 WITH SCORE 169604.43
AT ITER 6578 NEW BEST:: SOT 1452125 SOS 1212518 HAS SOPS 1187339 HAS SOUS 169833 HAS SOUPS 168356 WITH SCORE 169568.518
AT ITER 6581 NEW BEST:: SOT 1452129 SOS 1212522 HAS SOPS 1187343 HAS SOUS 169829 HAS SOUPS 168352 WITH SCORE 169564.522
AT ITER 6584 NEW BEST:: SOT 1452125 SOS 1212518 HAS SOPS 1187339 HAS SOUS 169823 HAS SOUPS 168346 WITH SCORE 169558.518
AT ITER 6621 NEW BEST:: SOT 1452109 SOS 1212502 HAS SOPS 1187323 HAS SOUS 169803 HAS SOUPS 168326 WITH SCORE 169538.502
AT ITER 6628 NEW BEST:: SOT 1451595 SOS 1211988 HAS SOPS 1186809 HAS SOUS 169289 HAS SOUPS 167812 WITH SCORE 169023.988
AT ITER 6660 NEW BEST:: SOT 1451608 SOS 1212001 HAS SOPS 1186822 HAS SOUS 169285 HAS SOUPS 167808 WITH SCORE 169020.001
AT ITER 6663 NEW BEST:: SOT 1451608 SOS 1212049 HAS SOPS 1186870 HAS SOUS 169281 HAS SOUPS 167804 WITH SCORE 169016.049
AT ITER 6669 NEW BEST:: SOT 1451659 SOS 1212123 HAS SOPS 1186969 HAS SOUS 168956 HAS SOUPS 167504 WITH SCORE 168716.123
AT ITER 6682 NEW BEST:: SOT 1451713 SOS 1212162 HAS SOPS 1187023 HAS SOUS 168815 HAS SOUPS 167378 WITH SCORE 168590.162
AT ITER 6683 NEW BEST:: SOT 1451713 SOS 1212146 HAS SOPS 1187007 HAS SOUS 168815 HAS SOUPS 167378 WITH SCORE 168590.146
AT ITER 6699 NEW BEST:: SOT 1451713 SOS 1212146 HAS SOPS 1187007 HAS SOUS 168798 HAS SOUPS 167361 WITH SCORE 168573.146
AT ITER 6703 NEW BEST:: SOT 1451713 SOS 1212146 HAS SOPS 1187007 HAS SOUS 168796 HAS SOUPS 167359 WITH SCORE 168571.146
AT ITER 6747 NEW BEST:: SOT 1451677 SOS 1212110 HAS SOPS 1186971 HAS SOUS 168742 HAS SOUPS 167305 WITH SCORE 168517.11
AT ITER 6766 NEW BEST:: SOT 1451677 SOS 1212110 HAS SOPS 1186971 HAS SOUS 168740 HAS SOUPS 167303 WITH SCORE 168515.11
AT ITER 6767 NEW BEST:: SOT 1451651 SOS 1212084 HAS SOPS 1186945 HAS SOUS 168701 HAS SOUPS 167264 WITH SCORE 168476.084
AT ITER 6798 NEW BEST:: SOT 1451651 SOS 1212048 HAS SOPS 1186909 HAS SOUS 168701 HAS SOUPS 167264 WITH SCORE 168476.048
AT ITER 6827 NEW BEST:: SOT 1451653 SOS 1212050 HAS SOPS 1186911 HAS SOUS 168692 HAS SOUPS 167255 WITH SCORE 168467.05
AT ITER 6829 NEW BEST:: SOT 1451653 SOS 1212050 HAS SOPS 1186911 HAS SOUS 168688 HAS SOUPS 167251 WITH SCORE 168463.05
AT ITER 6840 NEW BEST:: SOT 1451643 SOS 1212040 HAS SOPS 1186901 HAS SOUS 168673 HAS SOUPS 167236 WITH SCORE 168448.04
AT ITER 6864 NEW BEST:: SOT 1451593 SOS 1211990 HAS SOPS 1186851 HAS SOUS 168598 HAS SOUPS 167161 WITH SCORE 168372.99
AT ITER 6906 NEW BEST:: SOT 1451569 SOS 1211966 HAS SOPS 1186827 HAS SOUS 168562 HAS SOUPS 167125 WITH SCORE 168336.966
AT ITER 6942 NEW BEST:: SOT 1451539 SOS 1211936 HAS SOPS 1186797 HAS SOUS 168517 HAS SOUPS 167080 WITH SCORE 168291.936
AT ITER 6945 NEW BEST:: SOT 1451535 SOS 1211932 HAS SOPS 1186793 HAS SOUS 168513 HAS SOUPS 167076 WITH SCORE 168287.932
AT ITER 6968 NEW BEST:: SOT 1451431 SOS 1211828 HAS SOPS 1186689 HAS SOUS 168357 HAS SOUPS 166920 WITH SCORE 168131.828
AT ITER 6986 NEW BEST:: SOT 1451431 SOS 1211828 HAS SOPS 1186689 HAS SOUS 168312 HAS SOUPS 166875 WITH SCORE 168086.828
AT ITER 6999 NEW BEST:: SOT 1451431 SOS 1211828 HAS SOPS 1186689 HAS SOUS 168304 HAS SOUPS 166867 WITH SCORE 168078.828
AT ITER 7009 NEW BEST:: SOT 1451431 SOS 1212836 HAS SOPS 1187697 HAS SOUS 168277 HAS SOUPS 166840 WITH SCORE 168052.836
AT ITER 7024 NEW BEST:: SOT 1451431 SOS 1212790 HAS SOPS 1187651 HAS SOUS 168277 HAS SOUPS 166840 WITH SCORE 168052.79
AT ITER 7031 NEW BEST:: SOT 1451428 SOS 1212784 HAS SOPS 1187648 HAS SOUS 168271 HAS SOUPS 166837 WITH SCORE 168049.784
AT ITER 7044 NEW BEST:: SOT 1451424 SOS 1212816 HAS SOPS 1187680 HAS SOUS 168265 HAS SOUPS 166831 WITH SCORE 168043.816
AT ITER 7117 NEW BEST:: SOT 1451417 SOS 1212817 HAS SOPS 1187681 HAS SOUS 168230 HAS SOUPS 166796 WITH SCORE 168008.817
AT ITER 7136 NEW BEST:: SOT 1451799 SOS 1213199 HAS SOPS 1188063 HAS SOUS 167893 HAS SOUPS 166459 WITH SCORE 167672.199
AT ITER 7139 NEW BEST:: SOT 1451799 SOS 1213127 HAS SOPS 1187991 HAS SOUS 167893 HAS SOUPS 166459 WITH SCORE 167672.127
AT ITER 7141 NEW BEST:: SOT 1451717 SOS 1213037 HAS SOPS 1187909 HAS SOUS 167787 HAS SOUPS 166361 WITH SCORE 167574.037
AT ITER 7161 NEW BEST:: SOT 1451717 SOS 1213037 HAS SOPS 1187909 HAS SOUS 167779 HAS SOUPS 166353 WITH SCORE 167566.037
AT ITER 7164 NEW BEST:: SOT 1451717 SOS 1213037 HAS SOPS 1187909 HAS SOUS 167766 HAS SOUPS 166340 WITH SCORE 167553.037
AT ITER 7166 NEW BEST:: SOT 1451659 SOS 1212979 HAS SOPS 1187851 HAS SOUS 167676 HAS SOUPS 166250 WITH SCORE 167462.979
AT ITER 7184 NEW BEST:: SOT 1451589 SOS 1212909 HAS SOPS 1187781 HAS SOUS 167571 HAS SOUPS 166145 WITH SCORE 167357.909
AT ITER 7225 NEW BEST:: SOT 1451589 SOS 1212877 HAS SOPS 1194889 HAS SOUS 167507 HAS SOUPS 166113 WITH SCORE 167325.877
AT ITER 7247 NEW BEST:: SOT 1451557 SOS 1212845 HAS SOPS 1194857 HAS SOUS 167490 HAS SOUPS 166096 WITH SCORE 167308.845
AT ITER 7279 NEW BEST:: SOT 1451610 SOS 1212846 HAS SOPS 1194805 HAS SOUS 167498 HAS SOUPS 166051 WITH SCORE 167263.846
AT ITER 7311 NEW BEST:: SOT 1451470 SOS 1212846 HAS SOPS 1194805 HAS SOUS 167368 HAS SOUPS 165921 WITH SCORE 167133.846
AT ITER 7321 NEW BEST:: SOT 1451405 SOS 1212781 HAS SOPS 1194740 HAS SOUS 167350 HAS SOUPS 165903 WITH SCORE 167115.781
AT ITER 7339 NEW BEST:: SOT 1451301 SOS 1212682 HAS SOPS 1194650 HAS SOUS 167229 HAS SOUPS 165791 WITH SCORE 167003.682
AT ITER 7405 NEW BEST:: SOT 1451301 SOS 1212604 HAS SOPS 1194572 HAS SOUS 167229 HAS SOUPS 165791 WITH SCORE 167003.604
AT ITER 7412 NEW BEST:: SOT 1451283 SOS 1212586 HAS SOPS 1194554 HAS SOUS 167202 HAS SOUPS 165764 WITH SCORE 166976.586
AT ITER 7512 NEW BEST:: SOT 1451283 SOS 1212586 HAS SOPS 1194554 HAS SOUS 167189 HAS SOUPS 165751 WITH SCORE 166963.586
AT ITER 7535 NEW BEST:: SOT 1451259 SOS 1212562 HAS SOPS 1194530 HAS SOUS 167173 HAS SOUPS 165735 WITH SCORE 166947.562
AT ITER 7537 NEW BEST:: SOT 1451177 SOS 1212476 HAS SOPS 1194448 HAS SOUS 167025 HAS SOUPS 165591 WITH SCORE 166803.476
AT ITER 7562 NEW BEST:: SOT 1451167 SOS 1212466 HAS SOPS 1194438 HAS SOUS 167010 HAS SOUPS 165576 WITH SCORE 166788.466
AT ITER 7677 NEW BEST:: SOT 1451259 SOS 1212558 HAS SOPS 1194530 HAS SOUS 166996 HAS SOUPS 165562 WITH SCORE 166774.558
AT ITER 7745 NEW BEST:: SOT 1451229 SOS 1212528 HAS SOPS 1194500 HAS SOUS 166978 HAS SOUPS 165544 WITH SCORE 166756.528
AT ITER 7764 NEW BEST:: SOT 1451229 SOS 1212864 HAS SOPS 1194836 HAS SOUS 166954 HAS SOUPS 165520 WITH SCORE 166732.864
AT ITER 7787 NEW BEST:: SOT 1451229 SOS 1212864 HAS SOPS 1194836 HAS SOUS 166940 HAS SOUPS 165506 WITH SCORE 166718.864
AT ITER 7819 NEW BEST:: SOT 1451211 SOS 1212846 HAS SOPS 1194818 HAS SOUS 166926 HAS SOUPS 165492 WITH SCORE 166704.846
AT ITER 7901 NEW BEST:: SOT 1451199 SOS 1212834 HAS SOPS 1194806 HAS SOUS 166908 HAS SOUPS 165474 WITH SCORE 166686.834
AT ITER 7938 NEW BEST:: SOT 1451179 SOS 1212816 HAS SOPS 1194786 HAS SOUS 166888 HAS SOUPS 165452 WITH SCORE 166664.816
AT ITER 7969 NEW BEST:: SOT 1451323 SOS 1212947 HAS SOPS 1194930 HAS SOUS 166832 HAS SOUPS 165409 WITH SCORE 166621.947
AT ITER 7980 NEW BEST:: SOT 1451272 SOS 1212864 HAS SOPS 1194879 HAS SOUS 166749 HAS SOUPS 165358 WITH SCORE 166570.864
AT ITER 7992 NEW BEST:: SOT 1451272 SOS 1212528 HAS SOPS 1194543 HAS SOUS 166724 HAS SOUPS 165333 WITH SCORE 166545.528
AT ITER 8000 NEW BEST:: SOT 1451055 SOS 1212371 HAS SOPS 1194386 HAS SOUS 166525 HAS SOUPS 165134 WITH SCORE 166346.371
AT ITER 8004 NEW BEST:: SOT 1451082 SOS 1212328 HAS SOPS 1194343 HAS SOUS 166514 HAS SOUPS 165123 WITH SCORE 166335.328
AT ITER 8167 NEW BEST:: SOT 1451082 SOS 1212328 HAS SOPS 1194343 HAS SOUS 166509 HAS SOUPS 165118 WITH SCORE 166330.328
AT ITER 8196 NEW BEST:: SOT 1451072 SOS 1212314 HAS SOPS 1194333 HAS SOUS 166492 HAS SOUPS 165105 WITH SCORE 166317.314
AT ITER 8197 NEW BEST:: SOT 1451069 SOS 1212311 HAS SOPS 1194330 HAS SOUS 166489 HAS SOUPS 165102 WITH SCORE 166314.311
AT ITER 8219 NEW BEST:: SOT 1451051 SOS 1212293 HAS SOPS 1194312 HAS SOUS 166462 HAS SOUPS 165075 WITH SCORE 166287.293
AT ITER 8243 NEW BEST:: SOT 1450931 SOS 1212165 HAS SOPS 1194192 HAS SOUS 166318 HAS SOUPS 164939 WITH SCORE 166151.165
AT ITER 8381 NEW BEST:: SOT 1450980 SOS 1212214 HAS SOPS 1194241 HAS SOUS 166282 HAS SOUPS 164903 WITH SCORE 166115.214
AT ITER 8399 NEW BEST:: SOT 1450980 SOS 1212188 HAS SOPS 1194215 HAS SOUS 166282 HAS SOUPS 164903 WITH SCORE 166115.188
AT ITER 8427 NEW BEST:: SOT 1450617 SOS 1211907 HAS SOPS 1193934 HAS SOUS 165963 HAS SOUPS 164584 WITH SCORE 165795.907
AT ITER 8440 NEW BEST:: SOT 1450595 SOS 1211885 HAS SOPS 1193912 HAS SOUS 165930 HAS SOUPS 164551 WITH SCORE 165762.885
AT ITER 8463 NEW BEST:: SOT 1450595 SOS 1211885 HAS SOPS 1193912 HAS SOUS 165929 HAS SOUPS 164550 WITH SCORE 165761.885
AT ITER 8501 NEW BEST:: SOT 1450369 SOS 1211661 HAS SOPS 1193688 HAS SOUS 165704 HAS SOUPS 164325 WITH SCORE 165536.661
AT ITER 8603 NEW BEST:: SOT 1450327 SOS 1211596 HAS SOPS 1193646 HAS SOUS 165616 HAS SOUPS 164260 WITH SCORE 165471.596
AT ITER 8655 NEW BEST:: SOT 1450418 SOS 1211687 HAS SOPS 1193737 HAS SOUS 165588 HAS SOUPS 164232 WITH SCORE 165443.687
AT ITER 8678 NEW BEST:: SOT 1450418 SOS 1211513 HAS SOPS 1193563 HAS SOUS 165531 HAS SOUPS 164175 WITH SCORE 165386.513
AT ITER 8745 NEW BEST:: SOT 1450418 SOS 1211387 HAS SOPS 1193437 HAS SOUS 165522 HAS SOUPS 164166 WITH SCORE 165377.387
AT ITER 8761 NEW BEST:: SOT 1450414 SOS 1211383 HAS SOPS 1193433 HAS SOUS 165516 HAS SOUPS 164160 WITH SCORE 165371.383
AT ITER 8775 NEW BEST:: SOT 1450390 SOS 1211359 HAS SOPS 1193409 HAS SOUS 165492 HAS SOUPS 164136 WITH SCORE 165347.359
AT ITER 8777 NEW BEST:: SOT 1450390 SOS 1211359 HAS SOPS 1193409 HAS SOUS 165491 HAS SOUPS 164135 WITH SCORE 165346.359
AT ITER 8791 NEW BEST:: SOT 1450288 SOS 1211257 HAS SOPS 1193307 HAS SOUS 165338 HAS SOUPS 163982 WITH SCORE 165193.257
AT ITER 8798 NEW BEST:: SOT 1450271 SOS 1211217 HAS SOPS 1193244 HAS SOUS 165344 HAS SOUPS 163965 WITH SCORE 165176.217
AT ITER 8814 NEW BEST:: SOT 1450271 SOS 1211757 HAS SOPS 1193784 HAS SOUS 165299 HAS SOUPS 163920 WITH SCORE 165131.757
AT ITER 8818 NEW BEST:: SOT 1450276 SOS 1211762 HAS SOPS 1193789 HAS SOUS 165269 HAS SOUPS 163890 WITH SCORE 165101.762
AT ITER 8876 NEW BEST:: SOT 1450156 SOS 1211646 HAS SOPS 1193673 HAS SOUS 165117 HAS SOUPS 163738 WITH SCORE 164949.646
AT ITER 8977 NEW BEST:: SOT 1450156 SOS 1211640 HAS SOPS 1193667 HAS SOUS 165080 HAS SOUPS 163701 WITH SCORE 164912.64
AT ITER 9021 NEW BEST:: SOT 1450128 SOS 1211612 HAS SOPS 1193639 HAS SOUS 165060 HAS SOUPS 163681 WITH SCORE 164892.612
AT ITER 9225 NEW BEST:: SOT 1450128 SOS 1211612 HAS SOPS 1193639 HAS SOUS 165058 HAS SOUPS 163679 WITH SCORE 164890.612
AT ITER 9226 NEW BEST:: SOT 1450124 SOS 1211608 HAS SOPS 1193635 HAS SOUS 165052 HAS SOUPS 163673 WITH SCORE 164884.608
AT ITER 9248 NEW BEST:: SOT 1450124 SOS 1211578 HAS SOPS 1193605 HAS SOUS 165052 HAS SOUPS 163673 WITH SCORE 164884.578
AT ITER 9279 NEW BEST:: SOT 1450124 SOS 1211490 HAS SOPS 1193517 HAS SOUS 165052 HAS SOUPS 163673 WITH SCORE 164884.49
AT ITER 9345 NEW BEST:: SOT 1450118 SOS 1211484 HAS SOPS 1193511 HAS SOUS 165043 HAS SOUPS 163664 WITH SCORE 164875.484
AT ITER 9439 NEW BEST:: SOT 1450062 SOS 1211428 HAS SOPS 1193455 HAS SOUS 164987 HAS SOUPS 163608 WITH SCORE 164819.428
AT ITER 9470 NEW BEST:: SOT 1450082 SOS 1211428 HAS SOPS 1193475 HAS SOUS 164947 HAS SOUPS 163588 WITH SCORE 164799.428
AT ITER 9489 NEW BEST:: SOT 1450070 SOS 1211416 HAS SOPS 1193463 HAS SOUS 164929 HAS SOUPS 163570 WITH SCORE 164781.416
AT ITER 9574 NEW BEST:: SOT 1450070 SOS 1211416 HAS SOPS 1193463 HAS SOUS 164921 HAS SOUPS 163562 WITH SCORE 164773.416
AT ITER 9595 NEW BEST:: SOT 1450135 SOS 1211481 HAS SOPS 1193528 HAS SOUS 164901 HAS SOUPS 163542 WITH SCORE 164753.481
AT ITER 9608 NEW BEST:: SOT 1450157 SOS 1212871 HAS SOPS 1194918 HAS SOUS 164885 HAS SOUPS 163526 WITH SCORE 164738.871
AT ITER 9668 NEW BEST:: SOT 1450127 SOS 1212841 HAS SOPS 1194888 HAS SOUS 164857 HAS SOUPS 163498 WITH SCORE 164710.841
AT ITER 9763 NEW BEST:: SOT 1450440 SOS 1213154 HAS SOPS 1195201 HAS SOUS 164735 HAS SOUPS 163376 WITH SCORE 164589.154
AT ITER 9790 NEW BEST:: SOT 1450412 SOS 1213126 HAS SOPS 1195173 HAS SOUS 164732 HAS SOUPS 163373 WITH SCORE 164586.126
AT ITER 9825 NEW BEST:: SOT 1450514 SOS 1212903 HAS SOPS 1194500 HAS SOUS 164752 HAS SOUPS 162943 WITH SCORE 164155.903
AT ITER 9838 NEW BEST:: SOT 1450349 SOS 1212714 HAS SOPS 1194335 HAS SOUS 164563 HAS SOUPS 162778 WITH SCORE 163990.714
AT ITER 9843 NEW BEST:: SOT 1450349 SOS 1212698 HAS SOPS 1194319 HAS SOUS 164563 HAS SOUPS 162778 WITH SCORE 163990.698
AT ITER 9915 NEW BEST:: SOT 1450318 SOS 1212593 HAS SOPS 1194214 HAS SOUS 164543 HAS SOUPS 162758 WITH SCORE 163970.593
AT ITER 9948 NEW BEST:: SOT 1450318 SOS 1212593 HAS SOPS 1194214 HAS SOUS 164491 HAS SOUPS 162706 WITH SCORE 163918.593
AT ITER 9959 NEW BEST:: SOT 1450318 SOS 1213313 HAS SOPS 1194934 HAS SOUS 164431 HAS SOUPS 162646 WITH SCORE 163859.313
AT ITER 9969 NEW BEST:: SOT 1450272 SOS 1213267 HAS SOPS 1194888 HAS SOUS 164362 HAS SOUPS 162577 WITH SCORE 163790.267
AT ITER 9976 NEW BEST:: SOT 1450297 SOS 1213267 HAS SOPS 1194913 HAS SOUS 164312 HAS SOUPS 162552 WITH SCORE 163765.267
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 7459928 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16111144 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="SafeBus-COL-15"
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 SafeBus-COL-15, 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 r363-smll-167891813900232"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SafeBus-COL-15.tgz
mv SafeBus-COL-15 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 ;