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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 944K
-rw-r--r-- 1 mcc users 6.6K Feb 25 18:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 18:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 18:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 18:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 25 18:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 25 18:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 18:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 18:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 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 547K 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 1678406800053

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=DLCround-PT-04b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 00:06:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 00:06:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 00:06:41] [INFO ] Load time of PNML (sax parser for PT used): 115 ms
[2023-03-10 00:06:41] [INFO ] Transformed 1680 places.
[2023-03-10 00:06:41] [INFO ] Transformed 2364 transitions.
[2023-03-10 00:06:41] [INFO ] Found NUPN structural information;
[2023-03-10 00:06:41] [INFO ] Parsed PT model containing 1680 places and 2364 transitions and 6156 arcs in 216 ms.
[2023-03-10 00:06:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1680 places, 2364 transitions and 6156 arcs took 18 ms.
Total runtime 263 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 04b
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: 1680 places, 2364 transitions, 6156 arcs.
AT ITER 0 NEW BEST:: SOT 2371064 SOS 494511 HAS SOPS 494511 HAS SOUS 353305 HAS SOUPS 353305 WITH SCORE 353799.511
AT ITER 25 NEW BEST:: SOT 2371064 SOS 494636 HAS SOPS 494636 HAS SOUS 353304 HAS SOUPS 353304 WITH SCORE 353798.636
AT ITER 41 NEW BEST:: SOT 2371063 SOS 494634 HAS SOPS 494634 HAS SOUS 353302 HAS SOUPS 353302 WITH SCORE 353796.634
AT ITER 42 NEW BEST:: SOT 2369146 SOS 493830 HAS SOPS 493830 HAS SOUS 351553 HAS SOUPS 351553 WITH SCORE 352046.83
AT ITER 45 NEW BEST:: SOT 2368502 SOS 494310 HAS SOPS 494310 HAS SOUS 351552 HAS SOUPS 351552 WITH SCORE 352046.31
AT ITER 62 NEW BEST:: SOT 2368502 SOS 493758 HAS SOPS 493758 HAS SOUS 351368 HAS SOUPS 351368 WITH SCORE 351861.758
AT ITER 84 NEW BEST:: SOT 2368276 SOS 493500 HAS SOPS 493500 HAS SOUS 351110 HAS SOUPS 351110 WITH SCORE 351603.5
AT ITER 119 NEW BEST:: SOT 2368249 SOS 493524 HAS SOPS 493524 HAS SOUS 351082 HAS SOUPS 351082 WITH SCORE 351575.524
AT ITER 137 NEW BEST:: SOT 2368059 SOS 493467 HAS SOPS 493467 HAS SOUS 350934 HAS SOUPS 350934 WITH SCORE 351427.467
AT ITER 145 NEW BEST:: SOT 2367964 SOS 493385 HAS SOPS 493385 HAS SOUS 350839 HAS SOUPS 350839 WITH SCORE 351332.385
AT ITER 148 NEW BEST:: SOT 2367012 SOS 492433 HAS SOPS 492433 HAS SOUS 349887 HAS SOUPS 349887 WITH SCORE 350379.433
AT ITER 172 NEW BEST:: SOT 2367011 SOS 492526 HAS SOPS 492526 HAS SOUS 349885 HAS SOUPS 349885 WITH SCORE 350377.526
AT ITER 176 NEW BEST:: SOT 2367014 SOS 492532 HAS SOPS 492532 HAS SOUS 349709 HAS SOUPS 349709 WITH SCORE 350201.532
AT ITER 202 NEW BEST:: SOT 2366851 SOS 492531 HAS SOPS 492531 HAS SOUS 349708 HAS SOUPS 349708 WITH SCORE 350200.531
AT ITER 205 NEW BEST:: SOT 2366623 SOS 492302 HAS SOPS 492302 HAS SOUS 349479 HAS SOUPS 349479 WITH SCORE 349971.302
AT ITER 214 NEW BEST:: SOT 2366622 SOS 492300 HAS SOPS 492300 HAS SOUS 349477 HAS SOUPS 349477 WITH SCORE 349969.3
AT ITER 250 NEW BEST:: SOT 2366590 SOS 492236 HAS SOPS 492236 HAS SOUS 349413 HAS SOUPS 349413 WITH SCORE 349905.236
AT ITER 253 NEW BEST:: SOT 2366637 SOS 492812 HAS SOPS 492812 HAS SOUS 349344 HAS SOUPS 349344 WITH SCORE 349836.812
AT ITER 258 NEW BEST:: SOT 2366608 SOS 492816 HAS SOPS 492816 HAS SOUS 349338 HAS SOUPS 349338 WITH SCORE 349830.816
AT ITER 287 NEW BEST:: SOT 2366625 SOS 492812 HAS SOPS 492812 HAS SOUS 349334 HAS SOUPS 349334 WITH SCORE 349826.812
AT ITER 300 NEW BEST:: SOT 2366111 SOS 492298 HAS SOPS 492298 HAS SOUS 348820 HAS SOUPS 348820 WITH SCORE 349312.298
AT ITER 301 NEW BEST:: SOT 2366080 SOS 492236 HAS SOPS 492236 HAS SOUS 348758 HAS SOUPS 348758 WITH SCORE 349250.236
AT ITER 302 NEW BEST:: SOT 2365843 SOS 491999 HAS SOPS 491999 HAS SOUS 348521 HAS SOUPS 348521 WITH SCORE 349012.999
AT ITER 304 NEW BEST:: SOT 2365761 SOS 492573 HAS SOPS 492573 HAS SOUS 348439 HAS SOUPS 348439 WITH SCORE 348931.573
AT ITER 378 NEW BEST:: SOT 2365527 SOS 492335 HAS SOPS 492335 HAS SOUS 348204 HAS SOUPS 348204 WITH SCORE 348696.335
AT ITER 385 NEW BEST:: SOT 2365566 SOS 492413 HAS SOPS 492413 HAS SOUS 348196 HAS SOUPS 348196 WITH SCORE 348688.413
AT ITER 430 NEW BEST:: SOT 2365565 SOS 492411 HAS SOPS 492411 HAS SOUS 348194 HAS SOUPS 348194 WITH SCORE 348686.411
AT ITER 436 NEW BEST:: SOT 2365564 SOS 492236 HAS SOPS 492236 HAS SOUS 348019 HAS SOUPS 348019 WITH SCORE 348511.236
AT ITER 450 NEW BEST:: SOT 2365563 SOS 492234 HAS SOPS 492234 HAS SOUS 348017 HAS SOUPS 348017 WITH SCORE 348509.234
AT ITER 477 NEW BEST:: SOT 2365601 SOS 492310 HAS SOPS 492310 HAS SOUS 348012 HAS SOUPS 348012 WITH SCORE 348504.31
AT ITER 489 NEW BEST:: SOT 2365517 SOS 492226 HAS SOPS 492226 HAS SOUS 347928 HAS SOUPS 347928 WITH SCORE 348420.226
AT ITER 515 NEW BEST:: SOT 2365456 SOS 492165 HAS SOPS 492165 HAS SOUS 347867 HAS SOUPS 347867 WITH SCORE 348359.165
AT ITER 522 NEW BEST:: SOT 2365370 SOS 491993 HAS SOPS 491993 HAS SOUS 347695 HAS SOUPS 347695 WITH SCORE 348186.993
AT ITER 530 NEW BEST:: SOT 2365370 SOS 491892 HAS SOPS 491892 HAS SOUS 347695 HAS SOUPS 347695 WITH SCORE 348186.892
AT ITER 541 NEW BEST:: SOT 2365289 SOS 491730 HAS SOPS 491730 HAS SOUS 347533 HAS SOUPS 347533 WITH SCORE 348024.73
AT ITER 557 NEW BEST:: SOT 2365192 SOS 491536 HAS SOPS 491536 HAS SOUS 347436 HAS SOUPS 347436 WITH SCORE 347927.536
AT ITER 599 NEW BEST:: SOT 2364904 SOS 492126 HAS SOPS 492126 HAS SOUS 347126 HAS SOUPS 347126 WITH SCORE 347618.126
AT ITER 605 NEW BEST:: SOT 2364814 SOS 492810 HAS SOPS 492810 HAS SOUS 347042 HAS SOUPS 347042 WITH SCORE 347534.81
AT ITER 606 NEW BEST:: SOT 2363955 SOS 494145 HAS SOPS 494145 HAS SOUS 346900 HAS SOUPS 346900 WITH SCORE 347394.145
AT ITER 647 NEW BEST:: SOT 2363403 SOS 493033 HAS SOPS 493033 HAS SOUS 346283 HAS SOUPS 346283 WITH SCORE 346776.033
AT ITER 677 NEW BEST:: SOT 2363204 SOS 492850 HAS SOPS 492850 HAS SOUS 346083 HAS SOUPS 346083 WITH SCORE 346575.85
AT ITER 705 NEW BEST:: SOT 2362734 SOS 492609 HAS SOPS 492609 HAS SOUS 345765 HAS SOUPS 345765 WITH SCORE 346257.609
AT ITER 758 NEW BEST:: SOT 2362733 SOS 492607 HAS SOPS 492607 HAS SOUS 345763 HAS SOUPS 345763 WITH SCORE 346255.607
AT ITER 776 NEW BEST:: SOT 2362746 SOS 492548 HAS SOPS 492548 HAS SOUS 345704 HAS SOUPS 345704 WITH SCORE 346196.548
AT ITER 788 NEW BEST:: SOT 2362746 SOS 492056 HAS SOPS 492056 HAS SOUS 345540 HAS SOUPS 345540 WITH SCORE 346032.056
AT ITER 836 NEW BEST:: SOT 2362562 SOS 491136 HAS SOPS 491136 HAS SOUS 345172 HAS SOUPS 345172 WITH SCORE 345663.136
AT ITER 897 NEW BEST:: SOT 2362441 SOS 490894 HAS SOPS 490894 HAS SOUS 344930 HAS SOUPS 344930 WITH SCORE 345420.894
AT ITER 904 NEW BEST:: SOT 2362372 SOS 491098 HAS SOPS 491098 HAS SOUS 344911 HAS SOUPS 344911 WITH SCORE 345402.098
AT ITER 906 NEW BEST:: SOT 2362273 SOS 490900 HAS SOPS 490900 HAS SOUS 344586 HAS SOUPS 344586 WITH SCORE 345076.9
AT ITER 909 NEW BEST:: SOT 2362326 SOS 490763 HAS SOPS 490763 HAS SOUS 344449 HAS SOUPS 344449 WITH SCORE 344939.763
AT ITER 914 NEW BEST:: SOT 2362241 SOS 490678 HAS SOPS 490678 HAS SOUS 344449 HAS SOUPS 344449 WITH SCORE 344939.678
AT ITER 933 NEW BEST:: SOT 2362326 SOS 490848 HAS SOPS 490848 HAS SOUS 344293 HAS SOUPS 344293 WITH SCORE 344783.848
AT ITER 934 NEW BEST:: SOT 2362322 SOS 490840 HAS SOPS 490840 HAS SOUS 344285 HAS SOUPS 344285 WITH SCORE 344775.84
AT ITER 974 NEW BEST:: SOT 2362218 SOS 490632 HAS SOPS 490632 HAS SOUS 344077 HAS SOUPS 344077 WITH SCORE 344567.632
AT ITER 985 NEW BEST:: SOT 2360809 SOS 490351 HAS SOPS 490351 HAS SOUS 343277 HAS SOUPS 343277 WITH SCORE 343767.351
AT ITER 991 NEW BEST:: SOT 2360800 SOS 490315 HAS SOPS 490315 HAS SOUS 343259 HAS SOUPS 343259 WITH SCORE 343749.315
AT ITER 996 NEW BEST:: SOT 2360750 SOS 490215 HAS SOPS 490215 HAS SOUS 343088 HAS SOUPS 343088 WITH SCORE 343578.215
AT ITER 999 NEW BEST:: SOT 2360684 SOS 490083 HAS SOPS 490083 HAS SOUS 342956 HAS SOUPS 342956 WITH SCORE 343446.083
AT ITER 1006 NEW BEST:: SOT 2360621 SOS 490025 HAS SOPS 490025 HAS SOUS 342893 HAS SOUPS 342893 WITH SCORE 343383.025
AT ITER 1019 NEW BEST:: SOT 2360589 SOS 489993 HAS SOPS 489993 HAS SOUS 342893 HAS SOUPS 342893 WITH SCORE 343382.993
AT ITER 1029 NEW BEST:: SOT 2360296 SOS 489743 HAS SOPS 489743 HAS SOUS 342290 HAS SOUPS 342290 WITH SCORE 342779.743
AT ITER 1042 NEW BEST:: SOT 2359983 SOS 489426 HAS SOPS 489426 HAS SOUS 341976 HAS SOUPS 341976 WITH SCORE 342465.426
AT ITER 1044 NEW BEST:: SOT 2359821 SOS 489102 HAS SOPS 489102 HAS SOUS 341652 HAS SOUPS 341652 WITH SCORE 342141.102
AT ITER 1052 NEW BEST:: SOT 2358864 SOS 488626 HAS SOPS 488626 HAS SOUS 340904 HAS SOUPS 340904 WITH SCORE 341392.626
AT ITER 1083 NEW BEST:: SOT 2358736 SOS 488466 HAS SOPS 488466 HAS SOUS 340714 HAS SOUPS 340714 WITH SCORE 341202.466
AT ITER 1092 NEW BEST:: SOT 2358684 SOS 488362 HAS SOPS 488362 HAS SOUS 340610 HAS SOUPS 340610 WITH SCORE 341098.362
AT ITER 1109 NEW BEST:: SOT 2358428 SOS 486826 HAS SOPS 486826 HAS SOUS 340226 HAS SOUPS 340226 WITH SCORE 340712.826
AT ITER 1140 NEW BEST:: SOT 2358080 SOS 486403 HAS SOPS 486403 HAS SOUS 339812 HAS SOUPS 339812 WITH SCORE 340298.403
AT ITER 1145 NEW BEST:: SOT 2358133 SOS 485761 HAS SOPS 485761 HAS SOUS 339641 HAS SOUPS 339641 WITH SCORE 340126.761
AT ITER 1146 NEW BEST:: SOT 2358093 SOS 485681 HAS SOPS 485681 HAS SOUS 339561 HAS SOUPS 339561 WITH SCORE 340046.681
AT ITER 1165 NEW BEST:: SOT 2358093 SOS 485659 HAS SOPS 485659 HAS SOUS 339561 HAS SOUPS 339561 WITH SCORE 340046.659
AT ITER 1174 NEW BEST:: SOT 2358092 SOS 485657 HAS SOPS 485657 HAS SOUS 339559 HAS SOUPS 339559 WITH SCORE 340044.657
AT ITER 1177 NEW BEST:: SOT 2357880 SOS 485508 HAS SOPS 485508 HAS SOUS 339435 HAS SOUPS 339435 WITH SCORE 339920.508
AT ITER 1192 NEW BEST:: SOT 2357880 SOS 486096 HAS SOPS 486096 HAS SOUS 339330 HAS SOUPS 339330 WITH SCORE 339816.096
AT ITER 1232 NEW BEST:: SOT 2357880 SOS 486385 HAS SOPS 486385 HAS SOUS 339041 HAS SOUPS 339041 WITH SCORE 339527.385
AT ITER 1282 NEW BEST:: SOT 2357338 SOS 485951 HAS SOPS 485951 HAS SOUS 338499 HAS SOUPS 338499 WITH SCORE 338984.951
AT ITER 1304 NEW BEST:: SOT 2357261 SOS 485566 HAS SOPS 485566 HAS SOUS 338345 HAS SOUPS 338345 WITH SCORE 338830.566
AT ITER 1320 NEW BEST:: SOT 2357385 SOS 485814 HAS SOPS 485814 HAS SOUS 338214 HAS SOUPS 338214 WITH SCORE 338699.814
AT ITER 1325 NEW BEST:: SOT 2357185 SOS 485479 HAS SOPS 485479 HAS SOUS 337992 HAS SOUPS 337992 WITH SCORE 338477.479
AT ITER 1334 NEW BEST:: SOT 2357027 SOS 483741 HAS SOPS 483741 HAS SOUS 337676 HAS SOUPS 337676 WITH SCORE 338159.741
AT ITER 1355 NEW BEST:: SOT 2356911 SOS 484155 HAS SOPS 484155 HAS SOUS 337390 HAS SOUPS 337390 WITH SCORE 337874.155
AT ITER 1369 NEW BEST:: SOT 2356950 SOS 484116 HAS SOPS 484116 HAS SOUS 337390 HAS SOUPS 337390 WITH SCORE 337874.116
AT ITER 1377 NEW BEST:: SOT 2356869 SOS 484002 HAS SOPS 484002 HAS SOUS 337356 HAS SOUPS 337356 WITH SCORE 337840.002
AT ITER 1392 NEW BEST:: SOT 2356603 SOS 483732 HAS SOPS 483732 HAS SOUS 337089 HAS SOUPS 337089 WITH SCORE 337572.732
AT ITER 1401 NEW BEST:: SOT 2356602 SOS 484026 HAS SOPS 484026 HAS SOUS 337086 HAS SOUPS 337086 WITH SCORE 337570.026
AT ITER 1416 NEW BEST:: SOT 2356172 SOS 484141 HAS SOPS 484141 HAS SOUS 337078 HAS SOUPS 337078 WITH SCORE 337562.141
AT ITER 1421 NEW BEST:: SOT 2356128 SOS 484893 HAS SOPS 484893 HAS SOUS 337034 HAS SOUPS 337034 WITH SCORE 337518.893
AT ITER 1442 NEW BEST:: SOT 2355934 SOS 484699 HAS SOPS 484699 HAS SOUS 336840 HAS SOUPS 336840 WITH SCORE 337324.699
AT ITER 1488 NEW BEST:: SOT 2355933 SOS 484678 HAS SOPS 484678 HAS SOUS 336819 HAS SOUPS 336819 WITH SCORE 337303.678
AT ITER 1527 NEW BEST:: SOT 2355438 SOS 484070 HAS SOPS 484070 HAS SOUS 336133 HAS SOUPS 336133 WITH SCORE 336617.07
AT ITER 1532 NEW BEST:: SOT 2355289 SOS 484495 HAS SOPS 484495 HAS SOUS 335926 HAS SOUPS 335926 WITH SCORE 336410.495
AT ITER 1548 NEW BEST:: SOT 2355289 SOS 484495 HAS SOPS 484495 HAS SOUS 335841 HAS SOUPS 335841 WITH SCORE 336325.495
AT ITER 1560 NEW BEST:: SOT 2355236 SOS 484217 HAS SOPS 484217 HAS SOUS 335361 HAS SOUPS 335361 WITH SCORE 335845.217
AT ITER 1598 NEW BEST:: SOT 2355118 SOS 483981 HAS SOPS 483981 HAS SOUS 335094 HAS SOUPS 335094 WITH SCORE 335577.981
AT ITER 1602 NEW BEST:: SOT 2354832 SOS 483773 HAS SOPS 483773 HAS SOUS 334912 HAS SOUPS 334912 WITH SCORE 335395.773
AT ITER 1611 NEW BEST:: SOT 2354832 SOS 483749 HAS SOPS 483749 HAS SOUS 334888 HAS SOUPS 334888 WITH SCORE 335371.749
AT ITER 1614 NEW BEST:: SOT 2354832 SOS 483749 HAS SOPS 483749 HAS SOUS 334701 HAS SOUPS 334701 WITH SCORE 335184.749
AT ITER 1626 NEW BEST:: SOT 2353625 SOS 484095 HAS SOPS 484095 HAS SOUS 334181 HAS SOUPS 334181 WITH SCORE 334665.095
AT ITER 1641 NEW BEST:: SOT 2353476 SOS 483797 HAS SOPS 483797 HAS SOUS 333883 HAS SOUPS 333883 WITH SCORE 334366.797
AT ITER 1657 NEW BEST:: SOT 2353388 SOS 483621 HAS SOPS 483621 HAS SOUS 333751 HAS SOUPS 333751 WITH SCORE 334234.621
AT ITER 1683 NEW BEST:: SOT 2351865 SOS 484019 HAS SOPS 484019 HAS SOUS 333204 HAS SOUPS 333204 WITH SCORE 333688.019
AT ITER 1710 NEW BEST:: SOT 2351865 SOS 483954 HAS SOPS 483954 HAS SOUS 333139 HAS SOUPS 333139 WITH SCORE 333622.954
AT ITER 1727 NEW BEST:: SOT 2351850 SOS 483894 HAS SOPS 483894 HAS SOUS 333109 HAS SOUPS 333109 WITH SCORE 333592.894
AT ITER 1749 NEW BEST:: SOT 2351850 SOS 484802 HAS SOPS 484802 HAS SOUS 333108 HAS SOUPS 333108 WITH SCORE 333592.802
AT ITER 1761 NEW BEST:: SOT 2352069 SOS 485240 HAS SOPS 485240 HAS SOUS 332965 HAS SOUPS 332965 WITH SCORE 333450.24
AT ITER 1762 NEW BEST:: SOT 2351875 SOS 485086 HAS SOPS 485086 HAS SOUS 332811 HAS SOUPS 332811 WITH SCORE 333296.086
AT ITER 1781 NEW BEST:: SOT 2351883 SOS 485102 HAS SOPS 485102 HAS SOUS 332710 HAS SOUPS 332710 WITH SCORE 333195.102
AT ITER 1787 NEW BEST:: SOT 2351594 SOS 484803 HAS SOPS 484803 HAS SOUS 332420 HAS SOUPS 332420 WITH SCORE 332904.803
AT ITER 1805 NEW BEST:: SOT 2351594 SOS 483787 HAS SOPS 483787 HAS SOUS 332166 HAS SOUPS 332166 WITH SCORE 332649.787
AT ITER 1824 NEW BEST:: SOT 2351417 SOS 483433 HAS SOPS 483433 HAS SOUS 331989 HAS SOUPS 331989 WITH SCORE 332472.433
AT ITER 1873 NEW BEST:: SOT 2351363 SOS 483325 HAS SOPS 483325 HAS SOUS 331881 HAS SOUPS 331881 WITH SCORE 332364.325
AT ITER 1877 NEW BEST:: SOT 2351087 SOS 482773 HAS SOPS 482773 HAS SOUS 331479 HAS SOUPS 331479 WITH SCORE 331961.773
AT ITER 1882 NEW BEST:: SOT 2351170 SOS 482939 HAS SOPS 482939 HAS SOUS 331437 HAS SOUPS 331437 WITH SCORE 331919.939
AT ITER 1914 NEW BEST:: SOT 2351025 SOS 482649 HAS SOPS 482649 HAS SOUS 331147 HAS SOUPS 331147 WITH SCORE 331629.649
AT ITER 1937 NEW BEST:: SOT 2351022 SOS 482402 HAS SOPS 482402 HAS SOUS 330855 HAS SOUPS 330855 WITH SCORE 331337.402
AT ITER 1953 NEW BEST:: SOT 2350928 SOS 482214 HAS SOPS 482214 HAS SOUS 330667 HAS SOUPS 330667 WITH SCORE 331149.214
AT ITER 1967 NEW BEST:: SOT 2350738 SOS 481959 HAS SOPS 481959 HAS SOUS 330412 HAS SOUPS 330412 WITH SCORE 330893.959
AT ITER 1974 NEW BEST:: SOT 2350623 SOS 481384 HAS SOPS 481384 HAS SOUS 330182 HAS SOUPS 330182 WITH SCORE 330663.384
AT ITER 1979 NEW BEST:: SOT 2350623 SOS 481384 HAS SOPS 481384 HAS SOUS 330108 HAS SOUPS 330108 WITH SCORE 330589.384
AT ITER 1990 NEW BEST:: SOT 2350576 SOS 481217 HAS SOPS 481217 HAS SOUS 330049 HAS SOUPS 330049 WITH SCORE 330530.217
AT ITER 1993 NEW BEST:: SOT 2350361 SOS 481375 HAS SOPS 481375 HAS SOUS 329834 HAS SOUPS 329834 WITH SCORE 330315.375
AT ITER 2057 NEW BEST:: SOT 2350359 SOS 481371 HAS SOPS 481371 HAS SOUS 329830 HAS SOUPS 329830 WITH SCORE 330311.371
AT ITER 2080 NEW BEST:: SOT 2350265 SOS 481459 HAS SOPS 481459 HAS SOUS 329735 HAS SOUPS 329735 WITH SCORE 330216.459
AT ITER 2125 NEW BEST:: SOT 2349492 SOS 480449 HAS SOPS 480449 HAS SOUS 328694 HAS SOUPS 328694 WITH SCORE 329174.449
AT ITER 2158 NEW BEST:: SOT 2349445 SOS 479878 HAS SOPS 479878 HAS SOUS 328600 HAS SOUPS 328600 WITH SCORE 329079.878
AT ITER 2161 NEW BEST:: SOT 2349415 SOS 479728 HAS SOPS 479728 HAS SOUS 328570 HAS SOUPS 328570 WITH SCORE 329049.728
AT ITER 2167 NEW BEST:: SOT 2349208 SOS 478758 HAS SOPS 478758 HAS SOUS 328534 HAS SOUPS 328534 WITH SCORE 329012.758
AT ITER 2186 NEW BEST:: SOT 2348840 SOS 478343 HAS SOPS 478343 HAS SOUS 328382 HAS SOUPS 328382 WITH SCORE 328860.343
AT ITER 2187 NEW BEST:: SOT 2348766 SOS 478269 HAS SOPS 478269 HAS SOUS 328308 HAS SOUPS 328308 WITH SCORE 328786.269
AT ITER 2208 NEW BEST:: SOT 2348365 SOS 477714 HAS SOPS 477714 HAS SOUS 327660 HAS SOUPS 327660 WITH SCORE 328137.714
AT ITER 2217 NEW BEST:: SOT 2348364 SOS 477712 HAS SOPS 477712 HAS SOUS 327658 HAS SOUPS 327658 WITH SCORE 328135.712
AT ITER 2220 NEW BEST:: SOT 2348231 SOS 477446 HAS SOPS 477446 HAS SOUS 327392 HAS SOUPS 327392 WITH SCORE 327869.446
AT ITER 2222 NEW BEST:: SOT 2348010 SOS 477266 HAS SOPS 477266 HAS SOUS 327171 HAS SOUPS 327171 WITH SCORE 327648.266
AT ITER 2231 NEW BEST:: SOT 2347650 SOS 477032 HAS SOPS 477032 HAS SOUS 326937 HAS SOUPS 326937 WITH SCORE 327414.032
AT ITER 2232 NEW BEST:: SOT 2347584 SOS 476900 HAS SOPS 476900 HAS SOUS 326805 HAS SOUPS 326805 WITH SCORE 327281.9
AT ITER 2251 NEW BEST:: SOT 2347610 SOS 476952 HAS SOPS 476952 HAS SOUS 326759 HAS SOUPS 326759 WITH SCORE 327235.952
AT ITER 2291 NEW BEST:: SOT 2347591 SOS 476865 HAS SOPS 476865 HAS SOUS 326672 HAS SOUPS 326672 WITH SCORE 327148.865
AT ITER 2305 NEW BEST:: SOT 2347396 SOS 475791 HAS SOPS 475791 HAS SOUS 326312 HAS SOUPS 326312 WITH SCORE 326787.791
AT ITER 2351 NEW BEST:: SOT 2347378 SOS 475773 HAS SOPS 475773 HAS SOUS 326293 HAS SOUPS 326293 WITH SCORE 326768.773
AT ITER 2379 NEW BEST:: SOT 2347271 SOS 475699 HAS SOPS 475699 HAS SOUS 326219 HAS SOUPS 326219 WITH SCORE 326694.699
AT ITER 2392 NEW BEST:: SOT 2347060 SOS 475488 HAS SOPS 475488 HAS SOUS 326008 HAS SOUPS 326008 WITH SCORE 326483.488
AT ITER 2421 NEW BEST:: SOT 2347033 SOS 475434 HAS SOPS 475434 HAS SOUS 325954 HAS SOUPS 325954 WITH SCORE 326429.434
AT ITER 2437 NEW BEST:: SOT 2347027 SOS 475422 HAS SOPS 475422 HAS SOUS 325942 HAS SOUPS 325942 WITH SCORE 326417.422
AT ITER 2443 NEW BEST:: SOT 2347027 SOS 475401 HAS SOPS 475401 HAS SOUS 325942 HAS SOUPS 325942 WITH SCORE 326417.401
AT ITER 2445 NEW BEST:: SOT 2346975 SOS 475375 HAS SOPS 475375 HAS SOUS 325916 HAS SOUPS 325916 WITH SCORE 326391.375
AT ITER 2469 NEW BEST:: SOT 2346787 SOS 474999 HAS SOPS 474999 HAS SOUS 325540 HAS SOUPS 325540 WITH SCORE 326014.999
AT ITER 2471 NEW BEST:: SOT 2347193 SOS 474285 HAS SOPS 474285 HAS SOUS 325401 HAS SOUPS 325401 WITH SCORE 325875.285
AT ITER 2518 NEW BEST:: SOT 2347193 SOS 474321 HAS SOPS 474321 HAS SOUS 325368 HAS SOUPS 325368 WITH SCORE 325842.321
AT ITER 2528 NEW BEST:: SOT 2347192 SOS 474268 HAS SOPS 474268 HAS SOUS 325315 HAS SOUPS 325315 WITH SCORE 325789.268
AT ITER 2577 NEW BEST:: SOT 2347192 SOS 474268 HAS SOPS 474268 HAS SOUS 325238 HAS SOUPS 325238 WITH SCORE 325712.268
AT ITER 2578 NEW BEST:: SOT 2347072 SOS 474312 HAS SOPS 474312 HAS SOUS 325140 HAS SOUPS 325140 WITH SCORE 325614.312
AT ITER 2601 NEW BEST:: SOT 2346638 SOS 473878 HAS SOPS 473878 HAS SOUS 324706 HAS SOUPS 324706 WITH SCORE 325179.878
AT ITER 2612 NEW BEST:: SOT 2346429 SOS 474250 HAS SOPS 474250 HAS SOUS 324288 HAS SOUPS 324288 WITH SCORE 324762.25
AT ITER 2621 NEW BEST:: SOT 2346394 SOS 474180 HAS SOPS 474180 HAS SOUS 324218 HAS SOUPS 324218 WITH SCORE 324692.18
AT ITER 2622 NEW BEST:: SOT 2346271 SOS 474080 HAS SOPS 474080 HAS SOUS 324118 HAS SOUPS 324118 WITH SCORE 324592.08
AT ITER 2627 NEW BEST:: SOT 2346271 SOS 474321 HAS SOPS 474321 HAS SOUS 324117 HAS SOUPS 324117 WITH SCORE 324591.321
AT ITER 2668 NEW BEST:: SOT 2346247 SOS 474273 HAS SOPS 474273 HAS SOUS 323954 HAS SOUPS 323954 WITH SCORE 324428.273
AT ITER 2671 NEW BEST:: SOT 2346344 SOS 474467 HAS SOPS 474467 HAS SOUS 323759 HAS SOUPS 323759 WITH SCORE 324233.467
AT ITER 2679 NEW BEST:: SOT 2346331 SOS 474454 HAS SOPS 474454 HAS SOUS 323733 HAS SOUPS 323733 WITH SCORE 324207.454
AT ITER 2690 NEW BEST:: SOT 2345963 SOS 474262 HAS SOPS 474262 HAS SOUS 323548 HAS SOUPS 323548 WITH SCORE 324022.262
AT ITER 2713 NEW BEST:: SOT 2345676 SOS 473951 HAS SOPS 473951 HAS SOUS 323488 HAS SOUPS 323488 WITH SCORE 323961.951
AT ITER 2714 NEW BEST:: SOT 2345644 SOS 473942 HAS SOPS 473942 HAS SOUS 323456 HAS SOUPS 323456 WITH SCORE 323929.942
AT ITER 2727 NEW BEST:: SOT 2345162 SOS 473701 HAS SOPS 473701 HAS SOUS 323215 HAS SOUPS 323215 WITH SCORE 323688.701
AT ITER 2732 NEW BEST:: SOT 2345162 SOS 473698 HAS SOPS 473698 HAS SOUS 323212 HAS SOUPS 323212 WITH SCORE 323685.698
AT ITER 2742 NEW BEST:: SOT 2345191 SOS 473670 HAS SOPS 473670 HAS SOUS 323184 HAS SOUPS 323184 WITH SCORE 323657.67
AT ITER 2823 NEW BEST:: SOT 2345184 SOS 473663 HAS SOPS 473663 HAS SOUS 323177 HAS SOUPS 323177 WITH SCORE 323650.663
AT ITER 2831 NEW BEST:: SOT 2345158 SOS 473689 HAS SOPS 473689 HAS SOUS 323151 HAS SOUPS 323151 WITH SCORE 323624.689
AT ITER 2835 NEW BEST:: SOT 2345158 SOS 473666 HAS SOPS 473666 HAS SOUS 323151 HAS SOUPS 323151 WITH SCORE 323624.666
AT ITER 2858 NEW BEST:: SOT 2344950 SOS 473354 HAS SOPS 473354 HAS SOUS 322839 HAS SOUPS 322839 WITH SCORE 323312.354
AT ITER 2872 NEW BEST:: SOT 2344850 SOS 472865 HAS SOPS 472865 HAS SOUS 322704 HAS SOUPS 322704 WITH SCORE 323176.865
AT ITER 2930 NEW BEST:: SOT 2344735 SOS 473471 HAS SOPS 473471 HAS SOUS 322473 HAS SOUPS 322473 WITH SCORE 322946.471
AT ITER 2973 NEW BEST:: SOT 2344552 SOS 473448 HAS SOPS 473448 HAS SOUS 322372 HAS SOUPS 322372 WITH SCORE 322845.448
AT ITER 2990 NEW BEST:: SOT 2344534 SOS 473434 HAS SOPS 473434 HAS SOUS 322368 HAS SOUPS 322368 WITH SCORE 322841.434
AT ITER 3015 NEW BEST:: SOT 2344289 SOS 472944 HAS SOPS 472944 HAS SOUS 321878 HAS SOUPS 321878 WITH SCORE 322350.944
AT ITER 3027 NEW BEST:: SOT 2344258 SOS 472789 HAS SOPS 472789 HAS SOUS 321816 HAS SOUPS 321816 WITH SCORE 322288.789
AT ITER 3030 NEW BEST:: SOT 2344204 SOS 472431 HAS SOPS 472431 HAS SOUS 321637 HAS SOUPS 321637 WITH SCORE 322109.431
AT ITER 3065 NEW BEST:: SOT 2344156 SOS 472047 HAS SOPS 472047 HAS SOUS 321493 HAS SOUPS 321493 WITH SCORE 321965.047
AT ITER 3081 NEW BEST:: SOT 2343988 SOS 471207 HAS SOPS 471207 HAS SOUS 321271 HAS SOUPS 321271 WITH SCORE 321742.207
AT ITER 3139 NEW BEST:: SOT 2343796 SOS 473435 HAS SOPS 473435 HAS SOUS 321122 HAS SOUPS 321122 WITH SCORE 321595.435
AT ITER 3142 NEW BEST:: SOT 2343731 SOS 475150 HAS SOPS 475150 HAS SOUS 320992 HAS SOUPS 320992 WITH SCORE 321467.15
AT ITER 3182 NEW BEST:: SOT 2343659 SOS 474340 HAS SOPS 474340 HAS SOUS 320848 HAS SOUPS 320848 WITH SCORE 321322.34
AT ITER 3241 NEW BEST:: SOT 2343658 SOS 474338 HAS SOPS 474338 HAS SOUS 320846 HAS SOUPS 320846 WITH SCORE 321320.338
AT ITER 3278 NEW BEST:: SOT 2343658 SOS 474338 HAS SOPS 474338 HAS SOUS 320683 HAS SOUPS 320683 WITH SCORE 321157.338
AT ITER 3286 NEW BEST:: SOT 2343611 SOS 474244 HAS SOPS 474244 HAS SOUS 320589 HAS SOUPS 320589 WITH SCORE 321063.244
AT ITER 3310 NEW BEST:: SOT 2343589 SOS 474200 HAS SOPS 474200 HAS SOUS 320567 HAS SOUPS 320567 WITH SCORE 321041.2
AT ITER 3336 NEW BEST:: SOT 2343502 SOS 474026 HAS SOPS 474026 HAS SOUS 320393 HAS SOUPS 320393 WITH SCORE 320867.026
AT ITER 3356 NEW BEST:: SOT 2343501 SOS 474024 HAS SOPS 474024 HAS SOUS 320391 HAS SOUPS 320391 WITH SCORE 320865.024
AT ITER 3374 NEW BEST:: SOT 2343351 SOS 473895 HAS SOPS 473895 HAS SOUS 320241 HAS SOUPS 320241 WITH SCORE 320714.895
AT ITER 3402 NEW BEST:: SOT 2343322 SOS 474138 HAS SOPS 474138 HAS SOUS 320212 HAS SOUPS 320212 WITH SCORE 320686.138
AT ITER 3448 NEW BEST:: SOT 2343347 SOS 474150 HAS SOPS 474150 HAS SOUS 320144 HAS SOUPS 320144 WITH SCORE 320618.15
AT ITER 3473 NEW BEST:: SOT 2343258 SOS 476951 HAS SOPS 476951 HAS SOUS 319966 HAS SOUPS 319966 WITH SCORE 320442.951
AT ITER 3478 NEW BEST:: SOT 2343150 SOS 476843 HAS SOPS 476843 HAS SOUS 319858 HAS SOUPS 319858 WITH SCORE 320334.843
AT ITER 3498 NEW BEST:: SOT 2343137 SOS 476817 HAS SOPS 476817 HAS SOUS 319832 HAS SOUPS 319832 WITH SCORE 320308.817
AT ITER 3503 NEW BEST:: SOT 2343092 SOS 476825 HAS SOPS 476825 HAS SOUS 319786 HAS SOUPS 319786 WITH SCORE 320262.825
AT ITER 3519 NEW BEST:: SOT 2343068 SOS 476777 HAS SOPS 476777 HAS SOUS 319786 HAS SOUPS 319786 WITH SCORE 320262.777
AT ITER 3523 NEW BEST:: SOT 2342975 SOS 476591 HAS SOPS 476591 HAS SOUS 319600 HAS SOUPS 319600 WITH SCORE 320076.591
AT ITER 3546 NEW BEST:: SOT 2342975 SOS 476591 HAS SOPS 476591 HAS SOUS 319500 HAS SOUPS 319500 WITH SCORE 319976.591
AT ITER 3547 NEW BEST:: SOT 2342973 SOS 476587 HAS SOPS 476587 HAS SOUS 319383 HAS SOUPS 319383 WITH SCORE 319859.587
AT ITER 3588 NEW BEST:: SOT 2342801 SOS 476243 HAS SOPS 476243 HAS SOUS 319039 HAS SOUPS 319039 WITH SCORE 319515.243
AT ITER 3596 NEW BEST:: SOT 2342574 SOS 472873 HAS SOPS 472873 HAS SOUS 318585 HAS SOUPS 318585 WITH SCORE 319057.873
AT ITER 3662 NEW BEST:: SOT 2342552 SOS 472851 HAS SOPS 472851 HAS SOUS 318563 HAS SOUPS 318563 WITH SCORE 319035.851
AT ITER 3704 NEW BEST:: SOT 2342474 SOS 472695 HAS SOPS 472695 HAS SOUS 318485 HAS SOUPS 318485 WITH SCORE 318957.695
AT ITER 3760 NEW BEST:: SOT 2342434 SOS 472615 HAS SOPS 472615 HAS SOUS 318405 HAS SOUPS 318405 WITH SCORE 318877.615
AT ITER 3770 NEW BEST:: SOT 2341943 SOS 472254 HAS SOPS 472254 HAS SOUS 317547 HAS SOUPS 317547 WITH SCORE 318019.254
AT ITER 3785 NEW BEST:: SOT 2341811 SOS 471990 HAS SOPS 471990 HAS SOUS 317414 HAS SOUPS 317414 WITH SCORE 317885.99
AT ITER 3786 NEW BEST:: SOT 2341911 SOS 471890 HAS SOPS 471890 HAS SOUS 317414 HAS SOUPS 317414 WITH SCORE 317885.89
AT ITER 3816 NEW BEST:: SOT 2341907 SOS 471885 HAS SOPS 471885 HAS SOUS 317409 HAS SOUPS 317409 WITH SCORE 317880.885
AT ITER 3819 NEW BEST:: SOT 2341866 SOS 471977 HAS SOPS 471977 HAS SOUS 317367 HAS SOUPS 317367 WITH SCORE 317838.977
AT ITER 3827 NEW BEST:: SOT 2341777 SOS 471941 HAS SOPS 471941 HAS SOUS 317331 HAS SOUPS 317331 WITH SCORE 317802.941
AT ITER 3840 NEW BEST:: SOT 2341373 SOS 471537 HAS SOPS 471537 HAS SOUS 317028 HAS SOUPS 317028 WITH SCORE 317499.537
AT ITER 3861 NEW BEST:: SOT 2341303 SOS 471397 HAS SOPS 471397 HAS SOUS 316888 HAS SOUPS 316888 WITH SCORE 317359.397
AT ITER 3887 NEW BEST:: SOT 2341303 SOS 471326 HAS SOPS 471326 HAS SOUS 316888 HAS SOUPS 316888 WITH SCORE 317359.326
AT ITER 3912 NEW BEST:: SOT 2341182 SOS 471084 HAS SOPS 471084 HAS SOUS 316646 HAS SOUPS 316646 WITH SCORE 317117.084
AT ITER 3961 NEW BEST:: SOT 2341137 SOS 471039 HAS SOPS 471039 HAS SOUS 316601 HAS SOUPS 316601 WITH SCORE 317072.039
AT ITER 3996 NEW BEST:: SOT 2340609 SOS 468927 HAS SOPS 468927 HAS SOUS 316073 HAS SOUPS 316073 WITH SCORE 316541.927
AT ITER 4010 NEW BEST:: SOT 2340380 SOS 468824 HAS SOPS 468824 HAS SOUS 315970 HAS SOUPS 315970 WITH SCORE 316438.824
AT ITER 4011 NEW BEST:: SOT 2340401 SOS 468714 HAS SOPS 468714 HAS SOUS 315860 HAS SOUPS 315860 WITH SCORE 316328.714
AT ITER 4024 NEW BEST:: SOT 2340348 SOS 468608 HAS SOPS 468608 HAS SOUS 315754 HAS SOUPS 315754 WITH SCORE 316222.608
AT ITER 4029 NEW BEST:: SOT 2340441 SOS 468630 HAS SOPS 468630 HAS SOUS 315748 HAS SOUPS 315748 WITH SCORE 316216.63
AT ITER 4045 NEW BEST:: SOT 2340441 SOS 468630 HAS SOPS 468630 HAS SOUS 315700 HAS SOUPS 315700 WITH SCORE 316168.63
AT ITER 4080 NEW BEST:: SOT 2339541 SOS 467730 HAS SOPS 467730 HAS SOUS 314800 HAS SOUPS 314800 WITH SCORE 315267.73
AT ITER 4114 NEW BEST:: SOT 2339010 SOS 467499 HAS SOPS 467499 HAS SOUS 314315 HAS SOUPS 314315 WITH SCORE 314782.499
AT ITER 4142 NEW BEST:: SOT 2339010 SOS 467499 HAS SOPS 467499 HAS SOUS 314281 HAS SOUPS 314281 WITH SCORE 314748.499
AT ITER 4145 NEW BEST:: SOT 2339004 SOS 467487 HAS SOPS 467487 HAS SOUS 314269 HAS SOUPS 314269 WITH SCORE 314736.487
AT ITER 4169 NEW BEST:: SOT 2339273 SOS 467743 HAS SOPS 467743 HAS SOUS 314266 HAS SOUPS 314266 WITH SCORE 314733.743
AT ITER 4173 NEW BEST:: SOT 2339195 SOS 467479 HAS SOPS 467479 HAS SOUS 314134 HAS SOUPS 314134 WITH SCORE 314601.479
AT ITER 4175 NEW BEST:: SOT 2339187 SOS 467463 HAS SOPS 467463 HAS SOUS 313975 HAS SOUPS 313975 WITH SCORE 314442.463
AT ITER 4189 NEW BEST:: SOT 2339161 SOS 467411 HAS SOPS 467411 HAS SOUS 313923 HAS SOUPS 313923 WITH SCORE 314390.411
AT ITER 4197 NEW BEST:: SOT 2339141 SOS 467408 HAS SOPS 467408 HAS SOUS 313922 HAS SOUPS 313922 WITH SCORE 314389.408
AT ITER 4219 NEW BEST:: SOT 2339141 SOS 467686 HAS SOPS 467686 HAS SOUS 313889 HAS SOUPS 313889 WITH SCORE 314356.686
AT ITER 4222 NEW BEST:: SOT 2339153 SOS 467710 HAS SOPS 467710 HAS SOUS 313577 HAS SOUPS 313577 WITH SCORE 314044.71
AT ITER 4228 NEW BEST:: SOT 2339152 SOS 467572 HAS SOPS 467572 HAS SOUS 313575 HAS SOUPS 313575 WITH SCORE 314042.572
AT ITER 4254 NEW BEST:: SOT 2339152 SOS 467572 HAS SOPS 467572 HAS SOUS 313571 HAS SOUPS 313571 WITH SCORE 314038.572
AT ITER 4265 NEW BEST:: SOT 2339072 SOS 467492 HAS SOPS 467492 HAS SOUS 313491 HAS SOUPS 313491 WITH SCORE 313958.492
AT ITER 4277 NEW BEST:: SOT 2338737 SOS 467450 HAS SOPS 467450 HAS SOUS 313346 HAS SOUPS 313346 WITH SCORE 313813.45
AT ITER 4309 NEW BEST:: SOT 2338713 SOS 467402 HAS SOPS 467402 HAS SOUS 313298 HAS SOUPS 313298 WITH SCORE 313765.402
AT ITER 4311 NEW BEST:: SOT 2338713 SOS 467372 HAS SOPS 467372 HAS SOUS 313268 HAS SOUPS 313268 WITH SCORE 313735.372
AT ITER 4319 NEW BEST:: SOT 2337815 SOS 468591 HAS SOPS 468591 HAS SOUS 313215 HAS SOUPS 313215 WITH SCORE 313683.591
AT ITER 4329 NEW BEST:: SOT 2337815 SOS 468591 HAS SOPS 468591 HAS SOUS 313201 HAS SOUPS 313201 WITH SCORE 313669.591
AT ITER 4336 NEW BEST:: SOT 2337791 SOS 468543 HAS SOPS 468543 HAS SOUS 313165 HAS SOUPS 313165 WITH SCORE 313633.543
AT ITER 4339 NEW BEST:: SOT 2337712 SOS 468385 HAS SOPS 468385 HAS SOUS 312983 HAS SOUPS 312983 WITH SCORE 313451.385
AT ITER 4361 NEW BEST:: SOT 2337712 SOS 468360 HAS SOPS 468360 HAS SOUS 312983 HAS SOUPS 312983 WITH SCORE 313451.36
AT ITER 4374 NEW BEST:: SOT 2337671 SOS 468278 HAS SOPS 468278 HAS SOUS 312942 HAS SOUPS 312942 WITH SCORE 313410.278
AT ITER 4392 NEW BEST:: SOT 2337664 SOS 468400 HAS SOPS 468400 HAS SOUS 312928 HAS SOUPS 312928 WITH SCORE 313396.4
AT ITER 4402 NEW BEST:: SOT 2337664 SOS 468172 HAS SOPS 468172 HAS SOUS 312814 HAS SOUPS 312814 WITH SCORE 313282.172
AT ITER 4429 NEW BEST:: SOT 2337619 SOS 468082 HAS SOPS 468082 HAS SOUS 312769 HAS SOUPS 312769 WITH SCORE 313237.082
AT ITER 4455 NEW BEST:: SOT 2337615 SOS 468074 HAS SOPS 468074 HAS SOUS 312761 HAS SOUPS 312761 WITH SCORE 313229.074
AT ITER 4463 NEW BEST:: SOT 2337591 SOS 468026 HAS SOPS 468026 HAS SOUS 312713 HAS SOUPS 312713 WITH SCORE 313181.026
AT ITER 4465 NEW BEST:: SOT 2337519 SOS 467810 HAS SOPS 467810 HAS SOUS 312569 HAS SOUPS 312569 WITH SCORE 313036.81
AT ITER 4466 NEW BEST:: SOT 2337545 SOS 467587 HAS SOPS 467587 HAS SOUS 312346 HAS SOUPS 312346 WITH SCORE 312813.587
AT ITER 4490 NEW BEST:: SOT 2337545 SOS 467587 HAS SOPS 467587 HAS SOUS 312317 HAS SOUPS 312317 WITH SCORE 312784.587
AT ITER 4515 NEW BEST:: SOT 2337338 SOS 467426 HAS SOPS 467426 HAS SOUS 312271 HAS SOUPS 312271 WITH SCORE 312738.426
AT ITER 4571 NEW BEST:: SOT 2337338 SOS 467228 HAS SOPS 467228 HAS SOUS 312073 HAS SOUPS 312073 WITH SCORE 312540.228
AT ITER 4605 NEW BEST:: SOT 2337301 SOS 467154 HAS SOPS 467154 HAS SOUS 311999 HAS SOUPS 311999 WITH SCORE 312466.154
AT ITER 4618 NEW BEST:: SOT 2337190 SOS 466599 HAS SOPS 466599 HAS SOUS 311666 HAS SOUPS 311666 WITH SCORE 312132.599
AT ITER 4658 NEW BEST:: SOT 2336070 SOS 465619 HAS SOPS 465619 HAS SOUS 310546 HAS SOUPS 310546 WITH SCORE 311011.619
AT ITER 4694 NEW BEST:: SOT 2336030 SOS 465479 HAS SOPS 465479 HAS SOUS 310486 HAS SOUPS 310486 WITH SCORE 310951.479
AT ITER 4709 NEW BEST:: SOT 2336030 SOS 466157 HAS SOPS 466157 HAS SOUS 310460 HAS SOUPS 310460 WITH SCORE 310926.157
AT ITER 4712 NEW BEST:: SOT 2335753 SOS 465603 HAS SOPS 465603 HAS SOUS 309906 HAS SOUPS 309906 WITH SCORE 310371.603
AT ITER 4736 NEW BEST:: SOT 2335729 SOS 465593 HAS SOPS 465593 HAS SOUS 309905 HAS SOUPS 309905 WITH SCORE 310370.593
AT ITER 4787 NEW BEST:: SOT 2335645 SOS 465457 HAS SOPS 465457 HAS SOUS 309792 HAS SOUPS 309792 WITH SCORE 310257.457
AT ITER 4805 NEW BEST:: SOT 2335619 SOS 465450 HAS SOPS 465450 HAS SOUS 309781 HAS SOUPS 309781 WITH SCORE 310246.45
AT ITER 4806 NEW BEST:: SOT 2335610 SOS 465370 HAS SOPS 465370 HAS SOUS 309707 HAS SOUPS 309707 WITH SCORE 310172.37
AT ITER 4831 NEW BEST:: SOT 2335255 SOS 464981 HAS SOPS 464981 HAS SOUS 309264 HAS SOUPS 309264 WITH SCORE 309728.981
AT ITER 4848 NEW BEST:: SOT 2335098 SOS 465019 HAS SOPS 465019 HAS SOUS 308950 HAS SOUPS 308950 WITH SCORE 309415.019
AT ITER 4948 NEW BEST:: SOT 2335022 SOS 464259 HAS SOPS 464259 HAS SOUS 308798 HAS SOUPS 308798 WITH SCORE 309262.259
AT ITER 4955 NEW BEST:: SOT 2335023 SOS 464258 HAS SOPS 464258 HAS SOUS 308798 HAS SOUPS 308798 WITH SCORE 309262.258
AT ITER 4962 NEW BEST:: SOT 2334997 SOS 464089 HAS SOPS 464089 HAS SOUS 308746 HAS SOUPS 308746 WITH SCORE 309210.089
AT ITER 4984 NEW BEST:: SOT 2334986 SOS 464067 HAS SOPS 464067 HAS SOUS 308724 HAS SOUPS 308724 WITH SCORE 309188.067
AT ITER 5005 NEW BEST:: SOT 2334970 SOS 464035 HAS SOPS 464035 HAS SOUS 308692 HAS SOUPS 308692 WITH SCORE 309156.035
AT ITER 5006 NEW BEST:: SOT 2334970 SOS 463794 HAS SOPS 463794 HAS SOUS 308692 HAS SOUPS 308692 WITH SCORE 309155.794
AT ITER 5105 NEW BEST:: SOT 2334426 SOS 463541 HAS SOPS 463541 HAS SOUS 308337 HAS SOUPS 308337 WITH SCORE 308800.541
AT ITER 5113 NEW BEST:: SOT 2334533 SOS 463494 HAS SOPS 463494 HAS SOUS 308290 HAS SOUPS 308290 WITH SCORE 308753.494
AT ITER 5165 NEW BEST:: SOT 2334488 SOS 463404 HAS SOPS 463404 HAS SOUS 308200 HAS SOUPS 308200 WITH SCORE 308663.404
AT ITER 5193 NEW BEST:: SOT 2334488 SOS 463266 HAS SOPS 463266 HAS SOUS 308200 HAS SOUPS 308200 WITH SCORE 308663.266
AT ITER 5262 NEW BEST:: SOT 2334440 SOS 463218 HAS SOPS 463218 HAS SOUS 308152 HAS SOUPS 308152 WITH SCORE 308615.218
AT ITER 5303 NEW BEST:: SOT 2334439 SOS 463216 HAS SOPS 463216 HAS SOUS 308150 HAS SOUPS 308150 WITH SCORE 308613.216
AT ITER 5307 NEW BEST:: SOT 2333321 SOS 464297 HAS SOPS 464297 HAS SOUS 307940 HAS SOUPS 307940 WITH SCORE 308404.297
AT ITER 5329 NEW BEST:: SOT 2333293 SOS 464241 HAS SOPS 464241 HAS SOUS 307934 HAS SOUPS 307934 WITH SCORE 308398.241
AT ITER 5350 NEW BEST:: SOT 2333211 SOS 464077 HAS SOPS 464077 HAS SOUS 307770 HAS SOUPS 307770 WITH SCORE 308234.077
AT ITER 5352 NEW BEST:: SOT 2333210 SOS 464075 HAS SOPS 464075 HAS SOUS 307768 HAS SOUPS 307768 WITH SCORE 308232.075
AT ITER 5390 NEW BEST:: SOT 2333145 SOS 464015 HAS SOPS 464015 HAS SOUS 307703 HAS SOUPS 307703 WITH SCORE 308167.015
AT ITER 5416 NEW BEST:: SOT 2333824 SOS 462631 HAS SOPS 462631 HAS SOUS 307474 HAS SOUPS 307474 WITH SCORE 307936.631
AT ITER 5449 NEW BEST:: SOT 2333760 SOS 462503 HAS SOPS 462503 HAS SOUS 307346 HAS SOUPS 307346 WITH SCORE 307808.503
AT ITER 5483 NEW BEST:: SOT 2333693 SOS 462438 HAS SOPS 462438 HAS SOUS 307281 HAS SOUPS 307281 WITH SCORE 307743.438
AT ITER 5485 NEW BEST:: SOT 2333625 SOS 462336 HAS SOPS 462336 HAS SOUS 307213 HAS SOUPS 307213 WITH SCORE 307675.336
AT ITER 5503 NEW BEST:: SOT 2333448 SOS 462221 HAS SOPS 462221 HAS SOUS 307105 HAS SOUPS 307105 WITH SCORE 307567.221
AT ITER 5509 NEW BEST:: SOT 2333270 SOS 462043 HAS SOPS 462043 HAS SOUS 306927 HAS SOUPS 306927 WITH SCORE 307389.043
AT ITER 5532 NEW BEST:: SOT 2333197 SOS 461970 HAS SOPS 461970 HAS SOUS 306854 HAS SOUPS 306854 WITH SCORE 307315.97
AT ITER 5639 NEW BEST:: SOT 2333197 SOS 461966 HAS SOPS 461966 HAS SOUS 306854 HAS SOUPS 306854 WITH SCORE 307315.966
AT ITER 5658 NEW BEST:: SOT 2333153 SOS 461878 HAS SOPS 461878 HAS SOUS 306766 HAS SOUPS 306766 WITH SCORE 307227.878
AT ITER 5690 NEW BEST:: SOT 2333121 SOS 461878 HAS SOPS 461878 HAS SOUS 306734 HAS SOUPS 306734 WITH SCORE 307195.878
AT ITER 5699 NEW BEST:: SOT 2332261 SOS 462328 HAS SOPS 462328 HAS SOUS 306581 HAS SOUPS 306581 WITH SCORE 307043.328
AT ITER 5701 NEW BEST:: SOT 2332124 SOS 461865 HAS SOPS 461865 HAS SOUS 306273 HAS SOUPS 306273 WITH SCORE 306734.865
AT ITER 5702 NEW BEST:: SOT 2332078 SOS 461773 HAS SOPS 461773 HAS SOUS 306273 HAS SOUPS 306273 WITH SCORE 306734.773
AT ITER 5708 NEW BEST:: SOT 2332018 SOS 461770 HAS SOPS 461770 HAS SOUS 306271 HAS SOUPS 306271 WITH SCORE 306732.77
AT ITER 5711 NEW BEST:: SOT 2332187 SOS 461433 HAS SOPS 461433 HAS SOUS 306221 HAS SOUPS 306221 WITH SCORE 306682.433
AT ITER 5727 NEW BEST:: SOT 2332187 SOS 461321 HAS SOPS 461321 HAS SOUS 306165 HAS SOUPS 306165 WITH SCORE 306626.321
AT ITER 5728 NEW BEST:: SOT 2332187 SOS 461255 HAS SOPS 461255 HAS SOUS 306099 HAS SOUPS 306099 WITH SCORE 306560.255
AT ITER 5731 NEW BEST:: SOT 2332063 SOS 461007 HAS SOPS 461007 HAS SOUS 305975 HAS SOUPS 305975 WITH SCORE 306436.007
AT ITER 5733 NEW BEST:: SOT 2332059 SOS 460999 HAS SOPS 460999 HAS SOUS 305967 HAS SOUPS 305967 WITH SCORE 306427.999
AT ITER 5740 NEW BEST:: SOT 2332128 SOS 460998 HAS SOPS 460998 HAS SOUS 305966 HAS SOUPS 305966 WITH SCORE 306426.998
AT ITER 5756 NEW BEST:: SOT 2332106 SOS 460954 HAS SOPS 460954 HAS SOUS 305922 HAS SOUPS 305922 WITH SCORE 306382.954
AT ITER 5768 NEW BEST:: SOT 2332032 SOS 460806 HAS SOPS 460806 HAS SOUS 305848 HAS SOUPS 305848 WITH SCORE 306308.806
AT ITER 5791 NEW BEST:: SOT 2331970 SOS 460682 HAS SOPS 460682 HAS SOUS 305581 HAS SOUPS 305581 WITH SCORE 306041.682
AT ITER 5807 NEW BEST:: SOT 2331957 SOS 460951 HAS SOPS 460951 HAS SOUS 305512 HAS SOUPS 305512 WITH SCORE 305972.951
AT ITER 5822 NEW BEST:: SOT 2331936 SOS 460909 HAS SOPS 460909 HAS SOUS 305470 HAS SOUPS 305470 WITH SCORE 305930.909
AT ITER 5847 NEW BEST:: SOT 2331891 SOS 460864 HAS SOPS 460864 HAS SOUS 305425 HAS SOUPS 305425 WITH SCORE 305885.864
AT ITER 5850 NEW BEST:: SOT 2331891 SOS 460782 HAS SOPS 460782 HAS SOUS 305402 HAS SOUPS 305402 WITH SCORE 305862.782
AT ITER 5897 NEW BEST:: SOT 2331627 SOS 459466 HAS SOPS 459466 HAS SOUS 304875 HAS SOUPS 304875 WITH SCORE 305334.466
AT ITER 5913 NEW BEST:: SOT 2331520 SOS 459252 HAS SOPS 459252 HAS SOUS 304802 HAS SOUPS 304802 WITH SCORE 305261.252
AT ITER 5914 NEW BEST:: SOT 2331390 SOS 459002 HAS SOPS 459002 HAS SOUS 304764 HAS SOUPS 304764 WITH SCORE 305223.002
AT ITER 5970 NEW BEST:: SOT 2330879 SOS 458622 HAS SOPS 458622 HAS SOUS 304411 HAS SOUPS 304411 WITH SCORE 304869.622
AT ITER 5982 NEW BEST:: SOT 2330891 SOS 458757 HAS SOPS 458757 HAS SOUS 304373 HAS SOUPS 304373 WITH SCORE 304831.757
AT ITER 5983 NEW BEST:: SOT 2330865 SOS 458705 HAS SOPS 458705 HAS SOUS 304347 HAS SOUPS 304347 WITH SCORE 304805.705
AT ITER 5996 NEW BEST:: SOT 2330277 SOS 458117 HAS SOPS 458117 HAS SOUS 304072 HAS SOUPS 304072 WITH SCORE 304530.117
AT ITER 6021 NEW BEST:: SOT 2330277 SOS 457900 HAS SOPS 457900 HAS SOUS 303855 HAS SOUPS 303855 WITH SCORE 304312.9
AT ITER 6050 NEW BEST:: SOT 2330223 SOS 457846 HAS SOPS 457846 HAS SOUS 303774 HAS SOUPS 303774 WITH SCORE 304231.846
AT ITER 6060 NEW BEST:: SOT 2330212 SOS 457824 HAS SOPS 457824 HAS SOUS 303752 HAS SOUPS 303752 WITH SCORE 304209.824
AT ITER 6086 NEW BEST:: SOT 2330124 SOS 457694 HAS SOPS 457694 HAS SOUS 303622 HAS SOUPS 303622 WITH SCORE 304079.694
AT ITER 6100 NEW BEST:: SOT 2330324 SOS 457684 HAS SOPS 457684 HAS SOUS 303617 HAS SOUPS 303617 WITH SCORE 304074.684
AT ITER 6107 NEW BEST:: SOT 2330323 SOS 457682 HAS SOPS 457682 HAS SOUS 303615 HAS SOUPS 303615 WITH SCORE 304072.682
AT ITER 6158 NEW BEST:: SOT 2330360 SOS 457756 HAS SOPS 457756 HAS SOUS 303593 HAS SOUPS 303593 WITH SCORE 304050.756
AT ITER 6175 NEW BEST:: SOT 2330212 SOS 457565 HAS SOPS 457565 HAS SOUS 303402 HAS SOUPS 303402 WITH SCORE 303859.565
AT ITER 6186 NEW BEST:: SOT 2330107 SOS 457355 HAS SOPS 457355 HAS SOUS 303192 HAS SOUPS 303192 WITH SCORE 303649.355
AT ITER 6213 NEW BEST:: SOT 2330077 SOS 457295 HAS SOPS 457295 HAS SOUS 303132 HAS SOUPS 303132 WITH SCORE 303589.295
AT ITER 6260 NEW BEST:: SOT 2329890 SOS 456921 HAS SOPS 456921 HAS SOUS 302774 HAS SOUPS 302774 WITH SCORE 303230.921
AT ITER 6272 NEW BEST:: SOT 2329810 SOS 456798 HAS SOPS 456798 HAS SOUS 302651 HAS SOUPS 302651 WITH SCORE 303107.798
AT ITER 6277 NEW BEST:: SOT 2329784 SOS 456296 HAS SOPS 456296 HAS SOUS 302599 HAS SOUPS 302599 WITH SCORE 303055.296
AT ITER 6316 NEW BEST:: SOT 2329847 SOS 456087 HAS SOPS 456087 HAS SOUS 302417 HAS SOUPS 302417 WITH SCORE 302873.087
AT ITER 6322 NEW BEST:: SOT 2329757 SOS 455907 HAS SOPS 455907 HAS SOUS 302237 HAS SOUPS 302237 WITH SCORE 302692.907
AT ITER 6343 NEW BEST:: SOT 2329729 SOS 455851 HAS SOPS 455851 HAS SOUS 302181 HAS SOUPS 302181 WITH SCORE 302636.851
AT ITER 6354 NEW BEST:: SOT 2329567 SOS 455365 HAS SOPS 455365 HAS SOUS 302019 HAS SOUPS 302019 WITH SCORE 302474.365
AT ITER 6401 NEW BEST:: SOT 2329528 SOS 454424 HAS SOPS 454424 HAS SOUS 301766 HAS SOUPS 301766 WITH SCORE 302220.424
AT ITER 6402 NEW BEST:: SOT 2329151 SOS 454100 HAS SOPS 454100 HAS SOUS 301345 HAS SOUPS 301345 WITH SCORE 301799.1
AT ITER 6466 NEW BEST:: SOT 2329125 SOS 454048 HAS SOPS 454048 HAS SOUS 301293 HAS SOUPS 301293 WITH SCORE 301747.048
AT ITER 6499 NEW BEST:: SOT 2329125 SOS 453942 HAS SOPS 453942 HAS SOUS 301240 HAS SOUPS 301240 WITH SCORE 301693.942
AT ITER 6507 NEW BEST:: SOT 2329103 SOS 453898 HAS SOPS 453898 HAS SOUS 301196 HAS SOUPS 301196 WITH SCORE 301649.898
AT ITER 6509 NEW BEST:: SOT 2328878 SOS 453638 HAS SOPS 453638 HAS SOUS 300936 HAS SOUPS 300936 WITH SCORE 301389.638
AT ITER 6520 NEW BEST:: SOT 2328866 SOS 453632 HAS SOPS 453632 HAS SOUS 300930 HAS SOUPS 300930 WITH SCORE 301383.632
AT ITER 6580 NEW BEST:: SOT 2328817 SOS 453534 HAS SOPS 453534 HAS SOUS 300832 HAS SOUPS 300832 WITH SCORE 301285.534
AT ITER 6584 NEW BEST:: SOT 2328529 SOS 453246 HAS SOPS 453246 HAS SOUS 300544 HAS SOUPS 300544 WITH SCORE 300997.246
AT ITER 6599 NEW BEST:: SOT 2328519 SOS 453226 HAS SOPS 453226 HAS SOUS 300524 HAS SOUPS 300524 WITH SCORE 300977.226
AT ITER 6629 NEW BEST:: SOT 2328203 SOS 452819 HAS SOPS 452819 HAS SOUS 300204 HAS SOUPS 300204 WITH SCORE 300656.819
AT ITER 6641 NEW BEST:: SOT 2328340 SOS 451037 HAS SOPS 451037 HAS SOUS 300156 HAS SOUPS 300156 WITH SCORE 300607.037
AT ITER 6676 NEW BEST:: SOT 2328340 SOS 451030 HAS SOPS 451030 HAS SOUS 300156 HAS SOUPS 300156 WITH SCORE 300607.03
AT ITER 6679 NEW BEST:: SOT 2328270 SOS 450634 HAS SOPS 450634 HAS SOUS 299912 HAS SOUPS 299912 WITH SCORE 300362.634
AT ITER 6691 NEW BEST:: SOT 2328179 SOS 450452 HAS SOPS 450452 HAS SOUS 299710 HAS SOUPS 299710 WITH SCORE 300160.452
AT ITER 6734 NEW BEST:: SOT 2328179 SOS 450452 HAS SOPS 450452 HAS SOUS 299587 HAS SOUPS 299587 WITH SCORE 300037.452
AT ITER 6767 NEW BEST:: SOT 2328035 SOS 450044 HAS SOPS 450044 HAS SOUS 299162 HAS SOUPS 299162 WITH SCORE 299612.044
AT ITER 6772 NEW BEST:: SOT 2328030 SOS 450034 HAS SOPS 450034 HAS SOUS 299157 HAS SOUPS 299157 WITH SCORE 299607.034
AT ITER 6775 NEW BEST:: SOT 2328030 SOS 449990 HAS SOPS 449990 HAS SOUS 299157 HAS SOUPS 299157 WITH SCORE 299606.99
AT ITER 6783 NEW BEST:: SOT 2328020 SOS 450297 HAS SOPS 450297 HAS SOUS 299147 HAS SOUPS 299147 WITH SCORE 299597.297
AT ITER 6791 NEW BEST:: SOT 2328015 SOS 450292 HAS SOPS 450292 HAS SOUS 299147 HAS SOUPS 299147 WITH SCORE 299597.292
AT ITER 6840 NEW BEST:: SOT 2328015 SOS 450292 HAS SOPS 450292 HAS SOUS 299097 HAS SOUPS 299097 WITH SCORE 299547.292
AT ITER 6842 NEW BEST:: SOT 2328015 SOS 449992 HAS SOPS 449992 HAS SOUS 299082 HAS SOUPS 299082 WITH SCORE 299531.992
AT ITER 6849 NEW BEST:: SOT 2327995 SOS 449967 HAS SOPS 449967 HAS SOUS 299062 HAS SOUPS 299062 WITH SCORE 299511.967
AT ITER 6852 NEW BEST:: SOT 2328030 SOS 449776 HAS SOPS 449776 HAS SOUS 298871 HAS SOUPS 298871 WITH SCORE 299320.776
AT ITER 6871 NEW BEST:: SOT 2327837 SOS 449390 HAS SOPS 449390 HAS SOUS 298678 HAS SOUPS 298678 WITH SCORE 299127.39
AT ITER 6903 NEW BEST:: SOT 2327520 SOS 449014 HAS SOPS 449014 HAS SOUS 298302 HAS SOUPS 298302 WITH SCORE 298751.014
AT ITER 6912 NEW BEST:: SOT 2326616 SOS 448208 HAS SOPS 448208 HAS SOUS 298117 HAS SOUPS 298117 WITH SCORE 298565.208
AT ITER 6953 NEW BEST:: SOT 2326736 SOS 450013 HAS SOPS 450013 HAS SOUS 298044 HAS SOUPS 298044 WITH SCORE 298494.013
AT ITER 7005 NEW BEST:: SOT 2326016 SOS 449293 HAS SOPS 449293 HAS SOUS 297324 HAS SOUPS 297324 WITH SCORE 297773.293
AT ITER 7020 NEW BEST:: SOT 2325917 SOS 449095 HAS SOPS 449095 HAS SOUS 297126 HAS SOUPS 297126 WITH SCORE 297575.095
AT ITER 7024 NEW BEST:: SOT 2325901 SOS 449062 HAS SOPS 449062 HAS SOUS 296793 HAS SOUPS 296793 WITH SCORE 297242.062
AT ITER 7077 NEW BEST:: SOT 2325896 SOS 449052 HAS SOPS 449052 HAS SOUS 296783 HAS SOUPS 296783 WITH SCORE 297232.052
AT ITER 7123 NEW BEST:: SOT 2325833 SOS 448863 HAS SOPS 448863 HAS SOUS 296657 HAS SOUPS 296657 WITH SCORE 297105.863
AT ITER 7171 NEW BEST:: SOT 2325468 SOS 447623 HAS SOPS 447623 HAS SOUS 296212 HAS SOUPS 296212 WITH SCORE 296659.623
AT ITER 7172 NEW BEST:: SOT 2325468 SOS 447622 HAS SOPS 447622 HAS SOUS 296211 HAS SOUPS 296211 WITH SCORE 296658.622
AT ITER 7179 NEW BEST:: SOT 2325446 SOS 447578 HAS SOPS 447578 HAS SOUS 296178 HAS SOUPS 296178 WITH SCORE 296625.578
AT ITER 7217 NEW BEST:: SOT 2325446 SOS 447578 HAS SOPS 447578 HAS SOUS 296146 HAS SOUPS 296146 WITH SCORE 296593.578
AT ITER 7329 NEW BEST:: SOT 2325293 SOS 447932 HAS SOPS 447932 HAS SOUS 296053 HAS SOUPS 296053 WITH SCORE 296500.932
AT ITER 7342 NEW BEST:: SOT 2325080 SOS 447364 HAS SOPS 447364 HAS SOUS 295769 HAS SOUPS 295769 WITH SCORE 296216.364
AT ITER 7355 NEW BEST:: SOT 2324705 SOS 446989 HAS SOPS 446989 HAS SOUS 295394 HAS SOUPS 295394 WITH SCORE 295840.989
AT ITER 7388 NEW BEST:: SOT 2324652 SOS 446938 HAS SOPS 446938 HAS SOUS 295343 HAS SOUPS 295343 WITH SCORE 295789.938
AT ITER 7402 NEW BEST:: SOT 2324524 SOS 446810 HAS SOPS 446810 HAS SOUS 295087 HAS SOUPS 295087 WITH SCORE 295533.81
AT ITER 7467 NEW BEST:: SOT 2324524 SOS 446810 HAS SOPS 446810 HAS SOUS 295077 HAS SOUPS 295077 WITH SCORE 295523.81
AT ITER 7488 NEW BEST:: SOT 2324516 SOS 446794 HAS SOPS 446794 HAS SOUS 295061 HAS SOUPS 295061 WITH SCORE 295507.794
AT ITER 7501 NEW BEST:: SOT 2324516 SOS 446752 HAS SOPS 446752 HAS SOUS 295040 HAS SOUPS 295040 WITH SCORE 295486.752
AT ITER 7520 NEW BEST:: SOT 2324463 SOS 446646 HAS SOPS 446646 HAS SOUS 295003 HAS SOUPS 295003 WITH SCORE 295449.646
AT ITER 7560 NEW BEST:: SOT 2324325 SOS 446370 HAS SOPS 446370 HAS SOUS 294690 HAS SOUPS 294690 WITH SCORE 295136.37
AT ITER 7571 NEW BEST:: SOT 2324325 SOS 446324 HAS SOPS 446324 HAS SOUS 294644 HAS SOUPS 294644 WITH SCORE 295090.324
AT ITER 7587 NEW BEST:: SOT 2324179 SOS 446251 HAS SOPS 446251 HAS SOUS 294571 HAS SOUPS 294571 WITH SCORE 295017.251
AT ITER 7625 NEW BEST:: SOT 2324335 SOS 445671 HAS SOPS 445671 HAS SOUS 294331 HAS SOUPS 294331 WITH SCORE 294776.671
AT ITER 7644 NEW BEST:: SOT 2324365 SOS 445649 HAS SOPS 445649 HAS SOUS 294309 HAS SOUPS 294309 WITH SCORE 294754.649
AT ITER 7659 NEW BEST:: SOT 2324365 SOS 445648 HAS SOPS 445648 HAS SOUS 294308 HAS SOUPS 294308 WITH SCORE 294753.648
AT ITER 7661 NEW BEST:: SOT 2324370 SOS 445658 HAS SOPS 445658 HAS SOUS 294299 HAS SOUPS 294299 WITH SCORE 294744.658
AT ITER 7663 NEW BEST:: SOT 2324269 SOS 445456 HAS SOPS 445456 HAS SOUS 294097 HAS SOUPS 294097 WITH SCORE 294542.456
AT ITER 7674 NEW BEST:: SOT 2324251 SOS 445420 HAS SOPS 445420 HAS SOUS 294087 HAS SOUPS 294087 WITH SCORE 294532.42
AT ITER 7702 NEW BEST:: SOT 2324188 SOS 445390 HAS SOPS 445390 HAS SOUS 294057 HAS SOUPS 294057 WITH SCORE 294502.39
AT ITER 7711 NEW BEST:: SOT 2324072 SOS 445357 HAS SOPS 445357 HAS SOUS 294024 HAS SOUPS 294024 WITH SCORE 294469.357
AT ITER 7720 NEW BEST:: SOT 2324071 SOS 445355 HAS SOPS 445355 HAS SOUS 294022 HAS SOUPS 294022 WITH SCORE 294467.355
AT ITER 7737 NEW BEST:: SOT 2324002 SOS 445217 HAS SOPS 445217 HAS SOUS 293884 HAS SOUPS 293884 WITH SCORE 294329.217
AT ITER 7756 NEW BEST:: SOT 2323919 SOS 445507 HAS SOPS 445507 HAS SOUS 293801 HAS SOUPS 293801 WITH SCORE 294246.507
AT ITER 7766 NEW BEST:: SOT 2323919 SOS 445470 HAS SOPS 445470 HAS SOUS 293763 HAS SOUPS 293763 WITH SCORE 294208.47
AT ITER 7774 NEW BEST:: SOT 2323884 SOS 444074 HAS SOPS 444074 HAS SOUS 293693 HAS SOUPS 293693 WITH SCORE 294137.074
AT ITER 7777 NEW BEST:: SOT 2323884 SOS 444274 HAS SOPS 444274 HAS SOUS 293692 HAS SOUPS 293692 WITH SCORE 294136.274
AT ITER 7792 NEW BEST:: SOT 2323879 SOS 444264 HAS SOPS 444264 HAS SOUS 293682 HAS SOUPS 293682 WITH SCORE 294126.264
AT ITER 7799 NEW BEST:: SOT 2323853 SOS 444212 HAS SOPS 444212 HAS SOUS 293630 HAS SOUPS 293630 WITH SCORE 294074.212
AT ITER 7813 NEW BEST:: SOT 2323850 SOS 444197 HAS SOPS 444197 HAS SOUS 293624 HAS SOUPS 293624 WITH SCORE 294068.197
AT ITER 7834 NEW BEST:: SOT 2323800 SOS 444147 HAS SOPS 444147 HAS SOUS 293574 HAS SOUPS 293574 WITH SCORE 294018.147
AT ITER 7894 NEW BEST:: SOT 2323787 SOS 444121 HAS SOPS 444121 HAS SOUS 293561 HAS SOUPS 293561 WITH SCORE 294005.121
AT ITER 7923 NEW BEST:: SOT 2323647 SOS 443929 HAS SOPS 443929 HAS SOUS 293457 HAS SOUPS 293457 WITH SCORE 293900.929
AT ITER 7950 NEW BEST:: SOT 2323631 SOS 443866 HAS SOPS 443866 HAS SOUS 293456 HAS SOUPS 293456 WITH SCORE 293899.866
AT ITER 7953 NEW BEST:: SOT 2323587 SOS 443778 HAS SOPS 443778 HAS SOUS 293368 HAS SOUPS 293368 WITH SCORE 293811.778
AT ITER 8068 NEW BEST:: SOT 2323396 SOS 443396 HAS SOPS 443396 HAS SOUS 293177 HAS SOUPS 293177 WITH SCORE 293620.396
AT ITER 8072 NEW BEST:: SOT 2323098 SOS 443247 HAS SOPS 443247 HAS SOUS 293028 HAS SOUPS 293028 WITH SCORE 293471.247
AT ITER 8163 NEW BEST:: SOT 2323098 SOS 443247 HAS SOPS 443247 HAS SOUS 292912 HAS SOUPS 292912 WITH SCORE 293355.247
AT ITER 8165 NEW BEST:: SOT 2322813 SOS 442677 HAS SOPS 442677 HAS SOUS 292760 HAS SOUPS 292760 WITH SCORE 293202.677
AT ITER 8178 NEW BEST:: SOT 2322742 SOS 442535 HAS SOPS 442535 HAS SOUS 292618 HAS SOUPS 292618 WITH SCORE 293060.535
AT ITER 8181 NEW BEST:: SOT 2322707 SOS 442496 HAS SOPS 442496 HAS SOUS 292604 HAS SOUPS 292604 WITH SCORE 293046.496
AT ITER 8185 NEW BEST:: SOT 2322317 SOS 442272 HAS SOPS 442272 HAS SOUS 292458 HAS SOUPS 292458 WITH SCORE 292900.272
AT ITER 8192 NEW BEST:: SOT 2322218 SOS 442074 HAS SOPS 442074 HAS SOUS 292298 HAS SOUPS 292298 WITH SCORE 292740.074
AT ITER 8203 NEW BEST:: SOT 2322091 SOS 441947 HAS SOPS 441947 HAS SOUS 292298 HAS SOUPS 292298 WITH SCORE 292739.947
AT ITER 8212 NEW BEST:: SOT 2322107 SOS 441931 HAS SOPS 441931 HAS SOUS 292282 HAS SOUPS 292282 WITH SCORE 292723.931
AT ITER 8218 NEW BEST:: SOT 2322086 SOS 441973 HAS SOPS 441973 HAS SOUS 292236 HAS SOUPS 292236 WITH SCORE 292677.973
AT ITER 8219 NEW BEST:: SOT 2322110 SOS 441949 HAS SOPS 441949 HAS SOUS 292236 HAS SOUPS 292236 WITH SCORE 292677.949
AT ITER 8222 NEW BEST:: SOT 2322034 SOS 441569 HAS SOPS 441569 HAS SOUS 292084 HAS SOUPS 292084 WITH SCORE 292525.569
AT ITER 8259 NEW BEST:: SOT 2321812 SOS 441506 HAS SOPS 441506 HAS SOUS 291983 HAS SOUPS 291983 WITH SCORE 292424.506
AT ITER 8276 NEW BEST:: SOT 2321782 SOS 441670 HAS SOPS 441670 HAS SOUS 291923 HAS SOUPS 291923 WITH SCORE 292364.67
AT ITER 8317 NEW BEST:: SOT 2321782 SOS 441670 HAS SOPS 441670 HAS SOUS 291919 HAS SOUPS 291919 WITH SCORE 292360.67
AT ITER 8326 NEW BEST:: SOT 2321507 SOS 441786 HAS SOPS 441786 HAS SOUS 291917 HAS SOUPS 291917 WITH SCORE 292358.786
AT ITER 8337 NEW BEST:: SOT 2321405 SOS 441735 HAS SOPS 441735 HAS SOUS 291866 HAS SOUPS 291866 WITH SCORE 292307.735
AT ITER 8418 NEW BEST:: SOT 2321327 SOS 441579 HAS SOPS 441579 HAS SOUS 291859 HAS SOUPS 291859 WITH SCORE 292300.579
AT ITER 8435 NEW BEST:: SOT 2321322 SOS 441564 HAS SOPS 441564 HAS SOUS 291849 HAS SOUPS 291849 WITH SCORE 292290.564
AT ITER 8486 NEW BEST:: SOT 2321271 SOS 441409 HAS SOPS 441409 HAS SOUS 291745 HAS SOUPS 291745 WITH SCORE 292186.409
AT ITER 8498 NEW BEST:: SOT 2321172 SOS 441211 HAS SOPS 441211 HAS SOUS 291674 HAS SOUPS 291674 WITH SCORE 292115.211
AT ITER 8518 NEW BEST:: SOT 2321147 SOS 441161 HAS SOPS 441161 HAS SOUS 291650 HAS SOUPS 291650 WITH SCORE 292091.161
AT ITER 8525 NEW BEST:: SOT 2320877 SOS 438731 HAS SOPS 438731 HAS SOUS 291110 HAS SOUPS 291110 WITH SCORE 291548.731
AT ITER 8534 NEW BEST:: SOT 2320873 SOS 438723 HAS SOPS 438723 HAS SOUS 291045 HAS SOUPS 291045 WITH SCORE 291483.723
AT ITER 8539 NEW BEST:: SOT 2320847 SOS 438697 HAS SOPS 438697 HAS SOUS 291019 HAS SOUPS 291019 WITH SCORE 291457.697
AT ITER 8634 NEW BEST:: SOT 2320782 SOS 438672 HAS SOPS 438672 HAS SOUS 290954 HAS SOUPS 290954 WITH SCORE 291392.672
AT ITER 8642 NEW BEST:: SOT 2320742 SOS 438592 HAS SOPS 438592 HAS SOUS 290823 HAS SOUPS 290823 WITH SCORE 291261.592
AT ITER 8646 NEW BEST:: SOT 2320640 SOS 438268 HAS SOPS 438268 HAS SOUS 290739 HAS SOUPS 290739 WITH SCORE 291177.268
AT ITER 8691 NEW BEST:: SOT 2320641 SOS 438146 HAS SOPS 438146 HAS SOUS 290679 HAS SOUPS 290679 WITH SCORE 291117.146
AT ITER 8695 NEW BEST:: SOT 2320543 SOS 437033 HAS SOPS 437033 HAS SOUS 290309 HAS SOUPS 290309 WITH SCORE 290746.033
AT ITER 8703 NEW BEST:: SOT 2320334 SOS 436793 HAS SOPS 436793 HAS SOUS 290212 HAS SOUPS 290212 WITH SCORE 290648.793
AT ITER 8708 NEW BEST:: SOT 2320257 SOS 436837 HAS SOPS 436837 HAS SOUS 290137 HAS SOUPS 290137 WITH SCORE 290573.837
AT ITER 8735 NEW BEST:: SOT 2320257 SOS 436837 HAS SOPS 436837 HAS SOUS 290109 HAS SOUPS 290109 WITH SCORE 290545.837
AT ITER 8739 NEW BEST:: SOT 2320211 SOS 437071 HAS SOPS 437071 HAS SOUS 290017 HAS SOUPS 290017 WITH SCORE 290454.071
AT ITER 8761 NEW BEST:: SOT 2320149 SOS 437019 HAS SOPS 437019 HAS SOUS 289929 HAS SOUPS 289929 WITH SCORE 290366.019
AT ITER 8812 NEW BEST:: SOT 2320135 SOS 437013 HAS SOPS 437013 HAS SOUS 289923 HAS SOUPS 289923 WITH SCORE 290360.013
AT ITER 8908 NEW BEST:: SOT 2320039 SOS 436853 HAS SOPS 436853 HAS SOUS 289815 HAS SOUPS 289815 WITH SCORE 290251.853
AT ITER 8916 NEW BEST:: SOT 2320038 SOS 436851 HAS SOPS 436851 HAS SOUS 289813 HAS SOUPS 289813 WITH SCORE 290249.851
AT ITER 8918 NEW BEST:: SOT 2320038 SOS 436850 HAS SOPS 436850 HAS SOUS 289812 HAS SOUPS 289812 WITH SCORE 290248.85
AT ITER 8928 NEW BEST:: SOT 2320051 SOS 436724 HAS SOPS 436724 HAS SOUS 289768 HAS SOUPS 289768 WITH SCORE 290204.724
AT ITER 8942 NEW BEST:: SOT 2319875 SOS 435686 HAS SOPS 435686 HAS SOUS 289494 HAS SOUPS 289494 WITH SCORE 289929.686
AT ITER 8971 NEW BEST:: SOT 2319809 SOS 435554 HAS SOPS 435554 HAS SOUS 289362 HAS SOUPS 289362 WITH SCORE 289797.554
AT ITER 8976 NEW BEST:: SOT 2319809 SOS 435491 HAS SOPS 435491 HAS SOUS 289299 HAS SOUPS 289299 WITH SCORE 289734.491
AT ITER 8980 NEW BEST:: SOT 2319920 SOS 434966 HAS SOPS 434966 HAS SOUS 289193 HAS SOUPS 289193 WITH SCORE 289627.966
AT ITER 9018 NEW BEST:: SOT 2319971 SOS 434888 HAS SOPS 434888 HAS SOUS 289184 HAS SOUPS 289184 WITH SCORE 289618.888
AT ITER 9028 NEW BEST:: SOT 2319967 SOS 434880 HAS SOPS 434880 HAS SOUS 289176 HAS SOUPS 289176 WITH SCORE 289610.88
AT ITER 9043 NEW BEST:: SOT 2319928 SOS 434841 HAS SOPS 434841 HAS SOUS 289137 HAS SOUPS 289137 WITH SCORE 289571.841
AT ITER 9108 NEW BEST:: SOT 2319924 SOS 435235 HAS SOPS 435235 HAS SOUS 289132 HAS SOUPS 289132 WITH SCORE 289567.235
AT ITER 9116 NEW BEST:: SOT 2319751 SOS 434557 HAS SOPS 434557 HAS SOUS 289040 HAS SOUPS 289040 WITH SCORE 289474.557
AT ITER 9118 NEW BEST:: SOT 2319621 SOS 434297 HAS SOPS 434297 HAS SOUS 288942 HAS SOUPS 288942 WITH SCORE 289376.297
AT ITER 9128 NEW BEST:: SOT 2319605 SOS 434233 HAS SOPS 434233 HAS SOUS 288942 HAS SOUPS 288942 WITH SCORE 289376.233
AT ITER 9142 NEW BEST:: SOT 2319650 SOS 434322 HAS SOPS 434322 HAS SOUS 288937 HAS SOUPS 288937 WITH SCORE 289371.322
AT ITER 9163 NEW BEST:: SOT 2319243 SOS 437466 HAS SOPS 437466 HAS SOUS 288862 HAS SOUPS 288862 WITH SCORE 289299.466
AT ITER 9205 NEW BEST:: SOT 2319255 SOS 437490 HAS SOPS 437490 HAS SOUS 288627 HAS SOUPS 288627 WITH SCORE 289064.49
AT ITER 9283 NEW BEST:: SOT 2319119 SOS 437218 HAS SOPS 437218 HAS SOUS 288496 HAS SOUPS 288496 WITH SCORE 288933.218
AT ITER 9297 NEW BEST:: SOT 2319007 SOS 436994 HAS SOPS 436994 HAS SOUS 288272 HAS SOUPS 288272 WITH SCORE 288708.994
AT ITER 9365 NEW BEST:: SOT 2318944 SOS 436997 HAS SOPS 436997 HAS SOUS 288252 HAS SOUPS 288252 WITH SCORE 288688.997
AT ITER 9388 NEW BEST:: SOT 2318921 SOS 436903 HAS SOPS 436903 HAS SOUS 288204 HAS SOUPS 288204 WITH SCORE 288640.903
AT ITER 9428 NEW BEST:: SOT 2318692 SOS 435706 HAS SOPS 435706 HAS SOUS 288057 HAS SOUPS 288057 WITH SCORE 288492.706
AT ITER 9456 NEW BEST:: SOT 2318518 SOS 434140 HAS SOPS 434140 HAS SOUS 288057 HAS SOUPS 288057 WITH SCORE 288491.14
AT ITER 9473 NEW BEST:: SOT 2318488 SOS 434080 HAS SOPS 434080 HAS SOUS 287997 HAS SOUPS 287997 WITH SCORE 288431.08
AT ITER 9484 NEW BEST:: SOT 2318456 SOS 434016 HAS SOPS 434016 HAS SOUS 287933 HAS SOUPS 287933 WITH SCORE 288367.016
AT ITER 9510 NEW BEST:: SOT 2318456 SOS 433944 HAS SOPS 433944 HAS SOUS 287933 HAS SOUPS 287933 WITH SCORE 288366.944
AT ITER 9627 NEW BEST:: SOT 2318448 SOS 433943 HAS SOPS 433943 HAS SOUS 287932 HAS SOUPS 287932 WITH SCORE 288365.943
AT ITER 9630 NEW BEST:: SOT 2318430 SOS 433700 HAS SOPS 433700 HAS SOUS 287845 HAS SOUPS 287845 WITH SCORE 288278.7
AT ITER 9671 NEW BEST:: SOT 2318415 SOS 433654 HAS SOPS 433654 HAS SOUS 287815 HAS SOUPS 287815 WITH SCORE 288248.654
AT ITER 9678 NEW BEST:: SOT 2318415 SOS 434282 HAS SOPS 434282 HAS SOUS 287807 HAS SOUPS 287807 WITH SCORE 288241.282
AT ITER 9725 NEW BEST:: SOT 2318447 SOS 433752 HAS SOPS 433752 HAS SOUS 287772 HAS SOUPS 287772 WITH SCORE 288205.752
AT ITER 9730 NEW BEST:: SOT 2318371 SOS 433600 HAS SOPS 433600 HAS SOUS 287696 HAS SOUPS 287696 WITH SCORE 288129.6
AT ITER 9749 NEW BEST:: SOT 2318421 SOS 433700 HAS SOPS 433700 HAS SOUS 287689 HAS SOUPS 287689 WITH SCORE 288122.7
AT ITER 9760 NEW BEST:: SOT 2317729 SOS 433852 HAS SOPS 433852 HAS SOUS 287540 HAS SOUPS 287540 WITH SCORE 287973.852
AT ITER 9783 NEW BEST:: SOT 2317729 SOS 433852 HAS SOPS 433852 HAS SOUS 287539 HAS SOUPS 287539 WITH SCORE 287972.852
AT ITER 9836 NEW BEST:: SOT 2317715 SOS 433848 HAS SOPS 433848 HAS SOUS 287521 HAS SOUPS 287521 WITH SCORE 287954.848
AT ITER 9838 NEW BEST:: SOT 2317708 SOS 433834 HAS SOPS 433834 HAS SOUS 287514 HAS SOUPS 287514 WITH SCORE 287947.834
AT ITER 9916 NEW BEST:: SOT 2317616 SOS 433650 HAS SOPS 433650 HAS SOUS 287330 HAS SOUPS 287330 WITH SCORE 287763.65
AT ITER 9937 NEW BEST:: SOT 2317616 SOS 433650 HAS SOPS 433650 HAS SOUS 287323 HAS SOUPS 287323 WITH SCORE 287756.65
AT ITER 9989 NEW BEST:: SOT 2317062 SOS 433108 HAS SOPS 433108 HAS SOUS 286769 HAS SOUPS 286769 WITH SCORE 287202.108
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12458884 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121340 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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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="DLCround-PT-04b"
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 DLCround-PT-04b, 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 r107-tall-167814484500648"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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