fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r224-oct2-159033538800411
Last Updated
Jun 28, 2020

About the Execution of smart for Sudoku-PT-AN13

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

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538800411.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Sudoku-PT-AN13, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538800411
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.6M
-rw-r--r-- 1 mcc users 3.6K Jun 3 09:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Jun 3 09:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Jun 3 09:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Jun 3 09:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 374K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.2M May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.1M May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 3.8M May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.0K Jun 3 09:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Jun 3 09:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Jun 3 09:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 23K Jun 3 09:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 3 09:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 1.2M May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Sudoku-PT-AN13-CTLCardinality-00
FORMULA_NAME Sudoku-PT-AN13-CTLCardinality-01
FORMULA_NAME Sudoku-PT-AN13-CTLCardinality-02
FORMULA_NAME Sudoku-PT-AN13-CTLCardinality-03
FORMULA_NAME Sudoku-PT-AN13-CTLCardinality-04
FORMULA_NAME Sudoku-PT-AN13-CTLCardinality-05
FORMULA_NAME Sudoku-PT-AN13-CTLCardinality-06
FORMULA_NAME Sudoku-PT-AN13-CTLCardinality-07
FORMULA_NAME Sudoku-PT-AN13-CTLCardinality-08
FORMULA_NAME Sudoku-PT-AN13-CTLCardinality-09
FORMULA_NAME Sudoku-PT-AN13-CTLCardinality-10
FORMULA_NAME Sudoku-PT-AN13-CTLCardinality-11
FORMULA_NAME Sudoku-PT-AN13-CTLCardinality-12
FORMULA_NAME Sudoku-PT-AN13-CTLCardinality-13
FORMULA_NAME Sudoku-PT-AN13-CTLCardinality-14
FORMULA_NAME Sudoku-PT-AN13-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591336624648

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN13
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 2704 places, 2197 transitions, 8788 arcs.
AT ITER 0 NEW BEST:: SOT 4850464 SOS 2422102 HAS SOPS 2422102 HAS SOUS 2422102 HAS SOUPS 2422102 WITH SCORE 2424524.102
AT ITER 6 NEW BEST:: SOT 4850621 SOS 2422250 HAS SOPS 2422250 HAS SOUS 2422082 HAS SOUPS 2422082 WITH SCORE 2424504.25
AT ITER 12 NEW BEST:: SOT 4850751 SOS 2422351 HAS SOPS 2422351 HAS SOUS 2422075 HAS SOUPS 2422075 WITH SCORE 2424497.351
AT ITER 30 NEW BEST:: SOT 4847661 SOS 2421329 HAS SOPS 2421329 HAS SOUS 2419247 HAS SOUPS 2419247 WITH SCORE 2421668.329
AT ITER 43 NEW BEST:: SOT 4846339 SOS 2425723 HAS SOPS 2425723 HAS SOUS 2418055 HAS SOUPS 2418055 WITH SCORE 2420480.723
AT ITER 46 NEW BEST:: SOT 4844370 SOS 2439976 HAS SOPS 2439976 HAS SOUS 2416282 HAS SOUPS 2416282 WITH SCORE 2418721.976
AT ITER 56 NEW BEST:: SOT 4844453 SOS 2439962 HAS SOPS 2439962 HAS SOUS 2416160 HAS SOUPS 2416160 WITH SCORE 2418599.962
AT ITER 60 NEW BEST:: SOT 4842719 SOS 2438491 HAS SOPS 2438491 HAS SOUS 2414617 HAS SOUPS 2414617 WITH SCORE 2417055.491
AT ITER 67 NEW BEST:: SOT 4840596 SOS 2439329 HAS SOPS 2439329 HAS SOUS 2412605 HAS SOUPS 2412605 WITH SCORE 2415044.329
AT ITER 85 NEW BEST:: SOT 4837770 SOS 2436770 HAS SOPS 2436770 HAS SOUS 2409914 HAS SOUPS 2409914 WITH SCORE 2412350.77
AT ITER 86 NEW BEST:: SOT 4836213 SOS 2441932 HAS SOPS 2441932 HAS SOUS 2408446 HAS SOUPS 2408446 WITH SCORE 2410887.932
AT ITER 87 NEW BEST:: SOT 4836165 SOS 2442760 HAS SOPS 2442760 HAS SOUS 2408398 HAS SOUPS 2408398 WITH SCORE 2410840.76
AT ITER 99 NEW BEST:: SOT 4832919 SOS 2439802 HAS SOPS 2439802 HAS SOUS 2405344 HAS SOUPS 2405344 WITH SCORE 2407783.802
AT ITER 108 NEW BEST:: SOT 4830458 SOS 2447049 HAS SOPS 2447049 HAS SOUS 2403009 HAS SOUPS 2403009 WITH SCORE 2405456.049
AT ITER 117 NEW BEST:: SOT 4828403 SOS 2459601 HAS SOPS 2459601 HAS SOUS 2401167 HAS SOUPS 2401167 WITH SCORE 2403626.601
AT ITER 127 NEW BEST:: SOT 4825744 SOS 2465306 HAS SOPS 2465306 HAS SOUS 2398694 HAS SOUPS 2398694 WITH SCORE 2401159.306
AT ITER 129 NEW BEST:: SOT 4824310 SOS 2464067 HAS SOPS 2464067 HAS SOUS 2397383 HAS SOUPS 2397383 WITH SCORE 2399847.067
AT ITER 135 NEW BEST:: SOT 4822453 SOS 2463733 HAS SOPS 2463733 HAS SOUS 2395639 HAS SOUPS 2395639 WITH SCORE 2398102.733
AT ITER 137 NEW BEST:: SOT 4821021 SOS 2468302 HAS SOPS 2468302 HAS SOUS 2394370 HAS SOUPS 2394370 WITH SCORE 2396838.302
AT ITER 144 NEW BEST:: SOT 4821075 SOS 2468239 HAS SOPS 2468239 HAS SOUS 2394175 HAS SOUPS 2394175 WITH SCORE 2396643.239
AT ITER 154 NEW BEST:: SOT 4818284 SOS 2472620 HAS SOPS 2472620 HAS SOUS 2391614 HAS SOUPS 2391614 WITH SCORE 2394086.62
AT ITER 163 NEW BEST:: SOT 4816173 SOS 2487058 HAS SOPS 2487058 HAS SOUS 2389738 HAS SOUPS 2389738 WITH SCORE 2392225.058
AT ITER 167 NEW BEST:: SOT 4814343 SOS 2486236 HAS SOPS 2486236 HAS SOUS 2388160 HAS SOUPS 2388160 WITH SCORE 2390646.236
AT ITER 199 NEW BEST:: SOT 4814343 SOS 2486135 HAS SOPS 2486135 HAS SOUS 2388160 HAS SOUPS 2388160 WITH SCORE 2390646.135
AT ITER 204 NEW BEST:: SOT 4812674 SOS 2491130 HAS SOPS 2491130 HAS SOUS 2386585 HAS SOUPS 2386585 WITH SCORE 2389076.13
AT ITER 206 NEW BEST:: SOT 4810844 SOS 2489493 HAS SOPS 2489493 HAS SOUS 2384912 HAS SOUPS 2384912 WITH SCORE 2387401.493
AT ITER 207 NEW BEST:: SOT 4810700 SOS 2490045 HAS SOPS 2490045 HAS SOUS 2384819 HAS SOUPS 2384819 WITH SCORE 2387309.045
AT ITER 213 NEW BEST:: SOT 4809566 SOS 2489144 HAS SOPS 2489144 HAS SOUS 2383786 HAS SOUPS 2383786 WITH SCORE 2386275.144
AT ITER 217 NEW BEST:: SOT 4809566 SOS 2488871 HAS SOPS 2488871 HAS SOUS 2383786 HAS SOUPS 2383786 WITH SCORE 2386274.871
AT ITER 228 NEW BEST:: SOT 4809422 SOS 2498207 HAS SOPS 2498207 HAS SOUS 2383642 HAS SOUPS 2383642 WITH SCORE 2386140.207
AT ITER 241 NEW BEST:: SOT 4809422 SOS 2497760 HAS SOPS 2497760 HAS SOUS 2383642 HAS SOUPS 2383642 WITH SCORE 2386139.76
AT ITER 244 NEW BEST:: SOT 4809485 SOS 2497738 HAS SOPS 2497738 HAS SOUS 2383464 HAS SOUPS 2383464 WITH SCORE 2385961.738
AT ITER 247 NEW BEST:: SOT 4809633 SOS 2497854 HAS SOPS 2497854 HAS SOUS 2383436 HAS SOUPS 2383436 WITH SCORE 2385933.854
AT ITER 258 NEW BEST:: SOT 4809616 SOS 2497837 HAS SOPS 2497837 HAS SOUS 2383419 HAS SOUPS 2383419 WITH SCORE 2385916.837
AT ITER 264 NEW BEST:: SOT 4809708 SOS 2497856 HAS SOPS 2497856 HAS SOUS 2383294 HAS SOUPS 2383294 WITH SCORE 2385791.856
AT ITER 265 NEW BEST:: SOT 4808802 SOS 2497173 HAS SOPS 2497173 HAS SOUS 2382539 HAS SOUPS 2382539 WITH SCORE 2385036.173
AT ITER 278 NEW BEST:: SOT 4808802 SOS 2496979 HAS SOPS 2496979 HAS SOUS 2382539 HAS SOUPS 2382539 WITH SCORE 2385035.979
AT ITER 282 NEW BEST:: SOT 4806331 SOS 2495792 HAS SOPS 2495792 HAS SOUS 2380206 HAS SOUPS 2380206 WITH SCORE 2382701.792
AT ITER 287 NEW BEST:: SOT 4805201 SOS 2500780 HAS SOPS 2500780 HAS SOUS 2379224 HAS SOUPS 2379224 WITH SCORE 2381724.78
AT ITER 290 NEW BEST:: SOT 4805471 SOS 2499695 HAS SOPS 2499695 HAS SOUS 2378425 HAS SOUPS 2378425 WITH SCORE 2380924.695
AT ITER 294 NEW BEST:: SOT 4802704 SOS 2504046 HAS SOPS 2504046 HAS SOUS 2375882 HAS SOUPS 2375882 WITH SCORE 2378386.046
AT ITER 295 NEW BEST:: SOT 4800105 SOS 2504464 HAS SOPS 2504464 HAS SOUS 2374020 HAS SOUPS 2374020 WITH SCORE 2376524.464
AT ITER 298 NEW BEST:: SOT 4798334 SOS 2503976 HAS SOPS 2503976 HAS SOUS 2372530 HAS SOUPS 2372530 WITH SCORE 2375033.976
AT ITER 301 NEW BEST:: SOT 4797890 SOS 2505451 HAS SOPS 2505451 HAS SOUS 2372177 HAS SOUPS 2372177 WITH SCORE 2374682.451
AT ITER 302 NEW BEST:: SOT 4795302 SOS 2506397 HAS SOPS 2506397 HAS SOUS 2369781 HAS SOUPS 2369781 WITH SCORE 2372287.397
AT ITER 312 NEW BEST:: SOT 4795302 SOS 2506290 HAS SOPS 2506290 HAS SOUS 2369781 HAS SOUPS 2369781 WITH SCORE 2372287.29
AT ITER 317 NEW BEST:: SOT 4795212 SOS 2506200 HAS SOPS 2506200 HAS SOUS 2369769 HAS SOUPS 2369769 WITH SCORE 2372275.2
AT ITER 318 NEW BEST:: SOT 4795018 SOS 2506006 HAS SOPS 2506006 HAS SOUS 2369539 HAS SOUPS 2369539 WITH SCORE 2372045.006
AT ITER 331 NEW BEST:: SOT 4795018 SOS 2506176 HAS SOPS 2506176 HAS SOUS 2369262 HAS SOUPS 2369262 WITH SCORE 2371768.176
AT ITER 336 NEW BEST:: SOT 4794670 SOS 2507526 HAS SOPS 2507526 HAS SOUS 2369010 HAS SOUPS 2369010 WITH SCORE 2371517.526
AT ITER 338 NEW BEST:: SOT 4794621 SOS 2507426 HAS SOPS 2507426 HAS SOUS 2368946 HAS SOUPS 2368946 WITH SCORE 2371453.426
AT ITER 339 NEW BEST:: SOT 4792639 SOS 2506378 HAS SOPS 2506378 HAS SOUS 2367172 HAS SOUPS 2367172 WITH SCORE 2369678.378
AT ITER 346 NEW BEST:: SOT 4792423 SOS 2509866 HAS SOPS 2509866 HAS SOUS 2367023 HAS SOUPS 2367023 WITH SCORE 2369532.866
AT ITER 347 NEW BEST:: SOT 4792423 SOS 2509389 HAS SOPS 2509389 HAS SOUS 2367023 HAS SOUPS 2367023 WITH SCORE 2369532.389
AT ITER 348 NEW BEST:: SOT 4792454 SOS 2509452 HAS SOPS 2509452 HAS SOUS 2366978 HAS SOUPS 2366978 WITH SCORE 2369487.452
AT ITER 349 NEW BEST:: SOT 4792106 SOS 2510754 HAS SOPS 2510754 HAS SOUS 2366643 HAS SOUPS 2366643 WITH SCORE 2369153.754
AT ITER 351 NEW BEST:: SOT 4792106 SOS 2510588 HAS SOPS 2510588 HAS SOUS 2366643 HAS SOUPS 2366643 WITH SCORE 2369153.588
AT ITER 354 NEW BEST:: SOT 4791758 SOS 2514092 HAS SOPS 2514092 HAS SOUS 2366571 HAS SOUPS 2366571 WITH SCORE 2369085.092
AT ITER 355 NEW BEST:: SOT 4791758 SOS 2513593 HAS SOPS 2513593 HAS SOUS 2366571 HAS SOUPS 2366571 WITH SCORE 2369084.593
AT ITER 362 NEW BEST:: SOT 4791758 SOS 2513445 HAS SOPS 2513445 HAS SOUS 2366571 HAS SOUPS 2366571 WITH SCORE 2369084.445
AT ITER 366 NEW BEST:: SOT 4791734 SOS 2513393 HAS SOPS 2513393 HAS SOUS 2366543 HAS SOUPS 2366543 WITH SCORE 2369056.393
AT ITER 374 NEW BEST:: SOT 4789250 SOS 2517679 HAS SOPS 2517679 HAS SOUS 2364223 HAS SOUPS 2364223 WITH SCORE 2366740.679
AT ITER 375 NEW BEST:: SOT 4788788 SOS 2517476 HAS SOPS 2517476 HAS SOUS 2363816 HAS SOUPS 2363816 WITH SCORE 2366333.476
AT ITER 377 NEW BEST:: SOT 4788788 SOS 2509868 HAS SOPS 2509868 HAS SOUS 2363816 HAS SOUPS 2363816 WITH SCORE 2366325.868
AT ITER 384 NEW BEST:: SOT 4787420 SOS 2508813 HAS SOPS 2508813 HAS SOUS 2362761 HAS SOUPS 2362761 WITH SCORE 2365269.813
AT ITER 390 NEW BEST:: SOT 4786844 SOS 2509185 HAS SOPS 2509185 HAS SOUS 2362273 HAS SOUPS 2362273 WITH SCORE 2364782.185
AT ITER 397 NEW BEST:: SOT 4786844 SOS 2508732 HAS SOPS 2508732 HAS SOUS 2362273 HAS SOUPS 2362273 WITH SCORE 2364781.732
AT ITER 407 NEW BEST:: SOT 4786844 SOS 2501113 HAS SOPS 2501113 HAS SOUS 2362273 HAS SOUPS 2362273 WITH SCORE 2364774.113
AT ITER 408 NEW BEST:: SOT 4785143 SOS 2511604 HAS SOPS 2511604 HAS SOUS 2360842 HAS SOUPS 2360842 WITH SCORE 2363353.604
AT ITER 414 NEW BEST:: SOT 4785258 SOS 2510587 HAS SOPS 2510587 HAS SOUS 2359585 HAS SOUPS 2359585 WITH SCORE 2362095.587
AT ITER 418 NEW BEST:: SOT 4785258 SOS 2510117 HAS SOPS 2510117 HAS SOUS 2359585 HAS SOUPS 2359585 WITH SCORE 2362095.117
AT ITER 419 NEW BEST:: SOT 4784538 SOS 2509614 HAS SOPS 2509614 HAS SOUS 2358950 HAS SOUPS 2358950 WITH SCORE 2361459.614
AT ITER 436 NEW BEST:: SOT 4784538 SOS 2509561 HAS SOPS 2509561 HAS SOUS 2358950 HAS SOUPS 2358950 WITH SCORE 2361459.561
AT ITER 442 NEW BEST:: SOT 4783446 SOS 2513641 HAS SOPS 2513641 HAS SOUS 2358225 HAS SOUPS 2358225 WITH SCORE 2360738.641
AT ITER 451 NEW BEST:: SOT 4783442 SOS 2513618 HAS SOPS 2513618 HAS SOUS 2358082 HAS SOUPS 2358082 WITH SCORE 2360595.618
AT ITER 454 NEW BEST:: SOT 4783442 SOS 2513613 HAS SOPS 2513613 HAS SOUS 2358077 HAS SOUPS 2358077 WITH SCORE 2360590.613
AT ITER 455 NEW BEST:: SOT 4783442 SOS 2513477 HAS SOPS 2513477 HAS SOUS 2358077 HAS SOUPS 2358077 WITH SCORE 2360590.477
AT ITER 456 NEW BEST:: SOT 4783582 SOS 2513553 HAS SOPS 2513553 HAS SOUS 2357997 HAS SOUPS 2357997 WITH SCORE 2360510.553
AT ITER 457 NEW BEST:: SOT 4783582 SOS 2513150 HAS SOPS 2513150 HAS SOUS 2357997 HAS SOUPS 2357997 WITH SCORE 2360510.15
AT ITER 458 NEW BEST:: SOT 4783582 SOS 2512617 HAS SOPS 2512617 HAS SOUS 2357997 HAS SOUPS 2357997 WITH SCORE 2360509.617
AT ITER 460 NEW BEST:: SOT 4782433 SOS 2512465 HAS SOPS 2512465 HAS SOUS 2357160 HAS SOUPS 2357160 WITH SCORE 2359672.465
AT ITER 467 NEW BEST:: SOT 4780888 SOS 2519845 HAS SOPS 2519845 HAS SOUS 2355978 HAS SOUPS 2355978 WITH SCORE 2358497.845
AT ITER 471 NEW BEST:: SOT 4778470 SOS 2518385 HAS SOPS 2518385 HAS SOUS 2353853 HAS SOUPS 2353853 WITH SCORE 2356371.385
AT ITER 473 NEW BEST:: SOT 4778266 SOS 2518293 HAS SOPS 2518293 HAS SOUS 2353649 HAS SOUPS 2353649 WITH SCORE 2356167.293
AT ITER 476 NEW BEST:: SOT 4778266 SOS 2508939 HAS SOPS 2508939 HAS SOUS 2353649 HAS SOUPS 2353649 WITH SCORE 2356157.939
AT ITER 479 NEW BEST:: SOT 4778266 SOS 2508926 HAS SOPS 2508926 HAS SOUS 2353649 HAS SOUPS 2353649 WITH SCORE 2356157.926
AT ITER 480 NEW BEST:: SOT 4778266 SOS 2508854 HAS SOPS 2508854 HAS SOUS 2353649 HAS SOUPS 2353649 WITH SCORE 2356157.854
AT ITER 487 NEW BEST:: SOT 4778266 SOS 2508897 HAS SOPS 2508897 HAS SOUS 2353636 HAS SOUPS 2353636 WITH SCORE 2356144.897
AT ITER 490 NEW BEST:: SOT 4777738 SOS 2509361 HAS SOPS 2509361 HAS SOUS 2353506 HAS SOUPS 2353506 WITH SCORE 2356015.361
AT ITER 492 NEW BEST:: SOT 4777738 SOS 2508742 HAS SOPS 2508742 HAS SOUS 2353506 HAS SOUPS 2353506 WITH SCORE 2356014.742
AT ITER 494 NEW BEST:: SOT 4777738 SOS 2507755 HAS SOPS 2507755 HAS SOUS 2353506 HAS SOUPS 2353506 WITH SCORE 2356013.755
AT ITER 495 NEW BEST:: SOT 4777738 SOS 2507525 HAS SOPS 2507525 HAS SOUS 2353506 HAS SOUPS 2353506 WITH SCORE 2356013.525
AT ITER 497 NEW BEST:: SOT 4777698 SOS 2507355 HAS SOPS 2507355 HAS SOUS 2353444 HAS SOUPS 2353444 WITH SCORE 2355951.355
AT ITER 503 NEW BEST:: SOT 4777698 SOS 2506370 HAS SOPS 2506370 HAS SOUS 2353444 HAS SOUPS 2353444 WITH SCORE 2355950.37
AT ITER 504 NEW BEST:: SOT 4777698 SOS 2506075 HAS SOPS 2506075 HAS SOUS 2353444 HAS SOUPS 2353444 WITH SCORE 2355950.075
AT ITER 509 NEW BEST:: SOT 4776832 SOS 2505829 HAS SOPS 2505829 HAS SOUS 2352994 HAS SOUPS 2352994 WITH SCORE 2355499.829
AT ITER 512 NEW BEST:: SOT 4776991 SOS 2505338 HAS SOPS 2505338 HAS SOUS 2352311 HAS SOUPS 2352311 WITH SCORE 2354816.338
AT ITER 518 NEW BEST:: SOT 4776775 SOS 2505842 HAS SOPS 2505842 HAS SOUS 2352140 HAS SOUPS 2352140 WITH SCORE 2354645.842
AT ITER 523 NEW BEST:: SOT 4776775 SOS 2505214 HAS SOPS 2505214 HAS SOUS 2352140 HAS SOUPS 2352140 WITH SCORE 2354645.214
AT ITER 526 NEW BEST:: SOT 4775421 SOS 2509804 HAS SOPS 2509804 HAS SOUS 2351235 HAS SOUPS 2351235 WITH SCORE 2353744.804
AT ITER 528 NEW BEST:: SOT 4775421 SOS 2509674 HAS SOPS 2509674 HAS SOUS 2351235 HAS SOUPS 2351235 WITH SCORE 2353744.674
AT ITER 533 NEW BEST:: SOT 4775310 SOS 2507926 HAS SOPS 2507926 HAS SOUS 2350954 HAS SOUPS 2350954 WITH SCORE 2353461.926
AT ITER 541 NEW BEST:: SOT 4775310 SOS 2507305 HAS SOPS 2507305 HAS SOUS 2350954 HAS SOUPS 2350954 WITH SCORE 2353461.305
AT ITER 548 NEW BEST:: SOT 4774625 SOS 2507210 HAS SOPS 2507210 HAS SOUS 2350269 HAS SOUPS 2350269 WITH SCORE 2352776.21
AT ITER 552 NEW BEST:: SOT 4772570 SOS 2505965 HAS SOPS 2505965 HAS SOUS 2348516 HAS SOUPS 2348516 WITH SCORE 2351021.965
AT ITER 557 NEW BEST:: SOT 4772570 SOS 2505684 HAS SOPS 2505684 HAS SOUS 2348516 HAS SOUPS 2348516 WITH SCORE 2351021.684
AT ITER 561 NEW BEST:: SOT 4772895 SOS 2505025 HAS SOPS 2505025 HAS SOUS 2348426 HAS SOUPS 2348426 WITH SCORE 2350931.025
AT ITER 564 NEW BEST:: SOT 4771629 SOS 2505847 HAS SOPS 2505847 HAS SOUS 2347429 HAS SOUPS 2347429 WITH SCORE 2349934.847
AT ITER 584 NEW BEST:: SOT 4771582 SOS 2505753 HAS SOPS 2505753 HAS SOUS 2347371 HAS SOUPS 2347371 WITH SCORE 2349876.753
AT ITER 594 NEW BEST:: SOT 4771378 SOS 2505577 HAS SOPS 2505577 HAS SOUS 2347167 HAS SOUPS 2347167 WITH SCORE 2349672.577
AT ITER 612 NEW BEST:: SOT 4770574 SOS 2505481 HAS SOPS 2505481 HAS SOUS 2346945 HAS SOUPS 2346945 WITH SCORE 2349450.481
AT ITER 616 NEW BEST:: SOT 4768273 SOS 2504367 HAS SOPS 2504367 HAS SOUS 2344941 HAS SOUPS 2344941 WITH SCORE 2347445.367
AT ITER 625 NEW BEST:: SOT 4768273 SOS 2503724 HAS SOPS 2503724 HAS SOUS 2344941 HAS SOUPS 2344941 WITH SCORE 2347444.724
AT ITER 626 NEW BEST:: SOT 4768273 SOS 2503636 HAS SOPS 2503636 HAS SOUS 2344941 HAS SOUPS 2344941 WITH SCORE 2347444.636
AT ITER 633 NEW BEST:: SOT 4768273 SOS 2502967 HAS SOPS 2502967 HAS SOUS 2344941 HAS SOUPS 2344941 WITH SCORE 2347443.967
AT ITER 635 NEW BEST:: SOT 4768353 SOS 2502940 HAS SOPS 2502940 HAS SOUS 2344842 HAS SOUPS 2344842 WITH SCORE 2347344.94
AT ITER 642 NEW BEST:: SOT 4767911 SOS 2503607 HAS SOPS 2503607 HAS SOUS 2344784 HAS SOUPS 2344784 WITH SCORE 2347287.607
AT ITER 646 NEW BEST:: SOT 4767911 SOS 2503185 HAS SOPS 2503185 HAS SOUS 2344784 HAS SOUPS 2344784 WITH SCORE 2347287.185
AT ITER 652 NEW BEST:: SOT 4767911 SOS 2502996 HAS SOPS 2502996 HAS SOUS 2344734 HAS SOUPS 2344734 WITH SCORE 2347236.996
AT ITER 655 NEW BEST:: SOT 4767462 SOS 2502547 HAS SOPS 2502547 HAS SOUS 2344285 HAS SOUPS 2344285 WITH SCORE 2346787.547
AT ITER 661 NEW BEST:: SOT 4767760 SOS 2502413 HAS SOPS 2502413 HAS SOUS 2344261 HAS SOUPS 2344261 WITH SCORE 2346763.413
AT ITER 677 NEW BEST:: SOT 4767760 SOS 2501427 HAS SOPS 2501427 HAS SOUS 2344261 HAS SOUPS 2344261 WITH SCORE 2346762.427
AT ITER 681 NEW BEST:: SOT 4767519 SOS 2501078 HAS SOPS 2501078 HAS SOUS 2343975 HAS SOUPS 2343975 WITH SCORE 2346476.078
AT ITER 685 NEW BEST:: SOT 4767519 SOS 2500755 HAS SOPS 2500755 HAS SOUS 2343975 HAS SOUPS 2343975 WITH SCORE 2346475.755
AT ITER 687 NEW BEST:: SOT 4765214 SOS 2501744 HAS SOPS 2501744 HAS SOUS 2341930 HAS SOUPS 2341930 WITH SCORE 2344431.744
AT ITER 695 NEW BEST:: SOT 4765214 SOS 2501222 HAS SOPS 2501222 HAS SOUS 2341930 HAS SOUPS 2341930 WITH SCORE 2344431.222
AT ITER 705 NEW BEST:: SOT 4765478 SOS 2500466 HAS SOPS 2500466 HAS SOUS 2341340 HAS SOUPS 2341340 WITH SCORE 2343840.466
AT ITER 706 NEW BEST:: SOT 4765664 SOS 2500613 HAS SOPS 2500613 HAS SOUS 2341331 HAS SOUPS 2341331 WITH SCORE 2343831.613
AT ITER 711 NEW BEST:: SOT 4765516 SOS 2502104 HAS SOPS 2502104 HAS SOUS 2341183 HAS SOUPS 2341183 WITH SCORE 2343685.104
AT ITER 713 NEW BEST:: SOT 4763460 SOS 2516927 HAS SOPS 2516927 HAS SOUS 2340588 HAS SOUPS 2340588 WITH SCORE 2343104.927
AT ITER 717 NEW BEST:: SOT 4762095 SOS 2520554 HAS SOPS 2520554 HAS SOUS 2339673 HAS SOUPS 2339673 WITH SCORE 2342193.554
AT ITER 721 NEW BEST:: SOT 4762095 SOS 2520301 HAS SOPS 2520301 HAS SOUS 2339420 HAS SOUPS 2339420 WITH SCORE 2341940.301
AT ITER 730 NEW BEST:: SOT 4760239 SOS 2523180 HAS SOPS 2523180 HAS SOUS 2338135 HAS SOUPS 2338135 WITH SCORE 2340658.18
AT ITER 739 NEW BEST:: SOT 4760163 SOS 2523104 HAS SOPS 2523104 HAS SOUS 2338059 HAS SOUPS 2338059 WITH SCORE 2340582.104
AT ITER 748 NEW BEST:: SOT 4760163 SOS 2523059 HAS SOPS 2523059 HAS SOUS 2337837 HAS SOUPS 2337837 WITH SCORE 2340360.059
AT ITER 761 NEW BEST:: SOT 4760180 SOS 2523093 HAS SOPS 2523093 HAS SOUS 2337751 HAS SOUPS 2337751 WITH SCORE 2340274.093
AT ITER 766 NEW BEST:: SOT 4758394 SOS 2526655 HAS SOPS 2526655 HAS SOUS 2336313 HAS SOUPS 2336313 WITH SCORE 2338839.655
AT ITER 770 NEW BEST:: SOT 4758227 SOS 2526789 HAS SOPS 2526789 HAS SOUS 2336007 HAS SOUPS 2336007 WITH SCORE 2338533.789
AT ITER 771 NEW BEST:: SOT 4758271 SOS 2526724 HAS SOPS 2526724 HAS SOUS 2335810 HAS SOUPS 2335810 WITH SCORE 2338336.724
AT ITER 778 NEW BEST:: SOT 4758271 SOS 2526681 HAS SOPS 2526681 HAS SOUS 2335810 HAS SOUPS 2335810 WITH SCORE 2338336.681
AT ITER 786 NEW BEST:: SOT 4758271 SOS 2525631 HAS SOPS 2525631 HAS SOUS 2335810 HAS SOUPS 2335810 WITH SCORE 2338335.631
AT ITER 797 NEW BEST:: SOT 4758271 SOS 2525283 HAS SOPS 2525283 HAS SOUS 2335810 HAS SOUPS 2335810 WITH SCORE 2338335.283
AT ITER 801 NEW BEST:: SOT 4758271 SOS 2525013 HAS SOPS 2525013 HAS SOUS 2335810 HAS SOUPS 2335810 WITH SCORE 2338335.013
AT ITER 810 NEW BEST:: SOT 4756884 SOS 2523850 HAS SOPS 2523850 HAS SOUS 2334455 HAS SOUPS 2334455 WITH SCORE 2336978.85
AT ITER 813 NEW BEST:: SOT 4756884 SOS 2523793 HAS SOPS 2523793 HAS SOUS 2334455 HAS SOUPS 2334455 WITH SCORE 2336978.793
AT ITER 814 NEW BEST:: SOT 4756174 SOS 2523083 HAS SOPS 2523083 HAS SOUS 2333745 HAS SOUPS 2333745 WITH SCORE 2336268.083
AT ITER 815 NEW BEST:: SOT 4756000 SOS 2522909 HAS SOPS 2522909 HAS SOUS 2333571 HAS SOUPS 2333571 WITH SCORE 2336093.909
AT ITER 820 NEW BEST:: SOT 4756151 SOS 2522909 HAS SOPS 2522909 HAS SOUS 2333355 HAS SOUPS 2333355 WITH SCORE 2335877.909
AT ITER 822 NEW BEST:: SOT 4756246 SOS 2522761 HAS SOPS 2522761 HAS SOUS 2333147 HAS SOUPS 2333147 WITH SCORE 2335669.761
AT ITER 823 NEW BEST:: SOT 4756013 SOS 2521942 HAS SOPS 2521942 HAS SOUS 2332644 HAS SOUPS 2332644 WITH SCORE 2335165.942
AT ITER 824 NEW BEST:: SOT 4756013 SOS 2521270 HAS SOPS 2521270 HAS SOUS 2332644 HAS SOUPS 2332644 WITH SCORE 2335165.27
AT ITER 825 NEW BEST:: SOT 4756013 SOS 2520986 HAS SOPS 2520986 HAS SOUS 2332644 HAS SOUPS 2332644 WITH SCORE 2335164.986
AT ITER 828 NEW BEST:: SOT 4756013 SOS 2520986 HAS SOPS 2520986 HAS SOUS 2332344 HAS SOUPS 2332344 WITH SCORE 2334864.986
AT ITER 839 NEW BEST:: SOT 4756299 SOS 2521023 HAS SOPS 2521023 HAS SOUS 2332273 HAS SOUPS 2332273 WITH SCORE 2334794.023
AT ITER 840 NEW BEST:: SOT 4756299 SOS 2520998 HAS SOPS 2520998 HAS SOUS 2332273 HAS SOUPS 2332273 WITH SCORE 2334793.998
AT ITER 841 NEW BEST:: SOT 4754745 SOS 2519694 HAS SOPS 2519694 HAS SOUS 2330861 HAS SOUPS 2330861 WITH SCORE 2333380.694
AT ITER 842 NEW BEST:: SOT 4754644 SOS 2518009 HAS SOPS 2518009 HAS SOUS 2330657 HAS SOUPS 2330657 WITH SCORE 2333175.009
AT ITER 846 NEW BEST:: SOT 4754999 SOS 2517504 HAS SOPS 2517504 HAS SOUS 2330522 HAS SOUPS 2330522 WITH SCORE 2333039.504
AT ITER 847 NEW BEST:: SOT 4755275 SOS 2516660 HAS SOPS 2516660 HAS SOUS 2329928 HAS SOUPS 2329928 WITH SCORE 2332444.66
AT ITER 854 NEW BEST:: SOT 4754799 SOS 2516768 HAS SOPS 2516768 HAS SOUS 2329832 HAS SOUPS 2329832 WITH SCORE 2332348.768
AT ITER 855 NEW BEST:: SOT 4754799 SOS 2516556 HAS SOPS 2516556 HAS SOUS 2329620 HAS SOUPS 2329620 WITH SCORE 2332136.556
AT ITER 860 NEW BEST:: SOT 4754799 SOS 2516340 HAS SOPS 2516340 HAS SOUS 2329620 HAS SOUPS 2329620 WITH SCORE 2332136.34
AT ITER 861 NEW BEST:: SOT 4754799 SOS 2516063 HAS SOPS 2516063 HAS SOUS 2329620 HAS SOUPS 2329620 WITH SCORE 2332136.063
AT ITER 862 NEW BEST:: SOT 4754799 SOS 2515842 HAS SOPS 2515842 HAS SOUS 2329529 HAS SOUPS 2329529 WITH SCORE 2332044.842
AT ITER 864 NEW BEST:: SOT 4752727 SOS 2513972 HAS SOPS 2513972 HAS SOUS 2327515 HAS SOUPS 2327515 WITH SCORE 2330028.972
AT ITER 869 NEW BEST:: SOT 4752727 SOS 2514743 HAS SOPS 2514743 HAS SOUS 2327180 HAS SOUPS 2327180 WITH SCORE 2329694.743
AT ITER 872 NEW BEST:: SOT 4752727 SOS 2514647 HAS SOPS 2514647 HAS SOUS 2327180 HAS SOUPS 2327180 WITH SCORE 2329694.647
AT ITER 876 NEW BEST:: SOT 4751550 SOS 2513470 HAS SOPS 2513470 HAS SOUS 2325704 HAS SOUPS 2325704 WITH SCORE 2328217.47
AT ITER 877 NEW BEST:: SOT 4751550 SOS 2506033 HAS SOPS 2506033 HAS SOUS 2325704 HAS SOUPS 2325704 WITH SCORE 2328210.033
AT ITER 886 NEW BEST:: SOT 4751226 SOS 2505709 HAS SOPS 2505709 HAS SOUS 2325544 HAS SOUPS 2325544 WITH SCORE 2328049.709
AT ITER 891 NEW BEST:: SOT 4751456 SOS 2504931 HAS SOPS 2504931 HAS SOUS 2324793 HAS SOUPS 2324793 WITH SCORE 2327297.931
AT ITER 893 NEW BEST:: SOT 4751456 SOS 2504397 HAS SOPS 2504397 HAS SOUS 2324793 HAS SOUPS 2324793 WITH SCORE 2327297.397
AT ITER 895 NEW BEST:: SOT 4751456 SOS 2504190 HAS SOPS 2504190 HAS SOUS 2324793 HAS SOUPS 2324793 WITH SCORE 2327297.19
AT ITER 901 NEW BEST:: SOT 4750147 SOS 2506238 HAS SOPS 2506238 HAS SOUS 2324140 HAS SOUPS 2324140 WITH SCORE 2326646.238
AT ITER 903 NEW BEST:: SOT 4748613 SOS 2506345 HAS SOPS 2506345 HAS SOUS 2323209 HAS SOUPS 2323209 WITH SCORE 2325715.345
AT ITER 905 NEW BEST:: SOT 4746744 SOS 2504691 HAS SOPS 2504691 HAS SOUS 2321495 HAS SOUPS 2321495 WITH SCORE 2323999.691
AT ITER 908 NEW BEST:: SOT 4746744 SOS 2504549 HAS SOPS 2504549 HAS SOUS 2321495 HAS SOUPS 2321495 WITH SCORE 2323999.549
AT ITER 910 NEW BEST:: SOT 4746979 SOS 2505213 HAS SOPS 2505213 HAS SOUS 2321388 HAS SOUPS 2321388 WITH SCORE 2323893.213
AT ITER 915 NEW BEST:: SOT 4746979 SOS 2504859 HAS SOPS 2504859 HAS SOUS 2321388 HAS SOUPS 2321388 WITH SCORE 2323892.859
AT ITER 916 NEW BEST:: SOT 4746979 SOS 2504627 HAS SOPS 2504627 HAS SOUS 2321386 HAS SOUPS 2321386 WITH SCORE 2323890.627
AT ITER 921 NEW BEST:: SOT 4744783 SOS 2509705 HAS SOPS 2509705 HAS SOUS 2320552 HAS SOUPS 2320552 WITH SCORE 2323061.705
AT ITER 929 NEW BEST:: SOT 4744783 SOS 2509624 HAS SOPS 2509624 HAS SOUS 2320429 HAS SOUPS 2320429 WITH SCORE 2322938.624
AT ITER 932 NEW BEST:: SOT 4744783 SOS 2508916 HAS SOPS 2508916 HAS SOUS 2320429 HAS SOUPS 2320429 WITH SCORE 2322937.916
AT ITER 935 NEW BEST:: SOT 4743680 SOS 2510290 HAS SOPS 2510290 HAS SOUS 2319846 HAS SOUPS 2319846 WITH SCORE 2322356.29
AT ITER 939 NEW BEST:: SOT 4743680 SOS 2510274 HAS SOPS 2510274 HAS SOUS 2319830 HAS SOUPS 2319830 WITH SCORE 2322340.274
AT ITER 951 NEW BEST:: SOT 4742634 SOS 2509952 HAS SOPS 2509952 HAS SOUS 2319119 HAS SOUPS 2319119 WITH SCORE 2321628.952
AT ITER 958 NEW BEST:: SOT 4742634 SOS 2509621 HAS SOPS 2509621 HAS SOUS 2318858 HAS SOUPS 2318858 WITH SCORE 2321367.621
AT ITER 964 NEW BEST:: SOT 4742141 SOS 2517198 HAS SOPS 2517198 HAS SOUS 2318529 HAS SOUPS 2318529 WITH SCORE 2321046.198
AT ITER 971 NEW BEST:: SOT 4742141 SOS 2516831 HAS SOPS 2516831 HAS SOUS 2318529 HAS SOUPS 2318529 WITH SCORE 2321045.831
AT ITER 975 NEW BEST:: SOT 4741529 SOS 2521157 HAS SOPS 2521157 HAS SOUS 2318352 HAS SOUPS 2318352 WITH SCORE 2320873.157
AT ITER 978 NEW BEST:: SOT 4741529 SOS 2521109 HAS SOPS 2521109 HAS SOUS 2318352 HAS SOUPS 2318352 WITH SCORE 2320873.109
AT ITER 983 NEW BEST:: SOT 4741759 SOS 2521108 HAS SOPS 2521108 HAS SOUS 2318123 HAS SOUPS 2318123 WITH SCORE 2320644.108
AT ITER 1002 NEW BEST:: SOT 4741278 SOS 2521653 HAS SOPS 2521653 HAS SOUS 2317719 HAS SOUPS 2317719 WITH SCORE 2320240.653
AT ITER 1005 NEW BEST:: SOT 4740882 SOS 2521814 HAS SOPS 2521814 HAS SOUS 2317367 HAS SOUPS 2317367 WITH SCORE 2319888.814
AT ITER 1008 NEW BEST:: SOT 4740882 SOS 2521189 HAS SOPS 2521189 HAS SOUS 2317367 HAS SOUPS 2317367 WITH SCORE 2319888.189
AT ITER 1012 NEW BEST:: SOT 4738680 SOS 2520981 HAS SOPS 2520981 HAS SOUS 2315983 HAS SOUPS 2315983 WITH SCORE 2318503.981
AT ITER 1022 NEW BEST:: SOT 4738680 SOS 2520789 HAS SOPS 2520789 HAS SOUS 2315983 HAS SOUPS 2315983 WITH SCORE 2318503.789
AT ITER 1039 NEW BEST:: SOT 4738162 SOS 2520789 HAS SOPS 2520789 HAS SOUS 2315465 HAS SOUPS 2315465 WITH SCORE 2317985.789
AT ITER 1040 NEW BEST:: SOT 4737922 SOS 2520711 HAS SOPS 2520711 HAS SOUS 2315387 HAS SOUPS 2315387 WITH SCORE 2317907.711
AT ITER 1041 NEW BEST:: SOT 4737962 SOS 2520211 HAS SOPS 2520211 HAS SOUS 2314707 HAS SOUPS 2314707 WITH SCORE 2317227.211
AT ITER 1043 NEW BEST:: SOT 4737962 SOS 2520100 HAS SOPS 2520100 HAS SOUS 2314707 HAS SOUPS 2314707 WITH SCORE 2317227.1
AT ITER 1047 NEW BEST:: SOT 4737962 SOS 2518554 HAS SOPS 2518554 HAS SOUS 2314310 HAS SOUPS 2314310 WITH SCORE 2316828.554
AT ITER 1050 NEW BEST:: SOT 4736354 SOS 2517215 HAS SOPS 2517215 HAS SOUS 2312971 HAS SOUPS 2312971 WITH SCORE 2315488.215
AT ITER 1056 NEW BEST:: SOT 4736383 SOS 2517244 HAS SOPS 2517244 HAS SOUS 2312885 HAS SOUPS 2312885 WITH SCORE 2315402.244
AT ITER 1063 NEW BEST:: SOT 4735651 SOS 2518638 HAS SOPS 2518638 HAS SOUS 2312669 HAS SOUPS 2312669 WITH SCORE 2315187.638
AT ITER 1070 NEW BEST:: SOT 4735511 SOS 2518498 HAS SOPS 2518498 HAS SOUS 2312529 HAS SOUPS 2312529 WITH SCORE 2315047.498
AT ITER 1077 NEW BEST:: SOT 4735367 SOS 2517413 HAS SOPS 2517413 HAS SOUS 2312237 HAS SOUPS 2312237 WITH SCORE 2314754.413
AT ITER 1078 NEW BEST:: SOT 4735367 SOS 2516920 HAS SOPS 2516920 HAS SOUS 2312237 HAS SOUPS 2312237 WITH SCORE 2314753.92
AT ITER 1079 NEW BEST:: SOT 4735367 SOS 2516112 HAS SOPS 2516112 HAS SOUS 2312237 HAS SOUPS 2312237 WITH SCORE 2314753.112
AT ITER 1081 NEW BEST:: SOT 4735367 SOS 2514368 HAS SOPS 2514368 HAS SOUS 2312237 HAS SOUPS 2312237 WITH SCORE 2314751.368
AT ITER 1083 NEW BEST:: SOT 4734261 SOS 2512946 HAS SOPS 2512946 HAS SOUS 2310742 HAS SOUPS 2310742 WITH SCORE 2313254.946
AT ITER 1086 NEW BEST:: SOT 4734261 SOS 2512761 HAS SOPS 2512761 HAS SOUS 2310742 HAS SOUPS 2310742 WITH SCORE 2313254.761
AT ITER 1091 NEW BEST:: SOT 4734261 SOS 2509327 HAS SOPS 2509327 HAS SOUS 2310742 HAS SOUPS 2310742 WITH SCORE 2313251.327
AT ITER 1093 NEW BEST:: SOT 4732435 SOS 2509761 HAS SOPS 2509761 HAS SOUS 2309203 HAS SOUPS 2309203 WITH SCORE 2311712.761
AT ITER 1094 NEW BEST:: SOT 4732349 SOS 2509447 HAS SOPS 2509447 HAS SOUS 2308328 HAS SOUPS 2308328 WITH SCORE 2310837.447
AT ITER 1101 NEW BEST:: SOT 4730559 SOS 2509701 HAS SOPS 2509701 HAS SOUS 2307967 HAS SOUPS 2307967 WITH SCORE 2310476.701
AT ITER 1109 NEW BEST:: SOT 4730559 SOS 2509366 HAS SOPS 2509366 HAS SOUS 2307965 HAS SOUPS 2307965 WITH SCORE 2310474.366
AT ITER 1110 NEW BEST:: SOT 4730559 SOS 2508915 HAS SOPS 2508915 HAS SOUS 2307965 HAS SOUPS 2307965 WITH SCORE 2310473.915
AT ITER 1113 NEW BEST:: SOT 4730561 SOS 2508924 HAS SOPS 2508924 HAS SOUS 2307950 HAS SOUPS 2307950 WITH SCORE 2310458.924
AT ITER 1115 NEW BEST:: SOT 4730448 SOS 2508432 HAS SOPS 2508432 HAS SOUS 2307532 HAS SOUPS 2307532 WITH SCORE 2310040.432
AT ITER 1117 NEW BEST:: SOT 4728159 SOS 2510730 HAS SOPS 2510730 HAS SOUS 2305890 HAS SOUPS 2305890 WITH SCORE 2308400.73
AT ITER 1119 NEW BEST:: SOT 4727153 SOS 2510439 HAS SOPS 2510439 HAS SOUS 2304891 HAS SOUPS 2304891 WITH SCORE 2307401.439
AT ITER 1121 NEW BEST:: SOT 4726549 SOS 2511791 HAS SOPS 2511791 HAS SOUS 2304287 HAS SOUPS 2304287 WITH SCORE 2306798.791
AT ITER 1124 NEW BEST:: SOT 4726549 SOS 2510877 HAS SOPS 2510877 HAS SOUS 2304287 HAS SOUPS 2304287 WITH SCORE 2306797.877
AT ITER 1134 NEW BEST:: SOT 4726549 SOS 2510356 HAS SOPS 2510356 HAS SOUS 2304287 HAS SOUPS 2304287 WITH SCORE 2306797.356
AT ITER 1140 NEW BEST:: SOT 4726308 SOS 2510492 HAS SOPS 2510492 HAS SOUS 2304135 HAS SOUPS 2304135 WITH SCORE 2306645.492
AT ITER 1142 NEW BEST:: SOT 4724670 SOS 2509542 HAS SOPS 2509542 HAS SOUS 2302522 HAS SOUPS 2302522 WITH SCORE 2305031.542
AT ITER 1146 NEW BEST:: SOT 4724670 SOS 2509191 HAS SOPS 2509191 HAS SOUS 2302522 HAS SOUPS 2302522 WITH SCORE 2305031.191
AT ITER 1152 NEW BEST:: SOT 4724670 SOS 2498247 HAS SOPS 2498247 HAS SOUS 2302522 HAS SOUPS 2302522 WITH SCORE 2305020.247
AT ITER 1155 NEW BEST:: SOT 4724670 SOS 2498223 HAS SOPS 2498223 HAS SOUS 2302522 HAS SOUPS 2302522 WITH SCORE 2305020.223
AT ITER 1159 NEW BEST:: SOT 4722625 SOS 2498540 HAS SOPS 2498540 HAS SOUS 2300965 HAS SOUPS 2300965 WITH SCORE 2303463.54
AT ITER 1160 NEW BEST:: SOT 4722625 SOS 2498287 HAS SOPS 2498287 HAS SOUS 2300965 HAS SOUPS 2300965 WITH SCORE 2303463.287
AT ITER 1168 NEW BEST:: SOT 4722568 SOS 2498230 HAS SOPS 2498230 HAS SOUS 2300902 HAS SOUPS 2300902 WITH SCORE 2303400.23
AT ITER 1173 NEW BEST:: SOT 4722568 SOS 2497994 HAS SOPS 2497994 HAS SOUS 2300858 HAS SOUPS 2300858 WITH SCORE 2303355.994
AT ITER 1174 NEW BEST:: SOT 4721642 SOS 2497068 HAS SOPS 2497068 HAS SOUS 2299590 HAS SOUPS 2299590 WITH SCORE 2302087.068
AT ITER 1176 NEW BEST:: SOT 4721294 SOS 2497943 HAS SOPS 2497943 HAS SOUS 2299566 HAS SOUPS 2299566 WITH SCORE 2302063.943
AT ITER 1177 NEW BEST:: SOT 4721436 SOS 2498893 HAS SOPS 2498893 HAS SOUS 2299462 HAS SOUPS 2299462 WITH SCORE 2301960.893
AT ITER 1200 NEW BEST:: SOT 4720440 SOS 2498248 HAS SOPS 2498248 HAS SOUS 2298950 HAS SOUPS 2298950 WITH SCORE 2301448.248
AT ITER 1203 NEW BEST:: SOT 4720440 SOS 2498219 HAS SOPS 2498219 HAS SOUS 2298950 HAS SOUPS 2298950 WITH SCORE 2301448.219
AT ITER 1206 NEW BEST:: SOT 4720440 SOS 2497746 HAS SOPS 2497746 HAS SOUS 2298950 HAS SOUPS 2298950 WITH SCORE 2301447.746
AT ITER 1211 NEW BEST:: SOT 4720440 SOS 2497374 HAS SOPS 2497374 HAS SOUS 2298950 HAS SOUPS 2298950 WITH SCORE 2301447.374
AT ITER 1217 NEW BEST:: SOT 4720440 SOS 2497344 HAS SOPS 2497344 HAS SOUS 2298950 HAS SOUPS 2298950 WITH SCORE 2301447.344
AT ITER 1226 NEW BEST:: SOT 4720440 SOS 2497241 HAS SOPS 2497241 HAS SOUS 2298950 HAS SOUPS 2298950 WITH SCORE 2301447.241
AT ITER 1230 NEW BEST:: SOT 4718869 SOS 2503236 HAS SOPS 2503236 HAS SOUS 2298209 HAS SOUPS 2298209 WITH SCORE 2300712.236
AT ITER 1246 NEW BEST:: SOT 4716779 SOS 2502890 HAS SOPS 2502890 HAS SOUS 2296827 HAS SOUPS 2296827 WITH SCORE 2299329.89
AT ITER 1250 NEW BEST:: SOT 4716779 SOS 2502808 HAS SOPS 2502808 HAS SOUS 2296827 HAS SOUPS 2296827 WITH SCORE 2299329.808
AT ITER 1252 NEW BEST:: SOT 4716683 SOS 2502712 HAS SOPS 2502712 HAS SOUS 2296635 HAS SOUPS 2296635 WITH SCORE 2299137.712
AT ITER 1254 NEW BEST:: SOT 4716683 SOS 2502666 HAS SOPS 2502666 HAS SOUS 2296635 HAS SOUPS 2296635 WITH SCORE 2299137.666
AT ITER 1260 NEW BEST:: SOT 4716759 SOS 2502581 HAS SOPS 2502581 HAS SOUS 2296338 HAS SOUPS 2296338 WITH SCORE 2298840.581
AT ITER 1261 NEW BEST:: SOT 4716759 SOS 2501939 HAS SOPS 2501939 HAS SOUS 2296338 HAS SOUPS 2296338 WITH SCORE 2298839.939
AT ITER 1264 NEW BEST:: SOT 4716759 SOS 2501890 HAS SOPS 2501890 HAS SOUS 2296338 HAS SOUPS 2296338 WITH SCORE 2298839.89
AT ITER 1265 NEW BEST:: SOT 4716324 SOS 2501495 HAS SOPS 2501495 HAS SOUS 2295424 HAS SOUPS 2295424 WITH SCORE 2297925.495
AT ITER 1268 NEW BEST:: SOT 4715304 SOS 2500841 HAS SOPS 2500841 HAS SOUS 2294553 HAS SOUPS 2294553 WITH SCORE 2297053.841
AT ITER 1271 NEW BEST:: SOT 4715304 SOS 2500626 HAS SOPS 2500626 HAS SOUS 2294553 HAS SOUPS 2294553 WITH SCORE 2297053.626
AT ITER 1273 NEW BEST:: SOT 4715304 SOS 2499822 HAS SOPS 2499822 HAS SOUS 2294553 HAS SOUPS 2294553 WITH SCORE 2297052.822
AT ITER 1277 NEW BEST:: SOT 4712767 SOS 2499752 HAS SOPS 2499752 HAS SOUS 2292776 HAS SOUPS 2292776 WITH SCORE 2295275.752
AT ITER 1285 NEW BEST:: SOT 4713067 SOS 2500052 HAS SOPS 2500052 HAS SOUS 2292464 HAS SOUPS 2292464 WITH SCORE 2294964.052
AT ITER 1286 NEW BEST:: SOT 4713067 SOS 2499830 HAS SOPS 2499830 HAS SOUS 2292464 HAS SOUPS 2292464 WITH SCORE 2294963.83
AT ITER 1300 NEW BEST:: SOT 4713067 SOS 2499296 HAS SOPS 2499296 HAS SOUS 2292464 HAS SOUPS 2292464 WITH SCORE 2294963.296
AT ITER 1303 NEW BEST:: SOT 4710536 SOS 2500936 HAS SOPS 2500936 HAS SOUS 2290128 HAS SOUPS 2290128 WITH SCORE 2292628.936
AT ITER 1325 NEW BEST:: SOT 4710536 SOS 2500914 HAS SOPS 2500914 HAS SOUS 2290128 HAS SOUPS 2290128 WITH SCORE 2292628.914
AT ITER 1327 NEW BEST:: SOT 4710536 SOS 2500896 HAS SOPS 2500896 HAS SOUS 2290128 HAS SOUPS 2290128 WITH SCORE 2292628.896
AT ITER 1334 NEW BEST:: SOT 4710536 SOS 2500852 HAS SOPS 2500852 HAS SOUS 2290128 HAS SOUPS 2290128 WITH SCORE 2292628.852
AT ITER 1344 NEW BEST:: SOT 4708556 SOS 2501415 HAS SOPS 2501415 HAS SOUS 2288434 HAS SOUPS 2288434 WITH SCORE 2290935.415
AT ITER 1346 NEW BEST:: SOT 4707456 SOS 2500867 HAS SOPS 2500867 HAS SOUS 2287880 HAS SOUPS 2287880 WITH SCORE 2290380.867
AT ITER 1350 NEW BEST:: SOT 4707225 SOS 2501093 HAS SOPS 2501093 HAS SOUS 2287649 HAS SOUPS 2287649 WITH SCORE 2290150.093
AT ITER 1351 NEW BEST:: SOT 4707045 SOS 2500913 HAS SOPS 2500913 HAS SOUS 2287469 HAS SOUPS 2287469 WITH SCORE 2289969.913
AT ITER 1361 NEW BEST:: SOT 4705832 SOS 2501527 HAS SOPS 2501527 HAS SOUS 2286561 HAS SOUPS 2286561 WITH SCORE 2289062.527
AT ITER 1365 NEW BEST:: SOT 4708728 SOS 2501622 HAS SOPS 2501622 HAS SOUS 2286540 HAS SOUPS 2286540 WITH SCORE 2289041.622
AT ITER 1369 NEW BEST:: SOT 4708728 SOS 2501614 HAS SOPS 2501614 HAS SOUS 2286540 HAS SOUPS 2286540 WITH SCORE 2289041.614
AT ITER 1371 NEW BEST:: SOT 4706276 SOS 2504654 HAS SOPS 2504654 HAS SOUS 2285121 HAS SOUPS 2285121 WITH SCORE 2287625.654
AT ITER 1373 NEW BEST:: SOT 4706314 SOS 2504470 HAS SOPS 2504470 HAS SOUS 2285015 HAS SOUPS 2285015 WITH SCORE 2287519.47
AT ITER 1376 NEW BEST:: SOT 4706364 SOS 2504754 HAS SOPS 2504754 HAS SOUS 2284902 HAS SOUPS 2284902 WITH SCORE 2287406.754
AT ITER 1380 NEW BEST:: SOT 4705536 SOS 2505031 HAS SOPS 2505031 HAS SOUS 2284727 HAS SOUPS 2284727 WITH SCORE 2287232.031
AT ITER 1381 NEW BEST:: SOT 4704978 SOS 2504545 HAS SOPS 2504545 HAS SOUS 2284241 HAS SOUPS 2284241 WITH SCORE 2286745.545
AT ITER 1386 NEW BEST:: SOT 4705082 SOS 2504004 HAS SOPS 2504004 HAS SOUS 2284024 HAS SOUPS 2284024 WITH SCORE 2286528.004
AT ITER 1402 NEW BEST:: SOT 4702313 SOS 2509852 HAS SOPS 2509852 HAS SOUS 2281761 HAS SOUPS 2281761 WITH SCORE 2284270.852
AT ITER 1408 NEW BEST:: SOT 4699761 SOS 2507767 HAS SOPS 2507767 HAS SOUS 2279459 HAS SOUPS 2279459 WITH SCORE 2281966.767
AT ITER 1410 NEW BEST:: SOT 4699627 SOS 2507003 HAS SOPS 2507003 HAS SOUS 2279371 HAS SOUPS 2279371 WITH SCORE 2281878.003
AT ITER 1413 NEW BEST:: SOT 4699655 SOS 2507031 HAS SOPS 2507031 HAS SOUS 2279025 HAS SOUPS 2279025 WITH SCORE 2281532.031
AT ITER 1420 NEW BEST:: SOT 4699517 SOS 2507281 HAS SOPS 2507281 HAS SOUS 2278977 HAS SOUPS 2278977 WITH SCORE 2281484.281
AT ITER 1425 NEW BEST:: SOT 4699373 SOS 2506351 HAS SOPS 2506351 HAS SOUS 2278876 HAS SOUPS 2278876 WITH SCORE 2281382.351
AT ITER 1431 NEW BEST:: SOT 4699150 SOS 2505936 HAS SOPS 2505936 HAS SOUS 2278429 HAS SOUPS 2278429 WITH SCORE 2280934.936
AT ITER 1443 NEW BEST:: SOT 4699322 SOS 2506118 HAS SOPS 2506118 HAS SOUS 2278347 HAS SOUPS 2278347 WITH SCORE 2280853.118
AT ITER 1460 NEW BEST:: SOT 4699543 SOS 2506357 HAS SOPS 2506357 HAS SOUS 2278346 HAS SOUPS 2278346 WITH SCORE 2280852.357
AT ITER 1464 NEW BEST:: SOT 4699543 SOS 2505920 HAS SOPS 2505920 HAS SOUS 2278346 HAS SOUPS 2278346 WITH SCORE 2280851.92
AT ITER 1469 NEW BEST:: SOT 4699543 SOS 2505651 HAS SOPS 2505651 HAS SOUS 2278346 HAS SOUPS 2278346 WITH SCORE 2280851.651
AT ITER 1470 NEW BEST:: SOT 4699543 SOS 2505165 HAS SOPS 2505165 HAS SOUS 2278346 HAS SOUPS 2278346 WITH SCORE 2280851.165
AT ITER 1477 NEW BEST:: SOT 4697938 SOS 2506742 HAS SOPS 2506742 HAS SOUS 2277770 HAS SOUPS 2277770 WITH SCORE 2280276.742
AT ITER 1481 NEW BEST:: SOT 4697938 SOS 2506010 HAS SOPS 2506010 HAS SOUS 2277770 HAS SOUPS 2277770 WITH SCORE 2280276.01
AT ITER 1486 NEW BEST:: SOT 4697938 SOS 2505775 HAS SOPS 2505775 HAS SOUS 2277770 HAS SOUPS 2277770 WITH SCORE 2280275.775
AT ITER 1487 NEW BEST:: SOT 4697938 SOS 2505749 HAS SOPS 2505749 HAS SOUS 2277770 HAS SOUPS 2277770 WITH SCORE 2280275.749
AT ITER 1490 NEW BEST:: SOT 4697938 SOS 2505717 HAS SOPS 2505717 HAS SOUS 2277768 HAS SOUPS 2277768 WITH SCORE 2280273.717
AT ITER 1514 NEW BEST:: SOT 4697226 SOS 2505849 HAS SOPS 2505849 HAS SOUS 2277473 HAS SOUPS 2277473 WITH SCORE 2279978.849
AT ITER 1526 NEW BEST:: SOT 4697226 SOS 2505496 HAS SOPS 2505496 HAS SOUS 2277473 HAS SOUPS 2277473 WITH SCORE 2279978.496
AT ITER 1530 NEW BEST:: SOT 4695046 SOS 2507567 HAS SOPS 2507567 HAS SOUS 2276598 HAS SOUPS 2276598 WITH SCORE 2279105.567
AT ITER 1532 NEW BEST:: SOT 4695046 SOS 2507094 HAS SOPS 2507094 HAS SOUS 2276598 HAS SOUPS 2276598 WITH SCORE 2279105.094
AT ITER 1546 NEW BEST:: SOT 4692750 SOS 2506997 HAS SOPS 2506997 HAS SOUS 2275215 HAS SOUPS 2275215 WITH SCORE 2277721.997
AT ITER 1554 NEW BEST:: SOT 4692750 SOS 2506983 HAS SOPS 2506983 HAS SOUS 2275215 HAS SOUPS 2275215 WITH SCORE 2277721.983
AT ITER 1560 NEW BEST:: SOT 4690729 SOS 2513241 HAS SOPS 2513241 HAS SOUS 2274120 HAS SOUPS 2274120 WITH SCORE 2276633.241
AT ITER 1563 NEW BEST:: SOT 4690729 SOS 2513031 HAS SOPS 2513031 HAS SOUS 2274120 HAS SOUPS 2274120 WITH SCORE 2276633.031
AT ITER 1567 NEW BEST:: SOT 4690729 SOS 2512811 HAS SOPS 2512811 HAS SOUS 2274120 HAS SOUPS 2274120 WITH SCORE 2276632.811
AT ITER 1569 NEW BEST:: SOT 4690729 SOS 2512651 HAS SOPS 2512651 HAS SOUS 2274120 HAS SOUPS 2274120 WITH SCORE 2276632.651
AT ITER 1572 NEW BEST:: SOT 4690729 SOS 2512561 HAS SOPS 2512561 HAS SOUS 2274120 HAS SOUPS 2274120 WITH SCORE 2276632.561
AT ITER 1576 NEW BEST:: SOT 4690729 SOS 2512321 HAS SOPS 2512321 HAS SOUS 2274120 HAS SOUPS 2274120 WITH SCORE 2276632.321
AT ITER 1581 NEW BEST:: SOT 4689280 SOS 2513027 HAS SOPS 2513027 HAS SOUS 2273245 HAS SOUPS 2273245 WITH SCORE 2275758.027
AT ITER 1582 NEW BEST:: SOT 4689280 SOS 2522540 HAS SOPS 2522540 HAS SOUS 2273228 HAS SOUPS 2273228 WITH SCORE 2275750.54
AT ITER 1593 NEW BEST:: SOT 4689344 SOS 2522604 HAS SOPS 2522604 HAS SOUS 2272572 HAS SOUPS 2272572 WITH SCORE 2275094.604
AT ITER 1595 NEW BEST:: SOT 4689044 SOS 2523634 HAS SOPS 2523634 HAS SOUS 2272420 HAS SOUPS 2272420 WITH SCORE 2274943.634
AT ITER 1598 NEW BEST:: SOT 4689044 SOS 2523569 HAS SOPS 2523569 HAS SOUS 2272420 HAS SOUPS 2272420 WITH SCORE 2274943.569
AT ITER 1601 NEW BEST:: SOT 4689044 SOS 2523357 HAS SOPS 2523357 HAS SOUS 2272420 HAS SOUPS 2272420 WITH SCORE 2274943.357
AT ITER 1628 NEW BEST:: SOT 4689044 SOS 2523312 HAS SOPS 2523312 HAS SOUS 2272420 HAS SOUPS 2272420 WITH SCORE 2274943.312
AT ITER 1630 NEW BEST:: SOT 4687242 SOS 2525054 HAS SOPS 2525054 HAS SOUS 2272048 HAS SOUPS 2272048 WITH SCORE 2274573.054
AT ITER 1631 NEW BEST:: SOT 4686181 SOS 2524988 HAS SOPS 2524988 HAS SOUS 2272012 HAS SOUPS 2272012 WITH SCORE 2274536.988
AT ITER 1634 NEW BEST:: SOT 4686181 SOS 2524920 HAS SOPS 2524920 HAS SOUS 2272012 HAS SOUPS 2272012 WITH SCORE 2274536.92
AT ITER 1637 NEW BEST:: SOT 4686181 SOS 2524718 HAS SOPS 2524718 HAS SOUS 2272012 HAS SOUPS 2272012 WITH SCORE 2274536.718
AT ITER 1638 NEW BEST:: SOT 4686181 SOS 2524385 HAS SOPS 2524385 HAS SOUS 2272012 HAS SOUPS 2272012 WITH SCORE 2274536.385
AT ITER 1640 NEW BEST:: SOT 4685597 SOS 2523573 HAS SOPS 2523573 HAS SOUS 2271583 HAS SOUPS 2271583 WITH SCORE 2274106.573
AT ITER 1645 NEW BEST:: SOT 4685597 SOS 2523415 HAS SOPS 2523415 HAS SOUS 2271583 HAS SOUPS 2271583 WITH SCORE 2274106.415
AT ITER 1647 NEW BEST:: SOT 4684602 SOS 2529049 HAS SOPS 2529049 HAS SOUS 2271576 HAS SOUPS 2271576 WITH SCORE 2274105.049
AT ITER 1648 NEW BEST:: SOT 4684602 SOS 2528345 HAS SOPS 2528345 HAS SOUS 2271576 HAS SOUPS 2271576 WITH SCORE 2274104.345
AT ITER 1653 NEW BEST:: SOT 4683437 SOS 2527784 HAS SOPS 2527784 HAS SOUS 2270233 HAS SOUPS 2270233 WITH SCORE 2272760.784
AT ITER 1655 NEW BEST:: SOT 4683437 SOS 2527767 HAS SOPS 2527767 HAS SOUS 2270233 HAS SOUPS 2270233 WITH SCORE 2272760.767
AT ITER 1657 NEW BEST:: SOT 4683437 SOS 2527713 HAS SOPS 2527713 HAS SOUS 2270233 HAS SOUPS 2270233 WITH SCORE 2272760.713
AT ITER 1665 NEW BEST:: SOT 4680824 SOS 2536648 HAS SOPS 2536648 HAS SOUS 2269867 HAS SOUPS 2269867 WITH SCORE 2272403.648
AT ITER 1670 NEW BEST:: SOT 4680824 SOS 2536621 HAS SOPS 2536621 HAS SOUS 2269867 HAS SOUPS 2269867 WITH SCORE 2272403.621
AT ITER 1676 NEW BEST:: SOT 4680749 SOS 2535659 HAS SOPS 2535659 HAS SOUS 2269605 HAS SOUPS 2269605 WITH SCORE 2272140.659
AT ITER 1680 NEW BEST:: SOT 4680749 SOS 2535102 HAS SOPS 2535102 HAS SOUS 2269605 HAS SOUPS 2269605 WITH SCORE 2272140.102
AT ITER 1689 NEW BEST:: SOT 4681017 SOS 2535151 HAS SOPS 2535151 HAS SOUS 2269486 HAS SOUPS 2269486 WITH SCORE 2272021.151
AT ITER 1690 NEW BEST:: SOT 4680735 SOS 2529402 HAS SOPS 2529402 HAS SOUS 2269341 HAS SOUPS 2269341 WITH SCORE 2271870.402
AT ITER 1707 NEW BEST:: SOT 4680361 SOS 2529845 HAS SOPS 2529845 HAS SOUS 2268967 HAS SOUPS 2268967 WITH SCORE 2271496.845
AT ITER 1710 NEW BEST:: SOT 4680361 SOS 2529197 HAS SOPS 2529197 HAS SOUS 2268967 HAS SOUPS 2268967 WITH SCORE 2271496.197
AT ITER 1714 NEW BEST:: SOT 4680361 SOS 2529133 HAS SOPS 2529133 HAS SOUS 2268967 HAS SOUPS 2268967 WITH SCORE 2271496.133
AT ITER 1716 NEW BEST:: SOT 4680210 SOS 2528112 HAS SOPS 2528112 HAS SOUS 2268659 HAS SOUPS 2268659 WITH SCORE 2271187.112
AT ITER 1718 NEW BEST:: SOT 4679112 SOS 2527662 HAS SOPS 2527662 HAS SOUS 2267885 HAS SOUPS 2267885 WITH SCORE 2270412.662
AT ITER 1719 NEW BEST:: SOT 4679304 SOS 2527303 HAS SOPS 2527303 HAS SOUS 2267839 HAS SOUPS 2267839 WITH SCORE 2270366.303
AT ITER 1721 NEW BEST:: SOT 4679378 SOS 2528032 HAS SOPS 2528032 HAS SOUS 2267836 HAS SOUPS 2267836 WITH SCORE 2270364.032
AT ITER 1722 NEW BEST:: SOT 4679378 SOS 2527261 HAS SOPS 2527261 HAS SOUS 2267836 HAS SOUPS 2267836 WITH SCORE 2270363.261
AT ITER 1724 NEW BEST:: SOT 4679378 SOS 2527184 HAS SOPS 2527184 HAS SOUS 2267759 HAS SOUPS 2267759 WITH SCORE 2270286.184
AT ITER 1730 NEW BEST:: SOT 4679243 SOS 2527154 HAS SOPS 2527154 HAS SOUS 2267615 HAS SOUPS 2267615 WITH SCORE 2270142.154
AT ITER 1734 NEW BEST:: SOT 4677272 SOS 2534142 HAS SOPS 2534142 HAS SOUS 2267066 HAS SOUPS 2267066 WITH SCORE 2269600.142
AT ITER 1739 NEW BEST:: SOT 4677272 SOS 2532682 HAS SOPS 2532682 HAS SOUS 2266935 HAS SOUPS 2266935 WITH SCORE 2269467.682
AT ITER 1742 NEW BEST:: SOT 4677311 SOS 2532721 HAS SOPS 2532721 HAS SOUS 2266729 HAS SOUPS 2266729 WITH SCORE 2269261.721
AT ITER 1745 NEW BEST:: SOT 4676944 SOS 2532669 HAS SOPS 2532669 HAS SOUS 2266362 HAS SOUPS 2266362 WITH SCORE 2268894.669
AT ITER 1746 NEW BEST:: SOT 4676944 SOS 2532669 HAS SOPS 2532669 HAS SOUS 2266238 HAS SOUPS 2266238 WITH SCORE 2268770.669
AT ITER 1748 NEW BEST:: SOT 4675749 SOS 2531712 HAS SOPS 2531712 HAS SOUS 2265157 HAS SOUPS 2265157 WITH SCORE 2267688.712
AT ITER 1750 NEW BEST:: SOT 4673509 SOS 2538628 HAS SOPS 2538628 HAS SOUS 2264737 HAS SOUPS 2264737 WITH SCORE 2267275.628
AT ITER 1751 NEW BEST:: SOT 4673509 SOS 2538556 HAS SOPS 2538556 HAS SOUS 2264737 HAS SOUPS 2264737 WITH SCORE 2267275.556
AT ITER 1752 NEW BEST:: SOT 4673463 SOS 2539322 HAS SOPS 2539322 HAS SOUS 2264484 HAS SOUPS 2264484 WITH SCORE 2267023.322
AT ITER 1760 NEW BEST:: SOT 4673463 SOS 2539032 HAS SOPS 2539032 HAS SOUS 2264484 HAS SOUPS 2264484 WITH SCORE 2267023.032
AT ITER 1765 NEW BEST:: SOT 4671826 SOS 2538867 HAS SOPS 2538867 HAS SOUS 2262847 HAS SOUPS 2262847 WITH SCORE 2265385.867
AT ITER 1768 NEW BEST:: SOT 4671826 SOS 2537570 HAS SOPS 2537570 HAS SOUS 2262847 HAS SOUPS 2262847 WITH SCORE 2265384.57
AT ITER 1777 NEW BEST:: SOT 4671826 SOS 2536723 HAS SOPS 2536723 HAS SOUS 2262847 HAS SOUPS 2262847 WITH SCORE 2265383.723
AT ITER 1778 NEW BEST:: SOT 4671826 SOS 2536708 HAS SOPS 2536708 HAS SOUS 2262832 HAS SOUPS 2262832 WITH SCORE 2265368.708
AT ITER 1789 NEW BEST:: SOT 4671661 SOS 2537265 HAS SOPS 2537265 HAS SOUS 2262603 HAS SOUPS 2262603 WITH SCORE 2265140.265
AT ITER 1792 NEW BEST:: SOT 4671661 SOS 2536545 HAS SOPS 2536545 HAS SOUS 2262603 HAS SOUPS 2262603 WITH SCORE 2265139.545
AT ITER 1794 NEW BEST:: SOT 4671661 SOS 2536517 HAS SOPS 2536517 HAS SOUS 2262603 HAS SOUPS 2262603 WITH SCORE 2265139.517
AT ITER 1799 NEW BEST:: SOT 4671821 SOS 2535729 HAS SOPS 2535729 HAS SOUS 2262548 HAS SOUPS 2262548 WITH SCORE 2265083.729
AT ITER 1801 NEW BEST:: SOT 4671821 SOS 2535558 HAS SOPS 2535558 HAS SOUS 2262548 HAS SOUPS 2262548 WITH SCORE 2265083.558
AT ITER 1802 NEW BEST:: SOT 4673632 SOS 2531089 HAS SOPS 2531089 HAS SOUS 2261987 HAS SOUPS 2261987 WITH SCORE 2264518.089
AT ITER 1804 NEW BEST:: SOT 4672813 SOS 2530527 HAS SOPS 2530527 HAS SOUS 2261418 HAS SOUPS 2261418 WITH SCORE 2263948.527
AT ITER 1807 NEW BEST:: SOT 4672768 SOS 2530482 HAS SOPS 2530482 HAS SOUS 2261256 HAS SOUPS 2261256 WITH SCORE 2263786.482
AT ITER 1817 NEW BEST:: SOT 4672768 SOS 2530470 HAS SOPS 2530470 HAS SOUS 2261256 HAS SOUPS 2261256 WITH SCORE 2263786.47
AT ITER 1823 NEW BEST:: SOT 4672558 SOS 2530470 HAS SOPS 2530470 HAS SOUS 2261151 HAS SOUPS 2261151 WITH SCORE 2263681.47
AT ITER 1836 NEW BEST:: SOT 4672558 SOS 2529899 HAS SOPS 2529899 HAS SOUS 2261151 HAS SOUPS 2261151 WITH SCORE 2263680.899
AT ITER 1843 NEW BEST:: SOT 4672373 SOS 2529714 HAS SOPS 2529714 HAS SOUS 2260652 HAS SOUPS 2260652 WITH SCORE 2263181.714
AT ITER 1848 NEW BEST:: SOT 4672356 SOS 2529697 HAS SOPS 2529697 HAS SOUS 2260635 HAS SOUPS 2260635 WITH SCORE 2263164.697
AT ITER 1849 NEW BEST:: SOT 4671288 SOS 2529773 HAS SOPS 2529773 HAS SOUS 2260112 HAS SOUPS 2260112 WITH SCORE 2262641.773
AT ITER 1852 NEW BEST:: SOT 4669680 SOS 2528789 HAS SOPS 2528789 HAS SOUS 2258768 HAS SOUPS 2258768 WITH SCORE 2261296.789
AT ITER 1854 NEW BEST:: SOT 4669680 SOS 2528436 HAS SOPS 2528436 HAS SOUS 2258768 HAS SOUPS 2258768 WITH SCORE 2261296.436
AT ITER 1859 NEW BEST:: SOT 4669774 SOS 2528530 HAS SOPS 2528530 HAS SOUS 2258745 HAS SOUPS 2258745 WITH SCORE 2261273.53
AT ITER 1864 NEW BEST:: SOT 4668789 SOS 2532222 HAS SOPS 2532222 HAS SOUS 2258392 HAS SOUPS 2258392 WITH SCORE 2260924.222
AT ITER 1867 NEW BEST:: SOT 4667384 SOS 2535153 HAS SOPS 2535153 HAS SOUS 2257861 HAS SOUPS 2257861 WITH SCORE 2260396.153
AT ITER 1869 NEW BEST:: SOT 4667384 SOS 2535068 HAS SOPS 2535068 HAS SOUS 2257861 HAS SOUPS 2257861 WITH SCORE 2260396.068
AT ITER 1872 NEW BEST:: SOT 4667251 SOS 2535328 HAS SOPS 2535328 HAS SOUS 2257781 HAS SOUPS 2257781 WITH SCORE 2260316.328
AT ITER 1874 NEW BEST:: SOT 4667251 SOS 2535086 HAS SOPS 2535086 HAS SOUS 2257781 HAS SOUPS 2257781 WITH SCORE 2260316.086
AT ITER 1876 NEW BEST:: SOT 4667144 SOS 2533887 HAS SOPS 2533887 HAS SOUS 2257420 HAS SOUPS 2257420 WITH SCORE 2259953.887
AT ITER 1877 NEW BEST:: SOT 4664308 SOS 2540876 HAS SOPS 2540876 HAS SOUS 2256551 HAS SOUPS 2256551 WITH SCORE 2259091.876
AT ITER 1878 NEW BEST:: SOT 4664308 SOS 2540600 HAS SOPS 2540600 HAS SOUS 2256551 HAS SOUPS 2256551 WITH SCORE 2259091.6
AT ITER 1884 NEW BEST:: SOT 4664308 SOS 2539910 HAS SOPS 2539910 HAS SOUS 2256321 HAS SOUPS 2256321 WITH SCORE 2258860.91
AT ITER 1887 NEW BEST:: SOT 4663663 SOS 2539849 HAS SOPS 2539849 HAS SOUS 2255625 HAS SOUPS 2255625 WITH SCORE 2258164.849
AT ITER 1901 NEW BEST:: SOT 4663528 SOS 2539714 HAS SOPS 2539714 HAS SOUS 2255490 HAS SOUPS 2255490 WITH SCORE 2258029.714
AT ITER 1902 NEW BEST:: SOT 4662295 SOS 2538840 HAS SOPS 2538840 HAS SOUS 2254399 HAS SOUPS 2254399 WITH SCORE 2256937.84
AT ITER 1904 NEW BEST:: SOT 4657653 SOS 2544622 HAS SOPS 2544622 HAS SOUS 2251237 HAS SOUPS 2251237 WITH SCORE 2253781.622
AT ITER 1905 NEW BEST:: SOT 4656979 SOS 2546267 HAS SOPS 2546267 HAS SOUS 2251047 HAS SOUPS 2251047 WITH SCORE 2253593.267
AT ITER 1913 NEW BEST:: SOT 4655141 SOS 2545041 HAS SOPS 2545041 HAS SOUS 2249345 HAS SOUPS 2249345 WITH SCORE 2251890.041
AT ITER 1914 NEW BEST:: SOT 4652921 SOS 2552256 HAS SOPS 2552256 HAS SOUS 2248419 HAS SOUPS 2248419 WITH SCORE 2250971.256
AT ITER 1917 NEW BEST:: SOT 4652212 SOS 2551547 HAS SOPS 2551547 HAS SOUS 2247710 HAS SOUPS 2247710 WITH SCORE 2250261.547
AT ITER 1921 NEW BEST:: SOT 4652208 SOS 2551544 HAS SOPS 2551544 HAS SOUS 2247647 HAS SOUPS 2247647 WITH SCORE 2250198.544
AT ITER 1928 NEW BEST:: SOT 4650337 SOS 2552179 HAS SOPS 2552179 HAS SOUS 2247387 HAS SOUPS 2247387 WITH SCORE 2249939.179
AT ITER 1932 NEW BEST:: SOT 4650467 SOS 2551720 HAS SOPS 2551720 HAS SOUS 2247146 HAS SOUPS 2247146 WITH SCORE 2249697.72
AT ITER 1934 NEW BEST:: SOT 4650276 SOS 2551798 HAS SOPS 2551798 HAS SOUS 2246984 HAS SOUPS 2246984 WITH SCORE 2249535.798
AT ITER 1936 NEW BEST:: SOT 4650276 SOS 2551600 HAS SOPS 2551600 HAS SOUS 2246984 HAS SOUPS 2246984 WITH SCORE 2249535.6
AT ITER 1937 NEW BEST:: SOT 4649950 SOS 2554978 HAS SOPS 2554978 HAS SOUS 2246942 HAS SOUPS 2246942 WITH SCORE 2249496.978
AT ITER 1939 NEW BEST:: SOT 4649950 SOS 2554781 HAS SOPS 2554781 HAS SOUS 2246942 HAS SOUPS 2246942 WITH SCORE 2249496.781
AT ITER 1941 NEW BEST:: SOT 4649721 SOS 2554596 HAS SOPS 2554596 HAS SOUS 2246780 HAS SOUPS 2246780 WITH SCORE 2249334.596
AT ITER 1942 NEW BEST:: SOT 4649721 SOS 2554548 HAS SOPS 2554548 HAS SOUS 2246780 HAS SOUPS 2246780 WITH SCORE 2249334.548
AT ITER 1948 NEW BEST:: SOT 4649721 SOS 2554434 HAS SOPS 2554434 HAS SOUS 2246780 HAS SOUPS 2246780 WITH SCORE 2249334.434
AT ITER 1953 NEW BEST:: SOT 4649721 SOS 2554187 HAS SOPS 2554187 HAS SOUS 2246780 HAS SOUPS 2246780 WITH SCORE 2249334.187
AT ITER 1961 NEW BEST:: SOT 4649169 SOS 2553732 HAS SOPS 2553732 HAS SOUS 2246288 HAS SOUPS 2246288 WITH SCORE 2248841.732
AT ITER 1967 NEW BEST:: SOT 4649169 SOS 2553434 HAS SOPS 2553434 HAS SOUS 2246288 HAS SOUPS 2246288 WITH SCORE 2248841.434
AT ITER 1969 NEW BEST:: SOT 4649169 SOS 2553423 HAS SOPS 2553423 HAS SOUS 2246288 HAS SOUPS 2246288 WITH SCORE 2248841.423
AT ITER 1973 NEW BEST:: SOT 4647643 SOS 2553183 HAS SOPS 2553183 HAS SOUS 2245545 HAS SOUPS 2245545 WITH SCORE 2248098.183
AT ITER 1976 NEW BEST:: SOT 4647924 SOS 2553334 HAS SOPS 2553334 HAS SOUS 2244722 HAS SOUPS 2244722 WITH SCORE 2247275.334
AT ITER 1980 NEW BEST:: SOT 4647924 SOS 2552788 HAS SOPS 2552788 HAS SOUS 2244570 HAS SOUPS 2244570 WITH SCORE 2247122.788
AT ITER 1983 NEW BEST:: SOT 4647924 SOS 2552788 HAS SOPS 2552788 HAS SOUS 2244527 HAS SOUPS 2244527 WITH SCORE 2247079.788
AT ITER 1984 NEW BEST:: SOT 4647555 SOS 2552585 HAS SOPS 2552585 HAS SOUS 2244158 HAS SOUPS 2244158 WITH SCORE 2246710.585
AT ITER 1988 NEW BEST:: SOT 4647025 SOS 2553100 HAS SOPS 2553100 HAS SOUS 2243708 HAS SOUPS 2243708 WITH SCORE 2246261.1
AT ITER 1991 NEW BEST:: SOT 4647025 SOS 2552662 HAS SOPS 2552662 HAS SOUS 2243708 HAS SOUPS 2243708 WITH SCORE 2246260.662
AT ITER 1994 NEW BEST:: SOT 4645195 SOS 2554285 HAS SOPS 2554285 HAS SOUS 2243473 HAS SOUPS 2243473 WITH SCORE 2246027.285
AT ITER 1998 NEW BEST:: SOT 4644730 SOS 2553820 HAS SOPS 2553820 HAS SOUS 2243008 HAS SOUPS 2243008 WITH SCORE 2245561.82
AT ITER 2004 NEW BEST:: SOT 4644619 SOS 2553709 HAS SOPS 2553709 HAS SOUS 2242856 HAS SOUPS 2242856 WITH SCORE 2245409.709
AT ITER 2014 NEW BEST:: SOT 4644538 SOS 2553305 HAS SOPS 2553305 HAS SOUS 2242621 HAS SOUPS 2242621 WITH SCORE 2245174.305
AT ITER 2032 NEW BEST:: SOT 4644538 SOS 2550995 HAS SOPS 2550995 HAS SOUS 2242259 HAS SOUPS 2242259 WITH SCORE 2244809.995
AT ITER 2038 NEW BEST:: SOT 4641663 SOS 2549149 HAS SOPS 2549149 HAS SOUS 2239781 HAS SOUPS 2239781 WITH SCORE 2242330.149
AT ITER 2039 NEW BEST:: SOT 4639443 SOS 2549243 HAS SOPS 2549243 HAS SOUS 2238070 HAS SOUPS 2238070 WITH SCORE 2240619.243
AT ITER 2046 NEW BEST:: SOT 4639443 SOS 2549057 HAS SOPS 2549057 HAS SOUS 2238070 HAS SOUPS 2238070 WITH SCORE 2240619.057
AT ITER 2048 NEW BEST:: SOT 4637371 SOS 2553053 HAS SOPS 2553053 HAS SOUS 2237404 HAS SOUPS 2237404 WITH SCORE 2239957.053
AT ITER 2051 NEW BEST:: SOT 4637371 SOS 2552966 HAS SOPS 2552966 HAS SOUS 2237404 HAS SOUPS 2237404 WITH SCORE 2239956.966
AT ITER 2062 NEW BEST:: SOT 4637371 SOS 2552726 HAS SOPS 2552726 HAS SOUS 2237404 HAS SOUPS 2237404 WITH SCORE 2239956.726
AT ITER 2074 NEW BEST:: SOT 4637371 SOS 2552472 HAS SOPS 2552472 HAS SOUS 2237404 HAS SOUPS 2237404 WITH SCORE 2239956.472
AT ITER 2076 NEW BEST:: SOT 4637371 SOS 2551824 HAS SOPS 2551824 HAS SOUS 2236756 HAS SOUPS 2236756 WITH SCORE 2239307.824
AT ITER 2077 NEW BEST:: SOT 4636978 SOS 2551732 HAS SOPS 2551732 HAS SOUS 2236494 HAS SOUPS 2236494 WITH SCORE 2239045.732
AT ITER 2078 NEW BEST:: SOT 4636600 SOS 2551705 HAS SOPS 2551705 HAS SOUS 2236116 HAS SOUPS 2236116 WITH SCORE 2238667.705
AT ITER 2082 NEW BEST:: SOT 4636600 SOS 2551202 HAS SOPS 2551202 HAS SOUS 2235753 HAS SOUPS 2235753 WITH SCORE 2238304.202
AT ITER 2085 NEW BEST:: SOT 4634203 SOS 2551886 HAS SOPS 2551886 HAS SOUS 2234188 HAS SOUPS 2234188 WITH SCORE 2236739.886
AT ITER 2089 NEW BEST:: SOT 4633236 SOS 2553514 HAS SOPS 2553514 HAS SOUS 2233456 HAS SOUPS 2233456 WITH SCORE 2236009.514
AT ITER 2091 NEW BEST:: SOT 4633236 SOS 2552831 HAS SOPS 2552831 HAS SOUS 2233456 HAS SOUPS 2233456 WITH SCORE 2236008.831
AT ITER 2101 NEW BEST:: SOT 4631634 SOS 2552087 HAS SOPS 2552087 HAS SOUS 2232128 HAS SOUPS 2232128 WITH SCORE 2234680.087
AT ITER 2113 NEW BEST:: SOT 4631634 SOS 2551651 HAS SOPS 2551651 HAS SOUS 2232128 HAS SOUPS 2232128 WITH SCORE 2234679.651
AT ITER 2114 NEW BEST:: SOT 4631634 SOS 2550858 HAS SOPS 2550858 HAS SOUS 2232128 HAS SOUPS 2232128 WITH SCORE 2234678.858
AT ITER 2115 NEW BEST:: SOT 4631453 SOS 2551802 HAS SOPS 2551802 HAS SOUS 2231947 HAS SOUPS 2231947 WITH SCORE 2234498.802
AT ITER 2116 NEW BEST:: SOT 4631453 SOS 2551487 HAS SOPS 2551487 HAS SOUS 2231947 HAS SOUPS 2231947 WITH SCORE 2234498.487
AT ITER 2133 NEW BEST:: SOT 4631849 SOS 2551403 HAS SOPS 2551403 HAS SOUS 2231827 HAS SOUPS 2231827 WITH SCORE 2234378.403
AT ITER 2134 NEW BEST:: SOT 4631849 SOS 2550767 HAS SOPS 2550767 HAS SOUS 2231465 HAS SOUPS 2231465 WITH SCORE 2234015.767
AT ITER 2137 NEW BEST:: SOT 4631849 SOS 2550610 HAS SOPS 2550610 HAS SOUS 2231465 HAS SOUPS 2231465 WITH SCORE 2234015.61
AT ITER 2157 NEW BEST:: SOT 4631849 SOS 2550260 HAS SOPS 2550260 HAS SOUS 2231465 HAS SOUPS 2231465 WITH SCORE 2234015.26
AT ITER 2158 NEW BEST:: SOT 4631369 SOS 2549828 HAS SOPS 2549828 HAS SOUS 2231033 HAS SOUPS 2231033 WITH SCORE 2233582.828
AT ITER 2163 NEW BEST:: SOT 4630473 SOS 2548932 HAS SOPS 2548932 HAS SOUS 2230585 HAS SOUPS 2230585 WITH SCORE 2233133.932
AT ITER 2168 NEW BEST:: SOT 4630473 SOS 2548880 HAS SOPS 2548880 HAS SOUS 2230585 HAS SOUPS 2230585 WITH SCORE 2233133.88
AT ITER 2169 NEW BEST:: SOT 4630599 SOS 2548866 HAS SOPS 2548866 HAS SOUS 2230571 HAS SOUPS 2230571 WITH SCORE 2233119.866
AT ITER 2171 NEW BEST:: SOT 4630599 SOS 2548690 HAS SOPS 2548690 HAS SOUS 2230571 HAS SOUPS 2230571 WITH SCORE 2233119.69
AT ITER 2181 NEW BEST:: SOT 4630966 SOS 2548613 HAS SOPS 2548613 HAS SOUS 2230362 HAS SOUPS 2230362 WITH SCORE 2232910.613
AT ITER 2183 NEW BEST:: SOT 4630966 SOS 2548436 HAS SOPS 2548436 HAS SOUS 2230362 HAS SOUPS 2230362 WITH SCORE 2232910.436
AT ITER 2190 NEW BEST:: SOT 4630966 SOS 2547364 HAS SOPS 2547364 HAS SOUS 2229668 HAS SOUPS 2229668 WITH SCORE 2232215.364
AT ITER 2191 NEW BEST:: SOT 4630966 SOS 2547155 HAS SOPS 2547155 HAS SOUS 2229668 HAS SOUPS 2229668 WITH SCORE 2232215.155
AT ITER 2195 NEW BEST:: SOT 4630966 SOS 2546684 HAS SOPS 2546684 HAS SOUS 2228680 HAS SOUPS 2228680 WITH SCORE 2231226.684
AT ITER 2202 NEW BEST:: SOT 4630966 SOS 2545886 HAS SOPS 2545886 HAS SOUS 2228680 HAS SOUPS 2228680 WITH SCORE 2231225.886
AT ITER 2206 NEW BEST:: SOT 4630966 SOS 2545772 HAS SOPS 2545772 HAS SOUS 2228680 HAS SOUPS 2228680 WITH SCORE 2231225.772
AT ITER 2209 NEW BEST:: SOT 4630938 SOS 2544738 HAS SOPS 2544738 HAS SOUS 2228081 HAS SOUPS 2228081 WITH SCORE 2230625.738
AT ITER 2215 NEW BEST:: SOT 4629117 SOS 2543967 HAS SOPS 2543967 HAS SOUS 2227639 HAS SOUPS 2227639 WITH SCORE 2230182.967
AT ITER 2219 NEW BEST:: SOT 4629117 SOS 2543967 HAS SOPS 2543967 HAS SOUS 2227304 HAS SOUPS 2227304 WITH SCORE 2229847.967
AT ITER 2221 NEW BEST:: SOT 4629117 SOS 2540252 HAS SOPS 2540252 HAS SOUS 2226887 HAS SOUPS 2226887 WITH SCORE 2229427.252
AT ITER 2223 NEW BEST:: SOT 4629117 SOS 2540163 HAS SOPS 2540163 HAS SOUS 2226288 HAS SOUPS 2226288 WITH SCORE 2228828.163
AT ITER 2226 NEW BEST:: SOT 4629117 SOS 2540163 HAS SOPS 2540163 HAS SOUS 2226224 HAS SOUPS 2226224 WITH SCORE 2228764.163
AT ITER 2229 NEW BEST:: SOT 4629449 SOS 2539479 HAS SOPS 2539479 HAS SOUS 2225908 HAS SOUPS 2225908 WITH SCORE 2228447.479
AT ITER 2235 NEW BEST:: SOT 4629449 SOS 2538381 HAS SOPS 2538381 HAS SOUS 2225778 HAS SOUPS 2225778 WITH SCORE 2228316.381
AT ITER 2241 NEW BEST:: SOT 4629449 SOS 2537819 HAS SOPS 2537819 HAS SOUS 2225778 HAS SOUPS 2225778 WITH SCORE 2228315.819
AT ITER 2242 NEW BEST:: SOT 4628252 SOS 2537282 HAS SOPS 2537282 HAS SOUS 2225277 HAS SOUPS 2225277 WITH SCORE 2227814.282
AT ITER 2244 NEW BEST:: SOT 4628174 SOS 2536700 HAS SOPS 2536700 HAS SOUS 2225066 HAS SOUPS 2225066 WITH SCORE 2227602.7
AT ITER 2246 NEW BEST:: SOT 4627962 SOS 2536309 HAS SOPS 2536309 HAS SOUS 2224723 HAS SOUPS 2224723 WITH SCORE 2227259.309
AT ITER 2250 NEW BEST:: SOT 4626189 SOS 2535069 HAS SOPS 2535069 HAS SOUS 2222950 HAS SOUPS 2222950 WITH SCORE 2225485.069
AT ITER 2259 NEW BEST:: SOT 4623937 SOS 2540894 HAS SOPS 2540894 HAS SOUS 2221625 HAS SOUPS 2221625 WITH SCORE 2224165.894
AT ITER 2263 NEW BEST:: SOT 4621706 SOS 2539189 HAS SOPS 2539189 HAS SOUS 2220450 HAS SOUPS 2220450 WITH SCORE 2222989.189
AT ITER 2266 NEW BEST:: SOT 4621706 SOS 2538658 HAS SOPS 2538658 HAS SOUS 2220450 HAS SOUPS 2220450 WITH SCORE 2222988.658
AT ITER 2269 NEW BEST:: SOT 4621530 SOS 2538658 HAS SOPS 2538658 HAS SOUS 2220274 HAS SOUPS 2220274 WITH SCORE 2222812.658
AT ITER 2272 NEW BEST:: SOT 4621530 SOS 2538537 HAS SOPS 2538537 HAS SOUS 2220274 HAS SOUPS 2220274 WITH SCORE 2222812.537
AT ITER 2285 NEW BEST:: SOT 4621530 SOS 2537937 HAS SOPS 2537937 HAS SOUS 2220185 HAS SOUPS 2220185 WITH SCORE 2222722.937
AT ITER 2293 NEW BEST:: SOT 4621530 SOS 2537900 HAS SOPS 2537900 HAS SOUS 2220185 HAS SOUPS 2220185 WITH SCORE 2222722.9
AT ITER 2294 NEW BEST:: SOT 4621413 SOS 2537900 HAS SOPS 2537900 HAS SOUS 2220068 HAS SOUPS 2220068 WITH SCORE 2222605.9
AT ITER 2305 NEW BEST:: SOT 4621413 SOS 2537784 HAS SOPS 2537784 HAS SOUS 2219961 HAS SOUPS 2219961 WITH SCORE 2222498.784
AT ITER 2308 NEW BEST:: SOT 4621413 SOS 2537330 HAS SOPS 2537330 HAS SOUS 2219961 HAS SOUPS 2219961 WITH SCORE 2222498.33
AT ITER 2309 NEW BEST:: SOT 4621441 SOS 2537890 HAS SOPS 2537890 HAS SOUS 2219867 HAS SOUPS 2219867 WITH SCORE 2222404.89
AT ITER 2313 NEW BEST:: SOT 4621441 SOS 2537626 HAS SOPS 2537626 HAS SOUS 2219867 HAS SOUPS 2219867 WITH SCORE 2222404.626
AT ITER 2318 NEW BEST:: SOT 4621441 SOS 2537386 HAS SOPS 2537386 HAS SOUS 2219627 HAS SOUPS 2219627 WITH SCORE 2222164.386
AT ITER 2319 NEW BEST:: SOT 4621441 SOS 2537348 HAS SOPS 2537348 HAS SOUS 2219627 HAS SOUPS 2219627 WITH SCORE 2222164.348
AT ITER 2325 NEW BEST:: SOT 4621441 SOS 2536071 HAS SOPS 2536071 HAS SOUS 2219218 HAS SOUPS 2219218 WITH SCORE 2221754.071
AT ITER 2331 NEW BEST:: SOT 4620777 SOS 2533889 HAS SOPS 2533889 HAS SOUS 2218585 HAS SOUPS 2218585 WITH SCORE 2221118.889
AT ITER 2341 NEW BEST:: SOT 4620785 SOS 2533897 HAS SOPS 2533897 HAS SOUS 2218577 HAS SOUPS 2218577 WITH SCORE 2221110.897
AT ITER 2345 NEW BEST:: SOT 4619357 SOS 2533023 HAS SOPS 2533023 HAS SOUS 2217818 HAS SOUPS 2217818 WITH SCORE 2220351.023
AT ITER 2347 NEW BEST:: SOT 4619357 SOS 2532302 HAS SOPS 2532302 HAS SOUS 2217818 HAS SOUPS 2217818 WITH SCORE 2220350.302
AT ITER 2348 NEW BEST:: SOT 4619357 SOS 2522612 HAS SOPS 2522612 HAS SOUS 2217818 HAS SOUPS 2217818 WITH SCORE 2220340.612
AT ITER 2354 NEW BEST:: SOT 4619357 SOS 2522344 HAS SOPS 2522344 HAS SOUS 2217818 HAS SOUPS 2217818 WITH SCORE 2220340.344
AT ITER 2359 NEW BEST:: SOT 4618607 SOS 2521921 HAS SOPS 2521921 HAS SOUS 2217404 HAS SOUPS 2217404 WITH SCORE 2219925.921
AT ITER 2364 NEW BEST:: SOT 4618607 SOS 2521075 HAS SOPS 2521075 HAS SOUS 2216979 HAS SOUPS 2216979 WITH SCORE 2219500.075
AT ITER 2388 NEW BEST:: SOT 4617619 SOS 2521706 HAS SOPS 2521706 HAS SOUS 2216907 HAS SOUPS 2216907 WITH SCORE 2219428.706
AT ITER 2390 NEW BEST:: SOT 4617476 SOS 2522065 HAS SOPS 2522065 HAS SOUS 2216894 HAS SOUPS 2216894 WITH SCORE 2219416.065
AT ITER 2391 NEW BEST:: SOT 4617476 SOS 2521946 HAS SOPS 2521946 HAS SOUS 2216812 HAS SOUPS 2216812 WITH SCORE 2219333.946
AT ITER 2398 NEW BEST:: SOT 4615658 SOS 2532770 HAS SOPS 2532770 HAS SOUS 2216711 HAS SOUPS 2216711 WITH SCORE 2219243.77
AT ITER 2401 NEW BEST:: SOT 4615658 SOS 2532694 HAS SOPS 2532694 HAS SOUS 2216711 HAS SOUPS 2216711 WITH SCORE 2219243.694
AT ITER 2402 NEW BEST:: SOT 4615658 SOS 2532262 HAS SOPS 2532262 HAS SOUS 2216445 HAS SOUPS 2216445 WITH SCORE 2218977.262
AT ITER 2408 NEW BEST:: SOT 4615658 SOS 2532201 HAS SOPS 2532201 HAS SOUS 2216445 HAS SOUPS 2216445 WITH SCORE 2218977.201
AT ITER 2414 NEW BEST:: SOT 4614835 SOS 2531747 HAS SOPS 2531747 HAS SOUS 2215792 HAS SOUPS 2215792 WITH SCORE 2218323.747
AT ITER 2415 NEW BEST:: SOT 4614835 SOS 2531715 HAS SOPS 2531715 HAS SOUS 2215792 HAS SOUPS 2215792 WITH SCORE 2218323.715
AT ITER 2418 NEW BEST:: SOT 4615106 SOS 2531986 HAS SOPS 2531986 HAS SOUS 2215295 HAS SOUPS 2215295 WITH SCORE 2217826.986
AT ITER 2427 NEW BEST:: SOT 4611795 SOS 2534826 HAS SOPS 2534826 HAS SOUS 2213022 HAS SOUPS 2213022 WITH SCORE 2215556.826
AT ITER 2433 NEW BEST:: SOT 4611795 SOS 2534220 HAS SOPS 2534220 HAS SOUS 2212972 HAS SOUPS 2212972 WITH SCORE 2215506.22
AT ITER 2436 NEW BEST:: SOT 4611795 SOS 2534094 HAS SOPS 2534094 HAS SOUS 2212972 HAS SOUPS 2212972 WITH SCORE 2215506.094
AT ITER 2437 NEW BEST:: SOT 4611795 SOS 2534072 HAS SOPS 2534072 HAS SOUS 2212959 HAS SOUPS 2212959 WITH SCORE 2215493.072
AT ITER 2453 NEW BEST:: SOT 4610786 SOS 2535050 HAS SOPS 2535050 HAS SOUS 2212272 HAS SOUPS 2212272 WITH SCORE 2214807.05
AT ITER 2455 NEW BEST:: SOT 4610186 SOS 2534602 HAS SOPS 2534602 HAS SOUS 2211824 HAS SOUPS 2211824 WITH SCORE 2214358.602
AT ITER 2459 NEW BEST:: SOT 4606968 SOS 2535207 HAS SOPS 2535207 HAS SOUS 2209864 HAS SOUPS 2209864 WITH SCORE 2212399.207
AT ITER 2465 NEW BEST:: SOT 4606968 SOS 2535207 HAS SOPS 2535207 HAS SOUS 2209807 HAS SOUPS 2209807 WITH SCORE 2212342.207
AT ITER 2467 NEW BEST:: SOT 4606968 SOS 2534833 HAS SOPS 2534833 HAS SOUS 2209807 HAS SOUPS 2209807 WITH SCORE 2212341.833
AT ITER 2469 NEW BEST:: SOT 4606975 SOS 2534840 HAS SOPS 2534840 HAS SOUS 2209680 HAS SOUPS 2209680 WITH SCORE 2212214.84
AT ITER 2470 NEW BEST:: SOT 4606975 SOS 2534564 HAS SOPS 2534564 HAS SOUS 2209680 HAS SOUPS 2209680 WITH SCORE 2212214.564
AT ITER 2477 NEW BEST:: SOT 4603851 SOS 2532743 HAS SOPS 2532743 HAS SOUS 2207338 HAS SOUPS 2207338 WITH SCORE 2209870.743
AT ITER 2479 NEW BEST:: SOT 4603770 SOS 2532860 HAS SOPS 2532860 HAS SOUS 2207282 HAS SOUPS 2207282 WITH SCORE 2209814.86
AT ITER 2490 NEW BEST:: SOT 4603506 SOS 2528354 HAS SOPS 2528354 HAS SOUS 2205865 HAS SOUPS 2205865 WITH SCORE 2208393.354
AT ITER 2507 NEW BEST:: SOT 4603506 SOS 2528231 HAS SOPS 2528231 HAS SOUS 2205865 HAS SOUPS 2205865 WITH SCORE 2208393.231
AT ITER 2510 NEW BEST:: SOT 4603297 SOS 2527038 HAS SOPS 2527038 HAS SOUS 2205484 HAS SOUPS 2205484 WITH SCORE 2208011.038
AT ITER 2513 NEW BEST:: SOT 4602462 SOS 2526251 HAS SOPS 2526251 HAS SOUS 2204649 HAS SOUPS 2204649 WITH SCORE 2207175.251
AT ITER 2519 NEW BEST:: SOT 4602462 SOS 2526112 HAS SOPS 2526112 HAS SOUS 2204577 HAS SOUPS 2204577 WITH SCORE 2207103.112
AT ITER 2523 NEW BEST:: SOT 4602462 SOS 2525992 HAS SOPS 2525992 HAS SOUS 2204577 HAS SOUPS 2204577 WITH SCORE 2207102.992
AT ITER 2524 NEW BEST:: SOT 4602462 SOS 2525455 HAS SOPS 2525455 HAS SOUS 2204577 HAS SOUPS 2204577 WITH SCORE 2207102.455
AT ITER 2525 NEW BEST:: SOT 4602462 SOS 2515651 HAS SOPS 2515651 HAS SOUS 2204068 HAS SOUPS 2204068 WITH SCORE 2206583.651
AT ITER 2531 NEW BEST:: SOT 4602433 SOS 2515622 HAS SOPS 2515622 HAS SOUS 2204039 HAS SOUPS 2204039 WITH SCORE 2206554.622
AT ITER 2532 NEW BEST:: SOT 4602423 SOS 2515612 HAS SOPS 2515612 HAS SOUS 2203951 HAS SOUPS 2203951 WITH SCORE 2206466.612
AT ITER 2535 NEW BEST:: SOT 4599761 SOS 2515187 HAS SOPS 2515187 HAS SOUS 2201840 HAS SOUPS 2201840 WITH SCORE 2204355.187
AT ITER 2537 NEW BEST:: SOT 4599500 SOS 2519302 HAS SOPS 2519302 HAS SOUS 2201824 HAS SOUPS 2201824 WITH SCORE 2204343.302
AT ITER 2543 NEW BEST:: SOT 4598719 SOS 2519652 HAS SOPS 2519652 HAS SOUS 2201512 HAS SOUPS 2201512 WITH SCORE 2204031.652
AT ITER 2558 NEW BEST:: SOT 4598469 SOS 2519265 HAS SOPS 2519265 HAS SOUS 2201262 HAS SOUPS 2201262 WITH SCORE 2203781.265
AT ITER 2559 NEW BEST:: SOT 4598469 SOS 2519160 HAS SOPS 2519160 HAS SOUS 2201262 HAS SOUPS 2201262 WITH SCORE 2203781.16
AT ITER 2568 NEW BEST:: SOT 4598057 SOS 2520050 HAS SOPS 2520050 HAS SOUS 2200876 HAS SOUPS 2200876 WITH SCORE 2203396.05
AT ITER 2571 NEW BEST:: SOT 4597143 SOS 2530162 HAS SOPS 2530162 HAS SOUS 2200426 HAS SOUPS 2200426 WITH SCORE 2202956.162
AT ITER 2573 NEW BEST:: SOT 4597143 SOS 2529976 HAS SOPS 2529976 HAS SOUS 2200426 HAS SOUPS 2200426 WITH SCORE 2202955.976
AT ITER 2578 NEW BEST:: SOT 4597143 SOS 2529706 HAS SOPS 2529706 HAS SOUS 2200396 HAS SOUPS 2200396 WITH SCORE 2202925.706
AT ITER 2579 NEW BEST:: SOT 4597143 SOS 2529706 HAS SOPS 2529706 HAS SOUS 2200158 HAS SOUPS 2200158 WITH SCORE 2202687.706
AT ITER 2582 NEW BEST:: SOT 4597143 SOS 2529509 HAS SOPS 2529509 HAS SOUS 2200158 HAS SOUPS 2200158 WITH SCORE 2202687.509
AT ITER 2584 NEW BEST:: SOT 4596633 SOS 2529069 HAS SOPS 2529069 HAS SOUS 2199718 HAS SOUPS 2199718 WITH SCORE 2202247.069
AT ITER 2585 NEW BEST:: SOT 4596633 SOS 2528942 HAS SOPS 2528942 HAS SOUS 2199718 HAS SOUPS 2199718 WITH SCORE 2202246.942
AT ITER 2587 NEW BEST:: SOT 4596925 SOS 2521654 HAS SOPS 2521654 HAS SOUS 2198796 HAS SOUPS 2198796 WITH SCORE 2201317.654
AT ITER 2601 NEW BEST:: SOT 4597396 SOS 2521440 HAS SOPS 2521440 HAS SOUS 2198710 HAS SOUPS 2198710 WITH SCORE 2201231.44
AT ITER 2604 NEW BEST:: SOT 4597396 SOS 2521321 HAS SOPS 2521321 HAS SOUS 2198710 HAS SOUPS 2198710 WITH SCORE 2201231.321
AT ITER 2613 NEW BEST:: SOT 4597396 SOS 2520332 HAS SOPS 2520332 HAS SOUS 2198710 HAS SOUPS 2198710 WITH SCORE 2201230.332
AT ITER 2615 NEW BEST:: SOT 4597396 SOS 2520129 HAS SOPS 2520129 HAS SOUS 2198710 HAS SOUPS 2198710 WITH SCORE 2201230.129
AT ITER 2621 NEW BEST:: SOT 4594868 SOS 2523657 HAS SOPS 2523657 HAS SOUS 2197498 HAS SOUPS 2197498 WITH SCORE 2200021.657
AT ITER 2627 NEW BEST:: SOT 4594868 SOS 2523648 HAS SOPS 2523648 HAS SOUS 2197498 HAS SOUPS 2197498 WITH SCORE 2200021.648
AT ITER 2636 NEW BEST:: SOT 4594868 SOS 2523384 HAS SOPS 2523384 HAS SOUS 2197262 HAS SOUPS 2197262 WITH SCORE 2199785.384
AT ITER 2645 NEW BEST:: SOT 4594868 SOS 2523288 HAS SOPS 2523288 HAS SOUS 2197262 HAS SOUPS 2197262 WITH SCORE 2199785.288
AT ITER 2647 NEW BEST:: SOT 4594868 SOS 2522768 HAS SOPS 2522768 HAS SOUS 2197262 HAS SOUPS 2197262 WITH SCORE 2199784.768
AT ITER 2648 NEW BEST:: SOT 4594868 SOS 2522266 HAS SOPS 2522266 HAS SOUS 2197053 HAS SOUPS 2197053 WITH SCORE 2199575.266
AT ITER 2659 NEW BEST:: SOT 4594868 SOS 2522251 HAS SOPS 2522251 HAS SOUS 2197053 HAS SOUPS 2197053 WITH SCORE 2199575.251
AT ITER 2663 NEW BEST:: SOT 4594868 SOS 2522249 HAS SOPS 2522249 HAS SOUS 2197053 HAS SOUPS 2197053 WITH SCORE 2199575.249
AT ITER 2673 NEW BEST:: SOT 4593541 SOS 2520327 HAS SOPS 2520327 HAS SOUS 2195643 HAS SOUPS 2195643 WITH SCORE 2198163.327
AT ITER 2684 NEW BEST:: SOT 4593541 SOS 2519860 HAS SOPS 2519860 HAS SOUS 2195643 HAS SOUPS 2195643 WITH SCORE 2198162.86
AT ITER 2685 NEW BEST:: SOT 4593541 SOS 2519790 HAS SOPS 2519790 HAS SOUS 2195633 HAS SOUPS 2195633 WITH SCORE 2198152.79
AT ITER 2691 NEW BEST:: SOT 4592645 SOS 2518664 HAS SOPS 2518664 HAS SOUS 2194737 HAS SOUPS 2194737 WITH SCORE 2197255.664
AT ITER 2692 NEW BEST:: SOT 4591289 SOS 2526152 HAS SOPS 2526152 HAS SOUS 2193977 HAS SOUPS 2193977 WITH SCORE 2196503.152
AT ITER 2693 NEW BEST:: SOT 4591289 SOS 2526067 HAS SOPS 2526067 HAS SOUS 2193977 HAS SOUPS 2193977 WITH SCORE 2196503.067
AT ITER 2695 NEW BEST:: SOT 4591289 SOS 2525497 HAS SOPS 2525497 HAS SOUS 2193977 HAS SOUPS 2193977 WITH SCORE 2196502.497
AT ITER 2702 NEW BEST:: SOT 4589724 SOS 2526386 HAS SOPS 2526386 HAS SOUS 2193235 HAS SOUPS 2193235 WITH SCORE 2195761.386
AT ITER 2708 NEW BEST:: SOT 4589724 SOS 2526386 HAS SOPS 2526386 HAS SOUS 2193038 HAS SOUPS 2193038 WITH SCORE 2195564.386
AT ITER 2709 NEW BEST:: SOT 4589724 SOS 2526298 HAS SOPS 2526298 HAS SOUS 2193038 HAS SOUPS 2193038 WITH SCORE 2195564.298
AT ITER 2713 NEW BEST:: SOT 4589724 SOS 2526259 HAS SOPS 2526259 HAS SOUS 2193038 HAS SOUPS 2193038 WITH SCORE 2195564.259
AT ITER 2716 NEW BEST:: SOT 4589724 SOS 2526255 HAS SOPS 2526255 HAS SOUS 2193038 HAS SOUPS 2193038 WITH SCORE 2195564.255
AT ITER 2721 NEW BEST:: SOT 4589120 SOS 2526652 HAS SOPS 2526652 HAS SOUS 2192607 HAS SOUPS 2192607 WITH SCORE 2195133.652
AT ITER 2726 NEW BEST:: SOT 4588994 SOS 2526440 HAS SOPS 2526440 HAS SOUS 2192352 HAS SOUPS 2192352 WITH SCORE 2194878.44
AT ITER 2727 NEW BEST:: SOT 4589365 SOS 2521370 HAS SOPS 2521370 HAS SOUS 2191742 HAS SOUPS 2191742 WITH SCORE 2194263.37
AT ITER 2728 NEW BEST:: SOT 4589194 SOS 2522207 HAS SOPS 2522207 HAS SOUS 2191571 HAS SOUPS 2191571 WITH SCORE 2194093.207
AT ITER 2732 NEW BEST:: SOT 4589194 SOS 2522103 HAS SOPS 2522103 HAS SOUS 2191571 HAS SOUPS 2191571 WITH SCORE 2194093.103
AT ITER 2743 NEW BEST:: SOT 4589502 SOS 2522222 HAS SOPS 2522222 HAS SOUS 2191094 HAS SOUPS 2191094 WITH SCORE 2193616.222
AT ITER 2744 NEW BEST:: SOT 4586595 SOS 2520695 HAS SOPS 2520695 HAS SOUS 2188952 HAS SOUPS 2188952 WITH SCORE 2191472.695
AT ITER 2749 NEW BEST:: SOT 4586595 SOS 2520368 HAS SOPS 2520368 HAS SOUS 2188952 HAS SOUPS 2188952 WITH SCORE 2191472.368
AT ITER 2755 NEW BEST:: SOT 4585655 SOS 2519927 HAS SOPS 2519927 HAS SOUS 2188606 HAS SOUPS 2188606 WITH SCORE 2191125.927
AT ITER 2761 NEW BEST:: SOT 4585942 SOS 2520214 HAS SOPS 2520214 HAS SOUS 2188320 HAS SOUPS 2188320 WITH SCORE 2190840.214
AT ITER 2762 NEW BEST:: SOT 4585900 SOS 2520193 HAS SOPS 2520193 HAS SOUS 2188257 HAS SOUPS 2188257 WITH SCORE 2190777.193
AT ITER 2763 NEW BEST:: SOT 4584787 SOS 2521929 HAS SOPS 2521929 HAS SOUS 2187634 HAS SOUPS 2187634 WITH SCORE 2190155.929
AT ITER 2768 NEW BEST:: SOT 4584689 SOS 2521664 HAS SOPS 2521664 HAS SOUS 2187396 HAS SOUPS 2187396 WITH SCORE 2189917.664
AT ITER 2772 NEW BEST:: SOT 4582094 SOS 2522107 HAS SOPS 2522107 HAS SOUS 2185708 HAS SOUPS 2185708 WITH SCORE 2188230.107
AT ITER 2778 NEW BEST:: SOT 4579326 SOS 2526062 HAS SOPS 2526062 HAS SOUS 2184235 HAS SOUPS 2184235 WITH SCORE 2186761.062
AT ITER 2779 NEW BEST:: SOT 4576878 SOS 2529566 HAS SOPS 2529566 HAS SOUS 2183639 HAS SOUPS 2183639 WITH SCORE 2186168.566
AT ITER 2780 NEW BEST:: SOT 4575726 SOS 2530052 HAS SOPS 2530052 HAS SOUS 2182647 HAS SOUPS 2182647 WITH SCORE 2185177.052
AT ITER 2781 NEW BEST:: SOT 4575726 SOS 2524867 HAS SOPS 2524867 HAS SOUS 2182567 HAS SOUPS 2182567 WITH SCORE 2185091.867
AT ITER 2783 NEW BEST:: SOT 4575520 SOS 2524912 HAS SOPS 2524912 HAS SOUS 2182361 HAS SOUPS 2182361 WITH SCORE 2184885.912
AT ITER 2788 NEW BEST:: SOT 4575520 SOS 2524379 HAS SOPS 2524379 HAS SOUS 2182124 HAS SOUPS 2182124 WITH SCORE 2184648.379
AT ITER 2789 NEW BEST:: SOT 4574231 SOS 2525175 HAS SOPS 2525175 HAS SOUS 2181868 HAS SOUPS 2181868 WITH SCORE 2184393.175
AT ITER 2805 NEW BEST:: SOT 4574231 SOS 2524771 HAS SOPS 2524771 HAS SOUS 2181868 HAS SOUPS 2181868 WITH SCORE 2184392.771
AT ITER 2809 NEW BEST:: SOT 4573529 SOS 2524178 HAS SOPS 2524178 HAS SOUS 2181229 HAS SOUPS 2181229 WITH SCORE 2183753.178
AT ITER 2819 NEW BEST:: SOT 4573529 SOS 2524178 HAS SOPS 2524178 HAS SOUS 2181049 HAS SOUPS 2181049 WITH SCORE 2183573.178
AT ITER 2827 NEW BEST:: SOT 4573529 SOS 2524178 HAS SOPS 2524178 HAS SOUS 2180987 HAS SOUPS 2180987 WITH SCORE 2183511.178
AT ITER 2830 NEW BEST:: SOT 4573543 SOS 2524108 HAS SOPS 2524108 HAS SOUS 2180987 HAS SOUPS 2180987 WITH SCORE 2183511.108
AT ITER 2832 NEW BEST:: SOT 4572280 SOS 2524139 HAS SOPS 2524139 HAS SOUS 2180880 HAS SOUPS 2180880 WITH SCORE 2183404.139
AT ITER 2833 NEW BEST:: SOT 4572170 SOS 2524029 HAS SOPS 2524029 HAS SOUS 2180720 HAS SOUPS 2180720 WITH SCORE 2183244.029
AT ITER 2835 NEW BEST:: SOT 4572170 SOS 2523723 HAS SOPS 2523723 HAS SOUS 2180567 HAS SOUPS 2180567 WITH SCORE 2183090.723
AT ITER 2838 NEW BEST:: SOT 4572170 SOS 2523119 HAS SOPS 2523119 HAS SOUS 2180567 HAS SOUPS 2180567 WITH SCORE 2183090.119
AT ITER 2839 NEW BEST:: SOT 4572170 SOS 2522669 HAS SOPS 2522669 HAS SOUS 2180567 HAS SOUPS 2180567 WITH SCORE 2183089.669
AT ITER 2841 NEW BEST:: SOT 4572170 SOS 2519983 HAS SOPS 2519983 HAS SOUS 2180305 HAS SOUPS 2180305 WITH SCORE 2182824.983
AT ITER 2850 NEW BEST:: SOT 4572170 SOS 2519640 HAS SOPS 2519640 HAS SOUS 2180305 HAS SOUPS 2180305 WITH SCORE 2182824.64
AT ITER 2851 NEW BEST:: SOT 4572170 SOS 2519639 HAS SOPS 2519639 HAS SOUS 2180305 HAS SOUPS 2180305 WITH SCORE 2182824.639
AT ITER 2853 NEW BEST:: SOT 4572170 SOS 2519591 HAS SOPS 2519591 HAS SOUS 2180278 HAS SOUPS 2180278 WITH SCORE 2182797.591
AT ITER 2860 NEW BEST:: SOT 4570820 SOS 2518919 HAS SOPS 2518919 HAS SOUS 2179409 HAS SOUPS 2179409 WITH SCORE 2181927.919
AT ITER 2863 NEW BEST:: SOT 4570247 SOS 2518346 HAS SOPS 2518346 HAS SOUS 2178836 HAS SOUPS 2178836 WITH SCORE 2181354.346
AT ITER 2864 NEW BEST:: SOT 4570247 SOS 2518293 HAS SOPS 2518293 HAS SOUS 2178836 HAS SOUPS 2178836 WITH SCORE 2181354.293
AT ITER 2867 NEW BEST:: SOT 4570247 SOS 2518157 HAS SOPS 2518157 HAS SOUS 2178430 HAS SOUPS 2178430 WITH SCORE 2180948.157
AT ITER 2872 NEW BEST:: SOT 4570247 SOS 2517914 HAS SOPS 2517914 HAS SOUS 2178430 HAS SOUPS 2178430 WITH SCORE 2180947.914
AT ITER 2876 NEW BEST:: SOT 4570247 SOS 2517476 HAS SOPS 2517476 HAS SOUS 2178430 HAS SOUPS 2178430 WITH SCORE 2180947.476
AT ITER 2877 NEW BEST:: SOT 4569740 SOS 2516872 HAS SOPS 2516872 HAS SOUS 2177596 HAS SOUPS 2177596 WITH SCORE 2180112.872
AT ITER 2878 NEW BEST:: SOT 4567575 SOS 2515557 HAS SOPS 2515557 HAS SOUS 2175760 HAS SOUPS 2175760 WITH SCORE 2178275.557
AT ITER 2885 NEW BEST:: SOT 4567575 SOS 2515359 HAS SOPS 2515359 HAS SOUS 2175760 HAS SOUPS 2175760 WITH SCORE 2178275.359
AT ITER 2892 NEW BEST:: SOT 4567575 SOS 2515359 HAS SOPS 2515359 HAS SOUS 2175447 HAS SOUPS 2175447 WITH SCORE 2177962.359
AT ITER 2894 NEW BEST:: SOT 4567575 SOS 2515264 HAS SOPS 2515264 HAS SOUS 2175447 HAS SOUPS 2175447 WITH SCORE 2177962.264
AT ITER 2896 NEW BEST:: SOT 4565614 SOS 2517268 HAS SOPS 2517268 HAS SOUS 2174869 HAS SOUPS 2174869 WITH SCORE 2177386.268
AT ITER 2899 NEW BEST:: SOT 4560870 SOS 2517307 HAS SOPS 2517307 HAS SOUS 2170766 HAS SOUPS 2170766 WITH SCORE 2173283.307
AT ITER 2901 NEW BEST:: SOT 4559263 SOS 2516176 HAS SOPS 2516176 HAS SOUS 2170311 HAS SOUPS 2170311 WITH SCORE 2172827.176
AT ITER 2904 NEW BEST:: SOT 4559263 SOS 2515852 HAS SOPS 2515852 HAS SOUS 2170311 HAS SOUPS 2170311 WITH SCORE 2172826.852
AT ITER 2906 NEW BEST:: SOT 4559263 SOS 2515812 HAS SOPS 2515812 HAS SOUS 2170311 HAS SOUPS 2170311 WITH SCORE 2172826.812
AT ITER 2936 NEW BEST:: SOT 4559263 SOS 2513066 HAS SOPS 2513066 HAS SOUS 2169878 HAS SOUPS 2169878 WITH SCORE 2172391.066
AT ITER 2943 NEW BEST:: SOT 4558807 SOS 2512610 HAS SOPS 2512610 HAS SOUS 2169447 HAS SOUPS 2169447 WITH SCORE 2171959.61
AT ITER 2945 NEW BEST:: SOT 4558807 SOS 2512503 HAS SOPS 2512503 HAS SOUS 2169447 HAS SOUPS 2169447 WITH SCORE 2171959.503
AT ITER 2948 NEW BEST:: SOT 4558807 SOS 2512018 HAS SOPS 2512018 HAS SOUS 2168962 HAS SOUPS 2168962 WITH SCORE 2171474.018
AT ITER 2953 NEW BEST:: SOT 4558807 SOS 2511947 HAS SOPS 2511947 HAS SOUS 2168962 HAS SOUPS 2168962 WITH SCORE 2171473.947
AT ITER 2958 NEW BEST:: SOT 4558807 SOS 2511923 HAS SOPS 2511923 HAS SOUS 2168962 HAS SOUPS 2168962 WITH SCORE 2171473.923
AT ITER 2960 NEW BEST:: SOT 4558807 SOS 2512104 HAS SOPS 2512104 HAS SOUS 2168922 HAS SOUPS 2168922 WITH SCORE 2171434.104
AT ITER 2974 NEW BEST:: SOT 4558807 SOS 2511973 HAS SOPS 2511973 HAS SOUS 2168922 HAS SOUPS 2168922 WITH SCORE 2171433.973
AT ITER 2975 NEW BEST:: SOT 4558807 SOS 2511623 HAS SOPS 2511623 HAS SOUS 2168777 HAS SOUPS 2168777 WITH SCORE 2171288.623
AT ITER 2984 NEW BEST:: SOT 4556178 SOS 2523767 HAS SOPS 2523767 HAS SOUS 2168732 HAS SOUPS 2168732 WITH SCORE 2171255.767
AT ITER 2988 NEW BEST:: SOT 4554028 SOS 2529279 HAS SOPS 2529279 HAS SOUS 2168083 HAS SOUPS 2168083 WITH SCORE 2170612.279
AT ITER 2993 NEW BEST:: SOT 4554028 SOS 2529192 HAS SOPS 2529192 HAS SOUS 2168083 HAS SOUPS 2168083 WITH SCORE 2170612.192
AT ITER 2995 NEW BEST:: SOT 4553005 SOS 2529309 HAS SOPS 2529309 HAS SOUS 2167060 HAS SOUPS 2167060 WITH SCORE 2169589.309
AT ITER 2996 NEW BEST:: SOT 4552953 SOS 2529257 HAS SOPS 2529257 HAS SOUS 2166917 HAS SOUPS 2166917 WITH SCORE 2169446.257
AT ITER 3007 NEW BEST:: SOT 4552623 SOS 2533202 HAS SOPS 2533202 HAS SOUS 2166859 HAS SOUPS 2166859 WITH SCORE 2169392.202
AT ITER 3010 NEW BEST:: SOT 4552539 SOS 2533202 HAS SOPS 2533202 HAS SOUS 2166691 HAS SOUPS 2166691 WITH SCORE 2169224.202
AT ITER 3011 NEW BEST:: SOT 4552539 SOS 2532961 HAS SOPS 2532961 HAS SOUS 2166691 HAS SOUPS 2166691 WITH SCORE 2169223.961
AT ITER 3014 NEW BEST:: SOT 4552539 SOS 2532857 HAS SOPS 2532857 HAS SOUS 2166691 HAS SOUPS 2166691 WITH SCORE 2169223.857
AT ITER 3025 NEW BEST:: SOT 4552539 SOS 2532479 HAS SOPS 2532479 HAS SOUS 2166220 HAS SOUPS 2166220 WITH SCORE 2168752.479
AT ITER 3028 NEW BEST:: SOT 4552404 SOS 2532344 HAS SOPS 2532344 HAS SOUS 2166085 HAS SOUPS 2166085 WITH SCORE 2168617.344
AT ITER 3034 NEW BEST:: SOT 4552307 SOS 2532247 HAS SOPS 2532247 HAS SOUS 2165735 HAS SOUPS 2165735 WITH SCORE 2168267.247
AT ITER 3037 NEW BEST:: SOT 4549308 SOS 2530882 HAS SOPS 2530882 HAS SOUS 2165468 HAS SOUPS 2165468 WITH SCORE 2167998.882
AT ITER 3039 NEW BEST:: SOT 4549308 SOS 2530533 HAS SOPS 2530533 HAS SOUS 2165463 HAS SOUPS 2165463 WITH SCORE 2167993.533
AT ITER 3045 NEW BEST:: SOT 4545943 SOS 2529813 HAS SOPS 2529813 HAS SOUS 2164537 HAS SOUPS 2164537 WITH SCORE 2167066.813
AT ITER 3047 NEW BEST:: SOT 4545871 SOS 2529741 HAS SOPS 2529741 HAS SOUS 2164465 HAS SOUPS 2164465 WITH SCORE 2166994.741
AT ITER 3048 NEW BEST:: SOT 4545806 SOS 2529185 HAS SOPS 2529185 HAS SOUS 2164275 HAS SOUPS 2164275 WITH SCORE 2166804.185
AT ITER 3053 NEW BEST:: SOT 4545004 SOS 2530455 HAS SOPS 2530455 HAS SOUS 2163610 HAS SOUPS 2163610 WITH SCORE 2166140.455
AT ITER 3075 NEW BEST:: SOT 4544239 SOS 2530497 HAS SOPS 2530497 HAS SOUS 2163114 HAS SOUPS 2163114 WITH SCORE 2165644.497
AT ITER 3081 NEW BEST:: SOT 4543138 SOS 2529763 HAS SOPS 2529763 HAS SOUS 2162013 HAS SOUPS 2162013 WITH SCORE 2164542.763
AT ITER 3086 NEW BEST:: SOT 4543791 SOS 2528114 HAS SOPS 2528114 HAS SOUS 2160920 HAS SOUPS 2160920 WITH SCORE 2163448.114
AT ITER 3097 NEW BEST:: SOT 4543791 SOS 2526845 HAS SOPS 2526845 HAS SOUS 2160920 HAS SOUPS 2160920 WITH SCORE 2163446.845
AT ITER 3098 NEW BEST:: SOT 4543791 SOS 2521177 HAS SOPS 2521177 HAS SOUS 2160315 HAS SOUPS 2160315 WITH SCORE 2162836.177
AT ITER 3099 NEW BEST:: SOT 4543791 SOS 2520834 HAS SOPS 2520834 HAS SOUS 2160315 HAS SOUPS 2160315 WITH SCORE 2162835.834
AT ITER 3104 NEW BEST:: SOT 4543791 SOS 2520629 HAS SOPS 2520629 HAS SOUS 2160315 HAS SOUPS 2160315 WITH SCORE 2162835.629
AT ITER 3109 NEW BEST:: SOT 4543789 SOS 2520627 HAS SOPS 2520627 HAS SOUS 2160302 HAS SOUPS 2160302 WITH SCORE 2162822.627
AT ITER 3127 NEW BEST:: SOT 4543789 SOS 2520351 HAS SOPS 2520351 HAS SOUS 2160302 HAS SOUPS 2160302 WITH SCORE 2162822.351
AT ITER 3128 NEW BEST:: SOT 4543789 SOS 2520857 HAS SOPS 2520857 HAS SOUS 2159912 HAS SOUPS 2159912 WITH SCORE 2162432.857
AT ITER 3129 NEW BEST:: SOT 4543570 SOS 2521232 HAS SOPS 2521232 HAS SOUS 2159780 HAS SOUPS 2159780 WITH SCORE 2162301.232
AT ITER 3133 NEW BEST:: SOT 4541657 SOS 2522506 HAS SOPS 2522506 HAS SOUS 2159052 HAS SOUPS 2159052 WITH SCORE 2161574.506
AT ITER 3135 NEW BEST:: SOT 4541657 SOS 2522106 HAS SOPS 2522106 HAS SOUS 2159052 HAS SOUPS 2159052 WITH SCORE 2161574.106
AT ITER 3136 NEW BEST:: SOT 4541150 SOS 2523756 HAS SOPS 2523756 HAS SOUS 2159036 HAS SOUPS 2159036 WITH SCORE 2161559.756
AT ITER 3137 NEW BEST:: SOT 4540132 SOS 2522781 HAS SOPS 2522781 HAS SOUS 2158183 HAS SOUPS 2158183 WITH SCORE 2160705.781
AT ITER 3143 NEW BEST:: SOT 4540132 SOS 2522189 HAS SOPS 2522189 HAS SOUS 2157929 HAS SOUPS 2157929 WITH SCORE 2160451.189
AT ITER 3146 NEW BEST:: SOT 4540132 SOS 2518576 HAS SOPS 2518576 HAS SOUS 2157708 HAS SOUPS 2157708 WITH SCORE 2160226.576
AT ITER 3151 NEW BEST:: SOT 4540032 SOS 2518526 HAS SOPS 2518526 HAS SOUS 2157658 HAS SOUPS 2157658 WITH SCORE 2160176.526
AT ITER 3156 NEW BEST:: SOT 4540032 SOS 2518466 HAS SOPS 2518466 HAS SOUS 2157658 HAS SOUPS 2157658 WITH SCORE 2160176.466
AT ITER 3157 NEW BEST:: SOT 4539543 SOS 2517173 HAS SOPS 2517173 HAS SOUS 2156731 HAS SOUPS 2156731 WITH SCORE 2159248.173
AT ITER 3162 NEW BEST:: SOT 4539543 SOS 2517077 HAS SOPS 2517077 HAS SOUS 2156731 HAS SOUPS 2156731 WITH SCORE 2159248.077
AT ITER 3164 NEW BEST:: SOT 4537159 SOS 2516320 HAS SOPS 2516320 HAS SOUS 2156543 HAS SOUPS 2156543 WITH SCORE 2159059.32
AT ITER 3171 NEW BEST:: SOT 4534035 SOS 2520452 HAS SOPS 2520452 HAS SOUS 2155239 HAS SOUPS 2155239 WITH SCORE 2157759.452
AT ITER 3172 NEW BEST:: SOT 4533858 SOS 2520275 HAS SOPS 2520275 HAS SOUS 2155062 HAS SOUPS 2155062 WITH SCORE 2157582.275
AT ITER 3179 NEW BEST:: SOT 4533858 SOS 2520242 HAS SOPS 2520242 HAS SOUS 2155062 HAS SOUPS 2155062 WITH SCORE 2157582.242
AT ITER 3197 NEW BEST:: SOT 4533893 SOS 2519537 HAS SOPS 2519537 HAS SOUS 2154881 HAS SOUPS 2154881 WITH SCORE 2157400.537
AT ITER 3200 NEW BEST:: SOT 4533018 SOS 2517908 HAS SOPS 2517908 HAS SOUS 2153353 HAS SOUPS 2153353 WITH SCORE 2155870.908
AT ITER 3206 NEW BEST:: SOT 4533018 SOS 2517753 HAS SOPS 2517753 HAS SOUS 2153353 HAS SOUPS 2153353 WITH SCORE 2155870.753
AT ITER 3211 NEW BEST:: SOT 4533018 SOS 2517704 HAS SOPS 2517704 HAS SOUS 2153353 HAS SOUPS 2153353 WITH SCORE 2155870.704
AT ITER 3216 NEW BEST:: SOT 4532952 SOS 2517836 HAS SOPS 2517836 HAS SOUS 2153287 HAS SOUPS 2153287 WITH SCORE 2155804.836
AT ITER 3222 NEW BEST:: SOT 4532952 SOS 2517792 HAS SOPS 2517792 HAS SOUS 2153287 HAS SOUPS 2153287 WITH SCORE 2155804.792
AT ITER 3224 NEW BEST:: SOT 4532952 SOS 2517461 HAS SOPS 2517461 HAS SOUS 2153287 HAS SOUPS 2153287 WITH SCORE 2155804.461
AT ITER 3230 NEW BEST:: SOT 4531781 SOS 2522424 HAS SOPS 2522424 HAS SOUS 2153107 HAS SOUPS 2153107 WITH SCORE 2155629.424
AT ITER 3231 NEW BEST:: SOT 4531284 SOS 2522303 HAS SOPS 2522303 HAS SOUS 2152798 HAS SOUPS 2152798 WITH SCORE 2155320.303
AT ITER 3237 NEW BEST:: SOT 4529330 SOS 2523844 HAS SOPS 2523844 HAS SOUS 2151717 HAS SOUPS 2151717 WITH SCORE 2154240.844
AT ITER 3239 NEW BEST:: SOT 4529330 SOS 2523767 HAS SOPS 2523767 HAS SOUS 2151640 HAS SOUPS 2151640 WITH SCORE 2154163.767
AT ITER 3240 NEW BEST:: SOT 4529330 SOS 2523576 HAS SOPS 2523576 HAS SOUS 2151558 HAS SOUPS 2151558 WITH SCORE 2154081.576
AT ITER 3241 NEW BEST:: SOT 4529222 SOS 2523468 HAS SOPS 2523468 HAS SOUS 2151450 HAS SOUPS 2151450 WITH SCORE 2153973.468
AT ITER 3244 NEW BEST:: SOT 4529222 SOS 2523187 HAS SOPS 2523187 HAS SOUS 2151450 HAS SOUPS 2151450 WITH SCORE 2153973.187
AT ITER 3245 NEW BEST:: SOT 4529222 SOS 2522350 HAS SOPS 2522350 HAS SOUS 2150913 HAS SOUPS 2150913 WITH SCORE 2153435.35
AT ITER 3246 NEW BEST:: SOT 4525038 SOS 2520785 HAS SOPS 2520785 HAS SOUS 2148122 HAS SOUPS 2148122 WITH SCORE 2150642.785
AT ITER 3248 NEW BEST:: SOT 4525038 SOS 2520785 HAS SOPS 2520785 HAS SOUS 2147870 HAS SOUPS 2147870 WITH SCORE 2150390.785
AT ITER 3254 NEW BEST:: SOT 4524320 SOS 2520290 HAS SOPS 2520290 HAS SOUS 2147723 HAS SOUPS 2147723 WITH SCORE 2150243.29
AT ITER 3256 NEW BEST:: SOT 4524320 SOS 2519887 HAS SOPS 2519887 HAS SOUS 2147723 HAS SOUPS 2147723 WITH SCORE 2150242.887
AT ITER 3260 NEW BEST:: SOT 4524355 SOS 2520548 HAS SOPS 2520548 HAS SOUS 2147385 HAS SOUPS 2147385 WITH SCORE 2149905.548
AT ITER 3268 NEW BEST:: SOT 4524355 SOS 2520520 HAS SOPS 2520520 HAS SOUS 2147385 HAS SOUPS 2147385 WITH SCORE 2149905.52
AT ITER 3272 NEW BEST:: SOT 4524355 SOS 2519872 HAS SOPS 2519872 HAS SOUS 2147385 HAS SOUPS 2147385 WITH SCORE 2149904.872
AT ITER 3273 NEW BEST:: SOT 4524355 SOS 2519782 HAS SOPS 2519782 HAS SOUS 2147385 HAS SOUPS 2147385 WITH SCORE 2149904.782
AT ITER 3275 NEW BEST:: SOT 4524355 SOS 2519901 HAS SOPS 2519901 HAS SOUS 2147113 HAS SOUPS 2147113 WITH SCORE 2149632.901
AT ITER 3278 NEW BEST:: SOT 4523420 SOS 2524254 HAS SOPS 2524254 HAS SOUS 2146965 HAS SOUPS 2146965 WITH SCORE 2149489.254
AT ITER 3279 NEW BEST:: SOT 4523420 SOS 2523901 HAS SOPS 2523901 HAS SOUS 2146854 HAS SOUPS 2146854 WITH SCORE 2149377.901
AT ITER 3283 NEW BEST:: SOT 4523420 SOS 2523461 HAS SOPS 2523461 HAS SOUS 2146766 HAS SOUPS 2146766 WITH SCORE 2149289.461
AT ITER 3284 NEW BEST:: SOT 4520497 SOS 2521896 HAS SOPS 2521896 HAS SOUS 2144331 HAS SOUPS 2144331 WITH SCORE 2146852.896
AT ITER 3285 NEW BEST:: SOT 4520497 SOS 2521506 HAS SOPS 2521506 HAS SOUS 2144331 HAS SOUPS 2144331 WITH SCORE 2146852.506
AT ITER 3293 NEW BEST:: SOT 4516661 SOS 2522891 HAS SOPS 2522891 HAS SOUS 2143616 HAS SOUPS 2143616 WITH SCORE 2146138.891
AT ITER 3294 NEW BEST:: SOT 4516661 SOS 2522435 HAS SOPS 2522435 HAS SOUS 2143208 HAS SOUPS 2143208 WITH SCORE 2145730.435
AT ITER 3297 NEW BEST:: SOT 4516599 SOS 2522373 HAS SOPS 2522373 HAS SOUS 2143190 HAS SOUPS 2143190 WITH SCORE 2145712.373
AT ITER 3302 NEW BEST:: SOT 4516599 SOS 2521570 HAS SOPS 2521570 HAS SOUS 2142789 HAS SOUPS 2142789 WITH SCORE 2145310.57
AT ITER 3303 NEW BEST:: SOT 4516424 SOS 2521103 HAS SOPS 2521103 HAS SOUS 2142416 HAS SOUPS 2142416 WITH SCORE 2144937.103
AT ITER 3313 NEW BEST:: SOT 4516424 SOS 2520751 HAS SOPS 2520751 HAS SOUS 2142416 HAS SOUPS 2142416 WITH SCORE 2144936.751
AT ITER 3316 NEW BEST:: SOT 4516424 SOS 2521203 HAS SOPS 2521203 HAS SOUS 2142414 HAS SOUPS 2142414 WITH SCORE 2144935.203
AT ITER 3318 NEW BEST:: SOT 4514566 SOS 2524541 HAS SOPS 2524541 HAS SOUS 2141678 HAS SOUPS 2141678 WITH SCORE 2144202.541
AT ITER 3319 NEW BEST:: SOT 4514777 SOS 2524639 HAS SOPS 2524639 HAS SOUS 2141337 HAS SOUPS 2141337 WITH SCORE 2143861.639
AT ITER 3321 NEW BEST:: SOT 4514777 SOS 2524333 HAS SOPS 2524333 HAS SOUS 2141337 HAS SOUPS 2141337 WITH SCORE 2143861.333
AT ITER 3326 NEW BEST:: SOT 4514777 SOS 2524090 HAS SOPS 2524090 HAS SOUS 2141337 HAS SOUPS 2141337 WITH SCORE 2143861.09
AT ITER 3328 NEW BEST:: SOT 4514777 SOS 2523623 HAS SOPS 2523623 HAS SOUS 2141337 HAS SOUPS 2141337 WITH SCORE 2143860.623
AT ITER 3337 NEW BEST:: SOT 4514777 SOS 2523113 HAS SOPS 2523113 HAS SOUS 2141337 HAS SOUPS 2141337 WITH SCORE 2143860.113
AT ITER 3340 NEW BEST:: SOT 4514719 SOS 2523207 HAS SOPS 2523207 HAS SOUS 2141279 HAS SOUPS 2141279 WITH SCORE 2143802.207
AT ITER 3342 NEW BEST:: SOT 4514719 SOS 2523124 HAS SOPS 2523124 HAS SOUS 2141279 HAS SOUPS 2141279 WITH SCORE 2143802.124
AT ITER 3349 NEW BEST:: SOT 4512354 SOS 2521874 HAS SOPS 2521874 HAS SOUS 2139518 HAS SOUPS 2139518 WITH SCORE 2142039.874
AT ITER 3355 NEW BEST:: SOT 4512392 SOS 2521912 HAS SOPS 2521912 HAS SOUS 2139486 HAS SOUPS 2139486 WITH SCORE 2142007.912
AT ITER 3356 NEW BEST:: SOT 4512392 SOS 2521912 HAS SOPS 2521912 HAS SOUS 2138934 HAS SOUPS 2138934 WITH SCORE 2141455.912
AT ITER 3371 NEW BEST:: SOT 4512371 SOS 2521718 HAS SOPS 2521718 HAS SOUS 2138493 HAS SOUPS 2138493 WITH SCORE 2141014.718
AT ITER 3377 NEW BEST:: SOT 4512371 SOS 2521683 HAS SOPS 2521683 HAS SOUS 2138410 HAS SOUPS 2138410 WITH SCORE 2140931.683
AT ITER 3382 NEW BEST:: SOT 4512371 SOS 2522841 HAS SOPS 2522841 HAS SOUS 2138392 HAS SOUPS 2138392 WITH SCORE 2140914.841
AT ITER 3383 NEW BEST:: SOT 4512371 SOS 2522988 HAS SOPS 2522988 HAS SOUS 2138365 HAS SOUPS 2138365 WITH SCORE 2140887.988
AT ITER 3387 NEW BEST:: SOT 4509892 SOS 2521753 HAS SOPS 2521753 HAS SOUS 2138135 HAS SOUPS 2138135 WITH SCORE 2140656.753
AT ITER 3388 NEW BEST:: SOT 4509892 SOS 2521276 HAS SOPS 2521276 HAS SOUS 2138135 HAS SOUPS 2138135 WITH SCORE 2140656.276
AT ITER 3391 NEW BEST:: SOT 4509892 SOS 2519860 HAS SOPS 2519860 HAS SOUS 2138135 HAS SOUPS 2138135 WITH SCORE 2140654.86
AT ITER 3392 NEW BEST:: SOT 4509892 SOS 2519860 HAS SOPS 2519860 HAS SOUS 2138131 HAS SOUPS 2138131 WITH SCORE 2140650.86
AT ITER 3399 NEW BEST:: SOT 4509892 SOS 2519781 HAS SOPS 2519781 HAS SOUS 2138131 HAS SOUPS 2138131 WITH SCORE 2140650.781
AT ITER 3402 NEW BEST:: SOT 4508553 SOS 2520200 HAS SOPS 2520200 HAS SOUS 2137430 HAS SOUPS 2137430 WITH SCORE 2139950.2
AT ITER 3419 NEW BEST:: SOT 4508553 SOS 2520032 HAS SOPS 2520032 HAS SOUS 2137330 HAS SOUPS 2137330 WITH SCORE 2139850.032
AT ITER 3423 NEW BEST:: SOT 4508132 SOS 2518505 HAS SOPS 2518505 HAS SOUS 2135812 HAS SOUPS 2135812 WITH SCORE 2138330.505
AT ITER 3426 NEW BEST:: SOT 4506790 SOS 2517967 HAS SOPS 2517967 HAS SOUS 2134877 HAS SOUPS 2134877 WITH SCORE 2137394.967
AT ITER 3430 NEW BEST:: SOT 4506790 SOS 2517893 HAS SOPS 2517893 HAS SOUS 2134725 HAS SOUPS 2134725 WITH SCORE 2137242.893
AT ITER 3444 NEW BEST:: SOT 4505509 SOS 2517518 HAS SOPS 2517518 HAS SOUS 2134394 HAS SOUPS 2134394 WITH SCORE 2136911.518
AT ITER 3447 NEW BEST:: SOT 4505009 SOS 2517309 HAS SOPS 2517309 HAS SOUS 2134103 HAS SOUPS 2134103 WITH SCORE 2136620.309
AT ITER 3449 NEW BEST:: SOT 4505009 SOS 2517226 HAS SOPS 2517226 HAS SOUS 2134103 HAS SOUPS 2134103 WITH SCORE 2136620.226
AT ITER 3450 NEW BEST:: SOT 4503469 SOS 2515841 HAS SOPS 2515841 HAS SOUS 2133005 HAS SOUPS 2133005 WITH SCORE 2135520.841
AT ITER 3454 NEW BEST:: SOT 4503469 SOS 2515555 HAS SOPS 2515555 HAS SOUS 2133005 HAS SOUPS 2133005 WITH SCORE 2135520.555
AT ITER 3456 NEW BEST:: SOT 4501791 SOS 2524191 HAS SOPS 2524191 HAS SOUS 2132146 HAS SOUPS 2132146 WITH SCORE 2134670.191
AT ITER 3457 NEW BEST:: SOT 4501791 SOS 2524191 HAS SOPS 2524191 HAS SOUS 2132112 HAS SOUPS 2132112 WITH SCORE 2134636.191
AT ITER 3458 NEW BEST:: SOT 4501912 SOS 2524049 HAS SOPS 2524049 HAS SOUS 2132003 HAS SOUPS 2132003 WITH SCORE 2134527.049
AT ITER 3460 NEW BEST:: SOT 4499507 SOS 2524734 HAS SOPS 2524734 HAS SOUS 2130855 HAS SOUPS 2130855 WITH SCORE 2133379.734
AT ITER 3463 NEW BEST:: SOT 4499458 SOS 2525349 HAS SOPS 2525349 HAS SOUS 2130661 HAS SOUPS 2130661 WITH SCORE 2133186.349
AT ITER 3465 NEW BEST:: SOT 4499178 SOS 2524550 HAS SOPS 2524550 HAS SOUS 2129491 HAS SOUPS 2129491 WITH SCORE 2132015.55
AT ITER 3472 NEW BEST:: SOT 4499178 SOS 2524709 HAS SOPS 2524709 HAS SOUS 2129265 HAS SOUPS 2129265 WITH SCORE 2131789.709
AT ITER 3473 NEW BEST:: SOT 4498000 SOS 2524133 HAS SOPS 2524133 HAS SOUS 2128219 HAS SOUPS 2128219 WITH SCORE 2130743.133
AT ITER 3477 NEW BEST:: SOT 4498000 SOS 2523684 HAS SOPS 2523684 HAS SOUS 2128219 HAS SOUPS 2128219 WITH SCORE 2130742.684
AT ITER 3482 NEW BEST:: SOT 4495900 SOS 2523291 HAS SOPS 2523291 HAS SOUS 2127289 HAS SOUPS 2127289 WITH SCORE 2129812.291
AT ITER 3485 NEW BEST:: SOT 4493970 SOS 2523144 HAS SOPS 2523144 HAS SOUS 2126476 HAS SOUPS 2126476 WITH SCORE 2128999.144
AT ITER 3486 NEW BEST:: SOT 4493970 SOS 2523121 HAS SOPS 2523121 HAS SOUS 2126476 HAS SOUPS 2126476 WITH SCORE 2128999.121
AT ITER 3498 NEW BEST:: SOT 4493970 SOS 2522995 HAS SOPS 2522995 HAS SOUS 2126476 HAS SOUPS 2126476 WITH SCORE 2128998.995
AT ITER 3513 NEW BEST:: SOT 4490494 SOS 2523632 HAS SOPS 2523632 HAS SOUS 2123758 HAS SOUPS 2123758 WITH SCORE 2126281.632
AT ITER 3517 NEW BEST:: SOT 4490494 SOS 2523525 HAS SOPS 2523525 HAS SOUS 2123758 HAS SOUPS 2123758 WITH SCORE 2126281.525
AT ITER 3522 NEW BEST:: SOT 4490494 SOS 2523390 HAS SOPS 2523390 HAS SOUS 2123758 HAS SOUPS 2123758 WITH SCORE 2126281.39
AT ITER 3527 NEW BEST:: SOT 4490494 SOS 2523363 HAS SOPS 2523363 HAS SOUS 2123758 HAS SOUPS 2123758 WITH SCORE 2126281.363
AT ITER 3528 NEW BEST:: SOT 4490779 SOS 2523669 HAS SOPS 2523669 HAS SOUS 2123677 HAS SOUPS 2123677 WITH SCORE 2126200.669
AT ITER 3534 NEW BEST:: SOT 4490519 SOS 2522878 HAS SOPS 2522878 HAS SOUS 2122693 HAS SOUPS 2122693 WITH SCORE 2125215.878
AT ITER 3541 NEW BEST:: SOT 4490431 SOS 2523762 HAS SOPS 2523762 HAS SOUS 2122637 HAS SOUPS 2122637 WITH SCORE 2125160.762
AT ITER 3543 NEW BEST:: SOT 4489651 SOS 2523218 HAS SOPS 2523218 HAS SOUS 2122203 HAS SOUPS 2122203 WITH SCORE 2124726.218
AT ITER 3544 NEW BEST:: SOT 4489651 SOS 2522993 HAS SOPS 2522993 HAS SOUS 2122203 HAS SOUPS 2122203 WITH SCORE 2124725.993
AT ITER 3548 NEW BEST:: SOT 4489651 SOS 2522857 HAS SOPS 2522857 HAS SOUS 2122203 HAS SOUPS 2122203 WITH SCORE 2124725.857
AT ITER 3550 NEW BEST:: SOT 4489474 SOS 2522180 HAS SOPS 2522180 HAS SOUS 2121614 HAS SOUPS 2121614 WITH SCORE 2124136.18
AT ITER 3559 NEW BEST:: SOT 4489325 SOS 2521504 HAS SOPS 2521504 HAS SOUS 2121575 HAS SOUPS 2121575 WITH SCORE 2124096.504
AT ITER 3561 NEW BEST:: SOT 4486965 SOS 2519653 HAS SOPS 2519653 HAS SOUS 2119874 HAS SOUPS 2119874 WITH SCORE 2122393.653
AT ITER 3562 NEW BEST:: SOT 4486767 SOS 2519455 HAS SOPS 2519455 HAS SOUS 2119676 HAS SOUPS 2119676 WITH SCORE 2122195.455
AT ITER 3568 NEW BEST:: SOT 4486767 SOS 2519327 HAS SOPS 2519327 HAS SOUS 2119676 HAS SOUPS 2119676 WITH SCORE 2122195.327
AT ITER 3571 NEW BEST:: SOT 4484066 SOS 2519922 HAS SOPS 2519922 HAS SOUS 2119639 HAS SOUPS 2119639 WITH SCORE 2122158.922
AT ITER 3572 NEW BEST:: SOT 4484101 SOS 2519579 HAS SOPS 2519579 HAS SOUS 2119595 HAS SOUPS 2119595 WITH SCORE 2122114.579
AT ITER 3579 NEW BEST:: SOT 4484169 SOS 2519504 HAS SOPS 2519504 HAS SOUS 2119570 HAS SOUPS 2119570 WITH SCORE 2122089.504
AT ITER 3590 NEW BEST:: SOT 4484169 SOS 2519446 HAS SOPS 2519446 HAS SOUS 2119546 HAS SOUPS 2119546 WITH SCORE 2122065.446
AT ITER 3591 NEW BEST:: SOT 4484169 SOS 2518944 HAS SOPS 2518944 HAS SOUS 2119123 HAS SOUPS 2119123 WITH SCORE 2121641.944
AT ITER 3592 NEW BEST:: SOT 4482040 SOS 2517166 HAS SOPS 2517166 HAS SOUS 2117660 HAS SOUPS 2117660 WITH SCORE 2120177.166
AT ITER 3593 NEW BEST:: SOT 4482040 SOS 2517166 HAS SOPS 2517166 HAS SOUS 2117577 HAS SOUPS 2117577 WITH SCORE 2120094.166
AT ITER 3596 NEW BEST:: SOT 4478666 SOS 2515137 HAS SOPS 2515137 HAS SOUS 2114850 HAS SOUPS 2114850 WITH SCORE 2117365.137
AT ITER 3601 NEW BEST:: SOT 4478219 SOS 2514982 HAS SOPS 2514982 HAS SOUS 2114763 HAS SOUPS 2114763 WITH SCORE 2117277.982
AT ITER 3602 NEW BEST:: SOT 4478594 SOS 2515357 HAS SOPS 2515357 HAS SOUS 2114658 HAS SOUPS 2114658 WITH SCORE 2117173.357
AT ITER 3607 NEW BEST:: SOT 4478594 SOS 2515671 HAS SOPS 2515671 HAS SOUS 2114567 HAS SOUPS 2114567 WITH SCORE 2117082.671
AT ITER 3610 NEW BEST:: SOT 4478594 SOS 2515345 HAS SOPS 2515345 HAS SOUS 2114567 HAS SOUPS 2114567 WITH SCORE 2117082.345
AT ITER 3615 NEW BEST:: SOT 4478354 SOS 2515172 HAS SOPS 2515172 HAS SOUS 2114103 HAS SOUPS 2114103 WITH SCORE 2116618.172
AT ITER 3618 NEW BEST:: SOT 4478354 SOS 2514990 HAS SOPS 2514990 HAS SOUS 2114103 HAS SOUPS 2114103 WITH SCORE 2116617.99
AT ITER 3619 NEW BEST:: SOT 4478354 SOS 2513754 HAS SOPS 2513754 HAS SOUS 2114103 HAS SOUPS 2114103 WITH SCORE 2116616.754
AT ITER 3624 NEW BEST:: SOT 4478354 SOS 2513717 HAS SOPS 2513717 HAS SOUS 2114103 HAS SOUPS 2114103 WITH SCORE 2116616.717
AT ITER 3628 NEW BEST:: SOT 4475059 SOS 2515785 HAS SOPS 2515785 HAS SOUS 2113576 HAS SOUPS 2113576 WITH SCORE 2116091.785
AT ITER 3629 NEW BEST:: SOT 4474423 SOS 2515108 HAS SOPS 2515108 HAS SOUS 2112752 HAS SOUPS 2112752 WITH SCORE 2115267.108
AT ITER 3630 NEW BEST:: SOT 4474423 SOS 2515108 HAS SOPS 2515108 HAS SOUS 2112528 HAS SOUPS 2112528 WITH SCORE 2115043.108
AT ITER 3631 NEW BEST:: SOT 4474850 SOS 2515017 HAS SOPS 2515017 HAS SOUS 2112363 HAS SOUPS 2112363 WITH SCORE 2114878.017
AT ITER 3635 NEW BEST:: SOT 4473391 SOS 2513222 HAS SOPS 2513222 HAS SOUS 2110925 HAS SOUPS 2110925 WITH SCORE 2113438.222
AT ITER 3636 NEW BEST:: SOT 4473391 SOS 2513064 HAS SOPS 2513064 HAS SOUS 2110925 HAS SOUPS 2110925 WITH SCORE 2113438.064
AT ITER 3639 NEW BEST:: SOT 4473391 SOS 2513064 HAS SOPS 2513064 HAS SOUS 2110923 HAS SOUPS 2110923 WITH SCORE 2113436.064
AT ITER 3640 NEW BEST:: SOT 4472597 SOS 2512019 HAS SOPS 2512019 HAS SOUS 2109497 HAS SOUPS 2109497 WITH SCORE 2112009.019
AT ITER 3643 NEW BEST:: SOT 4472597 SOS 2511797 HAS SOPS 2511797 HAS SOUS 2109279 HAS SOUPS 2109279 WITH SCORE 2111790.797
AT ITER 3658 NEW BEST:: SOT 4472602 SOS 2512185 HAS SOPS 2512185 HAS SOUS 2109139 HAS SOUPS 2109139 WITH SCORE 2111651.185
AT ITER 3665 NEW BEST:: SOT 4472290 SOS 2515441 HAS SOPS 2515441 HAS SOUS 2108948 HAS SOUPS 2108948 WITH SCORE 2111463.441
AT ITER 3671 NEW BEST:: SOT 4471785 SOS 2515341 HAS SOPS 2515341 HAS SOUS 2108824 HAS SOUPS 2108824 WITH SCORE 2111339.341
AT ITER 3672 NEW BEST:: SOT 4471785 SOS 2516012 HAS SOPS 2516012 HAS SOUS 2108813 HAS SOUPS 2108813 WITH SCORE 2111329.012
AT ITER 3677 NEW BEST:: SOT 4471785 SOS 2515599 HAS SOPS 2515599 HAS SOUS 2108813 HAS SOUPS 2108813 WITH SCORE 2111328.599
AT ITER 3682 NEW BEST:: SOT 4471728 SOS 2515791 HAS SOPS 2515791 HAS SOUS 2108693 HAS SOUPS 2108693 WITH SCORE 2111208.791
AT ITER 3683 NEW BEST:: SOT 4471728 SOS 2515274 HAS SOPS 2515274 HAS SOUS 2108653 HAS SOUPS 2108653 WITH SCORE 2111168.274
AT ITER 3689 NEW BEST:: SOT 4471728 SOS 2514941 HAS SOPS 2514941 HAS SOUS 2108386 HAS SOUPS 2108386 WITH SCORE 2110900.941
AT ITER 3694 NEW BEST:: SOT 4471728 SOS 2514787 HAS SOPS 2514787 HAS SOUS 2108386 HAS SOUPS 2108386 WITH SCORE 2110900.787
AT ITER 3699 NEW BEST:: SOT 4471728 SOS 2513798 HAS SOPS 2513798 HAS SOUS 2108315 HAS SOUPS 2108315 WITH SCORE 2110828.798
AT ITER 3704 NEW BEST:: SOT 4471058 SOS 2512567 HAS SOPS 2512567 HAS SOUS 2107597 HAS SOUPS 2107597 WITH SCORE 2110109.567
AT ITER 3708 NEW BEST:: SOT 4470530 SOS 2512093 HAS SOPS 2512093 HAS SOUS 2107123 HAS SOUPS 2107123 WITH SCORE 2109635.093
AT ITER 3711 NEW BEST:: SOT 4470463 SOS 2512093 HAS SOPS 2512093 HAS SOUS 2107059 HAS SOUPS 2107059 WITH SCORE 2109571.093
AT ITER 3721 NEW BEST:: SOT 4470463 SOS 2512038 HAS SOPS 2512038 HAS SOUS 2106850 HAS SOUPS 2106850 WITH SCORE 2109362.038
AT ITER 3723 NEW BEST:: SOT 4470635 SOS 2511974 HAS SOPS 2511974 HAS SOUS 2106667 HAS SOUPS 2106667 WITH SCORE 2109178.974
AT ITER 3726 NEW BEST:: SOT 4469769 SOS 2512294 HAS SOPS 2512294 HAS SOUS 2106455 HAS SOUPS 2106455 WITH SCORE 2108967.294
AT ITER 3729 NEW BEST:: SOT 4469769 SOS 2511965 HAS SOPS 2511965 HAS SOUS 2106455 HAS SOUPS 2106455 WITH SCORE 2108966.965
AT ITER 3733 NEW BEST:: SOT 4470017 SOS 2506858 HAS SOPS 2506858 HAS SOUS 2106429 HAS SOUPS 2106429 WITH SCORE 2108935.858
AT ITER 3735 NEW BEST:: SOT 4466054 SOS 2504513 HAS SOPS 2504513 HAS SOUS 2103873 HAS SOUPS 2103873 WITH SCORE 2106377.513
AT ITER 3739 NEW BEST:: SOT 4466054 SOS 2504113 HAS SOPS 2504113 HAS SOUS 2103873 HAS SOUPS 2103873 WITH SCORE 2106377.113
AT ITER 3750 NEW BEST:: SOT 4466054 SOS 2503872 HAS SOPS 2503872 HAS SOUS 2103393 HAS SOUPS 2103393 WITH SCORE 2105896.872
AT ITER 3756 NEW BEST:: SOT 4466054 SOS 2503872 HAS SOPS 2503872 HAS SOUS 2103389 HAS SOUPS 2103389 WITH SCORE 2105892.872
AT ITER 3757 NEW BEST:: SOT 4465324 SOS 2503343 HAS SOPS 2503343 HAS SOUS 2102847 HAS SOUPS 2102847 WITH SCORE 2105350.343
AT ITER 3758 NEW BEST:: SOT 4465324 SOS 2502990 HAS SOPS 2502990 HAS SOUS 2102743 HAS SOUPS 2102743 WITH SCORE 2105245.99
AT ITER 3765 NEW BEST:: SOT 4462800 SOS 2506608 HAS SOPS 2506608 HAS SOUS 2101373 HAS SOUPS 2101373 WITH SCORE 2103879.608
AT ITER 3779 NEW BEST:: SOT 4462800 SOS 2506595 HAS SOPS 2506595 HAS SOUS 2101373 HAS SOUPS 2101373 WITH SCORE 2103879.595
AT ITER 3780 NEW BEST:: SOT 4460464 SOS 2507011 HAS SOPS 2507011 HAS SOUS 2100912 HAS SOUPS 2100912 WITH SCORE 2103419.011
AT ITER 3781 NEW BEST:: SOT 4460464 SOS 2506515 HAS SOPS 2506515 HAS SOUS 2100579 HAS SOUPS 2100579 WITH SCORE 2103085.515
AT ITER 3784 NEW BEST:: SOT 4460541 SOS 2506672 HAS SOPS 2506672 HAS SOUS 2100552 HAS SOUPS 2100552 WITH SCORE 2103058.672
AT ITER 3790 NEW BEST:: SOT 4459968 SOS 2506541 HAS SOPS 2506541 HAS SOUS 2100421 HAS SOUPS 2100421 WITH SCORE 2102927.541
AT ITER 3795 NEW BEST:: SOT 4459968 SOS 2506191 HAS SOPS 2506191 HAS SOUS 2100071 HAS SOUPS 2100071 WITH SCORE 2102577.191
AT ITER 3806 NEW BEST:: SOT 4459968 SOS 2502937 HAS SOPS 2502937 HAS SOUS 2099850 HAS SOUPS 2099850 WITH SCORE 2102352.937
AT ITER 3808 NEW BEST:: SOT 4459968 SOS 2502789 HAS SOPS 2502789 HAS SOUS 2099850 HAS SOUPS 2099850 WITH SCORE 2102352.789
AT ITER 3816 NEW BEST:: SOT 4460611 SOS 2500944 HAS SOPS 2500944 HAS SOUS 2099671 HAS SOUPS 2099671 WITH SCORE 2102171.944
AT ITER 3821 NEW BEST:: SOT 4460506 SOS 2501457 HAS SOPS 2501457 HAS SOUS 2099138 HAS SOUPS 2099138 WITH SCORE 2101639.457
AT ITER 3822 NEW BEST:: SOT 4460506 SOS 2501457 HAS SOPS 2501457 HAS SOUS 2098925 HAS SOUPS 2098925 WITH SCORE 2101426.457
AT ITER 3833 NEW BEST:: SOT 4460506 SOS 2500014 HAS SOPS 2500014 HAS SOUS 2097908 HAS SOUPS 2097908 WITH SCORE 2100408.014
AT ITER 3834 NEW BEST:: SOT 4457430 SOS 2497836 HAS SOPS 2497836 HAS SOUS 2095776 HAS SOUPS 2095776 WITH SCORE 2098273.836
AT ITER 3846 NEW BEST:: SOT 4457292 SOS 2497698 HAS SOPS 2497698 HAS SOUS 2095638 HAS SOUPS 2095638 WITH SCORE 2098135.698
AT ITER 3851 NEW BEST:: SOT 4457292 SOS 2494093 HAS SOPS 2494093 HAS SOUS 2094402 HAS SOUPS 2094402 WITH SCORE 2096896.093
AT ITER 3860 NEW BEST:: SOT 4456117 SOS 2493443 HAS SOPS 2493443 HAS SOUS 2093756 HAS SOUPS 2093756 WITH SCORE 2096249.443
AT ITER 3873 NEW BEST:: SOT 4456117 SOS 2493443 HAS SOPS 2493443 HAS SOUS 2093532 HAS SOUPS 2093532 WITH SCORE 2096025.443
AT ITER 3877 NEW BEST:: SOT 4455276 SOS 2492689 HAS SOPS 2492689 HAS SOUS 2092579 HAS SOUPS 2092579 WITH SCORE 2095071.689
AT ITER 3878 NEW BEST:: SOT 4452213 SOS 2498293 HAS SOPS 2498293 HAS SOUS 2092405 HAS SOUPS 2092405 WITH SCORE 2094903.293
AT ITER 3883 NEW BEST:: SOT 4452213 SOS 2498465 HAS SOPS 2498465 HAS SOUS 2092401 HAS SOUPS 2092401 WITH SCORE 2094899.465
AT ITER 3888 NEW BEST:: SOT 4452213 SOS 2498191 HAS SOPS 2498191 HAS SOUS 2092401 HAS SOUPS 2092401 WITH SCORE 2094899.191
AT ITER 3889 NEW BEST:: SOT 4452213 SOS 2498073 HAS SOPS 2498073 HAS SOUS 2092401 HAS SOUPS 2092401 WITH SCORE 2094899.073
AT ITER 3890 NEW BEST:: SOT 4452213 SOS 2493747 HAS SOPS 2493747 HAS SOUS 2092401 HAS SOUPS 2092401 WITH SCORE 2094894.747
AT ITER 3891 NEW BEST:: SOT 4450602 SOS 2500318 HAS SOPS 2500318 HAS SOUS 2091436 HAS SOUPS 2091436 WITH SCORE 2093936.318
AT ITER 3897 NEW BEST:: SOT 4450602 SOS 2500314 HAS SOPS 2500314 HAS SOUS 2091436 HAS SOUPS 2091436 WITH SCORE 2093936.314
AT ITER 3898 NEW BEST:: SOT 4450602 SOS 2500127 HAS SOPS 2500127 HAS SOUS 2091436 HAS SOUPS 2091436 WITH SCORE 2093936.127
AT ITER 3900 NEW BEST:: SOT 4450686 SOS 2500069 HAS SOPS 2500069 HAS SOUS 2091332 HAS SOUPS 2091332 WITH SCORE 2093832.069
AT ITER 3907 NEW BEST:: SOT 4450686 SOS 2500120 HAS SOPS 2500120 HAS SOUS 2091304 HAS SOUPS 2091304 WITH SCORE 2093804.12
AT ITER 3908 NEW BEST:: SOT 4450702 SOS 2493705 HAS SOPS 2493705 HAS SOUS 2090545 HAS SOUPS 2090545 WITH SCORE 2093038.705
AT ITER 3918 NEW BEST:: SOT 4450702 SOS 2493542 HAS SOPS 2493542 HAS SOUS 2090545 HAS SOUPS 2090545 WITH SCORE 2093038.542
AT ITER 3929 NEW BEST:: SOT 4450702 SOS 2493693 HAS SOPS 2493693 HAS SOUS 2090431 HAS SOUPS 2090431 WITH SCORE 2092924.693
AT ITER 3932 NEW BEST:: SOT 4450449 SOS 2493543 HAS SOPS 2493543 HAS SOUS 2090281 HAS SOUPS 2090281 WITH SCORE 2092774.543
AT ITER 3946 NEW BEST:: SOT 4450449 SOS 2492679 HAS SOPS 2492679 HAS SOUS 2090281 HAS SOUPS 2090281 WITH SCORE 2092773.679
AT ITER 3951 NEW BEST:: SOT 4450449 SOS 2492528 HAS SOPS 2492528 HAS SOUS 2090281 HAS SOUPS 2090281 WITH SCORE 2092773.528
AT ITER 3958 NEW BEST:: SOT 4450449 SOS 2492440 HAS SOPS 2492440 HAS SOUS 2090281 HAS SOUPS 2090281 WITH SCORE 2092773.44
AT ITER 3966 NEW BEST:: SOT 4449833 SOS 2492235 HAS SOPS 2492235 HAS SOUS 2090076 HAS SOUPS 2090076 WITH SCORE 2092568.235
AT ITER 3980 NEW BEST:: SOT 4449833 SOS 2492465 HAS SOPS 2492465 HAS SOUS 2089649 HAS SOUPS 2089649 WITH SCORE 2092141.465
AT ITER 3984 NEW BEST:: SOT 4449833 SOS 2492465 HAS SOPS 2492465 HAS SOUS 2089529 HAS SOUPS 2089529 WITH SCORE 2092021.465
AT ITER 3987 NEW BEST:: SOT 4449833 SOS 2491981 HAS SOPS 2491981 HAS SOUS 2089529 HAS SOUPS 2089529 WITH SCORE 2092020.981
AT ITER 4007 NEW BEST:: SOT 4449512 SOS 2491660 HAS SOPS 2491660 HAS SOUS 2089189 HAS SOUPS 2089189 WITH SCORE 2091680.66
AT ITER 4010 NEW BEST:: SOT 4447751 SOS 2496755 HAS SOPS 2496755 HAS SOUS 2089046 HAS SOUPS 2089046 WITH SCORE 2091542.755
AT ITER 4026 NEW BEST:: SOT 4447751 SOS 2496619 HAS SOPS 2496619 HAS SOUS 2089046 HAS SOUPS 2089046 WITH SCORE 2091542.619
AT ITER 4031 NEW BEST:: SOT 4447751 SOS 2496500 HAS SOPS 2496500 HAS SOUS 2089046 HAS SOUPS 2089046 WITH SCORE 2091542.5
AT ITER 4039 NEW BEST:: SOT 4447411 SOS 2496561 HAS SOPS 2496561 HAS SOUS 2088977 HAS SOUPS 2088977 WITH SCORE 2091473.561
AT ITER 4048 NEW BEST:: SOT 4447411 SOS 2496083 HAS SOPS 2496083 HAS SOUS 2088112 HAS SOUPS 2088112 WITH SCORE 2090608.083
AT ITER 4062 NEW BEST:: SOT 4447411 SOS 2495970 HAS SOPS 2495970 HAS SOUS 2088112 HAS SOUPS 2088112 WITH SCORE 2090607.97
AT ITER 4064 NEW BEST:: SOT 4447411 SOS 2494685 HAS SOPS 2494685 HAS SOUS 2088105 HAS SOUPS 2088105 WITH SCORE 2090599.685
AT ITER 4072 NEW BEST:: SOT 4444692 SOS 2492553 HAS SOPS 2492553 HAS SOUS 2086321 HAS SOUPS 2086321 WITH SCORE 2088813.553
AT ITER 4079 NEW BEST:: SOT 4444692 SOS 2492387 HAS SOPS 2492387 HAS SOUS 2086321 HAS SOUPS 2086321 WITH SCORE 2088813.387
AT ITER 4083 NEW BEST:: SOT 4444692 SOS 2492159 HAS SOPS 2492159 HAS SOUS 2086321 HAS SOUPS 2086321 WITH SCORE 2088813.159
AT ITER 4086 NEW BEST:: SOT 4444036 SOS 2491623 HAS SOPS 2491623 HAS SOUS 2085809 HAS SOUPS 2085809 WITH SCORE 2088300.623
AT ITER 4091 NEW BEST:: SOT 4444060 SOS 2490827 HAS SOPS 2490827 HAS SOUS 2085389 HAS SOUPS 2085389 WITH SCORE 2087879.827
AT ITER 4097 NEW BEST:: SOT 4444060 SOS 2490461 HAS SOPS 2490461 HAS SOUS 2085205 HAS SOUPS 2085205 WITH SCORE 2087695.461
AT ITER 4099 NEW BEST:: SOT 4444016 SOS 2490417 HAS SOPS 2490417 HAS SOUS 2085070 HAS SOUPS 2085070 WITH SCORE 2087560.417
AT ITER 4118 NEW BEST:: SOT 4443966 SOS 2490367 HAS SOPS 2490367 HAS SOUS 2084833 HAS SOUPS 2084833 WITH SCORE 2087323.367
AT ITER 4120 NEW BEST:: SOT 4441705 SOS 2488841 HAS SOPS 2488841 HAS SOUS 2083694 HAS SOUPS 2083694 WITH SCORE 2086182.841
AT ITER 4124 NEW BEST:: SOT 4441705 SOS 2488724 HAS SOPS 2488724 HAS SOUS 2083694 HAS SOUPS 2083694 WITH SCORE 2086182.724
AT ITER 4132 NEW BEST:: SOT 4441674 SOS 2488483 HAS SOPS 2488483 HAS SOUS 2083680 HAS SOUPS 2083680 WITH SCORE 2086168.483
AT ITER 4136 NEW BEST:: SOT 4441674 SOS 2488405 HAS SOPS 2488405 HAS SOUS 2083680 HAS SOUPS 2083680 WITH SCORE 2086168.405
AT ITER 4138 NEW BEST:: SOT 4441678 SOS 2487761 HAS SOPS 2487761 HAS SOUS 2083088 HAS SOUPS 2083088 WITH SCORE 2085575.761
AT ITER 4139 NEW BEST:: SOT 4441678 SOS 2487678 HAS SOPS 2487678 HAS SOUS 2083088 HAS SOUPS 2083088 WITH SCORE 2085575.678
AT ITER 4146 NEW BEST:: SOT 4441678 SOS 2487495 HAS SOPS 2487495 HAS SOUS 2083088 HAS SOUPS 2083088 WITH SCORE 2085575.495
AT ITER 4149 NEW BEST:: SOT 4441188 SOS 2487130 HAS SOPS 2487130 HAS SOUS 2082767 HAS SOUPS 2082767 WITH SCORE 2085254.13
AT ITER 4152 NEW BEST:: SOT 4441447 SOS 2484540 HAS SOPS 2484540 HAS SOUS 2081772 HAS SOUPS 2081772 WITH SCORE 2084256.54
AT ITER 4154 NEW BEST:: SOT 4441392 SOS 2484485 HAS SOPS 2484485 HAS SOUS 2081717 HAS SOUPS 2081717 WITH SCORE 2084201.485
AT ITER 4161 NEW BEST:: SOT 4441392 SOS 2484029 HAS SOPS 2484029 HAS SOUS 2081717 HAS SOUPS 2081717 WITH SCORE 2084201.029
AT ITER 4166 NEW BEST:: SOT 4441392 SOS 2482655 HAS SOPS 2482655 HAS SOUS 2081003 HAS SOUPS 2081003 WITH SCORE 2083485.655
AT ITER 4171 NEW BEST:: SOT 4441392 SOS 2482597 HAS SOPS 2482597 HAS SOUS 2081003 HAS SOUPS 2081003 WITH SCORE 2083485.597
AT ITER 4176 NEW BEST:: SOT 4441928 SOS 2477298 HAS SOPS 2477298 HAS SOUS 2080642 HAS SOUPS 2080642 WITH SCORE 2083119.298
AT ITER 4182 NEW BEST:: SOT 4442230 SOS 2474946 HAS SOPS 2474946 HAS SOUS 2080443 HAS SOUPS 2080443 WITH SCORE 2082917.946
AT ITER 4183 NEW BEST:: SOT 4442230 SOS 2474678 HAS SOPS 2474678 HAS SOUS 2080443 HAS SOUPS 2080443 WITH SCORE 2082917.678
AT ITER 4194 NEW BEST:: SOT 4439634 SOS 2476426 HAS SOPS 2476426 HAS SOUS 2079160 HAS SOUPS 2079160 WITH SCORE 2081636.426
AT ITER 4195 NEW BEST:: SOT 4439634 SOS 2475693 HAS SOPS 2475693 HAS SOUS 2079140 HAS SOUPS 2079140 WITH SCORE 2081615.693
AT ITER 4197 NEW BEST:: SOT 4439370 SOS 2475632 HAS SOPS 2475632 HAS SOUS 2079079 HAS SOUPS 2079079 WITH SCORE 2081554.632
AT ITER 4201 NEW BEST:: SOT 4439114 SOS 2475346 HAS SOPS 2475346 HAS SOUS 2078307 HAS SOUPS 2078307 WITH SCORE 2080782.346
AT ITER 4204 NEW BEST:: SOT 4439114 SOS 2475428 HAS SOPS 2475428 HAS SOUS 2077972 HAS SOUPS 2077972 WITH SCORE 2080447.428
AT ITER 4205 NEW BEST:: SOT 4437837 SOS 2475028 HAS SOPS 2475028 HAS SOUS 2077192 HAS SOUPS 2077192 WITH SCORE 2079667.028
AT ITER 4207 NEW BEST:: SOT 4437831 SOS 2474820 HAS SOPS 2474820 HAS SOUS 2076217 HAS SOUPS 2076217 WITH SCORE 2078691.82
AT ITER 4211 NEW BEST:: SOT 4437831 SOS 2474660 HAS SOPS 2474660 HAS SOUS 2076217 HAS SOUPS 2076217 WITH SCORE 2078691.66
AT ITER 4229 NEW BEST:: SOT 4437831 SOS 2474660 HAS SOPS 2474660 HAS SOUS 2076169 HAS SOUPS 2076169 WITH SCORE 2078643.66
AT ITER 4234 NEW BEST:: SOT 4437497 SOS 2474519 HAS SOPS 2474519 HAS SOUS 2075905 HAS SOUPS 2075905 WITH SCORE 2078379.519
AT ITER 4235 NEW BEST:: SOT 4437711 SOS 2474733 HAS SOPS 2474733 HAS SOUS 2075579 HAS SOUPS 2075579 WITH SCORE 2078053.733
AT ITER 4242 NEW BEST:: SOT 4437845 SOS 2474867 HAS SOPS 2474867 HAS SOUS 2075437 HAS SOUPS 2075437 WITH SCORE 2077911.867
AT ITER 4255 NEW BEST:: SOT 4437689 SOS 2474737 HAS SOPS 2474737 HAS SOUS 2075307 HAS SOUPS 2075307 WITH SCORE 2077781.737
AT ITER 4260 NEW BEST:: SOT 4437631 SOS 2474679 HAS SOPS 2474679 HAS SOUS 2075249 HAS SOUPS 2075249 WITH SCORE 2077723.679
AT ITER 4268 NEW BEST:: SOT 4438606 SOS 2469914 HAS SOPS 2469914 HAS SOUS 2074496 HAS SOUPS 2074496 WITH SCORE 2076965.914
AT ITER 4276 NEW BEST:: SOT 4438606 SOS 2469801 HAS SOPS 2469801 HAS SOUS 2074496 HAS SOUPS 2074496 WITH SCORE 2076965.801
AT ITER 4278 NEW BEST:: SOT 4435975 SOS 2479223 HAS SOPS 2479223 HAS SOUS 2073997 HAS SOUPS 2073997 WITH SCORE 2076476.223
AT ITER 4283 NEW BEST:: SOT 4432619 SOS 2476526 HAS SOPS 2476526 HAS SOUS 2071806 HAS SOUPS 2071806 WITH SCORE 2074282.526
AT ITER 4284 NEW BEST:: SOT 4432603 SOS 2476510 HAS SOPS 2476510 HAS SOUS 2071790 HAS SOUPS 2071790 WITH SCORE 2074266.51
AT ITER 4287 NEW BEST:: SOT 4432631 SOS 2475665 HAS SOPS 2475665 HAS SOUS 2071157 HAS SOUPS 2071157 WITH SCORE 2073632.665
AT ITER 4295 NEW BEST:: SOT 4432631 SOS 2475574 HAS SOPS 2475574 HAS SOUS 2071157 HAS SOUPS 2071157 WITH SCORE 2073632.574
AT ITER 4296 NEW BEST:: SOT 4432631 SOS 2476059 HAS SOPS 2476059 HAS SOUS 2071156 HAS SOUPS 2071156 WITH SCORE 2073632.059
AT ITER 4300 NEW BEST:: SOT 4432580 SOS 2475957 HAS SOPS 2475957 HAS SOUS 2071088 HAS SOUPS 2071088 WITH SCORE 2073563.957
AT ITER 4301 NEW BEST:: SOT 4432517 SOS 2475894 HAS SOPS 2475894 HAS SOUS 2070419 HAS SOUPS 2070419 WITH SCORE 2072894.894
AT ITER 4303 NEW BEST:: SOT 4432517 SOS 2475850 HAS SOPS 2475850 HAS SOUS 2070375 HAS SOUPS 2070375 WITH SCORE 2072850.85
AT ITER 4309 NEW BEST:: SOT 4431923 SOS 2475366 HAS SOPS 2475366 HAS SOUS 2069891 HAS SOUPS 2069891 WITH SCORE 2072366.366
AT ITER 4328 NEW BEST:: SOT 4431923 SOS 2474941 HAS SOPS 2474941 HAS SOUS 2069891 HAS SOUPS 2069891 WITH SCORE 2072365.941
AT ITER 4343 NEW BEST:: SOT 4430291 SOS 2474982 HAS SOPS 2474982 HAS SOUS 2068991 HAS SOUPS 2068991 WITH SCORE 2071465.982
AT ITER 4344 NEW BEST:: SOT 4430291 SOS 2474799 HAS SOPS 2474799 HAS SOUS 2068808 HAS SOUPS 2068808 WITH SCORE 2071282.799
AT ITER 4347 NEW BEST:: SOT 4430291 SOS 2474747 HAS SOPS 2474747 HAS SOUS 2068756 HAS SOUPS 2068756 WITH SCORE 2071230.747
AT ITER 4348 NEW BEST:: SOT 4430382 SOS 2473253 HAS SOPS 2473253 HAS SOUS 2068545 HAS SOUPS 2068545 WITH SCORE 2071018.253
AT ITER 4353 NEW BEST:: SOT 4429999 SOS 2472661 HAS SOPS 2472661 HAS SOUS 2067586 HAS SOUPS 2067586 WITH SCORE 2070058.661
AT ITER 4357 NEW BEST:: SOT 4429986 SOS 2472696 HAS SOPS 2472696 HAS SOUS 2067562 HAS SOUPS 2067562 WITH SCORE 2070034.696
AT ITER 4358 NEW BEST:: SOT 4429986 SOS 2471914 HAS SOPS 2471914 HAS SOUS 2067308 HAS SOUPS 2067308 WITH SCORE 2069779.914
AT ITER 4364 NEW BEST:: SOT 4429868 SOS 2471629 HAS SOPS 2471629 HAS SOUS 2066903 HAS SOUPS 2066903 WITH SCORE 2069374.629
AT ITER 4365 NEW BEST:: SOT 4429868 SOS 2471629 HAS SOPS 2471629 HAS SOUS 2066729 HAS SOUPS 2066729 WITH SCORE 2069200.629
AT ITER 4368 NEW BEST:: SOT 4429775 SOS 2471598 HAS SOPS 2471598 HAS SOUS 2066667 HAS SOUPS 2066667 WITH SCORE 2069138.598
AT ITER 4374 NEW BEST:: SOT 4430168 SOS 2471122 HAS SOPS 2471122 HAS SOUS 2066608 HAS SOUPS 2066608 WITH SCORE 2069079.122
AT ITER 4385 NEW BEST:: SOT 4426663 SOS 2469943 HAS SOPS 2469943 HAS SOUS 2064104 HAS SOUPS 2064104 WITH SCORE 2066573.943
AT ITER 4387 NEW BEST:: SOT 4423836 SOS 2478695 HAS SOPS 2478695 HAS SOUS 2062954 HAS SOUPS 2062954 WITH SCORE 2065432.695
AT ITER 4394 NEW BEST:: SOT 4423836 SOS 2478355 HAS SOPS 2478355 HAS SOUS 2062829 HAS SOUPS 2062829 WITH SCORE 2065307.355
AT ITER 4403 NEW BEST:: SOT 4423836 SOS 2478111 HAS SOPS 2478111 HAS SOUS 2062829 HAS SOUPS 2062829 WITH SCORE 2065307.111
AT ITER 4405 NEW BEST:: SOT 4423441 SOS 2482430 HAS SOPS 2482430 HAS SOUS 2062518 HAS SOUPS 2062518 WITH SCORE 2065000.43
AT ITER 4407 NEW BEST:: SOT 4423441 SOS 2481868 HAS SOPS 2481868 HAS SOUS 2062452 HAS SOUPS 2062452 WITH SCORE 2064933.868
AT ITER 4412 NEW BEST:: SOT 4422829 SOS 2481126 HAS SOPS 2481126 HAS SOUS 2062174 HAS SOUPS 2062174 WITH SCORE 2064655.126
AT ITER 4418 NEW BEST:: SOT 4422829 SOS 2480851 HAS SOPS 2480851 HAS SOUS 2062174 HAS SOUPS 2062174 WITH SCORE 2064654.851
AT ITER 4421 NEW BEST:: SOT 4422829 SOS 2479921 HAS SOPS 2479921 HAS SOUS 2062174 HAS SOUPS 2062174 WITH SCORE 2064653.921
AT ITER 4438 NEW BEST:: SOT 4422829 SOS 2479812 HAS SOPS 2479812 HAS SOUS 2062174 HAS SOUPS 2062174 WITH SCORE 2064653.812
AT ITER 4440 NEW BEST:: SOT 4422782 SOS 2479765 HAS SOPS 2479765 HAS SOUS 2062127 HAS SOUPS 2062127 WITH SCORE 2064606.765
AT ITER 4446 NEW BEST:: SOT 4422161 SOS 2479308 HAS SOPS 2479308 HAS SOUS 2061670 HAS SOUPS 2061670 WITH SCORE 2064149.308
AT ITER 4460 NEW BEST:: SOT 4421425 SOS 2478953 HAS SOPS 2478953 HAS SOUS 2061315 HAS SOUPS 2061315 WITH SCORE 2063793.953
AT ITER 4461 NEW BEST:: SOT 4421159 SOS 2478808 HAS SOPS 2478808 HAS SOUS 2061049 HAS SOUPS 2061049 WITH SCORE 2063527.808
AT ITER 4462 NEW BEST:: SOT 4421159 SOS 2478483 HAS SOPS 2478483 HAS SOUS 2061049 HAS SOUPS 2061049 WITH SCORE 2063527.483
AT ITER 4463 NEW BEST:: SOT 4421159 SOS 2478265 HAS SOPS 2478265 HAS SOUS 2061049 HAS SOUPS 2061049 WITH SCORE 2063527.265
AT ITER 4464 NEW BEST:: SOT 4421111 SOS 2478361 HAS SOPS 2478361 HAS SOUS 2061001 HAS SOUPS 2061001 WITH SCORE 2063479.361
AT ITER 4468 NEW BEST:: SOT 4419829 SOS 2477165 HAS SOPS 2477165 HAS SOUS 2060183 HAS SOUPS 2060183 WITH SCORE 2062660.165
AT ITER 4473 NEW BEST:: SOT 4418841 SOS 2476046 HAS SOPS 2476046 HAS SOUS 2058808 HAS SOUPS 2058808 WITH SCORE 2061284.046
AT ITER 4477 NEW BEST:: SOT 4417628 SOS 2476543 HAS SOPS 2476543 HAS SOUS 2058588 HAS SOUPS 2058588 WITH SCORE 2061064.543
AT ITER 4482 NEW BEST:: SOT 4415321 SOS 2474775 HAS SOPS 2474775 HAS SOUS 2057729 HAS SOUPS 2057729 WITH SCORE 2060203.775
AT ITER 4484 NEW BEST:: SOT 4415321 SOS 2474688 HAS SOPS 2474688 HAS SOUS 2057601 HAS SOUPS 2057601 WITH SCORE 2060075.688
AT ITER 4490 NEW BEST:: SOT 4415491 SOS 2474540 HAS SOPS 2474540 HAS SOUS 2057347 HAS SOUPS 2057347 WITH SCORE 2059821.54
AT ITER 4494 NEW BEST:: SOT 4415491 SOS 2474379 HAS SOPS 2474379 HAS SOUS 2057347 HAS SOUPS 2057347 WITH SCORE 2059821.379
AT ITER 4496 NEW BEST:: SOT 4415491 SOS 2474742 HAS SOPS 2474742 HAS SOUS 2057279 HAS SOUPS 2057279 WITH SCORE 2059753.742
AT ITER 4497 NEW BEST:: SOT 4415542 SOS 2474776 HAS SOPS 2474776 HAS SOUS 2057262 HAS SOUPS 2057262 WITH SCORE 2059736.776
AT ITER 4498 NEW BEST:: SOT 4415023 SOS 2473907 HAS SOPS 2473907 HAS SOUS 2056743 HAS SOUPS 2056743 WITH SCORE 2059216.907
AT ITER 4507 NEW BEST:: SOT 4412520 SOS 2474540 HAS SOPS 2474540 HAS SOUS 2055915 HAS SOUPS 2055915 WITH SCORE 2058389.54
AT ITER 4509 NEW BEST:: SOT 4412520 SOS 2474112 HAS SOPS 2474112 HAS SOUS 2055467 HAS SOUPS 2055467 WITH SCORE 2057941.112
AT ITER 4524 NEW BEST:: SOT 4413221 SOS 2474422 HAS SOPS 2474422 HAS SOUS 2055224 HAS SOUPS 2055224 WITH SCORE 2057698.422
AT ITER 4526 NEW BEST:: SOT 4413221 SOS 2473789 HAS SOPS 2473789 HAS SOUS 2055224 HAS SOUPS 2055224 WITH SCORE 2057697.789
AT ITER 4531 NEW BEST:: SOT 4410559 SOS 2471936 HAS SOPS 2471936 HAS SOUS 2054122 HAS SOUPS 2054122 WITH SCORE 2056593.936
AT ITER 4544 NEW BEST:: SOT 4409486 SOS 2471458 HAS SOPS 2471458 HAS SOUS 2053461 HAS SOUPS 2053461 WITH SCORE 2055932.458
AT ITER 4550 NEW BEST:: SOT 4409486 SOS 2472199 HAS SOPS 2472199 HAS SOUS 2053387 HAS SOUPS 2053387 WITH SCORE 2055859.199
AT ITER 4552 NEW BEST:: SOT 4409486 SOS 2472101 HAS SOPS 2472101 HAS SOUS 2053168 HAS SOUPS 2053168 WITH SCORE 2055640.101
AT ITER 4555 NEW BEST:: SOT 4409486 SOS 2471778 HAS SOPS 2471778 HAS SOUS 2052482 HAS SOUPS 2052482 WITH SCORE 2054953.778
AT ITER 4563 NEW BEST:: SOT 4409486 SOS 2471746 HAS SOPS 2471746 HAS SOUS 2052482 HAS SOUPS 2052482 WITH SCORE 2054953.746
AT ITER 4564 NEW BEST:: SOT 4409486 SOS 2471544 HAS SOPS 2471544 HAS SOUS 2052482 HAS SOUPS 2052482 WITH SCORE 2054953.544
AT ITER 4568 NEW BEST:: SOT 4409515 SOS 2461294 HAS SOPS 2461294 HAS SOUS 2050925 HAS SOUPS 2050925 WITH SCORE 2053386.294
AT ITER 4571 NEW BEST:: SOT 4405643 SOS 2467831 HAS SOPS 2467831 HAS SOUS 2048152 HAS SOUPS 2048152 WITH SCORE 2050619.831
AT ITER 4580 NEW BEST:: SOT 4405784 SOS 2467591 HAS SOPS 2467591 HAS SOUS 2048085 HAS SOUPS 2048085 WITH SCORE 2050552.591
AT ITER 4588 NEW BEST:: SOT 4405784 SOS 2467421 HAS SOPS 2467421 HAS SOUS 2048085 HAS SOUPS 2048085 WITH SCORE 2050552.421
AT ITER 4607 NEW BEST:: SOT 4405784 SOS 2467015 HAS SOPS 2467015 HAS SOUS 2048085 HAS SOUPS 2048085 WITH SCORE 2050552.015
AT ITER 4617 NEW BEST:: SOT 4403463 SOS 2465142 HAS SOPS 2465142 HAS SOUS 2047260 HAS SOUPS 2047260 WITH SCORE 2049725.142
AT ITER 4618 NEW BEST:: SOT 4402105 SOS 2463942 HAS SOPS 2463942 HAS SOUS 2046204 HAS SOUPS 2046204 WITH SCORE 2048667.942
AT ITER 4619 NEW BEST:: SOT 4402105 SOS 2463942 HAS SOPS 2463942 HAS SOUS 2046030 HAS SOUPS 2046030 WITH SCORE 2048493.942
AT ITER 4623 NEW BEST:: SOT 4401456 SOS 2463293 HAS SOPS 2463293 HAS SOUS 2045858 HAS SOUPS 2045858 WITH SCORE 2048321.293
AT ITER 4627 NEW BEST:: SOT 4401456 SOS 2463258 HAS SOPS 2463258 HAS SOUS 2045858 HAS SOUPS 2045858 WITH SCORE 2048321.258
AT ITER 4631 NEW BEST:: SOT 4401783 SOS 2463267 HAS SOPS 2463267 HAS SOUS 2045833 HAS SOUPS 2045833 WITH SCORE 2048296.267
AT ITER 4632 NEW BEST:: SOT 4401783 SOS 2463309 HAS SOPS 2463309 HAS SOUS 2045497 HAS SOUPS 2045497 WITH SCORE 2047960.309
AT ITER 4644 NEW BEST:: SOT 4401783 SOS 2462884 HAS SOPS 2462884 HAS SOUS 2045497 HAS SOUPS 2045497 WITH SCORE 2047959.884
AT ITER 4653 NEW BEST:: SOT 4401783 SOS 2462767 HAS SOPS 2462767 HAS SOUS 2045380 HAS SOUPS 2045380 WITH SCORE 2047842.767
AT ITER 4656 NEW BEST:: SOT 4401783 SOS 2462663 HAS SOPS 2462663 HAS SOUS 2045380 HAS SOUPS 2045380 WITH SCORE 2047842.663
AT ITER 4659 NEW BEST:: SOT 4401783 SOS 2461803 HAS SOPS 2461803 HAS SOUS 2045294 HAS SOUPS 2045294 WITH SCORE 2047755.803
AT ITER 4664 NEW BEST:: SOT 4401783 SOS 2461355 HAS SOPS 2461355 HAS SOUS 2045205 HAS SOUPS 2045205 WITH SCORE 2047666.355
AT ITER 4676 NEW BEST:: SOT 4401946 SOS 2461383 HAS SOPS 2461383 HAS SOUS 2045052 HAS SOUPS 2045052 WITH SCORE 2047513.383
AT ITER 4684 NEW BEST:: SOT 4401946 SOS 2461319 HAS SOPS 2461319 HAS SOUS 2045052 HAS SOUPS 2045052 WITH SCORE 2047513.319
AT ITER 4688 NEW BEST:: SOT 4401836 SOS 2461209 HAS SOPS 2461209 HAS SOUS 2044843 HAS SOUPS 2044843 WITH SCORE 2047304.209
AT ITER 4703 NEW BEST:: SOT 4398863 SOS 2459387 HAS SOPS 2459387 HAS SOUS 2042393 HAS SOUPS 2042393 WITH SCORE 2044852.387
AT ITER 4707 NEW BEST:: SOT 4398863 SOS 2459281 HAS SOPS 2459281 HAS SOUS 2042393 HAS SOUPS 2042393 WITH SCORE 2044852.281
AT ITER 4717 NEW BEST:: SOT 4398818 SOS 2459360 HAS SOPS 2459360 HAS SOUS 2042269 HAS SOUPS 2042269 WITH SCORE 2044728.36
AT ITER 4719 NEW BEST:: SOT 4398295 SOS 2459040 HAS SOPS 2459040 HAS SOUS 2041949 HAS SOUPS 2041949 WITH SCORE 2044408.04
AT ITER 4721 NEW BEST:: SOT 4398389 SOS 2459117 HAS SOPS 2459117 HAS SOUS 2041668 HAS SOUPS 2041668 WITH SCORE 2044127.117
AT ITER 4722 NEW BEST:: SOT 4398389 SOS 2459111 HAS SOPS 2459111 HAS SOUS 2041668 HAS SOUPS 2041668 WITH SCORE 2044127.111
AT ITER 4729 NEW BEST:: SOT 4398379 SOS 2459431 HAS SOPS 2459431 HAS SOUS 2041550 HAS SOUPS 2041550 WITH SCORE 2044009.431
AT ITER 4735 NEW BEST:: SOT 4398379 SOS 2459264 HAS SOPS 2459264 HAS SOUS 2041550 HAS SOUPS 2041550 WITH SCORE 2044009.264
AT ITER 4747 NEW BEST:: SOT 4398379 SOS 2459664 HAS SOPS 2459664 HAS SOUS 2041530 HAS SOUPS 2041530 WITH SCORE 2043989.664
AT ITER 4755 NEW BEST:: SOT 4395086 SOS 2458283 HAS SOPS 2458283 HAS SOUS 2039668 HAS SOUPS 2039668 WITH SCORE 2042126.283
AT ITER 4758 NEW BEST:: SOT 4395086 SOS 2458260 HAS SOPS 2458260 HAS SOUS 2039477 HAS SOUPS 2039477 WITH SCORE 2041935.26
AT ITER 4760 NEW BEST:: SOT 4392587 SOS 2457265 HAS SOPS 2457265 HAS SOUS 2037564 HAS SOUPS 2037564 WITH SCORE 2040021.265
AT ITER 4764 NEW BEST:: SOT 4389518 SOS 2454769 HAS SOPS 2454769 HAS SOUS 2036797 HAS SOUPS 2036797 WITH SCORE 2039251.769
AT ITER 4766 NEW BEST:: SOT 4389518 SOS 2453608 HAS SOPS 2453608 HAS SOUS 2036639 HAS SOUPS 2036639 WITH SCORE 2039092.608
AT ITER 4772 NEW BEST:: SOT 4389518 SOS 2453404 HAS SOPS 2453404 HAS SOUS 2036639 HAS SOUPS 2036639 WITH SCORE 2039092.404
AT ITER 4776 NEW BEST:: SOT 4387891 SOS 2452216 HAS SOPS 2452216 HAS SOUS 2035853 HAS SOUPS 2035853 WITH SCORE 2038305.216
AT ITER 4781 NEW BEST:: SOT 4387800 SOS 2451909 HAS SOPS 2451909 HAS SOUS 2035474 HAS SOUPS 2035474 WITH SCORE 2037925.909
AT ITER 4783 NEW BEST:: SOT 4387800 SOS 2451808 HAS SOPS 2451808 HAS SOUS 2035474 HAS SOUPS 2035474 WITH SCORE 2037925.808
AT ITER 4789 NEW BEST:: SOT 4387800 SOS 2451808 HAS SOPS 2451808 HAS SOUS 2034741 HAS SOUPS 2034741 WITH SCORE 2037192.808
AT ITER 4796 NEW BEST:: SOT 4387866 SOS 2451676 HAS SOPS 2451676 HAS SOUS 2034741 HAS SOUPS 2034741 WITH SCORE 2037192.676
AT ITER 4802 NEW BEST:: SOT 4387866 SOS 2451558 HAS SOPS 2451558 HAS SOUS 2034741 HAS SOUPS 2034741 WITH SCORE 2037192.558
AT ITER 4803 NEW BEST:: SOT 4387917 SOS 2447970 HAS SOPS 2447970 HAS SOUS 2034327 HAS SOUPS 2034327 WITH SCORE 2036774.97
AT ITER 4807 NEW BEST:: SOT 4387916 SOS 2447817 HAS SOPS 2447817 HAS SOUS 2034047 HAS SOUPS 2034047 WITH SCORE 2036494.817
AT ITER 4820 NEW BEST:: SOT 4387916 SOS 2447611 HAS SOPS 2447611 HAS SOUS 2034047 HAS SOUPS 2034047 WITH SCORE 2036494.611
AT ITER 4822 NEW BEST:: SOT 4387916 SOS 2447603 HAS SOPS 2447603 HAS SOUS 2034047 HAS SOUPS 2034047 WITH SCORE 2036494.603
AT ITER 4826 NEW BEST:: SOT 4387826 SOS 2447513 HAS SOPS 2447513 HAS SOUS 2033957 HAS SOUPS 2033957 WITH SCORE 2036404.513
AT ITER 4828 NEW BEST:: SOT 4387826 SOS 2447507 HAS SOPS 2447507 HAS SOUS 2033957 HAS SOUPS 2033957 WITH SCORE 2036404.507
AT ITER 4835 NEW BEST:: SOT 4385440 SOS 2445725 HAS SOPS 2445725 HAS SOUS 2033632 HAS SOUPS 2033632 WITH SCORE 2036077.725
AT ITER 4837 NEW BEST:: SOT 4385303 SOS 2445333 HAS SOPS 2445333 HAS SOUS 2033216 HAS SOUPS 2033216 WITH SCORE 2035661.333
AT ITER 4839 NEW BEST:: SOT 4384017 SOS 2449387 HAS SOPS 2449387 HAS SOUS 2033148 HAS SOUPS 2033148 WITH SCORE 2035597.387
AT ITER 4846 NEW BEST:: SOT 4383601 SOS 2449075 HAS SOPS 2449075 HAS SOUS 2033130 HAS SOUPS 2033130 WITH SCORE 2035579.075
AT ITER 4854 NEW BEST:: SOT 4383601 SOS 2449075 HAS SOPS 2449075 HAS SOUS 2032917 HAS SOUPS 2032917 WITH SCORE 2035366.075
AT ITER 4861 NEW BEST:: SOT 4383601 SOS 2448775 HAS SOPS 2448775 HAS SOUS 2032917 HAS SOUPS 2032917 WITH SCORE 2035365.775
AT ITER 4863 NEW BEST:: SOT 4382913 SOS 2450124 HAS SOPS 2450124 HAS SOUS 2032535 HAS SOUPS 2032535 WITH SCORE 2034985.124
AT ITER 4872 NEW BEST:: SOT 4382387 SOS 2450386 HAS SOPS 2450386 HAS SOUS 2032036 HAS SOUPS 2032036 WITH SCORE 2034486.386
AT ITER 4879 NEW BEST:: SOT 4379594 SOS 2449516 HAS SOPS 2449516 HAS SOUS 2031179 HAS SOUPS 2031179 WITH SCORE 2033628.516
AT ITER 4881 NEW BEST:: SOT 4379264 SOS 2449223 HAS SOPS 2449223 HAS SOUS 2030866 HAS SOUPS 2030866 WITH SCORE 2033315.223
AT ITER 4882 NEW BEST:: SOT 4379264 SOS 2449218 HAS SOPS 2449218 HAS SOUS 2030866 HAS SOUPS 2030866 WITH SCORE 2033315.218
AT ITER 4891 NEW BEST:: SOT 4378215 SOS 2448169 HAS SOPS 2448169 HAS SOUS 2030227 HAS SOUPS 2030227 WITH SCORE 2032675.169
AT ITER 4892 NEW BEST:: SOT 4378215 SOS 2447954 HAS SOPS 2447954 HAS SOUS 2030227 HAS SOUPS 2030227 WITH SCORE 2032674.954
AT ITER 4898 NEW BEST:: SOT 4377990 SOS 2447774 HAS SOPS 2447774 HAS SOUS 2030113 HAS SOUPS 2030113 WITH SCORE 2032560.774
AT ITER 4899 NEW BEST:: SOT 4377990 SOS 2447094 HAS SOPS 2447094 HAS SOUS 2030113 HAS SOUPS 2030113 WITH SCORE 2032560.094
AT ITER 4900 NEW BEST:: SOT 4376622 SOS 2446035 HAS SOPS 2446035 HAS SOUS 2029887 HAS SOUPS 2029887 WITH SCORE 2032333.035
AT ITER 4906 NEW BEST:: SOT 4376394 SOS 2445807 HAS SOPS 2445807 HAS SOUS 2029659 HAS SOUPS 2029659 WITH SCORE 2032104.807
AT ITER 4908 NEW BEST:: SOT 4375914 SOS 2445388 HAS SOPS 2445388 HAS SOUS 2029301 HAS SOUPS 2029301 WITH SCORE 2031746.388
AT ITER 4916 NEW BEST:: SOT 4375608 SOS 2445162 HAS SOPS 2445162 HAS SOUS 2029075 HAS SOUPS 2029075 WITH SCORE 2031520.162
AT ITER 4923 NEW BEST:: SOT 4375608 SOS 2445150 HAS SOPS 2445150 HAS SOUS 2029075 HAS SOUPS 2029075 WITH SCORE 2031520.15
AT ITER 4928 NEW BEST:: SOT 4375603 SOS 2445147 HAS SOPS 2445147 HAS SOUS 2029071 HAS SOUPS 2029071 WITH SCORE 2031516.147
AT ITER 4930 NEW BEST:: SOT 4375603 SOS 2445080 HAS SOPS 2445080 HAS SOUS 2029071 HAS SOUPS 2029071 WITH SCORE 2031516.08
AT ITER 4934 NEW BEST:: SOT 4373101 SOS 2443057 HAS SOPS 2443057 HAS SOUS 2027117 HAS SOUPS 2027117 WITH SCORE 2029560.057
AT ITER 4937 NEW BEST:: SOT 4370466 SOS 2441814 HAS SOPS 2441814 HAS SOUS 2026804 HAS SOUPS 2026804 WITH SCORE 2029245.814
AT ITER 4942 NEW BEST:: SOT 4370466 SOS 2442089 HAS SOPS 2442089 HAS SOUS 2026679 HAS SOUPS 2026679 WITH SCORE 2029121.089
AT ITER 4944 NEW BEST:: SOT 4370227 SOS 2441561 HAS SOPS 2441561 HAS SOUS 2026240 HAS SOUPS 2026240 WITH SCORE 2028681.561
AT ITER 4947 NEW BEST:: SOT 4370227 SOS 2441211 HAS SOPS 2441211 HAS SOUS 2026240 HAS SOUPS 2026240 WITH SCORE 2028681.211
AT ITER 4950 NEW BEST:: SOT 4370227 SOS 2441167 HAS SOPS 2441167 HAS SOUS 2026240 HAS SOUPS 2026240 WITH SCORE 2028681.167
AT ITER 4956 NEW BEST:: SOT 4370227 SOS 2440783 HAS SOPS 2440783 HAS SOUS 2026240 HAS SOUPS 2026240 WITH SCORE 2028680.783
AT ITER 4970 NEW BEST:: SOT 4369792 SOS 2440992 HAS SOPS 2440992 HAS SOUS 2026162 HAS SOUPS 2026162 WITH SCORE 2028602.992
AT ITER 4971 NEW BEST:: SOT 4369233 SOS 2440516 HAS SOPS 2440516 HAS SOUS 2025686 HAS SOUPS 2025686 WITH SCORE 2028126.516
AT ITER 4973 NEW BEST:: SOT 4369233 SOS 2439883 HAS SOPS 2439883 HAS SOUS 2025686 HAS SOUPS 2025686 WITH SCORE 2028125.883
AT ITER 4977 NEW BEST:: SOT 4369054 SOS 2439287 HAS SOPS 2439287 HAS SOUS 2025090 HAS SOUPS 2025090 WITH SCORE 2027529.287
AT ITER 4978 NEW BEST:: SOT 4369054 SOS 2439269 HAS SOPS 2439269 HAS SOUS 2025072 HAS SOUPS 2025072 WITH SCORE 2027511.269
AT ITER 4982 NEW BEST:: SOT 4369413 SOS 2439628 HAS SOPS 2439628 HAS SOUS 2025043 HAS SOUPS 2025043 WITH SCORE 2027482.628
AT ITER 4987 NEW BEST:: SOT 4369341 SOS 2439117 HAS SOPS 2439117 HAS SOUS 2024662 HAS SOUPS 2024662 WITH SCORE 2027101.117
AT ITER 4988 NEW BEST:: SOT 4364974 SOS 2440482 HAS SOPS 2440482 HAS SOUS 2021866 HAS SOUPS 2021866 WITH SCORE 2024306.482
AT ITER 4991 NEW BEST:: SOT 4364974 SOS 2439851 HAS SOPS 2439851 HAS SOUS 2021866 HAS SOUPS 2021866 WITH SCORE 2024305.851
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Sudoku-PT-AN13-CTLCardinality-00 (AF(( (AG( potential( ( 1 ) <= (tk(P189)) ))) & potential( (tk(P2029)) <= (tk(P991)) ) )))
PROPERTY: Sudoku-PT-AN13-CTLCardinality-01 (EU( (EX( potential( ( 3 ) <= (tk(P1166)) ))),( potential( (tk(P681)) <= (tk(P817)) ) & potential( ( 1 ) <= (tk(P979)) ) ) ))
PROPERTY: Sudoku-PT-AN13-CTLCardinality-02 (AG( (EF(( potential( ( 3 ) <= (tk(P879)) ) | potential( (tk(P2260)) <= (tk(P1939)) ) )))))
PROPERTY: Sudoku-PT-AN13-CTLCardinality-03 (! (EG( ( ( potential( (tk(P1848)) <= (tk(P2351)) ) & potential( (tk(P2264)) <= (tk(P1382)) ) ) & ( potential( (tk(P2231)) <= (tk(P859)) ) | potential( (tk(P909)) <= (tk(P2110)) ) ) ))))
PROPERTY: Sudoku-PT-AN13-CTLCardinality-04 ( (EF((! potential( (tk(P1540)) <= (tk(P2392)) )))) & (! (! (! potential( (tk(P2419)) <= (tk(P2018)) )))) )
PROPERTY: Sudoku-PT-AN13-CTLCardinality-05 (! (EX( (AX( potential( ( 2 ) <= (tk(P1439)) ))))))
PROPERTY: Sudoku-PT-AN13-CTLCardinality-06 ( (AF((AG( potential( ( 3 ) <= (tk(P480)) ))))) & (! (AG( ( potential( ( 2 ) <= (tk(P228)) ) & potential( (tk(P850)) <= (tk(P552)) ) )))) )
PROPERTY: Sudoku-PT-AN13-CTLCardinality-07 (EG( (AF((! potential( (tk(P1752)) <= (tk(P2335)) ))))))
PROPERTY: Sudoku-PT-AN13-CTLCardinality-08 (AX( ( (! potential( ( 3 ) <= (tk(P1574)) )) | (AX( potential( (tk(P2382)) <= (tk(P2688)) ))) )))
PROPERTY: Sudoku-PT-AN13-CTLCardinality-09 (! (! ( potential( ( 2 ) <= (tk(P1296)) ) | (EF(potential( ( 2 ) <= (tk(P2181)) ))) )))
PROPERTY: Sudoku-PT-AN13-CTLCardinality-10 ( (EX( potential( (tk(P854)) <= (tk(P2377)) ))) & (! ( (EG( potential( (tk(P2286)) <= (tk(P600)) ))) | (AF(potential( ( 3 ) <= (tk(P1705)) ))) )) )
PROPERTY: Sudoku-PT-AN13-CTLCardinality-11 ( (AF((AX( potential( (tk(P510)) <= (tk(P631)) ))))) & (! (! potential( (tk(P1147)) <= (tk(P62)) ))) )
PROPERTY: Sudoku-PT-AN13-CTLCardinality-12 ( (! potential( (tk(P307)) <= (tk(P160)) )) | (EX( (EG( potential( ( 3 ) <= (tk(P699)) ))))) )
PROPERTY: Sudoku-PT-AN13-CTLCardinality-13 ( ( ( ( ( potential( ( 1 ) <= (tk(P1491)) ) | potential( (tk(P1254)) <= (tk(P968)) ) ) & potential( (tk(P2226)) <= (tk(P349)) ) ) & (EX( potential( ( 3 ) <= (tk(P2589)) ))) ) & ( (EX( potential( ( 3 ) <= (tk(P661)) ))) | ( (! potential( (tk(P1283)) <= (tk(P2583)) )) | (! potential( ( 2 ) <= (tk(P1445)) )) ) ) ) | (EU( potential( ( 3 ) <= (tk(P624)) ),(! potential( (tk(P2242)) <= (tk(P1646)) )) )) )
PROPERTY: Sudoku-PT-AN13-CTLCardinality-14 (EU( (! ( potential( ( 3 ) <= (tk(P327)) ) & potential( (tk(P1367)) <= (tk(P1941)) ) )),(! (! potential( ( 2 ) <= (tk(P1375)) ))) ))
PROPERTY: Sudoku-PT-AN13-CTLCardinality-15 (! (EX( (EX( potential( ( 3 ) <= (tk(P1627)) ))))))

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="Sudoku-PT-AN13"
export BK_EXAMINATION="CTLCardinality"
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 Sudoku-PT-AN13, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538800411"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-PT-AN13.tgz
mv Sudoku-PT-AN13 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;