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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 6.2K Feb 25 18:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 25 18:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 18:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 18:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 18:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 158K Feb 25 18:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 18:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 18:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.7M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678262837685

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCround-PT-11b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 11b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 4375 places, 6991 transitions, 19673 arcs.
AT ITER 0 NEW BEST:: SOT 19786153 SOS 4759696 HAS SOPS 4759696 HAS SOUS 2593398 HAS SOUPS 2593398 WITH SCORE 2598157.696
AT ITER 3 NEW BEST:: SOT 19786152 SOS 4759694 HAS SOPS 4759694 HAS SOUS 2593396 HAS SOUPS 2593396 WITH SCORE 2598155.694
AT ITER 20 NEW BEST:: SOT 19785623 SOS 4758967 HAS SOPS 4758967 HAS SOUS 2592669 HAS SOUPS 2592669 WITH SCORE 2597427.967
AT ITER 42 NEW BEST:: SOT 19785623 SOS 4759827 HAS SOPS 4759827 HAS SOUS 2592667 HAS SOUPS 2592667 WITH SCORE 2597426.827
AT ITER 57 NEW BEST:: SOT 19784295 SOS 4758489 HAS SOPS 4758489 HAS SOUS 2591338 HAS SOUPS 2591338 WITH SCORE 2596096.489
AT ITER 63 NEW BEST:: SOT 19784295 SOS 4759515 HAS SOPS 4759515 HAS SOUS 2591336 HAS SOUPS 2591336 WITH SCORE 2596095.515
AT ITER 78 NEW BEST:: SOT 19784295 SOS 4759515 HAS SOPS 4759515 HAS SOUS 2591316 HAS SOUPS 2591316 WITH SCORE 2596075.515
AT ITER 102 NEW BEST:: SOT 19783463 SOS 4757851 HAS SOPS 4757851 HAS SOUS 2589308 HAS SOUPS 2589308 WITH SCORE 2594065.851
AT ITER 111 NEW BEST:: SOT 19783126 SOS 4760200 HAS SOPS 4760200 HAS SOUS 2588633 HAS SOUPS 2588633 WITH SCORE 2593393.2
AT ITER 117 NEW BEST:: SOT 19783126 SOS 4758894 HAS SOPS 4758894 HAS SOUS 2588633 HAS SOUPS 2588633 WITH SCORE 2593391.894
AT ITER 130 NEW BEST:: SOT 19783191 SOS 4757185 HAS SOPS 4757185 HAS SOUS 2588117 HAS SOUPS 2588117 WITH SCORE 2592874.185
AT ITER 142 NEW BEST:: SOT 19783143 SOS 4757089 HAS SOPS 4757089 HAS SOUS 2587811 HAS SOUPS 2587811 WITH SCORE 2592568.089
AT ITER 160 NEW BEST:: SOT 19782360 SOS 4756740 HAS SOPS 4756740 HAS SOUS 2587028 HAS SOUPS 2587028 WITH SCORE 2591784.74
AT ITER 161 NEW BEST:: SOT 19782247 SOS 4757531 HAS SOPS 4757531 HAS SOUS 2586915 HAS SOUPS 2586915 WITH SCORE 2591672.531
AT ITER 181 NEW BEST:: SOT 19781484 SOS 4761072 HAS SOPS 4761072 HAS SOUS 2586611 HAS SOUPS 2586611 WITH SCORE 2591372.072
AT ITER 197 NEW BEST:: SOT 19780987 SOS 4760078 HAS SOPS 4760078 HAS SOUS 2585291 HAS SOUPS 2585291 WITH SCORE 2590051.078
AT ITER 198 NEW BEST:: SOT 19780987 SOS 4760836 HAS SOPS 4760836 HAS SOUS 2585289 HAS SOUPS 2585289 WITH SCORE 2590049.836
AT ITER 201 NEW BEST:: SOT 19780915 SOS 4760692 HAS SOPS 4760692 HAS SOUS 2585217 HAS SOUPS 2585217 WITH SCORE 2589977.692
AT ITER 207 NEW BEST:: SOT 19780915 SOS 4760587 HAS SOPS 4760587 HAS SOUS 2585112 HAS SOUPS 2585112 WITH SCORE 2589872.587
AT ITER 214 NEW BEST:: SOT 19780137 SOS 4760228 HAS SOPS 4760228 HAS SOUS 2584334 HAS SOUPS 2584334 WITH SCORE 2589094.228
AT ITER 241 NEW BEST:: SOT 19779141 SOS 4759722 HAS SOPS 4759722 HAS SOUS 2583337 HAS SOUPS 2583337 WITH SCORE 2588096.722
AT ITER 244 NEW BEST:: SOT 19778838 SOS 4759768 HAS SOPS 4759768 HAS SOUS 2583154 HAS SOUPS 2583154 WITH SCORE 2587913.768
AT ITER 260 NEW BEST:: SOT 19778016 SOS 4759767 HAS SOPS 4759767 HAS SOUS 2583153 HAS SOUPS 2583153 WITH SCORE 2587912.767
AT ITER 283 NEW BEST:: SOT 19778016 SOS 4760372 HAS SOPS 4760372 HAS SOUS 2583152 HAS SOUPS 2583152 WITH SCORE 2587912.372
AT ITER 303 NEW BEST:: SOT 19777020 SOS 4749416 HAS SOPS 4749416 HAS SOUS 2581160 HAS SOUPS 2581160 WITH SCORE 2585909.416
AT ITER 309 NEW BEST:: SOT 19776864 SOS 4749104 HAS SOPS 4749104 HAS SOUS 2580848 HAS SOUPS 2580848 WITH SCORE 2585597.104
AT ITER 316 NEW BEST:: SOT 19776591 SOS 4748762 HAS SOPS 4748762 HAS SOUS 2580506 HAS SOUPS 2580506 WITH SCORE 2585254.762
AT ITER 329 NEW BEST:: SOT 19776223 SOS 4750295 HAS SOPS 4750295 HAS SOUS 2579412 HAS SOUPS 2579412 WITH SCORE 2584162.295
AT ITER 333 NEW BEST:: SOT 19776223 SOS 4750721 HAS SOPS 4750721 HAS SOUS 2579411 HAS SOUPS 2579411 WITH SCORE 2584161.721
AT ITER 335 NEW BEST:: SOT 19775841 SOS 4749957 HAS SOPS 4749957 HAS SOUS 2578647 HAS SOUPS 2578647 WITH SCORE 2583396.957
AT ITER 341 NEW BEST:: SOT 19775795 SOS 4749865 HAS SOPS 4749865 HAS SOUS 2578601 HAS SOUPS 2578601 WITH SCORE 2583350.865
AT ITER 346 NEW BEST:: SOT 19775344 SOS 4753723 HAS SOPS 4753723 HAS SOUS 2577698 HAS SOUPS 2577698 WITH SCORE 2582451.723
AT ITER 394 NEW BEST:: SOT 19774480 SOS 4744219 HAS SOPS 4744219 HAS SOUS 2575970 HAS SOUPS 2575970 WITH SCORE 2580714.219
AT ITER 453 NEW BEST:: SOT 19774361 SOS 4743743 HAS SOPS 4743743 HAS SOUS 2575850 HAS SOUPS 2575850 WITH SCORE 2580593.743
AT ITER 456 NEW BEST:: SOT 19774361 SOS 4744453 HAS SOPS 4744453 HAS SOUS 2575849 HAS SOUPS 2575849 WITH SCORE 2580593.453
AT ITER 471 NEW BEST:: SOT 19774361 SOS 4742824 HAS SOPS 4742824 HAS SOUS 2575849 HAS SOUPS 2575849 WITH SCORE 2580591.824
AT ITER 486 NEW BEST:: SOT 19774350 SOS 4742802 HAS SOPS 4742802 HAS SOUS 2575838 HAS SOUPS 2575838 WITH SCORE 2580580.802
AT ITER 490 NEW BEST:: SOT 19772428 SOS 4742290 HAS SOPS 4742290 HAS SOUS 2574666 HAS SOUPS 2574666 WITH SCORE 2579408.29
AT ITER 578 NEW BEST:: SOT 19772428 SOS 4742611 HAS SOPS 4742611 HAS SOUS 2574665 HAS SOUPS 2574665 WITH SCORE 2579407.611
AT ITER 587 NEW BEST:: SOT 19772428 SOS 4742609 HAS SOPS 4742609 HAS SOUS 2574663 HAS SOUPS 2574663 WITH SCORE 2579405.609
AT ITER 590 NEW BEST:: SOT 19772291 SOS 4743541 HAS SOPS 4743541 HAS SOUS 2574641 HAS SOUPS 2574641 WITH SCORE 2579384.541
AT ITER 591 NEW BEST:: SOT 19771120 SOS 4743541 HAS SOPS 4743541 HAS SOUS 2572899 HAS SOUPS 2572899 WITH SCORE 2577642.541
AT ITER 604 NEW BEST:: SOT 19770841 SOS 4743262 HAS SOPS 4743262 HAS SOUS 2572899 HAS SOUPS 2572899 WITH SCORE 2577642.262
AT ITER 634 NEW BEST:: SOT 19770841 SOS 4743044 HAS SOPS 4743044 HAS SOUS 2572899 HAS SOUPS 2572899 WITH SCORE 2577642.044
AT ITER 637 NEW BEST:: SOT 19770841 SOS 4743044 HAS SOPS 4743044 HAS SOUS 2572898 HAS SOUPS 2572898 WITH SCORE 2577641.044
AT ITER 647 NEW BEST:: SOT 19769813 SOS 4742016 HAS SOPS 4742016 HAS SOUS 2571870 HAS SOUPS 2571870 WITH SCORE 2576612.016
AT ITER 656 NEW BEST:: SOT 19768345 SOS 4741737 HAS SOPS 4741737 HAS SOUS 2571467 HAS SOUPS 2571467 WITH SCORE 2576208.737
AT ITER 665 NEW BEST:: SOT 19768642 SOS 4742331 HAS SOPS 4742331 HAS SOUS 2570596 HAS SOUPS 2570596 WITH SCORE 2575338.331
AT ITER 676 NEW BEST:: SOT 19768642 SOS 4741680 HAS SOPS 4741680 HAS SOUS 2570379 HAS SOUPS 2570379 WITH SCORE 2575120.68
AT ITER 735 NEW BEST:: SOT 19768620 SOS 4741636 HAS SOPS 4741636 HAS SOUS 2570356 HAS SOUPS 2570356 WITH SCORE 2575097.636
AT ITER 763 NEW BEST:: SOT 19768276 SOS 4742621 HAS SOPS 4742621 HAS SOUS 2569419 HAS SOUPS 2569419 WITH SCORE 2574161.621
AT ITER 785 NEW BEST:: SOT 19768119 SOS 4743217 HAS SOPS 4743217 HAS SOUS 2569295 HAS SOUPS 2569295 WITH SCORE 2574038.217
AT ITER 786 NEW BEST:: SOT 19767432 SOS 4743215 HAS SOPS 4743215 HAS SOUS 2569293 HAS SOUPS 2569293 WITH SCORE 2574036.215
AT ITER 797 NEW BEST:: SOT 19767330 SOS 4743113 HAS SOPS 4743113 HAS SOUS 2569191 HAS SOUPS 2569191 WITH SCORE 2573934.113
AT ITER 804 NEW BEST:: SOT 19767317 SOS 4743087 HAS SOPS 4743087 HAS SOUS 2569165 HAS SOUPS 2569165 WITH SCORE 2573908.087
AT ITER 815 NEW BEST:: SOT 19767678 SOS 4741640 HAS SOPS 4741640 HAS SOUS 2568983 HAS SOUPS 2568983 WITH SCORE 2573724.64
AT ITER 852 NEW BEST:: SOT 19767525 SOS 4741790 HAS SOPS 4741790 HAS SOUS 2568829 HAS SOUPS 2568829 WITH SCORE 2573570.79
AT ITER 910 NEW BEST:: SOT 19767270 SOS 4741535 HAS SOPS 4741535 HAS SOUS 2568144 HAS SOUPS 2568144 WITH SCORE 2572885.535
AT ITER 921 NEW BEST:: SOT 19767270 SOS 4740797 HAS SOPS 4740797 HAS SOUS 2567898 HAS SOUPS 2567898 WITH SCORE 2572638.797
AT ITER 938 NEW BEST:: SOT 19766895 SOS 4740475 HAS SOPS 4740475 HAS SOUS 2567523 HAS SOUPS 2567523 WITH SCORE 2572263.475
AT ITER 948 NEW BEST:: SOT 19767282 SOS 4740859 HAS SOPS 4740859 HAS SOUS 2567522 HAS SOUPS 2567522 WITH SCORE 2572262.859
AT ITER 961 NEW BEST:: SOT 19767281 SOS 4742362 HAS SOPS 4742362 HAS SOUS 2567519 HAS SOUPS 2567519 WITH SCORE 2572261.362
AT ITER 962 NEW BEST:: SOT 19766809 SOS 4742834 HAS SOPS 4742834 HAS SOUS 2567047 HAS SOUPS 2567047 WITH SCORE 2571789.834
AT ITER 970 NEW BEST:: SOT 19766809 SOS 4742264 HAS SOPS 4742264 HAS SOUS 2567043 HAS SOUPS 2567043 WITH SCORE 2571785.264
AT ITER 987 NEW BEST:: SOT 19766769 SOS 4742184 HAS SOPS 4742184 HAS SOUS 2567002 HAS SOUPS 2567002 WITH SCORE 2571744.184
AT ITER 991 NEW BEST:: SOT 19765931 SOS 4742395 HAS SOPS 4742395 HAS SOUS 2566793 HAS SOUPS 2566793 WITH SCORE 2571535.395
AT ITER 1006 NEW BEST:: SOT 19764252 SOS 4741872 HAS SOPS 4741872 HAS SOUS 2566270 HAS SOUPS 2566270 WITH SCORE 2571011.872
AT ITER 1011 NEW BEST:: SOT 19764252 SOS 4743896 HAS SOPS 4743896 HAS SOUS 2566043 HAS SOUPS 2566043 WITH SCORE 2570786.896
AT ITER 1012 NEW BEST:: SOT 19764252 SOS 4745017 HAS SOPS 4745017 HAS SOUS 2565541 HAS SOUPS 2565541 WITH SCORE 2570286.017
AT ITER 1015 NEW BEST:: SOT 19764252 SOS 4745017 HAS SOPS 4745017 HAS SOUS 2565540 HAS SOUPS 2565540 WITH SCORE 2570285.017
AT ITER 1017 NEW BEST:: SOT 19764252 SOS 4744954 HAS SOPS 4744954 HAS SOUS 2565477 HAS SOUPS 2565477 WITH SCORE 2570221.954
AT ITER 1019 NEW BEST:: SOT 19764187 SOS 4745985 HAS SOPS 4745985 HAS SOUS 2564829 HAS SOUPS 2564829 WITH SCORE 2569574.985
AT ITER 1058 NEW BEST:: SOT 19763969 SOS 4745767 HAS SOPS 4745767 HAS SOUS 2564611 HAS SOUPS 2564611 WITH SCORE 2569356.767
AT ITER 1060 NEW BEST:: SOT 19761167 SOS 4750117 HAS SOPS 4750117 HAS SOUS 2562408 HAS SOUPS 2562408 WITH SCORE 2567158.117
AT ITER 1072 NEW BEST:: SOT 19761150 SOS 4750243 HAS SOPS 4750243 HAS SOUS 2562390 HAS SOUPS 2562390 WITH SCORE 2567140.243
AT ITER 1106 NEW BEST:: SOT 19761101 SOS 4750145 HAS SOPS 4750145 HAS SOUS 2562292 HAS SOUPS 2562292 WITH SCORE 2567042.145
AT ITER 1160 NEW BEST:: SOT 19760211 SOS 4756375 HAS SOPS 4756375 HAS SOUS 2561286 HAS SOUPS 2561286 WITH SCORE 2566042.375
AT ITER 1168 NEW BEST:: SOT 19759551 SOS 4756816 HAS SOPS 4756816 HAS SOUS 2561249 HAS SOUPS 2561249 WITH SCORE 2566005.816
AT ITER 1179 NEW BEST:: SOT 19759543 SOS 4756800 HAS SOPS 4756800 HAS SOUS 2561241 HAS SOUPS 2561241 WITH SCORE 2565997.8
AT ITER 1221 NEW BEST:: SOT 19759652 SOS 4756582 HAS SOPS 4756582 HAS SOUS 2561241 HAS SOUPS 2561241 WITH SCORE 2565997.582
AT ITER 1228 NEW BEST:: SOT 19758744 SOS 4755674 HAS SOPS 4755674 HAS SOUS 2560787 HAS SOUPS 2560787 WITH SCORE 2565542.674
AT ITER 1238 NEW BEST:: SOT 19758433 SOS 4755583 HAS SOPS 4755583 HAS SOUS 2560653 HAS SOUPS 2560653 WITH SCORE 2565408.583
AT ITER 1252 NEW BEST:: SOT 19758433 SOS 4755222 HAS SOPS 4755222 HAS SOUS 2560292 HAS SOUPS 2560292 WITH SCORE 2565047.222
AT ITER 1257 NEW BEST:: SOT 19758347 SOS 4755050 HAS SOPS 4755050 HAS SOUS 2560120 HAS SOUPS 2560120 WITH SCORE 2564875.05
AT ITER 1265 NEW BEST:: SOT 19758650 SOS 4757993 HAS SOPS 4757993 HAS SOUS 2559555 HAS SOUPS 2559555 WITH SCORE 2564312.993
AT ITER 1286 NEW BEST:: SOT 19757759 SOS 4757102 HAS SOPS 4757102 HAS SOUS 2558664 HAS SOUPS 2558664 WITH SCORE 2563421.102
AT ITER 1303 NEW BEST:: SOT 19756939 SOS 4756282 HAS SOPS 4756282 HAS SOUS 2557844 HAS SOUPS 2557844 WITH SCORE 2562600.282
AT ITER 1305 NEW BEST:: SOT 19756639 SOS 4756278 HAS SOPS 4756278 HAS SOUS 2557602 HAS SOUPS 2557602 WITH SCORE 2562358.278
AT ITER 1312 NEW BEST:: SOT 19755388 SOS 4755027 HAS SOPS 4755027 HAS SOUS 2556351 HAS SOUPS 2556351 WITH SCORE 2561106.027
AT ITER 1329 NEW BEST:: SOT 19755388 SOS 4754925 HAS SOPS 4754925 HAS SOUS 2556249 HAS SOUPS 2556249 WITH SCORE 2561003.925
AT ITER 1330 NEW BEST:: SOT 19755252 SOS 4754653 HAS SOPS 4754653 HAS SOUS 2555977 HAS SOUPS 2555977 WITH SCORE 2560731.653
AT ITER 1333 NEW BEST:: SOT 19755252 SOS 4753339 HAS SOPS 4753339 HAS SOUS 2555976 HAS SOUPS 2555976 WITH SCORE 2560729.339
AT ITER 1394 NEW BEST:: SOT 19755126 SOS 4752793 HAS SOPS 4752793 HAS SOUS 2555705 HAS SOUPS 2555705 WITH SCORE 2560457.793
AT ITER 1398 NEW BEST:: SOT 19755126 SOS 4752783 HAS SOPS 4752783 HAS SOUS 2555235 HAS SOUPS 2555235 WITH SCORE 2559987.783
AT ITER 1420 NEW BEST:: SOT 19753427 SOS 4775346 HAS SOPS 4775346 HAS SOUS 2554825 HAS SOUPS 2554825 WITH SCORE 2559600.346
AT ITER 1438 NEW BEST:: SOT 19753427 SOS 4778315 HAS SOPS 4778315 HAS SOUS 2554803 HAS SOUPS 2554803 WITH SCORE 2559581.315
AT ITER 1457 NEW BEST:: SOT 19753230 SOS 4777921 HAS SOPS 4777921 HAS SOUS 2554409 HAS SOUPS 2554409 WITH SCORE 2559186.921
AT ITER 1497 NEW BEST:: SOT 19753649 SOS 4778699 HAS SOPS 4778699 HAS SOUS 2553919 HAS SOUPS 2553919 WITH SCORE 2558697.699
AT ITER 1545 NEW BEST:: SOT 19752385 SOS 4777481 HAS SOPS 4777481 HAS SOUS 2552672 HAS SOUPS 2552672 WITH SCORE 2557449.481
AT ITER 1550 NEW BEST:: SOT 19752289 SOS 4777289 HAS SOPS 4777289 HAS SOUS 2552576 HAS SOUPS 2552576 WITH SCORE 2557353.289
AT ITER 1554 NEW BEST:: SOT 19752105 SOS 4777105 HAS SOPS 4777105 HAS SOUS 2552392 HAS SOUPS 2552392 WITH SCORE 2557169.105
AT ITER 1561 NEW BEST:: SOT 19752057 SOS 4777431 HAS SOPS 4777431 HAS SOUS 2552295 HAS SOUPS 2552295 WITH SCORE 2557072.431
AT ITER 1580 NEW BEST:: SOT 19752057 SOS 4776866 HAS SOPS 4776866 HAS SOUS 2552104 HAS SOUPS 2552104 WITH SCORE 2556880.866
AT ITER 1594 NEW BEST:: SOT 19752057 SOS 4769999 HAS SOPS 4769999 HAS SOUS 2552104 HAS SOUPS 2552104 WITH SCORE 2556873.999
AT ITER 1612 NEW BEST:: SOT 19752019 SOS 4769980 HAS SOPS 4769980 HAS SOUS 2552085 HAS SOUPS 2552085 WITH SCORE 2556854.98
AT ITER 1615 NEW BEST:: SOT 19751988 SOS 4770008 HAS SOPS 4770008 HAS SOUS 2552053 HAS SOUPS 2552053 WITH SCORE 2556823.008
AT ITER 1616 NEW BEST:: SOT 19751988 SOS 4769868 HAS SOPS 4769868 HAS SOUS 2552053 HAS SOUPS 2552053 WITH SCORE 2556822.868
AT ITER 1645 NEW BEST:: SOT 19751303 SOS 4768498 HAS SOPS 4768498 HAS SOUS 2550683 HAS SOUPS 2550683 WITH SCORE 2555451.498
AT ITER 1689 NEW BEST:: SOT 19751205 SOS 4768495 HAS SOPS 4768495 HAS SOUS 2550486 HAS SOUPS 2550486 WITH SCORE 2555254.495
AT ITER 1713 NEW BEST:: SOT 19750427 SOS 4769288 HAS SOPS 4769288 HAS SOUS 2549708 HAS SOUPS 2549708 WITH SCORE 2554477.288
AT ITER 1717 NEW BEST:: SOT 19750775 SOS 4769984 HAS SOPS 4769984 HAS SOUS 2549548 HAS SOUPS 2549548 WITH SCORE 2554317.984
AT ITER 1728 NEW BEST:: SOT 19750734 SOS 4770066 HAS SOPS 4770066 HAS SOUS 2549507 HAS SOUPS 2549507 WITH SCORE 2554277.066
AT ITER 1754 NEW BEST:: SOT 19750332 SOS 4769262 HAS SOPS 4769262 HAS SOUS 2548703 HAS SOUPS 2548703 WITH SCORE 2553472.262
AT ITER 1763 NEW BEST:: SOT 19750231 SOS 4769060 HAS SOPS 4769060 HAS SOUS 2548501 HAS SOUPS 2548501 WITH SCORE 2553270.06
AT ITER 1765 NEW BEST:: SOT 19750026 SOS 4769556 HAS SOPS 4769556 HAS SOUS 2548296 HAS SOUPS 2548296 WITH SCORE 2553065.556
AT ITER 1774 NEW BEST:: SOT 19749405 SOS 4768931 HAS SOPS 4768931 HAS SOUS 2547674 HAS SOUPS 2547674 WITH SCORE 2552442.931
AT ITER 1789 NEW BEST:: SOT 19749404 SOS 4769613 HAS SOPS 4769613 HAS SOUS 2547672 HAS SOUPS 2547672 WITH SCORE 2552441.613
AT ITER 1801 NEW BEST:: SOT 19748502 SOS 4769042 HAS SOPS 4769042 HAS SOUS 2546946 HAS SOUPS 2546946 WITH SCORE 2551715.042
AT ITER 1892 NEW BEST:: SOT 19748502 SOS 4769916 HAS SOPS 4769916 HAS SOUS 2546944 HAS SOUPS 2546944 WITH SCORE 2551713.916
AT ITER 1894 NEW BEST:: SOT 19748647 SOS 4770202 HAS SOPS 4770202 HAS SOUS 2546943 HAS SOUPS 2546943 WITH SCORE 2551713.202
AT ITER 1908 NEW BEST:: SOT 19748643 SOS 4770194 HAS SOPS 4770194 HAS SOUS 2546935 HAS SOUPS 2546935 WITH SCORE 2551705.194
AT ITER 1914 NEW BEST:: SOT 19747357 SOS 4768908 HAS SOPS 4768908 HAS SOUS 2545649 HAS SOUPS 2545649 WITH SCORE 2550417.908
AT ITER 1922 NEW BEST:: SOT 19747311 SOS 4768816 HAS SOPS 4768816 HAS SOUS 2545557 HAS SOUPS 2545557 WITH SCORE 2550325.816
AT ITER 1937 NEW BEST:: SOT 19746267 SOS 4768294 HAS SOPS 4768294 HAS SOUS 2545035 HAS SOUPS 2545035 WITH SCORE 2549803.294
AT ITER 1943 NEW BEST:: SOT 19746068 SOS 4767896 HAS SOPS 4767896 HAS SOUS 2544836 HAS SOUPS 2544836 WITH SCORE 2549603.896
AT ITER 1954 NEW BEST:: SOT 19746068 SOS 4767721 HAS SOPS 4767721 HAS SOUS 2544735 HAS SOUPS 2544735 WITH SCORE 2549502.721
AT ITER 1990 NEW BEST:: SOT 19745913 SOS 4768302 HAS SOPS 4768302 HAS SOUS 2544580 HAS SOUPS 2544580 WITH SCORE 2549348.302
AT ITER 2003 NEW BEST:: SOT 19744897 SOS 4767276 HAS SOPS 4767276 HAS SOUS 2543563 HAS SOUPS 2543563 WITH SCORE 2548330.276
AT ITER 2005 NEW BEST:: SOT 19744897 SOS 4767069 HAS SOPS 4767069 HAS SOUS 2543356 HAS SOUPS 2543356 WITH SCORE 2548123.069
AT ITER 2007 NEW BEST:: SOT 19744655 SOS 4766585 HAS SOPS 4766585 HAS SOUS 2542517 HAS SOUPS 2542517 WITH SCORE 2547283.585
AT ITER 2009 NEW BEST:: SOT 19744655 SOS 4765139 HAS SOPS 4765139 HAS SOUS 2542035 HAS SOUPS 2542035 WITH SCORE 2546800.139
AT ITER 2032 NEW BEST:: SOT 19744179 SOS 4764187 HAS SOPS 4764187 HAS SOUS 2541238 HAS SOUPS 2541238 WITH SCORE 2546002.187
AT ITER 2052 NEW BEST:: SOT 19741820 SOS 4761828 HAS SOPS 4761828 HAS SOUS 2538879 HAS SOUPS 2538879 WITH SCORE 2543640.828
AT ITER 2135 NEW BEST:: SOT 19741074 SOS 4760892 HAS SOPS 4760892 HAS SOUS 2538518 HAS SOUPS 2538518 WITH SCORE 2543278.892
AT ITER 2140 NEW BEST:: SOT 19740819 SOS 4760382 HAS SOPS 4760382 HAS SOUS 2538263 HAS SOUPS 2538263 WITH SCORE 2543023.382
AT ITER 2146 NEW BEST:: SOT 19740053 SOS 4759740 HAS SOPS 4759740 HAS SOUS 2537621 HAS SOUPS 2537621 WITH SCORE 2542380.74
AT ITER 2160 NEW BEST:: SOT 19739708 SOS 4760420 HAS SOPS 4760420 HAS SOUS 2537620 HAS SOUPS 2537620 WITH SCORE 2542380.42
AT ITER 2194 NEW BEST:: SOT 19739708 SOS 4760410 HAS SOPS 4760410 HAS SOUS 2537597 HAS SOUPS 2537597 WITH SCORE 2542357.41
AT ITER 2205 NEW BEST:: SOT 19739712 SOS 4760418 HAS SOPS 4760418 HAS SOUS 2537444 HAS SOUPS 2537444 WITH SCORE 2542204.418
AT ITER 2218 NEW BEST:: SOT 19738215 SOS 4758270 HAS SOPS 4758270 HAS SOUS 2536090 HAS SOUPS 2536090 WITH SCORE 2540848.27
AT ITER 2234 NEW BEST:: SOT 19738215 SOS 4758270 HAS SOPS 4758270 HAS SOUS 2536079 HAS SOUPS 2536079 WITH SCORE 2540837.27
AT ITER 2237 NEW BEST:: SOT 19737099 SOS 4755666 HAS SOPS 4755666 HAS SOUS 2534591 HAS SOUPS 2534591 WITH SCORE 2539346.666
AT ITER 2251 NEW BEST:: SOT 19737818 SOS 4742828 HAS SOPS 4742828 HAS SOUS 2532969 HAS SOUPS 2532969 WITH SCORE 2537711.828
AT ITER 2296 NEW BEST:: SOT 19737895 SOS 4743738 HAS SOPS 4743738 HAS SOUS 2532798 HAS SOUPS 2532798 WITH SCORE 2537541.738
AT ITER 2318 NEW BEST:: SOT 19737895 SOS 4742850 HAS SOPS 4742850 HAS SOUS 2532797 HAS SOUPS 2532797 WITH SCORE 2537539.85
AT ITER 2334 NEW BEST:: SOT 19737895 SOS 4744616 HAS SOPS 4744616 HAS SOUS 2532353 HAS SOUPS 2532353 WITH SCORE 2537097.616
AT ITER 2379 NEW BEST:: SOT 19737871 SOS 4744568 HAS SOPS 4744568 HAS SOUS 2532329 HAS SOUPS 2532329 WITH SCORE 2537073.568
AT ITER 2381 NEW BEST:: SOT 19737871 SOS 4744420 HAS SOPS 4744420 HAS SOUS 2532181 HAS SOUPS 2532181 WITH SCORE 2536925.42
AT ITER 2395 NEW BEST:: SOT 19737815 SOS 4744360 HAS SOPS 4744360 HAS SOUS 2532167 HAS SOUPS 2532167 WITH SCORE 2536911.36
AT ITER 2397 NEW BEST:: SOT 19737295 SOS 4743378 HAS SOPS 4743378 HAS SOUS 2531493 HAS SOUPS 2531493 WITH SCORE 2536236.378
AT ITER 2406 NEW BEST:: SOT 19736393 SOS 4748612 HAS SOPS 4748612 HAS SOUS 2530483 HAS SOUPS 2530483 WITH SCORE 2535231.612
AT ITER 2457 NEW BEST:: SOT 19736393 SOS 4747058 HAS SOPS 4747058 HAS SOUS 2530483 HAS SOUPS 2530483 WITH SCORE 2535230.058
AT ITER 2465 NEW BEST:: SOT 19736009 SOS 4746290 HAS SOPS 4746290 HAS SOUS 2530099 HAS SOUPS 2530099 WITH SCORE 2534845.29
AT ITER 2482 NEW BEST:: SOT 19735803 SOS 4745878 HAS SOPS 4745878 HAS SOUS 2529687 HAS SOUPS 2529687 WITH SCORE 2534432.878
AT ITER 2487 NEW BEST:: SOT 19735395 SOS 4746283 HAS SOPS 4746283 HAS SOUS 2529278 HAS SOUPS 2529278 WITH SCORE 2534024.283
AT ITER 2494 NEW BEST:: SOT 19735372 SOS 4746214 HAS SOPS 4746214 HAS SOUS 2529232 HAS SOUPS 2529232 WITH SCORE 2533978.214
AT ITER 2498 NEW BEST:: SOT 19735372 SOS 4746214 HAS SOPS 4746214 HAS SOUS 2529231 HAS SOUPS 2529231 WITH SCORE 2533977.214
AT ITER 2500 NEW BEST:: SOT 19735434 SOS 4746276 HAS SOPS 4746276 HAS SOUS 2528903 HAS SOUPS 2528903 WITH SCORE 2533649.276
AT ITER 2504 NEW BEST:: SOT 19735111 SOS 4741306 HAS SOPS 4741306 HAS SOUS 2528690 HAS SOUPS 2528690 WITH SCORE 2533431.306
AT ITER 2511 NEW BEST:: SOT 19734689 SOS 4741174 HAS SOPS 4741174 HAS SOUS 2528546 HAS SOUPS 2528546 WITH SCORE 2533287.174
AT ITER 2530 NEW BEST:: SOT 19734689 SOS 4741174 HAS SOPS 4741174 HAS SOUS 2528476 HAS SOUPS 2528476 WITH SCORE 2533217.174
AT ITER 2560 NEW BEST:: SOT 19734689 SOS 4741174 HAS SOPS 4741174 HAS SOUS 2528475 HAS SOUPS 2528475 WITH SCORE 2533216.174
AT ITER 2566 NEW BEST:: SOT 19734490 SOS 4740776 HAS SOPS 4740776 HAS SOUS 2528077 HAS SOUPS 2528077 WITH SCORE 2532817.776
AT ITER 2567 NEW BEST:: SOT 19734490 SOS 4740776 HAS SOPS 4740776 HAS SOUS 2528076 HAS SOUPS 2528076 WITH SCORE 2532816.776
AT ITER 2574 NEW BEST:: SOT 19734111 SOS 4741148 HAS SOPS 4741148 HAS SOUS 2527695 HAS SOUPS 2527695 WITH SCORE 2532436.148
AT ITER 2578 NEW BEST:: SOT 19733322 SOS 4740359 HAS SOPS 4740359 HAS SOUS 2526906 HAS SOUPS 2526906 WITH SCORE 2531646.359
AT ITER 2613 NEW BEST:: SOT 19733116 SOS 4740767 HAS SOPS 4740767 HAS SOUS 2526699 HAS SOUPS 2526699 WITH SCORE 2531439.767
AT ITER 2617 NEW BEST:: SOT 19733116 SOS 4740767 HAS SOPS 4740767 HAS SOUS 2526698 HAS SOUPS 2526698 WITH SCORE 2531438.767
AT ITER 2637 NEW BEST:: SOT 19732963 SOS 4740744 HAS SOPS 4740744 HAS SOUS 2526675 HAS SOUPS 2526675 WITH SCORE 2531415.744
AT ITER 2638 NEW BEST:: SOT 19732963 SOS 4740571 HAS SOPS 4740571 HAS SOUS 2526502 HAS SOUPS 2526502 WITH SCORE 2531242.571
AT ITER 2714 NEW BEST:: SOT 19732920 SOS 4740485 HAS SOPS 4740485 HAS SOUS 2526416 HAS SOUPS 2526416 WITH SCORE 2531156.485
AT ITER 2724 NEW BEST:: SOT 19732920 SOS 4740342 HAS SOPS 4740342 HAS SOUS 2526097 HAS SOUPS 2526097 WITH SCORE 2530837.342
AT ITER 2764 NEW BEST:: SOT 19732308 SOS 4741313 HAS SOPS 4741313 HAS SOUS 2524872 HAS SOUPS 2524872 WITH SCORE 2529613.313
AT ITER 2789 NEW BEST:: SOT 19733094 SOS 4739411 HAS SOPS 4739411 HAS SOUS 2524273 HAS SOUPS 2524273 WITH SCORE 2529012.411
AT ITER 2807 NEW BEST:: SOT 19733094 SOS 4739369 HAS SOPS 4739369 HAS SOUS 2524231 HAS SOUPS 2524231 WITH SCORE 2528970.369
AT ITER 2810 NEW BEST:: SOT 19732654 SOS 4739359 HAS SOPS 4739359 HAS SOUS 2524036 HAS SOUPS 2524036 WITH SCORE 2528775.359
AT ITER 2818 NEW BEST:: SOT 19732681 SOS 4739413 HAS SOPS 4739413 HAS SOUS 2524030 HAS SOUPS 2524030 WITH SCORE 2528769.413
AT ITER 2822 NEW BEST:: SOT 19732068 SOS 4739413 HAS SOPS 4739413 HAS SOUS 2523392 HAS SOUPS 2523392 WITH SCORE 2528131.413
AT ITER 2852 NEW BEST:: SOT 19732067 SOS 4739411 HAS SOPS 4739411 HAS SOUS 2523390 HAS SOUPS 2523390 WITH SCORE 2528129.411
AT ITER 2862 NEW BEST:: SOT 19731826 SOS 4739484 HAS SOPS 4739484 HAS SOUS 2523107 HAS SOUPS 2523107 WITH SCORE 2527846.484
AT ITER 2867 NEW BEST:: SOT 19731826 SOS 4739112 HAS SOPS 4739112 HAS SOUS 2522921 HAS SOUPS 2522921 WITH SCORE 2527660.112
AT ITER 2886 NEW BEST:: SOT 19731020 SOS 4738840 HAS SOPS 4738840 HAS SOUS 2522649 HAS SOUPS 2522649 WITH SCORE 2527387.84
AT ITER 2920 NEW BEST:: SOT 19731020 SOS 4737592 HAS SOPS 4737592 HAS SOUS 2522649 HAS SOUPS 2522649 WITH SCORE 2527386.592
AT ITER 2944 NEW BEST:: SOT 19729750 SOS 4736378 HAS SOPS 4736378 HAS SOUS 2521435 HAS SOUPS 2521435 WITH SCORE 2526171.378
AT ITER 2959 NEW BEST:: SOT 19729501 SOS 4735880 HAS SOPS 4735880 HAS SOUS 2520937 HAS SOUPS 2520937 WITH SCORE 2525672.88
AT ITER 2963 NEW BEST:: SOT 19729501 SOS 4735880 HAS SOPS 4735880 HAS SOUS 2520310 HAS SOUPS 2520310 WITH SCORE 2525045.88
AT ITER 2967 NEW BEST:: SOT 19729501 SOS 4738579 HAS SOPS 4738579 HAS SOUS 2520008 HAS SOUPS 2520008 WITH SCORE 2524746.579
AT ITER 2968 NEW BEST:: SOT 19728347 SOS 4737425 HAS SOPS 4737425 HAS SOUS 2518854 HAS SOUPS 2518854 WITH SCORE 2523591.425
AT ITER 2999 NEW BEST:: SOT 19728347 SOS 4739431 HAS SOPS 4739431 HAS SOUS 2518565 HAS SOUPS 2518565 WITH SCORE 2523304.431
AT ITER 3011 NEW BEST:: SOT 19728347 SOS 4739431 HAS SOPS 4739431 HAS SOUS 2518564 HAS SOUPS 2518564 WITH SCORE 2523303.431
AT ITER 3013 NEW BEST:: SOT 19728252 SOS 4739253 HAS SOPS 4739253 HAS SOUS 2518386 HAS SOUPS 2518386 WITH SCORE 2523125.253
AT ITER 3073 NEW BEST:: SOT 19728171 SOS 4739250 HAS SOPS 4739250 HAS SOUS 2518385 HAS SOUPS 2518385 WITH SCORE 2523124.25
AT ITER 3114 NEW BEST:: SOT 19728076 SOS 4739249 HAS SOPS 4739249 HAS SOUS 2518384 HAS SOUPS 2518384 WITH SCORE 2523123.249
AT ITER 3127 NEW BEST:: SOT 19728076 SOS 4739249 HAS SOPS 4739249 HAS SOUS 2518383 HAS SOUPS 2518383 WITH SCORE 2523122.249
AT ITER 3141 NEW BEST:: SOT 19728955 SOS 4737895 HAS SOPS 4737895 HAS SOUS 2518052 HAS SOUPS 2518052 WITH SCORE 2522789.895
AT ITER 3146 NEW BEST:: SOT 19728955 SOS 4739139 HAS SOPS 4739139 HAS SOUS 2517634 HAS SOUPS 2517634 WITH SCORE 2522373.139
AT ITER 3179 NEW BEST:: SOT 19727713 SOS 4737767 HAS SOPS 4737767 HAS SOUS 2516262 HAS SOUPS 2516262 WITH SCORE 2520999.767
AT ITER 3191 NEW BEST:: SOT 19727713 SOS 4737539 HAS SOPS 4737539 HAS SOUS 2516261 HAS SOUPS 2516261 WITH SCORE 2520998.539
AT ITER 3238 NEW BEST:: SOT 19727014 SOS 4737143 HAS SOPS 4737143 HAS SOUS 2516041 HAS SOUPS 2516041 WITH SCORE 2520778.143
AT ITER 3258 NEW BEST:: SOT 19726801 SOS 4738624 HAS SOPS 4738624 HAS SOUS 2515614 HAS SOUPS 2515614 WITH SCORE 2520352.624
AT ITER 3287 NEW BEST:: SOT 19726789 SOS 4738600 HAS SOPS 4738600 HAS SOUS 2514878 HAS SOUPS 2514878 WITH SCORE 2519616.6
AT ITER 3294 NEW BEST:: SOT 19726627 SOS 4738529 HAS SOPS 4738529 HAS SOUS 2514807 HAS SOUPS 2514807 WITH SCORE 2519545.529
AT ITER 3305 NEW BEST:: SOT 19726882 SOS 4739039 HAS SOPS 4739039 HAS SOUS 2514298 HAS SOUPS 2514298 WITH SCORE 2519037.039
AT ITER 3308 NEW BEST:: SOT 19726882 SOS 4737920 HAS SOPS 4737920 HAS SOUS 2514297 HAS SOUPS 2514297 WITH SCORE 2519034.92
AT ITER 3322 NEW BEST:: SOT 19726805 SOS 4734323 HAS SOPS 4734323 HAS SOUS 2512859 HAS SOUPS 2512859 WITH SCORE 2517593.323
AT ITER 3351 NEW BEST:: SOT 19725487 SOS 4733005 HAS SOPS 4733005 HAS SOUS 2512859 HAS SOUPS 2512859 WITH SCORE 2517592.005
AT ITER 3364 NEW BEST:: SOT 19725473 SOS 4732977 HAS SOPS 4732977 HAS SOUS 2512831 HAS SOUPS 2512831 WITH SCORE 2517563.977
AT ITER 3413 NEW BEST:: SOT 19722303 SOS 4728829 HAS SOPS 4728829 HAS SOUS 2508565 HAS SOUPS 2508565 WITH SCORE 2513293.829
AT ITER 3425 NEW BEST:: SOT 19722303 SOS 4728853 HAS SOPS 4728853 HAS SOUS 2508455 HAS SOUPS 2508455 WITH SCORE 2513183.853
AT ITER 3434 NEW BEST:: SOT 19721265 SOS 4728334 HAS SOPS 4728334 HAS SOUS 2507936 HAS SOUPS 2507936 WITH SCORE 2512664.334
AT ITER 3441 NEW BEST:: SOT 19721265 SOS 4728324 HAS SOPS 4728324 HAS SOUS 2507935 HAS SOUPS 2507935 WITH SCORE 2512663.324
AT ITER 3481 NEW BEST:: SOT 19720976 SOS 4727746 HAS SOPS 4727746 HAS SOUS 2507357 HAS SOUPS 2507357 WITH SCORE 2512084.746
AT ITER 3482 NEW BEST:: SOT 19720402 SOS 4728068 HAS SOPS 4728068 HAS SOUS 2507273 HAS SOUPS 2507273 WITH SCORE 2512001.068
AT ITER 3495 NEW BEST:: SOT 19719339 SOS 4725942 HAS SOPS 4725942 HAS SOUS 2504914 HAS SOUPS 2504914 WITH SCORE 2509639.942
AT ITER 3507 NEW BEST:: SOT 19719312 SOS 4725036 HAS SOPS 4725036 HAS SOUS 2504576 HAS SOUPS 2504576 WITH SCORE 2509301.036
AT ITER 3516 NEW BEST:: SOT 19718512 SOS 4724232 HAS SOPS 4724232 HAS SOUS 2503775 HAS SOUPS 2503775 WITH SCORE 2508499.232
AT ITER 3540 NEW BEST:: SOT 19718512 SOS 4723931 HAS SOPS 4723931 HAS SOUS 2503474 HAS SOUPS 2503474 WITH SCORE 2508197.931
AT ITER 3553 NEW BEST:: SOT 19717274 SOS 4722693 HAS SOPS 4722693 HAS SOUS 2503474 HAS SOUPS 2503474 WITH SCORE 2508196.693
AT ITER 3555 NEW BEST:: SOT 19717553 SOS 4722135 HAS SOPS 4722135 HAS SOUS 2503474 HAS SOUPS 2503474 WITH SCORE 2508196.135
AT ITER 3564 NEW BEST:: SOT 19717264 SOS 4722131 HAS SOPS 4722131 HAS SOUS 2503470 HAS SOUPS 2503470 WITH SCORE 2508192.131
AT ITER 3567 NEW BEST:: SOT 19717264 SOS 4722131 HAS SOPS 4722131 HAS SOUS 2503469 HAS SOUPS 2503469 WITH SCORE 2508191.131
AT ITER 3569 NEW BEST:: SOT 19717264 SOS 4721339 HAS SOPS 4721339 HAS SOUS 2502585 HAS SOUPS 2502585 WITH SCORE 2507306.339
AT ITER 3588 NEW BEST:: SOT 19716743 SOS 4721860 HAS SOPS 4721860 HAS SOUS 2501878 HAS SOUPS 2501878 WITH SCORE 2506599.86
AT ITER 3615 NEW BEST:: SOT 19716743 SOS 4721757 HAS SOPS 4721757 HAS SOUS 2501775 HAS SOUPS 2501775 WITH SCORE 2506496.757
AT ITER 3618 NEW BEST:: SOT 19716298 SOS 4720867 HAS SOPS 4720867 HAS SOUS 2500885 HAS SOUPS 2500885 WITH SCORE 2505605.867
AT ITER 3621 NEW BEST:: SOT 19715218 SOS 4719904 HAS SOPS 4719904 HAS SOUS 2499924 HAS SOUPS 2499924 WITH SCORE 2504643.904
AT ITER 3631 NEW BEST:: SOT 19715218 SOS 4721150 HAS SOPS 4721150 HAS SOUS 2499301 HAS SOUPS 2499301 WITH SCORE 2504022.15
AT ITER 3634 NEW BEST:: SOT 19715070 SOS 4720854 HAS SOPS 4720854 HAS SOUS 2499005 HAS SOUPS 2499005 WITH SCORE 2503725.854
AT ITER 3637 NEW BEST:: SOT 19715070 SOS 4720720 HAS SOPS 4720720 HAS SOUS 2498871 HAS SOUPS 2498871 WITH SCORE 2503591.72
AT ITER 3646 NEW BEST:: SOT 19714505 SOS 4720710 HAS SOPS 4720710 HAS SOUS 2498728 HAS SOUPS 2498728 WITH SCORE 2503448.71
AT ITER 3653 NEW BEST:: SOT 19714377 SOS 4720454 HAS SOPS 4720454 HAS SOUS 2498472 HAS SOUPS 2498472 WITH SCORE 2503192.454
AT ITER 3655 NEW BEST:: SOT 19713549 SOS 4720451 HAS SOPS 4720451 HAS SOUS 2496815 HAS SOUPS 2496815 WITH SCORE 2501535.451
AT ITER 3672 NEW BEST:: SOT 19713374 SOS 4720167 HAS SOPS 4720167 HAS SOUS 2496531 HAS SOUPS 2496531 WITH SCORE 2501251.167
AT ITER 3674 NEW BEST:: SOT 19713126 SOS 4719671 HAS SOPS 4719671 HAS SOUS 2496035 HAS SOUPS 2496035 WITH SCORE 2500754.671
AT ITER 3687 NEW BEST:: SOT 19712968 SOS 4719668 HAS SOPS 4719668 HAS SOUS 2495718 HAS SOUPS 2495718 WITH SCORE 2500437.668
AT ITER 3715 NEW BEST:: SOT 19712968 SOS 4719021 HAS SOPS 4719021 HAS SOUS 2495718 HAS SOUPS 2495718 WITH SCORE 2500437.021
AT ITER 3736 NEW BEST:: SOT 19712670 SOS 4716633 HAS SOPS 4716633 HAS SOUS 2495121 HAS SOUPS 2495121 WITH SCORE 2499837.633
AT ITER 3745 NEW BEST:: SOT 19712499 SOS 4716291 HAS SOPS 4716291 HAS SOUS 2494779 HAS SOUPS 2494779 WITH SCORE 2499495.291
AT ITER 3752 NEW BEST:: SOT 19712276 SOS 4715715 HAS SOPS 4715715 HAS SOUS 2494356 HAS SOUPS 2494356 WITH SCORE 2499071.715
AT ITER 3756 NEW BEST:: SOT 19712276 SOS 4714911 HAS SOPS 4714911 HAS SOUS 2494088 HAS SOUPS 2494088 WITH SCORE 2498802.911
AT ITER 3787 NEW BEST:: SOT 19711965 SOS 4714771 HAS SOPS 4714771 HAS SOUS 2493948 HAS SOUPS 2493948 WITH SCORE 2498662.771
AT ITER 3807 NEW BEST:: SOT 19711203 SOS 4692922 HAS SOPS 4692922 HAS SOUS 2492424 HAS SOUPS 2492424 WITH SCORE 2497116.922
AT ITER 3837 NEW BEST:: SOT 19709951 SOS 4691777 HAS SOPS 4691777 HAS SOUS 2491225 HAS SOUPS 2491225 WITH SCORE 2495916.777
AT ITER 3843 NEW BEST:: SOT 19709216 SOS 4691767 HAS SOPS 4691767 HAS SOUS 2490755 HAS SOUPS 2490755 WITH SCORE 2495446.767
AT ITER 3848 NEW BEST:: SOT 19709216 SOS 4690447 HAS SOPS 4690447 HAS SOUS 2490315 HAS SOUPS 2490315 WITH SCORE 2495005.447
AT ITER 3887 NEW BEST:: SOT 19708965 SOS 4687686 HAS SOPS 4687686 HAS SOUS 2489813 HAS SOUPS 2489813 WITH SCORE 2494500.686
AT ITER 3894 NEW BEST:: SOT 19708965 SOS 4687686 HAS SOPS 4687686 HAS SOUS 2489812 HAS SOUPS 2489812 WITH SCORE 2494499.686
AT ITER 3901 NEW BEST:: SOT 19708792 SOS 4688209 HAS SOPS 4688209 HAS SOUS 2489638 HAS SOUPS 2489638 WITH SCORE 2494326.209
AT ITER 3922 NEW BEST:: SOT 19708792 SOS 4688045 HAS SOPS 4688045 HAS SOUS 2489474 HAS SOUPS 2489474 WITH SCORE 2494162.045
AT ITER 3924 NEW BEST:: SOT 19708256 SOS 4688577 HAS SOPS 4688577 HAS SOUS 2488056 HAS SOUPS 2488056 WITH SCORE 2492744.577
AT ITER 3932 NEW BEST:: SOT 19707923 SOS 4685913 HAS SOPS 4685913 HAS SOUS 2487723 HAS SOUPS 2487723 WITH SCORE 2492408.913
AT ITER 3961 NEW BEST:: SOT 19707651 SOS 4686377 HAS SOPS 4686377 HAS SOUS 2487451 HAS SOUPS 2487451 WITH SCORE 2492137.377
AT ITER 3967 NEW BEST:: SOT 19706637 SOS 4684349 HAS SOPS 4684349 HAS SOUS 2484976 HAS SOUPS 2484976 WITH SCORE 2489660.349
AT ITER 4000 NEW BEST:: SOT 19706637 SOS 4683200 HAS SOPS 4683200 HAS SOUS 2484976 HAS SOUPS 2484976 WITH SCORE 2489659.2
AT ITER 4009 NEW BEST:: SOT 19706637 SOS 4683751 HAS SOPS 4683751 HAS SOUS 2484974 HAS SOUPS 2484974 WITH SCORE 2489657.751
AT ITER 4073 NEW BEST:: SOT 19706531 SOS 4683748 HAS SOPS 4683748 HAS SOUS 2484761 HAS SOUPS 2484761 WITH SCORE 2489444.748
AT ITER 4077 NEW BEST:: SOT 19706531 SOS 4682446 HAS SOPS 4682446 HAS SOUS 2484327 HAS SOUPS 2484327 WITH SCORE 2489009.446
AT ITER 4082 NEW BEST:: SOT 19706176 SOS 4682801 HAS SOPS 4682801 HAS SOUS 2483828 HAS SOUPS 2483828 WITH SCORE 2488510.801
AT ITER 4083 NEW BEST:: SOT 19706175 SOS 4683869 HAS SOPS 4683869 HAS SOUS 2483825 HAS SOUPS 2483825 WITH SCORE 2488508.869
AT ITER 4115 NEW BEST:: SOT 19706175 SOS 4683868 HAS SOPS 4683868 HAS SOUS 2483824 HAS SOUPS 2483824 WITH SCORE 2488507.868
AT ITER 4127 NEW BEST:: SOT 19706166 SOS 4683859 HAS SOPS 4683859 HAS SOUS 2483815 HAS SOUPS 2483815 WITH SCORE 2488498.859
AT ITER 4135 NEW BEST:: SOT 19706056 SOS 4683776 HAS SOPS 4683776 HAS SOUS 2483732 HAS SOUPS 2483732 WITH SCORE 2488415.776
AT ITER 4163 NEW BEST:: SOT 19706013 SOS 4683303 HAS SOPS 4683303 HAS SOUS 2483646 HAS SOUPS 2483646 WITH SCORE 2488329.303
AT ITER 4164 NEW BEST:: SOT 19705082 SOS 4680878 HAS SOPS 4680878 HAS SOUS 2482304 HAS SOUPS 2482304 WITH SCORE 2486984.878
AT ITER 4178 NEW BEST:: SOT 19705081 SOS 4680876 HAS SOPS 4680876 HAS SOUS 2482302 HAS SOUPS 2482302 WITH SCORE 2486982.876
AT ITER 4197 NEW BEST:: SOT 19705081 SOS 4681565 HAS SOPS 4681565 HAS SOUS 2482301 HAS SOUPS 2482301 WITH SCORE 2486982.565
AT ITER 4219 NEW BEST:: SOT 19705081 SOS 4681565 HAS SOPS 4681565 HAS SOUS 2482300 HAS SOUPS 2482300 WITH SCORE 2486981.565
AT ITER 4265 NEW BEST:: SOT 19704292 SOS 4679986 HAS SOPS 4679986 HAS SOUS 2480721 HAS SOUPS 2480721 WITH SCORE 2485400.986
AT ITER 4288 NEW BEST:: SOT 19704310 SOS 4679593 HAS SOPS 4679593 HAS SOUS 2480614 HAS SOUPS 2480614 WITH SCORE 2485293.593
AT ITER 4290 NEW BEST:: SOT 19704096 SOS 4680265 HAS SOPS 4680265 HAS SOUS 2480185 HAS SOUPS 2480185 WITH SCORE 2484865.265
AT ITER 4294 NEW BEST:: SOT 19704090 SOS 4680253 HAS SOPS 4680253 HAS SOUS 2480173 HAS SOUPS 2480173 WITH SCORE 2484853.253
AT ITER 4307 NEW BEST:: SOT 19704090 SOS 4680024 HAS SOPS 4680024 HAS SOUS 2479944 HAS SOUPS 2479944 WITH SCORE 2484624.024
AT ITER 4313 NEW BEST:: SOT 19704150 SOS 4680144 HAS SOPS 4680144 HAS SOUS 2479470 HAS SOUPS 2479470 WITH SCORE 2484150.144
AT ITER 4327 NEW BEST:: SOT 19704150 SOS 4680144 HAS SOPS 4680144 HAS SOUS 2479469 HAS SOUPS 2479469 WITH SCORE 2484149.144
AT ITER 4342 NEW BEST:: SOT 19702882 SOS 4678876 HAS SOPS 4678876 HAS SOUS 2478201 HAS SOUPS 2478201 WITH SCORE 2482879.876
AT ITER 4347 NEW BEST:: SOT 19702551 SOS 4679052 HAS SOPS 4679052 HAS SOUS 2478081 HAS SOUPS 2478081 WITH SCORE 2482760.052
AT ITER 4369 NEW BEST:: SOT 19702502 SOS 4679049 HAS SOPS 4679049 HAS SOUS 2478080 HAS SOUPS 2478080 WITH SCORE 2482759.049
AT ITER 4437 NEW BEST:: SOT 19702478 SOS 4679001 HAS SOPS 4679001 HAS SOUS 2478032 HAS SOUPS 2478032 WITH SCORE 2482711.001
AT ITER 4441 NEW BEST:: SOT 19702478 SOS 4678626 HAS SOPS 4678626 HAS SOUS 2477657 HAS SOUPS 2477657 WITH SCORE 2482335.626
AT ITER 4484 NEW BEST:: SOT 19702235 SOS 4678004 HAS SOPS 4678004 HAS SOUS 2477535 HAS SOUPS 2477535 WITH SCORE 2482213.004
AT ITER 4486 NEW BEST:: SOT 19701420 SOS 4677234 HAS SOPS 4677234 HAS SOUS 2476765 HAS SOUPS 2476765 WITH SCORE 2481442.234
AT ITER 4504 NEW BEST:: SOT 19701180 SOS 4676693 HAS SOPS 4676693 HAS SOUS 2476224 HAS SOUPS 2476224 WITH SCORE 2480900.693
AT ITER 4520 NEW BEST:: SOT 19701180 SOS 4676508 HAS SOPS 4676508 HAS SOUS 2476158 HAS SOUPS 2476158 WITH SCORE 2480834.508
AT ITER 4543 NEW BEST:: SOT 19701073 SOS 4676205 HAS SOPS 4676205 HAS SOUS 2476033 HAS SOUPS 2476033 WITH SCORE 2480709.205
AT ITER 4554 NEW BEST:: SOT 19700873 SOS 4677605 HAS SOPS 4677605 HAS SOUS 2475833 HAS SOUPS 2475833 WITH SCORE 2480510.605
AT ITER 4572 NEW BEST:: SOT 19700486 SOS 4677605 HAS SOPS 4677605 HAS SOUS 2475599 HAS SOUPS 2475599 WITH SCORE 2480276.605
AT ITER 4597 NEW BEST:: SOT 19700450 SOS 4677533 HAS SOPS 4677533 HAS SOUS 2475527 HAS SOUPS 2475527 WITH SCORE 2480204.533
AT ITER 4612 NEW BEST:: SOT 19700450 SOS 4677373 HAS SOPS 4677373 HAS SOUS 2475367 HAS SOUPS 2475367 WITH SCORE 2480044.373
AT ITER 4619 NEW BEST:: SOT 19700450 SOS 4678705 HAS SOPS 4678705 HAS SOUS 2475145 HAS SOUPS 2475145 WITH SCORE 2479823.705
AT ITER 4622 NEW BEST:: SOT 19700570 SOS 4677763 HAS SOPS 4677763 HAS SOUS 2474991 HAS SOUPS 2474991 WITH SCORE 2479668.763
AT ITER 4641 NEW BEST:: SOT 19700481 SOS 4677674 HAS SOPS 4677674 HAS SOUS 2474902 HAS SOUPS 2474902 WITH SCORE 2479579.674
AT ITER 4660 NEW BEST:: SOT 19700273 SOS 4677258 HAS SOPS 4677258 HAS SOUS 2474653 HAS SOUPS 2474653 WITH SCORE 2479330.258
AT ITER 4672 NEW BEST:: SOT 19699381 SOS 4678782 HAS SOPS 4678782 HAS SOUS 2474588 HAS SOUPS 2474588 WITH SCORE 2479266.782
AT ITER 4675 NEW BEST:: SOT 19698992 SOS 4678004 HAS SOPS 4678004 HAS SOUS 2474108 HAS SOUPS 2474108 WITH SCORE 2478786.004
AT ITER 4682 NEW BEST:: SOT 19698305 SOS 4678003 HAS SOPS 4678003 HAS SOUS 2474107 HAS SOUPS 2474107 WITH SCORE 2478785.003
AT ITER 4690 NEW BEST:: SOT 19698223 SOS 4677839 HAS SOPS 4677839 HAS SOUS 2473943 HAS SOUPS 2473943 WITH SCORE 2478620.839
AT ITER 4706 NEW BEST:: SOT 19697582 SOS 4677249 HAS SOPS 4677249 HAS SOUS 2473353 HAS SOUPS 2473353 WITH SCORE 2478030.249
AT ITER 4719 NEW BEST:: SOT 19697455 SOS 4677122 HAS SOPS 4677122 HAS SOUS 2473226 HAS SOUPS 2473226 WITH SCORE 2477903.122
AT ITER 4752 NEW BEST:: SOT 19697455 SOS 4677637 HAS SOPS 4677637 HAS SOUS 2473225 HAS SOUPS 2473225 WITH SCORE 2477902.637
AT ITER 4759 NEW BEST:: SOT 19697395 SOS 4677517 HAS SOPS 4677517 HAS SOUS 2473105 HAS SOUPS 2473105 WITH SCORE 2477782.517
AT ITER 4804 NEW BEST:: SOT 19697395 SOS 4677421 HAS SOPS 4677421 HAS SOUS 2473081 HAS SOUPS 2473081 WITH SCORE 2477758.421
AT ITER 4812 NEW BEST:: SOT 19697776 SOS 4675993 HAS SOPS 4675993 HAS SOUS 2472947 HAS SOUPS 2472947 WITH SCORE 2477622.993
AT ITER 4826 NEW BEST:: SOT 19697776 SOS 4676237 HAS SOPS 4676237 HAS SOUS 2472743 HAS SOUPS 2472743 WITH SCORE 2477419.237
AT ITER 4831 NEW BEST:: SOT 19697116 SOS 4675577 HAS SOPS 4675577 HAS SOUS 2472083 HAS SOUPS 2472083 WITH SCORE 2476758.577
AT ITER 4840 NEW BEST:: SOT 19697047 SOS 4675508 HAS SOPS 4675508 HAS SOUS 2472014 HAS SOUPS 2472014 WITH SCORE 2476689.508
AT ITER 4859 NEW BEST:: SOT 19696643 SOS 4675306 HAS SOPS 4675306 HAS SOUS 2471812 HAS SOUPS 2471812 WITH SCORE 2476487.306
AT ITER 4899 NEW BEST:: SOT 19696149 SOS 4674318 HAS SOPS 4674318 HAS SOUS 2470824 HAS SOUPS 2470824 WITH SCORE 2475498.318
AT ITER 4946 NEW BEST:: SOT 19695952 SOS 4674315 HAS SOPS 4674315 HAS SOUS 2470626 HAS SOUPS 2470626 WITH SCORE 2475300.315
AT ITER 4952 NEW BEST:: SOT 19695716 SOS 4674312 HAS SOPS 4674312 HAS SOUS 2470153 HAS SOUPS 2470153 WITH SCORE 2474827.312
AT ITER 4954 NEW BEST:: SOT 19695558 SOS 4674237 HAS SOPS 4674237 HAS SOUS 2470078 HAS SOUPS 2470078 WITH SCORE 2474752.237
AT ITER 4992 NEW BEST:: SOT 19694745 SOS 4674837 HAS SOPS 4674837 HAS SOUS 2469510 HAS SOUPS 2469510 WITH SCORE 2474184.837
AT ITER 5011 NEW BEST:: SOT 19694737 SOS 4674826 HAS SOPS 4674826 HAS SOUS 2469509 HAS SOUPS 2469509 WITH SCORE 2474183.826
AT ITER 5024 NEW BEST:: SOT 19694376 SOS 4675208 HAS SOPS 4675208 HAS SOUS 2469244 HAS SOUPS 2469244 WITH SCORE 2473919.208
AT ITER 5028 NEW BEST:: SOT 19694496 SOS 4675448 HAS SOPS 4675448 HAS SOUS 2468080 HAS SOUPS 2468080 WITH SCORE 2472755.448
AT ITER 5070 NEW BEST:: SOT 19694025 SOS 4674506 HAS SOPS 4674506 HAS SOUS 2467609 HAS SOUPS 2467609 WITH SCORE 2472283.506
AT ITER 5076 NEW BEST:: SOT 19694025 SOS 4675931 HAS SOPS 4675931 HAS SOUS 2467419 HAS SOUPS 2467419 WITH SCORE 2472094.931
AT ITER 5095 NEW BEST:: SOT 19693530 SOS 4675436 HAS SOPS 4675436 HAS SOUS 2466924 HAS SOUPS 2466924 WITH SCORE 2471599.436
AT ITER 5110 NEW BEST:: SOT 19693817 SOS 4675723 HAS SOPS 4675723 HAS SOUS 2466923 HAS SOUPS 2466923 WITH SCORE 2471598.723
AT ITER 5145 NEW BEST:: SOT 19693738 SOS 4674854 HAS SOPS 4674854 HAS SOUS 2466896 HAS SOUPS 2466896 WITH SCORE 2471570.854
AT ITER 5151 NEW BEST:: SOT 19693518 SOS 4674634 HAS SOPS 4674634 HAS SOUS 2466676 HAS SOUPS 2466676 WITH SCORE 2471350.634
AT ITER 5180 NEW BEST:: SOT 19693686 SOS 4665590 HAS SOPS 4665590 HAS SOUS 2466074 HAS SOUPS 2466074 WITH SCORE 2470739.59
AT ITER 5205 NEW BEST:: SOT 19693656 SOS 4665559 HAS SOPS 4665559 HAS SOUS 2466043 HAS SOUPS 2466043 WITH SCORE 2470708.559
AT ITER 5211 NEW BEST:: SOT 19693656 SOS 4665549 HAS SOPS 4665549 HAS SOUS 2466043 HAS SOUPS 2466043 WITH SCORE 2470708.549
AT ITER 5219 NEW BEST:: SOT 19693609 SOS 4665548 HAS SOPS 4665548 HAS SOUS 2466042 HAS SOUPS 2466042 WITH SCORE 2470707.548
AT ITER 5312 NEW BEST:: SOT 19693609 SOS 4665548 HAS SOPS 4665548 HAS SOUS 2464887 HAS SOUPS 2464887 WITH SCORE 2469552.548
AT ITER 5314 NEW BEST:: SOT 19693703 SOS 4665736 HAS SOPS 4665736 HAS SOUS 2464479 HAS SOUPS 2464479 WITH SCORE 2469144.736
AT ITER 5317 NEW BEST:: SOT 19693986 SOS 4666302 HAS SOPS 4666302 HAS SOUS 2464312 HAS SOUPS 2464312 WITH SCORE 2468978.302
AT ITER 5326 NEW BEST:: SOT 19693838 SOS 4666006 HAS SOPS 4666006 HAS SOUS 2463681 HAS SOUPS 2463681 WITH SCORE 2468347.006
AT ITER 5335 NEW BEST:: SOT 19693838 SOS 4666006 HAS SOPS 4666006 HAS SOUS 2463356 HAS SOUPS 2463356 WITH SCORE 2468022.006
AT ITER 5337 NEW BEST:: SOT 19693629 SOS 4666371 HAS SOPS 4666371 HAS SOUS 2463147 HAS SOUPS 2463147 WITH SCORE 2467813.371
AT ITER 5338 NEW BEST:: SOT 19692069 SOS 4665981 HAS SOPS 4665981 HAS SOUS 2462757 HAS SOUPS 2462757 WITH SCORE 2467422.981
AT ITER 5349 NEW BEST:: SOT 19692069 SOS 4664223 HAS SOPS 4664223 HAS SOUS 2462757 HAS SOUPS 2462757 WITH SCORE 2467421.223
AT ITER 5350 NEW BEST:: SOT 19692069 SOS 4664223 HAS SOPS 4664223 HAS SOUS 2462635 HAS SOUPS 2462635 WITH SCORE 2467299.223
AT ITER 5379 NEW BEST:: SOT 19692171 SOS 4666049 HAS SOPS 4666049 HAS SOUS 2462296 HAS SOUPS 2462296 WITH SCORE 2466962.049
AT ITER 5388 NEW BEST:: SOT 19692171 SOS 4665803 HAS SOPS 4665803 HAS SOUS 2462296 HAS SOUPS 2462296 WITH SCORE 2466961.803
AT ITER 5395 NEW BEST:: SOT 19691975 SOS 4664112 HAS SOPS 4664112 HAS SOUS 2462150 HAS SOUPS 2462150 WITH SCORE 2466814.112
AT ITER 5405 NEW BEST:: SOT 19691975 SOS 4664102 HAS SOPS 4664102 HAS SOUS 2462149 HAS SOUPS 2462149 WITH SCORE 2466813.102
AT ITER 5416 NEW BEST:: SOT 19691865 SOS 4663909 HAS SOPS 4663909 HAS SOUS 2461956 HAS SOUPS 2461956 WITH SCORE 2466619.909
AT ITER 5430 NEW BEST:: SOT 19691738 SOS 4664798 HAS SOPS 4664798 HAS SOUS 2461829 HAS SOUPS 2461829 WITH SCORE 2466493.798
AT ITER 5469 NEW BEST:: SOT 19691546 SOS 4664702 HAS SOPS 4664702 HAS SOUS 2461733 HAS SOUPS 2461733 WITH SCORE 2466397.702
AT ITER 5518 NEW BEST:: SOT 19690282 SOS 4664898 HAS SOPS 4664898 HAS SOUS 2461350 HAS SOUPS 2461350 WITH SCORE 2466014.898
AT ITER 5519 NEW BEST:: SOT 19690275 SOS 4670536 HAS SOPS 4670536 HAS SOUS 2461343 HAS SOUPS 2461343 WITH SCORE 2466013.536
AT ITER 5523 NEW BEST:: SOT 19690115 SOS 4669967 HAS SOPS 4669967 HAS SOUS 2460774 HAS SOUPS 2460774 WITH SCORE 2465443.967
AT ITER 5531 NEW BEST:: SOT 19689710 SOS 4669157 HAS SOPS 4669157 HAS SOUS 2459964 HAS SOUPS 2459964 WITH SCORE 2464633.157
AT ITER 5558 NEW BEST:: SOT 19688746 SOS 4658553 HAS SOPS 4658553 HAS SOUS 2458036 HAS SOUPS 2458036 WITH SCORE 2462694.553
AT ITER 5563 NEW BEST:: SOT 19688865 SOS 4660785 HAS SOPS 4660785 HAS SOUS 2457435 HAS SOUPS 2457435 WITH SCORE 2462095.785
AT ITER 5572 NEW BEST:: SOT 19689629 SOS 4662313 HAS SOPS 4662313 HAS SOUS 2456990 HAS SOUPS 2456990 WITH SCORE 2461652.313
AT ITER 5573 NEW BEST:: SOT 19689629 SOS 4663860 HAS SOPS 4663860 HAS SOUS 2456988 HAS SOUPS 2456988 WITH SCORE 2461651.86
AT ITER 5600 NEW BEST:: SOT 19688458 SOS 4661518 HAS SOPS 4661518 HAS SOUS 2454646 HAS SOUPS 2454646 WITH SCORE 2459307.518
AT ITER 5630 NEW BEST:: SOT 19688365 SOS 4665571 HAS SOPS 4665571 HAS SOUS 2454553 HAS SOUPS 2454553 WITH SCORE 2459218.571
AT ITER 5631 NEW BEST:: SOT 19688166 SOS 4664974 HAS SOPS 4664974 HAS SOUS 2454155 HAS SOUPS 2454155 WITH SCORE 2458819.974
AT ITER 5706 NEW BEST:: SOT 19687741 SOS 4664539 HAS SOPS 4664539 HAS SOUS 2453304 HAS SOUPS 2453304 WITH SCORE 2457968.539
AT ITER 5714 NEW BEST:: SOT 19687740 SOS 4664537 HAS SOPS 4664537 HAS SOUS 2453302 HAS SOUPS 2453302 WITH SCORE 2457966.537
AT ITER 5715 NEW BEST:: SOT 19687739 SOS 4664667 HAS SOPS 4664667 HAS SOUS 2453300 HAS SOUPS 2453300 WITH SCORE 2457964.667
AT ITER 5718 NEW BEST:: SOT 19687956 SOS 4664623 HAS SOPS 4664623 HAS SOUS 2453278 HAS SOUPS 2453278 WITH SCORE 2457942.623
AT ITER 5723 NEW BEST:: SOT 19687915 SOS 4664622 HAS SOPS 4664622 HAS SOUS 2453277 HAS SOUPS 2453277 WITH SCORE 2457941.622
AT ITER 5733 NEW BEST:: SOT 19686708 SOS 4664622 HAS SOPS 4664622 HAS SOUS 2451355 HAS SOUPS 2451355 WITH SCORE 2456019.622
AT ITER 5740 NEW BEST:: SOT 19686708 SOS 4664622 HAS SOPS 4664622 HAS SOUS 2451309 HAS SOUPS 2451309 WITH SCORE 2455973.622
AT ITER 5746 NEW BEST:: SOT 19686708 SOS 4664864 HAS SOPS 4664864 HAS SOUS 2451307 HAS SOUPS 2451307 WITH SCORE 2455971.864
AT ITER 5755 NEW BEST:: SOT 19686708 SOS 4665430 HAS SOPS 4665430 HAS SOUS 2451306 HAS SOUPS 2451306 WITH SCORE 2455971.43
AT ITER 5793 NEW BEST:: SOT 19686367 SOS 4664748 HAS SOPS 4664748 HAS SOUS 2450624 HAS SOUPS 2450624 WITH SCORE 2455288.748
AT ITER 5807 NEW BEST:: SOT 19686367 SOS 4664436 HAS SOPS 4664436 HAS SOUS 2450312 HAS SOUPS 2450312 WITH SCORE 2454976.436
AT ITER 5812 NEW BEST:: SOT 19686367 SOS 4664144 HAS SOPS 4664144 HAS SOUS 2450166 HAS SOUPS 2450166 WITH SCORE 2454830.144
AT ITER 5823 NEW BEST:: SOT 19685576 SOS 4664830 HAS SOPS 4664830 HAS SOUS 2449985 HAS SOUPS 2449985 WITH SCORE 2454649.83
AT ITER 5884 NEW BEST:: SOT 19683710 SOS 4682496 HAS SOPS 4682496 HAS SOUS 2449745 HAS SOUPS 2449745 WITH SCORE 2454427.496
AT ITER 5916 NEW BEST:: SOT 19683703 SOS 4683930 HAS SOPS 4683930 HAS SOUS 2449731 HAS SOUPS 2449731 WITH SCORE 2454414.93
AT ITER 5936 NEW BEST:: SOT 19683629 SOS 4683782 HAS SOPS 4683782 HAS SOUS 2448990 HAS SOUPS 2448990 WITH SCORE 2453673.782
AT ITER 5945 NEW BEST:: SOT 19683484 SOS 4683637 HAS SOPS 4683637 HAS SOUS 2448990 HAS SOUPS 2448990 WITH SCORE 2453673.637
AT ITER 5968 NEW BEST:: SOT 19683483 SOS 4683635 HAS SOPS 4683635 HAS SOUS 2448988 HAS SOUPS 2448988 WITH SCORE 2453671.635
AT ITER 5983 NEW BEST:: SOT 19683336 SOS 4683341 HAS SOPS 4683341 HAS SOUS 2448694 HAS SOUPS 2448694 WITH SCORE 2453377.341
AT ITER 6008 NEW BEST:: SOT 19683231 SOS 4683159 HAS SOPS 4683159 HAS SOUS 2448512 HAS SOUPS 2448512 WITH SCORE 2453195.159
AT ITER 6024 NEW BEST:: SOT 19683229 SOS 4683002 HAS SOPS 4683002 HAS SOUS 2448355 HAS SOUPS 2448355 WITH SCORE 2453038.002
AT ITER 6049 NEW BEST:: SOT 19683339 SOS 4683218 HAS SOPS 4683218 HAS SOUS 2448354 HAS SOUPS 2448354 WITH SCORE 2453037.218
AT ITER 6051 NEW BEST:: SOT 19682491 SOS 4682205 HAS SOPS 4682205 HAS SOUS 2447341 HAS SOUPS 2447341 WITH SCORE 2452023.205
AT ITER 6062 NEW BEST:: SOT 19682174 SOS 4681995 HAS SOPS 4681995 HAS SOUS 2447131 HAS SOUPS 2447131 WITH SCORE 2451812.995
AT ITER 6121 NEW BEST:: SOT 19682174 SOS 4681667 HAS SOPS 4681667 HAS SOUS 2447131 HAS SOUPS 2447131 WITH SCORE 2451812.667
AT ITER 6132 NEW BEST:: SOT 19681763 SOS 4682609 HAS SOPS 4682609 HAS SOUS 2446230 HAS SOUPS 2446230 WITH SCORE 2450912.609
AT ITER 6143 NEW BEST:: SOT 19680985 SOS 4682220 HAS SOPS 4682220 HAS SOUS 2445841 HAS SOUPS 2445841 WITH SCORE 2450523.22
AT ITER 6163 NEW BEST:: SOT 19680985 SOS 4682181 HAS SOPS 4682181 HAS SOUS 2445802 HAS SOUPS 2445802 WITH SCORE 2450484.181
AT ITER 6172 NEW BEST:: SOT 19680985 SOS 4681323 HAS SOPS 4681323 HAS SOUS 2445802 HAS SOUPS 2445802 WITH SCORE 2450483.323
AT ITER 6177 NEW BEST:: SOT 19680289 SOS 4681565 HAS SOPS 4681565 HAS SOUS 2445682 HAS SOUPS 2445682 WITH SCORE 2450363.565
AT ITER 6251 NEW BEST:: SOT 19679374 SOS 4680989 HAS SOPS 4680989 HAS SOUS 2444864 HAS SOUPS 2444864 WITH SCORE 2449544.989
AT ITER 6262 NEW BEST:: SOT 19679374 SOS 4680989 HAS SOPS 4680989 HAS SOUS 2444863 HAS SOUPS 2444863 WITH SCORE 2449543.989
AT ITER 6264 NEW BEST:: SOT 19679014 SOS 4682390 HAS SOPS 4682390 HAS SOUS 2444142 HAS SOUPS 2444142 WITH SCORE 2448824.39
AT ITER 6269 NEW BEST:: SOT 19679014 SOS 4681738 HAS SOPS 4681738 HAS SOUS 2444141 HAS SOUPS 2444141 WITH SCORE 2448822.738
AT ITER 6285 NEW BEST:: SOT 19679012 SOS 4681734 HAS SOPS 4681734 HAS SOUS 2444137 HAS SOUPS 2444137 WITH SCORE 2448818.734
AT ITER 6297 NEW BEST:: SOT 19679012 SOS 4680816 HAS SOPS 4680816 HAS SOUS 2444136 HAS SOUPS 2444136 WITH SCORE 2448816.816
AT ITER 6313 NEW BEST:: SOT 19678792 SOS 4680376 HAS SOPS 4680376 HAS SOUS 2443602 HAS SOUPS 2443602 WITH SCORE 2448282.376
AT ITER 6322 NEW BEST:: SOT 19678717 SOS 4680373 HAS SOPS 4680373 HAS SOUS 2443451 HAS SOUPS 2443451 WITH SCORE 2448131.373
AT ITER 6372 NEW BEST:: SOT 19678311 SOS 4680012 HAS SOPS 4680012 HAS SOUS 2443090 HAS SOUPS 2443090 WITH SCORE 2447770.012
AT ITER 6382 NEW BEST:: SOT 19676997 SOS 4678698 HAS SOPS 4678698 HAS SOUS 2441776 HAS SOUPS 2441776 WITH SCORE 2446454.698
AT ITER 6407 NEW BEST:: SOT 19676853 SOS 4678410 HAS SOPS 4678410 HAS SOUS 2441759 HAS SOUPS 2441759 WITH SCORE 2446437.41
AT ITER 6439 NEW BEST:: SOT 19675550 SOS 4677925 HAS SOPS 4677925 HAS SOUS 2441163 HAS SOUPS 2441163 WITH SCORE 2445840.925
AT ITER 6440 NEW BEST:: SOT 19675550 SOS 4678069 HAS SOPS 4678069 HAS SOUS 2441147 HAS SOUPS 2441147 WITH SCORE 2445825.069
AT ITER 6459 NEW BEST:: SOT 19675290 SOS 4679225 HAS SOPS 4679225 HAS SOUS 2440631 HAS SOUPS 2440631 WITH SCORE 2445310.225
AT ITER 6476 NEW BEST:: SOT 19675290 SOS 4673247 HAS SOPS 4673247 HAS SOUS 2440565 HAS SOUPS 2440565 WITH SCORE 2445238.247
AT ITER 6494 NEW BEST:: SOT 19675290 SOS 4673237 HAS SOPS 4673237 HAS SOUS 2440564 HAS SOUPS 2440564 WITH SCORE 2445237.237
AT ITER 6501 NEW BEST:: SOT 19675160 SOS 4671117 HAS SOPS 4671117 HAS SOUS 2440316 HAS SOUPS 2440316 WITH SCORE 2444987.117
AT ITER 6527 NEW BEST:: SOT 19674983 SOS 4670763 HAS SOPS 4670763 HAS SOUS 2440139 HAS SOUPS 2440139 WITH SCORE 2444809.763
AT ITER 6543 NEW BEST:: SOT 19674977 SOS 4670751 HAS SOPS 4670751 HAS SOUS 2440127 HAS SOUPS 2440127 WITH SCORE 2444797.751
AT ITER 6571 NEW BEST:: SOT 19674977 SOS 4671246 HAS SOPS 4671246 HAS SOUS 2440126 HAS SOUPS 2440126 WITH SCORE 2444797.246
AT ITER 6590 NEW BEST:: SOT 19674338 SOS 4668039 HAS SOPS 4668039 HAS SOUS 2439523 HAS SOUPS 2439523 WITH SCORE 2444191.039
AT ITER 6594 NEW BEST:: SOT 19674260 SOS 4668663 HAS SOPS 4668663 HAS SOUS 2439445 HAS SOUPS 2439445 WITH SCORE 2444113.663
AT ITER 6606 NEW BEST:: SOT 19674260 SOS 4668641 HAS SOPS 4668641 HAS SOUS 2439423 HAS SOUPS 2439423 WITH SCORE 2444091.641
AT ITER 6615 NEW BEST:: SOT 19674052 SOS 4669481 HAS SOPS 4669481 HAS SOUS 2439370 HAS SOUPS 2439370 WITH SCORE 2444039.481
AT ITER 6616 NEW BEST:: SOT 19674052 SOS 4669818 HAS SOPS 4669818 HAS SOUS 2439256 HAS SOUPS 2439256 WITH SCORE 2443925.818
AT ITER 6623 NEW BEST:: SOT 19673937 SOS 4669588 HAS SOPS 4669588 HAS SOUS 2439026 HAS SOUPS 2439026 WITH SCORE 2443695.588
AT ITER 6629 NEW BEST:: SOT 19673937 SOS 4669588 HAS SOPS 4669588 HAS SOUS 2438853 HAS SOUPS 2438853 WITH SCORE 2443522.588
AT ITER 6636 NEW BEST:: SOT 19673930 SOS 4669506 HAS SOPS 4669506 HAS SOUS 2438843 HAS SOUPS 2438843 WITH SCORE 2443512.506
AT ITER 6655 NEW BEST:: SOT 19673930 SOS 4669506 HAS SOPS 4669506 HAS SOUS 2438842 HAS SOUPS 2438842 WITH SCORE 2443511.506
AT ITER 6672 NEW BEST:: SOT 19673866 SOS 4668721 HAS SOPS 4668721 HAS SOUS 2438559 HAS SOUPS 2438559 WITH SCORE 2443227.721
AT ITER 6674 NEW BEST:: SOT 19673720 SOS 4668429 HAS SOPS 4668429 HAS SOUS 2438413 HAS SOUPS 2438413 WITH SCORE 2443081.429
AT ITER 6675 NEW BEST:: SOT 19673720 SOS 4667898 HAS SOPS 4667898 HAS SOUS 2438236 HAS SOUPS 2438236 WITH SCORE 2442903.898
AT ITER 6707 NEW BEST:: SOT 19673705 SOS 4666952 HAS SOPS 4666952 HAS SOUS 2437890 HAS SOUPS 2437890 WITH SCORE 2442556.952
AT ITER 6722 NEW BEST:: SOT 19672559 SOS 4666379 HAS SOPS 4666379 HAS SOUS 2437317 HAS SOUPS 2437317 WITH SCORE 2441983.379
AT ITER 6728 NEW BEST:: SOT 19672556 SOS 4666373 HAS SOPS 4666373 HAS SOUS 2437311 HAS SOUPS 2437311 WITH SCORE 2441977.373
AT ITER 6730 NEW BEST:: SOT 19672556 SOS 4665515 HAS SOPS 4665515 HAS SOUS 2437310 HAS SOUPS 2437310 WITH SCORE 2441975.515
AT ITER 6734 NEW BEST:: SOT 19671965 SOS 4656188 HAS SOPS 4656188 HAS SOUS 2436128 HAS SOUPS 2436128 WITH SCORE 2440784.188
AT ITER 6738 NEW BEST:: SOT 19671187 SOS 4654965 HAS SOPS 4654965 HAS SOUS 2434905 HAS SOUPS 2434905 WITH SCORE 2439559.965
AT ITER 6753 NEW BEST:: SOT 19671045 SOS 4654202 HAS SOPS 4654202 HAS SOUS 2434568 HAS SOUPS 2434568 WITH SCORE 2439222.202
AT ITER 6772 NEW BEST:: SOT 19670853 SOS 4655546 HAS SOPS 4655546 HAS SOUS 2434376 HAS SOUPS 2434376 WITH SCORE 2439031.546
AT ITER 6802 NEW BEST:: SOT 19670716 SOS 4656505 HAS SOPS 4656505 HAS SOUS 2434102 HAS SOUPS 2434102 WITH SCORE 2438758.505
AT ITER 6829 NEW BEST:: SOT 19670716 SOS 4656490 HAS SOPS 4656490 HAS SOUS 2434087 HAS SOUPS 2434087 WITH SCORE 2438743.49
AT ITER 6861 NEW BEST:: SOT 19670710 SOS 4660536 HAS SOPS 4660536 HAS SOUS 2433985 HAS SOUPS 2433985 WITH SCORE 2438645.536
AT ITER 6862 NEW BEST:: SOT 19670686 SOS 4660488 HAS SOPS 4660488 HAS SOUS 2433952 HAS SOUPS 2433952 WITH SCORE 2438612.488
AT ITER 6898 NEW BEST:: SOT 19669932 SOS 4660680 HAS SOPS 4660680 HAS SOUS 2433457 HAS SOUPS 2433457 WITH SCORE 2438117.68
AT ITER 6908 NEW BEST:: SOT 19669932 SOS 4660638 HAS SOPS 4660638 HAS SOUS 2433415 HAS SOUPS 2433415 WITH SCORE 2438075.638
AT ITER 6915 NEW BEST:: SOT 19669629 SOS 4658982 HAS SOPS 4658982 HAS SOUS 2433334 HAS SOUPS 2433334 WITH SCORE 2437992.982
AT ITER 6933 NEW BEST:: SOT 19669629 SOS 4659112 HAS SOPS 4659112 HAS SOUS 2433332 HAS SOUPS 2433332 WITH SCORE 2437991.112
AT ITER 6945 NEW BEST:: SOT 19669629 SOS 4659102 HAS SOPS 4659102 HAS SOUS 2433332 HAS SOUPS 2433332 WITH SCORE 2437991.102
AT ITER 6949 NEW BEST:: SOT 19669629 SOS 4658552 HAS SOPS 4658552 HAS SOUS 2433277 HAS SOUPS 2433277 WITH SCORE 2437935.552
AT ITER 6953 NEW BEST:: SOT 19669629 SOS 4658434 HAS SOPS 4658434 HAS SOUS 2433277 HAS SOUPS 2433277 WITH SCORE 2437935.434
AT ITER 6979 NEW BEST:: SOT 19667793 SOS 4657010 HAS SOPS 4657010 HAS SOUS 2431441 HAS SOUPS 2431441 WITH SCORE 2436098.01
AT ITER 6991 NEW BEST:: SOT 19667883 SOS 4656989 HAS SOPS 4656989 HAS SOUS 2431420 HAS SOUPS 2431420 WITH SCORE 2436076.989
AT ITER 7004 NEW BEST:: SOT 19667449 SOS 4656121 HAS SOPS 4656121 HAS SOUS 2430160 HAS SOUPS 2430160 WITH SCORE 2434816.121
AT ITER 7012 NEW BEST:: SOT 19666560 SOS 4655232 HAS SOPS 4655232 HAS SOUS 2429271 HAS SOUPS 2429271 WITH SCORE 2433926.232
AT ITER 7060 NEW BEST:: SOT 19666560 SOS 4655230 HAS SOPS 4655230 HAS SOUS 2429269 HAS SOUPS 2429269 WITH SCORE 2433924.23
AT ITER 7120 NEW BEST:: SOT 19666449 SOS 4655008 HAS SOPS 4655008 HAS SOUS 2429158 HAS SOUPS 2429158 WITH SCORE 2433813.008
AT ITER 7121 NEW BEST:: SOT 19666396 SOS 4655340 HAS SOPS 4655340 HAS SOUS 2429052 HAS SOUPS 2429052 WITH SCORE 2433707.34
AT ITER 7131 NEW BEST:: SOT 19665693 SOS 4654397 HAS SOPS 4654397 HAS SOUS 2428409 HAS SOUPS 2428409 WITH SCORE 2433063.397
AT ITER 7136 NEW BEST:: SOT 19665692 SOS 4654395 HAS SOPS 4654395 HAS SOUS 2428407 HAS SOUPS 2428407 WITH SCORE 2433061.395
AT ITER 7146 NEW BEST:: SOT 19665571 SOS 4654597 HAS SOPS 4654597 HAS SOUS 2428287 HAS SOUPS 2428287 WITH SCORE 2432941.597
AT ITER 7149 NEW BEST:: SOT 19665525 SOS 4654091 HAS SOPS 4654091 HAS SOUS 2428195 HAS SOUPS 2428195 WITH SCORE 2432849.091
AT ITER 7154 NEW BEST:: SOT 19665664 SOS 4653352 HAS SOPS 4653352 HAS SOUS 2427995 HAS SOUPS 2427995 WITH SCORE 2432648.352
AT ITER 7165 NEW BEST:: SOT 19665664 SOS 4653091 HAS SOPS 4653091 HAS SOUS 2427994 HAS SOUPS 2427994 WITH SCORE 2432647.091
AT ITER 7175 NEW BEST:: SOT 19665326 SOS 4652415 HAS SOPS 4652415 HAS SOUS 2427994 HAS SOUPS 2427994 WITH SCORE 2432646.415
AT ITER 7215 NEW BEST:: SOT 19665297 SOS 4652357 HAS SOPS 4652357 HAS SOUS 2427936 HAS SOUPS 2427936 WITH SCORE 2432588.357
AT ITER 7254 NEW BEST:: SOT 19665213 SOS 4652273 HAS SOPS 4652273 HAS SOUS 2427852 HAS SOUPS 2427852 WITH SCORE 2432504.273
AT ITER 7269 NEW BEST:: SOT 19664852 SOS 4643761 HAS SOPS 4643761 HAS SOUS 2427242 HAS SOUPS 2427242 WITH SCORE 2431885.761
AT ITER 7283 NEW BEST:: SOT 19665072 SOS 4648943 HAS SOPS 4648943 HAS SOUS 2427087 HAS SOUPS 2427087 WITH SCORE 2431735.943
AT ITER 7314 NEW BEST:: SOT 19665072 SOS 4647344 HAS SOPS 4647344 HAS SOUS 2427086 HAS SOUPS 2427086 WITH SCORE 2431733.344
AT ITER 7324 NEW BEST:: SOT 19665072 SOS 4646668 HAS SOPS 4646668 HAS SOUS 2426748 HAS SOUPS 2426748 WITH SCORE 2431394.668
AT ITER 7334 NEW BEST:: SOT 19664993 SOS 4646510 HAS SOPS 4646510 HAS SOUS 2426590 HAS SOUPS 2426590 WITH SCORE 2431236.51
AT ITER 7384 NEW BEST:: SOT 19663980 SOS 4642974 HAS SOPS 4642974 HAS SOUS 2423308 HAS SOUPS 2423308 WITH SCORE 2427950.974
AT ITER 7399 NEW BEST:: SOT 19663195 SOS 4644059 HAS SOPS 4644059 HAS SOUS 2422990 HAS SOUPS 2422990 WITH SCORE 2427634.059
AT ITER 7404 NEW BEST:: SOT 19663356 SOS 4643990 HAS SOPS 4643990 HAS SOUS 2422921 HAS SOUPS 2422921 WITH SCORE 2427564.99
AT ITER 7412 NEW BEST:: SOT 19663356 SOS 4643340 HAS SOPS 4643340 HAS SOUS 2422596 HAS SOUPS 2422596 WITH SCORE 2427239.34
AT ITER 7445 NEW BEST:: SOT 19663093 SOS 4643340 HAS SOPS 4643340 HAS SOUS 2422070 HAS SOUPS 2422070 WITH SCORE 2426713.34
AT ITER 7452 NEW BEST:: SOT 19663053 SOS 4643260 HAS SOPS 4643260 HAS SOUS 2421990 HAS SOUPS 2421990 WITH SCORE 2426633.26
AT ITER 7475 NEW BEST:: SOT 19662354 SOS 4641862 HAS SOPS 4641862 HAS SOUS 2420592 HAS SOUPS 2420592 WITH SCORE 2425233.862
AT ITER 7494 NEW BEST:: SOT 19662354 SOS 4641175 HAS SOPS 4641175 HAS SOUS 2420592 HAS SOUPS 2420592 WITH SCORE 2425233.175
AT ITER 7497 NEW BEST:: SOT 19662354 SOS 4641175 HAS SOPS 4641175 HAS SOUS 2420548 HAS SOUPS 2420548 WITH SCORE 2425189.175
AT ITER 7499 NEW BEST:: SOT 19662373 SOS 4640993 HAS SOPS 4640993 HAS SOUS 2420467 HAS SOUPS 2420467 WITH SCORE 2425107.993
AT ITER 7522 NEW BEST:: SOT 19662373 SOS 4640712 HAS SOPS 4640712 HAS SOUS 2420467 HAS SOUPS 2420467 WITH SCORE 2425107.712
AT ITER 7587 NEW BEST:: SOT 19662041 SOS 4640521 HAS SOPS 4640521 HAS SOUS 2420135 HAS SOUPS 2420135 WITH SCORE 2424775.521
AT ITER 7603 NEW BEST:: SOT 19662040 SOS 4640519 HAS SOPS 4640519 HAS SOUS 2420133 HAS SOUPS 2420133 WITH SCORE 2424773.519
AT ITER 7658 NEW BEST:: SOT 19662040 SOS 4639891 HAS SOPS 4639891 HAS SOUS 2420132 HAS SOUPS 2420132 WITH SCORE 2424771.891
AT ITER 7674 NEW BEST:: SOT 19662039 SOS 4639752 HAS SOPS 4639752 HAS SOUS 2419993 HAS SOUPS 2419993 WITH SCORE 2424632.752
AT ITER 7689 NEW BEST:: SOT 19662039 SOS 4639590 HAS SOPS 4639590 HAS SOUS 2419993 HAS SOUPS 2419993 WITH SCORE 2424632.59
AT ITER 7706 NEW BEST:: SOT 19662341 SOS 4639292 HAS SOPS 4639292 HAS SOUS 2419883 HAS SOUPS 2419883 WITH SCORE 2424522.292
AT ITER 7713 NEW BEST:: SOT 19662251 SOS 4639112 HAS SOPS 4639112 HAS SOUS 2419703 HAS SOUPS 2419703 WITH SCORE 2424342.112
AT ITER 7718 NEW BEST:: SOT 19662203 SOS 4639016 HAS SOPS 4639016 HAS SOUS 2419655 HAS SOUPS 2419655 WITH SCORE 2424294.016
AT ITER 7737 NEW BEST:: SOT 19661259 SOS 4638203 HAS SOPS 4638203 HAS SOUS 2418842 HAS SOUPS 2418842 WITH SCORE 2423480.203
AT ITER 7744 NEW BEST:: SOT 19661290 SOS 4638265 HAS SOPS 4638265 HAS SOUS 2418079 HAS SOUPS 2418079 WITH SCORE 2422717.265
AT ITER 7783 NEW BEST:: SOT 19660685 SOS 4638164 HAS SOPS 4638164 HAS SOUS 2417658 HAS SOUPS 2417658 WITH SCORE 2422296.164
AT ITER 7855 NEW BEST:: SOT 19659855 SOS 4637334 HAS SOPS 4637334 HAS SOUS 2416818 HAS SOUPS 2416818 WITH SCORE 2421455.334
AT ITER 7893 NEW BEST:: SOT 19659855 SOS 4638115 HAS SOPS 4638115 HAS SOUS 2416633 HAS SOUPS 2416633 WITH SCORE 2421271.115
AT ITER 7906 NEW BEST:: SOT 19659244 SOS 4637520 HAS SOPS 4637520 HAS SOUS 2416038 HAS SOUPS 2416038 WITH SCORE 2420675.52
AT ITER 7931 NEW BEST:: SOT 19658537 SOS 4636750 HAS SOPS 4636750 HAS SOUS 2415961 HAS SOUPS 2415961 WITH SCORE 2420597.75
AT ITER 7937 NEW BEST:: SOT 19658493 SOS 4636662 HAS SOPS 4636662 HAS SOUS 2415873 HAS SOUPS 2415873 WITH SCORE 2420509.662
AT ITER 7946 NEW BEST:: SOT 19658613 SOS 4636582 HAS SOPS 4636582 HAS SOUS 2415793 HAS SOUPS 2415793 WITH SCORE 2420429.582
AT ITER 7947 NEW BEST:: SOT 19658600 SOS 4636569 HAS SOPS 4636569 HAS SOUS 2415780 HAS SOUPS 2415780 WITH SCORE 2420416.569
AT ITER 7958 NEW BEST:: SOT 19658554 SOS 4636477 HAS SOPS 4636477 HAS SOUS 2415688 HAS SOUPS 2415688 WITH SCORE 2420324.477
AT ITER 7962 NEW BEST:: SOT 19658356 SOS 4636279 HAS SOPS 4636279 HAS SOUS 2415490 HAS SOUPS 2415490 WITH SCORE 2420126.279
AT ITER 7969 NEW BEST:: SOT 19658248 SOS 4636063 HAS SOPS 4636063 HAS SOUS 2415274 HAS SOUPS 2415274 WITH SCORE 2419910.063
AT ITER 7972 NEW BEST:: SOT 19657997 SOS 4635561 HAS SOPS 4635561 HAS SOUS 2414737 HAS SOUPS 2414737 WITH SCORE 2419372.561
AT ITER 7988 NEW BEST:: SOT 19658262 SOS 4634489 HAS SOPS 4634489 HAS SOUS 2414645 HAS SOUPS 2414645 WITH SCORE 2419279.489
AT ITER 8021 NEW BEST:: SOT 19658118 SOS 4634201 HAS SOPS 4634201 HAS SOUS 2414411 HAS SOUPS 2414411 WITH SCORE 2419045.201
AT ITER 8024 NEW BEST:: SOT 19658118 SOS 4634191 HAS SOPS 4634191 HAS SOUS 2414327 HAS SOUPS 2414327 WITH SCORE 2418961.191
AT ITER 8067 NEW BEST:: SOT 19655218 SOS 4631199 HAS SOPS 4631199 HAS SOUS 2413435 HAS SOUPS 2413435 WITH SCORE 2418066.199
AT ITER 8079 NEW BEST:: SOT 19655218 SOS 4631198 HAS SOPS 4631198 HAS SOUS 2413434 HAS SOUPS 2413434 WITH SCORE 2418065.198
AT ITER 8161 NEW BEST:: SOT 19655218 SOS 4632862 HAS SOPS 4632862 HAS SOUS 2413432 HAS SOUPS 2413432 WITH SCORE 2418064.862
AT ITER 8164 NEW BEST:: SOT 19655167 SOS 4632889 HAS SOPS 4632889 HAS SOUS 2413431 HAS SOUPS 2413431 WITH SCORE 2418063.889
AT ITER 8181 NEW BEST:: SOT 19655167 SOS 4634217 HAS SOPS 4634217 HAS SOUS 2412986 HAS SOUPS 2412986 WITH SCORE 2417620.217
AT ITER 8186 NEW BEST:: SOT 19654968 SOS 4633996 HAS SOPS 4633996 HAS SOUS 2412787 HAS SOUPS 2412787 WITH SCORE 2417420.996
AT ITER 8212 NEW BEST:: SOT 19654376 SOS 4634090 HAS SOPS 4634090 HAS SOUS 2412195 HAS SOUPS 2412195 WITH SCORE 2416829.09
AT ITER 8232 NEW BEST:: SOT 19654376 SOS 4634080 HAS SOPS 4634080 HAS SOUS 2412062 HAS SOUPS 2412062 WITH SCORE 2416696.08
AT ITER 8237 NEW BEST:: SOT 19653961 SOS 4631738 HAS SOPS 4631738 HAS SOUS 2410854 HAS SOUPS 2410854 WITH SCORE 2415485.738
AT ITER 8245 NEW BEST:: SOT 19653895 SOS 4632476 HAS SOPS 4632476 HAS SOUS 2410817 HAS SOUPS 2410817 WITH SCORE 2415449.476
AT ITER 8259 NEW BEST:: SOT 19653316 SOS 4633514 HAS SOPS 4633514 HAS SOUS 2410238 HAS SOUPS 2410238 WITH SCORE 2414871.514
AT ITER 8278 NEW BEST:: SOT 19653316 SOS 4632778 HAS SOPS 4632778 HAS SOUS 2410238 HAS SOUPS 2410238 WITH SCORE 2414870.778
AT ITER 8283 NEW BEST:: SOT 19653316 SOS 4633144 HAS SOPS 4633144 HAS SOUS 2410076 HAS SOUPS 2410076 WITH SCORE 2414709.144
AT ITER 8284 NEW BEST:: SOT 19653267 SOS 4633095 HAS SOPS 4633095 HAS SOUS 2410027 HAS SOUPS 2410027 WITH SCORE 2414660.095
AT ITER 8288 NEW BEST:: SOT 19652809 SOS 4633766 HAS SOPS 4633766 HAS SOUS 2409569 HAS SOUPS 2409569 WITH SCORE 2414202.766
AT ITER 8289 NEW BEST:: SOT 19652809 SOS 4633766 HAS SOPS 4633766 HAS SOUS 2409181 HAS SOUPS 2409181 WITH SCORE 2413814.766
AT ITER 8301 NEW BEST:: SOT 19652809 SOS 4633840 HAS SOPS 4633840 HAS SOUS 2408988 HAS SOUPS 2408988 WITH SCORE 2413621.84
AT ITER 8329 NEW BEST:: SOT 19652809 SOS 4633800 HAS SOPS 4633800 HAS SOUS 2408948 HAS SOUPS 2408948 WITH SCORE 2413581.8
AT ITER 8333 NEW BEST:: SOT 19652809 SOS 4633800 HAS SOPS 4633800 HAS SOUS 2408923 HAS SOUPS 2408923 WITH SCORE 2413556.8
AT ITER 8341 NEW BEST:: SOT 19652477 SOS 4633302 HAS SOPS 4633302 HAS SOUS 2408425 HAS SOUPS 2408425 WITH SCORE 2413058.302
AT ITER 8364 NEW BEST:: SOT 19652336 SOS 4632873 HAS SOPS 4632873 HAS SOUS 2408137 HAS SOUPS 2408137 WITH SCORE 2412769.873
AT ITER 8383 NEW BEST:: SOT 19652215 SOS 4632631 HAS SOPS 4632631 HAS SOUS 2407983 HAS SOUPS 2407983 WITH SCORE 2412615.631
AT ITER 8399 NEW BEST:: SOT 19650869 SOS 4636537 HAS SOPS 4636537 HAS SOUS 2407768 HAS SOUPS 2407768 WITH SCORE 2412404.537
AT ITER 8459 NEW BEST:: SOT 19649284 SOS 4634465 HAS SOPS 4634465 HAS SOUS 2405385 HAS SOUPS 2405385 WITH SCORE 2410019.465
AT ITER 8482 NEW BEST:: SOT 19648248 SOS 4634499 HAS SOPS 4634499 HAS SOUS 2405314 HAS SOUPS 2405314 WITH SCORE 2409948.499
AT ITER 8547 NEW BEST:: SOT 19648248 SOS 4634499 HAS SOPS 4634499 HAS SOUS 2405308 HAS SOUPS 2405308 WITH SCORE 2409942.499
AT ITER 8565 NEW BEST:: SOT 19648247 SOS 4634497 HAS SOPS 4634497 HAS SOUS 2405306 HAS SOUPS 2405306 WITH SCORE 2409940.497
AT ITER 8571 NEW BEST:: SOT 19648241 SOS 4634503 HAS SOPS 4634503 HAS SOUS 2405300 HAS SOUPS 2405300 WITH SCORE 2409934.503
AT ITER 8587 NEW BEST:: SOT 19648110 SOS 4634241 HAS SOPS 4634241 HAS SOUS 2405038 HAS SOUPS 2405038 WITH SCORE 2409672.241
AT ITER 8609 NEW BEST:: SOT 19648076 SOS 4634173 HAS SOPS 4634173 HAS SOUS 2404970 HAS SOUPS 2404970 WITH SCORE 2409604.173
AT ITER 8618 NEW BEST:: SOT 19648001 SOS 4634157 HAS SOPS 4634157 HAS SOUS 2404954 HAS SOUPS 2404954 WITH SCORE 2409588.157
AT ITER 8620 NEW BEST:: SOT 19647836 SOS 4635302 HAS SOPS 4635302 HAS SOUS 2404623 HAS SOUPS 2404623 WITH SCORE 2409258.302
AT ITER 8639 NEW BEST:: SOT 19647604 SOS 4635060 HAS SOPS 4635060 HAS SOUS 2404622 HAS SOUPS 2404622 WITH SCORE 2409257.06
AT ITER 8655 NEW BEST:: SOT 19647604 SOS 4634176 HAS SOPS 4634176 HAS SOUS 2404495 HAS SOUPS 2404495 WITH SCORE 2409129.176
AT ITER 8665 NEW BEST:: SOT 19646987 SOS 4634336 HAS SOPS 4634336 HAS SOUS 2404054 HAS SOUPS 2404054 WITH SCORE 2408688.336
AT ITER 8666 NEW BEST:: SOT 19646987 SOS 4634503 HAS SOPS 4634503 HAS SOUS 2404053 HAS SOUPS 2404053 WITH SCORE 2408687.503
AT ITER 8683 NEW BEST:: SOT 19646987 SOS 4634989 HAS SOPS 4634989 HAS SOUS 2404052 HAS SOUPS 2404052 WITH SCORE 2408686.989
AT ITER 8761 NEW BEST:: SOT 19647145 SOS 4636282 HAS SOPS 4636282 HAS SOUS 2403736 HAS SOUPS 2403736 WITH SCORE 2408372.282
AT ITER 8777 NEW BEST:: SOT 19647091 SOS 4636174 HAS SOPS 4636174 HAS SOUS 2403680 HAS SOUPS 2403680 WITH SCORE 2408316.174
AT ITER 8798 NEW BEST:: SOT 19647247 SOS 4636486 HAS SOPS 4636486 HAS SOUS 2403227 HAS SOUPS 2403227 WITH SCORE 2407863.486
AT ITER 8806 NEW BEST:: SOT 19647181 SOS 4636354 HAS SOPS 4636354 HAS SOUS 2403095 HAS SOUPS 2403095 WITH SCORE 2407731.354
AT ITER 8807 NEW BEST:: SOT 19647180 SOS 4636352 HAS SOPS 4636352 HAS SOUS 2403093 HAS SOUPS 2403093 WITH SCORE 2407729.352
AT ITER 8872 NEW BEST:: SOT 19647180 SOS 4637030 HAS SOPS 4637030 HAS SOUS 2403092 HAS SOUPS 2403092 WITH SCORE 2407729.03
AT ITER 8880 NEW BEST:: SOT 19647185 SOS 4637389 HAS SOPS 4637389 HAS SOUS 2403073 HAS SOUPS 2403073 WITH SCORE 2407710.389
AT ITER 8906 NEW BEST:: SOT 19647078 SOS 4637175 HAS SOPS 4637175 HAS SOUS 2402859 HAS SOUPS 2402859 WITH SCORE 2407496.175
AT ITER 8927 NEW BEST:: SOT 19646686 SOS 4637172 HAS SOPS 4637172 HAS SOUS 2402856 HAS SOUPS 2402856 WITH SCORE 2407493.172
AT ITER 8974 NEW BEST:: SOT 19646636 SOS 4637068 HAS SOPS 4637068 HAS SOUS 2402755 HAS SOUPS 2402755 WITH SCORE 2407392.068
AT ITER 8989 NEW BEST:: SOT 19646615 SOS 4639070 HAS SOPS 4639070 HAS SOUS 2402734 HAS SOUPS 2402734 WITH SCORE 2407373.07
AT ITER 8992 NEW BEST:: SOT 19646615 SOS 4639407 HAS SOPS 4639407 HAS SOUS 2402733 HAS SOUPS 2402733 WITH SCORE 2407372.407
AT ITER 9007 NEW BEST:: SOT 19646470 SOS 4640422 HAS SOPS 4640422 HAS SOUS 2402588 HAS SOUPS 2402588 WITH SCORE 2407228.422
AT ITER 9026 NEW BEST:: SOT 19646586 SOS 4640537 HAS SOPS 4640537 HAS SOUS 2402587 HAS SOUPS 2402587 WITH SCORE 2407227.537
AT ITER 9063 NEW BEST:: SOT 19646618 SOS 4640505 HAS SOPS 4640505 HAS SOUS 2402587 HAS SOUPS 2402587 WITH SCORE 2407227.505
AT ITER 9087 NEW BEST:: SOT 19646536 SOS 4640464 HAS SOPS 4640464 HAS SOUS 2402546 HAS SOUPS 2402546 WITH SCORE 2407186.464
AT ITER 9096 NEW BEST:: SOT 19646535 SOS 4640462 HAS SOPS 4640462 HAS SOUS 2402544 HAS SOUPS 2402544 WITH SCORE 2407184.462
AT ITER 9113 NEW BEST:: SOT 19646141 SOS 4639674 HAS SOPS 4639674 HAS SOUS 2401756 HAS SOUPS 2401756 WITH SCORE 2406395.674
AT ITER 9128 NEW BEST:: SOT 19646141 SOS 4639564 HAS SOPS 4639564 HAS SOUS 2401755 HAS SOUPS 2401755 WITH SCORE 2406394.564
AT ITER 9137 NEW BEST:: SOT 19646095 SOS 4640280 HAS SOPS 4640280 HAS SOUS 2401709 HAS SOUPS 2401709 WITH SCORE 2406349.28
AT ITER 9145 NEW BEST:: SOT 19646157 SOS 4640218 HAS SOPS 4640218 HAS SOUS 2401709 HAS SOUPS 2401709 WITH SCORE 2406349.218
AT ITER 9159 NEW BEST:: SOT 19645827 SOS 4638205 HAS SOPS 4638205 HAS SOUS 2401049 HAS SOUPS 2401049 WITH SCORE 2405687.205
AT ITER 9183 NEW BEST:: SOT 19645465 SOS 4637625 HAS SOPS 4637625 HAS SOUS 2400991 HAS SOUPS 2400991 WITH SCORE 2405628.625
AT ITER 9193 NEW BEST:: SOT 19645465 SOS 4639329 HAS SOPS 4639329 HAS SOUS 2400949 HAS SOUPS 2400949 WITH SCORE 2405588.329
AT ITER 9199 NEW BEST:: SOT 19645465 SOS 4640039 HAS SOPS 4640039 HAS SOUS 2400948 HAS SOUPS 2400948 WITH SCORE 2405588.039
AT ITER 9211 NEW BEST:: SOT 19644957 SOS 4641161 HAS SOPS 4641161 HAS SOUS 2400934 HAS SOUPS 2400934 WITH SCORE 2405575.161
AT ITER 9225 NEW BEST:: SOT 19644957 SOS 4641161 HAS SOPS 4641161 HAS SOUS 2400933 HAS SOUPS 2400933 WITH SCORE 2405574.161
AT ITER 9229 NEW BEST:: SOT 19644029 SOS 4640229 HAS SOPS 4640229 HAS SOUS 2400004 HAS SOUPS 2400004 WITH SCORE 2404644.229
AT ITER 9234 NEW BEST:: SOT 19643489 SOS 4640605 HAS SOPS 4640605 HAS SOUS 2398857 HAS SOUPS 2398857 WITH SCORE 2403497.605
AT ITER 9302 NEW BEST:: SOT 19643489 SOS 4640604 HAS SOPS 4640604 HAS SOUS 2398426 HAS SOUPS 2398426 WITH SCORE 2403066.604
AT ITER 9306 NEW BEST:: SOT 19643145 SOS 4640585 HAS SOPS 4640585 HAS SOUS 2397961 HAS SOUPS 2397961 WITH SCORE 2402601.585
AT ITER 9308 NEW BEST:: SOT 19643104 SOS 4640339 HAS SOPS 4640339 HAS SOUS 2397838 HAS SOUPS 2397838 WITH SCORE 2402478.339
AT ITER 9384 NEW BEST:: SOT 19642893 SOS 4635141 HAS SOPS 4635141 HAS SOUS 2397627 HAS SOUPS 2397627 WITH SCORE 2402262.141
AT ITER 9388 NEW BEST:: SOT 19642778 SOS 4635121 HAS SOPS 4635121 HAS SOUS 2397536 HAS SOUPS 2397536 WITH SCORE 2402171.121
AT ITER 9407 NEW BEST:: SOT 19642317 SOS 4634660 HAS SOPS 4634660 HAS SOUS 2397075 HAS SOUPS 2397075 WITH SCORE 2401709.66
AT ITER 9412 NEW BEST:: SOT 19642314 SOS 4636867 HAS SOPS 4636867 HAS SOUS 2397068 HAS SOUPS 2397068 WITH SCORE 2401704.867
AT ITER 9423 NEW BEST:: SOT 19642168 SOS 4636721 HAS SOPS 4636721 HAS SOUS 2397038 HAS SOUPS 2397038 WITH SCORE 2401674.721
AT ITER 9436 NEW BEST:: SOT 19642168 SOS 4636255 HAS SOPS 4636255 HAS SOUS 2396801 HAS SOUPS 2396801 WITH SCORE 2401437.255
AT ITER 9444 NEW BEST:: SOT 19641836 SOS 4637089 HAS SOPS 4637089 HAS SOUS 2396716 HAS SOUPS 2396716 WITH SCORE 2401353.089
AT ITER 9471 NEW BEST:: SOT 19641835 SOS 4637087 HAS SOPS 4637087 HAS SOUS 2396714 HAS SOUPS 2396714 WITH SCORE 2401351.087
AT ITER 9474 NEW BEST:: SOT 19641705 SOS 4637111 HAS SOPS 4637111 HAS SOUS 2396663 HAS SOUPS 2396663 WITH SCORE 2401300.111
AT ITER 9487 NEW BEST:: SOT 19641364 SOS 4636429 HAS SOPS 4636429 HAS SOUS 2395981 HAS SOUPS 2395981 WITH SCORE 2400617.429
AT ITER 9492 NEW BEST:: SOT 19641364 SOS 4637203 HAS SOPS 4637203 HAS SOUS 2395980 HAS SOUPS 2395980 WITH SCORE 2400617.203
AT ITER 9493 NEW BEST:: SOT 19641292 SOS 4637059 HAS SOPS 4637059 HAS SOUS 2395836 HAS SOUPS 2395836 WITH SCORE 2400473.059
AT ITER 9502 NEW BEST:: SOT 19640579 SOS 4635633 HAS SOPS 4635633 HAS SOUS 2394410 HAS SOUPS 2394410 WITH SCORE 2399045.633
AT ITER 9503 NEW BEST:: SOT 19640528 SOS 4635531 HAS SOPS 4635531 HAS SOUS 2394308 HAS SOUPS 2394308 WITH SCORE 2398943.531
AT ITER 9505 NEW BEST:: SOT 19640416 SOS 4635195 HAS SOPS 4635195 HAS SOUS 2393972 HAS SOUPS 2393972 WITH SCORE 2398607.195
AT ITER 9509 NEW BEST:: SOT 19640549 SOS 4638656 HAS SOPS 4638656 HAS SOUS 2393883 HAS SOUPS 2393883 WITH SCORE 2398521.656
AT ITER 9511 NEW BEST:: SOT 19640154 SOS 4638261 HAS SOPS 4638261 HAS SOUS 2393484 HAS SOUPS 2393484 WITH SCORE 2398122.261
AT ITER 9556 NEW BEST:: SOT 19639612 SOS 4638251 HAS SOPS 4638251 HAS SOUS 2393058 HAS SOUPS 2393058 WITH SCORE 2397696.251
AT ITER 9567 NEW BEST:: SOT 19640361 SOS 4637259 HAS SOPS 4637259 HAS SOUS 2392562 HAS SOUPS 2392562 WITH SCORE 2397199.259
AT ITER 9575 NEW BEST:: SOT 19640396 SOS 4637189 HAS SOPS 4637189 HAS SOUS 2392562 HAS SOUPS 2392562 WITH SCORE 2397199.189
AT ITER 9591 NEW BEST:: SOT 19640276 SOS 4635869 HAS SOPS 4635869 HAS SOUS 2392322 HAS SOUPS 2392322 WITH SCORE 2396957.869
AT ITER 9601 NEW BEST:: SOT 19640276 SOS 4636650 HAS SOPS 4636650 HAS SOUS 2391929 HAS SOUPS 2391929 WITH SCORE 2396565.65
AT ITER 9615 NEW BEST:: SOT 19640554 SOS 4635784 HAS SOPS 4635784 HAS SOUS 2391733 HAS SOUPS 2391733 WITH SCORE 2396368.784
AT ITER 9633 NEW BEST:: SOT 19640554 SOS 4636431 HAS SOPS 4636431 HAS SOUS 2391659 HAS SOUPS 2391659 WITH SCORE 2396295.431
AT ITER 9637 NEW BEST:: SOT 19640402 SOS 4637495 HAS SOPS 4637495 HAS SOUS 2391507 HAS SOUPS 2391507 WITH SCORE 2396144.495
AT ITER 9668 NEW BEST:: SOT 19640368 SOS 4638377 HAS SOPS 4638377 HAS SOUS 2391438 HAS SOUPS 2391438 WITH SCORE 2396076.377
AT ITER 9674 NEW BEST:: SOT 19639926 SOS 4637925 HAS SOPS 4637925 HAS SOUS 2391437 HAS SOUPS 2391437 WITH SCORE 2396074.925
AT ITER 9681 NEW BEST:: SOT 19639973 SOS 4637469 HAS SOPS 4637469 HAS SOUS 2391322 HAS SOUPS 2391322 WITH SCORE 2395959.469
AT ITER 9687 NEW BEST:: SOT 19640116 SOS 4639260 HAS SOPS 4639260 HAS SOUS 2390961 HAS SOUPS 2390961 WITH SCORE 2395600.26
AT ITER 9689 NEW BEST:: SOT 19640116 SOS 4639236 HAS SOPS 4639236 HAS SOUS 2390937 HAS SOUPS 2390937 WITH SCORE 2395576.236
AT ITER 9691 NEW BEST:: SOT 19640116 SOS 4638381 HAS SOPS 4638381 HAS SOUS 2390652 HAS SOUPS 2390652 WITH SCORE 2395290.381
AT ITER 9699 NEW BEST:: SOT 19640076 SOS 4638302 HAS SOPS 4638302 HAS SOUS 2390573 HAS SOUPS 2390573 WITH SCORE 2395211.302
AT ITER 9719 NEW BEST:: SOT 19640107 SOS 4638192 HAS SOPS 4638192 HAS SOUS 2390531 HAS SOUPS 2390531 WITH SCORE 2395169.192
AT ITER 9733 NEW BEST:: SOT 19640039 SOS 4638736 HAS SOPS 4638736 HAS SOUS 2390463 HAS SOUPS 2390463 WITH SCORE 2395101.736
AT ITER 9764 NEW BEST:: SOT 19640039 SOS 4636432 HAS SOPS 4636432 HAS SOUS 2390199 HAS SOUPS 2390199 WITH SCORE 2394835.432
AT ITER 9774 NEW BEST:: SOT 19640151 SOS 4636656 HAS SOPS 4636656 HAS SOUS 2390027 HAS SOUPS 2390027 WITH SCORE 2394663.656
AT ITER 9782 NEW BEST:: SOT 19640093 SOS 4636540 HAS SOPS 4636540 HAS SOUS 2389831 HAS SOUPS 2389831 WITH SCORE 2394467.54
AT ITER 9784 NEW BEST:: SOT 19639929 SOS 4635486 HAS SOPS 4635486 HAS SOUS 2389425 HAS SOUPS 2389425 WITH SCORE 2394060.486
AT ITER 9798 NEW BEST:: SOT 19640024 SOS 4637793 HAS SOPS 4637793 HAS SOUS 2388554 HAS SOUPS 2388554 WITH SCORE 2393191.793
AT ITER 9800 NEW BEST:: SOT 19640018 SOS 4637781 HAS SOPS 4637781 HAS SOUS 2388542 HAS SOUPS 2388542 WITH SCORE 2393179.781
AT ITER 9829 NEW BEST:: SOT 19640018 SOS 4637561 HAS SOPS 4637561 HAS SOUS 2388542 HAS SOUPS 2388542 WITH SCORE 2393179.561
AT ITER 9831 NEW BEST:: SOT 19639551 SOS 4637905 HAS SOPS 4637905 HAS SOUS 2388397 HAS SOUPS 2388397 WITH SCORE 2393034.905
AT ITER 9832 NEW BEST:: SOT 19638617 SOS 4638305 HAS SOPS 4638305 HAS SOUS 2388130 HAS SOUPS 2388130 WITH SCORE 2392768.305
AT ITER 9877 NEW BEST:: SOT 19638241 SOS 4637553 HAS SOPS 4637553 HAS SOUS 2387754 HAS SOUPS 2387754 WITH SCORE 2392391.553
AT ITER 9891 NEW BEST:: SOT 19637994 SOS 4637445 HAS SOPS 4637445 HAS SOUS 2387646 HAS SOUPS 2387646 WITH SCORE 2392283.445
AT ITER 9919 NEW BEST:: SOT 19637976 SOS 4637427 HAS SOPS 4637427 HAS SOUS 2387628 HAS SOUPS 2387628 WITH SCORE 2392265.427
AT ITER 9932 NEW BEST:: SOT 19637976 SOS 4639793 HAS SOPS 4639793 HAS SOUS 2387363 HAS SOUPS 2387363 WITH SCORE 2392002.793
AT ITER 9934 NEW BEST:: SOT 19637976 SOS 4640346 HAS SOPS 4640346 HAS SOUS 2387362 HAS SOUPS 2387362 WITH SCORE 2392002.346
AT ITER 9942 NEW BEST:: SOT 19637468 SOS 4638822 HAS SOPS 4638822 HAS SOUS 2386444 HAS SOUPS 2386444 WITH SCORE 2391082.822
AT ITER 9968 NEW BEST:: SOT 19637468 SOS 4639039 HAS SOPS 4639039 HAS SOUS 2385950 HAS SOUPS 2385950 WITH SCORE 2390589.039
AT ITER 9987 NEW BEST:: SOT 19637827 SOS 4644272 HAS SOPS 4644272 HAS SOUS 2385790 HAS SOUPS 2385790 WITH SCORE 2390434.272
AT ITER 9991 NEW BEST:: SOT 19637810 SOS 4644068 HAS SOPS 4644068 HAS SOUS 2385756 HAS SOUPS 2385756 WITH SCORE 2390400.068
AT ITER 9997 NEW BEST:: SOT 19637697 SOS 4640432 HAS SOPS 4640432 HAS SOUS 2385302 HAS SOUPS 2385302 WITH SCORE 2389942.432
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15062700 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16150020 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is DLCround-PT-11b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814472800760"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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