fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r043-tajo-167813697100600
Last Updated
May 14, 2023

About the Execution of Smart+red for BusinessProcesses-PT-19

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

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813697100600.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is BusinessProcesses-PT-19, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813697100600
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 620K
-rw-r--r-- 1 mcc users 7.0K Feb 25 16:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 25 16:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 16:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 16:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 116K Feb 25 16:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 25 16:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 25 16:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 189K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678795447640

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-19
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 12:04:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 12:04:12] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 12:04:12] [INFO ] Load time of PNML (sax parser for PT used): 251 ms
[2023-03-14 12:04:12] [INFO ] Transformed 772 places.
[2023-03-14 12:04:12] [INFO ] Transformed 685 transitions.
[2023-03-14 12:04:12] [INFO ] Found NUPN structural information;
[2023-03-14 12:04:12] [INFO ] Parsed PT model containing 772 places and 685 transitions and 1981 arcs in 479 ms.
[2023-03-14 12:04:12] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 772 places, 685 transitions and 1981 arcs took 10 ms.
Total runtime 557 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 19
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 772 places, 685 transitions, 1981 arcs.
AT ITER 0 NEW BEST:: SOT 336519 SOS 127778 HAS SOPS 127778 HAS SOUS 124526 HAS SOUPS 124526 WITH SCORE 124653.778
AT ITER 1 NEW BEST:: SOT 336518 SOS 127582 HAS SOPS 127582 HAS SOUS 124425 HAS SOUPS 124425 WITH SCORE 124552.582
AT ITER 5 NEW BEST:: SOT 336517 SOS 127387 HAS SOPS 127387 HAS SOUS 124230 HAS SOUPS 124230 WITH SCORE 124357.387
AT ITER 54 NEW BEST:: SOT 336209 SOS 127033 HAS SOPS 127033 HAS SOUS 123876 HAS SOUPS 123876 WITH SCORE 124003.033
AT ITER 56 NEW BEST:: SOT 336139 SOS 126922 HAS SOPS 126922 HAS SOUS 123769 HAS SOUPS 123769 WITH SCORE 123895.922
AT ITER 76 NEW BEST:: SOT 336103 SOS 126887 HAS SOPS 126887 HAS SOUS 123734 HAS SOUPS 123734 WITH SCORE 123860.887
AT ITER 86 NEW BEST:: SOT 335851 SOS 126441 HAS SOPS 126441 HAS SOUS 123312 HAS SOUPS 123312 WITH SCORE 123438.441
AT ITER 106 NEW BEST:: SOT 335826 SOS 126421 HAS SOPS 126421 HAS SOUS 123292 HAS SOUPS 123292 WITH SCORE 123418.421
AT ITER 115 NEW BEST:: SOT 335825 SOS 126419 HAS SOPS 126419 HAS SOUS 123290 HAS SOUPS 123290 WITH SCORE 123416.419
AT ITER 118 NEW BEST:: SOT 335813 SOS 126407 HAS SOPS 126407 HAS SOUS 123278 HAS SOUPS 123278 WITH SCORE 123404.407
AT ITER 146 NEW BEST:: SOT 335812 SOS 126405 HAS SOPS 126405 HAS SOUS 123276 HAS SOUPS 123276 WITH SCORE 123402.405
AT ITER 148 NEW BEST:: SOT 335536 SOS 126318 HAS SOPS 126318 HAS SOUS 123046 HAS SOUPS 123046 WITH SCORE 123172.318
AT ITER 156 NEW BEST:: SOT 335500 SOS 126282 HAS SOPS 126282 HAS SOUS 123010 HAS SOUPS 123010 WITH SCORE 123136.282
AT ITER 160 NEW BEST:: SOT 335273 SOS 126055 HAS SOPS 126055 HAS SOUS 122783 HAS SOUPS 122783 WITH SCORE 122909.055
AT ITER 166 NEW BEST:: SOT 335189 SOS 126055 HAS SOPS 126055 HAS SOUS 122782 HAS SOUPS 122782 WITH SCORE 122908.055
AT ITER 168 NEW BEST:: SOT 335101 SOS 126092 HAS SOPS 126092 HAS SOUS 122737 HAS SOUPS 122737 WITH SCORE 122863.092
AT ITER 179 NEW BEST:: SOT 334851 SOS 125592 HAS SOPS 125592 HAS SOUS 122359 HAS SOUPS 122359 WITH SCORE 122484.592
AT ITER 196 NEW BEST:: SOT 334638 SOS 125385 HAS SOPS 125385 HAS SOUS 122154 HAS SOUPS 122154 WITH SCORE 122279.385
AT ITER 199 NEW BEST:: SOT 334638 SOS 125297 HAS SOPS 125297 HAS SOUS 122071 HAS SOUPS 122071 WITH SCORE 122196.297
AT ITER 215 NEW BEST:: SOT 334638 SOS 125154 HAS SOPS 125154 HAS SOUS 121980 HAS SOUPS 121980 WITH SCORE 122105.154
AT ITER 234 NEW BEST:: SOT 334423 SOS 124906 HAS SOPS 124906 HAS SOUS 121732 HAS SOUPS 121732 WITH SCORE 121856.906
AT ITER 277 NEW BEST:: SOT 334423 SOS 124878 HAS SOPS 124878 HAS SOUS 121704 HAS SOUPS 121704 WITH SCORE 121828.878
AT ITER 291 NEW BEST:: SOT 331183 SOS 121853 HAS SOPS 121853 HAS SOUS 118679 HAS SOUPS 118679 WITH SCORE 118800.853
AT ITER 305 NEW BEST:: SOT 331144 SOS 121775 HAS SOPS 121775 HAS SOUS 118662 HAS SOUPS 118662 WITH SCORE 118783.775
AT ITER 307 NEW BEST:: SOT 331083 SOS 121775 HAS SOPS 121775 HAS SOUS 118661 HAS SOUPS 118661 WITH SCORE 118782.775
AT ITER 311 NEW BEST:: SOT 330848 SOS 121273 HAS SOPS 121273 HAS SOUS 118159 HAS SOUPS 118159 WITH SCORE 118280.273
AT ITER 313 NEW BEST:: SOT 330810 SOS 121211 HAS SOPS 121211 HAS SOUS 118097 HAS SOUPS 118097 WITH SCORE 118218.211
AT ITER 316 NEW BEST:: SOT 330789 SOS 121209 HAS SOPS 121209 HAS SOUS 118095 HAS SOUPS 118095 WITH SCORE 118216.209
AT ITER 320 NEW BEST:: SOT 330600 SOS 120932 HAS SOPS 120932 HAS SOUS 117818 HAS SOUPS 117818 WITH SCORE 117938.932
AT ITER 333 NEW BEST:: SOT 330493 SOS 120783 HAS SOPS 120783 HAS SOUS 117711 HAS SOUPS 117711 WITH SCORE 117831.783
AT ITER 355 NEW BEST:: SOT 330306 SOS 120596 HAS SOPS 120596 HAS SOUS 117524 HAS SOUPS 117524 WITH SCORE 117644.596
AT ITER 357 NEW BEST:: SOT 330306 SOS 120475 HAS SOPS 120475 HAS SOUS 117403 HAS SOUPS 117403 WITH SCORE 117523.475
AT ITER 362 NEW BEST:: SOT 330238 SOS 120475 HAS SOPS 120475 HAS SOUS 117402 HAS SOUPS 117402 WITH SCORE 117522.475
AT ITER 369 NEW BEST:: SOT 321816 SOS 128161 HAS SOPS 128161 HAS SOUS 109649 HAS SOUPS 109649 WITH SCORE 109777.161
AT ITER 372 NEW BEST:: SOT 321688 SOS 128032 HAS SOPS 128032 HAS SOUS 109647 HAS SOUPS 109647 WITH SCORE 109775.032
AT ITER 374 NEW BEST:: SOT 321458 SOS 127624 HAS SOPS 127624 HAS SOUS 109370 HAS SOUPS 109370 WITH SCORE 109497.624
AT ITER 375 NEW BEST:: SOT 321458 SOS 127794 HAS SOPS 127794 HAS SOUS 109369 HAS SOUPS 109369 WITH SCORE 109496.794
AT ITER 402 NEW BEST:: SOT 321402 SOS 127626 HAS SOPS 127626 HAS SOUS 109257 HAS SOUPS 109257 WITH SCORE 109384.626
AT ITER 413 NEW BEST:: SOT 321404 SOS 127559 HAS SOPS 127559 HAS SOUS 109190 HAS SOUPS 109190 WITH SCORE 109317.559
AT ITER 428 NEW BEST:: SOT 321360 SOS 127471 HAS SOPS 127471 HAS SOUS 109146 HAS SOUPS 109146 WITH SCORE 109273.471
AT ITER 429 NEW BEST:: SOT 321406 SOS 127517 HAS SOPS 127517 HAS SOUS 109122 HAS SOUPS 109122 WITH SCORE 109249.517
AT ITER 431 NEW BEST:: SOT 321184 SOS 127087 HAS SOPS 127087 HAS SOUS 108820 HAS SOUPS 108820 WITH SCORE 108947.087
AT ITER 438 NEW BEST:: SOT 320845 SOS 126698 HAS SOPS 126698 HAS SOUS 108566 HAS SOUPS 108566 WITH SCORE 108692.698
AT ITER 439 NEW BEST:: SOT 320835 SOS 126688 HAS SOPS 126688 HAS SOUS 108566 HAS SOUPS 108566 WITH SCORE 108692.688
AT ITER 442 NEW BEST:: SOT 320930 SOS 126783 HAS SOPS 126783 HAS SOUS 108531 HAS SOUPS 108531 WITH SCORE 108657.783
AT ITER 444 NEW BEST:: SOT 320673 SOS 126324 HAS SOPS 126324 HAS SOUS 108274 HAS SOUPS 108274 WITH SCORE 108400.324
AT ITER 445 NEW BEST:: SOT 320429 SOS 125958 HAS SOPS 125958 HAS SOUS 108030 HAS SOUPS 108030 WITH SCORE 108155.958
AT ITER 451 NEW BEST:: SOT 320511 SOS 125689 HAS SOPS 125689 HAS SOUS 107904 HAS SOUPS 107904 WITH SCORE 108029.689
AT ITER 452 NEW BEST:: SOT 320511 SOS 125526 HAS SOPS 125526 HAS SOUS 107862 HAS SOUPS 107862 WITH SCORE 107987.526
AT ITER 456 NEW BEST:: SOT 320436 SOS 125451 HAS SOPS 125451 HAS SOUS 107862 HAS SOUPS 107862 WITH SCORE 107987.451
AT ITER 459 NEW BEST:: SOT 320376 SOS 125370 HAS SOPS 125370 HAS SOUS 107781 HAS SOUPS 107781 WITH SCORE 107906.37
AT ITER 463 NEW BEST:: SOT 320391 SOS 125384 HAS SOPS 125384 HAS SOUS 107652 HAS SOUPS 107652 WITH SCORE 107777.384
AT ITER 471 NEW BEST:: SOT 320208 SOS 125200 HAS SOPS 125200 HAS SOUS 107650 HAS SOUPS 107650 WITH SCORE 107775.2
AT ITER 473 NEW BEST:: SOT 320507 SOS 125147 HAS SOPS 125147 HAS SOUS 107597 HAS SOUPS 107597 WITH SCORE 107722.147
AT ITER 477 NEW BEST:: SOT 320064 SOS 124585 HAS SOPS 124585 HAS SOUS 107290 HAS SOUPS 107290 WITH SCORE 107414.585
AT ITER 487 NEW BEST:: SOT 319982 SOS 124421 HAS SOPS 124421 HAS SOUS 107267 HAS SOUPS 107267 WITH SCORE 107391.421
AT ITER 490 NEW BEST:: SOT 319779 SOS 124015 HAS SOPS 124015 HAS SOUS 107044 HAS SOUPS 107044 WITH SCORE 107168.015
AT ITER 493 NEW BEST:: SOT 319916 SOS 124037 HAS SOPS 124037 HAS SOUS 106893 HAS SOUPS 106893 WITH SCORE 107017.037
AT ITER 494 NEW BEST:: SOT 319741 SOS 123862 HAS SOPS 123862 HAS SOUS 106893 HAS SOUPS 106893 WITH SCORE 107016.862
AT ITER 496 NEW BEST:: SOT 319607 SOS 123594 HAS SOPS 123594 HAS SOUS 106758 HAS SOUPS 106758 WITH SCORE 106881.594
AT ITER 500 NEW BEST:: SOT 319565 SOS 123510 HAS SOPS 123510 HAS SOUS 106716 HAS SOUPS 106716 WITH SCORE 106839.51
AT ITER 507 NEW BEST:: SOT 319565 SOS 123490 HAS SOPS 123490 HAS SOUS 106696 HAS SOUPS 106696 WITH SCORE 106819.49
AT ITER 509 NEW BEST:: SOT 319611 SOS 123270 HAS SOPS 123270 HAS SOUS 106474 HAS SOUPS 106474 WITH SCORE 106597.27
AT ITER 510 NEW BEST:: SOT 319079 SOS 124211 HAS SOPS 124211 HAS SOUS 105954 HAS SOUPS 105954 WITH SCORE 106078.211
AT ITER 513 NEW BEST:: SOT 319106 SOS 124156 HAS SOPS 124156 HAS SOUS 105899 HAS SOUPS 105899 WITH SCORE 106023.156
AT ITER 520 NEW BEST:: SOT 319057 SOS 124058 HAS SOPS 124058 HAS SOUS 105801 HAS SOUPS 105801 WITH SCORE 105925.058
AT ITER 525 NEW BEST:: SOT 319047 SOS 124045 HAS SOPS 124045 HAS SOUS 105791 HAS SOUPS 105791 WITH SCORE 105915.045
AT ITER 535 NEW BEST:: SOT 318911 SOS 123909 HAS SOPS 123909 HAS SOUS 105791 HAS SOUPS 105791 WITH SCORE 105914.909
AT ITER 546 NEW BEST:: SOT 318911 SOS 123904 HAS SOPS 123904 HAS SOUS 105786 HAS SOUPS 105786 WITH SCORE 105909.904
AT ITER 547 NEW BEST:: SOT 318797 SOS 123676 HAS SOPS 123676 HAS SOUS 105765 HAS SOUPS 105765 WITH SCORE 105888.676
AT ITER 552 NEW BEST:: SOT 318743 SOS 123572 HAS SOPS 123572 HAS SOUS 105661 HAS SOUPS 105661 WITH SCORE 105784.572
AT ITER 559 NEW BEST:: SOT 318741 SOS 123560 HAS SOPS 123560 HAS SOUS 105649 HAS SOUPS 105649 WITH SCORE 105772.56
AT ITER 560 NEW BEST:: SOT 318741 SOS 123546 HAS SOPS 123546 HAS SOUS 105526 HAS SOUPS 105526 WITH SCORE 105649.546
AT ITER 561 NEW BEST:: SOT 318692 SOS 123497 HAS SOPS 123497 HAS SOUS 105477 HAS SOUPS 105477 WITH SCORE 105600.497
AT ITER 567 NEW BEST:: SOT 318524 SOS 123211 HAS SOPS 123211 HAS SOUS 105219 HAS SOUPS 105219 WITH SCORE 105342.211
AT ITER 568 NEW BEST:: SOT 318774 SOS 123461 HAS SOPS 123461 HAS SOUS 105196 HAS SOUPS 105196 WITH SCORE 105319.461
AT ITER 586 NEW BEST:: SOT 315332 SOS 122304 HAS SOPS 122304 HAS SOUS 102204 HAS SOUPS 102204 WITH SCORE 102326.304
AT ITER 615 NEW BEST:: SOT 315332 SOS 122173 HAS SOPS 122173 HAS SOUS 102073 HAS SOUPS 102073 WITH SCORE 102195.173
AT ITER 627 NEW BEST:: SOT 315331 SOS 122145 HAS SOPS 122145 HAS SOUS 102045 HAS SOUPS 102045 WITH SCORE 102167.145
AT ITER 628 NEW BEST:: SOT 315331 SOS 121913 HAS SOPS 121913 HAS SOUS 101810 HAS SOUPS 101810 WITH SCORE 101931.913
AT ITER 636 NEW BEST:: SOT 315226 SOS 121755 HAS SOPS 121755 HAS SOUS 101790 HAS SOUPS 101790 WITH SCORE 101911.755
AT ITER 641 NEW BEST:: SOT 315183 SOS 121747 HAS SOPS 121747 HAS SOUS 101782 HAS SOUPS 101782 WITH SCORE 101903.747
AT ITER 642 NEW BEST:: SOT 314989 SOS 121695 HAS SOPS 121695 HAS SOUS 101730 HAS SOUPS 101730 WITH SCORE 101851.695
AT ITER 643 NEW BEST:: SOT 314677 SOS 121303 HAS SOPS 121303 HAS SOUS 101577 HAS SOUPS 101577 WITH SCORE 101698.303
AT ITER 644 NEW BEST:: SOT 314635 SOS 121246 HAS SOPS 121246 HAS SOUS 101577 HAS SOUPS 101577 WITH SCORE 101698.246
AT ITER 646 NEW BEST:: SOT 314587 SOS 121198 HAS SOPS 121198 HAS SOUS 101529 HAS SOUPS 101529 WITH SCORE 101650.198
AT ITER 661 NEW BEST:: SOT 314515 SOS 121153 HAS SOPS 121153 HAS SOUS 101484 HAS SOUPS 101484 WITH SCORE 101605.153
AT ITER 663 NEW BEST:: SOT 314610 SOS 121067 HAS SOPS 121067 HAS SOUS 101122 HAS SOUPS 101122 WITH SCORE 101243.067
AT ITER 664 NEW BEST:: SOT 314870 SOS 120919 HAS SOPS 120919 HAS SOUS 101048 HAS SOUPS 101048 WITH SCORE 101168.919
AT ITER 670 NEW BEST:: SOT 314870 SOS 120860 HAS SOPS 120860 HAS SOUS 101025 HAS SOUPS 101025 WITH SCORE 101145.86
AT ITER 677 NEW BEST:: SOT 314934 SOS 120654 HAS SOPS 120654 HAS SOUS 100969 HAS SOUPS 100969 WITH SCORE 101089.654
AT ITER 685 NEW BEST:: SOT 314769 SOS 120489 HAS SOPS 120489 HAS SOUS 100969 HAS SOUPS 100969 WITH SCORE 101089.489
AT ITER 691 NEW BEST:: SOT 314548 SOS 120073 HAS SOPS 120073 HAS SOUS 100553 HAS SOUPS 100553 WITH SCORE 100673.073
AT ITER 698 NEW BEST:: SOT 314538 SOS 120063 HAS SOPS 120063 HAS SOUS 100543 HAS SOUPS 100543 WITH SCORE 100663.063
AT ITER 706 NEW BEST:: SOT 314538 SOS 120055 HAS SOPS 120055 HAS SOUS 100535 HAS SOUPS 100535 WITH SCORE 100655.055
AT ITER 716 NEW BEST:: SOT 314538 SOS 119997 HAS SOPS 119997 HAS SOUS 100535 HAS SOUPS 100535 WITH SCORE 100654.997
AT ITER 719 NEW BEST:: SOT 314366 SOS 119873 HAS SOPS 119873 HAS SOUS 100411 HAS SOUPS 100411 WITH SCORE 100530.873
AT ITER 721 NEW BEST:: SOT 314312 SOS 119811 HAS SOPS 119811 HAS SOUS 100349 HAS SOUPS 100349 WITH SCORE 100468.811
AT ITER 728 NEW BEST:: SOT 314311 SOS 119583 HAS SOPS 119583 HAS SOUS 100121 HAS SOUPS 100121 WITH SCORE 100240.583
AT ITER 738 NEW BEST:: SOT 314521 SOS 119780 HAS SOPS 119780 HAS SOUS 100108 HAS SOUPS 100108 WITH SCORE 100227.78
AT ITER 757 NEW BEST:: SOT 314517 SOS 119776 HAS SOPS 119776 HAS SOUS 100104 HAS SOUPS 100104 WITH SCORE 100223.776
AT ITER 765 NEW BEST:: SOT 314458 SOS 119675 HAS SOPS 119675 HAS SOUS 100003 HAS SOUPS 100003 WITH SCORE 100122.675
AT ITER 767 NEW BEST:: SOT 314430 SOS 119665 HAS SOPS 119665 HAS SOUS 99993 HAS SOUPS 99993 WITH SCORE 100112.665
AT ITER 780 NEW BEST:: SOT 314375 SOS 119555 HAS SOPS 119555 HAS SOUS 99938 HAS SOUPS 99938 WITH SCORE 100057.555
AT ITER 796 NEW BEST:: SOT 313771 SOS 120664 HAS SOPS 120664 HAS SOUS 99607 HAS SOUPS 99607 WITH SCORE 99727.664
AT ITER 797 NEW BEST:: SOT 313730 SOS 120580 HAS SOPS 120580 HAS SOUS 99523 HAS SOUPS 99523 WITH SCORE 99643.58
AT ITER 798 NEW BEST:: SOT 313674 SOS 120468 HAS SOPS 120468 HAS SOUS 99520 HAS SOUPS 99520 WITH SCORE 99640.468
AT ITER 800 NEW BEST:: SOT 313483 SOS 120086 HAS SOPS 120086 HAS SOUS 99291 HAS SOUPS 99291 WITH SCORE 99411.086
AT ITER 807 NEW BEST:: SOT 313063 SOS 119549 HAS SOPS 119549 HAS SOUS 98754 HAS SOUPS 98754 WITH SCORE 98873.549
AT ITER 810 NEW BEST:: SOT 312907 SOS 119419 HAS SOPS 119419 HAS SOUS 98624 HAS SOUPS 98624 WITH SCORE 98743.419
AT ITER 823 NEW BEST:: SOT 312899 SOS 119411 HAS SOPS 119411 HAS SOUS 98616 HAS SOUPS 98616 WITH SCORE 98735.411
AT ITER 836 NEW BEST:: SOT 312899 SOS 119410 HAS SOPS 119410 HAS SOUS 98615 HAS SOUPS 98615 WITH SCORE 98734.41
AT ITER 845 NEW BEST:: SOT 312563 SOS 118906 HAS SOPS 118906 HAS SOUS 98279 HAS SOUPS 98279 WITH SCORE 98397.906
AT ITER 857 NEW BEST:: SOT 312703 SOS 118802 HAS SOPS 118802 HAS SOUS 98175 HAS SOUPS 98175 WITH SCORE 98293.802
AT ITER 872 NEW BEST:: SOT 312664 SOS 118724 HAS SOPS 118724 HAS SOUS 98097 HAS SOUPS 98097 WITH SCORE 98215.724
AT ITER 873 NEW BEST:: SOT 312664 SOS 118712 HAS SOPS 118712 HAS SOUS 98073 HAS SOUPS 98073 WITH SCORE 98191.712
AT ITER 880 NEW BEST:: SOT 312653 SOS 118590 HAS SOPS 118590 HAS SOUS 97951 HAS SOUPS 97951 WITH SCORE 98069.59
AT ITER 883 NEW BEST:: SOT 312605 SOS 118516 HAS SOPS 118516 HAS SOUS 97901 HAS SOUPS 97901 WITH SCORE 98019.516
AT ITER 884 NEW BEST:: SOT 312593 SOS 118493 HAS SOPS 118493 HAS SOUS 97878 HAS SOUPS 97878 WITH SCORE 97996.493
AT ITER 887 NEW BEST:: SOT 312348 SOS 118136 HAS SOPS 118136 HAS SOUS 97633 HAS SOUPS 97633 WITH SCORE 97751.136
AT ITER 889 NEW BEST:: SOT 312147 SOS 117866 HAS SOPS 117866 HAS SOUS 97425 HAS SOUPS 97425 WITH SCORE 97542.866
AT ITER 897 NEW BEST:: SOT 311983 SOS 117812 HAS SOPS 117812 HAS SOUS 97371 HAS SOUPS 97371 WITH SCORE 97488.812
AT ITER 907 NEW BEST:: SOT 311983 SOS 117779 HAS SOPS 117779 HAS SOUS 97338 HAS SOUPS 97338 WITH SCORE 97455.779
AT ITER 910 NEW BEST:: SOT 311983 SOS 117740 HAS SOPS 117740 HAS SOUS 97299 HAS SOUPS 97299 WITH SCORE 97416.74
AT ITER 911 NEW BEST:: SOT 311970 SOS 117318 HAS SOPS 117318 HAS SOUS 97043 HAS SOUPS 97043 WITH SCORE 97160.318
AT ITER 931 NEW BEST:: SOT 311969 SOS 117316 HAS SOPS 117316 HAS SOUS 97041 HAS SOUPS 97041 WITH SCORE 97158.316
AT ITER 933 NEW BEST:: SOT 311969 SOS 117270 HAS SOPS 117270 HAS SOUS 96995 HAS SOUPS 96995 WITH SCORE 97112.27
AT ITER 938 NEW BEST:: SOT 311560 SOS 116689 HAS SOPS 116689 HAS SOUS 96586 HAS SOUPS 96586 WITH SCORE 96702.689
AT ITER 951 NEW BEST:: SOT 311504 SOS 116657 HAS SOPS 116657 HAS SOUS 96530 HAS SOUPS 96530 WITH SCORE 96646.657
AT ITER 955 NEW BEST:: SOT 311478 SOS 116605 HAS SOPS 116605 HAS SOUS 96478 HAS SOUPS 96478 WITH SCORE 96594.605
AT ITER 957 NEW BEST:: SOT 311426 SOS 116501 HAS SOPS 116501 HAS SOUS 96436 HAS SOUPS 96436 WITH SCORE 96552.501
AT ITER 959 NEW BEST:: SOT 311424 SOS 116498 HAS SOPS 116498 HAS SOUS 96433 HAS SOUPS 96433 WITH SCORE 96549.498
AT ITER 960 NEW BEST:: SOT 311304 SOS 116258 HAS SOPS 116258 HAS SOUS 96313 HAS SOUPS 96313 WITH SCORE 96429.258
AT ITER 965 NEW BEST:: SOT 311275 SOS 116200 HAS SOPS 116200 HAS SOUS 96255 HAS SOUPS 96255 WITH SCORE 96371.2
AT ITER 976 NEW BEST:: SOT 311126 SOS 116049 HAS SOPS 116049 HAS SOUS 96251 HAS SOUPS 96251 WITH SCORE 96367.049
AT ITER 977 NEW BEST:: SOT 310999 SOS 115687 HAS SOPS 115687 HAS SOUS 96040 HAS SOUPS 96040 WITH SCORE 96155.687
AT ITER 978 NEW BEST:: SOT 311013 SOS 115691 HAS SOPS 115691 HAS SOUS 96020 HAS SOUPS 96020 WITH SCORE 96135.691
AT ITER 982 NEW BEST:: SOT 311013 SOS 115453 HAS SOPS 115453 HAS SOUS 95903 HAS SOUPS 95903 WITH SCORE 96018.453
AT ITER 988 NEW BEST:: SOT 311031 SOS 115407 HAS SOPS 115407 HAS SOUS 95857 HAS SOUPS 95857 WITH SCORE 95972.407
AT ITER 997 NEW BEST:: SOT 311049 SOS 115357 HAS SOPS 115357 HAS SOUS 95721 HAS SOUPS 95721 WITH SCORE 95836.357
AT ITER 1001 NEW BEST:: SOT 310950 SOS 115326 HAS SOPS 115326 HAS SOUS 95622 HAS SOUPS 95622 WITH SCORE 95737.326
AT ITER 1017 NEW BEST:: SOT 310934 SOS 115309 HAS SOPS 115309 HAS SOUS 95605 HAS SOUPS 95605 WITH SCORE 95720.309
AT ITER 1027 NEW BEST:: SOT 310920 SOS 115295 HAS SOPS 115295 HAS SOUS 95591 HAS SOUPS 95591 WITH SCORE 95706.295
AT ITER 1029 NEW BEST:: SOT 310892 SOS 115239 HAS SOPS 115239 HAS SOUS 95535 HAS SOUPS 95535 WITH SCORE 95650.239
AT ITER 1040 NEW BEST:: SOT 310841 SOS 115137 HAS SOPS 115137 HAS SOUS 95433 HAS SOUPS 95433 WITH SCORE 95548.137
AT ITER 1045 NEW BEST:: SOT 310862 SOS 115085 HAS SOPS 115085 HAS SOUS 95381 HAS SOUPS 95381 WITH SCORE 95496.085
AT ITER 1091 NEW BEST:: SOT 310862 SOS 115067 HAS SOPS 115067 HAS SOUS 95363 HAS SOUPS 95363 WITH SCORE 95478.067
AT ITER 1092 NEW BEST:: SOT 310862 SOS 115044 HAS SOPS 115044 HAS SOUS 95363 HAS SOUPS 95363 WITH SCORE 95478.044
AT ITER 1098 NEW BEST:: SOT 310863 SOS 114942 HAS SOPS 114942 HAS SOUS 95261 HAS SOUPS 95261 WITH SCORE 95375.942
AT ITER 1107 NEW BEST:: SOT 310848 SOS 114936 HAS SOPS 114936 HAS SOUS 95255 HAS SOUPS 95255 WITH SCORE 95369.936
AT ITER 1110 NEW BEST:: SOT 310989 SOS 114898 HAS SOPS 114898 HAS SOUS 95053 HAS SOUPS 95053 WITH SCORE 95167.898
AT ITER 1151 NEW BEST:: SOT 310967 SOS 114875 HAS SOPS 114875 HAS SOUS 95030 HAS SOUPS 95030 WITH SCORE 95144.875
AT ITER 1157 NEW BEST:: SOT 310955 SOS 114851 HAS SOPS 114851 HAS SOUS 95006 HAS SOUPS 95006 WITH SCORE 95120.851
AT ITER 1166 NEW BEST:: SOT 310954 SOS 114849 HAS SOPS 114849 HAS SOUS 95004 HAS SOUPS 95004 WITH SCORE 95118.849
AT ITER 1183 NEW BEST:: SOT 311271 SOS 114714 HAS SOPS 114714 HAS SOUS 94869 HAS SOUPS 94869 WITH SCORE 94983.714
AT ITER 1209 NEW BEST:: SOT 311307 SOS 114552 HAS SOPS 114552 HAS SOUS 94707 HAS SOUPS 94707 WITH SCORE 94821.552
AT ITER 1213 NEW BEST:: SOT 311166 SOS 114304 HAS SOPS 114304 HAS SOUS 94600 HAS SOUPS 94600 WITH SCORE 94714.304
AT ITER 1214 NEW BEST:: SOT 311169 SOS 114269 HAS SOPS 114269 HAS SOUS 94565 HAS SOUPS 94565 WITH SCORE 94679.269
AT ITER 1215 NEW BEST:: SOT 310951 SOS 114106 HAS SOPS 114106 HAS SOUS 94523 HAS SOUPS 94523 WITH SCORE 94637.106
AT ITER 1218 NEW BEST:: SOT 310939 SOS 114082 HAS SOPS 114082 HAS SOUS 94499 HAS SOUPS 94499 WITH SCORE 94613.082
AT ITER 1237 NEW BEST:: SOT 310939 SOS 114073 HAS SOPS 114073 HAS SOUS 94490 HAS SOUPS 94490 WITH SCORE 94604.073
AT ITER 1243 NEW BEST:: SOT 310938 SOS 114009 HAS SOPS 114009 HAS SOUS 94426 HAS SOUPS 94426 WITH SCORE 94540.009
AT ITER 1249 NEW BEST:: SOT 311036 SOS 114009 HAS SOPS 114009 HAS SOUS 94328 HAS SOUPS 94328 WITH SCORE 94442.009
AT ITER 1263 NEW BEST:: SOT 311048 SOS 113996 HAS SOPS 113996 HAS SOUS 94315 HAS SOUPS 94315 WITH SCORE 94428.996
AT ITER 1288 NEW BEST:: SOT 310991 SOS 113889 HAS SOPS 113889 HAS SOUS 94208 HAS SOUPS 94208 WITH SCORE 94321.889
AT ITER 1295 NEW BEST:: SOT 310866 SOS 116970 HAS SOPS 116970 HAS SOUS 94169 HAS SOUPS 94169 WITH SCORE 94285.97
AT ITER 1310 NEW BEST:: SOT 310865 SOS 116968 HAS SOPS 116968 HAS SOUS 94167 HAS SOUPS 94167 WITH SCORE 94283.968
AT ITER 1314 NEW BEST:: SOT 310748 SOS 116734 HAS SOPS 116734 HAS SOUS 94050 HAS SOUPS 94050 WITH SCORE 94166.734
AT ITER 1324 NEW BEST:: SOT 310743 SOS 116729 HAS SOPS 116729 HAS SOUS 94045 HAS SOUPS 94045 WITH SCORE 94161.729
AT ITER 1343 NEW BEST:: SOT 310717 SOS 116703 HAS SOPS 116703 HAS SOUS 94019 HAS SOUPS 94019 WITH SCORE 94135.703
AT ITER 1345 NEW BEST:: SOT 310652 SOS 116638 HAS SOPS 116638 HAS SOUS 93954 HAS SOUPS 93954 WITH SCORE 94070.638
AT ITER 1348 NEW BEST:: SOT 310604 SOS 116600 HAS SOPS 116600 HAS SOUS 93916 HAS SOUPS 93916 WITH SCORE 94032.6
AT ITER 1349 NEW BEST:: SOT 310622 SOS 116618 HAS SOPS 116618 HAS SOUS 93887 HAS SOUPS 93887 WITH SCORE 94003.618
AT ITER 1367 NEW BEST:: SOT 310596 SOS 116592 HAS SOPS 116592 HAS SOUS 93861 HAS SOUPS 93861 WITH SCORE 93977.592
AT ITER 1376 NEW BEST:: SOT 310405 SOS 116336 HAS SOPS 116336 HAS SOUS 93605 HAS SOUPS 93605 WITH SCORE 93721.336
AT ITER 1379 NEW BEST:: SOT 310443 SOS 116356 HAS SOPS 116356 HAS SOUS 93575 HAS SOUPS 93575 WITH SCORE 93691.356
AT ITER 1380 NEW BEST:: SOT 310459 SOS 116345 HAS SOPS 116345 HAS SOUS 93564 HAS SOUPS 93564 WITH SCORE 93680.345
AT ITER 1397 NEW BEST:: SOT 310367 SOS 116022 HAS SOPS 116022 HAS SOUS 93241 HAS SOUPS 93241 WITH SCORE 93357.022
AT ITER 1420 NEW BEST:: SOT 310367 SOS 113965 HAS SOPS 113965 HAS SOUS 93163 HAS SOUPS 93163 WITH SCORE 93276.965
AT ITER 1425 NEW BEST:: SOT 310290 SOS 114011 HAS SOPS 114011 HAS SOUS 93143 HAS SOUPS 93143 WITH SCORE 93257.011
AT ITER 1426 NEW BEST:: SOT 310290 SOS 114004 HAS SOPS 114004 HAS SOUS 93136 HAS SOUPS 93136 WITH SCORE 93250.004
AT ITER 1427 NEW BEST:: SOT 310245 SOS 113942 HAS SOPS 113942 HAS SOUS 93074 HAS SOUPS 93074 WITH SCORE 93187.942
AT ITER 1430 NEW BEST:: SOT 310158 SOS 113855 HAS SOPS 113855 HAS SOUS 92987 HAS SOUPS 92987 WITH SCORE 93100.855
AT ITER 1435 NEW BEST:: SOT 310158 SOS 113795 HAS SOPS 113795 HAS SOUS 92987 HAS SOUPS 92987 WITH SCORE 93100.795
AT ITER 1440 NEW BEST:: SOT 310064 SOS 113588 HAS SOPS 113588 HAS SOUS 92968 HAS SOUPS 92968 WITH SCORE 93081.588
AT ITER 1441 NEW BEST:: SOT 309850 SOS 113085 HAS SOPS 113085 HAS SOUS 92676 HAS SOUPS 92676 WITH SCORE 92789.085
AT ITER 1448 NEW BEST:: SOT 309727 SOS 112962 HAS SOPS 112962 HAS SOUS 92553 HAS SOUPS 92553 WITH SCORE 92665.962
AT ITER 1453 NEW BEST:: SOT 310005 SOS 112723 HAS SOPS 112723 HAS SOUS 92438 HAS SOUPS 92438 WITH SCORE 92550.723
AT ITER 1458 NEW BEST:: SOT 309984 SOS 112702 HAS SOPS 112702 HAS SOUS 92438 HAS SOUPS 92438 WITH SCORE 92550.702
AT ITER 1469 NEW BEST:: SOT 310061 SOS 112701 HAS SOPS 112701 HAS SOUS 92359 HAS SOUPS 92359 WITH SCORE 92471.701
AT ITER 1505 NEW BEST:: SOT 309804 SOS 112328 HAS SOPS 112328 HAS SOUS 92102 HAS SOUPS 92102 WITH SCORE 92214.328
AT ITER 1511 NEW BEST:: SOT 309773 SOS 112266 HAS SOPS 112266 HAS SOUS 92071 HAS SOUPS 92071 WITH SCORE 92183.266
AT ITER 1534 NEW BEST:: SOT 309781 SOS 112234 HAS SOPS 112234 HAS SOUS 92039 HAS SOUPS 92039 WITH SCORE 92151.234
AT ITER 1535 NEW BEST:: SOT 309612 SOS 112112 HAS SOPS 112112 HAS SOUS 91944 HAS SOUPS 91944 WITH SCORE 92056.112
AT ITER 1539 NEW BEST:: SOT 309612 SOS 112109 HAS SOPS 112109 HAS SOUS 91941 HAS SOUPS 91941 WITH SCORE 92053.109
AT ITER 1540 NEW BEST:: SOT 309612 SOS 112085 HAS SOPS 112085 HAS SOUS 91917 HAS SOUPS 91917 WITH SCORE 92029.085
AT ITER 1542 NEW BEST:: SOT 309611 SOS 112083 HAS SOPS 112083 HAS SOUS 91915 HAS SOUPS 91915 WITH SCORE 92027.083
AT ITER 1548 NEW BEST:: SOT 309609 SOS 112079 HAS SOPS 112079 HAS SOUS 91911 HAS SOUPS 91911 WITH SCORE 92023.079
AT ITER 1554 NEW BEST:: SOT 309562 SOS 111936 HAS SOPS 111936 HAS SOUS 91768 HAS SOUPS 91768 WITH SCORE 91879.936
AT ITER 1569 NEW BEST:: SOT 309557 SOS 111663 HAS SOPS 111663 HAS SOUS 91639 HAS SOUPS 91639 WITH SCORE 91750.663
AT ITER 1572 NEW BEST:: SOT 309210 SOS 110925 HAS SOPS 110925 HAS SOUS 91096 HAS SOUPS 91096 WITH SCORE 91206.925
AT ITER 1573 NEW BEST:: SOT 309210 SOS 110891 HAS SOPS 110891 HAS SOUS 91062 HAS SOUPS 91062 WITH SCORE 91172.891
AT ITER 1576 NEW BEST:: SOT 309072 SOS 110799 HAS SOPS 110799 HAS SOUS 90970 HAS SOUPS 90970 WITH SCORE 91080.799
AT ITER 1578 NEW BEST:: SOT 308695 SOS 110491 HAS SOPS 110491 HAS SOUS 90681 HAS SOUPS 90681 WITH SCORE 90791.491
AT ITER 1607 NEW BEST:: SOT 308818 SOS 110614 HAS SOPS 110614 HAS SOUS 90680 HAS SOUPS 90680 WITH SCORE 90790.614
AT ITER 1621 NEW BEST:: SOT 308777 SOS 110557 HAS SOPS 110557 HAS SOUS 90623 HAS SOUPS 90623 WITH SCORE 90733.557
AT ITER 1633 NEW BEST:: SOT 308751 SOS 110531 HAS SOPS 110531 HAS SOUS 90597 HAS SOUPS 90597 WITH SCORE 90707.531
AT ITER 1635 NEW BEST:: SOT 305042 SOS 108947 HAS SOPS 108947 HAS SOUS 87384 HAS SOUPS 87384 WITH SCORE 87492.947
AT ITER 1659 NEW BEST:: SOT 305048 SOS 108760 HAS SOPS 108760 HAS SOUS 87324 HAS SOUPS 87324 WITH SCORE 87432.76
AT ITER 1661 NEW BEST:: SOT 305319 SOS 108736 HAS SOPS 108736 HAS SOUS 87308 HAS SOUPS 87308 WITH SCORE 87416.736
AT ITER 1665 NEW BEST:: SOT 305313 SOS 108724 HAS SOPS 108724 HAS SOUS 87302 HAS SOUPS 87302 WITH SCORE 87410.724
AT ITER 1675 NEW BEST:: SOT 305503 SOS 108386 HAS SOPS 108386 HAS SOUS 87022 HAS SOUPS 87022 WITH SCORE 87130.386
AT ITER 1702 NEW BEST:: SOT 305484 SOS 108341 HAS SOPS 108341 HAS SOUS 86996 HAS SOUPS 86996 WITH SCORE 87104.341
AT ITER 1721 NEW BEST:: SOT 305451 SOS 108308 HAS SOPS 108308 HAS SOUS 86963 HAS SOUPS 86963 WITH SCORE 87071.308
AT ITER 1732 NEW BEST:: SOT 305451 SOS 108208 HAS SOPS 108208 HAS SOUS 86863 HAS SOUPS 86863 WITH SCORE 86971.208
AT ITER 1735 NEW BEST:: SOT 305007 SOS 107551 HAS SOPS 107551 HAS SOUS 86284 HAS SOUPS 86284 WITH SCORE 86391.551
AT ITER 1737 NEW BEST:: SOT 305006 SOS 107489 HAS SOPS 107489 HAS SOUS 86222 HAS SOUPS 86222 WITH SCORE 86329.489
AT ITER 1740 NEW BEST:: SOT 305185 SOS 107538 HAS SOPS 107538 HAS SOUS 86193 HAS SOUPS 86193 WITH SCORE 86300.538
AT ITER 1753 NEW BEST:: SOT 305045 SOS 107398 HAS SOPS 107398 HAS SOUS 86053 HAS SOUPS 86053 WITH SCORE 86160.398
AT ITER 1760 NEW BEST:: SOT 305019 SOS 107368 HAS SOPS 107368 HAS SOUS 86049 HAS SOUPS 86049 WITH SCORE 86156.368
AT ITER 1769 NEW BEST:: SOT 305079 SOS 107385 HAS SOPS 107385 HAS SOUS 85931 HAS SOUPS 85931 WITH SCORE 86038.385
AT ITER 1770 NEW BEST:: SOT 304991 SOS 107153 HAS SOPS 107153 HAS SOUS 85779 HAS SOUPS 85779 WITH SCORE 85886.153
AT ITER 1771 NEW BEST:: SOT 304960 SOS 107008 HAS SOPS 107008 HAS SOUS 85681 HAS SOUPS 85681 WITH SCORE 85788.008
AT ITER 1782 NEW BEST:: SOT 304758 SOS 106687 HAS SOPS 106687 HAS SOUS 85386 HAS SOUPS 85386 WITH SCORE 85492.687
AT ITER 1783 NEW BEST:: SOT 304718 SOS 106641 HAS SOPS 106641 HAS SOUS 85340 HAS SOUPS 85340 WITH SCORE 85446.641
AT ITER 1787 NEW BEST:: SOT 304196 SOS 105907 HAS SOPS 105907 HAS SOUS 84900 HAS SOUPS 84900 WITH SCORE 85005.907
AT ITER 1798 NEW BEST:: SOT 304196 SOS 105907 HAS SOPS 105907 HAS SOUS 84899 HAS SOUPS 84899 WITH SCORE 85004.907
AT ITER 1813 NEW BEST:: SOT 304196 SOS 105843 HAS SOPS 105843 HAS SOUS 84835 HAS SOUPS 84835 WITH SCORE 84940.843
AT ITER 1814 NEW BEST:: SOT 304008 SOS 105655 HAS SOPS 105655 HAS SOUS 84835 HAS SOUPS 84835 WITH SCORE 84940.655
AT ITER 1821 NEW BEST:: SOT 304008 SOS 105654 HAS SOPS 105654 HAS SOUS 84834 HAS SOUPS 84834 WITH SCORE 84939.654
AT ITER 1822 NEW BEST:: SOT 303996 SOS 105642 HAS SOPS 105642 HAS SOUS 84822 HAS SOUPS 84822 WITH SCORE 84927.642
AT ITER 1844 NEW BEST:: SOT 304021 SOS 105640 HAS SOPS 105640 HAS SOUS 84820 HAS SOUPS 84820 WITH SCORE 84925.64
AT ITER 1858 NEW BEST:: SOT 303925 SOS 105592 HAS SOPS 105592 HAS SOUS 84772 HAS SOUPS 84772 WITH SCORE 84877.592
AT ITER 1862 NEW BEST:: SOT 303870 SOS 105345 HAS SOPS 105345 HAS SOUS 84701 HAS SOUPS 84701 WITH SCORE 84806.345
AT ITER 1870 NEW BEST:: SOT 303970 SOS 105303 HAS SOPS 105303 HAS SOUS 84659 HAS SOUPS 84659 WITH SCORE 84764.303
AT ITER 1878 NEW BEST:: SOT 303735 SOS 104890 HAS SOPS 104890 HAS SOUS 84246 HAS SOUPS 84246 WITH SCORE 84350.89
AT ITER 1880 NEW BEST:: SOT 303647 SOS 104714 HAS SOPS 104714 HAS SOUS 84121 HAS SOUPS 84121 WITH SCORE 84225.714
AT ITER 1890 NEW BEST:: SOT 303644 SOS 104711 HAS SOPS 104711 HAS SOUS 84118 HAS SOUPS 84118 WITH SCORE 84222.711
AT ITER 1898 NEW BEST:: SOT 303678 SOS 104566 HAS SOPS 104566 HAS SOUS 84038 HAS SOUPS 84038 WITH SCORE 84142.566
AT ITER 1904 NEW BEST:: SOT 303556 SOS 104499 HAS SOPS 104499 HAS SOUS 83971 HAS SOUPS 83971 WITH SCORE 84075.499
AT ITER 1905 NEW BEST:: SOT 303556 SOS 104499 HAS SOPS 104499 HAS SOUS 83851 HAS SOUPS 83851 WITH SCORE 83955.499
AT ITER 1906 NEW BEST:: SOT 303548 SOS 104483 HAS SOPS 104483 HAS SOUS 83813 HAS SOUPS 83813 WITH SCORE 83917.483
AT ITER 1932 NEW BEST:: SOT 303327 SOS 104262 HAS SOPS 104262 HAS SOUS 83592 HAS SOUPS 83592 WITH SCORE 83696.262
AT ITER 1933 NEW BEST:: SOT 303250 SOS 104190 HAS SOPS 104190 HAS SOUS 83520 HAS SOUPS 83520 WITH SCORE 83624.19
AT ITER 1947 NEW BEST:: SOT 303184 SOS 104157 HAS SOPS 104157 HAS SOUS 83487 HAS SOUPS 83487 WITH SCORE 83591.157
AT ITER 1977 NEW BEST:: SOT 303128 SOS 104044 HAS SOPS 104044 HAS SOUS 83363 HAS SOUPS 83363 WITH SCORE 83467.044
AT ITER 1987 NEW BEST:: SOT 303227 SOS 103941 HAS SOPS 103941 HAS SOUS 83035 HAS SOUPS 83035 WITH SCORE 83138.941
AT ITER 2027 NEW BEST:: SOT 303047 SOS 103761 HAS SOPS 103761 HAS SOUS 82855 HAS SOUPS 82855 WITH SCORE 82958.761
AT ITER 2031 NEW BEST:: SOT 303024 SOS 103738 HAS SOPS 103738 HAS SOUS 82832 HAS SOUPS 82832 WITH SCORE 82935.738
AT ITER 2035 NEW BEST:: SOT 302999 SOS 103713 HAS SOPS 103713 HAS SOUS 82832 HAS SOUPS 82832 WITH SCORE 82935.713
AT ITER 2036 NEW BEST:: SOT 302999 SOS 103543 HAS SOPS 103543 HAS SOUS 82662 HAS SOUPS 82662 WITH SCORE 82765.543
AT ITER 2047 NEW BEST:: SOT 302998 SOS 103542 HAS SOPS 103542 HAS SOUS 82661 HAS SOUPS 82661 WITH SCORE 82764.542
AT ITER 2050 NEW BEST:: SOT 302951 SOS 103495 HAS SOPS 103495 HAS SOUS 82660 HAS SOUPS 82660 WITH SCORE 82763.495
AT ITER 2055 NEW BEST:: SOT 302951 SOS 103493 HAS SOPS 103493 HAS SOUS 82660 HAS SOUPS 82660 WITH SCORE 82763.493
AT ITER 2059 NEW BEST:: SOT 302865 SOS 103321 HAS SOPS 103321 HAS SOUS 82531 HAS SOUPS 82531 WITH SCORE 82634.321
AT ITER 2063 NEW BEST:: SOT 302884 SOS 103290 HAS SOPS 103290 HAS SOUS 82481 HAS SOUPS 82481 WITH SCORE 82584.29
AT ITER 2073 NEW BEST:: SOT 302884 SOS 103277 HAS SOPS 103277 HAS SOUS 82468 HAS SOUPS 82468 WITH SCORE 82571.277
AT ITER 2092 NEW BEST:: SOT 302901 SOS 103271 HAS SOPS 103271 HAS SOUS 82462 HAS SOUPS 82462 WITH SCORE 82565.271
AT ITER 2104 NEW BEST:: SOT 302885 SOS 103239 HAS SOPS 103239 HAS SOUS 82446 HAS SOUPS 82446 WITH SCORE 82549.239
AT ITER 2108 NEW BEST:: SOT 302862 SOS 103221 HAS SOPS 103221 HAS SOUS 82430 HAS SOUPS 82430 WITH SCORE 82533.221
AT ITER 2110 NEW BEST:: SOT 302861 SOS 103219 HAS SOPS 103219 HAS SOUS 82428 HAS SOUPS 82428 WITH SCORE 82531.219
AT ITER 2128 NEW BEST:: SOT 302919 SOS 103199 HAS SOPS 103199 HAS SOUS 82272 HAS SOUPS 82272 WITH SCORE 82375.199
AT ITER 2134 NEW BEST:: SOT 302869 SOS 103149 HAS SOPS 103149 HAS SOUS 82222 HAS SOUPS 82222 WITH SCORE 82325.149
AT ITER 2141 NEW BEST:: SOT 302943 SOS 103223 HAS SOPS 103223 HAS SOUS 82194 HAS SOUPS 82194 WITH SCORE 82297.223
AT ITER 2149 NEW BEST:: SOT 302942 SOS 103221 HAS SOPS 103221 HAS SOUS 82192 HAS SOUPS 82192 WITH SCORE 82295.221
AT ITER 2153 NEW BEST:: SOT 302883 SOS 103150 HAS SOPS 103150 HAS SOUS 82168 HAS SOUPS 82168 WITH SCORE 82271.15
AT ITER 2173 NEW BEST:: SOT 302883 SOS 102992 HAS SOPS 102992 HAS SOUS 82168 HAS SOUPS 82168 WITH SCORE 82270.992
AT ITER 2183 NEW BEST:: SOT 302844 SOS 102953 HAS SOPS 102953 HAS SOUS 82168 HAS SOUPS 82168 WITH SCORE 82270.953
AT ITER 2192 NEW BEST:: SOT 302784 SOS 102893 HAS SOPS 102893 HAS SOUS 82108 HAS SOUPS 82108 WITH SCORE 82210.893
AT ITER 2193 NEW BEST:: SOT 302783 SOS 102891 HAS SOPS 102891 HAS SOUS 82106 HAS SOUPS 82106 WITH SCORE 82208.891
AT ITER 2199 NEW BEST:: SOT 302783 SOS 102740 HAS SOPS 102740 HAS SOUS 81955 HAS SOUPS 81955 WITH SCORE 82057.74
AT ITER 2207 NEW BEST:: SOT 302783 SOS 102726 HAS SOPS 102726 HAS SOUS 81941 HAS SOUPS 81941 WITH SCORE 82043.726
AT ITER 2212 NEW BEST:: SOT 302583 SOS 102526 HAS SOPS 102526 HAS SOUS 81760 HAS SOUPS 81760 WITH SCORE 81862.526
AT ITER 2214 NEW BEST:: SOT 302581 SOS 102518 HAS SOPS 102518 HAS SOUS 81754 HAS SOUPS 81754 WITH SCORE 81856.518
AT ITER 2216 NEW BEST:: SOT 302596 SOS 102501 HAS SOPS 102501 HAS SOUS 81737 HAS SOUPS 81737 WITH SCORE 81839.501
AT ITER 2240 NEW BEST:: SOT 302542 SOS 102199 HAS SOPS 102199 HAS SOUS 81536 HAS SOUPS 81536 WITH SCORE 81638.199
AT ITER 2242 NEW BEST:: SOT 302491 SOS 102148 HAS SOPS 102148 HAS SOUS 81485 HAS SOUPS 81485 WITH SCORE 81587.148
AT ITER 2256 NEW BEST:: SOT 302437 SOS 102040 HAS SOPS 102040 HAS SOUS 81377 HAS SOUPS 81377 WITH SCORE 81479.04
AT ITER 2265 NEW BEST:: SOT 302437 SOS 102010 HAS SOPS 102010 HAS SOUS 81347 HAS SOUPS 81347 WITH SCORE 81449.01
AT ITER 2284 NEW BEST:: SOT 302430 SOS 101996 HAS SOPS 101996 HAS SOUS 81333 HAS SOUPS 81333 WITH SCORE 81434.996
AT ITER 2287 NEW BEST:: SOT 302276 SOS 101811 HAS SOPS 101811 HAS SOUS 81148 HAS SOUPS 81148 WITH SCORE 81249.811
AT ITER 2290 NEW BEST:: SOT 302253 SOS 101788 HAS SOPS 101788 HAS SOUS 81148 HAS SOUPS 81148 WITH SCORE 81249.788
AT ITER 2291 NEW BEST:: SOT 302276 SOS 101779 HAS SOPS 101779 HAS SOUS 81139 HAS SOUPS 81139 WITH SCORE 81240.779
AT ITER 2303 NEW BEST:: SOT 302241 SOS 101558 HAS SOPS 101558 HAS SOUS 80918 HAS SOUPS 80918 WITH SCORE 81019.558
AT ITER 2316 NEW BEST:: SOT 302093 SOS 101430 HAS SOPS 101430 HAS SOUS 80790 HAS SOUPS 80790 WITH SCORE 80891.43
AT ITER 2332 NEW BEST:: SOT 301990 SOS 101241 HAS SOPS 101241 HAS SOUS 80787 HAS SOUPS 80787 WITH SCORE 80888.241
AT ITER 2366 NEW BEST:: SOT 301736 SOS 100985 HAS SOPS 100985 HAS SOUS 80473 HAS SOUPS 80473 WITH SCORE 80573.985
AT ITER 2394 NEW BEST:: SOT 301736 SOS 99226 HAS SOPS 99226 HAS SOUS 80400 HAS SOUPS 80400 WITH SCORE 80499.226
AT ITER 2398 NEW BEST:: SOT 301700 SOS 99154 HAS SOPS 99154 HAS SOUS 80364 HAS SOUPS 80364 WITH SCORE 80463.154
AT ITER 2429 NEW BEST:: SOT 301664 SOS 99142 HAS SOPS 99142 HAS SOUS 80352 HAS SOUPS 80352 WITH SCORE 80451.142
AT ITER 2454 NEW BEST:: SOT 301657 SOS 99170 HAS SOPS 99170 HAS SOUS 80335 HAS SOUPS 80335 WITH SCORE 80434.17
AT ITER 2457 NEW BEST:: SOT 301569 SOS 99165 HAS SOPS 99165 HAS SOUS 80330 HAS SOUPS 80330 WITH SCORE 80429.165
AT ITER 2461 NEW BEST:: SOT 301566 SOS 99101 HAS SOPS 99101 HAS SOUS 80266 HAS SOUPS 80266 WITH SCORE 80365.101
AT ITER 2477 NEW BEST:: SOT 301566 SOS 98964 HAS SOPS 98964 HAS SOUS 80230 HAS SOUPS 80230 WITH SCORE 80328.964
AT ITER 2492 NEW BEST:: SOT 301506 SOS 98885 HAS SOPS 98885 HAS SOUS 80151 HAS SOUPS 80151 WITH SCORE 80249.885
AT ITER 2504 NEW BEST:: SOT 301506 SOS 98796 HAS SOPS 98796 HAS SOUS 80062 HAS SOUPS 80062 WITH SCORE 80160.796
AT ITER 2516 NEW BEST:: SOT 301544 SOS 98774 HAS SOPS 98774 HAS SOUS 80040 HAS SOUPS 80040 WITH SCORE 80138.774
AT ITER 2517 NEW BEST:: SOT 301544 SOS 98734 HAS SOPS 98734 HAS SOUS 79914 HAS SOUPS 79914 WITH SCORE 80012.734
AT ITER 2519 NEW BEST:: SOT 301520 SOS 98614 HAS SOPS 98614 HAS SOUS 79866 HAS SOUPS 79866 WITH SCORE 79964.614
AT ITER 2525 NEW BEST:: SOT 301514 SOS 98608 HAS SOPS 98608 HAS SOUS 79860 HAS SOUPS 79860 WITH SCORE 79958.608
AT ITER 2538 NEW BEST:: SOT 301465 SOS 98510 HAS SOPS 98510 HAS SOUS 79718 HAS SOUPS 79718 WITH SCORE 79816.51
AT ITER 2546 NEW BEST:: SOT 301444 SOS 98468 HAS SOPS 98468 HAS SOUS 79676 HAS SOUPS 79676 WITH SCORE 79774.468
AT ITER 2561 NEW BEST:: SOT 301459 SOS 98449 HAS SOPS 98449 HAS SOUS 79657 HAS SOUPS 79657 WITH SCORE 79755.449
AT ITER 2576 NEW BEST:: SOT 301452 SOS 98447 HAS SOPS 98447 HAS SOUS 79655 HAS SOUPS 79655 WITH SCORE 79753.447
AT ITER 2581 NEW BEST:: SOT 301429 SOS 98378 HAS SOPS 98378 HAS SOUS 79586 HAS SOUPS 79586 WITH SCORE 79684.378
AT ITER 2599 NEW BEST:: SOT 301459 SOS 98399 HAS SOPS 98399 HAS SOUS 79502 HAS SOUPS 79502 WITH SCORE 79600.399
AT ITER 2611 NEW BEST:: SOT 301447 SOS 98387 HAS SOPS 98387 HAS SOUS 79490 HAS SOUPS 79490 WITH SCORE 79588.387
AT ITER 2631 NEW BEST:: SOT 301467 SOS 98407 HAS SOPS 98407 HAS SOUS 79479 HAS SOUPS 79479 WITH SCORE 79577.407
AT ITER 2661 NEW BEST:: SOT 301267 SOS 98173 HAS SOPS 98173 HAS SOUS 79427 HAS SOUPS 79427 WITH SCORE 79525.173
AT ITER 2664 NEW BEST:: SOT 301250 SOS 98139 HAS SOPS 98139 HAS SOUS 79393 HAS SOUPS 79393 WITH SCORE 79491.139
AT ITER 2665 NEW BEST:: SOT 301119 SOS 98032 HAS SOPS 98032 HAS SOUS 79170 HAS SOUPS 79170 WITH SCORE 79268.032
AT ITER 2675 NEW BEST:: SOT 301035 SOS 97994 HAS SOPS 97994 HAS SOUS 79142 HAS SOUPS 79142 WITH SCORE 79239.994
AT ITER 2682 NEW BEST:: SOT 301035 SOS 97958 HAS SOPS 97958 HAS SOUS 79142 HAS SOUPS 79142 WITH SCORE 79239.958
AT ITER 2683 NEW BEST:: SOT 301062 SOS 97957 HAS SOPS 97957 HAS SOUS 79141 HAS SOUPS 79141 WITH SCORE 79238.957
AT ITER 2686 NEW BEST:: SOT 300489 SOS 97117 HAS SOPS 97117 HAS SOUS 78600 HAS SOUPS 78600 WITH SCORE 78697.117
AT ITER 2693 NEW BEST:: SOT 300481 SOS 97109 HAS SOPS 97109 HAS SOUS 78592 HAS SOUPS 78592 WITH SCORE 78689.109
AT ITER 2694 NEW BEST:: SOT 300460 SOS 97081 HAS SOPS 97081 HAS SOUS 78564 HAS SOUPS 78564 WITH SCORE 78661.081
AT ITER 2698 NEW BEST:: SOT 300248 SOS 96657 HAS SOPS 96657 HAS SOUS 78140 HAS SOUPS 78140 WITH SCORE 78236.657
AT ITER 2703 NEW BEST:: SOT 300339 SOS 96504 HAS SOPS 96504 HAS SOUS 78094 HAS SOUPS 78094 WITH SCORE 78190.504
AT ITER 2706 NEW BEST:: SOT 300289 SOS 96482 HAS SOPS 96482 HAS SOUS 78072 HAS SOUPS 78072 WITH SCORE 78168.482
AT ITER 2734 NEW BEST:: SOT 300289 SOS 96482 HAS SOPS 96482 HAS SOUS 77925 HAS SOUPS 77925 WITH SCORE 78021.482
AT ITER 2741 NEW BEST:: SOT 300265 SOS 96458 HAS SOPS 96458 HAS SOUS 77925 HAS SOUPS 77925 WITH SCORE 78021.458
AT ITER 2744 NEW BEST:: SOT 300414 SOS 96616 HAS SOPS 96616 HAS SOUS 77809 HAS SOUPS 77809 WITH SCORE 77905.616
AT ITER 2748 NEW BEST:: SOT 300414 SOS 96605 HAS SOPS 96605 HAS SOUS 77798 HAS SOUPS 77798 WITH SCORE 77894.605
AT ITER 2750 NEW BEST:: SOT 300349 SOS 96540 HAS SOPS 96540 HAS SOUS 77798 HAS SOUPS 77798 WITH SCORE 77894.54
AT ITER 2762 NEW BEST:: SOT 300122 SOS 96258 HAS SOPS 96258 HAS SOUS 77688 HAS SOUPS 77688 WITH SCORE 77784.258
AT ITER 2779 NEW BEST:: SOT 300122 SOS 96204 HAS SOPS 96204 HAS SOUS 77634 HAS SOUPS 77634 WITH SCORE 77730.204
AT ITER 2783 NEW BEST:: SOT 300206 SOS 96638 HAS SOPS 96638 HAS SOUS 77599 HAS SOUPS 77599 WITH SCORE 77695.638
AT ITER 2785 NEW BEST:: SOT 300177 SOS 96609 HAS SOPS 96609 HAS SOUS 77599 HAS SOUPS 77599 WITH SCORE 77695.609
AT ITER 2799 NEW BEST:: SOT 300097 SOS 96449 HAS SOPS 96449 HAS SOUS 77557 HAS SOUPS 77557 WITH SCORE 77653.449
AT ITER 2816 NEW BEST:: SOT 300097 SOS 96449 HAS SOPS 96449 HAS SOUS 77554 HAS SOUPS 77554 WITH SCORE 77650.449
AT ITER 2827 NEW BEST:: SOT 300097 SOS 96449 HAS SOPS 96449 HAS SOUS 77540 HAS SOUPS 77540 WITH SCORE 77636.449
AT ITER 2834 NEW BEST:: SOT 300105 SOS 96456 HAS SOPS 96456 HAS SOUS 77538 HAS SOUPS 77538 WITH SCORE 77634.456
AT ITER 2847 NEW BEST:: SOT 300084 SOS 96431 HAS SOPS 96431 HAS SOUS 77513 HAS SOUPS 77513 WITH SCORE 77609.431
AT ITER 2855 NEW BEST:: SOT 300043 SOS 96405 HAS SOPS 96405 HAS SOUS 77487 HAS SOUPS 77487 WITH SCORE 77583.405
AT ITER 2858 NEW BEST:: SOT 300043 SOS 96405 HAS SOPS 96405 HAS SOUS 77449 HAS SOUPS 77449 WITH SCORE 77545.405
AT ITER 2859 NEW BEST:: SOT 300028 SOS 96375 HAS SOPS 96375 HAS SOUS 77419 HAS SOUPS 77419 WITH SCORE 77515.375
AT ITER 2874 NEW BEST:: SOT 299966 SOS 96290 HAS SOPS 96290 HAS SOUS 77373 HAS SOUPS 77373 WITH SCORE 77469.29
AT ITER 2877 NEW BEST:: SOT 300097 SOS 96255 HAS SOPS 96255 HAS SOUS 77338 HAS SOUPS 77338 WITH SCORE 77434.255
AT ITER 2902 NEW BEST:: SOT 300095 SOS 96060 HAS SOPS 96060 HAS SOUS 77197 HAS SOUPS 77197 WITH SCORE 77293.06
AT ITER 2903 NEW BEST:: SOT 300068 SOS 96033 HAS SOPS 96033 HAS SOUS 77140 HAS SOUPS 77140 WITH SCORE 77236.033
AT ITER 2908 NEW BEST:: SOT 299998 SOS 95937 HAS SOPS 95937 HAS SOUS 77044 HAS SOUPS 77044 WITH SCORE 77139.937
AT ITER 2910 NEW BEST:: SOT 299839 SOS 95526 HAS SOPS 95526 HAS SOUS 76886 HAS SOUPS 76886 WITH SCORE 76981.526
AT ITER 2923 NEW BEST:: SOT 299753 SOS 95440 HAS SOPS 95440 HAS SOUS 76800 HAS SOUPS 76800 WITH SCORE 76895.44
AT ITER 2935 NEW BEST:: SOT 299658 SOS 95461 HAS SOPS 95461 HAS SOUS 76729 HAS SOUPS 76729 WITH SCORE 76824.461
AT ITER 2945 NEW BEST:: SOT 299627 SOS 95430 HAS SOPS 95430 HAS SOUS 76698 HAS SOUPS 76698 WITH SCORE 76793.43
AT ITER 2951 NEW BEST:: SOT 299586 SOS 95367 HAS SOPS 95367 HAS SOUS 76657 HAS SOUPS 76657 WITH SCORE 76752.367
AT ITER 2954 NEW BEST:: SOT 299543 SOS 95333 HAS SOPS 95333 HAS SOUS 76637 HAS SOUPS 76637 WITH SCORE 76732.333
AT ITER 2987 NEW BEST:: SOT 299543 SOS 95323 HAS SOPS 95323 HAS SOUS 76627 HAS SOUPS 76627 WITH SCORE 76722.323
AT ITER 3008 NEW BEST:: SOT 299532 SOS 95312 HAS SOPS 95312 HAS SOUS 76616 HAS SOUPS 76616 WITH SCORE 76711.312
AT ITER 3010 NEW BEST:: SOT 299532 SOS 95289 HAS SOPS 95289 HAS SOUS 76574 HAS SOUPS 76574 WITH SCORE 76669.289
AT ITER 3014 NEW BEST:: SOT 299485 SOS 95188 HAS SOPS 95188 HAS SOUS 76473 HAS SOUPS 76473 WITH SCORE 76568.188
AT ITER 3021 NEW BEST:: SOT 299469 SOS 95164 HAS SOPS 95164 HAS SOUS 76449 HAS SOUPS 76449 WITH SCORE 76544.164
AT ITER 3022 NEW BEST:: SOT 299467 SOS 95162 HAS SOPS 95162 HAS SOUS 76447 HAS SOUPS 76447 WITH SCORE 76542.162
AT ITER 3029 NEW BEST:: SOT 299416 SOS 95111 HAS SOPS 95111 HAS SOUS 76396 HAS SOUPS 76396 WITH SCORE 76491.111
AT ITER 3046 NEW BEST:: SOT 299517 SOS 95108 HAS SOPS 95108 HAS SOUS 76393 HAS SOUPS 76393 WITH SCORE 76488.108
AT ITER 3059 NEW BEST:: SOT 299490 SOS 95049 HAS SOPS 95049 HAS SOUS 76366 HAS SOUPS 76366 WITH SCORE 76461.049
AT ITER 3080 NEW BEST:: SOT 299467 SOS 95003 HAS SOPS 95003 HAS SOUS 76320 HAS SOUPS 76320 WITH SCORE 76415.003
AT ITER 3086 NEW BEST:: SOT 299466 SOS 95001 HAS SOPS 95001 HAS SOUS 76318 HAS SOUPS 76318 WITH SCORE 76413.001
AT ITER 3091 NEW BEST:: SOT 299358 SOS 94893 HAS SOPS 94893 HAS SOUS 76210 HAS SOUPS 76210 WITH SCORE 76304.893
AT ITER 3093 NEW BEST:: SOT 299360 SOS 94813 HAS SOPS 94813 HAS SOUS 76039 HAS SOUPS 76039 WITH SCORE 76133.813
AT ITER 3097 NEW BEST:: SOT 299492 SOS 94761 HAS SOPS 94761 HAS SOUS 75987 HAS SOUPS 75987 WITH SCORE 76081.761
AT ITER 3098 NEW BEST:: SOT 299546 SOS 94815 HAS SOPS 94815 HAS SOUS 75942 HAS SOUPS 75942 WITH SCORE 76036.815
AT ITER 3106 NEW BEST:: SOT 299499 SOS 94768 HAS SOPS 94768 HAS SOUS 75895 HAS SOUPS 75895 WITH SCORE 75989.768
AT ITER 3112 NEW BEST:: SOT 299395 SOS 94664 HAS SOPS 94664 HAS SOUS 75834 HAS SOUPS 75834 WITH SCORE 75928.664
AT ITER 3124 NEW BEST:: SOT 299237 SOS 94506 HAS SOPS 94506 HAS SOUS 75676 HAS SOUPS 75676 WITH SCORE 75770.506
AT ITER 3127 NEW BEST:: SOT 299213 SOS 94494 HAS SOPS 94494 HAS SOUS 75652 HAS SOUPS 75652 WITH SCORE 75746.494
AT ITER 3132 NEW BEST:: SOT 299195 SOS 94476 HAS SOPS 94476 HAS SOUS 75634 HAS SOUPS 75634 WITH SCORE 75728.476
AT ITER 3139 NEW BEST:: SOT 299254 SOS 94463 HAS SOPS 94463 HAS SOUS 75621 HAS SOUPS 75621 WITH SCORE 75715.463
AT ITER 3158 NEW BEST:: SOT 299186 SOS 94395 HAS SOPS 94395 HAS SOUS 75553 HAS SOUPS 75553 WITH SCORE 75647.395
AT ITER 3162 NEW BEST:: SOT 299166 SOS 94352 HAS SOPS 94352 HAS SOUS 75510 HAS SOUPS 75510 WITH SCORE 75604.352
AT ITER 3171 NEW BEST:: SOT 299064 SOS 94221 HAS SOPS 94221 HAS SOUS 75379 HAS SOUPS 75379 WITH SCORE 75473.221
AT ITER 3189 NEW BEST:: SOT 298967 SOS 94190 HAS SOPS 94190 HAS SOUS 75348 HAS SOUPS 75348 WITH SCORE 75442.19
AT ITER 3201 NEW BEST:: SOT 298946 SOS 94169 HAS SOPS 94169 HAS SOUS 75348 HAS SOUPS 75348 WITH SCORE 75442.169
AT ITER 3208 NEW BEST:: SOT 298934 SOS 94112 HAS SOPS 94112 HAS SOUS 75302 HAS SOUPS 75302 WITH SCORE 75396.112
AT ITER 3210 NEW BEST:: SOT 298924 SOS 94093 HAS SOPS 94093 HAS SOUS 75283 HAS SOUPS 75283 WITH SCORE 75377.093
AT ITER 3243 NEW BEST:: SOT 298936 SOS 93967 HAS SOPS 93967 HAS SOUS 75267 HAS SOUPS 75267 WITH SCORE 75360.967
AT ITER 3279 NEW BEST:: SOT 299033 SOS 93952 HAS SOPS 93952 HAS SOUS 75252 HAS SOUPS 75252 WITH SCORE 75345.952
AT ITER 3292 NEW BEST:: SOT 298989 SOS 93864 HAS SOPS 93864 HAS SOUS 75164 HAS SOUPS 75164 WITH SCORE 75257.864
AT ITER 3293 NEW BEST:: SOT 298930 SOS 93746 HAS SOPS 93746 HAS SOUS 74984 HAS SOUPS 74984 WITH SCORE 75077.746
AT ITER 3298 NEW BEST:: SOT 298910 SOS 93706 HAS SOPS 93706 HAS SOUS 74964 HAS SOUPS 74964 WITH SCORE 75057.706
AT ITER 3312 NEW BEST:: SOT 298899 SOS 93685 HAS SOPS 93685 HAS SOUS 74943 HAS SOUPS 74943 WITH SCORE 75036.685
AT ITER 3314 NEW BEST:: SOT 298655 SOS 93505 HAS SOPS 93505 HAS SOUS 74754 HAS SOUPS 74754 WITH SCORE 74847.505
AT ITER 3329 NEW BEST:: SOT 298647 SOS 93497 HAS SOPS 93497 HAS SOUS 74746 HAS SOUPS 74746 WITH SCORE 74839.497
AT ITER 3347 NEW BEST:: SOT 298530 SOS 93263 HAS SOPS 93263 HAS SOUS 74518 HAS SOUPS 74518 WITH SCORE 74611.263
AT ITER 3362 NEW BEST:: SOT 298526 SOS 93255 HAS SOPS 93255 HAS SOUS 74510 HAS SOUPS 74510 WITH SCORE 74603.255
AT ITER 3364 NEW BEST:: SOT 298617 SOS 93194 HAS SOPS 93194 HAS SOUS 74466 HAS SOUPS 74466 WITH SCORE 74559.194
AT ITER 3381 NEW BEST:: SOT 298616 SOS 92889 HAS SOPS 92889 HAS SOUS 74302 HAS SOUPS 74302 WITH SCORE 74394.889
AT ITER 3386 NEW BEST:: SOT 298371 SOS 92644 HAS SOPS 92644 HAS SOUS 74302 HAS SOUPS 74302 WITH SCORE 74394.644
AT ITER 3389 NEW BEST:: SOT 298329 SOS 92560 HAS SOPS 92560 HAS SOUS 74218 HAS SOUPS 74218 WITH SCORE 74310.56
AT ITER 3390 NEW BEST:: SOT 298328 SOS 92558 HAS SOPS 92558 HAS SOUS 74217 HAS SOUPS 74217 WITH SCORE 74309.558
AT ITER 3399 NEW BEST:: SOT 298328 SOS 92489 HAS SOPS 92489 HAS SOUS 74192 HAS SOUPS 74192 WITH SCORE 74284.489
AT ITER 3401 NEW BEST:: SOT 298250 SOS 92424 HAS SOPS 92424 HAS SOUS 74127 HAS SOUPS 74127 WITH SCORE 74219.424
AT ITER 3413 NEW BEST:: SOT 298189 SOS 92404 HAS SOPS 92404 HAS SOUS 74043 HAS SOUPS 74043 WITH SCORE 74135.404
AT ITER 3428 NEW BEST:: SOT 298042 SOS 92230 HAS SOPS 92230 HAS SOUS 73989 HAS SOUPS 73989 WITH SCORE 74081.23
AT ITER 3447 NEW BEST:: SOT 298074 SOS 92229 HAS SOPS 92229 HAS SOUS 73988 HAS SOUPS 73988 WITH SCORE 74080.229
AT ITER 3475 NEW BEST:: SOT 298009 SOS 92099 HAS SOPS 92099 HAS SOUS 73988 HAS SOUPS 73988 WITH SCORE 74080.099
AT ITER 3476 NEW BEST:: SOT 297998 SOS 92088 HAS SOPS 92088 HAS SOUS 73977 HAS SOUPS 73977 WITH SCORE 74069.088
AT ITER 3482 NEW BEST:: SOT 297961 SOS 91981 HAS SOPS 91981 HAS SOUS 73697 HAS SOUPS 73697 WITH SCORE 73788.981
AT ITER 3485 NEW BEST:: SOT 297955 SOS 91948 HAS SOPS 91948 HAS SOUS 73575 HAS SOUPS 73575 WITH SCORE 73666.948
AT ITER 3505 NEW BEST:: SOT 298030 SOS 91929 HAS SOPS 91929 HAS SOUS 73481 HAS SOUPS 73481 WITH SCORE 73572.929
AT ITER 3508 NEW BEST:: SOT 298030 SOS 91893 HAS SOPS 91893 HAS SOUS 73445 HAS SOUPS 73445 WITH SCORE 73536.893
AT ITER 3512 NEW BEST:: SOT 298011 SOS 91855 HAS SOPS 91855 HAS SOUS 73426 HAS SOUPS 73426 WITH SCORE 73517.855
AT ITER 3530 NEW BEST:: SOT 298021 SOS 91849 HAS SOPS 91849 HAS SOUS 73410 HAS SOUPS 73410 WITH SCORE 73501.849
AT ITER 3532 NEW BEST:: SOT 298021 SOS 91849 HAS SOPS 91849 HAS SOUS 73392 HAS SOUPS 73392 WITH SCORE 73483.849
AT ITER 3534 NEW BEST:: SOT 297989 SOS 91817 HAS SOPS 91817 HAS SOUS 73360 HAS SOUPS 73360 WITH SCORE 73451.817
AT ITER 3542 NEW BEST:: SOT 297989 SOS 91813 HAS SOPS 91813 HAS SOUS 73356 HAS SOUPS 73356 WITH SCORE 73447.813
AT ITER 3563 NEW BEST:: SOT 297744 SOS 91568 HAS SOPS 91568 HAS SOUS 73111 HAS SOUPS 73111 WITH SCORE 73202.568
AT ITER 3564 NEW BEST:: SOT 297744 SOS 91560 HAS SOPS 91560 HAS SOUS 73103 HAS SOUPS 73103 WITH SCORE 73194.56
AT ITER 3602 NEW BEST:: SOT 297738 SOS 91548 HAS SOPS 91548 HAS SOUS 73087 HAS SOUPS 73087 WITH SCORE 73178.548
AT ITER 3631 NEW BEST:: SOT 297715 SOS 91502 HAS SOPS 91502 HAS SOUS 73041 HAS SOUPS 73041 WITH SCORE 73132.502
AT ITER 3664 NEW BEST:: SOT 297641 SOS 91428 HAS SOPS 91428 HAS SOUS 72967 HAS SOUPS 72967 WITH SCORE 73058.428
AT ITER 3685 NEW BEST:: SOT 297591 SOS 91371 HAS SOPS 91371 HAS SOUS 72953 HAS SOUPS 72953 WITH SCORE 73044.371
AT ITER 3702 NEW BEST:: SOT 297555 SOS 91337 HAS SOPS 91337 HAS SOUS 72919 HAS SOUPS 72919 WITH SCORE 73010.337
AT ITER 3723 NEW BEST:: SOT 297545 SOS 91317 HAS SOPS 91317 HAS SOUS 72899 HAS SOUPS 72899 WITH SCORE 72990.317
AT ITER 3726 NEW BEST:: SOT 297514 SOS 91224 HAS SOPS 91224 HAS SOUS 72837 HAS SOUPS 72837 WITH SCORE 72928.224
AT ITER 3746 NEW BEST:: SOT 297055 SOS 90765 HAS SOPS 90765 HAS SOUS 72654 HAS SOUPS 72654 WITH SCORE 72744.765
AT ITER 3767 NEW BEST:: SOT 297045 SOS 90755 HAS SOPS 90755 HAS SOUS 72644 HAS SOUPS 72644 WITH SCORE 72734.755
AT ITER 3773 NEW BEST:: SOT 297014 SOS 90731 HAS SOPS 90731 HAS SOUS 72633 HAS SOUPS 72633 WITH SCORE 72723.731
AT ITER 3778 NEW BEST:: SOT 296958 SOS 90675 HAS SOPS 90675 HAS SOUS 72577 HAS SOUPS 72577 WITH SCORE 72667.675
AT ITER 3779 NEW BEST:: SOT 296971 SOS 90580 HAS SOPS 90580 HAS SOUS 72361 HAS SOUPS 72361 WITH SCORE 72451.58
AT ITER 3791 NEW BEST:: SOT 296974 SOS 90543 HAS SOPS 90543 HAS SOUS 72322 HAS SOUPS 72322 WITH SCORE 72412.543
AT ITER 3813 NEW BEST:: SOT 296967 SOS 90581 HAS SOPS 90581 HAS SOUS 72308 HAS SOUPS 72308 WITH SCORE 72398.581
AT ITER 3822 NEW BEST:: SOT 296929 SOS 90543 HAS SOPS 90543 HAS SOUS 72270 HAS SOUPS 72270 WITH SCORE 72360.543
AT ITER 3858 NEW BEST:: SOT 296950 SOS 90543 HAS SOPS 90543 HAS SOUS 72249 HAS SOUPS 72249 WITH SCORE 72339.543
AT ITER 3859 NEW BEST:: SOT 296933 SOS 90521 HAS SOPS 90521 HAS SOUS 72232 HAS SOUPS 72232 WITH SCORE 72322.521
AT ITER 3862 NEW BEST:: SOT 296916 SOS 90487 HAS SOPS 90487 HAS SOUS 72198 HAS SOUPS 72198 WITH SCORE 72288.487
AT ITER 3866 NEW BEST:: SOT 296822 SOS 90310 HAS SOPS 90310 HAS SOUS 72021 HAS SOUPS 72021 WITH SCORE 72111.31
AT ITER 3871 NEW BEST:: SOT 296808 SOS 90205 HAS SOPS 90205 HAS SOUS 71963 HAS SOUPS 71963 WITH SCORE 72053.205
AT ITER 3895 NEW BEST:: SOT 296801 SOS 90198 HAS SOPS 90198 HAS SOUS 71956 HAS SOUPS 71956 WITH SCORE 72046.198
AT ITER 3903 NEW BEST:: SOT 296801 SOS 90183 HAS SOPS 90183 HAS SOUS 71941 HAS SOUPS 71941 WITH SCORE 72031.183
AT ITER 3907 NEW BEST:: SOT 296813 SOS 90180 HAS SOPS 90180 HAS SOUS 71938 HAS SOUPS 71938 WITH SCORE 72028.18
AT ITER 3929 NEW BEST:: SOT 296813 SOS 90161 HAS SOPS 90161 HAS SOUS 71900 HAS SOUPS 71900 WITH SCORE 71990.161
AT ITER 3953 NEW BEST:: SOT 296852 SOS 90095 HAS SOPS 90095 HAS SOUS 71857 HAS SOUPS 71857 WITH SCORE 71947.095
AT ITER 3967 NEW BEST:: SOT 296847 SOS 90090 HAS SOPS 90090 HAS SOUS 71852 HAS SOUPS 71852 WITH SCORE 71942.09
AT ITER 3979 NEW BEST:: SOT 296844 SOS 90086 HAS SOPS 90086 HAS SOUS 71848 HAS SOUPS 71848 WITH SCORE 71938.086
AT ITER 3988 NEW BEST:: SOT 296844 SOS 89902 HAS SOPS 89902 HAS SOUS 71802 HAS SOUPS 71802 WITH SCORE 71891.902
AT ITER 3989 NEW BEST:: SOT 296844 SOS 89902 HAS SOPS 89902 HAS SOUS 71789 HAS SOUPS 71789 WITH SCORE 71878.902
AT ITER 4001 NEW BEST:: SOT 296835 SOS 89884 HAS SOPS 89884 HAS SOUS 71771 HAS SOUPS 71771 WITH SCORE 71860.884
AT ITER 4065 NEW BEST:: SOT 296813 SOS 89840 HAS SOPS 89840 HAS SOUS 71675 HAS SOUPS 71675 WITH SCORE 71764.84
AT ITER 4088 NEW BEST:: SOT 296819 SOS 89806 HAS SOPS 89806 HAS SOUS 71641 HAS SOUPS 71641 WITH SCORE 71730.806
AT ITER 4097 NEW BEST:: SOT 296792 SOS 89752 HAS SOPS 89752 HAS SOUS 71514 HAS SOUPS 71514 WITH SCORE 71603.752
AT ITER 4111 NEW BEST:: SOT 296785 SOS 89745 HAS SOPS 89745 HAS SOUS 71507 HAS SOUPS 71507 WITH SCORE 71596.745
AT ITER 4129 NEW BEST:: SOT 296770 SOS 89730 HAS SOPS 89730 HAS SOUS 71492 HAS SOUPS 71492 WITH SCORE 71581.73
AT ITER 4159 NEW BEST:: SOT 296842 SOS 89791 HAS SOPS 89791 HAS SOUS 71443 HAS SOUPS 71443 WITH SCORE 71532.791
AT ITER 4204 NEW BEST:: SOT 296826 SOS 89759 HAS SOPS 89759 HAS SOUS 71411 HAS SOUPS 71411 WITH SCORE 71500.759
AT ITER 4207 NEW BEST:: SOT 296794 SOS 89725 HAS SOPS 89725 HAS SOUS 71358 HAS SOUPS 71358 WITH SCORE 71447.725
AT ITER 4208 NEW BEST:: SOT 296729 SOS 89527 HAS SOPS 89527 HAS SOUS 71160 HAS SOUPS 71160 WITH SCORE 71249.527
AT ITER 4213 NEW BEST:: SOT 296825 SOS 89402 HAS SOPS 89402 HAS SOUS 71035 HAS SOUPS 71035 WITH SCORE 71124.402
AT ITER 4216 NEW BEST:: SOT 296825 SOS 89273 HAS SOPS 89273 HAS SOUS 70963 HAS SOUPS 70963 WITH SCORE 71052.273
AT ITER 4240 NEW BEST:: SOT 296647 SOS 88917 HAS SOPS 88917 HAS SOUS 70842 HAS SOUPS 70842 WITH SCORE 70930.917
AT ITER 4265 NEW BEST:: SOT 296610 SOS 88843 HAS SOPS 88843 HAS SOUS 70768 HAS SOUPS 70768 WITH SCORE 70856.843
AT ITER 4316 NEW BEST:: SOT 296603 SOS 88822 HAS SOPS 88822 HAS SOUS 70754 HAS SOUPS 70754 WITH SCORE 70842.822
AT ITER 4335 NEW BEST:: SOT 296613 SOS 88780 HAS SOPS 88780 HAS SOUS 70697 HAS SOUPS 70697 WITH SCORE 70785.78
AT ITER 4403 NEW BEST:: SOT 296553 SOS 88681 HAS SOPS 88681 HAS SOUS 70598 HAS SOUPS 70598 WITH SCORE 70686.681
AT ITER 4412 NEW BEST:: SOT 296521 SOS 88649 HAS SOPS 88649 HAS SOUS 70566 HAS SOUPS 70566 WITH SCORE 70654.649
AT ITER 4415 NEW BEST:: SOT 296424 SOS 88455 HAS SOPS 88455 HAS SOUS 70468 HAS SOUPS 70468 WITH SCORE 70556.455
AT ITER 4424 NEW BEST:: SOT 296458 SOS 88451 HAS SOPS 88451 HAS SOUS 70464 HAS SOUPS 70464 WITH SCORE 70552.451
AT ITER 4438 NEW BEST:: SOT 296381 SOS 88398 HAS SOPS 88398 HAS SOUS 70411 HAS SOUPS 70411 WITH SCORE 70499.398
AT ITER 4441 NEW BEST:: SOT 296381 SOS 88388 HAS SOPS 88388 HAS SOUS 70401 HAS SOUPS 70401 WITH SCORE 70489.388
AT ITER 4451 NEW BEST:: SOT 296208 SOS 88042 HAS SOPS 88042 HAS SOUS 70228 HAS SOUPS 70228 WITH SCORE 70316.042
AT ITER 4456 NEW BEST:: SOT 296155 SOS 87922 HAS SOPS 87922 HAS SOUS 70108 HAS SOUPS 70108 WITH SCORE 70195.922
AT ITER 4464 NEW BEST:: SOT 296046 SOS 87490 HAS SOPS 87490 HAS SOUS 69835 HAS SOUPS 69835 WITH SCORE 69922.49
AT ITER 4484 NEW BEST:: SOT 295968 SOS 87412 HAS SOPS 87412 HAS SOUS 69835 HAS SOUPS 69835 WITH SCORE 69922.412
AT ITER 4502 NEW BEST:: SOT 295960 SOS 87396 HAS SOPS 87396 HAS SOUS 69827 HAS SOUPS 69827 WITH SCORE 69914.396
AT ITER 4508 NEW BEST:: SOT 295960 SOS 87370 HAS SOPS 87370 HAS SOUS 69801 HAS SOUPS 69801 WITH SCORE 69888.37
AT ITER 4520 NEW BEST:: SOT 295936 SOS 87418 HAS SOPS 87418 HAS SOUS 69789 HAS SOUPS 69789 WITH SCORE 69876.418
AT ITER 4536 NEW BEST:: SOT 295934 SOS 87414 HAS SOPS 87414 HAS SOUS 69785 HAS SOUPS 69785 WITH SCORE 69872.414
AT ITER 4540 NEW BEST:: SOT 295852 SOS 87284 HAS SOPS 87284 HAS SOUS 69766 HAS SOUPS 69766 WITH SCORE 69853.284
AT ITER 4541 NEW BEST:: SOT 295873 SOS 87280 HAS SOPS 87280 HAS SOUS 69702 HAS SOUPS 69702 WITH SCORE 69789.28
AT ITER 4559 NEW BEST:: SOT 295881 SOS 87179 HAS SOPS 87179 HAS SOUS 69601 HAS SOUPS 69601 WITH SCORE 69688.179
AT ITER 4569 NEW BEST:: SOT 295873 SOS 87171 HAS SOPS 87171 HAS SOUS 69585 HAS SOUPS 69585 WITH SCORE 69672.171
AT ITER 4577 NEW BEST:: SOT 295861 SOS 87134 HAS SOPS 87134 HAS SOUS 69560 HAS SOUPS 69560 WITH SCORE 69647.134
AT ITER 4600 NEW BEST:: SOT 296078 SOS 87335 HAS SOPS 87335 HAS SOUS 69544 HAS SOUPS 69544 WITH SCORE 69631.335
AT ITER 4624 NEW BEST:: SOT 295788 SOS 86755 HAS SOPS 86755 HAS SOUS 69529 HAS SOUPS 69529 WITH SCORE 69615.755
AT ITER 4636 NEW BEST:: SOT 295753 SOS 86671 HAS SOPS 86671 HAS SOUS 69458 HAS SOUPS 69458 WITH SCORE 69544.671
AT ITER 4641 NEW BEST:: SOT 295751 SOS 86668 HAS SOPS 86668 HAS SOUS 69455 HAS SOUPS 69455 WITH SCORE 69541.668
AT ITER 4647 NEW BEST:: SOT 295746 SOS 86656 HAS SOPS 86656 HAS SOUS 69443 HAS SOUPS 69443 WITH SCORE 69529.656
AT ITER 4653 NEW BEST:: SOT 295702 SOS 86568 HAS SOPS 86568 HAS SOUS 69355 HAS SOUPS 69355 WITH SCORE 69441.568
AT ITER 4671 NEW BEST:: SOT 295677 SOS 86416 HAS SOPS 86416 HAS SOUS 69203 HAS SOUPS 69203 WITH SCORE 69289.416
AT ITER 4692 NEW BEST:: SOT 295647 SOS 86371 HAS SOPS 86371 HAS SOUS 69173 HAS SOUPS 69173 WITH SCORE 69259.371
AT ITER 4694 NEW BEST:: SOT 295622 SOS 86321 HAS SOPS 86321 HAS SOUS 69148 HAS SOUPS 69148 WITH SCORE 69234.321
AT ITER 4718 NEW BEST:: SOT 295595 SOS 86323 HAS SOPS 86323 HAS SOUS 69072 HAS SOUPS 69072 WITH SCORE 69158.323
AT ITER 4722 NEW BEST:: SOT 295555 SOS 86243 HAS SOPS 86243 HAS SOUS 68992 HAS SOUPS 68992 WITH SCORE 69078.243
AT ITER 4740 NEW BEST:: SOT 295549 SOS 86059 HAS SOPS 86059 HAS SOUS 68935 HAS SOUPS 68935 WITH SCORE 69021.059
AT ITER 4751 NEW BEST:: SOT 295519 SOS 86058 HAS SOPS 86058 HAS SOUS 68934 HAS SOUPS 68934 WITH SCORE 69020.058
AT ITER 4759 NEW BEST:: SOT 295503 SOS 86026 HAS SOPS 86026 HAS SOUS 68918 HAS SOUPS 68918 WITH SCORE 69004.026
AT ITER 4761 NEW BEST:: SOT 295446 SOS 85912 HAS SOPS 85912 HAS SOUS 68861 HAS SOUPS 68861 WITH SCORE 68946.912
AT ITER 4766 NEW BEST:: SOT 295446 SOS 85903 HAS SOPS 85903 HAS SOUS 68852 HAS SOUPS 68852 WITH SCORE 68937.903
AT ITER 4768 NEW BEST:: SOT 295446 SOS 85882 HAS SOPS 85882 HAS SOUS 68831 HAS SOUPS 68831 WITH SCORE 68916.882
AT ITER 4776 NEW BEST:: SOT 295446 SOS 85871 HAS SOPS 85871 HAS SOUS 68809 HAS SOUPS 68809 WITH SCORE 68894.871
AT ITER 4777 NEW BEST:: SOT 295477 SOS 85826 HAS SOPS 85826 HAS SOUS 68764 HAS SOUPS 68764 WITH SCORE 68849.826
AT ITER 4788 NEW BEST:: SOT 295382 SOS 85715 HAS SOPS 85715 HAS SOUS 68626 HAS SOUPS 68626 WITH SCORE 68711.715
AT ITER 4812 NEW BEST:: SOT 295308 SOS 85649 HAS SOPS 85649 HAS SOUS 68580 HAS SOUPS 68580 WITH SCORE 68665.649
AT ITER 4817 NEW BEST:: SOT 295262 SOS 85603 HAS SOPS 85603 HAS SOUS 68534 HAS SOUPS 68534 WITH SCORE 68619.603
AT ITER 4847 NEW BEST:: SOT 295251 SOS 85581 HAS SOPS 85581 HAS SOUS 68512 HAS SOUPS 68512 WITH SCORE 68597.581
AT ITER 4850 NEW BEST:: SOT 295123 SOS 85309 HAS SOPS 85309 HAS SOUS 68437 HAS SOUPS 68437 WITH SCORE 68522.309
AT ITER 4871 NEW BEST:: SOT 295089 SOS 85122 HAS SOPS 85122 HAS SOUS 68349 HAS SOUPS 68349 WITH SCORE 68434.122
AT ITER 4931 NEW BEST:: SOT 295142 SOS 85144 HAS SOPS 85144 HAS SOUS 68337 HAS SOUPS 68337 WITH SCORE 68422.144
AT ITER 4946 NEW BEST:: SOT 295129 SOS 85037 HAS SOPS 85037 HAS SOUS 68230 HAS SOUPS 68230 WITH SCORE 68315.037
AT ITER 4957 NEW BEST:: SOT 295085 SOS 84780 HAS SOPS 84780 HAS SOUS 68184 HAS SOUPS 68184 WITH SCORE 68268.78
AT ITER 4969 NEW BEST:: SOT 295085 SOS 84765 HAS SOPS 84765 HAS SOUS 68169 HAS SOUPS 68169 WITH SCORE 68253.765
AT ITER 4991 NEW BEST:: SOT 295070 SOS 84735 HAS SOPS 84735 HAS SOUS 68139 HAS SOUPS 68139 WITH SCORE 68223.735
AT ITER 5009 NEW BEST:: SOT 295066 SOS 84727 HAS SOPS 84727 HAS SOUS 68131 HAS SOUPS 68131 WITH SCORE 68215.727
AT ITER 5030 NEW BEST:: SOT 295044 SOS 84705 HAS SOPS 84705 HAS SOUS 68109 HAS SOUPS 68109 WITH SCORE 68193.705
AT ITER 5033 NEW BEST:: SOT 295097 SOS 84656 HAS SOPS 84656 HAS SOUS 68060 HAS SOUPS 68060 WITH SCORE 68144.656
AT ITER 5052 NEW BEST:: SOT 295085 SOS 84644 HAS SOPS 84644 HAS SOUS 68048 HAS SOUPS 68048 WITH SCORE 68132.644
AT ITER 5088 NEW BEST:: SOT 295073 SOS 84632 HAS SOPS 84632 HAS SOUS 68042 HAS SOUPS 68042 WITH SCORE 68126.632
AT ITER 5111 NEW BEST:: SOT 295029 SOS 84588 HAS SOPS 84588 HAS SOUS 67998 HAS SOUPS 67998 WITH SCORE 68082.588
AT ITER 5116 NEW BEST:: SOT 295029 SOS 84564 HAS SOPS 84564 HAS SOUS 67998 HAS SOUPS 67998 WITH SCORE 68082.564
AT ITER 5140 NEW BEST:: SOT 295022 SOS 84602 HAS SOPS 84602 HAS SOUS 67980 HAS SOUPS 67980 WITH SCORE 68064.602
AT ITER 5160 NEW BEST:: SOT 295065 SOS 84653 HAS SOPS 84653 HAS SOUS 67962 HAS SOUPS 67962 WITH SCORE 68046.653
AT ITER 5168 NEW BEST:: SOT 295065 SOS 84629 HAS SOPS 84629 HAS SOUS 67962 HAS SOUPS 67962 WITH SCORE 68046.629
AT ITER 5170 NEW BEST:: SOT 295065 SOS 84625 HAS SOPS 84625 HAS SOUS 67958 HAS SOUPS 67958 WITH SCORE 68042.625
AT ITER 5182 NEW BEST:: SOT 295074 SOS 84634 HAS SOPS 84634 HAS SOUS 67923 HAS SOUPS 67923 WITH SCORE 68007.634
AT ITER 5204 NEW BEST:: SOT 295079 SOS 84621 HAS SOPS 84621 HAS SOUS 67910 HAS SOUPS 67910 WITH SCORE 67994.621
AT ITER 5210 NEW BEST:: SOT 295112 SOS 84580 HAS SOPS 84580 HAS SOUS 67869 HAS SOUPS 67869 WITH SCORE 67953.58
AT ITER 5212 NEW BEST:: SOT 294920 SOS 84293 HAS SOPS 84293 HAS SOUS 67679 HAS SOUPS 67679 WITH SCORE 67763.293
AT ITER 5219 NEW BEST:: SOT 294880 SOS 83993 HAS SOPS 83993 HAS SOUS 67377 HAS SOUPS 67377 WITH SCORE 67460.993
AT ITER 5231 NEW BEST:: SOT 294880 SOS 83991 HAS SOPS 83991 HAS SOUS 67377 HAS SOUPS 67377 WITH SCORE 67460.991
AT ITER 5237 NEW BEST:: SOT 294856 SOS 83943 HAS SOPS 83943 HAS SOUS 67353 HAS SOUPS 67353 WITH SCORE 67436.943
AT ITER 5260 NEW BEST:: SOT 294807 SOS 83869 HAS SOPS 83869 HAS SOUS 67279 HAS SOUPS 67279 WITH SCORE 67362.869
AT ITER 5264 NEW BEST:: SOT 294788 SOS 83815 HAS SOPS 83815 HAS SOUS 67225 HAS SOUPS 67225 WITH SCORE 67308.815
AT ITER 5351 NEW BEST:: SOT 294777 SOS 83798 HAS SOPS 83798 HAS SOUS 67208 HAS SOUPS 67208 WITH SCORE 67291.798
AT ITER 5356 NEW BEST:: SOT 294749 SOS 83727 HAS SOPS 83727 HAS SOUS 67165 HAS SOUPS 67165 WITH SCORE 67248.727
AT ITER 5378 NEW BEST:: SOT 294729 SOS 83661 HAS SOPS 83661 HAS SOUS 67114 HAS SOUPS 67114 WITH SCORE 67197.661
AT ITER 5380 NEW BEST:: SOT 294664 SOS 83677 HAS SOPS 83677 HAS SOUS 67106 HAS SOUPS 67106 WITH SCORE 67189.677
AT ITER 5383 NEW BEST:: SOT 294655 SOS 83633 HAS SOPS 83633 HAS SOUS 67062 HAS SOUPS 67062 WITH SCORE 67145.633
AT ITER 5419 NEW BEST:: SOT 294655 SOS 83589 HAS SOPS 83589 HAS SOUS 67018 HAS SOUPS 67018 WITH SCORE 67101.589
AT ITER 5424 NEW BEST:: SOT 294652 SOS 83580 HAS SOPS 83580 HAS SOUS 67012 HAS SOUPS 67012 WITH SCORE 67095.58
AT ITER 5434 NEW BEST:: SOT 294639 SOS 83497 HAS SOPS 83497 HAS SOUS 66941 HAS SOUPS 66941 WITH SCORE 67024.497
AT ITER 5449 NEW BEST:: SOT 294757 SOS 83453 HAS SOPS 83453 HAS SOUS 66897 HAS SOUPS 66897 WITH SCORE 66980.453
AT ITER 5512 NEW BEST:: SOT 294712 SOS 83422 HAS SOPS 83422 HAS SOUS 66866 HAS SOUPS 66866 WITH SCORE 66949.422
AT ITER 5517 NEW BEST:: SOT 294720 SOS 83329 HAS SOPS 83329 HAS SOUS 66773 HAS SOUPS 66773 WITH SCORE 66856.329
AT ITER 5528 NEW BEST:: SOT 294685 SOS 83236 HAS SOPS 83236 HAS SOUS 66671 HAS SOUPS 66671 WITH SCORE 66754.236
AT ITER 5536 NEW BEST:: SOT 294431 SOS 82969 HAS SOPS 82969 HAS SOUS 66631 HAS SOUPS 66631 WITH SCORE 66713.969
AT ITER 5546 NEW BEST:: SOT 294409 SOS 82914 HAS SOPS 82914 HAS SOUS 66598 HAS SOUPS 66598 WITH SCORE 66680.914
AT ITER 5547 NEW BEST:: SOT 294342 SOS 82780 HAS SOPS 82780 HAS SOUS 66567 HAS SOUPS 66567 WITH SCORE 66649.78
AT ITER 5563 NEW BEST:: SOT 294357 SOS 82778 HAS SOPS 82778 HAS SOUS 66565 HAS SOUPS 66565 WITH SCORE 66647.778
AT ITER 5566 NEW BEST:: SOT 294367 SOS 82743 HAS SOPS 82743 HAS SOUS 66465 HAS SOUPS 66465 WITH SCORE 66547.743
AT ITER 5570 NEW BEST:: SOT 294367 SOS 82740 HAS SOPS 82740 HAS SOUS 66462 HAS SOUPS 66462 WITH SCORE 66544.74
AT ITER 5590 NEW BEST:: SOT 294413 SOS 82706 HAS SOPS 82706 HAS SOUS 66428 HAS SOUPS 66428 WITH SCORE 66510.706
AT ITER 5613 NEW BEST:: SOT 294402 SOS 82695 HAS SOPS 82695 HAS SOUS 66417 HAS SOUPS 66417 WITH SCORE 66499.695
AT ITER 5639 NEW BEST:: SOT 294402 SOS 82674 HAS SOPS 82674 HAS SOUS 66396 HAS SOUPS 66396 WITH SCORE 66478.674
AT ITER 5649 NEW BEST:: SOT 294374 SOS 82643 HAS SOPS 82643 HAS SOUS 66365 HAS SOUPS 66365 WITH SCORE 66447.643
AT ITER 5701 NEW BEST:: SOT 294374 SOS 82754 HAS SOPS 82754 HAS SOUS 66311 HAS SOUPS 66311 WITH SCORE 66393.754
AT ITER 5716 NEW BEST:: SOT 294374 SOS 82732 HAS SOPS 82732 HAS SOUS 66289 HAS SOUPS 66289 WITH SCORE 66371.732
AT ITER 5728 NEW BEST:: SOT 294374 SOS 82718 HAS SOPS 82718 HAS SOUS 66275 HAS SOUPS 66275 WITH SCORE 66357.718
AT ITER 5737 NEW BEST:: SOT 294366 SOS 82706 HAS SOPS 82706 HAS SOUS 66263 HAS SOUPS 66263 WITH SCORE 66345.706
AT ITER 5757 NEW BEST:: SOT 294354 SOS 82694 HAS SOPS 82694 HAS SOUS 66251 HAS SOUPS 66251 WITH SCORE 66333.694
AT ITER 5798 NEW BEST:: SOT 294292 SOS 82632 HAS SOPS 82632 HAS SOUS 66189 HAS SOUPS 66189 WITH SCORE 66271.632
AT ITER 5816 NEW BEST:: SOT 294290 SOS 82630 HAS SOPS 82630 HAS SOUS 66189 HAS SOUPS 66189 WITH SCORE 66271.63
AT ITER 5843 NEW BEST:: SOT 294283 SOS 82608 HAS SOPS 82608 HAS SOUS 66175 HAS SOUPS 66175 WITH SCORE 66257.608
AT ITER 5867 NEW BEST:: SOT 294230 SOS 82577 HAS SOPS 82577 HAS SOUS 66144 HAS SOUPS 66144 WITH SCORE 66226.577
AT ITER 5888 NEW BEST:: SOT 294189 SOS 82683 HAS SOPS 82683 HAS SOUS 66107 HAS SOUPS 66107 WITH SCORE 66189.683
AT ITER 5898 NEW BEST:: SOT 294189 SOS 82678 HAS SOPS 82678 HAS SOUS 66102 HAS SOUPS 66102 WITH SCORE 66184.678
AT ITER 5953 NEW BEST:: SOT 294172 SOS 82661 HAS SOPS 82661 HAS SOUS 66085 HAS SOUPS 66085 WITH SCORE 66167.661
AT ITER 5969 NEW BEST:: SOT 294161 SOS 82650 HAS SOPS 82650 HAS SOUS 66074 HAS SOUPS 66074 WITH SCORE 66156.65
AT ITER 6007 NEW BEST:: SOT 294052 SOS 82541 HAS SOPS 82541 HAS SOUS 65965 HAS SOUPS 65965 WITH SCORE 66047.541
AT ITER 6037 NEW BEST:: SOT 294052 SOS 82727 HAS SOPS 82727 HAS SOUS 65964 HAS SOUPS 65964 WITH SCORE 66046.727
AT ITER 6039 NEW BEST:: SOT 294003 SOS 82690 HAS SOPS 82690 HAS SOUS 65927 HAS SOUPS 65927 WITH SCORE 66009.69
AT ITER 6053 NEW BEST:: SOT 293977 SOS 82638 HAS SOPS 82638 HAS SOUS 65875 HAS SOUPS 65875 WITH SCORE 65957.638
AT ITER 6083 NEW BEST:: SOT 293689 SOS 82318 HAS SOPS 82318 HAS SOUS 65795 HAS SOUPS 65795 WITH SCORE 65877.318
AT ITER 6119 NEW BEST:: SOT 293700 SOS 82213 HAS SOPS 82213 HAS SOUS 65732 HAS SOUPS 65732 WITH SCORE 65814.213
AT ITER 6123 NEW BEST:: SOT 293677 SOS 82179 HAS SOPS 82179 HAS SOUS 65693 HAS SOUPS 65693 WITH SCORE 65775.179
AT ITER 6192 NEW BEST:: SOT 293658 SOS 82154 HAS SOPS 82154 HAS SOUS 65668 HAS SOUPS 65668 WITH SCORE 65750.154
AT ITER 6198 NEW BEST:: SOT 293677 SOS 82173 HAS SOPS 82173 HAS SOUS 65661 HAS SOUPS 65661 WITH SCORE 65743.173
AT ITER 6211 NEW BEST:: SOT 293662 SOS 81932 HAS SOPS 81932 HAS SOUS 65420 HAS SOUPS 65420 WITH SCORE 65501.932
AT ITER 6235 NEW BEST:: SOT 293700 SOS 81914 HAS SOPS 81914 HAS SOUS 65402 HAS SOUPS 65402 WITH SCORE 65483.914
AT ITER 6244 NEW BEST:: SOT 293678 SOS 81882 HAS SOPS 81882 HAS SOUS 65372 HAS SOUPS 65372 WITH SCORE 65453.882
AT ITER 6259 NEW BEST:: SOT 293674 SOS 81878 HAS SOPS 81878 HAS SOUS 65372 HAS SOUPS 65372 WITH SCORE 65453.878
AT ITER 6279 NEW BEST:: SOT 293674 SOS 81878 HAS SOPS 81878 HAS SOUS 65365 HAS SOUPS 65365 WITH SCORE 65446.878
AT ITER 6283 NEW BEST:: SOT 293672 SOS 81862 HAS SOPS 81862 HAS SOUS 65339 HAS SOUPS 65339 WITH SCORE 65420.862
AT ITER 6288 NEW BEST:: SOT 293620 SOS 81792 HAS SOPS 81792 HAS SOUS 65303 HAS SOUPS 65303 WITH SCORE 65384.792
AT ITER 6299 NEW BEST:: SOT 293601 SOS 81780 HAS SOPS 81780 HAS SOUS 65291 HAS SOUPS 65291 WITH SCORE 65372.78
AT ITER 6321 NEW BEST:: SOT 293586 SOS 81772 HAS SOPS 81772 HAS SOUS 65283 HAS SOUPS 65283 WITH SCORE 65364.772
AT ITER 6323 NEW BEST:: SOT 293569 SOS 81755 HAS SOPS 81755 HAS SOUS 65266 HAS SOUPS 65266 WITH SCORE 65347.755
AT ITER 6350 NEW BEST:: SOT 293537 SOS 81723 HAS SOPS 81723 HAS SOUS 65234 HAS SOUPS 65234 WITH SCORE 65315.723
AT ITER 6354 NEW BEST:: SOT 293467 SOS 81672 HAS SOPS 81672 HAS SOUS 65184 HAS SOUPS 65184 WITH SCORE 65265.672
AT ITER 6361 NEW BEST:: SOT 293467 SOS 81625 HAS SOPS 81625 HAS SOUS 65137 HAS SOUPS 65137 WITH SCORE 65218.625
AT ITER 6367 NEW BEST:: SOT 293467 SOS 81603 HAS SOPS 81603 HAS SOUS 65117 HAS SOUPS 65117 WITH SCORE 65198.603
AT ITER 6388 NEW BEST:: SOT 293459 SOS 81587 HAS SOPS 81587 HAS SOUS 65101 HAS SOUPS 65101 WITH SCORE 65182.587
AT ITER 6396 NEW BEST:: SOT 293445 SOS 81498 HAS SOPS 81498 HAS SOUS 65026 HAS SOUPS 65026 WITH SCORE 65107.498
AT ITER 6473 NEW BEST:: SOT 293506 SOS 81492 HAS SOPS 81492 HAS SOUS 65020 HAS SOUPS 65020 WITH SCORE 65101.492
AT ITER 6486 NEW BEST:: SOT 293444 SOS 81368 HAS SOPS 81368 HAS SOUS 64896 HAS SOUPS 64896 WITH SCORE 64977.368
AT ITER 6499 NEW BEST:: SOT 293444 SOS 81204 HAS SOPS 81204 HAS SOUS 64814 HAS SOUPS 64814 WITH SCORE 64895.204
AT ITER 6522 NEW BEST:: SOT 293440 SOS 81200 HAS SOPS 81200 HAS SOUS 64806 HAS SOUPS 64806 WITH SCORE 64887.2
AT ITER 6525 NEW BEST:: SOT 293436 SOS 81184 HAS SOPS 81184 HAS SOUS 64798 HAS SOUPS 64798 WITH SCORE 64879.184
AT ITER 6529 NEW BEST:: SOT 293273 SOS 81183 HAS SOPS 81183 HAS SOUS 64735 HAS SOUPS 64735 WITH SCORE 64816.183
AT ITER 6587 NEW BEST:: SOT 293224 SOS 81175 HAS SOPS 81175 HAS SOUS 64727 HAS SOUPS 64727 WITH SCORE 64808.175
AT ITER 6629 NEW BEST:: SOT 293217 SOS 81162 HAS SOPS 81162 HAS SOUS 64714 HAS SOUPS 64714 WITH SCORE 64795.162
AT ITER 6631 NEW BEST:: SOT 293203 SOS 81134 HAS SOPS 81134 HAS SOUS 64686 HAS SOUPS 64686 WITH SCORE 64767.134
AT ITER 6656 NEW BEST:: SOT 293184 SOS 81096 HAS SOPS 81096 HAS SOUS 64648 HAS SOUPS 64648 WITH SCORE 64729.096
AT ITER 6672 NEW BEST:: SOT 293184 SOS 81096 HAS SOPS 81096 HAS SOUS 64642 HAS SOUPS 64642 WITH SCORE 64723.096
AT ITER 6676 NEW BEST:: SOT 293217 SOS 81085 HAS SOPS 81085 HAS SOUS 64631 HAS SOUPS 64631 WITH SCORE 64712.085
AT ITER 6688 NEW BEST:: SOT 293244 SOS 81112 HAS SOPS 81112 HAS SOUS 64579 HAS SOUPS 64579 WITH SCORE 64660.112
AT ITER 6714 NEW BEST:: SOT 293199 SOS 81142 HAS SOPS 81142 HAS SOUS 64563 HAS SOUPS 64563 WITH SCORE 64644.142
AT ITER 6715 NEW BEST:: SOT 293068 SOS 80994 HAS SOPS 80994 HAS SOUS 64415 HAS SOUPS 64415 WITH SCORE 64495.994
AT ITER 6716 NEW BEST:: SOT 292998 SOS 80752 HAS SOPS 80752 HAS SOUS 64244 HAS SOUPS 64244 WITH SCORE 64324.752
AT ITER 6779 NEW BEST:: SOT 292975 SOS 80706 HAS SOPS 80706 HAS SOUS 64229 HAS SOUPS 64229 WITH SCORE 64309.706
AT ITER 6784 NEW BEST:: SOT 292910 SOS 80641 HAS SOPS 80641 HAS SOUS 64164 HAS SOUPS 64164 WITH SCORE 64244.641
AT ITER 6812 NEW BEST:: SOT 292913 SOS 80660 HAS SOPS 80660 HAS SOUS 64145 HAS SOUPS 64145 WITH SCORE 64225.66
AT ITER 6815 NEW BEST:: SOT 292856 SOS 80657 HAS SOPS 80657 HAS SOUS 64142 HAS SOUPS 64142 WITH SCORE 64222.657
AT ITER 6824 NEW BEST:: SOT 292924 SOS 80473 HAS SOPS 80473 HAS SOUS 64142 HAS SOUPS 64142 WITH SCORE 64222.473
AT ITER 6828 NEW BEST:: SOT 292935 SOS 80228 HAS SOPS 80228 HAS SOUS 63897 HAS SOUPS 63897 WITH SCORE 63977.228
AT ITER 6838 NEW BEST:: SOT 292935 SOS 80216 HAS SOPS 80216 HAS SOUS 63885 HAS SOUPS 63885 WITH SCORE 63965.216
AT ITER 6933 NEW BEST:: SOT 292959 SOS 80212 HAS SOPS 80212 HAS SOUS 63881 HAS SOUPS 63881 WITH SCORE 63961.212
AT ITER 6946 NEW BEST:: SOT 292959 SOS 80172 HAS SOPS 80172 HAS SOUS 63841 HAS SOUPS 63841 WITH SCORE 63921.172
AT ITER 6950 NEW BEST:: SOT 293025 SOS 80166 HAS SOPS 80166 HAS SOUS 63835 HAS SOUPS 63835 WITH SCORE 63915.166
AT ITER 6977 NEW BEST:: SOT 293020 SOS 80149 HAS SOPS 80149 HAS SOUS 63824 HAS SOUPS 63824 WITH SCORE 63904.149
AT ITER 6999 NEW BEST:: SOT 293013 SOS 80142 HAS SOPS 80142 HAS SOUS 63817 HAS SOUPS 63817 WITH SCORE 63897.142
AT ITER 7018 NEW BEST:: SOT 292963 SOS 80092 HAS SOPS 80092 HAS SOUS 63767 HAS SOUPS 63767 WITH SCORE 63847.092
AT ITER 7021 NEW BEST:: SOT 292953 SOS 80082 HAS SOPS 80082 HAS SOUS 63757 HAS SOUPS 63757 WITH SCORE 63837.082
AT ITER 7029 NEW BEST:: SOT 292817 SOS 79946 HAS SOPS 79946 HAS SOUS 63601 HAS SOUPS 63601 WITH SCORE 63680.946
AT ITER 7031 NEW BEST:: SOT 292765 SOS 79891 HAS SOPS 79891 HAS SOUS 63595 HAS SOUPS 63595 WITH SCORE 63674.891
AT ITER 7092 NEW BEST:: SOT 292765 SOS 79860 HAS SOPS 79860 HAS SOUS 63564 HAS SOUPS 63564 WITH SCORE 63643.86
AT ITER 7108 NEW BEST:: SOT 292765 SOS 79858 HAS SOPS 79858 HAS SOUS 63564 HAS SOUPS 63564 WITH SCORE 63643.858
AT ITER 7123 NEW BEST:: SOT 292749 SOS 79818 HAS SOPS 79818 HAS SOUS 63540 HAS SOUPS 63540 WITH SCORE 63619.818
AT ITER 7139 NEW BEST:: SOT 292719 SOS 79788 HAS SOPS 79788 HAS SOUS 63510 HAS SOUPS 63510 WITH SCORE 63589.788
AT ITER 7148 NEW BEST:: SOT 292690 SOS 79730 HAS SOPS 79730 HAS SOUS 63452 HAS SOUPS 63452 WITH SCORE 63531.73
AT ITER 7153 NEW BEST:: SOT 292696 SOS 79742 HAS SOPS 79742 HAS SOUS 63426 HAS SOUPS 63426 WITH SCORE 63505.742
AT ITER 7160 NEW BEST:: SOT 292704 SOS 79750 HAS SOPS 79750 HAS SOUS 63418 HAS SOUPS 63418 WITH SCORE 63497.75
AT ITER 7164 NEW BEST:: SOT 292771 SOS 79884 HAS SOPS 79884 HAS SOUS 63412 HAS SOUPS 63412 WITH SCORE 63491.884
AT ITER 7167 NEW BEST:: SOT 292731 SOS 79824 HAS SOPS 79824 HAS SOUS 63352 HAS SOUPS 63352 WITH SCORE 63431.824
AT ITER 7223 NEW BEST:: SOT 292723 SOS 79823 HAS SOPS 79823 HAS SOUS 63351 HAS SOUPS 63351 WITH SCORE 63430.823
AT ITER 7239 NEW BEST:: SOT 292712 SOS 79812 HAS SOPS 79812 HAS SOUS 63340 HAS SOUPS 63340 WITH SCORE 63419.812
AT ITER 7288 NEW BEST:: SOT 292709 SOS 79806 HAS SOPS 79806 HAS SOUS 63336 HAS SOUPS 63336 WITH SCORE 63415.806
AT ITER 7296 NEW BEST:: SOT 292751 SOS 79774 HAS SOPS 79774 HAS SOUS 63304 HAS SOUPS 63304 WITH SCORE 63383.774
AT ITER 7306 NEW BEST:: SOT 292785 SOS 79751 HAS SOPS 79751 HAS SOUS 63285 HAS SOUPS 63285 WITH SCORE 63364.751
AT ITER 7315 NEW BEST:: SOT 292793 SOS 79721 HAS SOPS 79721 HAS SOUS 63253 HAS SOUPS 63253 WITH SCORE 63332.721
AT ITER 7342 NEW BEST:: SOT 292753 SOS 79681 HAS SOPS 79681 HAS SOUS 63213 HAS SOUPS 63213 WITH SCORE 63292.681
AT ITER 7363 NEW BEST:: SOT 292832 SOS 79639 HAS SOPS 79639 HAS SOUS 63188 HAS SOUPS 63188 WITH SCORE 63267.639
AT ITER 7374 NEW BEST:: SOT 292832 SOS 79639 HAS SOPS 79639 HAS SOUS 63167 HAS SOUPS 63167 WITH SCORE 63246.639
AT ITER 7396 NEW BEST:: SOT 292847 SOS 79610 HAS SOPS 79610 HAS SOUS 63138 HAS SOUPS 63138 WITH SCORE 63217.61
AT ITER 7409 NEW BEST:: SOT 292845 SOS 79606 HAS SOPS 79606 HAS SOUS 63134 HAS SOUPS 63134 WITH SCORE 63213.606
AT ITER 7428 NEW BEST:: SOT 292845 SOS 79606 HAS SOPS 79606 HAS SOUS 63121 HAS SOUPS 63121 WITH SCORE 63200.606
AT ITER 7440 NEW BEST:: SOT 292825 SOS 79585 HAS SOPS 79585 HAS SOUS 63100 HAS SOUPS 63100 WITH SCORE 63179.585
AT ITER 7452 NEW BEST:: SOT 292825 SOS 79581 HAS SOPS 79581 HAS SOUS 63096 HAS SOUPS 63096 WITH SCORE 63175.581
AT ITER 7466 NEW BEST:: SOT 292808 SOS 79564 HAS SOPS 79564 HAS SOUS 63096 HAS SOUPS 63096 WITH SCORE 63175.564
AT ITER 7524 NEW BEST:: SOT 292808 SOS 79550 HAS SOPS 79550 HAS SOUS 63082 HAS SOUPS 63082 WITH SCORE 63161.55
AT ITER 7533 NEW BEST:: SOT 292793 SOS 79524 HAS SOPS 79524 HAS SOUS 63053 HAS SOUPS 63053 WITH SCORE 63132.524
AT ITER 7542 NEW BEST:: SOT 292752 SOS 79483 HAS SOPS 79483 HAS SOUS 63053 HAS SOUPS 63053 WITH SCORE 63132.483
AT ITER 7566 NEW BEST:: SOT 292879 SOS 79436 HAS SOPS 79436 HAS SOUS 63006 HAS SOUPS 63006 WITH SCORE 63085.436
AT ITER 7573 NEW BEST:: SOT 292879 SOS 79434 HAS SOPS 79434 HAS SOUS 63004 HAS SOUPS 63004 WITH SCORE 63083.434
AT ITER 7581 NEW BEST:: SOT 292920 SOS 79424 HAS SOPS 79424 HAS SOUS 62994 HAS SOUPS 62994 WITH SCORE 63073.424
AT ITER 7674 NEW BEST:: SOT 292920 SOS 79347 HAS SOPS 79347 HAS SOUS 62989 HAS SOUPS 62989 WITH SCORE 63068.347
AT ITER 7702 NEW BEST:: SOT 292920 SOS 79320 HAS SOPS 79320 HAS SOUS 62962 HAS SOUPS 62962 WITH SCORE 63041.32
AT ITER 7738 NEW BEST:: SOT 292894 SOS 79299 HAS SOPS 79299 HAS SOUS 62941 HAS SOUPS 62941 WITH SCORE 63020.299
AT ITER 7751 NEW BEST:: SOT 292894 SOS 79299 HAS SOPS 79299 HAS SOUS 62939 HAS SOUPS 62939 WITH SCORE 63018.299
AT ITER 7794 NEW BEST:: SOT 292396 SOS 79000 HAS SOPS 79000 HAS SOUS 62640 HAS SOUPS 62640 WITH SCORE 62719.0
AT ITER 7817 NEW BEST:: SOT 292381 SOS 78970 HAS SOPS 78970 HAS SOUS 62610 HAS SOUPS 62610 WITH SCORE 62688.97
AT ITER 7824 NEW BEST:: SOT 292412 SOS 78949 HAS SOPS 78949 HAS SOUS 62576 HAS SOUPS 62576 WITH SCORE 62654.949
AT ITER 7838 NEW BEST:: SOT 292328 SOS 78781 HAS SOPS 78781 HAS SOUS 62397 HAS SOUPS 62397 WITH SCORE 62475.781
AT ITER 7852 NEW BEST:: SOT 292424 SOS 78861 HAS SOPS 78861 HAS SOUS 62381 HAS SOUPS 62381 WITH SCORE 62459.861
AT ITER 7853 NEW BEST:: SOT 292424 SOS 78837 HAS SOPS 78837 HAS SOUS 62381 HAS SOUPS 62381 WITH SCORE 62459.837
AT ITER 7857 NEW BEST:: SOT 292417 SOS 78830 HAS SOPS 78830 HAS SOUS 62374 HAS SOUPS 62374 WITH SCORE 62452.83
AT ITER 7872 NEW BEST:: SOT 292277 SOS 78683 HAS SOPS 78683 HAS SOUS 62326 HAS SOUPS 62326 WITH SCORE 62404.683
AT ITER 7888 NEW BEST:: SOT 292277 SOS 78655 HAS SOPS 78655 HAS SOUS 62312 HAS SOUPS 62312 WITH SCORE 62390.655
AT ITER 7894 NEW BEST:: SOT 292276 SOS 78654 HAS SOPS 78654 HAS SOUS 62311 HAS SOUPS 62311 WITH SCORE 62389.654
AT ITER 7938 NEW BEST:: SOT 292262 SOS 78598 HAS SOPS 78598 HAS SOUS 62255 HAS SOUPS 62255 WITH SCORE 62333.598
AT ITER 7965 NEW BEST:: SOT 292287 SOS 78579 HAS SOPS 78579 HAS SOUS 62236 HAS SOUPS 62236 WITH SCORE 62314.579
AT ITER 7987 NEW BEST:: SOT 292282 SOS 78574 HAS SOPS 78574 HAS SOUS 62231 HAS SOUPS 62231 WITH SCORE 62309.574
AT ITER 8000 NEW BEST:: SOT 292250 SOS 78510 HAS SOPS 78510 HAS SOUS 62167 HAS SOUPS 62167 WITH SCORE 62245.51
AT ITER 8004 NEW BEST:: SOT 292251 SOS 78512 HAS SOPS 78512 HAS SOUS 62158 HAS SOUPS 62158 WITH SCORE 62236.512
AT ITER 8017 NEW BEST:: SOT 292251 SOS 78517 HAS SOPS 78517 HAS SOUS 62146 HAS SOUPS 62146 WITH SCORE 62224.517
AT ITER 8078 NEW BEST:: SOT 292241 SOS 78497 HAS SOPS 78497 HAS SOUS 62126 HAS SOUPS 62126 WITH SCORE 62204.497
AT ITER 8079 NEW BEST:: SOT 292189 SOS 78445 HAS SOPS 78445 HAS SOUS 62074 HAS SOUPS 62074 WITH SCORE 62152.445
AT ITER 8083 NEW BEST:: SOT 292151 SOS 78558 HAS SOPS 78558 HAS SOUS 62073 HAS SOUPS 62073 WITH SCORE 62151.558
AT ITER 8091 NEW BEST:: SOT 292143 SOS 78549 HAS SOPS 78549 HAS SOUS 62064 HAS SOUPS 62064 WITH SCORE 62142.549
AT ITER 8138 NEW BEST:: SOT 292143 SOS 78497 HAS SOPS 78497 HAS SOUS 62012 HAS SOUPS 62012 WITH SCORE 62090.497
AT ITER 8141 NEW BEST:: SOT 292101 SOS 78473 HAS SOPS 78473 HAS SOUS 61988 HAS SOUPS 61988 WITH SCORE 62066.473
AT ITER 8168 NEW BEST:: SOT 292090 SOS 78440 HAS SOPS 78440 HAS SOUS 61966 HAS SOUPS 61966 WITH SCORE 62044.44
AT ITER 8175 NEW BEST:: SOT 292095 SOS 78440 HAS SOPS 78440 HAS SOUS 61960 HAS SOUPS 61960 WITH SCORE 62038.44
AT ITER 8210 NEW BEST:: SOT 292077 SOS 78422 HAS SOPS 78422 HAS SOUS 61942 HAS SOUPS 61942 WITH SCORE 62020.422
AT ITER 8216 NEW BEST:: SOT 292077 SOS 78422 HAS SOPS 78422 HAS SOUS 61940 HAS SOUPS 61940 WITH SCORE 62018.422
AT ITER 8225 NEW BEST:: SOT 292100 SOS 78376 HAS SOPS 78376 HAS SOUS 61894 HAS SOUPS 61894 WITH SCORE 61972.376
AT ITER 8258 NEW BEST:: SOT 292118 SOS 78412 HAS SOPS 78412 HAS SOUS 61831 HAS SOUPS 61831 WITH SCORE 61909.412
AT ITER 8262 NEW BEST:: SOT 292105 SOS 78386 HAS SOPS 78386 HAS SOUS 61765 HAS SOUPS 61765 WITH SCORE 61843.386
AT ITER 8303 NEW BEST:: SOT 291991 SOS 78170 HAS SOPS 78170 HAS SOUS 61549 HAS SOUPS 61549 WITH SCORE 61627.17
AT ITER 8309 NEW BEST:: SOT 291968 SOS 78147 HAS SOPS 78147 HAS SOUS 61526 HAS SOUPS 61526 WITH SCORE 61604.147
AT ITER 8334 NEW BEST:: SOT 291998 SOS 78133 HAS SOPS 78133 HAS SOUS 61512 HAS SOUPS 61512 WITH SCORE 61590.133
AT ITER 8375 NEW BEST:: SOT 291981 SOS 78099 HAS SOPS 78099 HAS SOUS 61478 HAS SOUPS 61478 WITH SCORE 61556.099
AT ITER 8412 NEW BEST:: SOT 291988 SOS 78027 HAS SOPS 78027 HAS SOUS 61406 HAS SOUPS 61406 WITH SCORE 61484.027
AT ITER 8421 NEW BEST:: SOT 292042 SOS 77998 HAS SOPS 77998 HAS SOUS 61377 HAS SOUPS 61377 WITH SCORE 61454.998
AT ITER 8422 NEW BEST:: SOT 292042 SOS 77992 HAS SOPS 77992 HAS SOUS 61371 HAS SOUPS 61371 WITH SCORE 61448.992
AT ITER 8423 NEW BEST:: SOT 292108 SOS 77868 HAS SOPS 77868 HAS SOUS 61345 HAS SOUPS 61345 WITH SCORE 61422.868
AT ITER 8462 NEW BEST:: SOT 292196 SOS 78089 HAS SOPS 78089 HAS SOUS 61336 HAS SOUPS 61336 WITH SCORE 61414.089
AT ITER 8494 NEW BEST:: SOT 292106 SOS 77886 HAS SOPS 77886 HAS SOUS 61133 HAS SOUPS 61133 WITH SCORE 61210.886
AT ITER 8529 NEW BEST:: SOT 292133 SOS 77867 HAS SOPS 77867 HAS SOUS 61114 HAS SOUPS 61114 WITH SCORE 61191.867
AT ITER 8535 NEW BEST:: SOT 291995 SOS 77767 HAS SOPS 77767 HAS SOUS 61014 HAS SOUPS 61014 WITH SCORE 61091.767
AT ITER 8603 NEW BEST:: SOT 291994 SOS 77737 HAS SOPS 77737 HAS SOUS 60985 HAS SOUPS 60985 WITH SCORE 61062.737
AT ITER 8607 NEW BEST:: SOT 291979 SOS 77707 HAS SOPS 77707 HAS SOUS 60940 HAS SOUPS 60940 WITH SCORE 61017.707
AT ITER 8649 NEW BEST:: SOT 291932 SOS 77590 HAS SOPS 77590 HAS SOUS 60823 HAS SOUPS 60823 WITH SCORE 60900.59
AT ITER 8695 NEW BEST:: SOT 291930 SOS 77586 HAS SOPS 77586 HAS SOUS 60819 HAS SOUPS 60819 WITH SCORE 60896.586
AT ITER 8716 NEW BEST:: SOT 291924 SOS 77585 HAS SOPS 77585 HAS SOUS 60818 HAS SOUPS 60818 WITH SCORE 60895.585
AT ITER 8717 NEW BEST:: SOT 291924 SOS 77650 HAS SOPS 77650 HAS SOUS 60811 HAS SOUPS 60811 WITH SCORE 60888.65
AT ITER 8726 NEW BEST:: SOT 291946 SOS 77645 HAS SOPS 77645 HAS SOUS 60806 HAS SOUPS 60806 WITH SCORE 60883.645
AT ITER 8804 NEW BEST:: SOT 291444 SOS 84895 HAS SOPS 84895 HAS SOUS 60477 HAS SOUPS 60477 WITH SCORE 60561.895
AT ITER 8820 NEW BEST:: SOT 291377 SOS 84816 HAS SOPS 84816 HAS SOUS 60468 HAS SOUPS 60468 WITH SCORE 60552.816
AT ITER 8869 NEW BEST:: SOT 291377 SOS 84725 HAS SOPS 84725 HAS SOUS 60377 HAS SOUPS 60377 WITH SCORE 60461.725
AT ITER 8889 NEW BEST:: SOT 291370 SOS 84711 HAS SOPS 84711 HAS SOUS 60363 HAS SOUPS 60363 WITH SCORE 60447.711
AT ITER 8890 NEW BEST:: SOT 291362 SOS 84687 HAS SOPS 84687 HAS SOUS 60339 HAS SOUPS 60339 WITH SCORE 60423.687
AT ITER 8900 NEW BEST:: SOT 291362 SOS 84686 HAS SOPS 84686 HAS SOUS 60338 HAS SOUPS 60338 WITH SCORE 60422.686
AT ITER 8920 NEW BEST:: SOT 291344 SOS 84702 HAS SOPS 84702 HAS SOUS 60315 HAS SOUPS 60315 WITH SCORE 60399.702
AT ITER 8922 NEW BEST:: SOT 291344 SOS 84695 HAS SOPS 84695 HAS SOUS 60308 HAS SOUPS 60308 WITH SCORE 60392.695
AT ITER 8946 NEW BEST:: SOT 291329 SOS 84680 HAS SOPS 84680 HAS SOUS 60308 HAS SOUPS 60308 WITH SCORE 60392.68
AT ITER 8987 NEW BEST:: SOT 291278 SOS 84629 HAS SOPS 84629 HAS SOUS 60257 HAS SOUPS 60257 WITH SCORE 60341.629
AT ITER 9015 NEW BEST:: SOT 291208 SOS 84629 HAS SOPS 84629 HAS SOUS 60228 HAS SOUPS 60228 WITH SCORE 60312.629
AT ITER 9024 NEW BEST:: SOT 291204 SOS 84625 HAS SOPS 84625 HAS SOUS 60224 HAS SOUPS 60224 WITH SCORE 60308.625
AT ITER 9029 NEW BEST:: SOT 291238 SOS 84579 HAS SOPS 84579 HAS SOUS 60178 HAS SOUPS 60178 WITH SCORE 60262.579
AT ITER 9070 NEW BEST:: SOT 291243 SOS 84586 HAS SOPS 84586 HAS SOUS 60161 HAS SOUPS 60161 WITH SCORE 60245.586
AT ITER 9078 NEW BEST:: SOT 291279 SOS 84568 HAS SOPS 84568 HAS SOUS 60122 HAS SOUPS 60122 WITH SCORE 60206.568
AT ITER 9084 NEW BEST:: SOT 291186 SOS 84533 HAS SOPS 84533 HAS SOUS 60077 HAS SOUPS 60077 WITH SCORE 60161.533
AT ITER 9089 NEW BEST:: SOT 291162 SOS 84509 HAS SOPS 84509 HAS SOUS 60053 HAS SOUPS 60053 WITH SCORE 60137.509
AT ITER 9136 NEW BEST:: SOT 291161 SOS 84507 HAS SOPS 84507 HAS SOUS 60051 HAS SOUPS 60051 WITH SCORE 60135.507
AT ITER 9224 NEW BEST:: SOT 291153 SOS 84501 HAS SOPS 84501 HAS SOUS 60045 HAS SOUPS 60045 WITH SCORE 60129.501
AT ITER 9236 NEW BEST:: SOT 291095 SOS 84443 HAS SOPS 84443 HAS SOUS 59987 HAS SOUPS 59987 WITH SCORE 60071.443
AT ITER 9238 NEW BEST:: SOT 291081 SOS 84415 HAS SOPS 84415 HAS SOUS 59959 HAS SOUPS 59959 WITH SCORE 60043.415
AT ITER 9247 NEW BEST:: SOT 290990 SOS 84324 HAS SOPS 84324 HAS SOUS 59951 HAS SOUPS 59951 WITH SCORE 60035.324
AT ITER 9322 NEW BEST:: SOT 290981 SOS 84298 HAS SOPS 84298 HAS SOUS 59925 HAS SOUPS 59925 WITH SCORE 60009.298
AT ITER 9325 NEW BEST:: SOT 290973 SOS 84290 HAS SOPS 84290 HAS SOUS 59917 HAS SOUPS 59917 WITH SCORE 60001.29
AT ITER 9340 NEW BEST:: SOT 290973 SOS 84258 HAS SOPS 84258 HAS SOUS 59917 HAS SOUPS 59917 WITH SCORE 60001.258
AT ITER 9373 NEW BEST:: SOT 291005 SOS 84290 HAS SOPS 84290 HAS SOUS 59866 HAS SOUPS 59866 WITH SCORE 59950.29
AT ITER 9376 NEW BEST:: SOT 290996 SOS 84281 HAS SOPS 84281 HAS SOUS 59857 HAS SOUPS 59857 WITH SCORE 59941.281
AT ITER 9408 NEW BEST:: SOT 291051 SOS 84076 HAS SOPS 84076 HAS SOUS 59847 HAS SOUPS 59847 WITH SCORE 59931.076
AT ITER 9421 NEW BEST:: SOT 291051 SOS 83999 HAS SOPS 83999 HAS SOUS 59800 HAS SOUPS 59800 WITH SCORE 59883.999
AT ITER 9425 NEW BEST:: SOT 291019 SOS 83935 HAS SOPS 83935 HAS SOUS 59768 HAS SOUPS 59768 WITH SCORE 59851.935
AT ITER 9430 NEW BEST:: SOT 291039 SOS 83910 HAS SOPS 83910 HAS SOUS 59743 HAS SOUPS 59743 WITH SCORE 59826.91
AT ITER 9470 NEW BEST:: SOT 291036 SOS 83904 HAS SOPS 83904 HAS SOUS 59737 HAS SOUPS 59737 WITH SCORE 59820.904
AT ITER 9504 NEW BEST:: SOT 291040 SOS 83824 HAS SOPS 83824 HAS SOUS 59701 HAS SOUPS 59701 WITH SCORE 59784.824
AT ITER 9524 NEW BEST:: SOT 290986 SOS 83764 HAS SOPS 83764 HAS SOUS 59676 HAS SOUPS 59676 WITH SCORE 59759.764
AT ITER 9538 NEW BEST:: SOT 290986 SOS 83764 HAS SOPS 83764 HAS SOUS 59650 HAS SOUPS 59650 WITH SCORE 59733.764
AT ITER 9543 NEW BEST:: SOT 290982 SOS 83759 HAS SOPS 83759 HAS SOUS 59645 HAS SOUPS 59645 WITH SCORE 59728.759
AT ITER 9546 NEW BEST:: SOT 290952 SOS 83699 HAS SOPS 83699 HAS SOUS 59614 HAS SOUPS 59614 WITH SCORE 59697.699
AT ITER 9582 NEW BEST:: SOT 290952 SOS 83546 HAS SOPS 83546 HAS SOUS 59563 HAS SOUPS 59563 WITH SCORE 59646.546
AT ITER 9585 NEW BEST:: SOT 290951 SOS 83545 HAS SOPS 83545 HAS SOUS 59562 HAS SOUPS 59562 WITH SCORE 59645.545
AT ITER 9636 NEW BEST:: SOT 290947 SOS 83525 HAS SOPS 83525 HAS SOUS 59554 HAS SOUPS 59554 WITH SCORE 59637.525
AT ITER 9649 NEW BEST:: SOT 290947 SOS 83356 HAS SOPS 83356 HAS SOUS 59468 HAS SOUPS 59468 WITH SCORE 59551.356
AT ITER 9664 NEW BEST:: SOT 290947 SOS 83316 HAS SOPS 83316 HAS SOUS 59428 HAS SOUPS 59428 WITH SCORE 59511.316
AT ITER 9669 NEW BEST:: SOT 290909 SOS 83293 HAS SOPS 83293 HAS SOUS 59405 HAS SOUPS 59405 WITH SCORE 59488.293
AT ITER 9742 NEW BEST:: SOT 290896 SOS 83293 HAS SOPS 83293 HAS SOUS 59392 HAS SOUPS 59392 WITH SCORE 59475.293
AT ITER 9782 NEW BEST:: SOT 290893 SOS 83260 HAS SOPS 83260 HAS SOUS 59359 HAS SOUPS 59359 WITH SCORE 59442.26
AT ITER 9789 NEW BEST:: SOT 290904 SOS 83240 HAS SOPS 83240 HAS SOUS 59339 HAS SOUPS 59339 WITH SCORE 59422.24
AT ITER 9805 NEW BEST:: SOT 290897 SOS 83226 HAS SOPS 83226 HAS SOUS 59332 HAS SOUPS 59332 WITH SCORE 59415.226
AT ITER 9832 NEW BEST:: SOT 290763 SOS 82926 HAS SOPS 82926 HAS SOUS 59256 HAS SOUPS 59256 WITH SCORE 59338.926
AT ITER 9841 NEW BEST:: SOT 290757 SOS 82920 HAS SOPS 82920 HAS SOUS 59256 HAS SOUPS 59256 WITH SCORE 59338.92
AT ITER 9843 NEW BEST:: SOT 290690 SOS 82861 HAS SOPS 82861 HAS SOUS 59197 HAS SOUPS 59197 WITH SCORE 59279.861
AT ITER 9862 NEW BEST:: SOT 290683 SOS 82820 HAS SOPS 82820 HAS SOUS 59156 HAS SOUPS 59156 WITH SCORE 59238.82
AT ITER 9894 NEW BEST:: SOT 290640 SOS 82790 HAS SOPS 82790 HAS SOUS 59126 HAS SOUPS 59126 WITH SCORE 59208.79
AT ITER 9896 NEW BEST:: SOT 290640 SOS 82790 HAS SOPS 82790 HAS SOUS 59098 HAS SOUPS 59098 WITH SCORE 59180.79
AT ITER 9923 NEW BEST:: SOT 290633 SOS 82783 HAS SOPS 82783 HAS SOUS 59091 HAS SOUPS 59091 WITH SCORE 59173.783
AT ITER 9928 NEW BEST:: SOT 290631 SOS 82781 HAS SOPS 82781 HAS SOUS 59089 HAS SOUPS 59089 WITH SCORE 59171.781
AT ITER 9958 NEW BEST:: SOT 290624 SOS 82767 HAS SOPS 82767 HAS SOUS 59075 HAS SOUPS 59075 WITH SCORE 59157.767
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393356 kB
MemFree: 15259976 kB
After kill :
MemTotal: 16393356 kB
MemFree: 16122740 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is BusinessProcesses-PT-19, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r043-tajo-167813697100600"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-19.tgz
mv BusinessProcesses-PT-19 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;