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.r003-oct2-167813590500136.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ASLink-PT-08b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590500136
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 6.4K Feb 26 13:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 13:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 13:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 13:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 13:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 26 13:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 13:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 26 13:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678469080806

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=ASLink-PT-08b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 08b
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: 3618 places, 4459 transitions, 13543 arcs.
AT ITER 0 NEW BEST:: SOT 8581989 SOS 1513259 HAS SOPS 1513259 HAS SOUS 1223312 HAS SOUPS 1223312 WITH SCORE 1224825.259
AT ITER 8 NEW BEST:: SOT 8581988 SOS 1513257 HAS SOPS 1513257 HAS SOUS 1223310 HAS SOUPS 1223310 WITH SCORE 1224823.257
AT ITER 15 NEW BEST:: SOT 8581943 SOS 1512845 HAS SOPS 1512845 HAS SOUS 1223219 HAS SOUPS 1223219 WITH SCORE 1224731.845
AT ITER 16 NEW BEST:: SOT 8581943 SOS 1512685 HAS SOPS 1512685 HAS SOUS 1223218 HAS SOUPS 1223218 WITH SCORE 1224730.685
AT ITER 21 NEW BEST:: SOT 8581502 SOS 1512559 HAS SOPS 1512559 HAS SOUS 1222840 HAS SOUPS 1222840 WITH SCORE 1224352.559
AT ITER 38 NEW BEST:: SOT 8581491 SOS 1512526 HAS SOPS 1512526 HAS SOUS 1222807 HAS SOUPS 1222807 WITH SCORE 1224319.526
AT ITER 72 NEW BEST:: SOT 8581372 SOS 1512504 HAS SOPS 1512504 HAS SOUS 1222784 HAS SOUPS 1222784 WITH SCORE 1224296.504
AT ITER 79 NEW BEST:: SOT 8581241 SOS 1512355 HAS SOPS 1512355 HAS SOUS 1222635 HAS SOUPS 1222635 WITH SCORE 1224147.355
AT ITER 80 NEW BEST:: SOT 8581199 SOS 1512338 HAS SOPS 1512338 HAS SOUS 1222635 HAS SOUPS 1222635 WITH SCORE 1224147.338
AT ITER 148 NEW BEST:: SOT 8580965 SOS 1512102 HAS SOPS 1512102 HAS SOUS 1222398 HAS SOUPS 1222398 WITH SCORE 1223910.102
AT ITER 166 NEW BEST:: SOT 8580854 SOS 1512043 HAS SOPS 1512043 HAS SOUS 1222339 HAS SOUPS 1222339 WITH SCORE 1223851.043
AT ITER 185 NEW BEST:: SOT 8580222 SOS 1511396 HAS SOPS 1511396 HAS SOUS 1221692 HAS SOUPS 1221692 WITH SCORE 1223203.396
AT ITER 187 NEW BEST:: SOT 8580221 SOS 1511157 HAS SOPS 1511157 HAS SOUS 1221689 HAS SOUPS 1221689 WITH SCORE 1223200.157
AT ITER 197 NEW BEST:: SOT 8580150 SOS 1511068 HAS SOPS 1511068 HAS SOUS 1221600 HAS SOUPS 1221600 WITH SCORE 1223111.068
AT ITER 198 NEW BEST:: SOT 8580149 SOS 1511189 HAS SOPS 1511189 HAS SOUS 1221598 HAS SOUPS 1221598 WITH SCORE 1223109.189
AT ITER 210 NEW BEST:: SOT 8580354 SOS 1511120 HAS SOPS 1511120 HAS SOUS 1221529 HAS SOUPS 1221529 WITH SCORE 1223040.12
AT ITER 241 NEW BEST:: SOT 8580045 SOS 1510308 HAS SOPS 1510308 HAS SOUS 1220910 HAS SOUPS 1220910 WITH SCORE 1222420.308
AT ITER 249 NEW BEST:: SOT 8579953 SOS 1510124 HAS SOPS 1510124 HAS SOUS 1220726 HAS SOUPS 1220726 WITH SCORE 1222236.124
AT ITER 259 NEW BEST:: SOT 8579776 SOS 1510095 HAS SOPS 1510095 HAS SOUS 1220549 HAS SOUPS 1220549 WITH SCORE 1222059.095
AT ITER 263 NEW BEST:: SOT 8579706 SOS 1510022 HAS SOPS 1510022 HAS SOUS 1220543 HAS SOUPS 1220543 WITH SCORE 1222053.022
AT ITER 269 NEW BEST:: SOT 8579706 SOS 1510309 HAS SOPS 1510309 HAS SOUS 1220508 HAS SOUPS 1220508 WITH SCORE 1222018.309
AT ITER 277 NEW BEST:: SOT 8579712 SOS 1510337 HAS SOPS 1510337 HAS SOUS 1220440 HAS SOUPS 1220440 WITH SCORE 1221950.337
AT ITER 278 NEW BEST:: SOT 8579596 SOS 1510105 HAS SOPS 1510105 HAS SOUS 1220324 HAS SOUPS 1220324 WITH SCORE 1221834.105
AT ITER 281 NEW BEST:: SOT 8579351 SOS 1509679 HAS SOPS 1509679 HAS SOUS 1220142 HAS SOUPS 1220142 WITH SCORE 1221651.679
AT ITER 344 NEW BEST:: SOT 8579329 SOS 1509657 HAS SOPS 1509657 HAS SOUS 1220098 HAS SOUPS 1220098 WITH SCORE 1221607.657
AT ITER 346 NEW BEST:: SOT 8579329 SOS 1509633 HAS SOPS 1509633 HAS SOUS 1220098 HAS SOUPS 1220098 WITH SCORE 1221607.633
AT ITER 348 NEW BEST:: SOT 8579199 SOS 1509337 HAS SOPS 1509337 HAS SOUS 1219802 HAS SOUPS 1219802 WITH SCORE 1221311.337
AT ITER 362 NEW BEST:: SOT 8579151 SOS 1509281 HAS SOPS 1509281 HAS SOUS 1219754 HAS SOUPS 1219754 WITH SCORE 1221263.281
AT ITER 372 NEW BEST:: SOT 8579085 SOS 1509145 HAS SOPS 1509145 HAS SOUS 1219618 HAS SOUPS 1219618 WITH SCORE 1221127.145
AT ITER 394 NEW BEST:: SOT 8579470 SOS 1509127 HAS SOPS 1509127 HAS SOUS 1219600 HAS SOUPS 1219600 WITH SCORE 1221109.127
AT ITER 415 NEW BEST:: SOT 8579470 SOS 1509070 HAS SOPS 1509070 HAS SOUS 1219543 HAS SOUPS 1219543 WITH SCORE 1221052.07
AT ITER 445 NEW BEST:: SOT 8579263 SOS 1508656 HAS SOPS 1508656 HAS SOUS 1219028 HAS SOUPS 1219028 WITH SCORE 1220536.656
AT ITER 448 NEW BEST:: SOT 8579173 SOS 1508645 HAS SOPS 1508645 HAS SOUS 1219017 HAS SOUPS 1219017 WITH SCORE 1220525.645
AT ITER 451 NEW BEST:: SOT 8579113 SOS 1508562 HAS SOPS 1508562 HAS SOUS 1218934 HAS SOUPS 1218934 WITH SCORE 1220442.562
AT ITER 455 NEW BEST:: SOT 8578988 SOS 1509038 HAS SOPS 1509038 HAS SOUS 1218759 HAS SOUPS 1218759 WITH SCORE 1220268.038
AT ITER 456 NEW BEST:: SOT 8578761 SOS 1508793 HAS SOPS 1508793 HAS SOUS 1218514 HAS SOUPS 1218514 WITH SCORE 1220022.793
AT ITER 459 NEW BEST:: SOT 8578638 SOS 1508535 HAS SOPS 1508535 HAS SOUS 1218256 HAS SOUPS 1218256 WITH SCORE 1219764.535
AT ITER 488 NEW BEST:: SOT 8578597 SOS 1508274 HAS SOPS 1508274 HAS SOUS 1218202 HAS SOUPS 1218202 WITH SCORE 1219710.274
AT ITER 489 NEW BEST:: SOT 8578552 SOS 1508229 HAS SOPS 1508229 HAS SOUS 1218156 HAS SOUPS 1218156 WITH SCORE 1219664.229
AT ITER 490 NEW BEST:: SOT 8578120 SOS 1508283 HAS SOPS 1508283 HAS SOUS 1218049 HAS SOUPS 1218049 WITH SCORE 1219557.283
AT ITER 493 NEW BEST:: SOT 8578119 SOS 1509259 HAS SOPS 1509259 HAS SOUS 1218047 HAS SOUPS 1218047 WITH SCORE 1219556.259
AT ITER 512 NEW BEST:: SOT 8577990 SOS 1508907 HAS SOPS 1508907 HAS SOUS 1217695 HAS SOUPS 1217695 WITH SCORE 1219203.907
AT ITER 539 NEW BEST:: SOT 8577973 SOS 1508890 HAS SOPS 1508890 HAS SOUS 1217678 HAS SOUPS 1217678 WITH SCORE 1219186.89
AT ITER 565 NEW BEST:: SOT 8577813 SOS 1509251 HAS SOPS 1509251 HAS SOUS 1217632 HAS SOUPS 1217632 WITH SCORE 1219141.251
AT ITER 572 NEW BEST:: SOT 8576929 SOS 1514633 HAS SOPS 1514633 HAS SOUS 1217241 HAS SOUPS 1217241 WITH SCORE 1218755.633
AT ITER 575 NEW BEST:: SOT 8573896 SOS 1515545 HAS SOPS 1515545 HAS SOUS 1214745 HAS SOUPS 1214745 WITH SCORE 1216260.545
AT ITER 638 NEW BEST:: SOT 8573754 SOS 1516375 HAS SOPS 1516375 HAS SOUS 1214566 HAS SOUPS 1214566 WITH SCORE 1216082.375
AT ITER 649 NEW BEST:: SOT 8573580 SOS 1516201 HAS SOPS 1516201 HAS SOUS 1214566 HAS SOUPS 1214566 WITH SCORE 1216082.201
AT ITER 672 NEW BEST:: SOT 8573152 SOS 1515345 HAS SOPS 1515345 HAS SOUS 1213710 HAS SOUPS 1213710 WITH SCORE 1215225.345
AT ITER 675 NEW BEST:: SOT 8573035 SOS 1514873 HAS SOPS 1514873 HAS SOUS 1213238 HAS SOUPS 1213238 WITH SCORE 1214752.873
AT ITER 729 NEW BEST:: SOT 8572836 SOS 1514617 HAS SOPS 1514617 HAS SOUS 1213174 HAS SOUPS 1213174 WITH SCORE 1214688.617
AT ITER 747 NEW BEST:: SOT 8572586 SOS 1514864 HAS SOPS 1514864 HAS SOUS 1213140 HAS SOUPS 1213140 WITH SCORE 1214654.864
AT ITER 749 NEW BEST:: SOT 8572365 SOS 1515592 HAS SOPS 1515592 HAS SOUS 1213103 HAS SOUPS 1213103 WITH SCORE 1214618.592
AT ITER 753 NEW BEST:: SOT 8572364 SOS 1515451 HAS SOPS 1515451 HAS SOUS 1213101 HAS SOUPS 1213101 WITH SCORE 1214616.451
AT ITER 758 NEW BEST:: SOT 8572196 SOS 1515115 HAS SOPS 1515115 HAS SOUS 1212765 HAS SOUPS 1212765 WITH SCORE 1214280.115
AT ITER 759 NEW BEST:: SOT 8572043 SOS 1514962 HAS SOPS 1514962 HAS SOUS 1212612 HAS SOUPS 1212612 WITH SCORE 1214126.962
AT ITER 775 NEW BEST:: SOT 8571407 SOS 1514076 HAS SOPS 1514076 HAS SOUS 1211726 HAS SOUPS 1211726 WITH SCORE 1213240.076
AT ITER 782 NEW BEST:: SOT 8571245 SOS 1513896 HAS SOPS 1513896 HAS SOUS 1211546 HAS SOUPS 1211546 WITH SCORE 1213059.896
AT ITER 786 NEW BEST:: SOT 8571188 SOS 1513839 HAS SOPS 1513839 HAS SOUS 1211488 HAS SOUPS 1211488 WITH SCORE 1213001.839
AT ITER 790 NEW BEST:: SOT 8571188 SOS 1513835 HAS SOPS 1513835 HAS SOUS 1211484 HAS SOUPS 1211484 WITH SCORE 1212997.835
AT ITER 801 NEW BEST:: SOT 8569443 SOS 1512682 HAS SOPS 1512682 HAS SOUS 1210002 HAS SOUPS 1210002 WITH SCORE 1211514.682
AT ITER 816 NEW BEST:: SOT 8569442 SOS 1512680 HAS SOPS 1512680 HAS SOUS 1210000 HAS SOUPS 1210000 WITH SCORE 1211512.68
AT ITER 819 NEW BEST:: SOT 8569440 SOS 1512678 HAS SOPS 1512678 HAS SOUS 1209998 HAS SOUPS 1209998 WITH SCORE 1211510.678
AT ITER 820 NEW BEST:: SOT 8568933 SOS 1512340 HAS SOPS 1512340 HAS SOUS 1209491 HAS SOUPS 1209491 WITH SCORE 1211003.34
AT ITER 825 NEW BEST:: SOT 8568827 SOS 1512290 HAS SOPS 1512290 HAS SOUS 1209441 HAS SOUPS 1209441 WITH SCORE 1210953.29
AT ITER 833 NEW BEST:: SOT 8568247 SOS 1512427 HAS SOPS 1512427 HAS SOUS 1209254 HAS SOUPS 1209254 WITH SCORE 1210766.427
AT ITER 858 NEW BEST:: SOT 8568247 SOS 1512435 HAS SOPS 1512435 HAS SOUS 1209236 HAS SOUPS 1209236 WITH SCORE 1210748.435
AT ITER 859 NEW BEST:: SOT 8567979 SOS 1512193 HAS SOPS 1512193 HAS SOUS 1208972 HAS SOUPS 1208972 WITH SCORE 1210484.193
AT ITER 860 NEW BEST:: SOT 8567651 SOS 1511657 HAS SOPS 1511657 HAS SOUS 1208436 HAS SOUPS 1208436 WITH SCORE 1209947.657
AT ITER 875 NEW BEST:: SOT 8567574 SOS 1511574 HAS SOPS 1511574 HAS SOUS 1208353 HAS SOUPS 1208353 WITH SCORE 1209864.574
AT ITER 921 NEW BEST:: SOT 8567511 SOS 1511511 HAS SOPS 1511511 HAS SOUS 1208352 HAS SOUPS 1208352 WITH SCORE 1209863.511
AT ITER 938 NEW BEST:: SOT 8567343 SOS 1512619 HAS SOPS 1512619 HAS SOUS 1207997 HAS SOUPS 1207997 WITH SCORE 1209509.619
AT ITER 945 NEW BEST:: SOT 8567343 SOS 1512617 HAS SOPS 1512617 HAS SOUS 1207995 HAS SOUPS 1207995 WITH SCORE 1209507.617
AT ITER 965 NEW BEST:: SOT 8567359 SOS 1512489 HAS SOPS 1512489 HAS SOUS 1207967 HAS SOUPS 1207967 WITH SCORE 1209479.489
AT ITER 977 NEW BEST:: SOT 8566597 SOS 1515368 HAS SOPS 1515368 HAS SOUS 1207734 HAS SOUPS 1207734 WITH SCORE 1209249.368
AT ITER 1002 NEW BEST:: SOT 8566482 SOS 1515138 HAS SOPS 1515138 HAS SOUS 1207617 HAS SOUPS 1207617 WITH SCORE 1209132.138
AT ITER 1016 NEW BEST:: SOT 8565980 SOS 1514589 HAS SOPS 1514589 HAS SOUS 1207099 HAS SOUPS 1207099 WITH SCORE 1208613.589
AT ITER 1020 NEW BEST:: SOT 8565894 SOS 1514159 HAS SOPS 1514159 HAS SOUS 1206927 HAS SOUPS 1206927 WITH SCORE 1208441.159
AT ITER 1027 NEW BEST:: SOT 8565895 SOS 1514082 HAS SOPS 1514082 HAS SOUS 1206571 HAS SOUPS 1206571 WITH SCORE 1208085.082
AT ITER 1037 NEW BEST:: SOT 8565636 SOS 1513623 HAS SOPS 1513623 HAS SOUS 1206098 HAS SOUPS 1206098 WITH SCORE 1207611.623
AT ITER 1039 NEW BEST:: SOT 8565579 SOS 1513584 HAS SOPS 1513584 HAS SOUS 1206059 HAS SOUPS 1206059 WITH SCORE 1207572.584
AT ITER 1043 NEW BEST:: SOT 8565579 SOS 1513361 HAS SOPS 1513361 HAS SOUS 1206058 HAS SOUPS 1206058 WITH SCORE 1207571.361
AT ITER 1121 NEW BEST:: SOT 8565579 SOS 1513337 HAS SOPS 1513337 HAS SOUS 1206034 HAS SOUPS 1206034 WITH SCORE 1207547.337
AT ITER 1130 NEW BEST:: SOT 8565579 SOS 1513210 HAS SOPS 1513210 HAS SOUS 1206034 HAS SOUPS 1206034 WITH SCORE 1207547.21
AT ITER 1137 NEW BEST:: SOT 8565578 SOS 1513208 HAS SOPS 1513208 HAS SOUS 1206032 HAS SOUPS 1206032 WITH SCORE 1207545.208
AT ITER 1139 NEW BEST:: SOT 8563907 SOS 1513335 HAS SOPS 1513335 HAS SOUS 1204624 HAS SOUPS 1204624 WITH SCORE 1206137.335
AT ITER 1152 NEW BEST:: SOT 8563457 SOS 1514276 HAS SOPS 1514276 HAS SOUS 1204038 HAS SOUPS 1204038 WITH SCORE 1205552.276
AT ITER 1167 NEW BEST:: SOT 8563266 SOS 1513894 HAS SOPS 1513894 HAS SOUS 1203656 HAS SOUPS 1203656 WITH SCORE 1205169.894
AT ITER 1213 NEW BEST:: SOT 8563265 SOS 1513716 HAS SOPS 1513716 HAS SOUS 1203654 HAS SOUPS 1203654 WITH SCORE 1205167.716
AT ITER 1224 NEW BEST:: SOT 8563097 SOS 1513274 HAS SOPS 1513274 HAS SOUS 1203382 HAS SOUPS 1203382 WITH SCORE 1204895.274
AT ITER 1229 NEW BEST:: SOT 8563097 SOS 1513274 HAS SOPS 1513274 HAS SOUS 1203379 HAS SOUPS 1203379 WITH SCORE 1204892.274
AT ITER 1231 NEW BEST:: SOT 8563043 SOS 1513208 HAS SOPS 1513208 HAS SOUS 1203312 HAS SOUPS 1203312 WITH SCORE 1204825.208
AT ITER 1258 NEW BEST:: SOT 8563022 SOS 1514143 HAS SOPS 1514143 HAS SOUS 1203260 HAS SOUPS 1203260 WITH SCORE 1204774.143
AT ITER 1306 NEW BEST:: SOT 8562976 SOS 1514050 HAS SOPS 1514050 HAS SOUS 1203167 HAS SOUPS 1203167 WITH SCORE 1204681.05
AT ITER 1318 NEW BEST:: SOT 8562944 SOS 1513702 HAS SOPS 1513702 HAS SOUS 1202819 HAS SOUPS 1202819 WITH SCORE 1204332.702
AT ITER 1330 NEW BEST:: SOT 8562944 SOS 1513652 HAS SOPS 1513652 HAS SOUS 1202819 HAS SOUPS 1202819 WITH SCORE 1204332.652
AT ITER 1350 NEW BEST:: SOT 8562748 SOS 1512842 HAS SOPS 1512842 HAS SOUS 1202316 HAS SOUPS 1202316 WITH SCORE 1203828.842
AT ITER 1351 NEW BEST:: SOT 8562748 SOS 1512783 HAS SOPS 1512783 HAS SOUS 1202257 HAS SOUPS 1202257 WITH SCORE 1203769.783
AT ITER 1353 NEW BEST:: SOT 8562748 SOS 1512730 HAS SOPS 1512730 HAS SOUS 1202204 HAS SOUPS 1202204 WITH SCORE 1203716.73
AT ITER 1399 NEW BEST:: SOT 8560453 SOS 1512457 HAS SOPS 1512457 HAS SOUS 1200239 HAS SOUPS 1200239 WITH SCORE 1201751.457
AT ITER 1414 NEW BEST:: SOT 8560413 SOS 1512417 HAS SOPS 1512417 HAS SOUS 1200199 HAS SOUPS 1200199 WITH SCORE 1201711.417
AT ITER 1425 NEW BEST:: SOT 8559006 SOS 1511163 HAS SOPS 1511163 HAS SOUS 1198792 HAS SOUPS 1198792 WITH SCORE 1200303.163
AT ITER 1433 NEW BEST:: SOT 8557596 SOS 1509753 HAS SOPS 1509753 HAS SOUS 1197382 HAS SOUPS 1197382 WITH SCORE 1198891.753
AT ITER 1443 NEW BEST:: SOT 8557430 SOS 1509587 HAS SOPS 1509587 HAS SOUS 1197216 HAS SOUPS 1197216 WITH SCORE 1198725.587
AT ITER 1462 NEW BEST:: SOT 8557429 SOS 1509412 HAS SOPS 1509412 HAS SOUS 1197041 HAS SOUPS 1197041 WITH SCORE 1198550.412
AT ITER 1474 NEW BEST:: SOT 8557293 SOS 1509379 HAS SOPS 1509379 HAS SOUS 1197008 HAS SOUPS 1197008 WITH SCORE 1198517.379
AT ITER 1486 NEW BEST:: SOT 8557250 SOS 1509449 HAS SOPS 1509449 HAS SOUS 1196917 HAS SOUPS 1196917 WITH SCORE 1198426.449
AT ITER 1513 NEW BEST:: SOT 8556827 SOS 1508649 HAS SOPS 1508649 HAS SOUS 1196497 HAS SOUPS 1196497 WITH SCORE 1198005.649
AT ITER 1525 NEW BEST:: SOT 8556827 SOS 1508648 HAS SOPS 1508648 HAS SOUS 1196496 HAS SOUPS 1196496 WITH SCORE 1198004.648
AT ITER 1529 NEW BEST:: SOT 8556742 SOS 1508562 HAS SOPS 1508562 HAS SOUS 1196410 HAS SOUPS 1196410 WITH SCORE 1197918.562
AT ITER 1569 NEW BEST:: SOT 8556742 SOS 1509059 HAS SOPS 1509059 HAS SOUS 1196403 HAS SOUPS 1196403 WITH SCORE 1197912.059
AT ITER 1571 NEW BEST:: SOT 8556457 SOS 1508485 HAS SOPS 1508485 HAS SOUS 1195829 HAS SOUPS 1195829 WITH SCORE 1197337.485
AT ITER 1576 NEW BEST:: SOT 8556270 SOS 1507924 HAS SOPS 1507924 HAS SOUS 1195268 HAS SOUPS 1195268 WITH SCORE 1196775.924
AT ITER 1714 NEW BEST:: SOT 8556236 SOS 1507890 HAS SOPS 1507890 HAS SOUS 1195234 HAS SOUPS 1195234 WITH SCORE 1196741.89
AT ITER 1747 NEW BEST:: SOT 8555664 SOS 1507032 HAS SOPS 1507032 HAS SOUS 1194370 HAS SOUPS 1194370 WITH SCORE 1195877.032
AT ITER 1760 NEW BEST:: SOT 8555664 SOS 1507032 HAS SOPS 1507032 HAS SOUS 1194368 HAS SOUPS 1194368 WITH SCORE 1195875.032
AT ITER 1761 NEW BEST:: SOT 8555558 SOS 1506979 HAS SOPS 1506979 HAS SOUS 1194251 HAS SOUPS 1194251 WITH SCORE 1195757.979
AT ITER 1767 NEW BEST:: SOT 8555254 SOS 1506546 HAS SOPS 1506546 HAS SOUS 1193818 HAS SOUPS 1193818 WITH SCORE 1195324.546
AT ITER 1771 NEW BEST:: SOT 8555413 SOS 1506383 HAS SOPS 1506383 HAS SOUS 1193655 HAS SOUPS 1193655 WITH SCORE 1195161.383
AT ITER 1776 NEW BEST:: SOT 8555244 SOS 1506213 HAS SOPS 1506213 HAS SOUS 1193482 HAS SOUPS 1193482 WITH SCORE 1194988.213
AT ITER 1778 NEW BEST:: SOT 8555233 SOS 1506202 HAS SOPS 1506202 HAS SOUS 1193471 HAS SOUPS 1193471 WITH SCORE 1194977.202
AT ITER 1796 NEW BEST:: SOT 8554140 SOS 1505799 HAS SOPS 1505799 HAS SOUS 1192845 HAS SOUPS 1192845 WITH SCORE 1194350.799
AT ITER 1867 NEW BEST:: SOT 8554055 SOS 1505627 HAS SOPS 1505627 HAS SOUS 1192674 HAS SOUPS 1192674 WITH SCORE 1194179.627
AT ITER 1885 NEW BEST:: SOT 8551871 SOS 1515892 HAS SOPS 1515892 HAS SOUS 1191794 HAS SOUPS 1191794 WITH SCORE 1193309.892
AT ITER 2057 NEW BEST:: SOT 8551821 SOS 1515692 HAS SOPS 1515692 HAS SOUS 1191690 HAS SOUPS 1191690 WITH SCORE 1193205.692
AT ITER 2060 NEW BEST:: SOT 8551735 SOS 1515514 HAS SOPS 1515514 HAS SOUS 1191597 HAS SOUPS 1191597 WITH SCORE 1193112.514
AT ITER 2063 NEW BEST:: SOT 8551394 SOS 1515135 HAS SOPS 1515135 HAS SOUS 1191213 HAS SOUPS 1191213 WITH SCORE 1192728.135
AT ITER 2085 NEW BEST:: SOT 8551217 SOS 1514604 HAS SOPS 1514604 HAS SOUS 1190857 HAS SOUPS 1190857 WITH SCORE 1192371.604
AT ITER 2091 NEW BEST:: SOT 8551216 SOS 1514420 HAS SOPS 1514420 HAS SOUS 1190855 HAS SOUPS 1190855 WITH SCORE 1192369.42
AT ITER 2108 NEW BEST:: SOT 8551216 SOS 1514375 HAS SOPS 1514375 HAS SOUS 1190810 HAS SOUPS 1190810 WITH SCORE 1192324.375
AT ITER 2129 NEW BEST:: SOT 8551216 SOS 1514354 HAS SOPS 1514354 HAS SOUS 1190789 HAS SOUPS 1190789 WITH SCORE 1192303.354
AT ITER 2166 NEW BEST:: SOT 8551097 SOS 1514338 HAS SOPS 1514338 HAS SOUS 1190773 HAS SOUPS 1190773 WITH SCORE 1192287.338
AT ITER 2207 NEW BEST:: SOT 8551097 SOS 1514879 HAS SOPS 1514879 HAS SOUS 1190740 HAS SOUPS 1190740 WITH SCORE 1192254.879
AT ITER 2215 NEW BEST:: SOT 8551097 SOS 1514879 HAS SOPS 1514879 HAS SOUS 1190739 HAS SOUPS 1190739 WITH SCORE 1192253.879
AT ITER 2221 NEW BEST:: SOT 8551097 SOS 1514808 HAS SOPS 1514808 HAS SOUS 1190668 HAS SOUPS 1190668 WITH SCORE 1192182.808
AT ITER 2236 NEW BEST:: SOT 8551097 SOS 1514807 HAS SOPS 1514807 HAS SOUS 1190667 HAS SOUPS 1190667 WITH SCORE 1192181.807
AT ITER 2351 NEW BEST:: SOT 8551033 SOS 1514750 HAS SOPS 1514750 HAS SOUS 1190610 HAS SOUPS 1190610 WITH SCORE 1192124.75
AT ITER 2372 NEW BEST:: SOT 8549930 SOS 1513781 HAS SOPS 1513781 HAS SOUS 1189373 HAS SOUPS 1189373 WITH SCORE 1190886.781
AT ITER 2384 NEW BEST:: SOT 8549930 SOS 1513695 HAS SOPS 1513695 HAS SOUS 1189373 HAS SOUPS 1189373 WITH SCORE 1190886.695
AT ITER 2385 NEW BEST:: SOT 8549725 SOS 1513460 HAS SOPS 1513460 HAS SOUS 1189178 HAS SOUPS 1189178 WITH SCORE 1190691.46
AT ITER 2389 NEW BEST:: SOT 8549486 SOS 1513221 HAS SOPS 1513221 HAS SOUS 1188222 HAS SOUPS 1188222 WITH SCORE 1189735.221
AT ITER 2397 NEW BEST:: SOT 8549486 SOS 1513173 HAS SOPS 1513173 HAS SOUS 1188219 HAS SOUPS 1188219 WITH SCORE 1189732.173
AT ITER 2422 NEW BEST:: SOT 8549486 SOS 1513185 HAS SOPS 1513185 HAS SOUS 1188207 HAS SOUPS 1188207 WITH SCORE 1189720.185
AT ITER 2488 NEW BEST:: SOT 8549217 SOS 1513124 HAS SOPS 1513124 HAS SOUS 1188146 HAS SOUPS 1188146 WITH SCORE 1189659.124
AT ITER 2499 NEW BEST:: SOT 8548925 SOS 1512954 HAS SOPS 1512954 HAS SOUS 1187973 HAS SOUPS 1187973 WITH SCORE 1189485.954
AT ITER 2512 NEW BEST:: SOT 8548658 SOS 1512776 HAS SOPS 1512776 HAS SOUS 1187795 HAS SOUPS 1187795 WITH SCORE 1189307.776
AT ITER 2517 NEW BEST:: SOT 8548623 SOS 1512688 HAS SOPS 1512688 HAS SOUS 1187742 HAS SOUPS 1187742 WITH SCORE 1189254.688
AT ITER 2530 NEW BEST:: SOT 8547021 SOS 1516603 HAS SOPS 1516603 HAS SOUS 1187048 HAS SOUPS 1187048 WITH SCORE 1188564.603
AT ITER 2578 NEW BEST:: SOT 8546856 SOS 1516432 HAS SOPS 1516432 HAS SOUS 1187017 HAS SOUPS 1187017 WITH SCORE 1188533.432
AT ITER 2590 NEW BEST:: SOT 8546811 SOS 1516372 HAS SOPS 1516372 HAS SOUS 1186956 HAS SOUPS 1186956 WITH SCORE 1188472.372
AT ITER 2595 NEW BEST:: SOT 8546800 SOS 1516339 HAS SOPS 1516339 HAS SOUS 1186923 HAS SOUPS 1186923 WITH SCORE 1188439.339
AT ITER 2675 NEW BEST:: SOT 8546800 SOS 1517723 HAS SOPS 1517723 HAS SOUS 1186893 HAS SOUPS 1186893 WITH SCORE 1188410.723
AT ITER 2677 NEW BEST:: SOT 8546800 SOS 1517722 HAS SOPS 1517722 HAS SOUS 1186892 HAS SOUPS 1186892 WITH SCORE 1188409.722
AT ITER 2733 NEW BEST:: SOT 8546800 SOS 1517835 HAS SOPS 1517835 HAS SOUS 1186885 HAS SOUPS 1186885 WITH SCORE 1188402.835
AT ITER 2757 NEW BEST:: SOT 8546800 SOS 1517822 HAS SOPS 1517822 HAS SOUS 1186872 HAS SOUPS 1186872 WITH SCORE 1188389.822
AT ITER 2774 NEW BEST:: SOT 8546080 SOS 1517879 HAS SOPS 1517879 HAS SOUS 1186152 HAS SOUPS 1186152 WITH SCORE 1187669.879
AT ITER 2780 NEW BEST:: SOT 8544880 SOS 1516759 HAS SOPS 1516759 HAS SOUS 1186072 HAS SOUPS 1186072 WITH SCORE 1187588.759
AT ITER 2801 NEW BEST:: SOT 8544880 SOS 1516619 HAS SOPS 1516619 HAS SOUS 1186071 HAS SOUPS 1186071 WITH SCORE 1187587.619
AT ITER 2832 NEW BEST:: SOT 8544705 SOS 1516570 HAS SOPS 1516570 HAS SOUS 1185998 HAS SOUPS 1185998 WITH SCORE 1187514.57
AT ITER 2837 NEW BEST:: SOT 8544524 SOS 1516208 HAS SOPS 1516208 HAS SOUS 1185817 HAS SOUPS 1185817 WITH SCORE 1187333.208
AT ITER 2843 NEW BEST:: SOT 8544387 SOS 1516071 HAS SOPS 1516071 HAS SOUS 1184584 HAS SOUPS 1184584 WITH SCORE 1186100.071
AT ITER 2852 NEW BEST:: SOT 8544552 SOS 1515851 HAS SOPS 1515851 HAS SOUS 1184364 HAS SOUPS 1184364 WITH SCORE 1185879.851
AT ITER 2858 NEW BEST:: SOT 8544544 SOS 1515835 HAS SOPS 1515835 HAS SOUS 1184356 HAS SOUPS 1184356 WITH SCORE 1185871.835
AT ITER 2871 NEW BEST:: SOT 8544238 SOS 1515611 HAS SOPS 1515611 HAS SOUS 1184132 HAS SOUPS 1184132 WITH SCORE 1185647.611
AT ITER 2886 NEW BEST:: SOT 8543710 SOS 1515109 HAS SOPS 1515109 HAS SOUS 1183630 HAS SOUPS 1183630 WITH SCORE 1185145.109
AT ITER 2898 NEW BEST:: SOT 8543524 SOS 1515000 HAS SOPS 1515000 HAS SOUS 1183521 HAS SOUPS 1183521 WITH SCORE 1185036.0
AT ITER 2929 NEW BEST:: SOT 8543524 SOS 1514900 HAS SOPS 1514900 HAS SOUS 1183520 HAS SOUPS 1183520 WITH SCORE 1185034.9
AT ITER 2957 NEW BEST:: SOT 8543413 SOS 1514789 HAS SOPS 1514789 HAS SOUS 1183409 HAS SOUPS 1183409 WITH SCORE 1184923.789
AT ITER 2977 NEW BEST:: SOT 8543297 SOS 1514673 HAS SOPS 1514673 HAS SOUS 1183293 HAS SOUPS 1183293 WITH SCORE 1184807.673
AT ITER 3006 NEW BEST:: SOT 8543296 SOS 1514671 HAS SOPS 1514671 HAS SOUS 1183291 HAS SOUPS 1183291 WITH SCORE 1184805.671
AT ITER 3025 NEW BEST:: SOT 8543177 SOS 1513997 HAS SOPS 1513997 HAS SOUS 1183051 HAS SOUPS 1183051 WITH SCORE 1184564.997
AT ITER 3054 NEW BEST:: SOT 8543109 SOS 1513861 HAS SOPS 1513861 HAS SOUS 1182983 HAS SOUPS 1182983 WITH SCORE 1184496.861
AT ITER 3095 NEW BEST:: SOT 8543109 SOS 1513785 HAS SOPS 1513785 HAS SOUS 1182907 HAS SOUPS 1182907 WITH SCORE 1184420.785
AT ITER 3099 NEW BEST:: SOT 8543053 SOS 1513728 HAS SOPS 1513728 HAS SOUS 1182849 HAS SOUPS 1182849 WITH SCORE 1184362.728
AT ITER 3108 NEW BEST:: SOT 8540853 SOS 1511569 HAS SOPS 1511569 HAS SOUS 1180669 HAS SOUPS 1180669 WITH SCORE 1182180.569
AT ITER 3141 NEW BEST:: SOT 8541010 SOS 1511724 HAS SOPS 1511724 HAS SOUS 1180667 HAS SOUPS 1180667 WITH SCORE 1182178.724
AT ITER 3149 NEW BEST:: SOT 8540991 SOS 1511705 HAS SOPS 1511705 HAS SOUS 1180629 HAS SOUPS 1180629 WITH SCORE 1182140.705
AT ITER 3177 NEW BEST:: SOT 8540862 SOS 1511576 HAS SOPS 1511576 HAS SOUS 1180442 HAS SOUPS 1180442 WITH SCORE 1181953.576
AT ITER 3183 NEW BEST:: SOT 8540835 SOS 1511549 HAS SOPS 1511549 HAS SOUS 1180415 HAS SOUPS 1180415 WITH SCORE 1181926.549
AT ITER 3200 NEW BEST:: SOT 8540803 SOS 1511453 HAS SOPS 1511453 HAS SOUS 1180351 HAS SOUPS 1180351 WITH SCORE 1181862.453
AT ITER 3215 NEW BEST:: SOT 8540803 SOS 1511299 HAS SOPS 1511299 HAS SOUS 1180346 HAS SOUPS 1180346 WITH SCORE 1181857.299
AT ITER 3239 NEW BEST:: SOT 8540803 SOS 1511166 HAS SOPS 1511166 HAS SOUS 1180346 HAS SOUPS 1180346 WITH SCORE 1181857.166
AT ITER 3253 NEW BEST:: SOT 8540759 SOS 1511030 HAS SOPS 1511030 HAS SOUS 1180210 HAS SOUPS 1180210 WITH SCORE 1181721.03
AT ITER 3287 NEW BEST:: SOT 8540575 SOS 1510660 HAS SOPS 1510660 HAS SOUS 1180024 HAS SOUPS 1180024 WITH SCORE 1181534.66
AT ITER 3294 NEW BEST:: SOT 8540054 SOS 1510582 HAS SOPS 1510582 HAS SOUS 1179832 HAS SOUPS 1179832 WITH SCORE 1181342.582
AT ITER 3306 NEW BEST:: SOT 8539778 SOS 1510440 HAS SOPS 1510440 HAS SOUS 1179690 HAS SOUPS 1179690 WITH SCORE 1181200.44
AT ITER 3337 NEW BEST:: SOT 8539635 SOS 1510154 HAS SOPS 1510154 HAS SOUS 1179329 HAS SOUPS 1179329 WITH SCORE 1180839.154
AT ITER 3347 NEW BEST:: SOT 8539385 SOS 1509874 HAS SOPS 1509874 HAS SOUS 1179079 HAS SOUPS 1179079 WITH SCORE 1180588.874
AT ITER 3385 NEW BEST:: SOT 8539273 SOS 1509730 HAS SOPS 1509730 HAS SOUS 1179063 HAS SOUPS 1179063 WITH SCORE 1180572.73
AT ITER 3387 NEW BEST:: SOT 8539000 SOS 1509457 HAS SOPS 1509457 HAS SOUS 1178790 HAS SOUPS 1178790 WITH SCORE 1180299.457
AT ITER 3393 NEW BEST:: SOT 8538971 SOS 1509395 HAS SOPS 1509395 HAS SOUS 1178665 HAS SOUPS 1178665 WITH SCORE 1180174.395
AT ITER 3416 NEW BEST:: SOT 8538491 SOS 1508915 HAS SOPS 1508915 HAS SOUS 1178185 HAS SOUPS 1178185 WITH SCORE 1179693.915
AT ITER 3430 NEW BEST:: SOT 8538455 SOS 1508583 HAS SOPS 1508583 HAS SOUS 1178016 HAS SOUPS 1178016 WITH SCORE 1179524.583
AT ITER 3443 NEW BEST:: SOT 8538554 SOS 1508153 HAS SOPS 1508153 HAS SOUS 1177690 HAS SOUPS 1177690 WITH SCORE 1179198.153
AT ITER 3453 NEW BEST:: SOT 8538553 SOS 1508151 HAS SOPS 1508151 HAS SOUS 1177688 HAS SOUPS 1177688 WITH SCORE 1179196.151
AT ITER 3467 NEW BEST:: SOT 8538511 SOS 1508067 HAS SOPS 1508067 HAS SOUS 1177604 HAS SOUPS 1177604 WITH SCORE 1179112.067
AT ITER 3478 NEW BEST:: SOT 8538511 SOS 1508040 HAS SOPS 1508040 HAS SOUS 1177577 HAS SOUPS 1177577 WITH SCORE 1179085.04
AT ITER 3494 NEW BEST:: SOT 8538278 SOS 1508597 HAS SOPS 1508597 HAS SOUS 1176811 HAS SOUPS 1176811 WITH SCORE 1178319.597
AT ITER 3501 NEW BEST:: SOT 8537863 SOS 1508181 HAS SOPS 1508181 HAS SOUS 1176395 HAS SOUPS 1176395 WITH SCORE 1177903.181
AT ITER 3503 NEW BEST:: SOT 8537861 SOS 1508179 HAS SOPS 1508179 HAS SOUS 1176391 HAS SOUPS 1176391 WITH SCORE 1177899.179
AT ITER 3521 NEW BEST:: SOT 8535971 SOS 1506667 HAS SOPS 1506667 HAS SOUS 1174879 HAS SOUPS 1174879 WITH SCORE 1176385.667
AT ITER 3537 NEW BEST:: SOT 8535970 SOS 1506666 HAS SOPS 1506666 HAS SOUS 1174879 HAS SOUPS 1174879 WITH SCORE 1176385.666
AT ITER 3563 NEW BEST:: SOT 8535833 SOS 1506254 HAS SOPS 1506254 HAS SOUS 1174604 HAS SOUPS 1174604 WITH SCORE 1176110.254
AT ITER 3588 NEW BEST:: SOT 8535798 SOS 1506103 HAS SOPS 1506103 HAS SOUS 1174425 HAS SOUPS 1174425 WITH SCORE 1175931.103
AT ITER 3596 NEW BEST:: SOT 8535820 SOS 1505878 HAS SOPS 1505878 HAS SOUS 1174200 HAS SOUPS 1174200 WITH SCORE 1175705.878
AT ITER 3613 NEW BEST:: SOT 8535756 SOS 1505814 HAS SOPS 1505814 HAS SOUS 1174184 HAS SOUPS 1174184 WITH SCORE 1175689.814
AT ITER 3622 NEW BEST:: SOT 8535642 SOS 1505681 HAS SOPS 1505681 HAS SOUS 1174051 HAS SOUPS 1174051 WITH SCORE 1175556.681
AT ITER 3730 NEW BEST:: SOT 8535641 SOS 1505678 HAS SOPS 1505678 HAS SOUS 1174048 HAS SOUPS 1174048 WITH SCORE 1175553.678
AT ITER 3755 NEW BEST:: SOT 8535542 SOS 1505273 HAS SOPS 1505273 HAS SOUS 1173850 HAS SOUPS 1173850 WITH SCORE 1175355.273
AT ITER 3768 NEW BEST:: SOT 8535515 SOS 1505218 HAS SOPS 1505218 HAS SOUS 1173814 HAS SOUPS 1173814 WITH SCORE 1175319.218
AT ITER 3779 NEW BEST:: SOT 8535309 SOS 1505119 HAS SOPS 1505119 HAS SOUS 1173715 HAS SOUPS 1173715 WITH SCORE 1175220.119
AT ITER 3814 NEW BEST:: SOT 8535309 SOS 1504906 HAS SOPS 1504906 HAS SOUS 1173715 HAS SOUPS 1173715 WITH SCORE 1175219.906
AT ITER 3821 NEW BEST:: SOT 8535027 SOS 1503891 HAS SOPS 1503891 HAS SOUS 1173151 HAS SOUPS 1173151 WITH SCORE 1174654.891
AT ITER 3823 NEW BEST:: SOT 8534823 SOS 1503874 HAS SOPS 1503874 HAS SOUS 1173134 HAS SOUPS 1173134 WITH SCORE 1174637.874
AT ITER 3853 NEW BEST:: SOT 8534804 SOS 1503836 HAS SOPS 1503836 HAS SOUS 1173096 HAS SOUPS 1173096 WITH SCORE 1174599.836
AT ITER 3871 NEW BEST:: SOT 8534680 SOS 1503588 HAS SOPS 1503588 HAS SOUS 1172848 HAS SOUPS 1172848 WITH SCORE 1174351.588
AT ITER 3920 NEW BEST:: SOT 8534544 SOS 1503669 HAS SOPS 1503669 HAS SOUS 1172829 HAS SOUPS 1172829 WITH SCORE 1174332.669
AT ITER 3953 NEW BEST:: SOT 8534696 SOS 1503410 HAS SOPS 1503410 HAS SOUS 1172721 HAS SOUPS 1172721 WITH SCORE 1174224.41
AT ITER 3960 NEW BEST:: SOT 8534619 SOS 1503256 HAS SOPS 1503256 HAS SOUS 1172567 HAS SOUPS 1172567 WITH SCORE 1174070.256
AT ITER 3982 NEW BEST:: SOT 8533538 SOS 1502969 HAS SOPS 1502969 HAS SOUS 1171918 HAS SOUPS 1171918 WITH SCORE 1173420.969
AT ITER 4007 NEW BEST:: SOT 8533165 SOS 1502404 HAS SOPS 1502404 HAS SOUS 1171308 HAS SOUPS 1171308 WITH SCORE 1172810.404
AT ITER 4037 NEW BEST:: SOT 8533165 SOS 1502135 HAS SOPS 1502135 HAS SOUS 1171039 HAS SOUPS 1171039 WITH SCORE 1172541.135
AT ITER 4039 NEW BEST:: SOT 8532450 SOS 1502094 HAS SOPS 1502094 HAS SOUS 1170534 HAS SOUPS 1170534 WITH SCORE 1172036.094
AT ITER 4052 NEW BEST:: SOT 8532225 SOS 1502483 HAS SOPS 1502483 HAS SOUS 1170460 HAS SOUPS 1170460 WITH SCORE 1171962.483
AT ITER 4074 NEW BEST:: SOT 8532265 SOS 1501172 HAS SOPS 1501172 HAS SOUS 1170326 HAS SOUPS 1170326 WITH SCORE 1171827.172
AT ITER 4087 NEW BEST:: SOT 8532260 SOS 1501162 HAS SOPS 1501162 HAS SOUS 1170321 HAS SOUPS 1170321 WITH SCORE 1171822.162
AT ITER 4092 NEW BEST:: SOT 8532260 SOS 1501103 HAS SOPS 1501103 HAS SOUS 1170262 HAS SOUPS 1170262 WITH SCORE 1171763.103
AT ITER 4095 NEW BEST:: SOT 8532141 SOS 1500657 HAS SOPS 1500657 HAS SOUS 1170040 HAS SOUPS 1170040 WITH SCORE 1171540.657
AT ITER 4123 NEW BEST:: SOT 8531176 SOS 1500193 HAS SOPS 1500193 HAS SOUS 1169262 HAS SOUPS 1169262 WITH SCORE 1170762.193
AT ITER 4134 NEW BEST:: SOT 8531918 SOS 1501118 HAS SOPS 1501118 HAS SOUS 1167495 HAS SOUPS 1167495 WITH SCORE 1168996.118
AT ITER 4148 NEW BEST:: SOT 8531917 SOS 1501116 HAS SOPS 1501116 HAS SOUS 1167493 HAS SOUPS 1167493 WITH SCORE 1168994.116
AT ITER 4159 NEW BEST:: SOT 8531851 SOS 1501072 HAS SOPS 1501072 HAS SOUS 1167449 HAS SOUPS 1167449 WITH SCORE 1168950.072
AT ITER 4205 NEW BEST:: SOT 8531851 SOS 1500906 HAS SOPS 1500906 HAS SOUS 1167449 HAS SOUPS 1167449 WITH SCORE 1168949.906
AT ITER 4213 NEW BEST:: SOT 8531851 SOS 1500561 HAS SOPS 1500561 HAS SOUS 1167449 HAS SOUPS 1167449 WITH SCORE 1168949.561
AT ITER 4258 NEW BEST:: SOT 8532884 SOS 1502563 HAS SOPS 1502563 HAS SOUS 1166621 HAS SOUPS 1166621 WITH SCORE 1168123.563
AT ITER 4261 NEW BEST:: SOT 8532884 SOS 1502561 HAS SOPS 1502561 HAS SOUS 1166208 HAS SOUPS 1166208 WITH SCORE 1167710.561
AT ITER 4311 NEW BEST:: SOT 8532990 SOS 1502596 HAS SOPS 1502596 HAS SOUS 1166037 HAS SOUPS 1166037 WITH SCORE 1167539.596
AT ITER 4313 NEW BEST:: SOT 8532950 SOS 1502396 HAS SOPS 1502396 HAS SOUS 1165957 HAS SOUPS 1165957 WITH SCORE 1167459.396
AT ITER 4357 NEW BEST:: SOT 8532950 SOS 1502366 HAS SOPS 1502366 HAS SOUS 1165956 HAS SOUPS 1165956 WITH SCORE 1167458.366
AT ITER 4378 NEW BEST:: SOT 8532939 SOS 1502354 HAS SOPS 1502354 HAS SOUS 1165944 HAS SOUPS 1165944 WITH SCORE 1167446.354
AT ITER 4388 NEW BEST:: SOT 8532761 SOS 1502155 HAS SOPS 1502155 HAS SOUS 1165438 HAS SOUPS 1165438 WITH SCORE 1166940.155
AT ITER 4461 NEW BEST:: SOT 8532454 SOS 1501731 HAS SOPS 1501731 HAS SOUS 1165014 HAS SOUPS 1165014 WITH SCORE 1166515.731
AT ITER 4478 NEW BEST:: SOT 8531632 SOS 1501032 HAS SOPS 1501032 HAS SOUS 1164234 HAS SOUPS 1164234 WITH SCORE 1165735.032
AT ITER 4495 NEW BEST:: SOT 8531592 SOS 1500752 HAS SOPS 1500752 HAS SOUS 1164114 HAS SOUPS 1164114 WITH SCORE 1165614.752
AT ITER 4535 NEW BEST:: SOT 8531592 SOS 1500679 HAS SOPS 1500679 HAS SOUS 1164041 HAS SOUPS 1164041 WITH SCORE 1165541.679
AT ITER 4540 NEW BEST:: SOT 8531584 SOS 1500663 HAS SOPS 1500663 HAS SOUS 1164025 HAS SOUPS 1164025 WITH SCORE 1165525.663
AT ITER 4546 NEW BEST:: SOT 8531471 SOS 1502467 HAS SOPS 1502467 HAS SOUS 1164011 HAS SOUPS 1164011 WITH SCORE 1165513.467
AT ITER 4580 NEW BEST:: SOT 8531365 SOS 1502408 HAS SOPS 1502408 HAS SOUS 1163649 HAS SOUPS 1163649 WITH SCORE 1165151.408
AT ITER 4587 NEW BEST:: SOT 8531115 SOS 1502408 HAS SOPS 1502408 HAS SOUS 1163467 HAS SOUPS 1163467 WITH SCORE 1164969.408
AT ITER 4625 NEW BEST:: SOT 8531097 SOS 1502389 HAS SOPS 1502389 HAS SOUS 1163448 HAS SOUPS 1163448 WITH SCORE 1164950.389
AT ITER 4684 NEW BEST:: SOT 8530959 SOS 1502113 HAS SOPS 1502113 HAS SOUS 1163172 HAS SOUPS 1163172 WITH SCORE 1164674.113
AT ITER 4703 NEW BEST:: SOT 8530804 SOS 1500823 HAS SOPS 1500823 HAS SOUS 1162858 HAS SOUPS 1162858 WITH SCORE 1164358.823
AT ITER 4743 NEW BEST:: SOT 8530538 SOS 1499916 HAS SOPS 1499916 HAS SOUS 1161069 HAS SOUPS 1161069 WITH SCORE 1162568.916
AT ITER 4819 NEW BEST:: SOT 8530471 SOS 1499797 HAS SOPS 1499797 HAS SOUS 1160984 HAS SOUPS 1160984 WITH SCORE 1162483.797
AT ITER 4856 NEW BEST:: SOT 8530053 SOS 1499304 HAS SOPS 1499304 HAS SOUS 1160491 HAS SOUPS 1160491 WITH SCORE 1161990.304
AT ITER 4876 NEW BEST:: SOT 8529930 SOS 1499058 HAS SOPS 1499058 HAS SOUS 1160245 HAS SOUPS 1160245 WITH SCORE 1161744.058
AT ITER 4886 NEW BEST:: SOT 8529930 SOS 1498820 HAS SOPS 1498820 HAS SOUS 1160242 HAS SOUPS 1160242 WITH SCORE 1161740.82
AT ITER 4897 NEW BEST:: SOT 8529916 SOS 1498657 HAS SOPS 1498657 HAS SOUS 1160079 HAS SOUPS 1160079 WITH SCORE 1161577.657
AT ITER 4903 NEW BEST:: SOT 8529673 SOS 1498428 HAS SOPS 1498428 HAS SOUS 1160079 HAS SOUPS 1160079 WITH SCORE 1161577.428
AT ITER 4905 NEW BEST:: SOT 8529672 SOS 1498426 HAS SOPS 1498426 HAS SOUS 1160077 HAS SOUPS 1160077 WITH SCORE 1161575.426
AT ITER 4911 NEW BEST:: SOT 8529576 SOS 1498330 HAS SOPS 1498330 HAS SOUS 1159981 HAS SOUPS 1159981 WITH SCORE 1161479.33
AT ITER 4987 NEW BEST:: SOT 8529445 SOS 1498195 HAS SOPS 1498195 HAS SOUS 1159849 HAS SOUPS 1159849 WITH SCORE 1161347.195
AT ITER 5019 NEW BEST:: SOT 8529363 SOS 1498031 HAS SOPS 1498031 HAS SOUS 1159763 HAS SOUPS 1159763 WITH SCORE 1161261.031
AT ITER 5020 NEW BEST:: SOT 8529006 SOS 1497457 HAS SOPS 1497457 HAS SOUS 1159323 HAS SOUPS 1159323 WITH SCORE 1160820.457
AT ITER 5034 NEW BEST:: SOT 8529006 SOS 1497419 HAS SOPS 1497419 HAS SOUS 1159285 HAS SOUPS 1159285 WITH SCORE 1160782.419
AT ITER 5048 NEW BEST:: SOT 8529005 SOS 1497418 HAS SOPS 1497418 HAS SOUS 1159283 HAS SOUPS 1159283 WITH SCORE 1160780.418
AT ITER 5051 NEW BEST:: SOT 8528730 SOS 1497043 HAS SOPS 1497043 HAS SOUS 1158833 HAS SOUPS 1158833 WITH SCORE 1160330.043
AT ITER 5072 NEW BEST:: SOT 8528305 SOS 1496618 HAS SOPS 1496618 HAS SOUS 1158408 HAS SOUPS 1158408 WITH SCORE 1159904.618
AT ITER 5076 NEW BEST:: SOT 8528305 SOS 1496512 HAS SOPS 1496512 HAS SOUS 1158302 HAS SOUPS 1158302 WITH SCORE 1159798.512
AT ITER 5090 NEW BEST:: SOT 8528305 SOS 1496503 HAS SOPS 1496503 HAS SOUS 1158293 HAS SOUPS 1158293 WITH SCORE 1159789.503
AT ITER 5093 NEW BEST:: SOT 8528261 SOS 1496171 HAS SOPS 1496171 HAS SOUS 1157961 HAS SOUPS 1157961 WITH SCORE 1159457.171
AT ITER 5106 NEW BEST:: SOT 8528261 SOS 1496170 HAS SOPS 1496170 HAS SOUS 1157960 HAS SOUPS 1157960 WITH SCORE 1159456.17
AT ITER 5122 NEW BEST:: SOT 8528218 SOS 1496084 HAS SOPS 1496084 HAS SOUS 1157910 HAS SOUPS 1157910 WITH SCORE 1159406.084
AT ITER 5126 NEW BEST:: SOT 8527586 SOS 1495478 HAS SOPS 1495478 HAS SOUS 1157278 HAS SOUPS 1157278 WITH SCORE 1158773.478
AT ITER 5133 NEW BEST:: SOT 8527498 SOS 1495302 HAS SOPS 1495302 HAS SOUS 1157102 HAS SOUPS 1157102 WITH SCORE 1158597.302
AT ITER 5140 NEW BEST:: SOT 8527468 SOS 1495242 HAS SOPS 1495242 HAS SOUS 1157071 HAS SOUPS 1157071 WITH SCORE 1158566.242
AT ITER 5246 NEW BEST:: SOT 8527468 SOS 1495106 HAS SOPS 1495106 HAS SOUS 1157069 HAS SOUPS 1157069 WITH SCORE 1158564.106
AT ITER 5252 NEW BEST:: SOT 8527440 SOS 1495050 HAS SOPS 1495050 HAS SOUS 1157013 HAS SOUPS 1157013 WITH SCORE 1158508.05
AT ITER 5297 NEW BEST:: SOT 8527139 SOS 1494448 HAS SOPS 1494448 HAS SOUS 1156411 HAS SOUPS 1156411 WITH SCORE 1157905.448
AT ITER 5306 NEW BEST:: SOT 8527028 SOS 1494190 HAS SOPS 1494190 HAS SOUS 1156175 HAS SOUPS 1156175 WITH SCORE 1157669.19
AT ITER 5311 NEW BEST:: SOT 8526517 SOS 1495134 HAS SOPS 1495134 HAS SOUS 1155453 HAS SOUPS 1155453 WITH SCORE 1156948.134
AT ITER 5339 NEW BEST:: SOT 8526479 SOS 1495058 HAS SOPS 1495058 HAS SOUS 1155407 HAS SOUPS 1155407 WITH SCORE 1156902.058
AT ITER 5341 NEW BEST:: SOT 8526309 SOS 1494718 HAS SOPS 1494718 HAS SOUS 1155067 HAS SOUPS 1155067 WITH SCORE 1156561.718
AT ITER 5359 NEW BEST:: SOT 8526234 SOS 1494479 HAS SOPS 1494479 HAS SOUS 1154916 HAS SOUPS 1154916 WITH SCORE 1156410.479
AT ITER 5379 NEW BEST:: SOT 8526174 SOS 1494476 HAS SOPS 1494476 HAS SOUS 1154913 HAS SOUPS 1154913 WITH SCORE 1156407.476
AT ITER 5395 NEW BEST:: SOT 8528165 SOS 1496819 HAS SOPS 1496819 HAS SOUS 1154448 HAS SOUPS 1154448 WITH SCORE 1155944.819
AT ITER 5397 NEW BEST:: SOT 8527903 SOS 1499270 HAS SOPS 1499270 HAS SOUS 1154399 HAS SOUPS 1154399 WITH SCORE 1155898.27
AT ITER 5426 NEW BEST:: SOT 8527828 SOS 1499120 HAS SOPS 1499120 HAS SOUS 1154324 HAS SOUPS 1154324 WITH SCORE 1155823.12
AT ITER 5430 NEW BEST:: SOT 8527754 SOS 1499007 HAS SOPS 1499007 HAS SOUS 1154249 HAS SOUPS 1154249 WITH SCORE 1155748.007
AT ITER 5436 NEW BEST:: SOT 8527581 SOS 1498372 HAS SOPS 1498372 HAS SOUS 1153901 HAS SOUPS 1153901 WITH SCORE 1155399.372
AT ITER 5439 NEW BEST:: SOT 8527581 SOS 1498364 HAS SOPS 1498364 HAS SOUS 1153893 HAS SOUPS 1153893 WITH SCORE 1155391.364
AT ITER 5441 NEW BEST:: SOT 8527495 SOS 1499344 HAS SOPS 1499344 HAS SOUS 1153865 HAS SOUPS 1153865 WITH SCORE 1155364.344
AT ITER 5452 NEW BEST:: SOT 8527466 SOS 1498981 HAS SOPS 1498981 HAS SOUS 1153768 HAS SOUPS 1153768 WITH SCORE 1155266.981
AT ITER 5507 NEW BEST:: SOT 8527466 SOS 1498865 HAS SOPS 1498865 HAS SOUS 1153652 HAS SOUPS 1153652 WITH SCORE 1155150.865
AT ITER 5521 NEW BEST:: SOT 8526582 SOS 1500983 HAS SOPS 1500983 HAS SOUS 1152971 HAS SOUPS 1152971 WITH SCORE 1154471.983
AT ITER 5523 NEW BEST:: SOT 8526582 SOS 1500983 HAS SOPS 1500983 HAS SOUS 1152969 HAS SOUPS 1152969 WITH SCORE 1154469.983
AT ITER 5533 NEW BEST:: SOT 8526316 SOS 1500392 HAS SOPS 1500392 HAS SOUS 1148049 HAS SOUPS 1148049 WITH SCORE 1149549.392
AT ITER 5564 NEW BEST:: SOT 8526316 SOS 1500360 HAS SOPS 1500360 HAS SOUS 1148017 HAS SOUPS 1148017 WITH SCORE 1149517.36
AT ITER 5597 NEW BEST:: SOT 8525980 SOS 1500057 HAS SOPS 1500057 HAS SOUS 1147714 HAS SOUPS 1147714 WITH SCORE 1149214.057
AT ITER 5605 NEW BEST:: SOT 8525482 SOS 1499061 HAS SOPS 1499061 HAS SOUS 1146718 HAS SOUPS 1146718 WITH SCORE 1148217.061
AT ITER 5615 NEW BEST:: SOT 8525481 SOS 1499059 HAS SOPS 1499059 HAS SOUS 1146716 HAS SOUPS 1146716 WITH SCORE 1148215.059
AT ITER 5625 NEW BEST:: SOT 8525481 SOS 1498745 HAS SOPS 1498745 HAS SOUS 1146716 HAS SOUPS 1146716 WITH SCORE 1148214.745
AT ITER 5638 NEW BEST:: SOT 8525468 SOS 1498732 HAS SOPS 1498732 HAS SOUS 1146703 HAS SOUPS 1146703 WITH SCORE 1148201.732
AT ITER 5640 NEW BEST:: SOT 8525468 SOS 1498622 HAS SOPS 1498622 HAS SOUS 1146593 HAS SOUPS 1146593 WITH SCORE 1148091.622
AT ITER 5683 NEW BEST:: SOT 8525466 SOS 1498611 HAS SOPS 1498611 HAS SOUS 1146582 HAS SOUPS 1146582 WITH SCORE 1148080.611
AT ITER 5695 NEW BEST:: SOT 8525403 SOS 1498548 HAS SOPS 1498548 HAS SOUS 1146519 HAS SOUPS 1146519 WITH SCORE 1148017.548
AT ITER 5704 NEW BEST:: SOT 8525379 SOS 1498500 HAS SOPS 1498500 HAS SOUS 1146471 HAS SOUPS 1146471 WITH SCORE 1147969.5
AT ITER 5711 NEW BEST:: SOT 8524572 SOS 1498156 HAS SOPS 1498156 HAS SOUS 1145918 HAS SOUPS 1145918 WITH SCORE 1147416.156
AT ITER 5738 NEW BEST:: SOT 8524490 SOS 1497959 HAS SOPS 1497959 HAS SOUS 1145721 HAS SOUPS 1145721 WITH SCORE 1147218.959
AT ITER 5744 NEW BEST:: SOT 8524372 SOS 1496199 HAS SOPS 1496199 HAS SOUS 1145485 HAS SOUPS 1145485 WITH SCORE 1146981.199
AT ITER 5750 NEW BEST:: SOT 8524295 SOS 1496045 HAS SOPS 1496045 HAS SOUS 1145331 HAS SOUPS 1145331 WITH SCORE 1146827.045
AT ITER 5764 NEW BEST:: SOT 8524294 SOS 1496043 HAS SOPS 1496043 HAS SOUS 1145329 HAS SOUPS 1145329 WITH SCORE 1146825.043
AT ITER 5771 NEW BEST:: SOT 8524277 SOS 1495958 HAS SOPS 1495958 HAS SOUS 1145242 HAS SOUPS 1145242 WITH SCORE 1146737.958
AT ITER 5793 NEW BEST:: SOT 8524277 SOS 1496176 HAS SOPS 1496176 HAS SOUS 1144949 HAS SOUPS 1144949 WITH SCORE 1146445.176
AT ITER 5835 NEW BEST:: SOT 8523967 SOS 1495935 HAS SOPS 1495935 HAS SOUS 1144708 HAS SOUPS 1144708 WITH SCORE 1146203.935
AT ITER 5844 NEW BEST:: SOT 8523923 SOS 1495891 HAS SOPS 1495891 HAS SOUS 1144620 HAS SOUPS 1144620 WITH SCORE 1146115.891
AT ITER 5850 NEW BEST:: SOT 8523857 SOS 1497295 HAS SOPS 1497295 HAS SOUS 1144488 HAS SOUPS 1144488 WITH SCORE 1145985.295
AT ITER 5853 NEW BEST:: SOT 8523857 SOS 1497292 HAS SOPS 1497292 HAS SOUS 1144485 HAS SOUPS 1144485 WITH SCORE 1145982.292
AT ITER 5891 NEW BEST:: SOT 8524399 SOS 1499184 HAS SOPS 1499184 HAS SOUS 1143443 HAS SOUPS 1143443 WITH SCORE 1144942.184
AT ITER 5893 NEW BEST:: SOT 8524465 SOS 1498911 HAS SOPS 1498911 HAS SOUS 1143441 HAS SOUPS 1143441 WITH SCORE 1144939.911
AT ITER 5928 NEW BEST:: SOT 8522236 SOS 1509287 HAS SOPS 1509287 HAS SOUS 1143113 HAS SOUPS 1143113 WITH SCORE 1144622.287
AT ITER 5966 NEW BEST:: SOT 8522234 SOS 1509208 HAS SOPS 1509208 HAS SOUS 1143034 HAS SOUPS 1143034 WITH SCORE 1144543.208
AT ITER 5974 NEW BEST:: SOT 8521761 SOS 1508736 HAS SOPS 1508736 HAS SOUS 1142562 HAS SOUPS 1142562 WITH SCORE 1144070.736
AT ITER 5980 NEW BEST:: SOT 8521664 SOS 1508639 HAS SOPS 1508639 HAS SOUS 1142465 HAS SOUPS 1142465 WITH SCORE 1143973.639
AT ITER 5982 NEW BEST:: SOT 8521347 SOS 1508488 HAS SOPS 1508488 HAS SOUS 1142313 HAS SOUPS 1142313 WITH SCORE 1143821.488
AT ITER 5985 NEW BEST:: SOT 8521347 SOS 1508296 HAS SOPS 1508296 HAS SOUS 1142198 HAS SOUPS 1142198 WITH SCORE 1143706.296
AT ITER 5988 NEW BEST:: SOT 8521345 SOS 1508101 HAS SOPS 1508101 HAS SOUS 1142194 HAS SOUPS 1142194 WITH SCORE 1143702.101
AT ITER 6035 NEW BEST:: SOT 8521345 SOS 1508085 HAS SOPS 1508085 HAS SOUS 1142175 HAS SOUPS 1142175 WITH SCORE 1143683.085
AT ITER 6045 NEW BEST:: SOT 8521322 SOS 1508048 HAS SOPS 1508048 HAS SOUS 1142161 HAS SOUPS 1142161 WITH SCORE 1143669.048
AT ITER 6056 NEW BEST:: SOT 8521168 SOS 1507905 HAS SOPS 1507905 HAS SOUS 1142096 HAS SOUPS 1142096 WITH SCORE 1143603.905
AT ITER 6057 NEW BEST:: SOT 8520705 SOS 1507643 HAS SOPS 1507643 HAS SOUS 1141834 HAS SOUPS 1141834 WITH SCORE 1143341.643
AT ITER 6063 NEW BEST:: SOT 8520705 SOS 1507557 HAS SOPS 1507557 HAS SOUS 1141791 HAS SOUPS 1141791 WITH SCORE 1143298.557
AT ITER 6074 NEW BEST:: SOT 8520705 SOS 1507425 HAS SOPS 1507425 HAS SOUS 1141791 HAS SOUPS 1141791 WITH SCORE 1143298.425
AT ITER 6075 NEW BEST:: SOT 8520641 SOS 1506741 HAS SOPS 1506741 HAS SOUS 1141587 HAS SOUPS 1141587 WITH SCORE 1143093.741
AT ITER 6079 NEW BEST:: SOT 8520537 SOS 1506725 HAS SOPS 1506725 HAS SOUS 1141291 HAS SOUPS 1141291 WITH SCORE 1142797.725
AT ITER 6089 NEW BEST:: SOT 8520417 SOS 1506485 HAS SOPS 1506485 HAS SOUS 1141075 HAS SOUPS 1141075 WITH SCORE 1142581.485
AT ITER 6115 NEW BEST:: SOT 8520417 SOS 1506437 HAS SOPS 1506437 HAS SOUS 1141074 HAS SOUPS 1141074 WITH SCORE 1142580.437
AT ITER 6119 NEW BEST:: SOT 8520416 SOS 1506435 HAS SOPS 1506435 HAS SOUS 1141072 HAS SOUPS 1141072 WITH SCORE 1142578.435
AT ITER 6123 NEW BEST:: SOT 8520400 SOS 1506419 HAS SOPS 1506419 HAS SOUS 1141056 HAS SOUPS 1141056 WITH SCORE 1142562.419
AT ITER 6143 NEW BEST:: SOT 8520170 SOS 1506045 HAS SOPS 1506045 HAS SOUS 1140853 HAS SOUPS 1140853 WITH SCORE 1142359.045
AT ITER 6153 NEW BEST:: SOT 8520170 SOS 1506045 HAS SOPS 1506045 HAS SOUS 1140783 HAS SOUPS 1140783 WITH SCORE 1142289.045
AT ITER 6184 NEW BEST:: SOT 8520297 SOS 1506154 HAS SOPS 1506154 HAS SOUS 1140781 HAS SOUPS 1140781 WITH SCORE 1142287.154
AT ITER 6214 NEW BEST:: SOT 8520137 SOS 1506667 HAS SOPS 1506667 HAS SOUS 1140578 HAS SOUPS 1140578 WITH SCORE 1142084.667
AT ITER 6306 NEW BEST:: SOT 8520149 SOS 1506679 HAS SOPS 1506679 HAS SOUS 1140565 HAS SOUPS 1140565 WITH SCORE 1142071.679
AT ITER 6313 NEW BEST:: SOT 8520148 SOS 1506678 HAS SOPS 1506678 HAS SOUS 1140563 HAS SOUPS 1140563 WITH SCORE 1142069.678
AT ITER 6331 NEW BEST:: SOT 8520148 SOS 1506123 HAS SOPS 1506123 HAS SOUS 1140388 HAS SOUPS 1140388 WITH SCORE 1141894.123
AT ITER 6359 NEW BEST:: SOT 8519938 SOS 1505913 HAS SOPS 1505913 HAS SOUS 1140178 HAS SOUPS 1140178 WITH SCORE 1141683.913
AT ITER 6418 NEW BEST:: SOT 8519868 SOS 1505846 HAS SOPS 1505846 HAS SOUS 1140154 HAS SOUPS 1140154 WITH SCORE 1141659.846
AT ITER 6431 NEW BEST:: SOT 8519782 SOS 1505390 HAS SOPS 1505390 HAS SOUS 1139956 HAS SOUPS 1139956 WITH SCORE 1141461.39
AT ITER 6437 NEW BEST:: SOT 8519222 SOS 1505614 HAS SOPS 1505614 HAS SOUS 1139620 HAS SOUPS 1139620 WITH SCORE 1141125.614
AT ITER 6442 NEW BEST:: SOT 8519222 SOS 1505569 HAS SOPS 1505569 HAS SOUS 1139575 HAS SOUPS 1139575 WITH SCORE 1141080.569
AT ITER 6449 NEW BEST:: SOT 8519222 SOS 1505453 HAS SOPS 1505453 HAS SOUS 1139569 HAS SOUPS 1139569 WITH SCORE 1141074.453
AT ITER 6455 NEW BEST:: SOT 8519093 SOS 1504985 HAS SOPS 1504985 HAS SOUS 1139567 HAS SOUPS 1139567 WITH SCORE 1141071.985
AT ITER 6492 NEW BEST:: SOT 8518541 SOS 1505702 HAS SOPS 1505702 HAS SOUS 1139003 HAS SOUPS 1139003 WITH SCORE 1140508.702
AT ITER 6499 NEW BEST:: SOT 8518339 SOS 1505489 HAS SOPS 1505489 HAS SOUS 1138779 HAS SOUPS 1138779 WITH SCORE 1140284.489
AT ITER 6503 NEW BEST:: SOT 8518232 SOS 1505168 HAS SOPS 1505168 HAS SOUS 1138565 HAS SOUPS 1138565 WITH SCORE 1140070.168
AT ITER 6504 NEW BEST:: SOT 8518141 SOS 1504906 HAS SOPS 1504906 HAS SOUS 1138383 HAS SOUPS 1138383 WITH SCORE 1139887.906
AT ITER 6520 NEW BEST:: SOT 8518141 SOS 1504993 HAS SOPS 1504993 HAS SOUS 1138382 HAS SOUPS 1138382 WITH SCORE 1139886.993
AT ITER 6561 NEW BEST:: SOT 8518111 SOS 1504918 HAS SOPS 1504918 HAS SOUS 1138352 HAS SOUPS 1138352 WITH SCORE 1139856.918
AT ITER 6575 NEW BEST:: SOT 8517997 SOS 1504209 HAS SOPS 1504209 HAS SOUS 1138117 HAS SOUPS 1138117 WITH SCORE 1139621.209
AT ITER 6606 NEW BEST:: SOT 8517997 SOS 1504197 HAS SOPS 1504197 HAS SOUS 1138105 HAS SOUPS 1138105 WITH SCORE 1139609.197
AT ITER 6618 NEW BEST:: SOT 8517818 SOS 1504075 HAS SOPS 1504075 HAS SOUS 1137747 HAS SOUPS 1137747 WITH SCORE 1139251.075
AT ITER 6698 NEW BEST:: SOT 8517821 SOS 1503741 HAS SOPS 1503741 HAS SOUS 1137608 HAS SOUPS 1137608 WITH SCORE 1139111.741
AT ITER 6706 NEW BEST:: SOT 8517889 SOS 1503506 HAS SOPS 1503506 HAS SOUS 1137577 HAS SOUPS 1137577 WITH SCORE 1139080.506
AT ITER 6715 NEW BEST:: SOT 8517881 SOS 1503490 HAS SOPS 1503490 HAS SOUS 1137561 HAS SOUPS 1137561 WITH SCORE 1139064.49
AT ITER 6716 NEW BEST:: SOT 8517276 SOS 1504920 HAS SOPS 1504920 HAS SOUS 1137196 HAS SOUPS 1137196 WITH SCORE 1138700.92
AT ITER 6736 NEW BEST:: SOT 8516969 SOS 1504286 HAS SOPS 1504286 HAS SOUS 1136869 HAS SOUPS 1136869 WITH SCORE 1138373.286
AT ITER 6762 NEW BEST:: SOT 8516172 SOS 1504448 HAS SOPS 1504448 HAS SOUS 1136511 HAS SOUPS 1136511 WITH SCORE 1138015.448
AT ITER 6765 NEW BEST:: SOT 8516168 SOS 1504444 HAS SOPS 1504444 HAS SOUS 1136507 HAS SOUPS 1136507 WITH SCORE 1138011.444
AT ITER 6796 NEW BEST:: SOT 8515829 SOS 1504114 HAS SOPS 1504114 HAS SOUS 1136168 HAS SOUPS 1136168 WITH SCORE 1137672.114
AT ITER 6826 NEW BEST:: SOT 8515598 SOS 1503240 HAS SOPS 1503240 HAS SOUS 1135348 HAS SOUPS 1135348 WITH SCORE 1136851.24
AT ITER 6839 NEW BEST:: SOT 8515445 SOS 1502934 HAS SOPS 1502934 HAS SOUS 1135042 HAS SOUPS 1135042 WITH SCORE 1136544.934
AT ITER 6899 NEW BEST:: SOT 8515445 SOS 1502931 HAS SOPS 1502931 HAS SOUS 1135039 HAS SOUPS 1135039 WITH SCORE 1136541.931
AT ITER 6904 NEW BEST:: SOT 8515302 SOS 1502645 HAS SOPS 1502645 HAS SOUS 1134753 HAS SOUPS 1134753 WITH SCORE 1136255.645
AT ITER 6911 NEW BEST:: SOT 8515150 SOS 1502340 HAS SOPS 1502340 HAS SOUS 1134448 HAS SOUPS 1134448 WITH SCORE 1135950.34
AT ITER 6919 NEW BEST:: SOT 8514968 SOS 1503175 HAS SOPS 1503175 HAS SOUS 1134315 HAS SOUPS 1134315 WITH SCORE 1135818.175
AT ITER 6926 NEW BEST:: SOT 8514967 SOS 1503173 HAS SOPS 1503173 HAS SOUS 1134313 HAS SOUPS 1134313 WITH SCORE 1135816.173
AT ITER 6928 NEW BEST:: SOT 8514849 SOS 1501510 HAS SOPS 1501510 HAS SOUS 1134066 HAS SOUPS 1134066 WITH SCORE 1135567.51
AT ITER 7000 NEW BEST:: SOT 8515025 SOS 1501391 HAS SOPS 1501391 HAS SOUS 1133194 HAS SOUPS 1133194 WITH SCORE 1134695.391
AT ITER 7007 NEW BEST:: SOT 8514983 SOS 1501261 HAS SOPS 1501261 HAS SOUS 1133064 HAS SOUPS 1133064 WITH SCORE 1134565.261
AT ITER 7008 NEW BEST:: SOT 8515022 SOS 1500558 HAS SOPS 1500558 HAS SOUS 1132777 HAS SOUPS 1132777 WITH SCORE 1134277.558
AT ITER 7056 NEW BEST:: SOT 8514858 SOS 1500084 HAS SOPS 1500084 HAS SOUS 1132391 HAS SOUPS 1132391 WITH SCORE 1133891.084
AT ITER 7077 NEW BEST:: SOT 8514483 SOS 1499730 HAS SOPS 1499730 HAS SOUS 1132037 HAS SOUPS 1132037 WITH SCORE 1133536.73
AT ITER 7093 NEW BEST:: SOT 8514409 SOS 1499656 HAS SOPS 1499656 HAS SOUS 1131955 HAS SOUPS 1131955 WITH SCORE 1133454.656
AT ITER 7114 NEW BEST:: SOT 8514319 SOS 1499521 HAS SOPS 1499521 HAS SOUS 1131820 HAS SOUPS 1131820 WITH SCORE 1133319.521
AT ITER 7117 NEW BEST:: SOT 8514261 SOS 1499463 HAS SOPS 1499463 HAS SOUS 1131762 HAS SOUPS 1131762 WITH SCORE 1133261.463
AT ITER 7140 NEW BEST:: SOT 8514196 SOS 1499333 HAS SOPS 1499333 HAS SOUS 1131632 HAS SOUPS 1131632 WITH SCORE 1133131.333
AT ITER 7174 NEW BEST:: SOT 8514193 SOS 1499079 HAS SOPS 1499079 HAS SOUS 1131623 HAS SOUPS 1131623 WITH SCORE 1133122.079
AT ITER 7181 NEW BEST:: SOT 8514143 SOS 1498579 HAS SOPS 1498579 HAS SOUS 1131123 HAS SOUPS 1131123 WITH SCORE 1132621.579
AT ITER 7231 NEW BEST:: SOT 8514143 SOS 1498519 HAS SOPS 1498519 HAS SOUS 1131063 HAS SOUPS 1131063 WITH SCORE 1132561.519
AT ITER 7264 NEW BEST:: SOT 8514143 SOS 1498507 HAS SOPS 1498507 HAS SOUS 1131063 HAS SOUPS 1131063 WITH SCORE 1132561.507
AT ITER 7286 NEW BEST:: SOT 8514143 SOS 1498505 HAS SOPS 1498505 HAS SOUS 1131062 HAS SOUPS 1131062 WITH SCORE 1132560.505
AT ITER 7299 NEW BEST:: SOT 8514120 SOS 1498459 HAS SOPS 1498459 HAS SOUS 1131015 HAS SOUPS 1131015 WITH SCORE 1132513.459
AT ITER 7302 NEW BEST:: SOT 8514008 SOS 1498347 HAS SOPS 1498347 HAS SOUS 1130791 HAS SOUPS 1130791 WITH SCORE 1132289.347
AT ITER 7350 NEW BEST:: SOT 8513966 SOS 1498280 HAS SOPS 1498280 HAS SOUS 1130724 HAS SOUPS 1130724 WITH SCORE 1132222.28
AT ITER 7357 NEW BEST:: SOT 8513923 SOS 1497888 HAS SOPS 1497888 HAS SOUS 1130658 HAS SOUPS 1130658 WITH SCORE 1132155.888
AT ITER 7370 NEW BEST:: SOT 8513923 SOS 1497553 HAS SOPS 1497553 HAS SOUS 1130658 HAS SOUPS 1130658 WITH SCORE 1132155.553
AT ITER 7376 NEW BEST:: SOT 8513783 SOS 1497353 HAS SOPS 1497353 HAS SOUS 1129432 HAS SOUPS 1129432 WITH SCORE 1130929.353
AT ITER 7397 NEW BEST:: SOT 8513725 SOS 1499638 HAS SOPS 1499638 HAS SOUS 1129316 HAS SOUPS 1129316 WITH SCORE 1130815.638
AT ITER 7405 NEW BEST:: SOT 8513409 SOS 1499552 HAS SOPS 1499552 HAS SOUS 1129301 HAS SOUPS 1129301 WITH SCORE 1130800.552
AT ITER 7409 NEW BEST:: SOT 8512919 SOS 1499062 HAS SOPS 1499062 HAS SOUS 1128811 HAS SOUPS 1128811 WITH SCORE 1130310.062
AT ITER 7418 NEW BEST:: SOT 8512828 SOS 1498971 HAS SOPS 1498971 HAS SOUS 1128720 HAS SOUPS 1128720 WITH SCORE 1130218.971
AT ITER 7427 NEW BEST:: SOT 8512827 SOS 1498846 HAS SOPS 1498846 HAS SOUS 1128718 HAS SOUPS 1128718 WITH SCORE 1130216.846
AT ITER 7497 NEW BEST:: SOT 8512827 SOS 1498435 HAS SOPS 1498435 HAS SOUS 1128718 HAS SOUPS 1128718 WITH SCORE 1130216.435
AT ITER 7525 NEW BEST:: SOT 8512695 SOS 1498413 HAS SOPS 1498413 HAS SOUS 1128641 HAS SOUPS 1128641 WITH SCORE 1130139.413
AT ITER 7557 NEW BEST:: SOT 8512779 SOS 1498340 HAS SOPS 1498340 HAS SOUS 1128568 HAS SOUPS 1128568 WITH SCORE 1130066.34
AT ITER 7571 NEW BEST:: SOT 8512779 SOS 1498159 HAS SOPS 1498159 HAS SOUS 1128568 HAS SOUPS 1128568 WITH SCORE 1130066.159
AT ITER 7573 NEW BEST:: SOT 8512703 SOS 1498083 HAS SOPS 1498083 HAS SOUS 1128488 HAS SOUPS 1128488 WITH SCORE 1129986.083
AT ITER 7600 NEW BEST:: SOT 8512113 SOS 1499966 HAS SOPS 1499966 HAS SOUS 1128178 HAS SOUPS 1128178 WITH SCORE 1129677.966
AT ITER 7606 NEW BEST:: SOT 8509534 SOS 1501241 HAS SOPS 1501241 HAS SOUS 1126164 HAS SOUPS 1126164 WITH SCORE 1127665.241
AT ITER 7629 NEW BEST:: SOT 8509337 SOS 1500847 HAS SOPS 1500847 HAS SOUS 1125070 HAS SOUPS 1125070 WITH SCORE 1126570.847
AT ITER 7661 NEW BEST:: SOT 8509337 SOS 1500793 HAS SOPS 1500793 HAS SOUS 1125016 HAS SOUPS 1125016 WITH SCORE 1126516.793
AT ITER 7665 NEW BEST:: SOT 8509467 SOS 1500745 HAS SOPS 1500745 HAS SOUS 1124968 HAS SOUPS 1124968 WITH SCORE 1126468.745
AT ITER 7669 NEW BEST:: SOT 8509398 SOS 1500607 HAS SOPS 1500607 HAS SOUS 1124830 HAS SOUPS 1124830 WITH SCORE 1126330.607
AT ITER 7671 NEW BEST:: SOT 8509398 SOS 1500538 HAS SOPS 1500538 HAS SOUS 1124761 HAS SOUPS 1124761 WITH SCORE 1126261.538
AT ITER 7681 NEW BEST:: SOT 8509310 SOS 1500362 HAS SOPS 1500362 HAS SOUS 1124585 HAS SOUPS 1124585 WITH SCORE 1126085.362
AT ITER 7706 NEW BEST:: SOT 8511120 SOS 1501976 HAS SOPS 1501976 HAS SOUS 1121405 HAS SOUPS 1121405 WITH SCORE 1122906.976
AT ITER 7708 NEW BEST:: SOT 8511074 SOS 1501884 HAS SOPS 1501884 HAS SOUS 1121333 HAS SOUPS 1121333 WITH SCORE 1122834.884
AT ITER 7721 NEW BEST:: SOT 8511074 SOS 1501860 HAS SOPS 1501860 HAS SOUS 1121309 HAS SOUPS 1121309 WITH SCORE 1122810.86
AT ITER 7740 NEW BEST:: SOT 8510840 SOS 1502839 HAS SOPS 1502839 HAS SOUS 1121042 HAS SOUPS 1121042 WITH SCORE 1122544.839
AT ITER 7773 NEW BEST:: SOT 8510696 SOS 1502694 HAS SOPS 1502694 HAS SOUS 1120896 HAS SOUPS 1120896 WITH SCORE 1122398.694
AT ITER 7802 NEW BEST:: SOT 8510491 SOS 1502277 HAS SOPS 1502277 HAS SOUS 1120438 HAS SOUPS 1120438 WITH SCORE 1121940.277
AT ITER 7837 NEW BEST:: SOT 8510488 SOS 1502232 HAS SOPS 1502232 HAS SOUS 1120435 HAS SOUPS 1120435 WITH SCORE 1121937.232
AT ITER 7851 NEW BEST:: SOT 8510488 SOS 1502110 HAS SOPS 1502110 HAS SOUS 1120313 HAS SOUPS 1120313 WITH SCORE 1121815.11
AT ITER 7886 NEW BEST:: SOT 8510359 SOS 1501981 HAS SOPS 1501981 HAS SOUS 1120184 HAS SOUPS 1120184 WITH SCORE 1121685.981
AT ITER 7922 NEW BEST:: SOT 8510257 SOS 1501777 HAS SOPS 1501777 HAS SOUS 1119980 HAS SOUPS 1119980 WITH SCORE 1121481.777
AT ITER 7947 NEW BEST:: SOT 8510303 SOS 1501414 HAS SOPS 1501414 HAS SOUS 1119615 HAS SOUPS 1119615 WITH SCORE 1121116.414
AT ITER 8029 NEW BEST:: SOT 8510303 SOS 1501290 HAS SOPS 1501290 HAS SOUS 1119611 HAS SOUPS 1119611 WITH SCORE 1121112.29
AT ITER 8039 NEW BEST:: SOT 8510030 SOS 1501017 HAS SOPS 1501017 HAS SOUS 1119338 HAS SOUPS 1119338 WITH SCORE 1120839.017
AT ITER 8074 NEW BEST:: SOT 8510030 SOS 1501016 HAS SOPS 1501016 HAS SOUS 1119337 HAS SOUPS 1119337 WITH SCORE 1120838.016
AT ITER 8085 NEW BEST:: SOT 8509824 SOS 1500707 HAS SOPS 1500707 HAS SOUS 1119028 HAS SOUPS 1119028 WITH SCORE 1120528.707
AT ITER 8094 NEW BEST:: SOT 8509649 SOS 1497491 HAS SOPS 1497491 HAS SOUS 1118902 HAS SOUPS 1118902 WITH SCORE 1120399.491
AT ITER 8107 NEW BEST:: SOT 8509649 SOS 1498484 HAS SOPS 1498484 HAS SOUS 1118873 HAS SOUPS 1118873 WITH SCORE 1120371.484
AT ITER 8120 NEW BEST:: SOT 8509585 SOS 1498126 HAS SOPS 1498126 HAS SOUS 1118745 HAS SOUPS 1118745 WITH SCORE 1120243.126
AT ITER 8136 NEW BEST:: SOT 8509505 SOS 1498030 HAS SOPS 1498030 HAS SOUS 1117721 HAS SOUPS 1117721 WITH SCORE 1119219.03
AT ITER 8193 NEW BEST:: SOT 8509481 SOS 1497959 HAS SOPS 1497959 HAS SOUS 1117650 HAS SOUPS 1117650 WITH SCORE 1119147.959
AT ITER 8194 NEW BEST:: SOT 8509425 SOS 1498232 HAS SOPS 1498232 HAS SOUS 1117593 HAS SOUPS 1117593 WITH SCORE 1119091.232
AT ITER 8281 NEW BEST:: SOT 8509404 SOS 1498211 HAS SOPS 1498211 HAS SOUS 1117572 HAS SOUPS 1117572 WITH SCORE 1119070.211
AT ITER 8342 NEW BEST:: SOT 8508997 SOS 1497804 HAS SOPS 1497804 HAS SOUS 1117476 HAS SOUPS 1117476 WITH SCORE 1118973.804
AT ITER 8351 NEW BEST:: SOT 8508130 SOS 1496070 HAS SOPS 1496070 HAS SOUS 1115742 HAS SOUPS 1115742 WITH SCORE 1117238.07
AT ITER 8368 NEW BEST:: SOT 8507062 SOS 1494687 HAS SOPS 1494687 HAS SOUS 1114364 HAS SOUPS 1114364 WITH SCORE 1115858.687
AT ITER 8370 NEW BEST:: SOT 8506949 SOS 1494348 HAS SOPS 1494348 HAS SOUS 1114138 HAS SOUPS 1114138 WITH SCORE 1115632.348
AT ITER 8373 NEW BEST:: SOT 8506949 SOS 1494032 HAS SOPS 1494032 HAS SOUS 1114115 HAS SOUPS 1114115 WITH SCORE 1115609.032
AT ITER 8385 NEW BEST:: SOT 8506379 SOS 1493456 HAS SOPS 1493456 HAS SOUS 1113539 HAS SOUPS 1113539 WITH SCORE 1115032.456
AT ITER 8386 NEW BEST:: SOT 8506378 SOS 1493450 HAS SOPS 1493450 HAS SOUS 1113533 HAS SOUPS 1113533 WITH SCORE 1115026.45
AT ITER 8407 NEW BEST:: SOT 8506377 SOS 1493447 HAS SOPS 1493447 HAS SOUS 1113530 HAS SOUPS 1113530 WITH SCORE 1115023.447
AT ITER 8433 NEW BEST:: SOT 8506230 SOS 1492971 HAS SOPS 1492971 HAS SOUS 1109606 HAS SOUPS 1109606 WITH SCORE 1111098.971
AT ITER 8448 NEW BEST:: SOT 8506056 SOS 1492797 HAS SOPS 1492797 HAS SOUS 1109432 HAS SOUPS 1109432 WITH SCORE 1110924.797
AT ITER 8475 NEW BEST:: SOT 8505602 SOS 1494021 HAS SOPS 1494021 HAS SOUS 1109246 HAS SOUPS 1109246 WITH SCORE 1110740.021
AT ITER 8489 NEW BEST:: SOT 8505601 SOS 1494019 HAS SOPS 1494019 HAS SOUS 1109244 HAS SOUPS 1109244 WITH SCORE 1110738.019
AT ITER 8507 NEW BEST:: SOT 8505444 SOS 1493862 HAS SOPS 1493862 HAS SOUS 1109127 HAS SOUPS 1109127 WITH SCORE 1110620.862
AT ITER 8514 NEW BEST:: SOT 8505175 SOS 1493518 HAS SOPS 1493518 HAS SOUS 1107006 HAS SOUPS 1107006 WITH SCORE 1108499.518
AT ITER 8540 NEW BEST:: SOT 8505174 SOS 1492635 HAS SOPS 1492635 HAS SOUS 1107004 HAS SOUPS 1107004 WITH SCORE 1108496.635
AT ITER 8543 NEW BEST:: SOT 8505173 SOS 1492416 HAS SOPS 1492416 HAS SOUS 1106785 HAS SOUPS 1106785 WITH SCORE 1108277.416
AT ITER 8552 NEW BEST:: SOT 8505172 SOS 1492460 HAS SOPS 1492460 HAS SOUS 1106782 HAS SOUPS 1106782 WITH SCORE 1108274.46
AT ITER 8579 NEW BEST:: SOT 8504746 SOS 1492033 HAS SOPS 1492033 HAS SOUS 1105929 HAS SOUPS 1105929 WITH SCORE 1107421.033
AT ITER 8604 NEW BEST:: SOT 8504746 SOS 1492002 HAS SOPS 1492002 HAS SOUS 1105927 HAS SOUPS 1105927 WITH SCORE 1107419.002
AT ITER 8606 NEW BEST:: SOT 8504746 SOS 1491833 HAS SOPS 1491833 HAS SOUS 1105927 HAS SOUPS 1105927 WITH SCORE 1107418.833
AT ITER 8626 NEW BEST:: SOT 8504489 SOS 1491598 HAS SOPS 1491598 HAS SOUS 1105693 HAS SOUPS 1105693 WITH SCORE 1107184.598
AT ITER 8635 NEW BEST:: SOT 8504270 SOS 1491353 HAS SOPS 1491353 HAS SOUS 1105488 HAS SOUPS 1105488 WITH SCORE 1106979.353
AT ITER 8640 NEW BEST:: SOT 8504252 SOS 1491530 HAS SOPS 1491530 HAS SOUS 1105470 HAS SOUPS 1105470 WITH SCORE 1106961.53
AT ITER 8669 NEW BEST:: SOT 8504225 SOS 1491503 HAS SOPS 1491503 HAS SOUS 1105441 HAS SOUPS 1105441 WITH SCORE 1106932.503
AT ITER 8671 NEW BEST:: SOT 8504069 SOS 1491191 HAS SOPS 1491191 HAS SOUS 1105207 HAS SOUPS 1105207 WITH SCORE 1106698.191
AT ITER 8673 NEW BEST:: SOT 8503938 SOS 1493119 HAS SOPS 1493119 HAS SOUS 1105005 HAS SOUPS 1105005 WITH SCORE 1106498.119
AT ITER 8697 NEW BEST:: SOT 8503695 SOS 1493108 HAS SOPS 1493108 HAS SOUS 1104893 HAS SOUPS 1104893 WITH SCORE 1106386.108
AT ITER 8834 NEW BEST:: SOT 8503569 SOS 1492964 HAS SOPS 1492964 HAS SOUS 1104875 HAS SOUPS 1104875 WITH SCORE 1106367.964
AT ITER 8841 NEW BEST:: SOT 8503240 SOS 1492935 HAS SOPS 1492935 HAS SOUS 1104875 HAS SOUPS 1104875 WITH SCORE 1106367.935
AT ITER 8867 NEW BEST:: SOT 8503181 SOS 1492778 HAS SOPS 1492778 HAS SOUS 1104718 HAS SOUPS 1104718 WITH SCORE 1106210.778
AT ITER 8882 NEW BEST:: SOT 8503090 SOS 1492687 HAS SOPS 1492687 HAS SOUS 1104627 HAS SOUPS 1104627 WITH SCORE 1106119.687
AT ITER 8889 NEW BEST:: SOT 8502089 SOS 1493579 HAS SOPS 1493579 HAS SOUS 1104232 HAS SOUPS 1104232 WITH SCORE 1105725.579
AT ITER 8905 NEW BEST:: SOT 8502001 SOS 1493217 HAS SOPS 1493217 HAS SOUS 1104037 HAS SOUPS 1104037 WITH SCORE 1105530.217
AT ITER 8924 NEW BEST:: SOT 8501927 SOS 1493159 HAS SOPS 1493159 HAS SOUS 1103979 HAS SOUPS 1103979 WITH SCORE 1105472.159
AT ITER 8933 NEW BEST:: SOT 8501747 SOS 1492799 HAS SOPS 1492799 HAS SOUS 1103619 HAS SOUPS 1103619 WITH SCORE 1105111.799
AT ITER 8968 NEW BEST:: SOT 8501636 SOS 1492622 HAS SOPS 1492622 HAS SOUS 1102691 HAS SOUPS 1102691 WITH SCORE 1104183.622
AT ITER 8973 NEW BEST:: SOT 8501556 SOS 1492401 HAS SOPS 1492401 HAS SOUS 1102549 HAS SOUPS 1102549 WITH SCORE 1104041.401
AT ITER 8985 NEW BEST:: SOT 8501555 SOS 1492224 HAS SOPS 1492224 HAS SOUS 1102372 HAS SOUPS 1102372 WITH SCORE 1103864.224
AT ITER 9024 NEW BEST:: SOT 8501205 SOS 1491874 HAS SOPS 1491874 HAS SOUS 1101896 HAS SOUPS 1101896 WITH SCORE 1103387.874
AT ITER 9033 NEW BEST:: SOT 8501230 SOS 1491605 HAS SOPS 1491605 HAS SOUS 1101627 HAS SOUPS 1101627 WITH SCORE 1103118.605
AT ITER 9035 NEW BEST:: SOT 8500931 SOS 1491228 HAS SOPS 1491228 HAS SOUS 1101327 HAS SOUPS 1101327 WITH SCORE 1102818.228
AT ITER 9084 NEW BEST:: SOT 8500931 SOS 1491202 HAS SOPS 1491202 HAS SOUS 1101327 HAS SOUPS 1101327 WITH SCORE 1102818.202
AT ITER 9141 NEW BEST:: SOT 8500930 SOS 1491009 HAS SOPS 1491009 HAS SOUS 1101325 HAS SOUPS 1101325 WITH SCORE 1102816.009
AT ITER 9172 NEW BEST:: SOT 8500712 SOS 1490702 HAS SOPS 1490702 HAS SOUS 1100960 HAS SOUPS 1100960 WITH SCORE 1102450.702
AT ITER 9195 NEW BEST:: SOT 8500235 SOS 1489748 HAS SOPS 1489748 HAS SOUS 1100006 HAS SOUPS 1100006 WITH SCORE 1101495.748
AT ITER 9202 NEW BEST:: SOT 8500076 SOS 1489418 HAS SOPS 1489418 HAS SOUS 1099704 HAS SOUPS 1099704 WITH SCORE 1101193.418
AT ITER 9213 NEW BEST:: SOT 8499635 SOS 1489169 HAS SOPS 1489169 HAS SOUS 1099311 HAS SOUPS 1099311 WITH SCORE 1100800.169
AT ITER 9224 NEW BEST:: SOT 8499956 SOS 1489392 HAS SOPS 1489392 HAS SOUS 1099265 HAS SOUPS 1099265 WITH SCORE 1100754.392
AT ITER 9235 NEW BEST:: SOT 8499550 SOS 1488974 HAS SOPS 1488974 HAS SOUS 1098900 HAS SOUPS 1098900 WITH SCORE 1100388.974
AT ITER 9295 NEW BEST:: SOT 8499386 SOS 1488799 HAS SOPS 1488799 HAS SOUS 1098725 HAS SOUPS 1098725 WITH SCORE 1100213.799
AT ITER 9297 NEW BEST:: SOT 8499386 SOS 1488749 HAS SOPS 1488749 HAS SOUS 1098724 HAS SOUPS 1098724 WITH SCORE 1100212.749
AT ITER 9329 NEW BEST:: SOT 8499171 SOS 1488104 HAS SOPS 1488104 HAS SOUS 1098213 HAS SOUPS 1098213 WITH SCORE 1099701.104
AT ITER 9330 NEW BEST:: SOT 8498778 SOS 1487573 HAS SOPS 1487573 HAS SOUS 1097544 HAS SOUPS 1097544 WITH SCORE 1099031.573
AT ITER 9348 NEW BEST:: SOT 8498916 SOS 1487849 HAS SOPS 1487849 HAS SOUS 1097507 HAS SOUPS 1097507 WITH SCORE 1098994.849
AT ITER 9349 NEW BEST:: SOT 8498916 SOS 1487073 HAS SOPS 1487073 HAS SOUS 1097499 HAS SOUPS 1097499 WITH SCORE 1098986.073
AT ITER 9380 NEW BEST:: SOT 8498689 SOS 1486550 HAS SOPS 1486550 HAS SOUS 1096976 HAS SOUPS 1096976 WITH SCORE 1098462.55
AT ITER 9416 NEW BEST:: SOT 8498491 SOS 1485956 HAS SOPS 1485956 HAS SOUS 1096578 HAS SOUPS 1096578 WITH SCORE 1098063.956
AT ITER 9426 NEW BEST:: SOT 8498306 SOS 1485797 HAS SOPS 1485797 HAS SOUS 1096208 HAS SOUPS 1096208 WITH SCORE 1097693.797
AT ITER 9431 NEW BEST:: SOT 8498305 SOS 1485548 HAS SOPS 1485548 HAS SOUS 1096204 HAS SOUPS 1096204 WITH SCORE 1097689.548
AT ITER 9433 NEW BEST:: SOT 8498105 SOS 1485288 HAS SOPS 1485288 HAS SOUS 1095944 HAS SOUPS 1095944 WITH SCORE 1097429.288
AT ITER 9485 NEW BEST:: SOT 8497877 SOS 1484812 HAS SOPS 1484812 HAS SOUS 1095698 HAS SOUPS 1095698 WITH SCORE 1097182.812
AT ITER 9489 NEW BEST:: SOT 8497915 SOS 1484888 HAS SOPS 1484888 HAS SOUS 1095682 HAS SOUPS 1095682 WITH SCORE 1097166.888
AT ITER 9510 NEW BEST:: SOT 8497433 SOS 1484436 HAS SOPS 1484436 HAS SOUS 1095230 HAS SOUPS 1095230 WITH SCORE 1096714.436
AT ITER 9542 NEW BEST:: SOT 8497267 SOS 1484273 HAS SOPS 1484273 HAS SOUS 1095067 HAS SOUPS 1095067 WITH SCORE 1096551.273
AT ITER 9552 NEW BEST:: SOT 8497169 SOS 1484077 HAS SOPS 1484077 HAS SOUS 1094871 HAS SOUPS 1094871 WITH SCORE 1096355.077
AT ITER 9576 NEW BEST:: SOT 8496693 SOS 1484092 HAS SOPS 1484092 HAS SOUS 1094640 HAS SOUPS 1094640 WITH SCORE 1096124.092
AT ITER 9603 NEW BEST:: SOT 8496693 SOS 1484429 HAS SOPS 1484429 HAS SOUS 1094605 HAS SOUPS 1094605 WITH SCORE 1096089.429
AT ITER 9617 NEW BEST:: SOT 8496568 SOS 1484429 HAS SOPS 1484429 HAS SOUS 1094480 HAS SOUPS 1094480 WITH SCORE 1095964.429
AT ITER 9667 NEW BEST:: SOT 8496568 SOS 1484394 HAS SOPS 1484394 HAS SOUS 1094474 HAS SOUPS 1094474 WITH SCORE 1095958.394
AT ITER 9707 NEW BEST:: SOT 8496040 SOS 1483663 HAS SOPS 1483663 HAS SOUS 1093946 HAS SOUPS 1093946 WITH SCORE 1095429.663
AT ITER 9722 NEW BEST:: SOT 8495967 SOS 1483590 HAS SOPS 1483590 HAS SOUS 1093873 HAS SOUPS 1093873 WITH SCORE 1095356.59
AT ITER 9750 NEW BEST:: SOT 8495730 SOS 1483353 HAS SOPS 1483353 HAS SOUS 1093636 HAS SOUPS 1093636 WITH SCORE 1095119.353
AT ITER 9768 NEW BEST:: SOT 8495541 SOS 1483164 HAS SOPS 1483164 HAS SOUS 1093567 HAS SOUPS 1093567 WITH SCORE 1095050.164
AT ITER 9788 NEW BEST:: SOT 8495221 SOS 1483091 HAS SOPS 1483091 HAS SOUS 1093437 HAS SOUPS 1093437 WITH SCORE 1094920.091
AT ITER 9838 NEW BEST:: SOT 8495088 SOS 1482870 HAS SOPS 1482870 HAS SOUS 1092152 HAS SOUPS 1092152 WITH SCORE 1093634.87
AT ITER 9840 NEW BEST:: SOT 8494940 SOS 1482574 HAS SOPS 1482574 HAS SOUS 1092058 HAS SOUPS 1092058 WITH SCORE 1093540.574
AT ITER 9859 NEW BEST:: SOT 8494900 SOS 1482534 HAS SOPS 1482534 HAS SOUS 1092018 HAS SOUPS 1092018 WITH SCORE 1093500.534
AT ITER 9914 NEW BEST:: SOT 8493241 SOS 1480715 HAS SOPS 1480715 HAS SOUS 1092018 HAS SOUPS 1092018 WITH SCORE 1093498.715
AT ITER 9923 NEW BEST:: SOT 8493207 SOS 1480693 HAS SOPS 1480693 HAS SOUS 1092002 HAS SOUPS 1092002 WITH SCORE 1093482.693
AT ITER 9950 NEW BEST:: SOT 8492913 SOS 1479982 HAS SOPS 1479982 HAS SOUS 1091410 HAS SOUPS 1091410 WITH SCORE 1092889.982
AT ITER 9961 NEW BEST:: SOT 8492679 SOS 1479748 HAS SOPS 1479748 HAS SOUS 1091176 HAS SOUPS 1091176 WITH SCORE 1092655.748
AT ITER 9965 NEW BEST:: SOT 8492673 SOS 1479736 HAS SOPS 1479736 HAS SOUS 1091164 HAS SOUPS 1091164 WITH SCORE 1092643.736
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 13030664 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152800 kB

BK_TIME_CONFINEMENT_REACHED

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

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="ASLink-PT-08b"
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 ASLink-PT-08b, 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 r003-oct2-167813590500136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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