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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 59M
-rw-r--r-- 1 mcc users 7.6K Feb 26 09:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 09:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 09:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 09:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 16:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 10:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 149K Feb 26 10:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 10:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 26 10:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rwxr-xr-x 1 mcc users 59M 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 1678680516945

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

Filename model.pnml
Petri model created: 1024 places, 196608 transitions, 393216 arcs.
AT ITER 0 NEW BEST:: SOT 131863184 SOS 62399776 HAS SOPS 62399776 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266919.776
AT ITER 8 NEW BEST:: SOT 131858290 SOS 62389988 HAS SOPS 62389988 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266909.988
AT ITER 9 NEW BEST:: SOT 131840176 SOS 62353760 HAS SOPS 62353760 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266873.76
AT ITER 10 NEW BEST:: SOT 131826878 SOS 62327164 HAS SOPS 62327164 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266847.164
AT ITER 13 NEW BEST:: SOT 131819864 SOS 62313136 HAS SOPS 62313136 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266833.136
AT ITER 14 NEW BEST:: SOT 131796558 SOS 62266524 HAS SOPS 62266524 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266786.524
AT ITER 15 NEW BEST:: SOT 131795270 SOS 62263948 HAS SOPS 62263948 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266783.948
AT ITER 18 NEW BEST:: SOT 131787686 SOS 62248780 HAS SOPS 62248780 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266768.78
AT ITER 19 NEW BEST:: SOT 131783300 SOS 62240008 HAS SOPS 62240008 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266760.008
AT ITER 25 NEW BEST:: SOT 131770200 SOS 62213808 HAS SOPS 62213808 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266733.808
AT ITER 30 NEW BEST:: SOT 131766748 SOS 62206904 HAS SOPS 62206904 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266726.904
AT ITER 31 NEW BEST:: SOT 131764068 SOS 62201544 HAS SOPS 62201544 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266721.544
AT ITER 34 NEW BEST:: SOT 131761770 SOS 62196948 HAS SOPS 62196948 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266716.948
AT ITER 41 NEW BEST:: SOT 131744794 SOS 62162996 HAS SOPS 62162996 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266682.996
AT ITER 48 NEW BEST:: SOT 131738584 SOS 62150576 HAS SOPS 62150576 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266670.576
AT ITER 50 NEW BEST:: SOT 131738060 SOS 62149528 HAS SOPS 62149528 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266669.528
AT ITER 53 NEW BEST:: SOT 131733920 SOS 62141248 HAS SOPS 62141248 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266661.248
AT ITER 55 NEW BEST:: SOT 131733808 SOS 62141024 HAS SOPS 62141024 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266661.024
AT ITER 57 NEW BEST:: SOT 131733626 SOS 62140660 HAS SOPS 62140660 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266660.66
AT ITER 63 NEW BEST:: SOT 131730694 SOS 62134796 HAS SOPS 62134796 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266654.796
AT ITER 64 NEW BEST:: SOT 131718324 SOS 62110056 HAS SOPS 62110056 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266630.056
AT ITER 65 NEW BEST:: SOT 131716918 SOS 62107244 HAS SOPS 62107244 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266627.244
AT ITER 66 NEW BEST:: SOT 131710174 SOS 62093756 HAS SOPS 62093756 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266613.756
AT ITER 68 NEW BEST:: SOT 131706880 SOS 62087168 HAS SOPS 62087168 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266607.168
AT ITER 69 NEW BEST:: SOT 131704372 SOS 62082152 HAS SOPS 62082152 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266602.152
AT ITER 71 NEW BEST:: SOT 131704344 SOS 62082096 HAS SOPS 62082096 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266602.096
AT ITER 73 NEW BEST:: SOT 131703944 SOS 62081296 HAS SOPS 62081296 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266601.296
AT ITER 82 NEW BEST:: SOT 131692722 SOS 62058852 HAS SOPS 62058852 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266578.852
AT ITER 84 NEW BEST:: SOT 131673916 SOS 62021240 HAS SOPS 62021240 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266541.24
AT ITER 86 NEW BEST:: SOT 131661258 SOS 61995924 HAS SOPS 61995924 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266515.924
AT ITER 87 NEW BEST:: SOT 131658576 SOS 61990560 HAS SOPS 61990560 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266510.56
AT ITER 90 NEW BEST:: SOT 131655582 SOS 61984572 HAS SOPS 61984572 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266504.572
AT ITER 97 NEW BEST:: SOT 131643342 SOS 61960092 HAS SOPS 61960092 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266480.092
AT ITER 99 NEW BEST:: SOT 131642888 SOS 61959184 HAS SOPS 61959184 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266479.184
AT ITER 100 NEW BEST:: SOT 131633436 SOS 61940280 HAS SOPS 61940280 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266460.28
AT ITER 115 NEW BEST:: SOT 131620034 SOS 61913476 HAS SOPS 61913476 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266433.476
AT ITER 116 NEW BEST:: SOT 131608690 SOS 61890788 HAS SOPS 61890788 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266410.788
AT ITER 120 NEW BEST:: SOT 131607608 SOS 61888624 HAS SOPS 61888624 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266408.624
AT ITER 121 NEW BEST:: SOT 131602920 SOS 61879248 HAS SOPS 61879248 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266399.248
AT ITER 122 NEW BEST:: SOT 131600464 SOS 61874336 HAS SOPS 61874336 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266394.336
AT ITER 123 NEW BEST:: SOT 131599570 SOS 61872548 HAS SOPS 61872548 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266392.548
AT ITER 127 NEW BEST:: SOT 131589762 SOS 61852932 HAS SOPS 61852932 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266372.932
AT ITER 132 NEW BEST:: SOT 131584456 SOS 61842320 HAS SOPS 61842320 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266362.32
AT ITER 133 NEW BEST:: SOT 131578962 SOS 61831332 HAS SOPS 61831332 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266351.332
AT ITER 134 NEW BEST:: SOT 131576026 SOS 61825460 HAS SOPS 61825460 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266345.46
AT ITER 135 NEW BEST:: SOT 131570216 SOS 61813840 HAS SOPS 61813840 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266333.84
AT ITER 140 NEW BEST:: SOT 131569376 SOS 61812160 HAS SOPS 61812160 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266332.16
AT ITER 142 NEW BEST:: SOT 131569354 SOS 61812116 HAS SOPS 61812116 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266332.116
AT ITER 144 NEW BEST:: SOT 131569312 SOS 61812032 HAS SOPS 61812032 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266332.032
AT ITER 146 NEW BEST:: SOT 131559648 SOS 61792704 HAS SOPS 61792704 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266312.704
AT ITER 148 NEW BEST:: SOT 131555326 SOS 61784060 HAS SOPS 61784060 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266304.06
AT ITER 151 NEW BEST:: SOT 131548154 SOS 61769716 HAS SOPS 61769716 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266289.716
AT ITER 155 NEW BEST:: SOT 131548062 SOS 61769532 HAS SOPS 61769532 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266289.532
AT ITER 157 NEW BEST:: SOT 131531660 SOS 61736728 HAS SOPS 61736728 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266256.7280000001
AT ITER 160 NEW BEST:: SOT 131523896 SOS 61721200 HAS SOPS 61721200 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266241.2
AT ITER 161 NEW BEST:: SOT 131521610 SOS 61716628 HAS SOPS 61716628 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266236.628
AT ITER 162 NEW BEST:: SOT 131515078 SOS 61703564 HAS SOPS 61703564 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266223.564
AT ITER 164 NEW BEST:: SOT 131497172 SOS 61667752 HAS SOPS 61667752 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266187.752
AT ITER 166 NEW BEST:: SOT 131491932 SOS 61657272 HAS SOPS 61657272 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266177.272
AT ITER 173 NEW BEST:: SOT 131480830 SOS 61635068 HAS SOPS 61635068 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266155.068
AT ITER 177 NEW BEST:: SOT 131465994 SOS 61605396 HAS SOPS 61605396 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266125.396
AT ITER 183 NEW BEST:: SOT 131451314 SOS 61576036 HAS SOPS 61576036 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266096.036
AT ITER 203 NEW BEST:: SOT 131451100 SOS 61575608 HAS SOPS 61575608 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266095.608
AT ITER 208 NEW BEST:: SOT 131451024 SOS 61575456 HAS SOPS 61575456 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266095.456
AT ITER 210 NEW BEST:: SOT 131450756 SOS 61574920 HAS SOPS 61574920 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266094.92
AT ITER 213 NEW BEST:: SOT 131450386 SOS 61574180 HAS SOPS 61574180 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266094.18
AT ITER 220 NEW BEST:: SOT 131447702 SOS 61568812 HAS SOPS 61568812 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266088.812
AT ITER 224 NEW BEST:: SOT 131432960 SOS 61539328 HAS SOPS 61539328 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266059.328
AT ITER 229 NEW BEST:: SOT 131432536 SOS 61538480 HAS SOPS 61538480 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266058.48
AT ITER 231 NEW BEST:: SOT 131420140 SOS 61513688 HAS SOPS 61513688 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266033.688
AT ITER 232 NEW BEST:: SOT 131415202 SOS 61503812 HAS SOPS 61503812 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266023.812
AT ITER 242 NEW BEST:: SOT 131414758 SOS 61502924 HAS SOPS 61502924 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266022.924
AT ITER 248 NEW BEST:: SOT 131414752 SOS 61502912 HAS SOPS 61502912 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266022.912
AT ITER 259 NEW BEST:: SOT 131414232 SOS 61501872 HAS SOPS 61501872 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266021.872
AT ITER 260 NEW BEST:: SOT 131408816 SOS 61491040 HAS SOPS 61491040 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266011.04
AT ITER 262 NEW BEST:: SOT 131403786 SOS 61480980 HAS SOPS 61480980 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266000.98
AT ITER 263 NEW BEST:: SOT 131403754 SOS 61480916 HAS SOPS 61480916 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266000.916
AT ITER 277 NEW BEST:: SOT 131397304 SOS 61468016 HAS SOPS 61468016 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1265988.016
AT ITER 278 NEW BEST:: SOT 131397148 SOS 61467704 HAS SOPS 61467704 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1265987.704
AT ITER 280 NEW BEST:: SOT 131395806 SOS 61465020 HAS SOPS 61465020 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1265985.02
AT ITER 283 NEW BEST:: SOT 131395336 SOS 61464080 HAS SOPS 61464080 HAS SOUS 1204518 HAS SOUPS 1204518 WITH SCORE 1265982.08
AT ITER 286 NEW BEST:: SOT 131394910 SOS 61463228 HAS SOPS 61463228 HAS SOUS 1204518 HAS SOUPS 1204518 WITH SCORE 1265981.2280000001
AT ITER 289 NEW BEST:: SOT 131394834 SOS 61463076 HAS SOPS 61463076 HAS SOUS 1204518 HAS SOUPS 1204518 WITH SCORE 1265981.076
AT ITER 291 NEW BEST:: SOT 131388564 SOS 61450536 HAS SOPS 61450536 HAS SOUS 1204518 HAS SOUPS 1204518 WITH SCORE 1265968.536
AT ITER 293 NEW BEST:: SOT 131388492 SOS 61450392 HAS SOPS 61450392 HAS SOUS 1204518 HAS SOUPS 1204518 WITH SCORE 1265968.392
AT ITER 297 NEW BEST:: SOT 131388462 SOS 61450332 HAS SOPS 61450332 HAS SOUS 1204518 HAS SOUPS 1204518 WITH SCORE 1265968.332
AT ITER 298 NEW BEST:: SOT 131387864 SOS 61449136 HAS SOPS 61449136 HAS SOUS 1204518 HAS SOUPS 1204518 WITH SCORE 1265967.136
AT ITER 304 NEW BEST:: SOT 131384932 SOS 61443272 HAS SOPS 61443272 HAS SOUS 1204518 HAS SOUPS 1204518 WITH SCORE 1265961.272
AT ITER 305 NEW BEST:: SOT 131381038 SOS 61435484 HAS SOPS 61435484 HAS SOUS 1204518 HAS SOUPS 1204518 WITH SCORE 1265953.484
AT ITER 310 NEW BEST:: SOT 131379390 SOS 61432188 HAS SOPS 61432188 HAS SOUS 1204518 HAS SOUPS 1204518 WITH SCORE 1265950.188
AT ITER 323 NEW BEST:: SOT 131378296 SOS 61430000 HAS SOPS 61430000 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265820.0
AT ITER 328 NEW BEST:: SOT 131373840 SOS 61421088 HAS SOPS 61421088 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265811.088
AT ITER 330 NEW BEST:: SOT 131371890 SOS 61417188 HAS SOPS 61417188 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265807.188
AT ITER 331 NEW BEST:: SOT 131368122 SOS 61409652 HAS SOPS 61409652 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265799.652
AT ITER 335 NEW BEST:: SOT 131367404 SOS 61408216 HAS SOPS 61408216 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265798.216
AT ITER 344 NEW BEST:: SOT 131367280 SOS 61407968 HAS SOPS 61407968 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265797.968
AT ITER 346 NEW BEST:: SOT 131359728 SOS 61392864 HAS SOPS 61392864 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265782.864
AT ITER 349 NEW BEST:: SOT 131353726 SOS 61380860 HAS SOPS 61380860 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265770.86
AT ITER 362 NEW BEST:: SOT 131352558 SOS 61378524 HAS SOPS 61378524 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265768.524
AT ITER 366 NEW BEST:: SOT 131350882 SOS 61375172 HAS SOPS 61375172 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265765.172
AT ITER 372 NEW BEST:: SOT 131326710 SOS 61326828 HAS SOPS 61326828 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265716.828
AT ITER 373 NEW BEST:: SOT 131323842 SOS 61321092 HAS SOPS 61321092 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265711.092
AT ITER 381 NEW BEST:: SOT 131314182 SOS 61301772 HAS SOPS 61301772 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265691.772
AT ITER 387 NEW BEST:: SOT 131308142 SOS 61289692 HAS SOPS 61289692 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265679.692
AT ITER 397 NEW BEST:: SOT 131308022 SOS 61289452 HAS SOPS 61289452 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265679.452
AT ITER 400 NEW BEST:: SOT 131305710 SOS 61284828 HAS SOPS 61284828 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265674.828
AT ITER 401 NEW BEST:: SOT 131301184 SOS 61275776 HAS SOPS 61275776 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265665.776
AT ITER 412 NEW BEST:: SOT 131299908 SOS 61273224 HAS SOPS 61273224 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265663.224
AT ITER 413 NEW BEST:: SOT 131292896 SOS 61259200 HAS SOPS 61259200 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265649.2
AT ITER 416 NEW BEST:: SOT 131287120 SOS 61247648 HAS SOPS 61247648 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265637.648
AT ITER 419 NEW BEST:: SOT 131286114 SOS 61245636 HAS SOPS 61245636 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265635.636
AT ITER 420 NEW BEST:: SOT 131278516 SOS 61230440 HAS SOPS 61230440 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265620.44
AT ITER 423 NEW BEST:: SOT 131271622 SOS 61216652 HAS SOPS 61216652 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265606.652
AT ITER 425 NEW BEST:: SOT 131270888 SOS 61215184 HAS SOPS 61215184 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265605.184
AT ITER 428 NEW BEST:: SOT 131270726 SOS 61214860 HAS SOPS 61214860 HAS SOUS 1204390 HAS SOUPS 1204390 WITH SCORE 1265604.86
AT ITER 430 NEW BEST:: SOT 131259188 SOS 61191784 HAS SOPS 61191784 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265577.784
AT ITER 431 NEW BEST:: SOT 131251964 SOS 61177336 HAS SOPS 61177336 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265563.336
AT ITER 447 NEW BEST:: SOT 131250008 SOS 61173424 HAS SOPS 61173424 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265559.424
AT ITER 448 NEW BEST:: SOT 131248876 SOS 61171160 HAS SOPS 61171160 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265557.16
AT ITER 449 NEW BEST:: SOT 131242424 SOS 61158256 HAS SOPS 61158256 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265544.256
AT ITER 456 NEW BEST:: SOT 131242314 SOS 61158036 HAS SOPS 61158036 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265544.036
AT ITER 457 NEW BEST:: SOT 131241430 SOS 61156268 HAS SOPS 61156268 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265542.268
AT ITER 464 NEW BEST:: SOT 131240518 SOS 61154444 HAS SOPS 61154444 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265540.444
AT ITER 465 NEW BEST:: SOT 131239532 SOS 61152472 HAS SOPS 61152472 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265538.472
AT ITER 471 NEW BEST:: SOT 131224036 SOS 61121480 HAS SOPS 61121480 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265507.48
AT ITER 474 NEW BEST:: SOT 131223924 SOS 61121256 HAS SOPS 61121256 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265507.256
AT ITER 479 NEW BEST:: SOT 131223842 SOS 61121092 HAS SOPS 61121092 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265507.092
AT ITER 482 NEW BEST:: SOT 131223750 SOS 61120908 HAS SOPS 61120908 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265506.908
AT ITER 484 NEW BEST:: SOT 131212518 SOS 61098444 HAS SOPS 61098444 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265484.444
AT ITER 493 NEW BEST:: SOT 131211898 SOS 61097204 HAS SOPS 61097204 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265483.204
AT ITER 495 NEW BEST:: SOT 131192504 SOS 61058416 HAS SOPS 61058416 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265444.416
AT ITER 496 NEW BEST:: SOT 131189994 SOS 61053396 HAS SOPS 61053396 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265439.396
AT ITER 497 NEW BEST:: SOT 131180448 SOS 61034304 HAS SOPS 61034304 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265420.304
AT ITER 510 NEW BEST:: SOT 131177406 SOS 61028220 HAS SOPS 61028220 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265414.22
AT ITER 513 NEW BEST:: SOT 131167412 SOS 61008232 HAS SOPS 61008232 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265394.232
AT ITER 517 NEW BEST:: SOT 131163580 SOS 61000568 HAS SOPS 61000568 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265386.568
AT ITER 518 NEW BEST:: SOT 131163402 SOS 61000212 HAS SOPS 61000212 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265386.212
AT ITER 535 NEW BEST:: SOT 131151576 SOS 60976560 HAS SOPS 60976560 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265362.56
AT ITER 544 NEW BEST:: SOT 131151216 SOS 60975840 HAS SOPS 60975840 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265361.84
AT ITER 545 NEW BEST:: SOT 131150898 SOS 60975204 HAS SOPS 60975204 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265361.204
AT ITER 546 NEW BEST:: SOT 131150882 SOS 60975172 HAS SOPS 60975172 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265361.172
AT ITER 547 NEW BEST:: SOT 131149874 SOS 60973156 HAS SOPS 60973156 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265359.156
AT ITER 549 NEW BEST:: SOT 131146630 SOS 60966668 HAS SOPS 60966668 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265352.668
AT ITER 555 NEW BEST:: SOT 131144912 SOS 60963232 HAS SOPS 60963232 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265349.232
AT ITER 557 NEW BEST:: SOT 131140742 SOS 60954892 HAS SOPS 60954892 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265340.892
AT ITER 572 NEW BEST:: SOT 131140734 SOS 60954876 HAS SOPS 60954876 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265340.876
AT ITER 573 NEW BEST:: SOT 131138874 SOS 60951156 HAS SOPS 60951156 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265337.156
AT ITER 576 NEW BEST:: SOT 131138254 SOS 60949916 HAS SOPS 60949916 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265335.916
AT ITER 580 NEW BEST:: SOT 131136800 SOS 60947008 HAS SOPS 60947008 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265333.008
AT ITER 595 NEW BEST:: SOT 131134906 SOS 60943220 HAS SOPS 60943220 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265329.22
AT ITER 596 NEW BEST:: SOT 131134802 SOS 60943012 HAS SOPS 60943012 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265329.012
AT ITER 599 NEW BEST:: SOT 131134658 SOS 60942724 HAS SOPS 60942724 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265328.724
AT ITER 603 NEW BEST:: SOT 131134382 SOS 60942172 HAS SOPS 60942172 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265328.172
AT ITER 604 NEW BEST:: SOT 131134174 SOS 60941756 HAS SOPS 60941756 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265327.756
AT ITER 608 NEW BEST:: SOT 131133016 SOS 60939440 HAS SOPS 60939440 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265325.44
AT ITER 612 NEW BEST:: SOT 131128438 SOS 60930284 HAS SOPS 60930284 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265316.284
AT ITER 618 NEW BEST:: SOT 131123644 SOS 60920696 HAS SOPS 60920696 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265306.696
AT ITER 620 NEW BEST:: SOT 131107872 SOS 60889152 HAS SOPS 60889152 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265275.152
AT ITER 626 NEW BEST:: SOT 131103596 SOS 60880600 HAS SOPS 60880600 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265266.6
AT ITER 629 NEW BEST:: SOT 131102432 SOS 60878272 HAS SOPS 60878272 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265264.272
AT ITER 630 NEW BEST:: SOT 131102334 SOS 60878076 HAS SOPS 60878076 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265264.076
AT ITER 631 NEW BEST:: SOT 131102150 SOS 60877708 HAS SOPS 60877708 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265263.708
AT ITER 632 NEW BEST:: SOT 131102146 SOS 60877700 HAS SOPS 60877700 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265263.7
AT ITER 645 NEW BEST:: SOT 131101494 SOS 60876396 HAS SOPS 60876396 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265262.396
AT ITER 649 NEW BEST:: SOT 131099730 SOS 60872868 HAS SOPS 60872868 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265258.868
AT ITER 657 NEW BEST:: SOT 131098630 SOS 60870668 HAS SOPS 60870668 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265256.668
AT ITER 658 NEW BEST:: SOT 131094836 SOS 60863080 HAS SOPS 60863080 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265249.08
AT ITER 661 NEW BEST:: SOT 131091220 SOS 60855848 HAS SOPS 60855848 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265241.848
AT ITER 665 NEW BEST:: SOT 131090860 SOS 60855128 HAS SOPS 60855128 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265241.128
AT ITER 674 NEW BEST:: SOT 131088756 SOS 60850920 HAS SOPS 60850920 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265236.92
AT ITER 679 NEW BEST:: SOT 131085502 SOS 60844412 HAS SOPS 60844412 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265230.412
AT ITER 685 NEW BEST:: SOT 131085220 SOS 60843848 HAS SOPS 60843848 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265229.848
AT ITER 697 NEW BEST:: SOT 131084972 SOS 60843352 HAS SOPS 60843352 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265229.352
AT ITER 698 NEW BEST:: SOT 131082336 SOS 60838080 HAS SOPS 60838080 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265224.08
AT ITER 704 NEW BEST:: SOT 131070896 SOS 60815200 HAS SOPS 60815200 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265201.2
AT ITER 708 NEW BEST:: SOT 131067422 SOS 60808252 HAS SOPS 60808252 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265194.252
AT ITER 711 NEW BEST:: SOT 131064992 SOS 60803392 HAS SOPS 60803392 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265189.392
AT ITER 719 NEW BEST:: SOT 131060092 SOS 60793592 HAS SOPS 60793592 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265179.592
AT ITER 724 NEW BEST:: SOT 131059848 SOS 60793104 HAS SOPS 60793104 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265179.104
AT ITER 726 NEW BEST:: SOT 131057604 SOS 60788616 HAS SOPS 60788616 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265174.616
AT ITER 732 NEW BEST:: SOT 131056706 SOS 60786820 HAS SOPS 60786820 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265172.82
AT ITER 733 NEW BEST:: SOT 131053968 SOS 60781344 HAS SOPS 60781344 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265167.344
AT ITER 734 NEW BEST:: SOT 131049420 SOS 60772248 HAS SOPS 60772248 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265158.248
AT ITER 735 NEW BEST:: SOT 131049292 SOS 60771992 HAS SOPS 60771992 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265157.992
AT ITER 737 NEW BEST:: SOT 131042268 SOS 60757944 HAS SOPS 60757944 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265143.944
AT ITER 739 NEW BEST:: SOT 131041134 SOS 60755676 HAS SOPS 60755676 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265141.676
AT ITER 743 NEW BEST:: SOT 131040018 SOS 60753444 HAS SOPS 60753444 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265139.444
AT ITER 745 NEW BEST:: SOT 131039874 SOS 60753156 HAS SOPS 60753156 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265139.156
AT ITER 747 NEW BEST:: SOT 131037958 SOS 60749324 HAS SOPS 60749324 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265135.324
AT ITER 756 NEW BEST:: SOT 131037896 SOS 60749200 HAS SOPS 60749200 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265135.2
AT ITER 759 NEW BEST:: SOT 131037734 SOS 60748876 HAS SOPS 60748876 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265134.876
AT ITER 763 NEW BEST:: SOT 131034440 SOS 60742288 HAS SOPS 60742288 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265128.288
AT ITER 772 NEW BEST:: SOT 131034212 SOS 60741832 HAS SOPS 60741832 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265127.832
AT ITER 776 NEW BEST:: SOT 131027642 SOS 60728692 HAS SOPS 60728692 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265114.692
AT ITER 777 NEW BEST:: SOT 131024284 SOS 60721976 HAS SOPS 60721976 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265107.976
AT ITER 782 NEW BEST:: SOT 131020046 SOS 60713500 HAS SOPS 60713500 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265099.5
AT ITER 790 NEW BEST:: SOT 131009720 SOS 60692848 HAS SOPS 60692848 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265078.848
AT ITER 798 NEW BEST:: SOT 131007644 SOS 60688696 HAS SOPS 60688696 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265074.696
AT ITER 799 NEW BEST:: SOT 130995516 SOS 60664440 HAS SOPS 60664440 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265050.44
AT ITER 801 NEW BEST:: SOT 130994198 SOS 60661804 HAS SOPS 60661804 HAS SOUS 1204386 HAS SOUPS 1204386 WITH SCORE 1265047.804
AT ITER 810 NEW BEST:: SOT 130992902 SOS 60659212 HAS SOPS 60659212 HAS SOUS 1204384 HAS SOUPS 1204384 WITH SCORE 1265043.212
AT ITER 811 NEW BEST:: SOT 130991906 SOS 60657220 HAS SOPS 60657220 HAS SOUS 1204384 HAS SOUPS 1204384 WITH SCORE 1265041.22
AT ITER 824 NEW BEST:: SOT 130978920 SOS 60631248 HAS SOPS 60631248 HAS SOUS 1204384 HAS SOUPS 1204384 WITH SCORE 1265015.248
AT ITER 825 NEW BEST:: SOT 130978874 SOS 60631156 HAS SOPS 60631156 HAS SOUS 1204384 HAS SOUPS 1204384 WITH SCORE 1265015.156
AT ITER 827 NEW BEST:: SOT 130976334 SOS 60626076 HAS SOPS 60626076 HAS SOUS 1204384 HAS SOUPS 1204384 WITH SCORE 1265010.076
AT ITER 839 NEW BEST:: SOT 130976076 SOS 60625560 HAS SOPS 60625560 HAS SOUS 1204384 HAS SOUPS 1204384 WITH SCORE 1265009.56
AT ITER 842 NEW BEST:: SOT 130976224 SOS 60625856 HAS SOPS 60625856 HAS SOUS 1204378 HAS SOUPS 1204378 WITH SCORE 1265003.856
AT ITER 844 NEW BEST:: SOT 130969990 SOS 60613388 HAS SOPS 60613388 HAS SOUS 1204378 HAS SOUPS 1204378 WITH SCORE 1264991.388
AT ITER 846 NEW BEST:: SOT 130969986 SOS 60613380 HAS SOPS 60613380 HAS SOUS 1204378 HAS SOUPS 1204378 WITH SCORE 1264991.38
AT ITER 855 NEW BEST:: SOT 130969920 SOS 60613248 HAS SOPS 60613248 HAS SOUS 1204378 HAS SOUPS 1204378 WITH SCORE 1264991.248
AT ITER 857 NEW BEST:: SOT 130964158 SOS 60601724 HAS SOPS 60601724 HAS SOUS 1204378 HAS SOUPS 1204378 WITH SCORE 1264979.724
AT ITER 871 NEW BEST:: SOT 130954818 SOS 60583044 HAS SOPS 60583044 HAS SOUS 1204378 HAS SOUPS 1204378 WITH SCORE 1264961.044
AT ITER 882 NEW BEST:: SOT 130954760 SOS 60582928 HAS SOPS 60582928 HAS SOUS 1204378 HAS SOUPS 1204378 WITH SCORE 1264960.928
AT ITER 884 NEW BEST:: SOT 130953468 SOS 60580344 HAS SOPS 60580344 HAS SOUS 1204378 HAS SOUPS 1204378 WITH SCORE 1264958.344
AT ITER 889 NEW BEST:: SOT 130949606 SOS 60572620 HAS SOPS 60572620 HAS SOUS 1204378 HAS SOUPS 1204378 WITH SCORE 1264950.62
AT ITER 892 NEW BEST:: SOT 130948376 SOS 60570160 HAS SOPS 60570160 HAS SOUS 1204378 HAS SOUPS 1204378 WITH SCORE 1264948.16
AT ITER 893 NEW BEST:: SOT 130943244 SOS 60559896 HAS SOPS 60559896 HAS SOUS 1204378 HAS SOUPS 1204378 WITH SCORE 1264937.896
AT ITER 903 NEW BEST:: SOT 130939940 SOS 60553288 HAS SOPS 60553288 HAS SOUS 1204378 HAS SOUPS 1204378 WITH SCORE 1264931.288
AT ITER 905 NEW BEST:: SOT 130932476 SOS 60538360 HAS SOPS 60538360 HAS SOUS 1204378 HAS SOUPS 1204378 WITH SCORE 1264916.36
AT ITER 906 NEW BEST:: SOT 130932920 SOS 60539248 HAS SOPS 60539248 HAS SOUS 1204308 HAS SOUPS 1204308 WITH SCORE 1264847.248
AT ITER 910 NEW BEST:: SOT 130928428 SOS 60530264 HAS SOPS 60530264 HAS SOUS 1204308 HAS SOUPS 1204308 WITH SCORE 1264838.264
AT ITER 915 NEW BEST:: SOT 130924456 SOS 60522320 HAS SOPS 60522320 HAS SOUS 1204308 HAS SOUPS 1204308 WITH SCORE 1264830.32
AT ITER 918 NEW BEST:: SOT 130920774 SOS 60514956 HAS SOPS 60514956 HAS SOUS 1204308 HAS SOUPS 1204308 WITH SCORE 1264822.956
AT ITER 925 NEW BEST:: SOT 130919840 SOS 60513088 HAS SOPS 60513088 HAS SOUS 1204308 HAS SOUPS 1204308 WITH SCORE 1264821.088
AT ITER 929 NEW BEST:: SOT 130918686 SOS 60510780 HAS SOPS 60510780 HAS SOUS 1204308 HAS SOUPS 1204308 WITH SCORE 1264818.78
AT ITER 930 NEW BEST:: SOT 130911978 SOS 60497364 HAS SOPS 60497364 HAS SOUS 1204308 HAS SOUPS 1204308 WITH SCORE 1264805.364
AT ITER 932 NEW BEST:: SOT 130909874 SOS 60493156 HAS SOPS 60493156 HAS SOUS 1204308 HAS SOUPS 1204308 WITH SCORE 1264801.156
AT ITER 935 NEW BEST:: SOT 130909682 SOS 60492772 HAS SOPS 60492772 HAS SOUS 1204308 HAS SOUPS 1204308 WITH SCORE 1264800.772
AT ITER 946 NEW BEST:: SOT 130908518 SOS 60490444 HAS SOPS 60490444 HAS SOUS 1204308 HAS SOUPS 1204308 WITH SCORE 1264798.444
AT ITER 948 NEW BEST:: SOT 130939156 SOS 60551720 HAS SOPS 60551720 HAS SOUS 1204212 HAS SOUPS 1204212 WITH SCORE 1264763.72
AT ITER 956 NEW BEST:: SOT 130938712 SOS 60550832 HAS SOPS 60550832 HAS SOUS 1204212 HAS SOUPS 1204212 WITH SCORE 1264762.832
AT ITER 966 NEW BEST:: SOT 130937912 SOS 60549232 HAS SOPS 60549232 HAS SOUS 1204212 HAS SOUPS 1204212 WITH SCORE 1264761.232
AT ITER 967 NEW BEST:: SOT 130936126 SOS 60545660 HAS SOPS 60545660 HAS SOUS 1204212 HAS SOUPS 1204212 WITH SCORE 1264757.66
AT ITER 968 NEW BEST:: SOT 130932260 SOS 60537928 HAS SOPS 60537928 HAS SOUS 1204212 HAS SOUPS 1204212 WITH SCORE 1264749.928
AT ITER 975 NEW BEST:: SOT 130930224 SOS 60533856 HAS SOPS 60533856 HAS SOUS 1204212 HAS SOUPS 1204212 WITH SCORE 1264745.856
AT ITER 976 NEW BEST:: SOT 130924686 SOS 60522780 HAS SOPS 60522780 HAS SOUS 1204212 HAS SOUPS 1204212 WITH SCORE 1264734.78
AT ITER 978 NEW BEST:: SOT 130920694 SOS 60514796 HAS SOPS 60514796 HAS SOUS 1204212 HAS SOUPS 1204212 WITH SCORE 1264726.796
AT ITER 981 NEW BEST:: SOT 130919626 SOS 60512660 HAS SOPS 60512660 HAS SOUS 1204212 HAS SOUPS 1204212 WITH SCORE 1264724.66
AT ITER 984 NEW BEST:: SOT 130916746 SOS 60506900 HAS SOPS 60506900 HAS SOUS 1204212 HAS SOUPS 1204212 WITH SCORE 1264718.9
AT ITER 986 NEW BEST:: SOT 130910432 SOS 60494272 HAS SOPS 60494272 HAS SOUS 1204212 HAS SOUPS 1204212 WITH SCORE 1264706.272
AT ITER 990 NEW BEST:: SOT 130895828 SOS 60465064 HAS SOPS 60465064 HAS SOUS 1204132 HAS SOUPS 1204132 WITH SCORE 1264597.064
AT ITER 996 NEW BEST:: SOT 130895826 SOS 60465060 HAS SOPS 60465060 HAS SOUS 1204132 HAS SOUPS 1204132 WITH SCORE 1264597.06
AT ITER 997 NEW BEST:: SOT 130894730 SOS 60462868 HAS SOPS 60462868 HAS SOUS 1204132 HAS SOUPS 1204132 WITH SCORE 1264594.868
AT ITER 998 NEW BEST:: SOT 130894338 SOS 60462084 HAS SOPS 60462084 HAS SOUS 1204132 HAS SOUPS 1204132 WITH SCORE 1264594.084
AT ITER 999 NEW BEST:: SOT 130894030 SOS 60461468 HAS SOPS 60461468 HAS SOUS 1204132 HAS SOUPS 1204132 WITH SCORE 1264593.468
AT ITER 1006 NEW BEST:: SOT 130893302 SOS 60460012 HAS SOPS 60460012 HAS SOUS 1204132 HAS SOUPS 1204132 WITH SCORE 1264592.012
AT ITER 1008 NEW BEST:: SOT 130888312 SOS 60450032 HAS SOPS 60450032 HAS SOUS 1204132 HAS SOUPS 1204132 WITH SCORE 1264582.032
AT ITER 1015 NEW BEST:: SOT 130885560 SOS 60444528 HAS SOPS 60444528 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264532.528
AT ITER 1016 NEW BEST:: SOT 130884946 SOS 60443300 HAS SOPS 60443300 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264531.3
AT ITER 1017 NEW BEST:: SOT 130881260 SOS 60435928 HAS SOPS 60435928 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264523.928
AT ITER 1021 NEW BEST:: SOT 130879442 SOS 60432292 HAS SOPS 60432292 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264520.292
AT ITER 1025 NEW BEST:: SOT 130879294 SOS 60431996 HAS SOPS 60431996 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264519.996
AT ITER 1026 NEW BEST:: SOT 130878634 SOS 60430676 HAS SOPS 60430676 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264518.676
AT ITER 1035 NEW BEST:: SOT 130873550 SOS 60420508 HAS SOPS 60420508 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264508.508
AT ITER 1036 NEW BEST:: SOT 130870774 SOS 60414956 HAS SOPS 60414956 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264502.956
AT ITER 1044 NEW BEST:: SOT 130868210 SOS 60409828 HAS SOPS 60409828 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264497.828
AT ITER 1054 NEW BEST:: SOT 130863842 SOS 60401092 HAS SOPS 60401092 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264489.092
AT ITER 1057 NEW BEST:: SOT 130860550 SOS 60394508 HAS SOPS 60394508 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264482.508
AT ITER 1065 NEW BEST:: SOT 130859716 SOS 60392840 HAS SOPS 60392840 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264480.84
AT ITER 1077 NEW BEST:: SOT 130858166 SOS 60389740 HAS SOPS 60389740 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264477.74
AT ITER 1086 NEW BEST:: SOT 130856376 SOS 60386160 HAS SOPS 60386160 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264474.16
AT ITER 1088 NEW BEST:: SOT 130856368 SOS 60386144 HAS SOPS 60386144 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264474.144
AT ITER 1090 NEW BEST:: SOT 130844054 SOS 60361516 HAS SOPS 60361516 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264449.516
AT ITER 1092 NEW BEST:: SOT 130840486 SOS 60354380 HAS SOPS 60354380 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264442.38
AT ITER 1093 NEW BEST:: SOT 130839316 SOS 60352040 HAS SOPS 60352040 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264440.04
AT ITER 1099 NEW BEST:: SOT 130812624 SOS 60298656 HAS SOPS 60298656 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264386.656
AT ITER 1116 NEW BEST:: SOT 130812346 SOS 60298100 HAS SOPS 60298100 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264386.1
AT ITER 1120 NEW BEST:: SOT 130812174 SOS 60297756 HAS SOPS 60297756 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264385.756
AT ITER 1121 NEW BEST:: SOT 130812162 SOS 60297732 HAS SOPS 60297732 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264385.732
AT ITER 1143 NEW BEST:: SOT 130807318 SOS 60288044 HAS SOPS 60288044 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264376.044
AT ITER 1149 NEW BEST:: SOT 130807050 SOS 60287508 HAS SOPS 60287508 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264375.508
AT ITER 1152 NEW BEST:: SOT 130806640 SOS 60286688 HAS SOPS 60286688 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264374.688
AT ITER 1176 NEW BEST:: SOT 130805480 SOS 60284368 HAS SOPS 60284368 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264372.368
AT ITER 1181 NEW BEST:: SOT 130804254 SOS 60281916 HAS SOPS 60281916 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264369.916
AT ITER 1183 NEW BEST:: SOT 130803508 SOS 60280424 HAS SOPS 60280424 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264368.424
AT ITER 1184 NEW BEST:: SOT 130794354 SOS 60262116 HAS SOPS 60262116 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264350.116
AT ITER 1194 NEW BEST:: SOT 130792746 SOS 60258900 HAS SOPS 60258900 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264346.9
AT ITER 1204 NEW BEST:: SOT 130790970 SOS 60255348 HAS SOPS 60255348 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264343.348
AT ITER 1219 NEW BEST:: SOT 130790616 SOS 60254640 HAS SOPS 60254640 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264342.64
AT ITER 1222 NEW BEST:: SOT 130788998 SOS 60251404 HAS SOPS 60251404 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264339.404
AT ITER 1223 NEW BEST:: SOT 130787686 SOS 60248780 HAS SOPS 60248780 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264336.78
AT ITER 1224 NEW BEST:: SOT 130784728 SOS 60242864 HAS SOPS 60242864 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264330.864
AT ITER 1239 NEW BEST:: SOT 130781768 SOS 60236944 HAS SOPS 60236944 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264324.944
AT ITER 1242 NEW BEST:: SOT 130780604 SOS 60234616 HAS SOPS 60234616 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264322.616
AT ITER 1244 NEW BEST:: SOT 130778694 SOS 60230796 HAS SOPS 60230796 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264318.796
AT ITER 1245 NEW BEST:: SOT 130778334 SOS 60230076 HAS SOPS 60230076 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264318.076
AT ITER 1248 NEW BEST:: SOT 130774460 SOS 60222328 HAS SOPS 60222328 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264310.328
AT ITER 1249 NEW BEST:: SOT 130774020 SOS 60221448 HAS SOPS 60221448 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264309.448
AT ITER 1254 NEW BEST:: SOT 130773218 SOS 60219844 HAS SOPS 60219844 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264307.844
AT ITER 1257 NEW BEST:: SOT 130769946 SOS 60213300 HAS SOPS 60213300 HAS SOUS 1204088 HAS SOUPS 1204088 WITH SCORE 1264301.3
AT ITER 1258 NEW BEST:: SOT 130770574 SOS 60214556 HAS SOPS 60214556 HAS SOUS 1203902 HAS SOUPS 1203902 WITH SCORE 1264116.556
AT ITER 1260 NEW BEST:: SOT 130770324 SOS 60214056 HAS SOPS 60214056 HAS SOUS 1203902 HAS SOUPS 1203902 WITH SCORE 1264116.056
AT ITER 1264 NEW BEST:: SOT 130769464 SOS 60212336 HAS SOPS 60212336 HAS SOUS 1203902 HAS SOUPS 1203902 WITH SCORE 1264114.336
AT ITER 1268 NEW BEST:: SOT 130796656 SOS 60266720 HAS SOPS 60266720 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1264018.72
AT ITER 1272 NEW BEST:: SOT 130796136 SOS 60265680 HAS SOPS 60265680 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1264017.68
AT ITER 1274 NEW BEST:: SOT 130795884 SOS 60265176 HAS SOPS 60265176 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1264017.176
AT ITER 1275 NEW BEST:: SOT 130794072 SOS 60261552 HAS SOPS 60261552 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1264013.552
AT ITER 1279 NEW BEST:: SOT 130790648 SOS 60254704 HAS SOPS 60254704 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1264006.704
AT ITER 1284 NEW BEST:: SOT 130790094 SOS 60253596 HAS SOPS 60253596 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1264005.596
AT ITER 1294 NEW BEST:: SOT 130790072 SOS 60253552 HAS SOPS 60253552 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1264005.552
AT ITER 1296 NEW BEST:: SOT 130787256 SOS 60247920 HAS SOPS 60247920 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263999.92
AT ITER 1301 NEW BEST:: SOT 130786630 SOS 60246668 HAS SOPS 60246668 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263998.668
AT ITER 1308 NEW BEST:: SOT 130786232 SOS 60245872 HAS SOPS 60245872 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263997.872
AT ITER 1316 NEW BEST:: SOT 130785778 SOS 60244964 HAS SOPS 60244964 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263996.964
AT ITER 1321 NEW BEST:: SOT 130783918 SOS 60241244 HAS SOPS 60241244 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263993.244
AT ITER 1322 NEW BEST:: SOT 130783906 SOS 60241220 HAS SOPS 60241220 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263993.22
AT ITER 1324 NEW BEST:: SOT 130783506 SOS 60240420 HAS SOPS 60240420 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263992.42
AT ITER 1330 NEW BEST:: SOT 130783342 SOS 60240092 HAS SOPS 60240092 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263992.092
AT ITER 1334 NEW BEST:: SOT 130770542 SOS 60214492 HAS SOPS 60214492 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263966.492
AT ITER 1335 NEW BEST:: SOT 130765688 SOS 60204784 HAS SOPS 60204784 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263956.784
AT ITER 1338 NEW BEST:: SOT 130762280 SOS 60197968 HAS SOPS 60197968 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263949.968
AT ITER 1346 NEW BEST:: SOT 130759800 SOS 60193008 HAS SOPS 60193008 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263945.008
AT ITER 1347 NEW BEST:: SOT 130759774 SOS 60192956 HAS SOPS 60192956 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263944.956
AT ITER 1348 NEW BEST:: SOT 130759512 SOS 60192432 HAS SOPS 60192432 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263944.432
AT ITER 1356 NEW BEST:: SOT 130756748 SOS 60186904 HAS SOPS 60186904 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263938.904
AT ITER 1357 NEW BEST:: SOT 130753598 SOS 60180604 HAS SOPS 60180604 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263932.604
AT ITER 1374 NEW BEST:: SOT 130752850 SOS 60179108 HAS SOPS 60179108 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263931.108
AT ITER 1376 NEW BEST:: SOT 130749080 SOS 60171568 HAS SOPS 60171568 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263923.568
AT ITER 1384 NEW BEST:: SOT 130745892 SOS 60165192 HAS SOPS 60165192 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263917.192
AT ITER 1385 NEW BEST:: SOT 130745210 SOS 60163828 HAS SOPS 60163828 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263915.828
AT ITER 1398 NEW BEST:: SOT 130742090 SOS 60157588 HAS SOPS 60157588 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263909.588
AT ITER 1399 NEW BEST:: SOT 130738816 SOS 60151040 HAS SOPS 60151040 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263903.04
AT ITER 1402 NEW BEST:: SOT 130733088 SOS 60139584 HAS SOPS 60139584 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263891.584
AT ITER 1414 NEW BEST:: SOT 130728868 SOS 60131144 HAS SOPS 60131144 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263883.144
AT ITER 1415 NEW BEST:: SOT 130726950 SOS 60127308 HAS SOPS 60127308 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263879.308
AT ITER 1417 NEW BEST:: SOT 130726902 SOS 60127212 HAS SOPS 60127212 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263879.212
AT ITER 1420 NEW BEST:: SOT 130724842 SOS 60123092 HAS SOPS 60123092 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263875.092
AT ITER 1427 NEW BEST:: SOT 130724598 SOS 60122604 HAS SOPS 60122604 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263874.604
AT ITER 1436 NEW BEST:: SOT 130724446 SOS 60122300 HAS SOPS 60122300 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263874.3
AT ITER 1437 NEW BEST:: SOT 130722400 SOS 60118208 HAS SOPS 60118208 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263870.208
AT ITER 1438 NEW BEST:: SOT 130722126 SOS 60117660 HAS SOPS 60117660 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263869.66
AT ITER 1440 NEW BEST:: SOT 130721696 SOS 60116800 HAS SOPS 60116800 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263868.8
AT ITER 1441 NEW BEST:: SOT 130719738 SOS 60112884 HAS SOPS 60112884 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263864.884
AT ITER 1443 NEW BEST:: SOT 130717710 SOS 60108828 HAS SOPS 60108828 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263860.828
AT ITER 1446 NEW BEST:: SOT 130717646 SOS 60108700 HAS SOPS 60108700 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263860.7
AT ITER 1449 NEW BEST:: SOT 130717046 SOS 60107500 HAS SOPS 60107500 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263859.5
AT ITER 1460 NEW BEST:: SOT 130716790 SOS 60106988 HAS SOPS 60106988 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263858.988
AT ITER 1462 NEW BEST:: SOT 130715506 SOS 60104420 HAS SOPS 60104420 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263856.42
AT ITER 1463 NEW BEST:: SOT 130714872 SOS 60103152 HAS SOPS 60103152 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263855.152
AT ITER 1473 NEW BEST:: SOT 130706752 SOS 60086912 HAS SOPS 60086912 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263838.912
AT ITER 1476 NEW BEST:: SOT 130706180 SOS 60085768 HAS SOPS 60085768 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263837.768
AT ITER 1480 NEW BEST:: SOT 130705656 SOS 60084720 HAS SOPS 60084720 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263836.72
AT ITER 1483 NEW BEST:: SOT 130705526 SOS 60084460 HAS SOPS 60084460 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263836.46
AT ITER 1486 NEW BEST:: SOT 130705010 SOS 60083428 HAS SOPS 60083428 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263835.428
AT ITER 1490 NEW BEST:: SOT 130701784 SOS 60076976 HAS SOPS 60076976 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263828.976
AT ITER 1494 NEW BEST:: SOT 130701672 SOS 60076752 HAS SOPS 60076752 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263828.752
AT ITER 1495 NEW BEST:: SOT 130701540 SOS 60076488 HAS SOPS 60076488 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263828.488
AT ITER 1498 NEW BEST:: SOT 130700862 SOS 60075132 HAS SOPS 60075132 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263827.132
AT ITER 1500 NEW BEST:: SOT 130699704 SOS 60072816 HAS SOPS 60072816 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263824.816
AT ITER 1505 NEW BEST:: SOT 130699266 SOS 60071940 HAS SOPS 60071940 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263823.94
AT ITER 1515 NEW BEST:: SOT 130699016 SOS 60071440 HAS SOPS 60071440 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263823.44
AT ITER 1522 NEW BEST:: SOT 130698328 SOS 60070064 HAS SOPS 60070064 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263822.064
AT ITER 1526 NEW BEST:: SOT 130695222 SOS 60063852 HAS SOPS 60063852 HAS SOUS 1203752 HAS SOUPS 1203752 WITH SCORE 1263815.852
AT ITER 1535 NEW BEST:: SOT 130694394 SOS 60062196 HAS SOPS 60062196 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263786.196
AT ITER 1536 NEW BEST:: SOT 130693386 SOS 60060180 HAS SOPS 60060180 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263784.18
AT ITER 1540 NEW BEST:: SOT 130692678 SOS 60058764 HAS SOPS 60058764 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263782.764
AT ITER 1557 NEW BEST:: SOT 130685214 SOS 60043836 HAS SOPS 60043836 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263767.836
AT ITER 1565 NEW BEST:: SOT 130684624 SOS 60042656 HAS SOPS 60042656 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263766.656
AT ITER 1574 NEW BEST:: SOT 130684438 SOS 60042284 HAS SOPS 60042284 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263766.284
AT ITER 1575 NEW BEST:: SOT 130682970 SOS 60039348 HAS SOPS 60039348 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263763.348
AT ITER 1595 NEW BEST:: SOT 130678446 SOS 60030300 HAS SOPS 60030300 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263754.3
AT ITER 1611 NEW BEST:: SOT 130676514 SOS 60026436 HAS SOPS 60026436 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263750.436
AT ITER 1616 NEW BEST:: SOT 130676012 SOS 60025432 HAS SOPS 60025432 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263749.432
AT ITER 1646 NEW BEST:: SOT 130675730 SOS 60024868 HAS SOPS 60024868 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263748.868
AT ITER 1650 NEW BEST:: SOT 130674890 SOS 60023188 HAS SOPS 60023188 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263747.188
AT ITER 1651 NEW BEST:: SOT 130663142 SOS 59999692 HAS SOPS 59999692 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263723.692
AT ITER 1656 NEW BEST:: SOT 130660438 SOS 59994284 HAS SOPS 59994284 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263718.284
AT ITER 1669 NEW BEST:: SOT 130659706 SOS 59992820 HAS SOPS 59992820 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263716.82
AT ITER 1671 NEW BEST:: SOT 130657776 SOS 59988960 HAS SOPS 59988960 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263712.96
AT ITER 1675 NEW BEST:: SOT 130655058 SOS 59983524 HAS SOPS 59983524 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263707.524
AT ITER 1684 NEW BEST:: SOT 130653948 SOS 59981304 HAS SOPS 59981304 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263705.304
AT ITER 1686 NEW BEST:: SOT 130649770 SOS 59972948 HAS SOPS 59972948 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263696.948
AT ITER 1697 NEW BEST:: SOT 130648470 SOS 59970348 HAS SOPS 59970348 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263694.348
AT ITER 1700 NEW BEST:: SOT 130646404 SOS 59966216 HAS SOPS 59966216 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263690.216
AT ITER 1701 NEW BEST:: SOT 130636760 SOS 59946928 HAS SOPS 59946928 HAS SOUS 1203724 HAS SOUPS 1203724 WITH SCORE 1263670.928
AT ITER 1702 NEW BEST:: SOT 130642394 SOS 59958196 HAS SOPS 59958196 HAS SOUS 1203672 HAS SOUPS 1203672 WITH SCORE 1263630.196
AT ITER 1715 NEW BEST:: SOT 130642176 SOS 59957760 HAS SOPS 59957760 HAS SOUS 1203672 HAS SOUPS 1203672 WITH SCORE 1263629.76
AT ITER 1721 NEW BEST:: SOT 130638738 SOS 59950884 HAS SOPS 59950884 HAS SOUS 1203672 HAS SOUPS 1203672 WITH SCORE 1263622.884
AT ITER 1722 NEW BEST:: SOT 130637238 SOS 59947884 HAS SOPS 59947884 HAS SOUS 1203672 HAS SOUPS 1203672 WITH SCORE 1263619.884
AT ITER 1723 NEW BEST:: SOT 130636478 SOS 59946364 HAS SOPS 59946364 HAS SOUS 1203672 HAS SOUPS 1203672 WITH SCORE 1263618.364
AT ITER 1730 NEW BEST:: SOT 130634512 SOS 59942432 HAS SOPS 59942432 HAS SOUS 1203672 HAS SOUPS 1203672 WITH SCORE 1263614.432
AT ITER 1745 NEW BEST:: SOT 130634354 SOS 59942116 HAS SOPS 59942116 HAS SOUS 1203672 HAS SOUPS 1203672 WITH SCORE 1263614.116
AT ITER 1783 NEW BEST:: SOT 130634276 SOS 59941960 HAS SOPS 59941960 HAS SOUS 1203672 HAS SOUPS 1203672 WITH SCORE 1263613.96
AT ITER 1798 NEW BEST:: SOT 130632004 SOS 59937416 HAS SOPS 59937416 HAS SOUS 1203672 HAS SOUPS 1203672 WITH SCORE 1263609.416
AT ITER 1804 NEW BEST:: SOT 130628424 SOS 59930256 HAS SOPS 59930256 HAS SOUS 1203672 HAS SOUPS 1203672 WITH SCORE 1263602.256
AT ITER 1811 NEW BEST:: SOT 130627866 SOS 59929140 HAS SOPS 59929140 HAS SOUS 1203672 HAS SOUPS 1203672 WITH SCORE 1263601.14
AT ITER 1815 NEW BEST:: SOT 130626822 SOS 59927052 HAS SOPS 59927052 HAS SOUS 1203672 HAS SOUPS 1203672 WITH SCORE 1263599.052
AT ITER 1819 NEW BEST:: SOT 130626064 SOS 59925536 HAS SOPS 59925536 HAS SOUS 1203672 HAS SOUPS 1203672 WITH SCORE 1263597.536
AT ITER 1822 NEW BEST:: SOT 130616336 SOS 59906080 HAS SOPS 59906080 HAS SOUS 1203672 HAS SOUPS 1203672 WITH SCORE 1263578.08
AT ITER 1834 NEW BEST:: SOT 130620400 SOS 59914208 HAS SOPS 59914208 HAS SOUS 1203560 HAS SOUPS 1203560 WITH SCORE 1263474.208
AT ITER 1836 NEW BEST:: SOT 130614612 SOS 59902632 HAS SOPS 59902632 HAS SOUS 1203560 HAS SOUPS 1203560 WITH SCORE 1263462.632
AT ITER 1864 NEW BEST:: SOT 130617190 SOS 59907788 HAS SOPS 59907788 HAS SOUS 1203228 HAS SOUPS 1203228 WITH SCORE 1263135.788
AT ITER 1865 NEW BEST:: SOT 130617118 SOS 59907644 HAS SOPS 59907644 HAS SOUS 1203228 HAS SOUPS 1203228 WITH SCORE 1263135.644
AT ITER 1866 NEW BEST:: SOT 130616076 SOS 59905560 HAS SOPS 59905560 HAS SOUS 1203228 HAS SOUPS 1203228 WITH SCORE 1263133.56
AT ITER 1871 NEW BEST:: SOT 130612366 SOS 59898140 HAS SOPS 59898140 HAS SOUS 1203228 HAS SOUPS 1203228 WITH SCORE 1263126.14
AT ITER 1872 NEW BEST:: SOT 130610948 SOS 59895304 HAS SOPS 59895304 HAS SOUS 1203228 HAS SOUPS 1203228 WITH SCORE 1263123.304
AT ITER 1876 NEW BEST:: SOT 130602738 SOS 59878884 HAS SOPS 59878884 HAS SOUS 1203228 HAS SOUPS 1203228 WITH SCORE 1263106.884
AT ITER 1881 NEW BEST:: SOT 130599582 SOS 59872572 HAS SOPS 59872572 HAS SOUS 1203230 HAS SOUPS 1203230 WITH SCORE 1263102.572
AT ITER 1887 NEW BEST:: SOT 130599474 SOS 59872356 HAS SOPS 59872356 HAS SOUS 1203230 HAS SOUPS 1203230 WITH SCORE 1263102.356
AT ITER 1904 NEW BEST:: SOT 130598612 SOS 59870632 HAS SOPS 59870632 HAS SOUS 1203230 HAS SOUPS 1203230 WITH SCORE 1263100.632
AT ITER 1909 NEW BEST:: SOT 130598452 SOS 59870312 HAS SOPS 59870312 HAS SOUS 1203230 HAS SOUPS 1203230 WITH SCORE 1263100.312
AT ITER 1913 NEW BEST:: SOT 130596906 SOS 59867220 HAS SOPS 59867220 HAS SOUS 1203230 HAS SOUPS 1203230 WITH SCORE 1263097.22
AT ITER 1928 NEW BEST:: SOT 130595326 SOS 59864060 HAS SOPS 59864060 HAS SOUS 1203230 HAS SOUPS 1203230 WITH SCORE 1263094.06
AT ITER 1933 NEW BEST:: SOT 130595122 SOS 59863652 HAS SOPS 59863652 HAS SOUS 1203230 HAS SOUPS 1203230 WITH SCORE 1263093.652
AT ITER 1939 NEW BEST:: SOT 130588930 SOS 59851268 HAS SOPS 59851268 HAS SOUS 1203230 HAS SOUPS 1203230 WITH SCORE 1263081.268
AT ITER 1940 NEW BEST:: SOT 130587288 SOS 59847984 HAS SOPS 59847984 HAS SOUS 1203230 HAS SOUPS 1203230 WITH SCORE 1263077.984
AT ITER 1941 NEW BEST:: SOT 130587236 SOS 59847880 HAS SOPS 59847880 HAS SOUS 1203230 HAS SOUPS 1203230 WITH SCORE 1263077.88
AT ITER 1946 NEW BEST:: SOT 130589398 SOS 59852204 HAS SOPS 59852204 HAS SOUS 1199258 HAS SOUPS 1199258 WITH SCORE 1259110.204
AT ITER 1952 NEW BEST:: SOT 130588598 SOS 59850604 HAS SOPS 59850604 HAS SOUS 1199258 HAS SOUPS 1199258 WITH SCORE 1259108.604
AT ITER 1958 NEW BEST:: SOT 130587420 SOS 59848248 HAS SOPS 59848248 HAS SOUS 1199258 HAS SOUPS 1199258 WITH SCORE 1259106.248
AT ITER 1962 NEW BEST:: SOT 130587678 SOS 59848764 HAS SOPS 59848764 HAS SOUS 1199246 HAS SOUPS 1199246 WITH SCORE 1259094.764
AT ITER 1963 NEW BEST:: SOT 130586664 SOS 59846736 HAS SOPS 59846736 HAS SOUS 1199246 HAS SOUPS 1199246 WITH SCORE 1259092.736
AT ITER 1973 NEW BEST:: SOT 130581080 SOS 59835568 HAS SOPS 59835568 HAS SOUS 1199246 HAS SOUPS 1199246 WITH SCORE 1259081.568
AT ITER 1988 NEW BEST:: SOT 130580382 SOS 59834172 HAS SOPS 59834172 HAS SOUS 1199246 HAS SOUPS 1199246 WITH SCORE 1259080.172
AT ITER 1994 NEW BEST:: SOT 130578440 SOS 59830288 HAS SOPS 59830288 HAS SOUS 1199246 HAS SOUPS 1199246 WITH SCORE 1259076.288
AT ITER 1997 NEW BEST:: SOT 130576320 SOS 59826048 HAS SOPS 59826048 HAS SOUS 1199246 HAS SOUPS 1199246 WITH SCORE 1259072.048
AT ITER 2011 NEW BEST:: SOT 130575914 SOS 59825236 HAS SOPS 59825236 HAS SOUS 1199246 HAS SOUPS 1199246 WITH SCORE 1259071.236
AT ITER 2016 NEW BEST:: SOT 130574798 SOS 59823004 HAS SOPS 59823004 HAS SOUS 1199246 HAS SOUPS 1199246 WITH SCORE 1259069.004
AT ITER 2021 NEW BEST:: SOT 130574548 SOS 59822504 HAS SOPS 59822504 HAS SOUS 1199246 HAS SOUPS 1199246 WITH SCORE 1259068.504
AT ITER 2033 NEW BEST:: SOT 130571764 SOS 59816936 HAS SOPS 59816936 HAS SOUS 1199246 HAS SOUPS 1199246 WITH SCORE 1259062.936
AT ITER 2034 NEW BEST:: SOT 130571722 SOS 59816852 HAS SOPS 59816852 HAS SOUS 1199246 HAS SOUPS 1199246 WITH SCORE 1259062.852
AT ITER 2046 NEW BEST:: SOT 130570624 SOS 59814656 HAS SOPS 59814656 HAS SOUS 1199246 HAS SOUPS 1199246 WITH SCORE 1259060.656
AT ITER 2048 NEW BEST:: SOT 130570454 SOS 59814316 HAS SOPS 59814316 HAS SOUS 1199246 HAS SOUPS 1199246 WITH SCORE 1259060.316
AT ITER 2054 NEW BEST:: SOT 130570248 SOS 59813904 HAS SOPS 59813904 HAS SOUS 1199246 HAS SOUPS 1199246 WITH SCORE 1259059.904
AT ITER 2080 NEW BEST:: SOT 130561540 SOS 59796488 HAS SOPS 59796488 HAS SOUS 1199246 HAS SOUPS 1199246 WITH SCORE 1259042.488
AT ITER 2088 NEW BEST:: SOT 130569170 SOS 59811748 HAS SOPS 59811748 HAS SOUS 1199124 HAS SOUPS 1199124 WITH SCORE 1258935.748
AT ITER 2089 NEW BEST:: SOT 130569126 SOS 59811660 HAS SOPS 59811660 HAS SOUS 1199124 HAS SOUPS 1199124 WITH SCORE 1258935.66
AT ITER 2098 NEW BEST:: SOT 130566556 SOS 59806520 HAS SOPS 59806520 HAS SOUS 1199124 HAS SOUPS 1199124 WITH SCORE 1258930.52
AT ITER 2099 NEW BEST:: SOT 130565968 SOS 59805344 HAS SOPS 59805344 HAS SOUS 1199124 HAS SOUPS 1199124 WITH SCORE 1258929.344
AT ITER 2100 NEW BEST:: SOT 130562806 SOS 59799020 HAS SOPS 59799020 HAS SOUS 1199124 HAS SOUPS 1199124 WITH SCORE 1258923.02
AT ITER 2101 NEW BEST:: SOT 130559366 SOS 59792140 HAS SOPS 59792140 HAS SOUS 1199124 HAS SOUPS 1199124 WITH SCORE 1258916.14
AT ITER 2105 NEW BEST:: SOT 130558582 SOS 59790572 HAS SOPS 59790572 HAS SOUS 1199124 HAS SOUPS 1199124 WITH SCORE 1258914.572
AT ITER 2113 NEW BEST:: SOT 130557690 SOS 59788788 HAS SOPS 59788788 HAS SOUS 1199124 HAS SOUPS 1199124 WITH SCORE 1258912.788
AT ITER 2118 NEW BEST:: SOT 130556468 SOS 59786344 HAS SOPS 59786344 HAS SOUS 1198714 HAS SOUPS 1198714 WITH SCORE 1258500.344
AT ITER 2123 NEW BEST:: SOT 130554996 SOS 59783400 HAS SOPS 59783400 HAS SOUS 1198714 HAS SOUPS 1198714 WITH SCORE 1258497.4
AT ITER 2128 NEW BEST:: SOT 130554762 SOS 59782932 HAS SOPS 59782932 HAS SOUS 1198714 HAS SOUPS 1198714 WITH SCORE 1258496.932
AT ITER 2131 NEW BEST:: SOT 130553752 SOS 59780912 HAS SOPS 59780912 HAS SOUS 1198714 HAS SOUPS 1198714 WITH SCORE 1258494.912
AT ITER 2148 NEW BEST:: SOT 130544940 SOS 59763288 HAS SOPS 59763288 HAS SOUS 1198714 HAS SOUPS 1198714 WITH SCORE 1258477.288
AT ITER 2158 NEW BEST:: SOT 130544880 SOS 59763168 HAS SOPS 59763168 HAS SOUS 1198714 HAS SOUPS 1198714 WITH SCORE 1258477.168
AT ITER 2164 NEW BEST:: SOT 130544154 SOS 59761716 HAS SOPS 59761716 HAS SOUS 1198714 HAS SOUPS 1198714 WITH SCORE 1258475.716
AT ITER 2179 NEW BEST:: SOT 130540906 SOS 59755220 HAS SOPS 59755220 HAS SOUS 1198714 HAS SOUPS 1198714 WITH SCORE 1258469.22
AT ITER 2190 NEW BEST:: SOT 130540750 SOS 59754908 HAS SOPS 59754908 HAS SOUS 1198714 HAS SOUPS 1198714 WITH SCORE 1258468.908
AT ITER 2192 NEW BEST:: SOT 130530290 SOS 59733988 HAS SOPS 59733988 HAS SOUS 1198714 HAS SOUPS 1198714 WITH SCORE 1258447.988
AT ITER 2202 NEW BEST:: SOT 130563768 SOS 59800944 HAS SOPS 59800944 HAS SOUS 1198556 HAS SOUPS 1198556 WITH SCORE 1258356.944
AT ITER 2211 NEW BEST:: SOT 130557448 SOS 59788304 HAS SOPS 59788304 HAS SOUS 1198556 HAS SOUPS 1198556 WITH SCORE 1258344.304
AT ITER 2219 NEW BEST:: SOT 130555200 SOS 59783808 HAS SOPS 59783808 HAS SOUS 1198556 HAS SOUPS 1198556 WITH SCORE 1258339.808
AT ITER 2223 NEW BEST:: SOT 130554364 SOS 59782136 HAS SOPS 59782136 HAS SOUS 1198556 HAS SOUPS 1198556 WITH SCORE 1258338.136
AT ITER 2224 NEW BEST:: SOT 130554074 SOS 59781556 HAS SOPS 59781556 HAS SOUS 1198556 HAS SOUPS 1198556 WITH SCORE 1258337.556
AT ITER 2225 NEW BEST:: SOT 130554000 SOS 59781408 HAS SOPS 59781408 HAS SOUS 1198556 HAS SOUPS 1198556 WITH SCORE 1258337.408
AT ITER 2240 NEW BEST:: SOT 130578486 SOS 59830380 HAS SOPS 59830380 HAS SOUS 1198478 HAS SOUPS 1198478 WITH SCORE 1258308.38
AT ITER 2241 NEW BEST:: SOT 130578150 SOS 59829708 HAS SOPS 59829708 HAS SOUS 1198478 HAS SOUPS 1198478 WITH SCORE 1258307.708
AT ITER 2242 NEW BEST:: SOT 130578132 SOS 59829672 HAS SOPS 59829672 HAS SOUS 1198478 HAS SOUPS 1198478 WITH SCORE 1258307.672
AT ITER 2251 NEW BEST:: SOT 130574154 SOS 59821716 HAS SOPS 59821716 HAS SOUS 1198478 HAS SOUPS 1198478 WITH SCORE 1258299.716
AT ITER 2255 NEW BEST:: SOT 130573124 SOS 59819656 HAS SOPS 59819656 HAS SOUS 1198478 HAS SOUPS 1198478 WITH SCORE 1258297.656
AT ITER 2257 NEW BEST:: SOT 130572824 SOS 59819056 HAS SOPS 59819056 HAS SOUS 1198478 HAS SOUPS 1198478 WITH SCORE 1258297.056
AT ITER 2258 NEW BEST:: SOT 130572818 SOS 59819044 HAS SOPS 59819044 HAS SOUS 1198478 HAS SOUPS 1198478 WITH SCORE 1258297.044
AT ITER 2266 NEW BEST:: SOT 130572170 SOS 59817748 HAS SOPS 59817748 HAS SOUS 1198478 HAS SOUPS 1198478 WITH SCORE 1258295.748
AT ITER 2267 NEW BEST:: SOT 130572204 SOS 59817816 HAS SOPS 59817816 HAS SOUS 1198470 HAS SOUPS 1198470 WITH SCORE 1258287.816
AT ITER 2277 NEW BEST:: SOT 130571008 SOS 59815424 HAS SOPS 59815424 HAS SOUS 1198470 HAS SOUPS 1198470 WITH SCORE 1258285.424
AT ITER 2283 NEW BEST:: SOT 130570780 SOS 59814968 HAS SOPS 59814968 HAS SOUS 1198470 HAS SOUPS 1198470 WITH SCORE 1258284.968
AT ITER 2296 NEW BEST:: SOT 130569004 SOS 59811416 HAS SOPS 59811416 HAS SOUS 1198470 HAS SOUPS 1198470 WITH SCORE 1258281.416
AT ITER 2301 NEW BEST:: SOT 130562682 SOS 59798772 HAS SOPS 59798772 HAS SOUS 1198470 HAS SOUPS 1198470 WITH SCORE 1258268.772
AT ITER 2303 NEW BEST:: SOT 130562674 SOS 59798756 HAS SOPS 59798756 HAS SOUS 1198470 HAS SOUPS 1198470 WITH SCORE 1258268.756
AT ITER 2307 NEW BEST:: SOT 130562642 SOS 59798692 HAS SOPS 59798692 HAS SOUS 1198470 HAS SOUPS 1198470 WITH SCORE 1258268.692
AT ITER 2314 NEW BEST:: SOT 130562560 SOS 59798528 HAS SOPS 59798528 HAS SOUS 1198470 HAS SOUPS 1198470 WITH SCORE 1258268.528
AT ITER 2320 NEW BEST:: SOT 130562450 SOS 59798308 HAS SOPS 59798308 HAS SOUS 1198470 HAS SOUPS 1198470 WITH SCORE 1258268.308
AT ITER 2323 NEW BEST:: SOT 130621330 SOS 59916068 HAS SOPS 59916068 HAS SOUS 1198326 HAS SOUPS 1198326 WITH SCORE 1258242.068
AT ITER 2337 NEW BEST:: SOT 130626192 SOS 59925792 HAS SOPS 59925792 HAS SOUS 1198294 HAS SOUPS 1198294 WITH SCORE 1258219.792
AT ITER 2347 NEW BEST:: SOT 130625570 SOS 59924548 HAS SOPS 59924548 HAS SOUS 1198294 HAS SOUPS 1198294 WITH SCORE 1258218.548
AT ITER 2355 NEW BEST:: SOT 130608684 SOS 59890776 HAS SOPS 59890776 HAS SOUS 1198294 HAS SOUPS 1198294 WITH SCORE 1258184.776
AT ITER 2356 NEW BEST:: SOT 130607760 SOS 59888928 HAS SOPS 59888928 HAS SOUS 1198294 HAS SOUPS 1198294 WITH SCORE 1258182.928
AT ITER 2362 NEW BEST:: SOT 130607142 SOS 59887692 HAS SOPS 59887692 HAS SOUS 1198294 HAS SOUPS 1198294 WITH SCORE 1258181.692
AT ITER 2365 NEW BEST:: SOT 130605742 SOS 59884892 HAS SOPS 59884892 HAS SOUS 1198294 HAS SOUPS 1198294 WITH SCORE 1258178.892
AT ITER 2375 NEW BEST:: SOT 130605286 SOS 59883980 HAS SOPS 59883980 HAS SOUS 1198294 HAS SOUPS 1198294 WITH SCORE 1258177.98
AT ITER 2378 NEW BEST:: SOT 130602850 SOS 59879108 HAS SOPS 59879108 HAS SOUS 1198294 HAS SOUPS 1198294 WITH SCORE 1258173.108
AT ITER 2381 NEW BEST:: SOT 130600810 SOS 59875028 HAS SOPS 59875028 HAS SOUS 1198294 HAS SOUPS 1198294 WITH SCORE 1258169.028
AT ITER 2385 NEW BEST:: SOT 130596340 SOS 59866088 HAS SOPS 59866088 HAS SOUS 1198294 HAS SOUPS 1198294 WITH SCORE 1258160.088
AT ITER 2387 NEW BEST:: SOT 130596330 SOS 59866068 HAS SOPS 59866068 HAS SOUS 1198294 HAS SOUPS 1198294 WITH SCORE 1258160.068
AT ITER 2406 NEW BEST:: SOT 130595162 SOS 59863732 HAS SOPS 59863732 HAS SOUS 1198294 HAS SOUPS 1198294 WITH SCORE 1258157.732
AT ITER 2407 NEW BEST:: SOT 130594134 SOS 59861676 HAS SOPS 59861676 HAS SOUS 1198294 HAS SOUPS 1198294 WITH SCORE 1258155.676
AT ITER 2409 NEW BEST:: SOT 130593956 SOS 59861320 HAS SOPS 59861320 HAS SOUS 1198294 HAS SOUPS 1198294 WITH SCORE 1258155.32
AT ITER 2411 NEW BEST:: SOT 130593620 SOS 59860648 HAS SOPS 59860648 HAS SOUS 1198294 HAS SOUPS 1198294 WITH SCORE 1258154.648
AT ITER 2413 NEW BEST:: SOT 130590542 SOS 59854492 HAS SOPS 59854492 HAS SOUS 1198294 HAS SOUPS 1198294 WITH SCORE 1258148.492
AT ITER 2415 NEW BEST:: SOT 130586414 SOS 59846236 HAS SOPS 59846236 HAS SOUS 1198294 HAS SOUPS 1198294 WITH SCORE 1258140.236
AT ITER 2417 NEW BEST:: SOT 130585820 SOS 59845048 HAS SOPS 59845048 HAS SOUS 1198294 HAS SOUPS 1198294 WITH SCORE 1258139.048
AT ITER 2424 NEW BEST:: SOT 130585754 SOS 59844916 HAS SOPS 59844916 HAS SOUS 1198294 HAS SOUPS 1198294 WITH SCORE 1258138.916
AT ITER 2426 NEW BEST:: SOT 130591814 SOS 59857036 HAS SOPS 59857036 HAS SOUS 1198134 HAS SOUPS 1198134 WITH SCORE 1257991.036
AT ITER 2437 NEW BEST:: SOT 130591758 SOS 59856924 HAS SOPS 59856924 HAS SOUS 1198134 HAS SOUPS 1198134 WITH SCORE 1257990.924
AT ITER 2440 NEW BEST:: SOT 130591730 SOS 59856868 HAS SOPS 59856868 HAS SOUS 1198134 HAS SOUPS 1198134 WITH SCORE 1257990.868
AT ITER 2444 NEW BEST:: SOT 130591078 SOS 59855564 HAS SOPS 59855564 HAS SOUS 1198134 HAS SOUPS 1198134 WITH SCORE 1257989.564
AT ITER 2454 NEW BEST:: SOT 130590056 SOS 59853520 HAS SOPS 59853520 HAS SOUS 1198134 HAS SOUPS 1198134 WITH SCORE 1257987.52
AT ITER 2458 NEW BEST:: SOT 130589542 SOS 59852492 HAS SOPS 59852492 HAS SOUS 1198134 HAS SOUPS 1198134 WITH SCORE 1257986.492
AT ITER 2459 NEW BEST:: SOT 130589050 SOS 59851508 HAS SOPS 59851508 HAS SOUS 1198134 HAS SOUPS 1198134 WITH SCORE 1257985.508
AT ITER 2466 NEW BEST:: SOT 130593270 SOS 59859948 HAS SOPS 59859948 HAS SOUS 1197992 HAS SOUPS 1197992 WITH SCORE 1257851.948
AT ITER 2474 NEW BEST:: SOT 130593114 SOS 59859636 HAS SOPS 59859636 HAS SOUS 1197992 HAS SOUPS 1197992 WITH SCORE 1257851.636
AT ITER 2479 NEW BEST:: SOT 130593102 SOS 59859612 HAS SOPS 59859612 HAS SOUS 1197992 HAS SOUPS 1197992 WITH SCORE 1257851.612
AT ITER 2481 NEW BEST:: SOT 130592812 SOS 59859032 HAS SOPS 59859032 HAS SOUS 1197992 HAS SOUPS 1197992 WITH SCORE 1257851.032
AT ITER 2483 NEW BEST:: SOT 130591830 SOS 59857068 HAS SOPS 59857068 HAS SOUS 1197992 HAS SOUPS 1197992 WITH SCORE 1257849.068
AT ITER 2503 NEW BEST:: SOT 130590874 SOS 59855156 HAS SOPS 59855156 HAS SOUS 1197992 HAS SOUPS 1197992 WITH SCORE 1257847.156
AT ITER 2511 NEW BEST:: SOT 130590644 SOS 59854696 HAS SOPS 59854696 HAS SOUS 1197992 HAS SOUPS 1197992 WITH SCORE 1257846.696
AT ITER 2513 NEW BEST:: SOT 130585242 SOS 59843892 HAS SOPS 59843892 HAS SOUS 1197992 HAS SOUPS 1197992 WITH SCORE 1257835.892
AT ITER 2523 NEW BEST:: SOT 130583632 SOS 59840672 HAS SOPS 59840672 HAS SOUS 1197992 HAS SOUPS 1197992 WITH SCORE 1257832.672
AT ITER 2526 NEW BEST:: SOT 130580412 SOS 59834232 HAS SOPS 59834232 HAS SOUS 1197992 HAS SOUPS 1197992 WITH SCORE 1257826.232
AT ITER 2530 NEW BEST:: SOT 130580088 SOS 59833584 HAS SOPS 59833584 HAS SOUS 1197992 HAS SOUPS 1197992 WITH SCORE 1257825.584
AT ITER 2532 NEW BEST:: SOT 130574656 SOS 59822720 HAS SOPS 59822720 HAS SOUS 1197992 HAS SOUPS 1197992 WITH SCORE 1257814.72
AT ITER 2543 NEW BEST:: SOT 130574644 SOS 59822696 HAS SOPS 59822696 HAS SOUS 1197992 HAS SOUPS 1197992 WITH SCORE 1257814.696
AT ITER 2549 NEW BEST:: SOT 130571978 SOS 59817364 HAS SOPS 59817364 HAS SOUS 1197992 HAS SOUPS 1197992 WITH SCORE 1257809.364
AT ITER 2558 NEW BEST:: SOT 130571954 SOS 59817316 HAS SOPS 59817316 HAS SOUS 1197992 HAS SOUPS 1197992 WITH SCORE 1257809.316
AT ITER 2564 NEW BEST:: SOT 130571624 SOS 59816656 HAS SOPS 59816656 HAS SOUS 1197992 HAS SOUPS 1197992 WITH SCORE 1257808.656
AT ITER 2570 NEW BEST:: SOT 130570142 SOS 59813692 HAS SOPS 59813692 HAS SOUS 1197992 HAS SOUPS 1197992 WITH SCORE 1257805.692
AT ITER 2572 NEW BEST:: SOT 130567838 SOS 59809084 HAS SOPS 59809084 HAS SOUS 1197992 HAS SOUPS 1197992 WITH SCORE 1257801.084
AT ITER 2574 NEW BEST:: SOT 130567740 SOS 59808888 HAS SOPS 59808888 HAS SOUS 1197992 HAS SOUPS 1197992 WITH SCORE 1257800.888
AT ITER 2578 NEW BEST:: SOT 130558116 SOS 59789640 HAS SOPS 59789640 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257669.64
AT ITER 2581 NEW BEST:: SOT 130558030 SOS 59789468 HAS SOPS 59789468 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257669.468
AT ITER 2610 NEW BEST:: SOT 130557856 SOS 59789120 HAS SOPS 59789120 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257669.12
AT ITER 2623 NEW BEST:: SOT 130557464 SOS 59788336 HAS SOPS 59788336 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257668.336
AT ITER 2624 NEW BEST:: SOT 130556568 SOS 59786544 HAS SOPS 59786544 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257666.544
AT ITER 2626 NEW BEST:: SOT 130556326 SOS 59786060 HAS SOPS 59786060 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257666.06
AT ITER 2635 NEW BEST:: SOT 130556114 SOS 59785636 HAS SOPS 59785636 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257665.636
AT ITER 2640 NEW BEST:: SOT 130555230 SOS 59783868 HAS SOPS 59783868 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257663.868
AT ITER 2658 NEW BEST:: SOT 130553404 SOS 59780216 HAS SOPS 59780216 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257660.216
AT ITER 2659 NEW BEST:: SOT 130542294 SOS 59757996 HAS SOPS 59757996 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257637.996
AT ITER 2662 NEW BEST:: SOT 130542208 SOS 59757824 HAS SOPS 59757824 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257637.824
AT ITER 2664 NEW BEST:: SOT 130541802 SOS 59757012 HAS SOPS 59757012 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257637.012
AT ITER 2665 NEW BEST:: SOT 130541740 SOS 59756888 HAS SOPS 59756888 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257636.888
AT ITER 2679 NEW BEST:: SOT 130541612 SOS 59756632 HAS SOPS 59756632 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257636.632
AT ITER 2683 NEW BEST:: SOT 130541476 SOS 59756360 HAS SOPS 59756360 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257636.36
AT ITER 2686 NEW BEST:: SOT 130540966 SOS 59755340 HAS SOPS 59755340 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257635.34
AT ITER 2691 NEW BEST:: SOT 130537806 SOS 59749020 HAS SOPS 59749020 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257629.02
AT ITER 2700 NEW BEST:: SOT 130536916 SOS 59747240 HAS SOPS 59747240 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257627.24
AT ITER 2725 NEW BEST:: SOT 130535812 SOS 59745032 HAS SOPS 59745032 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257625.032
AT ITER 2727 NEW BEST:: SOT 130534882 SOS 59743172 HAS SOPS 59743172 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257623.172
AT ITER 2729 NEW BEST:: SOT 130533232 SOS 59739872 HAS SOPS 59739872 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257619.872
AT ITER 2730 NEW BEST:: SOT 130531462 SOS 59736332 HAS SOPS 59736332 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257616.332
AT ITER 2732 NEW BEST:: SOT 130530868 SOS 59735144 HAS SOPS 59735144 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257615.144
AT ITER 2733 NEW BEST:: SOT 130525652 SOS 59724712 HAS SOPS 59724712 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257604.712
AT ITER 2741 NEW BEST:: SOT 130525178 SOS 59723764 HAS SOPS 59723764 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257603.764
AT ITER 2742 NEW BEST:: SOT 130524152 SOS 59721712 HAS SOPS 59721712 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257601.712
AT ITER 2750 NEW BEST:: SOT 130516910 SOS 59707228 HAS SOPS 59707228 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257587.2280000001
AT ITER 2758 NEW BEST:: SOT 130506734 SOS 59686876 HAS SOPS 59686876 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257566.876
AT ITER 2772 NEW BEST:: SOT 130506326 SOS 59686060 HAS SOPS 59686060 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257566.06
AT ITER 2778 NEW BEST:: SOT 130504364 SOS 59682136 HAS SOPS 59682136 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257562.136
AT ITER 2783 NEW BEST:: SOT 130502900 SOS 59679208 HAS SOPS 59679208 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257559.208
AT ITER 2807 NEW BEST:: SOT 130501622 SOS 59676652 HAS SOPS 59676652 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257556.652
AT ITER 2817 NEW BEST:: SOT 130501142 SOS 59675692 HAS SOPS 59675692 HAS SOUS 1197880 HAS SOUPS 1197880 WITH SCORE 1257555.692
AT ITER 2826 NEW BEST:: SOT 130498388 SOS 59670184 HAS SOPS 59670184 HAS SOUS 1197776 HAS SOUPS 1197776 WITH SCORE 1257446.184
AT ITER 2831 NEW BEST:: SOT 130498250 SOS 59669908 HAS SOPS 59669908 HAS SOUS 1197776 HAS SOUPS 1197776 WITH SCORE 1257445.908
AT ITER 2833 NEW BEST:: SOT 130490686 SOS 59654780 HAS SOPS 59654780 HAS SOUS 1197776 HAS SOUPS 1197776 WITH SCORE 1257430.78
AT ITER 2834 NEW BEST:: SOT 130489972 SOS 59653352 HAS SOPS 59653352 HAS SOUS 1197776 HAS SOUPS 1197776 WITH SCORE 1257429.352
AT ITER 2835 NEW BEST:: SOT 130489392 SOS 59652192 HAS SOPS 59652192 HAS SOUS 1197776 HAS SOUPS 1197776 WITH SCORE 1257428.192
AT ITER 2840 NEW BEST:: SOT 130486592 SOS 59646592 HAS SOPS 59646592 HAS SOUS 1197776 HAS SOUPS 1197776 WITH SCORE 1257422.592
AT ITER 2846 NEW BEST:: SOT 130485634 SOS 59644676 HAS SOPS 59644676 HAS SOUS 1197776 HAS SOUPS 1197776 WITH SCORE 1257420.676
AT ITER 2853 NEW BEST:: SOT 130484462 SOS 59642332 HAS SOPS 59642332 HAS SOUS 1197776 HAS SOUPS 1197776 WITH SCORE 1257418.332
AT ITER 2855 NEW BEST:: SOT 130483626 SOS 59640660 HAS SOPS 59640660 HAS SOUS 1197776 HAS SOUPS 1197776 WITH SCORE 1257416.66
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15550800 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16092136 kB

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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