Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.5M
-rw-r--r-- 1 mcc users 8.5K Feb 26 03:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 03:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 03:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 03:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 17:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 17:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 20K Feb 26 03:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 172K Feb 26 03:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 03:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 03:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 2.0M 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 1679391238191

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SimpleLoadBal-PT-20
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 09:33:59] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 09:33:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 09:33:59] [INFO ] Load time of PNML (sax parser for PT used): 131 ms
[2023-03-21 09:33:59] [INFO ] Transformed 194 places.
[2023-03-21 09:33:59] [INFO ] Transformed 2205 transitions.
[2023-03-21 09:33:59] [INFO ] Found NUPN structural information;
[2023-03-21 09:33:59] [INFO ] Completing missing partition info from NUPN : creating a component with [P_client_idle_1, P_client_idle_2, P_client_idle_3, P_client_idle_4, P_client_idle_5, P_client_idle_6, P_client_idle_7, P_client_idle_8, P_client_idle_9, P_client_idle_10, P_client_idle_11, P_client_idle_12, P_client_idle_13, P_client_idle_14, P_client_idle_15, P_client_idle_16, P_client_idle_17, P_client_idle_18, P_client_idle_19, P_client_idle_20, P_client_waiting_1, P_client_waiting_2, P_client_waiting_3, P_client_waiting_4, P_client_waiting_5, P_client_waiting_6, P_client_waiting_7, P_client_waiting_8, P_client_waiting_9, P_client_waiting_10, P_client_waiting_11, P_client_waiting_12, P_client_waiting_13, P_client_waiting_14, P_client_waiting_15, P_client_waiting_16, P_client_waiting_17, P_client_waiting_18, P_client_waiting_19, P_client_waiting_20, P_client_request_1, P_client_request_2, P_client_request_3, P_client_request_4, P_client_request_5, P_client_request_6, P_client_request_7, P_client_request_8, P_client_request_9, P_client_request_10, P_client_request_11, P_client_request_12, P_client_request_13, P_client_request_14, P_client_request_15, P_client_request_16, P_client_request_17, P_client_request_18, P_client_request_19, P_client_request_20, P_client_ack_1, P_client_ack_2, P_client_ack_3, P_client_ack_4, P_client_ack_5, P_client_ack_6, P_client_ack_7, P_client_ack_8, P_client_ack_9, P_client_ack_10, P_client_ack_11, P_client_ack_12, P_client_ack_13, P_client_ack_14, P_client_ack_15, P_client_ack_16, P_client_ack_17, P_client_ack_18, P_client_ack_19, P_client_ack_20, P_server_idle_1, P_server_idle_2, P_server_waiting_1, P_server_waiting_2, P_server_processed_1, P_server_processed_2, P_server_notification_1, P_server_notification_2, P_server_notification_ack_1, P_server_notification_ack_2, P_server_request_1_1, P_server_request_1_2, P_server_request_2_1, P_server_request_2_2, P_server_request_3_1, P_server_request_3_2, P_server_request_4_1, P_server_request_4_2, P_server_request_5_1, P_server_request_5_2, P_server_request_6_1, P_server_request_6_2, P_server_request_7_1, P_server_request_7_2, P_server_request_8_1, P_server_request_8_2, P_server_request_9_1, P_server_request_9_2, P_server_request_10_1, P_server_request_10_2, P_server_request_11_1, P_server_request_11_2, P_server_request_12_1, P_server_request_12_2, P_server_request_13_1, P_server_request_13_2, P_server_request_14_1, P_server_request_14_2, P_server_request_15_1, P_server_request_15_2, P_server_request_16_1, P_server_request_16_2, P_server_request_17_1, P_server_request_17_2, P_server_request_18_1, P_server_request_18_2, P_server_request_19_1, P_server_request_19_2, P_server_request_20_1, P_server_request_20_2, P_lb_idle_1, P_lb_routing_1_1, P_lb_routing_1_2, P_lb_routing_1_3, P_lb_routing_1_4, P_lb_routing_1_5, P_lb_routing_1_6, P_lb_routing_1_7, P_lb_routing_1_8, P_lb_routing_1_9, P_lb_routing_1_10, P_lb_routing_1_11, P_lb_routing_1_12, P_lb_routing_1_13, P_lb_routing_1_14, P_lb_routing_1_15, P_lb_routing_1_16, P_lb_routing_1_17, P_lb_routing_1_18, P_lb_routing_1_19, P_lb_routing_1_20, P_lb_balancing_1, P_lb_load_1_0, P_lb_load_1_1, P_lb_load_1_2, P_lb_load_1_3, P_lb_load_1_4, P_lb_load_1_5, P_lb_load_1_6, P_lb_load_1_7, P_lb_load_1_8, P_lb_load_1_9, P_lb_load_1_10, P_lb_load_1_11, P_lb_load_1_12, P_lb_load_1_13, P_lb_load_1_14, P_lb_load_1_15, P_lb_load_1_16, P_lb_load_1_17, P_lb_load_1_18, P_lb_load_1_19, P_lb_load_1_20, P_lb_load_2_0, P_lb_load_2_1, P_lb_load_2_2, P_lb_load_2_3, P_lb_load_2_4, P_lb_load_2_5, P_lb_load_2_6, P_lb_load_2_7, P_lb_load_2_8, P_lb_load_2_9, P_lb_load_2_10, P_lb_load_2_11, P_lb_load_2_12, P_lb_load_2_13, P_lb_load_2_14, P_lb_load_2_15, P_lb_load_2_16, P_lb_load_2_17, P_lb_load_2_18, P_lb_load_2_19, P_lb_load_2_20]
[2023-03-21 09:33:59] [INFO ] Parsed PT model containing 194 places and 2205 transitions and 15678 arcs in 202 ms.
[2023-03-21 09:34:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 194 places, 2205 transitions and 15678 arcs took 28 ms.
Total runtime 256 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SimpleLoadBal (PT), instance 20
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 194 places, 2205 transitions, 15678 arcs.
AT ITER 0 NEW BEST:: SOT 401647 SOS 299204 HAS SOPS 287124 HAS SOUS 207080 HAS SOUPS 206749 WITH SCORE 207048.204
AT ITER 1 NEW BEST:: SOT 401533 SOS 299241 HAS SOPS 287161 HAS SOUS 207061 HAS SOUPS 206730 WITH SCORE 207029.241
AT ITER 2 NEW BEST:: SOT 401442 SOS 298611 HAS SOPS 287190 HAS SOUS 206967 HAS SOUPS 206653 WITH SCORE 206951.611
AT ITER 3 NEW BEST:: SOT 401442 SOS 298589 HAS SOPS 287168 HAS SOUS 206945 HAS SOUPS 206631 WITH SCORE 206929.589
AT ITER 4 NEW BEST:: SOT 401317 SOS 298530 HAS SOPS 287109 HAS SOUS 206886 HAS SOUPS 206572 WITH SCORE 206870.53
AT ITER 6 NEW BEST:: SOT 401222 SOS 298529 HAS SOPS 287108 HAS SOUS 206885 HAS SOUPS 206571 WITH SCORE 206869.529
AT ITER 12 NEW BEST:: SOT 401182 SOS 298489 HAS SOPS 287068 HAS SOUS 206845 HAS SOUPS 206531 WITH SCORE 206829.489
AT ITER 13 NEW BEST:: SOT 401139 SOS 298427 HAS SOPS 287006 HAS SOUS 206783 HAS SOUPS 206469 WITH SCORE 206767.427
AT ITER 15 NEW BEST:: SOT 401082 SOS 298455 HAS SOPS 286993 HAS SOUS 206782 HAS SOUPS 206467 WITH SCORE 206765.455
AT ITER 16 NEW BEST:: SOT 401051 SOS 298439 HAS SOPS 286977 HAS SOUS 206766 HAS SOUPS 206451 WITH SCORE 206749.439
AT ITER 18 NEW BEST:: SOT 289528 SOS 234705 HAS SOPS 233943 HAS SOUS 95455 HAS SOUPS 95417 WITH SCORE 95651.705
AT ITER 19 NEW BEST:: SOT 289513 SOS 234690 HAS SOPS 233928 HAS SOUS 95440 HAS SOUPS 95402 WITH SCORE 95636.69
AT ITER 20 NEW BEST:: SOT 289395 SOS 234751 HAS SOPS 233989 HAS SOUS 95431 HAS SOUPS 95393 WITH SCORE 95627.751
AT ITER 24 NEW BEST:: SOT 289391 SOS 234747 HAS SOPS 233985 HAS SOUS 95427 HAS SOUPS 95389 WITH SCORE 95623.747
AT ITER 37 NEW BEST:: SOT 288865 SOS 234197 HAS SOPS 233435 HAS SOUS 93829 HAS SOUPS 93791 WITH SCORE 94025.197
AT ITER 48 NEW BEST:: SOT 288535 SOS 233913 HAS SOPS 233151 HAS SOUS 92110 HAS SOUPS 92072 WITH SCORE 92305.913
AT ITER 51 NEW BEST:: SOT 288420 SOS 233800 HAS SOPS 233038 HAS SOUS 91996 HAS SOUPS 91958 WITH SCORE 92191.8
AT ITER 64 NEW BEST:: SOT 288424 SOS 233804 HAS SOPS 233040 HAS SOUS 91997 HAS SOUPS 91957 WITH SCORE 92190.804
AT ITER 68 NEW BEST:: SOT 290486 SOS 235808 HAS SOPS 235044 HAS SOUS 91879 HAS SOUPS 91839 WITH SCORE 92074.808
AT ITER 73 NEW BEST:: SOT 290490 SOS 235830 HAS SOPS 235066 HAS SOUS 91803 HAS SOUPS 91763 WITH SCORE 91998.83
AT ITER 77 NEW BEST:: SOT 288595 SOS 233877 HAS SOPS 233113 HAS SOUS 87607 HAS SOUPS 87567 WITH SCORE 87800.877
AT ITER 86 NEW BEST:: SOT 288590 SOS 233850 HAS SOPS 233086 HAS SOUS 87580 HAS SOUPS 87540 WITH SCORE 87773.85
AT ITER 91 NEW BEST:: SOT 288594 SOS 233819 HAS SOPS 233055 HAS SOUS 87541 HAS SOUPS 87501 WITH SCORE 87734.819
AT ITER 96 NEW BEST:: SOT 288584 SOS 233819 HAS SOPS 233055 HAS SOUS 87525 HAS SOUPS 87485 WITH SCORE 87718.819
AT ITER 97 NEW BEST:: SOT 288584 SOS 194777 HAS SOPS 190193 HAS SOUS 87641 HAS SOUPS 87506 WITH SCORE 87700.777
AT ITER 99 NEW BEST:: SOT 288576 SOS 194769 HAS SOPS 190185 HAS SOUS 87633 HAS SOUPS 87498 WITH SCORE 87692.769
AT ITER 101 NEW BEST:: SOT 288453 SOS 194788 HAS SOPS 190204 HAS SOUS 87573 HAS SOUPS 87438 WITH SCORE 87632.788
AT ITER 102 NEW BEST:: SOT 288446 SOS 194781 HAS SOPS 190197 HAS SOUS 87559 HAS SOUPS 87424 WITH SCORE 87618.781
AT ITER 108 NEW BEST:: SOT 288390 SOS 194735 HAS SOPS 190151 HAS SOUS 87423 HAS SOUPS 87288 WITH SCORE 87482.735
AT ITER 121 NEW BEST:: SOT 288348 SOS 194693 HAS SOPS 190109 HAS SOUS 87381 HAS SOUPS 87246 WITH SCORE 87440.693
AT ITER 132 NEW BEST:: SOT 288343 SOS 194669 HAS SOPS 190085 HAS SOUS 87358 HAS SOUPS 87223 WITH SCORE 87417.669
AT ITER 139 NEW BEST:: SOT 288328 SOS 194654 HAS SOPS 190070 HAS SOUS 87343 HAS SOUPS 87208 WITH SCORE 87402.654
AT ITER 144 NEW BEST:: SOT 288202 SOS 194435 HAS SOPS 189851 HAS SOUS 87050 HAS SOUPS 86915 WITH SCORE 87109.435
AT ITER 148 NEW BEST:: SOT 288157 SOS 194221 HAS SOPS 189637 HAS SOUS 86985 HAS SOUPS 86850 WITH SCORE 87044.221
AT ITER 157 NEW BEST:: SOT 288146 SOS 194200 HAS SOPS 189616 HAS SOUS 86964 HAS SOUPS 86829 WITH SCORE 87023.2
AT ITER 158 NEW BEST:: SOT 287970 SOS 194040 HAS SOPS 189456 HAS SOUS 86875 HAS SOUPS 86740 WITH SCORE 86934.04
AT ITER 161 NEW BEST:: SOT 287958 SOS 194028 HAS SOPS 189444 HAS SOUS 86863 HAS SOUPS 86728 WITH SCORE 86922.028
AT ITER 187 NEW BEST:: SOT 287950 SOS 194020 HAS SOPS 189436 HAS SOUS 86847 HAS SOUPS 86712 WITH SCORE 86906.02
AT ITER 190 NEW BEST:: SOT 287496 SOS 193566 HAS SOPS 188982 HAS SOUS 85531 HAS SOUPS 85396 WITH SCORE 85589.566
AT ITER 194 NEW BEST:: SOT 287438 SOS 193508 HAS SOPS 188924 HAS SOUS 85513 HAS SOUPS 85378 WITH SCORE 85571.508
AT ITER 207 NEW BEST:: SOT 286700 SOS 192770 HAS SOPS 188186 HAS SOUS 83465 HAS SOUPS 83330 WITH SCORE 83522.77
AT ITER 209 NEW BEST:: SOT 286319 SOS 192363 HAS SOPS 187779 HAS SOUS 82210 HAS SOUPS 82075 WITH SCORE 82267.363
AT ITER 217 NEW BEST:: SOT 286220 SOS 198541 HAS SOPS 191936 HAS SOUS 82160 HAS SOUPS 81977 WITH SCORE 82175.541
AT ITER 224 NEW BEST:: SOT 286205 SOS 198509 HAS SOPS 191904 HAS SOUS 82128 HAS SOUPS 81945 WITH SCORE 82143.509
AT ITER 225 NEW BEST:: SOT 286177 SOS 198488 HAS SOPS 191883 HAS SOUS 82107 HAS SOUPS 81924 WITH SCORE 82122.488
AT ITER 229 NEW BEST:: SOT 286143 SOS 198444 HAS SOPS 191839 HAS SOUS 82063 HAS SOUPS 81880 WITH SCORE 82078.444
AT ITER 234 NEW BEST:: SOT 286119 SOS 198419 HAS SOPS 191814 HAS SOUS 82038 HAS SOUPS 81855 WITH SCORE 82053.419
AT ITER 236 NEW BEST:: SOT 285591 SOS 197874 HAS SOPS 191269 HAS SOUS 80604 HAS SOUPS 80421 WITH SCORE 80618.874
AT ITER 239 NEW BEST:: SOT 285588 SOS 191574 HAS SOPS 186990 HAS SOUS 80468 HAS SOUPS 80333 WITH SCORE 80524.574
AT ITER 248 NEW BEST:: SOT 285204 SOS 191159 HAS SOPS 186575 HAS SOUS 79035 HAS SOUPS 78900 WITH SCORE 79091.159
AT ITER 251 NEW BEST:: SOT 284710 SOS 190665 HAS SOPS 186081 HAS SOUS 78541 HAS SOUPS 78406 WITH SCORE 78596.665
AT ITER 253 NEW BEST:: SOT 284386 SOS 190345 HAS SOPS 185761 HAS SOUS 78221 HAS SOUPS 78086 WITH SCORE 78276.345
AT ITER 267 NEW BEST:: SOT 284301 SOS 190260 HAS SOPS 185676 HAS SOUS 78136 HAS SOUPS 78001 WITH SCORE 78191.26
AT ITER 273 NEW BEST:: SOT 284242 SOS 190025 HAS SOPS 185441 HAS SOUS 78040 HAS SOUPS 77905 WITH SCORE 78095.025
AT ITER 274 NEW BEST:: SOT 283394 SOS 189177 HAS SOPS 184593 HAS SOUS 77879 HAS SOUPS 77744 WITH SCORE 77933.177
AT ITER 278 NEW BEST:: SOT 283380 SOS 189163 HAS SOPS 184579 HAS SOUS 77865 HAS SOUPS 77730 WITH SCORE 77919.163
AT ITER 281 NEW BEST:: SOT 282179 SOS 187962 HAS SOPS 183378 HAS SOUS 74618 HAS SOUPS 74483 WITH SCORE 74670.962
AT ITER 292 NEW BEST:: SOT 281994 SOS 187818 HAS SOPS 183234 HAS SOUS 74171 HAS SOUPS 74036 WITH SCORE 74223.818
AT ITER 293 NEW BEST:: SOT 282029 SOS 188093 HAS SOPS 183737 HAS SOUS 74143 HAS SOUPS 74008 WITH SCORE 74196.093
AT ITER 313 NEW BEST:: SOT 281982 SOS 188046 HAS SOPS 183690 HAS SOUS 74096 HAS SOUPS 73961 WITH SCORE 74149.046
AT ITER 326 NEW BEST:: SOT 281914 SOS 187976 HAS SOPS 183620 HAS SOUS 73950 HAS SOUPS 73815 WITH SCORE 74002.976
AT ITER 331 NEW BEST:: SOT 281910 SOS 187956 HAS SOPS 183600 HAS SOUS 73930 HAS SOUPS 73795 WITH SCORE 73982.956
AT ITER 333 NEW BEST:: SOT 282687 SOS 188735 HAS SOPS 184379 HAS SOUS 73763 HAS SOUPS 73628 WITH SCORE 73816.735
AT ITER 340 NEW BEST:: SOT 282171 SOS 188204 HAS SOPS 183848 HAS SOUS 72677 HAS SOUPS 72542 WITH SCORE 72730.204
AT ITER 368 NEW BEST:: SOT 282171 SOS 188184 HAS SOPS 183828 HAS SOUS 72657 HAS SOUPS 72522 WITH SCORE 72710.184
AT ITER 370 NEW BEST:: SOT 281005 SOS 187018 HAS SOPS 182662 HAS SOUS 70149 HAS SOUPS 70014 WITH SCORE 70201.018
AT ITER 372 NEW BEST:: SOT 280806 SOS 186574 HAS SOPS 182218 HAS SOUS 69756 HAS SOUPS 69621 WITH SCORE 69807.574
AT ITER 375 NEW BEST:: SOT 280806 SOS 186491 HAS SOPS 182135 HAS SOUS 69626 HAS SOUPS 69491 WITH SCORE 69677.491
AT ITER 378 NEW BEST:: SOT 280681 SOS 186406 HAS SOPS 182050 HAS SOUS 69518 HAS SOUPS 69383 WITH SCORE 69569.406
AT ITER 388 NEW BEST:: SOT 280681 SOS 186408 HAS SOPS 182052 HAS SOUS 69364 HAS SOUPS 69229 WITH SCORE 69415.408
AT ITER 393 NEW BEST:: SOT 280624 SOS 186363 HAS SOPS 182007 HAS SOUS 69362 HAS SOUPS 69227 WITH SCORE 69413.363
AT ITER 395 NEW BEST:: SOT 280624 SOS 186347 HAS SOPS 181991 HAS SOUS 69346 HAS SOUPS 69211 WITH SCORE 69397.347
AT ITER 401 NEW BEST:: SOT 280622 SOS 186345 HAS SOPS 181989 HAS SOUS 69337 HAS SOUPS 69202 WITH SCORE 69388.345
AT ITER 405 NEW BEST:: SOT 279494 SOS 185213 HAS SOPS 180857 HAS SOUS 68218 HAS SOUPS 68083 WITH SCORE 68268.213
AT ITER 406 NEW BEST:: SOT 281301 SOS 187140 HAS SOPS 182784 HAS SOUS 67393 HAS SOUPS 67258 WITH SCORE 67445.14
AT ITER 407 NEW BEST:: SOT 281296 SOS 187113 HAS SOPS 182757 HAS SOUS 67366 HAS SOUPS 67231 WITH SCORE 67418.113
AT ITER 414 NEW BEST:: SOT 281668 SOS 187477 HAS SOPS 183121 HAS SOUS 66650 HAS SOUPS 66515 WITH SCORE 66702.477
AT ITER 415 NEW BEST:: SOT 281646 SOS 187455 HAS SOPS 183099 HAS SOUS 66628 HAS SOUPS 66493 WITH SCORE 66680.455
AT ITER 419 NEW BEST:: SOT 281646 SOS 186292 HAS SOPS 182237 HAS SOUS 66613 HAS SOUPS 66485 WITH SCORE 66671.292
AT ITER 426 NEW BEST:: SOT 281632 SOS 186255 HAS SOPS 182200 HAS SOUS 66596 HAS SOUPS 66468 WITH SCORE 66654.255
AT ITER 431 NEW BEST:: SOT 281120 SOS 185743 HAS SOPS 181688 HAS SOUS 65498 HAS SOUPS 65370 WITH SCORE 65555.743
AT ITER 437 NEW BEST:: SOT 280908 SOS 185531 HAS SOPS 181476 HAS SOUS 65120 HAS SOUPS 64992 WITH SCORE 65177.531
AT ITER 439 NEW BEST:: SOT 280885 SOS 185416 HAS SOPS 181361 HAS SOUS 65079 HAS SOUPS 64951 WITH SCORE 65136.416
AT ITER 446 NEW BEST:: SOT 280673 SOS 185199 HAS SOPS 181144 HAS SOUS 64548 HAS SOUPS 64420 WITH SCORE 64605.199
AT ITER 464 NEW BEST:: SOT 280665 SOS 185191 HAS SOPS 181136 HAS SOUS 64532 HAS SOUPS 64404 WITH SCORE 64589.191
AT ITER 465 NEW BEST:: SOT 280644 SOS 185166 HAS SOPS 181111 HAS SOUS 64507 HAS SOUPS 64379 WITH SCORE 64564.166
AT ITER 484 NEW BEST:: SOT 280631 SOS 185204 HAS SOPS 181149 HAS SOUS 64411 HAS SOUPS 64283 WITH SCORE 64468.204
AT ITER 485 NEW BEST:: SOT 278912 SOS 183446 HAS SOPS 179391 HAS SOUS 63009 HAS SOUPS 62881 WITH SCORE 63064.446
AT ITER 502 NEW BEST:: SOT 278790 SOS 183220 HAS SOPS 179165 HAS SOUS 62719 HAS SOUPS 62591 WITH SCORE 62774.22
AT ITER 519 NEW BEST:: SOT 278788 SOS 183215 HAS SOPS 179160 HAS SOUS 62714 HAS SOUPS 62586 WITH SCORE 62769.215
AT ITER 533 NEW BEST:: SOT 278777 SOS 183166 HAS SOPS 179111 HAS SOUS 62695 HAS SOUPS 62567 WITH SCORE 62750.166
AT ITER 538 NEW BEST:: SOT 278690 SOS 183079 HAS SOPS 179024 HAS SOUS 62608 HAS SOUPS 62480 WITH SCORE 62663.079
AT ITER 570 NEW BEST:: SOT 278690 SOS 183091 HAS SOPS 179036 HAS SOUS 58961 HAS SOUPS 58833 WITH SCORE 59016.091
AT ITER 573 NEW BEST:: SOT 278500 SOS 182901 HAS SOPS 178846 HAS SOUS 58771 HAS SOUPS 58643 WITH SCORE 58825.901
AT ITER 582 NEW BEST:: SOT 279549 SOS 184121 HAS SOPS 180066 HAS SOUS 58389 HAS SOUPS 58261 WITH SCORE 58445.121
AT ITER 604 NEW BEST:: SOT 279559 SOS 184131 HAS SOPS 180074 HAS SOUS 58387 HAS SOUPS 58259 WITH SCORE 58443.131
AT ITER 605 NEW BEST:: SOT 279559 SOS 184130 HAS SOPS 180073 HAS SOUS 58386 HAS SOUPS 58258 WITH SCORE 58442.13
AT ITER 616 NEW BEST:: SOT 279557 SOS 184128 HAS SOPS 180071 HAS SOUS 58346 HAS SOUPS 58218 WITH SCORE 58402.128
AT ITER 619 NEW BEST:: SOT 279546 SOS 184117 HAS SOPS 180060 HAS SOUS 58335 HAS SOUPS 58207 WITH SCORE 58391.117
AT ITER 647 NEW BEST:: SOT 279546 SOS 184107 HAS SOPS 180050 HAS SOUS 58333 HAS SOUPS 58205 WITH SCORE 58389.107
AT ITER 660 NEW BEST:: SOT 279535 SOS 184091 HAS SOPS 180034 HAS SOUS 58317 HAS SOUPS 58189 WITH SCORE 58373.091
AT ITER 681 NEW BEST:: SOT 279531 SOS 184058 HAS SOPS 180001 HAS SOUS 58301 HAS SOUPS 58173 WITH SCORE 58357.058
AT ITER 684 NEW BEST:: SOT 279531 SOS 184050 HAS SOPS 179993 HAS SOUS 58301 HAS SOUPS 58173 WITH SCORE 58357.05
AT ITER 687 NEW BEST:: SOT 278451 SOS 182998 HAS SOPS 178941 HAS SOUS 57249 HAS SOUPS 57121 WITH SCORE 57303.998
AT ITER 693 NEW BEST:: SOT 278272 SOS 182830 HAS SOPS 178773 HAS SOUS 57081 HAS SOUPS 56953 WITH SCORE 57135.83
AT ITER 701 NEW BEST:: SOT 277975 SOS 182533 HAS SOPS 178476 HAS SOUS 56860 HAS SOUPS 56732 WITH SCORE 56914.533
AT ITER 705 NEW BEST:: SOT 277127 SOS 181685 HAS SOPS 177628 HAS SOUS 56002 HAS SOUPS 55874 WITH SCORE 56055.685
AT ITER 710 NEW BEST:: SOT 277087 SOS 181622 HAS SOPS 177565 HAS SOUS 55922 HAS SOUPS 55794 WITH SCORE 55975.622
AT ITER 717 NEW BEST:: SOT 278329 SOS 182898 HAS SOPS 178841 HAS SOUS 55828 HAS SOUPS 55700 WITH SCORE 55882.898
AT ITER 725 NEW BEST:: SOT 278091 SOS 182660 HAS SOPS 178603 HAS SOUS 55650 HAS SOUPS 55522 WITH SCORE 55704.66
AT ITER 731 NEW BEST:: SOT 278083 SOS 182652 HAS SOPS 178595 HAS SOUS 55326 HAS SOUPS 55198 WITH SCORE 55380.652
AT ITER 740 NEW BEST:: SOT 278075 SOS 182644 HAS SOPS 178587 HAS SOUS 55318 HAS SOUPS 55190 WITH SCORE 55372.644
AT ITER 781 NEW BEST:: SOT 278122 SOS 182675 HAS SOPS 178618 HAS SOUS 55278 HAS SOUPS 55150 WITH SCORE 55332.675
AT ITER 790 NEW BEST:: SOT 276669 SOS 181222 HAS SOPS 177165 HAS SOUS 53825 HAS SOUPS 53697 WITH SCORE 53878.222
AT ITER 856 NEW BEST:: SOT 273630 SOS 180523 HAS SOPS 176630 HAS SOUS 52802 HAS SOUPS 52674 WITH SCORE 52854.523
AT ITER 863 NEW BEST:: SOT 273252 SOS 181138 HAS SOPS 177509 HAS SOUS 52595 HAS SOUPS 52467 WITH SCORE 52648.138
AT ITER 888 NEW BEST:: SOT 273240 SOS 181138 HAS SOPS 177509 HAS SOUS 52585 HAS SOUPS 52457 WITH SCORE 52638.138
AT ITER 890 NEW BEST:: SOT 273888 SOS 175248 HAS SOPS 171835 HAS SOUS 52572 HAS SOUPS 52459 WITH SCORE 52634.248
AT ITER 912 NEW BEST:: SOT 273834 SOS 175050 HAS SOPS 171637 HAS SOUS 52434 HAS SOUPS 52321 WITH SCORE 52496.05
AT ITER 913 NEW BEST:: SOT 273911 SOS 175127 HAS SOPS 171714 HAS SOUS 52408 HAS SOUPS 52295 WITH SCORE 52470.127
AT ITER 915 NEW BEST:: SOT 273898 SOS 175095 HAS SOPS 171682 HAS SOUS 52374 HAS SOUPS 52261 WITH SCORE 52436.095
AT ITER 946 NEW BEST:: SOT 274824 SOS 176124 HAS SOPS 172711 HAS SOUS 52139 HAS SOUPS 52026 WITH SCORE 52202.124
AT ITER 953 NEW BEST:: SOT 274764 SOS 174620 HAS SOPS 171207 HAS SOUS 51839 HAS SOUPS 51726 WITH SCORE 51900.62
AT ITER 971 NEW BEST:: SOT 275648 SOS 175487 HAS SOPS 172074 HAS SOUS 51799 HAS SOUPS 51686 WITH SCORE 51861.487
AT ITER 1000 NEW BEST:: SOT 275417 SOS 175264 HAS SOPS 171851 HAS SOUS 51446 HAS SOUPS 51333 WITH SCORE 51508.264
AT ITER 1016 NEW BEST:: SOT 275411 SOS 175261 HAS SOPS 171848 HAS SOUS 51430 HAS SOUPS 51317 WITH SCORE 51492.261
AT ITER 1022 NEW BEST:: SOT 275430 SOS 171618 HAS SOPS 159397 HAS SOUS 50844 HAS SOUPS 50157 WITH SCORE 50328.618
AT ITER 1042 NEW BEST:: SOT 275430 SOS 171616 HAS SOPS 159395 HAS SOUS 50827 HAS SOUPS 50140 WITH SCORE 50311.616
AT ITER 1046 NEW BEST:: SOT 275443 SOS 171603 HAS SOPS 159382 HAS SOUS 50827 HAS SOUPS 50140 WITH SCORE 50311.603
AT ITER 1053 NEW BEST:: SOT 275443 SOS 171598 HAS SOPS 159377 HAS SOUS 50822 HAS SOUPS 50135 WITH SCORE 50306.598
AT ITER 1057 NEW BEST:: SOT 275442 SOS 171597 HAS SOPS 159376 HAS SOUS 50821 HAS SOUPS 50134 WITH SCORE 50305.597
AT ITER 1062 NEW BEST:: SOT 275437 SOS 171592 HAS SOPS 159371 HAS SOUS 50816 HAS SOUPS 50129 WITH SCORE 50300.592
AT ITER 1065 NEW BEST:: SOT 274857 SOS 171012 HAS SOPS 158791 HAS SOUS 49626 HAS SOUPS 48939 WITH SCORE 49110.012
AT ITER 1113 NEW BEST:: SOT 274651 SOS 170796 HAS SOPS 158575 HAS SOUS 49012 HAS SOUPS 48325 WITH SCORE 48495.796
AT ITER 1114 NEW BEST:: SOT 274539 SOS 170672 HAS SOPS 158451 HAS SOUS 48888 HAS SOUPS 48201 WITH SCORE 48371.672
AT ITER 1118 NEW BEST:: SOT 274505 SOS 170617 HAS SOPS 158396 HAS SOUS 48833 HAS SOUPS 48146 WITH SCORE 48316.617
AT ITER 1153 NEW BEST:: SOT 274452 SOS 170636 HAS SOPS 158415 HAS SOUS 48788 HAS SOUPS 48101 WITH SCORE 48271.636
AT ITER 1203 NEW BEST:: SOT 274425 SOS 170488 HAS SOPS 158267 HAS SOUS 48738 HAS SOUPS 48051 WITH SCORE 48221.488
AT ITER 1237 NEW BEST:: SOT 274345 SOS 170359 HAS SOPS 158138 HAS SOUS 48603 HAS SOUPS 47916 WITH SCORE 48086.359
AT ITER 1280 NEW BEST:: SOT 274345 SOS 170912 HAS SOPS 158145 HAS SOUS 48558 HAS SOUPS 47885 WITH SCORE 48055.912
AT ITER 1287 NEW BEST:: SOT 274297 SOS 168414 HAS SOPS 155043 HAS SOUS 47182 HAS SOUPS 46509 WITH SCORE 46677.414
AT ITER 1304 NEW BEST:: SOT 274252 SOS 168298 HAS SOPS 154927 HAS SOUS 47114 HAS SOUPS 46441 WITH SCORE 46609.298
AT ITER 1323 NEW BEST:: SOT 274132 SOS 168166 HAS SOPS 154795 HAS SOUS 46658 HAS SOUPS 45985 WITH SCORE 46153.166
AT ITER 1354 NEW BEST:: SOT 274115 SOS 168132 HAS SOPS 154761 HAS SOUS 46624 HAS SOUPS 45951 WITH SCORE 46119.132
AT ITER 1379 NEW BEST:: SOT 273673 SOS 167710 HAS SOPS 154339 HAS SOUS 45636 HAS SOUPS 44963 WITH SCORE 45130.71
AT ITER 1395 NEW BEST:: SOT 273553 SOS 167631 HAS SOPS 154260 HAS SOUS 45568 HAS SOUPS 44895 WITH SCORE 45062.631
AT ITER 1399 NEW BEST:: SOT 273553 SOS 167629 HAS SOPS 154258 HAS SOUS 45566 HAS SOUPS 44893 WITH SCORE 45060.629
AT ITER 1407 NEW BEST:: SOT 273553 SOS 167628 HAS SOPS 154254 HAS SOUS 45554 HAS SOUPS 44878 WITH SCORE 45045.628
AT ITER 1408 NEW BEST:: SOT 273933 SOS 168049 HAS SOPS 154675 HAS SOUS 44717 HAS SOUPS 44041 WITH SCORE 44209.049
AT ITER 1430 NEW BEST:: SOT 273926 SOS 168022 HAS SOPS 154648 HAS SOUS 44702 HAS SOUPS 44026 WITH SCORE 44194.022
AT ITER 1456 NEW BEST:: SOT 273921 SOS 168013 HAS SOPS 154639 HAS SOUS 44693 HAS SOUPS 44017 WITH SCORE 44185.013
AT ITER 1484 NEW BEST:: SOT 273887 SOS 167963 HAS SOPS 154589 HAS SOUS 44331 HAS SOUPS 43655 WITH SCORE 43822.963
AT ITER 1504 NEW BEST:: SOT 273990 SOS 168049 HAS SOPS 154675 HAS SOUS 44185 HAS SOUPS 43509 WITH SCORE 43677.049
AT ITER 1505 NEW BEST:: SOT 273990 SOS 168032 HAS SOPS 154658 HAS SOUS 44168 HAS SOUPS 43492 WITH SCORE 43660.032
AT ITER 1533 NEW BEST:: SOT 273938 SOS 167968 HAS SOPS 154594 HAS SOUS 44104 HAS SOUPS 43428 WITH SCORE 43595.968
AT ITER 1561 NEW BEST:: SOT 273935 SOS 167959 HAS SOPS 154585 HAS SOUS 44101 HAS SOUPS 43425 WITH SCORE 43592.959
AT ITER 1564 NEW BEST:: SOT 271284 SOS 166155 HAS SOPS 152781 HAS SOUS 41784 HAS SOUPS 41108 WITH SCORE 41274.155
AT ITER 1623 NEW BEST:: SOT 271284 SOS 166835 HAS SOPS 153001 HAS SOUS 41713 HAS SOUPS 41052 WITH SCORE 41218.835
AT ITER 1625 NEW BEST:: SOT 271136 SOS 166682 HAS SOPS 152848 HAS SOUS 41560 HAS SOUPS 40899 WITH SCORE 41065.682
AT ITER 1637 NEW BEST:: SOT 271136 SOS 170073 HAS SOPS 156984 HAS SOUS 41447 HAS SOUPS 40710 WITH SCORE 40880.073
AT ITER 1638 NEW BEST:: SOT 271136 SOS 170067 HAS SOPS 156978 HAS SOUS 41441 HAS SOUPS 40704 WITH SCORE 40874.067
AT ITER 1657 NEW BEST:: SOT 271136 SOS 170072 HAS SOPS 156936 HAS SOUS 41444 HAS SOUPS 40703 WITH SCORE 40873.072
AT ITER 1663 NEW BEST:: SOT 271122 SOS 170050 HAS SOPS 156914 HAS SOUS 41422 HAS SOUPS 40681 WITH SCORE 40851.05
AT ITER 1678 NEW BEST:: SOT 271123 SOS 170038 HAS SOPS 156902 HAS SOUS 41410 HAS SOUPS 40669 WITH SCORE 40839.038
AT ITER 1701 NEW BEST:: SOT 271121 SOS 170036 HAS SOPS 156900 HAS SOUS 41408 HAS SOUPS 40667 WITH SCORE 40837.036
AT ITER 1717 NEW BEST:: SOT 271110 SOS 170019 HAS SOPS 156883 HAS SOUS 41391 HAS SOUPS 40650 WITH SCORE 40820.019
AT ITER 1719 NEW BEST:: SOT 270725 SOS 169629 HAS SOPS 156493 HAS SOUS 41004 HAS SOUPS 40263 WITH SCORE 40432.629
AT ITER 1736 NEW BEST:: SOT 270429 SOS 169344 HAS SOPS 156197 HAS SOUS 40730 HAS SOUPS 39982 WITH SCORE 40151.344
AT ITER 1751 NEW BEST:: SOT 270440 SOS 169342 HAS SOPS 156195 HAS SOUS 40726 HAS SOUPS 39978 WITH SCORE 40147.342
AT ITER 1760 NEW BEST:: SOT 270446 SOS 169387 HAS SOPS 156240 HAS SOUS 40720 HAS SOUPS 39972 WITH SCORE 40141.387
AT ITER 1795 NEW BEST:: SOT 270446 SOS 169386 HAS SOPS 156239 HAS SOUS 40719 HAS SOUPS 39971 WITH SCORE 40140.386
AT ITER 1801 NEW BEST:: SOT 270413 SOS 169357 HAS SOPS 156210 HAS SOUS 40702 HAS SOUPS 39954 WITH SCORE 40123.357
AT ITER 1812 NEW BEST:: SOT 270287 SOS 169238 HAS SOPS 156091 HAS SOUS 40583 HAS SOUPS 39835 WITH SCORE 40004.238
AT ITER 1819 NEW BEST:: SOT 270282 SOS 169225 HAS SOPS 156078 HAS SOUS 40570 HAS SOUPS 39822 WITH SCORE 39991.225
AT ITER 1832 NEW BEST:: SOT 270244 SOS 169149 HAS SOPS 156002 HAS SOUS 37568 HAS SOUPS 36820 WITH SCORE 36989.149
AT ITER 1835 NEW BEST:: SOT 270244 SOS 169147 HAS SOPS 155991 HAS SOUS 37508 HAS SOUPS 36760 WITH SCORE 36929.147
AT ITER 1843 NEW BEST:: SOT 269953 SOS 170667 HAS SOPS 159253 HAS SOUS 37547 HAS SOUPS 36715 WITH SCORE 36885.667
AT ITER 1896 NEW BEST:: SOT 269953 SOS 170566 HAS SOPS 158631 HAS SOUS 37523 HAS SOUPS 36692 WITH SCORE 36862.566
AT ITER 1898 NEW BEST:: SOT 269953 SOS 169672 HAS SOPS 156767 HAS SOUS 37481 HAS SOUPS 36661 WITH SCORE 36830.672
AT ITER 1910 NEW BEST:: SOT 269953 SOS 169670 HAS SOPS 156725 HAS SOUS 37482 HAS SOUPS 36657 WITH SCORE 36826.67
AT ITER 1917 NEW BEST:: SOT 269935 SOS 169634 HAS SOPS 156689 HAS SOUS 37446 HAS SOUPS 36621 WITH SCORE 36790.634
AT ITER 1929 NEW BEST:: SOT 269932 SOS 169631 HAS SOPS 156686 HAS SOUS 37443 HAS SOUPS 36618 WITH SCORE 36787.631
AT ITER 1971 NEW BEST:: SOT 269922 SOS 169618 HAS SOPS 156673 HAS SOUS 37140 HAS SOUPS 36315 WITH SCORE 36484.618
AT ITER 1981 NEW BEST:: SOT 269922 SOS 169618 HAS SOPS 156672 HAS SOUS 37135 HAS SOUPS 36310 WITH SCORE 36479.618
AT ITER 1982 NEW BEST:: SOT 269913 SOS 167855 HAS SOPS 155360 HAS SOUS 36977 HAS SOUPS 36195 WITH SCORE 36362.855
AT ITER 1999 NEW BEST:: SOT 269913 SOS 168196 HAS SOPS 155170 HAS SOUS 36943 HAS SOUPS 36169 WITH SCORE 36337.196
AT ITER 2060 NEW BEST:: SOT 269912 SOS 168195 HAS SOPS 155169 HAS SOUS 36942 HAS SOUPS 36168 WITH SCORE 36336.195
AT ITER 2068 NEW BEST:: SOT 269912 SOS 168184 HAS SOPS 155158 HAS SOUS 36936 HAS SOUPS 36162 WITH SCORE 36330.184
AT ITER 2105 NEW BEST:: SOT 270292 SOS 168602 HAS SOPS 155576 HAS SOUS 36624 HAS SOUPS 35850 WITH SCORE 36018.602
AT ITER 2141 NEW BEST:: SOT 270185 SOS 168526 HAS SOPS 155500 HAS SOUS 36610 HAS SOUPS 35836 WITH SCORE 36004.526
AT ITER 2179 NEW BEST:: SOT 270161 SOS 168542 HAS SOPS 155516 HAS SOUS 36600 HAS SOUPS 35826 WITH SCORE 35994.542
AT ITER 2214 NEW BEST:: SOT 270152 SOS 168533 HAS SOPS 155507 HAS SOUS 36591 HAS SOUPS 35817 WITH SCORE 35985.533
AT ITER 2230 NEW BEST:: SOT 270091 SOS 168472 HAS SOPS 155446 HAS SOUS 36529 HAS SOUPS 35755 WITH SCORE 35923.472
AT ITER 2239 NEW BEST:: SOT 270031 SOS 168412 HAS SOPS 155386 HAS SOUS 36391 HAS SOUPS 35617 WITH SCORE 35785.412
AT ITER 2242 NEW BEST:: SOT 270021 SOS 167114 HAS SOPS 154518 HAS SOUS 36361 HAS SOUPS 35597 WITH SCORE 35764.114
AT ITER 2309 NEW BEST:: SOT 271025 SOS 168162 HAS SOPS 155566 HAS SOUS 35984 HAS SOUPS 35220 WITH SCORE 35388.162
AT ITER 2340 NEW BEST:: SOT 271022 SOS 167499 HAS SOPS 155075 HAS SOUS 35973 HAS SOUPS 35213 WITH SCORE 35380.499
AT ITER 2351 NEW BEST:: SOT 270736 SOS 167221 HAS SOPS 154797 HAS SOUS 35915 HAS SOUPS 35155 WITH SCORE 35322.221
AT ITER 2358 NEW BEST:: SOT 270736 SOS 166601 HAS SOPS 154177 HAS SOUS 35913 HAS SOUPS 35153 WITH SCORE 35319.601
AT ITER 2367 NEW BEST:: SOT 270545 SOS 166243 HAS SOPS 153819 HAS SOUS 35592 HAS SOUPS 34832 WITH SCORE 34998.243
AT ITER 2368 NEW BEST:: SOT 270550 SOS 166220 HAS SOPS 153796 HAS SOUS 35586 HAS SOUPS 34826 WITH SCORE 34992.22
AT ITER 2387 NEW BEST:: SOT 270551 SOS 166217 HAS SOPS 153793 HAS SOUS 35585 HAS SOUPS 34825 WITH SCORE 34991.217
AT ITER 2400 NEW BEST:: SOT 270550 SOS 166216 HAS SOPS 153792 HAS SOUS 35584 HAS SOUPS 34824 WITH SCORE 34990.216
AT ITER 2411 NEW BEST:: SOT 270550 SOS 166216 HAS SOPS 153795 HAS SOUS 35579 HAS SOUPS 34819 WITH SCORE 34985.216
AT ITER 2432 NEW BEST:: SOT 270512 SOS 166177 HAS SOPS 153756 HAS SOUS 35540 HAS SOUPS 34780 WITH SCORE 34946.177
AT ITER 2445 NEW BEST:: SOT 270322 SOS 165987 HAS SOPS 153566 HAS SOUS 35370 HAS SOUPS 34610 WITH SCORE 34775.987
AT ITER 2472 NEW BEST:: SOT 270182 SOS 165836 HAS SOPS 153415 HAS SOUS 35219 HAS SOUPS 34459 WITH SCORE 34624.836
AT ITER 2533 NEW BEST:: SOT 269107 SOS 164761 HAS SOPS 152340 HAS SOUS 34590 HAS SOUPS 33830 WITH SCORE 33994.761
AT ITER 2598 NEW BEST:: SOT 269020 SOS 164695 HAS SOPS 152274 HAS SOUS 34517 HAS SOUPS 33757 WITH SCORE 33921.695
AT ITER 2661 NEW BEST:: SOT 269020 SOS 164679 HAS SOPS 151938 HAS SOUS 34477 HAS SOUPS 33717 WITH SCORE 33881.679
AT ITER 2686 NEW BEST:: SOT 269011 SOS 164670 HAS SOPS 151929 HAS SOUS 34468 HAS SOUPS 33708 WITH SCORE 33872.67
AT ITER 2693 NEW BEST:: SOT 268555 SOS 164214 HAS SOPS 151473 HAS SOUS 34420 HAS SOUPS 33660 WITH SCORE 33824.214
AT ITER 2721 NEW BEST:: SOT 268565 SOS 164229 HAS SOPS 151488 HAS SOUS 34406 HAS SOUPS 33646 WITH SCORE 33810.229
AT ITER 2730 NEW BEST:: SOT 268558 SOS 164200 HAS SOPS 151459 HAS SOUS 34377 HAS SOUPS 33617 WITH SCORE 33781.2
AT ITER 2747 NEW BEST:: SOT 268558 SOS 164196 HAS SOPS 151455 HAS SOUS 34377 HAS SOUPS 33617 WITH SCORE 33781.196
AT ITER 2754 NEW BEST:: SOT 268558 SOS 164609 HAS SOPS 151679 HAS SOUS 34365 HAS SOUPS 33611 WITH SCORE 33775.609
AT ITER 2776 NEW BEST:: SOT 268090 SOS 169887 HAS SOPS 155435 HAS SOUS 34203 HAS SOUPS 33365 WITH SCORE 33534.887
AT ITER 2778 NEW BEST:: SOT 268086 SOS 169881 HAS SOPS 155429 HAS SOUS 34199 HAS SOUPS 33361 WITH SCORE 33530.881
AT ITER 2788 NEW BEST:: SOT 268086 SOS 169983 HAS SOPS 155449 HAS SOUS 34194 HAS SOUPS 33358 WITH SCORE 33527.983
AT ITER 2833 NEW BEST:: SOT 267865 SOS 169762 HAS SOPS 155228 HAS SOUS 33973 HAS SOUPS 33137 WITH SCORE 33306.762
AT ITER 2865 NEW BEST:: SOT 267858 SOS 169748 HAS SOPS 155214 HAS SOUS 33973 HAS SOUPS 33137 WITH SCORE 33306.748
AT ITER 2896 NEW BEST:: SOT 267839 SOS 169708 HAS SOPS 155174 HAS SOUS 33952 HAS SOUPS 33116 WITH SCORE 33285.708
AT ITER 2917 NEW BEST:: SOT 267824 SOS 169692 HAS SOPS 155158 HAS SOUS 33936 HAS SOUPS 33100 WITH SCORE 33269.692
AT ITER 2929 NEW BEST:: SOT 267754 SOS 169582 HAS SOPS 155048 HAS SOUS 33826 HAS SOUPS 32990 WITH SCORE 33159.582
AT ITER 2939 NEW BEST:: SOT 267145 SOS 168973 HAS SOPS 154439 HAS SOUS 33389 HAS SOUPS 32553 WITH SCORE 32721.973
AT ITER 2946 NEW BEST:: SOT 267165 SOS 168995 HAS SOPS 154461 HAS SOUS 33369 HAS SOUPS 32533 WITH SCORE 32701.995
AT ITER 2966 NEW BEST:: SOT 267142 SOS 168972 HAS SOPS 154438 HAS SOUS 33346 HAS SOUPS 32510 WITH SCORE 32678.972
AT ITER 2981 NEW BEST:: SOT 267142 SOS 169012 HAS SOPS 154438 HAS SOUS 33344 HAS SOUPS 32508 WITH SCORE 32677.012
AT ITER 2991 NEW BEST:: SOT 267131 SOS 168943 HAS SOPS 154369 HAS SOUS 33302 HAS SOUPS 32466 WITH SCORE 32634.943
AT ITER 3005 NEW BEST:: SOT 266999 SOS 168825 HAS SOPS 154251 HAS SOUS 33184 HAS SOUPS 32348 WITH SCORE 32516.825
AT ITER 3025 NEW BEST:: SOT 266961 SOS 168813 HAS SOPS 154239 HAS SOUS 33172 HAS SOUPS 32336 WITH SCORE 32504.813
AT ITER 3028 NEW BEST:: SOT 266921 SOS 168773 HAS SOPS 154199 HAS SOUS 33172 HAS SOUPS 32336 WITH SCORE 32504.773
AT ITER 3045 NEW BEST:: SOT 266897 SOS 168736 HAS SOPS 154162 HAS SOUS 33135 HAS SOUPS 32299 WITH SCORE 32467.736
AT ITER 3057 NEW BEST:: SOT 266897 SOS 168674 HAS SOPS 154100 HAS SOUS 33133 HAS SOUPS 32297 WITH SCORE 32465.674
AT ITER 3060 NEW BEST:: SOT 266841 SOS 168618 HAS SOPS 154044 HAS SOUS 33077 HAS SOUPS 32241 WITH SCORE 32409.618
AT ITER 3068 NEW BEST:: SOT 266576 SOS 168346 HAS SOPS 153772 HAS SOUS 32939 HAS SOUPS 32103 WITH SCORE 32271.346
AT ITER 3110 NEW BEST:: SOT 266439 SOS 170221 HAS SOPS 155970 HAS SOUS 32949 HAS SOUPS 32058 WITH SCORE 32228.221
AT ITER 3111 NEW BEST:: SOT 266439 SOS 170209 HAS SOPS 156054 HAS SOUS 32944 HAS SOUPS 32058 WITH SCORE 32228.209
AT ITER 3123 NEW BEST:: SOT 266437 SOS 170206 HAS SOPS 156051 HAS SOUS 32941 HAS SOUPS 32055 WITH SCORE 32225.206
AT ITER 3192 NEW BEST:: SOT 266437 SOS 168450 HAS SOPS 154811 HAS SOUS 32913 HAS SOUPS 32039 WITH SCORE 32207.45
AT ITER 3193 NEW BEST:: SOT 266377 SOS 168390 HAS SOPS 154751 HAS SOUS 32853 HAS SOUPS 31979 WITH SCORE 32147.39
AT ITER 3206 NEW BEST:: SOT 266374 SOS 168383 HAS SOPS 154744 HAS SOUS 32846 HAS SOUPS 31972 WITH SCORE 32140.383
AT ITER 3213 NEW BEST:: SOT 266366 SOS 168354 HAS SOPS 154715 HAS SOUS 32816 HAS SOUPS 31942 WITH SCORE 32110.354
AT ITER 3228 NEW BEST:: SOT 266366 SOS 167939 HAS SOPS 154505 HAS SOUS 32816 HAS SOUPS 31942 WITH SCORE 32109.939
AT ITER 3232 NEW BEST:: SOT 266172 SOS 167752 HAS SOPS 154318 HAS SOUS 32254 HAS SOUPS 31380 WITH SCORE 31547.752
AT ITER 3285 NEW BEST:: SOT 265976 SOS 167563 HAS SOPS 154129 HAS SOUS 32061 HAS SOUPS 31187 WITH SCORE 31354.563
AT ITER 3291 NEW BEST:: SOT 265976 SOS 167561 HAS SOPS 154087 HAS SOUS 32054 HAS SOUPS 31180 WITH SCORE 31347.561
AT ITER 3318 NEW BEST:: SOT 265876 SOS 167457 HAS SOPS 153983 HAS SOUS 32031 HAS SOUPS 31157 WITH SCORE 31324.457
AT ITER 3324 NEW BEST:: SOT 265876 SOS 167454 HAS SOPS 153980 HAS SOUS 32028 HAS SOUPS 31154 WITH SCORE 31321.454
AT ITER 3325 NEW BEST:: SOT 265878 SOS 167449 HAS SOPS 153975 HAS SOUS 32023 HAS SOUPS 31149 WITH SCORE 31316.449
AT ITER 3337 NEW BEST:: SOT 265878 SOS 167446 HAS SOPS 153972 HAS SOUS 32023 HAS SOUPS 31149 WITH SCORE 31316.446
AT ITER 3344 NEW BEST:: SOT 265878 SOS 167431 HAS SOPS 153957 HAS SOUS 32017 HAS SOUPS 31143 WITH SCORE 31310.431
AT ITER 3349 NEW BEST:: SOT 265881 SOS 167429 HAS SOPS 153955 HAS SOUS 32015 HAS SOUPS 31141 WITH SCORE 31308.429
AT ITER 3358 NEW BEST:: SOT 265869 SOS 167423 HAS SOPS 153949 HAS SOUS 32009 HAS SOUPS 31135 WITH SCORE 31302.423
AT ITER 3432 NEW BEST:: SOT 265858 SOS 167422 HAS SOPS 153948 HAS SOUS 32008 HAS SOUPS 31134 WITH SCORE 31301.422
AT ITER 3483 NEW BEST:: SOT 265858 SOS 167704 HAS SOPS 154230 HAS SOUS 32006 HAS SOUPS 31132 WITH SCORE 31299.704
AT ITER 3504 NEW BEST:: SOT 266202 SOS 168062 HAS SOPS 154588 HAS SOUS 32001 HAS SOUPS 31127 WITH SCORE 31295.062
AT ITER 3572 NEW BEST:: SOT 266202 SOS 168061 HAS SOPS 154587 HAS SOUS 32000 HAS SOUPS 31126 WITH SCORE 31294.061
AT ITER 3598 NEW BEST:: SOT 266387 SOS 168261 HAS SOPS 154787 HAS SOUS 31504 HAS SOUPS 30630 WITH SCORE 30798.261
AT ITER 3608 NEW BEST:: SOT 266368 SOS 168248 HAS SOPS 154774 HAS SOUS 31487 HAS SOUPS 30613 WITH SCORE 30781.248
AT ITER 3620 NEW BEST:: SOT 266363 SOS 168248 HAS SOPS 154774 HAS SOUS 31480 HAS SOUPS 30606 WITH SCORE 30774.248
AT ITER 3625 NEW BEST:: SOT 266363 SOS 168244 HAS SOPS 154770 HAS SOUS 31476 HAS SOUPS 30602 WITH SCORE 30770.244
AT ITER 3628 NEW BEST:: SOT 266363 SOS 168240 HAS SOPS 154686 HAS SOUS 31462 HAS SOUPS 30593 WITH SCORE 30761.24
AT ITER 3673 NEW BEST:: SOT 266259 SOS 168136 HAS SOPS 154582 HAS SOUS 31200 HAS SOUPS 30331 WITH SCORE 30499.136
AT ITER 3700 NEW BEST:: SOT 266245 SOS 168126 HAS SOPS 154572 HAS SOUS 31190 HAS SOUPS 30321 WITH SCORE 30489.126
AT ITER 3712 NEW BEST:: SOT 266241 SOS 167440 HAS SOPS 153908 HAS SOUS 31164 HAS SOUPS 30306 WITH SCORE 30473.44
AT ITER 3727 NEW BEST:: SOT 266234 SOS 167435 HAS SOPS 153903 HAS SOUS 31152 HAS SOUPS 30294 WITH SCORE 30461.435
AT ITER 3731 NEW BEST:: SOT 266388 SOS 167591 HAS SOPS 154059 HAS SOUS 30921 HAS SOUPS 30063 WITH SCORE 30230.591
AT ITER 3780 NEW BEST:: SOT 266388 SOS 167589 HAS SOPS 154017 HAS SOUS 30913 HAS SOUPS 30058 WITH SCORE 30225.589
AT ITER 3816 NEW BEST:: SOT 266385 SOS 167397 HAS SOPS 153831 HAS SOUS 30904 HAS SOUPS 30052 WITH SCORE 30219.397
AT ITER 3865 NEW BEST:: SOT 266385 SOS 168389 HAS SOPS 154823 HAS SOUS 30896 HAS SOUPS 30044 WITH SCORE 30212.389
AT ITER 3943 NEW BEST:: SOT 266090 SOS 169510 HAS SOPS 155950 HAS SOUS 30722 HAS SOUPS 29873 WITH SCORE 30042.51
AT ITER 4050 NEW BEST:: SOT 266188 SOS 169608 HAS SOPS 156048 HAS SOUS 30525 HAS SOUPS 29676 WITH SCORE 29845.608
AT ITER 4066 NEW BEST:: SOT 266173 SOS 168846 HAS SOPS 155286 HAS SOUS 30494 HAS SOUPS 29645 WITH SCORE 29813.846
AT ITER 4077 NEW BEST:: SOT 266173 SOS 168790 HAS SOPS 155230 HAS SOUS 30449 HAS SOUPS 29600 WITH SCORE 29768.79
AT ITER 4124 NEW BEST:: SOT 266175 SOS 168788 HAS SOPS 155228 HAS SOUS 30449 HAS SOUPS 29600 WITH SCORE 29768.788
AT ITER 4227 NEW BEST:: SOT 266101 SOS 168714 HAS SOPS 155154 HAS SOUS 30375 HAS SOUPS 29526 WITH SCORE 29694.714
AT ITER 4234 NEW BEST:: SOT 266009 SOS 168619 HAS SOPS 155059 HAS SOUS 30359 HAS SOUPS 29510 WITH SCORE 29678.619
AT ITER 4242 NEW BEST:: SOT 266009 SOS 167134 HAS SOPS 153961 HAS SOUS 30350 HAS SOUPS 29510 WITH SCORE 29677.134
AT ITER 4249 NEW BEST:: SOT 266009 SOS 167132 HAS SOPS 153959 HAS SOUS 30348 HAS SOUPS 29508 WITH SCORE 29675.132
AT ITER 4251 NEW BEST:: SOT 265889 SOS 166992 HAS SOPS 153819 HAS SOUS 30225 HAS SOUPS 29385 WITH SCORE 29551.992
AT ITER 4262 NEW BEST:: SOT 265889 SOS 166786 HAS SOPS 153695 HAS SOUS 30225 HAS SOUPS 29385 WITH SCORE 29551.786
AT ITER 4264 NEW BEST:: SOT 265883 SOS 166753 HAS SOPS 153662 HAS SOUS 30186 HAS SOUPS 29346 WITH SCORE 29512.753
AT ITER 4272 NEW BEST:: SOT 264009 SOS 165749 HAS SOPS 152658 HAS SOUS 28416 HAS SOUPS 27576 WITH SCORE 27741.749
AT ITER 4308 NEW BEST:: SOT 264007 SOS 165747 HAS SOPS 152656 HAS SOUS 28355 HAS SOUPS 27515 WITH SCORE 27680.747
AT ITER 4325 NEW BEST:: SOT 263985 SOS 165703 HAS SOPS 152612 HAS SOUS 28311 HAS SOUPS 27471 WITH SCORE 27636.703
AT ITER 4378 NEW BEST:: SOT 263984 SOS 165585 HAS SOPS 152494 HAS SOUS 28265 HAS SOUPS 27425 WITH SCORE 27590.585
AT ITER 4449 NEW BEST:: SOT 263558 SOS 165150 HAS SOPS 152059 HAS SOUS 28028 HAS SOUPS 27188 WITH SCORE 27353.15
AT ITER 4474 NEW BEST:: SOT 263558 SOS 165126 HAS SOPS 152035 HAS SOUS 28004 HAS SOUPS 27164 WITH SCORE 27329.126
AT ITER 4514 NEW BEST:: SOT 263466 SOS 165034 HAS SOPS 151943 HAS SOUS 27820 HAS SOUPS 26980 WITH SCORE 27145.034
AT ITER 4533 NEW BEST:: SOT 263463 SOS 165031 HAS SOPS 151940 HAS SOUS 27817 HAS SOUPS 26977 WITH SCORE 27142.031
AT ITER 4536 NEW BEST:: SOT 263461 SOS 165029 HAS SOPS 151938 HAS SOUS 27814 HAS SOUPS 26974 WITH SCORE 27139.029
AT ITER 4549 NEW BEST:: SOT 263425 SOS 164993 HAS SOPS 151902 HAS SOUS 27796 HAS SOUPS 26956 WITH SCORE 27120.993
AT ITER 4600 NEW BEST:: SOT 263425 SOS 164834 HAS SOPS 151743 HAS SOUS 27793 HAS SOUPS 26953 WITH SCORE 27117.834
AT ITER 4631 NEW BEST:: SOT 263429 SOS 165122 HAS SOPS 151227 HAS SOUS 27692 HAS SOUPS 26872 WITH SCORE 27037.122
AT ITER 4778 NEW BEST:: SOT 263429 SOS 165222 HAS SOPS 151229 HAS SOUS 27666 HAS SOUPS 26850 WITH SCORE 27015.222
AT ITER 4820 NEW BEST:: SOT 263429 SOS 165212 HAS SOPS 151219 HAS SOUS 27656 HAS SOUPS 26840 WITH SCORE 27005.212
AT ITER 4909 NEW BEST:: SOT 263255 SOS 165038 HAS SOPS 151045 HAS SOUS 27479 HAS SOUPS 26663 WITH SCORE 26828.038
AT ITER 4934 NEW BEST:: SOT 263101 SOS 164884 HAS SOPS 150891 HAS SOUS 27271 HAS SOUPS 26455 WITH SCORE 26619.884
AT ITER 4948 NEW BEST:: SOT 263077 SOS 164817 HAS SOPS 150824 HAS SOUS 27264 HAS SOUPS 26448 WITH SCORE 26612.817
AT ITER 5019 NEW BEST:: SOT 263102 SOS 164842 HAS SOPS 150849 HAS SOUS 27256 HAS SOUPS 26440 WITH SCORE 26604.842
AT ITER 5051 NEW BEST:: SOT 262855 SOS 164595 HAS SOPS 150602 HAS SOUS 27009 HAS SOUPS 26193 WITH SCORE 26357.595
AT ITER 5086 NEW BEST:: SOT 262851 SOS 164588 HAS SOPS 150595 HAS SOUS 27001 HAS SOUPS 26185 WITH SCORE 26349.588
AT ITER 5144 NEW BEST:: SOT 262848 SOS 164585 HAS SOPS 150592 HAS SOUS 27001 HAS SOUPS 26185 WITH SCORE 26349.585
AT ITER 5167 NEW BEST:: SOT 262847 SOS 164589 HAS SOPS 150596 HAS SOUS 26944 HAS SOUPS 26128 WITH SCORE 26292.589
AT ITER 5170 NEW BEST:: SOT 262539 SOS 164285 HAS SOPS 150292 HAS SOUS 26636 HAS SOUPS 25820 WITH SCORE 25984.285
AT ITER 5248 NEW BEST:: SOT 262534 SOS 164283 HAS SOPS 150290 HAS SOUS 26239 HAS SOUPS 25423 WITH SCORE 25587.283
AT ITER 5279 NEW BEST:: SOT 262511 SOS 164260 HAS SOPS 150267 HAS SOUS 26193 HAS SOUPS 25377 WITH SCORE 25541.26
AT ITER 5285 NEW BEST:: SOT 262511 SOS 164260 HAS SOPS 150107 HAS SOUS 26171 HAS SOUPS 25360 WITH SCORE 25524.26
AT ITER 5298 NEW BEST:: SOT 262549 SOS 164298 HAS SOPS 150145 HAS SOUS 25969 HAS SOUPS 25158 WITH SCORE 25322.298
AT ITER 5315 NEW BEST:: SOT 262472 SOS 164220 HAS SOPS 150067 HAS SOUS 25892 HAS SOUPS 25081 WITH SCORE 25245.22
AT ITER 5390 NEW BEST:: SOT 262472 SOS 163847 HAS SOPS 149589 HAS SOUS 25886 HAS SOUPS 25080 WITH SCORE 25243.847
AT ITER 5528 NEW BEST:: SOT 262472 SOS 163868 HAS SOPS 149631 HAS SOUS 25886 HAS SOUPS 25079 WITH SCORE 25242.868
AT ITER 5556 NEW BEST:: SOT 262468 SOS 163864 HAS SOPS 149627 HAS SOUS 25882 HAS SOUPS 25075 WITH SCORE 25238.864
AT ITER 5721 NEW BEST:: SOT 262406 SOS 163800 HAS SOPS 149563 HAS SOUS 25762 HAS SOUPS 24955 WITH SCORE 25118.8
AT ITER 5762 NEW BEST:: SOT 262406 SOS 163795 HAS SOPS 149558 HAS SOUS 25757 HAS SOUPS 24950 WITH SCORE 25113.795
AT ITER 5870 NEW BEST:: SOT 262421 SOS 163832 HAS SOPS 149595 HAS SOUS 25754 HAS SOUPS 24947 WITH SCORE 25110.832
AT ITER 5921 NEW BEST:: SOT 262421 SOS 163830 HAS SOPS 149593 HAS SOUS 25752 HAS SOUPS 24945 WITH SCORE 25108.83
AT ITER 5930 NEW BEST:: SOT 262382 SOS 163791 HAS SOPS 149554 HAS SOUS 25751 HAS SOUPS 24944 WITH SCORE 25107.791
AT ITER 5993 NEW BEST:: SOT 262379 SOS 163786 HAS SOPS 149549 HAS SOUS 25746 HAS SOUPS 24939 WITH SCORE 25102.786
AT ITER 6046 NEW BEST:: SOT 262379 SOS 163724 HAS SOPS 149487 HAS SOUS 25746 HAS SOUPS 24939 WITH SCORE 25102.724
AT ITER 6058 NEW BEST:: SOT 262379 SOS 163662 HAS SOPS 149425 HAS SOUS 25746 HAS SOUPS 24939 WITH SCORE 25102.662
AT ITER 6070 NEW BEST:: SOT 262375 SOS 163656 HAS SOPS 149419 HAS SOUS 25742 HAS SOUPS 24935 WITH SCORE 25098.656
AT ITER 6081 NEW BEST:: SOT 262143 SOS 163421 HAS SOPS 149184 HAS SOUS 25585 HAS SOUPS 24778 WITH SCORE 24941.421
AT ITER 6124 NEW BEST:: SOT 262103 SOS 163381 HAS SOPS 149144 HAS SOUS 25545 HAS SOUPS 24738 WITH SCORE 24901.381
AT ITER 6126 NEW BEST:: SOT 262102 SOS 163379 HAS SOPS 149142 HAS SOUS 25543 HAS SOUPS 24736 WITH SCORE 24899.379
AT ITER 6151 NEW BEST:: SOT 262044 SOS 163321 HAS SOPS 149084 HAS SOUS 25486 HAS SOUPS 24679 WITH SCORE 24842.321
AT ITER 6202 NEW BEST:: SOT 262043 SOS 163319 HAS SOPS 149082 HAS SOUS 25484 HAS SOUPS 24677 WITH SCORE 24840.319
AT ITER 6214 NEW BEST:: SOT 262043 SOS 163290 HAS SOPS 149053 HAS SOUS 25465 HAS SOUPS 24658 WITH SCORE 24821.29
AT ITER 6266 NEW BEST:: SOT 262043 SOS 163250 HAS SOPS 149053 HAS SOUS 25465 HAS SOUPS 24658 WITH SCORE 24821.25
AT ITER 6297 NEW BEST:: SOT 262043 SOS 163253 HAS SOPS 149013 HAS SOUS 25461 HAS SOUPS 24653 WITH SCORE 24816.253
AT ITER 6339 NEW BEST:: SOT 262043 SOS 165015 HAS SOPS 149659 HAS SOUS 25450 HAS SOUPS 24647 WITH SCORE 24812.015
AT ITER 6370 NEW BEST:: SOT 262043 SOS 165009 HAS SOPS 149653 HAS SOUS 25444 HAS SOUPS 24641 WITH SCORE 24806.009
AT ITER 6456 NEW BEST:: SOT 262043 SOS 164907 HAS SOPS 149593 HAS SOUS 25444 HAS SOUPS 24640 WITH SCORE 24804.907
AT ITER 6483 NEW BEST:: SOT 262039 SOS 164903 HAS SOPS 149589 HAS SOUS 25436 HAS SOUPS 24632 WITH SCORE 24796.903
AT ITER 6507 NEW BEST:: SOT 262023 SOS 164861 HAS SOPS 149547 HAS SOUS 25394 HAS SOUPS 24590 WITH SCORE 24754.861
AT ITER 6547 NEW BEST:: SOT 262023 SOS 165047 HAS SOPS 149733 HAS SOUS 25388 HAS SOUPS 24584 WITH SCORE 24749.047
AT ITER 6590 NEW BEST:: SOT 262021 SOS 165045 HAS SOPS 149731 HAS SOUS 25386 HAS SOUPS 24582 WITH SCORE 24747.045
AT ITER 6597 NEW BEST:: SOT 262005 SOS 165044 HAS SOPS 149730 HAS SOUS 25385 HAS SOUPS 24581 WITH SCORE 24746.044
AT ITER 6649 NEW BEST:: SOT 262005 SOS 165106 HAS SOPS 149792 HAS SOUS 25383 HAS SOUPS 24579 WITH SCORE 24744.106
AT ITER 6674 NEW BEST:: SOT 262005 SOS 164694 HAS SOPS 149464 HAS SOUS 25383 HAS SOUPS 24579 WITH SCORE 24743.694
AT ITER 6714 NEW BEST:: SOT 262005 SOS 163864 HAS SOPS 148849 HAS SOUS 25373 HAS SOUPS 24574 WITH SCORE 24737.864
AT ITER 6728 NEW BEST:: SOT 261997 SOS 163536 HAS SOPS 148521 HAS SOUS 25357 HAS SOUPS 24558 WITH SCORE 24721.536
AT ITER 6754 NEW BEST:: SOT 261926 SOS 163599 HAS SOPS 148584 HAS SOUS 25349 HAS SOUPS 24550 WITH SCORE 24713.599
AT ITER 6810 NEW BEST:: SOT 261926 SOS 163640 HAS SOPS 148424 HAS SOUS 25322 HAS SOUPS 24527 WITH SCORE 24690.64
AT ITER 6842 NEW BEST:: SOT 261923 SOS 163639 HAS SOPS 148423 HAS SOUS 25321 HAS SOUPS 24526 WITH SCORE 24689.639
AT ITER 6860 NEW BEST:: SOT 261923 SOS 162814 HAS SOPS 147813 HAS SOUS 25316 HAS SOUPS 24526 WITH SCORE 24688.814
AT ITER 7004 NEW BEST:: SOT 261946 SOS 162832 HAS SOPS 147831 HAS SOUS 25261 HAS SOUPS 24471 WITH SCORE 24633.832
AT ITER 7157 NEW BEST:: SOT 261944 SOS 162829 HAS SOPS 147828 HAS SOUS 25258 HAS SOUPS 24468 WITH SCORE 24630.829
AT ITER 7230 NEW BEST:: SOT 261942 SOS 162827 HAS SOPS 147826 HAS SOUS 25256 HAS SOUPS 24466 WITH SCORE 24628.827
AT ITER 7249 NEW BEST:: SOT 261793 SOS 162678 HAS SOPS 147677 HAS SOUS 25143 HAS SOUPS 24353 WITH SCORE 24515.678
AT ITER 7390 NEW BEST:: SOT 261793 SOS 162368 HAS SOPS 147367 HAS SOUS 25143 HAS SOUPS 24353 WITH SCORE 24515.368
AT ITER 7412 NEW BEST:: SOT 261601 SOS 162181 HAS SOPS 147180 HAS SOUS 25054 HAS SOUPS 24264 WITH SCORE 24426.181
AT ITER 7482 NEW BEST:: SOT 261580 SOS 162160 HAS SOPS 147159 HAS SOUS 25046 HAS SOUPS 24256 WITH SCORE 24418.16
AT ITER 7641 NEW BEST:: SOT 261580 SOS 162160 HAS SOPS 147119 HAS SOUS 25039 HAS SOUPS 24251 WITH SCORE 24413.16
AT ITER 7685 NEW BEST:: SOT 261580 SOS 162118 HAS SOPS 147077 HAS SOUS 25039 HAS SOUPS 24251 WITH SCORE 24413.118
AT ITER 7915 NEW BEST:: SOT 261580 SOS 162116 HAS SOPS 147075 HAS SOUS 25039 HAS SOUPS 24251 WITH SCORE 24413.116
AT ITER 7953 NEW BEST:: SOT 261580 SOS 162054 HAS SOPS 147013 HAS SOUS 25037 HAS SOUPS 24249 WITH SCORE 24411.054
AT ITER 8031 NEW BEST:: SOT 261449 SOS 161923 HAS SOPS 146882 HAS SOUS 24766 HAS SOUPS 23978 WITH SCORE 24139.923
AT ITER 8035 NEW BEST:: SOT 261449 SOS 161551 HAS SOPS 146636 HAS SOUS 24760 HAS SOUPS 23972 WITH SCORE 24133.551
AT ITER 8157 NEW BEST:: SOT 261450 SOS 161552 HAS SOPS 146637 HAS SOUS 24759 HAS SOUPS 23971 WITH SCORE 24132.552
AT ITER 8200 NEW BEST:: SOT 261450 SOS 161550 HAS SOPS 146635 HAS SOUS 24757 HAS SOUPS 23969 WITH SCORE 24130.55
AT ITER 8256 NEW BEST:: SOT 261450 SOS 161344 HAS SOPS 146471 HAS SOUS 24757 HAS SOUPS 23969 WITH SCORE 24130.344
AT ITER 8350 NEW BEST:: SOT 261413 SOS 161305 HAS SOPS 146432 HAS SOUS 24739 HAS SOUPS 23951 WITH SCORE 24112.305
AT ITER 8425 NEW BEST:: SOT 261413 SOS 161302 HAS SOPS 146429 HAS SOUS 24736 HAS SOUPS 23948 WITH SCORE 24109.302
AT ITER 8512 NEW BEST:: SOT 261413 SOS 161277 HAS SOPS 146404 HAS SOUS 24736 HAS SOUPS 23948 WITH SCORE 24109.277
AT ITER 8513 NEW BEST:: SOT 261356 SOS 161218 HAS SOPS 146345 HAS SOUS 24678 HAS SOUPS 23890 WITH SCORE 24051.218
AT ITER 8724 NEW BEST:: SOT 261364 SOS 161205 HAS SOPS 145773 HAS SOUS 24638 HAS SOUPS 23861 WITH SCORE 24022.205
AT ITER 8729 NEW BEST:: SOT 261364 SOS 161203 HAS SOPS 145771 HAS SOUS 24636 HAS SOUPS 23859 WITH SCORE 24020.203
AT ITER 8774 NEW BEST:: SOT 261378 SOS 161315 HAS SOPS 145883 HAS SOUS 24632 HAS SOUPS 23855 WITH SCORE 24016.315
AT ITER 8777 NEW BEST:: SOT 261378 SOS 161103 HAS SOPS 145759 HAS SOUS 24625 HAS SOUPS 23852 WITH SCORE 24013.103
AT ITER 8852 NEW BEST:: SOT 261378 SOS 161227 HAS SOPS 145883 HAS SOUS 24623 HAS SOUPS 23850 WITH SCORE 24011.227
AT ITER 8886 NEW BEST:: SOT 261378 SOS 161271 HAS SOPS 145927 HAS SOUS 24621 HAS SOUPS 23848 WITH SCORE 24009.271
AT ITER 9000 NEW BEST:: SOT 261378 SOS 161465 HAS SOPS 146121 HAS SOUS 24620 HAS SOUPS 23847 WITH SCORE 24008.465
AT ITER 9076 NEW BEST:: SOT 261378 SOS 161451 HAS SOPS 146107 HAS SOUS 24615 HAS SOUPS 23842 WITH SCORE 24003.451
AT ITER 9107 NEW BEST:: SOT 261403 SOS 161476 HAS SOPS 146132 HAS SOUS 24463 HAS SOUPS 23690 WITH SCORE 23851.476
AT ITER 9129 NEW BEST:: SOT 261401 SOS 161474 HAS SOPS 146130 HAS SOUS 24461 HAS SOUPS 23688 WITH SCORE 23849.474
AT ITER 9154 NEW BEST:: SOT 261401 SOS 161471 HAS SOPS 146127 HAS SOUS 24458 HAS SOUPS 23685 WITH SCORE 23846.471
AT ITER 9166 NEW BEST:: SOT 261438 SOS 161507 HAS SOPS 146163 HAS SOUS 24455 HAS SOUPS 23682 WITH SCORE 23843.507
AT ITER 9214 NEW BEST:: SOT 261461 SOS 161450 HAS SOPS 146106 HAS SOUS 24358 HAS SOUPS 23585 WITH SCORE 23746.45
AT ITER 9215 NEW BEST:: SOT 261460 SOS 161449 HAS SOPS 146105 HAS SOUS 24356 HAS SOUPS 23583 WITH SCORE 23744.449
AT ITER 9343 NEW BEST:: SOT 261373 SOS 161326 HAS SOPS 145982 HAS SOUS 24283 HAS SOUPS 23510 WITH SCORE 23671.326
AT ITER 9488 NEW BEST:: SOT 261347 SOS 161276 HAS SOPS 145572 HAS SOUS 24277 HAS SOUPS 23492 WITH SCORE 23653.276
AT ITER 9547 NEW BEST:: SOT 261333 SOS 161237 HAS SOPS 145533 HAS SOUS 24249 HAS SOUPS 23464 WITH SCORE 23625.237
AT ITER 9604 NEW BEST:: SOT 261333 SOS 161236 HAS SOPS 145532 HAS SOUS 24190 HAS SOUPS 23405 WITH SCORE 23566.236
AT ITER 9635 NEW BEST:: SOT 261330 SOS 161232 HAS SOPS 145528 HAS SOUS 24186 HAS SOUPS 23401 WITH SCORE 23562.232
AT ITER 9706 NEW BEST:: SOT 261272 SOS 161173 HAS SOPS 145469 HAS SOUS 24127 HAS SOUPS 23342 WITH SCORE 23503.173
AT ITER 9852 NEW BEST:: SOT 261272 SOS 161214 HAS SOPS 145489 HAS SOUS 24124 HAS SOUPS 23340 WITH SCORE 23501.214
AT ITER 9896 NEW BEST:: SOT 261140 SOS 161082 HAS SOPS 145357 HAS SOUS 24086 HAS SOUPS 23302 WITH SCORE 23463.082
AT ITER 9959 NEW BEST:: SOT 261123 SOS 161065 HAS SOPS 145340 HAS SOUS 24069 HAS SOUPS 23285 WITH SCORE 23446.065
AT ITER 9991 NEW BEST:: SOT 261107 SOS 161067 HAS SOPS 145342 HAS SOUS 24067 HAS SOUPS 23283 WITH SCORE 23444.067
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 169280 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16304220 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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