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.r331-tall-167889204100176.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 RERS17pb115-PT-4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204100176
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 6.4K Feb 25 13:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 13:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 13:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 35K Feb 25 13:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 25 14:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 14:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 25 14:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 69M 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 1679093021702

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=RERS17pb115-PT-4
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 22:43:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 22:43:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 22:43:45] [INFO ] Load time of PNML (sax parser for PT used): 1937 ms
[2023-03-17 22:43:45] [INFO ] Transformed 1399 places.
[2023-03-17 22:43:46] [INFO ] Transformed 144369 transitions.
[2023-03-17 22:43:46] [INFO ] Parsed PT model containing 1399 places and 144369 transitions and 577414 arcs in 2507 ms.
[2023-03-17 22:43:46] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1399 places, 144369 transitions and 577414 arcs took 377 ms.
Total runtime 2944 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 4
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: 1399 places, 144369 transitions, 577414 arcs.
AT ITER 0 NEW BEST:: SOT 123476540 SOS 80284426 HAS SOPS 65263383 HAS SOUS 24121552 HAS SOUPS 23549470 WITH SCORE 2.3629754426E7
AT ITER 6 NEW BEST:: SOT 123475121 SOS 80281992 HAS SOPS 65261164 HAS SOUS 24121659 HAS SOUPS 23549196 WITH SCORE 2.3629477992E7
AT ITER 23 NEW BEST:: SOT 123482758 SOS 80302160 HAS SOPS 65279307 HAS SOUS 24121256 HAS SOUPS 23548695 WITH SCORE 2.362899716E7
AT ITER 30 NEW BEST:: SOT 123482872 SOS 80302491 HAS SOPS 65279047 HAS SOUS 24120593 HAS SOUPS 23548032 WITH SCORE 2.3628334491E7
AT ITER 36 NEW BEST:: SOT 123461579 SOS 80266386 HAS SOPS 65246778 HAS SOUS 24102866 HAS SOUPS 23530305 WITH SCORE 2.3610571386E7
AT ITER 39 NEW BEST:: SOT 123452037 SOS 80255462 HAS SOPS 65234627 HAS SOUS 24084416 HAS SOUPS 23511855 WITH SCORE 2.3592110462E7
AT ITER 48 NEW BEST:: SOT 123428312 SOS 80246835 HAS SOPS 65232863 HAS SOUS 24005852 HAS SOUPS 23433279 WITH SCORE 2.3513525835E7
AT ITER 62 NEW BEST:: SOT 123428291 SOS 80252563 HAS SOPS 65237983 HAS SOUS 24002058 HAS SOUPS 23429485 WITH SCORE 2.3509737563E7
AT ITER 69 NEW BEST:: SOT 123425733 SOS 80247550 HAS SOPS 65236348 HAS SOUS 23999099 HAS SOUPS 23426526 WITH SCORE 2.350677355E7
AT ITER 72 NEW BEST:: SOT 123426336 SOS 80248081 HAS SOPS 65235682 HAS SOUS 23998310 HAS SOUPS 23425737 WITH SCORE 2.3505985081E7
AT ITER 78 NEW BEST:: SOT 123468236 SOS 80304739 HAS SOPS 65293428 HAS SOUS 23988003 HAS SOUPS 23414867 WITH SCORE 2.3495171739E7
AT ITER 81 NEW BEST:: SOT 123467161 SOS 80303700 HAS SOPS 65292293 HAS SOUS 23987812 HAS SOUPS 23414676 WITH SCORE 2.34949797E7
AT ITER 106 NEW BEST:: SOT 123467162 SOS 80314381 HAS SOPS 65302666 HAS SOUS 23987250 HAS SOUPS 23414114 WITH SCORE 2.3494428381E7
AT ITER 117 NEW BEST:: SOT 123452612 SOS 80290027 HAS SOPS 65299657 HAS SOUS 23954437 HAS SOUPS 23381301 WITH SCORE 2.3461591027E7
AT ITER 127 NEW BEST:: SOT 123453047 SOS 80290462 HAS SOPS 65299132 HAS SOUS 23954632 HAS SOUPS 23380776 WITH SCORE 2.3461066462E7
AT ITER 132 NEW BEST:: SOT 123449563 SOS 80284385 HAS SOPS 65306083 HAS SOUS 23945118 HAS SOUPS 23371262 WITH SCORE 2.3451546385E7
AT ITER 134 NEW BEST:: SOT 123469313 SOS 80337056 HAS SOPS 65353899 HAS SOUS 23930008 HAS SOUPS 23356152 WITH SCORE 2.3436489056E7
AT ITER 141 NEW BEST:: SOT 123468654 SOS 80334526 HAS SOPS 65349678 HAS SOUS 23925025 HAS SOUPS 23351169 WITH SCORE 2.3431503526E7
AT ITER 150 NEW BEST:: SOT 123457421 SOS 80323347 HAS SOPS 65338499 HAS SOUS 23909486 HAS SOUPS 23335630 WITH SCORE 2.3415953347E7
AT ITER 151 NEW BEST:: SOT 123457321 SOS 80323327 HAS SOPS 65338385 HAS SOUS 23908931 HAS SOUPS 23335075 WITH SCORE 2.3415398327E7
AT ITER 164 NEW BEST:: SOT 123378737 SOS 80240535 HAS SOPS 65252193 HAS SOUS 23820008 HAS SOUPS 23246171 WITH SCORE 2.3326411535E7
AT ITER 177 NEW BEST:: SOT 123361697 SOS 80216412 HAS SOPS 65242210 HAS SOUS 23815868 HAS SOUPS 23242037 WITH SCORE 2.3322253412E7
AT ITER 188 NEW BEST:: SOT 123382306 SOS 80270351 HAS SOPS 65289472 HAS SOUS 23791169 HAS SOUPS 23217338 WITH SCORE 2.3297608351E7
AT ITER 196 NEW BEST:: SOT 123379597 SOS 80266980 HAS SOPS 65286611 HAS SOUS 23784662 HAS SOUPS 23210831 WITH SCORE 2.329109798E7
AT ITER 212 NEW BEST:: SOT 123371716 SOS 80254874 HAS SOPS 65277399 HAS SOUS 23767689 HAS SOUPS 23194355 WITH SCORE 2.3274609874E7
AT ITER 216 NEW BEST:: SOT 123371642 SOS 80254800 HAS SOPS 65277325 HAS SOUS 23767615 HAS SOUPS 23194281 WITH SCORE 2.32745358E7
AT ITER 218 NEW BEST:: SOT 123368234 SOS 80251793 HAS SOPS 65285255 HAS SOUS 23764972 HAS SOUPS 23191638 WITH SCORE 2.3271889793E7
AT ITER 231 NEW BEST:: SOT 123370610 SOS 80258951 HAS SOPS 65291486 HAS SOUS 23762926 HAS SOUPS 23189592 WITH SCORE 2.3269850951E7
AT ITER 233 NEW BEST:: SOT 123370610 SOS 80275931 HAS SOPS 65308408 HAS SOUS 23762606 HAS SOUPS 23189272 WITH SCORE 2.3269547931E7
AT ITER 244 NEW BEST:: SOT 123366182 SOS 80283859 HAS SOPS 65341525 HAS SOUS 23676323 HAS SOUPS 23103100 WITH SCORE 2.3183383859E7
AT ITER 246 NEW BEST:: SOT 123365895 SOS 80286991 HAS SOPS 65345756 HAS SOUS 23673443 HAS SOUPS 23100496 WITH SCORE 2.3180782991E7
AT ITER 248 NEW BEST:: SOT 123430663 SOS 80421727 HAS SOPS 65478628 HAS SOUS 23670490 HAS SOUPS 23097309 WITH SCORE 2.3177730727E7
AT ITER 276 NEW BEST:: SOT 123424374 SOS 80415838 HAS SOPS 65471819 HAS SOUS 23669538 HAS SOUPS 23096153 WITH SCORE 2.3176568838E7
AT ITER 277 NEW BEST:: SOT 123413360 SOS 80424186 HAS SOPS 65489565 HAS SOUS 23665274 HAS SOUPS 23091889 WITH SCORE 2.3172313186E7
AT ITER 301 NEW BEST:: SOT 123415127 SOS 80433021 HAS SOPS 65502356 HAS SOUS 23653014 HAS SOUPS 23079629 WITH SCORE 2.3160062021E7
AT ITER 311 NEW BEST:: SOT 123414130 SOS 80440796 HAS SOPS 65509636 HAS SOUS 23641616 HAS SOUPS 23068231 WITH SCORE 2.3148671796E7
AT ITER 318 NEW BEST:: SOT 123407181 SOS 80423320 HAS SOPS 65496428 HAS SOUS 23640117 HAS SOUPS 23066732 WITH SCORE 2.314715532E7
AT ITER 326 NEW BEST:: SOT 123405652 SOS 80423726 HAS SOPS 65500018 HAS SOUS 23635409 HAS SOUPS 23059706 WITH SCORE 2.3140129726E7
AT ITER 327 NEW BEST:: SOT 123398676 SOS 80415224 HAS SOPS 65492687 HAS SOUS 23604729 HAS SOUPS 23029026 WITH SCORE 2.3109441224E7
AT ITER 328 NEW BEST:: SOT 123396516 SOS 80394656 HAS SOPS 65499911 HAS SOUS 23603715 HAS SOUPS 23028293 WITH SCORE 2.3108687656E7
AT ITER 330 NEW BEST:: SOT 123404435 SOS 80413835 HAS SOPS 65509747 HAS SOUS 23595289 HAS SOUPS 23019814 WITH SCORE 2.3100227835E7
AT ITER 335 NEW BEST:: SOT 123412953 SOS 80436729 HAS SOPS 65525275 HAS SOUS 23590310 HAS SOUPS 23014835 WITH SCORE 2.3095271729E7
AT ITER 345 NEW BEST:: SOT 123412953 SOS 80448745 HAS SOPS 65542955 HAS SOUS 23590070 HAS SOUPS 23014595 WITH SCORE 2.3095043745E7
AT ITER 350 NEW BEST:: SOT 123409116 SOS 80447487 HAS SOPS 65543810 HAS SOUS 23576098 HAS SOUPS 23000623 WITH SCORE 2.3081070487E7
AT ITER 351 NEW BEST:: SOT 123409676 SOS 80450434 HAS SOPS 65547410 HAS SOUS 23571103 HAS SOUPS 22995628 WITH SCORE 2.3076078434E7
AT ITER 366 NEW BEST:: SOT 123404148 SOS 80451872 HAS SOPS 65551983 HAS SOUS 23569982 HAS SOUPS 22994507 WITH SCORE 2.3074958872E7
AT ITER 368 NEW BEST:: SOT 123403033 SOS 80451494 HAS SOPS 65552664 HAS SOUS 23565991 HAS SOUPS 22990516 WITH SCORE 2.3070967494E7
AT ITER 373 NEW BEST:: SOT 123409593 SOS 80460800 HAS SOPS 65562429 HAS SOUS 23556059 HAS SOUPS 22980584 WITH SCORE 2.30610448E7
AT ITER 378 NEW BEST:: SOT 123444720 SOS 80552868 HAS SOPS 65679779 HAS SOUS 23554025 HAS SOUPS 22978923 WITH SCORE 2.3059475868E7
AT ITER 379 NEW BEST:: SOT 123443054 SOS 80552099 HAS SOPS 65676724 HAS SOUS 23549354 HAS SOUPS 22974252 WITH SCORE 2.3054804099E7
AT ITER 384 NEW BEST:: SOT 123442229 SOS 80550762 HAS SOPS 65675198 HAS SOUS 23548495 HAS SOUPS 22973388 WITH SCORE 2.3053938762E7
AT ITER 412 NEW BEST:: SOT 123438507 SOS 80541012 HAS SOPS 65666378 HAS SOUS 23547015 HAS SOUPS 22971908 WITH SCORE 2.3052449012E7
AT ITER 414 NEW BEST:: SOT 123438470 SOS 80570097 HAS SOPS 65715522 HAS SOUS 23546590 HAS SOUPS 22971483 WITH SCORE 2.3052053097E7
AT ITER 426 NEW BEST:: SOT 123439443 SOS 80571282 HAS SOPS 65716552 HAS SOUS 23545969 HAS SOUPS 22970862 WITH SCORE 2.3051433282E7
AT ITER 436 NEW BEST:: SOT 123442575 SOS 80577059 HAS SOPS 65710798 HAS SOUS 23536715 HAS SOUPS 22961608 WITH SCORE 2.3042185059E7
AT ITER 445 NEW BEST:: SOT 123440996 SOS 80566084 HAS SOPS 65705519 HAS SOUS 23535832 HAS SOUPS 22960725 WITH SCORE 2.3041291084E7
AT ITER 466 NEW BEST:: SOT 123465982 SOS 80632761 HAS SOPS 65772445 HAS SOUS 23522918 HAS SOUPS 22947811 WITH SCORE 2.3028443761E7
AT ITER 485 NEW BEST:: SOT 123457116 SOS 80623588 HAS SOPS 65762242 HAS SOUS 23520659 HAS SOUPS 22945552 WITH SCORE 2.3026175588E7
AT ITER 492 NEW BEST:: SOT 123450660 SOS 80629554 HAS SOPS 65768829 HAS SOUS 23516501 HAS SOUPS 22941394 WITH SCORE 2.3022023554E7
AT ITER 493 NEW BEST:: SOT 123464164 SOS 80666190 HAS SOPS 65786798 HAS SOUS 23476905 HAS SOUPS 22902249 WITH SCORE 2.298291519E7
AT ITER 496 NEW BEST:: SOT 123452544 SOS 80667153 HAS SOPS 65786865 HAS SOUS 23424375 HAS SOUPS 22849719 WITH SCORE 2.2930386153E7
AT ITER 502 NEW BEST:: SOT 123459521 SOS 80684735 HAS SOPS 65805677 HAS SOUS 23416159 HAS SOUPS 22841503 WITH SCORE 2.2922187735E7
AT ITER 504 NEW BEST:: SOT 123460178 SOS 80695208 HAS SOPS 65812958 HAS SOUS 23409790 HAS SOUPS 22835134 WITH SCORE 2.2915829208E7
AT ITER 507 NEW BEST:: SOT 123459733 SOS 80693058 HAS SOPS 65811163 HAS SOUS 23409351 HAS SOUPS 22834695 WITH SCORE 2.2915388058E7
AT ITER 516 NEW BEST:: SOT 123458007 SOS 80691398 HAS SOPS 65814024 HAS SOUS 23391488 HAS SOUPS 22819478 WITH SCORE 2.2900169398E7
AT ITER 519 NEW BEST:: SOT 123452015 SOS 80678524 HAS SOPS 65803180 HAS SOUS 23390087 HAS SOUPS 22818077 WITH SCORE 2.2898755524E7
AT ITER 522 NEW BEST:: SOT 123420049 SOS 80644496 HAS SOPS 65767680 HAS SOUS 23354730 HAS SOUPS 22782720 WITH SCORE 2.2863364496E7
AT ITER 536 NEW BEST:: SOT 123417623 SOS 80636677 HAS SOPS 65763095 HAS SOUS 23348378 HAS SOUPS 22776368 WITH SCORE 2.2857004677E7
AT ITER 540 NEW BEST:: SOT 123413298 SOS 80638633 HAS SOPS 65757504 HAS SOUS 23326027 HAS SOUPS 22754017 WITH SCORE 2.2834655633E7
AT ITER 542 NEW BEST:: SOT 123429879 SOS 80687258 HAS SOPS 65793289 HAS SOUS 23296948 HAS SOUPS 22724938 WITH SCORE 2.2805625258E7
AT ITER 545 NEW BEST:: SOT 123422679 SOS 80669893 HAS SOPS 65780309 HAS SOUS 23291245 HAS SOUPS 22719235 WITH SCORE 2.2799904893E7
AT ITER 546 NEW BEST:: SOT 123421207 SOS 80673401 HAS SOPS 65780615 HAS SOUS 23283725 HAS SOUPS 22711715 WITH SCORE 2.2792388401E7
AT ITER 547 NEW BEST:: SOT 123415650 SOS 80662339 HAS SOPS 65769646 HAS SOUS 23276135 HAS SOUPS 22704632 WITH SCORE 2.2785294339E7
AT ITER 548 NEW BEST:: SOT 123436000 SOS 80695728 HAS SOPS 65792885 HAS SOUS 23255478 HAS SOUPS 22683975 WITH SCORE 2.2764670728E7
AT ITER 566 NEW BEST:: SOT 123435803 SOS 80694496 HAS SOPS 65789531 HAS SOUS 23250207 HAS SOUPS 22678704 WITH SCORE 2.2759398496E7
AT ITER 568 NEW BEST:: SOT 123437636 SOS 80696717 HAS SOPS 65791597 HAS SOUS 23249690 HAS SOUPS 22678296 WITH SCORE 2.2758992717E7
AT ITER 577 NEW BEST:: SOT 123435889 SOS 80694430 HAS SOPS 65788710 HAS SOUS 23246503 HAS SOUPS 22675109 WITH SCORE 2.275580343E7
AT ITER 586 NEW BEST:: SOT 123434004 SOS 80693740 HAS SOPS 65787588 HAS SOUS 23245271 HAS SOUPS 22673284 WITH SCORE 2.275397774E7
AT ITER 605 NEW BEST:: SOT 123431844 SOS 80697439 HAS SOPS 65783700 HAS SOUS 23233341 HAS SOUPS 22661296 WITH SCORE 2.2741993439E7
AT ITER 609 NEW BEST:: SOT 123430689 SOS 80695563 HAS SOPS 65781329 HAS SOUS 23231465 HAS SOUPS 22659435 WITH SCORE 2.2740130563E7
AT ITER 612 NEW BEST:: SOT 123426609 SOS 80687995 HAS SOPS 65774420 HAS SOUS 23226775 HAS SOUPS 22654780 WITH SCORE 2.2735467995E7
AT ITER 615 NEW BEST:: SOT 123425873 SOS 80686942 HAS SOPS 65773608 HAS SOUS 23226131 HAS SOUPS 22654136 WITH SCORE 2.2734822942E7
AT ITER 637 NEW BEST:: SOT 123416152 SOS 80691891 HAS SOPS 65786201 HAS SOUS 23219972 HAS SOUPS 22647977 WITH SCORE 2.2728668891E7
AT ITER 644 NEW BEST:: SOT 123418737 SOS 80698445 HAS SOPS 65793204 HAS SOUS 23219489 HAS SOUPS 22647494 WITH SCORE 2.2728192445E7
AT ITER 648 NEW BEST:: SOT 123418329 SOS 80697383 HAS SOPS 65792334 HAS SOUS 23219447 HAS SOUPS 22647452 WITH SCORE 2.2728149383E7
AT ITER 651 NEW BEST:: SOT 123414972 SOS 80691913 HAS SOPS 65777844 HAS SOUS 23196876 HAS SOUPS 22624988 WITH SCORE 2.2705679913E7
AT ITER 661 NEW BEST:: SOT 123401772 SOS 80684704 HAS SOPS 65764156 HAS SOUS 23154524 HAS SOUPS 22582900 WITH SCORE 2.2663584704E7
AT ITER 677 NEW BEST:: SOT 123422763 SOS 80725382 HAS SOPS 65794350 HAS SOUS 23149644 HAS SOUPS 22577889 WITH SCORE 2.2658614382E7
AT ITER 684 NEW BEST:: SOT 123421797 SOS 80725586 HAS SOPS 65794449 HAS SOUS 23148792 HAS SOUPS 22577037 WITH SCORE 2.2657762586E7
AT ITER 694 NEW BEST:: SOT 123408607 SOS 80706595 HAS SOPS 65782081 HAS SOUS 23129517 HAS SOUPS 22557858 WITH SCORE 2.2638564595E7
AT ITER 700 NEW BEST:: SOT 123408215 SOS 80710074 HAS SOPS 65785937 HAS SOUS 23128013 HAS SOUPS 22556354 WITH SCORE 2.2637064074E7
AT ITER 702 NEW BEST:: SOT 123397280 SOS 80702158 HAS SOPS 65776751 HAS SOUS 23114299 HAS SOUPS 22541403 WITH SCORE 2.2622105158E7
AT ITER 704 NEW BEST:: SOT 123408481 SOS 80705143 HAS SOPS 65804218 HAS SOUS 23109504 HAS SOUPS 22536744 WITH SCORE 2.2617449143E7
AT ITER 717 NEW BEST:: SOT 123391366 SOS 80670254 HAS SOPS 65771639 HAS SOUS 23097974 HAS SOUPS 22524914 WITH SCORE 2.2605584254E7
AT ITER 720 NEW BEST:: SOT 123390631 SOS 80669645 HAS SOPS 65770099 HAS SOUS 23095517 HAS SOUPS 22522457 WITH SCORE 2.2603126645E7
AT ITER 730 NEW BEST:: SOT 123422440 SOS 80729123 HAS SOPS 65821514 HAS SOUS 23077894 HAS SOUPS 22505139 WITH SCORE 2.2585868123E7
AT ITER 738 NEW BEST:: SOT 123418675 SOS 80718666 HAS SOPS 65830881 HAS SOUS 23076495 HAS SOUPS 22503740 WITH SCORE 2.2584458666E7
AT ITER 743 NEW BEST:: SOT 123418967 SOS 80742494 HAS SOPS 65847838 HAS SOUS 23076079 HAS SOUPS 22503324 WITH SCORE 2.2584066494E7
AT ITER 749 NEW BEST:: SOT 123422284 SOS 80744669 HAS SOPS 65852309 HAS SOUS 23072131 HAS SOUPS 22502119 WITH SCORE 2.2582863669E7
AT ITER 750 NEW BEST:: SOT 123440725 SOS 80786847 HAS SOPS 65887930 HAS SOUS 23070944 HAS SOUPS 22500932 WITH SCORE 2.2581718847E7
AT ITER 756 NEW BEST:: SOT 123433527 SOS 80779577 HAS SOPS 65880504 HAS SOUS 23063650 HAS SOUPS 22493566 WITH SCORE 2.2574345577E7
AT ITER 771 NEW BEST:: SOT 123428342 SOS 80767624 HAS SOPS 65871344 HAS SOUS 23061183 HAS SOUPS 22491099 WITH SCORE 2.2571866624E7
AT ITER 773 NEW BEST:: SOT 123428711 SOS 80804209 HAS SOPS 65923913 HAS SOUS 23061109 HAS SOUPS 22491025 WITH SCORE 2.2571829209E7
AT ITER 798 NEW BEST:: SOT 123428711 SOS 80807433 HAS SOPS 65927969 HAS SOUS 23061083 HAS SOUPS 22490999 WITH SCORE 2.2571806433E7
AT ITER 799 NEW BEST:: SOT 123412117 SOS 80790839 HAS SOPS 65911119 HAS SOUS 23044489 HAS SOUPS 22474149 WITH SCORE 2.2554939839E7
AT ITER 810 NEW BEST:: SOT 123411802 SOS 80790600 HAS SOPS 65910484 HAS SOUS 23043663 HAS SOUPS 22473323 WITH SCORE 2.25541136E7
AT ITER 812 NEW BEST:: SOT 123407651 SOS 80793946 HAS SOPS 65901660 HAS SOUS 23015248 HAS SOUPS 22444853 WITH SCORE 2.2525646946E7
AT ITER 838 NEW BEST:: SOT 123407480 SOS 80792578 HAS SOPS 65899684 HAS SOUS 23015115 HAS SOUPS 22444720 WITH SCORE 2.2525512578E7
AT ITER 864 NEW BEST:: SOT 123404783 SOS 80789881 HAS SOPS 65896979 HAS SOUS 23012418 HAS SOUPS 22442015 WITH SCORE 2.2522804881E7
AT ITER 874 NEW BEST:: SOT 123403451 SOS 80788515 HAS SOPS 65895666 HAS SOUS 23009750 HAS SOUPS 22439347 WITH SCORE 2.2520135515E7
AT ITER 876 NEW BEST:: SOT 123402814 SOS 80787671 HAS SOPS 65894882 HAS SOUS 23008959 HAS SOUPS 22438556 WITH SCORE 2.2519343671E7
AT ITER 887 NEW BEST:: SOT 123398846 SOS 80785223 HAS SOPS 65890487 HAS SOUS 22989503 HAS SOUPS 22419382 WITH SCORE 2.2500167223E7
AT ITER 889 NEW BEST:: SOT 123399926 SOS 80787597 HAS SOPS 65893455 HAS SOUS 22987529 HAS SOUPS 22417430 WITH SCORE 2.2498217597E7
AT ITER 906 NEW BEST:: SOT 123399926 SOS 80799661 HAS SOPS 65915599 HAS SOUS 22987228 HAS SOUPS 22417129 WITH SCORE 2.2497928661E7
AT ITER 908 NEW BEST:: SOT 123403412 SOS 80805190 HAS SOPS 65923365 HAS SOUS 22986231 HAS SOUPS 22416058 WITH SCORE 2.249686319E7
AT ITER 910 NEW BEST:: SOT 123402845 SOS 80805148 HAS SOPS 65922768 HAS SOUS 22984771 HAS SOUPS 22414598 WITH SCORE 2.2495403148E7
AT ITER 923 NEW BEST:: SOT 123403115 SOS 80842923 HAS SOPS 65962528 HAS SOUS 22984571 HAS SOUPS 22414398 WITH SCORE 2.2495240923E7
AT ITER 939 NEW BEST:: SOT 123401092 SOS 80849176 HAS SOPS 65993216 HAS SOUS 22982630 HAS SOUPS 22412647 WITH SCORE 2.2493496176E7
AT ITER 941 NEW BEST:: SOT 123397016 SOS 80845395 HAS SOPS 65991765 HAS SOUS 22976206 HAS SOUPS 22406223 WITH SCORE 2.2487068395E7
AT ITER 942 NEW BEST:: SOT 123389119 SOS 80828378 HAS SOPS 65973414 HAS SOUS 22966574 HAS SOUPS 22396591 WITH SCORE 2.2477419378E7
AT ITER 963 NEW BEST:: SOT 123369838 SOS 80801650 HAS SOPS 65944180 HAS SOUS 22944344 HAS SOUPS 22374409 WITH SCORE 2.245521065E7
AT ITER 971 NEW BEST:: SOT 123367013 SOS 80800022 HAS SOPS 65941737 HAS SOUS 22933506 HAS SOUPS 22363571 WITH SCORE 2.2444371022E7
AT ITER 987 NEW BEST:: SOT 123369435 SOS 80808396 HAS SOPS 65948259 HAS SOUS 22930928 HAS SOUPS 22360993 WITH SCORE 2.2441801396E7
AT ITER 991 NEW BEST:: SOT 123362964 SOS 80795607 HAS SOPS 65948818 HAS SOUS 22923464 HAS SOUPS 22353529 WITH SCORE 2.2434324607E7
AT ITER 997 NEW BEST:: SOT 123367547 SOS 80805759 HAS SOPS 65957889 HAS SOUS 22918792 HAS SOUPS 22348857 WITH SCORE 2.2429662759E7
AT ITER 1011 NEW BEST:: SOT 123364653 SOS 80802233 HAS SOPS 65951889 HAS SOUS 22910701 HAS SOUPS 22340766 WITH SCORE 2.2421568233E7
AT ITER 1022 NEW BEST:: SOT 123347913 SOS 80785617 HAS SOPS 65933979 HAS SOUS 22889077 HAS SOUPS 22314948 WITH SCORE 2.2395733617E7
AT ITER 1026 NEW BEST:: SOT 123347668 SOS 80785462 HAS SOPS 65933814 HAS SOUS 22888270 HAS SOUPS 22314141 WITH SCORE 2.2394926462E7
AT ITER 1028 NEW BEST:: SOT 123335139 SOS 80778045 HAS SOPS 65918423 HAS SOUS 22849393 HAS SOUPS 22275057 WITH SCORE 2.2355835045E7
AT ITER 1035 NEW BEST:: SOT 123335847 SOS 80780031 HAS SOPS 65919770 HAS SOUS 22847083 HAS SOUPS 22272718 WITH SCORE 2.2353498031E7
AT ITER 1044 NEW BEST:: SOT 123334674 SOS 80775033 HAS SOPS 65931250 HAS SOUS 22832196 HAS SOUPS 22260331 WITH SCORE 2.2341106033E7
AT ITER 1051 NEW BEST:: SOT 123333717 SOS 80774076 HAS SOPS 65930181 HAS SOUS 22831271 HAS SOUPS 22259382 WITH SCORE 2.2340156076E7
AT ITER 1056 NEW BEST:: SOT 123330287 SOS 80769352 HAS SOPS 65927025 HAS SOUS 22830220 HAS SOUPS 22258331 WITH SCORE 2.2339100352E7
AT ITER 1065 NEW BEST:: SOT 123337569 SOS 80799211 HAS SOPS 65942850 HAS SOUS 22807207 HAS SOUPS 22235318 WITH SCORE 2.2316117211E7
AT ITER 1073 NEW BEST:: SOT 123337550 SOS 80807620 HAS SOPS 65947621 HAS SOUS 22799303 HAS SOUPS 22227414 WITH SCORE 2.230822162E7
AT ITER 1075 NEW BEST:: SOT 123332616 SOS 80794005 HAS SOPS 65940188 HAS SOUS 22797708 HAS SOUPS 22225819 WITH SCORE 2.2306613005E7
AT ITER 1076 NEW BEST:: SOT 123331809 SOS 80793093 HAS SOPS 65938471 HAS SOUS 22795137 HAS SOUPS 22223381 WITH SCORE 2.2304174093E7
AT ITER 1097 NEW BEST:: SOT 123329515 SOS 80788659 HAS SOPS 65937725 HAS SOUS 22792658 HAS SOUPS 22220949 WITH SCORE 2.2301737659E7
AT ITER 1098 NEW BEST:: SOT 123329344 SOS 80779917 HAS SOPS 65933483 HAS SOUS 22792391 HAS SOUPS 22220682 WITH SCORE 2.2301461917E7
AT ITER 1107 NEW BEST:: SOT 123326755 SOS 80773974 HAS SOPS 65929001 HAS SOUS 22789032 HAS SOUPS 22217323 WITH SCORE 2.2298096974E7
AT ITER 1111 NEW BEST:: SOT 123326751 SOS 80777937 HAS SOPS 65924007 HAS SOUS 22763576 HAS SOUPS 22192229 WITH SCORE 2.2273006937E7
AT ITER 1123 NEW BEST:: SOT 123329780 SOS 80786546 HAS SOPS 65935130 HAS SOUS 22762984 HAS SOUPS 22191637 WITH SCORE 2.2272423546E7
AT ITER 1125 NEW BEST:: SOT 123328985 SOS 80769924 HAS SOPS 65943044 HAS SOUS 22761348 HAS SOUPS 22190259 WITH SCORE 2.2271028924E7
AT ITER 1126 NEW BEST:: SOT 123319536 SOS 80759475 HAS SOPS 65927313 HAS SOUS 22763298 HAS SOUPS 22189117 WITH SCORE 2.2269876475E7
AT ITER 1131 NEW BEST:: SOT 123318372 SOS 80758735 HAS SOPS 65926055 HAS SOUS 22759057 HAS SOUPS 22184876 WITH SCORE 2.2265634735E7
AT ITER 1143 NEW BEST:: SOT 123313387 SOS 80756528 HAS SOPS 65921918 HAS SOUS 22741673 HAS SOUPS 22167492 WITH SCORE 2.2248248528E7
AT ITER 1146 NEW BEST:: SOT 123313511 SOS 80756623 HAS SOPS 65921870 HAS SOUS 22741198 HAS SOUPS 22167017 WITH SCORE 2.2247773623E7
AT ITER 1151 NEW BEST:: SOT 123303943 SOS 80733283 HAS SOPS 65904019 HAS SOUS 22738160 HAS SOUPS 22163979 WITH SCORE 2.2244712283E7
AT ITER 1156 NEW BEST:: SOT 123303766 SOS 80731249 HAS SOPS 65928690 HAS SOUS 22737099 HAS SOUPS 22163129 WITH SCORE 2.2243860249E7
AT ITER 1169 NEW BEST:: SOT 123315389 SOS 80765359 HAS SOPS 65956438 HAS SOUS 22709128 HAS SOUPS 22135158 WITH SCORE 2.2215923359E7
AT ITER 1186 NEW BEST:: SOT 123312954 SOS 80762801 HAS SOPS 65953880 HAS SOUS 22706663 HAS SOUPS 22132693 WITH SCORE 2.2213455801E7
AT ITER 1195 NEW BEST:: SOT 123318762 SOS 80777038 HAS SOPS 65956258 HAS SOUS 22691827 HAS SOUPS 22117857 WITH SCORE 2.2198634038E7
AT ITER 1206 NEW BEST:: SOT 123318586 SOS 80779059 HAS SOPS 65964292 HAS SOUS 22688165 HAS SOUPS 22114195 WITH SCORE 2.2194974059E7
AT ITER 1224 NEW BEST:: SOT 123265893 SOS 80698239 HAS SOPS 65892572 HAS SOUS 22617333 HAS SOUPS 22043363 WITH SCORE 2.2124061239E7
AT ITER 1232 NEW BEST:: SOT 123204341 SOS 80584239 HAS SOPS 65794298 HAS SOUS 22582068 HAS SOUPS 22008156 WITH SCORE 2.2088740239E7
AT ITER 1236 NEW BEST:: SOT 123202812 SOS 80594906 HAS SOPS 65790448 HAS SOUS 22559516 HAS SOUPS 21985080 WITH SCORE 2.2065674906E7
AT ITER 1245 NEW BEST:: SOT 123203010 SOS 80595551 HAS SOPS 65792075 HAS SOUS 22559137 HAS SOUPS 21984701 WITH SCORE 2.2065296551E7
AT ITER 1248 NEW BEST:: SOT 123149143 SOS 80538738 HAS SOPS 65708404 HAS SOUS 22480454 HAS SOUPS 21893112 WITH SCORE 2.1973650738E7
AT ITER 1267 NEW BEST:: SOT 123150700 SOS 80538873 HAS SOPS 65710830 HAS SOUS 22479341 HAS SOUPS 21891870 WITH SCORE 2.1972408873E7
AT ITER 1276 NEW BEST:: SOT 123167560 SOS 80564988 HAS SOPS 65731211 HAS SOUS 22472841 HAS SOUPS 21885380 WITH SCORE 2.1965944988E7
AT ITER 1277 NEW BEST:: SOT 123167542 SOS 80564335 HAS SOPS 65721819 HAS SOUS 22471855 HAS SOUPS 21884394 WITH SCORE 2.1964958335E7
AT ITER 1285 NEW BEST:: SOT 123154698 SOS 80558438 HAS SOPS 65719809 HAS SOUS 22444699 HAS SOUPS 21857238 WITH SCORE 2.1937796438E7
AT ITER 1294 NEW BEST:: SOT 123157996 SOS 80566543 HAS SOPS 65728154 HAS SOUS 22444359 HAS SOUPS 21856898 WITH SCORE 2.1937464543E7
AT ITER 1297 NEW BEST:: SOT 123156107 SOS 80563571 HAS SOPS 65726086 HAS SOUS 22443074 HAS SOUPS 21855613 WITH SCORE 2.1936176571E7
AT ITER 1300 NEW BEST:: SOT 123158421 SOS 80570327 HAS SOPS 65730530 HAS SOUS 22438478 HAS SOUPS 21851017 WITH SCORE 2.1931587327E7
AT ITER 1309 NEW BEST:: SOT 123185148 SOS 80627031 HAS SOPS 65772227 HAS SOUS 22428766 HAS SOUPS 21841305 WITH SCORE 2.1921932031E7
AT ITER 1326 NEW BEST:: SOT 123169645 SOS 80596186 HAS SOPS 65745800 HAS SOUS 22409794 HAS SOUPS 21822333 WITH SCORE 2.1902929186E7
AT ITER 1337 NEW BEST:: SOT 123166529 SOS 80593141 HAS SOPS 65742021 HAS SOUS 22407808 HAS SOUPS 21820347 WITH SCORE 2.1900940141E7
AT ITER 1340 NEW BEST:: SOT 123165643 SOS 80591861 HAS SOPS 65740741 HAS SOUS 22406713 HAS SOUPS 21819252 WITH SCORE 2.1899843861E7
AT ITER 1352 NEW BEST:: SOT 123168093 SOS 80600418 HAS SOPS 65746199 HAS SOUS 22378023 HAS SOUPS 21790562 WITH SCORE 2.1871162418E7
AT ITER 1354 NEW BEST:: SOT 123171651 SOS 80604890 HAS SOPS 65756756 HAS SOUS 22376268 HAS SOUPS 21788918 WITH SCORE 2.186952289E7
AT ITER 1355 NEW BEST:: SOT 123168296 SOS 80596027 HAS SOPS 65749452 HAS SOUS 22374894 HAS SOUPS 21787544 WITH SCORE 2.1868140027E7
AT ITER 1361 NEW BEST:: SOT 123165793 SOS 80591292 HAS SOPS 65746696 HAS SOUS 22362199 HAS SOUPS 21775076 WITH SCORE 2.1855667292E7
AT ITER 1366 NEW BEST:: SOT 123165746 SOS 80628021 HAS SOPS 65777169 HAS SOUS 22304757 HAS SOUPS 21717340 WITH SCORE 2.1797968021E7
AT ITER 1367 NEW BEST:: SOT 123165743 SOS 80627256 HAS SOPS 65774513 HAS SOUS 22304735 HAS SOUPS 21717318 WITH SCORE 2.1797945256E7
AT ITER 1368 NEW BEST:: SOT 123148732 SOS 80576373 HAS SOPS 65739160 HAS SOUS 22292548 HAS SOUPS 21705262 WITH SCORE 2.1785838373E7
AT ITER 1387 NEW BEST:: SOT 123149904 SOS 80571586 HAS SOPS 65739181 HAS SOUS 22290268 HAS SOUPS 21704289 WITH SCORE 2.1784860586E7
AT ITER 1395 NEW BEST:: SOT 123144208 SOS 80565269 HAS SOPS 65729486 HAS SOUS 22276918 HAS SOUPS 21690939 WITH SCORE 2.1771504269E7
AT ITER 1399 NEW BEST:: SOT 123146211 SOS 80576648 HAS SOPS 65736156 HAS SOUS 22265833 HAS SOUPS 21679854 WITH SCORE 2.1760430648E7
AT ITER 1404 NEW BEST:: SOT 123107278 SOS 80524047 HAS SOPS 65685895 HAS SOUS 22196613 HAS SOUPS 21610810 WITH SCORE 2.1691334047E7
AT ITER 1408 NEW BEST:: SOT 123109964 SOS 80498717 HAS SOPS 65682621 HAS SOUS 22190427 HAS SOUPS 21604624 WITH SCORE 2.1685122717E7
AT ITER 1421 NEW BEST:: SOT 123103379 SOS 80489055 HAS SOPS 65675880 HAS SOUS 22190256 HAS SOUPS 21604453 WITH SCORE 2.1684942055E7
AT ITER 1434 NEW BEST:: SOT 123088819 SOS 80477231 HAS SOPS 65656872 HAS SOUS 22167137 HAS SOUPS 21579851 WITH SCORE 2.1660328231E7
AT ITER 1438 NEW BEST:: SOT 123088991 SOS 80475215 HAS SOPS 65654368 HAS SOUS 22166274 HAS SOUPS 21578988 WITH SCORE 2.1659463215E7
AT ITER 1449 NEW BEST:: SOT 123090465 SOS 80475204 HAS SOPS 65654977 HAS SOUS 22164688 HAS SOUPS 21577402 WITH SCORE 2.1657877204E7
AT ITER 1453 NEW BEST:: SOT 123101881 SOS 80512977 HAS SOPS 65680568 HAS SOUS 22142218 HAS SOUPS 21554932 WITH SCORE 2.1635444977E7
AT ITER 1462 NEW BEST:: SOT 123092848 SOS 80491860 HAS SOPS 65662620 HAS SOUS 22141226 HAS SOUPS 21553940 WITH SCORE 2.163443186E7
AT ITER 1477 NEW BEST:: SOT 123076296 SOS 80466126 HAS SOPS 65635947 HAS SOUS 22121382 HAS SOUPS 21534096 WITH SCORE 2.1614562126E7
AT ITER 1492 NEW BEST:: SOT 123075169 SOS 80465618 HAS SOPS 65635439 HAS SOUS 22119123 HAS SOUPS 21531837 WITH SCORE 2.1612302618E7
AT ITER 1494 NEW BEST:: SOT 123070059 SOS 80460622 HAS SOPS 65628656 HAS SOUS 22106825 HAS SOUPS 21519538 WITH SCORE 2.1599998622E7
AT ITER 1504 NEW BEST:: SOT 123062875 SOS 80454685 HAS SOPS 65613720 HAS SOUS 22086741 HAS SOUPS 21498299 WITH SCORE 2.1578753685E7
AT ITER 1523 NEW BEST:: SOT 123062703 SOS 80466850 HAS SOPS 65632650 HAS SOUS 22072551 HAS SOUPS 21484109 WITH SCORE 2.156457585E7
AT ITER 1532 NEW BEST:: SOT 123061521 SOS 80465494 HAS SOPS 65631541 HAS SOUS 22069322 HAS SOUPS 21480880 WITH SCORE 2.1561345494E7
AT ITER 1533 NEW BEST:: SOT 123046804 SOS 80433669 HAS SOPS 65609801 HAS SOUS 22062917 HAS SOUPS 21474475 WITH SCORE 2.1554908669E7
AT ITER 1536 NEW BEST:: SOT 123046071 SOS 80427252 HAS SOPS 65602274 HAS SOUS 22062387 HAS SOUPS 21473945 WITH SCORE 2.1554372252E7
AT ITER 1541 NEW BEST:: SOT 123045924 SOS 80425665 HAS SOPS 65604527 HAS SOUS 22062249 HAS SOUPS 21473807 WITH SCORE 2.1554232665E7
AT ITER 1554 NEW BEST:: SOT 123039706 SOS 80430019 HAS SOPS 65616011 HAS SOUS 22056560 HAS SOUPS 21468118 WITH SCORE 2.1548548019E7
AT ITER 1569 NEW BEST:: SOT 123038754 SOS 80426457 HAS SOPS 65608415 HAS SOUS 22041855 HAS SOUPS 21453413 WITH SCORE 2.1533839457E7
AT ITER 1571 NEW BEST:: SOT 123054604 SOS 80449202 HAS SOPS 65632784 HAS SOUS 22038045 HAS SOUPS 21449603 WITH SCORE 2.1530052202E7
AT ITER 1576 NEW BEST:: SOT 123047455 SOS 80440590 HAS SOPS 65622650 HAS SOUS 22026358 HAS SOUPS 21438013 WITH SCORE 2.151845359E7
AT ITER 1604 NEW BEST:: SOT 123033860 SOS 80425708 HAS SOPS 65599506 HAS SOUS 21999593 HAS SOUPS 21411248 WITH SCORE 2.1491673708E7
AT ITER 1621 NEW BEST:: SOT 123060709 SOS 80479920 HAS SOPS 65643806 HAS SOUS 21995706 HAS SOUPS 21407361 WITH SCORE 2.148784092E7
AT ITER 1622 NEW BEST:: SOT 123050278 SOS 80463696 HAS SOPS 65627367 HAS SOUS 21979967 HAS SOUPS 21391622 WITH SCORE 2.1472085696E7
AT ITER 1635 NEW BEST:: SOT 123044093 SOS 80456619 HAS SOPS 65619656 HAS SOUS 21969067 HAS SOUPS 21382253 WITH SCORE 2.1462709619E7
AT ITER 1649 NEW BEST:: SOT 123044093 SOS 80451947 HAS SOPS 65616152 HAS SOUS 21969067 HAS SOUPS 21382253 WITH SCORE 2.1462704947E7
AT ITER 1650 NEW BEST:: SOT 123041405 SOS 80448453 HAS SOPS 65613796 HAS SOUS 21965889 HAS SOUPS 21379075 WITH SCORE 2.1459523453E7
AT ITER 1651 NEW BEST:: SOT 123041405 SOS 80451829 HAS SOPS 65616724 HAS SOUS 21965878 HAS SOUPS 21379064 WITH SCORE 2.1459515829E7
AT ITER 1655 NEW BEST:: SOT 123041667 SOS 80454172 HAS SOPS 65618244 HAS SOUS 21962600 HAS SOUPS 21375978 WITH SCORE 2.1456432172E7
AT ITER 1658 NEW BEST:: SOT 123041964 SOS 80476850 HAS SOPS 65649705 HAS SOUS 21962184 HAS SOUPS 21375562 WITH SCORE 2.145603885E7
AT ITER 1660 NEW BEST:: SOT 123045178 SOS 80478456 HAS SOPS 65649776 HAS SOUS 21962063 HAS SOUPS 21375441 WITH SCORE 2.1455919456E7
AT ITER 1688 NEW BEST:: SOT 123050914 SOS 80481987 HAS SOPS 65660384 HAS SOUS 21951981 HAS SOUPS 21365359 WITH SCORE 2.1445840987E7
AT ITER 1689 NEW BEST:: SOT 123014759 SOS 80426982 HAS SOPS 65614264 HAS SOUS 21915610 HAS SOUPS 21328988 WITH SCORE 2.1409414982E7
AT ITER 1696 NEW BEST:: SOT 123009450 SOS 80417723 HAS SOPS 65605632 HAS SOUS 21914007 HAS SOUPS 21327402 WITH SCORE 2.1407819723E7
AT ITER 1701 NEW BEST:: SOT 123009848 SOS 80420720 HAS SOPS 65619400 HAS SOUS 21912025 HAS SOUPS 21325630 WITH SCORE 2.140605072E7
AT ITER 1706 NEW BEST:: SOT 123005605 SOS 80415530 HAS SOPS 65615361 HAS SOUS 21907575 HAS SOUPS 21321216 WITH SCORE 2.140163153E7
AT ITER 1712 NEW BEST:: SOT 123010319 SOS 80425627 HAS SOPS 65622868 HAS SOUS 21879459 HAS SOUPS 21293100 WITH SCORE 2.1373525627E7
AT ITER 1729 NEW BEST:: SOT 123010366 SOS 80425802 HAS SOPS 65623231 HAS SOUS 21879297 HAS SOUPS 21292938 WITH SCORE 2.1373363802E7
AT ITER 1732 NEW BEST:: SOT 123009408 SOS 80418914 HAS SOPS 65625282 HAS SOUS 21876248 HAS SOUPS 21290013 WITH SCORE 2.1370431914E7
AT ITER 1745 NEW BEST:: SOT 123009415 SOS 80425307 HAS SOPS 65636082 HAS SOUS 21876124 HAS SOUPS 21289889 WITH SCORE 2.1370314307E7
AT ITER 1761 NEW BEST:: SOT 123007072 SOS 80422187 HAS SOPS 65633672 HAS SOUS 21871520 HAS SOUPS 21285285 WITH SCORE 2.1365707187E7
AT ITER 1762 NEW BEST:: SOT 123012683 SOS 80428018 HAS SOPS 65637375 HAS SOUS 21867649 HAS SOUPS 21281414 WITH SCORE 2.1361842018E7
AT ITER 1783 NEW BEST:: SOT 123005679 SOS 80419976 HAS SOPS 65626471 HAS SOUS 21843741 HAS SOUPS 21257506 WITH SCORE 2.1337925976E7
AT ITER 1788 NEW BEST:: SOT 123004081 SOS 80418414 HAS SOPS 65624848 HAS SOUS 21839004 HAS SOUPS 21252769 WITH SCORE 2.1333187414E7
AT ITER 1807 NEW BEST:: SOT 123004950 SOS 80421626 HAS SOPS 65627709 HAS SOUS 21836490 HAS SOUPS 21250255 WITH SCORE 2.1330676626E7
AT ITER 1821 NEW BEST:: SOT 122938836 SOS 80303324 HAS SOPS 65550478 HAS SOUS 21798428 HAS SOUPS 21212432 WITH SCORE 2.1292735324E7
AT ITER 1835 NEW BEST:: SOT 122937907 SOS 80301269 HAS SOPS 65547802 HAS SOUS 21796114 HAS SOUPS 21210118 WITH SCORE 2.1290419269E7
AT ITER 1851 NEW BEST:: SOT 122931439 SOS 80290559 HAS SOPS 65538043 HAS SOUS 21783901 HAS SOUPS 21197905 WITH SCORE 2.1278195559E7
AT ITER 1885 NEW BEST:: SOT 122938800 SOS 80299048 HAS SOPS 65545677 HAS SOUS 21764792 HAS SOUPS 21178843 WITH SCORE 2.1259142048E7
AT ITER 1887 NEW BEST:: SOT 122939384 SOS 80301912 HAS SOPS 65548133 HAS SOUS 21760621 HAS SOUPS 21174672 WITH SCORE 2.1254973912E7
AT ITER 1907 NEW BEST:: SOT 122937710 SOS 80299759 HAS SOPS 65546036 HAS SOUS 21757826 HAS SOUPS 21171877 WITH SCORE 2.1252176759E7
AT ITER 1910 NEW BEST:: SOT 122939520 SOS 80317368 HAS SOPS 65553116 HAS SOUS 21725585 HAS SOUPS 21139558 WITH SCORE 2.1219875368E7
AT ITER 1912 NEW BEST:: SOT 122939796 SOS 80310538 HAS SOPS 65603351 HAS SOUS 21724808 HAS SOUPS 21138781 WITH SCORE 2.1219091538E7
AT ITER 1930 NEW BEST:: SOT 122936739 SOS 80312021 HAS SOPS 65600048 HAS SOUS 21724505 HAS SOUPS 21138418 WITH SCORE 2.1218730021E7
AT ITER 1933 NEW BEST:: SOT 122937060 SOS 80313517 HAS SOPS 65607710 HAS SOUS 21704341 HAS SOUPS 21118942 WITH SCORE 2.1199255517E7
AT ITER 1936 NEW BEST:: SOT 122931173 SOS 80306869 HAS SOPS 65601207 HAS SOUS 21696183 HAS SOUPS 21110784 WITH SCORE 2.1191090869E7
AT ITER 1942 NEW BEST:: SOT 122930161 SOS 80306690 HAS SOPS 65600987 HAS SOUS 21689869 HAS SOUPS 21104470 WITH SCORE 2.118477669E7
AT ITER 1944 NEW BEST:: SOT 122930098 SOS 80306339 HAS SOPS 65600579 HAS SOUS 21689673 HAS SOUPS 21104287 WITH SCORE 2.1184593339E7
AT ITER 1964 NEW BEST:: SOT 122949809 SOS 80340691 HAS SOPS 65631755 HAS SOUS 21682618 HAS SOUPS 21097063 WITH SCORE 2.1177403691E7
AT ITER 1973 NEW BEST:: SOT 122948858 SOS 80338180 HAS SOPS 65628138 HAS SOUS 21680009 HAS SOUPS 21094454 WITH SCORE 2.117479218E7
AT ITER 1981 NEW BEST:: SOT 122945053 SOS 80332342 HAS SOPS 65618517 HAS SOUS 21641639 HAS SOUPS 21058040 WITH SCORE 2.1138372342E7
AT ITER 1982 NEW BEST:: SOT 122921921 SOS 80307214 HAS SOPS 65589533 HAS SOUS 21586570 HAS SOUPS 21002971 WITH SCORE 2.1083278214E7
AT ITER 1983 NEW BEST:: SOT 122928888 SOS 80342178 HAS SOPS 65618804 HAS SOUS 21580917 HAS SOUPS 20997318 WITH SCORE 2.1077660178E7
AT ITER 1990 NEW BEST:: SOT 122925741 SOS 80340099 HAS SOPS 65612301 HAS SOUS 21570910 HAS SOUPS 20987311 WITH SCORE 2.1067651099E7
AT ITER 1998 NEW BEST:: SOT 122932730 SOS 80356715 HAS SOPS 65611739 HAS SOUS 21570078 HAS SOUPS 20986479 WITH SCORE 2.1066835715E7
AT ITER 2000 NEW BEST:: SOT 122918568 SOS 80334282 HAS SOPS 65591704 HAS SOUS 21548902 HAS SOUPS 20965486 WITH SCORE 2.1045820282E7
AT ITER 2018 NEW BEST:: SOT 122937514 SOS 80383540 HAS SOPS 65647430 HAS SOUS 21542665 HAS SOUPS 20959249 WITH SCORE 2.103963254E7
AT ITER 2020 NEW BEST:: SOT 122936216 SOS 80382608 HAS SOPS 65650715 HAS SOUS 21508907 HAS SOUPS 20925648 WITH SCORE 2.1006030608E7
AT ITER 2029 NEW BEST:: SOT 122933301 SOS 80379693 HAS SOPS 65647768 HAS SOUS 21504560 HAS SOUPS 20921301 WITH SCORE 2.1001680693E7
AT ITER 2032 NEW BEST:: SOT 122929121 SOS 80379358 HAS SOPS 65642462 HAS SOUS 21500603 HAS SOUPS 20917273 WITH SCORE 2.0997652358E7
AT ITER 2042 NEW BEST:: SOT 122925756 SOS 80378770 HAS SOPS 65637027 HAS SOUS 21483020 HAS SOUPS 20899690 WITH SCORE 2.098006877E7
AT ITER 2047 NEW BEST:: SOT 122929160 SOS 80402022 HAS SOPS 65669069 HAS SOUS 21475786 HAS SOUPS 20892456 WITH SCORE 2.0972858022E7
AT ITER 2066 NEW BEST:: SOT 122929131 SOS 80402077 HAS SOPS 65669082 HAS SOUS 21475673 HAS SOUPS 20892343 WITH SCORE 2.0972745077E7
AT ITER 2070 NEW BEST:: SOT 122929131 SOS 80407469 HAS SOPS 65678714 HAS SOUS 21475471 HAS SOUPS 20892141 WITH SCORE 2.0972548469E7
AT ITER 2076 NEW BEST:: SOT 122897866 SOS 80370820 HAS SOPS 65643152 HAS SOUS 21432013 HAS SOUPS 20848683 WITH SCORE 2.092905382E7
AT ITER 2097 NEW BEST:: SOT 122864737 SOS 80334702 HAS SOPS 65598161 HAS SOUS 21350909 HAS SOUPS 20767579 WITH SCORE 2.0847913702E7
AT ITER 2105 NEW BEST:: SOT 122864030 SOS 80333355 HAS SOPS 65597294 HAS SOUS 21349522 HAS SOUPS 20766202 WITH SCORE 2.0846535355E7
AT ITER 2106 NEW BEST:: SOT 122807005 SOS 80276330 HAS SOPS 65539261 HAS SOUS 21290993 HAS SOUPS 20707161 WITH SCORE 2.078743733E7
AT ITER 2115 NEW BEST:: SOT 122805420 SOS 80278616 HAS SOPS 65541054 HAS SOUS 21286790 HAS SOUPS 20702958 WITH SCORE 2.0783236616E7
AT ITER 2118 NEW BEST:: SOT 122805473 SOS 80284396 HAS SOPS 65559269 HAS SOUS 21286715 HAS SOUPS 20702883 WITH SCORE 2.0783167396E7
AT ITER 2129 NEW BEST:: SOT 122780102 SOS 80245596 HAS SOPS 65521343 HAS SOUS 21255065 HAS SOUPS 20671233 WITH SCORE 2.0751478596E7
AT ITER 2137 NEW BEST:: SOT 122772143 SOS 80231341 HAS SOPS 65507773 HAS SOUS 21248077 HAS SOUPS 20664245 WITH SCORE 2.0744476341E7
AT ITER 2158 NEW BEST:: SOT 122684147 SOS 80143310 HAS SOPS 65399233 HAS SOUS 21138188 HAS SOUPS 20544929 WITH SCORE 2.062507231E7
AT ITER 2180 NEW BEST:: SOT 122677644 SOS 80140396 HAS SOPS 65396297 HAS SOUS 21125000 HAS SOUPS 20531741 WITH SCORE 2.0611881396E7
AT ITER 2181 NEW BEST:: SOT 122667075 SOS 80128723 HAS SOPS 65381078 HAS SOUS 21112664 HAS SOUPS 20518202 WITH SCORE 2.0598330723E7
AT ITER 2191 NEW BEST:: SOT 122669984 SOS 80141011 HAS SOPS 65387681 HAS SOUS 21109458 HAS SOUPS 20514996 WITH SCORE 2.0595137011E7
AT ITER 2202 NEW BEST:: SOT 122678097 SOS 80163341 HAS SOPS 65396143 HAS SOUS 21106598 HAS SOUPS 20512136 WITH SCORE 2.0592299341E7
AT ITER 2220 NEW BEST:: SOT 122652560 SOS 80124371 HAS SOPS 65358820 HAS SOUS 21063419 HAS SOUPS 20468957 WITH SCORE 2.0549081371E7
AT ITER 2232 NEW BEST:: SOT 122662865 SOS 80154023 HAS SOPS 65384678 HAS SOUS 21063312 HAS SOUPS 20468850 WITH SCORE 2.0549004023E7
AT ITER 2233 NEW BEST:: SOT 122657522 SOS 80157227 HAS SOPS 65368230 HAS SOUS 21040412 HAS SOUPS 20443900 WITH SCORE 2.0524057227E7
AT ITER 2240 NEW BEST:: SOT 122657522 SOS 80136123 HAS SOPS 65364534 HAS SOUS 21040374 HAS SOUPS 20443862 WITH SCORE 2.0523998123E7
AT ITER 2257 NEW BEST:: SOT 122684257 SOS 80192111 HAS SOPS 65408036 HAS SOUS 21039709 HAS SOUPS 20443197 WITH SCORE 2.0523389111E7
AT ITER 2266 NEW BEST:: SOT 122671934 SOS 80160873 HAS SOPS 65387747 HAS SOUS 21023430 HAS SOUPS 20429643 WITH SCORE 2.0509803873E7
AT ITER 2267 NEW BEST:: SOT 122684147 SOS 80182102 HAS SOPS 65398361 HAS SOUS 21012180 HAS SOUPS 20418393 WITH SCORE 2.0498575102E7
AT ITER 2273 NEW BEST:: SOT 122675670 SOS 80164015 HAS SOPS 65380008 HAS SOUS 21006752 HAS SOUPS 20412965 WITH SCORE 2.0493129015E7
AT ITER 2297 NEW BEST:: SOT 122676250 SOS 80160915 HAS SOPS 65373454 HAS SOUS 20993322 HAS SOUPS 20399593 WITH SCORE 2.0479753915E7
AT ITER 2299 NEW BEST:: SOT 122675512 SOS 80159805 HAS SOPS 65372424 HAS SOUS 20991011 HAS SOUPS 20397306 WITH SCORE 2.0477465805E7
AT ITER 2314 NEW BEST:: SOT 122680971 SOS 80162440 HAS SOPS 65374330 HAS SOUS 20981651 HAS SOUPS 20388123 WITH SCORE 2.046828544E7
AT ITER 2322 NEW BEST:: SOT 122675985 SOS 80157219 HAS SOPS 65366352 HAS SOUS 20971105 HAS SOUPS 20377585 WITH SCORE 2.0457742219E7
AT ITER 2328 NEW BEST:: SOT 122681660 SOS 80171292 HAS SOPS 65379021 HAS SOUS 20967541 HAS SOUPS 20374021 WITH SCORE 2.0454192292E7
AT ITER 2353 NEW BEST:: SOT 122681660 SOS 80177608 HAS SOPS 65384819 HAS SOUS 20967366 HAS SOUPS 20373846 WITH SCORE 2.0454023608E7
AT ITER 2358 NEW BEST:: SOT 122681089 SOS 80176665 HAS SOPS 65381926 HAS SOUS 20965963 HAS SOUPS 20372443 WITH SCORE 2.0452619665E7
AT ITER 2388 NEW BEST:: SOT 122681135 SOS 80191339 HAS SOPS 65406854 HAS SOUS 20965728 HAS SOUPS 20372266 WITH SCORE 2.0452457339E7
AT ITER 2393 NEW BEST:: SOT 122659398 SOS 80169136 HAS SOPS 65384884 HAS SOUS 20948841 HAS SOUPS 20355451 WITH SCORE 2.0435620136E7
AT ITER 2416 NEW BEST:: SOT 122658847 SOS 80178761 HAS SOPS 65396960 HAS SOUS 20947332 HAS SOUPS 20353942 WITH SCORE 2.0434120761E7
AT ITER 2436 NEW BEST:: SOT 122628727 SOS 80109080 HAS SOPS 65325065 HAS SOUS 20933862 HAS SOUPS 20340472 WITH SCORE 2.042058108E7
AT ITER 2441 NEW BEST:: SOT 122620698 SOS 80103460 HAS SOPS 65331963 HAS SOUS 20879348 HAS SOUPS 20285958 WITH SCORE 2.036606146E7
AT ITER 2443 NEW BEST:: SOT 122596514 SOS 80074467 HAS SOPS 65321748 HAS SOUS 20875670 HAS SOUPS 20282280 WITH SCORE 2.0362354467E7
AT ITER 2465 NEW BEST:: SOT 122595653 SOS 80071741 HAS SOPS 65319262 HAS SOUS 20866908 HAS SOUPS 20273578 WITH SCORE 2.0353649741E7
AT ITER 2471 NEW BEST:: SOT 122609947 SOS 80099760 HAS SOPS 65311045 HAS SOUS 20819187 HAS SOUPS 20225857 WITH SCORE 2.030595676E7
AT ITER 2477 NEW BEST:: SOT 122610367 SOS 80097142 HAS SOPS 65308691 HAS SOUS 20818441 HAS SOUPS 20225286 WITH SCORE 2.0305383142E7
AT ITER 2487 NEW BEST:: SOT 122601893 SOS 80088596 HAS SOPS 65296638 HAS SOUS 20790842 HAS SOUPS 20197687 WITH SCORE 2.0277775596E7
AT ITER 2506 NEW BEST:: SOT 122601847 SOS 80084130 HAS SOPS 65292126 HAS SOUS 20790797 HAS SOUPS 20197642 WITH SCORE 2.027772613E7
AT ITER 2509 NEW BEST:: SOT 122601437 SOS 80087495 HAS SOPS 65293486 HAS SOUS 20779515 HAS SOUPS 20186360 WITH SCORE 2.0266447495E7
AT ITER 2516 NEW BEST:: SOT 122601973 SOS 80092269 HAS SOPS 65296341 HAS SOUS 20772047 HAS SOUPS 20178882 WITH SCORE 2.0258974269E7
AT ITER 2517 NEW BEST:: SOT 122594880 SOS 80079327 HAS SOPS 65299857 HAS SOUS 20760170 HAS SOUPS 20169631 WITH SCORE 2.0249710327E7
AT ITER 2559 NEW BEST:: SOT 122595480 SOS 80075440 HAS SOPS 65295725 HAS SOUS 20759131 HAS SOUPS 20168592 WITH SCORE 2.024866744E7
AT ITER 2560 NEW BEST:: SOT 122595646 SOS 80075555 HAS SOPS 65297766 HAS SOUS 20759016 HAS SOUPS 20168477 WITH SCORE 2.0248552555E7
AT ITER 2561 NEW BEST:: SOT 122579499 SOS 80058894 HAS SOPS 65277799 HAS SOUS 20723236 HAS SOUPS 20132697 WITH SCORE 2.0212755894E7
AT ITER 2571 NEW BEST:: SOT 122579500 SOS 80066967 HAS SOPS 65285872 HAS SOUS 20723116 HAS SOUPS 20132577 WITH SCORE 2.0212643967E7
AT ITER 2572 NEW BEST:: SOT 122518123 SOS 80005874 HAS SOPS 65222737 HAS SOUS 20614436 HAS SOUPS 20023534 WITH SCORE 2.0103539874E7
AT ITER 2577 NEW BEST:: SOT 122518361 SOS 80004640 HAS SOPS 65226943 HAS SOUS 20614361 HAS SOUPS 20023459 WITH SCORE 2.010346364E7
AT ITER 2579 NEW BEST:: SOT 122559437 SOS 80034670 HAS SOPS 65224151 HAS SOUS 20571167 HAS SOUPS 19980623 WITH SCORE 2.006065767E7
AT ITER 2604 NEW BEST:: SOT 122586779 SOS 80096001 HAS SOPS 65268567 HAS SOUS 20567389 HAS SOUPS 19976845 WITH SCORE 2.0056941001E7
AT ITER 2636 NEW BEST:: SOT 122577159 SOS 80085004 HAS SOPS 65254279 HAS SOUS 20545668 HAS SOUPS 19955124 WITH SCORE 2.0035209004E7
AT ITER 2652 NEW BEST:: SOT 122577256 SOS 80088815 HAS SOPS 65253575 HAS SOUS 20545553 HAS SOUPS 19955009 WITH SCORE 2.0035097815E7
AT ITER 2663 NEW BEST:: SOT 122572248 SOS 80083969 HAS SOPS 65248332 HAS SOUS 20539803 HAS SOUPS 19949259 WITH SCORE 2.0029342969E7
AT ITER 2680 NEW BEST:: SOT 122566374 SOS 80067480 HAS SOPS 65235334 HAS SOUS 20536849 HAS SOUPS 19946305 WITH SCORE 2.002637248E7
AT ITER 2702 NEW BEST:: SOT 122517256 SOS 80005019 HAS SOPS 65177893 HAS SOUS 20476144 HAS SOUPS 19885789 WITH SCORE 1.9965794019E7
AT ITER 2708 NEW BEST:: SOT 122510549 SOS 79991197 HAS SOPS 65166006 HAS SOUS 20466885 HAS SOUPS 19876642 WITH SCORE 1.9956633197E7
AT ITER 2717 NEW BEST:: SOT 122498977 SOS 79998022 HAS SOPS 65178985 HAS SOUS 20465894 HAS SOUPS 19875564 WITH SCORE 1.9955562022E7
AT ITER 2727 NEW BEST:: SOT 122496937 SOS 79996344 HAS SOPS 65176523 HAS SOUS 20459362 HAS SOUPS 19869032 WITH SCORE 1.9949028344E7
AT ITER 2729 NEW BEST:: SOT 122494528 SOS 79993785 HAS SOPS 65173504 HAS SOUS 20454028 HAS SOUPS 19863698 WITH SCORE 1.9943691785E7
AT ITER 2731 NEW BEST:: SOT 122494942 SOS 79980675 HAS SOPS 65159821 HAS SOUS 20441699 HAS SOUPS 19851453 WITH SCORE 1.9931433675E7
AT ITER 2743 NEW BEST:: SOT 122504426 SOS 79987450 HAS SOPS 65171590 HAS SOUS 20435907 HAS SOUPS 19848881 WITH SCORE 1.992886845E7
AT ITER 2770 NEW BEST:: SOT 122504832 SOS 79988019 HAS SOPS 65172313 HAS SOUS 20434426 HAS SOUPS 19847644 WITH SCORE 1.9927632019E7
AT ITER 2780 NEW BEST:: SOT 122502789 SOS 79984913 HAS SOPS 65168885 HAS SOUS 20431134 HAS SOUPS 19844352 WITH SCORE 1.9924336913E7
AT ITER 2787 NEW BEST:: SOT 122508863 SOS 79994270 HAS SOPS 65178906 HAS SOUS 20418801 HAS SOUPS 19832118 WITH SCORE 1.991211227E7
AT ITER 2845 NEW BEST:: SOT 122508697 SOS 79994155 HAS SOPS 65178830 HAS SOUS 20418674 HAS SOUPS 19831991 WITH SCORE 1.9911985155E7
AT ITER 2878 NEW BEST:: SOT 122508935 SOS 79995739 HAS SOPS 65190232 HAS SOUS 20418628 HAS SOUPS 19831945 WITH SCORE 1.9911940739E7
AT ITER 2885 NEW BEST:: SOT 122512030 SOS 80000126 HAS SOPS 65194975 HAS SOUS 20413944 HAS SOUPS 19827261 WITH SCORE 1.9907261126E7
AT ITER 2886 NEW BEST:: SOT 122481968 SOS 79946672 HAS SOPS 65148697 HAS SOUS 20385729 HAS SOUPS 19799120 WITH SCORE 1.9879066672E7
AT ITER 2901 NEW BEST:: SOT 122481932 SOS 79946695 HAS SOPS 65148579 HAS SOUS 20385586 HAS SOUPS 19798977 WITH SCORE 1.9878923695E7
AT ITER 2916 NEW BEST:: SOT 122479797 SOS 79942602 HAS SOPS 65141984 HAS SOUS 20383422 HAS SOUPS 19795015 WITH SCORE 1.9874957602E7
AT ITER 2943 NEW BEST:: SOT 122464863 SOS 79932498 HAS SOPS 65129465 HAS SOUS 20378394 HAS SOUPS 19789715 WITH SCORE 1.9869647498E7
AT ITER 2951 NEW BEST:: SOT 122460894 SOS 79927224 HAS SOPS 65121981 HAS SOUS 20374847 HAS SOUPS 19786168 WITH SCORE 1.9866095224E7
AT ITER 2962 NEW BEST:: SOT 122467724 SOS 79943668 HAS SOPS 65137981 HAS SOUS 20362648 HAS SOUPS 19773969 WITH SCORE 1.9853912668E7
AT ITER 2964 NEW BEST:: SOT 122468044 SOS 79944386 HAS SOPS 65138619 HAS SOUS 20362640 HAS SOUPS 19773961 WITH SCORE 1.9853905386E7
AT ITER 2968 NEW BEST:: SOT 122466169 SOS 79942191 HAS SOPS 65136058 HAS SOUS 20359409 HAS SOUPS 19770730 WITH SCORE 1.9850672191E7
AT ITER 2972 NEW BEST:: SOT 122470750 SOS 79958831 HAS SOPS 65153073 HAS SOUS 20353974 HAS SOUPS 19765295 WITH SCORE 1.9845253831E7
AT ITER 2975 NEW BEST:: SOT 122467642 SOS 79955688 HAS SOPS 65150362 HAS SOUS 20347609 HAS SOUPS 19758984 WITH SCORE 1.9838939688E7
AT ITER 2989 NEW BEST:: SOT 122463756 SOS 79951698 HAS SOPS 65146044 HAS SOUS 20338902 HAS SOUPS 19750301 WITH SCORE 1.9830252698E7
AT ITER 2999 NEW BEST:: SOT 122462925 SOS 79949723 HAS SOPS 65144753 HAS SOUS 20336895 HAS SOUPS 19748294 WITH SCORE 1.9828243723E7
AT ITER 3006 NEW BEST:: SOT 122484159 SOS 79986646 HAS SOPS 65169597 HAS SOUS 20334563 HAS SOUPS 19745962 WITH SCORE 1.9825948646E7
AT ITER 3015 NEW BEST:: SOT 122473444 SOS 79975716 HAS SOPS 65152582 HAS SOUS 20314407 HAS SOUPS 19725806 WITH SCORE 1.9805781716E7
AT ITER 3023 NEW BEST:: SOT 122473436 SOS 79975707 HAS SOPS 65152581 HAS SOUS 20314391 HAS SOUPS 19725790 WITH SCORE 1.9805765707E7
AT ITER 3031 NEW BEST:: SOT 122473315 SOS 79963119 HAS SOPS 65133235 HAS SOUS 20313480 HAS SOUPS 19724685 WITH SCORE 1.9804648119E7
AT ITER 3043 NEW BEST:: SOT 122468524 SOS 79962625 HAS SOPS 65115644 HAS SOUS 20310104 HAS SOUPS 19720907 WITH SCORE 1.9800869625E7
AT ITER 3073 NEW BEST:: SOT 122466411 SOS 79959697 HAS SOPS 65112923 HAS SOUS 20303010 HAS SOUPS 19713882 WITH SCORE 1.9793841697E7
AT ITER 3076 NEW BEST:: SOT 122478551 SOS 79973445 HAS SOPS 65136585 HAS SOUS 20299655 HAS SOUPS 19710527 WITH SCORE 1.9790500445E7
AT ITER 3090 NEW BEST:: SOT 122473466 SOS 79971005 HAS SOPS 65127950 HAS SOUS 20287929 HAS SOUPS 19698061 WITH SCORE 1.9778032005E7
AT ITER 3091 NEW BEST:: SOT 122486736 SOS 80008324 HAS SOPS 65150712 HAS SOUS 20283746 HAS SOUPS 19693878 WITH SCORE 1.9773886324E7
AT ITER 3102 NEW BEST:: SOT 122485383 SOS 80005996 HAS SOPS 65144758 HAS SOUS 20273033 HAS SOUPS 19683165 WITH SCORE 1.9763170996E7
AT ITER 3119 NEW BEST:: SOT 122465249 SOS 79993592 HAS SOPS 65097701 HAS SOUS 20184168 HAS SOUPS 19595213 WITH SCORE 1.9675206592E7
AT ITER 3125 NEW BEST:: SOT 122461756 SOS 79990099 HAS SOPS 65094208 HAS SOUS 20180675 HAS SOUPS 19591720 WITH SCORE 1.9671710099E7
AT ITER 3130 NEW BEST:: SOT 122462880 SOS 79992511 HAS SOPS 65099961 HAS SOUS 20176936 HAS SOUPS 19588036 WITH SCORE 1.9668028511E7
AT ITER 3133 NEW BEST:: SOT 122462226 SOS 79991677 HAS SOPS 65099226 HAS SOUS 20176315 HAS SOUPS 19587415 WITH SCORE 1.9667406677E7
AT ITER 3137 NEW BEST:: SOT 122457299 SOS 79982000 HAS SOPS 65097755 HAS SOUS 20172909 HAS SOUPS 19584009 WITH SCORE 1.9663991E7
AT ITER 3142 NEW BEST:: SOT 122451798 SOS 79976267 HAS SOPS 65091036 HAS SOUS 20162960 HAS SOUPS 19574094 WITH SCORE 1.9654070267E7
AT ITER 3161 NEW BEST:: SOT 122451084 SOS 79976137 HAS SOPS 65090984 HAS SOUS 20161308 HAS SOUPS 19572419 WITH SCORE 1.9652395137E7
AT ITER 3203 NEW BEST:: SOT 122451028 SOS 79976298 HAS SOPS 65092395 HAS SOUS 20161221 HAS SOUPS 19572353 WITH SCORE 1.9652329298E7
AT ITER 3210 NEW BEST:: SOT 122451047 SOS 79976331 HAS SOPS 65092392 HAS SOUS 20161167 HAS SOUPS 19572299 WITH SCORE 1.9652275331E7
AT ITER 3252 NEW BEST:: SOT 122444193 SOS 79968813 HAS SOPS 65085538 HAS SOUS 20154432 HAS SOUPS 19565582 WITH SCORE 1.9645550813E7
AT ITER 3260 NEW BEST:: SOT 122421634 SOS 79945585 HAS SOPS 65054310 HAS SOUS 20098986 HAS SOUPS 19510280 WITH SCORE 1.9590225585E7
AT ITER 3265 NEW BEST:: SOT 122425178 SOS 79955814 HAS SOPS 65064225 HAS SOUS 20098315 HAS SOUPS 19509609 WITH SCORE 1.9589564814E7
AT ITER 3277 NEW BEST:: SOT 122419578 SOS 79943900 HAS SOPS 65051706 HAS SOUS 20091524 HAS SOUPS 19502818 WITH SCORE 1.95827619E7
AT ITER 3280 NEW BEST:: SOT 122339515 SOS 79838332 HAS SOPS 64961969 HAS SOUS 20040088 HAS SOUPS 19450891 WITH SCORE 1.9530729332E7
AT ITER 3290 NEW BEST:: SOT 122334394 SOS 79831690 HAS SOPS 64950949 HAS SOUS 20019081 HAS SOUPS 19431478 WITH SCORE 1.951130969E7
AT ITER 3308 NEW BEST:: SOT 122335586 SOS 79834619 HAS SOPS 64952551 HAS SOUS 20018520 HAS SOUPS 19430917 WITH SCORE 1.9510751619E7
AT ITER 3314 NEW BEST:: SOT 122335586 SOS 79838199 HAS SOPS 64957187 HAS SOUS 20018458 HAS SOUPS 19430888 WITH SCORE 1.9510726199E7
AT ITER 3317 NEW BEST:: SOT 122252492 SOS 79724513 HAS SOPS 64845221 HAS SOUS 19867649 HAS SOUPS 19280101 WITH SCORE 1.9359825513E7
AT ITER 3318 NEW BEST:: SOT 122252113 SOS 79723760 HAS SOPS 64844646 HAS SOUS 19867545 HAS SOUPS 19279997 WITH SCORE 1.935972076E7
AT ITER 3340 NEW BEST:: SOT 122258307 SOS 79726223 HAS SOPS 64855609 HAS SOUS 19857762 HAS SOUPS 19271706 WITH SCORE 1.9351432223E7
AT ITER 3341 NEW BEST:: SOT 122258990 SOS 79726229 HAS SOPS 64855965 HAS SOUS 19856531 HAS SOUPS 19270514 WITH SCORE 1.9350240229E7
AT ITER 3342 NEW BEST:: SOT 122258964 SOS 79724639 HAS SOPS 64848574 HAS SOUS 19841684 HAS SOUPS 19255667 WITH SCORE 1.9335391639E7
AT ITER 3345 NEW BEST:: SOT 122257694 SOS 79723451 HAS SOPS 64847226 HAS SOUS 19839413 HAS SOUPS 19253396 WITH SCORE 1.9333119451E7
AT ITER 3346 NEW BEST:: SOT 122258055 SOS 79723480 HAS SOPS 64845275 HAS SOUS 19836752 HAS SOUPS 19250735 WITH SCORE 1.933045848E7
AT ITER 3348 NEW BEST:: SOT 122260926 SOS 79730530 HAS SOPS 64855967 HAS SOUS 19833859 HAS SOUPS 19247842 WITH SCORE 1.932757253E7
AT ITER 3352 NEW BEST:: SOT 122269833 SOS 79750495 HAS SOPS 64869329 HAS SOUS 19815506 HAS SOUPS 19229489 WITH SCORE 1.9309239495E7
AT ITER 3365 NEW BEST:: SOT 122269838 SOS 79750913 HAS SOPS 64870678 HAS SOUS 19813958 HAS SOUPS 19227907 WITH SCORE 1.9307657913E7
AT ITER 3366 NEW BEST:: SOT 122268527 SOS 79749365 HAS SOPS 64872610 HAS SOUS 19804151 HAS SOUPS 19218292 WITH SCORE 1.9298041365E7
AT ITER 3378 NEW BEST:: SOT 122267146 SOS 79751408 HAS SOPS 64874460 HAS SOUS 19802756 HAS SOUPS 19216897 WITH SCORE 1.9296648408E7
AT ITER 3385 NEW BEST:: SOT 122265360 SOS 79754749 HAS SOPS 64876694 HAS SOUS 19794389 HAS SOUPS 19208530 WITH SCORE 1.9288284749E7
AT ITER 3402 NEW BEST:: SOT 122265320 SOS 79748837 HAS SOPS 64875094 HAS SOUS 19794390 HAS SOUPS 19208531 WITH SCORE 1.9288279837E7
AT ITER 3433 NEW BEST:: SOT 122265172 SOS 79748275 HAS SOPS 64874472 HAS SOUS 19794076 HAS SOUPS 19208217 WITH SCORE 1.9287965275E7
AT ITER 3440 NEW BEST:: SOT 122265172 SOS 79756003 HAS SOPS 64886744 HAS SOUS 19793640 HAS SOUPS 19207781 WITH SCORE 1.9287537003E7
AT ITER 3448 NEW BEST:: SOT 122257688 SOS 79753794 HAS SOPS 64881311 HAS SOUS 19771833 HAS SOUPS 19186103 WITH SCORE 1.9265856794E7
AT ITER 3451 NEW BEST:: SOT 122253632 SOS 79750033 HAS SOPS 64876041 HAS SOUS 19762464 HAS SOUPS 19176734 WITH SCORE 1.9256484033E7
AT ITER 3456 NEW BEST:: SOT 122243418 SOS 79739572 HAS SOPS 64865636 HAS SOUS 19761452 HAS SOUPS 19175722 WITH SCORE 1.9255461572E7
AT ITER 3470 NEW BEST:: SOT 122243418 SOS 79742948 HAS SOPS 64870132 HAS SOUS 19761349 HAS SOUPS 19175619 WITH SCORE 1.9255361948E7
AT ITER 3516 NEW BEST:: SOT 122243228 SOS 79742734 HAS SOPS 64869708 HAS SOUS 19760457 HAS SOUPS 19174727 WITH SCORE 1.9254469734E7
AT ITER 3530 NEW BEST:: SOT 122204617 SOS 79687068 HAS SOPS 64819549 HAS SOUS 19722448 HAS SOUPS 19136963 WITH SCORE 1.9216650068E7
AT ITER 3546 NEW BEST:: SOT 122199063 SOS 79684589 HAS SOPS 64813334 HAS SOUS 19702398 HAS SOUPS 19116913 WITH SCORE 1.9196597589E7
AT ITER 3549 NEW BEST:: SOT 122196237 SOS 79682555 HAS SOPS 64805993 HAS SOUS 19688640 HAS SOUPS 19103155 WITH SCORE 1.9182837555E7
AT ITER 3552 NEW BEST:: SOT 122196339 SOS 79698678 HAS SOPS 64824816 HAS SOUS 19688091 HAS SOUPS 19102606 WITH SCORE 1.9182304678E7
AT ITER 3583 NEW BEST:: SOT 122195106 SOS 79703814 HAS SOPS 64820247 HAS SOUS 19666425 HAS SOUPS 19080940 WITH SCORE 1.9160643814E7
AT ITER 3598 NEW BEST:: SOT 122193762 SOS 79701858 HAS SOPS 64817979 HAS SOUS 19660210 HAS SOUPS 19074725 WITH SCORE 1.9154426858E7
AT ITER 3612 NEW BEST:: SOT 122202385 SOS 79718495 HAS SOPS 64833782 HAS SOUS 19652736 HAS SOUPS 19067251 WITH SCORE 1.9146969495E7
AT ITER 3637 NEW BEST:: SOT 122201415 SOS 79717517 HAS SOPS 64832604 HAS SOUS 19650174 HAS SOUPS 19064777 WITH SCORE 1.9144494517E7
AT ITER 3645 NEW BEST:: SOT 122196590 SOS 79708383 HAS SOPS 64832015 HAS SOUS 19641334 HAS SOUPS 19056656 WITH SCORE 1.9136364383E7
AT ITER 3646 NEW BEST:: SOT 122170859 SOS 79676413 HAS SOPS 64800869 HAS SOUS 19620217 HAS SOUPS 19034777 WITH SCORE 1.9114453413E7
AT ITER 3650 NEW BEST:: SOT 122170411 SOS 79675864 HAS SOPS 64800139 HAS SOUS 19619531 HAS SOUPS 19034091 WITH SCORE 1.9113766864E7
AT ITER 3672 NEW BEST:: SOT 122168584 SOS 79674784 HAS SOPS 64797452 HAS SOUS 19611686 HAS SOUPS 19026246 WITH SCORE 1.9105920784E7
AT ITER 3682 NEW BEST:: SOT 122179351 SOS 79688938 HAS SOPS 64815367 HAS SOUS 19608493 HAS SOUPS 19023053 WITH SCORE 1.9102741938E7
AT ITER 3698 NEW BEST:: SOT 122177294 SOS 79690166 HAS SOPS 64818497 HAS SOUS 19596337 HAS SOUPS 19010897 WITH SCORE 1.9090587166E7
AT ITER 3704 NEW BEST:: SOT 122176602 SOS 79694484 HAS SOPS 64821625 HAS SOUS 19589909 HAS SOUPS 19004469 WITH SCORE 1.9084163484E7
AT ITER 3706 NEW BEST:: SOT 122172646 SOS 79690528 HAS SOPS 64817669 HAS SOUS 19586761 HAS SOUPS 19001321 WITH SCORE 1.9081011528E7
AT ITER 3731 NEW BEST:: SOT 122181200 SOS 79721491 HAS SOPS 64838403 HAS SOUS 19579685 HAS SOUPS 18994245 WITH SCORE 1.9073966491E7
AT ITER 3753 NEW BEST:: SOT 122181608 SOS 79722680 HAS SOPS 64838612 HAS SOUS 19578587 HAS SOUPS 18993147 WITH SCORE 1.907286968E7
AT ITER 3755 NEW BEST:: SOT 122184414 SOS 79725840 HAS SOPS 64844560 HAS SOUS 19577135 HAS SOUPS 18993072 WITH SCORE 1.907279784E7
AT ITER 3765 NEW BEST:: SOT 122178409 SOS 79719889 HAS SOPS 64835685 HAS SOUS 19562863 HAS SOUPS 18978757 WITH SCORE 1.9058476889E7
AT ITER 3773 NEW BEST:: SOT 122177017 SOS 79717825 HAS SOPS 64833629 HAS SOUS 19560951 HAS SOUPS 18976853 WITH SCORE 1.9056570825E7
AT ITER 3792 NEW BEST:: SOT 122176535 SOS 79715604 HAS SOPS 64829563 HAS SOUS 19553491 HAS SOUPS 18969793 WITH SCORE 1.9049508604E7
AT ITER 3801 NEW BEST:: SOT 122174652 SOS 79713837 HAS SOPS 64826756 HAS SOUS 19548137 HAS SOUPS 18964439 WITH SCORE 1.9044152837E7
AT ITER 3811 NEW BEST:: SOT 122172748 SOS 79709848 HAS SOPS 64823876 HAS SOUS 19540913 HAS SOUPS 18957215 WITH SCORE 1.9036924848E7
AT ITER 3815 NEW BEST:: SOT 122183975 SOS 79735189 HAS SOPS 64834813 HAS SOUS 19534923 HAS SOUPS 18951225 WITH SCORE 1.9030960189E7
AT ITER 3885 NEW BEST:: SOT 122185878 SOS 79741146 HAS SOPS 64839288 HAS SOUS 19531542 HAS SOUPS 18947844 WITH SCORE 1.9027585146E7
AT ITER 3889 NEW BEST:: SOT 122172269 SOS 79737187 HAS SOPS 64838662 HAS SOUS 19524668 HAS SOUPS 18940970 WITH SCORE 1.9020707187E7
AT ITER 3894 NEW BEST:: SOT 122164749 SOS 79729858 HAS SOPS 64824978 HAS SOUS 19473606 HAS SOUPS 18889732 WITH SCORE 1.8969461858E7
AT ITER 3896 NEW BEST:: SOT 122171592 SOS 79738541 HAS SOPS 64836972 HAS SOUS 19469222 HAS SOUPS 18886989 WITH SCORE 1.8966727541E7
AT ITER 3899 NEW BEST:: SOT 122164848 SOS 79729586 HAS SOPS 64825902 HAS SOUS 19456214 HAS SOUPS 18874201 WITH SCORE 1.8953930586E7
AT ITER 3908 NEW BEST:: SOT 122164848 SOS 79757638 HAS SOPS 64853954 HAS SOUS 19455779 HAS SOUPS 18873766 WITH SCORE 1.8953523638E7
AT ITER 3918 NEW BEST:: SOT 122179554 SOS 79787432 HAS SOPS 64868698 HAS SOUS 19443529 HAS SOUPS 18861516 WITH SCORE 1.8941303432E7
AT ITER 3929 NEW BEST:: SOT 122167044 SOS 79763993 HAS SOPS 64854363 HAS SOUS 19416349 HAS SOUPS 18834336 WITH SCORE 1.8914099993E7
AT ITER 3962 NEW BEST:: SOT 122180829 SOS 79772870 HAS SOPS 64871497 HAS SOUS 19414787 HAS SOUPS 18832932 WITH SCORE 1.891270487E7
AT ITER 3983 NEW BEST:: SOT 122162559 SOS 79749765 HAS SOPS 64850248 HAS SOUS 19389611 HAS SOUPS 18807756 WITH SCORE 1.8887505765E7
AT ITER 3984 NEW BEST:: SOT 122160109 SOS 79747727 HAS SOPS 64846673 HAS SOUS 19385039 HAS SOUPS 18803184 WITH SCORE 1.8882931727E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14099784 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15957764 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

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="RERS17pb115-PT-4"
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 RERS17pb115-PT-4, 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 r331-tall-167889204100176"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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