Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r267-smll-167863541700312.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is NoC3x3-PT-6A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541700312
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 728K
-rw-r--r-- 1 mcc users 7.5K Feb 26 10:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 10:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 09:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 09:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 10:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 26 10:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 10:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 10:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 297K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678847459488

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=NoC3x3-PT-6A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 02:31:02] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 02:31:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 02:31:02] [INFO ] Load time of PNML (sax parser for PT used): 201 ms
[2023-03-15 02:31:03] [INFO ] Transformed 512 places.
[2023-03-15 02:31:03] [INFO ] Transformed 1117 transitions.
[2023-03-15 02:31:03] [INFO ] Found NUPN structural information;
[2023-03-15 02:31:03] [INFO ] Parsed PT model containing 512 places and 1117 transitions and 4279 arcs in 327 ms.
[2023-03-15 02:31:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 512 places, 1117 transitions and 4279 arcs took 49 ms.
Total runtime 439 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 6A
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: 512 places, 1117 transitions, 4279 arcs.
AT ITER 0 NEW BEST:: SOT 478346 SOS 366324 HAS SOPS 364211 HAS SOUS 253989 HAS SOUPS 252745 WITH SCORE 253111.324
AT ITER 2 NEW BEST:: SOT 476871 SOS 364894 HAS SOPS 362781 HAS SOUS 252593 HAS SOUPS 251349 WITH SCORE 251713.894
AT ITER 6 NEW BEST:: SOT 476728 SOS 364900 HAS SOPS 362787 HAS SOUS 251906 HAS SOUPS 250662 WITH SCORE 251026.9
AT ITER 9 NEW BEST:: SOT 476817 SOS 364779 HAS SOPS 362699 HAS SOUS 251727 HAS SOUPS 250508 WITH SCORE 250872.779
AT ITER 14 NEW BEST:: SOT 476812 SOS 364774 HAS SOPS 362694 HAS SOUS 251587 HAS SOUPS 250368 WITH SCORE 250732.774
AT ITER 16 NEW BEST:: SOT 476554 SOS 364516 HAS SOPS 362436 HAS SOUS 251348 HAS SOUPS 250129 WITH SCORE 250493.516
AT ITER 20 NEW BEST:: SOT 475810 SOS 364096 HAS SOPS 362016 HAS SOUS 250308 HAS SOUPS 249089 WITH SCORE 249453.096
AT ITER 21 NEW BEST:: SOT 475694 SOS 363980 HAS SOPS 361900 HAS SOUS 249304 HAS SOUPS 248085 WITH SCORE 248448.98
AT ITER 26 NEW BEST:: SOT 475693 SOS 364181 HAS SOPS 362101 HAS SOUS 249001 HAS SOUPS 247782 WITH SCORE 248146.181
AT ITER 29 NEW BEST:: SOT 475693 SOS 364210 HAS SOPS 362130 HAS SOUS 248972 HAS SOUPS 247753 WITH SCORE 248117.21
AT ITER 32 NEW BEST:: SOT 475458 SOS 363975 HAS SOPS 361895 HAS SOUS 248060 HAS SOUPS 246841 WITH SCORE 247204.975
AT ITER 35 NEW BEST:: SOT 475420 SOS 363747 HAS SOPS 361667 HAS SOUS 247701 HAS SOUPS 246482 WITH SCORE 246845.747
AT ITER 36 NEW BEST:: SOT 475525 SOS 363244 HAS SOPS 361398 HAS SOUS 247554 HAS SOUPS 246415 WITH SCORE 246778.244
AT ITER 37 NEW BEST:: SOT 474531 SOS 362069 HAS SOPS 360223 HAS SOUS 246615 HAS SOUPS 245476 WITH SCORE 245838.069
AT ITER 38 NEW BEST:: SOT 473634 SOS 360946 HAS SOPS 359100 HAS SOUS 245347 HAS SOUPS 244208 WITH SCORE 244568.946
AT ITER 39 NEW BEST:: SOT 473605 SOS 360917 HAS SOPS 359071 HAS SOUS 245318 HAS SOUPS 244179 WITH SCORE 244539.917
AT ITER 40 NEW BEST:: SOT 473014 SOS 360326 HAS SOPS 358480 HAS SOUS 244580 HAS SOUPS 243441 WITH SCORE 243801.326
AT ITER 41 NEW BEST:: SOT 473057 SOS 360366 HAS SOPS 358520 HAS SOUS 244504 HAS SOUPS 243365 WITH SCORE 243725.366
AT ITER 42 NEW BEST:: SOT 472750 SOS 359268 HAS SOPS 357422 HAS SOUS 243970 HAS SOUPS 242831 WITH SCORE 243190.268
AT ITER 52 NEW BEST:: SOT 472744 SOS 359060 HAS SOPS 357195 HAS SOUS 243967 HAS SOUPS 242809 WITH SCORE 243168.06
AT ITER 53 NEW BEST:: SOT 468207 SOS 354451 HAS SOPS 352586 HAS SOUS 239358 HAS SOUPS 238200 WITH SCORE 238554.451
AT ITER 56 NEW BEST:: SOT 468207 SOS 354432 HAS SOPS 352598 HAS SOUS 239327 HAS SOUPS 238200 WITH SCORE 238554.432
AT ITER 60 NEW BEST:: SOT 468595 SOS 355189 HAS SOPS 352691 HAS SOUS 239403 HAS SOUPS 237967 WITH SCORE 238322.189
AT ITER 61 NEW BEST:: SOT 468478 SOS 355072 HAS SOPS 352574 HAS SOUS 239028 HAS SOUPS 237592 WITH SCORE 237947.072
AT ITER 63 NEW BEST:: SOT 468694 SOS 354894 HAS SOPS 352396 HAS SOUS 238848 HAS SOUPS 237412 WITH SCORE 237766.894
AT ITER 64 NEW BEST:: SOT 468671 SOS 354629 HAS SOPS 352131 HAS SOUS 238723 HAS SOUPS 237287 WITH SCORE 237641.629
AT ITER 74 NEW BEST:: SOT 468540 SOS 354689 HAS SOPS 352191 HAS SOUS 238590 HAS SOUPS 237154 WITH SCORE 237508.689
AT ITER 75 NEW BEST:: SOT 467436 SOS 353593 HAS SOPS 351095 HAS SOUS 237647 HAS SOUPS 236211 WITH SCORE 236564.593
AT ITER 79 NEW BEST:: SOT 466258 SOS 352415 HAS SOPS 349917 HAS SOUS 235699 HAS SOUPS 234263 WITH SCORE 234615.415
AT ITER 81 NEW BEST:: SOT 465162 SOS 350919 HAS SOPS 348421 HAS SOUS 234503 HAS SOUPS 233067 WITH SCORE 233417.919
AT ITER 85 NEW BEST:: SOT 465153 SOS 350910 HAS SOPS 348412 HAS SOUS 234467 HAS SOUPS 233031 WITH SCORE 233381.91
AT ITER 86 NEW BEST:: SOT 465119 SOS 350881 HAS SOPS 348383 HAS SOUS 234465 HAS SOUPS 233029 WITH SCORE 233379.881
AT ITER 91 NEW BEST:: SOT 464899 SOS 350551 HAS SOPS 348053 HAS SOUS 234135 HAS SOUPS 232699 WITH SCORE 233049.551
AT ITER 94 NEW BEST:: SOT 463421 SOS 348579 HAS SOPS 346128 HAS SOUS 231178 HAS SOUPS 229789 WITH SCORE 230137.579
AT ITER 98 NEW BEST:: SOT 463367 SOS 348471 HAS SOPS 346020 HAS SOUS 230962 HAS SOUPS 229573 WITH SCORE 229921.471
AT ITER 102 NEW BEST:: SOT 459616 SOS 345961 HAS SOPS 343510 HAS SOUS 228298 HAS SOUPS 226909 WITH SCORE 227254.961
AT ITER 104 NEW BEST:: SOT 459595 SOS 345956 HAS SOPS 343505 HAS SOUS 228275 HAS SOUPS 226886 WITH SCORE 227231.956
AT ITER 105 NEW BEST:: SOT 459588 SOS 345949 HAS SOPS 343498 HAS SOUS 228268 HAS SOUPS 226879 WITH SCORE 227224.949
AT ITER 111 NEW BEST:: SOT 459482 SOS 345843 HAS SOPS 343392 HAS SOUS 228162 HAS SOUPS 226773 WITH SCORE 227118.843
AT ITER 112 NEW BEST:: SOT 456140 SOS 342501 HAS SOPS 340050 HAS SOUS 224715 HAS SOUPS 223326 WITH SCORE 223668.501
AT ITER 113 NEW BEST:: SOT 453009 SOS 339370 HAS SOPS 336919 HAS SOUS 221580 HAS SOUPS 220191 WITH SCORE 220530.37
AT ITER 115 NEW BEST:: SOT 449328 SOS 336540 HAS SOPS 334089 HAS SOUS 218714 HAS SOUPS 217325 WITH SCORE 217661.54
AT ITER 118 NEW BEST:: SOT 449425 SOS 336637 HAS SOPS 334186 HAS SOUS 218712 HAS SOUPS 217323 WITH SCORE 217659.637
AT ITER 121 NEW BEST:: SOT 449707 SOS 337046 HAS SOPS 334330 HAS SOUS 218563 HAS SOUPS 217041 WITH SCORE 217378.046
AT ITER 122 NEW BEST:: SOT 449483 SOS 336236 HAS SOPS 333520 HAS SOUS 218102 HAS SOUPS 216580 WITH SCORE 216916.236
AT ITER 123 NEW BEST:: SOT 449482 SOS 336385 HAS SOPS 333669 HAS SOUS 216967 HAS SOUPS 215445 WITH SCORE 215781.385
AT ITER 130 NEW BEST:: SOT 448172 SOS 336719 HAS SOPS 334114 HAS SOUS 216018 HAS SOUPS 214560 WITH SCORE 214896.719
AT ITER 136 NEW BEST:: SOT 447998 SOS 336375 HAS SOPS 333770 HAS SOUS 215947 HAS SOUPS 214489 WITH SCORE 214825.375
AT ITER 137 NEW BEST:: SOT 447968 SOS 336345 HAS SOPS 333740 HAS SOUS 215917 HAS SOUPS 214459 WITH SCORE 214795.345
AT ITER 138 NEW BEST:: SOT 447838 SOS 336215 HAS SOPS 333610 HAS SOUS 215592 HAS SOUPS 214134 WITH SCORE 214470.215
AT ITER 147 NEW BEST:: SOT 445550 SOS 334193 HAS SOPS 331588 HAS SOUS 213428 HAS SOUPS 211970 WITH SCORE 212304.193
AT ITER 149 NEW BEST:: SOT 445545 SOS 334188 HAS SOPS 331583 HAS SOUS 213339 HAS SOUPS 211881 WITH SCORE 212215.188
AT ITER 150 NEW BEST:: SOT 445543 SOS 334330 HAS SOPS 331725 HAS SOUS 213211 HAS SOUPS 211753 WITH SCORE 212087.33
AT ITER 152 NEW BEST:: SOT 445456 SOS 334243 HAS SOPS 331638 HAS SOUS 212864 HAS SOUPS 211406 WITH SCORE 211740.243
AT ITER 154 NEW BEST:: SOT 444581 SOS 333252 HAS SOPS 330647 HAS SOUS 211873 HAS SOUPS 210415 WITH SCORE 210748.252
AT ITER 160 NEW BEST:: SOT 444550 SOS 333190 HAS SOPS 330585 HAS SOUS 211842 HAS SOUPS 210384 WITH SCORE 210717.19
AT ITER 163 NEW BEST:: SOT 444806 SOS 333760 HAS SOPS 331155 HAS SOUS 211730 HAS SOUPS 210272 WITH SCORE 210605.76
AT ITER 164 NEW BEST:: SOT 444876 SOS 334132 HAS SOPS 331527 HAS SOUS 211320 HAS SOUPS 209862 WITH SCORE 210196.132
AT ITER 165 NEW BEST:: SOT 444795 SOS 334125 HAS SOPS 331520 HAS SOUS 211239 HAS SOUPS 209781 WITH SCORE 210115.125
AT ITER 166 NEW BEST:: SOT 444520 SOS 333976 HAS SOPS 331371 HAS SOUS 210996 HAS SOUPS 209538 WITH SCORE 209871.976
AT ITER 170 NEW BEST:: SOT 444443 SOS 333976 HAS SOPS 331294 HAS SOUS 210876 HAS SOUPS 209341 WITH SCORE 209674.976
AT ITER 172 NEW BEST:: SOT 444442 SOS 333900 HAS SOPS 331218 HAS SOUS 210873 HAS SOUPS 209338 WITH SCORE 209671.9
AT ITER 179 NEW BEST:: SOT 444437 SOS 333880 HAS SOPS 331183 HAS SOUS 210843 HAS SOUPS 209308 WITH SCORE 209641.88
AT ITER 180 NEW BEST:: SOT 444437 SOS 333870 HAS SOPS 331173 HAS SOUS 210841 HAS SOUPS 209306 WITH SCORE 209639.87
AT ITER 185 NEW BEST:: SOT 443924 SOS 333149 HAS SOPS 330452 HAS SOUS 210206 HAS SOUPS 208671 WITH SCORE 209004.149
AT ITER 187 NEW BEST:: SOT 443924 SOS 333095 HAS SOPS 330398 HAS SOUS 210206 HAS SOUPS 208671 WITH SCORE 209004.095
AT ITER 190 NEW BEST:: SOT 443924 SOS 332179 HAS SOPS 329482 HAS SOUS 209916 HAS SOUPS 208381 WITH SCORE 208713.179
AT ITER 193 NEW BEST:: SOT 443879 SOS 332242 HAS SOPS 329545 HAS SOUS 209907 HAS SOUPS 208372 WITH SCORE 208704.242
AT ITER 197 NEW BEST:: SOT 443879 SOS 332148 HAS SOPS 329451 HAS SOUS 209860 HAS SOUPS 208325 WITH SCORE 208657.148
AT ITER 198 NEW BEST:: SOT 443888 SOS 332171 HAS SOPS 329345 HAS SOUS 209857 HAS SOUPS 208193 WITH SCORE 208525.171
AT ITER 201 NEW BEST:: SOT 444236 SOS 332058 HAS SOPS 329232 HAS SOUS 209709 HAS SOUPS 208045 WITH SCORE 208377.058
AT ITER 203 NEW BEST:: SOT 443287 SOS 331109 HAS SOPS 328283 HAS SOUS 208759 HAS SOUPS 207095 WITH SCORE 207426.109
AT ITER 204 NEW BEST:: SOT 443287 SOS 331121 HAS SOPS 328295 HAS SOUS 208745 HAS SOUPS 207081 WITH SCORE 207412.121
AT ITER 205 NEW BEST:: SOT 442902 SOS 331286 HAS SOPS 328460 HAS SOUS 207591 HAS SOUPS 205927 WITH SCORE 206258.286
AT ITER 207 NEW BEST:: SOT 439567 SOS 327474 HAS SOPS 324648 HAS SOUS 203994 HAS SOUPS 202330 WITH SCORE 202657.474
AT ITER 210 NEW BEST:: SOT 439565 SOS 327472 HAS SOPS 324646 HAS SOUS 203990 HAS SOUPS 202326 WITH SCORE 202653.472
AT ITER 213 NEW BEST:: SOT 438620 SOS 326551 HAS SOPS 323725 HAS SOUS 202878 HAS SOUPS 201214 WITH SCORE 201540.551
AT ITER 221 NEW BEST:: SOT 438845 SOS 325951 HAS SOPS 323125 HAS SOUS 202024 HAS SOUPS 200360 WITH SCORE 200685.951
AT ITER 225 NEW BEST:: SOT 438082 SOS 325146 HAS SOPS 322320 HAS SOUS 201666 HAS SOUPS 200002 WITH SCORE 200327.146
AT ITER 230 NEW BEST:: SOT 437083 SOS 324147 HAS SOPS 321321 HAS SOUS 200347 HAS SOUPS 198683 WITH SCORE 199007.147
AT ITER 231 NEW BEST:: SOT 436853 SOS 323854 HAS SOPS 321028 HAS SOUS 200054 HAS SOUPS 198390 WITH SCORE 198713.854
AT ITER 235 NEW BEST:: SOT 436831 SOS 323842 HAS SOPS 321016 HAS SOUS 200042 HAS SOUPS 198378 WITH SCORE 198701.842
AT ITER 237 NEW BEST:: SOT 436229 SOS 323367 HAS SOPS 320541 HAS SOUS 199600 HAS SOUPS 197936 WITH SCORE 198259.367
AT ITER 246 NEW BEST:: SOT 435696 SOS 322692 HAS SOPS 319866 HAS SOUS 199329 HAS SOUPS 197665 WITH SCORE 197987.692
AT ITER 255 NEW BEST:: SOT 435329 SOS 322323 HAS SOPS 319497 HAS SOUS 198918 HAS SOUPS 197254 WITH SCORE 197576.323
AT ITER 256 NEW BEST:: SOT 435329 SOS 322245 HAS SOPS 319419 HAS SOUS 198899 HAS SOUPS 197235 WITH SCORE 197557.245
AT ITER 257 NEW BEST:: SOT 435224 SOS 322059 HAS SOPS 319233 HAS SOUS 198594 HAS SOUPS 196930 WITH SCORE 197252.059
AT ITER 258 NEW BEST:: SOT 435143 SOS 321735 HAS SOPS 318909 HAS SOUS 198594 HAS SOUPS 196930 WITH SCORE 197251.735
AT ITER 260 NEW BEST:: SOT 435244 SOS 321966 HAS SOPS 319140 HAS SOUS 198418 HAS SOUPS 196754 WITH SCORE 197075.966
AT ITER 262 NEW BEST:: SOT 435249 SOS 321961 HAS SOPS 319135 HAS SOUS 198418 HAS SOUPS 196754 WITH SCORE 197075.961
AT ITER 263 NEW BEST:: SOT 435104 SOS 321810 HAS SOPS 318984 HAS SOUS 198267 HAS SOUPS 196603 WITH SCORE 196924.81
AT ITER 266 NEW BEST:: SOT 433649 SOS 320950 HAS SOPS 318124 HAS SOUS 197054 HAS SOUPS 195390 WITH SCORE 195710.95
AT ITER 269 NEW BEST:: SOT 433885 SOS 322953 HAS SOPS 320190 HAS SOUS 196802 HAS SOUPS 195069 WITH SCORE 195391.953
AT ITER 283 NEW BEST:: SOT 433876 SOS 322923 HAS SOPS 320160 HAS SOUS 196798 HAS SOUPS 195065 WITH SCORE 195387.923
AT ITER 284 NEW BEST:: SOT 433616 SOS 322839 HAS SOPS 320076 HAS SOUS 196366 HAS SOUPS 194633 WITH SCORE 194955.839
AT ITER 287 NEW BEST:: SOT 433838 SOS 322773 HAS SOPS 320056 HAS SOUS 196015 HAS SOUPS 194306 WITH SCORE 194628.773
AT ITER 288 NEW BEST:: SOT 433768 SOS 322703 HAS SOPS 319986 HAS SOUS 195984 HAS SOUPS 194275 WITH SCORE 194597.703
AT ITER 290 NEW BEST:: SOT 433598 SOS 322533 HAS SOPS 319816 HAS SOUS 195164 HAS SOUPS 193455 WITH SCORE 193777.533
AT ITER 295 NEW BEST:: SOT 433426 SOS 322231 HAS SOPS 319514 HAS SOUS 194323 HAS SOUPS 192614 WITH SCORE 192936.231
AT ITER 299 NEW BEST:: SOT 433553 SOS 322358 HAS SOPS 319641 HAS SOUS 194196 HAS SOUPS 192487 WITH SCORE 192809.358
AT ITER 300 NEW BEST:: SOT 433528 SOS 322079 HAS SOPS 319362 HAS SOUS 193917 HAS SOUPS 192208 WITH SCORE 192530.079
AT ITER 301 NEW BEST:: SOT 432841 SOS 321288 HAS SOPS 318571 HAS SOUS 193126 HAS SOUPS 191417 WITH SCORE 191738.288
AT ITER 306 NEW BEST:: SOT 432751 SOS 321183 HAS SOPS 318466 HAS SOUS 193021 HAS SOUPS 191312 WITH SCORE 191633.183
AT ITER 314 NEW BEST:: SOT 432779 SOS 321185 HAS SOPS 318468 HAS SOUS 192933 HAS SOUPS 191224 WITH SCORE 191545.185
AT ITER 316 NEW BEST:: SOT 432719 SOS 321125 HAS SOPS 318408 HAS SOUS 192913 HAS SOUPS 191204 WITH SCORE 191525.125
AT ITER 317 NEW BEST:: SOT 430358 SOS 318024 HAS SOPS 315267 HAS SOUS 190650 HAS SOUPS 188941 WITH SCORE 189259.024
AT ITER 319 NEW BEST:: SOT 430358 SOS 317969 HAS SOPS 315212 HAS SOUS 190603 HAS SOUPS 188894 WITH SCORE 189211.969
AT ITER 326 NEW BEST:: SOT 429140 SOS 316929 HAS SOPS 314172 HAS SOUS 189439 HAS SOUPS 187730 WITH SCORE 188046.929
AT ITER 329 NEW BEST:: SOT 428588 SOS 316447 HAS SOPS 313690 HAS SOUS 188827 HAS SOUPS 187118 WITH SCORE 187434.447
AT ITER 331 NEW BEST:: SOT 428495 SOS 316354 HAS SOPS 313597 HAS SOUS 188718 HAS SOUPS 187009 WITH SCORE 187325.354
AT ITER 334 NEW BEST:: SOT 428314 SOS 316304 HAS SOPS 313547 HAS SOUS 187999 HAS SOUPS 186290 WITH SCORE 186606.304
AT ITER 338 NEW BEST:: SOT 428203 SOS 316156 HAS SOPS 313399 HAS SOUS 187848 HAS SOUPS 186139 WITH SCORE 186455.156
AT ITER 343 NEW BEST:: SOT 428203 SOS 315933 HAS SOPS 313176 HAS SOUS 187611 HAS SOUPS 185902 WITH SCORE 186217.933
AT ITER 346 NEW BEST:: SOT 427756 SOS 315486 HAS SOPS 312833 HAS SOUS 187207 HAS SOUPS 185602 WITH SCORE 185917.486
AT ITER 350 NEW BEST:: SOT 427396 SOS 315259 HAS SOPS 312606 HAS SOUS 186907 HAS SOUPS 185302 WITH SCORE 185617.259
AT ITER 363 NEW BEST:: SOT 427394 SOS 315257 HAS SOPS 312604 HAS SOUS 186903 HAS SOUPS 185298 WITH SCORE 185613.257
AT ITER 365 NEW BEST:: SOT 427139 SOS 315002 HAS SOPS 312349 HAS SOUS 186863 HAS SOUPS 185258 WITH SCORE 185573.002
AT ITER 366 NEW BEST:: SOT 426641 SOS 314626 HAS SOPS 311973 HAS SOUS 186209 HAS SOUPS 184604 WITH SCORE 184918.626
AT ITER 367 NEW BEST:: SOT 426633 SOS 314618 HAS SOPS 311965 HAS SOUS 186198 HAS SOUPS 184593 WITH SCORE 184907.618
AT ITER 373 NEW BEST:: SOT 426496 SOS 314830 HAS SOPS 312177 HAS SOUS 185982 HAS SOUPS 184377 WITH SCORE 184691.83
AT ITER 374 NEW BEST:: SOT 426095 SOS 314224 HAS SOPS 311571 HAS SOUS 185845 HAS SOUPS 184240 WITH SCORE 184554.224
AT ITER 375 NEW BEST:: SOT 426045 SOS 314124 HAS SOPS 311471 HAS SOUS 185695 HAS SOUPS 184090 WITH SCORE 184404.124
AT ITER 380 NEW BEST:: SOT 423211 SOS 311918 HAS SOPS 309265 HAS SOUS 183047 HAS SOUPS 181442 WITH SCORE 181753.918
AT ITER 384 NEW BEST:: SOT 423003 SOS 312107 HAS SOPS 309454 HAS SOUS 182864 HAS SOUPS 181259 WITH SCORE 181571.107
AT ITER 388 NEW BEST:: SOT 422470 SOS 311402 HAS SOPS 308749 HAS SOUS 182711 HAS SOUPS 181106 WITH SCORE 181417.402
AT ITER 389 NEW BEST:: SOT 422301 SOS 311544 HAS SOPS 308891 HAS SOUS 182689 HAS SOUPS 181084 WITH SCORE 181395.544
AT ITER 407 NEW BEST:: SOT 421450 SOS 310906 HAS SOPS 308253 HAS SOUS 181871 HAS SOUPS 180266 WITH SCORE 180576.906
AT ITER 409 NEW BEST:: SOT 418195 SOS 307651 HAS SOPS 304998 HAS SOUS 177967 HAS SOUPS 176362 WITH SCORE 176669.651
AT ITER 412 NEW BEST:: SOT 418139 SOS 307542 HAS SOPS 304902 HAS SOUS 177952 HAS SOUPS 176360 WITH SCORE 176667.542
AT ITER 416 NEW BEST:: SOT 418026 SOS 307343 HAS SOPS 304703 HAS SOUS 177581 HAS SOUPS 175989 WITH SCORE 176296.343
AT ITER 419 NEW BEST:: SOT 417972 SOS 307289 HAS SOPS 304649 HAS SOUS 177492 HAS SOUPS 175900 WITH SCORE 176207.289
AT ITER 421 NEW BEST:: SOT 417834 SOS 307504 HAS SOPS 304864 HAS SOUS 176275 HAS SOUPS 174683 WITH SCORE 174990.504
AT ITER 426 NEW BEST:: SOT 417626 SOS 307296 HAS SOPS 304656 HAS SOUS 176067 HAS SOUPS 174475 WITH SCORE 174782.296
AT ITER 429 NEW BEST:: SOT 417123 SOS 306282 HAS SOPS 303642 HAS SOUS 175870 HAS SOUPS 174278 WITH SCORE 174584.282
AT ITER 430 NEW BEST:: SOT 417123 SOS 304989 HAS SOPS 302349 HAS SOUS 175777 HAS SOUPS 174185 WITH SCORE 174489.989
AT ITER 434 NEW BEST:: SOT 417112 SOS 304883 HAS SOPS 302243 HAS SOUS 175416 HAS SOUPS 173824 WITH SCORE 174128.883
AT ITER 441 NEW BEST:: SOT 416143 SOS 305146 HAS SOPS 302506 HAS SOUS 175173 HAS SOUPS 173581 WITH SCORE 173886.146
AT ITER 443 NEW BEST:: SOT 415700 SOS 303984 HAS SOPS 301386 HAS SOUS 174553 HAS SOUPS 173003 WITH SCORE 173306.984
AT ITER 447 NEW BEST:: SOT 415700 SOS 303952 HAS SOPS 301354 HAS SOUS 174448 HAS SOUPS 172898 WITH SCORE 173201.952
AT ITER 461 NEW BEST:: SOT 415314 SOS 303741 HAS SOPS 301143 HAS SOUS 173503 HAS SOUPS 171953 WITH SCORE 172256.741
AT ITER 462 NEW BEST:: SOT 415056 SOS 303547 HAS SOPS 300949 HAS SOUS 173321 HAS SOUPS 171771 WITH SCORE 172074.547
AT ITER 467 NEW BEST:: SOT 415056 SOS 303500 HAS SOPS 300741 HAS SOUS 173266 HAS SOUPS 171555 WITH SCORE 171858.5
AT ITER 468 NEW BEST:: SOT 414978 SOS 303290 HAS SOPS 300531 HAS SOUS 173244 HAS SOUPS 171533 WITH SCORE 171836.29
AT ITER 477 NEW BEST:: SOT 414611 SOS 302860 HAS SOPS 300101 HAS SOUS 172916 HAS SOUPS 171205 WITH SCORE 171507.86
AT ITER 479 NEW BEST:: SOT 414611 SOS 303050 HAS SOPS 300291 HAS SOUS 172764 HAS SOUPS 171053 WITH SCORE 171356.05
AT ITER 480 NEW BEST:: SOT 414344 SOS 302487 HAS SOPS 298716 HAS SOUS 172206 HAS SOUPS 169483 WITH SCORE 169785.487
AT ITER 482 NEW BEST:: SOT 414040 SOS 302020 HAS SOPS 298249 HAS SOUS 171374 HAS SOUPS 168651 WITH SCORE 168953.02
AT ITER 484 NEW BEST:: SOT 413692 SOS 301498 HAS SOPS 297727 HAS SOUS 171063 HAS SOUPS 168340 WITH SCORE 168641.498
AT ITER 486 NEW BEST:: SOT 412823 SOS 300900 HAS SOPS 297129 HAS SOUS 170712 HAS SOUPS 167989 WITH SCORE 168289.9
AT ITER 488 NEW BEST:: SOT 412890 SOS 300967 HAS SOPS 297196 HAS SOUS 170583 HAS SOUPS 167860 WITH SCORE 168160.967
AT ITER 491 NEW BEST:: SOT 412971 SOS 301048 HAS SOPS 297277 HAS SOUS 170495 HAS SOUPS 167772 WITH SCORE 168073.048
AT ITER 498 NEW BEST:: SOT 412971 SOS 301022 HAS SOPS 297251 HAS SOUS 170493 HAS SOUPS 167770 WITH SCORE 168071.022
AT ITER 499 NEW BEST:: SOT 413181 SOS 301412 HAS SOPS 297641 HAS SOUS 170373 HAS SOUPS 167650 WITH SCORE 167951.412
AT ITER 502 NEW BEST:: SOT 412934 SOS 301317 HAS SOPS 297546 HAS SOUS 170317 HAS SOUPS 167594 WITH SCORE 167895.317
AT ITER 504 NEW BEST:: SOT 412934 SOS 301249 HAS SOPS 297478 HAS SOUS 170300 HAS SOUPS 167577 WITH SCORE 167878.249
AT ITER 506 NEW BEST:: SOT 412761 SOS 301028 HAS SOPS 297257 HAS SOUS 170091 HAS SOUPS 167368 WITH SCORE 167669.028
AT ITER 509 NEW BEST:: SOT 413165 SOS 302134 HAS SOPS 298403 HAS SOUS 169999 HAS SOUPS 167316 WITH SCORE 167618.134
AT ITER 512 NEW BEST:: SOT 412427 SOS 301259 HAS SOPS 297528 HAS SOUS 169301 HAS SOUPS 166618 WITH SCORE 166919.259
AT ITER 514 NEW BEST:: SOT 412424 SOS 301242 HAS SOPS 297511 HAS SOUS 169284 HAS SOUPS 166601 WITH SCORE 166902.242
AT ITER 515 NEW BEST:: SOT 412482 SOS 301350 HAS SOPS 297619 HAS SOUS 169155 HAS SOUPS 166472 WITH SCORE 166773.35
AT ITER 516 NEW BEST:: SOT 412630 SOS 301498 HAS SOPS 297767 HAS SOUS 169136 HAS SOUPS 166453 WITH SCORE 166754.498
AT ITER 518 NEW BEST:: SOT 412547 SOS 301415 HAS SOPS 297684 HAS SOUS 169134 HAS SOUPS 166451 WITH SCORE 166752.415
AT ITER 519 NEW BEST:: SOT 412305 SOS 300991 HAS SOPS 297260 HAS SOUS 168998 HAS SOUPS 166315 WITH SCORE 166615.991
AT ITER 523 NEW BEST:: SOT 412335 SOS 301107 HAS SOPS 297376 HAS SOUS 168997 HAS SOUPS 166314 WITH SCORE 166615.107
AT ITER 525 NEW BEST:: SOT 412365 SOS 301261 HAS SOPS 297530 HAS SOUS 168994 HAS SOUPS 166311 WITH SCORE 166612.261
AT ITER 526 NEW BEST:: SOT 411880 SOS 300776 HAS SOPS 297105 HAS SOUS 168389 HAS SOUPS 165766 WITH SCORE 166066.776
AT ITER 530 NEW BEST:: SOT 411824 SOS 300748 HAS SOPS 297119 HAS SOUS 168263 HAS SOUPS 165682 WITH SCORE 165982.748
AT ITER 534 NEW BEST:: SOT 412076 SOS 300976 HAS SOPS 297222 HAS SOUS 168029 HAS SOUPS 165323 WITH SCORE 165623.976
AT ITER 537 NEW BEST:: SOT 408079 SOS 297827 HAS SOPS 294073 HAS SOUS 164663 HAS SOUPS 161957 WITH SCORE 162254.827
AT ITER 538 NEW BEST:: SOT 408162 SOS 297910 HAS SOPS 294156 HAS SOUS 164558 HAS SOUPS 161852 WITH SCORE 162149.91
AT ITER 542 NEW BEST:: SOT 404657 SOS 294363 HAS SOPS 290609 HAS SOUS 161012 HAS SOUPS 158306 WITH SCORE 158600.363
AT ITER 545 NEW BEST:: SOT 404275 SOS 293981 HAS SOPS 290227 HAS SOUS 160794 HAS SOUPS 158088 WITH SCORE 158381.981
AT ITER 547 NEW BEST:: SOT 404272 SOS 294415 HAS SOPS 290764 HAS SOUS 160117 HAS SOUPS 157489 WITH SCORE 157783.415
AT ITER 549 NEW BEST:: SOT 404217 SOS 294360 HAS SOPS 290709 HAS SOUS 160002 HAS SOUPS 157374 WITH SCORE 157668.36
AT ITER 551 NEW BEST:: SOT 404097 SOS 293713 HAS SOPS 290062 HAS SOUS 159494 HAS SOUPS 156866 WITH SCORE 157159.713
AT ITER 552 NEW BEST:: SOT 404114 SOS 293790 HAS SOPS 290139 HAS SOUS 159391 HAS SOUPS 156763 WITH SCORE 157056.79
AT ITER 561 NEW BEST:: SOT 404114 SOS 293340 HAS SOPS 289689 HAS SOUS 159316 HAS SOUPS 156688 WITH SCORE 156981.34
AT ITER 564 NEW BEST:: SOT 404147 SOS 291153 HAS SOPS 287502 HAS SOUS 159158 HAS SOUPS 156530 WITH SCORE 156821.153
AT ITER 568 NEW BEST:: SOT 404043 SOS 290895 HAS SOPS 287244 HAS SOUS 158823 HAS SOUPS 156195 WITH SCORE 156485.895
AT ITER 569 NEW BEST:: SOT 404016 SOS 290868 HAS SOPS 287217 HAS SOUS 158730 HAS SOUPS 156102 WITH SCORE 156392.868
AT ITER 581 NEW BEST:: SOT 404016 SOS 290628 HAS SOPS 286977 HAS SOUS 158634 HAS SOUPS 156006 WITH SCORE 156296.628
AT ITER 582 NEW BEST:: SOT 404142 SOS 290714 HAS SOPS 287063 HAS SOUS 158571 HAS SOUPS 155943 WITH SCORE 156233.714
AT ITER 587 NEW BEST:: SOT 403962 SOS 290534 HAS SOPS 286883 HAS SOUS 158323 HAS SOUPS 155695 WITH SCORE 155985.534
AT ITER 590 NEW BEST:: SOT 403962 SOS 290520 HAS SOPS 286869 HAS SOUS 158295 HAS SOUPS 155667 WITH SCORE 155957.52
AT ITER 592 NEW BEST:: SOT 403217 SOS 289823 HAS SOPS 286172 HAS SOUS 157845 HAS SOUPS 155217 WITH SCORE 155506.823
AT ITER 602 NEW BEST:: SOT 402881 SOS 290139 HAS SOPS 286488 HAS SOUS 157205 HAS SOUPS 154577 WITH SCORE 154867.139
AT ITER 607 NEW BEST:: SOT 402829 SOS 290114 HAS SOPS 286463 HAS SOUS 157189 HAS SOUPS 154561 WITH SCORE 154851.114
AT ITER 616 NEW BEST:: SOT 402752 SOS 289966 HAS SOPS 286345 HAS SOUS 157139 HAS SOUPS 154541 WITH SCORE 154830.966
AT ITER 619 NEW BEST:: SOT 402776 SOS 290125 HAS SOPS 286504 HAS SOUS 157034 HAS SOUPS 154436 WITH SCORE 154726.125
AT ITER 624 NEW BEST:: SOT 402103 SOS 289452 HAS SOPS 285831 HAS SOUS 156361 HAS SOUPS 153763 WITH SCORE 154052.452
AT ITER 627 NEW BEST:: SOT 400532 SOS 289056 HAS SOPS 285435 HAS SOUS 155494 HAS SOUPS 152896 WITH SCORE 153185.056
AT ITER 629 NEW BEST:: SOT 400532 SOS 289106 HAS SOPS 285385 HAS SOUS 155294 HAS SOUPS 152646 WITH SCORE 152935.106
AT ITER 631 NEW BEST:: SOT 401090 SOS 289664 HAS SOPS 285943 HAS SOUS 155280 HAS SOUPS 152632 WITH SCORE 152921.664
AT ITER 637 NEW BEST:: SOT 401153 SOS 289243 HAS SOPS 285767 HAS SOUS 155117 HAS SOUPS 152592 WITH SCORE 152881.243
AT ITER 638 NEW BEST:: SOT 400369 SOS 288215 HAS SOPS 284985 HAS SOUS 154805 HAS SOUPS 152436 WITH SCORE 152724.215
AT ITER 643 NEW BEST:: SOT 400327 SOS 288173 HAS SOPS 284943 HAS SOUS 154609 HAS SOUPS 152240 WITH SCORE 152528.173
AT ITER 648 NEW BEST:: SOT 400267 SOS 288131 HAS SOPS 284901 HAS SOUS 154499 HAS SOUPS 152130 WITH SCORE 152418.131
AT ITER 653 NEW BEST:: SOT 400260 SOS 288124 HAS SOPS 284894 HAS SOUS 154492 HAS SOUPS 152123 WITH SCORE 152411.124
AT ITER 663 NEW BEST:: SOT 399864 SOS 287958 HAS SOPS 284728 HAS SOUS 154299 HAS SOUPS 151930 WITH SCORE 152217.958
AT ITER 665 NEW BEST:: SOT 399700 SOS 287794 HAS SOPS 284564 HAS SOUS 154114 HAS SOUPS 151745 WITH SCORE 152032.794
AT ITER 671 NEW BEST:: SOT 399512 SOS 287606 HAS SOPS 284376 HAS SOUS 154040 HAS SOUPS 151671 WITH SCORE 151958.606
AT ITER 680 NEW BEST:: SOT 399572 SOS 287666 HAS SOPS 284436 HAS SOUS 154036 HAS SOUPS 151667 WITH SCORE 151954.666
AT ITER 691 NEW BEST:: SOT 399888 SOS 288133 HAS SOPS 284903 HAS SOUS 153965 HAS SOUPS 151596 WITH SCORE 151884.133
AT ITER 693 NEW BEST:: SOT 399884 SOS 288129 HAS SOPS 284899 HAS SOUS 153956 HAS SOUPS 151587 WITH SCORE 151875.129
AT ITER 695 NEW BEST:: SOT 399922 SOS 288097 HAS SOPS 284867 HAS SOUS 153920 HAS SOUPS 151551 WITH SCORE 151839.097
AT ITER 715 NEW BEST:: SOT 399886 SOS 288039 HAS SOPS 284809 HAS SOUS 153862 HAS SOUPS 151493 WITH SCORE 151781.039
AT ITER 717 NEW BEST:: SOT 399225 SOS 288428 HAS SOPS 285178 HAS SOUS 153828 HAS SOUPS 151439 WITH SCORE 151727.428
AT ITER 726 NEW BEST:: SOT 399219 SOS 288363 HAS SOPS 285113 HAS SOUS 153757 HAS SOUPS 151368 WITH SCORE 151656.363
AT ITER 728 NEW BEST:: SOT 399137 SOS 288242 HAS SOPS 284992 HAS SOUS 153640 HAS SOUPS 151251 WITH SCORE 151539.242
AT ITER 743 NEW BEST:: SOT 399096 SOS 288201 HAS SOPS 284951 HAS SOUS 153583 HAS SOUPS 151194 WITH SCORE 151482.201
AT ITER 748 NEW BEST:: SOT 399148 SOS 287411 HAS SOPS 284161 HAS SOUS 153348 HAS SOUPS 150959 WITH SCORE 151246.411
AT ITER 755 NEW BEST:: SOT 398811 SOS 287648 HAS SOPS 284398 HAS SOUS 153294 HAS SOUPS 150905 WITH SCORE 151192.648
AT ITER 756 NEW BEST:: SOT 398811 SOS 287648 HAS SOPS 284398 HAS SOUS 153270 HAS SOUPS 150881 WITH SCORE 151168.648
AT ITER 770 NEW BEST:: SOT 398807 SOS 287643 HAS SOPS 284393 HAS SOUS 153260 HAS SOUPS 150871 WITH SCORE 151158.643
AT ITER 774 NEW BEST:: SOT 398807 SOS 287592 HAS SOPS 284308 HAS SOUS 153277 HAS SOUPS 150871 WITH SCORE 151158.592
AT ITER 798 NEW BEST:: SOT 398447 SOS 286984 HAS SOPS 283700 HAS SOUS 153184 HAS SOUPS 150778 WITH SCORE 151064.984
AT ITER 807 NEW BEST:: SOT 398467 SOS 287000 HAS SOPS 283716 HAS SOUS 153068 HAS SOUPS 150662 WITH SCORE 150949.0
AT ITER 816 NEW BEST:: SOT 398498 SOS 287081 HAS SOPS 283797 HAS SOUS 153005 HAS SOUPS 150599 WITH SCORE 150886.081
AT ITER 821 NEW BEST:: SOT 398461 SOS 287044 HAS SOPS 283760 HAS SOUS 152960 HAS SOUPS 150554 WITH SCORE 150841.044
AT ITER 826 NEW BEST:: SOT 397566 SOS 285977 HAS SOPS 282693 HAS SOUS 152140 HAS SOUPS 149734 WITH SCORE 150019.977
AT ITER 831 NEW BEST:: SOT 397502 SOS 285913 HAS SOPS 282629 HAS SOUS 152036 HAS SOUPS 149630 WITH SCORE 149915.913
AT ITER 833 NEW BEST:: SOT 397725 SOS 285769 HAS SOPS 281800 HAS SOUS 152407 HAS SOUPS 149316 WITH SCORE 149601.769
AT ITER 835 NEW BEST:: SOT 397231 SOS 286732 HAS SOPS 282763 HAS SOUS 152122 HAS SOUPS 149031 WITH SCORE 149317.732
AT ITER 836 NEW BEST:: SOT 394303 SOS 286303 HAS SOPS 282334 HAS SOUS 151066 HAS SOUPS 147975 WITH SCORE 148261.303
AT ITER 837 NEW BEST:: SOT 394295 SOS 286279 HAS SOPS 282270 HAS SOUS 151018 HAS SOUPS 147887 WITH SCORE 148173.279
AT ITER 839 NEW BEST:: SOT 394275 SOS 286311 HAS SOPS 282302 HAS SOUS 150945 HAS SOUPS 147814 WITH SCORE 148100.311
AT ITER 841 NEW BEST:: SOT 394312 SOS 286348 HAS SOPS 282339 HAS SOUS 150787 HAS SOUPS 147656 WITH SCORE 147942.348
AT ITER 846 NEW BEST:: SOT 393596 SOS 285632 HAS SOPS 281623 HAS SOUS 150446 HAS SOUPS 147315 WITH SCORE 147600.632
AT ITER 848 NEW BEST:: SOT 393578 SOS 285614 HAS SOPS 281605 HAS SOUS 150428 HAS SOUPS 147297 WITH SCORE 147582.614
AT ITER 849 NEW BEST:: SOT 393431 SOS 285453 HAS SOPS 281444 HAS SOUS 150167 HAS SOUPS 147036 WITH SCORE 147321.453
AT ITER 860 NEW BEST:: SOT 393289 SOS 285267 HAS SOPS 281062 HAS SOUS 149927 HAS SOUPS 146600 WITH SCORE 146885.267
AT ITER 861 NEW BEST:: SOT 393192 SOS 285158 HAS SOPS 280953 HAS SOUS 149699 HAS SOUPS 146372 WITH SCORE 146657.158
AT ITER 863 NEW BEST:: SOT 392826 SOS 284792 HAS SOPS 280587 HAS SOUS 149539 HAS SOUPS 146212 WITH SCORE 146496.792
AT ITER 869 NEW BEST:: SOT 392841 SOS 284542 HAS SOPS 280072 HAS SOUS 148956 HAS SOUPS 145364 WITH SCORE 145648.542
AT ITER 885 NEW BEST:: SOT 392194 SOS 283950 HAS SOPS 279480 HAS SOUS 148682 HAS SOUPS 145090 WITH SCORE 145373.95
AT ITER 889 NEW BEST:: SOT 392197 SOS 283953 HAS SOPS 279483 HAS SOUS 148631 HAS SOUPS 145039 WITH SCORE 145322.953
AT ITER 896 NEW BEST:: SOT 392093 SOS 283745 HAS SOPS 279275 HAS SOUS 148351 HAS SOUPS 144759 WITH SCORE 145042.745
AT ITER 900 NEW BEST:: SOT 391852 SOS 283546 HAS SOPS 279076 HAS SOUS 148164 HAS SOUPS 144572 WITH SCORE 144855.546
AT ITER 901 NEW BEST:: SOT 391261 SOS 283167 HAS SOPS 278976 HAS SOUS 147551 HAS SOUPS 144238 WITH SCORE 144521.167
AT ITER 910 NEW BEST:: SOT 391240 SOS 283146 HAS SOPS 278955 HAS SOUS 147530 HAS SOUPS 144217 WITH SCORE 144500.146
AT ITER 914 NEW BEST:: SOT 390873 SOS 282292 HAS SOPS 278101 HAS SOUS 147213 HAS SOUPS 143900 WITH SCORE 144182.292
AT ITER 915 NEW BEST:: SOT 390818 SOS 282351 HAS SOPS 278160 HAS SOUS 147161 HAS SOUPS 143848 WITH SCORE 144130.351
AT ITER 917 NEW BEST:: SOT 390760 SOS 282177 HAS SOPS 277986 HAS SOUS 146836 HAS SOUPS 143523 WITH SCORE 143805.177
AT ITER 931 NEW BEST:: SOT 390699 SOS 282116 HAS SOPS 277925 HAS SOUS 146167 HAS SOUPS 142854 WITH SCORE 143136.116
AT ITER 932 NEW BEST:: SOT 390731 SOS 282015 HAS SOPS 277908 HAS SOUS 146095 HAS SOUPS 142825 WITH SCORE 143107.015
AT ITER 935 NEW BEST:: SOT 390642 SOS 282040 HAS SOPS 277933 HAS SOUS 145892 HAS SOUPS 142622 WITH SCORE 142904.04
AT ITER 958 NEW BEST:: SOT 390460 SOS 281801 HAS SOPS 277694 HAS SOUS 145118 HAS SOUPS 141848 WITH SCORE 142129.801
AT ITER 962 NEW BEST:: SOT 391536 SOS 282877 HAS SOPS 278770 HAS SOUS 145038 HAS SOUPS 141768 WITH SCORE 142050.877
AT ITER 970 NEW BEST:: SOT 391530 SOS 282420 HAS SOPS 278313 HAS SOUS 145031 HAS SOUPS 141761 WITH SCORE 142043.42
AT ITER 974 NEW BEST:: SOT 391740 SOS 282656 HAS SOPS 278300 HAS SOUS 145068 HAS SOUPS 141669 WITH SCORE 141951.656
AT ITER 975 NEW BEST:: SOT 391721 SOS 282637 HAS SOPS 278281 HAS SOUS 144807 HAS SOUPS 141408 WITH SCORE 141690.637
AT ITER 980 NEW BEST:: SOT 391631 SOS 282547 HAS SOPS 278191 HAS SOUS 144695 HAS SOUPS 141296 WITH SCORE 141578.547
AT ITER 982 NEW BEST:: SOT 390243 SOS 281968 HAS SOPS 277612 HAS SOUS 144097 HAS SOUPS 140698 WITH SCORE 140979.968
AT ITER 986 NEW BEST:: SOT 390205 SOS 281930 HAS SOPS 277574 HAS SOUS 144059 HAS SOUPS 140660 WITH SCORE 140941.93
AT ITER 991 NEW BEST:: SOT 390099 SOS 281082 HAS SOPS 276726 HAS SOUS 144059 HAS SOUPS 140660 WITH SCORE 140941.082
AT ITER 995 NEW BEST:: SOT 389738 SOS 281168 HAS SOPS 276812 HAS SOUS 143862 HAS SOUPS 140463 WITH SCORE 140744.168
AT ITER 1010 NEW BEST:: SOT 389714 SOS 280812 HAS SOPS 276588 HAS SOUS 143794 HAS SOUPS 140439 WITH SCORE 140719.812
AT ITER 1015 NEW BEST:: SOT 389575 SOS 280565 HAS SOPS 276341 HAS SOUS 143784 HAS SOUPS 140429 WITH SCORE 140709.565
AT ITER 1031 NEW BEST:: SOT 389025 SOS 280015 HAS SOPS 275791 HAS SOUS 143213 HAS SOUPS 139858 WITH SCORE 140138.015
AT ITER 1046 NEW BEST:: SOT 389061 SOS 280044 HAS SOPS 275820 HAS SOUS 143015 HAS SOUPS 139660 WITH SCORE 139940.044
AT ITER 1049 NEW BEST:: SOT 389065 SOS 280048 HAS SOPS 275824 HAS SOUS 143013 HAS SOUPS 139658 WITH SCORE 139938.048
AT ITER 1051 NEW BEST:: SOT 389089 SOS 280072 HAS SOPS 275848 HAS SOUS 143005 HAS SOUPS 139650 WITH SCORE 139930.072
AT ITER 1055 NEW BEST:: SOT 389146 SOS 280515 HAS SOPS 276291 HAS SOUS 142873 HAS SOUPS 139518 WITH SCORE 139798.515
AT ITER 1068 NEW BEST:: SOT 388764 SOS 278919 HAS SOPS 274695 HAS SOUS 141409 HAS SOUPS 138054 WITH SCORE 138332.919
AT ITER 1073 NEW BEST:: SOT 388241 SOS 277030 HAS SOPS 272935 HAS SOUS 141107 HAS SOUPS 137761 WITH SCORE 138038.03
AT ITER 1079 NEW BEST:: SOT 388215 SOS 277004 HAS SOPS 272909 HAS SOUS 141081 HAS SOUPS 137735 WITH SCORE 138012.004
AT ITER 1081 NEW BEST:: SOT 388091 SOS 276880 HAS SOPS 272785 HAS SOUS 140883 HAS SOUPS 137537 WITH SCORE 137813.88
AT ITER 1082 NEW BEST:: SOT 387443 SOS 276342 HAS SOPS 272247 HAS SOUS 140095 HAS SOUPS 136749 WITH SCORE 137025.342
AT ITER 1091 NEW BEST:: SOT 387443 SOS 276357 HAS SOPS 272262 HAS SOUS 140061 HAS SOUPS 136715 WITH SCORE 136991.357
AT ITER 1093 NEW BEST:: SOT 387278 SOS 276033 HAS SOPS 271938 HAS SOUS 139833 HAS SOUPS 136487 WITH SCORE 136763.033
AT ITER 1098 NEW BEST:: SOT 387042 SOS 275797 HAS SOPS 271702 HAS SOUS 139544 HAS SOUPS 136198 WITH SCORE 136473.797
AT ITER 1102 NEW BEST:: SOT 387088 SOS 275843 HAS SOPS 271748 HAS SOUS 139452 HAS SOUPS 136106 WITH SCORE 136381.843
AT ITER 1105 NEW BEST:: SOT 385997 SOS 274470 HAS SOPS 270375 HAS SOUS 138528 HAS SOUPS 135182 WITH SCORE 135456.47
AT ITER 1108 NEW BEST:: SOT 385731 SOS 274134 HAS SOPS 270039 HAS SOUS 138272 HAS SOUPS 134926 WITH SCORE 135200.134
AT ITER 1118 NEW BEST:: SOT 385556 SOS 273946 HAS SOPS 269722 HAS SOUS 137322 HAS SOUPS 133967 WITH SCORE 134240.946
AT ITER 1119 NEW BEST:: SOT 385688 SOS 274185 HAS SOPS 269961 HAS SOUS 137314 HAS SOUPS 133959 WITH SCORE 134233.185
AT ITER 1138 NEW BEST:: SOT 383673 SOS 272270 HAS SOPS 268046 HAS SOUS 135553 HAS SOUPS 132198 WITH SCORE 132470.27
AT ITER 1146 NEW BEST:: SOT 383670 SOS 272263 HAS SOPS 268039 HAS SOUS 135552 HAS SOUPS 132197 WITH SCORE 132469.263
AT ITER 1150 NEW BEST:: SOT 383670 SOS 272199 HAS SOPS 267975 HAS SOUS 135504 HAS SOUPS 132149 WITH SCORE 132421.199
AT ITER 1151 NEW BEST:: SOT 382871 SOS 272021 HAS SOPS 267570 HAS SOUS 135588 HAS SOUPS 132006 WITH SCORE 132278.021
AT ITER 1154 NEW BEST:: SOT 382567 SOS 271717 HAS SOPS 267266 HAS SOUS 135284 HAS SOUPS 131702 WITH SCORE 131973.717
AT ITER 1158 NEW BEST:: SOT 383227 SOS 270966 HAS SOPS 266515 HAS SOUS 135111 HAS SOUPS 131529 WITH SCORE 131799.966
AT ITER 1163 NEW BEST:: SOT 383233 SOS 270922 HAS SOPS 266471 HAS SOUS 134841 HAS SOUPS 131259 WITH SCORE 131529.922
AT ITER 1168 NEW BEST:: SOT 383204 SOS 270884 HAS SOPS 266433 HAS SOUS 134803 HAS SOUPS 131221 WITH SCORE 131491.884
AT ITER 1170 NEW BEST:: SOT 383359 SOS 270683 HAS SOPS 266232 HAS SOUS 134543 HAS SOUPS 130961 WITH SCORE 131231.683
AT ITER 1172 NEW BEST:: SOT 383335 SOS 270649 HAS SOPS 266198 HAS SOUS 134519 HAS SOUPS 130937 WITH SCORE 131207.649
AT ITER 1186 NEW BEST:: SOT 383369 SOS 270675 HAS SOPS 266224 HAS SOUS 134450 HAS SOUPS 130868 WITH SCORE 131138.675
AT ITER 1189 NEW BEST:: SOT 383143 SOS 270461 HAS SOPS 266010 HAS SOUS 134118 HAS SOUPS 130536 WITH SCORE 130806.461
AT ITER 1207 NEW BEST:: SOT 383136 SOS 270426 HAS SOPS 265968 HAS SOUS 134083 HAS SOUPS 130494 WITH SCORE 130764.426
AT ITER 1212 NEW BEST:: SOT 383129 SOS 270395 HAS SOPS 265937 HAS SOUS 134083 HAS SOUPS 130494 WITH SCORE 130764.395
AT ITER 1218 NEW BEST:: SOT 382254 SOS 271614 HAS SOPS 267156 HAS SOUS 133800 HAS SOUPS 130211 WITH SCORE 130482.614
AT ITER 1225 NEW BEST:: SOT 382200 SOS 271344 HAS SOPS 266886 HAS SOUS 133710 HAS SOUPS 130121 WITH SCORE 130392.344
AT ITER 1234 NEW BEST:: SOT 381959 SOS 270890 HAS SOPS 266432 HAS SOUS 133496 HAS SOUPS 129907 WITH SCORE 130177.89
AT ITER 1246 NEW BEST:: SOT 381882 SOS 270767 HAS SOPS 266309 HAS SOUS 133464 HAS SOUPS 129875 WITH SCORE 130145.767
AT ITER 1251 NEW BEST:: SOT 381702 SOS 270587 HAS SOPS 266129 HAS SOUS 133222 HAS SOUPS 129633 WITH SCORE 129903.587
AT ITER 1267 NEW BEST:: SOT 381702 SOS 270597 HAS SOPS 266139 HAS SOUS 133196 HAS SOUPS 129607 WITH SCORE 129877.597
AT ITER 1271 NEW BEST:: SOT 380066 SOS 269049 HAS SOPS 264781 HAS SOUS 132105 HAS SOUPS 128706 WITH SCORE 128975.049
AT ITER 1272 NEW BEST:: SOT 380050 SOS 269025 HAS SOPS 264757 HAS SOUS 132073 HAS SOUPS 128674 WITH SCORE 128943.025
AT ITER 1279 NEW BEST:: SOT 379899 SOS 269250 HAS SOPS 264606 HAS SOUS 132087 HAS SOUPS 128420 WITH SCORE 128689.25
AT ITER 1282 NEW BEST:: SOT 379911 SOS 269268 HAS SOPS 264627 HAS SOUS 132039 HAS SOUPS 128375 WITH SCORE 128644.268
AT ITER 1283 NEW BEST:: SOT 379795 SOS 268911 HAS SOPS 264511 HAS SOUS 131893 HAS SOUPS 128362 WITH SCORE 128630.911
AT ITER 1284 NEW BEST:: SOT 379645 SOS 268761 HAS SOPS 264361 HAS SOUS 131881 HAS SOUPS 128350 WITH SCORE 128618.761
AT ITER 1289 NEW BEST:: SOT 379573 SOS 268731 HAS SOPS 264331 HAS SOUS 131859 HAS SOUPS 128328 WITH SCORE 128596.731
AT ITER 1298 NEW BEST:: SOT 379573 SOS 268731 HAS SOPS 264331 HAS SOUS 131843 HAS SOUPS 128312 WITH SCORE 128580.731
AT ITER 1306 NEW BEST:: SOT 379398 SOS 268596 HAS SOPS 264236 HAS SOUS 131564 HAS SOUPS 128073 WITH SCORE 128341.596
AT ITER 1309 NEW BEST:: SOT 379143 SOS 268341 HAS SOPS 263926 HAS SOUS 131316 HAS SOUPS 127770 WITH SCORE 128038.341
AT ITER 1311 NEW BEST:: SOT 378343 SOS 267547 HAS SOPS 263132 HAS SOUS 131126 HAS SOUPS 127580 WITH SCORE 127847.547
AT ITER 1313 NEW BEST:: SOT 378343 SOS 267467 HAS SOPS 263052 HAS SOUS 131118 HAS SOUPS 127572 WITH SCORE 127839.467
AT ITER 1318 NEW BEST:: SOT 377394 SOS 265898 HAS SOPS 261483 HAS SOUS 129649 HAS SOUPS 126103 WITH SCORE 126368.898
AT ITER 1319 NEW BEST:: SOT 377612 SOS 266627 HAS SOPS 262212 HAS SOUS 129644 HAS SOUPS 126098 WITH SCORE 126364.627
AT ITER 1321 NEW BEST:: SOT 377850 SOS 267170 HAS SOPS 262450 HAS SOUS 129090 HAS SOUPS 125434 WITH SCORE 125701.17
AT ITER 1324 NEW BEST:: SOT 377987 SOS 267307 HAS SOPS 262587 HAS SOUS 129005 HAS SOUPS 125349 WITH SCORE 125616.307
AT ITER 1327 NEW BEST:: SOT 377987 SOS 267239 HAS SOPS 262536 HAS SOUS 128971 HAS SOUPS 125332 WITH SCORE 125599.239
AT ITER 1328 NEW BEST:: SOT 377843 SOS 267095 HAS SOPS 262392 HAS SOUS 128967 HAS SOUPS 125328 WITH SCORE 125595.095
AT ITER 1341 NEW BEST:: SOT 377529 SOS 266573 HAS SOPS 261870 HAS SOUS 128932 HAS SOUPS 125293 WITH SCORE 125559.573
AT ITER 1349 NEW BEST:: SOT 375599 SOS 266824 HAS SOPS 262121 HAS SOUS 127242 HAS SOUPS 123603 WITH SCORE 123869.824
AT ITER 1351 NEW BEST:: SOT 375489 SOS 266889 HAS SOPS 262186 HAS SOUS 127078 HAS SOUPS 123439 WITH SCORE 123705.889
AT ITER 1354 NEW BEST:: SOT 375817 SOS 267283 HAS SOPS 262423 HAS SOUS 127042 HAS SOUPS 123312 WITH SCORE 123579.283
AT ITER 1360 NEW BEST:: SOT 375801 SOS 267279 HAS SOPS 262419 HAS SOUS 126998 HAS SOUPS 123268 WITH SCORE 123535.279
AT ITER 1370 NEW BEST:: SOT 375496 SOS 267155 HAS SOPS 262295 HAS SOUS 126766 HAS SOUPS 123036 WITH SCORE 123303.155
AT ITER 1372 NEW BEST:: SOT 375384 SOS 267097 HAS SOPS 262237 HAS SOUS 126703 HAS SOUPS 122973 WITH SCORE 123240.097
AT ITER 1378 NEW BEST:: SOT 374917 SOS 265968 HAS SOPS 261108 HAS SOUS 126427 HAS SOUPS 122697 WITH SCORE 122962.968
AT ITER 1381 NEW BEST:: SOT 374907 SOS 265958 HAS SOPS 261098 HAS SOUS 126407 HAS SOUPS 122677 WITH SCORE 122942.958
AT ITER 1386 NEW BEST:: SOT 374839 SOS 265554 HAS SOPS 260694 HAS SOUS 126299 HAS SOUPS 122569 WITH SCORE 122834.554
AT ITER 1389 NEW BEST:: SOT 374856 SOS 265605 HAS SOPS 260745 HAS SOUS 126282 HAS SOUPS 122552 WITH SCORE 122817.605
AT ITER 1391 NEW BEST:: SOT 374787 SOS 265536 HAS SOPS 260676 HAS SOUS 126210 HAS SOUPS 122480 WITH SCORE 122745.536
AT ITER 1401 NEW BEST:: SOT 374787 SOS 265580 HAS SOPS 260720 HAS SOUS 126202 HAS SOUPS 122472 WITH SCORE 122737.58
AT ITER 1409 NEW BEST:: SOT 374755 SOS 265548 HAS SOPS 260688 HAS SOUS 126154 HAS SOUPS 122424 WITH SCORE 122689.548
AT ITER 1413 NEW BEST:: SOT 374443 SOS 265517 HAS SOPS 260657 HAS SOUS 126097 HAS SOUPS 122367 WITH SCORE 122632.517
AT ITER 1424 NEW BEST:: SOT 374443 SOS 265478 HAS SOPS 260618 HAS SOUS 126097 HAS SOUPS 122367 WITH SCORE 122632.478
AT ITER 1428 NEW BEST:: SOT 373898 SOS 264787 HAS SOPS 259927 HAS SOUS 125806 HAS SOUPS 122076 WITH SCORE 122340.787
AT ITER 1431 NEW BEST:: SOT 373898 SOS 264773 HAS SOPS 259913 HAS SOUS 125806 HAS SOUPS 122076 WITH SCORE 122340.773
AT ITER 1448 NEW BEST:: SOT 373879 SOS 264754 HAS SOPS 259894 HAS SOUS 125754 HAS SOUPS 122024 WITH SCORE 122288.754
AT ITER 1451 NEW BEST:: SOT 373885 SOS 264673 HAS SOPS 259800 HAS SOUS 125706 HAS SOUPS 121963 WITH SCORE 122227.673
AT ITER 1462 NEW BEST:: SOT 373958 SOS 264340 HAS SOPS 259467 HAS SOUS 125528 HAS SOUPS 121785 WITH SCORE 122049.34
AT ITER 1472 NEW BEST:: SOT 373918 SOS 263837 HAS SOPS 258964 HAS SOUS 125488 HAS SOUPS 121745 WITH SCORE 122008.837
AT ITER 1478 NEW BEST:: SOT 374044 SOS 263963 HAS SOPS 259090 HAS SOUS 124848 HAS SOUPS 121105 WITH SCORE 121368.963
AT ITER 1480 NEW BEST:: SOT 374044 SOS 263963 HAS SOPS 259090 HAS SOUS 124791 HAS SOUPS 121048 WITH SCORE 121311.963
AT ITER 1485 NEW BEST:: SOT 374042 SOS 263957 HAS SOPS 259084 HAS SOUS 124789 HAS SOUPS 121046 WITH SCORE 121309.957
AT ITER 1489 NEW BEST:: SOT 374267 SOS 264182 HAS SOPS 259309 HAS SOUS 124754 HAS SOUPS 121011 WITH SCORE 121275.182
AT ITER 1490 NEW BEST:: SOT 374133 SOS 264019 HAS SOPS 259146 HAS SOUS 124616 HAS SOUPS 120873 WITH SCORE 121137.019
AT ITER 1494 NEW BEST:: SOT 374133 SOS 261927 HAS SOPS 257054 HAS SOUS 124518 HAS SOUPS 120775 WITH SCORE 121036.927
AT ITER 1495 NEW BEST:: SOT 374113 SOS 261907 HAS SOPS 257034 HAS SOUS 124497 HAS SOUPS 120754 WITH SCORE 121015.907
AT ITER 1497 NEW BEST:: SOT 373749 SOS 259477 HAS SOPS 254604 HAS SOUS 123751 HAS SOUPS 120008 WITH SCORE 120267.477
AT ITER 1501 NEW BEST:: SOT 373617 SOS 259345 HAS SOPS 254472 HAS SOUS 123619 HAS SOUPS 119876 WITH SCORE 120135.345
AT ITER 1505 NEW BEST:: SOT 373544 SOS 259222 HAS SOPS 254349 HAS SOUS 123546 HAS SOUPS 119803 WITH SCORE 120062.222
AT ITER 1512 NEW BEST:: SOT 373433 SOS 258780 HAS SOPS 253822 HAS SOUS 123292 HAS SOUPS 119464 WITH SCORE 119722.78
AT ITER 1517 NEW BEST:: SOT 373437 SOS 258694 HAS SOPS 253736 HAS SOUS 123201 HAS SOUPS 119373 WITH SCORE 119631.694
AT ITER 1520 NEW BEST:: SOT 373437 SOS 258694 HAS SOPS 253736 HAS SOUS 123200 HAS SOUPS 119372 WITH SCORE 119630.694
AT ITER 1523 NEW BEST:: SOT 373433 SOS 258690 HAS SOPS 253732 HAS SOUS 123193 HAS SOUPS 119365 WITH SCORE 119623.69
AT ITER 1547 NEW BEST:: SOT 373415 SOS 258672 HAS SOPS 253714 HAS SOUS 123157 HAS SOUPS 119329 WITH SCORE 119587.672
AT ITER 1550 NEW BEST:: SOT 373160 SOS 258453 HAS SOPS 253495 HAS SOUS 123136 HAS SOUPS 119308 WITH SCORE 119566.453
AT ITER 1576 NEW BEST:: SOT 373160 SOS 257834 HAS SOPS 252876 HAS SOUS 123052 HAS SOUPS 119224 WITH SCORE 119481.834
AT ITER 1580 NEW BEST:: SOT 373204 SOS 257167 HAS SOPS 252310 HAS SOUS 122953 HAS SOUPS 119184 WITH SCORE 119441.167
AT ITER 1585 NEW BEST:: SOT 373050 SOS 257013 HAS SOPS 252156 HAS SOUS 122898 HAS SOUPS 119129 WITH SCORE 119386.013
AT ITER 1596 NEW BEST:: SOT 373058 SOS 256936 HAS SOPS 252079 HAS SOUS 122833 HAS SOUPS 119064 WITH SCORE 119320.936
AT ITER 1607 NEW BEST:: SOT 372902 SOS 256780 HAS SOPS 251923 HAS SOUS 122817 HAS SOUPS 119048 WITH SCORE 119304.78
AT ITER 1615 NEW BEST:: SOT 372858 SOS 256693 HAS SOPS 251836 HAS SOUS 122793 HAS SOUPS 119024 WITH SCORE 119280.693
AT ITER 1616 NEW BEST:: SOT 372769 SOS 256591 HAS SOPS 251734 HAS SOUS 122783 HAS SOUPS 119014 WITH SCORE 119270.591
AT ITER 1621 NEW BEST:: SOT 372703 SOS 256525 HAS SOPS 251668 HAS SOUS 122651 HAS SOUPS 118882 WITH SCORE 119138.525
AT ITER 1623 NEW BEST:: SOT 372699 SOS 256762 HAS SOPS 252030 HAS SOUS 122292 HAS SOUPS 118648 WITH SCORE 118904.762
AT ITER 1633 NEW BEST:: SOT 372593 SOS 256871 HAS SOPS 252237 HAS SOUS 122089 HAS SOUPS 118539 WITH SCORE 118795.871
AT ITER 1635 NEW BEST:: SOT 372419 SOS 255784 HAS SOPS 251150 HAS SOUS 121540 HAS SOUPS 117990 WITH SCORE 118245.784
AT ITER 1636 NEW BEST:: SOT 372251 SOS 254165 HAS SOPS 249531 HAS SOUS 120982 HAS SOUPS 117432 WITH SCORE 117686.165
AT ITER 1637 NEW BEST:: SOT 372261 SOS 254175 HAS SOPS 249541 HAS SOUS 120949 HAS SOUPS 117399 WITH SCORE 117653.175
AT ITER 1638 NEW BEST:: SOT 372236 SOS 254150 HAS SOPS 249516 HAS SOUS 120904 HAS SOUPS 117354 WITH SCORE 117608.15
AT ITER 1650 NEW BEST:: SOT 372236 SOS 253714 HAS SOPS 248591 HAS SOUS 120606 HAS SOUPS 116893 WITH SCORE 117146.714
AT ITER 1660 NEW BEST:: SOT 372232 SOS 253662 HAS SOPS 248539 HAS SOUS 120586 HAS SOUPS 116873 WITH SCORE 117126.662
AT ITER 1661 NEW BEST:: SOT 372126 SOS 253334 HAS SOPS 247947 HAS SOUS 120829 HAS SOUPS 116863 WITH SCORE 117116.334
AT ITER 1688 NEW BEST:: SOT 372465 SOS 253683 HAS SOPS 248296 HAS SOUS 120800 HAS SOUPS 116834 WITH SCORE 117087.683
AT ITER 1700 NEW BEST:: SOT 372462 SOS 253680 HAS SOPS 248293 HAS SOUS 120728 HAS SOUPS 116762 WITH SCORE 117015.68
AT ITER 1702 NEW BEST:: SOT 372434 SOS 253576 HAS SOPS 248161 HAS SOUS 120700 HAS SOUPS 116706 WITH SCORE 116959.576
AT ITER 1716 NEW BEST:: SOT 372382 SOS 253524 HAS SOPS 248109 HAS SOUS 120667 HAS SOUPS 116673 WITH SCORE 116926.524
AT ITER 1718 NEW BEST:: SOT 371948 SOS 253090 HAS SOPS 247675 HAS SOUS 120120 HAS SOUPS 116126 WITH SCORE 116379.09
AT ITER 1719 NEW BEST:: SOT 371874 SOS 253559 HAS SOPS 247997 HAS SOUS 120142 HAS SOUPS 116097 WITH SCORE 116350.559
AT ITER 1722 NEW BEST:: SOT 371796 SOS 253266 HAS SOPS 247704 HAS SOUS 119686 HAS SOUPS 115641 WITH SCORE 115894.266
AT ITER 1727 NEW BEST:: SOT 371889 SOS 253263 HAS SOPS 247605 HAS SOUS 119778 HAS SOUPS 115637 WITH SCORE 115890.263
AT ITER 1732 NEW BEST:: SOT 371784 SOS 253158 HAS SOPS 247500 HAS SOUS 119716 HAS SOUPS 115575 WITH SCORE 115828.158
AT ITER 1740 NEW BEST:: SOT 371768 SOS 253108 HAS SOPS 247450 HAS SOUS 119714 HAS SOUPS 115573 WITH SCORE 115826.108
AT ITER 1751 NEW BEST:: SOT 371896 SOS 253236 HAS SOPS 247578 HAS SOUS 119650 HAS SOUPS 115509 WITH SCORE 115762.236
AT ITER 1753 NEW BEST:: SOT 371566 SOS 253034 HAS SOPS 247672 HAS SOUS 119067 HAS SOUPS 115222 WITH SCORE 115475.034
AT ITER 1760 NEW BEST:: SOT 371432 SOS 252900 HAS SOPS 247538 HAS SOUS 118618 HAS SOUPS 114773 WITH SCORE 115025.9
AT ITER 1763 NEW BEST:: SOT 371432 SOS 252899 HAS SOPS 247537 HAS SOUS 118617 HAS SOUPS 114772 WITH SCORE 115024.899
AT ITER 1765 NEW BEST:: SOT 371437 SOS 252904 HAS SOPS 247542 HAS SOUS 118577 HAS SOUPS 114732 WITH SCORE 114984.904
AT ITER 1772 NEW BEST:: SOT 371024 SOS 252491 HAS SOPS 247129 HAS SOUS 117563 HAS SOUPS 113718 WITH SCORE 113970.491
AT ITER 1790 NEW BEST:: SOT 371024 SOS 252488 HAS SOPS 247126 HAS SOUS 117418 HAS SOUPS 113573 WITH SCORE 113825.488
AT ITER 1793 NEW BEST:: SOT 371087 SOS 252551 HAS SOPS 247147 HAS SOUS 117397 HAS SOUPS 113510 WITH SCORE 113762.551
AT ITER 1800 NEW BEST:: SOT 371159 SOS 252425 HAS SOPS 247120 HAS SOUS 117233 HAS SOUPS 113445 WITH SCORE 113697.425
AT ITER 1802 NEW BEST:: SOT 371159 SOS 252588 HAS SOPS 247349 HAS SOUS 116897 HAS SOUPS 113175 WITH SCORE 113427.588
AT ITER 1810 NEW BEST:: SOT 370576 SOS 252005 HAS SOPS 246766 HAS SOUS 116298 HAS SOUPS 112576 WITH SCORE 112828.005
AT ITER 1811 NEW BEST:: SOT 370555 SOS 251900 HAS SOPS 246675 HAS SOUS 116283 HAS SOUPS 112575 WITH SCORE 112826.9
AT ITER 1817 NEW BEST:: SOT 370555 SOS 251900 HAS SOPS 246675 HAS SOUS 116168 HAS SOUPS 112460 WITH SCORE 112711.9
AT ITER 1824 NEW BEST:: SOT 370481 SOS 251859 HAS SOPS 246634 HAS SOUS 116138 HAS SOUPS 112430 WITH SCORE 112681.859
AT ITER 1828 NEW BEST:: SOT 370444 SOS 251822 HAS SOPS 246597 HAS SOUS 115997 HAS SOUPS 112289 WITH SCORE 112540.822
AT ITER 1861 NEW BEST:: SOT 370410 SOS 251788 HAS SOPS 246563 HAS SOUS 115963 HAS SOUPS 112255 WITH SCORE 112506.788
AT ITER 1864 NEW BEST:: SOT 370401 SOS 251778 HAS SOPS 246554 HAS SOUS 115953 HAS SOUPS 112245 WITH SCORE 112496.778
AT ITER 1881 NEW BEST:: SOT 370099 SOS 250857 HAS SOPS 245564 HAS SOUS 115677 HAS SOUPS 111900 WITH SCORE 112150.857
AT ITER 1887 NEW BEST:: SOT 369968 SOS 250726 HAS SOPS 245433 HAS SOUS 115546 HAS SOUPS 111769 WITH SCORE 112019.726
AT ITER 1897 NEW BEST:: SOT 369492 SOS 252239 HAS SOPS 246959 HAS SOUS 115331 HAS SOUPS 111567 WITH SCORE 111819.239
AT ITER 1899 NEW BEST:: SOT 369499 SOS 252155 HAS SOPS 246864 HAS SOUS 115338 HAS SOUPS 111563 WITH SCORE 111815.155
AT ITER 1916 NEW BEST:: SOT 369509 SOS 252165 HAS SOPS 246874 HAS SOUS 115298 HAS SOUPS 111523 WITH SCORE 111775.165
AT ITER 1920 NEW BEST:: SOT 369615 SOS 252271 HAS SOPS 246980 HAS SOUS 114939 HAS SOUPS 111164 WITH SCORE 111416.271
AT ITER 1937 NEW BEST:: SOT 369643 SOS 252299 HAS SOPS 247008 HAS SOUS 114747 HAS SOUPS 110972 WITH SCORE 111224.299
AT ITER 1938 NEW BEST:: SOT 369616 SOS 252272 HAS SOPS 246981 HAS SOUS 114708 HAS SOUPS 110933 WITH SCORE 111185.272
AT ITER 1945 NEW BEST:: SOT 369364 SOS 251828 HAS SOPS 246453 HAS SOUS 114648 HAS SOUPS 110789 WITH SCORE 111040.828
AT ITER 1952 NEW BEST:: SOT 369364 SOS 251874 HAS SOPS 246453 HAS SOUS 114556 HAS SOUPS 110674 WITH SCORE 110925.874
AT ITER 1958 NEW BEST:: SOT 369364 SOS 251561 HAS SOPS 246140 HAS SOUS 114374 HAS SOUPS 110492 WITH SCORE 110743.561
AT ITER 1965 NEW BEST:: SOT 369364 SOS 251441 HAS SOPS 246020 HAS SOUS 114359 HAS SOUPS 110477 WITH SCORE 110728.441
AT ITER 1979 NEW BEST:: SOT 369413 SOS 251598 HAS SOPS 246177 HAS SOUS 114212 HAS SOUPS 110330 WITH SCORE 110581.598
AT ITER 1982 NEW BEST:: SOT 369394 SOS 251920 HAS SOPS 246587 HAS SOUS 114115 HAS SOUPS 110321 WITH SCORE 110572.92
AT ITER 2000 NEW BEST:: SOT 369066 SOS 252049 HAS SOPS 246716 HAS SOUS 114043 HAS SOUPS 110249 WITH SCORE 110501.049
AT ITER 2007 NEW BEST:: SOT 369046 SOS 252029 HAS SOPS 246696 HAS SOUS 114027 HAS SOUPS 110233 WITH SCORE 110485.029
AT ITER 2023 NEW BEST:: SOT 368762 SOS 251790 HAS SOPS 246457 HAS SOUS 113815 HAS SOUPS 110021 WITH SCORE 110272.79
AT ITER 2029 NEW BEST:: SOT 368762 SOS 251562 HAS SOPS 246229 HAS SOUS 113815 HAS SOUPS 110021 WITH SCORE 110272.562
AT ITER 2041 NEW BEST:: SOT 368847 SOS 250963 HAS SOPS 245630 HAS SOUS 113758 HAS SOUPS 109964 WITH SCORE 110214.963
AT ITER 2046 NEW BEST:: SOT 368816 SOS 250932 HAS SOPS 245599 HAS SOUS 113567 HAS SOUPS 109773 WITH SCORE 110023.932
AT ITER 2049 NEW BEST:: SOT 368816 SOS 250862 HAS SOPS 245559 HAS SOUS 113547 HAS SOUPS 109763 WITH SCORE 110013.862
AT ITER 2050 NEW BEST:: SOT 368661 SOS 251075 HAS SOPS 245772 HAS SOUS 113504 HAS SOUPS 109720 WITH SCORE 109971.075
AT ITER 2051 NEW BEST:: SOT 368699 SOS 251113 HAS SOPS 245810 HAS SOUS 113462 HAS SOUPS 109678 WITH SCORE 109929.113
AT ITER 2055 NEW BEST:: SOT 368238 SOS 250571 HAS SOPS 245268 HAS SOUS 112821 HAS SOUPS 109037 WITH SCORE 109287.571
AT ITER 2057 NEW BEST:: SOT 368238 SOS 250635 HAS SOPS 245284 HAS SOUS 112821 HAS SOUPS 109025 WITH SCORE 109275.635
AT ITER 2068 NEW BEST:: SOT 368185 SOS 250582 HAS SOPS 245231 HAS SOUS 112791 HAS SOUPS 108995 WITH SCORE 109245.582
AT ITER 2079 NEW BEST:: SOT 368185 SOS 250582 HAS SOPS 245231 HAS SOUS 112790 HAS SOUPS 108994 WITH SCORE 109244.582
AT ITER 2080 NEW BEST:: SOT 368161 SOS 250554 HAS SOPS 245203 HAS SOUS 112782 HAS SOUPS 108986 WITH SCORE 109236.554
AT ITER 2087 NEW BEST:: SOT 368161 SOS 250606 HAS SOPS 245097 HAS SOUS 112781 HAS SOUPS 108906 WITH SCORE 109156.606
AT ITER 2094 NEW BEST:: SOT 368161 SOS 249986 HAS SOPS 244477 HAS SOUS 112761 HAS SOUPS 108886 WITH SCORE 109135.986
AT ITER 2097 NEW BEST:: SOT 368065 SOS 249842 HAS SOPS 244333 HAS SOUS 112713 HAS SOUPS 108838 WITH SCORE 109087.842
AT ITER 2105 NEW BEST:: SOT 368115 SOS 249750 HAS SOPS 244241 HAS SOUS 112472 HAS SOUPS 108597 WITH SCORE 108846.75
AT ITER 2112 NEW BEST:: SOT 367406 SOS 250131 HAS SOPS 245020 HAS SOUS 112066 HAS SOUPS 108386 WITH SCORE 108636.131
AT ITER 2116 NEW BEST:: SOT 367400 SOS 249905 HAS SOPS 244794 HAS SOUS 112057 HAS SOUPS 108377 WITH SCORE 108626.905
AT ITER 2130 NEW BEST:: SOT 366691 SOS 249825 HAS SOPS 244714 HAS SOUS 111700 HAS SOUPS 108020 WITH SCORE 108269.825
AT ITER 2131 NEW BEST:: SOT 366686 SOS 249733 HAS SOPS 244622 HAS SOUS 111645 HAS SOUPS 107965 WITH SCORE 108214.733
AT ITER 2137 NEW BEST:: SOT 366731 SOS 249938 HAS SOPS 244788 HAS SOUS 111515 HAS SOUPS 107811 WITH SCORE 108060.938
AT ITER 2166 NEW BEST:: SOT 366354 SOS 249561 HAS SOPS 244411 HAS SOUS 111402 HAS SOUPS 107698 WITH SCORE 107947.561
AT ITER 2178 NEW BEST:: SOT 365950 SOS 249157 HAS SOPS 244007 HAS SOUS 111321 HAS SOUPS 107617 WITH SCORE 107866.157
AT ITER 2185 NEW BEST:: SOT 366217 SOS 249424 HAS SOPS 244416 HAS SOUS 111123 HAS SOUPS 107561 WITH SCORE 107810.424
AT ITER 2193 NEW BEST:: SOT 366164 SOS 249293 HAS SOPS 244246 HAS SOUS 111070 HAS SOUPS 107469 WITH SCORE 107718.293
AT ITER 2197 NEW BEST:: SOT 365962 SOS 249391 HAS SOPS 244344 HAS SOUS 110946 HAS SOUPS 107345 WITH SCORE 107594.391
AT ITER 2206 NEW BEST:: SOT 365962 SOS 249344 HAS SOPS 244283 HAS SOUS 110931 HAS SOUPS 107323 WITH SCORE 107572.344
AT ITER 2215 NEW BEST:: SOT 365962 SOS 249344 HAS SOPS 244283 HAS SOUS 110911 HAS SOUPS 107303 WITH SCORE 107552.344
AT ITER 2216 NEW BEST:: SOT 365962 SOS 249272 HAS SOPS 244211 HAS SOUS 110899 HAS SOUPS 107291 WITH SCORE 107540.272
AT ITER 2224 NEW BEST:: SOT 366009 SOS 249319 HAS SOPS 244258 HAS SOUS 110889 HAS SOUPS 107281 WITH SCORE 107530.319
AT ITER 2226 NEW BEST:: SOT 366076 SOS 249329 HAS SOPS 244234 HAS SOUS 110864 HAS SOUPS 107222 WITH SCORE 107471.329
AT ITER 2231 NEW BEST:: SOT 366030 SOS 249046 HAS SOPS 243951 HAS SOUS 110719 HAS SOUPS 107077 WITH SCORE 107326.046
AT ITER 2237 NEW BEST:: SOT 365752 SOS 248768 HAS SOPS 243673 HAS SOUS 109957 HAS SOUPS 106315 WITH SCORE 106563.768
AT ITER 2253 NEW BEST:: SOT 365546 SOS 248562 HAS SOPS 243467 HAS SOUS 109957 HAS SOUPS 106315 WITH SCORE 106563.562
AT ITER 2254 NEW BEST:: SOT 365423 SOS 248439 HAS SOPS 243344 HAS SOUS 109957 HAS SOUPS 106315 WITH SCORE 106563.439
AT ITER 2273 NEW BEST:: SOT 365707 SOS 248134 HAS SOPS 242929 HAS SOUS 109910 HAS SOUPS 106162 WITH SCORE 106410.134
AT ITER 2275 NEW BEST:: SOT 365707 SOS 248126 HAS SOPS 242921 HAS SOUS 109888 HAS SOUPS 106140 WITH SCORE 106388.126
AT ITER 2282 NEW BEST:: SOT 365593 SOS 247524 HAS SOPS 242319 HAS SOUS 109687 HAS SOUPS 105939 WITH SCORE 106186.524
AT ITER 2284 NEW BEST:: SOT 365540 SOS 247436 HAS SOPS 242231 HAS SOUS 109686 HAS SOUPS 105938 WITH SCORE 106185.436
AT ITER 2294 NEW BEST:: SOT 365535 SOS 247421 HAS SOPS 242216 HAS SOUS 109682 HAS SOUPS 105934 WITH SCORE 106181.421
AT ITER 2315 NEW BEST:: SOT 365262 SOS 247082 HAS SOPS 241877 HAS SOUS 109436 HAS SOUPS 105688 WITH SCORE 105935.082
AT ITER 2317 NEW BEST:: SOT 365177 SOS 246358 HAS SOPS 241153 HAS SOUS 109048 HAS SOUPS 105300 WITH SCORE 105546.358
AT ITER 2321 NEW BEST:: SOT 364924 SOS 246079 HAS SOPS 240874 HAS SOUS 109021 HAS SOUPS 105273 WITH SCORE 105519.079
AT ITER 2347 NEW BEST:: SOT 364909 SOS 246064 HAS SOPS 240859 HAS SOUS 108977 HAS SOUPS 105229 WITH SCORE 105475.064
AT ITER 2367 NEW BEST:: SOT 364919 SOS 246019 HAS SOPS 240795 HAS SOUS 108931 HAS SOUPS 105181 WITH SCORE 105427.019
AT ITER 2385 NEW BEST:: SOT 364832 SOS 245932 HAS SOPS 240708 HAS SOUS 108880 HAS SOUPS 105130 WITH SCORE 105375.932
AT ITER 2386 NEW BEST:: SOT 364824 SOS 245924 HAS SOPS 240700 HAS SOUS 108868 HAS SOUPS 105118 WITH SCORE 105363.924
AT ITER 2387 NEW BEST:: SOT 364959 SOS 245850 HAS SOPS 240626 HAS SOUS 108758 HAS SOUPS 105008 WITH SCORE 105253.85
AT ITER 2389 NEW BEST:: SOT 364597 SOS 245487 HAS SOPS 240263 HAS SOUS 108608 HAS SOUPS 104858 WITH SCORE 105103.487
AT ITER 2394 NEW BEST:: SOT 364666 SOS 245478 HAS SOPS 240254 HAS SOUS 108509 HAS SOUPS 104759 WITH SCORE 105004.478
AT ITER 2397 NEW BEST:: SOT 364616 SOS 245428 HAS SOPS 240204 HAS SOUS 108303 HAS SOUPS 104553 WITH SCORE 104798.428
AT ITER 2434 NEW BEST:: SOT 364520 SOS 245300 HAS SOPS 240076 HAS SOUS 108175 HAS SOUPS 104425 WITH SCORE 104670.3
AT ITER 2441 NEW BEST:: SOT 364414 SOS 244611 HAS SOPS 239387 HAS SOUS 108122 HAS SOUPS 104372 WITH SCORE 104616.611
AT ITER 2454 NEW BEST:: SOT 364870 SOS 245067 HAS SOPS 239843 HAS SOUS 107946 HAS SOUPS 104196 WITH SCORE 104441.067
AT ITER 2467 NEW BEST:: SOT 364748 SOS 244906 HAS SOPS 239682 HAS SOUS 107741 HAS SOUPS 103991 WITH SCORE 104235.906
AT ITER 2475 NEW BEST:: SOT 364718 SOS 244876 HAS SOPS 239652 HAS SOUS 107615 HAS SOUPS 103865 WITH SCORE 104109.876
AT ITER 2478 NEW BEST:: SOT 364691 SOS 244881 HAS SOPS 239657 HAS SOUS 107556 HAS SOUPS 103806 WITH SCORE 104050.881
AT ITER 2482 NEW BEST:: SOT 364618 SOS 244808 HAS SOPS 239584 HAS SOUS 107549 HAS SOUPS 103799 WITH SCORE 104043.808
AT ITER 2483 NEW BEST:: SOT 364431 SOS 244616 HAS SOPS 239392 HAS SOUS 107146 HAS SOUPS 103396 WITH SCORE 103640.616
AT ITER 2502 NEW BEST:: SOT 364416 SOS 244749 HAS SOPS 239377 HAS SOUS 107207 HAS SOUPS 103309 WITH SCORE 103553.749
AT ITER 2506 NEW BEST:: SOT 364491 SOS 244932 HAS SOPS 239560 HAS SOUS 107088 HAS SOUPS 103190 WITH SCORE 103434.932
AT ITER 2519 NEW BEST:: SOT 364491 SOS 244904 HAS SOPS 239532 HAS SOUS 107074 HAS SOUPS 103176 WITH SCORE 103420.904
AT ITER 2530 NEW BEST:: SOT 364777 SOS 244949 HAS SOPS 239577 HAS SOUS 107044 HAS SOUPS 103146 WITH SCORE 103390.949
AT ITER 2537 NEW BEST:: SOT 364907 SOS 245066 HAS SOPS 239692 HAS SOUS 107008 HAS SOUPS 103108 WITH SCORE 103353.066
AT ITER 2551 NEW BEST:: SOT 364919 SOS 245169 HAS SOPS 239795 HAS SOUS 107007 HAS SOUPS 103107 WITH SCORE 103352.169
AT ITER 2559 NEW BEST:: SOT 364865 SOS 244995 HAS SOPS 239621 HAS SOUS 106876 HAS SOUPS 102976 WITH SCORE 103220.995
AT ITER 2565 NEW BEST:: SOT 364751 SOS 244881 HAS SOPS 239507 HAS SOUS 106724 HAS SOUPS 102824 WITH SCORE 103068.881
AT ITER 2569 NEW BEST:: SOT 364806 SOS 244816 HAS SOPS 239406 HAS SOUS 106627 HAS SOUPS 102727 WITH SCORE 102971.816
AT ITER 2578 NEW BEST:: SOT 364753 SOS 244666 HAS SOPS 239273 HAS SOUS 106589 HAS SOUPS 102706 WITH SCORE 102950.666
AT ITER 2594 NEW BEST:: SOT 364207 SOS 243937 HAS SOPS 238544 HAS SOUS 106403 HAS SOUPS 102520 WITH SCORE 102763.937
AT ITER 2623 NEW BEST:: SOT 364136 SOS 243444 HAS SOPS 238051 HAS SOUS 106262 HAS SOUPS 102379 WITH SCORE 102622.444
AT ITER 2629 NEW BEST:: SOT 364136 SOS 243424 HAS SOPS 238035 HAS SOUS 106258 HAS SOUPS 102379 WITH SCORE 102622.424
AT ITER 2649 NEW BEST:: SOT 364117 SOS 243210 HAS SOPS 237774 HAS SOUS 106150 HAS SOUPS 102224 WITH SCORE 102467.21
AT ITER 2682 NEW BEST:: SOT 364385 SOS 243574 HAS SOPS 238138 HAS SOUS 106140 HAS SOUPS 102214 WITH SCORE 102457.574
AT ITER 2687 NEW BEST:: SOT 364070 SOS 242531 HAS SOPS 237095 HAS SOUS 105783 HAS SOUPS 101857 WITH SCORE 102099.531
AT ITER 2692 NEW BEST:: SOT 364070 SOS 242348 HAS SOPS 236912 HAS SOUS 105769 HAS SOUPS 101843 WITH SCORE 102085.348
AT ITER 2719 NEW BEST:: SOT 363802 SOS 242261 HAS SOPS 236825 HAS SOUS 105573 HAS SOUPS 101647 WITH SCORE 101889.261
AT ITER 2720 NEW BEST:: SOT 363802 SOS 242260 HAS SOPS 236823 HAS SOUS 105574 HAS SOUPS 101647 WITH SCORE 101889.26
AT ITER 2751 NEW BEST:: SOT 363816 SOS 242250 HAS SOPS 236813 HAS SOUS 105433 HAS SOUPS 101506 WITH SCORE 101748.25
AT ITER 2761 NEW BEST:: SOT 363736 SOS 242104 HAS SOPS 236667 HAS SOUS 105383 HAS SOUPS 101456 WITH SCORE 101698.104
AT ITER 2763 NEW BEST:: SOT 363408 SOS 241818 HAS SOPS 236381 HAS SOUS 105305 HAS SOUPS 101378 WITH SCORE 101619.818
AT ITER 2765 NEW BEST:: SOT 363408 SOS 241818 HAS SOPS 236381 HAS SOUS 105295 HAS SOUPS 101368 WITH SCORE 101609.818
AT ITER 2789 NEW BEST:: SOT 363245 SOS 241397 HAS SOPS 235997 HAS SOUS 105252 HAS SOUPS 101362 WITH SCORE 101603.397
AT ITER 2808 NEW BEST:: SOT 362836 SOS 240261 HAS SOPS 234861 HAS SOUS 104654 HAS SOUPS 100764 WITH SCORE 101004.261
AT ITER 2817 NEW BEST:: SOT 362865 SOS 240290 HAS SOPS 234890 HAS SOUS 104599 HAS SOUPS 100709 WITH SCORE 100949.29
AT ITER 2834 NEW BEST:: SOT 362824 SOS 240144 HAS SOPS 234744 HAS SOUS 104549 HAS SOUPS 100659 WITH SCORE 100899.144
AT ITER 2835 NEW BEST:: SOT 362901 SOS 240219 HAS SOPS 234819 HAS SOUS 104510 HAS SOUPS 100620 WITH SCORE 100860.219
AT ITER 2850 NEW BEST:: SOT 362684 SOS 240002 HAS SOPS 234610 HAS SOUS 104420 HAS SOUPS 100538 WITH SCORE 100778.002
AT ITER 2856 NEW BEST:: SOT 362549 SOS 239894 HAS SOPS 234475 HAS SOUS 104447 HAS SOUPS 100538 WITH SCORE 100777.894
AT ITER 2864 NEW BEST:: SOT 362444 SOS 239747 HAS SOPS 234328 HAS SOUS 104258 HAS SOUPS 100349 WITH SCORE 100588.747
AT ITER 2886 NEW BEST:: SOT 362360 SOS 240148 HAS SOPS 234729 HAS SOUS 104134 HAS SOUPS 100225 WITH SCORE 100465.148
AT ITER 2891 NEW BEST:: SOT 362371 SOS 240020 HAS SOPS 234601 HAS SOUS 104134 HAS SOUPS 100225 WITH SCORE 100465.02
AT ITER 2900 NEW BEST:: SOT 362396 SOS 240045 HAS SOPS 234626 HAS SOUS 104034 HAS SOUPS 100125 WITH SCORE 100365.045
AT ITER 2910 NEW BEST:: SOT 362593 SOS 240214 HAS SOPS 234851 HAS SOUS 103843 HAS SOUPS 99963 WITH SCORE 100203.214
AT ITER 2917 NEW BEST:: SOT 362489 SOS 240074 HAS SOPS 234711 HAS SOUS 103571 HAS SOUPS 99691 WITH SCORE 99931.074
AT ITER 2924 NEW BEST:: SOT 362489 SOS 239783 HAS SOPS 234420 HAS SOUS 103449 HAS SOUPS 99569 WITH SCORE 99808.783
AT ITER 2925 NEW BEST:: SOT 362463 SOS 239749 HAS SOPS 234382 HAS SOUS 103419 HAS SOUPS 99535 WITH SCORE 99774.749
AT ITER 2930 NEW BEST:: SOT 362463 SOS 239146 HAS SOPS 233747 HAS SOUS 103438 HAS SOUPS 99522 WITH SCORE 99761.146
AT ITER 2931 NEW BEST:: SOT 362353 SOS 239014 HAS SOPS 233615 HAS SOUS 103328 HAS SOUPS 99412 WITH SCORE 99651.014
AT ITER 2932 NEW BEST:: SOT 362335 SOS 238406 HAS SOPS 233267 HAS SOUS 103168 HAS SOUPS 99333 WITH SCORE 99571.406
AT ITER 2933 NEW BEST:: SOT 362335 SOS 238464 HAS SOPS 233325 HAS SOUS 103110 HAS SOUPS 99275 WITH SCORE 99513.464
AT ITER 2958 NEW BEST:: SOT 362330 SOS 238675 HAS SOPS 233536 HAS SOUS 102971 HAS SOUPS 99136 WITH SCORE 99374.675
AT ITER 2959 NEW BEST:: SOT 362298 SOS 238643 HAS SOPS 233504 HAS SOUS 102971 HAS SOUPS 99136 WITH SCORE 99374.643
AT ITER 2975 NEW BEST:: SOT 362181 SOS 238526 HAS SOPS 233387 HAS SOUS 102854 HAS SOUPS 99019 WITH SCORE 99257.526
AT ITER 2979 NEW BEST:: SOT 362176 SOS 238509 HAS SOPS 233268 HAS SOUS 102899 HAS SOUPS 99012 WITH SCORE 99250.509
AT ITER 2992 NEW BEST:: SOT 362188 SOS 238577 HAS SOPS 233336 HAS SOUS 102890 HAS SOUPS 99003 WITH SCORE 99241.577
AT ITER 2997 NEW BEST:: SOT 361717 SOS 238309 HAS SOPS 233025 HAS SOUS 102429 HAS SOUPS 98499 WITH SCORE 98737.309
AT ITER 2999 NEW BEST:: SOT 361708 SOS 238300 HAS SOPS 233016 HAS SOUS 102420 HAS SOUPS 98490 WITH SCORE 98728.3
AT ITER 3008 NEW BEST:: SOT 361645 SOS 238177 HAS SOPS 232893 HAS SOUS 102331 HAS SOUPS 98401 WITH SCORE 98639.177
AT ITER 3021 NEW BEST:: SOT 361834 SOS 237416 HAS SOPS 231691 HAS SOUS 102076 HAS SOUPS 97891 WITH SCORE 98128.416
AT ITER 3026 NEW BEST:: SOT 361834 SOS 237012 HAS SOPS 231224 HAS SOUS 102095 HAS SOUPS 97889 WITH SCORE 98126.012
AT ITER 3028 NEW BEST:: SOT 361790 SOS 236968 HAS SOPS 231180 HAS SOUS 102054 HAS SOUPS 97848 WITH SCORE 98084.968
AT ITER 3030 NEW BEST:: SOT 361790 SOS 236480 HAS SOPS 230692 HAS SOUS 101979 HAS SOUPS 97773 WITH SCORE 98009.48
AT ITER 3035 NEW BEST:: SOT 361787 SOS 236468 HAS SOPS 230677 HAS SOUS 101970 HAS SOUPS 97761 WITH SCORE 97997.468
AT ITER 3044 NEW BEST:: SOT 361610 SOS 235830 HAS SOPS 230039 HAS SOUS 101851 HAS SOUPS 97642 WITH SCORE 97877.83
AT ITER 3053 NEW BEST:: SOT 361525 SOS 235728 HAS SOPS 229937 HAS SOUS 101783 HAS SOUPS 97574 WITH SCORE 97809.728
AT ITER 3056 NEW BEST:: SOT 361524 SOS 235727 HAS SOPS 229936 HAS SOUS 101780 HAS SOUPS 97571 WITH SCORE 97806.727
AT ITER 3058 NEW BEST:: SOT 361441 SOS 235644 HAS SOPS 229853 HAS SOUS 101591 HAS SOUPS 97382 WITH SCORE 97617.644
AT ITER 3060 NEW BEST:: SOT 361441 SOS 235457 HAS SOPS 229666 HAS SOUS 101483 HAS SOUPS 97274 WITH SCORE 97509.457
AT ITER 3075 NEW BEST:: SOT 361425 SOS 235435 HAS SOPS 229644 HAS SOUS 101457 HAS SOUPS 97248 WITH SCORE 97483.435
AT ITER 3085 NEW BEST:: SOT 361251 SOS 234981 HAS SOPS 229190 HAS SOUS 101445 HAS SOUPS 97236 WITH SCORE 97470.981
AT ITER 3096 NEW BEST:: SOT 361299 SOS 235400 HAS SOPS 229609 HAS SOUS 101381 HAS SOUPS 97172 WITH SCORE 97407.4
AT ITER 3127 NEW BEST:: SOT 361219 SOS 235286 HAS SOPS 229495 HAS SOUS 101264 HAS SOUPS 97055 WITH SCORE 97290.286
AT ITER 3139 NEW BEST:: SOT 361259 SOS 235326 HAS SOPS 229535 HAS SOUS 101228 HAS SOUPS 97019 WITH SCORE 97254.326
AT ITER 3143 NEW BEST:: SOT 360989 SOS 235014 HAS SOPS 229223 HAS SOUS 101110 HAS SOUPS 96901 WITH SCORE 97136.014
AT ITER 3189 NEW BEST:: SOT 360764 SOS 234715 HAS SOPS 228879 HAS SOUS 101065 HAS SOUPS 96811 WITH SCORE 97045.715
AT ITER 3200 NEW BEST:: SOT 360710 SOS 234624 HAS SOPS 228788 HAS SOUS 101005 HAS SOUPS 96751 WITH SCORE 96985.624
AT ITER 3214 NEW BEST:: SOT 360559 SOS 234473 HAS SOPS 228637 HAS SOUS 100944 HAS SOUPS 96690 WITH SCORE 96924.473
AT ITER 3221 NEW BEST:: SOT 360475 SOS 234364 HAS SOPS 228528 HAS SOUS 100807 HAS SOUPS 96553 WITH SCORE 96787.364
AT ITER 3234 NEW BEST:: SOT 360153 SOS 233834 HAS SOPS 227998 HAS SOUS 100394 HAS SOUPS 96140 WITH SCORE 96373.834
AT ITER 3238 NEW BEST:: SOT 360201 SOS 233750 HAS SOPS 227914 HAS SOUS 100385 HAS SOUPS 96131 WITH SCORE 96364.75
AT ITER 3249 NEW BEST:: SOT 360201 SOS 233650 HAS SOPS 227814 HAS SOUS 100385 HAS SOUPS 96131 WITH SCORE 96364.65
AT ITER 3254 NEW BEST:: SOT 360201 SOS 233636 HAS SOPS 227800 HAS SOUS 100338 HAS SOUPS 96084 WITH SCORE 96317.636
AT ITER 3255 NEW BEST:: SOT 360129 SOS 233281 HAS SOPS 227445 HAS SOUS 100292 HAS SOUPS 96038 WITH SCORE 96271.281
AT ITER 3277 NEW BEST:: SOT 360139 SOS 233261 HAS SOPS 227425 HAS SOUS 100262 HAS SOUPS 96008 WITH SCORE 96241.261
AT ITER 3291 NEW BEST:: SOT 360055 SOS 233177 HAS SOPS 227341 HAS SOUS 100150 HAS SOUPS 95896 WITH SCORE 96129.177
AT ITER 3294 NEW BEST:: SOT 359841 SOS 232963 HAS SOPS 227127 HAS SOUS 99922 HAS SOUPS 95668 WITH SCORE 95900.963
AT ITER 3305 NEW BEST:: SOT 359852 SOS 232965 HAS SOPS 227126 HAS SOUS 99923 HAS SOUPS 95666 WITH SCORE 95898.965
AT ITER 3311 NEW BEST:: SOT 359707 SOS 232820 HAS SOPS 226981 HAS SOUS 99923 HAS SOUPS 95666 WITH SCORE 95898.82
AT ITER 3314 NEW BEST:: SOT 359737 SOS 232850 HAS SOPS 227011 HAS SOUS 99906 HAS SOUPS 95649 WITH SCORE 95881.85
AT ITER 3331 NEW BEST:: SOT 359737 SOS 232514 HAS SOPS 226675 HAS SOUS 99878 HAS SOUPS 95621 WITH SCORE 95853.514
AT ITER 3344 NEW BEST:: SOT 359831 SOS 232061 HAS SOPS 226291 HAS SOUS 99582 HAS SOUPS 95325 WITH SCORE 95557.061
AT ITER 3353 NEW BEST:: SOT 360196 SOS 232426 HAS SOPS 226656 HAS SOUS 99227 HAS SOUPS 94970 WITH SCORE 95202.426
AT ITER 3366 NEW BEST:: SOT 360119 SOS 232299 HAS SOPS 226529 HAS SOUS 99078 HAS SOUPS 94821 WITH SCORE 95053.299
AT ITER 3389 NEW BEST:: SOT 360088 SOS 232207 HAS SOPS 226437 HAS SOUS 98941 HAS SOUPS 94684 WITH SCORE 94916.207
AT ITER 3398 NEW BEST:: SOT 360013 SOS 231844 HAS SOPS 226074 HAS SOUS 98935 HAS SOUPS 94678 WITH SCORE 94909.844
AT ITER 3404 NEW BEST:: SOT 360013 SOS 231838 HAS SOPS 226068 HAS SOUS 98931 HAS SOUPS 94674 WITH SCORE 94905.838
AT ITER 3412 NEW BEST:: SOT 360013 SOS 231766 HAS SOPS 225996 HAS SOUS 98914 HAS SOUPS 94657 WITH SCORE 94888.766
AT ITER 3416 NEW BEST:: SOT 360192 SOS 231945 HAS SOPS 226175 HAS SOUS 98881 HAS SOUPS 94624 WITH SCORE 94855.945
AT ITER 3421 NEW BEST:: SOT 360069 SOS 231822 HAS SOPS 226052 HAS SOUS 98607 HAS SOUPS 94350 WITH SCORE 94581.822
AT ITER 3441 NEW BEST:: SOT 360021 SOS 231636 HAS SOPS 225866 HAS SOUS 98511 HAS SOUPS 94254 WITH SCORE 94485.636
AT ITER 3451 NEW BEST:: SOT 360040 SOS 231654 HAS SOPS 225884 HAS SOUS 98485 HAS SOUPS 94228 WITH SCORE 94459.654
AT ITER 3457 NEW BEST:: SOT 360040 SOS 231662 HAS SOPS 225892 HAS SOUS 98477 HAS SOUPS 94220 WITH SCORE 94451.662
AT ITER 3469 NEW BEST:: SOT 359969 SOS 231591 HAS SOPS 225821 HAS SOUS 98410 HAS SOUPS 94153 WITH SCORE 94384.591
AT ITER 3486 NEW BEST:: SOT 359894 SOS 231016 HAS SOPS 225246 HAS SOUS 98260 HAS SOUPS 94003 WITH SCORE 94234.016
AT ITER 3491 NEW BEST:: SOT 359814 SOS 230776 HAS SOPS 225006 HAS SOUS 98233 HAS SOUPS 93976 WITH SCORE 94206.776
AT ITER 3498 NEW BEST:: SOT 359740 SOS 230550 HAS SOPS 224780 HAS SOUS 98156 HAS SOUPS 93899 WITH SCORE 94129.55
AT ITER 3509 NEW BEST:: SOT 359562 SOS 230372 HAS SOPS 224602 HAS SOUS 97939 HAS SOUPS 93682 WITH SCORE 93912.372
AT ITER 3516 NEW BEST:: SOT 359427 SOS 230237 HAS SOPS 224467 HAS SOUS 97725 HAS SOUPS 93468 WITH SCORE 93698.237
AT ITER 3527 NEW BEST:: SOT 359373 SOS 230270 HAS SOPS 224500 HAS SOUS 97722 HAS SOUPS 93465 WITH SCORE 93695.27
AT ITER 3544 NEW BEST:: SOT 359370 SOS 230267 HAS SOPS 224497 HAS SOUS 97715 HAS SOUPS 93458 WITH SCORE 93688.267
AT ITER 3550 NEW BEST:: SOT 359352 SOS 230243 HAS SOPS 224473 HAS SOUS 97691 HAS SOUPS 93434 WITH SCORE 93664.243
AT ITER 3552 NEW BEST:: SOT 359349 SOS 230240 HAS SOPS 224470 HAS SOUS 97688 HAS SOUPS 93431 WITH SCORE 93661.24
AT ITER 3564 NEW BEST:: SOT 359349 SOS 230182 HAS SOPS 224412 HAS SOUS 97686 HAS SOUPS 93429 WITH SCORE 93659.182
AT ITER 3583 NEW BEST:: SOT 359349 SOS 230182 HAS SOPS 224412 HAS SOUS 97654 HAS SOUPS 93397 WITH SCORE 93627.182
AT ITER 3586 NEW BEST:: SOT 359288 SOS 230194 HAS SOPS 224424 HAS SOUS 97456 HAS SOUPS 93199 WITH SCORE 93429.194
AT ITER 3596 NEW BEST:: SOT 358597 SOS 228367 HAS SOPS 222597 HAS SOUS 97311 HAS SOUPS 93054 WITH SCORE 93282.367
AT ITER 3598 NEW BEST:: SOT 358604 SOS 228367 HAS SOPS 222597 HAS SOUS 97297 HAS SOUPS 93040 WITH SCORE 93268.367
AT ITER 3602 NEW BEST:: SOT 358588 SOS 228437 HAS SOPS 222667 HAS SOUS 97290 HAS SOUPS 93033 WITH SCORE 93261.437
AT ITER 3624 NEW BEST:: SOT 358780 SOS 228667 HAS SOPS 223011 HAS SOUS 97099 HAS SOUPS 92842 WITH SCORE 93070.667
AT ITER 3626 NEW BEST:: SOT 358733 SOS 228282 HAS SOPS 222626 HAS SOUS 96996 HAS SOUPS 92739 WITH SCORE 92967.282
AT ITER 3627 NEW BEST:: SOT 358710 SOS 228259 HAS SOPS 222603 HAS SOUS 96964 HAS SOUPS 92707 WITH SCORE 92935.259
AT ITER 3629 NEW BEST:: SOT 358686 SOS 228201 HAS SOPS 222545 HAS SOUS 96848 HAS SOUPS 92591 WITH SCORE 92819.201
AT ITER 3656 NEW BEST:: SOT 358608 SOS 228055 HAS SOPS 222399 HAS SOUS 96702 HAS SOUPS 92445 WITH SCORE 92673.055
AT ITER 3669 NEW BEST:: SOT 358553 SOS 228170 HAS SOPS 222514 HAS SOUS 96624 HAS SOUPS 92367 WITH SCORE 92595.17
AT ITER 3707 NEW BEST:: SOT 358553 SOS 228125 HAS SOPS 222469 HAS SOUS 96624 HAS SOUPS 92367 WITH SCORE 92595.125
AT ITER 3708 NEW BEST:: SOT 358528 SOS 228305 HAS SOPS 222649 HAS SOUS 96435 HAS SOUPS 92178 WITH SCORE 92406.305
AT ITER 3715 NEW BEST:: SOT 358528 SOS 228297 HAS SOPS 222641 HAS SOUS 96435 HAS SOUPS 92178 WITH SCORE 92406.297
AT ITER 3716 NEW BEST:: SOT 358514 SOS 228187 HAS SOPS 222531 HAS SOUS 96415 HAS SOUPS 92158 WITH SCORE 92386.187
AT ITER 3717 NEW BEST:: SOT 358514 SOS 228070 HAS SOPS 222414 HAS SOUS 96367 HAS SOUPS 92110 WITH SCORE 92338.07
AT ITER 3732 NEW BEST:: SOT 358541 SOS 228044 HAS SOPS 222384 HAS SOUS 96345 HAS SOUPS 92084 WITH SCORE 92312.044
AT ITER 3736 NEW BEST:: SOT 358485 SOS 228282 HAS SOPS 222622 HAS SOUS 96331 HAS SOUPS 92070 WITH SCORE 92298.282
AT ITER 3745 NEW BEST:: SOT 358317 SOS 227823 HAS SOPS 222163 HAS SOUS 96091 HAS SOUPS 91830 WITH SCORE 92057.823
AT ITER 3747 NEW BEST:: SOT 357957 SOS 227366 HAS SOPS 221706 HAS SOUS 95703 HAS SOUPS 91442 WITH SCORE 91669.366
AT ITER 3756 NEW BEST:: SOT 357957 SOS 227376 HAS SOPS 221716 HAS SOUS 95664 HAS SOUPS 91403 WITH SCORE 91630.376
AT ITER 3767 NEW BEST:: SOT 357972 SOS 227308 HAS SOPS 221619 HAS SOUS 95618 HAS SOUPS 91357 WITH SCORE 91584.308
AT ITER 3779 NEW BEST:: SOT 357999 SOS 227335 HAS SOPS 221646 HAS SOUS 95609 HAS SOUPS 91348 WITH SCORE 91575.335
AT ITER 3792 NEW BEST:: SOT 357934 SOS 227270 HAS SOPS 221581 HAS SOUS 95534 HAS SOUPS 91273 WITH SCORE 91500.27
AT ITER 3818 NEW BEST:: SOT 357869 SOS 227322 HAS SOPS 221633 HAS SOUS 95418 HAS SOUPS 91157 WITH SCORE 91384.322
AT ITER 3828 NEW BEST:: SOT 357790 SOS 227331 HAS SOPS 221642 HAS SOUS 95245 HAS SOUPS 90984 WITH SCORE 91211.331
AT ITER 3841 NEW BEST:: SOT 357776 SOS 227333 HAS SOPS 221644 HAS SOUS 95240 HAS SOUPS 90979 WITH SCORE 91206.333
AT ITER 3843 NEW BEST:: SOT 357769 SOS 227326 HAS SOPS 221637 HAS SOUS 95240 HAS SOUPS 90979 WITH SCORE 91206.326
AT ITER 3873 NEW BEST:: SOT 357676 SOS 227233 HAS SOPS 221544 HAS SOUS 95225 HAS SOUPS 90964 WITH SCORE 91191.233
AT ITER 3882 NEW BEST:: SOT 357676 SOS 227269 HAS SOPS 221613 HAS SOUS 95212 HAS SOUPS 90962 WITH SCORE 91189.269
AT ITER 3890 NEW BEST:: SOT 357646 SOS 227227 HAS SOPS 221571 HAS SOUS 95188 HAS SOUPS 90938 WITH SCORE 91165.227
AT ITER 3899 NEW BEST:: SOT 357537 SOS 227118 HAS SOPS 221468 HAS SOUS 95014 HAS SOUPS 90770 WITH SCORE 90997.118
AT ITER 3908 NEW BEST:: SOT 357537 SOS 227258 HAS SOPS 221608 HAS SOUS 95012 HAS SOUPS 90768 WITH SCORE 90995.258
AT ITER 3929 NEW BEST:: SOT 357119 SOS 226908 HAS SOPS 221190 HAS SOUS 94767 HAS SOUPS 90455 WITH SCORE 90681.908
AT ITER 3935 NEW BEST:: SOT 356701 SOS 226263 HAS SOPS 220545 HAS SOUS 94678 HAS SOUPS 90366 WITH SCORE 90592.263
AT ITER 3936 NEW BEST:: SOT 356700 SOS 226257 HAS SOPS 220539 HAS SOUS 94677 HAS SOUPS 90365 WITH SCORE 90591.257
AT ITER 3947 NEW BEST:: SOT 356667 SOS 226224 HAS SOPS 220506 HAS SOUS 94644 HAS SOUPS 90332 WITH SCORE 90558.224
AT ITER 3958 NEW BEST:: SOT 356655 SOS 226212 HAS SOPS 220494 HAS SOUS 94636 HAS SOUPS 90324 WITH SCORE 90550.212
AT ITER 3960 NEW BEST:: SOT 356591 SOS 226308 HAS SOPS 220558 HAS SOUS 94549 HAS SOUPS 90205 WITH SCORE 90431.308
AT ITER 3967 NEW BEST:: SOT 356606 SOS 226312 HAS SOPS 220562 HAS SOUS 94516 HAS SOUPS 90172 WITH SCORE 90398.312
AT ITER 3990 NEW BEST:: SOT 356562 SOS 226268 HAS SOPS 220518 HAS SOUS 94472 HAS SOUPS 90128 WITH SCORE 90354.268
AT ITER 3994 NEW BEST:: SOT 356132 SOS 225838 HAS SOPS 220088 HAS SOUS 94291 HAS SOUPS 89947 WITH SCORE 90172.838
AT ITER 3998 NEW BEST:: SOT 356129 SOS 225829 HAS SOPS 220079 HAS SOUS 94288 HAS SOUPS 89944 WITH SCORE 90169.829
AT ITER 3999 NEW BEST:: SOT 356035 SOS 225735 HAS SOPS 219985 HAS SOUS 94195 HAS SOUPS 89851 WITH SCORE 90076.735
AT ITER 4006 NEW BEST:: SOT 356035 SOS 225763 HAS SOPS 220013 HAS SOUS 94186 HAS SOUPS 89842 WITH SCORE 90067.763
AT ITER 4022 NEW BEST:: SOT 355941 SOS 224657 HAS SOPS 218907 HAS SOUS 94161 HAS SOUPS 89817 WITH SCORE 90041.657
AT ITER 4028 NEW BEST:: SOT 355933 SOS 224649 HAS SOPS 218899 HAS SOUS 94137 HAS SOUPS 89793 WITH SCORE 90017.649
AT ITER 4042 NEW BEST:: SOT 355867 SOS 224583 HAS SOPS 218833 HAS SOUS 94064 HAS SOUPS 89720 WITH SCORE 89944.583
AT ITER 4051 NEW BEST:: SOT 355841 SOS 224541 HAS SOPS 218791 HAS SOUS 94030 HAS SOUPS 89686 WITH SCORE 89910.541
AT ITER 4060 NEW BEST:: SOT 355828 SOS 224528 HAS SOPS 218778 HAS SOUS 94027 HAS SOUPS 89683 WITH SCORE 89907.528
AT ITER 4072 NEW BEST:: SOT 355708 SOS 223968 HAS SOPS 218218 HAS SOUS 94027 HAS SOUPS 89683 WITH SCORE 89906.968
AT ITER 4076 NEW BEST:: SOT 355719 SOS 223979 HAS SOPS 218229 HAS SOUS 94021 HAS SOUPS 89677 WITH SCORE 89900.979
AT ITER 4089 NEW BEST:: SOT 355803 SOS 223530 HAS SOPS 217882 HAS SOUS 93949 HAS SOUPS 89657 WITH SCORE 89880.53
AT ITER 4101 NEW BEST:: SOT 355422 SOS 223076 HAS SOPS 217428 HAS SOUS 93610 HAS SOUPS 89318 WITH SCORE 89541.076
AT ITER 4112 NEW BEST:: SOT 355286 SOS 222940 HAS SOPS 217292 HAS SOUS 93333 HAS SOUPS 89041 WITH SCORE 89263.94
AT ITER 4114 NEW BEST:: SOT 355332 SOS 222779 HAS SOPS 217131 HAS SOUS 93330 HAS SOUPS 89038 WITH SCORE 89260.779
AT ITER 4143 NEW BEST:: SOT 355515 SOS 222872 HAS SOPS 217224 HAS SOUS 93241 HAS SOUPS 88949 WITH SCORE 89171.872
AT ITER 4145 NEW BEST:: SOT 355461 SOS 222802 HAS SOPS 217154 HAS SOUS 93203 HAS SOUPS 88911 WITH SCORE 89133.802
AT ITER 4151 NEW BEST:: SOT 355365 SOS 222706 HAS SOPS 217058 HAS SOUS 93161 HAS SOUPS 88869 WITH SCORE 89091.706
AT ITER 4173 NEW BEST:: SOT 355082 SOS 222423 HAS SOPS 216775 HAS SOUS 93037 HAS SOUPS 88745 WITH SCORE 88967.423
AT ITER 4174 NEW BEST:: SOT 355075 SOS 222416 HAS SOPS 216768 HAS SOUS 93030 HAS SOUPS 88738 WITH SCORE 88960.416
AT ITER 4177 NEW BEST:: SOT 354958 SOS 222347 HAS SOPS 216792 HAS SOUS 92869 HAS SOUPS 88670 WITH SCORE 88892.347
AT ITER 4187 NEW BEST:: SOT 354958 SOS 222347 HAS SOPS 216792 HAS SOUS 92851 HAS SOUPS 88652 WITH SCORE 88874.347
AT ITER 4192 NEW BEST:: SOT 354900 SOS 222074 HAS SOPS 216519 HAS SOUS 92794 HAS SOUPS 88595 WITH SCORE 88817.074
AT ITER 4205 NEW BEST:: SOT 355057 SOS 222253 HAS SOPS 216698 HAS SOUS 92692 HAS SOUPS 88493 WITH SCORE 88715.253
AT ITER 4230 NEW BEST:: SOT 355057 SOS 223572 HAS SOPS 218017 HAS SOUS 92567 HAS SOUPS 88368 WITH SCORE 88591.572
AT ITER 4254 NEW BEST:: SOT 355029 SOS 223551 HAS SOPS 217996 HAS SOUS 92546 HAS SOUPS 88347 WITH SCORE 88570.551
AT ITER 4268 NEW BEST:: SOT 354869 SOS 223389 HAS SOPS 217834 HAS SOUS 92395 HAS SOUPS 88196 WITH SCORE 88419.389
AT ITER 4294 NEW BEST:: SOT 354869 SOS 223425 HAS SOPS 217870 HAS SOUS 92367 HAS SOUPS 88168 WITH SCORE 88391.425
AT ITER 4301 NEW BEST:: SOT 354855 SOS 223411 HAS SOPS 217856 HAS SOUS 92353 HAS SOUPS 88154 WITH SCORE 88377.411
AT ITER 4303 NEW BEST:: SOT 355050 SOS 223648 HAS SOPS 218093 HAS SOUS 92287 HAS SOUPS 88088 WITH SCORE 88311.648
AT ITER 4324 NEW BEST:: SOT 355116 SOS 223714 HAS SOPS 218159 HAS SOUS 92179 HAS SOUPS 87980 WITH SCORE 88203.714
AT ITER 4347 NEW BEST:: SOT 354729 SOS 223293 HAS SOPS 217738 HAS SOUS 91944 HAS SOUPS 87745 WITH SCORE 87968.293
AT ITER 4351 NEW BEST:: SOT 354609 SOS 223173 HAS SOPS 217618 HAS SOUS 91922 HAS SOUPS 87723 WITH SCORE 87946.173
AT ITER 4355 NEW BEST:: SOT 354253 SOS 222803 HAS SOPS 217248 HAS SOUS 91920 HAS SOUPS 87721 WITH SCORE 87943.803
AT ITER 4378 NEW BEST:: SOT 354108 SOS 222794 HAS SOPS 217261 HAS SOUS 91860 HAS SOUPS 87683 WITH SCORE 87905.794
AT ITER 4382 NEW BEST:: SOT 354125 SOS 222811 HAS SOPS 217278 HAS SOUS 91820 HAS SOUPS 87643 WITH SCORE 87865.811
AT ITER 4393 NEW BEST:: SOT 353918 SOS 222604 HAS SOPS 217071 HAS SOUS 91691 HAS SOUPS 87514 WITH SCORE 87736.604
AT ITER 4395 NEW BEST:: SOT 353624 SOS 222062 HAS SOPS 216455 HAS SOUS 91663 HAS SOUPS 87448 WITH SCORE 87670.062
AT ITER 4406 NEW BEST:: SOT 353616 SOS 222054 HAS SOPS 216447 HAS SOUS 91659 HAS SOUPS 87444 WITH SCORE 87666.054
AT ITER 4410 NEW BEST:: SOT 353706 SOS 222197 HAS SOPS 216590 HAS SOUS 91576 HAS SOUPS 87361 WITH SCORE 87583.197
AT ITER 4413 NEW BEST:: SOT 353707 SOS 222200 HAS SOPS 216593 HAS SOUS 91572 HAS SOUPS 87357 WITH SCORE 87579.2
AT ITER 4415 NEW BEST:: SOT 353707 SOS 222200 HAS SOPS 216572 HAS SOUS 91572 HAS SOUPS 87350 WITH SCORE 87572.2
AT ITER 4421 NEW BEST:: SOT 353579 SOS 222047 HAS SOPS 216419 HAS SOUS 91511 HAS SOUPS 87289 WITH SCORE 87511.047
AT ITER 4433 NEW BEST:: SOT 353489 SOS 221905 HAS SOPS 216277 HAS SOUS 91392 HAS SOUPS 87170 WITH SCORE 87391.905
AT ITER 4439 NEW BEST:: SOT 353452 SOS 221868 HAS SOPS 216240 HAS SOUS 91111 HAS SOUPS 86889 WITH SCORE 87110.868
AT ITER 4442 NEW BEST:: SOT 353476 SOS 221943 HAS SOPS 216262 HAS SOUS 91127 HAS SOUPS 86852 WITH SCORE 87073.943
AT ITER 4453 NEW BEST:: SOT 353476 SOS 221777 HAS SOPS 216096 HAS SOUS 91063 HAS SOUPS 86788 WITH SCORE 87009.777
AT ITER 4459 NEW BEST:: SOT 353538 SOS 221839 HAS SOPS 216158 HAS SOUS 91039 HAS SOUPS 86764 WITH SCORE 86985.839
AT ITER 4461 NEW BEST:: SOT 353436 SOS 221677 HAS SOPS 215996 HAS SOUS 90757 HAS SOUPS 86482 WITH SCORE 86703.677
AT ITER 4463 NEW BEST:: SOT 353434 SOS 221675 HAS SOPS 215994 HAS SOUS 90755 HAS SOUPS 86480 WITH SCORE 86701.675
AT ITER 4464 NEW BEST:: SOT 353422 SOS 221659 HAS SOPS 215978 HAS SOUS 90719 HAS SOUPS 86444 WITH SCORE 86665.659
AT ITER 4469 NEW BEST:: SOT 353337 SOS 221521 HAS SOPS 215840 HAS SOUS 90630 HAS SOUPS 86355 WITH SCORE 86576.521
AT ITER 4471 NEW BEST:: SOT 353326 SOS 221600 HAS SOPS 215669 HAS SOUS 90639 HAS SOUPS 86278 WITH SCORE 86499.6
AT ITER 4482 NEW BEST:: SOT 353107 SOS 221358 HAS SOPS 215427 HAS SOUS 90402 HAS SOUPS 86041 WITH SCORE 86262.358
AT ITER 4511 NEW BEST:: SOT 353115 SOS 221391 HAS SOPS 215460 HAS SOUS 90328 HAS SOUPS 85967 WITH SCORE 86188.391
AT ITER 4519 NEW BEST:: SOT 353115 SOS 221283 HAS SOPS 215352 HAS SOUS 90112 HAS SOUPS 85751 WITH SCORE 85972.283
AT ITER 4531 NEW BEST:: SOT 353030 SOS 220852 HAS SOPS 214921 HAS SOUS 90089 HAS SOUPS 85728 WITH SCORE 85948.852
AT ITER 4561 NEW BEST:: SOT 352892 SOS 220662 HAS SOPS 214731 HAS SOUS 90000 HAS SOUPS 85639 WITH SCORE 85859.662
AT ITER 4574 NEW BEST:: SOT 352864 SOS 220627 HAS SOPS 214696 HAS SOUS 89979 HAS SOUPS 85618 WITH SCORE 85838.627
AT ITER 4593 NEW BEST:: SOT 352856 SOS 220619 HAS SOPS 214688 HAS SOUS 89971 HAS SOUPS 85610 WITH SCORE 85830.619
AT ITER 4617 NEW BEST:: SOT 352844 SOS 220607 HAS SOPS 214676 HAS SOUS 89950 HAS SOUPS 85589 WITH SCORE 85809.607
AT ITER 4620 NEW BEST:: SOT 352669 SOS 220432 HAS SOPS 214501 HAS SOUS 89865 HAS SOUPS 85504 WITH SCORE 85724.432
AT ITER 4637 NEW BEST:: SOT 352135 SOS 219785 HAS SOPS 213854 HAS SOUS 89766 HAS SOUPS 85405 WITH SCORE 85624.785
AT ITER 4643 NEW BEST:: SOT 352107 SOS 219763 HAS SOPS 213839 HAS SOUS 89740 HAS SOUPS 85386 WITH SCORE 85605.763
AT ITER 4666 NEW BEST:: SOT 352158 SOS 219762 HAS SOPS 213838 HAS SOUS 89506 HAS SOUPS 85152 WITH SCORE 85371.762
AT ITER 4707 NEW BEST:: SOT 352158 SOS 219756 HAS SOPS 213832 HAS SOUS 89503 HAS SOUPS 85149 WITH SCORE 85368.756
AT ITER 4721 NEW BEST:: SOT 351985 SOS 219447 HAS SOPS 213526 HAS SOUS 89330 HAS SOUPS 84979 WITH SCORE 85198.447
AT ITER 4742 NEW BEST:: SOT 351936 SOS 219398 HAS SOPS 213477 HAS SOUS 89281 HAS SOUPS 84930 WITH SCORE 85149.398
AT ITER 4760 NEW BEST:: SOT 351832 SOS 219316 HAS SOPS 213417 HAS SOUS 89221 HAS SOUPS 84892 WITH SCORE 85111.316
AT ITER 4766 NEW BEST:: SOT 351808 SOS 219276 HAS SOPS 213377 HAS SOUS 89185 HAS SOUPS 84856 WITH SCORE 85075.276
AT ITER 4847 NEW BEST:: SOT 351782 SOS 219250 HAS SOPS 213351 HAS SOUS 89159 HAS SOUPS 84830 WITH SCORE 85049.25
AT ITER 4868 NEW BEST:: SOT 351782 SOS 219304 HAS SOPS 213369 HAS SOUS 89169 HAS SOUPS 84822 WITH SCORE 85041.304
AT ITER 4881 NEW BEST:: SOT 351712 SOS 219234 HAS SOPS 213289 HAS SOUS 89121 HAS SOUPS 84764 WITH SCORE 84983.234
AT ITER 4894 NEW BEST:: SOT 351718 SOS 219234 HAS SOPS 213289 HAS SOUS 89067 HAS SOUPS 84710 WITH SCORE 84929.234
AT ITER 4895 NEW BEST:: SOT 351648 SOS 219164 HAS SOPS 213219 HAS SOUS 88987 HAS SOUPS 84630 WITH SCORE 84849.164
AT ITER 4919 NEW BEST:: SOT 351648 SOS 219147 HAS SOPS 213174 HAS SOUS 88969 HAS SOUPS 84584 WITH SCORE 84803.147
AT ITER 4931 NEW BEST:: SOT 351616 SOS 219051 HAS SOPS 213078 HAS SOUS 88969 HAS SOUPS 84584 WITH SCORE 84803.051
AT ITER 4932 NEW BEST:: SOT 351606 SOS 218754 HAS SOPS 212774 HAS SOUS 88921 HAS SOUPS 84536 WITH SCORE 84754.754
AT ITER 4938 NEW BEST:: SOT 351594 SOS 218718 HAS SOPS 212726 HAS SOUS 88897 HAS SOUPS 84500 WITH SCORE 84718.718
AT ITER 4940 NEW BEST:: SOT 351732 SOS 218856 HAS SOPS 212864 HAS SOUS 88889 HAS SOUPS 84492 WITH SCORE 84710.856
AT ITER 4958 NEW BEST:: SOT 351649 SOS 218573 HAS SOPS 212581 HAS SOUS 88513 HAS SOUPS 84116 WITH SCORE 84334.573
AT ITER 4959 NEW BEST:: SOT 351547 SOS 218471 HAS SOPS 212479 HAS SOUS 88457 HAS SOUPS 84060 WITH SCORE 84278.471
AT ITER 4983 NEW BEST:: SOT 351543 SOS 218470 HAS SOPS 212478 HAS SOUS 88454 HAS SOUPS 84057 WITH SCORE 84275.47
AT ITER 4998 NEW BEST:: SOT 351528 SOS 218455 HAS SOPS 212463 HAS SOUS 88449 HAS SOUPS 84052 WITH SCORE 84270.455
AT ITER 5048 NEW BEST:: SOT 351540 SOS 218455 HAS SOPS 212463 HAS SOUS 88441 HAS SOUPS 84044 WITH SCORE 84262.455
AT ITER 5064 NEW BEST:: SOT 351522 SOS 218437 HAS SOPS 212445 HAS SOUS 88438 HAS SOUPS 84041 WITH SCORE 84259.437
AT ITER 5068 NEW BEST:: SOT 351474 SOS 217864 HAS SOPS 211872 HAS SOUS 88373 HAS SOUPS 83976 WITH SCORE 84193.864
AT ITER 5071 NEW BEST:: SOT 351474 SOS 217676 HAS SOPS 211594 HAS SOUS 88386 HAS SOUPS 83959 WITH SCORE 84176.676
AT ITER 5072 NEW BEST:: SOT 351460 SOS 217620 HAS SOPS 211538 HAS SOUS 88344 HAS SOUPS 83917 WITH SCORE 84134.62
AT ITER 5074 NEW BEST:: SOT 351342 SOS 217461 HAS SOPS 211379 HAS SOUS 88180 HAS SOUPS 83753 WITH SCORE 83970.461
AT ITER 5082 NEW BEST:: SOT 351292 SOS 217413 HAS SOPS 211331 HAS SOUS 88166 HAS SOUPS 83739 WITH SCORE 83956.413
AT ITER 5099 NEW BEST:: SOT 351286 SOS 217416 HAS SOPS 211334 HAS SOUS 88163 HAS SOUPS 83736 WITH SCORE 83953.416
AT ITER 5112 NEW BEST:: SOT 351328 SOS 217373 HAS SOPS 211291 HAS SOUS 88153 HAS SOUPS 83726 WITH SCORE 83943.373
AT ITER 5114 NEW BEST:: SOT 351194 SOS 217201 HAS SOPS 211119 HAS SOUS 88088 HAS SOUPS 83661 WITH SCORE 83878.201
AT ITER 5120 NEW BEST:: SOT 351194 SOS 216753 HAS SOPS 210671 HAS SOUS 88077 HAS SOUPS 83650 WITH SCORE 83866.753
AT ITER 5147 NEW BEST:: SOT 351194 SOS 216749 HAS SOPS 210666 HAS SOUS 88078 HAS SOUPS 83650 WITH SCORE 83866.749
AT ITER 5158 NEW BEST:: SOT 351131 SOS 216681 HAS SOPS 210598 HAS SOUS 88033 HAS SOUPS 83605 WITH SCORE 83821.681
AT ITER 5162 NEW BEST:: SOT 351053 SOS 216603 HAS SOPS 210520 HAS SOUS 87991 HAS SOUPS 83563 WITH SCORE 83779.603
AT ITER 5172 NEW BEST:: SOT 350931 SOS 216407 HAS SOPS 210324 HAS SOUS 87929 HAS SOUPS 83501 WITH SCORE 83717.407
AT ITER 5179 NEW BEST:: SOT 350930 SOS 216311 HAS SOPS 210074 HAS SOUS 87941 HAS SOUPS 83461 WITH SCORE 83677.311
AT ITER 5184 NEW BEST:: SOT 350906 SOS 216287 HAS SOPS 210050 HAS SOUS 87926 HAS SOUPS 83446 WITH SCORE 83662.287
AT ITER 5193 NEW BEST:: SOT 350727 SOS 216074 HAS SOPS 210036 HAS SOUS 87724 HAS SOUPS 83443 WITH SCORE 83659.074
AT ITER 5214 NEW BEST:: SOT 350370 SOS 215853 HAS SOPS 209815 HAS SOUS 87703 HAS SOUPS 83422 WITH SCORE 83637.853
AT ITER 5223 NEW BEST:: SOT 350282 SOS 215763 HAS SOPS 209725 HAS SOUS 87699 HAS SOUPS 83418 WITH SCORE 83633.763
AT ITER 5224 NEW BEST:: SOT 349993 SOS 215402 HAS SOPS 209292 HAS SOUS 87634 HAS SOUPS 83353 WITH SCORE 83568.402
AT ITER 5228 NEW BEST:: SOT 349970 SOS 215356 HAS SOPS 209246 HAS SOUS 87575 HAS SOUPS 83294 WITH SCORE 83509.356
AT ITER 5233 NEW BEST:: SOT 349970 SOS 215320 HAS SOPS 209222 HAS SOUS 87571 HAS SOUPS 83294 WITH SCORE 83509.32
AT ITER 5234 NEW BEST:: SOT 349849 SOS 214758 HAS SOPS 208648 HAS SOUS 87557 HAS SOUPS 83273 WITH SCORE 83487.758
AT ITER 5239 NEW BEST:: SOT 349849 SOS 214750 HAS SOPS 208640 HAS SOUS 87555 HAS SOUPS 83271 WITH SCORE 83485.75
AT ITER 5253 NEW BEST:: SOT 349875 SOS 214776 HAS SOPS 208666 HAS SOUS 87529 HAS SOUPS 83245 WITH SCORE 83459.776
AT ITER 5266 NEW BEST:: SOT 349876 SOS 214717 HAS SOPS 208607 HAS SOUS 87503 HAS SOUPS 83219 WITH SCORE 83433.717
AT ITER 5279 NEW BEST:: SOT 349863 SOS 214728 HAS SOPS 208618 HAS SOUS 87472 HAS SOUPS 83188 WITH SCORE 83402.728
AT ITER 5283 NEW BEST:: SOT 349872 SOS 214717 HAS SOPS 208607 HAS SOUS 87310 HAS SOUPS 83026 WITH SCORE 83240.717
AT ITER 5296 NEW BEST:: SOT 349872 SOS 214497 HAS SOPS 208387 HAS SOUS 87250 HAS SOUPS 82966 WITH SCORE 83180.497
AT ITER 5322 NEW BEST:: SOT 349872 SOS 214513 HAS SOPS 208376 HAS SOUS 87257 HAS SOUPS 82964 WITH SCORE 83178.513
AT ITER 5352 NEW BEST:: SOT 349855 SOS 214496 HAS SOPS 208359 HAS SOUS 87257 HAS SOUPS 82964 WITH SCORE 83178.496
AT ITER 5425 NEW BEST:: SOT 349855 SOS 214458 HAS SOPS 208321 HAS SOUS 87257 HAS SOUPS 82964 WITH SCORE 83178.458
AT ITER 5434 NEW BEST:: SOT 349829 SOS 214424 HAS SOPS 208287 HAS SOUS 87229 HAS SOUPS 82936 WITH SCORE 83150.424
AT ITER 5455 NEW BEST:: SOT 349829 SOS 214360 HAS SOPS 208223 HAS SOUS 87206 HAS SOUPS 82913 WITH SCORE 83127.36
AT ITER 5461 NEW BEST:: SOT 349939 SOS 214134 HAS SOPS 207997 HAS SOUS 86997 HAS SOUPS 82704 WITH SCORE 82918.134
AT ITER 5472 NEW BEST:: SOT 350057 SOS 214270 HAS SOPS 208133 HAS SOUS 86995 HAS SOUPS 82702 WITH SCORE 82916.27
AT ITER 5483 NEW BEST:: SOT 350027 SOS 214065 HAS SOPS 207928 HAS SOUS 86950 HAS SOUPS 82657 WITH SCORE 82871.065
AT ITER 5501 NEW BEST:: SOT 350010 SOS 214048 HAS SOPS 207911 HAS SOUS 86911 HAS SOUPS 82618 WITH SCORE 82832.048
AT ITER 5514 NEW BEST:: SOT 350008 SOS 213940 HAS SOPS 207835 HAS SOUS 86902 HAS SOUPS 82613 WITH SCORE 82826.94
AT ITER 5522 NEW BEST:: SOT 349958 SOS 213890 HAS SOPS 207785 HAS SOUS 86795 HAS SOUPS 82506 WITH SCORE 82719.89
AT ITER 5546 NEW BEST:: SOT 350061 SOS 213993 HAS SOPS 207888 HAS SOUS 86630 HAS SOUPS 82341 WITH SCORE 82554.993
AT ITER 5551 NEW BEST:: SOT 350031 SOS 213903 HAS SOPS 207798 HAS SOUS 86577 HAS SOUPS 82288 WITH SCORE 82501.903
AT ITER 5555 NEW BEST:: SOT 349997 SOS 213869 HAS SOPS 207764 HAS SOUS 86543 HAS SOUPS 82254 WITH SCORE 82467.869
AT ITER 5556 NEW BEST:: SOT 350245 SOS 212825 HAS SOPS 206720 HAS SOUS 86253 HAS SOUPS 81964 WITH SCORE 82176.825
AT ITER 5560 NEW BEST:: SOT 350200 SOS 212780 HAS SOPS 206675 HAS SOUS 86221 HAS SOUPS 81932 WITH SCORE 82144.78
AT ITER 5564 NEW BEST:: SOT 350170 SOS 212730 HAS SOPS 206625 HAS SOUS 86181 HAS SOUPS 81892 WITH SCORE 82104.73
AT ITER 5588 NEW BEST:: SOT 350054 SOS 212386 HAS SOPS 206281 HAS SOUS 86063 HAS SOUPS 81774 WITH SCORE 81986.386
AT ITER 5595 NEW BEST:: SOT 350072 SOS 212574 HAS SOPS 206469 HAS SOUS 85983 HAS SOUPS 81694 WITH SCORE 81906.574
AT ITER 5600 NEW BEST:: SOT 349994 SOS 212476 HAS SOPS 206371 HAS SOUS 85799 HAS SOUPS 81510 WITH SCORE 81722.476
AT ITER 5637 NEW BEST:: SOT 349850 SOS 212332 HAS SOPS 206227 HAS SOUS 85797 HAS SOUPS 81508 WITH SCORE 81720.332
AT ITER 5656 NEW BEST:: SOT 349844 SOS 212326 HAS SOPS 206221 HAS SOUS 85794 HAS SOUPS 81505 WITH SCORE 81717.326
AT ITER 5657 NEW BEST:: SOT 349740 SOS 212222 HAS SOPS 206117 HAS SOUS 85618 HAS SOUPS 81329 WITH SCORE 81541.222
AT ITER 5693 NEW BEST:: SOT 349735 SOS 212200 HAS SOPS 206095 HAS SOUS 85609 HAS SOUPS 81320 WITH SCORE 81532.2
AT ITER 5702 NEW BEST:: SOT 349688 SOS 212100 HAS SOPS 205995 HAS SOUS 85566 HAS SOUPS 81277 WITH SCORE 81489.1
AT ITER 5718 NEW BEST:: SOT 349688 SOS 213345 HAS SOPS 207381 HAS SOUS 85557 HAS SOUPS 81268 WITH SCORE 81481.345
AT ITER 5737 NEW BEST:: SOT 349685 SOS 213342 HAS SOPS 207378 HAS SOUS 85545 HAS SOUPS 81256 WITH SCORE 81469.342
AT ITER 5749 NEW BEST:: SOT 349315 SOS 212678 HAS SOPS 206714 HAS SOUS 85410 HAS SOUPS 81121 WITH SCORE 81333.678
AT ITER 5762 NEW BEST:: SOT 349699 SOS 212698 HAS SOPS 206734 HAS SOUS 85273 HAS SOUPS 80984 WITH SCORE 81196.698
AT ITER 5777 NEW BEST:: SOT 349540 SOS 212423 HAS SOPS 206459 HAS SOUS 85085 HAS SOUPS 80796 WITH SCORE 81008.423
AT ITER 5780 NEW BEST:: SOT 349522 SOS 212405 HAS SOPS 206441 HAS SOUS 85048 HAS SOUPS 80759 WITH SCORE 80971.405
AT ITER 5793 NEW BEST:: SOT 349499 SOS 212394 HAS SOPS 206430 HAS SOUS 85032 HAS SOUPS 80743 WITH SCORE 80955.394
AT ITER 5795 NEW BEST:: SOT 349327 SOS 212067 HAS SOPS 206081 HAS SOUS 84988 HAS SOUPS 80677 WITH SCORE 80889.067
AT ITER 5810 NEW BEST:: SOT 349301 SOS 212041 HAS SOPS 206055 HAS SOUS 84962 HAS SOUPS 80651 WITH SCORE 80863.041
AT ITER 5812 NEW BEST:: SOT 349301 SOS 212039 HAS SOPS 206053 HAS SOUS 84956 HAS SOUPS 80645 WITH SCORE 80857.039
AT ITER 5815 NEW BEST:: SOT 349149 SOS 211727 HAS SOPS 205741 HAS SOUS 84828 HAS SOUPS 80517 WITH SCORE 80728.727
AT ITER 5824 NEW BEST:: SOT 349134 SOS 211790 HAS SOPS 205804 HAS SOUS 84824 HAS SOUPS 80513 WITH SCORE 80724.79
AT ITER 5829 NEW BEST:: SOT 349120 SOS 210650 HAS SOPS 204664 HAS SOUS 84821 HAS SOUPS 80510 WITH SCORE 80720.65
AT ITER 5870 NEW BEST:: SOT 348987 SOS 210517 HAS SOPS 204531 HAS SOUS 84608 HAS SOUPS 80297 WITH SCORE 80507.517
AT ITER 5878 NEW BEST:: SOT 348977 SOS 210491 HAS SOPS 204505 HAS SOUS 84570 HAS SOUPS 80259 WITH SCORE 80469.491
AT ITER 5882 NEW BEST:: SOT 348990 SOS 210530 HAS SOPS 204544 HAS SOUS 84557 HAS SOUPS 80246 WITH SCORE 80456.53
AT ITER 5883 NEW BEST:: SOT 348968 SOS 210508 HAS SOPS 204522 HAS SOUS 84487 HAS SOUPS 80176 WITH SCORE 80386.508
AT ITER 5887 NEW BEST:: SOT 348895 SOS 210490 HAS SOPS 204504 HAS SOUS 84484 HAS SOUPS 80173 WITH SCORE 80383.49
AT ITER 5902 NEW BEST:: SOT 348433 SOS 210028 HAS SOPS 204042 HAS SOUS 84330 HAS SOUPS 80019 WITH SCORE 80229.028
AT ITER 5903 NEW BEST:: SOT 348351 SOS 209916 HAS SOPS 203930 HAS SOUS 84237 HAS SOUPS 79926 WITH SCORE 80135.916
AT ITER 5908 NEW BEST:: SOT 348325 SOS 209903 HAS SOPS 203917 HAS SOUS 84211 HAS SOUPS 79900 WITH SCORE 80109.903
AT ITER 5910 NEW BEST:: SOT 348317 SOS 209834 HAS SOPS 203848 HAS SOUS 84129 HAS SOUPS 79818 WITH SCORE 80027.834
AT ITER 5913 NEW BEST:: SOT 348367 SOS 209884 HAS SOPS 203898 HAS SOUS 84125 HAS SOUPS 79814 WITH SCORE 80023.884
AT ITER 5917 NEW BEST:: SOT 348265 SOS 209713 HAS SOPS 203701 HAS SOUS 84033 HAS SOUPS 79696 WITH SCORE 79905.713
AT ITER 5924 NEW BEST:: SOT 348301 SOS 209758 HAS SOPS 203746 HAS SOUS 84024 HAS SOUPS 79687 WITH SCORE 79896.758
AT ITER 5946 NEW BEST:: SOT 348363 SOS 209820 HAS SOPS 203808 HAS SOUS 83868 HAS SOUPS 79531 WITH SCORE 79740.82
AT ITER 5952 NEW BEST:: SOT 348356 SOS 209813 HAS SOPS 203801 HAS SOUS 83841 HAS SOUPS 79504 WITH SCORE 79713.813
AT ITER 5984 NEW BEST:: SOT 348259 SOS 209820 HAS SOPS 203808 HAS SOUS 83794 HAS SOUPS 79457 WITH SCORE 79666.82
AT ITER 5996 NEW BEST:: SOT 348213 SOS 209752 HAS SOPS 203770 HAS SOUS 83737 HAS SOUPS 79430 WITH SCORE 79639.752
AT ITER 6001 NEW BEST:: SOT 348199 SOS 209782 HAS SOPS 203800 HAS SOUS 83718 HAS SOUPS 79411 WITH SCORE 79620.782
AT ITER 6027 NEW BEST:: SOT 348236 SOS 209782 HAS SOPS 203763 HAS SOUS 83718 HAS SOUPS 79374 WITH SCORE 79583.782
AT ITER 6043 NEW BEST:: SOT 348153 SOS 209699 HAS SOPS 203680 HAS SOUS 83614 HAS SOUPS 79270 WITH SCORE 79479.699
AT ITER 6093 NEW BEST:: SOT 348175 SOS 209720 HAS SOPS 203701 HAS SOUS 83555 HAS SOUPS 79211 WITH SCORE 79420.72
AT ITER 6123 NEW BEST:: SOT 348128 SOS 209626 HAS SOPS 203607 HAS SOUS 83275 HAS SOUPS 78931 WITH SCORE 79140.626
AT ITER 6127 NEW BEST:: SOT 348109 SOS 209341 HAS SOPS 203322 HAS SOUS 83234 HAS SOUPS 78890 WITH SCORE 79099.341
AT ITER 6130 NEW BEST:: SOT 348124 SOS 209371 HAS SOPS 203352 HAS SOUS 83232 HAS SOUPS 78888 WITH SCORE 79097.371
AT ITER 6134 NEW BEST:: SOT 348074 SOS 209321 HAS SOPS 203302 HAS SOUS 83062 HAS SOUPS 78718 WITH SCORE 78927.321
AT ITER 6143 NEW BEST:: SOT 347960 SOS 209197 HAS SOPS 203178 HAS SOUS 82888 HAS SOUPS 78544 WITH SCORE 78753.197
AT ITER 6154 NEW BEST:: SOT 347891 SOS 209093 HAS SOPS 203074 HAS SOUS 82735 HAS SOUPS 78391 WITH SCORE 78600.093
AT ITER 6157 NEW BEST:: SOT 347675 SOS 208877 HAS SOPS 202858 HAS SOUS 82475 HAS SOUPS 78131 WITH SCORE 78339.877
AT ITER 6168 NEW BEST:: SOT 347645 SOS 208772 HAS SOPS 202753 HAS SOUS 82400 HAS SOUPS 78056 WITH SCORE 78264.772
AT ITER 6191 NEW BEST:: SOT 347551 SOS 208678 HAS SOPS 202659 HAS SOUS 82396 HAS SOUPS 78052 WITH SCORE 78260.678
AT ITER 6206 NEW BEST:: SOT 347257 SOS 207913 HAS SOPS 201894 HAS SOUS 82181 HAS SOUPS 77837 WITH SCORE 78044.913
AT ITER 6211 NEW BEST:: SOT 347292 SOS 207948 HAS SOPS 201929 HAS SOUS 82174 HAS SOUPS 77830 WITH SCORE 78037.948
AT ITER 6219 NEW BEST:: SOT 347183 SOS 207820 HAS SOPS 201801 HAS SOUS 81935 HAS SOUPS 77591 WITH SCORE 77798.82
AT ITER 6240 NEW BEST:: SOT 347131 SOS 207768 HAS SOPS 201749 HAS SOUS 81904 HAS SOUPS 77560 WITH SCORE 77767.768
AT ITER 6245 NEW BEST:: SOT 347151 SOS 207788 HAS SOPS 201769 HAS SOUS 81890 HAS SOUPS 77546 WITH SCORE 77753.788
AT ITER 6260 NEW BEST:: SOT 346010 SOS 206689 HAS SOPS 200670 HAS SOUS 81770 HAS SOUPS 77426 WITH SCORE 77632.689
AT ITER 6277 NEW BEST:: SOT 346060 SOS 206739 HAS SOPS 200720 HAS SOUS 81680 HAS SOUPS 77336 WITH SCORE 77542.739
AT ITER 6353 NEW BEST:: SOT 346075 SOS 206784 HAS SOPS 200765 HAS SOUS 81677 HAS SOUPS 77333 WITH SCORE 77539.784
AT ITER 6366 NEW BEST:: SOT 346031 SOS 206577 HAS SOPS 200558 HAS SOUS 81586 HAS SOUPS 77242 WITH SCORE 77448.577
AT ITER 6382 NEW BEST:: SOT 346031 SOS 206535 HAS SOPS 200438 HAS SOUS 81586 HAS SOUPS 77164 WITH SCORE 77370.535
AT ITER 6385 NEW BEST:: SOT 346031 SOS 206546 HAS SOPS 200449 HAS SOUS 81570 HAS SOUPS 77148 WITH SCORE 77354.546
AT ITER 6389 NEW BEST:: SOT 345977 SOS 206492 HAS SOPS 200395 HAS SOUS 81570 HAS SOUPS 77148 WITH SCORE 77354.492
AT ITER 6395 NEW BEST:: SOT 346002 SOS 206494 HAS SOPS 200397 HAS SOUS 81567 HAS SOUPS 77145 WITH SCORE 77351.494
AT ITER 6415 NEW BEST:: SOT 346002 SOS 206494 HAS SOPS 200397 HAS SOUS 81564 HAS SOUPS 77142 WITH SCORE 77348.494
AT ITER 6422 NEW BEST:: SOT 345971 SOS 206463 HAS SOPS 200383 HAS SOUS 81470 HAS SOUPS 77065 WITH SCORE 77271.463
AT ITER 6467 NEW BEST:: SOT 345957 SOS 206449 HAS SOPS 200369 HAS SOUS 81463 HAS SOUPS 77058 WITH SCORE 77264.449
AT ITER 6504 NEW BEST:: SOT 345785 SOS 206152 HAS SOPS 200072 HAS SOUS 81137 HAS SOUPS 76732 WITH SCORE 76938.152
AT ITER 6510 NEW BEST:: SOT 345782 SOS 206149 HAS SOPS 200069 HAS SOUS 81131 HAS SOUPS 76726 WITH SCORE 76932.149
AT ITER 6530 NEW BEST:: SOT 345752 SOS 205924 HAS SOPS 199844 HAS SOUS 81082 HAS SOUPS 76677 WITH SCORE 76882.924
AT ITER 6551 NEW BEST:: SOT 345796 SOS 205902 HAS SOPS 199794 HAS SOUS 81030 HAS SOUPS 76612 WITH SCORE 76817.902
AT ITER 6554 NEW BEST:: SOT 345796 SOS 205902 HAS SOPS 199794 HAS SOUS 80970 HAS SOUPS 76552 WITH SCORE 76757.902
AT ITER 6570 NEW BEST:: SOT 345703 SOS 205780 HAS SOPS 199672 HAS SOUS 80900 HAS SOUPS 76482 WITH SCORE 76687.78
AT ITER 6576 NEW BEST:: SOT 345679 SOS 205756 HAS SOPS 199648 HAS SOUS 80876 HAS SOUPS 76458 WITH SCORE 76663.756
AT ITER 6595 NEW BEST:: SOT 345675 SOS 205754 HAS SOPS 199646 HAS SOUS 80859 HAS SOUPS 76441 WITH SCORE 76646.754
AT ITER 6606 NEW BEST:: SOT 345511 SOS 205713 HAS SOPS 199605 HAS SOUS 80695 HAS SOUPS 76277 WITH SCORE 76482.713
AT ITER 6658 NEW BEST:: SOT 345459 SOS 204167 HAS SOPS 197920 HAS SOUS 80544 HAS SOUPS 76126 WITH SCORE 76330.167
AT ITER 6661 NEW BEST:: SOT 345459 SOS 204150 HAS SOPS 197903 HAS SOUS 80491 HAS SOUPS 76073 WITH SCORE 76277.15
AT ITER 6662 NEW BEST:: SOT 345439 SOS 204130 HAS SOPS 197883 HAS SOUS 80471 HAS SOUPS 76053 WITH SCORE 76257.13
AT ITER 6688 NEW BEST:: SOT 345426 SOS 204075 HAS SOPS 197828 HAS SOUS 80458 HAS SOUPS 76040 WITH SCORE 76244.075
AT ITER 6706 NEW BEST:: SOT 345389 SOS 204038 HAS SOPS 197791 HAS SOUS 80346 HAS SOUPS 75928 WITH SCORE 76132.038
AT ITER 6751 NEW BEST:: SOT 345375 SOS 204024 HAS SOPS 197777 HAS SOUS 80282 HAS SOUPS 75864 WITH SCORE 76068.024
AT ITER 6769 NEW BEST:: SOT 345255 SOS 203904 HAS SOPS 197617 HAS SOUS 80242 HAS SOUPS 75784 WITH SCORE 75987.904
AT ITER 6806 NEW BEST:: SOT 345122 SOS 203742 HAS SOPS 197455 HAS SOUS 80052 HAS SOUPS 75594 WITH SCORE 75797.742
AT ITER 6823 NEW BEST:: SOT 345080 SOS 203533 HAS SOPS 197246 HAS SOUS 80026 HAS SOUPS 75568 WITH SCORE 75771.533
AT ITER 6828 NEW BEST:: SOT 345054 SOS 203507 HAS SOPS 197220 HAS SOUS 79972 HAS SOUPS 75514 WITH SCORE 75717.507
AT ITER 6852 NEW BEST:: SOT 345061 SOS 203514 HAS SOPS 197227 HAS SOUS 79958 HAS SOUPS 75500 WITH SCORE 75703.514
AT ITER 6854 NEW BEST:: SOT 345184 SOS 204774 HAS SOPS 198346 HAS SOUS 79976 HAS SOUPS 75377 WITH SCORE 75581.774
AT ITER 6877 NEW BEST:: SOT 345172 SOS 204762 HAS SOPS 198334 HAS SOUS 79968 HAS SOUPS 75369 WITH SCORE 75573.762
AT ITER 6884 NEW BEST:: SOT 345156 SOS 204746 HAS SOPS 198318 HAS SOUS 79950 HAS SOUPS 75351 WITH SCORE 75555.746
AT ITER 6887 NEW BEST:: SOT 345163 SOS 204739 HAS SOPS 198311 HAS SOUS 79922 HAS SOUPS 75323 WITH SCORE 75527.739
AT ITER 6947 NEW BEST:: SOT 345058 SOS 204634 HAS SOPS 198206 HAS SOUS 79862 HAS SOUPS 75263 WITH SCORE 75467.634
AT ITER 6952 NEW BEST:: SOT 345004 SOS 204580 HAS SOPS 198152 HAS SOUS 79812 HAS SOUPS 75213 WITH SCORE 75417.58
AT ITER 6961 NEW BEST:: SOT 345200 SOS 204668 HAS SOPS 198240 HAS SOUS 79808 HAS SOUPS 75209 WITH SCORE 75413.668
AT ITER 6978 NEW BEST:: SOT 345233 SOS 204734 HAS SOPS 198306 HAS SOUS 79797 HAS SOUPS 75198 WITH SCORE 75402.734
AT ITER 7034 NEW BEST:: SOT 345233 SOS 204671 HAS SOPS 198243 HAS SOUS 79796 HAS SOUPS 75197 WITH SCORE 75401.671
AT ITER 7044 NEW BEST:: SOT 345159 SOS 204597 HAS SOPS 198223 HAS SOUS 79604 HAS SOUPS 75059 WITH SCORE 75263.597
AT ITER 7056 NEW BEST:: SOT 345225 SOS 204700 HAS SOPS 198326 HAS SOUS 79587 HAS SOUPS 75042 WITH SCORE 75246.7
AT ITER 7071 NEW BEST:: SOT 345211 SOS 204683 HAS SOPS 198309 HAS SOUS 79549 HAS SOUPS 75004 WITH SCORE 75208.683
AT ITER 7084 NEW BEST:: SOT 345209 SOS 204677 HAS SOPS 198301 HAS SOUS 79547 HAS SOUPS 75000 WITH SCORE 75204.677
AT ITER 7099 NEW BEST:: SOT 345131 SOS 204494 HAS SOPS 198118 HAS SOUS 79481 HAS SOUPS 74934 WITH SCORE 75138.494
AT ITER 7100 NEW BEST:: SOT 345193 SOS 204556 HAS SOPS 198180 HAS SOUS 79450 HAS SOUPS 74903 WITH SCORE 75107.556
AT ITER 7103 NEW BEST:: SOT 345190 SOS 204552 HAS SOPS 198176 HAS SOUS 79414 HAS SOUPS 74867 WITH SCORE 75071.552
AT ITER 7113 NEW BEST:: SOT 345086 SOS 204342 HAS SOPS 197966 HAS SOUS 79344 HAS SOUPS 74797 WITH SCORE 75001.342
AT ITER 7120 NEW BEST:: SOT 345036 SOS 204182 HAS SOPS 197814 HAS SOUS 79239 HAS SOUPS 74700 WITH SCORE 74904.182
AT ITER 7130 NEW BEST:: SOT 344980 SOS 204126 HAS SOPS 197758 HAS SOUS 79193 HAS SOUPS 74654 WITH SCORE 74858.126
AT ITER 7136 NEW BEST:: SOT 344870 SOS 203622 HAS SOPS 196854 HAS SOUS 79077 HAS SOUPS 74350 WITH SCORE 74553.622
AT ITER 7159 NEW BEST:: SOT 344918 SOS 203670 HAS SOPS 196902 HAS SOUS 79055 HAS SOUPS 74328 WITH SCORE 74531.67
AT ITER 7161 NEW BEST:: SOT 344870 SOS 203531 HAS SOPS 196763 HAS SOUS 78989 HAS SOUPS 74262 WITH SCORE 74465.531
AT ITER 7196 NEW BEST:: SOT 344774 SOS 203083 HAS SOPS 196315 HAS SOUS 78893 HAS SOUPS 74166 WITH SCORE 74369.083
AT ITER 7227 NEW BEST:: SOT 344766 SOS 203075 HAS SOPS 196307 HAS SOUS 78884 HAS SOUPS 74157 WITH SCORE 74360.075
AT ITER 7247 NEW BEST:: SOT 344690 SOS 203287 HAS SOPS 196519 HAS SOUS 78844 HAS SOUPS 74117 WITH SCORE 74320.287
AT ITER 7259 NEW BEST:: SOT 344700 SOS 203292 HAS SOPS 196524 HAS SOUS 78839 HAS SOUPS 74112 WITH SCORE 74315.292
AT ITER 7268 NEW BEST:: SOT 344565 SOS 203209 HAS SOPS 196441 HAS SOUS 78832 HAS SOUPS 74105 WITH SCORE 74308.209
AT ITER 7278 NEW BEST:: SOT 344487 SOS 203131 HAS SOPS 196363 HAS SOUS 78832 HAS SOUPS 74105 WITH SCORE 74308.131
AT ITER 7280 NEW BEST:: SOT 344443 SOS 203087 HAS SOPS 196319 HAS SOUS 78792 HAS SOUPS 74065 WITH SCORE 74268.087
AT ITER 7287 NEW BEST:: SOT 344394 SOS 203039 HAS SOPS 196271 HAS SOUS 78744 HAS SOUPS 74017 WITH SCORE 74220.039
AT ITER 7289 NEW BEST:: SOT 344400 SOS 203079 HAS SOPS 196311 HAS SOUS 78730 HAS SOUPS 74003 WITH SCORE 74206.079
AT ITER 7312 NEW BEST:: SOT 344328 SOS 202441 HAS SOPS 195673 HAS SOUS 78441 HAS SOUPS 73714 WITH SCORE 73916.441
AT ITER 7315 NEW BEST:: SOT 344629 SOS 202718 HAS SOPS 195950 HAS SOUS 78284 HAS SOUPS 73557 WITH SCORE 73759.718
AT ITER 7357 NEW BEST:: SOT 344621 SOS 202710 HAS SOPS 195942 HAS SOUS 78276 HAS SOUPS 73549 WITH SCORE 73751.71
AT ITER 7371 NEW BEST:: SOT 344603 SOS 202692 HAS SOPS 195924 HAS SOUS 78258 HAS SOUPS 73531 WITH SCORE 73733.692
AT ITER 7413 NEW BEST:: SOT 344553 SOS 202642 HAS SOPS 195874 HAS SOUS 78190 HAS SOUPS 73463 WITH SCORE 73665.642
AT ITER 7446 NEW BEST:: SOT 344553 SOS 202650 HAS SOPS 195866 HAS SOUS 78190 HAS SOUPS 73455 WITH SCORE 73657.65
AT ITER 7460 NEW BEST:: SOT 344469 SOS 202343 HAS SOPS 195559 HAS SOUS 78089 HAS SOUPS 73354 WITH SCORE 73556.343
AT ITER 7461 NEW BEST:: SOT 344394 SOS 202363 HAS SOPS 195484 HAS SOUS 78141 HAS SOUPS 73311 WITH SCORE 73513.363
AT ITER 7492 NEW BEST:: SOT 344316 SOS 202309 HAS SOPS 195438 HAS SOUS 78077 HAS SOUPS 73255 WITH SCORE 73457.309
AT ITER 7504 NEW BEST:: SOT 344314 SOS 202307 HAS SOPS 195436 HAS SOUS 78065 HAS SOUPS 73243 WITH SCORE 73445.307
AT ITER 7508 NEW BEST:: SOT 344176 SOS 202169 HAS SOPS 195298 HAS SOUS 77999 HAS SOUPS 73177 WITH SCORE 73379.169
AT ITER 7557 NEW BEST:: SOT 343127 SOS 201120 HAS SOPS 194249 HAS SOUS 77769 HAS SOUPS 72947 WITH SCORE 73148.12
AT ITER 7569 NEW BEST:: SOT 343093 SOS 201142 HAS SOPS 194271 HAS SOUS 77756 HAS SOUPS 72934 WITH SCORE 73135.142
AT ITER 7580 NEW BEST:: SOT 343073 SOS 201122 HAS SOPS 194251 HAS SOUS 77746 HAS SOUPS 72924 WITH SCORE 73125.122
AT ITER 7583 NEW BEST:: SOT 343071 SOS 201120 HAS SOPS 194249 HAS SOUS 77744 HAS SOUPS 72922 WITH SCORE 73123.12
AT ITER 7598 NEW BEST:: SOT 343059 SOS 201108 HAS SOPS 194237 HAS SOUS 77720 HAS SOUPS 72898 WITH SCORE 73099.108
AT ITER 7599 NEW BEST:: SOT 343059 SOS 201108 HAS SOPS 194237 HAS SOUS 77676 HAS SOUPS 72854 WITH SCORE 73055.108
AT ITER 7611 NEW BEST:: SOT 342909 SOS 200958 HAS SOPS 194087 HAS SOUS 77581 HAS SOUPS 72759 WITH SCORE 72959.958
AT ITER 7651 NEW BEST:: SOT 342899 SOS 200954 HAS SOPS 194083 HAS SOUS 77562 HAS SOUPS 72740 WITH SCORE 72940.954
AT ITER 7686 NEW BEST:: SOT 342975 SOS 200982 HAS SOPS 194111 HAS SOUS 77560 HAS SOUPS 72738 WITH SCORE 72938.982
AT ITER 7706 NEW BEST:: SOT 342951 SOS 200958 HAS SOPS 194087 HAS SOUS 77544 HAS SOUPS 72722 WITH SCORE 72922.958
AT ITER 7746 NEW BEST:: SOT 342942 SOS 200904 HAS SOPS 194033 HAS SOUS 77526 HAS SOUPS 72704 WITH SCORE 72904.904
AT ITER 7781 NEW BEST:: SOT 342936 SOS 200898 HAS SOPS 194027 HAS SOUS 77516 HAS SOUPS 72694 WITH SCORE 72894.898
AT ITER 7792 NEW BEST:: SOT 342936 SOS 200898 HAS SOPS 194027 HAS SOUS 77514 HAS SOUPS 72692 WITH SCORE 72892.898
AT ITER 7807 NEW BEST:: SOT 342920 SOS 200882 HAS SOPS 194011 HAS SOUS 77482 HAS SOUPS 72660 WITH SCORE 72860.882
AT ITER 7829 NEW BEST:: SOT 342914 SOS 200876 HAS SOPS 194005 HAS SOUS 77476 HAS SOUPS 72654 WITH SCORE 72854.876
AT ITER 7837 NEW BEST:: SOT 342914 SOS 200876 HAS SOPS 194005 HAS SOUS 77437 HAS SOUPS 72615 WITH SCORE 72815.876
AT ITER 7867 NEW BEST:: SOT 342914 SOS 200703 HAS SOPS 193811 HAS SOUS 77390 HAS SOUPS 72568 WITH SCORE 72768.703
AT ITER 7881 NEW BEST:: SOT 342924 SOS 201009 HAS SOPS 194117 HAS SOUS 77347 HAS SOUPS 72525 WITH SCORE 72726.009
AT ITER 7884 NEW BEST:: SOT 343007 SOS 200995 HAS SOPS 194103 HAS SOUS 77217 HAS SOUPS 72395 WITH SCORE 72595.995
AT ITER 7887 NEW BEST:: SOT 342983 SOS 200906 HAS SOPS 194014 HAS SOUS 77217 HAS SOUPS 72395 WITH SCORE 72595.906
AT ITER 7892 NEW BEST:: SOT 342983 SOS 200843 HAS SOPS 193960 HAS SOUS 77208 HAS SOUPS 72395 WITH SCORE 72595.843
AT ITER 7928 NEW BEST:: SOT 342883 SOS 200656 HAS SOPS 193773 HAS SOUS 77149 HAS SOUPS 72336 WITH SCORE 72536.656
AT ITER 7931 NEW BEST:: SOT 342846 SOS 200378 HAS SOPS 193495 HAS SOUS 77109 HAS SOUPS 72296 WITH SCORE 72496.378
AT ITER 7957 NEW BEST:: SOT 342846 SOS 200372 HAS SOPS 193489 HAS SOUS 77108 HAS SOUPS 72295 WITH SCORE 72495.372
AT ITER 8004 NEW BEST:: SOT 342839 SOS 200365 HAS SOPS 193475 HAS SOUS 77101 HAS SOUPS 72281 WITH SCORE 72481.365
AT ITER 8029 NEW BEST:: SOT 342833 SOS 200362 HAS SOPS 193472 HAS SOUS 77092 HAS SOUPS 72272 WITH SCORE 72472.362
AT ITER 8041 NEW BEST:: SOT 342781 SOS 200262 HAS SOPS 193364 HAS SOUS 77052 HAS SOUPS 72224 WITH SCORE 72424.262
AT ITER 8054 NEW BEST:: SOT 342761 SOS 200242 HAS SOPS 193344 HAS SOUS 77037 HAS SOUPS 72209 WITH SCORE 72409.242
AT ITER 8075 NEW BEST:: SOT 342857 SOS 200565 HAS SOPS 193667 HAS SOUS 77016 HAS SOUPS 72188 WITH SCORE 72388.565
AT ITER 8084 NEW BEST:: SOT 342906 SOS 200572 HAS SOPS 193674 HAS SOUS 76795 HAS SOUPS 71967 WITH SCORE 72167.572
AT ITER 8096 NEW BEST:: SOT 342894 SOS 200212 HAS SOPS 193314 HAS SOUS 76730 HAS SOUPS 71902 WITH SCORE 72102.212
AT ITER 8111 NEW BEST:: SOT 342894 SOS 200376 HAS SOPS 193478 HAS SOUS 76729 HAS SOUPS 71901 WITH SCORE 72101.376
AT ITER 8148 NEW BEST:: SOT 342812 SOS 199947 HAS SOPS 193049 HAS SOUS 76646 HAS SOUPS 71818 WITH SCORE 72017.947
AT ITER 8164 NEW BEST:: SOT 342812 SOS 199707 HAS SOPS 192637 HAS SOUS 76629 HAS SOUPS 71715 WITH SCORE 71914.707
AT ITER 8197 NEW BEST:: SOT 342736 SOS 199143 HAS SOPS 192073 HAS SOUS 76438 HAS SOUPS 71524 WITH SCORE 71723.143
AT ITER 8200 NEW BEST:: SOT 342711 SOS 199083 HAS SOPS 192013 HAS SOUS 76426 HAS SOUPS 71512 WITH SCORE 71711.083
AT ITER 8203 NEW BEST:: SOT 342715 SOS 199087 HAS SOPS 192017 HAS SOUS 76418 HAS SOUPS 71504 WITH SCORE 71703.087
AT ITER 8207 NEW BEST:: SOT 342704 SOS 199031 HAS SOPS 191961 HAS SOUS 76351 HAS SOUPS 71437 WITH SCORE 71636.031
AT ITER 8245 NEW BEST:: SOT 342508 SOS 196973 HAS SOPS 189903 HAS SOUS 76307 HAS SOUPS 71393 WITH SCORE 71589.973
AT ITER 8246 NEW BEST:: SOT 342428 SOS 196889 HAS SOPS 189819 HAS SOUS 76139 HAS SOUPS 71225 WITH SCORE 71421.889
AT ITER 8273 NEW BEST:: SOT 342386 SOS 196896 HAS SOPS 189826 HAS SOUS 76125 HAS SOUPS 71211 WITH SCORE 71407.896
AT ITER 8301 NEW BEST:: SOT 342416 SOS 196892 HAS SOPS 189822 HAS SOUS 76087 HAS SOUPS 71173 WITH SCORE 71369.892
AT ITER 8324 NEW BEST:: SOT 342345 SOS 196841 HAS SOPS 189771 HAS SOUS 76070 HAS SOUPS 71156 WITH SCORE 71352.841
AT ITER 8328 NEW BEST:: SOT 342309 SOS 196823 HAS SOPS 189753 HAS SOUS 76055 HAS SOUPS 71141 WITH SCORE 71337.823
AT ITER 8336 NEW BEST:: SOT 342273 SOS 196680 HAS SOPS 189610 HAS SOUS 75967 HAS SOUPS 71053 WITH SCORE 71249.68
AT ITER 8365 NEW BEST:: SOT 342320 SOS 196729 HAS SOPS 189659 HAS SOUS 75792 HAS SOUPS 70878 WITH SCORE 71074.729
AT ITER 8389 NEW BEST:: SOT 342230 SOS 196326 HAS SOPS 189256 HAS SOUS 75701 HAS SOUPS 70787 WITH SCORE 70983.326
AT ITER 8390 NEW BEST:: SOT 342356 SOS 196318 HAS SOPS 189248 HAS SOUS 75685 HAS SOUPS 70771 WITH SCORE 70967.318
AT ITER 8405 NEW BEST:: SOT 342356 SOS 196319 HAS SOPS 189249 HAS SOUS 75683 HAS SOUPS 70769 WITH SCORE 70965.319
AT ITER 8406 NEW BEST:: SOT 342341 SOS 196692 HAS SOPS 189622 HAS SOUS 75633 HAS SOUPS 70719 WITH SCORE 70915.692
AT ITER 8419 NEW BEST:: SOT 342341 SOS 196692 HAS SOPS 189622 HAS SOUS 75621 HAS SOUPS 70707 WITH SCORE 70903.692
AT ITER 8421 NEW BEST:: SOT 342339 SOS 196690 HAS SOPS 189620 HAS SOUS 75621 HAS SOUPS 70707 WITH SCORE 70903.69
AT ITER 8458 NEW BEST:: SOT 342348 SOS 196681 HAS SOPS 189611 HAS SOUS 75621 HAS SOUPS 70707 WITH SCORE 70903.681
AT ITER 8494 NEW BEST:: SOT 342348 SOS 196683 HAS SOPS 189613 HAS SOUS 75618 HAS SOUPS 70704 WITH SCORE 70900.683
AT ITER 8504 NEW BEST:: SOT 342317 SOS 196672 HAS SOPS 189605 HAS SOUS 75561 HAS SOUPS 70650 WITH SCORE 70846.672
AT ITER 8546 NEW BEST:: SOT 342298 SOS 196648 HAS SOPS 189590 HAS SOUS 75542 HAS SOUPS 70640 WITH SCORE 70836.648
AT ITER 8605 NEW BEST:: SOT 342308 SOS 196633 HAS SOPS 189575 HAS SOUS 75493 HAS SOUPS 70591 WITH SCORE 70787.633
AT ITER 8636 NEW BEST:: SOT 342354 SOS 196679 HAS SOPS 189621 HAS SOUS 75481 HAS SOUPS 70579 WITH SCORE 70775.679
AT ITER 8638 NEW BEST:: SOT 342346 SOS 196671 HAS SOPS 189613 HAS SOUS 75477 HAS SOUPS 70575 WITH SCORE 70771.671
AT ITER 8664 NEW BEST:: SOT 342294 SOS 196619 HAS SOPS 189561 HAS SOUS 75474 HAS SOUPS 70572 WITH SCORE 70768.619
AT ITER 8668 NEW BEST:: SOT 342348 SOS 196673 HAS SOPS 189615 HAS SOUS 75472 HAS SOUPS 70570 WITH SCORE 70766.673
AT ITER 8696 NEW BEST:: SOT 342369 SOS 196662 HAS SOPS 189604 HAS SOUS 75330 HAS SOUPS 70428 WITH SCORE 70624.662
AT ITER 8706 NEW BEST:: SOT 342369 SOS 196617 HAS SOPS 189649 HAS SOUS 75297 HAS SOUPS 70425 WITH SCORE 70621.617
AT ITER 8729 NEW BEST:: SOT 342362 SOS 196608 HAS SOPS 189640 HAS SOUS 75293 HAS SOUPS 70421 WITH SCORE 70617.608
AT ITER 8772 NEW BEST:: SOT 342338 SOS 196584 HAS SOPS 189616 HAS SOUS 75279 HAS SOUPS 70407 WITH SCORE 70603.584
AT ITER 8806 NEW BEST:: SOT 342313 SOS 196517 HAS SOPS 189549 HAS SOUS 75249 HAS SOUPS 70377 WITH SCORE 70573.517
AT ITER 8819 NEW BEST:: SOT 342263 SOS 196467 HAS SOPS 189489 HAS SOUS 75209 HAS SOUPS 70337 WITH SCORE 70533.467
AT ITER 8845 NEW BEST:: SOT 342275 SOS 196479 HAS SOPS 189501 HAS SOUS 75203 HAS SOUPS 70331 WITH SCORE 70527.479
AT ITER 8868 NEW BEST:: SOT 342275 SOS 196465 HAS SOPS 189487 HAS SOUS 75175 HAS SOUPS 70303 WITH SCORE 70499.465
AT ITER 8871 NEW BEST:: SOT 342265 SOS 196455 HAS SOPS 189477 HAS SOUS 75153 HAS SOUPS 70281 WITH SCORE 70477.455
AT ITER 8880 NEW BEST:: SOT 342256 SOS 196446 HAS SOPS 189468 HAS SOUS 75150 HAS SOUPS 70278 WITH SCORE 70474.446
AT ITER 8887 NEW BEST:: SOT 342176 SOS 196386 HAS SOPS 189408 HAS SOUS 75148 HAS SOUPS 70276 WITH SCORE 70472.386
AT ITER 8902 NEW BEST:: SOT 342060 SOS 196270 HAS SOPS 189292 HAS SOUS 75079 HAS SOUPS 70207 WITH SCORE 70403.27
AT ITER 8904 NEW BEST:: SOT 342054 SOS 196264 HAS SOPS 189286 HAS SOUS 75052 HAS SOUPS 70180 WITH SCORE 70376.264
AT ITER 8908 NEW BEST:: SOT 342089 SOS 196474 HAS SOPS 189467 HAS SOUS 75065 HAS SOUPS 70164 WITH SCORE 70360.474
AT ITER 8911 NEW BEST:: SOT 341899 SOS 196284 HAS SOPS 189277 HAS SOUS 75024 HAS SOUPS 70123 WITH SCORE 70319.284
AT ITER 8921 NEW BEST:: SOT 341891 SOS 196276 HAS SOPS 189269 HAS SOUS 74974 HAS SOUPS 70073 WITH SCORE 70269.276
AT ITER 8957 NEW BEST:: SOT 341891 SOS 196096 HAS SOPS 189035 HAS SOUS 74992 HAS SOUPS 70073 WITH SCORE 70269.096
AT ITER 8991 NEW BEST:: SOT 341934 SOS 196139 HAS SOPS 189078 HAS SOUS 74909 HAS SOUPS 69990 WITH SCORE 70186.139
AT ITER 9041 NEW BEST:: SOT 341957 SOS 196142 HAS SOPS 189081 HAS SOUS 74820 HAS SOUPS 69901 WITH SCORE 70097.142
AT ITER 9063 NEW BEST:: SOT 341954 SOS 196187 HAS SOPS 189126 HAS SOUS 74817 HAS SOUPS 69898 WITH SCORE 70094.187
AT ITER 9071 NEW BEST:: SOT 341992 SOS 196400 HAS SOPS 189408 HAS SOUS 74760 HAS SOUPS 69883 WITH SCORE 70079.4
AT ITER 9076 NEW BEST:: SOT 342360 SOS 196768 HAS SOPS 189776 HAS SOUS 74702 HAS SOUPS 69825 WITH SCORE 70021.768
AT ITER 9126 NEW BEST:: SOT 342359 SOS 196767 HAS SOPS 189775 HAS SOUS 74674 HAS SOUPS 69797 WITH SCORE 69993.767
AT ITER 9139 NEW BEST:: SOT 342320 SOS 196727 HAS SOPS 189735 HAS SOUS 74634 HAS SOUPS 69757 WITH SCORE 69953.727
AT ITER 9156 NEW BEST:: SOT 342252 SOS 196659 HAS SOPS 189667 HAS SOUS 74620 HAS SOUPS 69743 WITH SCORE 69939.659
AT ITER 9168 NEW BEST:: SOT 342217 SOS 196589 HAS SOPS 189632 HAS SOUS 74585 HAS SOUPS 69743 WITH SCORE 69939.589
AT ITER 9236 NEW BEST:: SOT 342037 SOS 196465 HAS SOPS 189508 HAS SOUS 74550 HAS SOUPS 69708 WITH SCORE 69904.465
AT ITER 9268 NEW BEST:: SOT 341956 SOS 196328 HAS SOPS 189371 HAS SOUS 74501 HAS SOUPS 69659 WITH SCORE 69855.328
AT ITER 9299 NEW BEST:: SOT 341956 SOS 196412 HAS SOPS 189455 HAS SOUS 74498 HAS SOUPS 69656 WITH SCORE 69852.412
AT ITER 9304 NEW BEST:: SOT 341954 SOS 196410 HAS SOPS 189453 HAS SOUS 74422 HAS SOUPS 69580 WITH SCORE 69776.41
AT ITER 9332 NEW BEST:: SOT 341954 SOS 196092 HAS SOPS 189135 HAS SOUS 74358 HAS SOUPS 69516 WITH SCORE 69712.092
AT ITER 9335 NEW BEST:: SOT 341682 SOS 195975 HAS SOPS 189129 HAS SOUS 74167 HAS SOUPS 69394 WITH SCORE 69589.975
AT ITER 9344 NEW BEST:: SOT 341662 SOS 195837 HAS SOPS 188991 HAS SOUS 74147 HAS SOUPS 69374 WITH SCORE 69569.837
AT ITER 9368 NEW BEST:: SOT 341654 SOS 195813 HAS SOPS 188967 HAS SOUS 74147 HAS SOUPS 69374 WITH SCORE 69569.813
AT ITER 9412 NEW BEST:: SOT 341650 SOS 195809 HAS SOPS 188963 HAS SOUS 74147 HAS SOUPS 69374 WITH SCORE 69569.809
AT ITER 9421 NEW BEST:: SOT 341674 SOS 195175 HAS SOPS 188329 HAS SOUS 74143 HAS SOUPS 69370 WITH SCORE 69565.175
AT ITER 9428 NEW BEST:: SOT 341656 SOS 195083 HAS SOPS 188273 HAS SOUS 74106 HAS SOUPS 69351 WITH SCORE 69546.083
AT ITER 9491 NEW BEST:: SOT 341634 SOS 195061 HAS SOPS 188251 HAS SOUS 74058 HAS SOUPS 69303 WITH SCORE 69498.061
AT ITER 9494 NEW BEST:: SOT 341406 SOS 194833 HAS SOPS 188023 HAS SOUS 74034 HAS SOUPS 69279 WITH SCORE 69473.833
AT ITER 9514 NEW BEST:: SOT 341621 SOS 195861 HAS SOPS 189051 HAS SOUS 73997 HAS SOUPS 69242 WITH SCORE 69437.861
AT ITER 9550 NEW BEST:: SOT 341607 SOS 195847 HAS SOPS 189037 HAS SOUS 73983 HAS SOUPS 69228 WITH SCORE 69423.847
AT ITER 9555 NEW BEST:: SOT 341663 SOS 195903 HAS SOPS 189093 HAS SOUS 73947 HAS SOUPS 69192 WITH SCORE 69387.903
AT ITER 9557 NEW BEST:: SOT 341655 SOS 195911 HAS SOPS 189101 HAS SOUS 73936 HAS SOUPS 69181 WITH SCORE 69376.911
AT ITER 9562 NEW BEST:: SOT 341655 SOS 195904 HAS SOPS 189094 HAS SOUS 73936 HAS SOUPS 69181 WITH SCORE 69376.904
AT ITER 9563 NEW BEST:: SOT 341619 SOS 195850 HAS SOPS 189040 HAS SOUS 73900 HAS SOUPS 69145 WITH SCORE 69340.85
AT ITER 9565 NEW BEST:: SOT 341604 SOS 195835 HAS SOPS 189025 HAS SOUS 73885 HAS SOUPS 69130 WITH SCORE 69325.835
AT ITER 9571 NEW BEST:: SOT 341604 SOS 195870 HAS SOPS 189023 HAS SOUS 73918 HAS SOUPS 69126 WITH SCORE 69321.87
AT ITER 9605 NEW BEST:: SOT 341594 SOS 195860 HAS SOPS 189013 HAS SOUS 73878 HAS SOUPS 69086 WITH SCORE 69281.86
AT ITER 9610 NEW BEST:: SOT 341592 SOS 195862 HAS SOPS 189015 HAS SOUS 73844 HAS SOUPS 69052 WITH SCORE 69247.862
AT ITER 9623 NEW BEST:: SOT 341596 SOS 195902 HAS SOPS 189055 HAS SOUS 73822 HAS SOUPS 69030 WITH SCORE 69225.902
AT ITER 9630 NEW BEST:: SOT 341550 SOS 195881 HAS SOPS 189034 HAS SOUS 73735 HAS SOUPS 68943 WITH SCORE 69138.881
AT ITER 9636 NEW BEST:: SOT 341466 SOS 195797 HAS SOPS 188950 HAS SOUS 73651 HAS SOUPS 68859 WITH SCORE 69054.797
AT ITER 9648 NEW BEST:: SOT 341462 SOS 195793 HAS SOPS 188946 HAS SOUS 73645 HAS SOUPS 68853 WITH SCORE 69048.793
AT ITER 9651 NEW BEST:: SOT 341425 SOS 195756 HAS SOPS 188909 HAS SOUS 73627 HAS SOUPS 68835 WITH SCORE 69030.756
AT ITER 9684 NEW BEST:: SOT 341324 SOS 195630 HAS SOPS 188783 HAS SOUS 73509 HAS SOUPS 68717 WITH SCORE 68912.63
AT ITER 9721 NEW BEST:: SOT 341325 SOS 195566 HAS SOPS 188719 HAS SOUS 73457 HAS SOUPS 68665 WITH SCORE 68860.566
AT ITER 9747 NEW BEST:: SOT 341306 SOS 195524 HAS SOPS 188596 HAS SOUS 73465 HAS SOUPS 68634 WITH SCORE 68829.524
AT ITER 9788 NEW BEST:: SOT 341250 SOS 195053 HAS SOPS 188125 HAS SOUS 73460 HAS SOUPS 68629 WITH SCORE 68824.053
AT ITER 9846 NEW BEST:: SOT 341250 SOS 195053 HAS SOPS 188125 HAS SOUS 73455 HAS SOUPS 68624 WITH SCORE 68819.053
AT ITER 9848 NEW BEST:: SOT 341232 SOS 195035 HAS SOPS 188104 HAS SOUS 73446 HAS SOUPS 68612 WITH SCORE 68807.035
AT ITER 9855 NEW BEST:: SOT 341196 SOS 194994 HAS SOPS 188063 HAS SOUS 73374 HAS SOUPS 68540 WITH SCORE 68734.994
AT ITER 9867 NEW BEST:: SOT 341208 SOS 195006 HAS SOPS 188075 HAS SOUS 73362 HAS SOUPS 68528 WITH SCORE 68723.006
AT ITER 9893 NEW BEST:: SOT 341198 SOS 194978 HAS SOPS 188047 HAS SOUS 73343 HAS SOUPS 68509 WITH SCORE 68703.978
AT ITER 9897 NEW BEST:: SOT 341182 SOS 194948 HAS SOPS 188017 HAS SOUS 73315 HAS SOUPS 68481 WITH SCORE 68675.948
AT ITER 9900 NEW BEST:: SOT 341208 SOS 194868 HAS SOPS 187937 HAS SOUS 73314 HAS SOUPS 68480 WITH SCORE 68674.868
AT ITER 9903 NEW BEST:: SOT 341216 SOS 194876 HAS SOPS 187945 HAS SOUS 73306 HAS SOUPS 68472 WITH SCORE 68666.876
AT ITER 9928 NEW BEST:: SOT 341216 SOS 194847 HAS SOPS 187916 HAS SOUS 73295 HAS SOUPS 68461 WITH SCORE 68655.847
AT ITER 9932 NEW BEST:: SOT 341216 SOS 194843 HAS SOPS 187899 HAS SOUS 73293 HAS SOUPS 68446 WITH SCORE 68640.843
AT ITER 9989 NEW BEST:: SOT 341055 SOS 194591 HAS SOPS 187647 HAS SOUS 73245 HAS SOUPS 68398 WITH SCORE 68592.591
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 5407656 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16124136 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-6A"
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 NoC3x3-PT-6A, 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 r267-smll-167863541700312"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-6A.tgz
mv NoC3x3-PT-6A 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 ;