fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r048-ebro-158902542400592
Last Updated
Jun 28, 2020

About the Execution of smart for DLCround-PT-11b

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

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542400592.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-4028
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 r048-ebro-158902542400592
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 3.9K Mar 30 20:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 20:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 29 10:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 29 10:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 28 06:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 28 06:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 27 00:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 27 00:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.7M Mar 24 05:37 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 1590869272337

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 11b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 41 NEW BEST:: SOT 19785203 SOS 4760273 HAS SOPS 4760273 HAS SOUS 2591497 HAS SOUPS 2591497 WITH SCORE 2596257.273
AT ITER 43 NEW BEST:: SOT 19785203 SOS 4760583 HAS SOPS 4760583 HAS SOUS 2591495 HAS SOUPS 2591495 WITH SCORE 2596255.583
AT ITER 51 NEW BEST:: SOT 19785203 SOS 4761679 HAS SOPS 4761679 HAS SOUS 2591037 HAS SOUPS 2591037 WITH SCORE 2595798.679
AT ITER 60 NEW BEST:: SOT 19784957 SOS 4763401 HAS SOPS 4763401 HAS SOUS 2590791 HAS SOUPS 2590791 WITH SCORE 2595554.401
AT ITER 86 NEW BEST:: SOT 19784957 SOS 4765703 HAS SOPS 4765703 HAS SOUS 2590333 HAS SOUPS 2590333 WITH SCORE 2595098.703
AT ITER 139 NEW BEST:: SOT 19784748 SOS 4766320 HAS SOPS 4766320 HAS SOUS 2590124 HAS SOUPS 2590124 WITH SCORE 2594890.32
AT ITER 141 NEW BEST:: SOT 19784435 SOS 4766633 HAS SOPS 4766633 HAS SOUS 2589811 HAS SOUPS 2589811 WITH SCORE 2594577.633
AT ITER 179 NEW BEST:: SOT 19784284 SOS 4766331 HAS SOPS 4766331 HAS SOUS 2589509 HAS SOUPS 2589509 WITH SCORE 2594275.331
AT ITER 196 NEW BEST:: SOT 19784284 SOS 4767669 HAS SOPS 4767669 HAS SOUS 2589281 HAS SOUPS 2589281 WITH SCORE 2594048.669
AT ITER 197 NEW BEST:: SOT 19783857 SOS 4765906 HAS SOPS 4765906 HAS SOUS 2587966 HAS SOUPS 2587966 WITH SCORE 2592731.906
AT ITER 206 NEW BEST:: SOT 19783174 SOS 4765422 HAS SOPS 4765422 HAS SOUS 2587491 HAS SOUPS 2587491 WITH SCORE 2592256.422
AT ITER 210 NEW BEST:: SOT 19782263 SOS 4765946 HAS SOPS 4765946 HAS SOUS 2587423 HAS SOUPS 2587423 WITH SCORE 2592188.946
AT ITER 213 NEW BEST:: SOT 19781641 SOS 4765321 HAS SOPS 4765321 HAS SOUS 2586800 HAS SOUPS 2586800 WITH SCORE 2591565.321
AT ITER 231 NEW BEST:: SOT 19781073 SOS 4765311 HAS SOPS 4765311 HAS SOUS 2586361 HAS SOUPS 2586361 WITH SCORE 2591126.311
AT ITER 235 NEW BEST:: SOT 19780317 SOS 4754232 HAS SOPS 4754232 HAS SOUS 2584849 HAS SOUPS 2584849 WITH SCORE 2589603.232
AT ITER 240 NEW BEST:: SOT 19779174 SOS 4749279 HAS SOPS 4749279 HAS SOUS 2583325 HAS SOUPS 2583325 WITH SCORE 2588074.279
AT ITER 279 NEW BEST:: SOT 19779310 SOS 4751770 HAS SOPS 4751770 HAS SOUS 2582855 HAS SOUPS 2582855 WITH SCORE 2587606.77
AT ITER 295 NEW BEST:: SOT 19779101 SOS 4752594 HAS SOPS 4752594 HAS SOUS 2582646 HAS SOUPS 2582646 WITH SCORE 2587398.594
AT ITER 302 NEW BEST:: SOT 19778454 SOS 4750653 HAS SOPS 4750653 HAS SOUS 2580920 HAS SOUPS 2580920 WITH SCORE 2585670.653
AT ITER 310 NEW BEST:: SOT 19778158 SOS 4749768 HAS SOPS 4749768 HAS SOUS 2580035 HAS SOUPS 2580035 WITH SCORE 2584784.768
AT ITER 315 NEW BEST:: SOT 19777218 SOS 4748824 HAS SOPS 4748824 HAS SOUS 2579094 HAS SOUPS 2579094 WITH SCORE 2583842.824
AT ITER 370 NEW BEST:: SOT 19777218 SOS 4749282 HAS SOPS 4749282 HAS SOUS 2579093 HAS SOUPS 2579093 WITH SCORE 2583842.282
AT ITER 405 NEW BEST:: SOT 19777218 SOS 4749758 HAS SOPS 4749758 HAS SOUS 2579092 HAS SOUPS 2579092 WITH SCORE 2583841.758
AT ITER 428 NEW BEST:: SOT 19777001 SOS 4750248 HAS SOPS 4750248 HAS SOUS 2579004 HAS SOUPS 2579004 WITH SCORE 2583754.248
AT ITER 437 NEW BEST:: SOT 19777230 SOS 4757428 HAS SOPS 4757428 HAS SOUS 2578713 HAS SOUPS 2578713 WITH SCORE 2583470.428
AT ITER 440 NEW BEST:: SOT 19776417 SOS 4757427 HAS SOPS 4757427 HAS SOUS 2578712 HAS SOUPS 2578712 WITH SCORE 2583469.427
AT ITER 451 NEW BEST:: SOT 19776417 SOS 4756257 HAS SOPS 4756257 HAS SOUS 2578711 HAS SOUPS 2578711 WITH SCORE 2583467.257
AT ITER 457 NEW BEST:: SOT 19776390 SOS 4756203 HAS SOPS 4756203 HAS SOUS 2578657 HAS SOUPS 2578657 WITH SCORE 2583413.203
AT ITER 470 NEW BEST:: SOT 19774814 SOS 4757970 HAS SOPS 4757970 HAS SOUS 2578399 HAS SOUPS 2578399 WITH SCORE 2583156.97
AT ITER 471 NEW BEST:: SOT 19774814 SOS 4757970 HAS SOPS 4757970 HAS SOUS 2578395 HAS SOUPS 2578395 WITH SCORE 2583152.97
AT ITER 513 NEW BEST:: SOT 19772786 SOS 4758324 HAS SOPS 4758324 HAS SOUS 2576985 HAS SOUPS 2576985 WITH SCORE 2581743.324
AT ITER 536 NEW BEST:: SOT 19772071 SOS 4757772 HAS SOPS 4757772 HAS SOUS 2576352 HAS SOUPS 2576352 WITH SCORE 2581109.772
AT ITER 558 NEW BEST:: SOT 19770681 SOS 4756406 HAS SOPS 4756406 HAS SOUS 2574962 HAS SOUPS 2574962 WITH SCORE 2579718.406
AT ITER 576 NEW BEST:: SOT 19770680 SOS 4756404 HAS SOPS 4756404 HAS SOUS 2574960 HAS SOUPS 2574960 WITH SCORE 2579716.404
AT ITER 579 NEW BEST:: SOT 19770220 SOS 4756136 HAS SOPS 4756136 HAS SOUS 2574692 HAS SOUPS 2574692 WITH SCORE 2579448.136
AT ITER 588 NEW BEST:: SOT 19769712 SOS 4755120 HAS SOPS 4755120 HAS SOUS 2574183 HAS SOUPS 2574183 WITH SCORE 2578938.12
AT ITER 600 NEW BEST:: SOT 19769781 SOS 4754040 HAS SOPS 4754040 HAS SOUS 2573880 HAS SOUPS 2573880 WITH SCORE 2578634.04
AT ITER 678 NEW BEST:: SOT 19769851 SOS 4754180 HAS SOPS 4754180 HAS SOUS 2573816 HAS SOUPS 2573816 WITH SCORE 2578570.18
AT ITER 690 NEW BEST:: SOT 19770278 SOS 4752736 HAS SOPS 4752736 HAS SOUS 2573690 HAS SOUPS 2573690 WITH SCORE 2578442.736
AT ITER 697 NEW BEST:: SOT 19769702 SOS 4747552 HAS SOPS 4747552 HAS SOUS 2572875 HAS SOUPS 2572875 WITH SCORE 2577622.552
AT ITER 704 NEW BEST:: SOT 19769702 SOS 4747447 HAS SOPS 4747447 HAS SOUS 2572770 HAS SOUPS 2572770 WITH SCORE 2577517.447
AT ITER 715 NEW BEST:: SOT 19769096 SOS 4748043 HAS SOPS 4748043 HAS SOUS 2572559 HAS SOUPS 2572559 WITH SCORE 2577307.043
AT ITER 721 NEW BEST:: SOT 19769653 SOS 4746037 HAS SOPS 4746037 HAS SOUS 2571655 HAS SOUPS 2571655 WITH SCORE 2576401.037
AT ITER 727 NEW BEST:: SOT 19768383 SOS 4744767 HAS SOPS 4744767 HAS SOUS 2570385 HAS SOUPS 2570385 WITH SCORE 2575129.767
AT ITER 730 NEW BEST:: SOT 19768228 SOS 4744447 HAS SOPS 4744447 HAS SOUS 2569650 HAS SOUPS 2569650 WITH SCORE 2574394.447
AT ITER 733 NEW BEST:: SOT 19767952 SOS 4743895 HAS SOPS 4743895 HAS SOUS 2569098 HAS SOUPS 2569098 WITH SCORE 2573841.895
AT ITER 737 NEW BEST:: SOT 19767952 SOS 4743885 HAS SOPS 4743885 HAS SOUS 2568639 HAS SOUPS 2568639 WITH SCORE 2573382.885
AT ITER 756 NEW BEST:: SOT 19767952 SOS 4742967 HAS SOPS 4742967 HAS SOUS 2568539 HAS SOUPS 2568539 WITH SCORE 2573281.967
AT ITER 800 NEW BEST:: SOT 19767830 SOS 4743933 HAS SOPS 4743933 HAS SOUS 2568416 HAS SOUPS 2568416 WITH SCORE 2573159.933
AT ITER 817 NEW BEST:: SOT 19766838 SOS 4743163 HAS SOPS 4743163 HAS SOUS 2567646 HAS SOUPS 2567646 WITH SCORE 2572389.163
AT ITER 825 NEW BEST:: SOT 19766568 SOS 4743693 HAS SOPS 4743693 HAS SOUS 2567475 HAS SOUPS 2567475 WITH SCORE 2572218.693
AT ITER 838 NEW BEST:: SOT 19766354 SOS 4743048 HAS SOPS 4743048 HAS SOUS 2567046 HAS SOUPS 2567046 WITH SCORE 2571789.048
AT ITER 852 NEW BEST:: SOT 19765118 SOS 4740913 HAS SOPS 4740913 HAS SOUS 2564233 HAS SOUPS 2564233 WITH SCORE 2568973.913
AT ITER 853 NEW BEST:: SOT 19765033 SOS 4740992 HAS SOPS 4740992 HAS SOUS 2564146 HAS SOUPS 2564146 WITH SCORE 2568886.992
AT ITER 857 NEW BEST:: SOT 19764612 SOS 4739308 HAS SOPS 4739308 HAS SOUS 2563724 HAS SOUPS 2563724 WITH SCORE 2568463.308
AT ITER 864 NEW BEST:: SOT 19764612 SOS 4739258 HAS SOPS 4739258 HAS SOUS 2563674 HAS SOUPS 2563674 WITH SCORE 2568413.258
AT ITER 880 NEW BEST:: SOT 19764612 SOS 4739548 HAS SOPS 4739548 HAS SOUS 2563672 HAS SOUPS 2563672 WITH SCORE 2568411.548
AT ITER 901 NEW BEST:: SOT 19764405 SOS 4739751 HAS SOPS 4739751 HAS SOUS 2563464 HAS SOUPS 2563464 WITH SCORE 2568203.751
AT ITER 911 NEW BEST:: SOT 19764405 SOS 4739751 HAS SOPS 4739751 HAS SOUS 2563463 HAS SOUPS 2563463 WITH SCORE 2568202.751
AT ITER 922 NEW BEST:: SOT 19763779 SOS 4741025 HAS SOPS 4741025 HAS SOUS 2563434 HAS SOUPS 2563434 WITH SCORE 2568175.025
AT ITER 937 NEW BEST:: SOT 19763779 SOS 4740425 HAS SOPS 4740425 HAS SOUS 2563434 HAS SOUPS 2563434 WITH SCORE 2568174.425
AT ITER 940 NEW BEST:: SOT 19763761 SOS 4740407 HAS SOPS 4740407 HAS SOUS 2563416 HAS SOUPS 2563416 WITH SCORE 2568156.407
AT ITER 951 NEW BEST:: SOT 19763341 SOS 4740401 HAS SOPS 4740401 HAS SOUS 2563410 HAS SOUPS 2563410 WITH SCORE 2568150.401
AT ITER 958 NEW BEST:: SOT 19761559 SOS 4738619 HAS SOPS 4738619 HAS SOUS 2561628 HAS SOUPS 2561628 WITH SCORE 2566366.619
AT ITER 986 NEW BEST:: SOT 19760946 SOS 4738006 HAS SOPS 4738006 HAS SOUS 2561015 HAS SOUPS 2561015 WITH SCORE 2565753.006
AT ITER 1003 NEW BEST:: SOT 19760845 SOS 4738882 HAS SOPS 4738882 HAS SOUS 2560912 HAS SOUPS 2560912 WITH SCORE 2565650.882
AT ITER 1024 NEW BEST:: SOT 19759309 SOS 4736578 HAS SOPS 4736578 HAS SOUS 2558608 HAS SOUPS 2558608 WITH SCORE 2563344.578
AT ITER 1049 NEW BEST:: SOT 19759309 SOS 4735960 HAS SOPS 4735960 HAS SOUS 2558402 HAS SOUPS 2558402 WITH SCORE 2563137.96
AT ITER 1056 NEW BEST:: SOT 19758843 SOS 4735028 HAS SOPS 4735028 HAS SOUS 2557935 HAS SOUPS 2557935 WITH SCORE 2562670.028
AT ITER 1087 NEW BEST:: SOT 19758843 SOS 4733456 HAS SOPS 4733456 HAS SOUS 2557934 HAS SOUPS 2557934 WITH SCORE 2562667.456
AT ITER 1097 NEW BEST:: SOT 19758323 SOS 4739597 HAS SOPS 4739597 HAS SOUS 2556893 HAS SOUPS 2556893 WITH SCORE 2561632.597
AT ITER 1148 NEW BEST:: SOT 19758788 SOS 4739117 HAS SOPS 4739117 HAS SOUS 2556888 HAS SOUPS 2556888 WITH SCORE 2561627.117
AT ITER 1154 NEW BEST:: SOT 19758335 SOS 4738211 HAS SOPS 4738211 HAS SOUS 2555612 HAS SOUPS 2555612 WITH SCORE 2560350.211
AT ITER 1222 NEW BEST:: SOT 19757806 SOS 4738740 HAS SOPS 4738740 HAS SOUS 2554899 HAS SOUPS 2554899 WITH SCORE 2559637.74
AT ITER 1223 NEW BEST:: SOT 19757650 SOS 4739978 HAS SOPS 4739978 HAS SOUS 2554742 HAS SOUPS 2554742 WITH SCORE 2559481.978
AT ITER 1251 NEW BEST:: SOT 19757433 SOS 4739868 HAS SOPS 4739868 HAS SOUS 2554632 HAS SOUPS 2554632 WITH SCORE 2559371.868
AT ITER 1271 NEW BEST:: SOT 19757433 SOS 4739868 HAS SOPS 4739868 HAS SOUS 2554631 HAS SOUPS 2554631 WITH SCORE 2559370.868
AT ITER 1275 NEW BEST:: SOT 19756327 SOS 4739315 HAS SOPS 4739315 HAS SOUS 2554078 HAS SOUPS 2554078 WITH SCORE 2558817.315
AT ITER 1289 NEW BEST:: SOT 19756284 SOS 4739225 HAS SOPS 4739225 HAS SOUS 2553991 HAS SOUPS 2553991 WITH SCORE 2558730.225
AT ITER 1332 NEW BEST:: SOT 19755068 SOS 4738009 HAS SOPS 4738009 HAS SOUS 2552775 HAS SOUPS 2552775 WITH SCORE 2557513.009
AT ITER 1334 NEW BEST:: SOT 19755032 SOS 4737973 HAS SOPS 4737973 HAS SOUS 2552739 HAS SOUPS 2552739 WITH SCORE 2557476.973
AT ITER 1340 NEW BEST:: SOT 19754658 SOS 4737969 HAS SOPS 4737969 HAS SOUS 2552490 HAS SOUPS 2552490 WITH SCORE 2557227.969
AT ITER 1358 NEW BEST:: SOT 19754658 SOS 4738422 HAS SOPS 4738422 HAS SOUS 2552488 HAS SOUPS 2552488 WITH SCORE 2557226.422
AT ITER 1362 NEW BEST:: SOT 19754473 SOS 4738120 HAS SOPS 4738120 HAS SOUS 2552186 HAS SOUPS 2552186 WITH SCORE 2556924.12
AT ITER 1408 NEW BEST:: SOT 19754115 SOS 4743977 HAS SOPS 4743977 HAS SOUS 2551828 HAS SOUPS 2551828 WITH SCORE 2556571.977
AT ITER 1415 NEW BEST:: SOT 19753958 SOS 4743974 HAS SOPS 4743974 HAS SOUS 2551827 HAS SOUPS 2551827 WITH SCORE 2556570.974
AT ITER 1433 NEW BEST:: SOT 19753464 SOS 4743723 HAS SOPS 4743723 HAS SOUS 2551579 HAS SOUPS 2551579 WITH SCORE 2556322.723
AT ITER 1461 NEW BEST:: SOT 19753464 SOS 4743499 HAS SOPS 4743499 HAS SOUS 2551355 HAS SOUPS 2551355 WITH SCORE 2556098.499
AT ITER 1474 NEW BEST:: SOT 19752815 SOS 4740997 HAS SOPS 4740997 HAS SOUS 2550150 HAS SOUPS 2550150 WITH SCORE 2554890.997
AT ITER 1479 NEW BEST:: SOT 19752770 SOS 4740907 HAS SOPS 4740907 HAS SOUS 2550060 HAS SOUPS 2550060 WITH SCORE 2554800.907
AT ITER 1486 NEW BEST:: SOT 19751712 SOS 4739849 HAS SOPS 4739849 HAS SOUS 2549002 HAS SOUPS 2549002 WITH SCORE 2553741.849
AT ITER 1501 NEW BEST:: SOT 19750929 SOS 4739066 HAS SOPS 4739066 HAS SOUS 2548219 HAS SOUPS 2548219 WITH SCORE 2552958.066
AT ITER 1514 NEW BEST:: SOT 19750251 SOS 4738586 HAS SOPS 4738586 HAS SOUS 2547618 HAS SOUPS 2547618 WITH SCORE 2552356.586
AT ITER 1603 NEW BEST:: SOT 19751873 SOS 4730134 HAS SOPS 4730134 HAS SOUS 2546560 HAS SOUPS 2546560 WITH SCORE 2551290.134
AT ITER 1608 NEW BEST:: SOT 19751346 SOS 4730470 HAS SOPS 4730470 HAS SOUS 2545750 HAS SOUPS 2545750 WITH SCORE 2550480.47
AT ITER 1646 NEW BEST:: SOT 19750448 SOS 4729664 HAS SOPS 4729664 HAS SOUS 2544944 HAS SOUPS 2544944 WITH SCORE 2549673.664
AT ITER 1687 NEW BEST:: SOT 19749449 SOS 4727666 HAS SOPS 4727666 HAS SOUS 2542489 HAS SOUPS 2542489 WITH SCORE 2547216.666
AT ITER 1704 NEW BEST:: SOT 19748836 SOS 4727432 HAS SOPS 4727432 HAS SOUS 2541876 HAS SOUPS 2541876 WITH SCORE 2546603.432
AT ITER 1713 NEW BEST:: SOT 19748406 SOS 4726572 HAS SOPS 4726572 HAS SOUS 2541446 HAS SOUPS 2541446 WITH SCORE 2546172.572
AT ITER 1745 NEW BEST:: SOT 19748224 SOS 4726569 HAS SOPS 4726569 HAS SOUS 2541445 HAS SOUPS 2541445 WITH SCORE 2546171.569
AT ITER 1747 NEW BEST:: SOT 19747559 SOS 4726039 HAS SOPS 4726039 HAS SOUS 2540924 HAS SOUPS 2540924 WITH SCORE 2545650.039
AT ITER 1752 NEW BEST:: SOT 19746898 SOS 4725378 HAS SOPS 4725378 HAS SOUS 2540263 HAS SOUPS 2540263 WITH SCORE 2544988.378
AT ITER 1769 NEW BEST:: SOT 19746777 SOS 4725257 HAS SOPS 4725257 HAS SOUS 2540142 HAS SOUPS 2540142 WITH SCORE 2544867.257
AT ITER 1783 NEW BEST:: SOT 19746798 SOS 4725299 HAS SOPS 4725299 HAS SOUS 2539976 HAS SOUPS 2539976 WITH SCORE 2544701.299
AT ITER 1801 NEW BEST:: SOT 19746798 SOS 4725638 HAS SOPS 4725638 HAS SOUS 2539975 HAS SOUPS 2539975 WITH SCORE 2544700.638
AT ITER 1803 NEW BEST:: SOT 19746798 SOS 4725359 HAS SOPS 4725359 HAS SOUS 2539975 HAS SOUPS 2539975 WITH SCORE 2544700.359
AT ITER 1821 NEW BEST:: SOT 19744184 SOS 4735728 HAS SOPS 4735728 HAS SOUS 2539364 HAS SOUPS 2539364 WITH SCORE 2544099.728
AT ITER 1830 NEW BEST:: SOT 19743940 SOS 4734996 HAS SOPS 4734996 HAS SOUS 2538876 HAS SOUPS 2538876 WITH SCORE 2543610.996
AT ITER 1839 NEW BEST:: SOT 19743644 SOS 4735289 HAS SOPS 4735289 HAS SOUS 2538579 HAS SOUPS 2538579 WITH SCORE 2543314.289
AT ITER 1850 NEW BEST:: SOT 19743488 SOS 4734977 HAS SOPS 4734977 HAS SOUS 2538267 HAS SOUPS 2538267 WITH SCORE 2543001.977
AT ITER 1880 NEW BEST:: SOT 19743474 SOS 4734949 HAS SOPS 4734949 HAS SOUS 2538239 HAS SOUPS 2538239 WITH SCORE 2542973.949
AT ITER 1888 NEW BEST:: SOT 19743174 SOS 4735218 HAS SOPS 4735218 HAS SOUS 2538099 HAS SOUPS 2538099 WITH SCORE 2542834.218
AT ITER 1897 NEW BEST:: SOT 19742463 SOS 4735930 HAS SOPS 4735930 HAS SOUS 2537238 HAS SOUPS 2537238 WITH SCORE 2541973.93
AT ITER 1919 NEW BEST:: SOT 19741780 SOS 4740711 HAS SOPS 4740711 HAS SOUS 2536465 HAS SOUPS 2536465 WITH SCORE 2541205.711
AT ITER 1934 NEW BEST:: SOT 19741253 SOS 4739657 HAS SOPS 4739657 HAS SOUS 2535938 HAS SOUPS 2535938 WITH SCORE 2540677.657
AT ITER 2004 NEW BEST:: SOT 19740775 SOS 4739657 HAS SOPS 4739657 HAS SOUS 2535016 HAS SOUPS 2535016 WITH SCORE 2539755.657
AT ITER 2043 NEW BEST:: SOT 19740742 SOS 4739888 HAS SOPS 4739888 HAS SOUS 2534983 HAS SOUPS 2534983 WITH SCORE 2539722.888
AT ITER 2064 NEW BEST:: SOT 19740742 SOS 4739888 HAS SOPS 4739888 HAS SOUS 2534960 HAS SOUPS 2534960 WITH SCORE 2539699.888
AT ITER 2071 NEW BEST:: SOT 19738694 SOS 4740790 HAS SOPS 4740790 HAS SOUS 2534430 HAS SOUPS 2534430 WITH SCORE 2539170.79
AT ITER 2086 NEW BEST:: SOT 19735854 SOS 4737666 HAS SOPS 4737666 HAS SOUS 2532767 HAS SOUPS 2532767 WITH SCORE 2537504.666
AT ITER 2128 NEW BEST:: SOT 19736232 SOS 4741394 HAS SOPS 4741394 HAS SOUS 2532530 HAS SOUPS 2532530 WITH SCORE 2537271.394
AT ITER 2164 NEW BEST:: SOT 19736232 SOS 4741501 HAS SOPS 4741501 HAS SOUS 2532529 HAS SOUPS 2532529 WITH SCORE 2537270.501
AT ITER 2167 NEW BEST:: SOT 19736159 SOS 4741355 HAS SOPS 4741355 HAS SOUS 2532383 HAS SOUPS 2532383 WITH SCORE 2537124.355
AT ITER 2193 NEW BEST:: SOT 19736159 SOS 4742097 HAS SOPS 4742097 HAS SOUS 2532381 HAS SOUPS 2532381 WITH SCORE 2537123.097
AT ITER 2202 NEW BEST:: SOT 19735400 SOS 4741416 HAS SOPS 4741416 HAS SOUS 2531653 HAS SOUPS 2531653 WITH SCORE 2536394.416
AT ITER 2209 NEW BEST:: SOT 19735307 SOS 4741499 HAS SOPS 4741499 HAS SOUS 2531652 HAS SOUPS 2531652 WITH SCORE 2536393.499
AT ITER 2213 NEW BEST:: SOT 19734471 SOS 4741606 HAS SOPS 4741606 HAS SOUS 2531295 HAS SOUPS 2531295 WITH SCORE 2536036.606
AT ITER 2223 NEW BEST:: SOT 19734451 SOS 4741586 HAS SOPS 4741586 HAS SOUS 2531275 HAS SOUPS 2531275 WITH SCORE 2536016.586
AT ITER 2238 NEW BEST:: SOT 19733932 SOS 4741586 HAS SOPS 4741586 HAS SOUS 2530756 HAS SOUPS 2530756 WITH SCORE 2535497.586
AT ITER 2241 NEW BEST:: SOT 19730809 SOS 4739772 HAS SOPS 4739772 HAS SOUS 2527850 HAS SOUPS 2527850 WITH SCORE 2532589.772
AT ITER 2245 NEW BEST:: SOT 19730976 SOS 4736408 HAS SOPS 4736408 HAS SOUS 2527597 HAS SOUPS 2527597 WITH SCORE 2532333.408
AT ITER 2273 NEW BEST:: SOT 19731289 SOS 4737034 HAS SOPS 4737034 HAS SOUS 2527206 HAS SOUPS 2527206 WITH SCORE 2531943.034
AT ITER 2283 NEW BEST:: SOT 19731628 SOS 4735555 HAS SOPS 4735555 HAS SOUS 2526995 HAS SOUPS 2526995 WITH SCORE 2531730.555
AT ITER 2323 NEW BEST:: SOT 19731351 SOS 4739959 HAS SOPS 4739959 HAS SOUS 2526764 HAS SOUPS 2526764 WITH SCORE 2531503.959
AT ITER 2349 NEW BEST:: SOT 19731351 SOS 4739422 HAS SOPS 4739422 HAS SOUS 2526585 HAS SOUPS 2526585 WITH SCORE 2531324.422
AT ITER 2384 NEW BEST:: SOT 19730986 SOS 4739426 HAS SOPS 4739426 HAS SOUS 2526220 HAS SOUPS 2526220 WITH SCORE 2530959.426
AT ITER 2391 NEW BEST:: SOT 19730986 SOS 4739878 HAS SOPS 4739878 HAS SOUS 2526219 HAS SOUPS 2526219 WITH SCORE 2530958.878
AT ITER 2432 NEW BEST:: SOT 19730017 SOS 4738927 HAS SOPS 4738927 HAS SOUS 2525250 HAS SOUPS 2525250 WITH SCORE 2529988.927
AT ITER 2436 NEW BEST:: SOT 19729483 SOS 4739711 HAS SOPS 4739711 HAS SOUS 2524914 HAS SOUPS 2524914 WITH SCORE 2529653.711
AT ITER 2446 NEW BEST:: SOT 19728780 SOS 4739008 HAS SOPS 4739008 HAS SOUS 2524211 HAS SOUPS 2524211 WITH SCORE 2528950.008
AT ITER 2470 NEW BEST:: SOT 19728780 SOS 4739008 HAS SOPS 4739008 HAS SOUS 2523954 HAS SOUPS 2523954 WITH SCORE 2528693.008
AT ITER 2472 NEW BEST:: SOT 19728780 SOS 4739008 HAS SOPS 4739008 HAS SOUS 2523918 HAS SOUPS 2523918 WITH SCORE 2528657.008
AT ITER 2477 NEW BEST:: SOT 19728624 SOS 4738852 HAS SOPS 4738852 HAS SOUS 2523762 HAS SOUPS 2523762 WITH SCORE 2528500.852
AT ITER 2485 NEW BEST:: SOT 19728545 SOS 4738694 HAS SOPS 4738694 HAS SOUS 2523604 HAS SOUPS 2523604 WITH SCORE 2528342.694
AT ITER 2486 NEW BEST:: SOT 19727958 SOS 4732824 HAS SOPS 4732824 HAS SOUS 2523017 HAS SOUPS 2523017 WITH SCORE 2527749.824
AT ITER 2492 NEW BEST:: SOT 19728300 SOS 4732822 HAS SOPS 4732822 HAS SOUS 2523016 HAS SOUPS 2523016 WITH SCORE 2527748.822
AT ITER 2497 NEW BEST:: SOT 19727696 SOS 4732819 HAS SOPS 4732819 HAS SOUS 2521807 HAS SOUPS 2521807 WITH SCORE 2526539.819
AT ITER 2519 NEW BEST:: SOT 19727696 SOS 4731496 HAS SOPS 4731496 HAS SOUS 2521807 HAS SOUPS 2521807 WITH SCORE 2526538.496
AT ITER 2522 NEW BEST:: SOT 19727696 SOS 4731319 HAS SOPS 4731319 HAS SOUS 2521806 HAS SOUPS 2521806 WITH SCORE 2526537.319
AT ITER 2530 NEW BEST:: SOT 19726321 SOS 4735284 HAS SOPS 4735284 HAS SOUS 2521533 HAS SOUPS 2521533 WITH SCORE 2526268.284
AT ITER 2531 NEW BEST:: SOT 19726102 SOS 4734846 HAS SOPS 4734846 HAS SOUS 2521095 HAS SOUPS 2521095 WITH SCORE 2525829.846
AT ITER 2572 NEW BEST:: SOT 19725110 SOS 4734130 HAS SOPS 4734130 HAS SOUS 2520178 HAS SOUPS 2520178 WITH SCORE 2524912.13
AT ITER 2574 NEW BEST:: SOT 19724511 SOS 4733531 HAS SOPS 4733531 HAS SOUS 2519579 HAS SOUPS 2519579 WITH SCORE 2524312.531
AT ITER 2588 NEW BEST:: SOT 19724371 SOS 4733251 HAS SOPS 4733251 HAS SOUS 2519439 HAS SOUPS 2519439 WITH SCORE 2524172.251
AT ITER 2589 NEW BEST:: SOT 19724340 SOS 4733188 HAS SOPS 4733188 HAS SOUS 2519298 HAS SOUPS 2519298 WITH SCORE 2524031.188
AT ITER 2632 NEW BEST:: SOT 19724340 SOS 4733039 HAS SOPS 4733039 HAS SOUS 2519235 HAS SOUPS 2519235 WITH SCORE 2523968.039
AT ITER 2659 NEW BEST:: SOT 19724340 SOS 4725965 HAS SOPS 4725965 HAS SOUS 2519235 HAS SOUPS 2519235 WITH SCORE 2523960.965
AT ITER 2677 NEW BEST:: SOT 19724264 SOS 4727098 HAS SOPS 4727098 HAS SOUS 2519083 HAS SOUPS 2519083 WITH SCORE 2523810.098
AT ITER 2680 NEW BEST:: SOT 19724264 SOS 4727098 HAS SOPS 4727098 HAS SOUS 2519082 HAS SOUPS 2519082 WITH SCORE 2523809.098
AT ITER 2691 NEW BEST:: SOT 19724264 SOS 4726906 HAS SOPS 4726906 HAS SOUS 2518890 HAS SOUPS 2518890 WITH SCORE 2523616.906
AT ITER 2696 NEW BEST:: SOT 19724128 SOS 4727809 HAS SOPS 4727809 HAS SOUS 2518281 HAS SOUPS 2518281 WITH SCORE 2523008.809
AT ITER 2709 NEW BEST:: SOT 19723647 SOS 4728286 HAS SOPS 4728286 HAS SOUS 2517318 HAS SOUPS 2517318 WITH SCORE 2522046.286
AT ITER 2737 NEW BEST:: SOT 19722875 SOS 4726742 HAS SOPS 4726742 HAS SOUS 2515774 HAS SOUPS 2515774 WITH SCORE 2520500.742
AT ITER 2744 NEW BEST:: SOT 19722875 SOS 4726589 HAS SOPS 4726589 HAS SOUS 2515774 HAS SOUPS 2515774 WITH SCORE 2520500.589
AT ITER 2801 NEW BEST:: SOT 19723811 SOS 4725701 HAS SOPS 4725701 HAS SOUS 2515347 HAS SOUPS 2515347 WITH SCORE 2520072.701
AT ITER 2807 NEW BEST:: SOT 19723401 SOS 4725643 HAS SOPS 4725643 HAS SOUS 2514781 HAS SOUPS 2514781 WITH SCORE 2519506.643
AT ITER 2812 NEW BEST:: SOT 19723401 SOS 4727721 HAS SOPS 4727721 HAS SOUS 2514323 HAS SOUPS 2514323 WITH SCORE 2519050.721
AT ITER 2828 NEW BEST:: SOT 19723322 SOS 4727563 HAS SOPS 4727563 HAS SOUS 2514243 HAS SOUPS 2514243 WITH SCORE 2518970.563
AT ITER 2843 NEW BEST:: SOT 19723322 SOS 4726702 HAS SOPS 4726702 HAS SOUS 2513956 HAS SOUPS 2513956 WITH SCORE 2518682.702
AT ITER 2869 NEW BEST:: SOT 19723322 SOS 4727607 HAS SOPS 4727607 HAS SOUS 2513535 HAS SOUPS 2513535 WITH SCORE 2518262.607
AT ITER 2883 NEW BEST:: SOT 19723322 SOS 4727603 HAS SOPS 4727603 HAS SOUS 2513534 HAS SOUPS 2513534 WITH SCORE 2518261.603
AT ITER 2908 NEW BEST:: SOT 19723202 SOS 4727543 HAS SOPS 4727543 HAS SOUS 2513414 HAS SOUPS 2513414 WITH SCORE 2518141.543
AT ITER 2915 NEW BEST:: SOT 19722962 SOS 4727608 HAS SOPS 4727608 HAS SOUS 2512868 HAS SOUPS 2512868 WITH SCORE 2517595.608
AT ITER 2954 NEW BEST:: SOT 19722754 SOS 4727605 HAS SOPS 4727605 HAS SOUS 2512867 HAS SOUPS 2512867 WITH SCORE 2517594.605
AT ITER 2961 NEW BEST:: SOT 19722754 SOS 4727595 HAS SOPS 4727595 HAS SOUS 2512866 HAS SOUPS 2512866 WITH SCORE 2517593.595
AT ITER 2967 NEW BEST:: SOT 19722754 SOS 4726809 HAS SOPS 4726809 HAS SOUS 2512865 HAS SOUPS 2512865 WITH SCORE 2517591.809
AT ITER 2968 NEW BEST:: SOT 19722087 SOS 4725318 HAS SOPS 4725318 HAS SOUS 2511992 HAS SOUPS 2511992 WITH SCORE 2516717.318
AT ITER 2978 NEW BEST:: SOT 19722087 SOS 4725072 HAS SOPS 4725072 HAS SOUS 2511746 HAS SOUPS 2511746 WITH SCORE 2516471.072
AT ITER 2981 NEW BEST:: SOT 19722087 SOS 4725071 HAS SOPS 4725071 HAS SOUS 2511744 HAS SOUPS 2511744 WITH SCORE 2516469.071
AT ITER 2984 NEW BEST:: SOT 19721868 SOS 4727009 HAS SOPS 4727009 HAS SOUS 2511570 HAS SOUPS 2511570 WITH SCORE 2516297.009
AT ITER 2993 NEW BEST:: SOT 19721090 SOS 4727927 HAS SOPS 4727927 HAS SOUS 2509965 HAS SOUPS 2509965 WITH SCORE 2514692.927
AT ITER 3035 NEW BEST:: SOT 19720863 SOS 4727700 HAS SOPS 4727700 HAS SOUS 2509738 HAS SOUPS 2509738 WITH SCORE 2514465.7
AT ITER 3036 NEW BEST:: SOT 19720862 SOS 4727698 HAS SOPS 4727698 HAS SOUS 2509736 HAS SOUPS 2509736 WITH SCORE 2514463.698
AT ITER 3048 NEW BEST:: SOT 19720656 SOS 4727916 HAS SOPS 4727916 HAS SOUS 2509611 HAS SOUPS 2509611 WITH SCORE 2514338.916
AT ITER 3063 NEW BEST:: SOT 19720507 SOS 4727618 HAS SOPS 4727618 HAS SOUS 2509313 HAS SOUPS 2509313 WITH SCORE 2514040.618
AT ITER 3065 NEW BEST:: SOT 19719462 SOS 4726799 HAS SOPS 4726799 HAS SOUS 2508494 HAS SOUPS 2508494 WITH SCORE 2513220.799
AT ITER 3076 NEW BEST:: SOT 19719462 SOS 4726696 HAS SOPS 4726696 HAS SOUS 2508391 HAS SOUPS 2508391 WITH SCORE 2513117.696
AT ITER 3087 NEW BEST:: SOT 19719461 SOS 4726694 HAS SOPS 4726694 HAS SOUS 2508389 HAS SOUPS 2508389 WITH SCORE 2513115.694
AT ITER 3089 NEW BEST:: SOT 19718851 SOS 4727492 HAS SOPS 4727492 HAS SOUS 2507168 HAS SOUPS 2507168 WITH SCORE 2511895.492
AT ITER 3105 NEW BEST:: SOT 19718355 SOS 4727988 HAS SOPS 4727988 HAS SOUS 2506944 HAS SOUPS 2506944 WITH SCORE 2511671.988
AT ITER 3186 NEW BEST:: SOT 19718463 SOS 4726944 HAS SOPS 4726944 HAS SOUS 2506709 HAS SOUPS 2506709 WITH SCORE 2511435.944
AT ITER 3227 NEW BEST:: SOT 19718147 SOS 4726940 HAS SOPS 4726940 HAS SOUS 2506465 HAS SOUPS 2506465 WITH SCORE 2511191.94
AT ITER 3279 NEW BEST:: SOT 19718064 SOS 4726937 HAS SOPS 4726937 HAS SOUS 2506381 HAS SOUPS 2506381 WITH SCORE 2511107.937
AT ITER 3285 NEW BEST:: SOT 19717975 SOS 4726836 HAS SOPS 4726836 HAS SOUS 2506280 HAS SOUPS 2506280 WITH SCORE 2511006.836
AT ITER 3297 NEW BEST:: SOT 19717975 SOS 4727141 HAS SOPS 4727141 HAS SOUS 2506279 HAS SOUPS 2506279 WITH SCORE 2511006.141
AT ITER 3318 NEW BEST:: SOT 19717550 SOS 4733760 HAS SOPS 4733760 HAS SOUS 2505428 HAS SOUPS 2505428 WITH SCORE 2510161.76
AT ITER 3323 NEW BEST:: SOT 19717173 SOS 4733760 HAS SOPS 4733760 HAS SOUS 2505196 HAS SOUPS 2505196 WITH SCORE 2509929.76
AT ITER 3331 NEW BEST:: SOT 19716547 SOS 4733134 HAS SOPS 4733134 HAS SOUS 2504570 HAS SOUPS 2504570 WITH SCORE 2509303.134
AT ITER 3332 NEW BEST:: SOT 19716547 SOS 4733111 HAS SOPS 4733111 HAS SOUS 2504547 HAS SOUPS 2504547 WITH SCORE 2509280.111
AT ITER 3361 NEW BEST:: SOT 19716538 SOS 4733093 HAS SOPS 4733093 HAS SOUS 2504529 HAS SOUPS 2504529 WITH SCORE 2509262.093
AT ITER 3371 NEW BEST:: SOT 19715859 SOS 4730495 HAS SOPS 4730495 HAS SOUS 2503307 HAS SOUPS 2503307 WITH SCORE 2508037.495
AT ITER 3395 NEW BEST:: SOT 19715933 SOS 4729341 HAS SOPS 4729341 HAS SOUS 2503080 HAS SOUPS 2503080 WITH SCORE 2507809.341
AT ITER 3462 NEW BEST:: SOT 19715933 SOS 4729341 HAS SOPS 4729341 HAS SOUS 2502008 HAS SOUPS 2502008 WITH SCORE 2506737.341
AT ITER 3477 NEW BEST:: SOT 19715933 SOS 4729339 HAS SOPS 4729339 HAS SOUS 2502006 HAS SOUPS 2502006 WITH SCORE 2506735.339
AT ITER 3493 NEW BEST:: SOT 19715933 SOS 4728319 HAS SOPS 4728319 HAS SOUS 2501745 HAS SOUPS 2501745 WITH SCORE 2506473.319
AT ITER 3502 NEW BEST:: SOT 19715933 SOS 4728279 HAS SOPS 4728279 HAS SOUS 2501705 HAS SOUPS 2501705 WITH SCORE 2506433.279
AT ITER 3514 NEW BEST:: SOT 19715933 SOS 4726923 HAS SOPS 4726923 HAS SOUS 2501253 HAS SOUPS 2501253 WITH SCORE 2505979.923
AT ITER 3523 NEW BEST:: SOT 19714626 SOS 4725699 HAS SOPS 4725699 HAS SOUS 2500029 HAS SOUPS 2500029 WITH SCORE 2504754.699
AT ITER 3574 NEW BEST:: SOT 19714626 SOS 4724301 HAS SOPS 4724301 HAS SOUS 2499609 HAS SOUPS 2499609 WITH SCORE 2504333.301
AT ITER 3592 NEW BEST:: SOT 19714626 SOS 4724321 HAS SOPS 4724321 HAS SOUS 2499608 HAS SOUPS 2499608 WITH SCORE 2504332.321
AT ITER 3597 NEW BEST:: SOT 19714527 SOS 4724123 HAS SOPS 4724123 HAS SOUS 2499410 HAS SOUPS 2499410 WITH SCORE 2504134.123
AT ITER 3607 NEW BEST:: SOT 19714365 SOS 4723799 HAS SOPS 4723799 HAS SOUS 2499086 HAS SOUPS 2499086 WITH SCORE 2503809.799
AT ITER 3609 NEW BEST:: SOT 19713717 SOS 4720559 HAS SOPS 4720559 HAS SOUS 2497790 HAS SOUPS 2497790 WITH SCORE 2502510.559
AT ITER 3626 NEW BEST:: SOT 19713410 SOS 4719764 HAS SOPS 4719764 HAS SOUS 2497483 HAS SOUPS 2497483 WITH SCORE 2502202.764
AT ITER 3634 NEW BEST:: SOT 19713758 SOS 4718964 HAS SOPS 4718964 HAS SOUS 2497445 HAS SOUPS 2497445 WITH SCORE 2502163.964
AT ITER 3643 NEW BEST:: SOT 19713510 SOS 4720130 HAS SOPS 4720130 HAS SOUS 2497195 HAS SOUPS 2497195 WITH SCORE 2501915.13
AT ITER 3650 NEW BEST:: SOT 19713235 SOS 4725885 HAS SOPS 4725885 HAS SOUS 2497128 HAS SOUPS 2497128 WITH SCORE 2501853.885
AT ITER 3667 NEW BEST:: SOT 19712586 SOS 4724943 HAS SOPS 4724943 HAS SOUS 2495516 HAS SOUPS 2495516 WITH SCORE 2500240.943
AT ITER 3681 NEW BEST:: SOT 19712525 SOS 4724942 HAS SOPS 4724942 HAS SOUS 2495515 HAS SOUPS 2495515 WITH SCORE 2500239.942
AT ITER 3687 NEW BEST:: SOT 19712128 SOS 4724938 HAS SOPS 4724938 HAS SOUS 2495514 HAS SOUPS 2495514 WITH SCORE 2500238.938
AT ITER 3692 NEW BEST:: SOT 19712048 SOS 4724618 HAS SOPS 4724618 HAS SOUS 2495354 HAS SOUPS 2495354 WITH SCORE 2500078.618
AT ITER 3702 NEW BEST:: SOT 19711455 SOS 4723432 HAS SOPS 4723432 HAS SOUS 2493387 HAS SOUPS 2493387 WITH SCORE 2498110.432
AT ITER 3704 NEW BEST:: SOT 19711186 SOS 4725305 HAS SOPS 4725305 HAS SOUS 2492848 HAS SOUPS 2492848 WITH SCORE 2497573.305
AT ITER 3707 NEW BEST:: SOT 19711520 SOS 4724556 HAS SOPS 4724556 HAS SOUS 2492595 HAS SOUPS 2492595 WITH SCORE 2497319.556
AT ITER 3715 NEW BEST:: SOT 19709381 SOS 4722417 HAS SOPS 4722417 HAS SOUS 2490456 HAS SOUPS 2490456 WITH SCORE 2495178.417
AT ITER 3722 NEW BEST:: SOT 19709381 SOS 4722343 HAS SOPS 4722343 HAS SOUS 2490382 HAS SOUPS 2490382 WITH SCORE 2495104.343
AT ITER 3731 NEW BEST:: SOT 19709381 SOS 4721607 HAS SOPS 4721607 HAS SOUS 2490382 HAS SOUPS 2490382 WITH SCORE 2495103.607
AT ITER 3753 NEW BEST:: SOT 19709345 SOS 4721569 HAS SOPS 4721569 HAS SOUS 2490366 HAS SOUPS 2490366 WITH SCORE 2495087.569
AT ITER 3761 NEW BEST:: SOT 19709323 SOS 4721525 HAS SOPS 4721525 HAS SOUS 2490322 HAS SOUPS 2490322 WITH SCORE 2495043.525
AT ITER 3784 NEW BEST:: SOT 19709323 SOS 4722027 HAS SOPS 4722027 HAS SOUS 2490321 HAS SOUPS 2490321 WITH SCORE 2495043.027
AT ITER 3814 NEW BEST:: SOT 19708257 SOS 4720961 HAS SOPS 4720961 HAS SOUS 2489255 HAS SOUPS 2489255 WITH SCORE 2493975.961
AT ITER 3825 NEW BEST:: SOT 19708241 SOS 4720958 HAS SOPS 4720958 HAS SOUS 2489222 HAS SOUPS 2489222 WITH SCORE 2493942.958
AT ITER 3850 NEW BEST:: SOT 19708241 SOS 4720957 HAS SOPS 4720957 HAS SOUS 2489220 HAS SOUPS 2489220 WITH SCORE 2493940.957
AT ITER 3854 NEW BEST:: SOT 19707846 SOS 4722193 HAS SOPS 4722193 HAS SOUS 2488825 HAS SOUPS 2488825 WITH SCORE 2493547.193
AT ITER 3863 NEW BEST:: SOT 19707846 SOS 4721511 HAS SOPS 4721511 HAS SOUS 2488825 HAS SOUPS 2488825 WITH SCORE 2493546.511
AT ITER 3882 NEW BEST:: SOT 19707846 SOS 4722329 HAS SOPS 4722329 HAS SOUS 2488824 HAS SOUPS 2488824 WITH SCORE 2493546.329
AT ITER 3898 NEW BEST:: SOT 19707972 SOS 4722232 HAS SOPS 4722232 HAS SOUS 2488727 HAS SOUPS 2488727 WITH SCORE 2493449.232
AT ITER 3906 NEW BEST:: SOT 19707318 SOS 4720924 HAS SOPS 4720924 HAS SOUS 2487419 HAS SOUPS 2487419 WITH SCORE 2492139.924
AT ITER 3920 NEW BEST:: SOT 19707318 SOS 4719835 HAS SOPS 4719835 HAS SOUS 2487419 HAS SOUPS 2487419 WITH SCORE 2492138.835
AT ITER 3962 NEW BEST:: SOT 19707318 SOS 4719466 HAS SOPS 4719466 HAS SOUS 2487419 HAS SOUPS 2487419 WITH SCORE 2492138.466
AT ITER 3997 NEW BEST:: SOT 19707273 SOS 4719376 HAS SOPS 4719376 HAS SOUS 2487329 HAS SOUPS 2487329 WITH SCORE 2492048.376
AT ITER 4004 NEW BEST:: SOT 19707209 SOS 4718933 HAS SOPS 4718933 HAS SOUS 2487201 HAS SOUPS 2487201 WITH SCORE 2491919.933
AT ITER 4041 NEW BEST:: SOT 19707209 SOS 4720726 HAS SOPS 4720726 HAS SOUS 2487199 HAS SOUPS 2487199 WITH SCORE 2491919.726
AT ITER 4066 NEW BEST:: SOT 19707208 SOS 4721498 HAS SOPS 4721498 HAS SOUS 2487197 HAS SOUPS 2487197 WITH SCORE 2491918.498
AT ITER 4088 NEW BEST:: SOT 19707146 SOS 4721374 HAS SOPS 4721374 HAS SOUS 2487135 HAS SOUPS 2487135 WITH SCORE 2491856.374
AT ITER 4091 NEW BEST:: SOT 19706625 SOS 4720332 HAS SOPS 4720332 HAS SOUS 2486093 HAS SOUPS 2486093 WITH SCORE 2490813.332
AT ITER 4108 NEW BEST:: SOT 19705510 SOS 4719217 HAS SOPS 4719217 HAS SOUS 2484978 HAS SOUPS 2484978 WITH SCORE 2489697.217
AT ITER 4115 NEW BEST:: SOT 19705510 SOS 4718775 HAS SOPS 4718775 HAS SOUS 2484978 HAS SOUPS 2484978 WITH SCORE 2489696.775
AT ITER 4119 NEW BEST:: SOT 19705510 SOS 4718680 HAS SOPS 4718680 HAS SOUS 2484883 HAS SOUPS 2484883 WITH SCORE 2489601.68
AT ITER 4125 NEW BEST:: SOT 19704950 SOS 4718677 HAS SOPS 4718677 HAS SOUS 2483762 HAS SOUPS 2483762 WITH SCORE 2488480.677
AT ITER 4139 NEW BEST:: SOT 19704694 SOS 4718421 HAS SOPS 4718421 HAS SOUS 2483506 HAS SOUPS 2483506 WITH SCORE 2488224.421
AT ITER 4142 NEW BEST:: SOT 19704475 SOS 4717983 HAS SOPS 4717983 HAS SOUS 2483228 HAS SOUPS 2483228 WITH SCORE 2487945.983
AT ITER 4174 NEW BEST:: SOT 19704475 SOS 4716330 HAS SOPS 4716330 HAS SOUS 2483227 HAS SOUPS 2483227 WITH SCORE 2487943.33
AT ITER 4224 NEW BEST:: SOT 19704731 SOS 4722520 HAS SOPS 4722520 HAS SOUS 2483106 HAS SOUPS 2483106 WITH SCORE 2487828.52
AT ITER 4267 NEW BEST:: SOT 19705011 SOS 4723130 HAS SOPS 4723130 HAS SOUS 2483088 HAS SOUPS 2483088 WITH SCORE 2487811.13
AT ITER 4301 NEW BEST:: SOT 19704826 SOS 4722760 HAS SOPS 4722760 HAS SOUS 2482718 HAS SOUPS 2482718 WITH SCORE 2487440.76
AT ITER 4319 NEW BEST:: SOT 19704826 SOS 4722759 HAS SOPS 4722759 HAS SOUS 2482716 HAS SOUPS 2482716 WITH SCORE 2487438.759
AT ITER 4331 NEW BEST:: SOT 19703835 SOS 4722430 HAS SOPS 4722430 HAS SOUS 2482219 HAS SOUPS 2482219 WITH SCORE 2486941.43
AT ITER 4335 NEW BEST:: SOT 19702988 SOS 4721405 HAS SOPS 4721405 HAS SOUS 2479948 HAS SOUPS 2479948 WITH SCORE 2484669.405
AT ITER 4350 NEW BEST:: SOT 19703202 SOS 4728420 HAS SOPS 4728420 HAS SOUS 2479642 HAS SOUPS 2479642 WITH SCORE 2484370.42
AT ITER 4352 NEW BEST:: SOT 19703202 SOS 4728667 HAS SOPS 4728667 HAS SOUS 2479641 HAS SOUPS 2479641 WITH SCORE 2484369.667
AT ITER 4364 NEW BEST:: SOT 19702980 SOS 4728445 HAS SOPS 4728445 HAS SOUS 2479419 HAS SOUPS 2479419 WITH SCORE 2484147.445
AT ITER 4368 NEW BEST:: SOT 19702980 SOS 4728442 HAS SOPS 4728442 HAS SOUS 2479418 HAS SOUPS 2479418 WITH SCORE 2484146.442
AT ITER 4412 NEW BEST:: SOT 19702650 SOS 4727782 HAS SOPS 4727782 HAS SOUS 2479088 HAS SOUPS 2479088 WITH SCORE 2483815.782
AT ITER 4450 NEW BEST:: SOT 19702650 SOS 4723227 HAS SOPS 4723227 HAS SOUS 2478581 HAS SOUPS 2478581 WITH SCORE 2483304.227
AT ITER 4453 NEW BEST:: SOT 19702650 SOS 4722959 HAS SOPS 4722959 HAS SOUS 2478581 HAS SOUPS 2478581 WITH SCORE 2483303.959
AT ITER 4477 NEW BEST:: SOT 19701516 SOS 4722959 HAS SOPS 4722959 HAS SOUS 2476996 HAS SOUPS 2476996 WITH SCORE 2481718.959
AT ITER 4481 NEW BEST:: SOT 19701382 SOS 4722724 HAS SOPS 4722724 HAS SOUS 2476761 HAS SOUPS 2476761 WITH SCORE 2481483.724
AT ITER 4528 NEW BEST:: SOT 19701382 SOS 4722600 HAS SOPS 4722600 HAS SOUS 2476637 HAS SOUPS 2476637 WITH SCORE 2481359.6
AT ITER 4543 NEW BEST:: SOT 19701381 SOS 4722598 HAS SOPS 4722598 HAS SOUS 2476635 HAS SOUPS 2476635 WITH SCORE 2481357.598
AT ITER 4547 NEW BEST:: SOT 19701177 SOS 4722394 HAS SOPS 4722394 HAS SOUS 2476421 HAS SOUPS 2476421 WITH SCORE 2481143.394
AT ITER 4571 NEW BEST:: SOT 19700041 SOS 4720122 HAS SOPS 4720122 HAS SOUS 2475212 HAS SOUPS 2475212 WITH SCORE 2479932.122
AT ITER 4583 NEW BEST:: SOT 19700041 SOS 4720836 HAS SOPS 4720836 HAS SOUS 2475211 HAS SOUPS 2475211 WITH SCORE 2479931.836
AT ITER 4590 NEW BEST:: SOT 19699975 SOS 4720704 HAS SOPS 4720704 HAS SOUS 2475144 HAS SOUPS 2475144 WITH SCORE 2479864.704
AT ITER 4623 NEW BEST:: SOT 19699975 SOS 4720437 HAS SOPS 4720437 HAS SOUS 2475055 HAS SOUPS 2475055 WITH SCORE 2479775.437
AT ITER 4626 NEW BEST:: SOT 19700288 SOS 4720064 HAS SOPS 4720064 HAS SOUS 2475035 HAS SOUPS 2475035 WITH SCORE 2479755.064
AT ITER 4644 NEW BEST:: SOT 19700147 SOS 4719782 HAS SOPS 4719782 HAS SOUS 2474753 HAS SOUPS 2474753 WITH SCORE 2479472.782
AT ITER 4646 NEW BEST:: SOT 19699854 SOS 4719196 HAS SOPS 4719196 HAS SOUS 2474167 HAS SOUPS 2474167 WITH SCORE 2478886.196
AT ITER 4670 NEW BEST:: SOT 19699854 SOS 4719196 HAS SOPS 4719196 HAS SOUS 2474163 HAS SOUPS 2474163 WITH SCORE 2478882.196
AT ITER 4689 NEW BEST:: SOT 19700020 SOS 4716959 HAS SOPS 4716959 HAS SOUS 2473136 HAS SOUPS 2473136 WITH SCORE 2477852.959
AT ITER 4708 NEW BEST:: SOT 19700020 SOS 4715879 HAS SOPS 4715879 HAS SOUS 2473135 HAS SOUPS 2473135 WITH SCORE 2477850.879
AT ITER 4720 NEW BEST:: SOT 19699839 SOS 4715698 HAS SOPS 4715698 HAS SOUS 2472954 HAS SOUPS 2472954 WITH SCORE 2477669.698
AT ITER 4723 NEW BEST:: SOT 19698530 SOS 4713080 HAS SOPS 4713080 HAS SOUS 2470336 HAS SOUPS 2470336 WITH SCORE 2475049.08
AT ITER 4739 NEW BEST:: SOT 19698529 SOS 4713078 HAS SOPS 4713078 HAS SOUS 2470334 HAS SOUPS 2470334 WITH SCORE 2475047.078
AT ITER 4783 NEW BEST:: SOT 19697421 SOS 4708548 HAS SOPS 4708548 HAS SOUS 2469256 HAS SOUPS 2469256 WITH SCORE 2473964.548
AT ITER 4791 NEW BEST:: SOT 19697520 SOS 4708460 HAS SOPS 4708460 HAS SOUS 2469168 HAS SOUPS 2469168 WITH SCORE 2473876.46
AT ITER 4821 NEW BEST:: SOT 19697342 SOS 4708371 HAS SOPS 4708371 HAS SOUS 2469079 HAS SOUPS 2469079 WITH SCORE 2473787.371
AT ITER 4825 NEW BEST:: SOT 19697049 SOS 4708405 HAS SOPS 4708405 HAS SOUS 2468949 HAS SOUPS 2468949 WITH SCORE 2473657.405
AT ITER 4829 NEW BEST:: SOT 19696980 SOS 4708267 HAS SOPS 4708267 HAS SOUS 2468811 HAS SOUPS 2468811 WITH SCORE 2473519.267
AT ITER 4833 NEW BEST:: SOT 19696980 SOS 4709157 HAS SOPS 4709157 HAS SOUS 2468810 HAS SOUPS 2468810 WITH SCORE 2473519.157
AT ITER 4840 NEW BEST:: SOT 19696801 SOS 4708799 HAS SOPS 4708799 HAS SOUS 2468358 HAS SOUPS 2468358 WITH SCORE 2473066.799
AT ITER 4864 NEW BEST:: SOT 19696513 SOS 4710021 HAS SOPS 4710021 HAS SOUS 2467495 HAS SOUPS 2467495 WITH SCORE 2472205.021
AT ITER 4898 NEW BEST:: SOT 19696355 SOS 4709594 HAS SOPS 4709594 HAS SOUS 2467068 HAS SOUPS 2467068 WITH SCORE 2471777.594
AT ITER 4908 NEW BEST:: SOT 19696285 SOS 4709555 HAS SOPS 4709555 HAS SOUS 2467029 HAS SOUPS 2467029 WITH SCORE 2471738.555
AT ITER 4926 NEW BEST:: SOT 19696157 SOS 4708249 HAS SOPS 4708249 HAS SOUS 2466876 HAS SOUPS 2466876 WITH SCORE 2471584.249
AT ITER 4991 NEW BEST:: SOT 19696306 SOS 4708547 HAS SOPS 4708547 HAS SOUS 2466012 HAS SOUPS 2466012 WITH SCORE 2470720.547
AT ITER 4994 NEW BEST:: SOT 19695606 SOS 4708544 HAS SOPS 4708544 HAS SOUS 2464611 HAS SOUPS 2464611 WITH SCORE 2469319.544
AT ITER 5003 NEW BEST:: SOT 19695606 SOS 4707971 HAS SOPS 4707971 HAS SOUS 2464037 HAS SOUPS 2464037 WITH SCORE 2468744.971
AT ITER 5004 NEW BEST:: SOT 19695606 SOS 4708227 HAS SOPS 4708227 HAS SOUS 2463909 HAS SOUPS 2463909 WITH SCORE 2468617.227
AT ITER 5015 NEW BEST:: SOT 19695658 SOS 4707674 HAS SOPS 4707674 HAS SOUS 2463356 HAS SOUPS 2463356 WITH SCORE 2468063.674
AT ITER 5032 NEW BEST:: SOT 19695656 SOS 4707672 HAS SOPS 4707672 HAS SOUS 2463354 HAS SOUPS 2463354 WITH SCORE 2468061.672
AT ITER 5035 NEW BEST:: SOT 19695299 SOS 4708376 HAS SOPS 4708376 HAS SOUS 2463187 HAS SOUPS 2463187 WITH SCORE 2467895.376
AT ITER 5062 NEW BEST:: SOT 19694563 SOS 4708996 HAS SOPS 4708996 HAS SOUS 2462404 HAS SOUPS 2462404 WITH SCORE 2467112.996
AT ITER 5085 NEW BEST:: SOT 19694563 SOS 4710157 HAS SOPS 4710157 HAS SOUS 2461821 HAS SOUPS 2461821 WITH SCORE 2466531.157
AT ITER 5090 NEW BEST:: SOT 19694427 SOS 4709885 HAS SOPS 4709885 HAS SOUS 2461739 HAS SOUPS 2461739 WITH SCORE 2466448.885
AT ITER 5102 NEW BEST:: SOT 19693370 SOS 4709310 HAS SOPS 4709310 HAS SOUS 2460667 HAS SOUPS 2460667 WITH SCORE 2465376.31
AT ITER 5116 NEW BEST:: SOT 19693370 SOS 4708925 HAS SOPS 4708925 HAS SOUS 2460282 HAS SOUPS 2460282 WITH SCORE 2464990.925
AT ITER 5127 NEW BEST:: SOT 19693230 SOS 4708936 HAS SOPS 4708936 HAS SOUS 2460216 HAS SOUPS 2460216 WITH SCORE 2464924.936
AT ITER 5129 NEW BEST:: SOT 19693229 SOS 4708934 HAS SOPS 4708934 HAS SOUS 2460214 HAS SOUPS 2460214 WITH SCORE 2464922.934
AT ITER 5143 NEW BEST:: SOT 19693129 SOS 4708834 HAS SOPS 4708834 HAS SOUS 2460114 HAS SOUPS 2460114 WITH SCORE 2464822.834
AT ITER 5157 NEW BEST:: SOT 19692352 SOS 4708292 HAS SOPS 4708292 HAS SOUS 2459253 HAS SOUPS 2459253 WITH SCORE 2463961.292
AT ITER 5169 NEW BEST:: SOT 19691823 SOS 4708326 HAS SOPS 4708326 HAS SOUS 2459005 HAS SOUPS 2459005 WITH SCORE 2463713.326
AT ITER 5177 NEW BEST:: SOT 19691823 SOS 4706022 HAS SOPS 4706022 HAS SOUS 2459005 HAS SOUPS 2459005 WITH SCORE 2463711.022
AT ITER 5183 NEW BEST:: SOT 19691895 SOS 4704525 HAS SOPS 4704525 HAS SOUS 2458606 HAS SOUPS 2458606 WITH SCORE 2463310.525
AT ITER 5196 NEW BEST:: SOT 19691153 SOS 4705673 HAS SOPS 4705673 HAS SOUS 2457864 HAS SOUPS 2457864 WITH SCORE 2462569.673
AT ITER 5263 NEW BEST:: SOT 19690679 SOS 4706578 HAS SOPS 4706578 HAS SOUS 2457734 HAS SOUPS 2457734 WITH SCORE 2462440.578
AT ITER 5282 NEW BEST:: SOT 19690351 SOS 4708272 HAS SOPS 4708272 HAS SOUS 2457406 HAS SOUPS 2457406 WITH SCORE 2462114.272
AT ITER 5288 NEW BEST:: SOT 19689781 SOS 4708204 HAS SOPS 4708204 HAS SOUS 2456595 HAS SOUPS 2456595 WITH SCORE 2461303.204
AT ITER 5303 NEW BEST:: SOT 19689781 SOS 4708725 HAS SOPS 4708725 HAS SOUS 2456594 HAS SOUPS 2456594 WITH SCORE 2461302.725
AT ITER 5319 NEW BEST:: SOT 19689833 SOS 4710082 HAS SOPS 4710082 HAS SOUS 2455393 HAS SOUPS 2455393 WITH SCORE 2460103.082
AT ITER 5346 NEW BEST:: SOT 19689323 SOS 4709061 HAS SOPS 4709061 HAS SOUS 2454372 HAS SOUPS 2454372 WITH SCORE 2459081.061
AT ITER 5354 NEW BEST:: SOT 19689323 SOS 4708231 HAS SOPS 4708231 HAS SOUS 2454289 HAS SOUPS 2454289 WITH SCORE 2458997.231
AT ITER 5406 NEW BEST:: SOT 19689207 SOS 4707999 HAS SOPS 4707999 HAS SOUS 2454173 HAS SOUPS 2454173 WITH SCORE 2458880.999
AT ITER 5416 NEW BEST:: SOT 19689207 SOS 4708261 HAS SOPS 4708261 HAS SOUS 2454172 HAS SOUPS 2454172 WITH SCORE 2458880.261
AT ITER 5428 NEW BEST:: SOT 19688994 SOS 4708357 HAS SOPS 4708357 HAS SOUS 2453746 HAS SOUPS 2453746 WITH SCORE 2458454.357
AT ITER 5478 NEW BEST:: SOT 19688994 SOS 4705183 HAS SOPS 4705183 HAS SOUS 2453496 HAS SOUPS 2453496 WITH SCORE 2458201.183
AT ITER 5494 NEW BEST:: SOT 19688924 SOS 4704973 HAS SOPS 4704973 HAS SOUS 2453426 HAS SOUPS 2453426 WITH SCORE 2458130.973
AT ITER 5526 NEW BEST:: SOT 19687514 SOS 4704471 HAS SOPS 4704471 HAS SOUS 2452926 HAS SOUPS 2452926 WITH SCORE 2457630.471
AT ITER 5548 NEW BEST:: SOT 19687049 SOS 4711200 HAS SOPS 4711200 HAS SOUS 2452208 HAS SOUPS 2452208 WITH SCORE 2456919.2
AT ITER 5551 NEW BEST:: SOT 19687049 SOS 4711320 HAS SOPS 4711320 HAS SOUS 2452133 HAS SOUPS 2452133 WITH SCORE 2456844.32
AT ITER 5573 NEW BEST:: SOT 19687049 SOS 4710183 HAS SOPS 4710183 HAS SOUS 2451754 HAS SOUPS 2451754 WITH SCORE 2456464.183
AT ITER 5587 NEW BEST:: SOT 19687049 SOS 4710055 HAS SOPS 4710055 HAS SOUS 2451626 HAS SOUPS 2451626 WITH SCORE 2456336.055
AT ITER 5630 NEW BEST:: SOT 19687055 SOS 4709992 HAS SOPS 4709992 HAS SOUS 2451563 HAS SOUPS 2451563 WITH SCORE 2456272.992
AT ITER 5650 NEW BEST:: SOT 19687161 SOS 4710203 HAS SOPS 4710203 HAS SOUS 2451562 HAS SOUPS 2451562 WITH SCORE 2456272.203
AT ITER 5657 NEW BEST:: SOT 19686205 SOS 4709725 HAS SOPS 4709725 HAS SOUS 2451084 HAS SOUPS 2451084 WITH SCORE 2455793.725
AT ITER 5700 NEW BEST:: SOT 19686180 SOS 4709700 HAS SOPS 4709700 HAS SOUS 2451059 HAS SOUPS 2451059 WITH SCORE 2455768.7
AT ITER 5734 NEW BEST:: SOT 19686129 SOS 4709598 HAS SOPS 4709598 HAS SOUS 2451008 HAS SOUPS 2451008 WITH SCORE 2455717.598
AT ITER 5735 NEW BEST:: SOT 19686129 SOS 4709598 HAS SOPS 4709598 HAS SOUS 2451007 HAS SOUPS 2451007 WITH SCORE 2455716.598
AT ITER 5740 NEW BEST:: SOT 19685765 SOS 4709325 HAS SOPS 4709325 HAS SOUS 2450552 HAS SOUPS 2450552 WITH SCORE 2455261.325
AT ITER 5758 NEW BEST:: SOT 19682584 SOS 4705953 HAS SOPS 4705953 HAS SOUS 2448376 HAS SOUPS 2448376 WITH SCORE 2453081.953
AT ITER 5759 NEW BEST:: SOT 19682793 SOS 4712922 HAS SOPS 4712922 HAS SOUS 2448064 HAS SOUPS 2448064 WITH SCORE 2452776.922
AT ITER 5792 NEW BEST:: SOT 19682569 SOS 4714480 HAS SOPS 4714480 HAS SOUS 2447615 HAS SOUPS 2447615 WITH SCORE 2452329.48
AT ITER 5815 NEW BEST:: SOT 19682286 SOS 4714477 HAS SOPS 4714477 HAS SOUS 2447048 HAS SOUPS 2447048 WITH SCORE 2451762.477
AT ITER 5824 NEW BEST:: SOT 19682149 SOS 4714203 HAS SOPS 4714203 HAS SOUS 2446911 HAS SOUPS 2446911 WITH SCORE 2451625.203
AT ITER 5829 NEW BEST:: SOT 19682066 SOS 4714037 HAS SOPS 4714037 HAS SOUS 2446745 HAS SOUPS 2446745 WITH SCORE 2451459.037
AT ITER 5832 NEW BEST:: SOT 19682066 SOS 4713693 HAS SOPS 4713693 HAS SOUS 2446573 HAS SOUPS 2446573 WITH SCORE 2451286.693
AT ITER 5838 NEW BEST:: SOT 19682066 SOS 4712220 HAS SOPS 4712220 HAS SOUS 2446573 HAS SOUPS 2446573 WITH SCORE 2451285.22
AT ITER 5846 NEW BEST:: SOT 19681343 SOS 4710774 HAS SOPS 4710774 HAS SOUS 2445850 HAS SOUPS 2445850 WITH SCORE 2450560.774
AT ITER 5849 NEW BEST:: SOT 19681257 SOS 4710682 HAS SOPS 4710682 HAS SOUS 2445758 HAS SOUPS 2445758 WITH SCORE 2450468.682
AT ITER 5862 NEW BEST:: SOT 19680369 SOS 4709896 HAS SOPS 4709896 HAS SOUS 2444972 HAS SOUPS 2444972 WITH SCORE 2449681.896
AT ITER 5922 NEW BEST:: SOT 19679251 SOS 4709700 HAS SOPS 4709700 HAS SOUS 2444776 HAS SOUPS 2444776 WITH SCORE 2449485.7
AT ITER 5977 NEW BEST:: SOT 19679251 SOS 4709594 HAS SOPS 4709594 HAS SOUS 2444723 HAS SOUPS 2444723 WITH SCORE 2449432.594
AT ITER 5989 NEW BEST:: SOT 19679251 SOS 4709594 HAS SOPS 4709594 HAS SOUS 2444686 HAS SOUPS 2444686 WITH SCORE 2449395.594
AT ITER 5994 NEW BEST:: SOT 19679250 SOS 4709592 HAS SOPS 4709592 HAS SOUS 2444684 HAS SOUPS 2444684 WITH SCORE 2449393.592
AT ITER 6023 NEW BEST:: SOT 19679250 SOS 4709007 HAS SOPS 4709007 HAS SOUS 2444684 HAS SOUPS 2444684 WITH SCORE 2449393.007
AT ITER 6035 NEW BEST:: SOT 19679286 SOS 4707837 HAS SOPS 4707837 HAS SOUS 2444306 HAS SOUPS 2444306 WITH SCORE 2449013.837
AT ITER 6057 NEW BEST:: SOT 19678611 SOS 4706487 HAS SOPS 4706487 HAS SOUS 2442901 HAS SOUPS 2442901 WITH SCORE 2447607.487
AT ITER 6097 NEW BEST:: SOT 19678835 SOS 4712901 HAS SOPS 4712901 HAS SOUS 2442601 HAS SOUPS 2442601 WITH SCORE 2447313.901
AT ITER 6100 NEW BEST:: SOT 19678835 SOS 4713995 HAS SOPS 4713995 HAS SOUS 2442599 HAS SOUPS 2442599 WITH SCORE 2447312.995
AT ITER 6112 NEW BEST:: SOT 19678532 SOS 4713692 HAS SOPS 4713692 HAS SOUS 2442296 HAS SOUPS 2442296 WITH SCORE 2447009.692
AT ITER 6113 NEW BEST:: SOT 19678484 SOS 4715238 HAS SOPS 4715238 HAS SOUS 2442200 HAS SOUPS 2442200 WITH SCORE 2446915.238
AT ITER 6118 NEW BEST:: SOT 19678270 SOS 4714810 HAS SOPS 4714810 HAS SOUS 2442171 HAS SOUPS 2442171 WITH SCORE 2446885.81
AT ITER 6121 NEW BEST:: SOT 19678709 SOS 4713396 HAS SOPS 4713396 HAS SOUS 2442035 HAS SOUPS 2442035 WITH SCORE 2446748.396
AT ITER 6124 NEW BEST:: SOT 19678614 SOS 4711766 HAS SOPS 4711766 HAS SOUS 2441740 HAS SOUPS 2441740 WITH SCORE 2446451.766
AT ITER 6132 NEW BEST:: SOT 19678307 SOS 4712070 HAS SOPS 4712070 HAS SOUS 2441432 HAS SOUPS 2441432 WITH SCORE 2446144.07
AT ITER 6167 NEW BEST:: SOT 19678488 SOS 4712432 HAS SOPS 4712432 HAS SOUS 2440812 HAS SOUPS 2440812 WITH SCORE 2445524.432
AT ITER 6173 NEW BEST:: SOT 19677948 SOS 4711352 HAS SOPS 4711352 HAS SOUS 2439732 HAS SOUPS 2439732 WITH SCORE 2444443.352
AT ITER 6175 NEW BEST:: SOT 19677171 SOS 4712609 HAS SOPS 4712609 HAS SOUS 2438683 HAS SOUPS 2438683 WITH SCORE 2443395.609
AT ITER 6219 NEW BEST:: SOT 19677171 SOS 4713499 HAS SOPS 4713499 HAS SOUS 2438582 HAS SOUPS 2438582 WITH SCORE 2443295.499
AT ITER 6224 NEW BEST:: SOT 19676027 SOS 4700915 HAS SOPS 4700915 HAS SOUS 2436294 HAS SOUPS 2436294 WITH SCORE 2440994.915
AT ITER 6229 NEW BEST:: SOT 19676026 SOS 4700913 HAS SOPS 4700913 HAS SOUS 2436292 HAS SOUPS 2436292 WITH SCORE 2440992.913
AT ITER 6274 NEW BEST:: SOT 19676026 SOS 4701191 HAS SOPS 4701191 HAS SOUS 2436153 HAS SOUPS 2436153 WITH SCORE 2440854.191
AT ITER 6276 NEW BEST:: SOT 19675955 SOS 4701049 HAS SOPS 4701049 HAS SOUS 2436011 HAS SOUPS 2436011 WITH SCORE 2440712.049
AT ITER 6288 NEW BEST:: SOT 19675794 SOS 4700888 HAS SOPS 4700888 HAS SOUS 2435850 HAS SOUPS 2435850 WITH SCORE 2440550.888
AT ITER 6315 NEW BEST:: SOT 19675906 SOS 4701112 HAS SOPS 4701112 HAS SOUS 2435719 HAS SOUPS 2435719 WITH SCORE 2440420.112
AT ITER 6329 NEW BEST:: SOT 19676231 SOS 4701762 HAS SOPS 4701762 HAS SOUS 2435671 HAS SOUPS 2435671 WITH SCORE 2440372.762
AT ITER 6331 NEW BEST:: SOT 19676125 SOS 4701298 HAS SOPS 4701298 HAS SOUS 2435375 HAS SOUPS 2435375 WITH SCORE 2440076.298
AT ITER 6356 NEW BEST:: SOT 19675589 SOS 4701542 HAS SOPS 4701542 HAS SOUS 2434230 HAS SOUPS 2434230 WITH SCORE 2438931.542
AT ITER 6362 NEW BEST:: SOT 19675589 SOS 4701542 HAS SOPS 4701542 HAS SOUS 2434224 HAS SOUPS 2434224 WITH SCORE 2438925.542
AT ITER 6397 NEW BEST:: SOT 19675535 SOS 4701434 HAS SOPS 4701434 HAS SOUS 2434116 HAS SOUPS 2434116 WITH SCORE 2438817.434
AT ITER 6407 NEW BEST:: SOT 19675384 SOS 4701579 HAS SOPS 4701579 HAS SOUS 2433963 HAS SOUPS 2433963 WITH SCORE 2438664.579
AT ITER 6426 NEW BEST:: SOT 19674997 SOS 4701235 HAS SOPS 4701235 HAS SOUS 2433619 HAS SOUPS 2433619 WITH SCORE 2438320.235
AT ITER 6429 NEW BEST:: SOT 19674450 SOS 4701225 HAS SOPS 4701225 HAS SOUS 2433456 HAS SOUPS 2433456 WITH SCORE 2438157.225
AT ITER 6505 NEW BEST:: SOT 19674378 SOS 4701225 HAS SOPS 4701225 HAS SOUS 2433384 HAS SOUPS 2433384 WITH SCORE 2438085.225
AT ITER 6508 NEW BEST:: SOT 19674360 SOS 4701189 HAS SOPS 4701189 HAS SOUS 2433348 HAS SOUPS 2433348 WITH SCORE 2438049.189
AT ITER 6523 NEW BEST:: SOT 19674340 SOS 4701145 HAS SOPS 4701145 HAS SOUS 2433307 HAS SOUPS 2433307 WITH SCORE 2438008.145
AT ITER 6530 NEW BEST:: SOT 19673232 SOS 4700591 HAS SOPS 4700591 HAS SOUS 2432753 HAS SOUPS 2432753 WITH SCORE 2437453.591
AT ITER 6538 NEW BEST:: SOT 19672462 SOS 4699821 HAS SOPS 4699821 HAS SOUS 2431979 HAS SOUPS 2431979 WITH SCORE 2436678.821
AT ITER 6544 NEW BEST:: SOT 19672462 SOS 4698909 HAS SOPS 4698909 HAS SOUS 2431978 HAS SOUPS 2431978 WITH SCORE 2436676.909
AT ITER 6551 NEW BEST:: SOT 19672511 SOS 4699007 HAS SOPS 4699007 HAS SOUS 2431904 HAS SOUPS 2431904 WITH SCORE 2436603.007
AT ITER 6552 NEW BEST:: SOT 19672511 SOS 4700097 HAS SOPS 4700097 HAS SOUS 2431902 HAS SOUPS 2431902 WITH SCORE 2436602.097
AT ITER 6579 NEW BEST:: SOT 19671732 SOS 4699314 HAS SOPS 4699314 HAS SOUS 2431122 HAS SOUPS 2431122 WITH SCORE 2435821.314
AT ITER 6627 NEW BEST:: SOT 19671341 SOS 4698532 HAS SOPS 4698532 HAS SOUS 2429916 HAS SOUPS 2429916 WITH SCORE 2434614.532
AT ITER 6635 NEW BEST:: SOT 19671341 SOS 4697125 HAS SOPS 4697125 HAS SOUS 2429916 HAS SOUPS 2429916 WITH SCORE 2434613.125
AT ITER 6643 NEW BEST:: SOT 19671325 SOS 4697093 HAS SOPS 4697093 HAS SOUS 2429803 HAS SOUPS 2429803 WITH SCORE 2434500.093
AT ITER 6645 NEW BEST:: SOT 19671071 SOS 4698861 HAS SOPS 4698861 HAS SOUS 2429294 HAS SOUPS 2429294 WITH SCORE 2433992.861
AT ITER 6653 NEW BEST:: SOT 19670110 SOS 4698283 HAS SOPS 4698283 HAS SOUS 2428716 HAS SOUPS 2428716 WITH SCORE 2433414.283
AT ITER 6659 NEW BEST:: SOT 19670532 SOS 4699127 HAS SOPS 4699127 HAS SOUS 2428561 HAS SOUPS 2428561 WITH SCORE 2433260.127
AT ITER 6672 NEW BEST:: SOT 19670460 SOS 4698983 HAS SOPS 4698983 HAS SOUS 2428417 HAS SOUPS 2428417 WITH SCORE 2433115.983
AT ITER 6699 NEW BEST:: SOT 19670460 SOS 4698983 HAS SOPS 4698983 HAS SOUS 2428401 HAS SOUPS 2428401 WITH SCORE 2433099.983
AT ITER 6704 NEW BEST:: SOT 19669851 SOS 4698374 HAS SOPS 4698374 HAS SOUS 2427792 HAS SOUPS 2427792 WITH SCORE 2432490.374
AT ITER 6706 NEW BEST:: SOT 19669821 SOS 4698344 HAS SOPS 4698344 HAS SOUS 2427762 HAS SOUPS 2427762 WITH SCORE 2432460.344
AT ITER 6719 NEW BEST:: SOT 19669175 SOS 4698990 HAS SOPS 4698990 HAS SOUS 2427497 HAS SOUPS 2427497 WITH SCORE 2432195.99
AT ITER 6727 NEW BEST:: SOT 19669058 SOS 4697385 HAS SOPS 4697385 HAS SOUS 2425892 HAS SOUPS 2425892 WITH SCORE 2430589.385
AT ITER 6762 NEW BEST:: SOT 19669018 SOS 4697345 HAS SOPS 4697345 HAS SOUS 2425892 HAS SOUPS 2425892 WITH SCORE 2430589.345
AT ITER 6777 NEW BEST:: SOT 19669017 SOS 4697343 HAS SOPS 4697343 HAS SOUS 2425890 HAS SOUPS 2425890 WITH SCORE 2430587.343
AT ITER 6784 NEW BEST:: SOT 19668765 SOS 4697091 HAS SOPS 4697091 HAS SOUS 2425638 HAS SOUPS 2425638 WITH SCORE 2430335.091
AT ITER 6805 NEW BEST:: SOT 19668013 SOS 4691139 HAS SOPS 4691139 HAS SOUS 2424366 HAS SOUPS 2424366 WITH SCORE 2429057.139
AT ITER 6856 NEW BEST:: SOT 19667614 SOS 4688827 HAS SOPS 4688827 HAS SOUS 2423345 HAS SOUPS 2423345 WITH SCORE 2428033.827
AT ITER 6861 NEW BEST:: SOT 19666737 SOS 4684442 HAS SOPS 4684442 HAS SOUS 2422134 HAS SOUPS 2422134 WITH SCORE 2426818.442
AT ITER 6874 NEW BEST:: SOT 19666399 SOS 4684089 HAS SOPS 4684089 HAS SOUS 2421795 HAS SOUPS 2421795 WITH SCORE 2426479.089
AT ITER 6914 NEW BEST:: SOT 19666335 SOS 4683251 HAS SOPS 4683251 HAS SOUS 2421003 HAS SOUPS 2421003 WITH SCORE 2425686.251
AT ITER 6926 NEW BEST:: SOT 19666113 SOS 4683211 HAS SOPS 4683211 HAS SOUS 2420899 HAS SOUPS 2420899 WITH SCORE 2425582.211
AT ITER 6949 NEW BEST:: SOT 19666008 SOS 4685000 HAS SOPS 4685000 HAS SOUS 2420595 HAS SOUPS 2420595 WITH SCORE 2425280.0
AT ITER 6968 NEW BEST:: SOT 19665950 SOS 4684884 HAS SOPS 4684884 HAS SOUS 2420537 HAS SOUPS 2420537 WITH SCORE 2425221.884
AT ITER 6984 NEW BEST:: SOT 19665703 SOS 4684390 HAS SOPS 4684390 HAS SOUS 2420374 HAS SOUPS 2420374 WITH SCORE 2425058.39
AT ITER 6997 NEW BEST:: SOT 19665537 SOS 4684224 HAS SOPS 4684224 HAS SOUS 2420208 HAS SOUPS 2420208 WITH SCORE 2424892.224
AT ITER 7010 NEW BEST:: SOT 19665436 SOS 4683921 HAS SOPS 4683921 HAS SOUS 2420107 HAS SOUPS 2420107 WITH SCORE 2424790.921
AT ITER 7019 NEW BEST:: SOT 19664797 SOS 4683279 HAS SOPS 4683279 HAS SOUS 2419467 HAS SOUPS 2419467 WITH SCORE 2424150.279
AT ITER 7040 NEW BEST:: SOT 19664797 SOS 4683683 HAS SOPS 4683683 HAS SOUS 2419465 HAS SOUPS 2419465 WITH SCORE 2424148.683
AT ITER 7044 NEW BEST:: SOT 19664797 SOS 4683311 HAS SOPS 4683311 HAS SOUS 2419465 HAS SOUPS 2419465 WITH SCORE 2424148.311
AT ITER 7049 NEW BEST:: SOT 19664707 SOS 4683303 HAS SOPS 4683303 HAS SOUS 2419445 HAS SOUPS 2419445 WITH SCORE 2424128.303
AT ITER 7056 NEW BEST:: SOT 19664707 SOS 4682439 HAS SOPS 4682439 HAS SOUS 2419444 HAS SOUPS 2419444 WITH SCORE 2424126.439
AT ITER 7064 NEW BEST:: SOT 19664707 SOS 4682439 HAS SOPS 4682439 HAS SOUS 2419425 HAS SOUPS 2419425 WITH SCORE 2424107.439
AT ITER 7077 NEW BEST:: SOT 19664707 SOS 4682439 HAS SOPS 4682439 HAS SOUS 2419424 HAS SOUPS 2419424 WITH SCORE 2424106.439
AT ITER 7080 NEW BEST:: SOT 19664690 SOS 4682405 HAS SOPS 4682405 HAS SOUS 2419407 HAS SOUPS 2419407 WITH SCORE 2424089.405
AT ITER 7100 NEW BEST:: SOT 19664651 SOS 4682327 HAS SOPS 4682327 HAS SOUS 2419329 HAS SOUPS 2419329 WITH SCORE 2424011.327
AT ITER 7107 NEW BEST:: SOT 19664334 SOS 4682010 HAS SOPS 4682010 HAS SOUS 2419012 HAS SOUPS 2419012 WITH SCORE 2423694.01
AT ITER 7146 NEW BEST:: SOT 19664376 SOS 4683183 HAS SOPS 4683183 HAS SOUS 2418946 HAS SOUPS 2418946 WITH SCORE 2423629.183
AT ITER 7150 NEW BEST:: SOT 19664200 SOS 4682831 HAS SOPS 4682831 HAS SOUS 2418594 HAS SOUPS 2418594 WITH SCORE 2423276.831
AT ITER 7177 NEW BEST:: SOT 19664199 SOS 4682829 HAS SOPS 4682829 HAS SOUS 2418592 HAS SOUPS 2418592 WITH SCORE 2423274.829
AT ITER 7207 NEW BEST:: SOT 19663785 SOS 4682825 HAS SOPS 4682825 HAS SOUS 2418591 HAS SOUPS 2418591 WITH SCORE 2423273.825
AT ITER 7226 NEW BEST:: SOT 19663323 SOS 4683044 HAS SOPS 4683044 HAS SOUS 2418356 HAS SOUPS 2418356 WITH SCORE 2423039.044
AT ITER 7234 NEW BEST:: SOT 19663159 SOS 4682556 HAS SOPS 4682556 HAS SOUS 2417868 HAS SOUPS 2417868 WITH SCORE 2422550.556
AT ITER 7257 NEW BEST:: SOT 19663106 SOS 4682927 HAS SOPS 4682927 HAS SOUS 2417762 HAS SOUPS 2417762 WITH SCORE 2422444.927
AT ITER 7295 NEW BEST:: SOT 19662583 SOS 4687110 HAS SOPS 4687110 HAS SOUS 2417297 HAS SOUPS 2417297 WITH SCORE 2421984.11
AT ITER 7319 NEW BEST:: SOT 19662576 SOS 4687103 HAS SOPS 4687103 HAS SOUS 2417290 HAS SOUPS 2417290 WITH SCORE 2421977.103
AT ITER 7321 NEW BEST:: SOT 19662576 SOS 4686970 HAS SOPS 4686970 HAS SOUS 2417157 HAS SOUPS 2417157 WITH SCORE 2421843.97
AT ITER 7343 NEW BEST:: SOT 19662576 SOS 4686925 HAS SOPS 4686925 HAS SOUS 2417112 HAS SOUPS 2417112 WITH SCORE 2421798.925
AT ITER 7353 NEW BEST:: SOT 19662308 SOS 4686653 HAS SOPS 4686653 HAS SOUS 2416843 HAS SOUPS 2416843 WITH SCORE 2421529.653
AT ITER 7368 NEW BEST:: SOT 19661936 SOS 4685909 HAS SOPS 4685909 HAS SOUS 2416471 HAS SOUPS 2416471 WITH SCORE 2421156.909
AT ITER 7375 NEW BEST:: SOT 19661584 SOS 4684149 HAS SOPS 4684149 HAS SOUS 2416119 HAS SOUPS 2416119 WITH SCORE 2420803.149
AT ITER 7379 NEW BEST:: SOT 19661515 SOS 4684123 HAS SOPS 4684123 HAS SOUS 2416093 HAS SOUPS 2416093 WITH SCORE 2420777.123
AT ITER 7404 NEW BEST:: SOT 19661515 SOS 4686220 HAS SOPS 4686220 HAS SOUS 2415860 HAS SOUPS 2415860 WITH SCORE 2420546.22
AT ITER 7425 NEW BEST:: SOT 19661515 SOS 4686566 HAS SOPS 4686566 HAS SOUS 2415709 HAS SOUPS 2415709 WITH SCORE 2420395.566
AT ITER 7467 NEW BEST:: SOT 19660081 SOS 4685126 HAS SOPS 4685126 HAS SOUS 2414972 HAS SOUPS 2414972 WITH SCORE 2419657.126
AT ITER 7469 NEW BEST:: SOT 19659328 SOS 4684634 HAS SOPS 4684634 HAS SOUS 2413544 HAS SOUPS 2413544 WITH SCORE 2418228.634
AT ITER 7487 NEW BEST:: SOT 19659328 SOS 4684634 HAS SOPS 4684634 HAS SOUS 2413498 HAS SOUPS 2413498 WITH SCORE 2418182.634
AT ITER 7514 NEW BEST:: SOT 19659328 SOS 4686233 HAS SOPS 4686233 HAS SOUS 2412899 HAS SOUPS 2412899 WITH SCORE 2417585.233
AT ITER 7528 NEW BEST:: SOT 19659327 SOS 4686231 HAS SOPS 4686231 HAS SOUS 2412897 HAS SOUPS 2412897 WITH SCORE 2417583.231
AT ITER 7541 NEW BEST:: SOT 19658119 SOS 4684603 HAS SOPS 4684603 HAS SOUS 2410901 HAS SOUPS 2410901 WITH SCORE 2415585.603
AT ITER 7562 NEW BEST:: SOT 19657958 SOS 4684120 HAS SOPS 4684120 HAS SOUS 2410740 HAS SOUPS 2410740 WITH SCORE 2415424.12
AT ITER 7573 NEW BEST:: SOT 19657778 SOS 4683760 HAS SOPS 4683760 HAS SOUS 2410380 HAS SOUPS 2410380 WITH SCORE 2415063.76
AT ITER 7578 NEW BEST:: SOT 19657756 SOS 4684051 HAS SOPS 4684051 HAS SOUS 2410358 HAS SOUPS 2410358 WITH SCORE 2415042.051
AT ITER 7579 NEW BEST:: SOT 19657756 SOS 4684051 HAS SOPS 4684051 HAS SOUS 2410189 HAS SOUPS 2410189 WITH SCORE 2414873.051
AT ITER 7617 NEW BEST:: SOT 19657751 SOS 4684041 HAS SOPS 4684041 HAS SOUS 2410184 HAS SOUPS 2410184 WITH SCORE 2414868.041
AT ITER 7621 NEW BEST:: SOT 19657458 SOS 4683455 HAS SOPS 4683455 HAS SOUS 2409871 HAS SOUPS 2409871 WITH SCORE 2414554.455
AT ITER 7660 NEW BEST:: SOT 19657363 SOS 4682713 HAS SOPS 4682713 HAS SOUS 2409497 HAS SOUPS 2409497 WITH SCORE 2414179.713
AT ITER 7703 NEW BEST:: SOT 19657313 SOS 4682591 HAS SOPS 4682591 HAS SOUS 2409375 HAS SOUPS 2409375 WITH SCORE 2414057.591
AT ITER 7740 NEW BEST:: SOT 19656209 SOS 4682168 HAS SOPS 4682168 HAS SOUS 2408866 HAS SOUPS 2408866 WITH SCORE 2413548.168
AT ITER 7754 NEW BEST:: SOT 19656209 SOS 4682140 HAS SOPS 4682140 HAS SOUS 2408745 HAS SOUPS 2408745 WITH SCORE 2413427.14
AT ITER 7771 NEW BEST:: SOT 19656209 SOS 4683195 HAS SOPS 4683195 HAS SOUS 2408609 HAS SOUPS 2408609 WITH SCORE 2413292.195
AT ITER 7774 NEW BEST:: SOT 19656209 SOS 4683195 HAS SOPS 4683195 HAS SOUS 2407848 HAS SOUPS 2407848 WITH SCORE 2412531.195
AT ITER 7799 NEW BEST:: SOT 19655698 SOS 4683696 HAS SOPS 4683696 HAS SOUS 2407336 HAS SOUPS 2407336 WITH SCORE 2412019.696
AT ITER 7818 NEW BEST:: SOT 19655697 SOS 4683694 HAS SOPS 4683694 HAS SOUS 2407334 HAS SOUPS 2407334 WITH SCORE 2412017.694
AT ITER 7838 NEW BEST:: SOT 19655697 SOS 4683694 HAS SOPS 4683694 HAS SOUS 2407329 HAS SOUPS 2407329 WITH SCORE 2412012.694
AT ITER 7880 NEW BEST:: SOT 19655696 SOS 4683692 HAS SOPS 4683692 HAS SOUS 2407327 HAS SOUPS 2407327 WITH SCORE 2412010.692
AT ITER 7918 NEW BEST:: SOT 19655696 SOS 4684951 HAS SOPS 4684951 HAS SOUS 2407298 HAS SOUPS 2407298 WITH SCORE 2411982.951
AT ITER 7929 NEW BEST:: SOT 19655696 SOS 4685301 HAS SOPS 4685301 HAS SOUS 2407297 HAS SOUPS 2407297 WITH SCORE 2411982.301
AT ITER 7931 NEW BEST:: SOT 19655608 SOS 4685389 HAS SOPS 4685389 HAS SOUS 2407209 HAS SOUPS 2407209 WITH SCORE 2411894.389
AT ITER 7968 NEW BEST:: SOT 19655332 SOS 4684837 HAS SOPS 4684837 HAS SOUS 2406931 HAS SOUPS 2406931 WITH SCORE 2411615.837
AT ITER 7983 NEW BEST:: SOT 19655122 SOS 4684570 HAS SOPS 4684570 HAS SOUS 2406632 HAS SOUPS 2406632 WITH SCORE 2411316.57
AT ITER 8001 NEW BEST:: SOT 19654510 SOS 4684019 HAS SOPS 4684019 HAS SOUS 2406081 HAS SOUPS 2406081 WITH SCORE 2410765.019
AT ITER 8007 NEW BEST:: SOT 19654061 SOS 4683027 HAS SOPS 4683027 HAS SOUS 2405451 HAS SOUPS 2405451 WITH SCORE 2410134.027
AT ITER 8017 NEW BEST:: SOT 19653416 SOS 4683001 HAS SOPS 4683001 HAS SOUS 2405131 HAS SOUPS 2405131 WITH SCORE 2409814.001
AT ITER 8020 NEW BEST:: SOT 19653899 SOS 4681891 HAS SOPS 4681891 HAS SOUS 2404639 HAS SOUPS 2404639 WITH SCORE 2409320.891
AT ITER 8032 NEW BEST:: SOT 19653701 SOS 4680703 HAS SOPS 4680703 HAS SOUS 2404441 HAS SOUPS 2404441 WITH SCORE 2409121.703
AT ITER 8041 NEW BEST:: SOT 19653677 SOS 4680655 HAS SOPS 4680655 HAS SOUS 2404416 HAS SOUPS 2404416 WITH SCORE 2409096.655
AT ITER 8046 NEW BEST:: SOT 19653656 SOS 4680673 HAS SOPS 4680673 HAS SOUS 2404394 HAS SOUPS 2404394 WITH SCORE 2409074.673
AT ITER 8049 NEW BEST:: SOT 19653379 SOS 4680119 HAS SOPS 4680119 HAS SOUS 2403727 HAS SOUPS 2403727 WITH SCORE 2408407.119
AT ITER 8107 NEW BEST:: SOT 19653379 SOS 4679741 HAS SOPS 4679741 HAS SOUS 2403727 HAS SOUPS 2403727 WITH SCORE 2408406.741
AT ITER 8110 NEW BEST:: SOT 19653379 SOS 4679741 HAS SOPS 4679741 HAS SOUS 2403726 HAS SOUPS 2403726 WITH SCORE 2408405.741
AT ITER 8123 NEW BEST:: SOT 19653378 SOS 4679739 HAS SOPS 4679739 HAS SOUS 2403724 HAS SOUPS 2403724 WITH SCORE 2408403.739
AT ITER 8166 NEW BEST:: SOT 19652466 SOS 4679253 HAS SOPS 4679253 HAS SOUS 2402812 HAS SOUPS 2402812 WITH SCORE 2407491.253
AT ITER 8219 NEW BEST:: SOT 19652200 SOS 4678721 HAS SOPS 4678721 HAS SOUS 2402280 HAS SOUPS 2402280 WITH SCORE 2406958.721
AT ITER 8230 NEW BEST:: SOT 19651596 SOS 4676909 HAS SOPS 4676909 HAS SOUS 2400468 HAS SOUPS 2400468 WITH SCORE 2405144.909
AT ITER 8246 NEW BEST:: SOT 19651489 SOS 4676908 HAS SOPS 4676908 HAS SOUS 2400467 HAS SOUPS 2400467 WITH SCORE 2405143.908
AT ITER 8277 NEW BEST:: SOT 19651489 SOS 4678282 HAS SOPS 4678282 HAS SOUS 2400132 HAS SOUPS 2400132 WITH SCORE 2404810.282
AT ITER 8292 NEW BEST:: SOT 19650701 SOS 4677028 HAS SOPS 4677028 HAS SOUS 2398878 HAS SOUPS 2398878 WITH SCORE 2403555.028
AT ITER 8301 NEW BEST:: SOT 19649727 SOS 4676566 HAS SOPS 4676566 HAS SOUS 2397935 HAS SOUPS 2397935 WITH SCORE 2402611.566
AT ITER 8307 NEW BEST:: SOT 19649634 SOS 4676101 HAS SOPS 4676101 HAS SOUS 2397749 HAS SOUPS 2397749 WITH SCORE 2402425.101
AT ITER 8321 NEW BEST:: SOT 19649491 SOS 4677375 HAS SOPS 4677375 HAS SOUS 2397619 HAS SOUPS 2397619 WITH SCORE 2402296.375
AT ITER 8338 NEW BEST:: SOT 19648415 SOS 4676837 HAS SOPS 4676837 HAS SOUS 2397081 HAS SOUPS 2397081 WITH SCORE 2401757.837
AT ITER 8346 NEW BEST:: SOT 19647170 SOS 4675387 HAS SOPS 4675387 HAS SOUS 2396671 HAS SOUPS 2396671 WITH SCORE 2401346.387
AT ITER 8351 NEW BEST:: SOT 19647169 SOS 4675386 HAS SOPS 4675386 HAS SOUS 2396670 HAS SOUPS 2396670 WITH SCORE 2401345.386
AT ITER 8364 NEW BEST:: SOT 19646562 SOS 4675260 HAS SOPS 4675260 HAS SOUS 2396335 HAS SOUPS 2396335 WITH SCORE 2401010.26
AT ITER 8412 NEW BEST:: SOT 19646405 SOS 4675103 HAS SOPS 4675103 HAS SOUS 2396178 HAS SOUPS 2396178 WITH SCORE 2400853.103
AT ITER 8421 NEW BEST:: SOT 19646405 SOS 4675103 HAS SOPS 4675103 HAS SOUS 2396177 HAS SOUPS 2396177 WITH SCORE 2400852.103
AT ITER 8424 NEW BEST:: SOT 19646033 SOS 4674359 HAS SOPS 4674359 HAS SOUS 2395319 HAS SOUPS 2395319 WITH SCORE 2399993.359
AT ITER 8427 NEW BEST:: SOT 19646470 SOS 4675233 HAS SOPS 4675233 HAS SOUS 2394999 HAS SOUPS 2394999 WITH SCORE 2399674.233
AT ITER 8442 NEW BEST:: SOT 19646470 SOS 4674798 HAS SOPS 4674798 HAS SOUS 2394564 HAS SOUPS 2394564 WITH SCORE 2399238.798
AT ITER 8446 NEW BEST:: SOT 19646200 SOS 4674794 HAS SOPS 4674794 HAS SOUS 2394563 HAS SOUPS 2394563 WITH SCORE 2399237.794
AT ITER 8470 NEW BEST:: SOT 19646200 SOS 4674596 HAS SOPS 4674596 HAS SOUS 2394563 HAS SOUPS 2394563 WITH SCORE 2399237.596
AT ITER 8482 NEW BEST:: SOT 19646136 SOS 4674532 HAS SOPS 4674532 HAS SOUS 2394499 HAS SOUPS 2394499 WITH SCORE 2399173.532
AT ITER 8488 NEW BEST:: SOT 19646136 SOS 4674388 HAS SOPS 4674388 HAS SOUS 2394211 HAS SOUPS 2394211 WITH SCORE 2398885.388
AT ITER 8489 NEW BEST:: SOT 19645830 SOS 4673470 HAS SOPS 4673470 HAS SOUS 2393293 HAS SOUPS 2393293 WITH SCORE 2397966.47
AT ITER 8490 NEW BEST:: SOT 19645442 SOS 4672694 HAS SOPS 4672694 HAS SOUS 2392905 HAS SOUPS 2392905 WITH SCORE 2397577.694
AT ITER 8498 NEW BEST:: SOT 19645277 SOS 4672529 HAS SOPS 4672529 HAS SOUS 2392740 HAS SOUPS 2392740 WITH SCORE 2397412.529
AT ITER 8504 NEW BEST:: SOT 19645021 SOS 4672017 HAS SOPS 4672017 HAS SOUS 2392228 HAS SOUPS 2392228 WITH SCORE 2396900.017
AT ITER 8532 NEW BEST:: SOT 19645011 SOS 4673616 HAS SOPS 4673616 HAS SOUS 2392207 HAS SOUPS 2392207 WITH SCORE 2396880.616
AT ITER 8613 NEW BEST:: SOT 19644844 SOS 4672214 HAS SOPS 4672214 HAS SOUS 2392040 HAS SOUPS 2392040 WITH SCORE 2396712.214
AT ITER 8628 NEW BEST:: SOT 19644897 SOS 4670916 HAS SOPS 4670916 HAS SOUS 2391990 HAS SOUPS 2391990 WITH SCORE 2396660.916
AT ITER 8633 NEW BEST:: SOT 19644897 SOS 4670916 HAS SOPS 4670916 HAS SOUS 2391989 HAS SOUPS 2391989 WITH SCORE 2396659.916
AT ITER 8642 NEW BEST:: SOT 19644952 SOS 4677965 HAS SOPS 4677965 HAS SOUS 2391714 HAS SOUPS 2391714 WITH SCORE 2396391.965
AT ITER 8657 NEW BEST:: SOT 19644336 SOS 4678291 HAS SOPS 4678291 HAS SOUS 2390401 HAS SOUPS 2390401 WITH SCORE 2395079.291
AT ITER 8678 NEW BEST:: SOT 19644336 SOS 4685005 HAS SOPS 4685005 HAS SOUS 2389909 HAS SOUPS 2389909 WITH SCORE 2394594.005
AT ITER 8691 NEW BEST:: SOT 19644336 SOS 4685324 HAS SOPS 4685324 HAS SOUS 2389861 HAS SOUPS 2389861 WITH SCORE 2394546.324
AT ITER 8697 NEW BEST:: SOT 19644476 SOS 4684026 HAS SOPS 4684026 HAS SOUS 2389245 HAS SOUPS 2389245 WITH SCORE 2393929.026
AT ITER 8698 NEW BEST:: SOT 19644110 SOS 4683294 HAS SOPS 4683294 HAS SOUS 2388879 HAS SOUPS 2388879 WITH SCORE 2393562.294
AT ITER 8701 NEW BEST:: SOT 19643783 SOS 4684512 HAS SOPS 4684512 HAS SOUS 2388635 HAS SOUPS 2388635 WITH SCORE 2393319.512
AT ITER 8706 NEW BEST:: SOT 19643642 SOS 4684230 HAS SOPS 4684230 HAS SOUS 2388353 HAS SOUPS 2388353 WITH SCORE 2393037.23
AT ITER 8746 NEW BEST:: SOT 19642510 SOS 4683664 HAS SOPS 4683664 HAS SOUS 2387787 HAS SOUPS 2387787 WITH SCORE 2392470.664
AT ITER 8747 NEW BEST:: SOT 19642484 SOS 4683612 HAS SOPS 4683612 HAS SOUS 2387761 HAS SOUPS 2387761 WITH SCORE 2392444.612
AT ITER 8766 NEW BEST:: SOT 19642264 SOS 4683172 HAS SOPS 4683172 HAS SOUS 2387321 HAS SOUPS 2387321 WITH SCORE 2392004.172
AT ITER 8768 NEW BEST:: SOT 19642266 SOS 4682402 HAS SOPS 4682402 HAS SOUS 2387093 HAS SOUPS 2387093 WITH SCORE 2391775.402
AT ITER 8783 NEW BEST:: SOT 19642333 SOS 4682536 HAS SOPS 4682536 HAS SOUS 2387075 HAS SOUPS 2387075 WITH SCORE 2391757.536
AT ITER 8784 NEW BEST:: SOT 19642137 SOS 4682144 HAS SOPS 4682144 HAS SOUS 2386683 HAS SOUPS 2386683 WITH SCORE 2391365.144
AT ITER 8791 NEW BEST:: SOT 19642136 SOS 4682142 HAS SOPS 4682142 HAS SOUS 2386681 HAS SOUPS 2386681 WITH SCORE 2391363.142
AT ITER 8804 NEW BEST:: SOT 19641813 SOS 4682569 HAS SOPS 4682569 HAS SOUS 2385998 HAS SOUPS 2385998 WITH SCORE 2390680.569
AT ITER 8808 NEW BEST:: SOT 19641813 SOS 4682449 HAS SOPS 4682449 HAS SOUS 2385986 HAS SOUPS 2385986 WITH SCORE 2390668.449
AT ITER 8830 NEW BEST:: SOT 19641643 SOS 4681089 HAS SOPS 4681089 HAS SOUS 2385646 HAS SOUPS 2385646 WITH SCORE 2390327.089
AT ITER 8834 NEW BEST:: SOT 19641108 SOS 4678339 HAS SOPS 4678339 HAS SOUS 2385371 HAS SOUPS 2385371 WITH SCORE 2390049.339
AT ITER 8848 NEW BEST:: SOT 19641108 SOS 4677784 HAS SOPS 4677784 HAS SOUS 2385186 HAS SOUPS 2385186 WITH SCORE 2389863.784
AT ITER 8850 NEW BEST:: SOT 19641097 SOS 4677806 HAS SOPS 4677806 HAS SOUS 2385176 HAS SOUPS 2385176 WITH SCORE 2389853.806
AT ITER 8863 NEW BEST:: SOT 19640872 SOS 4676894 HAS SOPS 4676894 HAS SOUS 2384489 HAS SOUPS 2384489 WITH SCORE 2389165.894
AT ITER 8899 NEW BEST:: SOT 19640872 SOS 4676773 HAS SOPS 4676773 HAS SOUS 2384368 HAS SOUPS 2384368 WITH SCORE 2389044.773
AT ITER 8904 NEW BEST:: SOT 19640706 SOS 4676609 HAS SOPS 4676609 HAS SOUS 2384204 HAS SOUPS 2384204 WITH SCORE 2388880.609
AT ITER 8908 NEW BEST:: SOT 19640687 SOS 4676590 HAS SOPS 4676590 HAS SOUS 2384185 HAS SOUPS 2384185 WITH SCORE 2388861.59
AT ITER 8917 NEW BEST:: SOT 19640400 SOS 4676125 HAS SOPS 4676125 HAS SOUS 2383710 HAS SOUPS 2383710 WITH SCORE 2388386.125
AT ITER 8927 NEW BEST:: SOT 19640037 SOS 4678656 HAS SOPS 4678656 HAS SOUS 2382983 HAS SOUPS 2382983 WITH SCORE 2387661.656
AT ITER 8936 NEW BEST:: SOT 19639586 SOS 4679119 HAS SOPS 4679119 HAS SOUS 2382833 HAS SOUPS 2382833 WITH SCORE 2387512.119
AT ITER 8973 NEW BEST:: SOT 19639516 SOS 4679089 HAS SOPS 4679089 HAS SOUS 2382803 HAS SOUPS 2382803 WITH SCORE 2387482.089
AT ITER 8976 NEW BEST:: SOT 19639319 SOS 4680468 HAS SOPS 4680468 HAS SOUS 2382409 HAS SOUPS 2382409 WITH SCORE 2387089.468
AT ITER 9021 NEW BEST:: SOT 19639387 SOS 4680453 HAS SOPS 4680453 HAS SOUS 2382394 HAS SOUPS 2382394 WITH SCORE 2387074.453
AT ITER 9062 NEW BEST:: SOT 19639571 SOS 4682702 HAS SOPS 4682702 HAS SOUS 2382135 HAS SOUPS 2382135 WITH SCORE 2386817.702
AT ITER 9096 NEW BEST:: SOT 19639150 SOS 4682934 HAS SOPS 4682934 HAS SOUS 2381976 HAS SOUPS 2381976 WITH SCORE 2386658.934
AT ITER 9102 NEW BEST:: SOT 19639268 SOS 4680590 HAS SOPS 4680590 HAS SOUS 2381629 HAS SOUPS 2381629 WITH SCORE 2386309.59
AT ITER 9108 NEW BEST:: SOT 19639307 SOS 4681207 HAS SOPS 4681207 HAS SOUS 2381212 HAS SOUPS 2381212 WITH SCORE 2385893.207
AT ITER 9111 NEW BEST:: SOT 19639307 SOS 4681207 HAS SOPS 4681207 HAS SOUS 2381199 HAS SOUPS 2381199 WITH SCORE 2385880.207
AT ITER 9129 NEW BEST:: SOT 19639307 SOS 4681207 HAS SOPS 4681207 HAS SOUS 2381198 HAS SOUPS 2381198 WITH SCORE 2385879.207
AT ITER 9134 NEW BEST:: SOT 19639307 SOS 4678487 HAS SOPS 4678487 HAS SOUS 2381133 HAS SOUPS 2381133 WITH SCORE 2385811.487
AT ITER 9147 NEW BEST:: SOT 19639307 SOS 4679074 HAS SOPS 4679074 HAS SOUS 2380862 HAS SOUPS 2380862 WITH SCORE 2385541.074
AT ITER 9176 NEW BEST:: SOT 19639134 SOS 4678728 HAS SOPS 4678728 HAS SOUS 2380689 HAS SOUPS 2380689 WITH SCORE 2385367.728
AT ITER 9183 NEW BEST:: SOT 19639134 SOS 4678012 HAS SOPS 4678012 HAS SOUS 2380331 HAS SOUPS 2380331 WITH SCORE 2385009.012
AT ITER 9193 NEW BEST:: SOT 19639134 SOS 4677610 HAS SOPS 4677610 HAS SOUS 2380197 HAS SOUPS 2380197 WITH SCORE 2384874.61
AT ITER 9227 NEW BEST:: SOT 19639048 SOS 4677609 HAS SOPS 4677609 HAS SOUS 2380196 HAS SOUPS 2380196 WITH SCORE 2384873.609
AT ITER 9276 NEW BEST:: SOT 19639047 SOS 4677607 HAS SOPS 4677607 HAS SOUS 2380194 HAS SOUPS 2380194 WITH SCORE 2384871.607
AT ITER 9293 NEW BEST:: SOT 19638967 SOS 4677527 HAS SOPS 4677527 HAS SOUS 2380114 HAS SOUPS 2380114 WITH SCORE 2384791.527
AT ITER 9311 NEW BEST:: SOT 19637285 SOS 4676058 HAS SOPS 4676058 HAS SOUS 2378647 HAS SOUPS 2378647 WITH SCORE 2383323.058
AT ITER 9339 NEW BEST:: SOT 19637285 SOS 4676058 HAS SOPS 4676058 HAS SOUS 2378594 HAS SOUPS 2378594 WITH SCORE 2383270.058
AT ITER 9354 NEW BEST:: SOT 19637285 SOS 4675715 HAS SOPS 4675715 HAS SOUS 2378251 HAS SOUPS 2378251 WITH SCORE 2382926.715
AT ITER 9361 NEW BEST:: SOT 19636950 SOS 4676717 HAS SOPS 4676717 HAS SOUS 2377811 HAS SOUPS 2377811 WITH SCORE 2382487.717
AT ITER 9367 NEW BEST:: SOT 19636484 SOS 4676379 HAS SOPS 4676379 HAS SOUS 2377345 HAS SOUPS 2377345 WITH SCORE 2382021.379
AT ITER 9368 NEW BEST:: SOT 19636276 SOS 4676791 HAS SOPS 4676791 HAS SOUS 2377137 HAS SOUPS 2377137 WITH SCORE 2381813.791
AT ITER 9377 NEW BEST:: SOT 19636276 SOS 4675807 HAS SOPS 4675807 HAS SOUS 2376809 HAS SOUPS 2376809 WITH SCORE 2381484.807
AT ITER 9397 NEW BEST:: SOT 19636219 SOS 4675806 HAS SOPS 4675806 HAS SOUS 2376808 HAS SOUPS 2376808 WITH SCORE 2381483.806
AT ITER 9419 NEW BEST:: SOT 19636013 SOS 4675394 HAS SOPS 4675394 HAS SOUS 2376602 HAS SOUPS 2376602 WITH SCORE 2381277.394
AT ITER 9420 NEW BEST:: SOT 19635136 SOS 4671911 HAS SOPS 4671911 HAS SOUS 2375540 HAS SOUPS 2375540 WITH SCORE 2380211.911
AT ITER 9422 NEW BEST:: SOT 19635136 SOS 4671236 HAS SOPS 4671236 HAS SOUS 2375540 HAS SOUPS 2375540 WITH SCORE 2380211.236
AT ITER 9429 NEW BEST:: SOT 19634715 SOS 4669330 HAS SOPS 4669330 HAS SOUS 2374698 HAS SOUPS 2374698 WITH SCORE 2379367.33
AT ITER 9431 NEW BEST:: SOT 19632774 SOS 4667992 HAS SOPS 4667992 HAS SOUS 2372807 HAS SOUPS 2372807 WITH SCORE 2377474.992
AT ITER 9434 NEW BEST:: SOT 19632774 SOS 4667982 HAS SOPS 4667982 HAS SOUS 2372806 HAS SOUPS 2372806 WITH SCORE 2377473.982
AT ITER 9439 NEW BEST:: SOT 19631786 SOS 4669756 HAS SOPS 4669756 HAS SOUS 2372231 HAS SOUPS 2372231 WITH SCORE 2376900.756
AT ITER 9447 NEW BEST:: SOT 19631687 SOS 4669558 HAS SOPS 4669558 HAS SOUS 2372033 HAS SOUPS 2372033 WITH SCORE 2376702.558
AT ITER 9477 NEW BEST:: SOT 19631003 SOS 4669232 HAS SOPS 4669232 HAS SOUS 2371707 HAS SOUPS 2371707 WITH SCORE 2376376.232
AT ITER 9491 NEW BEST:: SOT 19630969 SOS 4669164 HAS SOPS 4669164 HAS SOUS 2371639 HAS SOUPS 2371639 WITH SCORE 2376308.164
AT ITER 9522 NEW BEST:: SOT 19631054 SOS 4669334 HAS SOPS 4669334 HAS SOUS 2371227 HAS SOUPS 2371227 WITH SCORE 2375896.334
AT ITER 9541 NEW BEST:: SOT 19631054 SOS 4669206 HAS SOPS 4669206 HAS SOUS 2371227 HAS SOUPS 2371227 WITH SCORE 2375896.206
AT ITER 9544 NEW BEST:: SOT 19630712 SOS 4669172 HAS SOPS 4669172 HAS SOUS 2370885 HAS SOUPS 2370885 WITH SCORE 2375554.172
AT ITER 9549 NEW BEST:: SOT 19630712 SOS 4668316 HAS SOPS 4668316 HAS SOUS 2370884 HAS SOUPS 2370884 WITH SCORE 2375552.316
AT ITER 9552 NEW BEST:: SOT 19630712 SOS 4668265 HAS SOPS 4668265 HAS SOUS 2370833 HAS SOUPS 2370833 WITH SCORE 2375501.265
AT ITER 9565 NEW BEST:: SOT 19629826 SOS 4667369 HAS SOPS 4667369 HAS SOUS 2369946 HAS SOUPS 2369946 WITH SCORE 2374613.369
AT ITER 9594 NEW BEST:: SOT 19629826 SOS 4667369 HAS SOPS 4667369 HAS SOUS 2369908 HAS SOUPS 2369908 WITH SCORE 2374575.369
AT ITER 9603 NEW BEST:: SOT 19629825 SOS 4667367 HAS SOPS 4667367 HAS SOUS 2369906 HAS SOUPS 2369906 WITH SCORE 2374573.367
AT ITER 9638 NEW BEST:: SOT 19629758 SOS 4667297 HAS SOPS 4667297 HAS SOUS 2369771 HAS SOUPS 2369771 WITH SCORE 2374438.297
AT ITER 9668 NEW BEST:: SOT 19628992 SOS 4665765 HAS SOPS 4665765 HAS SOUS 2368239 HAS SOUPS 2368239 WITH SCORE 2372904.765
AT ITER 9723 NEW BEST:: SOT 19628995 SOS 4667071 HAS SOPS 4667071 HAS SOUS 2367530 HAS SOUPS 2367530 WITH SCORE 2372197.071
AT ITER 9753 NEW BEST:: SOT 19628976 SOS 4665837 HAS SOPS 4665837 HAS SOUS 2367511 HAS SOUPS 2367511 WITH SCORE 2372176.837
AT ITER 9754 NEW BEST:: SOT 19629060 SOS 4666001 HAS SOPS 4666001 HAS SOUS 2367509 HAS SOUPS 2367509 WITH SCORE 2372175.001
AT ITER 9757 NEW BEST:: SOT 19628670 SOS 4665611 HAS SOPS 4665611 HAS SOUS 2367119 HAS SOUPS 2367119 WITH SCORE 2371784.611
AT ITER 9765 NEW BEST:: SOT 19628670 SOS 4665611 HAS SOPS 4665611 HAS SOUS 2366916 HAS SOUPS 2366916 WITH SCORE 2371581.611
AT ITER 9770 NEW BEST:: SOT 19628571 SOS 4665559 HAS SOPS 4665559 HAS SOUS 2366864 HAS SOUPS 2366864 WITH SCORE 2371529.559
AT ITER 9771 NEW BEST:: SOT 19628396 SOS 4665384 HAS SOPS 4665384 HAS SOUS 2366689 HAS SOUPS 2366689 WITH SCORE 2371354.384
AT ITER 9783 NEW BEST:: SOT 19627403 SOS 4664410 HAS SOPS 4664410 HAS SOUS 2365695 HAS SOUPS 2365695 WITH SCORE 2370359.41
AT ITER 9786 NEW BEST:: SOT 19627402 SOS 4664408 HAS SOPS 4664408 HAS SOUS 2365693 HAS SOUPS 2365693 WITH SCORE 2370357.408
AT ITER 9800 NEW BEST:: SOT 19627503 SOS 4672733 HAS SOPS 4672733 HAS SOUS 2365268 HAS SOUPS 2365268 WITH SCORE 2369940.733
AT ITER 9849 NEW BEST:: SOT 19627472 SOS 4673244 HAS SOPS 4673244 HAS SOUS 2364664 HAS SOUPS 2364664 WITH SCORE 2369337.244
AT ITER 9859 NEW BEST:: SOT 19627464 SOS 4673236 HAS SOPS 4673236 HAS SOUS 2364656 HAS SOUPS 2364656 WITH SCORE 2369329.236
AT ITER 9878 NEW BEST:: SOT 19627463 SOS 4673234 HAS SOPS 4673234 HAS SOUS 2364654 HAS SOUPS 2364654 WITH SCORE 2369327.234
AT ITER 9892 NEW BEST:: SOT 19627039 SOS 4672962 HAS SOPS 4672962 HAS SOUS 2363979 HAS SOUPS 2363979 WITH SCORE 2368651.962
AT ITER 9894 NEW BEST:: SOT 19627022 SOS 4672928 HAS SOPS 4672928 HAS SOUS 2363945 HAS SOUPS 2363945 WITH SCORE 2368617.928
AT ITER 9899 NEW BEST:: SOT 19626961 SOS 4673345 HAS SOPS 4673345 HAS SOUS 2363822 HAS SOUPS 2363822 WITH SCORE 2368495.345
AT ITER 9902 NEW BEST:: SOT 19626961 SOS 4673806 HAS SOPS 4673806 HAS SOUS 2363361 HAS SOUPS 2363361 WITH SCORE 2368034.806
AT ITER 9907 NEW BEST:: SOT 19626961 SOS 4674481 HAS SOPS 4674481 HAS SOUS 2363360 HAS SOUPS 2363360 WITH SCORE 2368034.481
AT ITER 9918 NEW BEST:: SOT 19626961 SOS 4679814 HAS SOPS 4679814 HAS SOUS 2363248 HAS SOUPS 2363248 WITH SCORE 2367927.814
AT ITER 9948 NEW BEST:: SOT 19626962 SOS 4679679 HAS SOPS 4679679 HAS SOUS 2363041 HAS SOUPS 2363041 WITH SCORE 2367720.679
AT ITER 9973 NEW BEST:: SOT 19626193 SOS 4679002 HAS SOPS 4679002 HAS SOUS 2362364 HAS SOUPS 2362364 WITH SCORE 2367043.002
AT ITER 9974 NEW BEST:: SOT 19626089 SOS 4678898 HAS SOPS 4678898 HAS SOUS 2362260 HAS SOUPS 2362260 WITH SCORE 2366938.898
AT ITER 9980 NEW BEST:: SOT 19626089 SOS 4678872 HAS SOPS 4678872 HAS SOUS 2362260 HAS SOUPS 2362260 WITH SCORE 2366938.872
AT ITER 9988 NEW BEST:: SOT 19625209 SOS 4669902 HAS SOPS 4669902 HAS SOUS 2360571 HAS SOUPS 2360571 WITH SCORE 2365240.902
AT ITER 9990 NEW BEST:: SOT 19625106 SOS 4669799 HAS SOPS 4669799 HAS SOUS 2360468 HAS SOUPS 2360468 WITH SCORE 2365137.799

BK_TIME_CONFINEMENT_REACHED

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

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"

# 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-4028"
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 r048-ebro-158902542400592"
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 ;